PostgreSQL Source Code  git master
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 [941]
 
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[13551] = {
45  6102, 6103, 6104, 6105, 6106, 11163, 11164, 9247,
46  3108, 32767, 32767, 5839, 5840, 11166, 3130, 3130,
47  3130, 3130, -1926, -1926, 9274, 9275, 9276, 9277,
48  9278, 473, 473, 6107, 0, 6110, 6111, -1569,
49  9287, 9288, 9289, 9290, 9291, 9292, 9293, 9294,
50  9295, 11077, 11078, 11079, 11080, 9300, 9301, 9302,
51  9303, 9304, 9305, 9306, 9307, 9308, 9309, 9310,
52  9311, 9312, 9313, 9314, 9315, 9316, 9317, 9318,
53  9319, 9320, 4265, 4266, -1834, 4268, 4269, 4270,
54  4271, 4272, 9329, 9330, 7413, 1274, 1274, 1274,
55  5264, 1274, 9337, 1301, 1301, 1301, 1301, 8982,
56  -3754, 11381, 11382, 11383, 11384, 10049, 11386, 5605,
57  5606, 5607, 5608, 5609, 5610, 5611, 5612, 465,
58  465, 5617, 5618, 5619, 5620, 5621, 5622, 5623,
59  465, 465, 465, 465, 465, 465, 465, 465,
60  465, 465, 465, 465, 465, 465, 465, 465,
61  465, 465, 465, 465, 465, 465, 465, 465,
62  465, 465, 465, 465, 465, 465, 5256, 5256,
63  -10103,5256, 465, 465, 5256, 5256, 465, 5939,
64  465, 465, 465, 465, 465, 0, 0, 0,
65  0, 0, 0, 0, 0, 0, 0, 0,
66  0, 0, 0, 0, 0, 0, 0, 0,
67  0, 0, 0, 0, 0, 0, 0, 0,
68  0, 0, 0, 0, 0, -71, 0, 0,
69  0, 0, 0, 0, 0, 0, 0, 0,
70  0, 0, -884, -884, -884, -884, -884, -884,
71  0, -885, -885, -885, -885, -885, -885, 0,
72  0, -886, -886, -886, -886, -886, -4378, 0,
73  -888, -888, 422, -888, -888, -888, 0, -7896,
74  -7896, -7896, 0, 0, 0, 0, 0, 1463,
75  1463, 1463, 1463, 2951, 1464, 1464, -18469,1464,
76  1464, 1464, 1464, 1464, 1464, 1464, 1464, 1464,
77  1215, 1216, 1464, 1464, 1464, 1464, 1464, 1464,
78  1464, 1464, 0, 1465, 1465, 1465, 80, 1464,
79  1464, 1464, 7565, 1464, 1464, 1464, 1464, 1464,
80  88, 89, 90, 91, 92, 93, 94, 95,
81  96, 97, 98, 99, 100, 101, 102, 32767,
82  32767, 103, 104, 105, 106, 107, 108, 109,
83  110, 111, 32767, 112, 113, 114, 115, 116,
84  117, 32767, 118, 119, 120, 121, 122, 123,
85  124, 0, 0, 0, 126, 0, 0, 0,
86  0, 0, 0, 0, 4145, 4146, 4147, 4148,
87  4149, 4150, 4151, 4152, 4153, 4154, 0, 0,
88  0, 0, 0, 0, 4155, 4156, 4157, 4158,
89  4159, 4160, 4161, 4162, 4163, 4164, 4165, 4166,
90  4167, 4168, 4169, 4170, 4171, 4172, 4173, 4174,
91  4175, 4176, 4177, 4178, 4179, 4180, 4181, 4182,
92  4183, 4184, 4185, 4186, 4187, 4188, 4189, 179,
93  180, 32767, 32767, 4192, 4193, 4194, 4195, 4196,
94  4197, 4198, 4199, 4200, 4201, 4202, 4203, 32767,
95  4204, 4205, 4206, 4207, 4208, 4209, 4210, 4211,
96  4212, 4213, 4214, 4215, 4216, 4217, 4218, 4219,
97  4220, 4221, 4222, 32767, 4223, 4224, 4225, 4226,
98  32767, 32767, 32767, 32767, 4227, 4228, 4229, 32767,
99  -4545, -5662, -5662, -5662, -5662, -5662, -5662, -5662,
100  -5662, 4238, 4239, -5664, -5664, -5664, -5664, -5664,
101  -5664, -5664, -5664, 4248, 4249, 4250, 4251, 4252,
102  4253, -6935, -1879, -1879, 4222, -1879, -1879, -1879,
103  -1879, -1879, -6935, -6935, 4265, 4266, 4267, 4268,
104  4269, -4536, -4536, 1098, 1099, 1100, 1101, -6579,
105  4277, 4278, 4279, 4280, 4281, 4282, 4283, 4284,
106  4285, 6067, 6068, 6069, 6070, 4290, 4291, 4292,
107  4293, 4294, 4295, 4296, 4297, 4298, 4299, 4300,
108  4301, 4302, 4303, 4304, 4305, 4306, 4307, 4308,
109  4309, 4310, -745, -744, -6844, -742, -741, -740,
110  -739, -738, 4319, 4320, 2403, -3736, -3736, -3736,
111  254, -3736, 4327, -3709, -3709, 4330, 0, 0,
112  0, 0, 0, 0, 0, -2997, -2997, 2705,
113  2705, 2705, 2705, 2705, 2705, 2705, 2705, 2705,
114  0, 0, 0, 0, 0, 0, -4452, 0,
115  0, 0, 0, 0, 2716, 0, 0, 0,
116  0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
117  32767, 32767, 32767, 32767, 32767, 32767, 32767, 1841,
118  32767, 32767, 4710, 32767, 0, 32767, 32767, 0,
119  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
120  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
121  32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
122  32767, 1845, 32767, 32767, 32767, 32767, 32767, 0,
123  0, 32767, 0, 0, 32767, 32767, 32767, 32767,
124  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
125  32767, 32767, 32767, 32767, 1850, 32767, 32767, 0,
126  32767, 32767, 0, 32767, 1853, 32767, 32767, 32767,
127  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
128  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
129  32767, 32767, 32767, 0, 32767, 0, 32767, 32767,
130  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
131  0, 0, 284, 285, 286, 287, 288, 289,
132  290, 291, 292, 0, 0, 32767, 32767, 32767,
133  32767, 32767, 32767, 0, 0, 32767, 32767, 0,
134  0, 32767, 32767, 0, 0, 32767, 32767, 32767,
135  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
136  32767, 32767, 567, 567, 567, 567, -1649, -4447,
137  32767, 32767, 566, 566, -1644, 566, 566, 32767,
138  32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
139  0, -1144, 0, 32767, 32767, 32767, 32767, 32767,
140  32767, 32767, 32767, 32767, 32767, 32767, 0, 0,
141  0, 0, 0, 304, 305, 306, -2209, -2208,
142  309, 2223, 311, 312, 313, 314, 315, 316,
143  317, 318, 319, 320, 321, 322, 323, 324,
144  325, 326, -550, 328, 329, 330, 331, 332,
145  333, 334, 335, 0, 0, 0, 0, 340,
146  341, 342, 343, -534, 345, 0, 0, 0,
147  0, -6511, 351, 352, 353, 354, 355, 356,
148  357, 358, 359, 360, 361, 362, 363, 364,
149  365, 366, 367, 368, 369, 370, 371, 372,
150  373, 374, 375, 376, 377, 378, 379, 380,
151  381, 382, 32767, 383, 384, 385, 386, 387,
152  388, 389, 390, 391, 392, 393, 394, 395,
153  396, 397, 398, 399, 400, 401, 402, 403,
154  404, 405, 406, 407, 408, 4654, 410, 4655,
155  412, 413, 414, 32767, 32767, 32767, 32767, 415,
156  32767, 32767, 32767, 32767, 32767, 416, 32767, 32767,
157  32767, -464, 32767, 32767, 32767, 32767, 32767, 418,
158  419, 420, 421, 422, 423, 424, 32767, 425,
159  32767, 426, 427, 428, 32767, 32767, 32767, 32767,
160  4656, 4657, 4658, 32767, 32767, 32767, 32767, 4659,
161  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
162  32767, 32767, 32767, 32767, 32767, 429, 430, 431,
163  432, 433, 434, 435, 32767, 32767, 32767, 32767,
164  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
165  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
166  32767, 32767, 32767, 32767, 32767, -2290, -2290, -2290,
167  -2290, -2290, 32767, -2291, -2291, -2291, -2291, -2291,
168  -2291, 2502, 32767, 32767, 32767, 32767, 32767, 32767,
169  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
170  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
171  32767, 32767, 32767, 733, 733, 733, 32767, 732,
172  732, 32767, 32767, 32767, 729, 32767, 0, 0,
173  32767, 32767, 32767, 32767, -241, -241, 32767, -242,
174  32767, 32767, 32767, -4550, 32767, 32767, 32767, 32767,
175  -249, -1737, -1737, 32767, 32767, 32767, 32767, 32767,
176  32767, 32767, 32767, 32767, 32767, -1747, 32767, 32767,
177  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
178  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
179  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
180  32767, 32767, 32767, 32767, 32767, -291, 32767, 32767,
181  32767, 32767, 32767, 32767, 32767, 4660, 4661, 32767,
182  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
183  3982, 3982, 3982, 32767, -1149, -1148, 32767, -1147,
184  32767, 32767, 32767, -1146, 32767, 32767, 32767, 32767,
185  -1145, -1144, -1143, 32767, 32767, 32767, 32767, 32767,
186  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
187  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
188  32767, 32767, -4642, -1836, 32767, 32767, 32767, 32767,
189  32767, 32767, 32767, 32767, 32767, 32767, 32767, -1839,
190  -4651, -1838, -1838, 476, 32767, 32767, 32767, 32767,
191  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
192  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
193  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
194  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
195  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
196  32767, 32767, 32767, 32767, 4708, 4709, 32767, 32767,
197  32767, 32767, 32767, 32767, 32767, -4703, -1851, 32767,
198  32767, 32767, 32767, 32767, 4710, 4711, 4712, 32767,
199  32767, 32767, 32767, 32767, -1857, -4716, -1856, -4716,
200  32767, 32767, -4718, -1855, 32767, 32767, -4720, -905,
201  -4720, -4720, -4720, -4720, 32767, 32767, -894, -893,
202  4714, 4715, 4716, 1689, 8219, 4719, -4724, -1850,
203  -1850, 3912, 4721, 4722, 4723, 4724, -4724, -4724,
204  -4724, -4724, 32767, 32767, -4726, -4726, 32767, 32767,
205  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
206  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
207  -1149, -1396, -1395, -1394, -1393, -1392, -1391, -1390,
208  -1389, 76, -1388, -1387, -1386, 0, -1383, -1382,
209  32767, 32767, -1381, -1380, -1379, -1378, -1377, 0,
210  0, 0, 0, 0, 0, 0, 0, 0,
211  0, 0, 0, 0, 0, 0, 32767, 32767,
212  0, 0, 0, 0, 0, 0, 0, 0,
213  0, 32767, 0, 0, 0, 0, 0, 0,
214  32767, 0, 0, 0, 0, 0, 0, 0,
215  125, 32767, 32767, 0, 127, 128, 129, 130,
216  131, 132, 32767, 32767, -4013, -4013, -4013, -4013,
217  -4013, -4013, 32767, 32767, -4015, 140, 141, 142,
218  143, 144, 145, -4009, -4009, -4009, -4009, -4009,
219  -4009, -4009, -4009, -4009, -4009, -4009, 32767, 32767,
220  -4011, -4011, -4011, -4011, -4011, -4011, -4011, -4011,
221  -4011, -4011, -4011, -4011, -4011, -4011, -4011, -4011,
222  -4011, -4011, -4011, -4011, -4011, -4011, 0, 0,
223  -2541, 32767, 32767, 32767, 32767, 32767, 512, 513,
224  514, 515, 516, 517, -441, -441, 520, 521,
225  522, 523, 524, 525, 526, 527, 528, 529,
226  530, 531, 532, 533, 534, 535, 536, 537,
227  -4040, -4040, 540, 541, 542, 543, 544, 545,
228  546, 547, 548, 549, 550, 551, 552, 4728,
229  5846, 555, 556, 32767, 557, 32767, 558, 559,
230  32767, 560, 561, 32767, 562, 32767, 32767, 32767,
231  32767, 32767, 32767, 32767, -4065, -4065, -4065, -4065,
232  7124, 2069, 2070, -4030, 2072, 2073, 2074, 2075,
233  2076, 7133, 7134, -4065, -4065, -4065, -4065, -4065,
234  4741, 4742, -891, -891, -891, 32767, 6789, -4066,
235  -4066, -4066, -4066, -4066, 32767, 32767, -4068, -4068,
236  -5849, -5849, -5849, -5849, -4068, -4068, -4068, -4068,
237  -4068, -4068, -4068, -4068, -4068, -4068, 5832, 5833,
238  -4070, -4070, -4070, -4070, -4070, -4070, -4070, -4070,
239  5842, 5843, 5844, 5845, 5846, 5847, -5341, -285,
240  -285, 5816, -285, -285, -285, -285, -285, -5341,
241  -5341, 5859, 5860, 5861, 5862, 5863, -2942, -2942,
242  2692, 2693, 2694, 2695, -4985, 5871, 5872, 5873,
243  5874, 5875, 5876, 5877, 5878, 5879, 7661, 7662,
244  7663, 7664, 5884, 5885, 5886, 5887, 5888, 5889,
245  5890, 5891, 5892, 5893, 5894, 5895, 5896, 5897,
246  5898, 5899, 5900, 5901, 5902, 5903, 5904, 849,
247  850, -5250, 852, 853, 854, 855, 856, 5913,
248  5914, 3997, -2142, -2142, 590, 591, 592, 5918,
249  -2118, -2118, -2118, -2118, 5563, -7173, 7962, 7963,
250  7964, 7965, 6630, 7967, 2186, 32767, 32767, 32767,
251  32767, 32767, 32767, 32767, 32767, 32767, 4034, 32767,
252  32767, 32767, 5815, 5816, 5817, 5818, 5819, 5820,
253  5821, 32767, 5822, 5823, 5824, 5825, 5826, 5827,
254  5828, 5829, -272, -272, -272, -272, -272, -5328,
255  -5328, -3410, 2730, 2731, 0, 0, 0, -5325,
256  2712, 2713, 2714, 2715, -4965, 7772, -3427, 32767,
257  -3428, -3428, -3428, 5378, 5379, 32767, 32767, 32767,
258  32767, 32767, -3434, -3434, -3434, -3434, -3434, -3434,
259  -3434, -3434, -3434, -5215, -5215, -5215, -5215, -3434,
260  -3434, -3434, -3434, -3434, -3434, -3434, -3434, -3434,
261  -3434, -3434, -3434, -3434, -3434, -3434, -3434, -3434,
262  -3434, -3434, -3434, -3434, 1622, 1622, 7723, 1622,
263  1622, 1622, 1622, 1622, -3434, -3434, -1516, 4624,
264  4625, 4626, 637, 4628, -3434, 4603, 4604, 4605,
265  4606, -3074, 9663, -5471, -5471, -5471, -5471, -4135,
266  618, -4134, -4134, 32767, 32767, 621, 622, 32767,
267  623, 624, 625, 626, 32767, 32767, 32767, 32767,
268  32767, 32767, 32767, 32767, 32767, 32767, 4039, 32767,
269  4040, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
270  32767, 5450, 32767, 32767, 32767, 32767, 32767, 32767,
271  32767, -4019, 32767, 32767, 4042, -3994, -3994, -3994,
272  -3994, 3687, -9049, 32767, 32767, 6086, 6087, 4752,
273  0, 4753, 4754, 32767, 32767, 0, 0, 32767,
274  0, 0, 0, 0, 32767, 32767, 32767, 32767,
275  32767, 32767, 32767, 32767, 32767, 32767, 32767, 6862,
276  6863, 6864, 6865, 1810, 1811, -4289, 1813, 1814,
277  1815, 1816, 1817, 6874, 6875, 4958, -1181, -1181,
278  -1181, 2809, -1181, 6882, -1154, -1154, -1154, -1154,
279  6527, -6209, 32767, 32767, 32767, 32767, 32767, 32767,
280  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
281  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
282  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
283  32767, 32767, 32767, 32767, 0, 32767, 32767, 32767,
284  32767, 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, 32767, 32767, 32767,
290  82, 32767, 32767, 11618, 11619, 11620, 5919, 5920,
291  5921, 5922, 32767, 32767, 786, 32767, 32767, 787,
292  788, 789, 32767, 32767, 32767, 32767, 32767, 32767,
293  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
294  790, 791, 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, 32767, 32767, 32767,
299  32767, 32767, -1151, -1151, -1151, -1151, -1151, -1151,
300  -1151, -1400, -1399, 32767, 32767, 32767, 32767, 32767,
301  792, 32767, 32767, 32767, -1159, 32767, 32767, 32767,
302  32767, 32767, 32767, 32767, 32767, 32767, 32767, 4666,
303  4667, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
304  32767, 32767, 32767, 32767, 32767, 32767, 665, 666,
305  667, 668, 32767, 669, 670, 671, 672, 673,
306  674, 675, 676, 677, 32767, 678, 679, 680,
307  32767, 681, 682, 683, 684, 685, -1578, -5751,
308  -5751, -5751, 32767, 32767, 32767, 32767, 32767, 32767,
309  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
310  -1193, 32767, 32767, 32767, 32767, -5986, -5986, -5986,
311  -5986, -5986, -5986, -5986, -5986, -5986, -5986, 32767,
312  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
313  32767, 686, 687, 688, 32767, 32767, 32767, 32767,
314  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
315  32767, 32767, 32767, 32767, 32767, -174, 1314, -173,
316  -173, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
317  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
318  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
319  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
320  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
321  689, 690, 691, 692, 693, 694, 695, 696,
322  32767, 32767, 32767, 4671, 4672, 4673, 4674, 4675,
323  4676, 4677, 4678, 4679, 4680, 4681, 32767, 32767,
324  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
325  0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
326  32767, -1552, -1552, 32767, 32767, 32767, 32767, 32767,
327  32767, 0, 697, 533, 533, 700, 701, 702,
328  703, 704, 705, 706, 707, 708, 709, 710,
329  711, 712, 713, 714, 715, 716, 717, 4682,
330  6946, 2158, 4685, 721, 722, 723, 724, 725,
331  726, 727, 728, 729, 730, 731, 732, 733,
332  734, 735, 736, 737, 738, 739, 740, 741,
333  742, 743, 744, 745, 746, 747, 748, 749,
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, 32767, 32767, 32767, 32767, 0,
338  32767, 32767, 5923, 32767, 32767, 32767, 32767, 32767,
339  32767, 32767, 4215, 32767, 32767, 32767, 32767, 32767,
340  32767, 32767, 4181, 32767, 32767, -1922, 32767, 32767,
341  32767, 32767, 32767, 32767, 32767, 4218, 32767, 32767,
342  32767, 32767, 2986, 32767, 32767, 32767, 32767, 32767,
343  32767, 32767, 32767, 32767, 32767, 32767, 4219, 32767,
344  32767, 32767, 6001, 4221, 4222, 4223, 32767, 32767,
345  32767, 4224, 4225, 4226, 4227, 4228, 4229, 4230,
346  4231, 5925, 5926, 5927, 32767, 32767, 32767, 32767,
347  32767, 32767, 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, 32767, 32767, 32767, 32767, 32767, 1170, 32767,
352  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
353  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
354  32767, 32767, 32767, 32767, -901, 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, 767, 32767, 32767,
358  32767, 32767, 32767, 32767, -5005, -4757, -4757, 32767,
359  32767, 32767, -4760, -4760, 68, 68, 68, 32767,
360  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
361  32767, 287, 32767, 32767, 32767, 58, 58, 32767,
362  57, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
363  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
364  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
365  4689, 32767, 4690, 32767, 32767, 32767, 32767, -1717,
366  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
367  32767, 4691, 32767, 32767, 32767, 32767, 32767, 32767,
368  32767, 32767, 32767, 32767, 32767, 32767, 32767, 6903,
369  4693, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
370  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
371  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
372  32767, 32767, 32767, 32767, 32767, 775, 32767, 32767,
373  776, 32767, 32767, 32767, 32767, 32767, 777, 32767,
374  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
375  32767, 32767, 32767, 32767, 32767, 32767, 32767, 778,
376  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
377  32767, 32767, 32767, 779, 780, 781, 32767, 4694,
378  4695, 4696, 32767, 32767, 32767, 32767, 32767, 32767,
379  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
380  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
381  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
382  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
383  32767, 32767, 32767, 32767, 32767, 4697, 4698, 32767,
384  32767, 32767, 4699, 4700, 32767, 32767, 32767, 2428,
385  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
386  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
387  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
388  32767, 32767, 32767, 2995, 2996, 2997, 2998, 2999,
389  2696, 2696, 2696, 5212, 5212, 2696, 783, 2696,
390  2696, 2696, 2696, 2696, 2696, 32767, 32767, 32767,
391  32767, 32767, 32767, 32767, 32767, 32767, 32767, 784,
392  32767, 32767, 4701, 32767, 32767, 32767, 32767, 32767,
393  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
394  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
395  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
396  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
397  32767, 32767, 32767, 32767, 32767, 32767, 32767, 3013,
398  3014, 3015, 32767, 32767, 32767, 0, 0, 32767,
399  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
400  32767, 32767, 32767, 32767, 32767, 2139, 2140, -808,
401  681, 682, 683, 684, 32767, 32767, 32767, 2633,
402  32767, 32767, 32767, 32767, 32767, 32767, 32767, 3016,
403  685, 686, 936, 936, 689, 32767, 32767, 32767,
404  32767, 32767, 690, 691, 692, 693, 694, 695,
405  696, 697, 698, 699, -5401, 701, 702, 703,
406  704, 705, 706, 707, -779, 709, 80, -7189,
407  -7189, -7189, 0, 0, 32767, 0, 0, 0,
408  0, 0, 32767, 0, 32767, 0, 0, 32767,
409  0, 0, 32767, 0, 0, 0, 0, 0,
410  0, 0, 0, 0, 0, 0, 0, 0,
411  0, 0, 0, 0, 0, 0, 0, 0,
412  0, 0, 0, 0, 0, 0, 0, 0,
413  0, 0, 0, 0, 0, 0, 0, 0,
414  0, 0, 0, 0, 0, 0, 0, 0,
415  0, 0, 0, 0, 0, 0, 0, 0,
416  0, 0, 0, 0, 0, 0, 0, 0,
417  0, 0, 0, 0, 0, 0, 0, 0,
418  0, 0, 0, 0, 0, 0, 0, 0,
419  0, 0, 0, 0, 0, 0, 0, 0,
420  0, 0, 0, 0, 0, 0, 1310, 0,
421  0, 0, 0, -7007, -7007, 0, 0, 0,
422  0, 0, 0, 0, 0, 0, 0, 6538,
423  6539, 6540, 6541, 6542, 6543, 2371, 6545, 6546,
424  6547, 6548, 6549, 0, 0, 0, 0, 0,
425  0, 0, 0, 0, 0, 0, 0, 0,
426  0, 0, 0, 1693, 0, 0, 0, 0,
427  0, 0, 0, 0, 0, 0, 0, 0,
428  0, 0, 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, 0, 0,
438  -6893, 0, 0, 0, 0, 0, 0, 0,
439  0, 0, 0, 0, -6902, 0, 0, 0,
440  0, -2600, 0, 1974, 1974, 0, 0, 0,
441  0, -6912, -5556, 0, 0, 0, 0, 0,
442  0, 0, 0, 0, 0, 0, 0, 0,
443  0, 0, 0, 0, 0, 0, 0, 0,
444  0, 0, 0, 0, 0, 0, 0, 0,
445  0, 0, 0, 0, 0, 0, 0, 0,
446  0, 0, 0, 0, 0, 3019, 0, 3020,
447  3021, 3022, 0, 0, 3023, 3024, 0, 0,
448  0, 0, 0, 2206, 3026, 0, 3027, 0,
449  0, 0, 32767, 32767, 0, 0, 0, 0,
450  0, 0, 0, 0, 0, 0, 0, 0,
451  0, 0, 0, 0, 0, 0, 0, 0,
452  0, 0, 0, 0, 0, 0, 0, 0,
453  0, 0, 0, 0, 0, 0, 0, 0,
454  -3504, 0, 0, 0, -6893, 0, 0, 5606,
455  0, 0, 0, 3028, -3501, 0, -3500, -3499,
456  0, 808, 0, 0, 0, 0, 0, 0,
457  0, 0, 0, 0, 0, 0, 0, 0,
458  0, 32767, 0, 0, 0, 0, 0, 0,
459  0, 0, 0, 0, 0, 0, 0, 0,
460  32767, 32767, 0, 0, 0, 0, 0, 0,
461  32767, 0, 0, 0, 0, 0, 0, 0,
462  0, 0, 0, 0, 0, 0, 0, 0,
463  0, 0, 1619, 1620, 32767, 32767, 1621, 1622,
464  1623, 32767, 1624, 1625, 1626, 1627, 1628, 1629,
465  0, 0, 1632, 32767, 32767, 32767, 32767, 32767,
466  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
467  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
468  32767, 32767, 3029, 3030, 3031, 3032, 32767, 32767,
469  32767, 32767, 32767, 32767, 32767, 32767, 32767, 3033,
470  -1994, 810, 32767, 32767, 32767, 32767, 32767, 32767,
471  32767, 32767, 32767, 32767, 32767, 32767, 32767, 811,
472  1188, -1999, 814, 32767, 32767, 32767, 32767, 32767,
473  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
474  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
475  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
476  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
477  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
478  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
479  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
480  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
481  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
482  32767, 32767, 32767, 32767, 2778, 32767, 32767, 32767,
483  2775, 32767, 0, 0, 0, 0, 0, 0,
484  0, 0, 0, 0, -2863, -2863, -2863, -2863,
485  -2863, 0, 0, 0, 0, 0, 0, 0,
486  0, 0, 0, 986, 0, 0, 0, 0,
487  0, 0, 0, 0, 0, 0, 0, 815,
488  0, 0, 0, 0, 0, 0, 0, 0,
489  0, 0, 0, 0, 0, 0, 0, 0,
490  0, 817, 818, 819, 0, 0, 0, 0,
491  0, 0, 0, 0, 0, 0, 0, 0,
492  0, 0, 0, 0, 0, 0, 0, 0,
493  0, 0, 0, 0, 0, 0, 0, 0,
494  0, 0, 0, 0, -2752, 0, 0, 0,
495  0, 0, 0, 0, 0, 0, 0, 0,
496  0, 0, 0, 0, 0, 0, 0, 0,
497  0, 0, 0, 0, 0, 0, 4452, 0,
498  4451, 0, 0, 0, 4448, 4732, 0, 0,
499  0, 0, 0, 0, 0, 0, 0, 0,
500  0, 0, 0, 2022, 0, 32767, 32767, 32767,
501  32767, -7994, 32767, 32767, 32767, 32767, -4824, -4824,
502  2857, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
503  32767, 32767, 32767, 32767, 32767, 32767, -8011, -8011,
504  -8011, -8011, 32767, 32767, 32767, 32767, 32767, 32767,
505  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
506  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
507  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
508  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
509  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
510  32767, -251, -251, -251, -251, -251, -251, 4127,
511  3239, 3239, 4549, 4549, 32767, 32767, 32767, 32767,
512  32767, -3773, 4123, 4123, 4123, 4123, 4123, 5586,
513  5586, 5586, 5586, 7074, 5587, 5587, -14346,5587,
514  5587, 5587, 5587, 5587, 5587, 5587, 5587, 5587,
515  5338, 0, 0, 0, 0, 0, 0, 0,
516  32767, 0, 4131, 0, 0, 0, 0, 0,
517  0, 828, 0, 0, 0, 0, 829, 830,
518  -3958, 0, 0, 8614, 4312, 0, 0, 0,
519  0, 0, 4619, 0, 0, 0, 832, 833,
520  834, 835, 32767, 32767, 32767, 32767, -215, -215,
521  4094, 4630, -213, -213, -213, 32767, 32767, 32767,
522  32767, 32767, -3542, -2653, 32767, 32767, 32767, 32767,
523  32767, 32767, 32767, -21505,-1572, -1572, 32767, 32767,
524  32767, 32767, 32767, 32767, 0, 32767, 0, 32767,
525  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
526  32767, 32767, 32767, 32767, 32767, 0, 32767, 32767,
527  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
528  32767, -977, 32767, -2211, 0, 32767, 32767, 32767,
529  32767, 32767, 32767, 32767, 32767, 4386, 4386, -2210,
530  -2209, 32767, 4735, 4736, 32767, 32767, 32767, 32767,
531  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
532  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
533  32767, 32767, 32767, 32767, -5881, 32767, 4018, 32767,
534  -5885, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
535  32767, 32767, 4020, 1382, 1382, 1382, 1382, 1382,
536  5938, 32767, 32767, 32767, -2118, 32767, 32767, 32767,
537  32767, 4022, 32767, 32767, 32767, 32767, -4783, 32767,
538  32767, 32767, 32767, 850, 32767, 32767, 32767, 32767,
539  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
540  5806, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
541  4026, 4027, 4028, 4029, 4030, 4031, 4032, 4033,
542  4034, 4035, 4036, 4037, 4038, 32767, 32767, -1017,
543  -1016, -7116, -1014, -1013, 32767, -1012, -1011, 32767,
544  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
545  32767, 32767, -3993, 32767, 32767, 32767, 32767, 32767,
546  32767, 32767, 32767, 4737, 302, 32767, 32767, 32767,
547  32767, 303, 32767, 32767, 32767, 32767, 306, 32767,
548  32767, 32767, 32767, 307, 32767, 32767, 32767, 32767,
549  32767, 32767, 32767, 32767, 32767, 32767, 32767, 5939,
550  -4862, 5941, -388, -388, -388, -388, 32767, 32767,
551  32767, 32767, 32767, 32767, 32767, -4874, 32767, 32767,
552  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
553  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
554  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
555  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
556  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
557  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
558  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
559  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
560  32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
561  0, 0, 2516, 2516, 0, -1913, 0, 0,
562  0, 0, 0, 0, 0, 0, 0, 0,
563  0, 0, 0, 0, 0, 0, 877, 0,
564  0, 0, 0, 0, 0, 0, 0, 336,
565  337, 338, 339, 0, 0, 0, 0, 878,
566  0, 346, 347, 348, 349, 6861, 0, 0,
567  0, 0, 0, 0, 0, 0, 0, 0,
568  0, 0, 0, 0, 0, 0, 0, 0,
569  0, 0, 0, 0, 0, 0, 0, 0,
570  0, 0, 0, 0, 0, 0, 32767, 0,
571  0, 0, 0, 0, 0, 0, 0, 0,
572  0, 0, 0, 0, 0, 0, 0, 0,
573  0, 0, 0, 0, 0, 0, 0, 0,
574  0, -4245, 0, -4244, 0, 0, 0, 32767,
575  32767, 32767, 32767, 0, 32767, 32767, 32767, 32767,
576  3833, 0, 32767, 32767, 32767, 881, 32767, 32767,
577  32767, 0, 32767, 0, 0, 0, 0, 0,
578  0, 0, 32767, 0, 32767, 0, 0, 0,
579  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
580  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
581  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
582  32767, 0, 0, 0, 0, 0, 0, 0,
583  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
584  32767, 32767, 32767, 32767, 2713, -2075, -2074, -2073,
585  -2072, -2071, -2070, 2720, -2068, -2067, -2066, 2724,
586  2725, 2726, 2727, 2728, 2729, 2730, 2731, 2732,
587  2733, 2734, 2735, 2736, 2737, -2055, -2054, 2740,
588  -2052, 2742, 2743, 2744, 2745, 2746, 2747, -1630,
589  -741, -740, -2049, -2048, -738, -737, -1624, 6273,
590  6274, -291, -290, -289, -288, -287, -286, -285,
591  -284, -283, -282, -281, -280, -279, -278, -277,
592  -276, 2772, 0, 0, 0, 0, 2779, -5015,
593  -269, -268, 0, 0, -2210, 0, 0, -262,
594  -261, -260, -259, -258, 0, 0, 0, 0,
595  0, 0, 0, 0, 0, 0, 0, 0,
596  0, 0, 0, 0, 0, 0, 0, 0,
597  0, 0, 0, 0, 0, 0, 0, 0,
598  0, 0, 0, 0, 0, 0, 0, 0,
599  0, 0, 0, 0, 0, 0, 0, 0,
600  0, 0, 0, 0, 0, 0, 0, 0,
601  0, 0, 0, 0, 0, 0, 0, 0,
602  0, 0, 0, 0, 0, 0, 0, 0,
603  0, 0, 0, 0, 0, 0, 0, 0,
604  0, 0, 0, 0, 0, 0, 0, 0,
605  0, 0, 0, 0, 0, 0, 0, 0,
606  0, 0, 0, 0, 0, 0, 0, 0,
607  0, 0, 0, 0, 0, 0, 0, 0,
608  0, 0, 0, 0, 0, 0, 0, 0,
609  0, 0, 0, 0, 0, 0, 0, 0,
610  0, 0, 0, 0, 0, 0, 2040, 2040,
611  2040, 0, 0, 0, 0, 0, 0, 0,
612  0, 0, 0, 0, 0, 0, 0, 0,
613  0, 0, 0, 0, 0, 0, 0, 0,
614  0, 0, 0, 0, 0, 0, 0, 0,
615  0, 0, 0, 0, 0, 0, 0, 0,
616  0, 0, 0, 0, 0, 0, 0, 32767,
617  32767, 32767, 32767, 32767, 32767, 0, 0, 0,
618  0, 0, 0, 0, 0, 32767, 32767, 32767,
619  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
620  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
621  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
622  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
623  32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
624  165, 166, 0, 0, 0, 0, 0, 0,
625  0, 0, 0, 0, 0, 0, 0, 0,
626  0, 0, 0, 0, -3964, -6227, -1438, 32767,
627  0, 0, 0, 0, 0, 0, 0, 0,
628  0, 0, 0, 0, 0, 0, 0, 0,
629  0, 0, 0, 0, 0, 0, 0, 0,
630  0, 0, 0, 0, 0, 32767, 32767, 32767,
631  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
632  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
633  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
634  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
635  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
636  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
637  32767, 32767, 32767, 32767, 2824, 2825, 5791, 3454,
638  3455, 3456, 32767, 10734, -115, 3459, 1375, 32767,
639  32767, 3461, 10743, 5953, 3464, 3465, 3466, 3467,
640  10751, 32767, 10753, 3470, 3471, 3472, 3473, 3474,
641  3475, 32767, 3476, 5980, 10770, 5982, 7789, 7790,
642  3482, 0, 2797, 0, 2798, 0, 2799, 0,
643  2800, 0, 2801, 0, 2802, 0, 2803, 0,
644  2804, 0, 0, 2806, 0, 2807, 32767, 2807,
645  0, 0, 0, 32767, 0, 0, -376, 2812,
646  0, 32767, 2812, 32767, 32767, 32767, 0, 2811,
647  2811, 0, 2812, 2812, 0, 32767, 0, 0,
648  0, 0, 0, 0, 0, 0, 0, 0,
649  0, 0, 0, 0, 0, 0, 0, 0,
650  0, 0, 2833, 0, 0, 0, 0, 3781,
651  2837, 3782, 2837, 0, 3784, 3785, 0, 0,
652  0, 0, 0, 0, 0, 0, 0, 0,
653  0, 0, 2850, 0, 2851, 0, 2852, 0,
654  2853, 0, 2854, 0, 2855, 0, 2856, 0,
655  2857, 0, 2858, 0, 2859, 0, 2860, 0,
656  2861, 0, 0, 2863, 0, 2864, 0, 3815,
657  0, 0, 0, 0, 0, 0, 3828, 3829,
658  9436, 9437, 9438, 6411, 2873, 2873, 0, 2874,
659  2874, 8636, 9445, 9446, 9447, 9448, 0, 0,
660  0, 0, 0, 0, 0, 0, 0, 0,
661  0, 0, 0, 0, 0, 0, 0, 0,
662  0, 0, 2897, 0, 0, 660, 7421, 7236,
663  2899, 0, 0, 0, 2902, 816, 0, 0,
664  0, 0, 0, 0, 0, 0, 0, 0,
665  0, 0, 0, 0, 0, 0, 0, 0,
666  0, 0, 0, 0, 0, 0, 0, 0,
667  0, 0, 0, 0, 0, 0, 0, 0,
668  0, 0, 0, 0, 0, 0, 0, 0,
669  0, 0, 0, 0, 32767, 32767, 32767, 32767,
670  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
671  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
672  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
673  32767, 32767, 32767, 32767, 2013, 32767, 32767, 32767,
674  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
675  32767, 32767, 32767, 32767, 32767, 32767, 32767, 5486,
676  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
677  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
678  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
679  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
680  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
681  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
682  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
683  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
684  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
685  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
686  32767, 4750, 32767, 32767, 32767, 32767, 32767, 32767,
687  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
688  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
689  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
690  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
691  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
692  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
693  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
694  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
695  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
696  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
697  32767, 32767, 32767, 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  1009, -417, -417, -417, 32767, 3553, -9183, 5952,
703  5953, 5954, 5955, 4620, 5957, 176, 177, 178,
704  179, 180, 181, 182, 183, -4964, -4964, 188,
705  189, 190, 191, 192, 193, 194, -4964, -4964,
706  32767, -4965, -4965, 32767, -4966, 32767, 32767, -4968,
707  32767, -4969, -4969, -4969, -4969, -4969, -4969, -4969,
708  -4969, -4969, -4969, 32767, -4970, -4970, -4970, -4970,
709  32767, -4971, 32767, -4972, 32767, 32767, 32767, 32767,
710  32767, 32767, -187, 32767, 32767, 32767, 32767, -4980,
711  32767, -4981, 32767, -4982, 32767, -194, -194, -194,
712  32767, -195, -195, 32767, -196, 32767, 32767, -4987,
713  32767, -4988, 32767, -4989, 32767, -4990, 32767, -4991,
714  32767, -4992, -4992, 0, -4993, 32767, 32767, -4995,
715  -202, -4995, -4995, 32767, -4996, -4996, -4996, -618,
716  -1506, -1506, -196, 32767, -1506, -1506, -618, -8514,
717  32767, -8515, -619, -619, -619, 32767, 6034, 32767,
718  -455, -455, -455, -455, -455, -455, -455, -455,
719  -455, -455, 32767, -456, -456, -456, -456, -456,
720  -456, -456, -456, -456, -456, -456, -456, -456,
721  -456, -456, -456, -456, 32767, 32767, 32767, 32767,
722  32767, -461, -461, -461, 32767, -7469, -462, -462,
723  -462, -462, 32767, -463, -463, -463, -463, -463,
724  6075, 6076, 6077, 6078, 6079, 6080, 1908, 6082,
725  6083, 6084, 6085, 6086, 32767, 32767, 32767, 32767,
726  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
727  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
728  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
729  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
730  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
731  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
732  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
733  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
734  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
735  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
736  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
737  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
738  32767, -9650, 32767, 32767, 32767, 32767, 32767, 32767,
739  32767, 4751, 32767, 32767, -6842, 32767, 32767, 32767,
740  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
741  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
742  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
743  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
744  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
745  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
746  32767, 32767, 32767, 32767, 32767, 32767, 32767, 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, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
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, 0, 0, 0, 0,
755  0, 0, 0, 0, 0, 0, 0, 0,
756  0, 0, 0, 0, 0, 0, 0, 0,
757  0, 0, 0, 0, 0, 0, 0, 0,
758  0, 0, 0, 0, 0, 0, 0, 0,
759  0, 0, 0, 0, 0, 0, 0, 0,
760  0, 0, 0, 0, 0, 0, 0, 0,
761  3990, 0, 0, 0, 0, 0, 0, 0,
762  0, 0, 32767, 32767, 32767, 32767, 32767, 32767,
763  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
764  32767, 32767, 32767, 32767, 0, 0, 0, 0,
765  0, 0, 0, 0, 0, 0, 0, 0,
766  0, 2002, 2002, 2002, 0, 0, 0, 0,
767  0, 0, 0, 0, 0, 0, 0, 0,
768  0, 0, 0, 0, 0, 0, 0, 0,
769  0, 0, 0, 0, 0, 0, 0, 0,
770  0, 0, 0, 0, 0, 0, 0, 0,
771  0, 0, 0, 0, 0, 0, 0, 0,
772  0, 0, 0, 0, 32767, 32767, 0, 0,
773  0, 0, 0, 0, 0, 0, 0, 0,
774  0, 0, 0, 0, 0, 0, 0, 0,
775  0, 0, 0, 0, 0, 0, 0, 0,
776  0, 0, 0, 0, 0, 0, 0, 0,
777  0, 0, 0, 0, 0, 0, 4118, 0,
778  0, 0, 0, 0, 0, 0, 4126, 0,
779  0, 2728, 0, 0, 32767, 32767, 32767, 32767,
780  32767, 0, 5928, 5929, 5930, 5931, 0, 32767,
781  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
782  32767, 32767, 4755, 32767, 32767, 32767, 32767, 32767,
783  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
784  32767, 32767, 32767, 32767, 4132, 4133, 4134, 4135,
785  4136, 4137, 4138, 4139, 4140, 4141, 4142, 4143,
786  4144, 32767, 32767, 886, 5880, 32767, 32767, 32767,
787  32767, 32767, 32767, 1132, 1132, 1132, 1132, 32767,
788  6280, 1129, 1129, 32767, 1128, 1128, 1128, 1128,
789  6287, 6288, 6289, 6290, 6291, 6292, 6293, 32767,
790  6294, 6295, 32767, 1343, 6296, 6297, 6298, 6299,
791  6300, 32767, 32767, 6301, 6302, 6303, 32767, 6304,
792  32767, 6305, 32767, 6306, 32767, 6307, 1517, 1518,
793  16878, 32767, 6311, 6312, 1522, 32767, 6314, 1524,
794  1525, 6315, 6316, 6317, 6318, 32767, 6319, 1531,
795  1532, 1533, 1534, 1535, 32767, 32767, 32767, 32767,
796  1536, 6326, 6327, 6328, 6329, 32767, 0, 32767,
797  0, 10802, 0, 6330, 6331, 6332, 6333, 1541,
798  1542, 6336, 1544, 6338, 6339, 6340, 6341, 6342,
799  6343, 1966, 2855, 2856, 1547, 1548, 2858, 2859,
800  1972, 9869, 9870, 9871, 1976, 1977, 1978, 1979,
801  1980, 518, 519, 520, 521, -966, 522, 523,
802  20457, 525, 526, 527, 528, 529, 530, 531,
803  532, 533, 783, 6122, 6123, 6124, 6125, 6126,
804  6127, 6128, 32767, 6129, 1999, 6131, 6132, 6133,
805  6134, 6135, 6136, 5309, 6138, 6139, 6140, 6141,
806  5313, 5313, 10102, 6145, 6146, -2467, 1836, 6149,
807  6150, 6151, 6152, 6153, 1535, 6155, 6156, 6157,
808  5326, 5326, 5326, 32767, 32767, 32767, 32767, 32767,
809  32767, 1837, 32767, 1741, 32767, 32767, 32767, 32767,
810  10538, 10539, 9184, 9185, 6237, 7726, 7727, 7728,
811  7729, 7730, 6243, 7731, 7732, 27666, 7734, 7735,
812  7736, 7737, 7738, 7739, 7740, 7741, 7742, 7992,
813  7992, 7745, 7746, 7747, 7748, 7749, 7750, 7751,
814  7752, 7753, 7754, 7755, 7756, 7757, 7758, 7759,
815  7760, 1660, 7762, 7763, 7764, 7765, 7766, 7767,
816  7768, 6282, 7770, 7141, -128, -128, -128, 7768,
817  7768, 7768, 4803, 7141, 7141, 7141, 5529, -136,
818  10714, 7141, 9226, -10707,4652, 7141, -140, 4651,
819  7141, 7141, 7141, 7141, -142, 5529, -143, 7141,
820  7141, 7141, 6315, 7140, 7140, 6318, 6319, 4635,
821  6321, 6322, 6323, 6324, 6325, 6326, 6327, 6328,
822  6329, 6330, 9168, 9169, 9170, 15325, 15078, 15079,
823  9174, 9175, 9176, 6539, 9178, 9179, 9180, 6344,
824  6345, 6346, 6347, 8761, 6349, 6350, 6351, 9193,
825  9194, 9195, 4634, 4634, 9196, 9197, 9198, -1165,
826  -1165, -1165, 4937, 6364, 6365, 6366, 10077, 2397,
827  15134, 0, 0, 0, 0, 1336, 0, 5782,
828  5782, 5782, 5782, 5782, 5782, 5782, 5782, 10930,
829  10931, 5780, 5780, 5780, 5780, 5780, 5780, 5780,
830  10939, 10940, 10941, 10942, 10943, 10944, 10945, 10946,
831  10947, 10948, 10949, 10950, 10951, 10952, 10953, 10954,
832  10955, 10956, 10957, 10958, 10959, 10960, 10961, 10962,
833  10963, 10964, 10965, 10966, 10967, 10968, 6178, 6179,
834  21539, 6181, 10973, 10974, 6184, 6185, 10977, 6187,
835  6188, 10978, 10979, 10980, 10981, 10982, 10983, 6195,
836  6196, 6197, 6198, 6199, 6200, 10990, 6202, 6203,
837  6204, 10994, 10995, 10996, 10997, 10998, 10999, 11000,
838  11001, 11002, 11003, 11004, 11005, 11006, 11007, 6215,
839  6216, 11010, 6218, 11012, 11013, 11014, 11015, 11016,
840  11017, 6640, 7529, 7530, 6221, 6222, 7532, 7533,
841  6646, 14543, 14544, 14545, 6650, 6651, 6652, 6653,
842  0, 6489, 6490, 6491, 6492, 6493, 6494, 6495,
843  6496, 6497, 6498, 6499, 6500, 6501, 6502, 6503,
844  6504, 6505, 6506, 6507, 6508, 6509, 6510, 6511,
845  6512, 6513, 6514, 6515, 6516, 6517, 6518, 6519,
846  6520, 5211, 6522, 6523, 6524, 6525, 13533, 13534,
847  6528, 6529, 6530, 6531, 6532, 6533, 6534, 6535,
848  6536, 6537, 0, 0, 0, 0, 0, 0,
849  4173, 0, 0, 0, 0, 0, 6550, 6551,
850  6552, 6553, 6554, 6555, 6556, 6557, 6558, 6559,
851  6560, 6561, 6562, 6563, 6564, 6565, 4873, 6567,
852  6568, 6569, 6570, 6571, 6572, 6573, 6574, 6575,
853  6576, 6577, 6578, 6579, 6580, 6581, 6582, 6583,
854  6584, 6585, 6586, 6587, 6588, 6589, 6590, 6591,
855  6592, 6593, 6594, 6595, 6596, 6597, 6598, 6599,
856  6600, 6601, 6602, 6603, 6604, 6605, 6606, 6607,
857  6608, 6609, 6610, 6611, 6612, 6613, 6614, 6615,
858  6616, 6617, 6618, 6619, 6620, 6621, 6622, 6623,
859  6624, 6625, 6626, 6627, 6628, 6629, 6630, 6631,
860  6632, 6633, 6634, 6635, 6636, 6637, 6638, 6639,
861  6640, 6641, 6642, 6643, 6644, 6645, 6646, 6647,
862  6648, 6649, 6650, 6651, 6652, 6653, 6654, 6655,
863  6656, 6657, 6658, 13552, 6660, 6661, 6662, 6663,
864  6664, 6665, 6666, 6667, 6668, 6669, 6670, 13573,
865  6672, 6673, 6674, 6675, 9276, 6677, 4704, 4705,
866  6680, 6681, 6682, 6683, 13596, 12241, 6686, 6687,
867  6688, 6689, 6690, 6691, 6692, 6693, 6694, 6695,
868  6696, 6697, 6698, 6699, 6700, 6701, 6702, 6703,
869  6704, 6705, 6706, 6707, 6708, 6709, 6710, 6711,
870  6712, 6713, 6714, 6715, 6716, 6717, 6718, 6719,
871  6720, 6721, 6722, 6723, 6724, 6725, 6726, 6727,
872  3709, 6729, 3710, 3710, 3710, 6733, 6734, 3712,
873  3712, 6737, 6738, 6739, 6740, 6741, 4536, 3717,
874  6744, 32767, 6745, 6746, 6747, 6748, 6749, 6750,
875  6751, 6752, 6753, 6754, 6755, 6756, 6757, 6758,
876  6759, 6760, 6761, 6762, 6763, 6764, 6765, 6766,
877  6767, 6768, 6769, -2005, 6771, -3121, -3121, -3121,
878  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
879  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
880  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
881  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
882  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
883  32767, 895, 896, 32767, 32767, 32767, 32767, 32767,
884  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
885  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
886  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
887  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
888  32767, 32767, 4706, 4707, 32767, 32767, 32767, 32767,
889  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
890  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
891  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
892  32767, 32767, 897, 32767, 32767, 32767, 32767, 32767,
893  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
894  32767, 32767, 32767, 32767, 32767, 32767, 32767, 898,
895  899, 900, 901, 902, 903, 904, 905, 32767,
896  32767, 906, 32767, 32767, 32767, 32767, 32767, 32767,
897  0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
898  1, 32767, 2, 32767, 32767, 32767, 32767, 3,
899  32767, 32767, 4, 5, 6, 7, 32767, 32767,
900  8, 9, 10, 32767, 11, 83, 13, 32767,
901  14, 15, 16, 17, 18, 19, 32767, 20,
902  21, 22, 907, 908, 909, 910, 911, 912,
903  913, 914, 915, 916, 917, 918, 919, 920,
904  32767, 921, 922, 923, 924, 925, 926, 927,
905  928, 929, -380, 931, 932, 933, 934, 7942,
906  7943, 7944, 49, 50, 51, 52, 53, -1409,
907  32767, -1408, -1407, -2894, -1406, -1405, 18529, 3171,
908  32767, -1403, -1402, -1401, -1400, -1399, 32767, -1398,
909  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
910  32767, 683, 32767, 7976, 32767, 4994, 32767, 686,
911  32767, 0, 32767, 0, 32767, 0, 32767, 0,
912  32767, 0, 32767, 0, 32767, 0, 32767, 0,
913  32767, 937, 0, -3182, 0, -3183, 0, -3184,
914  32767, 941, 32767, 32767, 32767, -3188, 0, 32767,
915  0, 0, 32767, 0, 0, 32767, 0, 0,
916  32767, 0, 0, 32767, 32767, 32767, 32767, 32767,
917  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
918  32767, 32767, 32767, 32767, 32767, 32767, 32767, 943,
919  32767, 0, 32767, 32767, 32767, 32767, 944, 0,
920  945, 0, 32767, 946, 947, 32767, 948, 949,
921  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
922  32767, 0, 32767, 0, 32767, 0, 32767, 0,
923  32767, 0, 32767, 0, 32767, 0, 32767, 0,
924  32767, 0, 32767, 0, 32767, 0, 32767, 0,
925  32767, 32767, 0, 32767, 0, 32767, 950, 951,
926  952, 953, 954, 955, 956, 957, 958, 32767,
927  6565, 6566, 32767, 0, 0, 32767, 0, 0,
928  32767, 6570, 6571, 32767, 32767, 32767, 32767, 32767,
929  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
930  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
931  32767, 0, 32767, 32767, -2239, 4522, 4337, 0,
932  32767, 32767, 32767, 0, -2086, 32767, 32767, 0,
933  0, 0, 0, 0, 0, 959, 960, 0,
934  0, 0, 0, 0, 0, 0, 0, 0,
935  0, 0, 0, 0, 0, 0, 0, 0,
936  0, 4578, 4579, 0, 0, 0, 0, 0,
937  0, 0, 0, 0, 0, 0, 0, 0,
938  -4175, -5292, 0, 0, 32767, 0, 32767, 0,
939  0, 32767, 0, 0, 32767, 0, 32767, 32767,
940  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
941  32767, 961, 32767, 32767, 32767, 32767, 32767, 32767,
942  32767, 32767, 32767, 32767, 0, 962, 963, 32767,
943  32767, 32767, 32767, 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, 964, 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, 0,
959  32767, 32767, 0, 32767, 32767, 32767, 32767, 32767,
960  0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
961  32767, 32767, 32767, 32767, 32767, 32767, 32767, 0,
962  0, 0, 32767, 32767, 32767, 32767, 32767, 32767,
963  32767, 32767, 32767, 32767, 32767, 0, 0, 0,
964  32767, 32767, -3913, 32767, 32767, 32767, 32767, 32767,
965  32767, 32767, 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, 965, 966, 967, 32767,
971  968, 969, 970, 971, 972, 973, 974, 975,
972  976, 977, 978, 979, 980, 32767, 981, 982,
973  983, 984, 985, 986, 987, 32767, 32767, 32767,
974  32767, 988, 32767, 32767, 32767, 32767, 32767, 32767,
975  989, 32767, 32767, 32767, -4941, 991, 32767, 32767,
976  0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
977  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
978  32767, 0, 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, 992, 993, 994, 32767, 995, 996, 997,
983  998, 999, 1000, 1001, -3143, -3143, -3143, -3143,
984  32767, -3144, -3144, -3144, -3144, -3144, 1011, 1012,
985  1013, 1014, 1015, 1016, -3138, -3138, -3138, -3138,
986  -3138, -3138, -3138, 32767, -3139, -3139, -3139, -3139,
987  -3139, -3139, -3139, -3139, -3139, -3139, -3139, -3139,
988  -3139, -3139, -3139, -3139, -3139, -3139, -3139, -3139,
989  -3139, -3139, -3139, -3139, -3139, -3139, -3139, 872,
990  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
991  32767, 32767, 32767, 3049, 3049, -3150, 3049, 3049,
992  3049, 3049, 3049, 3049, 3049, 3049, 3049, 3049,
993  3049, 3049, 3049, 3049, 3049, 3049, 3049, 3049,
994  3049, 3049, 3049, 3049, 3049, 0, 0, 0,
995  0, 0, 0, 0, 0, 3057, 5596, 5597,
996  5598, 6716, 6717, 6718, 6719, 6720, 6721, 6722,
997  6723, -3176, -3176, 6728, 6729, 6730, 6731, 6732,
998  6733, 6734, 6735, -3176, -3176, -3176, -3176, -3176,
999  -3176, 8013, 2958, 2959, -3141, 2961, 2962, 2963,
1000  2964, 2965, 8022, 8023, -3176, -3176, -3176, -3176,
1001  -3176, 5630, 5631, -2, -2, -2, -2, 7679,
1002  -3176, -3176, -3176, -3176, -3176, -3176, -3176, -3176,
1003  -3176, -4957, -4957, -4957, -4957, -3176, -3176, -3176,
1004  -3176, -3176, -3176, -3176, -3176, -3176, -3176, -3176,
1005  -3176, -3176, -3176, -3176, -3176, -3176, -3176, -3176,
1006  -3176, -3176, 1880, 1880, 7981, 1880, 1880, 1880,
1007  1880, 1880, -3176, -3176, -1258, 4882, 4883, 4884,
1008  895, 4886, -3176, 4861, 4862, 4863, 4864, -2816,
1009  9921, -5213, -5213, -5213, -5213, -3877, -5213, 569,
1010  569, 569, 569, 569, 569, 569, 569, 5717,
1011  5718, 567, 567, 567, 567, 567, 567, 567,
1012  5726, 5727, 5728, 5729, 5730, 5731, 5732, 5733,
1013  5734, 5735, 5736, 5737, 5738, 5739, 5740, 5741,
1014  5742, 5743, 5744, 5745, 5746, 5747, 5748, 5749,
1015  5750, 5751, 5752, 5753, 5754, 5755, 965, 966,
1016  16326, 968, 5760, 5761, 971, 972, 5764, 974,
1017  975, 5765, 5766, 5767, 5768, 5769, 5770, 982,
1018  983, 984, 985, 986, 987, 5777, 989, 990,
1019  991, 5781, 5782, 5783, 5784, 5785, 5786, 5787,
1020  5788, 5789, 5790, 5791, 5792, 5793, 5794, 1002,
1021  1003, 5797, 1005, 5799, 5800, 5801, 5802, 5803,
1022  5804, 1427, 2316, 2317, 1008, 1009, 2319, 2320,
1023  1433, 9330, 9331, 9332, 1437, 1438, 1439, 1440,
1024  1441, -21, -20, -19, -18, -1505, -17, -16,
1025  19918, -14, -13, -12, -11, -10, -9, -8,
1026  -7, -6, 244, 244, -3, -2, -1, 0,
1027  1, 2, 3, 4, 1469, 5, 6, 7,
1028  8, 9, 32767, 32767, 32767, 32767, 10, 11,
1029  12, 13, 5070, 5071, 3154, -2985, 1318, 1319,
1030  1320, -2988, 5075, -2961, -2961, -2961, -2961, 1327,
1031  1328, 1329, 1330, 1331, 1332, 1333, 1334, 1335,
1032  1336, 1337, 1338, 1339, 1340, 1341, 1342, 1343,
1033  1344, 1345, 1346, 1347, 1348, 1349, 1350, 1351,
1034  1352, 1353, 1354, 1355, 1356, 1357, 1358, 1359,
1035  1360, 1361, 1362, 1363, 1364, 1365, 1366, 1367,
1036  7522, 7275, 7276, 1371, 1372, 1373, -1264, 1375,
1037  1376, 1377, 1378, 1379, 1380, 1381, 1382, 957,
1038  -14402,957, 1386, 1387, 1388, 1389, 1390, 1391,
1039  1392, 1393, -8970, -8970, -8970, 1397, 1398, 948,
1040  32767, 32767, 32767, 32767, 32767, 32767, 32767, 1400,
1041  1401, 1402, 1403, 1404, 1405, 1406, 1407, 1408,
1042  1409, 1410, 1411, 1412, 1413, 1414, 1415, 1416,
1043  1417, 1418, 1419, 1420, 1421, 32767, 32767, 1422,
1044  1423, 1424, 1425, 1426, 1427, 32767, 32767, 1428,
1045  1429, 1430, 1431, 8325, 1433, 1434, 1435, 1436,
1046  1437, 1438, 1439, 1440, 1441, 1442, 1443, 8346,
1047  1445, 1446, 1447, 1448, 4049, 1450, -523, -522,
1048  1453, 1454, 1455, 1456, 8369, 7014, 1459, 1460,
1049  1461, 1462, 1463, 1464, 1465, 32767, 32767, 1466,
1050  1467, 1468, 1469, 1470, 1471, 32767, 32767, 1472,
1051  1473, 1474, 1475, 1476, 1477, 1478, 1479, 32767,
1052  1480, 32767, 1481, 32767, 1482, 32767, 1483, 1484,
1053  1485, 1486, 1487, 1488, 1489, 1490, 1491, 1492,
1054  -1526, 1494, -1525, -1525, -1525, 1498, 1499, -1523,
1055  -1523, 1502, 1503, 1504, 1505, 1506, -699, -1518,
1056  1509, -1517, 1511, 1512, 1513, 32767, 32767, 1514,
1057  1515, 1516, 1517, 1518, 1519, 1520, 1521, 1522,
1058  1523, 1524, 1525, 1526, 1527, 1528, 1529, 1530,
1059  1531, 1532, 1533, 1534, 1535, 1536, 1537, 1538,
1060  1539, 1540, 1541, 1542, 1543, 1544, 1545, 1546,
1061  1547, 1548, 1549, 5054, 1551, 1552, 1553, 8447,
1062  1555, 1556, -4049, 1558, 1559, 1560, -1467, 5063,
1063  1563, 5064, 5064, 1566, 32767, 1567, 1568, 1569,
1064  1570, 1571, 1572, 1573, 1574, 1575, 1576, 1577,
1065  1578, 1579, 1580, 1581, 32767, 1582, 1583, 1584,
1066  1585, 1586, 1587, 1588, 1589, 1590, 1591, 1592,
1067  1593, 1594, 1595, 32767, 32767, 1596, 1597, 1598,
1068  1599, 1600, 1601, 32767, 1602, 1603, 1604, 1605,
1069  1606, 1607, 1608, 1609, 1610, 1611, 1612, 1613,
1070  1614, 1615, 1616, 1617, 1618, 0, 0, 0,
1071  0, 0, 0, 0, 0, 0, 0, 0,
1072  0, 0, 0, 1630, 1631, 0, 32767, -5702,
1073  -5702, -5702, 0, 0, 0, 0, 0, 0,
1074  0, 0, 0, 0, 32767, 0, 32767, 0,
1075  32767, -7163, 0, 0, 32767, 32767, 32767, 0,
1076  0, 0, 0, 0, 0, 0, 0, 0,
1077  0, 0, 0, 0, -7269, -7269, -7269, 627,
1078  627, 627, -2338, 0, 0, 0, -1612, -7277,
1079  3573, 0, 2085, -17848,-2489, 0, -7281, -2490,
1080  0, 0, 0, 0, -7283, -1612, -7284, 0,
1081  0, 0, 0, 0, 0, 0, 0, -2503,
1082  -7292, -2503, -4309, -4309, 0, 536, -4307, -4307,
1083  -4307, -4307, 677, -4306, -4306, -4306, -4306, -7305,
1084  0, -4306, -4306, 32767, 32767, -4308, -4308, -7312,
1085  -4307, 690, -4306, -6530, 0, -4306, 0, 0,
1086  -4306, 0, -4305, -4305, -4305, -4305, -4305, -4305,
1087  -2949, -2949, 0, -1488, -1488, -1488, -1488, -1488,
1088  0, -1487, -1487, -21420,-1487, -1487, -1487, -1487,
1089  -1487, -1487, -1487, -1487, -1487, -1736, -1735, -1487,
1090  -1487, -1487, -1487, -1487, -1487, -1487, -1487, -1487,
1091  -1487, -1487, -1487, -1487, -1487, -1487, -1487, 4614,
1092  -1487, -1487, -1487, -1487, -1487, -1487, -1487, 0,
1093  -1487, -857, 6413, 6414, 6415, -1480, -1479, -1478,
1094  1488, -849, -848, -847, 766, 6432, -4417, -843,
1095  -2927, 17007, 1649, -839, 6443, 1653, -836, -835,
1096  -834, -833, 6451, 781, 6454, -829, -828, -827,
1097  0, -824, -823, 0, 0, 1685, 0, 0,
1098  0, 0, 0, 0, 0, 0, 0, 0,
1099  -2837, -2837, -2837, -8991, -8743, -8743, -2837, -2837,
1100  -2837, -199, -2837, -2837, -2837, 0, 0, 0,
1101  0, -2413, 0, 0, 0, -2841, -2841, -2841,
1102  1721, 1722, -2839, -2839, -2839, 7525, 7526, 7527,
1103  1426, 0, 0, 0, -3710, 3971, -8765, 6370,
1104  6371, 6372, 6373, 5038, 6375, 594, 595, 596,
1105  597, 598, 599, 600, 601, -4546, -4546, 606,
1106  607, 608, 609, 610, 611, 612, -4546, -4546,
1107  -4546, -4546, -4546, -4546, -4546, -4546, -4546, -4546,
1108  -4546, -4546, -4546, -4546, -4546, -4546, -4546, -4546,
1109  -4546, -4546, -4546, -4546, -4546, -4546, -4546, -4546,
1110  -4546, -4546, -4546, -4546, 245, 245, -15114,245,
1111  -4546, -4546, 245, 245, -4546, 245, 245, -4544,
1112  -4544, -4544, -4544, -4544, -4544, 245, 245, 245,
1113  245, 245, 245, -4544, 245, 245, 245, -4544,
1114  -4544, -4544, -4544, -4544, -4544, -4544, -4544, -4544,
1115  -4544, -4544, -4544, -4544, -4544, 249, 249, -4544,
1116  249, -4544, -4544, -4544, -4544, -4544, -4544, -166,
1117  -1054, -1054, 256, 256, -1053, -1053, -165, -8061,
1118  -8061, -8061, -165, -165, -165, -165, -165, 1298,
1119  1298, 1298, 1298, 2786, 1299, 1299, -18634,1299,
1120  1299, 1299, 1299, 1299, 1299, 1299, 1299, 1299,
1121  1050, 1051, 1299, 1299, 1299, 1299, 1299, 1299,
1122  1299, 1299, -165, 1300, 1300, 1300, 1300, 1300,
1123  1300, 1300, 7401, 1300, 1300, 1300, 1300, 1300,
1124  -3756, -3756, -1838, 4302, 0, 0, 0, 4309,
1125  -3753, 4284, 4285, 4286, 4287, 0, 0, 0,
1126  0, 0, 0, 0, 0, 0, 0, 0,
1127  0, 0, 0, 0, 0, 0, 0, 0,
1128  0, 0, 0, 0, 0, 0, 0, 0,
1129  0, 0, 0, 0, 0, 0, 0, 0,
1130  0, 0, 0, 0, 0, 0, -6154, -5906,
1131  -5906, 0, 0, 0, 2638, 0, 0, 0,
1132  0, 0, 0, 0, 0, 426, 15786, 428,
1133  0, 0, 0, 0, 0, 0, 0, 0,
1134  10364, 10365, 10366, 0, 0, 451, 452, 453,
1135  454, 455, 456, 32767, 32767, 0, 0, 0,
1136  32767, 32767, 32767, 0, 0, 0, 0, 0,
1137  0, 0, 32767, 0, 0, 0, 0, 0,
1138  0, 0, 32767, 1842, 32767, 32767, 1843, 32767,
1139  32767, 0, 32767, 0, 32767, 32767, 32767, 32767,
1140  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1141  32767, 32767, 32767, 32767, 32767, 32767, 1844, 32767,
1142  0, 0, 0, 32767, 32767, 32767, 1846, 1847,
1143  32767, 1848, 1849, 32767, 32767, 32767, 32767, 32767,
1144  32767, 32767, 32767, 32767, 0, 0, 0, 32767,
1145  32767, 32767, 32767, 0, 32767, 32767, 1851, 32767,
1146  32767, 1852, 32767, 0, 0, 32767, 32767, 32767,
1147  0, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1148  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1149  32767, 32767, 1854, 32767, 1855, 6223, 6224, 6225,
1150  6226, 6227, 6228, 6229, 6230, 6231, 6232, 1856,
1151  1857, 1574, 1574, 1574, 32767, 32767, 1572, 1572,
1152  32767, 32767, 1863, 1864, 32767, 32767, 32767, 32767,
1153  32767, 32767, 1865, 1866, 32767, 32767, 1867, 1868,
1154  32767, 32767, 1869, 1870, 32767, 32767, 32767, 32767,
1155  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1156  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1157  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1158  32767, 32767, 32767, 32767, 32767, 32767, 1871, 1872,
1159  3017, 1874, 32767, 32767, 32767, 32767, 32767, 32767,
1160  32767, 32767, 32767, 32767, 32767, 3018, 32767, 32767,
1161  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1162  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1163  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1164  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1165  32767, 32767, 1875, 1876, 1877, 1878, 32767, 32767,
1166  32767, 0, 0, 32767, 1879, 1880, 1881, 1882,
1167  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1168  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1169  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1170  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1171  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1172  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1173  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1174  32767, 32767, 32767, 32767, 1883, 1884, 32767, 32767,
1175  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1176  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1177  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1178  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1179  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1180  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1181  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1182  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1183  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1184  0, 0, 0, 0, 0, 0, 0, 0,
1185  0, 0, 0, 32767, 32767, 32767, 32767, 32767,
1186  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1187  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1188  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1189  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1190  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1191  32767, 32767, 32767, 32767, 0, -2263, 2526, 0,
1192  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1193  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1194  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1195  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1196  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1197  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1198  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1199  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1200  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1201  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1202  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1203  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1204  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1205  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1206  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1207  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1208  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1209  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1210  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1211  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1212  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1213  32767, 32767, 32767, 32767, 1885, 1886, 1887, 1888,
1214  1889, 1890, 1891, 1892, 1893, 1894, 4758, 4759,
1215  4760, 4761, 4762, 1900, 1901, 1902, 1903, 1904,
1216  1905, 1906, 1907, 1908, 1909, 924, 1911, 1912,
1217  1913, 1914, 1915, 1916, 1917, 1918, 1919, 1920,
1218  1921, 1107, 1923, 1924, 1925, 1926, 1927, 1928,
1219  1929, 1930, 1931, 1932, 1933, 1934, 1935, 1936,
1220  1937, 1938, 1939, 1123, 1123, 1123, 1943, 1944,
1221  1945, 1946, 1947, 1948, 1949, 1950, 1951, 1952,
1222  1953, 1954, 1955, 1956, 1957, 1958, 1959, 1960,
1223  1961, 1962, 1963, 1964, 1965, 1966, 1967, 1968,
1224  1969, 1970, 1971, 1972, 1973, 1974, 4727, 1976,
1225  1977, 1978, 1979, 1980, 1981, 1982, 1983, 1984,
1226  1985, 1986, 1987, 1988, 1989, 1990, 1991, 1992,
1227  1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000,
1228  -2451, 2002, -2448, 2004, 2005, 2006, -2441, -2724,
1229  2009, 2010, 2011, 2012, 2013, 2014, 2015, 2016,
1230  2017, 2018, 2019, 2020, 2021, 0, 2023, 985,
1231  985, 7086, 985, 985, 985, 985, 985, -4071,
1232  -4071, -2153, 3987, 3988, 3989, 0, 3991, -4071,
1233  3966, 3967, -4071, 260, 261, 262, 263, 264,
1234  265, 266, 3264, 32767, 32767, -2437, -2436, 32767,
1235  32767, 32767, 32767, 32767, 32767, 270, 271, 272,
1236  273, 274, 275, 4728, 277, 278, 279, 280,
1237  281, -2434, 283, 0, 32767, 32767, 32767, 32767,
1238  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1239  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1240  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1241  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1242  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1243  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1244  32767, 32767, 32767, 32767, 32767, 32767, 0, 0,
1245  0, 0, 0, 0, 0, 0, 0, 0,
1246  0, 0, 0, 0, 0, 0, 0, 0,
1247  0, 0, 0, 0, 0, 0, 0, 0,
1248  0, 0, 0, 0, 0, 0, 32767, 32767,
1249  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1250  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1251  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1252  32767, 32767, 32767, 32767, 0, 0, 32767, 0,
1253  0, 0, 0, 0, 0, 0, 0, 0,
1254  32767, 32767, 32767, 32767, 1329, 441, 441, 1751,
1255  1751, 442, 442, 1330, -6566, -6566, 0, 0,
1256  0, 0, 0, 0, 0, 0, 0, 0,
1257  0, 0, 0, 0, 0, 0, -3047, -274,
1258  -273, -272, -271, 1946, 4745, 0, 0, -267,
1259  -266, 1945, -264, -263, 0, 0, 0, 0,
1260  0, 0, 0, 0, -6199, 0, 0, 0,
1261  0, 0, 0, 0, 0, 0, 0, 0,
1262  0, 0, 0, 0, 0, 0, 0, 0,
1263  0, 0, 0, 0, 32767, 32767, 32767, 32767,
1264  32767, 32767, 32767, 32767, 0, 2539, 2540, 2541,
1265  3659, 3660, 3661, 3662, 3663, 3664, 3665, 3666,
1266  -6233, -6233, 3671, 3672, 3673, 3674, 3675, 3676,
1267  3677, 3678, -6233, -6233, -6233, -6233, -6233, -6233,
1268  4956, -99, -98, -6198, -96, -95, -94, -93,
1269  -92, 4965, 4966, -6233, -6233, -6233, -6233, -6233,
1270  2573, 2574, -3059, 3049, -3060, -3060, 4621, -6234,
1271  -6234, -6234, -6234, -6234, -6234, -6234, -6234, -6234,
1272  -8015, -8015, -8015, -8015, -6234, -6234, -6234, -6234,
1273  -6234, -6234, -6234, -6234, -6234, -6234, -6234, -6234,
1274  -6234, -6234, -6234, -6234, -6234, -6234, -6234, -6234,
1275  -6234, -1178, -1178, 4923, -1178, -1178, -1178, -1178,
1276  -1178, -6234, -6234, -4316, 1824, 1825, 1826, -2163,
1277  1828, -6234, 1803, 1804, 1805, 1806, -5874, 6863,
1278  -8271, -8271, -8271, -8271, -6935, -8271, -2489, -2489,
1279  -2489, -2489, -2489, -2489, -2489, -2489, 2659, 2660,
1280  -2491, -2491, -2491, -2491, -2491, -2491, -2491, 2668,
1281  2669, 2670, 2671, 2672, 2673, 2674, 2675, 2676,
1282  2677, 2678, 2679, 2680, 2681, 2682, 2683, 2684,
1283  2685, 2686, 2687, 2688, 2689, 2690, 2691, 2692,
1284  2693, 2694, 2695, 2696, 2697, -2093, -2092, 13268,
1285  -2090, 2702, 2703, -2087, -2086, 2706, -2767, 2708,
1286  2709, 2710, 2711, 2712, 3178, 3179, 3180, 3181,
1287  3182, 3183, 3184, 3185, 3186, 3187, 3188, 3189,
1288  3190, 3191, 3192, 3193, 3194, 3195, 3196, 3197,
1289  3198, 3199, 3200, 3201, 3202, 3203, 3204, 3205,
1290  3206, 3207, 3208, 3209, 3281, 3211, 3212, 3213,
1291  3214, 3215, 3216, 3217, 3218, 3219, 3220, 3221,
1292  3222, 4107, 4108, 4109, 4110, 4111, 4112, 3229,
1293  4115, 4116, 4117, 4118, 4119, 4120, 3236, 3237,
1294  4124, 4125, 4126, 4127, 4128, 7621, 3244, 4133,
1295  4134, 2825, 4136, 4137, 4138, 3251, 11148, 11149,
1296  11150, 3255, 3256, 3257, 3258, 3259, 1797, 1798,
1297  1799, 1800, 313, 1801, 1802, 21736, 1804, 1805,
1298  1806, 1807, 1808, 1809, 1810, 1811, 1812, 2062,
1299  2062, 1815, 1816, 1817, 1818, 1819, 1820, 1821,
1300  1822, 3287, 1823, 1824, 1825, 32767, 3291, 3292,
1301  3293, 3294, 3295, 3296, 3297, 3298, 3299, 3300,
1302  3301, 3302, 3303, 3304, 32767, 32767, 3305, 32767,
1303  9008, 32767, 32767, 3307, 3308, 3309, 3310, 3311,
1304  3312, 3313, 3314, 3315, 3316, 32767, 3317, 32767,
1305  3318, 32767, 32767, 3319, 3320, 32767, 32767, 32767,
1306  3321, 3322, 3323, 3324, 3325, 3326, 3327, 3328,
1307  3329, 3330, 3331, 3332, 3333, 10603, 10604, 10605,
1308  2710, 2711, 2712, 5678, 3341, 3342, 3343, 4956,
1309  10622, -227, 3347, 1263, 21197, 5839, 3351, 10633,
1310  5843, 3354, 3355, 3356, 3357, 10641, 4971, 10644,
1311  3361, 3362, 3363, 3364, 3365, 3366, 3367, 3368,
1312  5872, 10662, 5874, 7681, 7682, 3374, 2839, 7683,
1313  7684, 7685, 7686, 2703, 7687, 7688, 7689, 7690,
1314  10690, 3386, 7693, 7694, 7695, 0, 7697, 7698,
1315  10703, 7699, 2703, 7700, 9925, 3396, 7703, 3398,
1316  3399, 7706, 3401, 7707, 7708, 7709, 7710, 7711,
1317  7712, 6357, 6358, 3410, 4899, 4900, 4901, 4902,
1318  4903, 3416, 4904, 4905, 24839, 4907, 4908, 4909,
1319  4910, 4911, 4912, 4913, 4914, 4915, 5165, 5165,
1320  4918, 4919, 4920, 4921, 4922, 4923, 4924, 4925,
1321  4926, 4927, 4928, 4929, 4930, 4931, 4932, 4933,
1322  -1167, 4935, 4936, 4937, 4938, 4939, 4940, 4941,
1323  3455, 4943, 4314, -2955, -2955, -2955, 4941, 4941,
1324  4941, 1976, 4314, 4314, 4314, 2702, -2963, 7887,
1325  4314, 6399, -13534,1825, 4314, -2967, 1824, 4314,
1326  4314, 4314, 4314, -2969, 2702, -2970, 4314, 4314,
1327  4314, 3488, 4313, 4313, 3491, 3492, 1808, 3494,
1328  32767, 0, 0, 32767, 32767, 0, 0, 0,
1329  0, 32767, 0, 0, 0, 0, -2999, 4306,
1330  0, 0, 0, 7696, 0, 0, 32767, 0,
1331  32767, 0, -2224, 4306, 0, 4306, 4306, 0,
1332  0, 0, 0, 0, 0, 0, 0, 1356,
1333  1356, 4305, 2817, 2817, 2817, 2817, 2817, 2817,
1334  2817, 2817, -17116,2817, 2817, 2817, 2817, 2817,
1335  2817, 2817, 2817, 2817, 2568, 2569, 2817, 2817,
1336  2817, 2817, 2817, 2817, 2817, 2817, 2817, 2817,
1337  2817, 2817, 2817, 2817, 2817, 2817, 8918, 2817,
1338  2817, 2817, 2817, 2817, 2817, 2817, 4304, 2817,
1339  3447, 10717, 10718, 10719, 3531, 3532, 32767, 3533,
1340  3534, 3535, 3536, 3537, 32767, 3538, 32767, 3539,
1341  3540, 32767, 3541, 3542, 32767, 3543, 3544, 3545,
1342  3546, 3547, 3548, 3549, 3550, 3551, 3552, 3553,
1343  3554, 3555, 3556, 3557, 3558, 3559, 3560, 3561,
1344  3562, 3563, 3564, 3565, 3566, 3567, 3568, 3569,
1345  3570, 3571, 3572, 3573, 3574, 3575, 3576, 3577,
1346  3578, 3579, 3580, 3581, 3582, 3583, 3584, 3585,
1347  3586, 3587, 3588, 3589, 3590, 3591, 3592, 3593,
1348  3594, 3595, 3596, 3597, 3598, 3599, 3600, 3601,
1349  3602, 3603, 3604, 3605, 3606, 3607, 3608, 3609,
1350  3610, 3611, 3612, 3613, 3614, 3615, 3616, 3617,
1351  3618, 3619, 3620, 3621, 3622, 3623, 3624, 3625,
1352  3626, 3627, 3628, 3629, 3630, 3631, 3632, 3633,
1353  2324, 3635, 3636, 3637, 3638, 10646, 10647, 3641,
1354  3642, 3643, 3644, 3645, 3646, 3647, 3648, 3649,
1355  3650, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1356  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1357  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1358  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1359  32767, 32767, 3651, 3652, 3653, 3654, 3655, 3656,
1360  3657, 3658, 3659, 3660, 3661, 3662, 3663, 3664,
1361  3665, 3666, 3667, 3668, 3669, 3670, 3671, 3672,
1362  3673, 3674, 3675, 3676, 3677, 3678, 3679, 3680,
1363  3681, 3682, 3683, 3684, 3685, 3686, 3687, 3688,
1364  3689, 3690, 3691, 3692, 3693, 3694, 3695, 32767,
1365  3696, 3697, 3698, 3699, 3700, 3701, 3702, 3703,
1366  3704, 3705, 3706, 3707, 3708, 3709, 3710, 3711,
1367  3712, 3713, 3714, 3715, 3716, 3717, 3718, 3719,
1368  3720, 3721, 3722, 3723, 3724, 3725, 3726, 3727,
1369  3728, 3729, 3730, 3731, 3732, 3733, 3734, 3735,
1370  3736, 3737, 3738, 3739, 3740, 3741, 3742, 3743,
1371  3744, 3745, 3746, 3747, 3748, 3749, 3750, 3751,
1372  3752, 3753, 3754, 3755, 3756, 3757, 3758, 3759,
1373  3760, 3761, 3762, 3763, 3764, 3765, 3766, 3767,
1374  3768, 3769, 3770, 3771, 3772, 3773, 3774, 3775,
1375  3776, 3777, 3778, 3779, 3780, 3781, 3782, 3783,
1376  3784, 3785, 3786, 3787, 3788, 3789, 3790, 3791,
1377  3792, 3793, 3794, 3795, 3796, 3797, 3798, 3799,
1378  3800, -210, -209, 3803, 3804, 3805, 3806, 3807,
1379  3808, 3809, 3810, 3811, 3812, 3813, 3814, 3815,
1380  3816, 3817, 3818, 3819, 3820, 3821, 3822, 3823,
1381  3824, 3825, 3826, 3827, 3828, 3829, 3830, 3831,
1382  3832, 3833, 3834, 3835, 3836, 3837, 3838, 3839,
1383  3840, 3841, 3842, 3843, 3844, 3845, 3846, 3847,
1384  3848, 3849, -4925, 3851, -6041, -6041, -6041, -6041,
1385  -6041, -6041, -6041, 3859, 3860, -6043, -6043, -6043,
1386  -6043, -6043, -6043, -6043, -6043, 3869, 3870, 3871,
1387  3872, 3873, 3874, -7314, -2258, -2258, 3843, -2258,
1388  -2258, -2258, -2258, -2258, -7314, -7314, 3886, 3887,
1389  3888, 3889, 3890, -4915, -4915, 719, 720, 721,
1390  722, -6958, 3898, 3899, 3900, 3901, 3902, 3903,
1391  3904, 3905, 3906, 5688, 5689, 5690, 5691, 3911,
1392  3912, 3913, 3914, 3915, 3916, 3917, 3918, 3919,
1393  3920, 3921, 3922, 3923, 3924, 3925, 3926, 3927,
1394  3928, 3929, 3930, 3931, -1124, -1123, -7223, -1121,
1395  -1120, -1119, -1118, -1117, 3940, 3941, 2024, -4115,
1396  -4115, -4115, -125, -4115, 3948, -4088, -4088, 3951,
1397  32767, 3952, 3953, 3954, 3955, 3956, 3957, 3958,
1398  3959, 3960, 3961, 3962, 3963, 3964, 3965, 3966,
1399  3967, 3968, 3969, 3970, 3971, 3972, 3973, 3974,
1400  3975, 3976, 3977, 3978, 3979, 3980, 3981, 3982,
1401  3983, 3984, 3985, 3986, 3987, 3988, 3989, 3990,
1402  3991, 3992, 3993, 3994, 3995, 3996, 3997, 3998,
1403  3999, 4000, 4001, 4002, 4003, 14, 4005, 4006,
1404  4007, 4008, 4009, 4010, 4011, 4012, 4013, 32767,
1405  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1406  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1407  32767, 4014, 4015, 4016, 4017, 4018, 4019, 4020,
1408  4021, 4022, 4023, 4024, 4025, 4026, 2025, 2026,
1409  2027, 4030, 4031, 4032, 4033, 4034, 4035, 4036,
1410  4037, 4038, 4039, 4040, 4041, 4042, 4043, 4044,
1411  4045, 4046, 4047, 4048, 4049, 4050, 4051, 4052,
1412  4053, 4054, 4055, 4056, 4057, 4058, 4059, 4060,
1413  4061, 4062, 4063, 4064, 4065, 4066, 4067, 4068,
1414  4069, 4070, 4071, 4072, 4073, 4074, 4075, 4076,
1415  4077, 32767, 32767, 4078, 4079, 4080, 4081, 4082,
1416  4083, 4084, 4085, 4086, 4087, 4088, 4089, 4090,
1417  4091, 4092, 4093, 4094, 4095, 4096, 4097, 4098,
1418  4099, 4100, 4101, 4102, 4103, 4104, 4105, 4106,
1419  4107, 4108, 4109, 4110, 4111, 4112, 4113, 4114,
1420  4115, 4116, 4117, 0, 4119, 4120, 4121, 4122,
1421  4123, 4124, 4125, 0, 4127, 4128, 1401, 4130,
1422  4131, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1423  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1424  32767, 32767, 32767, 32767, 0, 0, 0, 0,
1425  0, 0, 0, 0, 0, 0, 0, 0,
1426  0, 0, 0, 0, 0, 0, 0, 0,
1427  0, 0, 0, 0, 0, 0, 0, 0,
1428  0, 0, 0, 0, 0, 0, 0, 0,
1429  0, 0, 0, 0, 0, 0, 0, 0,
1430  0, 0, 0, 0, 0, 0, 0, 0,
1431  0, 0, 0, 0, 0, 0, 0, 0,
1432  0, 0, 0, 0, 0, 0, 0, 0,
1433  0, 0, 0, 0, 0, 0, 0, 0,
1434  0, 0, 0, 0, 0, 0, 0, 0,
1435  0, 0, 0, 0, 0, 0, 0, 0,
1436  0, 0, 0, 0, 0, 0, 0, 0,
1437  0, 0, 0, 0, 0, 4011, 4011, 0,
1438  0, 0, 0, 0, 0, 0, 0, 0,
1439  0, 0, 0, 0, 0, 0, 0, 0,
1440  0, 0, 0, 0, 0, 0, 0, 0,
1441  0, 0, 0, 0, 0, 0, 0, 0,
1442  0, 0, 0, 0, 0, 0, 0, 0,
1443  0, 0, 0, 0, 0, 0, 8775, 0,
1444  9893, 9894, 9895, 9896, 9897, 9898, 9899, 0,
1445  0, 9904, 9905, 9906, 9907, 9908, 9909, 9910,
1446  9911, 0, 0, 0, 0, 0, 0, 11189,
1447  6134, 6135, 35, 6137, 6138, 6139, 6140, 6141,
1448  11198, 11199, 0, 0, 0, 0, 0, 8806,
1449  8807, 3174, 3174, 3174, 3174, 10855, 0, 0,
1450  0, 0, 0, 0, 0, 0, 0, -1781,
1451  -1781, -1781, -1781, 0, 0, 0, 0, 0,
1452  0, 0, 0, 0, 0, 0, 0, 0,
1453  0, 0, 0, 0, 0, 0, 0, 0,
1454  5056, 5056, 11157, 5056, 5056, 5056, 5056, 5056,
1455  0, 0, 1918, 8058, 8059, 8060, 4071, 8062,
1456  0, 8037, 8038, 0, 4331, 4332, 4333, 4334,
1457  4335, 4336, 4337, 7335, 7336, 1635, 1636, 1637,
1458  1638, 1639, 1640, 1641, 1642, 1643, 4349, 4350,
1459  4351, 4352, 4353, 4354, 8807, 4356, 4357, 4358,
1460  4359, 4360, 1645, 4362, 4363, 4364, 4365, 32767,
1461  32767, 32767, 32767, 32767, 8912, 8913, 8914, 8915,
1462  8916, 8917, 8918, 8919, 8920, 8921, 8922, 8923,
1463  8924, 8925, 8926, 8927, 4137, 4138, 19498, 4140,
1464  8932, 8933, 4143, 4144, 8936, 4146, 4147, 8937,
1465  8938, 8939, 8940, 8941, 8942, 4154, 4155, 4156,
1466  4157, 4158, 4159, 8949, 4161, 4162, 4163, 8953,
1467  8954, 8955, 8956, 8957, 8958, 8959, 8960, 8961,
1468  8962, 8963, 8964, 8965, 8966, 4174, 4175, 8969,
1469  4177, 8971, 8972, 8973, 8974, 8975, 8976, 4599,
1470  5488, 5489, 4180, 4181, 5491, 5492, 4605, 12502,
1471  12503, 12504, 4609, 4610, 4611, 4612, 4613, 3151,
1472  3152, 3153, 3154, 1667, 3155, 3156, 23090, 3158,
1473  3159, 3160, 3161, 3162, 3163, 3164, 3165, 3166,
1474  3416, 3416, 3169, 3170, 3171, 3172, 3173, 3174,
1475  3175, 3176, 4641, 3177, 3178, 3179, 3180, 3181,
1476  3182, 3183, -2917, 3185, 3186, 3187, 3188, 3189,
1477  8246, 8247, 6330, 191, 4494, 4495, 4496, 188,
1478  8251, 215, 215, 215, 215, 4503, 4504, 4505,
1479  4506, 4507, 4508, 4509, 4510, 4511, 4512, 4513,
1480  4514, 4515, 4516, 4517, 4518, 4519, 4520, 4521,
1481  4522, 4523, 4524, 4525, 4526, 4527, 4528, 4529,
1482  4530, 4531, 4532, 4533, 4534, 4535, 4536, 4537,
1483  4538, 4539, 4540, 4541, 4542, 4543, 10698, 10451,
1484  10452, 4547, 4548, 4549, 1912, 4551, 4552, 4553,
1485  4554, 4555, 0, 32767, 4130, 4130, -11229,4130,
1486  4559, 4560, 4561, 0, 0, 4562, 4563, 4564,
1487  -5799, -5799, -5799, 303, 32767, 4117, 4117, 4117,
1488  4117, 4117, 4117, 2031, 2032, 4574, 4575, 4576,
1489  32767, 32767, 32767, 4577, 4578, 4579, 4580, 4581,
1490  4582, 4583, 32767, 4584, 4585, 4586, 4587, 4588,
1491  4589, 4590, 32767, 32767, 32767, 32767, 32767, 32767,
1492  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1493  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1494  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1495  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1496  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1497  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1498  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1499  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1500  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1501  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1502  0, 0, 0, 0, 32767, 32767, 32767, 32767,
1503  32767, 32767, 32767, 32767, 32767, 0, 32767, 32767,
1504  32767, 32767, 32767, 32767, 2034, 4816, 4817, 4818,
1505  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1506  32767, 32767, 32767, 32767, 2035, 32767, 32767, 32767,
1507  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1508  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1509  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1510  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1511  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1512  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1513  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1514  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1515  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1516  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1517  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1518  32767, 32767, 32767, 32767, 32767, 2036, 2037, 2038,
1519  2039, 2040, 2041, 2042, 2043, 2044, 2045, 2046,
1520  2047, 2048, 2049, 2050, 2051, 2052, 2053, 2054,
1521  2055, 2056, 2057, 2058, 2059, 2060, 2061, 2062,
1522  2063, 2064, 2065, 2066, 2067, 32767, 32767, 32767,
1523  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1524  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1525  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1526  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1527  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1528  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1529  32767, 0, 0, 0, 32767, 32767, 32767, 32767,
1530  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1531  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1532  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1533  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1534  -4778, -4778, -4778, 0, 32767, 32767, 32767, 0,
1535  0, 32767, 32767, 32767, 0, 0, 32767, 32767,
1536  -4791, -4791, -4791, -4791, -4791, -4791, -4791, -4791,
1537  -4791, -4791, 0, 0, -15359,0, -4791, -4791,
1538  0, 0, -4791, 0, 0, -4789, -4789, -4789,
1539  -4789, -4789, -4789, 0, 0, 0, 0, 0,
1540  0, -4789, 0, 0, 0, -4789, -4789, -4789,
1541  -4789, -4789, -4789, -4789, 32767, 32767, 32767, 32767,
1542  -4793, -4793, -4793, 0, 0, -4793, 0, -4793,
1543  -4793, 32767, 32767, 32767, 0, 32767, 32767, 32767,
1544  0, 0, 32767, 32767, 32767, 32767, 32767, 32767,
1545  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1546  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1547  32767, 32767, 32767, 0, 0, 0, 32767, 32767,
1548  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1549  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1550  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1551  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1552  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
1553  32767, 2069, 32767, 32767, 32767, 32767, 32767, 32767,
1554  32767, 32767, 32767, 4017, 32767, 32767, 32767, 2070,
1555  2071, 2072, 2073, 2074, 2075, 2076, 2077, 22011,
1556  2079, 2080, 2081, 2082, 2083, 2084, 2085, 2086,
1557  2087, 2337, 2337, 2090, 2091, 2092, 2093, 2094,
1558  2095, 2096, 2097, 2098, 2099, 2100, 2101, 2102,
1559  2103, 2104, 2105, -3995, 2107, 2108, 2109, 2110,
1560  2111, 2112, 2113, 627, 2115, 1486, -5783, -5783,
1561  -5783, 2113, 2113, 2113, -852, 1486, 1486, 1486,
1562  -126, -5791, 5059, 1486, 3571, -16362,-1003, 1486,
1563  -5795, -1004, 1486, 1486, 1486, 1486, -5797, -126,
1564  -5798, 1486, 1486, 1486, 1486, 1486, 1486, 1486,
1565  1486, -1017, -5806, -1017, -2823, -2823, 1486, 2022,
1566  -2821, -2821, -2821, -2821, 2163, -2820, -2820, -2820,
1567  -2820, -5819, 1486, -2820, -2820, -2820, 4876, -2820,
1568  -2820, -5824, -2819, 2178, -2818, -5042, 1488, -2818,
1569  1488, 1488, -2818, 1488, -2817, -2817, -2817, -2817,
1570  -2817, -2817, -1461, -1461, 1488, 0, 0, 0,
1571  0, 0, 0, 0, 0, -19933,0, 0,
1572  0, 0, 0, 0, 0, 0, 0, -249,
1573  -248, 0, 0, 0, 0, 0, 0, 0,
1574  0, 0, 0, 0, 0, 0, 0, 0,
1575  0, 6101, 0, 0, 0, 0, 0, 0,
1576  0, 1487, 0, 630, 7900, 7901, 7902, 7,
1577  8, 9, 2975, 638, 639, 640, 2253, 7919,
1578  -2930, 644, -1440, 18494, 3136, 648, 7930, 3140,
1579  651, 652, 653, 654, 7938, 2268, 7941, 658,
1580  659, 660, 661, 662, 663, 664, 665, 3169,
1581  7959, 3171, 4978, 4979, 671, 136, 4980, 4981,
1582  4982, 4983, 0, 4984, 4985, 4986, 4987, 7987,
1583  683, 4990, 4991, 4992, -2703, 4994, 4995, 8000,
1584  4996, 0, 4997, 7222, 693, 5000, 695, 696,
1585  5003, 698, 5004, 5005, 5006, 5007, 5008, 5009,
1586  3654, 3655, 707, 2196, 2197, 2198, 2199, 2200,
1587  2201, 2202, 2203, 22137, 2205, 2206, 2207, 2208,
1588  2209, 2210, 2211, 2212, 2213, 2463, 2463, 2216,
1589  2217, 2218, 2219, 2220, 2221, 2222, 2223, 2224,
1590  2225, 2226, 2227, 2228, 2229, 2230, 2231, -3869,
1591  2233, 2234, 2235, 2236, 2237, 2238, 2239, 753,
1592  2241, 1612, -5657, -5657, -5657, 2239, 2239, 2239,
1593  -726, 1612, 1612, 1612, 0, -5665, 5185, 1612,
1594  3697, -16236,-877, 1612, -5669, -878, 1612, 1612,
1595  1612, 1612, -5671, 0, -5672, 1612, 1612, 1612,
1596  1612, 1612, 1612, 1612, 1612, -891, -5680, -891,
1597  -2697, -2697, 1612, 5095, 2299, 5097, 2300, 5099,
1598  2301, 5101, 2302, 5103, 2303, 5105, 2304, 5107,
1599  2305, 5109, 2306, 5111, 5112, 2307, 5114, 2308,
1600  32767, 2309, 5117, 5118, 5119, 32767, 5120, 5121,
1601  5498, 2311, 5124, 2312, 2313, 0, 2314, 2315,
1602  5126, 2316, 2317, 5129, 2318, 2319, 5132, 32767,
1603  5133, 5134, 5135, 5136, 5137, 5138, 5139, 5140,
1604  5141, 5142, 5143, 5144, 5145, 5146, 5147, 5148,
1605  5149, 5150, 5151, 5152, 2320, 5154, 5155, 5156,
1606  5157, 1377, 2322, 1378, 2324, 5162, 1379, 1379,
1607  5165, 5166, 5167, 5168, 5169, 5170, 5171, 5172,
1608  5173, 5174, 5175, 5176, 2327, 5178, 2328, 5180,
1609  2329, 5182, 2330, 5184, 2331, 5186, 2332, 5188,
1610  2333, 5190, 2334, 5192, 2335, 5194, 2336, 5196,
1611  2337, 5198, 2338, 5200, 5201, 2339, 5203, 2340,
1612  5205, 1391, 5207, 5208, 5209, 5210, 5211, 5212,
1613  1385, 1385, -4221, -4221, -4221, -1193, 2346, 2347,
1614  5221, 2348, 2349, -3412, -4220, -4220, -4220, -4220,
1615  5229, 5230, 5231, 5232, 5233, 5234, 5235, 5236,
1616  5237, 5238, 5239, 5240, 5241, 5242, 5243, 5244,
1617  5245, 5246, 5247, 5248, 2352, 5250, 5251, 4592,
1618  -2168, -1982, 2356, 5256, 5257, 5258, 2357, 4444,
1619  5261, 5262, 5263, 5264, 5265, 5266, 5267, 5268,
1620  5269, 5270, 5271, 5272, 5273, 5274, 5275, 5276,
1621  5277, 5278, 5279, 5280, 5281, 5282, 5283, 5284,
1622  5285, 5286, 5287, 5288, 5289, 5290, 5291, 5292,
1623  5293, 5294, 5295, 5296, 5297, 5298, 5299, 5300,
1624  5301, 5302, 5303, 5304, 5305, 5306, 32767, 5307,
1625  5308, 5309, 6427, 6428, 6429, 6430, 6431, 6432,
1626  6433, 6434, -3465, -3465, 6439, 6440, 6441, 6442,
1627  6443, 6444, 6445, 6446, -3465, -3465, -3465, -3465,
1628  -3465, -3465, 7724, 2669, 2670, -3430, 2672, 2673,
1629  2674, 2675, 2676, 7733, 7734, -3465, -3465, -3465,
1630  -3465, -3465, 5341, 5342, -291, -291, -291, -291,
1631  7390, -3465, -3465, -3465, -3465, -3465, -3465, -3465,
1632  -3465, -3465, -5246, -5246, -5246, -5246, -3465, -3465,
1633  -3465, -3465, -3465, -3465, -3465, -3465, -3465, -3465,
1634  -3465, -3465, -3465, -3465, -3465, -3465, -3465, -3465,
1635  -3465, -3465, -3465, 1591, 1591, 7692, 1591, 1591,
1636  1591, 1591, 1591, -3465, -3465, -1547, 4593, 4594,
1637  4595, 606, 4597, -3465, 4572, 4573, 4574, 4575,
1638  -3105, 9632, -5502, -5502, -5502, -5502, -4166, -5502,
1639  280, 280, 280, 280, 280, 280, 280, 280,
1640  5428, 5429, 278, 278, 278, 278, 278, 278,
1641  278, 5437, 5438, 5439, 5440, 5441, 5442, 5443,
1642  5444, 5445, 5446, 5447, 5448, 5449, 5450, 5451,
1643  5452, 5453, 5454, 5455, 5456, 5457, 5458, 5459,
1644  5460, 5461, 5462, 5463, 5464, 5465, 5466, 676,
1645  677, 16037, 679, 5471, 5472, 32767, 32767, 5473,
1646  0, 5475, 5476, 5477, 5478, 5479, 5480, 5481,
1647  693, 694, 695, 696, 697, 698, 5488, 700,
1648  701, 702, 5492, 5493, 5494, 5495, 5496, 5497,
1649  5498, 5499, 5500, 5501, 5502, 5503, 5504, 5505,
1650  713, 714, 5508, 716, 5510, 5511, 5512, 5513,
1651  5514, 5515, 1138, 2027, 2028, 719, 720, 2030,
1652  2031, 1144, 9041, 9042, 2477, 2478, 2479, 2480,
1653  2481, 2482, 2483, 2484, 2485, 2486, 2487, 2488,
1654  2489, 2490, 2491, 2492, 5540, 2768, 2768, 2768,
1655  2768, 5547, -2247, 2499, 2500, 2768, 2768, 558,
1656  2768, 2768, 2506, 2507, 2508, 2509, 2510, 2511,
1657  2512, 2513, 8713, 2515, 2516, 2517, 2518, 2519,
1658  2520, 2521, 2522, 2523, 2524, 2525, 2526, 2527,
1659  2528, 2529, 2530, 2531, 2532, 2533, 2534, 2535,
1660  2536, 2537, 5587, 5588, 5589, 5590, 5591, 5592,
1661  5593, 5594, 2538, 0, 0, 0, -1117, -1117,
1662  -1117, -1117, -1117, -1117, -1117, -1117, 8783, 8784,
1663  -1119, -1119, -1119, -1119, -1119, -1119, -1119, -1119,
1664  8793, 8794, 8795, 8796, 8797, 8798, -2390, 2666,
1665  2666, 8767, 2666, 2666, 2666, 2666, 2666, -2390,
1666  -2390, 8810, 8811, 8812, 8813, 8814, 9, 9,
1667  5643, 5644, 5645, 5646, -2034, 8822, 8823, 8824,
1668  8825, 8826, 8827, 8828, 8829, 8830, 10612, 10613,
1669  10614, 10615, 8835, 8836, 8837, 8838, 8839, 8840,
1670  8841, 8842, 8843, 8844, 8845, 8846, 8847, 8848,
1671  8849, 8850, 8851, 8852, 8853, 8854, 8855, 3800,
1672  3801, -2299, 3803, 3804, 3805, 3806, 3807, 8864,
1673  8865, 6948, 809, 809, 809, 4799, 809, 8872,
1674  836, 836, 836, 836, 8517, -4219, 10916, 10917,
1675  10918, 10919, 9584, 10921, 5140, 5141, 5142, 5143,
1676  5144, 5145, 5146, 5147, 0, 0, 5152, 5153,
1677  5154, 5155, 5156, 5157, 5158, 0, 0, 0,
1678  0, 0, 0, 0, 0, 0, 0, 0,
1679  0, 0, 0, 0, 0, 0, 0, 0,
1680  0, 0, 0, 0, 0, 0, 0, 0,
1681  0, 0, 0, 4791, 4791, -10568,4791, 0,
1682  0, 4791, 4791, 0, 5474, 0, 0, 0,
1683  0, 0, 0, 0, 4789, 4789, 4789, 4789,
1684  4789, 4789, 0, 4789, 4789, 4789, 0, 0,
1685  0, 0, 0, 0, 0, 0, 0, 0,
1686  0, 0, 0, 0, 4793, 4793, 0, 4793,
1687  0, 0, 0, 0, 0, 0, 4378, 3490,
1688  3490, 4800, 4800, 3491, 3491, 4379, -3517, -3517,
1689  3049, 3049, 3049, 3049, 3049, 3049, 3049, 3049,
1690  3049, 3049, 3049, 3049, 3049, 3049, 3049, 3049,
1691  2, 2775, 2776, 2777, 2778, 0, 7795, 3050,
1692  3050, 2783, 2784, 4995, 2786, 2787, 3050, 3050,
1693  3050, 3050, 3050, 2793, 2794, 2795, 2796, 2797,
1694  2798, 2799, 2800, 2801, 2802, 2803, 2804, 2805,
1695  2806, 2807, 2808, 2809, 2810, 2811, 2812, 2813,
1696  2814, 2815, 2816, 2817, 2818, 2819, 2820, 2821,
1697  2822, 2823, 2824, 2825, 2826, 2827, 2828, 2829,
1698  2830, 2831, 2832, 2833, 2834, 2835, 2836, 2837,
1699  2838, 2839, 2840, 2841, 2842, 2843, 2844, 2845,
1700  2846, 2847, 2848, 2849, 2850, 2851, 2852, 2853,
1701  2854, 2855, 2856, 2857, 2858, 2859, 2860, 2861,
1702  2862, 2863, 2864, 2865, 2866, 2867, 2868, 2869,
1703  2870, 2871, 2872, 2873, 2874, 2875, 2876, 2877,
1704  2878, 2879, 2880, 2881, 2882, 2883, 2884, 2885,
1705  2886, 2887, 2888, 2889, 2890, 2891, 2892, 2893,
1706  2894, 2895, 2896, 2897, 2898, 2899, 2900, 2901,
1707  2902, 2903, 2904, 2905, 2906, 2907, 2908, 2909,
1708  2910, 2911, 2912, 2913, 2914, 2915, 2916, 2917,
1709  2918, 2919, 2920, 2921, 2922, 883, 884, 885,
1710  2926, 2927, 2928, 2929, 2930, 2931, 2932, 2933,
1711  2934, 2935, 2936, 2937, 2938, 2939, 2940, 2941,
1712  2942, 2943, 2944, 2945, 2946, 2947, 2948, 2949,
1713  2950, 2951, 2952, 2953, 2954, 2955, 2956, 2957,
1714  2958, 2959, 2960, 2961, 2962, 2963, 2964, 2965,
1715  2966, 2967, 2968, 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, 32767, 32767, 32767, 32767,
1725  32767, 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, 4770, 4771,
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, 0,
1737  0, 0, 0, 0, 0, 0, 32767, 0,
1738  0, 0, 0, 0, 0, 0, 0
1739  };
1740 
1741  const unsigned char *k = (const unsigned char *) key;
1742  size_t keylen = 4;
1743  uint32 a = 0;
1744  uint32 b = 1;
1745 
1746  while (keylen--)
1747  {
1748  unsigned char c = *k++;
1749 
1750  a = a * 257 + c;
1751  b = b * 8191 + c;
1752  }
1753  return h[a % 13551] + h[b % 13551];
1754 }
uint32
unsigned int uint32
Definition: c.h:490
int16
signed short int16
Definition: c.h:477
b
int b
Definition: isn.c:70
a
int a
Definition: isn.c:69
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 2712 of file unicode_norm_hashfunc.h.

2713 {
2714  static const int16 h[1883] = {
2715  772, 773, 621, 32767, 32767, 387, 653, 196,
2716  32767, 32767, 855, 463, -19, 651, 32767, 32767,
2717  32767, 364, 32767, 32767, -108, 32767, 32767, 32767,
2718  32767, 0, -568, 32767, 32767, 32767, 0, 0,
2719  0, -103, 364, 0, 210, 732, 0, 0,
2720  -506, 0, 0, 0, 32767, 32767, 0, 32767,
2721  407, -140, 32767, 409, 32767, 772, 0, 86,
2722  842, 934, 32767, 32767, -499, -355, 32767, 32767,
2723  532, 138, 174, -243, 860, 1870, 742, 32767,
2724  32767, 339, 32767, 1290, 0, 32767, 32767, 0,
2725  -449, -1386, 1633, 560, 561, 32767, 1219, 1004,
2726  139, -804, 32767, -179, 141, 579, 1586, 32767,
2727  32767, 32767, 142, 199, 32767, 32767, 143, 0,
2728  32767, 32767, 314, 896, 32767, 32767, 428, 129,
2729  286, -58, 0, 68, 32767, 0, 244, -566,
2730  32767, 32767, 32767, 246, 32767, 32767, 0, 32767,
2731  32767, 271, -108, 928, 32767, 715, 32767, 32767,
2732  -211, -497, 32767, 0, 1055, 1339, 32767, 0,
2733  32767, 32767, -968, -144, 32767, 32767, 248, 32767,
2734  -161, 32767, 32767, 282, 32767, -372, 0, 2,
2735  -137, 1116, 32767, 687, 32767, 459, 913, 0,
2736  461, 879, -816, 443, 32767, 32767, 462, 1089,
2737  32767, 1054, 0, 314, 447, -26, 480, 32767,
2738  64, 0, 0, 112, 32767, 66, 0, 646,
2739  603, 22, -292, 0, 710, 475, 32767, 24,
2740  -781, 32767, 32767, 32767, 281, 307, 32767, 1289,
2741  32767, 0, 1064, -149, 454, 118, 32767, 32767,
2742  0, 32767, -126, 0, 32767, 32767, 858, 32767,
2743  32767, 32767, 1029, 886, 665, 209, 0, 26,
2744  359, 0, 0, -108, -508, -603, 894, 906,
2745  32767, 32767, 14, 0, 0, 534, 984, 876,
2746  32767, -93, 110, -367, 167, 843, 32767, 32767,
2747  -947, -290, 169, 0, 0, 32767, -42, 564,
2748  0, -927, 32767, 817, 32767, 32767, 32767, 110,
2749  0, 32767, 32767, -38, 32767, 32767, -101, 694,
2750  -142, 190, 191, 1288, 32767, -687, 194, -579,
2751  534, -452, 0, -72, 536, 765, 823, 266,
2752  -259, 684, 767, 32767, 654, 32767, 32767, 64,
2753  920, 32767, 32767, 32767, 0, 1653, 0, 0,
2754  32767, 32767, -452, -222, 855, 0, 32767, -1153,
2755  127, 490, 449, 863, 32767, -144, 32767, -379,
2756  545, 32767, 32767, 32767, 530, 32767, 32767, 1331,
2757  611, -612, 332, 545, -73, 0, 604, 201,
2758  32767, -279, 338, 836, 340, 408, 32767, -60,
2759  -358, 32767, 343, 69, 707, 0, -129, 582,
2760  32767, 0, 32767, 96, 392, 490, 639, 157,
2761  -4, 406, 32767, 32767, -571, 1077, 546, 32767,
2762  551, 0, 0, 0, 32767, 32767, 348, 32767,
2763  498, -181, 0, -433, 1057, 260, 0, 32767,
2764  32767, 397, 32767, 816, -130, 32767, 624, 0,
2765  0, 32767, 32767, 32767, 485, 0, 32767, 32767,
2766  32767, 32767, 32767, 0, 32767, 32767, 32767, 1222,
2767  -230, 32767, 797, -538, 32767, 974, 32767, 32767,
2768  831, 70, -658, 145, 0, 147, 0, 32767,
2769  1295, 32767, 0, 0, 895, 0, 0, -385,
2770  491, -287, 32767, -587, 32767, 32767, 32767, 813,
2771  -471, -13, 32767, 32767, 32767, 0, 203, 411,
2772  470, 0, -546, -179, 146, 0, 0, 32767,
2773  -468, 32767, 0, 0, 32767, 32767, 32767, 211,
2774  32767, 32767, 0, 32767, 0, 52, 32767, 0,
2775  32767, 0, 692, 990, 32767, 32767, 32767, 56,
2776  -507, 784, 951, 0, 32767, 0, 697, 32767,
2777  187, 0, 32767, 32767, 430, 1209, 682, 32767,
2778  130, 0, -25, 0, -1006, 0, 32767, 214,
2779  433, 22, 0, -1119, 32767, 285, 32767, 32767,
2780  32767, 216, 32767, 32767, 32767, 217, 527, 32767,
2781  32767, 32767, 829, 485, 419, 717, 620, 731,
2782  32767, 470, 0, -145, -620, 1162, -644, 848,
2783  287, -632, 32767, 32767, 32767, 32767, 381, 32767,
2784  510, 511, -554, -2, 32767, 0, 0, 698,
2785  32767, 32767, 436, 1154, 32767, 463, 32767, 32767,
2786  627, 517, 32767, 32767, 854, 579, 723, 396,
2787  110, -42, 354, 32767, 664, 32767, 32767, 0,
2788  0, 32767, 65, -163, 67, 140, 69, 341,
2789  70, 71, 402, 73, 623, 544, 624, 417,
2790  -1375, 648, 32767, -26, 904, 0, 548, 0,
2791  0, 32767, 32767, 855, 32767, 488, -524, 599,
2792  130, 131, 32767, 32767, 542, -1110, -324, -462,
2793  32767, -405, -440, 0, 0, 629, 850, 0,
2794  741, 257, 258, 32767, 32767, 0, 32767, 923,
2795  0, 32767, 0, 32767, 1559, 32767, 32767, 32767,
2796  671, 32767, 134, 32767, 32767, -336, -104, 576,
2797  577, 829, 32767, 32767, 762, 902, 32767, 0,
2798  32767, 0, 1506, 887, 32767, 636, 601, 2465,
2799  426, 0, 236, 317, 427, 968, 32767, -975,
2800  -559, -343, 341, 32767, 937, 241, 0, 32767,
2801  32767, 547, 32767, 32767, 32767, 32767, 32767, 789,
2802  0, 32767, 32767, 32767, 0, 0, 0, 32767,
2803  -192, 859, 1185, 1153, 69, 32767, 32767, 32767,
2804  -539, 32767, 32767, 0, 32767, 32767, 32767, 32767,
2805  640, 578, 32767, 32767, -766, 32767, 32767, 32767,
2806  32767, 1050, -572, 32767, 32767, 32767, 32767, 1268,
2807  32767, 32767, 32767, 754, 32767, 32767, 1640, 179,
2808  804, 32767, 32767, 32767, 32767, 0, 684, 943,
2809  1006, 32767, 32767, 652, 0, 32767, 1041, 32767,
2810  718, 791, 32767, 274, 697, 32767, 32767, 0,
2811  32767, 32767, 32767, 0, 32767, 32767, 32767, 32767,
2812  32767, 32767, 32767, 32767, 32767, 32767, 32767, 735,
2813  0, 32767, 32767, 32767, 275, 358, 688, 32767,
2814  32767, 32767, 548, -87, 770, 32767, -42, 0,
2815  551, 32767, 691, 222, 32767, 32767, 32767, 32767,
2816  0, 1273, 403, -121, 806, 553, 554, 163,
2817  32767, 32767, 892, 825, 32767, 32767, -490, 32767,
2818  32767, 32767, 32767, 32767, -109, 744, 910, 32767,
2819  91, 32767, 32767, 0, 0, 32767, 32767, 32767,
2820  1521, 50, 701, 32767, 32767, 32767, 32767, 164,
2821  658, 32767, 288, 0, 32767, 0, 51, 0,
2822  32767, 32767, 32767, 32767, 555, 1547, 32767, 32767,
2823  595, 585, 429, 32767, -80, 32767, 1258, 0,
2824  540, 486, -434, 865, 0, 192, 0, 884,
2825  0, 0, 0, 175, 555, 0, 32767, 32767,
2826  0, 32767, -566, 866, 591, 32767, 32767, 32767,
2827  32767, 32767, 496, 495, -215, 32767, 849, -772,
2828  32767, 32767, 502, 178, 483, 32767, 912, 793,
2829  794, 0, 32767, 32767, 32767, -556, 499, 838,
2830  32767, 32767, -506, 331, 0, 0, -1096, 512,
2831  880, 0, 774, -338, 649, 32767, 270, 32767,
2832  32767, -624, 328, 459, 32767, 32767, 32767, 32767,
2833  329, -201, -835, 813, -879, 560, 0, -212,
2834  -114, 35, -494, 37, 523, 653, 751, -653,
2835  -743, 32767, 1356, 818, 32767, 32767, 856, 0,
2836  44, 902, 0, 0, 0, 0, 32767, -26,
2837  526, 795, 456, 32767, 104, -209, -341, 133,
2838  -372, 0, 45, 110, 111, 0, 511, 47,
2839  114, 32767, 32767, 93, 48, 116, -1031, -279,
2840  32767, 192, 0, 32767, 453, 415, 0, -190,
2841  32767, 471, 240, 175, 29, 665, 684, 0,
2842  -11, -95, -344, 32767, 245, 148, 0, 530,
2843  0, 1185, -615, -712, 693, 784, 32767, 0,
2844  -776, 32767, 32767, -813, 0, 0, 0, 207,
2845  208, 32767, 674, 32767, 742, -289, 249, 32767,
2846  520, 929, -50, 781, 0, -778, 32767, 0,
2847  302, 32767, 720, -465, 0, 32767, 32767, 32767,
2848  0, 0, 32767, 833, 328, 806, 32767, -403,
2849  0, 32767, -77, 32767, 0, 441, 930, 32767,
2850  643, 0, 32767, 1938, 0, 1334, 381, 32767,
2851  216, 32767, 32767, 0, 32767, 484, 383, 0,
2852  242, 395, 0, 32767, 32767, 32767, -781, 355,
2853  356, 32767, 292, 706, 32767, 32767, 32767, 32767,
2854  32767, -410, 32767, 32767, 782, 32767, 189, 32767,
2855  32767, 943, 0, -212, 407, 335, 0, 135,
2856  32767, 616, 0, -497, 0, -67, 853, 32767,
2857  700, 32767, 0, 32767, 32767, 32767, 32767, 32767,
2858  32767, 32767, 0, 459, -48, 32767, 58, 0,
2859  -856, 1017, 32767, 59, 916, -731, 32767, 940,
2860  -855, 347, 650, 0, 678, 32767, 0, 32767,
2861  32767, 530, 32767, 0, -80, 32767, -730, 32767,
2862  1214, 799, 58, 651, 841, 0, 0, -589,
2863  -1530, -478, 651, 652, 93, 576, -1215, 32767,
2864  125, 32767, 1279, 32767, 32767, 0, 32767, 0,
2865  -367, 416, -1236, 32767, 418, 32767, 815, 558,
2866  559, 781, 419, 32767, 739, 32767, 0, 32767,
2867  128, 570, 1349, -298, -66, 0, 147, -488,
2868  32767, 590, 189, 274, 524, 32767, 1082, -209,
2869  32767, 423, 32767, 32767, 975, 573, 32767, 424,
2870  32767, 32767, 1241, 32767, 32767, 32767, 32767, 32767,
2871  612, 391, 32767, 0, -803, 1004, -561, 32767,
2872  32767, 735, 870, 32767, 0, 32767, 32767, -123,
2873  99, 210, 600, 1294, 109, 1053, 32767, 307,
2874  834, 32767, 0, 1651, 32767, 644, 32767, 32767,
2875  0, 32767, -801, 385, 379, 32767, -368, 32767,
2876  32767, 830, 0, 32767, 32767, 739, 371, 372,
2877  -275, 32767, 32767, 331, -780, 32767, 0, 1229,
2878  -1462, 913, 266, 827, 125, 32767, 32767, 32767,
2879  393, 32767, 631, -33, -883, -661, -204, 6,
2880  -19, 257, 8, 9, 118, 519, 615, -541,
2881  -893, 0, 32767, 0, 1156, 15, 900, 32767,
2882  32767, 32767, 32767, 32767, 32767, 1022, 376, 0,
2883  32767, 32767, -972, 676, 840, -661, 631, 58,
2884  0, 17, 32767, 0, -799, 82, 0, 32767,
2885  32767, 680, 32767, 905, 0, 0, 32767, 32767,
2886  0, 0, 32767, 0, 828, 386, 802, 0,
2887  146, 0, 148, 32767, -1146, 0, 150, 151,
2888  -743, 153, 154, 32767, 32767, 442, 32767, 743,
2889  0, 0, 746, 0, 32767, 32767, 32767, 98,
2890  32767, 157, 0, 696, 0, 32767, 32767, -294,
2891  32767, 158, 159, 32767, 0, 32767, 160, 32767,
2892  933, 32767, 32767, -50, 759, 824, 162, 672,
2893  32767, 356, 0, 356, 32767, 32767, 0, 0,
2894  656, 692, 253, 254, -374, 102, 256, 32767,
2895  0, 0, 32767, 32767, 259, 32767, 63, 260,
2896  510, 261, 32767, 0, 32767, 1061, 32767, 521,
2897  32767, 32767, 32767, 32767, 32767, 32767, 316, 317,
2898  846, 0, 32767, -500, 318, 0, 32767, 32767,
2899  263, 0, 790, 872, 32767, 32767, 32767, 2171,
2900  264, 32767, 32767, 32767, 32767, 486, 334, 465,
2901  32767, 466, 32767, 444, 606, 32767, 0, 445,
2902  320, -317, 0, 520, 322, 718, 32767, 32767,
2903  32767, 0, 1013, 32767, 32767, 32767, 32767, 32767,
2904  32767, 611, 32767, 0, 0, 32767, 32767, -120,
2905  156, 613, 0, 0, 32767, -68, 32767, 622,
2906  32767, 32767, 32767, 32767, 32767, 455, 32767, 32767,
2907  32767, 403, 533, 0, -161, 405, 95, 96,
2908  32767, 97, 32767, 0, 29, 0, 32767, 32767,
2909  30, 32767, 99, 32767, 32767, 0, 161, 32767,
2910  97, 0, 32, 32767, 32767, 0, 0, 315,
2911  32767, 32767, 414, 966, 0, 585, 32767, 32767,
2912  -616, -256, 171, 172, 666, 101, 562, 563,
2913  32767, 95, 0, 0, 1492, 390, -251, 103,
2914  32767, 0, 32767, 188, 1487, 32767, 0, 0,
2915  586, 668, -126, 0, 0, 32767, 32767, 204,
2916  32767, 32767, 32767, 32767, 32767, 32767, 32767, 32767,
2917  32767, 32767, 32767, 32767, 32767, 656, 32767, 32767,
2918  599, 0, 222, 32767, 0, 1368, -412, 435,
2919  32767, 936, 32767, -17, 32767, 832, 32767, 437,
2920  0, -518, 787, 32767, 864, -449, 0, 636,
2921  713, 206, 592, 572, 0, 483, -139, 32767,
2922  32767, 180, 818, 32767, 32767, 1304, 0, 32767,
2923  274, 0, 0, 0, 0, 705, 32767, 32767,
2924  32767, 0, -272, 0, 502, 503, 319, 0,
2925  32767, 0, 13, 32767, 32767, 0, 32767, 270,
2926  737, 0, 32767, 32767, 32767, 901, 32767, 616,
2927  180, 32767, 721, 353, 32767, 0, 32767, 32767,
2928  -199, 0, 280, 788, 32767, 940, 32767, 51,
2929  0, 400, 53, 0, 54, -637, 0, -453,
2930  0, 0, 0, 380, 0, 32767, 504, 0,
2931  2049, 0, -964, 32767, 0, 32767, 32767, 32767,
2932  32767, 32767, 32767, 798, 32767, 32767, 32767, 0,
2933  538, 488, 0, 32767, -528, 57, 819, 32767,
2934  32767, 1244, 0, 488, 739, 908, 32767, 32767,
2935  0, 32767, 32767, 0, 55, 533, 0, 32767,
2936  814, 0, 32767, 458, 0, 32767, 32767, 32767,
2937  32767, 32767, 32767, 32767, 776, 777, 920, 0,
2938  0, 755, 32767, 0, 32767, 32767, 0, 32767,
2939  55, -954, 0, 372, 166, 218, 165, 857,
2940  221, 675, 0, 223, 224, -155, 226, 32767,
2941  1851, 227, 32767, 32767, 1192, 0, 229, 0,
2942  -72, 0, 865, 0, 0, -330, 0, 683,
2943  32767, -550, -196, 725, -573, 293, 102, 32767,
2944  -589, 296, 297, 298, 231, -256, 300, 32767,
2945  32767, 301, 233, 868, 32767, 234, 0, 811,
2946  1187, 32767, 32767, 0, 32767, 518, 0, 361,
2947  362, 466, 0, 365, 32767, -179, 366, 367,
2948  874, 369, 305, 0, 32767, 0, 32767, 0,
2949  32767, 2000, 1215, 451, 652, 0, 0, 799,
2950  32767, 32767, 32767
2951  };
2952 
2953  const unsigned char *k = (const unsigned char *) key;
2954  size_t keylen = 8;
2955  uint32 a = 0;
2956  uint32 b = 0;
2957 
2958  while (keylen--)
2959  {
2960  unsigned char c = *k++;
2961 
2962  a = a * 257 + c;
2963  b = b * 17 + c;
2964  }
2965  return h[a % 1883] + h[b % 1883];
2966 }

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

Variable Documentation

◆ RecompInverseLookup

const uint16 RecompInverseLookup[941]
static

Definition at line 1765 of file unicode_norm_hashfunc.h.

◆ UnicodeDecompInfo

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

Definition at line 1757 of file unicode_norm_hashfunc.h.

Referenced by get_code_entry().

◆ UnicodeRecompInfo

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

Definition at line 2969 of file unicode_norm_hashfunc.h.

Referenced by recompose_code().