288401baec9fd642ef77b547ab075476e9be1954
[libav.git] / libavcodec / dcadata.h
1 /*
2 * DCA compatible decoder data
3 * Copyright (C) 2004 Gildas Bazin
4 * Copyright (c) 2006 Benjamin Larsson
5 *
6 * This file is part of FFmpeg.
7 *
8 * FFmpeg is free software; you can redistribute it and/or
9 * modify it under the terms of the GNU Lesser General Public
10 * License as published by the Free Software Foundation; either
11 * version 2.1 of the License, or (at your option) any later version.
12 *
13 * FFmpeg is distributed in the hope that it will be useful,
14 * but WITHOUT ANY WARRANTY; without even the implied warranty of
15 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 * Lesser General Public License for more details.
17 *
18 * You should have received a copy of the GNU Lesser General Public
19 * License along with FFmpeg; if not, write to the Free Software
20 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
21 */
22
23 /**
24 * @file dcadata.c
25 */
26
27 #include <stdint.h>
28
29 /* Generic tables */
30
31 static const uint32_t dca_sample_rates[16] =
32 {
33 0, 8000, 16000, 32000, 0, 0, 11025, 22050, 44100, 0, 0,
34 12000, 24000, 48000, 96000, 192000
35 };
36
37 static const uint32_t dca_bit_rates[32] =
38 {
39 32000, 56000, 64000, 96000, 112000, 128000,
40 192000, 224000, 256000, 320000, 384000,
41 448000, 512000, 576000, 640000, 768000,
42 896000, 1024000, 1152000, 1280000, 1344000,
43 1408000, 1411200, 1472000, 1536000, 1920000,
44 2048000, 3072000, 3840000, 1/*open*/, 2/*variable*/, 3/*lossless*/
45 };
46
47 static const uint8_t dca_channels[16] =
48 {
49 1, 2, 2, 2, 2, 3, 3, 4, 4, 5, 6, 6, 6, 7, 8, 8
50 };
51
52 static const uint8_t dca_bits_per_sample[7] =
53 {
54 16, 16, 20, 20, 0, 24, 24
55 };
56
57
58 /* Adpcm data */
59
60 /* 16bits signed fractional Q13 binary codes */
61 static const int16_t adpcm_vb[4096][4] =
62 {
63 { 9928, -2618, -1093, -1263 },
64 { 11077, -2876, -1747, -308 },
65 { 10503, -1082, -1426, -1167 },
66 { 9337, -2403, -1495, 274 },
67 { 10698, -2529, -532, -1122 },
68 { 10368, -3974, -1264, -750 },
69 { 10070, -3667, 346, 863 },
70 { 10278, -3093, 311, -576 },
71 { 9894, -1330, -1428, -860 },
72 { 10544, -1923, -1058, -971 },
73 { 10996, -1632, -841, -1404 },
74 { 11832, -3465, 1658, -1990 },
75 { 10852, -688, -2658, -499 },
76 { 10546, -1749, -147, -1733 },
77 { 10801, -1004, -708, -1453 },
78 { 10588, -441, -2113, -952 },
79 { 10141, -3331, -582, -1432 },
80 { 9608, -2590, 383, 258 },
81 { 11422, -3265, 229, -1544 },
82 { 10460, -1338, -713, -1568 },
83 { 10306, -1721, -1660, -603 },
84 { 9580, -1812, -1235, -1061 },
85 { 11471, -2285, -1617, -607 },
86 { 10081, -2225, -1408, -868 },
87 { 10715, -2624, -1367, -704 },
88 { 10616, -1871, -2770, -35 },
89 { 9352, -2340, -1024, -1566 },
90 { 11065, -1458, -1926, -735 },
91 { 11334, -2056, -1041, -1144 },
92 { 9825, -2048, -794, -1536 },
93 { 11850, -2695, -1123, -867 },
94 { 10654, -2226, -1891, -373 },
95 { 10024, -1557, -808, -1069 },
96 { 11142, -1266, -3238, 128 },
97 { 11729, -3282, -514, -1011 },
98 { 11402, -2094, -2335, -189 },
99 { 10195, -3658, 181, -1875 },
100 { 11431, -2626, -404, -1377 },
101 { 11001, -3868, -619, -1077 },
102 { 10894, -2559, 274, -1758 },
103 { 9633, -1482, -2253, -773 },
104 { 11245, -3321, 830, -1972 },
105 { 9768, -2701, -199, -1859 },
106 { 10500, -2042, 525, -2043 },
107 { 11669, -4069, 293, -1468 },
108 { 9192, -1991, -583, -61 },
109 { 10057, -3220, -2015, -473 },
110 { 9497, -2315, -2490, -467 },
111 { 10455, -3069, -1194, -1007 },
112 { 9994, -1936, -60, -1225 },
113 { 9295, -2156, -1761, -1134 },
114 { 10085, -3748, -1026, 197 },
115 { 9334, -2360, 804, -351 },
116 { 11561, -2553, 1352, -2313 },
117 { 12837, -3998, 1195, -1958 },
118 { 10114, -1100, -2414, -394 },
119 { 9341, -2530, 315, 755 },
120 { 10131, -3164, 1411, -674 },
121 { 9535, -905, -1551, 579 },
122 { 11717, -1519, -3051, 91 },
123 { 9824, -2911, -2775, 192 },
124 { 9662, -2934, -561, 1450 },
125 { 11085, -3392, -1298, -659 },
126 { 8955, -2102, -1899, 703 },
127 { 8607, -1742, -4348, 814 },
128 { 7640, -2063, -3617, 52 },
129 { 7074, -826, -4325, 4375 },
130 { 7714, 584, -4238, 1927 },
131 { 6355, -952, -4912, 3127 },
132 { 7069, -660, -6413, 4087 },
133 { 8313, -132, -2964, -876 },
134 { 6952, -1422, -3962, -24 },
135 { 9299, -734, -3088, -263 },
136 { 9484, -574, -4513, 466 },
137 { 7246, -91, -3735, -704 },
138 { 8325, -1417, -3090, -530 },
139 { 6469, -1226, -4757, 829 },
140 { 6652, -368, -5682, 1393 },
141 { 7971, -1278, -2284, 1205 },
142 { 7229, -699, -3556, 1840 },
143 { 7994, 1284, -2729, 732 },
144 { 9005, -698, -4522, 2189 },
145 { 6963, 197, -2727, 380 },
146 { 8527, 135, -3991, -213 },
147 { 8840, 934, -3014, -567 },
148 { 10125, 418, -3284, -371 },
149 { 6367, 361, -2318, 2554 },
150 { 7892, 172, -5247, 4673 },
151 { 6674, 387, -5424, 4398 },
152 { 6240, 684, -4047, 1219 },
153 { 11170, -794, -5081, 1195 },
154 { 11765, -648, -6265, 2052 },
155 { 10845, -775, -3837, 366 },
156 { 12496, -689, -8260, 3562 },
157 { 7893, -1166, -4972, 988 },
158 { 8592, 1052, -5986, 3087 },
159 { 7277, 1874, -5685, 3579 },
160 { 6900, 2016, -4809, 3491 },
161 { 8530, -2405, -3250, 1986 },
162 { 9426, 494, -7067, 5038 },
163 { 10285, 564, -8210, 5370 },
164 { 8749, -2207, -3980, 2852 },
165 { 9653, -2686, -4300, 1400 },
166 { 9770, -2286, -5663, 4233 },
167 { 8490, -4, -7048, 4496 },
168 { 7697, -1209, -5328, 3183 },
169 { 6451, 801, -4324, -554 },
170 { 7387, 1806, -5265, 545 },
171 { 7450, -2302, -4445, 1418 },
172 { 8817, -1370, -5827, 2168 },
173 { 10324, -2406, -5629, 2579 },
174 { 8863, -2578, -3537, 467 },
175 { 6901, -1624, -3169, 3392 },
176 { 7846, 156, -6948, 3381 },
177 { 7928, -1115, -5972, 4816 },
178 { 6089, -599, -4368, -320 },
179 { 7833, 1246, -3960, -621 },
180 { 8931, 2521, -6768, 2052 },
181 { 8900, 1944, -4126, 40 },
182 { 7661, -34, -2855, 2480 },
183 { 5873, 474, -3262, 3712 },
184 { 7535, -234, -4699, 216 },
185 { 5856, 143, -5142, 73 },
186 { 8944, -106, -5874, 3663 },
187 { 7134, 426, -5879, 2895 },
188 { 10199, 1011, -4762, 369 },
189 { 8454, 264, -5971, 1291 },
190 { 7822, -2449, -4333, 4540 },
191 { 6200, -2758, -2632, 1497 },
192 { 6070, -4315, -2699, 414 },
193 { 7047, -3739, -3210, 1060 },
194 { 5675, -3801, -2717, -407 },
195 { 4789, -4063, -2628, -744 },
196 { 4023, -3366, -3133, -726 },
197 { 4296, -2407, -3381, -513 },
198 { 4388, -2931, -2820, 1512 },
199 { 4559, -4233, -1941, 1976 },
200 { 6702, -3208, -1755, 1680 },
201 { 4416, -3521, -1052, 2984 },
202 { 7154, -4266, -1203, 3732 },
203 { 3625, -4242, -3244, 1395 },
204 { 6518, -2856, -1304, 2887 },
205 { 6170, -1949, -3014, 3973 },
206 { 5189, -2451, -4020, 3477 },
207 { 6218, -2988, -1921, 3844 },
208 { 4827, -3688, -1928, 3343 },
209 { 6668, -3991, -2805, 3095 },
210 { 5297, -3115, -3684, 2390 },
211 { 5354, -4614, -2662, 1504 },
212 { 4196, -3091, -4147, 1135 },
213 { 3540, -2893, -4007, 100 },
214 { 5569, -1602, -4007, 1909 },
215 { 4341, -2091, -4272, 252 },
216 { 5559, -2878, -3832, 498 },
217 { 4548, -4479, -2898, -27 },
218 { 5176, -2494, -4635, 1476 },
219 { 3294, -3485, -3738, 716 },
220 { 4920, -1229, -4195, -365 },
221 { 3257, -3518, -3349, 2862 },
222 { 5286, -1948, -3485, -778 },
223 { 6502, -3051, -152, 2854 },
224 { 5864, -4192, -1076, 3451 },
225 { 4656, -3122, -3448, 179 },
226 { 5907, -754, -1596, 3116 },
227 { 7229, -3680, -1590, 2892 },
228 { 5107, -3888, -3364, 806 },
229 { 6764, -2635, -3450, 134 },
230 { 5258, -2827, -2844, -1052 },
231 { 5798, -1725, -4305, 205 },
232 { 5404, -1213, -3362, 449 },
233 { 6224, -2738, -3046, -581 },
234 { 4223, -2438, -2725, 3745 },
235 { 4751, -3411, -2123, 116 },
236 { 3868, -3000, -3954, 2297 },
237 { 6819, -2899, -4277, 2825 },
238 { 4207, -4754, -2808, 865 },
239 { 4804, -1494, -1997, 4688 },
240 { 5282, -2213, -548, 3559 },
241 { 5580, -1912, -566, 4370 },
242 { 6168, -2857, -672, 4053 },
243 { 6583, -4515, -2850, 1670 },
244 { 6511, -3093, -3988, 1421 },
245 { 4646, -1790, -1443, 3650 },
246 { 5915, -924, -2020, 896 },
247 { 7814, -4181, -3152, 2007 },
248 { 6190, -2238, -4817, 2279 },
249 { 4737, -4034, -3288, 1835 },
250 { 8161, -3633, -3423, 3137 },
251 { 7415, -2351, -2088, 4290 },
252 { 4106, -2517, -62, 2905 },
253 { 4909, -3145, -614, 4112 },
254 { 4938, -3281, -397, 1100 },
255 { -173, 919, 1589, -5363 },
256 { -13, 796, -295, -6655 },
257 { -1860, -829, 1141, -4555 },
258 { 2298, -838, -664, -5005 },
259 { -884, -1097, 2074, -4613 },
260 { -101, 281, 2846, -4535 },
261 { 1166, 453, 2429, -5910 },
262 { 879, -664, 2370, -5452 },
263 { 1415, -370, -1699, -4727 },
264 { -1413, 1277, -669, -6649 },
265 { 2133, 304, -968, -4624 },
266 { 380, 586, -2087, -4892 },
267 { 1336, 275, -82, -5789 },
268 { -2459, 1057, -34, -5416 },
269 { 2278, -1758, 866, -5653 },
270 { 1945, -2295, -149, -5302 },
271 { 1287, -3525, 996, -5255 },
272 { 2297, 803, 1177, -6067 },
273 { 187, -180, -619, -6202 },
274 { -793, -2537, 1554, -5057 },
275 { -2703, -204, -629, -5853 },
276 { -1007, -146, 313, -5582 },
277 { 830, 357, 869, -6363 },
278 { -228, -575, -3177, -4433 },
279 { -1001, -1553, -142, -5708 },
280 { -1644, 1683, 1721, -4533 },
281 { 893, 1924, -15, -5791 },
282 { 2195, 2061, -262, -5471 },
283 { 3031, 270, 311, -5096 },
284 { 1912, 1638, -1523, -4677 },
285 { -3142, -55, 253, -4914 },
286 { 356, -1680, 343, -6123 },
287 { -2241, -1734, -976, -5939 },
288 { -2196, -2893, 547, -4938 },
289 { -1245, 126, -1916, -5419 },
290 { -249, -3755, -1422, -5594 },
291 { 575, -2683, -1926, -4566 },
292 { -762, 1885, 192, -5880 },
293 { -811, -2562, -1068, -6013 },
294 { -2264, -3086, -976, -4775 },
295 { 70, -1215, 2880, -4410 },
296 { 714, -3760, 2916, -4691 },
297 { -244, -3404, 1740, -4493 },
298 { 684, -5137, -328, -5608 },
299 { -529, -3825, -1786, -4535 },
300 { -713, -4743, -1118, -5546 },
301 { 2718, -3788, 1798, -5708 },
302 { -1639, -3679, -1564, -6095 },
303 { 1693, -2642, -1389, -4539 },
304 { 505, -1573, -1651, -4878 },
305 { -835, -2256, -1941, -5352 },
306 { 1464, -411, 1993, -6441 },
307 { 493, -3184, -145, -6148 },
308 { -1413, 499, -1617, -6479 },
309 { -294, 1722, -1419, -5725 },
310 { -2937, -1528, -175, -4624 },
311 { -594, -5911, -56, -6146 },
312 { -300, -4275, 1156, -5947 },
313 { 552, -2643, 2669, -3959 },
314 { 905, -4158, 1789, -5809 },
315 { 1336, -2009, 2108, -5903 },
316 { 1555, -3600, 1110, -6759 },
317 { -1294, -3464, 77, -6084 },
318 { -1139, -4006, -1270, -4181 },
319 { -5094, -3296, 1092, -2847 },
320 { -5503, -2883, 1984, -2067 },
321 { -4671, -4218, -1417, -4132 },
322 { -3763, -3818, 1262, -3082 },
323 { -5132, -3430, 2928, -728 },
324 { -5957, -2877, 1251, -2446 },
325 { -4425, -2319, -212, -4276 },
326 { -6201, -1993, 1774, -2182 },
327 { -5500, -3836, 2201, -1396 },
328 { -6934, -2334, 2366, -1293 },
329 { -6124, -4140, 1337, -1977 },
330 { -6553, -4186, 1756, -1325 },
331 { -5126, -1258, 744, -3656 },
332 { -5167, -1390, 1581, -2895 },
333 { -4525, -3398, 2429, -1865 },
334 { -4076, -3183, 2027, -2510 },
335 { -6191, -3274, 1838, -1814 },
336 { -4454, -2753, 2723, -1185 },
337 { -6655, -4797, 251, -2595 },
338 { -6332, -2232, 1832, 217 },
339 { -5869, -1698, 134, 340 },
340 { -6614, -1045, 2126, -1932 },
341 { -4859, -2107, 2010, -2435 },
342 { -6274, -1622, 2808, -1374 },
343 { -3119, -3209, 521, -3988 },
344 { -5676, -2082, -420, -2711 },
345 { -7073, -3623, 696, -2343 },
346 { -5986, -4224, 572, -2454 },
347 { -4340, -4521, 882, -2771 },
348 { -6178, -1933, 535, -1444 },
349 { -4923, -4163, 1744, -2066 },
350 { -6410, -1519, 1058, -2683 },
351 { -5077, -1185, 856, -2216 },
352 { -7091, -2444, 687, -2597 },
353 { -5284, -2165, 3239, -993 },
354 { -4763, -1497, 197, -3179 },
355 { -4128, -4958, -396, -3578 },
356 { -5054, -3878, -647, -2672 },
357 { -7005, -3348, 1679, -1579 },
358 { -5767, -1017, 2582, -1915 },
359 { -7069, -2787, 1331, -2070 },
360 { -5532, -2296, 706, -2950 },
361 { -5059, -3543, -821, -3637 },
362 { -6639, -1835, 1016, -696 },
363 { -5611, -5220, -694, -3371 },
364 { -5994, -2803, 2933, -729 },
365 { -5948, -619, 1596, -2676 },
366 { -5486, -4419, 153, -3265 },
367 { -4329, -3440, 1646, -1439 },
368 { -4083, -3978, 177, -3569 },
369 { -4289, -2599, 1224, -3075 },
370 { -5707, -3253, 1912, -759 },
371 { -6606, -3437, 2562, -571 },
372 { -5254, -2444, 769, -352 },
373 { -6545, -3154, 582, -1103 },
374 { -5328, -2241, 2566, -1775 },
375 { -7216, -1936, 1538, -1983 },
376 { -3730, -2451, 426, -3869 },
377 { -5110, -1385, 2031, -1169 },
378 { -6470, -2715, 269, -3123 },
379 { -5806, -2480, -97, -3832 },
380 { -3683, -4916, -490, -4330 },
381 { -6341, -2083, -669, -115 },
382 { -4913, -4079, -837, -4673 },
383 { -3274, -2497, 2334, -2652 },
384 { -1286, -1731, 2550, -3756 },
385 { -3375, -877, 926, -3977 },
386 { -2525, -2079, 2879, -2625 },
387 { -5308, -504, 3111, -1607 },
388 { -4904, 460, 4093, -1232 },
389 { -1993, 1616, 4656, -1913 },
390 { -3481, -1176, 3119, -2236 },
391 { -4132, -1502, 2339, -2545 },
392 { -2542, 1151, 3569, -2550 },
393 { -4381, 430, 3147, -2082 },
394 { -3888, 867, 3899, -1657 },
395 { -2861, 1290, 4202, -1979 },
396 { -3893, -253, 2363, -2764 },
397 { -1705, 688, 3827, -2923 },
398 { -2223, 2312, 3700, -3148 },
399 { -1986, -720, 5021, -795 },
400 { -3177, 242, 1952, -3352 },
401 { -1854, 1509, 2528, -3815 },
402 { -3173, 97, 5019, -706 },
403 { -2689, -145, 1375, -3915 },
404 { -4838, -385, 2488, -2427 },
405 { -4557, -355, 1603, -3060 },
406 { -3522, 1832, 3292, -2674 },
407 { -3769, 780, 2378, -2704 },
408 { -4323, -1932, 3414, -1169 },
409 { -2740, 1158, 2729, -3273 },
410 { -3647, 210, 1464, -2892 },
411 { -2342, -2097, 1513, -3727 },
412 { -4422, -1242, 3130, -1833 },
413 { -1308, -1039, 4290, -1875 },
414 { -1754, -2535, 3298, -2314 },
415 { -4102, -186, 4037, -1094 },
416 { -1008, 1570, 3290, 171 },
417 { -3322, -2621, 2791, -1536 },
418 { -2539, -2597, 3442, -1672 },
419 { -3411, -2015, 3670, -1174 },
420 { -2097, 730, 5581, -1399 },
421 { -1510, -74, 4820, -2004 },
422 { -4086, -868, 4425, -771 },
423 { -956, -986, 3640, -2925 },
424 { -2087, -1250, 3464, -2458 },
425 { -3308, -2411, 1334, -3667 },
426 { -2264, -389, 4004, -1854 },
427 { -680, 239, 4058, -3388 },
428 { -1357, 30, 2993, -3658 },
429 { -3601, -552, 1177, -1136 },
430 { -2641, 442, 4374, -1625 },
431 { -2525, 770, 1640, -3895 },
432 { -3172, -891, 3893, -1608 },
433 { -2996, 13, 3277, -2414 },
434 { -899, 1055, 4470, -2501 },
435 { -422, -584, 3475, -3787 },
436 { -1978, -593, 2566, -3415 },
437 { -3150, -1280, 2362, -3047 },
438 { -3592, 224, 1026, -3932 },
439 { -4840, -1189, 3633, -879 },
440 { -3952, -2255, 2916, -1826 },
441 { -1695, 28, 1810, -349 },
442 { -745, -2484, 3308, -3293 },
443 { -1016, 1563, 5365, -1823 },
444 { -2172, -1787, 4266, -1287 },
445 { -1241, -1951, 3982, -2413 },
446 { -2009, -2639, 2330, -3480 },
447 { 5105, -1618, -2588, -2015 },
448 { 6497, -1523, -3218, -910 },
449 { 6526, -2305, -2029, -1790 },
450 { 5289, -99, -3436, -400 },
451 { 5781, -1623, -1577, -2617 },
452 { 5259, -670, -3125, -1700 },
453 { 6343, -1256, -331, -3222 },
454 { 7967, -678, -2195, -1462 },
455 { 6119, -695, -2988, -1538 },
456 { 6108, 494, -3359, -1548 },
457 { 5067, 969, -2328, -2707 },
458 { 7595, -435, -1497, -2056 },
459 { 6929, -719, -2420, -1665 },
460 { 5190, 584, -2982, -2103 },
461 { 6106, -444, -1411, -2739 },
462 { 5584, 289, -1804, -2803 },
463 { 5276, 227, -1180, -3361 },
464 { 7544, -1525, -1834, -1725 },
465 { 5986, -1470, -2606, -1701 },
466 { 5096, -765, -1712, -3006 },
467 { 5423, -149, -3933, -1157 },
468 { 7651, 26, -2445, -1507 },
469 { 4745, -464, -1735, -2362 },
470 { 5352, -1011, -1094, -1999 },
471 { 6300, -672, -542, -1950 },
472 { 6675, -1020, -1318, -1059 },
473 { 7218, -2036, -603, -2462 },
474 { 7755, -1514, -2430, -1229 },
475 { 5041, 449, -1056, -2405 },
476 { 6710, -2277, -1344, -2284 },
477 { 6824, -1347, -2254, 251 },
478 { 6068, -1857, -983, -1316 },
479 { 5603, -2177, -2730, -1477 },
480 { 5838, -1059, -3604, -970 },
481 { 5076, -789, -335, -2413 },
482 { 6191, -1634, -2000, -2129 },
483 { 5092, -1292, -2543, -1034 },
484 { 5305, 435, -1710, -1850 },
485 { 6140, 561, -2176, -2380 },
486 { 6752, 348, -2496, -1890 },
487 { 6405, 273, -1098, -2778 },
488 { 6942, -1340, -496, -1381 },
489 { 5238, -687, -2454, -2349 },
490 { 6959, -882, -1833, -2061 },
491 { 6292, -253, -2125, -2199 },
492 { 5838, -574, -759, -3215 },
493 { 6954, -1484, -640, -2771 },
494 { 7498, -1706, -1210, -2154 },
495 { 6772, -1003, -1235, -2532 },
496 { 6014, 228, -2154, -1108 },
497 { 6943, -2178, -2644, -1122 },
498 { 7262, -763, -3056, -1090 },
499 { 6273, -1478, -1072, 177 },
500 { 4734, 425, -2912, 357 },
501 { 7129, 168, -1537, -2327 },
502 { 7204, -434, -746, -2660 },
503 { 6879, 57, -3087, -1310 },
504 { 4623, -610, -718, -3459 },
505 { 6565, -543, -1998, -339 },
506 { 4752, -277, -2066, -1405 },
507 { 7435, -1416, -1904, -505 },
508 { 4076, 150, -1222, -3556 },
509 { 7082, -28, -1456, -1174 },
510 { 5941, -446, -1326, -1158 },
511 { 3870, -1648, -2474, -2589 },
512 { 858, 37, -3387, -3721 },
513 { 3557, -1503, -1664, -3383 },
514 { 3336, -1972, -3079, -2216 },
515 { 3186, 60, -4185, -863 },
516 { 3456, -773, -3066, -2457 },
517 { 4131, -913, -2060, -2601 },
518 { 4431, -691, -4114, -972 },
519 { 3461, -334, -3680, -1751 },
520 { 2006, -459, -2214, -3827 },
521 { 1322, 32, -2816, -3203 },
522 { 4425, -1897, -2791, -1946 },
523 { 4504, 23, -3421, -1909 },
524 { 3090, -885, -2366, -3264 },
525 { 3209, -2363, -3730, -834 },
526 { 3312, -1471, -3641, -1579 },
527 { 4184, -1669, -3323, -1248 },
528 { 2190, -931, -3302, -2944 },
529 { 2947, -229, -4791, -1195 },
530 { 2020, -1626, -2700, -3125 },
531 { 2214, -326, -4352, -1683 },
532 { 3286, -2619, -2412, -2458 },
533 { 1000, -2571, -4129, -2158 },
534 { 2496, -2627, -3611, -1433 },
535 { 2043, -2191, -2167, -3827 },
536 { 2571, -2544, -1915, -3222 },
537 { 2022, -1501, -3856, -2165 },
538 { 2685, -1180, -1461, -4038 },
539 { 1610, -2313, -4391, -1173 },
540 { 2340, -2490, -4215, -516 },
541 { 1742, -2615, -3632, -2146 },
542 { 523, -1293, -4246, -2442 },
543 { 3725, -2723, -3014, -1576 },
544 { 3554, -1381, -4200, -824 },
545 { 1291, -1594, -4777, -1430 },
546 { 1452, 515, -2960, -3830 },
547 { 4264, -894, -3305, -1826 },
548 { 2606, -1452, -4522, -966 },
549 { 1196, -830, -4807, -1816 },
550 { 1054, -775, -2616, -4071 },
551 { 4206, 415, -4344, -1132 },
552 { 3044, 491, -4126, -1934 },
553 { 988, -901, -3353, -3443 },
554 { 1729, -3063, -2267, -3370 },
555 { 3915, 912, -2989, -2387 },
556 { 3781, 300, -2457, -3050 },
557 { 2712, 924, -1350, -1206 },
558 { 4230, 405, -2343, 665 },
559 { 1878, -873, -225, -29 },
560 { 3510, 56, -1334, -3420 },
561 { 2850, 1447, -2651, -3150 },
562 { 1510, -706, -4125, -2483 },
563 { 3115, 793, -1692, -3894 },
564 { 2667, 213, -2973, -2786 },
565 { 1184, -2384, -3051, -3173 },
566 { 2139, 796, -2079, -3697 },
567 { 1464, -1483, -3726, -2754 },
568 { 2407, -1148, -3915, -1569 },
569 { 2612, -1779, -3217, -2271 },
570 { 2406, -2870, -2937, -2496 },
571 { 2140, 126, -3646, -2758 },
572 { 2952, -1036, 268, -1423 },
573 { 93, -1931, -3841, -3535 },
574 { 389, -2953, -3383, -3343 },
575 { 8652, -5511, -1662, 565 },
576 { 7427, -2791, -2535, -842 },
577 { 8541, -4253, -1407, -988 },
578 { 8018, -3203, -2998, 105 },
579 { 7231, -3926, -958, 1308 },
580 { 7331, -3690, -363, 2586 },
581 { 6803, -3646, -2226, -903 },
582 { 8163, -2811, -477, -2235 },
583 { 9356, -3818, -1685, -684 },
584 { 8466, -2854, -302, -698 },
585 { 8458, -3224, 517, 279 },
586 { 8074, -2619, -1326, 2596 },
587 { 8779, -2761, -2527, -441 },
588 { 6533, -2887, -899, -696 },
589 { 7394, -2305, -1642, -120 },
590 { 8281, -3780, -22, 1305 },
591 { 9158, -4413, -779, 901 },
592 { 9031, -5240, -1109, 1678 },
593 { 8717, -3650, 410, -1075 },
594 { 7317, -3197, -818, -2264 },
595 { 7934, -2385, -1214, -1886 },
596 { 8256, -4441, -291, -587 },
597 { 7358, -3395, 1090, -270 },
598 { 9446, -4910, -1343, -473 },
599 { 8187, -4726, -808, 1166 },
600 { 7504, -3845, -47, 267 },
601 { 8029, -2146, -1283, -383 },
602 { 7461, -2705, -853, 783 },
603 { 9367, -3636, -645, -354 },
604 { 8955, -3473, -308, -1947 },
605 { 8676, -2683, -2099, 1485 },
606 { 7481, -3003, -871, -444 },
607 { 8015, -2839, -1673, 1175 },
608 { 6947, -4643, -1527, -1047 },
609 { 7622, -2575, -137, -960 },
610 { 9388, -4279, -707, -1322 },
611 { 8382, -5259, -1283, -565 },
612 { 6856, -4138, -1030, 630 },
613 { 8659, -2571, -1124, -1666 },
614 { 8763, -3807, -537, 2543 },
615 { 8049, -3578, -2186, -604 },
616 { 8272, -2351, -1985, -1214 },
617 { 6855, -3796, -1527, -1631 },
618 { 7178, -2896, -1600, -1756 },
619 { 7040, -2888, -89, -1586 },
620 { 6261, -3403, -264, 998 },
621 { 7756, -4699, -1543, -834 },
622 { 7682, -4622, -758, -1721 },
623 { 8839, -4232, -2932, 1959 },
624 { 9363, -4679, -1956, 39 },
625 { 7883, -3616, -1414, -1432 },
626 { 8828, -3188, -1356, -1312 },
627 { 7746, -3987, -121, -2424 },
628 { 9262, -3256, -693, 818 },
629 { 7670, -3420, -148, 3504 },
630 { 7344, -3183, 608, 1595 },
631 { 8976, -4139, -1848, 1304 },
632 { 6708, -4131, 33, -852 },
633 { 7840, -4429, -2275, 79 },
634 { 8980, -3858, -2838, 453 },
635 { 7815, -4604, -2563, 944 },
636 { 8372, -4422, -1783, 3071 },
637 { 8623, -5128, -1754, 2888 },
638 { 7462, -3281, 889, 920 },
639 { 8416, -59, -1320, -1825 },
640 { 7928, -1488, -414, -2499 },
641 { 8110, -977, -1047, -2042 },
642 { 8278, -687, -1597, -1550 },
643 { 7988, -174, -977, -2106 },
644 { 8609, -1547, -1628, -1527 },
645 { 9000, -1798, -946, -1761 },
646 { 8954, -872, -1404, -1594 },
647 { 8939, 466, -748, -1212 },
648 { 9549, -329, -177, -1360 },
649 { 9411, -18, -1126, -1568 },
650 { 8859, -782, -488, -1338 },
651 { 8955, -218, -43, -1209 },
652 { 9131, -69, -453, -1001 },
653 { 9069, -1519, -1091, -1199 },
654 { 9247, -1309, -566, -1146 },
655 { 8528, -1617, -287, -1313 },
656 { 7763, -745, -149, -2040 },
657 { 8294, -343, 257, -2633 },
658 { 10149, -893, -552, -1649 },
659 { 9398, -915, 218, -2042 },
660 { 9703, -1194, -675, -1592 },
661 { 9586, -700, -427, -1710 },
662 { 8930, 497, -1445, -1218 },
663 { 9285, -1323, -163, -1552 },
664 { 8431, -1289, -985, -1404 },
665 { 8965, -655, 653, -1483 },
666 { 9542, -1001, -951, -1128 },
667 { 9205, -647, -37, -882 },
668 { 8603, -56, 514, -1793 },
669 { 9300, -12, -1324, -567 },
670 { 8773, 238, -184, -1456 },
671 { 9941, -1306, -69, -1792 },
672 { 9360, 279, -376, -1919 },
673 { 9180, -285, 95, -2170 },
674 { 9922, -501, -970, -1570 },
675 { 8341, -1493, -856, -2092 },
676 { 8780, -981, -850, -1014 },
677 { 9721, -548, -1504, -1094 },
678 { 9973, -1493, 482, -2105 },
679 { 8707, -333, -1027, -1087 },
680 { 9098, -469, -315, -1723 },
681 { 8879, -1050, -661, -2020 },
682 { 8857, 602, -866, -1918 },
683 { 8945, -1025, -2154, -1071 },
684 { 8484, -1930, -468, -2179 },
685 { 9177, -1903, -224, -2112 },
686 { 8652, -137, -2097, -1214 },
687 { 9063, -973, -1405, -772 },
688 { 9328, -456, 662, -2469 },
689 { 10101, -697, 127, -2113 },
690 { 9685, 811, -2359, -1024 },
691 { 8586, -94, -460, -1982 },
692 { 7924, -141, -509, -2513 },
693 { 7773, -669, -107, -2835 },
694 { 8636, -1064, -46, -2409 },
695 { 9748, 596, -1815, -1349 },
696 { 8924, 304, 547, -2614 },
697 { 9442, 746, -1153, -1679 },
698 { 9454, -278, -529, -1976 },
699 { 8488, 561, -32, -2160 },
700 { 10083, -63, -1544, -1364 },
701 { 9390, -1278, 568, -1131 },
702 { 9740, -49, -2253, -910 },
703 { 3636, -2391, -1115, -3614 },
704 { 6014, -3204, -1902, -1808 },
705 { 5787, -3497, -1116, -2590 },
706 { 4365, -3046, -1632, -2668 },
707 { 4733, -2192, -2029, -2468 },
708 { 5412, -2753, -1633, -2464 },
709 { 4455, -3375, -767, -3399 },
710 { 4456, -1644, -983, -2841 },
711 { 4039, -2523, 38, -3967 },
712 { 3406, -2662, 72, -4757 },
713 { 4279, -2005, 1055, -4399 },
714 { 4321, -1377, -860, -3786 },
715 { 3743, -5739, -651, -3047 },
716 { 3528, -5510, 361, -4060 },
717 { 6496, -4886, -136, -2689 },
718 { 4513, -5254, 551, -4010 },
719 { 6557, -3413, -92, -3063 },
720 { 4186, -2059, 187, 47 },
721 { 6210, -4117, -1256, -1985 },
722 { 6038, -4343, 351, -2124 },
723 { 4305, -4780, -2077, -1897 },
724 { 4480, -3815, -2228, -1533 },
725 { 5582, -3689, 1221, -3429 },
726 { 5532, -4874, 1195, -2765 },
727 { 6518, -2853, -905, -2568 },
728 { 5467, -2192, 470, -4115 },
729 { 4139, -1577, 240, -3493 },
730 { 5281, -1926, -729, -3340 },
731 { 5214, -2870, 1359, -4289 },
732 { 3046, -3510, -1536, -3214 },
733 { 5433, -2881, -1230, -1184 },
734 { 4861, -3932, -1071, -2791 },
735 { 5693, -4234, -1906, -1502 },
736 { 4004, -3935, -1804, -2383 },
737 { 3728, -3792, 681, -4773 },
738 { 3621, -3030, -1951, -2598 },
739 { 5133, -3903, 44, -3700 },
740 { 3561, -3451, 1183, -5301 },
741 { 5026, -2762, -2341, -1780 },
742 { 5841, -2492, -467, -3210 },
743 { 5591, -1791, 497, -2472 },
744 { 5054, -3898, -1822, -2097 },
745 { 5813, -2792, 83, -1469 },
746 { 4432, -4497, 1670, -5193 },
747 { 5338, -4653, -1109, -2200 },
748 { 3239, -4401, -648, -3655 },
749 { 2147, -3598, -1200, -4242 },
750 { 4417, -2271, -1552, -3210 },
751 { 6494, -4360, 852, -3565 },
752 { 2393, -6358, -856, -4524 },
753 { 4959, -4196, -847, -1403 },
754 { 4924, -5438, -226, -3026 },
755 { 4254, -5303, -1306, -2424 },
756 { 4121, -3126, -2334, -1981 },
757 { 3437, -4443, -1464, -2953 },
758 { 3203, -3459, -529, -4339 },
759 { 5896, -5945, 543, -3246 },
760 { 1987, -4733, -220, -4863 },
761 { 4358, -4431, -514, -3081 },
762 { 4583, -2416, -492, -2287 },
763 { 2943, -5035, 419, -4927 },
764 { 5358, -5129, 987, -4309 },
765 { 4460, -3392, 1752, -5634 },
766 { 3415, -4633, 1507, -5945 },
767 { 811, -4692, -445, 2333 },
768 { 1009, -5613, -1857, 1360 },
769 { 1338, -2712, -2720, 3036 },
770 { 1002, -3754, -2582, 2344 },
771 { 750, -4608, -2334, 714 },
772 { 2043, -3207, -2822, 2173 },
773 { -140, -4654, -2953, 357 },
774 { -54, -4026, -2376, 2695 },
775 { 1858, -5022, -717, 2287 },
776 { 2064, -3894, -722, 3255 },
777 { 2727, -4558, -332, 2603 },
778 { 1810, -5378, 283, 1826 },
779 { 3935, -4326, 762, 3383 },
780 { -767, -4697, -2510, 1922 },
781 { 2146, -4312, -3090, 1641 },
782 { 54, -5881, -2114, 921 },
783 { 1992, -5766, -640, 1574 },
784 { 1200, -5371, -1114, 1828 },
785 { 2973, -5337, 34, 2266 },
786 { 1531, -5018, -2817, 1192 },
787 { 3078, -4570, 117, 1990 },
788 { 924, -4286, -1388, 2713 },
789 { 142, -5058, -2848, 1487 },
790 { -106, -6180, -881, 842 },
791 { 673, -5433, -229, 1596 },
792 { 783, -5710, -2784, 562 },
793 { 1935, -5729, -2009, 856 },
794 { -410, -3375, -3326, 2734 },
795 { 234, -3000, -2628, 3260 },
796 { 733, -3405, -3806, 1589 },
797 { 771, -4285, -3544, 1314 },
798 { 1192, -3563, -3960, 2178 },
799 { 206, -5555, -1250, 1546 },
800 { -130, -3815, -1210, 3041 },
801 { 646, -3940, -393, 2992 },
802 { -184, -4931, -1767, 1925 },
803 { 2746, -5120, -2275, 1464 },
804 { 2440, -3731, -3352, 2729 },
805 { -490, -4942, -3779, 997 },
806 { 68, -2636, -4167, 3778 },
807 { 48, -3986, -4118, 2106 },
808 { -978, -5486, -1336, 1390 },
809 { 1126, -5297, -855, 640 },
810 { -472, -3975, -3622, 1557 },
811 { 2456, -5344, -1523, 1648 },
812 { -774, -5652, -2417, 1147 },
813 { 995, -6122, -812, 1132 },
814 { 3282, -4571, -1763, 2175 },
815 { 3655, -3862, -676, 3568 },
816 { 3038, -3647, -1672, 3381 },
817 { 2595, -2964, -2772, 3263 },
818 { 4176, -3353, -1148, 4354 },
819 { 1603, -3442, -1500, 3444 },
820 { 828, -6226, -1783, 678 },
821 { 1421, -3333, -3080, 3403 },
822 { 1121, -4727, -1924, 1984 },
823 { -186, -5083, -682, 1796 },
824 { 819, -2778, -3488, 530 },
825 { 421, -2873, -3832, 2596 },
826 { 2164, -4263, -1605, 2282 },
827 { 585, -4437, -682, -491 },
828 { -644, -4452, -1157, 2325 },
829 { 1991, -4299, 210, 2834 },
830 { 2135, -3632, -2113, 665 },
831 { -7482, -2724, -2662, -1380 },
832 { -6983, -2166, -3756, -3509 },
833 { -7085, -1439, -2397, -3112 },
834 { -7760, -3049, -3319, -2822 },
835 { -8413, -2760, -4406, -3298 },
836 { -5995, -3943, -1260, -3750 },
837 { -7879, -1554, -3464, -2606 },
838 { -6314, -2034, -3878, -1681 },
839 { -8849, -2084, -1399, -1231 },
840 { -7153, -2602, -1384, -817 },
841 { -8041, -2571, -407, -2785 },
842 { -7246, -2233, -1578, 260 },
843 { -7336, -3883, -4061, -1342 },
844 { -7619, -3908, -2342, 382 },
845 { -8684, -3724, -1662, -727 },
846 { -7850, -2922, -1770, -3449 },
847 { -6766, -2034, -1293, -1988 },
848 { -6895, -2116, -968, -3744 },
849 { -7136, -5147, -2618, -2809 },
850 { -8224, -3724, -2519, -1589 },
851 { -6711, -2750, -3021, -219 },
852 { -8059, -1638, -1102, -3175 },
853 { -8710, -4839, -3963, -3143 },
854 { -9363, -4965, -3257, -1002 },
855 { -6099, -1751, -3157, -395 },
856 { -6453, -3216, -4597, -483 },
857 { -7879, -5477, -839, -2638 },
858 { -7202, -4038, -526, -2856 },
859 { -8022, -1228, -1910, -1646 },
860 { -9117, -1393, -1582, -2535 },
861 { -9095, -2693, -636, -2605 },
862 { -9076, -2580, -3481, -2519 },
863 { -8327, -4859, -2422, 83 },
864 { -8368, -2129, -2324, -2173 },
865 { -8554, -4563, -3842, -2007 },
866 { -10462, -4261, -1934, -2084 },
867 { -9717, -3187, -2294, -1896 },
868 { -9625, -3889, -3020, -3224 },
869 { -9857, -4955, -4239, -2184 },
870 { -9752, -2351, -2277, -3129 },
871 { -7219, -1302, -2639, -1603 },
872 { -7477, -4360, -3718, -559 },
873 { -5680, -2033, -2326, -3078 },
874 { -10190, -5548, -4643, -3601 },
875 { -9431, -4121, -879, -2479 },
876 { -8365, -5450, -2020, -1439 },
877 { -6289, -5178, -1605, -3845 },
878 { -8319, -3866, -687, -2792 },
879 { -8131, -1031, -3608, -3947 },
880 { -10510, -2560, -1199, -2082 },
881 { -11015, -3640, -2748, -3041 },
882 { -8762, -5022, -5231, -1162 },
883 { -10153, -2715, -4648, -4859 },
884 { -7930, -5205, -1900, -3600 },
885 { -9561, -3548, -4812, -3722 },
886 { -7663, -4709, -1180, -1475 },
887 { -9073, -5707, -1815, -2980 },
888 { -8602, -2363, -2675, -3770 },
889 { -9967, -5614, -3575, -3838 },
890 { -8324, -1005, -2131, -3254 },
891 { -10331, -5737, -2550, -2940 },
892 { -8234, -3354, -3361, -4479 },
893 { -8140, -1951, -4526, -4545 },
894 { -6679, -2662, -2284, -4182 },
895 { -1122, -1514, -6427, -212 },
896 { 54, -1660, -5424, -1404 },
897 { 254, -2778, -5222, 846 },
898 { -267, -1661, -6577, 814 },
899 { -305, -2021, -5759, 1484 },
900 { -1791, -2446, -6867, -86 },
901 { -2929, -3158, -6603, -1799 },
902 { -1391, -3189, -5557, -1053 },
903 { -1602, -884, -6767, -1213 },
904 { -361, -318, -6219, -44 },
905 { -4078, -2635, -5523, -433 },
906 { -956, 478, -4382, 1470 },
907 { -3300, -2462, -6021, -2721 },
908 { 708, -2434, -5085, -540 },
909 { -2435, -3607, -5647, -2110 },
910 { -491, -1134, -4681, -2886 },
911 { 87, -3435, -4641, -1194 },
912 { -586, -2927, -4784, 366 },
913 { -1394, -2326, -6021, 350 },
914 { 97, -2519, -4678, -2120 },
915 { -1547, -1907, -5069, -2993 },
916 { 268, -3724, -4719, 127 },
917 { -827, -1190, -5912, 1144 },
918 { -3959, -2322, -6898, -1974 },
919 { -2728, -2228, -6426, -562 },
920 { -456, -666, -5785, -1609 },
921 { 531, -1096, -5731, -656 },
922 { -3569, -688, -3915, 110 },
923 { -4752, -1725, -4393, -377 },
924 { -3210, -3315, -6960, -840 },
925 { -688, -3416, -4971, 1221 },
926 { -1833, 77, -6491, -2434 },
927 { -239, -255, -6850, -886 },
928 { -2112, -1490, -6291, -2689 },
929 { -1544, -4579, -5198, -1261 },
930 { -2771, -4014, -5520, 683 },
931 { -1635, -2829, -5512, 1214 },
932 { -958, -2582, -4823, 2360 },
933 { -2077, -4566, -4642, 365 },
934 { -3112, -4214, -5960, -823 },
935 { -2467, -2510, -4858, 1467 },
936 { -1561, -3399, -5822, 211 },
937 { -775, -1081, -4424, 2636 },
938 { -1263, 25, -6378, -1392 },
939 { -3476, -366, -5417, -1393 },
940 { -3176, -1476, -4149, 1466 },
941 { -2479, 518, -4448, -257 },
942 { -2992, 158, -4660, -1279 },
943 { -1320, -3872, -4479, 1147 },
944 { -1475, -312, -5318, 539 },
945 { -3527, -1679, -5860, -1681 },
946 { -3397, -3438, -5593, 1866 },
947 { -4089, -2439, -4763, 1275 },
948 { -748, -4513, -4687, -48 },
949 { -2166, -4531, -4691, -2856 },
950 { -2385, -853, -6035, -627 },
951 { -1194, -4091, -4472, -1963 },
952 { -682, -3234, -4084, -3033 },
953 { -3255, -5015, -5328, -12 },
954 { -2313, -3436, -4601, -155 },
955 { -2792, -1038, -6947, -2019 },
956 { -1244, -1526, -5771, -1882 },
957 { -4679, -3731, -5506, 283 },
958 { -3062, -66, -3558, -758 },
959 { -4895, -1187, 4751, 3728 },
960 { -7600, -2752, 3320, 4613 },
961 { -5703, -2975, 3944, 2659 },
962 { -4972, -1257, -246, 2952 },
963 { -4221, -2487, 1702, 4295 },
964 { -2900, -1529, 2458, 4935 },
965 { -5061, 407, 2416, 4050 },
966 { -6931, -3478, 2761, 2213 },
967 { -6037, -3921, 3192, 1866 },
968 { -6113, -811, 2407, 3782 },
969 { -5878, -1716, 1207, 3478 },
970 { -5953, -2853, 2207, 2712 },
971 { -6807, -3223, 2749, 3595 },
972 { -3272, -3157, 1389, 3788 },
973 { -5368, -1904, 1980, 5077 },
974 { -7235, -1398, 3075, 4548 },
975 { -4765, -3487, 2755, 2796 },
976 { -7658, -4435, 2694, 2582 },
977 { -6997, -4282, 456, 3832 },
978 { -5563, -3115, -63, 3713 },
979 { -4244, -4220, 1450, 2767 },
980 { -3801, -2194, 190, 4303 },
981 { -5458, -4119, 1958, 2274 },
982 { -7300, -3469, 3514, 3193 },
983 { -4594, -2067, 775, 4752 },
984 { -3389, -1654, 1464, 5412 },
985 { -4845, -3483, 964, 3437 },
986 { -6007, -2818, 1666, 4659 },
987 { -8709, -5007, 1757, 3287 },
988 { -5833, -4389, 1025, 3171 },
989 { -5788, -1780, 3944, 3661 },
990 { -4430, -920, 1938, 4753 },
991 { -7066, -1857, 4591, 4538 },
992 { -3549, -513, 1427, 5317 },
993 { -7517, -1220, 2883, 3049 },
994 { -7605, -2687, 1874, 2735 },
995 { -8718, -4035, 2676, 3730 },
996 { -7990, -3907, 1185, 2607 },
997 { -6058, -1744, 3349, 5157 },
998 { -5954, 565, 3161, 3250 },
999 { -6478, -612, 1930, 2271 },
1000 { -6535, -1445, -2, 1618 },
1001 { -8963, -4151, 1192, 4044 },
1002 { -7227, -3570, 1600, 4234 },
1003 { -4674, 79, 595, 3015 },
1004 { -3974, 430, 2727, 5137 },
1005 { -5299, 9, 3714, 4779 },
1006 { -6779, -2699, -8, 2436 },
1007 { -7016, -1145, 1293, 2310 },
1008 { -6955, -3312, 1534, 1801 },
1009 { -4025, 740, 1850, 4054 },
1010 { -9589, -3460, 4154, 5270 },
1011 { -4404, -1181, 4298, 5173 },
1012 { -7356, -4583, -18, 2644 },
1013 { -6516, -1235, 4439, 6234 },
1014 { -3453, -301, 4344, 4464 },
1015 { -4643, 1530, 3315, 4340 },
1016 { -4575, -2557, 3754, 3682 },
1017 { -3643, -3501, 2051, 2997 },
1018 { -5412, -2475, 2301, 1579 },
1019 { -5846, 259, 1360, 2348 },
1020 { -5258, -1358, 1050, 838 },
1021 { -5542, -219, 6377, 5750 },
1022 { -5713, -2952, 922, 899 },
1023 { -2049, -1135, 5206, 1033 },
1024 { -1693, -1886, 4835, -106 },
1025 { -2344, -3504, 4232, -13 },
1026 { -2475, -2334, 5043, 1126 },
1027 { -787, -2549, 3880, 2138 },
1028 { -3159, -2341, 4830, 2887 },
1029 { -1780, -1009, 6240, 2061 },
1030 { -4327, -3363, 2818, 886 },
1031 { -3376, -2743, 4104, 207 },
1032 { -3250, -4640, 2718, 1498 },
1033 { -382, -1075, 4382, 3460 },
1034 { -2416, -4168, 3530, 816 },
1035 { -1756, -2708, 4861, 622 },
1036 { -1879, -2097, 5156, 2889 },
1037 { -2496, -2418, 3722, 2671 },
1038 { -2717, -3252, 3341, 1944 },
1039 { -4063, -4091, 3306, 267 },
1040 { -3549, -3808, 3747, 842 },
1041 { -2635, 546, 5794, 1894 },
1042 { -1857, -1121, 4383, 3964 },
1043 { -2226, -2166, 3489, 3678 },
1044 { -3492, -660, 5323, 1063 },
1045 { -3033, -3130, 4382, 1828 },
1046 { -2703, -625, 6369, 2851 },
1047 { -1656, -2842, 4584, -528 },
1048 { -4781, -2622, 4390, 2097 },
1049 { -413, -2045, 5081, 3035 },
1050 { -3810, -2662, 4532, 1095 },
1051 { -3144, -1858, 5215, 1880 },
1052 { -3562, -1795, 4928, 670 },
1053 { -4800, -1509, 5189, 1859 },
1054 { -1085, -3832, 4169, 900 },
1055 { -1969, -3270, 2857, 2878 },
1056 { -4267, -4140, 3176, 1805 },
1057 { -5145, -3727, 3524, 1168 },
1058 { -1346, -1876, 5501, 1748 },
1059 { -4998, -2945, 3699, 338 },
1060 { -3458, -3096, 3406, -635 },
1061 { -1751, -3209, 3508, 395 },
1062 { -2507, 170, 5987, 705 },
1063 { -3756, -1072, 5647, 3536 },
1064 { -2870, -1439, 5026, 3212 },
1065 { -3913, -3225, 3669, 2144 },
1066 { -3739, 226, 5747, 764 },
1067 { -2052, -820, 5266, 3093 },
1068 { -3214, -3820, 2409, 2391 },
1069 { -4398, -2588, 3501, -218 },
1070 { -4484, -1763, 4180, -198 },
1071 { -3368, -1525, 4362, -134 },
1072 { -2407, 224, 4905, 3533 },
1073 { -1369, -2937, 4728, 1788 },
1074 { -4848, -1707, 4159, 851 },
1075 { -3454, -1749, 4281, 3230 },
1076 { -1990, -3853, 3487, 1735 },
1077 { -3117, 92, 6155, 4075 },
1078 { -2676, -2472, 4078, -589 },
1079 { -1547, -2012, 2626, 1835 },
1080 { -4275, -588, 4824, 725 },
1081 { -601, -2249, 3736, 3548 },
1082 { -4060, -61, 5333, 3097 },
1083 { -4303, 7, 6551, 3054 },
1084 { -5003, -1029, 5786, 3319 },
1085 { -2810, -728, 5392, 199 },
1086 { -1232, -200, 5228, 3121 },
1087 { 2621, 165, -6255, 298 },
1088 { 3669, 537, -6844, 1564 },
1089 { 1598, -1190, -6235, 2523 },
1090 { 2164, -32, -6894, 1383 },
1091 { 853, -1597, -6069, 1449 },
1092 { 1377, -1661, -5266, 108 },
1093 { 2660, 48, -5172, -517 },
1094 { 1903, -391, -5677, 1010 },
1095 { 3792, 206, -5274, -11 },
1096 { 1239, 2776, -2929, 2721 },
1097 { 4071, 149, -7259, 3125 },
1098 { 1436, -480, -6156, -196 },
1099 { 1373, -1960, -5005, 3122 },
1100 { 3413, -1271, -5176, 3283 },
1101 { 3060, -68, -6495, 2238 },
1102 { 2700, -2075, -4681, 91 },
1103 { 2928, -1728, -5168, 1858 },
1104 { 4424, 828, -4471, 88 },
1105 { 2672, -2604, -4038, 2753 },
1106 { 5223, -123, -6749, 2295 },
1107 { 4237, -420, -5538, 1353 },
1108 { 4744, -1281, -4097, 4708 },
1109 { 1103, -2764, -4751, 2024 },
1110 { 3747, -1913, -3911, 3960 },
1111 { 2470, -1416, -5542, 615 },
1112 { 4847, -1354, -5334, 1733 },
1113 { 5336, 88, -7593, 4007 },
1114 { 2388, -2880, -4807, 1037 },
1115 { 4495, 1391, -5685, -139 },
1116 { 5253, 1637, -6450, 1533 },
1117 { 1199, 795, -5515, 1261 },
1118 { 1397, -1259, -4252, 3838 },
1119 { 746, 70, -6640, 604 },
1120 { 1584, 166, -4972, 3072 },
1121 { 380, -999, -5397, 2267 },
1122 { 2974, 1707, -3242, 5360 },
1123 { 5202, -403, -5453, 2832 },
1124 { 3718, -1731, -4760, 714 },
1125 { 4150, -975, -4792, 61 },
1126 { 2925, -818, -4841, 15 },
1127 { 5301, 577, -4006, 3259 },
1128 { 5265, 1986, -5679, 3028 },
1129 { 3752, 1928, -4509, 3729 },
1130 { 3278, 1925, -6370, 1247 },
1131 { 5107, 1721, -4853, 3127 },
1132 { 3279, 2982, -2515, 4005 },
1133 { 4622, 668, -6204, 759 },
1134 { 6034, 317, -5763, 4818 },
1135 { -558, 57, -3785, 2817 },
1136 { 4476, 1616, -3965, 4536 },
1137 { 5953, 2056, -8215, 2715 },
1138 { 4387, 2613, -7463, 868 },
1139 { 5834, 1088, -4736, 4924 },
1140 { 6473, -856, -6991, 4172 },
1141 { 4959, -293, -5162, 76 },
1142 { 2731, -843, -6119, 3847 },
1143 { 3245, 1202, -6833, 616 },
1144 { 2553, 1383, -3829, 3859 },
1145 { 4332, 2099, -3480, 3622 },
1146 { 2110, 2683, -2728, 3990 },
1147 { 876, 1167, -3290, 3466 },
1148 { 3991, 1709, -2410, 4077 },
1149 { 5105, 939, -2584, 3256 },
1150 { 4719, 688, -1566, 3040 },
1151 { -3632, 4335, 1266, -3303 },
1152 { -4956, 3207, 1312, -2806 },
1153 { -4669, 2627, 2663, -2435 },
1154 { -4282, 3708, 2303, -3038 },
1155 { -4536, 2297, -175, -3350 },
1156 { -5234, 2503, -139, -880 },
1157 { -3978, 1512, 1092, -3619 },
1158 { -4519, 4649, 1363, -2455 },
1159 { -5118, 3132, 1961, -1577 },
1160 { -5196, 3379, -182, -1378 },
1161 { -6420, 4486, 2397, -1993 },
1162 { -5030, 5046, 1292, -1118 },
1163 { -4559, 2573, -927, -1406 },
1164 { -3501, 3730, 691, -4930 },
1165 { -4364, 2758, 1007, -3909 },
1166 { -4026, 2839, -1559, -2340 },
1167 { -5037, 4053, 836, -1571 },
1168 { -4727, 5136, 1110, -3588 },
1169 { -5245, 2799, -999, -2164 },
1170 { -4954, 1501, 422, -3963 },
1171 { -5994, 2726, 1462, -2833 },
1172 { -5621, 5159, 2038, -2512 },
1173 { -4991, 2291, 1917, -3151 },
1174 { -5469, 4382, -148, -2978 },
1175 { -5858, 1983, 807, -2720 },
1176 { -4709, 3556, 952, -467 },
1177 { -2489, 2362, 1714, -4230 },
1178 { -4717, 5004, -1180, -3672 },
1179 { -5914, 3653, 1359, -1317 },
1180 { -5506, 2995, 780, -1059 },
1181 { -5287, 3945, 2480, -2293 },
1182 { -3849, 4358, 322, -1770 },
1183 { -3911, 3570, 252, -3185 },
1184 { -3660, 5128, 158, -3719 },
1185 { -4599, 3277, -503, -2727 },
1186 { -3673, 3760, -1252, -3339 },
1187 { -5161, 2337, 388, -1943 },
1188 { -3529, 2216, 2156, -3080 },
1189 { -4309, 4331, 1808, -1460 },
1190 { -4782, 3820, 480, -2504 },
1191 { -4166, 3544, -378, -1567 },
1192 { -5572, 2466, -418, -2909 },
1193 { -6096, 2930, 119, -1878 },
1194 { -5963, 3554, 1011, -2233 },
1195 { -6433, 4335, 935, -2930 },
1196 { -5004, 3314, -1352, -3430 },
1197 { -6042, 3463, -1008, -3940 },
1198 { -4671, 2214, -640, -5040 },
1199 { -2795, 3759, 1412, -3803 },
1200 { -3647, 4436, 729, -515 },
1201 { -3594, 1033, 56, -4148 },
1202 { -2908, 3027, 2889, -3485 },
1203 { -3338, 2234, 313, -4285 },
1204 { -3825, 4497, -561, -2634 },
1205 { -6167, 3012, -48, -3149 },
1206 { -4828, 3515, -969, -4475 },
1207 { -5789, 2757, -539, -4173 },
1208 { -2452, 3067, 564, -4249 },
1209 { -4921, 1358, 1331, -2889 },
1210 { -3127, 4239, -1045, -1523 },
1211 { -4780, 2326, -1118, -3446 },
1212 { -3908, 5546, 152, -2622 },
1213 { -6972, 2976, 337, -2809 },
1214 { -4839, 4613, -35, -4077 },
1215 { -1408, 4822, -1149, -4997 },
1216 { -981, 4979, -912, -6304 },
1217 { -2098, 5689, -888, -2878 },
1218 { -3343, 4814, -657, -4434 },
1219 { -2461, 3601, -967, -4869 },
1220 { -2652, 3944, 87, -5520 },
1221 { -1104, 6076, 174, -6407 },
1222 { 355, 5370, -1721, -5869 },
1223 { 1242, 4497, -1107, -5091 },
1224 { -89, 4002, -1491, -5182 },
1225 { 1059, 5693, -1591, -4905 },
1226 { 1323, 4682, -2078, -4768 },
1227 { 818, 3996, -549, -5468 },
1228 { -287, 4529, 929, -5543 },
1229 { -919, 5519, -2791, -2844 },
1230 { -1407, 5679, -3289, -3974 },
1231 { -189, 6530, -3547, -4002 },
1232 { -900, 7039, -3371, -4855 },
1233 { -2983, 7211, -363, -4835 },
1234 { -814, 6503, -104, -5106 },
1235 { -2386, 6896, 809, -4919 },
1236 { 845, 4492, 352, -6621 },
1237 { -1998, 7237, -1646, -4231 },
1238 { -3380, 6251, 471, -4577 },
1239 { -1908, 7059, 84, -5726 },
1240 { -340, 6346, -803, -6265 },
1241 { -2279, 5834, -47, -4633 },
1242 { -1532, 5286, -1748, -1901 },
1243 { -2757, 6188, -453, -3415 },
1244 { -1255, 6405, -2043, -6357 },
1245 { 918, 5581, -121, -5667 },
1246 { 1840, 5336, -821, -5034 },
1247 { -2475, 4992, -1825, -3104 },
1248 { -2413, 5606, -1789, -4298 },
1249 { 132, 5128, -2389, -4442 },
1250 { 223, 6400, -2653, -4742 },
1251 { -673, 5012, 680, -4582 },
1252 { -1657, 6624, -349, -3596 },
1253 { -755, 6289, -1860, -3978 },
1254 { -572, 6894, -1946, -5207 },
1255 { -1141, 4756, -2665, -5586 },
1256 { -1073, 4269, -431, -4030 },
1257 { 186, 5761, 916, -5868 },
1258 { -1907, 4836, 1017, -5106 },
1259 { -963, 3363, -1248, -6348 },
1260 { -3262, 4774, -1818, -5858 },
1261 { 847, 3812, -2538, -4302 },
1262 { -1223, 5903, 1360, -5479 },
1263 { -1094, 6923, -1244, -2381 },
1264 { 267, 6276, -709, -2846 },
1265 { -157, 5840, 1124, -4266 },
1266 { 889, 3206, -910, -5305 },
1267 { -1736, 3344, 582, -4838 },
1268 { -2357, 5676, -2695, -6277 },
1269 { -1916, 6901, -986, -5397 },
1270 { -3062, 6028, -695, -5687 },
1271 { 1836, 3566, -1357, -5226 },
1272 { -2176, 4938, 646, -3872 },
1273 { -2199, 3055, -208, -6124 },
1274 { -236, 3032, -821, -5325 },
1275 { -3989, 7277, -565, -3899 },
1276 { -595, 4362, 74, -5975 },
1277 { 684, 5874, -841, -4424 },
1278 { -2731, 6305, -2389, -5465 },
1279 { -5775, 1325, -56, -2528 },
1280 { -7029, -534, -1890, -3278 },
1281 { -5798, -15, -2734, -2210 },
1282 { -5504, -1198, -353, -3659 },
1283 { -5079, 960, -894, -4336 },
1284 { -6073, -36, -133, -3014 },
1285 { -5782, -259, -1025, -3986 },
1286 { -6843, 1262, -807, -1639 },
1287 { -5263, -918, -3290, -579 },
1288 { -4840, 461, -2158, -533 },
1289 { -6014, -50, -620, 504 },
1290 { -5843, 241, -1359, -282 },
1291 { -5898, 577, 769, -3271 },
1292 { -6833, -946, -466, -3347 },
1293 { -6026, 1459, -512, -729 },
1294 { -7361, 747, -388, -1110 },
1295 { -6391, 2142, -1160, -2513 },
1296 { -6995, 304, 498, -2673 },
1297 { -6757, 679, -386, -433 },
1298 { -5222, 1688, -1093, -1032 },
1299 { -5019, 575, 184, -3627 },
1300 { -4237, 628, -3507, -1243 },
1301 { -7479, -456, -1722, -1486 },
1302 { -6464, 713, -1273, -1153 },
1303 { -6255, 1682, -606, -3607 },
1304 { -7033, 1497, -71, -1955 },
1305 { -6694, 1556, -1721, -3214 },
1306 { -6114, -356, 813, -2575 },
1307 { -5308, 632, -1851, -1636 },
1308 { -5742, -911, -1733, 383 },
1309 { -6083, -387, -2313, -879 },
1310 { -6535, -530, -1505, -2083 },
1311 { -4896, 1223, -2750, -1816 },
1312 { -6392, -463, -3247, -2093 },
1313 { -5373, 1264, -2706, -3042 },
1314 { -3894, -1390, -1020, -891 },
1315 { -6179, 1168, -1966, -1922 },
1316 { -5162, 1668, -1617, -1916 },
1317 { -6453, 920, -1169, -2432 },
1318 { -6130, 2005, -536, -1519 },
1319 { -6552, -98, -518, -1938 },
1320 { -7528, 355, -1101, -1772 },
1321 { -5745, 610, -247, -1360 },
1322 { -7003, 177, -2064, -1958 },
1323 { -6956, -570, -2220, -4225 },
1324 { -7830, 791, -1394, -2774 },
1325 { -7634, 480, -3171, -4224 },
1326 { -7913, 1154, -350, -2381 },
1327 { -5063, 1704, -1804, -2977 },
1328 { -4887, -524, -2703, 188 },
1329 { -5551, 406, -1620, -3063 },
1330 { -7109, 1342, 381, -3021 },
1331 { -6846, 631, -458, -3398 },
1332 { -4606, -605, 11, -3930 },
1333 { -8134, -225, -1738, -2648 },
1334 { -7043, 402, -2734, -3059 },
1335 { -7417, 1825, -2545, -4389 },
1336 { -6971, -236, -1031, -665 },
1337 { -5752, 2111, -1632, -3808 },
1338 { -7660, -78, -624, -3135 },
1339 { -6358, 619, -1951, -3911 },
1340 { -8134, 408, -1935, -3695 },
1341 { -6335, 1911, -2368, -4505 },
1342 { -7116, 2163, -344, -2753 },
1343 { 2357, 4488, 2220, -5682 },
1344 { 1385, 3206, 2300, -5305 },
1345 { 1419, 2557, 5203, -3516 },
1346 { 262, 4315, 3920, -1847 },
1347 { 3316, 3187, 1612, -5609 },
1348 { 1729, 2350, 1673, -6068 },
1349 { 1603, 6126, 1467, -2839 },
1350 { -1339, 3316, 3691, -3530 },
1351 { -563, 4618, 3180, -4548 },
1352 { 463, 4624, 3111, -5614 },
1353 { 1246, 5455, 3356, -5720 },
1354 { 480, 2149, 5422, -2893 },
1355 { 1768, 4827, 913, -5579 },
1356 { -149, 5381, 4366, -3297 },
1357 { 985, 3672, 2644, -92 },
1358 { -258, 2911, 5817, -2213 },
1359 { 3428, 3289, 3351, -3541 },
1360 { -666, 3295, 4727, -2869 },
1361 { 35, 6641, 4160, -4052 },
1362 { 623, 6787, 3156, -4560 },
1363 { 2654, 4360, 4676, -4632 },
1364 { 1386, 5246, 4834, -4497 },
1365 { 3488, 4574, 3856, -5946 },
1366 { 383, 4481, 4168, -4110 },
1367 { 1753, 3652, 4288, -3326 },
1368 { 1344, 4905, 2508, -4660 },
1369 { 1580, 4106, 3104, -2224 },
1370 { 2027, 5038, 1683, -1554 },
1371 { 446, 3699, 5872, -3013 },
1372 { 4637, 4087, 3578, -5018 },
1373 { 2629, 3560, 5331, -4900 },
1374 { 1527, 6674, 2523, -4131 },
1375 { -1437, 2804, 2528, -4464 },
1376 { -229, 3355, 2016, -5537 },
1377 { 3666, 3418, 4374, -4581 },
1378 { 1192, 3799, 923, -6596 },
1379 { 2040, 2956, 448, -5322 },
1380 { 2468, 5768, 4029, -5869 },
1381 { 3438, 6516, 3529, -6667 },
1382 { 2737, 5495, 680, -5535 },
1383 { 3896, 5727, 1801, -4958 },
1384 { 4988, 4957, 3592, -6518 },
1385 { -542, 4416, 5794, -2787 },
1386 { 4136, 4354, 2064, -4696 },
1387 { 3067, 5936, 1207, -3396 },
1388 { 2789, 4966, 2405, -3854 },
1389 { 1731, 3270, 3251, -1063 },
1390 { 1767, 5537, 2084, -2349 },
1391 { 465, 3116, 4532, -837 },
1392 { 1499, 2627, 4610, -2212 },
1393 { 122, 3095, 3642, -3552 },
1394 { 2542, 2866, 2705, -6402 },
1395 { 3134, 4323, 698, -4785 },
1396 { 731, 1859, 3112, -5242 },
1397 { 2553, 2980, 3241, -4846 },
1398 { 1329, 5310, 1607, -6624 },
1399 { 2468, 1858, 3476, -1034 },
1400 { -172, 4996, 2000, -5562 },
1401 { 2621, 4220, 1574, -3386 },
1402 { -333, 1832, 3362, -4117 },
1403 { 2169, 6762, 3065, -6225 },
1404 { 2844, 5528, 3223, -4765 },
1405 { 526, 5175, 1644, -4267 },
1406 { 2922, 4426, 2414, -2610 },
1407 { 452, 1399, -4516, -2636 },
1408 { 2872, 1720, -4667, -1435 },
1409 { 1279, 702, -5424, -1984 },
1410 { 2187, 870, -5021, -1341 },
1411 { 583, -144, -4628, -2464 },
1412 { 3, 2237, -5284, -2827 },
1413 { -19, 1005, -5460, -1819 },
1414 { 2897, 2084, -5885, -515 },
1415 { -400, 3370, -5527, -2947 },
1416 { 1505, 2593, -5518, -1802 },
1417 { 1341, 4534, -5094, -1899 },
1418 { 3241, 3670, -5493, -1252 },
1419 { -1287, 921, -5994, -1675 },
1420 { 627, 408, -6652, -364 },
1421 { -260, 1127, -4849, -3247 },
1422 { 371, 3400, -5976, -2285 },
1423 { 1533, 1566, -6373, -610 },
1424 { 2462, 4274, -6184, -1254 },
1425 { 1782, 3363, -6222, -1381 },
1426 { 572, 4650, -5673, -2754 },
1427 { 2674, 3414, -4460, -2154 },
1428 { 3614, 3820, -6883, -398 },
1429 { 1136, -1, -5511, -1112 },
1430 { -1773, 1137, -5647, -2377 },
1431 { -753, 2104, -6085, -2565 },
1432 { -204, 3025, -4731, -1418 },
1433 { -1486, 1438, -4380, -216 },
1434 { 302, 858, -5786, -264 },
1435 { 3486, 1495, -5234, -783 },
1436 { 888, 2327, -3423, -3720 },
1437 { -259, 772, -6596, -1311 },
1438 { -1197, 2073, -5174, -1826 },
1439 { 1500, 3470, -4462, -2645 },
1440 { 3072, 1960, -3277, -2264 },
1441 { 1841, 952, -4324, -2340 },
1442 { 1994, 2200, -3940, -2923 },
1443 { -1782, 1699, -4667, -1075 },
1444 { -1464, 2906, -3468, -375 },
1445 { 366, 2380, -3747, 1467 },
1446 { -545, 1645, -4619, 376 },
1447 { 1724, 2350, -2374, -3512 },
1448 { 3184, 2628, -2996, -3275 },
1449 { 734, 2010, -6239, -1479 },
1450 { 524, 3756, -4496, -3263 },
1451 { 1492, 3570, -3494, -3600 },
1452 { -932, 618, -5389, -2894 },
1453 { -133, 2161, -4083, -3267 },
1454 { 786, 774, -3279, -3731 },
1455 { 1078, 803, -3843, -3007 },
1456 { -332, 3405, -3347, 40 },
1457 { -17, 6, -4005, -3690 },
1458 { -189, 4372, -4488, -2561 },
1459 { -450, 3846, -3790, -1370 },
1460 { 362, 2212, -5272, -15 },
1461 { -1529, 791, -6802, -2296 },
1462 { 2145, 4241, -4474, 376 },
1463 { 1813, 2426, -2932, -2726 },
1464 { -542, 4557, -3140, -1080 },
1465 { 1192, 3784, -4371, -20 },
1466 { 2784, 5188, -6399, -1394 },
1467 { 431, 4561, -3673, -1398 },
1468 { 1382, 3096, -4083, 1253 },
1469 { 1209, 4224, -2930, 1500 },
1470 { 2798, 2684, -6676, -606 },
1471 { -2396, 1510, -5381, -2713 },
1472 { -2625, 2542, -4032, -2880 },
1473 { -1231, 3967, -4098, -2886 },
1474 { -1393, 2374, -3862, -4525 },
1475 { -2495, 1665, -1637, -5445 },
1476 { -3854, 1759, -1750, -4944 },
1477 { -2373, 1668, -2856, -6251 },
1478 { -2668, 1981, -886, -4557 },
1479 { -2927, 4427, -3451, -6172 },
1480 { -1925, 2596, -4696, -2527 },
1481 { -3202, 2847, -3928, -5896 },
1482 { -3332, 1665, -5025, -3412 },
1483 { -3212, 3115, -4155, -4062 },
1484 { -1013, 3205, -5133, -3751 },
1485 { -2022, 4595, -3947, -5611 },
1486 { -3556, 1755, -3715, -2300 },
1487 { -1784, 4114, -2723, -1773 },
1488 { -3586, 4081, -2733, -4942 },
1489 { -1608, 3685, -4154, -4573 },
1490 { -3368, 4042, -4452, -6227 },
1491 { -1407, 3881, -5729, -3719 },
1492 { -2751, 3281, -5077, -4999 },
1493 { -3791, 2410, -4906, -5288 },
1494 { -730, 2303, -4217, -3755 },
1495 { -1812, 2311, -5492, -3709 },
1496 { -610, 4336, -3915, -3783 },
1497 { -2841, 4337, -4278, -4430 },
1498 { -1662, 4666, -4661, -3964 },
1499 { -589, 5209, -4923, -3682 },
1500 { -4155, 2234, -4076, -4218 },
1501 { -3951, 2770, -2665, -2805 },
1502 { -2302, 3228, -3717, -1908 },
1503 { -3129, 4373, -2264, -2851 },
1504 { -447, 1363, -3578, -4323 },
1505 { -2648, 4237, -3159, -3071 },
1506 { -4072, 3241, -3541, -4605 },
1507 { -4507, 3458, -2339, -3838 },
1508 { -1646, 997, -4926, -3970 },
1509 { -3025, 1614, -3940, -1242 },
1510 { -1337, 1756, -3163, -5529 },
1511 { -3203, 1865, -3282, -4354 },
1512 { -1646, 2118, -2203, -6018 },
1513 { 174, 1871, -2707, -4639 },
1514 { -2607, 1485, -4778, -4750 },
1515 { -2199, 3991, -3134, -4879 },
1516 { -2962, 3323, -2816, -2419 },
1517 { -5286, 2495, -4548, -5395 },
1518 { -2810, 3710, -2274, -4211 },
1519 { -330, 3006, -2993, -4678 },
1520 { -1187, 2411, -2743, -5196 },
1521 { -664, 4033, -3101, -5641 },
1522 { -1458, 3602, -2816, -5371 },
1523 { -4116, 4923, -3321, -5630 },
1524 { -4165, 2528, -2592, -4798 },
1525 { -2759, 3080, -2333, -5719 },
1526 { -5157, 3011, -5526, -6348 },
1527 { -3095, 2126, -5881, -4234 },
1528 { -4377, 3849, -3600, -6099 },
1529 { -1994, 4947, -5235, -4753 },
1530 { -1067, 600, -3258, -5133 },
1531 { -4992, 3302, -2208, -5051 },
1532 { -3377, 2981, -1655, -4815 },
1533 { -3325, 2446, -1787, -6116 },
1534 { -2341, 2737, -3240, -6347 },
1535 { -2258, -3732, 3710, -1235 },
1536 { -1558, -3849, 2694, -3012 },
1537 { -599, -4837, 3050, -2951 },
1538 { -2246, -5433, 2798, -1910 },
1539 { -2255, -4989, 3260, 270 },
1540 { -3026, -5353, 2693, -1036 },
1541 { -1151, -6097, 1097, -3782 },
1542 { -3391, -6012, 2130, -1303 },
1543 { -2850, -4422, 3375, -480 },
1544 { -1138, -3779, 1491, -4162 },
1545 { -551, -3892, 3787, -2082 },
1546 { -3221, -3676, 3144, -1202 },
1547 { -3023, -5196, 2650, 605 },
1548 { -1756, -5729, 2646, 321 },
1549 { -2693, -4409, 494, -4797 },
1550 { -1913, -4573, 3372, -1730 },
1551 { -1277, -3604, 4061, -993 },
1552 { -420, -4993, 1351, -4796 },
1553 { -3052, -5333, 1435, -1242 },
1554 { -602, -5034, 3869, -1141 },
1555 { -2436, -4680, 1665, -3019 },
1556 { -2657, -3658, 1459, -3391 },
1557 { -1220, -6246, 2749, -525 },
1558 { -3838, -4844, 2265, -1735 },
1559 { -1247, -5679, 3356, -1417 },
1560 { -917, -5448, 3342, 105 },
1561 { -1756, -6839, 2276, -2350 },
1562 { -412, -5206, 1764, -3539 },
1563 { -1439, -6915, 1442, -3750 },
1564 { -1381, -4439, 3863, -282 },
1565 { -3482, -4953, 2726, -336 },
1566 { -1376, -5931, 1714, -1987 },
1567 { -1716, -4405, 2608, 105 },
1568 { -1590, -5191, 2652, -2704 },
1569 { -2149, -6442, 2453, -1263 },
1570 { -3426, -3832, 2334, -1829 },
1571 { -2747, -5948, 2362, -173 },
1572 { -2435, -3267, 2966, -1710 },
1573 { -3979, -4282, 2705, -775 },
1574 { -356, -4238, 2544, -4343 },
1575 { -1363, -6471, 2817, -1836 },
1576 { -2878, -5117, 218, -3149 },
1577 { -3539, -5196, 1710, -2356 },
1578 { -2888, -4537, 2746, -1701 },
1579 { -1870, -4439, 1496, -4121 },
1580 { -1486, -3388, 3349, -2145 },
1581 { -3333, -4138, 1467, -2876 },
1582 { -345, -5340, 1012, -1190 },
1583 { -1672, -4992, 2289, -1029 },
1584 { -2146, -5528, 3038, -635 },
1585 { -316, -3656, 3426, -3152 },
1586 { -2695, -5812, 2336, -2050 },
1587 { -2067, -6052, 737, -3258 },
1588 { -2664, -4205, -350, -1266 },
1589 { -617, -5406, 80, -4853 },
1590 { -2418, -3825, 1853, -1326 },
1591 { -1961, -4339, 583, -4315 },
1592 { -1495, -5141, -133, -5205 },
1593 { -3208, -6440, 1691, -2069 },
1594 { -2632, -3633, 2325, -2761 },
1595 { -2624, -5670, 1252, -3676 },
1596 { -3687, -5608, 687, -2833 },
1597 { -3320, -5707, 16, -3877 },
1598 { -2738, -6112, 84, -5135 },
1599 { 2277, -5661, 3076, 843 },
1600 { 1555, -5769, 2821, -5236 },
1601 { 536, -6381, 603, -4910 },
1602 { 734, -4609, 3314, -4092 },
1603 { 1836, -4547, 3267, -4322 },
1604 { -13, -5976, 3752, -1607 },
1605 { 1423, -6318, 2336, 398 },
1606 { 365, -7779, 1498, -534 },
1607 { 2104, -8366, 2946, -1345 },
1608 { 143, -5545, 1898, -3756 },
1609 { 655, -6852, 1430, 148 },
1610 { 4, -6653, 2397, -59 },
1611 { 2346, -5996, 4562, -934 },
1612 { 1229, -7104, 2963, -598 },
1613 { -528, -7048, 2887, -1790 },
1614 { 1451, -6857, 3900, -1637 },
1615 { 554, -6018, 3336, 9 },
1616 { 3278, -5758, 4034, 129 },
1617 { 3541, -7145, 4905, -1575 },
1618 { 2339, -6907, 3464, -301 },
1619 { 2775, -7301, 1667, -3894 },
1620 { 539, -7887, 991, -4156 },
1621 { 2115, -7421, 3131, -3075 },
1622 { 2803, -8546, 2564, -5836 },
1623 { 2869, -5833, 1620, -4561 },
1624 { 2591, -7281, 3215, -4719 },
1625 { -1228, -8477, 706, -4782 },
1626 { 1967, -5243, 4813, -1940 },
1627 { 701, -7010, 2273, -3893 },
1628 { 915, -8470, 1918, -5620 },
1629 { -94, -6715, 156, -3873 },
1630 { 1074, -5607, 4389, -1017 },
1631 { 2739, -6551, 1227, -3521 },
1632 { 725, -7835, 2701, -1291 },
1633 { -493, -7475, 2263, -1075 },
1634 { -412, -6508, 2984, -744 },
1635 { 665, -5451, 3725, -2692 },
1636 { 1499, -8129, 3564, -2072 },
1637 { 2870, -6333, 4487, -2108 },
1638 { 706, -5007, 3911, -152 },
1639 { -482, -8660, 1483, -2900 },
1640 { 2481, -6596, 2518, -1715 },
1641 { 1403, -6414, 1398, -5387 },
1642 { 652, -6267, 583, -5942 },
1643 { 694, -7540, 646, -6272 },
1644 { 2275, -7614, 256, -5015 },
1645 { 1416, -9727, 1900, -3153 },
1646 { 2760, -6433, 3875, -3771 },
1647 { 2325, -11196, 2182, -5155 },
1648 { 1223, -11061, 1377, -5097 },
1649 { 108, -10603, 307, -4952 },
1650 { -118, -8268, 1650, -1572 },
1651 { 1839, -7943, 1755, -612 },
1652 { 2501, -9056, 981, -2969 },
1653 { 2902, -8476, 1491, -5780 },
1654 { 1995, -11175, 1585, -3643 },
1655 { 696, -8212, 828, -2474 },
1656 { 1526, -8649, 1380, -1210 },
1657 { 461, -7253, 3222, -2229 },
1658 { 2966, -8641, 4121, -3271 },
1659 { 833, -6039, 2361, -1086 },
1660 { 3565, -7312, 1980, -5427 },
1661 { 2850, -8671, 3760, -1846 },
1662 { 2643, -7281, 2163, -173 },
1663 { 3463, -3706, -3132, -923 },
1664 { 1315, -3825, -3443, 2 },
1665 { 2594, -4083, -3815, 670 },
1666 { 1826, -4291, -2741, -155 },
1667 { 868, -3749, -4175, -298 },
1668 { 2008, -4237, -3897, -517 },
1669 { 1242, -3493, -4335, -1335 },
1670 { -88, -4142, -3390, -1529 },
1671 { 2176, -3488, -3822, -975 },
1672 { 1706, -5188, -3415, -637 },
1673 { 2717, -6159, -2333, -882 },
1674 { 1276, -3978, -4361, 537 },
1675 { 2471, -5556, -2866, -208 },
1676 { 799, -4673, -4086, 56 },
1677 { 1901, -4786, -3533, 270 },
1678 { 3036, -3902, -3606, -333 },
1679 { 2249, -3317, -4319, -144 },
1680 { 2594, -4207, -2105, -2930 },
1681 { 4008, -4774, -2626, -902 },
1682 { 1038, -3659, -3496, -2454 },
1683 { 2725, -3597, -3298, -1535 },
1684 { 1662, -5803, -2813, 175 },
1685 { 705, -3757, -3441, -1484 },
1686 { 1860, -5987, -2821, -886 },
1687 { 3786, -4918, -2199, -1929 },
1688 { 3683, -4235, -2547, -1287 },
1689 { 2531, -4896, -2956, -1593 },
1690 { 1005, -5585, -3324, -180 },
1691 { 1625, -5229, -1756, -3642 },
1692 { 1494, -5041, -2989, -2685 },
1693 { 2718, -4655, -3224, -867 },
1694 { 2374, -6640, -1745, -2975 },
1695 { 2133, -6436, -2477, -1499 },
1696 { 1833, -4418, -3523, -1512 },
1697 { 1128, -4910, -2658, -1106 },
1698 { 689, -4777, -2831, -2085 },
1699 { 3593, -5280, -2627, -315 },
1700 { 3264, -3771, -2673, -1861 },
1701 { 3202, -5602, -2409, 402 },
1702 { 552, -4618, -2221, -3002 },
1703 { 3095, -5356, -2666, -1083 },
1704 { 3401, -4609, -3146, 45 },
1705 { 3051, -4662, -2192, -2232 },
1706 { 2798, -5552, -2462, -1941 },
1707 { 2354, -5815, -2223, -2619 },
1708 { 192, -3708, -2807, -2658 },
1709 { 1886, -4226, -1862, -3529 },
1710 { 2526, -3976, -2819, -2332 },
1711 { 1577, -3870, -2711, -2806 },
1712 { 1288, -5588, -3382, -1403 },
1713 { 2711, -5399, -1564, -3253 },
1714 { 1459, -5492, -2222, -322 },
1715 { 2823, -5091, -2886, 776 },
1716 { 3559, -5821, -2109, -1360 },
1717 { 1587, -6331, -2760, -1909 },
1718 { 2139, -5213, -2874, -2120 },
1719 { 1318, -4337, -3695, -2098 },
1720 { 821, -4471, -1849, -565 },
1721 { 3329, -4782, -1725, -89 },
1722 { 582, -4914, -4105, -1119 },
1723 { 417, -4144, -4072, -2529 },
1724 { -199, -3803, -2765, -4042 },
1725 { 2731, -4283, -2143, 1 },
1726 { 2911, -6187, -1951, -2116 },
1727 { 1573, -6094, -493, -2838 },
1728 { 2081, -6927, -864, -3211 },
1729 { 1058, -7826, 79, -364 },
1730 { 3147, -5570, -684, -978 },
1731 { 3572, -5856, 1060, 1824 },
1732 { 1143, -6702, -1478, 338 },
1733 { 2341, -7220, -88, 260 },
1734 { 3639, -6861, 668, 815 },
1735 { 2227, -6268, -1706, 446 },
1736 { 3390, -6082, -353, 1302 },
1737 { 1123, -7556, -1237, -430 },
1738 { 1729, -7742, 729, -218 },
1739 { 1457, -6774, 587, 579 },
1740 { 505, -6919, -569, 371 },
1741 { 1106, -7245, 78, 158 },
1742 { 2755, -6745, -1122, 338 },
1743 { 3069, -6040, -1415, 986 },
1744 { 2174, -7064, -1430, -283 },
1745 { 1390, -8626, -446, -3031 },
1746 { 3534, -6890, -431, 547 },
1747 { 2267, -9618, 475, -2994 },
1748 { 3672, -7673, 75, -115 },
1749 { 2131, -7560, -1206, -750 },
1750 { 2972, -7477, -685, -262 },
1751 { 1604, -6637, -672, 699 },
1752 { 1666, -7577, -577, -240 },
1753 { 1591, -6554, -2158, -94 },
1754 { 2348, -6286, -353, 1123 },
1755 { 2017, -8810, -412, -1805 },
1756 { 2892, -6713, -1765, -554 },
1757 { 2500, -6828, -1995, -1197 },
1758 { 3877, -6639, -224, -1655 },
1759 { 2392, -7872, -91, -333 },
1760 { 3562, -7370, -532, -2836 },
1761 { 2552, -7614, 164, -1805 },
1762 { 990, -6104, 218, 438 },
1763 { 910, -7861, 312, -1195 },
1764 { 1472, -6327, 372, -640 },
1765 { 1576, -7143, -1983, -843 },
1766 { 422, -7625, -457, -278 },
1767 { 1797, -8532, 405, -1011 },
1768 { 1088, -7396, -238, -2277 },
1769 { 3209, -6753, -1431, -2072 },
1770 { 2617, -6839, 100, -2573 },
1771 { 2575, -8573, -387, -3188 },
1772 { 3618, -6971, -1190, -321 },
1773 { 2205, -7361, -1695, -2008 },
1774 { 2985, -6297, 1464, 1179 },
1775 { 2804, -7310, 1053, 338 },
1776 { 1362, -6074, -1163, -840 },
1777 { 3336, -6325, -1794, 21 },
1778 { 2836, -8109, 818, -329 },
1779 { 2791, -5879, 560, 1546 },
1780 { 2392, -6064, 135, 100 },
1781 { 1838, -6194, 596, 1085 },
1782 { 1926, -7515, -414, -4901 },
1783 { 3225, -7298, -1202, -1189 },
1784 { 3960, -7558, -659, -719 },
1785 { 3442, -6647, -1692, -1095 },
1786 { 3381, -6441, 262, -886 },
1787 { 1431, -8150, -1186, -1406 },
1788 { 340, -8498, -150, -899 },
1789 { 3004, -8149, -260, -953 },
1790 { 2749, -6611, 563, 873 },
1791 { -6647, -1325, -4517, -4691 },
1792 { -6005, -1657, -4089, -3797 },
1793 { -3157, 588, -5213, -3068 },
1794 { -3311, -1425, -6329, -3726 },
1795 { -5866, -819, -3857, -2744 },
1796 { -5001, -1799, -1075, -4621 },
1797 { -5330, -2650, -2672, -4664 },
1798 { -4930, -539, -2363, -4010 },
1799 { -2984, 10, -3863, -5749 },
1800 { -1055, -2106, -3713, -4267 },
1801 { -5476, -502, -4279, -6504 },
1802 { -5231, -1543, -5018, -6425 },
1803 { -5134, -363, -3165, -5109 },
1804 { -3953, -771, -4107, -6393 },
1805 { -2159, -563, -3652, -5342 },
1806 { -3888, -2321, -919, -5057 },
1807 { -1236, -597, -4235, -4193 },
1808 { -4053, 675, -3083, -6174 },
1809 { -2793, -1089, -5396, -3460 },
1810 { -3000, -44, -2209, -6575 },
1811 { -3336, -1531, -4313, -5160 },
1812 { -2127, 128, -4851, -3692 },
1813 { -3321, 136, -2067, -5660 },
1814 { -5215, 1404, -4374, -4356 },
1815 { -2747, 400, -6340, -3691 },
1816 { -3926, -599, -5361, -5006 },
1817 { -2875, -2592, -5143, -4092 },
1818 { -4991, -1958, -5322, -4891 },
1819 { -4965, -1318, -6652, -5333 },
1820 { -4920, -1691, -3388, -5561 },
1821 { -3644, -3354, -2688, -5982 },
1822 { -5076, -919, -4563, -2984 },
1823 { -6114, 250, -3884, -3915 },
1824 { -4014, 744, -3973, -1924 },
1825 { -5543, -1041, -5557, -3847 },
1826 { -4711, -1352, -5649, -2603 },
1827 { -3362, 775, -5305, -4879 },
1828 { -5001, 107, -3554, -2888 },
1829 { -6258, -1651, -6356, -6566 },
1830 { -4529, 407, -5003, -3865 },
1831 { -5154, 550, -5278, -5465 },
1832 { -4195, -467, -1894, -3129 },
1833 { -5022, 1127, -3349, -3314 },
1834 { -6075, 1250, -4313, -5641 },
1835 { -2677, -2283, -2312, -5903 },
1836 { -4113, 193, -1195, -4833 },
1837 { -3940, -1048, -1389, -5079 },
1838 { -3703, 917, -4043, -4451 },
1839 { -3366, -4231, -1534, -5488 },
1840 { -3326, -3583, -2091, -4903 },
1841 { -5144, 1254, -2532, -4949 },
1842 { -5982, -870, -2545, -4555 },
1843 { -3925, -157, -5367, -2281 },
1844 { -6419, -746, -5668, -4371 },
1845 { -5787, 518, -7096, -5805 },
1846 { -4258, 954, -6453, -4321 },
1847 { -4771, -695, -4158, -1639 },
1848 { -7078, -760, -5195, -5877 },
1849 { -7348, 83, -4101, -4586 },
1850 { -2430, 184, -2874, -1679 },
1851 { -2284, -3943, -2924, -5034 },
1852 { -1804, -1785, -3002, -4710 },
1853 { -4399, -2772, -1815, -4637 },
1854 { -6340, -2626, -2824, -5191 },
1855 { -4998, -5168, -3480, 1905 },
1856 { -3958, -5492, -1599, 1579 },
1857 { -2471, -3755, -276, 3182 },
1858 { -3033, -5779, -1063, 1554 },
1859 { -2936, -4829, -1290, 2386 },
1860 { -1835, -5073, -3051, 1299 },
1861 { -1724, -3771, -3935, 2324 },
1862 { -5070, -2550, -3692, 768 },
1863 { -4326, -5333, -297, 1878 },
1864 { -3472, -5619, -3094, 992 },
1865 { -3027, -4384, -3038, 2265 },
1866 { -3201, -5332, 67, 2200 },
1867 { -1681, -4373, -1947, 2461 },
1868 { -3221, -3329, -4238, 2564 },
1869 { -1262, -2968, -2915, 3227 },
1870 { -3419, -1878, -3373, 2110 },
1871 { -2244, -5583, -2012, 1288 },
1872 { -1971, -5266, -990, 1812 },
1873 { -2975, -2778, -452, 4063 },
1874 { -2198, -1165, -3298, 2965 },
1875 { -4782, -4894, -4767, 664 },
1876 { -6002, -3950, -2806, 2025 },
1877 { -3142, -3162, -2859, 3295 },
1878 { -3262, -3340, -4123, 1596 },
1879 { -4014, -3918, -1955, 3361 },
1880 { -1700, -3463, -1346, 3449 },
1881 { -4245, -4445, -4743, 1644 },
1882 { -4180, -3969, -401, 3281 },
1883 { -2782, -5240, -4117, 1156 },
1884 { -5744, -4040, -1439, 3470 },
1885 { -5063, -4663, -323, 3172 },
1886 { -4531, -3319, -844, 3988 },
1887 { -6226, -5125, -2064, 2976 },
1888 { -3115, -3267, -1531, 3898 },
1889 { -4628, -4421, -2864, 2808 },
1890 { -4559, -2989, -3442, 2024 },
1891 { -1775, -4487, -656, 2477 },
1892 { -2664, -1865, -1884, 4081 },
1893 { -1828, -2575, -3894, 3378 },
1894 { -6441, -3677, -2025, 1677 },
1895 { -4141, -2156, -1191, 3474 },
1896 { -4802, -1623, -1727, 2160 },
1897 { -5474, -2745, -1475, 2498 },
1898 { -3664, -1056, -1975, 2491 },
1899 { -4672, -3062, -2235, 2933 },
1900 { -4205, -5960, -2849, 1517 },
1901 { -4995, -5708, -1739, 1805 },
1902 { -4892, -6080, -4793, 872 },
1903 { -4270, -4172, -4263, 2185 },
1904 { -4687, -1470, -2905, 1023 },
1905 { -6446, -5017, -3919, 1000 },
1906 { -6046, -5538, -3943, 2006 },
1907 { -6028, -3750, -3953, 771 },
1908 { -5959, -4582, -5024, 824 },
1909 { -5818, -2576, -2249, 1326 },
1910 { -5659, -5345, -1119, 2500 },
1911 { -3346, -4155, 606, 2749 },
1912 { -5680, -4827, -2501, 1838 },
1913 { -6193, -2543, -1295, 840 },
1914 { -6871, -4925, -3512, 1801 },
1915 { -5605, -1788, -1895, 779 },
1916 { -3922, -5712, -4644, 510 },
1917 { -4745, -3869, -4533, 99 },
1918 { -2984, -4907, -399, 1497 },
1919 { 1847, -478, 3061, -5812 },
1920 { 4450, -1116, 3609, -6570 },
1921 { 3139, 99, 3007, -5532 },
1922 { 2590, -3782, 3138, -4770 },
1923 { 1881, 1204, 5778, -3404 },
1924 { 3631, 2060, 5566, -5038 },
1925 { 3461, 1961, 5167, -3800 },
1926 { 2947, 273, 4536, -4389 },
1927 { 4453, -1730, 5788, -4370 },
1928 { 4032, 1805, 2666, -4534 },
1929 { 3487, -944, 2313, -6028 },
1930 { 1313, 34, 4210, -4067 },
1931 { 5632, -1502, 5825, -5855 },
1932 { 7736, -547, 4879, -5476 },
1933 { 4906, -1512, 4760, -5760 },
1934 { 3843, 447, 1091, -4958 },
1935 { 2982, -1135, 5442, -4386 },
1936 { 3579, 271, 3031, -6770 },
1937 { 3932, -211, 4688, -5507 },
1938 { 4411, 1720, 2387, -5584 },
1939 { 5379, -479, 4575, -6280 },
1940 { 3613, -362, 2012, -4885 },
1941 { 3744, -2013, 4493, -5073 },
1942 { 5693, 109, 4379, -3362 },
1943 { 5475, -621, 5317, -3985 },
1944 { 6411, -673, 5708, -4752 },
1945 { 4933, -796, 7262, -4290 },
1946 { 2804, 444, 6276, -3655 },
1947 { 4120, -517, 6078, -4531 },
1948 { 5119, 841, 3486, -3910 },
1949 { 4738, 1539, 3525, -2970 },
1950 { 5086, 370, 5895, -5640 },
1951 { 4235, 2716, 4589, -5044 },
1952 { 3691, 682, 6199, -4700 },
1953 { 6111, -570, 6271, -6528 },
1954 { 2611, 1277, 3756, -4802 },
1955 { 4395, 970, 3807, -5879 },
1956 { 5225, 2299, 3242, -4333 },
1957 { 5144, 1778, 4946, -5545 },
1958 { 2989, -3016, 3247, -5495 },
1959 { 2983, 920, 2071, -6059 },
1960 { 5270, -903, 4434, -2350 },
1961 { 6415, -585, 3970, -3554 },
1962 { 3866, -197, 5216, -2884 },
1963 { 3767, -1298, 6702, -3315 },
1964 { 6299, 2620, 5284, -6824 },
1965 { 6654, 646, 3653, -4927 },
1966 { 4770, 3047, 5160, -6287 },
1967 { 5364, 434, 2919, -5207 },
1968 { 2998, 1344, 4801, -2456 },
1969 { 3896, 1013, 3773, -1864 },
1970 { 2115, 655, 2999, -6344 },
1971 { 5170, -981, 2849, -4464 },
1972 { 2735, -2159, 2717, -5776 },
1973 { 2430, -1952, 4392, -4559 },
1974 { 6143, -1180, 3659, -4746 },
1975 { 4978, -1483, 1726, -4875 },
1976 { 3486, -2383, 3306, -4301 },
1977 { 1434, -1372, 4171, -4770 },
1978 { 3354, -2627, 1525, -5093 },
1979 { 6790, 2386, 3995, -5909 },
1980 { 1475, -2674, 3451, -4204 },
1981 { 1999, -3494, 3693, -5556 },
1982 { 4764, -2848, 2856, -5589 },
1983 { -3677, 5131, 2827, -2934 },
1984 { -2844, 7078, 2852, -3580 },
1985 { -3902, 6434, 4118, -1911 },
1986 { -1769, 7530, 3492, -3541 },
1987 { -1937, 5679, -447, -1127 },
1988 { -2456, 4680, 4196, -2407 },
1989 { -2778, 8241, 1698, -4288 },
1990 { -2876, 6104, 5182, -2387 },
1991 { -2802, 7341, 4463, -2938 },
1992 { -1025, 6267, 4752, -3201 },
1993 { -2349, 5413, 2041, -3794 },
1994 { -2252, 8225, 2856, -4269 },
1995 { -1465, 4967, 4976, -2500 },
1996 { -636, 7565, 3517, -4233 },
1997 { -1905, 5618, 3904, -2942 },
1998 { -302, 6816, 3343, -3316 },
1999 { -2210, 4156, 2817, -3511 },
2000 { -717, 6568, 1863, -2951 },
2001 { -3873, 5682, 2164, -575 },
2002 { -2878, 5835, 440, -2597 },
2003 { -3228, 7701, 2610, -2514 },
2004 { -3608, 8888, 3377, -2468 },
2005 { -2582, 9717, 2519, -3126 },
2006 { -5238, 6202, 2866, -2831 },
2007 { -3428, 7370, 3056, -335 },
2008 { -1681, 8836, 1210, -2010 },
2009 { -3276, 6724, 1156, -3930 },
2010 { -894, 8149, 827, -1258 },
2011 { -2965, 8631, 2549, -1320 },
2012 { -3961, 6902, 3581, 55 },
2013 { -1894, 7745, 1750, -841 },
2014 { -821, 6844, 850, -676 },
2015 { -608, 6948, -4, -1376 },
2016 { 615, 6524, 1089, -1147 },
2017 { -2972, 5668, 1091, -489 },
2018 { -157, 4649, 2904, -413 },
2019 { 673, 5121, 1498, -66 },
2020 { -390, 5902, 1611, -245 },
2021 { -2349, 5478, 4772, -1320 },
2022 { 88, 6798, 1972, -1859 },
2023 { -1213, 5120, 2991, 200 },
2024 { -2347, 6040, 2839, 376 },
2025 { -578, 5976, 3364, -1796 },
2026 { -1391, 5872, 3002, -965 },
2027 { -564, 4496, 3946, -1186 },
2028 { -2299, 6386, 3135, -2176 },
2029 { -2131, 5641, 2011, 1223 },
2030 { -772, 5807, 1124, 895 },
2031 { -2837, 6758, 2297, -740 },
2032 { -3091, 6298, 1415, -2126 },
2033 { -4197, 6036, 1843, -3022 },
2034 { -41, 6459, 92, 344 },
2035 { -2241, 6860, 2095, -4396 },
2036 { -1931, 7088, 2117, -2135 },
2037 { -2375, 4422, 1688, -3169 },
2038 { -1742, 6674, 1538, -119 },
2039 { -4818, 7749, 4192, -1577 },
2040 { -2004, 5672, 193, -430 },
2041 { -3825, 6042, 2128, -1898 },
2042 { -1108, 8033, 2119, -3013 },
2043 { -2370, 5453, 1721, 266 },
2044 { -1570, 7134, 614, -2638 },
2045 { -1519, 8752, 3503, -4330 },
2046 { -2050, 3845, 2907, -1126 },
2047 { 5085, 4412, -335, -1923 },
2048 { 3618, 1423, -613, -4012 },
2049 { 4481, 3729, 589, -4631 },
2050 { 4270, 3216, -1763, -3168 },
2051 { 4241, 1796, -1701, -2796 },
2052 { 4787, 2338, -487, -3639 },
2053 { 2915, 3429, -621, -4753 },
2054 { 5175, 1660, -1265, -3223 },
2055 { 4280, 4057, -684, -4079 },
2056 { 4980, 4419, -1455, -2719 },
2057 { 5436, 2464, 387, -4197 },
2058 { 4507, 4018, 1121, -3314 },
2059 { 6020, 2401, -413, -3201 },
2060 { 4200, 3789, -333, -2813 },
2061 { 5229, 2493, -1194, -1878 },
2062 { 5851, 2695, -492, -2292 },
2063 { 5743, 3288, -697, -1221 },
2064 { 5692, 2612, 979, -2227 },
2065 { 5085, 2067, 1046, -1214 },
2066 { 3163, 2240, -2098, -3435 },
2067 { 5228, 1898, 145, -2397 },
2068 { 5860, 3976, -418, -2872 },
2069 { 6008, 3399, 1027, -3506 },
2070 { 4126, 2035, 1865, -893 },
2071 { 5375, 3596, 511, -2362 },
2072 { 1937, 1493, -852, -122 },
2073 { 3473, 4849, 547, -2603 },
2074 { 4631, 2977, 1141, -1768 },
2075 { 6149, 3050, -71, -1886 },
2076 { 4069, 4353, -289, -1429 },
2077 { 2884, 1225, -1388, 365 },
2078 { 5485, 2518, -235, -571 },
2079 { 1216, 4375, 1443, 398 },
2080 { 4988, 3106, 107, -1435 },
2081 { 4511, 2801, 307, -444 },
2082 { 3235, 4386, 327, -676 },
2083 { 2055, 3708, 1657, -305 },
2084 { 5839, 2374, 290, -1385 },
2085 { 5110, 3305, 1936, -4206 },
2086 { 6416, 2920, 338, -2736 },
2087 { 3350, 2824, -1269, -3881 },
2088 { 4840, 1815, 464, 186 },
2089 { 2399, 3332, 238, 1238 },
2090 { 3516, 1363, 1582, 688 },
2091 { 3582, 1874, 154, -4770 },
2092 { 3261, 2878, 886, 283 },
2093 { 3877, 2658, -327, 884 },
2094 { 4151, 3436, 2173, -2923 },
2095 { 3592, 3674, 1281, -1295 },
2096 { 4561, 3730, -1114, -1747 },
2097 { 4595, 3625, -558, -575 },
2098 { 2577, 2348, 2267, 120 },
2099 { 5242, 3299, 32, -3412 },
2100 { 4264, 3637, 709, -2320 },
2101 { 6556, 3570, -838, -2472 },
2102 { 5745, 4014, -940, -1973 },
2103 { 5629, 4475, 477, -3328 },
2104 { 5269, 3199, 1682, -3085 },
2105 { 4432, 2416, 1145, -3299 },
2106 { 4465, 2505, 2162, -2186 },
2107 { 4643, 4941, -88, -2885 },
2108 { 4568, 5231, 552, -3915 },
2109 { 5667, 3075, -1406, -2963 },
2110 { 5418, 5259, -771, -2818 },
2111 { -256, -7875, 511, -471 },
2112 { -1813, -7971, -424, -396 },
2113 { -306, -7006, 862, 282 },
2114 { -2306, -6422, -1440, 508 },
2115 { -245, -6787, 375, -100 },
2116 { -1309, -6065, -20, 779 },
2117 { -1656, -6047, -641, 1307 },
2118 { -1496, -6522, 964, 726 },
2119 { -2291, -6588, -202, 795 },
2120 { -762, -7522, 1454, -558 },
2121 { -2270, -7004, -834, -580 },
2122 { -1139, -7078, 259, 362 },
2123 { -2535, -7568, -1040, 49 },
2124 { -3786, -7280, 934, -476 },
2125 { -3336, -6368, 606, 1056 },
2126 { -3602, -6924, 52, 714 },
2127 { -2278, -6550, 1674, 204 },
2128 { -2855, -5765, 930, 1530 },
2129 { -2889, -7325, -215, 305 },
2130 { -2749, -6080, -237, 1452 },
2131 { -985, -6667, 1577, 400 },
2132 { -2036, -6083, 380, 1267 },
2133 { -2077, -7460, 380, -30 },
2134 { -1775, -7175, 1540, -386 },
2135 { -3065, -6927, 989, 168 },
2136 { -2836, -7602, 117, -3392 },
2137 { -1058, -6396, 593, -3078 },
2138 { -844, -6062, 999, -236 },
2139 { -3261, -6951, 1491, -720 },
2140 { -2186, -8484, 75, -1287 },
2141 { -2882, -7756, 456, -510 },
2142 { -1800, -6879, 960, -1183 },
2143 { -2554, -7241, 1614, -1474 },
2144 { -2608, -5305, 392, 851 },
2145 { -2973, -6562, -859, 858 },
2146 { -2640, -5989, 1031, -416 },
2147 { -977, -8366, 705, -1434 },
2148 { -1213, -7409, -77, -1390 },
2149 { -1335, -6657, 2125, -123 },
2150 { -2544, -6862, 1852, -737 },
2151 { -3235, -6422, 1752, -103 },
2152 { -1300, -7557, 939, -348 },
2153 { -3476, -7579, 202, -109 },
2154 { -2482, -6572, 753, 619 },
2155 { -2554, -8136, -648, -429 },
2156 { -1012, -7870, -3, -421 },
2157 { -3604, -6247, 32, -3102 },
2158 { -1486, -7271, 2013, -1021 },
2159 { -578, -6799, -523, 405 },
2160 { -2841, -5948, 1644, 911 },
2161 { -2411, -7473, 1084, -484 },
2162 { -2238, -6033, 294, -1059 },
2163 { -3459, -6470, -201, -790 },
2164 { -2027, -6009, 1833, 805 },
2165 { -1433, -8047, 1531, -1754 },
2166 { -3258, -7884, 763, -1422 },
2167 { -1544, -6928, -729, 478 },
2168 { -2314, -8415, 74, -3757 },
2169 { -3201, -5684, 95, -2214 },
2170 { -2423, -8694, 725, -3631 },
2171 { -3545, -7071, 1162, -1798 },
2172 { -294, -9662, 403, -2274 },
2173 { -2290, -5460, 1196, 402 },
2174 { -1603, -6713, 903, -2363 },
2175 { 4121, 2491, -3142, -2482 },
2176 { 4500, 3305, -3671, -1567 },
2177 { 5973, 3172, -1348, -534 },
2178 { 4830, 3379, -1549, 643 },
2179 { 5214, 3938, -2641, -2302 },
2180 { 4639, 4826, -5532, -847 },
2181 { 5639, 2731, -2170, -963 },
2182 { 6084, 3487, -3525, -1346 },
2183 { 5971, 3154, -2190, -2316 },
2184 { 5618, 4865, -6927, 116 },
2185 { 5345, 3568, -7391, 709 },
2186 { 5429, 5078, -3811, -1524 },
2187 { 6960, 2037, -3515, -1096 },
2188 { 7092, 2531, -4557, -588 },
2189 { 6061, 4247, -5651, -478 },
2190 { 4595, 3684, -4907, -827 },
2191 { 7497, 3213, -3048, -424 },
2192 { 5996, 2137, -3098, -1745 },
2193 { 6198, 5199, -2223, -2274 },
2194 { 6888, 2851, -2768, -1675 },
2195 { 6114, 4210, -2316, -954 },
2196 { 7127, 4242, -3041, -1408 },
2197 { 6126, 3668, -1517, -1427 },
2198 { 6245, 6129, -4225, -1186 },
2199 { 6816, 3213, -2101, -964 },
2200 { 5345, 5276, -2643, -847 },
2201 { 6592, 4665, -4338, 484 },
2202 { 6746, 3751, -3443, 124 },
2203 { 5453, 1980, -2738, 2606 },
2204 { 4662, 2179, -4226, -1059 },
2205 { 5571, 3208, -3554, 174 },
2206 { 5256, 4447, -1815, -1481 },
2207 { 5400, 2570, -1210, 235 },
2208 { 7056, 2549, -2674, 318 },
2209 { 4574, 4340, -2892, -130 },
2210 { 6203, 4587, -3273, -305 },
2211 { 5103, 1925, -2715, -2137 },
2212 { 3905, 4296, -1700, 247 },
2213 { 4421, 4605, -3299, 811 },
2214 { 5671, 1273, -3870, -924 },
2215 { 5486, 1805, -4901, 133 },
2216 { 6437, 2578, -1828, -106 },
2217 { 5530, 5253, -5058, 1223 },
2218 { 4816, 2025, -1215, 1443 },
2219 { 3457, 3525, -2456, 3217 },
2220 { 3316, 2595, -1108, 2459 },
2221 { 3068, 3810, -2207, 1926 },
2222 { 6351, 5436, -6470, 600 },
2223 { 6324, 4240, -5365, 2416 },
2224 { 4851, 4774, -4075, 1878 },
2225 { 4900, 3679, -5198, 1078 },
2226 { 8347, 3633, -4565, -171 },
2227 { 5244, 5718, -3853, 173 },
2228 { 3960, 3492, -2939, 2105 },
2229 { 6070, 3473, -2351, 161 },
2230 { 8228, 3034, -3360, -901 },
2231 { 7006, 3985, -1940, -1926 },
2232 { 7123, 4681, -4301, -878 },
2233 { 5122, 4097, -1851, -449 },
2234 { 6200, 2060, -2251, 1049 },
2235 { 7106, 3844, -7209, 2625 },
2236 { 7108, 3370, -6734, 533 },
2237 { 6859, 2849, -3992, 1360 },
2238 { 5458, 2278, -3253, 1131 },
2239 { -1072, -2109, 4783, -1073 },
2240 { -319, -2604, 4257, -2418 },
2241 { 2466, 1300, 3476, -314 },
2242 { 2847, -1502, 5296, -141 },
2243 { 1667, -1273, 5559, -2725 },
2244 { 2877, -3402, 6434, 204 },
2245 { 53, -2637, 5275, -1181 },
2246 { 1091, -2215, 5803, -1549 },
2247 { 2397, -922, 4327, 1182 },
2248 { 219, -3747, 4647, -1564 },
2249 { -29, -2705, 4812, 1277 },
2250 { 1499, -2608, 5648, 1407 },
2251 { 2139, -2399, 4202, 2791 },
2252 { -426, -2064, 5528, 151 },
2253 { 2560, -2803, 6179, -2806 },
2254 { 4537, -2479, 3797, 1095 },
2255 { 888, -3357, 5341, -415 },
2256 { 4460, -1814, 5388, -1227 },
2257 { 3920, -3268, 6364, -703 },
2258 { 3343, -4698, 4410, 784 },
2259 { 309, -1897, 6306, 1223 },
2260 { 958, -3318, 4254, -3167 },
2261 { -99, 1596, 6018, -1983 },
2262 { -429, -853, 6407, 878 },
2263 { 1170, -1322, 6290, -417 },
2264 { 2288, -505, 6303, -1999 },
2265 { 3312, -1674, 6749, -2494 },
2266 { -415, -3401, 4721, -371 },
2267 { -189, -1210, 4844, -2002 },
2268 { 888, -4142, 4377, 130 },
2269 { 2469, -4381, 5398, -2492 },
2270 { 2879, -2912, 5094, -2598 },
2271 { -717, -617, 5650, -685 },
2272 { 1470, -3863, 5352, -1684 },
2273 { 3935, -96, 3823, -730 },
2274 { 3769, -430, 3168, 694 },
2275 { 2556, 385, 3539, 512 },
2276 { 77, -1415, 5111, 2655 },
2277 { 2724, -2158, 6715, -822 },
2278 { 1832, 1001, 5385, -1900 },
2279 { 900, 2198, 4464, -559 },
2280 { 441, 69, 5921, -1743 },
2281 { -1161, 738, 6732, -308 },
2282 { 257, 2035, 4091, 736 },
2283 { 1607, 1288, 4355, -23 },
2284 { -13, 1316, 4180, 1672 },
2285 { 1511, 1336, 3057, 1435 },
2286 { 2189, -3813, 4530, 939 },
2287 { 3632, -706, 2646, 1375 },
2288 { 4266, -3761, 4241, 1077 },
2289 { 3101, -427, 5273, -1202 },
2290 { 2293, 276, 4810, -313 },
2291 { 3430, -1851, 3101, 2045 },
2292 { 3453, -2979, 5142, 942 },
2293 { 1683, -3281, 4802, 2002 },
2294 { 3954, -4715, 5611, 578 },
2295 { 1272, -155, 5085, 454 },
2296 { 128, -194, 5095, 1409 },
2297 { 820, 880, 5797, -2658 },
2298 { -1095, 656, 5774, 1095 },
2299 { 813, -1669, 4320, -3251 },
2300 { -119, 518, 6372, -651 },
2301 { 2922, -4299, 6115, -877 },
2302 { 4205, -4273, 4004, 2642 },
2303 { -1211, -3892, 224, 3127 },
2304 { -34, -4371, 1321, 2318 },
2305 { 77, -6326, 1201, 828 },
2306 { 3995, -3775, 1958, 3233 },
2307 { 178, -3301, 1985, 3318 },
2308 { 2330, -3801, 1033, 3195 },
2309 { 1413, -5536, 826, 1709 },
2310 { 2468, -3499, 3653, 3631 },
2311 { 741, -4617, 1723, 2008 },
2312 { 1246, -3043, 2978, 3949 },
2313 { -343, -4308, 2258, 2189 },
2314 { -682, -4640, 454, 2272 },
2315 { 1236, -4829, 2491, 1642 },
2316 { -512, -3766, 1182, 3052 },
2317 { 119, -3939, 3712, 971 },
2318 { -1145, -4624, 1360, 2281 },
2319 { 101, -4746, 2866, 1255 },
2320 { -1500, -5455, 539, 1637 },
2321 { -969, -5909, 1414, 1128 },
2322 { -1261, -4939, -231, 2022 },
2323 { -226, -5345, 1207, 705 },
2324 { 2712, -5109, 3205, 1866 },
2325 { -476, -5913, 273, 1208 },
2326 { -2039, -4464, 624, 2545 },
2327 { -2351, -3930, 2019, 2673 },
2328 { -2675, -4849, 1522, 1990 },
2329 { -1524, -3461, 1446, 3204 },
2330 { 477, -5314, 1710, 1577 },
2331 { 656, -3729, 2346, 2511 },
2332 { 550, -5917, 1975, 1040 },
2333 { 1728, -4704, 3067, 1058 },
2334 { -9, -5247, 506, 1760 },
2335 { -574, -5135, 1675, 1672 },
2336 { 2129, -3781, 3444, 2313 },
2337 { 1144, -4439, 2214, 2529 },
2338 { 1292, -4160, 3185, 1833 },
2339 { 2445, -3262, 2534, 3227 },
2340 { 2266, -4401, 2023, 2400 },
2341 { -587, -3602, 3408, 2067 },
2342 { -885, -4951, 3228, 1174 },
2343 { -728, -2711, 2807, 3552 },
2344 { 1019, -3043, 3195, 2954 },
2345 { 1888, -4615, 1140, 2454 },
2346 { 660, -5616, 754, 800 },
2347 { -1975, -5371, 1649, 1585 },
2348 { -1544, -5436, 2422, 1081 },
2349 { -422, -5882, 2390, 750 },
2350 { 1336, -5557, 2441, 1230 },
2351 { 136, -4001, 267, 2854 },
2352 { -522, -3289, 2226, 2728 },
2353 { -971, -4580, 2471, 708 },
2354 { 704, -5306, 3300, 1001 },
2355 { 325, -3464, 3555, 2398 },
2356 { 794, -3686, 848, 3169 },
2357 { 660, -3017, 4584, 3242 },
2358 { -1486, -3978, 2170, 1644 },
2359 { -1615, -4650, 2688, 1844 },
2360 { 750, -4578, 538, 2239 },
2361 { 1668, -5849, 1455, 1031 },
2362 { 3486, -4681, 2030, 2183 },
2363 { 2642, -5429, 1696, 1761 },
2364 { 4491, -4502, 3538, 2767 },
2365 { 3545, -4528, 3514, 2982 },
2366 { 3269, -3676, 2758, 3966 },
2367 { 5572, 1146, 209, -3379 },
2368 { 7459, 1053, 593, -1896 },
2369 { 4480, 200, -310, -4259 },
2370 { 5577, -939, 242, -3992 },
2371 { 8142, 442, 1257, -3083 },
2372 { 5442, 1261, 1424, -3236 },
2373 { 6260, -183, 3125, -2532 },
2374 { 7179, 889, 1618, -2548 },
2375 { 6416, 932, 2379, -2487 },
2376 { 7094, 2560, 961, -3392 },
2377 { 7322, 463, 2732, -3735 },
2378 { 6632, 1577, 1912, -3272 },
2379 { 6312, 1349, 3028, -3460 },
2380 { 6105, 386, 1213, -977 },