1 /***************************************************************************
3 * Open \______ \ ____ ____ | | _\_ |__ _______ ___
4 * Source | _// _ \_/ ___\| |/ /| __ \ / _ \ \/ /
5 * Jukebox | | ( <_> ) \___| < | \_\ ( <_> > < <
6 * Firmware |____|_ /\____/ \___ >__|_ \|___ /\____/__/\_ \
10 * Copyright (C) 2009 Michael Giacomelli
14 * This program is free software; you can redistribute it and/or
15 * modify it under the terms of the GNU General Public License
16 * as published by the Free Software Foundation; either version 2
17 * of the License, or (at your option) any later version.
19 * This software is distributed on an "AS IS" basis, WITHOUT WARRANTY OF ANY
20 * KIND, either express or implied.
22 ****************************************************************************/
25 #include <codecs/lib/codeclib.h>
31 /* {sin(2*i*PI/4096, cos(2*i*PI/4096)}, with i = 0 to 512 */
32 const int32_t sincos_lookup0
[1026] ICONST_ATTR
= {
33 0x00000000, 0x7fffffff, 0x003243f5, 0x7ffff621,
34 0x006487e3, 0x7fffd886, 0x0096cbc1, 0x7fffa72c,
35 0x00c90f88, 0x7fff6216, 0x00fb5330, 0x7fff0943,
36 0x012d96b1, 0x7ffe9cb2, 0x015fda03, 0x7ffe1c65,
37 0x01921d20, 0x7ffd885a, 0x01c45ffe, 0x7ffce093,
38 0x01f6a297, 0x7ffc250f, 0x0228e4e2, 0x7ffb55ce,
39 0x025b26d7, 0x7ffa72d1, 0x028d6870, 0x7ff97c18,
40 0x02bfa9a4, 0x7ff871a2, 0x02f1ea6c, 0x7ff75370,
41 0x03242abf, 0x7ff62182, 0x03566a96, 0x7ff4dbd9,
42 0x0388a9ea, 0x7ff38274, 0x03bae8b2, 0x7ff21553,
43 0x03ed26e6, 0x7ff09478, 0x041f6480, 0x7feeffe1,
44 0x0451a177, 0x7fed5791, 0x0483ddc3, 0x7feb9b85,
45 0x04b6195d, 0x7fe9cbc0, 0x04e8543e, 0x7fe7e841,
46 0x051a8e5c, 0x7fe5f108, 0x054cc7b1, 0x7fe3e616,
47 0x057f0035, 0x7fe1c76b, 0x05b137df, 0x7fdf9508,
48 0x05e36ea9, 0x7fdd4eec, 0x0615a48b, 0x7fdaf519,
49 0x0647d97c, 0x7fd8878e, 0x067a0d76, 0x7fd6064c,
50 0x06ac406f, 0x7fd37153, 0x06de7262, 0x7fd0c8a3,
51 0x0710a345, 0x7fce0c3e, 0x0742d311, 0x7fcb3c23,
52 0x077501be, 0x7fc85854, 0x07a72f45, 0x7fc560cf,
53 0x07d95b9e, 0x7fc25596, 0x080b86c2, 0x7fbf36aa,
54 0x083db0a7, 0x7fbc040a, 0x086fd947, 0x7fb8bdb8,
55 0x08a2009a, 0x7fb563b3, 0x08d42699, 0x7fb1f5fc,
56 0x09064b3a, 0x7fae7495, 0x09386e78, 0x7faadf7c,
57 0x096a9049, 0x7fa736b4, 0x099cb0a7, 0x7fa37a3c,
58 0x09cecf89, 0x7f9faa15, 0x0a00ece8, 0x7f9bc640,
59 0x0a3308bd, 0x7f97cebd, 0x0a6522fe, 0x7f93c38c,
60 0x0a973ba5, 0x7f8fa4b0, 0x0ac952aa, 0x7f8b7227,
61 0x0afb6805, 0x7f872bf3, 0x0b2d7baf, 0x7f82d214,
62 0x0b5f8d9f, 0x7f7e648c, 0x0b919dcf, 0x7f79e35a,
63 0x0bc3ac35, 0x7f754e80, 0x0bf5b8cb, 0x7f70a5fe,
64 0x0c27c389, 0x7f6be9d4, 0x0c59cc68, 0x7f671a05,
65 0x0c8bd35e, 0x7f62368f, 0x0cbdd865, 0x7f5d3f75,
66 0x0cefdb76, 0x7f5834b7, 0x0d21dc87, 0x7f531655,
67 0x0d53db92, 0x7f4de451, 0x0d85d88f, 0x7f489eaa,
68 0x0db7d376, 0x7f434563, 0x0de9cc40, 0x7f3dd87c,
69 0x0e1bc2e4, 0x7f3857f6, 0x0e4db75b, 0x7f32c3d1,
70 0x0e7fa99e, 0x7f2d1c0e, 0x0eb199a4, 0x7f2760af,
71 0x0ee38766, 0x7f2191b4, 0x0f1572dc, 0x7f1baf1e,
72 0x0f475bff, 0x7f15b8ee, 0x0f7942c7, 0x7f0faf25,
73 0x0fab272b, 0x7f0991c4, 0x0fdd0926, 0x7f0360cb,
74 0x100ee8ad, 0x7efd1c3c, 0x1040c5bb, 0x7ef6c418,
75 0x1072a048, 0x7ef05860, 0x10a4784b, 0x7ee9d914,
76 0x10d64dbd, 0x7ee34636, 0x11082096, 0x7edc9fc6,
77 0x1139f0cf, 0x7ed5e5c6, 0x116bbe60, 0x7ecf1837,
78 0x119d8941, 0x7ec8371a, 0x11cf516a, 0x7ec14270,
79 0x120116d5, 0x7eba3a39, 0x1232d979, 0x7eb31e78,
80 0x1264994e, 0x7eabef2c, 0x1296564d, 0x7ea4ac58,
81 0x12c8106f, 0x7e9d55fc, 0x12f9c7aa, 0x7e95ec1a,
82 0x132b7bf9, 0x7e8e6eb2, 0x135d2d53, 0x7e86ddc6,
83 0x138edbb1, 0x7e7f3957, 0x13c0870a, 0x7e778166,
84 0x13f22f58, 0x7e6fb5f4, 0x1423d492, 0x7e67d703,
85 0x145576b1, 0x7e5fe493, 0x148715ae, 0x7e57dea7,
86 0x14b8b17f, 0x7e4fc53e, 0x14ea4a1f, 0x7e47985b,
87 0x151bdf86, 0x7e3f57ff, 0x154d71aa, 0x7e37042a,
88 0x157f0086, 0x7e2e9cdf, 0x15b08c12, 0x7e26221f,
89 0x15e21445, 0x7e1d93ea, 0x16139918, 0x7e14f242,
90 0x16451a83, 0x7e0c3d29, 0x1676987f, 0x7e0374a0,
91 0x16a81305, 0x7dfa98a8, 0x16d98a0c, 0x7df1a942,
92 0x170afd8d, 0x7de8a670, 0x173c6d80, 0x7ddf9034,
93 0x176dd9de, 0x7dd6668f, 0x179f429f, 0x7dcd2981,
94 0x17d0a7bc, 0x7dc3d90d, 0x1802092c, 0x7dba7534,
95 0x183366e9, 0x7db0fdf8, 0x1864c0ea, 0x7da77359,
96 0x18961728, 0x7d9dd55a, 0x18c7699b, 0x7d9423fc,
97 0x18f8b83c, 0x7d8a5f40, 0x192a0304, 0x7d808728,
98 0x195b49ea, 0x7d769bb5, 0x198c8ce7, 0x7d6c9ce9,
99 0x19bdcbf3, 0x7d628ac6, 0x19ef0707, 0x7d58654d,
100 0x1a203e1b, 0x7d4e2c7f, 0x1a517128, 0x7d43e05e,
101 0x1a82a026, 0x7d3980ec, 0x1ab3cb0d, 0x7d2f0e2b,
102 0x1ae4f1d6, 0x7d24881b, 0x1b161479, 0x7d19eebf,
103 0x1b4732ef, 0x7d0f4218, 0x1b784d30, 0x7d048228,
104 0x1ba96335, 0x7cf9aef0, 0x1bda74f6, 0x7ceec873,
105 0x1c0b826a, 0x7ce3ceb2, 0x1c3c8b8c, 0x7cd8c1ae,
106 0x1c6d9053, 0x7ccda169, 0x1c9e90b8, 0x7cc26de5,
107 0x1ccf8cb3, 0x7cb72724, 0x1d00843d, 0x7cabcd28,
108 0x1d31774d, 0x7ca05ff1, 0x1d6265dd, 0x7c94df83,
109 0x1d934fe5, 0x7c894bde, 0x1dc4355e, 0x7c7da505,
110 0x1df5163f, 0x7c71eaf9, 0x1e25f282, 0x7c661dbc,
111 0x1e56ca1e, 0x7c5a3d50, 0x1e879d0d, 0x7c4e49b7,
112 0x1eb86b46, 0x7c4242f2, 0x1ee934c3, 0x7c362904,
113 0x1f19f97b, 0x7c29fbee, 0x1f4ab968, 0x7c1dbbb3,
114 0x1f7b7481, 0x7c116853, 0x1fac2abf, 0x7c0501d2,
115 0x1fdcdc1b, 0x7bf88830, 0x200d888d, 0x7bebfb70,
116 0x203e300d, 0x7bdf5b94, 0x206ed295, 0x7bd2a89e,
117 0x209f701c, 0x7bc5e290, 0x20d0089c, 0x7bb9096b,
118 0x21009c0c, 0x7bac1d31, 0x21312a65, 0x7b9f1de6,
119 0x2161b3a0, 0x7b920b89, 0x219237b5, 0x7b84e61f,
120 0x21c2b69c, 0x7b77ada8, 0x21f3304f, 0x7b6a6227,
121 0x2223a4c5, 0x7b5d039e, 0x225413f8, 0x7b4f920e,
122 0x22847de0, 0x7b420d7a, 0x22b4e274, 0x7b3475e5,
123 0x22e541af, 0x7b26cb4f, 0x23159b88, 0x7b190dbc,
124 0x2345eff8, 0x7b0b3d2c, 0x23763ef7, 0x7afd59a4,
125 0x23a6887f, 0x7aef6323, 0x23d6cc87, 0x7ae159ae,
126 0x24070b08, 0x7ad33d45, 0x243743fa, 0x7ac50dec,
127 0x24677758, 0x7ab6cba4, 0x2497a517, 0x7aa8766f,
128 0x24c7cd33, 0x7a9a0e50, 0x24f7efa2, 0x7a8b9348,
129 0x25280c5e, 0x7a7d055b, 0x2558235f, 0x7a6e648a,
130 0x2588349d, 0x7a5fb0d8, 0x25b84012, 0x7a50ea47,
131 0x25e845b6, 0x7a4210d8, 0x26184581, 0x7a332490,
132 0x26483f6c, 0x7a24256f, 0x26783370, 0x7a151378,
133 0x26a82186, 0x7a05eead, 0x26d809a5, 0x79f6b711,
134 0x2707ebc7, 0x79e76ca7, 0x2737c7e3, 0x79d80f6f,
135 0x27679df4, 0x79c89f6e, 0x27976df1, 0x79b91ca4,
136 0x27c737d3, 0x79a98715, 0x27f6fb92, 0x7999dec4,
137 0x2826b928, 0x798a23b1, 0x2856708d, 0x797a55e0,
138 0x288621b9, 0x796a7554, 0x28b5cca5, 0x795a820e,
139 0x28e5714b, 0x794a7c12, 0x29150fa1, 0x793a6361,
140 0x2944a7a2, 0x792a37fe, 0x29743946, 0x7919f9ec,
141 0x29a3c485, 0x7909a92d, 0x29d34958, 0x78f945c3,
142 0x2a02c7b8, 0x78e8cfb2, 0x2a323f9e, 0x78d846fb,
143 0x2a61b101, 0x78c7aba2, 0x2a911bdc, 0x78b6fda8,
144 0x2ac08026, 0x78a63d11, 0x2aefddd8, 0x789569df,
145 0x2b1f34eb, 0x78848414, 0x2b4e8558, 0x78738bb3,
146 0x2b7dcf17, 0x786280bf, 0x2bad1221, 0x7851633b,
147 0x2bdc4e6f, 0x78403329, 0x2c0b83fa, 0x782ef08b,
148 0x2c3ab2b9, 0x781d9b65, 0x2c69daa6, 0x780c33b8,
149 0x2c98fbba, 0x77fab989, 0x2cc815ee, 0x77e92cd9,
150 0x2cf72939, 0x77d78daa, 0x2d263596, 0x77c5dc01,
151 0x2d553afc, 0x77b417df, 0x2d843964, 0x77a24148,
152 0x2db330c7, 0x7790583e, 0x2de2211e, 0x777e5cc3,
153 0x2e110a62, 0x776c4edb, 0x2e3fec8b, 0x775a2e89,
154 0x2e6ec792, 0x7747fbce, 0x2e9d9b70, 0x7735b6af,
155 0x2ecc681e, 0x77235f2d, 0x2efb2d95, 0x7710f54c,
156 0x2f29ebcc, 0x76fe790e, 0x2f58a2be, 0x76ebea77,
157 0x2f875262, 0x76d94989, 0x2fb5fab2, 0x76c69647,
158 0x2fe49ba7, 0x76b3d0b4, 0x30133539, 0x76a0f8d2,
159 0x3041c761, 0x768e0ea6, 0x30705217, 0x767b1231,
160 0x309ed556, 0x76680376, 0x30cd5115, 0x7654e279,
161 0x30fbc54d, 0x7641af3d, 0x312a31f8, 0x762e69c4,
162 0x3158970e, 0x761b1211, 0x3186f487, 0x7607a828,
163 0x31b54a5e, 0x75f42c0b, 0x31e39889, 0x75e09dbd,
164 0x3211df04, 0x75ccfd42, 0x32401dc6, 0x75b94a9c,
165 0x326e54c7, 0x75a585cf, 0x329c8402, 0x7591aedd,
166 0x32caab6f, 0x757dc5ca, 0x32f8cb07, 0x7569ca99,
167 0x3326e2c3, 0x7555bd4c, 0x3354f29b, 0x75419de7,
168 0x3382fa88, 0x752d6c6c, 0x33b0fa84, 0x751928e0,
169 0x33def287, 0x7504d345, 0x340ce28b, 0x74f06b9e,
170 0x343aca87, 0x74dbf1ef, 0x3468aa76, 0x74c7663a,
171 0x34968250, 0x74b2c884, 0x34c4520d, 0x749e18cd,
172 0x34f219a8, 0x7489571c, 0x351fd918, 0x74748371,
173 0x354d9057, 0x745f9dd1, 0x357b3f5d, 0x744aa63f,
174 0x35a8e625, 0x74359cbd, 0x35d684a6, 0x74208150,
175 0x36041ad9, 0x740b53fb, 0x3631a8b8, 0x73f614c0,
176 0x365f2e3b, 0x73e0c3a3, 0x368cab5c, 0x73cb60a8,
177 0x36ba2014, 0x73b5ebd1, 0x36e78c5b, 0x73a06522,
178 0x3714f02a, 0x738acc9e, 0x37424b7b, 0x73752249,
179 0x376f9e46, 0x735f6626, 0x379ce885, 0x73499838,
180 0x37ca2a30, 0x7333b883, 0x37f76341, 0x731dc70a,
181 0x382493b0, 0x7307c3d0, 0x3851bb77, 0x72f1aed9,
182 0x387eda8e, 0x72db8828, 0x38abf0ef, 0x72c54fc1,
183 0x38d8fe93, 0x72af05a7, 0x39060373, 0x7298a9dd,
184 0x3932ff87, 0x72823c67, 0x395ff2c9, 0x726bbd48,
185 0x398cdd32, 0x72552c85, 0x39b9bebc, 0x723e8a20,
186 0x39e6975e, 0x7227d61c, 0x3a136712, 0x7211107e,
187 0x3a402dd2, 0x71fa3949, 0x3a6ceb96, 0x71e35080,
188 0x3a99a057, 0x71cc5626, 0x3ac64c0f, 0x71b54a41,
189 0x3af2eeb7, 0x719e2cd2, 0x3b1f8848, 0x7186fdde,
190 0x3b4c18ba, 0x716fbd68, 0x3b78a007, 0x71586b74,
191 0x3ba51e29, 0x71410805, 0x3bd19318, 0x7129931f,
192 0x3bfdfecd, 0x71120cc5, 0x3c2a6142, 0x70fa74fc,
193 0x3c56ba70, 0x70e2cbc6, 0x3c830a50, 0x70cb1128,
194 0x3caf50da, 0x70b34525, 0x3cdb8e09, 0x709b67c0,
195 0x3d07c1d6, 0x708378ff, 0x3d33ec39, 0x706b78e3,
196 0x3d600d2c, 0x70536771, 0x3d8c24a8, 0x703b44ad,
197 0x3db832a6, 0x7023109a, 0x3de4371f, 0x700acb3c,
198 0x3e10320d, 0x6ff27497, 0x3e3c2369, 0x6fda0cae,
199 0x3e680b2c, 0x6fc19385, 0x3e93e950, 0x6fa90921,
200 0x3ebfbdcd, 0x6f906d84, 0x3eeb889c, 0x6f77c0b3,
201 0x3f1749b8, 0x6f5f02b2, 0x3f430119, 0x6f463383,
202 0x3f6eaeb8, 0x6f2d532c, 0x3f9a5290, 0x6f1461b0,
203 0x3fc5ec98, 0x6efb5f12, 0x3ff17cca, 0x6ee24b57,
204 0x401d0321, 0x6ec92683, 0x40487f94, 0x6eaff099,
205 0x4073f21d, 0x6e96a99d, 0x409f5ab6, 0x6e7d5193,
206 0x40cab958, 0x6e63e87f, 0x40f60dfb, 0x6e4a6e66,
207 0x4121589b, 0x6e30e34a, 0x414c992f, 0x6e174730,
208 0x4177cfb1, 0x6dfd9a1c, 0x41a2fc1a, 0x6de3dc11,
209 0x41ce1e65, 0x6dca0d14, 0x41f93689, 0x6db02d29,
210 0x42244481, 0x6d963c54, 0x424f4845, 0x6d7c3a98,
211 0x427a41d0, 0x6d6227fa, 0x42a5311b, 0x6d48047e,
212 0x42d0161e, 0x6d2dd027, 0x42faf0d4, 0x6d138afb,
213 0x4325c135, 0x6cf934fc, 0x4350873c, 0x6cdece2f,
214 0x437b42e1, 0x6cc45698, 0x43a5f41e, 0x6ca9ce3b,
215 0x43d09aed, 0x6c8f351c, 0x43fb3746, 0x6c748b3f,
216 0x4425c923, 0x6c59d0a9, 0x4450507e, 0x6c3f055d,
217 0x447acd50, 0x6c242960, 0x44a53f93, 0x6c093cb6,
218 0x44cfa740, 0x6bee3f62, 0x44fa0450, 0x6bd3316a,
219 0x452456bd, 0x6bb812d1, 0x454e9e80, 0x6b9ce39b,
220 0x4578db93, 0x6b81a3cd, 0x45a30df0, 0x6b66536b,
221 0x45cd358f, 0x6b4af279, 0x45f7526b, 0x6b2f80fb,
222 0x4621647d, 0x6b13fef5, 0x464b6bbe, 0x6af86c6c,
223 0x46756828, 0x6adcc964, 0x469f59b4, 0x6ac115e2,
224 0x46c9405c, 0x6aa551e9, 0x46f31c1a, 0x6a897d7d,
225 0x471cece7, 0x6a6d98a4, 0x4746b2bc, 0x6a51a361,
226 0x47706d93, 0x6a359db9, 0x479a1d67, 0x6a1987b0,
227 0x47c3c22f, 0x69fd614a, 0x47ed5be6, 0x69e12a8c,
228 0x4816ea86, 0x69c4e37a, 0x48406e08, 0x69a88c19,
229 0x4869e665, 0x698c246c, 0x48935397, 0x696fac78,
230 0x48bcb599, 0x69532442, 0x48e60c62, 0x69368bce,
231 0x490f57ee, 0x6919e320, 0x49389836, 0x68fd2a3d,
232 0x4961cd33, 0x68e06129, 0x498af6df, 0x68c387e9,
233 0x49b41533, 0x68a69e81, 0x49dd282a, 0x6889a4f6,
234 0x4a062fbd, 0x686c9b4b, 0x4a2f2be6, 0x684f8186,
235 0x4a581c9e, 0x683257ab, 0x4a8101de, 0x68151dbe,
236 0x4aa9dba2, 0x67f7d3c5, 0x4ad2a9e2, 0x67da79c3,
237 0x4afb6c98, 0x67bd0fbd, 0x4b2423be, 0x679f95b7,
238 0x4b4ccf4d, 0x67820bb7, 0x4b756f40, 0x676471c0,
239 0x4b9e0390, 0x6746c7d8, 0x4bc68c36, 0x67290e02,
240 0x4bef092d, 0x670b4444, 0x4c177a6e, 0x66ed6aa1,
241 0x4c3fdff4, 0x66cf8120, 0x4c6839b7, 0x66b187c3,
242 0x4c9087b1, 0x66937e91, 0x4cb8c9dd, 0x6675658c,
243 0x4ce10034, 0x66573cbb, 0x4d092ab0, 0x66390422,
244 0x4d31494b, 0x661abbc5, 0x4d595bfe, 0x65fc63a9,
245 0x4d8162c4, 0x65ddfbd3, 0x4da95d96, 0x65bf8447,
246 0x4dd14c6e, 0x65a0fd0b, 0x4df92f46, 0x65826622,
247 0x4e210617, 0x6563bf92, 0x4e48d0dd, 0x6545095f,
248 0x4e708f8f, 0x6526438f, 0x4e984229, 0x65076e25,
249 0x4ebfe8a5, 0x64e88926, 0x4ee782fb, 0x64c99498,
250 0x4f0f1126, 0x64aa907f, 0x4f369320, 0x648b7ce0,
251 0x4f5e08e3, 0x646c59bf, 0x4f857269, 0x644d2722,
252 0x4faccfab, 0x642de50d, 0x4fd420a4, 0x640e9386,
253 0x4ffb654d, 0x63ef3290, 0x50229da1, 0x63cfc231,
254 0x5049c999, 0x63b0426d, 0x5070e92f, 0x6390b34a,
255 0x5097fc5e, 0x637114cc, 0x50bf031f, 0x635166f9,
256 0x50e5fd6d, 0x6331a9d4, 0x510ceb40, 0x6311dd64,
257 0x5133cc94, 0x62f201ac, 0x515aa162, 0x62d216b3,
258 0x518169a5, 0x62b21c7b, 0x51a82555, 0x6292130c,
259 0x51ced46e, 0x6271fa69, 0x51f576ea, 0x6251d298,
260 0x521c0cc2, 0x62319b9d, 0x524295f0, 0x6211557e,
261 0x5269126e, 0x61f1003f, 0x528f8238, 0x61d09be5,
262 0x52b5e546, 0x61b02876, 0x52dc3b92, 0x618fa5f7,
263 0x53028518, 0x616f146c, 0x5328c1d0, 0x614e73da,
264 0x534ef1b5, 0x612dc447, 0x537514c2, 0x610d05b7,
265 0x539b2af0, 0x60ec3830, 0x53c13439, 0x60cb5bb7,
266 0x53e73097, 0x60aa7050, 0x540d2005, 0x60897601,
267 0x5433027d, 0x60686ccf, 0x5458d7f9, 0x604754bf,
268 0x547ea073, 0x60262dd6, 0x54a45be6, 0x6004f819,
269 0x54ca0a4b, 0x5fe3b38d, 0x54efab9c, 0x5fc26038,
270 0x55153fd4, 0x5fa0fe1f, 0x553ac6ee, 0x5f7f8d46,
271 0x556040e2, 0x5f5e0db3, 0x5585adad, 0x5f3c7f6b,
272 0x55ab0d46, 0x5f1ae274, 0x55d05faa, 0x5ef936d1,
273 0x55f5a4d2, 0x5ed77c8a, 0x561adcb9, 0x5eb5b3a2,
274 0x56400758, 0x5e93dc1f, 0x566524aa, 0x5e71f606,
275 0x568a34a9, 0x5e50015d, 0x56af3750, 0x5e2dfe29,
276 0x56d42c99, 0x5e0bec6e, 0x56f9147e, 0x5de9cc33,
277 0x571deefa, 0x5dc79d7c, 0x5742bc06, 0x5da5604f,
278 0x57677b9d, 0x5d8314b1, 0x578c2dba, 0x5d60baa7,
279 0x57b0d256, 0x5d3e5237, 0x57d5696d, 0x5d1bdb65,
280 0x57f9f2f8, 0x5cf95638, 0x581e6ef1, 0x5cd6c2b5,
281 0x5842dd54, 0x5cb420e0, 0x58673e1b, 0x5c9170bf,
282 0x588b9140, 0x5c6eb258, 0x58afd6bd, 0x5c4be5b0,
283 0x58d40e8c, 0x5c290acc, 0x58f838a9, 0x5c0621b2,
284 0x591c550e, 0x5be32a67, 0x594063b5, 0x5bc024f0,
285 0x59646498, 0x5b9d1154, 0x598857b2, 0x5b79ef96,
286 0x59ac3cfd, 0x5b56bfbd, 0x59d01475, 0x5b3381ce,
287 0x59f3de12, 0x5b1035cf, 0x5a1799d1, 0x5aecdbc5,
288 0x5a3b47ab, 0x5ac973b5, 0x5a5ee79a, 0x5aa5fda5,
289 0x5a82799a, 0x5a82799a
292 /* {sin((2*i+1)*PI/4096, cos((2*i+1)*PI/4096)}, with i = 0 to 511 */
293 const int32_t sincos_lookup1
[1024] ICONST_ATTR
= {
294 0x001921fb, 0x7ffffd88, 0x004b65ee, 0x7fffe9cb,
295 0x007da9d4, 0x7fffc251, 0x00afeda8, 0x7fff8719,
296 0x00e23160, 0x7fff3824, 0x011474f6, 0x7ffed572,
297 0x0146b860, 0x7ffe5f03, 0x0178fb99, 0x7ffdd4d7,
298 0x01ab3e97, 0x7ffd36ee, 0x01dd8154, 0x7ffc8549,
299 0x020fc3c6, 0x7ffbbfe6, 0x024205e8, 0x7ffae6c7,
300 0x027447b0, 0x7ff9f9ec, 0x02a68917, 0x7ff8f954,
301 0x02d8ca16, 0x7ff7e500, 0x030b0aa4, 0x7ff6bcf0,
302 0x033d4abb, 0x7ff58125, 0x036f8a51, 0x7ff4319d,
303 0x03a1c960, 0x7ff2ce5b, 0x03d407df, 0x7ff1575d,
304 0x040645c7, 0x7fefcca4, 0x04388310, 0x7fee2e30,
305 0x046abfb3, 0x7fec7c02, 0x049cfba7, 0x7feab61a,
306 0x04cf36e5, 0x7fe8dc78, 0x05017165, 0x7fe6ef1c,
307 0x0533ab20, 0x7fe4ee06, 0x0565e40d, 0x7fe2d938,
308 0x05981c26, 0x7fe0b0b1, 0x05ca5361, 0x7fde7471,
309 0x05fc89b8, 0x7fdc247a, 0x062ebf22, 0x7fd9c0ca,
310 0x0660f398, 0x7fd74964, 0x06932713, 0x7fd4be46,
311 0x06c5598a, 0x7fd21f72, 0x06f78af6, 0x7fcf6ce8,
312 0x0729bb4e, 0x7fcca6a7, 0x075bea8c, 0x7fc9ccb2,
313 0x078e18a7, 0x7fc6df08, 0x07c04598, 0x7fc3dda9,
314 0x07f27157, 0x7fc0c896, 0x08249bdd, 0x7fbd9fd0,
315 0x0856c520, 0x7fba6357, 0x0888ed1b, 0x7fb7132b,
316 0x08bb13c5, 0x7fb3af4e, 0x08ed3916, 0x7fb037bf,
317 0x091f5d06, 0x7facac7f, 0x09517f8f, 0x7fa90d8e,
318 0x0983a0a7, 0x7fa55aee, 0x09b5c048, 0x7fa1949e,
319 0x09e7de6a, 0x7f9dbaa0, 0x0a19fb04, 0x7f99ccf4,
320 0x0a4c1610, 0x7f95cb9a, 0x0a7e2f85, 0x7f91b694,
321 0x0ab0475c, 0x7f8d8de1, 0x0ae25d8d, 0x7f895182,
322 0x0b147211, 0x7f850179, 0x0b4684df, 0x7f809dc5,
323 0x0b7895f0, 0x7f7c2668, 0x0baaa53b, 0x7f779b62,
324 0x0bdcb2bb, 0x7f72fcb4, 0x0c0ebe66, 0x7f6e4a5e,
325 0x0c40c835, 0x7f698461, 0x0c72d020, 0x7f64aabf,
326 0x0ca4d620, 0x7f5fbd77, 0x0cd6da2d, 0x7f5abc8a,
327 0x0d08dc3f, 0x7f55a7fa, 0x0d3adc4e, 0x7f507fc7,
328 0x0d6cda53, 0x7f4b43f2, 0x0d9ed646, 0x7f45f47b,
329 0x0dd0d01f, 0x7f409164, 0x0e02c7d7, 0x7f3b1aad,
330 0x0e34bd66, 0x7f359057, 0x0e66b0c3, 0x7f2ff263,
331 0x0e98a1e9, 0x7f2a40d2, 0x0eca90ce, 0x7f247ba5,
332 0x0efc7d6b, 0x7f1ea2dc, 0x0f2e67b8, 0x7f18b679,
333 0x0f604faf, 0x7f12b67c, 0x0f923546, 0x7f0ca2e7,
334 0x0fc41876, 0x7f067bba, 0x0ff5f938, 0x7f0040f6,
335 0x1027d784, 0x7ef9f29d, 0x1059b352, 0x7ef390ae,
336 0x108b8c9b, 0x7eed1b2c, 0x10bd6356, 0x7ee69217,
337 0x10ef377d, 0x7edff570, 0x11210907, 0x7ed94538,
338 0x1152d7ed, 0x7ed28171, 0x1184a427, 0x7ecbaa1a,
339 0x11b66dad, 0x7ec4bf36, 0x11e83478, 0x7ebdc0c6,
340 0x1219f880, 0x7eb6aeca, 0x124bb9be, 0x7eaf8943,
341 0x127d7829, 0x7ea85033, 0x12af33ba, 0x7ea1039b,
342 0x12e0ec6a, 0x7e99a37c, 0x1312a230, 0x7e922fd6,
343 0x13445505, 0x7e8aa8ac, 0x137604e2, 0x7e830dff,
344 0x13a7b1bf, 0x7e7b5fce, 0x13d95b93, 0x7e739e1d,
345 0x140b0258, 0x7e6bc8eb, 0x143ca605, 0x7e63e03b,
346 0x146e4694, 0x7e5be40c, 0x149fe3fc, 0x7e53d462,
347 0x14d17e36, 0x7e4bb13c, 0x1503153a, 0x7e437a9c,
348 0x1534a901, 0x7e3b3083, 0x15663982, 0x7e32d2f4,
349 0x1597c6b7, 0x7e2a61ed, 0x15c95097, 0x7e21dd73,
350 0x15fad71b, 0x7e194584, 0x162c5a3b, 0x7e109a24,
351 0x165dd9f0, 0x7e07db52, 0x168f5632, 0x7dff0911,
352 0x16c0cef9, 0x7df62362, 0x16f2443e, 0x7ded2a47,
353 0x1723b5f9, 0x7de41dc0, 0x17552422, 0x7ddafdce,
354 0x17868eb3, 0x7dd1ca75, 0x17b7f5a3, 0x7dc883b4,
355 0x17e958ea, 0x7dbf298d, 0x181ab881, 0x7db5bc02,
356 0x184c1461, 0x7dac3b15, 0x187d6c82, 0x7da2a6c6,
357 0x18aec0db, 0x7d98ff17, 0x18e01167, 0x7d8f4409,
358 0x19115e1c, 0x7d85759f, 0x1942a6f3, 0x7d7b93da,
359 0x1973ebe6, 0x7d719eba, 0x19a52ceb, 0x7d679642,
360 0x19d669fc, 0x7d5d7a74, 0x1a07a311, 0x7d534b50,
361 0x1a38d823, 0x7d4908d9, 0x1a6a0929, 0x7d3eb30f,
362 0x1a9b361d, 0x7d3449f5, 0x1acc5ef6, 0x7d29cd8c,
363 0x1afd83ad, 0x7d1f3dd6, 0x1b2ea43a, 0x7d149ad5,
364 0x1b5fc097, 0x7d09e489, 0x1b90d8bb, 0x7cff1af5,
365 0x1bc1ec9e, 0x7cf43e1a, 0x1bf2fc3a, 0x7ce94dfb,
366 0x1c240786, 0x7cde4a98, 0x1c550e7c, 0x7cd333f3,
367 0x1c861113, 0x7cc80a0f, 0x1cb70f43, 0x7cbcccec,
368 0x1ce80906, 0x7cb17c8d, 0x1d18fe54, 0x7ca618f3,
369 0x1d49ef26, 0x7c9aa221, 0x1d7adb73, 0x7c8f1817,
370 0x1dabc334, 0x7c837ad8, 0x1ddca662, 0x7c77ca65,
371 0x1e0d84f5, 0x7c6c06c0, 0x1e3e5ee5, 0x7c602fec,
372 0x1e6f342c, 0x7c5445e9, 0x1ea004c1, 0x7c4848ba,
373 0x1ed0d09d, 0x7c3c3860, 0x1f0197b8, 0x7c3014de,
374 0x1f325a0b, 0x7c23de35, 0x1f63178f, 0x7c179467,
375 0x1f93d03c, 0x7c0b3777, 0x1fc4840a, 0x7bfec765,
376 0x1ff532f2, 0x7bf24434, 0x2025dcec, 0x7be5ade6,
377 0x205681f1, 0x7bd9047c, 0x208721f9, 0x7bcc47fa,
378 0x20b7bcfe, 0x7bbf7860, 0x20e852f6, 0x7bb295b0,
379 0x2118e3dc, 0x7ba59fee, 0x21496fa7, 0x7b989719,
380 0x2179f64f, 0x7b8b7b36, 0x21aa77cf, 0x7b7e4c45,
381 0x21daf41d, 0x7b710a49, 0x220b6b32, 0x7b63b543,
382 0x223bdd08, 0x7b564d36, 0x226c4996, 0x7b48d225,
383 0x229cb0d5, 0x7b3b4410, 0x22cd12bd, 0x7b2da2fa,
384 0x22fd6f48, 0x7b1feee5, 0x232dc66d, 0x7b1227d3,
385 0x235e1826, 0x7b044dc7, 0x238e646a, 0x7af660c2,
386 0x23beab33, 0x7ae860c7, 0x23eeec78, 0x7ada4dd8,
387 0x241f2833, 0x7acc27f7, 0x244f5e5c, 0x7abdef25,
388 0x247f8eec, 0x7aafa367, 0x24afb9da, 0x7aa144bc,
389 0x24dfdf20, 0x7a92d329, 0x250ffeb7, 0x7a844eae,
390 0x25401896, 0x7a75b74f, 0x25702cb7, 0x7a670d0d,
391 0x25a03b11, 0x7a584feb, 0x25d0439f, 0x7a497feb,
392 0x26004657, 0x7a3a9d0f, 0x26304333, 0x7a2ba75a,
393 0x26603a2c, 0x7a1c9ece, 0x26902b39, 0x7a0d836d,
394 0x26c01655, 0x79fe5539, 0x26effb76, 0x79ef1436,
395 0x271fda96, 0x79dfc064, 0x274fb3ae, 0x79d059c8,
396 0x277f86b5, 0x79c0e062, 0x27af53a6, 0x79b15435,
397 0x27df1a77, 0x79a1b545, 0x280edb23, 0x79920392,
398 0x283e95a1, 0x79823f20, 0x286e49ea, 0x797267f2,
399 0x289df7f8, 0x79627e08, 0x28cd9fc1, 0x79528167,
400 0x28fd4140, 0x79427210, 0x292cdc6d, 0x79325006,
401 0x295c7140, 0x79221b4b, 0x298bffb2, 0x7911d3e2,
402 0x29bb87bc, 0x790179cd, 0x29eb0957, 0x78f10d0f,
403 0x2a1a847b, 0x78e08dab, 0x2a49f920, 0x78cffba3,
404 0x2a796740, 0x78bf56f9, 0x2aa8ced3, 0x78ae9fb0,
405 0x2ad82fd2, 0x789dd5cb, 0x2b078a36, 0x788cf94c,
406 0x2b36ddf7, 0x787c0a36, 0x2b662b0e, 0x786b088c,
407 0x2b957173, 0x7859f44f, 0x2bc4b120, 0x7848cd83,
408 0x2bf3ea0d, 0x7837942b, 0x2c231c33, 0x78264849,
409 0x2c52478a, 0x7814e9df, 0x2c816c0c, 0x780378f1,
410 0x2cb089b1, 0x77f1f581, 0x2cdfa071, 0x77e05f91,
411 0x2d0eb046, 0x77ceb725, 0x2d3db928, 0x77bcfc3f,
412 0x2d6cbb10, 0x77ab2ee2, 0x2d9bb5f6, 0x77994f11,
413 0x2dcaa9d5, 0x77875cce, 0x2df996a3, 0x7775581d,
414 0x2e287c5a, 0x776340ff, 0x2e575af3, 0x77511778,
415 0x2e863267, 0x773edb8b, 0x2eb502ae, 0x772c8d3a,
416 0x2ee3cbc1, 0x771a2c88, 0x2f128d99, 0x7707b979,
417 0x2f41482e, 0x76f5340e, 0x2f6ffb7a, 0x76e29c4b,
418 0x2f9ea775, 0x76cff232, 0x2fcd4c19, 0x76bd35c7,
419 0x2ffbe95d, 0x76aa670d, 0x302a7f3a, 0x76978605,
420 0x30590dab, 0x768492b4, 0x308794a6, 0x76718d1c,
421 0x30b61426, 0x765e7540, 0x30e48c22, 0x764b4b23,
422 0x3112fc95, 0x76380ec8, 0x31416576, 0x7624c031,
423 0x316fc6be, 0x76115f63, 0x319e2067, 0x75fdec60,
424 0x31cc7269, 0x75ea672a, 0x31fabcbd, 0x75d6cfc5,
425 0x3228ff5c, 0x75c32634, 0x32573a3f, 0x75af6a7b,
426 0x32856d5e, 0x759b9c9b, 0x32b398b3, 0x7587bc98,
427 0x32e1bc36, 0x7573ca75, 0x330fd7e1, 0x755fc635,
428 0x333debab, 0x754bafdc, 0x336bf78f, 0x7537876c,
429 0x3399fb85, 0x75234ce8, 0x33c7f785, 0x750f0054,
430 0x33f5eb89, 0x74faa1b3, 0x3423d78a, 0x74e63108,
431 0x3451bb81, 0x74d1ae55, 0x347f9766, 0x74bd199f,
432 0x34ad6b32, 0x74a872e8, 0x34db36df, 0x7493ba34,
433 0x3508fa66, 0x747eef85, 0x3536b5be, 0x746a12df,
434 0x356468e2, 0x74552446, 0x359213c9, 0x744023bc,
435 0x35bfb66e, 0x742b1144, 0x35ed50c9, 0x7415ece2,
436 0x361ae2d3, 0x7400b69a, 0x36486c86, 0x73eb6e6e,
437 0x3675edd9, 0x73d61461, 0x36a366c6, 0x73c0a878,
438 0x36d0d746, 0x73ab2ab4, 0x36fe3f52, 0x73959b1b,
439 0x372b9ee3, 0x737ff9ae, 0x3758f5f2, 0x736a4671,
440 0x37864477, 0x73548168, 0x37b38a6d, 0x733eaa96,
441 0x37e0c7cc, 0x7328c1ff, 0x380dfc8d, 0x7312c7a5,
442 0x383b28a9, 0x72fcbb8c, 0x38684c19, 0x72e69db7,
443 0x389566d6, 0x72d06e2b, 0x38c278d9, 0x72ba2cea,
444 0x38ef821c, 0x72a3d9f7, 0x391c8297, 0x728d7557,
445 0x39497a43, 0x7276ff0d, 0x39766919, 0x7260771b,
446 0x39a34f13, 0x7249dd86, 0x39d02c2a, 0x72333251,
447 0x39fd0056, 0x721c7580, 0x3a29cb91, 0x7205a716,
448 0x3a568dd4, 0x71eec716, 0x3a834717, 0x71d7d585,
449 0x3aaff755, 0x71c0d265, 0x3adc9e86, 0x71a9bdba,
450 0x3b093ca3, 0x71929789, 0x3b35d1a5, 0x717b5fd3,
451 0x3b625d86, 0x7164169d, 0x3b8ee03e, 0x714cbbeb,
452 0x3bbb59c7, 0x71354fc0, 0x3be7ca1a, 0x711dd220,
453 0x3c143130, 0x7106430e, 0x3c408f03, 0x70eea28e,
454 0x3c6ce38a, 0x70d6f0a4, 0x3c992ec0, 0x70bf2d53,
455 0x3cc5709e, 0x70a7589f, 0x3cf1a91c, 0x708f728b,
456 0x3d1dd835, 0x70777b1c, 0x3d49fde1, 0x705f7255,
457 0x3d761a19, 0x70475839, 0x3da22cd7, 0x702f2ccd,
458 0x3dce3614, 0x7016f014, 0x3dfa35c8, 0x6ffea212,
459 0x3e262bee, 0x6fe642ca, 0x3e52187f, 0x6fcdd241,
460 0x3e7dfb73, 0x6fb5507a, 0x3ea9d4c3, 0x6f9cbd79,
461 0x3ed5a46b, 0x6f841942, 0x3f016a61, 0x6f6b63d8,
462 0x3f2d26a0, 0x6f529d40, 0x3f58d921, 0x6f39c57d,
463 0x3f8481dd, 0x6f20dc92, 0x3fb020ce, 0x6f07e285,
464 0x3fdbb5ec, 0x6eeed758, 0x40074132, 0x6ed5bb10,
465 0x4032c297, 0x6ebc8db0, 0x405e3a16, 0x6ea34f3d,
466 0x4089a7a8, 0x6e89ffb9, 0x40b50b46, 0x6e709f2a,
467 0x40e064ea, 0x6e572d93, 0x410bb48c, 0x6e3daaf8,
468 0x4136fa27, 0x6e24175c, 0x416235b2, 0x6e0a72c5,
469 0x418d6729, 0x6df0bd35, 0x41b88e84, 0x6dd6f6b1,
470 0x41e3abbc, 0x6dbd1f3c, 0x420ebecb, 0x6da336dc,
471 0x4239c7aa, 0x6d893d93, 0x4264c653, 0x6d6f3365,
472 0x428fbabe, 0x6d551858, 0x42baa4e6, 0x6d3aec6e,
473 0x42e584c3, 0x6d20afac, 0x43105a50, 0x6d066215,
474 0x433b2585, 0x6cec03af, 0x4365e65b, 0x6cd1947c,
475 0x43909ccd, 0x6cb71482, 0x43bb48d4, 0x6c9c83c3,
476 0x43e5ea68, 0x6c81e245, 0x44108184, 0x6c67300b,
477 0x443b0e21, 0x6c4c6d1a, 0x44659039, 0x6c319975,
478 0x449007c4, 0x6c16b521, 0x44ba74bd, 0x6bfbc021,
479 0x44e4d71c, 0x6be0ba7b, 0x450f2edb, 0x6bc5a431,
480 0x45397bf4, 0x6baa7d49, 0x4563be60, 0x6b8f45c7,
481 0x458df619, 0x6b73fdae, 0x45b82318, 0x6b58a503,
482 0x45e24556, 0x6b3d3bcb, 0x460c5cce, 0x6b21c208,
483 0x46366978, 0x6b0637c1, 0x46606b4e, 0x6aea9cf8,
484 0x468a624a, 0x6acef1b2, 0x46b44e65, 0x6ab335f4,
485 0x46de2f99, 0x6a9769c1, 0x470805df, 0x6a7b8d1e,
486 0x4731d131, 0x6a5fa010, 0x475b9188, 0x6a43a29a,
487 0x478546de, 0x6a2794c1, 0x47aef12c, 0x6a0b7689,
488 0x47d8906d, 0x69ef47f6, 0x48022499, 0x69d3090e,
489 0x482badab, 0x69b6b9d3, 0x48552b9b, 0x699a5a4c,
490 0x487e9e64, 0x697dea7b, 0x48a805ff, 0x69616a65,
491 0x48d16265, 0x6944da10, 0x48fab391, 0x6928397e,
492 0x4923f97b, 0x690b88b5, 0x494d341e, 0x68eec7b9,
493 0x49766373, 0x68d1f68f, 0x499f8774, 0x68b5153a,
494 0x49c8a01b, 0x689823bf, 0x49f1ad61, 0x687b2224,
495 0x4a1aaf3f, 0x685e106c, 0x4a43a5b0, 0x6840ee9b,
496 0x4a6c90ad, 0x6823bcb7, 0x4a957030, 0x68067ac3,
497 0x4abe4433, 0x67e928c5, 0x4ae70caf, 0x67cbc6c0,
498 0x4b0fc99d, 0x67ae54ba, 0x4b387af9, 0x6790d2b6,
499 0x4b6120bb, 0x677340ba, 0x4b89badd, 0x67559eca,
500 0x4bb24958, 0x6737ecea, 0x4bdacc28, 0x671a2b20,
501 0x4c034345, 0x66fc596f, 0x4c2baea9, 0x66de77dc,
502 0x4c540e4e, 0x66c0866d, 0x4c7c622d, 0x66a28524,
503 0x4ca4aa41, 0x66847408, 0x4ccce684, 0x6666531d,
504 0x4cf516ee, 0x66482267, 0x4d1d3b7a, 0x6629e1ec,
505 0x4d455422, 0x660b91af, 0x4d6d60df, 0x65ed31b5,
506 0x4d9561ac, 0x65cec204, 0x4dbd5682, 0x65b0429f,
507 0x4de53f5a, 0x6591b38c, 0x4e0d1c30, 0x657314cf,
508 0x4e34ecfc, 0x6554666d, 0x4e5cb1b9, 0x6535a86b,
509 0x4e846a60, 0x6516dacd, 0x4eac16eb, 0x64f7fd98,
510 0x4ed3b755, 0x64d910d1, 0x4efb4b96, 0x64ba147d,
511 0x4f22d3aa, 0x649b08a0, 0x4f4a4f89, 0x647bed3f,
512 0x4f71bf2e, 0x645cc260, 0x4f992293, 0x643d8806,
513 0x4fc079b1, 0x641e3e38, 0x4fe7c483, 0x63fee4f8,
514 0x500f0302, 0x63df7c4d, 0x50363529, 0x63c0043b,
515 0x505d5af1, 0x63a07cc7, 0x50847454, 0x6380e5f6,
516 0x50ab814d, 0x63613fcd, 0x50d281d5, 0x63418a50,
517 0x50f975e6, 0x6321c585, 0x51205d7b, 0x6301f171,
518 0x5147388c, 0x62e20e17, 0x516e0715, 0x62c21b7e,
519 0x5194c910, 0x62a219aa, 0x51bb7e75, 0x628208a1,
520 0x51e22740, 0x6261e866, 0x5208c36a, 0x6241b8ff,
521 0x522f52ee, 0x62217a72, 0x5255d5c5, 0x62012cc2,
522 0x527c4bea, 0x61e0cff5, 0x52a2b556, 0x61c06410,
523 0x52c91204, 0x619fe918, 0x52ef61ee, 0x617f5f12,
524 0x5315a50e, 0x615ec603, 0x533bdb5d, 0x613e1df0,
525 0x536204d7, 0x611d66de, 0x53882175, 0x60fca0d2,
526 0x53ae3131, 0x60dbcbd1, 0x53d43406, 0x60bae7e1,
527 0x53fa29ed, 0x6099f505, 0x542012e1, 0x6078f344,
528 0x5445eedb, 0x6057e2a2, 0x546bbdd7, 0x6036c325,
529 0x54917fce, 0x601594d1, 0x54b734ba, 0x5ff457ad,
530 0x54dcdc96, 0x5fd30bbc, 0x5502775c, 0x5fb1b104,
531 0x55280505, 0x5f90478a, 0x554d858d, 0x5f6ecf53,
532 0x5572f8ed, 0x5f4d4865, 0x55985f20, 0x5f2bb2c5,
533 0x55bdb81f, 0x5f0a0e77, 0x55e303e6, 0x5ee85b82,
534 0x5608426e, 0x5ec699e9, 0x562d73b2, 0x5ea4c9b3,
535 0x565297ab, 0x5e82eae5, 0x5677ae54, 0x5e60fd84,
536 0x569cb7a8, 0x5e3f0194, 0x56c1b3a1, 0x5e1cf71c,
537 0x56e6a239, 0x5dfade20, 0x570b8369, 0x5dd8b6a7,
538 0x5730572e, 0x5db680b4, 0x57551d80, 0x5d943c4e,
539 0x5779d65b, 0x5d71e979, 0x579e81b8, 0x5d4f883b,
540 0x57c31f92, 0x5d2d189a, 0x57e7afe4, 0x5d0a9a9a,
541 0x580c32a7, 0x5ce80e41, 0x5830a7d6, 0x5cc57394,
542 0x58550f6c, 0x5ca2ca99, 0x58796962, 0x5c801354,
543 0x589db5b3, 0x5c5d4dcc, 0x58c1f45b, 0x5c3a7a05,
544 0x58e62552, 0x5c179806, 0x590a4893, 0x5bf4a7d2,
545 0x592e5e19, 0x5bd1a971, 0x595265df, 0x5bae9ce7,
546 0x59765fde, 0x5b8b8239, 0x599a4c12, 0x5b68596d,
547 0x59be2a74, 0x5b452288, 0x59e1faff, 0x5b21dd90,
548 0x5a05bdae, 0x5afe8a8b, 0x5a29727b, 0x5adb297d,
549 0x5a4d1960, 0x5ab7ba6c, 0x5a70b258, 0x5a943d5e,
552 /*split radix bit reverse table for FFT of size up to 2048*/
554 const uint16_t revtab
[1<<12] = {
555 0, 3072, 1536, 2816, 768, 3840, 1408, 2432, 384, 3456, 1920, 2752, 704,
556 3776, 1216, 2240, 192, 3264, 1728, 3008, 960, 4032, 1376, 2400, 352, 3424,
557 1888, 2656, 608, 3680, 1120, 2144, 96, 3168, 1632, 2912, 864, 3936, 1504,
558 2528, 480, 3552, 2016, 2736, 688, 3760, 1200, 2224, 176, 3248, 1712, 2992,
559 944, 4016, 1328, 2352, 304, 3376, 1840, 2608, 560, 3632, 1072, 2096, 48,
560 3120, 1584, 2864, 816, 3888, 1456, 2480, 432, 3504, 1968, 2800, 752, 3824,
561 1264, 2288, 240, 3312, 1776, 3056, 1008, 4080, 1368, 2392, 344, 3416, 1880,
562 2648, 600, 3672, 1112, 2136, 88, 3160, 1624, 2904, 856, 3928, 1496, 2520,
563 472, 3544, 2008, 2712, 664, 3736, 1176, 2200, 152, 3224, 1688, 2968, 920,
564 3992, 1304, 2328, 280, 3352, 1816, 2584, 536, 3608, 1048, 2072, 24, 3096,
565 1560, 2840, 792, 3864, 1432, 2456, 408, 3480, 1944, 2776, 728, 3800, 1240,
566 2264, 216, 3288, 1752, 3032, 984, 4056, 1400, 2424, 376, 3448, 1912, 2680,
567 632, 3704, 1144, 2168, 120, 3192, 1656, 2936, 888, 3960, 1528, 2552, 504,
568 3576, 2040, 2732, 684, 3756, 1196, 2220, 172, 3244, 1708, 2988, 940, 4012,
569 1324, 2348, 300, 3372, 1836, 2604, 556, 3628, 1068, 2092, 44, 3116, 1580,
570 2860, 812, 3884, 1452, 2476, 428, 3500, 1964, 2796, 748, 3820, 1260, 2284,
571 236, 3308, 1772, 3052, 1004, 4076, 1356, 2380, 332, 3404, 1868, 2636, 588,
572 3660, 1100, 2124, 76, 3148, 1612, 2892, 844, 3916, 1484, 2508, 460, 3532,
573 1996, 2700, 652, 3724, 1164, 2188, 140, 3212, 1676, 2956, 908, 3980, 1292,
574 2316, 268, 3340, 1804, 2572, 524, 3596, 1036, 2060, 12, 3084, 1548, 2828,
575 780, 3852, 1420, 2444, 396, 3468, 1932, 2764, 716, 3788, 1228, 2252, 204,
576 3276, 1740, 3020, 972, 4044, 1388, 2412, 364, 3436, 1900, 2668, 620, 3692,
577 1132, 2156, 108, 3180, 1644, 2924, 876, 3948, 1516, 2540, 492, 3564, 2028,
578 2748, 700, 3772, 1212, 2236, 188, 3260, 1724, 3004, 956, 4028, 1340, 2364,
579 316, 3388, 1852, 2620, 572, 3644, 1084, 2108, 60, 3132, 1596, 2876, 828,
580 3900, 1468, 2492, 444, 3516, 1980, 2812, 764, 3836, 1276, 2300, 252, 3324,
581 1788, 3068, 1020, 4092, 1366, 2390, 342, 3414, 1878, 2646, 598, 3670, 1110,
582 2134, 86, 3158, 1622, 2902, 854, 3926, 1494, 2518, 470, 3542, 2006, 2710,
583 662, 3734, 1174, 2198, 150, 3222, 1686, 2966, 918, 3990, 1302, 2326, 278,
584 3350, 1814, 2582, 534, 3606, 1046, 2070, 22, 3094, 1558, 2838, 790, 3862,
585 1430, 2454, 406, 3478, 1942, 2774, 726, 3798, 1238, 2262, 214, 3286, 1750,
586 3030, 982, 4054, 1398, 2422, 374, 3446, 1910, 2678, 630, 3702, 1142, 2166,
587 118, 3190, 1654, 2934, 886, 3958, 1526, 2550, 502, 3574, 2038, 2726, 678,
588 3750, 1190, 2214, 166, 3238, 1702, 2982, 934, 4006, 1318, 2342, 294, 3366,
589 1830, 2598, 550, 3622, 1062, 2086, 38, 3110, 1574, 2854, 806, 3878, 1446,
590 2470, 422, 3494, 1958, 2790, 742, 3814, 1254, 2278, 230, 3302, 1766, 3046,
591 998, 4070, 1350, 2374, 326, 3398, 1862, 2630, 582, 3654, 1094, 2118, 70,
592 3142, 1606, 2886, 838, 3910, 1478, 2502, 454, 3526, 1990, 2694, 646, 3718,
593 1158, 2182, 134, 3206, 1670, 2950, 902, 3974, 1286, 2310, 262, 3334, 1798,
594 2566, 518, 3590, 1030, 2054, 6, 3078, 1542, 2822, 774, 3846, 1414, 2438,
595 390, 3462, 1926, 2758, 710, 3782, 1222, 2246, 198, 3270, 1734, 3014, 966,
596 4038, 1382, 2406, 358, 3430, 1894, 2662, 614, 3686, 1126, 2150, 102, 3174,
597 1638, 2918, 870, 3942, 1510, 2534, 486, 3558, 2022, 2742, 694, 3766, 1206,
598 2230, 182, 3254, 1718, 2998, 950, 4022, 1334, 2358, 310, 3382, 1846, 2614,
599 566, 3638, 1078, 2102, 54, 3126, 1590, 2870, 822, 3894, 1462, 2486, 438,
600 3510, 1974, 2806, 758, 3830, 1270, 2294, 246, 3318, 1782, 3062, 1014, 4086,
601 1374, 2398, 350, 3422, 1886, 2654, 606, 3678, 1118, 2142, 94, 3166, 1630,
602 2910, 862, 3934, 1502, 2526, 478, 3550, 2014, 2718, 670, 3742, 1182, 2206,
603 158, 3230, 1694, 2974, 926, 3998, 1310, 2334, 286, 3358, 1822, 2590, 542,
604 3614, 1054, 2078, 30, 3102, 1566, 2846, 798, 3870, 1438, 2462, 414, 3486,
605 1950, 2782, 734, 3806, 1246, 2270, 222, 3294, 1758, 3038, 990, 4062, 1406,
606 2430, 382, 3454, 1918, 2686, 638, 3710, 1150, 2174, 126, 3198, 1662, 2942,
607 894, 3966, 1534, 2558, 510, 3582, 2046, 2731, 683, 3755, 1195, 2219, 171,
608 3243, 1707, 2987, 939, 4011, 1323, 2347, 299, 3371, 1835, 2603, 555, 3627,
609 1067, 2091, 43, 3115, 1579, 2859, 811, 3883, 1451, 2475, 427, 3499, 1963,
610 2795, 747, 3819, 1259, 2283, 235, 3307, 1771, 3051, 1003, 4075, 1355, 2379,
611 331, 3403, 1867, 2635, 587, 3659, 1099, 2123, 75, 3147, 1611, 2891, 843,
612 3915, 1483, 2507, 459, 3531, 1995, 2699, 651, 3723, 1163, 2187, 139, 3211,
613 1675, 2955, 907, 3979, 1291, 2315, 267, 3339, 1803, 2571, 523, 3595, 1035,
614 2059, 11, 3083, 1547, 2827, 779, 3851, 1419, 2443, 395, 3467, 1931, 2763,
615 715, 3787, 1227, 2251, 203, 3275, 1739, 3019, 971, 4043, 1387, 2411, 363,
616 3435, 1899, 2667, 619, 3691, 1131, 2155, 107, 3179, 1643, 2923, 875, 3947,
617 1515, 2539, 491, 3563, 2027, 2747, 699, 3771, 1211, 2235, 187, 3259, 1723,
618 3003, 955, 4027, 1339, 2363, 315, 3387, 1851, 2619, 571, 3643, 1083, 2107,
619 59, 3131, 1595, 2875, 827, 3899, 1467, 2491, 443, 3515, 1979, 2811, 763,
620 3835, 1275, 2299, 251, 3323, 1787, 3067, 1019, 4091, 1363, 2387, 339, 3411,
621 1875, 2643, 595, 3667, 1107, 2131, 83, 3155, 1619, 2899, 851, 3923, 1491,
622 2515, 467, 3539, 2003, 2707, 659, 3731, 1171, 2195, 147, 3219, 1683, 2963,
623 915, 3987, 1299, 2323, 275, 3347, 1811, 2579, 531, 3603, 1043, 2067, 19,
624 3091, 1555, 2835, 787, 3859, 1427, 2451, 403, 3475, 1939, 2771, 723, 3795,
625 1235, 2259, 211, 3283, 1747, 3027, 979, 4051, 1395, 2419, 371, 3443, 1907,
626 2675, 627, 3699, 1139, 2163, 115, 3187, 1651, 2931, 883, 3955, 1523, 2547,
627 499, 3571, 2035, 2723, 675, 3747, 1187, 2211, 163, 3235, 1699, 2979, 931,
628 4003, 1315, 2339, 291, 3363, 1827, 2595, 547, 3619, 1059, 2083, 35, 3107,
629 1571, 2851, 803, 3875, 1443, 2467, 419, 3491, 1955, 2787, 739, 3811, 1251,
630 2275, 227, 3299, 1763, 3043, 995, 4067, 1347, 2371, 323, 3395, 1859, 2627,
631 579, 3651, 1091, 2115, 67, 3139, 1603, 2883, 835, 3907, 1475, 2499, 451,
632 3523, 1987, 2691, 643, 3715, 1155, 2179, 131, 3203, 1667, 2947, 899, 3971,
633 1283, 2307, 259, 3331, 1795, 2563, 515, 3587, 1027, 2051, 3, 3075, 1539,
634 2819, 771, 3843, 1411, 2435, 387, 3459, 1923, 2755, 707, 3779, 1219, 2243,
635 195, 3267, 1731, 3011, 963, 4035, 1379, 2403, 355, 3427, 1891, 2659, 611,
636 3683, 1123, 2147, 99, 3171, 1635, 2915, 867, 3939, 1507, 2531, 483, 3555,
637 2019, 2739, 691, 3763, 1203, 2227, 179, 3251, 1715, 2995, 947, 4019, 1331,
638 2355, 307, 3379, 1843, 2611, 563, 3635, 1075, 2099, 51, 3123, 1587, 2867,
639 819, 3891, 1459, 2483, 435, 3507, 1971, 2803, 755, 3827, 1267, 2291, 243,
640 3315, 1779, 3059, 1011, 4083, 1371, 2395, 347, 3419, 1883, 2651, 603, 3675,
641 1115, 2139, 91, 3163, 1627, 2907, 859, 3931, 1499, 2523, 475, 3547, 2011,
642 2715, 667, 3739, 1179, 2203, 155, 3227, 1691, 2971, 923, 3995, 1307, 2331,
643 283, 3355, 1819, 2587, 539, 3611, 1051, 2075, 27, 3099, 1563, 2843, 795,
644 3867, 1435, 2459, 411, 3483, 1947, 2779, 731, 3803, 1243, 2267, 219, 3291,
645 1755, 3035, 987, 4059, 1403, 2427, 379, 3451, 1915, 2683, 635, 3707, 1147,
646 2171, 123, 3195, 1659, 2939, 891, 3963, 1531, 2555, 507, 3579, 2043, 2735,
647 687, 3759, 1199, 2223, 175, 3247, 1711, 2991, 943, 4015, 1327, 2351, 303,
648 3375, 1839, 2607, 559, 3631, 1071, 2095, 47, 3119, 1583, 2863, 815, 3887,
649 1455, 2479, 431, 3503, 1967, 2799, 751, 3823, 1263, 2287, 239, 3311, 1775,
650 3055, 1007, 4079, 1359, 2383, 335, 3407, 1871, 2639, 591, 3663, 1103, 2127,
651 79, 3151, 1615, 2895, 847, 3919, 1487, 2511, 463, 3535, 1999, 2703, 655,
652 3727, 1167, 2191, 143, 3215, 1679, 2959, 911, 3983, 1295, 2319, 271, 3343,
653 1807, 2575, 527, 3599, 1039, 2063, 15, 3087, 1551, 2831, 783, 3855, 1423,
654 2447, 399, 3471, 1935, 2767, 719, 3791, 1231, 2255, 207, 3279, 1743, 3023,
655 975, 4047, 1391, 2415, 367, 3439, 1903, 2671, 623, 3695, 1135, 2159, 111,
656 3183, 1647, 2927, 879, 3951, 1519, 2543, 495, 3567, 2031, 2751, 703, 3775,
657 1215, 2239, 191, 3263, 1727, 3007, 959, 4031, 1343, 2367, 319, 3391, 1855,
658 2623, 575, 3647, 1087, 2111, 63, 3135, 1599, 2879, 831, 3903, 1471, 2495,
659 447, 3519, 1983, 2815, 767, 3839, 1279, 2303, 255, 3327, 1791, 3071, 1023,
660 4095, 1365, 2389, 341, 3413, 1877, 2645, 597, 3669, 1109, 2133, 85, 3157,
661 1621, 2901, 853, 3925, 1493, 2517, 469, 3541, 2005, 2709, 661, 3733, 1173,
662 2197, 149, 3221, 1685, 2965, 917, 3989, 1301, 2325, 277, 3349, 1813, 2581,
663 533, 3605, 1045, 2069, 21, 3093, 1557, 2837, 789, 3861, 1429, 2453, 405,
664 3477, 1941, 2773, 725, 3797, 1237, 2261, 213, 3285, 1749, 3029, 981, 4053,
665 1397, 2421, 373, 3445, 1909, 2677, 629, 3701, 1141, 2165, 117, 3189, 1653,
666 2933, 885, 3957, 1525, 2549, 501, 3573, 2037, 2725, 677, 3749, 1189, 2213,
667 165, 3237, 1701, 2981, 933, 4005, 1317, 2341, 293, 3365, 1829, 2597, 549,
668 3621, 1061, 2085, 37, 3109, 1573, 2853, 805, 3877, 1445, 2469, 421, 3493,
669 1957, 2789, 741, 3813, 1253, 2277, 229, 3301, 1765, 3045, 997, 4069, 1349,
670 2373, 325, 3397, 1861, 2629, 581, 3653, 1093, 2117, 69, 3141, 1605, 2885,
671 837, 3909, 1477, 2501, 453, 3525, 1989, 2693, 645, 3717, 1157, 2181, 133,
672 3205, 1669, 2949, 901, 3973, 1285, 2309, 261, 3333, 1797, 2565, 517, 3589,
673 1029, 2053, 5, 3077, 1541, 2821, 773, 3845, 1413, 2437, 389, 3461, 1925,
674 2757, 709, 3781, 1221, 2245, 197, 3269, 1733, 3013, 965, 4037, 1381, 2405,
675 357, 3429, 1893, 2661, 613, 3685, 1125, 2149, 101, 3173, 1637, 2917, 869,
676 3941, 1509, 2533, 485, 3557, 2021, 2741, 693, 3765, 1205, 2229, 181, 3253,
677 1717, 2997, 949, 4021, 1333, 2357, 309, 3381, 1845, 2613, 565, 3637, 1077,
678 2101, 53, 3125, 1589, 2869, 821, 3893, 1461, 2485, 437, 3509, 1973, 2805,
679 757, 3829, 1269, 2293, 245, 3317, 1781, 3061, 1013, 4085, 1373, 2397, 349,
680 3421, 1885, 2653, 605, 3677, 1117, 2141, 93, 3165, 1629, 2909, 861, 3933,
681 1501, 2525, 477, 3549, 2013, 2717, 669, 3741, 1181, 2205, 157, 3229, 1693,
682 2973, 925, 3997, 1309, 2333, 285, 3357, 1821, 2589, 541, 3613, 1053, 2077,
683 29, 3101, 1565, 2845, 797, 3869, 1437, 2461, 413, 3485, 1949, 2781, 733,
684 3805, 1245, 2269, 221, 3293, 1757, 3037, 989, 4061, 1405, 2429, 381, 3453,
685 1917, 2685, 637, 3709, 1149, 2173, 125, 3197, 1661, 2941, 893, 3965, 1533,
686 2557, 509, 3581, 2045, 2729, 681, 3753, 1193, 2217, 169, 3241, 1705, 2985,
687 937, 4009, 1321, 2345, 297, 3369, 1833, 2601, 553, 3625, 1065, 2089, 41,
688 3113, 1577, 2857, 809, 3881, 1449, 2473, 425, 3497, 1961, 2793, 745, 3817,
689 1257, 2281, 233, 3305, 1769, 3049, 1001, 4073, 1353, 2377, 329, 3401, 1865,
690 2633, 585, 3657, 1097, 2121, 73, 3145, 1609, 2889, 841, 3913, 1481, 2505,
691 457, 3529, 1993, 2697, 649, 3721, 1161, 2185, 137, 3209, 1673, 2953, 905,
692 3977, 1289, 2313, 265, 3337, 1801, 2569, 521, 3593, 1033, 2057, 9, 3081,
693 1545, 2825, 777, 3849, 1417, 2441, 393, 3465, 1929, 2761, 713, 3785, 1225,
694 2249, 201, 3273, 1737, 3017, 969, 4041, 1385, 2409, 361, 3433, 1897, 2665,
695 617, 3689, 1129, 2153, 105, 3177, 1641, 2921, 873, 3945, 1513, 2537, 489,
696 3561, 2025, 2745, 697, 3769, 1209, 2233, 185, 3257, 1721, 3001, 953, 4025,
697 1337, 2361, 313, 3385, 1849, 2617, 569, 3641, 1081, 2105, 57, 3129, 1593,
698 2873, 825, 3897, 1465, 2489, 441, 3513, 1977, 2809, 761, 3833, 1273, 2297,
699 249, 3321, 1785, 3065, 1017, 4089, 1361, 2385, 337, 3409, 1873, 2641, 593,
700 3665, 1105, 2129, 81, 3153, 1617, 2897, 849, 3921, 1489, 2513, 465, 3537,
701 2001, 2705, 657, 3729, 1169, 2193, 145, 3217, 1681, 2961, 913, 3985, 1297,
702 2321, 273, 3345, 1809, 2577, 529, 3601, 1041, 2065, 17, 3089, 1553, 2833,
703 785, 3857, 1425, 2449, 401, 3473, 1937, 2769, 721, 3793, 1233, 2257, 209,
704 3281, 1745, 3025, 977, 4049, 1393, 2417, 369, 3441, 1905, 2673, 625, 3697,
705 1137, 2161, 113, 3185, 1649, 2929, 881, 3953, 1521, 2545, 497, 3569, 2033,
706 2721, 673, 3745, 1185, 2209, 161, 3233, 1697, 2977, 929, 4001, 1313, 2337,
707 289, 3361, 1825, 2593, 545, 3617, 1057, 2081, 33, 3105, 1569, 2849, 801,
708 3873, 1441, 2465, 417, 3489, 1953, 2785, 737, 3809, 1249, 2273, 225, 3297,
709 1761, 3041, 993, 4065, 1345, 2369, 321, 3393, 1857, 2625, 577, 3649, 1089,
710 2113, 65, 3137, 1601, 2881, 833, 3905, 1473, 2497, 449, 3521, 1985, 2689,
711 641, 3713, 1153, 2177, 129, 3201, 1665, 2945, 897, 3969, 1281, 2305, 257,
712 3329, 1793, 2561, 513, 3585, 1025, 2049, 1, 3073, 1537, 2817, 769, 3841,
713 1409, 2433, 385, 3457, 1921, 2753, 705, 3777, 1217, 2241, 193, 3265, 1729,
714 3009, 961, 4033, 1377, 2401, 353, 3425, 1889, 2657, 609, 3681, 1121, 2145,
715 97, 3169, 1633, 2913, 865, 3937, 1505, 2529, 481, 3553, 2017, 2737, 689,
716 3761, 1201, 2225, 177, 3249, 1713, 2993, 945, 4017, 1329, 2353, 305, 3377,
717 1841, 2609, 561, 3633, 1073, 2097, 49, 3121, 1585, 2865, 817, 3889, 1457,
718 2481, 433, 3505, 1969, 2801, 753, 3825, 1265, 2289, 241, 3313, 1777, 3057,
719 1009, 4081, 1369, 2393, 345, 3417, 1881, 2649, 601, 3673, 1113, 2137, 89,
720 3161, 1625, 2905, 857, 3929, 1497, 2521, 473, 3545, 2009, 2713, 665, 3737,
721 1177, 2201, 153, 3225, 1689, 2969, 921, 3993, 1305, 2329, 281, 3353, 1817,
722 2585, 537, 3609, 1049, 2073, 25, 3097, 1561, 2841, 793, 3865, 1433, 2457,
723 409, 3481, 1945, 2777, 729, 3801, 1241, 2265, 217, 3289, 1753, 3033, 985,
724 4057, 1401, 2425, 377, 3449, 1913, 2681, 633, 3705, 1145, 2169, 121, 3193,
725 1657, 2937, 889, 3961, 1529, 2553, 505, 3577, 2041, 2733, 685, 3757, 1197,
726 2221, 173, 3245, 1709, 2989, 941, 4013, 1325, 2349, 301, 3373, 1837, 2605,
727 557, 3629, 1069, 2093, 45, 3117, 1581, 2861, 813, 3885, 1453, 2477, 429,
728 3501, 1965, 2797, 749, 3821, 1261, 2285, 237, 3309, 1773, 3053, 1005, 4077,
729 1357, 2381, 333, 3405, 1869, 2637, 589, 3661, 1101, 2125, 77, 3149, 1613,
730 2893, 845, 3917, 1485, 2509, 461, 3533, 1997, 2701, 653, 3725, 1165, 2189,
731 141, 3213, 1677, 2957, 909, 3981, 1293, 2317, 269, 3341, 1805, 2573, 525,
732 3597, 1037, 2061, 13, 3085, 1549, 2829, 781, 3853, 1421, 2445, 397, 3469,
733 1933, 2765, 717, 3789, 1229, 2253, 205, 3277, 1741, 3021, 973, 4045, 1389,
734 2413, 365, 3437, 1901, 2669, 621, 3693, 1133, 2157, 109, 3181, 1645, 2925,
735 877, 3949, 1517, 2541, 493, 3565, 2029, 2749, 701, 3773, 1213, 2237, 189,
736 3261, 1725, 3005, 957, 4029, 1341, 2365, 317, 3389, 1853, 2621, 573, 3645,
737 1085, 2109, 61, 3133, 1597, 2877, 829, 3901, 1469, 2493, 445, 3517, 1981,
738 2813, 765, 3837, 1277, 2301, 253, 3325, 1789, 3069, 1021, 4093, 1367, 2391,
739 343, 3415, 1879, 2647, 599, 3671, 1111, 2135, 87, 3159, 1623, 2903, 855,
740 3927, 1495, 2519, 471, 3543, 2007, 2711, 663, 3735, 1175, 2199, 151, 3223,
741 1687, 2967, 919, 3991, 1303, 2327, 279, 3351, 1815, 2583, 535, 3607, 1047,
742 2071, 23, 3095, 1559, 2839, 791, 3863, 1431, 2455, 407, 3479, 1943, 2775,
743 727, 3799, 1239, 2263, 215, 3287, 1751, 3031, 983, 4055, 1399, 2423, 375,
744 3447, 1911, 2679, 631, 3703, 1143, 2167, 119, 3191, 1655, 2935, 887, 3959,
745 1527, 2551, 503, 3575, 2039, 2727, 679, 3751, 1191, 2215, 167, 3239, 1703,
746 2983, 935, 4007, 1319, 2343, 295, 3367, 1831, 2599, 551, 3623, 1063, 2087,
747 39, 3111, 1575, 2855, 807, 3879, 1447, 2471, 423, 3495, 1959, 2791, 743,
748 3815, 1255, 2279, 231, 3303, 1767, 3047, 999, 4071, 1351, 2375, 327, 3399,
749 1863, 2631, 583, 3655, 1095, 2119, 71, 3143, 1607, 2887, 839, 3911, 1479,
750 2503, 455, 3527, 1991, 2695, 647, 3719, 1159, 2183, 135, 3207, 1671, 2951,
751 903, 3975, 1287, 2311, 263, 3335, 1799, 2567, 519, 3591, 1031, 2055, 7,
752 3079, 1543, 2823, 775, 3847, 1415, 2439, 391, 3463, 1927, 2759, 711, 3783,
753 1223, 2247, 199, 3271, 1735, 3015, 967, 4039, 1383, 2407, 359, 3431, 1895,
754 2663, 615, 3687, 1127, 2151, 103, 3175, 1639, 2919, 871, 3943, 1511, 2535,
755 487, 3559, 2023, 2743, 695, 3767, 1207, 2231, 183, 3255, 1719, 2999, 951,
756 4023, 1335, 2359, 311, 3383, 1847, 2615, 567, 3639, 1079, 2103, 55, 3127,
757 1591, 2871, 823, 3895, 1463, 2487, 439, 3511, 1975, 2807, 759, 3831, 1271,
758 2295, 247, 3319, 1783, 3063, 1015, 4087, 1375, 2399, 351, 3423, 1887, 2655,
759 607, 3679, 1119, 2143, 95, 3167, 1631, 2911, 863, 3935, 1503, 2527, 479,
760 3551, 2015, 2719, 671, 3743, 1183, 2207, 159, 3231, 1695, 2975, 927, 3999,
761 1311, 2335, 287, 3359, 1823, 2591, 543, 3615, 1055, 2079, 31, 3103, 1567,
762 2847, 799, 3871, 1439, 2463, 415, 3487, 1951, 2783, 735, 3807, 1247, 2271,
763 223, 3295, 1759, 3039, 991, 4063, 1407, 2431, 383, 3455, 1919, 2687, 639,
764 3711, 1151, 2175, 127, 3199, 1663, 2943, 895, 3967, 1535, 2559, 511, 3583,
765 2047, 2730, 682, 3754, 1194, 2218, 170, 3242, 1706, 2986, 938, 4010, 1322,
766 2346, 298, 3370, 1834, 2602, 554, 3626, 1066, 2090, 42, 3114, 1578, 2858,
767 810, 3882, 1450, 2474, 426, 3498, 1962, 2794, 746, 3818, 1258, 2282, 234,
768 3306, 1770, 3050, 1002, 4074, 1354, 2378, 330, 3402, 1866, 2634, 586, 3658,
769 1098, 2122, 74, 3146, 1610, 2890, 842, 3914, 1482, 2506, 458, 3530, 1994,
770 2698, 650, 3722, 1162, 2186, 138, 3210, 1674, 2954, 906, 3978, 1290, 2314,
771 266, 3338, 1802, 2570, 522, 3594, 1034, 2058, 10, 3082, 1546, 2826, 778,
772 3850, 1418, 2442, 394, 3466, 1930, 2762, 714, 3786, 1226, 2250, 202, 3274,
773 1738, 3018, 970, 4042, 1386, 2410, 362, 3434, 1898, 2666, 618, 3690, 1130,
774 2154, 106, 3178, 1642, 2922, 874, 3946, 1514, 2538, 490, 3562, 2026, 2746,
775 698, 3770, 1210, 2234, 186, 3258, 1722, 3002, 954, 4026, 1338, 2362, 314,
776 3386, 1850, 2618, 570, 3642, 1082, 2106, 58, 3130, 1594, 2874, 826, 3898,
777 1466, 2490, 442, 3514, 1978, 2810, 762, 3834, 1274, 2298, 250, 3322, 1786,
778 3066, 1018, 4090, 1362, 2386, 338, 3410, 1874, 2642, 594, 3666, 1106, 2130,
779 82, 3154, 1618, 2898, 850, 3922, 1490, 2514, 466, 3538, 2002, 2706, 658,
780 3730, 1170, 2194, 146, 3218, 1682, 2962, 914, 3986, 1298, 2322, 274, 3346,
781 1810, 2578, 530, 3602, 1042, 2066, 18, 3090, 1554, 2834, 786, 3858, 1426,
782 2450, 402, 3474, 1938, 2770, 722, 3794, 1234, 2258, 210, 3282, 1746, 3026,
783 978, 4050, 1394, 2418, 370, 3442, 1906, 2674, 626, 3698, 1138, 2162, 114,
784 3186, 1650, 2930, 882, 3954, 1522, 2546, 498, 3570, 2034, 2722, 674, 3746,
785 1186, 2210, 162, 3234, 1698, 2978, 930, 4002, 1314, 2338, 290, 3362, 1826,
786 2594, 546, 3618, 1058, 2082, 34, 3106, 1570, 2850, 802, 3874, 1442, 2466,
787 418, 3490, 1954, 2786, 738, 3810, 1250, 2274, 226, 3298, 1762, 3042, 994,
788 4066, 1346, 2370, 322, 3394, 1858, 2626, 578, 3650, 1090, 2114, 66, 3138,
789 1602, 2882, 834, 3906, 1474, 2498, 450, 3522, 1986, 2690, 642, 3714, 1154,
790 2178, 130, 3202, 1666, 2946, 898, 3970, 1282, 2306, 258, 3330, 1794, 2562,
791 514, 3586, 1026, 2050, 2, 3074, 1538, 2818, 770, 3842, 1410, 2434, 386,
792 3458, 1922, 2754, 706, 3778, 1218, 2242, 194, 3266, 1730, 3010, 962, 4034,
793 1378, 2402, 354, 3426, 1890, 2658, 610, 3682, 1122, 2146, 98, 3170, 1634,
794 2914, 866, 3938, 1506, 2530, 482, 3554, 2018, 2738, 690, 3762, 1202, 2226,
795 178, 3250, 1714, 2994, 946, 4018, 1330, 2354, 306, 3378, 1842, 2610, 562,
796 3634, 1074, 2098, 50, 3122, 1586, 2866, 818, 3890, 1458, 2482, 434, 3506,
797 1970, 2802, 754, 3826, 1266, 2290, 242, 3314, 1778, 3058, 1010, 4082, 1370,
798 2394, 346, 3418, 1882, 2650, 602, 3674, 1114, 2138, 90, 3162, 1626, 2906,
799 858, 3930, 1498, 2522, 474, 3546, 2010, 2714, 666, 3738, 1178, 2202, 154,
800 3226, 1690, 2970, 922, 3994, 1306, 2330, 282, 3354, 1818, 2586, 538, 3610,
801 1050, 2074, 26, 3098, 1562, 2842, 794, 3866, 1434, 2458, 410, 3482, 1946,
802 2778, 730, 3802, 1242, 2266, 218, 3290, 1754, 3034, 986, 4058, 1402, 2426,
803 378, 3450, 1914, 2682, 634, 3706, 1146, 2170, 122, 3194, 1658, 2938, 890,
804 3962, 1530, 2554, 506, 3578, 2042, 2734, 686, 3758, 1198, 2222, 174, 3246,
805 1710, 2990, 942, 4014, 1326, 2350, 302, 3374, 1838, 2606, 558, 3630, 1070,
806 2094, 46, 3118, 1582, 2862, 814, 3886, 1454, 2478, 430, 3502, 1966, 2798,
807 750, 3822, 1262, 2286, 238, 3310, 1774, 3054, 1006, 4078, 1358, 2382, 334,
808 3406, 1870, 2638, 590, 3662, 1102, 2126, 78, 3150, 1614, 2894, 846, 3918,
809 1486, 2510, 462, 3534, 1998, 2702, 654, 3726, 1166, 2190, 142, 3214, 1678,
810 2958, 910, 3982, 1294, 2318, 270, 3342, 1806, 2574, 526, 3598, 1038, 2062,
811 14, 3086, 1550, 2830, 782, 3854, 1422, 2446, 398, 3470, 1934, 2766, 718,
812 3790, 1230, 2254, 206, 3278, 1742, 3022, 974, 4046, 1390, 2414, 366, 3438,
813 1902, 2670, 622, 3694, 1134, 2158, 110, 3182, 1646, 2926, 878, 3950, 1518,
814 2542, 494, 3566, 2030, 2750, 702, 3774, 1214, 2238, 190, 3262, 1726, 3006,
815 958, 4030, 1342, 2366, 318, 3390, 1854, 2622, 574, 3646, 1086, 2110, 62,
816 3134, 1598, 2878, 830, 3902, 1470, 2494, 446, 3518, 1982, 2814, 766, 3838,
817 1278, 2302, 254, 3326, 1790, 3070, 1022, 4094, 1364, 2388, 340, 3412, 1876,
818 2644, 596, 3668, 1108, 2132, 84, 3156, 1620, 2900, 852, 3924, 1492, 2516,
819 468, 3540, 2004, 2708, 660, 3732, 1172, 2196, 148, 3220, 1684, 2964, 916,
820 3988, 1300, 2324, 276, 3348, 1812, 2580, 532, 3604, 1044, 2068, 20, 3092,
821 1556, 2836, 788, 3860, 1428, 2452, 404, 3476, 1940, 2772, 724, 3796, 1236,
822 2260, 212, 3284, 1748, 3028, 980, 4052, 1396, 2420, 372, 3444, 1908, 2676,
823 628, 3700, 1140, 2164, 116, 3188, 1652, 2932, 884, 3956, 1524, 2548, 500,
824 3572, 2036, 2724, 676, 3748, 1188, 2212, 164, 3236, 1700, 2980, 932, 4004,
825 1316, 2340, 292, 3364, 1828, 2596, 548, 3620, 1060, 2084, 36, 3108, 1572,
826 2852, 804, 3876, 1444, 2468, 420, 3492, 1956, 2788, 740, 3812, 1252, 2276,
827 228, 3300, 1764, 3044, 996, 4068, 1348, 2372, 324, 3396, 1860, 2628, 580,
828 3652, 1092, 2116, 68, 3140, 1604, 2884, 836, 3908, 1476, 2500, 452, 3524,
829 1988, 2692, 644, 3716, 1156, 2180, 132, 3204, 1668, 2948, 900, 3972, 1284,
830 2308, 260, 3332, 1796, 2564, 516, 3588, 1028, 2052, 4, 3076, 1540, 2820,
831 772, 3844, 1412, 2436, 388, 3460, 1924, 2756, 708, 3780, 1220, 2244, 196,
832 3268, 1732, 3012, 964, 4036, 1380, 2404, 356, 3428, 1892, 2660, 612, 3684,
833 1124, 2148, 100, 3172, 1636, 2916, 868, 3940, 1508, 2532, 484, 3556, 2020,
834 2740, 692, 3764, 1204, 2228, 180, 3252, 1716, 2996, 948, 4020, 1332, 2356,
835 308, 3380, 1844, 2612, 564, 3636, 1076, 2100, 52, 3124, 1588, 2868, 820,
836 3892, 1460, 2484, 436, 3508, 1972, 2804, 756, 3828, 1268, 2292, 244, 3316,
837 1780, 3060, 1012, 4084, 1372, 2396, 348, 3420, 1884, 2652, 604, 3676, 1116,
838 2140, 92, 3164, 1628, 2908, 860, 3932, 1500, 2524, 476, 3548, 2012, 2716,
839 668, 3740, 1180, 2204, 156, 3228, 1692, 2972, 924, 3996, 1308, 2332, 284,
840 3356, 1820, 2588, 540, 3612, 1052, 2076, 28, 3100, 1564, 2844, 796, 3868,
841 1436, 2460, 412, 3484, 1948, 2780, 732, 3804, 1244, 2268, 220, 3292, 1756,
842 3036, 988, 4060, 1404, 2428, 380, 3452, 1916, 2684, 636, 3708, 1148, 2172,
843 124, 3196, 1660, 2940, 892, 3964, 1532, 2556, 508, 3580, 2044, 2728, 680,
844 3752, 1192, 2216, 168, 3240, 1704, 2984, 936, 4008, 1320, 2344, 296, 3368,
845 1832, 2600, 552, 3624, 1064, 2088, 40, 3112, 1576, 2856, 808, 3880, 1448,
846 2472, 424, 3496, 1960, 2792, 744, 3816, 1256, 2280, 232, 3304, 1768, 3048,
847 1000, 4072, 1352, 2376, 328, 3400, 1864, 2632, 584, 3656, 1096, 2120, 72,
848 3144, 1608, 2888, 840, 3912, 1480, 2504, 456, 3528, 1992, 2696, 648, 3720,
849 1160, 2184, 136, 3208, 1672, 2952, 904, 3976, 1288, 2312, 264, 3336, 1800,
850 2568, 520, 3592, 1032, 2056, 8, 3080, 1544, 2824, 776, 3848, 1416, 2440,
851 392, 3464, 1928, 2760, 712, 3784, 1224, 2248, 200, 3272, 1736, 3016, 968,
852 4040, 1384, 2408, 360, 3432, 1896, 2664, 616, 3688, 1128, 2152, 104, 3176,
853 1640, 2920, 872, 3944, 1512, 2536, 488, 3560, 2024, 2744, 696, 3768, 1208,
854 2232, 184, 3256, 1720, 3000, 952, 4024, 1336, 2360, 312, 3384, 1848, 2616,
855 568, 3640, 1080, 2104, 56, 3128, 1592, 2872, 824, 3896, 1464, 2488, 440,
856 3512, 1976, 2808, 760, 3832, 1272, 2296, 248, 3320, 1784, 3064, 1016, 4088,
857 1360, 2384, 336, 3408, 1872, 2640, 592, 3664, 1104, 2128, 80, 3152, 1616,
858 2896, 848, 3920, 1488, 2512, 464, 3536, 2000, 2704, 656, 3728, 1168, 2192,
859 144, 3216, 1680, 2960, 912, 3984, 1296, 2320, 272, 3344, 1808, 2576, 528,
860 3600, 1040, 2064, 16, 3088, 1552, 2832, 784, 3856, 1424, 2448, 400, 3472,
861 1936, 2768, 720, 3792, 1232, 2256, 208, 3280, 1744, 3024, 976, 4048, 1392,
862 2416, 368, 3440, 1904, 2672, 624, 3696, 1136, 2160, 112, 3184, 1648, 2928,
863 880, 3952, 1520, 2544, 496, 3568, 2032, 2720, 672, 3744, 1184, 2208, 160,
864 3232, 1696, 2976, 928, 4000, 1312, 2336, 288, 3360, 1824, 2592, 544, 3616,
865 1056, 2080, 32, 3104, 1568, 2848, 800, 3872, 1440, 2464, 416, 3488, 1952,
866 2784, 736, 3808, 1248, 2272, 224, 3296, 1760, 3040, 992, 4064, 1344, 2368,
867 320, 3392, 1856, 2624, 576, 3648, 1088, 2112, 64, 3136, 1600, 2880, 832,
868 3904, 1472, 2496, 448, 3520, 1984, 2688, 640, 3712, 1152, 2176, 128, 3200,
869 1664, 2944, 896, 3968, 1280, 2304, 256, 3328, 1792, 2560, 512, 3584, 1024,
