\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.030000 0 0.245000 0.000000 0.061785 0.000000 \\ connectedbase 0.000000 41 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 41 BLOCK 1 R0007 R0008 R0015 R0016 R0023 R0024 R0031 R0032 R0039 R0040 R0047 R0048 R0055 R0056 R0175 R0176 R0199 R0200 R0223 R0224 R0247 R0248 R0271 R0272 R0295 R0316 R0337 R0358 R0379 R0400 R0421 R0442 R0463 R0484 R0505 R0526 R0547 R0548 R0555 R0556 R0563 R0564 R0571 R0572 R0579 R0580 R0587 R0588 R0691 R0692 R0699 R0700 R0707 R0708 R0715 R0716 R0723 R0724 R0731 R0732 R0835 R0836 R0843 R0844 R0851 R0852 R0859 R0860 R0867 R0868 R0875 R0876 R0979 R0980 R0987 R0988 R0995 R0996 R1003 R1004 R1011 R1012 R1019 R1020 R1153 BLOCK 2 R0064 R0072 R0080 R0088 R0096 R0104 R0112 R0184 R0208 R0232 R0256 R0276 R0277 R0278 R0279 R0280 R0299 R0300 R0301 R0302 R0320 R0321 R0322 R0323 R0341 R0342 R0343 R0344 R0362 R0363 R0364 R0365 R0383 R0384 R0385 R0386 R0404 R0405 R0406 R0407 R0425 R0426 R0427 R0428 R0446 R0447 R0448 R0449 R0467 R0468 R0469 R0470 R0488 R0489 R0490 R0491 R0509 R0510 R0511 R0512 R0530 R0531 R0532 R0533 R0596 R0604 R0612 R0620 R0628 R0636 R0740 R0748 R0756 R0764 R0772 R0780 R0884 R0892 R0900 R0908 R0916 R0924 R1028 R1036 R1044 R1052 R1060 R1068 R1160 BLOCK 3 R0118 R0120 R0126 R0128 R0134 R0136 R0142 R0144 R0150 R0152 R0158 R0160 R0166 R0168 R0190 R0192 R0214 R0216 R0238 R0240 R0262 R0264 R0284 R0285 R0286 R0287 R0288 R0306 R0307 R0308 R0309 R0327 R0328 R0329 R0330 R0348 R0349 R0350 R0351 R0369 R0370 R0371 R0372 R0390 R0391 R0392 R0393 R0411 R0412 R0413 R0414 R0432 R0433 R0434 R0435 R0453 R0454 R0455 R0456 R0474 R0475 R0476 R0477 R0495 R0496 R0497 R0498 R0516 R0517 R0518 R0519 R0537 R0538 R0539 R0540 R0642 R0644 R0650 R0652 R0658 R0660 R0666 R0668 R0674 R0676 R0682 R0684 R0786 R0788 R0794 R0796 R0802 R0804 R0810 R0812 R0818 R0820 R0826 R0828 R0930 R0932 R0938 R0940 R0946 R0948 R0954 R0956 R0962 R0964 R0970 R0972 R1074 R1076 R1082 R1084 R1090 R1092 R1098 R1100 R1106 R1108 R1114 R1116 R1167 BLOCK 4 R0173 R0174 R0197 R0198 R0221 R0222 R0245 R0246 R0265 R0266 R0267 R0268 R0269 R0270 R0289 R0290 R0291 R0292 R0293 R0310 R0311 R0312 R0313 R0314 R0331 R0332 R0333 R0334 R0335 R0352 R0353 R0354 R0355 R0356 R0373 R0374 R0375 R0376 R0377 R0394 R0395 R0396 R0397 R0398 R0415 R0416 R0417 R0418 R0419 R0436 R0437 R0438 R0439 R0440 R0457 R0458 R0459 R0460 R0461 R0478 R0479 R0480 R0481 R0482 R0499 R0500 R0501 R0502 R0503 R0520 R0521 R0522 R0523 R0524 R0545 R0546 R0553 R0554 R0561 R0562 R0569 R0570 R0577 R0578 R0585 R0586 R0689 R0690 R0697 R0698 R0705 R0706 R0713 R0714 R0721 R0722 R0729 R0730 R0833 R0834 R0841 R0842 R0849 R0850 R0857 R0858 R0865 R0866 R0873 R0874 R0977 R0978 R0985 R0986 R0993 R0994 R1001 R1002 R1009 R1010 R1017 R1018 BLOCK 5 R0178 R0179 R0202 R0203 R0226 R0227 R0250 R0273 R0274 R0275 R0296 R0297 R0317 R0318 R0338 R0339 R0359 R0360 R0380 R0381 R0401 R0402 R0422 R0423 R0443 R0444 R0464 R0465 R0485 R0486 R0506 R0507 R0527 R0528 R0590 R0591 R0598 R0599 R0606 R0607 R0614 R0615 R0622 R0623 R0630 R0631 R0734 R0735 R0742 R0743 R0750 R0751 R0758 R0759 R0766 R0767 R0774 R0775 R0878 R0879 R0886 R0887 R0894 R0895 R0902 R0903 R0910 R0911 R0918 R0919 R1022 R1030 R1038 R1046 R1054 R1062 BLOCK 6 R0186 R0187 R0210 R0211 R0234 R0235 R0258 R0259 R0281 R0282 R0283 R0303 R0304 R0324 R0325 R0345 R0346 R0366 R0367 R0387 R0388 R0408 R0409 R0429 R0430 R0450 R0451 R0471 R0472 R0492 R0493 R0513 R0514 R0534 R0535 R0638 R0639 R0646 R0647 R0654 R0655 R0662 R0663 R0670 R0671 R0678 R0679 R0782 R0783 R0790 R0791 R0798 R0799 R0806 R0807 R0814 R0815 R0822 R0823 R0926 R0927 R0934 R0935 R0942 R0943 R0950 R0951 R0958 R0959 R0966 R0967 R1070 R1071 R1078 R1079 R1086 R1087 R1094 R1095 R1102 R1103 R1110 R1111 BLOCK 7 R0541 R0549 R0557 R0565 R0573 R0581 R0589 R0597 R0605 R0613 R0621 R0629 R0637 R0645 R0653 R0661 R0669 R0677 R1117 BLOCK 8 R0542 R0550 R0558 R0566 R0574 R0582 BLOCK 9 R0543 R0551 R0559 R0567 R0575 R0583 BLOCK 10 R0544 R0552 R0560 R0568 R0576 R0584 BLOCK 11 R0592 R0600 R0608 R0616 R0624 R0632 BLOCK 12 R0593 R0601 R0609 R0617 R0625 R0633 BLOCK 13 R0594 R0602 R0610 R0618 R0626 R0634 BLOCK 14 R0595 R0603 R0611 R0619 R0627 R0635 BLOCK 15 R0640 R0641 R0643 R0648 R0649 R0651 R0656 R0657 R0659 R0664 R0665 R0667 R0672 R0673 R0675 R0680 R0681 R0683 R0784 R0785 R0787 R0792 R0793 R0795 R0800 R0801 R0803 R0808 R0809 R0811 R0816 R0817 R0819 R0824 R0825 R0827 R0928 R0929 R0931 R0936 R0937 R0939 R0944 R0945 R0947 R0952 R0953 R0955 R0960 R0961 R0963 R0968 R0969 R0971 R1073 R1075 R1081 R1083 R1089 R1091 R1097 R1099 R1104 R1105 R1107 R1112 R1113 R1115 R1214 R1215 R1217 R1190 R1191 R1193 BLOCK 16 R0685 R0693 R0701 R0709 R0717 R0725 R0733 R0741 R0749 R0757 R0765 R0773 R0781 R0789 R0797 R0805 R0813 R0821 R1118 BLOCK 17 R0686 R0694 R0702 R0710 R0718 R0726 BLOCK 18 R0687 R0695 R0703 R0711 R0719 R0727 BLOCK 19 R0688 R0696 R0704 R0712 R0720 R0728 BLOCK 20 R0736 R0744 R0752 R0760 R0768 R0776 BLOCK 21 R0737 R0745 R0753 R0761 R0769 R0777 BLOCK 22 R0738 R0746 R0754 R0762 R0770 R0778 BLOCK 23 R0739 R0747 R0755 R0763 R0771 R0779 BLOCK 24 R0829 R0837 R0845 R0853 R0861 R0869 R0877 R0885 R0893 R0901 R0909 R0917 R0925 R0933 R0941 R0949 R0957 R0965 R1119 BLOCK 25 R0830 R0838 R0846 R0854 R0862 R0870 BLOCK 26 R0831 R0839 R0847 R0855 R0863 R0871 BLOCK 27 R0832 R0840 R0848 R0856 R0864 R0872 BLOCK 28 R0880 R0888 R0896 R0904 R0912 R0920 BLOCK 29 R0881 R0889 R0897 R0905 R0913 R0921 BLOCK 30 R0882 R0890 R0898 R0906 R0914 R0922 BLOCK 31 R0883 R0891 R0899 R0907 R0915 R0923 BLOCK 32 R0973 R0981 R0989 R0997 R1005 R1013 R1021 R1029 R1037 R1045 R1053 R1061 R1069 R1077 R1085 R1093 R1101 R1109 R1120 BLOCK 33 R0974 R0982 R0990 R0998 R1006 R1014 BLOCK 34 R0975 R0983 R0991 R0999 R1007 R1015 BLOCK 35 R0976 R0984 R0992 R1000 R1008 R1016 BLOCK 36 R1023 R1031 R1039 R1047 R1055 R1063 BLOCK 37 R1024 R1032 R1040 R1048 R1056 R1064 BLOCK 38 R1025 R1033 R1041 R1049 R1057 R1065 BLOCK 39 R1026 R1034 R1042 R1050 R1058 R1066 BLOCK 40 R1027 R1035 R1043 R1051 R1059 R1067 BLOCK 41 R1072 R1080 R1088 MASTERCONSS R0001 R0002 R0003 R0004 R0005 R0006 R0009 R0010 R0011 R0012 R0013 R0014 R0017 R0018 R0019 R0020 R0021 R0022 R0025 R0026 R0027 R0028 R0029 R0030 R0033 R0034 R0035 R0036 R0037 R0038 R0041 R0042 R0043 R0044 R0045 R0046 R0049 R0050 R0051 R0052 R0053 R0054 R0057 R0058 R0059 R0060 R0061 R0062 R0063 R0065 R0066 R0067 R0068 R0069 R0070 R0071 R0073 R0074 R0075 R0076 R0077 R0078 R0079 R0081 R0082 R0083 R0084 R0085 R0086 R0087 R0089 R0090 R0091 R0092 R0093 R0094 R0095 R0097 R0098 R0099 R0100 R0101 R0102 R0103 R0105 R0106 R0107 R0108 R0109 R0110 R0111 R0113 R0114 R0115 R0116 R0117 R0119 R0121 R0122 R0123 R0124 R0125 R0127 R0129 R0130 R0131 R0132 R0133 R0135 R0137 R0138 R0139 R0140 R0141 R0143 R0145 R0146 R0147 R0148 R0149 R0151 R0153 R0154 R0155 R0156 R0157 R0159 R0161 R0162 R0163 R0164 R0165 R0167 R0169 R0170 R0171 R0172 R0177 R0180 R0181 R0182 R0183 R0185 R0188 R0189 R0191 R0193 R0194 R0195 R0196 R0201 R0204 R0205 R0206 R0207 R0209 R0212 R0213 R0215 R0217 R0218 R0219 R0220 R0225 R0228 R0229 R0230 R0231 R0233 R0236 R0237 R0239 R0241 R0242 R0243 R0244 R0249 R0251 R0252 R0253 R0254 R0255 R0257 R0260 R0261 R0263 R0294 R0298 R0305 R0315 R0319 R0326 R0336 R0340 R0347 R0357 R0361 R0368 R0378 R0382 R0389 R0399 R0403 R0410 R0420 R0424 R0431 R0441 R0445 R0452 R0462 R0466 R0473 R0483 R0487 R0494 R0504 R0508 R0515 R0525 R0529 R0536 R1096 R1121 R1122 R1123 R1124 R1125 R1126 R1127 R1128 R1129 R1130 R1131 R1132 R1133 R1134 R1135 R1136 R1137 R1138 R1139 R1140 R1141 R1142 R1143 R1144 R1145 R1146 R1147 R1148 R1201 R1202 R1203 R1204 R1205 R1206 R1207 R1208 R1209 R1210 R1211 R1212 R1213 R1216 R1218 R1170 R1171 R1172 R1173 R1174 R1175 R1176 R1177 R1178 R1179 R1180 R1181 R1182 R1183 R1184 R1185 R1186 R1187 R1188 R1189 R1192 R1194 R1195 R1196 R1197 R1198 R1199 R1200