| blob | 07d0b35c6af88394cd8b300939e49e0bad0a7db0 |
1 /* Function erf vectorized with SSE4.
2 Copyright (C) 2021-2023 Free Software Foundation, Inc.
3 This file is part of the GNU C Library.
5 The GNU C Library is free software; you can redistribute it and/or
6 modify it under the terms of the GNU Lesser General Public
7 License as published by the Free Software Foundation; either
8 version 2.1 of the License, or (at your option) any later version.
10 The GNU C Library is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 Lesser General Public License for more details.
15 You should have received a copy of the GNU Lesser General Public
16 License along with the GNU C Library; if not, see
17 https://www.gnu.org/licenses/. */
19 /*
20 * ALGORITHM DESCRIPTION:
21 *
22 * Basic formula is
23 * erf(x) ~ erf(x0) +
24 * + exp(-x0*x0)*D*(1+c0+T*P1(T)+D^2*P3(T)+D^4*P5(T)+D^6*p7+D^8*p9)
25 * where D=x-x0, T=x0*D
26 * x0 is x rounded to a specified number of fractional bits (in this case 7),
27 * except that x0=0 for |x|<3.5/128.0 (using x0=0 for first 4 table entries)
28 *
29 * Data table packs both erf(x0)_high and a few bits of erf(x0)_low in one
30 * entry (in place of redundant exponent bits)
31 *
32 */
34 /* Offsets for data table __svml_derf_data_internal
35 */
36 #define _erf_tbl 0
37 #define _AbsMask 12288
38 #define _MaxThreshold 12304
39 #define _SRound 12320
40 #define _U2Threshold 12336
41 #define _poly1_0 12352
42 #define _poly1_1 12368
43 #define _poly3_0 12384
44 #define _poly3_1 12400
45 #define _poly5_0 12416
46 #define _poly5_1 12432
47 #define _poly1_2 12448
48 #define _poly3_2 12464
49 #define _poly1_3 12480
50 #define _poly3_3 12496
52 #include <sysdep.h>
54 .section .text.sse4, "ax", @progbits
55 ENTRY(_ZGVbN2v_erf_sse4)
56 /*
57 * vector gather: erf(x0),
58 * second value is exp(-x0*x0)
59 */
60 lea __svml_derf_data_internal(%rip), %rcx
61 movups _AbsMask+__svml_derf_data_internal(%rip), %xmm5
62 andps %xmm0, %xmm5
64 /*
65 * erf(x) rounds to 1.0 for x>_MaxThreshold (5.9921875)
66 * can compute all results in the main path
67 */
68 movaps %xmm5, %xmm9
70 /* save sign */
71 pxor %xmm5, %xmm0
72 minpd _MaxThreshold+__svml_derf_data_internal(%rip), %xmm9
73 movups _SRound+__svml_derf_data_internal(%rip), %xmm1
74 movaps %xmm1, %xmm2
75 addpd %xmm9, %xmm2
76 movaps %xmm2, %xmm8
77 psllq $4, %xmm2
78 subpd %xmm1, %xmm8
79 movd %xmm2, %eax
80 movups _U2Threshold+__svml_derf_data_internal(%rip), %xmm11
81 cmpltpd %xmm9, %xmm11
82 subpd %xmm8, %xmm9
83 mulpd %xmm9, %xmm8
85 /*
86 * _LA_ polynomial computation
87 * Start polynomial evaluation
88 */
89 movups _poly1_0+__svml_derf_data_internal(%rip), %xmm7
90 andps %xmm9, %xmm11
91 mulpd %xmm8, %xmm7
93 /* D2 = Diff^2 */
94 mulpd %xmm11, %xmm11
95 addpd _poly1_1+__svml_derf_data_internal(%rip), %xmm7
97 /* NaN fixup */
98 minpd %xmm5, %xmm9
99 mulpd %xmm8, %xmm7
100 movups _poly3_0+__svml_derf_data_internal(%rip), %xmm6
102 /* T^2 */
103 movaps %xmm8, %xmm12
104 mulpd %xmm8, %xmm6
105 addpd _poly1_2+__svml_derf_data_internal(%rip), %xmm7
106 addpd _poly3_1+__svml_derf_data_internal(%rip), %xmm6
107 mulpd %xmm8, %xmm12
108 mulpd %xmm8, %xmm6
109 mulpd %xmm8, %xmm7
110 addpd _poly3_2+__svml_derf_data_internal(%rip), %xmm6
111 addpd _poly1_3+__svml_derf_data_internal(%rip), %xmm7
112 mulpd %xmm8, %xmm6
114 /* P1 = T^2*P1 - T */
115 mulpd %xmm7, %xmm12
116 movups _poly5_0+__svml_derf_data_internal(%rip), %xmm10
118 /* Sign | Diff */
119 pxor %xmm0, %xmm9
120 mulpd %xmm8, %xmm10
121 subpd %xmm8, %xmm12
122 addpd _poly5_1+__svml_derf_data_internal(%rip), %xmm10
123 mulpd %xmm11, %xmm10
124 addpd _poly3_3+__svml_derf_data_internal(%rip), %xmm10
125 addpd %xmm6, %xmm10
126 pshufd $2, %xmm2, %xmm3
127 movd %xmm3, %edx
129 /* P1 + P3*D2 */
130 mulpd %xmm10, %xmm11
131 movslq %eax, %rax
132 movslq %edx, %rdx
133 addpd %xmm11, %xmm12
134 movups (%rcx, %rax), %xmm13
135 movups (%rcx, %rdx), %xmm4
136 movaps %xmm13, %xmm14
137 unpckhpd %xmm4, %xmm13
139 /* exp_h(x0) * Diff */
140 mulpd %xmm9, %xmm13
142 /*
143 * branch-free
144 * low part of result: exp_h(x0) * Diff*(1+P1)
145 */
146 mulpd %xmm13, %xmm12
147 addpd %xmm12, %xmm13
148 unpcklpd %xmm4, %xmm14
150 /* Sign | _Erf_H */
151 pxor %xmm0, %xmm14
153 /* Final result */
154 addpd %xmm13, %xmm14
156 /* Fix erf(-0) = -0 */
157 orps %xmm14, %xmm0
158 ret
160 END(_ZGVbN2v_erf_sse4)
162 .section .rodata, "a"
163 .align 16
165 #ifdef __svml_derf_data_internal_typedef
166 typedef unsigned int VUINT32;
167 typedef struct {
168 __declspec(align(16)) VUINT32 _erf_tbl[6*128*2][2];
169 __declspec(align(16)) VUINT32 _AbsMask[2][2];
170 __declspec(align(16)) VUINT32 _MaxThreshold[2][2];
171 __declspec(align(16)) VUINT32 _SRound[2][2];
172 __declspec(align(16)) VUINT32 _U2Threshold[2][2];
173 __declspec(align(16)) VUINT32 _poly1_0[2][2];
174 __declspec(align(16)) VUINT32 _poly1_1[2][2];
175 __declspec(align(16)) VUINT32 _poly3_0[2][2];
176 __declspec(align(16)) VUINT32 _poly3_1[2][2];
177 __declspec(align(16)) VUINT32 _poly5_0[2][2];
178 __declspec(align(16)) VUINT32 _poly5_1[2][2];
179 __declspec(align(16)) VUINT32 _poly1_2[2][2];
180 __declspec(align(16)) VUINT32 _poly3_2[2][2];
181 __declspec(align(16)) VUINT32 _poly1_3[2][2];
182 __declspec(align(16)) VUINT32 _poly3_3[2][2];
183 } __svml_derf_data_internal;
184 #endif
185 __svml_derf_data_internal:
186 /* _erf_tbl */
187 .quad 0x0000000000000000, 0x3ff20dd750429b6d
188 .quad 0x3f820dbf3deb1340, 0x3ff20d8f1975c85d
189 .quad 0x3f920d77083f17a0, 0x3ff20cb67bd452c7
190 .quad 0x3f9b137e0cf584dc, 0x3ff20b4d8bac36c1
191 .quad 0x3fa20c5645dd2538, 0x3ff209546ad13ccf
192 .quad 0x3fa68e5d3bbc9526, 0x3ff206cb4897b148
193 .quad 0x3fab0fafef135745, 0x3ff203b261cd0053
194 .quad 0x3faf902a77bd3821, 0x3ff2000a00ae3804
195 .quad 0x3fb207d480e90658, 0x3ff1fbd27cdc72d3
196 .quad 0x3fb44703e87e8593, 0x3ff1f70c3b4f2cc8
197 .quad 0x3fb68591a1e83b5d, 0x3ff1f1b7ae44867f
198 .quad 0x3fb8c36beb8a8d23, 0x3ff1ebd5552f795b
199 .quad 0x3fbb0081148a873a, 0x3ff1e565bca400d4
200 .quad 0x3fbd3cbf7e70a4b3, 0x3ff1de697e413d29
201 .quad 0x3fbf78159ec8bb50, 0x3ff1d6e14099944a
202 .quad 0x3fc0d939005f65e5, 0x3ff1cecdb718d61c
203 .quad 0x3fc1f5e1a35c3b89, 0x3ff1c62fa1e869b6
204 .quad 0x3fc311fc15f56d14, 0x3ff1bd07cdd189ac
205 .quad 0x3fc42d7fc2f64959, 0x3ff1b357141d95d5
206 .quad 0x3fc548642321d7c6, 0x3ff1a91e5a748165
207 .quad 0x3fc662a0bdf7a89f, 0x3ff19e5e92b964ab
208 .quad 0x3fc77c2d2a765f9e, 0x3ff19318bae53a04
209 .quad 0x3fc895010fdbdbfd, 0x3ff1874ddcdfce24
210 .quad 0x3fc9ad142662e14d, 0x3ff17aff0e56ec10
211 .quad 0x3fcac45e37fe2526, 0x3ff16e2d7093cd8c
212 .quad 0x3fcbdad72110a648, 0x3ff160da304ed92f
213 .quad 0x3fccf076d1233237, 0x3ff153068581b781
214 .quad 0x3fce05354b96ff36, 0x3ff144b3b337c90c
215 .quad 0x3fcf190aa85540e2, 0x3ff135e3075d076b
216 .quad 0x3fd015f78a3dcf3d, 0x3ff12695da8b5bde
217 .quad 0x3fd09eed6982b948, 0x3ff116cd8fd67618
218 .quad 0x3fd127631eb8de32, 0x3ff1068b94962e5e
219 .quad 0x3fd1af54e232d609, 0x3ff0f5d1602f7e41
220 .quad 0x3fd236bef825d9a2, 0x3ff0e4a073dc1b91
221 .quad 0x3fd2bd9db0f7827f, 0x3ff0d2fa5a70c168
222 .quad 0x3fd343ed6989b7d9, 0x3ff0c0e0a8223359
223 .quad 0x3fd3c9aa8b84beda, 0x3ff0ae54fa490723
224 .quad 0x3fd44ed18d9f6462, 0x3ff09b58f724416b
225 .quad 0x3fd4d35ef3e5372e, 0x3ff087ee4d9ad247
226 .quad 0x3fd5574f4ffac98e, 0x3ff07416b4fbfe7c
227 .quad 0x3fd5da9f415ff23f, 0x3ff05fd3ecbec298
228 .quad 0x3fd65d4b75b00471, 0x3ff04b27bc403d30
229 .quad 0x3fd6df50a8dff772, 0x3ff03613f2812daf
230 .quad 0x3fd760aba57a76bf, 0x3ff0209a65e29545
231 .quad 0x3fd7e15944d9d3e4, 0x3ff00abcf3e187a9
232 .quad 0x3fd861566f5fd3c0, 0x3fefe8fb01a47307
233 .quad 0x3fd8e0a01cab516b, 0x3fefbbbbef34b4b2
234 .quad 0x3fd95f3353cbb146, 0x3fef8dc092d58ff8
235 .quad 0x3fd9dd0d2b721f39, 0x3fef5f0cdaf15313
236 .quad 0x3fda5a2aca209394, 0x3fef2fa4c16c0019
237 .quad 0x3fdad68966569a87, 0x3feeff8c4b1375db
238 .quad 0x3fdb522646bbda68, 0x3feecec7870ebca8
239 .quad 0x3fdbccfec24855b8, 0x3fee9d5a8e4c934e
240 .quad 0x3fdc4710406a65fc, 0x3fee6b4982f158b9
241 .quad 0x3fdcc058392a6d2d, 0x3fee38988fc46e72
242 .quad 0x3fdd38d4354c3bd0, 0x3fee054be79d3042
243 .quad 0x3fddb081ce6e2a48, 0x3fedd167c4cf9d2a
244 .quad 0x3fde275eaf25e458, 0x3fed9cf06898cdaf
245 .quad 0x3fde9d68931ae650, 0x3fed67ea1a8b5368
246 .quad 0x3fdf129d471eabb1, 0x3fed325927fb9d89
247 .quad 0x3fdf86faa9428f9d, 0x3fecfc41e36c7df9
248 .quad 0x3fdffa7ea8eb5fd0, 0x3fecc5a8a3fbea40
249 .quad 0x3fe03693a371519c, 0x3fec8e91c4d01368
250 .quad 0x3fe06f794ab2cae7, 0x3fec5701a484ef9d
251 .quad 0x3fe0a7ef5c18edd2, 0x3fec1efca49a5011
252 .quad 0x3fe0dff4f247f6c6, 0x3febe68728e29d5e
253 .quad 0x3fe1178930ada115, 0x3febada596f25436
254 .quad 0x3fe14eab43841b55, 0x3feb745c55905bf8
255 .quad 0x3fe1855a5fd3dd50, 0x3feb3aafcc27502e
256 .quad 0x3fe1bb95c3746199, 0x3feb00a46237d5be
257 .quad 0x3fe1f15cb50bc4de, 0x3feac63e7ecc1411
258 .quad 0x3fe226ae840d4d70, 0x3fea8b8287ec6a09
259 .quad 0x3fe25b8a88b6dd7f, 0x3fea5074e2157620
260 .quad 0x3fe28ff0240d52cd, 0x3fea1519efaf889e
261 .quad 0x3fe2c3debfd7d6c1, 0x3fe9d97610879642
262 .quad 0x3fe2f755ce9a21f4, 0x3fe99d8da149c13f
263 .quad 0x3fe32a54cb8db67b, 0x3fe96164fafd8de3
264 .quad 0x3fe35cdb3a9a144d, 0x3fe925007283d7aa
265 .quad 0x3fe38ee8a84beb71, 0x3fe8e86458169af8
266 .quad 0x3fe3c07ca9cb4f9e, 0x3fe8ab94f6caa71d
267 .quad 0x3fe3f196dcd0f135, 0x3fe86e9694134b9e
268 .quad 0x3fe42236e79a5fa6, 0x3fe8316d6f48133d
269 .quad 0x3fe4525c78dd5966, 0x3fe7f41dc12c9e89
270 .quad 0x3fe4820747ba2dc2, 0x3fe7b6abbb7aaf19
271 .quad 0x3fe4b13713ad3513, 0x3fe7791b886e7403
272 .quad 0x3fe4dfeba47f63cc, 0x3fe73b714a552763
273 .quad 0x3fe50e24ca35fd2c, 0x3fe6fdb11b1e0c34
274 .quad 0x3fe53be25d016a4f, 0x3fe6bfdf0beddaf5
275 .quad 0x3fe569243d2b3a9b, 0x3fe681ff24b4ab04
276 .quad 0x3fe595ea53035283, 0x3fe6441563c665d4
277 .quad 0x3fe5c2348ecc4dc3, 0x3fe60625bd75d07b
278 .quad 0x3fe5ee02e8a71a53, 0x3fe5c8341bb23767
279 .quad 0x3fe61955607dd15d, 0x3fe58a445da7c74c
280 .quad 0x3fe6442bfdedd397, 0x3fe54c5a57629db0
281 .quad 0x3fe66e86d0312e82, 0x3fe50e79d1749ac9
282 .quad 0x3fe69865ee075011, 0x3fe4d0a6889dfd9f
283 .quad 0x3fe6c1c9759d0e5f, 0x3fe492e42d78d2c5
284 .quad 0x3fe6eab18c74091b, 0x3fe4553664273d24
285 .quad 0x3fe7131e5f496a5a, 0x3fe417a0c4049fd0
286 .quad 0x3fe73b1021fc0cb8, 0x3fe3da26d759aef5
287 .quad 0x3fe762870f720c6f, 0x3fe39ccc1b136d5a
288 .quad 0x3fe78983697dc96f, 0x3fe35f93fe7d1b3d
289 .quad 0x3fe7b00578c26037, 0x3fe32281e2fd1a92
290 .quad 0x3fe7d60d8c979f7b, 0x3fe2e5991bd4cbfc
291 .quad 0x3fe7fb9bfaed8078, 0x3fe2a8dcede3673b
292 .quad 0x3fe820b1202f27fb, 0x3fe26c508f6bd0ff
293 .quad 0x3fe8454d5f25760d, 0x3fe22ff727dd6f7b
294 .quad 0x3fe8697120d92a4a, 0x3fe1f3d3cf9ffe5a
295 .quad 0x3fe88d1cd474a2e0, 0x3fe1b7e98fe26217
296 .quad 0x3fe8b050ef253c37, 0x3fe17c3b626c7a12
297 .quad 0x3fe8d30debfc572e, 0x3fe140cc3173f007
298 .quad 0x3fe8f5544bd00c04, 0x3fe1059ed7740313
299 .quad 0x3fe91724951b8fc6, 0x3fe0cab61f084b93
300 .quad 0x3fe9387f53df5238, 0x3fe09014c2ca74da
301 .quad 0x3fe959651980da31, 0x3fe055bd6d32e8d7
302 .quad 0x3fe979d67caa6631, 0x3fe01bb2b87c6968
303 .quad 0x3fe999d4192a5715, 0x3fdfc3ee5d1524b0
304 .quad 0x3fe9b95e8fd26aba, 0x3fdf511a91a67d2a
305 .quad 0x3fe9d8768656cc42, 0x3fdedeeee0959518
306 .quad 0x3fe9f71ca72cffb6, 0x3fde6d6ffaa65a25
307 .quad 0x3fea1551a16aaeaf, 0x3fddfca26f5bbf88
308 .quad 0x3fea331628a45b92, 0x3fdd8c8aace11e63
309 .quad 0x3fea506af4cc00f4, 0x3fdd1d2cfff91594
310 .quad 0x3fea6d50c20fa293, 0x3fdcae8d93f1d7b7
311 .quad 0x3fea89c850b7d54d, 0x3fdc40b0729ed548
312 .quad 0x3feaa5d265064366, 0x3fdbd3998457afdb
313 .quad 0x3feac16fc7143263, 0x3fdb674c8ffc6283
314 .quad 0x3feadca142b10f98, 0x3fdafbcd3afe8ab6
315 .quad 0x3feaf767a741088b, 0x3fda911f096fbc26
316 .quad 0x3feb11c3c79bb424, 0x3fda27455e14c93c
317 .quad 0x3feb2bb679ead19c, 0x3fd9be437a7de946
318 .quad 0x3feb4540978921ee, 0x3fd9561c7f23a47b
319 .quad 0x3feb5e62fce16095, 0x3fd8eed36b886d93
320 .quad 0x3feb771e894d602e, 0x3fd8886b1e5ecfd1
321 .quad 0x3feb8f741ef54f83, 0x3fd822e655b417e7
322 .quad 0x3feba764a2af2b78, 0x3fd7be47af1f5d89
323 .quad 0x3febbef0fbde6221, 0x3fd75a91a7f4d2ed
324 .quad 0x3febd61a1453ab44, 0x3fd6f7c69d7d3ef8
325 .quad 0x3febece0d82d1a5c, 0x3fd695e8cd31867e
326 .quad 0x3fec034635b66e23, 0x3fd634fa54fa285f
327 .quad 0x3fec194b1d49a184, 0x3fd5d4fd33729015
328 .quad 0x3fec2ef0812fc1bd, 0x3fd575f3483021c3
329 .quad 0x3fec443755820d64, 0x3fd517de540ce2a3
330 .quad 0x3fec5920900b5fd1, 0x3fd4babff975a04c
331 .quad 0x3fec6dad2829ec62, 0x3fd45e99bcbb7915
332 .quad 0x3fec81de16b14cef, 0x3fd4036d0468a7a2
333 .quad 0x3fec95b455cce69d, 0x3fd3a93b1998736c
334 .quad 0x3feca930e0e2a825, 0x3fd35005285227f1
335 .quad 0x3fecbc54b476248d, 0x3fd2f7cc3fe6f423
336 .quad 0x3feccf20ce0c0d27, 0x3fd2a09153529381
337 .quad 0x3fece1962c0e0d8b, 0x3fd24a55399ea239
338 .quad 0x3fecf3b5cdaf0c39, 0x3fd1f518ae487dc8
339 .quad 0x3fed0580b2cfd249, 0x3fd1a0dc51a9934d
340 .quad 0x3fed16f7dbe41ca0, 0x3fd14da0a961fd14
341 .quad 0x3fed281c49d818d0, 0x3fd0fb6620c550af
342 .quad 0x3fed38eefdf64fdd, 0x3fd0aa2d09497f2b
343 .quad 0x3fed4970f9ce00d9, 0x3fd059f59af7a906
344 .quad 0x3fed59a33f19ed42, 0x3fd00abff4dec7a3
345 .quad 0x3fed6986cfa798e7, 0x3fcf79183b101c5b
346 .quad 0x3fed791cad3eff01, 0x3fcedeb406d9c825
347 .quad 0x3fed8865d98abe01, 0x3fce4652fadcb6b2
348 .quad 0x3fed97635600bb89, 0x3fcdaff4969c0b04
349 .quad 0x3feda61623cb41e0, 0x3fcd1b982c501370
350 .quad 0x3fedb47f43b2980d, 0x3fcc893ce1dcbef7
351 .quad 0x3fedc29fb60715af, 0x3fcbf8e1b1ca2279
352 .quad 0x3fedd0787a8bb39d, 0x3fcb6a856c3ed54f
353 .quad 0x3fedde0a90611a0d, 0x3fcade26b7fbed95
354 .quad 0x3fedeb56f5f12d28, 0x3fca53c4135a6526
355 .quad 0x3fedf85ea8db188e, 0x3fc9cb5bd549b111
356 .quad 0x3fee0522a5dfda73, 0x3fc944ec2e4f5630
357 .quad 0x3fee11a3e8cf4eb8, 0x3fc8c07329874652
358 .quad 0x3fee1de36c75ba58, 0x3fc83deeada4d25a
359 .quad 0x3fee29e22a89d766, 0x3fc7bd5c7df3fe9c
360 .quad 0x3fee35a11b9b61ce, 0x3fc73eba3b5b07b7
361 .quad 0x3fee4121370224cc, 0x3fc6c205655be720
362 .quad 0x3fee4c6372cd8927, 0x3fc6473b5b15a7a1
363 .quad 0x3fee5768c3b4a3fc, 0x3fc5ce595c455b0a
364 .quad 0x3fee62321d06c5e0, 0x3fc5575c8a468362
365 .quad 0x3fee6cc0709c8a0d, 0x3fc4e241e912c305
366 .quad 0x3fee7714aec96534, 0x3fc46f066040a832
367 .quad 0x3fee812fc64db369, 0x3fc3fda6bc016994
368 .quad 0x3fee8b12a44944a8, 0x3fc38e1fae1d6a9d
369 .quad 0x3fee94be342e6743, 0x3fc3206dceef5f87
370 .quad 0x3fee9e335fb56f87, 0x3fc2b48d9e5dea1c
371 .quad 0x3feea7730ed0bbb9, 0x3fc24a7b84d38971
372 .quad 0x3feeb07e27a133aa, 0x3fc1e233d434b813
373 .quad 0x3feeb9558e6b42ce, 0x3fc17bb2c8d41535
374 .quad 0x3feec1fa258c4bea, 0x3fc116f48a6476cc
375 .quad 0x3feeca6ccd709544, 0x3fc0b3f52ce8c383
376 .quad 0x3feed2ae6489ac1e, 0x3fc052b0b1a174ea
377 .quad 0x3feedabfc7453e63, 0x3fbfe6460fef4680
378 .quad 0x3feee2a1d004692c, 0x3fbf2a901ccafb37
379 .quad 0x3feeea5557137ae0, 0x3fbe723726b824a9
380 .quad 0x3feef1db32a2277c, 0x3fbdbd32ac4c99b0
381 .quad 0x3feef93436bc2daa, 0x3fbd0b7a0f921e7c
382 .quad 0x3fef006135426b26, 0x3fbc5d0497c09e74
383 .quad 0x3fef0762fde45ee6, 0x3fbbb1c972f23e50
384 .quad 0x3fef0e3a5e1a1788, 0x3fbb09bfb7d11a84
385 .quad 0x3fef14e8211e8c55, 0x3fba64de673e8837
386 .quad 0x3fef1b6d0fea5f4d, 0x3fb9c31c6df3b1b8
387 .quad 0x3fef21c9f12f0677, 0x3fb92470a61b6965
388 .quad 0x3fef27ff89525acf, 0x3fb888d1d8e510a3
389 .quad 0x3fef2e0e9a6a8b09, 0x3fb7f036c0107294
390 .quad 0x3fef33f7e43a706b, 0x3fb75a96077274ba
391 .quad 0x3fef39bc242e43e6, 0x3fb6c7e64e7281cb
392 .quad 0x3fef3f5c1558b19e, 0x3fb6381e2980956b
393 .quad 0x3fef44d870704911, 0x3fb5ab342383d178
394 .quad 0x3fef4a31ebcd47df, 0x3fb5211ebf41880b
395 .quad 0x3fef4f693b67bd77, 0x3fb499d478bca735
396 .quad 0x3fef547f10d60597, 0x3fb4154bc68d75c3
397 .quad 0x3fef59741b4b97cf, 0x3fb3937b1b31925a
398 .quad 0x3fef5e4907982a07, 0x3fb31458e6542847
399 .quad 0x3fef62fe80272419, 0x3fb297db960e4f63
400 .quad 0x3fef67952cff6282, 0x3fb21df9981f8e53
401 .quad 0x3fef6c0db3c34641, 0x3fb1a6a95b1e786f
402 .quad 0x3fef7068b7b10fd9, 0x3fb131e14fa1625d
403 .quad 0x3fef74a6d9a38383, 0x3fb0bf97e95f2a64
404 .quad 0x3fef78c8b812d498, 0x3fb04fc3a0481321
405 .quad 0x3fef7cceef15d631, 0x3fafc4b5e32d6259
406 .quad 0x3fef80ba18636f07, 0x3faeeea8c1b1db94
407 .quad 0x3fef848acb544e95, 0x3fae1d4cf1e2450a
408 .quad 0x3fef88419ce4e184, 0x3fad508f9a1ea64f
409 .quad 0x3fef8bdf1fb78370, 0x3fac885df3451a07
410 .quad 0x3fef8f63e416ebff, 0x3fabc4a54a84e834
411 .quad 0x3fef92d077f8d56d, 0x3fab055303221015
412 .quad 0x3fef96256700da8e, 0x3faa4a549829587e
413 .quad 0x3fef99633a838a57, 0x3fa993979e14fffe
414 .quad 0x3fef9c8a7989af0d, 0x3fa8e109c4622913
415 .quad 0x3fef9f9ba8d3c733, 0x3fa83298d717210e
416 .quad 0x3fefa2974addae45, 0x3fa78832c03aa2b1
417 .quad 0x3fefa57ddfe27376, 0x3fa6e1c5893c380b
418 .quad 0x3fefa84fe5e05c8d, 0x3fa63f3f5c4de13b
419 .quad 0x3fefab0dd89d1309, 0x3fa5a08e85af27e0
420 .quad 0x3fefadb831a9f9c3, 0x3fa505a174e9c929
421 .quad 0x3fefb04f6868a944, 0x3fa46e66be002240
422 .quad 0x3fefb2d3f20f9101, 0x3fa3dacd1a8d8cce
423 .quad 0x3fefb54641aebbc9, 0x3fa34ac36ad8dafe
424 .quad 0x3fefb7a6c834b5a2, 0x3fa2be38b6d92415
425 .quad 0x3fefb9f5f4739170, 0x3fa2351c2f2d1449
426 .quad 0x3fefbc3433260ca5, 0x3fa1af5d2e04f3f6
427 .quad 0x3fefbe61eef4cf6a, 0x3fa12ceb37ff9bc3
428 .quad 0x3fefc07f907bc794, 0x3fa0adb5fcfa8c75
429 .quad 0x3fefc28d7e4f9cd0, 0x3fa031ad58d56279
430 .quad 0x3fefc48c1d033c7a, 0x3f9f7182a851bca2
431 .quad 0x3fefc67bcf2d7b8f, 0x3f9e85c449e377f3
432 .quad 0x3fefc85cf56ecd38, 0x3f9da0005e5f28df
433 .quad 0x3fefca2fee770c79, 0x3f9cc0180af00a8b
434 .quad 0x3fefcbf5170b578b, 0x3f9be5ecd2fcb5f9
435 .quad 0x3fefcdacca0bfb73, 0x3f9b1160991ff737
436 .quad 0x3fefcf57607a6e7c, 0x3f9a4255a00b9f03
437 .quad 0x3fefd0f5317f582f, 0x3f9978ae8b55ce1b
438 .quad 0x3fefd2869270a56f, 0x3f98b44e6031383e
439 .quad 0x3fefd40bd6d7a785, 0x3f97f5188610ddc8
440 .quad 0x3fefd58550773cb5, 0x3f973af0c737bb45
441 .quad 0x3fefd6f34f52013a, 0x3f9685bb5134ef13
442 .quad 0x3fefd85621b0876d, 0x3f95d55cb54cd53a
443 .quad 0x3fefd9ae142795e3, 0x3f9529b9e8cf9a1e
444 .quad 0x3fefdafb719e6a69, 0x3f9482b8455dc491
445 .quad 0x3fefdc3e835500b3, 0x3f93e03d891b37de
446 .quad 0x3fefdd7790ea5bc0, 0x3f93422fd6d12e2b
447 .quad 0x3fefdea6e062d0c9, 0x3f92a875b5ffab56
448 .quad 0x3fefdfccb62e52d3, 0x3f9212f612dee7fb
449 .quad 0x3fefe0e9552ebdd6, 0x3f9181983e5133dd
450 .quad 0x3fefe1fcfebe2083, 0x3f90f443edc5ce49
451 .quad 0x3fefe307f2b503d0, 0x3f906ae13b0d3255
452 .quad 0x3fefe40a6f70af4b, 0x3f8fcab1483ea7fc
453 .quad 0x3fefe504b1d9696c, 0x3f8ec72615a894c4
454 .quad 0x3fefe5f6f568b301, 0x3f8dcaf3691fc448
455 .quad 0x3fefe6e1742f7cf6, 0x3f8cd5ec93c12432
456 .quad 0x3fefe7c466dc57a1, 0x3f8be7e5ac24963b
457 .quad 0x3fefe8a004c19ae6, 0x3f8b00b38d6b3575
458 .quad 0x3fefe97483db8670, 0x3f8a202bd6372dce
459 .quad 0x3fefea4218d6594a, 0x3f894624e78e0faf
460 .quad 0x3fefeb08f7146046, 0x3f887275e3a6869e
461 .quad 0x3fefebc950b3fa75, 0x3f87a4f6aca256cb
462 .quad 0x3fefec835695932e, 0x3f86dd7fe3358230
463 .quad 0x3fefed37386190fb, 0x3f861beae53b72b7
464 .quad 0x3fefede5248e38f4, 0x3f856011cc3b036d
465 .quad 0x3fefee8d486585ee, 0x3f84a9cf6bda3f4c
466 .quad 0x3fefef2fd00af31a, 0x3f83f8ff5042a88e
467 .quad 0x3fefefcce6813974, 0x3f834d7dbc76d7e5
468 .quad 0x3feff064b5afffbe, 0x3f82a727a89a3f14
469 .quad 0x3feff0f766697c76, 0x3f8205dac02bd6b9
470 .quad 0x3feff18520700971, 0x3f81697560347b26
471 .quad 0x3feff20e0a7ba8c2, 0x3f80d1d69569b82d
472 .quad 0x3feff2924a3f7a83, 0x3f803ede1a45bfee
473 .quad 0x3feff312046f2339, 0x3f7f60d8aa2a88f2
474 .quad 0x3feff38d5cc4227f, 0x3f7e4cc4abf7d065
475 .quad 0x3feff404760319b4, 0x3f7d4143a9dfe965
476 .quad 0x3feff47772010262, 0x3f7c3e1a5f5c077c
477 .quad 0x3feff4e671a85425, 0x3f7b430ecf4a83a8
478 .quad 0x3feff55194fe19df, 0x3f7a4fe83fb9db25
479 .quad 0x3feff5b8fb26f5f6, 0x3f79646f35a76624
480 .quad 0x3feff61cc26c1578, 0x3f78806d70b2fc36
481 .quad 0x3feff67d08401202, 0x3f77a3ade6c8b3e5
482 .quad 0x3feff6d9e943c231, 0x3f76cdfcbfc1e263
483 .quad 0x3feff733814af88c, 0x3f75ff2750fe7820
484 .quad 0x3feff789eb6130c9, 0x3f7536fc18f7ce5c
485 .quad 0x3feff7dd41ce2b4d, 0x3f74754abacdf1dc
486 .quad 0x3feff82d9e1a76d8, 0x3f73b9e3f9d06e3f
487 .quad 0x3feff87b1913e853, 0x3f730499b503957f
488 .quad 0x3feff8c5cad200a5, 0x3f72553ee2a336bf
489 .quad 0x3feff90dcaba4096, 0x3f71aba78ba3af89
490 .quad 0x3feff9532f846ab0, 0x3f7107a8c7323a6e
491 .quad 0x3feff9960f3eb327, 0x3f706918b6355624
492 .quad 0x3feff9d67f51ddba, 0x3f6f9f9cfd9c3035
493 .quad 0x3feffa14948549a7, 0x3f6e77448fb66bb9
494 .quad 0x3feffa506302ebae, 0x3f6d58da68fd1170
495 .quad 0x3feffa89fe5b3625, 0x3f6c4412bf4b8f0b
496 .quad 0x3feffac17988ef4b, 0x3f6b38a3af2e55b4
497 .quad 0x3feffaf6e6f4f5c0, 0x3f6a3645330550ff
498 .quad 0x3feffb2a5879f35e, 0x3f693cb11a30d765
499 .quad 0x3feffb5bdf67fe6f, 0x3f684ba3004a50d0
500 .quad 0x3feffb8b8c88295f, 0x3f6762d84469c18f
501 .quad 0x3feffbb970200110, 0x3f66821000795a03
502 .quad 0x3feffbe599f4f9d9, 0x3f65a90b00981d93
503 .quad 0x3feffc10194fcb64, 0x3f64d78bba8ca5fd
504 .quad 0x3feffc38fcffbb7c, 0x3f640d564548fad7
505 .quad 0x3feffc60535dd7f5, 0x3f634a305080681f
506 .quad 0x3feffc862a501fd7, 0x3f628de11c5031eb
507 .quad 0x3feffcaa8f4c9bea, 0x3f61d83170fbf6fb
508 .quad 0x3feffccd8f5c66d1, 0x3f6128eb96be8798
509 .quad 0x3feffcef371ea4d7, 0x3f607fdb4dafea5f
510 .quad 0x3feffd0f92cb6ba7, 0x3f5fb99b8b8279e1
511 .quad 0x3feffd2eae369a07, 0x3f5e7f232d9e2630
512 .quad 0x3feffd4c94d29fdb, 0x3f5d4fed7195d7e8
513 .quad 0x3feffd6951b33686, 0x3f5c2b9cf7f893bf
514 .quad 0x3feffd84ef9009ee, 0x3f5b11d702b3deb2
515 .quad 0x3feffd9f78c7524a, 0x3f5a024365f771bd
516 .quad 0x3feffdb8f7605ee7, 0x3f58fc8c794b03b5
517 .quad 0x3feffdd1750e1220, 0x3f58005f08d6f1ef
518 .quad 0x3feffde8fb314ebf, 0x3f570d6a46e07dda
519 .quad 0x3feffdff92db56e5, 0x3f56235fbd7a4345
520 .quad 0x3feffe1544d01ccb, 0x3f5541f340697987
521 .quad 0x3feffe2a1988857c, 0x3f5468dadf4080ab
522 .quad 0x3feffe3e19349dc7, 0x3f5397ced7af2b15
523 .quad 0x3feffe514bbdc197, 0x3f52ce898809244e
524 .quad 0x3feffe63b8c8b5f7, 0x3f520cc76202c5fb
525 .quad 0x3feffe7567b7b5e1, 0x3f515246dda49d47
526 .quad 0x3feffe865fac722b, 0x3f509ec86c75d497
527 .quad 0x3feffe96a78a04a9, 0x3f4fe41cd9bb4eee
528 .quad 0x3feffea645f6d6da, 0x3f4e97ba3b77f306
529 .quad 0x3feffeb5415e7c44, 0x3f4d57f524723822
530 .quad 0x3feffec39ff380b9, 0x3f4c245d4b99847a
531 .quad 0x3feffed167b12ac2, 0x3f4afc85e0f82e12
532 .quad 0x3feffede9e5d3262, 0x3f49e005769dbc1d
533 .quad 0x3feffeeb49896c6d, 0x3f48ce75e9f6f8a0
534 .quad 0x3feffef76e956a9f, 0x3f47c7744d9378f7
535 .quad 0x3fefff0312b010b5, 0x3f46caa0d3582fe9
536 .quad 0x3fefff0e3ad91ec2, 0x3f45d79eb71e893b
537 .quad 0x3fefff18ebe2b0e1, 0x3f44ee1429bf7cc0
538 .quad 0x3fefff232a72b48e, 0x3f440daa3c89f5b6
539 .quad 0x3fefff2cfb0453d9, 0x3f43360ccd23db3a
540 .quad 0x3fefff3661e9569d, 0x3f4266ea71d4f71a
541 .quad 0x3fefff3f634b79f9, 0x3f419ff4663ae9df
542 .quad 0x3fefff48032dbe40, 0x3f40e0de78654d1e
543 .quad 0x3fefff50456dab8c, 0x3f40295ef6591848
544 .quad 0x3fefff582dc48d30, 0x3f3ef25d37f49fe1
545 .quad 0x3fefff5fbfc8a439, 0x3f3da01102b5f851
546 .quad 0x3fefff66feee5129, 0x3f3c5b5412dcafad
547 .quad 0x3fefff6dee89352e, 0x3f3b23a5a23e4210
548 .quad 0x3fefff7491cd4af6, 0x3f39f8893d8fd1c1
549 .quad 0x3fefff7aebcff755, 0x3f38d986a4187285
550 .quad 0x3fefff80ff8911fd, 0x3f37c629a822bc9e
551 .quad 0x3fefff86cfd3e657, 0x3f36be02102b3520
552 .quad 0x3fefff8c5f702ccf, 0x3f35c0a378c90bca
553 .quad 0x3fefff91b102fca8, 0x3f34cda5374ea275
554 .quad 0x3fefff96c717b695, 0x3f33e4a23d1f4703
555 .quad 0x3fefff9ba420e834, 0x3f330538fbb77ecd
556 .quad 0x3fefffa04a7928b1, 0x3f322f0b496539be
557 .quad 0x3fefffa4bc63ee9a, 0x3f3161be46ad3b50
558 .quad 0x3fefffa8fc0e5f33, 0x3f309cfa445b00ff
559 .quad 0x3fefffad0b901755, 0x3f2fc0d55470cf51
560 .quad 0x3fefffb0ecebee1b, 0x3f2e577bbcd49935
561 .quad 0x3fefffb4a210b172, 0x3f2cfd4a5adec5c0
562 .quad 0x3fefffb82cd9dcbf, 0x3f2bb1a9657ce465
563 .quad 0x3fefffbb8f1049c6, 0x3f2a740684026555
564 .quad 0x3fefffbeca6adbe9, 0x3f2943d4a1d1ed39
565 .quad 0x3fefffc1e08f25f5, 0x3f28208bc334a6a5
566 .quad 0x3fefffc4d3120aa1, 0x3f2709a8db59f25c
567 .quad 0x3fefffc7a37857d2, 0x3f25feada379d8b7
568 .quad 0x3fefffca53375ce3, 0x3f24ff207314a102
569 .quad 0x3fefffcce3b57bff, 0x3f240a8c1949f75e
570 .quad 0x3fefffcf564ab6b7, 0x3f23207fb7420eb9
571 .quad 0x3fefffd1ac4135f9, 0x3f22408e9ba3327f
572 .quad 0x3fefffd3e6d5cd87, 0x3f216a501f0e42ca
573 .quad 0x3fefffd607387b07, 0x3f209d5f819c9e29
574 .quad 0x3fefffd80e8ce0da, 0x3f1fb2b792b40a22
575 .quad 0x3fefffd9fdeabcce, 0x3f1e3bcf436a1a95
576 .quad 0x3fefffdbd65e5ad0, 0x3f1cd55277c18d05
577 .quad 0x3fefffdd98e903b2, 0x3f1b7e94604479dc
578 .quad 0x3fefffdf46816833, 0x3f1a36eec00926dd
579 .quad 0x3fefffe0e0140857, 0x3f18fdc1b2dcf7b9
580 .quad 0x3fefffe26683972a, 0x3f17d2737527c3f9
581 .quad 0x3fefffe3daa95b18, 0x3f16b4702d7d5849
582 .quad 0x3fefffe53d558ae9, 0x3f15a329b7d30748
583 .quad 0x3fefffe68f4fa777, 0x3f149e17724f4d41
584 .quad 0x3fefffe7d156d244, 0x3f13a4b60ba9aa4e
585 .quad 0x3fefffe904222101, 0x3f12b6875310f785
586 .quad 0x3fefffea2860ee1e, 0x3f11d312098e9dba
587 .quad 0x3fefffeb3ebb267b, 0x3f10f9e1b4dd36df
588 .quad 0x3fefffec47d19457, 0x3f102a8673a94692
589 .quad 0x3fefffed443e2787, 0x3f0ec929a665b449
590 .quad 0x3fefffee34943b15, 0x3f0d4f4b4c8e09ed
591 .quad 0x3fefffef1960d85d, 0x3f0be6abbb10a5aa
592 .quad 0x3fefffeff32af7af, 0x3f0a8e8cc1fadef6
593 .quad 0x3feffff0c273bea2, 0x3f094637d5bacfdb
594 .quad 0x3feffff187b6bc0e, 0x3f080cfdc72220cf
595 .quad 0x3feffff2436a21dc, 0x3f06e2367dc27f95
596 .quad 0x3feffff2f5fefcaa, 0x3f05c540b4936fd2
597 .quad 0x3feffff39fe16963, 0x3f04b581b8d170fc
598 .quad 0x3feffff44178c8d2, 0x3f03b2652b06c2b2
599 .quad 0x3feffff4db27f146, 0x3f02bb5cc22e5db6
600 .quad 0x3feffff56d4d5e5e, 0x3f01cfe010e2052d
601 .quad 0x3feffff5f8435efc, 0x3f00ef6c4c84a0fe
602 .quad 0x3feffff67c604180, 0x3f001984165a5f36
603 .quad 0x3feffff6f9f67e55, 0x3efe9b5e8d00ce77
604 .quad 0x3feffff77154e0d6, 0x3efd16f5716c6c1a
605 .quad 0x3feffff7e2c6aea2, 0x3efba4f035d60e03
606 .quad 0x3feffff84e93cd75, 0x3efa447b7b03f045
607 .quad 0x3feffff8b500e77c, 0x3ef8f4ccca7fc90d
608 .quad 0x3feffff9164f8e46, 0x3ef7b5223dac7336
609 .quad 0x3feffff972be5c59, 0x3ef684c227fcacef
610 .quad 0x3feffff9ca891572, 0x3ef562fac4329b48
611 .quad 0x3feffffa1de8c582, 0x3ef44f21e49054f2
612 .quad 0x3feffffa6d13de73, 0x3ef34894a5e24657
613 .quad 0x3feffffab83e54b8, 0x3ef24eb7254ccf83
614 .quad 0x3feffffaff99bac4, 0x3ef160f438c70913
615 .quad 0x3feffffb43555b5f, 0x3ef07ebd2a2d2844
616 .quad 0x3feffffb839e52f3, 0x3eef4f12e9ab070a
617 .quad 0x3feffffbc09fa7cd, 0x3eedb5ad0b27805c
618 .quad 0x3feffffbfa82616b, 0x3eec304efa2c6f4e
619 .quad 0x3feffffc316d9ed0, 0x3eeabe09e9144b5e
620 .quad 0x3feffffc6586abf6, 0x3ee95df988e76644
621 .quad 0x3feffffc96f1165e, 0x3ee80f439b4ee04b
622 .quad 0x3feffffcc5cec0c1, 0x3ee6d11788a69c64
623 .quad 0x3feffffcf23ff5fc, 0x3ee5a2adfa0b4bc4
624 .quad 0x3feffffd1c637b2b, 0x3ee4834877429b8f
625 .quad 0x3feffffd4456a10d, 0x3ee37231085c7d9a
626 .quad 0x3feffffd6a3554a1, 0x3ee26eb9daed6f7e
627 .quad 0x3feffffd8e1a2f22, 0x3ee1783ceac28910
628 .quad 0x3feffffdb01e8546, 0x3ee08e1badf0fced
629 .quad 0x3feffffdd05a75ea, 0x3edf5f7d88472604
630 .quad 0x3feffffdeee4f810, 0x3eddb92b5212fb8d
631 .quad 0x3feffffe0bd3e852, 0x3edc282cd3957eda
632 .quad 0x3feffffe273c15b7, 0x3edaab7abace48dc
633 .quad 0x3feffffe41314e06, 0x3ed94219bfcb4928
634 .quad 0x3feffffe59c6698b, 0x3ed7eb1a2075864e
635 .quad 0x3feffffe710d565e, 0x3ed6a597219a93da
636 .quad 0x3feffffe8717232d, 0x3ed570b69502f313
637 .quad 0x3feffffe9bf4098c, 0x3ed44ba864670882
638 .quad 0x3feffffeafb377d5, 0x3ed335a62115bce2
639 .quad 0x3feffffec2641a9e, 0x3ed22df298214423
640 .quad 0x3feffffed413e5b7, 0x3ed133d96ae7e0dd
641 .quad 0x3feffffee4d01cd6, 0x3ed046aeabcfcdec
642 .quad 0x3feffffef4a55bd4, 0x3ececb9cfe1d8642
643 .quad 0x3fefffff039f9e8f, 0x3ecd21397ead99cb
644 .quad 0x3fefffff11ca4876, 0x3ecb8d094c86d374
645 .quad 0x3fefffff1f302bc1, 0x3eca0df0f0c626dc
646 .quad 0x3fefffff2bdb904d, 0x3ec8a2e269750a39
647 .quad 0x3fefffff37d63a36, 0x3ec74adc8f4064d3
648 .quad 0x3fefffff43297019, 0x3ec604ea819f007c
649 .quad 0x3fefffff4dde0118, 0x3ec4d0231928c6f9
650 .quad 0x3fefffff57fc4a95, 0x3ec3aba85fe22e20
651 .quad 0x3fefffff618c3da6, 0x3ec296a70f414053
652 .quad 0x3fefffff6a956450, 0x3ec1905613b3abf2
653 .quad 0x3fefffff731ee681, 0x3ec097f6156f32c5
654 .quad 0x3fefffff7b2f8ed6, 0x3ebf59a20caf6695
655 .quad 0x3fefffff82cdcf1b, 0x3ebd9c73698fb1dc
656 .quad 0x3fefffff89ffc4aa, 0x3ebbf716c6168bae
657 .quad 0x3fefffff90cb3c81, 0x3eba6852c6b58392
658 .quad 0x3fefffff9735b73b, 0x3eb8eefd70594a89
659 .quad 0x3fefffff9d446ccc, 0x3eb789fb715aae95
660 .quad 0x3fefffffa2fc5015, 0x3eb6383f726a8e04
661 .quad 0x3fefffffa8621251, 0x3eb4f8c96f26a26a
662 .quad 0x3fefffffad7a2652, 0x3eb3caa61607f920
663 .quad 0x3fefffffb248c39d, 0x3eb2acee2f5ecdb8
664 .quad 0x3fefffffb6d1e95d, 0x3eb19ec60b1242ed
665 .quad 0x3fefffffbb196132, 0x3eb09f5cf4dd2877
666 .quad 0x3fefffffbf22c1e2, 0x3eaf5bd95d8730d8
667 .quad 0x3fefffffc2f171e3, 0x3ead9371e2ff7c35
668 .quad 0x3fefffffc688a9cf, 0x3eabe41de54d155a
669 .quad 0x3fefffffc9eb76ac, 0x3eaa4c89e08ef4f3
670 .quad 0x3fefffffcd1cbc28, 0x3ea8cb738399b12c
671 .quad 0x3fefffffd01f36af, 0x3ea75fa8dbc84bec
672 .quad 0x3fefffffd2f57d68, 0x3ea608078a70dcbc
673 .quad 0x3fefffffd5a2041f, 0x3ea4c37c0394d094
674 .quad 0x3fefffffd8271d12, 0x3ea39100d5687bfe
675 .quad 0x3fefffffda86faa9, 0x3ea26f9df8519bd7
676 .quad 0x3fefffffdcc3b117, 0x3ea15e6827001f18
677 .quad 0x3fefffffdedf37ed, 0x3ea05c803e4831c1
678 .quad 0x3fefffffe0db6b91, 0x3e9ed22548cffd35
679 .quad 0x3fefffffe2ba0ea5, 0x3e9d06ad6ecdf971
680 .quad 0x3fefffffe47ccb60, 0x3e9b551c847fbc96
681 .quad 0x3fefffffe62534d4, 0x3e99bc09f112b494
682 .quad 0x3fefffffe7b4c81e, 0x3e983a1ff0aa239d
683 .quad 0x3fefffffe92ced93, 0x3e96ce1aa3fd7bdd
684 .quad 0x3fefffffea8ef9cf, 0x3e9576c72b514859
685 .quad 0x3fefffffebdc2ec6, 0x3e943302cc4a0da8
686 .quad 0x3fefffffed15bcba, 0x3e9301ba221dc9bb
687 .quad 0x3fefffffee3cc32c, 0x3e91e1e857adc568
688 .quad 0x3fefffffef5251c2, 0x3e90d2966b1746f7
689 .quad 0x3feffffff0576917, 0x3e8fa5b4f49cc6b2
690 .quad 0x3feffffff14cfb92, 0x3e8dc3ae30b55c16
691 .quad 0x3feffffff233ee1d, 0x3e8bfd7555a3bd68
692 .quad 0x3feffffff30d18e8, 0x3e8a517d9e61628a
693 .quad 0x3feffffff3d9480f, 0x3e88be4f8f6c951f
694 .quad 0x3feffffff4993c46, 0x3e874287ded49339
695 .quad 0x3feffffff54dab72, 0x3e85dcd669f2cd34
696 .quad 0x3feffffff5f74141, 0x3e848bfd38302871
697 .quad 0x3feffffff6969fb8, 0x3e834ecf8a3c124a
698 .quad 0x3feffffff72c5fb6, 0x3e822430f521cbcf
699 .quad 0x3feffffff7b91176, 0x3e810b1488aeb235
700 .quad 0x3feffffff83d3d07, 0x3e80027c00a263a6
701 .quad 0x3feffffff8b962be, 0x3e7e12ee004efc37
702 .quad 0x3feffffff92dfba2, 0x3e7c3e44ae32b16b
703 .quad 0x3feffffff99b79d2, 0x3e7a854ea14102a8
704 .quad 0x3feffffffa0248e8, 0x3e78e6761569f45d
705 .quad 0x3feffffffa62ce54, 0x3e77603bac345f65
706 .quad 0x3feffffffabd69b4, 0x3e75f1353cdad001
707 .quad 0x3feffffffb127525, 0x3e74980cb3c80949
708 .quad 0x3feffffffb624592, 0x3e73537f00b6ad4d
709 .quad 0x3feffffffbad2aff, 0x3e72225b12bffc68
710 .quad 0x3feffffffbf370cd, 0x3e710380e1adb7e9
711 .quad 0x3feffffffc355dfd, 0x3e6febc107d5efaa
712 .quad 0x3feffffffc733572, 0x3e6df0f2a0ee6947
713 .quad 0x3feffffffcad3626, 0x3e6c14b2188bcee4
714 .quad 0x3feffffffce39b67, 0x3e6a553644f7f07d
715 .quad 0x3feffffffd169d0c, 0x3e68b0cfce0579e0
716 .quad 0x3feffffffd466fa5, 0x3e6725e7c5dd20f7
717 .quad 0x3feffffffd7344aa, 0x3e65b2fe547a1340
718 .quad 0x3feffffffd9d4aab, 0x3e6456a974e92e93
719 .quad 0x3feffffffdc4ad7a, 0x3e630f93c3699078
720 .quad 0x3feffffffde9964e, 0x3e61dc7b5b978cf8
721 .quad 0x3feffffffe0c2bf0, 0x3e60bc30c5d52f15
722 .quad 0x3feffffffe2c92db, 0x3e5f5b2be65a0c7f
723 .quad 0x3feffffffe4aed5e, 0x3e5d5f3a8dea7357
724 .quad 0x3feffffffe675bbd, 0x3e5b82915b03515b
725 .quad 0x3feffffffe81fc4e, 0x3e59c3517e789488
726 .quad 0x3feffffffe9aeb97, 0x3e581fb7df06136e
727 .quad 0x3feffffffeb24467, 0x3e56961b8d641d06
728 .quad 0x3feffffffec81ff2, 0x3e5524ec4d916cae
729 .quad 0x3feffffffedc95e7, 0x3e53cab1343d18d1
730 .quad 0x3feffffffeefbc85, 0x3e52860757487a01
731 .quad 0x3fefffffff01a8b6, 0x3e5155a09065d4f7
732 .quad 0x3fefffffff126e1e, 0x3e50384250e4c9fc
733 .quad 0x3fefffffff221f30, 0x3e4e59890b926c78
734 .quad 0x3fefffffff30cd3f, 0x3e4c642116a8a9e3
735 .quad 0x3fefffffff3e8892, 0x3e4a8e405e651ab6
736 .quad 0x3fefffffff4b606f, 0x3e48d5f98114f872
737 .quad 0x3fefffffff57632d, 0x3e47397c5a66e307
738 .quad 0x3fefffffff629e44, 0x3e45b71456c5a4c4
739 .quad 0x3fefffffff6d1e56, 0x3e444d26de513197
740 .quad 0x3fefffffff76ef3f, 0x3e42fa31d6371537
741 .quad 0x3fefffffff801c1f, 0x3e41bcca373b7b43
742 .quad 0x3fefffffff88af67, 0x3e40939ab853339f
743 .quad 0x3fefffffff90b2e3, 0x3e3efac5187b2863
744 .quad 0x3fefffffff982fc1, 0x3e3cf1e86235d0e7
745 .quad 0x3fefffffff9f2e9f, 0x3e3b0a68a2128bab
746 .quad 0x3fefffffffa5b790, 0x3e39423165bc4444
747 .quad 0x3fefffffffabd229, 0x3e37974e743dea3d
748 .quad 0x3fefffffffb18582, 0x3e3607e9eacd1050
749 .quad 0x3fefffffffb6d844, 0x3e34924a74dec729
750 .quad 0x3fefffffffbbd0aa, 0x3e3334d19e0c2160
751 .quad 0x3fefffffffc0748f, 0x3e31edfa3c5f5cca
752 .quad 0x3fefffffffc4c96c, 0x3e30bc56f1b54701
753 .quad 0x3fefffffffc8d462, 0x3e2f3d2185e047d9
754 .quad 0x3fefffffffcc9a41, 0x3e2d26cb87945e87
755 .quad 0x3fefffffffd01f89, 0x3e2b334fac4b9f99
756 .quad 0x3fefffffffd36871, 0x3e296076f7918d1c
757 .quad 0x3fefffffffd678ed, 0x3e27ac2d72fc2c63
758 .quad 0x3fefffffffd954ae, 0x3e2614801550319e
759 .quad 0x3fefffffffdbff2a, 0x3e24979ac8b28927
760 .quad 0x3fefffffffde7ba0, 0x3e2333c68e2d0548
761 .quad 0x3fefffffffe0cd16, 0x3e21e767bce37dd7
762 .quad 0x3fefffffffe2f664, 0x3e20b0fc5b6d05a0
763 .quad 0x3fefffffffe4fa30, 0x3e1f1e3523b41d7d
764 .quad 0x3fefffffffe6daf7, 0x3e1d00de6608effe
765 .quad 0x3fefffffffe89b0c, 0x3e1b0778b7b3301b
766 .quad 0x3fefffffffea3c9a, 0x3e192fb04ec0f6cf
767 .quad 0x3fefffffffebc1a9, 0x3e177756ec9f78fa
768 .quad 0x3fefffffffed2c21, 0x3e15dc61922d5a06
769 .quad 0x3fefffffffee7dc8, 0x3e145ce65699ff6d
770 .quad 0x3fefffffffefb847, 0x3e12f71a5f159970
771 .quad 0x3feffffffff0dd2b, 0x3e11a94ff571654f
772 .quad 0x3feffffffff1ede9, 0x3e1071f4bbea09ec
773 .quad 0x3feffffffff2ebda, 0x3e0e9f1ff8ddd774
774 .quad 0x3feffffffff3d843, 0x3e0c818223a202c7
775 .quad 0x3feffffffff4b453, 0x3e0a887bd2b4404d
776 .quad 0x3feffffffff58126, 0x3e08b1a336c5eb6b
777 .quad 0x3feffffffff63fc3, 0x3e06fab63324088a
778 .quad 0x3feffffffff6f121, 0x3e056197e30205ba
779 .quad 0x3feffffffff79626, 0x3e03e44e45301b92
780 .quad 0x3feffffffff82fab, 0x3e0281000bfe4c3f
781 .quad 0x3feffffffff8be77, 0x3e0135f28f2d50b4
782 .quad 0x3feffffffff94346, 0x3e000187dded5975
783 .quad 0x3feffffffff9bec8, 0x3dfdc479de0ef001
784 .quad 0x3feffffffffa319f, 0x3dfbad4fdad3caa1
785 .quad 0x3feffffffffa9c63, 0x3df9baed3ed27ab8
786 .quad 0x3feffffffffaffa4, 0x3df7ead9ce4285bb
787 .quad 0x3feffffffffb5be5, 0x3df63ac6b4edc88e
788 .quad 0x3feffffffffbb1a2, 0x3df4a88be2a6390c
789 .quad 0x3feffffffffc014e, 0x3df332259185f1a0
790 .quad 0x3feffffffffc4b56, 0x3df1d5b1f3793044
791 .quad 0x3feffffffffc901c, 0x3df0916f04b6e18b
792 .quad 0x3feffffffffccfff, 0x3deec77101de6926
793 .quad 0x3feffffffffd0b56, 0x3dec960bf23153e0
794 .quad 0x3feffffffffd4271, 0x3dea8bd20fc65ef7
795 .quad 0x3feffffffffd759d, 0x3de8a61745ec7d1d
796 .quad 0x3feffffffffda520, 0x3de6e25d0e756261
797 .quad 0x3feffffffffdd13c, 0x3de53e4f7d1666cb
798 .quad 0x3feffffffffdfa2d, 0x3de3b7c27a7ddb0e
799 .quad 0x3feffffffffe202d, 0x3de24caf2c32af14
800 .quad 0x3feffffffffe4371, 0x3de0fb3186804d0f
801 .quad 0x3feffffffffe642a, 0x3ddf830c0bb41fd7
802 .quad 0x3feffffffffe8286, 0x3ddd3c0f1a91c846
803 .quad 0x3feffffffffe9eb0, 0x3ddb1e5acf351d87
804 .quad 0x3feffffffffeb8d0, 0x3dd92712d259ce66
805 .quad 0x3feffffffffed10a, 0x3dd7538c60a04476
806 .quad 0x3feffffffffee782, 0x3dd5a14b04b47879
807 .quad 0x3feffffffffefc57, 0x3dd40dfd87456f4c
808 .quad 0x3fefffffffff0fa7, 0x3dd2977b1172b9d5
809 .quad 0x3fefffffffff218f, 0x3dd13bc07e891491
810 .quad 0x3fefffffffff3227, 0x3dcff1dbb4300811
811 .quad 0x3fefffffffff4188, 0x3dcd9a880f306bd8
812 .quad 0x3fefffffffff4fc9, 0x3dcb6e45220b55e0
813 .quad 0x3fefffffffff5cfd, 0x3dc96a0b33f2c4da
814 .quad 0x3fefffffffff6939, 0x3dc78b07e9e924ac
815 .quad 0x3fefffffffff748e, 0x3dc5ce9ab1670dd2
816 .quad 0x3fefffffffff7f0d, 0x3dc4325167006bb0
817 .quad 0x3fefffffffff88c5, 0x3dc2b3e53538ff3f
818 .quad 0x3fefffffffff91c6, 0x3dc15137a7f44864
819 .quad 0x3fefffffffff9a1b, 0x3dc0084ff125639d
820 .quad 0x3fefffffffffa1d2, 0x3dbdaeb0b7311ec7
821 .quad 0x3fefffffffffa8f6, 0x3dbb7937d1c40c53
822 .quad 0x3fefffffffffaf92, 0x3db96d082f59ab06
823 .quad 0x3fefffffffffb5b0, 0x3db7872d9fa10aad
824 .quad 0x3fefffffffffbb58, 0x3db5c4e8e37bc7d0
825 .quad 0x3fefffffffffc095, 0x3db423ac0df49a40
826 .quad 0x3fefffffffffc56d, 0x3db2a117230ad284
827 .quad 0x3fefffffffffc9e8, 0x3db13af4f04f9998
828 .quad 0x3fefffffffffce0d, 0x3dafde703724e560
829 .quad 0x3fefffffffffd1e1, 0x3dad77f0c82e7641
830 .quad 0x3fefffffffffd56c, 0x3dab3ee02611d7dd
831 .quad 0x3fefffffffffd8b3, 0x3da92ff33023d5bd
832 .quad 0x3fefffffffffdbba, 0x3da7481a9e69f53f
833 .quad 0x3fefffffffffde86, 0x3da5847eda620959
834 .quad 0x3fefffffffffe11d, 0x3da3e27c1fcc74bd
835 .quad 0x3fefffffffffe380, 0x3da25f9ee0b923dc
836 .quad 0x3fefffffffffe5b6, 0x3da0f9a068653200
837 .quad 0x3fefffffffffe7c0, 0x3d9f5cc7718082b0
838 .quad 0x3fefffffffffe9a2, 0x3d9cf7e53d6a2ca5
839 .quad 0x3fefffffffffeb60, 0x3d9ac0f5f3229372
840 .quad 0x3fefffffffffecfb, 0x3d98b498644847ea
841 .quad 0x3fefffffffffee77, 0x3d96cfa9bcca59dc
842 .quad 0x3fefffffffffefd6, 0x3d950f411d4fd2cd
843 .quad 0x3feffffffffff11a, 0x3d9370ab8327af5e
844 .quad 0x3feffffffffff245, 0x3d91f167f88c6b6e
845 .quad 0x3feffffffffff359, 0x3d908f24085d4597
846 .quad 0x3feffffffffff457, 0x3d8e8f70e181d61a
847 .quad 0x3feffffffffff542, 0x3d8c324c20e337dc
848 .quad 0x3feffffffffff61b, 0x3d8a03261574b54e
849 .quad 0x3feffffffffff6e3, 0x3d87fe903cdf5855
850 .quad 0x3feffffffffff79b, 0x3d86215c58da3450
851 .quad 0x3feffffffffff845, 0x3d846897d4b69fc6
852 .quad 0x3feffffffffff8e2, 0x3d82d1877d731b7b
853 .quad 0x3feffffffffff973, 0x3d8159a386b11517
854 .quad 0x3feffffffffff9f8, 0x3d7ffd27ae9393ce
855 .quad 0x3feffffffffffa73, 0x3d7d7c593130dd0b
856 .quad 0x3feffffffffffae4, 0x3d7b2cd607c79bcf
857 .quad 0x3feffffffffffb4c, 0x3d790ae4d3405651
858 .quad 0x3feffffffffffbad, 0x3d771312dd1759e2
859 .quad 0x3feffffffffffc05, 0x3d75422ef5d8949d
860 .quad 0x3feffffffffffc57, 0x3d739544b0ecc957
861 .quad 0x3feffffffffffca2, 0x3d720997f73e73dd
862 .quad 0x3feffffffffffce7, 0x3d709ca0eaacd277
863 .quad 0x3feffffffffffd27, 0x3d6e9810295890ec
864 .quad 0x3feffffffffffd62, 0x3d6c2b45b5aa4a1d
865 .quad 0x3feffffffffffd98, 0x3d69eee068fa7596
866 .quad 0x3feffffffffffdca, 0x3d67df2b399c10a8
867 .quad 0x3feffffffffffdf8, 0x3d65f8b87a31bd85
868 .quad 0x3feffffffffffe22, 0x3d64385c96e9a2d9
869 .quad 0x3feffffffffffe49, 0x3d629b2933ef4cbc
870 .quad 0x3feffffffffffe6c, 0x3d611e68a6378f8a
871 .quad 0x3feffffffffffe8d, 0x3d5f7f338086a86b
872 .quad 0x3feffffffffffeab, 0x3d5cf8d7d9ce040a
873 .quad 0x3feffffffffffec7, 0x3d5aa577251ae485
874 .quad 0x3feffffffffffee1, 0x3d58811d739efb5f
875 .quad 0x3feffffffffffef8, 0x3d568823e52970be
876 .quad 0x3fefffffffffff0e, 0x3d54b72ae68e8b4c
877 .quad 0x3fefffffffffff22, 0x3d530b14dbe876bc
878 .quad 0x3fefffffffffff34, 0x3d5181012ef86610
879 .quad 0x3fefffffffffff45, 0x3d501647ba798745
880 .quad 0x3fefffffffffff54, 0x3d4d90e917701675
881 .quad 0x3fefffffffffff62, 0x3d4b2a87e86d0c8a
882 .quad 0x3fefffffffffff6f, 0x3d48f53dcb377293
883 .quad 0x3fefffffffffff7b, 0x3d46ed2f2515e933
884 .quad 0x3fefffffffffff86, 0x3d450ecc9ed47f19
885 .quad 0x3fefffffffffff90, 0x3d4356cd5ce7799e
886 .quad 0x3fefffffffffff9a, 0x3d41c229a587ab78
887 .quad 0x3fefffffffffffa2, 0x3d404e15ecc7f3f6
888 .quad 0x3fefffffffffffaa, 0x3d3deffc7e6a6017
889 .quad 0x3fefffffffffffb1, 0x3d3b7b040832f310
890 .quad 0x3fefffffffffffb8, 0x3d3938e021f36d76
891 .quad 0x3fefffffffffffbe, 0x3d37258610b3b233
892 .quad 0x3fefffffffffffc3, 0x3d353d3bfc82a909
893 .quad 0x3fefffffffffffc8, 0x3d337c92babdc2fd
894 .quad 0x3fefffffffffffcd, 0x3d31e06010120f6a
895 .quad 0x3fefffffffffffd1, 0x3d3065b9616170d4
896 .quad 0x3fefffffffffffd5, 0x3d2e13dd96b3753b
897 .quad 0x3fefffffffffffd9, 0x3d2b950d32467392
898 .quad 0x3fefffffffffffdc, 0x3d294a72263259a5
899 .quad 0x3fefffffffffffdf, 0x3d272fd93e036cdc
900 .quad 0x3fefffffffffffe2, 0x3d254164576929ab
901 .quad 0x3fefffffffffffe4, 0x3d237b83c521fe96
902 .quad 0x3fefffffffffffe7, 0x3d21daf033182e96
903 .quad 0x3fefffffffffffe9, 0x3d205ca50205d26a
904 .quad 0x3fefffffffffffeb, 0x3d1dfbb6235639fa
905 .quad 0x3fefffffffffffed, 0x3d1b7807e294781f
906 .quad 0x3fefffffffffffee, 0x3d19298add70a734
907 .quad 0x3feffffffffffff0, 0x3d170beaf9c7ffb6
908 .quad 0x3feffffffffffff1, 0x3d151b2cd6709222
909 .quad 0x3feffffffffffff3, 0x3d1353a6cf7f7fff
910 .quad 0x3feffffffffffff4, 0x3d11b1fa8cbe84a7
911 .quad 0x3feffffffffffff5, 0x3d10330f0fd69921
912 .quad 0x3feffffffffffff6, 0x3d0da81670f96f9b
913 .quad 0x3feffffffffffff7, 0x3d0b24a16b4d09aa
914 .quad 0x3feffffffffffff7, 0x3d08d6eeb6efdbd6
915 .quad 0x3feffffffffffff8, 0x3d06ba91ac734786
916 .quad 0x3feffffffffffff9, 0x3d04cb7966770ab5
917 .quad 0x3feffffffffffff9, 0x3d0305e9721d0981
918 .quad 0x3feffffffffffffa, 0x3d01667311fff70a
919 .quad 0x3feffffffffffffb, 0x3cffd3de10d62855
920 .quad 0x3feffffffffffffb, 0x3cfd1aefbcd48d0c
921 .quad 0x3feffffffffffffb, 0x3cfa9cc93c25aca9
922 .quad 0x3feffffffffffffc, 0x3cf85487ee3ea735
923 .quad 0x3feffffffffffffc, 0x3cf63daf8b4b1e0c
924 .quad 0x3feffffffffffffd, 0x3cf45421e69a6ca1
925 .quad 0x3feffffffffffffd, 0x3cf294175802d99a
926 .quad 0x3feffffffffffffd, 0x3cf0fa17bf41068f
927 .quad 0x3feffffffffffffd, 0x3cef05e82aae2bb9
928 .quad 0x3feffffffffffffe, 0x3cec578101b29058
929 .quad 0x3feffffffffffffe, 0x3ce9e39dc5dd2f7c
930 .quad 0x3feffffffffffffe, 0x3ce7a553a728bbf2
931 .quad 0x3feffffffffffffe, 0x3ce5982008db1304
932 .quad 0x3feffffffffffffe, 0x3ce3b7e00422e51b
933 .quad 0x3feffffffffffffe, 0x3ce200c898d9ee3e
934 .quad 0x3fefffffffffffff, 0x3ce06f5f7eb65a56
935 .quad 0x3fefffffffffffff, 0x3cde00e9148a1d25
936 .quad 0x3fefffffffffffff, 0x3cdb623734024e92
937 .quad 0x3fefffffffffffff, 0x3cd8fd4e01891bf8
938 .quad 0x3fefffffffffffff, 0x3cd6cd44c7470d89
939 .quad 0x3fefffffffffffff, 0x3cd4cd9c04158cd7
940 .quad 0x3fefffffffffffff, 0x3cd2fa34bf5c8344
941 .quad 0x3fefffffffffffff, 0x3cd14f4890ff2461
942 .quad 0x3fefffffffffffff, 0x3ccf92c49dfa4df5
943 .quad 0x3fefffffffffffff, 0x3ccccaaea71ab0df
944 .quad 0x3fefffffffffffff, 0x3cca40829f001197
945 .quad 0x3ff0000000000000, 0x3cc7eef13b59e96c
946 .quad 0x3ff0000000000000, 0x3cc5d11e1a252bf5
947 .quad 0x3ff0000000000000, 0x3cc3e296303b2297
948 .quad 0x3ff0000000000000, 0x3cc21f47009f43ce
949 .quad 0x3ff0000000000000, 0x3cc083768c5e4542
950 .quad 0x3ff0000000000000, 0x3cbe1777d831265f
951 .quad 0x3ff0000000000000, 0x3cbb69f10b0191b5
952 .quad 0x3ff0000000000000, 0x3cb8f8a3a05b5b53
953 .quad 0x3ff0000000000000, 0x3cb6be573c40c8e7
954 .quad 0x3ff0000000000000, 0x3cb4b645ba991fdb
955 .align 16
956 .quad 0x7fffffffffffffff, 0x7fffffffffffffff /* _AbsMask */
957 .align 16
958 .quad 0x4017f80000000000, 0x4017f80000000000 /* _MaxThreshold = 6.0 - 1.0/128.0 */
959 .align 16
960 .quad 0x42c0000000000000, 0x42c0000000000000 /* SRound */
961 .align 16
962 .quad 0x2ff0000000000000, 0x2ff0000000000000 /* _U2THreshold */
963 .align 16
964 .quad 0xbfa6c16db05bdea5, 0xbfa6c16db05bdea5 /* _poly_1_0 */
965 .align 16
966 .quad 0x3fc1111235a363b1, 0x3fc1111235a363b1 /* _poly_1_1 */
967 .align 16
968 .quad 0x3fcc71ca1c71eb57, 0x3fcc71ca1c71eb57 /* _poly_3_0 */
969 .align 16
970 .quad 0xbfd9999c2be2dda8, 0xbfd9999c2be2dda8 /* _poly_3_1 */
971 .align 16
972 .quad 0xbfc5555800001B4F, 0xbfc5555800001B4F /* _poly_5_0 */
973 .align 16
974 .quad 0x3fb9999E2BE2F122, 0x3fb9999E2BE2F122 /* _poly_5_1 */
975 .align 16
976 .quad 0xbfd55555555547f6, 0xbfd55555555547f6 /* _poly_1_2 */
977 .align 16
978 .quad 0x3fdfffffffffd4cd, 0x3fdfffffffffd4cd /* _poly_3_2 */
979 .align 16
980 .quad 0x3fe5555555554b0c, 0x3fe5555555554b0c /* _poly_1_3 */
981 .align 16
982 .quad 0xbfd5555555555555, 0xbfd5555555555555 /* _poly_3_3 */
983 .align 16
984 .type __svml_derf_data_internal, @object
985 .size __svml_derf_data_internal, .-__svml_derf_data_internal