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_SSHR_2D_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_SSHR_2D_2OPIMM_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_sshr_2D_2OPIMM[] = {
     38   0xffffffffffffffff, 0x0000000000000000,
     39   0xffffffffffffffff, 0x0000000000000000,
     40   0xffffffffffffffff, 0x0000000000000000,
     41   0xffffffffffffffff, 0x0000000000000000,
     42   0xffffffffffffffff, 0x0000000000000000,
     43   0xffffffffffffffff, 0x0000000000000000,
     44   0xffffffffffffffff, 0x0000000000000000,
     45   0xffffffffffffffff, 0x0000000000000000,
     46   0xffffffffffffffff, 0x0000000000000000,
     47   0xffffffffffffffff, 0x0000000000000000,
     48   0xffffffffffffffff, 0x0000000000000000,
     49   0xffffffffffffffff, 0x0000000000000000,
     50   0xffffffffffffffff, 0x0000000000000000,
     51   0xffffffffffffffff, 0x0000000000000000,
     52   0xffffffffffffffff, 0x0000000000000000,
     53   0xffffffffffffffff, 0x0000000000000000,
     54   0xffffffffffffffff, 0x0000000000000000,
     55   0xffffffffffffffff, 0x0000000000000000,
     56   0xffffffffffffffff, 0x0000000000000000,
     57   0xffffffffffffffff, 0x0000000000000000,
     58   0xffffffffffffffff, 0x0000000000000000,
     59   0xffffffffffffffff, 0x0000000000000000,
     60   0xffffffffffffffff, 0x0000000000000000,
     61   0xffffffffffffffff, 0x0000000000000000,
     62   0xffffffffffffffff, 0x0000000000000000,
     63   0xffffffffffffffff, 0x0000000000000000,
     64   0xffffffffffffffff, 0x0000000000000000,
     65   0xffffffffffffffff, 0x0000000000000000,
     66   0xffffffffffffffff, 0x0000000000000000,
     67   0xffffffffffffffff, 0x0000000000000000,
     68   0xffffffffffffffff, 0x0000000000000000,
     69   0xffffffffffffffff, 0x0000000000000000,
     70   0xffffffffffffffff, 0x0000000000000000,
     71   0xffffffffffffffff, 0x0000000000000000,
     72   0xffffffffffffffff, 0x0000000000000000,
     73   0xffffffffffffffff, 0x0000000000000000,
     74   0xffffffffffffffff, 0x0000000000000000,
     75   0xffffffffffffffff, 0x0000000000000000,
     76   0xffffffffffffffff, 0x0000000000000000,
     77   0xffffffffffffffff, 0x0000000000000000,
     78   0xffffffffffffffff, 0x0000000000000000,
     79   0xffffffffffffffff, 0x0000000000000000,
     80   0xffffffffffffffff, 0x0000000000000000,
     81   0xffffffffffffffff, 0x0000000000000000,
     82   0xffffffffffffffff, 0x0000000000000000,
     83   0xffffffffffffffff, 0x0000000000000000,
     84   0xffffffffffffffff, 0x0000000000000000,
     85   0xffffffffffffffff, 0x0000000000000000,
     86   0xffffffffffffffff, 0x0000000000000000,
     87   0xffffffffffffffff, 0x0000000000000000,
     88   0xffffffffffffffff, 0x0000000000000000,
     89   0xffffffffffffffff, 0x0000000000000000,
     90   0xffffffffffffffff, 0x0000000000000000,
     91   0xffffffffffffffff, 0x0000000000000000,
     92   0xffffffffffffffff, 0x0000000000000000,
     93   0xffffffffffffffff, 0x0000000000000000,
     94   0xffffffffffffffff, 0x0000000000000000,
     95   0xffffffffffffffff, 0x0000000000000000,
     96   0xffffffffffffffff, 0x0000000000000000,
     97   0xffffffffffffffff, 0x0000000000000000,
     98   0xffffffffffffffff, 0x0000000000000000,
     99   0xffffffffffffffff, 0x0000000000000000,
    100   0xffffffffffffffff, 0x0000000000000000,
    101   0xffffffffffffffff, 0x0000000000000000,
    102   0x0000000000000000, 0x0000000000000000,
    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   0x0000000000000000, 0x0000000000000001,
    167   0x0000000000000000, 0x0000000000000000,
    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   0x0000000000000000, 0x0000000000000010,
    232   0x0000000000000000, 0x0000000000000008,
    233   0x0000000000000000, 0x0000000000000004,
    234   0x0000000000000000, 0x0000000000000002,
    235   0x0000000000000000, 0x0000000000000001,
    236   0x0000000000000000, 0x0000000000000000,
    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, 0x000000000000003e,
    295   0x0000000000000010, 0x000000000000001f,
    296   0x0000000000000008, 0x000000000000000f,
    297   0x0000000000000004, 0x0000000000000007,
    298   0x0000000000000002, 0x0000000000000003,
    299   0x0000000000000001, 0x0000000000000001,
    300   0x0000000000000000, 0x0000000000000000,
    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   0x000000000000003e, 0x000000000000003f,
    359   0x000000000000001f, 0x000000000000001f,
    360   0x000000000000000f, 0x000000000000000f,
    361   0x0000000000000007, 0x0000000000000007,
    362   0x0000000000000003, 0x0000000000000003,
    363   0x0000000000000001, 0x0000000000000001,
    364   0x0000000000000000, 0x0000000000000000,
    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, 0x000000000000003f,
    423   0x000000000000001f, 0x000000000000001f,
    424   0x000000000000000f, 0x000000000000000f,
    425   0x0000000000000007, 0x0000000000000007,
    426   0x0000000000000003, 0x0000000000000003,
    427   0x0000000000000001, 0x0000000000000001,
    428   0x0000000000000000, 0x0000000000000000,
    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   0x000000000000003f, 0x0000000000003ffe,
    487   0x000000000000001f, 0x0000000000001fff,
    488   0x000000000000000f, 0x0000000000000fff,
    489   0x0000000000000007, 0x00000000000007ff,
    490   0x0000000000000003, 0x00000000000003ff,
    491   0x0000000000000001, 0x00000000000001ff,
    492   0x0000000000000000, 0x00000000000000ff,
    493   0x0000000000000000, 0x000000000000007f,
    494   0x0000000000000000, 0x000000000000003f,
    495   0x0000000000000000, 0x000000000000001f,
    496   0x0000000000000000, 0x000000000000000f,
    497   0x0000000000000000, 0x0000000000000007,
    498   0x0000000000000000, 0x0000000000000003,
    499   0x0000000000000000, 0x0000000000000001,
    500   0x0000000000000000, 0x0000000000000000,
    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   0x0000000000003ffe, 0x0000000000003fff,
    551   0x0000000000001fff, 0x0000000000001fff,
    552   0x0000000000000fff, 0x0000000000000fff,
    553   0x00000000000007ff, 0x00000000000007ff,
    554   0x00000000000003ff, 0x00000000000003ff,
    555   0x00000000000001ff, 0x00000000000001ff,
    556   0x00000000000000ff, 0x00000000000000ff,
    557   0x000000000000007f, 0x000000000000007f,
    558   0x000000000000003f, 0x000000000000003f,
    559   0x000000000000001f, 0x000000000000001f,
    560   0x000000000000000f, 0x000000000000000f,
    561   0x0000000000000007, 0x0000000000000007,
    562   0x0000000000000003, 0x0000000000000003,
    563   0x0000000000000001, 0x0000000000000001,
    564   0x0000000000000000, 0x0000000000000000,
    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, 0x0000000000003fff,
    615   0x0000000000001fff, 0x0000000000001fff,
    616   0x0000000000000fff, 0x0000000000000fff,
    617   0x00000000000007ff, 0x00000000000007ff,
    618   0x00000000000003ff, 0x00000000000003ff,
    619   0x00000000000001ff, 0x00000000000001ff,
    620   0x00000000000000ff, 0x00000000000000ff,
    621   0x000000000000007f, 0x000000000000007f,
    622   0x000000000000003f, 0x000000000000003f,
    623   0x000000000000001f, 0x000000000000001f,
    624   0x000000000000000f, 0x000000000000000f,
    625   0x0000000000000007, 0x0000000000000007,
    626   0x0000000000000003, 0x0000000000000003,
    627   0x0000000000000001, 0x0000000000000001,
    628   0x0000000000000000, 0x0000000000000000,
    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   0x0000000000003fff, 0x000000003ffffffe,
    679   0x0000000000001fff, 0x000000001fffffff,
    680   0x0000000000000fff, 0x000000000fffffff,
    681   0x00000000000007ff, 0x0000000007ffffff,
    682   0x00000000000003ff, 0x0000000003ffffff,
    683   0x00000000000001ff, 0x0000000001ffffff,
    684   0x00000000000000ff, 0x0000000000ffffff,
    685   0x000000000000007f, 0x00000000007fffff,
    686   0x000000000000003f, 0x00000000003fffff,
    687   0x000000000000001f, 0x00000000001fffff,
    688   0x000000000000000f, 0x00000000000fffff,
    689   0x0000000000000007, 0x000000000007ffff,
    690   0x0000000000000003, 0x000000000003ffff,
    691   0x0000000000000001, 0x000000000001ffff,
    692   0x0000000000000000, 0x000000000000ffff,
    693   0x0000000000000000, 0x0000000000007fff,
    694   0x0000000000000000, 0x0000000000003fff,
    695   0x0000000000000000, 0x0000000000001fff,
    696   0x0000000000000000, 0x0000000000000fff,
    697   0x0000000000000000, 0x00000000000007ff,
    698   0x0000000000000000, 0x00000000000003ff,
    699   0x0000000000000000, 0x00000000000001ff,
    700   0x0000000000000000, 0x00000000000000ff,
    701   0x0000000000000000, 0x000000000000007f,
    702   0x0000000000000000, 0x000000000000003f,
    703   0x0000000000000000, 0x000000000000001f,
    704   0x0000000000000000, 0x000000000000000f,
    705   0x0000000000000000, 0x0000000000000007,
    706   0x0000000000000000, 0x0000000000000003,
    707   0x0000000000000000, 0x0000000000000001,
    708   0x0000000000000000, 0x0000000000000000,
    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   0x000000003ffffffe, 0x000000003fffffff,
    743   0x000000001fffffff, 0x000000001fffffff,
    744   0x000000000fffffff, 0x000000000fffffff,
    745   0x0000000007ffffff, 0x0000000007ffffff,
    746   0x0000000003ffffff, 0x0000000003ffffff,
    747   0x0000000001ffffff, 0x0000000001ffffff,
    748   0x0000000000ffffff, 0x0000000000ffffff,
    749   0x00000000007fffff, 0x00000000007fffff,
    750   0x00000000003fffff, 0x00000000003fffff,
    751   0x00000000001fffff, 0x00000000001fffff,
    752   0x00000000000fffff, 0x00000000000fffff,
    753   0x000000000007ffff, 0x000000000007ffff,
    754   0x000000000003ffff, 0x000000000003ffff,
    755   0x000000000001ffff, 0x000000000001ffff,
    756   0x000000000000ffff, 0x000000000000ffff,
    757   0x0000000000007fff, 0x0000000000007fff,
    758   0x0000000000003fff, 0x0000000000003fff,
    759   0x0000000000001fff, 0x0000000000001fff,
    760   0x0000000000000fff, 0x0000000000000fff,
    761   0x00000000000007ff, 0x00000000000007ff,
    762   0x00000000000003ff, 0x00000000000003ff,
    763   0x00000000000001ff, 0x00000000000001ff,
    764   0x00000000000000ff, 0x00000000000000ff,
    765   0x000000000000007f, 0x000000000000007f,
    766   0x000000000000003f, 0x000000000000003f,
    767   0x000000000000001f, 0x000000000000001f,
    768   0x000000000000000f, 0x000000000000000f,
    769   0x0000000000000007, 0x0000000000000007,
    770   0x0000000000000003, 0x0000000000000003,
    771   0x0000000000000001, 0x0000000000000001,
    772   0x0000000000000000, 0x0000000000000000,
    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, 0x000000003fffffff,
    807   0x000000001fffffff, 0x000000001fffffff,
    808   0x000000000fffffff, 0x000000000fffffff,
    809   0x0000000007ffffff, 0x0000000007ffffff,
    810   0x0000000003ffffff, 0x0000000003ffffff,
    811   0x0000000001ffffff, 0x0000000001ffffff,
    812   0x0000000000ffffff, 0x0000000000ffffff,
    813   0x00000000007fffff, 0x00000000007fffff,
    814   0x00000000003fffff, 0x00000000003fffff,
    815   0x00000000001fffff, 0x00000000001fffff,
    816   0x00000000000fffff, 0x00000000000fffff,
    817   0x000000000007ffff, 0x000000000007ffff,
    818   0x000000000003ffff, 0x000000000003ffff,
    819   0x000000000001ffff, 0x000000000001ffff,
    820   0x000000000000ffff, 0x000000000000ffff,
    821   0x0000000000007fff, 0x0000000000007fff,
    822   0x0000000000003fff, 0x0000000000003fff,
    823   0x0000000000001fff, 0x0000000000001fff,
    824   0x0000000000000fff, 0x0000000000000fff,
    825   0x00000000000007ff, 0x00000000000007ff,
    826   0x00000000000003ff, 0x00000000000003ff,
    827   0x00000000000001ff, 0x00000000000001ff,
    828   0x00000000000000ff, 0x00000000000000ff,
    829   0x000000000000007f, 0x000000000000007f,
    830   0x000000000000003f, 0x000000000000003f,
    831   0x000000000000001f, 0x000000000000001f,
    832   0x000000000000000f, 0x000000000000000f,
    833   0x0000000000000007, 0x0000000000000007,
    834   0x0000000000000003, 0x0000000000000003,
    835   0x0000000000000001, 0x0000000000000001,
    836   0x0000000000000000, 0x0000000000000000,
    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   0x000000003fffffff, 0x1999999999999999,
    871   0x000000001fffffff, 0x0ccccccccccccccc,
    872   0x000000000fffffff, 0x0666666666666666,
    873   0x0000000007ffffff, 0x0333333333333333,
    874   0x0000000003ffffff, 0x0199999999999999,
    875   0x0000000001ffffff, 0x00cccccccccccccc,
    876   0x0000000000ffffff, 0x0066666666666666,
    877   0x00000000007fffff, 0x0033333333333333,
    878   0x00000000003fffff, 0x0019999999999999,
    879   0x00000000001fffff, 0x000ccccccccccccc,
    880   0x00000000000fffff, 0x0006666666666666,
    881   0x000000000007ffff, 0x0003333333333333,
    882   0x000000000003ffff, 0x0001999999999999,
    883   0x000000000001ffff, 0x0000cccccccccccc,
    884   0x000000000000ffff, 0x0000666666666666,
    885   0x0000000000007fff, 0x0000333333333333,
    886   0x0000000000003fff, 0x0000199999999999,
    887   0x0000000000001fff, 0x00000ccccccccccc,
    888   0x0000000000000fff, 0x0000066666666666,
    889   0x00000000000007ff, 0x0000033333333333,
    890   0x00000000000003ff, 0x0000019999999999,
    891   0x00000000000001ff, 0x000000cccccccccc,
    892   0x00000000000000ff, 0x0000006666666666,
    893   0x000000000000007f, 0x0000003333333333,
    894   0x000000000000003f, 0x0000001999999999,
    895   0x000000000000001f, 0x0000000ccccccccc,
    896   0x000000000000000f, 0x0000000666666666,
    897   0x0000000000000007, 0x0000000333333333,
    898   0x0000000000000003, 0x0000000199999999,
    899   0x0000000000000001, 0x00000000cccccccc,
    900   0x0000000000000000, 0x0000000066666666,
    901   0x0000000000000000, 0x0000000033333333,
    902   0x0000000000000000, 0x0000000019999999,
    903   0x0000000000000000, 0x000000000ccccccc,
    904   0x0000000000000000, 0x0000000006666666,
    905   0x0000000000000000, 0x0000000003333333,
    906   0x0000000000000000, 0x0000000001999999,
    907   0x0000000000000000, 0x0000000000cccccc,
    908   0x0000000000000000, 0x0000000000666666,
    909   0x0000000000000000, 0x0000000000333333,
    910   0x0000000000000000, 0x0000000000199999,
    911   0x0000000000000000, 0x00000000000ccccc,
    912   0x0000000000000000, 0x0000000000066666,
    913   0x0000000000000000, 0x0000000000033333,
    914   0x0000000000000000, 0x0000000000019999,
    915   0x0000000000000000, 0x000000000000cccc,
    916   0x0000000000000000, 0x0000000000006666,
    917   0x0000000000000000, 0x0000000000003333,
    918   0x0000000000000000, 0x0000000000001999,
    919   0x0000000000000000, 0x0000000000000ccc,
    920   0x0000000000000000, 0x0000000000000666,
    921   0x0000000000000000, 0x0000000000000333,
    922   0x0000000000000000, 0x0000000000000199,
    923   0x0000000000000000, 0x00000000000000cc,
    924   0x0000000000000000, 0x0000000000000066,
    925   0x0000000000000000, 0x0000000000000033,
    926   0x0000000000000000, 0x0000000000000019,
    927   0x0000000000000000, 0x000000000000000c,
    928   0x0000000000000000, 0x0000000000000006,
    929   0x0000000000000000, 0x0000000000000003,
    930   0x0000000000000000, 0x0000000000000001,
    931   0x0000000000000000, 0x0000000000000000,
    932   0x0000000000000000, 0x0000000000000000,
    933   0x0000000000000000, 0x0000000000000000,
    934   0x1999999999999999, 0x2aaaaaaaaaaaaaaa,
    935   0x0ccccccccccccccc, 0x1555555555555555,
    936   0x0666666666666666, 0x0aaaaaaaaaaaaaaa,
    937   0x0333333333333333, 0x0555555555555555,
    938   0x0199999999999999, 0x02aaaaaaaaaaaaaa,
    939   0x00cccccccccccccc, 0x0155555555555555,
    940   0x0066666666666666, 0x00aaaaaaaaaaaaaa,
    941   0x0033333333333333, 0x0055555555555555,
    942   0x0019999999999999, 0x002aaaaaaaaaaaaa,
    943   0x000ccccccccccccc, 0x0015555555555555,
    944   0x0006666666666666, 0x000aaaaaaaaaaaaa,
    945   0x0003333333333333, 0x0005555555555555,
    946   0x0001999999999999, 0x0002aaaaaaaaaaaa,
    947   0x0000cccccccccccc, 0x0001555555555555,
    948   0x0000666666666666, 0x0000aaaaaaaaaaaa,
    949   0x0000333333333333, 0x0000555555555555,
    950   0x0000199999999999, 0x00002aaaaaaaaaaa,
    951   0x00000ccccccccccc, 0x0000155555555555,
    952   0x0000066666666666, 0x00000aaaaaaaaaaa,
    953   0x0000033333333333, 0x0000055555555555,
    954   0x0000019999999999, 0x000002aaaaaaaaaa,
    955   0x000000cccccccccc, 0x0000015555555555,
    956   0x0000006666666666, 0x000000aaaaaaaaaa,
    957   0x0000003333333333, 0x0000005555555555,
    958   0x0000001999999999, 0x0000002aaaaaaaaa,
    959   0x0000000ccccccccc, 0x0000001555555555,
    960   0x0000000666666666, 0x0000000aaaaaaaaa,
    961   0x0000000333333333, 0x0000000555555555,
    962   0x0000000199999999, 0x00000002aaaaaaaa,
    963   0x00000000cccccccc, 0x0000000155555555,
    964   0x0000000066666666, 0x00000000aaaaaaaa,
    965   0x0000000033333333, 0x0000000055555555,
    966   0x0000000019999999, 0x000000002aaaaaaa,
    967   0x000000000ccccccc, 0x0000000015555555,
    968   0x0000000006666666, 0x000000000aaaaaaa,
    969   0x0000000003333333, 0x0000000005555555,
    970   0x0000000001999999, 0x0000000002aaaaaa,
    971   0x0000000000cccccc, 0x0000000001555555,
    972   0x0000000000666666, 0x0000000000aaaaaa,
    973   0x0000000000333333, 0x0000000000555555,
    974   0x0000000000199999, 0x00000000002aaaaa,
    975   0x00000000000ccccc, 0x0000000000155555,
    976   0x0000000000066666, 0x00000000000aaaaa,
    977   0x0000000000033333, 0x0000000000055555,
    978   0x0000000000019999, 0x000000000002aaaa,
    979   0x000000000000cccc, 0x0000000000015555,
    980   0x0000000000006666, 0x000000000000aaaa,
    981   0x0000000000003333, 0x0000000000005555,
    982   0x0000000000001999, 0x0000000000002aaa,
    983   0x0000000000000ccc, 0x0000000000001555,
    984   0x0000000000000666, 0x0000000000000aaa,
    985   0x0000000000000333, 0x0000000000000555,
    986   0x0000000000000199, 0x00000000000002aa,
    987   0x00000000000000cc, 0x0000000000000155,
    988   0x0000000000000066, 0x00000000000000aa,
    989   0x0000000000000033, 0x0000000000000055,
    990   0x0000000000000019, 0x000000000000002a,
    991   0x000000000000000c, 0x0000000000000015,
    992   0x0000000000000006, 0x000000000000000a,
    993   0x0000000000000003, 0x0000000000000005,
    994   0x0000000000000001, 0x0000000000000002,
    995   0x0000000000000000, 0x0000000000000001,
    996   0x0000000000000000, 0x0000000000000000,
    997   0x0000000000000000, 0x0000000000000000,
    998   0x2aaaaaaaaaaaaaaa, 0x3ffffffffffffffe,
    999   0x1555555555555555, 0x1fffffffffffffff,
   1000   0x0aaaaaaaaaaaaaaa, 0x0fffffffffffffff,
   1001   0x0555555555555555, 0x07ffffffffffffff,
   1002   0x02aaaaaaaaaaaaaa, 0x03ffffffffffffff,
   1003   0x0155555555555555, 0x01ffffffffffffff,
   1004   0x00aaaaaaaaaaaaaa, 0x00ffffffffffffff,
   1005   0x0055555555555555, 0x007fffffffffffff,
   1006   0x002aaaaaaaaaaaaa, 0x003fffffffffffff,
   1007   0x0015555555555555, 0x001fffffffffffff,
   1008   0x000aaaaaaaaaaaaa, 0x000fffffffffffff,
   1009   0x0005555555555555, 0x0007ffffffffffff,
   1010   0x0002aaaaaaaaaaaa, 0x0003ffffffffffff,
   1011   0x0001555555555555, 0x0001ffffffffffff,
   1012   0x0000aaaaaaaaaaaa, 0x0000ffffffffffff,
   1013   0x0000555555555555, 0x00007fffffffffff,
   1014   0x00002aaaaaaaaaaa, 0x00003fffffffffff,
   1015   0x0000155555555555, 0x00001fffffffffff,
   1016   0x00000aaaaaaaaaaa, 0x00000fffffffffff,
   1017   0x0000055555555555, 0x000007ffffffffff,
   1018   0x000002aaaaaaaaaa, 0x000003ffffffffff,
   1019   0x0000015555555555, 0x000001ffffffffff,
   1020   0x000000aaaaaaaaaa, 0x000000ffffffffff,
   1021   0x0000005555555555, 0x0000007fffffffff,
   1022   0x0000002aaaaaaaaa, 0x0000003fffffffff,
   1023   0x0000001555555555, 0x0000001fffffffff,
   1024   0x0000000aaaaaaaaa, 0x0000000fffffffff,
   1025   0x0000000555555555, 0x00000007ffffffff,
   1026   0x00000002aaaaaaaa, 0x00000003ffffffff,
   1027   0x0000000155555555, 0x00000001ffffffff,
   1028   0x00000000aaaaaaaa, 0x00000000ffffffff,
   1029   0x0000000055555555, 0x000000007fffffff,
   1030   0x000000002aaaaaaa, 0x000000003fffffff,
   1031   0x0000000015555555, 0x000000001fffffff,
   1032   0x000000000aaaaaaa, 0x000000000fffffff,
   1033   0x0000000005555555, 0x0000000007ffffff,
   1034   0x0000000002aaaaaa, 0x0000000003ffffff,
   1035   0x0000000001555555, 0x0000000001ffffff,
   1036   0x0000000000aaaaaa, 0x0000000000ffffff,
   1037   0x0000000000555555, 0x00000000007fffff,
   1038   0x00000000002aaaaa, 0x00000000003fffff,
   1039   0x0000000000155555, 0x00000000001fffff,
   1040   0x00000000000aaaaa, 0x00000000000fffff,
   1041   0x0000000000055555, 0x000000000007ffff,
   1042   0x000000000002aaaa, 0x000000000003ffff,
   1043   0x0000000000015555, 0x000000000001ffff,
   1044   0x000000000000aaaa, 0x000000000000ffff,
   1045   0x0000000000005555, 0x0000000000007fff,
   1046   0x0000000000002aaa, 0x0000000000003fff,
   1047   0x0000000000001555, 0x0000000000001fff,
   1048   0x0000000000000aaa, 0x0000000000000fff,
   1049   0x0000000000000555, 0x00000000000007ff,
   1050   0x00000000000002aa, 0x00000000000003ff,
   1051   0x0000000000000155, 0x00000000000001ff,
   1052   0x00000000000000aa, 0x00000000000000ff,
   1053   0x0000000000000055, 0x000000000000007f,
   1054   0x000000000000002a, 0x000000000000003f,
   1055   0x0000000000000015, 0x000000000000001f,
   1056   0x000000000000000a, 0x000000000000000f,
   1057   0x0000000000000005, 0x0000000000000007,
   1058   0x0000000000000002, 0x0000000000000003,
   1059   0x0000000000000001, 0x0000000000000001,
   1060   0x0000000000000000, 0x0000000000000000,
   1061   0x0000000000000000, 0x0000000000000000,
   1062   0x3ffffffffffffffe, 0x3fffffffffffffff,
   1063   0x1fffffffffffffff, 0x1fffffffffffffff,
   1064   0x0fffffffffffffff, 0x0fffffffffffffff,
   1065   0x07ffffffffffffff, 0x07ffffffffffffff,
   1066   0x03ffffffffffffff, 0x03ffffffffffffff,
   1067   0x01ffffffffffffff, 0x01ffffffffffffff,
   1068   0x00ffffffffffffff, 0x00ffffffffffffff,
   1069   0x007fffffffffffff, 0x007fffffffffffff,
   1070   0x003fffffffffffff, 0x003fffffffffffff,
   1071   0x001fffffffffffff, 0x001fffffffffffff,
   1072   0x000fffffffffffff, 0x000fffffffffffff,
   1073   0x0007ffffffffffff, 0x0007ffffffffffff,
   1074   0x0003ffffffffffff, 0x0003ffffffffffff,
   1075   0x0001ffffffffffff, 0x0001ffffffffffff,
   1076   0x0000ffffffffffff, 0x0000ffffffffffff,
   1077   0x00007fffffffffff, 0x00007fffffffffff,
   1078   0x00003fffffffffff, 0x00003fffffffffff,
   1079   0x00001fffffffffff, 0x00001fffffffffff,
   1080   0x00000fffffffffff, 0x00000fffffffffff,
   1081   0x000007ffffffffff, 0x000007ffffffffff,
   1082   0x000003ffffffffff, 0x000003ffffffffff,
   1083   0x000001ffffffffff, 0x000001ffffffffff,
   1084   0x000000ffffffffff, 0x000000ffffffffff,
   1085   0x0000007fffffffff, 0x0000007fffffffff,
   1086   0x0000003fffffffff, 0x0000003fffffffff,
   1087   0x0000001fffffffff, 0x0000001fffffffff,
   1088   0x0000000fffffffff, 0x0000000fffffffff,
   1089   0x00000007ffffffff, 0x00000007ffffffff,
   1090   0x00000003ffffffff, 0x00000003ffffffff,
   1091   0x00000001ffffffff, 0x00000001ffffffff,
   1092   0x00000000ffffffff, 0x00000000ffffffff,
   1093   0x000000007fffffff, 0x000000007fffffff,
   1094   0x000000003fffffff, 0x000000003fffffff,
   1095   0x000000001fffffff, 0x000000001fffffff,
   1096   0x000000000fffffff, 0x000000000fffffff,
   1097   0x0000000007ffffff, 0x0000000007ffffff,
   1098   0x0000000003ffffff, 0x0000000003ffffff,
   1099   0x0000000001ffffff, 0x0000000001ffffff,
   1100   0x0000000000ffffff, 0x0000000000ffffff,
   1101   0x00000000007fffff, 0x00000000007fffff,
   1102   0x00000000003fffff, 0x00000000003fffff,
   1103   0x00000000001fffff, 0x00000000001fffff,
   1104   0x00000000000fffff, 0x00000000000fffff,
   1105   0x000000000007ffff, 0x000000000007ffff,
   1106   0x000000000003ffff, 0x000000000003ffff,
   1107   0x000000000001ffff, 0x000000000001ffff,
   1108   0x000000000000ffff, 0x000000000000ffff,
   1109   0x0000000000007fff, 0x0000000000007fff,
   1110   0x0000000000003fff, 0x0000000000003fff,
   1111   0x0000000000001fff, 0x0000000000001fff,
   1112   0x0000000000000fff, 0x0000000000000fff,
   1113   0x00000000000007ff, 0x00000000000007ff,
   1114   0x00000000000003ff, 0x00000000000003ff,
   1115   0x00000000000001ff, 0x00000000000001ff,
   1116   0x00000000000000ff, 0x00000000000000ff,
   1117   0x000000000000007f, 0x000000000000007f,
   1118   0x000000000000003f, 0x000000000000003f,
   1119   0x000000000000001f, 0x000000000000001f,
   1120   0x000000000000000f, 0x000000000000000f,
   1121   0x0000000000000007, 0x0000000000000007,
   1122   0x0000000000000003, 0x0000000000000003,
   1123   0x0000000000000001, 0x0000000000000001,
   1124   0x0000000000000000, 0x0000000000000000,
   1125   0x0000000000000000, 0x0000000000000000,
   1126   0x3fffffffffffffff, 0x3fffffffffffffff,
   1127   0x1fffffffffffffff, 0x1fffffffffffffff,
   1128   0x0fffffffffffffff, 0x0fffffffffffffff,
   1129   0x07ffffffffffffff, 0x07ffffffffffffff,
   1130   0x03ffffffffffffff, 0x03ffffffffffffff,
   1131   0x01ffffffffffffff, 0x01ffffffffffffff,
   1132   0x00ffffffffffffff, 0x00ffffffffffffff,
   1133   0x007fffffffffffff, 0x007fffffffffffff,
   1134   0x003fffffffffffff, 0x003fffffffffffff,
   1135   0x001fffffffffffff, 0x001fffffffffffff,
   1136   0x000fffffffffffff, 0x000fffffffffffff,
   1137   0x0007ffffffffffff, 0x0007ffffffffffff,
   1138   0x0003ffffffffffff, 0x0003ffffffffffff,
   1139   0x0001ffffffffffff, 0x0001ffffffffffff,
   1140   0x0000ffffffffffff, 0x0000ffffffffffff,
   1141   0x00007fffffffffff, 0x00007fffffffffff,
   1142   0x00003fffffffffff, 0x00003fffffffffff,
   1143   0x00001fffffffffff, 0x00001fffffffffff,
   1144   0x00000fffffffffff, 0x00000fffffffffff,
   1145   0x000007ffffffffff, 0x000007ffffffffff,
   1146   0x000003ffffffffff, 0x000003ffffffffff,
   1147   0x000001ffffffffff, 0x000001ffffffffff,
   1148   0x000000ffffffffff, 0x000000ffffffffff,
   1149   0x0000007fffffffff, 0x0000007fffffffff,
   1150   0x0000003fffffffff, 0x0000003fffffffff,
   1151   0x0000001fffffffff, 0x0000001fffffffff,
   1152   0x0000000fffffffff, 0x0000000fffffffff,
   1153   0x00000007ffffffff, 0x00000007ffffffff,
   1154   0x00000003ffffffff, 0x00000003ffffffff,
   1155   0x00000001ffffffff, 0x00000001ffffffff,
   1156   0x00000000ffffffff, 0x00000000ffffffff,
   1157   0x000000007fffffff, 0x000000007fffffff,
   1158   0x000000003fffffff, 0x000000003fffffff,
   1159   0x000000001fffffff, 0x000000001fffffff,
   1160   0x000000000fffffff, 0x000000000fffffff,
   1161   0x0000000007ffffff, 0x0000000007ffffff,
   1162   0x0000000003ffffff, 0x0000000003ffffff,
   1163   0x0000000001ffffff, 0x0000000001ffffff,
   1164   0x0000000000ffffff, 0x0000000000ffffff,
   1165   0x00000000007fffff, 0x00000000007fffff,
   1166   0x00000000003fffff, 0x00000000003fffff,
   1167   0x00000000001fffff, 0x00000000001fffff,
   1168   0x00000000000fffff, 0x00000000000fffff,
   1169   0x000000000007ffff, 0x000000000007ffff,
   1170   0x000000000003ffff, 0x000000000003ffff,
   1171   0x000000000001ffff, 0x000000000001ffff,
   1172   0x000000000000ffff, 0x000000000000ffff,
   1173   0x0000000000007fff, 0x0000000000007fff,
   1174   0x0000000000003fff, 0x0000000000003fff,
   1175   0x0000000000001fff, 0x0000000000001fff,
   1176   0x0000000000000fff, 0x0000000000000fff,
   1177   0x00000000000007ff, 0x00000000000007ff,
   1178   0x00000000000003ff, 0x00000000000003ff,
   1179   0x00000000000001ff, 0x00000000000001ff,
   1180   0x00000000000000ff, 0x00000000000000ff,
   1181   0x000000000000007f, 0x000000000000007f,
   1182   0x000000000000003f, 0x000000000000003f,
   1183   0x000000000000001f, 0x000000000000001f,
   1184   0x000000000000000f, 0x000000000000000f,
   1185   0x0000000000000007, 0x0000000000000007,
   1186   0x0000000000000003, 0x0000000000000003,
   1187   0x0000000000000001, 0x0000000000000001,
   1188   0x0000000000000000, 0x0000000000000000,
   1189   0x0000000000000000, 0x0000000000000000,
   1190   0x3fffffffffffffff, 0xc000000000000000,
   1191   0x1fffffffffffffff, 0xe000000000000000,
   1192   0x0fffffffffffffff, 0xf000000000000000,
   1193   0x07ffffffffffffff, 0xf800000000000000,
   1194   0x03ffffffffffffff, 0xfc00000000000000,
   1195   0x01ffffffffffffff, 0xfe00000000000000,
   1196   0x00ffffffffffffff, 0xff00000000000000,
   1197   0x007fffffffffffff, 0xff80000000000000,
   1198   0x003fffffffffffff, 0xffc0000000000000,
   1199   0x001fffffffffffff, 0xffe0000000000000,
   1200   0x000fffffffffffff, 0xfff0000000000000,
   1201   0x0007ffffffffffff, 0xfff8000000000000,
   1202   0x0003ffffffffffff, 0xfffc000000000000,
   1203   0x0001ffffffffffff, 0xfffe000000000000,
   1204   0x0000ffffffffffff, 0xffff000000000000,
   1205   0x00007fffffffffff, 0xffff800000000000,
   1206   0x00003fffffffffff, 0xffffc00000000000,
   1207   0x00001fffffffffff, 0xffffe00000000000,
   1208   0x00000fffffffffff, 0xfffff00000000000,
   1209   0x000007ffffffffff, 0xfffff80000000000,
   1210   0x000003ffffffffff, 0xfffffc0000000000,
   1211   0x000001ffffffffff, 0xfffffe0000000000,
   1212   0x000000ffffffffff, 0xffffff0000000000,
   1213   0x0000007fffffffff, 0xffffff8000000000,
   1214   0x0000003fffffffff, 0xffffffc000000000,
   1215   0x0000001fffffffff, 0xffffffe000000000,
   1216   0x0000000fffffffff, 0xfffffff000000000,
   1217   0x00000007ffffffff, 0xfffffff800000000,
   1218   0x00000003ffffffff, 0xfffffffc00000000,
   1219   0x00000001ffffffff, 0xfffffffe00000000,
   1220   0x00000000ffffffff, 0xffffffff00000000,
   1221   0x000000007fffffff, 0xffffffff80000000,
   1222   0x000000003fffffff, 0xffffffffc0000000,
   1223   0x000000001fffffff, 0xffffffffe0000000,
   1224   0x000000000fffffff, 0xfffffffff0000000,
   1225   0x0000000007ffffff, 0xfffffffff8000000,
   1226   0x0000000003ffffff, 0xfffffffffc000000,
   1227   0x0000000001ffffff, 0xfffffffffe000000,
   1228   0x0000000000ffffff, 0xffffffffff000000,
   1229   0x00000000007fffff, 0xffffffffff800000,
   1230   0x00000000003fffff, 0xffffffffffc00000,
   1231   0x00000000001fffff, 0xffffffffffe00000,
   1232   0x00000000000fffff, 0xfffffffffff00000,
   1233   0x000000000007ffff, 0xfffffffffff80000,
   1234   0x000000000003ffff, 0xfffffffffffc0000,
   1235   0x000000000001ffff, 0xfffffffffffe0000,
   1236   0x000000000000ffff, 0xffffffffffff0000,
   1237   0x0000000000007fff, 0xffffffffffff8000,
   1238   0x0000000000003fff, 0xffffffffffffc000,
   1239   0x0000000000001fff, 0xffffffffffffe000,
   1240   0x0000000000000fff, 0xfffffffffffff000,
   1241   0x00000000000007ff, 0xfffffffffffff800,
   1242   0x00000000000003ff, 0xfffffffffffffc00,
   1243   0x00000000000001ff, 0xfffffffffffffe00,
   1244   0x00000000000000ff, 0xffffffffffffff00,
   1245   0x000000000000007f, 0xffffffffffffff80,
   1246   0x000000000000003f, 0xffffffffffffffc0,
   1247   0x000000000000001f, 0xffffffffffffffe0,
   1248   0x000000000000000f, 0xfffffffffffffff0,
   1249   0x0000000000000007, 0xfffffffffffffff8,
   1250   0x0000000000000003, 0xfffffffffffffffc,
   1251   0x0000000000000001, 0xfffffffffffffffe,
   1252   0x0000000000000000, 0xffffffffffffffff,
   1253   0x0000000000000000, 0xffffffffffffffff,
   1254   0xc000000000000000, 0xc000000000000000,
   1255   0xe000000000000000, 0xe000000000000000,
   1256   0xf000000000000000, 0xf000000000000000,
   1257   0xf800000000000000, 0xf800000000000000,
   1258   0xfc00000000000000, 0xfc00000000000000,
   1259   0xfe00000000000000, 0xfe00000000000000,
   1260   0xff00000000000000, 0xff00000000000000,
   1261   0xff80000000000000, 0xff80000000000000,
   1262   0xffc0000000000000, 0xffc0000000000000,
   1263   0xffe0000000000000, 0xffe0000000000000,
   1264   0xfff0000000000000, 0xfff0000000000000,
   1265   0xfff8000000000000, 0xfff8000000000000,
   1266   0xfffc000000000000, 0xfffc000000000000,
   1267   0xfffe000000000000, 0xfffe000000000000,
   1268   0xffff000000000000, 0xffff000000000000,
   1269   0xffff800000000000, 0xffff800000000000,
   1270   0xffffc00000000000, 0xffffc00000000000,
   1271   0xffffe00000000000, 0xffffe00000000000,
   1272   0xfffff00000000000, 0xfffff00000000000,
   1273   0xfffff80000000000, 0xfffff80000000000,
   1274   0xfffffc0000000000, 0xfffffc0000000000,
   1275   0xfffffe0000000000, 0xfffffe0000000000,
   1276   0xffffff0000000000, 0xffffff0000000000,
   1277   0xffffff8000000000, 0xffffff8000000000,
   1278   0xffffffc000000000, 0xffffffc000000000,
   1279   0xffffffe000000000, 0xffffffe000000000,
   1280   0xfffffff000000000, 0xfffffff000000000,
   1281   0xfffffff800000000, 0xfffffff800000000,
   1282   0xfffffffc00000000, 0xfffffffc00000000,
   1283   0xfffffffe00000000, 0xfffffffe00000000,
   1284   0xffffffff00000000, 0xffffffff00000000,
   1285   0xffffffff80000000, 0xffffffff80000000,
   1286   0xffffffffc0000000, 0xffffffffc0000000,
   1287   0xffffffffe0000000, 0xffffffffe0000000,
   1288   0xfffffffff0000000, 0xfffffffff0000000,
   1289   0xfffffffff8000000, 0xfffffffff8000000,
   1290   0xfffffffffc000000, 0xfffffffffc000000,
   1291   0xfffffffffe000000, 0xfffffffffe000000,
   1292   0xffffffffff000000, 0xffffffffff000000,
   1293   0xffffffffff800000, 0xffffffffff800000,
   1294   0xffffffffffc00000, 0xffffffffffc00000,
   1295   0xffffffffffe00000, 0xffffffffffe00000,
   1296   0xfffffffffff00000, 0xfffffffffff00000,
   1297   0xfffffffffff80000, 0xfffffffffff80000,
   1298   0xfffffffffffc0000, 0xfffffffffffc0000,
   1299   0xfffffffffffe0000, 0xfffffffffffe0000,
   1300   0xffffffffffff0000, 0xffffffffffff0000,
   1301   0xffffffffffff8000, 0xffffffffffff8000,
   1302   0xffffffffffffc000, 0xffffffffffffc000,
   1303   0xffffffffffffe000, 0xffffffffffffe000,
   1304   0xfffffffffffff000, 0xfffffffffffff000,
   1305   0xfffffffffffff800, 0xfffffffffffff800,
   1306   0xfffffffffffffc00, 0xfffffffffffffc00,
   1307   0xfffffffffffffe00, 0xfffffffffffffe00,
   1308   0xffffffffffffff00, 0xffffffffffffff00,
   1309   0xffffffffffffff80, 0xffffffffffffff80,
   1310   0xffffffffffffffc0, 0xffffffffffffffc0,
   1311   0xffffffffffffffe0, 0xffffffffffffffe0,
   1312   0xfffffffffffffff0, 0xfffffffffffffff0,
   1313   0xfffffffffffffff8, 0xfffffffffffffff8,
   1314   0xfffffffffffffffc, 0xfffffffffffffffc,
   1315   0xfffffffffffffffe, 0xfffffffffffffffe,
   1316   0xffffffffffffffff, 0xffffffffffffffff,
   1317   0xffffffffffffffff, 0xffffffffffffffff,
   1318   0xc000000000000000, 0xc000000000000001,
   1319   0xe000000000000000, 0xe000000000000000,
   1320   0xf000000000000000, 0xf000000000000000,
   1321   0xf800000000000000, 0xf800000000000000,
   1322   0xfc00000000000000, 0xfc00000000000000,
   1323   0xfe00000000000000, 0xfe00000000000000,
   1324   0xff00000000000000, 0xff00000000000000,
   1325   0xff80000000000000, 0xff80000000000000,
   1326   0xffc0000000000000, 0xffc0000000000000,
   1327   0xffe0000000000000, 0xffe0000000000000,
   1328   0xfff0000000000000, 0xfff0000000000000,
   1329   0xfff8000000000000, 0xfff8000000000000,
   1330   0xfffc000000000000, 0xfffc000000000000,
   1331   0xfffe000000000000, 0xfffe000000000000,
   1332   0xffff000000000000, 0xffff000000000000,
   1333   0xffff800000000000, 0xffff800000000000,
   1334   0xffffc00000000000, 0xffffc00000000000,
   1335   0xffffe00000000000, 0xffffe00000000000,
   1336   0xfffff00000000000, 0xfffff00000000000,
   1337   0xfffff80000000000, 0xfffff80000000000,
   1338   0xfffffc0000000000, 0xfffffc0000000000,
   1339   0xfffffe0000000000, 0xfffffe0000000000,
   1340   0xffffff0000000000, 0xffffff0000000000,
   1341   0xffffff8000000000, 0xffffff8000000000,
   1342   0xffffffc000000000, 0xffffffc000000000,
   1343   0xffffffe000000000, 0xffffffe000000000,
   1344   0xfffffff000000000, 0xfffffff000000000,
   1345   0xfffffff800000000, 0xfffffff800000000,
   1346   0xfffffffc00000000, 0xfffffffc00000000,
   1347   0xfffffffe00000000, 0xfffffffe00000000,
   1348   0xffffffff00000000, 0xffffffff00000000,
   1349   0xffffffff80000000, 0xffffffff80000000,
   1350   0xffffffffc0000000, 0xffffffffc0000000,
   1351   0xffffffffe0000000, 0xffffffffe0000000,
   1352   0xfffffffff0000000, 0xfffffffff0000000,
   1353   0xfffffffff8000000, 0xfffffffff8000000,
   1354   0xfffffffffc000000, 0xfffffffffc000000,
   1355   0xfffffffffe000000, 0xfffffffffe000000,
   1356   0xffffffffff000000, 0xffffffffff000000,
   1357   0xffffffffff800000, 0xffffffffff800000,
   1358   0xffffffffffc00000, 0xffffffffffc00000,
   1359   0xffffffffffe00000, 0xffffffffffe00000,
   1360   0xfffffffffff00000, 0xfffffffffff00000,
   1361   0xfffffffffff80000, 0xfffffffffff80000,
   1362   0xfffffffffffc0000, 0xfffffffffffc0000,
   1363   0xfffffffffffe0000, 0xfffffffffffe0000,
   1364   0xffffffffffff0000, 0xffffffffffff0000,
   1365   0xffffffffffff8000, 0xffffffffffff8000,
   1366   0xffffffffffffc000, 0xffffffffffffc000,
   1367   0xffffffffffffe000, 0xffffffffffffe000,
   1368   0xfffffffffffff000, 0xfffffffffffff000,
   1369   0xfffffffffffff800, 0xfffffffffffff800,
   1370   0xfffffffffffffc00, 0xfffffffffffffc00,
   1371   0xfffffffffffffe00, 0xfffffffffffffe00,
   1372   0xffffffffffffff00, 0xffffffffffffff00,
   1373   0xffffffffffffff80, 0xffffffffffffff80,
   1374   0xffffffffffffffc0, 0xffffffffffffffc0,
   1375   0xffffffffffffffe0, 0xffffffffffffffe0,
   1376   0xfffffffffffffff0, 0xfffffffffffffff0,
   1377   0xfffffffffffffff8, 0xfffffffffffffff8,
   1378   0xfffffffffffffffc, 0xfffffffffffffffc,
   1379   0xfffffffffffffffe, 0xfffffffffffffffe,
   1380   0xffffffffffffffff, 0xffffffffffffffff,
   1381   0xffffffffffffffff, 0xffffffffffffffff,
   1382   0xc000000000000001, 0xc000000000000001,
   1383   0xe000000000000000, 0xe000000000000000,
   1384   0xf000000000000000, 0xf000000000000000,
   1385   0xf800000000000000, 0xf800000000000000,
   1386   0xfc00000000000000, 0xfc00000000000000,
   1387   0xfe00000000000000, 0xfe00000000000000,
   1388   0xff00000000000000, 0xff00000000000000,
   1389   0xff80000000000000, 0xff80000000000000,
   1390   0xffc0000000000000, 0xffc0000000000000,
   1391   0xffe0000000000000, 0xffe0000000000000,
   1392   0xfff0000000000000, 0xfff0000000000000,
   1393   0xfff8000000000000, 0xfff8000000000000,
   1394   0xfffc000000000000, 0xfffc000000000000,
   1395   0xfffe000000000000, 0xfffe000000000000,
   1396   0xffff000000000000, 0xffff000000000000,
   1397   0xffff800000000000, 0xffff800000000000,
   1398   0xffffc00000000000, 0xffffc00000000000,
   1399   0xffffe00000000000, 0xffffe00000000000,
   1400   0xfffff00000000000, 0xfffff00000000000,
   1401   0xfffff80000000000, 0xfffff80000000000,
   1402   0xfffffc0000000000, 0xfffffc0000000000,
   1403   0xfffffe0000000000, 0xfffffe0000000000,
   1404   0xffffff0000000000, 0xffffff0000000000,
   1405   0xffffff8000000000, 0xffffff8000000000,
   1406   0xffffffc000000000, 0xffffffc000000000,
   1407   0xffffffe000000000, 0xffffffe000000000,
   1408   0xfffffff000000000, 0xfffffff000000000,
   1409   0xfffffff800000000, 0xfffffff800000000,
   1410   0xfffffffc00000000, 0xfffffffc00000000,
   1411   0xfffffffe00000000, 0xfffffffe00000000,
   1412   0xffffffff00000000, 0xffffffff00000000,
   1413   0xffffffff80000000, 0xffffffff80000000,
   1414   0xffffffffc0000000, 0xffffffffc0000000,
   1415   0xffffffffe0000000, 0xffffffffe0000000,
   1416   0xfffffffff0000000, 0xfffffffff0000000,
   1417   0xfffffffff8000000, 0xfffffffff8000000,
   1418   0xfffffffffc000000, 0xfffffffffc000000,
   1419   0xfffffffffe000000, 0xfffffffffe000000,
   1420   0xffffffffff000000, 0xffffffffff000000,
   1421   0xffffffffff800000, 0xffffffffff800000,
   1422   0xffffffffffc00000, 0xffffffffffc00000,
   1423   0xffffffffffe00000, 0xffffffffffe00000,
   1424   0xfffffffffff00000, 0xfffffffffff00000,
   1425   0xfffffffffff80000, 0xfffffffffff80000,
   1426   0xfffffffffffc0000, 0xfffffffffffc0000,
   1427   0xfffffffffffe0000, 0xfffffffffffe0000,
   1428   0xffffffffffff0000, 0xffffffffffff0000,
   1429   0xffffffffffff8000, 0xffffffffffff8000,
   1430   0xffffffffffffc000, 0xffffffffffffc000,
   1431   0xffffffffffffe000, 0xffffffffffffe000,
   1432   0xfffffffffffff000, 0xfffffffffffff000,
   1433   0xfffffffffffff800, 0xfffffffffffff800,
   1434   0xfffffffffffffc00, 0xfffffffffffffc00,
   1435   0xfffffffffffffe00, 0xfffffffffffffe00,
   1436   0xffffffffffffff00, 0xffffffffffffff00,
   1437   0xffffffffffffff80, 0xffffffffffffff80,
   1438   0xffffffffffffffc0, 0xffffffffffffffc0,
   1439   0xffffffffffffffe0, 0xffffffffffffffe0,
   1440   0xfffffffffffffff0, 0xfffffffffffffff0,
   1441   0xfffffffffffffff8, 0xfffffffffffffff8,
   1442   0xfffffffffffffffc, 0xfffffffffffffffc,
   1443   0xfffffffffffffffe, 0xfffffffffffffffe,
   1444   0xffffffffffffffff, 0xffffffffffffffff,
   1445   0xffffffffffffffff, 0xffffffffffffffff,
   1446   0xc000000000000001, 0xd555555555555555,
   1447   0xe000000000000000, 0xeaaaaaaaaaaaaaaa,
   1448   0xf000000000000000, 0xf555555555555555,
   1449   0xf800000000000000, 0xfaaaaaaaaaaaaaaa,
   1450   0xfc00000000000000, 0xfd55555555555555,
   1451   0xfe00000000000000, 0xfeaaaaaaaaaaaaaa,
   1452   0xff00000000000000, 0xff55555555555555,
   1453   0xff80000000000000, 0xffaaaaaaaaaaaaaa,
   1454   0xffc0000000000000, 0xffd5555555555555,
   1455   0xffe0000000000000, 0xffeaaaaaaaaaaaaa,
   1456   0xfff0000000000000, 0xfff5555555555555,
   1457   0xfff8000000000000, 0xfffaaaaaaaaaaaaa,
   1458   0xfffc000000000000, 0xfffd555555555555,
   1459   0xfffe000000000000, 0xfffeaaaaaaaaaaaa,
   1460   0xffff000000000000, 0xffff555555555555,
   1461   0xffff800000000000, 0xffffaaaaaaaaaaaa,
   1462   0xffffc00000000000, 0xffffd55555555555,
   1463   0xffffe00000000000, 0xffffeaaaaaaaaaaa,
   1464   0xfffff00000000000, 0xfffff55555555555,
   1465   0xfffff80000000000, 0xfffffaaaaaaaaaaa,
   1466   0xfffffc0000000000, 0xfffffd5555555555,
   1467   0xfffffe0000000000, 0xfffffeaaaaaaaaaa,
   1468   0xffffff0000000000, 0xffffff5555555555,
   1469   0xffffff8000000000, 0xffffffaaaaaaaaaa,
   1470   0xffffffc000000000, 0xffffffd555555555,
   1471   0xffffffe000000000, 0xffffffeaaaaaaaaa,
   1472   0xfffffff000000000, 0xfffffff555555555,
   1473   0xfffffff800000000, 0xfffffffaaaaaaaaa,
   1474   0xfffffffc00000000, 0xfffffffd55555555,
   1475   0xfffffffe00000000, 0xfffffffeaaaaaaaa,
   1476   0xffffffff00000000, 0xffffffff55555555,
   1477   0xffffffff80000000, 0xffffffffaaaaaaaa,
   1478   0xffffffffc0000000, 0xffffffffd5555555,
   1479   0xffffffffe0000000, 0xffffffffeaaaaaaa,
   1480   0xfffffffff0000000, 0xfffffffff5555555,
   1481   0xfffffffff8000000, 0xfffffffffaaaaaaa,
   1482   0xfffffffffc000000, 0xfffffffffd555555,
   1483   0xfffffffffe000000, 0xfffffffffeaaaaaa,
   1484   0xffffffffff000000, 0xffffffffff555555,
   1485   0xffffffffff800000, 0xffffffffffaaaaaa,
   1486   0xffffffffffc00000, 0xffffffffffd55555,
   1487   0xffffffffffe00000, 0xffffffffffeaaaaa,
   1488   0xfffffffffff00000, 0xfffffffffff55555,
   1489   0xfffffffffff80000, 0xfffffffffffaaaaa,
   1490   0xfffffffffffc0000, 0xfffffffffffd5555,
   1491   0xfffffffffffe0000, 0xfffffffffffeaaaa,
   1492   0xffffffffffff0000, 0xffffffffffff5555,
   1493   0xffffffffffff8000, 0xffffffffffffaaaa,
   1494   0xffffffffffffc000, 0xffffffffffffd555,
   1495   0xffffffffffffe000, 0xffffffffffffeaaa,
   1496   0xfffffffffffff000, 0xfffffffffffff555,
   1497   0xfffffffffffff800, 0xfffffffffffffaaa,
   1498   0xfffffffffffffc00, 0xfffffffffffffd55,
   1499   0xfffffffffffffe00, 0xfffffffffffffeaa,
   1500   0xffffffffffffff00, 0xffffffffffffff55,
   1501   0xffffffffffffff80, 0xffffffffffffffaa,
   1502   0xffffffffffffffc0, 0xffffffffffffffd5,
   1503   0xffffffffffffffe0, 0xffffffffffffffea,
   1504   0xfffffffffffffff0, 0xfffffffffffffff5,
   1505   0xfffffffffffffff8, 0xfffffffffffffffa,
   1506   0xfffffffffffffffc, 0xfffffffffffffffd,
   1507   0xfffffffffffffffe, 0xfffffffffffffffe,
   1508   0xffffffffffffffff, 0xffffffffffffffff,
   1509   0xffffffffffffffff, 0xffffffffffffffff,
   1510   0xd555555555555555, 0xe666666666666666,
   1511   0xeaaaaaaaaaaaaaaa, 0xf333333333333333,
   1512   0xf555555555555555, 0xf999999999999999,
   1513   0xfaaaaaaaaaaaaaaa, 0xfccccccccccccccc,
   1514   0xfd55555555555555, 0xfe66666666666666,
   1515   0xfeaaaaaaaaaaaaaa, 0xff33333333333333,
   1516   0xff55555555555555, 0xff99999999999999,
   1517   0xffaaaaaaaaaaaaaa, 0xffcccccccccccccc,
   1518   0xffd5555555555555, 0xffe6666666666666,
   1519   0xffeaaaaaaaaaaaaa, 0xfff3333333333333,
   1520   0xfff5555555555555, 0xfff9999999999999,
   1521   0xfffaaaaaaaaaaaaa, 0xfffccccccccccccc,
   1522   0xfffd555555555555, 0xfffe666666666666,
   1523   0xfffeaaaaaaaaaaaa, 0xffff333333333333,
   1524   0xffff555555555555, 0xffff999999999999,
   1525   0xffffaaaaaaaaaaaa, 0xffffcccccccccccc,
   1526   0xffffd55555555555, 0xffffe66666666666,
   1527   0xffffeaaaaaaaaaaa, 0xfffff33333333333,
   1528   0xfffff55555555555, 0xfffff99999999999,
   1529   0xfffffaaaaaaaaaaa, 0xfffffccccccccccc,
   1530   0xfffffd5555555555, 0xfffffe6666666666,
   1531   0xfffffeaaaaaaaaaa, 0xffffff3333333333,
   1532   0xffffff5555555555, 0xffffff9999999999,
   1533   0xffffffaaaaaaaaaa, 0xffffffcccccccccc,
   1534   0xffffffd555555555, 0xffffffe666666666,
   1535   0xffffffeaaaaaaaaa, 0xfffffff333333333,
   1536   0xfffffff555555555, 0xfffffff999999999,
   1537   0xfffffffaaaaaaaaa, 0xfffffffccccccccc,
   1538   0xfffffffd55555555, 0xfffffffe66666666,
   1539   0xfffffffeaaaaaaaa, 0xffffffff33333333,
   1540   0xffffffff55555555, 0xffffffff99999999,
   1541   0xffffffffaaaaaaaa, 0xffffffffcccccccc,
   1542   0xffffffffd5555555, 0xffffffffe6666666,
   1543   0xffffffffeaaaaaaa, 0xfffffffff3333333,
   1544   0xfffffffff5555555, 0xfffffffff9999999,
   1545   0xfffffffffaaaaaaa, 0xfffffffffccccccc,
   1546   0xfffffffffd555555, 0xfffffffffe666666,
   1547   0xfffffffffeaaaaaa, 0xffffffffff333333,
   1548   0xffffffffff555555, 0xffffffffff999999,
   1549   0xffffffffffaaaaaa, 0xffffffffffcccccc,
   1550   0xffffffffffd55555, 0xffffffffffe66666,
   1551   0xffffffffffeaaaaa, 0xfffffffffff33333,
   1552   0xfffffffffff55555, 0xfffffffffff99999,
   1553   0xfffffffffffaaaaa, 0xfffffffffffccccc,
   1554   0xfffffffffffd5555, 0xfffffffffffe6666,
   1555   0xfffffffffffeaaaa, 0xffffffffffff3333,
   1556   0xffffffffffff5555, 0xffffffffffff9999,
   1557   0xffffffffffffaaaa, 0xffffffffffffcccc,
   1558   0xffffffffffffd555, 0xffffffffffffe666,
   1559   0xffffffffffffeaaa, 0xfffffffffffff333,
   1560   0xfffffffffffff555, 0xfffffffffffff999,
   1561   0xfffffffffffffaaa, 0xfffffffffffffccc,
   1562   0xfffffffffffffd55, 0xfffffffffffffe66,
   1563   0xfffffffffffffeaa, 0xffffffffffffff33,
   1564   0xffffffffffffff55, 0xffffffffffffff99,
   1565   0xffffffffffffffaa, 0xffffffffffffffcc,
   1566   0xffffffffffffffd5, 0xffffffffffffffe6,
   1567   0xffffffffffffffea, 0xfffffffffffffff3,
   1568   0xfffffffffffffff5, 0xfffffffffffffff9,
   1569   0xfffffffffffffffa, 0xfffffffffffffffc,
   1570   0xfffffffffffffffd, 0xfffffffffffffffe,
   1571   0xfffffffffffffffe, 0xffffffffffffffff,
   1572   0xffffffffffffffff, 0xffffffffffffffff,
   1573   0xffffffffffffffff, 0xffffffffffffffff,
   1574   0xe666666666666666, 0xffffffffc0000000,
   1575   0xf333333333333333, 0xffffffffe0000000,
   1576   0xf999999999999999, 0xfffffffff0000000,
   1577   0xfccccccccccccccc, 0xfffffffff8000000,
   1578   0xfe66666666666666, 0xfffffffffc000000,
   1579   0xff33333333333333, 0xfffffffffe000000,
   1580   0xff99999999999999, 0xffffffffff000000,
   1581   0xffcccccccccccccc, 0xffffffffff800000,
   1582   0xffe6666666666666, 0xffffffffffc00000,
   1583   0xfff3333333333333, 0xffffffffffe00000,
   1584   0xfff9999999999999, 0xfffffffffff00000,
   1585   0xfffccccccccccccc, 0xfffffffffff80000,
   1586   0xfffe666666666666, 0xfffffffffffc0000,
   1587   0xffff333333333333, 0xfffffffffffe0000,
   1588   0xffff999999999999, 0xffffffffffff0000,
   1589   0xffffcccccccccccc, 0xffffffffffff8000,
   1590   0xffffe66666666666, 0xffffffffffffc000,
   1591   0xfffff33333333333, 0xffffffffffffe000,
   1592   0xfffff99999999999, 0xfffffffffffff000,
   1593   0xfffffccccccccccc, 0xfffffffffffff800,
   1594   0xfffffe6666666666, 0xfffffffffffffc00,
   1595   0xffffff3333333333, 0xfffffffffffffe00,
   1596   0xffffff9999999999, 0xffffffffffffff00,
   1597   0xffffffcccccccccc, 0xffffffffffffff80,
   1598   0xffffffe666666666, 0xffffffffffffffc0,
   1599   0xfffffff333333333, 0xffffffffffffffe0,
   1600   0xfffffff999999999, 0xfffffffffffffff0,
   1601   0xfffffffccccccccc, 0xfffffffffffffff8,
   1602   0xfffffffe66666666, 0xfffffffffffffffc,
   1603   0xffffffff33333333, 0xfffffffffffffffe,
   1604   0xffffffff99999999, 0xffffffffffffffff,
   1605   0xffffffffcccccccc, 0xffffffffffffffff,
   1606   0xffffffffe6666666, 0xffffffffffffffff,
   1607   0xfffffffff3333333, 0xffffffffffffffff,
   1608   0xfffffffff9999999, 0xffffffffffffffff,
   1609   0xfffffffffccccccc, 0xffffffffffffffff,
   1610   0xfffffffffe666666, 0xffffffffffffffff,
   1611   0xffffffffff333333, 0xffffffffffffffff,
   1612   0xffffffffff999999, 0xffffffffffffffff,
   1613   0xffffffffffcccccc, 0xffffffffffffffff,
   1614   0xffffffffffe66666, 0xffffffffffffffff,
   1615   0xfffffffffff33333, 0xffffffffffffffff,
   1616   0xfffffffffff99999, 0xffffffffffffffff,
   1617   0xfffffffffffccccc, 0xffffffffffffffff,
   1618   0xfffffffffffe6666, 0xffffffffffffffff,
   1619   0xffffffffffff3333, 0xffffffffffffffff,
   1620   0xffffffffffff9999, 0xffffffffffffffff,
   1621   0xffffffffffffcccc, 0xffffffffffffffff,
   1622   0xffffffffffffe666, 0xffffffffffffffff,
   1623   0xfffffffffffff333, 0xffffffffffffffff,
   1624   0xfffffffffffff999, 0xffffffffffffffff,
   1625   0xfffffffffffffccc, 0xffffffffffffffff,
   1626   0xfffffffffffffe66, 0xffffffffffffffff,
   1627   0xffffffffffffff33, 0xffffffffffffffff,
   1628   0xffffffffffffff99, 0xffffffffffffffff,
   1629   0xffffffffffffffcc, 0xffffffffffffffff,
   1630   0xffffffffffffffe6, 0xffffffffffffffff,
   1631   0xfffffffffffffff3, 0xffffffffffffffff,
   1632   0xfffffffffffffff9, 0xffffffffffffffff,
   1633   0xfffffffffffffffc, 0xffffffffffffffff,
   1634   0xfffffffffffffffe, 0xffffffffffffffff,
   1635   0xffffffffffffffff, 0xffffffffffffffff,
   1636   0xffffffffffffffff, 0xffffffffffffffff,
   1637   0xffffffffffffffff, 0xffffffffffffffff,
   1638   0xffffffffc0000000, 0xffffffffc0000000,
   1639   0xffffffffe0000000, 0xffffffffe0000000,
   1640   0xfffffffff0000000, 0xfffffffff0000000,
   1641   0xfffffffff8000000, 0xfffffffff8000000,
   1642   0xfffffffffc000000, 0xfffffffffc000000,
   1643   0xfffffffffe000000, 0xfffffffffe000000,
   1644   0xffffffffff000000, 0xffffffffff000000,
   1645   0xffffffffff800000, 0xffffffffff800000,
   1646   0xffffffffffc00000, 0xffffffffffc00000,
   1647   0xffffffffffe00000, 0xffffffffffe00000,
   1648   0xfffffffffff00000, 0xfffffffffff00000,
   1649   0xfffffffffff80000, 0xfffffffffff80000,
   1650   0xfffffffffffc0000, 0xfffffffffffc0000,
   1651   0xfffffffffffe0000, 0xfffffffffffe0000,
   1652   0xffffffffffff0000, 0xffffffffffff0000,
   1653   0xffffffffffff8000, 0xffffffffffff8000,
   1654   0xffffffffffffc000, 0xffffffffffffc000,
   1655   0xffffffffffffe000, 0xffffffffffffe000,
   1656   0xfffffffffffff000, 0xfffffffffffff000,
   1657   0xfffffffffffff800, 0xfffffffffffff800,
   1658   0xfffffffffffffc00, 0xfffffffffffffc00,
   1659   0xfffffffffffffe00, 0xfffffffffffffe00,
   1660   0xffffffffffffff00, 0xffffffffffffff00,
   1661   0xffffffffffffff80, 0xffffffffffffff80,
   1662   0xffffffffffffffc0, 0xffffffffffffffc0,
   1663   0xffffffffffffffe0, 0xffffffffffffffe0,
   1664   0xfffffffffffffff0, 0xfffffffffffffff0,
   1665   0xfffffffffffffff8, 0xfffffffffffffff8,
   1666   0xfffffffffffffffc, 0xfffffffffffffffc,
   1667   0xfffffffffffffffe, 0xfffffffffffffffe,
   1668   0xffffffffffffffff, 0xffffffffffffffff,
   1669   0xffffffffffffffff, 0xffffffffffffffff,
   1670   0xffffffffffffffff, 0xffffffffffffffff,
   1671   0xffffffffffffffff, 0xffffffffffffffff,
   1672   0xffffffffffffffff, 0xffffffffffffffff,
   1673   0xffffffffffffffff, 0xffffffffffffffff,
   1674   0xffffffffffffffff, 0xffffffffffffffff,
   1675   0xffffffffffffffff, 0xffffffffffffffff,
   1676   0xffffffffffffffff, 0xffffffffffffffff,
   1677   0xffffffffffffffff, 0xffffffffffffffff,
   1678   0xffffffffffffffff, 0xffffffffffffffff,
   1679   0xffffffffffffffff, 0xffffffffffffffff,
   1680   0xffffffffffffffff, 0xffffffffffffffff,
   1681   0xffffffffffffffff, 0xffffffffffffffff,
   1682   0xffffffffffffffff, 0xffffffffffffffff,
   1683   0xffffffffffffffff, 0xffffffffffffffff,
   1684   0xffffffffffffffff, 0xffffffffffffffff,
   1685   0xffffffffffffffff, 0xffffffffffffffff,
   1686   0xffffffffffffffff, 0xffffffffffffffff,
   1687   0xffffffffffffffff, 0xffffffffffffffff,
   1688   0xffffffffffffffff, 0xffffffffffffffff,
   1689   0xffffffffffffffff, 0xffffffffffffffff,
   1690   0xffffffffffffffff, 0xffffffffffffffff,
   1691   0xffffffffffffffff, 0xffffffffffffffff,
   1692   0xffffffffffffffff, 0xffffffffffffffff,
   1693   0xffffffffffffffff, 0xffffffffffffffff,
   1694   0xffffffffffffffff, 0xffffffffffffffff,
   1695   0xffffffffffffffff, 0xffffffffffffffff,
   1696   0xffffffffffffffff, 0xffffffffffffffff,
   1697   0xffffffffffffffff, 0xffffffffffffffff,
   1698   0xffffffffffffffff, 0xffffffffffffffff,
   1699   0xffffffffffffffff, 0xffffffffffffffff,
   1700   0xffffffffffffffff, 0xffffffffffffffff,
   1701   0xffffffffffffffff, 0xffffffffffffffff,
   1702   0xffffffffc0000000, 0xffffffffc0000001,
   1703   0xffffffffe0000000, 0xffffffffe0000000,
   1704   0xfffffffff0000000, 0xfffffffff0000000,
   1705   0xfffffffff8000000, 0xfffffffff8000000,
   1706   0xfffffffffc000000, 0xfffffffffc000000,
   1707   0xfffffffffe000000, 0xfffffffffe000000,
   1708   0xffffffffff000000, 0xffffffffff000000,
   1709   0xffffffffff800000, 0xffffffffff800000,
   1710   0xffffffffffc00000, 0xffffffffffc00000,
   1711   0xffffffffffe00000, 0xffffffffffe00000,
   1712   0xfffffffffff00000, 0xfffffffffff00000,
   1713   0xfffffffffff80000, 0xfffffffffff80000,
   1714   0xfffffffffffc0000, 0xfffffffffffc0000,
   1715   0xfffffffffffe0000, 0xfffffffffffe0000,
   1716   0xffffffffffff0000, 0xffffffffffff0000,
   1717   0xffffffffffff8000, 0xffffffffffff8000,
   1718   0xffffffffffffc000, 0xffffffffffffc000,
   1719   0xffffffffffffe000, 0xffffffffffffe000,
   1720   0xfffffffffffff000, 0xfffffffffffff000,
   1721   0xfffffffffffff800, 0xfffffffffffff800,
   1722   0xfffffffffffffc00, 0xfffffffffffffc00,
   1723   0xfffffffffffffe00, 0xfffffffffffffe00,
   1724   0xffffffffffffff00, 0xffffffffffffff00,
   1725   0xffffffffffffff80, 0xffffffffffffff80,
   1726   0xffffffffffffffc0, 0xffffffffffffffc0,
   1727   0xffffffffffffffe0, 0xffffffffffffffe0,
   1728   0xfffffffffffffff0, 0xfffffffffffffff0,
   1729   0xfffffffffffffff8, 0xfffffffffffffff8,
   1730   0xfffffffffffffffc, 0xfffffffffffffffc,
   1731   0xfffffffffffffffe, 0xfffffffffffffffe,
   1732   0xffffffffffffffff, 0xffffffffffffffff,
   1733   0xffffffffffffffff, 0xffffffffffffffff,
   1734   0xffffffffffffffff, 0xffffffffffffffff,
   1735   0xffffffffffffffff, 0xffffffffffffffff,
   1736   0xffffffffffffffff, 0xffffffffffffffff,
   1737   0xffffffffffffffff, 0xffffffffffffffff,
   1738   0xffffffffffffffff, 0xffffffffffffffff,
   1739   0xffffffffffffffff, 0xffffffffffffffff,
   1740   0xffffffffffffffff, 0xffffffffffffffff,
   1741   0xffffffffffffffff, 0xffffffffffffffff,
   1742   0xffffffffffffffff, 0xffffffffffffffff,
   1743   0xffffffffffffffff, 0xffffffffffffffff,
   1744   0xffffffffffffffff, 0xffffffffffffffff,
   1745   0xffffffffffffffff, 0xffffffffffffffff,
   1746   0xffffffffffffffff, 0xffffffffffffffff,
   1747   0xffffffffffffffff, 0xffffffffffffffff,
   1748   0xffffffffffffffff, 0xffffffffffffffff,
   1749   0xffffffffffffffff, 0xffffffffffffffff,
   1750   0xffffffffffffffff, 0xffffffffffffffff,
   1751   0xffffffffffffffff, 0xffffffffffffffff,
   1752   0xffffffffffffffff, 0xffffffffffffffff,
   1753   0xffffffffffffffff, 0xffffffffffffffff,
   1754   0xffffffffffffffff, 0xffffffffffffffff,
   1755   0xffffffffffffffff, 0xffffffffffffffff,
   1756   0xffffffffffffffff, 0xffffffffffffffff,
   1757   0xffffffffffffffff, 0xffffffffffffffff,
   1758   0xffffffffffffffff, 0xffffffffffffffff,
   1759   0xffffffffffffffff, 0xffffffffffffffff,
   1760   0xffffffffffffffff, 0xffffffffffffffff,
   1761   0xffffffffffffffff, 0xffffffffffffffff,
   1762   0xffffffffffffffff, 0xffffffffffffffff,
   1763   0xffffffffffffffff, 0xffffffffffffffff,
   1764   0xffffffffffffffff, 0xffffffffffffffff,
   1765   0xffffffffffffffff, 0xffffffffffffffff,
   1766   0xffffffffc0000001, 0xffffffffc0000001,
   1767   0xffffffffe0000000, 0xffffffffe0000000,
   1768   0xfffffffff0000000, 0xfffffffff0000000,
   1769   0xfffffffff8000000, 0xfffffffff8000000,
   1770   0xfffffffffc000000, 0xfffffffffc000000,
   1771   0xfffffffffe000000, 0xfffffffffe000000,
   1772   0xffffffffff000000, 0xffffffffff000000,
   1773   0xffffffffff800000, 0xffffffffff800000,
   1774   0xffffffffffc00000, 0xffffffffffc00000,
   1775   0xffffffffffe00000, 0xffffffffffe00000,
   1776   0xfffffffffff00000, 0xfffffffffff00000,
   1777   0xfffffffffff80000, 0xfffffffffff80000,
   1778   0xfffffffffffc0000, 0xfffffffffffc0000,
   1779   0xfffffffffffe0000, 0xfffffffffffe0000,
   1780   0xffffffffffff0000, 0xffffffffffff0000,
   1781   0xffffffffffff8000, 0xffffffffffff8000,
   1782   0xffffffffffffc000, 0xffffffffffffc000,
   1783   0xffffffffffffe000, 0xffffffffffffe000,
   1784   0xfffffffffffff000, 0xfffffffffffff000,
   1785   0xfffffffffffff800, 0xfffffffffffff800,
   1786   0xfffffffffffffc00, 0xfffffffffffffc00,
   1787   0xfffffffffffffe00, 0xfffffffffffffe00,
   1788   0xffffffffffffff00, 0xffffffffffffff00,
   1789   0xffffffffffffff80, 0xffffffffffffff80,
   1790   0xffffffffffffffc0, 0xffffffffffffffc0,
   1791   0xffffffffffffffe0, 0xffffffffffffffe0,
   1792   0xfffffffffffffff0, 0xfffffffffffffff0,
   1793   0xfffffffffffffff8, 0xfffffffffffffff8,
   1794   0xfffffffffffffffc, 0xfffffffffffffffc,
   1795   0xfffffffffffffffe, 0xfffffffffffffffe,
   1796   0xffffffffffffffff, 0xffffffffffffffff,
   1797   0xffffffffffffffff, 0xffffffffffffffff,
   1798   0xffffffffffffffff, 0xffffffffffffffff,
   1799   0xffffffffffffffff, 0xffffffffffffffff,
   1800   0xffffffffffffffff, 0xffffffffffffffff,
   1801   0xffffffffffffffff, 0xffffffffffffffff,
   1802   0xffffffffffffffff, 0xffffffffffffffff,
   1803   0xffffffffffffffff, 0xffffffffffffffff,
   1804   0xffffffffffffffff, 0xffffffffffffffff,
   1805   0xffffffffffffffff, 0xffffffffffffffff,
   1806   0xffffffffffffffff, 0xffffffffffffffff,
   1807   0xffffffffffffffff, 0xffffffffffffffff,
   1808   0xffffffffffffffff, 0xffffffffffffffff,
   1809   0xffffffffffffffff, 0xffffffffffffffff,
   1810   0xffffffffffffffff, 0xffffffffffffffff,
   1811   0xffffffffffffffff, 0xffffffffffffffff,
   1812   0xffffffffffffffff, 0xffffffffffffffff,
   1813   0xffffffffffffffff, 0xffffffffffffffff,
   1814   0xffffffffffffffff, 0xffffffffffffffff,
   1815   0xffffffffffffffff, 0xffffffffffffffff,
   1816   0xffffffffffffffff, 0xffffffffffffffff,
   1817   0xffffffffffffffff, 0xffffffffffffffff,
   1818   0xffffffffffffffff, 0xffffffffffffffff,
   1819   0xffffffffffffffff, 0xffffffffffffffff,
   1820   0xffffffffffffffff, 0xffffffffffffffff,
   1821   0xffffffffffffffff, 0xffffffffffffffff,
   1822   0xffffffffffffffff, 0xffffffffffffffff,
   1823   0xffffffffffffffff, 0xffffffffffffffff,
   1824   0xffffffffffffffff, 0xffffffffffffffff,
   1825   0xffffffffffffffff, 0xffffffffffffffff,
   1826   0xffffffffffffffff, 0xffffffffffffffff,
   1827   0xffffffffffffffff, 0xffffffffffffffff,
   1828   0xffffffffffffffff, 0xffffffffffffffff,
   1829   0xffffffffffffffff, 0xffffffffffffffff,
   1830   0xffffffffc0000001, 0xffffffffffffc000,
   1831   0xffffffffe0000000, 0xffffffffffffe000,
   1832   0xfffffffff0000000, 0xfffffffffffff000,
   1833   0xfffffffff8000000, 0xfffffffffffff800,
   1834   0xfffffffffc000000, 0xfffffffffffffc00,
   1835   0xfffffffffe000000, 0xfffffffffffffe00,
   1836   0xffffffffff000000, 0xffffffffffffff00,
   1837   0xffffffffff800000, 0xffffffffffffff80,
   1838   0xffffffffffc00000, 0xffffffffffffffc0,
   1839   0xffffffffffe00000, 0xffffffffffffffe0,
   1840   0xfffffffffff00000, 0xfffffffffffffff0,
   1841   0xfffffffffff80000, 0xfffffffffffffff8,
   1842   0xfffffffffffc0000, 0xfffffffffffffffc,
   1843   0xfffffffffffe0000, 0xfffffffffffffffe,
   1844   0xffffffffffff0000, 0xffffffffffffffff,
   1845   0xffffffffffff8000, 0xffffffffffffffff,
   1846   0xffffffffffffc000, 0xffffffffffffffff,
   1847   0xffffffffffffe000, 0xffffffffffffffff,
   1848   0xfffffffffffff000, 0xffffffffffffffff,
   1849   0xfffffffffffff800, 0xffffffffffffffff,
   1850   0xfffffffffffffc00, 0xffffffffffffffff,
   1851   0xfffffffffffffe00, 0xffffffffffffffff,
   1852   0xffffffffffffff00, 0xffffffffffffffff,
   1853   0xffffffffffffff80, 0xffffffffffffffff,
   1854   0xffffffffffffffc0, 0xffffffffffffffff,
   1855   0xffffffffffffffe0, 0xffffffffffffffff,
   1856   0xfffffffffffffff0, 0xffffffffffffffff,
   1857   0xfffffffffffffff8, 0xffffffffffffffff,
   1858   0xfffffffffffffffc, 0xffffffffffffffff,
   1859   0xfffffffffffffffe, 0xffffffffffffffff,
   1860   0xffffffffffffffff, 0xffffffffffffffff,
   1861   0xffffffffffffffff, 0xffffffffffffffff,
   1862   0xffffffffffffffff, 0xffffffffffffffff,
   1863   0xffffffffffffffff, 0xffffffffffffffff,
   1864   0xffffffffffffffff, 0xffffffffffffffff,
   1865   0xffffffffffffffff, 0xffffffffffffffff,
   1866   0xffffffffffffffff, 0xffffffffffffffff,
   1867   0xffffffffffffffff, 0xffffffffffffffff,
   1868   0xffffffffffffffff, 0xffffffffffffffff,
   1869   0xffffffffffffffff, 0xffffffffffffffff,
   1870   0xffffffffffffffff, 0xffffffffffffffff,
   1871   0xffffffffffffffff, 0xffffffffffffffff,
   1872   0xffffffffffffffff, 0xffffffffffffffff,
   1873   0xffffffffffffffff, 0xffffffffffffffff,
   1874   0xffffffffffffffff, 0xffffffffffffffff,
   1875   0xffffffffffffffff, 0xffffffffffffffff,
   1876   0xffffffffffffffff, 0xffffffffffffffff,
   1877   0xffffffffffffffff, 0xffffffffffffffff,
   1878   0xffffffffffffffff, 0xffffffffffffffff,
   1879   0xffffffffffffffff, 0xffffffffffffffff,
   1880   0xffffffffffffffff, 0xffffffffffffffff,
   1881   0xffffffffffffffff, 0xffffffffffffffff,
   1882   0xffffffffffffffff, 0xffffffffffffffff,
   1883   0xffffffffffffffff, 0xffffffffffffffff,
   1884   0xffffffffffffffff, 0xffffffffffffffff,
   1885   0xffffffffffffffff, 0xffffffffffffffff,
   1886   0xffffffffffffffff, 0xffffffffffffffff,
   1887   0xffffffffffffffff, 0xffffffffffffffff,
   1888   0xffffffffffffffff, 0xffffffffffffffff,
   1889   0xffffffffffffffff, 0xffffffffffffffff,
   1890   0xffffffffffffffff, 0xffffffffffffffff,
   1891   0xffffffffffffffff, 0xffffffffffffffff,
   1892   0xffffffffffffffff, 0xffffffffffffffff,
   1893   0xffffffffffffffff, 0xffffffffffffffff,
   1894   0xffffffffffffc000, 0xffffffffffffc000,
   1895   0xffffffffffffe000, 0xffffffffffffe000,
   1896   0xfffffffffffff000, 0xfffffffffffff000,
   1897   0xfffffffffffff800, 0xfffffffffffff800,
   1898   0xfffffffffffffc00, 0xfffffffffffffc00,
   1899   0xfffffffffffffe00, 0xfffffffffffffe00,
   1900   0xffffffffffffff00, 0xffffffffffffff00,
   1901   0xffffffffffffff80, 0xffffffffffffff80,
   1902   0xffffffffffffffc0, 0xffffffffffffffc0,
   1903   0xffffffffffffffe0, 0xffffffffffffffe0,
   1904   0xfffffffffffffff0, 0xfffffffffffffff0,
   1905   0xfffffffffffffff8, 0xfffffffffffffff8,
   1906   0xfffffffffffffffc, 0xfffffffffffffffc,
   1907   0xfffffffffffffffe, 0xfffffffffffffffe,
   1908   0xffffffffffffffff, 0xffffffffffffffff,
   1909   0xffffffffffffffff, 0xffffffffffffffff,
   1910   0xffffffffffffffff, 0xffffffffffffffff,
   1911   0xffffffffffffffff, 0xffffffffffffffff,
   1912   0xffffffffffffffff, 0xffffffffffffffff,
   1913   0xffffffffffffffff, 0xffffffffffffffff,
   1914   0xffffffffffffffff, 0xffffffffffffffff,
   1915   0xffffffffffffffff, 0xffffffffffffffff,
   1916   0xffffffffffffffff, 0xffffffffffffffff,
   1917   0xffffffffffffffff, 0xffffffffffffffff,
   1918   0xffffffffffffffff, 0xffffffffffffffff,
   1919   0xffffffffffffffff, 0xffffffffffffffff,
   1920   0xffffffffffffffff, 0xffffffffffffffff,
   1921   0xffffffffffffffff, 0xffffffffffffffff,
   1922   0xffffffffffffffff, 0xffffffffffffffff,
   1923   0xffffffffffffffff, 0xffffffffffffffff,
   1924   0xffffffffffffffff, 0xffffffffffffffff,
   1925   0xffffffffffffffff, 0xffffffffffffffff,
   1926   0xffffffffffffffff, 0xffffffffffffffff,
   1927   0xffffffffffffffff, 0xffffffffffffffff,
   1928   0xffffffffffffffff, 0xffffffffffffffff,
   1929   0xffffffffffffffff, 0xffffffffffffffff,
   1930   0xffffffffffffffff, 0xffffffffffffffff,
   1931   0xffffffffffffffff, 0xffffffffffffffff,
   1932   0xffffffffffffffff, 0xffffffffffffffff,
   1933   0xffffffffffffffff, 0xffffffffffffffff,
   1934   0xffffffffffffffff, 0xffffffffffffffff,
   1935   0xffffffffffffffff, 0xffffffffffffffff,
   1936   0xffffffffffffffff, 0xffffffffffffffff,
   1937   0xffffffffffffffff, 0xffffffffffffffff,
   1938   0xffffffffffffffff, 0xffffffffffffffff,
   1939   0xffffffffffffffff, 0xffffffffffffffff,
   1940   0xffffffffffffffff, 0xffffffffffffffff,
   1941   0xffffffffffffffff, 0xffffffffffffffff,
   1942   0xffffffffffffffff, 0xffffffffffffffff,
   1943   0xffffffffffffffff, 0xffffffffffffffff,
   1944   0xffffffffffffffff, 0xffffffffffffffff,
   1945   0xffffffffffffffff, 0xffffffffffffffff,
   1946   0xffffffffffffffff, 0xffffffffffffffff,
   1947   0xffffffffffffffff, 0xffffffffffffffff,
   1948   0xffffffffffffffff, 0xffffffffffffffff,
   1949   0xffffffffffffffff, 0xffffffffffffffff,
   1950   0xffffffffffffffff, 0xffffffffffffffff,
   1951   0xffffffffffffffff, 0xffffffffffffffff,
   1952   0xffffffffffffffff, 0xffffffffffffffff,
   1953   0xffffffffffffffff, 0xffffffffffffffff,
   1954   0xffffffffffffffff, 0xffffffffffffffff,
   1955   0xffffffffffffffff, 0xffffffffffffffff,
   1956   0xffffffffffffffff, 0xffffffffffffffff,
   1957   0xffffffffffffffff, 0xffffffffffffffff,
   1958   0xffffffffffffc000, 0xffffffffffffc001,
   1959   0xffffffffffffe000, 0xffffffffffffe000,
   1960   0xfffffffffffff000, 0xfffffffffffff000,
   1961   0xfffffffffffff800, 0xfffffffffffff800,
   1962   0xfffffffffffffc00, 0xfffffffffffffc00,
   1963   0xfffffffffffffe00, 0xfffffffffffffe00,
   1964   0xffffffffffffff00, 0xffffffffffffff00,
   1965   0xffffffffffffff80, 0xffffffffffffff80,
   1966   0xffffffffffffffc0, 0xffffffffffffffc0,
   1967   0xffffffffffffffe0, 0xffffffffffffffe0,
   1968   0xfffffffffffffff0, 0xfffffffffffffff0,
   1969   0xfffffffffffffff8, 0xfffffffffffffff8,
   1970   0xfffffffffffffffc, 0xfffffffffffffffc,
   1971   0xfffffffffffffffe, 0xfffffffffffffffe,
   1972   0xffffffffffffffff, 0xffffffffffffffff,
   1973   0xffffffffffffffff, 0xffffffffffffffff,
   1974   0xffffffffffffffff, 0xffffffffffffffff,
   1975   0xffffffffffffffff, 0xffffffffffffffff,
   1976   0xffffffffffffffff, 0xffffffffffffffff,
   1977   0xffffffffffffffff, 0xffffffffffffffff,
   1978   0xffffffffffffffff, 0xffffffffffffffff,
   1979   0xffffffffffffffff, 0xffffffffffffffff,
   1980   0xffffffffffffffff, 0xffffffffffffffff,
   1981   0xffffffffffffffff, 0xffffffffffffffff,
   1982   0xffffffffffffffff, 0xffffffffffffffff,
   1983   0xffffffffffffffff, 0xffffffffffffffff,
   1984   0xffffffffffffffff, 0xffffffffffffffff,
   1985   0xffffffffffffffff, 0xffffffffffffffff,
   1986   0xffffffffffffffff, 0xffffffffffffffff,
   1987   0xffffffffffffffff, 0xffffffffffffffff,
   1988   0xffffffffffffffff, 0xffffffffffffffff,
   1989   0xffffffffffffffff, 0xffffffffffffffff,
   1990   0xffffffffffffffff, 0xffffffffffffffff,
   1991   0xffffffffffffffff, 0xffffffffffffffff,
   1992   0xffffffffffffffff, 0xffffffffffffffff,
   1993   0xffffffffffffffff, 0xffffffffffffffff,
   1994   0xffffffffffffffff, 0xffffffffffffffff,
   1995   0xffffffffffffffff, 0xffffffffffffffff,
   1996   0xffffffffffffffff, 0xffffffffffffffff,
   1997   0xffffffffffffffff, 0xffffffffffffffff,
   1998   0xffffffffffffffff, 0xffffffffffffffff,
   1999   0xffffffffffffffff, 0xffffffffffffffff,
   2000   0xffffffffffffffff, 0xffffffffffffffff,
   2001   0xffffffffffffffff, 0xffffffffffffffff,
   2002   0xffffffffffffffff, 0xffffffffffffffff,
   2003   0xffffffffffffffff, 0xffffffffffffffff,
   2004   0xffffffffffffffff, 0xffffffffffffffff,
   2005   0xffffffffffffffff, 0xffffffffffffffff,
   2006   0xffffffffffffffff, 0xffffffffffffffff,
   2007   0xffffffffffffffff, 0xffffffffffffffff,
   2008   0xffffffffffffffff, 0xffffffffffffffff,
   2009   0xffffffffffffffff, 0xffffffffffffffff,
   2010   0xffffffffffffffff, 0xffffffffffffffff,
   2011   0xffffffffffffffff, 0xffffffffffffffff,
   2012   0xffffffffffffffff, 0xffffffffffffffff,
   2013   0xffffffffffffffff, 0xffffffffffffffff,
   2014   0xffffffffffffffff, 0xffffffffffffffff,
   2015   0xffffffffffffffff, 0xffffffffffffffff,
   2016   0xffffffffffffffff, 0xffffffffffffffff,
   2017   0xffffffffffffffff, 0xffffffffffffffff,
   2018   0xffffffffffffffff, 0xffffffffffffffff,
   2019   0xffffffffffffffff, 0xffffffffffffffff,
   2020   0xffffffffffffffff, 0xffffffffffffffff,
   2021   0xffffffffffffffff, 0xffffffffffffffff,
   2022   0xffffffffffffc001, 0xffffffffffffc001,
   2023   0xffffffffffffe000, 0xffffffffffffe000,
   2024   0xfffffffffffff000, 0xfffffffffffff000,
   2025   0xfffffffffffff800, 0xfffffffffffff800,
   2026   0xfffffffffffffc00, 0xfffffffffffffc00,
   2027   0xfffffffffffffe00, 0xfffffffffffffe00,
   2028   0xffffffffffffff00, 0xffffffffffffff00,
   2029   0xffffffffffffff80, 0xffffffffffffff80,
   2030   0xffffffffffffffc0, 0xffffffffffffffc0,
   2031   0xffffffffffffffe0, 0xffffffffffffffe0,
   2032   0xfffffffffffffff0, 0xfffffffffffffff0,
   2033   0xfffffffffffffff8, 0xfffffffffffffff8,
   2034   0xfffffffffffffffc, 0xfffffffffffffffc,
   2035   0xfffffffffffffffe, 0xfffffffffffffffe,
   2036   0xffffffffffffffff, 0xffffffffffffffff,
   2037   0xffffffffffffffff, 0xffffffffffffffff,
   2038   0xffffffffffffffff, 0xffffffffffffffff,
   2039   0xffffffffffffffff, 0xffffffffffffffff,
   2040   0xffffffffffffffff, 0xffffffffffffffff,
   2041   0xffffffffffffffff, 0xffffffffffffffff,
   2042   0xffffffffffffffff, 0xffffffffffffffff,
   2043   0xffffffffffffffff, 0xffffffffffffffff,
   2044   0xffffffffffffffff, 0xffffffffffffffff,
   2045   0xffffffffffffffff, 0xffffffffffffffff,
   2046   0xffffffffffffffff, 0xffffffffffffffff,
   2047   0xffffffffffffffff, 0xffffffffffffffff,
   2048   0xffffffffffffffff, 0xffffffffffffffff,
   2049   0xffffffffffffffff, 0xffffffffffffffff,
   2050   0xffffffffffffffff, 0xffffffffffffffff,
   2051   0xffffffffffffffff, 0xffffffffffffffff,
   2052   0xffffffffffffffff, 0xffffffffffffffff,
   2053   0xffffffffffffffff, 0xffffffffffffffff,
   2054   0xffffffffffffffff, 0xffffffffffffffff,
   2055   0xffffffffffffffff, 0xffffffffffffffff,
   2056   0xffffffffffffffff, 0xffffffffffffffff,
   2057   0xffffffffffffffff, 0xffffffffffffffff,
   2058   0xffffffffffffffff, 0xffffffffffffffff,
   2059   0xffffffffffffffff, 0xffffffffffffffff,
   2060   0xffffffffffffffff, 0xffffffffffffffff,
   2061   0xffffffffffffffff, 0xffffffffffffffff,
   2062   0xffffffffffffffff, 0xffffffffffffffff,
   2063   0xffffffffffffffff, 0xffffffffffffffff,
   2064   0xffffffffffffffff, 0xffffffffffffffff,
   2065   0xffffffffffffffff, 0xffffffffffffffff,
   2066   0xffffffffffffffff, 0xffffffffffffffff,
   2067   0xffffffffffffffff, 0xffffffffffffffff,
   2068   0xffffffffffffffff, 0xffffffffffffffff,
   2069   0xffffffffffffffff, 0xffffffffffffffff,
   2070   0xffffffffffffffff, 0xffffffffffffffff,
   2071   0xffffffffffffffff, 0xffffffffffffffff,
   2072   0xffffffffffffffff, 0xffffffffffffffff,
   2073   0xffffffffffffffff, 0xffffffffffffffff,
   2074   0xffffffffffffffff, 0xffffffffffffffff,
   2075   0xffffffffffffffff, 0xffffffffffffffff,
   2076   0xffffffffffffffff, 0xffffffffffffffff,
   2077   0xffffffffffffffff, 0xffffffffffffffff,
   2078   0xffffffffffffffff, 0xffffffffffffffff,
   2079   0xffffffffffffffff, 0xffffffffffffffff,
   2080   0xffffffffffffffff, 0xffffffffffffffff,
   2081   0xffffffffffffffff, 0xffffffffffffffff,
   2082   0xffffffffffffffff, 0xffffffffffffffff,
   2083   0xffffffffffffffff, 0xffffffffffffffff,
   2084   0xffffffffffffffff, 0xffffffffffffffff,
   2085   0xffffffffffffffff, 0xffffffffffffffff,
   2086   0xffffffffffffc001, 0xffffffffffffffc0,
   2087   0xffffffffffffe000, 0xffffffffffffffe0,
   2088   0xfffffffffffff000, 0xfffffffffffffff0,
   2089   0xfffffffffffff800, 0xfffffffffffffff8,
   2090   0xfffffffffffffc00, 0xfffffffffffffffc,
   2091   0xfffffffffffffe00, 0xfffffffffffffffe,
   2092   0xffffffffffffff00, 0xffffffffffffffff,
   2093   0xffffffffffffff80, 0xffffffffffffffff,
   2094   0xffffffffffffffc0, 0xffffffffffffffff,
   2095   0xffffffffffffffe0, 0xffffffffffffffff,
   2096   0xfffffffffffffff0, 0xffffffffffffffff,
   2097   0xfffffffffffffff8, 0xffffffffffffffff,
   2098   0xfffffffffffffffc, 0xffffffffffffffff,
   2099   0xfffffffffffffffe, 0xffffffffffffffff,
   2100   0xffffffffffffffff, 0xffffffffffffffff,
   2101   0xffffffffffffffff, 0xffffffffffffffff,
   2102   0xffffffffffffffff, 0xffffffffffffffff,
   2103   0xffffffffffffffff, 0xffffffffffffffff,
   2104   0xffffffffffffffff, 0xffffffffffffffff,
   2105   0xffffffffffffffff, 0xffffffffffffffff,
   2106   0xffffffffffffffff, 0xffffffffffffffff,
   2107   0xffffffffffffffff, 0xffffffffffffffff,
   2108   0xffffffffffffffff, 0xffffffffffffffff,
   2109   0xffffffffffffffff, 0xffffffffffffffff,
   2110   0xffffffffffffffff, 0xffffffffffffffff,
   2111   0xffffffffffffffff, 0xffffffffffffffff,
   2112   0xffffffffffffffff, 0xffffffffffffffff,
   2113   0xffffffffffffffff, 0xffffffffffffffff,
   2114   0xffffffffffffffff, 0xffffffffffffffff,
   2115   0xffffffffffffffff, 0xffffffffffffffff,
   2116   0xffffffffffffffff, 0xffffffffffffffff,
   2117   0xffffffffffffffff, 0xffffffffffffffff,
   2118   0xffffffffffffffff, 0xffffffffffffffff,
   2119   0xffffffffffffffff, 0xffffffffffffffff,
   2120   0xffffffffffffffff, 0xffffffffffffffff,
   2121   0xffffffffffffffff, 0xffffffffffffffff,
   2122   0xffffffffffffffff, 0xffffffffffffffff,
   2123   0xffffffffffffffff, 0xffffffffffffffff,
   2124   0xffffffffffffffff, 0xffffffffffffffff,
   2125   0xffffffffffffffff, 0xffffffffffffffff,
   2126   0xffffffffffffffff, 0xffffffffffffffff,
   2127   0xffffffffffffffff, 0xffffffffffffffff,
   2128   0xffffffffffffffff, 0xffffffffffffffff,
   2129   0xffffffffffffffff, 0xffffffffffffffff,
   2130   0xffffffffffffffff, 0xffffffffffffffff,
   2131   0xffffffffffffffff, 0xffffffffffffffff,
   2132   0xffffffffffffffff, 0xffffffffffffffff,
   2133   0xffffffffffffffff, 0xffffffffffffffff,
   2134   0xffffffffffffffff, 0xffffffffffffffff,
   2135   0xffffffffffffffff, 0xffffffffffffffff,
   2136   0xffffffffffffffff, 0xffffffffffffffff,
   2137   0xffffffffffffffff, 0xffffffffffffffff,
   2138   0xffffffffffffffff, 0xffffffffffffffff,
   2139   0xffffffffffffffff, 0xffffffffffffffff,
   2140   0xffffffffffffffff, 0xffffffffffffffff,
   2141   0xffffffffffffffff, 0xffffffffffffffff,
   2142   0xffffffffffffffff, 0xffffffffffffffff,
   2143   0xffffffffffffffff, 0xffffffffffffffff,
   2144   0xffffffffffffffff, 0xffffffffffffffff,
   2145   0xffffffffffffffff, 0xffffffffffffffff,
   2146   0xffffffffffffffff, 0xffffffffffffffff,
   2147   0xffffffffffffffff, 0xffffffffffffffff,
   2148   0xffffffffffffffff, 0xffffffffffffffff,
   2149   0xffffffffffffffff, 0xffffffffffffffff,
   2150   0xffffffffffffffc0, 0xffffffffffffffc0,
   2151   0xffffffffffffffe0, 0xffffffffffffffe0,
   2152   0xfffffffffffffff0, 0xfffffffffffffff0,
   2153   0xfffffffffffffff8, 0xfffffffffffffff8,
   2154   0xfffffffffffffffc, 0xfffffffffffffffc,
   2155   0xfffffffffffffffe, 0xfffffffffffffffe,
   2156   0xffffffffffffffff, 0xffffffffffffffff,
   2157   0xffffffffffffffff, 0xffffffffffffffff,
   2158   0xffffffffffffffff, 0xffffffffffffffff,
   2159   0xffffffffffffffff, 0xffffffffffffffff,
   2160   0xffffffffffffffff, 0xffffffffffffffff,
   2161   0xffffffffffffffff, 0xffffffffffffffff,
   2162   0xffffffffffffffff, 0xffffffffffffffff,
   2163   0xffffffffffffffff, 0xffffffffffffffff,
   2164   0xffffffffffffffff, 0xffffffffffffffff,
   2165   0xffffffffffffffff, 0xffffffffffffffff,
   2166   0xffffffffffffffff, 0xffffffffffffffff,
   2167   0xffffffffffffffff, 0xffffffffffffffff,
   2168   0xffffffffffffffff, 0xffffffffffffffff,
   2169   0xffffffffffffffff, 0xffffffffffffffff,
   2170   0xffffffffffffffff, 0xffffffffffffffff,
   2171   0xffffffffffffffff, 0xffffffffffffffff,
   2172   0xffffffffffffffff, 0xffffffffffffffff,
   2173   0xffffffffffffffff, 0xffffffffffffffff,
   2174   0xffffffffffffffff, 0xffffffffffffffff,
   2175   0xffffffffffffffff, 0xffffffffffffffff,
   2176   0xffffffffffffffff, 0xffffffffffffffff,
   2177   0xffffffffffffffff, 0xffffffffffffffff,
   2178   0xffffffffffffffff, 0xffffffffffffffff,
   2179   0xffffffffffffffff, 0xffffffffffffffff,
   2180   0xffffffffffffffff, 0xffffffffffffffff,
   2181   0xffffffffffffffff, 0xffffffffffffffff,
   2182   0xffffffffffffffff, 0xffffffffffffffff,
   2183   0xffffffffffffffff, 0xffffffffffffffff,
   2184   0xffffffffffffffff, 0xffffffffffffffff,
   2185   0xffffffffffffffff, 0xffffffffffffffff,
   2186   0xffffffffffffffff, 0xffffffffffffffff,
   2187   0xffffffffffffffff, 0xffffffffffffffff,
   2188   0xffffffffffffffff, 0xffffffffffffffff,
   2189   0xffffffffffffffff, 0xffffffffffffffff,
   2190   0xffffffffffffffff, 0xffffffffffffffff,
   2191   0xffffffffffffffff, 0xffffffffffffffff,
   2192   0xffffffffffffffff, 0xffffffffffffffff,
   2193   0xffffffffffffffff, 0xffffffffffffffff,
   2194   0xffffffffffffffff, 0xffffffffffffffff,
   2195   0xffffffffffffffff, 0xffffffffffffffff,
   2196   0xffffffffffffffff, 0xffffffffffffffff,
   2197   0xffffffffffffffff, 0xffffffffffffffff,
   2198   0xffffffffffffffff, 0xffffffffffffffff,
   2199   0xffffffffffffffff, 0xffffffffffffffff,
   2200   0xffffffffffffffff, 0xffffffffffffffff,
   2201   0xffffffffffffffff, 0xffffffffffffffff,
   2202   0xffffffffffffffff, 0xffffffffffffffff,
   2203   0xffffffffffffffff, 0xffffffffffffffff,
   2204   0xffffffffffffffff, 0xffffffffffffffff,
   2205   0xffffffffffffffff, 0xffffffffffffffff,
   2206   0xffffffffffffffff, 0xffffffffffffffff,
   2207   0xffffffffffffffff, 0xffffffffffffffff,
   2208   0xffffffffffffffff, 0xffffffffffffffff,
   2209   0xffffffffffffffff, 0xffffffffffffffff,
   2210   0xffffffffffffffff, 0xffffffffffffffff,
   2211   0xffffffffffffffff, 0xffffffffffffffff,
   2212   0xffffffffffffffff, 0xffffffffffffffff,
   2213   0xffffffffffffffff, 0xffffffffffffffff,
   2214   0xffffffffffffffc0, 0xffffffffffffffc1,
   2215   0xffffffffffffffe0, 0xffffffffffffffe0,
   2216   0xfffffffffffffff0, 0xfffffffffffffff0,
   2217   0xfffffffffffffff8, 0xfffffffffffffff8,
   2218   0xfffffffffffffffc, 0xfffffffffffffffc,
   2219   0xfffffffffffffffe, 0xfffffffffffffffe,
   2220   0xffffffffffffffff, 0xffffffffffffffff,
   2221   0xffffffffffffffff, 0xffffffffffffffff,
   2222   0xffffffffffffffff, 0xffffffffffffffff,
   2223   0xffffffffffffffff, 0xffffffffffffffff,
   2224   0xffffffffffffffff, 0xffffffffffffffff,
   2225   0xffffffffffffffff, 0xffffffffffffffff,
   2226   0xffffffffffffffff, 0xffffffffffffffff,
   2227   0xffffffffffffffff, 0xffffffffffffffff,
   2228   0xffffffffffffffff, 0xffffffffffffffff,
   2229   0xffffffffffffffff, 0xffffffffffffffff,
   2230   0xffffffffffffffff, 0xffffffffffffffff,
   2231   0xffffffffffffffff, 0xffffffffffffffff,
   2232   0xffffffffffffffff, 0xffffffffffffffff,
   2233   0xffffffffffffffff, 0xffffffffffffffff,
   2234   0xffffffffffffffff, 0xffffffffffffffff,
   2235   0xffffffffffffffff, 0xffffffffffffffff,
   2236   0xffffffffffffffff, 0xffffffffffffffff,
   2237   0xffffffffffffffff, 0xffffffffffffffff,
   2238   0xffffffffffffffff, 0xffffffffffffffff,
   2239   0xffffffffffffffff, 0xffffffffffffffff,
   2240   0xffffffffffffffff, 0xffffffffffffffff,
   2241   0xffffffffffffffff, 0xffffffffffffffff,
   2242   0xffffffffffffffff, 0xffffffffffffffff,
   2243   0xffffffffffffffff, 0xffffffffffffffff,
   2244   0xffffffffffffffff, 0xffffffffffffffff,
   2245   0xffffffffffffffff, 0xffffffffffffffff,
   2246   0xffffffffffffffff, 0xffffffffffffffff,
   2247   0xffffffffffffffff, 0xffffffffffffffff,
   2248   0xffffffffffffffff, 0xffffffffffffffff,
   2249   0xffffffffffffffff, 0xffffffffffffffff,
   2250   0xffffffffffffffff, 0xffffffffffffffff,
   2251   0xffffffffffffffff, 0xffffffffffffffff,
   2252   0xffffffffffffffff, 0xffffffffffffffff,
   2253   0xffffffffffffffff, 0xffffffffffffffff,
   2254   0xffffffffffffffff, 0xffffffffffffffff,
   2255   0xffffffffffffffff, 0xffffffffffffffff,
   2256   0xffffffffffffffff, 0xffffffffffffffff,
   2257   0xffffffffffffffff, 0xffffffffffffffff,
   2258   0xffffffffffffffff, 0xffffffffffffffff,
   2259   0xffffffffffffffff, 0xffffffffffffffff,
   2260   0xffffffffffffffff, 0xffffffffffffffff,
   2261   0xffffffffffffffff, 0xffffffffffffffff,
   2262   0xffffffffffffffff, 0xffffffffffffffff,
   2263   0xffffffffffffffff, 0xffffffffffffffff,
   2264   0xffffffffffffffff, 0xffffffffffffffff,
   2265   0xffffffffffffffff, 0xffffffffffffffff,
   2266   0xffffffffffffffff, 0xffffffffffffffff,
   2267   0xffffffffffffffff, 0xffffffffffffffff,
   2268   0xffffffffffffffff, 0xffffffffffffffff,
   2269   0xffffffffffffffff, 0xffffffffffffffff,
   2270   0xffffffffffffffff, 0xffffffffffffffff,
   2271   0xffffffffffffffff, 0xffffffffffffffff,
   2272   0xffffffffffffffff, 0xffffffffffffffff,
   2273   0xffffffffffffffff, 0xffffffffffffffff,
   2274   0xffffffffffffffff, 0xffffffffffffffff,
   2275   0xffffffffffffffff, 0xffffffffffffffff,
   2276   0xffffffffffffffff, 0xffffffffffffffff,
   2277   0xffffffffffffffff, 0xffffffffffffffff,
   2278   0xffffffffffffffc1, 0xffffffffffffffc1,
   2279   0xffffffffffffffe0, 0xffffffffffffffe0,
   2280   0xfffffffffffffff0, 0xfffffffffffffff0,
   2281   0xfffffffffffffff8, 0xfffffffffffffff8,
   2282   0xfffffffffffffffc, 0xfffffffffffffffc,
   2283   0xfffffffffffffffe, 0xfffffffffffffffe,
   2284   0xffffffffffffffff, 0xffffffffffffffff,
   2285   0xffffffffffffffff, 0xffffffffffffffff,
   2286   0xffffffffffffffff, 0xffffffffffffffff,
   2287   0xffffffffffffffff, 0xffffffffffffffff,
   2288   0xffffffffffffffff, 0xffffffffffffffff,
   2289   0xffffffffffffffff, 0xffffffffffffffff,
   2290   0xffffffffffffffff, 0xffffffffffffffff,
   2291   0xffffffffffffffff, 0xffffffffffffffff,
   2292   0xffffffffffffffff, 0xffffffffffffffff,
   2293   0xffffffffffffffff, 0xffffffffffffffff,
   2294   0xffffffffffffffff, 0xffffffffffffffff,
   2295   0xffffffffffffffff, 0xffffffffffffffff,
   2296   0xffffffffffffffff, 0xffffffffffffffff,
   2297   0xffffffffffffffff, 0xffffffffffffffff,
   2298   0xffffffffffffffff, 0xffffffffffffffff,
   2299   0xffffffffffffffff, 0xffffffffffffffff,
   2300   0xffffffffffffffff, 0xffffffffffffffff,
   2301   0xffffffffffffffff, 0xffffffffffffffff,
   2302   0xffffffffffffffff, 0xffffffffffffffff,
   2303   0xffffffffffffffff, 0xffffffffffffffff,
   2304   0xffffffffffffffff, 0xffffffffffffffff,
   2305   0xffffffffffffffff, 0xffffffffffffffff,
   2306   0xffffffffffffffff, 0xffffffffffffffff,
   2307   0xffffffffffffffff, 0xffffffffffffffff,
   2308   0xffffffffffffffff, 0xffffffffffffffff,
   2309   0xffffffffffffffff, 0xffffffffffffffff,
   2310   0xffffffffffffffff, 0xffffffffffffffff,
   2311   0xffffffffffffffff, 0xffffffffffffffff,
   2312   0xffffffffffffffff, 0xffffffffffffffff,
   2313   0xffffffffffffffff, 0xffffffffffffffff,
   2314   0xffffffffffffffff, 0xffffffffffffffff,
   2315   0xffffffffffffffff, 0xffffffffffffffff,
   2316   0xffffffffffffffff, 0xffffffffffffffff,
   2317   0xffffffffffffffff, 0xffffffffffffffff,
   2318   0xffffffffffffffff, 0xffffffffffffffff,
   2319   0xffffffffffffffff, 0xffffffffffffffff,
   2320   0xffffffffffffffff, 0xffffffffffffffff,
   2321   0xffffffffffffffff, 0xffffffffffffffff,
   2322   0xffffffffffffffff, 0xffffffffffffffff,
   2323   0xffffffffffffffff, 0xffffffffffffffff,
   2324   0xffffffffffffffff, 0xffffffffffffffff,
   2325   0xffffffffffffffff, 0xffffffffffffffff,
   2326   0xffffffffffffffff, 0xffffffffffffffff,
   2327   0xffffffffffffffff, 0xffffffffffffffff,
   2328   0xffffffffffffffff, 0xffffffffffffffff,
   2329   0xffffffffffffffff, 0xffffffffffffffff,
   2330   0xffffffffffffffff, 0xffffffffffffffff,
   2331   0xffffffffffffffff, 0xffffffffffffffff,
   2332   0xffffffffffffffff, 0xffffffffffffffff,
   2333   0xffffffffffffffff, 0xffffffffffffffff,
   2334   0xffffffffffffffff, 0xffffffffffffffff,
   2335   0xffffffffffffffff, 0xffffffffffffffff,
   2336   0xffffffffffffffff, 0xffffffffffffffff,
   2337   0xffffffffffffffff, 0xffffffffffffffff,
   2338   0xffffffffffffffff, 0xffffffffffffffff,
   2339   0xffffffffffffffff, 0xffffffffffffffff,
   2340   0xffffffffffffffff, 0xffffffffffffffff,
   2341   0xffffffffffffffff, 0xffffffffffffffff,
   2342   0xffffffffffffffc1, 0xffffffffffffffe0,
   2343   0xffffffffffffffe0, 0xfffffffffffffff0,
   2344   0xfffffffffffffff0, 0xfffffffffffffff8,
   2345   0xfffffffffffffff8, 0xfffffffffffffffc,
   2346   0xfffffffffffffffc, 0xfffffffffffffffe,
   2347   0xfffffffffffffffe, 0xffffffffffffffff,
   2348   0xffffffffffffffff, 0xffffffffffffffff,
   2349   0xffffffffffffffff, 0xffffffffffffffff,
   2350   0xffffffffffffffff, 0xffffffffffffffff,
   2351   0xffffffffffffffff, 0xffffffffffffffff,
   2352   0xffffffffffffffff, 0xffffffffffffffff,
   2353   0xffffffffffffffff, 0xffffffffffffffff,
   2354   0xffffffffffffffff, 0xffffffffffffffff,
   2355   0xffffffffffffffff, 0xffffffffffffffff,
   2356   0xffffffffffffffff, 0xffffffffffffffff,
   2357   0xffffffffffffffff, 0xffffffffffffffff,
   2358   0xffffffffffffffff, 0xffffffffffffffff,
   2359   0xffffffffffffffff, 0xffffffffffffffff,
   2360   0xffffffffffffffff, 0xffffffffffffffff,
   2361   0xffffffffffffffff, 0xffffffffffffffff,
   2362   0xffffffffffffffff, 0xffffffffffffffff,
   2363   0xffffffffffffffff, 0xffffffffffffffff,
   2364   0xffffffffffffffff, 0xffffffffffffffff,
   2365   0xffffffffffffffff, 0xffffffffffffffff,
   2366   0xffffffffffffffff, 0xffffffffffffffff,
   2367   0xffffffffffffffff, 0xffffffffffffffff,
   2368   0xffffffffffffffff, 0xffffffffffffffff,
   2369   0xffffffffffffffff, 0xffffffffffffffff,
   2370   0xffffffffffffffff, 0xffffffffffffffff,
   2371   0xffffffffffffffff, 0xffffffffffffffff,
   2372   0xffffffffffffffff, 0xffffffffffffffff,
   2373   0xffffffffffffffff, 0xffffffffffffffff,
   2374   0xffffffffffffffff, 0xffffffffffffffff,
   2375   0xffffffffffffffff, 0xffffffffffffffff,
   2376   0xffffffffffffffff, 0xffffffffffffffff,
   2377   0xffffffffffffffff, 0xffffffffffffffff,
   2378   0xffffffffffffffff, 0xffffffffffffffff,
   2379   0xffffffffffffffff, 0xffffffffffffffff,
   2380   0xffffffffffffffff, 0xffffffffffffffff,
   2381   0xffffffffffffffff, 0xffffffffffffffff,
   2382   0xffffffffffffffff, 0xffffffffffffffff,
   2383   0xffffffffffffffff, 0xffffffffffffffff,
   2384   0xffffffffffffffff, 0xffffffffffffffff,
   2385   0xffffffffffffffff, 0xffffffffffffffff,
   2386   0xffffffffffffffff, 0xffffffffffffffff,
   2387   0xffffffffffffffff, 0xffffffffffffffff,
   2388   0xffffffffffffffff, 0xffffffffffffffff,
   2389   0xffffffffffffffff, 0xffffffffffffffff,
   2390   0xffffffffffffffff, 0xffffffffffffffff,
   2391   0xffffffffffffffff, 0xffffffffffffffff,
   2392   0xffffffffffffffff, 0xffffffffffffffff,
   2393   0xffffffffffffffff, 0xffffffffffffffff,
   2394   0xffffffffffffffff, 0xffffffffffffffff,
   2395   0xffffffffffffffff, 0xffffffffffffffff,
   2396   0xffffffffffffffff, 0xffffffffffffffff,
   2397   0xffffffffffffffff, 0xffffffffffffffff,
   2398   0xffffffffffffffff, 0xffffffffffffffff,
   2399   0xffffffffffffffff, 0xffffffffffffffff,
   2400   0xffffffffffffffff, 0xffffffffffffffff,
   2401   0xffffffffffffffff, 0xffffffffffffffff,
   2402   0xffffffffffffffff, 0xffffffffffffffff,
   2403   0xffffffffffffffff, 0xffffffffffffffff,
   2404   0xffffffffffffffff, 0xffffffffffffffff,
   2405   0xffffffffffffffff, 0xffffffffffffffff,
   2406   0xffffffffffffffe0, 0xfffffffffffffffe,
   2407   0xfffffffffffffff0, 0xffffffffffffffff,
   2408   0xfffffffffffffff8, 0xffffffffffffffff,
   2409   0xfffffffffffffffc, 0xffffffffffffffff,
   2410   0xfffffffffffffffe, 0xffffffffffffffff,
   2411   0xffffffffffffffff, 0xffffffffffffffff,
   2412   0xffffffffffffffff, 0xffffffffffffffff,
   2413   0xffffffffffffffff, 0xffffffffffffffff,
   2414   0xffffffffffffffff, 0xffffffffffffffff,
   2415   0xffffffffffffffff, 0xffffffffffffffff,
   2416   0xffffffffffffffff, 0xffffffffffffffff,
   2417   0xffffffffffffffff, 0xffffffffffffffff,
   2418   0xffffffffffffffff, 0xffffffffffffffff,
   2419   0xffffffffffffffff, 0xffffffffffffffff,
   2420   0xffffffffffffffff, 0xffffffffffffffff,
   2421   0xffffffffffffffff, 0xffffffffffffffff,
   2422   0xffffffffffffffff, 0xffffffffffffffff,
   2423   0xffffffffffffffff, 0xffffffffffffffff,
   2424   0xffffffffffffffff, 0xffffffffffffffff,
   2425   0xffffffffffffffff, 0xffffffffffffffff,
   2426   0xffffffffffffffff, 0xffffffffffffffff,
   2427   0xffffffffffffffff, 0xffffffffffffffff,
   2428   0xffffffffffffffff, 0xffffffffffffffff,
   2429   0xffffffffffffffff, 0xffffffffffffffff,
   2430   0xffffffffffffffff, 0xffffffffffffffff,
   2431   0xffffffffffffffff, 0xffffffffffffffff,
   2432   0xffffffffffffffff, 0xffffffffffffffff,
   2433   0xffffffffffffffff, 0xffffffffffffffff,
   2434   0xffffffffffffffff, 0xffffffffffffffff,
   2435   0xffffffffffffffff, 0xffffffffffffffff,
   2436   0xffffffffffffffff, 0xffffffffffffffff,
   2437   0xffffffffffffffff, 0xffffffffffffffff,
   2438   0xffffffffffffffff, 0xffffffffffffffff,
   2439   0xffffffffffffffff, 0xffffffffffffffff,
   2440   0xffffffffffffffff, 0xffffffffffffffff,
   2441   0xffffffffffffffff, 0xffffffffffffffff,
   2442   0xffffffffffffffff, 0xffffffffffffffff,
   2443   0xffffffffffffffff, 0xffffffffffffffff,
   2444   0xffffffffffffffff, 0xffffffffffffffff,
   2445   0xffffffffffffffff, 0xffffffffffffffff,
   2446   0xffffffffffffffff, 0xffffffffffffffff,
   2447   0xffffffffffffffff, 0xffffffffffffffff,
   2448   0xffffffffffffffff, 0xffffffffffffffff,
   2449   0xffffffffffffffff, 0xffffffffffffffff,
   2450   0xffffffffffffffff, 0xffffffffffffffff,
   2451   0xffffffffffffffff, 0xffffffffffffffff,
   2452   0xffffffffffffffff, 0xffffffffffffffff,
   2453   0xffffffffffffffff, 0xffffffffffffffff,
   2454   0xffffffffffffffff, 0xffffffffffffffff,
   2455   0xffffffffffffffff, 0xffffffffffffffff,
   2456   0xffffffffffffffff, 0xffffffffffffffff,
   2457   0xffffffffffffffff, 0xffffffffffffffff,
   2458   0xffffffffffffffff, 0xffffffffffffffff,
   2459   0xffffffffffffffff, 0xffffffffffffffff,
   2460   0xffffffffffffffff, 0xffffffffffffffff,
   2461   0xffffffffffffffff, 0xffffffffffffffff,
   2462   0xffffffffffffffff, 0xffffffffffffffff,
   2463   0xffffffffffffffff, 0xffffffffffffffff,
   2464   0xffffffffffffffff, 0xffffffffffffffff,
   2465   0xffffffffffffffff, 0xffffffffffffffff,
   2466   0xffffffffffffffff, 0xffffffffffffffff,
   2467   0xffffffffffffffff, 0xffffffffffffffff,
   2468   0xffffffffffffffff, 0xffffffffffffffff,
   2469   0xffffffffffffffff, 0xffffffffffffffff,
   2470   0xfffffffffffffffe, 0xffffffffffffffff,
   2471   0xffffffffffffffff, 0xffffffffffffffff,
   2472   0xffffffffffffffff, 0xffffffffffffffff,
   2473   0xffffffffffffffff, 0xffffffffffffffff,
   2474   0xffffffffffffffff, 0xffffffffffffffff,
   2475   0xffffffffffffffff, 0xffffffffffffffff,
   2476   0xffffffffffffffff, 0xffffffffffffffff,
   2477   0xffffffffffffffff, 0xffffffffffffffff,
   2478   0xffffffffffffffff, 0xffffffffffffffff,
   2479   0xffffffffffffffff, 0xffffffffffffffff,
   2480   0xffffffffffffffff, 0xffffffffffffffff,
   2481   0xffffffffffffffff, 0xffffffffffffffff,
   2482   0xffffffffffffffff, 0xffffffffffffffff,
   2483   0xffffffffffffffff, 0xffffffffffffffff,
   2484   0xffffffffffffffff, 0xffffffffffffffff,
   2485   0xffffffffffffffff, 0xffffffffffffffff,
   2486   0xffffffffffffffff, 0xffffffffffffffff,
   2487   0xffffffffffffffff, 0xffffffffffffffff,
   2488   0xffffffffffffffff, 0xffffffffffffffff,
   2489   0xffffffffffffffff, 0xffffffffffffffff,
   2490   0xffffffffffffffff, 0xffffffffffffffff,
   2491   0xffffffffffffffff, 0xffffffffffffffff,
   2492   0xffffffffffffffff, 0xffffffffffffffff,
   2493   0xffffffffffffffff, 0xffffffffffffffff,
   2494   0xffffffffffffffff, 0xffffffffffffffff,
   2495   0xffffffffffffffff, 0xffffffffffffffff,
   2496   0xffffffffffffffff, 0xffffffffffffffff,
   2497   0xffffffffffffffff, 0xffffffffffffffff,
   2498   0xffffffffffffffff, 0xffffffffffffffff,
   2499   0xffffffffffffffff, 0xffffffffffffffff,
   2500   0xffffffffffffffff, 0xffffffffffffffff,
   2501   0xffffffffffffffff, 0xffffffffffffffff,
   2502   0xffffffffffffffff, 0xffffffffffffffff,
   2503   0xffffffffffffffff, 0xffffffffffffffff,
   2504   0xffffffffffffffff, 0xffffffffffffffff,
   2505   0xffffffffffffffff, 0xffffffffffffffff,
   2506   0xffffffffffffffff, 0xffffffffffffffff,
   2507   0xffffffffffffffff, 0xffffffffffffffff,
   2508   0xffffffffffffffff, 0xffffffffffffffff,
   2509   0xffffffffffffffff, 0xffffffffffffffff,
   2510   0xffffffffffffffff, 0xffffffffffffffff,
   2511   0xffffffffffffffff, 0xffffffffffffffff,
   2512   0xffffffffffffffff, 0xffffffffffffffff,
   2513   0xffffffffffffffff, 0xffffffffffffffff,
   2514   0xffffffffffffffff, 0xffffffffffffffff,
   2515   0xffffffffffffffff, 0xffffffffffffffff,
   2516   0xffffffffffffffff, 0xffffffffffffffff,
   2517   0xffffffffffffffff, 0xffffffffffffffff,
   2518   0xffffffffffffffff, 0xffffffffffffffff,
   2519   0xffffffffffffffff, 0xffffffffffffffff,
   2520   0xffffffffffffffff, 0xffffffffffffffff,
   2521   0xffffffffffffffff, 0xffffffffffffffff,
   2522   0xffffffffffffffff, 0xffffffffffffffff,
   2523   0xffffffffffffffff, 0xffffffffffffffff,
   2524   0xffffffffffffffff, 0xffffffffffffffff,
   2525   0xffffffffffffffff, 0xffffffffffffffff,
   2526   0xffffffffffffffff, 0xffffffffffffffff,
   2527   0xffffffffffffffff, 0xffffffffffffffff,
   2528   0xffffffffffffffff, 0xffffffffffffffff,
   2529   0xffffffffffffffff, 0xffffffffffffffff,
   2530   0xffffffffffffffff, 0xffffffffffffffff,
   2531   0xffffffffffffffff, 0xffffffffffffffff,
   2532   0xffffffffffffffff, 0xffffffffffffffff,
   2533   0xffffffffffffffff, 0xffffffffffffffff,
   2534   0xffffffffffffffff, 0xffffffffffffffff,
   2535   0xffffffffffffffff, 0xffffffffffffffff,
   2536   0xffffffffffffffff, 0xffffffffffffffff,
   2537   0xffffffffffffffff, 0xffffffffffffffff,
   2538   0xffffffffffffffff, 0xffffffffffffffff,
   2539   0xffffffffffffffff, 0xffffffffffffffff,
   2540   0xffffffffffffffff, 0xffffffffffffffff,
   2541   0xffffffffffffffff, 0xffffffffffffffff,
   2542   0xffffffffffffffff, 0xffffffffffffffff,
   2543   0xffffffffffffffff, 0xffffffffffffffff,
   2544   0xffffffffffffffff, 0xffffffffffffffff,
   2545   0xffffffffffffffff, 0xffffffffffffffff,
   2546   0xffffffffffffffff, 0xffffffffffffffff,
   2547   0xffffffffffffffff, 0xffffffffffffffff,
   2548   0xffffffffffffffff, 0xffffffffffffffff,
   2549   0xffffffffffffffff, 0xffffffffffffffff,
   2550   0xffffffffffffffff, 0xffffffffffffffff,
   2551   0xffffffffffffffff, 0xffffffffffffffff,
   2552   0xffffffffffffffff, 0xffffffffffffffff,
   2553   0xffffffffffffffff, 0xffffffffffffffff,
   2554   0xffffffffffffffff, 0xffffffffffffffff,
   2555   0xffffffffffffffff, 0xffffffffffffffff,
   2556   0xffffffffffffffff, 0xffffffffffffffff,
   2557   0xffffffffffffffff, 0xffffffffffffffff,
   2558   0xffffffffffffffff, 0xffffffffffffffff,
   2559   0xffffffffffffffff, 0xffffffffffffffff,
   2560   0xffffffffffffffff, 0xffffffffffffffff,
   2561   0xffffffffffffffff, 0xffffffffffffffff,
   2562   0xffffffffffffffff, 0xffffffffffffffff,
   2563   0xffffffffffffffff, 0xffffffffffffffff,
   2564   0xffffffffffffffff, 0xffffffffffffffff,
   2565   0xffffffffffffffff, 0xffffffffffffffff,
   2566   0xffffffffffffffff, 0xffffffffffffffff,
   2567   0xffffffffffffffff, 0xffffffffffffffff,
   2568   0xffffffffffffffff, 0xffffffffffffffff,
   2569   0xffffffffffffffff, 0xffffffffffffffff,
   2570   0xffffffffffffffff, 0xffffffffffffffff,
   2571   0xffffffffffffffff, 0xffffffffffffffff,
   2572   0xffffffffffffffff, 0xffffffffffffffff,
   2573   0xffffffffffffffff, 0xffffffffffffffff,
   2574   0xffffffffffffffff, 0xffffffffffffffff,
   2575   0xffffffffffffffff, 0xffffffffffffffff,
   2576   0xffffffffffffffff, 0xffffffffffffffff,
   2577   0xffffffffffffffff, 0xffffffffffffffff,
   2578   0xffffffffffffffff, 0xffffffffffffffff,
   2579   0xffffffffffffffff, 0xffffffffffffffff,
   2580   0xffffffffffffffff, 0xffffffffffffffff,
   2581   0xffffffffffffffff, 0xffffffffffffffff,
   2582   0xffffffffffffffff, 0xffffffffffffffff,
   2583   0xffffffffffffffff, 0xffffffffffffffff,
   2584   0xffffffffffffffff, 0xffffffffffffffff,
   2585   0xffffffffffffffff, 0xffffffffffffffff,
   2586   0xffffffffffffffff, 0xffffffffffffffff,
   2587   0xffffffffffffffff, 0xffffffffffffffff,
   2588   0xffffffffffffffff, 0xffffffffffffffff,
   2589   0xffffffffffffffff, 0xffffffffffffffff,
   2590   0xffffffffffffffff, 0xffffffffffffffff,
   2591   0xffffffffffffffff, 0xffffffffffffffff,
   2592   0xffffffffffffffff, 0xffffffffffffffff,
   2593   0xffffffffffffffff, 0xffffffffffffffff,
   2594   0xffffffffffffffff, 0xffffffffffffffff,
   2595   0xffffffffffffffff, 0xffffffffffffffff,
   2596   0xffffffffffffffff, 0xffffffffffffffff,
   2597   0xffffffffffffffff, 0xffffffffffffffff,
   2598 };
   2599 const unsigned kExpectedCount_NEON_sshr_2D_2OPIMM = 2560;
   2600 
   2601 #endif  // VIXL_SIM_SSHR_2D_2OPIMM_TRACE_A64_H_
   2602