two more typos spotted by Mike
[ffmpeg.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 #ifndef FFMPEG_DCADATA_H
28 #define FFMPEG_DCADATA_H
29
30 #include <stdint.h>
31
32 /* Generic tables */
33
34 static const uint32_t dca_sample_rates[16] =
35 {
36     0, 8000, 16000, 32000, 0, 0, 11025, 22050, 44100, 0, 0,
37     12000, 24000, 48000, 96000, 192000
38 };
39
40 static const uint32_t dca_bit_rates[32] =
41 {
42     32000, 56000, 64000, 96000, 112000, 128000,
43     192000, 224000, 256000, 320000, 384000,
44     448000, 512000, 576000, 640000, 768000,
45     896000, 1024000, 1152000, 1280000, 1344000,
46     1408000, 1411200, 1472000, 1536000, 1920000,
47     2048000, 3072000, 3840000, 1/*open*/, 2/*variable*/, 3/*lossless*/
48 };
49
50 static const uint8_t dca_channels[16] =
51 {
52     1, 2, 2, 2, 2, 3, 3, 4, 4, 5, 6, 6, 6, 7, 8, 8
53 };
54
55 static const uint8_t dca_bits_per_sample[7] =
56 {
57     16, 16, 20, 20, 0, 24, 24
58 };
59
60
61 /* Adpcm data */
62
63 /* 16bits signed fractional Q13 binary codes */
64 static const int16_t adpcm_vb[4096][4] =
65 {
66   { 9928, -2618, -1093, -1263 },
67   { 11077, -2876, -1747, -308 },
68   { 10503, -1082, -1426, -1167 },
69   { 9337, -2403, -1495, 274 },
70   { 10698, -2529, -532, -1122 },
71   { 10368, -3974, -1264, -750 },
72   { 10070, -3667, 346, 863 },
73   { 10278, -3093, 311, -576 },
74   { 9894, -1330, -1428, -860 },
75   { 10544, -1923, -1058, -971 },
76   { 10996, -1632, -841, -1404 },
77   { 11832, -3465, 1658, -1990 },
78   { 10852, -688, -2658, -499 },
79   { 10546, -1749, -147, -1733 },
80   { 10801, -1004, -708, -1453 },
81   { 10588, -441, -2113, -952 },
82   { 10141, -3331, -582, -1432 },
83   { 9608, -2590, 383, 258 },
84   { 11422, -3265, 229, -1544 },
85   { 10460, -1338, -713, -1568 },
86   { 10306, -1721, -1660, -603 },
87   { 9580, -1812, -1235, -1061 },
88   { 11471, -2285, -1617, -607 },
89   { 10081, -2225, -1408, -868 },
90   { 10715, -2624, -1367, -704 },
91   { 10616, -1871, -2770, -35 },
92   { 9352, -2340, -1024, -1566 },
93   { 11065, -1458, -1926, -735 },
94   { 11334, -2056, -1041, -1144 },
95   { 9825, -2048, -794, -1536 },
96   { 11850, -2695, -1123, -867 },
97   { 10654, -2226, -1891, -373 },
98   { 10024, -1557, -808, -1069 },
99   { 11142, -1266, -3238, 128 },
100   { 11729, -3282, -514, -1011 },
101   { 11402, -2094, -2335, -189 },
102   { 10195, -3658, 181, -1875 },
103   { 11431, -2626, -404, -1377 },
104   { 11001, -3868, -619, -1077 },
105   { 10894, -2559, 274, -1758 },
106   { 9633, -1482, -2253, -773 },
107   { 11245, -3321, 830, -1972 },
108   { 9768, -2701, -199, -1859 },
109   { 10500, -2042, 525, -2043 },
110   { 11669, -4069, 293, -1468 },
111   { 9192, -1991, -583, -61 },
112   { 10057, -3220, -2015, -473 },
113   { 9497, -2315, -2490, -467 },
114   { 10455, -3069, -1194, -1007 },
115   { 9994, -1936, -60, -1225 },
116   { 9295, -2156, -1761, -1134 },
117   { 10085, -3748, -1026, 197 },
118   { 9334, -2360, 804, -351 },
119   { 11561, -2553, 1352, -2313 },
120   { 12837, -3998, 1195, -1958 },
121   { 10114, -1100, -2414, -394 },
122   { 9341, -2530, 315, 755 },
123   { 10131, -3164, 1411, -674 },
124   { 9535, -905, -1551, 579 },
125   { 11717, -1519, -3051, 91 },
126   { 9824, -2911, -2775, 192 },
127   { 9662, -2934, -561, 1450 },
128   { 11085, -3392, -1298, -659 },
129   { 8955, -2102, -1899, 703 },
130   { 8607, -1742, -4348, 814 },
131   { 7640, -2063, -3617, 52 },
132   { 7074, -826, -4325, 4375 },
133   { 7714, 584, -4238, 1927 },
134   { 6355, -952, -4912, 3127 },
135   { 7069, -660, -6413, 4087 },
136   { 8313, -132, -2964, -876 },
137   { 6952, -1422, -3962, -24 },
138   { 9299, -734, -3088, -263 },
139   { 9484, -574, -4513, 466 },
140   { 7246, -91, -3735, -704 },
141   { 8325, -1417, -3090, -530 },
142   { 6469, -1226, -4757, 829 },
143   { 6652, -368, -5682, 1393 },
144   { 7971, -1278, -2284, 1205 },
145   { 7229, -699, -3556, 1840 },
146   { 7994, 1284, -2729, 732 },
147   { 9005, -698, -4522, 2189 },
148   { 6963, 197, -2727, 380 },
149   { 8527, 135, -3991, -213 },
150   { 8840, 934, -3014, -567 },
151   { 10125, 418, -3284, -371 },
152   { 6367, 361, -2318, 2554 },
153   { 7892, 172, -5247, 4673 },
154   { 6674, 387, -5424, 4398 },
155   { 6240, 684, -4047, 1219 },
156   { 11170, -794, -5081, 1195 },
157   { 11765, -648, -6265, 2052 },
158   { 10845, -775, -3837, 366 },
159   { 12496, -689, -8260, 3562 },
160   { 7893, -1166, -4972, 988 },
161   { 8592, 1052, -5986, 3087 },
162   { 7277, 1874, -5685, 3579 },
163   { 6900, 2016, -4809, 3491 },
164   { 8530, -2405, -3250, 1986 },
165   { 9426, 494, -7067, 5038 },
166   { 10285, 564, -8210, 5370 },
167   { 8749, -2207, -3980, 2852 },
168   { 9653, -2686, -4300, 1400 },
169   { 9770, -2286, -5663, 4233 },
170   { 8490, -4, -7048, 4496 },
171   { 7697, -1209, -5328, 3183 },
172   { 6451, 801, -4324, -554 },
173   { 7387, 1806, -5265, 545 },
174   { 7450, -2302, -4445, 1418 },
175   { 8817, -1370, -5827, 2168 },
176   { 10324, -2406, -5629, 2579 },
177   { 8863, -2578, -3537, 467 },
178   { 6901, -1624, -3169, 3392 },
179   { 7846, 156, -6948, 3381 },
180   { 7928, -1115, -5972, 4816 },
181   { 6089, -599, -4368, -320 },
182   { 7833, 1246, -3960, -621 },
183   { 8931, 2521, -6768, 2052 },
184   { 8900, 1944, -4126, 40 },
185   { 7661, -34, -2855, 2480 },
186   { 5873, 474, -3262, 3712 },
187   { 7535, -234, -4699, 216 },
188   { 5856, 143, -5142, 73 },
189   { 8944, -106, -5874, 3663 },
190   { 7134, 426, -5879, 2895 },
191   { 10199, 1011, -4762, 369 },
192   { 8454, 264, -5971, 1291 },
193   { 7822, -2449, -4333, 4540 },
194   { 6200, -2758, -2632, 1497 },
195   { 6070, -4315, -2699, 414 },
196   { 7047, -3739, -3210, 1060 },
197   { 5675, -3801, -2717, -407 },
198   { 4789, -4063, -2628, -744 },
199   { 4023, -3366, -3133, -726 },
200   { 4296, -2407, -3381, -513 },
201   { 4388, -2931, -2820, 1512 },
202   { 4559, -4233, -1941, 1976 },
203   { 6702, -3208, -1755, 1680 },
204   { 4416, -3521, -1052, 2984 },
205   { 7154, -4266, -1203, 3732 },
206   { 3625, -4242, -3244, 1395 },
207   { 6518, -2856, -1304, 2887 },
208   { 6170, -1949, -3014, 3973 },
209   { 5189, -2451, -4020, 3477 },
210   { 6218, -2988, -1921, 3844 },
211   { 4827, -3688, -1928, 3343 },
212   { 6668, -3991, -2805, 3095 },
213   { 5297, -3115, -3684, 2390 },
214   { 5354, -4614, -2662, 1504 },
215   { 4196, -3091, -4147, 1135 },
216   { 3540, -2893, -4007, 100 },
217   { 5569, -1602, -4007, 1909 },
218   { 4341, -2091, -4272, 252 },
219   { 5559, -2878, -3832, 498 },
220   { 4548, -4479, -2898, -27 },
221   { 5176, -2494, -4635, 1476 },
222   { 3294, -3485, -3738, 716 },
223   { 4920, -1229, -4195, -365 },
224   { 3257, -3518, -3349, 2862 },
225   { 5286, -1948, -3485, -778 },
226   { 6502, -3051, -152, 2854 },
227   { 5864, -4192, -1076, 3451 },
228   { 4656, -3122, -3448, 179 },
229   { 5907, -754, -1596, 3116 },
230   { 7229, -3680, -1590, 2892 },
231   { 5107, -3888, -3364, 806 },
232   { 6764, -2635, -3450, 134 },
233   { 5258, -2827, -2844, -1052 },
234   { 5798, -1725, -4305, 205 },
235   { 5404, -1213, -3362, 449 },
236   { 6224, -2738, -3046, -581 },
237   { 4223, -2438, -2725, 3745 },
238   { 4751, -3411, -2123, 116 },
239   { 3868, -3000, -3954, 2297 },
240   { 6819, -2899, -4277, 2825 },
241   { 4207, -4754, -2808, 865 },
242   { 4804, -1494, -1997, 4688 },
243   { 5282, -2213, -548, 3559 },
244   { 5580, -1912, -566, 4370 },
245   { 6168, -2857, -672, 4053 },
246   { 6583, -4515, -2850, 1670 },
247   { 6511, -3093, -3988, 1421 },
248   { 4646, -1790, -1443, 3650 },
249   { 5915, -924, -2020, 896 },
250   { 7814, -4181, -3152, 2007 },
251   { 6190, -2238, -4817, 2279 },
252   { 4737, -4034, -3288, 1835 },
253   { 8161, -3633, -3423, 3137 },
254   { 7415, -2351, -2088, 4290 },
255   { 4106, -2517, -62, 2905 },
256   { 4909, -3145, -614, 4112 },
257   { 4938, -3281, -397, 1100 },
258   { -173, 919, 1589, -5363 },
259   { -13, 796, -295, -6655 },
260   { -1860, -829, 1141, -4555 },
261   { 2298, -838, -664, -5005 },
262   { -884, -1097, 2074, -4613 },
263   { -101, 281, 2846, -4535 },
264   { 1166, 453, 2429, -5910 },
265   { 879, -664, 2370, -5452 },
266   { 1415, -370, -1699, -4727 },
267   { -1413, 1277, -669, -6649 },
268   { 2133, 304, -968, -4624 },
269   { 380, 586, -2087, -4892 },
270   { 1336, 275, -82, -5789 },
271   { -2459, 1057, -34, -5416 },
272   { 2278, -1758, 866, -5653 },
273   { 1945, -2295, -149, -5302 },
274   { 1287, -3525, 996, -5255 },
275   { 2297, 803, 1177, -6067 },
276   { 187, -180, -619, -6202 },
277   { -793, -2537, 1554, -5057 },
278   { -2703, -204, -629, -5853 },
279   { -1007, -146, 313, -5582 },
280   { 830, 357, 869, -6363 },
281   { -228, -575, -3177, -4433 },
282   { -1001, -1553, -142, -5708 },
283   { -1644, 1683, 1721, -4533 },
284   { 893, 1924, -15, -5791 },
285   { 2195, 2061, -262, -5471 },
286   { 3031, 270, 311, -5096 },
287   { 1912, 1638, -1523, -4677 },
288   { -3142, -55, 253, -4914 },
289   { 356, -1680, 343, -6123 },
290   { -2241, -1734, -976, -5939 },
291   { -2196, -2893, 547, -4938 },
292   { -1245, 126, -1916, -5419 },
293   { -249, -3755, -1422, -5594 },
294   { 575, -2683, -1926, -4566 },
295   { -762, 1885, 192, -5880 },
296   { -811, -2562, -1068, -6013 },
297   { -2264, -3086, -976, -4775 },
298   { 70, -1215, 2880, -4410 },
299   { 714, -3760, 2916, -4691 },
300   { -244, -3404, 1740, -4493 },
301   { 684, -5137, -328, -5608 },
302   { -529, -3825, -1786, -4535 },
303   { -713, -4743, -1118, -5546 },
304   { 2718, -3788, 1798, -5708 },
305   { -1639, -3679, -1564, -6095 },
306   { 1693, -2642, -1389, -4539 },
307   { 505, -1573, -1651, -4878 },
308   { -835, -2256, -1941, -5352 },
309   { 1464, -411, 1993, -6441 },
310   { 493, -3184, -145, -6148 },
311   { -1413, 499, -1617, -6479 },
312   { -294, 1722, -1419, -5725 },
313   { -2937, -1528, -175, -4624 },
314   { -594, -5911, -56, -6146 },
315   { -300, -4275, 1156, -5947 },
316   { 552, -2643, 2669, -3959 },
317   { 905, -4158, 1789, -5809 },
318   { 1336, -2009, 2108, -5903 },
319   { 1555, -3600, 1110, -6759 },
320   { -1294, -3464, 77, -6084 },
321   { -1139, -4006, -1270, -4181 },
322   { -5094, -3296, 1092, -2847 },
323   { -5503, -2883, 1984, -2067 },
324   { -4671, -4218, -1417, -4132 },
325   { -3763, -3818, 1262, -3082 },
326   { -5132, -3430, 2928, -728 },
327   { -5957, -2877, 1251, -2446 },
328   { -4425, -2319, -212, -4276 },
329   { -6201, -1993, 1774, -2182 },
330   { -5500, -3836, 2201, -1396 },
331   { -6934, -2334, 2366, -1293 },
332   { -6124, -4140, 1337, -1977 },
333   { -6553, -4186, 1756, -1325 },
334   { -5126, -1258, 744, -3656 },
335   { -5167, -1390, 1581, -2895 },
336   { -4525, -3398, 2429, -1865 },
337   { -4076, -3183, 2027, -2510 },
338   { -6191, -3274, 1838, -1814 },
339   { -4454, -2753, 2723, -1185 },
340   { -6655, -4797, 251, -2595 },
341   { -6332, -2232, 1832, 217 },
342   { -5869, -1698, 134, 340 },
343   { -6614, -1045, 2126, -1932 },
344   { -4859, -2107, 2010, -2435 },
345   { -6274, -1622, 2808, -1374 },
346   { -3119, -3209, 521, -3988 },
347   { -5676, -2082, -420, -2711 },
348   { -7073, -3623, 696, -2343 },
349   { -5986, -4224, 572, -2454 },
350   { -4340, -4521, 882, -2771 },
351   { -6178, -1933, 535, -1444 },
352   { -4923, -4163, 1744, -2066 },
353   { -6410, -1519, 1058, -2683 },
354   { -5077, -1185, 856, -2216 },
355   { -7091, -2444, 687, -2597 },
356   { -5284, -2165, 3239, -993 },
357   { -4763, -1497, 197, -3179 },
358   { -4128, -4958, -396, -3578 },
359   { -5054, -3878, -647, -2672 },
360   { -7005, -3348, 1679, -1579 },
361   { -5767, -1017, 2582, -1915 },
362   { -7069, -2787, 1331, -2070 },
363   { -5532, -2296, 706, -2950 },
364   { -5059, -3543, -821, -3637 },
365   { -6639, -1835, 1016, -696 },
366   { -5611, -5220, -694, -3371 },
367   { -5994, -2803, 2933, -729 },
368   { -5948, -619, 1596, -2676 },
369   { -5486, -4419, 153, -3265 },
370   { -4329, -3440, 1646, -1439 },
371   { -4083, -3978, 177, -3569 },
372   { -4289, -2599, 1224, -3075 },
373   { -5707, -3253, 1912, -759 },
374   { -6606, -3437, 2562, -571 },
375   { -5254, -2444, 769, -352 },
376   { -6545, -3154, 582, -1103 },
377   { -5328, -2241, 2566, -1775 },
378   { -7216, -1936, 1538, -1983 },
379   { -3730, -2451, 426, -3869 },
380   { -5110, -1385, 2031, -1169 },
381   { -6470, -2715, 269, -3123 },
382   { -5806, -2480, -97, -3832 },
383   { -3683, -4916, -490, -4330 },
384   { -6341, -2083, -669, -115 },
385   { -4913, -4079, -837, -4673 },
386   { -3274, -2497, 2334, -2652 },
387   { -1286, -1731, 2550, -3756 },
388   { -3375, -877, 926, -3977 },
389   { -2525, -2079, 2879, -2625 },
390   { -5308, -504, 3111, -1607 },
391   { -4904, 460, 4093, -1232 },
392   { -1993, 1616, 4656, -1913 },
393   { -3481, -1176, 3119, -2236 },
394   { -4132, -1502, 2339, -2545 },
395   { -2542, 1151, 3569, -2550 },
396   { -4381, 430, 3147, -2082 },
397   { -3888, 867, 3899, -1657 },
398   { -2861, 1290, 4202, -1979 },
399   { -3893, -253, 2363, -2764 },
400   { -1705, 688, 3827, -2923 },
401   { -2223, 2312, 3700, -3148 },
402   { -1986, -720, 5021, -795 },
403   { -3177, 242, 1952, -3352 },
404   { -1854, 1509, 2528, -3815 },
405   { -3173, 97, 5019, -706 },
406   { -2689, -145, 1375, -3915 },
407   { -4838, -385, 2488, -2427 },
408   { -4557, -355, 1603, -3060 },
409   { -3522, 1832, 3292, -2674 },
410   { -3769, 780, 2378, -2704 },
411   { -4323, -1932, 3414, -1169 },
412   { -2740, 1158, 2729, -3273 },
413   { -3647, 210, 1464, -2892 },
414   { -2342, -2097, 1513, -3727 },
415   { -4422, -1242, 3130, -1833 },
416   { -1308, -1039, 4290, -1875 },
417   { -1754, -2535, 3298, -2314 },
418   { -4102, -186, 4037, -1094 },
419   { -1008, 1570, 3290, 171 },
420   { -3322, -2621, 2791, -1536 },
421   { -2539, -2597, 3442, -1672 },
422   { -3411, -2015, 3670, -1174 },
423   { -2097, 730, 5581, -1399 },
424   { -1510, -74, 4820, -2004 },
425   { -4086, -868, 4425, -771 },
426   { -956, -986, 3640, -2925 },
427   { -2087, -1250, 3464, -2458 },
428   { -3308, -2411, 1334, -3667 },
429   { -2264, -389, 4004, -1854 },
430   { -680, 239, 4058, -3388 },
431   { -1357, 30, 2993, -3658 },
432   { -3601, -552, 1177, -1136 },
433   { -2641, 442, 4374, -1625 },
434   { -2525, 770, 1640, -3895 },
435   { -3172, -891, 3893, -1608 },
436   { -2996, 13, 3277, -2414 },
437   { -899, 1055, 4470, -2501 },
438   { -422, -584, 3475, -3787 },
439   { -1978, -593, 2566, -3415 },
440   { -3150, -1280, 2362, -3047 },
441   { -3592, 224, 1026, -3932 },
442   { -4840, -1189, 3633, -879 },
443   { -3952, -2255, 2916, -1826 },
444   { -1695, 28, 1810, -349 },
445   { -745, -2484, 3308, -3293 },
446   { -1016, 1563, 5365, -1823 },
447   { -2172, -1787, 4266, -1287 },
448   { -1241, -1951, 3982, -2413 },
449   { -2009, -2639, 2330, -3480 },
450   { 5105, -1618, -2588, -2015 },
451   { 6497, -1523, -3218, -910 },
452   { 6526, -2305, -2029, -1790 },
453   { 5289, -99, -3436, -400 },
454   { 5781, -1623, -1577, -2617 },
455   { 5259, -670, -3125, -1700 },
456   { 6343, -1256, -331, -3222 },
457   { 7967, -678, -2195, -1462 },
458   { 6119, -695, -2988, -1538 },
459   { 6108, 494, -3359, -1548 },
460   { 5067, 969, -2328, -2707 },
461   { 7595, -435, -1497, -2056 },
462   { 6929, -719, -2420, -1665 },
463   { 5190, 584, -2982, -2103 },
464   { 6106, -444, -1411, -2739 },
465   { 5584, 289, -1804, -2803 },
466   { 5276, 227, -1180, -3361 },
467   { 7544, -1525, -1834, -1725 },
468   { 5986, -1470, -2606, -1701 },
469   { 5096, -765, -1712, -3006 },
470   { 5423, -149, -3933, -1157 },
471   { 7651, 26, -2445, -1507 },
472   { 4745, -464, -1735, -2362 },
473   { 5352, -1011, -1094, -1999 },
474   { 6300, -672, -542, -1950 },
475   { 6675, -1020, -1318, -1059 },
476   { 7218, -2036, -603, -2462 },
477   { 7755, -1514, -2430, -1229 },
478   { 5041, 449, -1056, -2405 },
479   { 6710, -2277, -1344, -2284 },
480   { 6824, -1347, -2254, 251 },
481   { 6068, -1857, -983, -1316 },
482   { 5603, -2177, -2730, -1477 },
483   { 5838, -1059, -3604, -970 },
484   { 5076, -789, -335, -2413 },
485   { 6191, -1634, -2000, -2129 },
486   { 5092, -1292, -2543, -1034 },
487   { 5305, 435, -1710, -1850 },
488   { 6140, 561, -2176, -2380 },
489   { 6752, 348, -2496, -1890 },
490   { 6405, 273, -1098, -2778 },
491   { 6942, -1340, -496, -1381 },
492   { 5238, -687, -2454, -2349 },
493   { 6959, -882, -1833, -2061 },
494   { 6292, -253, -2125, -2199 },
495   { 5838, -574, -759, -3215 },
496   { 6954, -1484, -640, -2771 },
497   { 7498, -1706, -1210, -2154 },
498   { 6772, -1003, -1235, -2532 },
499   { 6014, 228, -2154, -1108 },
500   { 6943, -2178, -2644, -1122 },
501   { 7262, -763, -3056, -1090 },
502   { 6273, -1478, -1072, 177 },
503   { 4734, 425, -2912, 357 },
504   { 7129, 168, -1537, -2327 },
505   { 7204, -434, -746, -2660 },
506   { 6879, 57, -3087, -1310 },
507   { 4623, -610, -718, -3459 },
508   { 6565, -543, -1998, -339 },
509   { 4752, -277, -2066, -1405 },
510   { 7435, -1416, -1904, -505 },
511   { 4076, 150, -1222, -3556 },
512   { 7082, -28, -1456, -1174 },
513   { 5941, -446, -1326, -1158 },
514   { 3870, -1648, -2474, -2589 },
515   { 858, 37, -3387, -3721 },
516   { 3557, -1503, -1664, -3383 },
517   { 3336, -1972, -3079, -2216 },
518   { 3186, 60, -4185, -863 },
519   { 3456, -773, -3066, -2457 },
520   { 4131, -913, -2060, -2601 },
521   { 4431, -691, -4114, -972 },
522   { 3461, -334, -3680, -1751 },
523   { 2006, -459, -2214, -3827 },
524   { 1322, 32, -2816, -3203 },
525   { 4425, -1897, -2791, -1946 },
526   { 4504, 23, -3421, -1909 },
527   { 3090, -885, -2366, -3264 },
528   { 3209, -2363, -3730, -834 },
529   { 3312, -1471, -3641, -1579 },
530   { 4184, -1669, -3323, -1248 },
531   { 2190, -931, -3302, -2944 },
532   { 2947, -229, -4791, -1195 },
533   { 2020, -1626, -2700, -3125 },
534   { 2214, -326, -4352, -1683 },
535   { 3286, -2619, -2412, -2458 },
536   { 1000, -2571, -4129, -2158 },
537   { 2496, -2627, -3611, -1433 },
538   { 2043, -2191, -2167, -3827 },
539   { 2571, -2544, -1915, -3222 },
540   { 2022, -1501, -3856, -2165 },
541   { 2685, -1180, -1461, -4038 },
542   { 1610, -2313, -4391, -1173 },
543   { 2340, -2490, -4215, -516 },
544   { 1742, -2615, -3632, -2146 },
545   { 523, -1293, -4246, -2442 },
546   { 3725, -2723, -3014, -1576 },
547   { 3554, -1381, -4200, -824 },
548   { 1291, -1594, -4777, -1430 },
549   { 1452, 515, -2960, -3830 },
550   { 4264, -894, -3305, -1826 },
551   { 2606, -1452, -4522, -966 },
552   { 1196, -830, -4807, -1816 },
553   { 1054, -775, -2616, -4071 },
554   { 4206, 415, -4344, -1132 },
555   { 3044, 491, -4126, -1934 },
556   { 988, -901, -3353, -3443 },
557   { 1729, -3063, -2267, -3370 },
558   { 3915, 912, -2989, -2387 },
559   { 3781, 300, -2457, -3050 },
560   { 2712, 924, -1350, -1206 },
561   { 4230, 405, -2343, 665 },
562   { 1878, -873, -225, -29 },
563   { 3510, 56, -1334, -3420 },
564   { 2850, 1447, -2651, -3150 },
565   { 1510, -706, -4125, -2483 },
566   { 3115, 793, -1692, -3894 },
567   { 2667, 213, -2973, -2786 },
568   { 1184, -2384, -3051, -3173 },
569   { 2139, 796, -2079, -3697 },
570   { 1464, -1483, -3726, -2754 },
571   { 2407, -1148, -3915, -1569 },
572   { 2612, -1779, -3217, -2271 },
573   { 2406, -2870, -2937, -2496 },
574   { 2140, 126, -3646, -2758 },
575   { 2952, -1036, 268, -1423 },
576   { 93, -1931, -3841, -3535 },
577   { 389, -2953, -3383, -3343 },
578   { 8652, -5511, -1662, 565 },
579   { 7427, -2791, -2535, -842 },
580   { 8541, -4253, -1407, -988 },
581   { 8018, -3203, -2998, 105 },
582   { 7231, -3926, -958, 1308 },
583   { 7331, -3690, -363, 2586 },
584   { 6803, -3646, -2226, -903 },
585   { 8163, -2811, -477, -2235 },
586   { 9356, -3818, -1685, -684 },
587   { 8466, -2854, -302, -698 },
588   { 8458, -3224, 517, 279 },
589   { 8074, -2619, -1326, 2596 },
590   { 8779, -2761, -2527, -441 },
591   { 6533, -2887, -899, -696 },
592   { 7394, -2305, -1642, -120 },
593   { 8281, -3780, -22, 1305 },
594   { 9158, -4413, -779, 901 },
595   { 9031, -5240, -1109, 1678 },
596   { 8717, -3650, 410, -1075 },
597   { 7317, -3197, -818, -2264 },
598   { 7934, -2385, -1214, -1886 },
599   { 8256, -4441, -291, -587 },
600   { 7358, -3395, 1090, -270 },
601   { 9446, -4910, -1343, -473 },
602   { 8187, -4726, -808, 1166 },
603   { 7504, -3845, -47, 267 },
604   { 8029, -2146, -1283, -383 },
605   { 7461, -2705, -853, 783 },
606   { 9367, -3636, -645, -354 },
607   { 8955, -3473, -308, -1947 },
608   { 8676, -2683, -2099, 1485 },
609   { 7481, -3003, -871, -444 },
610   { 8015, -2839, -1673, 1175 },
611   { 6947, -4643, -1527, -1047 },
612   { 7622, -2575, -137, -960 },
613   { 9388, -4279, -707, -1322 },
614   { 8382, -5259, -1283, -565 },
615   { 6856, -4138, -1030, 630 },
616   { 8659, -2571, -1124, -1666 },
617   { 8763, -3807, -537, 2543 },
618   { 8049, -3578, -2186, -604 },
619   { 8272, -2351, -1985, -1214 },
620   { 6855, -3796, -1527, -1631 },
621   { 7178, -2896, -1600, -1756 },
622   { 7040, -2888, -89, -1586 },
623   { 6261, -3403, -264, 998 },
624   { 7756, -4699, -1543, -834 },
625   { 7682, -4622, -758, -1721 },
626   { 8839, -4232, -2932, 1959 },
627   { 9363, -4679, -1956, 39 },
628   { 7883, -3616, -1414, -1432 },
629   { 8828, -3188, -1356, -1312 },
630   { 7746, -3987, -121, -2424 },
631   { 9262, -3256, -693, 818 },
632   { 7670, -3420, -148, 3504 },
633   { 7344, -3183, 608, 1595 },
634   { 8976, -4139, -1848, 1304 },
635   { 6708, -4131, 33, -852 },
636   { 7840, -4429, -2275, 79 },
637   { 8980, -3858, -2838, 453 },
638   { 7815, -4604, -2563, 944 },
639   { 8372, -4422, -1783, 3071 },
640   { 8623, -5128, -1754, 2888 },
641   { 7462, -3281, 889, 920 },
642   { 8416, -59, -1320, -1825 },
643   { 7928, -1488, -414, -2499 },
644   { 8110, -977, -1047, -2042 },
645   { 8278, -687, -1597, -1550 },
646   { 7988, -174, -977, -2106 },
647   { 8609, -1547, -1628, -1527 },
648   { 9000, -1798, -946, -1761 },
649   { 8954, -872, -1404, -1594 },
650   { 8939, 466, -748, -1212 },
651   { 9549, -329, -177, -1360 },
652   { 9411, -18, -1126, -1568 },
653   { 8859, -782, -488, -1338 },
654   { 8955, -218, -43, -1209 },
655   { 9131, -69, -453, -1001 },
656   { 9069, -1519, -1091, -1199 },
657   { 9247, -1309, -566, -1146 },
658   { 8528, -1617, -287, -1313 },
659   { 7763, -745, -149, -2040 },
660   { 8294, -343, 257, -2633 },
661   { 10149, -893, -552, -1649 },
662   { 9398, -915, 218, -2042 },
663   { 9703, -1194, -675, -1592 },
664   { 9586, -700, -427, -1710 },
665   { 8930, 497, -1445, -1218 },
666   { 9285, -1323, -163, -1552 },
667   { 8431, -1289, -985, -1404 },
668   { 8965, -655, 653, -1483 },
669   { 9542, -1001, -951, -1128 },
670   { 9205, -647, -37, -882 },
671   { 8603, -56, 514, -1793 },
672   { 9300, -12, -1324, -567 },
673   { 8773, 238, -184, -1456 },
674   { 9941, -1306, -69, -1792 },
675   { 9360, 279, -376, -1919 },
676   { 9180, -285, 95, -2170 },
677   { 9922, -501, -970, -1570 },
678   { 8341, -1493, -856, -2092 },
679   { 8780, -981, -850, -1014 },
680   { 9721, -548, -1504, -1094 },
681   { 9973, -1493, 482, -2105 },
682   { 8707, -333, -1027, -1087 },
683   { 9098, -469, -315, -1723 },
684   { 8879, -1050, -661, -2020 },
685   { 8857, 602, -866, -1918 },
686   { 8945, -1025, -2154, -1071 },
687   { 8484, -1930, -468, -2179 },
688   { 9177, -1903, -224, -2112 },
689   { 8652, -137, -2097, -1214 },
690   { 9063, -973, -1405, -772 },
691   { 9328, -456, 662, -2469 },
692   { 10101, -697, 127, -2113 },
693   { 9685, 811, -2359, -1024 },
694   { 8586, -94, -460, -1982 },
695   { 7924, -141, -509, -2513 },
696   { 7773, -669, -107, -2835 },
697   { 8636, -1064, -46, -2409 },
698   { 9748, 596, -1815, -1349 },
699   { 8924, 304, 547, -2614 },
700   { 9442, 746, -1153, -1679 },
701   { 9454, -278, -529, -1976 },
702   { 8488, 561, -32, -2160 },
703   { 10083, -63, -1544, -1364 },
704   { 9390, -1278, 568, -1131 },
705   { 9740, -49, -2253, -910 },
706   { 3636, -2391, -1115, -3614 },
707   { 6014, -3204, -1902, -1808 },
708   { 5787, -3497, -1116, -2590 },
709   { 4365, -3046, -1632, -2668 },
710   { 4733, -2192, -2029, -2468 },
711   { 5412, -2753, -1633, -2464 },
712   { 4455, -3375, -767, -3399 },
713   { 4456, -1644, -983, -2841 },
714   { 4039, -2523, 38, -3967 },
715   { 3406, -2662, 72, -4757 },
716   { 4279, -2005, 1055, -4399 },
717   { 4321, -1377, -860, -3786 },
718   { 3743, -5739, -651, -3047 },
719   { 3528, -5510, 361, -4060 },
720   { 6496, -4886, -136, -2689 },
721   { 4513, -5254, 551, -4010 },
722   { 6557, -3413, -92, -3063 },
723   { 4186, -2059, 187, 47 },
724   { 6210, -4117, -1256, -1985 },
725   { 6038, -4343, 351, -2124 },
726   { 4305, -4780, -2077, -1897 },
727   { 4480, -3815, -2228, -1533 },
728   { 5582, -3689, 1221, -3429 },
729   { 5532, -4874, 1195, -2765 },
730   { 6518, -2853, -905, -2568 },
731   { 5467, -2192, 470, -4115 },
732   { 4139, -1577, 240, -3493 },
733   { 5281, -1926, -729, -3340 },
734   { 5214, -2870, 1359, -4289 },
735   { 3046, -3510, -1536, -3214 },
736   { 5433, -2881, -1230, -1184 },
737   { 4861, -3932, -1071, -2791 },
738   { 5693, -4234, -1906, -1502 },
739   { 4004, -3935, -1804, -2383 },
740   { 3728, -3792, 681, -4773 },
741   { 3621, -3030, -1951, -2598 },
742   { 5133, -3903, 44, -3700 },
743   { 3561, -3451, 1183, -5301 },
744   { 5026, -2762, -2341, -1780 },
745   { 5841, -2492, -467, -3210 },
746   { 5591, -1791, 497, -2472 },
747   { 5054, -3898, -1822, -2097 },
748   { 5813, -2792, 83, -1469 },
749   { 4432, -4497, 1670, -5193 },
750   { 5338, -4653, -1109, -2200 },
751   { 3239, -4401, -648, -3655 },
752   { 2147, -3598, -1200, -4242 },
753   { 4417, -2271, -1552, -3210 },
754   { 6494, -4360, 852, -3565 },
755   { 2393, -6358, -856, -4524 },
756   { 4959, -4196, -847, -1403 },
757   { 4924, -5438, -226, -3026 },
758   { 4254, -5303, -1306, -2424 },
759   { 4121, -3126, -2334, -1981 },
760   { 3437, -4443, -1464, -2953 },
761   { 3203, -3459, -529, -4339 },
762   { 5896, -5945, 543, -3246 },
763   { 1987, -4733, -220, -4863 },
764   { 4358, -4431, -514, -3081 },
765   { 4583, -2416, -492, -2287 },
766   { 2943, -5035, 419, -4927 },
767   { 5358, -5129, 987, -4309 },
768   { 4460, -3392, 1752, -5634 },
769   { 3415, -4633, 1507, -5945 },
770   { 811, -4692, -445, 2333 },
771   { 1009, -5613, -1857, 1360 },
772   { 1338, -2712, -2720, 3036 },
773   { 1002, -3754, -2582, 2344 },
774   { 750, -4608, -2334, 714 },
775   { 2043, -3207, -2822, 2173 },
776   { -140, -4654, -2953, 357 },
777   { -54, -4026, -2376, 2695 },
778   { 1858, -5022, -717, 2287 },
779   { 2064, -3894, -722, 3255 },
780   { 2727, -4558, -332, 2603 },
781   { 1810, -5378, 283, 1826 },
782   { 3935, -4326, 762, 3383 },
783   { -767, -4697, -2510, 1922 },
784   { 2146, -4312, -3090, 1641 },
785   { 54, -5881, -2114, 921 },
786   { 1992, -5766, -640, 1574 },
787   { 1200, -5371, -1114, 1828 },
788   { 2973, -5337, 34, 2266 },
789   { 1531, -5018, -2817, 1192 },
790   { 3078, -4570, 117, 1990 },
791   { 924, -4286, -1388, 2713 },
792   { 142, -5058, -2848, 1487 },
793   { -106, -6180, -881, 842 },
794   { 673, -5433, -229, 1596 },
795   { 783, -5710, -2784, 562 },
796   { 1935, -5729, -2009, 856 },
797   { -410, -3375, -3326, 2734 },
798   { 234, -3000, -2628, 3260 },
799   { 733, -3405, -3806, 1589 },
800   { 771, -4285, -3544, 1314 },
801   { 1192, -3563, -3960, 2178 },
802   { 206, -5555, -1250, 1546 },
803   { -130, -3815, -1210, 3041 },
804   { 646, -3940, -393, 2992 },
805   { -184, -4931, -1767, 1925 },
806   { 2746, -5120, -2275, 1464 },
807   { 2440, -3731, -3352, 2729 },
808   { -490, -4942, -3779, 997 },
809   { 68, -2636, -4167, 3778 },
810   { 48, -3986, -4118, 2106 },
811   { -978, -5486, -1336, 1390 },
812   { 1126, -5297, -855, 640 },
813   { -472, -3975, -3622, 1557 },
814   { 2456, -5344, -1523, 1648 },
815   { -774, -5652, -2417, 1147 },
816   { 995, -6122, -812, 1132 },
817   { 3282, -4571, -1763, 2175 },
818   { 3655, -3862, -676, 3568 },
819   { 3038, -3647, -1672, 3381 },
820   { 2595, -2964, -2772, 3263 },
821   { 4176, -3353, -1148, 4354 },
822   { 1603, -3442, -1500, 3444 },
823   { 828, -6226, -1783, 678 },
824   { 1421, -3333, -3080, 3403 },
825   { 1121, -4727, -1924, 1984 },
826   { -186, -5083, -682, 1796 },
827   { 819, -2778, -3488, 530 },
828   { 421, -2873, -3832, 2596 },
829   { 2164, -4263, -1605, 2282 },
830   { 585, -4437, -682, -491 },
831   { -644, -4452, -1157, 2325 },
832   { 1991, -4299, 210, 2834 },
833   { 2135, -3632, -2113, 665 },
834   { -7482, -2724, -2662, -1380 },
835   { -6983, -2166, -3756, -3509 },
836   { -7085, -1439, -2397, -3112 },
837   { -7760, -3049, -3319, -2822 },
838   { -8413, -2760, -4406, -3298 },
839   { -5995, -3943, -1260, -3750 },
840   { -7879, -1554, -3464, -2606 },
841   { -6314, -2034, -3878, -1681 },
842   { -8849, -2084, -1399, -1231 },
843   { -7153, -2602, -1384, -817 },
844   { -8041, -2571, -407, -2785 },
845   { -7246, -2233, -1578, 260 },
846   { -7336, -3883, -4061, -1342 },
847   { -7619, -3908, -2342, 382 },
848   { -8684, -3724, -1662, -727 },
849   { -7850, -2922, -1770, -3449 },
850   { -6766, -2034, -1293, -1988 },
851   { -6895, -2116, -968, -3744 },
852   { -7136, -5147, -2618, -2809 },
853   { -8224, -3724, -2519, -1589 },
854   { -6711, -2750, -3021, -219 },
855   { -8059, -1638, -1102, -3175 },
856   { -8710, -4839, -3963, -3143 },
857   { -9363, -4965, -3257, -1002 },
858   { -6099, -1751, -3157, -395 },
859   { -6453, -3216, -4597, -483 },
860   { -7879, -5477, -839, -2638 },
861   { -7202, -4038, -526, -2856 },
862   { -8022, -1228, -1910, -1646 },
863   { -9117, -1393, -1582, -2535 },
864   { -9095, -2693, -636, -2605 },
865   { -9076, -2580, -3481, -2519 },
866   { -8327, -4859, -2422, 83 },
867   { -8368, -2129, -2324, -2173 },
868   { -8554, -4563, -3842, -2007 },
869   { -10462, -4261, -1934, -2084 },
870   { -9717, -3187, -2294, -1896 },
871   { -9625, -3889, -3020, -3224 },
872   { -9857, -4955, -4239, -2184 },
873   { -9752, -2351, -2277, -3129 },
874   { -7219, -1302, -2639, -1603 },
875   { -7477, -4360, -3718, -559 },
876   { -5680, -2033, -2326, -3078 },
877   { -10190, -5548, -4643, -3601 },
878   { -9431, -4121, -879, -2479 },
879   { -8365, -5450, -2020, -1439 },
880   { -6289, -5178, -1605, -3845 },
881   { -8319, -3866, -687, -2792 },
882   { -8131, -1031, -3608, -3947 },
883   { -10510, -2560, -1199, -2082 },
884   { -11015, -3640, -2748, -3041 },
885   { -8762, -5022, -5231, -1162 },
886   { -10153, -2715, -4648, -4859 },
887   { -7930, -5205, -1900, -3600 },
888   { -9561, -3548, -4812, -3722 },
889   { -7663, -4709, -1180, -1475 },
890   { -9073, -5707, -1815, -2980 },
891   { -8602, -2363, -2675, -3770 },
892   { -9967, -5614, -3575, -3838 },
893   { -8324, -1005, -2131, -3254 },
894   { -10331, -5737, -2550, -2940 },
895   { -8234, -3354, -3361, -4479 },
896   { -8140, -1951, -4526, -4545 },
897   { -6679, -2662, -2284, -4182 },
898   { -1122, -1514, -6427, -212 },
899   { 54, -1660, -5424, -1404 },
900   { 254, -2778, -5222, 846 },
901   { -267, -1661, -6577, 814 },
902   { -305, -2021, -5759, 1484 },
903   { -1791, -2446, -6867, -86 },
904   { -2929, -3158, -6603, -1799 },
905   { -1391, -3189, -5557, -1053 },
906   { -1602, -884, -6767, -1213 },
907   { -361, -318, -6219, -44 },
908   { -4078, -2635, -5523, -433 },
909   { -956, 478, -4382, 1470 },
910   { -3300, -2462, -6021, -2721 },
911   { 708, -2434, -5085, -540 },
912   { -2435, -3607, -5647, -2110 },
913   { -491, -1134, -4681, -2886 },
914   { 87, -3435, -4641, -1194 },
915   { -586, -2927, -4784, 366 },
916   { -1394, -2326, -6021, 350 },
917   { 97, -2519, -4678, -2120 },
918   { -1547, -1907, -5069, -2993 },
919   { 268, -3724, -4719, 127 },
920   { -827, -1190, -5912, 1144 },
921   { -3959, -2322, -6898, -1974 },
922   { -2728, -2228, -6426, -562 },
923   { -456, -666, -5785, -1609 },
924   { 531, -1096, -5731, -656 },
925   { -3569, -688, -3915, 110 },
926   { -4752, -1725, -4393, -377 },
927   { -3210, -3315, -6960, -840 },
928   { -688, -3416, -4971, 1221 },
929   { -1833, 77, -6491, -2434 },
930   { -239, -255, -6850, -886 },
931   { -2112, -1490, -6291, -2689 },
932   { -1544, -4579, -5198, -1261 },
933   { -2771, -4014, -5520, 683 },
934   { -1635, -2829, -5512, 1214 },
935   { -958, -2582, -4823, 2360 },
936   { -2077, -4566, -4642, 365 },
937   { -3112, -4214, -5960, -823 },
938   { -2467, -2510, -4858, 1467 },
939   { -1561, -3399, -5822, 211 },
940   { -775, -1081, -4424, 2636 },
941   { -1263, 25, -6378, -1392 },
942   { -3476, -366, -5417, -1393 },
943   { -3176, -1476, -4149, 1466 },
944   { -2479, 518, -4448, -257 },
945   { -2992, 158, -4660, -1279 },
946   { -1320, -3872, -4479, 1147 },
947   { -1475, -312, -5318, 539 },
948   { -3527, -1679, -5860, -1681 },
949   { -3397, -3438, -5593, 1866 },
950   { -4089, -2439, -4763, 1275 },
951   { -748, -4513, -4687, -48 },
952   { -2166, -4531, -4691, -2856 },
953   { -2385, -853, -6035, -627 },
954   { -1194, -4091, -4472, -1963 },
955   { -682, -3234, -4084, -3033 },
956   { -3255, -5015, -5328, -12 },
957   { -2313, -3436, -4601, -155 },
958   { -2792, -1038, -6947, -2019 },
959   { -1244, -1526, -5771, -1882 },
960   { -4679, -3731, -5506, 283 },
961   { -3062, -66, -3558, -758 },
962   { -4895, -1187, 4751, 3728 },
963   { -7600, -2752, 3320, 4613 },
964   { -5703, -2975, 3944, 2659 },
965   { -4972, -1257, -246, 2952 },
966   { -4221, -2487, 1702, 4295 },
967   { -2900, -1529, 2458, 4935 },
968   { -5061, 407, 2416, 4050 },
969   { -6931, -3478, 2761, 2213 },
970   { -6037, -3921, 3192, 1866 },
971   { -6113, -811, 2407, 3782 },
972   { -5878, -1716, 1207, 3478 },
973   { -5953, -2853, 2207, 2712 },
974   { -6807, -3223, 2749, 3595 },
975   { -3272, -3157, 1389, 3788 },
976   { -5368, -1904, 1980, 5077 },
977   { -7235, -1398, 3075, 4548 },
978   { -4765, -3487, 2755, 2796 },
979   { -7658, -4435, 2694, 2582 },
980   { -6997, -4282, 456, 3832 },
981   { -5563, -3115, -63, 3713 },
982   { -4244, -4220, 1450, 2767 },
983   { -3801, -2194, 190, 4303 },
984   { -5458, -4119, 1958, 2274 },
985   { -7300, -3469, 3514, 3193 },
986   { -4594, -2067, 775, 4752 },
987   { -3389, -1654, 1464, 5412 },
988   { -4845, -3483, 964, 3437 },
989   { -6007, -2818, 1666, 4659 },
990   { -8709, -5007, 1757, 3287 },
991   { -5833, -4389, 1025, 3171 },
992   { -5788, -1780, 3944, 3661 },
993   { -4430, -920, 1938, 4753 },
994   { -7066, -1857, 4591, 4538 },
995   { -3549, -513, 1427, 5317 },
996   { -7517, -1220, 2883, 3049 },
997   { -7605, -2687, 1874, 2735 },
998   { -8718, -4035, 2676, 3730 },
999   { -7990, -3907, 1185, 2607 },
1000   { -6058, -1744, 3349, 5157 },
1001   { -5954, 565, 3161, 3250 },
1002   { -6478, -612, 1930, 2271 },
1003   { -6535, -1445, -2, 1618 },
1004   { -8963, -4151, 1192, 4044 },
1005   { -7227, -3570, 1600, 4234 },
1006   { -4674, 79, 595, 3015 },
1007   { -3974, 430, 2727, 5137 },
1008   { -5299, 9, 3714, 4779 },
1009   { -6779, -2699, -8, 2436 },
1010   { -7016, -1145, 1293, 2310 },
1011   { -6955, -3312, 1534, 1801 },
1012   { -4025, 740, 1850, 4054 },
1013   { -9589, -3460, 4154, 5270 },
1014   { -4404, -1181, 4298, 5173 },
1015   { -7356, -4583, -18, 2644 },
1016   { -6516, -1235, 4439, 6234 },
1017   { -3453, -301, 4344, 4464 },
1018   { -4643, 1530, 3315, 4340 },
1019   { -4575, -2557, 3754, 3682 },
1020   { -3643, -3501, 2051, 2997 },
1021   { -5412, -2475, 2301, 1579 },
1022   { -5846, 259, 1360, 2348 },
1023   { -5258, -1358, 1050, 838 },
1024   { -5542, -219, 6377, 5750 },
1025   { -5713, -2952, 922, 899 },
1026   { -2049, -1135, 5206, 1033 },
1027   { -1693, -1886, 4835, -106 },
1028   { -2344, -3504, 4232, -13 },
1029   { -2475, -2334, 5043, 1126 },
1030   { -787, -2549, 3880, 2138 },
1031   { -3159, -2341, 4830, 2887 },
1032   { -1780, -1009, 6240, 2061 },
1033   { -4327, -3363, 2818, 886 },
1034   { -3376, -2743, 4104, 207 },
1035   { -3250, -4640, 2718, 1498 },
1036   { -382, -1075, 4382, 3460 },
1037   { -2416, -4168, 3530, 816 },
1038   { -1756, -2708, 4861, 622 },
1039   { -1879, -2097, 5156, 2889 },
1040   { -2496, -2418, 3722, 2671 },
1041   { -2717, -3252, 3341, 1944 },
1042   { -4063, -4091, 3306, 267 },
1043   { -3549, -3808, 3747, 842 },
1044   { -2635, 546, 5794, 1894 },
1045   { -1857, -1121, 4383, 3964 },
1046   { -2226, -2166, 3489, 3678 },
1047   { -3492, -660, 5323, 1063 },
1048   { -3033, -3130, 4382, 1828 },
1049   { -2703, -625, 6369, 2851 },
1050   { -1656, -2842, 4584, -528 },
1051   { -4781, -2622, 4390, 2097 },
1052   { -413, -2045, 5081, 3035 },
1053   { -3810, -2662, 4532, 1095 },
1054   { -3144, -1858, 5215, 1880 },
1055   { -3562, -1795, 4928, 670 },
1056   { -4800, -1509, 5189, 1859 },
1057   { -1085, -3832, 4169, 900 },
1058   { -1969, -3270, 2857, 2878 },
1059   { -4267, -4140, 3176, 1805 },
1060   { -5145, -3727, 3524, 1168 },
1061   { -1346, -1876, 5501, 1748 },
1062   { -4998, -2945, 3699, 338 },
1063   { -3458, -3096, 3406, -635 },
1064   { -1751, -3209, 3508, 395 },
1065   { -2507, 170, 5987, 705 },
1066   { -3756, -1072, 5647, 3536 },
1067   { -2870, -1439, 5026, 3212 },
1068   { -3913, -3225, 3669, 2144 },
1069   { -3739, 226, 5747, 764 },
1070   { -2052, -820, 5266, 3093 },
1071   { -3214, -3820, 2409, 2391 },
1072   { -4398, -2588, 3501, -218 },
1073   { -4484, -1763, 4180, -198 },
1074   { -3368, -1525, 4362, -134 },
1075   { -2407, 224, 4905, 3533 },
1076   { -1369, -2937, 4728, 1788 },
1077   { -4848, -1707, 4159, 851 },
1078   { -3454, -1749, 4281, 3230 },
1079   { -1990, -3853, 3487, 1735 },
1080   { -3117, 92, 6155, 4075 },
1081   { -2676, -2472, 4078, -589 },
1082   { -1547, -2012, 2626, 1835 },
1083   { -4275, -588, 4824, 725 },
1084   { -601, -2249, 3736, 3548 },
1085   { -4060, -61, 5333, 3097 },
1086   { -4303, 7, 6551, 3054 },
1087   { -5003, -1029, 5786, 3319 },
1088   { -2810, -728, 5392, 199 },
1089   { -1232, -200, 5228, 3121 },
1090   { 2621, 165, -6255, 298 },
1091   { 3669, 537, -6844, 1564 },
1092   { 1598, -1190, -6235, 2523 },
1093   { 2164, -32, -6894, 1383 },
1094   { 853, -1597, -6069, 1449 },
1095   { 1377, -1661, -5266, 108 },
1096   { 2660, 48, -5172, -517 },
1097   { 1903, -391, -5677, 1010 },
1098   { 3792, 206, -5274, -11 },
1099   { 1239, 2776, -2929, 2721 },
1100   { 4071, 149, -7259, 3125 },
1101   { 1436, -480, -6156, -196 },
1102   { 1373, -1960, -5005, 3122 },
1103   { 3413, -1271, -5176, 3283 },
1104   { 3060, -68, -6495, 2238 },
1105   { 2700, -2075, -4681, 91 },
1106   { 2928, -1728, -5168, 1858 },
1107   { 4424, 828, -4471, 88 },
1108   { 2672, -2604, -4038, 2753 },
1109   { 5223, -123, -6749, 2295 },
1110   { 4237, -420, -5538, 1353 },
1111   { 4744, -1281, -4097, 4708 },
1112   { 1103, -2764, -4751, 2024 },
1113   { 3747, -1913, -3911, 3960 },
1114   { 2470, -1416, -5542, 615 },
1115   { 4847, -1354, -5334, 1733 },
1116   { 5336, 88, -7593, 4007 },
1117   { 2388, -2880, -4807, 1037 },
1118   { 4495, 1391, -5685, -139 },
1119   { 5253, 1637, -6450, 1533 },
1120   { 1199, 795, -5515, 1261 },
1121   { 1397, -1259, -4252, 3838 },
1122   { 746, 70, -6640, 604 },
1123   { 1584, 166, -4972, 3072 },
1124   { 380, -999, -5397, 2267 },
1125   { 2974, 1707, -3242, 5360 },
1126   { 5202, -403, -5453, 2832 },
1127   { 3718, -1731, -4760, 714 },
1128   { 4150, -975, -4792, 61 },
1129   { 2925, -818, -4841, 15 },
1130   { 5301, 577, -4006, 3259 },
1131   { 5265, 1986, -5679, 3028 },
1132   { 3752, 1928, -4509, 3729 },
1133   { 3278, 1925, -6370, 1247 },
1134   { 5107, 1721, -4853, 3127 },
1135   { 3279, 2982, -2515, 4005 },
1136   { 4622, 668, -6204, 759 },
1137   { 6034, 317, -5763, 4818 },
1138   { -558, 57, -3785, 2817 },
1139   { 4476, 1616, -3965, 4536 },
1140   { 5953, 2056, -8215, 2715 },
1141   { 4387, 2613, -7463, 868 },
1142   { 5834, 1088, -4736, 4924 },
1143   { 6473, -856, -6991, 4172 },
1144   { 4959, -293, -5162, 76 },
1145   { 2731, -843, -6119, 3847 },
1146   { 3245, 1202, -6833, 616 },
1147   { 2553, 1383, -3829, 3859 },
1148   { 4332, 2099, -3480, 3622 },
1149   { 2110, 2683, -2728, 3990 },
1150   { 876, 1167, -3290, 3466 },
1151   { 3991, 1709, -2410, 4077 },
1152   { 5105, 939, -2584, 3256 },
1153   { 4719, 688, -1566, 3040 },
1154   { -3632, 4335, 1266, -3303 },
1155   { -4956, 3207, 1312, -2806 },
1156   { -4669, 2627, 2663, -2435 },
1157   { -4282, 3708, 2303, -3038 },
1158   { -4536, 2297, -175, -3350 },
1159   { -5234, 2503, -139, -880 },
1160   { -3978, 1512, 1092, -3619 },
1161   { -4519, 4649, 1363, -2455 },
1162   { -5118, 3132, 1961, -1577 },
1163   { -5196, 3379, -182, -1378 },
1164   { -6420, 4486, 2397, -1993 },
1165   { -5030, 5046, 1292, -1118 },
1166   { -4559, 2573, -927, -1406 },
1167   { -3501, 3730, 691, -4930 },
1168   { -4364, 2758, 1007, -3909 },
1169   { -4026, 2839, -1559, -2340 },
1170   { -5037, 4053, 836, -1571 },
1171   { -4727, 5136, 1110, -3588 },
1172   { -5245, 2799, -999, -2164 },
1173   { -4954, 1501, 422, -3963 },
1174   { -5994, 2726, 1462, -2833 },
1175   { -5621, 5159, 2038, -2512 },
1176   { -4991, 2291, 1917, -3151 },
1177   { -5469, 4382, -148, -2978 },
1178   { -5858, 1983, 807, -2720 },
1179   { -4709, 3556, 952, -467 },
1180   { -2489, 2362, 1714, -4230 },
1181   { -4717, 5004, -1180, -3672 },
1182   { -5914, 3653, 1359, -1317 },
1183   { -5506, 2995, 780, -1059 },
1184   { -5287, 3945, 2480, -2293 },
1185   { -3849, 4358, 322, -1770 },
1186   { -3911, 3570, 252, -3185 },
1187   { -3660, 5128, 158, -3719 },
1188   { -4599, 3277, -503, -2727 },
1189   { -3673, 3760, -1252, -3339 },
1190   { -5161, 2337, 388, -1943 },
1191   { -3529, 2216, 2156, -3080 },
1192   { -4309, 4331, 1808, -1460 },
1193   { -4782, 3820, 480, -2504 },
1194   { -4166, 3544, -378, -1567 },
1195   { -5572, 2466, -418, -2909 },
1196   { -6096, 2930, 119, -1878 },
1197   { -5963, 3554, 1011, -2233 },
1198   { -6433, 4335, 935, -2930 },
1199   { -5004, 3314, -1352, -3430 },
1200   { -6042, 3463, -1008, -3940 },
1201   { -4671, 2214, -640, -5040 },
1202   { -2795, 3759, 1412, -3803 },
1203   { -3647, 4436, 729, -515 },
1204   { -3594, 1033, 56, -4148 },
1205   { -2908, 3027, 2889, -3485 },
1206   { -3338, 2234, 313, -4285 },
1207   { -3825, 4497, -561, -2634 },
1208   { -6167, 3012, -48, -3149 },
1209   { -4828, 3515, -969, -4475 },
1210   { -5789, 2757, -539, -4173 },
1211   { -2452, 3067, 564, -4249 },
1212   { -4921, 1358, 1331, -2889 },
1213   { -3127, 4239, -1045, -1523 },
1214   { -4780, 2326, -1118, -3446 },
1215   { -3908, 5546, 152, -2622 },
1216   { -6972, 2976, 337, -2809 },
1217   { -4839, 4613, -35, -4077 },
1218   { -1408, 4822, -1149, -4997 },
1219   { -981, 4979, -912, -6304 },
1220   { -2098, 5689, -888, -2878 },
1221   { -3343, 4814, -657, -4434 },
1222   { -2461, 3601, -967, -4869 },
1223   { -2652, 3944, 87, -5520 },
1224   { -1104, 6076, 174, -6407 },
1225   { 355, 5370, -1721, -5869 },
1226   { 1242, 4497, -1107, -5091 },
1227   { -89, 4002, -1491, -5182 },
1228   { 1059, 5693, -1591, -4905 },
1229   { 1323, 4682, -2078, -4768 },
1230   { 818, 3996, -549, -5468 },
1231   { -287, 4529, 929, -5543 },
1232   { -919, 5519, -2791, -2844 },
1233   { -1407, 5679, -3289, -3974 },
1234   { -189, 6530, -3547, -4002 },
1235   { -900, 7039, -3371, -4855 },
1236   { -2983, 7211, -363, -4835 },
1237   { -814, 6503, -104, -5106 },
1238   { -2386, 6896, 809, -4919 },
1239   { 845, 4492, 352, -6621 },
1240   { -1998, 7237, -1646, -4231 },
1241   { -3380, 6251, 471, -4577 },
1242   { -1908, 7059, 84, -5726 },
1243   { -340, 6346, -803, -6265 },
1244   { -2279, 5834, -47, -4633 },
1245   { -1532, 5286, -1748, -1901 },
1246   { -2757, 6188, -453, -3415 },
1247   { -1255, 6405, -2043, -6357 },
1248   { 918, 5581, -121, -5667 },
1249   { 1840, 5336, -821, -5034 },
1250   { -2475, 4992, -1825, -3104 },
1251   { -2413, 5606, -1789, -4298 },
1252   { 132, 5128, -2389, -4442 },
1253   { 223, 6400, -2653, -4742 },
1254   { -673, 5012, 680, -4582 },
1255   { -1657, 6624, -349, -3596 },
1256   { -755, 6289, -1860, -3978 },
1257   { -572, 6894, -1946, -5207 },
1258   { -1141, 4756, -2665, -5586 },
1259   { -1073, 4269, -431, -4030 },
1260   { 186, 5761, 916, -5868 },
1261   { -1907, 4836, 1017, -5106 },
1262   { -963, 3363, -1248, -6348 },
1263   { -3262, 4774, -1818, -5858 },
1264   { 847, 3812, -2538, -4302 },
1265   { -1223, 5903, 1360, -5479 },
1266   { -1094, 6923, -1244, -2381 },
1267   { 267, 6276, -709, -2846 },
1268   { -157, 5840, 1124, -4266 },
1269   { 889, 3206, -910, -5305 },
1270   { -1736, 3344, 582, -4838 },
1271   { -2357, 5676, -2695, -6277 },
1272   { -1916, 6901, -986, -5397 },
1273   { -3062, 6028, -695, -5687 },
1274   { 1836, 3566, -1357, -5226 },
1275   { -2176, 4938, 646, -3872 },
1276   { -2199, 3055, -208, -6124 },
1277   { -236, 3032, -821, -5325 },
1278   { -3989, 7277, -565, -3899 },
1279   { -595, 4362, 74, -5975 },
1280   { 684, 5874, -841, -4424 },
1281   { -2731, 6305, -2389, -5465 },
1282   { -5775, 1325, -56, -2528 },
1283   { -7029, -534, -1890, -3278 },
1284   { -5798, -15, -2734, -2210 },
1285   { -5504, -1198, -353, -3659 },
1286   { -5079, 960, -894, -4336 },
1287   { -6073, -36, -133, -3014 },
1288   { -5782, -259, -1025, -3986 },
1289   { -6843, 1262, -807, -1639 },
1290   { -5263, -918, -3290, -579 },
1291   { -4840, 461, -2158, -533 },
1292   { -6014, -50, -620, 504 },
1293   { -5843, 241, -1359, -282 },
1294   { -5898, 577, 769, -3271 },
1295   { -6833, -946, -466, -3347 },
1296   { -6026, 1459, -512, -729 },
1297   { -7361, 747, -388, -1110 },
1298   { -6391, 2142, -1160, -2513 },
1299   { -6995, 304, 498, -2673 },
1300   { -6757, 679, -386, -433 },
1301   { -5222, 1688, -1093, -1032 },
1302   { -5019, 575, 184, -3627 },
1303   { -4237, 628, -3507, -1243 },
1304   { -7479, -456, -1722, -1486 },
1305   { -6464, 713, -1273, -1153 },
1306   { -6255, 1682, -606, -3607 },
1307   { -7033, 1497, -71, -1955 },
1308   { -6694, 1556, -1721, -3214 },
1309   { -6114, -356, 813, -2575 },
1310   { -5308, 632, -1851, -1636 },
1311   { -5742, -911, -1733, 383 },
1312   { -6083, -387, -2313, -879 },
1313   { -6535, -530, -1505, -2083 },
1314   { -4896, 1223, -2750, -1816 },
1315   { -6392, -463, -3247, -2093 },
1316   { -5373, 1264, -2706, -3042 },
1317   { -3894, -1390, -1020, -891 },
1318   { -6179, 1168, -1966, -1922 },
1319   { -5162, 1668, -1617, -1916 },
1320   { -6453, 920, -1169, -2432 },
1321   { -6130, 2005, -536, -1519 },
1322   { -6552, -98, -518, -1938 },
1323   { -7528, 355, -1101, -1772 },
1324   { -5745, 610, -247, -1360 },
1325   { -7003, 177, -2064, -1958 },
1326   { -6956, -570, -2220, -4225 },
1327   { -7830, 791, -1394, -2774 },
1328   { -7634, 480, -3171, -4224 },
1329   { -7913, 1154, -350, -2381 },
1330   { -5063, 1704, -1804, -2977 },
1331   { -4887, -524, -2703, 188 },
1332   { -5551, 406, -1620, -3063 },
1333   { -7109, 1342, 381, -3021 },
1334   { -6846, 631, -458, -3398 },
1335   { -4606, -605, 11, -3930 },
1336   { -8134, -225, -1738, -2648 },
1337   { -7043, 402, -2734, -3059 },
1338   { -7417, 1825, -2545, -4389 },
1339   { -6971, -236, -1031, -665 },
1340   { -5752, 2111, -1632, -3808 },
1341   { -7660, -78, -624, -3135 },
1342   { -6358, 619, -1951, -3911 },
1343   { -8134, 408, -1935, -3695 },
1344   { -6335, 1911, -2368, -4505 },
1345   { -7116, 2163, -344, -2753 },
1346   { 2357, 4488, 2220, -5682 },
1347   { 1385, 3206, 2300, -5305 },
1348   { 1419, 2557, 5203, -3516 },
1349   { 262, 4315, 3920, -1847 },
1350   { 3316, 3187, 1612, -5609 },
1351   { 1729, 2350, 1673, -6068 },
1352   { 1603, 6126, 1467, -2839 },
1353   { -1339, 3316, 3691, -3530 },
1354   { -563, 4618, 3180, -4548 },
1355   { 463, 4624, 3111, -5614 },
1356   { 1246, 5455, 3356, -5720 },
1357   { 480, 2149, 5422, -2893 },
1358   { 1768, 4827, 913, -5579 },
1359   { -149, 5381, 4366, -3297 },
1360   { 985, 3672, 2644, -92 },
1361   { -258, 2911, 5817, -2213 },
1362   { 3428, 3289, 3351, -3541 },
1363   { -666, 3295, 4727, -2869 },
1364   { 35, 6641, 4160, -4052 },
1365   { 623, 6787, 3156, -4560 },
1366   { 2654, 4360, 4676, -4632 },
1367   { 1386, 5246, 4834, -4497 },
1368   { 3488, 4574, 3856, -5946 },
1369   { 383, 4481, 4168, -4110 },
1370   { 1753, 3652, 4288, -3326 },
1371   { 1344, 4905, 2508, -4660 },
1372   { 1580, 4106, 3104, -2224 },
1373   { 2027, 5038, 1683, -1554 },
1374   { 446, 3699, 5872, -3013 },
1375   { 4637, 4087, 3578, -5018 },
1376   { 2629, 3560, 5331, -4900 },
1377   { 1527, 6674, 2523, -4131 },
1378   { -1437, 2804, 2528, -4464 },
1379   { -229, 3355, 2016, -5537 },
1380   { 3666, 3418, 4374, -4581 },
1381   { 1192, 3799, 923, -6596 },
1382   { 2040, 2956, 448, -5322 },
1383   { 2468, 5768, 4029, -5869 },
1384   { 3438, 6516, 3529, -6667 },
1385   { 2737, 5495, 680, -5535 },
1386   { 3896, 5727, 1801, -4958 },
1387   { 4988, 4957, 3592, -6518 },
1388   { -542, 4416, 5794, -2787 },
1389   { 4136, 4354, 2064, -4696 },
1390   { 3067, 5936, 1207, -3396 },
1391   { 2789, 4966, 2405, -3854 },
1392   { 1731, 3270, 3251, -1063 },
1393   { 1767, 5537, 2084, -2349 },
1394   { 465, 3116, 4532, -837 },
1395   { 1499, 2627, 4610, -2212 },
1396   { 122, 3095, 3642, -3552 },
1397   { 2542, 2866, 2705, -6402 },
1398   { 3134, 4323, 698, -4785 },
1399   { 731, 1859, 3112, -5242 },
1400   { 2553, 2980, 3241, -4846 },
1401   { 1329, 5310, 1607, -6624 },
1402   { 2468, 1858, 3476, -1034 },
1403   { -172, 4996, 2000, -5562 },
1404   { 2621, 4220, 1574, -3386 },
1405   { -333, 1832, 3362, -4117 },
1406   { 2169, 6762, 3065, -6225 },
1407   { 2844, 5528, 3223, -4765 },
1408   { 526, 5175, 1644, -4267 },
1409   { 2922, 4426, 2414, -2610 },
1410   { 452, 1399, -4516, -2636 },
1411   { 2872, 1720, -4667, -1435 },
1412   { 1279, 702, -5424, -1984 },
1413   { 2187, 870, -5021, -1341 },
1414   { 583, -144, -4628, -2464 },
1415   { 3, 2237, -5284, -2827 },
1416   { -19, 1005, -5460, -1819 },
1417   { 2897, 2084, -5885, -515 },
1418   { -400, 3370, -5527, -2947 },
1419   { 1505, 2593, -5518, -1802 },
1420   { 1341, 4534, -5094, -1899 },
1421   { 3241, 3670, -5493, -1252 },
1422   { -1287, 921, -5994, -1675 },
1423   { 627, 408, -6652, -364 },
1424   { -260, 1127, -4849, -3247 },
1425   { 371, 3400, -5976, -2285 },
1426   { 1533, 1566, -6373, -610 },
1427   { 2462, 4274, -6184, -1254 },
1428   { 1782, 3363, -6222, -1381 },
1429   { 572, 4650, -5673, -2754 },
1430   { 2674, 3414, -4460, -2154 },
1431   { 3614, 3820, -6883, -398 },
1432   { 1136, -1, -5511, -1112 },
1433   { -1773, 1137, -5647, -2377 },
1434   { -753, 2104, -6085, -2565 },
1435   { -204, 3025, -4731, -1418 },
1436   { -1486, 1438, -4380, -216 },
1437   { 302, 858, -5786, -264 },
1438   { 3486, 1495, -5234, -783 },
1439   { 888, 2327, -3423, -3720 },
1440   { -259, 772, -6596, -1311 },
1441   { -1197, 2073, -5174, -1826 },
1442   { 1500, 3470, -4462, -2645 },
1443   { 3072, 1960, -3277, -2264 },
1444   { 1841, 952, -4324, -2340 },
1445   { 1994, 2200, -3940, -2923 },
1446   { -1782, 1699, -4667, -1075 },
1447   { -1464, 2906, -3468, -375 },
1448   { 366, 2380, -3747, 1467 },
1449   { -545, 1645, -4619, 376 },
1450   { 1724, 2350, -2374, -3512 },
1451   { 3184, 2628, -2996, -3275 },
1452   { 734, 2010, -6239, -1479 },
1453   { 524, 3756, -4496, -3263 },
1454   { 1492, 3570, -3494, -3600 },
1455   { -932, 618, -5389, -2894 },
1456   { -133, 2161, -4083, -3267 },
1457   { 786, 774, -3279, -3731 },
1458   { 1078, 803, -3843, -3007 },
1459   { -332, 3405, -3347, 40 },
1460   { -17, 6, -4005, -3690 },
1461   { -189, 4372, -4488, -2561 },
1462   { -450, 3846, -3790, -1370 },
1463   { 362, 2212, -5272, -15 },
1464   { -1529, 791, -6802, -2296 },
1465   { 2145, 4241, -4474, 376 },
1466   { 1813, 2426, -2932, -2726 },
1467   { -542, 4557, -3140, -1080 },
1468   { 1192, 3784, -4371, -20 },
1469   { 2784, 5188, -6399, -1394 },
1470   { 431, 4561, -3673, -1398 },
1471   { 1382, 3096, -4083, 1253 },
1472   { 1209, 4224, -2930, 1500 },
1473   { 2798, 2684, -6676, -606 },
1474   { -2396, 1510, -5381, -2713 },
1475   { -2625, 2542, -4032, -2880 },
1476   { -1231, 3967, -4098, -2886 },
1477   { -1393, 2374, -3862, -4525 },
1478   { -2495, 1665, -1637, -5445 },
1479   { -3854, 1759, -1750, -4944 },
1480   { -2373, 1668, -2856, -6251 },
1481   { -2668, 1981, -886, -4557 },
1482   { -2927, 4427, -3451, -6172 },
1483   { -1925, 2596, -4696, -2527 },
1484   { -3202, 2847, -3928, -5896 },
1485   { -3332, 1665, -5025, -3412 },
1486   { -3212, 3115, -4155, -4062 },
1487   { -1013, 3205, -5133, -3751 },
1488   { -2022, 4595, -3947, -5611 },
1489   { -3556, 1755, -3715, -2300 },
1490   { -1784, 4114, -2723, -1773 },
1491   { -3586, 4081, -2733, -4942 },
1492   { -1608, 3685, -4154, -4573 },
1493   { -3368, 4042, -4452, -6227 },
1494   { -1407, 3881, -5729, -3719 },
1495   { -2751, 3281, -5077, -4999 },
1496   { -3791, 2410, -4906, -5288 },
1497   { -730, 2303, -4217, -3755 },
1498   { -1812, 2311, -5492, -3709 },
1499   { -610, 4336, -3915, -3783 },
1500   { -2841, 4337, -4278, -4430 },
1501   { -1662, 4666, -4661, -3964 },
1502   { -589, 5209, -4923, -3682 },
1503   { -4155, 2234, -4076, -4218 },
1504   { -3951, 2770, -2665, -2805 },
1505   { -2302, 3228, -3717, -1908 },
1506   { -3129, 4373, -2264, -2851 },
1507   { -447, 1363, -3578, -4323 },
1508   { -2648, 4237, -3159, -3071 },
1509   { -4072, 3241, -3541, -4605 },
1510   { -4507, 3458, -2339, -3838 },
1511   { -1646, 997, -4926, -3970 },
1512   { -3025, 1614, -3940, -1242 },
1513   { -1337, 1756, -3163, -5529 },
1514   { -3203, 1865, -3282, -4354 },
1515   { -1646, 2118, -2203, -6018 },
1516   { 174, 1871, -2707, -4639 },
1517   { -2607, 1485, -4778, -4750 },
1518   { -2199, 3991, -3134, -4879 },
1519   { -2962, 3323, -2816, -2419 },
1520   { -5286, 2495, -4548, -5395 },
1521   { -2810, 3710, -2274, -4211 },
1522   { -330, 3006, -2993, -4678 },
1523   { -1187, 2411, -2743, -5196 },
1524   { -664, 4033, -3101, -5641 },
1525   { -1458, 3602, -2816, -5371 },
1526   { -4116, 4923, -3321, -5630 },
1527   { -4165, 2528, -2592, -4798 },
1528   { -2759, 3080, -2333, -5719 },
1529   { -5157, 3011, -5526, -6348 },
1530   { -3095, 2126, -5881, -4234 },
1531   { -4377, 3849, -3600, -6099 },
1532   { -1994, 4947, -5235, -4753 },
1533   { -1067, 600, -3258, -5133 },
1534   { -4992, 3302, -2208, -5051 },
1535   { -3377, 2981, -1655, -4815 },
1536   { -3325, 2446, -1787, -6116 },
1537   { -2341, 2737, -3240, -6347 },
1538   { -2258, -3732, 3710, -1235 },
1539   { -1558, -3849, 2694, -3012 },
1540   { -599, -4837, 3050, -2951 },
1541   { -2246, -5433, 2798, -1910 },
1542   { -2255, -4989, 3260, 270 },
1543   { -3026, -5353, 2693, -1036 },
1544   { -1151, -6097, 1097, -3782 },
1545   { -3391, -6012, 2130, -1303 },
1546   { -2850, -4422, 3375, -480 },
1547   { -1138, -3779, 1491, -4162 },
1548   { -551, -3892, 3787, -2082 },
1549   { -3221, -3676, 3144, -1202 },
1550   { -3023, -5196, 2650, 605 },
1551   { -1756, -5729, 2646, 321 },
1552   { -2693, -4409, 494, -4797 },
1553   { -1913, -4573, 3372, -1730 },
1554   { -1277, -3604, 4061, -993 },
1555   { -420, -4993, 1351, -4796 },
1556   { -3052, -5333, 1435, -1242 },
1557   { -602, -5034, 3869, -1141 },
1558   { -2436, -4680, 1665, -3019 },
1559   { -2657, -3658, 1459, -3391 },
1560   { -1220, -6246, 2749, -525 },
1561   { -3838, -4844, 2265, -1735 },
1562   { -1247, -5679, 3356, -1417 },
1563   { -917, -5448, 3342, 105 },
1564   { -1756, -6839, 2276, -2350 },
1565   { -412, -5206, 1764, -3539 },
1566   { -1439, -6915, 1442, -3750 },
1567   { -1381, -4439, 3863, -282 },
1568   { -3482, -4953, 2726, -336 },
1569   { -1376, -5931, 1714, -1987 },
1570   { -1716, -4405, 2608, 105 },
1571   { -1590, -5191, 2652, -2704 },
1572   { -2149, -6442, 2453, -1263 },
1573   { -3426, -3832, 2334, -1829 },
1574   { -2747, -5948, 2362, -173 },
1575   { -2435, -3267, 2966, -1710 },
1576   { -3979, -4282, 2705, -775 },
1577   { -356, -4238, 2544, -4343 },
1578   { -1363, -6471, 2817, -1836 },
1579   { -2878, -5117, 218, -3149 },
1580   { -3539, -5196, 1710, -2356 },
1581   { -2888, -4537, 2746, -1701 },
1582   { -1870, -4439, 1496, -4121 },
1583   { -1486, -3388, 3349, -2145 },
1584   { -3333, -4138, 1467, -2876 },
1585   { -345, -5340, 1012, -1190 },
1586   { -1672, -4992, 2289, -1029 },
1587   { -2146, -5528, 3038, -635 },
1588   { -316, -3656, 3426, -3152 },
1589   { -2695, -5812, 2336, -2050 },
1590   { -2067, -6052, 737, -3258 },
1591   { -2664, -4205, -350, -1266 },
1592   { -617, -5406, 80, -4853 },
1593   { -2418, -3825, 1853, -1326 },
1594   { -1961, -4339, 583, -4315 },
1595   { -1495, -5141, -133, -5205 },
1596   { -3208, -6440, 1691, -2069 },
1597   { -2632, -3633, 2325, -2761 },
1598   { -2624, -5670, 1252, -3676 },
1599   { -3687, -5608, 687, -2833 },
1600   { -3320, -5707, 16, -3877 },
1601   { -2738, -6112, 84, -5135 },
1602   { 2277, -5661, 3076, 843 },
1603   { 1555, -5769, 2821, -5236 },
1604   { 536, -6381, 603, -4910 },
1605   { 734, -4609, 3314, -4092 },
1606   { 1836, -4547, 3267, -4322 },
1607   { -13, -5976, 3752, -1607 },
1608   { 1423, -6318, 2336, 398 },
1609   { 365, -7779, 1498, -534 },
1610   { 2104, -8366, 2946, -1345 },
1611   { 143, -5545, 1898, -3756 },
1612   { 655, -6852, 1430, 148 },
1613   { 4, -6653, 2397, -59 },
1614   { 2346, -5996, 4562, -934 },
1615   { 1229, -7104, 2963, -598 },
1616   { -528, -7048, 2887, -1790 },
1617   { 1451, -6857, 3900, -1637 },
1618   { 554, -6018, 3336, 9 },
1619   { 3278, -5758, 4034, 129 },
1620   { 3541, -7145, 4905, -1575 },
1621   { 2339, -6907, 3464, -301 },
1622   { 2775, -7301, 1667, -3894 },
1623   { 539, -7887, 991, -4156 },
1624   { 2115, -7421, 3131, -3075 },
1625   { 2803, -8546, 2564, -5836 },
1626   { 2869, -5833, 1620, -4561 },
1627   { 2591, -7281, 3215, -4719 },
1628   { -1228, -8477, 706, -4782 },
1629   { 1967, -5243, 4813, -1940 },
1630   { 701, -7010, 2273, -3893 },
1631   { 915, -8470, 1918, -5620 },
1632   { -94, -6715, 156, -3873 },
1633   { 1074, -5607, 4389, -1017 },
1634   { 2739, -6551, 1227, -3521 },
1635   { 725, -7835, 2701, -1291 },
1636   { -493, -7475, 2263, -1075 },
1637   { -412, -6508, 2984, -744 },
1638   { 665, -5451, 3725, -2692 },
1639   { 1499, -8129, 3564, -2072 },
1640   { 2870, -6333, 4487, -2108 },
1641   { 706, -5007, 3911, -152 },
1642   { -482, -8660, 1483, -2900 },
1643   { 2481, -6596, 2518, -1715 },
1644   { 1403, -6414, 1398, -5387 },
1645   { 652, -6267, 583, -5942 },
1646   { 694, -7540, 646, -6272 },
1647   { 2275, -7614, 256, -5015 },
1648   { 1416, -9727, 1900, -3153 },
1649   { 2760, -6433, 3875, -3771 },
1650   { 2325, -11196, 2182, -5155 },
1651   { 1223, -11061, 1377, -5097 },
1652   { 108, -10603, 307, -4952 },
1653   { -118, -8268, 1650, -1572 },
1654   { 1839, -7943, 1755, -612 },
1655   { 2501, -9056, 981, -2969 },
1656   { 2902, -8476, 1491, -5780 },
1657   { 1995, -11175, 1585, -3643 },
1658   { 696, -8212, 828, -2474 },
1659   { 1526, -8649, 1380, -1210 },
1660   { 461, -7253, 3222, -2229 },
1661   { 2966, -8641, 4121, -3271 },
1662   { 833, -6039, 2361, -1086 },
1663   { 3565, -7312, 1980, -5427 },
1664   { 2850, -8671, 3760, -1846 },
1665   { 2643, -7281, 2163, -173 },
1666   { 3463, -3706, -3132, -923 },
1667   { 1315, -3825, -3443, 2 },
1668   { 2594, -4083, -3815, 670 },
1669   { 1826, -4291, -2741, -155 },
1670   { 868, -3749, -4175, -298 },
1671   { 2008, -4237, -3897, -517 },
1672   { 1242, -3493, -4335, -1335 },
1673   { -88, -4142, -3390, -1529 },
1674   { 2176, -3488, -3822, -975 },
1675   { 1706, -5188, -3415, -637 },
1676   { 2717, -6159, -2333, -882 },
1677   { 1276, -3978, -4361, 537 },
1678   { 2471, -5556, -2866, -208 },
1679   { 799, -4673, -4086, 56 },
1680   { 1901, -4786, -3533, 270 },
1681   { 3036, -3902, -3606, -333 },
1682   { 2249, -3317, -4319, -144 },
1683   { 2594, -4207, -2105, -2930 },
1684   { 4008, -4774, -2626, -902 },
1685   { 1038, -3659, -3496, -2454 },
1686   { 2725, -3597, -3298, -1535 },
1687   { 1662, -5803, -2813, 175 },
1688   { 705, -3757, -3441, -1484 },
1689   { 1860, -5987, -2821, -886 },
1690   { 3786, -4918, -2199, -1929 },
1691   { 3683, -4235, -2547, -1287 },
1692   { 2531, -4896, -2956, -1593 },
1693   { 1005, -5585, -3324, -180 },
1694   { 1625, -5229, -1756, -3642 },
1695   { 1494, -5041, -2989, -2685 },
1696   { 2718, -4655, -3224, -867 },
1697   { 2374, -6640, -1745, -2975 },
1698   { 2133, -6436, -2477, -1499 },
1699   { 1833, -4418, -3523, -1512 },
1700   { 1128, -4910, -2658, -1106 },
1701   { 689, -4777, -2831, -2085 },
1702   { 3593, -5280, -2627, -315 },
1703   { 3264, -3771, -2673, -1861 },
1704   { 3202, -5602, -2409, 402 },
1705   { 552, -4618, -2221, -3002 },
1706   { 3095, -5356, -2666, -1083 },
1707   { 3401, -4609, -3146, 45 },
1708   { 3051, -4662, -2192, -2232 },
1709   { 2798, -5552, -2462, -1941 },
1710   { 2354, -5815, -2223, -2619 },
1711   { 192, -3708, -2807, -2658 },
1712   { 1886, -4226, -1862, -3529 },
1713   { 2526, -3976, -2819, -2332 },
1714   { 1577, -3870, -2711, -2806 },
1715   { 1288, -5588, -3382, -1403 },
1716   { 2711, -5399, -1564, -3253 },
1717   { 1459, -5492, -2222, -322 },
1718   { 2823, -5091, -2886, 776 },
1719   { 3559, -5821, -2109, -1360 },
1720   { 1587, -6331, -2760, -1909 },
1721   { 2139, -5213, -2874, -2120 },
1722   { 1318, -4337, -3695, -2098 },
1723   { 821, -4471, -1849, -565 },
1724   { 3329, -4782, -1725, -89 },
1725   { 582, -4914, -4105, -1119 },
1726   { 417, -4144, -4072, -2529 },
1727   { -199, -3803, -2765, -4042 },
1728   { 2731, -4283, -2143, 1 },
1729   { 2911, -6187, -1951, -2116 },
1730   { 1573, -6094, -493, -2838 },
1731   { 2081, -6927, -864, -3211 },
1732   { 1058, -7826, 79, -364 },
1733   { 3147, -5570, -684, -978 },
1734   { 3572, -5856, 1060, 1824 },
1735   { 1143, -6702, -1478, 338 },
1736   { 2341, -7220, -88, 260 },
1737   { 3639, -6861, 668, 815 },
1738   { 2227, -6268, -1706, 446 },
1739   { 3390, -6082, -353, 1302 },
1740   { 1123, -7556, -1237, -430 },
1741   { 1729, -7742, 729, -218 },
1742   { 1457, -6774, 587, 579 },
1743   { 505, -6919, -569, 371 },
1744   { 1106, -7245, 78, 158 },
1745   { 2755, -6745, -1122, 338 },
1746   { 3069, -6040, -1415, 986 },
1747   { 2174, -7064, -1430, -283 },
1748   { 1390, -8626, -446, -3031 },
1749   { 3534, -6890, -431, 547 },
1750   { 2267, -9618, 475, -2994 },
1751   { 3672, -7673, 75, -115 },
1752   { 2131, -7560, -1206, -750 },
1753   { 2972, -7477, -685, -262 },
1754   { 1604, -6637, -672, 699 },
1755   { 1666, -7577, -577, -240 },
1756   { 1591, -6554, -2158, -94 },
1757   { 2348, -6286, -353, 1123 },
1758   { 2017, -8810, -412, -1805 },
1759   { 2892, -6713, -1765, -554 },
1760   { 2500, -6828, -1995, -1197 },
1761   { 3877, -6639, -224, -1655 },
1762   { 2392, -7872, -91, -333 },
1763   { 3562, -7370, -532, -2836 },
1764   { 2552, -7614, 164, -1805 },
1765   { 990, -6104, 218, 438 },
1766   { 910, -7861, 312, -1195 },
1767   { 1472, -6327, 372, -640 },
1768   { 1576, -7143, -1983, -843 },
1769   { 422, -7625, -457, -278 },
1770   { 1797, -8532, 405, -1011 },
1771   { 1088, -7396, -238, -2277 },
1772   { 3209, -6753, -1431, -2072 },
1773   { 2617, -6839, 100, -2573 },
1774   { 2575, -8573, -387, -3188 },
1775   { 3618, -6971, -1190, -321 },
1776   { 2205, -7361, -1695, -2008 },
1777   { 2985, -6297, 1464, 1179 },
1778   { 2804, -7310, 1053, 338 },
1779   { 1362, -6074, -1163, -840 },
1780   { 3336, -6325, -1794, 21 },
1781   { 2836, -8109, 818, -329 },
1782   { 2791, -5879, 560, 1546 },
1783   { 2392, -6064, 135, 100 },
1784   { 1838, -6194, 596, 1085 },
1785   { 1926, -7515, -414, -4901 },
1786   { 3225, -7298, -1202, -1189 },
1787   { 3960, -7558, -659, -719 },
1788   { 3442, -6647, -1692, -1095 },
1789   { 3381, -6441, 262, -886 },
1790   { 1431, -8150, -1186, -1406 },
1791   { 340, -8498, -150, -899 },
1792   { 3004, -8149, -260, -953 },
1793   { 2749, -6611, 563, 873 },
1794   { -6647, -1325, -4517, -4691 },
1795   { -6005, -1657, -4089, -3797 },
1796   { -3157, 588, -5213, -3068 },
1797   { -3311, -1425, -6329, -3726 },
1798   { -5866, -819, -3857, -2744 },
1799   { -5001, -1799, -1075, -4621 },
1800   { -5330, -2650, -2672, -4664 },
1801   { -4930, -539, -2363, -4010 },
1802   { -2984, 10, -3863, -5749 },
1803   { -1055, -2106, -3713, -4267 },
1804   { -5476, -502, -4279, -6504 },
1805   { -5231, -1543, -5018, -6425 },
1806   { -5134, -363, -3165, -5109 },
1807   { -3953, -771, -4107, -6393 },
1808   { -2159, -563, -3652, -5342 },
1809   { -3888, -2321, -919, -5057 },
1810   { -1236, -597, -4235, -4193 },
1811   { -4053, 675, -3083, -6174 },
1812   { -2793, -1089, -5396, -3460 },
1813   { -3000, -44, -2209, -6575 },
1814   { -3336, -1531, -4313, -5160 },
1815   { -2127, 128, -4851, -3692 },
1816   { -3321, 136, -2067, -5660 },
1817   { -5215, 1404, -4374, -4356 },
1818   { -2747, 400, -6340, -3691 },
1819   { -3926, -599, -5361, -5006 },
1820   { -2875, -2592, -5143, -4092 },
1821   { -4991, -1958, -5322, -4891 },
1822   { -4965, -1318, -6652, -5333 },
1823   { -4920, -1691, -3388, -5561 },
1824   { -3644, -3354, -2688, -5982 },
1825   { -5076, -919, -4563, -2984 },
1826   { -6114, 250, -3884, -3915 },
1827   { -4014, 744, -3973, -1924 },
1828   { -5543, -1041, -5557, -3847 },
1829   { -4711, -1352, -5649, -2603 },
1830   { -3362, 775, -5305, -4879 },
1831   { -5001, 107, -3554, -2888 },
1832   { -6258, -1651, -6356, -6566 },
1833   { -4529, 407, -5003, -3865 },
1834   { -5154, 550, -5278, -5465 },
1835   { -4195, -467, -1894, -3129 },
1836   { -5022, 1127, -3349, -3314 },
1837   { -6075, 1250, -4313, -5641 },
1838   { -2677, -2283, -2312, -5903 },
1839   { -4113, 193, -1195, -4833 },
1840   { -3940, -1048, -1389, -5079 },
1841   { -3703, 917, -4043, -4451 },
1842   { -3366, -4231, -1534, -5488 },
1843   { -3326, -3583, -2091, -4903 },
1844   { -5144, 1254, -2532, -4949 },
1845   { -5982, -870, -2545, -4555 },
1846   { -3925, -157, -5367, -2281 },
1847   { -6419, -746, -5668, -4371 },
1848   { -5787, 518, -7096, -5805 },
1849   { -4258, 954, -6453, -4321 },
1850   { -4771, -695, -4158, -1639 },
1851   { -7078, -760, -5195, -5877 },
1852   { -7348, 83, -4101, -4586 },
1853   { -2430, 184, -2874, -1679 },
1854   { -2284, -3943, -2924, -5034 },
1855   { -1804, -1785, -3002, -4710 },
1856   { -4399, -2772, -1815, -4637 },
1857   { -6340, -2626, -2824, -5191 },
1858   { -4998, -5168, -3480, 1905 },
1859   { -3958, -5492, -1599, 1579 },
1860   { -2471, -3755, -276, 3182 },
1861   { -3033, -5779, -1063, 1554 },
1862   { -2936, -4829, -1290, 2386 },
1863   { -1835, -5073, -3051, 1299 },
1864   { -1724, -3771, -3935, 2324 },
1865   { -5070, -2550, -3692, 768 },
1866   { -4326, -5333, -297, 1878 },
1867   { -3472, -5619, -3094, 992 },
1868   { -3027, -4384, -3038, 2265 },
1869   { -3201, -5332, 67, 2200 },
1870   { -1681, -4373, -1947, 2461 },
1871   { -3221, -3329, -4238, 2564 },
1872   { -1262, -2968, -2915, 3227 },
1873   { -3419, -1878, -3373, 2110 },
1874   { -2244, -5583, -2012, 1288 },
1875   { -1971, -5266, -990, 1812 },
1876   { -2975, -2778, -452, 4063 },
1877   { -2198, -1165, -3298, 2965 },
1878   { -4782, -4894, -4767, 664 },
1879   { -6002, -3950, -2806, 2025 },
1880   { -3142, -3162, -2859, 3295 },
1881   { -3262, -3340, -4123, 1596 },
1882   { -4014, -3918, -1955, 3361 },
1883   { -1700, -3463, -1346, 3449 },
1884   { -4245, -4445, -4743, 1644 },
1885   { -4180, -3969, -401, 3281 },
1886   { -2782, -5240, -4117, 1156 },
1887   { -5744, -4040, -1439, 3470 },
1888   { -5063, -4663, -323, 3172 },
1889   { -4531, -3319, -844, 3988 },
1890   { -6226, -5125, -2064, 2976 },
1891   { -3115, -3267, -1531, 3898 },
1892   { -4628, -4421, -2864, 2808 },
1893   { -4559, -2989, -3442, 2024 },
1894   { -1775, -4487, -656, 2477 },
1895   { -2664, -1865, -1884, 4081 },
1896   { -1828, -2575, -3894, 3378 },
1897   { -6441, -3677, -2025, 1677 },
1898   { -4141, -2156, -1191, 3474 },
1899   { -4802, -1623, -1727, 2160 },
1900   { -5474, -2745, -1475, 2498 },
1901   { -3664, -1056, -1975, 2491 },
1902   { -4672, -3062, -2235, 2933 },
1903   { -4205, -5960, -2849, 1517 },
1904   { -4995, -5708, -1739, 1805 },
1905   { -4892, -6080, -4793, 872 },
1906   { -4270, -4172, -4263, 2185 },
1907   { -4687, -1470, -2905, 1023 },
1908   { -6446, -5017, -3919, 1000 },
1909   { -6046, -5538, -3943, 2006 },
1910   { -6028, -3750, -3953, 771 },
1911   { -5959, -4582, -5024, 824 },
1912   { -5818, -2576, -2249, 1326 },
1913   { -5659, -5345, -1119, 2500 },
1914   { -3346, -4155, 606, 2749 },
1915   { -5680, -4827, -2501, 1838 },
1916   { -6193, -2543, -1295, 840 },
1917   { -6871, -4925, -3512, 1801 },
1918   { -5605, -1788, -1895, 779 },
1919   { -3922, -5712, -4644, 510 },
1920   { -4745, -3869, -4533, 99 },
1921   { -2984, -4907, -399, 1497 },
1922   { 1847, -478, 3061, -5812 },
1923   { 4450, -1116, 3609, -6570 },
1924   { 3139, 99, 3007, -5532 },
1925   { 2590, -3782, 3138, -4770 },
1926   { 1881, 1204, 5778, -3404 },
1927   { 3631, 2060, 5566, -5038 },
1928   { 3461, 1961, 5167, -3800 },
1929   { 2947, 273, 4536, -4389 },
1930   { 4453, -1730, 5788, -4370 },
1931   { 4032, 1805, 2666, -4534 },
1932   { 3487, -944, 2313, -6028 },
1933   { 1313, 34, 4210, -4067 },
1934   { 5632, -1502, 5825, -5855 },
1935   { 7736, -547, 4879, -5476 },
1936   { 4906, -1512, 4760, -5760 },
1937   { 3843, 447, 1091, -4958 },
1938   { 2982, -1135, 5442, -4386 },
1939   { 3579, 271, 3031, -6770 },
1940   { 3932, -211, 4688, -5507 },
1941   { 4411, 1720, 2387, -5584 },
1942   { 5379, -479, 4575, -6280 },
1943   { 3613, -362, 2012, -4885 },
1944   { 3744, -2013, 4493, -5073 },
1945   { 5693, 109, 4379, -3362 },
1946   { 5475, -621, 5317, -3985 },
1947   { 6411, -673, 5708, -4752 },
1948   { 4933, -796, 7262, -4290 },
1949   { 2804, 444, 6276, -3655 },
1950   { 4120, -517, 6078, -4531 },
1951   { 5119, 841, 3486, -3910 },
1952   { 4738, 1539, 3525, -2970 },
1953   { 5086, 370, 5895, -5640 },
1954   { 4235, 2716, 4589, -5044 },
1955   { 3691, 682, 6199, -4700 },
1956   { 6111, -570, 6271, -6528 },
1957   { 2611, 1277, 3756, -4802 },
1958   { 4395, 970, 3807, -5879 },
1959   { 5225, 2299, 3242, -4333 },
1960   { 5144, 1778, 4946, -5545 },
1961   { 2989, -3016, 3247, -5495 },
1962   { 2983, 920, 2071, -6059 },
1963   { 5270, -903, 4434, -2350 },
1964   { 6415, -585, 3970, -3554 },
1965   { 3866, -197, 5216, -2884 },
1966   { 3767, -1298, 6702, -3315 },
1967   { 6299, 2620, 5284, -6824 },
1968   { 6654, 646, 3653, -4927 },
1969   { 4770, 3047, 5160, -6287 },
1970   { 5364, 434, 2919, -5207 },
1971   { 2998, 1344, 4801, -2456 },
1972   { 3896, 1013, 3773, -1864 },
1973   { 2115, 655, 2999, -6344 },
1974   { 5170, -981, 2849, -4464 },
1975   { 2735, -2159, 2717, -5776 },
1976   { 2430, -1952, 4392, -4559 },
1977   { 6143, -1180, 3659, -4746 },
1978   { 4978, -1483, 1726, -4875 },
1979   { 3486, -2383, 3306, -4301 },
1980   { 1434, -1372, 4171, -4770 },
1981   { 3354, -2627, 1525, -5093 },
1982   { 6790, 2386, 3995, -5909 },
1983   { 1475, -2674, 3451, -4204 },
1984   { 1999, -3494, 3693, -5556 },
1985   { 4764, -2848, 2856, -5589 },
1986   { -3677, 5131, 2827, -2934 },
1987   { -2844, 7078, 2852, -3580 },
1988   { -3902, 6434, 4118, -1911 },
1989   { -1769, 7530, 3492, -3541 },
1990   { -1937, 5679, -447, -1127 },
1991   { -2456, 4680, 4196, -2407 },
1992   { -2778, 8241, 1698, -4288 },
1993   { -2876, 6104, 5182, -2387 },
1994   { -2802, 7341, 4463, -2938 },
1995   { -1025, 6267, 4752, -3201 },
1996   { -2349, 5413, 2041, -3794 },
1997   { -2252, 8225, 2856, -4269 },
1998   { -1465, 4967, 4976, -2500 },
1999   { -636, 7565, 3517, -4233 },
2000   { -1905, 5618, 3904, -2942 },
2001   { -302, 6816, 3343, -3316 },
2002   { -2210, 4156, 2817, -3511 },
2003   { -717, 6568, 1863, -2951 },
2004   { -3873, 5682, 2164, -575 },
2005   { -2878, 5835, 440, -2597 },
2006   { -3228, 7701, 2610, -2514 },
2007   { -3608, 8888, 3377, -2468 },
2008   { -2582, 9717, 2519, -3126 },
2009   { -5238, 6202, 2866, -2831 },
2010   { -3428, 7370, 3056, -335 },
2011   { -1681, 8836, 1210, -2010 },
2012   { -3276, 6724, 1156, -3930 },
2013   { -894, 8149, 827, -1258 },
2014   { -2965, 8631, 2549, -1320 },
2015   { -3961, 6902, 3581, 55 },
2016   { -1894, 7745, 1750, -841 },
2017   { -821, 6844, 850, -676 },
2018   { -608, 6948, -4, -1376 },
2019   { 615, 6524, 1089, -1147 },
2020   { -2972, 5668, 1091, -489 },
2021   { -157, 4649, 2904, -413 },
2022   { 673, 5121, 1498, -66 },
2023   { -390, 5902, 1611, -245 },
2024   { -2349, 5478, 4772, -1320 },
2025   { 88, 6798, 1972, -1859 },
2026   { -1213, 5120, 2991, 200 },
2027   { -2347, 6040, 2839, 376 },
2028   { -578, 5976, 3364, -1796 },
2029   { -1391, 5872, 3002, -965 },
2030   { -564, 4496, 3946, -1186 },
2031   { -2299, 6386, 3135, -2176 },
2032   { -2131, 5641, 2011, 1223 },
2033   { -772, 5807, 1124, 895 },
2034   { -2837, 6758, 2297, -740 },
2035   { -3091, 6298, 1415, -2126 },
2036   { -4197, 6036, 1843, -3022 },
2037   { -41, 6459, 92, 344 },
2038   { -2241, 6860, 2095, -4396 },
2039   { -1931, 7088, 2117, -2135 },
2040   { -2375, 4422, 1688, -3169 },
2041   { -1742, 6674, 1538, -119 },
2042   { -4818, 7749, 4192, -1577 },
2043   { -2004, 5672, 193, -430 },
2044   { -3825, 6042, 2128, -1898 },
2045   { -1108, 8033, 2119, -3013 },
2046   { -2370, 5453, 1721, 266 },
2047   { -1570, 7134, 614, -2638 },
2048   { -1519, 8752, 3503, -4330 },
2049   { -2050, 3845, 2907, -1126 },
2050   { 5085, 4412, -335, -1923 },
2051   { 3618, 1423, -613, -4012 },
2052   { 4481, 3729, 589, -4631 },
2053   { 4270, 3216, -1763, -3168 },
2054   { 4241, 1796, -1701, -2796 },
2055   { 4787, 2338, -487, -3639 },
2056   { 2915, 3429, -621, -4753 },
2057   { 5175, 1660, -1265, -3223 },
2058   { 4280, 4057, -684, -4079 },
2059   { 4980, 4419, -1455, -2719 },
2060   { 5436, 2464, 387, -4197 },
2061   { 4507, 4018, 1121, -3314 },
2062   { 6020, 2401, -413, -3201 },
2063   { 4200, 3789, -333, -2813 },
2064   { 5229, 2493, -1194, -1878 },
2065   { 5851, 2695, -492, -2292 },
2066   { 5743, 3288, -697, -1221 },
2067   { 5692, 2612, 979, -2227 },
2068   { 5085, 2067, 1046, -1214 },
2069   { 3163, 2240, -2098, -3435 },
2070   { 5228, 1898, 145, -2397 },
2071   { 5860, 3976, -418, -2872 },
2072   { 6008, 3399, 1027, -3506 },
2073   { 4126, 2035, 1865, -893 },
2074   { 5375, 3596, 511, -2362 },
2075   { 1937, 1493, -852, -122 },
2076   { 3473, 4849, 547, -2603 },
2077   { 4631, 2977, 1141, -1768 },
2078   { 6149, 3050, -71, -1886 },
2079   { 4069, 4353, -289, -1429 },
2080   { 2884, 1225, -1388, 365 },
2081   { 5485, 2518, -235, -571 },
2082   { 1216, 4375, 1443, 398 },
2083   { 4988, 3106, 107, -1435 },
2084   { 4511, 2801, 307, -444 },
2085   { 3235, 4386, 327, -676 },
2086   { 2055, 3708, 1657, -305 },
2087   { 5839, 2374, 290, -1385 },
2088   { 5110, 3305, 1936, -4206 },
2089   { 6416, 2920, 338, -2736 },
2090   { 3350, 2824, -1269, -3881 },
2091   { 4840, 1815, 464, 186 },
2092   { 2399, 3332, 238, 1238 },
2093   { 3516, 1363, 1582, 688 },
2094   { 3582, 1874, 154, -4770 },
2095   { 3261, 2878, 886, 283 },
2096   { 3877, 2658, -327, 884 },
2097   { 4151, 3436, 2173, -2923 },
2098   { 3592, 3674, 1281, -1295 },
2099   { 4561, 3730, -1114, -1747 },
2100   { 4595, 3625, -558, -575 },
2101   { 2577, 2348, 2267, 120 },
2102   { 5242, 3299, 32, -3412 },
2103   { 4264, 3637, 709, -2320 },
2104   { 6556, 3570, -838, -2472 },
2105   { 5745, 4014, -940, -1973 },
2106   { 5629, 4475, 477, -3328 },
2107   { 5269, 3199, 1682, -3085 },
2108   { 4432, 2416, 1145, -3299 },
2109   { 4465, 2505, 2162, -2186 },
2110   { 4643, 4941, -88, -2885 },
2111   { 4568, 5231, 552, -3915 },
2112   { 5667, 3075, -1406, -2963 },
2113   { 5418, 5259, -771, -2818 },
2114   { -256, -7875, 511, -471 },
2115   { -1813, -7971, -424, -396 },
2116   { -306, -7006, 862, 282 },
2117   { -2306, -6422, -1440, 508 },
2118   { -245, -6787, 375, -100 },
2119   { -1309, -6065, -20, 779 },
2120   { -1656, -6047, -641, 1307 },
2121   { -1496, -6522, 964, 726 },
2122   { -2291, -6588, -202, 795 },
2123   { -762, -7522, 1454, -558 },
2124   { -2270, -7004, -834, -580 },
2125   { -1139, -7078, 259, 362 },
2126   { -2535, -7568, -1040, 49 },
2127   { -3786, -7280, 934, -476 },
2128   { -3336, -6368, 606, 1056 },
2129   { -3602, -6924, 52, 714 },
2130   { -2278, -6550, 1674, 204 },
2131   { -2855, -5765, 930, 1530 },
2132   { -2889, -7325, -215, 305 },
2133   { -2749, -6080, -237, 1452 },
2134   { -985, -6667, 1577, 400 },
2135   { -2036, -6083, 380, 1267 },
2136   { -2077, -7460, 380, -30 },
2137   { -1775, -7175, 1540, -386 },
2138   { -3065, -6927, 989, 168 },
2139   { -2836, -7602, 117, -3392 },
2140   { -1058, -6396, 593, -3078 },
2141   { -844, -6062, 999, -236 },
2142   { -3261, -6951, 1491, -720 },
2143   { -2186, -8484, 75, -1287 },
2144   { -2882, -7756, 456, -510 },
2145   { -1800, -6879, 960, -1183 },
2146   { -2554, -7241, 1614, -1474 },
2147   { -2608, -5305, 392, 851 },
2148   { -2973, -6562, -859, 858 },
2149   { -2640, -5989, 1031, -416 },
2150   { -977, -8366, 705, -1434 },
2151   { -1213, -7409, -77, -1390 },
2152   { -1335, -6657, 2125, -123 },
2153   { -2544, -6862, 1852, -737 },
2154   { -3235, -6422, 1752, -103 },
2155   { -1300, -7557, 939, -348 },
2156   { -3476, -7579, 202, -109 },
2157   { -2482, -6572, 753, 619 },
2158   { -2554, -8136, -648, -429 },
2159   { -1012, -7870, -3, -421 },
2160   { -3604, -6247, 32, -3102 },
2161   { -1486, -7271, 2013, -1021 },
2162   { -578, -6799, -523, 405 },
2163   { -2841, -5948, 1644, 911 },
2164   { -2411, -7473, 1084, -484 },
2165   { -2238, -6033, 294, -1059 },
2166   { -3459, -6470, -201, -790 },
2167   { -2027, -6009, 1833, 805 },
2168   { -1433, -8047, 1531, -1754 },
2169   { -3258, -7884, 763, -1422 },
2170   { -1544, -6928, -729, 478 },
2171   { -2314, -8415, 74, -3757 },
2172   { -3201, -5684, 95, -2214 },
2173   { -2423, -8694, 725, -3631 },
2174   { -3545, -7071, 1162, -1798 },
2175   { -294, -9662, 403, -2274 },
2176   { -2290, -5460, 1196, 402 },
2177   { -1603, -6713, 903, -2363 },
2178   { 4121, 2491, -3142, -2482 },
2179   { 4500, 3305, -3671, -1567 },
2180   { 5973, 3172, -1348, -534 },
2181   { 4830, 3379, -1549, 643 },
2182   { 5214, 3938, -2641, -2302 },
2183   { 4639, 4826, -5532, -847 },
2184   { 5639, 2731, -2170, -963 },
2185   { 6084, 3487, -3525, -1346 },
2186   { 5971, 3154, -2190, -2316 },
2187   { 5618, 4865, -6927, 116 },
2188   { 5345, 3568, -7391, 709 },
2189   { 5429, 5078, -3811, -1524 },
2190   { 6960, 2037, -3515, -1096 },
2191   { 7092, 2531, -4557, -588 },
2192   { 6061, 4247, -5651, -478 },
2193   { 4595, 3684, -4907, -827 },
2194   { 7497, 3213, -3048, -424 },
2195   { 5996, 2137, -3098, -1745 },
2196   { 6198, 5199, -2223, -2274 },
2197   { 6888, 2851, -2768, -1675 },
2198   { 6114, 4210, -2316, -954 },
2199   { 7127, 4242, -3041, -1408 },
2200   { 6126, 3668, -1517, -1427 },
2201   { 6245, 6129, -4225, -1186 },
2202   { 6816, 3213, -2101, -964 },
2203   { 5345, 5276, -2643, -847 },
2204   { 6592, 4665, -4338, 484 },
2205   { 6746, 3751, -3443, 124 },
2206   { 5453, 1980, -2738, 2606 },
2207   { 4662, 2179, -4226, -1059 },
2208   { 5571, 3208, -3554, 174 },
2209   { 5256, 4447, -1815, -1481 },
2210   { 5400, 2570, -1210, 235 },
2211   { 7056, 2549, -2674, 318 },
2212   { 4574, 4340, -2892, -130 },
2213   { 6203, 4587, -3273, -305 },
2214   { 5103, 1925, -2715, -2137 },
2215   { 3905, 4296, -1700, 247 },
2216   { 4421, 4605, -3299, 811 },
2217   { 5671, 1273, -3870, -924 },
2218   { 5486, 1805, -4901, 133 },
2219   { 6437, 2578, -1828, -106 },
2220   { 5530, 5253, -5058, 1223 },
2221   { 4816, 2025, -1215, 1443 },
2222   { 3457, 3525, -2456, 3217 },
2223   { 3316, 2595, -1108, 2459 },
2224   { 3068, 3810, -2207, 1926 },
2225   { 6351, 5436, -6470, 600 },
2226   { 6324, 4240, -5365, 2416 },
2227   { 4851, 4774, -4075, 1878 },
2228   { 4900, 3679, -5198, 1078 },
2229   { 8347, 3633, -4565, -171 },
2230   { 5244, 5718, -3853, 173 },
2231   { 3960, 3492, -2939, 2105 },
2232   { 6070, 3473, -2351, 161 },
2233   { 8228, 3034, -3360, -901 },
2234   { 7006, 3985, -1940, -1926 },
2235   { 7123, 4681, -4301, -878 },
2236   { 5122, 4097, -1851, -449 },
2237   { 6200, 2060, -2251, 1049 },
2238   { 7106, 3844, -7209, 2625 },
2239   { 7108, 3370, -6734, 533 },
2240   { 6859, 2849, -3992, 1360 },
2241   { 5458, 2278, -3253, 1131 },
2242   { -1072, -2109, 4783, -1073 },
2243   { -319, -2604, 4257, -2418 },
2244   { 2466, 1300, 3476, -314 },
2245   { 2847, -1502, 5296, -141 },
2246   { 1667, -1273, 5559, -2725 },
2247   { 2877, -3402, 6434, 204 },
2248   { 53, -2637, 5275, -1181 },
2249   { 1091, -2215, 5803, -1549 },
2250   { 2397, -922, 4327, 1182 },
2251   { 219, -3747, 4647, -1564 },
2252   { -29, -2705, 4812, 1277 },
2253   { 1499, -2608, 5648, 1407 },
2254   { 2139, -2399, 4202, 2791 },
2255   { -426, -2064, 5528, 151 },
2256   { 2560, -2803, 6179, -2806 },
2257   { 4537, -2479, 3797, 1095 },
2258   { 888, -3357, 5341, -415 },
2259   { 4460, -1814, 5388, -1227 },
2260   { 3920, -3268, 6364, -703 },
2261   { 3343, -4698, 4410, 784 },
2262   { 309, -1897, 6306, 1223 },
2263   { 958, -3318, 4254, -3167 },
2264   { -99, 1596, 6018, -1983 },
2265   { -429, -853, 6407, 878 },
2266   { 1170, -1322, 6290, -417 },
2267   { 2288, -505, 6303, -1999 },
2268   { 3312, -1674, 6749, -2494 },
2269   { -415, -3401, 4721, -371 },
2270   { -189, -1210, 4844, -2002 },
2271   { 888, -4142, 4377, 130 },
2272   { 2469, -4381, 5398, -2492 },
2273   { 2879, -2912, 5094, -2598 },
2274   { -717, -617, 5650, -685 },
2275   { 1470, -3863, 5352, -1684 },
2276   { 3935, -96, 3823, -730 },
2277   { 3769, -430, 3168, 694 },
2278   { 2556, 385, 3539, 512 },
2279   { 77, -1415, 5111, 2655 },
2280   { 2724, -2158, 6715, -822 },
2281   { 1832, 1001, 5385, -1900 },
2282   { 900, 2198, 4464, -559 },
2283   { 441, 69, 5921, -1743 },
2284   { -1161, 738, 6732, -308 },
2285   { 257, 2035, 4091, 736 },
2286   { 1607, 1288, 4355, -23 },
2287   { -13, 1316, 4180, 1672 },
2288   { 1511, 1336, 3057, 1435 },
2289   { 2189, -3813, 4530, 939 },
2290   { 3632, -706, 2646, 1375 },
2291   { 4266, -3761, 4241, 1077 },
2292   { 3101, -427, 5273, -1202 },
2293   { 2293, 276, 4810, -313 },
2294   { 3430, -1851, 3101, 2045 },
2295   { 3453, -2979, 5142, 942 },
2296   { 1683, -3281, 4802, 2002 },
2297   { 3954, -4715, 5611, 578 },
2298   { 1272, -155, 5085, 454 },
2299   { 128, -194, 5095, 1409 },
2300   { 820, 880, 5797, -2658 },
2301   { -1095, 656, 5774, 1095 },
2302   { 813, -1669, 4320, -3251 },
2303   { -119, 518, 6372, -651 },
2304   { 2922, -4299, 6115, -877 },
2305   { 4205, -4273, 4004, 2642 },
2306   { -1211, -3892, 224, 3127 },
2307   { -34, -4371, 1321, 2318 },
2308   { 77, -6326, 1201, 828 },
2309   { 3995, -3775, 1958, 3233 },
2310   { 178, -3301, 1985, 3318 },
2311   { 2330, -3801, 1033, 3195 },
2312   { 1413, -5536, 826, 1709 },
2313   { 2468, -3499, 3653, 3631 },
2314   { 741, -4617, 1723, 2008 },
2315   { 1246, -3043, 2978, 3949 },
2316   { -343, -4308, 2258, 2189 },
2317   { -682, -4640, 454, 2272 },
2318   { 1236, -4829, 2491, 1642 },
2319   { -512, -3766, 1182, 3052 },
2320   { 119, -3939, 3712, 971 },
2321   { -1145, -4624, 1360, 2281 },
2322   { 101, -4746, 2866, 1255 },
2323   { -1500, -5455, 539, 1637 },
2324   { -969, -5909, 1414, 1128 },
2325   { -1261, -4939, -231, 2022 },
2326   { -226, -5345, 1207, 705 },
2327   { 2712, -5109, 3205, 1866 },
2328   { -476, -5913, 273, 1208 },
2329   { -2039, -4464, 624, 2545 },
2330   { -2351, -3930, 2019, 2673 },
2331   { -2675, -4849, 1522, 1990 },
2332   { -1524, -3461, 1446, 3204 },
2333   { 477, -5314, 1710, 1577 },
2334   { 656, -3729, 2346, 2511 },
2335   { 550, -5917, 1975, 1040 },
2336   { 1728, -4704, 3067, 1058 },
2337   { -9, -5247, 506, 1760 },
2338   { -574, -5135, 1675, 1672 },
2339   { 2129, -3781, 3444, 2313 },
2340   { 1144, -4439, 2214, 2529 },
2341   { 1292, -4160, 3185, 1833 },
2342   { 2445, -3262, 2534, 3227 },
2343   { 2266, -4401, 2023, 2400 },
2344   { -587, -3602, 3408, 2067 },
2345   { -885, -4951, 3228, 1174 },
2346   { -728, -2711, 2807, 3552 },
2347   { 1019, -3043, 3195, 2954 },
2348   { 1888, -4615, 1140, 2454 },
2349   { 660, -5616, 754, 800 },
2350   { -1975, -5371, 1649, 1585 },
2351   { -1544, -5436, 2422, 1081 },
2352   { -422, -5882, 2390, 750 },
2353   { 1336, -5557, 2441, 1230 },
2354   { 136, -4001, 267, 2854 },
2355   { -522, -3289, 2226, 2728 },
2356   { -971, -4580, 2471, 708 },
2357   { 704, -5306, 3300, 1001 },
2358   { 325, -3464, 3555, 2398 },
2359   { 794, -3686, 848, 3169 },
2360   { 660, -3017, 4584, 3242 },
2361   { -1486, -3978, 2170, 1644 },
2362   { -1615, -4650, 2688, 1844 },
2363   { 750, -4578, 538, 2239 },
2364   { 1668, -5849, 1455, 1031 },
2365   { 3486, -4681, 2030, 2183 },
2366   { 2642, -5429, 1696, 1761 },
2367   { 4491, -4502, 3538, 2767 },
2368   { 3545, -4528, 3514, 2982 },
2369   { 3269, -3676, 2758, 3966 },
2370   { 5572, 1146, 209, -3379 },
2371   { 7459, 1053, 593, -1896 },
2372   { 4480, 200, -310, -4259 },
2373   { 5577, -939, 242, -3992 },
2374   { 8142, 442, 1257, -3083 },
2375   { 5442, 1261, 1424, -3236 },
2376   { 6260, -183, 3125, -2532 },
2377   { 7179, 889, 1618, -2548 },
2378   { 6416, 932, 2379, -2487 },
2379   { 7094, 2560, 961, -3392 },
2380   { 7322, 463, 2732, -3735 },
2381   { 6632, 1577, 1912, -3272 },
2382   { 6312, 1349, 3028, -3460 },
2383   { 6105, 386, 1213, -977 },
2384   { 5478, 1158, 1114, -486 },
2385   { 6493, 410, 1686, -2180 },
2386   { 6378, 1881, 1333, -2240 },
2387   { 5711, 812, 1958, -1300 },
2388   { 6844, 877, 730, -1189 },
2389   { 6824, -245, 2249, -2000 },
2390   { 7515, 1521, 1251, -3058 },
2391   { 6697, 1051, 1300, -1749 },
2392   { 6476, 1425, 811, -2773 },
2393   { 7350, 465, -76, -2849 },
2394   { 6975, 2095, 567, -2492 },
2395   { 4691, 1736, 2660, -2289 },
2396   { 7837, 1456, 340, -2767 },
2397   { 7930, 507, 838, -2074 },
2398   { 6106, 1502, 766, -1110 },
2399   { 4891, -659, 835, -3954 },
2400   { 7250, 141, 1369, -1523 },
2401   { 7651, 67, 1651, -2298 },
2402   { 7364, -305, 601, -3132 },
2403   { 7179, 193, 2491, -2871 },
2404   { 6504, -272, 2167, -1322 },
2405   { 4456, 983, 2300, -421 },
2406   { 4817, 457, 1695, 371 },
2407   { 6914, 555, 850, -3159 },
2408   { 5904, 1030, 202, -1959 },
2409   { 6258, 880, 2233, -4503 },
2410   { 6029, 10, 2130, -3600 },
2411   { 6449, 985, 1129, -3963 },
2412   { 6616, -18, -111, -3285 },
2413   { 4496, 775, 817, -4276 },
2414   { 6134, 2338, 1470, -2973 },
2415   { 6911, 152, 430, -1946 },
2416   { 4053, 991, 3218, -1193 },
2417   { 5435, 1285, 3124, -2412 },
2418   { 5507, 1836, 1935, -1988 },
2419   { 5240, 689, 2189, -2670 },
2420   { 6638, 1719, 606, -1799 },
2421   { 5556, -180, 129, -2595 },
2422   { 5644, 1918, 1281, -4316 },
2423   { 6410, 1088, -282, -3117 },
2424   { 6503, 1841, 312, -3514 },
2425   { 6947, 20, 1358, -3886 },
2426   { 5464, 2109, 2398, -3194 },
2427   { 5616, -407, 2140, -498 },
2428   { 6121, 2707, 2379, -4096 },
2429   { 7303, 1846, 2266, -4095 },
2430   { 5444, 470, 2718, -1553 },
2431   { 5817, -645, 3285, -1349 },
2432   { 5625, 1427, 1103, -1991 },
2433   { 6041, -806, 1196, -2943 },
2434   { 3050, -5722, 4070, -5460 },
2435   { 3420, -4386, 4078, -5155 },
2436   { 6020, -3982, 7268, -2689 },
2437   { 7502, -4317, 7894, -3973 },
2438   { 4156, -3558, 5247, -4316 },
2439   { 4725, -4401, 7290, -1540 },
2440   { 6688, -5122, 8216, -3210 },
2441   { 9176, -6576, 9276, -4963 },
2442   { 8706, -5708, 7987, -4621 },
2443   { 7060, -3535, 6532, -3308 },
2444   { 5600, -2719, 5363, -1568 },
2445   { 4661, -2803, 6263, -4716 },
2446   { 3673, -3636, 6147, -3433 },
2447   { 5305, -2585, 6073, -2638 },
2448   { 7614, -1962, 6079, -5266 },
2449   { 6760, -3366, 7382, -4322 },
2450   { 6385, -3883, 4797, -1353 },
2451   { 8182, -5120, 4298, -4641 },
2452   { 9130, -6198, 4975, -3063 },
2453   { 7421, -5436, 5576, -3713 },
2454   { 3483, -4898, 5443, -2745 },
2455   { 4907, -5643, 6390, -4105 },
2456   { 8119, -7008, 7992, -6764 },
2457   { 6528, -6122, 6967, -5590 },
2458   { 5890, -4190, 6624, -5688 },
2459   { 6815, -7934, 7275, -5456 },
2460   { 5434, -4306, 5169, -5378 },
2461   { 4364, -6436, 5376, -2604 },
2462   { 8152, -3404, 5913, -5048 },
2463   { 7983, -4863, 4262, -2461 },
2464   { 8023, -6188, 6238, -5062 },
2465   { 6753, -3692, 3935, -3723 },
2466   { 6826, -4760, 3284, -4051 },
2467   { 7224, -7423, 4492, -3875 },
2468   { 6904, -2590, 6587, -6248 },
2469   { 6106, -1944, 7345, -5506 },
2470   { 4956, -2990, 7808, -3146 },
2471   { 6908, -6885, 5949, -1288 },
2472   { 7162, -6058, 3419, -3401 },
2473   { 7015, -7080, 6907, -3018 },
2474   { 6971, -6832, 5646, -3273 },
2475   { 8014, -5546, 5471, -1544 },
2476   { 6792, -2220, 5105, -2879 },
2477   { 8494, -3974, 4408, -3999 },
2478   { 9591, -4866, 6027, -4558 },
2479   { 5264, -5161, 6101, -738 },
2480   { 5803, -6141, 5197, -5231 },
2481   { 4657, -6822, 3232, -5189 },
2482   { 4791, -5135, 3809, -4665 },
2483   { 6108, -5103, 2379, -3873 },
2484   { 4680, -3909, 3234, -5093 },
2485   { 5802, -3853, 3795, -4984 },
2486   { 4360, -7483, 4802, -3877 },
2487   { 5429, -7517, 5911, -3717 },
2488   { 6866, -2280, 4880, -4634 },
2489   { 10131, -4628, 4414, -4092 },
2490   { 10811, -5189, 7746, -5337 },
2491   { 5663, -8941, 5287, -5680 },
2492   { 8023, -5991, 7403, -2796 },
2493   { 9669, -6919, 6525, -4932 },
2494   { 7275, -3796, 4962, -2547 },
2495   { 8848, -4806, 5677, -3080 },
2496   { 8128, -4308, 7749, -6569 },
2497   { 4032, -5196, 2282, -6239 },
2498   { 6593, 700, -229, 304 },
2499   { 8260, 539, -66, -1259 },
2500   { 6605, 176, -814, -109 },
2501   { 8057, 0, -1, -136 },
2502   { 7382, -38, -484, -1129 },
2503   { 8373, -929, 682, -454 },
2504   { 7674, 690, -1278, 546 },
2505   { 7326, -517, 406, -1283 },
2506   { 7612, -1715, -1167, 1175 },
2507   { 8590, 441, -782, -710 },
2508   { 8572, -1202, -291, 260 },
2509   { 7308, -147, -1785, 414 },
2510   { 6787, -353, -672, 934 },
2511   { 5177, -133, 179, 82 },
2512   { 4161, -34, 447, 1497 },
2513   { 5997, -902, 1533, -121 },
2514   { 5727, -871, -1370, 945 },
2515   { 8386, -252, 293, -823 },
2516   { 6573, -1354, 682, 616 },
2517   { 7650, -2096, 725, 457 },
2518   { 8122, 78, 636, -1400 },
2519   { 8421, 428, -1620, 131 },
2520   { 7341, -1292, -717, 186 },
2521   { 7998, -49, -720, 266 },
2522   { 5987, -351, 669, 844 },
2523   { 7314, -1620, 250, -603 },
2524   { 7219, -1562, -572, 1994 },
2525   { 8682, -358, -290, -388 },
2526   { 5810, 155, -178, 1199 },
2527   { 7246, -12, 1042, -786 },
2528   { 7357, -923, 1468, -475 },
2529   { 7801, 621, -212, -724 },
2530   { 5346, -514, 1210, 1356 },
2531   { 8459, 36, -127, -779 },
2532   { 6878, -2429, 854, 1750 },
2533   { 7280, -1401, -1353, 2845 },
2534   { 7579, -2148, -1463, 2087 },
2535   { 6637, 946, -872, 750 },
2536   { 4807, -1100, 1289, 2602 },
2537   { 4495, 219, 1551, 1128 },
2538   { 7639, 506, 446, -1107 },
2539   { 6359, 188, 1009, -115 },
2540   { 6641, -1820, 1655, 723 },
2541   { 5394, -2382, 1604, 2542 },
2542   { 6021, -2644, 2396, 1407 },
2543   { 4698, 882, 245, 1525 },
2544   { 8103, 573, -798, -349 },
2545   { 8045, -519, 997, -1092 },
2546   { 7571, -122, 227, -338 },
2547   { 5347, -1200, 630, 1718 },
2548   { 7070, 790, 218, -544 },
2549   { 7440, 728, -527, -20 },
2550   { 6402, -355, 197, -736 },
2551   { 4031, 771, 866, 1895 },
2552   { 6009, 896, 445, -31 },
2553   { 5160, 1098, -856, 1784 },
2554   { 7980, -886, -1293, 1396 },
2555   { 6318, -1361, 2423, 252 },
2556   { 7547, -699, 133, 506 },
2557   { 8562, -2344, 940, 264 },
2558   { 5890, 1187, -1425, 2194 },
2559   { 6558, -645, -1311, 2621 },
2560   { 4634, -1671, 2075, 1623 },
2561   { 5614, 105, -816, 2376 },
2562   { 6646, 1558, -1365, 630 },
2563   { 6998, 1150, -2117, -990 },
2564   { 6555, 2311, -1093, -1783 },
2565   { 6682, 1430, -2391, -1940 },
2566   { 7861, 1555, -2977, -1188 },
2567   { 6745, 1723, -459, -2085 },
2568   { 7504, 1229, -1666, -2060 },
2569   { 7937, 671, -2128, -1529 },
2570   { 7139, 991, -735, -2632 },
2571   { 6867, 1592, -1303, -2324 },
2572   { 6401, 2230, -1732, -2508 },
2573   { 7201, 2184, -2169, -1988 },
2574   { 6636, 2190, -995, -2840 },
2575   { 7620, 2306, -2089, -651 },
2576   { 7584, 1875, -1438, -631 },
2577   { 9214, 1561, -2464, -1139 },
2578   { 6154, 1318, -1237, -2917 },
2579   { 7917, 2847, -1797, -1599 },
2580   { 8309, 2029, -2555, -465 },
2581   { 8204, 1282, -584, -2405 },
2582   { 8440, 1035, -1147, -1137 },
2583   { 7107, 1858, -60, -1568 },
2584   { 6781, 2912, -873, -1463 },
2585   { 7603, 1316, -319, -1249 },
2586   { 7833, 1335, -78, -1849 },
2587   { 7930, 1141, -1016, -695 },
2588   { 7883, 1610, -1017, -1314 },
2589   { 8069, 1409, -1811, -196 },
2590   { 8319, 1031, -582, -1590 },
2591   { 5948, 1537, -2153, -2373 },
2592   { 8684, 1171, -1871, -850 },
2593   { 8357, 2484, -2411, -1292 },
2594   { 6516, 2092, -193, -1167 },
2595   { 6112, 1697, 22, -525 },
2596   { 7161, 703, -602, -1879 },
2597   { 6047, 2351, -807, -219 },
2598   { 8072, 1854, -1817, -1553 },
2599   { 6956, 1304, 76, -1011 },
2600   { 6607, 1481, -544, -162 },
2601   { 6958, 2541, -265, -1938 },
2602   { 6416, 2514, -777, -850 },
2603   { 7272, 2110, -899, -1171 },
2604   { 7741, 2153, -283, -2614 },
2605   { 6482, 2041, -1758, -1221 },
2606   { 6762, 940, -1862, -2281 },
2607   { 5610, 1194, -1691, -1561 },
2608   { 7833, 2164, -823, -1952 },
2609   { 5460, 1438, -848, 1189 },
2610   { 6011, 1377, -771, -1557 },
2611   { 7679, 544, -1134, -2214 },
2612   { 7209, 1292, -2714, -1564 },
2613   { 5567, 1200, -404, -169 },
2614   { 5853, 1461, -1465, -518 },
2615   { 6782, 689, -844, -860 },
2616   { 7330, 1337, -1152, -71 },
2617   { 7189, 1506, -653, -685 },
2618   { 6860, 2116, -1403, -240 },
2619   { 8804, 1516, -1391, -1760 },
2620   { 7210, 2689, -1498, -989 },
2621   { 7030, 3022, -1441, -2083 },
2622   { 5649, 1836, -407, 525 },
2623   { 7451, 3099, -717, -2464 },
2624   { 7384, 1656, -2007, 398 },
2625   { 6504, 707, -1919, -134 },
2626   { -1851, 3639, -2279, -695 },
2627   { -4037, 1644, -77, 1329 },
2628   { -4025, 1960, -1565, -567 },
2629   { -3430, 2495, -795, 368 },
2630   { -4771, 2480, 993, 756 },
2631   { -3431, 2058, -2539, -971 },
2632   { -3802, 3418, 380, 217 },
2633   { -3074, 3350, -1652, -1056 },
2634   { -3705, 326, -1650, 1535 },
2635   { -3122, 1281, -1192, 1607 },
2636   { -4601, 1367, -968, 53 },
2637   { -3808, 958, 44, 2560 },
2638   { -2079, 2530, -1485, 1166 },
2639   { -3707, 343, -2889, 180 },
2640   { -5249, 1431, -31, 688 },
2641   { -4990, 125, -704, 1270 },
2642   { -2771, 1334, -2446, 746 },
2643   { -2292, 994, -1527, 2630 },
2644   { -1261, 3070, -2519, 268 },
2645   { -2544, 3890, -1057, -552 },
2646   { -4421, 255, -1980, 530 },
2647   { -2951, 454, -13, 3643 },
2648   { -2262, 1815, -370, 2880 },
2649   { -2383, 3657, -649, 576 },
2650   { -3541, -161, -1389, 2550 },
2651   { -4241, 1575, 1325, 2561 },
2652   { -2767, 4037, 1221, 1578 },
2653   { -3748, 2697, 1148, 1801 },
2654   { -4686, 2385, -220, 0 },
2655   { -1531, 1645, -2751, 1327 },
2656   { -45, 4032, -799, 2298 },
2657   { -2915, 2280, 709, 2495 },
2658   { -1199, 3278, -406, 2346 },
2659   { -2471, 116, -2706, 2060 },
2660   { -2440, 2173, -2894, -344 },
2661   { -3375, 2287, 1781, 3226 },
2662   { -2153, 3568, 1827, 2918 },
2663   { -862, 2267, -1626, 2527 },
2664   { -2698, 1135, 301, 4239 },
2665   { -2364, 2123, 1010, 3710 },
2666   { -2447, 3281, -81, 1408 },
2667   { -2660, 4735, 472, 258 },
2668   { -1053, 3097, 2682, 2398 },
2669   { -3366, -1037, -1152, -868 },
2670   { -643, 4242, 2212, 1259 },
2671   { 971, 3991, 934, 643 },
2672   { -1617, 2002, 2139, 2195 },
2673   { -4897, 972, 784, 1719 },
2674   { -1275, 2992, 1039, 3821 },
2675   { -392, 4973, -209, 1821 },
2676   { -1028, 4718, -1479, -137 },
2677   { 50, 3914, 553, 2210 },
2678   { 678, 4364, 359, 1303 },
2679   { -582, 4911, 514, 1671 },
2680   { 1276, 3914, -1252, 2934 },
2681   { -1496, 3984, 857, 2330 },
2682   { 772, 4744, -655, 2332 },
2683   { -799, 5283, -439, 624 },
2684   { 1341, 2937, 650, 2027 },
2685   { -1739, 4892, 1275, 1702 },
2686   { -892, 2596, -151, 3951 },
2687   { -3532, 1090, 1292, 32 },
2688   { 321, 3146, 2647, 1475 },
2689   { 264, 4199, -1591, 1317 },
2690   { -452, -2357, 2266, 4192 },
2691   { 3022, -1033, -2389, 5678 },
2692   { -1162, -1342, 3543, 4990 },
2693   { -474, -1477, -1223, 5016 },
2694   { -699, -2857, 900, 3835 },
2695   { -461, -2255, -117, 4626 },
2696   { 1204, -2062, -1211, 4403 },
2697   { 2192, -3035, -337, 3966 },
2698   { 108, -831, 279, 5643 },
2699   { 1457, -620, -2908, 5276 },
2700   { -2527, -78, 1085, 5460 },
2701   { -1978, -1918, -949, 4733 },
2702   { 32, 367, -1904, 5166 },
2703   { 1890, -1665, 440, 4752 },
2704   { -518, -348, 2816, 4891 },
2705   { 3695, -2490, -1374, 4603 },
2706   { 246, -1965, 3549, 3969 },
2707   { 1100, -3111, 656, 3737 },
2708   { -1379, 870, -414, 4575 },
2709   { 628, -357, -1227, 6179 },
2710   { -1129, -1318, -2457, 4576 },
2711   { -425, -98, -73, 6336 },
2712   { 367, -887, 2990, 4207 },
2713   { 2091, -1251, 2444, 3557 },
2714   { -1759, -1610, 2046, 5273 },
2715   { 3210, 1414, -20, 2616 },
2716   { 3303, -2636, 1005, 4237 },
2717   { -327, -3107, -640, 3687 },
2718   { -197, 764, 572, 5486 },
2719   { 646, -767, 1388, 5464 },
2720   { 104, 2742, -228, 3907 },
2721   { -236, 1829, -579, 4585 },
2722   { -2150, -474, -1525, 4006 },
2723   { -23, -2632, -2400, 3892 },
2724   { -12, -1739, -2910, 4867 },
2725   { -2310, -368, -102, 4583 },
2726   { -1991, -2061, 533, 4531 },
2727   { 3884, -1446, -153, 4393 },
2728   { 1568, 14, -289, 5268 },
2729   { -1376, -253, -2797, 3417 },
2730   { 3193, -2577, 2475, 3566 },
2731   { 3418, 617, 1350, 1857 },
2732   { 3792, -24, -272, 3370 },
2733   { 153, 1159, 2906, 2877 },
2734   { 511, 2162, 1548, 2741 },
2735   { 262, 819, -2791, 3734 },
2736   { 4232, -2015, 1486, 3477 },
2737   { 2943, -1110, -1014, 5480 },
2738   { 2842, 369, 703, 3476 },
2739   { 3011, 1634, -933, 3553 },
2740   { 4412, -1548, -942, 5021 },
2741   { -1405, 593, 2372, 5267 },
2742   { 2093, 2129, 896, 2365 },
2743   { 4845, -1980, 0, 3823 },
2744   { -2140, 81, 3278, 5637 },
2745   { 1484, 2665, -324, 3653 },
2746   { 10, 192, 1620, 5291 },
2747   { 2152, 738, -2269, 5000 },
2748   { 2102, 2748, -1652, 4707 },
2749   { 2855, -2131, -387, 5188 },
2750   { 1173, 676, 1338, 3277 },
2751   { 2340, -2329, -2064, 4095 },
2752   { 861, -2024, 1296, 5055 },
2753   { 2189, 3225, -695, 2626 },
2754   { 6196, -7079, 1943, -822 },
2755   { 4547, -4813, 3261, 1856 },
2756   { 4243, -6904, 3443, 448 },
2757   { 4581, -7503, 946, 506 },
2758   { 6626, -7754, 3427, 470 },
2759   { 3407, -9088, 3269, -1496 },
2760   { 4079, -6464, 2304, 777 },
2761   { 5621, -9336, 2684, -768 },
2762   { 5351, -6464, 5238, -214 },
2763   { 5961, -8007, 1724, -3091 },
2764   { 4213, -8067, 603, -246 },
2765   { 7208, -7403, 3168, -1738 },
2766   { 6098, -7700, 329, -1379 },
2767   { 6525, -6735, 4248, -1072 },
2768   { 6073, -6241, 2167, -2378 },
2769   { 4609, -9218, 3051, -1033 },
2770   { 6813, -7283, 1581, -1897 },
2771   { 6126, -6275, 2789, 681 },
2772   { 4423, -6538, 1621, -1692 },
2773   { 6272, -8298, 3167, -1855 },
2774   { 6172, -8558, 4498, -1169 },
2775   { 4844, -8588, 1647, -366 },
2776   { 6209, -8807, 1581, -369 },
2777   { 5389, -8059, 550, -192 },
2778   { 6654, -9775, 2504, -1063 },
2779   { 7103, -7998, 806, 530 },
2780   { 5662, -6736, 1565, -3620 },
2781   { 4165, -9564, 4191, -2131 },
2782   { 4526, -7181, 576, -2875 },
2783   { 4633, -8623, 2807, -4742 },
2784   { 3709, -7794, 1815, 34 },
2785   { 3634, -8622, 2313, -826 },
2786   { 6991, -8447, 2063, -3198 },
2787   { 7757, -9486, 2255, -558 },
2788   { 4149, -7778, 4728, -1696 },
2789   { 5767, -7427, 1113, 707 },
2790   { 4592, -6261, 2329, 1864 },
2791   { 3159, -10498, 1677, -4273 },
2792   { 3534, -9010, 2437, -3565 },
2793   { 4479, -10821, 2715, -4942 },
2794   { 3207, -9805, 3054, -3886 },
2795   { 4627, -8189, 3018, -2354 },
2796   { 5527, -10566, 3244, -2749 },
2797   { 4346, -10127, 3335, -3084 },
2798   { 6132, -10085, 3316, -1308 },
2799   { 5629, -9704, 2178, -3058 },
2800   { 3603, -8538, 1246, -624 },
2801   { 3737, -8488, 395, -3167 },
2802   { 5465, -11414, 2810, -4640 },
2803   { 5306, -7745, 2721, -3988 },
2804   { 7000, -9111, 1695, -1409 },
2805   { 6663, -7741, 2466, -4079 },
2806   { 4083, -7175, 1836, -4831 },
2807   { 3613, -9926, 1342, -3455 },
2808   { 6588, -8033, 457, -258 },
2809   { 4720, -8102, 17, -1209 },
2810   { 7414, -8709, 1294, -344 },
2811   { 5437, -10030, 4043, -1704 },
2812   { 4862, -9281, 1558, -1431 },
2813   { 6800, -6403, 5113, 862 },
2814   { 4623, -8242, 2667, -228 },
2815   { 5919, -5083, 3348, 2135 },
2816   { 5985, -8889, 2733, -5105 },
2817   { 5029, -5767, 4407, 719 },
2818   { 354, -6158, -838, -3001 },
2819   { 351, -5943, -2104, -1534 },
2820   { -633, -7190, -25, -4798 },
2821   { -1595, -7235, -3812, -1400 },
2822   { 103, -6197, -2933, -78 },
2823   { -1722, -5020, -3441, -4333 },
2824   { -1963, -5644, -4365, -270 },
2825   { -846, -5743, -3477, 196 },
2826   { -191, -5348, -4054, -469 },
2827   { -2515, -7754, -3495, -818 },
2828   { -2090, -6710, -2701, 117 },
2829   { -546, -7036, -1398, 163 },
2830   { -278, -7091, -2662, -536 },
2831   { -622, -7962, -2731, -1464 },
2832   { -1555, -8118, -3612, -2057 },
2833   { -1094, -6280, -2314, 505 },
2834   { -2556, -8538, -4024, -2247 },
2835   { 109, -7134, -3107, -1823 },
2836   { -900, -6954, -3340, -717 },
2837   { -605, -7113, -3656, -2154 },
2838   { 837, -6263, -3211, -2177 },
2839   { -417, -5810, -3871, -1469 },
2840   { -1318, -5649, -4207, -3198 },
2841   { 413, -6765, -2082, -33 },
2842   { -3101, -6450, -4362, -766 },
2843   { 755, -6489, -2967, -846 },
2844   { 1117, -7106, -2452, -1352 },
2845   { -1202, -8387, -3072, -2897 },
2846   { -365, -4894, -3561, -2937 },
2847   { -2372, -8776, -265, -4441 },
2848   { -1224, -8678, -896, -5074 },
2849   { -755, -10096, -600, -6623 },
2850   { 300, -8206, -225, -4568 },
2851   { -1176, -6824, -2633, -3527 },
2852   { -2006, -5443, -1526, -5849 },
2853   { -1115, -5540, -2363, -4785 },
2854   { 1059, -6812, -2543, -2654 },
2855   { -1976, -6861, -3062, -5508 },
2856   { -379, -5328, -2321, -3624 },
2857   { -2108, -5860, -4518, -1915 },
2858   { -379, -7885, -1329, -594 },
2859   { 774, -5389, -581, -5213 },
2860   { -2601, -5083, -1849, -4921 },
2861   { -176, -5580, 74, -5075 },
2862   { -204, -6780, -190, -6232 },
2863   { 418, -7594, -1987, -820 },
2864   { -1873, -8529, -2926, -1609 },
2865   { 1340, -6362, -919, -4975 },
2866   { 577, -7990, -2044, -1873 },
2867   { -2572, -7413, -1745, -2224 },
2868   { -2037, -7030, -1461, -7138 },
2869   { -2559, -8756, -2039, -5836 },
2870   { -2079, -6764, -1209, -5669 },
2871   { -1613, -7801, -2006, -685 },
2872   { -1865, -6583, -722, -3529 },
2873   { -589, -6358, -1377, -1003 },
2874   { -540, -7514, -1331, -3542 },
2875   { 419, -6192, -1677, -4927 },
2876   { -2786, -8763, -2966, -5065 },
2877   { -2172, -8411, -1726, -4675 },
2878   { -3382, -9833, -3497, -5722 },
2879   { -2433, -10169, -2077, -5775 },
2880   { -424, -9451, -1096, -3658 },
2881   { -537, -8522, -910, -1897 },
2882   { -5550, 2807, 1683, -693 },
2883   { -6395, 635, 3573, -1246 },
2884   { -7544, 2280, 2140, 44 },
2885   { -8751, 1136, 2951, -794 },
2886   { -5605, 2709, 2052, 916 },
2887   { -7650, 654, 869, 135 },
2888   { -6939, 967, 1409, 870 },
2889   { -7834, 2123, 3310, 974 },
2890   { -6935, 2818, 1274, -1678 },
2891   { -5605, 2233, 1013, 471 },
2892   { -7095, 1849, 1648, 198 },
2893   { -6636, 1634, 712, -37 },
2894   { -7279, 978, 296, -315 },
2895   { -7664, 3504, 3292, -216 },
2896   { -7836, 1209, 1221, -257 },
2897   { -7913, 2201, 1765, -1529 },
2898   { -7077, 3783, 2632, -1407 },
2899   { -5565, 1645, 1410, -622 },
2900   { -6494, 2879, 1181, -759 },
2901   { -7073, 3137, 3010, 550 },
2902   { -7249, 1839, 847, -805 },
2903   { -6630, 2197, 282, -1096 },
2904   { -8836, 1573, 1988, -1090 },
2905   { -7809, 1274, 836, -1198 },
2906   { -7895, 2970, 3511, -1097 },
2907   { -6960, 1664, 1356, -2442 },
2908   { -6582, 2866, 2273, 307 },
2909   { -7221, 821, 2851, -1435 },
2910   { -6015, 1703, 2001, -2367 },
2911   { -8082, 1034, 2103, 239 },
2912   { -5952, 1912, 301, -465 },
2913   { -6099, 841, 379, 567 },
2914   { -6343, 50, 494, 658 },
2915   { -6586, 983, 591, -893 },
2916   { -5500, 869, 2187, -2479 },
2917   { -6482, 60, 1545, -979 },
2918   { -6705, 515, 1974, -53 },
2919   { -6460, 1755, 1325, -1275 },
2920   { -6093, 2617, 2465, -623 },
2921   { -7330, 2161, 594, -2115 },
2922   { -7324, 762, 1593, -2004 },
2923   { -6385, 679, 1510, -2514 },
2924   { -6159, 241, 2976, -1631 },
2925   { -8583, 3030, 4045, -162 },
2926   { -6299, 66, 2209, -2103 },
2927   { -5428, 1279, 3267, -1846 },
2928   { -6438, 1335, 2728, -1631 },
2929   { -8012, 1070, 2428, -1151 },
2930   { -6201, 2781, 2349, -1918 },
2931   { -5918, 1139, 3121, -148 },
2932   { -6314, 2481, 3137, -1808 },
2933   { -7180, 1722, 2435, -1602 },
2934   { -6750, 1829, 3763, -1145 },
2935   { -6713, 1777, 2221, 1212 },
2936   { -7479, 1835, 3627, -479 },
2937   { -7299, 10, 2406, -1593 },
2938   { -8249, 3129, 996, -2870 },
2939   { -8374, 1534, 1333, -1882 },
2940   { -7507, 3353, 1598, -2299 },
2941   { -7379, 2701, 2326, -1167 },
2942   { -8440, 2276, 2796, -542 },
2943   { -10348, 1527, 2649, -1165 },
2944   { -8184, 3614, 2574, -1738 },
2945   { -5539, 1574, 1733, 1138 },
2946   { 9404, -7652, 67, 79 },
2947   { 8654, -3972, 1358, -60 },
2948   { 8617, -4794, 117, 2318 },
2949   { 7886, -4505, 1784, 1200 },
2950   { 8636, -6125, 3879, -1003 },
2951   { 9654, -6836, 1816, 205 },
2952   { 9374, -6553, 913, 1875 },
2953   { 8020, -6150, 1134, 2390 },
2954   { 7786, -4970, 2078, -1857 },
2955   { 8691, -6119, 711, 708 },
2956   { 9039, -5568, 2944, -1902 },
2957   { 9955, -5048, 1433, -601 },
2958   { 8089, -6927, 3093, -2846 },
2959   { 8487, -7024, 2415, 19 },
2960   { 9388, -5287, 3577, -2655 },
2961   { 8591, -7371, 2300, -996 },
2962   { 9104, -4763, 1453, -2558 },
2963   { 7615, -5457, 596, 164 },
2964   { 9860, -7047, 3433, -614 },
2965   { 8756, -4404, 2235, -964 },
2966   { 9462, -4660, 299, -1822 },
2967   { 10119, -5550, 2689, -1273 },
2968   { 10915, -7471, 2705, -1007 },
2969   { 11433, -7090, 1410, -1198 },
2970   { 9882, -7431, 2965, -1895 },
2971   { 7628, -5219, 769, -2661 },
2972   { 8169, -5318, 2262, 70 },
2973   { 8846, -6320, 1939, -754 },
2974   { 7147, -5593, 1248, -971 },
2975   { 10652, -5485, 935, 137 },
2976   { 7778, -6533, 2564, -1932 },
2977   { 8878, -5173, 1214, -361 },
2978   { 9828, -4943, 282, 510 },
2979   { 10042, -6134, 3895, -1914 },
2980   { 7965, -6630, 3566, -433 },
2981   { 8573, -4502, 3574, -1209 },
2982   { 8398, -4801, 1031, -1347 },
2983   { 10136, -7772, 2612, 1547 },
2984   { 9890, -7280, 1768, -1083 },
2985   { 8407, -6585, -706, -58 },
2986   { 7976, -7582, 229, -131 },
2987   { 10481, -8866, 1166, -147 },
2988   { 10914, -4342, 3189, -2412 },
2989   { 10440, -5198, -104, -1109 },
2990   { 11227, -6530, 2381, -2449 },
2991   { 8487, -8064, 1086, 230 },
2992   { 9975, -6123, -857, -134 },
2993   { 8339, -6498, 1232, -2337 },
2994   { 11042, -4506, 1119, -2098 },
2995   { 12563, -5592, 1837, -2062 },
2996   { 11801, -5590, 632, -1296 },
2997   { 10152, -5617, 1511, -1917 },
2998   { 7800, -6473, 51, -1337 },
2999   { 7941, -5560, 2438, -3270 },
3000   { 6554, -3834, 2100, 1476 },
3001   { 9065, -5520, -226, -1120 },
3002   { 10794, -7120, -243, 122 },
3003   { 10429, -6968, 272, -806 },
3004   { 8942, -8914, 1442, -392 },
3005   { 9969, -5051, 2033, -2953 },
3006   { 7275, -4152, 3058, -64 },
3007   { 11127, -5488, 4589, -3227 },
3008   { 9626, -6666, 2739, -2958 },
3009   { 6943, -5362, 4470, 1008 },
3010   { -7456, -967, 2936, -1002 },
3011   { -8622, -333, 6962, 2606 },
3012   { -7486, -3392, 3668, 1287 },
3013   { -8053, -827, 5148, 1097 },
3014   { -6610, 454, 4952, 96 },
3015   { -7701, -1982, 3161, -468 },
3016   { -7307, -1132, 4071, -36 },
3017   { -8125, -271, 5199, 3862 },
3018   { -9182, -1950, 2813, 1878 },
3019   { -9855, -952, 4794, 3010 },
3020   { -7241, 1431, 4202, 2468 },
3021   { -9646, 157, 4766, 1046 },
3022   { -9371, 1230, 6009, 2958 },
3023   { -11514, -64, 8630, 5248 },
3024   { -6766, 565, 2766, 2140 },
3025   { -8426, -9, 2852, 1271 },
3026   { -11291, -1113, 5087, 2937 },
3027   { -8297, 2092, 4495, 1264 },
3028   { -9983, 735, 3809, -51 },
3029   { -9048, -1000, 3191, -308 },
3030   { -7331, -1987, 2655, 1391 },
3031   { -7144, -21, 4333, 2161 },
3032   { -6032, -1540, 3543, 896 },
3033   { -7987, -1036, 1985, 1529 },
3034   { -9264, 2004, 5194, 290 },
3035   { -11308, -840, 5754, 1654 },
3036   { -9130, -2398, 4292, 2973 },
3037   { -6248, 838, 3563, 1223 },
3038   { -6819, -2760, 3511, 119 },
3039   { -7213, -2006, 4364, 762 },
3040   { -5431, -1047, 4533, 166 },
3041   { -7098, -641, 2021, 639 },
3042   { -8628, -2249, 3588, 399 },
3043   { -6352, -1498, 3560, -648 },
3044   { -7033, -2190, 4870, 2562 },
3045   { -7405, -46, 3772, -581 },
3046   { -6104, 796, 5143, 1965 },
3047   { -5787, 943, 5784, 3030 },
3048   { -8367, 1465, 7192, 4097 },
3049   { -8259, 789, 5694, 1963 },
3050   { -10614, -1899, 5748, 2645 },
3051   { -8258, -805, 3698, 2275 },
3052   { -6877, -972, 6431, 3160 },
3053   { -6483, 363, 7018, 3129 },
3054   { -6283, -1358, 5191, 1524 },
3055   { -8853, -3157, 4119, 1741 },
3056   { -6086, -267, 3883, -835 },
3057   { -7254, 1032, 6613, 4017 },
3058   { -11470, -3350, 4649, 3426 },
3059   { -6743, 481, 6148, 1239 },
3060   { -5394, -166, 5309, 3165 },
3061   { -7958, 1068, 4268, -240 },
3062   { -10520, 2256, 7916, 2828 },
3063   { -5132, -4, 5739, 1176 },
3064   { -8643, 120, 3255, -629 },
3065   { -9631, 1974, 8870, 4362 },
3066   { -10663, -1221, 3733, 589 },
3067   { -8224, -1843, 5806, 2655 },
3068   { -8282, 1255, 8647, 3478 },
3069   { -12311, -1505, 9043, 6256 },
3070   { -11312, -856, 7136, 4681 },
3071   { -11944, -722, 7941, 3309 },
3072   { -7868, -463, 6846, 4196 },
3073   { -8679, -241, 7410, 5347 },
3074   { 6759, -4680, -508, 1220 },
3075   { 5176, -6111, 944, 121 },
3076   { 6843, -5667, -1368, -533 },
3077   { 5616, -5884, -1471, -695 },
3078   { 6030, -5089, -1808, -940 },
3079   { 7444, -5463, -52, 1881 },
3080   { 4207, -6079, -506, 1571 },
3081   { 6785, -4410, -649, 3084 },
3082   { 4838, -5214, 2026, 2998 },
3083   { 4201, -5790, 645, 1811 },
3084   { 6930, -5129, -1940, 1698 },
3085   { 6332, -4627, 692, 3027 },
3086   { 6285, -4314, -106, 3644 },
3087   { 6255, -5450, -1975, 742 },
3088   { 4199, -4676, -459, 1796 },
3089   { 5592, -5500, 1345, 1300 },
3090   { 4358, -5556, -2236, 114 },
3091   { 4620, -5875, -1563, 888 },
3092   { 4892, -7550, -327, -419 },
3093   { 4734, -7085, 7, 613 },
3094   { 3883, -5562, -1969, 1080 },
3095   { 5610, -4990, -204, 834 },
3096   { 4117, -6482, -1271, 341 },
3097   { 6585, -5107, 892, 1169 },
3098   { 6632, -3683, 302, 3002 },
3099   { 6326, -5351, -983, -1250 },
3100   { 4382, -7192, -730, -158 },
3101   { 5227, -6540, -451, 1123 },
3102   { 5468, -6472, -870, -1471 },
3103   { 5191, -6402, -1365, -127 },
3104   { 7407, -6317, -973, -336 },
3105   { 4611, -6530, -820, -1980 },
3106   { 4963, -5159, -2050, -966 },
3107   { 4414, -5691, -211, -998 },
3108   { 5954, -5873, 750, -1749 },
3109   { 4394, -4796, -1268, 254 },
3110   { 7161, -6214, -1010, 689 },
3111   { 4965, -3598, 2372, 1711 },
3112   { 6248, -6180, 981, 864 },
3113   { 6473, -5336, 525, -600 },
3114   { 4591, -6864, -1131, -900 },
3115   { 6314, -6440, -1021, -375 },
3116   { 5838, -6209, -1199, 944 },
3117   { 5308, -5283, -2100, 1267 },
3118   { 4342, -5860, -1637, -1356 },
3119   { 5680, -4388, -1227, -104 },
3120   { 4900, -4098, 1449, 4046 },
3121   { 4677, -4284, -106, 3190 },
3122   { 7574, -6173, -848, 1859 },
3123   { 6493, -7207, -131, 726 },
3124   { 5513, -5261, -2117, 4 },
3125   { 6191, -7352, -193, -505 },
3126   { 5885, -4333, 324, -134 },
3127   { 6162, -6081, -312, -2044 },
3128   { 4216, -6200, -1810, -572 },
3129   { 5652, -7035, -696, -197 },
3130   { 7131, -7189, -366, -60 },
3131   { 5032, -4803, -1514, 2832 },
3132   { 7386, -4610, -606, 3489 },
3133   { 4211, -5031, 1221, 3047 },
3134   { 4050, -4653, 1584, 1469 },
3135   { 6852, -5302, -1861, 206 },
3136   { 7736, -4816, -1794, 3359 },
3137   { 6290, -3439, 1522, 2454 },
3138   { 1768, 5990, -5560, -2594 },
3139   { 3903, 5326, -1530, -1501 },
3140   { 2472, 3738, -2117, -4240 },
3141   { 3260, 5448, -904, -4733 },
3142   { 1435, 7297, -3676, -4102 },
3143   { 4096, 5951, -656, -3312 },
3144   { 2178, 6009, -3146, -3724 },
3145   { 3787, 5493, -5473, -1633 },
3146   { 2998, 7286, -3334, -3571 },
3147   { 2894, 6576, -4708, -2804 },
3148   { 830, 6163, -4286, -3348 },
3149   { 4755, 5569, -1730, -2739 },
3150   { 4604, 6065, -3562, -2605 },
3151   { 2749, 5141, -3986, -2775 },
3152   { 3942, 4875, -2143, -3340 },
3153   { 2819, 8517, -2004, -2724 },
3154   { 2146, 6298, -689, -3093 },
3155   { 5196, 6504, -3393, -1475 },
3156   { 1851, 8386, -1748, -1420 },
3157   { 3474, 8572, -3534, -2688 },
3158   { 4503, 7560, -3561, -2245 },
3159   { 4433, 6219, -2393, -1575 },
3160   { 3506, 7248, -2275, -1977 },
3161   { 3490, 7409, -3147, -604 },
3162   { 4214, 6447, -3520, 516 },
3163   { 619, 7034, -829, -1705 },
3164   { 1732, 7395, -356, -2208 },
3165   { 1226, 5204, -3294, -3732 },
3166   { 2027, 5619, -1813, -4146 },
3167   { 3078, 5877, 47, -2651 },
3168   { 1654, 5458, 424, -682 },
3169   { 3163, 5464, -2026, -270 },
3170   { 2884, 5375, -685, -530 },
3171   { 2950, 7286, -35, -2967 },
3172   { 1986, 5066, -597, 482 },
3173   { 3459, 4308, -3845, -2333 },
3174   { 3155, 7037, -1346, -4345 },
3175   { 2193, 6696, -717, -1319 },
3176   { 3677, 5089, -3892, -487 },
3177   { 2186, 5136, -4186, -1492 },
3178   { 773, 5796, -917, 817 },
3179   { 2489, 6546, -3570, -2117 },
3180   { 1223, 6469, -1362, -33 },
3181   { 271, 6061, -1466, -1725 },
3182   { 2540, 5171, -1847, 1032 },
3183   { 2548, 5251, -2697, 1677 },
3184   { 771, 7600, -768, -632 },
3185   { 4710, 6647, -4736, -1275 },
3186   { 1369, 5917, -2971, -1056 },
3187   { 163, 5239, -3499, -2275 },
3188   { 2104, 4285, -3211, -3286 },
3189   { 1107, 7411, -1972, -1671 },
3190   { 2196, 7262, -2310, -1926 },
3191   { -244, 6439, -1745, -839 },
3192   { 3293, 3832, -2890, -3000 },
3193   { 419, 6443, -379, -407 },
3194   { 3077, 4930, -1156, -2869 },
3195   { 2131, 5874, -2330, 224 },
3196   { 690, 6538, -2212, -2841 },
3197   { 1602, 4421, -2515, 1542 },
3198   { 3318, 9373, -3032, -3477 },
3199   { 5646, 7462, -5153, -1463 },
3200   { 4139, 7137, -1539, -3321 },
3201   { 3481, 9077, -1645, -3653 },
3202   { -7747, 375, -106, -543 },
3203   { -8587, -1379, -586, -461 },
3204   { -10146, -892, 2094, 694 },
3205   { -8103, 382, 504, -325 },
3206   { -8548, -92, 94, -656 },
3207   { -7460, 38, 152, 388 },
3208   { -8266, -271, -459, -883 },
3209   { -7935, -664, -1026, -802 },
3210   { -8341, -109, 853, 161 },
3211   { -8802, -1355, 1099, 630 },
3212   { -8957, -6, 1108, -669 },
3213   { -7260, -1520, -43, -407 },
3214   { -7555, -174, 668, -2562 },
3215   { -9014, -126, 227, -1191 },
3216   { -8184, 769, 290, -1375 },
3217   { -9476, 55, 962, -1528 },
3218   { -8679, 541, 755, -1030 },
3219   { -9842, -1626, 838, -1588 },
3220   { -8513, -702, 788, -1998 },
3221   { -10101, -1558, -366, -1841 },
3222   { -8135, 78, 1479, -1813 },
3223   { -9128, -454, 313, -1786 },
3224   { -7554, -1084, 831, -2442 },
3225   { -7576, -701, 2068, -1665 },
3226   { -7791, -1481, 1587, -1808 },
3227   { -6701, -596, -97, 802 },
3228   { -7418, -15, 684, -963 },
3229   { -7127, -477, -139, -426 },
3230   { -8097, -110, -36, -264 },
3231   { -7620, -1922, -590, -101 },
3232   { -7647, -1201, 279, 660 },
3233   { -7856, -1974, 758, -2271 },
3234   { -8496, -167, 2232, -1143 },
3235   { -8506, -1359, 624, -740 },
3236   { -7274, -1052, 1062, -139 },
3237   { -7800, -217, 91, -1794 },
3238   { -7030, -1694, -955, 615 },
3239   { -9020, -1864, 101, -2182 },
3240   { -9400, -740, 598, -667 },
3241   { -8448, -1184, 2024, -1272 },
3242   { -8812, -570, -897, -2384 },
3243   { -10559, -1286, 538, -1536 },
3244   { -8728, -888, -1089, -1397 },
3245   { -7080, -1185, 636, -1252 },
3246   { -9880, 233, 2344, -782 },
3247   { -7952, -1326, -378, -1947 },
3248   { -7207, -378, 1408, -2237 },
3249   { -8467, -1545, 902, -1987 },
3250   { -9163, -1474, 924, -1739 },
3251   { -8159, -992, -77, -2744 },
3252   { -8343, 148, -423, -1573 },
3253   { -9105, -649, -254, -1214 },
3254   { -8939, 456, 281, -1905 },
3255   { -8837, 179, -394, -2634 },
3256   { -9145, 757, 1547, -1319 },
3257   { -9775, -723, 441, -1680 },
3258   { -8910, -686, 1529, -1525 },
3259   { -9492, -1134, 2064, -938 },
3260   { -6111, -943, 677, -31 },
3261   { -7411, -613, -814, 46 },
3262   { -9479, -922, -430, -2061 },
3263   { -11298, -1268, 1318, -1117 },
3264   { -8190, 832, 671, -2214 },
3265   { -10453, -550, 1672, -886 },
3266   { 1044, 9353, -1651, -5423 },
3267   { 1034, 8149, -455, -6166 },
3268   { 761, 8293, -3214, -4838 },
3269   { 938, 8077, 164, -5130 },
3270   { 1295, 8673, 2582, -5490 },
3271   { -314, 7973, -2395, -5231 },
3272   { -507, 9012, -2497, -5775 },
3273   { 2396, 8314, -1022, -4673 },
3274   { -1516, 8501, 1950, -4969 },
3275   { -308, 7401, 1549, -4866 },
3276   { -112, 8340, 3003, -4920 },
3277   { -50, 9315, 1371, -5666 },
3278   { -659, 9449, 2496, -5547 },
3279   { 2573, 9148, -2270, -4783 },
3280   { 830, 7104, -438, -3907 },
3281   { 522, 10672, -677, -6483 },
3282   { -1190, 10108, -510, -6518 },
3283   { -427, 8271, -579, -6315 },
3284   { 1602, 8113, -1927, -4418 },
3285   { -2266, 8180, 448, -5190 },
3286   { -1633, 8816, -226, -5771 },
3287   { 759, 9481, -105, -5813 },
3288   { 2254, 6679, -466, -5662 },
3289   { -88, 6946, 895, -5958 },
3290   { -1705, 10009, 1394, -5574 },
3291   { 748, 7943, 540, -6692 },
3292   { 1411, 7009, 232, -6145 },
3293   { 697, 7290, -1221, -5342 },
3294   { -1764, 10580, 1944, -3981 },
3295   { -1334, 9124, 1195, -3903 },
3296   { -905, 10067, 635, -5039 },
3297   { 664, 10680, 49, -4625 },
3298   { 1374, 9536, -777, -3591 },
3299   { 252, 9698, -597, -2931 },
3300   { 824, 9164, -1014, -2144 },
3301   { 2438, 10569, -2289, -4424 },
3302   { 2101, 7102, 507, -3614 },
3303   { 294, 8051, -432, -1518 },
3304   { -665, 10337, 547, -2852 },
3305   { 1168, 11989, -492, -5427 },
3306   { 1344, 6416, 302, -5061 },
3307   { -1727, 12264, 1507, -4543 },
3308   { 674, 10889, -902, -3605 },
3309   { -582, 9504, 300, -3618 },
3310   { 641, 7654, 689, -2109 },
3311   { 2065, 9243, 508, -4367 },
3312   { 1055, 8373, 688, -3144 },
3313   { -641, 8185, 986, -3307 },
3314   { 1120, 7426, 1785, -3757 },
3315   { 1660, 8070, -593, -3104 },
3316   { 2002, 9467, -1722, -3475 },
3317   { 2361, 8368, 100, -3709 },
3318   { -772, 7845, -613, -4988 },
3319   { 1485, 7430, 1896, -6127 },
3320   { -432, 7823, -947, -2882 },
3321   { 313, 11122, -760, -4871 },
3322   { 412, 8412, -283, -4231 },
3323   { 1585, 10402, -1884, -3267 },
3324   { 321, 6952, 773, -3016 },
3325   { -105, 9014, 121, -2249 },
3326   { 1585, 10313, -977, -4812 },
3327   { 1619, 11869, 1306, -6876 },
3328   { -1168, 8886, -81, -2500 },
3329   { -395, 10886, 733, -6490 },
3330   { -4949, 4274, 3992, -1054 },
3331   { -4241, 5299, 4262, -1584 },
3332   { -2710, 3862, 4552, -1673 },
3333   { -4608, 2472, 3672, -1715 },
3334   { -2843, 2816, 4003, -2326 },
3335   { -5229, 2964, 5636, 90 },
3336   { -4924, 3442, 5015, -1096 },
3337   { -1281, 3313, 5537, -2066 },
3338   { -3808, 1939, 4351, -919 },
3339   { -1915, 2585, 4939, -1614 },
3340   { -3470, 1843, 5562, -682 },
3341   { -3800, 870, 5827, 144 },
3342   { -4985, 1452, 4728, -709 },
3343   { -3745, 2750, 7220, 259 },
3344   { -1875, 1900, 6514, -826 },
3345   { -4329, 1574, 7192, 1304 },
3346   { -5408, 1444, 6208, 631 },
3347   { -3327, 5312, 5707, -1541 },
3348   { -6966, 3334, 4034, 1028 },
3349   { -7484, 4245, 4218, -212 },
3350   { -6567, 5839, 4539, -512 },
3351   { -5715, 5935, 3747, -1186 },
3352   { -6410, 4881, 3356, -1610 },
3353   { -5146, 2590, 2850, 2172 },
3354   { -5196, 4095, 2569, -373 },
3355   { -5043, 6025, 4318, 692 },
3356   { -5525, 4884, 3513, 370 },
3357   { -6804, 7533, 5812, -488 },
3358   { -5657, 2480, 4061, 1234 },
3359   { -3155, 1472, 6071, 1188 },
3360   { -3427, 5217, 3442, 858 },
3361   { -4698, 3013, 5517, 2586 },
3362   { -4449, 2226, 5418, 3580 },
3363   { -6395, 3547, 5487, 2028 },
3364   { -3500, 5019, 4787, 1 },
3365   { -4038, 2578, 3073, 3151 },
3366   { -2750, 1955, 4469, 3856 },
3367   { -5696, 1659, 6118, 2469 },
3368   { -4350, 1241, 6840, 3126 },
3369   { -5565, 5058, 5196, 1314 },
3370   { -1642, 4190, 3948, 607 },
3371   { -1233, 4108, 4850, -640 },
3372   { -997, 3428, 3239, 1378 },
3373   { -6488, 2741, 6926, 2792 },
3374   { -4188, 3763, 4235, 2018 },
3375   { -3210, 3224, 5646, 1427 },
3376   { -5526, 6909, 5070, -627 },
3377   { -2815, 3994, 3425, 1903 },
3378   { -2163, 2734, 5423, 145 },
3379   { -4149, 4247, 2355, 734 },
3380   { -410, 2521, 4138, -16 },
3381   { -2411, 2385, 4927, 2105 },
3382   { -6077, 3591, 3114, 594 },
3383   { -4186, 4834, 5926, -1004 },
3384   { -7315, 3369, 5966, 448 },
3385   { -7042, 5721, 5771, 238 },
3386   { -4466, 3907, 3535, -1751 },
3387   { -2116, 3970, 6163, -1392 },
3388   { -7239, 2143, 8407, 3630 },
3389   { -5431, 4486, 6486, -42 },
3390   { -1874, 1617, 6333, 519 },
3391   { -6478, 2629, 4634, -505 },
3392   { -7784, 2342, 7216, 1365 },
3393   { -1154, 1432, 4831, 1544 },
3394   { -4964, -5801, 1797, 506 },
3395   { -4436, -6905, 1059, -1237 },
3396   { -5400, -6886, 884, -290 },
3397   { -6259, -7103, 523, -227 },
3398   { -4819, -6450, 1412, -450 },
3399   { -4056, -6213, 1725, -943 },
3400   { -5642, -6091, 1357, 605 },
3401   { -4196, -5678, 2187, -173 },
3402   { -4726, -5126, 2470, 321 },
3403   { -6642, -5091, 1507, -1005 },
3404   { -5304, -5250, 1944, 1579 },
3405   { -7179, -5520, 1468, -425 },
3406   { -6033, -4895, 1876, -955 },
3407   { -6595, -5143, 2207, 1291 },
3408   { -4224, -4943, 1846, 1792 },
3409   { -7128, -6950, 539, 724 },
3410   { -4369, -4901, 2590, 1103 },
3411   { -7413, -5696, 1712, 1440 },
3412   { -5885, -6821, 418, 871 },
3413   { -6828, -5599, 710, -1563 },
3414   { -6123, -5817, 1358, 1631 },
3415   { -5291, -5622, 578, 2138 },
3416   { -7171, -6004, 347, 2208 },
3417   { -6083, -5251, 2132, 425 },
3418   { -4329, -5721, 407, -2993 },
3419   { -5326, -5056, 1119, -1837 },
3420   { -5485, -5856, 185, -2389 },
3421   { -6529, -5178, 403, -697 },
3422   { -6719, -4412, 2726, 871 },
3423   { -5126, -5629, 1835, -771 },
3424   { -5622, -4361, 2973, 858 },
3425   { -5282, -5895, 45, -335 },
3426   { -4357, -5656, 1696, -1558 },
3427   { -7139, -6659, 627, -409 },
3428   { -4415, -6328, 35, 1306 },
3429   { -7639, -6110, 1134, 197 },
3430   { -3626, -5592, 2019, 901 },
3431   { -3547, -5064, 1176, 1738 },
3432   { -5075, -3899, 2087, 266 },
3433   { -4086, -6311, 1479, 360 },
3434   { -6210, -5220, -199, -1477 },
3435   { -3910, -5063, 1356, -15 },
3436   { -7616, -4977, 461, 2401 },
3437   { -6118, -6131, 1258, -563 },
3438   { -6127, -4968, 1286, -27 },
3439   { -4121, -5852, 1113, 1476 },
3440   { -5157, -4881, 1162, -662 },
3441   { -4637, -5031, 1179, 709 },
3442   { -5509, -5452, -397, 1224 },
3443   { -4597, -6861, 646, 467 },
3444   { -6247, -4043, 468, 278 },
3445   { -5336, -6465, 874, -1472 },
3446   { -6998, -6346, 78, -1798 },
3447   { -4915, -4530, 2756, -203 },
3448   { -6048, -4373, 1468, 1052 },
3449   { -4273, -7100, 942, -323 },
3450   { -6552, -4287, 2351, 69 },
3451   { -6954, -4613, 722, 1521 },
3452   { -4201, -5361, 763, -1562 },
3453   { -6881, -5596, -748, 669 },
3454   { -6695, -3547, -34, 1299 },
3455   { -3981, -5728, 84, 111 },
3456   { -4663, -4809, 2173, -1031 },
3457   { -6599, -6077, 1303, 256 },
3458   { -7596, -4265, -5791, -4140 },
3459   { -6610, -2758, -5288, -3936 },
3460   { -5880, -3865, -6563, -3088 },
3461   { -7228, -5510, -7677, -3912 },
3462   { -8854, -6553, -8318, -5361 },
3463   { -9362, -5249, -6413, -4319 },
3464   { -4418, -3110, -6368, -4358 },
3465   { -5544, -4203, -6863, -5013 },
3466   { -3056, -4316, -5567, -3181 },
3467   { -3078, -5999, -5051, -2657 },
3468   { -5884, -6292, -5756, -4013 },
3469   { -4825, -4549, -5535, -4053 },
3470   { -4443, -6126, -5316, -1368 },
3471   { -3972, -6341, -6098, -2686 },
3472   { -5751, -2781, -5398, -6230 },
3473   { -4466, -6135, -5570, -3679 },
3474   { -4291, -5992, -3564, -5189 },
3475   { -7189, -4429, -7279, -6082 },
3476   { -5076, -4433, -2748, -5366 },
3477   { -6225, -2825, -6833, -5663 },
3478   { -2989, -4792, -3960, -4492 },
3479   { -7836, -7773, -7722, -5741 },
3480   { -6559, -5703, -5844, -5589 },
3481   { -7612, -5438, -4136, -3774 },
3482   { -4218, -4176, -6591, -2333 },
3483   { -4837, -5063, -6581, 322 },
3484   { -6590, -5990, -2980, -3847 },
3485   { -5558, -2971, -5489, -1932 },
3486   { -7001, -5323, -4975, -1697 },
3487   { -4694, -2688, -6904, -3044 },
3488   { -8511, -5379, -5767, -2549 },
3489   { -7548, -5412, -6522, -2572 },
3490   { -6597, -4973, -6423, -1274 },
3491   { -6415, -4022, -5168, -1072 },
3492   { -5528, -5530, -7218, -2345 },
3493   { -4845, -4805, -5943, -1227 },
3494   { -6049, -7150, -6744, -2161 },
3495   { -9061, -7299, -8542, -4375 },
3496   { -5010, -5546, -5416, -82 },
3497   { -4135, -4205, -5109, -3373 },
3498   { -3311, -5869, -4007, -5061 },
3499   { -5993, -6472, -3962, -4718 },
3500   { -2966, -5832, -2821, -6305 },
3501   { -4851, -5152, -2067, -3930 },
3502   { -3620, -4441, -3362, -5836 },
3503   { -4469, -5221, -4534, -5592 },
3504   { -4022, -6335, -4321, -6107 },
3505   { -4899, -4503, -3084, -3725 },
3506   { -4490, -8276, -4620, -6236 },
3507   { -6591, -4342, -7365, -4063 },
3508   { -6498, -5057, -5553, 485 },
3509   { -6060, -2714, -7093, -4144 },
3510   { -6199, -7774, -7094, -4057 },
3511   { -7536, -6424, -6415, -4265 },
3512   { -7439, -2454, -6348, -4827 },
3513   { -5333, -7565, -4417, -4639 },
3514   { -4353, -7103, -4197, -2689 },
3515   { -5229, -6549, -5129, -6804 },
3516   { -6129, -7701, -5236, -4836 },
3517   { -6797, -3983, -3884, -4406 },
3518   { -6624, -4467, -4745, -5052 },
3519   { -3324, -7596, -2720, -6553 },
3520   { -5473, -6284, -1704, -4511 },
3521   { -4131, -7263, -3180, -5196 },
3522   { -7116, -5565, -3469, 685 },
3523   { -6002, -6021, -3858, 576 },
3524   { -3144, -8203, -1291, -434 },
3525   { -6096, -7027, -4004, 1353 },
3526   { -3943, -7709, -2344, -36 },
3527   { -4510, -6767, -2642, 631 },
3528   { -3657, -11541, -2570, -3984 },
3529   { -5959, -8854, -1333, -867 },
3530   { -6699, -8866, -1606, -344 },
3531   { -3836, -7961, -2334, -2028 },
3532   { -3430, -8045, -3037, -672 },
3533   { -3868, -9184, -3635, -1819 },
3534   { -4258, -9060, -2621, -1008 },
3535   { -3595, -8693, -2022, -752 },
3536   { -4573, -8048, -3166, -2622 },
3537   { -4852, -7903, -1405, 256 },
3538   { -4591, -7057, -1560, 965 },
3539   { -6963, -7655, -980, 808 },
3540   { -5179, -6641, -3356, 1196 },
3541   { -7102, -6941, -2798, 2123 },
3542   { -6867, -5834, -3320, -770 },
3543   { -5977, -7369, -2500, -778 },
3544   { -6160, -6400, -934, -2543 },
3545   { -6741, -7608, -355, -1289 },
3546   { -6856, -6466, -1433, -1643 },
3547   { -4786, -6292, -4970, 376 },
3548   { -5407, -8866, -2255, -400 },
3549   { -3814, -6506, -1387, -3620 },
3550   { -4998, -6137, -1200, -4092 },
3551   { -5123, -9557, -2849, -1306 },
3552   { -4259, -6444, -4395, -338 },
3553   { -5221, -6810, -883, 1225 },
3554   { -6137, -6215, -2165, 554 },
3555   { -3895, -6557, -3176, -1829 },
3556   { -3886, -8188, -87, -954 },
3557   { -7243, -6707, -2216, -316 },
3558   { -5592, -7606, 85, -432 },
3559   { -3957, -7945, -504, -144 },
3560   { -4617, -7624, 218, -312 },
3561   { -4797, -8737, -844, -1051 },
3562   { -4478, -8516, -1401, -454 },
3563   { -4557, -7058, -302, -2332 },
3564   { -6623, -7736, -271, -50 },
3565   { -3157, -7532, -1111, -2207 },
3566   { -3590, -7300, -1271, 517 },
3567   { -4442, -7306, -507, 590 },
3568   { -6458, -7524, -2807, 666 },
3569   { -4991, -8466, -3363, -785 },
3570   { -7474, -7541, -1056, -1839 },
3571   { -7501, -8316, -938, -180 },
3572   { -5329, -7739, -579, -2341 },
3573   { -4549, -7063, -176, -3539 },
3574   { -5191, -8612, -1504, -4250 },
3575   { -3083, -7058, -2251, 32 },
3576   { -4003, -7043, -1093, -791 },
3577   { -5523, -8093, -678, -114 },
3578   { -3022, -10265, -2070, -3109 },
3579   { -3905, -6274, -182, -3652 },
3580   { -3269, -9217, -551, -2650 },
3581   { -3138, -9314, -1726, -1704 },
3582   { -4420, -10339, -1744, -3459 },
3583   { -4163, -8609, -2298, -4113 },
3584   { -5566, -6505, -1241, -463 },
3585   { -3130, -9746, -2352, -4884 },
3586   { -7825, -3439, 1451, -1468 },
3587   { -8451, -3318, 2360, -435 },
3588   { -8462, -4130, 1438, -1024 },
3589   { -9425, -4564, 1328, -689 },
3590   { -11014, -3202, 2278, 2080 },
3591   { -8269, -2761, -146, -440 },
3592   { -7497, -2618, -166, 413 },
3593   { -8250, -3060, 522, -2133 },
3594   { -8365, -5366, 1347, -451 },
3595   { -8589, -3979, 2943, 714 },
3596   { -8111, -2572, 1272, -1748 },
3597   { -7830, -5193, 605, -1484 },
3598   { -8119, -4736, 2141, 256 },
3599   { -7724, -4769, 1463, -812 },
3600   { -7363, -3911, 2540, 4 },
3601   { -7974, -3397, 2363, 1366 },
3602   { -7359, -4204, 1752, -958 },
3603   { -7622, -3505, 660, 916 },
3604   { -9934, -3665, 3165, 828 },
3605   { -8721, -4162, 62, 1718 },
3606   { -9433, -4768, 2722, 1234 },
3607   { -7960, -4496, 138, 1528 },
3608   { -8198, -3454, -443, 631 },
3609   { -7756, -2246, 655, 1137 },
3610   { -8841, -3145, 1113, 829 },
3611   { -7817, -3298, 1251, 230 },
3612   { -9413, -2733, 323, -1862 },
3613   { -9408, -4168, 1270, 1549 },
3614   { -9037, -3892, -942, 283 },
3615   { -8255, -3849, 1301, 1762 },
3616   { -9057, -3987, -41, -682 },
3617   { -9441, -4187, 2019, -111 },
3618   { -9740, -3178, 1602, -871 },
3619   { -8344, -2474, 1461, 1506 },
3620   { -9752, -2925, 1996, 1243 },
3621   { -9199, -3796, 180, 537 },
3622   { -9060, -2405, 1140, -1562 },
3623   { -9348, -2376, 309, -162 },
3624   { -10786, -3182, -5, -1500 },
3625   { -8142, -4540, -434, -826 },
3626   { -7528, -2341, 1104, -73 },
3627   { -9360, -2658, 3062, 56 },
3628   { -8267, -2335, 2000, -1193 },
3629   { -12169, -3154, 1287, -640 },
3630   { -11398, -2120, 946, -1163 },
3631   { -8940, -4559, 328, -1696 },
3632   { -11025, -4213, 2813, 840 },
3633   { -9224, -3581, 2224, 2039 },
3634   { -8943, -3337, 1248, -1298 },
3635   { -7900, -4042, 485, -2080 },
3636   { -9221, -1947, 2191, -880 },
3637   { -10762, -1800, 2516, -324 },
3638   { -10095, -2238, 981, -1335 },
3639   { -11908, -2808, 3255, 645 },
3640   { -10640, -4105, 1283, -595 },
3641   { -7663, -2863, 2467, -797 },
3642   { -10712, -3854, 3710, 1538 },
3643   { -10823, -2893, 1408, -801 },
3644   { -9874, -3832, 256, -1638 },
3645   { -10394, -3391, 2315, -94 },
3646   { -11525, -4079, 4153, 2122 },
3647   { -9546, -2088, 1541, 481 },
3648   { -8731, -2433, 1042, 2160 },
3649   { -7852, -3977, -1370, 1677 },
3650   { 7072, -3420, 1398, -1741 },
3651   { 6180, -1976, 1280, -3557 },
3652   { 7692, -1793, 2844, -1700 },
3653   { 8363, -1773, 3104, -2679 },
3654   { 9213, -3266, 3756, -3542 },
3655   { 9650, -2644, 1426, -1318 },
3656   { 7712, -2796, 3686, -1975 },
3657   { 7316, -3517, 2821, -622 },
3658   { 7434, -2594, 2305, -2264 },
3659   { 7237, -1797, 255, -3114 },
3660   { 8663, -1983, 1338, -3056 },
3661   { 6616, -952, 4059, -2652 },
3662   { 8823, -1327, 1362, -1356 },
3663   { 9938, -1722, 1287, -2362 },
3664   { 7207, -1057, 1913, -1315 },
3665   { 7508, -1585, 870, -1982 },
3666   { 8217, -3680, 1417, -3170 },
3667   { 8329, -2541, 1684, -585 },
3668   { 8062, -2335, 252, -2800 },
3669   { 8204, -4108, 3097, -2569 },
3670   { 7701, -3367, 576, -3008 },
3671   { 7350, -786, 2414, -2129 },
3672   { 6948, -2568, 1607, -225 },
3673   { 7684, -2387, 1308, -3449 },
3674   { 8306, -3458, 2394, -1454 },
3675   { 8438, -2781, 1043, -1362 },
3676   { 9175, -2076, 2144, -1987 },
3677   { 8347, -2709, 3489, -4301 },
3678   { 5696, -2377, 2870, 851 },
3679   { 8825, -1243, 2219, -2603 },
3680   { 8801, -1614, 584, -2513 },
3681   { 8413, -384, 1421, -2244 },
3682   { 9228, -3050, 3279, -2164 },
3683   { 6342, -2698, 3547, -107 },
3684   { 10053, -2476, 2837, -3168 },
3685   { 7439, -604, 3177, -3991 },
3686   { 7749, -1064, 4329, -4855 },
3687   { 8655, -2177, 2252, -3519 },
3688   { 8490, -228, 1958, -3233 },
3689   { 10513, -2968, 1911, -2340 },
3690   { 8146, -862, 1884, -1723 },
3691   { 7788, -666, 3004, -2891 },
3692   { 7785, -1620, 4133, -3417 },
3693   { 10262, -3731, 3455, -2971 },
3694   { 8570, -905, 4519, -4649 },
3695   { 9129, -2562, 463, -2465 },
3696   { 9451, -3587, 1904, -3056 },
3697   { 6549, -2236, 3010, -4523 },
3698   { 7175, -2684, 2967, -3458 },
3699   { 9872, -3278, 1054, -2472 },
3700   { 9153, -931, 1217, -2565 },
3701   { 8789, -3469, 753, -2568 },
3702   { 6683, -3791, 1797, -3968 },
3703   { 6801, -1977, 2311, -452 },
3704   { 6336, -1572, 2612, -3264 },
3705   { 7996, -1008, 730, -2964 },
3706   { 7521, -1059, 1573, -3694 },
3707   { 8148, -3973, 2600, -3572 },
3708   { 7765, -1532, 2528, -3856 },
3709   { 7404, -3918, 4472, -143 },
3710   { 8894, -1398, 3299, -3685 },
3711   { 5768, -2041, 1487, -637 },
3712   { 5131, -2865, 2463, -811 },
3713   { 6439, -1568, 3500, -1550 },
3714   { -8878, -6798, -5319, -1452 },
3715   { -6332, -9713, -3112, -990 },
3716   { -8444, -6316, -3694, -687 },
3717   { -6123, -10840, -3637, -4358 },
3718   { -4784, -9580, -4577, -2581 },
3719   { -6108, -10515, -4859, -2524 },
3720   { -7605, -7518, -2327, -2797 },
3721   { -9662, -8775, -2467, -2010 },
3722   { -6494, -7523, -4715, -118 },
3723   { -8290, -8982, -1672, -317 },
3724   { -8798, -11051, -3888, -1426 },
3725   { -6273, -6623, -6791, -142 },
3726   { -8313, -7668, -2141, -1275 },
3727   { -6453, -8412, -3589, -4102 },
3728   { -6747, -7750, -5690, -2498 },
3729   { -7814, -6693, -3174, -2446 },
3730   { -10383, -10130, -3931, -2364 },
3731   { -10606, -8467, -5539, -2772 },
3732   { -9475, -6671, -3305, -2271 },
3733   { -8982, -9457, -5635, -4005 },
3734   { -10111, -7965, -6515, -4180 },
3735   { -7301, -6479, -5364, 720 },
3736   { -9543, -8999, -7921, -912 },
3737   { -9534, -8562, -3469, -384 },
3738   { -7601, -10344, -3205, -1127 },
3739   { -8088, -8620, -4954, -2888 },
3740   { -8202, -8406, -7038, -3775 },
3741   { -7312, -8324, -3334, -1775 },
3742   { -8566, -9262, -8071, -4174 },
3743   { -7068, -11300, -5573, -2907 },
3744   { -8295, -8952, -4366, -1544 },
3745   { -11104, -10210, -2285, -384 },
3746   { -5213, -7520, -5008, -1339 },
3747   { -5889, -7940, -5987, -1385 },
3748   { -10816, -8201, -4153, -1485 },
3749   { -10277, -8919, -6315, -1652 },
3750   { -5888, -10320, -3821, -1733 },
3751   { -10497, -7181, -6083, -3032 },
3752   { -7721, -9724, -6591, -5336 },
3753   { -5688, -7894, -3486, -2552 },
3754   { -10014, -10500, -3247, -820 },
3755   { -6301, -8765, -4506, -2923 },
3756   { -8261, -7847, -6213, -1552 },
3757   { -10212, -7481, -8113, -3954 },
3758   { -6938, -10874, -6074, -4703 },
3759   { -7183, -10968, -4446, -1773 },
3760   { -7120, -9193, -1966, -2509 },
3761   { -6234, -9263, -2313, -4284 },
3762   { -8503, -9857, -2429, -608 },
3763   { -9372, -7844, -8391, -2120 },
3764   { -7951, -7157, -6535, -11 },
3765   { -7256, -9473, -2172, -660 },
3766   { -10063, -9612, -2515, -15 },
3767   { -6684, -9134, -6109, -4206 },
3768   { -8204, -11932, -5220, -2306 },
3769   { -9710, -6706, -4115, -3275 },
3770   { -6855, -7078, -2409, -4447 },
3771   { -7344, -7673, -4479, -4116 },
3772   { -8851, -6842, -4927, -2948 },
3773   { -8927, -10452, -5633, -2194 },
3774   { -8627, -9002, -7176, -1575 },
3775   { -8209, -9722, -7021, -3324 },
3776   { -3770, -10249, -3623, -4816 },
3777   { -8183, -7465, -4090, 646 },
3778   { -8163, -7149, 200, 498 },
3779   { -8289, -6266, 686, -206 },
3780   { -10030, -6241, -1032, -1864 },
3781   { -8793, -8327, -773, -169 },
3782   { -9149, -6215, 969, -15 },
3783   { -8303, -5859, -7, 2006 },
3784   { -9682, -7283, 255, 1322 },
3785   { -9293, -7227, 71, -231 },
3786   { -8525, -6215, 287, -837 },
3787   { -10477, -5379, 1159, 1449 },
3788   { -10726, -7856, -130, 102 },
3789   { -8694, -7461, -1210, 690 },
3790   { -9367, -5324, 1103, 3170 },
3791   { -10686, -8055, -831, 1633 },
3792   { -9201, -6873, -2704, 2258 },
3793   { -8421, -5358, -1405, 226 },
3794   { -9066, -5830, -307, -1571 },
3795   { -11150, -7381, -2746, -900 },
3796   { -9978, -5925, -2006, -437 },
3797   { -9464, -4741, -273, 1061 },
3798   { -10543, -6684, -1113, 1660 },
3799   { -10073, -5576, 1083, -269 },
3800   { -8826, -5763, 1600, 1486 },
3801   { -10445, -9071, -1253, -64 },
3802   { -12085, -5799, 2, 769 },
3803   { -12939, -6663, 1650, 1437 },
3804   { -10932, -6434, -1252, -649 },
3805   { -11650, -7826, -2053, 710 },
3806   { -12122, -6733, -1889, -731 },
3807   { -9093, -6095, -2463, -842 },
3808   { -10977, -4364, 469, 420 },
3809   { -11488, -6908, -521, 893 },
3810   { -9669, -5478, -842, 337 },
3811   { -10606, -5203, -632, -1361 },
3812   { -10198, -6284, 1662, 1277 },
3813   { -10135, -5292, 2435, 3493 },
3814   { -11027, -6561, 655, 56 },
3815   { -10977, -5030, 1127, -358 },
3816   { -12766, -3986, 1348, -335 },
3817   { -14244, -7731, 264, 317 },
3818   { -15124, -10309, -508, 1447 },
3819   { -12821, -8638, -608, 137 },
3820   { -13076, -8693, -2852, -431 },
3821   { -11156, -5546, -2252, -1600 },
3822   { -8692, -7366, -819, -1223 },
3823   { -12507, -9816, -1714, -121 },
3824   { -10712, -6666, 544, 3349 },
3825   { -12462, -5890, -2491, -2318 },
3826   { -12468, -7226, 437, 232 },
3827   { -11300, -5226, 2068, 687 },
3828   { -11994, -8320, -626, 2728 },
3829   { -12222, -5476, 1142, 18 },
3830   { -10277, -8122, -2418, 2003 },
3831   { -13418, -6115, -3563, -2802 },
3832   { -14759, -9834, -1243, 21 },
3833   { -13699, -5665, 1525, 507 },
3834   { -16269, -9476, -701, 163 },
3835   { -12677, -5437, -247, -1019 },
3836   { -11827, -4295, -181, -1243 },
3837   { -12847, -4496, 2984, 1123 },
3838   { -13860, -7915, -1166, -547 },
3839   { -12276, -8145, -2290, -1527 },
3840   { -11417, -4830, 2983, 1854 },
3841   { -11793, -6002, 1163, 1940 },
3842   { 11443, -4920, -3235, 3151 },
3843   { 11300, -6616, -1506, 1175 },
3844   { 9198, -4628, -2060, 2390 },
3845   { 1