Home | History | Annotate | Download | only in traces
      1 // Copyright 2015, VIXL authors
      2 // All rights reserved.
      3 //
      4 // Redistribution and use in source and binary forms, with or without
      5 // modification, are permitted provided that the following conditions are met:
      6 //
      7 //   * Redistributions of source code must retain the above copyright notice,
      8 //     this list of conditions and the following disclaimer.
      9 //   * Redistributions in binary form must reproduce the above copyright notice,
     10 //     this list of conditions and the following disclaimer in the documentation
     11 //     and/or other materials provided with the distribution.
     12 //   * Neither the name of ARM Limited nor the names of its contributors may be
     13 //     used to endorse or promote products derived from this software without
     14 //     specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
     17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
     20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
     23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     26 
     27 
     28 // ---------------------------------------------------------------------
     29 // This file is auto generated using tools/generate_simulator_traces.py.
     30 //
     31 // PLEASE DO NOT EDIT.
     32 // ---------------------------------------------------------------------
     33 
     34 #ifndef VIXL_SIM_UQSHL_D_2OPIMM_TRACE_AARCH64_H_
     35 #define VIXL_SIM_UQSHL_D_2OPIMM_TRACE_AARCH64_H_
     36 
     37 const uint64_t kExpected_NEON_uqshl_D_2OPIMM[] = {
     38   0xffffffffffffffff,
     39   0xffffffffffffffff,
     40   0xffffffffffffffff,
     41   0xffffffffffffffff,
     42   0xffffffffffffffff,
     43   0xffffffffffffffff,
     44   0xffffffffffffffff,
     45   0xffffffffffffffff,
     46   0xffffffffffffffff,
     47   0xffffffffffffffff,
     48   0xffffffffffffffff,
     49   0xffffffffffffffff,
     50   0xffffffffffffffff,
     51   0xffffffffffffffff,
     52   0xffffffffffffffff,
     53   0xffffffffffffffff,
     54   0xffffffffffffffff,
     55   0xffffffffffffffff,
     56   0xffffffffffffffff,
     57   0xffffffffffffffff,
     58   0xffffffffffffffff,
     59   0xffffffffffffffff,
     60   0xffffffffffffffff,
     61   0xffffffffffffffff,
     62   0xffffffffffffffff,
     63   0xffffffffffffffff,
     64   0xffffffffffffffff,
     65   0xffffffffffffffff,
     66   0xffffffffffffffff,
     67   0xffffffffffffffff,
     68   0xffffffffffffffff,
     69   0xffffffffffffffff,
     70   0xffffffffffffffff,
     71   0xffffffffffffffff,
     72   0xffffffffffffffff,
     73   0xffffffffffffffff,
     74   0xffffffffffffffff,
     75   0xffffffffffffffff,
     76   0xffffffffffffffff,
     77   0xffffffffffffffff,
     78   0xffffffffffffffff,
     79   0xffffffffffffffff,
     80   0xffffffffffffffff,
     81   0xffffffffffffffff,
     82   0xffffffffffffffff,
     83   0xffffffffffffffff,
     84   0xffffffffffffffff,
     85   0xffffffffffffffff,
     86   0xffffffffffffffff,
     87   0xffffffffffffffff,
     88   0xffffffffffffffff,
     89   0xffffffffffffffff,
     90   0xffffffffffffffff,
     91   0xffffffffffffffff,
     92   0xffffffffffffffff,
     93   0xffffffffffffffff,
     94   0xffffffffffffffff,
     95   0xffffffffffffffff,
     96   0xffffffffffffffff,
     97   0xffffffffffffffff,
     98   0xffffffffffffffff,
     99   0xffffffffffffffff,
    100   0xffffffffffffffff,
    101   0xffffffffffffffff,
    102   0x0000000000000000,
    103   0x0000000000000000,
    104   0x0000000000000000,
    105   0x0000000000000000,
    106   0x0000000000000000,
    107   0x0000000000000000,
    108   0x0000000000000000,
    109   0x0000000000000000,
    110   0x0000000000000000,
    111   0x0000000000000000,
    112   0x0000000000000000,
    113   0x0000000000000000,
    114   0x0000000000000000,
    115   0x0000000000000000,
    116   0x0000000000000000,
    117   0x0000000000000000,
    118   0x0000000000000000,
    119   0x0000000000000000,
    120   0x0000000000000000,
    121   0x0000000000000000,
    122   0x0000000000000000,
    123   0x0000000000000000,
    124   0x0000000000000000,
    125   0x0000000000000000,
    126   0x0000000000000000,
    127   0x0000000000000000,
    128   0x0000000000000000,
    129   0x0000000000000000,
    130   0x0000000000000000,
    131   0x0000000000000000,
    132   0x0000000000000000,
    133   0x0000000000000000,
    134   0x0000000000000000,
    135   0x0000000000000000,
    136   0x0000000000000000,
    137   0x0000000000000000,
    138   0x0000000000000000,
    139   0x0000000000000000,
    140   0x0000000000000000,
    141   0x0000000000000000,
    142   0x0000000000000000,
    143   0x0000000000000000,
    144   0x0000000000000000,
    145   0x0000000000000000,
    146   0x0000000000000000,
    147   0x0000000000000000,
    148   0x0000000000000000,
    149   0x0000000000000000,
    150   0x0000000000000000,
    151   0x0000000000000000,
    152   0x0000000000000000,
    153   0x0000000000000000,
    154   0x0000000000000000,
    155   0x0000000000000000,
    156   0x0000000000000000,
    157   0x0000000000000000,
    158   0x0000000000000000,
    159   0x0000000000000000,
    160   0x0000000000000000,
    161   0x0000000000000000,
    162   0x0000000000000000,
    163   0x0000000000000000,
    164   0x0000000000000000,
    165   0x0000000000000000,
    166   0x0000000000000001,
    167   0x0000000000000002,
    168   0x0000000000000004,
    169   0x0000000000000008,
    170   0x0000000000000010,
    171   0x0000000000000020,
    172   0x0000000000000040,
    173   0x0000000000000080,
    174   0x0000000000000100,
    175   0x0000000000000200,
    176   0x0000000000000400,
    177   0x0000000000000800,
    178   0x0000000000001000,
    179   0x0000000000002000,
    180   0x0000000000004000,
    181   0x0000000000008000,
    182   0x0000000000010000,
    183   0x0000000000020000,
    184   0x0000000000040000,
    185   0x0000000000080000,
    186   0x0000000000100000,
    187   0x0000000000200000,
    188   0x0000000000400000,
    189   0x0000000000800000,
    190   0x0000000001000000,
    191   0x0000000002000000,
    192   0x0000000004000000,
    193   0x0000000008000000,
    194   0x0000000010000000,
    195   0x0000000020000000,
    196   0x0000000040000000,
    197   0x0000000080000000,
    198   0x0000000100000000,
    199   0x0000000200000000,
    200   0x0000000400000000,
    201   0x0000000800000000,
    202   0x0000001000000000,
    203   0x0000002000000000,
    204   0x0000004000000000,
    205   0x0000008000000000,
    206   0x0000010000000000,
    207   0x0000020000000000,
    208   0x0000040000000000,
    209   0x0000080000000000,
    210   0x0000100000000000,
    211   0x0000200000000000,
    212   0x0000400000000000,
    213   0x0000800000000000,
    214   0x0001000000000000,
    215   0x0002000000000000,
    216   0x0004000000000000,
    217   0x0008000000000000,
    218   0x0010000000000000,
    219   0x0020000000000000,
    220   0x0040000000000000,
    221   0x0080000000000000,
    222   0x0100000000000000,
    223   0x0200000000000000,
    224   0x0400000000000000,
    225   0x0800000000000000,
    226   0x1000000000000000,
    227   0x2000000000000000,
    228   0x4000000000000000,
    229   0x8000000000000000,
    230   0x0000000000000002,
    231   0x0000000000000004,
    232   0x0000000000000008,
    233   0x0000000000000010,
    234   0x0000000000000020,
    235   0x0000000000000040,
    236   0x0000000000000080,
    237   0x0000000000000100,
    238   0x0000000000000200,
    239   0x0000000000000400,
    240   0x0000000000000800,
    241   0x0000000000001000,
    242   0x0000000000002000,
    243   0x0000000000004000,
    244   0x0000000000008000,
    245   0x0000000000010000,
    246   0x0000000000020000,
    247   0x0000000000040000,
    248   0x0000000000080000,
    249   0x0000000000100000,
    250   0x0000000000200000,
    251   0x0000000000400000,
    252   0x0000000000800000,
    253   0x0000000001000000,
    254   0x0000000002000000,
    255   0x0000000004000000,
    256   0x0000000008000000,
    257   0x0000000010000000,
    258   0x0000000020000000,
    259   0x0000000040000000,
    260   0x0000000080000000,
    261   0x0000000100000000,
    262   0x0000000200000000,
    263   0x0000000400000000,
    264   0x0000000800000000,
    265   0x0000001000000000,
    266   0x0000002000000000,
    267   0x0000004000000000,
    268   0x0000008000000000,
    269   0x0000010000000000,
    270   0x0000020000000000,
    271   0x0000040000000000,
    272   0x0000080000000000,
    273   0x0000100000000000,
    274   0x0000200000000000,
    275   0x0000400000000000,
    276   0x0000800000000000,
    277   0x0001000000000000,
    278   0x0002000000000000,
    279   0x0004000000000000,
    280   0x0008000000000000,
    281   0x0010000000000000,
    282   0x0020000000000000,
    283   0x0040000000000000,
    284   0x0080000000000000,
    285   0x0100000000000000,
    286   0x0200000000000000,
    287   0x0400000000000000,
    288   0x0800000000000000,
    289   0x1000000000000000,
    290   0x2000000000000000,
    291   0x4000000000000000,
    292   0x8000000000000000,
    293   0xffffffffffffffff,
    294   0x0000000000000040,
    295   0x0000000000000080,
    296   0x0000000000000100,
    297   0x0000000000000200,
    298   0x0000000000000400,
    299   0x0000000000000800,
    300   0x0000000000001000,
    301   0x0000000000002000,
    302   0x0000000000004000,
    303   0x0000000000008000,
    304   0x0000000000010000,
    305   0x0000000000020000,
    306   0x0000000000040000,
    307   0x0000000000080000,
    308   0x0000000000100000,
    309   0x0000000000200000,
    310   0x0000000000400000,
    311   0x0000000000800000,
    312   0x0000000001000000,
    313   0x0000000002000000,
    314   0x0000000004000000,
    315   0x0000000008000000,
    316   0x0000000010000000,
    317   0x0000000020000000,
    318   0x0000000040000000,
    319   0x0000000080000000,
    320   0x0000000100000000,
    321   0x0000000200000000,
    322   0x0000000400000000,
    323   0x0000000800000000,
    324   0x0000001000000000,
    325   0x0000002000000000,
    326   0x0000004000000000,
    327   0x0000008000000000,
    328   0x0000010000000000,
    329   0x0000020000000000,
    330   0x0000040000000000,
    331   0x0000080000000000,
    332   0x0000100000000000,
    333   0x0000200000000000,
    334   0x0000400000000000,
    335   0x0000800000000000,
    336   0x0001000000000000,
    337   0x0002000000000000,
    338   0x0004000000000000,
    339   0x0008000000000000,
    340   0x0010000000000000,
    341   0x0020000000000000,
    342   0x0040000000000000,
    343   0x0080000000000000,
    344   0x0100000000000000,
    345   0x0200000000000000,
    346   0x0400000000000000,
    347   0x0800000000000000,
    348   0x1000000000000000,
    349   0x2000000000000000,
    350   0x4000000000000000,
    351   0x8000000000000000,
    352   0xffffffffffffffff,
    353   0xffffffffffffffff,
    354   0xffffffffffffffff,
    355   0xffffffffffffffff,
    356   0xffffffffffffffff,
    357   0xffffffffffffffff,
    358   0x000000000000007d,
    359   0x00000000000000fa,
    360   0x00000000000001f4,
    361   0x00000000000003e8,
    362   0x00000000000007d0,
    363   0x0000000000000fa0,
    364   0x0000000000001f40,
    365   0x0000000000003e80,
    366   0x0000000000007d00,
    367   0x000000000000fa00,
    368   0x000000000001f400,
    369   0x000000000003e800,
    370   0x000000000007d000,
    371   0x00000000000fa000,
    372   0x00000000001f4000,
    373   0x00000000003e8000,
    374   0x00000000007d0000,
    375   0x0000000000fa0000,
    376   0x0000000001f40000,
    377   0x0000000003e80000,
    378   0x0000000007d00000,
    379   0x000000000fa00000,
    380   0x000000001f400000,
    381   0x000000003e800000,
    382   0x000000007d000000,
    383   0x00000000fa000000,
    384   0x00000001f4000000,
    385   0x00000003e8000000,
    386   0x00000007d0000000,
    387   0x0000000fa0000000,
    388   0x0000001f40000000,
    389   0x0000003e80000000,
    390   0x0000007d00000000,
    391   0x000000fa00000000,
    392   0x000001f400000000,
    393   0x000003e800000000,
    394   0x000007d000000000,
    395   0x00000fa000000000,
    396   0x00001f4000000000,
    397   0x00003e8000000000,
    398   0x00007d0000000000,
    399   0x0000fa0000000000,
    400   0x0001f40000000000,
    401   0x0003e80000000000,
    402   0x0007d00000000000,
    403   0x000fa00000000000,
    404   0x001f400000000000,
    405   0x003e800000000000,
    406   0x007d000000000000,
    407   0x00fa000000000000,
    408   0x01f4000000000000,
    409   0x03e8000000000000,
    410   0x07d0000000000000,
    411   0x0fa0000000000000,
    412   0x1f40000000000000,
    413   0x3e80000000000000,
    414   0x7d00000000000000,
    415   0xfa00000000000000,
    416   0xffffffffffffffff,
    417   0xffffffffffffffff,
    418   0xffffffffffffffff,
    419   0xffffffffffffffff,
    420   0xffffffffffffffff,
    421   0xffffffffffffffff,
    422   0x000000000000007e,
    423   0x00000000000000fc,
    424   0x00000000000001f8,
    425   0x00000000000003f0,
    426   0x00000000000007e0,
    427   0x0000000000000fc0,
    428   0x0000000000001f80,
    429   0x0000000000003f00,
    430   0x0000000000007e00,
    431   0x000000000000fc00,
    432   0x000000000001f800,
    433   0x000000000003f000,
    434   0x000000000007e000,
    435   0x00000000000fc000,
    436   0x00000000001f8000,
    437   0x00000000003f0000,
    438   0x00000000007e0000,
    439   0x0000000000fc0000,
    440   0x0000000001f80000,
    441   0x0000000003f00000,
    442   0x0000000007e00000,
    443   0x000000000fc00000,
    444   0x000000001f800000,
    445   0x000000003f000000,
    446   0x000000007e000000,
    447   0x00000000fc000000,
    448   0x00000001f8000000,
    449   0x00000003f0000000,
    450   0x00000007e0000000,
    451   0x0000000fc0000000,
    452   0x0000001f80000000,
    453   0x0000003f00000000,
    454   0x0000007e00000000,
    455   0x000000fc00000000,
    456   0x000001f800000000,
    457   0x000003f000000000,
    458   0x000007e000000000,
    459   0x00000fc000000000,
    460   0x00001f8000000000,
    461   0x00003f0000000000,
    462   0x00007e0000000000,
    463   0x0000fc0000000000,
    464   0x0001f80000000000,
    465   0x0003f00000000000,
    466   0x0007e00000000000,
    467   0x000fc00000000000,
    468   0x001f800000000000,
    469   0x003f000000000000,
    470   0x007e000000000000,
    471   0x00fc000000000000,
    472   0x01f8000000000000,
    473   0x03f0000000000000,
    474   0x07e0000000000000,
    475   0x0fc0000000000000,
    476   0x1f80000000000000,
    477   0x3f00000000000000,
    478   0x7e00000000000000,
    479   0xfc00000000000000,
    480   0xffffffffffffffff,
    481   0xffffffffffffffff,
    482   0xffffffffffffffff,
    483   0xffffffffffffffff,
    484   0xffffffffffffffff,
    485   0xffffffffffffffff,
    486   0x000000000000007f,
    487   0x00000000000000fe,
    488   0x00000000000001fc,
    489   0x00000000000003f8,
    490   0x00000000000007f0,
    491   0x0000000000000fe0,
    492   0x0000000000001fc0,
    493   0x0000000000003f80,
    494   0x0000000000007f00,
    495   0x000000000000fe00,
    496   0x000000000001fc00,
    497   0x000000000003f800,
    498   0x000000000007f000,
    499   0x00000000000fe000,
    500   0x00000000001fc000,
    501   0x00000000003f8000,
    502   0x00000000007f0000,
    503   0x0000000000fe0000,
    504   0x0000000001fc0000,
    505   0x0000000003f80000,
    506   0x0000000007f00000,
    507   0x000000000fe00000,
    508   0x000000001fc00000,
    509   0x000000003f800000,
    510   0x000000007f000000,
    511   0x00000000fe000000,
    512   0x00000001fc000000,
    513   0x00000003f8000000,
    514   0x00000007f0000000,
    515   0x0000000fe0000000,
    516   0x0000001fc0000000,
    517   0x0000003f80000000,
    518   0x0000007f00000000,
    519   0x000000fe00000000,
    520   0x000001fc00000000,
    521   0x000003f800000000,
    522   0x000007f000000000,
    523   0x00000fe000000000,
    524   0x00001fc000000000,
    525   0x00003f8000000000,
    526   0x00007f0000000000,
    527   0x0000fe0000000000,
    528   0x0001fc0000000000,
    529   0x0003f80000000000,
    530   0x0007f00000000000,
    531   0x000fe00000000000,
    532   0x001fc00000000000,
    533   0x003f800000000000,
    534   0x007f000000000000,
    535   0x00fe000000000000,
    536   0x01fc000000000000,
    537   0x03f8000000000000,
    538   0x07f0000000000000,
    539   0x0fe0000000000000,
    540   0x1fc0000000000000,
    541   0x3f80000000000000,
    542   0x7f00000000000000,
    543   0xfe00000000000000,
    544   0xffffffffffffffff,
    545   0xffffffffffffffff,
    546   0xffffffffffffffff,
    547   0xffffffffffffffff,
    548   0xffffffffffffffff,
    549   0xffffffffffffffff,
    550   0x0000000000007ffd,
    551   0x000000000000fffa,
    552   0x000000000001fff4,
    553   0x000000000003ffe8,
    554   0x000000000007ffd0,
    555   0x00000000000fffa0,
    556   0x00000000001fff40,
    557   0x00000000003ffe80,
    558   0x00000000007ffd00,
    559   0x0000000000fffa00,
    560   0x0000000001fff400,
    561   0x0000000003ffe800,
    562   0x0000000007ffd000,
    563   0x000000000fffa000,
    564   0x000000001fff4000,
    565   0x000000003ffe8000,
    566   0x000000007ffd0000,
    567   0x00000000fffa0000,
    568   0x00000001fff40000,
    569   0x00000003ffe80000,
    570   0x00000007ffd00000,
    571   0x0000000fffa00000,
    572   0x0000001fff400000,
    573   0x0000003ffe800000,
    574   0x0000007ffd000000,
    575   0x000000fffa000000,
    576   0x000001fff4000000,
    577   0x000003ffe8000000,
    578   0x000007ffd0000000,
    579   0x00000fffa0000000,
    580   0x00001fff40000000,
    581   0x00003ffe80000000,
    582   0x00007ffd00000000,
    583   0x0000fffa00000000,
    584   0x0001fff400000000,
    585   0x0003ffe800000000,
    586   0x0007ffd000000000,
    587   0x000fffa000000000,
    588   0x001fff4000000000,
    589   0x003ffe8000000000,
    590   0x007ffd0000000000,
    591   0x00fffa0000000000,
    592   0x01fff40000000000,
    593   0x03ffe80000000000,
    594   0x07ffd00000000000,
    595   0x0fffa00000000000,
    596   0x1fff400000000000,
    597   0x3ffe800000000000,
    598   0x7ffd000000000000,
    599   0xfffa000000000000,
    600   0xffffffffffffffff,
    601   0xffffffffffffffff,
    602   0xffffffffffffffff,
    603   0xffffffffffffffff,
    604   0xffffffffffffffff,
    605   0xffffffffffffffff,
    606   0xffffffffffffffff,
    607   0xffffffffffffffff,
    608   0xffffffffffffffff,
    609   0xffffffffffffffff,
    610   0xffffffffffffffff,
    611   0xffffffffffffffff,
    612   0xffffffffffffffff,
    613   0xffffffffffffffff,
    614   0x0000000000007ffe,
    615   0x000000000000fffc,
    616   0x000000000001fff8,
    617   0x000000000003fff0,
    618   0x000000000007ffe0,
    619   0x00000000000fffc0,
    620   0x00000000001fff80,
    621   0x00000000003fff00,
    622   0x00000000007ffe00,
    623   0x0000000000fffc00,
    624   0x0000000001fff800,
    625   0x0000000003fff000,
    626   0x0000000007ffe000,
    627   0x000000000fffc000,
    628   0x000000001fff8000,
    629   0x000000003fff0000,
    630   0x000000007ffe0000,
    631   0x00000000fffc0000,
    632   0x00000001fff80000,
    633   0x00000003fff00000,
    634   0x00000007ffe00000,
    635   0x0000000fffc00000,
    636   0x0000001fff800000,
    637   0x0000003fff000000,
    638   0x0000007ffe000000,
    639   0x000000fffc000000,
    640   0x000001fff8000000,
    641   0x000003fff0000000,
    642   0x000007ffe0000000,
    643   0x00000fffc0000000,
    644   0x00001fff80000000,
    645   0x00003fff00000000,
    646   0x00007ffe00000000,
    647   0x0000fffc00000000,
    648   0x0001fff800000000,
    649   0x0003fff000000000,
    650   0x0007ffe000000000,
    651   0x000fffc000000000,
    652   0x001fff8000000000,
    653   0x003fff0000000000,
    654   0x007ffe0000000000,
    655   0x00fffc0000000000,
    656   0x01fff80000000000,
    657   0x03fff00000000000,
    658   0x07ffe00000000000,
    659   0x0fffc00000000000,
    660   0x1fff800000000000,
    661   0x3fff000000000000,
    662   0x7ffe000000000000,
    663   0xfffc000000000000,
    664   0xffffffffffffffff,
    665   0xffffffffffffffff,
    666   0xffffffffffffffff,
    667   0xffffffffffffffff,
    668   0xffffffffffffffff,
    669   0xffffffffffffffff,
    670   0xffffffffffffffff,
    671   0xffffffffffffffff,
    672   0xffffffffffffffff,
    673   0xffffffffffffffff,
    674   0xffffffffffffffff,
    675   0xffffffffffffffff,
    676   0xffffffffffffffff,
    677   0xffffffffffffffff,
    678   0x0000000000007fff,
    679   0x000000000000fffe,
    680   0x000000000001fffc,
    681   0x000000000003fff8,
    682   0x000000000007fff0,
    683   0x00000000000fffe0,
    684   0x00000000001fffc0,
    685   0x00000000003fff80,
    686   0x00000000007fff00,
    687   0x0000000000fffe00,
    688   0x0000000001fffc00,
    689   0x0000000003fff800,
    690   0x0000000007fff000,
    691   0x000000000fffe000,
    692   0x000000001fffc000,
    693   0x000000003fff8000,
    694   0x000000007fff0000,
    695   0x00000000fffe0000,
    696   0x00000001fffc0000,
    697   0x00000003fff80000,
    698   0x00000007fff00000,
    699   0x0000000fffe00000,
    700   0x0000001fffc00000,
    701   0x0000003fff800000,
    702   0x0000007fff000000,
    703   0x000000fffe000000,
    704   0x000001fffc000000,
    705   0x000003fff8000000,
    706   0x000007fff0000000,
    707   0x00000fffe0000000,
    708   0x00001fffc0000000,
    709   0x00003fff80000000,
    710   0x00007fff00000000,
    711   0x0000fffe00000000,
    712   0x0001fffc00000000,
    713   0x0003fff800000000,
    714   0x0007fff000000000,
    715   0x000fffe000000000,
    716   0x001fffc000000000,
    717   0x003fff8000000000,
    718   0x007fff0000000000,
    719   0x00fffe0000000000,
    720   0x01fffc0000000000,
    721   0x03fff80000000000,
    722   0x07fff00000000000,
    723   0x0fffe00000000000,
    724   0x1fffc00000000000,
    725   0x3fff800000000000,
    726   0x7fff000000000000,
    727   0xfffe000000000000,
    728   0xffffffffffffffff,
    729   0xffffffffffffffff,
    730   0xffffffffffffffff,
    731   0xffffffffffffffff,
    732   0xffffffffffffffff,
    733   0xffffffffffffffff,
    734   0xffffffffffffffff,
    735   0xffffffffffffffff,
    736   0xffffffffffffffff,
    737   0xffffffffffffffff,
    738   0xffffffffffffffff,
    739   0xffffffffffffffff,
    740   0xffffffffffffffff,
    741   0xffffffffffffffff,
    742   0x000000007ffffffd,
    743   0x00000000fffffffa,
    744   0x00000001fffffff4,
    745   0x00000003ffffffe8,
    746   0x00000007ffffffd0,
    747   0x0000000fffffffa0,
    748   0x0000001fffffff40,
    749   0x0000003ffffffe80,
    750   0x0000007ffffffd00,
    751   0x000000fffffffa00,
    752   0x000001fffffff400,
    753   0x000003ffffffe800,
    754   0x000007ffffffd000,
    755   0x00000fffffffa000,
    756   0x00001fffffff4000,
    757   0x00003ffffffe8000,
    758   0x00007ffffffd0000,
    759   0x0000fffffffa0000,
    760   0x0001fffffff40000,
    761   0x0003ffffffe80000,
    762   0x0007ffffffd00000,
    763   0x000fffffffa00000,
    764   0x001fffffff400000,
    765   0x003ffffffe800000,
    766   0x007ffffffd000000,
    767   0x00fffffffa000000,
    768   0x01fffffff4000000,
    769   0x03ffffffe8000000,
    770   0x07ffffffd0000000,
    771   0x0fffffffa0000000,
    772   0x1fffffff40000000,
    773   0x3ffffffe80000000,
    774   0x7ffffffd00000000,
    775   0xfffffffa00000000,
    776   0xffffffffffffffff,
    777   0xffffffffffffffff,
    778   0xffffffffffffffff,
    779   0xffffffffffffffff,
    780   0xffffffffffffffff,
    781   0xffffffffffffffff,
    782   0xffffffffffffffff,
    783   0xffffffffffffffff,
    784   0xffffffffffffffff,
    785   0xffffffffffffffff,
    786   0xffffffffffffffff,
    787   0xffffffffffffffff,
    788   0xffffffffffffffff,
    789   0xffffffffffffffff,
    790   0xffffffffffffffff,
    791   0xffffffffffffffff,
    792   0xffffffffffffffff,
    793   0xffffffffffffffff,
    794   0xffffffffffffffff,
    795   0xffffffffffffffff,
    796   0xffffffffffffffff,
    797   0xffffffffffffffff,
    798   0xffffffffffffffff,
    799   0xffffffffffffffff,
    800   0xffffffffffffffff,
    801   0xffffffffffffffff,
    802   0xffffffffffffffff,
    803   0xffffffffffffffff,
    804   0xffffffffffffffff,
    805   0xffffffffffffffff,
    806   0x000000007ffffffe,
    807   0x00000000fffffffc,
    808   0x00000001fffffff8,
    809   0x00000003fffffff0,
    810   0x00000007ffffffe0,
    811   0x0000000fffffffc0,
    812   0x0000001fffffff80,
    813   0x0000003fffffff00,
    814   0x0000007ffffffe00,
    815   0x000000fffffffc00,
    816   0x000001fffffff800,
    817   0x000003fffffff000,
    818   0x000007ffffffe000,
    819   0x00000fffffffc000,
    820   0x00001fffffff8000,
    821   0x00003fffffff0000,
    822   0x00007ffffffe0000,
    823   0x0000fffffffc0000,
    824   0x0001fffffff80000,
    825   0x0003fffffff00000,
    826   0x0007ffffffe00000,
    827   0x000fffffffc00000,
    828   0x001fffffff800000,
    829   0x003fffffff000000,
    830   0x007ffffffe000000,
    831   0x00fffffffc000000,
    832   0x01fffffff8000000,
    833   0x03fffffff0000000,
    834   0x07ffffffe0000000,
    835   0x0fffffffc0000000,
    836   0x1fffffff80000000,
    837   0x3fffffff00000000,
    838   0x7ffffffe00000000,
    839   0xfffffffc00000000,
    840   0xffffffffffffffff,
    841   0xffffffffffffffff,
    842   0xffffffffffffffff,
    843   0xffffffffffffffff,
    844   0xffffffffffffffff,
    845   0xffffffffffffffff,
    846   0xffffffffffffffff,
    847   0xffffffffffffffff,
    848   0xffffffffffffffff,
    849   0xffffffffffffffff,
    850   0xffffffffffffffff,
    851   0xffffffffffffffff,
    852   0xffffffffffffffff,
    853   0xffffffffffffffff,
    854   0xffffffffffffffff,
    855   0xffffffffffffffff,
    856   0xffffffffffffffff,
    857   0xffffffffffffffff,
    858   0xffffffffffffffff,
    859   0xffffffffffffffff,
    860   0xffffffffffffffff,
    861   0xffffffffffffffff,
    862   0xffffffffffffffff,
    863   0xffffffffffffffff,
    864   0xffffffffffffffff,
    865   0xffffffffffffffff,
    866   0xffffffffffffffff,
    867   0xffffffffffffffff,
    868   0xffffffffffffffff,
    869   0xffffffffffffffff,
    870   0x000000007fffffff,
    871   0x00000000fffffffe,
    872   0x00000001fffffffc,
    873   0x00000003fffffff8,
    874   0x00000007fffffff0,
    875   0x0000000fffffffe0,
    876   0x0000001fffffffc0,
    877   0x0000003fffffff80,
    878   0x0000007fffffff00,
    879   0x000000fffffffe00,
    880   0x000001fffffffc00,
    881   0x000003fffffff800,
    882   0x000007fffffff000,
    883   0x00000fffffffe000,
    884   0x00001fffffffc000,
    885   0x00003fffffff8000,
    886   0x00007fffffff0000,
    887   0x0000fffffffe0000,
    888   0x0001fffffffc0000,
    889   0x0003fffffff80000,
    890   0x0007fffffff00000,
    891   0x000fffffffe00000,
    892   0x001fffffffc00000,
    893   0x003fffffff800000,
    894   0x007fffffff000000,
    895   0x00fffffffe000000,
    896   0x01fffffffc000000,
    897   0x03fffffff8000000,
    898   0x07fffffff0000000,
    899   0x0fffffffe0000000,
    900   0x1fffffffc0000000,
    901   0x3fffffff80000000,
    902   0x7fffffff00000000,
    903   0xfffffffe00000000,
    904   0xffffffffffffffff,
    905   0xffffffffffffffff,
    906   0xffffffffffffffff,
    907   0xffffffffffffffff,
    908   0xffffffffffffffff,
    909   0xffffffffffffffff,
    910   0xffffffffffffffff,
    911   0xffffffffffffffff,
    912   0xffffffffffffffff,
    913   0xffffffffffffffff,
    914   0xffffffffffffffff,
    915   0xffffffffffffffff,
    916   0xffffffffffffffff,
    917   0xffffffffffffffff,
    918   0xffffffffffffffff,
    919   0xffffffffffffffff,
    920   0xffffffffffffffff,
    921   0xffffffffffffffff,
    922   0xffffffffffffffff,
    923   0xffffffffffffffff,
    924   0xffffffffffffffff,
    925   0xffffffffffffffff,
    926   0xffffffffffffffff,
    927   0xffffffffffffffff,
    928   0xffffffffffffffff,
    929   0xffffffffffffffff,
    930   0xffffffffffffffff,
    931   0xffffffffffffffff,
    932   0xffffffffffffffff,
    933   0xffffffffffffffff,
    934   0x3333333333333333,
    935   0x6666666666666666,
    936   0xcccccccccccccccc,
    937   0xffffffffffffffff,
    938   0xffffffffffffffff,
    939   0xffffffffffffffff,
    940   0xffffffffffffffff,
    941   0xffffffffffffffff,
    942   0xffffffffffffffff,
    943   0xffffffffffffffff,
    944   0xffffffffffffffff,
    945   0xffffffffffffffff,
    946   0xffffffffffffffff,
    947   0xffffffffffffffff,
    948   0xffffffffffffffff,
    949   0xffffffffffffffff,
    950   0xffffffffffffffff,
    951   0xffffffffffffffff,
    952   0xffffffffffffffff,
    953   0xffffffffffffffff,
    954   0xffffffffffffffff,
    955   0xffffffffffffffff,
    956   0xffffffffffffffff,
    957   0xffffffffffffffff,
    958   0xffffffffffffffff,
    959   0xffffffffffffffff,
    960   0xffffffffffffffff,
    961   0xffffffffffffffff,
    962   0xffffffffffffffff,
    963   0xffffffffffffffff,
    964   0xffffffffffffffff,
    965   0xffffffffffffffff,
    966   0xffffffffffffffff,
    967   0xffffffffffffffff,
    968   0xffffffffffffffff,
    969   0xffffffffffffffff,
    970   0xffffffffffffffff,
    971   0xffffffffffffffff,
    972   0xffffffffffffffff,
    973   0xffffffffffffffff,
    974   0xffffffffffffffff,
    975   0xffffffffffffffff,
    976   0xffffffffffffffff,
    977   0xffffffffffffffff,
    978   0xffffffffffffffff,
    979   0xffffffffffffffff,
    980   0xffffffffffffffff,
    981   0xffffffffffffffff,
    982   0xffffffffffffffff,
    983   0xffffffffffffffff,
    984   0xffffffffffffffff,
    985   0xffffffffffffffff,
    986   0xffffffffffffffff,
    987   0xffffffffffffffff,
    988   0xffffffffffffffff,
    989   0xffffffffffffffff,
    990   0xffffffffffffffff,
    991   0xffffffffffffffff,
    992   0xffffffffffffffff,
    993   0xffffffffffffffff,
    994   0xffffffffffffffff,
    995   0xffffffffffffffff,
    996   0xffffffffffffffff,
    997   0xffffffffffffffff,
    998   0x5555555555555555,
    999   0xaaaaaaaaaaaaaaaa,
   1000   0xffffffffffffffff,
   1001   0xffffffffffffffff,
   1002   0xffffffffffffffff,
   1003   0xffffffffffffffff,
   1004   0xffffffffffffffff,
   1005   0xffffffffffffffff,
   1006   0xffffffffffffffff,
   1007   0xffffffffffffffff,
   1008   0xffffffffffffffff,
   1009   0xffffffffffffffff,
   1010   0xffffffffffffffff,
   1011   0xffffffffffffffff,
   1012   0xffffffffffffffff,
   1013   0xffffffffffffffff,
   1014   0xffffffffffffffff,
   1015   0xffffffffffffffff,
   1016   0xffffffffffffffff,
   1017   0xffffffffffffffff,
   1018   0xffffffffffffffff,
   1019   0xffffffffffffffff,
   1020   0xffffffffffffffff,
   1021   0xffffffffffffffff,
   1022   0xffffffffffffffff,
   1023   0xffffffffffffffff,
   1024   0xffffffffffffffff,
   1025   0xffffffffffffffff,
   1026   0xffffffffffffffff,
   1027   0xffffffffffffffff,
   1028   0xffffffffffffffff,
   1029   0xffffffffffffffff,
   1030   0xffffffffffffffff,
   1031   0xffffffffffffffff,
   1032   0xffffffffffffffff,
   1033   0xffffffffffffffff,
   1034   0xffffffffffffffff,
   1035   0xffffffffffffffff,
   1036   0xffffffffffffffff,
   1037   0xffffffffffffffff,
   1038   0xffffffffffffffff,
   1039   0xffffffffffffffff,
   1040   0xffffffffffffffff,
   1041   0xffffffffffffffff,
   1042   0xffffffffffffffff,
   1043   0xffffffffffffffff,
   1044   0xffffffffffffffff,
   1045   0xffffffffffffffff,
   1046   0xffffffffffffffff,
   1047   0xffffffffffffffff,
   1048   0xffffffffffffffff,
   1049   0xffffffffffffffff,
   1050   0xffffffffffffffff,
   1051   0xffffffffffffffff,
   1052   0xffffffffffffffff,
   1053   0xffffffffffffffff,
   1054   0xffffffffffffffff,
   1055   0xffffffffffffffff,
   1056   0xffffffffffffffff,
   1057   0xffffffffffffffff,
   1058   0xffffffffffffffff,
   1059   0xffffffffffffffff,
   1060   0xffffffffffffffff,
   1061   0xffffffffffffffff,
   1062   0x7ffffffffffffffd,
   1063   0xfffffffffffffffa,
   1064   0xffffffffffffffff,
   1065   0xffffffffffffffff,
   1066   0xffffffffffffffff,
   1067   0xffffffffffffffff,
   1068   0xffffffffffffffff,
   1069   0xffffffffffffffff,
   1070   0xffffffffffffffff,
   1071   0xffffffffffffffff,
   1072   0xffffffffffffffff,
   1073   0xffffffffffffffff,
   1074   0xffffffffffffffff,
   1075   0xffffffffffffffff,
   1076   0xffffffffffffffff,
   1077   0xffffffffffffffff,
   1078   0xffffffffffffffff,
   1079   0xffffffffffffffff,
   1080   0xffffffffffffffff,
   1081   0xffffffffffffffff,
   1082   0xffffffffffffffff,
   1083   0xffffffffffffffff,
   1084   0xffffffffffffffff,
   1085   0xffffffffffffffff,
   1086   0xffffffffffffffff,
   1087   0xffffffffffffffff,
   1088   0xffffffffffffffff,
   1089   0xffffffffffffffff,
   1090   0xffffffffffffffff,
   1091   0xffffffffffffffff,
   1092   0xffffffffffffffff,
   1093   0xffffffffffffffff,
   1094   0xffffffffffffffff,
   1095   0xffffffffffffffff,
   1096   0xffffffffffffffff,
   1097   0xffffffffffffffff,
   1098   0xffffffffffffffff,
   1099   0xffffffffffffffff,
   1100   0xffffffffffffffff,
   1101   0xffffffffffffffff,
   1102   0xffffffffffffffff,
   1103   0xffffffffffffffff,
   1104   0xffffffffffffffff,
   1105   0xffffffffffffffff,
   1106   0xffffffffffffffff,
   1107   0xffffffffffffffff,
   1108   0xffffffffffffffff,
   1109   0xffffffffffffffff,
   1110   0xffffffffffffffff,
   1111   0xffffffffffffffff,
   1112   0xffffffffffffffff,
   1113   0xffffffffffffffff,
   1114   0xffffffffffffffff,
   1115   0xffffffffffffffff,
   1116   0xffffffffffffffff,
   1117   0xffffffffffffffff,
   1118   0xffffffffffffffff,
   1119   0xffffffffffffffff,
   1120   0xffffffffffffffff,
   1121   0xffffffffffffffff,
   1122   0xffffffffffffffff,
   1123   0xffffffffffffffff,
   1124   0xffffffffffffffff,
   1125   0xffffffffffffffff,
   1126   0x7ffffffffffffffe,
   1127   0xfffffffffffffffc,
   1128   0xffffffffffffffff,
   1129   0xffffffffffffffff,
   1130   0xffffffffffffffff,
   1131   0xffffffffffffffff,
   1132   0xffffffffffffffff,
   1133   0xffffffffffffffff,
   1134   0xffffffffffffffff,
   1135   0xffffffffffffffff,
   1136   0xffffffffffffffff,
   1137   0xffffffffffffffff,
   1138   0xffffffffffffffff,
   1139   0xffffffffffffffff,
   1140   0xffffffffffffffff,
   1141   0xffffffffffffffff,
   1142   0xffffffffffffffff,
   1143   0xffffffffffffffff,
   1144   0xffffffffffffffff,
   1145   0xffffffffffffffff,
   1146   0xffffffffffffffff,
   1147   0xffffffffffffffff,
   1148   0xffffffffffffffff,
   1149   0xffffffffffffffff,
   1150   0xffffffffffffffff,
   1151   0xffffffffffffffff,
   1152   0xffffffffffffffff,
   1153   0xffffffffffffffff,
   1154   0xffffffffffffffff,
   1155   0xffffffffffffffff,
   1156   0xffffffffffffffff,
   1157   0xffffffffffffffff,
   1158   0xffffffffffffffff,
   1159   0xffffffffffffffff,
   1160   0xffffffffffffffff,
   1161   0xffffffffffffffff,
   1162   0xffffffffffffffff,
   1163   0xffffffffffffffff,
   1164   0xffffffffffffffff,
   1165   0xffffffffffffffff,
   1166   0xffffffffffffffff,
   1167   0xffffffffffffffff,
   1168   0xffffffffffffffff,
   1169   0xffffffffffffffff,
   1170   0xffffffffffffffff,
   1171   0xffffffffffffffff,
   1172   0xffffffffffffffff,
   1173   0xffffffffffffffff,
   1174   0xffffffffffffffff,
   1175   0xffffffffffffffff,
   1176   0xffffffffffffffff,
   1177   0xffffffffffffffff,
   1178   0xffffffffffffffff,
   1179   0xffffffffffffffff,
   1180   0xffffffffffffffff,
   1181   0xffffffffffffffff,
   1182   0xffffffffffffffff,
   1183   0xffffffffffffffff,
   1184   0xffffffffffffffff,
   1185   0xffffffffffffffff,
   1186   0xffffffffffffffff,
   1187   0xffffffffffffffff,
   1188   0xffffffffffffffff,
   1189   0xffffffffffffffff,
   1190   0x7fffffffffffffff,
   1191   0xfffffffffffffffe,
   1192   0xffffffffffffffff,
   1193   0xffffffffffffffff,
   1194   0xffffffffffffffff,
   1195   0xffffffffffffffff,
   1196   0xffffffffffffffff,
   1197   0xffffffffffffffff,
   1198   0xffffffffffffffff,
   1199   0xffffffffffffffff,
   1200   0xffffffffffffffff,
   1201   0xffffffffffffffff,
   1202   0xffffffffffffffff,
   1203   0xffffffffffffffff,
   1204   0xffffffffffffffff,
   1205   0xffffffffffffffff,
   1206   0xffffffffffffffff,
   1207   0xffffffffffffffff,
   1208   0xffffffffffffffff,
   1209   0xffffffffffffffff,
   1210   0xffffffffffffffff,
   1211   0xffffffffffffffff,
   1212   0xffffffffffffffff,
   1213   0xffffffffffffffff,
   1214   0xffffffffffffffff,
   1215   0xffffffffffffffff,
   1216   0xffffffffffffffff,
   1217   0xffffffffffffffff,
   1218   0xffffffffffffffff,
   1219   0xffffffffffffffff,
   1220   0xffffffffffffffff,
   1221   0xffffffffffffffff,
   1222   0xffffffffffffffff,
   1223   0xffffffffffffffff,
   1224   0xffffffffffffffff,
   1225   0xffffffffffffffff,
   1226   0xffffffffffffffff,
   1227   0xffffffffffffffff,
   1228   0xffffffffffffffff,
   1229   0xffffffffffffffff,
   1230   0xffffffffffffffff,
   1231   0xffffffffffffffff,
   1232   0xffffffffffffffff,
   1233   0xffffffffffffffff,
   1234   0xffffffffffffffff,
   1235   0xffffffffffffffff,
   1236   0xffffffffffffffff,
   1237   0xffffffffffffffff,
   1238   0xffffffffffffffff,
   1239   0xffffffffffffffff,
   1240   0xffffffffffffffff,
   1241   0xffffffffffffffff,
   1242   0xffffffffffffffff,
   1243   0xffffffffffffffff,
   1244   0xffffffffffffffff,
   1245   0xffffffffffffffff,
   1246   0xffffffffffffffff,
   1247   0xffffffffffffffff,
   1248   0xffffffffffffffff,
   1249   0xffffffffffffffff,
   1250   0xffffffffffffffff,
   1251   0xffffffffffffffff,
   1252   0xffffffffffffffff,
   1253   0xffffffffffffffff,
   1254   0x8000000000000000,
   1255   0xffffffffffffffff,
   1256   0xffffffffffffffff,
   1257   0xffffffffffffffff,
   1258   0xffffffffffffffff,
   1259   0xffffffffffffffff,
   1260   0xffffffffffffffff,
   1261   0xffffffffffffffff,
   1262   0xffffffffffffffff,
   1263   0xffffffffffffffff,
   1264   0xffffffffffffffff,
   1265   0xffffffffffffffff,
   1266   0xffffffffffffffff,
   1267   0xffffffffffffffff,
   1268   0xffffffffffffffff,
   1269   0xffffffffffffffff,
   1270   0xffffffffffffffff,
   1271   0xffffffffffffffff,
   1272   0xffffffffffffffff,
   1273   0xffffffffffffffff,
   1274   0xffffffffffffffff,
   1275   0xffffffffffffffff,
   1276   0xffffffffffffffff,
   1277   0xffffffffffffffff,
   1278   0xffffffffffffffff,
   1279   0xffffffffffffffff,
   1280   0xffffffffffffffff,
   1281   0xffffffffffffffff,
   1282   0xffffffffffffffff,
   1283   0xffffffffffffffff,
   1284   0xffffffffffffffff,
   1285   0xffffffffffffffff,
   1286   0xffffffffffffffff,
   1287   0xffffffffffffffff,
   1288   0xffffffffffffffff,
   1289   0xffffffffffffffff,
   1290   0xffffffffffffffff,
   1291   0xffffffffffffffff,
   1292   0xffffffffffffffff,
   1293   0xffffffffffffffff,
   1294   0xffffffffffffffff,
   1295   0xffffffffffffffff,
   1296   0xffffffffffffffff,
   1297   0xffffffffffffffff,
   1298   0xffffffffffffffff,
   1299   0xffffffffffffffff,
   1300   0xffffffffffffffff,
   1301   0xffffffffffffffff,
   1302   0xffffffffffffffff,
   1303   0xffffffffffffffff,
   1304   0xffffffffffffffff,
   1305   0xffffffffffffffff,
   1306   0xffffffffffffffff,
   1307   0xffffffffffffffff,
   1308   0xffffffffffffffff,
   1309   0xffffffffffffffff,
   1310   0xffffffffffffffff,
   1311   0xffffffffffffffff,
   1312   0xffffffffffffffff,
   1313   0xffffffffffffffff,
   1314   0xffffffffffffffff,
   1315   0xffffffffffffffff,
   1316   0xffffffffffffffff,
   1317   0xffffffffffffffff,
   1318   0x8000000000000001,
   1319   0xffffffffffffffff,
   1320   0xffffffffffffffff,
   1321   0xffffffffffffffff,
   1322   0xffffffffffffffff,
   1323   0xffffffffffffffff,
   1324   0xffffffffffffffff,
   1325   0xffffffffffffffff,
   1326   0xffffffffffffffff,
   1327   0xffffffffffffffff,
   1328   0xffffffffffffffff,
   1329   0xffffffffffffffff,
   1330   0xffffffffffffffff,
   1331   0xffffffffffffffff,
   1332   0xffffffffffffffff,
   1333   0xffffffffffffffff,
   1334   0xffffffffffffffff,
   1335   0xffffffffffffffff,
   1336   0xffffffffffffffff,
   1337   0xffffffffffffffff,
   1338   0xffffffffffffffff,
   1339   0xffffffffffffffff,
   1340   0xffffffffffffffff,
   1341   0xffffffffffffffff,
   1342   0xffffffffffffffff,
   1343   0xffffffffffffffff,
   1344   0xffffffffffffffff,
   1345   0xffffffffffffffff,
   1346   0xffffffffffffffff,
   1347   0xffffffffffffffff,
   1348   0xffffffffffffffff,
   1349   0xffffffffffffffff,
   1350   0xffffffffffffffff,
   1351   0xffffffffffffffff,
   1352   0xffffffffffffffff,
   1353   0xffffffffffffffff,
   1354   0xffffffffffffffff,
   1355   0xffffffffffffffff,
   1356   0xffffffffffffffff,
   1357   0xffffffffffffffff,
   1358   0xffffffffffffffff,
   1359   0xffffffffffffffff,
   1360   0xffffffffffffffff,
   1361   0xffffffffffffffff,
   1362   0xffffffffffffffff,
   1363   0xffffffffffffffff,
   1364   0xffffffffffffffff,
   1365   0xffffffffffffffff,
   1366   0xffffffffffffffff,
   1367   0xffffffffffffffff,
   1368   0xffffffffffffffff,
   1369   0xffffffffffffffff,
   1370   0xffffffffffffffff,
   1371   0xffffffffffffffff,
   1372   0xffffffffffffffff,
   1373   0xffffffffffffffff,
   1374   0xffffffffffffffff,
   1375   0xffffffffffffffff,
   1376   0xffffffffffffffff,
   1377   0xffffffffffffffff,
   1378   0xffffffffffffffff,
   1379   0xffffffffffffffff,
   1380   0xffffffffffffffff,
   1381   0xffffffffffffffff,
   1382   0x8000000000000002,
   1383   0xffffffffffffffff,
   1384   0xffffffffffffffff,
   1385   0xffffffffffffffff,
   1386   0xffffffffffffffff,
   1387   0xffffffffffffffff,
   1388   0xffffffffffffffff,
   1389   0xffffffffffffffff,
   1390   0xffffffffffffffff,
   1391   0xffffffffffffffff,
   1392   0xffffffffffffffff,
   1393   0xffffffffffffffff,
   1394   0xffffffffffffffff,
   1395   0xffffffffffffffff,
   1396   0xffffffffffffffff,
   1397   0xffffffffffffffff,
   1398   0xffffffffffffffff,
   1399   0xffffffffffffffff,
   1400   0xffffffffffffffff,
   1401   0xffffffffffffffff,
   1402   0xffffffffffffffff,
   1403   0xffffffffffffffff,
   1404   0xffffffffffffffff,
   1405   0xffffffffffffffff,
   1406   0xffffffffffffffff,
   1407   0xffffffffffffffff,
   1408   0xffffffffffffffff,
   1409   0xffffffffffffffff,
   1410   0xffffffffffffffff,
   1411   0xffffffffffffffff,
   1412   0xffffffffffffffff,
   1413   0xffffffffffffffff,
   1414   0xffffffffffffffff,
   1415   0xffffffffffffffff,
   1416   0xffffffffffffffff,
   1417   0xffffffffffffffff,
   1418   0xffffffffffffffff,
   1419   0xffffffffffffffff,
   1420   0xffffffffffffffff,
   1421   0xffffffffffffffff,
   1422   0xffffffffffffffff,
   1423   0xffffffffffffffff,
   1424   0xffffffffffffffff,
   1425   0xffffffffffffffff,
   1426   0xffffffffffffffff,
   1427   0xffffffffffffffff,
   1428   0xffffffffffffffff,
   1429   0xffffffffffffffff,
   1430   0xffffffffffffffff,
   1431   0xffffffffffffffff,
   1432   0xffffffffffffffff,
   1433   0xffffffffffffffff,
   1434   0xffffffffffffffff,
   1435   0xffffffffffffffff,
   1436   0xffffffffffffffff,
   1437   0xffffffffffffffff,
   1438   0xffffffffffffffff,
   1439   0xffffffffffffffff,
   1440   0xffffffffffffffff,
   1441   0xffffffffffffffff,
   1442   0xffffffffffffffff,
   1443   0xffffffffffffffff,
   1444   0xffffffffffffffff,
   1445   0xffffffffffffffff,
   1446   0x8000000000000003,
   1447   0xffffffffffffffff,
   1448   0xffffffffffffffff,
   1449   0xffffffffffffffff,
   1450   0xffffffffffffffff,
   1451   0xffffffffffffffff,
   1452   0xffffffffffffffff,
   1453   0xffffffffffffffff,
   1454   0xffffffffffffffff,
   1455   0xffffffffffffffff,
   1456   0xffffffffffffffff,
   1457   0xffffffffffffffff,
   1458   0xffffffffffffffff,
   1459   0xffffffffffffffff,
   1460   0xffffffffffffffff,
   1461   0xffffffffffffffff,
   1462   0xffffffffffffffff,
   1463   0xffffffffffffffff,
   1464   0xffffffffffffffff,
   1465   0xffffffffffffffff,
   1466   0xffffffffffffffff,
   1467   0xffffffffffffffff,
   1468   0xffffffffffffffff,
   1469   0xffffffffffffffff,
   1470   0xffffffffffffffff,
   1471   0xffffffffffffffff,
   1472   0xffffffffffffffff,
   1473   0xffffffffffffffff,
   1474   0xffffffffffffffff,
   1475   0xffffffffffffffff,
   1476   0xffffffffffffffff,
   1477   0xffffffffffffffff,
   1478   0xffffffffffffffff,
   1479   0xffffffffffffffff,
   1480   0xffffffffffffffff,
   1481   0xffffffffffffffff,
   1482   0xffffffffffffffff,
   1483   0xffffffffffffffff,
   1484   0xffffffffffffffff,
   1485   0xffffffffffffffff,
   1486   0xffffffffffffffff,
   1487   0xffffffffffffffff,
   1488   0xffffffffffffffff,
   1489   0xffffffffffffffff,
   1490   0xffffffffffffffff,
   1491   0xffffffffffffffff,
   1492   0xffffffffffffffff,
   1493   0xffffffffffffffff,
   1494   0xffffffffffffffff,
   1495   0xffffffffffffffff,
   1496   0xffffffffffffffff,
   1497   0xffffffffffffffff,
   1498   0xffffffffffffffff,
   1499   0xffffffffffffffff,
   1500   0xffffffffffffffff,
   1501   0xffffffffffffffff,
   1502   0xffffffffffffffff,
   1503   0xffffffffffffffff,
   1504   0xffffffffffffffff,
   1505   0xffffffffffffffff,
   1506   0xffffffffffffffff,
   1507   0xffffffffffffffff,
   1508   0xffffffffffffffff,
   1509   0xffffffffffffffff,
   1510   0xaaaaaaaaaaaaaaaa,
   1511   0xffffffffffffffff,
   1512   0xffffffffffffffff,
   1513   0xffffffffffffffff,
   1514   0xffffffffffffffff,
   1515   0xffffffffffffffff,
   1516   0xffffffffffffffff,
   1517   0xffffffffffffffff,
   1518   0xffffffffffffffff,
   1519   0xffffffffffffffff,
   1520   0xffffffffffffffff,
   1521   0xffffffffffffffff,
   1522   0xffffffffffffffff,
   1523   0xffffffffffffffff,
   1524   0xffffffffffffffff,
   1525   0xffffffffffffffff,
   1526   0xffffffffffffffff,
   1527   0xffffffffffffffff,
   1528   0xffffffffffffffff,
   1529   0xffffffffffffffff,
   1530   0xffffffffffffffff,
   1531   0xffffffffffffffff,
   1532   0xffffffffffffffff,
   1533   0xffffffffffffffff,
   1534   0xffffffffffffffff,
   1535   0xffffffffffffffff,
   1536   0xffffffffffffffff,
   1537   0xffffffffffffffff,
   1538   0xffffffffffffffff,
   1539   0xffffffffffffffff,
   1540   0xffffffffffffffff,
   1541   0xffffffffffffffff,
   1542   0xffffffffffffffff,
   1543   0xffffffffffffffff,
   1544   0xffffffffffffffff,
   1545   0xffffffffffffffff,
   1546   0xffffffffffffffff,
   1547   0xffffffffffffffff,
   1548   0xffffffffffffffff,
   1549   0xffffffffffffffff,
   1550   0xffffffffffffffff,
   1551   0xffffffffffffffff,
   1552   0xffffffffffffffff,
   1553   0xffffffffffffffff,
   1554   0xffffffffffffffff,
   1555   0xffffffffffffffff,
   1556   0xffffffffffffffff,
   1557   0xffffffffffffffff,
   1558   0xffffffffffffffff,
   1559   0xffffffffffffffff,
   1560   0xffffffffffffffff,
   1561   0xffffffffffffffff,
   1562   0xffffffffffffffff,
   1563   0xffffffffffffffff,
   1564   0xffffffffffffffff,
   1565   0xffffffffffffffff,
   1566   0xffffffffffffffff,
   1567   0xffffffffffffffff,
   1568   0xffffffffffffffff,
   1569   0xffffffffffffffff,
   1570   0xffffffffffffffff,
   1571   0xffffffffffffffff,
   1572   0xffffffffffffffff,
   1573   0xffffffffffffffff,
   1574   0xcccccccccccccccc,
   1575   0xffffffffffffffff,
   1576   0xffffffffffffffff,
   1577   0xffffffffffffffff,
   1578   0xffffffffffffffff,
   1579   0xffffffffffffffff,
   1580   0xffffffffffffffff,
   1581   0xffffffffffffffff,
   1582   0xffffffffffffffff,
   1583   0xffffffffffffffff,
   1584   0xffffffffffffffff,
   1585   0xffffffffffffffff,
   1586   0xffffffffffffffff,
   1587   0xffffffffffffffff,
   1588   0xffffffffffffffff,
   1589   0xffffffffffffffff,
   1590   0xffffffffffffffff,
   1591   0xffffffffffffffff,
   1592   0xffffffffffffffff,
   1593   0xffffffffffffffff,
   1594   0xffffffffffffffff,
   1595   0xffffffffffffffff,
   1596   0xffffffffffffffff,
   1597   0xffffffffffffffff,
   1598   0xffffffffffffffff,
   1599   0xffffffffffffffff,
   1600   0xffffffffffffffff,
   1601   0xffffffffffffffff,
   1602   0xffffffffffffffff,
   1603   0xffffffffffffffff,
   1604   0xffffffffffffffff,
   1605   0xffffffffffffffff,
   1606   0xffffffffffffffff,
   1607   0xffffffffffffffff,
   1608   0xffffffffffffffff,
   1609   0xffffffffffffffff,
   1610   0xffffffffffffffff,
   1611   0xffffffffffffffff,
   1612   0xffffffffffffffff,
   1613   0xffffffffffffffff,
   1614   0xffffffffffffffff,
   1615   0xffffffffffffffff,
   1616   0xffffffffffffffff,
   1617   0xffffffffffffffff,
   1618   0xffffffffffffffff,
   1619   0xffffffffffffffff,
   1620   0xffffffffffffffff,
   1621   0xffffffffffffffff,
   1622   0xffffffffffffffff,
   1623   0xffffffffffffffff,
   1624   0xffffffffffffffff,
   1625   0xffffffffffffffff,
   1626   0xffffffffffffffff,
   1627   0xffffffffffffffff,
   1628   0xffffffffffffffff,
   1629   0xffffffffffffffff,
   1630   0xffffffffffffffff,
   1631   0xffffffffffffffff,
   1632   0xffffffffffffffff,
   1633   0xffffffffffffffff,
   1634   0xffffffffffffffff,
   1635   0xffffffffffffffff,
   1636   0xffffffffffffffff,
   1637   0xffffffffffffffff,
   1638   0xffffffff80000000,
   1639   0xffffffffffffffff,
   1640   0xffffffffffffffff,
   1641   0xffffffffffffffff,
   1642   0xffffffffffffffff,
   1643   0xffffffffffffffff,
   1644   0xffffffffffffffff,
   1645   0xffffffffffffffff,
   1646   0xffffffffffffffff,
   1647   0xffffffffffffffff,
   1648   0xffffffffffffffff,
   1649   0xffffffffffffffff,
   1650   0xffffffffffffffff,
   1651   0xffffffffffffffff,
   1652   0xffffffffffffffff,
   1653   0xffffffffffffffff,
   1654   0xffffffffffffffff,
   1655   0xffffffffffffffff,
   1656   0xffffffffffffffff,
   1657   0xffffffffffffffff,
   1658   0xffffffffffffffff,
   1659   0xffffffffffffffff,
   1660   0xffffffffffffffff,
   1661   0xffffffffffffffff,
   1662   0xffffffffffffffff,
   1663   0xffffffffffffffff,
   1664   0xffffffffffffffff,
   1665   0xffffffffffffffff,
   1666   0xffffffffffffffff,
   1667   0xffffffffffffffff,
   1668   0xffffffffffffffff,
   1669   0xffffffffffffffff,
   1670   0xffffffffffffffff,
   1671   0xffffffffffffffff,
   1672   0xffffffffffffffff,
   1673   0xffffffffffffffff,
   1674   0xffffffffffffffff,
   1675   0xffffffffffffffff,
   1676   0xffffffffffffffff,
   1677   0xffffffffffffffff,
   1678   0xffffffffffffffff,
   1679   0xffffffffffffffff,
   1680   0xffffffffffffffff,
   1681   0xffffffffffffffff,
   1682   0xffffffffffffffff,
   1683   0xffffffffffffffff,
   1684   0xffffffffffffffff,
   1685   0xffffffffffffffff,
   1686   0xffffffffffffffff,
   1687   0xffffffffffffffff,
   1688   0xffffffffffffffff,
   1689   0xffffffffffffffff,
   1690   0xffffffffffffffff,
   1691   0xffffffffffffffff,
   1692   0xffffffffffffffff,
   1693   0xffffffffffffffff,
   1694   0xffffffffffffffff,
   1695   0xffffffffffffffff,
   1696   0xffffffffffffffff,
   1697   0xffffffffffffffff,
   1698   0xffffffffffffffff,
   1699   0xffffffffffffffff,
   1700   0xffffffffffffffff,
   1701   0xffffffffffffffff,
   1702   0xffffffff80000001,
   1703   0xffffffffffffffff,
   1704   0xffffffffffffffff,
   1705   0xffffffffffffffff,
   1706   0xffffffffffffffff,
   1707   0xffffffffffffffff,
   1708   0xffffffffffffffff,
   1709   0xffffffffffffffff,
   1710   0xffffffffffffffff,
   1711   0xffffffffffffffff,
   1712   0xffffffffffffffff,
   1713   0xffffffffffffffff,
   1714   0xffffffffffffffff,
   1715   0xffffffffffffffff,
   1716   0xffffffffffffffff,
   1717   0xffffffffffffffff,
   1718   0xffffffffffffffff,
   1719   0xffffffffffffffff,
   1720   0xffffffffffffffff,
   1721   0xffffffffffffffff,
   1722   0xffffffffffffffff,
   1723   0xffffffffffffffff,
   1724   0xffffffffffffffff,
   1725   0xffffffffffffffff,
   1726   0xffffffffffffffff,
   1727   0xffffffffffffffff,
   1728   0xffffffffffffffff,
   1729   0xffffffffffffffff,
   1730   0xffffffffffffffff,
   1731   0xffffffffffffffff,
   1732   0xffffffffffffffff,
   1733   0xffffffffffffffff,
   1734   0xffffffffffffffff,
   1735   0xffffffffffffffff,
   1736   0xffffffffffffffff,
   1737   0xffffffffffffffff,
   1738   0xffffffffffffffff,
   1739   0xffffffffffffffff,
   1740   0xffffffffffffffff,
   1741   0xffffffffffffffff,
   1742   0xffffffffffffffff,
   1743   0xffffffffffffffff,
   1744   0xffffffffffffffff,
   1745   0xffffffffffffffff,
   1746   0xffffffffffffffff,
   1747   0xffffffffffffffff,
   1748   0xffffffffffffffff,
   1749   0xffffffffffffffff,
   1750   0xffffffffffffffff,
   1751   0xffffffffffffffff,
   1752   0xffffffffffffffff,
   1753   0xffffffffffffffff,
   1754   0xffffffffffffffff,
   1755   0xffffffffffffffff,
   1756   0xffffffffffffffff,
   1757   0xffffffffffffffff,
   1758   0xffffffffffffffff,
   1759   0xffffffffffffffff,
   1760   0xffffffffffffffff,
   1761   0xffffffffffffffff,
   1762   0xffffffffffffffff,
   1763   0xffffffffffffffff,
   1764   0xffffffffffffffff,
   1765   0xffffffffffffffff,
   1766   0xffffffff80000002,
   1767   0xffffffffffffffff,
   1768   0xffffffffffffffff,
   1769   0xffffffffffffffff,
   1770   0xffffffffffffffff,
   1771   0xffffffffffffffff,
   1772   0xffffffffffffffff,
   1773   0xffffffffffffffff,
   1774   0xffffffffffffffff,
   1775   0xffffffffffffffff,
   1776   0xffffffffffffffff,
   1777   0xffffffffffffffff,
   1778   0xffffffffffffffff,
   1779   0xffffffffffffffff,
   1780   0xffffffffffffffff,
   1781   0xffffffffffffffff,
   1782   0xffffffffffffffff,
   1783   0xffffffffffffffff,
   1784   0xffffffffffffffff,
   1785   0xffffffffffffffff,
   1786   0xffffffffffffffff,
   1787   0xffffffffffffffff,
   1788   0xffffffffffffffff,
   1789   0xffffffffffffffff,
   1790   0xffffffffffffffff,
   1791   0xffffffffffffffff,
   1792   0xffffffffffffffff,
   1793   0xffffffffffffffff,
   1794   0xffffffffffffffff,
   1795   0xffffffffffffffff,
   1796   0xffffffffffffffff,
   1797   0xffffffffffffffff,
   1798   0xffffffffffffffff,
   1799   0xffffffffffffffff,
   1800   0xffffffffffffffff,
   1801   0xffffffffffffffff,
   1802   0xffffffffffffffff,
   1803   0xffffffffffffffff,
   1804   0xffffffffffffffff,
   1805   0xffffffffffffffff,
   1806   0xffffffffffffffff,
   1807   0xffffffffffffffff,
   1808   0xffffffffffffffff,
   1809   0xffffffffffffffff,
   1810   0xffffffffffffffff,
   1811   0xffffffffffffffff,
   1812   0xffffffffffffffff,
   1813   0xffffffffffffffff,
   1814   0xffffffffffffffff,
   1815   0xffffffffffffffff,
   1816   0xffffffffffffffff,
   1817   0xffffffffffffffff,
   1818   0xffffffffffffffff,
   1819   0xffffffffffffffff,
   1820   0xffffffffffffffff,
   1821   0xffffffffffffffff,
   1822   0xffffffffffffffff,
   1823   0xffffffffffffffff,
   1824   0xffffffffffffffff,
   1825   0xffffffffffffffff,
   1826   0xffffffffffffffff,
   1827   0xffffffffffffffff,
   1828   0xffffffffffffffff,
   1829   0xffffffffffffffff,
   1830   0xffffffff80000003,
   1831   0xffffffffffffffff,
   1832   0xffffffffffffffff,
   1833   0xffffffffffffffff,
   1834   0xffffffffffffffff,
   1835   0xffffffffffffffff,
   1836   0xffffffffffffffff,
   1837   0xffffffffffffffff,
   1838   0xffffffffffffffff,
   1839   0xffffffffffffffff,
   1840   0xffffffffffffffff,
   1841   0xffffffffffffffff,
   1842   0xffffffffffffffff,
   1843   0xffffffffffffffff,
   1844   0xffffffffffffffff,
   1845   0xffffffffffffffff,
   1846   0xffffffffffffffff,
   1847   0xffffffffffffffff,
   1848   0xffffffffffffffff,
   1849   0xffffffffffffffff,
   1850   0xffffffffffffffff,
   1851   0xffffffffffffffff,
   1852   0xffffffffffffffff,
   1853   0xffffffffffffffff,
   1854   0xffffffffffffffff,
   1855   0xffffffffffffffff,
   1856   0xffffffffffffffff,
   1857   0xffffffffffffffff,
   1858   0xffffffffffffffff,
   1859   0xffffffffffffffff,
   1860   0xffffffffffffffff,
   1861   0xffffffffffffffff,
   1862   0xffffffffffffffff,
   1863   0xffffffffffffffff,
   1864   0xffffffffffffffff,
   1865   0xffffffffffffffff,
   1866   0xffffffffffffffff,
   1867   0xffffffffffffffff,
   1868   0xffffffffffffffff,
   1869   0xffffffffffffffff,
   1870   0xffffffffffffffff,
   1871   0xffffffffffffffff,
   1872   0xffffffffffffffff,
   1873   0xffffffffffffffff,
   1874   0xffffffffffffffff,
   1875   0xffffffffffffffff,
   1876   0xffffffffffffffff,
   1877   0xffffffffffffffff,
   1878   0xffffffffffffffff,
   1879   0xffffffffffffffff,
   1880   0xffffffffffffffff,
   1881   0xffffffffffffffff,
   1882   0xffffffffffffffff,
   1883   0xffffffffffffffff,
   1884   0xffffffffffffffff,
   1885   0xffffffffffffffff,
   1886   0xffffffffffffffff,
   1887   0xffffffffffffffff,
   1888   0xffffffffffffffff,
   1889   0xffffffffffffffff,
   1890   0xffffffffffffffff,
   1891   0xffffffffffffffff,
   1892   0xffffffffffffffff,
   1893   0xffffffffffffffff,
   1894   0xffffffffffff8000,
   1895   0xffffffffffffffff,
   1896   0xffffffffffffffff,
   1897   0xffffffffffffffff,
   1898   0xffffffffffffffff,
   1899   0xffffffffffffffff,
   1900   0xffffffffffffffff,
   1901   0xffffffffffffffff,
   1902   0xffffffffffffffff,
   1903   0xffffffffffffffff,
   1904   0xffffffffffffffff,
   1905   0xffffffffffffffff,
   1906   0xffffffffffffffff,
   1907   0xffffffffffffffff,
   1908   0xffffffffffffffff,
   1909   0xffffffffffffffff,
   1910   0xffffffffffffffff,
   1911   0xffffffffffffffff,
   1912   0xffffffffffffffff,
   1913   0xffffffffffffffff,
   1914   0xffffffffffffffff,
   1915   0xffffffffffffffff,
   1916   0xffffffffffffffff,
   1917   0xffffffffffffffff,
   1918   0xffffffffffffffff,
   1919   0xffffffffffffffff,
   1920   0xffffffffffffffff,
   1921   0xffffffffffffffff,
   1922   0xffffffffffffffff,
   1923   0xffffffffffffffff,
   1924   0xffffffffffffffff,
   1925   0xffffffffffffffff,
   1926   0xffffffffffffffff,
   1927   0xffffffffffffffff,
   1928   0xffffffffffffffff,
   1929   0xffffffffffffffff,
   1930   0xffffffffffffffff,
   1931   0xffffffffffffffff,
   1932   0xffffffffffffffff,
   1933   0xffffffffffffffff,
   1934   0xffffffffffffffff,
   1935   0xffffffffffffffff,
   1936   0xffffffffffffffff,
   1937   0xffffffffffffffff,
   1938   0xffffffffffffffff,
   1939   0xffffffffffffffff,
   1940   0xffffffffffffffff,
   1941   0xffffffffffffffff,
   1942   0xffffffffffffffff,
   1943   0xffffffffffffffff,
   1944   0xffffffffffffffff,
   1945   0xffffffffffffffff,
   1946   0xffffffffffffffff,
   1947   0xffffffffffffffff,
   1948   0xffffffffffffffff,
   1949   0xffffffffffffffff,
   1950   0xffffffffffffffff,
   1951   0xffffffffffffffff,
   1952   0xffffffffffffffff,
   1953   0xffffffffffffffff,
   1954   0xffffffffffffffff,
   1955   0xffffffffffffffff,
   1956   0xffffffffffffffff,
   1957   0xffffffffffffffff,
   1958   0xffffffffffff8001,
   1959   0xffffffffffffffff,
   1960   0xffffffffffffffff,
   1961   0xffffffffffffffff,
   1962   0xffffffffffffffff,
   1963   0xffffffffffffffff,
   1964   0xffffffffffffffff,
   1965   0xffffffffffffffff,
   1966   0xffffffffffffffff,
   1967   0xffffffffffffffff,
   1968   0xffffffffffffffff,
   1969   0xffffffffffffffff,
   1970   0xffffffffffffffff,
   1971   0xffffffffffffffff,
   1972   0xffffffffffffffff,
   1973   0xffffffffffffffff,
   1974   0xffffffffffffffff,
   1975   0xffffffffffffffff,
   1976   0xffffffffffffffff,
   1977   0xffffffffffffffff,
   1978   0xffffffffffffffff,
   1979   0xffffffffffffffff,
   1980   0xffffffffffffffff,
   1981   0xffffffffffffffff,
   1982   0xffffffffffffffff,
   1983   0xffffffffffffffff,
   1984   0xffffffffffffffff,
   1985   0xffffffffffffffff,
   1986   0xffffffffffffffff,
   1987   0xffffffffffffffff,
   1988   0xffffffffffffffff,
   1989   0xffffffffffffffff,
   1990   0xffffffffffffffff,
   1991   0xffffffffffffffff,
   1992   0xffffffffffffffff,
   1993   0xffffffffffffffff,
   1994   0xffffffffffffffff,
   1995   0xffffffffffffffff,
   1996   0xffffffffffffffff,
   1997   0xffffffffffffffff,
   1998   0xffffffffffffffff,
   1999   0xffffffffffffffff,
   2000   0xffffffffffffffff,
   2001   0xffffffffffffffff,
   2002   0xffffffffffffffff,
   2003   0xffffffffffffffff,
   2004   0xffffffffffffffff,
   2005   0xffffffffffffffff,
   2006   0xffffffffffffffff,
   2007   0xffffffffffffffff,
   2008   0xffffffffffffffff,
   2009   0xffffffffffffffff,
   2010   0xffffffffffffffff,
   2011   0xffffffffffffffff,
   2012   0xffffffffffffffff,
   2013   0xffffffffffffffff,
   2014   0xffffffffffffffff,
   2015   0xffffffffffffffff,
   2016   0xffffffffffffffff,
   2017   0xffffffffffffffff,
   2018   0xffffffffffffffff,
   2019   0xffffffffffffffff,
   2020   0xffffffffffffffff,
   2021   0xffffffffffffffff,
   2022   0xffffffffffff8002,
   2023   0xffffffffffffffff,
   2024   0xffffffffffffffff,
   2025   0xffffffffffffffff,
   2026   0xffffffffffffffff,
   2027   0xffffffffffffffff,
   2028   0xffffffffffffffff,
   2029   0xffffffffffffffff,
   2030   0xffffffffffffffff,
   2031   0xffffffffffffffff,
   2032   0xffffffffffffffff,
   2033   0xffffffffffffffff,
   2034   0xffffffffffffffff,
   2035   0xffffffffffffffff,
   2036   0xffffffffffffffff,
   2037   0xffffffffffffffff,
   2038   0xffffffffffffffff,
   2039   0xffffffffffffffff,
   2040   0xffffffffffffffff,
   2041   0xffffffffffffffff,
   2042   0xffffffffffffffff,
   2043   0xffffffffffffffff,
   2044   0xffffffffffffffff,
   2045   0xffffffffffffffff,
   2046   0xffffffffffffffff,
   2047   0xffffffffffffffff,
   2048   0xffffffffffffffff,
   2049   0xffffffffffffffff,
   2050   0xffffffffffffffff,
   2051   0xffffffffffffffff,
   2052   0xffffffffffffffff,
   2053   0xffffffffffffffff,
   2054   0xffffffffffffffff,
   2055   0xffffffffffffffff,
   2056   0xffffffffffffffff,
   2057   0xffffffffffffffff,
   2058   0xffffffffffffffff,
   2059   0xffffffffffffffff,
   2060   0xffffffffffffffff,
   2061   0xffffffffffffffff,
   2062   0xffffffffffffffff,
   2063   0xffffffffffffffff,
   2064   0xffffffffffffffff,
   2065   0xffffffffffffffff,
   2066   0xffffffffffffffff,
   2067   0xffffffffffffffff,
   2068   0xffffffffffffffff,
   2069   0xffffffffffffffff,
   2070   0xffffffffffffffff,
   2071   0xffffffffffffffff,
   2072   0xffffffffffffffff,
   2073   0xffffffffffffffff,
   2074   0xffffffffffffffff,
   2075   0xffffffffffffffff,
   2076   0xffffffffffffffff,
   2077   0xffffffffffffffff,
   2078   0xffffffffffffffff,
   2079   0xffffffffffffffff,
   2080   0xffffffffffffffff,
   2081   0xffffffffffffffff,
   2082   0xffffffffffffffff,
   2083   0xffffffffffffffff,
   2084   0xffffffffffffffff,
   2085   0xffffffffffffffff,
   2086   0xffffffffffff8003,
   2087   0xffffffffffffffff,
   2088   0xffffffffffffffff,
   2089   0xffffffffffffffff,
   2090   0xffffffffffffffff,
   2091   0xffffffffffffffff,
   2092   0xffffffffffffffff,
   2093   0xffffffffffffffff,
   2094   0xffffffffffffffff,
   2095   0xffffffffffffffff,
   2096   0xffffffffffffffff,
   2097   0xffffffffffffffff,
   2098   0xffffffffffffffff,
   2099   0xffffffffffffffff,
   2100   0xffffffffffffffff,
   2101   0xffffffffffffffff,
   2102   0xffffffffffffffff,
   2103   0xffffffffffffffff,
   2104   0xffffffffffffffff,
   2105   0xffffffffffffffff,
   2106   0xffffffffffffffff,
   2107   0xffffffffffffffff,
   2108   0xffffffffffffffff,
   2109   0xffffffffffffffff,
   2110   0xffffffffffffffff,
   2111   0xffffffffffffffff,
   2112   0xffffffffffffffff,
   2113   0xffffffffffffffff,
   2114   0xffffffffffffffff,
   2115   0xffffffffffffffff,
   2116   0xffffffffffffffff,
   2117   0xffffffffffffffff,
   2118   0xffffffffffffffff,
   2119   0xffffffffffffffff,
   2120   0xffffffffffffffff,
   2121   0xffffffffffffffff,
   2122   0xffffffffffffffff,
   2123   0xffffffffffffffff,
   2124   0xffffffffffffffff,
   2125   0xffffffffffffffff,
   2126   0xffffffffffffffff,
   2127   0xffffffffffffffff,
   2128   0xffffffffffffffff,
   2129   0xffffffffffffffff,
   2130   0xffffffffffffffff,
   2131   0xffffffffffffffff,
   2132   0xffffffffffffffff,
   2133   0xffffffffffffffff,
   2134   0xffffffffffffffff,
   2135   0xffffffffffffffff,
   2136   0xffffffffffffffff,
   2137   0xffffffffffffffff,
   2138   0xffffffffffffffff,
   2139   0xffffffffffffffff,
   2140   0xffffffffffffffff,
   2141   0xffffffffffffffff,
   2142   0xffffffffffffffff,
   2143   0xffffffffffffffff,
   2144   0xffffffffffffffff,
   2145   0xffffffffffffffff,
   2146   0xffffffffffffffff,
   2147   0xffffffffffffffff,
   2148   0xffffffffffffffff,
   2149   0xffffffffffffffff,
   2150   0xffffffffffffff80,
   2151   0xffffffffffffffff,
   2152   0xffffffffffffffff,
   2153   0xffffffffffffffff,
   2154   0xffffffffffffffff,
   2155   0xffffffffffffffff,
   2156   0xffffffffffffffff,
   2157   0xffffffffffffffff,
   2158   0xffffffffffffffff,
   2159   0xffffffffffffffff,
   2160   0xffffffffffffffff,
   2161   0xffffffffffffffff,
   2162   0xffffffffffffffff,
   2163   0xffffffffffffffff,
   2164   0xffffffffffffffff,
   2165   0xffffffffffffffff,
   2166   0xffffffffffffffff,
   2167   0xffffffffffffffff,
   2168   0xffffffffffffffff,
   2169   0xffffffffffffffff,
   2170   0xffffffffffffffff,
   2171   0xffffffffffffffff,
   2172   0xffffffffffffffff,
   2173   0xffffffffffffffff,
   2174   0xffffffffffffffff,
   2175   0xffffffffffffffff,
   2176   0xffffffffffffffff,
   2177   0xffffffffffffffff,
   2178   0xffffffffffffffff,
   2179   0xffffffffffffffff,
   2180   0xffffffffffffffff,
   2181   0xffffffffffffffff,
   2182   0xffffffffffffffff,
   2183   0xffffffffffffffff,
   2184   0xffffffffffffffff,
   2185   0xffffffffffffffff,
   2186   0xffffffffffffffff,
   2187   0xffffffffffffffff,
   2188   0xffffffffffffffff,
   2189   0xffffffffffffffff,
   2190   0xffffffffffffffff,
   2191   0xffffffffffffffff,
   2192   0xffffffffffffffff,
   2193   0xffffffffffffffff,
   2194   0xffffffffffffffff,
   2195   0xffffffffffffffff,
   2196   0xffffffffffffffff,
   2197   0xffffffffffffffff,
   2198   0xffffffffffffffff,
   2199   0xffffffffffffffff,
   2200   0xffffffffffffffff,
   2201   0xffffffffffffffff,
   2202   0xffffffffffffffff,
   2203   0xffffffffffffffff,
   2204   0xffffffffffffffff,
   2205   0xffffffffffffffff,
   2206   0xffffffffffffffff,
   2207   0xffffffffffffffff,
   2208   0xffffffffffffffff,
   2209   0xffffffffffffffff,
   2210   0xffffffffffffffff,
   2211   0xffffffffffffffff,
   2212   0xffffffffffffffff,
   2213   0xffffffffffffffff,
   2214   0xffffffffffffff81,
   2215   0xffffffffffffffff,
   2216   0xffffffffffffffff,
   2217   0xffffffffffffffff,
   2218   0xffffffffffffffff,
   2219   0xffffffffffffffff,
   2220   0xffffffffffffffff,
   2221   0xffffffffffffffff,
   2222   0xffffffffffffffff,
   2223   0xffffffffffffffff,
   2224   0xffffffffffffffff,
   2225   0xffffffffffffffff,
   2226   0xffffffffffffffff,
   2227   0xffffffffffffffff,
   2228   0xffffffffffffffff,
   2229   0xffffffffffffffff,
   2230   0xffffffffffffffff,
   2231   0xffffffffffffffff,
   2232   0xffffffffffffffff,
   2233   0xffffffffffffffff,
   2234   0xffffffffffffffff,
   2235   0xffffffffffffffff,
   2236   0xffffffffffffffff,
   2237   0xffffffffffffffff,
   2238   0xffffffffffffffff,
   2239   0xffffffffffffffff,
   2240   0xffffffffffffffff,
   2241   0xffffffffffffffff,
   2242   0xffffffffffffffff,
   2243   0xffffffffffffffff,
   2244   0xffffffffffffffff,
   2245   0xffffffffffffffff,
   2246   0xffffffffffffffff,
   2247   0xffffffffffffffff,
   2248   0xffffffffffffffff,
   2249   0xffffffffffffffff,
   2250   0xffffffffffffffff,
   2251   0xffffffffffffffff,
   2252   0xffffffffffffffff,
   2253   0xffffffffffffffff,
   2254   0xffffffffffffffff,
   2255   0xffffffffffffffff,
   2256   0xffffffffffffffff,
   2257   0xffffffffffffffff,
   2258   0xffffffffffffffff,
   2259   0xffffffffffffffff,
   2260   0xffffffffffffffff,
   2261   0xffffffffffffffff,
   2262   0xffffffffffffffff,
   2263   0xffffffffffffffff,
   2264   0xffffffffffffffff,
   2265   0xffffffffffffffff,
   2266   0xffffffffffffffff,
   2267   0xffffffffffffffff,
   2268   0xffffffffffffffff,
   2269   0xffffffffffffffff,
   2270   0xffffffffffffffff,
   2271   0xffffffffffffffff,
   2272   0xffffffffffffffff,
   2273   0xffffffffffffffff,
   2274   0xffffffffffffffff,
   2275   0xffffffffffffffff,
   2276   0xffffffffffffffff,
   2277   0xffffffffffffffff,
   2278   0xffffffffffffff82,
   2279   0xffffffffffffffff,
   2280   0xffffffffffffffff,
   2281   0xffffffffffffffff,
   2282   0xffffffffffffffff,
   2283   0xffffffffffffffff,
   2284   0xffffffffffffffff,
   2285   0xffffffffffffffff,
   2286   0xffffffffffffffff,
   2287   0xffffffffffffffff,
   2288   0xffffffffffffffff,
   2289   0xffffffffffffffff,
   2290   0xffffffffffffffff,
   2291   0xffffffffffffffff,
   2292   0xffffffffffffffff,
   2293   0xffffffffffffffff,
   2294   0xffffffffffffffff,
   2295   0xffffffffffffffff,
   2296   0xffffffffffffffff,
   2297   0xffffffffffffffff,
   2298   0xffffffffffffffff,
   2299   0xffffffffffffffff,
   2300   0xffffffffffffffff,
   2301   0xffffffffffffffff,
   2302   0xffffffffffffffff,
   2303   0xffffffffffffffff,
   2304   0xffffffffffffffff,
   2305   0xffffffffffffffff,
   2306   0xffffffffffffffff,
   2307   0xffffffffffffffff,
   2308   0xffffffffffffffff,
   2309   0xffffffffffffffff,
   2310   0xffffffffffffffff,
   2311   0xffffffffffffffff,
   2312   0xffffffffffffffff,
   2313   0xffffffffffffffff,
   2314   0xffffffffffffffff,
   2315   0xffffffffffffffff,
   2316   0xffffffffffffffff,
   2317   0xffffffffffffffff,
   2318   0xffffffffffffffff,
   2319   0xffffffffffffffff,
   2320   0xffffffffffffffff,
   2321   0xffffffffffffffff,
   2322   0xffffffffffffffff,
   2323   0xffffffffffffffff,
   2324   0xffffffffffffffff,
   2325   0xffffffffffffffff,
   2326   0xffffffffffffffff,
   2327   0xffffffffffffffff,
   2328   0xffffffffffffffff,
   2329   0xffffffffffffffff,
   2330   0xffffffffffffffff,
   2331   0xffffffffffffffff,
   2332   0xffffffffffffffff,
   2333   0xffffffffffffffff,
   2334   0xffffffffffffffff,
   2335   0xffffffffffffffff,
   2336   0xffffffffffffffff,
   2337   0xffffffffffffffff,
   2338   0xffffffffffffffff,
   2339   0xffffffffffffffff,
   2340   0xffffffffffffffff,
   2341   0xffffffffffffffff,
   2342   0xffffffffffffff83,
   2343   0xffffffffffffffff,
   2344   0xffffffffffffffff,
   2345   0xffffffffffffffff,
   2346   0xffffffffffffffff,
   2347   0xffffffffffffffff,
   2348   0xffffffffffffffff,
   2349   0xffffffffffffffff,
   2350   0xffffffffffffffff,
   2351   0xffffffffffffffff,
   2352   0xffffffffffffffff,
   2353   0xffffffffffffffff,
   2354   0xffffffffffffffff,
   2355   0xffffffffffffffff,
   2356   0xffffffffffffffff,
   2357   0xffffffffffffffff,
   2358   0xffffffffffffffff,
   2359   0xffffffffffffffff,
   2360   0xffffffffffffffff,
   2361   0xffffffffffffffff,
   2362   0xffffffffffffffff,
   2363   0xffffffffffffffff,
   2364   0xffffffffffffffff,
   2365   0xffffffffffffffff,
   2366   0xffffffffffffffff,
   2367   0xffffffffffffffff,
   2368   0xffffffffffffffff,
   2369   0xffffffffffffffff,
   2370   0xffffffffffffffff,
   2371   0xffffffffffffffff,
   2372   0xffffffffffffffff,
   2373   0xffffffffffffffff,
   2374   0xffffffffffffffff,
   2375   0xffffffffffffffff,
   2376   0xffffffffffffffff,
   2377   0xffffffffffffffff,
   2378   0xffffffffffffffff,
   2379   0xffffffffffffffff,
   2380   0xffffffffffffffff,
   2381   0xffffffffffffffff,
   2382   0xffffffffffffffff,
   2383   0xffffffffffffffff,
   2384   0xffffffffffffffff,
   2385   0xffffffffffffffff,
   2386   0xffffffffffffffff,
   2387   0xffffffffffffffff,
   2388   0xffffffffffffffff,
   2389   0xffffffffffffffff,
   2390   0xffffffffffffffff,
   2391   0xffffffffffffffff,
   2392   0xffffffffffffffff,
   2393   0xffffffffffffffff,
   2394   0xffffffffffffffff,
   2395   0xffffffffffffffff,
   2396   0xffffffffffffffff,
   2397   0xffffffffffffffff,
   2398   0xffffffffffffffff,
   2399   0xffffffffffffffff,
   2400   0xffffffffffffffff,
   2401   0xffffffffffffffff,
   2402   0xffffffffffffffff,
   2403   0xffffffffffffffff,
   2404   0xffffffffffffffff,
   2405   0xffffffffffffffff,
   2406   0xffffffffffffffc0,
   2407   0xffffffffffffffff,
   2408   0xffffffffffffffff,
   2409   0xffffffffffffffff,
   2410   0xffffffffffffffff,
   2411   0xffffffffffffffff,
   2412   0xffffffffffffffff,
   2413   0xffffffffffffffff,
   2414   0xffffffffffffffff,
   2415   0xffffffffffffffff,
   2416   0xffffffffffffffff,
   2417   0xffffffffffffffff,
   2418   0xffffffffffffffff,
   2419   0xffffffffffffffff,
   2420   0xffffffffffffffff,
   2421   0xffffffffffffffff,
   2422   0xffffffffffffffff,
   2423   0xffffffffffffffff,
   2424   0xffffffffffffffff,
   2425   0xffffffffffffffff,
   2426   0xffffffffffffffff,
   2427   0xffffffffffffffff,
   2428   0xffffffffffffffff,
   2429   0xffffffffffffffff,
   2430   0xffffffffffffffff,
   2431   0xffffffffffffffff,
   2432   0xffffffffffffffff,
   2433   0xffffffffffffffff,
   2434   0xffffffffffffffff,
   2435   0xffffffffffffffff,
   2436   0xffffffffffffffff,
   2437   0xffffffffffffffff,
   2438   0xffffffffffffffff,
   2439   0xffffffffffffffff,
   2440   0xffffffffffffffff,
   2441   0xffffffffffffffff,
   2442   0xffffffffffffffff,
   2443   0xffffffffffffffff,
   2444   0xffffffffffffffff,
   2445   0xffffffffffffffff,
   2446   0xffffffffffffffff,
   2447   0xffffffffffffffff,
   2448   0xffffffffffffffff,
   2449   0xffffffffffffffff,
   2450   0xffffffffffffffff,
   2451   0xffffffffffffffff,
   2452   0xffffffffffffffff,
   2453   0xffffffffffffffff,
   2454   0xffffffffffffffff,
   2455   0xffffffffffffffff,
   2456   0xffffffffffffffff,
   2457   0xffffffffffffffff,
   2458   0xffffffffffffffff,
   2459   0xffffffffffffffff,
   2460   0xffffffffffffffff,
   2461   0xffffffffffffffff,
   2462   0xffffffffffffffff,
   2463   0xffffffffffffffff,
   2464   0xffffffffffffffff,
   2465   0xffffffffffffffff,
   2466   0xffffffffffffffff,
   2467   0xffffffffffffffff,
   2468   0xffffffffffffffff,
   2469   0xffffffffffffffff,
   2470   0xfffffffffffffffd,
   2471   0xffffffffffffffff,
   2472   0xffffffffffffffff,
   2473   0xffffffffffffffff,
   2474   0xffffffffffffffff,
   2475   0xffffffffffffffff,
   2476   0xffffffffffffffff,
   2477   0xffffffffffffffff,
   2478   0xffffffffffffffff,
   2479   0xffffffffffffffff,
   2480   0xffffffffffffffff,
   2481   0xffffffffffffffff,
   2482   0xffffffffffffffff,
   2483   0xffffffffffffffff,
   2484   0xffffffffffffffff,
   2485   0xffffffffffffffff,
   2486   0xffffffffffffffff,
   2487   0xffffffffffffffff,
   2488   0xffffffffffffffff,
   2489   0xffffffffffffffff,
   2490   0xffffffffffffffff,
   2491   0xffffffffffffffff,
   2492   0xffffffffffffffff,
   2493   0xffffffffffffffff,
   2494   0xffffffffffffffff,
   2495   0xffffffffffffffff,
   2496   0xffffffffffffffff,
   2497   0xffffffffffffffff,
   2498   0xffffffffffffffff,
   2499   0xffffffffffffffff,
   2500   0xffffffffffffffff,
   2501   0xffffffffffffffff,
   2502   0xffffffffffffffff,
   2503   0xffffffffffffffff,
   2504   0xffffffffffffffff,
   2505   0xffffffffffffffff,
   2506   0xffffffffffffffff,
   2507   0xffffffffffffffff,
   2508   0xffffffffffffffff,
   2509   0xffffffffffffffff,
   2510   0xffffffffffffffff,
   2511   0xffffffffffffffff,
   2512   0xffffffffffffffff,
   2513   0xffffffffffffffff,
   2514   0xffffffffffffffff,
   2515   0xffffffffffffffff,
   2516   0xffffffffffffffff,
   2517   0xffffffffffffffff,
   2518   0xffffffffffffffff,
   2519   0xffffffffffffffff,
   2520   0xffffffffffffffff,
   2521   0xffffffffffffffff,
   2522   0xffffffffffffffff,
   2523   0xffffffffffffffff,
   2524   0xffffffffffffffff,
   2525   0xffffffffffffffff,
   2526   0xffffffffffffffff,
   2527   0xffffffffffffffff,
   2528   0xffffffffffffffff,
   2529   0xffffffffffffffff,
   2530   0xffffffffffffffff,
   2531   0xffffffffffffffff,
   2532   0xffffffffffffffff,
   2533   0xffffffffffffffff,
   2534   0xfffffffffffffffe,
   2535   0xffffffffffffffff,
   2536   0xffffffffffffffff,
   2537   0xffffffffffffffff,
   2538   0xffffffffffffffff,
   2539   0xffffffffffffffff,
   2540   0xffffffffffffffff,
   2541   0xffffffffffffffff,
   2542   0xffffffffffffffff,
   2543   0xffffffffffffffff,
   2544   0xffffffffffffffff,
   2545   0xffffffffffffffff,
   2546   0xffffffffffffffff,
   2547   0xffffffffffffffff,
   2548   0xffffffffffffffff,
   2549   0xffffffffffffffff,
   2550   0xffffffffffffffff,
   2551   0xffffffffffffffff,
   2552   0xffffffffffffffff,
   2553   0xffffffffffffffff,
   2554   0xffffffffffffffff,
   2555   0xffffffffffffffff,
   2556   0xffffffffffffffff,
   2557   0xffffffffffffffff,
   2558   0xffffffffffffffff,
   2559   0xffffffffffffffff,
   2560   0xffffffffffffffff,
   2561   0xffffffffffffffff,
   2562   0xffffffffffffffff,
   2563   0xffffffffffffffff,
   2564   0xffffffffffffffff,
   2565   0xffffffffffffffff,
   2566   0xffffffffffffffff,
   2567   0xffffffffffffffff,
   2568   0xffffffffffffffff,
   2569   0xffffffffffffffff,
   2570   0xffffffffffffffff,
   2571   0xffffffffffffffff,
   2572   0xffffffffffffffff,
   2573   0xffffffffffffffff,
   2574   0xffffffffffffffff,
   2575   0xffffffffffffffff,
   2576   0xffffffffffffffff,
   2577   0xffffffffffffffff,
   2578   0xffffffffffffffff,
   2579   0xffffffffffffffff,
   2580   0xffffffffffffffff,
   2581   0xffffffffffffffff,
   2582   0xffffffffffffffff,
   2583   0xffffffffffffffff,
   2584   0xffffffffffffffff,
   2585   0xffffffffffffffff,
   2586   0xffffffffffffffff,
   2587   0xffffffffffffffff,
   2588   0xffffffffffffffff,
   2589   0xffffffffffffffff,
   2590   0xffffffffffffffff,
   2591   0xffffffffffffffff,
   2592   0xffffffffffffffff,
   2593   0xffffffffffffffff,
   2594   0xffffffffffffffff,
   2595   0xffffffffffffffff,
   2596   0xffffffffffffffff,
   2597   0xffffffffffffffff,
   2598 };
   2599 const unsigned kExpectedCount_NEON_uqshl_D_2OPIMM = 2560;
   2600 
   2601 #endif  // VIXL_SIM_UQSHL_D_2OPIMM_TRACE_AARCH64_H_
   2602