\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.010000 3 0.264516 0.000000 0.061538 0.000000 PRESOLVED 0 NBLOCKS 3 BLOCK 1 R602 R606 R607 R21 R23 R25 R610 R490 R491 R497 R498 R504 R505 R100 R101 R107 R108 R114 R115 R612 R614 R615 R527 R528 R534 R535 R185 R186 R192 R193 R199 R200 R541 R542 R618 R554 R556 R262 R263 R269 R270 R276 R277 R557 R563 R564 R570 R571 R331 R332 R338 R339 R345 R346 R577 R578 R584 R585 R390 R392 R393 R399 R400 R406 R407 R591 R592 R598 R599 R445 R446 R452 R453 R459 R460 BLOCK 2 R468 R469 R476 R477 R608 R609 R484 R485 R30 R31 R38 R39 R492 R46 R47 R493 R54 R55 R62 R63 R499 R500 R70 R71 R78 R79 R506 R507 R86 R87 R94 R95 R102 R103 R109 R110 R116 R117 R513 R123 R124 R514 R131 R132 R139 R140 R521 R522 R147 R148 R155 R156 R163 R164 R529 R530 R171 R172 R179 R180 R187 R188 R194 R195 R201 R202 R536 R537 R208 R209 R216 R217 R543 R224 R225 R544 R232 R233 R240 R241 R550 R551 R248 R249 R256 R257 R264 R265 R271 R272 R278 R279 R285 R286 R293 R294 R301 R302 R565 R566 R309 R310 R317 R318 R572 R573 R325 R326 R333 R334 R340 R341 R347 R348 R354 R355 R579 R580 R370 R371 R378 R379 R586 R587 R386 R387 R401 R402 R408 R409 R415 R416 R593 R594 R423 R424 R431 R432 R600 R439 R440 R601 R447 R448 R454 R455 R461 R462 BLOCK 3 R465 R471 R473 R479 R481 R27 R487 R33 R35 R489 R41 R43 R49 R51 R496 R57 R59 R65 R67 R73 R75 R503 R81 R83 R89 R91 R510 R97 R99 R106 R113 R120 R126 R128 R516 R134 R136 R518 R142 R144 R150 R152 R524 R526 R158 R160 R166 R168 R174 R176 R533 R182 R184 R191 R198 R205 R211 R213 R540 R219 R221 R227 R229 R547 R235 R237 R243 R245 R553 R251 R253 R259 R261 R268 R275 R282 R288 R290 R562 R296 R298 R304 R306 R312 R314 R569 R320 R322 R328 R330 R337 R344 R351 R576 R357 R358 R359 R365 R367 R583 R373 R375 R381 R383 R389 R398 R405 R412 R590 R418 R420 R426 R428 R434 R436 R442 R444 R451 R458 MASTERCONSS R603 R604 R472 R605 R480 R20 R22 R24 R26 R34 R488 R42 R50 R494 R495 R58 R66 R501 R502 R74 R82 R508 R90 R509 R611 R98 R104 R105 R111 R112 R118 R119 R127 R613 R517 R135 R143 R616 R151 R525 R159 R167 R531 R532 R175 R183 R189 R190 R196 R197 R203 R204 R538 R212 R539 R220 R228 R545 R546 R236 R617 R244 R619 R252 R555 R260 R266 R267 R273 R274 R280 R281 R558 R559 R289 R560 R561 R297 R305 R567 R568 R313 R321 R574 R329 R335 R336 R342 R343 R349 R350 R575 R362 R363 R366 R581 R582 R374 R382 R588 R589 R391 R394 R395 R396 R397 R403 R404 R410 R411 R419 R595 R427 R596 R597 R435 R443 R449 R450 R456 R457 R463 R464