\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ connectedbase 0.250000 2 0.000000 1.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 2 BLOCK 1 c1 c3 c5 c8 c11 c12 c15 c16 c19 c20 c23 c24 c26 c27 c30 c31 c33 c35 c36 c38 c39 c42 c43 c45 c46 c51 c52 c54 c55 c59 c61 c63 c65 c66 c69 c70 c73 c75 c76 c79 c80 c83 c85 c86 c89 c90 c91 c94 c95 c99 c101 c102 c103 c106 c109 c111 c112 c113 c116 c118 c120 c121 c124 c125 c127 c130 c133 c134 c136 c137 c141 c142 c144 c145 c149 c150 c151 c153 c154 c159 c160 c162 c163 c165 c166 c170 c173 c175 c176 c179 c180 c183 c185 c186 c189 c190 c193 c194 c196 c197 c200 c203 c204 c208 c209 c210 c213 c215 c216 c219 c221 c222 c224 c226 c229 c231 c232 c234 c235 c238 c240 c241 c243 c244 c248 c250 c252 c253 c257 c258 c259 c261 c262 c266 c267 c268 c270 c271 c275 c276 c277 c280 c281 c282 c285 c286 c289 c290 c291 c294 c297 c298 c299 c300 c303 c306 c307 c308 c309 c312 c315 c316 c317 c318 c321 c325 c326 c327 c328 c331 c335 c337 c338 c339 c340 c345 c347 c348 c349 c350 c355 c357 c358 c359 c360 c365 c367 c368 c369 c370 c372 c377 c378 c379 c381 c382 c387 c388 c389 c391 c392 c395 c396 c399 c400 c402 c405 c406 c408 c410 c413 c416 c417 c420 c421 c423 c426 c427 c430 c431 c433 c436 c437 c440 c441 c443 c446 c449 c450 c451 c456 c458 c459 c460 c461 c465 c467 c468 c469 c470 c471 c475 c477 c478 c479 c480 c483 c484 c487 c488 c489 c492 c493 c496 c497 c499 c502 c503 c505 c506 c508 c511 c512 c514 c515 c517 c520 c521 c524 c525 c527 c530 c531 c534 c535 c536 c538 c541 c544 c545 c546 c548 c551 c554 c555 c556 c558 c562 c564 c565 c566 c568 c572 c574 c575 c576 c577 c580 c581 c585 c586 c589 c590 c594 c596 c599 c600 c601 c603 c606 c607 c609 c612 c613 c615 c618 c619 c621 c624 c626 c629 c630 c632 c634 c635 c636 c637 c638 c639 c640 c641 c642 c643 c644 c645 c646 c647 c648 c649 c650 c651 c652 c653 c654 c655 c656 BLOCK 2 c2 c4 c6 c7 c9 c10 c13 c14 c17 c18 c21 c22 c25 c28 c29 c32 c34 c37 c40 c41 c44 c47 c48 c49 c50 c53 c56 c57 c58 c60 c62 c64 c67 c68 c71 c72 c74 c77 c78 c81 c82 c84 c87 c88 c92 c93 c96 c97 c98 c100 c104 c105 c107 c108 c110 c114 c115 c117 c119 c122 c123 c126 c128 c129 c131 c132 c135 c138 c139 c140 c143 c146 c147 c148 c152 c155 c156 c157 c158 c161 c164 c167 c168 c169 c171 c172 c174 c177 c178 c181 c182 c184 c187 c188 c191 c192 c195 c198 c199 c201 c202 c205 c206 c207 c211 c212 c214 c217 c218 c220 c223 c225 c227 c228 c230 c233 c236 c237 c239 c242 c245 c246 c247 c249 c251 c254 c255 c256 c260 c263 c264 c265 c269 c272 c273 c274 c278 c279 c283 c284 c287 c288 c292 c293 c295 c296 c301 c302 c304 c305 c310 c311 c313 c314 c319 c320 c322 c323 c324 c329 c330 c332 c333 c334 c336 c341 c342 c343 c344 c346 c351 c352 c353 c354 c356 c361 c362 c363 c364 c366 c371 c373 c374 c375 c376 c380 c383 c384 c385 c386 c390 c393 c394 c397 c398 c401 c403 c404 c407 c409 c411 c412 c414 c415 c418 c419 c422 c424 c425 c428 c429 c432 c434 c435 c438 c439 c442 c444 c445 c447 c448 c452 c453 c454 c455 c457 c462 c463 c464 c466 c472 c473 c474 c476 c481 c482 c485 c486 c490 c491 c494 c495 c498 c500 c501 c504 c507 c509 c510 c513 c516 c518 c519 c522 c523 c526 c528 c529 c532 c533 c537 c539 c540 c542 c543 c547 c549 c550 c552 c553 c557 c559 c560 c561 c563 c567 c569 c570 c571 c573 c578 c579 c582 c583 c584 c587 c588 c591 c592 c593 c595 c597 c598 c602 c604 c605 c608 c610 c611 c614 c616 c617 c620 c622 c623 c625 c627 c628 c631 c633 MASTERCONSS