\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.260000 2 0.135667 0.000000 0.032448 0.000000 \\ connectedbase 0.000000 61 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 63 BLOCK 1 c298 BLOCK 2 c348 BLOCK 3 c1 c2 c3 c4 c5 c6 c7 c8 c11 c14 c15 c18 c19 c20 c24 c25 c26 c27 c2034 c2892 c2828 c36 c37 c38 c43 c44 c45 c46 c47 c48 c49 c50 c51 c54 c59 c60 c61 c62 c63 c64 c3188 c67 c82 c83 c84 c85 c86 c87 c88 c89 c90 c91 c92 c95 c2340 c2756 c98 c99 c103 c104 c105 c106 c107 c108 c109 c111 c112 c116 c118 c119 c120 c123 c124 c132 c133 c134 c135 c138 c145 c146 c147 c148 c149 c155 c156 c169 c2042 c2468 c179 c180 c184 c185 c186 c192 c199 c200 c201 c205 c207 c208 c209 c211 c212 c213 c214 c219 c220 c221 c222 c224 c252 c258 c259 c260 c263 c265 c266 c274 c275 c276 c277 c283 c284 c285 c286 c290 c291 c292 c294 c299 c301 c303 c322 c329 c331 c332 c333 c334 c335 c336 c337 c338 c339 c340 c341 c344 c345 c346 c347 c350 c355 c359 c360 c361 c362 c363 c365 c368 c369 c373 c374 c375 c2348 c382 c383 c384 c385 c388 c389 c390 c391 c392 c2050 c404 c405 c420 c421 c424 c425 c426 c427 c428 c429 c430 c431 c432 c433 c434 c435 c438 c439 c440 c441 c444 c445 c446 c447 c448 c449 c450 c451 c452 c453 c456 c457 c458 c459 c460 c489 c490 c503 c504 c511 c512 c513 c514 c515 c516 c517 c518 c519 c520 c522 c524 c2948 c526 c528 c530 c3252 c532 c533 c534 c535 c536 c537 c538 c539 c540 c541 c542 c543 c544 c545 c546 c547 c548 c549 c550 c551 c552 c553 c554 c555 c556 c557 c559 c561 c563 c565 c567 c569 c570 c571 c572 c573 c574 c575 c576 c577 c578 c579 c580 c581 c582 c583 c584 c585 c586 c3116 c3004 c2476 c2836 c2764 c2900 c2356 c2668 c652 c653 c654 c655 c656 c657 c658 c659 c661 c663 c665 c667 c669 c671 c672 c673 c674 c675 c676 c677 c678 c679 c680 c681 c682 c683 c684 c685 c686 c687 c688 c763 c764 c765 c766 c767 c768 c769 c770 c772 c774 c776 c778 c780 c782 c783 c784 c785 c786 c787 c788 c789 c790 c791 c792 c793 c794 c795 c796 c797 c798 c799 c1860 c1861 c3156 c1862 c1863 c1864 c3180 c1865 c1866 c1867 c2532 c1869 c2636 c1871 c1873 c1059 c1060 c1061 c1062 c1063 c1064 c1065 c1066 c2420 c1068 c1070 c1072 c1074 c1875 c1076 c1078 c1079 c1080 c1081 c1082 c1083 c1084 c1085 c1086 c1087 c1088 c1089 c1090 c1091 c1092 c1093 c1094 c1095 c2292 c1877 c1879 c2540 c1880 c1881 c1882 c2956 c3228 c2364 c2228 c2772 c2844 c2492 c2692 c2908 c1224 c1225 c1226 c1227 c2236 c3244 c1236 c1237 c1238 c1239 c1240 c1241 c2244 c1243 c1244 c1245 c2780 c1248 c1249 c1250 c2428 c1883 c1884 c1885 c1288 c1289 c1290 c1291 c1292 c1293 c1294 c1295 c1297 c2644 c1299 c2300 c1301 c1886 c1303 c1887 c1305 c1888 c1307 c1308 c1309 c1310 c1311 c1312 c1313 c1314 c1315 c1316 c1317 c1318 c1319 c1320 c1321 c1322 c1323 c1324 c1889 c1890 c1891 c2548 c3204 c1892 c1893 c1894 c1399 c1400 c1401 c1402 c1403 c1404 c1405 c1406 c1408 c1410 c2812 c1412 c1895 c1414 c1896 c1416 c1418 c1419 c1420 c1421 c1422 c1423 c1424 c1425 c1426 c1427 c1428 c1429 c1430 c1431 c1432 c1433 c1434 c1435 c2308 c2652 c3092 c2612 c2252 c2508 c3124 c2916 c1537 c1538 c1539 c1540 c1541 c1542 c1543 c1544 c1546 c2740 c1548 c1550 c3260 c1552 c1554 c2524 c1556 c1557 c1558 c1559 c1560 c1561 c1562 c1563 c1564 c1565 c1566 c1567 c1568 c1569 c1570 c1571 c1572 c1573 c2316 c2628 c2708 c2260 c2620 c3020 c2268 c1675 c1676 c1677 c1678 c1679 c1680 c1681 c1682 c1684 c1686 c2820 c1688 c1690 c1692 c1694 c1695 c1696 c1697 c1698 c1699 c1700 c1701 c1702 c1703 c1704 c1705 c1706 c1707 c1708 c1709 c1710 c1711 c2660 c2324 c2796 c1786 c1787 c1788 c1789 c1790 c1791 c1792 c1793 c1795 c3076 c1797 c2748 c1799 c1801 c1803 c1805 c1806 c1807 c1808 c1809 c1810 c1811 c1812 c1813 c1814 c1815 c1816 c1817 c1818 c1819 c1820 c1821 c1822 BLOCK 4 c2572 c2196 c68 c69 c70 c71 c72 c73 c74 c75 c76 c77 c78 c79 c80 c81 c128 c131 c150 c151 c152 c153 c154 c160 c161 c162 c163 c164 c165 c166 c188 c189 c190 c191 c202 c203 c206 c225 c226 c227 c228 c229 c230 c231 c232 c233 c234 c236 c237 c238 c239 c240 c241 c244 c245 c246 c249 c250 c251 c253 c3044 c267 c268 c269 c270 c271 c278 c287 c288 c289 c293 c295 c297 c302 c308 c311 c312 c313 c314 c316 c319 c326 c327 c328 c2204 c342 c351 c352 c353 c354 c356 c357 c358 c366 c367 c370 c376 c377 c380 c381 c406 c407 c408 c409 c412 c413 c414 c415 c418 c419 c473 c474 c477 c478 c495 c496 c1829 c1830 c1832 c1834 c587 c588 c589 c590 c591 c2212 c2058 c600 c601 c602 c603 c604 c605 c607 c608 c609 c610 c612 c613 c614 c615 c616 c617 c618 c619 c620 c621 c622 c624 c626 c628 c1836 c630 c632 c1838 c634 c635 c636 c637 c638 c639 c640 c641 c642 c643 c644 c645 c646 c647 c648 c649 c650 c651 c1840 c1842 c1843 c1844 c1845 c1846 c726 c727 c728 c729 c730 c731 c732 c733 c735 c737 c739 c1847 c741 c1848 c743 c1849 c745 c746 c747 c748 c749 c750 c751 c752 c753 c754 c755 c756 c757 c758 c759 c760 c761 c762 c1850 c1851 c1852 c800 c801 c802 c803 c804 c805 c806 c807 c809 c811 c813 c1853 c815 c1854 c817 c1855 c819 c820 c821 c822 c823 c824 c825 c826 c827 c828 c829 c830 c831 c832 c833 c834 c835 c836 c1856 c1857 c1858 c1859 c948 c949 c950 c951 c952 c953 c954 c955 c957 c959 c2868 c961 c963 c965 c967 c968 c969 c970 c971 c972 c973 c974 c975 c976 c977 c978 c979 c980 c981 c982 c983 c984 c985 c986 c987 c988 c989 c990 c991 c992 c994 c2132 c996 c2284 c998 c1000 c1002 c1004 c1005 c1006 c1007 c1008 c1009 c1010 c1011 c1012 c1013 c1014 c1015 c1016 c1017 c1018 c1019 c1020 c1021 c2980 c2724 c2188 c1096 c1097 c1098 c1099 c1100 c1101 c1102 c1103 c2140 c1105 c1107 c1109 c1111 c1113 c1115 c1116 c1117 c1118 c1119 c1120 c1121 c1122 c1123 c1124 c1125 c1126 c1127 c1128 c1129 c1130 c1131 c1132 c3028 c2932 c3084 c2220 c2066 c2484 c3172 c3148 c2074 c2372 c3052 c2964 c3012 c2380 c1251 c1252 c1253 c1254 c1255 c1256 c1257 c1258 c1260 c1262 c2148 c1264 c1266 c1268 c1270 c1271 c1272 c1273 c1274 c1275 c1276 c1277 c1278 c1279 c1280 c1281 c1282 c1283 c1284 c1285 c1286 c1287 c2876 c3236 c1362 c1363 c1364 c1365 c1366 c1367 c1368 c1369 c1371 c2156 c1373 c1375 c1377 c1379 c1381 c1382 c1383 c1384 c1385 c1386 c1387 c1388 c1389 c1390 c1391 c1392 c1393 c1394 c1395 c1396 c1397 c1398 c2436 c1897 c1436 c1437 c1438 c1439 c1440 c1441 c1442 c1443 c1445 c2988 c1447 c1449 c1898 c1451 c1899 c1453 c1900 c1455 c1456 c1457 c1458 c1459 c1460 c1461 c1462 c1463 c1464 c1465 c1466 c1467 c1468 c1469 c1470 c1471 c1472 c1473 c1474 c1475 c1476 c1477 c1478 c1479 c1480 c1482 c2164 c1484 c1486 c1901 c1488 c1490 c2404 c1492 c1493 c1494 c1495 c1496 c1497 c1498 c1499 c1500 c1501 c1502 c1503 c1504 c1505 c1506 c1507 c1508 c1509 c2852 c2388 c1574 c1575 c1576 c1577 c1578 c1579 c1580 c1581 c2444 c1583 c1585 c1587 c2924 c1589 c1591 c1593 c1594 c1595 c1596 c1597 c1598 c1599 c1600 c1601 c1602 c1603 c1604 c1605 c1606 c1607 c1608 c1609 c1610 c1611 c1612 c1613 c1614 c1615 c1616 c1617 c1618 c1620 c1622 c2172 c1624 c1910 c1626 c1911 c1628 c1912 c1630 c1631 c1632 c1633 c1634 c1635 c1636 c1637 c1638 c1639 c1640 c1641 c1642 c1643 c1644 c1645 c1646 c1647 c2396 c2972 c3060 c2860 c2884 c3036 c1913 c1914 c1915 c3164 c2124 c1917 c1918 c1749 c1750 c1751 c1752 c1753 c1754 c1755 c1756 c1758 c1760 c2180 c1762 c1919 c1764 c1920 c1766 c1768 c1769 c1770 c1771 c1772 c1773 c1774 c1775 c1776 c1777 c1778 c1779 c1780 c1781 c1782 c1783 c1784 c1785 c1922 c1923 c1924 c1823 c1824 c1825 c1826 c1827 c1828 BLOCK 5 c125 BLOCK 6 c144 BLOCK 7 c157 BLOCK 8 c171 BLOCK 9 c172 BLOCK 10 c175 BLOCK 11 c193 BLOCK 12 c197 BLOCK 13 c198 BLOCK 14 c216 c217 c218 c3100 BLOCK 15 c257 BLOCK 16 c2580 BLOCK 17 c300 BLOCK 18 c315 BLOCK 19 c318 BLOCK 20 c320 BLOCK 21 c321 BLOCK 22 c323 BLOCK 23 c343 BLOCK 24 c349 BLOCK 25 c364 BLOCK 26 c2676 BLOCK 27 c395 c396 c2996 BLOCK 28 c505 c506 c2596 BLOCK 29 c509 c510 c2460 BLOCK 30 c2026 c1170 c1171 c1172 c1173 c1182 c1183 c1184 c1185 c1186 c1187 c1189 c1190 c1191 c1194 c1195 c1196 c1197 c1198 c1199 c1200 c1209 c1210 c1211 c1212 c1213 c1214 c1216 c1217 c1218 c1221 c1222 c1223 c1994 c2002 c1510 c1511 c1512 c1513 c1522 c1523 c1524 c1525 c1526 c1527 c1529 c1530 c1531 c1534 c1535 c1536 c2010 c1648 c1649 c1650 c1651 c1660 c1661 c1662 c1663 c1664 c1665 c1667 c1668 c1669 c1672 c1673 c1674 c2018 BLOCK 31 c1940 c1926 c1942 c1927 c1944 c1945 c1946 c1947 c1948 c1949 c1950 c1951 c1952 c1953 c1954 c1955 c1956 c1957 c1958 c1959 c1960 BLOCK 32 c690 c691 c704 c706 c708 c709 c710 c711 c712 c713 c714 c715 c716 c717 c718 c719 c720 c721 c722 c723 c724 BLOCK 33 c838 c839 c852 c854 c856 c857 c858 c859 c860 c861 c862 c863 c864 c865 c866 c867 c868 c869 c870 c871 c872 BLOCK 34 c875 c876 c889 c891 c893 c894 c895 c896 c897 c898 c899 c900 c901 c902 c903 c904 c905 c906 c907 c908 c909 BLOCK 35 c912 c913 c926 c928 c930 c931 c932 c933 c934 c935 c936 c937 c938 c939 c940 c941 c942 c943 c944 c945 c946 BLOCK 36 c2412 BLOCK 37 c3140 BLOCK 38 c2332 BLOCK 39 c1023 c1024 c1037 c1039 c1041 c1042 c1043 c1044 c1045 c1046 c1047 c1048 c1049 c1050 c1051 c1052 c1053 c1054 c1055 c1056 c1057 BLOCK 40 c3132 BLOCK 41 c2804 BLOCK 42 c1134 c1135 c1148 c1150 c1152 c1153 c1154 c1155 c1156 c1157 c1158 c1159 c1160 c1161 c1162 c1163 c1164 c1165 c1166 c1167 c1168 BLOCK 43 c2588 BLOCK 44 c2684 BLOCK 45 c3212 BLOCK 46 c2604 BLOCK 47 c2500 BLOCK 48 c2700 BLOCK 49 c3068 BLOCK 50 c3220 BLOCK 51 c1326 c1327 c1340 c1342 c1344 c1345 c1346 c1347 c1348 c1349 c1350 c1351 c1352 c1353 c1354 c1355 c1356 c1357 c1358 c1359 c1360 BLOCK 52 c2732 BLOCK 53 c3196 BLOCK 54 c2556 BLOCK 55 c2716 BLOCK 56 c2940 BLOCK 57 c2276 BLOCK 58 c3108 BLOCK 59 c2788 BLOCK 60 c2516 BLOCK 61 c1713 c1714 c1727 c1729 c1731 c1732 c1733 c1734 c1735 c1736 c1737 c1738 c1739 c1740 c1741 c1742 c1743 c1744 c1745 c1746 c1747 BLOCK 62 c2452 BLOCK 63 c2564 MASTERCONSS c9 c10 c12 c13 c16 c17 c21 c22 c23 c28 c29 c30 c33 c39 c40 c41 c42 c52 c53 c55 c56 c57 c58 c93 c94 c100 c101 c102 c110 c113 c114 c115 c117 c121 c122 c126 c127 c129 c130 c136 c137 c139 c140 c141 c142 c143 c158 c159 c167 c168 c3274 c176 c177 c178 c181 c182 c183 c187 c194 c195 c196 c204 c210 c215 c223 c3275 c242 c243 c247 c248 c254 c255 c256 c261 c262 c272 c273 c279 c280 c281 c296 c304 c305 c306 c307 c309 c310 c317 c324 c325 c371 c372 c386 c387 c393 c394 c397 c398 c400 c401 c402 c403 c410 c411 c416 c417 c422 c423 c436 c437 c442 c443 c454 c455 c461 c462 c463 c464 c465 c466 c467 c468 c469 c470 c471 c472 c475 c476 c479 c480 c481 c482 c483 c484 c485 c486 c487 c488 c491 c492 c493 c494 c497 c498 c499 c500 c501 c502 c507 c508 c1931 c1932 c1934 c1936 c3276 c1938 c1925 c689 c692 c693 c694 c695 c696 c698 c700 c702 c725 c837 c840 c841 c842 c843 c844 c846 c848 c850 c873 c874 c877 c878 c879 c880 c881 c883 c885 c887 c910 c911 c914 c915 c916 c917 c918 c1961 c920 c922 c924 c947 c1022 c1025 c1026 c1027 c1028 c1029 c1031 c1033 c1035 c1058 c3271 c1928 c1929 c1930 c1133 c1136 c1137 c1138 c1139 c1140 c1142 c1144 c1146 c1169 c3267 c1325 c1328 c1329 c1330 c1331 c1332 c1334 c1336 c1338 c1361 c3272 c3270 c3268 c3269 c3273 c1712 c1715 c1716 c1717 c1718 c1719 c1721 c1723 c1725 c1748