Home | History | Annotate | Download | only in a64 
      1 // Copyright 2015, ARM Limited
      2 // All rights reserved.
      3 //
      4 // Redistribution and use in source and binary forms, with or without
      5 // modification, are permitted provided that the following conditions are met:
      6 //
      7 //   * Redistributions of source code must retain the above copyright notice,
      8 //     this list of conditions and the following disclaimer.
      9 //   * Redistributions in binary form must reproduce the above copyright notice,
     10 //     this list of conditions and the following disclaimer in the documentation
     11 //     and/or other materials provided with the distribution.
     12 //   * Neither the name of ARM Limited nor the names of its contributors may be
     13 //     used to endorse or promote products derived from this software without
     14 //     specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
     17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
     20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
     23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     26 
     27 
     28 // ---------------------------------------------------------------------
     29 // This file is auto generated using tools/generate_simulator_traces.py.
     30 //
     31 // PLEASE DO NOT EDIT.
     32 // ---------------------------------------------------------------------
     33 
     34 #ifndef VIXL_SIM_URSHR_4S_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_URSHR_4S_2OPIMM_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_urshr_4S_2OPIMM[] = {
     38   0x7fffffff, 0x7fffffff, 0x80000000, 0x00000000,
     39   0x3fffffff, 0x40000000, 0x40000000, 0x00000000,
     40   0x20000000, 0x20000000, 0x20000000, 0x00000000,
     41   0x10000000, 0x10000000, 0x10000000, 0x00000000,
     42   0x08000000, 0x08000000, 0x08000000, 0x00000000,
     43   0x04000000, 0x04000000, 0x04000000, 0x00000000,
     44   0x02000000, 0x02000000, 0x02000000, 0x00000000,
     45   0x01000000, 0x01000000, 0x01000000, 0x00000000,
     46   0x00800000, 0x00800000, 0x00800000, 0x00000000,
     47   0x00400000, 0x00400000, 0x00400000, 0x00000000,
     48   0x00200000, 0x00200000, 0x00200000, 0x00000000,
     49   0x00100000, 0x00100000, 0x00100000, 0x00000000,
     50   0x00080000, 0x00080000, 0x00080000, 0x00000000,
     51   0x00040000, 0x00040000, 0x00040000, 0x00000000,
     52   0x00020000, 0x00020000, 0x00020000, 0x00000000,
     53   0x00010000, 0x00010000, 0x00010000, 0x00000000,
     54   0x00008000, 0x00008000, 0x00008000, 0x00000000,
     55   0x00004000, 0x00004000, 0x00004000, 0x00000000,
     56   0x00002000, 0x00002000, 0x00002000, 0x00000000,
     57   0x00001000, 0x00001000, 0x00001000, 0x00000000,
     58   0x00000800, 0x00000800, 0x00000800, 0x00000000,
     59   0x00000400, 0x00000400, 0x00000400, 0x00000000,
     60   0x00000200, 0x00000200, 0x00000200, 0x00000000,
     61   0x00000100, 0x00000100, 0x00000100, 0x00000000,
     62   0x00000080, 0x00000080, 0x00000080, 0x00000000,
     63   0x00000040, 0x00000040, 0x00000040, 0x00000000,
     64   0x00000020, 0x00000020, 0x00000020, 0x00000000,
     65   0x00000010, 0x00000010, 0x00000010, 0x00000000,
     66   0x00000008, 0x00000008, 0x00000008, 0x00000000,
     67   0x00000004, 0x00000004, 0x00000004, 0x00000000,
     68   0x00000002, 0x00000002, 0x00000002, 0x00000000,
     69   0x00000001, 0x00000001, 0x00000001, 0x00000000,
     70   0x7fffffff, 0x80000000, 0x00000000, 0x00000001,
     71   0x40000000, 0x40000000, 0x00000000, 0x00000000,
     72   0x20000000, 0x20000000, 0x00000000, 0x00000000,
     73   0x10000000, 0x10000000, 0x00000000, 0x00000000,
     74   0x08000000, 0x08000000, 0x00000000, 0x00000000,
     75   0x04000000, 0x04000000, 0x00000000, 0x00000000,
     76   0x02000000, 0x02000000, 0x00000000, 0x00000000,
     77   0x01000000, 0x01000000, 0x00000000, 0x00000000,
     78   0x00800000, 0x00800000, 0x00000000, 0x00000000,
     79   0x00400000, 0x00400000, 0x00000000, 0x00000000,
     80   0x00200000, 0x00200000, 0x00000000, 0x00000000,
     81   0x00100000, 0x00100000, 0x00000000, 0x00000000,
     82   0x00080000, 0x00080000, 0x00000000, 0x00000000,
     83   0x00040000, 0x00040000, 0x00000000, 0x00000000,
     84   0x00020000, 0x00020000, 0x00000000, 0x00000000,
     85   0x00010000, 0x00010000, 0x00000000, 0x00000000,
     86   0x00008000, 0x00008000, 0x00000000, 0x00000000,
     87   0x00004000, 0x00004000, 0x00000000, 0x00000000,
     88   0x00002000, 0x00002000, 0x00000000, 0x00000000,
     89   0x00001000, 0x00001000, 0x00000000, 0x00000000,
     90   0x00000800, 0x00000800, 0x00000000, 0x00000000,
     91   0x00000400, 0x00000400, 0x00000000, 0x00000000,
     92   0x00000200, 0x00000200, 0x00000000, 0x00000000,
     93   0x00000100, 0x00000100, 0x00000000, 0x00000000,
     94   0x00000080, 0x00000080, 0x00000000, 0x00000000,
     95   0x00000040, 0x00000040, 0x00000000, 0x00000000,
     96   0x00000020, 0x00000020, 0x00000000, 0x00000000,
     97   0x00000010, 0x00000010, 0x00000000, 0x00000000,
     98   0x00000008, 0x00000008, 0x00000000, 0x00000000,
     99   0x00000004, 0x00000004, 0x00000000, 0x00000000,
    100   0x00000002, 0x00000002, 0x00000000, 0x00000000,
    101   0x00000001, 0x00000001, 0x00000000, 0x00000000,
    102   0x80000000, 0x00000000, 0x00000001, 0x00000001,
    103   0x40000000, 0x00000000, 0x00000000, 0x00000001,
    104   0x20000000, 0x00000000, 0x00000000, 0x00000000,
    105   0x10000000, 0x00000000, 0x00000000, 0x00000000,
    106   0x08000000, 0x00000000, 0x00000000, 0x00000000,
    107   0x04000000, 0x00000000, 0x00000000, 0x00000000,
    108   0x02000000, 0x00000000, 0x00000000, 0x00000000,
    109   0x01000000, 0x00000000, 0x00000000, 0x00000000,
    110   0x00800000, 0x00000000, 0x00000000, 0x00000000,
    111   0x00400000, 0x00000000, 0x00000000, 0x00000000,
    112   0x00200000, 0x00000000, 0x00000000, 0x00000000,
    113   0x00100000, 0x00000000, 0x00000000, 0x00000000,
    114   0x00080000, 0x00000000, 0x00000000, 0x00000000,
    115   0x00040000, 0x00000000, 0x00000000, 0x00000000,
    116   0x00020000, 0x00000000, 0x00000000, 0x00000000,
    117   0x00010000, 0x00000000, 0x00000000, 0x00000000,
    118   0x00008000, 0x00000000, 0x00000000, 0x00000000,
    119   0x00004000, 0x00000000, 0x00000000, 0x00000000,
    120   0x00002000, 0x00000000, 0x00000000, 0x00000000,
    121   0x00001000, 0x00000000, 0x00000000, 0x00000000,
    122   0x00000800, 0x00000000, 0x00000000, 0x00000000,
    123   0x00000400, 0x00000000, 0x00000000, 0x00000000,
    124   0x00000200, 0x00000000, 0x00000000, 0x00000000,
    125   0x00000100, 0x00000000, 0x00000000, 0x00000000,
    126   0x00000080, 0x00000000, 0x00000000, 0x00000000,
    127   0x00000040, 0x00000000, 0x00000000, 0x00000000,
    128   0x00000020, 0x00000000, 0x00000000, 0x00000000,
    129   0x00000010, 0x00000000, 0x00000000, 0x00000000,
    130   0x00000008, 0x00000000, 0x00000000, 0x00000000,
    131   0x00000004, 0x00000000, 0x00000000, 0x00000000,
    132   0x00000002, 0x00000000, 0x00000000, 0x00000000,
    133   0x00000001, 0x00000000, 0x00000000, 0x00000000,
    134   0x00000000, 0x00000001, 0x00000001, 0x00000010,
    135   0x00000000, 0x00000000, 0x00000001, 0x00000008,
    136   0x00000000, 0x00000000, 0x00000000, 0x00000004,
    137   0x00000000, 0x00000000, 0x00000000, 0x00000002,
    138   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    139   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    140   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    141   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    142   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    143   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    144   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    145   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    146   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    147   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    148   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    149   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    150   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    151   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    152   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    153   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    154   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    155   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    156   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    157   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    158   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    159   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    160   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    161   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    162   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    163   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    164   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    165   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    166   0x00000001, 0x00000001, 0x00000010, 0x0000003f,
    167   0x00000000, 0x00000001, 0x00000008, 0x0000001f,
    168   0x00000000, 0x00000000, 0x00000004, 0x00000010,
    169   0x00000000, 0x00000000, 0x00000002, 0x00000008,
    170   0x00000000, 0x00000000, 0x00000001, 0x00000004,
    171   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    172   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    173   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    174   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    175   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    176   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    177   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    178   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    179   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    180   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    181   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    182   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    183   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    184   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    185   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    186   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    187   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    188   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    189   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    190   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    191   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    192   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    193   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    194   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    195   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    196   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    197   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    198   0x00000001, 0x00000010, 0x0000003f, 0x0000003f,
    199   0x00000001, 0x00000008, 0x0000001f, 0x00000020,
    200   0x00000000, 0x00000004, 0x00000010, 0x00000010,
    201   0x00000000, 0x00000002, 0x00000008, 0x00000008,
    202   0x00000000, 0x00000001, 0x00000004, 0x00000004,
    203   0x00000000, 0x00000001, 0x00000002, 0x00000002,
    204   0x00000000, 0x00000000, 0x00000001, 0x00000001,
    205   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    206   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    207   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    208   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    209   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    210   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    211   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    212   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    213   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    214   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    215   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    216   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    217   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    218   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    219   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    220   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    221   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    222   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    223   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    224   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    225   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    226   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    227   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    228   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    229   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    230   0x00000010, 0x0000003f, 0x0000003f, 0x00000040,
    231   0x00000008, 0x0000001f, 0x00000020, 0x00000020,
    232   0x00000004, 0x00000010, 0x00000010, 0x00000010,
    233   0x00000002, 0x00000008, 0x00000008, 0x00000008,
    234   0x00000001, 0x00000004, 0x00000004, 0x00000004,
    235   0x00000001, 0x00000002, 0x00000002, 0x00000002,
    236   0x00000000, 0x00000001, 0x00000001, 0x00000001,
    237   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    238   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    239   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    240   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    241   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    242   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    243   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    244   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    245   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    246   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    247   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    248   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    249   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    250   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    251   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    252   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    253   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    254   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    255   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    256   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    257   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    258   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    259   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    260   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    261   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    262   0x0000003f, 0x0000003f, 0x00000040, 0x00003fff,
    263   0x0000001f, 0x00000020, 0x00000020, 0x00001fff,
    264   0x00000010, 0x00000010, 0x00000010, 0x00001000,
    265   0x00000008, 0x00000008, 0x00000008, 0x00000800,
    266   0x00000004, 0x00000004, 0x00000004, 0x00000400,
    267   0x00000002, 0x00000002, 0x00000002, 0x00000200,
    268   0x00000001, 0x00000001, 0x00000001, 0x00000100,
    269   0x00000000, 0x00000000, 0x00000000, 0x00000080,
    270   0x00000000, 0x00000000, 0x00000000, 0x00000040,
    271   0x00000000, 0x00000000, 0x00000000, 0x00000020,
    272   0x00000000, 0x00000000, 0x00000000, 0x00000010,
    273   0x00000000, 0x00000000, 0x00000000, 0x00000008,
    274   0x00000000, 0x00000000, 0x00000000, 0x00000004,
    275   0x00000000, 0x00000000, 0x00000000, 0x00000002,
    276   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    277   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    278   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    279   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    280   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    281   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    282   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    283   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    284   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    285   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    286   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    287   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    288   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    289   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    290   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    291   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    292   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    293   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    294   0x0000003f, 0x00000040, 0x00003fff, 0x00003fff,
    295   0x00000020, 0x00000020, 0x00001fff, 0x00002000,
    296   0x00000010, 0x00000010, 0x00001000, 0x00001000,
    297   0x00000008, 0x00000008, 0x00000800, 0x00000800,
    298   0x00000004, 0x00000004, 0x00000400, 0x00000400,
    299   0x00000002, 0x00000002, 0x00000200, 0x00000200,
    300   0x00000001, 0x00000001, 0x00000100, 0x00000100,
    301   0x00000000, 0x00000000, 0x00000080, 0x00000080,
    302   0x00000000, 0x00000000, 0x00000040, 0x00000040,
    303   0x00000000, 0x00000000, 0x00000020, 0x00000020,
    304   0x00000000, 0x00000000, 0x00000010, 0x00000010,
    305   0x00000000, 0x00000000, 0x00000008, 0x00000008,
    306   0x00000000, 0x00000000, 0x00000004, 0x00000004,
    307   0x00000000, 0x00000000, 0x00000002, 0x00000002,
    308   0x00000000, 0x00000000, 0x00000001, 0x00000001,
    309   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    310   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    311   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    312   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    313   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    314   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    315   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    316   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    317   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    318   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    319   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    320   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    321   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    322   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    323   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    324   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    325   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    326   0x00000040, 0x00003fff, 0x00003fff, 0x00004000,
    327   0x00000020, 0x00001fff, 0x00002000, 0x00002000,
    328   0x00000010, 0x00001000, 0x00001000, 0x00001000,
    329   0x00000008, 0x00000800, 0x00000800, 0x00000800,
    330   0x00000004, 0x00000400, 0x00000400, 0x00000400,
    331   0x00000002, 0x00000200, 0x00000200, 0x00000200,
    332   0x00000001, 0x00000100, 0x00000100, 0x00000100,
    333   0x00000000, 0x00000080, 0x00000080, 0x00000080,
    334   0x00000000, 0x00000040, 0x00000040, 0x00000040,
    335   0x00000000, 0x00000020, 0x00000020, 0x00000020,
    336   0x00000000, 0x00000010, 0x00000010, 0x00000010,
    337   0x00000000, 0x00000008, 0x00000008, 0x00000008,
    338   0x00000000, 0x00000004, 0x00000004, 0x00000004,
    339   0x00000000, 0x00000002, 0x00000002, 0x00000002,
    340   0x00000000, 0x00000001, 0x00000001, 0x00000001,
    341   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    342   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    343   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    344   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    345   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    346   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    347   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    348   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    349   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    350   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    351   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    352   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    353   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    354   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    355   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    356   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    357   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    358   0x00003fff, 0x00003fff, 0x00004000, 0x1999999a,
    359   0x00001fff, 0x00002000, 0x00002000, 0x0ccccccd,
    360   0x00001000, 0x00001000, 0x00001000, 0x06666666,
    361   0x00000800, 0x00000800, 0x00000800, 0x03333333,
    362   0x00000400, 0x00000400, 0x00000400, 0x0199999a,
    363   0x00000200, 0x00000200, 0x00000200, 0x00cccccd,
    364   0x00000100, 0x00000100, 0x00000100, 0x00666666,
    365   0x00000080, 0x00000080, 0x00000080, 0x00333333,
    366   0x00000040, 0x00000040, 0x00000040, 0x0019999a,
    367   0x00000020, 0x00000020, 0x00000020, 0x000ccccd,
    368   0x00000010, 0x00000010, 0x00000010, 0x00066666,
    369   0x00000008, 0x00000008, 0x00000008, 0x00033333,
    370   0x00000004, 0x00000004, 0x00000004, 0x0001999a,
    371   0x00000002, 0x00000002, 0x00000002, 0x0000cccd,
    372   0x00000001, 0x00000001, 0x00000001, 0x00006666,
    373   0x00000000, 0x00000000, 0x00000000, 0x00003333,
    374   0x00000000, 0x00000000, 0x00000000, 0x0000199a,
    375   0x00000000, 0x00000000, 0x00000000, 0x00000ccd,
    376   0x00000000, 0x00000000, 0x00000000, 0x00000666,
    377   0x00000000, 0x00000000, 0x00000000, 0x00000333,
    378   0x00000000, 0x00000000, 0x00000000, 0x0000019a,
    379   0x00000000, 0x00000000, 0x00000000, 0x000000cd,
    380   0x00000000, 0x00000000, 0x00000000, 0x00000066,
    381   0x00000000, 0x00000000, 0x00000000, 0x00000033,
    382   0x00000000, 0x00000000, 0x00000000, 0x0000001a,
    383   0x00000000, 0x00000000, 0x00000000, 0x0000000d,
    384   0x00000000, 0x00000000, 0x00000000, 0x00000006,
    385   0x00000000, 0x00000000, 0x00000000, 0x00000003,
    386   0x00000000, 0x00000000, 0x00000000, 0x00000002,
    387   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    388   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    389   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    390   0x00003fff, 0x00004000, 0x1999999a, 0x2aaaaaab,
    391   0x00002000, 0x00002000, 0x0ccccccd, 0x15555555,
    392   0x00001000, 0x00001000, 0x06666666, 0x0aaaaaab,
    393   0x00000800, 0x00000800, 0x03333333, 0x05555555,
    394   0x00000400, 0x00000400, 0x0199999a, 0x02aaaaab,
    395   0x00000200, 0x00000200, 0x00cccccd, 0x01555555,
    396   0x00000100, 0x00000100, 0x00666666, 0x00aaaaab,
    397   0x00000080, 0x00000080, 0x00333333, 0x00555555,
    398   0x00000040, 0x00000040, 0x0019999a, 0x002aaaab,
    399   0x00000020, 0x00000020, 0x000ccccd, 0x00155555,
    400   0x00000010, 0x00000010, 0x00066666, 0x000aaaab,
    401   0x00000008, 0x00000008, 0x00033333, 0x00055555,
    402   0x00000004, 0x00000004, 0x0001999a, 0x0002aaab,
    403   0x00000002, 0x00000002, 0x0000cccd, 0x00015555,
    404   0x00000001, 0x00000001, 0x00006666, 0x0000aaab,
    405   0x00000000, 0x00000000, 0x00003333, 0x00005555,
    406   0x00000000, 0x00000000, 0x0000199a, 0x00002aab,
    407   0x00000000, 0x00000000, 0x00000ccd, 0x00001555,
    408   0x00000000, 0x00000000, 0x00000666, 0x00000aab,
    409   0x00000000, 0x00000000, 0x00000333, 0x00000555,
    410   0x00000000, 0x00000000, 0x0000019a, 0x000002ab,
    411   0x00000000, 0x00000000, 0x000000cd, 0x00000155,
    412   0x00000000, 0x00000000, 0x00000066, 0x000000ab,
    413   0x00000000, 0x00000000, 0x00000033, 0x00000055,
    414   0x00000000, 0x00000000, 0x0000001a, 0x0000002b,
    415   0x00000000, 0x00000000, 0x0000000d, 0x00000015,
    416   0x00000000, 0x00000000, 0x00000006, 0x0000000b,
    417   0x00000000, 0x00000000, 0x00000003, 0x00000005,
    418   0x00000000, 0x00000000, 0x00000002, 0x00000003,
    419   0x00000000, 0x00000000, 0x00000001, 0x00000001,
    420   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    421   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    422   0x00004000, 0x1999999a, 0x2aaaaaab, 0x3fffffff,
    423   0x00002000, 0x0ccccccd, 0x15555555, 0x1fffffff,
    424   0x00001000, 0x06666666, 0x0aaaaaab, 0x10000000,
    425   0x00000800, 0x03333333, 0x05555555, 0x08000000,
    426   0x00000400, 0x0199999a, 0x02aaaaab, 0x04000000,
    427   0x00000200, 0x00cccccd, 0x01555555, 0x02000000,
    428   0x00000100, 0x00666666, 0x00aaaaab, 0x01000000,
    429   0x00000080, 0x00333333, 0x00555555, 0x00800000,
    430   0x00000040, 0x0019999a, 0x002aaaab, 0x00400000,
    431   0x00000020, 0x000ccccd, 0x00155555, 0x00200000,
    432   0x00000010, 0x00066666, 0x000aaaab, 0x00100000,
    433   0x00000008, 0x00033333, 0x00055555, 0x00080000,
    434   0x00000004, 0x0001999a, 0x0002aaab, 0x00040000,
    435   0x00000002, 0x0000cccd, 0x00015555, 0x00020000,
    436   0x00000001, 0x00006666, 0x0000aaab, 0x00010000,
    437   0x00000000, 0x00003333, 0x00005555, 0x00008000,
    438   0x00000000, 0x0000199a, 0x00002aab, 0x00004000,
    439   0x00000000, 0x00000ccd, 0x00001555, 0x00002000,
    440   0x00000000, 0x00000666, 0x00000aab, 0x00001000,
    441   0x00000000, 0x00000333, 0x00000555, 0x00000800,
    442   0x00000000, 0x0000019a, 0x000002ab, 0x00000400,
    443   0x00000000, 0x000000cd, 0x00000155, 0x00000200,
    444   0x00000000, 0x00000066, 0x000000ab, 0x00000100,
    445   0x00000000, 0x00000033, 0x00000055, 0x00000080,
    446   0x00000000, 0x0000001a, 0x0000002b, 0x00000040,
    447   0x00000000, 0x0000000d, 0x00000015, 0x00000020,
    448   0x00000000, 0x00000006, 0x0000000b, 0x00000010,
    449   0x00000000, 0x00000003, 0x00000005, 0x00000008,
    450   0x00000000, 0x00000002, 0x00000003, 0x00000004,
    451   0x00000000, 0x00000001, 0x00000001, 0x00000002,
    452   0x00000000, 0x00000000, 0x00000001, 0x00000001,
    453   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    454   0x1999999a, 0x2aaaaaab, 0x3fffffff, 0x3fffffff,
    455   0x0ccccccd, 0x15555555, 0x1fffffff, 0x20000000,
    456   0x06666666, 0x0aaaaaab, 0x10000000, 0x10000000,
    457   0x03333333, 0x05555555, 0x08000000, 0x08000000,
    458   0x0199999a, 0x02aaaaab, 0x04000000, 0x04000000,
    459   0x00cccccd, 0x01555555, 0x02000000, 0x02000000,
    460   0x00666666, 0x00aaaaab, 0x01000000, 0x01000000,
    461   0x00333333, 0x00555555, 0x00800000, 0x00800000,
    462   0x0019999a, 0x002aaaab, 0x00400000, 0x00400000,
    463   0x000ccccd, 0x00155555, 0x00200000, 0x00200000,
    464   0x00066666, 0x000aaaab, 0x00100000, 0x00100000,
    465   0x00033333, 0x00055555, 0x00080000, 0x00080000,
    466   0x0001999a, 0x0002aaab, 0x00040000, 0x00040000,
    467   0x0000cccd, 0x00015555, 0x00020000, 0x00020000,
    468   0x00006666, 0x0000aaab, 0x00010000, 0x00010000,
    469   0x00003333, 0x00005555, 0x00008000, 0x00008000,
    470   0x0000199a, 0x00002aab, 0x00004000, 0x00004000,
    471   0x00000ccd, 0x00001555, 0x00002000, 0x00002000,
    472   0x00000666, 0x00000aab, 0x00001000, 0x00001000,
    473   0x00000333, 0x00000555, 0x00000800, 0x00000800,
    474   0x0000019a, 0x000002ab, 0x00000400, 0x00000400,
    475   0x000000cd, 0x00000155, 0x00000200, 0x00000200,
    476   0x00000066, 0x000000ab, 0x00000100, 0x00000100,
    477   0x00000033, 0x00000055, 0x00000080, 0x00000080,
    478   0x0000001a, 0x0000002b, 0x00000040, 0x00000040,
    479   0x0000000d, 0x00000015, 0x00000020, 0x00000020,
    480   0x00000006, 0x0000000b, 0x00000010, 0x00000010,
    481   0x00000003, 0x00000005, 0x00000008, 0x00000008,
    482   0x00000002, 0x00000003, 0x00000004, 0x00000004,
    483   0x00000001, 0x00000001, 0x00000002, 0x00000002,
    484   0x00000000, 0x00000001, 0x00000001, 0x00000001,
    485   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    486   0x2aaaaaab, 0x3fffffff, 0x3fffffff, 0x40000000,
    487   0x15555555, 0x1fffffff, 0x20000000, 0x20000000,
    488   0x0aaaaaab, 0x10000000, 0x10000000, 0x10000000,
    489   0x05555555, 0x08000000, 0x08000000, 0x08000000,
    490   0x02aaaaab, 0x04000000, 0x04000000, 0x04000000,
    491   0x01555555, 0x02000000, 0x02000000, 0x02000000,
    492   0x00aaaaab, 0x01000000, 0x01000000, 0x01000000,
    493   0x00555555, 0x00800000, 0x00800000, 0x00800000,
    494   0x002aaaab, 0x00400000, 0x00400000, 0x00400000,
    495   0x00155555, 0x00200000, 0x00200000, 0x00200000,
    496   0x000aaaab, 0x00100000, 0x00100000, 0x00100000,
    497   0x00055555, 0x00080000, 0x00080000, 0x00080000,
    498   0x0002aaab, 0x00040000, 0x00040000, 0x00040000,
    499   0x00015555, 0x00020000, 0x00020000, 0x00020000,
    500   0x0000aaab, 0x00010000, 0x00010000, 0x00010000,
    501   0x00005555, 0x00008000, 0x00008000, 0x00008000,
    502   0x00002aab, 0x00004000, 0x00004000, 0x00004000,
    503   0x00001555, 0x00002000, 0x00002000, 0x00002000,
    504   0x00000aab, 0x00001000, 0x00001000, 0x00001000,
    505   0x00000555, 0x00000800, 0x00000800, 0x00000800,
    506   0x000002ab, 0x00000400, 0x00000400, 0x00000400,
    507   0x00000155, 0x00000200, 0x00000200, 0x00000200,
    508   0x000000ab, 0x00000100, 0x00000100, 0x00000100,
    509   0x00000055, 0x00000080, 0x00000080, 0x00000080,
    510   0x0000002b, 0x00000040, 0x00000040, 0x00000040,
    511   0x00000015, 0x00000020, 0x00000020, 0x00000020,
    512   0x0000000b, 0x00000010, 0x00000010, 0x00000010,
    513   0x00000005, 0x00000008, 0x00000008, 0x00000008,
    514   0x00000003, 0x00000004, 0x00000004, 0x00000004,
    515   0x00000001, 0x00000002, 0x00000002, 0x00000002,
    516   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    517   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    518   0x3fffffff, 0x3fffffff, 0x40000000, 0x40000000,
    519   0x1fffffff, 0x20000000, 0x20000000, 0x20000000,
    520   0x10000000, 0x10000000, 0x10000000, 0x10000000,
    521   0x08000000, 0x08000000, 0x08000000, 0x08000000,
    522   0x04000000, 0x04000000, 0x04000000, 0x04000000,
    523   0x02000000, 0x02000000, 0x02000000, 0x02000000,
    524   0x01000000, 0x01000000, 0x01000000, 0x01000000,
    525   0x00800000, 0x00800000, 0x00800000, 0x00800000,
    526   0x00400000, 0x00400000, 0x00400000, 0x00400000,
    527   0x00200000, 0x00200000, 0x00200000, 0x00200000,
    528   0x00100000, 0x00100000, 0x00100000, 0x00100000,
    529   0x00080000, 0x00080000, 0x00080000, 0x00080000,
    530   0x00040000, 0x00040000, 0x00040000, 0x00040000,
    531   0x00020000, 0x00020000, 0x00020000, 0x00020000,
    532   0x00010000, 0x00010000, 0x00010000, 0x00010000,
    533   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    534   0x00004000, 0x00004000, 0x00004000, 0x00004000,
    535   0x00002000, 0x00002000, 0x00002000, 0x00002000,
    536   0x00001000, 0x00001000, 0x00001000, 0x00001000,
    537   0x00000800, 0x00000800, 0x00000800, 0x00000800,
    538   0x00000400, 0x00000400, 0x00000400, 0x00000400,
    539   0x00000200, 0x00000200, 0x00000200, 0x00000200,
    540   0x00000100, 0x00000100, 0x00000100, 0x00000100,
    541   0x00000080, 0x00000080, 0x00000080, 0x00000080,
    542   0x00000040, 0x00000040, 0x00000040, 0x00000040,
    543   0x00000020, 0x00000020, 0x00000020, 0x00000020,
    544   0x00000010, 0x00000010, 0x00000010, 0x00000010,
    545   0x00000008, 0x00000008, 0x00000008, 0x00000008,
    546   0x00000004, 0x00000004, 0x00000004, 0x00000004,
    547   0x00000002, 0x00000002, 0x00000002, 0x00000002,
    548   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    549   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    550   0x3fffffff, 0x40000000, 0x40000000, 0x40000001,
    551   0x20000000, 0x20000000, 0x20000000, 0x20000000,
    552   0x10000000, 0x10000000, 0x10000000, 0x10000000,
    553   0x08000000, 0x08000000, 0x08000000, 0x08000000,
    554   0x04000000, 0x04000000, 0x04000000, 0x04000000,
    555   0x02000000, 0x02000000, 0x02000000, 0x02000000,
    556   0x01000000, 0x01000000, 0x01000000, 0x01000000,
    557   0x00800000, 0x00800000, 0x00800000, 0x00800000,
    558   0x00400000, 0x00400000, 0x00400000, 0x00400000,
    559   0x00200000, 0x00200000, 0x00200000, 0x00200000,
    560   0x00100000, 0x00100000, 0x00100000, 0x00100000,
    561   0x00080000, 0x00080000, 0x00080000, 0x00080000,
    562   0x00040000, 0x00040000, 0x00040000, 0x00040000,
    563   0x00020000, 0x00020000, 0x00020000, 0x00020000,
    564   0x00010000, 0x00010000, 0x00010000, 0x00010000,
    565   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    566   0x00004000, 0x00004000, 0x00004000, 0x00004000,
    567   0x00002000, 0x00002000, 0x00002000, 0x00002000,
    568   0x00001000, 0x00001000, 0x00001000, 0x00001000,
    569   0x00000800, 0x00000800, 0x00000800, 0x00000800,
    570   0x00000400, 0x00000400, 0x00000400, 0x00000400,
    571   0x00000200, 0x00000200, 0x00000200, 0x00000200,
    572   0x00000100, 0x00000100, 0x00000100, 0x00000100,
    573   0x00000080, 0x00000080, 0x00000080, 0x00000080,
    574   0x00000040, 0x00000040, 0x00000040, 0x00000040,
    575   0x00000020, 0x00000020, 0x00000020, 0x00000020,
    576   0x00000010, 0x00000010, 0x00000010, 0x00000010,
    577   0x00000008, 0x00000008, 0x00000008, 0x00000008,
    578   0x00000004, 0x00000004, 0x00000004, 0x00000004,
    579   0x00000002, 0x00000002, 0x00000002, 0x00000002,
    580   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    581   0x00000000, 0x00000000, 0x00000001, 0x00000001,
    582   0x40000000, 0x40000000, 0x40000001, 0x55555555,
    583   0x20000000, 0x20000000, 0x20000000, 0x2aaaaaab,
    584   0x10000000, 0x10000000, 0x10000000, 0x15555555,
    585   0x08000000, 0x08000000, 0x08000000, 0x0aaaaaab,
    586   0x04000000, 0x04000000, 0x04000000, 0x05555555,
    587   0x02000000, 0x02000000, 0x02000000, 0x02aaaaab,
    588   0x01000000, 0x01000000, 0x01000000, 0x01555555,
    589   0x00800000, 0x00800000, 0x00800000, 0x00aaaaab,
    590   0x00400000, 0x00400000, 0x00400000, 0x00555555,
    591   0x00200000, 0x00200000, 0x00200000, 0x002aaaab,
    592   0x00100000, 0x00100000, 0x00100000, 0x00155555,
    593   0x00080000, 0x00080000, 0x00080000, 0x000aaaab,
    594   0x00040000, 0x00040000, 0x00040000, 0x00055555,
    595   0x00020000, 0x00020000, 0x00020000, 0x0002aaab,
    596   0x00010000, 0x00010000, 0x00010000, 0x00015555,
    597   0x00008000, 0x00008000, 0x00008000, 0x0000aaab,
    598   0x00004000, 0x00004000, 0x00004000, 0x00005555,
    599   0x00002000, 0x00002000, 0x00002000, 0x00002aab,
    600   0x00001000, 0x00001000, 0x00001000, 0x00001555,
    601   0x00000800, 0x00000800, 0x00000800, 0x00000aab,
    602   0x00000400, 0x00000400, 0x00000400, 0x00000555,
    603   0x00000200, 0x00000200, 0x00000200, 0x000002ab,
    604   0x00000100, 0x00000100, 0x00000100, 0x00000155,
    605   0x00000080, 0x00000080, 0x00000080, 0x000000ab,
    606   0x00000040, 0x00000040, 0x00000040, 0x00000055,
    607   0x00000020, 0x00000020, 0x00000020, 0x0000002b,
    608   0x00000010, 0x00000010, 0x00000010, 0x00000015,
    609   0x00000008, 0x00000008, 0x00000008, 0x0000000b,
    610   0x00000004, 0x00000004, 0x00000004, 0x00000005,
    611   0x00000002, 0x00000002, 0x00000002, 0x00000003,
    612   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    613   0x00000000, 0x00000001, 0x00000001, 0x00000001,
    614   0x40000000, 0x40000001, 0x55555555, 0x66666666,
    615   0x20000000, 0x20000000, 0x2aaaaaab, 0x33333333,
    616   0x10000000, 0x10000000, 0x15555555, 0x1999999a,
    617   0x08000000, 0x08000000, 0x0aaaaaab, 0x0ccccccd,
    618   0x04000000, 0x04000000, 0x05555555, 0x06666666,
    619   0x02000000, 0x02000000, 0x02aaaaab, 0x03333333,
    620   0x01000000, 0x01000000, 0x01555555, 0x0199999a,
    621   0x00800000, 0x00800000, 0x00aaaaab, 0x00cccccd,
    622   0x00400000, 0x00400000, 0x00555555, 0x00666666,
    623   0x00200000, 0x00200000, 0x002aaaab, 0x00333333,
    624   0x00100000, 0x00100000, 0x00155555, 0x0019999a,
    625   0x00080000, 0x00080000, 0x000aaaab, 0x000ccccd,
    626   0x00040000, 0x00040000, 0x00055555, 0x00066666,
    627   0x00020000, 0x00020000, 0x0002aaab, 0x00033333,
    628   0x00010000, 0x00010000, 0x00015555, 0x0001999a,
    629   0x00008000, 0x00008000, 0x0000aaab, 0x0000cccd,
    630   0x00004000, 0x00004000, 0x00005555, 0x00006666,
    631   0x00002000, 0x00002000, 0x00002aab, 0x00003333,
    632   0x00001000, 0x00001000, 0x00001555, 0x0000199a,
    633   0x00000800, 0x00000800, 0x00000aab, 0x00000ccd,
    634   0x00000400, 0x00000400, 0x00000555, 0x00000666,
    635   0x00000200, 0x00000200, 0x000002ab, 0x00000333,
    636   0x00000100, 0x00000100, 0x00000155, 0x0000019a,
    637   0x00000080, 0x00000080, 0x000000ab, 0x000000cd,
    638   0x00000040, 0x00000040, 0x00000055, 0x00000066,
    639   0x00000020, 0x00000020, 0x0000002b, 0x00000033,
    640   0x00000010, 0x00000010, 0x00000015, 0x0000001a,
    641   0x00000008, 0x00000008, 0x0000000b, 0x0000000d,
    642   0x00000004, 0x00000004, 0x00000005, 0x00000006,
    643   0x00000002, 0x00000002, 0x00000003, 0x00000003,
    644   0x00000001, 0x00000001, 0x00000001, 0x00000002,
    645   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    646   0x40000001, 0x55555555, 0x66666666, 0x7fffc000,
    647   0x20000000, 0x2aaaaaab, 0x33333333, 0x3fffe000,
    648   0x10000000, 0x15555555, 0x1999999a, 0x1ffff000,
    649   0x08000000, 0x0aaaaaab, 0x0ccccccd, 0x0ffff800,
    650   0x04000000, 0x05555555, 0x06666666, 0x07fffc00,
    651   0x02000000, 0x02aaaaab, 0x03333333, 0x03fffe00,
    652   0x01000000, 0x01555555, 0x0199999a, 0x01ffff00,
    653   0x00800000, 0x00aaaaab, 0x00cccccd, 0x00ffff80,
    654   0x00400000, 0x00555555, 0x00666666, 0x007fffc0,
    655   0x00200000, 0x002aaaab, 0x00333333, 0x003fffe0,
    656   0x00100000, 0x00155555, 0x0019999a, 0x001ffff0,
    657   0x00080000, 0x000aaaab, 0x000ccccd, 0x000ffff8,
    658   0x00040000, 0x00055555, 0x00066666, 0x0007fffc,
    659   0x00020000, 0x0002aaab, 0x00033333, 0x0003fffe,
    660   0x00010000, 0x00015555, 0x0001999a, 0x0001ffff,
    661   0x00008000, 0x0000aaab, 0x0000cccd, 0x00010000,
    662   0x00004000, 0x00005555, 0x00006666, 0x00008000,
    663   0x00002000, 0x00002aab, 0x00003333, 0x00004000,
    664   0x00001000, 0x00001555, 0x0000199a, 0x00002000,
    665   0x00000800, 0x00000aab, 0x00000ccd, 0x00001000,
    666   0x00000400, 0x00000555, 0x00000666, 0x00000800,
    667   0x00000200, 0x000002ab, 0x00000333, 0x00000400,
    668   0x00000100, 0x00000155, 0x0000019a, 0x00000200,
    669   0x00000080, 0x000000ab, 0x000000cd, 0x00000100,
    670   0x00000040, 0x00000055, 0x00000066, 0x00000080,
    671   0x00000020, 0x0000002b, 0x00000033, 0x00000040,
    672   0x00000010, 0x00000015, 0x0000001a, 0x00000020,
    673   0x00000008, 0x0000000b, 0x0000000d, 0x00000010,
    674   0x00000004, 0x00000005, 0x00000006, 0x00000008,
    675   0x00000002, 0x00000003, 0x00000003, 0x00000004,
    676   0x00000001, 0x00000001, 0x00000002, 0x00000002,
    677   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    678   0x55555555, 0x66666666, 0x7fffc000, 0x7fffc001,
    679   0x2aaaaaab, 0x33333333, 0x3fffe000, 0x3fffe000,
    680   0x15555555, 0x1999999a, 0x1ffff000, 0x1ffff000,
    681   0x0aaaaaab, 0x0ccccccd, 0x0ffff800, 0x0ffff800,
    682   0x05555555, 0x06666666, 0x07fffc00, 0x07fffc00,
    683   0x02aaaaab, 0x03333333, 0x03fffe00, 0x03fffe00,
    684   0x01555555, 0x0199999a, 0x01ffff00, 0x01ffff00,
    685   0x00aaaaab, 0x00cccccd, 0x00ffff80, 0x00ffff80,
    686   0x00555555, 0x00666666, 0x007fffc0, 0x007fffc0,
    687   0x002aaaab, 0x00333333, 0x003fffe0, 0x003fffe0,
    688   0x00155555, 0x0019999a, 0x001ffff0, 0x001ffff0,
    689   0x000aaaab, 0x000ccccd, 0x000ffff8, 0x000ffff8,
    690   0x00055555, 0x00066666, 0x0007fffc, 0x0007fffc,
    691   0x0002aaab, 0x00033333, 0x0003fffe, 0x0003fffe,
    692   0x00015555, 0x0001999a, 0x0001ffff, 0x0001ffff,
    693   0x0000aaab, 0x0000cccd, 0x00010000, 0x00010000,
    694   0x00005555, 0x00006666, 0x00008000, 0x00008000,
    695   0x00002aab, 0x00003333, 0x00004000, 0x00004000,
    696   0x00001555, 0x0000199a, 0x00002000, 0x00002000,
    697   0x00000aab, 0x00000ccd, 0x00001000, 0x00001000,
    698   0x00000555, 0x00000666, 0x00000800, 0x00000800,
    699   0x000002ab, 0x00000333, 0x00000400, 0x00000400,
    700   0x00000155, 0x0000019a, 0x00000200, 0x00000200,
    701   0x000000ab, 0x000000cd, 0x00000100, 0x00000100,
    702   0x00000055, 0x00000066, 0x00000080, 0x00000080,
    703   0x0000002b, 0x00000033, 0x00000040, 0x00000040,
    704   0x00000015, 0x0000001a, 0x00000020, 0x00000020,
    705   0x0000000b, 0x0000000d, 0x00000010, 0x00000010,
    706   0x00000005, 0x00000006, 0x00000008, 0x00000008,
    707   0x00000003, 0x00000003, 0x00000004, 0x00000004,
    708   0x00000001, 0x00000002, 0x00000002, 0x00000002,
    709   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    710   0x66666666, 0x7fffc000, 0x7fffc001, 0x7fffc001,
    711   0x33333333, 0x3fffe000, 0x3fffe000, 0x3fffe001,
    712   0x1999999a, 0x1ffff000, 0x1ffff000, 0x1ffff000,
    713   0x0ccccccd, 0x0ffff800, 0x0ffff800, 0x0ffff800,
    714   0x06666666, 0x07fffc00, 0x07fffc00, 0x07fffc00,
    715   0x03333333, 0x03fffe00, 0x03fffe00, 0x03fffe00,
    716   0x0199999a, 0x01ffff00, 0x01ffff00, 0x01ffff00,
    717   0x00cccccd, 0x00ffff80, 0x00ffff80, 0x00ffff80,
    718   0x00666666, 0x007fffc0, 0x007fffc0, 0x007fffc0,
    719   0x00333333, 0x003fffe0, 0x003fffe0, 0x003fffe0,
    720   0x0019999a, 0x001ffff0, 0x001ffff0, 0x001ffff0,
    721   0x000ccccd, 0x000ffff8, 0x000ffff8, 0x000ffff8,
    722   0x00066666, 0x0007fffc, 0x0007fffc, 0x0007fffc,
    723   0x00033333, 0x0003fffe, 0x0003fffe, 0x0003fffe,
    724   0x0001999a, 0x0001ffff, 0x0001ffff, 0x0001ffff,
    725   0x0000cccd, 0x00010000, 0x00010000, 0x00010000,
    726   0x00006666, 0x00008000, 0x00008000, 0x00008000,
    727   0x00003333, 0x00004000, 0x00004000, 0x00004000,
    728   0x0000199a, 0x00002000, 0x00002000, 0x00002000,
    729   0x00000ccd, 0x00001000, 0x00001000, 0x00001000,
    730   0x00000666, 0x00000800, 0x00000800, 0x00000800,
    731   0x00000333, 0x00000400, 0x00000400, 0x00000400,
    732   0x0000019a, 0x00000200, 0x00000200, 0x00000200,
    733   0x000000cd, 0x00000100, 0x00000100, 0x00000100,
    734   0x00000066, 0x00000080, 0x00000080, 0x00000080,
    735   0x00000033, 0x00000040, 0x00000040, 0x00000040,
    736   0x0000001a, 0x00000020, 0x00000020, 0x00000020,
    737   0x0000000d, 0x00000010, 0x00000010, 0x00000010,
    738   0x00000006, 0x00000008, 0x00000008, 0x00000008,
    739   0x00000003, 0x00000004, 0x00000004, 0x00000004,
    740   0x00000002, 0x00000002, 0x00000002, 0x00000002,
    741   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    742   0x7fffc000, 0x7fffc001, 0x7fffc001, 0x7fffc002,
    743   0x3fffe000, 0x3fffe000, 0x3fffe001, 0x3fffe001,
    744   0x1ffff000, 0x1ffff000, 0x1ffff000, 0x1ffff000,
    745   0x0ffff800, 0x0ffff800, 0x0ffff800, 0x0ffff800,
    746   0x07fffc00, 0x07fffc00, 0x07fffc00, 0x07fffc00,
    747   0x03fffe00, 0x03fffe00, 0x03fffe00, 0x03fffe00,
    748   0x01ffff00, 0x01ffff00, 0x01ffff00, 0x01ffff00,
    749   0x00ffff80, 0x00ffff80, 0x00ffff80, 0x00ffff80,
    750   0x007fffc0, 0x007fffc0, 0x007fffc0, 0x007fffc0,
    751   0x003fffe0, 0x003fffe0, 0x003fffe0, 0x003fffe0,
    752   0x001ffff0, 0x001ffff0, 0x001ffff0, 0x001ffff0,
    753   0x000ffff8, 0x000ffff8, 0x000ffff8, 0x000ffff8,
    754   0x0007fffc, 0x0007fffc, 0x0007fffc, 0x0007fffc,
    755   0x0003fffe, 0x0003fffe, 0x0003fffe, 0x0003fffe,
    756   0x0001ffff, 0x0001ffff, 0x0001ffff, 0x0001ffff,
    757   0x00010000, 0x00010000, 0x00010000, 0x00010000,
    758   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    759   0x00004000, 0x00004000, 0x00004000, 0x00004000,
    760   0x00002000, 0x00002000, 0x00002000, 0x00002000,
    761   0x00001000, 0x00001000, 0x00001000, 0x00001000,
    762   0x00000800, 0x00000800, 0x00000800, 0x00000800,
    763   0x00000400, 0x00000400, 0x00000400, 0x00000400,
    764   0x00000200, 0x00000200, 0x00000200, 0x00000200,
    765   0x00000100, 0x00000100, 0x00000100, 0x00000100,
    766   0x00000080, 0x00000080, 0x00000080, 0x00000080,
    767   0x00000040, 0x00000040, 0x00000040, 0x00000040,
    768   0x00000020, 0x00000020, 0x00000020, 0x00000020,
    769   0x00000010, 0x00000010, 0x00000010, 0x00000010,
    770   0x00000008, 0x00000008, 0x00000008, 0x00000008,
    771   0x00000004, 0x00000004, 0x00000004, 0x00000004,
    772   0x00000002, 0x00000002, 0x00000002, 0x00000002,
    773   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    774   0x7fffc001, 0x7fffc001, 0x7fffc002, 0x7fffffc0,
    775   0x3fffe000, 0x3fffe001, 0x3fffe001, 0x3fffffe0,
    776   0x1ffff000, 0x1ffff000, 0x1ffff000, 0x1ffffff0,
    777   0x0ffff800, 0x0ffff800, 0x0ffff800, 0x0ffffff8,
    778   0x07fffc00, 0x07fffc00, 0x07fffc00, 0x07fffffc,
    779   0x03fffe00, 0x03fffe00, 0x03fffe00, 0x03fffffe,
    780   0x01ffff00, 0x01ffff00, 0x01ffff00, 0x01ffffff,
    781   0x00ffff80, 0x00ffff80, 0x00ffff80, 0x01000000,
    782   0x007fffc0, 0x007fffc0, 0x007fffc0, 0x00800000,
    783   0x003fffe0, 0x003fffe0, 0x003fffe0, 0x00400000,
    784   0x001ffff0, 0x001ffff0, 0x001ffff0, 0x00200000,
    785   0x000ffff8, 0x000ffff8, 0x000ffff8, 0x00100000,
    786   0x0007fffc, 0x0007fffc, 0x0007fffc, 0x00080000,
    787   0x0003fffe, 0x0003fffe, 0x0003fffe, 0x00040000,
    788   0x0001ffff, 0x0001ffff, 0x0001ffff, 0x00020000,
    789   0x00010000, 0x00010000, 0x00010000, 0x00010000,
    790   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    791   0x00004000, 0x00004000, 0x00004000, 0x00004000,
    792   0x00002000, 0x00002000, 0x00002000, 0x00002000,
    793   0x00001000, 0x00001000, 0x00001000, 0x00001000,
    794   0x00000800, 0x00000800, 0x00000800, 0x00000800,
    795   0x00000400, 0x00000400, 0x00000400, 0x00000400,
    796   0x00000200, 0x00000200, 0x00000200, 0x00000200,
    797   0x00000100, 0x00000100, 0x00000100, 0x00000100,
    798   0x00000080, 0x00000080, 0x00000080, 0x00000080,
    799   0x00000040, 0x00000040, 0x00000040, 0x00000040,
    800   0x00000020, 0x00000020, 0x00000020, 0x00000020,
    801   0x00000010, 0x00000010, 0x00000010, 0x00000010,
    802   0x00000008, 0x00000008, 0x00000008, 0x00000008,
    803   0x00000004, 0x00000004, 0x00000004, 0x00000004,
    804   0x00000002, 0x00000002, 0x00000002, 0x00000002,
    805   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    806   0x7fffc001, 0x7fffc002, 0x7fffffc0, 0x7fffffc1,
    807   0x3fffe001, 0x3fffe001, 0x3fffffe0, 0x3fffffe0,
    808   0x1ffff000, 0x1ffff000, 0x1ffffff0, 0x1ffffff0,
    809   0x0ffff800, 0x0ffff800, 0x0ffffff8, 0x0ffffff8,
    810   0x07fffc00, 0x07fffc00, 0x07fffffc, 0x07fffffc,
    811   0x03fffe00, 0x03fffe00, 0x03fffffe, 0x03fffffe,
    812   0x01ffff00, 0x01ffff00, 0x01ffffff, 0x01ffffff,
    813   0x00ffff80, 0x00ffff80, 0x01000000, 0x01000000,
    814   0x007fffc0, 0x007fffc0, 0x00800000, 0x00800000,
    815   0x003fffe0, 0x003fffe0, 0x00400000, 0x00400000,
    816   0x001ffff0, 0x001ffff0, 0x00200000, 0x00200000,
    817   0x000ffff8, 0x000ffff8, 0x00100000, 0x00100000,
    818   0x0007fffc, 0x0007fffc, 0x00080000, 0x00080000,
    819   0x0003fffe, 0x0003fffe, 0x00040000, 0x00040000,
    820   0x0001ffff, 0x0001ffff, 0x00020000, 0x00020000,
    821   0x00010000, 0x00010000, 0x00010000, 0x00010000,
    822   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    823   0x00004000, 0x00004000, 0x00004000, 0x00004000,
    824   0x00002000, 0x00002000, 0x00002000, 0x00002000,
    825   0x00001000, 0x00001000, 0x00001000, 0x00001000,
    826   0x00000800, 0x00000800, 0x00000800, 0x00000800,
    827   0x00000400, 0x00000400, 0x00000400, 0x00000400,
    828   0x00000200, 0x00000200, 0x00000200, 0x00000200,
    829   0x00000100, 0x00000100, 0x00000100, 0x00000100,
    830   0x00000080, 0x00000080, 0x00000080, 0x00000080,
    831   0x00000040, 0x00000040, 0x00000040, 0x00000040,
    832   0x00000020, 0x00000020, 0x00000020, 0x00000020,
    833   0x00000010, 0x00000010, 0x00000010, 0x00000010,
    834   0x00000008, 0x00000008, 0x00000008, 0x00000008,
    835   0x00000004, 0x00000004, 0x00000004, 0x00000004,
    836   0x00000002, 0x00000002, 0x00000002, 0x00000002,
    837   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    838   0x7fffc002, 0x7fffffc0, 0x7fffffc1, 0x7fffffc1,
    839   0x3fffe001, 0x3fffffe0, 0x3fffffe0, 0x3fffffe1,
    840   0x1ffff000, 0x1ffffff0, 0x1ffffff0, 0x1ffffff0,
    841   0x0ffff800, 0x0ffffff8, 0x0ffffff8, 0x0ffffff8,
    842   0x07fffc00, 0x07fffffc, 0x07fffffc, 0x07fffffc,
    843   0x03fffe00, 0x03fffffe, 0x03fffffe, 0x03fffffe,
    844   0x01ffff00, 0x01ffffff, 0x01ffffff, 0x01ffffff,
    845   0x00ffff80, 0x01000000, 0x01000000, 0x01000000,
    846   0x007fffc0, 0x00800000, 0x00800000, 0x00800000,
    847   0x003fffe0, 0x00400000, 0x00400000, 0x00400000,
    848   0x001ffff0, 0x00200000, 0x00200000, 0x00200000,
    849   0x000ffff8, 0x00100000, 0x00100000, 0x00100000,
    850   0x0007fffc, 0x00080000, 0x00080000, 0x00080000,
    851   0x0003fffe, 0x00040000, 0x00040000, 0x00040000,
    852   0x0001ffff, 0x00020000, 0x00020000, 0x00020000,
    853   0x00010000, 0x00010000, 0x00010000, 0x00010000,
    854   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    855   0x00004000, 0x00004000, 0x00004000, 0x00004000,
    856   0x00002000, 0x00002000, 0x00002000, 0x00002000,
    857   0x00001000, 0x00001000, 0x00001000, 0x00001000,
    858   0x00000800, 0x00000800, 0x00000800, 0x00000800,
    859   0x00000400, 0x00000400, 0x00000400, 0x00000400,
    860   0x00000200, 0x00000200, 0x00000200, 0x00000200,
    861   0x00000100, 0x00000100, 0x00000100, 0x00000100,
    862   0x00000080, 0x00000080, 0x00000080, 0x00000080,
    863   0x00000040, 0x00000040, 0x00000040, 0x00000040,
    864   0x00000020, 0x00000020, 0x00000020, 0x00000020,
    865   0x00000010, 0x00000010, 0x00000010, 0x00000010,
    866   0x00000008, 0x00000008, 0x00000008, 0x00000008,
    867   0x00000004, 0x00000004, 0x00000004, 0x00000004,
    868   0x00000002, 0x00000002, 0x00000002, 0x00000002,
    869   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    870   0x7fffffc0, 0x7fffffc1, 0x7fffffc1, 0x7fffffc2,
    871   0x3fffffe0, 0x3fffffe0, 0x3fffffe1, 0x3fffffe1,
    872   0x1ffffff0, 0x1ffffff0, 0x1ffffff0, 0x1ffffff0,
    873   0x0ffffff8, 0x0ffffff8, 0x0ffffff8, 0x0ffffff8,
    874   0x07fffffc, 0x07fffffc, 0x07fffffc, 0x07fffffc,
    875   0x03fffffe, 0x03fffffe, 0x03fffffe, 0x03fffffe,
    876   0x01ffffff, 0x01ffffff, 0x01ffffff, 0x01ffffff,
    877   0x01000000, 0x01000000, 0x01000000, 0x01000000,
    878   0x00800000, 0x00800000, 0x00800000, 0x00800000,
    879   0x00400000, 0x00400000, 0x00400000, 0x00400000,
    880   0x00200000, 0x00200000, 0x00200000, 0x00200000,
    881   0x00100000, 0x00100000, 0x00100000, 0x00100000,
    882   0x00080000, 0x00080000, 0x00080000, 0x00080000,
    883   0x00040000, 0x00040000, 0x00040000, 0x00040000,
    884   0x00020000, 0x00020000, 0x00020000, 0x00020000,
    885   0x00010000, 0x00010000, 0x00010000, 0x00010000,
    886   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    887   0x00004000, 0x00004000, 0x00004000, 0x00004000,
    888   0x00002000, 0x00002000, 0x00002000, 0x00002000,
    889   0x00001000, 0x00001000, 0x00001000, 0x00001000,
    890   0x00000800, 0x00000800, 0x00000800, 0x00000800,
    891   0x00000400, 0x00000400, 0x00000400, 0x00000400,
    892   0x00000200, 0x00000200, 0x00000200, 0x00000200,
    893   0x00000100, 0x00000100, 0x00000100, 0x00000100,
    894   0x00000080, 0x00000080, 0x00000080, 0x00000080,
    895   0x00000040, 0x00000040, 0x00000040, 0x00000040,
    896   0x00000020, 0x00000020, 0x00000020, 0x00000020,
    897   0x00000010, 0x00000010, 0x00000010, 0x00000010,
    898   0x00000008, 0x00000008, 0x00000008, 0x00000008,
    899   0x00000004, 0x00000004, 0x00000004, 0x00000004,
    900   0x00000002, 0x00000002, 0x00000002, 0x00000002,
    901   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    902   0x7fffffc1, 0x7fffffc1, 0x7fffffc2, 0x7ffffff0,
    903   0x3fffffe0, 0x3fffffe1, 0x3fffffe1, 0x3ffffff8,
    904   0x1ffffff0, 0x1ffffff0, 0x1ffffff0, 0x1ffffffc,
    905   0x0ffffff8, 0x0ffffff8, 0x0ffffff8, 0x0ffffffe,
    906   0x07fffffc, 0x07fffffc, 0x07fffffc, 0x07ffffff,
    907   0x03fffffe, 0x03fffffe, 0x03fffffe, 0x04000000,
    908   0x01ffffff, 0x01ffffff, 0x01ffffff, 0x02000000,
    909   0x01000000, 0x01000000, 0x01000000, 0x01000000,
    910   0x00800000, 0x00800000, 0x00800000, 0x00800000,
    911   0x00400000, 0x00400000, 0x00400000, 0x00400000,
    912   0x00200000, 0x00200000, 0x00200000, 0x00200000,
    913   0x00100000, 0x00100000, 0x00100000, 0x00100000,
    914   0x00080000, 0x00080000, 0x00080000, 0x00080000,
    915   0x00040000, 0x00040000, 0x00040000, 0x00040000,
    916   0x00020000, 0x00020000, 0x00020000, 0x00020000,
    917   0x00010000, 0x00010000, 0x00010000, 0x00010000,
    918   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    919   0x00004000, 0x00004000, 0x00004000, 0x00004000,
    920   0x00002000, 0x00002000, 0x00002000, 0x00002000,
    921   0x00001000, 0x00001000, 0x00001000, 0x00001000,
    922   0x00000800, 0x00000800, 0x00000800, 0x00000800,
    923   0x00000400, 0x00000400, 0x00000400, 0x00000400,
    924   0x00000200, 0x00000200, 0x00000200, 0x00000200,
    925   0x00000100, 0x00000100, 0x00000100, 0x00000100,
    926   0x00000080, 0x00000080, 0x00000080, 0x00000080,
    927   0x00000040, 0x00000040, 0x00000040, 0x00000040,
    928   0x00000020, 0x00000020, 0x00000020, 0x00000020,
    929   0x00000010, 0x00000010, 0x00000010, 0x00000010,
    930   0x00000008, 0x00000008, 0x00000008, 0x00000008,
    931   0x00000004, 0x00000004, 0x00000004, 0x00000004,
    932   0x00000002, 0x00000002, 0x00000002, 0x00000002,
    933   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    934   0x7fffffc1, 0x7fffffc2, 0x7ffffff0, 0x7fffffff,
    935   0x3fffffe1, 0x3fffffe1, 0x3ffffff8, 0x3fffffff,
    936   0x1ffffff0, 0x1ffffff0, 0x1ffffffc, 0x20000000,
    937   0x0ffffff8, 0x0ffffff8, 0x0ffffffe, 0x10000000,
    938   0x07fffffc, 0x07fffffc, 0x07ffffff, 0x08000000,
    939   0x03fffffe, 0x03fffffe, 0x04000000, 0x04000000,
    940   0x01ffffff, 0x01ffffff, 0x02000000, 0x02000000,
    941   0x01000000, 0x01000000, 0x01000000, 0x01000000,
    942   0x00800000, 0x00800000, 0x00800000, 0x00800000,
    943   0x00400000, 0x00400000, 0x00400000, 0x00400000,
    944   0x00200000, 0x00200000, 0x00200000, 0x00200000,
    945   0x00100000, 0x00100000, 0x00100000, 0x00100000,
    946   0x00080000, 0x00080000, 0x00080000, 0x00080000,
    947   0x00040000, 0x00040000, 0x00040000, 0x00040000,
    948   0x00020000, 0x00020000, 0x00020000, 0x00020000,
    949   0x00010000, 0x00010000, 0x00010000, 0x00010000,
    950   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    951   0x00004000, 0x00004000, 0x00004000, 0x00004000,
    952   0x00002000, 0x00002000, 0x00002000, 0x00002000,
    953   0x00001000, 0x00001000, 0x00001000, 0x00001000,
    954   0x00000800, 0x00000800, 0x00000800, 0x00000800,
    955   0x00000400, 0x00000400, 0x00000400, 0x00000400,
    956   0x00000200, 0x00000200, 0x00000200, 0x00000200,
    957   0x00000100, 0x00000100, 0x00000100, 0x00000100,
    958   0x00000080, 0x00000080, 0x00000080, 0x00000080,
    959   0x00000040, 0x00000040, 0x00000040, 0x00000040,
    960   0x00000020, 0x00000020, 0x00000020, 0x00000020,
    961   0x00000010, 0x00000010, 0x00000010, 0x00000010,
    962   0x00000008, 0x00000008, 0x00000008, 0x00000008,
    963   0x00000004, 0x00000004, 0x00000004, 0x00000004,
    964   0x00000002, 0x00000002, 0x00000002, 0x00000002,
    965   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    966   0x7fffffc2, 0x7ffffff0, 0x7fffffff, 0x7fffffff,
    967   0x3fffffe1, 0x3ffffff8, 0x3fffffff, 0x40000000,
    968   0x1ffffff0, 0x1ffffffc, 0x20000000, 0x20000000,
    969   0x0ffffff8, 0x0ffffffe, 0x10000000, 0x10000000,
    970   0x07fffffc, 0x07ffffff, 0x08000000, 0x08000000,
    971   0x03fffffe, 0x04000000, 0x04000000, 0x04000000,
    972   0x01ffffff, 0x02000000, 0x02000000, 0x02000000,
    973   0x01000000, 0x01000000, 0x01000000, 0x01000000,
    974   0x00800000, 0x00800000, 0x00800000, 0x00800000,
    975   0x00400000, 0x00400000, 0x00400000, 0x00400000,
    976   0x00200000, 0x00200000, 0x00200000, 0x00200000,
    977   0x00100000, 0x00100000, 0x00100000, 0x00100000,
    978   0x00080000, 0x00080000, 0x00080000, 0x00080000,
    979   0x00040000, 0x00040000, 0x00040000, 0x00040000,
    980   0x00020000, 0x00020000, 0x00020000, 0x00020000,
    981   0x00010000, 0x00010000, 0x00010000, 0x00010000,
    982   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    983   0x00004000, 0x00004000, 0x00004000, 0x00004000,
    984   0x00002000, 0x00002000, 0x00002000, 0x00002000,
    985   0x00001000, 0x00001000, 0x00001000, 0x00001000,
    986   0x00000800, 0x00000800, 0x00000800, 0x00000800,
    987   0x00000400, 0x00000400, 0x00000400, 0x00000400,
    988   0x00000200, 0x00000200, 0x00000200, 0x00000200,
    989   0x00000100, 0x00000100, 0x00000100, 0x00000100,
    990   0x00000080, 0x00000080, 0x00000080, 0x00000080,
    991   0x00000040, 0x00000040, 0x00000040, 0x00000040,
    992   0x00000020, 0x00000020, 0x00000020, 0x00000020,
    993   0x00000010, 0x00000010, 0x00000010, 0x00000010,
    994   0x00000008, 0x00000008, 0x00000008, 0x00000008,
    995   0x00000004, 0x00000004, 0x00000004, 0x00000004,
    996   0x00000002, 0x00000002, 0x00000002, 0x00000002,
    997   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    998   0x7ffffff0, 0x7fffffff, 0x7fffffff, 0x80000000,
    999   0x3ffffff8, 0x3fffffff, 0x40000000, 0x40000000,
   1000   0x1ffffffc, 0x20000000, 0x20000000, 0x20000000,
   1001   0x0ffffffe, 0x10000000, 0x10000000, 0x10000000,
   1002   0x07ffffff, 0x08000000, 0x08000000, 0x08000000,
   1003   0x04000000, 0x04000000, 0x04000000, 0x04000000,
   1004   0x02000000, 0x02000000, 0x02000000, 0x02000000,
   1005   0x01000000, 0x01000000, 0x01000000, 0x01000000,
   1006   0x00800000, 0x00800000, 0x00800000, 0x00800000,
   1007   0x00400000, 0x00400000, 0x00400000, 0x00400000,
   1008   0x00200000, 0x00200000, 0x00200000, 0x00200000,
   1009   0x00100000, 0x00100000, 0x00100000, 0x00100000,
   1010   0x00080000, 0x00080000, 0x00080000, 0x00080000,
   1011   0x00040000, 0x00040000, 0x00040000, 0x00040000,
   1012   0x00020000, 0x00020000, 0x00020000, 0x00020000,
   1013   0x00010000, 0x00010000, 0x00010000, 0x00010000,
   1014   0x00008000, 0x00008000, 0x00008000, 0x00008000,
   1015   0x00004000, 0x00004000, 0x00004000, 0x00004000,
   1016   0x00002000, 0x00002000, 0x00002000, 0x00002000,
   1017   0x00001000, 0x00001000, 0x00001000, 0x00001000,
   1018   0x00000800, 0x00000800, 0x00000800, 0x00000800,
   1019   0x00000400, 0x00000400, 0x00000400, 0x00000400,
   1020   0x00000200, 0x00000200, 0x00000200, 0x00000200,
   1021   0x00000100, 0x00000100, 0x00000100, 0x00000100,
   1022   0x00000080, 0x00000080, 0x00000080, 0x00000080,
   1023   0x00000040, 0x00000040, 0x00000040, 0x00000040,
   1024   0x00000020, 0x00000020, 0x00000020, 0x00000020,
   1025   0x00000010, 0x00000010, 0x00000010, 0x00000010,
   1026   0x00000008, 0x00000008, 0x00000008, 0x00000008,
   1027   0x00000004, 0x00000004, 0x00000004, 0x00000004,
   1028   0x00000002, 0x00000002, 0x00000002, 0x00000002,
   1029   0x00000001, 0x00000001, 0x00000001, 0x00000001,
   1030 };
   1031 const unsigned kExpectedCount_NEON_urshr_4S_2OPIMM = 992;
   1032 
   1033 #endif  // VIXL_SIM_URSHR_4S_2OPIMM_TRACE_A64_H_
   1034