C Loglan82 Compiler&Interpreter C Copyright (C) 1981-1993 Institute of Informatics, University of Warsaw C Copyright (C) 1993, 1994 LITA, Pau C C This program is free software; you can redistribute it and/or modify C it under the terms of the GNU General Public License as published by C the Free Software Foundation; either version 2 of the License, or C (at your option) any later version. C C This program is distributed in the hope that it will be useful, C but WITHOUT ANY WARRANTY; without even the implied warranty of C MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the C GNU General Public License for more details. File: LICENSE.GNU C =============================================================== SUBROUTINE DATA2 IMPLICIT INTEGER (A-Z) C C INITIATES VARIABLES IN THE BLANK COMMON C COMMON /BLANK/ $ C0M(4), O S, ADRES, K, SCOMA, SDOT, SEMICOL, 1 SCOLON, SLEFT, SRIGHT, SBECOME, STAR, SRELAT, 2 SEOF, SIDENT, SCONST, SAND, SARRAY, SARROF, 3 SATTACH, SBEGIN, SBLOCK, SBOOL, SCALL, SCASE, 4 SCLASS, SCLOSE, SCONS, SCOPY, SCOROUT, SDETACH, 5 SDIM, SDO, SDOWN, SELSE, SEND, SESAC, 6 SEXIT, SEXTERN, SFI, SFOR, SFUNCT, SIF, 7 SINNER, SINPUT, SINT, SKILL, SLOCK, SNEW, 8 SNONE, SNOT, SOD, SOR, SORIF, SOTHER, 9 SOUTPUT, SPREF, SPRCD, SQUA, SREAD, SRESUME, O SRETURN, STEP, STOP, STAKEN, STHEN, STHIS, A STO, STYPE, SUNIT, SVAR, SVIRTUAL, SWAIT, B SWHEN, SWHILE, SWRIT, SWRITLN, STRUE, SALL, C WAND, WARRAY, WASSIGN, WASSCON, WATTACH, WBLOCK, D WCALL, WCASE, WCASEL, WCOMA, WCNSTB, WCNSTC, E WCNSTI, WCNSTN, WCNSTR, WCNST, WCOPY, WDETACH, F WDOT, WDOWNTO, WEOF, WESAC, WFIN, WFIRST, G WFOREND, WFORVAR, WFROM, WIDENT, WIFFALS, WIFTRUE common /BLANK/ H WINNER, WINSTREND,WJUMP, WKILL, WLABEL, WLEFT, I WLOCK, WLOW, WLSE, WNEW, WNEWARRAY,WNOT, J WOPERAT, WOPT, WOR, WOTHER, WPREF, WPRIM, K WQUA, WREAD, WRELAT, WRESUME, WRETURN, WRIGHT, L WSTART, WSTEP, WSTOP, WTHIS, WTO, WAIT, M WRITE, WRITELN, WBOUND, UNICAL, N COM(132), O LMEM, LPMEM, IRECN, ISFIN, LPMSYS, LPML, P LPMF, NRINT, NRRE, NRBOOL, NRCHAR, NRCOR, Q NRPROC, NRTEXT, NRUNIV, NATTR, NRNONE, NBLSYS, R NBLUS, NEMPTY, INSYS, LOCAL, OWN, OBJECT, S HASH(8000), M, NAME(10), NLAST, NL, T KEYS(200), U TRANS1(13,13), TRANS2(13,13), B0, B(70), V SKOK0, SKOK(70), KK, MM, STAN, STAN1, W AUX, K1, SY, SY1, NU, JK1, EXP, X SIGN, INTPART, FRAC, OKEY, FRACT,JK2,NB, Y TL, BYTE, TEXT(20), Z TOP, IN, NEXT, STACK(500) common /BLANK/ * RESZTA(3652) C RESZTA = REMAINDER REAL FRACT,NU DO 10 I=1,8000 HASH(I)=0 10 CONTINUE cdsw &bc c c hash table contains following unused tokens: c c ACCEPT 2053 c ENABLE 2047 c DISABLE 2041 c QUIT 2033 c cdsw db01op 7725 HASH ( 59 ) = 1038 HASH ( 60 ) = -2343 HASH ( 79 ) = 1048 HASH ( 81 ) = 2058 HASH ( 82 ) = -2691 HASH ( 85 ) = 1051 HASH ( 86 ) = -2271 HASH ( 95 ) = 2065 HASH ( 96 ) = -2689 HASH ( 97 ) = 2066 HASH ( 98 ) = -2639 HASH ( 115 ) = 2075 HASH ( 116 ) = -2681 HASH ( 179 ) = 1098 HASH ( 180 ) = -2669 HASH ( 189 ) = 1103 HASH ( 190 ) = -2285 HASH ( 195 ) = 1106 HASH ( 196 ) = -2865 HASH ( 209 ) = 1113 HASH ( 210 ) = -2289 HASH ( 237 ) = 2136 HASH ( 238 ) = -2485 HASH ( 307 ) = 1162 HASH ( 308 ) = -2607 HASH ( 317 ) = 1167 HASH ( 323 ) = 1170 HASH ( 324 ) = -7999 HASH ( 331 ) = 1174 HASH ( 332 ) = -2523 HASH ( 333 ) = 1175 HASH ( 334 ) = 2861 HASH ( 335 ) = 1176 HASH ( 336 ) = -2609 HASH ( 343 ) = 1180 HASH ( 344 ) = 2605 HASH ( 579 ) = 1298 HASH ( 580 ) = -2835 HASH ( 691 ) = 1354 HASH ( 692 ) = -2637 HASH ( 717 ) = 1367 HASH ( 719 ) = 1368 HASH ( 720 ) = -2833 HASH ( 819 ) = 1418 HASH ( 820 ) = -2831 HASH ( 827 ) = 1422 HASH ( 828 ) = -2327 HASH ( 835 ) = 1426 HASH ( 836 ) = -2395 HASH ( 847 ) = 1432 HASH ( 848 ) = -2829 HASH ( 955 ) = 1486 HASH ( 956 ) = -2827 HASH ( 975 ) = 1496 HASH ( 976 ) = -2825 HASH ( 987 ) = 1502 HASH ( 988 ) = -1989 HASH ( 1081 ) = 1549 HASH ( 1105 ) = 1561 HASH ( 1106 ) = -2363 HASH ( 1109 ) = 1563 HASH ( 1110 ) = 2819 HASH ( 1113 ) = 1565 HASH ( 1114 ) = -2815 HASH ( 1115 ) = 1566 HASH ( 1116 ) = -2807 HASH ( 1203 ) = 1610 HASH ( 1204 ) = -2493 HASH ( 1231 ) = 1624 HASH ( 1232 ) = -2241 HASH ( 1237 ) = 1627 HASH ( 1238 ) = -2797 HASH ( 1243 ) = 1630 HASH ( 1244 ) = -2341 HASH ( 1303 ) = 651 HASH ( 1304 ) = -2615 HASH ( 1305 ) = 652 HASH ( 1306 ) = -2305 HASH ( 1325 ) = 662 HASH ( 1326 ) = -2381 HASH ( 1327 ) = 663 HASH ( 1328 ) = -2999 HASH ( 1335 ) = 667 HASH ( 1336 ) = -2997 HASH ( 1337 ) = 668 HASH ( 1338 ) = -7839 HASH ( 1339 ) = 669 HASH ( 1340 ) = -2985 HASH ( 1371 ) = 1694 HASH ( 1372 ) = -2777 HASH ( 1437 ) = 718 HASH ( 1438 ) = -2973 HASH ( 1451 ) = 725 HASH ( 1452 ) = -2969 HASH ( 1457 ) = 728 HASH ( 1458 ) = -2965 HASH ( 1459 ) = 1738 HASH ( 1460 ) = -2659 HASH ( 1463 ) = 731 HASH ( 1464 ) = -2267 HASH ( 1467 ) = 1742 HASH ( 1468 ) = -2775 HASH ( 1487 ) = 1752 HASH ( 1488 ) = -2583 HASH ( 1557 ) = 778 HASH ( 1558 ) = -2955 HASH ( 1571 ) = 785 HASH ( 1572 ) = -2949 HASH ( 1573 ) = 786 HASH ( 1574 ) = -2103 HASH ( 1579 ) = 789 HASH ( 1580 ) = -2941 HASH ( 1585 ) = 792 HASH ( 1586 ) = -2927 HASH ( 1591 ) = 1804 HASH ( 1592 ) = -2189 HASH ( 1595 ) = 1806 HASH ( 1596 ) = -2751 HASH ( 1601 ) = 1809 HASH ( 1602 ) = -7981 HASH ( 1603 ) = 1810 HASH ( 1604 ) = -2663 HASH ( 1609 ) = 1813 HASH ( 1610 ) = -2463 HASH ( 1619 ) = 1818 HASH ( 1620 ) = -2591 HASH ( 1625 ) = 1821 HASH ( 1626 ) = -2743 HASH ( 1635 ) = 1826 HASH ( 1636 ) = -2003 HASH ( 1685 ) = 842 HASH ( 1686 ) = -2349 HASH ( 1687 ) = 843 HASH ( 1688 ) = -7835 HASH ( 1693 ) = 846 HASH ( 1694 ) = -2909 HASH ( 1701 ) = 850 HASH ( 1702 ) = -2905 HASH ( 1713 ) = 856 HASH ( 1714 ) = 2899 HASH ( 1715 ) = 1866 HASH ( 1716 ) = -2731 HASH ( 1719 ) = 859 HASH ( 1720 ) = -2283 HASH ( 1723 ) = 1870 HASH ( 1724 ) = -2647 HASH ( 1729 ) = 1873 HASH ( 1730 ) = -2727 HASH ( 1731 ) = 1874 HASH ( 1732 ) = -2593 HASH ( 1743 ) = 1880 HASH ( 1749 ) = 1883 HASH ( 1750 ) = -2721 HASH ( 1751 ) = 1884 HASH ( 1752 ) = 2425 HASH ( 1763 ) = 1890 HASH ( 1764 ) = -2719 HASH ( 1829 ) = 1367 HASH ( 1830 ) = 2253 HASH ( 1831 ) = 653 HASH ( 1832 ) = -1829 HASH ( 1833 ) = 1742 HASH ( 1834 ) = -1831 HASH ( 1835 ) = 917 HASH ( 1836 ) = -2893 HASH ( 1837 ) = 918 HASH ( 1838 ) = -2399 HASH ( 1839 ) = 919 HASH ( 1840 ) = -2891 HASH ( 1841 ) = 920 HASH ( 1842 ) = -2617 HASH ( 1849 ) = 924 HASH ( 1850 ) = -2889 HASH ( 1859 ) = 929 HASH ( 1860 ) = -2887 HASH ( 1869 ) = 1943 HASH ( 1870 ) = -2717 HASH ( 1873 ) = 1945 HASH ( 1874 ) = -2709 HASH ( 1941 ) = 970 HASH ( 1942 ) = -2877 HASH ( 1957 ) = 978 HASH ( 1958 ) = 2339 HASH ( 1969 ) = 984 HASH ( 1970 ) = -2873 HASH ( 1971 ) = 1994 HASH ( 1972 ) = -2699 HASH ( 1981 ) = 990 HASH ( 1982 ) = -2871 HASH ( 1987 ) = 2002 HASH ( 1988 ) = -2697 HASH ( 1989 ) = 1422 HASH ( 1990 ) = -1991 HASH ( 1991 ) = 1755 HASH ( 1992 ) = -1993 HASH ( 1993 ) = 1563 HASH ( 1995 ) = 1890 HASH ( 1996 ) = -1997 HASH ( 1997 ) = 1614 HASH ( 1998 ) = -1999 HASH ( 1999 ) = 1755 HASH ( 2000 ) = -2001 HASH ( 2001 ) = 1563 HASH ( 2003 ) = 1806 HASH ( 2004 ) = -2005 HASH ( 2005 ) = 1755 HASH ( 2006 ) = -2007 HASH ( 2007 ) = 1563 HASH ( 2017 ) = 1559 HASH ( 2019 ) = 1874 HASH ( 2020 ) = -2017 HASH ( 2021 ) = 1810 HASH ( 2022 ) = -2019 HASH ( 2023 ) = 1624 HASH ( 2024 ) = -2021 HASH ( 2025 ) = 1741 HASH ( 2027 ) = 778 HASH ( 2028 ) = -2025 HASH ( 2029 ) = 1496 HASH ( 2030 ) = -2027 HASH ( 2031 ) = 1181 HASH ( 2033 ) = 1694 HASH ( 2034 ) = -2031 HASH ( 2035 ) = 14 HASH ( 2037 ) = 725 HASH ( 2038 ) = -2035 HASH ( 2039 ) = 1802 HASH ( 2040 ) = -2037 HASH ( 2041 ) = 850 HASH ( 2042 ) = -2039 HASH ( 2043 ) = 1358 HASH ( 2045 ) = 651 HASH ( 2046 ) = -2043 HASH ( 2047 ) = 919 HASH ( 2048 ) = -2045 HASH ( 2049 ) = 1629 HASH ( 2051 ) = 782 HASH ( 2052 ) = -2049 HASH ( 2053 ) = 652 HASH ( 2054 ) = -2051 HASH ( 2055 ) = 2254 HASH ( 2056 ) = 7827 HASH ( 2057 ) = 1810 HASH ( 2058 ) = -2055 HASH ( 2059 ) = 661 HASH ( 2060 ) = -2057 HASH ( 2061 ) = 1742 HASH ( 2062 ) = -2059 HASH ( 2063 ) = 14 HASH ( 2064 ) = 7985 HASH ( 2065 ) = 1187 HASH ( 2066 ) = -2063 HASH ( 2067 ) = 1884 HASH ( 2068 ) = -2065 HASH ( 2069 ) = 1175 HASH ( 2070 ) = -2067 HASH ( 2071 ) = 908 HASH ( 2073 ) = 1883 HASH ( 2074 ) = -2071 HASH ( 2075 ) = 1630 HASH ( 2076 ) = -2073 HASH ( 2077 ) = 908 HASH ( 2078 ) = 7945 HASH ( 2079 ) = 1883 HASH ( 2080 ) = -2077 HASH ( 2081 ) = 1038 HASH ( 2082 ) = -2079 HASH ( 2083 ) = 1492 HASH ( 2085 ) = 1362 HASH ( 2086 ) = -2083 HASH ( 2087 ) = 1943 HASH ( 2088 ) = -2085 HASH ( 2089 ) = 916 HASH ( 2090 ) = 7957 HASH ( 2091 ) = 1806 HASH ( 2092 ) = -2089 HASH ( 2093 ) = 797 HASH ( 2094 ) = 2041 HASH ( 2095 ) = 1742 HASH ( 2096 ) = -2093 HASH ( 2097 ) = 850 HASH ( 2098 ) = -2095 HASH ( 2099 ) = 908 HASH ( 2101 ) = 929 HASH ( 2102 ) = -2099 HASH ( 2103 ) = 1739 HASH ( 2105 ) = 16 HASH ( 2107 ) = 1175 HASH ( 2108 ) = -2105 HASH ( 2109 ) = 1883 HASH ( 2110 ) = -2107 HASH ( 2111 ) = 1884 HASH ( 2112 ) = -2109 HASH ( 2113 ) = 1566 HASH ( 2114 ) = -2111 HASH ( 2115 ) = 1864 HASH ( 2117 ) = 1559 HASH ( 2118 ) = -2115 HASH ( 2119 ) = 1103 HASH ( 2120 ) = -2117 HASH ( 2121 ) = 29 HASH ( 2122 ) = 2119 HASH ( 2123 ) = 1559 HASH ( 2124 ) = -2121 HASH ( 2125 ) = 1103 HASH ( 2126 ) = -2123 HASH ( 2127 ) = 20 HASH ( 2129 ) = 652 HASH ( 2130 ) = -2127 HASH ( 2131 ) = 1883 HASH ( 2132 ) = -2129 HASH ( 2133 ) = 665 HASH ( 2135 ) = 1750 HASH ( 2136 ) = -2133 HASH ( 2137 ) = 2136 HASH ( 2138 ) = -2135 HASH ( 2139 ) = 25 HASH ( 2141 ) = 1418 HASH ( 2142 ) = -2139 HASH ( 2143 ) = 1563 HASH ( 2144 ) = -2141 HASH ( 2145 ) = 665 HASH ( 2146 ) = 2075 HASH ( 2147 ) = 1878 HASH ( 2148 ) = -2145 HASH ( 2149 ) = 1630 HASH ( 2150 ) = -2147 HASH ( 2151 ) = 665 HASH ( 2152 ) = 2081 HASH ( 2153 ) = 1878 HASH ( 2154 ) = -2151 HASH ( 2155 ) = 1038 HASH ( 2156 ) = -2153 HASH ( 2157 ) = 33 HASH ( 2158 ) = 2069 HASH ( 2159 ) = 1618 HASH ( 2160 ) = -2157 HASH ( 2161 ) = 1175 HASH ( 2162 ) = -2159 HASH ( 2163 ) = 1564 HASH ( 2164 ) = 2161 HASH ( 2165 ) = 2201 HASH ( 2166 ) = -2163 HASH ( 2167 ) = 1175 HASH ( 2168 ) = -2165 HASH ( 2169 ) = 1564 HASH ( 2170 ) = 2167 HASH ( 2171 ) = 2137 HASH ( 2172 ) = -2169 HASH ( 2173 ) = 1175 HASH ( 2174 ) = -2171 HASH ( 2175 ) = 34 HASH ( 2176 ) = 2023 HASH ( 2177 ) = 1633 HASH ( 2178 ) = -2175 HASH ( 2179 ) = 1624 HASH ( 2180 ) = -2177 HASH ( 2181 ) = 2146 HASH ( 2182 ) = 2149 HASH ( 2183 ) = 1809 HASH ( 2184 ) = -2181 HASH ( 2185 ) = 1630 HASH ( 2186 ) = -2183 HASH ( 2187 ) = 919 HASH ( 2188 ) = 7785 HASH ( 2189 ) = 1742 HASH ( 2190 ) = -2187 HASH ( 2191 ) = 24 HASH ( 2193 ) = 846 HASH ( 2194 ) = -2191 HASH ( 2195 ) = 2002 HASH ( 2196 ) = -2193 HASH ( 2197 ) = 923 HASH ( 2199 ) = 1741 HASH ( 2200 ) = -2197 HASH ( 2201 ) = 728 HASH ( 2202 ) = -2199 HASH ( 2203 ) = 925 HASH ( 2205 ) = 1365 HASH ( 2206 ) = -2203 HASH ( 2207 ) = 1610 HASH ( 2208 ) = -2205 HASH ( 2209 ) = 1500 HASH ( 2210 ) = 2173 HASH ( 2211 ) = 1870 HASH ( 2212 ) = -2209 HASH ( 2213 ) = 1175 HASH ( 2214 ) = -2211 HASH ( 2215 ) = 1751 HASH ( 2216 ) = 2207 HASH ( 2217 ) = 1870 HASH ( 2218 ) = -2215 HASH ( 2219 ) = 1610 HASH ( 2220 ) = -2217 HASH ( 2221 ) = 14 HASH ( 2222 ) = 7963 HASH ( 2223 ) = 2197 HASH ( 2224 ) = -2221 HASH ( 2225 ) = 1821 HASH ( 2226 ) = -2223 HASH ( 2227 ) = 27 HASH ( 2229 ) = 1368 HASH ( 2230 ) = -2227 HASH ( 2231 ) = 792 HASH ( 2232 ) = -2229 HASH ( 2233 ) = 21 HASH ( 2235 ) = 1173 HASH ( 2236 ) = -2233 HASH ( 2237 ) = 1999 HASH ( 2238 ) = -2235 HASH ( 2239 ) = 29 HASH ( 2240 ) = 2179 HASH ( 2241 ) = 1175 HASH ( 2242 ) = -2239 HASH ( 2243 ) = 788 HASH ( 2244 ) = 2087 HASH ( 2245 ) = 1610 HASH ( 2246 ) = -2243 HASH ( 2247 ) = 1943 HASH ( 2248 ) = -2245 HASH ( 2249 ) = 1870 HASH ( 2250 ) = -2251 HASH ( 2251 ) = 2141 HASH ( 2253 ) = 1742 HASH ( 2254 ) = -2255 HASH ( 2255 ) = 1806 HASH ( 2256 ) = -2257 HASH ( 2257 ) = 29 HASH ( 2258 ) = 2259 HASH ( 2259 ) = 1742 HASH ( 2260 ) = -2261 HASH ( 2261 ) = 2075 HASH ( 2262 ) = -2263 HASH ( 2263 ) = 1181 HASH ( 2264 ) = -2265 HASH ( 2265 ) = 14 HASH ( 2266 ) = 2061 HASH ( 2267 ) = 906 HASH ( 2268 ) = -2269 HASH ( 2269 ) = 20 HASH ( 2270 ) = 7797 HASH ( 2271 ) = 1559 HASH ( 2272 ) = 2273 HASH ( 2273 ) = 1051 HASH ( 2274 ) = -2275 HASH ( 2275 ) = 1551 HASH ( 2276 ) = -2277 HASH ( 2277 ) = 15 HASH ( 2279 ) = 1432 HASH ( 2280 ) = -2281 HASH ( 2281 ) = 1998 HASH ( 2282 ) = 7991 HASH ( 2283 ) = 672 HASH ( 2285 ) = 1173 HASH ( 2286 ) = -2287 HASH ( 2287 ) = 21 HASH ( 2288 ) = 2125 HASH ( 2289 ) = 656 HASH ( 2290 ) = -2291 HASH ( 2291 ) = 14 HASH ( 2293 ) = 1098 HASH ( 2294 ) = -2295 HASH ( 2295 ) = 1804 HASH ( 2296 ) = -2297 HASH ( 2297 ) = 1170 HASH ( 2299 ) = 1175 HASH ( 2300 ) = -2301 HASH ( 2301 ) = 1294 HASH ( 2302 ) = -2303 HASH ( 2303 ) = 34 HASH ( 2304 ) = 2213 HASH ( 2305 ) = 782 HASH ( 2306 ) = -2307 HASH ( 2307 ) = 1755 HASH ( 2308 ) = -2309 HASH ( 2309 ) = 1563 HASH ( 2310 ) = 2053 HASH ( 2311 ) = 792 HASH ( 2312 ) = -2313 HASH ( 2313 ) = 1486 HASH ( 2314 ) = -2315 HASH ( 2315 ) = 1755 HASH ( 2316 ) = -2317 HASH ( 2317 ) = 1563 HASH ( 2318 ) = 2231 HASH ( 2319 ) = 1368 HASH ( 2320 ) = -2321 HASH ( 2321 ) = 1038 HASH ( 2322 ) = -2323 HASH ( 2323 ) = 1755 HASH ( 2324 ) = -2325 HASH ( 2325 ) = 1563 HASH ( 2327 ) = 1422 HASH ( 2328 ) = -2329 HASH ( 2329 ) = 1755 HASH ( 2330 ) = -2331 HASH ( 2331 ) = 1563 HASH ( 2332 ) = 7847 HASH ( 2333 ) = 28 HASH ( 2335 ) = 789 HASH ( 2336 ) = -2333 HASH ( 2337 ) = 1358 HASH ( 2339 ) = 978 HASH ( 2340 ) = -2337 HASH ( 2341 ) = 29 HASH ( 2342 ) = 2185 HASH ( 2343 ) = 29 HASH ( 2344 ) = 2155 HASH ( 2345 ) = 919 HASH ( 2347 ) = 1561 HASH ( 2348 ) = -2345 HASH ( 2349 ) = 1870 HASH ( 2351 ) = 27 HASH ( 2352 ) = 2101 HASH ( 2353 ) = 1610 HASH ( 2354 ) = -2351 HASH ( 2355 ) = 908 HASH ( 2356 ) = -2353 HASH ( 2357 ) = 929 HASH ( 2358 ) = -2355 HASH ( 2359 ) = 28 HASH ( 2360 ) = 2347 HASH ( 2361 ) = 1559 HASH ( 2362 ) = -2359 HASH ( 2363 ) = 1874 HASH ( 2364 ) = -2361 HASH ( 2365 ) = 20 HASH ( 2366 ) = 2335 HASH ( 2367 ) = 1548 HASH ( 2368 ) = -2365 HASH ( 2369 ) = 789 HASH ( 2370 ) = -2367 HASH ( 2371 ) = 925 HASH ( 2373 ) = 1500 HASH ( 2374 ) = -2371 HASH ( 2375 ) = 1738 HASH ( 2376 ) = -2373 HASH ( 2377 ) = 27 HASH ( 2379 ) = 718 HASH ( 2380 ) = -2377 HASH ( 2381 ) = 918 HASH ( 2382 ) = -2379 HASH ( 2383 ) = 1756 HASH ( 2385 ) = 1102 HASH ( 2386 ) = -2383 HASH ( 2387 ) = 1565 HASH ( 2388 ) = -2385 HASH ( 2389 ) = 1870 HASH ( 2390 ) = 7917 HASH ( 2391 ) = 1358 HASH ( 2392 ) = -2389 HASH ( 2393 ) = 846 HASH ( 2394 ) = -2391 HASH ( 2395 ) = 23 HASH ( 2397 ) = 34 HASH ( 2399 ) = 1629 HASH ( 2400 ) = -2397 HASH ( 2401 ) = 1757 HASH ( 2402 ) = 2299 HASH ( 2403 ) = 1806 HASH ( 2404 ) = -2401 HASH ( 2405 ) = 1175 HASH ( 2406 ) = -2403 HASH ( 2407 ) = 25 HASH ( 2408 ) = 2247 HASH ( 2409 ) = 788 HASH ( 2410 ) = -2407 HASH ( 2411 ) = 1368 HASH ( 2412 ) = -2409 HASH ( 2413 ) = 1943 HASH ( 2414 ) = -2411 HASH ( 2415 ) = 25 HASH ( 2416 ) = 2319 HASH ( 2417 ) = 788 HASH ( 2418 ) = -2415 HASH ( 2419 ) = 1368 HASH ( 2420 ) = -2417 HASH ( 2421 ) = 1945 HASH ( 2423 ) = 25 HASH ( 2425 ) = 1884 HASH ( 2426 ) = -2423 HASH ( 2427 ) = 23 HASH ( 2429 ) = 1181 HASH ( 2430 ) = -2427 HASH ( 2431 ) = 2058 HASH ( 2432 ) = -2429 HASH ( 2433 ) = 667 HASH ( 2434 ) = 2225 HASH ( 2435 ) = 1561 HASH ( 2436 ) = -2433 HASH ( 2437 ) = 1821 HASH ( 2438 ) = -2435 HASH ( 2439 ) = 25 HASH ( 2440 ) = 2431 HASH ( 2441 ) = 1181 HASH ( 2442 ) = -2439 HASH ( 2443 ) = 2058 HASH ( 2444 ) = -2441 HASH ( 2445 ) = 25 HASH ( 2446 ) = 2437 HASH ( 2447 ) = 1561 HASH ( 2448 ) = -2445 HASH ( 2449 ) = 1821 HASH ( 2450 ) = -2447 HASH ( 2451 ) = 25 HASH ( 2452 ) = 1833 HASH ( 2453 ) = 1422 HASH ( 2454 ) = -2451 HASH ( 2455 ) = 1822 HASH ( 2456 ) = -2453 HASH ( 2457 ) = 1742 HASH ( 2458 ) = -2455 HASH ( 2459 ) = 20 HASH ( 2461 ) = 1490 HASH ( 2462 ) = -2459 HASH ( 2463 ) = 1568 HASH ( 2464 ) = -2461 HASH ( 2465 ) = 924 HASH ( 2467 ) = 1548 HASH ( 2468 ) = -2465 HASH ( 2469 ) = 1627 HASH ( 2470 ) = -2467 HASH ( 2471 ) = 27 HASH ( 2472 ) = 2091 HASH ( 2473 ) = 984 HASH ( 2474 ) = -2471 HASH ( 2475 ) = 1418 HASH ( 2476 ) = -2473 HASH ( 2477 ) = 1806 HASH ( 2478 ) = -2475 HASH ( 2479 ) = 1943 HASH ( 2480 ) = 2047 HASH ( 2481 ) = 859 HASH ( 2482 ) = -2479 HASH ( 2483 ) = 919 HASH ( 2484 ) = -2481 HASH ( 2485 ) = 27 HASH ( 2486 ) = 2137 HASH ( 2487 ) = 28 HASH ( 2488 ) = 2219 HASH ( 2489 ) = 930 HASH ( 2490 ) = -2487 HASH ( 2491 ) = 1364 HASH ( 2492 ) = -2489 HASH ( 2493 ) = 1486 HASH ( 2494 ) = -2491 HASH ( 2495 ) = 1167 HASH ( 2497 ) = 878 HASH ( 2498 ) = -2495 HASH ( 2499 ) = 663 HASH ( 2500 ) = -2497 HASH ( 2501 ) = 15 HASH ( 2502 ) = 2499 HASH ( 2503 ) = 850 HASH ( 2504 ) = -2501 HASH ( 2505 ) = 663 HASH ( 2506 ) = -2503 HASH ( 2507 ) = 3 HASH ( 2509 ) = 673 HASH ( 2510 ) = -2507 HASH ( 2511 ) = 1174 HASH ( 2512 ) = -2509 HASH ( 2513 ) = 673 HASH ( 2514 ) = 2511 HASH ( 2515 ) = 1174 HASH ( 2516 ) = -2513 HASH ( 2517 ) = 3 HASH ( 2518 ) = 2515 HASH ( 2519 ) = 1175 HASH ( 2520 ) = -2517 HASH ( 2521 ) = 1174 HASH ( 2522 ) = -2519 HASH ( 2523 ) = 1175 HASH ( 2524 ) = 2521 HASH ( 2525 ) = 669 HASH ( 2526 ) = 2457 HASH ( 2527 ) = 1614 HASH ( 2528 ) = -2525 HASH ( 2529 ) = 1742 HASH ( 2530 ) = -2527 HASH ( 2531 ) = 1485 HASH ( 2532 ) = 2529 HASH ( 2533 ) = 2066 HASH ( 2534 ) = -2531 HASH ( 2535 ) = 1742 HASH ( 2536 ) = -2533 HASH ( 2537 ) = 14 HASH ( 2538 ) = 2483 HASH ( 2539 ) = 1173 HASH ( 2540 ) = -2537 HASH ( 2541 ) = 847 HASH ( 2542 ) = -2539 HASH ( 2543 ) = 919 HASH ( 2544 ) = -2541 HASH ( 2545 ) = 663 HASH ( 2547 ) = 669 HASH ( 2548 ) = -2545 HASH ( 2549 ) = 25 HASH ( 2550 ) = 2357 HASH ( 2551 ) = 929 HASH ( 2552 ) = -2549 HASH ( 2553 ) = 23 HASH ( 2555 ) = 1866 HASH ( 2556 ) = -2553 HASH ( 2557 ) = 28 HASH ( 2558 ) = 2311 HASH ( 2559 ) = 792 HASH ( 2560 ) = -2557 HASH ( 2561 ) = 23 HASH ( 2563 ) = 1810 HASH ( 2564 ) = -2561 HASH ( 2565 ) = 1047 HASH ( 2566 ) = 2563 HASH ( 2567 ) = 1810 HASH ( 2568 ) = -2565 HASH ( 2569 ) = 13 HASH ( 2570 ) = 2143 HASH ( 2571 ) = 1563 HASH ( 2572 ) = -2569 HASH ( 2573 ) = 27 HASH ( 2575 ) = 785 HASH ( 2576 ) = -2573 HASH ( 2577 ) = 1367 HASH ( 2579 ) = 920 HASH ( 2580 ) = -2577 HASH ( 2581 ) = 13 HASH ( 2583 ) = 1943 HASH ( 2584 ) = -2581 HASH ( 2585 ) = 923 HASH ( 2586 ) = 2543 HASH ( 2587 ) = 1874 HASH ( 2588 ) = -2585 HASH ( 2589 ) = 919 HASH ( 2590 ) = -2587 HASH ( 2591 ) = 1757 HASH ( 2593 ) = 1422 HASH ( 2595 ) = 1558 HASH ( 2596 ) = 2375 HASH ( 2597 ) = 1485 HASH ( 2598 ) = -2595 HASH ( 2599 ) = 1738 HASH ( 2600 ) = -2597 HASH ( 2601 ) = 29 HASH ( 2603 ) = 1103 HASH ( 2604 ) = -2601 HASH ( 2605 ) = 1180 HASH ( 2606 ) = -2603 HASH ( 2607 ) = 1485 HASH ( 2609 ) = 27 HASH ( 2611 ) = 1565 HASH ( 2612 ) = 2405 HASH ( 2613 ) = 1175 HASH ( 2614 ) = -2611 HASH ( 2615 ) = 28 HASH ( 2617 ) = 15 HASH ( 2618 ) = 2579 HASH ( 2619 ) = 665 HASH ( 2620 ) = 2131 HASH ( 2621 ) = 1883 HASH ( 2622 ) = -2619 HASH ( 2623 ) = 1365 HASH ( 2625 ) = 2066 HASH ( 2626 ) = -2623 HASH ( 2627 ) = 1821 HASH ( 2628 ) = -2625 HASH ( 2629 ) = 1354 HASH ( 2630 ) = -2627 HASH ( 2631 ) = 21 HASH ( 2632 ) = 2629 HASH ( 2633 ) = 1173 HASH ( 2634 ) = -2631 HASH ( 2635 ) = 2976 HASH ( 2636 ) = -2633 HASH ( 2637 ) = 1821 HASH ( 2638 ) = -2635 HASH ( 2639 ) = 1485 HASH ( 2640 ) = 7831 HASH ( 2641 ) = 14 HASH ( 2642 ) = 2249 HASH ( 2643 ) = 669 HASH ( 2644 ) = -2641 HASH ( 2645 ) = 1175 HASH ( 2646 ) = -2643 HASH ( 2647 ) = 1750 HASH ( 2648 ) = -2645 HASH ( 2649 ) = 1934 HASH ( 2650 ) = 2559 HASH ( 2651 ) = 1175 HASH ( 2652 ) = -2649 HASH ( 2653 ) = 1501 HASH ( 2654 ) = -2651 HASH ( 2655 ) = 792 HASH ( 2656 ) = -2653 HASH ( 2657 ) = 14 HASH ( 2658 ) = 2599 HASH ( 2659 ) = 1180 HASH ( 2660 ) = -2657 HASH ( 2661 ) = 661 HASH ( 2662 ) = 2567 HASH ( 2663 ) = 1047 HASH ( 2664 ) = -2661 HASH ( 2665 ) = 1756 HASH ( 2666 ) = 2293 HASH ( 2667 ) = 1358 HASH ( 2668 ) = -2665 HASH ( 2669 ) = 1485 HASH ( 2670 ) = -2667 HASH ( 2671 ) = 23 HASH ( 2673 ) = 917 HASH ( 2674 ) = -2671 HASH ( 2675 ) = 1181 HASH ( 2676 ) = -2673 HASH ( 2677 ) = 2075 HASH ( 2678 ) = -2675 HASH ( 2679 ) = 14 HASH ( 2680 ) = 2677 HASH ( 2681 ) = 1181 HASH ( 2682 ) = -2679 HASH ( 2683 ) = 14 HASH ( 2685 ) = 1173 HASH ( 2686 ) = -2683 HASH ( 2687 ) = 2065 HASH ( 2688 ) = -2685 HASH ( 2689 ) = 919 HASH ( 2690 ) = 2687 HASH ( 2691 ) = 1181 HASH ( 2692 ) = 2443 HASH ( 2693 ) = 21 HASH ( 2694 ) = 2195 HASH ( 2695 ) = 1930 HASH ( 2696 ) = -2693 HASH ( 2697 ) = 1757 HASH ( 2698 ) = -2695 HASH ( 2699 ) = 27 HASH ( 2701 ) = 27 HASH ( 2702 ) = 2419 HASH ( 2703 ) = 2062 HASH ( 2704 ) = -2701 HASH ( 2705 ) = 1368 HASH ( 2706 ) = -2703 HASH ( 2707 ) = 27 HASH ( 2708 ) = 2421 HASH ( 2709 ) = 1614 HASH ( 2710 ) = -2707 HASH ( 2711 ) = 788 HASH ( 2712 ) = 2413 HASH ( 2713 ) = 1368 HASH ( 2714 ) = -2711 HASH ( 2715 ) = 1943 HASH ( 2716 ) = -2713 HASH ( 2717 ) = 1181 HASH ( 2718 ) = 2715 HASH ( 2719 ) = 1614 HASH ( 2720 ) = 1995 HASH ( 2721 ) = 1934 HASH ( 2722 ) = 2621 HASH ( 2723 ) = 1180 HASH ( 2725 ) = 1873 HASH ( 2726 ) = -2723 HASH ( 2727 ) = 919 HASH ( 2728 ) = 2725 HASH ( 2729 ) = 23 HASH ( 2730 ) = 2555 HASH ( 2731 ) = 1294 HASH ( 2732 ) = -2729 HASH ( 2733 ) = 1488 HASH ( 2734 ) = 2447 HASH ( 2735 ) = 1746 HASH ( 2736 ) = -2733 HASH ( 2737 ) = 1821 HASH ( 2738 ) = -2735 HASH ( 2739 ) = 1561 HASH ( 2740 ) = 2737 HASH ( 2741 ) = 1821 HASH ( 2742 ) = -2739 HASH ( 2743 ) = 921 HASH ( 2744 ) = 2741 HASH ( 2745 ) = 14 HASH ( 2746 ) = 2477 HASH ( 2747 ) = 1563 HASH ( 2748 ) = -2745 HASH ( 2749 ) = 1617 HASH ( 2750 ) = -2747 HASH ( 2751 ) = 1418 HASH ( 2752 ) = -2749 HASH ( 2753 ) = 1751 HASH ( 2754 ) = 2535 HASH ( 2755 ) = 1886 HASH ( 2756 ) = -2753 HASH ( 2757 ) = 1742 HASH ( 2758 ) = -2755 HASH ( 2759 ) = 1422 HASH ( 2760 ) = 2757 HASH ( 2761 ) = 1822 HASH ( 2762 ) = -2759 HASH ( 2763 ) = 1742 HASH ( 2764 ) = -2761 HASH ( 2765 ) = 1373 HASH ( 2766 ) = 2763 HASH ( 2767 ) = 1822 HASH ( 2768 ) = -2765 HASH ( 2769 ) = 1742 HASH ( 2770 ) = -2767 HASH ( 2771 ) = 661 HASH ( 2772 ) = 2769 HASH ( 2773 ) = 1742 HASH ( 2774 ) = -2771 HASH ( 2775 ) = 653 HASH ( 2776 ) = 2773 HASH ( 2777 ) = 10 HASH ( 2778 ) = 2033 HASH ( 2779 ) = 28 HASH ( 2780 ) = 2469 HASH ( 2781 ) = 924 HASH ( 2782 ) = -2779 HASH ( 2783 ) = 1548 HASH ( 2784 ) = -2781 HASH ( 2785 ) = 1627 HASH ( 2786 ) = -2783 HASH ( 2787 ) = 14 HASH ( 2788 ) = 2785 HASH ( 2789 ) = 1947 HASH ( 2790 ) = -2787 HASH ( 2791 ) = 909 HASH ( 2792 ) = -2789 HASH ( 2793 ) = 1548 HASH ( 2794 ) = -2791 HASH ( 2795 ) = 1627 HASH ( 2796 ) = -2793 HASH ( 2797 ) = 911 HASH ( 2798 ) = 2795 HASH ( 2799 ) = 15 HASH ( 2800 ) = 2571 HASH ( 2801 ) = 2962 HASH ( 2802 ) = -2799 HASH ( 2803 ) = 1563 HASH ( 2804 ) = -2801 HASH ( 2805 ) = 1949 HASH ( 2806 ) = 2113 HASH ( 2807 ) = 1881 HASH ( 2808 ) = -2805 HASH ( 2809 ) = 14 HASH ( 2810 ) = 2387 HASH ( 2811 ) = 1180 HASH ( 2812 ) = -2809 HASH ( 2813 ) = 1760 HASH ( 2814 ) = -2811 HASH ( 2815 ) = 1102 HASH ( 2816 ) = -2813 HASH ( 2817 ) = 1167 HASH ( 2818 ) = 2803 HASH ( 2819 ) = 1563 HASH ( 2820 ) = -2817 HASH ( 2821 ) = 29 HASH ( 2822 ) = 2029 HASH ( 2823 ) = 1496 HASH ( 2824 ) = -2821 HASH ( 2825 ) = 1486 HASH ( 2826 ) = 2823 HASH ( 2827 ) = 32 HASH ( 2829 ) = 13 HASH ( 2830 ) = 2279 HASH ( 2831 ) = 1175 HASH ( 2832 ) = 7821 HASH ( 2833 ) = 788 HASH ( 2834 ) = 2705 HASH ( 2835 ) = 1365 HASH ( 2837 ) = 29 HASH ( 2838 ) = 2613 HASH ( 2839 ) = 1566 HASH ( 2840 ) = -2837 HASH ( 2841 ) = 1175 HASH ( 2842 ) = -2839 HASH ( 2843 ) = 27 HASH ( 2844 ) = 2841 HASH ( 2845 ) = 1038 HASH ( 2846 ) = -2843 HASH ( 2847 ) = 1870 HASH ( 2848 ) = -2845 HASH ( 2849 ) = 1175 HASH ( 2850 ) = -2847 HASH ( 2851 ) = 29 HASH ( 2852 ) = 2849 HASH ( 2853 ) = 1630 HASH ( 2854 ) = -2851 HASH ( 2855 ) = 1175 HASH ( 2856 ) = -2853 HASH ( 2857 ) = 27 HASH ( 2858 ) = 2855 HASH ( 2859 ) = 1486 HASH ( 2860 ) = -2857 HASH ( 2861 ) = 1175 HASH ( 2862 ) = -2859 HASH ( 2863 ) = 919 HASH ( 2864 ) = 7973 HASH ( 2865 ) = 845 HASH ( 2866 ) = -2863 HASH ( 2867 ) = 1559 HASH ( 2868 ) = 2237 HASH ( 2869 ) = 1874 HASH ( 2870 ) = -2867 HASH ( 2871 ) = 1484 HASH ( 2872 ) = -2869 HASH ( 2873 ) = 27 HASH ( 2875 ) = 14 HASH ( 2877 ) = 1372 HASH ( 2878 ) = -2875 HASH ( 2879 ) = 661 HASH ( 2880 ) = 2551 HASH ( 2881 ) = 1751 HASH ( 2882 ) = -2879 HASH ( 2883 ) = 1870 HASH ( 2884 ) = -2881 HASH ( 2885 ) = 929 HASH ( 2886 ) = -2883 HASH ( 2887 ) = 1181 HASH ( 2888 ) = 2885 HASH ( 2889 ) = 652 HASH ( 2891 ) = 13 HASH ( 2892 ) = 2589 HASH ( 2893 ) = 1806 HASH ( 2895 ) = 1880 HASH ( 2897 ) = 2071 HASH ( 2898 ) = -2895 HASH ( 2899 ) = 856 HASH ( 2900 ) = -2897 HASH ( 2901 ) = 31 HASH ( 2902 ) = 2097 HASH ( 2903 ) = 850 HASH ( 2904 ) = -2901 HASH ( 2905 ) = 22 HASH ( 2906 ) = 2903 HASH ( 2907 ) = 785 HASH ( 2908 ) = 2393 HASH ( 2909 ) = 1866 HASH ( 2910 ) = -2907 HASH ( 2911 ) = 14 HASH ( 2912 ) = 2655 HASH ( 2913 ) = 1175 HASH ( 2914 ) = -2911 HASH ( 2915 ) = 1949 HASH ( 2916 ) = -2913 HASH ( 2917 ) = 1752 HASH ( 2918 ) = -2915 HASH ( 2919 ) = 792 HASH ( 2920 ) = -2917 HASH ( 2921 ) = 1634 HASH ( 2922 ) = 2919 HASH ( 2923 ) = 792 HASH ( 2924 ) = -2921 HASH ( 2925 ) = 29 HASH ( 2926 ) = 2923 HASH ( 2927 ) = 1500 HASH ( 2928 ) = -2925 HASH ( 2929 ) = 667 HASH ( 2930 ) = 2575 HASH ( 2931 ) = 785 HASH ( 2932 ) = -2929 HASH ( 2933 ) = 14 HASH ( 2934 ) = 2369 HASH ( 2935 ) = 1564 HASH ( 2936 ) = -2933 HASH ( 2937 ) = 789 HASH ( 2938 ) = -2935 HASH ( 2939 ) = 28 HASH ( 2940 ) = 2937 HASH ( 2941 ) = 668 HASH ( 2942 ) = -2939 HASH ( 2943 ) = 27 HASH ( 2944 ) = 2931 HASH ( 2945 ) = 1870 HASH ( 2946 ) = -2943 HASH ( 2947 ) = 652 HASH ( 2948 ) = -2945 HASH ( 2949 ) = 667 HASH ( 2950 ) = -2947 HASH ( 2951 ) = 1806 HASH ( 2953 ) = 778 HASH ( 2954 ) = -2951 HASH ( 2955 ) = 1365 HASH ( 2956 ) = 2953 HASH ( 2957 ) = 1557 HASH ( 2958 ) = 2201 HASH ( 2959 ) = 728 HASH ( 2960 ) = -2957 HASH ( 2961 ) = 23 HASH ( 2962 ) = 2959 HASH ( 2963 ) = 906 HASH ( 2964 ) = -2961 HASH ( 2965 ) = 1557 HASH ( 2966 ) = -2963 HASH ( 2967 ) = 20 HASH ( 2969 ) = 1548 HASH ( 2970 ) = -2967 HASH ( 2971 ) = 23 HASH ( 2973 ) = 1042 HASH ( 2974 ) = -2971 HASH ( 2975 ) = 1551 HASH ( 2977 ) = 2222 HASH ( 2978 ) = -2975 HASH ( 2979 ) = 1738 HASH ( 2980 ) = -2977 HASH ( 2981 ) = 667 HASH ( 2982 ) = -2979 HASH ( 2983 ) = 785 HASH ( 2984 ) = 2547 HASH ( 2985 ) = 1866 HASH ( 2986 ) = -2983 HASH ( 2987 ) = 15 HASH ( 2988 ) = 2981 HASH ( 2989 ) = 2200 HASH ( 2990 ) = -2987 HASH ( 2991 ) = 1738 HASH ( 2992 ) = -2989 HASH ( 2993 ) = 667 HASH ( 2994 ) = -2991 HASH ( 2995 ) = 34 HASH ( 2996 ) = 2993 HASH ( 2997 ) = 1738 HASH ( 2998 ) = -2995 HASH ( 2999 ) = 13 HASH ( 3000 ) = 2505 HASH ( 7719 ) = 1742 HASH ( 7721 ) = 1561 HASH ( 7723 ) = 3841 HASH ( 7724 ) = -7721 HASH ( 7725 ) = 843 HASH ( 7726 ) = -7723 HASH ( 7727 ) = 1550 HASH ( 7728 ) = 7725 HASH ( 7729 ) = 3841 HASH ( 7730 ) = -7727 HASH ( 7731 ) = 843 HASH ( 7732 ) = -7729 HASH ( 7733 ) = 1569 HASH ( 7735 ) = 3841 HASH ( 7736 ) = -7733 HASH ( 7737 ) = 781 HASH ( 7738 ) = -7735 HASH ( 7739 ) = 1804 HASH ( 7740 ) = -7737 HASH ( 7741 ) = 1569 HASH ( 7742 ) = 7739 HASH ( 7743 ) = 3841 HASH ( 7744 ) = -7741 HASH ( 7745 ) = 1485 HASH ( 7746 ) = -7743 HASH ( 7747 ) = 1804 HASH ( 7748 ) = -7745 HASH ( 7749 ) = 1551 HASH ( 7750 ) = 7731 HASH ( 7751 ) = 3841 HASH ( 7752 ) = -7749 HASH ( 7753 ) = 843 HASH ( 7754 ) = -7751 HASH ( 7755 ) = 1569 HASH ( 7756 ) = 7753 HASH ( 7757 ) = 3841 HASH ( 7758 ) = -7755 HASH ( 7759 ) = 843 HASH ( 7760 ) = -7757 HASH ( 7761 ) = 1569 HASH ( 7762 ) = 7747 HASH ( 7763 ) = 1 HASH ( 7764 ) = -7761 HASH ( 7765 ) = 1485 HASH ( 7766 ) = -7763 HASH ( 7767 ) = 1804 HASH ( 7768 ) = -7765 HASH ( 7769 ) = 1569 HASH ( 7770 ) = 7767 HASH ( 7771 ) = 1 HASH ( 7772 ) = -7769 HASH ( 7773 ) = 781 HASH ( 7774 ) = -7771 HASH ( 7775 ) = 1804 HASH ( 7776 ) = -7773 HASH ( 7777 ) = 1804 HASH ( 7778 ) = 7775 HASH ( 7779 ) = 33 HASH ( 7780 ) = 7777 HASH ( 7781 ) = 1537 HASH ( 7782 ) = -7779 HASH ( 7783 ) = 781 HASH ( 7784 ) = -7781 HASH ( 7785 ) = 1804 HASH ( 7786 ) = -7783 HASH ( 7787 ) = 1551 HASH ( 7788 ) = 7759 HASH ( 7789 ) = 1 HASH ( 7790 ) = -7787 HASH ( 7791 ) = 843 HASH ( 7792 ) = -7789 HASH ( 7793 ) = 1301 HASH ( 7795 ) = 906 HASH ( 7796 ) = -7793 HASH ( 7797 ) = 731 HASH ( 7798 ) = -7795 HASH ( 7799 ) = 14 HASH ( 7801 ) = 1563 HASH ( 7802 ) = -7799 HASH ( 7803 ) = 1821 HASH ( 7804 ) = -7801 HASH ( 7805 ) = 1998 HASH ( 7806 ) = 7719 HASH ( 7807 ) = 1432 HASH ( 7808 ) = -7805 HASH ( 7809 ) = 1742 HASH ( 7810 ) = -7807 HASH ( 7811 ) = 14 HASH ( 7813 ) = 667 HASH ( 7814 ) = -7811 HASH ( 7815 ) = 789 HASH ( 7816 ) = -7813 HASH ( 7817 ) = 846 HASH ( 7818 ) = -7815 HASH ( 7819 ) = 1748 HASH ( 7821 ) = 1418 HASH ( 7822 ) = -7819 HASH ( 7823 ) = 1757 HASH ( 7824 ) = 7809 HASH ( 7825 ) = 1624 HASH ( 7826 ) = -7823 HASH ( 7827 ) = 1742 HASH ( 7828 ) = -7825 HASH ( 7829 ) = 1873 HASH ( 7831 ) = 2066 HASH ( 7832 ) = -7829 HASH ( 7833 ) = 1569 HASH ( 7834 ) = 7791 HASH ( 7835 ) = 1 HASH ( 7836 ) = -7833 HASH ( 7837 ) = 1047 HASH ( 7839 ) = 1810 HASH ( 7840 ) = -7837 HASH ( 7841 ) = 1173 HASH ( 7843 ) = 1994 HASH ( 7844 ) = -7841 HASH ( 7845 ) = 1418 HASH ( 7846 ) = -7843 HASH ( 7847 ) = 1422 HASH ( 7848 ) = -7845 HASH ( 7849 ) = 1501 HASH ( 7851 ) = 1998 HASH ( 7852 ) = -7849 HASH ( 7853 ) = 910 HASH ( 7854 ) = -7851 HASH ( 7855 ) = 1948 HASH ( 7856 ) = -7853 HASH ( 7857 ) = 1432 HASH ( 7858 ) = -7855 HASH ( 7859 ) = 1501 HASH ( 7861 ) = 1998 HASH ( 7862 ) = -7859 HASH ( 7863 ) = 1870 HASH ( 7864 ) = -7861 HASH ( 7865 ) = 1806 HASH ( 7866 ) = -7863 HASH ( 7867 ) = 1357 HASH ( 7868 ) = 7865 HASH ( 7869 ) = 1112 HASH ( 7870 ) = -7867 HASH ( 7871 ) = 924 HASH ( 7872 ) = -7869 HASH ( 7873 ) = 1115 HASH ( 7874 ) = -7871 HASH ( 7875 ) = 1885 HASH ( 7876 ) = -7873 HASH ( 7877 ) = 1806 HASH ( 7878 ) = -7875 HASH ( 7879 ) = 32 HASH ( 7880 ) = 7877 HASH ( 7881 ) = 856 HASH ( 7882 ) = -7879 HASH ( 7883 ) = 1175 HASH ( 7884 ) = -7881 HASH ( 7885 ) = 1888 HASH ( 7886 ) = -7883 HASH ( 7887 ) = 1806 HASH ( 7888 ) = -7885 HASH ( 7889 ) = 909 HASH ( 7890 ) = 7887 HASH ( 7891 ) = 1614 HASH ( 7892 ) = -7889 HASH ( 7893 ) = 1884 HASH ( 7894 ) = -7891 HASH ( 7895 ) = 1806 HASH ( 7896 ) = -7893 HASH ( 7897 ) = 29 HASH ( 7899 ) = 919 HASH ( 7900 ) = -7897 HASH ( 7901 ) = 918 HASH ( 7902 ) = -7899 HASH ( 7903 ) = 1567 HASH ( 7904 ) = -7901 HASH ( 7905 ) = 1878 HASH ( 7906 ) = -7903 HASH ( 7907 ) = 1038 HASH ( 7908 ) = -7905 HASH ( 7909 ) = 27 HASH ( 7910 ) = 7817 HASH ( 7911 ) = 1816 HASH ( 7912 ) = -7909 HASH ( 7913 ) = 1947 HASH ( 7914 ) = -7911 HASH ( 7915 ) = 972 HASH ( 7916 ) = -7913 HASH ( 7917 ) = 846 HASH ( 7918 ) = -7915 HASH ( 7919 ) = 1500 HASH ( 7920 ) = 7895 HASH ( 7921 ) = 1042 HASH ( 7922 ) = -7919 HASH ( 7923 ) = 667 HASH ( 7924 ) = -7921 HASH ( 7925 ) = 1878 HASH ( 7926 ) = -7923 HASH ( 7927 ) = 1806 HASH ( 7928 ) = -7925 HASH ( 7929 ) = 1806 HASH ( 7930 ) = 7907 HASH ( 7931 ) = 906 HASH ( 7932 ) = -7929 HASH ( 7933 ) = 917 HASH ( 7934 ) = -7931 HASH ( 7935 ) = 1883 HASH ( 7936 ) = -7933 HASH ( 7937 ) = 1038 HASH ( 7938 ) = -7935 HASH ( 7939 ) = 1820 HASH ( 7940 ) = 7937 HASH ( 7941 ) = 1742 HASH ( 7942 ) = -7939 HASH ( 7943 ) = 1881 HASH ( 7944 ) = -7941 HASH ( 7945 ) = 1038 HASH ( 7946 ) = -7943 HASH ( 7947 ) = 23 HASH ( 7948 ) = 7927 HASH ( 7949 ) = 1176 HASH ( 7950 ) = -7947 HASH ( 7951 ) = 1181 HASH ( 7952 ) = -7949 HASH ( 7953 ) = 1564 HASH ( 7954 ) = -7951 HASH ( 7955 ) = 1881 HASH ( 7956 ) = -7953 HASH ( 7957 ) = 1806 HASH ( 7958 ) = -7955 HASH ( 7959 ) = 1948 HASH ( 7960 ) = 7803 HASH ( 7961 ) = 669 HASH ( 7962 ) = -7959 HASH ( 7963 ) = 1821 HASH ( 7964 ) = -7961 HASH ( 7965 ) = 1563 HASH ( 7967 ) = 1756 HASH ( 7968 ) = -7965 HASH ( 7969 ) = 798 HASH ( 7970 ) = -7967 HASH ( 7971 ) = 846 HASH ( 7972 ) = -7969 HASH ( 7973 ) = 1106 HASH ( 7974 ) = -7971 HASH ( 7975 ) = 1563 HASH ( 7977 ) = 1756 HASH ( 7978 ) = -7975 HASH ( 7979 ) = 798 HASH ( 7980 ) = -7977 HASH ( 7981 ) = 1568 HASH ( 7982 ) = -7979 HASH ( 7983 ) = 1181 HASH ( 7985 ) = 1175 HASH ( 7986 ) = -7983 HASH ( 7987 ) = 14 HASH ( 7988 ) = 7857 HASH ( 7989 ) = 1948 HASH ( 7990 ) = -7987 HASH ( 7991 ) = 1432 HASH ( 7992 ) = -7989 HASH ( 7993 ) = 17 HASH ( 7995 ) = 665 HASH ( 7996 ) = -7993 HASH ( 7997 ) = 1051 HASH ( 7998 ) = -7995 HASH ( 7999 ) = 1952 HASH ( 8000 ) = -7997 COM(1) = 95 KEYS ( 1 ) = 168 KEYS ( 2 ) = 81 KEYS ( 3 ) = 872 KEYS ( 4 ) = 95 KEYS ( 5 ) = 217 KEYS ( 6 ) = 97 KEYS ( 7 ) = 152 KEYS ( 8 ) = 115 KEYS ( 9 ) = 440 KEYS ( 10 ) = 179 KEYS ( 11 ) = 696 KEYS ( 12 ) = 195 KEYS ( 13 ) = 16 KEYS ( 14 ) = 317 KEYS ( 15 ) = 409 KEYS ( 16 ) = 333 KEYS ( 17 ) = 408 KEYS ( 18 ) = 343 KEYS ( 19 ) = 80 KEYS ( 20 ) = 579 KEYS ( 21 ) = 224 KEYS ( 22 ) = 691 KEYS ( 23 ) = 56 KEYS ( 24 ) = 719 KEYS ( 25 ) = 768 KEYS ( 26 ) = 819 KEYS ( 27 ) = 407 KEYS ( 28 ) = 847 KEYS ( 29 ) = 192 KEYS ( 30 ) = 955 KEYS ( 31 ) = 8016 KEYS ( 32 ) = 975 KEYS ( 33 ) = 520 KEYS ( 34 ) = 1081 KEYS ( 35 ) = 544 KEYS ( 36 ) = 1109 KEYS ( 37 ) = 784 KEYS ( 38 ) = 1113 KEYS ( 39 ) = 761 KEYS ( 40 ) = 1115 KEYS ( 41 ) = 184 KEYS ( 42 ) = 1237 KEYS ( 43 ) = 400 KEYS ( 44 ) = 1303 KEYS ( 45 ) = 536 KEYS ( 46 ) = 1327 KEYS ( 47 ) = 144 KEYS ( 48 ) = 1335 KEYS ( 49 ) = 88 KEYS ( 50 ) = 1339 KEYS ( 51 ) = 608 KEYS ( 52 ) = 1371 KEYS ( 53 ) = 664 KEYS ( 54 ) = 1437 KEYS ( 55 ) = 176 KEYS ( 56 ) = 1451 KEYS ( 57 ) = 512 KEYS ( 58 ) = 1457 KEYS ( 59 ) = 208 KEYS ( 60 ) = 1459 KEYS ( 61 ) = 64 KEYS ( 62 ) = 1467 KEYS ( 63 ) = 72 KEYS ( 64 ) = 1557 KEYS ( 65 ) = 513 KEYS ( 66 ) = 1571 KEYS ( 67 ) = 688 KEYS ( 68 ) = 1579 KEYS ( 69 ) = 704 KEYS ( 70 ) = 1585 KEYS ( 71 ) = 792 KEYS ( 72 ) = 1595 KEYS ( 73 ) = 448 KEYS ( 74 ) = 1603 KEYS ( 75 ) = 816 KEYS ( 76 ) = 1625 KEYS ( 77 ) = 40 KEYS ( 78 ) = 1693 KEYS ( 79 ) = 712 KEYS ( 80 ) = 1701 KEYS ( 81 ) = 112 KEYS ( 82 ) = 1713 KEYS ( 83 ) = 824 KEYS ( 84 ) = 1715 KEYS ( 85 ) = 216 KEYS ( 86 ) = 1723 KEYS ( 87 ) = 488 KEYS ( 88 ) = 1729 KEYS ( 89 ) = 832 KEYS ( 90 ) = 1743 KEYS ( 91 ) = 8009 KEYS ( 92 ) = 1749 KEYS ( 93 ) = 840 KEYS ( 94 ) = 1763 KEYS ( 95 ) = 496 KEYS ( 96 ) = 1835 KEYS ( 97 ) = 640 KEYS ( 98 ) = 1839 KEYS ( 99 ) = 728 KEYS ( 100 ) = 1849 KEYS ( 101 ) = 120 KEYS ( 102 ) = 1859 KEYS ( 103 ) = 616 KEYS ( 104 ) = 1869 KEYS ( 105 ) = 633 KEYS ( 106 ) = 1873 KEYS ( 107 ) = 8008 KEYS ( 108 ) = 1941 KEYS ( 109 ) = 504 KEYS ( 110 ) = 1957 KEYS ( 111 ) = 136 KEYS ( 112 ) = 1969 KEYS ( 113 ) = 848 KEYS ( 114 ) = 1971 KEYS ( 115 ) = 744 KEYS ( 116 ) = 1981 KEYS ( 117 ) = 856 KEYS ( 118 ) = 1987 KEYS ( 119 ) = 456 KEYS ( 120 ) = 2387 KEYS ( 121 ) = 776 KEYS ( 122 ) = 2499 KEYS ( 123 ) = 776 KEYS ( 124 ) = 2505 KEYS ( 125 ) = 121 KEYS ( 126 ) = 2529 KEYS ( 127 ) = 464 KEYS ( 128 ) = 2567 KEYS ( 129 ) = 224 KEYS ( 130 ) = 2629 KEYS ( 131 ) = 160 KEYS ( 132 ) = 2677 KEYS ( 133 ) = 24 KEYS ( 134 ) = 2687 KEYS ( 135 ) = 632 KEYS ( 136 ) = 2705 KEYS ( 137 ) = 200 KEYS ( 138 ) = 2715 KEYS ( 139 ) = 592 KEYS ( 140 ) = 2725 KEYS ( 141 ) = 517 KEYS ( 142 ) = 2737 KEYS ( 143 ) = 104 KEYS ( 144 ) = 2741 KEYS ( 145 ) = 32 KEYS ( 146 ) = 2757 KEYS ( 147 ) = 96 KEYS ( 148 ) = 2763 KEYS ( 149 ) = 516 KEYS ( 150 ) = 2773 KEYS ( 151 ) = 625 KEYS ( 152 ) = 2785 KEYS ( 153 ) = 808 KEYS ( 154 ) = 2795 KEYS ( 155 ) = 777 KEYS ( 156 ) = 2803 KEYS ( 157 ) = 777 KEYS ( 158 ) = 2819 KEYS ( 159 ) = 528 KEYS ( 160 ) = 2823 KEYS ( 161 ) = 762 KEYS ( 162 ) = 2841 KEYS ( 163 ) = 514 KEYS ( 164 ) = 2849 KEYS ( 165 ) = 760 KEYS ( 166 ) = 2855 KEYS ( 167 ) = 48 KEYS ( 168 ) = 2861 KEYS ( 169 ) = 736 KEYS ( 170 ) = 2885 KEYS ( 171 ) = 720 KEYS ( 172 ) = 2899 KEYS ( 173 ) = 406 KEYS ( 174 ) = 2903 KEYS ( 175 ) = 624 KEYS ( 176 ) = 2919 KEYS ( 177 ) = 552 KEYS ( 178 ) = 2923 KEYS ( 179 ) = 513 KEYS ( 180 ) = 2931 KEYS ( 181 ) = 697 KEYS ( 182 ) = 2937 KEYS ( 183 ) = 128 KEYS ( 184 ) = 2953 KEYS ( 185 ) = 512 KEYS ( 186 ) = 2959 KEYS ( 187 ) = 648 KEYS ( 188 ) = 2981 KEYS ( 189 ) = 648 KEYS ( 190 ) = 2993 RETURN END