sources/pass1/hash.f

   1 C    Loglan82 Compiler&Interpreter
   2 C     Copyright (C) 1981-1993 Institute of Informatics, University of Warsaw
   3 C     Copyright (C)  1993, 1994 LITA, Pau
   4 C
   5 C     This program is free software; you can redistribute it and/or modify
   6 C     it under the terms of the GNU General Public License as published by
   7 C     the Free Software Foundation; either version 2 of the License, or
   8 C     (at your option) any later version.
   9 C
  10 C     This program is distributed in the hope that it will be useful,
  11 C     but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 C     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 C     GNU General Public License for more details. File: LICENSE.GNU
  14 C  ===============================================================
  15
  16       SUBROUTINE DATA2
  17       IMPLICIT INTEGER (A-Z)
  18 C
  19 C   INITIATES VARIABLES IN THE BLANK COMMON
  20 C
  21       COMMON /BLANK/
  22      $   C0M(4),
  23      O   S,        ADRES,    K,        SCOMA,    SDOT,     SEMICOL,
  24      1   SCOLON,   SLEFT,    SRIGHT,   SBECOME,  STAR,     SRELAT,
  25      2   SEOF,     SIDENT,   SCONST,   SAND,     SARRAY,   SARROF,
  26      3   SATTACH,  SBEGIN,   SBLOCK,   SBOOL,    SCALL,    SCASE,
  27      4   SCLASS,   SCLOSE,   SCONS,    SCOPY,    SCOROUT,  SDETACH,
  28      5   SDIM,     SDO,      SDOWN,    SELSE,    SEND,     SESAC,
  29      6   SEXIT,    SEXTERN,  SFI,      SFOR,     SFUNCT,   SIF,
  30      7   SINNER,   SINPUT,   SINT,     SKILL,    SLOCK,    SNEW,
  31      8   SNONE,    SNOT,     SOD,      SOR,      SORIF,    SOTHER,
  32      9   SOUTPUT,  SPREF,    SPRCD,    SQUA,     SREAD,    SRESUME,
  33      O   SRETURN,  STEP,     STOP,     STAKEN,   STHEN,    STHIS,
  34      A   STO,      STYPE,    SUNIT,    SVAR,     SVIRTUAL, SWAIT,
  35      B   SWHEN,    SWHILE,   SWRIT,    SWRITLN,  STRUE,    SALL,
  36      C   WAND,     WARRAY,   WASSIGN,  WASSCON,  WATTACH,  WBLOCK,
  37      D   WCALL,    WCASE,    WCASEL,   WCOMA,    WCNSTB,   WCNSTC,
  38      E   WCNSTI,   WCNSTN,   WCNSTR,   WCNST,    WCOPY,    WDETACH,
  39      F   WDOT,     WDOWNTO,  WEOF,     WESAC,    WFIN,     WFIRST,
  40      G   WFOREND,  WFORVAR,  WFROM,    WIDENT,   WIFFALS,  WIFTRUE
  41
  42       common /BLANK/
  43      H   WINNER,   WINSTREND,WJUMP,    WKILL,    WLABEL,   WLEFT,
  44      I   WLOCK,    WLOW,     WLSE,     WNEW,     WNEWARRAY,WNOT,
  45      J   WOPERAT,  WOPT,     WOR,      WOTHER,   WPREF,    WPRIM,
  46      K   WQUA,     WREAD,    WRELAT,   WRESUME,  WRETURN,  WRIGHT,
  47      L   WSTART,   WSTEP,    WSTOP,    WTHIS,    WTO,      WAIT,
  48      M   WRITE,    WRITELN,  WBOUND,   UNICAL,
  49      N   COM(132),
  50      O   LMEM,     LPMEM,    IRECN,    ISFIN,    LPMSYS,   LPML,
  51      P   LPMF,     NRINT,    NRRE,     NRBOOL,   NRCHAR,   NRCOR,
  52      Q   NRPROC,   NRTEXT,   NRUNIV,   NATTR,    NRNONE,   NBLSYS,
  53      R   NBLUS,    NEMPTY,   INSYS,    LOCAL,    OWN,      OBJECT,
  54      S   HASH(8000), M,        NAME(10), NLAST,    NL,
  55      T   KEYS(200),
  56      U   TRANS1(13,13),      TRANS2(13,13),      B0,       B(70),
  57      V   SKOK0,    SKOK(70), KK,       MM,       STAN,     STAN1,
  58      W   AUX,      K1,       SY,       SY1,      NU, JK1,  EXP,
  59      X   SIGN,     INTPART,  FRAC,     OKEY,     FRACT,JK2,NB,
  60      Y   TL,       BYTE,     TEXT(20),
  61      Z   TOP,      IN,       NEXT,     STACK(500)
  62
  63       common /BLANK/
  64      *   RESZTA(3652)
  65
  66 C     RESZTA = REMAINDER
  67       REAL   FRACT,NU
  68
  69       DO 10 I=1,8000
  70       HASH(I)=0
  71 10    CONTINUE
  72 cdsw &bc
  73 c
  74 c hash table contains following unused tokens:
  75 c
  76 c       ACCEPT          2053
  77 c       ENABLE          2047
  78 c       DISABLE         2041
  79 c       QUIT            2033
  80 c
  81 cdsw    db01op          7725
  82
  83       HASH (    59 ) =  1038
  84       HASH (    60 ) = -2343
  85       HASH (    79 ) =  1048
  86       HASH (    81 ) =  2058
  87       HASH (    82 ) = -2691
  88       HASH (    85 ) =  1051
  89       HASH (    86 ) = -2271
  90       HASH (    95 ) =  2065
  91       HASH (    96 ) = -2689
  92       HASH (    97 ) =  2066
  93       HASH (    98 ) = -2639
  94       HASH (   115 ) =  2075
  95       HASH (   116 ) = -2681
  96       HASH (   179 ) =  1098
  97       HASH (   180 ) = -2669
  98       HASH (   189 ) =  1103
  99       HASH (   190 ) = -2285
 100       HASH (   195 ) =  1106
 101       HASH (   196 ) = -2865
 102       HASH (   209 ) =  1113
 103       HASH (   210 ) = -2289
 104       HASH (   237 ) =  2136
 105       HASH (   238 ) = -2485
 106       HASH (   307 ) =  1162
 107       HASH (   308 ) = -2607
 108       HASH (   317 ) =  1167
 109       HASH (   323 ) =  1170
 110       HASH (   324 ) = -7999
 111       HASH (   331 ) =  1174
 112       HASH (   332 ) = -2523
 113       HASH (   333 ) =  1175
 114       HASH (   334 ) =  2861
 115       HASH (   335 ) =  1176
 116       HASH (   336 ) = -2609
 117       HASH (   343 ) =  1180
 118       HASH (   344 ) =  2605
 119       HASH (   579 ) =  1298
 120       HASH (   580 ) = -2835
 121       HASH (   691 ) =  1354
 122       HASH (   692 ) = -2637
 123       HASH (   717 ) =  1367
 124       HASH (   719 ) =  1368
 125       HASH (   720 ) = -2833
 126       HASH (   819 ) =  1418
 127       HASH (   820 ) = -2831
 128       HASH (   827 ) =  1422
 129       HASH (   828 ) = -2327
 130       HASH (   835 ) =  1426
 131       HASH (   836 ) = -2395
 132       HASH (   847 ) =  1432
 133       HASH (   848 ) = -2829
 134       HASH (   955 ) =  1486
 135       HASH (   956 ) = -2827
 136       HASH (   975 ) =  1496
 137       HASH (   976 ) = -2825
 138       HASH (   987 ) =  1502
 139       HASH (   988 ) = -1989
 140       HASH (  1081 ) =  1549
 141       HASH (  1105 ) =  1561
 142       HASH (  1106 ) = -2363
 143       HASH (  1109 ) =  1563
 144       HASH (  1110 ) =  2819
 145       HASH (  1113 ) =  1565
 146       HASH (  1114 ) = -2815
 147       HASH (  1115 ) =  1566
 148       HASH (  1116 ) = -2807
 149       HASH (  1203 ) =  1610
 150       HASH (  1204 ) = -2493
 151       HASH (  1231 ) =  1624
 152       HASH (  1232 ) = -2241
 153       HASH (  1237 ) =  1627
 154       HASH (  1238 ) = -2797
 155       HASH (  1243 ) =  1630
 156       HASH (  1244 ) = -2341
 157       HASH (  1303 ) =   651
 158       HASH (  1304 ) = -2615
 159       HASH (  1305 ) =   652
 160       HASH (  1306 ) = -2305
 161       HASH (  1325 ) =   662
 162       HASH (  1326 ) = -2381
 163       HASH (  1327 ) =   663
 164       HASH (  1328 ) = -2999
 165       HASH (  1335 ) =   667
 166       HASH (  1336 ) = -2997
 167       HASH (  1337 ) =   668
 168       HASH (  1338 ) = -7839
 169       HASH (  1339 ) =   669
 170       HASH (  1340 ) = -2985
 171       HASH (  1371 ) =  1694
 172       HASH (  1372 ) = -2777
 173       HASH (  1437 ) =   718
 174       HASH (  1438 ) = -2973
 175       HASH (  1451 ) =   725
 176       HASH (  1452 ) = -2969
 177       HASH (  1457 ) =   728
 178       HASH (  1458 ) = -2965
 179       HASH (  1459 ) =  1738
 180       HASH (  1460 ) = -2659
 181       HASH (  1463 ) =   731
 182       HASH (  1464 ) = -2267
 183       HASH (  1467 ) =  1742
 184       HASH (  1468 ) = -2775
 185       HASH (  1487 ) =  1752
 186       HASH (  1488 ) = -2583
 187       HASH (  1557 ) =   778
 188       HASH (  1558 ) = -2955
 189       HASH (  1571 ) =   785
 190       HASH (  1572 ) = -2949
 191       HASH (  1573 ) =   786
 192       HASH (  1574 ) = -2103
 193       HASH (  1579 ) =   789
 194       HASH (  1580 ) = -2941
 195       HASH (  1585 ) =   792
 196       HASH (  1586 ) = -2927
 197       HASH (  1591 ) =  1804
 198       HASH (  1592 ) = -2189
 199       HASH (  1595 ) =  1806
 200       HASH (  1596 ) = -2751
 201       HASH (  1601 ) =  1809
 202       HASH (  1602 ) = -7981
 203       HASH (  1603 ) =  1810
 204       HASH (  1604 ) = -2663
 205       HASH (  1609 ) =  1813
 206       HASH (  1610 ) = -2463
 207       HASH (  1619 ) =  1818
 208       HASH (  1620 ) = -2591
 209       HASH (  1625 ) =  1821
 210       HASH (  1626 ) = -2743
 211       HASH (  1635 ) =  1826
 212       HASH (  1636 ) = -2003
 213       HASH (  1685 ) =   842
 214       HASH (  1686 ) = -2349
 215       HASH (  1687 ) =   843
 216       HASH (  1688 ) = -7835
 217       HASH (  1693 ) =   846
 218       HASH (  1694 ) = -2909
 219       HASH (  1701 ) =   850
 220       HASH (  1702 ) = -2905
 221       HASH (  1713 ) =   856
 222       HASH (  1714 ) =  2899
 223       HASH (  1715 ) =  1866
 224       HASH (  1716 ) = -2731
 225       HASH (  1719 ) =   859
 226       HASH (  1720 ) = -2283
 227       HASH (  1723 ) =  1870
 228       HASH (  1724 ) = -2647
 229       HASH (  1729 ) =  1873
 230       HASH (  1730 ) = -2727
 231       HASH (  1731 ) =  1874
 232       HASH (  1732 ) = -2593
 233       HASH (  1743 ) =  1880
 234       HASH (  1749 ) =  1883
 235       HASH (  1750 ) = -2721
 236       HASH (  1751 ) =  1884
 237       HASH (  1752 ) =  2425
 238       HASH (  1763 ) =  1890
 239       HASH (  1764 ) = -2719
 240       HASH (  1829 ) =  1367
 241       HASH (  1830 ) =  2253
 242       HASH (  1831 ) =   653
 243       HASH (  1832 ) = -1829
 244       HASH (  1833 ) =  1742
 245       HASH (  1834 ) = -1831
 246       HASH (  1835 ) =   917
 247       HASH (  1836 ) = -2893
 248       HASH (  1837 ) =   918
 249       HASH (  1838 ) = -2399
 250       HASH (  1839 ) =   919
 251       HASH (  1840 ) = -2891
 252       HASH (  1841 ) =   920
 253       HASH (  1842 ) = -2617
 254       HASH (  1849 ) =   924
 255       HASH (  1850 ) = -2889
 256       HASH (  1859 ) =   929
 257       HASH (  1860 ) = -2887
 258       HASH (  1869 ) =  1943
 259       HASH (  1870 ) = -2717
 260       HASH (  1873 ) =  1945
 261       HASH (  1874 ) = -2709
 262       HASH (  1941 ) =   970
 263       HASH (  1942 ) = -2877
 264       HASH (  1957 ) =   978
 265       HASH (  1958 ) =  2339
 266       HASH (  1969 ) =   984
 267       HASH (  1970 ) = -2873
 268       HASH (  1971 ) =  1994
 269       HASH (  1972 ) = -2699
 270       HASH (  1981 ) =   990
 271       HASH (  1982 ) = -2871
 272       HASH (  1987 ) =  2002
 273       HASH (  1988 ) = -2697
 274       HASH (  1989 ) =  1422
 275       HASH (  1990 ) = -1991
 276       HASH (  1991 ) =  1755
 277       HASH (  1992 ) = -1993
 278       HASH (  1993 ) =  1563
 279       HASH (  1995 ) =  1890
 280       HASH (  1996 ) = -1997
 281       HASH (  1997 ) =  1614
 282       HASH (  1998 ) = -1999
 283       HASH (  1999 ) =  1755
 284       HASH (  2000 ) = -2001
 285       HASH (  2001 ) =  1563
 286       HASH (  2003 ) =  1806
 287       HASH (  2004 ) = -2005
 288       HASH (  2005 ) =  1755
 289       HASH (  2006 ) = -2007
 290       HASH (  2007 ) =  1563
 291       HASH (  2017 ) =  1559
 292       HASH (  2019 ) =  1874
 293       HASH (  2020 ) = -2017
 294       HASH (  2021 ) =  1810
 295       HASH (  2022 ) = -2019
 296       HASH (  2023 ) =  1624
 297       HASH (  2024 ) = -2021
 298       HASH (  2025 ) =  1741
 299       HASH (  2027 ) =   778
 300       HASH (  2028 ) = -2025
 301       HASH (  2029 ) =  1496
 302       HASH (  2030 ) = -2027
 303       HASH (  2031 ) =  1181
 304       HASH (  2033 ) =  1694
 305       HASH (  2034 ) = -2031
 306       HASH (  2035 ) =    14
 307       HASH (  2037 ) =   725
 308       HASH (  2038 ) = -2035
 309       HASH (  2039 ) =  1802
 310       HASH (  2040 ) = -2037
 311       HASH (  2041 ) =   850
 312       HASH (  2042 ) = -2039
 313       HASH (  2043 ) =  1358
 314       HASH (  2045 ) =   651
 315       HASH (  2046 ) = -2043
 316       HASH (  2047 ) =   919
 317       HASH (  2048 ) = -2045
 318       HASH (  2049 ) =  1629
 319       HASH (  2051 ) =   782
 320       HASH (  2052 ) = -2049
 321       HASH (  2053 ) =   652
 322       HASH (  2054 ) = -2051
 323       HASH (  2055 ) =  2254
 324       HASH (  2056 ) =  7827
 325       HASH (  2057 ) =  1810
 326       HASH (  2058 ) = -2055
 327       HASH (  2059 ) =   661
 328       HASH (  2060 ) = -2057
 329       HASH (  2061 ) =  1742
 330       HASH (  2062 ) = -2059
 331       HASH (  2063 ) =    14
 332       HASH (  2064 ) =  7985
 333       HASH (  2065 ) =  1187
 334       HASH (  2066 ) = -2063
 335       HASH (  2067 ) =  1884
 336       HASH (  2068 ) = -2065
 337       HASH (  2069 ) =  1175
 338       HASH (  2070 ) = -2067
 339       HASH (  2071 ) =   908
 340       HASH (  2073 ) =  1883
 341       HASH (  2074 ) = -2071
 342       HASH (  2075 ) =  1630
 343       HASH (  2076 ) = -2073
 344       HASH (  2077 ) =   908
 345       HASH (  2078 ) =  7945
 346       HASH (  2079 ) =  1883
 347       HASH (  2080 ) = -2077
 348       HASH (  2081 ) =  1038
 349       HASH (  2082 ) = -2079
 350       HASH (  2083 ) =  1492
 351       HASH (  2085 ) =  1362
 352       HASH (  2086 ) = -2083
 353       HASH (  2087 ) =  1943
 354       HASH (  2088 ) = -2085
 355       HASH (  2089 ) =   916
 356       HASH (  2090 ) =  7957
 357       HASH (  2091 ) =  1806
 358       HASH (  2092 ) = -2089
 359       HASH (  2093 ) =   797
 360       HASH (  2094 ) =  2041
 361       HASH (  2095 ) =  1742
 362       HASH (  2096 ) = -2093
 363       HASH (  2097 ) =   850
 364       HASH (  2098 ) = -2095
 365       HASH (  2099 ) =   908
 366       HASH (  2101 ) =   929
 367       HASH (  2102 ) = -2099
 368       HASH (  2103 ) =  1739
 369       HASH (  2105 ) =    16
 370       HASH (  2107 ) =  1175
 371       HASH (  2108 ) = -2105
 372       HASH (  2109 ) =  1883
 373       HASH (  2110 ) = -2107
 374       HASH (  2111 ) =  1884
 375       HASH (  2112 ) = -2109
 376       HASH (  2113 ) =  1566
 377       HASH (  2114 ) = -2111
 378       HASH (  2115 ) =  1864
 379       HASH (  2117 ) =  1559
 380       HASH (  2118 ) = -2115
 381       HASH (  2119 ) =  1103
 382       HASH (  2120 ) = -2117
 383       HASH (  2121 ) =    29
 384       HASH (  2122 ) =  2119
 385       HASH (  2123 ) =  1559
 386       HASH (  2124 ) = -2121
 387       HASH (  2125 ) =  1103
 388       HASH (  2126 ) = -2123
 389       HASH (  2127 ) =    20
 390       HASH (  2129 ) =   652
 391       HASH (  2130 ) = -2127
 392       HASH (  2131 ) =  1883
 393       HASH (  2132 ) = -2129
 394       HASH (  2133 ) =   665
 395       HASH (  2135 ) =  1750
 396       HASH (  2136 ) = -2133
 397       HASH (  2137 ) =  2136
 398       HASH (  2138 ) = -2135
 399       HASH (  2139 ) =    25
 400       HASH (  2141 ) =  1418
 401       HASH (  2142 ) = -2139
 402       HASH (  2143 ) =  1563
 403       HASH (  2144 ) = -2141
 404       HASH (  2145 ) =   665
 405       HASH (  2146 ) =  2075
 406       HASH (  2147 ) =  1878
 407       HASH (  2148 ) = -2145
 408       HASH (  2149 ) =  1630
 409       HASH (  2150 ) = -2147
 410       HASH (  2151 ) =   665
 411       HASH (  2152 ) =  2081
 412       HASH (  2153 ) =  1878
 413       HASH (  2154 ) = -2151
 414       HASH (  2155 ) =  1038
 415       HASH (  2156 ) = -2153
 416       HASH (  2157 ) =    33
 417       HASH (  2158 ) =  2069
 418       HASH (  2159 ) =  1618
 419       HASH (  2160 ) = -2157
 420       HASH (  2161 ) =  1175
 421       HASH (  2162 ) = -2159
 422       HASH (  2163 ) =  1564
 423       HASH (  2164 ) =  2161
 424       HASH (  2165 ) =  2201
 425       HASH (  2166 ) = -2163
 426       HASH (  2167 ) =  1175
 427       HASH (  2168 ) = -2165
 428       HASH (  2169 ) =  1564
 429       HASH (  2170 ) =  2167
 430       HASH (  2171 ) =  2137
 431       HASH (  2172 ) = -2169
 432       HASH (  2173 ) =  1175
 433       HASH (  2174 ) = -2171
 434       HASH (  2175 ) =    34
 435       HASH (  2176 ) =  2023
 436       HASH (  2177 ) =  1633
 437       HASH (  2178 ) = -2175
 438       HASH (  2179 ) =  1624
 439       HASH (  2180 ) = -2177
 440       HASH (  2181 ) =  2146
 441       HASH (  2182 ) =  2149
 442       HASH (  2183 ) =  1809
 443       HASH (  2184 ) = -2181
 444       HASH (  2185 ) =  1630
 445       HASH (  2186 ) = -2183
 446       HASH (  2187 ) =   919
 447       HASH (  2188 ) =  7785
 448       HASH (  2189 ) =  1742
 449       HASH (  2190 ) = -2187
 450       HASH (  2191 ) =    24
 451       HASH (  2193 ) =   846
 452       HASH (  2194 ) = -2191
 453       HASH (  2195 ) =  2002
 454       HASH (  2196 ) = -2193
 455       HASH (  2197 ) =   923
 456       HASH (  2199 ) =  1741
 457       HASH (  2200 ) = -2197
 458       HASH (  2201 ) =   728
 459       HASH (  2202 ) = -2199
 460       HASH (  2203 ) =   925
 461       HASH (  2205 ) =  1365
 462       HASH (  2206 ) = -2203
 463       HASH (  2207 ) =  1610
 464       HASH (  2208 ) = -2205
 465       HASH (  2209 ) =  1500
 466       HASH (  2210 ) =  2173
 467       HASH (  2211 ) =  1870
 468       HASH (  2212 ) = -2209
 469       HASH (  2213 ) =  1175
 470       HASH (  2214 ) = -2211
 471       HASH (  2215 ) =  1751
 472       HASH (  2216 ) =  2207
 473       HASH (  2217 ) =  1870
 474       HASH (  2218 ) = -2215
 475       HASH (  2219 ) =  1610
 476       HASH (  2220 ) = -2217
 477       HASH (  2221 ) =    14
 478       HASH (  2222 ) =  7963
 479       HASH (  2223 ) =  2197
 480       HASH (  2224 ) = -2221
 481       HASH (  2225 ) =  1821
 482       HASH (  2226 ) = -2223
 483       HASH (  2227 ) =    27
 484       HASH (  2229 ) =  1368
 485       HASH (  2230 ) = -2227
 486       HASH (  2231 ) =   792
 487       HASH (  2232 ) = -2229
 488       HASH (  2233 ) =    21
 489       HASH (  2235 ) =  1173
 490       HASH (  2236 ) = -2233
 491       HASH (  2237 ) =  1999
 492       HASH (  2238 ) = -2235
 493       HASH (  2239 ) =    29
 494       HASH (  2240 ) =  2179
 495       HASH (  2241 ) =  1175
 496       HASH (  2242 ) = -2239
 497       HASH (  2243 ) =   788
 498       HASH (  2244 ) =  2087
 499       HASH (  2245 ) =  1610
 500       HASH (  2246 ) = -2243
 501       HASH (  2247 ) =  1943
 502       HASH (  2248 ) = -2245
 503       HASH (  2249 ) =  1870
 504       HASH (  2250 ) = -2251
 505       HASH (  2251 ) =  2141
 506       HASH (  2253 ) =  1742
 507       HASH (  2254 ) = -2255
 508       HASH (  2255 ) =  1806
 509       HASH (  2256 ) = -2257
 510       HASH (  2257 ) =    29
 511       HASH (  2258 ) =  2259
 512       HASH (  2259 ) =  1742
 513       HASH (  2260 ) = -2261
 514       HASH (  2261 ) =  2075
 515       HASH (  2262 ) = -2263
 516       HASH (  2263 ) =  1181
 517       HASH (  2264 ) = -2265
 518       HASH (  2265 ) =    14
 519       HASH (  2266 ) =  2061
 520       HASH (  2267 ) =   906
 521       HASH (  2268 ) = -2269
 522       HASH (  2269 ) =    20
 523       HASH (  2270 ) =  7797
 524       HASH (  2271 ) =  1559
 525       HASH (  2272 ) =  2273
 526       HASH (  2273 ) =  1051
 527       HASH (  2274 ) = -2275
 528       HASH (  2275 ) =  1551
 529       HASH (  2276 ) = -2277
 530       HASH (  2277 ) =    15
 531       HASH (  2279 ) =  1432
 532       HASH (  2280 ) = -2281
 533       HASH (  2281 ) =  1998
 534       HASH (  2282 ) =  7991
 535       HASH (  2283 ) =   672
 536       HASH (  2285 ) =  1173
 537       HASH (  2286 ) = -2287
 538       HASH (  2287 ) =    21
 539       HASH (  2288 ) =  2125
 540       HASH (  2289 ) =   656
 541       HASH (  2290 ) = -2291
 542       HASH (  2291 ) =    14
 543       HASH (  2293 ) =  1098
 544       HASH (  2294 ) = -2295
 545       HASH (  2295 ) =  1804
 546       HASH (  2296 ) = -2297
 547       HASH (  2297 ) =  1170
 548       HASH (  2299 ) =  1175
 549       HASH (  2300 ) = -2301
 550       HASH (  2301 ) =  1294
 551       HASH (  2302 ) = -2303
 552       HASH (  2303 ) =    34
 553       HASH (  2304 ) =  2213
 554       HASH (  2305 ) =   782
 555       HASH (  2306 ) = -2307
 556       HASH (  2307 ) =  1755
 557       HASH (  2308 ) = -2309
 558       HASH (  2309 ) =  1563
 559       HASH (  2310 ) =  2053
 560       HASH (  2311 ) =   792
 561       HASH (  2312 ) = -2313
 562       HASH (  2313 ) =  1486
 563       HASH (  2314 ) = -2315
 564       HASH (  2315 ) =  1755
 565       HASH (  2316 ) = -2317
 566       HASH (  2317 ) =  1563
 567       HASH (  2318 ) =  2231
 568       HASH (  2319 ) =  1368
 569       HASH (  2320 ) = -2321
 570       HASH (  2321 ) =  1038
 571       HASH (  2322 ) = -2323
 572       HASH (  2323 ) =  1755
 573       HASH (  2324 ) = -2325
 574       HASH (  2325 ) =  1563
 575       HASH (  2327 ) =  1422
 576       HASH (  2328 ) = -2329
 577       HASH (  2329 ) =  1755
 578       HASH (  2330 ) = -2331
 579       HASH (  2331 ) =  1563
 580       HASH (  2332 ) =  7847
 581       HASH (  2333 ) =    28
 582       HASH (  2335 ) =   789
 583       HASH (  2336 ) = -2333
 584       HASH (  2337 ) =  1358
 585       HASH (  2339 ) =   978
 586       HASH (  2340 ) = -2337
 587       HASH (  2341 ) =    29
 588       HASH (  2342 ) =  2185
 589       HASH (  2343 ) =    29
 590       HASH (  2344 ) =  2155
 591       HASH (  2345 ) =   919
 592       HASH (  2347 ) =  1561
 593       HASH (  2348 ) = -2345
 594       HASH (  2349 ) =  1870
 595       HASH (  2351 ) =    27
 596       HASH (  2352 ) =  2101
 597       HASH (  2353 ) =  1610
 598       HASH (  2354 ) = -2351
 599       HASH (  2355 ) =   908
 600       HASH (  2356 ) = -2353
 601       HASH (  2357 ) =   929
 602       HASH (  2358 ) = -2355
 603       HASH (  2359 ) =    28
 604       HASH (  2360 ) =  2347
 605       HASH (  2361 ) =  1559
 606       HASH (  2362 ) = -2359
 607       HASH (  2363 ) =  1874
 608       HASH (  2364 ) = -2361
 609       HASH (  2365 ) =    20
 610       HASH (  2366 ) =  2335
 611       HASH (  2367 ) =  1548
 612       HASH (  2368 ) = -2365
 613       HASH (  2369 ) =   789
 614       HASH (  2370 ) = -2367
 615       HASH (  2371 ) =   925
 616       HASH (  2373 ) =  1500
 617       HASH (  2374 ) = -2371
 618       HASH (  2375 ) =  1738
 619       HASH (  2376 ) = -2373
 620       HASH (  2377 ) =    27
 621       HASH (  2379 ) =   718
 622       HASH (  2380 ) = -2377
 623       HASH (  2381 ) =   918
 624       HASH (  2382 ) = -2379
 625       HASH (  2383 ) =  1756
 626       HASH (  2385 ) =  1102
 627       HASH (  2386 ) = -2383
 628       HASH (  2387 ) =  1565
 629       HASH (  2388 ) = -2385
 630       HASH (  2389 ) =  1870
 631       HASH (  2390 ) =  7917
 632       HASH (  2391 ) =  1358
 633       HASH (  2392 ) = -2389
 634       HASH (  2393 ) =   846
 635       HASH (  2394 ) = -2391
 636       HASH (  2395 ) =    23
 637       HASH (  2397 ) =    34
 638       HASH (  2399 ) =  1629
 639       HASH (  2400 ) = -2397
 640       HASH (  2401 ) =  1757
 641       HASH (  2402 ) =  2299
 642       HASH (  2403 ) =  1806
 643       HASH (  2404 ) = -2401
 644       HASH (  2405 ) =  1175
 645       HASH (  2406 ) = -2403
 646       HASH (  2407 ) =    25
 647       HASH (  2408 ) =  2247
 648       HASH (  2409 ) =   788
 649       HASH (  2410 ) = -2407
 650       HASH (  2411 ) =  1368
 651       HASH (  2412 ) = -2409
 652       HASH (  2413 ) =  1943
 653       HASH (  2414 ) = -2411
 654       HASH (  2415 ) =    25
 655       HASH (  2416 ) =  2319
 656       HASH (  2417 ) =   788
 657       HASH (  2418 ) = -2415
 658       HASH (  2419 ) =  1368
 659       HASH (  2420 ) = -2417
 660       HASH (  2421 ) =  1945
 661       HASH (  2423 ) =    25
 662       HASH (  2425 ) =  1884
 663       HASH (  2426 ) = -2423
 664       HASH (  2427 ) =    23
 665       HASH (  2429 ) =  1181
 666       HASH (  2430 ) = -2427
 667       HASH (  2431 ) =  2058
 668       HASH (  2432 ) = -2429
 669       HASH (  2433 ) =   667
 670       HASH (  2434 ) =  2225
 671       HASH (  2435 ) =  1561
 672       HASH (  2436 ) = -2433
 673       HASH (  2437 ) =  1821
 674       HASH (  2438 ) = -2435
 675       HASH (  2439 ) =    25
 676       HASH (  2440 ) =  2431
 677       HASH (  2441 ) =  1181
 678       HASH (  2442 ) = -2439
 679       HASH (  2443 ) =  2058
 680       HASH (  2444 ) = -2441
 681       HASH (  2445 ) =    25
 682       HASH (  2446 ) =  2437
 683       HASH (  2447 ) =  1561
 684       HASH (  2448 ) = -2445
 685       HASH (  2449 ) =  1821
 686       HASH (  2450 ) = -2447
 687       HASH (  2451 ) =    25
 688       HASH (  2452 ) =  1833
 689       HASH (  2453 ) =  1422
 690       HASH (  2454 ) = -2451
 691       HASH (  2455 ) =  1822
 692       HASH (  2456 ) = -2453
 693       HASH (  2457 ) =  1742
 694       HASH (  2458 ) = -2455
 695       HASH (  2459 ) =    20
 696       HASH (  2461 ) =  1490
 697       HASH (  2462 ) = -2459
 698       HASH (  2463 ) =  1568
 699       HASH (  2464 ) = -2461
 700       HASH (  2465 ) =   924
 701       HASH (  2467 ) =  1548
 702       HASH (  2468 ) = -2465
 703       HASH (  2469 ) =  1627
 704       HASH (  2470 ) = -2467
 705       HASH (  2471 ) =    27
 706       HASH (  2472 ) =  2091
 707       HASH (  2473 ) =   984
 708       HASH (  2474 ) = -2471
 709       HASH (  2475 ) =  1418
 710       HASH (  2476 ) = -2473
 711       HASH (  2477 ) =  1806
 712       HASH (  2478 ) = -2475
 713       HASH (  2479 ) =  1943
 714       HASH (  2480 ) =  2047
 715       HASH (  2481 ) =   859
 716       HASH (  2482 ) = -2479
 717       HASH (  2483 ) =   919
 718       HASH (  2484 ) = -2481
 719       HASH (  2485 ) =    27
 720       HASH (  2486 ) =  2137
 721       HASH (  2487 ) =    28
 722       HASH (  2488 ) =  2219
 723       HASH (  2489 ) =   930
 724       HASH (  2490 ) = -2487
 725       HASH (  2491 ) =  1364
 726       HASH (  2492 ) = -2489
 727       HASH (  2493 ) =  1486
 728       HASH (  2494 ) = -2491
 729       HASH (  2495 ) =  1167
 730       HASH (  2497 ) =   878
 731       HASH (  2498 ) = -2495
 732       HASH (  2499 ) =   663
 733       HASH (  2500 ) = -2497
 734       HASH (  2501 ) =    15
 735       HASH (  2502 ) =  2499
 736       HASH (  2503 ) =   850
 737       HASH (  2504 ) = -2501
 738       HASH (  2505 ) =   663
 739       HASH (  2506 ) = -2503
 740       HASH (  2507 ) =     3
 741       HASH (  2509 ) =   673
 742       HASH (  2510 ) = -2507
 743       HASH (  2511 ) =  1174
 744       HASH (  2512 ) = -2509
 745       HASH (  2513 ) =   673
 746       HASH (  2514 ) =  2511
 747       HASH (  2515 ) =  1174
 748       HASH (  2516 ) = -2513
 749       HASH (  2517 ) =     3
 750       HASH (  2518 ) =  2515
 751       HASH (  2519 ) =  1175
 752       HASH (  2520 ) = -2517
 753       HASH (  2521 ) =  1174
 754       HASH (  2522 ) = -2519
 755       HASH (  2523 ) =  1175
 756       HASH (  2524 ) =  2521
 757       HASH (  2525 ) =   669
 758       HASH (  2526 ) =  2457
 759       HASH (  2527 ) =  1614
 760       HASH (  2528 ) = -2525
 761       HASH (  2529 ) =  1742
 762       HASH (  2530 ) = -2527
 763       HASH (  2531 ) =  1485
 764       HASH (  2532 ) =  2529
 765       HASH (  2533 ) =  2066
 766       HASH (  2534 ) = -2531
 767       HASH (  2535 ) =  1742
 768       HASH (  2536 ) = -2533
 769       HASH (  2537 ) =    14
 770       HASH (  2538 ) =  2483
 771       HASH (  2539 ) =  1173
 772       HASH (  2540 ) = -2537
 773       HASH (  2541 ) =   847
 774       HASH (  2542 ) = -2539
 775       HASH (  2543 ) =   919
 776       HASH (  2544 ) = -2541
 777       HASH (  2545 ) =   663
 778       HASH (  2547 ) =   669
 779       HASH (  2548 ) = -2545
 780       HASH (  2549 ) =    25
 781       HASH (  2550 ) =  2357
 782       HASH (  2551 ) =   929
 783       HASH (  2552 ) = -2549
 784       HASH (  2553 ) =    23
 785       HASH (  2555 ) =  1866
 786       HASH (  2556 ) = -2553
 787       HASH (  2557 ) =    28
 788       HASH (  2558 ) =  2311
 789       HASH (  2559 ) =   792
 790       HASH (  2560 ) = -2557
 791       HASH (  2561 ) =    23
 792       HASH (  2563 ) =  1810
 793       HASH (  2564 ) = -2561
 794       HASH (  2565 ) =  1047
 795       HASH (  2566 ) =  2563
 796       HASH (  2567 ) =  1810
 797       HASH (  2568 ) = -2565
 798       HASH (  2569 ) =    13
 799       HASH (  2570 ) =  2143
 800       HASH (  2571 ) =  1563
 801       HASH (  2572 ) = -2569
 802       HASH (  2573 ) =    27
 803       HASH (  2575 ) =   785
 804       HASH (  2576 ) = -2573
 805       HASH (  2577 ) =  1367
 806       HASH (  2579 ) =   920
 807       HASH (  2580 ) = -2577
 808       HASH (  2581 ) =    13
 809       HASH (  2583 ) =  1943
 810       HASH (  2584 ) = -2581
 811       HASH (  2585 ) =   923
 812       HASH (  2586 ) =  2543
 813       HASH (  2587 ) =  1874
 814       HASH (  2588 ) = -2585
 815       HASH (  2589 ) =   919
 816       HASH (  2590 ) = -2587
 817       HASH (  2591 ) =  1757
 818       HASH (  2593 ) =  1422
 819       HASH (  2595 ) =  1558
 820       HASH (  2596 ) =  2375
 821       HASH (  2597 ) =  1485
 822       HASH (  2598 ) = -2595
 823       HASH (  2599 ) =  1738
 824       HASH (  2600 ) = -2597
 825       HASH (  2601 ) =    29
 826       HASH (  2603 ) =  1103
 827       HASH (  2604 ) = -2601
 828       HASH (  2605 ) =  1180
 829       HASH (  2606 ) = -2603
 830       HASH (  2607 ) =  1485
 831       HASH (  2609 ) =    27
 832       HASH (  2611 ) =  1565
 833       HASH (  2612 ) =  2405
 834       HASH (  2613 ) =  1175
 835       HASH (  2614 ) = -2611
 836       HASH (  2615 ) =    28
 837       HASH (  2617 ) =    15
 838       HASH (  2618 ) =  2579
 839       HASH (  2619 ) =   665
 840       HASH (  2620 ) =  2131
 841       HASH (  2621 ) =  1883
 842       HASH (  2622 ) = -2619
 843       HASH (  2623 ) =  1365
 844       HASH (  2625 ) =  2066
 845       HASH (  2626 ) = -2623
 846       HASH (  2627 ) =  1821
 847       HASH (  2628 ) = -2625
 848       HASH (  2629 ) =  1354
 849       HASH (  2630 ) = -2627
 850       HASH (  2631 ) =    21
 851       HASH (  2632 ) =  2629
 852       HASH (  2633 ) =  1173
 853       HASH (  2634 ) = -2631
 854       HASH (  2635 ) =  2976
 855       HASH (  2636 ) = -2633
 856       HASH (  2637 ) =  1821
 857       HASH (  2638 ) = -2635
 858       HASH (  2639 ) =  1485
 859       HASH (  2640 ) =  7831
 860       HASH (  2641 ) =    14
 861       HASH (  2642 ) =  2249
 862       HASH (  2643 ) =   669
 863       HASH (  2644 ) = -2641
 864       HASH (  2645 ) =  1175
 865       HASH (  2646 ) = -2643
 866       HASH (  2647 ) =  1750
 867       HASH (  2648 ) = -2645
 868       HASH (  2649 ) =  1934
 869       HASH (  2650 ) =  2559
 870       HASH (  2651 ) =  1175
 871       HASH (  2652 ) = -2649
 872       HASH (  2653 ) =  1501
 873       HASH (  2654 ) = -2651
 874       HASH (  2655 ) =   792
 875       HASH (  2656 ) = -2653
 876       HASH (  2657 ) =    14
 877       HASH (  2658 ) =  2599
 878       HASH (  2659 ) =  1180
 879       HASH (  2660 ) = -2657
 880       HASH (  2661 ) =   661
 881       HASH (  2662 ) =  2567
 882       HASH (  2663 ) =  1047
 883       HASH (  2664 ) = -2661
 884       HASH (  2665 ) =  1756
 885       HASH (  2666 ) =  2293
 886       HASH (  2667 ) =  1358
 887       HASH (  2668 ) = -2665
 888       HASH (  2669 ) =  1485
 889       HASH (  2670 ) = -2667
 890       HASH (  2671 ) =    23
 891       HASH (  2673 ) =   917
 892       HASH (  2674 ) = -2671
 893       HASH (  2675 ) =  1181
 894       HASH (  2676 ) = -2673
 895       HASH (  2677 ) =  2075
 896       HASH (  2678 ) = -2675
 897       HASH (  2679 ) =    14
 898       HASH (  2680 ) =  2677
 899       HASH (  2681 ) =  1181
 900       HASH (  2682 ) = -2679
 901       HASH (  2683 ) =    14
 902       HASH (  2685 ) =  1173
 903       HASH (  2686 ) = -2683
 904       HASH (  2687 ) =  2065
 905       HASH (  2688 ) = -2685
 906       HASH (  2689 ) =   919
 907       HASH (  2690 ) =  2687
 908       HASH (  2691 ) =  1181
 909       HASH (  2692 ) =  2443
 910       HASH (  2693 ) =    21
 911       HASH (  2694 ) =  2195
 912       HASH (  2695 ) =  1930
 913       HASH (  2696 ) = -2693
 914       HASH (  2697 ) =  1757
 915       HASH (  2698 ) = -2695
 916       HASH (  2699 ) =    27
 917       HASH (  2701 ) =    27
 918       HASH (  2702 ) =  2419
 919       HASH (  2703 ) =  2062
 920       HASH (  2704 ) = -2701
 921       HASH (  2705 ) =  1368
 922       HASH (  2706 ) = -2703
 923       HASH (  2707 ) =    27
 924       HASH (  2708 ) =  2421
 925       HASH (  2709 ) =  1614
 926       HASH (  2710 ) = -2707
 927       HASH (  2711 ) =   788
 928       HASH (  2712 ) =  2413
 929       HASH (  2713 ) =  1368
 930       HASH (  2714 ) = -2711
 931       HASH (  2715 ) =  1943
 932       HASH (  2716 ) = -2713
 933       HASH (  2717 ) =  1181
 934       HASH (  2718 ) =  2715
 935       HASH (  2719 ) =  1614
 936       HASH (  2720 ) =  1995
 937       HASH (  2721 ) =  1934
 938       HASH (  2722 ) =  2621
 939       HASH (  2723 ) =  1180
 940       HASH (  2725 ) =  1873
 941       HASH (  2726 ) = -2723
 942       HASH (  2727 ) =   919
 943       HASH (  2728 ) =  2725
 944       HASH (  2729 ) =    23
 945       HASH (  2730 ) =  2555
 946       HASH (  2731 ) =  1294
 947       HASH (  2732 ) = -2729
 948       HASH (  2733 ) =  1488
 949       HASH (  2734 ) =  2447
 950       HASH (  2735 ) =  1746
 951       HASH (  2736 ) = -2733
 952       HASH (  2737 ) =  1821
 953       HASH (  2738 ) = -2735
 954       HASH (  2739 ) =  1561
 955       HASH (  2740 ) =  2737
 956       HASH (  2741 ) =  1821
 957       HASH (  2742 ) = -2739
 958       HASH (  2743 ) =   921
 959       HASH (  2744 ) =  2741
 960       HASH (  2745 ) =    14
 961       HASH (  2746 ) =  2477
 962       HASH (  2747 ) =  1563
 963       HASH (  2748 ) = -2745
 964       HASH (  2749 ) =  1617
 965       HASH (  2750 ) = -2747
 966       HASH (  2751 ) =  1418
 967       HASH (  2752 ) = -2749
 968       HASH (  2753 ) =  1751
 969       HASH (  2754 ) =  2535
 970       HASH (  2755 ) =  1886
 971       HASH (  2756 ) = -2753
 972       HASH (  2757 ) =  1742
 973       HASH (  2758 ) = -2755
 974       HASH (  2759 ) =  1422
 975       HASH (  2760 ) =  2757
 976       HASH (  2761 ) =  1822
 977       HASH (  2762 ) = -2759
 978       HASH (  2763 ) =  1742
 979       HASH (  2764 ) = -2761
 980       HASH (  2765 ) =  1373
 981       HASH (  2766 ) =  2763
 982       HASH (  2767 ) =  1822
 983       HASH (  2768 ) = -2765
 984       HASH (  2769 ) =  1742
 985       HASH (  2770 ) = -2767
 986       HASH (  2771 ) =   661
 987       HASH (  2772 ) =  2769
 988       HASH (  2773 ) =  1742
 989       HASH (  2774 ) = -2771
 990       HASH (  2775 ) =   653
 991       HASH (  2776 ) =  2773
 992       HASH (  2777 ) =    10
 993       HASH (  2778 ) =  2033
 994       HASH (  2779 ) =    28
 995       HASH (  2780 ) =  2469
 996       HASH (  2781 ) =   924
 997       HASH (  2782 ) = -2779
 998       HASH (  2783 ) =  1548
 999       HASH (  2784 ) = -2781
1000       HASH (  2785 ) =  1627
1001       HASH (  2786 ) = -2783
1002       HASH (  2787 ) =    14
1003       HASH (  2788 ) =  2785
1004       HASH (  2789 ) =  1947
1005       HASH (  2790 ) = -2787
1006       HASH (  2791 ) =   909
1007       HASH (  2792 ) = -2789
1008       HASH (  2793 ) =  1548
1009       HASH (  2794 ) = -2791
1010       HASH (  2795 ) =  1627
1011       HASH (  2796 ) = -2793
1012       HASH (  2797 ) =   911
1013       HASH (  2798 ) =  2795
1014       HASH (  2799 ) =    15
1015       HASH (  2800 ) =  2571
1016       HASH (  2801 ) =  2962
1017       HASH (  2802 ) = -2799
1018       HASH (  2803 ) =  1563
1019       HASH (  2804 ) = -2801
1020       HASH (  2805 ) =  1949
1021       HASH (  2806 ) =  2113
1022       HASH (  2807 ) =  1881
1023       HASH (  2808 ) = -2805
1024       HASH (  2809 ) =    14
1025       HASH (  2810 ) =  2387
1026       HASH (  2811 ) =  1180
1027       HASH (  2812 ) = -2809
1028       HASH (  2813 ) =  1760
1029       HASH (  2814 ) = -2811
1030       HASH (  2815 ) =  1102
1031       HASH (  2816 ) = -2813
1032       HASH (  2817 ) =  1167
1033       HASH (  2818 ) =  2803
1034       HASH (  2819 ) =  1563
1035       HASH (  2820 ) = -2817
1036       HASH (  2821 ) =    29
1037       HASH (  2822 ) =  2029
1038       HASH (  2823 ) =  1496
1039       HASH (  2824 ) = -2821
1040       HASH (  2825 ) =  1486
1041       HASH (  2826 ) =  2823
1042       HASH (  2827 ) =    32
1043       HASH (  2829 ) =    13
1044       HASH (  2830 ) =  2279
1045       HASH (  2831 ) =  1175
1046       HASH (  2832 ) =  7821
1047       HASH (  2833 ) =   788
1048       HASH (  2834 ) =  2705
1049       HASH (  2835 ) =  1365
1050       HASH (  2837 ) =    29
1051       HASH (  2838 ) =  2613
1052       HASH (  2839 ) =  1566
1053       HASH (  2840 ) = -2837
1054       HASH (  2841 ) =  1175
1055       HASH (  2842 ) = -2839
1056       HASH (  2843 ) =    27
1057       HASH (  2844 ) =  2841
1058       HASH (  2845 ) =  1038
1059       HASH (  2846 ) = -2843
1060       HASH (  2847 ) =  1870
1061       HASH (  2848 ) = -2845
1062       HASH (  2849 ) =  1175
1063       HASH (  2850 ) = -2847
1064       HASH (  2851 ) =    29
1065       HASH (  2852 ) =  2849
1066       HASH (  2853 ) =  1630
1067       HASH (  2854 ) = -2851
1068       HASH (  2855 ) =  1175
1069       HASH (  2856 ) = -2853
1070       HASH (  2857 ) =    27
1071       HASH (  2858 ) =  2855
1072       HASH (  2859 ) =  1486
1073       HASH (  2860 ) = -2857
1074       HASH (  2861 ) =  1175
1075       HASH (  2862 ) = -2859
1076       HASH (  2863 ) =   919
1077       HASH (  2864 ) =  7973
1078       HASH (  2865 ) =   845
1079       HASH (  2866 ) = -2863
1080       HASH (  2867 ) =  1559
1081       HASH (  2868 ) =  2237
1082       HASH (  2869 ) =  1874
1083       HASH (  2870 ) = -2867
1084       HASH (  2871 ) =  1484
1085       HASH (  2872 ) = -2869
1086       HASH (  2873 ) =    27
1087       HASH (  2875 ) =    14
1088       HASH (  2877 ) =  1372
1089       HASH (  2878 ) = -2875
1090       HASH (  2879 ) =   661
1091       HASH (  2880 ) =  2551
1092       HASH (  2881 ) =  1751
1093       HASH (  2882 ) = -2879
1094       HASH (  2883 ) =  1870
1095       HASH (  2884 ) = -2881
1096       HASH (  2885 ) =   929
1097       HASH (  2886 ) = -2883
1098       HASH (  2887 ) =  1181
1099       HASH (  2888 ) =  2885
1100       HASH (  2889 ) =   652
1101       HASH (  2891 ) =    13
1102       HASH (  2892 ) =  2589
1103       HASH (  2893 ) =  1806
1104       HASH (  2895 ) =  1880
1105       HASH (  2897 ) =  2071
1106       HASH (  2898 ) = -2895
1107       HASH (  2899 ) =   856
1108       HASH (  2900 ) = -2897
1109       HASH (  2901 ) =    31
1110       HASH (  2902 ) =  2097
1111       HASH (  2903 ) =   850
1112       HASH (  2904 ) = -2901
1113       HASH (  2905 ) =    22
1114       HASH (  2906 ) =  2903
1115       HASH (  2907 ) =   785
1116       HASH (  2908 ) =  2393
1117       HASH (  2909 ) =  1866
1118       HASH (  2910 ) = -2907
1119       HASH (  2911 ) =    14
1120       HASH (  2912 ) =  2655
1121       HASH (  2913 ) =  1175
1122       HASH (  2914 ) = -2911
1123       HASH (  2915 ) =  1949
1124       HASH (  2916 ) = -2913
1125       HASH (  2917 ) =  1752
1126       HASH (  2918 ) = -2915
1127       HASH (  2919 ) =   792
1128       HASH (  2920 ) = -2917
1129       HASH (  2921 ) =  1634
1130       HASH (  2922 ) =  2919
1131       HASH (  2923 ) =   792
1132       HASH (  2924 ) = -2921
1133       HASH (  2925 ) =    29
1134       HASH (  2926 ) =  2923
1135       HASH (  2927 ) =  1500
1136       HASH (  2928 ) = -2925
1137       HASH (  2929 ) =   667
1138       HASH (  2930 ) =  2575
1139       HASH (  2931 ) =   785
1140       HASH (  2932 ) = -2929
1141       HASH (  2933 ) =    14
1142       HASH (  2934 ) =  2369
1143       HASH (  2935 ) =  1564
1144       HASH (  2936 ) = -2933
1145       HASH (  2937 ) =   789
1146       HASH (  2938 ) = -2935
1147       HASH (  2939 ) =    28
1148       HASH (  2940 ) =  2937
1149       HASH (  2941 ) =   668
1150       HASH (  2942 ) = -2939
1151       HASH (  2943 ) =    27
1152       HASH (  2944 ) =  2931
1153       HASH (  2945 ) =  1870
1154       HASH (  2946 ) = -2943
1155       HASH (  2947 ) =   652
1156       HASH (  2948 ) = -2945
1157       HASH (  2949 ) =   667
1158       HASH (  2950 ) = -2947
1159       HASH (  2951 ) =  1806
1160       HASH (  2953 ) =   778
1161       HASH (  2954 ) = -2951
1162       HASH (  2955 ) =  1365
1163       HASH (  2956 ) =  2953
1164       HASH (  2957 ) =  1557
1165       HASH (  2958 ) =  2201
1166       HASH (  2959 ) =   728
1167       HASH (  2960 ) = -2957
1168       HASH (  2961 ) =    23
1169       HASH (  2962 ) =  2959
1170       HASH (  2963 ) =   906
1171       HASH (  2964 ) = -2961
1172       HASH (  2965 ) =  1557
1173       HASH (  2966 ) = -2963
1174       HASH (  2967 ) =    20
1175       HASH (  2969 ) =  1548
1176       HASH (  2970 ) = -2967
1177       HASH (  2971 ) =    23
1178       HASH (  2973 ) =  1042
1179       HASH (  2974 ) = -2971
1180       HASH (  2975 ) =  1551
1181       HASH (  2977 ) =  2222
1182       HASH (  2978 ) = -2975
1183       HASH (  2979 ) =  1738
1184       HASH (  2980 ) = -2977
1185       HASH (  2981 ) =   667
1186       HASH (  2982 ) = -2979
1187       HASH (  2983 ) =   785
1188       HASH (  2984 ) =  2547
1189       HASH (  2985 ) =  1866
1190       HASH (  2986 ) = -2983
1191       HASH (  2987 ) =    15
1192       HASH (  2988 ) =  2981
1193       HASH (  2989 ) =  2200
1194       HASH (  2990 ) = -2987
1195       HASH (  2991 ) =  1738
1196       HASH (  2992 ) = -2989
1197       HASH (  2993 ) =   667
1198       HASH (  2994 ) = -2991
1199       HASH (  2995 ) =    34
1200       HASH (  2996 ) =  2993
1201       HASH (  2997 ) =  1738
1202       HASH (  2998 ) = -2995
1203       HASH (  2999 ) =    13
1204       HASH (  3000 ) =  2505
1205       HASH (  7719 ) =  1742
1206       HASH (  7721 ) =  1561
1207       HASH (  7723 ) =  3841
1208       HASH (  7724 ) = -7721
1209       HASH (  7725 ) =   843
1210       HASH (  7726 ) = -7723
1211       HASH (  7727 ) =  1550
1212       HASH (  7728 ) =  7725
1213       HASH (  7729 ) =  3841
1214       HASH (  7730 ) = -7727
1215       HASH (  7731 ) =   843
1216       HASH (  7732 ) = -7729
1217       HASH (  7733 ) =  1569
1218       HASH (  7735 ) =  3841
1219       HASH (  7736 ) = -7733
1220       HASH (  7737 ) =   781
1221       HASH (  7738 ) = -7735
1222       HASH (  7739 ) =  1804
1223       HASH (  7740 ) = -7737
1224       HASH (  7741 ) =  1569
1225       HASH (  7742 ) =  7739
1226       HASH (  7743 ) =  3841
1227       HASH (  7744 ) = -7741
1228       HASH (  7745 ) =  1485
1229       HASH (  7746 ) = -7743
1230       HASH (  7747 ) =  1804
1231       HASH (  7748 ) = -7745
1232       HASH (  7749 ) =  1551
1233       HASH (  7750 ) =  7731
1234       HASH (  7751 ) =  3841
1235       HASH (  7752 ) = -7749
1236       HASH (  7753 ) =   843
1237       HASH (  7754 ) = -7751
1238       HASH (  7755 ) =  1569
1239       HASH (  7756 ) =  7753
1240       HASH (  7757 ) =  3841
1241       HASH (  7758 ) = -7755
1242       HASH (  7759 ) =   843
1243       HASH (  7760 ) = -7757
1244       HASH (  7761 ) =  1569
1245       HASH (  7762 ) =  7747
1246       HASH (  7763 ) =     1
1247       HASH (  7764 ) = -7761
1248       HASH (  7765 ) =  1485
1249       HASH (  7766 ) = -7763
1250       HASH (  7767 ) =  1804
1251       HASH (  7768 ) = -7765
1252       HASH (  7769 ) =  1569
1253       HASH (  7770 ) =  7767
1254       HASH (  7771 ) =     1
1255       HASH (  7772 ) = -7769
1256       HASH (  7773 ) =   781
1257       HASH (  7774 ) = -7771
1258       HASH (  7775 ) =  1804
1259       HASH (  7776 ) = -7773
1260       HASH (  7777 ) =  1804
1261       HASH (  7778 ) =  7775
1262       HASH (  7779 ) =    33
1263       HASH (  7780 ) =  7777
1264       HASH (  7781 ) =  1537
1265       HASH (  7782 ) = -7779
1266       HASH (  7783 ) =   781
1267       HASH (  7784 ) = -7781
1268       HASH (  7785 ) =  1804
1269       HASH (  7786 ) = -7783
1270       HASH (  7787 ) =  1551
1271       HASH (  7788 ) =  7759
1272       HASH (  7789 ) =     1
1273       HASH (  7790 ) = -7787
1274       HASH (  7791 ) =   843
1275       HASH (  7792 ) = -7789
1276       HASH (  7793 ) =  1301
1277       HASH (  7795 ) =   906
1278       HASH (  7796 ) = -7793
1279       HASH (  7797 ) =   731
1280       HASH (  7798 ) = -7795
1281       HASH (  7799 ) =    14
1282       HASH (  7801 ) =  1563
1283       HASH (  7802 ) = -7799
1284       HASH (  7803 ) =  1821
1285       HASH (  7804 ) = -7801
1286       HASH (  7805 ) =  1998
1287       HASH (  7806 ) =  7719
1288       HASH (  7807 ) =  1432
1289       HASH (  7808 ) = -7805
1290       HASH (  7809 ) =  1742
1291       HASH (  7810 ) = -7807
1292       HASH (  7811 ) =    14
1293       HASH (  7813 ) =   667
1294       HASH (  7814 ) = -7811
1295       HASH (  7815 ) =   789
1296       HASH (  7816 ) = -7813
1297       HASH (  7817 ) =   846
1298       HASH (  7818 ) = -7815
1299       HASH (  7819 ) =  1748
1300       HASH (  7821 ) =  1418
1301       HASH (  7822 ) = -7819
1302       HASH (  7823 ) =  1757
1303       HASH (  7824 ) =  7809
1304       HASH (  7825 ) =  1624
1305       HASH (  7826 ) = -7823
1306       HASH (  7827 ) =  1742
1307       HASH (  7828 ) = -7825
1308       HASH (  7829 ) =  1873
1309       HASH (  7831 ) =  2066
1310       HASH (  7832 ) = -7829
1311       HASH (  7833 ) =  1569
1312       HASH (  7834 ) =  7791
1313       HASH (  7835 ) =     1
1314       HASH (  7836 ) = -7833
1315       HASH (  7837 ) =  1047
1316       HASH (  7839 ) =  1810
1317       HASH (  7840 ) = -7837
1318       HASH (  7841 ) =  1173
1319       HASH (  7843 ) =  1994
1320       HASH (  7844 ) = -7841
1321       HASH (  7845 ) =  1418
1322       HASH (  7846 ) = -7843
1323       HASH (  7847 ) =  1422
1324       HASH (  7848 ) = -7845
1325       HASH (  7849 ) =  1501
1326       HASH (  7851 ) =  1998
1327       HASH (  7852 ) = -7849
1328       HASH (  7853 ) =   910
1329       HASH (  7854 ) = -7851
1330       HASH (  7855 ) =  1948
1331       HASH (  7856 ) = -7853
1332       HASH (  7857 ) =  1432
1333       HASH (  7858 ) = -7855
1334       HASH (  7859 ) =  1501
1335       HASH (  7861 ) =  1998
1336       HASH (  7862 ) = -7859
1337       HASH (  7863 ) =  1870
1338       HASH (  7864 ) = -7861
1339       HASH (  7865 ) =  1806
1340       HASH (  7866 ) = -7863
1341       HASH (  7867 ) =  1357
1342       HASH (  7868 ) =  7865
1343       HASH (  7869 ) =  1112
1344       HASH (  7870 ) = -7867
1345       HASH (  7871 ) =   924
1346       HASH (  7872 ) = -7869
1347       HASH (  7873 ) =  1115
1348       HASH (  7874 ) = -7871
1349       HASH (  7875 ) =  1885
1350       HASH (  7876 ) = -7873
1351       HASH (  7877 ) =  1806
1352       HASH (  7878 ) = -7875
1353       HASH (  7879 ) =    32
1354       HASH (  7880 ) =  7877
1355       HASH (  7881 ) =   856
1356       HASH (  7882 ) = -7879
1357       HASH (  7883 ) =  1175
1358       HASH (  7884 ) = -7881
1359       HASH (  7885 ) =  1888
1360       HASH (  7886 ) = -7883
1361       HASH (  7887 ) =  1806
1362       HASH (  7888 ) = -7885
1363       HASH (  7889 ) =   909
1364       HASH (  7890 ) =  7887
1365       HASH (  7891 ) =  1614
1366       HASH (  7892 ) = -7889
1367       HASH (  7893 ) =  1884
1368       HASH (  7894 ) = -7891
1369       HASH (  7895 ) =  1806
1370       HASH (  7896 ) = -7893
1371       HASH (  7897 ) =    29
1372       HASH (  7899 ) =   919
1373       HASH (  7900 ) = -7897
1374       HASH (  7901 ) =   918
1375       HASH (  7902 ) = -7899
1376       HASH (  7903 ) =  1567
1377       HASH (  7904 ) = -7901
1378       HASH (  7905 ) =  1878
1379       HASH (  7906 ) = -7903
1380       HASH (  7907 ) =  1038
1381       HASH (  7908 ) = -7905
1382       HASH (  7909 ) =    27
1383       HASH (  7910 ) =  7817
1384       HASH (  7911 ) =  1816
1385       HASH (  7912 ) = -7909
1386       HASH (  7913 ) =  1947
1387       HASH (  7914 ) = -7911
1388       HASH (  7915 ) =   972
1389       HASH (  7916 ) = -7913
1390       HASH (  7917 ) =   846
1391       HASH (  7918 ) = -7915
1392       HASH (  7919 ) =  1500
1393       HASH (  7920 ) =  7895
1394       HASH (  7921 ) =  1042
1395       HASH (  7922 ) = -7919
1396       HASH (  7923 ) =   667
1397       HASH (  7924 ) = -7921
1398       HASH (  7925 ) =  1878
1399       HASH (  7926 ) = -7923
1400       HASH (  7927 ) =  1806
1401       HASH (  7928 ) = -7925
1402       HASH (  7929 ) =  1806
1403       HASH (  7930 ) =  7907
1404       HASH (  7931 ) =   906
1405       HASH (  7932 ) = -7929
1406       HASH (  7933 ) =   917
1407       HASH (  7934 ) = -7931
1408       HASH (  7935 ) =  1883
1409       HASH (  7936 ) = -7933
1410       HASH (  7937 ) =  1038
1411       HASH (  7938 ) = -7935
1412       HASH (  7939 ) =  1820
1413       HASH (  7940 ) =  7937
1414       HASH (  7941 ) =  1742
1415       HASH (  7942 ) = -7939
1416       HASH (  7943 ) =  1881
1417       HASH (  7944 ) = -7941
1418       HASH (  7945 ) =  1038
1419       HASH (  7946 ) = -7943
1420       HASH (  7947 ) =    23
1421       HASH (  7948 ) =  7927
1422       HASH (  7949 ) =  1176
1423       HASH (  7950 ) = -7947
1424       HASH (  7951 ) =  1181
1425       HASH (  7952 ) = -7949
1426       HASH (  7953 ) =  1564
1427       HASH (  7954 ) = -7951
1428       HASH (  7955 ) =  1881
1429       HASH (  7956 ) = -7953
1430       HASH (  7957 ) =  1806
1431       HASH (  7958 ) = -7955
1432       HASH (  7959 ) =  1948
1433       HASH (  7960 ) =  7803
1434       HASH (  7961 ) =   669
1435       HASH (  7962 ) = -7959
1436       HASH (  7963 ) =  1821
1437       HASH (  7964 ) = -7961
1438       HASH (  7965 ) =  1563
1439       HASH (  7967 ) =  1756
1440       HASH (  7968 ) = -7965
1441       HASH (  7969 ) =   798
1442       HASH (  7970 ) = -7967
1443       HASH (  7971 ) =   846
1444       HASH (  7972 ) = -7969
1445       HASH (  7973 ) =  1106
1446       HASH (  7974 ) = -7971
1447       HASH (  7975 ) =  1563
1448       HASH (  7977 ) =  1756
1449       HASH (  7978 ) = -7975
1450       HASH (  7979 ) =   798
1451       HASH (  7980 ) = -7977
1452       HASH (  7981 ) =  1568
1453       HASH (  7982 ) = -7979
1454       HASH (  7983 ) =  1181
1455       HASH (  7985 ) =  1175
1456       HASH (  7986 ) = -7983
1457       HASH (  7987 ) =    14
1458       HASH (  7988 ) =  7857
1459       HASH (  7989 ) =  1948
1460       HASH (  7990 ) = -7987
1461       HASH (  7991 ) =  1432
1462       HASH (  7992 ) = -7989
1463       HASH (  7993 ) =    17
1464       HASH (  7995 ) =   665
1465       HASH (  7996 ) = -7993
1466       HASH (  7997 ) =  1051
1467       HASH (  7998 ) = -7995
1468       HASH (  7999 ) =  1952
1469       HASH (  8000 ) = -7997
1470       COM(1) =    95
1471       KEYS (     1 ) =   168
1472       KEYS (     2 ) =    81
1473       KEYS (     3 ) =   872
1474       KEYS (     4 ) =    95
1475       KEYS (     5 ) =   217
1476       KEYS (     6 ) =    97
1477       KEYS (     7 ) =   152
1478       KEYS (     8 ) =   115
1479       KEYS (     9 ) =   440
1480       KEYS (    10 ) =   179
1481       KEYS (    11 ) =   696
1482       KEYS (    12 ) =   195
1483       KEYS (    13 ) =    16
1484       KEYS (    14 ) =   317
1485       KEYS (    15 ) =   409
1486       KEYS (    16 ) =   333
1487       KEYS (    17 ) =   408
1488       KEYS (    18 ) =   343
1489       KEYS (    19 ) =    80
1490       KEYS (    20 ) =   579
1491       KEYS (    21 ) =   224
1492       KEYS (    22 ) =   691
1493       KEYS (    23 ) =    56
1494       KEYS (    24 ) =   719
1495       KEYS (    25 ) =   768
1496       KEYS (    26 ) =   819
1497       KEYS (    27 ) =   407
1498       KEYS (    28 ) =   847
1499       KEYS (    29 ) =   192
1500       KEYS (    30 ) =   955
1501       KEYS (    31 ) =  8016
1502       KEYS (    32 ) =   975
1503       KEYS (    33 ) =   520
1504       KEYS (    34 ) =  1081
1505       KEYS (    35 ) =   544
1506       KEYS (    36 ) =  1109
1507       KEYS (    37 ) =   784
1508       KEYS (    38 ) =  1113
1509       KEYS (    39 ) =   761
1510       KEYS (    40 ) =  1115
1511       KEYS (    41 ) =   184
1512       KEYS (    42 ) =  1237
1513       KEYS (    43 ) =   400
1514       KEYS (    44 ) =  1303
1515       KEYS (    45 ) =   536
1516       KEYS (    46 ) =  1327
1517       KEYS (    47 ) =   144
1518       KEYS (    48 ) =  1335
1519       KEYS (    49 ) =    88
1520       KEYS (    50 ) =  1339
1521       KEYS (    51 ) =   608
1522       KEYS (    52 ) =  1371
1523       KEYS (    53 ) =   664
1524       KEYS (    54 ) =  1437
1525       KEYS (    55 ) =   176
1526       KEYS (    56 ) =  1451
1527       KEYS (    57 ) =   512
1528       KEYS (    58 ) =  1457
1529       KEYS (    59 ) =   208
1530       KEYS (    60 ) =  1459
1531       KEYS (    61 ) =    64
1532       KEYS (    62 ) =  1467
1533       KEYS (    63 ) =    72
1534       KEYS (    64 ) =  1557
1535       KEYS (    65 ) =   513
1536       KEYS (    66 ) =  1571
1537       KEYS (    67 ) =   688
1538       KEYS (    68 ) =  1579
1539       KEYS (    69 ) =   704
1540       KEYS (    70 ) =  1585
1541       KEYS (    71 ) =   792
1542       KEYS (    72 ) =  1595
1543       KEYS (    73 ) =   448
1544       KEYS (    74 ) =  1603
1545       KEYS (    75 ) =   816
1546       KEYS (    76 ) =  1625
1547       KEYS (    77 ) =    40
1548       KEYS (    78 ) =  1693
1549       KEYS (    79 ) =   712
1550       KEYS (    80 ) =  1701
1551       KEYS (    81 ) =   112
1552       KEYS (    82 ) =  1713
1553       KEYS (    83 ) =   824
1554       KEYS (    84 ) =  1715
1555       KEYS (    85 ) =   216
1556       KEYS (    86 ) =  1723
1557       KEYS (    87 ) =   488
1558       KEYS (    88 ) =  1729
1559       KEYS (    89 ) =   832
1560       KEYS (    90 ) =  1743
1561       KEYS (    91 ) =  8009
1562       KEYS (    92 ) =  1749
1563       KEYS (    93 ) =   840
1564       KEYS (    94 ) =  1763
1565       KEYS (    95 ) =   496
1566       KEYS (    96 ) =  1835
1567       KEYS (    97 ) =   640
1568       KEYS (    98 ) =  1839
1569       KEYS (    99 ) =   728
1570       KEYS (   100 ) =  1849
1571       KEYS (   101 ) =   120
1572       KEYS (   102 ) =  1859
1573       KEYS (   103 ) =   616
1574       KEYS (   104 ) =  1869
1575       KEYS (   105 ) =   633
1576       KEYS (   106 ) =  1873
1577       KEYS (   107 ) =  8008
1578       KEYS (   108 ) =  1941
1579       KEYS (   109 ) =   504
1580       KEYS (   110 ) =  1957
1581       KEYS (   111 ) =   136
1582       KEYS (   112 ) =  1969
1583       KEYS (   113 ) =   848
1584       KEYS (   114 ) =  1971
1585       KEYS (   115 ) =   744
1586       KEYS (   116 ) =  1981
1587       KEYS (   117 ) =   856
1588       KEYS (   118 ) =  1987
1589       KEYS (   119 ) =   456
1590       KEYS (   120 ) =  2387
1591       KEYS (   121 ) =   776
1592       KEYS (   122 ) =  2499
1593       KEYS (   123 ) =   776
1594       KEYS (   124 ) =  2505
1595       KEYS (   125 ) =   121
1596       KEYS (   126 ) =  2529
1597       KEYS (   127 ) =   464
1598       KEYS (   128 ) =  2567
1599       KEYS (   129 ) =   224
1600       KEYS (   130 ) =  2629
1601       KEYS (   131 ) =   160
1602       KEYS (   132 ) =  2677
1603       KEYS (   133 ) =    24
1604       KEYS (   134 ) =  2687
1605       KEYS (   135 ) =   632
1606       KEYS (   136 ) =  2705
1607       KEYS (   137 ) =   200
1608       KEYS (   138 ) =  2715
1609       KEYS (   139 ) =   592
1610       KEYS (   140 ) =  2725
1611       KEYS (   141 ) =   517
1612       KEYS (   142 ) =  2737
1613       KEYS (   143 ) =   104
1614       KEYS (   144 ) =  2741
1615       KEYS (   145 ) =    32
1616       KEYS (   146 ) =  2757
1617       KEYS (   147 ) =    96
1618       KEYS (   148 ) =  2763
1619       KEYS (   149 ) =   516
1620       KEYS (   150 ) =  2773
1621       KEYS (   151 ) =   625
1622       KEYS (   152 ) =  2785
1623       KEYS (   153 ) =   808
1624       KEYS (   154 ) =  2795
1625       KEYS (   155 ) =   777
1626       KEYS (   156 ) =  2803
1627       KEYS (   157 ) =   777
1628       KEYS (   158 ) =  2819
1629       KEYS (   159 ) =   528
1630       KEYS (   160 ) =  2823
1631       KEYS (   161 ) =   762
1632       KEYS (   162 ) =  2841
1633       KEYS (   163 ) =   514
1634       KEYS (   164 ) =  2849
1635       KEYS (   165 ) =   760
1636       KEYS (   166 ) =  2855
1637       KEYS (   167 ) =    48
1638       KEYS (   168 ) =  2861
1639       KEYS (   169 ) =   736
1640       KEYS (   170 ) =  2885
1641       KEYS (   171 ) =   720
1642       KEYS (   172 ) =  2899
1643       KEYS (   173 ) =   406
1644       KEYS (   174 ) =  2903
1645       KEYS (   175 ) =   624
1646       KEYS (   176 ) =  2919
1647       KEYS (   177 ) =   552
1648       KEYS (   178 ) =  2923
1649       KEYS (   179 ) =   513
1650       KEYS (   180 ) =  2931
1651       KEYS (   181 ) =   697
1652       KEYS (   182 ) =  2937
1653       KEYS (   183 ) =   128
1654       KEYS (   184 ) =  2953
1655       KEYS (   185 ) =   512
1656       KEYS (   186 ) =  2959
1657       KEYS (   187 ) =   648
1658       KEYS (   188 ) =  2981
1659       KEYS (   189 ) =   648
1660       KEYS (   190 ) =  2993
1661       RETURN
1662       END
1663