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