| 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 |