Home | History | Annotate | Download | only in a64 
      1 // Copyright 2015, ARM Limited
      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_URSHR_2D_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_URSHR_2D_2OPIMM_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_urshr_2D_2OPIMM[] = {
     38   0x8000000000000000, 0x0000000000000000,
     39   0x4000000000000000, 0x0000000000000000,
     40   0x2000000000000000, 0x0000000000000000,
     41   0x1000000000000000, 0x0000000000000000,
     42   0x0800000000000000, 0x0000000000000000,
     43   0x0400000000000000, 0x0000000000000000,
     44   0x0200000000000000, 0x0000000000000000,
     45   0x0100000000000000, 0x0000000000000000,
     46   0x0080000000000000, 0x0000000000000000,
     47   0x0040000000000000, 0x0000000000000000,
     48   0x0020000000000000, 0x0000000000000000,
     49   0x0010000000000000, 0x0000000000000000,
     50   0x0008000000000000, 0x0000000000000000,
     51   0x0004000000000000, 0x0000000000000000,
     52   0x0002000000000000, 0x0000000000000000,
     53   0x0001000000000000, 0x0000000000000000,
     54   0x0000800000000000, 0x0000000000000000,
     55   0x0000400000000000, 0x0000000000000000,
     56   0x0000200000000000, 0x0000000000000000,
     57   0x0000100000000000, 0x0000000000000000,
     58   0x0000080000000000, 0x0000000000000000,
     59   0x0000040000000000, 0x0000000000000000,
     60   0x0000020000000000, 0x0000000000000000,
     61   0x0000010000000000, 0x0000000000000000,
     62   0x0000008000000000, 0x0000000000000000,
     63   0x0000004000000000, 0x0000000000000000,
     64   0x0000002000000000, 0x0000000000000000,
     65   0x0000001000000000, 0x0000000000000000,
     66   0x0000000800000000, 0x0000000000000000,
     67   0x0000000400000000, 0x0000000000000000,
     68   0x0000000200000000, 0x0000000000000000,
     69   0x0000000100000000, 0x0000000000000000,
     70   0x0000000080000000, 0x0000000000000000,
     71   0x0000000040000000, 0x0000000000000000,
     72   0x0000000020000000, 0x0000000000000000,
     73   0x0000000010000000, 0x0000000000000000,
     74   0x0000000008000000, 0x0000000000000000,
     75   0x0000000004000000, 0x0000000000000000,
     76   0x0000000002000000, 0x0000000000000000,
     77   0x0000000001000000, 0x0000000000000000,
     78   0x0000000000800000, 0x0000000000000000,
     79   0x0000000000400000, 0x0000000000000000,
     80   0x0000000000200000, 0x0000000000000000,
     81   0x0000000000100000, 0x0000000000000000,
     82   0x0000000000080000, 0x0000000000000000,
     83   0x0000000000040000, 0x0000000000000000,
     84   0x0000000000020000, 0x0000000000000000,
     85   0x0000000000010000, 0x0000000000000000,
     86   0x0000000000008000, 0x0000000000000000,
     87   0x0000000000004000, 0x0000000000000000,
     88   0x0000000000002000, 0x0000000000000000,
     89   0x0000000000001000, 0x0000000000000000,
     90   0x0000000000000800, 0x0000000000000000,
     91   0x0000000000000400, 0x0000000000000000,
     92   0x0000000000000200, 0x0000000000000000,
     93   0x0000000000000100, 0x0000000000000000,
     94   0x0000000000000080, 0x0000000000000000,
     95   0x0000000000000040, 0x0000000000000000,
     96   0x0000000000000020, 0x0000000000000000,
     97   0x0000000000000010, 0x0000000000000000,
     98   0x0000000000000008, 0x0000000000000000,
     99   0x0000000000000004, 0x0000000000000000,
    100   0x0000000000000002, 0x0000000000000000,
    101   0x0000000000000001, 0x0000000000000000,
    102   0x0000000000000000, 0x0000000000000001,
    103   0x0000000000000000, 0x0000000000000000,
    104   0x0000000000000000, 0x0000000000000000,
    105   0x0000000000000000, 0x0000000000000000,
    106   0x0000000000000000, 0x0000000000000000,
    107   0x0000000000000000, 0x0000000000000000,
    108   0x0000000000000000, 0x0000000000000000,
    109   0x0000000000000000, 0x0000000000000000,
    110   0x0000000000000000, 0x0000000000000000,
    111   0x0000000000000000, 0x0000000000000000,
    112   0x0000000000000000, 0x0000000000000000,
    113   0x0000000000000000, 0x0000000000000000,
    114   0x0000000000000000, 0x0000000000000000,
    115   0x0000000000000000, 0x0000000000000000,
    116   0x0000000000000000, 0x0000000000000000,
    117   0x0000000000000000, 0x0000000000000000,
    118   0x0000000000000000, 0x0000000000000000,
    119   0x0000000000000000, 0x0000000000000000,
    120   0x0000000000000000, 0x0000000000000000,
    121   0x0000000000000000, 0x0000000000000000,
    122   0x0000000000000000, 0x0000000000000000,
    123   0x0000000000000000, 0x0000000000000000,
    124   0x0000000000000000, 0x0000000000000000,
    125   0x0000000000000000, 0x0000000000000000,
    126   0x0000000000000000, 0x0000000000000000,
    127   0x0000000000000000, 0x0000000000000000,
    128   0x0000000000000000, 0x0000000000000000,
    129   0x0000000000000000, 0x0000000000000000,
    130   0x0000000000000000, 0x0000000000000000,
    131   0x0000000000000000, 0x0000000000000000,
    132   0x0000000000000000, 0x0000000000000000,
    133   0x0000000000000000, 0x0000000000000000,
    134   0x0000000000000000, 0x0000000000000000,
    135   0x0000000000000000, 0x0000000000000000,
    136   0x0000000000000000, 0x0000000000000000,
    137   0x0000000000000000, 0x0000000000000000,
    138   0x0000000000000000, 0x0000000000000000,
    139   0x0000000000000000, 0x0000000000000000,
    140   0x0000000000000000, 0x0000000000000000,
    141   0x0000000000000000, 0x0000000000000000,
    142   0x0000000000000000, 0x0000000000000000,
    143   0x0000000000000000, 0x0000000000000000,
    144   0x0000000000000000, 0x0000000000000000,
    145   0x0000000000000000, 0x0000000000000000,
    146   0x0000000000000000, 0x0000000000000000,
    147   0x0000000000000000, 0x0000000000000000,
    148   0x0000000000000000, 0x0000000000000000,
    149   0x0000000000000000, 0x0000000000000000,
    150   0x0000000000000000, 0x0000000000000000,
    151   0x0000000000000000, 0x0000000000000000,
    152   0x0000000000000000, 0x0000000000000000,
    153   0x0000000000000000, 0x0000000000000000,
    154   0x0000000000000000, 0x0000000000000000,
    155   0x0000000000000000, 0x0000000000000000,
    156   0x0000000000000000, 0x0000000000000000,
    157   0x0000000000000000, 0x0000000000000000,
    158   0x0000000000000000, 0x0000000000000000,
    159   0x0000000000000000, 0x0000000000000000,
    160   0x0000000000000000, 0x0000000000000000,
    161   0x0000000000000000, 0x0000000000000000,
    162   0x0000000000000000, 0x0000000000000000,
    163   0x0000000000000000, 0x0000000000000000,
    164   0x0000000000000000, 0x0000000000000000,
    165   0x0000000000000000, 0x0000000000000000,
    166   0x0000000000000001, 0x0000000000000001,
    167   0x0000000000000000, 0x0000000000000001,
    168   0x0000000000000000, 0x0000000000000000,
    169   0x0000000000000000, 0x0000000000000000,
    170   0x0000000000000000, 0x0000000000000000,
    171   0x0000000000000000, 0x0000000000000000,
    172   0x0000000000000000, 0x0000000000000000,
    173   0x0000000000000000, 0x0000000000000000,
    174   0x0000000000000000, 0x0000000000000000,
    175   0x0000000000000000, 0x0000000000000000,
    176   0x0000000000000000, 0x0000000000000000,
    177   0x0000000000000000, 0x0000000000000000,
    178   0x0000000000000000, 0x0000000000000000,
    179   0x0000000000000000, 0x0000000000000000,
    180   0x0000000000000000, 0x0000000000000000,
    181   0x0000000000000000, 0x0000000000000000,
    182   0x0000000000000000, 0x0000000000000000,
    183   0x0000000000000000, 0x0000000000000000,
    184   0x0000000000000000, 0x0000000000000000,
    185   0x0000000000000000, 0x0000000000000000,
    186   0x0000000000000000, 0x0000000000000000,
    187   0x0000000000000000, 0x0000000000000000,
    188   0x0000000000000000, 0x0000000000000000,
    189   0x0000000000000000, 0x0000000000000000,
    190   0x0000000000000000, 0x0000000000000000,
    191   0x0000000000000000, 0x0000000000000000,
    192   0x0000000000000000, 0x0000000000000000,
    193   0x0000000000000000, 0x0000000000000000,
    194   0x0000000000000000, 0x0000000000000000,
    195   0x0000000000000000, 0x0000000000000000,
    196   0x0000000000000000, 0x0000000000000000,
    197   0x0000000000000000, 0x0000000000000000,
    198   0x0000000000000000, 0x0000000000000000,
    199   0x0000000000000000, 0x0000000000000000,
    200   0x0000000000000000, 0x0000000000000000,
    201   0x0000000000000000, 0x0000000000000000,
    202   0x0000000000000000, 0x0000000000000000,
    203   0x0000000000000000, 0x0000000000000000,
    204   0x0000000000000000, 0x0000000000000000,
    205   0x0000000000000000, 0x0000000000000000,
    206   0x0000000000000000, 0x0000000000000000,
    207   0x0000000000000000, 0x0000000000000000,
    208   0x0000000000000000, 0x0000000000000000,
    209   0x0000000000000000, 0x0000000000000000,
    210   0x0000000000000000, 0x0000000000000000,
    211   0x0000000000000000, 0x0000000000000000,
    212   0x0000000000000000, 0x0000000000000000,
    213   0x0000000000000000, 0x0000000000000000,
    214   0x0000000000000000, 0x0000000000000000,
    215   0x0000000000000000, 0x0000000000000000,
    216   0x0000000000000000, 0x0000000000000000,
    217   0x0000000000000000, 0x0000000000000000,
    218   0x0000000000000000, 0x0000000000000000,
    219   0x0000000000000000, 0x0000000000000000,
    220   0x0000000000000000, 0x0000000000000000,
    221   0x0000000000000000, 0x0000000000000000,
    222   0x0000000000000000, 0x0000000000000000,
    223   0x0000000000000000, 0x0000000000000000,
    224   0x0000000000000000, 0x0000000000000000,
    225   0x0000000000000000, 0x0000000000000000,
    226   0x0000000000000000, 0x0000000000000000,
    227   0x0000000000000000, 0x0000000000000000,
    228   0x0000000000000000, 0x0000000000000000,
    229   0x0000000000000000, 0x0000000000000000,
    230   0x0000000000000001, 0x0000000000000020,
    231   0x0000000000000001, 0x0000000000000010,
    232   0x0000000000000000, 0x0000000000000008,
    233   0x0000000000000000, 0x0000000000000004,
    234   0x0000000000000000, 0x0000000000000002,
    235   0x0000000000000000, 0x0000000000000001,
    236   0x0000000000000000, 0x0000000000000001,
    237   0x0000000000000000, 0x0000000000000000,
    238   0x0000000000000000, 0x0000000000000000,
    239   0x0000000000000000, 0x0000000000000000,
    240   0x0000000000000000, 0x0000000000000000,
    241   0x0000000000000000, 0x0000000000000000,
    242   0x0000000000000000, 0x0000000000000000,
    243   0x0000000000000000, 0x0000000000000000,
    244   0x0000000000000000, 0x0000000000000000,
    245   0x0000000000000000, 0x0000000000000000,
    246   0x0000000000000000, 0x0000000000000000,
    247   0x0000000000000000, 0x0000000000000000,
    248   0x0000000000000000, 0x0000000000000000,
    249   0x0000000000000000, 0x0000000000000000,
    250   0x0000000000000000, 0x0000000000000000,
    251   0x0000000000000000, 0x0000000000000000,
    252   0x0000000000000000, 0x0000000000000000,
    253   0x0000000000000000, 0x0000000000000000,
    254   0x0000000000000000, 0x0000000000000000,
    255   0x0000000000000000, 0x0000000000000000,
    256   0x0000000000000000, 0x0000000000000000,
    257   0x0000000000000000, 0x0000000000000000,
    258   0x0000000000000000, 0x0000000000000000,
    259   0x0000000000000000, 0x0000000000000000,
    260   0x0000000000000000, 0x0000000000000000,
    261   0x0000000000000000, 0x0000000000000000,
    262   0x0000000000000000, 0x0000000000000000,
    263   0x0000000000000000, 0x0000000000000000,
    264   0x0000000000000000, 0x0000000000000000,
    265   0x0000000000000000, 0x0000000000000000,
    266   0x0000000000000000, 0x0000000000000000,
    267   0x0000000000000000, 0x0000000000000000,
    268   0x0000000000000000, 0x0000000000000000,
    269   0x0000000000000000, 0x0000000000000000,
    270   0x0000000000000000, 0x0000000000000000,
    271   0x0000000000000000, 0x0000000000000000,
    272   0x0000000000000000, 0x0000000000000000,
    273   0x0000000000000000, 0x0000000000000000,
    274   0x0000000000000000, 0x0000000000000000,
    275   0x0000000000000000, 0x0000000000000000,
    276   0x0000000000000000, 0x0000000000000000,
    277   0x0000000000000000, 0x0000000000000000,
    278   0x0000000000000000, 0x0000000000000000,
    279   0x0000000000000000, 0x0000000000000000,
    280   0x0000000000000000, 0x0000000000000000,
    281   0x0000000000000000, 0x0000000000000000,
    282   0x0000000000000000, 0x0000000000000000,
    283   0x0000000000000000, 0x0000000000000000,
    284   0x0000000000000000, 0x0000000000000000,
    285   0x0000000000000000, 0x0000000000000000,
    286   0x0000000000000000, 0x0000000000000000,
    287   0x0000000000000000, 0x0000000000000000,
    288   0x0000000000000000, 0x0000000000000000,
    289   0x0000000000000000, 0x0000000000000000,
    290   0x0000000000000000, 0x0000000000000000,
    291   0x0000000000000000, 0x0000000000000000,
    292   0x0000000000000000, 0x0000000000000000,
    293   0x0000000000000000, 0x0000000000000000,
    294   0x0000000000000020, 0x000000000000003f,
    295   0x0000000000000010, 0x000000000000001f,
    296   0x0000000000000008, 0x0000000000000010,
    297   0x0000000000000004, 0x0000000000000008,
    298   0x0000000000000002, 0x0000000000000004,
    299   0x0000000000000001, 0x0000000000000002,
    300   0x0000000000000001, 0x0000000000000001,
    301   0x0000000000000000, 0x0000000000000000,
    302   0x0000000000000000, 0x0000000000000000,
    303   0x0000000000000000, 0x0000000000000000,
    304   0x0000000000000000, 0x0000000000000000,
    305   0x0000000000000000, 0x0000000000000000,
    306   0x0000000000000000, 0x0000000000000000,
    307   0x0000000000000000, 0x0000000000000000,
    308   0x0000000000000000, 0x0000000000000000,
    309   0x0000000000000000, 0x0000000000000000,
    310   0x0000000000000000, 0x0000000000000000,
    311   0x0000000000000000, 0x0000000000000000,
    312   0x0000000000000000, 0x0000000000000000,
    313   0x0000000000000000, 0x0000000000000000,
    314   0x0000000000000000, 0x0000000000000000,
    315   0x0000000000000000, 0x0000000000000000,
    316   0x0000000000000000, 0x0000000000000000,
    317   0x0000000000000000, 0x0000000000000000,
    318   0x0000000000000000, 0x0000000000000000,
    319   0x0000000000000000, 0x0000000000000000,
    320   0x0000000000000000, 0x0000000000000000,
    321   0x0000000000000000, 0x0000000000000000,
    322   0x0000000000000000, 0x0000000000000000,
    323   0x0000000000000000, 0x0000000000000000,
    324   0x0000000000000000, 0x0000000000000000,
    325   0x0000000000000000, 0x0000000000000000,
    326   0x0000000000000000, 0x0000000000000000,
    327   0x0000000000000000, 0x0000000000000000,
    328   0x0000000000000000, 0x0000000000000000,
    329   0x0000000000000000, 0x0000000000000000,
    330   0x0000000000000000, 0x0000000000000000,
    331   0x0000000000000000, 0x0000000000000000,
    332   0x0000000000000000, 0x0000000000000000,
    333   0x0000000000000000, 0x0000000000000000,
    334   0x0000000000000000, 0x0000000000000000,
    335   0x0000000000000000, 0x0000000000000000,
    336   0x0000000000000000, 0x0000000000000000,
    337   0x0000000000000000, 0x0000000000000000,
    338   0x0000000000000000, 0x0000000000000000,
    339   0x0000000000000000, 0x0000000000000000,
    340   0x0000000000000000, 0x0000000000000000,
    341   0x0000000000000000, 0x0000000000000000,
    342   0x0000000000000000, 0x0000000000000000,
    343   0x0000000000000000, 0x0000000000000000,
    344   0x0000000000000000, 0x0000000000000000,
    345   0x0000000000000000, 0x0000000000000000,
    346   0x0000000000000000, 0x0000000000000000,
    347   0x0000000000000000, 0x0000000000000000,
    348   0x0000000000000000, 0x0000000000000000,
    349   0x0000000000000000, 0x0000000000000000,
    350   0x0000000000000000, 0x0000000000000000,
    351   0x0000000000000000, 0x0000000000000000,
    352   0x0000000000000000, 0x0000000000000000,
    353   0x0000000000000000, 0x0000000000000000,
    354   0x0000000000000000, 0x0000000000000000,
    355   0x0000000000000000, 0x0000000000000000,
    356   0x0000000000000000, 0x0000000000000000,
    357   0x0000000000000000, 0x0000000000000000,
    358   0x000000000000003f, 0x000000000000003f,
    359   0x000000000000001f, 0x0000000000000020,
    360   0x0000000000000010, 0x0000000000000010,
    361   0x0000000000000008, 0x0000000000000008,
    362   0x0000000000000004, 0x0000000000000004,
    363   0x0000000000000002, 0x0000000000000002,
    364   0x0000000000000001, 0x0000000000000001,
    365   0x0000000000000000, 0x0000000000000000,
    366   0x0000000000000000, 0x0000000000000000,
    367   0x0000000000000000, 0x0000000000000000,
    368   0x0000000000000000, 0x0000000000000000,
    369   0x0000000000000000, 0x0000000000000000,
    370   0x0000000000000000, 0x0000000000000000,
    371   0x0000000000000000, 0x0000000000000000,
    372   0x0000000000000000, 0x0000000000000000,
    373   0x0000000000000000, 0x0000000000000000,
    374   0x0000000000000000, 0x0000000000000000,
    375   0x0000000000000000, 0x0000000000000000,
    376   0x0000000000000000, 0x0000000000000000,
    377   0x0000000000000000, 0x0000000000000000,
    378   0x0000000000000000, 0x0000000000000000,
    379   0x0000000000000000, 0x0000000000000000,
    380   0x0000000000000000, 0x0000000000000000,
    381   0x0000000000000000, 0x0000000000000000,
    382   0x0000000000000000, 0x0000000000000000,
    383   0x0000000000000000, 0x0000000000000000,
    384   0x0000000000000000, 0x0000000000000000,
    385   0x0000000000000000, 0x0000000000000000,
    386   0x0000000000000000, 0x0000000000000000,
    387   0x0000000000000000, 0x0000000000000000,
    388   0x0000000000000000, 0x0000000000000000,
    389   0x0000000000000000, 0x0000000000000000,
    390   0x0000000000000000, 0x0000000000000000,
    391   0x0000000000000000, 0x0000000000000000,
    392   0x0000000000000000, 0x0000000000000000,
    393   0x0000000000000000, 0x0000000000000000,
    394   0x0000000000000000, 0x0000000000000000,
    395   0x0000000000000000, 0x0000000000000000,
    396   0x0000000000000000, 0x0000000000000000,
    397   0x0000000000000000, 0x0000000000000000,
    398   0x0000000000000000, 0x0000000000000000,
    399   0x0000000000000000, 0x0000000000000000,
    400   0x0000000000000000, 0x0000000000000000,
    401   0x0000000000000000, 0x0000000000000000,
    402   0x0000000000000000, 0x0000000000000000,
    403   0x0000000000000000, 0x0000000000000000,
    404   0x0000000000000000, 0x0000000000000000,
    405   0x0000000000000000, 0x0000000000000000,
    406   0x0000000000000000, 0x0000000000000000,
    407   0x0000000000000000, 0x0000000000000000,
    408   0x0000000000000000, 0x0000000000000000,
    409   0x0000000000000000, 0x0000000000000000,
    410   0x0000000000000000, 0x0000000000000000,
    411   0x0000000000000000, 0x0000000000000000,
    412   0x0000000000000000, 0x0000000000000000,
    413   0x0000000000000000, 0x0000000000000000,
    414   0x0000000000000000, 0x0000000000000000,
    415   0x0000000000000000, 0x0000000000000000,
    416   0x0000000000000000, 0x0000000000000000,
    417   0x0000000000000000, 0x0000000000000000,
    418   0x0000000000000000, 0x0000000000000000,
    419   0x0000000000000000, 0x0000000000000000,
    420   0x0000000000000000, 0x0000000000000000,
    421   0x0000000000000000, 0x0000000000000000,
    422   0x000000000000003f, 0x0000000000000040,
    423   0x0000000000000020, 0x0000000000000020,
    424   0x0000000000000010, 0x0000000000000010,
    425   0x0000000000000008, 0x0000000000000008,
    426   0x0000000000000004, 0x0000000000000004,
    427   0x0000000000000002, 0x0000000000000002,
    428   0x0000000000000001, 0x0000000000000001,
    429   0x0000000000000000, 0x0000000000000000,
    430   0x0000000000000000, 0x0000000000000000,
    431   0x0000000000000000, 0x0000000000000000,
    432   0x0000000000000000, 0x0000000000000000,
    433   0x0000000000000000, 0x0000000000000000,
    434   0x0000000000000000, 0x0000000000000000,
    435   0x0000000000000000, 0x0000000000000000,
    436   0x0000000000000000, 0x0000000000000000,
    437   0x0000000000000000, 0x0000000000000000,
    438   0x0000000000000000, 0x0000000000000000,
    439   0x0000000000000000, 0x0000000000000000,
    440   0x0000000000000000, 0x0000000000000000,
    441   0x0000000000000000, 0x0000000000000000,
    442   0x0000000000000000, 0x0000000000000000,
    443   0x0000000000000000, 0x0000000000000000,
    444   0x0000000000000000, 0x0000000000000000,
    445   0x0000000000000000, 0x0000000000000000,
    446   0x0000000000000000, 0x0000000000000000,
    447   0x0000000000000000, 0x0000000000000000,
    448   0x0000000000000000, 0x0000000000000000,
    449   0x0000000000000000, 0x0000000000000000,
    450   0x0000000000000000, 0x0000000000000000,
    451   0x0000000000000000, 0x0000000000000000,
    452   0x0000000000000000, 0x0000000000000000,
    453   0x0000000000000000, 0x0000000000000000,
    454   0x0000000000000000, 0x0000000000000000,
    455   0x0000000000000000, 0x0000000000000000,
    456   0x0000000000000000, 0x0000000000000000,
    457   0x0000000000000000, 0x0000000000000000,
    458   0x0000000000000000, 0x0000000000000000,
    459   0x0000000000000000, 0x0000000000000000,
    460   0x0000000000000000, 0x0000000000000000,
    461   0x0000000000000000, 0x0000000000000000,
    462   0x0000000000000000, 0x0000000000000000,
    463   0x0000000000000000, 0x0000000000000000,
    464   0x0000000000000000, 0x0000000000000000,
    465   0x0000000000000000, 0x0000000000000000,
    466   0x0000000000000000, 0x0000000000000000,
    467   0x0000000000000000, 0x0000000000000000,
    468   0x0000000000000000, 0x0000000000000000,
    469   0x0000000000000000, 0x0000000000000000,
    470   0x0000000000000000, 0x0000000000000000,
    471   0x0000000000000000, 0x0000000000000000,
    472   0x0000000000000000, 0x0000000000000000,
    473   0x0000000000000000, 0x0000000000000000,
    474   0x0000000000000000, 0x0000000000000000,
    475   0x0000000000000000, 0x0000000000000000,
    476   0x0000000000000000, 0x0000000000000000,
    477   0x0000000000000000, 0x0000000000000000,
    478   0x0000000000000000, 0x0000000000000000,
    479   0x0000000000000000, 0x0000000000000000,
    480   0x0000000000000000, 0x0000000000000000,
    481   0x0000000000000000, 0x0000000000000000,
    482   0x0000000000000000, 0x0000000000000000,
    483   0x0000000000000000, 0x0000000000000000,
    484   0x0000000000000000, 0x0000000000000000,
    485   0x0000000000000000, 0x0000000000000000,
    486   0x0000000000000040, 0x0000000000003fff,
    487   0x0000000000000020, 0x0000000000001fff,
    488   0x0000000000000010, 0x0000000000001000,
    489   0x0000000000000008, 0x0000000000000800,
    490   0x0000000000000004, 0x0000000000000400,
    491   0x0000000000000002, 0x0000000000000200,
    492   0x0000000000000001, 0x0000000000000100,
    493   0x0000000000000000, 0x0000000000000080,
    494   0x0000000000000000, 0x0000000000000040,
    495   0x0000000000000000, 0x0000000000000020,
    496   0x0000000000000000, 0x0000000000000010,
    497   0x0000000000000000, 0x0000000000000008,
    498   0x0000000000000000, 0x0000000000000004,
    499   0x0000000000000000, 0x0000000000000002,
    500   0x0000000000000000, 0x0000000000000001,
    501   0x0000000000000000, 0x0000000000000000,
    502   0x0000000000000000, 0x0000000000000000,
    503   0x0000000000000000, 0x0000000000000000,
    504   0x0000000000000000, 0x0000000000000000,
    505   0x0000000000000000, 0x0000000000000000,
    506   0x0000000000000000, 0x0000000000000000,
    507   0x0000000000000000, 0x0000000000000000,
    508   0x0000000000000000, 0x0000000000000000,
    509   0x0000000000000000, 0x0000000000000000,
    510   0x0000000000000000, 0x0000000000000000,
    511   0x0000000000000000, 0x0000000000000000,
    512   0x0000000000000000, 0x0000000000000000,
    513   0x0000000000000000, 0x0000000000000000,
    514   0x0000000000000000, 0x0000000000000000,
    515   0x0000000000000000, 0x0000000000000000,
    516   0x0000000000000000, 0x0000000000000000,
    517   0x0000000000000000, 0x0000000000000000,
    518   0x0000000000000000, 0x0000000000000000,
    519   0x0000000000000000, 0x0000000000000000,
    520   0x0000000000000000, 0x0000000000000000,
    521   0x0000000000000000, 0x0000000000000000,
    522   0x0000000000000000, 0x0000000000000000,
    523   0x0000000000000000, 0x0000000000000000,
    524   0x0000000000000000, 0x0000000000000000,
    525   0x0000000000000000, 0x0000000000000000,
    526   0x0000000000000000, 0x0000000000000000,
    527   0x0000000000000000, 0x0000000000000000,
    528   0x0000000000000000, 0x0000000000000000,
    529   0x0000000000000000, 0x0000000000000000,
    530   0x0000000000000000, 0x0000000000000000,
    531   0x0000000000000000, 0x0000000000000000,
    532   0x0000000000000000, 0x0000000000000000,
    533   0x0000000000000000, 0x0000000000000000,
    534   0x0000000000000000, 0x0000000000000000,
    535   0x0000000000000000, 0x0000000000000000,
    536   0x0000000000000000, 0x0000000000000000,
    537   0x0000000000000000, 0x0000000000000000,
    538   0x0000000000000000, 0x0000000000000000,
    539   0x0000000000000000, 0x0000000000000000,
    540   0x0000000000000000, 0x0000000000000000,
    541   0x0000000000000000, 0x0000000000000000,
    542   0x0000000000000000, 0x0000000000000000,
    543   0x0000000000000000, 0x0000000000000000,
    544   0x0000000000000000, 0x0000000000000000,
    545   0x0000000000000000, 0x0000000000000000,
    546   0x0000000000000000, 0x0000000000000000,
    547   0x0000000000000000, 0x0000000000000000,
    548   0x0000000000000000, 0x0000000000000000,
    549   0x0000000000000000, 0x0000000000000000,
    550   0x0000000000003fff, 0x0000000000003fff,
    551   0x0000000000001fff, 0x0000000000002000,
    552   0x0000000000001000, 0x0000000000001000,
    553   0x0000000000000800, 0x0000000000000800,
    554   0x0000000000000400, 0x0000000000000400,
    555   0x0000000000000200, 0x0000000000000200,
    556   0x0000000000000100, 0x0000000000000100,
    557   0x0000000000000080, 0x0000000000000080,
    558   0x0000000000000040, 0x0000000000000040,
    559   0x0000000000000020, 0x0000000000000020,
    560   0x0000000000000010, 0x0000000000000010,
    561   0x0000000000000008, 0x0000000000000008,
    562   0x0000000000000004, 0x0000000000000004,
    563   0x0000000000000002, 0x0000000000000002,
    564   0x0000000000000001, 0x0000000000000001,
    565   0x0000000000000000, 0x0000000000000000,
    566   0x0000000000000000, 0x0000000000000000,
    567   0x0000000000000000, 0x0000000000000000,
    568   0x0000000000000000, 0x0000000000000000,
    569   0x0000000000000000, 0x0000000000000000,
    570   0x0000000000000000, 0x0000000000000000,
    571   0x0000000000000000, 0x0000000000000000,
    572   0x0000000000000000, 0x0000000000000000,
    573   0x0000000000000000, 0x0000000000000000,
    574   0x0000000000000000, 0x0000000000000000,
    575   0x0000000000000000, 0x0000000000000000,
    576   0x0000000000000000, 0x0000000000000000,
    577   0x0000000000000000, 0x0000000000000000,
    578   0x0000000000000000, 0x0000000000000000,
    579   0x0000000000000000, 0x0000000000000000,
    580   0x0000000000000000, 0x0000000000000000,
    581   0x0000000000000000, 0x0000000000000000,
    582   0x0000000000000000, 0x0000000000000000,
    583   0x0000000000000000, 0x0000000000000000,
    584   0x0000000000000000, 0x0000000000000000,
    585   0x0000000000000000, 0x0000000000000000,
    586   0x0000000000000000, 0x0000000000000000,
    587   0x0000000000000000, 0x0000000000000000,
    588   0x0000000000000000, 0x0000000000000000,
    589   0x0000000000000000, 0x0000000000000000,
    590   0x0000000000000000, 0x0000000000000000,
    591   0x0000000000000000, 0x0000000000000000,
    592   0x0000000000000000, 0x0000000000000000,
    593   0x0000000000000000, 0x0000000000000000,
    594   0x0000000000000000, 0x0000000000000000,
    595   0x0000000000000000, 0x0000000000000000,
    596   0x0000000000000000, 0x0000000000000000,
    597   0x0000000000000000, 0x0000000000000000,
    598   0x0000000000000000, 0x0000000000000000,
    599   0x0000000000000000, 0x0000000000000000,
    600   0x0000000000000000, 0x0000000000000000,
    601   0x0000000000000000, 0x0000000000000000,
    602   0x0000000000000000, 0x0000000000000000,
    603   0x0000000000000000, 0x0000000000000000,
    604   0x0000000000000000, 0x0000000000000000,
    605   0x0000000000000000, 0x0000000000000000,
    606   0x0000000000000000, 0x0000000000000000,
    607   0x0000000000000000, 0x0000000000000000,
    608   0x0000000000000000, 0x0000000000000000,
    609   0x0000000000000000, 0x0000000000000000,
    610   0x0000000000000000, 0x0000000000000000,
    611   0x0000000000000000, 0x0000000000000000,
    612   0x0000000000000000, 0x0000000000000000,
    613   0x0000000000000000, 0x0000000000000000,
    614   0x0000000000003fff, 0x0000000000004000,
    615   0x0000000000002000, 0x0000000000002000,
    616   0x0000000000001000, 0x0000000000001000,
    617   0x0000000000000800, 0x0000000000000800,
    618   0x0000000000000400, 0x0000000000000400,
    619   0x0000000000000200, 0x0000000000000200,
    620   0x0000000000000100, 0x0000000000000100,
    621   0x0000000000000080, 0x0000000000000080,
    622   0x0000000000000040, 0x0000000000000040,
    623   0x0000000000000020, 0x0000000000000020,
    624   0x0000000000000010, 0x0000000000000010,
    625   0x0000000000000008, 0x0000000000000008,
    626   0x0000000000000004, 0x0000000000000004,
    627   0x0000000000000002, 0x0000000000000002,
    628   0x0000000000000001, 0x0000000000000001,
    629   0x0000000000000000, 0x0000000000000000,
    630   0x0000000000000000, 0x0000000000000000,
    631   0x0000000000000000, 0x0000000000000000,
    632   0x0000000000000000, 0x0000000000000000,
    633   0x0000000000000000, 0x0000000000000000,
    634   0x0000000000000000, 0x0000000000000000,
    635   0x0000000000000000, 0x0000000000000000,
    636   0x0000000000000000, 0x0000000000000000,
    637   0x0000000000000000, 0x0000000000000000,
    638   0x0000000000000000, 0x0000000000000000,
    639   0x0000000000000000, 0x0000000000000000,
    640   0x0000000000000000, 0x0000000000000000,
    641   0x0000000000000000, 0x0000000000000000,
    642   0x0000000000000000, 0x0000000000000000,
    643   0x0000000000000000, 0x0000000000000000,
    644   0x0000000000000000, 0x0000000000000000,
    645   0x0000000000000000, 0x0000000000000000,
    646   0x0000000000000000, 0x0000000000000000,
    647   0x0000000000000000, 0x0000000000000000,
    648   0x0000000000000000, 0x0000000000000000,
    649   0x0000000000000000, 0x0000000000000000,
    650   0x0000000000000000, 0x0000000000000000,
    651   0x0000000000000000, 0x0000000000000000,
    652   0x0000000000000000, 0x0000000000000000,
    653   0x0000000000000000, 0x0000000000000000,
    654   0x0000000000000000, 0x0000000000000000,
    655   0x0000000000000000, 0x0000000000000000,
    656   0x0000000000000000, 0x0000000000000000,
    657   0x0000000000000000, 0x0000000000000000,
    658   0x0000000000000000, 0x0000000000000000,
    659   0x0000000000000000, 0x0000000000000000,
    660   0x0000000000000000, 0x0000000000000000,
    661   0x0000000000000000, 0x0000000000000000,
    662   0x0000000000000000, 0x0000000000000000,
    663   0x0000000000000000, 0x0000000000000000,
    664   0x0000000000000000, 0x0000000000000000,
    665   0x0000000000000000, 0x0000000000000000,
    666   0x0000000000000000, 0x0000000000000000,
    667   0x0000000000000000, 0x0000000000000000,
    668   0x0000000000000000, 0x0000000000000000,
    669   0x0000000000000000, 0x0000000000000000,
    670   0x0000000000000000, 0x0000000000000000,
    671   0x0000000000000000, 0x0000000000000000,
    672   0x0000000000000000, 0x0000000000000000,
    673   0x0000000000000000, 0x0000000000000000,
    674   0x0000000000000000, 0x0000000000000000,
    675   0x0000000000000000, 0x0000000000000000,
    676   0x0000000000000000, 0x0000000000000000,
    677   0x0000000000000000, 0x0000000000000000,
    678   0x0000000000004000, 0x000000003fffffff,
    679   0x0000000000002000, 0x000000001fffffff,
    680   0x0000000000001000, 0x0000000010000000,
    681   0x0000000000000800, 0x0000000008000000,
    682   0x0000000000000400, 0x0000000004000000,
    683   0x0000000000000200, 0x0000000002000000,
    684   0x0000000000000100, 0x0000000001000000,
    685   0x0000000000000080, 0x0000000000800000,
    686   0x0000000000000040, 0x0000000000400000,
    687   0x0000000000000020, 0x0000000000200000,
    688   0x0000000000000010, 0x0000000000100000,
    689   0x0000000000000008, 0x0000000000080000,
    690   0x0000000000000004, 0x0000000000040000,
    691   0x0000000000000002, 0x0000000000020000,
    692   0x0000000000000001, 0x0000000000010000,
    693   0x0000000000000000, 0x0000000000008000,
    694   0x0000000000000000, 0x0000000000004000,
    695   0x0000000000000000, 0x0000000000002000,
    696   0x0000000000000000, 0x0000000000001000,
    697   0x0000000000000000, 0x0000000000000800,
    698   0x0000000000000000, 0x0000000000000400,
    699   0x0000000000000000, 0x0000000000000200,
    700   0x0000000000000000, 0x0000000000000100,
    701   0x0000000000000000, 0x0000000000000080,
    702   0x0000000000000000, 0x0000000000000040,
    703   0x0000000000000000, 0x0000000000000020,
    704   0x0000000000000000, 0x0000000000000010,
    705   0x0000000000000000, 0x0000000000000008,
    706   0x0000000000000000, 0x0000000000000004,
    707   0x0000000000000000, 0x0000000000000002,
    708   0x0000000000000000, 0x0000000000000001,
    709   0x0000000000000000, 0x0000000000000000,
    710   0x0000000000000000, 0x0000000000000000,
    711   0x0000000000000000, 0x0000000000000000,
    712   0x0000000000000000, 0x0000000000000000,
    713   0x0000000000000000, 0x0000000000000000,
    714   0x0000000000000000, 0x0000000000000000,
    715   0x0000000000000000, 0x0000000000000000,
    716   0x0000000000000000, 0x0000000000000000,
    717   0x0000000000000000, 0x0000000000000000,
    718   0x0000000000000000, 0x0000000000000000,
    719   0x0000000000000000, 0x0000000000000000,
    720   0x0000000000000000, 0x0000000000000000,
    721   0x0000000000000000, 0x0000000000000000,
    722   0x0000000000000000, 0x0000000000000000,
    723   0x0000000000000000, 0x0000000000000000,
    724   0x0000000000000000, 0x0000000000000000,
    725   0x0000000000000000, 0x0000000000000000,
    726   0x0000000000000000, 0x0000000000000000,
    727   0x0000000000000000, 0x0000000000000000,
    728   0x0000000000000000, 0x0000000000000000,
    729   0x0000000000000000, 0x0000000000000000,
    730   0x0000000000000000, 0x0000000000000000,
    731   0x0000000000000000, 0x0000000000000000,
    732   0x0000000000000000, 0x0000000000000000,
    733   0x0000000000000000, 0x0000000000000000,
    734   0x0000000000000000, 0x0000000000000000,
    735   0x0000000000000000, 0x0000000000000000,
    736   0x0000000000000000, 0x0000000000000000,
    737   0x0000000000000000, 0x0000000000000000,
    738   0x0000000000000000, 0x0000000000000000,
    739   0x0000000000000000, 0x0000000000000000,
    740   0x0000000000000000, 0x0000000000000000,
    741   0x0000000000000000, 0x0000000000000000,
    742   0x000000003fffffff, 0x000000003fffffff,
    743   0x000000001fffffff, 0x0000000020000000,
    744   0x0000000010000000, 0x0000000010000000,
    745   0x0000000008000000, 0x0000000008000000,
    746   0x0000000004000000, 0x0000000004000000,
    747   0x0000000002000000, 0x0000000002000000,
    748   0x0000000001000000, 0x0000000001000000,
    749   0x0000000000800000, 0x0000000000800000,
    750   0x0000000000400000, 0x0000000000400000,
    751   0x0000000000200000, 0x0000000000200000,
    752   0x0000000000100000, 0x0000000000100000,
    753   0x0000000000080000, 0x0000000000080000,
    754   0x0000000000040000, 0x0000000000040000,
    755   0x0000000000020000, 0x0000000000020000,
    756   0x0000000000010000, 0x0000000000010000,
    757   0x0000000000008000, 0x0000000000008000,
    758   0x0000000000004000, 0x0000000000004000,
    759   0x0000000000002000, 0x0000000000002000,
    760   0x0000000000001000, 0x0000000000001000,
    761   0x0000000000000800, 0x0000000000000800,
    762   0x0000000000000400, 0x0000000000000400,
    763   0x0000000000000200, 0x0000000000000200,
    764   0x0000000000000100, 0x0000000000000100,
    765   0x0000000000000080, 0x0000000000000080,
    766   0x0000000000000040, 0x0000000000000040,
    767   0x0000000000000020, 0x0000000000000020,
    768   0x0000000000000010, 0x0000000000000010,
    769   0x0000000000000008, 0x0000000000000008,
    770   0x0000000000000004, 0x0000000000000004,
    771   0x0000000000000002, 0x0000000000000002,
    772   0x0000000000000001, 0x0000000000000001,
    773   0x0000000000000000, 0x0000000000000000,
    774   0x0000000000000000, 0x0000000000000000,
    775   0x0000000000000000, 0x0000000000000000,
    776   0x0000000000000000, 0x0000000000000000,
    777   0x0000000000000000, 0x0000000000000000,
    778   0x0000000000000000, 0x0000000000000000,
    779   0x0000000000000000, 0x0000000000000000,
    780   0x0000000000000000, 0x0000000000000000,
    781   0x0000000000000000, 0x0000000000000000,
    782   0x0000000000000000, 0x0000000000000000,
    783   0x0000000000000000, 0x0000000000000000,
    784   0x0000000000000000, 0x0000000000000000,
    785   0x0000000000000000, 0x0000000000000000,
    786   0x0000000000000000, 0x0000000000000000,
    787   0x0000000000000000, 0x0000000000000000,
    788   0x0000000000000000, 0x0000000000000000,
    789   0x0000000000000000, 0x0000000000000000,
    790   0x0000000000000000, 0x0000000000000000,
    791   0x0000000000000000, 0x0000000000000000,
    792   0x0000000000000000, 0x0000000000000000,
    793   0x0000000000000000, 0x0000000000000000,
    794   0x0000000000000000, 0x0000000000000000,
    795   0x0000000000000000, 0x0000000000000000,
    796   0x0000000000000000, 0x0000000000000000,
    797   0x0000000000000000, 0x0000000000000000,
    798   0x0000000000000000, 0x0000000000000000,
    799   0x0000000000000000, 0x0000000000000000,
    800   0x0000000000000000, 0x0000000000000000,
    801   0x0000000000000000, 0x0000000000000000,
    802   0x0000000000000000, 0x0000000000000000,
    803   0x0000000000000000, 0x0000000000000000,
    804   0x0000000000000000, 0x0000000000000000,
    805   0x0000000000000000, 0x0000000000000000,
    806   0x000000003fffffff, 0x0000000040000000,
    807   0x0000000020000000, 0x0000000020000000,
    808   0x0000000010000000, 0x0000000010000000,
    809   0x0000000008000000, 0x0000000008000000,
    810   0x0000000004000000, 0x0000000004000000,
    811   0x0000000002000000, 0x0000000002000000,
    812   0x0000000001000000, 0x0000000001000000,
    813   0x0000000000800000, 0x0000000000800000,
    814   0x0000000000400000, 0x0000000000400000,
    815   0x0000000000200000, 0x0000000000200000,
    816   0x0000000000100000, 0x0000000000100000,
    817   0x0000000000080000, 0x0000000000080000,
    818   0x0000000000040000, 0x0000000000040000,
    819   0x0000000000020000, 0x0000000000020000,
    820   0x0000000000010000, 0x0000000000010000,
    821   0x0000000000008000, 0x0000000000008000,
    822   0x0000000000004000, 0x0000000000004000,
    823   0x0000000000002000, 0x0000000000002000,
    824   0x0000000000001000, 0x0000000000001000,
    825   0x0000000000000800, 0x0000000000000800,
    826   0x0000000000000400, 0x0000000000000400,
    827   0x0000000000000200, 0x0000000000000200,
    828   0x0000000000000100, 0x0000000000000100,
    829   0x0000000000000080, 0x0000000000000080,
    830   0x0000000000000040, 0x0000000000000040,
    831   0x0000000000000020, 0x0000000000000020,
    832   0x0000000000000010, 0x0000000000000010,
    833   0x0000000000000008, 0x0000000000000008,
    834   0x0000000000000004, 0x0000000000000004,
    835   0x0000000000000002, 0x0000000000000002,
    836   0x0000000000000001, 0x0000000000000001,
    837   0x0000000000000000, 0x0000000000000000,
    838   0x0000000000000000, 0x0000000000000000,
    839   0x0000000000000000, 0x0000000000000000,
    840   0x0000000000000000, 0x0000000000000000,
    841   0x0000000000000000, 0x0000000000000000,
    842   0x0000000000000000, 0x0000000000000000,
    843   0x0000000000000000, 0x0000000000000000,
    844   0x0000000000000000, 0x0000000000000000,
    845   0x0000000000000000, 0x0000000000000000,
    846   0x0000000000000000, 0x0000000000000000,
    847   0x0000000000000000, 0x0000000000000000,
    848   0x0000000000000000, 0x0000000000000000,
    849   0x0000000000000000, 0x0000000000000000,
    850   0x0000000000000000, 0x0000000000000000,
    851   0x0000000000000000, 0x0000000000000000,
    852   0x0000000000000000, 0x0000000000000000,
    853   0x0000000000000000, 0x0000000000000000,
    854   0x0000000000000000, 0x0000000000000000,
    855   0x0000000000000000, 0x0000000000000000,
    856   0x0000000000000000, 0x0000000000000000,
    857   0x0000000000000000, 0x0000000000000000,
    858   0x0000000000000000, 0x0000000000000000,
    859   0x0000000000000000, 0x0000000000000000,
    860   0x0000000000000000, 0x0000000000000000,
    861   0x0000000000000000, 0x0000000000000000,
    862   0x0000000000000000, 0x0000000000000000,
    863   0x0000000000000000, 0x0000000000000000,
    864   0x0000000000000000, 0x0000000000000000,
    865   0x0000000000000000, 0x0000000000000000,
    866   0x0000000000000000, 0x0000000000000000,
    867   0x0000000000000000, 0x0000000000000000,
    868   0x0000000000000000, 0x0000000000000000,
    869   0x0000000000000000, 0x0000000000000000,
    870   0x0000000040000000, 0x199999999999999a,
    871   0x0000000020000000, 0x0ccccccccccccccd,
    872   0x0000000010000000, 0x0666666666666666,
    873   0x0000000008000000, 0x0333333333333333,
    874   0x0000000004000000, 0x019999999999999a,
    875   0x0000000002000000, 0x00cccccccccccccd,
    876   0x0000000001000000, 0x0066666666666666,
    877   0x0000000000800000, 0x0033333333333333,
    878   0x0000000000400000, 0x001999999999999a,
    879   0x0000000000200000, 0x000ccccccccccccd,
    880   0x0000000000100000, 0x0006666666666666,
    881   0x0000000000080000, 0x0003333333333333,
    882   0x0000000000040000, 0x000199999999999a,
    883   0x0000000000020000, 0x0000cccccccccccd,
    884   0x0000000000010000, 0x0000666666666666,
    885   0x0000000000008000, 0x0000333333333333,
    886   0x0000000000004000, 0x000019999999999a,
    887   0x0000000000002000, 0x00000ccccccccccd,
    888   0x0000000000001000, 0x0000066666666666,
    889   0x0000000000000800, 0x0000033333333333,
    890   0x0000000000000400, 0x000001999999999a,
    891   0x0000000000000200, 0x000000cccccccccd,
    892   0x0000000000000100, 0x0000006666666666,
    893   0x0000000000000080, 0x0000003333333333,
    894   0x0000000000000040, 0x000000199999999a,
    895   0x0000000000000020, 0x0000000ccccccccd,
    896   0x0000000000000010, 0x0000000666666666,
    897   0x0000000000000008, 0x0000000333333333,
    898   0x0000000000000004, 0x000000019999999a,
    899   0x0000000000000002, 0x00000000cccccccd,
    900   0x0000000000000001, 0x0000000066666666,
    901   0x0000000000000000, 0x0000000033333333,
    902   0x0000000000000000, 0x000000001999999a,
    903   0x0000000000000000, 0x000000000ccccccd,
    904   0x0000000000000000, 0x0000000006666666,
    905   0x0000000000000000, 0x0000000003333333,
    906   0x0000000000000000, 0x000000000199999a,
    907   0x0000000000000000, 0x0000000000cccccd,
    908   0x0000000000000000, 0x0000000000666666,
    909   0x0000000000000000, 0x0000000000333333,
    910   0x0000000000000000, 0x000000000019999a,
    911   0x0000000000000000, 0x00000000000ccccd,
    912   0x0000000000000000, 0x0000000000066666,
    913   0x0000000000000000, 0x0000000000033333,
    914   0x0000000000000000, 0x000000000001999a,
    915   0x0000000000000000, 0x000000000000cccd,
    916   0x0000000000000000, 0x0000000000006666,
    917   0x0000000000000000, 0x0000000000003333,
    918   0x0000000000000000, 0x000000000000199a,
    919   0x0000000000000000, 0x0000000000000ccd,
    920   0x0000000000000000, 0x0000000000000666,
    921   0x0000000000000000, 0x0000000000000333,
    922   0x0000000000000000, 0x000000000000019a,
    923   0x0000000000000000, 0x00000000000000cd,
    924   0x0000000000000000, 0x0000000000000066,
    925   0x0000000000000000, 0x0000000000000033,
    926   0x0000000000000000, 0x000000000000001a,
    927   0x0000000000000000, 0x000000000000000d,
    928   0x0000000000000000, 0x0000000000000006,
    929   0x0000000000000000, 0x0000000000000003,
    930   0x0000000000000000, 0x0000000000000002,
    931   0x0000000000000000, 0x0000000000000001,
    932   0x0000000000000000, 0x0000000000000000,
    933   0x0000000000000000, 0x0000000000000000,
    934   0x199999999999999a, 0x2aaaaaaaaaaaaaab,
    935   0x0ccccccccccccccd, 0x1555555555555555,
    936   0x0666666666666666, 0x0aaaaaaaaaaaaaab,
    937   0x0333333333333333, 0x0555555555555555,
    938   0x019999999999999a, 0x02aaaaaaaaaaaaab,
    939   0x00cccccccccccccd, 0x0155555555555555,
    940   0x0066666666666666, 0x00aaaaaaaaaaaaab,
    941   0x0033333333333333, 0x0055555555555555,
    942   0x001999999999999a, 0x002aaaaaaaaaaaab,
    943   0x000ccccccccccccd, 0x0015555555555555,
    944   0x0006666666666666, 0x000aaaaaaaaaaaab,
    945   0x0003333333333333, 0x0005555555555555,
    946   0x000199999999999a, 0x0002aaaaaaaaaaab,
    947   0x0000cccccccccccd, 0x0001555555555555,
    948   0x0000666666666666, 0x0000aaaaaaaaaaab,
    949   0x0000333333333333, 0x0000555555555555,
    950   0x000019999999999a, 0x00002aaaaaaaaaab,
    951   0x00000ccccccccccd, 0x0000155555555555,
    952   0x0000066666666666, 0x00000aaaaaaaaaab,
    953   0x0000033333333333, 0x0000055555555555,
    954   0x000001999999999a, 0x000002aaaaaaaaab,
    955   0x000000cccccccccd, 0x0000015555555555,
    956   0x0000006666666666, 0x000000aaaaaaaaab,
    957   0x0000003333333333, 0x0000005555555555,
    958   0x000000199999999a, 0x0000002aaaaaaaab,
    959   0x0000000ccccccccd, 0x0000001555555555,
    960   0x0000000666666666, 0x0000000aaaaaaaab,
    961   0x0000000333333333, 0x0000000555555555,
    962   0x000000019999999a, 0x00000002aaaaaaab,
    963   0x00000000cccccccd, 0x0000000155555555,
    964   0x0000000066666666, 0x00000000aaaaaaab,
    965   0x0000000033333333, 0x0000000055555555,
    966   0x000000001999999a, 0x000000002aaaaaab,
    967   0x000000000ccccccd, 0x0000000015555555,
    968   0x0000000006666666, 0x000000000aaaaaab,
    969   0x0000000003333333, 0x0000000005555555,
    970   0x000000000199999a, 0x0000000002aaaaab,
    971   0x0000000000cccccd, 0x0000000001555555,
    972   0x0000000000666666, 0x0000000000aaaaab,
    973   0x0000000000333333, 0x0000000000555555,
    974   0x000000000019999a, 0x00000000002aaaab,
    975   0x00000000000ccccd, 0x0000000000155555,
    976   0x0000000000066666, 0x00000000000aaaab,
    977   0x0000000000033333, 0x0000000000055555,
    978   0x000000000001999a, 0x000000000002aaab,
    979   0x000000000000cccd, 0x0000000000015555,
    980   0x0000000000006666, 0x000000000000aaab,
    981   0x0000000000003333, 0x0000000000005555,
    982   0x000000000000199a, 0x0000000000002aab,
    983   0x0000000000000ccd, 0x0000000000001555,
    984   0x0000000000000666, 0x0000000000000aab,
    985   0x0000000000000333, 0x0000000000000555,
    986   0x000000000000019a, 0x00000000000002ab,
    987   0x00000000000000cd, 0x0000000000000155,
    988   0x0000000000000066, 0x00000000000000ab,
    989   0x0000000000000033, 0x0000000000000055,
    990   0x000000000000001a, 0x000000000000002b,
    991   0x000000000000000d, 0x0000000000000015,
    992   0x0000000000000006, 0x000000000000000b,
    993   0x0000000000000003, 0x0000000000000005,
    994   0x0000000000000002, 0x0000000000000003,
    995   0x0000000000000001, 0x0000000000000001,
    996   0x0000000000000000, 0x0000000000000001,
    997   0x0000000000000000, 0x0000000000000000,
    998   0x2aaaaaaaaaaaaaab, 0x3fffffffffffffff,
    999   0x1555555555555555, 0x1fffffffffffffff,
   1000   0x0aaaaaaaaaaaaaab, 0x1000000000000000,
   1001   0x0555555555555555, 0x0800000000000000,
   1002   0x02aaaaaaaaaaaaab, 0x0400000000000000,
   1003   0x0155555555555555, 0x0200000000000000,
   1004   0x00aaaaaaaaaaaaab, 0x0100000000000000,
   1005   0x0055555555555555, 0x0080000000000000,
   1006   0x002aaaaaaaaaaaab, 0x0040000000000000,
   1007   0x0015555555555555, 0x0020000000000000,
   1008   0x000aaaaaaaaaaaab, 0x0010000000000000,
   1009   0x0005555555555555, 0x0008000000000000,
   1010   0x0002aaaaaaaaaaab, 0x0004000000000000,
   1011   0x0001555555555555, 0x0002000000000000,
   1012   0x0000aaaaaaaaaaab, 0x0001000000000000,
   1013   0x0000555555555555, 0x0000800000000000,
   1014   0x00002aaaaaaaaaab, 0x0000400000000000,
   1015   0x0000155555555555, 0x0000200000000000,
   1016   0x00000aaaaaaaaaab, 0x0000100000000000,
   1017   0x0000055555555555, 0x0000080000000000,
   1018   0x000002aaaaaaaaab, 0x0000040000000000,
   1019   0x0000015555555555, 0x0000020000000000,
   1020   0x000000aaaaaaaaab, 0x0000010000000000,
   1021   0x0000005555555555, 0x0000008000000000,
   1022   0x0000002aaaaaaaab, 0x0000004000000000,
   1023   0x0000001555555555, 0x0000002000000000,
   1024   0x0000000aaaaaaaab, 0x0000001000000000,
   1025   0x0000000555555555, 0x0000000800000000,
   1026   0x00000002aaaaaaab, 0x0000000400000000,
   1027   0x0000000155555555, 0x0000000200000000,
   1028   0x00000000aaaaaaab, 0x0000000100000000,
   1029   0x0000000055555555, 0x0000000080000000,
   1030   0x000000002aaaaaab, 0x0000000040000000,
   1031   0x0000000015555555, 0x0000000020000000,
   1032   0x000000000aaaaaab, 0x0000000010000000,
   1033   0x0000000005555555, 0x0000000008000000,
   1034   0x0000000002aaaaab, 0x0000000004000000,
   1035   0x0000000001555555, 0x0000000002000000,
   1036   0x0000000000aaaaab, 0x0000000001000000,
   1037   0x0000000000555555, 0x0000000000800000,
   1038   0x00000000002aaaab, 0x0000000000400000,
   1039   0x0000000000155555, 0x0000000000200000,
   1040   0x00000000000aaaab, 0x0000000000100000,
   1041   0x0000000000055555, 0x0000000000080000,
   1042   0x000000000002aaab, 0x0000000000040000,
   1043   0x0000000000015555, 0x0000000000020000,
   1044   0x000000000000aaab, 0x0000000000010000,
   1045   0x0000000000005555, 0x0000000000008000,
   1046   0x0000000000002aab, 0x0000000000004000,
   1047   0x0000000000001555, 0x0000000000002000,
   1048   0x0000000000000aab, 0x0000000000001000,
   1049   0x0000000000000555, 0x0000000000000800,
   1050   0x00000000000002ab, 0x0000000000000400,
   1051   0x0000000000000155, 0x0000000000000200,
   1052   0x00000000000000ab, 0x0000000000000100,
   1053   0x0000000000000055, 0x0000000000000080,
   1054   0x000000000000002b, 0x0000000000000040,
   1055   0x0000000000000015, 0x0000000000000020,
   1056   0x000000000000000b, 0x0000000000000010,
   1057   0x0000000000000005, 0x0000000000000008,
   1058   0x0000000000000003, 0x0000000000000004,
   1059   0x0000000000000001, 0x0000000000000002,
   1060   0x0000000000000001, 0x0000000000000001,
   1061   0x0000000000000000, 0x0000000000000000,
   1062   0x3fffffffffffffff, 0x3fffffffffffffff,
   1063   0x1fffffffffffffff, 0x2000000000000000,
   1064   0x1000000000000000, 0x1000000000000000,
   1065   0x0800000000000000, 0x0800000000000000,
   1066   0x0400000000000000, 0x0400000000000000,
   1067   0x0200000000000000, 0x0200000000000000,
   1068   0x0100000000000000, 0x0100000000000000,
   1069   0x0080000000000000, 0x0080000000000000,
   1070   0x0040000000000000, 0x0040000000000000,
   1071   0x0020000000000000, 0x0020000000000000,
   1072   0x0010000000000000, 0x0010000000000000,
   1073   0x0008000000000000, 0x0008000000000000,
   1074   0x0004000000000000, 0x0004000000000000,
   1075   0x0002000000000000, 0x0002000000000000,
   1076   0x0001000000000000, 0x0001000000000000,
   1077   0x0000800000000000, 0x0000800000000000,
   1078   0x0000400000000000, 0x0000400000000000,
   1079   0x0000200000000000, 0x0000200000000000,
   1080   0x0000100000000000, 0x0000100000000000,
   1081   0x0000080000000000, 0x0000080000000000,
   1082   0x0000040000000000, 0x0000040000000000,
   1083   0x0000020000000000, 0x0000020000000000,
   1084   0x0000010000000000, 0x0000010000000000,
   1085   0x0000008000000000, 0x0000008000000000,
   1086   0x0000004000000000, 0x0000004000000000,
   1087   0x0000002000000000, 0x0000002000000000,
   1088   0x0000001000000000, 0x0000001000000000,
   1089   0x0000000800000000, 0x0000000800000000,
   1090   0x0000000400000000, 0x0000000400000000,
   1091   0x0000000200000000, 0x0000000200000000,
   1092   0x0000000100000000, 0x0000000100000000,
   1093   0x0000000080000000, 0x0000000080000000,
   1094   0x0000000040000000, 0x0000000040000000,
   1095   0x0000000020000000, 0x0000000020000000,
   1096   0x0000000010000000, 0x0000000010000000,
   1097   0x0000000008000000, 0x0000000008000000,
   1098   0x0000000004000000, 0x0000000004000000,
   1099   0x0000000002000000, 0x0000000002000000,
   1100   0x0000000001000000, 0x0000000001000000,
   1101   0x0000000000800000, 0x0000000000800000,
   1102   0x0000000000400000, 0x0000000000400000,
   1103   0x0000000000200000, 0x0000000000200000,
   1104   0x0000000000100000, 0x0000000000100000,
   1105   0x0000000000080000, 0x0000000000080000,
   1106   0x0000000000040000, 0x0000000000040000,
   1107   0x0000000000020000, 0x0000000000020000,
   1108   0x0000000000010000, 0x0000000000010000,
   1109   0x0000000000008000, 0x0000000000008000,
   1110   0x0000000000004000, 0x0000000000004000,
   1111   0x0000000000002000, 0x0000000000002000,
   1112   0x0000000000001000, 0x0000000000001000,
   1113   0x0000000000000800, 0x0000000000000800,
   1114   0x0000000000000400, 0x0000000000000400,
   1115   0x0000000000000200, 0x0000000000000200,
   1116   0x0000000000000100, 0x0000000000000100,
   1117   0x0000000000000080, 0x0000000000000080,
   1118   0x0000000000000040, 0x0000000000000040,
   1119   0x0000000000000020, 0x0000000000000020,
   1120   0x0000000000000010, 0x0000000000000010,
   1121   0x0000000000000008, 0x0000000000000008,
   1122   0x0000000000000004, 0x0000000000000004,
   1123   0x0000000000000002, 0x0000000000000002,
   1124   0x0000000000000001, 0x0000000000000001,
   1125   0x0000000000000000, 0x0000000000000000,
   1126   0x3fffffffffffffff, 0x4000000000000000,
   1127   0x2000000000000000, 0x2000000000000000,
   1128   0x1000000000000000, 0x1000000000000000,
   1129   0x0800000000000000, 0x0800000000000000,
   1130   0x0400000000000000, 0x0400000000000000,
   1131   0x0200000000000000, 0x0200000000000000,
   1132   0x0100000000000000, 0x0100000000000000,
   1133   0x0080000000000000, 0x0080000000000000,
   1134   0x0040000000000000, 0x0040000000000000,
   1135   0x0020000000000000, 0x0020000000000000,
   1136   0x0010000000000000, 0x0010000000000000,
   1137   0x0008000000000000, 0x0008000000000000,
   1138   0x0004000000000000, 0x0004000000000000,
   1139   0x0002000000000000, 0x0002000000000000,
   1140   0x0001000000000000, 0x0001000000000000,
   1141   0x0000800000000000, 0x0000800000000000,
   1142   0x0000400000000000, 0x0000400000000000,
   1143   0x0000200000000000, 0x0000200000000000,
   1144   0x0000100000000000, 0x0000100000000000,
   1145   0x0000080000000000, 0x0000080000000000,
   1146   0x0000040000000000, 0x0000040000000000,
   1147   0x0000020000000000, 0x0000020000000000,
   1148   0x0000010000000000, 0x0000010000000000,
   1149   0x0000008000000000, 0x0000008000000000,
   1150   0x0000004000000000, 0x0000004000000000,
   1151   0x0000002000000000, 0x0000002000000000,
   1152   0x0000001000000000, 0x0000001000000000,
   1153   0x0000000800000000, 0x0000000800000000,
   1154   0x0000000400000000, 0x0000000400000000,
   1155   0x0000000200000000, 0x0000000200000000,
   1156   0x0000000100000000, 0x0000000100000000,
   1157   0x0000000080000000, 0x0000000080000000,
   1158   0x0000000040000000, 0x0000000040000000,
   1159   0x0000000020000000, 0x0000000020000000,
   1160   0x0000000010000000, 0x0000000010000000,
   1161   0x0000000008000000, 0x0000000008000000,
   1162   0x0000000004000000, 0x0000000004000000,
   1163   0x0000000002000000, 0x0000000002000000,
   1164   0x0000000001000000, 0x0000000001000000,
   1165   0x0000000000800000, 0x0000000000800000,
   1166   0x0000000000400000, 0x0000000000400000,
   1167   0x0000000000200000, 0x0000000000200000,
   1168   0x0000000000100000, 0x0000000000100000,
   1169   0x0000000000080000, 0x0000000000080000,
   1170   0x0000000000040000, 0x0000000000040000,
   1171   0x0000000000020000, 0x0000000000020000,
   1172   0x0000000000010000, 0x0000000000010000,
   1173   0x0000000000008000, 0x0000000000008000,
   1174   0x0000000000004000, 0x0000000000004000,
   1175   0x0000000000002000, 0x0000000000002000,
   1176   0x0000000000001000, 0x0000000000001000,
   1177   0x0000000000000800, 0x0000000000000800,
   1178   0x0000000000000400, 0x0000000000000400,
   1179   0x0000000000000200, 0x0000000000000200,
   1180   0x0000000000000100, 0x0000000000000100,
   1181   0x0000000000000080, 0x0000000000000080,
   1182   0x0000000000000040, 0x0000000000000040,
   1183   0x0000000000000020, 0x0000000000000020,
   1184   0x0000000000000010, 0x0000000000000010,
   1185   0x0000000000000008, 0x0000000000000008,
   1186   0x0000000000000004, 0x0000000000000004,
   1187   0x0000000000000002, 0x0000000000000002,
   1188   0x0000000000000001, 0x0000000000000001,
   1189   0x0000000000000000, 0x0000000000000000,
   1190   0x4000000000000000, 0x4000000000000000,
   1191   0x2000000000000000, 0x2000000000000000,
   1192   0x1000000000000000, 0x1000000000000000,
   1193   0x0800000000000000, 0x0800000000000000,
   1194   0x0400000000000000, 0x0400000000000000,
   1195   0x0200000000000000, 0x0200000000000000,
   1196   0x0100000000000000, 0x0100000000000000,
   1197   0x0080000000000000, 0x0080000000000000,
   1198   0x0040000000000000, 0x0040000000000000,
   1199   0x0020000000000000, 0x0020000000000000,
   1200   0x0010000000000000, 0x0010000000000000,
   1201   0x0008000000000000, 0x0008000000000000,
   1202   0x0004000000000000, 0x0004000000000000,
   1203   0x0002000000000000, 0x0002000000000000,
   1204   0x0001000000000000, 0x0001000000000000,
   1205   0x0000800000000000, 0x0000800000000000,
   1206   0x0000400000000000, 0x0000400000000000,
   1207   0x0000200000000000, 0x0000200000000000,
   1208   0x0000100000000000, 0x0000100000000000,
   1209   0x0000080000000000, 0x0000080000000000,
   1210   0x0000040000000000, 0x0000040000000000,
   1211   0x0000020000000000, 0x0000020000000000,
   1212   0x0000010000000000, 0x0000010000000000,
   1213   0x0000008000000000, 0x0000008000000000,
   1214   0x0000004000000000, 0x0000004000000000,
   1215   0x0000002000000000, 0x0000002000000000,
   1216   0x0000001000000000, 0x0000001000000000,
   1217   0x0000000800000000, 0x0000000800000000,
   1218   0x0000000400000000, 0x0000000400000000,
   1219   0x0000000200000000, 0x0000000200000000,
   1220   0x0000000100000000, 0x0000000100000000,
   1221   0x0000000080000000, 0x0000000080000000,
   1222   0x0000000040000000, 0x0000000040000000,
   1223   0x0000000020000000, 0x0000000020000000,
   1224   0x0000000010000000, 0x0000000010000000,
   1225   0x0000000008000000, 0x0000000008000000,
   1226   0x0000000004000000, 0x0000000004000000,
   1227   0x0000000002000000, 0x0000000002000000,
   1228   0x0000000001000000, 0x0000000001000000,
   1229   0x0000000000800000, 0x0000000000800000,
   1230   0x0000000000400000, 0x0000000000400000,
   1231   0x0000000000200000, 0x0000000000200000,
   1232   0x0000000000100000, 0x0000000000100000,
   1233   0x0000000000080000, 0x0000000000080000,
   1234   0x0000000000040000, 0x0000000000040000,
   1235   0x0000000000020000, 0x0000000000020000,
   1236   0x0000000000010000, 0x0000000000010000,
   1237   0x0000000000008000, 0x0000000000008000,
   1238   0x0000000000004000, 0x0000000000004000,
   1239   0x0000000000002000, 0x0000000000002000,
   1240   0x0000000000001000, 0x0000000000001000,
   1241   0x0000000000000800, 0x0000000000000800,
   1242   0x0000000000000400, 0x0000000000000400,
   1243   0x0000000000000200, 0x0000000000000200,
   1244   0x0000000000000100, 0x0000000000000100,
   1245   0x0000000000000080, 0x0000000000000080,
   1246   0x0000000000000040, 0x0000000000000040,
   1247   0x0000000000000020, 0x0000000000000020,
   1248   0x0000000000000010, 0x0000000000000010,
   1249   0x0000000000000008, 0x0000000000000008,
   1250   0x0000000000000004, 0x0000000000000004,
   1251   0x0000000000000002, 0x0000000000000002,
   1252   0x0000000000000001, 0x0000000000000001,
   1253   0x0000000000000000, 0x0000000000000001,
   1254   0x4000000000000000, 0x4000000000000001,
   1255   0x2000000000000000, 0x2000000000000000,
   1256   0x1000000000000000, 0x1000000000000000,
   1257   0x0800000000000000, 0x0800000000000000,
   1258   0x0400000000000000, 0x0400000000000000,
   1259   0x0200000000000000, 0x0200000000000000,
   1260   0x0100000000000000, 0x0100000000000000,
   1261   0x0080000000000000, 0x0080000000000000,
   1262   0x0040000000000000, 0x0040000000000000,
   1263   0x0020000000000000, 0x0020000000000000,
   1264   0x0010000000000000, 0x0010000000000000,
   1265   0x0008000000000000, 0x0008000000000000,
   1266   0x0004000000000000, 0x0004000000000000,
   1267   0x0002000000000000, 0x0002000000000000,
   1268   0x0001000000000000, 0x0001000000000000,
   1269   0x0000800000000000, 0x0000800000000000,
   1270   0x0000400000000000, 0x0000400000000000,
   1271   0x0000200000000000, 0x0000200000000000,
   1272   0x0000100000000000, 0x0000100000000000,
   1273   0x0000080000000000, 0x0000080000000000,
   1274   0x0000040000000000, 0x0000040000000000,
   1275   0x0000020000000000, 0x0000020000000000,
   1276   0x0000010000000000, 0x0000010000000000,
   1277   0x0000008000000000, 0x0000008000000000,
   1278   0x0000004000000000, 0x0000004000000000,
   1279   0x0000002000000000, 0x0000002000000000,
   1280   0x0000001000000000, 0x0000001000000000,
   1281   0x0000000800000000, 0x0000000800000000,
   1282   0x0000000400000000, 0x0000000400000000,
   1283   0x0000000200000000, 0x0000000200000000,
   1284   0x0000000100000000, 0x0000000100000000,
   1285   0x0000000080000000, 0x0000000080000000,
   1286   0x0000000040000000, 0x0000000040000000,
   1287   0x0000000020000000, 0x0000000020000000,
   1288   0x0000000010000000, 0x0000000010000000,
   1289   0x0000000008000000, 0x0000000008000000,
   1290   0x0000000004000000, 0x0000000004000000,
   1291   0x0000000002000000, 0x0000000002000000,
   1292   0x0000000001000000, 0x0000000001000000,
   1293   0x0000000000800000, 0x0000000000800000,
   1294   0x0000000000400000, 0x0000000000400000,
   1295   0x0000000000200000, 0x0000000000200000,
   1296   0x0000000000100000, 0x0000000000100000,
   1297   0x0000000000080000, 0x0000000000080000,
   1298   0x0000000000040000, 0x0000000000040000,
   1299   0x0000000000020000, 0x0000000000020000,
   1300   0x0000000000010000, 0x0000000000010000,
   1301   0x0000000000008000, 0x0000000000008000,
   1302   0x0000000000004000, 0x0000000000004000,
   1303   0x0000000000002000, 0x0000000000002000,
   1304   0x0000000000001000, 0x0000000000001000,
   1305   0x0000000000000800, 0x0000000000000800,
   1306   0x0000000000000400, 0x0000000000000400,
   1307   0x0000000000000200, 0x0000000000000200,
   1308   0x0000000000000100, 0x0000000000000100,
   1309   0x0000000000000080, 0x0000000000000080,
   1310   0x0000000000000040, 0x0000000000000040,
   1311   0x0000000000000020, 0x0000000000000020,
   1312   0x0000000000000010, 0x0000000000000010,
   1313   0x0000000000000008, 0x0000000000000008,
   1314   0x0000000000000004, 0x0000000000000004,
   1315   0x0000000000000002, 0x0000000000000002,
   1316   0x0000000000000001, 0x0000000000000001,
   1317   0x0000000000000001, 0x0000000000000001,
   1318   0x4000000000000001, 0x4000000000000001,
   1319   0x2000000000000000, 0x2000000000000001,
   1320   0x1000000000000000, 0x1000000000000000,
   1321   0x0800000000000000, 0x0800000000000000,
   1322   0x0400000000000000, 0x0400000000000000,
   1323   0x0200000000000000, 0x0200000000000000,
   1324   0x0100000000000000, 0x0100000000000000,
   1325   0x0080000000000000, 0x0080000000000000,
   1326   0x0040000000000000, 0x0040000000000000,
   1327   0x0020000000000000, 0x0020000000000000,
   1328   0x0010000000000000, 0x0010000000000000,
   1329   0x0008000000000000, 0x0008000000000000,
   1330   0x0004000000000000, 0x0004000000000000,
   1331   0x0002000000000000, 0x0002000000000000,
   1332   0x0001000000000000, 0x0001000000000000,
   1333   0x0000800000000000, 0x0000800000000000,
   1334   0x0000400000000000, 0x0000400000000000,
   1335   0x0000200000000000, 0x0000200000000000,
   1336   0x0000100000000000, 0x0000100000000000,
   1337   0x0000080000000000, 0x0000080000000000,
   1338   0x0000040000000000, 0x0000040000000000,
   1339   0x0000020000000000, 0x0000020000000000,
   1340   0x0000010000000000, 0x0000010000000000,
   1341   0x0000008000000000, 0x0000008000000000,
   1342   0x0000004000000000, 0x0000004000000000,
   1343   0x0000002000000000, 0x0000002000000000,
   1344   0x0000001000000000, 0x0000001000000000,
   1345   0x0000000800000000, 0x0000000800000000,
   1346   0x0000000400000000, 0x0000000400000000,
   1347   0x0000000200000000, 0x0000000200000000,
   1348   0x0000000100000000, 0x0000000100000000,
   1349   0x0000000080000000, 0x0000000080000000,
   1350   0x0000000040000000, 0x0000000040000000,
   1351   0x0000000020000000, 0x0000000020000000,
   1352   0x0000000010000000, 0x0000000010000000,
   1353   0x0000000008000000, 0x0000000008000000,
   1354   0x0000000004000000, 0x0000000004000000,
   1355   0x0000000002000000, 0x0000000002000000,
   1356   0x0000000001000000, 0x0000000001000000,
   1357   0x0000000000800000, 0x0000000000800000,
   1358   0x0000000000400000, 0x0000000000400000,
   1359   0x0000000000200000, 0x0000000000200000,
   1360   0x0000000000100000, 0x0000000000100000,
   1361   0x0000000000080000, 0x0000000000080000,
   1362   0x0000000000040000, 0x0000000000040000,
   1363   0x0000000000020000, 0x0000000000020000,
   1364   0x0000000000010000, 0x0000000000010000,
   1365   0x0000000000008000, 0x0000000000008000,
   1366   0x0000000000004000, 0x0000000000004000,
   1367   0x0000000000002000, 0x0000000000002000,
   1368   0x0000000000001000, 0x0000000000001000,
   1369   0x0000000000000800, 0x0000000000000800,
   1370   0x0000000000000400, 0x0000000000000400,
   1371   0x0000000000000200, 0x0000000000000200,
   1372   0x0000000000000100, 0x0000000000000100,
   1373   0x0000000000000080, 0x0000000000000080,
   1374   0x0000000000000040, 0x0000000000000040,
   1375   0x0000000000000020, 0x0000000000000020,
   1376   0x0000000000000010, 0x0000000000000010,
   1377   0x0000000000000008, 0x0000000000000008,
   1378   0x0000000000000004, 0x0000000000000004,
   1379   0x0000000000000002, 0x0000000000000002,
   1380   0x0000000000000001, 0x0000000000000001,
   1381   0x0000000000000001, 0x0000000000000001,
   1382   0x4000000000000001, 0x4000000000000002,
   1383   0x2000000000000001, 0x2000000000000001,
   1384   0x1000000000000000, 0x1000000000000000,
   1385   0x0800000000000000, 0x0800000000000000,
   1386   0x0400000000000000, 0x0400000000000000,
   1387   0x0200000000000000, 0x0200000000000000,
   1388   0x0100000000000000, 0x0100000000000000,
   1389   0x0080000000000000, 0x0080000000000000,
   1390   0x0040000000000000, 0x0040000000000000,
   1391   0x0020000000000000, 0x0020000000000000,
   1392   0x0010000000000000, 0x0010000000000000,
   1393   0x0008000000000000, 0x0008000000000000,
   1394   0x0004000000000000, 0x0004000000000000,
   1395   0x0002000000000000, 0x0002000000000000,
   1396   0x0001000000000000, 0x0001000000000000,
   1397   0x0000800000000000, 0x0000800000000000,
   1398   0x0000400000000000, 0x0000400000000000,
   1399   0x0000200000000000, 0x0000200000000000,
   1400   0x0000100000000000, 0x0000100000000000,
   1401   0x0000080000000000, 0x0000080000000000,
   1402   0x0000040000000000, 0x0000040000000000,
   1403   0x0000020000000000, 0x0000020000000000,
   1404   0x0000010000000000, 0x0000010000000000,
   1405   0x0000008000000000, 0x0000008000000000,
   1406   0x0000004000000000, 0x0000004000000000,
   1407   0x0000002000000000, 0x0000002000000000,
   1408   0x0000001000000000, 0x0000001000000000,
   1409   0x0000000800000000, 0x0000000800000000,
   1410   0x0000000400000000, 0x0000000400000000,
   1411   0x0000000200000000, 0x0000000200000000,
   1412   0x0000000100000000, 0x0000000100000000,
   1413   0x0000000080000000, 0x0000000080000000,
   1414   0x0000000040000000, 0x0000000040000000,
   1415   0x0000000020000000, 0x0000000020000000,
   1416   0x0000000010000000, 0x0000000010000000,
   1417   0x0000000008000000, 0x0000000008000000,
   1418   0x0000000004000000, 0x0000000004000000,
   1419   0x0000000002000000, 0x0000000002000000,
   1420   0x0000000001000000, 0x0000000001000000,
   1421   0x0000000000800000, 0x0000000000800000,
   1422   0x0000000000400000, 0x0000000000400000,
   1423   0x0000000000200000, 0x0000000000200000,
   1424   0x0000000000100000, 0x0000000000100000,
   1425   0x0000000000080000, 0x0000000000080000,
   1426   0x0000000000040000, 0x0000000000040000,
   1427   0x0000000000020000, 0x0000000000020000,
   1428   0x0000000000010000, 0x0000000000010000,
   1429   0x0000000000008000, 0x0000000000008000,
   1430   0x0000000000004000, 0x0000000000004000,
   1431   0x0000000000002000, 0x0000000000002000,
   1432   0x0000000000001000, 0x0000000000001000,
   1433   0x0000000000000800, 0x0000000000000800,
   1434   0x0000000000000400, 0x0000000000000400,
   1435   0x0000000000000200, 0x0000000000000200,
   1436   0x0000000000000100, 0x0000000000000100,
   1437   0x0000000000000080, 0x0000000000000080,
   1438   0x0000000000000040, 0x0000000000000040,
   1439   0x0000000000000020, 0x0000000000000020,
   1440   0x0000000000000010, 0x0000000000000010,
   1441   0x0000000000000008, 0x0000000000000008,
   1442   0x0000000000000004, 0x0000000000000004,
   1443   0x0000000000000002, 0x0000000000000002,
   1444   0x0000000000000001, 0x0000000000000001,
   1445   0x0000000000000001, 0x0000000000000001,
   1446   0x4000000000000002, 0x5555555555555555,
   1447   0x2000000000000001, 0x2aaaaaaaaaaaaaab,
   1448   0x1000000000000000, 0x1555555555555555,
   1449   0x0800000000000000, 0x0aaaaaaaaaaaaaab,
   1450   0x0400000000000000, 0x0555555555555555,
   1451   0x0200000000000000, 0x02aaaaaaaaaaaaab,
   1452   0x0100000000000000, 0x0155555555555555,
   1453   0x0080000000000000, 0x00aaaaaaaaaaaaab,
   1454   0x0040000000000000, 0x0055555555555555,
   1455   0x0020000000000000, 0x002aaaaaaaaaaaab,
   1456   0x0010000000000000, 0x0015555555555555,
   1457   0x0008000000000000, 0x000aaaaaaaaaaaab,
   1458   0x0004000000000000, 0x0005555555555555,
   1459   0x0002000000000000, 0x0002aaaaaaaaaaab,
   1460   0x0001000000000000, 0x0001555555555555,
   1461   0x0000800000000000, 0x0000aaaaaaaaaaab,
   1462   0x0000400000000000, 0x0000555555555555,
   1463   0x0000200000000000, 0x00002aaaaaaaaaab,
   1464   0x0000100000000000, 0x0000155555555555,
   1465   0x0000080000000000, 0x00000aaaaaaaaaab,
   1466   0x0000040000000000, 0x0000055555555555,
   1467   0x0000020000000000, 0x000002aaaaaaaaab,
   1468   0x0000010000000000, 0x0000015555555555,
   1469   0x0000008000000000, 0x000000aaaaaaaaab,
   1470   0x0000004000000000, 0x0000005555555555,
   1471   0x0000002000000000, 0x0000002aaaaaaaab,
   1472   0x0000001000000000, 0x0000001555555555,
   1473   0x0000000800000000, 0x0000000aaaaaaaab,
   1474   0x0000000400000000, 0x0000000555555555,
   1475   0x0000000200000000, 0x00000002aaaaaaab,
   1476   0x0000000100000000, 0x0000000155555555,
   1477   0x0000000080000000, 0x00000000aaaaaaab,
   1478   0x0000000040000000, 0x0000000055555555,
   1479   0x0000000020000000, 0x000000002aaaaaab,
   1480   0x0000000010000000, 0x0000000015555555,
   1481   0x0000000008000000, 0x000000000aaaaaab,
   1482   0x0000000004000000, 0x0000000005555555,
   1483   0x0000000002000000, 0x0000000002aaaaab,
   1484   0x0000000001000000, 0x0000000001555555,
   1485   0x0000000000800000, 0x0000000000aaaaab,
   1486   0x0000000000400000, 0x0000000000555555,
   1487   0x0000000000200000, 0x00000000002aaaab,
   1488   0x0000000000100000, 0x0000000000155555,
   1489   0x0000000000080000, 0x00000000000aaaab,
   1490   0x0000000000040000, 0x0000000000055555,
   1491   0x0000000000020000, 0x000000000002aaab,
   1492   0x0000000000010000, 0x0000000000015555,
   1493   0x0000000000008000, 0x000000000000aaab,
   1494   0x0000000000004000, 0x0000000000005555,
   1495   0x0000000000002000, 0x0000000000002aab,
   1496   0x0000000000001000, 0x0000000000001555,
   1497   0x0000000000000800, 0x0000000000000aab,
   1498   0x0000000000000400, 0x0000000000000555,
   1499   0x0000000000000200, 0x00000000000002ab,
   1500   0x0000000000000100, 0x0000000000000155,
   1501   0x0000000000000080, 0x00000000000000ab,
   1502   0x0000000000000040, 0x0000000000000055,
   1503   0x0000000000000020, 0x000000000000002b,
   1504   0x0000000000000010, 0x0000000000000015,
   1505   0x0000000000000008, 0x000000000000000b,
   1506   0x0000000000000004, 0x0000000000000005,
   1507   0x0000000000000002, 0x0000000000000003,
   1508   0x0000000000000001, 0x0000000000000001,
   1509   0x0000000000000001, 0x0000000000000001,
   1510   0x5555555555555555, 0x6666666666666666,
   1511   0x2aaaaaaaaaaaaaab, 0x3333333333333333,
   1512   0x1555555555555555, 0x199999999999999a,
   1513   0x0aaaaaaaaaaaaaab, 0x0ccccccccccccccd,
   1514   0x0555555555555555, 0x0666666666666666,
   1515   0x02aaaaaaaaaaaaab, 0x0333333333333333,
   1516   0x0155555555555555, 0x019999999999999a,
   1517   0x00aaaaaaaaaaaaab, 0x00cccccccccccccd,
   1518   0x0055555555555555, 0x0066666666666666,
   1519   0x002aaaaaaaaaaaab, 0x0033333333333333,
   1520   0x0015555555555555, 0x001999999999999a,
   1521   0x000aaaaaaaaaaaab, 0x000ccccccccccccd,
   1522   0x0005555555555555, 0x0006666666666666,
   1523   0x0002aaaaaaaaaaab, 0x0003333333333333,
   1524   0x0001555555555555, 0x000199999999999a,
   1525   0x0000aaaaaaaaaaab, 0x0000cccccccccccd,
   1526   0x0000555555555555, 0x0000666666666666,
   1527   0x00002aaaaaaaaaab, 0x0000333333333333,
   1528   0x0000155555555555, 0x000019999999999a,
   1529   0x00000aaaaaaaaaab, 0x00000ccccccccccd,
   1530   0x0000055555555555, 0x0000066666666666,
   1531   0x000002aaaaaaaaab, 0x0000033333333333,
   1532   0x0000015555555555, 0x000001999999999a,
   1533   0x000000aaaaaaaaab, 0x000000cccccccccd,
   1534   0x0000005555555555, 0x0000006666666666,
   1535   0x0000002aaaaaaaab, 0x0000003333333333,
   1536   0x0000001555555555, 0x000000199999999a,
   1537   0x0000000aaaaaaaab, 0x0000000ccccccccd,
   1538   0x0000000555555555, 0x0000000666666666,
   1539   0x00000002aaaaaaab, 0x0000000333333333,
   1540   0x0000000155555555, 0x000000019999999a,
   1541   0x00000000aaaaaaab, 0x00000000cccccccd,
   1542   0x0000000055555555, 0x0000000066666666,
   1543   0x000000002aaaaaab, 0x0000000033333333,
   1544   0x0000000015555555, 0x000000001999999a,
   1545   0x000000000aaaaaab, 0x000000000ccccccd,
   1546   0x0000000005555555, 0x0000000006666666,
   1547   0x0000000002aaaaab, 0x0000000003333333,
   1548   0x0000000001555555, 0x000000000199999a,
   1549   0x0000000000aaaaab, 0x0000000000cccccd,
   1550   0x0000000000555555, 0x0000000000666666,
   1551   0x00000000002aaaab, 0x0000000000333333,
   1552   0x0000000000155555, 0x000000000019999a,
   1553   0x00000000000aaaab, 0x00000000000ccccd,
   1554   0x0000000000055555, 0x0000000000066666,
   1555   0x000000000002aaab, 0x0000000000033333,
   1556   0x0000000000015555, 0x000000000001999a,
   1557   0x000000000000aaab, 0x000000000000cccd,
   1558   0x0000000000005555, 0x0000000000006666,
   1559   0x0000000000002aab, 0x0000000000003333,
   1560   0x0000000000001555, 0x000000000000199a,
   1561   0x0000000000000aab, 0x0000000000000ccd,
   1562   0x0000000000000555, 0x0000000000000666,
   1563   0x00000000000002ab, 0x0000000000000333,
   1564   0x0000000000000155, 0x000000000000019a,
   1565   0x00000000000000ab, 0x00000000000000cd,
   1566   0x0000000000000055, 0x0000000000000066,
   1567   0x000000000000002b, 0x0000000000000033,
   1568   0x0000000000000015, 0x000000000000001a,
   1569   0x000000000000000b, 0x000000000000000d,
   1570   0x0000000000000005, 0x0000000000000006,
   1571   0x0000000000000003, 0x0000000000000003,
   1572   0x0000000000000001, 0x0000000000000002,
   1573   0x0000000000000001, 0x0000000000000001,
   1574   0x6666666666666666, 0x7fffffffc0000000,
   1575   0x3333333333333333, 0x3fffffffe0000000,
   1576   0x199999999999999a, 0x1ffffffff0000000,
   1577   0x0ccccccccccccccd, 0x0ffffffff8000000,
   1578   0x0666666666666666, 0x07fffffffc000000,
   1579   0x0333333333333333, 0x03fffffffe000000,
   1580   0x019999999999999a, 0x01ffffffff000000,
   1581   0x00cccccccccccccd, 0x00ffffffff800000,
   1582   0x0066666666666666, 0x007fffffffc00000,
   1583   0x0033333333333333, 0x003fffffffe00000,
   1584   0x001999999999999a, 0x001ffffffff00000,
   1585   0x000ccccccccccccd, 0x000ffffffff80000,
   1586   0x0006666666666666, 0x0007fffffffc0000,
   1587   0x0003333333333333, 0x0003fffffffe0000,
   1588   0x000199999999999a, 0x0001ffffffff0000,
   1589   0x0000cccccccccccd, 0x0000ffffffff8000,
   1590   0x0000666666666666, 0x00007fffffffc000,
   1591   0x0000333333333333, 0x00003fffffffe000,
   1592   0x000019999999999a, 0x00001ffffffff000,
   1593   0x00000ccccccccccd, 0x00000ffffffff800,
   1594   0x0000066666666666, 0x000007fffffffc00,
   1595   0x0000033333333333, 0x000003fffffffe00,
   1596   0x000001999999999a, 0x000001ffffffff00,
   1597   0x000000cccccccccd, 0x000000ffffffff80,
   1598   0x0000006666666666, 0x0000007fffffffc0,
   1599   0x0000003333333333, 0x0000003fffffffe0,
   1600   0x000000199999999a, 0x0000001ffffffff0,
   1601   0x0000000ccccccccd, 0x0000000ffffffff8,
   1602   0x0000000666666666, 0x00000007fffffffc,
   1603   0x0000000333333333, 0x00000003fffffffe,
   1604   0x000000019999999a, 0x00000001ffffffff,
   1605   0x00000000cccccccd, 0x0000000100000000,
   1606   0x0000000066666666, 0x0000000080000000,
   1607   0x0000000033333333, 0x0000000040000000,
   1608   0x000000001999999a, 0x0000000020000000,
   1609   0x000000000ccccccd, 0x0000000010000000,
   1610   0x0000000006666666, 0x0000000008000000,
   1611   0x0000000003333333, 0x0000000004000000,
   1612   0x000000000199999a, 0x0000000002000000,
   1613   0x0000000000cccccd, 0x0000000001000000,
   1614   0x0000000000666666, 0x0000000000800000,
   1615   0x0000000000333333, 0x0000000000400000,
   1616   0x000000000019999a, 0x0000000000200000,
   1617   0x00000000000ccccd, 0x0000000000100000,
   1618   0x0000000000066666, 0x0000000000080000,
   1619   0x0000000000033333, 0x0000000000040000,
   1620   0x000000000001999a, 0x0000000000020000,
   1621   0x000000000000cccd, 0x0000000000010000,
   1622   0x0000000000006666, 0x0000000000008000,
   1623   0x0000000000003333, 0x0000000000004000,
   1624   0x000000000000199a, 0x0000000000002000,
   1625   0x0000000000000ccd, 0x0000000000001000,
   1626   0x0000000000000666, 0x0000000000000800,
   1627   0x0000000000000333, 0x0000000000000400,
   1628   0x000000000000019a, 0x0000000000000200,
   1629   0x00000000000000cd, 0x0000000000000100,
   1630   0x0000000000000066, 0x0000000000000080,
   1631   0x0000000000000033, 0x0000000000000040,
   1632   0x000000000000001a, 0x0000000000000020,
   1633   0x000000000000000d, 0x0000000000000010,
   1634   0x0000000000000006, 0x0000000000000008,
   1635   0x0000000000000003, 0x0000000000000004,
   1636   0x0000000000000002, 0x0000000000000002,
   1637   0x0000000000000001, 0x0000000000000001,
   1638   0x7fffffffc0000000, 0x7fffffffc0000001,
   1639   0x3fffffffe0000000, 0x3fffffffe0000000,
   1640   0x1ffffffff0000000, 0x1ffffffff0000000,
   1641   0x0ffffffff8000000, 0x0ffffffff8000000,
   1642   0x07fffffffc000000, 0x07fffffffc000000,
   1643   0x03fffffffe000000, 0x03fffffffe000000,
   1644   0x01ffffffff000000, 0x01ffffffff000000,
   1645   0x00ffffffff800000, 0x00ffffffff800000,
   1646   0x007fffffffc00000, 0x007fffffffc00000,
   1647   0x003fffffffe00000, 0x003fffffffe00000,
   1648   0x001ffffffff00000, 0x001ffffffff00000,
   1649   0x000ffffffff80000, 0x000ffffffff80000,
   1650   0x0007fffffffc0000, 0x0007fffffffc0000,
   1651   0x0003fffffffe0000, 0x0003fffffffe0000,
   1652   0x0001ffffffff0000, 0x0001ffffffff0000,
   1653   0x0000ffffffff8000, 0x0000ffffffff8000,
   1654   0x00007fffffffc000, 0x00007fffffffc000,
   1655   0x00003fffffffe000, 0x00003fffffffe000,
   1656   0x00001ffffffff000, 0x00001ffffffff000,
   1657   0x00000ffffffff800, 0x00000ffffffff800,
   1658   0x000007fffffffc00, 0x000007fffffffc00,
   1659   0x000003fffffffe00, 0x000003fffffffe00,
   1660   0x000001ffffffff00, 0x000001ffffffff00,
   1661   0x000000ffffffff80, 0x000000ffffffff80,
   1662   0x0000007fffffffc0, 0x0000007fffffffc0,
   1663   0x0000003fffffffe0, 0x0000003fffffffe0,
   1664   0x0000001ffffffff0, 0x0000001ffffffff0,
   1665   0x0000000ffffffff8, 0x0000000ffffffff8,
   1666   0x00000007fffffffc, 0x00000007fffffffc,
   1667   0x00000003fffffffe, 0x00000003fffffffe,
   1668   0x00000001ffffffff, 0x00000001ffffffff,
   1669   0x0000000100000000, 0x0000000100000000,
   1670   0x0000000080000000, 0x0000000080000000,
   1671   0x0000000040000000, 0x0000000040000000,
   1672   0x0000000020000000, 0x0000000020000000,
   1673   0x0000000010000000, 0x0000000010000000,
   1674   0x0000000008000000, 0x0000000008000000,
   1675   0x0000000004000000, 0x0000000004000000,
   1676   0x0000000002000000, 0x0000000002000000,
   1677   0x0000000001000000, 0x0000000001000000,
   1678   0x0000000000800000, 0x0000000000800000,
   1679   0x0000000000400000, 0x0000000000400000,
   1680   0x0000000000200000, 0x0000000000200000,
   1681   0x0000000000100000, 0x0000000000100000,
   1682   0x0000000000080000, 0x0000000000080000,
   1683   0x0000000000040000, 0x0000000000040000,
   1684   0x0000000000020000, 0x0000000000020000,
   1685   0x0000000000010000, 0x0000000000010000,
   1686   0x0000000000008000, 0x0000000000008000,
   1687   0x0000000000004000, 0x0000000000004000,
   1688   0x0000000000002000, 0x0000000000002000,
   1689   0x0000000000001000, 0x0000000000001000,
   1690   0x0000000000000800, 0x0000000000000800,
   1691   0x0000000000000400, 0x0000000000000400,
   1692   0x0000000000000200, 0x0000000000000200,
   1693   0x0000000000000100, 0x0000000000000100,
   1694   0x0000000000000080, 0x0000000000000080,
   1695   0x0000000000000040, 0x0000000000000040,
   1696   0x0000000000000020, 0x0000000000000020,
   1697   0x0000000000000010, 0x0000000000000010,
   1698   0x0000000000000008, 0x0000000000000008,
   1699   0x0000000000000004, 0x0000000000000004,
   1700   0x0000000000000002, 0x0000000000000002,
   1701   0x0000000000000001, 0x0000000000000001,
   1702   0x7fffffffc0000001, 0x7fffffffc0000001,
   1703   0x3fffffffe0000000, 0x3fffffffe0000001,
   1704   0x1ffffffff0000000, 0x1ffffffff0000000,
   1705   0x0ffffffff8000000, 0x0ffffffff8000000,
   1706   0x07fffffffc000000, 0x07fffffffc000000,
   1707   0x03fffffffe000000, 0x03fffffffe000000,
   1708   0x01ffffffff000000, 0x01ffffffff000000,
   1709   0x00ffffffff800000, 0x00ffffffff800000,
   1710   0x007fffffffc00000, 0x007fffffffc00000,
   1711   0x003fffffffe00000, 0x003fffffffe00000,
   1712   0x001ffffffff00000, 0x001ffffffff00000,
   1713   0x000ffffffff80000, 0x000ffffffff80000,
   1714   0x0007fffffffc0000, 0x0007fffffffc0000,
   1715   0x0003fffffffe0000, 0x0003fffffffe0000,
   1716   0x0001ffffffff0000, 0x0001ffffffff0000,
   1717   0x0000ffffffff8000, 0x0000ffffffff8000,
   1718   0x00007fffffffc000, 0x00007fffffffc000,
   1719   0x00003fffffffe000, 0x00003fffffffe000,
   1720   0x00001ffffffff000, 0x00001ffffffff000,
   1721   0x00000ffffffff800, 0x00000ffffffff800,
   1722   0x000007fffffffc00, 0x000007fffffffc00,
   1723   0x000003fffffffe00, 0x000003fffffffe00,
   1724   0x000001ffffffff00, 0x000001ffffffff00,
   1725   0x000000ffffffff80, 0x000000ffffffff80,
   1726   0x0000007fffffffc0, 0x0000007fffffffc0,
   1727   0x0000003fffffffe0, 0x0000003fffffffe0,
   1728   0x0000001ffffffff0, 0x0000001ffffffff0,
   1729   0x0000000ffffffff8, 0x0000000ffffffff8,
   1730   0x00000007fffffffc, 0x00000007fffffffc,
   1731   0x00000003fffffffe, 0x00000003fffffffe,
   1732   0x00000001ffffffff, 0x00000001ffffffff,
   1733   0x0000000100000000, 0x0000000100000000,
   1734   0x0000000080000000, 0x0000000080000000,
   1735   0x0000000040000000, 0x0000000040000000,
   1736   0x0000000020000000, 0x0000000020000000,
   1737   0x0000000010000000, 0x0000000010000000,
   1738   0x0000000008000000, 0x0000000008000000,
   1739   0x0000000004000000, 0x0000000004000000,
   1740   0x0000000002000000, 0x0000000002000000,
   1741   0x0000000001000000, 0x0000000001000000,
   1742   0x0000000000800000, 0x0000000000800000,
   1743   0x0000000000400000, 0x0000000000400000,
   1744   0x0000000000200000, 0x0000000000200000,
   1745   0x0000000000100000, 0x0000000000100000,
   1746   0x0000000000080000, 0x0000000000080000,
   1747   0x0000000000040000, 0x0000000000040000,
   1748   0x0000000000020000, 0x0000000000020000,
   1749   0x0000000000010000, 0x0000000000010000,
   1750   0x0000000000008000, 0x0000000000008000,
   1751   0x0000000000004000, 0x0000000000004000,
   1752   0x0000000000002000, 0x0000000000002000,
   1753   0x0000000000001000, 0x0000000000001000,
   1754   0x0000000000000800, 0x0000000000000800,
   1755   0x0000000000000400, 0x0000000000000400,
   1756   0x0000000000000200, 0x0000000000000200,
   1757   0x0000000000000100, 0x0000000000000100,
   1758   0x0000000000000080, 0x0000000000000080,
   1759   0x0000000000000040, 0x0000000000000040,
   1760   0x0000000000000020, 0x0000000000000020,
   1761   0x0000000000000010, 0x0000000000000010,
   1762   0x0000000000000008, 0x0000000000000008,
   1763   0x0000000000000004, 0x0000000000000004,
   1764   0x0000000000000002, 0x0000000000000002,
   1765   0x0000000000000001, 0x0000000000000001,
   1766   0x7fffffffc0000001, 0x7fffffffc0000002,
   1767   0x3fffffffe0000001, 0x3fffffffe0000001,
   1768   0x1ffffffff0000000, 0x1ffffffff0000000,
   1769   0x0ffffffff8000000, 0x0ffffffff8000000,
   1770   0x07fffffffc000000, 0x07fffffffc000000,
   1771   0x03fffffffe000000, 0x03fffffffe000000,
   1772   0x01ffffffff000000, 0x01ffffffff000000,
   1773   0x00ffffffff800000, 0x00ffffffff800000,
   1774   0x007fffffffc00000, 0x007fffffffc00000,
   1775   0x003fffffffe00000, 0x003fffffffe00000,
   1776   0x001ffffffff00000, 0x001ffffffff00000,
   1777   0x000ffffffff80000, 0x000ffffffff80000,
   1778   0x0007fffffffc0000, 0x0007fffffffc0000,
   1779   0x0003fffffffe0000, 0x0003fffffffe0000,
   1780   0x0001ffffffff0000, 0x0001ffffffff0000,
   1781   0x0000ffffffff8000, 0x0000ffffffff8000,
   1782   0x00007fffffffc000, 0x00007fffffffc000,
   1783   0x00003fffffffe000, 0x00003fffffffe000,
   1784   0x00001ffffffff000, 0x00001ffffffff000,
   1785   0x00000ffffffff800, 0x00000ffffffff800,
   1786   0x000007fffffffc00, 0x000007fffffffc00,
   1787   0x000003fffffffe00, 0x000003fffffffe00,
   1788   0x000001ffffffff00, 0x000001ffffffff00,
   1789   0x000000ffffffff80, 0x000000ffffffff80,
   1790   0x0000007fffffffc0, 0x0000007fffffffc0,
   1791   0x0000003fffffffe0, 0x0000003fffffffe0,
   1792   0x0000001ffffffff0, 0x0000001ffffffff0,
   1793   0x0000000ffffffff8, 0x0000000ffffffff8,
   1794   0x00000007fffffffc, 0x00000007fffffffc,
   1795   0x00000003fffffffe, 0x00000003fffffffe,
   1796   0x00000001ffffffff, 0x00000001ffffffff,
   1797   0x0000000100000000, 0x0000000100000000,
   1798   0x0000000080000000, 0x0000000080000000,
   1799   0x0000000040000000, 0x0000000040000000,
   1800   0x0000000020000000, 0x0000000020000000,
   1801   0x0000000010000000, 0x0000000010000000,
   1802   0x0000000008000000, 0x0000000008000000,
   1803   0x0000000004000000, 0x0000000004000000,
   1804   0x0000000002000000, 0x0000000002000000,
   1805   0x0000000001000000, 0x0000000001000000,
   1806   0x0000000000800000, 0x0000000000800000,
   1807   0x0000000000400000, 0x0000000000400000,
   1808   0x0000000000200000, 0x0000000000200000,
   1809   0x0000000000100000, 0x0000000000100000,
   1810   0x0000000000080000, 0x0000000000080000,
   1811   0x0000000000040000, 0x0000000000040000,
   1812   0x0000000000020000, 0x0000000000020000,
   1813   0x0000000000010000, 0x0000000000010000,
   1814   0x0000000000008000, 0x0000000000008000,
   1815   0x0000000000004000, 0x0000000000004000,
   1816   0x0000000000002000, 0x0000000000002000,
   1817   0x0000000000001000, 0x0000000000001000,
   1818   0x0000000000000800, 0x0000000000000800,
   1819   0x0000000000000400, 0x0000000000000400,
   1820   0x0000000000000200, 0x0000000000000200,
   1821   0x0000000000000100, 0x0000000000000100,
   1822   0x0000000000000080, 0x0000000000000080,
   1823   0x0000000000000040, 0x0000000000000040,
   1824   0x0000000000000020, 0x0000000000000020,
   1825   0x0000000000000010, 0x0000000000000010,
   1826   0x0000000000000008, 0x0000000000000008,
   1827   0x0000000000000004, 0x0000000000000004,
   1828   0x0000000000000002, 0x0000000000000002,
   1829   0x0000000000000001, 0x0000000000000001,
   1830   0x7fffffffc0000002, 0x7fffffffffffc000,
   1831   0x3fffffffe0000001, 0x3fffffffffffe000,
   1832   0x1ffffffff0000000, 0x1ffffffffffff000,
   1833   0x0ffffffff8000000, 0x0ffffffffffff800,
   1834   0x07fffffffc000000, 0x07fffffffffffc00,
   1835   0x03fffffffe000000, 0x03fffffffffffe00,
   1836   0x01ffffffff000000, 0x01ffffffffffff00,
   1837   0x00ffffffff800000, 0x00ffffffffffff80,
   1838   0x007fffffffc00000, 0x007fffffffffffc0,
   1839   0x003fffffffe00000, 0x003fffffffffffe0,
   1840   0x001ffffffff00000, 0x001ffffffffffff0,
   1841   0x000ffffffff80000, 0x000ffffffffffff8,
   1842   0x0007fffffffc0000, 0x0007fffffffffffc,
   1843   0x0003fffffffe0000, 0x0003fffffffffffe,
   1844   0x0001ffffffff0000, 0x0001ffffffffffff,
   1845   0x0000ffffffff8000, 0x0001000000000000,
   1846   0x00007fffffffc000, 0x0000800000000000,
   1847   0x00003fffffffe000, 0x0000400000000000,
   1848   0x00001ffffffff000, 0x0000200000000000,
   1849   0x00000ffffffff800, 0x0000100000000000,
   1850   0x000007fffffffc00, 0x0000080000000000,
   1851   0x000003fffffffe00, 0x0000040000000000,
   1852   0x000001ffffffff00, 0x0000020000000000,
   1853   0x000000ffffffff80, 0x0000010000000000,
   1854   0x0000007fffffffc0, 0x0000008000000000,
   1855   0x0000003fffffffe0, 0x0000004000000000,
   1856   0x0000001ffffffff0, 0x0000002000000000,
   1857   0x0000000ffffffff8, 0x0000001000000000,
   1858   0x00000007fffffffc, 0x0000000800000000,
   1859   0x00000003fffffffe, 0x0000000400000000,
   1860   0x00000001ffffffff, 0x0000000200000000,
   1861   0x0000000100000000, 0x0000000100000000,
   1862   0x0000000080000000, 0x0000000080000000,
   1863   0x0000000040000000, 0x0000000040000000,
   1864   0x0000000020000000, 0x0000000020000000,
   1865   0x0000000010000000, 0x0000000010000000,
   1866   0x0000000008000000, 0x0000000008000000,
   1867   0x0000000004000000, 0x0000000004000000,
   1868   0x0000000002000000, 0x0000000002000000,
   1869   0x0000000001000000, 0x0000000001000000,
   1870   0x0000000000800000, 0x0000000000800000,
   1871   0x0000000000400000, 0x0000000000400000,
   1872   0x0000000000200000, 0x0000000000200000,
   1873   0x0000000000100000, 0x0000000000100000,
   1874   0x0000000000080000, 0x0000000000080000,
   1875   0x0000000000040000, 0x0000000000040000,
   1876   0x0000000000020000, 0x0000000000020000,
   1877   0x0000000000010000, 0x0000000000010000,
   1878   0x0000000000008000, 0x0000000000008000,
   1879   0x0000000000004000, 0x0000000000004000,
   1880   0x0000000000002000, 0x0000000000002000,
   1881   0x0000000000001000, 0x0000000000001000,
   1882   0x0000000000000800, 0x0000000000000800,
   1883   0x0000000000000400, 0x0000000000000400,
   1884   0x0000000000000200, 0x0000000000000200,
   1885   0x0000000000000100, 0x0000000000000100,
   1886   0x0000000000000080, 0x0000000000000080,
   1887   0x0000000000000040, 0x0000000000000040,
   1888   0x0000000000000020, 0x0000000000000020,
   1889   0x0000000000000010, 0x0000000000000010,
   1890   0x0000000000000008, 0x0000000000000008,
   1891   0x0000000000000004, 0x0000000000000004,
   1892   0x0000000000000002, 0x0000000000000002,
   1893   0x0000000000000001, 0x0000000000000001,
   1894   0x7fffffffffffc000, 0x7fffffffffffc001,
   1895   0x3fffffffffffe000, 0x3fffffffffffe000,
   1896   0x1ffffffffffff000, 0x1ffffffffffff000,
   1897   0x0ffffffffffff800, 0x0ffffffffffff800,
   1898   0x07fffffffffffc00, 0x07fffffffffffc00,
   1899   0x03fffffffffffe00, 0x03fffffffffffe00,
   1900   0x01ffffffffffff00, 0x01ffffffffffff00,
   1901   0x00ffffffffffff80, 0x00ffffffffffff80,
   1902   0x007fffffffffffc0, 0x007fffffffffffc0,
   1903   0x003fffffffffffe0, 0x003fffffffffffe0,
   1904   0x001ffffffffffff0, 0x001ffffffffffff0,
   1905   0x000ffffffffffff8, 0x000ffffffffffff8,
   1906   0x0007fffffffffffc, 0x0007fffffffffffc,
   1907   0x0003fffffffffffe, 0x0003fffffffffffe,
   1908   0x0001ffffffffffff, 0x0001ffffffffffff,
   1909   0x0001000000000000, 0x0001000000000000,
   1910   0x0000800000000000, 0x0000800000000000,
   1911   0x0000400000000000, 0x0000400000000000,
   1912   0x0000200000000000, 0x0000200000000000,
   1913   0x0000100000000000, 0x0000100000000000,
   1914   0x0000080000000000, 0x0000080000000000,
   1915   0x0000040000000000, 0x0000040000000000,
   1916   0x0000020000000000, 0x0000020000000000,
   1917   0x0000010000000000, 0x0000010000000000,
   1918   0x0000008000000000, 0x0000008000000000,
   1919   0x0000004000000000, 0x0000004000000000,
   1920   0x0000002000000000, 0x0000002000000000,
   1921   0x0000001000000000, 0x0000001000000000,
   1922   0x0000000800000000, 0x0000000800000000,
   1923   0x0000000400000000, 0x0000000400000000,
   1924   0x0000000200000000, 0x0000000200000000,
   1925   0x0000000100000000, 0x0000000100000000,
   1926   0x0000000080000000, 0x0000000080000000,
   1927   0x0000000040000000, 0x0000000040000000,
   1928   0x0000000020000000, 0x0000000020000000,
   1929   0x0000000010000000, 0x0000000010000000,
   1930   0x0000000008000000, 0x0000000008000000,
   1931   0x0000000004000000, 0x0000000004000000,
   1932   0x0000000002000000, 0x0000000002000000,
   1933   0x0000000001000000, 0x0000000001000000,
   1934   0x0000000000800000, 0x0000000000800000,
   1935   0x0000000000400000, 0x0000000000400000,
   1936   0x0000000000200000, 0x0000000000200000,
   1937   0x0000000000100000, 0x0000000000100000,
   1938   0x0000000000080000, 0x0000000000080000,
   1939   0x0000000000040000, 0x0000000000040000,
   1940   0x0000000000020000, 0x0000000000020000,
   1941   0x0000000000010000, 0x0000000000010000,
   1942   0x0000000000008000, 0x0000000000008000,
   1943   0x0000000000004000, 0x0000000000004000,
   1944   0x0000000000002000, 0x0000000000002000,
   1945   0x0000000000001000, 0x0000000000001000,
   1946   0x0000000000000800, 0x0000000000000800,
   1947   0x0000000000000400, 0x0000000000000400,
   1948   0x0000000000000200, 0x0000000000000200,
   1949   0x0000000000000100, 0x0000000000000100,
   1950   0x0000000000000080, 0x0000000000000080,
   1951   0x0000000000000040, 0x0000000000000040,
   1952   0x0000000000000020, 0x0000000000000020,
   1953   0x0000000000000010, 0x0000000000000010,
   1954   0x0000000000000008, 0x0000000000000008,
   1955   0x0000000000000004, 0x0000000000000004,
   1956   0x0000000000000002, 0x0000000000000002,
   1957   0x0000000000000001, 0x0000000000000001,
   1958   0x7fffffffffffc001, 0x7fffffffffffc001,
   1959   0x3fffffffffffe000, 0x3fffffffffffe001,
   1960   0x1ffffffffffff000, 0x1ffffffffffff000,
   1961   0x0ffffffffffff800, 0x0ffffffffffff800,
   1962   0x07fffffffffffc00, 0x07fffffffffffc00,
   1963   0x03fffffffffffe00, 0x03fffffffffffe00,
   1964   0x01ffffffffffff00, 0x01ffffffffffff00,
   1965   0x00ffffffffffff80, 0x00ffffffffffff80,
   1966   0x007fffffffffffc0, 0x007fffffffffffc0,
   1967   0x003fffffffffffe0, 0x003fffffffffffe0,
   1968   0x001ffffffffffff0, 0x001ffffffffffff0,
   1969   0x000ffffffffffff8, 0x000ffffffffffff8,
   1970   0x0007fffffffffffc, 0x0007fffffffffffc,
   1971   0x0003fffffffffffe, 0x0003fffffffffffe,
   1972   0x0001ffffffffffff, 0x0001ffffffffffff,
   1973   0x0001000000000000, 0x0001000000000000,
   1974   0x0000800000000000, 0x0000800000000000,
   1975   0x0000400000000000, 0x0000400000000000,
   1976   0x0000200000000000, 0x0000200000000000,
   1977   0x0000100000000000, 0x0000100000000000,
   1978   0x0000080000000000, 0x0000080000000000,
   1979   0x0000040000000000, 0x0000040000000000,
   1980   0x0000020000000000, 0x0000020000000000,
   1981   0x0000010000000000, 0x0000010000000000,
   1982   0x0000008000000000, 0x0000008000000000,
   1983   0x0000004000000000, 0x0000004000000000,
   1984   0x0000002000000000, 0x0000002000000000,
   1985   0x0000001000000000, 0x0000001000000000,
   1986   0x0000000800000000, 0x0000000800000000,
   1987   0x0000000400000000, 0x0000000400000000,
   1988   0x0000000200000000, 0x0000000200000000,
   1989   0x0000000100000000, 0x0000000100000000,
   1990   0x0000000080000000, 0x0000000080000000,
   1991   0x0000000040000000, 0x0000000040000000,
   1992   0x0000000020000000, 0x0000000020000000,
   1993   0x0000000010000000, 0x0000000010000000,
   1994   0x0000000008000000, 0x0000000008000000,
   1995   0x0000000004000000, 0x0000000004000000,
   1996   0x0000000002000000, 0x0000000002000000,
   1997   0x0000000001000000, 0x0000000001000000,
   1998   0x0000000000800000, 0x0000000000800000,
   1999   0x0000000000400000, 0x0000000000400000,
   2000   0x0000000000200000, 0x0000000000200000,
   2001   0x0000000000100000, 0x0000000000100000,
   2002   0x0000000000080000, 0x0000000000080000,
   2003   0x0000000000040000, 0x0000000000040000,
   2004   0x0000000000020000, 0x0000000000020000,
   2005   0x0000000000010000, 0x0000000000010000,
   2006   0x0000000000008000, 0x0000000000008000,
   2007   0x0000000000004000, 0x0000000000004000,
   2008   0x0000000000002000, 0x0000000000002000,
   2009   0x0000000000001000, 0x0000000000001000,
   2010   0x0000000000000800, 0x0000000000000800,
   2011   0x0000000000000400, 0x0000000000000400,
   2012   0x0000000000000200, 0x0000000000000200,
   2013   0x0000000000000100, 0x0000000000000100,
   2014   0x0000000000000080, 0x0000000000000080,
   2015   0x0000000000000040, 0x0000000000000040,
   2016   0x0000000000000020, 0x0000000000000020,
   2017   0x0000000000000010, 0x0000000000000010,
   2018   0x0000000000000008, 0x0000000000000008,
   2019   0x0000000000000004, 0x0000000000000004,
   2020   0x0000000000000002, 0x0000000000000002,
   2021   0x0000000000000001, 0x0000000000000001,
   2022   0x7fffffffffffc001, 0x7fffffffffffc002,
   2023   0x3fffffffffffe001, 0x3fffffffffffe001,
   2024   0x1ffffffffffff000, 0x1ffffffffffff000,
   2025   0x0ffffffffffff800, 0x0ffffffffffff800,
   2026   0x07fffffffffffc00, 0x07fffffffffffc00,
   2027   0x03fffffffffffe00, 0x03fffffffffffe00,
   2028   0x01ffffffffffff00, 0x01ffffffffffff00,
   2029   0x00ffffffffffff80, 0x00ffffffffffff80,
   2030   0x007fffffffffffc0, 0x007fffffffffffc0,
   2031   0x003fffffffffffe0, 0x003fffffffffffe0,
   2032   0x001ffffffffffff0, 0x001ffffffffffff0,
   2033   0x000ffffffffffff8, 0x000ffffffffffff8,
   2034   0x0007fffffffffffc, 0x0007fffffffffffc,
   2035   0x0003fffffffffffe, 0x0003fffffffffffe,
   2036   0x0001ffffffffffff, 0x0001ffffffffffff,
   2037   0x0001000000000000, 0x0001000000000000,
   2038   0x0000800000000000, 0x0000800000000000,
   2039   0x0000400000000000, 0x0000400000000000,
   2040   0x0000200000000000, 0x0000200000000000,
   2041   0x0000100000000000, 0x0000100000000000,
   2042   0x0000080000000000, 0x0000080000000000,
   2043   0x0000040000000000, 0x0000040000000000,
   2044   0x0000020000000000, 0x0000020000000000,
   2045   0x0000010000000000, 0x0000010000000000,
   2046   0x0000008000000000, 0x0000008000000000,
   2047   0x0000004000000000, 0x0000004000000000,
   2048   0x0000002000000000, 0x0000002000000000,
   2049   0x0000001000000000, 0x0000001000000000,
   2050   0x0000000800000000, 0x0000000800000000,
   2051   0x0000000400000000, 0x0000000400000000,
   2052   0x0000000200000000, 0x0000000200000000,
   2053   0x0000000100000000, 0x0000000100000000,
   2054   0x0000000080000000, 0x0000000080000000,
   2055   0x0000000040000000, 0x0000000040000000,
   2056   0x0000000020000000, 0x0000000020000000,
   2057   0x0000000010000000, 0x0000000010000000,
   2058   0x0000000008000000, 0x0000000008000000,
   2059   0x0000000004000000, 0x0000000004000000,
   2060   0x0000000002000000, 0x0000000002000000,
   2061   0x0000000001000000, 0x0000000001000000,
   2062   0x0000000000800000, 0x0000000000800000,
   2063   0x0000000000400000, 0x0000000000400000,
   2064   0x0000000000200000, 0x0000000000200000,
   2065   0x0000000000100000, 0x0000000000100000,
   2066   0x0000000000080000, 0x0000000000080000,
   2067   0x0000000000040000, 0x0000000000040000,
   2068   0x0000000000020000, 0x0000000000020000,
   2069   0x0000000000010000, 0x0000000000010000,
   2070   0x0000000000008000, 0x0000000000008000,
   2071   0x0000000000004000, 0x0000000000004000,
   2072   0x0000000000002000, 0x0000000000002000,
   2073   0x0000000000001000, 0x0000000000001000,
   2074   0x0000000000000800, 0x0000000000000800,
   2075   0x0000000000000400, 0x0000000000000400,
   2076   0x0000000000000200, 0x0000000000000200,
   2077   0x0000000000000100, 0x0000000000000100,
   2078   0x0000000000000080, 0x0000000000000080,
   2079   0x0000000000000040, 0x0000000000000040,
   2080   0x0000000000000020, 0x0000000000000020,
   2081   0x0000000000000010, 0x0000000000000010,
   2082   0x0000000000000008, 0x0000000000000008,
   2083   0x0000000000000004, 0x0000000000000004,
   2084   0x0000000000000002, 0x0000000000000002,
   2085   0x0000000000000001, 0x0000000000000001,
   2086   0x7fffffffffffc002, 0x7fffffffffffffc0,
   2087   0x3fffffffffffe001, 0x3fffffffffffffe0,
   2088   0x1ffffffffffff000, 0x1ffffffffffffff0,
   2089   0x0ffffffffffff800, 0x0ffffffffffffff8,
   2090   0x07fffffffffffc00, 0x07fffffffffffffc,
   2091   0x03fffffffffffe00, 0x03fffffffffffffe,
   2092   0x01ffffffffffff00, 0x01ffffffffffffff,
   2093   0x00ffffffffffff80, 0x0100000000000000,
   2094   0x007fffffffffffc0, 0x0080000000000000,
   2095   0x003fffffffffffe0, 0x0040000000000000,
   2096   0x001ffffffffffff0, 0x0020000000000000,
   2097   0x000ffffffffffff8, 0x0010000000000000,
   2098   0x0007fffffffffffc, 0x0008000000000000,
   2099   0x0003fffffffffffe, 0x0004000000000000,
   2100   0x0001ffffffffffff, 0x0002000000000000,
   2101   0x0001000000000000, 0x0001000000000000,
   2102   0x0000800000000000, 0x0000800000000000,
   2103   0x0000400000000000, 0x0000400000000000,
   2104   0x0000200000000000, 0x0000200000000000,
   2105   0x0000100000000000, 0x0000100000000000,
   2106   0x0000080000000000, 0x0000080000000000,
   2107   0x0000040000000000, 0x0000040000000000,
   2108   0x0000020000000000, 0x0000020000000000,
   2109   0x0000010000000000, 0x0000010000000000,
   2110   0x0000008000000000, 0x0000008000000000,
   2111   0x0000004000000000, 0x0000004000000000,
   2112   0x0000002000000000, 0x0000002000000000,
   2113   0x0000001000000000, 0x0000001000000000,
   2114   0x0000000800000000, 0x0000000800000000,
   2115   0x0000000400000000, 0x0000000400000000,
   2116   0x0000000200000000, 0x0000000200000000,
   2117   0x0000000100000000, 0x0000000100000000,
   2118   0x0000000080000000, 0x0000000080000000,
   2119   0x0000000040000000, 0x0000000040000000,
   2120   0x0000000020000000, 0x0000000020000000,
   2121   0x0000000010000000, 0x0000000010000000,
   2122   0x0000000008000000, 0x0000000008000000,
   2123   0x0000000004000000, 0x0000000004000000,
   2124   0x0000000002000000, 0x0000000002000000,
   2125   0x0000000001000000, 0x0000000001000000,
   2126   0x0000000000800000, 0x0000000000800000,
   2127   0x0000000000400000, 0x0000000000400000,
   2128   0x0000000000200000, 0x0000000000200000,
   2129   0x0000000000100000, 0x0000000000100000,
   2130   0x0000000000080000, 0x0000000000080000,
   2131   0x0000000000040000, 0x0000000000040000,
   2132   0x0000000000020000, 0x0000000000020000,
   2133   0x0000000000010000, 0x0000000000010000,
   2134   0x0000000000008000, 0x0000000000008000,
   2135   0x0000000000004000, 0x0000000000004000,
   2136   0x0000000000002000, 0x0000000000002000,
   2137   0x0000000000001000, 0x0000000000001000,
   2138   0x0000000000000800, 0x0000000000000800,
   2139   0x0000000000000400, 0x0000000000000400,
   2140   0x0000000000000200, 0x0000000000000200,
   2141   0x0000000000000100, 0x0000000000000100,
   2142   0x0000000000000080, 0x0000000000000080,
   2143   0x0000000000000040, 0x0000000000000040,
   2144   0x0000000000000020, 0x0000000000000020,
   2145   0x0000000000000010, 0x0000000000000010,
   2146   0x0000000000000008, 0x0000000000000008,
   2147   0x0000000000000004, 0x0000000000000004,
   2148   0x0000000000000002, 0x0000000000000002,
   2149   0x0000000000000001, 0x0000000000000001,
   2150   0x7fffffffffffffc0, 0x7fffffffffffffc1,
   2151   0x3fffffffffffffe0, 0x3fffffffffffffe0,
   2152   0x1ffffffffffffff0, 0x1ffffffffffffff0,
   2153   0x0ffffffffffffff8, 0x0ffffffffffffff8,
   2154   0x07fffffffffffffc, 0x07fffffffffffffc,
   2155   0x03fffffffffffffe, 0x03fffffffffffffe,
   2156   0x01ffffffffffffff, 0x01ffffffffffffff,
   2157   0x0100000000000000, 0x0100000000000000,
   2158   0x0080000000000000, 0x0080000000000000,
   2159   0x0040000000000000, 0x0040000000000000,
   2160   0x0020000000000000, 0x0020000000000000,
   2161   0x0010000000000000, 0x0010000000000000,
   2162   0x0008000000000000, 0x0008000000000000,
   2163   0x0004000000000000, 0x0004000000000000,
   2164   0x0002000000000000, 0x0002000000000000,
   2165   0x0001000000000000, 0x0001000000000000,
   2166   0x0000800000000000, 0x0000800000000000,
   2167   0x0000400000000000, 0x0000400000000000,
   2168   0x0000200000000000, 0x0000200000000000,
   2169   0x0000100000000000, 0x0000100000000000,
   2170   0x0000080000000000, 0x0000080000000000,
   2171   0x0000040000000000, 0x0000040000000000,
   2172   0x0000020000000000, 0x0000020000000000,
   2173   0x0000010000000000, 0x0000010000000000,
   2174   0x0000008000000000, 0x0000008000000000,
   2175   0x0000004000000000, 0x0000004000000000,
   2176   0x0000002000000000, 0x0000002000000000,
   2177   0x0000001000000000, 0x0000001000000000,
   2178   0x0000000800000000, 0x0000000800000000,
   2179   0x0000000400000000, 0x0000000400000000,
   2180   0x0000000200000000, 0x0000000200000000,
   2181   0x0000000100000000, 0x0000000100000000,
   2182   0x0000000080000000, 0x0000000080000000,
   2183   0x0000000040000000, 0x0000000040000000,
   2184   0x0000000020000000, 0x0000000020000000,
   2185   0x0000000010000000, 0x0000000010000000,
   2186   0x0000000008000000, 0x0000000008000000,
   2187   0x0000000004000000, 0x0000000004000000,
   2188   0x0000000002000000, 0x0000000002000000,
   2189   0x0000000001000000, 0x0000000001000000,
   2190   0x0000000000800000, 0x0000000000800000,
   2191   0x0000000000400000, 0x0000000000400000,
   2192   0x0000000000200000, 0x0000000000200000,
   2193   0x0000000000100000, 0x0000000000100000,
   2194   0x0000000000080000, 0x0000000000080000,
   2195   0x0000000000040000, 0x0000000000040000,
   2196   0x0000000000020000, 0x0000000000020000,
   2197   0x0000000000010000, 0x0000000000010000,
   2198   0x0000000000008000, 0x0000000000008000,
   2199   0x0000000000004000, 0x0000000000004000,
   2200   0x0000000000002000, 0x0000000000002000,
   2201   0x0000000000001000, 0x0000000000001000,
   2202   0x0000000000000800, 0x0000000000000800,
   2203   0x0000000000000400, 0x0000000000000400,
   2204   0x0000000000000200, 0x0000000000000200,
   2205   0x0000000000000100, 0x0000000000000100,
   2206   0x0000000000000080, 0x0000000000000080,
   2207   0x0000000000000040, 0x0000000000000040,
   2208   0x0000000000000020, 0x0000000000000020,
   2209   0x0000000000000010, 0x0000000000000010,
   2210   0x0000000000000008, 0x0000000000000008,
   2211   0x0000000000000004, 0x0000000000000004,
   2212   0x0000000000000002, 0x0000000000000002,
   2213   0x0000000000000001, 0x0000000000000001,
   2214   0x7fffffffffffffc1, 0x7fffffffffffffc1,
   2215   0x3fffffffffffffe0, 0x3fffffffffffffe1,
   2216   0x1ffffffffffffff0, 0x1ffffffffffffff0,
   2217   0x0ffffffffffffff8, 0x0ffffffffffffff8,
   2218   0x07fffffffffffffc, 0x07fffffffffffffc,
   2219   0x03fffffffffffffe, 0x03fffffffffffffe,
   2220   0x01ffffffffffffff, 0x01ffffffffffffff,
   2221   0x0100000000000000, 0x0100000000000000,
   2222   0x0080000000000000, 0x0080000000000000,
   2223   0x0040000000000000, 0x0040000000000000,
   2224   0x0020000000000000, 0x0020000000000000,
   2225   0x0010000000000000, 0x0010000000000000,
   2226   0x0008000000000000, 0x0008000000000000,
   2227   0x0004000000000000, 0x0004000000000000,
   2228   0x0002000000000000, 0x0002000000000000,
   2229   0x0001000000000000, 0x0001000000000000,
   2230   0x0000800000000000, 0x0000800000000000,
   2231   0x0000400000000000, 0x0000400000000000,
   2232   0x0000200000000000, 0x0000200000000000,
   2233   0x0000100000000000, 0x0000100000000000,
   2234   0x0000080000000000, 0x0000080000000000,
   2235   0x0000040000000000, 0x0000040000000000,
   2236   0x0000020000000000, 0x0000020000000000,
   2237   0x0000010000000000, 0x0000010000000000,
   2238   0x0000008000000000, 0x0000008000000000,
   2239   0x0000004000000000, 0x0000004000000000,
   2240   0x0000002000000000, 0x0000002000000000,
   2241   0x0000001000000000, 0x0000001000000000,
   2242   0x0000000800000000, 0x0000000800000000,
   2243   0x0000000400000000, 0x0000000400000000,
   2244   0x0000000200000000, 0x0000000200000000,
   2245   0x0000000100000000, 0x0000000100000000,
   2246   0x0000000080000000, 0x0000000080000000,
   2247   0x0000000040000000, 0x0000000040000000,
   2248   0x0000000020000000, 0x0000000020000000,
   2249   0x0000000010000000, 0x0000000010000000,
   2250   0x0000000008000000, 0x0000000008000000,
   2251   0x0000000004000000, 0x0000000004000000,
   2252   0x0000000002000000, 0x0000000002000000,
   2253   0x0000000001000000, 0x0000000001000000,
   2254   0x0000000000800000, 0x0000000000800000,
   2255   0x0000000000400000, 0x0000000000400000,
   2256   0x0000000000200000, 0x0000000000200000,
   2257   0x0000000000100000, 0x0000000000100000,
   2258   0x0000000000080000, 0x0000000000080000,
   2259   0x0000000000040000, 0x0000000000040000,
   2260   0x0000000000020000, 0x0000000000020000,
   2261   0x0000000000010000, 0x0000000000010000,
   2262   0x0000000000008000, 0x0000000000008000,
   2263   0x0000000000004000, 0x0000000000004000,
   2264   0x0000000000002000, 0x0000000000002000,
   2265   0x0000000000001000, 0x0000000000001000,
   2266   0x0000000000000800, 0x0000000000000800,
   2267   0x0000000000000400, 0x0000000000000400,
   2268   0x0000000000000200, 0x0000000000000200,
   2269   0x0000000000000100, 0x0000000000000100,
   2270   0x0000000000000080, 0x0000000000000080,
   2271   0x0000000000000040, 0x0000000000000040,
   2272   0x0000000000000020, 0x0000000000000020,
   2273   0x0000000000000010, 0x0000000000000010,
   2274   0x0000000000000008, 0x0000000000000008,
   2275   0x0000000000000004, 0x0000000000000004,
   2276   0x0000000000000002, 0x0000000000000002,
   2277   0x0000000000000001, 0x0000000000000001,
   2278   0x7fffffffffffffc1, 0x7fffffffffffffc2,
   2279   0x3fffffffffffffe1, 0x3fffffffffffffe1,
   2280   0x1ffffffffffffff0, 0x1ffffffffffffff0,
   2281   0x0ffffffffffffff8, 0x0ffffffffffffff8,
   2282   0x07fffffffffffffc, 0x07fffffffffffffc,
   2283   0x03fffffffffffffe, 0x03fffffffffffffe,
   2284   0x01ffffffffffffff, 0x01ffffffffffffff,
   2285   0x0100000000000000, 0x0100000000000000,
   2286   0x0080000000000000, 0x0080000000000000,
   2287   0x0040000000000000, 0x0040000000000000,
   2288   0x0020000000000000, 0x0020000000000000,
   2289   0x0010000000000000, 0x0010000000000000,
   2290   0x0008000000000000, 0x0008000000000000,
   2291   0x0004000000000000, 0x0004000000000000,
   2292   0x0002000000000000, 0x0002000000000000,
   2293   0x0001000000000000, 0x0001000000000000,
   2294   0x0000800000000000, 0x0000800000000000,
   2295   0x0000400000000000, 0x0000400000000000,
   2296   0x0000200000000000, 0x0000200000000000,
   2297   0x0000100000000000, 0x0000100000000000,
   2298   0x0000080000000000, 0x0000080000000000,
   2299   0x0000040000000000, 0x0000040000000000,
   2300   0x0000020000000000, 0x0000020000000000,
   2301   0x0000010000000000, 0x0000010000000000,
   2302   0x0000008000000000, 0x0000008000000000,
   2303   0x0000004000000000, 0x0000004000000000,
   2304   0x0000002000000000, 0x0000002000000000,
   2305   0x0000001000000000, 0x0000001000000000,
   2306   0x0000000800000000, 0x0000000800000000,
   2307   0x0000000400000000, 0x0000000400000000,
   2308   0x0000000200000000, 0x0000000200000000,
   2309   0x0000000100000000, 0x0000000100000000,
   2310   0x0000000080000000, 0x0000000080000000,
   2311   0x0000000040000000, 0x0000000040000000,
   2312   0x0000000020000000, 0x0000000020000000,
   2313   0x0000000010000000, 0x0000000010000000,
   2314   0x0000000008000000, 0x0000000008000000,
   2315   0x0000000004000000, 0x0000000004000000,
   2316   0x0000000002000000, 0x0000000002000000,
   2317   0x0000000001000000, 0x0000000001000000,
   2318   0x0000000000800000, 0x0000000000800000,
   2319   0x0000000000400000, 0x0000000000400000,
   2320   0x0000000000200000, 0x0000000000200000,
   2321   0x0000000000100000, 0x0000000000100000,
   2322   0x0000000000080000, 0x0000000000080000,
   2323   0x0000000000040000, 0x0000000000040000,
   2324   0x0000000000020000, 0x0000000000020000,
   2325   0x0000000000010000, 0x0000000000010000,
   2326   0x0000000000008000, 0x0000000000008000,
   2327   0x0000000000004000, 0x0000000000004000,
   2328   0x0000000000002000, 0x0000000000002000,
   2329   0x0000000000001000, 0x0000000000001000,
   2330   0x0000000000000800, 0x0000000000000800,
   2331   0x0000000000000400, 0x0000000000000400,
   2332   0x0000000000000200, 0x0000000000000200,
   2333   0x0000000000000100, 0x0000000000000100,
   2334   0x0000000000000080, 0x0000000000000080,
   2335   0x0000000000000040, 0x0000000000000040,
   2336   0x0000000000000020, 0x0000000000000020,
   2337   0x0000000000000010, 0x0000000000000010,
   2338   0x0000000000000008, 0x0000000000000008,
   2339   0x0000000000000004, 0x0000000000000004,
   2340   0x0000000000000002, 0x0000000000000002,
   2341   0x0000000000000001, 0x0000000000000001,
   2342   0x7fffffffffffffc2, 0x7fffffffffffffe0,
   2343   0x3fffffffffffffe1, 0x3ffffffffffffff0,
   2344   0x1ffffffffffffff0, 0x1ffffffffffffff8,
   2345   0x0ffffffffffffff8, 0x0ffffffffffffffc,
   2346   0x07fffffffffffffc, 0x07fffffffffffffe,
   2347   0x03fffffffffffffe, 0x03ffffffffffffff,
   2348   0x01ffffffffffffff, 0x0200000000000000,
   2349   0x0100000000000000, 0x0100000000000000,
   2350   0x0080000000000000, 0x0080000000000000,
   2351   0x0040000000000000, 0x0040000000000000,
   2352   0x0020000000000000, 0x0020000000000000,
   2353   0x0010000000000000, 0x0010000000000000,
   2354   0x0008000000000000, 0x0008000000000000,
   2355   0x0004000000000000, 0x0004000000000000,
   2356   0x0002000000000000, 0x0002000000000000,
   2357   0x0001000000000000, 0x0001000000000000,
   2358   0x0000800000000000, 0x0000800000000000,
   2359   0x0000400000000000, 0x0000400000000000,
   2360   0x0000200000000000, 0x0000200000000000,
   2361   0x0000100000000000, 0x0000100000000000,
   2362   0x0000080000000000, 0x0000080000000000,
   2363   0x0000040000000000, 0x0000040000000000,
   2364   0x0000020000000000, 0x0000020000000000,
   2365   0x0000010000000000, 0x0000010000000000,
   2366   0x0000008000000000, 0x0000008000000000,
   2367   0x0000004000000000, 0x0000004000000000,
   2368   0x0000002000000000, 0x0000002000000000,
   2369   0x0000001000000000, 0x0000001000000000,
   2370   0x0000000800000000, 0x0000000800000000,
   2371   0x0000000400000000, 0x0000000400000000,
   2372   0x0000000200000000, 0x0000000200000000,
   2373   0x0000000100000000, 0x0000000100000000,
   2374   0x0000000080000000, 0x0000000080000000,
   2375   0x0000000040000000, 0x0000000040000000,
   2376   0x0000000020000000, 0x0000000020000000,
   2377   0x0000000010000000, 0x0000000010000000,
   2378   0x0000000008000000, 0x0000000008000000,
   2379   0x0000000004000000, 0x0000000004000000,
   2380   0x0000000002000000, 0x0000000002000000,
   2381   0x0000000001000000, 0x0000000001000000,
   2382   0x0000000000800000, 0x0000000000800000,
   2383   0x0000000000400000, 0x0000000000400000,
   2384   0x0000000000200000, 0x0000000000200000,
   2385   0x0000000000100000, 0x0000000000100000,
   2386   0x0000000000080000, 0x0000000000080000,
   2387   0x0000000000040000, 0x0000000000040000,
   2388   0x0000000000020000, 0x0000000000020000,
   2389   0x0000000000010000, 0x0000000000010000,
   2390   0x0000000000008000, 0x0000000000008000,
   2391   0x0000000000004000, 0x0000000000004000,
   2392   0x0000000000002000, 0x0000000000002000,
   2393   0x0000000000001000, 0x0000000000001000,
   2394   0x0000000000000800, 0x0000000000000800,
   2395   0x0000000000000400, 0x0000000000000400,
   2396   0x0000000000000200, 0x0000000000000200,
   2397   0x0000000000000100, 0x0000000000000100,
   2398   0x0000000000000080, 0x0000000000000080,
   2399   0x0000000000000040, 0x0000000000000040,
   2400   0x0000000000000020, 0x0000000000000020,
   2401   0x0000000000000010, 0x0000000000000010,
   2402   0x0000000000000008, 0x0000000000000008,
   2403   0x0000000000000004, 0x0000000000000004,
   2404   0x0000000000000002, 0x0000000000000002,
   2405   0x0000000000000001, 0x0000000000000001,
   2406   0x7fffffffffffffe0, 0x7fffffffffffffff,
   2407   0x3ffffffffffffff0, 0x3fffffffffffffff,
   2408   0x1ffffffffffffff8, 0x2000000000000000,
   2409   0x0ffffffffffffffc, 0x1000000000000000,
   2410   0x07fffffffffffffe, 0x0800000000000000,
   2411   0x03ffffffffffffff, 0x0400000000000000,
   2412   0x0200000000000000, 0x0200000000000000,
   2413   0x0100000000000000, 0x0100000000000000,
   2414   0x0080000000000000, 0x0080000000000000,
   2415   0x0040000000000000, 0x0040000000000000,
   2416   0x0020000000000000, 0x0020000000000000,
   2417   0x0010000000000000, 0x0010000000000000,
   2418   0x0008000000000000, 0x0008000000000000,
   2419   0x0004000000000000, 0x0004000000000000,
   2420   0x0002000000000000, 0x0002000000000000,
   2421   0x0001000000000000, 0x0001000000000000,
   2422   0x0000800000000000, 0x0000800000000000,
   2423   0x0000400000000000, 0x0000400000000000,
   2424   0x0000200000000000, 0x0000200000000000,
   2425   0x0000100000000000, 0x0000100000000000,
   2426   0x0000080000000000, 0x0000080000000000,
   2427   0x0000040000000000, 0x0000040000000000,
   2428   0x0000020000000000, 0x0000020000000000,
   2429   0x0000010000000000, 0x0000010000000000,
   2430   0x0000008000000000, 0x0000008000000000,
   2431   0x0000004000000000, 0x0000004000000000,
   2432   0x0000002000000000, 0x0000002000000000,
   2433   0x0000001000000000, 0x0000001000000000,
   2434   0x0000000800000000, 0x0000000800000000,
   2435   0x0000000400000000, 0x0000000400000000,
   2436   0x0000000200000000, 0x0000000200000000,
   2437   0x0000000100000000, 0x0000000100000000,
   2438   0x0000000080000000, 0x0000000080000000,
   2439   0x0000000040000000, 0x0000000040000000,
   2440   0x0000000020000000, 0x0000000020000000,
   2441   0x0000000010000000, 0x0000000010000000,
   2442   0x0000000008000000, 0x0000000008000000,
   2443   0x0000000004000000, 0x0000000004000000,
   2444   0x0000000002000000, 0x0000000002000000,
   2445   0x0000000001000000, 0x0000000001000000,
   2446   0x0000000000800000, 0x0000000000800000,
   2447   0x0000000000400000, 0x0000000000400000,
   2448   0x0000000000200000, 0x0000000000200000,
   2449   0x0000000000100000, 0x0000000000100000,
   2450   0x0000000000080000, 0x0000000000080000,
   2451   0x0000000000040000, 0x0000000000040000,
   2452   0x0000000000020000, 0x0000000000020000,
   2453   0x0000000000010000, 0x0000000000010000,
   2454   0x0000000000008000, 0x0000000000008000,
   2455   0x0000000000004000, 0x0000000000004000,
   2456   0x0000000000002000, 0x0000000000002000,
   2457   0x0000000000001000, 0x0000000000001000,
   2458   0x0000000000000800, 0x0000000000000800,
   2459   0x0000000000000400, 0x0000000000000400,
   2460   0x0000000000000200, 0x0000000000000200,
   2461   0x0000000000000100, 0x0000000000000100,
   2462   0x0000000000000080, 0x0000000000000080,
   2463   0x0000000000000040, 0x0000000000000040,
   2464   0x0000000000000020, 0x0000000000000020,
   2465   0x0000000000000010, 0x0000000000000010,
   2466   0x0000000000000008, 0x0000000000000008,
   2467   0x0000000000000004, 0x0000000000000004,
   2468   0x0000000000000002, 0x0000000000000002,
   2469   0x0000000000000001, 0x0000000000000001,
   2470   0x7fffffffffffffff, 0x7fffffffffffffff,
   2471   0x3fffffffffffffff, 0x4000000000000000,
   2472   0x2000000000000000, 0x2000000000000000,
   2473   0x1000000000000000, 0x1000000000000000,
   2474   0x0800000000000000, 0x0800000000000000,
   2475   0x0400000000000000, 0x0400000000000000,
   2476   0x0200000000000000, 0x0200000000000000,
   2477   0x0100000000000000, 0x0100000000000000,
   2478   0x0080000000000000, 0x0080000000000000,
   2479   0x0040000000000000, 0x0040000000000000,
   2480   0x0020000000000000, 0x0020000000000000,
   2481   0x0010000000000000, 0x0010000000000000,
   2482   0x0008000000000000, 0x0008000000000000,
   2483   0x0004000000000000, 0x0004000000000000,
   2484   0x0002000000000000, 0x0002000000000000,
   2485   0x0001000000000000, 0x0001000000000000,
   2486   0x0000800000000000, 0x0000800000000000,
   2487   0x0000400000000000, 0x0000400000000000,
   2488   0x0000200000000000, 0x0000200000000000,
   2489   0x0000100000000000, 0x0000100000000000,
   2490   0x0000080000000000, 0x0000080000000000,
   2491   0x0000040000000000, 0x0000040000000000,
   2492   0x0000020000000000, 0x0000020000000000,
   2493   0x0000010000000000, 0x0000010000000000,
   2494   0x0000008000000000, 0x0000008000000000,
   2495   0x0000004000000000, 0x0000004000000000,
   2496   0x0000002000000000, 0x0000002000000000,
   2497   0x0000001000000000, 0x0000001000000000,
   2498   0x0000000800000000, 0x0000000800000000,
   2499   0x0000000400000000, 0x0000000400000000,
   2500   0x0000000200000000, 0x0000000200000000,
   2501   0x0000000100000000, 0x0000000100000000,
   2502   0x0000000080000000, 0x0000000080000000,
   2503   0x0000000040000000, 0x0000000040000000,
   2504   0x0000000020000000, 0x0000000020000000,
   2505   0x0000000010000000, 0x0000000010000000,
   2506   0x0000000008000000, 0x0000000008000000,
   2507   0x0000000004000000, 0x0000000004000000,
   2508   0x0000000002000000, 0x0000000002000000,
   2509   0x0000000001000000, 0x0000000001000000,
   2510   0x0000000000800000, 0x0000000000800000,
   2511   0x0000000000400000, 0x0000000000400000,
   2512   0x0000000000200000, 0x0000000000200000,
   2513   0x0000000000100000, 0x0000000000100000,
   2514   0x0000000000080000, 0x0000000000080000,
   2515   0x0000000000040000, 0x0000000000040000,
   2516   0x0000000000020000, 0x0000000000020000,
   2517   0x0000000000010000, 0x0000000000010000,
   2518   0x0000000000008000, 0x0000000000008000,
   2519   0x0000000000004000, 0x0000000000004000,
   2520   0x0000000000002000, 0x0000000000002000,
   2521   0x0000000000001000, 0x0000000000001000,
   2522   0x0000000000000800, 0x0000000000000800,
   2523   0x0000000000000400, 0x0000000000000400,
   2524   0x0000000000000200, 0x0000000000000200,
   2525   0x0000000000000100, 0x0000000000000100,
   2526   0x0000000000000080, 0x0000000000000080,
   2527   0x0000000000000040, 0x0000000000000040,
   2528   0x0000000000000020, 0x0000000000000020,
   2529   0x0000000000000010, 0x0000000000000010,
   2530   0x0000000000000008, 0x0000000000000008,
   2531   0x0000000000000004, 0x0000000000000004,
   2532   0x0000000000000002, 0x0000000000000002,
   2533   0x0000000000000001, 0x0000000000000001,
   2534   0x7fffffffffffffff, 0x8000000000000000,
   2535   0x4000000000000000, 0x4000000000000000,
   2536   0x2000000000000000, 0x2000000000000000,
   2537   0x1000000000000000, 0x1000000000000000,
   2538   0x0800000000000000, 0x0800000000000000,
   2539   0x0400000000000000, 0x0400000000000000,
   2540   0x0200000000000000, 0x0200000000000000,
   2541   0x0100000000000000, 0x0100000000000000,
   2542   0x0080000000000000, 0x0080000000000000,
   2543   0x0040000000000000, 0x0040000000000000,
   2544   0x0020000000000000, 0x0020000000000000,
   2545   0x0010000000000000, 0x0010000000000000,
   2546   0x0008000000000000, 0x0008000000000000,
   2547   0x0004000000000000, 0x0004000000000000,
   2548   0x0002000000000000, 0x0002000000000000,
   2549   0x0001000000000000, 0x0001000000000000,
   2550   0x0000800000000000, 0x0000800000000000,
   2551   0x0000400000000000, 0x0000400000000000,
   2552   0x0000200000000000, 0x0000200000000000,
   2553   0x0000100000000000, 0x0000100000000000,
   2554   0x0000080000000000, 0x0000080000000000,
   2555   0x0000040000000000, 0x0000040000000000,
   2556   0x0000020000000000, 0x0000020000000000,
   2557   0x0000010000000000, 0x0000010000000000,
   2558   0x0000008000000000, 0x0000008000000000,
   2559   0x0000004000000000, 0x0000004000000000,
   2560   0x0000002000000000, 0x0000002000000000,
   2561   0x0000001000000000, 0x0000001000000000,
   2562   0x0000000800000000, 0x0000000800000000,
   2563   0x0000000400000000, 0x0000000400000000,
   2564   0x0000000200000000, 0x0000000200000000,
   2565   0x0000000100000000, 0x0000000100000000,
   2566   0x0000000080000000, 0x0000000080000000,
   2567   0x0000000040000000, 0x0000000040000000,
   2568   0x0000000020000000, 0x0000000020000000,
   2569   0x0000000010000000, 0x0000000010000000,
   2570   0x0000000008000000, 0x0000000008000000,
   2571   0x0000000004000000, 0x0000000004000000,
   2572   0x0000000002000000, 0x0000000002000000,
   2573   0x0000000001000000, 0x0000000001000000,
   2574   0x0000000000800000, 0x0000000000800000,
   2575   0x0000000000400000, 0x0000000000400000,
   2576   0x0000000000200000, 0x0000000000200000,
   2577   0x0000000000100000, 0x0000000000100000,
   2578   0x0000000000080000, 0x0000000000080000,
   2579   0x0000000000040000, 0x0000000000040000,
   2580   0x0000000000020000, 0x0000000000020000,
   2581   0x0000000000010000, 0x0000000000010000,
   2582   0x0000000000008000, 0x0000000000008000,
   2583   0x0000000000004000, 0x0000000000004000,
   2584   0x0000000000002000, 0x0000000000002000,
   2585   0x0000000000001000, 0x0000000000001000,
   2586   0x0000000000000800, 0x0000000000000800,
   2587   0x0000000000000400, 0x0000000000000400,
   2588   0x0000000000000200, 0x0000000000000200,
   2589   0x0000000000000100, 0x0000000000000100,
   2590   0x0000000000000080, 0x0000000000000080,
   2591   0x0000000000000040, 0x0000000000000040,
   2592   0x0000000000000020, 0x0000000000000020,
   2593   0x0000000000000010, 0x0000000000000010,
   2594   0x0000000000000008, 0x0000000000000008,
   2595   0x0000000000000004, 0x0000000000000004,
   2596   0x0000000000000002, 0x0000000000000002,
   2597   0x0000000000000001, 0x0000000000000001,
   2598 };
   2599 const unsigned kExpectedCount_NEON_urshr_2D_2OPIMM = 2560;
   2600 
   2601 #endif  // VIXL_SIM_URSHR_2D_2OPIMM_TRACE_A64_H_
   2602