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