\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrcgpartition 2.270000 0 0.250000 0.000000 0.000000 0.000000 \\ connectedbase 0.010000 25 0.000000 0.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 25 BLOCK 1 R0001 R0023 R0046 R0069 R0091 R0111 R0131 R0174 R0196 R0220 R0242 R0285 R0309 R0330 R0374 R0397 R0418 R0441 R0485 R0507 R0530 R0553 R0576 R0600 R0622 R0643 R0664 R0729 R0796 R0818 R0839 R0861 R0883 R0906 R0928 R0948 R0972 R0994 R1018 R1037 R1061 R1083 R1105 R1126 R1149 R1171 R1194 R1216 R1262 R1327 R1348 R1389 R1411 R1435 R1459 R1481 R1504 R1525 R1546 R1567 R1588 R1611 R1634 BLOCK 2 R0002 R0024 R0047 R0070 R0092 R0112 R0132 R0153 R0197 R0221 R0243 R0264 R0286 R0310 R0331 R0353 R0375 R0398 R0419 R0442 R0464 R0508 R0531 R0554 R0577 R0601 R0623 R0644 R0686 R0730 R0753 R0775 R0797 R0819 R0840 R0862 R0884 R0907 R0929 R0949 R0973 R0995 R1019 R1038 R1062 R1084 R1106 R1127 R1150 R1172 R1195 R1217 R1263 R1283 R1328 R1349 R1368 R1390 R1412 R1436 R1460 R1482 R1505 R1526 R1547 R1568 R1589 R1612 R1635 BLOCK 3 R0003 R0048 R0093 R0113 R0133 R0154 R0175 R0198 R0222 R0244 R0265 R0287 R0332 R0354 R0376 R0399 R0420 R0443 R0465 R0486 R0509 R0532 R0555 R0578 R0602 R0645 R0665 R0687 R0710 R0731 R0754 R0776 R0820 R0841 R0863 R0885 R0908 R0930 R0950 R0974 R0996 R1039 R1063 R1085 R1107 R1128 R1173 R1196 R1218 R1239 R1264 R1284 R1305 R1350 R1369 R1391 R1413 R1437 R1461 R1483 R1506 R1527 R1569 R1590 R1613 R1636 BLOCK 4 R0004 R0025 R0049 R0071 R0114 R0134 R0155 R0176 R0199 R0223 R0245 R0266 R0288 R0311 R0333 R0355 R0377 R0400 R0421 R0444 R0466 R0487 R0510 R0533 R0556 R0579 R0603 R0624 R0646 R0666 R0688 R0711 R0732 R0755 R0777 R0798 R0821 R0842 R0864 R0886 R0909 R0931 R0951 R0975 R0997 R1020 R1040 R1086 R1108 R1129 R1151 R1174 R1197 R1219 R1240 R1265 R1285 R1306 R1329 R1351 R1370 R1392 R1414 R1438 R1462 R1484 R1507 R1528 R1570 R1591 R1614 R1637 BLOCK 5 R0005 R0026 R0072 R0115 R0135 R0156 R0177 R0200 R0224 R0246 R0267 R0289 R0312 R0334 R0378 R0401 R0422 R0445 R0467 R0488 R0534 R0557 R0625 R0647 R0667 R0689 R0712 R0733 R0756 R0778 R0799 R0822 R0843 R0865 R0910 R0952 R0976 R0998 R1021 R1041 R1064 R1087 R1130 R1152 R1175 R1220 R1241 R1266 R1286 R1307 R1330 R1352 R1371 R1393 R1415 R1463 R1485 R1529 R1548 R1571 R1592 R1615 R1638 BLOCK 6 R0006 R0027 R0050 R0073 R0094 R0136 R0157 R0178 R0201 R0225 R0268 R0290 R0335 R0356 R0379 R0402 R0423 R0446 R0468 R0489 R0511 R0535 R0558 R0580 R0604 R0626 R0648 R0668 R0690 R0713 R0734 R0757 R0779 R0800 R0844 R0866 R0887 R0932 R0953 R0977 R0999 R1022 R1065 R1088 R1109 R1131 R1153 R1176 R1198 R1221 R1242 R1267 R1287 R1308 R1331 R1353 R1394 R1416 R1439 R1486 R1508 R1530 R1549 R1572 R1616 R1639 BLOCK 7 R0007 R0028 R0051 R0074 R0095 R0116 R0137 R0158 R0179 R0202 R0226 R0247 R0291 R0313 R0336 R0357 R0380 R0403 R0424 R0447 R0469 R0490 R0536 R0559 R0581 R0605 R0627 R0649 R0669 R0691 R0714 R0758 R0780 R0801 R0823 R0845 R0867 R0911 R0933 R0954 R0978 R1000 R1023 R1042 R1066 R1089 R1110 R1132 R1154 R1177 R1199 R1222 R1243 R1288 R1309 R1332 R1354 R1372 R1395 R1417 R1440 R1464 R1487 R1509 R1550 R1573 R1593 R1617 R1640 BLOCK 8 R0008 R0029 R0052 R0075 R0117 R0138 R0159 R0180 R0203 R0248 R0269 R0292 R0314 R0337 R0358 R0381 R0425 R0448 R0470 R0491 R0512 R0537 R0560 R0582 R0606 R0628 R0650 R0670 R0692 R0715 R0735 R0759 R0781 R0802 R0846 R0888 R0912 R0934 R0955 R0979 R1001 R1043 R1067 R1090 R1111 R1133 R1155 R1178 R1200 R1223 R1244 R1268 R1289 R1310 R1355 R1373 R1418 R1441 R1465 R1488 R1510 R1531 R1551 R1574 R1618 R1641 BLOCK 9 R0009 R0030 R0053 R0076 R0118 R0139 R0181 R0204 R0227 R0249 R0270 R0293 R0315 R0338 R0359 R0382 R0426 R0449 R0492 R0513 R0538 R0561 R0583 R0607 R0629 R0651 R0671 R0693 R0716 R0736 R0760 R0803 R0847 R0868 R0889 R0913 R0935 R0956 R1002 R1044 R1068 R1091 R1112 R1134 R1156 R1179 R1201 R1224 R1245 R1269 R1290 R1311 R1333 R1374 R1396 R1442 R1466 R1489 R1532 R1575 R1594 R1619 R1642 BLOCK 10 R0010 R0031 R0054 R0096 R0119 R0160 R0182 R0205 R0228 R0250 R0271 R0294 R0316 R0339 R0360 R0383 R0404 R0427 R0471 R0493 R0514 R0539 R0562 R0584 R0608 R0652 R0672 R0694 R0717 R0737 R0761 R0782 R0804 R0824 R0848 R0869 R0890 R0914 R0957 R1003 R1024 R1045 R1069 R1092 R1135 R1157 R1180 R1202 R1225 R1246 R1270 R1291 R1312 R1334 R1356 R1375 R1397 R1419 R1443 R1490 R1511 R1552 R1576 R1595 R1620 R1643 BLOCK 11 R0011 R0032 R0055 R0077 R0097 R0120 R0140 R0161 R0183 R0206 R0229 R0272 R0295 R0317 R0340 R0361 R0384 R0405 R0428 R0450 R0472 R0494 R0515 R0540 R0563 R0585 R0609 R0630 R0653 R0673 R0695 R0718 R0738 R0762 R0783 R0805 R0825 R0849 R0870 R0891 R0915 R0958 R0980 R1004 R1025 R1046 R1070 R1093 R1113 R1136 R1158 R1181 R1203 R1226 R1247 R1271 R1292 R1313 R1335 R1357 R1376 R1398 R1420 R1444 R1467 R1512 R1533 R1553 R1577 R1596 R1621 R1644 BLOCK 12 R0012 R0033 R0056 R0078 R0121 R0141 R0162 R0207 R0230 R0251 R0273 R0296 R0318 R0341 R0406 R0429 R0451 R0473 R0516 R0541 R0564 R0586 R0610 R0631 R0654 R0674 R0696 R0719 R0739 R0763 R0784 R0806 R0850 R0871 R0892 R0916 R0981 R1026 R1047 R1071 R1114 R1137 R1159 R1182 R1204 R1227 R1248 R1272 R1293 R1314 R1336 R1358 R1377 R1421 R1445 R1468 R1491 R1597 R1622 R1645 BLOCK 13 R0013 R0034 R0058 R0080 R0099 R0122 R0143 R0164 R0185 R0209 R0232 R0253 R0275 R0320 R0343 R0363 R0386 R0408 R0431 R0453 R0475 R0496 R0518 R0543 R0566 R0588 R0612 R0633 R0676 R0698 R0721 R0741 R0764 R0785 R0808 R0827 R0852 R0872 R0894 R0918 R0937 R0960 R0983 R1006 R1028 R1049 R1073 R1095 R1116 R1139 R1184 R1206 R1228 R1250 R1274 R1295 R1316 R1337 R1359 R1379 R1400 R1423 R1447 R1470 R1493 R1514 R1535 R1555 R1579 R1599 R1624 R1647 BLOCK 14 R0014 R0035 R0059 R0081 R0100 R0123 R0165 R0186 R0210 R0233 R0254 R0276 R0298 R0321 R0344 R0364 R0387 R0409 R0454 R0476 R0497 R0519 R0567 R0589 R0613 R0677 R0699 R0722 R0742 R0765 R0786 R0828 R0853 R0873 R0895 R0919 R0938 R0961 R0984 R1007 R1029 R1050 R1074 R1096 R1117 R1140 R1161 R1229 R1251 R1275 R1296 R1317 R1338 R1380 R1401 R1424 R1448 R1471 R1494 R1515 R1536 R1556 R1580 R1600 R1625 R1648 BLOCK 15 R0015 R0036 R0101 R0124 R0144 R0166 R0187 R0234 R0255 R0299 R0322 R0345 R0388 R0410 R0432 R0455 R0477 R0498 R0520 R0544 R0590 R0634 R0678 R0700 R0743 R0766 R0787 R0809 R0829 R0874 R0896 R0920 R0939 R0962 R0985 R1008 R1030 R1051 R1075 R1097 R1141 R1207 R1252 R1276 R1297 R1318 R1339 R1381 R1402 R1425 R1449 R1472 R1495 R1516 R1537 R1557 R1581 R1601 R1626 R1649 BLOCK 16 R0016 R0038 R0061 R0083 R0103 R0126 R0146 R0167 R0189 R0212 R0235 R0257 R0278 R0301 R0323 R0347 R0366 R0390 R0411 R0434 R0457 R0478 R0500 R0522 R0546 R0568 R0592 R0615 R0636 R0657 R0680 R0702 R0723 R0745 R0768 R0789 R0810 R0831 R0855 R0875 R0898 R0921 R0941 R0964 R0987 R1010 R1032 R1053 R1076 R1099 R1119 R1142 R1163 R1186 R1209 R1231 R1254 R1278 R1298 R1320 R1340 R1361 R1382 R1404 R1427 R1451 R1474 R1496 R1518 R1539 R1559 R1583 R1603 R1628 R1650 BLOCK 17 R0017 R0039 R0062 R0084 R0104 R0127 R0147 R0168 R0190 R0213 R0236 R0258 R0279 R0302 R0324 R0348 R0367 R0391 R0412 R0435 R0479 R0501 R0523 R0547 R0569 R0593 R0616 R0637 R0681 R0703 R0724 R0746 R0769 R0790 R0811 R0832 R0856 R0876 R0899 R0922 R0942 R0965 R0988 R1011 R1033 R1054 R1077 R1100 R1120 R1143 R1164 R1187 R1232 R1255 R1279 R1299 R1321 R1341 R1362 R1383 R1405 R1428 R1452 R1475 R1497 R1519 R1540 R1560 R1584 R1604 R1629 R1651 BLOCK 18 R0018 R0040 R0063 R0085 R0105 R0128 R0148 R0169 R0191 R0214 R0237 R0259 R0280 R0303 R0325 R0349 R0368 R0413 R0436 R0458 R0480 R0502 R0524 R0548 R0570 R0594 R0617 R0638 R0658 R0682 R0704 R0725 R0747 R0770 R0791 R0812 R0833 R0857 R0877 R0900 R0923 R0943 R0966 R0989 R1012 R1034 R1055 R1078 R1121 R1144 R1165 R1188 R1210 R1233 R1256 R1280 R1300 R1322 R1342 R1363 R1384 R1406 R1429 R1453 R1476 R1498 R1520 R1541 R1561 R1585 R1605 R1652 BLOCK 19 R0019 R0041 R0064 R0086 R0106 R0129 R0149 R0192 R0215 R0260 R0281 R0304 R0350 R0369 R0392 R0414 R0437 R0459 R0503 R0525 R0549 R0571 R0595 R0618 R0639 R0659 R0705 R0726 R0748 R0771 R0813 R0834 R0858 R0878 R0901 R0924 R0967 R1013 R1035 R1056 R1079 R1101 R1122 R1145 R1166 R1189 R1211 R1234 R1257 R1301 R1323 R1343 R1364 R1407 R1430 R1454 R1499 R1521 R1562 R1586 R1606 R1630 R1653 BLOCK 20 R0020 R0042 R0065 R0087 R0107 R0150 R0170 R0193 R0216 R0238 R0261 R0305 R0326 R0351 R0370 R0393 R0438 R0460 R0481 R0504 R0526 R0550 R0572 R0596 R0619 R0640 R0660 R0683 R0706 R0749 R0772 R0792 R0814 R0835 R0879 R0902 R0925 R0944 R0968 R0990 R1014 R1057 R1080 R1102 R1123 R1146 R1167 R1190 R1212 R1235 R1258 R1302 R1324 R1344 R1365 R1385 R1431 R1455 R1477 R1500 R1522 R1542 R1563 R1607 R1631 R1654 BLOCK 21 R0021 R0043 R0066 R0088 R0108 R0151 R0171 R0217 R0239 R0262 R0282 R0306 R0327 R0352 R0371 R0394 R0415 R0439 R0461 R0482 R0505 R0527 R0573 R0597 R0620 R0641 R0661 R0684 R0707 R0727 R0750 R0773 R0793 R0815 R0836 R0880 R0903 R0926 R0945 R0969 R0991 R1015 R1058 R1103 R1124 R1147 R1168 R1191 R1213 R1236 R1259 R1281 R1303 R1325 R1345 R1386 R1408 R1432 R1456 R1478 R1501 R1523 R1543 R1564 R1608 R1632 BLOCK 22 R0022 R0044 R0067 R0089 R0109 R0130 R0172 R0194 R0218 R0240 R0263 R0283 R0307 R0328 R0372 R0395 R0416 R0462 R0483 R0528 R0551 R0574 R0598 R0621 R0642 R0662 R0685 R0708 R0751 R0774 R0794 R0816 R0837 R0859 R0881 R0904 R0946 R0970 R0992 R1016 R1059 R1081 R1125 R1148 R1169 R1192 R1214 R1237 R1260 R1282 R1304 R1346 R1366 R1387 R1409 R1433 R1457 R1479 R1502 R1544 R1565 R1609 R1655 BLOCK 23 R0037 R0060 R0082 R0102 R0125 R0145 R0188 R0211 R0256 R0277 R0300 R0346 R0365 R0389 R0433 R0456 R0499 R0521 R0545 R0591 R0614 R0635 R0656 R0679 R0701 R0744 R0767 R0788 R0830 R0854 R0897 R0940 R0963 R0986 R1009 R1031 R1052 R1098 R1118 R1162 R1185 R1208 R1230 R1253 R1277 R1319 R1360 R1403 R1426 R1450 R1473 R1517 R1538 R1558 R1582 R1602 R1627 BLOCK 24 R0045 R0068 R0090 R0110 R0152 R0173 R0195 R0219 R0241 R0284 R0308 R0329 R0373 R0396 R0417 R0440 R0463 R0484 R0506 R0529 R0552 R0575 R0599 R0663 R0709 R0728 R0752 R0795 R0817 R0838 R0860 R0882 R0905 R0927 R0947 R0971 R0993 R1017 R1036 R1060 R1082 R1104 R1170 R1193 R1215 R1238 R1261 R1326 R1347 R1367 R1388 R1410 R1434 R1458 R1480 R1503 R1524 R1545 R1566 R1587 R1610 R1633 R1656 BLOCK 25 R0057 R0079 R0098 R0142 R0163 R0184 R0208 R0231 R0252 R0274 R0297 R0319 R0342 R0362 R0385 R0407 R0430 R0452 R0474 R0495 R0517 R0542 R0565 R0587 R0611 R0632 R0655 R0675 R0697 R0720 R0740 R0807 R0826 R0851 R0893 R0917 R0936 R0959 R0982 R1005 R1027 R1048 R1072 R1094 R1115 R1138 R1160 R1183 R1205 R1249 R1273 R1294 R1315 R1378 R1399 R1422 R1446 R1469 R1492 R1513 R1534 R1554 R1578 R1598 R1623 R1646 MASTERCONSS R1657 R1658 R1659 R1660 R1661 R1662 R1663 R1664 R1665 R1666 R1667 R1668 R1669 R1670 R1671 R1672 R1673 R1674 R1675 R1676 R1677 R1678 R1679 R1680 R1681 R1682 R1683 R1684 R1685 R1686 R1687 R1688 R1689 R1690 R1691 R1692 R1693 R1694 R1695 R1696 R1697 R1698 R1699 R1700 R1701 R1702 R1703 R1704 R1705 R1706 R1707 R1708 R1709 R1710 R1711 R1712 R1713 R1714 R1715 R1716 R1717 R1718 R1719 R1720 R1721 R1722 R1723 R1724 R1725 R1726 R1727 R1728 R1729 R1730 R1731 R1732 R1733 R1734 R1735 R1736 R1737 R1738 R1739 R1740 R1741 R1742 R1743 R1744 R1745 R1746 R1747 R1748 R1749 R1750 R1751 R1752 R1753 R1754 R1755 R1756 R1757 R1758 R1759 R1760 R1761 R1762 R1763 R1764 R1765 R1766 R1767 R1768 R1769 R1770 R1771 R1772 R1773 R1774 R1775 R1776 R1777 R1778 R1779 R1780 R1781 R1782 R1783 R1784 R1785 R1786 R1787 R1788 R1789 R1790 R1791 R1792 R1793 R1794 R1795 R1796 R1797 R1798 R1799 R1800 R1801 R1802 R1803 R1804 R1805 R1806 R1807 R1808 R1809 R1810 R1811 R1812 R1813 R1814 R1815 R1816 R1817 R1818 R1819 R1820 R1821 R1822 R1823 R1824 R1825 R1826 R1827 R1828 R1829 R1830 R1831 R1832 R1833 R1834 R1835 R1836 R1837 R1838 R1839 R1840 R1841 R1842 R1843 R1844 R1845 R1846 R1847 R1848 R1849 R1850 R1851 R1852 R1853 R1854 R1855 R1856 R1857 R1858 R1859 R1860 R1861 R1862 R1863 R1864 R1865 R1866 R1867 R1868 R1869 R1870 R1871 R1872 R1873 R1874 R1875 R1876 R1877 R1878 R1879 R1880 R1881 R1882 R1883 R1884 R1885 R1886 R1887 R1888 R1889 R1890 R1891 R1892 R1893 R1894 R1895 R1896 R1897 R1898 R1899 R1900 R1901 R1902 R1903 R1904 R1905 R1906 R1907 R1908 R1909 R1910 R1911 R1912 R1913 R1914 R1915 R1916 R1917 R1918 R1919 R1920 R1921 R1922 R1923 R1924 R1925 R1926 R1927 R1928 R1929 R1930 R1931 R1932 R1933 R1934 R1935 R1936 R1937 R1938 R1939 R1940 R1941 R1942 R1943 R1944 R1945 R1946 R1947 R1948 R1949 R1950 R1951 R1952 R1953 R1954 R1955 R1956 R1957 R1958 R1959 R1960 R1961 R1962 R1963 R1964 R1965 R1966 R1967 R1968 R1969 R1970 R1971 R1972 R1973 R1974 R1975 R1976 R1977 R1978 R1979 R1980 R1981 R1982 R1983 R1984 R1985 R1986 R1987 R1988 R1989 R1990 R1991 R1992 R1993 R1994 R1995 R1996 R1997 R1998 R1999 R2000 R2001 R2002 R2003 R2004 R2005 R2006 R2007 R2008 R2009 R2010 R2011 R2012 R2013 R2014 R2015 R2016 R2017 R2018 R2019 R2020 R2021 R2022 R2023 R2024 R2025 R2026 R2027 R2028 R2029 R2030 R2031 R2032 R2033 R2034 R2035 R2036 R2037 R2038 R2039 R2040 R2041 R2042 R2043 R2044 R2045 R2046 R2047 R2048 R2049 R2050 R2051 R2052 R2053 R2054 R2055 R2056 R2057 R2058 R2059 R2060 R2061 R2062 R2063 R2064 R2065 R2066 R2067 R2068 R2069 R2070 R2071 R2072 R2073 R2074 R2075 R2076 R2077 R2078 R2079 R2080 R2081 R2082 R2083 R2084 R2085 R2086 R2087 R2088 R2089 R2090 R2091 R2092 R2093 R2094 R2095 R2096 R2097 R2098 R2099 R2100 R2101 R2102 R2103 R2104 R2105 R2106 R2107 R2108 R2109 R2110 R2111 R2112 R2113 R2114 R2115 R2116 R2117 R2118 R2119 R2120 R2121 R2122 R2123 R2124 R2125 R2126 R2127 R2128 R2129 R2130 R2131 R2132 R2133 R2134 R2135 R2136 R2137 R2138 R2139 R2140 R2141 R2142 R2143 R2144 R2145 R2146 R2147 R2148 R2149 R2150 R2151 R2152 R2153 R2154 R2155 R2156 R2157 R2158 R2159 R2160 R2161 R2162 R2163 R2164 R2165 R2166 R2167 R2168 R2169 R2170 R2171 R2172 R2173 R2174 R2175 R2176 R2177 R2178 R2179 R2180 R2181 R2182 R2183 R2184 R2185 R2186 R2187 R2188 R2189 R2190 R2191 R2192 R2193 R2194 R2195 R2196 R2197 R2198 R2199 R2200 R2201 R2202 R2203 R2204 R2205 R2206 R2207 R2208