\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.170000 0 0.378858 0.000000 0.000749 0.000000 \\ connectedbase 0.000000 40 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 40 BLOCK 1 r_11 r_12 r_13 r_14 r_15 r_152 r_153 r_154 r_155 r_156 r_157 r_427 r_428 r_429 r_430 r_431 r_432 r_433 r_434 r_435 r_436 r_437 r_438 r_439 r_519 r_520 r_521 r_522 r_523 r_524 r_525 r_644 r_645 r_646 r_647 r_648 r_649 r_769 r_770 r_771 r_772 r_773 r_774 r_775 r_784 r_897 r_898 r_899 r_900 r_901 r_902 r_903 r_904 r_905 r_906 r_907 r_908 r_909 r_910 r_911 r_1003 r_1004 r_1005 r_1006 r_1007 r_1008 r_1009 r_1010 r_1132 r_1133 r_1134 r_1135 r_1136 r_1137 r_1260 r_1261 r_1262 r_1263 r_1264 r_1265 r_1266 r_1267 r_1268 r_1269 r_1270 r_1271 r_1272 r_1273 r_1368 r_1372 r_1375 r_1376 r_1407 r_1430 r_1438 r_1439 r_1440 r_1441 r_1442 r_1443 r_1460 r_1467 r_1468 r_1469 r_1470 r_1471 r_1472 r_1473 r_1474 r_1475 r_1491 r_1492 r_1493 r_1494 r_1495 r_1496 r_1497 r_1498 r_1499 r_1500 r_1501 r_1502 r_1503 r_1504 r_1547 r_1548 r_1549 r_1550 r_1551 r_1607 r_1608 r_1609 r_1610 r_1611 r_1668 r_1669 r_1670 r_1671 r_1672 r_1733 r_1734 r_1735 r_1736 r_1737 r_1738 r_1739 r_1740 r_1790 r_1791 r_1792 r_1793 r_1794 r_1795 r_1857 r_1858 r_1859 r_1860 r_1861 r_1922 r_1923 r_1924 r_1925 r_1926 r_1927 r_1928 r_1975 r_1976 r_1977 r_1978 r_1979 r_1980 r_1981 r_2021 r_2061 r_2079 r_2080 r_2081 r_2217 r_2275 r_2276 r_2277 r_2278 r_2279 r_2280 r_2281 r_2282 r_2283 r_2284 r_2285 r_2286 r_2287 r_2288 r_2289 r_2290 r_2403 r_2404 r_2405 r_2406 r_2407 r_2408 r_2409 r_2460 r_2461 r_2462 r_2463 r_2464 r_2465 r_2466 r_2467 r_2468 r_2469 r_2470 r_2471 r_2472 r_2473 r_2582 r_2583 r_2584 r_2585 r_2586 r_2587 r_2630 r_2631 r_2632 r_2633 r_2634 r_2635 r_2636 r_2637 r_2638 r_2639 r_2640 r_2641 r_2642 r_2643 r_3050 r_3051 r_2754 r_2755 r_2756 r_2757 r_2758 r_2759 r_2808 r_2817 r_2824 r_2837 r_2838 r_2839 r_2840 r_2841 r_2842 r_2843 r_2844 r_2845 r_2846 r_2847 r_2848 r_2849 r_2850 r_2851 r_2852 r_2853 r_2954 r_2955 r_2956 r_2957 r_2958 r_2959 r_2960 r_2961 r_2962 r_2963 r_2964 r_2965 r_2966 r_2967 r_2968 r_2969 BLOCK 2 r_42 r_43 r_44 r_45 r_184 r_185 r_186 r_187 r_189 r_315 r_316 r_317 r_318 r_319 r_320 r_321 r_322 r_323 r_324 r_330 r_331 r_440 r_441 r_442 r_443 r_444 r_445 r_446 r_447 r_448 r_449 r_450 r_451 r_452 r_674 r_675 r_676 r_677 r_679 r_800 r_801 r_802 r_803 r_805 r_808 r_912 r_913 r_914 r_915 r_916 r_917 r_918 r_919 r_920 r_921 r_922 r_923 r_924 r_925 r_926 r_1034 r_1035 r_1036 r_1037 r_1038 r_1039 r_1042 r_1049 r_1163 r_1164 r_1165 r_1166 r_1168 r_1285 r_1286 r_1287 r_1288 r_1289 r_1290 r_1291 r_1292 r_1293 r_1294 r_1295 r_1296 r_1297 r_1298 r_1377 r_1384 r_1387 r_1390 r_1408 r_1432 r_1445 r_1446 r_1447 r_1448 r_1449 r_1450 r_1451 r_1505 r_1506 r_1507 r_1508 r_1509 r_1510 r_1511 r_1546 r_1552 r_1553 r_1554 r_1555 r_1556 r_1557 r_1558 r_1559 r_1576 r_1577 r_1578 r_1579 r_1580 r_1581 r_1582 r_1590 r_1599 r_1600 r_1601 r_1602 r_1603 r_1604 r_1605 r_1621 r_1622 r_1623 r_1624 r_1684 r_1685 r_1686 r_1687 r_1690 r_1741 r_1742 r_1743 r_1744 r_1745 r_1746 r_1747 r_1748 r_1806 r_1807 r_1808 r_1809 r_1810 r_1873 r_1874 r_1875 r_1876 r_1934 r_1935 r_1936 r_1937 r_1938 r_1939 r_1940 r_1982 r_1983 r_1984 r_1985 r_1986 r_1987 r_2023 r_2062 r_2111 r_2112 r_2298 r_2299 r_2300 r_2301 r_2302 r_2303 r_2304 r_2305 r_2306 r_2307 r_2308 r_2309 r_2310 r_2311 r_2312 r_2313 r_2415 r_2416 r_2417 r_2418 r_2419 r_2420 r_2421 r_2488 r_2489 r_2490 r_2491 r_2492 r_2493 r_2494 r_2495 r_2496 r_2497 r_2498 r_2499 r_2500 r_2501 r_2593 r_2594 r_2595 r_2596 r_2597 r_2598 r_2658 r_2659 r_2660 r_2661 r_2662 r_2663 r_2664 r_2665 r_2666 r_2667 r_2668 r_2669 r_2670 r_2671 r_2766 r_2767 r_2768 r_2769 r_2770 r_2771 r_2810 r_2818 r_2826 r_2854 r_2855 r_2856 r_2857 r_2858 r_2859 r_2860 r_2861 r_2862 r_2863 r_2864 r_2865 r_2866 r_2867 r_2868 r_2869 r_2870 r_2970 r_2971 r_2972 r_2973 r_2974 r_2975 r_2976 r_2977 r_2978 r_2979 r_2980 r_2981 r_2982 r_2983 r_2984 r_2985 BLOCK 3 r_49 r_56 r_57 r_58 r_64 r_65 r_201 r_207 r_208 r_209 r_210 r_216 r_217 r_332 r_338 r_339 r_340 r_341 r_347 r_348 r_453 r_458 r_459 r_460 r_461 r_462 r_463 r_464 r_465 r_548 r_554 r_555 r_556 r_557 r_562 r_563 r_564 r_816 r_822 r_823 r_824 r_825 r_831 r_832 r_927 r_933 r_934 r_935 r_936 r_937 r_938 r_939 r_940 r_941 r_1050 r_1056 r_1057 r_1058 r_1059 r_1065 r_1066 r_1179 r_1185 r_1186 r_1187 r_1188 r_1194 r_1195 r_1299 r_1305 r_1306 r_1307 r_1308 r_1309 r_1310 r_1311 r_1312 r_1452 r_1458 r_1459 r_1512 r_1513 r_1518 r_1560 r_1566 r_1567 r_1606 r_1612 r_1613 r_1614 r_1615 r_1616 r_1617 r_1618 r_1619 r_1620 r_1625 r_1626 r_1627 r_1628 r_1634 r_1635 r_1636 r_1637 r_1638 r_1639 r_1640 r_1641 r_1642 r_1643 r_1649 r_1650 r_1651 r_1657 r_1658 r_1659 r_1660 r_1661 r_1662 r_1663 r_1664 r_1665 r_1692 r_1698 r_1699 r_1749 r_1750 r_1756 r_1814 r_1820 r_1821 r_1881 r_1887 r_1888 r_1941 r_1947 r_1988 r_1989 r_1990 r_1991 r_1992 r_1993 r_1994 r_2024 r_2063 r_2124 r_2321 r_2322 r_2323 r_2324 r_2325 r_2326 r_2327 r_2328 r_2329 r_2425 r_2426 r_2427 r_2428 r_2508 r_2509 r_2510 r_2511 r_2512 r_2513 r_2514 r_2515 r_2602 r_2603 r_2604 r_2679 r_2680 r_2681 r_2682 r_2683 r_2684 r_2685 r_2775 r_2776 r_2777 r_2819 r_2871 r_2872 r_2873 r_2874 r_2875 r_2876 r_2877 r_2878 r_2879 r_2880 r_2887 r_2993 r_2994 BLOCK 4 r_79 r_80 r_81 r_222 r_223 r_224 r_225 r_352 r_353 r_354 r_355 r_470 r_471 r_472 r_473 r_474 r_475 r_476 r_477 r_478 r_479 r_568 r_569 r_570 r_571 r_693 r_694 r_695 r_696 r_946 r_947 r_948 r_949 r_950 r_951 r_952 r_953 r_954 r_955 r_956 r_957 r_1071 r_1072 r_1073 r_1074 r_1075 r_1076 r_1083 r_1084 r_1200 r_1201 r_1202 r_1203 r_1205 r_1206 r_1212 r_1316 r_1317 r_1318 r_1320 r_1323 r_1324 r_1325 r_1326 r_1463 r_1464 r_1465 r_1523 r_1524 r_1525 r_1571 r_1572 r_1573 r_1631 r_1632 r_1633 r_1666 r_1675 r_1676 r_1677 r_1678 r_1679 r_1680 r_1681 r_1682 r_1691 r_1700 r_1701 r_1702 r_1703 r_1704 r_1705 r_1706 r_1707 r_1715 r_1716 r_1729 r_1730 r_1731 r_1732 r_1761 r_1762 r_1763 r_1764 r_1826 r_1827 r_1828 r_1829 r_1893 r_1894 r_1895 r_1951 r_1952 r_1953 r_1954 r_1995 r_1996 r_1997 r_1998 r_1999 r_2000 r_2001 r_2025 r_2064 r_2145 r_2334 r_2335 r_2336 r_2337 r_2338 r_2339 r_2340 r_2341 r_2342 r_2343 r_2344 r_2345 r_2431 r_2432 r_2433 r_2434 r_2435 r_2520 r_2521 r_2522 r_2523 r_2524 r_2525 r_2526 r_2527 r_2528 r_2529 r_2530 r_2607 r_2608 r_2609 r_2610 r_3052 r_2690 r_2691 r_2692 r_2693 r_2694 r_2695 r_2696 r_2697 r_2698 r_2699 r_2780 r_2781 r_2782 r_2783 r_2820 r_2888 r_2889 r_2890 r_2891 r_2892 r_2893 r_2897 r_2901 r_2902 r_2903 r_2904 r_3006 r_3015 r_3016 r_3017 BLOCK 5 r_111 r_112 r_113 r_114 r_115 r_252 r_254 r_255 r_256 r_257 r_258 r_259 r_382 r_383 r_384 r_385 r_386 r_387 r_480 r_481 r_482 r_483 r_484 r_485 r_486 r_487 r_488 r_489 r_490 r_491 r_492 r_493 r_598 r_599 r_600 r_601 r_602 r_603 r_723 r_724 r_725 r_726 r_727 r_728 r_849 r_850 r_851 r_852 r_853 r_854 r_855 r_856 r_857 r_866 r_958 r_959 r_960 r_961 r_962 r_963 r_964 r_965 r_966 r_967 r_968 r_969 r_970 r_971 r_972 r_973 r_1230 r_1232 r_1233 r_1234 r_1235 r_1236 r_1237 r_1240 r_1247 r_1340 r_1341 r_1342 r_1343 r_1344 r_1345 r_1346 r_1347 r_1348 r_1349 r_1350 r_1351 r_1352 r_1353 r_1380 r_1411 r_1421 r_1436 r_1476 r_1477 r_1478 r_1479 r_1480 r_1527 r_1528 r_1529 r_1530 r_1531 r_1532 r_1584 r_1585 r_1586 r_1587 r_1588 r_1644 r_1645 r_1646 r_1647 r_1648 r_1710 r_1711 r_1712 r_1713 r_1714 r_1766 r_1767 r_1768 r_1769 r_1770 r_1771 r_1772 r_1788 r_1803 r_1804 r_1813 r_1822 r_1830 r_1838 r_1848 r_1849 r_1850 r_1851 r_1852 r_1853 r_1854 r_1908 r_1909 r_1910 r_1911 r_1912 r_1961 r_1962 r_1963 r_1964 r_1965 r_1966 r_1967 r_2008 r_2009 r_2010 r_2011 r_2012 r_2013 r_2027 r_2066 r_2175 r_2176 r_2177 r_2259 r_2361 r_2362 r_2363 r_2364 r_2365 r_2366 r_2367 r_2368 r_2369 r_2370 r_2371 r_2372 r_2373 r_2374 r_2375 r_2376 r_2442 r_2443 r_2444 r_2445 r_2446 r_2447 r_2448 r_2542 r_2543 r_2544 r_2545 r_2546 r_2547 r_2548 r_2549 r_2550 r_2551 r_2552 r_2553 r_2554 r_2555 r_2556 r_2617 r_2618 r_2619 r_2620 r_2621 r_2622 r_2714 r_2715 r_2716 r_2717 r_2718 r_2719 r_2720 r_2721 r_2722 r_2723 r_2724 r_2725 r_2726 r_2727 r_2790 r_2791 r_2792 r_2793 r_2794 r_2795 r_2814 r_2822 r_2830 r_2913 r_2914 r_2915 r_2916 r_2917 r_2918 r_2919 r_2920 r_2921 r_3026 r_3027 r_3028 r_3029 r_3030 r_3031 r_3032 r_3033 BLOCK 6 r_202 r_203 r_204 r_205 r_206 r_333 r_334 r_335 r_336 r_337 r_454 r_455 r_456 r_457 r_549 r_550 r_551 r_552 r_553 r_817 r_818 r_819 r_820 r_821 r_928 r_929 r_930 r_931 r_932 r_1051 r_1052 r_1053 r_1054 r_1055 r_1180 r_1181 r_1182 r_1183 r_1184 r_1300 r_1301 r_1302 r_1303 r_1304 r_1453 r_1454 r_1455 r_1456 r_1457 r_1514 r_1515 r_1516 r_1517 r_1561 r_1562 r_1563 r_1564 r_1565 r_1693 r_1694 r_1695 r_1696 r_1697 r_1751 r_1752 r_1753 r_1754 r_1755 r_1815 r_1816 r_1817 r_1818 r_1819 r_1882 r_1883 r_1884 r_1885 r_1886 r_1942 r_1943 r_1944 r_1945 r_1946 r_2127 r_2128 r_2129 r_2238 r_2316 r_2317 r_2318 r_2503 r_2504 r_2881 r_2882 r_2883 r_2884 r_2885 BLOCK 7 r_220 r_221 r_350 r_351 r_466 r_467 r_468 r_469 r_508 r_509 r_510 r_511 r_512 r_513 r_514 r_515 r_516 r_517 r_566 r_567 r_691 r_692 r_885 r_886 r_887 r_891 r_892 r_893 r_942 r_943 r_944 r_945 r_990 r_991 r_992 r_993 r_994 r_995 r_996 r_997 r_998 r_999 r_1000 r_1001 r_1068 r_1069 r_1070 r_1197 r_1198 r_1199 r_1313 r_1314 r_1315 r_1382 r_1413 r_1431 r_1435 r_1461 r_1462 r_1519 r_1520 r_1521 r_1522 r_1540 r_1541 r_1542 r_1543 r_1544 r_1545 r_1569 r_1570 r_1629 r_1630 r_1726 r_1727 r_1728 r_1757 r_1758 r_1759 r_1760 r_1781 r_1782 r_1783 r_1784 r_1785 r_1786 r_1787 r_1824 r_1825 r_1890 r_1891 r_1892 r_1929 r_1930 r_1931 r_1932 r_1933 r_1948 r_1949 r_1950 r_1955 r_1956 r_1957 r_1958 r_1959 r_1960 r_2330 r_2331 r_2393 r_2394 r_2395 r_2396 r_2397 r_2398 r_2399 r_2400 r_2401 r_2402 r_2456 r_2457 r_2458 r_2459 r_2516 r_2572 r_2573 r_2574 r_2575 r_2576 r_2577 r_2578 r_2579 r_2580 r_2581 r_2629 r_2742 r_2743 r_2744 r_2745 r_2746 r_2747 r_2748 r_2749 r_2750 r_2751 r_2752 r_2753 r_2802 r_2803 r_2804 r_2805 r_2806 r_2807 r_2816 r_2833 r_2834 r_2895 r_2898 r_2899 r_2939 r_2940 r_2941 r_2942 r_2943 r_2944 r_2945 r_2946 r_2947 r_2948 r_2949 r_2950 r_2951 r_2952 r_2953 BLOCK 8 r_270 r_494 r_867 r_974 r_1019 r_1020 r_1021 r_1022 r_1023 r_1024 r_1025 r_1085 r_1086 r_1087 r_1088 r_1089 r_1090 r_1091 r_1092 r_1101 r_1148 r_1149 r_1150 r_1151 r_1152 r_1153 r_1154 r_1155 r_1156 r_1157 r_1158 r_1159 r_1160 r_1161 r_1214 r_1215 r_1216 r_1217 r_1218 r_1219 r_1220 r_1221 r_1222 r_1223 r_1224 r_1225 r_1226 r_1227 r_1228 r_1229 r_1423 r_1427 r_1533 r_1534 r_1536 r_1538 r_1539 r_1773 r_1774 r_1776 r_1778 r_1780 r_1864 r_1865 r_1866 r_1867 r_1868 r_1869 r_1870 r_1898 r_1899 r_1900 r_1901 r_1902 r_1903 r_1904 r_1905 r_2002 r_2003 r_2004 r_2005 r_2006 r_2007 r_2026 r_2065 r_2291 r_2292 r_2293 r_2294 r_2295 r_2296 r_2297 r_2346 r_2347 r_2348 r_2349 r_2350 r_2351 r_2352 r_2353 r_2354 r_2355 r_2356 r_2357 r_2358 r_2359 r_2360 r_2410 r_2411 r_2412 r_2413 r_2414 r_2436 r_2437 r_2438 r_2439 r_2440 r_2441 r_2474 r_2475 r_2476 r_2477 r_2478 r_2479 r_2480 r_2481 r_2482 r_2483 r_2484 r_2485 r_2486 r_2487 r_2531 r_2532 r_2533 r_2534 r_2535 r_2536 r_2537 r_2538 r_2539 r_2540 r_2541 r_2588 r_2589 r_2590 r_2591 r_2592 r_2611 r_2612 r_2613 r_2614 r_2615 r_2616 r_2644 r_2645 r_2646 r_2647 r_2648 r_2649 r_2655 r_2656 r_2657 r_2700 r_2701 r_2702 r_2703 r_2704 r_2705 r_2706 r_2707 r_2708 r_2709 r_2710 r_2711 r_2712 r_2713 r_2760 r_2761 r_2762 r_2763 r_2764 r_2765 r_2784 r_2785 r_2786 r_2787 r_2788 r_2789 r_2809 r_2813 r_2821 r_2825 r_2829 r_2905 r_2906 r_2907 r_2908 r_2909 r_2910 r_2911 r_2922 r_2923 r_2924 r_2925 r_2926 r_2927 r_2928 r_2929 r_2930 r_2931 r_2932 r_2933 r_2934 r_2935 r_2936 r_2937 r_2938 BLOCK 9 r_272 r_274 r_276 r_399 r_400 r_401 r_402 r_403 r_404 r_496 r_498 r_615 r_616 r_617 r_618 r_619 r_620 r_740 r_741 r_742 r_743 r_744 r_745 r_868 r_869 r_870 r_871 r_872 r_873 r_874 r_876 r_877 r_883 r_884 r_976 r_978 r_980 r_1102 r_1103 r_1104 r_1105 r_1106 r_1107 r_1108 r_1109 r_1110 r_1111 r_1117 r_1118 r_1354 r_1355 r_1356 r_1357 r_1358 r_1359 r_1360 r_1361 r_1362 r_1363 r_1364 r_1365 r_1366 r_1367 r_1429 r_1437 r_1484 r_1485 r_1486 r_1487 r_1488 r_1592 r_1593 r_1594 r_1595 r_1596 r_1652 r_1653 r_1654 r_1655 r_1656 r_1718 r_1719 r_1720 r_1721 r_1722 r_1723 r_1725 r_1840 r_1841 r_1842 r_1843 r_1844 r_1845 r_1846 r_1855 r_1871 r_1880 r_1889 r_1907 r_1913 r_1915 r_1916 r_1917 r_1918 r_1919 r_1920 r_1921 r_1968 r_1969 r_1970 r_1971 r_1972 r_1973 r_1974 r_2014 r_2015 r_2016 r_2017 r_2018 r_2019 r_2020 r_2028 r_2067 r_2378 r_2379 r_2380 r_2381 r_2382 r_2383 r_2384 r_2385 r_2386 r_2387 r_2388 r_2389 r_2390 r_2391 r_2392 r_2449 r_2450 r_2451 r_2452 r_2453 r_2454 r_2455 r_2558 r_2559 r_2560 r_2561 r_2562 r_2563 r_2564 r_2565 r_2566 r_2567 r_2568 r_2569 r_2570 r_2571 r_2623 r_2624 r_2625 r_2626 r_2627 r_2628 r_2729 r_2730 r_2731 r_2732 r_2733 r_2734 r_2735 r_2736 r_2737 r_2738 r_2739 r_2740 r_2741 r_2796 r_2797 r_2798 r_2799 r_2800 r_2801 r_2815 r_2823 r_2831 BLOCK 10 r_1466 BLOCK 11 r_1481 BLOCK 12 r_1482 BLOCK 13 r_1483 BLOCK 14 r_1489 BLOCK 15 r_1490 BLOCK 16 r_1568 BLOCK 17 r_1574 BLOCK 18 r_1575 BLOCK 19 r_1583 BLOCK 20 r_1589 BLOCK 21 r_1591 BLOCK 22 r_1597 BLOCK 23 r_1598 BLOCK 24 r_1667 BLOCK 25 r_1673 BLOCK 26 r_1674 BLOCK 27 r_1683 BLOCK 28 r_1688 BLOCK 29 r_1689 BLOCK 30 r_1789 BLOCK 31 r_1796 BLOCK 32 r_1805 BLOCK 33 r_1811 BLOCK 34 r_1856 BLOCK 35 r_1862 BLOCK 36 r_1863 BLOCK 37 r_1872 BLOCK 38 r_1877 BLOCK 39 r_1878 BLOCK 40 r_1879 MASTERCONSS r_1 r_2 r_3 r_4 r_5 r_6 r_7 r_8 r_9 r_10 r_16 r_17 r_18 r_19 r_20 r_21 r_22 r_23 r_24 r_25 r_26 r_27 r_28 r_29 r_30 r_31 r_32 r_33 r_34 r_35 r_36 r_37 r_38 r_39 r_40 r_41 r_46 r_47 r_48 r_50 r_51 r_52 r_53 r_54 r_55 r_59 r_60 r_61 r_62 r_63 r_66 r_67 r_68 r_69 r_70 r_71 r_72 r_73 r_74 r_75 r_76 r_77 r_78 r_82 r_83 r_84 r_85 r_86 r_87 r_88 r_89 r_90 r_91 r_92 r_93 r_94 r_95 r_96 r_97 r_98 r_99 r_100 r_101 r_102 r_103 r_104 r_105 r_106 r_107 r_108 r_109 r_110 r_116 r_117 r_118 r_119 r_120 r_121 r_122 r_123 r_124 r_125 r_126 r_127 r_128 r_129 r_130 r_131 r_132 r_133 r_134 r_135 r_136 r_137 r_138 r_139 r_140 r_141 r_142 r_143 r_144 r_145 r_146 r_147 r_148 r_149 r_150 r_151 r_158 r_159 r_160 r_161 r_162 r_163 r_164 r_165 r_166 r_167 r_168 r_169 r_170 r_171 r_172 r_173 r_174 r_175 r_176 r_177 r_178 r_179 r_180 r_181 r_182 r_183 r_188 r_190 r_191 r_192 r_193 r_194 r_195 r_196 r_197 r_198 r_199 r_200 r_211 r_212 r_213 r_214 r_215 r_218 r_219 r_226 r_227 r_228 r_229 r_230 r_231 r_232 r_233 r_234 r_235 r_236 r_237 r_238 r_239 r_240 r_241 r_242 r_243 r_244 r_245 r_246 r_247 r_248 r_249 r_250 r_251 r_253 r_260 r_261 r_262 r_263 r_264 r_265 r_266 r_267 r_268 r_269 r_271 r_273 r_275 r_277 r_278 r_279 r_280 r_281 r_282 r_283 r_284 r_285 r_286 r_287 r_288 r_289 r_290 r_291 r_292 r_293 r_294 r_295 r_296 r_297 r_298 r_299 r_300 r_301 r_302 r_303 r_304 r_305 r_306 r_307 r_308 r_309 r_310 r_311 r_312 r_313 r_314 r_325 r_326 r_327 r_328 r_329 r_342 r_343 r_344 r_345 r_346 r_349 r_356 r_357 r_358 r_359 r_360 r_361 r_362 r_363 r_364 r_365 r_366 r_367 r_368 r_369 r_370 r_371 r_372 r_373 r_374 r_375 r_376 r_377 r_378 r_379 r_380 r_381 r_388 r_389 r_390 r_391 r_392 r_393 r_394 r_395 r_396 r_397 r_398 r_405 r_406 r_407 r_408 r_409 r_410 r_411 r_412 r_413 r_414 r_415 r_416 r_417 r_418 r_419 r_420 r_421 r_422 r_423 r_424 r_425 r_426 r_495 r_497 r_499 r_500 r_501 r_502 r_503 r_504 r_505 r_506 r_507 r_518 r_526 r_527 r_528 r_529 r_530 r_531 r_532 r_533 r_534 r_535 r_536 r_537 r_538 r_539 r_540 r_541 r_542 r_543 r_544 r_545 r_546 r_547 r_558 r_559 r_560 r_561 r_565 r_572 r_573 r_574 r_575 r_576 r_577 r_578 r_579 r_580 r_581 r_582 r_583 r_584 r_585 r_586 r_587 r_588 r_589 r_590 r_591 r_592 r_593 r_594 r_595 r_596 r_597 r_604 r_605 r_606 r_607 r_608 r_609 r_610 r_611 r_612 r_613 r_614 r_621 r_622 r_623 r_624 r_625 r_626 r_627 r_628 r_629 r_630 r_631 r_632 r_633 r_634 r_635 r_636 r_637 r_638 r_639 r_640 r_641 r_642 r_643 r_650 r_651 r_652 r_653 r_654 r_655 r_656 r_657 r_658 r_659 r_660 r_661 r_662 r_663 r_664 r_665 r_666 r_667 r_668 r_669 r_670 r_671 r_672 r_673 r_678 r_680 r_681 r_682 r_683 r_684 r_685 r_686 r_687 r_688 r_689 r_690 r_697 r_698 r_699 r_700 r_701 r_702 r_703 r_704 r_705 r_706 r_707 r_708 r_709 r_710 r_711 r_712 r_713 r_714 r_715 r_716 r_717 r_718 r_719 r_720 r_721 r_722 r_729 r_730 r_731 r_732 r_733 r_734 r_735 r_736 r_737 r_738 r_739 r_746 r_747 r_748 r_749 r_750 r_751 r_752 r_753 r_754 r_755 r_756 r_757 r_758 r_759 r_760 r_761 r_762 r_763 r_764 r_765 r_766 r_767 r_768 r_776 r_777 r_778 r_779 r_780 r_781 r_782 r_783 r_785 r_786 r_787 r_788 r_789 r_790 r_791 r_792 r_793 r_794 r_795 r_796 r_797 r_798 r_799 r_804 r_806 r_807 r_809 r_810 r_811 r_812 r_813 r_814 r_815 r_826 r_827 r_828 r_829 r_830 r_833 r_834 r_835 r_836 r_837 r_838 r_839 r_840 r_841 r_842 r_843 r_844 r_845 r_846 r_847 r_848 r_858 r_859 r_860 r_861 r_862 r_863 r_864 r_865 r_875 r_878 r_879 r_880 r_881 r_882 r_888 r_889 r_890 r_894 r_895 r_896 r_975 r_977 r_979 r_981 r_982 r_983 r_984 r_985 r_986 r_987 r_988 r_989 r_1002 r_1011 r_1012 r_1013 r_1014 r_1015 r_1016 r_1017 r_1018 r_1026 r_1027 r_1028 r_1029 r_1030 r_1031 r_1032 r_1033 r_1040 r_1041 r_1043 r_1044 r_1045 r_1046 r_1047 r_1048 r_1060 r_1061 r_1062 r_1063 r_1064 r_1067 r_1077 r_1078 r_1079 r_1080 r_1081 r_1082 r_1093 r_1094 r_1095 r_1096 r_1097 r_1098 r_1099 r_1100 r_1112 r_1113 r_1114 r_1115 r_1116 r_1119 r_1120 r_1121 r_1122 r_1123 r_1124 r_1125 r_1126 r_1127 r_1128 r_1129 r_1130 r_1131 r_1138 r_1139 r_1140 r_1141 r_1142 r_1143 r_1144 r_1145 r_1146 r_1147 r_1162 r_1167 r_1169 r_1170 r_1171 r_1172 r_1173 r_1174 r_1175 r_1176 r_1177 r_1178 r_1189 r_1190 r_1191 r_1192 r_1193 r_1196 r_1204 r_1207 r_1208 r_1209 r_1210 r_1211 r_1213 r_1231 r_1238 r_1239 r_1241 r_1242 r_1243 r_1244 r_1245 r_1246 r_1248 r_1249 r_1250 r_1251 r_1252 r_1253 r_1254 r_1255 r_1256 r_1257 r_1258 r_1259 r_1274 r_1275 r_1276 r_1277 r_1278 r_1279 r_1280 r_1281 r_1282 r_1283 r_1284 r_1319 r_1321 r_1322 r_1327 r_1328 r_1329 r_1330 r_1331 r_1332 r_1333 r_1334 r_1335 r_1336 r_1337 r_1338 r_1339 r_1369 r_1370 r_1371 r_1373 r_1374 r_1378 r_1379 r_1381 r_1383 r_1385 r_1386 r_1388 r_1389 r_1391 r_1392 r_1393 r_1394 r_1395 r_1396 r_1397 r_1398 r_1399 r_1400 r_1401 r_1402 r_1403 r_1404 r_1405 r_1406 r_1409 r_1410 r_1412 r_1414 r_1415 r_1416 r_1417 r_1418 r_1419 r_1420 r_1422 r_1424 r_1425 r_1426 r_1428 r_1433 r_1434 r_1444 r_1526 r_1535 r_1537 r_1708 r_1709 r_1717 r_1724 r_1765 r_1775 r_1777 r_1779 r_1797 r_1798 r_1799 r_1800 r_1801 r_1802 r_1812 r_1823 r_1831 r_1832 r_1833 r_1834 r_1835 r_1836 r_1837 r_1839 r_1847 r_1896 r_1897 r_1906 r_1914 r_3047 r_2029 r_2030 r_2031 r_2032 r_2033 r_2034 r_2035 r_2036 r_2037 r_2038 r_2039 r_2040 r_2041 r_2042 r_2043 r_2044 r_2045 r_2046 r_2047 r_2048 r_2049 r_2050 r_2051 r_2052 r_2053 r_2054 r_2055 r_2056 r_2057 r_2058 r_2059 r_2060 r_2068 r_2069 r_2070 r_2071 r_2072 r_2073 r_2074 r_2075 r_2076 r_2077 r_2078 r_2082 r_2083 r_2084 r_2085 r_2086 r_2087 r_2088 r_2089 r_2090 r_2091 r_2092 r_2093 r_2094 r_2095 r_2096 r_2097 r_2098 r_2099 r_2100 r_2101 r_2102 r_2103 r_2104 r_2105 r_2106 r_2107 r_2108 r_2109 r_2110 r_2113 r_2114 r_2115 r_2116 r_2117 r_2118 r_2119 r_2120 r_2121 r_2122 r_2123 r_2125 r_2126 r_2130 r_2131 r_2132 r_2133 r_2134 r_2135 r_2136 r_2137 r_2138 r_2139 r_2140 r_2141 r_2142 r_2143 r_2144 r_2146 r_2147 r_2148 r_2149 r_2150 r_2151 r_2152 r_2153 r_2154 r_2155 r_2156 r_2157 r_2158 r_2159 r_2160 r_2161 r_2162 r_2163 r_2164 r_2165 r_2166 r_2167 r_2168 r_2169 r_2170 r_2171 r_2172 r_2173 r_2174 r_2178 r_2179 r_2180 r_2181 r_2182 r_2183 r_2184 r_2185 r_2186 r_2187 r_2188 r_2189 r_2190 r_2191 r_2192 r_2193 r_2194 r_2195 r_2196 r_2197 r_2198 r_2199 r_2200 r_2201 r_2202 r_2203 r_2204 r_2205 r_2206 r_2207 r_2208 r_2209 r_2210 r_2211 r_2212 r_2213 r_2214 r_2215 r_2216 r_2218 r_2219 r_2220 r_2221 r_2222 r_2223 r_2224 r_2225 r_2226 r_2227 r_2228 r_2229 r_2230 r_2231 r_2232 r_2233 r_2234 r_2235 r_2236 r_2237 r_2239 r_2240 r_2241 r_2242 r_2243 r_2244 r_2245 r_2246 r_2247 r_2248 r_2249 r_2250 r_2251 r_2252 r_2253 r_2254 r_2255 r_2256 r_2257 r_2258 r_2260 r_2261 r_2262 r_2263 r_2264 r_2265 r_2266 r_2267 r_2268 r_2269 r_2270 r_2271 r_2272 r_2273 r_2274 r_2314 r_2315 r_2319 r_2320 r_2332 r_2333 r_2377 r_2422 r_2423 r_2424 r_2429 r_2430 r_2502 r_2505 r_2506 r_2507 r_2517 r_2518 r_2519 r_2557 r_2599 r_2600 r_2601 r_2605 r_2606 r_3048 r_3049 r_2672 r_2673 r_2674 r_2675 r_2676 r_2677 r_2678 r_2686 r_2687 r_2688 r_2689 r_2728 r_2772 r_2773 r_2774 r_2778 r_2779 r_2811 r_2812 r_2827 r_2828 r_2832 r_2835 r_2836 r_2886 r_2894 r_2896 r_2900 r_2912 r_2986 r_2987 r_2988 r_2989 r_2990 r_2991 r_2992 r_2995 r_2996 r_2997 r_2998 r_2999 r_3000 r_3001 r_3002 r_3003 r_3004 r_3005 r_3007 r_3008 r_3009 r_3010 r_3011 r_3012 r_3013 r_3014 r_3018 r_3019 r_3020 r_3021 r_3022 r_3023 r_3024 r_3025 r_3034 r_3035 r_3036 r_3037 r_3038 r_3039 r_3040 r_3041 r_3042 r_3043 r_3044 r_3045 r_3046