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_SRSRA_4S_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_SRSRA_4S_2OPIMM_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_srsra_4S_2OPIMM[] = {
     38   0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
     39   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     40   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     41   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     42   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     43   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     44   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     45   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     46   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     47   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     48   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     49   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     50   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     51   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     52   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     53   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     54   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     55   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     56   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     57   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     58   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     59   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     60   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     61   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     62   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     63   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     64   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     65   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     66   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     67   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     68   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     69   0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
     70   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     71   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     72   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     73   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     74   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     75   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     76   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     77   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     78   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     79   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     80   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     81   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     82   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     83   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     84   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     85   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     86   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     87   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     88   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     89   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     90   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     91   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     92   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     93   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     94   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     95   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     96   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     97   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     98   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
     99   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
    100   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
    101   0xffffffff, 0x00000000, 0x00000000, 0x00000001,
    102   0x00000000, 0x00000000, 0x00000001, 0x00000001,
    103   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    104   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    105   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    106   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    107   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    108   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    109   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    110   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    111   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    112   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    113   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    114   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    115   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    116   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    117   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    118   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    119   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    120   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    121   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    122   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    123   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    124   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    125   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    126   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    127   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    128   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    129   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    130   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    131   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    132   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    133   0x00000000, 0x00000000, 0x00000001, 0x00000002,
    134   0x00000000, 0x00000001, 0x00000001, 0x00000010,
    135   0x00000000, 0x00000001, 0x00000002, 0x00000018,
    136   0x00000000, 0x00000001, 0x00000002, 0x0000001c,
    137   0x00000000, 0x00000001, 0x00000002, 0x0000001e,
    138   0x00000000, 0x00000001, 0x00000002, 0x0000001f,
    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, 0x00000020,
    147   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    148   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    149   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    150   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    151   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    152   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    153   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    154   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    155   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    156   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    157   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    158   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    159   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    160   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    161   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    162   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    163   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    164   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    165   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    166   0x00000001, 0x00000001, 0x00000010, 0x0000003f,
    167   0x00000001, 0x00000002, 0x00000018, 0x0000005e,
    168   0x00000001, 0x00000002, 0x0000001c, 0x0000006e,
    169   0x00000001, 0x00000002, 0x0000001e, 0x00000076,
    170   0x00000001, 0x00000002, 0x0000001f, 0x0000007a,
    171   0x00000001, 0x00000002, 0x00000020, 0x0000007c,
    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, 0x0000007d,
    178   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    179   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    180   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    181   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    182   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    183   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    184   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    185   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    186   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    187   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    188   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    189   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    190   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    191   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    192   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    193   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    194   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    195   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    196   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    197   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
    198   0x00000001, 0x00000010, 0x0000003f, 0x0000003f,
    199   0x00000002, 0x00000018, 0x0000005e, 0x0000005f,
    200   0x00000002, 0x0000001c, 0x0000006e, 0x0000006f,
    201   0x00000002, 0x0000001e, 0x00000076, 0x00000077,
    202   0x00000002, 0x0000001f, 0x0000007a, 0x0000007b,
    203   0x00000002, 0x00000020, 0x0000007c, 0x0000007d,
    204   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    205   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    206   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    207   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    208   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    209   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    210   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    211   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    212   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    213   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    214   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    215   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    216   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    217   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    218   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    219   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    220   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    221   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    222   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    223   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    224   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    225   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    226   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    227   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    228   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    229   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
    230   0x00000010, 0x0000003f, 0x0000003f, 0x00000040,
    231   0x00000018, 0x0000005e, 0x0000005f, 0x00000060,
    232   0x0000001c, 0x0000006e, 0x0000006f, 0x00000070,
    233   0x0000001e, 0x00000076, 0x00000077, 0x00000078,
    234   0x0000001f, 0x0000007a, 0x0000007b, 0x0000007c,
    235   0x00000020, 0x0000007c, 0x0000007d, 0x0000007e,
    236   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    237   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    238   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    239   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    240   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    241   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    242   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    243   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    244   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    245   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    246   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    247   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    248   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    249   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    250   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    251   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    252   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    253   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    254   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    255   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    256   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    257   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    258   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    259   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    260   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    261   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
    262   0x0000003f, 0x0000003f, 0x00000040, 0x00003fff,
    263   0x0000005e, 0x0000005f, 0x00000060, 0x00005ffe,
    264   0x0000006e, 0x0000006f, 0x00000070, 0x00006ffe,
    265   0x00000076, 0x00000077, 0x00000078, 0x000077fe,
    266   0x0000007a, 0x0000007b, 0x0000007c, 0x00007bfe,
    267   0x0000007c, 0x0000007d, 0x0000007e, 0x00007dfe,
    268   0x0000007d, 0x0000007e, 0x0000007f, 0x00007efe,
    269   0x0000007d, 0x0000007e, 0x0000007f, 0x00007f7e,
    270   0x0000007d, 0x0000007e, 0x0000007f, 0x00007fbe,
    271   0x0000007d, 0x0000007e, 0x0000007f, 0x00007fde,
    272   0x0000007d, 0x0000007e, 0x0000007f, 0x00007fee,
    273   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ff6,
    274   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffa,
    275   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffc,
    276   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    277   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    278   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    279   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    280   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    281   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    282   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    283   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    284   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    285   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    286   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    287   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    288   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    289   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    290   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    291   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    292   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    293   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
    294   0x0000003f, 0x00000040, 0x00003fff, 0x00003fff,
    295   0x0000005f, 0x00000060, 0x00005ffe, 0x00005fff,
    296   0x0000006f, 0x00000070, 0x00006ffe, 0x00006fff,
    297   0x00000077, 0x00000078, 0x000077fe, 0x000077ff,
    298   0x0000007b, 0x0000007c, 0x00007bfe, 0x00007bff,
    299   0x0000007d, 0x0000007e, 0x00007dfe, 0x00007dff,
    300   0x0000007e, 0x0000007f, 0x00007efe, 0x00007eff,
    301   0x0000007e, 0x0000007f, 0x00007f7e, 0x00007f7f,
    302   0x0000007e, 0x0000007f, 0x00007fbe, 0x00007fbf,
    303   0x0000007e, 0x0000007f, 0x00007fde, 0x00007fdf,
    304   0x0000007e, 0x0000007f, 0x00007fee, 0x00007fef,
    305   0x0000007e, 0x0000007f, 0x00007ff6, 0x00007ff7,
    306   0x0000007e, 0x0000007f, 0x00007ffa, 0x00007ffb,
    307   0x0000007e, 0x0000007f, 0x00007ffc, 0x00007ffd,
    308   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    309   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    310   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    311   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    312   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    313   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    314   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    315   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    316   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    317   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    318   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    319   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    320   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    321   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    322   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    323   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    324   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    325   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
    326   0x00000040, 0x00003fff, 0x00003fff, 0x00004000,
    327   0x00000060, 0x00005ffe, 0x00005fff, 0x00006000,
    328   0x00000070, 0x00006ffe, 0x00006fff, 0x00007000,
    329   0x00000078, 0x000077fe, 0x000077ff, 0x00007800,
    330   0x0000007c, 0x00007bfe, 0x00007bff, 0x00007c00,
    331   0x0000007e, 0x00007dfe, 0x00007dff, 0x00007e00,
    332   0x0000007f, 0x00007efe, 0x00007eff, 0x00007f00,
    333   0x0000007f, 0x00007f7e, 0x00007f7f, 0x00007f80,
    334   0x0000007f, 0x00007fbe, 0x00007fbf, 0x00007fc0,
    335   0x0000007f, 0x00007fde, 0x00007fdf, 0x00007fe0,
    336   0x0000007f, 0x00007fee, 0x00007fef, 0x00007ff0,
    337   0x0000007f, 0x00007ff6, 0x00007ff7, 0x00007ff8,
    338   0x0000007f, 0x00007ffa, 0x00007ffb, 0x00007ffc,
    339   0x0000007f, 0x00007ffc, 0x00007ffd, 0x00007ffe,
    340   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    341   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    342   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    343   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    344   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    345   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    346   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    347   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    348   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    349   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    350   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    351   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    352   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    353   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    354   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    355   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    356   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    357   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
    358   0x00003fff, 0x00003fff, 0x00004000, 0x1999999a,
    359   0x00005ffe, 0x00005fff, 0x00006000, 0x26666667,
    360   0x00006ffe, 0x00006fff, 0x00007000, 0x2ccccccd,
    361   0x000077fe, 0x000077ff, 0x00007800, 0x30000000,
    362   0x00007bfe, 0x00007bff, 0x00007c00, 0x3199999a,
    363   0x00007dfe, 0x00007dff, 0x00007e00, 0x32666667,
    364   0x00007efe, 0x00007eff, 0x00007f00, 0x32cccccd,
    365   0x00007f7e, 0x00007f7f, 0x00007f80, 0x33000000,
    366   0x00007fbe, 0x00007fbf, 0x00007fc0, 0x3319999a,
    367   0x00007fde, 0x00007fdf, 0x00007fe0, 0x33266667,
    368   0x00007fee, 0x00007fef, 0x00007ff0, 0x332ccccd,
    369   0x00007ff6, 0x00007ff7, 0x00007ff8, 0x33300000,
    370   0x00007ffa, 0x00007ffb, 0x00007ffc, 0x3331999a,
    371   0x00007ffc, 0x00007ffd, 0x00007ffe, 0x33326667,
    372   0x00007ffd, 0x00007ffe, 0x00007fff, 0x3332cccd,
    373   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33330000,
    374   0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333199a,
    375   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33332667,
    376   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33332ccd,
    377   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333000,
    378   0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333319a,
    379   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333267,
    380   0x00007ffd, 0x00007ffe, 0x00007fff, 0x333332cd,
    381   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333300,
    382   0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333331a,
    383   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333327,
    384   0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333332d,
    385   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333330,
    386   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333332,
    387   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    388   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    389   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
    390   0x00003fff, 0x00004000, 0x1999999a, 0x2aaaaaab,
    391   0x00005fff, 0x00006000, 0x26666667, 0x40000000,
    392   0x00006fff, 0x00007000, 0x2ccccccd, 0x4aaaaaab,
    393   0x000077ff, 0x00007800, 0x30000000, 0x50000000,
    394   0x00007bff, 0x00007c00, 0x3199999a, 0x52aaaaab,
    395   0x00007dff, 0x00007e00, 0x32666667, 0x54000000,
    396   0x00007eff, 0x00007f00, 0x32cccccd, 0x54aaaaab,
    397   0x00007f7f, 0x00007f80, 0x33000000, 0x55000000,
    398   0x00007fbf, 0x00007fc0, 0x3319999a, 0x552aaaab,
    399   0x00007fdf, 0x00007fe0, 0x33266667, 0x55400000,
    400   0x00007fef, 0x00007ff0, 0x332ccccd, 0x554aaaab,
    401   0x00007ff7, 0x00007ff8, 0x33300000, 0x55500000,
    402   0x00007ffb, 0x00007ffc, 0x3331999a, 0x5552aaab,
    403   0x00007ffd, 0x00007ffe, 0x33326667, 0x55540000,
    404   0x00007ffe, 0x00007fff, 0x3332cccd, 0x5554aaab,
    405   0x00007ffe, 0x00007fff, 0x33330000, 0x55550000,
    406   0x00007ffe, 0x00007fff, 0x3333199a, 0x55552aab,
    407   0x00007ffe, 0x00007fff, 0x33332667, 0x55554000,
    408   0x00007ffe, 0x00007fff, 0x33332ccd, 0x55554aab,
    409   0x00007ffe, 0x00007fff, 0x33333000, 0x55555000,
    410   0x00007ffe, 0x00007fff, 0x3333319a, 0x555552ab,
    411   0x00007ffe, 0x00007fff, 0x33333267, 0x55555400,
    412   0x00007ffe, 0x00007fff, 0x333332cd, 0x555554ab,
    413   0x00007ffe, 0x00007fff, 0x33333300, 0x55555500,
    414   0x00007ffe, 0x00007fff, 0x3333331a, 0x5555552b,
    415   0x00007ffe, 0x00007fff, 0x33333327, 0x55555540,
    416   0x00007ffe, 0x00007fff, 0x3333332d, 0x5555554b,
    417   0x00007ffe, 0x00007fff, 0x33333330, 0x55555550,
    418   0x00007ffe, 0x00007fff, 0x33333332, 0x55555553,
    419   0x00007ffe, 0x00007fff, 0x33333333, 0x55555554,
    420   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    421   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
    422   0x00004000, 0x1999999a, 0x2aaaaaab, 0x3fffffff,
    423   0x00006000, 0x26666667, 0x40000000, 0x5ffffffe,
    424   0x00007000, 0x2ccccccd, 0x4aaaaaab, 0x6ffffffe,
    425   0x00007800, 0x30000000, 0x50000000, 0x77fffffe,
    426   0x00007c00, 0x3199999a, 0x52aaaaab, 0x7bfffffe,
    427   0x00007e00, 0x32666667, 0x54000000, 0x7dfffffe,
    428   0x00007f00, 0x32cccccd, 0x54aaaaab, 0x7efffffe,
    429   0x00007f80, 0x33000000, 0x55000000, 0x7f7ffffe,
    430   0x00007fc0, 0x3319999a, 0x552aaaab, 0x7fbffffe,
    431   0x00007fe0, 0x33266667, 0x55400000, 0x7fdffffe,
    432   0x00007ff0, 0x332ccccd, 0x554aaaab, 0x7feffffe,
    433   0x00007ff8, 0x33300000, 0x55500000, 0x7ff7fffe,
    434   0x00007ffc, 0x3331999a, 0x5552aaab, 0x7ffbfffe,
    435   0x00007ffe, 0x33326667, 0x55540000, 0x7ffdfffe,
    436   0x00007fff, 0x3332cccd, 0x5554aaab, 0x7ffefffe,
    437   0x00007fff, 0x33330000, 0x55550000, 0x7fff7ffe,
    438   0x00007fff, 0x3333199a, 0x55552aab, 0x7fffbffe,
    439   0x00007fff, 0x33332667, 0x55554000, 0x7fffdffe,
    440   0x00007fff, 0x33332ccd, 0x55554aab, 0x7fffeffe,
    441   0x00007fff, 0x33333000, 0x55555000, 0x7ffff7fe,
    442   0x00007fff, 0x3333319a, 0x555552ab, 0x7ffffbfe,
    443   0x00007fff, 0x33333267, 0x55555400, 0x7ffffdfe,
    444   0x00007fff, 0x333332cd, 0x555554ab, 0x7ffffefe,
    445   0x00007fff, 0x33333300, 0x55555500, 0x7fffff7e,
    446   0x00007fff, 0x3333331a, 0x5555552b, 0x7fffffbe,
    447   0x00007fff, 0x33333327, 0x55555540, 0x7fffffde,
    448   0x00007fff, 0x3333332d, 0x5555554b, 0x7fffffee,
    449   0x00007fff, 0x33333330, 0x55555550, 0x7ffffff6,
    450   0x00007fff, 0x33333332, 0x55555553, 0x7ffffffa,
    451   0x00007fff, 0x33333333, 0x55555554, 0x7ffffffc,
    452   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    453   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
    454   0x1999999a, 0x2aaaaaab, 0x3fffffff, 0x3fffffff,
    455   0x26666667, 0x40000000, 0x5ffffffe, 0x5fffffff,
    456   0x2ccccccd, 0x4aaaaaab, 0x6ffffffe, 0x6fffffff,
    457   0x30000000, 0x50000000, 0x77fffffe, 0x77ffffff,
    458   0x3199999a, 0x52aaaaab, 0x7bfffffe, 0x7bffffff,
    459   0x32666667, 0x54000000, 0x7dfffffe, 0x7dffffff,
    460   0x32cccccd, 0x54aaaaab, 0x7efffffe, 0x7effffff,
    461   0x33000000, 0x55000000, 0x7f7ffffe, 0x7f7fffff,
    462   0x3319999a, 0x552aaaab, 0x7fbffffe, 0x7fbfffff,
    463   0x33266667, 0x55400000, 0x7fdffffe, 0x7fdfffff,
    464   0x332ccccd, 0x554aaaab, 0x7feffffe, 0x7fefffff,
    465   0x33300000, 0x55500000, 0x7ff7fffe, 0x7ff7ffff,
    466   0x3331999a, 0x5552aaab, 0x7ffbfffe, 0x7ffbffff,
    467   0x33326667, 0x55540000, 0x7ffdfffe, 0x7ffdffff,
    468   0x3332cccd, 0x5554aaab, 0x7ffefffe, 0x7ffeffff,
    469   0x33330000, 0x55550000, 0x7fff7ffe, 0x7fff7fff,
    470   0x3333199a, 0x55552aab, 0x7fffbffe, 0x7fffbfff,
    471   0x33332667, 0x55554000, 0x7fffdffe, 0x7fffdfff,
    472   0x33332ccd, 0x55554aab, 0x7fffeffe, 0x7fffefff,
    473   0x33333000, 0x55555000, 0x7ffff7fe, 0x7ffff7ff,
    474   0x3333319a, 0x555552ab, 0x7ffffbfe, 0x7ffffbff,
    475   0x33333267, 0x55555400, 0x7ffffdfe, 0x7ffffdff,
    476   0x333332cd, 0x555554ab, 0x7ffffefe, 0x7ffffeff,
    477   0x33333300, 0x55555500, 0x7fffff7e, 0x7fffff7f,
    478   0x3333331a, 0x5555552b, 0x7fffffbe, 0x7fffffbf,
    479   0x33333327, 0x55555540, 0x7fffffde, 0x7fffffdf,
    480   0x3333332d, 0x5555554b, 0x7fffffee, 0x7fffffef,
    481   0x33333330, 0x55555550, 0x7ffffff6, 0x7ffffff7,
    482   0x33333332, 0x55555553, 0x7ffffffa, 0x7ffffffb,
    483   0x33333333, 0x55555554, 0x7ffffffc, 0x7ffffffd,
    484   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    485   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
    486   0x2aaaaaab, 0x3fffffff, 0x3fffffff, 0x40000000,
    487   0x40000000, 0x5ffffffe, 0x5fffffff, 0x60000000,
    488   0x4aaaaaab, 0x6ffffffe, 0x6fffffff, 0x70000000,
    489   0x50000000, 0x77fffffe, 0x77ffffff, 0x78000000,
    490   0x52aaaaab, 0x7bfffffe, 0x7bffffff, 0x7c000000,
    491   0x54000000, 0x7dfffffe, 0x7dffffff, 0x7e000000,
    492   0x54aaaaab, 0x7efffffe, 0x7effffff, 0x7f000000,
    493   0x55000000, 0x7f7ffffe, 0x7f7fffff, 0x7f800000,
    494   0x552aaaab, 0x7fbffffe, 0x7fbfffff, 0x7fc00000,
    495   0x55400000, 0x7fdffffe, 0x7fdfffff, 0x7fe00000,
    496   0x554aaaab, 0x7feffffe, 0x7fefffff, 0x7ff00000,
    497   0x55500000, 0x7ff7fffe, 0x7ff7ffff, 0x7ff80000,
    498   0x5552aaab, 0x7ffbfffe, 0x7ffbffff, 0x7ffc0000,
    499   0x55540000, 0x7ffdfffe, 0x7ffdffff, 0x7ffe0000,
    500   0x5554aaab, 0x7ffefffe, 0x7ffeffff, 0x7fff0000,
    501   0x55550000, 0x7fff7ffe, 0x7fff7fff, 0x7fff8000,
    502   0x55552aab, 0x7fffbffe, 0x7fffbfff, 0x7fffc000,
    503   0x55554000, 0x7fffdffe, 0x7fffdfff, 0x7fffe000,
    504   0x55554aab, 0x7fffeffe, 0x7fffefff, 0x7ffff000,
    505   0x55555000, 0x7ffff7fe, 0x7ffff7ff, 0x7ffff800,
    506   0x555552ab, 0x7ffffbfe, 0x7ffffbff, 0x7ffffc00,
    507   0x55555400, 0x7ffffdfe, 0x7ffffdff, 0x7ffffe00,
    508   0x555554ab, 0x7ffffefe, 0x7ffffeff, 0x7fffff00,
    509   0x55555500, 0x7fffff7e, 0x7fffff7f, 0x7fffff80,
    510   0x5555552b, 0x7fffffbe, 0x7fffffbf, 0x7fffffc0,
    511   0x55555540, 0x7fffffde, 0x7fffffdf, 0x7fffffe0,
    512   0x5555554b, 0x7fffffee, 0x7fffffef, 0x7ffffff0,
    513   0x55555550, 0x7ffffff6, 0x7ffffff7, 0x7ffffff8,
    514   0x55555553, 0x7ffffffa, 0x7ffffffb, 0x7ffffffc,
    515   0x55555554, 0x7ffffffc, 0x7ffffffd, 0x7ffffffe,
    516   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    517   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
    518   0x3fffffff, 0x3fffffff, 0x40000000, 0xc0000000,
    519   0x5ffffffe, 0x5fffffff, 0x60000000, 0xa0000000,
    520   0x6ffffffe, 0x6fffffff, 0x70000000, 0x90000000,
    521   0x77fffffe, 0x77ffffff, 0x78000000, 0x88000000,
    522   0x7bfffffe, 0x7bffffff, 0x7c000000, 0x84000000,
    523   0x7dfffffe, 0x7dffffff, 0x7e000000, 0x82000000,
    524   0x7efffffe, 0x7effffff, 0x7f000000, 0x81000000,
    525   0x7f7ffffe, 0x7f7fffff, 0x7f800000, 0x80800000,
    526   0x7fbffffe, 0x7fbfffff, 0x7fc00000, 0x80400000,
    527   0x7fdffffe, 0x7fdfffff, 0x7fe00000, 0x80200000,
    528   0x7feffffe, 0x7fefffff, 0x7ff00000, 0x80100000,
    529   0x7ff7fffe, 0x7ff7ffff, 0x7ff80000, 0x80080000,
    530   0x7ffbfffe, 0x7ffbffff, 0x7ffc0000, 0x80040000,
    531   0x7ffdfffe, 0x7ffdffff, 0x7ffe0000, 0x80020000,
    532   0x7ffefffe, 0x7ffeffff, 0x7fff0000, 0x80010000,
    533   0x7fff7ffe, 0x7fff7fff, 0x7fff8000, 0x80008000,
    534   0x7fffbffe, 0x7fffbfff, 0x7fffc000, 0x80004000,
    535   0x7fffdffe, 0x7fffdfff, 0x7fffe000, 0x80002000,
    536   0x7fffeffe, 0x7fffefff, 0x7ffff000, 0x80001000,
    537   0x7ffff7fe, 0x7ffff7ff, 0x7ffff800, 0x80000800,
    538   0x7ffffbfe, 0x7ffffbff, 0x7ffffc00, 0x80000400,
    539   0x7ffffdfe, 0x7ffffdff, 0x7ffffe00, 0x80000200,
    540   0x7ffffefe, 0x7ffffeff, 0x7fffff00, 0x80000100,
    541   0x7fffff7e, 0x7fffff7f, 0x7fffff80, 0x80000080,
    542   0x7fffffbe, 0x7fffffbf, 0x7fffffc0, 0x80000040,
    543   0x7fffffde, 0x7fffffdf, 0x7fffffe0, 0x80000020,
    544   0x7fffffee, 0x7fffffef, 0x7ffffff0, 0x80000010,
    545   0x7ffffff6, 0x7ffffff7, 0x7ffffff8, 0x80000008,
    546   0x7ffffffa, 0x7ffffffb, 0x7ffffffc, 0x80000004,
    547   0x7ffffffc, 0x7ffffffd, 0x7ffffffe, 0x80000002,
    548   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000001,
    549   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000001,
    550   0x3fffffff, 0x40000000, 0xc0000000, 0xc0000001,
    551   0x5fffffff, 0x60000000, 0xa0000000, 0xa0000001,
    552   0x6fffffff, 0x70000000, 0x90000000, 0x90000001,
    553   0x77ffffff, 0x78000000, 0x88000000, 0x88000001,
    554   0x7bffffff, 0x7c000000, 0x84000000, 0x84000001,
    555   0x7dffffff, 0x7e000000, 0x82000000, 0x82000001,
    556   0x7effffff, 0x7f000000, 0x81000000, 0x81000001,
    557   0x7f7fffff, 0x7f800000, 0x80800000, 0x80800001,
    558   0x7fbfffff, 0x7fc00000, 0x80400000, 0x80400001,
    559   0x7fdfffff, 0x7fe00000, 0x80200000, 0x80200001,
    560   0x7fefffff, 0x7ff00000, 0x80100000, 0x80100001,
    561   0x7ff7ffff, 0x7ff80000, 0x80080000, 0x80080001,
    562   0x7ffbffff, 0x7ffc0000, 0x80040000, 0x80040001,
    563   0x7ffdffff, 0x7ffe0000, 0x80020000, 0x80020001,
    564   0x7ffeffff, 0x7fff0000, 0x80010000, 0x80010001,
    565   0x7fff7fff, 0x7fff8000, 0x80008000, 0x80008001,
    566   0x7fffbfff, 0x7fffc000, 0x80004000, 0x80004001,
    567   0x7fffdfff, 0x7fffe000, 0x80002000, 0x80002001,
    568   0x7fffefff, 0x7ffff000, 0x80001000, 0x80001001,
    569   0x7ffff7ff, 0x7ffff800, 0x80000800, 0x80000801,
    570   0x7ffffbff, 0x7ffffc00, 0x80000400, 0x80000401,
    571   0x7ffffdff, 0x7ffffe00, 0x80000200, 0x80000201,
    572   0x7ffffeff, 0x7fffff00, 0x80000100, 0x80000101,
    573   0x7fffff7f, 0x7fffff80, 0x80000080, 0x80000081,
    574   0x7fffffbf, 0x7fffffc0, 0x80000040, 0x80000041,
    575   0x7fffffdf, 0x7fffffe0, 0x80000020, 0x80000021,
    576   0x7fffffef, 0x7ffffff0, 0x80000010, 0x80000011,
    577   0x7ffffff7, 0x7ffffff8, 0x80000008, 0x80000009,
    578   0x7ffffffb, 0x7ffffffc, 0x80000004, 0x80000005,
    579   0x7ffffffd, 0x7ffffffe, 0x80000002, 0x80000003,
    580   0x7ffffffe, 0x7fffffff, 0x80000001, 0x80000002,
    581   0x7ffffffe, 0x7fffffff, 0x80000001, 0x80000002,
    582   0x40000000, 0xc0000000, 0xc0000001, 0xd5555555,
    583   0x60000000, 0xa0000000, 0xa0000001, 0xc0000000,
    584   0x70000000, 0x90000000, 0x90000001, 0xb5555555,
    585   0x78000000, 0x88000000, 0x88000001, 0xb0000000,
    586   0x7c000000, 0x84000000, 0x84000001, 0xad555555,
    587   0x7e000000, 0x82000000, 0x82000001, 0xac000000,
    588   0x7f000000, 0x81000000, 0x81000001, 0xab555555,
    589   0x7f800000, 0x80800000, 0x80800001, 0xab000000,
    590   0x7fc00000, 0x80400000, 0x80400001, 0xaad55555,
    591   0x7fe00000, 0x80200000, 0x80200001, 0xaac00000,
    592   0x7ff00000, 0x80100000, 0x80100001, 0xaab55555,
    593   0x7ff80000, 0x80080000, 0x80080001, 0xaab00000,
    594   0x7ffc0000, 0x80040000, 0x80040001, 0xaaad5555,
    595   0x7ffe0000, 0x80020000, 0x80020001, 0xaaac0000,
    596   0x7fff0000, 0x80010000, 0x80010001, 0xaaab5555,
    597   0x7fff8000, 0x80008000, 0x80008001, 0xaaab0000,
    598   0x7fffc000, 0x80004000, 0x80004001, 0xaaaad555,
    599   0x7fffe000, 0x80002000, 0x80002001, 0xaaaac000,
    600   0x7ffff000, 0x80001000, 0x80001001, 0xaaaab555,
    601   0x7ffff800, 0x80000800, 0x80000801, 0xaaaab000,
    602   0x7ffffc00, 0x80000400, 0x80000401, 0xaaaaad55,
    603   0x7ffffe00, 0x80000200, 0x80000201, 0xaaaaac00,
    604   0x7fffff00, 0x80000100, 0x80000101, 0xaaaaab55,
    605   0x7fffff80, 0x80000080, 0x80000081, 0xaaaaab00,
    606   0x7fffffc0, 0x80000040, 0x80000041, 0xaaaaaad5,
    607   0x7fffffe0, 0x80000020, 0x80000021, 0xaaaaaac0,
    608   0x7ffffff0, 0x80000010, 0x80000011, 0xaaaaaab5,
    609   0x7ffffff8, 0x80000008, 0x80000009, 0xaaaaaab0,
    610   0x7ffffffc, 0x80000004, 0x80000005, 0xaaaaaaad,
    611   0x7ffffffe, 0x80000002, 0x80000003, 0xaaaaaaac,
    612   0x7fffffff, 0x80000001, 0x80000002, 0xaaaaaaab,
    613   0x7fffffff, 0x80000001, 0x80000002, 0xaaaaaaab,
    614   0xc0000000, 0xc0000001, 0xd5555555, 0xe6666666,
    615   0xa0000000, 0xa0000001, 0xc0000000, 0xd9999999,
    616   0x90000000, 0x90000001, 0xb5555555, 0xd3333333,
    617   0x88000000, 0x88000001, 0xb0000000, 0xd0000000,
    618   0x84000000, 0x84000001, 0xad555555, 0xce666666,
    619   0x82000000, 0x82000001, 0xac000000, 0xcd999999,
    620   0x81000000, 0x81000001, 0xab555555, 0xcd333333,
    621   0x80800000, 0x80800001, 0xab000000, 0xcd000000,
    622   0x80400000, 0x80400001, 0xaad55555, 0xcce66666,
    623   0x80200000, 0x80200001, 0xaac00000, 0xccd99999,
    624   0x80100000, 0x80100001, 0xaab55555, 0xccd33333,
    625   0x80080000, 0x80080001, 0xaab00000, 0xccd00000,
    626   0x80040000, 0x80040001, 0xaaad5555, 0xccce6666,
    627   0x80020000, 0x80020001, 0xaaac0000, 0xcccd9999,
    628   0x80010000, 0x80010001, 0xaaab5555, 0xcccd3333,
    629   0x80008000, 0x80008001, 0xaaab0000, 0xcccd0000,
    630   0x80004000, 0x80004001, 0xaaaad555, 0xcccce666,
    631   0x80002000, 0x80002001, 0xaaaac000, 0xccccd999,
    632   0x80001000, 0x80001001, 0xaaaab555, 0xccccd333,
    633   0x80000800, 0x80000801, 0xaaaab000, 0xccccd000,
    634   0x80000400, 0x80000401, 0xaaaaad55, 0xccccce66,
    635   0x80000200, 0x80000201, 0xaaaaac00, 0xcccccd99,
    636   0x80000100, 0x80000101, 0xaaaaab55, 0xcccccd33,
    637   0x80000080, 0x80000081, 0xaaaaab00, 0xcccccd00,
    638   0x80000040, 0x80000041, 0xaaaaaad5, 0xcccccce6,
    639   0x80000020, 0x80000021, 0xaaaaaac0, 0xccccccd9,
    640   0x80000010, 0x80000011, 0xaaaaaab5, 0xccccccd3,
    641   0x80000008, 0x80000009, 0xaaaaaab0, 0xccccccd0,
    642   0x80000004, 0x80000005, 0xaaaaaaad, 0xccccccce,
    643   0x80000002, 0x80000003, 0xaaaaaaac, 0xcccccccd,
    644   0x80000001, 0x80000002, 0xaaaaaaab, 0xcccccccd,
    645   0x80000001, 0x80000002, 0xaaaaaaab, 0xcccccccd,
    646   0xc0000001, 0xd5555555, 0xe6666666, 0xffffc000,
    647   0xa0000001, 0xc0000000, 0xd9999999, 0xffffa000,
    648   0x90000001, 0xb5555555, 0xd3333333, 0xffff9000,
    649   0x88000001, 0xb0000000, 0xd0000000, 0xffff8800,
    650   0x84000001, 0xad555555, 0xce666666, 0xffff8400,
    651   0x82000001, 0xac000000, 0xcd999999, 0xffff8200,
    652   0x81000001, 0xab555555, 0xcd333333, 0xffff8100,
    653   0x80800001, 0xab000000, 0xcd000000, 0xffff8080,
    654   0x80400001, 0xaad55555, 0xcce66666, 0xffff8040,
    655   0x80200001, 0xaac00000, 0xccd99999, 0xffff8020,
    656   0x80100001, 0xaab55555, 0xccd33333, 0xffff8010,
    657   0x80080001, 0xaab00000, 0xccd00000, 0xffff8008,
    658   0x80040001, 0xaaad5555, 0xccce6666, 0xffff8004,
    659   0x80020001, 0xaaac0000, 0xcccd9999, 0xffff8002,
    660   0x80010001, 0xaaab5555, 0xcccd3333, 0xffff8001,
    661   0x80008001, 0xaaab0000, 0xcccd0000, 0xffff8001,
    662   0x80004001, 0xaaaad555, 0xcccce666, 0xffff8001,
    663   0x80002001, 0xaaaac000, 0xccccd999, 0xffff8001,
    664   0x80001001, 0xaaaab555, 0xccccd333, 0xffff8001,
    665   0x80000801, 0xaaaab000, 0xccccd000, 0xffff8001,
    666   0x80000401, 0xaaaaad55, 0xccccce66, 0xffff8001,
    667   0x80000201, 0xaaaaac00, 0xcccccd99, 0xffff8001,
    668   0x80000101, 0xaaaaab55, 0xcccccd33, 0xffff8001,
    669   0x80000081, 0xaaaaab00, 0xcccccd00, 0xffff8001,
    670   0x80000041, 0xaaaaaad5, 0xcccccce6, 0xffff8001,
    671   0x80000021, 0xaaaaaac0, 0xccccccd9, 0xffff8001,
    672   0x80000011, 0xaaaaaab5, 0xccccccd3, 0xffff8001,
    673   0x80000009, 0xaaaaaab0, 0xccccccd0, 0xffff8001,
    674   0x80000005, 0xaaaaaaad, 0xccccccce, 0xffff8001,
    675   0x80000003, 0xaaaaaaac, 0xcccccccd, 0xffff8001,
    676   0x80000002, 0xaaaaaaab, 0xcccccccd, 0xffff8001,
    677   0x80000002, 0xaaaaaaab, 0xcccccccd, 0xffff8001,
    678   0xd5555555, 0xe6666666, 0xffffc000, 0xffffc001,
    679   0xc0000000, 0xd9999999, 0xffffa000, 0xffffa001,
    680   0xb5555555, 0xd3333333, 0xffff9000, 0xffff9001,
    681   0xb0000000, 0xd0000000, 0xffff8800, 0xffff8801,
    682   0xad555555, 0xce666666, 0xffff8400, 0xffff8401,
    683   0xac000000, 0xcd999999, 0xffff8200, 0xffff8201,
    684   0xab555555, 0xcd333333, 0xffff8100, 0xffff8101,
    685   0xab000000, 0xcd000000, 0xffff8080, 0xffff8081,
    686   0xaad55555, 0xcce66666, 0xffff8040, 0xffff8041,
    687   0xaac00000, 0xccd99999, 0xffff8020, 0xffff8021,
    688   0xaab55555, 0xccd33333, 0xffff8010, 0xffff8011,
    689   0xaab00000, 0xccd00000, 0xffff8008, 0xffff8009,
    690   0xaaad5555, 0xccce6666, 0xffff8004, 0xffff8005,
    691   0xaaac0000, 0xcccd9999, 0xffff8002, 0xffff8003,
    692   0xaaab5555, 0xcccd3333, 0xffff8001, 0xffff8002,
    693   0xaaab0000, 0xcccd0000, 0xffff8001, 0xffff8002,
    694   0xaaaad555, 0xcccce666, 0xffff8001, 0xffff8002,
    695   0xaaaac000, 0xccccd999, 0xffff8001, 0xffff8002,
    696   0xaaaab555, 0xccccd333, 0xffff8001, 0xffff8002,
    697   0xaaaab000, 0xccccd000, 0xffff8001, 0xffff8002,
    698   0xaaaaad55, 0xccccce66, 0xffff8001, 0xffff8002,
    699   0xaaaaac00, 0xcccccd99, 0xffff8001, 0xffff8002,
    700   0xaaaaab55, 0xcccccd33, 0xffff8001, 0xffff8002,
    701   0xaaaaab00, 0xcccccd00, 0xffff8001, 0xffff8002,
    702   0xaaaaaad5, 0xcccccce6, 0xffff8001, 0xffff8002,
    703   0xaaaaaac0, 0xccccccd9, 0xffff8001, 0xffff8002,
    704   0xaaaaaab5, 0xccccccd3, 0xffff8001, 0xffff8002,
    705   0xaaaaaab0, 0xccccccd0, 0xffff8001, 0xffff8002,
    706   0xaaaaaaad, 0xccccccce, 0xffff8001, 0xffff8002,
    707   0xaaaaaaac, 0xcccccccd, 0xffff8001, 0xffff8002,
    708   0xaaaaaaab, 0xcccccccd, 0xffff8001, 0xffff8002,
    709   0xaaaaaaab, 0xcccccccd, 0xffff8001, 0xffff8002,
    710   0xe6666666, 0xffffc000, 0xffffc001, 0xffffc001,
    711   0xd9999999, 0xffffa000, 0xffffa001, 0xffffa002,
    712   0xd3333333, 0xffff9000, 0xffff9001, 0xffff9002,
    713   0xd0000000, 0xffff8800, 0xffff8801, 0xffff8802,
    714   0xce666666, 0xffff8400, 0xffff8401, 0xffff8402,
    715   0xcd999999, 0xffff8200, 0xffff8201, 0xffff8202,
    716   0xcd333333, 0xffff8100, 0xffff8101, 0xffff8102,
    717   0xcd000000, 0xffff8080, 0xffff8081, 0xffff8082,
    718   0xcce66666, 0xffff8040, 0xffff8041, 0xffff8042,
    719   0xccd99999, 0xffff8020, 0xffff8021, 0xffff8022,
    720   0xccd33333, 0xffff8010, 0xffff8011, 0xffff8012,
    721   0xccd00000, 0xffff8008, 0xffff8009, 0xffff800a,
    722   0xccce6666, 0xffff8004, 0xffff8005, 0xffff8006,
    723   0xcccd9999, 0xffff8002, 0xffff8003, 0xffff8004,
    724   0xcccd3333, 0xffff8001, 0xffff8002, 0xffff8003,
    725   0xcccd0000, 0xffff8001, 0xffff8002, 0xffff8003,
    726   0xcccce666, 0xffff8001, 0xffff8002, 0xffff8003,
    727   0xccccd999, 0xffff8001, 0xffff8002, 0xffff8003,
    728   0xccccd333, 0xffff8001, 0xffff8002, 0xffff8003,
    729   0xccccd000, 0xffff8001, 0xffff8002, 0xffff8003,
    730   0xccccce66, 0xffff8001, 0xffff8002, 0xffff8003,
    731   0xcccccd99, 0xffff8001, 0xffff8002, 0xffff8003,
    732   0xcccccd33, 0xffff8001, 0xffff8002, 0xffff8003,
    733   0xcccccd00, 0xffff8001, 0xffff8002, 0xffff8003,
    734   0xcccccce6, 0xffff8001, 0xffff8002, 0xffff8003,
    735   0xccccccd9, 0xffff8001, 0xffff8002, 0xffff8003,
    736   0xccccccd3, 0xffff8001, 0xffff8002, 0xffff8003,
    737   0xccccccd0, 0xffff8001, 0xffff8002, 0xffff8003,
    738   0xccccccce, 0xffff8001, 0xffff8002, 0xffff8003,
    739   0xcccccccd, 0xffff8001, 0xffff8002, 0xffff8003,
    740   0xcccccccd, 0xffff8001, 0xffff8002, 0xffff8003,
    741   0xcccccccd, 0xffff8001, 0xffff8002, 0xffff8003,
    742   0xffffc000, 0xffffc001, 0xffffc001, 0xffffc002,
    743   0xffffa000, 0xffffa001, 0xffffa002, 0xffffa003,
    744   0xffff9000, 0xffff9001, 0xffff9002, 0xffff9003,
    745   0xffff8800, 0xffff8801, 0xffff8802, 0xffff8803,
    746   0xffff8400, 0xffff8401, 0xffff8402, 0xffff8403,
    747   0xffff8200, 0xffff8201, 0xffff8202, 0xffff8203,
    748   0xffff8100, 0xffff8101, 0xffff8102, 0xffff8103,
    749   0xffff8080, 0xffff8081, 0xffff8082, 0xffff8083,
    750   0xffff8040, 0xffff8041, 0xffff8042, 0xffff8043,
    751   0xffff8020, 0xffff8021, 0xffff8022, 0xffff8023,
    752   0xffff8010, 0xffff8011, 0xffff8012, 0xffff8013,
    753   0xffff8008, 0xffff8009, 0xffff800a, 0xffff800b,
    754   0xffff8004, 0xffff8005, 0xffff8006, 0xffff8007,
    755   0xffff8002, 0xffff8003, 0xffff8004, 0xffff8005,
    756   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    757   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    758   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    759   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    760   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    761   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    762   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    763   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    764   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    765   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    766   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    767   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    768   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    769   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    770   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    771   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    772   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    773   0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
    774   0xffffc001, 0xffffc001, 0xffffc002, 0xffffffc0,
    775   0xffffa001, 0xffffa002, 0xffffa003, 0xffffffa0,
    776   0xffff9001, 0xffff9002, 0xffff9003, 0xffffff90,
    777   0xffff8801, 0xffff8802, 0xffff8803, 0xffffff88,
    778   0xffff8401, 0xffff8402, 0xffff8403, 0xffffff84,
    779   0xffff8201, 0xffff8202, 0xffff8203, 0xffffff82,
    780   0xffff8101, 0xffff8102, 0xffff8103, 0xffffff81,
    781   0xffff8081, 0xffff8082, 0xffff8083, 0xffffff81,
    782   0xffff8041, 0xffff8042, 0xffff8043, 0xffffff81,
    783   0xffff8021, 0xffff8022, 0xffff8023, 0xffffff81,
    784   0xffff8011, 0xffff8012, 0xffff8013, 0xffffff81,
    785   0xffff8009, 0xffff800a, 0xffff800b, 0xffffff81,
    786   0xffff8005, 0xffff8006, 0xffff8007, 0xffffff81,
    787   0xffff8003, 0xffff8004, 0xffff8005, 0xffffff81,
    788   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    789   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    790   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    791   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    792   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    793   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    794   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    795   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    796   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    797   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    798   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    799   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    800   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    801   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    802   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    803   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    804   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    805   0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
    806   0xffffc001, 0xffffc002, 0xffffffc0, 0xffffffc1,
    807   0xffffa002, 0xffffa003, 0xffffffa0, 0xffffffa1,
    808   0xffff9002, 0xffff9003, 0xffffff90, 0xffffff91,
    809   0xffff8802, 0xffff8803, 0xffffff88, 0xffffff89,
    810   0xffff8402, 0xffff8403, 0xffffff84, 0xffffff85,
    811   0xffff8202, 0xffff8203, 0xffffff82, 0xffffff83,
    812   0xffff8102, 0xffff8103, 0xffffff81, 0xffffff82,
    813   0xffff8082, 0xffff8083, 0xffffff81, 0xffffff82,
    814   0xffff8042, 0xffff8043, 0xffffff81, 0xffffff82,
    815   0xffff8022, 0xffff8023, 0xffffff81, 0xffffff82,
    816   0xffff8012, 0xffff8013, 0xffffff81, 0xffffff82,
    817   0xffff800a, 0xffff800b, 0xffffff81, 0xffffff82,
    818   0xffff8006, 0xffff8007, 0xffffff81, 0xffffff82,
    819   0xffff8004, 0xffff8005, 0xffffff81, 0xffffff82,
    820   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    821   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    822   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    823   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    824   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    825   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    826   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    827   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    828   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    829   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    830   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    831   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    832   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    833   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    834   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    835   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    836   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    837   0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
    838   0xffffc002, 0xffffffc0, 0xffffffc1, 0xffffffc1,
    839   0xffffa003, 0xffffffa0, 0xffffffa1, 0xffffffa2,
    840   0xffff9003, 0xffffff90, 0xffffff91, 0xffffff92,
    841   0xffff8803, 0xffffff88, 0xffffff89, 0xffffff8a,
    842   0xffff8403, 0xffffff84, 0xffffff85, 0xffffff86,
    843   0xffff8203, 0xffffff82, 0xffffff83, 0xffffff84,
    844   0xffff8103, 0xffffff81, 0xffffff82, 0xffffff83,
    845   0xffff8083, 0xffffff81, 0xffffff82, 0xffffff83,
    846   0xffff8043, 0xffffff81, 0xffffff82, 0xffffff83,
    847   0xffff8023, 0xffffff81, 0xffffff82, 0xffffff83,
    848   0xffff8013, 0xffffff81, 0xffffff82, 0xffffff83,
    849   0xffff800b, 0xffffff81, 0xffffff82, 0xffffff83,
    850   0xffff8007, 0xffffff81, 0xffffff82, 0xffffff83,
    851   0xffff8005, 0xffffff81, 0xffffff82, 0xffffff83,
    852   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    853   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    854   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    855   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    856   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    857   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    858   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    859   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    860   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    861   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    862   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    863   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    864   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    865   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    866   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    867   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    868   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    869   0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
    870   0xffffffc0, 0xffffffc1, 0xffffffc1, 0xffffffc2,
    871   0xffffffa0, 0xffffffa1, 0xffffffa2, 0xffffffa3,
    872   0xffffff90, 0xffffff91, 0xffffff92, 0xffffff93,
    873   0xffffff88, 0xffffff89, 0xffffff8a, 0xffffff8b,
    874   0xffffff84, 0xffffff85, 0xffffff86, 0xffffff87,
    875   0xffffff82, 0xffffff83, 0xffffff84, 0xffffff85,
    876   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    877   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    878   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    879   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    880   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    881   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    882   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    883   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    884   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    885   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    886   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    887   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    888   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    889   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    890   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    891   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    892   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    893   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    894   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    895   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    896   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    897   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    898   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    899   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    900   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    901   0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
    902   0xffffffc1, 0xffffffc1, 0xffffffc2, 0xfffffff0,
    903   0xffffffa1, 0xffffffa2, 0xffffffa3, 0xffffffe8,
    904   0xffffff91, 0xffffff92, 0xffffff93, 0xffffffe4,
    905   0xffffff89, 0xffffff8a, 0xffffff8b, 0xffffffe2,
    906   0xffffff85, 0xffffff86, 0xffffff87, 0xffffffe1,
    907   0xffffff83, 0xffffff84, 0xffffff85, 0xffffffe1,
    908   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    909   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    910   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    911   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    912   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    913   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    914   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    915   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    916   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    917   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    918   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    919   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    920   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    921   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    922   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    923   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    924   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    925   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    926   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    927   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    928   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    929   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    930   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    931   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    932   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    933   0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
    934   0xffffffc1, 0xffffffc2, 0xfffffff0, 0xffffffff,
    935   0xffffffa2, 0xffffffa3, 0xffffffe8, 0xfffffffe,
    936   0xffffff92, 0xffffff93, 0xffffffe4, 0xfffffffe,
    937   0xffffff8a, 0xffffff8b, 0xffffffe2, 0xfffffffe,
    938   0xffffff86, 0xffffff87, 0xffffffe1, 0xfffffffe,
    939   0xffffff84, 0xffffff85, 0xffffffe1, 0xfffffffe,
    940   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    941   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    942   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    943   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    944   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    945   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    946   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    947   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    948   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    949   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    950   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    951   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    952   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    953   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    954   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    955   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    956   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    957   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    958   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    959   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    960   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    961   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    962   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    963   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    964   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    965   0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
    966   0xffffffc2, 0xfffffff0, 0xffffffff, 0xffffffff,
    967   0xffffffa3, 0xffffffe8, 0xfffffffe, 0xffffffff,
    968   0xffffff93, 0xffffffe4, 0xfffffffe, 0xffffffff,
    969   0xffffff8b, 0xffffffe2, 0xfffffffe, 0xffffffff,
    970   0xffffff87, 0xffffffe1, 0xfffffffe, 0xffffffff,
    971   0xffffff85, 0xffffffe1, 0xfffffffe, 0xffffffff,
    972   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    973   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    974   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    975   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    976   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    977   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    978   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    979   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    980   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    981   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    982   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    983   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    984   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    985   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    986   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    987   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    988   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    989   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    990   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    991   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    992   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    993   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    994   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    995   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    996   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    997   0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
    998   0xfffffff0, 0xffffffff, 0xffffffff, 0x00000000,
    999   0xffffffe8, 0xfffffffe, 0xffffffff, 0x00000000,
   1000   0xffffffe4, 0xfffffffe, 0xffffffff, 0x00000000,
   1001   0xffffffe2, 0xfffffffe, 0xffffffff, 0x00000000,
   1002   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1003   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1004   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1005   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1006   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1007   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1008   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1009   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1010   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1011   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1012   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1013   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1014   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1015   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1016   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1017   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1018   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1019   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1020   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1021   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1022   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1023   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1024   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1025   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1026   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1027   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1028   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1029   0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
   1030 };
   1031 const unsigned kExpectedCount_NEON_srsra_4S_2OPIMM = 992;
   1032 
   1033 #endif  // VIXL_SIM_SRSRA_4S_2OPIMM_TRACE_A64_H_
   1034