sources/pass1/names/search.for

   1       subroutine init(hash)\r
   2       implicit integer*2 (a-z)\r
   3       dimension hash(8000)\r
   4       HASH (    59 ) =  1038\r
   5       HASH (    60 ) = -2343\r
   6       HASH (    81 ) =  2058\r
   7       HASH (    82 ) = -2691\r
   8       HASH (    85 ) =  1051\r
   9       HASH (    86 ) = -2271\r
  10       HASH (    95 ) =  2065\r
  11       HASH (    96 ) = -2689\r
  12       HASH (    97 ) =  2066\r
  13       HASH (    98 ) = -2639\r
  14       HASH (   115 ) =  2075\r
  15       HASH (   116 ) = -2681\r
  16       HASH (   179 ) =  1098\r
  17       HASH (   180 ) = -2669\r
  18       HASH (   189 ) =  1103\r
  19       HASH (   190 ) = -2285\r
  20       HASH (   195 ) =  1106\r
  21       HASH (   196 ) = -2865\r
  22       HASH (   209 ) =  1113\r
  23       HASH (   210 ) = -2289\r
  24       HASH (   237 ) =  2136\r
  25       HASH (   238 ) = -2485\r
  26       HASH (   307 ) =  1162\r
  27       HASH (   308 ) = -2607\r
  28       HASH (   317 ) =  1167\r
  29       HASH (   331 ) =  1174\r
  30       HASH (   332 ) = -2523\r
  31       HASH (   333 ) =  1175\r
  32       HASH (   334 ) =  2861\r
  33       HASH (   335 ) =  1176\r
  34       HASH (   336 ) = -2609\r
  35       HASH (   343 ) =  1180\r
  36       HASH (   344 ) =  2605\r
  37       HASH (   579 ) =  1298\r
  38       HASH (   580 ) = -2835\r
  39       HASH (   691 ) =  1354\r
  40       HASH (   692 ) = -2637\r
  41       HASH (   717 ) =  1367\r
  42       HASH (   719 ) =  1368\r
  43       HASH (   720 ) = -2833\r
  44       HASH (   819 ) =  1418\r
  45       HASH (   820 ) = -2831\r
  46       HASH (   827 ) =  1422\r
  47       HASH (   828 ) = -2327\r
  48       HASH (   835 ) =  1426\r
  49       HASH (   836 ) = -2395\r
  50       HASH (   847 ) =  1432\r
  51       HASH (   848 ) = -2829\r
  52       HASH (   955 ) =  1486\r
  53       HASH (   956 ) = -2827\r
  54       HASH (   975 ) =  1496\r
  55       HASH (   976 ) = -2825\r
  56       HASH (   987 ) =  1502\r
  57       HASH (   988 ) = -1989\r
  58       HASH (  1081 ) =  1549\r
  59       HASH (  1105 ) =  1561\r
  60       HASH (  1106 ) = -2363\r
  61       HASH (  1109 ) =  1563\r
  62       HASH (  1110 ) =  2819\r
  63       HASH (  1113 ) =  1565\r
  64       HASH (  1114 ) = -2815\r
  65       HASH (  1115 ) =  1566\r
  66       HASH (  1116 ) = -2807\r
  67       HASH (  1203 ) =  1610\r
  68       HASH (  1204 ) = -2493\r
  69       HASH (  1231 ) =  1624\r
  70       HASH (  1232 ) = -2241\r
  71       HASH (  1237 ) =  1627\r
  72       HASH (  1238 ) = -2797\r
  73       HASH (  1243 ) =  1630\r
  74       HASH (  1244 ) = -2341\r
  75       HASH (  1303 ) =   651\r
  76       HASH (  1304 ) = -2615\r
  77       HASH (  1305 ) =   652\r
  78       HASH (  1306 ) = -2305\r
  79       HASH (  1325 ) =   662\r
  80       HASH (  1326 ) = -2381\r
  81       HASH (  1327 ) =   663\r
  82       HASH (  1328 ) = -2999\r
  83       HASH (  1335 ) =   667\r
  84       HASH (  1336 ) = -2997\r
  85       HASH (  1339 ) =   669\r
  86       HASH (  1340 ) = -2985\r
  87       HASH (  1371 ) =  1694\r
  88       HASH (  1372 ) = -2777\r
  89       HASH (  1437 ) =   718\r
  90       HASH (  1438 ) = -2973\r
  91       HASH (  1451 ) =   725\r
  92       HASH (  1452 ) = -2969\r
  93       HASH (  1457 ) =   728\r
  94       HASH (  1458 ) = -2965\r
  95       HASH (  1459 ) =  1738\r
  96       HASH (  1460 ) = -2659\r
  97       HASH (  1463 ) =   731\r
  98       HASH (  1464 ) = -2267\r
  99       HASH (  1467 ) =  1742\r
 100       HASH (  1468 ) = -2775\r
 101       HASH (  1487 ) =  1752\r
 102       HASH (  1488 ) = -2583\r
 103       HASH (  1557 ) =   778\r
 104       HASH (  1558 ) = -2955\r
 105       HASH (  1571 ) =   785\r
 106       HASH (  1572 ) = -2949\r
 107       HASH (  1573 ) =   786\r
 108       HASH (  1574 ) = -2103\r
 109       HASH (  1579 ) =   789\r
 110       HASH (  1580 ) = -2941\r
 111       HASH (  1585 ) =   792\r
 112       HASH (  1586 ) = -2927\r
 113       HASH (  1591 ) =  1804\r
 114       HASH (  1592 ) = -2189\r
 115       HASH (  1595 ) =  1806\r
 116       HASH (  1596 ) = -2751\r
 117       HASH (  1603 ) =  1810\r
 118       HASH (  1604 ) = -2663\r
 119       HASH (  1609 ) =  1813\r
 120       HASH (  1610 ) = -2463\r
 121       HASH (  1619 ) =  1818\r
 122       HASH (  1620 ) = -2591\r
 123       HASH (  1625 ) =  1821\r
 124       HASH (  1626 ) = -2743\r
 125       HASH (  1635 ) =  1826\r
 126       HASH (  1636 ) = -2003\r
 127       HASH (  1685 ) =   842\r
 128       HASH (  1686 ) = -2349\r
 129       HASH (  1693 ) =   846\r
 130       HASH (  1694 ) = -2909\r
 131       HASH (  1701 ) =   850\r
 132       HASH (  1702 ) = -2905\r
 133       HASH (  1713 ) =   856\r
 134       HASH (  1714 ) =  2899\r
 135       HASH (  1715 ) =  1866\r
 136       HASH (  1716 ) = -2731\r
 137       HASH (  1719 ) =   859\r
 138       HASH (  1720 ) = -2283\r
 139       HASH (  1723 ) =  1870\r
 140       HASH (  1724 ) = -2647\r
 141       HASH (  1729 ) =  1873\r
 142       HASH (  1730 ) = -2727\r
 143       HASH (  1731 ) =  1874\r
 144       HASH (  1732 ) = -2593\r
 145       HASH (  1743 ) =  1880\r
 146       HASH (  1749 ) =  1883\r
 147       HASH (  1750 ) = -2721\r
 148       HASH (  1751 ) =  1884\r
 149       HASH (  1752 ) =  2425\r
 150       HASH (  1763 ) =  1890\r
 151       HASH (  1764 ) = -2719\r
 152       HASH (  1829 ) =  1367\r
 153       HASH (  1830 ) =  2253\r
 154       HASH (  1831 ) =   653\r
 155       HASH (  1832 ) = -1829\r
 156       HASH (  1833 ) =  1742\r
 157       HASH (  1834 ) = -1831\r
 158       HASH (  1835 ) =   917\r
 159       HASH (  1836 ) = -2893\r
 160       HASH (  1837 ) =   918\r
 161       HASH (  1838 ) = -2399\r
 162       HASH (  1839 ) =   919\r
 163       HASH (  1840 ) = -2891\r
 164       HASH (  1841 ) =   920\r
 165       HASH (  1842 ) = -2617\r
 166       HASH (  1849 ) =   924\r
 167       HASH (  1850 ) = -2889\r
 168       HASH (  1859 ) =   929\r
 169       HASH (  1860 ) = -2887\r
 170       HASH (  1869 ) =  1943\r
 171       HASH (  1870 ) = -2717\r
 172       HASH (  1873 ) =  1945\r
 173       HASH (  1874 ) = -2709\r
 174       HASH (  1941 ) =   970\r
 175       HASH (  1942 ) = -2877\r
 176       HASH (  1957 ) =   978\r
 177       HASH (  1958 ) =  2339\r
 178       HASH (  1969 ) =   984\r
 179       HASH (  1970 ) = -2873\r
 180       HASH (  1971 ) =  1994\r
 181       HASH (  1972 ) = -2699\r
 182       HASH (  1981 ) =   990\r
 183       HASH (  1982 ) = -2871\r
 184       HASH (  1987 ) =  2002\r
 185       HASH (  1988 ) = -2697\r
 186       HASH (  1989 ) =  1422\r
 187       HASH (  1990 ) = -1991\r
 188       HASH (  1991 ) =  1755\r
 189       HASH (  1992 ) = -1993\r
 190       HASH (  1993 ) =  1563\r
 191       HASH (  1995 ) =  1890\r
 192       HASH (  1996 ) = -1997\r
 193       HASH (  1997 ) =  1614\r
 194       HASH (  1998 ) = -1999\r
 195       HASH (  1999 ) =  1755\r
 196       HASH (  2000 ) = -2001\r
 197       HASH (  2001 ) =  1563\r
 198       HASH (  2003 ) =  1806\r
 199       HASH (  2004 ) = -2005\r
 200       HASH (  2005 ) =  1755\r
 201       HASH (  2006 ) = -2007\r
 202       HASH (  2007 ) =  1563\r
 203       HASH (  2017 ) =  1559\r
 204       HASH (  2019 ) =  1874\r
 205       HASH (  2020 ) = -2017\r
 206       HASH (  2021 ) =  1810\r
 207       HASH (  2022 ) = -2019\r
 208       HASH (  2023 ) =  1624\r
 209       HASH (  2024 ) = -2021\r
 210       HASH (  2025 ) =  1741\r
 211       HASH (  2027 ) =   778\r
 212       HASH (  2028 ) = -2025\r
 213       HASH (  2029 ) =  1496\r
 214       HASH (  2030 ) = -2027\r
 215       HASH (  2031 ) =  1181\r
 216       HASH (  2033 ) =  1694\r
 217       HASH (  2034 ) = -2031\r
 218       HASH (  2035 ) =    14\r
 219       HASH (  2037 ) =   725\r
 220       HASH (  2038 ) = -2035\r
 221       HASH (  2039 ) =  1802\r
 222       HASH (  2040 ) = -2037\r
 223       HASH (  2041 ) =   850\r
 224       HASH (  2042 ) = -2039\r
 225       HASH (  2043 ) =  1358\r
 226       HASH (  2045 ) =   651\r
 227       HASH (  2046 ) = -2043\r
 228       HASH (  2047 ) =   919\r
 229       HASH (  2048 ) = -2045\r
 230       HASH (  2049 ) =  1629\r
 231       HASH (  2051 ) =   782\r
 232       HASH (  2052 ) = -2049\r
 233       HASH (  2053 ) =   652\r
 234       HASH (  2054 ) = -2051\r
 235       HASH (  2055 ) =  2254\r
 236       HASH (  2057 ) =  1810\r
 237       HASH (  2058 ) = -2055\r
 238       HASH (  2059 ) =   661\r
 239       HASH (  2060 ) = -2057\r
 240       HASH (  2061 ) =  1742\r
 241       HASH (  2062 ) = -2059\r
 242       HASH (  2063 ) =    14\r
 243       HASH (  2065 ) =  1187\r
 244       HASH (  2066 ) = -2063\r
 245       HASH (  2067 ) =  1884\r
 246       HASH (  2068 ) = -2065\r
 247       HASH (  2069 ) =  1175\r
 248       HASH (  2070 ) = -2067\r
 249       HASH (  2071 ) =   908\r
 250       HASH (  2073 ) =  1883\r
 251       HASH (  2074 ) = -2071\r
 252       HASH (  2075 ) =  1630\r
 253       HASH (  2076 ) = -2073\r
 254       HASH (  2077 ) =   908\r
 255       HASH (  2079 ) =  1883\r
 256       HASH (  2080 ) = -2077\r
 257       HASH (  2081 ) =  1038\r
 258       HASH (  2082 ) = -2079\r
 259       HASH (  2083 ) =  1492\r
 260       HASH (  2085 ) =  1362\r
 261       HASH (  2086 ) = -2083\r
 262       HASH (  2087 ) =  1943\r
 263       HASH (  2088 ) = -2085\r
 264       HASH (  2089 ) =   916\r
 265       HASH (  2091 ) =  1806\r
 266       HASH (  2092 ) = -2089\r
 267       HASH (  2093 ) =   797\r
 268       HASH (  2094 ) =  2041\r
 269       HASH (  2095 ) =  1742\r
 270       HASH (  2096 ) = -2093\r
 271       HASH (  2097 ) =   850\r
 272       HASH (  2098 ) = -2095\r
 273       HASH (  2099 ) =   908\r
 274       HASH (  2101 ) =   929\r
 275       HASH (  2102 ) = -2099\r
 276       HASH (  2103 ) =  1739\r
 277       HASH (  2105 ) =    16\r
 278       HASH (  2107 ) =  1175\r
 279       HASH (  2108 ) = -2105\r
 280       HASH (  2109 ) =  1883\r
 281       HASH (  2110 ) = -2107\r
 282       HASH (  2111 ) =  1884\r
 283       HASH (  2112 ) = -2109\r
 284       HASH (  2113 ) =  1566\r
 285       HASH (  2114 ) = -2111\r
 286       HASH (  2115 ) =  1864\r
 287       HASH (  2117 ) =  1559\r
 288       HASH (  2118 ) = -2115\r
 289       HASH (  2119 ) =  1103\r
 290       HASH (  2120 ) = -2117\r
 291       HASH (  2121 ) =    29\r
 292       HASH (  2122 ) =  2119\r
 293       HASH (  2123 ) =  1559\r
 294       HASH (  2124 ) = -2121\r
 295       HASH (  2125 ) =  1103\r
 296       HASH (  2126 ) = -2123\r
 297       HASH (  2127 ) =    20\r
 298       HASH (  2129 ) =   652\r
 299       HASH (  2130 ) = -2127\r
 300       HASH (  2131 ) =  1883\r
 301       HASH (  2132 ) = -2129\r
 302       HASH (  2133 ) =   665\r
 303       HASH (  2135 ) =  1750\r
 304       HASH (  2136 ) = -2133\r
 305       HASH (  2137 ) =  2136\r
 306       HASH (  2138 ) = -2135\r
 307       HASH (  2139 ) =    25\r
 308       HASH (  2141 ) =  1418\r
 309       HASH (  2142 ) = -2139\r
 310       HASH (  2143 ) =  1563\r
 311       HASH (  2144 ) = -2141\r
 312       HASH (  2145 ) =   665\r
 313       HASH (  2146 ) =  2075\r
 314       HASH (  2147 ) =  1878\r
 315       HASH (  2148 ) = -2145\r
 316       HASH (  2149 ) =  1630\r
 317       HASH (  2150 ) = -2147\r
 318       HASH (  2151 ) =   665\r
 319       HASH (  2152 ) =  2081\r
 320       HASH (  2153 ) =  1878\r
 321       HASH (  2154 ) = -2151\r
 322       HASH (  2155 ) =  1038\r
 323       HASH (  2156 ) = -2153\r
 324       HASH (  2157 ) =    33\r
 325       HASH (  2158 ) =  2069\r
 326       HASH (  2159 ) =  1618\r
 327       HASH (  2160 ) = -2157\r
 328       HASH (  2161 ) =  1175\r
 329       HASH (  2162 ) = -2159\r
 330       HASH (  2163 ) =  1564\r
 331       HASH (  2164 ) =  2161\r
 332       HASH (  2165 ) =  2201\r
 333       HASH (  2166 ) = -2163\r
 334       HASH (  2167 ) =  1175\r
 335       HASH (  2168 ) = -2165\r
 336       HASH (  2169 ) =  1564\r
 337       HASH (  2170 ) =  2167\r
 338       HASH (  2171 ) =  2137\r
 339       HASH (  2172 ) = -2169\r
 340       HASH (  2173 ) =  1175\r
 341       HASH (  2174 ) = -2171\r
 342       HASH (  2175 ) =    34\r
 343       HASH (  2176 ) =  2023\r
 344       HASH (  2177 ) =  1633\r
 345       HASH (  2178 ) = -2175\r
 346       HASH (  2179 ) =  1624\r
 347       HASH (  2180 ) = -2177\r
 348       HASH (  2181 ) =  2146\r
 349       HASH (  2182 ) =  2149\r
 350       HASH (  2183 ) =  1809\r
 351       HASH (  2184 ) = -2181\r
 352       HASH (  2185 ) =  1630\r
 353       HASH (  2186 ) = -2183\r
 354       HASH (  2187 ) =   919\r
 355       HASH (  2189 ) =  1742\r
 356       HASH (  2190 ) = -2187\r
 357       HASH (  2191 ) =    24\r
 358       HASH (  2193 ) =   846\r
 359       HASH (  2194 ) = -2191\r
 360       HASH (  2195 ) =  2002\r
 361       HASH (  2196 ) = -2193\r
 362       HASH (  2197 ) =   923\r
 363       HASH (  2199 ) =  1741\r
 364       HASH (  2200 ) = -2197\r
 365       HASH (  2201 ) =   728\r
 366       HASH (  2202 ) = -2199\r
 367       HASH (  2203 ) =   925\r
 368       HASH (  2205 ) =  1365\r
 369       HASH (  2206 ) = -2203\r
 370       HASH (  2207 ) =  1610\r
 371       HASH (  2208 ) = -2205\r
 372       HASH (  2209 ) =  1500\r
 373       HASH (  2210 ) =  2173\r
 374       HASH (  2211 ) =  1870\r
 375       HASH (  2212 ) = -2209\r
 376       HASH (  2213 ) =  1175\r
 377       HASH (  2214 ) = -2211\r
 378       HASH (  2215 ) =  1751\r
 379       HASH (  2216 ) =  2207\r
 380       HASH (  2217 ) =  1870\r
 381       HASH (  2218 ) = -2215\r
 382       HASH (  2219 ) =  1610\r
 383       HASH (  2220 ) = -2217\r
 384       HASH (  2221 ) =    14\r
 385       HASH (  2223 ) =  2197\r
 386       HASH (  2224 ) = -2221\r
 387       HASH (  2225 ) =  1821\r
 388       HASH (  2226 ) = -2223\r
 389       HASH (  2227 ) =    27\r
 390       HASH (  2229 ) =  1368\r
 391       HASH (  2230 ) = -2227\r
 392       HASH (  2231 ) =   792\r
 393       HASH (  2232 ) = -2229\r
 394       HASH (  2233 ) =    21\r
 395       HASH (  2235 ) =  1173\r
 396       HASH (  2236 ) = -2233\r
 397       HASH (  2237 ) =  1999\r
 398       HASH (  2238 ) = -2235\r
 399       HASH (  2239 ) =    29\r
 400       HASH (  2240 ) =  2179\r
 401       HASH (  2241 ) =  1175\r
 402       HASH (  2242 ) = -2239\r
 403       HASH (  2243 ) =   788\r
 404       HASH (  2244 ) =  2087\r
 405       HASH (  2245 ) =  1610\r
 406       HASH (  2246 ) = -2243\r
 407       HASH (  2247 ) =  1943\r
 408       HASH (  2248 ) = -2245\r
 409       HASH (  2249 ) =  1870\r
 410       HASH (  2250 ) = -2251\r
 411       HASH (  2251 ) =  2141\r
 412       HASH (  2253 ) =  1742\r
 413       HASH (  2254 ) = -2255\r
 414       HASH (  2255 ) =  1806\r
 415       HASH (  2256 ) = -2257\r
 416       HASH (  2257 ) =    29\r
 417       HASH (  2258 ) =  2259\r
 418       HASH (  2259 ) =  1742\r
 419       HASH (  2260 ) = -2261\r
 420       HASH (  2261 ) =  2075\r
 421       HASH (  2262 ) = -2263\r
 422       HASH (  2263 ) =  1181\r
 423       HASH (  2264 ) = -2265\r
 424       HASH (  2265 ) =    14\r
 425       HASH (  2266 ) =  2061\r
 426       HASH (  2267 ) =   906\r
 427       HASH (  2268 ) = -2269\r
 428       HASH (  2269 ) =    20\r
 429       HASH (  2271 ) =  1559\r
 430       HASH (  2272 ) =  2273\r
 431       HASH (  2273 ) =  1051\r
 432       HASH (  2274 ) = -2275\r
 433       HASH (  2275 ) =  1551\r
 434       HASH (  2276 ) = -2277\r
 435       HASH (  2277 ) =    15\r
 436       HASH (  2279 ) =  1432\r
 437       HASH (  2280 ) = -2281\r
 438       HASH (  2281 ) =  1998\r
 439       HASH (  2283 ) =   672\r
 440       HASH (  2285 ) =  1173\r
 441       HASH (  2286 ) = -2287\r
 442       HASH (  2287 ) =    21\r
 443       HASH (  2288 ) =  2125\r
 444       HASH (  2289 ) =   656\r
 445       HASH (  2290 ) = -2291\r
 446       HASH (  2291 ) =    14\r
 447       HASH (  2293 ) =  1098\r
 448       HASH (  2294 ) = -2295\r
 449       HASH (  2295 ) =  1804\r
 450       HASH (  2296 ) = -2297\r
 451       HASH (  2297 ) =  1170\r
 452       HASH (  2299 ) =  1175\r
 453       HASH (  2300 ) = -2301\r
 454       HASH (  2301 ) =  1294\r
 455       HASH (  2302 ) = -2303\r
 456       HASH (  2303 ) =    34\r
 457       HASH (  2304 ) =  2213\r
 458       HASH (  2305 ) =   782\r
 459       HASH (  2306 ) = -2307\r
 460       HASH (  2307 ) =  1755\r
 461       HASH (  2308 ) = -2309\r
 462       HASH (  2309 ) =  1563\r
 463       HASH (  2310 ) =  2053\r
 464       HASH (  2311 ) =   792\r
 465       HASH (  2312 ) = -2313\r
 466       HASH (  2313 ) =  1486\r
 467       HASH (  2314 ) = -2315\r
 468       HASH (  2315 ) =  1755\r
 469       HASH (  2316 ) = -2317\r
 470       HASH (  2317 ) =  1563\r
 471       HASH (  2318 ) =  2231\r
 472       HASH (  2319 ) =  1368\r
 473       HASH (  2320 ) = -2321\r
 474       HASH (  2321 ) =  1038\r
 475       HASH (  2322 ) = -2323\r
 476       HASH (  2323 ) =  1755\r
 477       HASH (  2324 ) = -2325\r
 478       HASH (  2325 ) =  1563\r
 479       HASH (  2327 ) =  1422\r
 480       HASH (  2328 ) = -2329\r
 481       HASH (  2329 ) =  1755\r
 482       HASH (  2330 ) = -2331\r
 483       HASH (  2331 ) =  1563\r
 484       HASH (  2333 ) =    28\r
 485       HASH (  2335 ) =   789\r
 486       HASH (  2336 ) = -2333\r
 487       HASH (  2337 ) =  1358\r
 488       HASH (  2339 ) =   978\r
 489       HASH (  2340 ) = -2337\r
 490       HASH (  2341 ) =    29\r
 491       HASH (  2342 ) =  2185\r
 492       HASH (  2343 ) =    29\r
 493       HASH (  2344 ) =  2155\r
 494       HASH (  2345 ) =   919\r
 495       HASH (  2347 ) =  1561\r
 496       HASH (  2348 ) = -2345\r
 497       HASH (  2349 ) =  1870\r
 498       HASH (  2351 ) =    27\r
 499       HASH (  2352 ) =  2101\r
 500       HASH (  2353 ) =  1610\r
 501       HASH (  2354 ) = -2351\r
 502       HASH (  2355 ) =   908\r
 503       HASH (  2356 ) = -2353\r
 504       HASH (  2357 ) =   929\r
 505       HASH (  2358 ) = -2355\r
 506       HASH (  2359 ) =    28\r
 507       HASH (  2360 ) =  2347\r
 508       HASH (  2361 ) =  1559\r
 509       HASH (  2362 ) = -2359\r
 510       HASH (  2363 ) =  1874\r
 511       HASH (  2364 ) = -2361\r
 512       HASH (  2365 ) =    20\r
 513       HASH (  2366 ) =  2335\r
 514       HASH (  2367 ) =  1548\r
 515       HASH (  2368 ) = -2365\r
 516       HASH (  2369 ) =   789\r
 517       HASH (  2370 ) = -2367\r
 518       HASH (  2371 ) =   925\r
 519       HASH (  2373 ) =  1500\r
 520       HASH (  2374 ) = -2371\r
 521       HASH (  2375 ) =  1738\r
 522       HASH (  2376 ) = -2373\r
 523       HASH (  2377 ) =    27\r
 524       HASH (  2379 ) =   718\r
 525       HASH (  2380 ) = -2377\r
 526       HASH (  2381 ) =   918\r
 527       HASH (  2382 ) = -2379\r
 528       HASH (  2383 ) =  1756\r
 529       HASH (  2385 ) =  1102\r
 530       HASH (  2386 ) = -2383\r
 531       HASH (  2387 ) =  1565\r
 532       HASH (  2388 ) = -2385\r
 533       HASH (  2389 ) =  1870\r
 534       HASH (  2391 ) =  1358\r
 535       HASH (  2392 ) = -2389\r
 536       HASH (  2393 ) =   846\r
 537       HASH (  2394 ) = -2391\r
 538       HASH (  2395 ) =    23\r
 539       HASH (  2397 ) =    34\r
 540       HASH (  2399 ) =  1629\r
 541       HASH (  2400 ) = -2397\r
 542       HASH (  2401 ) =  1757\r
 543       HASH (  2402 ) =  2299\r
 544       HASH (  2403 ) =  1806\r
 545       HASH (  2404 ) = -2401\r
 546       HASH (  2405 ) =  1175\r
 547       HASH (  2406 ) = -2403\r
 548       HASH (  2407 ) =    25\r
 549       HASH (  2408 ) =  2247\r
 550       HASH (  2409 ) =   788\r
 551       HASH (  2410 ) = -2407\r
 552       HASH (  2411 ) =  1368\r
 553       HASH (  2412 ) = -2409\r
 554       HASH (  2413 ) =  1943\r
 555       HASH (  2414 ) = -2411\r
 556       HASH (  2415 ) =    25\r
 557       HASH (  2416 ) =  2319\r
 558       HASH (  2417 ) =   788\r
 559       HASH (  2418 ) = -2415\r
 560       HASH (  2419 ) =  1368\r
 561       HASH (  2420 ) = -2417\r
 562       HASH (  2421 ) =  1945\r
 563       HASH (  2423 ) =    25\r
 564       HASH (  2425 ) =  1884\r
 565       HASH (  2426 ) = -2423\r
 566       HASH (  2427 ) =    23\r
 567       HASH (  2429 ) =  1181\r
 568       HASH (  2430 ) = -2427\r
 569       HASH (  2431 ) =  2058\r
 570       HASH (  2432 ) = -2429\r
 571       HASH (  2433 ) =   667\r
 572       HASH (  2434 ) =  2225\r
 573       HASH (  2435 ) =  1561\r
 574       HASH (  2436 ) = -2433\r
 575       HASH (  2437 ) =  1821\r
 576       HASH (  2438 ) = -2435\r
 577       HASH (  2439 ) =    25\r
 578       HASH (  2440 ) =  2431\r
 579       HASH (  2441 ) =  1181\r
 580       HASH (  2442 ) = -2439\r
 581       HASH (  2443 ) =  2058\r
 582       HASH (  2444 ) = -2441\r
 583       HASH (  2445 ) =    25\r
 584       HASH (  2446 ) =  2437\r
 585       HASH (  2447 ) =  1561\r
 586       HASH (  2448 ) = -2445\r
 587       HASH (  2449 ) =  1821\r
 588       HASH (  2450 ) = -2447\r
 589       HASH (  2451 ) =    25\r
 590       HASH (  2452 ) =  1833\r
 591       HASH (  2453 ) =  1422\r
 592       HASH (  2454 ) = -2451\r
 593       HASH (  2455 ) =  1822\r
 594       HASH (  2456 ) = -2453\r
 595       HASH (  2457 ) =  1742\r
 596       HASH (  2458 ) = -2455\r
 597       HASH (  2459 ) =    20\r
 598       HASH (  2461 ) =  1490\r
 599       HASH (  2462 ) = -2459\r
 600       HASH (  2463 ) =  1568\r
 601       HASH (  2464 ) = -2461\r
 602       HASH (  2465 ) =   924\r
 603       HASH (  2467 ) =  1548\r
 604       HASH (  2468 ) = -2465\r
 605       HASH (  2469 ) =  1627\r
 606       HASH (  2470 ) = -2467\r
 607       HASH (  2471 ) =    27\r
 608       HASH (  2472 ) =  2091\r
 609       HASH (  2473 ) =   984\r
 610       HASH (  2474 ) = -2471\r
 611       HASH (  2475 ) =  1418\r
 612       HASH (  2476 ) = -2473\r
 613       HASH (  2477 ) =  1806\r
 614       HASH (  2478 ) = -2475\r
 615       HASH (  2479 ) =  1943\r
 616       HASH (  2480 ) =  2047\r
 617       HASH (  2481 ) =   859\r
 618       HASH (  2482 ) = -2479\r
 619       HASH (  2483 ) =   919\r
 620       HASH (  2484 ) = -2481\r
 621       HASH (  2485 ) =    27\r
 622       HASH (  2486 ) =  2137\r
 623       HASH (  2487 ) =    28\r
 624       HASH (  2488 ) =  2219\r
 625       HASH (  2489 ) =   930\r
 626       HASH (  2490 ) = -2487\r
 627       HASH (  2491 ) =  1364\r
 628       HASH (  2492 ) = -2489\r
 629       HASH (  2493 ) =  1486\r
 630       HASH (  2494 ) = -2491\r
 631       HASH (  2495 ) =  1167\r
 632       HASH (  2497 ) =   878\r
 633       HASH (  2498 ) = -2495\r
 634       HASH (  2499 ) =   663\r
 635       HASH (  2500 ) = -2497\r
 636       HASH (  2501 ) =    15\r
 637       HASH (  2502 ) =  2499\r
 638       HASH (  2503 ) =   850\r
 639       HASH (  2504 ) = -2501\r
 640       HASH (  2505 ) =   663\r
 641       HASH (  2506 ) = -2503\r
 642       HASH (  2507 ) =     3\r
 643       HASH (  2509 ) =   673\r
 644       HASH (  2510 ) = -2507\r
 645       HASH (  2511 ) =  1174\r
 646       HASH (  2512 ) = -2509\r
 647       HASH (  2513 ) =   673\r
 648       HASH (  2514 ) =  2511\r
 649       HASH (  2515 ) =  1174\r
 650       HASH (  2516 ) = -2513\r
 651       HASH (  2517 ) =     3\r
 652       HASH (  2518 ) =  2515\r
 653       HASH (  2519 ) =  1175\r
 654       HASH (  2520 ) = -2517\r
 655       HASH (  2521 ) =  1174\r
 656       HASH (  2522 ) = -2519\r
 657       HASH (  2523 ) =  1175\r
 658       HASH (  2524 ) =  2521\r
 659       HASH (  2525 ) =   669\r
 660       HASH (  2526 ) =  2457\r
 661       HASH (  2527 ) =  1614\r
 662       HASH (  2528 ) = -2525\r
 663       HASH (  2529 ) =  1742\r
 664       HASH (  2530 ) = -2527\r
 665       HASH (  2531 ) =  1485\r
 666       HASH (  2532 ) =  2529\r
 667       HASH (  2533 ) =  2066\r
 668       HASH (  2534 ) = -2531\r
 669       HASH (  2535 ) =  1742\r
 670       HASH (  2536 ) = -2533\r
 671       HASH (  2537 ) =    14\r
 672       HASH (  2538 ) =  2483\r
 673       HASH (  2539 ) =  1173\r
 674       HASH (  2540 ) = -2537\r
 675       HASH (  2541 ) =   847\r
 676       HASH (  2542 ) = -2539\r
 677       HASH (  2543 ) =   919\r
 678       HASH (  2544 ) = -2541\r
 679       HASH (  2545 ) =   663\r
 680       HASH (  2547 ) =   669\r
 681       HASH (  2548 ) = -2545\r
 682       HASH (  2549 ) =    25\r
 683       HASH (  2550 ) =  2357\r
 684       HASH (  2551 ) =   929\r
 685       HASH (  2552 ) = -2549\r
 686       HASH (  2553 ) =    23\r
 687       HASH (  2555 ) =  1866\r
 688       HASH (  2556 ) = -2553\r
 689       HASH (  2557 ) =    28\r
 690       HASH (  2558 ) =  2311\r
 691       HASH (  2559 ) =   792\r
 692       HASH (  2560 ) = -2557\r
 693       HASH (  2561 ) =    23\r
 694       HASH (  2563 ) =  1810\r
 695       HASH (  2564 ) = -2561\r
 696       HASH (  2565 ) =  1047\r
 697       HASH (  2566 ) =  2563\r
 698       HASH (  2567 ) =  1810\r
 699       HASH (  2568 ) = -2565\r
 700       HASH (  2569 ) =    13\r
 701       HASH (  2570 ) =  2143\r
 702       HASH (  2571 ) =  1563\r
 703       HASH (  2572 ) = -2569\r
 704       HASH (  2573 ) =    27\r
 705       HASH (  2575 ) =   785\r
 706       HASH (  2576 ) = -2573\r
 707       HASH (  2577 ) =  1367\r
 708       HASH (  2579 ) =   920\r
 709       HASH (  2580 ) = -2577\r
 710       HASH (  2581 ) =    13\r
 711       HASH (  2583 ) =  1943\r
 712       HASH (  2584 ) = -2581\r
 713       HASH (  2585 ) =   923\r
 714       HASH (  2586 ) =  2543\r
 715       HASH (  2587 ) =  1874\r
 716       HASH (  2588 ) = -2585\r
 717       HASH (  2589 ) =   919\r
 718       HASH (  2590 ) = -2587\r
 719       HASH (  2591 ) =  1757\r
 720       HASH (  2593 ) =  1422\r
 721       HASH (  2595 ) =  1558\r
 722       HASH (  2596 ) =  2375\r
 723       HASH (  2597 ) =  1485\r
 724       HASH (  2598 ) = -2595\r
 725       HASH (  2599 ) =  1738\r
 726       HASH (  2600 ) = -2597\r
 727       HASH (  2601 ) =    29\r
 728       HASH (  2603 ) =  1103\r
 729       HASH (  2604 ) = -2601\r
 730       HASH (  2605 ) =  1180\r
 731       HASH (  2606 ) = -2603\r
 732       HASH (  2607 ) =  1485\r
 733       HASH (  2609 ) =    27\r
 734       HASH (  2611 ) =  1565\r
 735       HASH (  2612 ) =  2405\r
 736       HASH (  2613 ) =  1175\r
 737       HASH (  2614 ) = -2611\r
 738       HASH (  2615 ) =    28\r
 739       HASH (  2617 ) =    15\r
 740       HASH (  2618 ) =  2579\r
 741       HASH (  2619 ) =   665\r
 742       HASH (  2620 ) =  2131\r
 743       HASH (  2621 ) =  1883\r
 744       HASH (  2622 ) = -2619\r
 745       HASH (  2623 ) =  1365\r
 746       HASH (  2625 ) =  2066\r
 747       HASH (  2626 ) = -2623\r
 748       HASH (  2627 ) =  1821\r
 749       HASH (  2628 ) = -2625\r
 750       HASH (  2629 ) =  1354\r
 751       HASH (  2630 ) = -2627\r
 752       HASH (  2631 ) =    21\r
 753       HASH (  2632 ) =  2629\r
 754       HASH (  2633 ) =  1173\r
 755       HASH (  2634 ) = -2631\r
 756       HASH (  2635 ) =  2976\r
 757       HASH (  2636 ) = -2633\r
 758       HASH (  2637 ) =  1821\r
 759       HASH (  2638 ) = -2635\r
 760       HASH (  2639 ) =  1485\r
 761       HASH (  2641 ) =    14\r
 762       HASH (  2642 ) =  2249\r
 763       HASH (  2643 ) =   669\r
 764       HASH (  2644 ) = -2641\r
 765       HASH (  2645 ) =  1175\r
 766       HASH (  2646 ) = -2643\r
 767       HASH (  2647 ) =  1750\r
 768       HASH (  2648 ) = -2645\r
 769       HASH (  2649 ) =  1934\r
 770       HASH (  2650 ) =  2559\r
 771       HASH (  2651 ) =  1175\r
 772       HASH (  2652 ) = -2649\r
 773       HASH (  2653 ) =  1501\r
 774       HASH (  2654 ) = -2651\r
 775       HASH (  2655 ) =   792\r
 776       HASH (  2656 ) = -2653\r
 777       HASH (  2657 ) =    14\r
 778       HASH (  2658 ) =  2599\r
 779       HASH (  2659 ) =  1180\r
 780       HASH (  2660 ) = -2657\r
 781       HASH (  2661 ) =   661\r
 782       HASH (  2662 ) =  2567\r
 783       HASH (  2663 ) =  1047\r
 784       HASH (  2664 ) = -2661\r
 785       HASH (  2665 ) =  1756\r
 786       HASH (  2666 ) =  2293\r
 787       HASH (  2667 ) =  1358\r
 788       HASH (  2668 ) = -2665\r
 789       HASH (  2669 ) =  1485\r
 790       HASH (  2670 ) = -2667\r
 791       HASH (  2671 ) =    23\r
 792       HASH (  2673 ) =   917\r
 793       HASH (  2674 ) = -2671\r
 794       HASH (  2675 ) =  1181\r
 795       HASH (  2676 ) = -2673\r
 796       HASH (  2677 ) =  2075\r
 797       HASH (  2678 ) = -2675\r
 798       HASH (  2679 ) =    14\r
 799       HASH (  2680 ) =  2677\r
 800       HASH (  2681 ) =  1181\r
 801       HASH (  2682 ) = -2679\r
 802       HASH (  2683 ) =    14\r
 803       HASH (  2685 ) =  1173\r
 804       HASH (  2686 ) = -2683\r
 805       HASH (  2687 ) =  2065\r
 806       HASH (  2688 ) = -2685\r
 807       HASH (  2689 ) =   919\r
 808       HASH (  2690 ) =  2687\r
 809       HASH (  2691 ) =  1181\r
 810       HASH (  2692 ) =  2443\r
 811       HASH (  2693 ) =    21\r
 812       HASH (  2694 ) =  2195\r
 813       HASH (  2695 ) =  1930\r
 814       HASH (  2696 ) = -2693\r
 815       HASH (  2697 ) =  1757\r
 816       HASH (  2698 ) = -2695\r
 817       HASH (  2699 ) =    27\r
 818       HASH (  2701 ) =    27\r
 819       HASH (  2702 ) =  2419\r
 820       HASH (  2703 ) =  2062\r
 821       HASH (  2704 ) = -2701\r
 822       HASH (  2705 ) =  1368\r
 823       HASH (  2706 ) = -2703\r
 824       HASH (  2707 ) =    27\r
 825       HASH (  2708 ) =  2421\r
 826       HASH (  2709 ) =  1614\r
 827       HASH (  2710 ) = -2707\r
 828       HASH (  2711 ) =   788\r
 829       HASH (  2712 ) =  2413\r
 830       HASH (  2713 ) =  1368\r
 831       HASH (  2714 ) = -2711\r
 832       HASH (  2715 ) =  1943\r
 833       HASH (  2716 ) = -2713\r
 834       HASH (  2717 ) =  1181\r
 835       HASH (  2718 ) =  2715\r
 836       HASH (  2719 ) =  1614\r
 837       HASH (  2720 ) =  1995\r
 838       HASH (  2721 ) =  1934\r
 839       HASH (  2722 ) =  2621\r
 840       HASH (  2723 ) =  1180\r
 841       HASH (  2725 ) =  1873\r
 842       HASH (  2726 ) = -2723\r
 843       HASH (  2727 ) =   919\r
 844       HASH (  2728 ) =  2725\r
 845       HASH (  2729 ) =    23\r
 846       HASH (  2730 ) =  2555\r
 847       HASH (  2731 ) =  1294\r
 848       HASH (  2732 ) = -2729\r
 849       HASH (  2733 ) =  1488\r
 850       HASH (  2734 ) =  2447\r
 851       HASH (  2735 ) =  1746\r
 852       HASH (  2736 ) = -2733\r
 853       HASH (  2737 ) =  1821\r
 854       HASH (  2738 ) = -2735\r
 855       HASH (  2739 ) =  1561\r
 856       HASH (  2740 ) =  2737\r
 857       HASH (  2741 ) =  1821\r
 858       HASH (  2742 ) = -2739\r
 859       HASH (  2743 ) =   921\r
 860       HASH (  2744 ) =  2741\r
 861       HASH (  2745 ) =    14\r
 862       HASH (  2746 ) =  2477\r
 863       HASH (  2747 ) =  1563\r
 864       HASH (  2748 ) = -2745\r
 865       HASH (  2749 ) =  1617\r
 866       HASH (  2750 ) = -2747\r
 867       HASH (  2751 ) =  1418\r
 868       HASH (  2752 ) = -2749\r
 869       HASH (  2753 ) =  1751\r
 870       HASH (  2754 ) =  2535\r
 871       HASH (  2755 ) =  1886\r
 872       HASH (  2756 ) = -2753\r
 873       HASH (  2757 ) =  1742\r
 874       HASH (  2758 ) = -2755\r
 875       HASH (  2759 ) =  1422\r
 876       HASH (  2760 ) =  2757\r
 877       HASH (  2761 ) =  1822\r
 878       HASH (  2762 ) = -2759\r
 879       HASH (  2763 ) =  1742\r
 880       HASH (  2764 ) = -2761\r
 881       HASH (  2765 ) =  1373\r
 882       HASH (  2766 ) =  2763\r
 883       HASH (  2767 ) =  1822\r
 884       HASH (  2768 ) = -2765\r
 885       HASH (  2769 ) =  1742\r
 886       HASH (  2770 ) = -2767\r
 887       HASH (  2771 ) =   661\r
 888       HASH (  2772 ) =  2769\r
 889       HASH (  2773 ) =  1742\r
 890       HASH (  2774 ) = -2771\r
 891       HASH (  2775 ) =   653\r
 892       HASH (  2776 ) =  2773\r
 893       HASH (  2777 ) =    10\r
 894       HASH (  2778 ) =  2033\r
 895       HASH (  2779 ) =    28\r
 896       HASH (  2780 ) =  2469\r
 897       HASH (  2781 ) =   924\r
 898       HASH (  2782 ) = -2779\r
 899       HASH (  2783 ) =  1548\r
 900       HASH (  2784 ) = -2781\r
 901       HASH (  2785 ) =  1627\r
 902       HASH (  2786 ) = -2783\r
 903       HASH (  2787 ) =    14\r
 904       HASH (  2788 ) =  2785\r
 905       HASH (  2789 ) =  1947\r
 906       HASH (  2790 ) = -2787\r
 907       HASH (  2791 ) =   909\r
 908       HASH (  2792 ) = -2789\r
 909       HASH (  2793 ) =  1548\r
 910       HASH (  2794 ) = -2791\r
 911       HASH (  2795 ) =  1627\r
 912       HASH (  2796 ) = -2793\r
 913       HASH (  2797 ) =   911\r
 914       HASH (  2798 ) =  2795\r
 915       HASH (  2799 ) =    15\r
 916       HASH (  2800 ) =  2571\r
 917       HASH (  2801 ) =  2962\r
 918       HASH (  2802 ) = -2799\r
 919       HASH (  2803 ) =  1563\r
 920       HASH (  2804 ) = -2801\r
 921       HASH (  2805 ) =  1949\r
 922       HASH (  2806 ) =  2113\r
 923       HASH (  2807 ) =  1881\r
 924       HASH (  2808 ) = -2805\r
 925       HASH (  2809 ) =    14\r
 926       HASH (  2810 ) =  2387\r
 927       HASH (  2811 ) =  1180\r
 928       HASH (  2812 ) = -2809\r
 929       HASH (  2813 ) =  1760\r
 930       HASH (  2814 ) = -2811\r
 931       HASH (  2815 ) =  1102\r
 932       HASH (  2816 ) = -2813\r
 933       HASH (  2817 ) =  1167\r
 934       HASH (  2818 ) =  2803\r
 935       HASH (  2819 ) =  1563\r
 936       HASH (  2820 ) = -2817\r
 937       HASH (  2821 ) =    29\r
 938       HASH (  2822 ) =  2029\r
 939       HASH (  2823 ) =  1496\r
 940       HASH (  2824 ) = -2821\r
 941       HASH (  2825 ) =  1486\r
 942       HASH (  2826 ) =  2823\r
 943       HASH (  2827 ) =    32\r
 944       HASH (  2829 ) =    13\r
 945       HASH (  2830 ) =  2279\r
 946       HASH (  2831 ) =  1175\r
 947       HASH (  2833 ) =   788\r
 948       HASH (  2834 ) =  2705\r
 949       HASH (  2835 ) =  1365\r
 950       HASH (  2837 ) =    29\r
 951       HASH (  2838 ) =  2613\r
 952       HASH (  2839 ) =  1566\r
 953       HASH (  2840 ) = -2837\r
 954       HASH (  2841 ) =  1175\r
 955       HASH (  2842 ) = -2839\r
 956       HASH (  2843 ) =    27\r
 957       HASH (  2844 ) =  2841\r
 958       HASH (  2845 ) =  1038\r
 959       HASH (  2846 ) = -2843\r
 960       HASH (  2847 ) =  1870\r
 961       HASH (  2848 ) = -2845\r
 962       HASH (  2849 ) =  1175\r
 963       HASH (  2850 ) = -2847\r
 964       HASH (  2851 ) =    29\r
 965       HASH (  2852 ) =  2849\r
 966       HASH (  2853 ) =  1630\r
 967       HASH (  2854 ) = -2851\r
 968       HASH (  2855 ) =  1175\r
 969       HASH (  2856 ) = -2853\r
 970       HASH (  2857 ) =    27\r
 971       HASH (  2858 ) =  2855\r
 972       HASH (  2859 ) =  1486\r
 973       HASH (  2860 ) = -2857\r
 974       HASH (  2861 ) =  1175\r
 975       HASH (  2862 ) = -2859\r
 976       HASH (  2863 ) =   919\r
 977       HASH (  2865 ) =   845\r
 978       HASH (  2866 ) = -2863\r
 979       HASH (  2867 ) =  1559\r
 980       HASH (  2868 ) =  2237\r
 981       HASH (  2869 ) =  1874\r
 982       HASH (  2870 ) = -2867\r
 983       HASH (  2871 ) =  1484\r
 984       HASH (  2872 ) = -2869\r
 985       HASH (  2873 ) =    27\r
 986       HASH (  2875 ) =    14\r
 987       HASH (  2877 ) =  1372\r
 988       HASH (  2878 ) = -2875\r
 989       HASH (  2879 ) =   661\r
 990       HASH (  2880 ) =  2551\r
 991       HASH (  2881 ) =  1751\r
 992       HASH (  2882 ) = -2879\r
 993       HASH (  2883 ) =  1870\r
 994       HASH (  2884 ) = -2881\r
 995       HASH (  2885 ) =   929\r
 996       HASH (  2886 ) = -2883\r
 997       HASH (  2887 ) =  1181\r
 998       HASH (  2888 ) =  2885\r
 999       HASH (  2889 ) =   652\r
1000       HASH (  2891 ) =    13\r
1001       HASH (  2892 ) =  2589\r
1002       HASH (  2893 ) =  1806\r
1003       HASH (  2895 ) =  1880\r
1004       HASH (  2897 ) =  2071\r
1005       HASH (  2898 ) = -2895\r
1006       HASH (  2899 ) =   856\r
1007       HASH (  2900 ) = -2897\r
1008       HASH (  2901 ) =    31\r
1009       HASH (  2902 ) =  2097\r
1010       HASH (  2903 ) =   850\r
1011       HASH (  2904 ) = -2901\r
1012       HASH (  2905 ) =    22\r
1013       HASH (  2906 ) =  2903\r
1014       HASH (  2907 ) =   785\r
1015       HASH (  2908 ) =  2393\r
1016       HASH (  2909 ) =  1866\r
1017       HASH (  2910 ) = -2907\r
1018       HASH (  2911 ) =    14\r
1019       HASH (  2912 ) =  2655\r
1020       HASH (  2913 ) =  1175\r
1021       HASH (  2914 ) = -2911\r
1022       HASH (  2915 ) =  1949\r
1023       HASH (  2916 ) = -2913\r
1024       HASH (  2917 ) =  1752\r
1025       HASH (  2918 ) = -2915\r
1026       HASH (  2919 ) =   792\r
1027       HASH (  2920 ) = -2917\r
1028       HASH (  2921 ) =  1634\r
1029       HASH (  2922 ) =  2919\r
1030       HASH (  2923 ) =   792\r
1031       HASH (  2924 ) = -2921\r
1032       HASH (  2925 ) =    29\r
1033       HASH (  2926 ) =  2923\r
1034       HASH (  2927 ) =  1500\r
1035       HASH (  2928 ) = -2925\r
1036       HASH (  2929 ) =   667\r
1037       HASH (  2930 ) =  2575\r
1038       HASH (  2931 ) =   785\r
1039       HASH (  2932 ) = -2929\r
1040       HASH (  2933 ) =    14\r
1041       HASH (  2934 ) =  2369\r
1042       HASH (  2935 ) =  1564\r
1043       HASH (  2936 ) = -2933\r
1044       HASH (  2937 ) =   789\r
1045       HASH (  2938 ) = -2935\r
1046       HASH (  2939 ) =    28\r
1047       HASH (  2940 ) =  2937\r
1048       HASH (  2941 ) =   668\r
1049       HASH (  2942 ) = -2939\r
1050       HASH (  2943 ) =    27\r
1051       HASH (  2944 ) =  2931\r
1052       HASH (  2945 ) =  1870\r
1053       HASH (  2946 ) = -2943\r
1054       HASH (  2947 ) =   652\r
1055       HASH (  2948 ) = -2945\r
1056       HASH (  2949 ) =   667\r
1057       HASH (  2950 ) = -2947\r
1058       HASH (  2951 ) =  1806\r
1059       HASH (  2953 ) =   778\r
1060       HASH (  2954 ) = -2951\r
1061       HASH (  2955 ) =  1365\r
1062       HASH (  2956 ) =  2953\r
1063       HASH (  2957 ) =  1557\r
1064       HASH (  2958 ) =  2201\r
1065       HASH (  2959 ) =   728\r
1066       HASH (  2960 ) = -2957\r
1067       HASH (  2961 ) =    23\r
1068       HASH (  2962 ) =  2959\r
1069       HASH (  2963 ) =   906\r
1070       HASH (  2964 ) = -2961\r
1071       HASH (  2965 ) =  1557\r
1072       HASH (  2966 ) = -2963\r
1073       HASH (  2967 ) =    20\r
1074       HASH (  2969 ) =  1548\r
1075       HASH (  2970 ) = -2967\r
1076       HASH (  2971 ) =    23\r
1077       HASH (  2973 ) =  1042\r
1078       HASH (  2974 ) = -2971\r
1079       HASH (  2975 ) =  1551\r
1080       HASH (  2977 ) =  2222\r
1081       HASH (  2978 ) = -2975\r
1082       HASH (  2979 ) =  1738\r
1083       HASH (  2980 ) = -2977\r
1084       HASH (  2981 ) =   667\r
1085       HASH (  2982 ) = -2979\r
1086       HASH (  2983 ) =   785\r
1087       HASH (  2984 ) =  2547\r
1088       HASH (  2985 ) =  1866\r
1089       HASH (  2986 ) = -2983\r
1090       HASH (  2987 ) =    15\r
1091       HASH (  2988 ) =  2981\r
1092       HASH (  2989 ) =  2200\r
1093       HASH (  2990 ) = -2987\r
1094       HASH (  2991 ) =  1738\r
1095       HASH (  2992 ) = -2989\r
1096       HASH (  2993 ) =   667\r
1097       HASH (  2994 ) = -2991\r
1098       HASH (  2995 ) =    34\r
1099       HASH (  2996 ) =  2993\r
1100       HASH (  2997 ) =  1738\r
1101       HASH (  2998 ) = -2995\r
1102       HASH (  2999 ) =    13\r
1103       HASH (  3000 ) =  2505\r
1104       \r
1105       return\r
1106       end\r
1107       \r
1108       \r
1109       INTEGER*2 FUNCTION SEARCH(K,name,hash,nlast)\r
1110       IMPLICIT INTEGER*2 (A-Z)\r
1111       dimension hash(8000), name(10)\r
1112       \r
1113       m = 1009\r
1114       NAME1=NAME(1)\r
1115       I=MOD(NAME1,M)\r
1116       I=I*2+1\r
1117       IF (HASH(I).NE.0) GOTO 3\r
1118       SEARCH=I\r
1119       HASH(I)=NAME1\r
1120       GOTO 11\r
1121 1     IF (I.NE.0) GOTO 3\r
1122 2     NLAST=NLAST-2\r
1123       IF (NLAST.LT.0) write(*,99)\r
1124  99   format('  przepelnienie')     \r
1125       IF (HASH(NLAST).NE.0) GOTO 2\r
1126       SEARCH=NLAST\r
1127       HASH(NLAST)=NAME(1)\r
1128       HASH(J+1)=NLAST\r
1129       I=NLAST\r
1130       GOTO 11\r
1131 3     IF (HASH(I).EQ.NAME1) GOTO 4\r
1132       J=I\r
1133       I=HASH(J+1)\r
1134       GOTO 10\r
1135 4     IF ((K.NE.1).OR.(HASH(I+1).LT.0)) GOTO 5\r
1136       SEARCH=I\r
1137       RETURN\r
1138 5     J=I\r
1139       P=1\r
1140 6     T=HASH(J+1)\r
1141       P=P+1\r
1142       IF (P.LE.K) GOTO 8\r
1143       IF (T.LT.0) GOTO 7\r
1144       SEARCH=I\r
1145       RETURN\r
1146 7     J=-T\r
1147       I=HASH(J+1)\r
1148       GOTO 10\r
1149 8     IF (T.LT.0) GOTO 9\r
1150       I=T\r
1151       GOTO 1\r
1152 9     J=-T\r
1153       IF (NAME(P).EQ.HASH(J)) GOTO 6\r
1154       I=HASH(J+1)\r
1155 10    IF (I.GE.0) GOTO 1\r
1156       J=-I\r
1157       I=HASH(J+1)\r
1158       GOTO 10\r
1159 11    P=2\r
1160 12    IF (P.GT.K) RETURN\r
1161 13    NLAST=NLAST-2\r
1162       IF (NLAST.LT.0) write(*,99)\r
1163       IF (HASH(NLAST).NE.0) GOTO 13\r
1164       HASH(NLAST)=NAME(P)\r
1165       HASH(I+1)=-NLAST\r
1166       I=NLAST\r
1167       P=P+1\r
1168       GOTO 12\r
1169       END\r