\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.030000 0 0.312808 0.000000 0.029851 0.000000 \\ connectedbase 0.000000 62 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 62 BLOCK 1 R0001 R0002 R0003 R0004 R0013 R0014 R0023 R0024 R0168 R0175 R0275 R0276 R0277 R0278 R0279 R0280 R0356 R0357 R0358 R0359 R0562 R0563 R0564 R0565 R0566 R0567 R0568 R0586 R0587 R0588 R0589 R0590 R0591 R0592 R0593 R0594 R0595 R0596 R0597 R0598 R0599 R0600 R0601 R0602 R0603 R0604 R0605 R0606 R0607 R0608 R0609 R0610 R0611 R0612 R0613 R0614 R0615 R0616 R0617 R0618 R0619 R0620 R0621 R0622 R0623 R0624 R0625 R0626 R0627 R0628 R0629 R0789 R0790 R0791 R0792 R0793 R0794 BLOCK 2 R0005 R0006 R0281 R0286 BLOCK 3 R0007 R0008 R0291 BLOCK 4 R0009 BLOCK 5 R0010 R0050 R0070 R0088 R0106 R0122 R0151 R0158 R0162 R0163 R0164 R0165 R0166 R0167 R0196 R0214 R0232 R0250 R0269 R0353 R0354 R0355 R0376 R0491 R0500 R0510 R0520 R0530 R0540 R0550 R0553 R0561 R0572 R0573 R0575 R0576 R0577 R0578 R0579 R0580 R0581 R0582 R0583 R0584 R0585 R0632 R0633 R0635 R0636 R0637 R0638 R0639 R0640 R0641 R0644 R0645 R0647 R0648 R0649 R0650 R0651 R0652 R0653 R0656 R0657 R0659 R0660 R0661 R0662 R0663 R0664 R0665 R0666 R0667 R0668 R0669 R0670 R0671 R0672 R0673 R0674 R0675 R0676 R0677 R0678 R0679 R0680 R0681 R0682 R0683 R0684 R0685 R0686 R0687 R0688 R0689 R0690 R0691 R0692 R0693 R0694 R0695 R0696 R0697 R0698 R0699 R0700 R0701 R0702 R0703 R0704 R0705 R0706 R0707 R0708 R0709 R0710 R0711 R0712 R0713 R0714 R0715 R0716 R0717 R0718 R0719 R0720 R0721 R0722 R0723 R0724 R0725 R0726 R0727 R0728 R0729 R0730 R0731 R0732 R0733 R0734 R0735 R0736 R0737 R0738 R0739 R0740 R0741 R0742 R0743 R0744 R0745 R0746 R0747 R0748 R0749 R0750 R0751 R0752 R0753 R0754 R0755 R0756 R0757 R0758 R0759 R0760 R0761 R0762 R0763 R0764 R0785 R0798 R0799 R0803 R0805 R0807 R0808 R0809 R0810 R0811 R0812 BLOCK 6 R0011 BLOCK 7 R0012 BLOCK 8 R0015 R0016 R0282 R0287 BLOCK 9 R0017 BLOCK 10 R0018 BLOCK 11 R0019 BLOCK 12 R0020 R0021 R0042 R0043 R0045 R0062 R0063 R0065 R0080 R0081 R0083 R0098 R0099 R0101 R0127 R0139 R0140 R0141 R0146 R0147 R0148 R0150 R0153 R0161 R0188 R0190 R0191 R0206 R0208 R0209 R0224 R0226 R0227 R0242 R0244 R0245 R0257 R0264 R0266 R0267 R0268 R0270 R0301 R0302 R0303 R0304 R0306 R0313 R0314 R0315 R0316 R0317 R0318 R0319 R0320 R0321 R0322 R0777 R0778 R0780 BLOCK 13 R0022 BLOCK 14 R0025 R0026 R0283 R0288 BLOCK 15 R0027 R0028 R0292 BLOCK 16 R0029 BLOCK 17 R0030 R0031 R0032 R0047 R0067 R0085 R0103 R0111 R0118 R0119 R0120 R0128 R0129 R0154 R0155 R0156 R0157 R0159 R0172 R0174 R0179 R0181 R0193 R0211 R0229 R0247 R0254 R0258 R0259 R0272 R0273 R0274 R0305 R0307 R0312 R0327 R0328 R0329 R0330 R0331 R0332 R0782 BLOCK 18 R0033 BLOCK 19 R0034 R0035 R0284 R0289 BLOCK 20 R0036 R0037 R0038 R0056 R0057 R0058 R0182 R0183 R0184 R0200 R0201 R0202 R0293 R0294 R0297 R0298 BLOCK 21 R0039 R0059 R0185 R0203 BLOCK 22 R0040 R0060 R0186 R0204 BLOCK 23 R0041 R0061 R0079 R0097 R0116 R0138 R0143 R0144 R0145 R0187 R0205 R0223 R0241 R0429 R0441 R0453 R0776 BLOCK 24 R0044 R0064 R0189 R0207 R0308 R0309 BLOCK 25 R0046 R0066 R0192 R0210 R0323 R0324 BLOCK 26 R0049 R0069 R0195 R0213 BLOCK 27 R0051 R0071 R0197 R0215 BLOCK 28 R0052 R0072 R0198 R0216 BLOCK 29 R0053 R0073 R0199 R0217 BLOCK 30 R0054 R0055 R0285 R0290 BLOCK 31 R0074 R0075 R0076 R0092 R0093 R0094 R0218 R0219 R0220 R0236 R0237 R0238 R0295 R0296 R0299 R0300 BLOCK 32 R0077 R0095 R0221 R0239 BLOCK 33 R0078 R0096 R0222 R0240 BLOCK 34 R0082 R0100 R0225 R0243 R0310 R0311 BLOCK 35 R0084 R0102 R0228 R0246 R0325 R0326 BLOCK 36 R0087 R0105 R0231 R0249 BLOCK 37 R0089 R0107 R0233 R0251 BLOCK 38 R0090 R0108 R0234 R0252 BLOCK 39 R0091 R0109 R0235 R0253 BLOCK 40 R0110 BLOCK 41 R0112 R0124 R0132 R0255 R0262 BLOCK 42 R0113 R0125 R0133 R0256 R0263 BLOCK 43 R0114 BLOCK 44 R0115 BLOCK 45 R0121 R0130 R0260 BLOCK 46 R0123 R0131 R0261 BLOCK 47 R0126 BLOCK 48 R0134 BLOCK 49 R0135 BLOCK 50 R0136 BLOCK 51 R0137 BLOCK 52 R0142 BLOCK 53 R0149 R0265 BLOCK 54 R0152 R0271 BLOCK 55 R0169 R0176 BLOCK 56 R0170 R0177 BLOCK 57 R0171 R0178 BLOCK 58 R0173 R0180 BLOCK 59 R0194 BLOCK 60 R0212 BLOCK 61 R0230 BLOCK 62 R0248 MASTERCONSS R0048 R0068 R0086 R0104 R0117 R0160 R0333 R0334 R0335 R0336 R0337 R0338 R0339 R0340 R0341 R0342 R0343 R0344 R0345 R0346 R0347 R0348 R0349 R0350 R0351 R0352 R0360 R0361 R0362 R0363 R0364 R0365 R0366 R0367 R0368 R0369 R0370 R0371 R0372 R0373 R0374 R0375 R0377 R0378 R0379 R0380 R0381 R0382 R0383 R0384 R0385 R0386 R0387 R0388 R0389 R0390 R0391 R0392 R0393 R0394 R0395 R0396 R0397 R0398 R0399 R0400 R0401 R0402 R0403 R0404 R0405 R0406 R0407 R0408 R0409 R0410 R0411 R0412 R0413 R0414 R0415 R0416 R0417 R0418 R0419 R0420 R0421 R0422 R0423 R0424 R0425 R0426 R0427 R0428 R0430 R0431 R0432 R0433 R0434 R0435 R0436 R0437 R0438 R0439 R0440 R0442 R0443 R0444 R0445 R0446 R0447 R0448 R0449 R0450 R0451 R0452 R0454 R0455 R0456 R0457 R0458 R0459 R0460 R0461 R0462 R0463 R0464 R0465 R0466 R0467 R0468 R0469 R0470 R0471 R0472 R0473 R0474 R0475 R0476 R0477 R0478 R0479 R0480 R0481 R0482 R0483 R0484 R0485 R0486 R0487 R0488 R0489 R0490 R0492 R0493 R0494 R0495 R0496 R0497 R0498 R0499 R0501 R0502 R0503 R0504 R0505 R0506 R0507 R0508 R0509 R0511 R0512 R0513 R0514 R0515 R0516 R0517 R0518 R0519 R0521 R0522 R0523 R0524 R0525 R0526 R0527 R0528 R0529 R0531 R0532 R0533 R0534 R0535 R0536 R0537 R0538 R0539 R0541 R0542 R0543 R0544 R0545 R0546 R0547 R0548 R0549 R0551 R0552 R0554 R0555 R0556 R0557 R0558 R0559 R0560 R0569 R0570 R0571 R0574 R0630 R0631 R0634 R0642 R0643 R0646 R0654 R0655 R0658 R0765 R0766 R0767 R0768 R0769 R0770 R0771 R0772 R0773 R0774 R0775 R0779 R0781 R0783 R0784 R0786 R0787 R0788 R0795 R0796 R0797 R0800 R0801 R0802 R0804 R0806