\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrcgpartition 10.380000 0 0.577645 0.000000 0.282929 0.000000 \\ connectedbase 0.010000 13 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 13 BLOCK 1 R9 R10 R12 R13 R14 R21 R22 R23 R24 R66 R67 R70 R71 R72 R73 R74 R75 R80 R81 R82 R104 R105 R106 R107 R111 R112 R113 R186 R187 R188 R191 R192 R193 R197 R198 R207 R208 R209 R210 R315 R316 R317 R326 R327 R328 R330 R332 R333 R334 R335 R336 R341 R342 R343 R348 R349 R350 R351 R361 R362 R363 R371 R372 R373 R374 R375 R386 R387 R388 R389 R393 R394 R486 R547 R548 R600 R601 R602 R604 R607 R608 R609 R610 R611 R612 R615 R616 R617 R619 R633 R877 R878 R879 R880 R885 R886 R887 R893 R894 R895 R896 R897 R898 R901 R902 R903 R904 R905 R909 R910 R911 R912 R913 R914 R917 R918 R919 R920 R921 R922 R925 R926 R927 R928 R929 R930 R933 R934 R935 R936 R937 R938 R941 R942 R943 R944 R945 R949 R950 R951 R956 R957 R958 R959 R960 R964 R965 R966 R967 R968 R969 R1143 R1144 R1145 R1305 R1401 R1402 R1403 R1404 R1405 R1406 R1407 R1408 R1409 R1540 R1542 R1549 R1550 R1551 R1558 R1561 R1580 R1583 R1586 R1590 R1594 R1627 R1634 R1636 R1709 R1713 R1788 R1790 R1791 R1794 R1795 R1797 R1798 R1829 R1844 R1845 R1945 R2026 R2087 R2088 R2089 R2090 R2091 R2092 R2093 R2094 R2095 R2096 R2097 R2098 R2099 R2100 R2101 R2102 R2267 BLOCK 2 R20 R129 R130 R137 R152 R153 R164 R168 R169 R175 R176 R545 R565 R576 R579 R690 R691 R692 R2506 R2507 R2508 R2509 R2510 R724 R725 R2511 R2512 R1158 R1159 R1164 R1165 R1169 R1170 R1174 R1175 R1181 R2516 R2522 R2523 R1447 R1454 R1455 R1456 R1457 R1458 R1459 R1491 R1492 R1498 R1760 R1761 R1764 R1770 R1771 R1772 R1775 R1776 R1777 R1792 R1793 R1801 R2530 R1876 R1880 R1883 R1884 R1897 R1898 R1899 R1900 R1910 R1911 R1916 R1929 R1930 R1931 R1937 R1938 R1939 R2103 R2104 R2106 R2107 R2108 R2109 R2110 R2111 R2112 R2113 R2114 R2115 R2116 R2117 R2118 R2119 R2120 R2121 R2122 R2123 R2124 R2125 R2173 R2175 R2181 R2183 R2184 R2189 R2190 R2198 R2199 R2202 R2211 R2231 R2232 R2233 R2236 R2241 R2242 R2243 R2244 R2246 R2257 R2260 R2261 R2262 R2263 R2264 R2265 R2489 R2495 R2496 R2497 R2500 R2501 R2502 BLOCK 3 R31 R36 R84 R87 R101 R124 R126 R131 R170 R171 R228 R230 R234 R248 R249 R252 R253 R254 R255 R257 R259 R261 R263 R265 R270 R271 R272 R273 R274 R275 R276 R279 R280 R281 R282 R298 R299 R300 R301 R308 R450 R454 R455 R461 R463 R464 R465 R469 R499 R500 R501 R509 R510 R555 R566 R567 R569 R570 R577 R580 R588 R593 R595 R597 R598 R623 R630 R640 R667 R668 R671 R673 R675 R676 R723 R744 R746 R750 R755 R758 R759 R760 R764 R765 R766 R768 R769 R772 R851 R852 R853 R854 R857 R858 R859 R860 R861 R862 R863 R974 R975 R980 R983 R984 R986 R989 R993 R994 R1000 R1001 R1002 R1003 R1007 R1008 R1009 R1010 R1011 R1012 R1013 R1014 R1015 R1017 R1018 R1021 R1025 R1031 R1035 R1036 R1038 R1039 R1040 R1106 R1107 R1110 R1123 R1124 R1173 R1296 R1297 R1298 R1303 R1304 R1308 R1324 R1345 R1351 R1352 R1355 R1356 R1357 R1358 R1360 R1361 R1362 R1367 R1368 R1372 R1373 R1374 R1376 R1377 R1380 R1381 R1382 R1384 R1385 R1386 R1387 R1388 R1390 R1391 R1392 R1393 R1435 R1440 R1441 R1465 R1471 R1504 R1505 R1506 R1512 R1515 R1517 R1518 R1519 R1520 R1521 R1523 R1524 R1525 R1526 R1527 R1531 R1533 R1534 R1535 R1536 R1537 R1538 R1571 R1597 R1599 R1600 R1601 R1603 R1604 R1606 R1607 R1608 R1609 R1610 R1611 R1612 R1617 R1631 R1640 R1641 R1644 R1645 R1668 R1693 R1716 R1721 R1738 R1740 R1741 R1751 R1752 R1753 R1754 R1757 R1758 R1796 R1825 R1826 R1827 R1828 R1830 R1834 R1835 R1836 R1837 R1838 R1839 R1842 R1843 R1943 R1947 R1950 R1951 R1952 R1954 R1956 R1969 R1973 R1974 R1975 R1976 R1983 R2032 R2035 R2058 R2255 R2256 R2312 R2313 R2318 R2320 R2324 R2325 R2386 R2396 R2404 R2408 R2412 R2416 R2422 R2423 R2424 R2425 R2428 R2436 R2437 R2442 R2447 R2448 R2451 R2452 R2453 R2465 R2485 R2498 R2499 BLOCK 4 R60 R61 R63 R98 R99 R103 R121 R181 R182 R183 R215 R216 R219 R238 R239 R245 R246 R247 R304 R305 R309 R318 R319 R345 R354 R357 R367 R379 R382 R397 R402 R403 R407 R408 R412 R413 R417 R418 R424 R425 R426 R428 R429 R435 R436 R439 R440 R441 R442 R443 R444 R445 R449 R495 R504 R518 R519 R536 R537 R571 R572 R578 R581 R585 R625 R627 R628 R637 R649 R650 R656 R660 R664 R719 R726 R727 R770 R773 R774 R775 R776 R779 R780 R781 R782 R785 R793 R794 R795 R796 R798 R799 R800 R801 R802 R803 R806 R811 R812 R814 R815 R816 R817 R818 R821 R822 R823 R827 R828 R830 R831 R832 R846 R875 R876 R1043 R1049 R1050 R1052 R1061 R1062 R1063 R1065 R1066 R1068 R1069 R1070 R1073 R1074 R1076 R1078 R1079 R1082 R1085 R1087 R1098 R1099 R1102 R1109 R1117 R1118 R1122 R1125 R1326 R1327 R1328 R1329 R1330 R1333 R1337 R1338 R1410 R1411 R1420 R1421 R1422 R1423 R1424 R1425 R1426 R1428 R1429 R1430 R1431 R1432 R1433 R1436 R1437 R1438 R1443 R1460 R1461 R1468 R1469 R1472 R1473 R1474 R1475 R1481 R1482 R1483 R1484 R1485 R1486 R1487 R1488 R1489 R1490 R1499 R1500 R1501 R1510 R1529 R1643 R1646 R1647 R1717 R1720 R1814 R1967 R1981 R1982 R2188 R2193 R2195 R2200 R2201 R2203 R2204 R2205 R2206 R2215 R2218 R2221 R2230 R2234 R2238 R2239 R2245 R2249 R2254 R2259 R2266 R2309 R2310 R2311 R2314 R2315 R2316 R2321 R2322 R2326 R2335 R2336 R2383 BLOCK 5 R699 R706 R707 R708 R709 R710 R711 R735 R742 R743 R1189 R1190 R1191 R1200 R1201 R1202 R1203 R1204 R1205 R1208 R1211 R1212 R1213 R1214 R1219 R1220 R1221 R1222 R1223 R1229 R1230 R1238 R1239 R1240 R1241 R1248 R1249 R1258 R1259 R1264 R1265 R1266 R1267 R1272 R1273 R1274 R1275 R1276 R1277 R1282 R1283 R1284 R1285 R1290 R1291 R1295 R1563 R1567 R1568 R1578 R1585 R1589 R1596 R1633 R1637 R1638 R1648 R1663 R1667 R1690 R1696 R1697 R1778 R1781 R1782 R1783 R1784 R1785 R1786 R1802 R1803 R1806 R1807 R1808 R1815 R1818 R1819 R1820 R1823 R1824 R1852 R1853 R1854 R1855 R1856 R1858 R1861 R1863 R1864 R1865 R1866 R1867 R1868 R1869 R2526 R1990 R1991 R1992 R1993 R1994 R1995 R1996 R1998 R1999 R2000 R2001 R2002 R2003 R2004 R2005 R2009 R2010 R2011 R2012 R2013 R2014 R2015 R2016 R2017 R2018 R2019 R2020 R2021 R2022 R2023 R2027 R2028 R2073 R2131 R2132 R2133 R2134 R2135 R2136 R2138 R2139 R2140 R2141 R2142 R2143 R2144 R2146 R2148 R2149 R2150 R2151 R2155 R2157 R2160 R2161 R2162 R2533 R2166 R2277 R2297 R2305 BLOCK 6 R790 R807 R808 BLOCK 7 R1448 R2240 BLOCK 8 R1450 R1451 BLOCK 9 R1452 R1453 BLOCK 10 R1476 R1479 R1480 BLOCK 11 R1477 R1478 R1977 BLOCK 12 R1556 BLOCK 13 R1762 R1763 MASTERCONSS R2527 R2528 R1 R2 R3 R4 R5 R6 R7 R8 R11 R15 R16 R17 R18 R19 R25 R26 R27 R28 R29 R30 R32 R33 R34 R35 R37 R38 R2504 R40 R41 R42 R43 R44 R45 R46 R47 R48 R49 R50 R51 R52 R53 R54 R55 R56 R57 R58 R59 R62 R64 R65 R68 R69 R76 R77 R78 R79 R83 R85 R86 R88 R89 R90 R91 R92 R93 R94 R95 R96 R97 R100 R102 R108 R109 R110 R114 R115 R116 R117 R118 R119 R120 R122 R123 R125 R127 R128 R132 R133 R134 R135 R136 R138 R139 R140 R141 R142 R143 R144 R145 R146 R147 R148 R149 R150 R151 R154 R155 R156 R157 R158 R159 R160 R161 R162 R163 R165 R166 R167 R172 R173 R174 R177 R178 R179 R180 R184 R185 R189 R190 R194 R195 R196 R199 R200 R201 R202 R203 R204 R205 R206 R211 R212 R213 R214 R217 R218 R220 R221 R222 R223 R224 R225 R226 R227 R229 R231 R232 R233 R235 R236 R237 R240 R241 R242 R243 R244 R250 R251 R256 R258 R260 R262 R264 R266 R267 R268 R269 R277 R278 R283 R284 R285 R286 R287 R288 R289 R290 R291 R292 R293 R294 R295 R296 R297 R302 R303 R306 R307 R310 R311 R312 R313 R314 R320 R321 R322 R323 R324 R325 R329 R331 R337 R338 R339 R340 R344 R346 R347 R352 R353 R355 R356 R358 R359 R360 R364 R365 R366 R368 R369 R370 R376 R377 R378 R380 R381 R383 R384 R385 R390 R391 R392 R395 R396 R398 R399 R400 R401 R404 R405 R406 R409 R410 R411 R414 R415 R416 R419 R420 R421 R422 R423 R427 R430 R431 R432 R433 R434 R437 R438 R446 R447 R448 R451 R452 R453 R456 R457 R458 R459 R460 R462 R466 R467 R468 R470 R471 R472 R473 R474 R475 R476 R477 R478 R479 R480 R481 R482 R483 R484 R485 R487 R488 R489 R490 R491 R492 R493 R494 R496 R497 R498 R502 R503 R505 R506 R507 R508 R511 R512 R513 R514 R515 R516 R517 R520 R521 R522 R523 R524 R525 R526 R527 R528 R529 R530 R531 R532 R533 R534 R535 R538 R539 R540 R541 R542 R543 R544 R546 R549 R550 R551 R552 R553 R554 R556 R557 R558 R559 R560 R561 R562 R563 R564 R568 R573 R574 R575 R582 R583 R584 R586 R587 R589 R590 R591 R592 R594 R596 R599 R603 R605 R606 R613 R614 R618 R620 R621 R622 R624 R626 R629 R2505 R632 R634 R635 R636 R638 R639 R641 R642 R643 R644 R645 R646 R647 R648 R651 R652 R653 R654 R655 R657 R658 R659 R661 R662 R663 R665 R666 R669 R670 R672 R674 R677 R678 R679 R680 R681 R682 R683 R684 R685 R686 R687 R688 R689 R693 R694 R695 R696 R697 R698 R700 R701 R702 R703 R704 R705 R712 R713 R720 R721 R722 R728 R729 R730 R731 R732 R733 R734 R2513 R739 R740 R741 R745 R747 R748 R749 R751 R752 R753 R754 R756 R757 R761 R762 R763 R767 R771 R777 R778 R783 R784 R786 R787 R788 R789 R791 R792 R797 R804 R805 R809 R810 R813 R819 R820 R824 R825 R826 R829 R833 R834 R835 R836 R837 R838 R839 R840 R841 R842 R843 R844 R845 R847 R848 R849 R850 R855 R856 R864 R865 R866 R867 R868 R869 R870 R871 R872 R873 R874 R881 R882 R883 R884 R888 R889 R890 R891 R892 R899 R900 R906 R907 R908 R915 R916 R923 R924 R931 R932 R939 R940 R946 R947 R948 R952 R953 R954 R955 R961 R962 R963 R970 R971 R972 R973 R976 R977 R978 R979 R981 R982 R985 R987 R988 R990 R991 R992 R995 R996 R997 R2514 R999 R1004 R1005 R1006 R1016 R1019 R1020 R1022 R1023 R1024 R1026 R1027 R1028 R1029 R1030 R1032 R1033 R1034 R1037 R1041 R1042 R1044 R1045 R1046 R1047 R1048 R1051 R1053 R1054 R1055 R1056 R1057 R1058 R1059 R1060 R1064 R1067 R1071 R1072 R1075 R1077 R1080 R1081 R1083 R1084 R1086 R1088 R1089 R1090 R1091 R1092 R1093 R1094 R1095 R1096 R1097 R1100 R1101 R1103 R1104 R1105 R1108 R1111 R1112 R1113 R1114 R1115 R1116 R1119 R1120 R1121 R1126 R1127 R1128 R1129 R1130 R1131 R1132 R1133 R1134 R1135 R1136 R1137 R1138 R1139 R1140 R1141 R1142 R1146 R1147 R1148 R1149 R1150 R1151 R1152 R1153 R1154 R1155 R1156 R1157 R1160 R1161 R1162 R1163 R1166 R1167 R1168 R1171 R1172 R1176 R1177 R1178 R1179 R1180 R1182 R1183 R1184 R1185 R1186 R1187 R1188 R1192 R1193 R1194 R1195 R1196 R1197 R1198 R1199 R1206 R1207 R1209 R1210 R1215 R1216 R1217 R1218 R1224 R1225 R2515 R2517 R1231 R1232 R1233 R1234 R1235 R1236 R1237 R1242 R1243 R1244 R1245 R1246 R1247 R2518 R2519 R2520 R2521 R1255 R1256 R1257 R1260 R1261 R1262 R1263 R1268 R1269 R1270 R1271 R1278 R1279 R1280 R1281 R1286 R1287 R1288 R1289 R1292 R1293 R1294 R1299 R1300 R1301 R1302 R1306 R1307 R1309 R1310 R1311 R1312 R1313 R1314 R1315 R1316 R1317 R1318 R1319 R1320 R1321 R1322 R1323 R1325 R1331 R1332 R1334 R1335 R1336 R1339 R1340 R1341 R1342 R1343 R1344 R1346 R1347 R1348 R1349 R1353 R1354 R1359 R1363 R1364 R1365 R1366 R1369 R1370 R1371 R1375 R1378 R1379 R1383 R1389 R1394 R1395 R1396 R1397 R1398 R1399 R1400 R1412 R1413 R1414 R1415 R1416 R1417 R1418 R1419 R1427 R2529 R1439 R1442 R1444 R1445 R1446 R1449 R1462 R1463 R1464 R1466 R1467 R1470 R1493 R1494 R1495 R1496 R1497 R1502 R1503 R1507 R1508 R1509 R1511 R1513 R1514 R1516 R1522 R1528 R1530 R1532 R1539 R1541 R1543 R1544 R1545 R1546 R1547 R1548 R1552 R1553 R1554 R1555 R1557 R1559 R1560 R1562 R1564 R1565 R1566 R1569 R1570 R1572 R1573 R1574 R1575 R1576 R1577 R1579 R1581 R1582 R1584 R1587 R1588 R1591 R1592 R1593 R1595 R1598 R1602 R1605 R1613 R1614 R1615 R1616 R1618 R1619 R1620 R1621 R1622 R1623 R1624 R1625 R1626 R1628 R1629 R1630 R1632 R1635 R1639 R1642 R2524 R1650 R1651 R1652 R1653 R1654 R1655 R1656 R1657 R1658 R1659 R1660 R1661 R1662 R1664 R1665 R1666 R1669 R1670 R1671 R1672 R1673 R1674 R1675 R1676 R1677 R1678 R1679 R1680 R1681 R1682 R1683 R1684 R1685 R1686 R1687 R1688 R1689 R1691 R1692 R1694 R1695 R1698 R1699 R1700 R1701 R1702 R1703 R1704 R1705 R1706 R1707 R1708 R1710 R1711 R1712 R1714 R1715 R1718 R1719 R1722 R1723 R1724 R1725 R1726 R1727 R1728 R1729 R1730 R1731 R1732 R1733 R1734 R1735 R1736 R1737 R1739 R1742 R1743 R1744 R1745 R1746 R1747 R1748 R1749 R1750 R1755 R1756 R1759 R1765 R1766 R1767 R1768 R1769 R1773 R1774 R1779 R1780 R1787 R1789 R1799 R1800 R1804 R1805 R1809 R1810 R1811 R1812 R1813 R1816 R1817 R1821 R1822 R1831 R1832 R1833 R1840 R1841 R1846 R1847 R1848 R1849 R1850 R1851 R1857 R1859 R2525 R1870 R1871 R1872 R1873 R1874 R1875 R1877 R1878 R1879 R1881 R1882 R1885 R1886 R1887 R1888 R1889 R1890 R1891 R1892 R1893 R1894 R1895 R1896 R1901 R1902 R1903 R1904 R1905 R1906 R1907 R1908 R1909 R1912 R1913 R1914 R1915 R1917 R1918 R1919 R1920 R1921 R1922 R1923 R1924 R1925 R1926 R1927 R1928 R1932 R1933 R1934 R1935 R1936 R1940 R1941 R1942 R1944 R1946 R1948 R1953 R1955 R1957 R1958 R1959 R1960 R1961 R1962 R1963 R1964 R1965 R1966 R1968 R1970 R1971 R1972 R1978 R1979 R1980 R1984 R1985 R1986 R1987 R1988 R1989 R1997 R2006 R2007 R2008 R2024 R2025 R2029 R2030 R2031 R2033 R2034 R2036 R2037 R2038 R2039 R2040 R2041 R2042 R2043 R2044 R2045 R2046 R2047 R2048 R2049 R2050 R2051 R2052 R2053 R2054 R2055 R2056 R2057 R2059 R2060 R2061 R2062 R2063 R2064 R2065 R2066 R2067 R2068 R2069 R2070 R2071 R2072 R2074 R2075 R2076 R2077 R2078 R2079 R2080 R2081 R2082 R2083 R2084 R2085 R2086 R2105 R2126 R2127 R2128 R2129 R2130 R2531 R2145 R2532 R2152 R2153 R2154 R2156 R2158 R2159 R2163 R2165 R2167 R2168 R2169 R2170 R2171 R2172 R2174 R2176 R2177 R2178 R2179 R2180 R2182 R2185 R2186 R2187 R2191 R2192 R2194 R2196 R2197 R2207 R2208 R2209 R2210 R2212 R2213 R2214 R2216 R2217 R2219 R2220 R2222 R2223 R2224 R2225 R2226 R2227 R2228 R2229 R2235 R2237 R2247 R2248 R2250 R2251 R2252 R2253 R2258 R2268 R2269 R2270 R2271 R2272 R2273 R2274 R2275 R2276 R2278 R2279 R2280 R2281 R2282 R2283 R2284 R2285 R2286 R2287 R2288 R2289 R2290 R2291 R2292 R2293 R2294 R2295 R2296 R2298 R2299 R2300 R2301 R2302 R2303 R2304 R2306 R2307 R2308 R2317 R2319 R2323 R2327 R2328 R2329 R2330 R2331 R2332 R2333 R2334 R2337 R2338 R2339 R2340 R2341 R2342 R2343 R2344 R2345 R2346 R2347 R2348 R2349 R2350 R2351 R2352 R2353 R2354 R2355 R2356 R2357 R2358 R2359 R2360 R2361 R2362 R2363 R2364 R2365 R2366 R2367 R2368 R2369 R2370 R2371 R2372 R2373 R2374 R2375 R2376 R2377 R2378 R2379 R2380 R2381 R2382 R2384 R2385 R2387 R2388 R2389 R2390 R2391 R2392 R2393 R2394 R2395 R2397 R2398 R2399 R2400 R2401 R2402 R2403 R2405 R2406 R2407 R2409 R2410 R2411 R2413 R2414 R2415 R2417 R2418 R2419 R2534 R2421 R2426 R2427 R2429 R2430 R2431 R2432 R2433 R2434 R2435 R2438 R2439 R2440 R2441 R2443 R2444 R2445 R2446 R2449 R2450 R2535 R2455 R2456 R2457 R2458 R2536 R2460 R2461 R7002 R2463 R2464 R2466 R2467 R2468 R2469 R2470 R2471 R2472 R2473 R2474 R2475 R2476 R2477 R2478 R2479 R2480 R2481 R2482 R2483 R2484 R2486 R2487 R2488 R2490 R2491 R2492 R2493 R2494 R2503