PostgreSQL Source Code git master
•All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Macros Pages
Data Structures | Typedefs | Functions | Variables
unicode_norm_hashfunc.h File Reference
#include "common/unicode_norm_table.h"
Include dependency graph for unicode_norm_hashfunc.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  pg_unicode_decompinfo
 
struct  pg_unicode_recompinfo
 

Typedefs

typedef int(* cp_hash_func) (const void *key)
 

Functions

static int Decomp_hash_func (const void *key)
 
static int Recomp_hash_func (const void *key)
 

Variables

static const pg_unicode_decompinfo UnicodeDecompInfo
 
static const uint16 RecompInverseLookup [961]
 
static const pg_unicode_recompinfo UnicodeRecompInfo
 

Typedef Documentation

◆ cp_hash_func

typedef int(* cp_hash_func) (const void *key)

Definition at line 23 of file unicode_norm_hashfunc.h.

Function Documentation

◆ Decomp_hash_func()

static int Decomp_hash_func ( const void *  key)
static

Definition at line 42 of file unicode_norm_hashfunc.h.

43{
44 static const int16 h[13687] = {
45 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
46 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
47 32767, 32767, 0, 32767, 32767, 32767, 32767, 0,
48 0, 0, 0, 32767, 0, 0, 32767, 32767,
49 32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
50 0, 0, 0, 32767, 0, 32767, 0, 32767,
51 0, 32767, 0, 32767, 0, 32767, 0, 0,
52 0, 0, 0, 0, 0, 0, 0, 0,
53 0, 0, 0, 0, 0, 0, 0, 0,
54 0, 0, 0, 0, 0, 0, 0, 0,
55 0, 0, 0, 0, 0, 0, 0, 0,
56 0, 0, 0, 0, 0, 0, 0, 0,
57 0, 0, 0, 32767, 32767, 32767, 32767, 0,
58 0, 0, 0, 0, 0, 0, 0, 0,
59 32767, 32767, 0, 32767, 32767, 0, 0, 0,
60 0, 32767, 32767, 32767, 0, 0, 32767, 32767,
61 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
62 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
63 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
64 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
65 0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
66 1, 32767, 2, 32767, 32767, 32767, 32767, 2792,
67 32767, 32767, 4, 5, 6, 7, 32767, 32767,
68 8, 9, 10, 32767, 11, 12, 13, 1734,
69 14, -822, -822, 17, 18, 3020, 1739, 3021,
70 3022, 3023, 1110, 24, 3024, 3025, 27, -3019,
71 32767, 29, 30, 3026, 3027, 33, 34, 5016,
72 1754, -4252, 36, 37, -4254, -4254, -4254, 32767,
73 40, 41, 42, 43, 44, 45, 1912, 46,
74 47, 48, 49, 50, 51, 52, 53, 54,
75 1770, 55, 606, 57, 58, 59, 60, 1776,
76 1777, 61, 62, 63, 64, 65, 32767, 66,
77 32767, -1290, 6662, 3534, 3534, 3534, -172, 3322,
78 -170, -169, -168, -167, 3331, 1788, 0, 1790,
79 1791, 1792, 1793, 1794, 1795, 1796, 1797, 1798,
80 1799, 3354, 1801, 1802, -964, -964, -964, -964,
81 1807, 4976, 4976, 4976, 4976, 4976, 4976, 1814,
82 1815, 4974, 2192, 11244, 2194, 11245, 0, 0,
83 1605, 11251, 0, 11252, 0, 0, 3571, 3571,
84 -47, -47, 0, 0, -124, -123, -122, -4877,
85 -4877, -119, 32767, 32767, -118, 0, -116, -11032,
86 -114, -113, -112, 32767, 32767, -887, -110, -109,
87 -885, -107, 5320, 32767, 32767, -105, -882, 5328,
88 -102, -101, -100, -99, -4221, -4221, -4221, -95,
89 -94, -93, -92, -4221, -4221, -4221, -4221, 32767,
90 32767, -4223, -4223, -4223, -4223, -4223, -4223, -4223,
91 -4223, -5481, -4223, -4223, -4223, -4223, -4223, -4223,
92 -4223, -4223, -4223, -4223, -4223, -4223, -4223, -4223,
93 -5495, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
94 32767, 1839, 1840, 1841, 32767, 32767, 32767, 32767,
95 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
96 32767, 32767, 32767, 32767, 32767, 4663, 4664, 32767,
97 32767, -4255, -4255, 32767, 0, 0, 32767, 32767,
98 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
99 -4268, -4268, 5881, 5882, 4722, 5884, 5885, 5886,
100 5887, 32767, 5888, 5889, 5890, 5891, 5892, 5893,
101 5894, 5895, 5896, 5897, 5898, 185, 186, -3976,
102 -3976, -3976, -3976, 6000, 6001, 6002, 6003, 6004,
103 6005, 6006, 198, 5911, -3968, -3968, -826, -3968,
104 -3968, -3968, -3968, -3968, 208, 209, 32767, -3967,
105 -3967, -3032, -3967, -3967, -3030, 5922, 5923, -813,
106 5925, 5926, 219, 220, 5929, 5930, 5931, 224,
107 -4290, -4290, -4290, -4290, -4290, -4290, -4290, 5940,
108 5941, -4292, -4292, -4292, -4292, -4292, -4292, -4292,
109 -4292, 5950, 5951, 0, 0, 0, 0, 245,
110 0, 0, 0, 0, 0, 0, 0, 253,
111 254, 255, 256, -635, 258, 259, 260, 261,
112 262, 263, 0, 265, 266, 267, 0, 0,
113 268, 269, 32767, 32767, 32767, 32767, 32767, 32767,
114 270, 271, 272, 273, 274, 275, 276, 277,
115 278, 279, 280, 281, 282, 283, 32767, 32767,
116 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
117 32767, 5981, 32767, 32767, 32767, 32767, 32767, 32767,
118 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
119 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
120 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
121 32767, 32767, 0, 32767, 32767, 32767, 32767, 32767,
122 32767, 32767, 32767, 32767, 32767, 0, 32767, 32767,
123 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
124 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
125 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
126 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
127 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
128 32767, 32767, 32767, 32767, 32767, 32767, 32767, 2763,
129 975, 32767, 32767, 0, 0, 0, 0, 0,
130 0, 0, 0, 0, 0, 0, 0, 0,
131 0, 0, 0, 0, 0, 0, 0, 289,
132 0, 0, 0, 0, 0, 0, 0, 0,
133 0, 0, 0, 0, 0, 0, 0, 0,
134 0, 0, 0, 0, 0, 0, 0, 0,
135 0, 0, 0, 0, 0, 0, 0, 0,
136 0, 0, 0, 0, 0, 0, 0, 0,
137 0, 0, 0, 4382, 4382, 4382, 0, 7408,
138 4383, 4383, 0, 0, 0, 0, 0, 0,
139 0, 0, 0, 0, 0, 0, 0, 0,
140 -4027, 0, 0, 0, 0, 0, 0, 0,
141 0, 0, 0, 0, -1642, -1641, -1640, -1639,
142 -1638, 3694, -1636, 3697, 3698, 3699, 0, 0,
143 -1627, 0, 0, -1622, -1621, 0, 6198, -1616,
144 -1615, -1614, -1613, 0, -1610, -1609, -1608, 0,
145 0, 0, 0, 0, 0, 9558, -10546,0,
146 6270, 6271, 6272, 6273, 6274, 6275, -3369, 6277,
147 6545, 6279, 9583, 6281, -1402, -1402, 6284, 6285,
148 304, 1947, 1947, 1947, 1947, 1947, -3384, 1947,
149 -3385, -3385, -3385, 315, 316, 1944, 318, 319,
150 1942, 1942, 322, -5875, 1940, 1940, 1940, 1940,
151 328, 1939, 1939, 1939, 332, 333, 334, 335,
152 336, 337, -9220, 10885, 340, -5929, -5929, -5929,
153 -5929, -5929, -5929, 3716, -5929, -6196, -5929, -9232,
154 -5929, 1755, 1756, -5929, -5929, 53, -1589, -1588,
155 -1587, -1586, -1585, 3747, -1583, 3750, 3751, 3752,
156 53, 53, -1574, 53, 53, -1569, -1568, 53,
157 6251, -1563, -1562, -1561, -1560, 53, -1557, 5101,
158 -1556, 52, 52, 52, 52, 52, 52, 9610,
159 -10494,52, 6322, 6323, 6324, 6325, 6326, 6327,
160 -3317, 6329, 6597, 6331, 9635, 6333, -1350, -1350,
161 6336, 6337, 356, 1999, 1999, 1999, 1999, 1999,
162 0, 0, -2173, -3888, -3337, -5616, 0, 0,
163 432, -2164, 1985, 0, 0, 0, 1980, 0,
164 0, 0, 0, -1319, -4683, 1975, 368, 369,
165 370, 371, 372, 0, -9185, 0, 374, -5895,
166 -5895, 0, 0, 0, 0, 864, 437, -16,
167 -16, 440, 32767, 441, 442, 443, -13, 445,
168 446, 447, 32767, 32767, 32767, 32767, 32767, 6042,
169 6043, 6044, 6045, 430, 431, 0, 2597, -1551,
170 435, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
171 32767, 32767, 32767, 448, 449, 450, 32767, 451,
172 452, 32767, 32767, 32767, 453, 0, 0, 0,
173 0, 0, -428, 0, 454, 455, 0, 456,
174 0, 0, 0, 457, 0, 0, 0, 0,
175 458, 459, 460, 0, 0, 0, 0, 0,
176 0, 0, 0, 0, 0, 0, 0, 0,
177 3733, 3734, 0, 0, 0, 0, 0, 0,
178 0, 0, 0, 0, 0, 0, 0, 0,
179 0, 0, 0, 0, 0, 0, 0, 0,
180 0, 0, 0, 0, 0, 462, 0, 0,
181 0, 0, 0, 0, 0, 0, 0, 0,
182 0, 0, 0, 0, 0, 0, 0, 0,
183 0, 0, 0, 0, 463, 464, 0, 465,
184 0, 0, 0, 466, 0, 0, 0, 0,
185 467, 0, 469, 0, 0, 0, 0, 0,
186 0, 0, 0, 0, 0, 0, 0, 0,
187 0, 0, 0, 0, 0, 0, 0, 0,
188 0, 0, 0, 0, 0, 5493, 0, 0,
189 0, 0, 0, 0, 0, 0, 0, 0,
190 0, 0, 0, 0, 0, 0, 0, 0,
191 5530, 0, 0, 0, 0, 0, 0, 0,
192 0, 0, 0, 0, 0, 0, 0, 0,
193 0, 0, 0, 0, 0, 0, 0, 0,
194 0, 0, 0, 0, 0, 0, 0, 0,
195 0, 0, 0, 0, 0, 0, 0, 0,
196 0, 0, 0, 0, 0, 0, 0, 0,
197 0, 0, 0, 0, 0, -4339, -4339, 0,
198 0, 0, 0, 0, 0, 0, 0, 0,
199 0, 0, 0, 0, -7353, -7353, -7353, -5439,
200 0, 0, -7353, -4354, 0, 0, 485, 486,
201 487, 488, 489, 490, 0, 0, 491, 492,
202 493, 494, -2541, -5542, 0, 0, -5544, -5544,
203 -3630, -2543, -5542, -5542, -2543, 504, -2543, -2543,
204 -2543, -5538, 0, 0, -2545, -2545, 32767, 32767,
205 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
206 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
207 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
208 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
209 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
210 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
211 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
212 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
213 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
214 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
215 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
216 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
217 32767, 32767, 32767, 32767, 32767, 32767, 32767, 3448,
218 3448, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
219 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
220 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
221 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
222 32767, 32767, 32767, 32767, -3213, 32767, 32767, 32767,
223 32767, 32767, 32767, 32767, 32767, 32767, 2540, 2540,
224 2540, 2540, 2540, 0, 4830, 4831, -307, -307,
225 0, 0, 0, 0, 0, 0, 0, 0,
226 0, 0, 0, 0, 0, 0, 0, 0,
227 0, 0, 0, 0, 0, 0, 0, 0,
228 0, 0, 0, 4166, 0, 0, 0, 0,
229 0, 0, 0, 0, 0, 0, 0, 0,
230 0, 0, 0, 0, 0, 0, 0, 0,
231 0, 0, 0, 0, 0, 0, 0, 0,
232 0, 0, 0, 0, 0, 0, 0, 0,
233 0, 0, 0, 0, 0, 0, 0, 0,
234 0, 0, 0, 0, 0, 0, 0, 0,
235 0, 0, 0, 0, 0, 0, 0, 0,
236 0, 0, 0, 0, 0, 0, 0, 0,
237 0, 0, 0, 0, -31, 0, 0, 0,
238 0, 0, 0, 0, 0, 0, 0, 0,
239 0, 0, 0, 0, 0, 0, -796, -795,
240 -794, -793, -792, -791, 1061, 1062, 1063, 1064,
241 1065, 0, 0, 0, 0, 0, 0, 0,
242 -785, -784, -783, -782, -4016, 0, 0, 0,
243 0, 0, 0, 0, 0, 0, 0, 0,
244 0, 0, 0, 0, 0, 0, 0, 0,
245 0, 0, 0, 0, 0, 0, 0, 0,
246 0, 0, 0, 0, 0, 0, 0, 0,
247 0, -1097, -1096, -1095, -5270, -5270, -1094, -1093,
248 -1092, -2026, -1090, -1089, -2025, -2024, -765, -4241,
249 -10978,-10978,-5270, -5270, -10978,-10978,0, 0,
250 0, 0, 0, 0, 0, 0, 0, 0,
251 0, 0, 0, 0, 0, 0, 3849, 0,
252 0, 0, 0, 3854, 2311, 523, 2313, 0,
253 0, 0, 0, 0, 0, 0, 0, 0,
254 0, 0, 0, 0, 0, 0, 0, 0,
255 0, 0, 0, 0, 0, 0, 0, 0,
256 0, 0, 0, 32767, 32767, 32767, 32767, 32767,
257 32767, 32767, 5994, 4146, 4146, 5997, 32767, 32767,
258 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
259 2970, 32767, 32767, 32767, 32767, 1264, 1264, 1264,
260 2215, 2216, 2217, 2218, 2219, 2220, 2221, 32767,
261 32767, 32767, 32767, 32767, 32767, 32767, 5792, 32767,
262 362, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
263 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
264 32767, -3774, 32767, 32767, -3776, -3776, -3776, -3776,
265 -5034, -3776, -3776, 32767, 32767, -3778, -3778, -3778,
266 -3778, -3778, -3778, 32767, 32767, -3780, -3780, 32767,
267 -5053, -3781, -3781, -3781, 32767, 32767, 32767, 32767,
268 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
269 32767, 32767, 32767, 32767, -157, 32767, 32767, 32767,
270 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
271 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
272 627, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
273 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
274 32767, 32767, 32767, 32767, 32767, 32767, 4695, 32767,
275 32767, 2985, 2986, 32767, 32767, 32767, 32767, 628,
276 629, 630, 631, 632, 633, -5911, 635, 636,
277 637, 638, 639, 640, 641, 642, 643, 644,
278 645, 646, 647, 648, 649, 650, 651, 652,
279 653, 654, 32767, 32767, 32767, 32767, 32767, 32767,
280 -2208, 32767, 8339, 32767, 32767, 32767, 32767, 32767,
281 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
282 32767, 4699, 32767, 32767, 32767, 32767, 32767, 32767,
283 32767, 32767, 32767, 32767, 32767, 32767, 32767, 4700,
284 4701, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
285 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
286 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
287 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
288 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
289 32767, 32767, 32767, 32767, 32767, 5998, 0, 32767,
290 32767, 32767, 32767, 0, 0, 32767, 32767, 32767,
291 32767, 0, 2987, 32767, 32767, 32767, 32767, 32767,
292 32767, 32767, 32767, 32767, 32767, 32767, 32767, -1459,
293 -1459, -1459, 32767, 32767, 32767, 32767, 32767, 32767,
294 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
295 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
296 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
297 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
298 32767, 32767, 32767, 32767, 32767, -1496, -2931, 32767,
299 32767, 32767, 655, 656, 657, 658, 659, 660,
300 661, 662, 663, 32767, 32767, 32767, 32767, 32767,
301 32767, 32767, 32767, 32767, 664, 32767, 32767, 32767,
302 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
303 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
304 32767, 32767, 4743, 32767, 32767, 32767, -3717, -3716,
305 667, -6740, 32767, -3714, 670, 671, 672, 673,
306 674, 675, 676, 677, 32767, 678, 679, 680,
307 32767, 681, 4709, 683, 684, 685, 2990, 32767,
308 32767, 32767, 2991, 2992, 32767, 32767, 32767, 32767,
309 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
310 32767, 538, 32767, 32767, 32767, 32767, -1583, 32767,
311 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
312 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
313 32767, 686, -5583, -5583, 32767, 32767, 32767, 32767,
314 32767, 32767, 32767, 32767, 32767, 32767, 32767, -1622,
315 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
316 32767, 32767, 32767, 32767, 32767, 32767, 32767, 4710,
317 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
318 4679, 4711, 4681, 4682, 4683, 4684, 4685, 4686,
319 4687, 4688, 4689, 0, 0, 32767, 0, 32767,
320 32767, 32767, 0, 5257, 32767, 32767, 32767, 6885,
321 6619, 9923, 6621, -1062, -1062, 6624, 6625, 644,
322 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
323 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
324 32767, 1637, 32767, 1637, 32767, 32767, 32767, 32767,
325 32767, 32767, 32767, 32767, 4690, 4691, 4692, 4693,
326 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
327 32767, 32767, 4015, -5630, -5897, -5630, -8933, -5630,
328 2054, 2055, -5630, -5630, 352, -1290, -1289, -1288,
329 -1287, -1286, 714, 715, 2889, 4605, 4055, 6335,
330 720, 721, 32767, 2886, -1262, 724, 725, 726,
331 -1253, 728, 729, 730, 731, 2051, 5416, -1241,
332 367, 367, 367, 367, 367, 740, 9926, 742,
333 369, 6639, 6640, 746, 747, 748, 749, -114,
334 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
335 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
336 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
337 32767, 32767, 32767, -8006, -8006, -2024, -3666, -3665,
338 -3664, -3663, -3662, 1670, -3660, 1673, 1674, 1675,
339 -2024, -2024, -3651, -2024, -2024, 32767, 32767, 32767,
340 32767, 32767, -2866, 32767, 32767, -2865, 32767, 32767,
341 32767, 32767, 32767, 32767, 32767, -2866, 32767, 32767,
342 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
343 32767, 32767, 32767, 32767, 32767, 32767, -2866, 32767,
344 32767, 32767, -4485, -4485, 758, 759, 32767, 32767,
345 32767, 760, -2863, -2862, -2861, -2860, -2859, -2858,
346 -2857, 32767, 32767, 32767, 32767, 32767, 32767, 3014,
347 3015, 3016, 32767, 32767, 32767, 32767, 32767, 32767,
348 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
349 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
350 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
351 32767, 0, 0, 32767, 32767, 32767, 32767, 3017,
352 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
353 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
354 32767, 2180, 2180, 32767, 32767, 32767, 32767, 32767,
355 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
356 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
357 32767, 32767, 32767, 32767, 32767, 768, 32767, 32767,
358 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
359 32767, 32767, 32767, 32767, 769, 770, 771, 32767,
360 32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
361 32767, 32767, 32767, 32767, 32767, 772, 773, 32767,
362 774, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
363 32767, 32767, 32767, 32767, 32767, 32767, 32767, 3018,
364 32767, 32767, 0, 32767, 4716, 4717, 32767, 32767,
365 32767, 32767, 32767, 32767, 3019, 0, 3919, 0,
366 0, 0, 0, 0, 0, 0, 0, 0,
367 0, 0, 0, 0, 0, 0, 0, 0,
368 0, 0, 0, 0, 0, 0, 0, 0,
369 0, 0, 0, 0, 32767, 0, 0, 0,
370 0, 0, 0, 0, 0, 0, 0, 0,
371 0, 0, 0, 0, 0, 0, 0, 0,
372 0, 0, 0, 0, 0, 0, 0, 0,
373 0, 0, 0, 0, 0, 0, 0, 0,
374 0, 0, 0, 0, 0, 32767, 32767, 3643,
375 32767, 32767, 3641, 32767, 32767, 0, 0, -3355,
376 0, 0, 0, 0, 1998, 0, 0, 0,
377 0, 0, 0, -3366, -3366, -3366, 0, 0,
378 -3368, 0, 0, 0, 0, 0, 0, 0,
379 0, 0, 0, 0, 0, 0, 0, 0,
380 0, 0, 0, 0, 0, 0, 0, 0,
381 0, 0, 0, 0, 32767, 0, 0, 0,
382 0, 0, 0, 0, 0, 0, 0, 0,
383 0, 0, 0, 0, 0, 0, 0, 0,
384 0, 0, 0, 0, 0, 0, 0, 0,
385 0, 0, 0, 0, 0, 0, 0, 0,
386 0, 0, 0, 0, 0, 0, 0, 0,
387 0, 0, 0, 0, 0, 0, 0, 0,
388 0, 0, 0, 0, 0, 0, 0, 0,
389 0, 0, 0, 0, 0, 0, 0, 0,
390 0, 0, 0, 0, 0, 0, 0, 0,
391 0, 3365, 0, 0, 0, 0, 0, 0,
392 0, 0, 0, 0, 0, 0, 676, 0,
393 0, 0, 0, 0, 0, 0, 0, 0,
394 0, 0, 0, 0, 0, 0, 677, 0,
395 0, 0, 0, 0, 0, 0, 0, 0,
396 0, 0, 0, 0, 0, 0, 0, 0,
397 0, 13799, 0, 0, 0, 9279, 2994, 32767,
398 8461, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
399 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
400 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
401 1755, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
402 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
403 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
404 32767, 32767, 32767, 3196, 32767, 32767, 32767, 32767,
405 32767, 32767, 32767, 32767, 32767, 32767, 32767, -4700,
406 32767, 32767, 32767, 32767, 32767, 32767, 32767, -3816,
407 360, 361, 362, -572, 364, 365, -571, -570,
408 689, -2787, -9524, -9524, -3816, -3816, -9524, -9524,
409 -9524, -3816, 699, 700, 701, 702, 703, 704,
410 705, 706, 707, 8659, 5531, 5531, 5531, 32767,
411 32767, 32767, 32767, 32767, 32767, 32767, 0, 32767,
412 32767, 32767, 32767, 32767, 32767, 4746, 4747, 32767,
413 4748, 32767, 32767, 32767, 4749, -507, -507, -507,
414 -507, -507, -507, -507, 32767, 32767, 32767, 32767,
415 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
416 32767, 32767, 32767, 32767, 32767, 32767, 32767, -872,
417 32767, 32767, 3030, 3031, 3032, 3033, 32767, 32767,
418 32767, 32767, 32767, 32767, 32767, -3585, -3585, -3585,
419 0, 0, 0, 0, 0, 0, 0, 0,
420 0, 0, 0, 0, 0, 0, 0, 0,
421 0, 0, 0, 0, 0, 0, 0, 0,
422 0, 0, 0, 0, 0, 0, 0, 0,
423 0, 0, 0, 0, 0, -10784,-5076, -561,
424 -560, 0, 0, 0, 0, 0, 0, 0,
425 0, 0, 0, 0, 0, 0, 0, 0,
426 0, 0, 0, 0, 0, 0, 0, 0,
427 0, 0, 0, 0, 0, 0, 0, 0,
428 2304, 2304, 0, 0, 0, 0, 0, 0,
429 0, 0, 0, 0, 0, 0, 0, 0,
430 0, 0, 0, 0, 0, 0, 0, 0,
431 0, 0, 0, 0, 0, 0, 0, 0,
432 0, 0, 0, 0, 0, 0, 0, 0,
433 0, 0, 0, 0, 0, 0, 0, 0,
434 0, 0, 0, 0, 0, 0, 0, 0,
435 0, 0, 0, 0, 0, 0, 0, 0,
436 0, 0, 0, 0, 0, 0, 0, 0,
437 0, 0, 0, 0, 0, 0, -3368, -3368,
438 798, 32767, -372, -372, -372, -372, -372, -372,
439 0, 1160, 0, 0, 0, 0, 0, 0,
440 1161, 0, 0, 0, 0, 0, 0, 0,
441 0, 0, 0, 0, 0, 0, 0, 0,
442 0, 5714, 5714, 9877, 9878, 9879, 9880, 0,
443 0, -97, -97, -97, -97, -97, 5712, 0,
444 0, 9880, 6739, 0, 9882, 9883, 9884, 9885,
445 5710, 0, 3820, 679, 0, 0, 9886, 9887,
446 8951, 0, 0, 6737, 0, 0, 5708, 5708,
447 0, 0, 0, 5708, 10223, 10224, 10225, 10226,
448 10227, 10228, 10229, 0, 0, 10234, 10235, 10236,
449 10237, 10238, 10239, 10240, 10241, 0, 0, 5952,
450 5953, 5954, 5955, 5711, 5957, 5958, 5959, 5960,
451 5961, 5962, 5963, 5711, 5711, 5711, 5711, 6603,
452 5711, 5711, 5711, 5711, 5711, 5711, 5975, 5711,
453 5711, 5711, 5979, 5980, 32767, 32767, 32767, 32767,
454 803, 32767, 32767, 32767, 804, 32767, 32767, 32767,
455 32767, 32767, 32767, 805, 806, 32767, 807, 808,
456 32767, 809, 0, 5999, 32767, 32767, 32767, 32767,
457 32767, 32767, 32767, 32767, 32767, 0, 32767, 32767,
458 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
459 32767, 32767, 32767, 32767, 32767, 32767, 32767, 1389,
460 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
461 32767, 32767, 32767, 840, 841, 32767, 32767, 32767,
462 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
463 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
464 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
465 842, 32767, 843, 32767, 844, 32767, 32767, 32767,
466 32767, 32767, 0, 0, 10606, 0, 845, 5378,
467 0, 0, 0, 0, 1113, 1113, 1113, 1113,
468 1113, 1113, 1113, 1113, 1113, -6838, -3709, -3708,
469 -3707, 0, -3493, 0, 0, 0, 0, -3497,
470 -1953, -164, -1953, -1953, 5407, 5408, -1955, -1955,
471 -1955, -1955, -1955, -1955, -3509, -1955, -1955, 812,
472 813, 814, 815, -1955, -5123, -5122, -5121, -5120,
473 -5119, -5118, -14675,5430, -5115, -2332, -11383,-2332,
474 -11382,-136, -135, -1739, -11384,-11651,-11384,-131,
475 -130, -3700, -3699, -80, 5447, -126, -125, 0,
476 0, 0, 4756, 4757, 0, 5456, -1715, 0,
477 -117, 0, 10917, 0, 0, 0, 5465, 5466,
478 776, 0, 0, 777, 0, -5426, 5473, 5474,
479 0, 778, -5431, 0, 0, 0, 0, 4123,
480 4124, 4125, 0, 0, 0, 0, 4130, 4131,
481 4132, 4133, 4134, 4135, 4136, 4137, 4138, 4139,
482 4140, 4141, 4142, 4143, 5402, 4145, 4146, 4147,
483 4148, 4149, 4150, 4151, 4152, 4153, 4154, 4155,
484 4156, 4157, 4158, 5431, 5432, 4161, 4162, 4163,
485 4164, 4165, 4166, 4167, 4168, 4169, 4170, 4171,
486 4172, 4173, 4174, 4175, 4176, 4177, 4178, 4179,
487 32767, 32767, 4180, 4181, 4182, 4183, 4184, 4185,
488 4186, 4187, 4188, 4189, 4190, 4191, 4192, 6044,
489 6045, 6046, 6047, 6048, 4198, 4199, 4200, 4201,
490 4202, 4203, 4204, 4205, 4206, 4207, 4208, 974,
491 4210, 11136, 3906, 3907, 3908, 3909, 3910, 3911,
492 3912, 3913, 3914, 3915, 3916, 3917, 5988, 5989,
493 0, 0, 3919, 3920, 3921, 3922, -6053, -6053,
494 -6053, -6053, -6053, -6053, -6053, -244, -5956, 3924,
495 3925, 784, 3927, 3928, 3929, 3930, 3931, -244,
496 -244, 3932, 3933, 3934, 3000, 3936, 3937, 3001,
497 3002, 4261, 785, -5952, -5952, -244, -244, -5952,
498 -5952, -5952, 32767, 32767, 32767, 32767, 32767, 32767,
499 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
500 32767, 32767, 32767, 32767, 32767, 32767, -5739, -408,
501 -408, -408, 32767, 32767, 32767, 32767, 3724, 823,
502 824, 32767, 32767, 32767, 32767, 32767, 32767, -421,
503 -2028, -2027, -2026, -2025, -2024, 517, -4312, -4312,
504 827, 828, 522, 523, 524, 525, 526, 527,
505 528, 529, 530, 531, 532, 533, 534, 535,
506 536, 537, 538, 539, 540, 541, 542, 543,
507 544, 545, 546, 547, 548, -3617, 550, 551,
508 552, 553, 554, 555, 556, 32767, 557, 32767,
509 558, 559, 32767, 560, 561, 32767, 562, 32767,
510 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
511 32767, 32767, 32767, 0, 0, 0, 0, 0,
512 0, 0, 0, 0, 0, 32767, 32767, 32767,
513 32767, 32767, 32767, 0, 0, 0, 0, 0,
514 0, 0, 0, 0, 0, 0, 0, 0,
515 0, 0, 0, 0, 0, 0, 0, 0,
516 0, 0, 0, 0, 0, 0, -1191, -1191,
517 -1191, -2792, 0, 0, 0, 0, -2791, -2790,
518 -4408, 0, 0, 0, 0, 0, 0, 0,
519 0, 0, 0, 0, 0, 0, -2791, -2790,
520 -2789, 0, 0, 0, 0, 0, 0, 0,
521 0, 0, 0, 0, 0, 0, 0, 0,
522 0, 0, 837, 838, 0, 0, -3001, 3038,
523 -3001, -3001, -3001, -1087, 0, -2999, -2999, 0,
524 3047, 0, 0, 0, -2995, -2995, 0, 0,
525 0, 0, 4287, 0, 0, 4292, 4293, 0,
526 0, 0, 0, 0, 0, 0, 0, 0,
527 0, 0, 0, 0, 0, 0, 0, 0,
528 0, 0, 0, -550, 0, 0, 0, 0,
529 0, 0, 0, 0, 0, 0, 0, 0,
530 0, 0, 0, 0, 0, 0, 0, 0,
531 0, 3918, 0, 0, 0, 0, 9976, 0,
532 0, 0, 0, -6065, -6065, 0, 0, 0,
533 0, 3142, 0, 0, 0, 0, 0, 0,
534 0, 0, 0, 0, 935, 0, 0, 937,
535 0, 0, 0, 0, 0, 0, 0, 0,
536 0, 0, 9645, 0, -267, 0, -3303, 0,
537 7684, 7685, 0, 0, 5982, 4340, 4341, 4342,
538 4343, 4344, 9676, 4346, 4347, 9679, 9680, 4350,
539 4351, 4352, 4353, 4354, 4355, 4356, 4357, 4358,
540 4359, 4360, 4361, 4362, 4363, 4364, 4365, 4366,
541 5974, 5974, 5974, 5974, 5974, 5974, 15532, -4572,
542 5974, 3192, 12244, 3194, 12245, 12246, 12247, 2603,
543 12249, 12517, 12251, 999, 12252, 4569, 4569, 12255,
544 12256, 6275, 7918, 7918, 7918, 7918, 7918, 2587,
545 7918, 2586, 2586, 2586, 6286, 6287, 7915, 6289,
546 6290, 7913, 7913, 6293, 96, 7911, 7911, 7911,
547 7911, 6299, 7910, 1253, 7911, 6304, 6305, 6306,
548 6307, 6308, 6309, -3248, 16857, 6312, 43, 43,
549 43, 43, 43, 43, 9688, 43, -224, 43,
550 -3260, 43, 7727, 7728, 43, 43, 6025, 1253,
551 6234, 1253, 6384, 6385, 10526, -3272, 1253, 6388,
552 10531, 1253, 1253, 1253, 1253, 6392, 6393, 0,
553 0, 0, 0, 0, 0, 0, 0, 0,
554 0, 0, 0, 0, 0, 6053, 6054, 6055,
555 6056, 6057, 6058, 32767, 6059, 6060, 6061, 6062,
556 32767, 6063, 32767, 6064, 32767, 32767, 32767, 4761,
557 32767, 32767, 6065, 32767, 4762, 4763, 32767, 9404,
558 32767, 6067, 4764, 6068, 32767, 6069, 6070, 6071,
559 32767, 6072, 6073, 32767, 6074, 32767, 32767, 6075,
560 32767, 6076, 32767, 6077, 32767, 6078, 32767, 6079,
561 32767, 4374, 4374, 32767, 4373, 32767, 32767, 5324,
562 5325, 5326, 5327, 32767, 6087, 6088, 6089, 6090,
563 6091, 3057, 6093, 32767, 6094, 4376, -4013, 4376,
564 32767, 4375, 4375, 4375, 4375, 32767, 4374, 32767,
565 4373, 6104, 6105, 6106, 6107, 6108, 6109, 6110,
566 6111, -3652, 881, -645, -645, -1903, 6116, 6117,
567 6118, 4399, 4400, 4401, 6122, 6123, 3567, 3567,
568 4406, 6127, 7410, 6129, 32767, 32767, 32767, 32767,
569 32767, 7409, 7410, 4412, 32767, 6133, 4414, 4415,
570 6136, 6137, 32767, 4420, 9402, 6140, 134, 134,
571 13933, 134, 134, 134, 9413, 4429, 6149, 4432,
572 6151, 4435, 6153, 6304, 6305, 6306, 6307, 6308,
573 6309, 6310, 6311, 6312, 6313, 6314, 1068, 6316,
574 5378, 6318, 5379, 6320, 803, 6322, -2232, 6324,
575 6325, 6326, 1074, 6328, 6329, 6330, 6331, 6332,
576 6333, 6334, 6335, 6336, 6337, 6338, 6339, 6340,
577 6341, 6342, 6343, 6344, 6345, 6346, 6347, 6348,
578 6349, 6350, 6351, 6352, 6353, 6354, 6355, 6356,
579 6357, 6358, 6359, 6360, 5417, 6362, 6363, 6364,
580 6365, 6366, 6367, 5423, 6369, 5424, 6371, 6372,
581 5426, 5426, 6375, 5427, 5427, 6378, 6379, 6380,
582 6381, 6382, 6383, 6384, 6385, 6386, 6387, 6388,
583 6389, 6390, 6391, 6392, 6393, 6394, 6395, 6396,
584 6397, 6398, 6399, 6400, 6401, 6402, 6403, 6404,
585 6405, 6406, 6407, 6408, 6409, 6410, 6411, 6412,
586 6413, 6414, 6415, 6416, 6417, 6418, 6419, 6420,
587 6421, 6422, 7182, 5465, 6425, 6426, 6427, 6428,
588 6429, 6430, 6431, 6432, 6433, 6434, 6435, 6436,
589 6437, 6438, 6439, 6440, 6441, 6442, 6443, 6444,
590 6445, 6446, 6447, 6448, 6449, 6450, 6451, 6452,
591 6453, 6454, 6455, 6456, 6457, 6458, 6459, 6460,
592 6461, 6462, 6463, 6464, 6465, 6466, 6467, 6468,
593 6469, 6470, 6471, 6472, 6473, 6474, 6475, 6476,
594 6477, 6478, 5519, 5519, 6481, 6482, 6483, 6484,
595 6485, 6486, 6487, 6488, 6489, 6490, 6491, 6492,
596 6493, 6494, 6495, 6496, 6497, 6498, 6499, 6500,
597 6501, 6502, 6503, 6504, 6505, 6506, 6507, 6508,
598 6509, 6510, 6511, 6512, 6513, 6514, 6515, 6516,
599 6517, 6518, 6519, 6520, 6521, 6522, 6523, 6524,
600 6525, 6526, 6527, 6528, 6529, 6530, 6531, 6532,
601 6533, 1330, 6535, 6536, 6537, 6538, 5577, 6540,
602 6541, 6542, 6543, 6544, 6545, 6546, 6547, 6548,
603 6549, 6550, 5588, 5588, 6553, 6554, 6555, 6556,
604 32767, 6557, 1728, 1728, 6867, 6868, 6562, 6563,
605 6564, 6565, 6566, 6567, 6568, 6569, 6570, 6571,
606 6572, 6573, 6574, 6575, 6576, 6577, 6578, 6579,
607 6580, 6581, 6582, 6583, 6584, 6585, 6586, 6587,
608 6588, 2423, 6590, 6591, 6592, 6593, 6594, 6595,
609 6596, 6597, 6598, 6599, 6600, 6601, 6602, 6603,
610 6604, 6605, 6606, 6607, 6608, 6609, 6610, 6611,
611 6612, 6613, 6614, 6615, 6616, 6617, 6618, 6619,
612 6620, 6621, 6622, 6623, 6624, 6625, 6626, 6627,
613 6628, 6629, 6630, 6631, 6632, 6633, 6634, 6635,
614 6636, 6637, 6638, 6639, 6640, 6641, 6642, 6643,
615 6644, 6645, 6646, 6647, 6648, 6649, 6650, 6651,
616 6652, 6653, 6654, 6655, 6656, 6657, 6658, 6659,
617 6660, 6661, 6693, 6663, 6664, 6665, 6666, 6667,
618 6668, 6669, 6670, 6671, 6672, 6673, 6674, 6675,
619 6676, 6677, 6678, 6679, 7476, 7476, 7476, 7476,
620 7476, 7476, 5625, 5625, 5625, 5625, 5625, 6691,
621 6692, 6693, 6694, 6695, 6696, 6697, 7483, 7483,
622 7483, 7483, 10718, 6703, 6704, 6705, 6706, 6707,
623 6708, 6709, 6710, 6711, 6712, 6713, 6714, 6715,
624 6716, 6717, 6718, 6719, 6720, 6721, 6722, 6723,
625 6724, 6725, 6726, 6727, 6728, 6729, 6730, 6731,
626 6732, 6733, 6734, 6735, 6736, 6737, 6738, 7836,
627 7836, 7836, 12012, 12013, 7838, 7838, 7838, 8773,
628 7838, 7838, 8775, 8775, 7517, 10994, 17732, 17733,
629 12026, 12027, 17736, 17737, 6760, 6761, 6762, 6763,
630 6764, 6765, 6766, 6767, 6768, 6769, 6770, 6771,
631 6772, 6773, 6774, 6775, 2927, 6777, 6778, 6779,
632 6780, 2927, 4471, 6260, 4471, 6785, 6786, 6787,
633 6788, 6789, 6790, 6791, 6792, 6793, 6794, 6795,
634 6796, 6797, 6798, 6799, 6800, 6801, 6802, 6803,
635 6804, 6805, 6806, 6807, 6808, 6809, 6810, 6811,
636 6812, 32767, 3411, 5540, 5541, 3411, 12221, 3411,
637 3411, 3411, 3411, 5548, 5549, 5550, 5551, 5552,
638 5553, 5554, 5555, 5556, 5557, 5558, 5559, 5560,
639 5561, 5562, 5563, 5564, 5565, 5566, 5567, 5568,
640 32767, 32767, 32767, 32767, 32767, 32767, 3915, 32767,
641 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
642 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
643 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
644 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
645 32767, 32767, 32767, 6155, 6156, 6157, 6158, 6159,
646 6160, 6161, 6162, 6163, 6164, 6165, 32767, 32767,
647 32767, 32767, 32767, 6166, 6167, 6168, 6169, 6170,
648 6171, 6172, 6173, 6174, 6175, 6176, 6177, 6178,
649 6179, 6180, 4615, 4616, 4617, 4618, 4619, 6186,
650 6187, 6188, 6189, 6190, 6191, 6192, 6193, 6194,
651 6195, 6196, 32767, 6197, 6198, 6199, 6200, 6201,
652 7637, 4495, 4495, 6205, 4052, 4052, 6208, 6209,
653 6210, 6211, 6212, 6213, 6214, 6215, 6216, 6217,
654 6218, 6219, 6220, 6221, 6222, 6223, 6224, 6225,
655 6226, 6227, 6228, 32767, 32767, 0, 0, 32767,
656 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
657 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
658 32767, 32767, 32767, 32767, 32767, 6229, 6230, 6231,
659 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
660 32767, 32767, 32767, 32767, 0, 32767, 32767, 32767,
661 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
662 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
663 32767, 32767, 32767, 6232, 32767, 32767, 32767, 32767,
664 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
665 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
666 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
667 884, 885, 886, 32767, 32767, 32767, 32767, 32767,
668 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
669 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
670 32767, 0, 32767, 32767, 32767, 32767, 32767, 32767,
671 32767, 32767, 32767, 0, 32767, 32767, 32767, 32767,
672 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
673 32767, 32767, 32767, 5994, 32767, 32767, 32767, 32767,
674 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
675 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
676 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
677 32767, 32767, 32767, 32767, 6233, 6234, 6235, 32767,
678 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
679 32767, 32767, 32767, 32767, 6236, 6237, 6238, 6239,
680 6240, 6241, 6242, 6243, 6244, 6245, 6246, 6247,
681 6248, 6249, 6250, 6251, 6252, 6253, 6254, 6255,
682 6256, 6257, 6258, 6259, 6260, 6261, 6262, 6263,
683 6264, 6265, 6266, 6267, 6268, 6269, 6270, 6271,
684 6272, 6273, 6274, 6275, 6276, 6277, 6278, 6279,
685 32767, 32767, 32767, 32767, 6280, 6281, 6282, 6283,
686 6284, 6285, 6286, 6287, 6288, 4770, 32767, 4771,
687 4772, 32767, 32767, 32767, 6289, 6290, 32767, 32767,
688 32767, 32767, 32767, 32767, 32767, 32767, -5160, 2071,
689 2071, 2071, 2071, 32767, 2070, 2070, 2070, 2070,
690 2070, 2070, 2070, 0, 0, 6236, 6237, 2075,
691 2075, 2075, 2075, 12051, 12052, 12053, 12054, 12055,
692 12056, 12057, 6249, 11962, 2083, 2083, 5225, 2083,
693 2083, 2083, 2083, 2083, 6259, 6260, 2085, 2085,
694 2085, 3020, 2085, 2085, 3022, 3022, 32767, 5240,
695 11978, 11979, 6272, 6273, 11982, 11983, 11984, 6277,
696 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
697 32767, 32767, 4773, 32767, 32767, 32767, 32767, 32767,
698 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
699 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
700 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
701 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
702 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
703 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
704 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
705 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
706 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
707 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
708 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
709 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
710 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
711 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
712 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
713 32767, 32767, 32767, 32767, 32767, 32767, 32767, 415,
714 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
715 32767, 32767, 32767, 32767, 32767, 32767, -2468, -2468,
716 -2468, -2468, -2468, -2468, -2468, -2468, -2468, -2468,
717 -2468, -2468, -2468, -2468, -2468, -2468, -2468, -2468,
718 2089, 2090, 2091, -2465, -2465, -2465, -2465, -2465,
719 -2465, 2098, 2099, -2463, -2463, -2463, -2463, -2463,
720 -2463, 2106, 2107, -2461, -2461, -2461, -2461, -2461,
721 -2461, 0, 0, -2459, -2459, -2459, 2119, 2120,
722 2121, -2456, 2123, 2124, 2125, 2126, 2127, 2128,
723 0, 0, 2131, -6678, 2133, 2134, 2135, 2136,
724 0, 0, 0, 0, 0, 0, 0, 0,
725 0, 0, 0, 0, 0, 0, 0, 0,
726 0, 0, 0, 0, 0, 2158, 2159, 2160,
727 2161, 2162, 2163, 2164, 2165, 2166, 2167, 2168,
728 2169, 2170, 2171, 2172, 2173, 2174, 2175, 2176,
729 2177, 2178, 2179, 2180, 2181, -2412, -2412, -2412,
730 -2412, -2412, 2187, 2188, 2025, 2190, 2191, 2192,
731 2193, 2194, 2195, 2196, 2197, 2198, 2199, 2200,
732 2201, 2202, 2203, 2204, 2205, 2206, 2207, 2208,
733 2209, 2210, 2211, 2212, 2213, 2214, 2215, 2216,
734 2217, 2218, 2219, 2220, 2221, 0, 0, 0,
735 0, 0, 0, 0, 0, 0, 0, 0,
736 0, 0, 0, 0, 0, 0, 0, 0,
737 0, 0, 0, 0, 0, 0, 0, 0,
738 0, 0, 0, 0, 0, 0, 0, 0,
739 0, 0, 0, 0, 0, 0, 0, 0,
740 0, 0, 0, 0, 0, 0, 1566, 1566,
741 1566, 1566, 1566, 0, 0, 0, 0, 0,
742 0, 0, 0, 0, 0, 0, 32767, 0,
743 0, 0, 0, 0, -1435, 1708, 1709, 0,
744 2154, 2155, 0, 0, 0, 0, 0, 0,
745 0, 0, 0, 0, 0, 0, 0, 0,
746 0, 0, 0, 0, 0, 0, 0, 32767,
747 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
748 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
749 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
750 32767, 0, 0, 0, 32767, 32767, 4774, 4775,
751 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
752 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
753 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
754 32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
755 32767, 32767, 32767, 32767, 0, 0, 0, 0,
756 0, 0, 0, 0, -2552, 0, 0, 32767,
757 0, 32767, 32767, 32767, 1551, 293, 3770, 32767,
758 32767, 32767, 32767, 0, 32767, 0, 32767, 32767,
759 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
760 0, 0, 0, 32767, 32767, 32767, 32767, 32767,
761 32767, 32767, 32767, 0, 32767, 32767, 32767, 0,
762 0, 32767, 0, 0, 32767, 32767, 32767, 32767,
763 0, 32767, 0, 32767, 32767, 32767, 32767, 32767,
764 32767, 32767, 32767, 0, 0, 0, 32767, 32767,
765 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
766 32767, 32767, 32767, 0, 32767, 32767, 32767, 32767,
767 32767, 32767, 32767, 0, 32767, 32767, 32767, 32767,
768 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
769 32767, 32767, 32767, 32767, -4309, -4309, 0, 32767,
770 0, -4310, -4577, -4310, -7613, -4310, 3374, 3375,
771 -4310, -4310, 1672, -3100, 1881, -3100, 2031, 2032,
772 6173, -7625, -3100, 2035, 6178, -3100, -3100, -3100,
773 -3100, 2039, 2040, 32767, 0, -4353, -4353, 0,
774 -4352, 0, 0, -4350, 0, -4349, -4349, -4349,
775 -4349, 32767, 0, 32767, 32767, 32767, 32767, 32767,
776 32767, 0, 32767, 0, 0, 32767, 0, 0,
777 32767, 0, 0, 32767, 32767, 32767, 32767, 32767,
778 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
779 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
780 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
781 32767, 32767, 32767, 32767, 0, 0, 0, 0,
782 0, 951, 952, 953, 954, 955, 956, 957,
783 1717, 0, 32767, 32767, 32767, -1317, 32767, 32767,
784 32767, 0, -8389, 0, 0, 0, 0, 0,
785 0, 0, 0, 0, 0, 32767, 32767, 32767,
786 32767, 32767, 32767, 887, 888, 32767, 32767, 32767,
787 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
788 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
789 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
790 0, 0, 32767, -5009, 32767, 32767, 32767, 32767,
791 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
792 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
793 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
794 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
795 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
796 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
797 32767, 32767, 32767, 32767, 0, 32767, 32767, 32767,
798 32767, 32767, 32767, 5520, 32767, 32767, 32767, 32767,
799 0, 0, 32767, 32767, 32767, 32767, 32767, 32767,
800 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
801 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
802 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
803 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
804 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
805 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
806 32767, 5990, 5991, 5992, 5993, 32767, 32767, 32767,
807 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
808 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
809 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
810 32767, 890, 32767, 32767, 32767, 32767, 32767, 32767,
811 32767, 32767, 32767, 32767, 891, 32767, 32767, 32767,
812 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
813 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
814 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
815 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
816 0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
817 32767, 32767, 32767, 32767, 799, 32767, 32767, 32767,
818 32767, 800, 32767, 32767, 32767, 32767, 32767, 32767,
819 32767, 801, 802, 32767, 32767, 32767, 32767, 32767,
820 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
821 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
822 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
823 32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
824 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
825 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
826 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
827 32767, 32767, 32767, 32767, 32767, 32767, 0, 0,
828 0, 0, 0, 0, 6545, 0, 0, 0,
829 0, 0, 0, 0, 0, 0, 0, 0,
830 0, 0, 0, 0, 0, 0, 0, 0,
831 0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
832 0, 32767, 32767, 32767, 0, 32767, 32767, 32767,
833 32767, 32767, 32767, 0, 0, 32767, 0, 0,
834 32767, 0, 32767, 32767, 32767, 32767, 32767, 32767,
835 -5711, 241, 242, 243, 244, 0, 246, 247,
836 248, 249, 250, 251, 252, 0, 0, 0,
837 0, 892, 0, 0, 0, 0, 0, 0,
838 264, 0, 0, 0, 32767, 32767, 0, 0,
839 32767, 32767, 32767, 32767, 32767, 32767, 0, 0,
840 0, 0, 0, 0, 0, 0, 0, 0,
841 0, 0, 0, 0, 32767, 32767, 32767, 32767,
842 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
843 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
844 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
845 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
846 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
847 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
848 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
849 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
850 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
851 32767, 0, 0, 0, 0, 0, 0, 0,
852 0, 0, 32767, 32767, 32767, 32767, 32767, 32767,
853 32767, 32767, 32767, 0, 32767, 32767, 32767, 32767,
854 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
855 32767, 32767, 893, -266, 895, 32767, 32767, 32767,
856 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
857 284, 285, 286, 287, 288, 0, 290, 291,
858 292, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
859 32767, 32767, 32767, 32767, 0, 0, 0, 0,
860 0, 0, 0, 32767, 32767, 32767, 32767, 32767,
861 32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
862 293, 294, 295, 296, 297, 298, 32767, 32767,
863 299, -4082, -4081, -4080, 303, 0, 0, 0,
864 0, 0, 0, 0, 0, 0, 0, 0,
865 0, 0, 0, 0, 0, 0, 0, 0,
866 0, 0, 0, 32767, 0, 0, 0, 0,
867 0, 32767, 0, 32767, 0, 0, 32767, 0,
868 0, 32767, 0, 0, 0, 0, 0, 0,
869 0, 0, 0, 0, 0, 0, 0, 0,
870 0, 0, 0, 0, 0, 0, 0, 0,
871 0, 0, 0, 0, 0, 0, 0, 0,
872 0, 0, 0, 0, 0, 0, 0, 0,
873 0, 0, 0, 0, 0, 0, 0, 0,
874 0, 0, 0, 0, 0, 0, 0, 0,
875 0, 0, 0, 0, 0, 0, 0, 0,
876 0, 0, 0, 0, 0, 0, 0, 0,
877 0, 0, 0, 0, 0, 0, 0, 0,
878 0, 0, 0, 0, 0, 0, 0, 0,
879 0, 0, 0, 0, 0, 0, 0, 0,
880 0, 0, 0, 0, 0, 0, 0, 0,
881 0, 0, 0, 0, 0, 0, 32767, 32767,
882 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
883 32767, -4245, -4245, 32767, 32767, 32767, 32767, 32767,
884 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
885 32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
886 0, 0, 0, 0, 0, 0, 0, 0,
887 0, 0, 0, 0, 0, 0, 0, 0,
888 0, 0, 0, 0, 0, 0, 0, 0,
889 0, 0, 0, 0, 0, 0, 0, 0,
890 0, 0, 0, 0, 0, 0, 0, 0,
891 0, 0, 0, 0, 32767, 32767, 32767, 32767,
892 32767, 32767, -689, 32767, 32767, 32767, 32767, 32767,
893 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
894 32767, 32767, 32767, 32767, 32767, 32767, 32767, -706,
895 -706, -706, -706, -706, -706, -706, -706, 32767,
896 32767, -7551, 32767, 32767, 32767, 32767, 32767, 32767,
897 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
898 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
899 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
900 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
901 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
902 32767, 32767, -4377, -4377, -8024, -8023, -4377, -4377,
903 -3916, -4377, -4377, -4377, -4377, -4377, -4377, -4377,
904 32767, -4378, -4378, -4378, -4378, -4378, -4378, -4378,
905 -4378, -4378, -4378, -4378, -4378, -4378, -4378, -4378,
906 -4378, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
907 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
908 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
909 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
910 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
911 32767, 32767, 32767, 150, 1867, 150, 0, 0,
912 0, 0, 0, 0, 0, 0, 0, 0,
913 0, 5247, 0, 939, 0, 940, 0, 5518,
914 0, 8555, 0, 0, 0, 5253, 0, 0,
915 0, 0, 0, 0, 0, 0, 0, 0,
916 0, 0, 0, 0, 0, 0, 0, 0,
917 0, 0, 0, 0, 0, 0, 0, 0,
918 0, 0, 0, 0, 0, 0, 0, 944,
919 0, 0, 0, 0, 0, 0, 945, 0,
920 946, 0, 0, 947, 948, 0, 949, 950,
921 0, 0, 0, 0, 0, 0, 0, 0,
922 0, 0, 0, 0, 0, 0, 0, 0,
923 0, 0, 0, 0, 0, 0, 0, 0,
924 0, 0, 0, 0, 0, 0, 0, 0,
925 0, 0, 0, 0, 0, 0, 0, 0,
926 0, 0, 0, 0, 0, -759, 959, 0,
927 0, 0, 0, 0, 0, 0, 0, 0,
928 0, 0, 0, 0, 0, 0, 0, 0,
929 0, 0, 0, 0, 0, 0, 0, 0,
930 0, 0, 0, 0, 0, 0, 0, 0,
931 0, 0, 0, 0, 0, 0, 0, 0,
932 0, 0, 0, 0, 0, 0, 0, 0,
933 0, 0, 0, 0, 0, 960, 961, 0,
934 0, 0, 0, 0, 0, 0, 0, 0,
935 0, 0, 0, 0, 0, 0, 0, 0,
936 0, 0, 0, 0, 0, 0, 0, 0,
937 0, 0, 0, 0, 0, 0, 0, 0,
938 0, 0, 0, 0, 0, 0, 0, 0,
939 0, 0, 0, 0, 0, 0, 0, 0,
940 0, 0, 0, 0, 5204, 0, 0, 0,
941 0, 962, 0, 0, 0, 0, 0, 0,
942 0, 0, 0, 0, 0, 963, 964, 0,
943 0, 0, 0, 32767, 32767, 32767, 32767, 32767,
944 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
945 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
946 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
947 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
948 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
949 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
950 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
951 32767, 32767, 32767, 5186, 32767, 32767, 32767, 32767,
952 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
953 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
954 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
955 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
956 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
957 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
958 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
959 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
960 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
961 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
962 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
963 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
964 32767, 32767, 32767, 32767, 32767, 32767, 0, 32767,
965 0, 0, 32767, 32767, 32767, 32767, 32767, 32767,
966 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
967 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
968 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
969 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
970 32767, 32767, 32767, 32767, 5256, -4973, -4973, 32767,
971 5261, 5262, 5263, 5264, 5265, 5266, 5267, -4974,
972 -4974, 978, 979, 980, 981, 32767, 982, 983,
973 984, 985, 986, 987, 988, 32767, 32767, 32767,
974 32767, 1624, 32767, 32767, 32767, 32767, 32767, 32767,
975 990, 32767, 32767, 0, 991, 992, 32767, 32767,
976 32767, 32767, 32767, 32767, 32767, 32767, 32767, 4759,
977 4760, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
978 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
979 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
980 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
981 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
982 32767, -723, -722, -2974, 32767, 996, -719, -168,
983 -717, -716, -715, 1002, 1003, 1004, -712, -711,
984 32767, -710, 1008, 1009, 1010, 1011, -2060, 5892,
985 2764, 2764, 2764, 1017, 1018, 1019, 1020, 1021,
986 1022, 2567, 1024, 32767, 1025, 1026, 1027, 1028,
987 1029, 1030, 1031, 1032, 1033, 1034, 2589, 1036,
988 1037, -1729, -1729, -1729, -1729, 1042, 4211, 4211,
989 4211, 4211, 4211, 4211, 1049, 1050, 4209, 1427,
990 32767, 32767, 32767, 0, 0, 32767, 32767, 32767,
991 32767, 32767, 32767, 32767, 32767, -825, 32767, 32767,
992 32767, 32767, 32767, 4718, 4719, 4720, 32767, 32767,
993 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
994 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
995 32767, 32767, 32767, 32767, 32767, 32767, 4721, 4722,
996 4723, 4724, 4725, 4726, 4727, 6291, 6292, 6293,
997 4728, 4729, 4730, 4731, 4732, 6299, 6300, -4992,
998 1070, 1071, 1072, 1073, 1074, 1075, 1076, 1077,
999 1078, 1079, 1080, 4733, 1082, 4734, 1084, 1085,
1000 1086, 1087, 1088, 1089, 1090, 1091, 1092, 1093,
1001 1094, 1095, 1096, 1097, 1098, 1099, 1100, 1101,
1002 1102, 1103, 1104, 1105, 1106, 1107, 1108, 1109,
1003 1110, 1111, 1112, 1113, 1114, 1115, 1116, 1117,
1004 1118, 1119, 1120, 1121, 1122, 1123, 1124, 1125,
1005 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133,
1006 1134, 1135, 1136, 1137, 1138, 1139, 1140, 1141,
1007 1142, 1143, 1144, 1145, 1146, 4737, 1148, 4738,
1008 4739, 1151, 1152, 1153, 1154, 32767, 4740, 4741,
1009 4742, 1158, 1159, 1160, 1161, 1162, 1163, 1164,
1010 1165, 1166, 1167, 1168, 1169, 1170, 1171, 1172,
1011 1173, 1174, 1175, 1176, 1177, 1178, 1179, 1180,
1012 1181, 1182, 1183, 1184, 1185, 1186, 1187, 1188,
1013 1189, 1190, 1191, 1192, 1193, 1194, 11979, 6272,
1014 1758, 1758, 1199, 1200, 1201, 1202, 1203, 1204,
1015 1205, 1206, 1207, 1208, 1209, 1210, 1211, 1212,
1016 1213, 1214, 1215, 1216, 1217, 1218, 1219, 1220,
1017 1221, 1222, 1223, 1224, 1225, 1226, 1227, 1228,
1018 1229, -1074, -1073, 1232, 1233, 1234, 1235, 1236,
1019 1237, 1238, 1239, 1240, 1241, 1242, 1243, 1244,
1020 1245, 1246, 1247, 1248, 1249, 1250, 1251, 1252,
1021 1253, 1254, 1255, 1256, 1257, 1258, 1259, 1260,
1022 1261, 1262, 1263, 1264, 1265, 1266, 1267, 1268,
1023 1269, 1270, 1271, 1272, 1273, 1274, 1275, 1276,
1024 1277, 1278, 1279, 1280, 1281, 1282, 1283, 1284,
1025 1285, 1286, 1287, 1288, 1289, 1290, 1291, 1292,
1026 1293, 1294, 1295, 1296, 1297, 1298, 1299, 1300,
1027 1301, 1302, 1303, 1304, 1305, 1306, 1307, 4676,
1028 4677, 512, 32767, 32767, 32767, 32767, 1683, 1684,
1029 1685, 1314, 155, 1316, 1317, 1318, 1319, 1320,
1030 1321, 161, 1323, 1324, 1325, 1326, 1327, 1328,
1031 1329, 1330, 1331, 1332, 1333, 1334, 1335, 1336,
1032 1337, 1338, -4375, -4374, -8536, -8536, -8536, -8536,
1033 1345, 1346, 1444, 1445, 1446, 1447, 1448, -4360,
1034 1353, 1354, -8525, -5383, 1357, -8524, -8524, -8524,
1035 -8524, -4348, 1363, -2456, 686, 1366, 1367, -8518,
1036 -8518, -7581, 1371, 1372, -5364, 1374, 1375, -4332,
1037 -4331, 1378, 1379, 1380, -4327, -8841, -8841, -8841,
1038 -8841, -8841, -8841, -8841, 1389, 1390, -8843, -8843,
1039 -8843, -8843, -8843, -8843, -8843, -8843, 1399, 1400,
1040 32767, 32767, 32767, 32767, 32767, 32767, 32767, 5957,
1041 2655, -5028, -5028, 2658, 2659, -3322, -1679, -1679,
1042 -1679, -1679, -1679, -7010, -1679, -1679, -7010, -7010,
1043 -1679, -1679, -1679, -1679, -1679, 32767, 32767, -1681,
1044 -1681, -1681, -1681, -1681, -1681, 32767, 32767, -1683,
1045 -1683, -3290, -3289, -3288, -3287, -3286, -3285, -12842,
1046 7263, -3282, -499, -9550, -499, -9549, -9549, -9549,
1047 96, -9549, -9816, -9549, 1704, -9548, -1864, -1863,
1048 -9548, -9548, -3566, -5208, -5207, -5206, -5205, -5204,
1049 128, -5202, 131, 132, 133, 32767, 32767, -5195,
1050 -3568, -3568, -5190, -5189, -3568, 32767, 32767, -5185,
1051 -5184, -5183, -3570, -5180, 1478, -5179, -3571, 32767,
1052 -3572, 32767, -3573, 32767, 5984, 32767, -3575, 2695,
1053 2696, 2697, 2698, 2699, 2700, -6944, 2702, 2970,
1054 2704, 6008, 2706, -4977, -4977, 2709, 2710, -3271,
1055 1502, -3478, 1504, -3626, -3626, -7766, 6033, 1509,
1056 -3625, -7767, 1512, 1513, 1514, 32767, 32767, -3625,
1057 -3625, -3625, -3625, -3625, -3625, -3625, 1522, -3624,
1058 1524, 1525, 1526, 1527, 1528, 1529, 0, 0,
1059 0, 0, 0, 0, 0, 0, 0, 0,
1060 0, 0, 0, 0, 0, 3128, 0, 0,
1061 0, 0, 0, 0, 0, 0, 0, 0,
1062 0, 0, 0, 0, 0, 0, 0, 0,
1063 0, 0, 0, 0, 0, 0, 0, 0,
1064 0, 0, 0, 0, 0, 0, 0, 0,
1065 0, 0, 1581, -673, 0, 784, 0, 0,
1066 0, 0, 0, 0, 0, 0, 0, 0,
1067 0, 0, 0, 0, 0, 0, 0, 0,
1068 0, 0, 0, 0, 3025, 0, 0, 0,
1069 0, 0, 0, 0, 0, 0, 0, -6843,
1070 -6843, 0, 0, 0, 1619, 1620, 1621, 0,
1071 0, 0, 0, 0, 0, 0, 0, 0,
1072 0, 0, 0, 0, 0, -2788, 32767, 32767,
1073 1634, 1635, 1636, 1637, 1638, 1639, 1640, 1641,
1074 4194, 1643, 1644, 32767, 32767, 32767, 32767, 32767,
1075 32767, 1352, 32767, 32767, 32767, 32767, 32767, 1646,
1076 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1077 32767, 32767, 32767, 32767, 1647, 1648, 1649, 32767,
1078 32767, 32767, 32767, 32767, 32767, 32767, 32767, 1650,
1079 32767, 32767, 32767, 1651, 1652, 32767, 1653, 1654,
1080 32767, 32767, 32767, 32767, 1655, 32767, 1656, 32767,
1081 32767, 32767, 32767, 399, 399, 32767, 32767, 1657,
1082 1658, 1659, 32767, 32767, 32767, 32767, 32767, 32767,
1083 0, 0, 0, 0, 32767, 32767, 32767, 1660,
1084 32767, 32767, 32767, 32767, 32767, 6619, 32767, 1661,
1085 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1086 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1087 5971, 5972, 5973, 5974, 1664, 5975, 6243, 5977,
1088 9281, 5979, -1704, -1704, 5982, 5983, 2, 4775,
1089 -205, 4777, -353, -353, -4493, 9306, 4782, -352,
1090 -4494, 4785, 4786, 4787, 4788, -350, -350, 6044,
1091 1691, 6045, 6046, 1694, 6047, 1696, 1697, 6048,
1092 1699, 6049, 6050, 6051, 6052, 0, 0, 0,
1093 0, 0, 0, 32767, 0, 0, 0, 0,
1094 1704, 0, 32767, 0, 32767, 32767, 32767, 32767,
1095 32767, 32767, 0, 32767, 32767, 32767, -3338, -3338,
1096 -3338, 0, 32767, 0, 32767, 0, 0, 0,
1097 32767, 0, 0, 32767, 0, 32767, 32767, 0,
1098 0, 0, 0, 0, 32767, 0, 32767, 0,
1099 1705, 1706, 1707, 1708, 1709, 759, 759, 759,
1100 759, 759, 759, 759, 0, 0, 0, 0,
1101 0, 3035, 0, 32767, 0, 1719, 10109, 1721,
1102 1722, 1723, 1724, 1725, 1726, 1727, 1728, 1729,
1103 1730, 0, 0, 0, 0, 0, 0, 0,
1104 0, 9764, 6757, 6758, 6759, 8018, 0, 0,
1105 0, 1720, 1720, 1720, 0, 0, 2557, 2558,
1106 1720, 0, -1282, 0, -1281, -1281, -1281, 633,
1107 1720, -1279, -1279, 1720, 4767, 0, 1720, 1720,
1108 0, 0, 1718, 1718, -3263, 0, 6007, 6008,
1109 -7790, 6010, 6011, 6012, -3266, 1719, 0, 1718,
1110 0, 1717, 0, -150, 1717, 1717, 1717, 32767,
1111 1716, 1716, 1716, 3969, 1715, 0, 1716, 1166,
1112 1716, 1716, 1716, 0, 0, 0, 1717, 1717,
1113 1717, 1717, 0, 0, 0, 0, 3072, -4879,
1114 -1750, -1749, -1748, 0, 0, 0, 0, 0,
1115 0, -1544, 0, 1789, 0, 0, 0, 0,
1116 0, 0, 0, 0, 0, 0, -1554, 0,
1117 0, 2767, 2768, 2769, 2770, 0, -3168, -3167,
1118 -3166, -3165, -3164, -3163, 0, 0, -3158, -375,
1119 -9426, -375, -9425, 1821, 1822, 218, -9427, 1825,
1120 -9426, 1827, 1828, -1742, -1741, 1878, 1879, 1833,
1121 1834, 32767, 32767, 32767, 32767, 2642, -4765, -1739,
1122 -1738, 32767, 1835, 32767, 32767, 32767, 32767, 32767,
1123 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1124 32767, 32767, 32767, 2718, -3491, 3174, 3174, 3174,
1125 -3669, -3669, -3669, -3669, -3669, -5232, -5232, -5232,
1126 -3666, -3666, -3666, -3666, -3666, -5232, -5232, 6061,
1127 0, 0, 0, 0, 0, 0, 0, 0,
1128 0, 0, 0, -3652, 0, -3651, 0, 0,
1129 0, 0, 0, 0, 0, 0, 0, 0,
1130 0, 0, 0, 0, 0, 0, 0, 0,
1131 0, 0, 0, 0, 0, 0, 0, 0,
1132 0, 0, 0, 0, 0, 0, 0, 0,
1133 0, 0, 0, 0, 0, 0, 0, 0,
1134 0, 0, 0, 0, 0, 0, 0, 0,
1135 0, 0, 0, 0, 0, 0, 0, 0,
1136 0, 0, 0, 0, 0, -3590, 0, -3589,
1137 -3589, 0, 0, 0, 0, 32767, 1842, 32767,
1138 32767, 32767, 32767, 1843, 32767, 32767, 1844, 32767,
1139 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1140 0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1141 32767, 32767, 32767, 32767, 32767, 32767, 1845, 32767,
1142 1846, 32767, 32767, 32767, 32767, 32767, 1847, 1848,
1143 0, 1849, 1850, 0, 32767, 32767, 0, 0,
1144 0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1145 32767, 32767, 32767, 1851, 32767, 32767, 1852, 32767,
1146 32767, 1853, 32767, 1854, 32767, 32767, 32767, 32767,
1147 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1148 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1149 32767, 32767, -4903, 32767, -6162, 32767, 32767, 32767,
1150 32767, 32767, 32767, 32767, 32767, 32767, 32767, 137,
1151 1858, 3141, 1860, 3142, 32767, 32767, 1229, 143,
1152 32767, 32767, 144, -2902, 0, 0, 32767, 32767,
1153 32767, 32767, 148, 5130, 0, 0, -4140, 9659,
1154 32767, 0, -4142, 5137, 5138, 0, 0, 0,
1155 0, 0, 0, 0, 0, 0, 0, 32767,
1156 0, 5148, 5149, 5150, 5151, 5152, 5153, 4782,
1157 3623, 3623, 3623, 3623, 3623, 3623, 3623, 3623,
1158 3623, 3623, 3623, 3623, 3623, 3623, 6751, 3623,
1159 3623, 3623, 3623, 3623, 3623, 3623, 3623, 3623,
1160 3623, 3623, 3623, 3623, 32767, 3622, 3622, 3622,
1161 3622, 32767, 3621, 3621, 3621, 0, 3622, 32767,
1162 3621, 32767, 32767, 32767, 3618, 3618, 3618, 3618,
1163 3618, 3618, 3618, 32767, 2944, 0, 4402, 3618,
1164 3618, 3618, 3618, 3618, 3618, 3618, 3618, 3618,
1165 3618, 3618, 3618, 3618, 0, 0, 3620, 3620,
1166 3620, 3620, 3620, 3620, -762, 6646, 3621, 3621,
1167 3621, 3621, 3621, 3621, 3621, 3621, 3621, 3621,
1168 -3222, -3222, 3621, 3621, 3621, 5240, 5241, 5242,
1169 0, 0, 3623, 3623, 3623, 0, 3624, 3624,
1170 3624, 3624, 3624, 3624, 3624, 3624, 836, 0,
1171 0, 0, 0, 0, 0, 0, 0, 0,
1172 0, 0, 0, 0, 0, 0, 0, 0,
1173 0, 0, 0, 0, 0, 0, 0, 0,
1174 0, 0, 0, 0, -3647, -3646, 0, 0,
1175 461, 0, 0, 0, 0, 0, 0, 0,
1176 0, 0, 0, 0, 0, 0, 0, 0,
1177 0, 0, 0, 0, 0, 0, 0, 0,
1178 0, 0, 0, 0, 0, 0, 0, 0,
1179 0, 0, 0, 0, 0, 0, 0, 0,
1180 0, 0, 0, 0, 0, 0, 0, 0,
1181 0, 0, 0, 0, 0, 0, 0, 0,
1182 0, 0, 0, 0, 0, 0, 0, 0,
1183 0, 0, 0, 0, 468, 0, 0, 0,
1184 0, 0, 0, 0, 0, 0, 0, 0,
1185 0, 0, 32767, 32767, 32767, 32767, 32767, 32767,
1186 32767, 0, 0, 32767, 0, 470, 471, 32767,
1187 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1188 32767, 32767, 472, 473, 474, 475, 476, 32767,
1189 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1190 32767, 32767, 32767, 775, 32767, 32767, 32767, 32767,
1191 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1192 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1193 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1194 32767, 32767, 32767, 4803, 4804, 7596, 7596, 7596,
1195 4808, 4809, 4810, 4811, 4812, 4813, 4814, 4815,
1196 4816, 4817, 4818, 4819, 4820, 4821, 4822, 4823,
1197 4824, 3988, 3988, 4827, 4828, 7830, 1792, 7832,
1198 7833, 7834, 5921, 4835, 7835, 7836, 4838, 0,
1199 0, 0, 0, 0, 0, 0, 0, 0,
1200 0, 0, 0, 0, 0, 3036, 6038, 0,
1201 6040, 6041, 6042, 4129, 3043, 6043, 6044, 3046,
1202 0, 3048, 3049, 3050, 6046, 6047, 3053, 3054,
1203 3055, 3056, -1230, 3058, 3059, -1232, -1232, 3062,
1204 3063, 3064, 3065, 3066, 3067, 3068, 3069, 3070,
1205 3071, 3072, 3073, 3074, 3075, 3076, 3077, 3078,
1206 3079, 3080, 3081, 3632, 3083, 3084, 3085, 3086,
1207 3087, 3088, 3089, 3090, 3091, 3092, 3093, 3094,
1208 3095, 3096, 3097, 3098, 3099, 3100, 3101, 3102,
1209 3103, -814, 3105, 3106, 3107, 3108, -6867, 3110,
1210 3111, 3112, 3113, 9179, 9180, 3116, 3117, 3118,
1211 3119, -22, 3121, 3122, 3123, 3124, 3125, 3126,
1212 3127, 3128, 3129, 3130, 2196, 3132, 3133, 2197,
1213 3135, 3136, 3137, 3138, 3139, 3140, 3141, 3142,
1214 3143, 3144, -6500, 3146, 3414, 3148, 6452, 3150,
1215 -4533, -4533, 3153, 3154, -2827, -1184, -1184, -1184,
1216 -1184, -1184, -6515, -1184, -1184, -6515, -6515, -1184,
1217 -1184, -1184, -1184, -1184, -1184, -1184, -1184, -1184,
1218 -1184, -1184, -1184, -1184, -1184, -1184, -1184, -1184,
1219 -2791, -2790, -2789, -2788, -2787, -2786, -12343,7762,
1220 -2783, 0, -9051, 0, -9050, -9050, -9050, 595,
1221 -9050, -9317, -9050, 2203, -9049, -1365, -1364, -9049,
1222 -9049, -3067, -4709, -4708, -4707, -4706, -4705, 627,
1223 -4703, 630, 631, 632, -3067, -3067, -4694, -3067,
1224 -3067, -4689, -4688, -3067, 3131, -4683, -4682, -4681,
1225 -4680, -3067, -4677, 1981, -4676, -3068, -3068, -3068,
1226 -3068, -3068, -3068, 6490, -13614,-3068, 3202, 3203,
1227 3204, 3205, 3206, 3207, -6437, 3209, 3477, 3211,
1228 6515, 3213, -4470, -4470, 3216, 3217, -2764, 2009,
1229 -2971, 2011, -3119, -3119, -7259, 6540, 2016, -3118,
1230 -7260, 2019, 2020, 2021, 2022, -3116, -3116, 3278,
1231 3279, 3280, 3281, 3282, 3283, 3284, 3285, 3286,
1232 3287, 3288, 3289, 3290, 3291, 32767, 3292, 3293,
1233 -869, -869, -869, -869, 9107, 9108, 9109, 9110,
1234 9111, 9112, 9113, 3305, 32767, 32767, -863, 32767,
1235 -864, 32767, 32767, -866, -866, 3310, 3311, -864,
1236 -864, -864, 71, -864, -864, 32767, 72, 32767,
1237 2290, 32767, 32767, 3320, 3321, 32767, 32767, 32767,
1238 3322, -1192, -1192, -1192, -1192, -1192, -1192, -1192,
1239 -1192, -1192, -1192, -1192, -1192, -1192, -1192, -1192,
1240 -1192, -1192, -1192, -1192, -1192, -1192, -1192, -1192,
1241 -1192, -1192, -1192, -1192, -1192, -1192, -1192, -1192,
1242 -1192, -1192, -1192, -1192, -1192, -1192, -1192, -1192,
1243 -1192, -1192, -1192, 3365, 3366, 3367, -1189, -1189,
1244 -1189, -1189, -1189, -1189, 3374, 3375, -1187, -1187,
1245 -1187, -1187, -1187, -1187, 3382, 3383, -1185, -1185,
1246 -1185, -1185, -1185, -1185, 32767, 32767, -1185, -1185,
1247 -1185, 3393, 3394, 3395, -1182, 3397, 3398, 3399,
1248 3400, 3401, 3402, 1274, 1274, 3405, -5404, 3407,
1249 3408, 3409, 3410, 1274, 1274, 1274, 1274, 1274,
1250 1274, 1274, 1274, 1274, 1274, 1274, 1274, 1274,
1251 1274, 1274, 1274, 1274, 1274, 1274, 1274, 1274,
1252 3432, 3433, 3434, 3435, 3436, 3437, 3438, 3439,
1253 3440, 3441, 3442, 3443, 3444, 3445, 3446, 3447,
1254 3448, 3449, 3450, 3451, 3452, 3453, 3454, 3455,
1255 -1138, -1138, -1138, -1138, -1138, 3461, 3462, 3299,
1256 3464, 3465, 3466, 3467, 3468, 3469, 3470, 3471,
1257 3472, 3473, 3474, 3475, 3476, 3477, 3478, 3479,
1258 3480, 3481, 3482, 3483, 3484, 3485, 3486, 3487,
1259 3488, 3489, 3490, 3491, 3492, 3493, 3494, 3495,
1260 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1261 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1262 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1263 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1264 32767, 32767, 32767, 32767, 32767, 32767, 32767, 3496,
1265 3497, 3498, 3499, 3500, 3501, 3502, 32767, 32767,
1266 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1267 32767, 32767, 3503, 3211, 3211, 3211, 3211, 32767,
1268 32767, 32767, 32767, 32767, 7590, 7590, 7590, 3208,
1269 3512, 3513, 3514, 3515, 3516, 3517, 3518, 3519,
1270 3520, 3521, 3522, 3523, 3524, 3525, 3526, 3527,
1271 3528, 3529, 3530, 3531, 3532, 3533, 32767, 3534,
1272 3535, 3536, 3537, 3538, 32767, 3539, 32767, 3540,
1273 3541, 32767, 3542, 3543, 32767, 3544, 3545, 3546,
1274 3547, 3548, 3549, 3550, 3551, 3552, 3553, 3554,
1275 3555, 3556, 3557, 3558, 3559, 3560, 3561, 3562,
1276 3563, 3564, 3565, 3566, 3567, 3568, 3569, 3570,
1277 3571, 3572, 3573, 3574, 3575, 3576, 3577, 3578,
1278 3579, 3580, 3581, 3582, 3583, 3584, 3585, 3586,
1279 3587, 3588, 3589, 3590, 3591, 3592, 3593, 3594,
1280 3595, 3596, 3597, 3598, 3599, 3600, 3601, 3602,
1281 3603, 3604, 3605, 3606, 3607, 3608, 3609, 3610,
1282 3611, 3612, 3613, 3614, 3615, 3616, 3617, 3618,
1283 3619, 3620, 3621, 3622, 3623, 3624, 3625, 3626,
1284 3627, 3628, 3629, 3630, 3631, 3632, 3633, 3634,
1285 3635, 3636, 3637, 3638, 3639, 3640, 3641, 3642,
1286 3643, 3644, 3645, 3646, 3647, 3648, 3649, 3650,
1287 3651, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1288 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1289 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1290 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1291 32767, 32767, 3652, 3653, 3654, 3655, 3656, 3657,
1292 3658, 3659, 3660, 3661, 3662, 3663, 3664, 3665,
1293 3666, 3667, 3668, 3669, 3670, 3671, 3672, 3673,
1294 3674, 3675, 3676, 3677, 3678, 3679, 3680, 3681,
1295 3682, 3683, 3684, 3685, 3686, 3687, 3688, 3689,
1296 3690, 3691, 3692, 3693, 3694, 3695, 3696, 32767,
1297 3244, 3698, 3699, 3700, 3701, 3702, 4131, 3704,
1298 3251, 3251, 3707, 3252, 3709, 3710, 3711, 3255,
1299 3713, 3714, 3715, 3716, 3259, 3259, 3259, 3720,
1300 3721, 3722, 3723, 3724, 3725, 3726, 3727, 3728,
1301 3729, 3730, 3731, 3732, 0, 0, 3735, 3736,
1302 3737, 3738, 3739, 3740, 3741, 3742, 3743, 3744,
1303 3745, 3746, 3747, 3748, 3749, 3750, 3751, 3752,
1304 3753, 3754, 3755, 3756, 3757, 3758, 3759, 3760,
1305 3761, 3300, 3763, 3764, 3765, 3766, 3767, 3768,
1306 3769, 3770, 3771, 3772, 3773, 3774, 3775, 3776,
1307 3777, 3778, 3779, 3780, 3781, 3782, 3783, 3784,
1308 3322, 3322, 3787, 3323, 3789, 3790, 3791, 3326,
1309 3793, 3794, 3795, 3796, 3330, 3798, 3330, 3800,
1310 3801, 3802, 3803, 3804, 3805, 3806, 3807, 3808,
1311 3809, 3810, 3811, 3812, 3813, 3814, 3815, 3816,
1312 3817, 3818, 3819, 3820, 3821, 3822, 3823, 3824,
1313 3825, -1667, 3827, 3828, 3829, 3830, 3831, 3832,
1314 3833, 3834, 3835, 3836, 3837, 3838, 3839, 3840,
1315 3841, 3842, 3843, 3844, -1685, 3846, 3847, 3848,
1316 3849, 3850, 3851, 3852, 3853, 3854, 3855, 3856,
1317 3857, 3858, 3859, 3860, 3861, 3862, 3863, 3864,
1318 3865, 3866, 3867, 3868, 3869, 3870, 3871, 3872,
1319 3873, 3874, 3875, 3876, 3877, 3878, 3879, 3880,
1320 3881, 3882, 3883, 3884, 3885, 3886, 3887, 3888,
1321 3889, 3890, 3891, 3892, 3893, 3894, 3895, 3896,
1322 3897, 8237, 8238, 3900, 3901, 3902, 3903, 3904,
1323 3905, 3906, 3907, 3908, 3909, 3910, 3911, 3912,
1324 11266, 11267, 11268, 9355, 3917, 3918, 11272, 8274,
1325 3921, 3922, 3438, 3438, 3438, 3438, 3438, 3438,
1326 3929, 3930, 3440, 3440, 3440, 3440, 6476, 9478,
1327 3937, 3938, 9483, 9484, 7571, 6485, 9485, 9486,
1328 6488, 3442, 6490, 6491, 6492, 9488, 3951, 3952,
1329 32767, -866, -866, -866, -866, -866, -866, -29,
1330 -28, -866, -866, -3867, 2172, -3867, -3867, -3867,
1331 -1953, -866, -3865, -3865, -866, 3973, 3974, 3975,
1332 3976, 3977, 3978, 3979, 3980, 3981, 3982, 3983,
1333 3984, 3985, 3986, 951, -2050, 3989, -2050, -2050,
1334 -2050, -136, 951, -2048, -2048, 951, 3998, 951,
1335 951, 951, -2044, -2044, 951, 951, 951, 951,
1336 5238, 951, 951, 5243, 5244, 951, 951, 32767,
1337 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1338 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1339 32767, 383, 933, 933, 933, 933, 933, 933,
1340 933, 933, 933, 933, 933, 933, 933, 933,
1341 933, 933, 933, 933, 933, 933, 933, 4851,
1342 933, 933, 933, 933, 10909, 933, 933, 933,
1343 933, -5132, -5132, 933, 933, 933, 933, 4075,
1344 933, 933, 933, 933, 933, 933, 933, 933,
1345 933, 933, 1868, 933, 933, 1870, 933, 933,
1346 933, 933, 933, 933, 933, 933, 933, 933,
1347 10578, 0, 32767, 931, -2372, 931, 8615, 8616,
1348 931, 931, 6913, 5271, 5272, 5273, 5274, 5275,
1349 10607, 5277, 5278, 10610, 10611, 5281, 5282, 5283,
1350 5284, 5285, 5286, 5287, 5288, 5289, 5290, 5291,
1351 5292, 5293, 5294, 5295, 5296, 5297, 6905, 6905,
1352 6905, 6905, 6905, 6905, 16463, -3641, 6905, 4123,
1353 13175, 4125, 13176, 13177, 13178, 3534, 13180, 13448,
1354 13182, 32767, 32767, 32767, 0, 32767, 32767, 32767,
1355 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1356 32767, 32767, 0, 0, 32767, 32767, 32767, 32767,
1357 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1358 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1359 32767, -2357, 17748, 7203, 934, 934, 934, 934,
1360 934, 934, 10579, 934, 667, 934, 32767, 32767,
1361 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1362 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1363 32767, 32767, 4146, 4147, 4148, 4149, 4150, 4151,
1364 4152, 4153, 4154, 4155, 32767, 32767, 32767, 32767,
1365 32767, 32767, 4156, 4157, 4158, 4159, 4160, 4161,
1366 4162, 4163, 4164, 4165, 4166, 4167, 4168, 4169,
1367 4170, 4171, 4172, 4173, 4174, 4175, 4176, 4177,
1368 4178, 4179, 4180, 4181, 4182, 5374, 5375, 5376,
1369 6978, 4187, 4188, 4189, 4190, 6982, 6982, 32767,
1370 32767, 4193, 4194, 4195, 4196, 4197, 4198, 4199,
1371 4200, 4201, 4202, 4203, 4204, 32767, 6995, 6995,
1372 4207, 4208, 4209, 4210, 4211, 4212, 4213, 4214,
1373 4215, 4216, 4217, 4218, 4219, 4220, 4221, 4222,
1374 4223, 32767, 3386, 4225, 4226, 7228, 32767, 32767,
1375 32767, 32767, 5315, 4229, 7229, 32767, 4231, 32767,
1376 4232, 4233, 4234, 7230, 7231, 4237, 4238, 4239,
1377 4240, -46, 4242, 4243, -48, -48, 4246, 4247,
1378 4248, 4249, 4250, 4251, 4252, 4253, 4254, 4255,
1379 4256, 4257, 4258, 4259, 4260, 4261, 4262, 4263,
1380 4264, 4265, 4816, 4267, 4268, 4269, 4270, 4271,
1381 4272, 4273, 4274, 4275, 4276, 4277, 4278, 4279,
1382 4280, 4281, 4282, 4283, 4284, 4285, 4286, 4287,
1383 370, 4289, 4290, 4291, 4292, -5683, 4294, 4295,
1384 4296, 4297, 10363, 10364, 4300, 4301, 4302, 4303,
1385 1162, 4305, 4306, 4307, 4308, 4309, 4310, 4311,
1386 4312, 4313, 4314, 3380, 4316, 4317, 3381, 4319,
1387 4320, 4321, 4322, 4323, 4324, 4325, 4326, 4327,
1388 4328, -5316, 4330, 4598, 4332, 7636, 4334, -3349,
1389 -3349, 4337, 4338, -1643, 0, 0, 0, 0,
1390 0, -5331, 0, 0, -5331, -5331, 0, 0,
1391 0, 0, 0, 0, 0, 0, 0, 0,
1392 0, 0, 0, 0, 0, 0, 0, 0,
1393 0, 0, 0, 0, 0, 0, 0, 4126,
1394 4127, 4128, 4129, 0, 0, 0, 0, 0,
1395 0, 0, 0, 0, 0, 0, 0, 0,
1396 0, -1258, 0, 0, 0, 0, 0, 0,
1397 0, 0, 0, 0, 0, 0, 0, 0,
1398 -1272, -1272, 0, 0, 0, 0, 0, 0,
1399 0, 0, 0, 0, 0, 0, 0, 0,
1400 0, 0, 0, 0, 0, 0, 0, 0,
1401 0, 0, 0, 0, 0, 0, 0, 0,
1402 0, 0, 0, 0, -1851, -1851, -1851, -1851,
1403 -1851, 0, 0, 0, 0, 0, 0, 0,
1404 0, 0, 0, 0, 3235, 0, -6925, 306,
1405 306, 306, 306, 306, 306, 306, 306, 306,
1406 306, 306, 306, -1764, -1764, 4472, 4473, 311,
1407 311, 311, 311, 10287, 10288, 10289, 10290, 10291,
1408 10292, 10293, 4485, 10198, 319, 319, 3461, 319,
1409 319, 319, 319, 319, 4495, 4496, 321, 321,
1410 321, 1256, 321, 321, 1258, 1258, 0, 3477,
1411 10215, 10216, 4509, 4510, 10219, 10220, 10221, 4514,
1412 0, 0, 0, 0, 0, 0, 0, 0,
1413 0, 0, 0, 0, 0, 0, 0, 0,
1414 0, 0, 0, 0, 0, 0, 0, 0,
1415 0, 0, 0, 0, 0, 0, 0, 0,
1416 0, 0, 0, 0, 0, 0, 0, 0,
1417 0, 0, 0, 0, 0, 0, 0, 0,
1418 0, 0, 0, 0, 0, 0, 0, 0,
1419 0, 0, 0, 0, 0, 0, 0, 0,
1420 0, 0, 0, 0, 0, 0, 0, 0,
1421 0, 0, 0, 0, 4579, 4580, 4581, 4582,
1422 4583, 4584, 32767, 2455, 4586, -4223, 4588, 4589,
1423 4590, 4591, 32767, 32767, 32767, 32767, 32767, 32767,
1424 32767, 32767, 32767, 32767, 32767, 4885, 4886, 4887,
1425 4888, 4889, 4890, 4891, 4892, 4893, 4894, 4895,
1426 4896, 4897, 4898, 4899, 4900, 4901, 4902, 4903,
1427 4904, 4616, 4906, 4907, 4908, 4909, 4910, 4911,
1428 4912, 4913, 4914, 4915, 4916, 4917, 4918, 4919,
1429 4920, 4921, 4922, 4923, 4924, 4925, 4926, 4927,
1430 4928, 4929, 4930, 4931, 4932, 4933, 4934, 4935,
1431 4936, 4937, 4938, 4939, 4940, 4941, 4942, 4943,
1432 4944, 4945, 4946, 4947, 4948, 567, 568, 569,
1433 4952, -2455, 571, 572, 4956, 4957, 4958, 4959,
1434 4960, 4961, 4962, 4963, 4964, 4965, 4966, 4967,
1435 4968, 4969, 32767, 4970, 4971, 4972, 4973, 4974,
1436 4975, 4976, 4977, 4978, 4979, 4980, 6623, 6623,
1437 6623, 6623, 6623, 1292, 6623, 1291, 1291, 1291,
1438 4991, 4992, 6620, 4994, 4995, 6618, 6618, 4998,
1439 -1199, 6616, 6616, 6616, 6616, 5004, 6615, 6615,
1440 6615, 5008, 5009, 5010, 5011, 5012, 5013, -4544,
1441 15561, 5016, -1253, -1253, -1253, -1253, -1253, -1253,
1442 8392, -1253, -1520, -1253, -4556, -1253, 6431, 6432,
1443 -1253, -1253, 4729, 3087, 3088, 3089, 3090, 3091,
1444 8423, 3093, 3094, 8426, 8427, 3097, 3098, 3099,
1445 3100, 3101, 3102, 3103, 3104, 3105, 3106, 3107,
1446 3108, 3109, 3110, 3111, 3112, 3113, 4721, 4721,
1447 4721, 4721, 4721, 4721, 14279, -5825, 4721, 1939,
1448 10991, 1941, 10992, 10993, 10994, 1350, 10996, 11264,
1449 10998, -254, 10999, 3316, 3316, 11002, 11003, 5022,
1450 6665, 6665, 6665, 6665, 6665, 1334, 6665, 1333,
1451 1333, 1333, 5033, 5034, 6662, 5036, 5037, 6660,
1452 6660, 5040, -1157, 6658, 6658, 6658, 6658, 5046,
1453 6657, 0, 6658, 5051, 5052, 5053, 5054, 5055,
1454 5056, -4501, 15604, 5059, -1210, -1210, -1210, -1210,
1455 -1210, -1210, 8435, -1210, -1477, -1210, -4513, -1210,
1456 6474, 6475, -1210, -1210, 4772, 0, 4981, 0,
1457 5131, 5132, 9273, -4525, 0, 5135, 9278, 0,
1458 0, 0, 0, 5139, 5140, 5141, 5142, 5143,
1459 5144, 5145, 5146, 0, 5147, 0, 0, 0,
1460 0, 0, 0, 1530, 1531, 1532, 1533, 1534,
1461 1535, 1536, 1537, 1538, 1539, 1540, 1541, 1542,
1462 1543, 1544, -1583, 1546, 1547, 1548, 1549, 1550,
1463 1551, 1552, 1553, 1554, 1555, 1556, 1557, 1558,
1464 1559, 1560, 1561, 1562, 1563, 1564, 1565, 1566,
1465 1567, 5189, 1568, 1569, 1570, 1571, 1572, 1573,
1466 1574, 1575, 1576, 1577, 1578, 1579, 1580, 0,
1467 2255, 5200, 799, 1584, 1585, 1586, 1587, 1588,
1468 1589, 1590, 1591, 1592, 1593, 1594, 1595, 1596,
1469 5215, 5216, 1597, 1598, 1599, 1600, 1601, 1602,
1470 5985, -1422, 1604, 1605, 1606, 1607, 1608, 1609,
1471 1610, 1611, 1612, 1613, 8457, 8458, 1616, 1617,
1472 1618, 0, 0, 0, 5243, 5244, 1622, 1623,
1473 1624, 5248, 1625, 1626, 1627, 1628, 1629, 1630,
1474 1631, 1632, 4421, 5258, 5259, 5260, 5261, 5262,
1475 5263, 5264, 5265, 5266, 5267, 5268, 5269, 5270,
1476 5271, 5272, 5273, 5274, 5275, 5276, 5277, 5278,
1477 5279, 5280, 5281, 5282, 5283, 5284, 5285, 5286,
1478 8934, 8934, 5289, 5290, 4830, 5292, 5293, 5294,
1479 5295, 5296, 5297, 5298, 5299, 5300, 5301, 5302,
1480 5303, 5304, 5305, 5306, 5307, 5308, 5309, 5310,
1481 5311, 5312, 5313, 5314, 5315, 5316, 5317, 5318,
1482 5319, 5320, 5321, 5322, 5323, 5324, 5325, 5326,
1483 5327, 5328, 5329, 5330, 5331, 5332, 5333, 5334,
1484 5335, 5336, 5337, 5338, 5339, 5340, 5341, 5342,
1485 5343, 5344, 5345, 5346, 5347, 5348, 5349, 5350,
1486 5351, 5352, 5353, 5354, 5355, 5356, 5357, 5358,
1487 4891, 5360, 5361, 5362, 5363, 5364, 5365, 5366,
1488 5367, 5368, 5369, 5370, 5371, 5372, 32767, 5373,
1489 5374, -5231, 5376, 4532, 0, 5379, 5380, 5381,
1490 5382, 4270, 4271, 4272, 4273, 4274, 4275, 4276,
1491 4277, 4278, 12230, 9102, 9102, 9102, 5396, 8890,
1492 5398, 5399, 5400, 5401, 8899, 7356, 5568, 7358,
1493 7359, 0, 0, 7364, 7365, 7366, 7367, 7368,
1494 7369, 8924, 7371, 7372, 4606, 4606, 4606, 4606,
1495 7377, 10546, 10546, 10546, 10546, 10546, 10546, 20104,
1496 0, 10546, 7764, 16816, 7766, 16817, 5572, 5572,
1497 7177, 16823, 17091, 16825, 5573, 5573, 9144, 9144,
1498 5526, 0, 5574, 5574, 5450, 5451, 5452, 697,
1499 697, 5455, 0, 7172, 5458, 5576, 5460, -5456,
1500 5462, 5463, 5464, 0, 0, 4691, 5468, 5469,
1501 4693, 5471, 10898, 0, 0, 5475, 4698, 10908,
1502 5478, 5479, 5480, 5481, 1359, 1359, 1359, 5485,
1503 5486, 5487, 5488, 1359, 1359, 1359, 1359, 1359,
1504 1359, 1359, 1359, 1359, 1359, 1359, 1359, 1359,
1505 1359, 101, 1359, 1359, 1359, 1359, 1359, 1359,
1506 1359, 1359, 1359, 1359, 1359, 1359, 1359, 1359,
1507 87, 87, 1359, 1359, 1359, 1359, 1359, 1359,
1508 1359, 1359, 1359, 1359, 1359, 1359, 1359, 1359,
1509 1359, 1359, 1359, 1359, 1359, 1359, 1359, 1359,
1510 1359, 1359, 1359, 1359, 1359, 1359, 1359, 1359,
1511 1359, 1359, 1359, 1359, -492, -492, -492, -492,
1512 -492, 1359, 1359, 1359, 1359, 1359, 1359, 1359,
1513 1359, 1359, 1359, 1359, 4594, 1359, -5566, 1665,
1514 1665, 1665, 1665, 1665, 1665, 1665, 1665, 1665,
1515 1665, 1665, 1665, -405, -405, 5585, 5586, 1668,
1516 1668, 1668, 1668, 11644, 11645, 11646, 11647, 11648,
1517 11649, 11650, 5842, 11555, 1676, 1676, 4818, 1676,
1518 1676, 1676, 1676, 1676, 5852, 5853, 1678, 1678,
1519 1678, 2613, 1678, 1678, 2615, 2615, 1357, 4834,
1520 11572, 11573, 5866, 5867, 11576, 11577, 11578, 5871,
1521 1357, 1357, 1357, 1357, 1357, 1357, 1357, 1357,
1522 1357, -6594, -3465, -3464, -3463, 244, -3249, 244,
1523 244, 244, 244, -3253, -1709, 80, -1709, -1709,
1524 5651, 5652, -1711, -1711, -1711, -1711, -1711, -1711,
1525 -3265, -1711, -1711, 1056, 1057, 1058, 1059, -1711,
1526 -4879, -4878, -4877, -4876, -4875, -4874, -14431,5674,
1527 -4871, -2088, -11139,-2088, -11138,108, 109, -1495,
1528 -11140,-11407,-11140,113, 114, -3456, -3455, 164,
1529 5691, 118, 119, 244, 244, 244, 5000, 5001,
1530 244, 5700, -1471, 244, 127, 244, 11161, 244,
1531 244, 244, 5709, 5710, 1020, 244, 244, 1021,
1532 244, -5182, 5717, 5718, 244, 1022, -5187, 244,
1533 244, 244, 244, 4367, 4368, 4369, 244, 244,
1534 244, 244, 4374, 4375, 4376, 4377, 4378, 4379,
1535 4380, 4381, 4382, 4383, 4384, 4385, 4386, 4387,
1536 5646, 4389, 4390, 4391, 4392, 4393, 4394, 4395,
1537 4396, 4397, 4398, 4399, 4400, 4401, 4402, 5675,
1538 5676, 4405, 4406, 4407, 4408, 4409, 4410, 4411,
1539 4412, 4413, 4414, 4415, 4416, 4417, 4418, 4419,
1540 4420, 4421, 4422, 4423, 4424, 4425, 4426, 4427,
1541 4428, 4429, 4430, 4431, 4432, 4433, 4434, 4435,
1542 4436, 4437, 4438, 6290, 6291, 6292, 6293, 6294,
1543 4444, 4445, 4446, 4447, 4448, 4449, 4450, 4451,
1544 4452, 4453, 4454, 1220, 4456, 11382, 4152, 4153,
1545 4154, 4155, 4156, 4157, 4158, 4159, 4160, 4161,
1546 4162, 4163, 6234, 6235, 0, 0, 4163, 4164,
1547 4165, 4166, -5809, -5809, -5809, -5809, -5809, -5809,
1548 -5809, 0, -5712, 4168, 4169, 1028, 4171, 4172,
1549 4173, 4174, 4175, 0, 0, 4176, 4177, 4178,
1550 3244, 4180, 4181, 3245, 3246, 4505, 1029, -5708,
1551 -5708, 0, 0, -5708, -5708, -5708, 0, 4515,
1552 4516, 4517, 4518, 4519, 4520, 4521, 4522, 4523,
1553 4524, 4525, 4526, 4527, 4528, 4529, 4530, 4531,
1554 4532, 4533, 4534, 4535, 4536, 4537, 4538, 4539,
1555 4540, 4541, 4542, 4543, 4544, 4545, 4546, 4547,
1556 4548, 4549, 4550, 4551, 4552, 4553, 4554, 4555,
1557 4556, 0, 0, 0, 4557, 4558, 4559, 4560,
1558 4561, 4562, 0, 0, 4563, 4564, 4565, 4566,
1559 4567, 4568, 0, 0, 4569, 4570, 4571, 4572,
1560 4573, 4574, 2114, 2115, 4575, 4576, 4577, 0,
1561 0, 0, 4578, 0, 0, 0, 0, 0,
1562 0, 2129, 2130, 0, 8810, 0, 0, 0,
1563 0, 2137, 2138, 2139, 2140, 2141, 2142, 2143,
1564 2144, 2145, 2146, 2147, 2148, 2149, 2150, 2151,
1565 2152, 2153, 2154, 2155, 2156, 2157, 0, 0,
1566 0, 0, 0, 0, 0, 0, 0, 0,
1567 0, 0, 0, 0, 0, 0, 0, 0,
1568 0, 0, 0, 0, 0, 0, 4594, 4595,
1569 4596, 4597, 4598, 0, 0, 164, 0, 0,
1570 0, 0, 0, 0, 0, 0, 0, 0,
1571 0, 0, 0, 0, 0, 0, 0, 0,
1572 0, 0, 0, 0, 0, 0, 0, 0,
1573 0, 0, 0, 0, 0, 0, 2222, 2223,
1574 2224, 2225, 2226, 2227, 2228, 2229, 2230, 2231,
1575 2232, 2233, 2234, 2235, 2236, 2237, 2238, 2239,
1576 2240, 2241, 2242, 2243, 2244, 2245, 2246, 2247,
1577 2248, 2249, 2250, 2251, 2252, 2253, 2254, 2255,
1578 2256, 2257, 2258, 2259, 2260, 2261, 2262, 2263,
1579 2264, 2265, 2266, 2267, 2268, 2269, 2270, 705,
1580 706, 707, 708, 709, 2276, 2277, 2278, 2279,
1581 2280, 2281, 2282, 2283, 2284, 32767, 32767, 32767,
1582 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1583 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1584 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1585 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1586 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1587 2285, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1588 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1589 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1590 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1591 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1592 32767, 32767, 2286, 2287, 2288, 2289, 2290, 2291,
1593 32767, 32767, 32767, 32767, 32767, 32767, 2292, 32767,
1594 2293, 2294, 2295, 32767, 32767, 32767, 32767, 32767,
1595 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1596 32767, 32767, 32767, 32767, 2296, 32767, 2297, 32767,
1597 2298, 32767, 2299, 32767, 2300, 32767, 2301, 32767,
1598 2302, 32767, 2303, 32767, 2304, 32767, 2305, 32767,
1599 2306, 32767, 2307, 32767, 32767, 2308, 32767, 2309,
1600 32767, 2310, 32767, 32767, 32767, 32767, 32767, 32767,
1601 2311, 2312, 32767, 2313, 2314, 32767, 2315, 2316,
1602 32767, 2317, 2318, 32767, 2319, 2320, 32767, 32767,
1603 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1604 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1605 32767, 32767, 32767, 32767, 2321, 32767, 32767, 32767,
1606 32767, 2322, 2323, 2324, 2325, 32767, 2326, 2327,
1607 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1608 32767, 32767, 32767, 32767, 2328, 32767, 2329, 32767,
1609 2330, 32767, 2331, 32767, 2332, 32767, 2333, 32767,
1610 2334, 32767, 2335, 32767, 2336, 32767, 2337, 32767,
1611 2338, 32767, 2339, 32767, 32767, 2340, 32767, 2341,
1612 32767, 2342, 32767, 32767, 32767, 32767, 32767, 32767,
1613 2343, 2344, 32767, 2345, 2346, 32767, 2347, 2348,
1614 32767, 2349, 2350, 32767, 2351, 2352, 32767, 32767,
1615 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1616 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1617 32767, 32767, 32767, 32767, 2353, 32767, 32767, 2354,
1618 2355, 2356, 2357, 32767, 32767, 32767, 2358, 2359,
1619 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1620 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1621 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1622 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1623 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1624 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1625 32767, 32767, 2360, 2361, 2362, 2363, 2364, 2365,
1626 2366, 2367, 2368, 2369, 2370, 2371, 2372, 2373,
1627 2374, -753, 2376, 2377, 2378, 2379, 2380, 2381,
1628 2382, 2383, 2384, 2385, 2386, 2387, 2388, 2389,
1629 2390, 2391, 2392, 2393, 2394, 2395, 2396, 2397,
1630 2398, 2399, 2400, 2401, 2402, 2403, 2404, 2405,
1631 2406, 2407, 2408, 2409, 2410, 2411, 831, 3086,
1632 2414, 1631, 2416, 2417, 2418, 2419, 2420, 2421,
1633 2422, 2423, 2424, 2425, 2426, 2427, 2428, 2429,
1634 2430, 2431, 2432, 2433, 2434, 2435, 2436, 2437,
1635 -587, 2439, 2440, 2441, 2442, 2443, 2444, 2445,
1636 2446, 2447, 2448, 9292, 9293, 2451, 2452, 2453,
1637 32767, 32767, 32767, 2454, 2455, 2456, 2457, 2458,
1638 2459, 2460, 2461, 2462, 2463, 2464, 2465, 2466,
1639 2467, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1640 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1641 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1642 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1643 32767, 32767, 32767, 4599, 32767, 32767, 32767, 32767,
1644 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1645 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1646 32767, 32767, 32767, 32767, 32767, 32767, 4600, 32767,
1647 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1648 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1649 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1650 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1651 32767, 32767, 2468, -1450, 2470, 2471, 2472, 2473,
1652 2474, 2475, 2476, 2477, 2478, 2479, 2480, 2481,
1653 2482, 2483, 2484, 2485, 2486, 2487, 2488, 2489,
1654 2490, 2491, 2492, 2493, 2494, 2495, 2496, 2497,
1655 2498, 32767, 2499, 2500, 2501, 2502, 2503, 2504,
1656 2505, 2506, 2507, 2508, 2509, 2510, 2511, 2512,
1657 2513, 2514, 2515, 2516, 2517, 2518, 2519, 2520,
1658 2521, 2522, 2523, 2524, 2525, 2526, 2527, 2528,
1659 2529, 2530, 2531, 2532, 2533, 2534, 2535, 2536,
1660 2537, 2538, 32767, 32767, 32767, 32767, 32767, 32767,
1661 32767, 32767, 2539, 2540, 5896, 2542, 2543, 2544,
1662 2545, 548, 2547, 2548, 2549, 2550, 2551, 2552,
1663 5919, 5920, 5921, 2556, 2557, 5926, 2559, 2560,
1664 2561, 2562, 2563, 2564, 2565, 2566, 2567, 2568,
1665 2569, 2570, 2571, 2572, 2573, 2574, 2575, 2576,
1666 2577, 2578, 2579, 2580, 2581, 2582, 2583, 2584,
1667 2585, 32767, 2586, 2587, 2588, 2589, 2590, 2591,
1668 2592, 2593, 2594, 2595, 2596, 2597, 2598, 2599,
1669 2600, 2601, 2602, 2603, 2604, 2605, 2606, 2607,
1670 2608, 2609, 2610, 2611, 2612, 2613, 2614, 2615,
1671 2616, 2617, 2618, 2619, 2620, 2621, 2622, 2623,
1672 2624, 2625, 2626, 2627, 2628, 2629, 2630, 2631,
1673 2632, 2633, 2634, 2635, 2636, 2637, 2638, 2639,
1674 2640, 2641, 2642, 2643, 2644, 2645, 2646, 2647,
1675 2648, 2649, 2650, 2651, 2652, 2653, 2654, 2655,
1676 2656, 2657, 2658, 2659, 2660, 2661, -703, 2663,
1677 2664, 2665, 2666, 2667, 2668, 2669, 2670, 2671,
1678 2672, 2673, 2674, 1999, 2676, 2677, 2678, 2679,
1679 2680, 2681, 2682, 2683, 2684, 2685, 2686, 2687,
1680 2688, 2689, 2690, 2014, 2692, 2693, 2694, 2695,
1681 2696, 2697, 2698, 2699, 2700, 2701, 2702, 2703,
1682 2704, 2705, 2706, 2707, 2708, 2709, -11089,2711,
1683 2712, 2713, 32767, 2714, 2715, 2716, 2717, 2718,
1684 8050, 2720, 2721, 8053, 8054, 2724, 2725, 2726,
1685 2727, 2728, 2729, 2730, 2731, 2732, 2733, 2734,
1686 2735, 2736, 2737, 2738, 2739, 2740, 2741, 2742,
1687 2743, 2744, 2745, 2746, 2747, 2748, -1377, -1377,
1688 -1377, -1377, 2753, 2754, 2755, 2756, 2757, 2758,
1689 2759, 2760, 2761, 2762, 2763, 2764, 2765, 2766,
1690 4025, 2768, 2769, 2770, 2771, 2772, 2773, 2774,
1691 2775, 2776, 2777, 2778, 2779, 2780, 2781, 4054,
1692 4055, 2784, 2785, 2786, 2787, 2788, 2789, 2790,
1693 2791, 2792, 2793, 2794, 2795, 2796, 2797, 2798,
1694 2799, 2800, 2801, 2802, 2803, 2804, 2805, 2806,
1695 2807, 2808, 2809, 2810, 2811, 2812, 2813, 2814,
1696 2815, 2816, 2817, 4669, 4670, 4671, 4672, 4673,
1697 2823, 2824, 2825, 2826, 2827, 2828, 2829, 2830,
1698 2831, 2832, 2833, -401, 2835, 9761, 2531, 2532,
1699 2533, 2534, 2535, 2536, 2537, 2538, 2539, 2540,
1700 2541, 2542, 4613, 4614, -1621, -1621, 2542, 2543,
1701 2544, 2545, -7430, -7430, -7430, -7430, -7430, -7430,
1702 -7430, -1621, -7333, 2547, 2548, -593, 2550, 2551,
1703 2552, 2553, 2554, -1621, -1621, 2555, 2556, 2557,
1704 1623, 2559, 2560, 1624, 1625, 2884, -592, -7329,
1705 -7329, -1621, -1621, -7329, -7329, -7329, -1621, 2894,
1706 2895, 2896, 2897, 2898, 2899, 2900, 2901, 2902,
1707 2903, 2904, 2905, 2906, 2907, 2908, 2909, 2910,
1708 2911, 2912, 2913, 2914, 2915, 2916, 2917, 2918,
1709 2919, 2920, 2921, 2922, 2923, 2924, 2925, 2926,
1710 2927, 2928, 2929, 2930, 2931, 2932, 2933, 2934,
1711 2935, 2936, 2937, 2938, 2939, 2940, 2941, 2942,
1712 2943, 2944, 2945, 2946, 2947, 2948, 2949, 2950,
1713 2951, 2952, 2953, 2954, 2955, 2956, 2957, 2958,
1714 2959, 2960, 2961, 2962, 2963, 2964, 2965, 2966,
1715 2967, 2968, 2969, 32767, 32767, 32767, 32767, 32767,
1716 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1717 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1718 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1719 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1720 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1721 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1722 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1723 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1724 32767, 32767, 32767, 32767, 0, 0, 0, 0,
1725 0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1726 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1727 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1728 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1729 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1730 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1731 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1732 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1733 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1734 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1735 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1736 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1737 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1738 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1739 32767, 32767, 32767, 32767, 32767, 0, 32767, 32767,
1740 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1741 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1742 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1743 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1744 32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
1745 0, 0, 0, 0, 0, 32767, 32767, 32767,
1746 32767, 32767, 32767, 0, 32767, 0, 0, 0,
1747 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1748 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1749 32767, 0, 32767, 0, 32767, 0, 32767, 0,
1750 32767, 0, 32767, 0, 32767, 0, 32767, 0,
1751 32767, 0, 32767, 0, 32767, 0, 32767, 0,
1752 32767, 32767, 0, 32767, 0, 32767, 0, 32767,
1753 32767, 32767, 32767, 32767, 32767, 0, 0, 32767,
1754 0, 0, 32767, 0, 0, 32767, 0, 0,
1755 32767, 0, 0, 32767, 32767, 32767, 32767
1756 };
1757
1758 const unsigned char *k = (const unsigned char *) key;
1759 size_t keylen = 4;
1760 uint32 a = 0;
1761 uint32 b = 1;
1762
1763 while (keylen--)
1764 {
1765 unsigned char c = *k++;
1766
1767 a = a * 257 + c;
1768 b = b * 8191 + c;
1769 }
1770 return h[a % 13687] + h[b % 13687];
1771}
int16
int16_t int16
Definition: c.h:497
uint32
uint32_t uint32
Definition: c.h:502
b
int b
Definition: isn.c:74
a
int a
Definition: isn.c:73
c
char * c
Definition: preproc-cursor.c:31

References a, b, and sort-test::key.

◆ Recomp_hash_func()

static int Recomp_hash_func ( const void *  key)
static

Definition at line 2749 of file unicode_norm_hashfunc.h.

2750{
2751 static const int16 h[1923] = {
2752 -109, -96, 32767, 0, -844, -182, -292, 32767,
2753 830, 793, 794, 665, 0, -9, 32767, 32767,
2754 32767, 32767, 32767, 428, 32767, 32767, 32767, 502,
2755 0, 32767, -230, 144, 356, -76, 0, 243,
2756 665, 32767, 32767, -1003, 244, 0, 32767, 32767,
2757 573, 246, 125, 32767, 32767, 32767, 0, 32767,
2758 32767, 32767, 32767, 0, 245, 32767, 723, 32767,
2759 0, 889, 32767, 32767, 32767, 0, 32767, 32767,
2760 0, 173, 157, 1215, 254, 255, -126, 0,
2761 0, 504, 459, -11, 238, -188, 722, 247,
2762 260, 32767, -184, -6, 2102, -578, 32767, 32767,
2763 -598, -670, 260, 19, 32767, -472, 32767, 664,
2764 511, 0, 32767, 345, 291, 0, -370, 176,
2765 32767, 1017, -139, -519, -30, 0, -24, -23,
2766 481, -253, -1813, 32767, 0, 935, 32767, 32767,
2767 -443, 32767, 773, 32767, 32767, 32767, -507, 427,
2768 0, 32767, 899, 32767, 32767, 277, 0, 32767,
2769 32767, 0, 842, 854, 0, 32767, 936, 621,
2770 -195, 32767, 0, 32767, 707, 268, 32767, 32767,
2771 435, 32767, 32767, 32767, 0, 267, 88, 72,
2772 32767, 487, 32767, 32767, 32767, 0, 32767, 32767,
2773 32767, 32767, 32767, 875, -312, 32767, 483, 875,
2774 270, 89, 32767, 483, 32767, 32767, 32767, 32767,
2775 708, 273, 2053, -63, -242, -479, 32767, 352,
2776 32767, 32767, 0, 560, 544, 32767, 32767, 32767,
2777 0, 0, 32767, 0, 32767, 32767, 32767, 525,
2778 274, 32767, 404, 386, 518, 32767, -357, 32767,
2779 -45, 1154, 276, 32767, 149, 0, 277, 714,
2780 313, 32767, 32767, 32767, 32767, 32767, 841, 460,
2781 431, 32767, 32767, -49, 32767, 32767, 32767, 32767,
2782 32767, 32767, 0, 876, 280, 281, 131, 388,
2783 283, 32767, 1125, 32767, 695, 712, 32767, 0,
2784 713, 1732, 0, 32767, 0, 231, 32767, 0,
2785 32767, -755, 32767, 32767, 32767, 435, 32767, 0,
2786 951, 952, 32767, 32767, 464, 867, 1298, 0,
2787 660, -55, 0, 292, 663, 118, 661, -722,
2788 435, 816, 328, 0, 323, 323, -258, -684,
2789 2114, 0, 302, 0, 32767, 32767, 1607, 32767,
2790 0, 32767, 32767, 0, 810, 32767, -543, -5,
2791 515, 32767, 0, 877, 304, 32767, 472, 32767,
2792 683, -549, 258, 285, -904, 32767, 148, 1202,
2793 1044, 0, 32767, 32767, 659, 1395, 905, 32767,
2794 32767, 32767, -626, 32767, 32767, 32767, 32767, 672,
2795 0, 32767, -139, 32767, 32767, 0, 0, 660,
2796 1, 32767, -955, -293, 616, 391, 632, -126,
2797 32767, 32767, 1610, -166, 754, 324, 32767, 32767,
2798 931, 32767, 32767, 32767, 0, 32767, 32767, 32767,
2799 32767, 0, 32767, 32767, 302, 391, 32767, 32767,
2800 516, 32767, 32767, 1131, 670, 544, 308, 286,
2801 0, 0, 32767, 32767, 531, -629, -35, 0,
2802 6, -63, 485, 0, 0, -486, -58, 0,
2803 0, 38, 470, -20, 0, 32767, 0, 0,
2804 956, 32767, 0, 294, -759, 0, 32767, 32767,
2805 -362, 73, 316, 588, 314, 32767, 609, 0,
2806 318, 32767, 32767, 32767, -759, 1466, -212, 32767,
2807 1910, 226, 653, 32767, 219, 32767, 32767, 0,
2808 0, 32767, 1045, -6, -6, 32767, 0, 163,
2809 0, 0, -9, 879, -369, 32767, -18, 321,
2810 322, 32767, 32767, -449, 1082, 324, 57, 32767,
2811 -403, 252, 697, 0, 491, 552, 0, 32767,
2812 32767, 32767, 864, 32767, 0, 32767, 929, -582,
2813 32767, 32767, 32767, 1521, 32767, 32767, 32767, 212,
2814 326, -542, 332, 333, 334, -490, 692, 336,
2815 32767, 337, 338, 31, 0, 714, 348, 34,
2816 342, 32767, 1602, 32767, 687, 143, 32767, 0,
2817 32767, 32767, 0, 32767, 196, -21, 32767, 32767,
2818 -4, 32767, 32767, 880, -211, 203, 32767, 1078,
2819 83, 1661, 32767, 32767, 283, 787, 348, 32767,
2820 0, -464, 0, 32767, 725, -431, -811, -322,
2821 7, 32767, -315, 267, 694, -2103, 12, 247,
2822 13, 692, 32767, -1593, 32767, 15, 32767, 32767,
2823 830, 0, 623, 354, 32767, 32767, -154, 0,
2824 264, -712, 32767, 357, 32767, 32767, 220, -242,
2825 32767, 921, 905, 32767, -1184, 549, 32767, 19,
2826 319, 32767, 551, 32767, 1307, 0, 32767, 32767,
2827 32767, 0, 566, 881, 822, 936, 326, 89,
2828 -313, 32767, 250, 0, 359, 360, 32767, 32767,
2829 32767, 32767, -575, 20, 32767, 98, 23, 32767,
2830 287, 744, 124, 1027, 32767, 0, 564, 0,
2831 -548, -497, 982, 32767, 32767, 32767, 32767, 32767,
2832 35, 316, -1859, 343, 364, 786, 0, 32767,
2833 366, 4, 0, 753, 581, 524, 270, 686,
2834 0, -382, 32767, -1189, 0, 747, 32767, 363,
2835 32767, 32767, -1782, 32767, 28, 32767, 677, 452,
2836 210, 0, 884, 882, -258, 32767, -1099, -222,
2837 32767, 32767, 32767, 32767, 373, 671, 32767, 311,
2838 32767, 370, 32767, -831, 101, 32, 35, 36,
2839 -1159, 930, 38, 39, -148, -148, 32767, 32767,
2840 -150, -803, 1185, 675, 32767, -152, 32767, 0,
2841 633, 467, -279, 827, 32767, 1273, -410, 136,
2842 32767, 527, 842, 397, 32767, 1149, 376, 45,
2843 2221, 20, 0, -421, 47, 925, 0, 363,
2844 368, -384, 0, 32767, -230, 32767, -532, 32767,
2845 32767, 32767, 0, 32767, 634, 219, -6, 397,
2846 32767, 32767, 692, 385, 361, 483, 526, 32767,
2847 0, 32767, 628, 728, 2167, 51, 892, 32767,
2848 -326, -595, 54, 55, 32767, 825, 0, 0,
2849 933, 32767, 32767, 32767, 828, 32767, 32767, 883,
2850 -144, 32767, 32767, 32767, 933, 0, 0, 209,
2851 1580, 790, 0, 0, 32767, 32767, 32767, 730,
2852 731, 32767, 58, 57, 457, 557, 32767, 59,
2853 60, 0, -1438, 32767, 1016, 32767, 1344, 683,
2854 32767, 0, 32767, 32767, 32767, 32767, 32767, 558,
2855 45, 32767, 0, 32767, 0, 0, 843, 0,
2856 32767, 0, 503, 62, 488, 600, -395, -328,
2857 69, 566, -355, 1027, -737, -72, -606, 32767,
2858 74, 32767, 32767, 1144, 32767, -75, 32767, 884,
2859 -144, 32767, 22, 598, 32767, 792, 32767, 32767,
2860 32767, 32767, 32767, -336, 32767, 32767, 0, 45,
2861 0, 32767, 658, 637, 78, 95, -962, 0,
2862 0, 32767, 256, 0, -247, -201, 32767, 32767,
2863 447, 0, 0, 0, 32767, 445, 806, 860,
2864 -39, 74, 32767, -6, 32767, 529, 32767, 700,
2865 307, 179, 0, 893, 32767, 835, 0, -29,
2866 32767, 32767, 32767, 32767, -754, 32767, 32767, 32767,
2867 -702, -227, -55, 0, 517, -196, 32767, 784,
2868 177, 0, -1082, 597, -166, 797, 32767, 32767,
2869 613, 32767, 1211, 32767, -283, 126, 32767, 83,
2870 526, -1584, 533, 172, 950, 0, 0, 32767,
2871 32767, -1767, -88, 32767, 87, -1289, 773, 953,
2872 1131, 0, 0, 32767, 1374, 0, 32767, 32767,
2873 32767, 798, 32767, 0, 1547, 158, 613, 32767,
2874 32767, -822, 32767, 88, 473, 474, 378, 89,
2875 940, 659, 352, -270, 0, -1015, 477, 32767,
2876 901, 91, 1068, 32767, 0, 0, 32767, 32767,
2877 0, 32767, 461, 404, 32767, 46, -65, 32767,
2878 32767, 815, 822, 32767, 32767, 32767, 406, 925,
2879 338, -487, 0, 97, 438, -464, 32767, 98,
2880 0, 0, 1113, 0, -416, 0, 32767, 0,
2881 -35, 0, 180, 413, 32767, 32767, 0, -219,
2882 568, 175, 0, 0, 32767, 503, 0, 32767,
2883 528, 32767, 32767, -464, 733, 140, 106, 101,
2884 171, 32767, 109, 110, 597, 170, 32767, 113,
2885 76, 103, 32767, 115, 559, 116, 32767, -213,
2886 32767, 0, 597, 823, 32767, 801, 32767, 479,
2887 803, 631, 723, 32767, 538, -394, 468, -200,
2888 411, 29, 32767, 32767, -1347, 361, 32767, -458,
2889 655, 32767, 32767, 32767, -791, 0, 32767, 540,
2890 541, 32767, 32767, -14, 959, 32767, 0, 462,
2891 32767, 802, 32767, 32767, 846, 734, 32767, 32767,
2892 735, 32767, 32767, 32767, 32767, 32767, 0, 32767,
2893 32767, -685, 32767, 32767, 32767, 32767, 32767, 32767,
2894 0, 44, 32767, 0, 807, 131, 349, 0,
2895 0, 7, -94, 423, 0, 529, 32767, 32767,
2896 32767, 286, 0, 32767, -145, 400, 281, 445,
2897 32767, 122, 32767, -300, 600, 571, 769, 945,
2898 518, 0, 461, 32767, -254, 32767, -423, -534,
2899 462, 396, 0, 886, 425, -956, 809, 145,
2900 573, 810, 0, 401, 0, -1069, 0, 151,
2901 1011, 0, 0, 81, 32767, -411, 0, -687,
2902 859, 451, -1447, 132, 32767, 32767, 32767, 32767,
2903 -154, 32, 32767, 32767, 32767, 32767, 0, 32767,
2904 32767, 32767, 37, 408, 0, 811, 326, 32767,
2905 0, -374, 32767, -184, 741, -376, 91, 134,
2906 32767, 486, 135, -40, 579, 373, 32767, 547,
2907 32767, 32767, 32767, 32767, -259, 873, 0, 0,
2908 0, 825, -373, 0, 32767, 0, 0, 308,
2909 340, -373, 32767, 0, 0, 32767, -1259, 32767,
2910 742, 32767, 643, 139, 144, 349, -79, 147,
2911 148, 32767, 149, 732, 425, -219, 152, -446,
2912 556, 143, 32767, 155, 165, -1314, 0, 888,
2913 439, 32767, 0, 0, 0, 813, 405, 29,
2914 32767, 6, 0, 0, 743, 32767, 1902, 158,
2915 159, 32767, 381, 0, -102, 196, 0, 769,
2916 -419, -596, 0, 782, 162, 32767, 32767, -580,
2917 32767, 32767, 32767, 32767, 1126, 32767, 32767, 412,
2918 32767, 814, 824, 32767, 32767, 0, 32767, 32767,
2919 744, 32767, 32767, 746, 0, 1480, 167, 0,
2920 1189, 32767, 32767, 168, 169, 32767, 0, 32767,
2921 906, 32767, 32767, 32767, 32767, 32767, 32767, 601,
2922 32767, 32767, -278, 0, 32767, 1261, 414, 32767,
2923 32767, 32767, 32767, 375, 378, 589, 644, 750,
2924 751, 937, 32767, 590, 32767, 591, 32767, 171,
2925 172, 32767, 32767, 32767, 32767, 1195, 32767, 32767,
2926 721, 0, 0, -505, -14, 6, 0, 0,
2927 0, 1058, -718, 99, 0, 372, 327, 32767,
2928 729, -166, 32767, 0, 173, -939, 175, 592,
2929 177, 576, 32767, 213, 179, 0, 0, 514,
2930 620, 32767, 32767, 32767, 32767, 0, 32767, 32767,
2931 958, -240, 0, -840, 32767, 379, 32767, 0,
2932 0, 752, 673, -432, 159, -877, 32767, -416,
2933 32767, 182, -211, 0, 0, 594, 32767, 184,
2934 -1070, 32767, 32767, 32767, 185, 0, 0, 32767,
2935 710, 32767, 32767, 32767, 32767, 928, 32767, 32767,
2936 0, 126, 942, 32767, 0, 0, 32767, 867,
2937 697, -355, 32767, 625, 0, 596, 32767, 597,
2938 -243, 583, 32767, 0, 0, 0, 0, 0,
2939 584, 650, 0, 32767, 515, 32767, 0, 892,
2940 0, 0, -271, 274, 32767, 418, 32767, 0,
2941 32767, 32767, 32767, 440, -1147, 32767, 0, 32767,
2942 32767, 651, 652, 564, 32767, 32767, 32767, 0,
2943 32767, 32767, 32767, 32767, 947, -68, 32767, 688,
2944 32767, 0, 0, 689, 915, 916, 0, 0,
2945 -204, 225, 0, 0, 0, 0, 32767, -275,
2946 370, 0, 599, -402, 32767, 571, 0, 32767,
2947 1470, 594, 32767, 772, 773, 1458, 0, 907,
2948 1048, 32767, 128, 4, 32767, 0, 32767, 1880,
2949 32767, 32767, 0, 0, 684, 32767, 0, 262,
2950 32767, 32767, 32767, 32767, 757, 32767, 32767, 0,
2951 196, 32767, -258, -552, -998, 0, 950, 774,
2952 -35, 32767, 0, 32767, 0, 32767, 15, 32767,
2953 0, 32767, 0, 27, 198, 760, 32767, 32767,
2954 1204, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
2955 620, 32767, 32767, 760, 761, 32767, 32767, 32767,
2956 32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
2957 32767, 0, 0, 32767, 32767, 0, 32767, 0,
2958 1195, 918, 32767, 32767, 32767, 32767, 0, 0,
2959 32767, 32767, 32767, 32767, 903, 32767, 32767, 763,
2960 764, 0, 32767, 0, 32767, 32767, 0, 32767,
2961 833, 32767, 32767, 32767, 1132, 32767, 32767, 32767,
2962 32767, 32767, 32767, 0, 450, 32767, 32767, 420,
2963 32767, 32767, 32767, 32767, -68, 2, 0, 0,
2964 1196, 0, 0, 0, 188, 189, 190, 191,
2965 192, 600, 0, -632, -43, 196, 89, 489,
2966 294, 1248, 32767, 1043, 32767, 492, 32767, 32767,
2967 519, 0, 32767, 863, 32767, 32767, 32767, 0,
2968 32767, 765, 493, 467, 0, 32767, 32767, 201,
2969 32767, 432, 849, 32767, 279, 0, 0, 204,
2970 834, 32767, 0, 32767, 1670, 32767, 0, 32767,
2971 0, 32767, 32767, 32767, 919, 929, 32767, 0,
2972 32767, -363, 0, 32767, 32767, 0, 434, -56,
2973 32767, 436, 0, 349, 0, 207, 208, 437,
2974 32767, 0, 32767, -694, -408, 32767, 0, 32767,
2975 210, 206, 0, 653, 32767, 32767, 0, 402,
2976 1105, 0, 32767, 693, 0, 0, 938, 32767,
2977 32767, 32767, 438, 541, 131, 440, 871, 32767,
2978 32767, 0, 32767, 279, 32767, 32767, 287, 212,
2979 0, 0, 32767, 32767, 367, 32767, 696, 697,
2980 32767, 0, 0, 0, 0, 32767, 32767, 32767,
2981 32767, 32767, 32767, 0, 32767, 0, -1321, 32767,
2982 0, 176, 32767, 214, 218, 724, 234, 215,
2983 222, 32767, 223, -834, 943, 127, 32767, 496,
2984 -100, 217, 0, 394, 32767, 229, 32767, 0,
2985 0, 17, 421, 415, 447, 0, 32767, 686,
2986 32767, 32767, 1845, 138, 32767, 32767, 872, 230,
2987 32767, 601, 851, 471, 232, 603, 32767, 778,
2988 698, 233, 32767, 699, -439, 32767, 0, 32767,
2989 32767, 32767, 663, 32767, 32767, 32767, 32767, -298,
2990 449, 32767, -463, 687, 32767, 32767, 427, 32767,
2991 0, 0, 0, 0, 0, 236, 193, 826,
2992 238, 0, 108
2993 };
2994
2995 const unsigned char *k = (const unsigned char *) key;
2996 size_t keylen = 8;
2997 uint32 a = 0;
2998 uint32 b = 0;
2999
3000 while (keylen--)
3001 {
3002 unsigned char c = *k++;
3003
3004 a = a * 257 + c;
3005 b = b * 17 + c;
3006 }
3007 return h[a % 1923] + h[b % 1923];
3008}

References a, b, and sort-test::key.

Variable Documentation

◆ RecompInverseLookup

const uint16 RecompInverseLookup[961]
static

Definition at line 1782 of file unicode_norm_hashfunc.h.

◆ UnicodeDecompInfo

const pg_unicode_decompinfo UnicodeDecompInfo
static
Initial value:
=
{
UnicodeDecompMain,
Decomp_hash_func,
6843
}
Decomp_hash_func
static int Decomp_hash_func(const void *key)
Definition: unicode_norm_hashfunc.h:42
UnicodeDecompMain
static const pg_unicode_decomposition UnicodeDecompMain[6843]
Definition: unicode_norm_table.h:38

Definition at line 1774 of file unicode_norm_hashfunc.h.

Referenced by get_code_entry().

◆ UnicodeRecompInfo

const pg_unicode_recompinfo UnicodeRecompInfo
static
Initial value:
=
{
RecompInverseLookup,
Recomp_hash_func,
961
}
Recomp_hash_func
static int Recomp_hash_func(const void *key)
Definition: unicode_norm_hashfunc.h:2749
RecompInverseLookup
static const uint16 RecompInverseLookup[961]
Definition: unicode_norm_hashfunc.h:1782

Definition at line 3011 of file unicode_norm_hashfunc.h.

Referenced by recompose_code().