Home | History | Annotate | Download | only in traces 
      1 // Copyright 2015, VIXL authors
      2 // All rights reserved.
      3 //
      4 // Redistribution and use in source and binary forms, with or without
      5 // modification, are permitted provided that the following conditions are met:
      6 //
      7 //   * Redistributions of source code must retain the above copyright notice,
      8 //     this list of conditions and the following disclaimer.
      9 //   * Redistributions in binary form must reproduce the above copyright notice,
     10 //     this list of conditions and the following disclaimer in the documentation
     11 //     and/or other materials provided with the distribution.
     12 //   * Neither the name of ARM Limited nor the names of its contributors may be
     13 //     used to endorse or promote products derived from this software without
     14 //     specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
     17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
     20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
     23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     26 
     27 
     28 // ---------------------------------------------------------------------
     29 // This file is auto generated using tools/generate_simulator_traces.py.
     30 //
     31 // PLEASE DO NOT EDIT.
     32 // ---------------------------------------------------------------------
     33 
     34 #ifndef VIXL_SIM_SRI_4S_2OPIMM_TRACE_AARCH64_H_
     35 #define VIXL_SIM_SRI_4S_2OPIMM_TRACE_AARCH64_H_
     36 
     37 const uint32_t kExpected_NEON_sri_4S_2OPIMM[] = {
     38   0x7ffffffe, 0x7fffffff, 0x7fffffff, 0x00000000,
     39   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     40   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     41   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     42   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     43   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     44   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     45   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     46   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     47   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     48   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     49   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     50   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     51   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     52   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     53   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     54   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     55   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     56   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     57   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     58   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     59   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     60   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     61   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     62   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     63   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     64   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     65   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     66   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     67   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     68   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     69   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x00000000,
     70   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     71   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     72   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     73   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     74   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     75   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     76   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     77   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     78   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     79   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     80   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     81   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     82   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     83   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     84   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     85   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     86   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     87   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     88   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     89   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     90   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     91   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     92   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     93   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     94   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     95   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     96   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     97   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     98   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
     99   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
    100   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
    101   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
    102   0x7fffffff, 0x00000000, 0x00000000, 0x00000001,
    103   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    104   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    105   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    106   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    107   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    108   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    109   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    110   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    111   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    112   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    113   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    114   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    115   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    116   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    117   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    118   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    119   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    120   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    121   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    122   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    123   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    124   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    125   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    126   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    127   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    128   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    129   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    130   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    131   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    132   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    133   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
    134   0x00000000, 0x00000000, 0x00000001, 0x00000010,
    135   0x00000000, 0x00000000, 0x00000000, 0x00000008,
    136   0x00000000, 0x00000000, 0x00000000, 0x00000004,
    137   0x00000000, 0x00000000, 0x00000000, 0x00000002,
    138   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    139   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    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   0x00000000, 0x00000001, 0x00000010, 0x0000003e,
    167   0x00000000, 0x00000000, 0x00000008, 0x0000001f,
    168   0x00000000, 0x00000000, 0x00000004, 0x0000000f,
    169   0x00000000, 0x00000000, 0x00000002, 0x00000007,
    170   0x00000000, 0x00000000, 0x00000001, 0x00000003,
    171   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    172   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    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, 0x0000003e, 0x0000003f,
    199   0x00000000, 0x00000008, 0x0000001f, 0x0000001f,
    200   0x00000000, 0x00000004, 0x0000000f, 0x0000000f,
    201   0x00000000, 0x00000002, 0x00000007, 0x00000007,
    202   0x00000000, 0x00000001, 0x00000003, 0x00000003,
    203   0x00000000, 0x00000000, 0x00000001, 0x00000001,
    204   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    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, 0x0000003e, 0x0000003f, 0x0000003f,
    231   0x00000008, 0x0000001f, 0x0000001f, 0x0000001f,
    232   0x00000004, 0x0000000f, 0x0000000f, 0x0000000f,
    233   0x00000002, 0x00000007, 0x00000007, 0x00000007,
    234   0x00000001, 0x00000003, 0x00000003, 0x00000003,
    235   0x00000000, 0x00000001, 0x00000001, 0x00000001,
    236   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    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   0x0000003e, 0x0000003f, 0x0000003f, 0x00003ffe,
    263   0x0000001f, 0x0000001f, 0x0000001f, 0x00001fff,
    264   0x0000000f, 0x0000000f, 0x0000000f, 0x00000fff,
    265   0x00000007, 0x00000007, 0x00000007, 0x000007ff,
    266   0x00000003, 0x00000003, 0x00000003, 0x000003ff,
    267   0x00000001, 0x00000001, 0x00000001, 0x000001ff,
    268   0x00000000, 0x00000000, 0x00000000, 0x000000ff,
    269   0x00000000, 0x00000000, 0x00000000, 0x0000007f,
    270   0x00000000, 0x00000000, 0x00000000, 0x0000003f,
    271   0x00000000, 0x00000000, 0x00000000, 0x0000001f,
    272   0x00000000, 0x00000000, 0x00000000, 0x0000000f,
    273   0x00000000, 0x00000000, 0x00000000, 0x00000007,
    274   0x00000000, 0x00000000, 0x00000000, 0x00000003,
    275   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    276   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    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, 0x0000003f, 0x00003ffe, 0x00003fff,
    295   0x0000001f, 0x0000001f, 0x00001fff, 0x00001fff,
    296   0x0000000f, 0x0000000f, 0x00000fff, 0x00000fff,
    297   0x00000007, 0x00000007, 0x000007ff, 0x000007ff,
    298   0x00000003, 0x00000003, 0x000003ff, 0x000003ff,
    299   0x00000001, 0x00000001, 0x000001ff, 0x000001ff,
    300   0x00000000, 0x00000000, 0x000000ff, 0x000000ff,
    301   0x00000000, 0x00000000, 0x0000007f, 0x0000007f,
    302   0x00000000, 0x00000000, 0x0000003f, 0x0000003f,
    303   0x00000000, 0x00000000, 0x0000001f, 0x0000001f,
    304   0x00000000, 0x00000000, 0x0000000f, 0x0000000f,
    305   0x00000000, 0x00000000, 0x00000007, 0x00000007,
    306   0x00000000, 0x00000000, 0x00000003, 0x00000003,
    307   0x00000000, 0x00000000, 0x00000001, 0x00000001,
    308   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    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   0x0000003f, 0x00003ffe, 0x00003fff, 0x00003fff,
    327   0x0000001f, 0x00001fff, 0x00001fff, 0x00001fff,
    328   0x0000000f, 0x00000fff, 0x00000fff, 0x00000fff,
    329   0x00000007, 0x000007ff, 0x000007ff, 0x000007ff,
    330   0x00000003, 0x000003ff, 0x000003ff, 0x000003ff,
    331   0x00000001, 0x000001ff, 0x000001ff, 0x000001ff,
    332   0x00000000, 0x000000ff, 0x000000ff, 0x000000ff,
    333   0x00000000, 0x0000007f, 0x0000007f, 0x0000007f,
    334   0x00000000, 0x0000003f, 0x0000003f, 0x0000003f,
    335   0x00000000, 0x0000001f, 0x0000001f, 0x0000001f,
    336   0x00000000, 0x0000000f, 0x0000000f, 0x0000000f,
    337   0x00000000, 0x00000007, 0x00000007, 0x00000007,
    338   0x00000000, 0x00000003, 0x00000003, 0x00000003,
    339   0x00000000, 0x00000001, 0x00000001, 0x00000001,
    340   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    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   0x00003ffe, 0x00003fff, 0x00003fff, 0x19999999,
    359   0x00001fff, 0x00001fff, 0x00001fff, 0x0ccccccc,
    360   0x00000fff, 0x00000fff, 0x00000fff, 0x06666666,
    361   0x000007ff, 0x000007ff, 0x000007ff, 0x03333333,
    362   0x000003ff, 0x000003ff, 0x000003ff, 0x01999999,
    363   0x000001ff, 0x000001ff, 0x000001ff, 0x00cccccc,
    364   0x000000ff, 0x000000ff, 0x000000ff, 0x00666666,
    365   0x0000007f, 0x0000007f, 0x0000007f, 0x00333333,
    366   0x0000003f, 0x0000003f, 0x0000003f, 0x00199999,
    367   0x0000001f, 0x0000001f, 0x0000001f, 0x000ccccc,
    368   0x0000000f, 0x0000000f, 0x0000000f, 0x00066666,
    369   0x00000007, 0x00000007, 0x00000007, 0x00033333,
    370   0x00000003, 0x00000003, 0x00000003, 0x00019999,
    371   0x00000001, 0x00000001, 0x00000001, 0x0000cccc,
    372   0x00000000, 0x00000000, 0x00000000, 0x00006666,
    373   0x00000000, 0x00000000, 0x00000000, 0x00003333,
    374   0x00000000, 0x00000000, 0x00000000, 0x00001999,
    375   0x00000000, 0x00000000, 0x00000000, 0x00000ccc,
    376   0x00000000, 0x00000000, 0x00000000, 0x00000666,
    377   0x00000000, 0x00000000, 0x00000000, 0x00000333,
    378   0x00000000, 0x00000000, 0x00000000, 0x00000199,
    379   0x00000000, 0x00000000, 0x00000000, 0x000000cc,
    380   0x00000000, 0x00000000, 0x00000000, 0x00000066,
    381   0x00000000, 0x00000000, 0x00000000, 0x00000033,
    382   0x00000000, 0x00000000, 0x00000000, 0x00000019,
    383   0x00000000, 0x00000000, 0x00000000, 0x0000000c,
    384   0x00000000, 0x00000000, 0x00000000, 0x00000006,
    385   0x00000000, 0x00000000, 0x00000000, 0x00000003,
    386   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    387   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    388   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    389   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    390   0x00003fff, 0x00003fff, 0x19999999, 0x2aaaaaaa,
    391   0x00001fff, 0x00001fff, 0x0ccccccc, 0x15555555,
    392   0x00000fff, 0x00000fff, 0x06666666, 0x0aaaaaaa,
    393   0x000007ff, 0x000007ff, 0x03333333, 0x05555555,
    394   0x000003ff, 0x000003ff, 0x01999999, 0x02aaaaaa,
    395   0x000001ff, 0x000001ff, 0x00cccccc, 0x01555555,
    396   0x000000ff, 0x000000ff, 0x00666666, 0x00aaaaaa,
    397   0x0000007f, 0x0000007f, 0x00333333, 0x00555555,
    398   0x0000003f, 0x0000003f, 0x00199999, 0x002aaaaa,
    399   0x0000001f, 0x0000001f, 0x000ccccc, 0x00155555,
    400   0x0000000f, 0x0000000f, 0x00066666, 0x000aaaaa,
    401   0x00000007, 0x00000007, 0x00033333, 0x00055555,
    402   0x00000003, 0x00000003, 0x00019999, 0x0002aaaa,
    403   0x00000001, 0x00000001, 0x0000cccc, 0x00015555,
    404   0x00000000, 0x00000000, 0x00006666, 0x0000aaaa,
    405   0x00000000, 0x00000000, 0x00003333, 0x00005555,
    406   0x00000000, 0x00000000, 0x00001999, 0x00002aaa,
    407   0x00000000, 0x00000000, 0x00000ccc, 0x00001555,
    408   0x00000000, 0x00000000, 0x00000666, 0x00000aaa,
    409   0x00000000, 0x00000000, 0x00000333, 0x00000555,
    410   0x00000000, 0x00000000, 0x00000199, 0x000002aa,
    411   0x00000000, 0x00000000, 0x000000cc, 0x00000155,
    412   0x00000000, 0x00000000, 0x00000066, 0x000000aa,
    413   0x00000000, 0x00000000, 0x00000033, 0x00000055,
    414   0x00000000, 0x00000000, 0x00000019, 0x0000002a,
    415   0x00000000, 0x00000000, 0x0000000c, 0x00000015,
    416   0x00000000, 0x00000000, 0x00000006, 0x0000000a,
    417   0x00000000, 0x00000000, 0x00000003, 0x00000005,
    418   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    419   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    420   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    421   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    422   0x00003fff, 0x19999999, 0x2aaaaaaa, 0x3ffffffe,
    423   0x00001fff, 0x0ccccccc, 0x15555555, 0x1fffffff,
    424   0x00000fff, 0x06666666, 0x0aaaaaaa, 0x0fffffff,
    425   0x000007ff, 0x03333333, 0x05555555, 0x07ffffff,
    426   0x000003ff, 0x01999999, 0x02aaaaaa, 0x03ffffff,
    427   0x000001ff, 0x00cccccc, 0x01555555, 0x01ffffff,
    428   0x000000ff, 0x00666666, 0x00aaaaaa, 0x00ffffff,
    429   0x0000007f, 0x00333333, 0x00555555, 0x007fffff,
    430   0x0000003f, 0x00199999, 0x002aaaaa, 0x003fffff,
    431   0x0000001f, 0x000ccccc, 0x00155555, 0x001fffff,
    432   0x0000000f, 0x00066666, 0x000aaaaa, 0x000fffff,
    433   0x00000007, 0x00033333, 0x00055555, 0x0007ffff,
    434   0x00000003, 0x00019999, 0x0002aaaa, 0x0003ffff,
    435   0x00000001, 0x0000cccc, 0x00015555, 0x0001ffff,
    436   0x00000000, 0x00006666, 0x0000aaaa, 0x0000ffff,
    437   0x00000000, 0x00003333, 0x00005555, 0x00007fff,
    438   0x00000000, 0x00001999, 0x00002aaa, 0x00003fff,
    439   0x00000000, 0x00000ccc, 0x00001555, 0x00001fff,
    440   0x00000000, 0x00000666, 0x00000aaa, 0x00000fff,
    441   0x00000000, 0x00000333, 0x00000555, 0x000007ff,
    442   0x00000000, 0x00000199, 0x000002aa, 0x000003ff,
    443   0x00000000, 0x000000cc, 0x00000155, 0x000001ff,
    444   0x00000000, 0x00000066, 0x000000aa, 0x000000ff,
    445   0x00000000, 0x00000033, 0x00000055, 0x0000007f,
    446   0x00000000, 0x00000019, 0x0000002a, 0x0000003f,
    447   0x00000000, 0x0000000c, 0x00000015, 0x0000001f,
    448   0x00000000, 0x00000006, 0x0000000a, 0x0000000f,
    449   0x00000000, 0x00000003, 0x00000005, 0x00000007,
    450   0x00000000, 0x00000001, 0x00000002, 0x00000003,
    451   0x00000000, 0x00000000, 0x00000001, 0x00000001,
    452   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    453   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    454   0x19999999, 0x2aaaaaaa, 0x3ffffffe, 0x3fffffff,
    455   0x0ccccccc, 0x15555555, 0x1fffffff, 0x1fffffff,
    456   0x06666666, 0x0aaaaaaa, 0x0fffffff, 0x0fffffff,
    457   0x03333333, 0x05555555, 0x07ffffff, 0x07ffffff,
    458   0x01999999, 0x02aaaaaa, 0x03ffffff, 0x03ffffff,
    459   0x00cccccc, 0x01555555, 0x01ffffff, 0x01ffffff,
    460   0x00666666, 0x00aaaaaa, 0x00ffffff, 0x00ffffff,
    461   0x00333333, 0x00555555, 0x007fffff, 0x007fffff,
    462   0x00199999, 0x002aaaaa, 0x003fffff, 0x003fffff,
    463   0x000ccccc, 0x00155555, 0x001fffff, 0x001fffff,
    464   0x00066666, 0x000aaaaa, 0x000fffff, 0x000fffff,
    465   0x00033333, 0x00055555, 0x0007ffff, 0x0007ffff,
    466   0x00019999, 0x0002aaaa, 0x0003ffff, 0x0003ffff,
    467   0x0000cccc, 0x00015555, 0x0001ffff, 0x0001ffff,
    468   0x00006666, 0x0000aaaa, 0x0000ffff, 0x0000ffff,
    469   0x00003333, 0x00005555, 0x00007fff, 0x00007fff,
    470   0x00001999, 0x00002aaa, 0x00003fff, 0x00003fff,
    471   0x00000ccc, 0x00001555, 0x00001fff, 0x00001fff,
    472   0x00000666, 0x00000aaa, 0x00000fff, 0x00000fff,
    473   0x00000333, 0x00000555, 0x000007ff, 0x000007ff,
    474   0x00000199, 0x000002aa, 0x000003ff, 0x000003ff,
    475   0x000000cc, 0x00000155, 0x000001ff, 0x000001ff,
    476   0x00000066, 0x000000aa, 0x000000ff, 0x000000ff,
    477   0x00000033, 0x00000055, 0x0000007f, 0x0000007f,
    478   0x00000019, 0x0000002a, 0x0000003f, 0x0000003f,
    479   0x0000000c, 0x00000015, 0x0000001f, 0x0000001f,
    480   0x00000006, 0x0000000a, 0x0000000f, 0x0000000f,
    481   0x00000003, 0x00000005, 0x00000007, 0x00000007,
    482   0x00000001, 0x00000002, 0x00000003, 0x00000003,
    483   0x00000000, 0x00000001, 0x00000001, 0x00000001,
    484   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    485   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    486   0x2aaaaaaa, 0x3ffffffe, 0x3fffffff, 0x3fffffff,
    487   0x15555555, 0x1fffffff, 0x1fffffff, 0x1fffffff,
    488   0x0aaaaaaa, 0x0fffffff, 0x0fffffff, 0x0fffffff,
    489   0x05555555, 0x07ffffff, 0x07ffffff, 0x07ffffff,
    490   0x02aaaaaa, 0x03ffffff, 0x03ffffff, 0x03ffffff,
    491   0x01555555, 0x01ffffff, 0x01ffffff, 0x01ffffff,
    492   0x00aaaaaa, 0x00ffffff, 0x00ffffff, 0x00ffffff,
    493   0x00555555, 0x007fffff, 0x007fffff, 0x007fffff,
    494   0x002aaaaa, 0x003fffff, 0x003fffff, 0x003fffff,
    495   0x00155555, 0x001fffff, 0x001fffff, 0x001fffff,
    496   0x000aaaaa, 0x000fffff, 0x000fffff, 0x000fffff,
    497   0x00055555, 0x0007ffff, 0x0007ffff, 0x0007ffff,
    498   0x0002aaaa, 0x0003ffff, 0x0003ffff, 0x0003ffff,
    499   0x00015555, 0x0001ffff, 0x0001ffff, 0x0001ffff,
    500   0x0000aaaa, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    501   0x00005555, 0x00007fff, 0x00007fff, 0x00007fff,
    502   0x00002aaa, 0x00003fff, 0x00003fff, 0x00003fff,
    503   0x00001555, 0x00001fff, 0x00001fff, 0x00001fff,
    504   0x00000aaa, 0x00000fff, 0x00000fff, 0x00000fff,
    505   0x00000555, 0x000007ff, 0x000007ff, 0x000007ff,
    506   0x000002aa, 0x000003ff, 0x000003ff, 0x000003ff,
    507   0x00000155, 0x000001ff, 0x000001ff, 0x000001ff,
    508   0x000000aa, 0x000000ff, 0x000000ff, 0x000000ff,
    509   0x00000055, 0x0000007f, 0x0000007f, 0x0000007f,
    510   0x0000002a, 0x0000003f, 0x0000003f, 0x0000003f,
    511   0x00000015, 0x0000001f, 0x0000001f, 0x0000001f,
    512   0x0000000a, 0x0000000f, 0x0000000f, 0x0000000f,
    513   0x00000005, 0x00000007, 0x00000007, 0x00000007,
    514   0x00000002, 0x00000003, 0x00000003, 0x00000003,
    515   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    516   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    517   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    518   0x3ffffffe, 0x3fffffff, 0x3fffffff, 0x40000000,
    519   0x1fffffff, 0x1fffffff, 0x1fffffff, 0x60000000,
    520   0x0fffffff, 0x0fffffff, 0x0fffffff, 0x70000000,
    521   0x07ffffff, 0x07ffffff, 0x07ffffff, 0x78000000,
    522   0x03ffffff, 0x03ffffff, 0x03ffffff, 0x7c000000,
    523   0x01ffffff, 0x01ffffff, 0x01ffffff, 0x7e000000,
    524   0x00ffffff, 0x00ffffff, 0x00ffffff, 0x7f000000,
    525   0x007fffff, 0x007fffff, 0x007fffff, 0x7f800000,
    526   0x003fffff, 0x003fffff, 0x003fffff, 0x7fc00000,
    527   0x001fffff, 0x001fffff, 0x001fffff, 0x7fe00000,
    528   0x000fffff, 0x000fffff, 0x000fffff, 0x7ff00000,
    529   0x0007ffff, 0x0007ffff, 0x0007ffff, 0x7ff80000,
    530   0x0003ffff, 0x0003ffff, 0x0003ffff, 0x7ffc0000,
    531   0x0001ffff, 0x0001ffff, 0x0001ffff, 0x7ffe0000,
    532   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x7fff0000,
    533   0x00007fff, 0x00007fff, 0x00007fff, 0x7fff8000,
    534   0x00003fff, 0x00003fff, 0x00003fff, 0x7fffc000,
    535   0x00001fff, 0x00001fff, 0x00001fff, 0x7fffe000,
    536   0x00000fff, 0x00000fff, 0x00000fff, 0x7ffff000,
    537   0x000007ff, 0x000007ff, 0x000007ff, 0x7ffff800,
    538   0x000003ff, 0x000003ff, 0x000003ff, 0x7ffffc00,
    539   0x000001ff, 0x000001ff, 0x000001ff, 0x7ffffe00,
    540   0x000000ff, 0x000000ff, 0x000000ff, 0x7fffff00,
    541   0x0000007f, 0x0000007f, 0x0000007f, 0x7fffff80,
    542   0x0000003f, 0x0000003f, 0x0000003f, 0x7fffffc0,
    543   0x0000001f, 0x0000001f, 0x0000001f, 0x7fffffe0,
    544   0x0000000f, 0x0000000f, 0x0000000f, 0x7ffffff0,
    545   0x00000007, 0x00000007, 0x00000007, 0x7ffffff8,
    546   0x00000003, 0x00000003, 0x00000003, 0x7ffffffc,
    547   0x00000001, 0x00000001, 0x00000001, 0x7ffffffe,
    548   0x00000000, 0x00000000, 0x00000000, 0x7fffffff,
    549   0x00000000, 0x00000000, 0x00000000, 0x7fffffff,
    550   0x3fffffff, 0x3fffffff, 0x40000000, 0x40000000,
    551   0x1fffffff, 0x1fffffff, 0x60000000, 0x60000000,
    552   0x0fffffff, 0x0fffffff, 0x70000000, 0x70000000,
    553   0x07ffffff, 0x07ffffff, 0x78000000, 0x78000000,
    554   0x03ffffff, 0x03ffffff, 0x7c000000, 0x7c000000,
    555   0x01ffffff, 0x01ffffff, 0x7e000000, 0x7e000000,
    556   0x00ffffff, 0x00ffffff, 0x7f000000, 0x7f000000,
    557   0x007fffff, 0x007fffff, 0x7f800000, 0x7f800000,
    558   0x003fffff, 0x003fffff, 0x7fc00000, 0x7fc00000,
    559   0x001fffff, 0x001fffff, 0x7fe00000, 0x7fe00000,
    560   0x000fffff, 0x000fffff, 0x7ff00000, 0x7ff00000,
    561   0x0007ffff, 0x0007ffff, 0x7ff80000, 0x7ff80000,
    562   0x0003ffff, 0x0003ffff, 0x7ffc0000, 0x7ffc0000,
    563   0x0001ffff, 0x0001ffff, 0x7ffe0000, 0x7ffe0000,
    564   0x0000ffff, 0x0000ffff, 0x7fff0000, 0x7fff0000,
    565   0x00007fff, 0x00007fff, 0x7fff8000, 0x7fff8000,
    566   0x00003fff, 0x00003fff, 0x7fffc000, 0x7fffc000,
    567   0x00001fff, 0x00001fff, 0x7fffe000, 0x7fffe000,
    568   0x00000fff, 0x00000fff, 0x7ffff000, 0x7ffff000,
    569   0x000007ff, 0x000007ff, 0x7ffff800, 0x7ffff800,
    570   0x000003ff, 0x000003ff, 0x7ffffc00, 0x7ffffc00,
    571   0x000001ff, 0x000001ff, 0x7ffffe00, 0x7ffffe00,
    572   0x000000ff, 0x000000ff, 0x7fffff00, 0x7fffff00,
    573   0x0000007f, 0x0000007f, 0x7fffff80, 0x7fffff80,
    574   0x0000003f, 0x0000003f, 0x7fffffc0, 0x7fffffc0,
    575   0x0000001f, 0x0000001f, 0x7fffffe0, 0x7fffffe0,
    576   0x0000000f, 0x0000000f, 0x7ffffff0, 0x7ffffff0,
    577   0x00000007, 0x00000007, 0x7ffffff8, 0x7ffffff8,
    578   0x00000003, 0x00000003, 0x7ffffffc, 0x7ffffffc,
    579   0x00000001, 0x00000001, 0x7ffffffe, 0x7ffffffe,
    580   0x00000000, 0x00000000, 0x7fffffff, 0x7fffffff,
    581   0x00000000, 0x00000000, 0x7fffffff, 0x7fffffff,
    582   0x3fffffff, 0x40000000, 0x40000000, 0x55555555,
    583   0x1fffffff, 0x60000000, 0x60000000, 0x6aaaaaaa,
    584   0x0fffffff, 0x70000000, 0x70000000, 0x75555555,
    585   0x07ffffff, 0x78000000, 0x78000000, 0x7aaaaaaa,
    586   0x03ffffff, 0x7c000000, 0x7c000000, 0x7d555555,
    587   0x01ffffff, 0x7e000000, 0x7e000000, 0x7eaaaaaa,
    588   0x00ffffff, 0x7f000000, 0x7f000000, 0x7f555555,
    589   0x007fffff, 0x7f800000, 0x7f800000, 0x7faaaaaa,
    590   0x003fffff, 0x7fc00000, 0x7fc00000, 0x7fd55555,
    591   0x001fffff, 0x7fe00000, 0x7fe00000, 0x7feaaaaa,
    592   0x000fffff, 0x7ff00000, 0x7ff00000, 0x7ff55555,
    593   0x0007ffff, 0x7ff80000, 0x7ff80000, 0x7ffaaaaa,
    594   0x0003ffff, 0x7ffc0000, 0x7ffc0000, 0x7ffd5555,
    595   0x0001ffff, 0x7ffe0000, 0x7ffe0000, 0x7ffeaaaa,
    596   0x0000ffff, 0x7fff0000, 0x7fff0000, 0x7fff5555,
    597   0x00007fff, 0x7fff8000, 0x7fff8000, 0x7fffaaaa,
    598   0x00003fff, 0x7fffc000, 0x7fffc000, 0x7fffd555,
    599   0x00001fff, 0x7fffe000, 0x7fffe000, 0x7fffeaaa,
    600   0x00000fff, 0x7ffff000, 0x7ffff000, 0x7ffff555,
    601   0x000007ff, 0x7ffff800, 0x7ffff800, 0x7ffffaaa,
    602   0x000003ff, 0x7ffffc00, 0x7ffffc00, 0x7ffffd55,
    603   0x000001ff, 0x7ffffe00, 0x7ffffe00, 0x7ffffeaa,
    604   0x000000ff, 0x7fffff00, 0x7fffff00, 0x7fffff55,
    605   0x0000007f, 0x7fffff80, 0x7fffff80, 0x7fffffaa,
    606   0x0000003f, 0x7fffffc0, 0x7fffffc0, 0x7fffffd5,
    607   0x0000001f, 0x7fffffe0, 0x7fffffe0, 0x7fffffea,
    608   0x0000000f, 0x7ffffff0, 0x7ffffff0, 0x7ffffff5,
    609   0x00000007, 0x7ffffff8, 0x7ffffff8, 0x7ffffffa,
    610   0x00000003, 0x7ffffffc, 0x7ffffffc, 0x7ffffffd,
    611   0x00000001, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
    612   0x00000000, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    613   0x00000000, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    614   0x40000000, 0x40000000, 0x55555555, 0x66666666,
    615   0x60000000, 0x60000000, 0x6aaaaaaa, 0x73333333,
    616   0x70000000, 0x70000000, 0x75555555, 0x79999999,
    617   0x78000000, 0x78000000, 0x7aaaaaaa, 0x7ccccccc,
    618   0x7c000000, 0x7c000000, 0x7d555555, 0x7e666666,
    619   0x7e000000, 0x7e000000, 0x7eaaaaaa, 0x7f333333,
    620   0x7f000000, 0x7f000000, 0x7f555555, 0x7f999999,
    621   0x7f800000, 0x7f800000, 0x7faaaaaa, 0x7fcccccc,
    622   0x7fc00000, 0x7fc00000, 0x7fd55555, 0x7fe66666,
    623   0x7fe00000, 0x7fe00000, 0x7feaaaaa, 0x7ff33333,
    624   0x7ff00000, 0x7ff00000, 0x7ff55555, 0x7ff99999,
    625   0x7ff80000, 0x7ff80000, 0x7ffaaaaa, 0x7ffccccc,
    626   0x7ffc0000, 0x7ffc0000, 0x7ffd5555, 0x7ffe6666,
    627   0x7ffe0000, 0x7ffe0000, 0x7ffeaaaa, 0x7fff3333,
    628   0x7fff0000, 0x7fff0000, 0x7fff5555, 0x7fff9999,
    629   0x7fff8000, 0x7fff8000, 0x7fffaaaa, 0x7fffcccc,
    630   0x7fffc000, 0x7fffc000, 0x7fffd555, 0x7fffe666,
    631   0x7fffe000, 0x7fffe000, 0x7fffeaaa, 0x7ffff333,
    632   0x7ffff000, 0x7ffff000, 0x7ffff555, 0x7ffff999,
    633   0x7ffff800, 0x7ffff800, 0x7ffffaaa, 0x7ffffccc,
    634   0x7ffffc00, 0x7ffffc00, 0x7ffffd55, 0x7ffffe66,
    635   0x7ffffe00, 0x7ffffe00, 0x7ffffeaa, 0x7fffff33,
    636   0x7fffff00, 0x7fffff00, 0x7fffff55, 0x7fffff99,
    637   0x7fffff80, 0x7fffff80, 0x7fffffaa, 0x7fffffcc,
    638   0x7fffffc0, 0x7fffffc0, 0x7fffffd5, 0x7fffffe6,
    639   0x7fffffe0, 0x7fffffe0, 0x7fffffea, 0x7ffffff3,
    640   0x7ffffff0, 0x7ffffff0, 0x7ffffff5, 0x7ffffff9,
    641   0x7ffffff8, 0x7ffffff8, 0x7ffffffa, 0x7ffffffc,
    642   0x7ffffffc, 0x7ffffffc, 0x7ffffffd, 0x7ffffffe,
    643   0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7fffffff,
    644   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    645   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    646   0x40000000, 0x55555555, 0x66666666, 0x7fffc000,
    647   0x60000000, 0x6aaaaaaa, 0x73333333, 0x7fffe000,
    648   0x70000000, 0x75555555, 0x79999999, 0x7ffff000,
    649   0x78000000, 0x7aaaaaaa, 0x7ccccccc, 0x7ffff800,
    650   0x7c000000, 0x7d555555, 0x7e666666, 0x7ffffc00,
    651   0x7e000000, 0x7eaaaaaa, 0x7f333333, 0x7ffffe00,
    652   0x7f000000, 0x7f555555, 0x7f999999, 0x7fffff00,
    653   0x7f800000, 0x7faaaaaa, 0x7fcccccc, 0x7fffff80,
    654   0x7fc00000, 0x7fd55555, 0x7fe66666, 0x7fffffc0,
    655   0x7fe00000, 0x7feaaaaa, 0x7ff33333, 0x7fffffe0,
    656   0x7ff00000, 0x7ff55555, 0x7ff99999, 0x7ffffff0,
    657   0x7ff80000, 0x7ffaaaaa, 0x7ffccccc, 0x7ffffff8,
    658   0x7ffc0000, 0x7ffd5555, 0x7ffe6666, 0x7ffffffc,
    659   0x7ffe0000, 0x7ffeaaaa, 0x7fff3333, 0x7ffffffe,
    660   0x7fff0000, 0x7fff5555, 0x7fff9999, 0x7fffffff,
    661   0x7fff8000, 0x7fffaaaa, 0x7fffcccc, 0x7fffffff,
    662   0x7fffc000, 0x7fffd555, 0x7fffe666, 0x7fffffff,
    663   0x7fffe000, 0x7fffeaaa, 0x7ffff333, 0x7fffffff,
    664   0x7ffff000, 0x7ffff555, 0x7ffff999, 0x7fffffff,
    665   0x7ffff800, 0x7ffffaaa, 0x7ffffccc, 0x7fffffff,
    666   0x7ffffc00, 0x7ffffd55, 0x7ffffe66, 0x7fffffff,
    667   0x7ffffe00, 0x7ffffeaa, 0x7fffff33, 0x7fffffff,
    668   0x7fffff00, 0x7fffff55, 0x7fffff99, 0x7fffffff,
    669   0x7fffff80, 0x7fffffaa, 0x7fffffcc, 0x7fffffff,
    670   0x7fffffc0, 0x7fffffd5, 0x7fffffe6, 0x7fffffff,
    671   0x7fffffe0, 0x7fffffea, 0x7ffffff3, 0x7fffffff,
    672   0x7ffffff0, 0x7ffffff5, 0x7ffffff9, 0x7fffffff,
    673   0x7ffffff8, 0x7ffffffa, 0x7ffffffc, 0x7fffffff,
    674   0x7ffffffc, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    675   0x7ffffffe, 0x7ffffffe, 0x7fffffff, 0x7fffffff,
    676   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    677   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    678   0x55555555, 0x66666666, 0x7fffc000, 0x7fffc000,
    679   0x6aaaaaaa, 0x73333333, 0x7fffe000, 0x7fffe000,
    680   0x75555555, 0x79999999, 0x7ffff000, 0x7ffff000,
    681   0x7aaaaaaa, 0x7ccccccc, 0x7ffff800, 0x7ffff800,
    682   0x7d555555, 0x7e666666, 0x7ffffc00, 0x7ffffc00,
    683   0x7eaaaaaa, 0x7f333333, 0x7ffffe00, 0x7ffffe00,
    684   0x7f555555, 0x7f999999, 0x7fffff00, 0x7fffff00,
    685   0x7faaaaaa, 0x7fcccccc, 0x7fffff80, 0x7fffff80,
    686   0x7fd55555, 0x7fe66666, 0x7fffffc0, 0x7fffffc0,
    687   0x7feaaaaa, 0x7ff33333, 0x7fffffe0, 0x7fffffe0,
    688   0x7ff55555, 0x7ff99999, 0x7ffffff0, 0x7ffffff0,
    689   0x7ffaaaaa, 0x7ffccccc, 0x7ffffff8, 0x7ffffff8,
    690   0x7ffd5555, 0x7ffe6666, 0x7ffffffc, 0x7ffffffc,
    691   0x7ffeaaaa, 0x7fff3333, 0x7ffffffe, 0x7ffffffe,
    692   0x7fff5555, 0x7fff9999, 0x7fffffff, 0x7fffffff,
    693   0x7fffaaaa, 0x7fffcccc, 0x7fffffff, 0x7fffffff,
    694   0x7fffd555, 0x7fffe666, 0x7fffffff, 0x7fffffff,
    695   0x7fffeaaa, 0x7ffff333, 0x7fffffff, 0x7fffffff,
    696   0x7ffff555, 0x7ffff999, 0x7fffffff, 0x7fffffff,
    697   0x7ffffaaa, 0x7ffffccc, 0x7fffffff, 0x7fffffff,
    698   0x7ffffd55, 0x7ffffe66, 0x7fffffff, 0x7fffffff,
    699   0x7ffffeaa, 0x7fffff33, 0x7fffffff, 0x7fffffff,
    700   0x7fffff55, 0x7fffff99, 0x7fffffff, 0x7fffffff,
    701   0x7fffffaa, 0x7fffffcc, 0x7fffffff, 0x7fffffff,
    702   0x7fffffd5, 0x7fffffe6, 0x7fffffff, 0x7fffffff,
    703   0x7fffffea, 0x7ffffff3, 0x7fffffff, 0x7fffffff,
    704   0x7ffffff5, 0x7ffffff9, 0x7fffffff, 0x7fffffff,
    705   0x7ffffffa, 0x7ffffffc, 0x7fffffff, 0x7fffffff,
    706   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x7fffffff,
    707   0x7ffffffe, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    708   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    709   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    710   0x66666666, 0x7fffc000, 0x7fffc000, 0x7fffc001,
    711   0x73333333, 0x7fffe000, 0x7fffe000, 0x7fffe000,
    712   0x79999999, 0x7ffff000, 0x7ffff000, 0x7ffff000,
    713   0x7ccccccc, 0x7ffff800, 0x7ffff800, 0x7ffff800,
    714   0x7e666666, 0x7ffffc00, 0x7ffffc00, 0x7ffffc00,
    715   0x7f333333, 0x7ffffe00, 0x7ffffe00, 0x7ffffe00,
    716   0x7f999999, 0x7fffff00, 0x7fffff00, 0x7fffff00,
    717   0x7fcccccc, 0x7fffff80, 0x7fffff80, 0x7fffff80,
    718   0x7fe66666, 0x7fffffc0, 0x7fffffc0, 0x7fffffc0,
    719   0x7ff33333, 0x7fffffe0, 0x7fffffe0, 0x7fffffe0,
    720   0x7ff99999, 0x7ffffff0, 0x7ffffff0, 0x7ffffff0,
    721   0x7ffccccc, 0x7ffffff8, 0x7ffffff8, 0x7ffffff8,
    722   0x7ffe6666, 0x7ffffffc, 0x7ffffffc, 0x7ffffffc,
    723   0x7fff3333, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
    724   0x7fff9999, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    725   0x7fffcccc, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    726   0x7fffe666, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    727   0x7ffff333, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    728   0x7ffff999, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    729   0x7ffffccc, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    730   0x7ffffe66, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    731   0x7fffff33, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    732   0x7fffff99, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    733   0x7fffffcc, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    734   0x7fffffe6, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    735   0x7ffffff3, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    736   0x7ffffff9, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    737   0x7ffffffc, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    738   0x7ffffffe, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    739   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    740   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    741   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    742   0x7fffc000, 0x7fffc000, 0x7fffc001, 0x7fffc001,
    743   0x7fffe000, 0x7fffe000, 0x7fffe000, 0x7fffe000,
    744   0x7ffff000, 0x7ffff000, 0x7ffff000, 0x7ffff000,
    745   0x7ffff800, 0x7ffff800, 0x7ffff800, 0x7ffff800,
    746   0x7ffffc00, 0x7ffffc00, 0x7ffffc00, 0x7ffffc00,
    747   0x7ffffe00, 0x7ffffe00, 0x7ffffe00, 0x7ffffe00,
    748   0x7fffff00, 0x7fffff00, 0x7fffff00, 0x7fffff00,
    749   0x7fffff80, 0x7fffff80, 0x7fffff80, 0x7fffff80,
    750   0x7fffffc0, 0x7fffffc0, 0x7fffffc0, 0x7fffffc0,
    751   0x7fffffe0, 0x7fffffe0, 0x7fffffe0, 0x7fffffe0,
    752   0x7ffffff0, 0x7ffffff0, 0x7ffffff0, 0x7ffffff0,
    753   0x7ffffff8, 0x7ffffff8, 0x7ffffff8, 0x7ffffff8,
    754   0x7ffffffc, 0x7ffffffc, 0x7ffffffc, 0x7ffffffc,
    755   0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
    756   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    757   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    758   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    759   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    760   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    761   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    762   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    763   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    764   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    765   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    766   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    767   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    768   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    769   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    770   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    771   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    772   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    773   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    774   0x7fffc000, 0x7fffc001, 0x7fffc001, 0x7fffffc0,
    775   0x7fffe000, 0x7fffe000, 0x7fffe000, 0x7fffffe0,
    776   0x7ffff000, 0x7ffff000, 0x7ffff000, 0x7ffffff0,
    777   0x7ffff800, 0x7ffff800, 0x7ffff800, 0x7ffffff8,
    778   0x7ffffc00, 0x7ffffc00, 0x7ffffc00, 0x7ffffffc,
    779   0x7ffffe00, 0x7ffffe00, 0x7ffffe00, 0x7ffffffe,
    780   0x7fffff00, 0x7fffff00, 0x7fffff00, 0x7fffffff,
    781   0x7fffff80, 0x7fffff80, 0x7fffff80, 0x7fffffff,
    782   0x7fffffc0, 0x7fffffc0, 0x7fffffc0, 0x7fffffff,
    783   0x7fffffe0, 0x7fffffe0, 0x7fffffe0, 0x7fffffff,
    784   0x7ffffff0, 0x7ffffff0, 0x7ffffff0, 0x7fffffff,
    785   0x7ffffff8, 0x7ffffff8, 0x7ffffff8, 0x7fffffff,
    786   0x7ffffffc, 0x7ffffffc, 0x7ffffffc, 0x7fffffff,
    787   0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7fffffff,
    788   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    789   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    790   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    791   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    792   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    793   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    794   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    795   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    796   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    797   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    798   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    799   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    800   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    801   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    802   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    803   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    804   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    805   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    806   0x7fffc001, 0x7fffc001, 0x7fffffc0, 0x7fffffc0,
    807   0x7fffe000, 0x7fffe000, 0x7fffffe0, 0x7fffffe0,
    808   0x7ffff000, 0x7ffff000, 0x7ffffff0, 0x7ffffff0,
    809   0x7ffff800, 0x7ffff800, 0x7ffffff8, 0x7ffffff8,
    810   0x7ffffc00, 0x7ffffc00, 0x7ffffffc, 0x7ffffffc,
    811   0x7ffffe00, 0x7ffffe00, 0x7ffffffe, 0x7ffffffe,
    812   0x7fffff00, 0x7fffff00, 0x7fffffff, 0x7fffffff,
    813   0x7fffff80, 0x7fffff80, 0x7fffffff, 0x7fffffff,
    814   0x7fffffc0, 0x7fffffc0, 0x7fffffff, 0x7fffffff,
    815   0x7fffffe0, 0x7fffffe0, 0x7fffffff, 0x7fffffff,
    816   0x7ffffff0, 0x7ffffff0, 0x7fffffff, 0x7fffffff,
    817   0x7ffffff8, 0x7ffffff8, 0x7fffffff, 0x7fffffff,
    818   0x7ffffffc, 0x7ffffffc, 0x7fffffff, 0x7fffffff,
    819   0x7ffffffe, 0x7ffffffe, 0x7fffffff, 0x7fffffff,
    820   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    821   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    822   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    823   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    824   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    825   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    826   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    827   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    828   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    829   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    830   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    831   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    832   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    833   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    834   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    835   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    836   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    837   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    838   0x7fffc001, 0x7fffffc0, 0x7fffffc0, 0x7fffffc1,
    839   0x7fffe000, 0x7fffffe0, 0x7fffffe0, 0x7fffffe0,
    840   0x7ffff000, 0x7ffffff0, 0x7ffffff0, 0x7ffffff0,
    841   0x7ffff800, 0x7ffffff8, 0x7ffffff8, 0x7ffffff8,
    842   0x7ffffc00, 0x7ffffffc, 0x7ffffffc, 0x7ffffffc,
    843   0x7ffffe00, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
    844   0x7fffff00, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    845   0x7fffff80, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    846   0x7fffffc0, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    847   0x7fffffe0, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    848   0x7ffffff0, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    849   0x7ffffff8, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    850   0x7ffffffc, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    851   0x7ffffffe, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    852   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    853   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    854   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    855   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    856   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    857   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    858   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    859   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    860   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    861   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    862   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    863   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    864   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    865   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    866   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    867   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    868   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    869   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    870   0x7fffffc0, 0x7fffffc0, 0x7fffffc1, 0x7fffffc1,
    871   0x7fffffe0, 0x7fffffe0, 0x7fffffe0, 0x7fffffe0,
    872   0x7ffffff0, 0x7ffffff0, 0x7ffffff0, 0x7ffffff0,
    873   0x7ffffff8, 0x7ffffff8, 0x7ffffff8, 0x7ffffff8,
    874   0x7ffffffc, 0x7ffffffc, 0x7ffffffc, 0x7ffffffc,
    875   0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
    876   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    877   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    878   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    879   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    880   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    881   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    882   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    883   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    884   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    885   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    886   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    887   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    888   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    889   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    890   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    891   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    892   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    893   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    894   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    895   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    896   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    897   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    898   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    899   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    900   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    901   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    902   0x7fffffc0, 0x7fffffc1, 0x7fffffc1, 0x7ffffff0,
    903   0x7fffffe0, 0x7fffffe0, 0x7fffffe0, 0x7ffffff8,
    904   0x7ffffff0, 0x7ffffff0, 0x7ffffff0, 0x7ffffffc,
    905   0x7ffffff8, 0x7ffffff8, 0x7ffffff8, 0x7ffffffe,
    906   0x7ffffffc, 0x7ffffffc, 0x7ffffffc, 0x7fffffff,
    907   0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7fffffff,
    908   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    909   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    910   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    911   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    912   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    913   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    914   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    915   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    916   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    917   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    918   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    919   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    920   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    921   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    922   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    923   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    924   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    925   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    926   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    927   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    928   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    929   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    930   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    931   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    932   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    933   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    934   0x7fffffc1, 0x7fffffc1, 0x7ffffff0, 0x7ffffffe,
    935   0x7fffffe0, 0x7fffffe0, 0x7ffffff8, 0x7fffffff,
    936   0x7ffffff0, 0x7ffffff0, 0x7ffffffc, 0x7fffffff,
    937   0x7ffffff8, 0x7ffffff8, 0x7ffffffe, 0x7fffffff,
    938   0x7ffffffc, 0x7ffffffc, 0x7fffffff, 0x7fffffff,
    939   0x7ffffffe, 0x7ffffffe, 0x7fffffff, 0x7fffffff,
    940   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    941   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    942   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    943   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    944   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    945   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    946   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    947   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    948   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    949   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    950   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    951   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    952   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    953   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    954   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    955   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    956   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    957   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    958   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    959   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    960   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    961   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    962   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    963   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    964   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    965   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    966   0x7fffffc1, 0x7ffffff0, 0x7ffffffe, 0x7fffffff,
    967   0x7fffffe0, 0x7ffffff8, 0x7fffffff, 0x7fffffff,
    968   0x7ffffff0, 0x7ffffffc, 0x7fffffff, 0x7fffffff,
    969   0x7ffffff8, 0x7ffffffe, 0x7fffffff, 0x7fffffff,
    970   0x7ffffffc, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    971   0x7ffffffe, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    972   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    973   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    974   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    975   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    976   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    977   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    978   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    979   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    980   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    981   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    982   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    983   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    984   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    985   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    986   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    987   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    988   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    989   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    990   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    991   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    992   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    993   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    994   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    995   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    996   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    997   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    998   0x7ffffff0, 0x7ffffffe, 0x7fffffff, 0x7fffffff,
    999   0x7ffffff8, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1000   0x7ffffffc, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1001   0x7ffffffe, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1002   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1003   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1004   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1005   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1006   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1007   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1008   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1009   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1010   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1011   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1012   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1013   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1014   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1015   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1016   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1017   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1018   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1019   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1020   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1021   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1022   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1023   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1024   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1025   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1026   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1027   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1028   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1029   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
   1030 };
   1031 const unsigned kExpectedCount_NEON_sri_4S_2OPIMM = 992;
   1032 
   1033 #endif  // VIXL_SIM_SRI_4S_2OPIMM_TRACE_AARCH64_H_
   1034