\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.100000 13 0.015413 0.000000 0.001428 0.000000 PRESOLVED 0 NBLOCKS 13 BLOCK 1 R0004 R0852 R0854 R0855 R0856 R0857 R0858 R0859 R0860 R0861 R0862 R0863 R0864 R0865 R0866 R0867 R0868 R0869 R0870 R0871 R0872 R0873 R0874 R0875 R0876 R0877 R0878 R0879 R0880 R0881 R0882 R0883 R0884 R0885 R0886 R0887 R0888 R0889 R0890 R0891 R0892 R0893 R0894 R0895 R0896 R0897 R0898 R0899 R0900 R0901 R0902 R0903 R0904 R0905 R0906 R0907 R0908 R0909 R0910 R0911 R0912 R0913 R0914 R0915 R0916 R0917 R0918 R0919 R0920 R0921 R0922 R0923 R0924 R0925 R0926 R0927 R0928 R0929 R0930 R0931 R0932 R0933 R0934 R0935 BLOCK 2 R0001 R0432 R0433 R0434 R0435 R0436 R0437 R0438 R0439 R0440 R0441 R0442 R0443 R0444 R0445 R0446 R0447 R0448 R0449 R0450 R0451 R0452 R0453 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 R0491 R0492 R0493 R0494 R0495 R0496 R0497 R0498 R0499 R0500 R0501 R0502 R0503 R0504 R0505 R0506 R0507 R0508 R0509 R0510 R0511 R0512 R0513 R0514 R0515 BLOCK 3 R0096 R0098 R0099 R0100 R0101 R0102 R0103 R0104 R0105 R0106 R0107 R0108 R0109 R0110 R0111 R0112 R0113 R0114 R0115 R0116 R0117 R0118 R0119 R0120 R0121 R0122 R0123 R0124 R0125 R0126 R0127 R0128 R0129 R0130 R0131 R0132 R0133 R0134 R0135 R0136 R0137 R0138 R0139 R0140 R0141 R0142 R0143 R0144 R0145 R0146 R0147 R0148 R0149 R0150 R0151 R0152 R0153 R0154 R0155 R0156 R0157 R0158 R0159 R0160 R0161 R0162 R0163 R0164 R0165 R0166 R0167 R0168 R0169 R0170 R0171 R0172 R0173 R0174 R0175 R0176 R0177 R0178 R0179 BLOCK 4 R0008 R0012 R0014 R0015 R0016 R0017 R0018 R0019 R0020 R0021 R0022 R0023 R0024 R0025 R0026 R0027 R0028 R0029 R0030 R0031 R0032 R0033 R0034 R0035 R0036 R0037 R0038 R0039 R0040 R0041 R0042 R0043 R0044 R0045 R0046 R0047 R0048 R0049 R0050 R0051 R0052 R0053 R0054 R0055 R0056 R0057 R0058 R0059 R0060 R0061 R0062 R0063 R0064 R0065 R0066 R0067 R0068 R0069 R0070 R0071 R0072 R0073 R0074 R0075 R0076 R0077 R0078 R0079 R0080 R0081 R0082 R0083 R0084 R0085 R0086 R0087 R0088 R0089 R0090 R0091 R0092 R0093 R0094 R0095 BLOCK 5 R0348 R0350 R0351 R0352 R0353 R0354 R0355 R0356 R0357 R0358 R0359 R0360 R0361 R0362 R0363 R0364 R0365 R0366 R0367 R0368 R0369 R0370 R0371 R0372 R0373 R0374 R0375 R0376 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 R0429 R0430 R0431 BLOCK 6 R0936 R0938 R0939 R0940 R0941 R0942 R0943 R0944 R0945 R0946 R0947 R0948 R0949 R0950 R0951 R0952 R0953 R0954 R0955 R0956 R0957 R0958 R0959 R0960 R0961 R0962 R0963 R0964 R0965 R0966 R0967 R0968 R0969 R0970 R0971 R0972 R0973 R0974 R0975 R0976 R0977 R0978 R0979 R0980 R0981 R0982 R0983 R0984 R0985 R0986 R0987 R0988 R0989 R0990 R0991 R0992 R0993 R0994 R0995 R0996 R0997 R0998 R0999 R1000 R1001 R1002 R1003 R1004 R1005 R1006 R1007 R1008 R1009 R1010 R1011 R1012 R1013 R1014 R1015 R1016 R1017 R1018 R1019 BLOCK 7 R0516 R0518 R0519 R0520 R0521 R0522 R0523 R0524 R0525 R0526 R0527 R0528 R0529 R0530 R0531 R0532 R0533 R0534 R0535 R0536 R0537 R0538 R0539 R0540 R0541 R0542 R0543 R0544 R0545 R0546 R0547 R0548 R0549 R0550 R0551 R0552 R0553 R0554 R0555 R0556 R0557 R0558 R0559 R0560 R0561 R0562 R0563 R0564 R0565 R0566 R0567 R0568 R0569 R0570 R0571 R0572 R0573 R0574 R0575 R0576 R0577 R0578 R0579 R0580 R0581 R0582 R0583 R0584 R0585 R0586 R0587 R0588 R0589 R0590 R0591 R0592 R0593 R0594 R0595 R0596 R0597 R0598 R0599 BLOCK 8 R0180 R0182 R0183 R0184 R0185 R0186 R0187 R0188 R0189 R0190 R0191 R0192 R0193 R0194 R0195 R0196 R0197 R0198 R0199 R0200 R0201 R0202 R0203 R0204 R0205 R0206 R0207 R0208 R0209 R0210 R0211 R0212 R0213 R0214 R0215 R0216 R0217 R0218 R0219 R0220 R0221 R0222 R0223 R0224 R0225 R0226 R0227 R0228 R0229 R0230 R0231 R0232 R0233 R0234 R0235 R0236 R0237 R0238 R0239 R0240 R0241 R0242 R0243 R0244 R0245 R0246 R0247 R0248 R0249 R0250 R0251 R0252 R0253 R0254 R0255 R0256 R0257 R0258 R0259 R0260 R0261 R0262 R0263 BLOCK 9 R0600 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 R0630 R0631 R0632 R0633 R0634 R0635 R0636 R0637 R0638 R0639 R0640 R0641 R0642 R0643 R0644 R0645 R0646 R0647 R0648 R0649 R0650 R0651 R0652 R0653 R0654 R0655 R0656 R0657 R0658 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 BLOCK 10 R0768 R0770 R0771 R0772 R0773 R0774 R0775 R0776 R0777 R0778 R0779 R0780 R0781 R0782 R0783 R0784 R0785 R0786 R0787 R0788 R0789 R0790 R0791 R0792 R0793 R0794 R0795 R0796 R0797 R0798 R0799 R0800 R0801 R0802 R0803 R0804 R0805 R0806 R0807 R0808 R0809 R0810 R0811 R0812 R0813 R0814 R0815 R0816 R0817 R0818 R0819 R0820 R0821 R0822 R0823 R0824 R0825 R0826 R0827 R0828 R0829 R0830 R0831 R0832 R0833 R0834 R0835 R0836 R0837 R0838 R0839 R0840 R0841 R0842 R0843 R0844 R0845 R0846 R0847 R0848 R0849 R0850 R0851 BLOCK 11 R0264 R0266 R0267 R0268 R0269 R0270 R0271 R0272 R0273 R0274 R0275 R0276 R0277 R0278 R0279 R0280 R0281 R0282 R0283 R0284 R0285 R0286 R0287 R0288 R0289 R0290 R0291 R0292 R0293 R0294 R0295 R0296 R0297 R0298 R0299 R0300 R0301 R0302 R0303 R0304 R0305 R0306 R0307 R0308 R0309 R0310 R0311 R0312 R0313 R0314 R0315 R0316 R0317 R0318 R0319 R0320 R0321 R0322 R0323 R0324 R0325 R0326 R0327 R0328 R0329 R0330 R0331 R0332 R0333 R0334 R0335 R0336 R0337 R0338 R0339 R0340 R0341 R0342 R0343 R0344 R0345 R0346 R0347 BLOCK 12 R0003 R0007 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 R0765 R0766 R0767 BLOCK 13 R1020 R1022 R1023 R1024 R1025 R1026 R1027 R1028 R1029 R1030 R1031 R1032 R1033 R1034 R1035 R1036 R1037 R1038 R1039 R1040 R1041 R1042 R1043 R1044 R1045 R1046 R1047 R1048 R1049 R1050 R1051 R1052 R1053 R1054 R1055 R1056 R1057 R1058 R1059 R1060 R1061 R1062 R1063 R1064 R1065 R1066 R1067 R1068 R1069 R1070 R1071 R1072 R1073 R1074 R1075 R1076 R1077 R1078 R1079 R1080 R1081 R1082 R1083 R1084 R1085 R1086 R1087 R1088 R1089 R1090 R1091 R1092 R1093 R1094 R1095 R1096 R1097 R1098 R1099 R1100 R1101 R1102 R1103 MASTERCONSS R0002 R0005 R0006 R0009 R0010 R0011 R0013 R0097 R0181 R0265 R0349 R0517 R0601 R0769 R0853 R0937 R1021