\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.020000 4 0.110738 0.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 4 BLOCK 1 c139 c140 c147 c148 c155 c156 c163 c164 c171 c172 c179 c180 c187 c188 c195 c196 c203 c204 c211 c212 c219 c220 c227 c228 c235 c236 c243 c244 c251 c252 c259 c260 c267 c268 c275 c276 c283 c284 c291 c292 c299 c300 c307 c308 c315 c316 c323 c324 c331 c332 c339 c340 c347 c348 c355 c356 c363 c364 c371 c372 c379 c380 c387 c388 c395 c396 c403 c404 c411 c412 c419 c420 c427 c428 c435 c436 c443 c444 c451 c452 c459 c460 c467 c468 c475 c476 c483 c484 c491 c492 c499 c500 c507 c508 c515 c516 c523 c524 c531 c532 c539 c540 c547 c548 c555 c556 c563 c564 c571 c572 c579 c580 c587 c588 c595 c596 c603 c604 c611 c612 c619 c620 c627 c628 c635 c636 c643 c644 c651 c652 c659 c660 c664 c671 c672 c679 c680 c687 c688 c695 c696 c703 c704 c711 c712 c719 c720 c727 c728 c735 c736 c743 c744 c751 c752 c759 c760 c767 c768 c775 c776 c783 c784 c791 c792 c799 c800 c807 c808 c815 c816 c823 c824 c831 c832 c839 c840 c847 c848 c855 c856 c863 c864 c871 c872 c879 c880 c887 c888 c895 c896 c903 c904 c911 c912 c919 c920 c927 c928 c935 c936 c943 c944 c951 c952 c959 c960 c967 c968 c975 c976 c983 c984 c991 c992 c999 c1000 c1007 c1008 c1015 c1016 c1023 c1024 c1031 c1032 c1039 c1040 c1047 c1048 c1055 c1056 c1063 c1064 c1071 c1072 c1079 c1080 c1087 c1088 c1095 c1096 c1103 c1104 c1111 c1112 c1119 c1120 c1127 c1128 c1135 c1136 c1143 c1144 c1151 c1152 c1159 c1160 c1167 c1168 c1175 c1176 c1183 c1184 c1191 c1192 BLOCK 2 c135 c136 c143 c144 c151 c152 c159 c160 c167 c168 c175 c176 c183 c184 c191 c192 c199 c200 c207 c208 c215 c216 c223 c224 c231 c232 c239 c240 c247 c248 c255 c256 c263 c264 c271 c272 c279 c280 c287 c288 c295 c296 c303 c304 c311 c312 c319 c320 c327 c328 c335 c336 c343 c344 c351 c352 c359 c360 c367 c368 c375 c376 c383 c384 c391 c392 c399 c400 c407 c408 c415 c416 c423 c424 c431 c432 c439 c440 c447 c448 c455 c456 c463 c464 c471 c472 c479 c480 c487 c488 c495 c496 c503 c504 c511 c512 c519 c520 c527 c528 c535 c536 c543 c544 c551 c552 c559 c560 c567 c568 c575 c576 c583 c584 c591 c592 c599 c600 c607 c608 c615 c616 c623 c624 c631 c632 c639 c640 c647 c648 c655 c656 c662 c667 c668 c675 c676 c683 c684 c691 c692 c699 c700 c707 c708 c715 c716 c723 c724 c731 c732 c739 c740 c747 c748 c755 c756 c763 c764 c771 c772 c779 c780 c787 c788 c795 c796 c803 c804 c811 c812 c819 c820 c827 c828 c835 c836 c843 c844 c851 c852 c859 c860 c867 c868 c875 c876 c883 c884 c891 c892 c899 c900 c907 c908 c915 c916 c923 c924 c931 c932 c939 c940 c947 c948 c955 c956 c963 c964 c971 c972 c979 c980 c987 c988 c995 c996 c1003 c1004 c1011 c1012 c1019 c1020 c1027 c1028 c1035 c1036 c1043 c1044 c1051 c1052 c1059 c1060 c1067 c1068 c1075 c1076 c1083 c1084 c1091 c1092 c1099 c1100 c1107 c1108 c1115 c1116 c1123 c1124 c1131 c1132 c1139 c1140 c1147 c1148 c1155 c1156 c1163 c1164 c1171 c1172 c1179 c1180 c1187 c1188 BLOCK 3 c133 c134 c141 c142 c149 c150 c157 c158 c165 c166 c173 c174 c181 c182 c189 c190 c197 c198 c205 c206 c213 c214 c221 c222 c229 c230 c237 c238 c245 c246 c253 c254 c261 c262 c269 c270 c277 c278 c285 c286 c293 c294 c301 c302 c309 c310 c317 c318 c325 c326 c333 c334 c341 c342 c349 c350 c357 c358 c365 c366 c373 c374 c381 c382 c389 c390 c397 c398 c405 c406 c413 c414 c421 c422 c429 c430 c437 c438 c445 c446 c453 c454 c461 c462 c469 c470 c477 c478 c485 c486 c493 c494 c501 c502 c509 c510 c517 c518 c525 c526 c533 c534 c541 c542 c549 c550 c557 c558 c565 c566 c573 c574 c581 c582 c589 c590 c597 c598 c605 c606 c613 c614 c621 c622 c629 c630 c637 c638 c645 c646 c653 c654 c661 c665 c666 c673 c674 c681 c682 c689 c690 c697 c698 c705 c706 c713 c714 c721 c722 c729 c730 c737 c738 c745 c746 c753 c754 c761 c762 c769 c770 c777 c778 c785 c786 c793 c794 c801 c802 c809 c810 c817 c818 c825 c826 c833 c834 c841 c842 c849 c850 c857 c858 c865 c866 c873 c874 c881 c882 c889 c890 c897 c898 c905 c906 c913 c914 c921 c922 c929 c930 c937 c938 c945 c946 c953 c954 c961 c962 c969 c970 c977 c978 c985 c986 c993 c994 c1001 c1002 c1009 c1010 c1017 c1018 c1025 c1026 c1033 c1034 c1041 c1042 c1049 c1050 c1057 c1058 c1065 c1066 c1073 c1074 c1081 c1082 c1089 c1090 c1097 c1098 c1105 c1106 c1113 c1114 c1121 c1122 c1129 c1130 c1137 c1138 c1145 c1146 c1153 c1154 c1161 c1162 c1169 c1170 c1177 c1178 c1185 c1186 BLOCK 4 c137 c138 c145 c146 c153 c154 c161 c162 c169 c170 c177 c178 c185 c186 c193 c194 c201 c202 c209 c210 c217 c218 c225 c226 c233 c234 c241 c242 c249 c250 c257 c258 c265 c266 c273 c274 c281 c282 c289 c290 c297 c298 c305 c306 c313 c314 c321 c322 c329 c330 c337 c338 c345 c346 c353 c354 c361 c362 c369 c370 c377 c378 c385 c386 c393 c394 c401 c402 c409 c410 c417 c418 c425 c426 c433 c434 c441 c442 c449 c450 c457 c458 c465 c466 c473 c474 c481 c482 c489 c490 c497 c498 c505 c506 c513 c514 c521 c522 c529 c530 c537 c538 c545 c546 c553 c554 c561 c562 c569 c570 c577 c578 c585 c586 c593 c594 c601 c602 c609 c610 c617 c618 c625 c626 c633 c634 c641 c642 c649 c650 c657 c658 c663 c669 c670 c677 c678 c685 c686 c693 c694 c701 c702 c709 c710 c717 c718 c725 c726 c733 c734 c741 c742 c749 c750 c757 c758 c765 c766 c773 c774 c781 c782 c789 c790 c797 c798 c805 c806 c813 c814 c821 c822 c829 c830 c837 c838 c845 c846 c853 c854 c861 c862 c869 c870 c877 c878 c885 c886 c893 c894 c901 c902 c909 c910 c917 c918 c925 c926 c933 c934 c941 c942 c949 c950 c957 c958 c965 c966 c973 c974 c981 c982 c989 c990 c997 c998 c1005 c1006 c1013 c1014 c1021 c1022 c1029 c1030 c1037 c1038 c1045 c1046 c1053 c1054 c1061 c1062 c1069 c1070 c1077 c1078 c1085 c1086 c1093 c1094 c1101 c1102 c1109 c1110 c1117 c1118 c1125 c1126 c1133 c1134 c1141 c1142 c1149 c1150 c1157 c1158 c1165 c1166 c1173 c1174 c1181 c1182 c1189 c1190 MASTERCONSS c1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c13 c14 c15 c16 c17 c18 c19 c20 c21 c22 c23 c24 c25 c26 c27 c28 c29 c30 c31 c32 c33 c34 c35 c36 c37 c38 c39 c40 c41 c42 c43 c44 c45 c46 c47 c48 c49 c50 c51 c52 c53 c54 c55 c56 c57 c58 c59 c60 c61 c62 c63 c64 c65 c66 c67 c68 c69 c70 c71 c72 c73 c74 c75 c76 c77 c78 c79 c80 c81 c82 c83 c84 c85 c86 c87 c88 c89 c90 c91 c92 c93 c94 c95 c96 c97 c98 c99 c100 c101 c102 c103 c104 c105 c106 c107 c108 c109 c110 c111 c112 c113 c114 c115 c116 c117 c118 c119 c120 c121 c122 c123 c124 c125 c126 c127 c128 c129 c130 c131 c132