\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 2.080000 4 0.328619 0.000000 0.305430 0.000000 PRESOLVED 0 NBLOCKS 4 BLOCK 1 R615 R893 R894 R895 R896 R897 R898 R899 R900 R901 R902 R903 R904 R905 R906 R907 R910 R911 R912 R913 R914 R915 R916 R917 R918 R919 R920 R921 R922 R925 R926 R928 R930 R931 R932 R933 R934 R935 R936 R937 R938 R939 R940 R941 R942 R943 R946 R947 R951 R952 R953 R954 R955 R956 R957 R960 R961 R962 R963 R964 R965 R966 R967 R968 R969 R970 R971 R972 R973 R975 R977 R981 R982 R983 R984 R985 R986 R987 R988 R989 R990 R991 R992 R993 R994 R996 R997 R998 R999 R1003 R1004 R1005 R1006 R1009 R1010 R1011 R1012 R1013 R1014 R1015 R1016 R1017 R1018 R1019 R1020 R1021 R1022 R1023 R1024 R1025 R1026 R1027 R1028 R1029 R1030 R1031 R1032 R1033 R1034 R1035 R1036 R1040 R1041 R1042 R1043 R1044 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 R1074 R1075 R1076 R1077 R1078 R1087 R1107 R1108 R1109 R1110 R1111 R1112 R1113 R1114 R1115 R1116 R1117 R1120 R1123 R1124 R1125 R1126 R1127 R1128 R1129 R1130 R1131 R1132 R1133 R1134 R1135 R1136 R1137 R1138 R1139 R1140 R1141 R1142 R1143 R1144 R1145 R1146 R1152 R1153 R1156 R1159 R1160 R1161 R1162 R1163 R1164 R1165 R1166 R1167 R1168 R1169 R1170 R1171 R1172 R1173 R1174 R1175 R1176 R1177 R1178 R1179 R1180 R1181 R1182 R1185 R1190 R1193 R1194 R1195 R1196 R1197 R1198 R1201 R1202 R1203 R1204 R1205 R1206 R1207 R1208 R1209 R1210 R1211 R1246 R1364 R1373 R1390 R1392 R1453 R1478 R1479 R1570 R1571 R1620 BLOCK 2 R330 R1215 R1257 R1258 R1259 R1262 R1263 R1265 R1267 R1268 R1270 R1271 R1273 R1276 R1277 R1279 R1281 R1284 R1290 R1291 R1292 R1294 R1295 R1296 R1301 R1302 R1312 R1313 R1315 R1321 R1324 R1325 R1327 R1329 R1330 R1331 R1342 R1344 R1346 R1352 R1353 R1354 R1355 R1357 R1375 R1377 R1382 R1383 R1384 R1385 R1386 R1413 R1414 R1415 R1423 R1435 R1438 R1439 R1440 R1441 BLOCK 3 R391 R392 R431 R432 R469 R470 R485 R486 R591 R592 R647 R876 R880 R1227 R1228 R1230 R1231 R1232 R1233 R1448 R1463 R1470 R1471 R1473 R1494 R1508 R1518 R1519 R1520 R1525 R1532 R1575 R1576 R1577 R1578 R1579 R1580 R1590 R1591 R1592 R1594 R1601 R1602 R1603 R1604 R1605 R1619 R1633 R1634 R1639 R1651 R1652 R1658 R1659 R1662 R1663 R1673 R1674 BLOCK 4 R2 R4 R5 R7 R8 R9 R10 R11 R12 R14 R15 R16 R17 R18 R19 R23 R29 R30 R31 R32 R33 R34 R35 R36 R37 R38 R39 R40 R41 R42 R43 R44 R45 R46 R47 R48 R49 R50 R51 R52 R53 R54 R55 R56 R59 R60 R61 R62 R63 R64 R65 R66 R71 R72 R86 R87 R88 R89 R90 R91 R94 R97 R98 R99 R100 R101 R102 R127 R128 R129 R130 R131 R132 R153 R154 R155 R156 R157 R158 R161 R162 R163 R164 R165 R166 R167 R168 R169 R170 R171 R172 R173 R175 R176 R177 R178 R179 R180 R181 R182 R183 R184 R185 R186 R187 R188 R189 R191 R195 R198 R199 R200 R201 R202 R203 R206 R207 R208 R209 R210 R215 R216 R217 R218 R219 R221 R222 R223 R224 R225 R226 R228 R229 R230 R231 R232 R233 R234 R235 R236 R237 R238 R239 R249 R250 R251 R254 R255 R258 R259 R260 R261 R262 R263 R264 R265 R268 R269 R270 R271 R272 R273 R274 R275 R278 R279 R282 R283 R284 R285 R286 R287 R288 R289 R292 R294 R295 R297 R298 R314 R315 R316 R317 R318 R335 R336 R337 R338 R339 R340 R341 R343 R344 R345 R347 R348 R349 R352 R353 R354 R355 R356 R359 R361 R362 R363 R364 R366 R374 R377 R379 R380 R381 R382 R402 R403 R404 R405 R406 R408 R409 R412 R413 R414 R415 R422 R423 R424 R425 R445 R447 R450 R451 R452 R453 R456 R457 R458 R459 R460 R461 R500 R501 R502 R503 R504 R505 R506 R507 R508 R509 R510 R511 R518 R519 R520 R521 R527 R528 R529 R530 R531 R532 R533 R536 R537 R538 R541 R542 R543 R545 R546 R547 R548 R549 R550 R551 R552 R553 R554 R555 R558 R559 R560 R561 R562 R563 R564 R565 R566 R567 R568 R569 R570 R571 R572 R573 R574 R575 R576 R577 R578 R579 R580 R581 R582 R583 R606 R607 R608 R609 R630 R631 R659 R660 R661 R662 R663 R664 R665 R666 R667 R668 R677 R678 R679 R680 R681 R682 R683 R684 R685 R686 R687 R688 R689 R690 R691 R692 R693 R694 R695 R696 R697 R698 R710 R711 R714 R715 R716 R717 R720 R722 R723 R724 R725 R726 R727 R728 R729 R730 R731 R749 R756 R757 R760 R761 R767 R768 R769 R770 R771 R772 R773 R774 R775 R776 R777 R778 R779 R780 R781 R782 R785 R786 R787 R788 R789 R790 R791 R798 R799 R800 R802 R815 R816 R817 R818 R819 R820 R821 R828 R829 R830 R831 R832 R833 R834 R835 R836 R837 R838 R839 R840 R841 R847 R848 R849 R852 R853 R854 R855 R856 R857 R858 R865 R866 R867 R868 R869 R870 R871 R872 R1094 R1095 R1097 R1098 R1099 R1100 MASTERCONSS UB R18522 R24 R25 R26 R69 R70 R75 R76 R79 R80 R82 R83 R104 R105 R108 R109 R110 R111 R114 R115 R117 R118 R121 R122 R123 R124 R135 R136 R138 R139 R140 R141 R143 R144 R145 R146 R147 R148 R149 R150 R194 R205 R213 R214 R242 R244 R245 R247 R248 R299 R300 R303 R304 R307 R308 R309 R310 R313 R321 R322 R323 R324 R327 R328 R329 R331 R332 R346 R365 R369 R371 R372 R376 R385 R386 R387 R388 R395 R396 R398 R399 R418 R419 R428 R429 R434 R435 R436 R437 R440 R441 R443 R444 R464 R465 R466 R467 R473 R474 R477 R479 R480 R482 R483 R488 R489 R492 R493 R494 R495 R497 R514 R515 R516 R524 R586 R587 R589 R590 R593 R594 R597 R599 R600 R601 R602 R603 R604 R612 R613 R616 R617 R620 R621 R622 R624 R625 R627 R628 R634 R636 R637 R638 R639 R641 R644 R645 R648 R650 R651 R652 R653 R655 R656 R671 R672 R673 R674 R701 R702 R704 R705 R707 R708 R734 R735 R736 R738 R739 R740 R741 R744 R747 R748 R752 R753 R764 R765 R794 R795 R796 R805 R806 R809 R810 R812 R824 R825 R844 R845 R861 R862 R875 R878 R881 R882 R884 R885 R888 R889 R890 R978 R1000 R1001 R1002 R1039 R1081 R1082 R1083 R1085 R1086 R1088 R1091 R1103 R1104 R1149 R1187 R1188 R1214 R1217 R1218 R1220 R1223 R1225 R1235 R1238 R1239 R1240 R1241 R1242 R1243 R1247 R1248 R1249 R1251 R1252 R1254 R1285 R1286 R1287 R1299 R1303 R1304 R1306 R1308 R1309 R1310 R1316 R1318 R1319 R1320 R1334 R1335 R1337 R1339 R1347 R1348 R1351 R1359 R1362 R1363 R1367 R1368 R1369 R1370 R1378 R1379 R1389 R1391 R1394 R1395 R1398 R1399 R1403 R1406 R1409 R1412 R1416 R1419 R1420 R1421 R1426 R1429 R1430 R1431 R1432 R1434 R1444 R1445 R1446 R1447 R1449 R1450 R1451 R1455 R1457 R1460 R1461 R1462 R1466 R1467 R1469 R1475 R1480 R1481 R1484 R1485 R1486 R1487 R1489 R1491 R1496 R1498 R1499 R1500 R1501 R1502 R1503 R1505 R1510 R1511 R1512 R1515 R1517 R1522 R1527 R1528 R1530 R1535 R1536 R1538 R1541 R1542 R1545 R1546 R1548 R1549 R1551 R1552 R1554 R1557 R1558 R1560 R1561 R1562 R1563 R1566 R1567 R1572 R1581 R1582 R1583 R1584 R1585 R1588 R1589 R1597 R1598 R1599 R1600 R1609 R1611 R1612 R1614 R1616 R1622 R1623 R1626 R1627 R1628 R1630 R1636 R1637 R1642 R1643 R1645 R1646 R1648 R1654 R1656 R1664 R1666 R1667 R1669 R1670 R1676 R1678 R1680 R1681 R1682 R1683 R18502 R18504 R18507