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_SMAX_4S_TRACE_A64_H_
     35 #define VIXL_SIM_SMAX_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_smax_4S[] = {
     38   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     39   0x00007f00, 0x007ffd00, 0x007ffd00, 0x00000001,
     40   0x007ffd00, 0x00007f00, 0x007ffd00, 0x00000002,
     41   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000020,
     42   0x00007e00, 0x00007f00, 0x007ffd00, 0x0000007d,
     43   0x00007e00, 0x00007f00, 0x007ffd00, 0x0000007e,
     44   0x00007e00, 0x00007f00, 0x007ffd00, 0x0000007f,
     45   0x00007e00, 0x00007f00, 0x007ffd00, 0x00007ffd,
     46   0x00007e00, 0x00007f00, 0x007ffd00, 0x00007ffe,
     47   0x00007e00, 0x00007ffd, 0x007ffd00, 0x00007fff,
     48   0x00007ffd, 0x00007ffe, 0x007ffd00, 0x33333333,
     49   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
     50   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
     51   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
     52   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
     53   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00000000,
     54   0x7ffffffe, 0x7fffffff, 0x007ffd00, 0x00000000,
     55   0x7fffffff, 0x00007f00, 0x007ffd00, 0x00000000,
     56   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     57   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     58   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     59   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     60   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     61   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     62   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     63   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     64   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     65   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     66   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     67   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     68   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
     69   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     70   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     71   0x00007f00, 0x007ffd00, 0x00000001, 0x00000002,
     72   0x00007f00, 0x007ffd00, 0x00000002, 0x00000020,
     73   0x00007f00, 0x007ffd00, 0x00000020, 0x0000007d,
     74   0x00007f00, 0x007ffd00, 0x0000007d, 0x0000007e,
     75   0x00007f00, 0x007ffd00, 0x0000007e, 0x0000007f,
     76   0x00007f00, 0x007ffd00, 0x0000007f, 0x00007ffd,
     77   0x00007f00, 0x007ffd00, 0x00007ffd, 0x00007ffe,
     78   0x00007f00, 0x007ffd00, 0x00007ffe, 0x00007fff,
     79   0x00007ffd, 0x007ffd00, 0x00007fff, 0x33333333,
     80   0x00007ffe, 0x007ffd00, 0x33333333, 0x55555555,
     81   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
     82   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
     83   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
     84   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00000001,
     85   0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000001,
     86   0x7fffffff, 0x007ffd00, 0x00000000, 0x00000001,
     87   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     88   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     89   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     90   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     91   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     92   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     93   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     94   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     95   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     96   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     97   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     98   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
     99   0x00007f00, 0x007ffd00, 0x00000000, 0x00000001,
    100   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    101   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    102   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    103   0x007ffd00, 0x00000001, 0x00000002, 0x00000020,
    104   0x007ffd00, 0x00000002, 0x00000020, 0x0000007d,
    105   0x007ffd00, 0x00000020, 0x0000007d, 0x0000007e,
    106   0x007ffd00, 0x0000007d, 0x0000007e, 0x0000007f,
    107   0x007ffd00, 0x0000007e, 0x0000007f, 0x00007ffd,
    108   0x007ffd00, 0x0000007f, 0x00007ffd, 0x00007ffe,
    109   0x007ffd00, 0x00007ffd, 0x00007ffe, 0x00007fff,
    110   0x007ffd00, 0x00007ffe, 0x00007fff, 0x33333333,
    111   0x007ffd00, 0x00007fff, 0x33333333, 0x55555555,
    112   0x007ffd00, 0x33333333, 0x55555555, 0x7ffffffd,
    113   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    114   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    115   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00000002,
    116   0x7ffffffe, 0x7fffffff, 0x00000001, 0x00000002,
    117   0x7fffffff, 0x00000000, 0x00000001, 0x00000002,
    118   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    119   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    120   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    121   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    122   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    123   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    124   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    125   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    126   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    127   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    128   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    129   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    130   0x007ffd00, 0x00000000, 0x00000001, 0x00000002,
    131   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    132   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    133   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    134   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    135   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    136   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    137   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    138   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    139   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    140   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    141   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    142   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    143   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    144   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    145   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    146   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00000020,
    147   0x7ffffffe, 0x7fffffff, 0x00000002, 0x00000020,
    148   0x7fffffff, 0x00000001, 0x00000002, 0x00000020,
    149   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    150   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    151   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    152   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    153   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    154   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    155   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    156   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    157   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    158   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    159   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    160   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    161   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    162   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    163   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    164   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    165   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    166   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    167   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    168   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    169   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    170   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    171   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    172   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    173   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    174   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    175   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    176   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    177   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x0000007d,
    178   0x7ffffffe, 0x7fffffff, 0x00000020, 0x0000007d,
    179   0x7fffffff, 0x00000002, 0x00000020, 0x0000007d,
    180   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    181   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    182   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    183   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    184   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    185   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    186   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    187   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    188   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    189   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    190   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    191   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    192   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    193   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    194   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    195   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    196   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    197   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    198   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    199   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    200   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    201   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    202   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    203   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    204   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    205   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    206   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    207   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    208   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x0000007e,
    209   0x7ffffffe, 0x7fffffff, 0x0000007d, 0x0000007e,
    210   0x7fffffff, 0x00000020, 0x0000007d, 0x0000007e,
    211   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    212   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    213   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    214   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    215   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    216   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    217   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    218   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    219   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    220   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    221   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    222   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    223   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    224   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    225   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    226   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    227   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    228   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    229   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    230   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    231   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    232   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    233   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    234   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    235   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    236   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    237   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    238   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    239   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x0000007f,
    240   0x7ffffffe, 0x7fffffff, 0x0000007e, 0x0000007f,
    241   0x7fffffff, 0x0000007d, 0x0000007e, 0x0000007f,
    242   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    243   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    244   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    245   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    246   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    247   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    248   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    249   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    250   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    251   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    252   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    253   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    254   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    255   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    256   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    257   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    258   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    259   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    260   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    261   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    262   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    263   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    264   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    265   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    266   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    267   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    268   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    269   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    270   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00007ffd,
    271   0x7ffffffe, 0x7fffffff, 0x0000007f, 0x00007ffd,
    272   0x7fffffff, 0x0000007e, 0x0000007f, 0x00007ffd,
    273   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    274   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    275   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    276   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    277   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    278   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    279   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    280   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    281   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    282   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    283   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    284   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    285   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    286   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    287   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    288   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    289   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    290   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    291   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    292   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    293   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    294   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    295   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    296   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    297   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    298   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    299   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    300   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    301   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00007ffe,
    302   0x7ffffffe, 0x7fffffff, 0x00007ffd, 0x00007ffe,
    303   0x7fffffff, 0x0000007f, 0x00007ffd, 0x00007ffe,
    304   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    305   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    306   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    307   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    308   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    309   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    310   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    311   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    312   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    313   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    314   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    315   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    316   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    317   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    318   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    319   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    320   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    321   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    322   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    323   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    324   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    325   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    326   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    327   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    328   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    329   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    330   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    331   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    332   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00007fff,
    333   0x7ffffffe, 0x7fffffff, 0x00007ffe, 0x00007fff,
    334   0x7fffffff, 0x00007ffd, 0x00007ffe, 0x00007fff,
    335   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    336   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    337   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    338   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    339   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    340   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    341   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    342   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    343   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    344   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    345   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    346   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    347   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    348   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    349   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    350   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    351   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    352   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    353   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    354   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    355   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    356   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    357   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    358   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    359   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    360   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    361   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    362   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    363   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x33333333,
    364   0x7ffffffe, 0x7fffffff, 0x00007fff, 0x33333333,
    365   0x7fffffff, 0x00007ffe, 0x00007fff, 0x33333333,
    366   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    367   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    368   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    369   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    370   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    371   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    372   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    373   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    374   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    375   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    376   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    377   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    378   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    379   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    380   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    381   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    382   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    383   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    384   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    385   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    386   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    387   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    388   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    389   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    390   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    391   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    392   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    393   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    394   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x55555555,
    395   0x7ffffffe, 0x7fffffff, 0x33333333, 0x55555555,
    396   0x7fffffff, 0x00007fff, 0x33333333, 0x55555555,
    397   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    398   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    399   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    400   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    401   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    402   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    403   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    404   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    405   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    406   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    407   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    408   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    409   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    410   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    411   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    412   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    413   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    414   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    415   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    416   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    417   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    418   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    419   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    420   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    421   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    422   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    423   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    424   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    425   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x7ffffffd,
    426   0x7ffffffe, 0x7fffffff, 0x55555555, 0x7ffffffd,
    427   0x7fffffff, 0x33333333, 0x55555555, 0x7ffffffd,
    428   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    429   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    430   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    431   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    432   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    433   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    434   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    435   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    436   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    437   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    438   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    439   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    440   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    441   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    442   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    443   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    444   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    445   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    446   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    447   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    448   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    449   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    450   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    451   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    452   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    453   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    454   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    455   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    456   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x7ffffffe,
    457   0x7ffffffe, 0x7fffffff, 0x7ffffffd, 0x7ffffffe,
    458   0x7fffffff, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    459   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    460   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    461   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    462   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    463   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    464   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    465   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    466   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    467   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    468   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    469   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    470   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    471   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    472   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    473   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    474   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    475   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    476   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    477   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    478   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    479   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    480   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    481   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    482   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    483   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    484   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    485   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    486   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    487   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x7fffffff,
    488   0x7ffffffe, 0x7fffffff, 0x7ffffffe, 0x7fffffff,
    489   0x7fffffff, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    490   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    491   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    492   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    493   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    494   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    495   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    496   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    497   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    498   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    499   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    500   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    501   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    502   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    503   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00000000,
    504   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00000001,
    505   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00000002,
    506   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00000020,
    507   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x0000007d,
    508   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x0000007e,
    509   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x0000007f,
    510   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00007ffd,
    511   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00007ffe,
    512   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x00007fff,
    513   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x33333333,
    514   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x55555555,
    515   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x7ffffffd,
    516   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x7ffffffe,
    517   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x7fffffff,
    518   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
    519   0x7ffffffe, 0x7fffffff, 0x7fffffff, 0x80000001,
    520   0x7fffffff, 0x7ffffffe, 0x7fffffff, 0xaaaaaaaa,
    521   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xcccccccc,
    522   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffff8000,
    523   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffff8001,
    524   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffff8002,
    525   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffff8003,
    526   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffffff80,
    527   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffffff81,
    528   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffffff82,
    529   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffffff83,
    530   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffffffe0,
    531   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xfffffffd,
    532   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xfffffffe,
    533   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffffffff,
    534   0x7ffffffe, 0x7fffffff, 0xffffffff, 0x00000000,
    535   0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000001,
    536   0x7ffffffe, 0x7fffffff, 0x00000001, 0x00000002,
    537   0x7ffffffe, 0x7fffffff, 0x00000002, 0x00000020,
    538   0x7ffffffe, 0x7fffffff, 0x00000020, 0x0000007d,
    539   0x7ffffffe, 0x7fffffff, 0x0000007d, 0x0000007e,
    540   0x7ffffffe, 0x7fffffff, 0x0000007e, 0x0000007f,
    541   0x7ffffffe, 0x7fffffff, 0x0000007f, 0x00007ffd,
    542   0x7ffffffe, 0x7fffffff, 0x00007ffd, 0x00007ffe,
    543   0x7ffffffe, 0x7fffffff, 0x00007ffe, 0x00007fff,
    544   0x7ffffffe, 0x7fffffff, 0x00007fff, 0x33333333,
    545   0x7ffffffe, 0x7fffffff, 0x33333333, 0x55555555,
    546   0x7ffffffe, 0x7fffffff, 0x55555555, 0x7ffffffd,
    547   0x7ffffffe, 0x7fffffff, 0x7ffffffd, 0x7ffffffe,
    548   0x7ffffffe, 0x7fffffff, 0x7ffffffe, 0x7fffffff,
    549   0x7ffffffe, 0x7fffffff, 0x7fffffff, 0x80000001,
    550   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
    551   0x7fffffff, 0x7fffffff, 0x80000001, 0xaaaaaaaa,
    552   0x7ffffffe, 0x7fffffff, 0xaaaaaaaa, 0xcccccccc,
    553   0x7ffffffe, 0x7fffffff, 0xcccccccc, 0xffff8000,
    554   0x7ffffffe, 0x7fffffff, 0xffff8000, 0xffff8001,
    555   0x7ffffffe, 0x7fffffff, 0xffff8001, 0xffff8002,
    556   0x7ffffffe, 0x7fffffff, 0xffff8002, 0xffff8003,
    557   0x7ffffffe, 0x7fffffff, 0xffff8003, 0xffffff80,
    558   0x7ffffffe, 0x7fffffff, 0xffffff80, 0xffffff81,
    559   0x7ffffffe, 0x7fffffff, 0xffffff81, 0xffffff82,
    560   0x7ffffffe, 0x7fffffff, 0xffffff82, 0xffffff83,
    561   0x7ffffffe, 0x7fffffff, 0xffffff83, 0xffffffe0,
    562   0x7ffffffe, 0x7fffffff, 0xffffffe0, 0xfffffffd,
    563   0x7ffffffe, 0x7fffffff, 0xfffffffd, 0xfffffffe,
    564   0x7ffffffe, 0x7fffffff, 0xfffffffe, 0xffffffff,
    565   0x7fffffff, 0xfffffffe, 0xffffffff, 0x00000000,
    566   0x7fffffff, 0xffffffff, 0x00000000, 0x00000001,
    567   0x7fffffff, 0x00000000, 0x00000001, 0x00000002,
    568   0x7fffffff, 0x00000001, 0x00000002, 0x00000020,
    569   0x7fffffff, 0x00000002, 0x00000020, 0x0000007d,
    570   0x7fffffff, 0x00000020, 0x0000007d, 0x0000007e,
    571   0x7fffffff, 0x0000007d, 0x0000007e, 0x0000007f,
    572   0x7fffffff, 0x0000007e, 0x0000007f, 0x00007ffd,
    573   0x7fffffff, 0x0000007f, 0x00007ffd, 0x00007ffe,
    574   0x7fffffff, 0x00007ffd, 0x00007ffe, 0x00007fff,
    575   0x7fffffff, 0x00007ffe, 0x00007fff, 0x33333333,
    576   0x7fffffff, 0x00007fff, 0x33333333, 0x55555555,
    577   0x7fffffff, 0x33333333, 0x55555555, 0x7ffffffd,
    578   0x7fffffff, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    579   0x7fffffff, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    580   0x7fffffff, 0x7ffffffe, 0x7fffffff, 0xaaaaaaaa,
    581   0x7fffffff, 0x7fffffff, 0x80000001, 0xaaaaaaaa,
    582   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
    583   0x7fffffff, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
    584   0x7fffffff, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
    585   0x7fffffff, 0xcccccccc, 0xffff8000, 0xffff8001,
    586   0x7fffffff, 0xffff8000, 0xffff8001, 0xffff8002,
    587   0x7fffffff, 0xffff8001, 0xffff8002, 0xffff8003,
    588   0x7fffffff, 0xffff8002, 0xffff8003, 0xffffff80,
    589   0x7fffffff, 0xffff8003, 0xffffff80, 0xffffff81,
    590   0x7fffffff, 0xffffff80, 0xffffff81, 0xffffff82,
    591   0x7fffffff, 0xffffff81, 0xffffff82, 0xffffff83,
    592   0x7fffffff, 0xffffff82, 0xffffff83, 0xffffffe0,
    593   0x7fffffff, 0xffffff83, 0xffffffe0, 0xfffffffd,
    594   0x7fffffff, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    595   0x7fffffff, 0xfffffffd, 0xfffffffe, 0xffffffff,
    596   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    597   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    598   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    599   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    600   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    601   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    602   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    603   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    604   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    605   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    606   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    607   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    608   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    609   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    610   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    611   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xcccccccc,
    612   0x7ffffffe, 0x7fffffff, 0xaaaaaaaa, 0xcccccccc,
    613   0x7fffffff, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
    614   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
    615   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
    616   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
    617   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
    618   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
    619   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    620   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    621   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    622   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    623   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    624   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    625   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    626   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    627   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    628   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    629   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    630   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    631   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    632   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    633   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    634   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    635   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    636   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    637   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    638   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    639   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    640   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    641   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    642   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffff8000,
    643   0x7ffffffe, 0x7fffffff, 0xcccccccc, 0xffff8000,
    644   0x7fffffff, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
    645   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
    646   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
    647   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
    648   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
    649   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
    650   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    651   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    652   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    653   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    654   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    655   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    656   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    657   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    658   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    659   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    660   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    661   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    662   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    663   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    664   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    665   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    666   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    667   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    668   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    669   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    670   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    671   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    672   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    673   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffff8001,
    674   0x7ffffffe, 0x7fffffff, 0xffff8000, 0xffff8001,
    675   0x7fffffff, 0xcccccccc, 0xffff8000, 0xffff8001,
    676   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
    677   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
    678   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
    679   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
    680   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
    681   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    682   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    683   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    684   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    685   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    686   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    687   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    688   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    689   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    690   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    691   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    692   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    693   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    694   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    695   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    696   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    697   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    698   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    699   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    700   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    701   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    702   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    703   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    704   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffff8002,
    705   0x7ffffffe, 0x7fffffff, 0xffff8001, 0xffff8002,
    706   0x7fffffff, 0xffff8000, 0xffff8001, 0xffff8002,
    707   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
    708   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
    709   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
    710   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
    711   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
    712   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    713   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    714   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    715   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    716   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    717   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    718   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    719   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    720   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    721   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    722   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    723   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    724   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    725   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    726   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    727   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    728   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    729   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    730   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    731   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    732   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    733   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    734   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    735   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffff8003,
    736   0x7ffffffe, 0x7fffffff, 0xffff8002, 0xffff8003,
    737   0x7fffffff, 0xffff8001, 0xffff8002, 0xffff8003,
    738   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
    739   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
    740   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
    741   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
    742   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
    743   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    744   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    745   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    746   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    747   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    748   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    749   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    750   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    751   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    752   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    753   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    754   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    755   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    756   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    757   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    758   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    759   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    760   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    761   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    762   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    763   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    764   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    765   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    766   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffffff80,
    767   0x7ffffffe, 0x7fffffff, 0xffff8003, 0xffffff80,
    768   0x7fffffff, 0xffff8002, 0xffff8003, 0xffffff80,
    769   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    770   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    771   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    772   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    773   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    774   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
    775   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    776   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    777   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    778   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    779   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    780   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    781   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    782   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    783   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    784   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    785   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    786   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    787   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    788   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    789   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    790   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    791   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    792   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    793   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    794   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    795   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    796   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    797   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffffff81,
    798   0x7ffffffe, 0x7fffffff, 0xffffff80, 0xffffff81,
    799   0x7fffffff, 0xffff8003, 0xffffff80, 0xffffff81,
    800   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    801   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    802   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    803   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    804   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    805   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    806   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
    807   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    808   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    809   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    810   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    811   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    812   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    813   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    814   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    815   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    816   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    817   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    818   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    819   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    820   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    821   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    822   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    823   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    824   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    825   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    826   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    827   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    828   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffffff82,
    829   0x7ffffffe, 0x7fffffff, 0xffffff81, 0xffffff82,
    830   0x7fffffff, 0xffffff80, 0xffffff81, 0xffffff82,
    831   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    832   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    833   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    834   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    835   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    836   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    837   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    838   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
    839   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    840   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    841   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    842   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    843   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    844   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    845   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    846   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    847   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    848   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    849   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    850   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    851   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    852   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    853   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    854   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    855   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    856   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    857   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    858   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    859   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffffff83,
    860   0x7ffffffe, 0x7fffffff, 0xffffff82, 0xffffff83,
    861   0x7fffffff, 0xffffff81, 0xffffff82, 0xffffff83,
    862   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    863   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    864   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    865   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    866   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    867   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    868   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    869   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    870   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    871   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    872   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    873   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    874   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    875   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    876   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    877   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    878   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    879   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    880   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    881   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    882   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    883   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    884   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    885   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    886   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    887   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    888   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    889   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    890   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffffffe0,
    891   0x7ffffffe, 0x7fffffff, 0xffffff83, 0xffffffe0,
    892   0x7fffffff, 0xffffff82, 0xffffff83, 0xffffffe0,
    893   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    894   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    895   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    896   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    897   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    898   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    899   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    900   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    901   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    902   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
    903   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    904   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    905   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    906   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    907   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    908   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    909   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    910   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    911   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    912   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    913   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    914   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    915   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    916   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    917   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    918   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    919   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    920   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    921   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xfffffffd,
    922   0x7ffffffe, 0x7fffffff, 0xffffffe0, 0xfffffffd,
    923   0x7fffffff, 0xffffff83, 0xffffffe0, 0xfffffffd,
    924   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    925   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    926   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    927   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    928   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    929   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    930   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    931   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    932   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    933   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    934   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
    935   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    936   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    937   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    938   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    939   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    940   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    941   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    942   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    943   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    944   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    945   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    946   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    947   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    948   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    949   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    950   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    951   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    952   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xfffffffe,
    953   0x7ffffffe, 0x7fffffff, 0xfffffffd, 0xfffffffe,
    954   0x7fffffff, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    955   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    956   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    957   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    958   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    959   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    960   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    961   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    962   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    963   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    964   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    965   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    966   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
    967   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    968   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    969   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    970   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    971   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    972   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    973   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    974   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    975   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    976   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    977   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    978   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    979   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    980   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    981   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    982   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    983   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0xffffffff,
    984   0x7ffffffe, 0x7fffffff, 0xfffffffe, 0xffffffff,
    985   0x7fffffff, 0xfffffffd, 0xfffffffe, 0xffffffff,
    986   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    987   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    988   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    989   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    990   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    991   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    992   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    993   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    994   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    995   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    996   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    997   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    998   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
    999 };
   1000 const unsigned kExpectedCount_NEON_smax_4S = 961;
   1001 
   1002 #endif  // VIXL_SIM_SMAX_4S_TRACE_A64_H_
   1003