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
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.
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 ===============================================================
17 IMPLICIT INTEGER (A-Z)
19 C INITIATES VARIABLES IN THE BLANK COMMON
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
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,
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,
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,
61 Z TOP, IN, NEXT, STACK(500)
74 c hash table contains following unused tokens:
142 HASH ( 1106 ) = -2363
146 HASH ( 1114 ) = -2815
148 HASH ( 1116 ) = -2807
150 HASH ( 1204 ) = -2493
152 HASH ( 1232 ) = -2241
154 HASH ( 1238 ) = -2797
156 HASH ( 1244 ) = -2341
158 HASH ( 1304 ) = -2615
160 HASH ( 1306 ) = -2305
162 HASH ( 1326 ) = -2381
164 HASH ( 1328 ) = -2999
166 HASH ( 1336 ) = -2997
168 HASH ( 1338 ) = -7839
170 HASH ( 1340 ) = -2985
172 HASH ( 1372 ) = -2777
174 HASH ( 1438 ) = -2973
176 HASH ( 1452 ) = -2969
178 HASH ( 1458 ) = -2965
180 HASH ( 1460 ) = -2659
182 HASH ( 1464 ) = -2267
184 HASH ( 1468 ) = -2775
186 HASH ( 1488 ) = -2583
188 HASH ( 1558 ) = -2955
190 HASH ( 1572 ) = -2949
192 HASH ( 1574 ) = -2103
194 HASH ( 1580 ) = -2941
196 HASH ( 1586 ) = -2927
198 HASH ( 1592 ) = -2189
200 HASH ( 1596 ) = -2751
202 HASH ( 1602 ) = -7981
204 HASH ( 1604 ) = -2663
206 HASH ( 1610 ) = -2463
208 HASH ( 1620 ) = -2591
210 HASH ( 1626 ) = -2743
212 HASH ( 1636 ) = -2003
214 HASH ( 1686 ) = -2349
216 HASH ( 1688 ) = -7835
218 HASH ( 1694 ) = -2909
220 HASH ( 1702 ) = -2905
224 HASH ( 1716 ) = -2731
226 HASH ( 1720 ) = -2283
228 HASH ( 1724 ) = -2647
230 HASH ( 1730 ) = -2727
232 HASH ( 1732 ) = -2593
235 HASH ( 1750 ) = -2721
239 HASH ( 1764 ) = -2719
243 HASH ( 1832 ) = -1829
245 HASH ( 1834 ) = -1831
247 HASH ( 1836 ) = -2893
249 HASH ( 1838 ) = -2399
251 HASH ( 1840 ) = -2891
253 HASH ( 1842 ) = -2617
255 HASH ( 1850 ) = -2889
257 HASH ( 1860 ) = -2887
259 HASH ( 1870 ) = -2717
261 HASH ( 1874 ) = -2709
263 HASH ( 1942 ) = -2877
267 HASH ( 1970 ) = -2873
269 HASH ( 1972 ) = -2699
271 HASH ( 1982 ) = -2871
273 HASH ( 1988 ) = -2697
275 HASH ( 1990 ) = -1991
277 HASH ( 1992 ) = -1993
280 HASH ( 1996 ) = -1997
282 HASH ( 1998 ) = -1999
284 HASH ( 2000 ) = -2001
287 HASH ( 2004 ) = -2005
289 HASH ( 2006 ) = -2007
293 HASH ( 2020 ) = -2017
295 HASH ( 2022 ) = -2019
297 HASH ( 2024 ) = -2021
300 HASH ( 2028 ) = -2025
302 HASH ( 2030 ) = -2027
305 HASH ( 2034 ) = -2031
308 HASH ( 2038 ) = -2035
310 HASH ( 2040 ) = -2037
312 HASH ( 2042 ) = -2039
315 HASH ( 2046 ) = -2043
317 HASH ( 2048 ) = -2045
320 HASH ( 2052 ) = -2049
322 HASH ( 2054 ) = -2051
326 HASH ( 2058 ) = -2055
328 HASH ( 2060 ) = -2057
330 HASH ( 2062 ) = -2059
334 HASH ( 2066 ) = -2063
336 HASH ( 2068 ) = -2065
338 HASH ( 2070 ) = -2067
341 HASH ( 2074 ) = -2071
343 HASH ( 2076 ) = -2073
347 HASH ( 2080 ) = -2077
349 HASH ( 2082 ) = -2079
352 HASH ( 2086 ) = -2083
354 HASH ( 2088 ) = -2085
358 HASH ( 2092 ) = -2089
362 HASH ( 2096 ) = -2093
364 HASH ( 2098 ) = -2095
367 HASH ( 2102 ) = -2099
371 HASH ( 2108 ) = -2105
373 HASH ( 2110 ) = -2107
375 HASH ( 2112 ) = -2109
377 HASH ( 2114 ) = -2111
380 HASH ( 2118 ) = -2115
382 HASH ( 2120 ) = -2117
386 HASH ( 2124 ) = -2121
388 HASH ( 2126 ) = -2123
391 HASH ( 2130 ) = -2127
393 HASH ( 2132 ) = -2129
396 HASH ( 2136 ) = -2133
398 HASH ( 2138 ) = -2135
401 HASH ( 2142 ) = -2139
403 HASH ( 2144 ) = -2141
407 HASH ( 2148 ) = -2145
409 HASH ( 2150 ) = -2147
413 HASH ( 2154 ) = -2151
415 HASH ( 2156 ) = -2153
419 HASH ( 2160 ) = -2157
421 HASH ( 2162 ) = -2159
425 HASH ( 2166 ) = -2163
427 HASH ( 2168 ) = -2165
431 HASH ( 2172 ) = -2169
433 HASH ( 2174 ) = -2171
437 HASH ( 2178 ) = -2175
439 HASH ( 2180 ) = -2177
443 HASH ( 2184 ) = -2181
445 HASH ( 2186 ) = -2183
449 HASH ( 2190 ) = -2187
452 HASH ( 2194 ) = -2191
454 HASH ( 2196 ) = -2193
457 HASH ( 2200 ) = -2197
459 HASH ( 2202 ) = -2199
462 HASH ( 2206 ) = -2203
464 HASH ( 2208 ) = -2205
468 HASH ( 2212 ) = -2209
470 HASH ( 2214 ) = -2211
474 HASH ( 2218 ) = -2215
476 HASH ( 2220 ) = -2217
480 HASH ( 2224 ) = -2221
482 HASH ( 2226 ) = -2223
485 HASH ( 2230 ) = -2227
487 HASH ( 2232 ) = -2229
490 HASH ( 2236 ) = -2233
492 HASH ( 2238 ) = -2235
496 HASH ( 2242 ) = -2239
500 HASH ( 2246 ) = -2243
502 HASH ( 2248 ) = -2245
504 HASH ( 2250 ) = -2251
507 HASH ( 2254 ) = -2255
509 HASH ( 2256 ) = -2257
513 HASH ( 2260 ) = -2261
515 HASH ( 2262 ) = -2263
517 HASH ( 2264 ) = -2265
521 HASH ( 2268 ) = -2269
527 HASH ( 2274 ) = -2275
529 HASH ( 2276 ) = -2277
532 HASH ( 2280 ) = -2281
537 HASH ( 2286 ) = -2287
541 HASH ( 2290 ) = -2291
544 HASH ( 2294 ) = -2295
546 HASH ( 2296 ) = -2297
549 HASH ( 2300 ) = -2301
551 HASH ( 2302 ) = -2303
555 HASH ( 2306 ) = -2307
557 HASH ( 2308 ) = -2309
561 HASH ( 2312 ) = -2313
563 HASH ( 2314 ) = -2315
565 HASH ( 2316 ) = -2317
569 HASH ( 2320 ) = -2321
571 HASH ( 2322 ) = -2323
573 HASH ( 2324 ) = -2325
576 HASH ( 2328 ) = -2329
578 HASH ( 2330 ) = -2331
583 HASH ( 2336 ) = -2333
586 HASH ( 2340 ) = -2337
593 HASH ( 2348 ) = -2345
598 HASH ( 2354 ) = -2351
600 HASH ( 2356 ) = -2353
602 HASH ( 2358 ) = -2355
606 HASH ( 2362 ) = -2359
608 HASH ( 2364 ) = -2361
612 HASH ( 2368 ) = -2365
614 HASH ( 2370 ) = -2367
617 HASH ( 2374 ) = -2371
619 HASH ( 2376 ) = -2373
622 HASH ( 2380 ) = -2377
624 HASH ( 2382 ) = -2379
627 HASH ( 2386 ) = -2383
629 HASH ( 2388 ) = -2385
633 HASH ( 2392 ) = -2389
635 HASH ( 2394 ) = -2391
639 HASH ( 2400 ) = -2397
643 HASH ( 2404 ) = -2401
645 HASH ( 2406 ) = -2403
649 HASH ( 2410 ) = -2407
651 HASH ( 2412 ) = -2409
653 HASH ( 2414 ) = -2411
657 HASH ( 2418 ) = -2415
659 HASH ( 2420 ) = -2417
663 HASH ( 2426 ) = -2423
666 HASH ( 2430 ) = -2427
668 HASH ( 2432 ) = -2429
672 HASH ( 2436 ) = -2433
674 HASH ( 2438 ) = -2435
678 HASH ( 2442 ) = -2439
680 HASH ( 2444 ) = -2441
684 HASH ( 2448 ) = -2445
686 HASH ( 2450 ) = -2447
690 HASH ( 2454 ) = -2451
692 HASH ( 2456 ) = -2453
694 HASH ( 2458 ) = -2455
697 HASH ( 2462 ) = -2459
699 HASH ( 2464 ) = -2461
702 HASH ( 2468 ) = -2465
704 HASH ( 2470 ) = -2467
708 HASH ( 2474 ) = -2471
710 HASH ( 2476 ) = -2473
712 HASH ( 2478 ) = -2475
716 HASH ( 2482 ) = -2479
718 HASH ( 2484 ) = -2481
724 HASH ( 2490 ) = -2487
726 HASH ( 2492 ) = -2489
728 HASH ( 2494 ) = -2491
731 HASH ( 2498 ) = -2495
733 HASH ( 2500 ) = -2497
737 HASH ( 2504 ) = -2501
739 HASH ( 2506 ) = -2503
742 HASH ( 2510 ) = -2507
744 HASH ( 2512 ) = -2509
748 HASH ( 2516 ) = -2513
752 HASH ( 2520 ) = -2517
754 HASH ( 2522 ) = -2519
760 HASH ( 2528 ) = -2525
762 HASH ( 2530 ) = -2527
766 HASH ( 2534 ) = -2531
768 HASH ( 2536 ) = -2533
772 HASH ( 2540 ) = -2537
774 HASH ( 2542 ) = -2539
776 HASH ( 2544 ) = -2541
779 HASH ( 2548 ) = -2545
783 HASH ( 2552 ) = -2549
786 HASH ( 2556 ) = -2553
790 HASH ( 2560 ) = -2557
793 HASH ( 2564 ) = -2561
797 HASH ( 2568 ) = -2565
801 HASH ( 2572 ) = -2569
804 HASH ( 2576 ) = -2573
807 HASH ( 2580 ) = -2577
810 HASH ( 2584 ) = -2581
814 HASH ( 2588 ) = -2585
816 HASH ( 2590 ) = -2587
822 HASH ( 2598 ) = -2595
824 HASH ( 2600 ) = -2597
827 HASH ( 2604 ) = -2601
829 HASH ( 2606 ) = -2603
835 HASH ( 2614 ) = -2611
842 HASH ( 2622 ) = -2619
845 HASH ( 2626 ) = -2623
847 HASH ( 2628 ) = -2625
849 HASH ( 2630 ) = -2627
853 HASH ( 2634 ) = -2631
855 HASH ( 2636 ) = -2633
857 HASH ( 2638 ) = -2635
863 HASH ( 2644 ) = -2641
865 HASH ( 2646 ) = -2643
867 HASH ( 2648 ) = -2645
871 HASH ( 2652 ) = -2649
873 HASH ( 2654 ) = -2651
875 HASH ( 2656 ) = -2653
879 HASH ( 2660 ) = -2657
883 HASH ( 2664 ) = -2661
887 HASH ( 2668 ) = -2665
889 HASH ( 2670 ) = -2667
892 HASH ( 2674 ) = -2671
894 HASH ( 2676 ) = -2673
896 HASH ( 2678 ) = -2675
900 HASH ( 2682 ) = -2679
903 HASH ( 2686 ) = -2683
905 HASH ( 2688 ) = -2685
913 HASH ( 2696 ) = -2693
915 HASH ( 2698 ) = -2695
920 HASH ( 2704 ) = -2701
922 HASH ( 2706 ) = -2703
926 HASH ( 2710 ) = -2707
930 HASH ( 2714 ) = -2711
932 HASH ( 2716 ) = -2713
941 HASH ( 2726 ) = -2723
947 HASH ( 2732 ) = -2729
951 HASH ( 2736 ) = -2733
953 HASH ( 2738 ) = -2735
957 HASH ( 2742 ) = -2739
963 HASH ( 2748 ) = -2745
965 HASH ( 2750 ) = -2747
967 HASH ( 2752 ) = -2749
971 HASH ( 2756 ) = -2753
973 HASH ( 2758 ) = -2755
977 HASH ( 2762 ) = -2759
979 HASH ( 2764 ) = -2761
983 HASH ( 2768 ) = -2765
985 HASH ( 2770 ) = -2767
989 HASH ( 2774 ) = -2771
997 HASH ( 2782 ) = -2779
999 HASH ( 2784 ) = -2781
1000 HASH ( 2785 ) = 1627
1001 HASH ( 2786 ) = -2783
1003 HASH ( 2788 ) = 2785
1004 HASH ( 2789 ) = 1947
1005 HASH ( 2790 ) = -2787
1007 HASH ( 2792 ) = -2789
1008 HASH ( 2793 ) = 1548
1009 HASH ( 2794 ) = -2791
1010 HASH ( 2795 ) = 1627
1011 HASH ( 2796 ) = -2793
1013 HASH ( 2798 ) = 2795
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
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
1037 HASH ( 2822 ) = 2029
1038 HASH ( 2823 ) = 1496
1039 HASH ( 2824 ) = -2821
1040 HASH ( 2825 ) = 1486
1041 HASH ( 2826 ) = 2823
1044 HASH ( 2830 ) = 2279
1045 HASH ( 2831 ) = 1175
1046 HASH ( 2832 ) = 7821
1048 HASH ( 2834 ) = 2705
1049 HASH ( 2835 ) = 1365
1051 HASH ( 2838 ) = 2613
1052 HASH ( 2839 ) = 1566
1053 HASH ( 2840 ) = -2837
1054 HASH ( 2841 ) = 1175
1055 HASH ( 2842 ) = -2839
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
1065 HASH ( 2852 ) = 2849
1066 HASH ( 2853 ) = 1630
1067 HASH ( 2854 ) = -2851
1068 HASH ( 2855 ) = 1175
1069 HASH ( 2856 ) = -2853
1071 HASH ( 2858 ) = 2855
1072 HASH ( 2859 ) = 1486
1073 HASH ( 2860 ) = -2857
1074 HASH ( 2861 ) = 1175
1075 HASH ( 2862 ) = -2859
1077 HASH ( 2864 ) = 7973
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
1088 HASH ( 2877 ) = 1372
1089 HASH ( 2878 ) = -2875
1091 HASH ( 2880 ) = 2551
1092 HASH ( 2881 ) = 1751
1093 HASH ( 2882 ) = -2879
1094 HASH ( 2883 ) = 1870
1095 HASH ( 2884 ) = -2881
1097 HASH ( 2886 ) = -2883
1098 HASH ( 2887 ) = 1181
1099 HASH ( 2888 ) = 2885
1102 HASH ( 2892 ) = 2589
1103 HASH ( 2893 ) = 1806
1104 HASH ( 2895 ) = 1880
1105 HASH ( 2897 ) = 2071
1106 HASH ( 2898 ) = -2895
1108 HASH ( 2900 ) = -2897
1110 HASH ( 2902 ) = 2097
1112 HASH ( 2904 ) = -2901
1114 HASH ( 2906 ) = 2903
1116 HASH ( 2908 ) = 2393
1117 HASH ( 2909 ) = 1866
1118 HASH ( 2910 ) = -2907
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
1128 HASH ( 2920 ) = -2917
1129 HASH ( 2921 ) = 1634
1130 HASH ( 2922 ) = 2919
1132 HASH ( 2924 ) = -2921
1134 HASH ( 2926 ) = 2923
1135 HASH ( 2927 ) = 1500
1136 HASH ( 2928 ) = -2925
1138 HASH ( 2930 ) = 2575
1140 HASH ( 2932 ) = -2929
1142 HASH ( 2934 ) = 2369
1143 HASH ( 2935 ) = 1564
1144 HASH ( 2936 ) = -2933
1146 HASH ( 2938 ) = -2935
1148 HASH ( 2940 ) = 2937
1150 HASH ( 2942 ) = -2939
1152 HASH ( 2944 ) = 2931
1153 HASH ( 2945 ) = 1870
1154 HASH ( 2946 ) = -2943
1156 HASH ( 2948 ) = -2945
1158 HASH ( 2950 ) = -2947
1159 HASH ( 2951 ) = 1806
1161 HASH ( 2954 ) = -2951
1162 HASH ( 2955 ) = 1365
1163 HASH ( 2956 ) = 2953
1164 HASH ( 2957 ) = 1557
1165 HASH ( 2958 ) = 2201
1167 HASH ( 2960 ) = -2957
1169 HASH ( 2962 ) = 2959
1171 HASH ( 2964 ) = -2961
1172 HASH ( 2965 ) = 1557
1173 HASH ( 2966 ) = -2963
1175 HASH ( 2969 ) = 1548
1176 HASH ( 2970 ) = -2967
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
1186 HASH ( 2982 ) = -2979
1188 HASH ( 2984 ) = 2547
1189 HASH ( 2985 ) = 1866
1190 HASH ( 2986 ) = -2983
1192 HASH ( 2988 ) = 2981
1193 HASH ( 2989 ) = 2200
1194 HASH ( 2990 ) = -2987
1195 HASH ( 2991 ) = 1738
1196 HASH ( 2992 ) = -2989
1198 HASH ( 2994 ) = -2991
1200 HASH ( 2996 ) = 2993
1201 HASH ( 2997 ) = 1738
1202 HASH ( 2998 ) = -2995
1204 HASH ( 3000 ) = 2505
1205 HASH ( 7719 ) = 1742
1206 HASH ( 7721 ) = 1561
1207 HASH ( 7723 ) = 3841
1208 HASH ( 7724 ) = -7721
1210 HASH ( 7726 ) = -7723
1211 HASH ( 7727 ) = 1550
1212 HASH ( 7728 ) = 7725
1213 HASH ( 7729 ) = 3841
1214 HASH ( 7730 ) = -7727
1216 HASH ( 7732 ) = -7729
1217 HASH ( 7733 ) = 1569
1218 HASH ( 7735 ) = 3841
1219 HASH ( 7736 ) = -7733
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
1237 HASH ( 7754 ) = -7751
1238 HASH ( 7755 ) = 1569
1239 HASH ( 7756 ) = 7753
1240 HASH ( 7757 ) = 3841
1241 HASH ( 7758 ) = -7755
1243 HASH ( 7760 ) = -7757
1244 HASH ( 7761 ) = 1569
1245 HASH ( 7762 ) = 7747
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
1255 HASH ( 7772 ) = -7769
1257 HASH ( 7774 ) = -7771
1258 HASH ( 7775 ) = 1804
1259 HASH ( 7776 ) = -7773
1260 HASH ( 7777 ) = 1804
1261 HASH ( 7778 ) = 7775
1263 HASH ( 7780 ) = 7777
1264 HASH ( 7781 ) = 1537
1265 HASH ( 7782 ) = -7779
1267 HASH ( 7784 ) = -7781
1268 HASH ( 7785 ) = 1804
1269 HASH ( 7786 ) = -7783
1270 HASH ( 7787 ) = 1551
1271 HASH ( 7788 ) = 7759
1273 HASH ( 7790 ) = -7787
1275 HASH ( 7792 ) = -7789
1276 HASH ( 7793 ) = 1301
1278 HASH ( 7796 ) = -7793
1280 HASH ( 7798 ) = -7795
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
1294 HASH ( 7814 ) = -7811
1296 HASH ( 7816 ) = -7813
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
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
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
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
1354 HASH ( 7880 ) = 7877
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
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
1373 HASH ( 7900 ) = -7897
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
1383 HASH ( 7910 ) = 7817
1384 HASH ( 7911 ) = 1816
1385 HASH ( 7912 ) = -7909
1386 HASH ( 7913 ) = 1947
1387 HASH ( 7914 ) = -7911
1389 HASH ( 7916 ) = -7913
1391 HASH ( 7918 ) = -7915
1392 HASH ( 7919 ) = 1500
1393 HASH ( 7920 ) = 7895
1394 HASH ( 7921 ) = 1042
1395 HASH ( 7922 ) = -7919
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
1405 HASH ( 7932 ) = -7929
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
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
1435 HASH ( 7962 ) = -7959
1436 HASH ( 7963 ) = 1821
1437 HASH ( 7964 ) = -7961
1438 HASH ( 7965 ) = 1563
1439 HASH ( 7967 ) = 1756
1440 HASH ( 7968 ) = -7965
1442 HASH ( 7970 ) = -7967
1444 HASH ( 7972 ) = -7969
1445 HASH ( 7973 ) = 1106
1446 HASH ( 7974 ) = -7971
1447 HASH ( 7975 ) = 1563
1448 HASH ( 7977 ) = 1756
1449 HASH ( 7978 ) = -7975
1451 HASH ( 7980 ) = -7977
1452 HASH ( 7981 ) = 1568
1453 HASH ( 7982 ) = -7979
1454 HASH ( 7983 ) = 1181
1455 HASH ( 7985 ) = 1175
1456 HASH ( 7986 ) = -7983
1458 HASH ( 7988 ) = 7857
1459 HASH ( 7989 ) = 1948
1460 HASH ( 7990 ) = -7987
1461 HASH ( 7991 ) = 1432
1462 HASH ( 7992 ) = -7989
1465 HASH ( 7996 ) = -7993
1466 HASH ( 7997 ) = 1051
1467 HASH ( 7998 ) = -7995
1468 HASH ( 7999 ) = 1952
1469 HASH ( 8000 ) = -7997