| 1 | /* Function erf vectorized with SSE4. |
| 2 | Copyright (C) 2021-2024 Free Software Foundation, Inc. |
| 3 | This file is part of the GNU C Library. |
| 4 | |
| 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. |
| 9 | |
| 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. |
| 14 | |
| 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/. */ |
| 18 | |
| 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 | */ |
| 33 | |
| 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 |
| 51 | |
| 52 | #include <sysdep.h> |
| 53 | |
| 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 |
| 63 | |
| 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 |
| 69 | |
| 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 |
| 84 | |
| 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 |
| 92 | |
| 93 | /* D2 = Diff^2 */ |
| 94 | mulpd %xmm11, %xmm11 |
| 95 | addpd _poly1_1+__svml_derf_data_internal(%rip), %xmm7 |
| 96 | |
| 97 | /* NaN fixup */ |
| 98 | minpd %xmm5, %xmm9 |
| 99 | mulpd %xmm8, %xmm7 |
| 100 | movups _poly3_0+__svml_derf_data_internal(%rip), %xmm6 |
| 101 | |
| 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 |
| 113 | |
| 114 | /* P1 = T^2*P1 - T */ |
| 115 | mulpd %xmm7, %xmm12 |
| 116 | movups _poly5_0+__svml_derf_data_internal(%rip), %xmm10 |
| 117 | |
| 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 |
| 128 | |
| 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 |
| 138 | |
| 139 | /* exp_h(x0) * Diff */ |
| 140 | mulpd %xmm9, %xmm13 |
| 141 | |
| 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 |
| 149 | |
| 150 | /* Sign | _Erf_H */ |
| 151 | pxor %xmm0, %xmm14 |
| 152 | |
| 153 | /* Final result */ |
| 154 | addpd %xmm13, %xmm14 |
| 155 | |
| 156 | /* Fix erf(-0) = -0 */ |
| 157 | orps %xmm14, %xmm0 |
| 158 | ret |
| 159 | |
| 160 | END(_ZGVbN2v_erf_sse4) |
| 161 | |
| 162 | .section .rodata, "a" |
| 163 | .align 16 |
| 164 | |
| 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 |
| 986 | |