\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.010000 0 0.169118 0.000000 0.027372 0.000000 \\ connectedbase 0.010000 52 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 52 BLOCK 1 2 4 6 24 26 27 28 29 30 31 32 34 36 37 38 39 40 41 42 44 46 47 48 49 50 51 52 54 56 57 58 59 60 61 62 64 66 67 71 72 74 75 76 77 78 BLOCK 2 3 5 7 15 17 19 21 23 65 68 69 80 82 84 86 88 90 92 94 96 BLOCK 3 274 BLOCK 4 275 BLOCK 5 276 BLOCK 6 277 BLOCK 7 278 BLOCK 8 279 BLOCK 9 79 BLOCK 10 81 BLOCK 11 83 BLOCK 12 85 BLOCK 13 87 BLOCK 14 89 BLOCK 15 91 BLOCK 16 93 BLOCK 17 95 BLOCK 18 97 99 101 129 131 132 139 141 142 149 151 152 159 161 162 BLOCK 19 98 100 102 130 133 134 140 143 144 150 153 154 160 163 164 BLOCK 20 280 BLOCK 21 281 BLOCK 22 282 BLOCK 23 283 BLOCK 24 284 BLOCK 25 285 BLOCK 26 121 122 123 124 125 126 127 128 136 137 138 146 147 148 156 157 158 166 167 168 169 170 171 172 173 287 288 289 290 291 221 222 223 231 232 233 241 242 243 251 252 253 261 262 263 264 265 266 267 268 BLOCK 27 174 BLOCK 28 175 BLOCK 29 176 BLOCK 30 177 BLOCK 31 178 BLOCK 32 179 BLOCK 33 180 BLOCK 34 181 BLOCK 35 182 BLOCK 36 183 BLOCK 37 184 BLOCK 38 185 BLOCK 39 186 BLOCK 40 187 BLOCK 41 188 BLOCK 42 189 BLOCK 43 190 BLOCK 44 191 BLOCK 45 192 194 196 214 216 217 224 226 227 234 236 237 244 246 247 254 256 257 BLOCK 46 193 195 197 215 218 219 225 228 229 235 238 239 245 248 249 255 258 259 BLOCK 47 286 BLOCK 48 269 BLOCK 49 270 BLOCK 50 271 BLOCK 51 272 BLOCK 52 273 MASTERCONSS 14 16 18 20 22 25 33 35 43 45 53 55 63 70 73 109 110 111 112 113 114 115 116 117 118 119 120 135 145 155 165 204 205 206 207 208 209 210 211 212 213 220 230 240 250 260