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