| Jingwei Zhang | 5d4f0e6 | 2014-10-31 18:29:18 +0800 | [diff] [blame] | 1 | /* | 
 | 2 | Copyright (c) 2014, Intel Corporation | 
 | 3 | All rights reserved. | 
 | 4 |  | 
 | 5 | Redistribution and use in source and binary forms, with or without | 
 | 6 | modification, are permitted provided that the following conditions are met: | 
 | 7 |  | 
 | 8 |     * Redistributions of source code must retain the above copyright notice, | 
 | 9 |     * this list of conditions and the following disclaimer. | 
 | 10 |  | 
 | 11 |     * Redistributions in binary form must reproduce the above copyright notice, | 
 | 12 |     * this list of conditions and the following disclaimer in the documentation | 
 | 13 |     * and/or other materials provided with the distribution. | 
 | 14 |  | 
 | 15 |     * Neither the name of Intel Corporation nor the names of its contributors | 
 | 16 |     * may be used to endorse or promote products derived from this software | 
 | 17 |     * without specific prior written permission. | 
 | 18 |  | 
 | 19 | THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND | 
 | 20 | ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED | 
 | 21 | WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE | 
 | 22 | DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR | 
 | 23 | ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES | 
 | 24 | (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; | 
 | 25 | LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON | 
 | 26 | ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | 
 | 27 | (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS | 
 | 28 | SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | 
 | 29 | */ | 
 | 30 |  | 
 | 31 | /******************************************************************************/ | 
 | 32 | //                     ALGORITHM DESCRIPTION | 
 | 33 | //                     --------------------- | 
 | 34 | // | 
 | 35 | //  cosh(x)=(exp(x)+exp(-x))/2 | 
 | 36 | // | 
 | 37 | //  Let |x|=xH+xL (upper 26 bits, lower 27 bits) | 
 | 38 | //  log2(e) rounded to 26 bits (high part) plus a double precision low part is | 
 | 39 | //          L2EH+L2EL (upper 26, lower 53 bits) | 
 | 40 | // | 
 | 41 | //  Let xH*L2EH=k+f+r`, where (k+f)*2^7=int(xH*L2EH*2^7), | 
 | 42 | //                              f=0.b1 b2 ... b7, k integer | 
 | 43 | //  2^f is approximated as Tp[f]+Dp[f], and 2^{-f} as Tn[f]+Dn[f] | 
 | 44 | //  Tp stores higher 53 bits, Dp stores (2^f-Tp[f]) rounded to double precision | 
 | 45 | // | 
 | 46 | //  e^|x|=2^{k+f}*2^r, r=r`+xL*L2EH+|x|*L2EL, |r|<2^{-8}+2^{-14}, | 
 | 47 | //                       for |x| in [1/8,3*2^8) | 
 | 48 | //  e^{-|x|}=2^{-k-f}*2^{-r} | 
 | 49 | // | 
 | 50 | //  e^|x| is approximated as 2^k*Tp+2^k*Tp*c1*r(1+c2*r+..+c5*r^4)+2^k*Dp= | 
 | 51 | //                           =2^k*Tp+2^k*Tp*P15+2^k*Dp | 
 | 52 | //  e^{-|x|} approximated as 2^{-k}*Tn-2^{-k}*Tn*c1*r(1-c2*r+..+c5*r^4) | 
 | 53 | // | 
 | 54 | //  For |x| in [1/8, 3*2^7), cosh(x) is formed as | 
 | 55 | //   RN(2^k*Tp+2^{-k}*Tn)+2^k*Tp*P15+2^{-k}*Tn*P`15+2^{-k}*TnL+2^{-k}*Dn+2^k*Dp | 
 | 56 | // | 
 | 57 | //  For |x| in [3*2^7, 3*2^8), (e^|x|)/2 is returned, and | 
 | 58 | //  the result is checked for overflow. | 
 | 59 | // | 
 | 60 | //  For |x|<1/8, a Taylor polynomial expansion is used (degree 10) | 
 | 61 | //  (error bound for polynomial expansion is below 0.501 ulp) | 
 | 62 | // | 
 | 63 | // Special cases: | 
 | 64 | //  cosh(NaN) = quiet NaN, and raise invalid exception | 
 | 65 | //  cosh(INF) = that INF | 
 | 66 | //  cosh(0)=1 | 
 | 67 | //  for finite argument, only cosh(0)=1 is exact | 
 | 68 | //  For IEEE double | 
 | 69 | //  cosh(x) overflows | 
 | 70 | //  for x > 710.47586007394386342639336362481117248535156250 = MAXLOG+log(2) | 
 | 71 | // | 
 | 72 | /******************************************************************************/ | 
 | 73 |  | 
 | 74 | #include <private/bionic_asm.h> | 
 | 75 | # -- Begin  static_func | 
 | 76 |         .text | 
 | 77 |         .align __bionic_asm_align | 
 | 78 |         .type static_func, @function | 
 | 79 | static_func: | 
 | 80 | ..B1.1: | 
 | 81 |         call      ..L2 | 
 | 82 | ..L2: | 
 | 83 |         popl      %eax | 
 | 84 |         lea       _GLOBAL_OFFSET_TABLE_+[. - ..L2](%eax), %eax | 
 | 85 |         lea       static_const_table@GOTOFF(%eax), %eax | 
 | 86 |         ret | 
 | 87 |         .size   static_func,.-static_func | 
 | 88 | # -- End  static_func | 
 | 89 |  | 
 | 90 | # -- Begin  cosh | 
 | 91 | ENTRY(cosh) | 
 | 92 | # parameter 1: 8 + %ebp | 
 | 93 | ..B2.1: | 
 | 94 | ..B2.2: | 
 | 95 |         pushl     %ebp | 
 | 96 |         movl      %esp, %ebp | 
 | 97 |         subl      $104, %esp | 
 | 98 |         movl      %ebx, 40(%esp) | 
 | 99 |         call      static_func | 
 | 100 |         movl      %eax, %ebx | 
 | 101 |         movsd     112(%esp), %xmm0 | 
 | 102 |         movsd     4240(%ebx), %xmm3 | 
 | 103 |         xorpd     %xmm4, %xmm4 | 
 | 104 |         movsd     4192(%ebx), %xmm1 | 
 | 105 |         movsd     4200(%ebx), %xmm2 | 
 | 106 |         movl      $32768, %eax | 
 | 107 |         pinsrw    $3, %eax, %xmm4 | 
 | 108 |         movsd     4096(%ebx), %xmm6 | 
 | 109 |         pextrw    $3, %xmm0, %ecx | 
 | 110 |         andpd     %xmm0, %xmm3 | 
 | 111 |         andnpd    %xmm0, %xmm4 | 
 | 112 |         pshufd    $68, %xmm4, %xmm5 | 
 | 113 |         andl      $32767, %ecx | 
 | 114 |         subl      $16320, %ecx | 
 | 115 |         cmpl      $200, %ecx | 
 | 116 |         jae       .L_2TAG_PACKET_0.0.2 | 
 | 117 |         subsd     %xmm3, %xmm4 | 
 | 118 |         mulsd     %xmm1, %xmm3 | 
 | 119 |         mulsd     %xmm5, %xmm2 | 
 | 120 |         cvtsd2si  %xmm3, %eax | 
 | 121 |         movapd    %xmm3, %xmm7 | 
 | 122 |         addsd     %xmm6, %xmm3 | 
 | 123 |         mulsd     %xmm4, %xmm1 | 
 | 124 |         xorpd     %xmm5, %xmm5 | 
 | 125 |         subsd     %xmm6, %xmm3 | 
 | 126 |         movapd    4112(%ebx), %xmm4 | 
 | 127 |         addsd     %xmm1, %xmm2 | 
 | 128 |         movapd    4128(%ebx), %xmm6 | 
 | 129 |         subsd     %xmm3, %xmm7 | 
 | 130 |         movl      $32704, %edx | 
 | 131 |         pinsrw    $3, %edx, %xmm5 | 
 | 132 |         movapd    4144(%ebx), %xmm1 | 
 | 133 |         addsd     %xmm7, %xmm2 | 
 | 134 |         movl      $127, %edx | 
 | 135 |         andl      %eax, %edx | 
 | 136 |         addl      %edx, %edx | 
 | 137 |         shrl      $3, %eax | 
 | 138 |         andl      $65520, %eax | 
 | 139 |         addl      $16352, %eax | 
 | 140 |         xorpd     %xmm0, %xmm0 | 
 | 141 |         cmpl      $184, %ecx | 
 | 142 |         jae       .L_2TAG_PACKET_1.0.2 | 
 | 143 |         pshufd    $68, %xmm5, %xmm5 | 
 | 144 |         pinsrw    $3, %eax, %xmm0 | 
 | 145 |         pshufd    $68, %xmm0, %xmm0 | 
 | 146 |         psubw     %xmm0, %xmm5 | 
 | 147 |         mulpd     (%ebx,%edx,8), %xmm0 | 
 | 148 |         mulpd     2048(%ebx,%edx,8), %xmm5 | 
 | 149 |         pshufd    $68, %xmm2, %xmm3 | 
 | 150 |         movapd    4160(%ebx), %xmm7 | 
 | 151 |         pshufd    $68, %xmm2, %xmm2 | 
 | 152 |         mulpd     %xmm3, %xmm3 | 
 | 153 |         mulpd     %xmm2, %xmm4 | 
 | 154 |         mulpd     %xmm2, %xmm6 | 
 | 155 |         mulpd     4176(%ebx), %xmm2 | 
 | 156 |         mulpd     %xmm3, %xmm1 | 
 | 157 |         mulpd     %xmm3, %xmm7 | 
 | 158 |         mulpd     %xmm3, %xmm4 | 
 | 159 |         mulpd     %xmm3, %xmm1 | 
 | 160 |         addpd     %xmm7, %xmm6 | 
 | 161 |         movapd    %xmm0, %xmm7 | 
 | 162 |         addpd     %xmm1, %xmm4 | 
 | 163 |         shufpd    $0, %xmm5, %xmm7 | 
 | 164 |         addpd     %xmm5, %xmm0 | 
 | 165 |         mulpd     %xmm7, %xmm2 | 
 | 166 |         addpd     %xmm6, %xmm4 | 
 | 167 |         subsd     %xmm0, %xmm7 | 
 | 168 |         mulpd     %xmm2, %xmm4 | 
 | 169 |         pshufd    $238, %xmm0, %xmm6 | 
 | 170 |         addsd     %xmm5, %xmm7 | 
 | 171 |         addpd     %xmm2, %xmm4 | 
 | 172 |         addsd     %xmm6, %xmm7 | 
 | 173 |         pshufd    $238, %xmm4, %xmm2 | 
 | 174 |         addsd     %xmm7, %xmm2 | 
 | 175 |         addsd     %xmm4, %xmm2 | 
 | 176 |         addsd     %xmm2, %xmm0 | 
 | 177 |         jmp       .L_2TAG_PACKET_2.0.2 | 
 | 178 | .L_2TAG_PACKET_0.0.2: | 
 | 179 |         addl      $16320, %ecx | 
 | 180 |         cmpl      $16320, %ecx | 
 | 181 |         ja        .L_2TAG_PACKET_3.0.2 | 
 | 182 |         cmpl      $15952, %ecx | 
 | 183 |         jae       .L_2TAG_PACKET_4.0.2 | 
 | 184 |         addsd     %xmm2, %xmm6 | 
 | 185 |         movsd     4248(%ebx), %xmm0 | 
 | 186 |         jmp       .L_2TAG_PACKET_2.0.2 | 
 | 187 | .L_2TAG_PACKET_1.0.2: | 
 | 188 |         subl      $16352, %eax | 
 | 189 |         movl      %eax, %ecx | 
 | 190 |         andl      $32752, %eax | 
 | 191 |         shrl      $1, %eax | 
 | 192 |         andl      $65520, %eax | 
 | 193 |         subl      %eax, %ecx | 
 | 194 |         addl      $16352, %eax | 
 | 195 |         pinsrw    $3, %eax, %xmm0 | 
 | 196 |         pshufd    $68, %xmm0, %xmm0 | 
 | 197 |         mulpd     (%ebx,%edx,8), %xmm0 | 
 | 198 |         pshufd    $68, %xmm2, %xmm3 | 
 | 199 |         movsd     4160(%ebx), %xmm7 | 
 | 200 |         mulsd     %xmm3, %xmm3 | 
 | 201 |         mulsd     %xmm2, %xmm4 | 
 | 202 |         mulsd     %xmm2, %xmm6 | 
 | 203 |         mulsd     4176(%ebx), %xmm2 | 
 | 204 |         mulsd     %xmm3, %xmm1 | 
 | 205 |         mulsd     %xmm3, %xmm7 | 
 | 206 |         mulsd     %xmm3, %xmm4 | 
 | 207 |         addl      $16368, %ecx | 
 | 208 |         pinsrw    $3, %ecx, %xmm5 | 
 | 209 |         mulsd     %xmm3, %xmm1 | 
 | 210 |         addsd     %xmm7, %xmm6 | 
 | 211 |         addsd     %xmm1, %xmm4 | 
 | 212 |         mulsd     %xmm0, %xmm2 | 
 | 213 |         addsd     %xmm6, %xmm4 | 
 | 214 |         mulsd     %xmm2, %xmm4 | 
 | 215 |         pshufd    $238, %xmm0, %xmm6 | 
 | 216 |         addsd     %xmm6, %xmm4 | 
 | 217 |         addsd     %xmm4, %xmm2 | 
 | 218 |         addsd     %xmm2, %xmm0 | 
 | 219 |         mulsd     %xmm5, %xmm0 | 
 | 220 |         pextrw    $3, %xmm0, %eax | 
 | 221 |         andl      $32752, %eax | 
 | 222 |         movl      $64, %edx | 
 | 223 |         cmpl      $32752, %eax | 
 | 224 |         je        .L_2TAG_PACKET_5.0.2 | 
 | 225 |         jmp       .L_2TAG_PACKET_2.0.2 | 
 | 226 | .L_2TAG_PACKET_4.0.2: | 
 | 227 |         movapd    4208(%ebx), %xmm1 | 
 | 228 |         mulpd     %xmm5, %xmm5 | 
 | 229 |         movapd    4224(%ebx), %xmm2 | 
 | 230 |         xorpd     %xmm3, %xmm3 | 
 | 231 |         movapd    %xmm5, %xmm0 | 
 | 232 |         mulpd     %xmm5, %xmm1 | 
 | 233 |         movsd     4248(%ebx), %xmm6 | 
 | 234 |         mulpd     %xmm5, %xmm5 | 
 | 235 |         movl      $16352, %eax | 
 | 236 |         pinsrw    $3, %eax, %xmm3 | 
 | 237 |         addpd     %xmm2, %xmm1 | 
 | 238 |         mulpd     %xmm5, %xmm1 | 
 | 239 |         pshufd    $238, %xmm1, %xmm2 | 
 | 240 |         mulsd     %xmm1, %xmm5 | 
 | 241 |         mulsd     %xmm3, %xmm0 | 
 | 242 |         addsd     %xmm5, %xmm2 | 
 | 243 |         addsd     %xmm2, %xmm0 | 
 | 244 |         addsd     %xmm6, %xmm0 | 
 | 245 |         jmp       .L_2TAG_PACKET_2.0.2 | 
 | 246 | .L_2TAG_PACKET_3.0.2: | 
 | 247 |         cmpl      $32752, %ecx | 
 | 248 |         jae       .L_2TAG_PACKET_6.0.2 | 
 | 249 |         xorpd     %xmm0, %xmm0 | 
 | 250 |         movl      $32736, %eax | 
 | 251 |         pinsrw    $3, %eax, %xmm0 | 
 | 252 |         mulsd     %xmm0, %xmm0 | 
 | 253 |         movl      $64, %edx | 
 | 254 | .L_2TAG_PACKET_5.0.2: | 
 | 255 |         movsd     %xmm0, (%esp) | 
 | 256 |         movsd     112(%esp), %xmm0 | 
 | 257 |         fldl      (%esp) | 
 | 258 |         jmp       .L_2TAG_PACKET_7.0.2 | 
 | 259 | .L_2TAG_PACKET_6.0.2: | 
 | 260 |         mulsd     %xmm0, %xmm0 | 
 | 261 |         jmp       .L_2TAG_PACKET_2.0.2 | 
 | 262 | .L_2TAG_PACKET_2.0.2: | 
 | 263 |         movsd     %xmm0, 24(%esp) | 
 | 264 |         fldl      24(%esp) | 
 | 265 | .L_2TAG_PACKET_7.0.2: | 
 | 266 |         movl      40(%esp), %ebx | 
 | 267 |         movl      %ebp, %esp | 
 | 268 |         popl      %ebp | 
 | 269 |         ret        | 
 | 270 | ..B2.3: | 
 | 271 | END(cosh) | 
 | 272 | # -- End  cosh | 
 | 273 |  | 
 | 274 | # Start file scope ASM | 
| Christopher Ferris | 995b813 | 2015-03-13 17:43:52 -0700 | [diff] [blame] | 275 | ALIAS_SYMBOL(coshl, cosh); | 
| Jingwei Zhang | 5d4f0e6 | 2014-10-31 18:29:18 +0800 | [diff] [blame] | 276 | # End file scope ASM | 
 | 277 | 	.section .rodata, "a" | 
 | 278 | 	.align 16 | 
 | 279 | 	.align 16 | 
 | 280 | static_const_table: | 
 | 281 | 	.long	0 | 
 | 282 | 	.long	1072693248 | 
 | 283 | 	.long	0 | 
 | 284 | 	.long	0 | 
 | 285 | 	.long	2851812149 | 
 | 286 | 	.long	1072698941 | 
 | 287 | 	.long	2595802551 | 
 | 288 | 	.long	1016815913 | 
 | 289 | 	.long	1048019041 | 
 | 290 | 	.long	1072704666 | 
 | 291 | 	.long	1398474845 | 
 | 292 | 	.long	3161559171 | 
 | 293 | 	.long	3899555717 | 
 | 294 | 	.long	1072710421 | 
 | 295 | 	.long	427280750 | 
 | 296 | 	.long	3163595548 | 
 | 297 | 	.long	3541402996 | 
 | 298 | 	.long	1072716208 | 
 | 299 | 	.long	2759177317 | 
 | 300 | 	.long	1015903202 | 
 | 301 | 	.long	702412510 | 
 | 302 | 	.long	1072722027 | 
 | 303 | 	.long	3803266087 | 
 | 304 | 	.long	3163328991 | 
 | 305 | 	.long	410360776 | 
 | 306 | 	.long	1072727877 | 
 | 307 | 	.long	1269990655 | 
 | 308 | 	.long	1013024446 | 
 | 309 | 	.long	3402036099 | 
 | 310 | 	.long	1072733758 | 
 | 311 | 	.long	405889334 | 
 | 312 | 	.long	1016154232 | 
 | 313 | 	.long	1828292879 | 
 | 314 | 	.long	1072739672 | 
 | 315 | 	.long	1255956747 | 
 | 316 | 	.long	1016636974 | 
 | 317 | 	.long	728909815 | 
 | 318 | 	.long	1072745618 | 
 | 319 | 	.long	383930225 | 
 | 320 | 	.long	1016078044 | 
 | 321 | 	.long	852742562 | 
 | 322 | 	.long	1072751596 | 
 | 323 | 	.long	667253586 | 
 | 324 | 	.long	1010842135 | 
 | 325 | 	.long	2952712987 | 
 | 326 | 	.long	1072757606 | 
 | 327 | 	.long	3293494651 | 
 | 328 | 	.long	3161168877 | 
 | 329 | 	.long	3490863953 | 
 | 330 | 	.long	1072763649 | 
 | 331 | 	.long	960797498 | 
 | 332 | 	.long	3163997456 | 
 | 333 | 	.long	3228316108 | 
 | 334 | 	.long	1072769725 | 
 | 335 | 	.long	3010241991 | 
 | 336 | 	.long	3159471380 | 
 | 337 | 	.long	2930322912 | 
 | 338 | 	.long	1072775834 | 
 | 339 | 	.long	2599499422 | 
 | 340 | 	.long	3163762623 | 
 | 341 | 	.long	3366293073 | 
 | 342 | 	.long	1072781976 | 
 | 343 | 	.long	3119426314 | 
 | 344 | 	.long	1015169130 | 
 | 345 | 	.long	1014845819 | 
 | 346 | 	.long	1072788152 | 
 | 347 | 	.long	3117910646 | 
 | 348 | 	.long	3162607681 | 
 | 349 | 	.long	948735466 | 
 | 350 | 	.long	1072794361 | 
 | 351 | 	.long	3516338028 | 
 | 352 | 	.long	3163623459 | 
 | 353 | 	.long	3949972341 | 
 | 354 | 	.long	1072800603 | 
 | 355 | 	.long	2068408548 | 
 | 356 | 	.long	1015962444 | 
 | 357 | 	.long	2214878420 | 
 | 358 | 	.long	1072806880 | 
 | 359 | 	.long	892270087 | 
 | 360 | 	.long	3164164998 | 
 | 361 | 	.long	828946858 | 
 | 362 | 	.long	1072813191 | 
 | 363 | 	.long	10642492 | 
 | 364 | 	.long	1016988014 | 
 | 365 | 	.long	586995997 | 
 | 366 | 	.long	1072819536 | 
 | 367 | 	.long	41662348 | 
 | 368 | 	.long	3163676568 | 
 | 369 | 	.long	2288159958 | 
 | 370 | 	.long	1072825915 | 
 | 371 | 	.long	2169144469 | 
 | 372 | 	.long	1015924597 | 
 | 373 | 	.long	2440944790 | 
 | 374 | 	.long	1072832329 | 
 | 375 | 	.long	2492769774 | 
 | 376 | 	.long	1015196030 | 
 | 377 | 	.long	1853186616 | 
 | 378 | 	.long	1072838778 | 
 | 379 | 	.long	3066496371 | 
 | 380 | 	.long	1016705150 | 
 | 381 | 	.long	1337108031 | 
 | 382 | 	.long	1072845262 | 
 | 383 | 	.long	3203724452 | 
 | 384 | 	.long	1015726421 | 
 | 385 | 	.long	1709341917 | 
 | 386 | 	.long	1072851781 | 
 | 387 | 	.long	2571168217 | 
 | 388 | 	.long	1015201075 | 
 | 389 | 	.long	3790955393 | 
 | 390 | 	.long	1072858335 | 
 | 391 | 	.long	2352942462 | 
 | 392 | 	.long	3164228666 | 
 | 393 | 	.long	4112506593 | 
 | 394 | 	.long	1072864925 | 
 | 395 | 	.long	2947355221 | 
 | 396 | 	.long	1015419624 | 
 | 397 | 	.long	3504003472 | 
 | 398 | 	.long	1072871551 | 
 | 399 | 	.long	3594001060 | 
 | 400 | 	.long	3158379228 | 
 | 401 | 	.long	2799960843 | 
 | 402 | 	.long	1072878213 | 
 | 403 | 	.long	1423655381 | 
 | 404 | 	.long	1016070727 | 
 | 405 | 	.long	2839424854 | 
 | 406 | 	.long	1072884911 | 
 | 407 | 	.long	1171596163 | 
 | 408 | 	.long	1014090255 | 
 | 409 | 	.long	171030293 | 
 | 410 | 	.long	1072891646 | 
 | 411 | 	.long	3526460132 | 
 | 412 | 	.long	1015477354 | 
 | 413 | 	.long	4232894513 | 
 | 414 | 	.long	1072898416 | 
 | 415 | 	.long	2383938684 | 
 | 416 | 	.long	1015717095 | 
 | 417 | 	.long	2992903935 | 
 | 418 | 	.long	1072905224 | 
 | 419 | 	.long	2218154406 | 
 | 420 | 	.long	1016276769 | 
 | 421 | 	.long	1603444721 | 
 | 422 | 	.long	1072912069 | 
 | 423 | 	.long	1548633640 | 
 | 424 | 	.long	3163249902 | 
 | 425 | 	.long	926591435 | 
 | 426 | 	.long	1072918951 | 
 | 427 | 	.long	3208833762 | 
 | 428 | 	.long	3163962090 | 
 | 429 | 	.long	1829099622 | 
 | 430 | 	.long	1072925870 | 
 | 431 | 	.long	1016661181 | 
 | 432 | 	.long	3164509581 | 
 | 433 | 	.long	887463927 | 
 | 434 | 	.long	1072932827 | 
 | 435 | 	.long	3596744163 | 
 | 436 | 	.long	3161842742 | 
 | 437 | 	.long	3272845541 | 
 | 438 | 	.long	1072939821 | 
 | 439 | 	.long	928852419 | 
 | 440 | 	.long	3164536824 | 
 | 441 | 	.long	1276261410 | 
 | 442 | 	.long	1072946854 | 
 | 443 | 	.long	300981948 | 
 | 444 | 	.long	1015732745 | 
 | 445 | 	.long	78413852 | 
 | 446 | 	.long	1072953925 | 
 | 447 | 	.long	4183226867 | 
 | 448 | 	.long	3164065827 | 
 | 449 | 	.long	569847338 | 
 | 450 | 	.long	1072961034 | 
 | 451 | 	.long	472945272 | 
 | 452 | 	.long	3160339305 | 
 | 453 | 	.long	3645941911 | 
 | 454 | 	.long	1072968181 | 
 | 455 | 	.long	3814685081 | 
 | 456 | 	.long	3162621917 | 
 | 457 | 	.long	1617004845 | 
 | 458 | 	.long	1072975368 | 
 | 459 | 	.long	82804944 | 
 | 460 | 	.long	1011391354 | 
 | 461 | 	.long	3978100823 | 
 | 462 | 	.long	1072982593 | 
 | 463 | 	.long	3513027190 | 
 | 464 | 	.long	1016894539 | 
 | 465 | 	.long	3049340112 | 
 | 466 | 	.long	1072989858 | 
 | 467 | 	.long	3062915824 | 
 | 468 | 	.long	1014219171 | 
 | 469 | 	.long	4040676318 | 
 | 470 | 	.long	1072997162 | 
 | 471 | 	.long	4090609238 | 
 | 472 | 	.long	1016712034 | 
 | 473 | 	.long	3577096743 | 
 | 474 | 	.long	1073004506 | 
 | 475 | 	.long	2951496418 | 
 | 476 | 	.long	1014842263 | 
 | 477 | 	.long	2583551245 | 
 | 478 | 	.long	1073011890 | 
 | 479 | 	.long	3161094195 | 
 | 480 | 	.long	1016655067 | 
 | 481 | 	.long	1990012071 | 
 | 482 | 	.long	1073019314 | 
 | 483 | 	.long	3529070563 | 
 | 484 | 	.long	3163861769 | 
 | 485 | 	.long	2731501122 | 
 | 486 | 	.long	1073026778 | 
 | 487 | 	.long	1774031855 | 
 | 488 | 	.long	3163518597 | 
 | 489 | 	.long	1453150082 | 
 | 490 | 	.long	1073034283 | 
 | 491 | 	.long	498154669 | 
 | 492 | 	.long	3162536638 | 
 | 493 | 	.long	3395129871 | 
 | 494 | 	.long	1073041828 | 
 | 495 | 	.long	4025345435 | 
 | 496 | 	.long	3163383964 | 
 | 497 | 	.long	917841882 | 
 | 498 | 	.long	1073049415 | 
 | 499 | 	.long	18715565 | 
 | 500 | 	.long	1016707884 | 
 | 501 | 	.long	3566716925 | 
 | 502 | 	.long	1073057042 | 
 | 503 | 	.long	1536826856 | 
 | 504 | 	.long	1015191009 | 
 | 505 | 	.long	3712504873 | 
 | 506 | 	.long	1073064711 | 
 | 507 | 	.long	88491949 | 
 | 508 | 	.long	1016476236 | 
 | 509 | 	.long	2321106615 | 
 | 510 | 	.long	1073072422 | 
 | 511 | 	.long	2171176610 | 
 | 512 | 	.long	1010584347 | 
 | 513 | 	.long	363667784 | 
 | 514 | 	.long	1073080175 | 
 | 515 | 	.long	813753950 | 
 | 516 | 	.long	1016833785 | 
 | 517 | 	.long	3111574537 | 
 | 518 | 	.long	1073087969 | 
 | 519 | 	.long	2606161479 | 
 | 520 | 	.long	3163808322 | 
 | 521 | 	.long	2956612997 | 
 | 522 | 	.long	1073095806 | 
 | 523 | 	.long	2118169751 | 
 | 524 | 	.long	3163784129 | 
 | 525 | 	.long	885834528 | 
 | 526 | 	.long	1073103686 | 
 | 527 | 	.long	1973258547 | 
 | 528 | 	.long	3163310140 | 
 | 529 | 	.long	2186617381 | 
 | 530 | 	.long	1073111608 | 
 | 531 | 	.long	2270764084 | 
 | 532 | 	.long	3164321289 | 
 | 533 | 	.long	3561793907 | 
 | 534 | 	.long	1073119573 | 
 | 535 | 	.long	1157054053 | 
 | 536 | 	.long	1012938926 | 
 | 537 | 	.long	1719614413 | 
 | 538 | 	.long	1073127582 | 
 | 539 | 	.long	330458198 | 
 | 540 | 	.long	3164331316 | 
 | 541 | 	.long	1963711167 | 
 | 542 | 	.long	1073135634 | 
 | 543 | 	.long	1744767757 | 
 | 544 | 	.long	3161622870 | 
 | 545 | 	.long	1013258799 | 
 | 546 | 	.long	1073143730 | 
 | 547 | 	.long	1748797611 | 
 | 548 | 	.long	3161177658 | 
 | 549 | 	.long	4182873220 | 
 | 550 | 	.long	1073151869 | 
 | 551 | 	.long	629542646 | 
 | 552 | 	.long	3163044879 | 
 | 553 | 	.long	3907805044 | 
 | 554 | 	.long	1073160053 | 
 | 555 | 	.long	2257091225 | 
 | 556 | 	.long	3162598983 | 
 | 557 | 	.long	1218806132 | 
 | 558 | 	.long	1073168282 | 
 | 559 | 	.long	1818613052 | 
 | 560 | 	.long	3163597017 | 
 | 561 | 	.long	1447192521 | 
 | 562 | 	.long	1073176555 | 
 | 563 | 	.long	1462857171 | 
 | 564 | 	.long	3163563097 | 
 | 565 | 	.long	1339972927 | 
 | 566 | 	.long	1073184873 | 
 | 567 | 	.long	167908909 | 
 | 568 | 	.long	1016620728 | 
 | 569 | 	.long	1944781191 | 
 | 570 | 	.long	1073193236 | 
 | 571 | 	.long	3993278767 | 
 | 572 | 	.long	3162772855 | 
 | 573 | 	.long	19972402 | 
 | 574 | 	.long	1073201645 | 
 | 575 | 	.long	3507899862 | 
 | 576 | 	.long	1017057868 | 
 | 577 | 	.long	919555682 | 
 | 578 | 	.long	1073210099 | 
 | 579 | 	.long	3121969534 | 
 | 580 | 	.long	1013996802 | 
 | 581 | 	.long	1413356050 | 
 | 582 | 	.long	1073218599 | 
 | 583 | 	.long	1651349291 | 
 | 584 | 	.long	3163716742 | 
 | 585 | 	.long	2571947539 | 
 | 586 | 	.long	1073227145 | 
 | 587 | 	.long	3558159064 | 
 | 588 | 	.long	3164425245 | 
 | 589 | 	.long	1176749997 | 
 | 590 | 	.long	1073235738 | 
 | 591 | 	.long	2738998779 | 
 | 592 | 	.long	3163084420 | 
 | 593 | 	.long	2604962541 | 
 | 594 | 	.long	1073244377 | 
 | 595 | 	.long	2614425274 | 
 | 596 | 	.long	3164587768 | 
 | 597 | 	.long	3649726105 | 
 | 598 | 	.long	1073253063 | 
 | 599 | 	.long	4085036346 | 
 | 600 | 	.long	1016698050 | 
 | 601 | 	.long	1110089947 | 
 | 602 | 	.long	1073261797 | 
 | 603 | 	.long	1451641639 | 
 | 604 | 	.long	1016523249 | 
 | 605 | 	.long	380978316 | 
 | 606 | 	.long	1073270578 | 
 | 607 | 	.long	854188970 | 
 | 608 | 	.long	3161511262 | 
 | 609 | 	.long	2568320822 | 
 | 610 | 	.long	1073279406 | 
 | 611 | 	.long	2732824428 | 
 | 612 | 	.long	1015401491 | 
 | 613 | 	.long	194117574 | 
 | 614 | 	.long	1073288283 | 
 | 615 | 	.long	777528612 | 
 | 616 | 	.long	3164460665 | 
 | 617 | 	.long	2966275557 | 
 | 618 | 	.long	1073297207 | 
 | 619 | 	.long	2176155324 | 
 | 620 | 	.long	3160891335 | 
 | 621 | 	.long	3418903055 | 
 | 622 | 	.long	1073306180 | 
 | 623 | 	.long	2527457337 | 
 | 624 | 	.long	3161869180 | 
 | 625 | 	.long	2682146384 | 
 | 626 | 	.long	1073315202 | 
 | 627 | 	.long	2082178513 | 
 | 628 | 	.long	3164411995 | 
 | 629 | 	.long	1892288442 | 
 | 630 | 	.long	1073324273 | 
 | 631 | 	.long	2446255666 | 
 | 632 | 	.long	3163648957 | 
 | 633 | 	.long	2191782032 | 
 | 634 | 	.long	1073333393 | 
 | 635 | 	.long	2960257726 | 
 | 636 | 	.long	1014791238 | 
 | 637 | 	.long	434316067 | 
 | 638 | 	.long	1073342563 | 
 | 639 | 	.long	2028358766 | 
 | 640 | 	.long	1014506698 | 
 | 641 | 	.long	2069751141 | 
 | 642 | 	.long	1073351782 | 
 | 643 | 	.long	1562170675 | 
 | 644 | 	.long	3163773257 | 
 | 645 | 	.long	3964284211 | 
 | 646 | 	.long	1073361051 | 
 | 647 | 	.long	2111583915 | 
 | 648 | 	.long	1016475740 | 
 | 649 | 	.long	2990417245 | 
 | 650 | 	.long	1073370371 | 
 | 651 | 	.long	3683467745 | 
 | 652 | 	.long	3164417902 | 
 | 653 | 	.long	321958744 | 
 | 654 | 	.long	1073379742 | 
 | 655 | 	.long	3401933767 | 
 | 656 | 	.long	1016843134 | 
 | 657 | 	.long	1434058175 | 
 | 658 | 	.long	1073389163 | 
 | 659 | 	.long	251133233 | 
 | 660 | 	.long	1016134345 | 
 | 661 | 	.long	3218338682 | 
 | 662 | 	.long	1073398635 | 
 | 663 | 	.long	3404164304 | 
 | 664 | 	.long	3163525684 | 
 | 665 | 	.long	2572866477 | 
 | 666 | 	.long	1073408159 | 
 | 667 | 	.long	878562433 | 
 | 668 | 	.long	1016570317 | 
 | 669 | 	.long	697153126 | 
 | 670 | 	.long	1073417735 | 
 | 671 | 	.long	1283515429 | 
 | 672 | 	.long	3164331765 | 
 | 673 | 	.long	3092190715 | 
 | 674 | 	.long	1073427362 | 
 | 675 | 	.long	814012168 | 
 | 676 | 	.long	3160571998 | 
 | 677 | 	.long	2380618042 | 
 | 678 | 	.long	1073437042 | 
 | 679 | 	.long	3149557219 | 
 | 680 | 	.long	3164369375 | 
 | 681 | 	.long	4076559943 | 
 | 682 | 	.long	1073446774 | 
 | 683 | 	.long	2119478331 | 
 | 684 | 	.long	3161806927 | 
 | 685 | 	.long	815859274 | 
 | 686 | 	.long	1073456560 | 
 | 687 | 	.long	240396590 | 
 | 688 | 	.long	3164536019 | 
 | 689 | 	.long	2420883922 | 
 | 690 | 	.long	1073466398 | 
 | 691 | 	.long	2049810052 | 
 | 692 | 	.long	1015168464 | 
 | 693 | 	.long	1540824585 | 
 | 694 | 	.long	1073476290 | 
 | 695 | 	.long	1064017011 | 
 | 696 | 	.long	3164536266 | 
 | 697 | 	.long	3716502172 | 
 | 698 | 	.long	1073486235 | 
 | 699 | 	.long	2303740125 | 
 | 700 | 	.long	1015091301 | 
 | 701 | 	.long	1610600570 | 
 | 702 | 	.long	1073496235 | 
 | 703 | 	.long	3766732298 | 
 | 704 | 	.long	1016808759 | 
 | 705 | 	.long	777507147 | 
 | 706 | 	.long	1073506289 | 
 | 707 | 	.long	4282924205 | 
 | 708 | 	.long	1016236109 | 
 | 709 | 	.long	2483480501 | 
 | 710 | 	.long	1073516397 | 
 | 711 | 	.long	1216371780 | 
 | 712 | 	.long	1014082748 | 
 | 713 | 	.long	3706687593 | 
 | 714 | 	.long	1073526560 | 
 | 715 | 	.long	3521726940 | 
 | 716 | 	.long	1014301643 | 
 | 717 | 	.long	1432208378 | 
 | 718 | 	.long	1073536779 | 
 | 719 | 	.long	1401068914 | 
 | 720 | 	.long	3163412539 | 
 | 721 | 	.long	1242007932 | 
 | 722 | 	.long	1073547053 | 
 | 723 | 	.long	1132034716 | 
 | 724 | 	.long	3164388407 | 
 | 725 | 	.long	135105010 | 
 | 726 | 	.long	1073557383 | 
 | 727 | 	.long	1906148728 | 
 | 728 | 	.long	3164424315 | 
 | 729 | 	.long	3707479175 | 
 | 730 | 	.long	1073567768 | 
 | 731 | 	.long	3613079303 | 
 | 732 | 	.long	1015213314 | 
 | 733 | 	.long	382305176 | 
 | 734 | 	.long	1073578211 | 
 | 735 | 	.long	2347622376 | 
 | 736 | 	.long	3163627201 | 
 | 737 | 	.long	64696965 | 
 | 738 | 	.long	1073588710 | 
 | 739 | 	.long	1768797490 | 
 | 740 | 	.long	1016865536 | 
 | 741 | 	.long	4076975200 | 
 | 742 | 	.long	1073599265 | 
 | 743 | 	.long	2029000899 | 
 | 744 | 	.long	1016257111 | 
 | 745 | 	.long	863738719 | 
 | 746 | 	.long	1073609879 | 
 | 747 | 	.long	1326992220 | 
 | 748 | 	.long	3163661773 | 
 | 749 | 	.long	351641897 | 
 | 750 | 	.long	1073620550 | 
 | 751 | 	.long	2172261526 | 
 | 752 | 	.long	3164059175 | 
 | 753 | 	.long	3884662774 | 
 | 754 | 	.long	1073631278 | 
 | 755 | 	.long	2158611599 | 
 | 756 | 	.long	1015258761 | 
 | 757 | 	.long	4224142467 | 
 | 758 | 	.long	1073642065 | 
 | 759 | 	.long	3389820386 | 
 | 760 | 	.long	1016255778 | 
 | 761 | 	.long	2728693978 | 
 | 762 | 	.long	1073652911 | 
 | 763 | 	.long	396109971 | 
 | 764 | 	.long	3164511267 | 
 | 765 | 	.long	764307441 | 
 | 766 | 	.long	1073663816 | 
 | 767 | 	.long	3021057420 | 
 | 768 | 	.long	3164378099 | 
 | 769 | 	.long	3999357479 | 
 | 770 | 	.long	1073674779 | 
 | 771 | 	.long	2258941616 | 
 | 772 | 	.long	1016973300 | 
 | 773 | 	.long	929806999 | 
 | 774 | 	.long	1073685803 | 
 | 775 | 	.long	3205336643 | 
 | 776 | 	.long	1016308133 | 
 | 777 | 	.long	1533953344 | 
 | 778 | 	.long	1073696886 | 
 | 779 | 	.long	769171851 | 
 | 780 | 	.long	1016714209 | 
 | 781 | 	.long	2912730644 | 
 | 782 | 	.long	1073708029 | 
 | 783 | 	.long	3490067722 | 
 | 784 | 	.long	3164453650 | 
 | 785 | 	.long	2174652632 | 
 | 786 | 	.long	1073719233 | 
 | 787 | 	.long	4087714590 | 
 | 788 | 	.long	1015498835 | 
 | 789 | 	.long	730821105 | 
 | 790 | 	.long	1073730498 | 
 | 791 | 	.long	2523232743 | 
 | 792 | 	.long	1013115764 | 
 | 793 | 	.long	0 | 
 | 794 | 	.long	1072693248 | 
 | 795 | 	.long	0 | 
 | 796 | 	.long	0 | 
 | 797 | 	.long	730821105 | 
 | 798 | 	.long	1072681922 | 
 | 799 | 	.long	2523232743 | 
 | 800 | 	.long	1012067188 | 
 | 801 | 	.long	2174652632 | 
 | 802 | 	.long	1072670657 | 
 | 803 | 	.long	4087714590 | 
 | 804 | 	.long	1014450259 | 
 | 805 | 	.long	2912730644 | 
 | 806 | 	.long	1072659453 | 
 | 807 | 	.long	3490067722 | 
 | 808 | 	.long	3163405074 | 
 | 809 | 	.long	1533953344 | 
 | 810 | 	.long	1072648310 | 
 | 811 | 	.long	769171851 | 
 | 812 | 	.long	1015665633 | 
 | 813 | 	.long	929806999 | 
 | 814 | 	.long	1072637227 | 
 | 815 | 	.long	3205336643 | 
 | 816 | 	.long	1015259557 | 
 | 817 | 	.long	3999357479 | 
 | 818 | 	.long	1072626203 | 
 | 819 | 	.long	2258941616 | 
 | 820 | 	.long	1015924724 | 
 | 821 | 	.long	764307441 | 
 | 822 | 	.long	1072615240 | 
 | 823 | 	.long	3021057420 | 
 | 824 | 	.long	3163329523 | 
 | 825 | 	.long	2728693978 | 
 | 826 | 	.long	1072604335 | 
 | 827 | 	.long	396109971 | 
 | 828 | 	.long	3163462691 | 
 | 829 | 	.long	4224142467 | 
 | 830 | 	.long	1072593489 | 
 | 831 | 	.long	3389820386 | 
 | 832 | 	.long	1015207202 | 
 | 833 | 	.long	3884662774 | 
 | 834 | 	.long	1072582702 | 
 | 835 | 	.long	2158611599 | 
 | 836 | 	.long	1014210185 | 
 | 837 | 	.long	351641897 | 
 | 838 | 	.long	1072571974 | 
 | 839 | 	.long	2172261526 | 
 | 840 | 	.long	3163010599 | 
 | 841 | 	.long	863738719 | 
 | 842 | 	.long	1072561303 | 
 | 843 | 	.long	1326992220 | 
 | 844 | 	.long	3162613197 | 
 | 845 | 	.long	4076975200 | 
 | 846 | 	.long	1072550689 | 
 | 847 | 	.long	2029000899 | 
 | 848 | 	.long	1015208535 | 
 | 849 | 	.long	64696965 | 
 | 850 | 	.long	1072540134 | 
 | 851 | 	.long	1768797490 | 
 | 852 | 	.long	1015816960 | 
 | 853 | 	.long	382305176 | 
 | 854 | 	.long	1072529635 | 
 | 855 | 	.long	2347622376 | 
 | 856 | 	.long	3162578625 | 
 | 857 | 	.long	3707479175 | 
 | 858 | 	.long	1072519192 | 
 | 859 | 	.long	3613079303 | 
 | 860 | 	.long	1014164738 | 
 | 861 | 	.long	135105010 | 
 | 862 | 	.long	1072508807 | 
 | 863 | 	.long	1906148728 | 
 | 864 | 	.long	3163375739 | 
 | 865 | 	.long	1242007932 | 
 | 866 | 	.long	1072498477 | 
 | 867 | 	.long	1132034716 | 
 | 868 | 	.long	3163339831 | 
 | 869 | 	.long	1432208378 | 
 | 870 | 	.long	1072488203 | 
 | 871 | 	.long	1401068914 | 
 | 872 | 	.long	3162363963 | 
 | 873 | 	.long	3706687593 | 
 | 874 | 	.long	1072477984 | 
 | 875 | 	.long	3521726940 | 
 | 876 | 	.long	1013253067 | 
 | 877 | 	.long	2483480501 | 
 | 878 | 	.long	1072467821 | 
 | 879 | 	.long	1216371780 | 
 | 880 | 	.long	1013034172 | 
 | 881 | 	.long	777507147 | 
 | 882 | 	.long	1072457713 | 
 | 883 | 	.long	4282924205 | 
 | 884 | 	.long	1015187533 | 
 | 885 | 	.long	1610600570 | 
 | 886 | 	.long	1072447659 | 
 | 887 | 	.long	3766732298 | 
 | 888 | 	.long	1015760183 | 
 | 889 | 	.long	3716502172 | 
 | 890 | 	.long	1072437659 | 
 | 891 | 	.long	2303740125 | 
 | 892 | 	.long	1014042725 | 
 | 893 | 	.long	1540824585 | 
 | 894 | 	.long	1072427714 | 
 | 895 | 	.long	1064017011 | 
 | 896 | 	.long	3163487690 | 
 | 897 | 	.long	2420883922 | 
 | 898 | 	.long	1072417822 | 
 | 899 | 	.long	2049810052 | 
 | 900 | 	.long	1014119888 | 
 | 901 | 	.long	815859274 | 
 | 902 | 	.long	1072407984 | 
 | 903 | 	.long	240396590 | 
 | 904 | 	.long	3163487443 | 
 | 905 | 	.long	4076559943 | 
 | 906 | 	.long	1072398198 | 
 | 907 | 	.long	2119478331 | 
 | 908 | 	.long	3160758351 | 
 | 909 | 	.long	2380618042 | 
 | 910 | 	.long	1072388466 | 
 | 911 | 	.long	3149557219 | 
 | 912 | 	.long	3163320799 | 
 | 913 | 	.long	3092190715 | 
 | 914 | 	.long	1072378786 | 
 | 915 | 	.long	814012168 | 
 | 916 | 	.long	3159523422 | 
 | 917 | 	.long	697153126 | 
 | 918 | 	.long	1072369159 | 
 | 919 | 	.long	1283515429 | 
 | 920 | 	.long	3163283189 | 
 | 921 | 	.long	2572866477 | 
 | 922 | 	.long	1072359583 | 
 | 923 | 	.long	878562433 | 
 | 924 | 	.long	1015521741 | 
 | 925 | 	.long	3218338682 | 
 | 926 | 	.long	1072350059 | 
 | 927 | 	.long	3404164304 | 
 | 928 | 	.long	3162477108 | 
 | 929 | 	.long	1434058175 | 
 | 930 | 	.long	1072340587 | 
 | 931 | 	.long	251133233 | 
 | 932 | 	.long	1015085769 | 
 | 933 | 	.long	321958744 | 
 | 934 | 	.long	1072331166 | 
 | 935 | 	.long	3401933767 | 
 | 936 | 	.long	1015794558 | 
 | 937 | 	.long	2990417245 | 
 | 938 | 	.long	1072321795 | 
 | 939 | 	.long	3683467745 | 
 | 940 | 	.long	3163369326 | 
 | 941 | 	.long	3964284211 | 
 | 942 | 	.long	1072312475 | 
 | 943 | 	.long	2111583915 | 
 | 944 | 	.long	1015427164 | 
 | 945 | 	.long	2069751141 | 
 | 946 | 	.long	1072303206 | 
 | 947 | 	.long	1562170675 | 
 | 948 | 	.long	3162724681 | 
 | 949 | 	.long	434316067 | 
 | 950 | 	.long	1072293987 | 
 | 951 | 	.long	2028358766 | 
 | 952 | 	.long	1013458122 | 
 | 953 | 	.long	2191782032 | 
 | 954 | 	.long	1072284817 | 
 | 955 | 	.long	2960257726 | 
 | 956 | 	.long	1013742662 | 
 | 957 | 	.long	1892288442 | 
 | 958 | 	.long	1072275697 | 
 | 959 | 	.long	2446255666 | 
 | 960 | 	.long	3162600381 | 
 | 961 | 	.long	2682146384 | 
 | 962 | 	.long	1072266626 | 
 | 963 | 	.long	2082178513 | 
 | 964 | 	.long	3163363419 | 
 | 965 | 	.long	3418903055 | 
 | 966 | 	.long	1072257604 | 
 | 967 | 	.long	2527457337 | 
 | 968 | 	.long	3160820604 | 
 | 969 | 	.long	2966275557 | 
 | 970 | 	.long	1072248631 | 
 | 971 | 	.long	2176155324 | 
 | 972 | 	.long	3159842759 | 
 | 973 | 	.long	194117574 | 
 | 974 | 	.long	1072239707 | 
 | 975 | 	.long	777528612 | 
 | 976 | 	.long	3163412089 | 
 | 977 | 	.long	2568320822 | 
 | 978 | 	.long	1072230830 | 
 | 979 | 	.long	2732824428 | 
 | 980 | 	.long	1014352915 | 
 | 981 | 	.long	380978316 | 
 | 982 | 	.long	1072222002 | 
 | 983 | 	.long	854188970 | 
 | 984 | 	.long	3160462686 | 
 | 985 | 	.long	1110089947 | 
 | 986 | 	.long	1072213221 | 
 | 987 | 	.long	1451641639 | 
 | 988 | 	.long	1015474673 | 
 | 989 | 	.long	3649726105 | 
 | 990 | 	.long	1072204487 | 
 | 991 | 	.long	4085036346 | 
 | 992 | 	.long	1015649474 | 
 | 993 | 	.long	2604962541 | 
 | 994 | 	.long	1072195801 | 
 | 995 | 	.long	2614425274 | 
 | 996 | 	.long	3163539192 | 
 | 997 | 	.long	1176749997 | 
 | 998 | 	.long	1072187162 | 
 | 999 | 	.long	2738998779 | 
 | 1000 | 	.long	3162035844 | 
 | 1001 | 	.long	2571947539 | 
 | 1002 | 	.long	1072178569 | 
 | 1003 | 	.long	3558159064 | 
 | 1004 | 	.long	3163376669 | 
 | 1005 | 	.long	1413356050 | 
 | 1006 | 	.long	1072170023 | 
 | 1007 | 	.long	1651349291 | 
 | 1008 | 	.long	3162668166 | 
 | 1009 | 	.long	919555682 | 
 | 1010 | 	.long	1072161523 | 
 | 1011 | 	.long	3121969534 | 
 | 1012 | 	.long	1012948226 | 
 | 1013 | 	.long	19972402 | 
 | 1014 | 	.long	1072153069 | 
 | 1015 | 	.long	3507899862 | 
 | 1016 | 	.long	1016009292 | 
 | 1017 | 	.long	1944781191 | 
 | 1018 | 	.long	1072144660 | 
 | 1019 | 	.long	3993278767 | 
 | 1020 | 	.long	3161724279 | 
 | 1021 | 	.long	1339972927 | 
 | 1022 | 	.long	1072136297 | 
 | 1023 | 	.long	167908909 | 
 | 1024 | 	.long	1015572152 | 
 | 1025 | 	.long	1447192521 | 
 | 1026 | 	.long	1072127979 | 
 | 1027 | 	.long	1462857171 | 
 | 1028 | 	.long	3162514521 | 
 | 1029 | 	.long	1218806132 | 
 | 1030 | 	.long	1072119706 | 
 | 1031 | 	.long	1818613052 | 
 | 1032 | 	.long	3162548441 | 
 | 1033 | 	.long	3907805044 | 
 | 1034 | 	.long	1072111477 | 
 | 1035 | 	.long	2257091225 | 
 | 1036 | 	.long	3161550407 | 
 | 1037 | 	.long	4182873220 | 
 | 1038 | 	.long	1072103293 | 
 | 1039 | 	.long	629542646 | 
 | 1040 | 	.long	3161996303 | 
 | 1041 | 	.long	1013258799 | 
 | 1042 | 	.long	1072095154 | 
 | 1043 | 	.long	1748797611 | 
 | 1044 | 	.long	3160129082 | 
 | 1045 | 	.long	1963711167 | 
 | 1046 | 	.long	1072087058 | 
 | 1047 | 	.long	1744767757 | 
 | 1048 | 	.long	3160574294 | 
 | 1049 | 	.long	1719614413 | 
 | 1050 | 	.long	1072079006 | 
 | 1051 | 	.long	330458198 | 
 | 1052 | 	.long	3163282740 | 
 | 1053 | 	.long	3561793907 | 
 | 1054 | 	.long	1072070997 | 
 | 1055 | 	.long	1157054053 | 
 | 1056 | 	.long	1011890350 | 
 | 1057 | 	.long	2186617381 | 
 | 1058 | 	.long	1072063032 | 
 | 1059 | 	.long	2270764084 | 
 | 1060 | 	.long	3163272713 | 
 | 1061 | 	.long	885834528 | 
 | 1062 | 	.long	1072055110 | 
 | 1063 | 	.long	1973258547 | 
 | 1064 | 	.long	3162261564 | 
 | 1065 | 	.long	2956612997 | 
 | 1066 | 	.long	1072047230 | 
 | 1067 | 	.long	2118169751 | 
 | 1068 | 	.long	3162735553 | 
 | 1069 | 	.long	3111574537 | 
 | 1070 | 	.long	1072039393 | 
 | 1071 | 	.long	2606161479 | 
 | 1072 | 	.long	3162759746 | 
 | 1073 | 	.long	363667784 | 
 | 1074 | 	.long	1072031599 | 
 | 1075 | 	.long	813753950 | 
 | 1076 | 	.long	1015785209 | 
 | 1077 | 	.long	2321106615 | 
 | 1078 | 	.long	1072023846 | 
 | 1079 | 	.long	2171176610 | 
 | 1080 | 	.long	1009535771 | 
 | 1081 | 	.long	3712504873 | 
 | 1082 | 	.long	1072016135 | 
 | 1083 | 	.long	88491949 | 
 | 1084 | 	.long	1015427660 | 
 | 1085 | 	.long	3566716925 | 
 | 1086 | 	.long	1072008466 | 
 | 1087 | 	.long	1536826856 | 
 | 1088 | 	.long	1014142433 | 
 | 1089 | 	.long	917841882 | 
 | 1090 | 	.long	1072000839 | 
 | 1091 | 	.long	18715565 | 
 | 1092 | 	.long	1015659308 | 
 | 1093 | 	.long	3395129871 | 
 | 1094 | 	.long	1071993252 | 
 | 1095 | 	.long	4025345435 | 
 | 1096 | 	.long	3162335388 | 
 | 1097 | 	.long	1453150082 | 
 | 1098 | 	.long	1071985707 | 
 | 1099 | 	.long	498154669 | 
 | 1100 | 	.long	3161488062 | 
 | 1101 | 	.long	2731501122 | 
 | 1102 | 	.long	1071978202 | 
 | 1103 | 	.long	1774031855 | 
 | 1104 | 	.long	3162470021 | 
 | 1105 | 	.long	1990012071 | 
 | 1106 | 	.long	1071970738 | 
 | 1107 | 	.long	3529070563 | 
 | 1108 | 	.long	3162813193 | 
 | 1109 | 	.long	2583551245 | 
 | 1110 | 	.long	1071963314 | 
 | 1111 | 	.long	3161094195 | 
 | 1112 | 	.long	1015606491 | 
 | 1113 | 	.long	3577096743 | 
 | 1114 | 	.long	1071955930 | 
 | 1115 | 	.long	2951496418 | 
 | 1116 | 	.long	1013793687 | 
 | 1117 | 	.long	4040676318 | 
 | 1118 | 	.long	1071948586 | 
 | 1119 | 	.long	4090609238 | 
 | 1120 | 	.long	1015663458 | 
 | 1121 | 	.long	3049340112 | 
 | 1122 | 	.long	1071941282 | 
 | 1123 | 	.long	3062915824 | 
 | 1124 | 	.long	1013170595 | 
 | 1125 | 	.long	3978100823 | 
 | 1126 | 	.long	1071934017 | 
 | 1127 | 	.long	3513027190 | 
 | 1128 | 	.long	1015845963 | 
 | 1129 | 	.long	1617004845 | 
 | 1130 | 	.long	1071926792 | 
 | 1131 | 	.long	82804944 | 
 | 1132 | 	.long	1010342778 | 
 | 1133 | 	.long	3645941911 | 
 | 1134 | 	.long	1071919605 | 
 | 1135 | 	.long	3814685081 | 
 | 1136 | 	.long	3161573341 | 
 | 1137 | 	.long	569847338 | 
 | 1138 | 	.long	1071912458 | 
 | 1139 | 	.long	472945272 | 
 | 1140 | 	.long	3159290729 | 
 | 1141 | 	.long	78413852 | 
 | 1142 | 	.long	1071905349 | 
 | 1143 | 	.long	4183226867 | 
 | 1144 | 	.long	3163017251 | 
 | 1145 | 	.long	1276261410 | 
 | 1146 | 	.long	1071898278 | 
 | 1147 | 	.long	300981948 | 
 | 1148 | 	.long	1014684169 | 
 | 1149 | 	.long	3272845541 | 
 | 1150 | 	.long	1071891245 | 
 | 1151 | 	.long	928852419 | 
 | 1152 | 	.long	3163488248 | 
 | 1153 | 	.long	887463927 | 
 | 1154 | 	.long	1071884251 | 
 | 1155 | 	.long	3596744163 | 
 | 1156 | 	.long	3160794166 | 
 | 1157 | 	.long	1829099622 | 
 | 1158 | 	.long	1071877294 | 
 | 1159 | 	.long	1016661181 | 
 | 1160 | 	.long	3163461005 | 
 | 1161 | 	.long	926591435 | 
 | 1162 | 	.long	1071870375 | 
 | 1163 | 	.long	3208833762 | 
 | 1164 | 	.long	3162913514 | 
 | 1165 | 	.long	1603444721 | 
 | 1166 | 	.long	1071863493 | 
 | 1167 | 	.long	1548633640 | 
 | 1168 | 	.long	3162201326 | 
 | 1169 | 	.long	2992903935 | 
 | 1170 | 	.long	1071856648 | 
 | 1171 | 	.long	2218154406 | 
 | 1172 | 	.long	1015228193 | 
 | 1173 | 	.long	4232894513 | 
 | 1174 | 	.long	1071849840 | 
 | 1175 | 	.long	2383938684 | 
 | 1176 | 	.long	1014668519 | 
 | 1177 | 	.long	171030293 | 
 | 1178 | 	.long	1071843070 | 
 | 1179 | 	.long	3526460132 | 
 | 1180 | 	.long	1014428778 | 
 | 1181 | 	.long	2839424854 | 
 | 1182 | 	.long	1071836335 | 
 | 1183 | 	.long	1171596163 | 
 | 1184 | 	.long	1013041679 | 
 | 1185 | 	.long	2799960843 | 
 | 1186 | 	.long	1071829637 | 
 | 1187 | 	.long	1423655381 | 
 | 1188 | 	.long	1015022151 | 
 | 1189 | 	.long	3504003472 | 
 | 1190 | 	.long	1071822975 | 
 | 1191 | 	.long	3594001060 | 
 | 1192 | 	.long	3157330652 | 
 | 1193 | 	.long	4112506593 | 
 | 1194 | 	.long	1071816349 | 
 | 1195 | 	.long	2947355221 | 
 | 1196 | 	.long	1014371048 | 
 | 1197 | 	.long	3790955393 | 
 | 1198 | 	.long	1071809759 | 
 | 1199 | 	.long	2352942462 | 
 | 1200 | 	.long	3163180090 | 
 | 1201 | 	.long	1709341917 | 
 | 1202 | 	.long	1071803205 | 
 | 1203 | 	.long	2571168217 | 
 | 1204 | 	.long	1014152499 | 
 | 1205 | 	.long	1337108031 | 
 | 1206 | 	.long	1071796686 | 
 | 1207 | 	.long	3203724452 | 
 | 1208 | 	.long	1014677845 | 
 | 1209 | 	.long	1853186616 | 
 | 1210 | 	.long	1071790202 | 
 | 1211 | 	.long	3066496371 | 
 | 1212 | 	.long	1015656574 | 
 | 1213 | 	.long	2440944790 | 
 | 1214 | 	.long	1071783753 | 
 | 1215 | 	.long	2492769774 | 
 | 1216 | 	.long	1014147454 | 
 | 1217 | 	.long	2288159958 | 
 | 1218 | 	.long	1071777339 | 
 | 1219 | 	.long	2169144469 | 
 | 1220 | 	.long	1014876021 | 
 | 1221 | 	.long	586995997 | 
 | 1222 | 	.long	1071770960 | 
 | 1223 | 	.long	41662348 | 
 | 1224 | 	.long	3162627992 | 
 | 1225 | 	.long	828946858 | 
 | 1226 | 	.long	1071764615 | 
 | 1227 | 	.long	10642492 | 
 | 1228 | 	.long	1015939438 | 
 | 1229 | 	.long	2214878420 | 
 | 1230 | 	.long	1071758304 | 
 | 1231 | 	.long	892270087 | 
 | 1232 | 	.long	3163116422 | 
 | 1233 | 	.long	3949972341 | 
 | 1234 | 	.long	1071752027 | 
 | 1235 | 	.long	2068408548 | 
 | 1236 | 	.long	1014913868 | 
 | 1237 | 	.long	948735466 | 
 | 1238 | 	.long	1071745785 | 
 | 1239 | 	.long	3516338028 | 
 | 1240 | 	.long	3162574883 | 
 | 1241 | 	.long	1014845819 | 
 | 1242 | 	.long	1071739576 | 
 | 1243 | 	.long	3117910646 | 
 | 1244 | 	.long	3161559105 | 
 | 1245 | 	.long	3366293073 | 
 | 1246 | 	.long	1071733400 | 
 | 1247 | 	.long	3119426314 | 
 | 1248 | 	.long	1014120554 | 
 | 1249 | 	.long	2930322912 | 
 | 1250 | 	.long	1071727258 | 
 | 1251 | 	.long	2599499422 | 
 | 1252 | 	.long	3162714047 | 
 | 1253 | 	.long	3228316108 | 
 | 1254 | 	.long	1071721149 | 
 | 1255 | 	.long	3010241991 | 
 | 1256 | 	.long	3158422804 | 
 | 1257 | 	.long	3490863953 | 
 | 1258 | 	.long	1071715073 | 
 | 1259 | 	.long	960797498 | 
 | 1260 | 	.long	3162948880 | 
 | 1261 | 	.long	2952712987 | 
 | 1262 | 	.long	1071709030 | 
 | 1263 | 	.long	3293494651 | 
 | 1264 | 	.long	3160120301 | 
 | 1265 | 	.long	852742562 | 
 | 1266 | 	.long	1071703020 | 
 | 1267 | 	.long	667253586 | 
 | 1268 | 	.long	1009793559 | 
 | 1269 | 	.long	728909815 | 
 | 1270 | 	.long	1071697042 | 
 | 1271 | 	.long	383930225 | 
 | 1272 | 	.long	1015029468 | 
 | 1273 | 	.long	1828292879 | 
 | 1274 | 	.long	1071691096 | 
 | 1275 | 	.long	1255956747 | 
 | 1276 | 	.long	1015588398 | 
 | 1277 | 	.long	3402036099 | 
 | 1278 | 	.long	1071685182 | 
 | 1279 | 	.long	405889334 | 
 | 1280 | 	.long	1015105656 | 
 | 1281 | 	.long	410360776 | 
 | 1282 | 	.long	1071679301 | 
 | 1283 | 	.long	1269990655 | 
 | 1284 | 	.long	1011975870 | 
 | 1285 | 	.long	702412510 | 
 | 1286 | 	.long	1071673451 | 
 | 1287 | 	.long	3803266087 | 
 | 1288 | 	.long	3162280415 | 
 | 1289 | 	.long	3541402996 | 
 | 1290 | 	.long	1071667632 | 
 | 1291 | 	.long	2759177317 | 
 | 1292 | 	.long	1014854626 | 
 | 1293 | 	.long	3899555717 | 
 | 1294 | 	.long	1071661845 | 
 | 1295 | 	.long	427280750 | 
 | 1296 | 	.long	3162546972 | 
 | 1297 | 	.long	1048019041 | 
 | 1298 | 	.long	1071656090 | 
 | 1299 | 	.long	1398474845 | 
 | 1300 | 	.long	3160510595 | 
 | 1301 | 	.long	2851812149 | 
 | 1302 | 	.long	1071650365 | 
 | 1303 | 	.long	2595802551 | 
 | 1304 | 	.long	1015767337 | 
 | 1305 | 	.long	0 | 
 | 1306 | 	.long	1127743488 | 
 | 1307 | 	.long	0 | 
 | 1308 | 	.long	3275227136 | 
 | 1309 | 	.long	3607404736 | 
 | 1310 | 	.long	1044146952 | 
 | 1311 | 	.long	3607404736 | 
 | 1312 | 	.long	3191630600 | 
 | 1313 | 	.long	4277811695 | 
 | 1314 | 	.long	1063661122 | 
 | 1315 | 	.long	4277811695 | 
 | 1316 | 	.long	3211144770 | 
 | 1317 | 	.long	2140175755 | 
 | 1318 | 	.long	1033864261 | 
 | 1319 | 	.long	2140175755 | 
 | 1320 | 	.long	1033864261 | 
 | 1321 | 	.long	4289495988 | 
 | 1322 | 	.long	1054113747 | 
 | 1323 | 	.long	4289495988 | 
 | 1324 | 	.long	1054113747 | 
 | 1325 | 	.long	4277811695 | 
 | 1326 | 	.long	1064709698 | 
 | 1327 | 	.long	4277811695 | 
 | 1328 | 	.long	3212193346 | 
 | 1329 | 	.long	1610612736 | 
 | 1330 | 	.long	1080497479 | 
 | 1331 | 	.long	4166901572 | 
 | 1332 | 	.long	1053077003 | 
 | 1333 | 	.long	3078135644 | 
 | 1334 | 	.long	1049787983 | 
 | 1335 | 	.long	381774870 | 
 | 1336 | 	.long	1062650220 | 
 | 1337 | 	.long	436314137 | 
 | 1338 | 	.long	1056571808 | 
 | 1339 | 	.long	1431655765 | 
 | 1340 | 	.long	1067799893 | 
 | 1341 | 	.long	4160749568 | 
 | 1342 | 	.long	2147483647 | 
 | 1343 | 	.long	0 | 
 | 1344 | 	.long	1072693248 | 
 | 1345 | 	.type	static_const_table,@object | 
 | 1346 | 	.size	static_const_table,4256 | 
 | 1347 | 	.data | 
 | 1348 | 	.section .note.GNU-stack, "" | 
 | 1349 | # End |