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