\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.000000 0 0.507653 0.000000 0.040881 0.000000 \\ connectedbase 0.000000 22 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 22 BLOCK 1 id21 id22 id23 id24 id26 id27 id31 id32 id34 id36 id38 id40 id41 id43 id45 id46 id48 id49 id51 id53 id55 id57 id58 id60 id62 id63 id65 id67 id68 id70 id72 id73 id75 id77 id79 id81 id83 id84 id86 id88 id89 id91 id93 id94 id117 id119 id121 id123 id124 id126 id127 id129 id131 id132 id134 id135 id137 id139 id141 id143 id145 id146 id148 id150 id151 id153 id155 id156 id206 id208 id210 id212 id213 id215 id216 id218 id220 id222 id223 id225 id227 id229 id231 id232 id234 id236 id238 id240 id241 id265 id267 id269 id270 id272 id274 id276 id278 id279 id281 id282 id284 id286 id288 id290 id291 id293 id295 id297 id299 id300 id373 id374 id378 id380 id382 id384 id386 id387 id388 id390 id391 id393 id395 id397 id399 id401 id403 id404 id460 id462 id464 id466 id468 id470 id472 id474 id476 id477 id479 id480 id608 id610 id612 id613 id615 id617 id619 id621 id623 id624 BLOCK 2 id115 BLOCK 3 id204 BLOCK 4 id263 BLOCK 5 id325 BLOCK 6 id339 BLOCK 7 id355 BLOCK 8 id371 BLOCK 9 id713 id715 id717 id569 id571 id573 id575 id577 id579 id581 id583 id585 id587 id588 id590 id591 id718 id702 id704 id706 id707 id709 id711 BLOCK 10 id425 BLOCK 11 id439 BLOCK 12 id458 BLOCK 13 id493 BLOCK 14 id515 BLOCK 15 id528 BLOCK 16 id548 BLOCK 17 id567 BLOCK 18 id606 BLOCK 19 id647 BLOCK 20 id663 BLOCK 21 id685 BLOCK 22 id700 MASTERCONSS id25 id28 id29 id96 id98 id100 id102 id104 id105 id107 id108 id110 id112 id114 id158 id160 id162 id164 id166 id168 id170 id171 id173 id175 id176 id178 id180 id181 id182 id184 id186 id187 id189 id191 id193 id195 id196 id198 id199 id201 id203 id243 id245 id247 id249 id251 id252 id254 id256 id258 id260 id262 id302 id304 id306 id308 id310 id312 id313 id315 id317 id319 id321 id322 id324 id327 id329 id331 id333 id334 id336 id338 id341 id342 id344 id346 id348 id350 id352 id354 id357 id358 id360 id362 id364 id366 id368 id370 id406 id407 id409 id413 id415 id417 id419 id421 id423 id424 id427 id428 id430 id434 id436 id438 id441 id443 id445 id447 id449 id451 id453 id455 id457 id482 id484 id486 id488 id490 id492 id495 id497 id499 id501 id503 id505 id507 id509 id511 id512 id514 id517 id519 id521 id523 id525 id527 id530 id532 id534 id536 id538 id540 id542 id544 id546 id547 id550 id552 id554 id556 id558 id560 id562 id564 id566 id593 id595 id597 id599 id601 id603 id605 id626 id628 id630 id632 id633 id635 id639 id641 id642 id644 id646 id649 id651 id653 id654 id656 id658 id660 id662 id665 id667 id669 id671 id673 id675 id677 id679 id680 id682 id684 id687 id689 id691 id693 id695 id697 id699