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