\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.000000 0 0.200000 0.000000 0.000000 0.000000 \\ connectedbase 0.000000 2 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 2 BLOCK 1 R390 R391 R398 R399 R614 R615 R558 R406 R407 R559 R414 R415 R30 R31 R38 R39 R422 R423 R46 R47 R54 R55 R566 R567 R62 R63 R430 R431 R70 R71 R78 R79 R438 R86 R87 R439 R94 R95 R638 R102 R103 R639 R446 R447 R110 R111 R574 R118 R119 R575 R622 R126 R127 R454 R455 R134 R135 R142 R143 R462 R150 R151 R463 R623 R158 R159 R646 R166 R167 R582 R470 R471 R174 R175 R583 R182 R183 R190 R191 R478 R479 R198 R199 R206 R207 R486 R214 R215 R487 R222 R223 R590 R230 R231 R591 R494 R495 R238 R239 R246 R247 R254 R255 R502 R503 R262 R263 R270 R271 R630 R510 R278 R279 R511 R598 R286 R287 R599 R294 R295 R631 R518 R519 R302 R303 R310 R311 R318 R319 R526 R527 R326 R327 R334 R335 R606 R534 R342 R343 R535 R607 R350 R351 R358 R359 R542 R543 R366 R367 R374 R375 R382 R383 R550 R551 R647 BLOCK 2 R553 R393 R395 R555 R401 R403 R409 R411 R649 R561 R27 R417 R33 R35 R419 R563 R617 R41 R43 R49 R51 R425 R427 R57 R59 R65 R67 R619 R433 R73 R75 R435 R569 R81 R83 R89 R91 R571 R441 R97 R99 R443 R105 R107 R113 R115 R449 R451 R121 R123 R129 R131 R577 R457 R137 R139 R459 R145 R147 R579 R153 R155 R465 R161 R163 R467 R169 R171 R177 R179 R473 R475 R185 R187 R625 R585 R193 R195 R481 R201 R203 R483 R587 R209 R211 R217 R219 R627 R489 R225 R227 R491 R233 R235 R641 R241 R243 R497 R499 R249 R251 R593 R257 R259 R595 R505 R265 R267 R507 R273 R275 R281 R283 R513 R289 R291 R515 R297 R299 R601 R305 R307 R521 R523 R313 R315 R603 R321 R323 R643 R529 R329 R331 R531 R633 R337 R339 R345 R347 R537 R353 R355 R539 R609 R361 R363 R369 R371 R545 R547 R377 R379 R611 R635 R385 R387 MASTERCONSS R394 R554 R402 R410 R26 R562 R418 R34 R42 R618 R50 R426 R58 R66 R74 R434 R82 R570 R90 R442 R98 R106 R114 R450 R122 R130 R138 R458 R578 R146 R154 R466 R162 R170 R178 R474 R186 R194 R586 R202 R482 R210 R626 R218 R490 R226 R234 R242 R498 R250 R594 R258 R266 R506 R642 R274 R282 R514 R290 R298 R306 R522 R314 R602 R322 R330 R530 R338 R346 R538 R354 R634 R362 R610 R370 R546 R378 R386