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