\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.000000 0 0.060543 0.000000 0.000000 0.000000 \\ connectedbase 0.000000 29 0.000000 0.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 29 BLOCK 1 c1 c59 c117 c134 c176 c244 c259 c326 c425 c436 c454 BLOCK 2 c2 c135 c151 c217 c245 c260 c276 c287 c302 c327 c359 c383 c411 c455 BLOCK 3 c3 c60 c73 c90 c118 c163 c177 c205 c230 c246 c288 c311 c328 c346 c372 c398 c437 c456 BLOCK 4 c4 c74 c91 c136 c192 c206 c218 c261 c289 c347 c360 c384 c399 c412 c438 c466 BLOCK 5 c5 c61 c92 c100 c119 c152 c164 c178 c219 c231 c277 c329 c348 c373 c426 c439 c467 BLOCK 6 c6 c137 c179 c232 c290 c312 c330 c374 c385 c400 c427 BLOCK 7 c7 c62 c75 c101 c180 c193 c207 c247 c278 c291 c331 c361 c386 c428 c457 c468 BLOCK 8 c8 c76 c102 c120 c138 c165 c220 c279 c313 c349 c362 c375 c387 c429 c440 BLOCK 9 c9 c77 c93 c121 c181 c208 c221 c233 c248 c262 c280 c292 c303 c314 c363 c388 c401 c441 c469 BLOCK 10 c10 c78 c103 c139 c153 c166 c182 c194 c234 c249 c263 c332 c376 c458 c470 BLOCK 11 c11 c63 c104 c195 c235 c250 c264 c281 c304 c315 c333 c389 c402 c413 c430 c442 BLOCK 12 c12 c64 c79 c94 c105 c122 c140 c167 c183 c196 c209 c293 c305 c334 c364 c414 c471 BLOCK 13 c13 c95 c106 c184 c210 c222 c265 c282 c335 c350 c365 c377 c403 c415 c443 c459 BLOCK 14 c14 c65 c123 c141 c154 c251 c294 c316 c336 c351 c390 c416 BLOCK 15 c15 c80 c142 c155 c211 c223 c266 c317 c366 c378 c391 c417 c444 c472 BLOCK 16 c16 c66 c107 c124 c156 c168 c197 c283 c306 c318 c367 c379 c418 c445 c460 c473 BLOCK 17 c17 c67 c81 c108 c125 c236 c252 c267 c337 c352 c368 c392 c404 c474 BLOCK 18 c18 c109 c126 c143 c157 c169 c185 c224 c253 c268 c295 c307 c353 c393 c405 c431 c446 c461 BLOCK 19 c19 c82 c127 c158 c170 c198 c212 c237 c308 c319 c354 c380 c406 c419 c462 BLOCK 20 c20 c68 c83 c128 c144 c159 c171 c186 c199 c238 c254 c269 c284 c296 c320 c338 c381 c447 c463 BLOCK 21 c21 c96 c110 c129 c145 c172 c213 c225 c321 c339 c394 c475 BLOCK 22 c22 c69 c84 c97 c160 c187 c200 c239 c270 c285 c297 c340 c355 c432 c464 c476 BLOCK 23 c23 c70 c85 c111 c130 c146 c161 c173 c201 c226 c255 c271 c298 c322 c356 c369 c407 c420 c448 c477 BLOCK 24 c24 c86 c112 c162 c174 c188 c214 c240 c272 c286 c341 c357 c395 c421 c433 c449 BLOCK 25 c25 c87 c98 c147 c175 c202 c241 c273 c342 c370 c396 c450 BLOCK 26 c26 c88 c113 c131 c148 c189 c215 c227 c242 c256 c299 c309 c343 c358 c382 c422 c451 c478 BLOCK 27 c27 c114 c132 c149 c203 c228 c257 c274 c300 c323 c371 c408 c423 c434 c465 BLOCK 28 c28 c71 c115 c150 c190 c216 c301 c324 c344 c397 c409 c452 c479 BLOCK 29 c29 c72 c89 c99 c116 c133 c191 c204 c229 c243 c258 c275 c310 c325 c345 c410 c424 c435 c453 MASTERCONSS c30 c31 c32 c33 c34 c35 c36 c37 c38 c39 c40 c41 c42 c43 c44 c45 c46 c47 c48 c49 c50 c51 c52 c53 c54 c55 c56 c57 c58