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_SHRN_2S_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_SHRN_2S_2OPIMM_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_shrn_2S_2OPIMM[] = {
     38   0x00000000ffffffff, 0x0000000000000000,
     39   0x00000000ffffffff, 0x0000000000000000,
     40   0x00000000ffffffff, 0x0000000000000000,
     41   0x00000000ffffffff, 0x0000000000000000,
     42   0x00000000ffffffff, 0x0000000000000000,
     43   0x00000000ffffffff, 0x0000000000000000,
     44   0x00000000ffffffff, 0x0000000000000000,
     45   0x00000000ffffffff, 0x0000000000000000,
     46   0x00000000ffffffff, 0x0000000000000000,
     47   0x00000000ffffffff, 0x0000000000000000,
     48   0x00000000ffffffff, 0x0000000000000000,
     49   0x00000000ffffffff, 0x0000000000000000,
     50   0x00000000ffffffff, 0x0000000000000000,
     51   0x00000000ffffffff, 0x0000000000000000,
     52   0x00000000ffffffff, 0x0000000000000000,
     53   0x00000000ffffffff, 0x0000000000000000,
     54   0x00000000ffffffff, 0x0000000000000000,
     55   0x00000000ffffffff, 0x0000000000000000,
     56   0x00000000ffffffff, 0x0000000000000000,
     57   0x00000000ffffffff, 0x0000000000000000,
     58   0x00000000ffffffff, 0x0000000000000000,
     59   0x00000000ffffffff, 0x0000000000000000,
     60   0x00000000ffffffff, 0x0000000000000000,
     61   0x00000000ffffffff, 0x0000000000000000,
     62   0x00000000ffffffff, 0x0000000000000000,
     63   0x00000000ffffffff, 0x0000000000000000,
     64   0x00000000ffffffff, 0x0000000000000000,
     65   0x00000000ffffffff, 0x0000000000000000,
     66   0x00000000ffffffff, 0x0000000000000000,
     67   0x00000000ffffffff, 0x0000000000000000,
     68   0x00000000ffffffff, 0x0000000000000000,
     69   0x00000000ffffffff, 0x0000000000000000,
     70   0x0000000000000000, 0x0000000000000000,
     71   0x0000000000000000, 0x0000000000000000,
     72   0x0000000000000000, 0x0000000000000000,
     73   0x0000000000000000, 0x0000000000000000,
     74   0x0000000000000000, 0x0000000000000000,
     75   0x0000000000000000, 0x0000000000000000,
     76   0x0000000000000000, 0x0000000000000000,
     77   0x0000000000000000, 0x0000000000000000,
     78   0x0000000000000000, 0x0000000000000000,
     79   0x0000000000000000, 0x0000000000000000,
     80   0x0000000000000000, 0x0000000000000000,
     81   0x0000000000000000, 0x0000000000000000,
     82   0x0000000000000000, 0x0000000000000000,
     83   0x0000000000000000, 0x0000000000000000,
     84   0x0000000000000000, 0x0000000000000000,
     85   0x0000000000000000, 0x0000000000000000,
     86   0x0000000000000000, 0x0000000000000000,
     87   0x0000000000000000, 0x0000000000000000,
     88   0x0000000000000000, 0x0000000000000000,
     89   0x0000000000000000, 0x0000000000000000,
     90   0x0000000000000000, 0x0000000000000000,
     91   0x0000000000000000, 0x0000000000000000,
     92   0x0000000000000000, 0x0000000000000000,
     93   0x0000000000000000, 0x0000000000000000,
     94   0x0000000000000000, 0x0000000000000000,
     95   0x0000000000000000, 0x0000000000000000,
     96   0x0000000000000000, 0x0000000000000000,
     97   0x0000000000000000, 0x0000000000000000,
     98   0x0000000000000000, 0x0000000000000000,
     99   0x0000000000000000, 0x0000000000000000,
    100   0x0000000000000000, 0x0000000000000000,
    101   0x0000000000000000, 0x0000000000000000,
    102   0x0000000000000000, 0x0000000000000001,
    103   0x0000000000000000, 0x0000000000000000,
    104   0x0000000000000000, 0x0000000000000000,
    105   0x0000000000000000, 0x0000000000000000,
    106   0x0000000000000000, 0x0000000000000000,
    107   0x0000000000000000, 0x0000000000000000,
    108   0x0000000000000000, 0x0000000000000000,
    109   0x0000000000000000, 0x0000000000000000,
    110   0x0000000000000000, 0x0000000000000000,
    111   0x0000000000000000, 0x0000000000000000,
    112   0x0000000000000000, 0x0000000000000000,
    113   0x0000000000000000, 0x0000000000000000,
    114   0x0000000000000000, 0x0000000000000000,
    115   0x0000000000000000, 0x0000000000000000,
    116   0x0000000000000000, 0x0000000000000000,
    117   0x0000000000000000, 0x0000000000000000,
    118   0x0000000000000000, 0x0000000000000000,
    119   0x0000000000000000, 0x0000000000000000,
    120   0x0000000000000000, 0x0000000000000000,
    121   0x0000000000000000, 0x0000000000000000,
    122   0x0000000000000000, 0x0000000000000000,
    123   0x0000000000000000, 0x0000000000000000,
    124   0x0000000000000000, 0x0000000000000000,
    125   0x0000000000000000, 0x0000000000000000,
    126   0x0000000000000000, 0x0000000000000000,
    127   0x0000000000000000, 0x0000000000000000,
    128   0x0000000000000000, 0x0000000000000000,
    129   0x0000000000000000, 0x0000000000000000,
    130   0x0000000000000000, 0x0000000000000000,
    131   0x0000000000000000, 0x0000000000000000,
    132   0x0000000000000000, 0x0000000000000000,
    133   0x0000000000000000, 0x0000000000000000,
    134   0x0000000000000001, 0x0000000000000020,
    135   0x0000000000000000, 0x0000000000000010,
    136   0x0000000000000000, 0x0000000000000008,
    137   0x0000000000000000, 0x0000000000000004,
    138   0x0000000000000000, 0x0000000000000002,
    139   0x0000000000000000, 0x0000000000000001,
    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   0x0000000000000020, 0x000000000000003e,
    167   0x0000000000000010, 0x000000000000001f,
    168   0x0000000000000008, 0x000000000000000f,
    169   0x0000000000000004, 0x0000000000000007,
    170   0x0000000000000002, 0x0000000000000003,
    171   0x0000000000000001, 0x0000000000000001,
    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   0x000000000000003e, 0x000000000000003f,
    199   0x000000000000001f, 0x000000000000001f,
    200   0x000000000000000f, 0x000000000000000f,
    201   0x0000000000000007, 0x0000000000000007,
    202   0x0000000000000003, 0x0000000000000003,
    203   0x0000000000000001, 0x0000000000000001,
    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   0x000000000000003f, 0x000000000000003f,
    231   0x000000000000001f, 0x000000000000001f,
    232   0x000000000000000f, 0x000000000000000f,
    233   0x0000000000000007, 0x0000000000000007,
    234   0x0000000000000003, 0x0000000000000003,
    235   0x0000000000000001, 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   0x000000000000003f, 0x0000000000003ffe,
    263   0x000000000000001f, 0x0000000000001fff,
    264   0x000000000000000f, 0x0000000000000fff,
    265   0x0000000000000007, 0x00000000000007ff,
    266   0x0000000000000003, 0x00000000000003ff,
    267   0x0000000000000001, 0x00000000000001ff,
    268   0x0000000000000000, 0x00000000000000ff,
    269   0x0000000000000000, 0x000000000000007f,
    270   0x0000000000000000, 0x000000000000003f,
    271   0x0000000000000000, 0x000000000000001f,
    272   0x0000000000000000, 0x000000000000000f,
    273   0x0000000000000000, 0x0000000000000007,
    274   0x0000000000000000, 0x0000000000000003,
    275   0x0000000000000000, 0x0000000000000001,
    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   0x0000000000003ffe, 0x0000000000003fff,
    295   0x0000000000001fff, 0x0000000000001fff,
    296   0x0000000000000fff, 0x0000000000000fff,
    297   0x00000000000007ff, 0x00000000000007ff,
    298   0x00000000000003ff, 0x00000000000003ff,
    299   0x00000000000001ff, 0x00000000000001ff,
    300   0x00000000000000ff, 0x00000000000000ff,
    301   0x000000000000007f, 0x000000000000007f,
    302   0x000000000000003f, 0x000000000000003f,
    303   0x000000000000001f, 0x000000000000001f,
    304   0x000000000000000f, 0x000000000000000f,
    305   0x0000000000000007, 0x0000000000000007,
    306   0x0000000000000003, 0x0000000000000003,
    307   0x0000000000000001, 0x0000000000000001,
    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   0x0000000000003fff, 0x0000000000003fff,
    327   0x0000000000001fff, 0x0000000000001fff,
    328   0x0000000000000fff, 0x0000000000000fff,
    329   0x00000000000007ff, 0x00000000000007ff,
    330   0x00000000000003ff, 0x00000000000003ff,
    331   0x00000000000001ff, 0x00000000000001ff,
    332   0x00000000000000ff, 0x00000000000000ff,
    333   0x000000000000007f, 0x000000000000007f,
    334   0x000000000000003f, 0x000000000000003f,
    335   0x000000000000001f, 0x000000000000001f,
    336   0x000000000000000f, 0x000000000000000f,
    337   0x0000000000000007, 0x0000000000000007,
    338   0x0000000000000003, 0x0000000000000003,
    339   0x0000000000000001, 0x0000000000000001,
    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   0x0000000000003fff, 0x000000003ffffffe,
    359   0x0000000000001fff, 0x000000001fffffff,
    360   0x0000000000000fff, 0x000000000fffffff,
    361   0x00000000000007ff, 0x0000000007ffffff,
    362   0x00000000000003ff, 0x0000000003ffffff,
    363   0x00000000000001ff, 0x0000000001ffffff,
    364   0x00000000000000ff, 0x0000000000ffffff,
    365   0x000000000000007f, 0x00000000007fffff,
    366   0x000000000000003f, 0x00000000003fffff,
    367   0x000000000000001f, 0x00000000001fffff,
    368   0x000000000000000f, 0x00000000000fffff,
    369   0x0000000000000007, 0x000000000007ffff,
    370   0x0000000000000003, 0x000000000003ffff,
    371   0x0000000000000001, 0x000000000001ffff,
    372   0x0000000000000000, 0x000000000000ffff,
    373   0x0000000000000000, 0x0000000000007fff,
    374   0x0000000000000000, 0x0000000000003fff,
    375   0x0000000000000000, 0x0000000000001fff,
    376   0x0000000000000000, 0x0000000000000fff,
    377   0x0000000000000000, 0x00000000000007ff,
    378   0x0000000000000000, 0x00000000000003ff,
    379   0x0000000000000000, 0x00000000000001ff,
    380   0x0000000000000000, 0x00000000000000ff,
    381   0x0000000000000000, 0x000000000000007f,
    382   0x0000000000000000, 0x000000000000003f,
    383   0x0000000000000000, 0x000000000000001f,
    384   0x0000000000000000, 0x000000000000000f,
    385   0x0000000000000000, 0x0000000000000007,
    386   0x0000000000000000, 0x0000000000000003,
    387   0x0000000000000000, 0x0000000000000001,
    388   0x0000000000000000, 0x0000000000000000,
    389   0x0000000000000000, 0x0000000000000000,
    390   0x000000003ffffffe, 0x000000003fffffff,
    391   0x000000001fffffff, 0x000000001fffffff,
    392   0x000000000fffffff, 0x000000000fffffff,
    393   0x0000000007ffffff, 0x0000000007ffffff,
    394   0x0000000003ffffff, 0x0000000003ffffff,
    395   0x0000000001ffffff, 0x0000000001ffffff,
    396   0x0000000000ffffff, 0x0000000000ffffff,
    397   0x00000000007fffff, 0x00000000007fffff,
    398   0x00000000003fffff, 0x00000000003fffff,
    399   0x00000000001fffff, 0x00000000001fffff,
    400   0x00000000000fffff, 0x00000000000fffff,
    401   0x000000000007ffff, 0x000000000007ffff,
    402   0x000000000003ffff, 0x000000000003ffff,
    403   0x000000000001ffff, 0x000000000001ffff,
    404   0x000000000000ffff, 0x000000000000ffff,
    405   0x0000000000007fff, 0x0000000000007fff,
    406   0x0000000000003fff, 0x0000000000003fff,
    407   0x0000000000001fff, 0x0000000000001fff,
    408   0x0000000000000fff, 0x0000000000000fff,
    409   0x00000000000007ff, 0x00000000000007ff,
    410   0x00000000000003ff, 0x00000000000003ff,
    411   0x00000000000001ff, 0x00000000000001ff,
    412   0x00000000000000ff, 0x00000000000000ff,
    413   0x000000000000007f, 0x000000000000007f,
    414   0x000000000000003f, 0x000000000000003f,
    415   0x000000000000001f, 0x000000000000001f,
    416   0x000000000000000f, 0x000000000000000f,
    417   0x0000000000000007, 0x0000000000000007,
    418   0x0000000000000003, 0x0000000000000003,
    419   0x0000000000000001, 0x0000000000000001,
    420   0x0000000000000000, 0x0000000000000000,
    421   0x0000000000000000, 0x0000000000000000,
    422   0x000000003fffffff, 0x000000003fffffff,
    423   0x000000001fffffff, 0x000000001fffffff,
    424   0x000000000fffffff, 0x000000000fffffff,
    425   0x0000000007ffffff, 0x0000000007ffffff,
    426   0x0000000003ffffff, 0x0000000003ffffff,
    427   0x0000000001ffffff, 0x0000000001ffffff,
    428   0x0000000000ffffff, 0x0000000000ffffff,
    429   0x00000000007fffff, 0x00000000007fffff,
    430   0x00000000003fffff, 0x00000000003fffff,
    431   0x00000000001fffff, 0x00000000001fffff,
    432   0x00000000000fffff, 0x00000000000fffff,
    433   0x000000000007ffff, 0x000000000007ffff,
    434   0x000000000003ffff, 0x000000000003ffff,
    435   0x000000000001ffff, 0x000000000001ffff,
    436   0x000000000000ffff, 0x000000000000ffff,
    437   0x0000000000007fff, 0x0000000000007fff,
    438   0x0000000000003fff, 0x0000000000003fff,
    439   0x0000000000001fff, 0x0000000000001fff,
    440   0x0000000000000fff, 0x0000000000000fff,
    441   0x00000000000007ff, 0x00000000000007ff,
    442   0x00000000000003ff, 0x00000000000003ff,
    443   0x00000000000001ff, 0x00000000000001ff,
    444   0x00000000000000ff, 0x00000000000000ff,
    445   0x000000000000007f, 0x000000000000007f,
    446   0x000000000000003f, 0x000000000000003f,
    447   0x000000000000001f, 0x000000000000001f,
    448   0x000000000000000f, 0x000000000000000f,
    449   0x0000000000000007, 0x0000000000000007,
    450   0x0000000000000003, 0x0000000000000003,
    451   0x0000000000000001, 0x0000000000000001,
    452   0x0000000000000000, 0x0000000000000000,
    453   0x0000000000000000, 0x0000000000000000,
    454   0x000000003fffffff, 0x0000000099999999,
    455   0x000000001fffffff, 0x00000000cccccccc,
    456   0x000000000fffffff, 0x0000000066666666,
    457   0x0000000007ffffff, 0x0000000033333333,
    458   0x0000000003ffffff, 0x0000000099999999,
    459   0x0000000001ffffff, 0x00000000cccccccc,
    460   0x0000000000ffffff, 0x0000000066666666,
    461   0x00000000007fffff, 0x0000000033333333,
    462   0x00000000003fffff, 0x0000000099999999,
    463   0x00000000001fffff, 0x00000000cccccccc,
    464   0x00000000000fffff, 0x0000000066666666,
    465   0x000000000007ffff, 0x0000000033333333,
    466   0x000000000003ffff, 0x0000000099999999,
    467   0x000000000001ffff, 0x00000000cccccccc,
    468   0x000000000000ffff, 0x0000000066666666,
    469   0x0000000000007fff, 0x0000000033333333,
    470   0x0000000000003fff, 0x0000000099999999,
    471   0x0000000000001fff, 0x00000000cccccccc,
    472   0x0000000000000fff, 0x0000000066666666,
    473   0x00000000000007ff, 0x0000000033333333,
    474   0x00000000000003ff, 0x0000000099999999,
    475   0x00000000000001ff, 0x00000000cccccccc,
    476   0x00000000000000ff, 0x0000000066666666,
    477   0x000000000000007f, 0x0000000033333333,
    478   0x000000000000003f, 0x0000000099999999,
    479   0x000000000000001f, 0x00000000cccccccc,
    480   0x000000000000000f, 0x0000000066666666,
    481   0x0000000000000007, 0x0000000033333333,
    482   0x0000000000000003, 0x0000000099999999,
    483   0x0000000000000001, 0x00000000cccccccc,
    484   0x0000000000000000, 0x0000000066666666,
    485   0x0000000000000000, 0x0000000033333333,
    486   0x0000000099999999, 0x00000000aaaaaaaa,
    487   0x00000000cccccccc, 0x0000000055555555,
    488   0x0000000066666666, 0x00000000aaaaaaaa,
    489   0x0000000033333333, 0x0000000055555555,
    490   0x0000000099999999, 0x00000000aaaaaaaa,
    491   0x00000000cccccccc, 0x0000000055555555,
    492   0x0000000066666666, 0x00000000aaaaaaaa,
    493   0x0000000033333333, 0x0000000055555555,
    494   0x0000000099999999, 0x00000000aaaaaaaa,
    495   0x00000000cccccccc, 0x0000000055555555,
    496   0x0000000066666666, 0x00000000aaaaaaaa,
    497   0x0000000033333333, 0x0000000055555555,
    498   0x0000000099999999, 0x00000000aaaaaaaa,
    499   0x00000000cccccccc, 0x0000000055555555,
    500   0x0000000066666666, 0x00000000aaaaaaaa,
    501   0x0000000033333333, 0x0000000055555555,
    502   0x0000000099999999, 0x00000000aaaaaaaa,
    503   0x00000000cccccccc, 0x0000000055555555,
    504   0x0000000066666666, 0x00000000aaaaaaaa,
    505   0x0000000033333333, 0x0000000055555555,
    506   0x0000000099999999, 0x00000000aaaaaaaa,
    507   0x00000000cccccccc, 0x0000000055555555,
    508   0x0000000066666666, 0x00000000aaaaaaaa,
    509   0x0000000033333333, 0x0000000055555555,
    510   0x0000000099999999, 0x00000000aaaaaaaa,
    511   0x00000000cccccccc, 0x0000000055555555,
    512   0x0000000066666666, 0x00000000aaaaaaaa,
    513   0x0000000033333333, 0x0000000055555555,
    514   0x0000000099999999, 0x00000000aaaaaaaa,
    515   0x00000000cccccccc, 0x0000000055555555,
    516   0x0000000066666666, 0x00000000aaaaaaaa,
    517   0x0000000033333333, 0x0000000055555555,
    518   0x00000000aaaaaaaa, 0x00000000fffffffe,
    519   0x0000000055555555, 0x00000000ffffffff,
    520   0x00000000aaaaaaaa, 0x00000000ffffffff,
    521   0x0000000055555555, 0x00000000ffffffff,
    522   0x00000000aaaaaaaa, 0x00000000ffffffff,
    523   0x0000000055555555, 0x00000000ffffffff,
    524   0x00000000aaaaaaaa, 0x00000000ffffffff,
    525   0x0000000055555555, 0x00000000ffffffff,
    526   0x00000000aaaaaaaa, 0x00000000ffffffff,
    527   0x0000000055555555, 0x00000000ffffffff,
    528   0x00000000aaaaaaaa, 0x00000000ffffffff,
    529   0x0000000055555555, 0x00000000ffffffff,
    530   0x00000000aaaaaaaa, 0x00000000ffffffff,
    531   0x0000000055555555, 0x00000000ffffffff,
    532   0x00000000aaaaaaaa, 0x00000000ffffffff,
    533   0x0000000055555555, 0x00000000ffffffff,
    534   0x00000000aaaaaaaa, 0x00000000ffffffff,
    535   0x0000000055555555, 0x00000000ffffffff,
    536   0x00000000aaaaaaaa, 0x00000000ffffffff,
    537   0x0000000055555555, 0x00000000ffffffff,
    538   0x00000000aaaaaaaa, 0x00000000ffffffff,
    539   0x0000000055555555, 0x00000000ffffffff,
    540   0x00000000aaaaaaaa, 0x00000000ffffffff,
    541   0x0000000055555555, 0x00000000ffffffff,
    542   0x00000000aaaaaaaa, 0x00000000ffffffff,
    543   0x0000000055555555, 0x00000000ffffffff,
    544   0x00000000aaaaaaaa, 0x00000000ffffffff,
    545   0x0000000055555555, 0x00000000ffffffff,
    546   0x00000000aaaaaaaa, 0x00000000ffffffff,
    547   0x0000000055555555, 0x00000000ffffffff,
    548   0x00000000aaaaaaaa, 0x00000000ffffffff,
    549   0x0000000055555555, 0x000000007fffffff,
    550   0x00000000fffffffe, 0x00000000ffffffff,
    551   0x00000000ffffffff, 0x00000000ffffffff,
    552   0x00000000ffffffff, 0x00000000ffffffff,
    553   0x00000000ffffffff, 0x00000000ffffffff,
    554   0x00000000ffffffff, 0x00000000ffffffff,
    555   0x00000000ffffffff, 0x00000000ffffffff,
    556   0x00000000ffffffff, 0x00000000ffffffff,
    557   0x00000000ffffffff, 0x00000000ffffffff,
    558   0x00000000ffffffff, 0x00000000ffffffff,
    559   0x00000000ffffffff, 0x00000000ffffffff,
    560   0x00000000ffffffff, 0x00000000ffffffff,
    561   0x00000000ffffffff, 0x00000000ffffffff,
    562   0x00000000ffffffff, 0x00000000ffffffff,
    563   0x00000000ffffffff, 0x00000000ffffffff,
    564   0x00000000ffffffff, 0x00000000ffffffff,
    565   0x00000000ffffffff, 0x00000000ffffffff,
    566   0x00000000ffffffff, 0x00000000ffffffff,
    567   0x00000000ffffffff, 0x00000000ffffffff,
    568   0x00000000ffffffff, 0x00000000ffffffff,
    569   0x00000000ffffffff, 0x00000000ffffffff,
    570   0x00000000ffffffff, 0x00000000ffffffff,
    571   0x00000000ffffffff, 0x00000000ffffffff,
    572   0x00000000ffffffff, 0x00000000ffffffff,
    573   0x00000000ffffffff, 0x00000000ffffffff,
    574   0x00000000ffffffff, 0x00000000ffffffff,
    575   0x00000000ffffffff, 0x00000000ffffffff,
    576   0x00000000ffffffff, 0x00000000ffffffff,
    577   0x00000000ffffffff, 0x00000000ffffffff,
    578   0x00000000ffffffff, 0x00000000ffffffff,
    579   0x00000000ffffffff, 0x00000000ffffffff,
    580   0x00000000ffffffff, 0x00000000ffffffff,
    581   0x000000007fffffff, 0x000000007fffffff,
    582   0x00000000ffffffff, 0x00000000ffffffff,
    583   0x00000000ffffffff, 0x00000000ffffffff,
    584   0x00000000ffffffff, 0x00000000ffffffff,
    585   0x00000000ffffffff, 0x00000000ffffffff,
    586   0x00000000ffffffff, 0x00000000ffffffff,
    587   0x00000000ffffffff, 0x00000000ffffffff,
    588   0x00000000ffffffff, 0x00000000ffffffff,
    589   0x00000000ffffffff, 0x00000000ffffffff,
    590   0x00000000ffffffff, 0x00000000ffffffff,
    591   0x00000000ffffffff, 0x00000000ffffffff,
    592   0x00000000ffffffff, 0x00000000ffffffff,
    593   0x00000000ffffffff, 0x00000000ffffffff,
    594   0x00000000ffffffff, 0x00000000ffffffff,
    595   0x00000000ffffffff, 0x00000000ffffffff,
    596   0x00000000ffffffff, 0x00000000ffffffff,
    597   0x00000000ffffffff, 0x00000000ffffffff,
    598   0x00000000ffffffff, 0x00000000ffffffff,
    599   0x00000000ffffffff, 0x00000000ffffffff,
    600   0x00000000ffffffff, 0x00000000ffffffff,
    601   0x00000000ffffffff, 0x00000000ffffffff,
    602   0x00000000ffffffff, 0x00000000ffffffff,
    603   0x00000000ffffffff, 0x00000000ffffffff,
    604   0x00000000ffffffff, 0x00000000ffffffff,
    605   0x00000000ffffffff, 0x00000000ffffffff,
    606   0x00000000ffffffff, 0x00000000ffffffff,
    607   0x00000000ffffffff, 0x00000000ffffffff,
    608   0x00000000ffffffff, 0x00000000ffffffff,
    609   0x00000000ffffffff, 0x00000000ffffffff,
    610   0x00000000ffffffff, 0x00000000ffffffff,
    611   0x00000000ffffffff, 0x00000000ffffffff,
    612   0x00000000ffffffff, 0x00000000ffffffff,
    613   0x000000007fffffff, 0x000000007fffffff,
    614   0x00000000ffffffff, 0x0000000000000000,
    615   0x00000000ffffffff, 0x0000000000000000,
    616   0x00000000ffffffff, 0x0000000000000000,
    617   0x00000000ffffffff, 0x0000000000000000,
    618   0x00000000ffffffff, 0x0000000000000000,
    619   0x00000000ffffffff, 0x0000000000000000,
    620   0x00000000ffffffff, 0x0000000000000000,
    621   0x00000000ffffffff, 0x0000000000000000,
    622   0x00000000ffffffff, 0x0000000000000000,
    623   0x00000000ffffffff, 0x0000000000000000,
    624   0x00000000ffffffff, 0x0000000000000000,
    625   0x00000000ffffffff, 0x0000000000000000,
    626   0x00000000ffffffff, 0x0000000000000000,
    627   0x00000000ffffffff, 0x0000000000000000,
    628   0x00000000ffffffff, 0x0000000000000000,
    629   0x00000000ffffffff, 0x0000000000000000,
    630   0x00000000ffffffff, 0x0000000000000000,
    631   0x00000000ffffffff, 0x0000000000000000,
    632   0x00000000ffffffff, 0x0000000000000000,
    633   0x00000000ffffffff, 0x0000000000000000,
    634   0x00000000ffffffff, 0x0000000000000000,
    635   0x00000000ffffffff, 0x0000000000000000,
    636   0x00000000ffffffff, 0x0000000000000000,
    637   0x00000000ffffffff, 0x0000000000000000,
    638   0x00000000ffffffff, 0x0000000000000000,
    639   0x00000000ffffffff, 0x0000000000000000,
    640   0x00000000ffffffff, 0x0000000000000000,
    641   0x00000000ffffffff, 0x0000000000000000,
    642   0x00000000ffffffff, 0x0000000000000000,
    643   0x00000000ffffffff, 0x0000000000000000,
    644   0x00000000ffffffff, 0x0000000000000000,
    645   0x000000007fffffff, 0x0000000080000000,
    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   0x0000000080000000, 0x0000000080000000,
    678   0x0000000000000000, 0x0000000000000001,
    679   0x0000000000000000, 0x0000000000000000,
    680   0x0000000000000000, 0x0000000000000000,
    681   0x0000000000000000, 0x0000000000000000,
    682   0x0000000000000000, 0x0000000000000000,
    683   0x0000000000000000, 0x0000000000000000,
    684   0x0000000000000000, 0x0000000000000000,
    685   0x0000000000000000, 0x0000000000000000,
    686   0x0000000000000000, 0x0000000000000000,
    687   0x0000000000000000, 0x0000000000000000,
    688   0x0000000000000000, 0x0000000000000000,
    689   0x0000000000000000, 0x0000000000000000,
    690   0x0000000000000000, 0x0000000000000000,
    691   0x0000000000000000, 0x0000000000000000,
    692   0x0000000000000000, 0x0000000000000000,
    693   0x0000000000000000, 0x0000000000000000,
    694   0x0000000000000000, 0x0000000000000000,
    695   0x0000000000000000, 0x0000000000000000,
    696   0x0000000000000000, 0x0000000000000000,
    697   0x0000000000000000, 0x0000000000000000,
    698   0x0000000000000000, 0x0000000000000000,
    699   0x0000000000000000, 0x0000000000000000,
    700   0x0000000000000000, 0x0000000000000000,
    701   0x0000000000000000, 0x0000000000000000,
    702   0x0000000000000000, 0x0000000000000000,
    703   0x0000000000000000, 0x0000000000000000,
    704   0x0000000000000000, 0x0000000000000000,
    705   0x0000000000000000, 0x0000000000000000,
    706   0x0000000000000000, 0x0000000000000000,
    707   0x0000000000000000, 0x0000000000000000,
    708   0x0000000000000000, 0x0000000000000000,
    709   0x0000000080000000, 0x0000000080000000,
    710   0x0000000000000001, 0x0000000000000001,
    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   0x0000000080000000, 0x0000000080000000,
    742   0x0000000000000001, 0x0000000055555555,
    743   0x0000000000000000, 0x00000000aaaaaaaa,
    744   0x0000000000000000, 0x0000000055555555,
    745   0x0000000000000000, 0x00000000aaaaaaaa,
    746   0x0000000000000000, 0x0000000055555555,
    747   0x0000000000000000, 0x00000000aaaaaaaa,
    748   0x0000000000000000, 0x0000000055555555,
    749   0x0000000000000000, 0x00000000aaaaaaaa,
    750   0x0000000000000000, 0x0000000055555555,
    751   0x0000000000000000, 0x00000000aaaaaaaa,
    752   0x0000000000000000, 0x0000000055555555,
    753   0x0000000000000000, 0x00000000aaaaaaaa,
    754   0x0000000000000000, 0x0000000055555555,
    755   0x0000000000000000, 0x00000000aaaaaaaa,
    756   0x0000000000000000, 0x0000000055555555,
    757   0x0000000000000000, 0x00000000aaaaaaaa,
    758   0x0000000000000000, 0x0000000055555555,
    759   0x0000000000000000, 0x00000000aaaaaaaa,
    760   0x0000000000000000, 0x0000000055555555,
    761   0x0000000000000000, 0x00000000aaaaaaaa,
    762   0x0000000000000000, 0x0000000055555555,
    763   0x0000000000000000, 0x00000000aaaaaaaa,
    764   0x0000000000000000, 0x0000000055555555,
    765   0x0000000000000000, 0x00000000aaaaaaaa,
    766   0x0000000000000000, 0x0000000055555555,
    767   0x0000000000000000, 0x00000000aaaaaaaa,
    768   0x0000000000000000, 0x0000000055555555,
    769   0x0000000000000000, 0x00000000aaaaaaaa,
    770   0x0000000000000000, 0x0000000055555555,
    771   0x0000000000000000, 0x00000000aaaaaaaa,
    772   0x0000000000000000, 0x0000000055555555,
    773   0x0000000080000000, 0x00000000aaaaaaaa,
    774   0x0000000055555555, 0x0000000066666666,
    775   0x00000000aaaaaaaa, 0x0000000033333333,
    776   0x0000000055555555, 0x0000000099999999,
    777   0x00000000aaaaaaaa, 0x00000000cccccccc,
    778   0x0000000055555555, 0x0000000066666666,
    779   0x00000000aaaaaaaa, 0x0000000033333333,
    780   0x0000000055555555, 0x0000000099999999,
    781   0x00000000aaaaaaaa, 0x00000000cccccccc,
    782   0x0000000055555555, 0x0000000066666666,
    783   0x00000000aaaaaaaa, 0x0000000033333333,
    784   0x0000000055555555, 0x0000000099999999,
    785   0x00000000aaaaaaaa, 0x00000000cccccccc,
    786   0x0000000055555555, 0x0000000066666666,
    787   0x00000000aaaaaaaa, 0x0000000033333333,
    788   0x0000000055555555, 0x0000000099999999,
    789   0x00000000aaaaaaaa, 0x00000000cccccccc,
    790   0x0000000055555555, 0x0000000066666666,
    791   0x00000000aaaaaaaa, 0x0000000033333333,
    792   0x0000000055555555, 0x0000000099999999,
    793   0x00000000aaaaaaaa, 0x00000000cccccccc,
    794   0x0000000055555555, 0x0000000066666666,
    795   0x00000000aaaaaaaa, 0x0000000033333333,
    796   0x0000000055555555, 0x0000000099999999,
    797   0x00000000aaaaaaaa, 0x00000000cccccccc,
    798   0x0000000055555555, 0x0000000066666666,
    799   0x00000000aaaaaaaa, 0x0000000033333333,
    800   0x0000000055555555, 0x0000000099999999,
    801   0x00000000aaaaaaaa, 0x00000000cccccccc,
    802   0x0000000055555555, 0x0000000066666666,
    803   0x00000000aaaaaaaa, 0x0000000033333333,
    804   0x0000000055555555, 0x0000000099999999,
    805   0x00000000aaaaaaaa, 0x00000000cccccccc,
    806   0x0000000066666666, 0x00000000c0000000,
    807   0x0000000033333333, 0x00000000e0000000,
    808   0x0000000099999999, 0x00000000f0000000,
    809   0x00000000cccccccc, 0x00000000f8000000,
    810   0x0000000066666666, 0x00000000fc000000,
    811   0x0000000033333333, 0x00000000fe000000,
    812   0x0000000099999999, 0x00000000ff000000,
    813   0x00000000cccccccc, 0x00000000ff800000,
    814   0x0000000066666666, 0x00000000ffc00000,
    815   0x0000000033333333, 0x00000000ffe00000,
    816   0x0000000099999999, 0x00000000fff00000,
    817   0x00000000cccccccc, 0x00000000fff80000,
    818   0x0000000066666666, 0x00000000fffc0000,
    819   0x0000000033333333, 0x00000000fffe0000,
    820   0x0000000099999999, 0x00000000ffff0000,
    821   0x00000000cccccccc, 0x00000000ffff8000,
    822   0x0000000066666666, 0x00000000ffffc000,
    823   0x0000000033333333, 0x00000000ffffe000,
    824   0x0000000099999999, 0x00000000fffff000,
    825   0x00000000cccccccc, 0x00000000fffff800,
    826   0x0000000066666666, 0x00000000fffffc00,
    827   0x0000000033333333, 0x00000000fffffe00,
    828   0x0000000099999999, 0x00000000ffffff00,
    829   0x00000000cccccccc, 0x00000000ffffff80,
    830   0x0000000066666666, 0x00000000ffffffc0,
    831   0x0000000033333333, 0x00000000ffffffe0,
    832   0x0000000099999999, 0x00000000fffffff0,
    833   0x00000000cccccccc, 0x00000000fffffff8,
    834   0x0000000066666666, 0x00000000fffffffc,
    835   0x0000000033333333, 0x00000000fffffffe,
    836   0x0000000099999999, 0x00000000ffffffff,
    837   0x00000000cccccccc, 0x00000000ffffffff,
    838   0x00000000c0000000, 0x00000000c0000000,
    839   0x00000000e0000000, 0x00000000e0000000,
    840   0x00000000f0000000, 0x00000000f0000000,
    841   0x00000000f8000000, 0x00000000f8000000,
    842   0x00000000fc000000, 0x00000000fc000000,
    843   0x00000000fe000000, 0x00000000fe000000,
    844   0x00000000ff000000, 0x00000000ff000000,
    845   0x00000000ff800000, 0x00000000ff800000,
    846   0x00000000ffc00000, 0x00000000ffc00000,
    847   0x00000000ffe00000, 0x00000000ffe00000,
    848   0x00000000fff00000, 0x00000000fff00000,
    849   0x00000000fff80000, 0x00000000fff80000,
    850   0x00000000fffc0000, 0x00000000fffc0000,
    851   0x00000000fffe0000, 0x00000000fffe0000,
    852   0x00000000ffff0000, 0x00000000ffff0000,
    853   0x00000000ffff8000, 0x00000000ffff8000,
    854   0x00000000ffffc000, 0x00000000ffffc000,
    855   0x00000000ffffe000, 0x00000000ffffe000,
    856   0x00000000fffff000, 0x00000000fffff000,
    857   0x00000000fffff800, 0x00000000fffff800,
    858   0x00000000fffffc00, 0x00000000fffffc00,
    859   0x00000000fffffe00, 0x00000000fffffe00,
    860   0x00000000ffffff00, 0x00000000ffffff00,
    861   0x00000000ffffff80, 0x00000000ffffff80,
    862   0x00000000ffffffc0, 0x00000000ffffffc0,
    863   0x00000000ffffffe0, 0x00000000ffffffe0,
    864   0x00000000fffffff0, 0x00000000fffffff0,
    865   0x00000000fffffff8, 0x00000000fffffff8,
    866   0x00000000fffffffc, 0x00000000fffffffc,
    867   0x00000000fffffffe, 0x00000000fffffffe,
    868   0x00000000ffffffff, 0x00000000ffffffff,
    869   0x00000000ffffffff, 0x00000000ffffffff,
    870   0x00000000c0000000, 0x00000000c0000001,
    871   0x00000000e0000000, 0x00000000e0000000,
    872   0x00000000f0000000, 0x00000000f0000000,
    873   0x00000000f8000000, 0x00000000f8000000,
    874   0x00000000fc000000, 0x00000000fc000000,
    875   0x00000000fe000000, 0x00000000fe000000,
    876   0x00000000ff000000, 0x00000000ff000000,
    877   0x00000000ff800000, 0x00000000ff800000,
    878   0x00000000ffc00000, 0x00000000ffc00000,
    879   0x00000000ffe00000, 0x00000000ffe00000,
    880   0x00000000fff00000, 0x00000000fff00000,
    881   0x00000000fff80000, 0x00000000fff80000,
    882   0x00000000fffc0000, 0x00000000fffc0000,
    883   0x00000000fffe0000, 0x00000000fffe0000,
    884   0x00000000ffff0000, 0x00000000ffff0000,
    885   0x00000000ffff8000, 0x00000000ffff8000,
    886   0x00000000ffffc000, 0x00000000ffffc000,
    887   0x00000000ffffe000, 0x00000000ffffe000,
    888   0x00000000fffff000, 0x00000000fffff000,
    889   0x00000000fffff800, 0x00000000fffff800,
    890   0x00000000fffffc00, 0x00000000fffffc00,
    891   0x00000000fffffe00, 0x00000000fffffe00,
    892   0x00000000ffffff00, 0x00000000ffffff00,
    893   0x00000000ffffff80, 0x00000000ffffff80,
    894   0x00000000ffffffc0, 0x00000000ffffffc0,
    895   0x00000000ffffffe0, 0x00000000ffffffe0,
    896   0x00000000fffffff0, 0x00000000fffffff0,
    897   0x00000000fffffff8, 0x00000000fffffff8,
    898   0x00000000fffffffc, 0x00000000fffffffc,
    899   0x00000000fffffffe, 0x00000000fffffffe,
    900   0x00000000ffffffff, 0x00000000ffffffff,
    901   0x00000000ffffffff, 0x00000000ffffffff,
    902   0x00000000c0000001, 0x00000000c0000001,
    903   0x00000000e0000000, 0x00000000e0000000,
    904   0x00000000f0000000, 0x00000000f0000000,
    905   0x00000000f8000000, 0x00000000f8000000,
    906   0x00000000fc000000, 0x00000000fc000000,
    907   0x00000000fe000000, 0x00000000fe000000,
    908   0x00000000ff000000, 0x00000000ff000000,
    909   0x00000000ff800000, 0x00000000ff800000,
    910   0x00000000ffc00000, 0x00000000ffc00000,
    911   0x00000000ffe00000, 0x00000000ffe00000,
    912   0x00000000fff00000, 0x00000000fff00000,
    913   0x00000000fff80000, 0x00000000fff80000,
    914   0x00000000fffc0000, 0x00000000fffc0000,
    915   0x00000000fffe0000, 0x00000000fffe0000,
    916   0x00000000ffff0000, 0x00000000ffff0000,
    917   0x00000000ffff8000, 0x00000000ffff8000,
    918   0x00000000ffffc000, 0x00000000ffffc000,
    919   0x00000000ffffe000, 0x00000000ffffe000,
    920   0x00000000fffff000, 0x00000000fffff000,
    921   0x00000000fffff800, 0x00000000fffff800,
    922   0x00000000fffffc00, 0x00000000fffffc00,
    923   0x00000000fffffe00, 0x00000000fffffe00,
    924   0x00000000ffffff00, 0x00000000ffffff00,
    925   0x00000000ffffff80, 0x00000000ffffff80,
    926   0x00000000ffffffc0, 0x00000000ffffffc0,
    927   0x00000000ffffffe0, 0x00000000ffffffe0,
    928   0x00000000fffffff0, 0x00000000fffffff0,
    929   0x00000000fffffff8, 0x00000000fffffff8,
    930   0x00000000fffffffc, 0x00000000fffffffc,
    931   0x00000000fffffffe, 0x00000000fffffffe,
    932   0x00000000ffffffff, 0x00000000ffffffff,
    933   0x00000000ffffffff, 0x00000000ffffffff,
    934   0x00000000c0000001, 0x00000000ffffc000,
    935   0x00000000e0000000, 0x00000000ffffe000,
    936   0x00000000f0000000, 0x00000000fffff000,
    937   0x00000000f8000000, 0x00000000fffff800,
    938   0x00000000fc000000, 0x00000000fffffc00,
    939   0x00000000fe000000, 0x00000000fffffe00,
    940   0x00000000ff000000, 0x00000000ffffff00,
    941   0x00000000ff800000, 0x00000000ffffff80,
    942   0x00000000ffc00000, 0x00000000ffffffc0,
    943   0x00000000ffe00000, 0x00000000ffffffe0,
    944   0x00000000fff00000, 0x00000000fffffff0,
    945   0x00000000fff80000, 0x00000000fffffff8,
    946   0x00000000fffc0000, 0x00000000fffffffc,
    947   0x00000000fffe0000, 0x00000000fffffffe,
    948   0x00000000ffff0000, 0x00000000ffffffff,
    949   0x00000000ffff8000, 0x00000000ffffffff,
    950   0x00000000ffffc000, 0x00000000ffffffff,
    951   0x00000000ffffe000, 0x00000000ffffffff,
    952   0x00000000fffff000, 0x00000000ffffffff,
    953   0x00000000fffff800, 0x00000000ffffffff,
    954   0x00000000fffffc00, 0x00000000ffffffff,
    955   0x00000000fffffe00, 0x00000000ffffffff,
    956   0x00000000ffffff00, 0x00000000ffffffff,
    957   0x00000000ffffff80, 0x00000000ffffffff,
    958   0x00000000ffffffc0, 0x00000000ffffffff,
    959   0x00000000ffffffe0, 0x00000000ffffffff,
    960   0x00000000fffffff0, 0x00000000ffffffff,
    961   0x00000000fffffff8, 0x00000000ffffffff,
    962   0x00000000fffffffc, 0x00000000ffffffff,
    963   0x00000000fffffffe, 0x00000000ffffffff,
    964   0x00000000ffffffff, 0x00000000ffffffff,
    965   0x00000000ffffffff, 0x00000000ffffffff,
    966   0x00000000ffffc000, 0x00000000ffffc000,
    967   0x00000000ffffe000, 0x00000000ffffe000,
    968   0x00000000fffff000, 0x00000000fffff000,
    969   0x00000000fffff800, 0x00000000fffff800,
    970   0x00000000fffffc00, 0x00000000fffffc00,
    971   0x00000000fffffe00, 0x00000000fffffe00,
    972   0x00000000ffffff00, 0x00000000ffffff00,
    973   0x00000000ffffff80, 0x00000000ffffff80,
    974   0x00000000ffffffc0, 0x00000000ffffffc0,
    975   0x00000000ffffffe0, 0x00000000ffffffe0,
    976   0x00000000fffffff0, 0x00000000fffffff0,
    977   0x00000000fffffff8, 0x00000000fffffff8,
    978   0x00000000fffffffc, 0x00000000fffffffc,
    979   0x00000000fffffffe, 0x00000000fffffffe,
    980   0x00000000ffffffff, 0x00000000ffffffff,
    981   0x00000000ffffffff, 0x00000000ffffffff,
    982   0x00000000ffffffff, 0x00000000ffffffff,
    983   0x00000000ffffffff, 0x00000000ffffffff,
    984   0x00000000ffffffff, 0x00000000ffffffff,
    985   0x00000000ffffffff, 0x00000000ffffffff,
    986   0x00000000ffffffff, 0x00000000ffffffff,
    987   0x00000000ffffffff, 0x00000000ffffffff,
    988   0x00000000ffffffff, 0x00000000ffffffff,
    989   0x00000000ffffffff, 0x00000000ffffffff,
    990   0x00000000ffffffff, 0x00000000ffffffff,
    991   0x00000000ffffffff, 0x00000000ffffffff,
    992   0x00000000ffffffff, 0x00000000ffffffff,
    993   0x00000000ffffffff, 0x00000000ffffffff,
    994   0x00000000ffffffff, 0x00000000ffffffff,
    995   0x00000000ffffffff, 0x00000000ffffffff,
    996   0x00000000ffffffff, 0x00000000ffffffff,
    997   0x00000000ffffffff, 0x00000000ffffffff,
    998   0x00000000ffffc000, 0x00000000ffffc001,
    999   0x00000000ffffe000, 0x00000000ffffe000,
   1000   0x00000000fffff000, 0x00000000fffff000,
   1001   0x00000000fffff800, 0x00000000fffff800,
   1002   0x00000000fffffc00, 0x00000000fffffc00,
   1003   0x00000000fffffe00, 0x00000000fffffe00,
   1004   0x00000000ffffff00, 0x00000000ffffff00,
   1005   0x00000000ffffff80, 0x00000000ffffff80,
   1006   0x00000000ffffffc0, 0x00000000ffffffc0,
   1007   0x00000000ffffffe0, 0x00000000ffffffe0,
   1008   0x00000000fffffff0, 0x00000000fffffff0,
   1009   0x00000000fffffff8, 0x00000000fffffff8,
   1010   0x00000000fffffffc, 0x00000000fffffffc,
   1011   0x00000000fffffffe, 0x00000000fffffffe,
   1012   0x00000000ffffffff, 0x00000000ffffffff,
   1013   0x00000000ffffffff, 0x00000000ffffffff,
   1014   0x00000000ffffffff, 0x00000000ffffffff,
   1015   0x00000000ffffffff, 0x00000000ffffffff,
   1016   0x00000000ffffffff, 0x00000000ffffffff,
   1017   0x00000000ffffffff, 0x00000000ffffffff,
   1018   0x00000000ffffffff, 0x00000000ffffffff,
   1019   0x00000000ffffffff, 0x00000000ffffffff,
   1020   0x00000000ffffffff, 0x00000000ffffffff,
   1021   0x00000000ffffffff, 0x00000000ffffffff,
   1022   0x00000000ffffffff, 0x00000000ffffffff,
   1023   0x00000000ffffffff, 0x00000000ffffffff,
   1024   0x00000000ffffffff, 0x00000000ffffffff,
   1025   0x00000000ffffffff, 0x00000000ffffffff,
   1026   0x00000000ffffffff, 0x00000000ffffffff,
   1027   0x00000000ffffffff, 0x00000000ffffffff,
   1028   0x00000000ffffffff, 0x00000000ffffffff,
   1029   0x00000000ffffffff, 0x00000000ffffffff,
   1030   0x00000000ffffc001, 0x00000000ffffc001,
   1031   0x00000000ffffe000, 0x00000000ffffe000,
   1032   0x00000000fffff000, 0x00000000fffff000,
   1033   0x00000000fffff800, 0x00000000fffff800,
   1034   0x00000000fffffc00, 0x00000000fffffc00,
   1035   0x00000000fffffe00, 0x00000000fffffe00,
   1036   0x00000000ffffff00, 0x00000000ffffff00,
   1037   0x00000000ffffff80, 0x00000000ffffff80,
   1038   0x00000000ffffffc0, 0x00000000ffffffc0,
   1039   0x00000000ffffffe0, 0x00000000ffffffe0,
   1040   0x00000000fffffff0, 0x00000000fffffff0,
   1041   0x00000000fffffff8, 0x00000000fffffff8,
   1042   0x00000000fffffffc, 0x00000000fffffffc,
   1043   0x00000000fffffffe, 0x00000000fffffffe,
   1044   0x00000000ffffffff, 0x00000000ffffffff,
   1045   0x00000000ffffffff, 0x00000000ffffffff,
   1046   0x00000000ffffffff, 0x00000000ffffffff,
   1047   0x00000000ffffffff, 0x00000000ffffffff,
   1048   0x00000000ffffffff, 0x00000000ffffffff,
   1049   0x00000000ffffffff, 0x00000000ffffffff,
   1050   0x00000000ffffffff, 0x00000000ffffffff,
   1051   0x00000000ffffffff, 0x00000000ffffffff,
   1052   0x00000000ffffffff, 0x00000000ffffffff,
   1053   0x00000000ffffffff, 0x00000000ffffffff,
   1054   0x00000000ffffffff, 0x00000000ffffffff,
   1055   0x00000000ffffffff, 0x00000000ffffffff,
   1056   0x00000000ffffffff, 0x00000000ffffffff,
   1057   0x00000000ffffffff, 0x00000000ffffffff,
   1058   0x00000000ffffffff, 0x00000000ffffffff,
   1059   0x00000000ffffffff, 0x00000000ffffffff,
   1060   0x00000000ffffffff, 0x00000000ffffffff,
   1061   0x00000000ffffffff, 0x00000000ffffffff,
   1062   0x00000000ffffc001, 0x00000000ffffffc0,
   1063   0x00000000ffffe000, 0x00000000ffffffe0,
   1064   0x00000000fffff000, 0x00000000fffffff0,
   1065   0x00000000fffff800, 0x00000000fffffff8,
   1066   0x00000000fffffc00, 0x00000000fffffffc,
   1067   0x00000000fffffe00, 0x00000000fffffffe,
   1068   0x00000000ffffff00, 0x00000000ffffffff,
   1069   0x00000000ffffff80, 0x00000000ffffffff,
   1070   0x00000000ffffffc0, 0x00000000ffffffff,
   1071   0x00000000ffffffe0, 0x00000000ffffffff,
   1072   0x00000000fffffff0, 0x00000000ffffffff,
   1073   0x00000000fffffff8, 0x00000000ffffffff,
   1074   0x00000000fffffffc, 0x00000000ffffffff,
   1075   0x00000000fffffffe, 0x00000000ffffffff,
   1076   0x00000000ffffffff, 0x00000000ffffffff,
   1077   0x00000000ffffffff, 0x00000000ffffffff,
   1078   0x00000000ffffffff, 0x00000000ffffffff,
   1079   0x00000000ffffffff, 0x00000000ffffffff,
   1080   0x00000000ffffffff, 0x00000000ffffffff,
   1081   0x00000000ffffffff, 0x00000000ffffffff,
   1082   0x00000000ffffffff, 0x00000000ffffffff,
   1083   0x00000000ffffffff, 0x00000000ffffffff,
   1084   0x00000000ffffffff, 0x00000000ffffffff,
   1085   0x00000000ffffffff, 0x00000000ffffffff,
   1086   0x00000000ffffffff, 0x00000000ffffffff,
   1087   0x00000000ffffffff, 0x00000000ffffffff,
   1088   0x00000000ffffffff, 0x00000000ffffffff,
   1089   0x00000000ffffffff, 0x00000000ffffffff,
   1090   0x00000000ffffffff, 0x00000000ffffffff,
   1091   0x00000000ffffffff, 0x00000000ffffffff,
   1092   0x00000000ffffffff, 0x00000000ffffffff,
   1093   0x00000000ffffffff, 0x00000000ffffffff,
   1094   0x00000000ffffffc0, 0x00000000ffffffc0,
   1095   0x00000000ffffffe0, 0x00000000ffffffe0,
   1096   0x00000000fffffff0, 0x00000000fffffff0,
   1097   0x00000000fffffff8, 0x00000000fffffff8,
   1098   0x00000000fffffffc, 0x00000000fffffffc,
   1099   0x00000000fffffffe, 0x00000000fffffffe,
   1100   0x00000000ffffffff, 0x00000000ffffffff,
   1101   0x00000000ffffffff, 0x00000000ffffffff,
   1102   0x00000000ffffffff, 0x00000000ffffffff,
   1103   0x00000000ffffffff, 0x00000000ffffffff,
   1104   0x00000000ffffffff, 0x00000000ffffffff,
   1105   0x00000000ffffffff, 0x00000000ffffffff,
   1106   0x00000000ffffffff, 0x00000000ffffffff,
   1107   0x00000000ffffffff, 0x00000000ffffffff,
   1108   0x00000000ffffffff, 0x00000000ffffffff,
   1109   0x00000000ffffffff, 0x00000000ffffffff,
   1110   0x00000000ffffffff, 0x00000000ffffffff,
   1111   0x00000000ffffffff, 0x00000000ffffffff,
   1112   0x00000000ffffffff, 0x00000000ffffffff,
   1113   0x00000000ffffffff, 0x00000000ffffffff,
   1114   0x00000000ffffffff, 0x00000000ffffffff,
   1115   0x00000000ffffffff, 0x00000000ffffffff,
   1116   0x00000000ffffffff, 0x00000000ffffffff,
   1117   0x00000000ffffffff, 0x00000000ffffffff,
   1118   0x00000000ffffffff, 0x00000000ffffffff,
   1119   0x00000000ffffffff, 0x00000000ffffffff,
   1120   0x00000000ffffffff, 0x00000000ffffffff,
   1121   0x00000000ffffffff, 0x00000000ffffffff,
   1122   0x00000000ffffffff, 0x00000000ffffffff,
   1123   0x00000000ffffffff, 0x00000000ffffffff,
   1124   0x00000000ffffffff, 0x00000000ffffffff,
   1125   0x00000000ffffffff, 0x00000000ffffffff,
   1126   0x00000000ffffffc0, 0x00000000ffffffc1,
   1127   0x00000000ffffffe0, 0x00000000ffffffe0,
   1128   0x00000000fffffff0, 0x00000000fffffff0,
   1129   0x00000000fffffff8, 0x00000000fffffff8,
   1130   0x00000000fffffffc, 0x00000000fffffffc,
   1131   0x00000000fffffffe, 0x00000000fffffffe,
   1132   0x00000000ffffffff, 0x00000000ffffffff,
   1133   0x00000000ffffffff, 0x00000000ffffffff,
   1134   0x00000000ffffffff, 0x00000000ffffffff,
   1135   0x00000000ffffffff, 0x00000000ffffffff,
   1136   0x00000000ffffffff, 0x00000000ffffffff,
   1137   0x00000000ffffffff, 0x00000000ffffffff,
   1138   0x00000000ffffffff, 0x00000000ffffffff,
   1139   0x00000000ffffffff, 0x00000000ffffffff,
   1140   0x00000000ffffffff, 0x00000000ffffffff,
   1141   0x00000000ffffffff, 0x00000000ffffffff,
   1142   0x00000000ffffffff, 0x00000000ffffffff,
   1143   0x00000000ffffffff, 0x00000000ffffffff,
   1144   0x00000000ffffffff, 0x00000000ffffffff,
   1145   0x00000000ffffffff, 0x00000000ffffffff,
   1146   0x00000000ffffffff, 0x00000000ffffffff,
   1147   0x00000000ffffffff, 0x00000000ffffffff,
   1148   0x00000000ffffffff, 0x00000000ffffffff,
   1149   0x00000000ffffffff, 0x00000000ffffffff,
   1150   0x00000000ffffffff, 0x00000000ffffffff,
   1151   0x00000000ffffffff, 0x00000000ffffffff,
   1152   0x00000000ffffffff, 0x00000000ffffffff,
   1153   0x00000000ffffffff, 0x00000000ffffffff,
   1154   0x00000000ffffffff, 0x00000000ffffffff,
   1155   0x00000000ffffffff, 0x00000000ffffffff,
   1156   0x00000000ffffffff, 0x00000000ffffffff,
   1157   0x00000000ffffffff, 0x00000000ffffffff,
   1158   0x00000000ffffffc1, 0x00000000ffffffc1,
   1159   0x00000000ffffffe0, 0x00000000ffffffe0,
   1160   0x00000000fffffff0, 0x00000000fffffff0,
   1161   0x00000000fffffff8, 0x00000000fffffff8,
   1162   0x00000000fffffffc, 0x00000000fffffffc,
   1163   0x00000000fffffffe, 0x00000000fffffffe,
   1164   0x00000000ffffffff, 0x00000000ffffffff,
   1165   0x00000000ffffffff, 0x00000000ffffffff,
   1166   0x00000000ffffffff, 0x00000000ffffffff,
   1167   0x00000000ffffffff, 0x00000000ffffffff,
   1168   0x00000000ffffffff, 0x00000000ffffffff,
   1169   0x00000000ffffffff, 0x00000000ffffffff,
   1170   0x00000000ffffffff, 0x00000000ffffffff,
   1171   0x00000000ffffffff, 0x00000000ffffffff,
   1172   0x00000000ffffffff, 0x00000000ffffffff,
   1173   0x00000000ffffffff, 0x00000000ffffffff,
   1174   0x00000000ffffffff, 0x00000000ffffffff,
   1175   0x00000000ffffffff, 0x00000000ffffffff,
   1176   0x00000000ffffffff, 0x00000000ffffffff,
   1177   0x00000000ffffffff, 0x00000000ffffffff,
   1178   0x00000000ffffffff, 0x00000000ffffffff,
   1179   0x00000000ffffffff, 0x00000000ffffffff,
   1180   0x00000000ffffffff, 0x00000000ffffffff,
   1181   0x00000000ffffffff, 0x00000000ffffffff,
   1182   0x00000000ffffffff, 0x00000000ffffffff,
   1183   0x00000000ffffffff, 0x00000000ffffffff,
   1184   0x00000000ffffffff, 0x00000000ffffffff,
   1185   0x00000000ffffffff, 0x00000000ffffffff,
   1186   0x00000000ffffffff, 0x00000000ffffffff,
   1187   0x00000000ffffffff, 0x00000000ffffffff,
   1188   0x00000000ffffffff, 0x00000000ffffffff,
   1189   0x00000000ffffffff, 0x00000000ffffffff,
   1190   0x00000000ffffffc1, 0x00000000ffffffe0,
   1191   0x00000000ffffffe0, 0x00000000fffffff0,
   1192   0x00000000fffffff0, 0x00000000fffffff8,
   1193   0x00000000fffffff8, 0x00000000fffffffc,
   1194   0x00000000fffffffc, 0x00000000fffffffe,
   1195   0x00000000fffffffe, 0x00000000ffffffff,
   1196   0x00000000ffffffff, 0x00000000ffffffff,
   1197   0x00000000ffffffff, 0x00000000ffffffff,
   1198   0x00000000ffffffff, 0x00000000ffffffff,
   1199   0x00000000ffffffff, 0x00000000ffffffff,
   1200   0x00000000ffffffff, 0x00000000ffffffff,
   1201   0x00000000ffffffff, 0x00000000ffffffff,
   1202   0x00000000ffffffff, 0x00000000ffffffff,
   1203   0x00000000ffffffff, 0x00000000ffffffff,
   1204   0x00000000ffffffff, 0x00000000ffffffff,
   1205   0x00000000ffffffff, 0x00000000ffffffff,
   1206   0x00000000ffffffff, 0x00000000ffffffff,
   1207   0x00000000ffffffff, 0x00000000ffffffff,
   1208   0x00000000ffffffff, 0x00000000ffffffff,
   1209   0x00000000ffffffff, 0x00000000ffffffff,
   1210   0x00000000ffffffff, 0x00000000ffffffff,
   1211   0x00000000ffffffff, 0x00000000ffffffff,
   1212   0x00000000ffffffff, 0x00000000ffffffff,
   1213   0x00000000ffffffff, 0x00000000ffffffff,
   1214   0x00000000ffffffff, 0x00000000ffffffff,
   1215   0x00000000ffffffff, 0x00000000ffffffff,
   1216   0x00000000ffffffff, 0x00000000ffffffff,
   1217   0x00000000ffffffff, 0x00000000ffffffff,
   1218   0x00000000ffffffff, 0x00000000ffffffff,
   1219   0x00000000ffffffff, 0x00000000ffffffff,
   1220   0x00000000ffffffff, 0x00000000ffffffff,
   1221   0x00000000ffffffff, 0x00000000ffffffff,
   1222   0x00000000ffffffe0, 0x00000000fffffffe,
   1223   0x00000000fffffff0, 0x00000000ffffffff,
   1224   0x00000000fffffff8, 0x00000000ffffffff,
   1225   0x00000000fffffffc, 0x00000000ffffffff,
   1226   0x00000000fffffffe, 0x00000000ffffffff,
   1227   0x00000000ffffffff, 0x00000000ffffffff,
   1228   0x00000000ffffffff, 0x00000000ffffffff,
   1229   0x00000000ffffffff, 0x00000000ffffffff,
   1230   0x00000000ffffffff, 0x00000000ffffffff,
   1231   0x00000000ffffffff, 0x00000000ffffffff,
   1232   0x00000000ffffffff, 0x00000000ffffffff,
   1233   0x00000000ffffffff, 0x00000000ffffffff,
   1234   0x00000000ffffffff, 0x00000000ffffffff,
   1235   0x00000000ffffffff, 0x00000000ffffffff,
   1236   0x00000000ffffffff, 0x00000000ffffffff,
   1237   0x00000000ffffffff, 0x00000000ffffffff,
   1238   0x00000000ffffffff, 0x00000000ffffffff,
   1239   0x00000000ffffffff, 0x00000000ffffffff,
   1240   0x00000000ffffffff, 0x00000000ffffffff,
   1241   0x00000000ffffffff, 0x00000000ffffffff,
   1242   0x00000000ffffffff, 0x00000000ffffffff,
   1243   0x00000000ffffffff, 0x00000000ffffffff,
   1244   0x00000000ffffffff, 0x00000000ffffffff,
   1245   0x00000000ffffffff, 0x00000000ffffffff,
   1246   0x00000000ffffffff, 0x00000000ffffffff,
   1247   0x00000000ffffffff, 0x00000000ffffffff,
   1248   0x00000000ffffffff, 0x00000000ffffffff,
   1249   0x00000000ffffffff, 0x00000000ffffffff,
   1250   0x00000000ffffffff, 0x00000000ffffffff,
   1251   0x00000000ffffffff, 0x00000000ffffffff,
   1252   0x00000000ffffffff, 0x00000000ffffffff,
   1253   0x00000000ffffffff, 0x00000000ffffffff,
   1254   0x00000000fffffffe, 0x00000000ffffffff,
   1255   0x00000000ffffffff, 0x00000000ffffffff,
   1256   0x00000000ffffffff, 0x00000000ffffffff,
   1257   0x00000000ffffffff, 0x00000000ffffffff,
   1258   0x00000000ffffffff, 0x00000000ffffffff,
   1259   0x00000000ffffffff, 0x00000000ffffffff,
   1260   0x00000000ffffffff, 0x00000000ffffffff,
   1261   0x00000000ffffffff, 0x00000000ffffffff,
   1262   0x00000000ffffffff, 0x00000000ffffffff,
   1263   0x00000000ffffffff, 0x00000000ffffffff,
   1264   0x00000000ffffffff, 0x00000000ffffffff,
   1265   0x00000000ffffffff, 0x00000000ffffffff,
   1266   0x00000000ffffffff, 0x00000000ffffffff,
   1267   0x00000000ffffffff, 0x00000000ffffffff,
   1268   0x00000000ffffffff, 0x00000000ffffffff,
   1269   0x00000000ffffffff, 0x00000000ffffffff,
   1270   0x00000000ffffffff, 0x00000000ffffffff,
   1271   0x00000000ffffffff, 0x00000000ffffffff,
   1272   0x00000000ffffffff, 0x00000000ffffffff,
   1273   0x00000000ffffffff, 0x00000000ffffffff,
   1274   0x00000000ffffffff, 0x00000000ffffffff,
   1275   0x00000000ffffffff, 0x00000000ffffffff,
   1276   0x00000000ffffffff, 0x00000000ffffffff,
   1277   0x00000000ffffffff, 0x00000000ffffffff,
   1278   0x00000000ffffffff, 0x00000000ffffffff,
   1279   0x00000000ffffffff, 0x00000000ffffffff,
   1280   0x00000000ffffffff, 0x00000000ffffffff,
   1281   0x00000000ffffffff, 0x00000000ffffffff,
   1282   0x00000000ffffffff, 0x00000000ffffffff,
   1283   0x00000000ffffffff, 0x00000000ffffffff,
   1284   0x00000000ffffffff, 0x00000000ffffffff,
   1285   0x00000000ffffffff, 0x00000000ffffffff,
   1286   0x00000000ffffffff, 0x00000000ffffffff,
   1287   0x00000000ffffffff, 0x00000000ffffffff,
   1288   0x00000000ffffffff, 0x00000000ffffffff,
   1289   0x00000000ffffffff, 0x00000000ffffffff,
   1290   0x00000000ffffffff, 0x00000000ffffffff,
   1291   0x00000000ffffffff, 0x00000000ffffffff,
   1292   0x00000000ffffffff, 0x00000000ffffffff,
   1293   0x00000000ffffffff, 0x00000000ffffffff,
   1294   0x00000000ffffffff, 0x00000000ffffffff,
   1295   0x00000000ffffffff, 0x00000000ffffffff,
   1296   0x00000000ffffffff, 0x00000000ffffffff,
   1297   0x00000000ffffffff, 0x00000000ffffffff,
   1298   0x00000000ffffffff, 0x00000000ffffffff,
   1299   0x00000000ffffffff, 0x00000000ffffffff,
   1300   0x00000000ffffffff, 0x00000000ffffffff,
   1301   0x00000000ffffffff, 0x00000000ffffffff,
   1302   0x00000000ffffffff, 0x00000000ffffffff,
   1303   0x00000000ffffffff, 0x00000000ffffffff,
   1304   0x00000000ffffffff, 0x00000000ffffffff,
   1305   0x00000000ffffffff, 0x00000000ffffffff,
   1306   0x00000000ffffffff, 0x00000000ffffffff,
   1307   0x00000000ffffffff, 0x00000000ffffffff,
   1308   0x00000000ffffffff, 0x00000000ffffffff,
   1309   0x00000000ffffffff, 0x00000000ffffffff,
   1310   0x00000000ffffffff, 0x00000000ffffffff,
   1311   0x00000000ffffffff, 0x00000000ffffffff,
   1312   0x00000000ffffffff, 0x00000000ffffffff,
   1313   0x00000000ffffffff, 0x00000000ffffffff,
   1314   0x00000000ffffffff, 0x00000000ffffffff,
   1315   0x00000000ffffffff, 0x00000000ffffffff,
   1316   0x00000000ffffffff, 0x00000000ffffffff,
   1317   0x00000000ffffffff, 0x00000000ffffffff,
   1318 };
   1319 const unsigned kExpectedCount_NEON_shrn_2S_2OPIMM = 1280;
   1320 
   1321 #endif  // VIXL_SIM_SHRN_2S_2OPIMM_TRACE_A64_H_
   1322