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_MLS_4S_TRACE_A64_H_
     35 #define VIXL_SIM_MLS_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_mls_4S[] = {
     38   0xc1fc0000, 0xc0ff0001, 0xfff70002, 0x00000020,
     39   0xc17e0000, 0x817d0001, 0x00000002, 0x00000020,
     40   0x017a0000, 0x00000001, 0xff800302, 0x00000020,
     41   0x00000000, 0xffff8101, 0xff000602, 0x00000020,
     42   0xffff8200, 0xffff0201, 0xf0006002, 0x00000020,
     43   0xffff0400, 0xfff02001, 0xc1817702, 0x00000020,
     44   0xfff04000, 0xffc1fd01, 0xc1017a02, 0x00000020,
     45   0xffc27a00, 0xffc17e01, 0xc0817d02, 0x00000020,
     46   0xffc1fc00, 0xffc0ff01, 0x02fff702, 0x00000020,
     47   0xffc17e00, 0xc0817d01, 0x027ffa02, 0x00000020,
     48   0xc1017a00, 0xc080fe01, 0x01fffd02, 0x00000020,
     49   0xc100fc00, 0xc0807f01, 0x00199902, 0x00000020,
     50   0xc1007e00, 0x9999b301, 0x557fff02, 0x00000020,
     51   0xcccce600, 0xaaaad501, 0x017ff702, 0x00000020,
     52   0x00002a00, 0x00017d01, 0x00fffa02, 0x00000020,
     53   0x00017a00, 0x0000fe01, 0x007ffd02, 0x00000020,
     54   0x0000fc00, 0x00007f01, 0x00000002, 0x00000020,
     55   0x00007e00, 0x00000001, 0xff800302, 0x00000020,
     56   0x00000000, 0xffff8101, 0xaafffe02, 0x00000020,
     57   0xffff8200, 0x5555aa01, 0x00666402, 0x00000020,
     58   0x00005400, 0x6666cc01, 0xfe800002, 0x00000020,
     59   0x33339800, 0x3f800001, 0xfe000302, 0x00000020,
     60   0x3f000000, 0x3f7f8101, 0xfd800602, 0x00000020,
     61   0x3eff8200, 0x3f7f0201, 0xfd000902, 0x00000020,
     62   0x3eff0400, 0x3f7e8301, 0x3ffe8002, 0x00000020,
     63   0x3efe8600, 0x003f8001, 0x3f7e8302, 0x00000020,
     64   0x003f0000, 0x003f0101, 0x3efe8602, 0x00000020,
     65   0x003e8200, 0x003e8201, 0x3e7e8902, 0x00000020,
     66   0x003e0400, 0x003e0301, 0x0fffa002, 0x00000020,
     67   0x003d8600, 0x000fe001, 0x017ff702, 0x00000020,
     68   0x000fc000, 0x00017d01, 0x00fffa02, 0x00000020,
     69   0x00017d00, 0x00fffa01, 0x00000002, 0x00000020,
     70   0x0000fe00, 0x007ffd01, 0x00000002, 0x0000001f,
     71   0x00007f00, 0x00000001, 0x00000002, 0x0000001e,
     72   0x00000000, 0xff800301, 0x00000002, 0x00000000,
     73   0xffff8100, 0xff000601, 0x00000002, 0xffffffa3,
     74   0xffff0200, 0xf0006001, 0x00000002, 0xffffffa2,
     75   0xfff02000, 0xc1817701, 0x00000002, 0xffffffa1,
     76   0xffc1fd00, 0xc1017a01, 0x00000002, 0xffff8023,
     77   0xffc17e00, 0xc0817d01, 0x00000002, 0xffff8022,
     78   0xffc0ff00, 0x02fff701, 0x00000002, 0xffff8021,
     79   0xc0817d00, 0x027ffa01, 0x00000002, 0xcccccced,
     80   0xc080fe00, 0x01fffd01, 0x00000002, 0xaaaaaacb,
     81   0xc0807f00, 0x00199901, 0x00000002, 0x80000023,
     82   0x9999b300, 0x557fff01, 0x00000002, 0x80000022,
     83   0xaaaad500, 0x017ff701, 0x00000002, 0x80000021,
     84   0x00017d00, 0x00fffa01, 0x00000002, 0x80000020,
     85   0x0000fe00, 0x007ffd01, 0x00000002, 0x8000001f,
     86   0x00007f00, 0x00000001, 0x00000002, 0x55555576,
     87   0x00000000, 0xff800301, 0x00000002, 0x33333354,
     88   0xffff8100, 0xaafffe01, 0x00000002, 0x00008020,
     89   0x5555aa00, 0x00666401, 0x00000002, 0x0000801f,
     90   0x6666cc00, 0xfe800001, 0x00000002, 0x0000801e,
     91   0x3f800000, 0xfe000301, 0x00000002, 0x0000801d,
     92   0x3f7f8100, 0xfd800601, 0x00000002, 0x000000a0,
     93   0x3f7f0200, 0xfd000901, 0x00000002, 0x0000009f,
     94   0x3f7e8300, 0x3ffe8001, 0x00000002, 0x0000009e,
     95   0x003f8000, 0x3f7e8301, 0x00000002, 0x0000009d,
     96   0x003f0100, 0x3efe8601, 0x00000002, 0x00000040,
     97   0x003e8200, 0x3e7e8901, 0x00000002, 0x00000023,
     98   0x003e0300, 0x0fffa001, 0x00000002, 0x00000022,
     99   0x000fe000, 0x017ff701, 0x00000002, 0x00000021,
    100   0x017ff700, 0x00000001, 0x00000003, 0x00000020,
    101   0x00fffa00, 0x00000001, 0x00000002, 0x0000001e,
    102   0x007ffd00, 0x00000001, 0x00000001, 0x0000001c,
    103   0x00000000, 0x00000001, 0x00000000, 0xffffffe0,
    104   0xff800300, 0x00000001, 0xffffffe2, 0xffffff26,
    105   0xff000600, 0x00000001, 0xffffff85, 0xffffff24,
    106   0xf0006000, 0x00000001, 0xffffff84, 0xffffff22,
    107   0xc1817700, 0x00000001, 0xffffff83, 0xffff0026,
    108   0xc1017a00, 0x00000001, 0xffff8005, 0xffff0024,
    109   0xc0817d00, 0x00000001, 0xffff8004, 0xffff0022,
    110   0x02fff700, 0x00000001, 0xffff8003, 0x999999ba,
    111   0x027ffa00, 0x00000001, 0xcccccccf, 0x55555576,
    112   0x01fffd00, 0x00000001, 0xaaaaaaad, 0x00000026,
    113   0x00199900, 0x00000001, 0x80000005, 0x00000024,
    114   0x557fff00, 0x00000001, 0x80000004, 0x00000022,
    115   0x017ff700, 0x00000001, 0x80000003, 0x00000020,
    116   0x00fffa00, 0x00000001, 0x80000002, 0x0000001e,
    117   0x007ffd00, 0x00000001, 0x80000001, 0xaaaaaacc,
    118   0x00000000, 0x00000001, 0x55555558, 0x66666688,
    119   0xff800300, 0x00000001, 0x33333336, 0x00010020,
    120   0xaafffe00, 0x00000001, 0x00008002, 0x0001001e,
    121   0x00666400, 0x00000001, 0x00008001, 0x0001001c,
    122   0xfe800000, 0x00000001, 0x00008000, 0x0001001a,
    123   0xfe000300, 0x00000001, 0x00007fff, 0x00000120,
    124   0xfd800600, 0x00000001, 0x00000082, 0x0000011e,
    125   0xfd000900, 0x00000001, 0x00000081, 0x0000011c,
    126   0x3ffe8000, 0x00000001, 0x00000080, 0x0000011a,
    127   0x3f7e8300, 0x00000001, 0x0000007f, 0x00000060,
    128   0x3efe8600, 0x00000001, 0x00000022, 0x00000026,
    129   0x3e7e8900, 0x00000001, 0x00000005, 0x00000024,
    130   0x0fffa000, 0x00000001, 0x00000004, 0x00000022,
    131   0x00000000, 0x00000003, 0x00000004, 0x00000020,
    132   0x00000000, 0x00000002, 0x00000002, 0x00000000,
    133   0x00000000, 0x00000001, 0x00000000, 0xffffffe0,
    134   0x00000000, 0x00000000, 0xfffffffe, 0xfffffc20,
    135   0x00000000, 0xffffffff, 0xffffffc2, 0xfffff080,
    136   0x00000000, 0xffffffe1, 0xffffff08, 0xfffff060,
    137   0x00000000, 0xffffff84, 0xffffff06, 0xfffff040,
    138   0x00000000, 0xffffff83, 0xffffff04, 0xfff00080,
    139   0x00000000, 0xffffff82, 0xffff0008, 0xfff00060,
    140   0x00000000, 0xffff8004, 0xffff0006, 0xfff00040,
    141   0x00000000, 0xffff8003, 0xffff0004, 0x999999c0,
    142   0x00000000, 0xffff8002, 0x9999999c, 0x55555580,
    143   0x00000000, 0xccccccce, 0x55555558, 0x00000080,
    144   0x00000000, 0xaaaaaaac, 0x00000008, 0x00000060,
    145   0x00000000, 0x80000004, 0x00000006, 0x00000040,
    146   0x00000000, 0x80000003, 0x00000004, 0x00000020,
    147   0x00000000, 0x80000002, 0x00000002, 0x00000000,
    148   0x00000000, 0x80000001, 0x00000000, 0xaaaaaae0,
    149   0x00000000, 0x80000000, 0xaaaaaaae, 0x666666a0,
    150   0x00000000, 0x55555557, 0x6666666a, 0x00100020,
    151   0x00000000, 0x33333335, 0x00010002, 0x00100000,
    152   0x00000000, 0x00008001, 0x00010000, 0x000fffe0,
    153   0x00000000, 0x00008000, 0x0000fffe, 0x000fffc0,
    154   0x00000000, 0x00007fff, 0x0000fffc, 0x00001020,
    155   0x00000000, 0x00007ffe, 0x00000102, 0x00001000,
    156   0x00000000, 0x00000081, 0x00000100, 0x00000fe0,
    157   0x00000000, 0x00000080, 0x000000fe, 0x00000fc0,
    158   0x00000000, 0x0000007f, 0x000000fc, 0x00000420,
    159   0x00000000, 0x0000007e, 0x00000042, 0x00000080,
    160   0x00000000, 0x00000021, 0x00000008, 0x00000060,
    161   0x00000000, 0x00000004, 0x00000006, 0x00000040,
    162   0x00000003, 0x00000005, 0x00000022, 0x00000020,
    163   0x00000002, 0x00000003, 0x00000002, 0xffffffa3,
    164   0x00000001, 0x00000001, 0xffffffe2, 0xffffff26,
    165   0x00000000, 0xffffffff, 0xffffffc2, 0xfffff080,
    166   0xffffffff, 0xfffffffd, 0xfffffc02, 0xffffc317,
    167   0xfffffffe, 0xffffffc1, 0xfffff062, 0xffffc29a,
    168   0xffffffe0, 0xffffff07, 0xfffff042, 0xffffc21d,
    169   0xffffff83, 0xffffff05, 0xfffff022, 0xffc18197,
    170   0xffffff82, 0xffffff03, 0xfff00062, 0xffc1811a,
    171   0xffffff81, 0xffff0007, 0xfff00042, 0xffc1809d,
    172   0xffff8003, 0xffff0005, 0xfff00022, 0x00000039,
    173   0xffff8002, 0xffff0003, 0x999999a2, 0x5555559f,
    174   0xffff8001, 0x9999999b, 0x55555562, 0x80000197,
    175   0xcccccccd, 0x55555557, 0x00000062, 0x8000011a,
    176   0xaaaaaaab, 0x00000007, 0x00000042, 0x8000009d,
    177   0x80000003, 0x00000005, 0x00000022, 0x80000020,
    178   0x80000002, 0x00000003, 0x00000002, 0x7fffffa3,
    179   0x80000001, 0x00000001, 0xffffffe2, 0xaaaaab1e,
    180   0x80000000, 0xffffffff, 0xaaaaaac2, 0x00000084,
    181   0x7fffffff, 0xaaaaaaad, 0x66666682, 0x003e8020,
    182   0x55555556, 0x66666669, 0x00100002, 0x003e7fa3,
    183   0x33333334, 0x00010001, 0x000fffe2, 0x003e7f26,
    184   0x00008000, 0x0000ffff, 0x000fffc2, 0x003e7ea9,
    185   0x00007fff, 0x0000fffd, 0x000fffa2, 0x00003ea0,
    186   0x00007ffe, 0x0000fffb, 0x00001002, 0x00003e23,
    187   0x00007ffd, 0x00000101, 0x00000fe2, 0x00003da6,
    188   0x00000080, 0x000000ff, 0x00000fc2, 0x00003d29,
    189   0x0000007f, 0x000000fd, 0x00000fa2, 0x00000fc0,
    190   0x0000007e, 0x000000fb, 0x00000402, 0x00000197,
    191   0x0000007d, 0x00000041, 0x00000062, 0x0000011a,
    192   0x00000020, 0x00000007, 0x00000042, 0x0000009d,
    193   0x00000006, 0x00000041, 0x0000007f, 0x00000020,
    194   0x00000004, 0x00000021, 0x00000002, 0xffffffa2,
    195   0x00000002, 0x00000001, 0xffffff85, 0xffffff24,
    196   0x00000000, 0xffffffe1, 0xffffff08, 0xfffff060,
    197   0xfffffffe, 0xffffffc1, 0xfffff062, 0xffffc29a,
    198   0xfffffffc, 0xfffffc01, 0xffffc2f9, 0xffffc21c,
    199   0xffffffc0, 0xfffff061, 0xffffc27c, 0xffffc19e,
    200   0xffffff06, 0xfffff041, 0xffffc1ff, 0xffc1019a,
    201   0xffffff04, 0xfffff021, 0xffc18179, 0xffc1011c,
    202   0xffffff02, 0xfff00061, 0xffc180fc, 0xffc1009e,
    203   0xffff0006, 0xfff00041, 0xffc1807f, 0xcccccd06,
    204   0xffff0004, 0xfff00021, 0x0000001b, 0x0000004a,
    205   0xffff0002, 0x999999a1, 0x55555581, 0x0000019a,
    206   0x9999999a, 0x55555561, 0x80000179, 0x0000011c,
    207   0x55555556, 0x00000061, 0x800000fc, 0x0000009e,
    208   0x00000006, 0x00000041, 0x8000007f, 0x00000020,
    209   0x00000004, 0x00000021, 0x80000002, 0xffffffa2,
    210   0x00000002, 0x00000001, 0x7fffff85, 0x00000074,
    211   0x00000000, 0xffffffe1, 0xaaaaab00, 0x333333b8,
    212   0xfffffffe, 0xaaaaaac1, 0x00000066, 0x003f0020,
    213   0xaaaaaaac, 0x66666681, 0x003e8002, 0x003effa2,
    214   0x66666668, 0x00100001, 0x003e7f85, 0x003eff24,
    215   0x00010000, 0x000fffe1, 0x003e7f08, 0x003efea6,
    216   0x0000fffe, 0x000fffc1, 0x003e7e8b, 0x00003f20,
    217   0x0000fffc, 0x000fffa1, 0x00003e82, 0x00003ea2,
    218   0x0000fffa, 0x00001001, 0x00003e05, 0x00003e24,
    219   0x00000100, 0x00000fe1, 0x00003d88, 0x00003da6,
    220   0x000000fe, 0x00000fc1, 0x00003d0b, 0x00000fe0,
    221   0x000000fc, 0x00000fa1, 0x00000fa2, 0x0000019a,
    222   0x000000fa, 0x00000401, 0x00000179, 0x0000011c,
    223   0x00000040, 0x00000061, 0x000000fc, 0x0000009e,
    224   0x00000060, 0x000000fb, 0x00000080, 0x00000020,
    225   0x00000040, 0x0000007e, 0x00000002, 0xffffffa1,
    226   0x00000020, 0x00000001, 0xffffff84, 0xffffff22,
    227   0x00000000, 0xffffff84, 0xffffff06, 0xfffff040,
    228   0xffffffe0, 0xffffff07, 0xfffff042, 0xffffc21d,
    229   0xffffffc0, 0xfffff061, 0xffffc27c, 0xffffc19e,
    230   0xfffffc00, 0xffffc2f8, 0xffffc1fe, 0xffffc11f,
    231   0xfffff060, 0xffffc27b, 0xffffc180, 0xffc0819d,
    232   0xfffff040, 0xffffc1fe, 0xffc1017c, 0xffc0811e,
    233   0xfffff020, 0xffc18178, 0xffc100fe, 0xffc0809f,
    234   0xfff00060, 0xffc180fb, 0xffc10080, 0x999999d3,
    235   0xfff00040, 0xffc1807e, 0xcccccce8, 0xaaaaaaf5,
    236   0xfff00020, 0x0000001a, 0x0000002c, 0x8000019d,
    237   0x999999a0, 0x55555580, 0x0000017c, 0x8000011e,
    238   0x55555560, 0x80000178, 0x000000fe, 0x8000009f,
    239   0x00000060, 0x800000fb, 0x00000080, 0x80000020,
    240   0x00000040, 0x8000007e, 0x00000002, 0x7fffffa1,
    241   0x00000020, 0x80000001, 0xffffff84, 0x555555ca,
    242   0x00000000, 0x7fffff84, 0x00000056, 0x666666ec,
    243   0xffffffe0, 0xaaaaaaff, 0x3333339a, 0x003f8020,
    244   0xaaaaaac0, 0x00000065, 0x003f0002, 0x003f7fa1,
    245   0x66666680, 0x003e8001, 0x003eff84, 0x003f7f22,
    246   0x00100000, 0x003e7f84, 0x003eff06, 0x003f7ea3,
    247   0x000fffe0, 0x003e7f07, 0x003efe88, 0x00003fa0,
    248   0x000fffc0, 0x003e7e8a, 0x00003f02, 0x00003f21,
    249   0x000fffa0, 0x00003e81, 0x00003e84, 0x00003ea2,
    250   0x00001000, 0x00003e04, 0x00003e06, 0x00003e23,
    251   0x00000fe0, 0x00003d87, 0x00003d88, 0x00001000,
    252   0x00000fc0, 0x00003d0a, 0x00000fc2, 0x0000019d,
    253   0x00000fa0, 0x00000fa1, 0x0000017c, 0x0000011e,
    254   0x00000400, 0x00000178, 0x000000fe, 0x0000009f,
    255   0x00000177, 0x000000fd, 0x00000081, 0x00000020,
    256   0x000000fa, 0x0000007f, 0x00000002, 0xffff8023,
    257   0x0000007d, 0x00000001, 0xffffff83, 0xffff0026,
    258   0x00000000, 0xffffff83, 0xffffff04, 0xfff00080,
    259   0xffffff83, 0xffffff05, 0xfffff022, 0xffc18197,
    260   0xffffff06, 0xfffff041, 0xffffc1ff, 0xffc1019a,
    261   0xfffff060, 0xffffc27b, 0xffffc180, 0xffc0819d,
    262   0xffffc2f7, 0xffffc1fd, 0xffffc101, 0xc0030017,
    263   0xffffc27a, 0xffffc17f, 0xffc0817f, 0xc002801a,
    264   0xffffc1fd, 0xffc1017b, 0xffc08100, 0xc002001d,
    265   0xffc18177, 0xffc100fd, 0xffc08081, 0x000019b9,
    266   0xffc180fa, 0xffc1007f, 0x999999b5, 0x5555801f,
    267   0xffc1807d, 0xcccccce7, 0xaaaaaad7, 0x80018017,
    268   0x00000019, 0x0000002b, 0x8000017f, 0x8001001a,
    269   0x5555557f, 0x0000017b, 0x80000100, 0x8000801d,
    270   0x80000177, 0x000000fd, 0x80000081, 0x80000020,
    271   0x800000fa, 0x0000007f, 0x80000002, 0x7fff8023,
    272   0x8000007d, 0x00000001, 0x7fffff83, 0xaaab001e,
    273   0x80000000, 0xffffff83, 0x555555ac, 0x00006684,
    274   0x7fffff83, 0x00000055, 0x666666ce, 0x3ffe8020,
    275   0xaaaaaafe, 0x33333399, 0x003f8002, 0x3ffe0023,
    276   0x00000064, 0x003f0001, 0x003f7f83, 0x3ffd8026,
    277   0x003e8000, 0x003eff83, 0x003f7f04, 0x3ffd0029,
    278   0x003e7f83, 0x003eff05, 0x003f7e85, 0x003ffea0,
    279   0x003e7f06, 0x003efe87, 0x00003f82, 0x003f7ea3,
    280   0x003e7e89, 0x00003f01, 0x00003f03, 0x003efea6,
    281   0x00003e80, 0x00003e83, 0x00003e84, 0x003e7ea9,
    282   0x00003e03, 0x00003e05, 0x00003e05, 0x000fffc0,
    283   0x00003d86, 0x00003d87, 0x00000fe2, 0x00018017,
    284   0x00003d09, 0x00000fc1, 0x0000017f, 0x0001001a,
    285   0x00000fa0, 0x0000017b, 0x00000100, 0x0000801d,
    286   0x0000017a, 0x000000ff, 0x00007fff, 0x00000020,
    287   0x000000fc, 0x00000080, 0x00000002, 0xffff8022,
    288   0x0000007e, 0x00000001, 0xffff8005, 0xffff0024,
    289   0x00000000, 0xffffff82, 0xffff0008, 0xfff00060,
    290   0xffffff82, 0xffffff03, 0xfff00062, 0xffc1811a,
    291   0xffffff04, 0xfffff021, 0xffc18179, 0xffc1011c,
    292   0xfffff040, 0xffffc1fe, 0xffc1017c, 0xffc0811e,
    293   0xffffc27a, 0xffffc17f, 0xffc0817f, 0xc002801a,
    294   0xffffc1fc, 0xffffc100, 0xc002fff9, 0xc002001c,
    295   0xffffc17e, 0xffc0817e, 0xc0027ffc, 0xc001801e,
    296   0xffc1017a, 0xffc080ff, 0xc001ffff, 0xcccce686,
    297   0xffc100fc, 0xffc08080, 0x0000199b, 0x00002aca,
    298   0xffc1007e, 0x999999b4, 0x55558001, 0x0001801a,
    299   0xcccccce6, 0xaaaaaad6, 0x80017ff9, 0x0001001c,
    300   0x0000002a, 0x8000017e, 0x8000fffc, 0x0000801e,
    301   0x0000017a, 0x800000ff, 0x80007fff, 0x00000020,
    302   0x000000fc, 0x80000080, 0x80000002, 0xffff8022,
    303   0x0000007e, 0x80000001, 0x7fff8005, 0x00005574,
    304   0x00000000, 0x7fffff82, 0xaaab0000, 0x333399b8,
    305   0xffffff82, 0x555555ab, 0x00006666, 0x3fff0020,
    306   0x00000054, 0x666666cd, 0x3ffe8002, 0x3ffe8022,
    307   0x33333398, 0x003f8001, 0x3ffe0005, 0x3ffe0024,
    308   0x003f0000, 0x003f7f82, 0x3ffd8008, 0x3ffd8026,
    309   0x003eff82, 0x003f7f03, 0x3ffd000b, 0x003fff20,
    310   0x003eff04, 0x003f7e84, 0x003ffe82, 0x003f7f22,
    311   0x003efe86, 0x00003f81, 0x003f7e85, 0x003eff24,
    312   0x00003f00, 0x00003f02, 0x003efe88, 0x003e7f26,
    313   0x00003e82, 0x00003e83, 0x003e7e8b, 0x000fffe0,
    314   0x00003e04, 0x00003e04, 0x000fffa2, 0x0001801a,
    315   0x00003d86, 0x00000fe1, 0x00017ff9, 0x0001001c,
    316   0x00000fc0, 0x0000017e, 0x0000fffc, 0x0000801e,
    317   0x0000017d, 0x0000fffb, 0x00008000, 0x00000020,
    318   0x000000fe, 0x00007ffe, 0x00000002, 0xffff8021,
    319   0x0000007f, 0x00000001, 0xffff8004, 0xffff0022,
    320   0x00000000, 0xffff8004, 0xffff0006, 0xfff00040,
    321   0xffffff81, 0xffff0007, 0xfff00042, 0xffc1809d,
    322   0xffffff02, 0xfff00061, 0xffc180fc, 0xffc1009e,
    323   0xfffff020, 0xffc18178, 0xffc100fe, 0xffc0809f,
    324   0xffffc1fd, 0xffc1017b, 0xffc08100, 0xc002001d,
    325   0xffffc17e, 0xffc0817e, 0xc0027ffc, 0xc001801e,
    326   0xffffc0ff, 0xc002fff8, 0xc001fffe, 0xc001001f,
    327   0xffc0817d, 0xc0027ffb, 0xc0018000, 0x9999b353,
    328   0xffc080fe, 0xc001fffe, 0xcccce668, 0xaaaad575,
    329   0xffc0807f, 0x0000199a, 0x00002aac, 0x8001801d,
    330   0x999999b3, 0x55558000, 0x00017ffc, 0x8001001e,
    331   0xaaaaaad5, 0x80017ff8, 0x0000fffe, 0x8000801f,
    332   0x8000017d, 0x8000fffb, 0x00008000, 0x80000020,
    333   0x800000fe, 0x80007ffe, 0x00000002, 0x7fff8021,
    334   0x8000007f, 0x80000001, 0xffff8004, 0x5555aaca,
    335   0x80000000, 0x7fff8004, 0x00005556, 0x6666ccec,
    336   0x7fffff81, 0xaaaaffff, 0x3333999a, 0x3fff8020,
    337   0x555555aa, 0x00006665, 0x3fff0002, 0x3fff0021,
    338   0x666666cc, 0x3ffe8001, 0x3ffe8004, 0x3ffe8022,
    339   0x003f8000, 0x3ffe0004, 0x3ffe0006, 0x3ffe0023,
    340   0x003f7f81, 0x3ffd8007, 0x3ffd8008, 0x003fffa0,
    341   0x003f7f02, 0x3ffd000a, 0x003fff02, 0x003f7fa1,
    342   0x003f7e83, 0x003ffe81, 0x003f7f04, 0x003effa2,
    343   0x00003f80, 0x003f7e84, 0x003eff06, 0x003e7fa3,
    344   0x00003f01, 0x003efe87, 0x003e7f08, 0x00100000,
    345   0x00003e82, 0x003e7e8a, 0x000fffc2, 0x0001801d,
    346   0x00003e03, 0x000fffa1, 0x00017ffc, 0x0001001e,
    347   0x00000fe0, 0x00017ff8, 0x0000fffe, 0x0000801f,
    348   0x00017ff7, 0x0000fffd, 0x00008001, 0x00000020,
    349   0x0000fffa, 0x00007fff, 0x00000002, 0xcccccced,
    350   0x00007ffd, 0x00000001, 0xffff8003, 0x999999ba,
    351   0x00000000, 0xffff8003, 0xffff0004, 0x999999c0,
    352   0xffff8003, 0xffff0005, 0xfff00022, 0x00000039,
    353   0xffff0006, 0xfff00041, 0xffc1807f, 0xcccccd06,
    354   0xfff00060, 0xffc180fb, 0xffc10080, 0x999999d3,
    355   0xffc18177, 0xffc100fd, 0xffc08081, 0x000019b9,
    356   0xffc1017a, 0xffc080ff, 0xc001ffff, 0xcccce686,
    357   0xffc0817d, 0xc0027ffb, 0xc0018000, 0x9999b353,
    358   0xc002fff7, 0xc001fffd, 0xc0010001, 0x3d70a3f7,
    359   0xc0027ffa, 0xc0017fff, 0x9999b335, 0x11111131,
    360   0xc001fffd, 0xcccce667, 0xaaaad557, 0x199999b9,
    361   0x00001999, 0x00002aab, 0x80017fff, 0xe6666686,
    362   0x55557fff, 0x00017ffb, 0x80010000, 0xb3333353,
    363   0x80017ff7, 0x0000fffd, 0x80008001, 0x80000020,
    364   0x8000fffa, 0x00007fff, 0x80000002, 0x4ccccced,
    365   0x80007ffd, 0x00000001, 0x7fff8003, 0x22222242,
    366   0x80000000, 0xffff8003, 0x5555aaac, 0xf5c28f7c,
    367   0x7fff8003, 0x00005555, 0x6666ccce, 0x99998020,
    368   0xaaaafffe, 0x33339999, 0x3fff8002, 0x66664ced,
    369   0x00006664, 0x3fff0001, 0x3fff0003, 0x333319ba,
    370   0x3ffe8000, 0x3ffe8003, 0x3ffe8004, 0xffffe687,
    371   0x3ffe0003, 0x3ffe0005, 0x3ffe0005, 0x999999a0,
    372   0x3ffd8006, 0x3ffd8007, 0x003fff82, 0x6666666d,
    373   0x3ffd0009, 0x003fff01, 0x003f7f83, 0x3333333a,
    374   0x003ffe80, 0x003f7f03, 0x003eff84, 0x00000007,
    375   0x003f7e83, 0x003eff05, 0x003e7f85, 0x66666680,
    376   0x003efe86, 0x003e7f07, 0x000fffe2, 0x999999b9,
    377   0x003e7e89, 0x000fffc1, 0x00017fff, 0x66666686,
    378   0x000fffa0, 0x00017ffb, 0x00010000, 0x33333353,
    379   0x00017ffa, 0x0000ffff, 0x33333335, 0x00000020,
    380   0x0000fffc, 0x00008000, 0x00000002, 0xaaaaaacb,
    381   0x00007ffe, 0x00000001, 0xcccccccf, 0x55555576,
    382   0x00000000, 0xffff8002, 0x9999999c, 0x55555580,
    383   0xffff8002, 0xffff0003, 0x999999a2, 0x5555559f,
    384   0xffff0004, 0xfff00021, 0x0000001b, 0x0000004a,
    385   0xfff00040, 0xffc1807e, 0xcccccce8, 0xaaaaaaf5,
    386   0xffc180fa, 0xffc1007f, 0x999999b5, 0x5555801f,
    387   0xffc100fc, 0xffc08080, 0x0000199b, 0x00002aca,
    388   0xffc080fe, 0xc001fffe, 0xcccce668, 0xaaaad575,
    389   0xc0027ffa, 0xc0017fff, 0x9999b335, 0x11111131,
    390   0xc001fffc, 0xc0010000, 0x3d70a3d9, 0xc71c71e7,
    391   0xc0017ffe, 0x9999b334, 0x11111113, 0x8000001f,
    392   0xcccce666, 0xaaaad556, 0x1999999b, 0x2aaaaaca,
    393   0x00002aaa, 0x80017ffe, 0xe6666668, 0xd5555575,
    394   0x00017ffa, 0x8000ffff, 0xb3333335, 0x80000020,
    395   0x0000fffc, 0x80008000, 0x80000002, 0x2aaaaacb,
    396   0x00007ffe, 0x80000001, 0x4ccccccf, 0x8e38e3ae,
    397   0x00000000, 0x7fff8002, 0x22222224, 0x44444464,
    398   0xffff8002, 0x5555aaab, 0xf5c28f5e, 0xaaaa8020,
    399   0x00005554, 0x6666cccd, 0x99998002, 0x55552acb,
    400   0x33339998, 0x3fff8001, 0x66664ccf, 0xffffd576,
    401   0x3fff0000, 0x3fff0002, 0x3333199c, 0xaaaa8021,
    402   0x3ffe8002, 0x3ffe8003, 0xffffe669, 0xaaaaaaa0,
    403   0x3ffe0004, 0x3ffe0004, 0x99999982, 0x5555554b,
    404   0x3ffd8006, 0x003fff81, 0x6666664f, 0xfffffff6,
    405   0x003fff00, 0x003f7f82, 0x3333331c, 0xaaaaaaa1,
    406   0x003f7f02, 0x003eff83, 0xffffffe9, 0xaaaaaac0,
    407   0x003eff04, 0x003e7f84, 0x66666662, 0x0000001f,
    408   0x003e7f06, 0x000fffe1, 0x9999999b, 0xaaaaaaca,
    409   0x000fffc0, 0x00017ffe, 0x66666668, 0x55555575,
    410   0x00017ffd, 0x66666667, 0x55555557, 0x00000020,
    411   0x0000fffe, 0x33333334, 0x00000002, 0x80000023,
    412   0x00007fff, 0x00000001, 0xaaaaaaad, 0x00000026,
    413   0x00000000, 0xccccccce, 0x55555558, 0x00000080,
    414   0xffff8001, 0x9999999b, 0x55555562, 0x80000197,
    415   0xffff0002, 0x999999a1, 0x55555581, 0x0000019a,
    416   0xfff00020, 0x0000001a, 0x0000002c, 0x8000019d,
    417   0xffc1807d, 0xcccccce7, 0xaaaaaad7, 0x80018017,
    418   0xffc1007e, 0x999999b4, 0x55558001, 0x0001801a,
    419   0xffc0807f, 0x0000199a, 0x00002aac, 0x8001801d,
    420   0xc001fffd, 0xcccce667, 0xaaaad557, 0x199999b9,
    421   0xc0017ffe, 0x9999b334, 0x11111113, 0x8000001f,
    422   0xc000ffff, 0x3d70a3d8, 0xc71c71c9, 0x00000017,
    423   0x9999b333, 0x11111112, 0x80000001, 0x8000001a,
    424   0xaaaad555, 0x1999999a, 0x2aaaaaac, 0x0000001d,
    425   0x80017ffd, 0xe6666667, 0xd5555557, 0x80000020,
    426   0x8000fffe, 0xb3333334, 0x80000002, 0x00000023,
    427   0x80007fff, 0x80000001, 0x2aaaaaad, 0x0000001e,
    428   0x80000000, 0x4cccccce, 0x8e38e390, 0x66666684,
    429   0x7fff8001, 0x22222223, 0x44444446, 0xfffe8020,
    430   0x5555aaaa, 0xf5c28f5d, 0xaaaa8002, 0x7ffe8023,
    431   0x6666cccc, 0x99998001, 0x55552aad, 0xfffe8026,
    432   0x3fff8000, 0x66664cce, 0xffffd558, 0x7ffe8029,
    433   0x3fff0001, 0x3333199b, 0xaaaa8003, 0xfffffea0,
    434   0x3ffe8002, 0xffffe668, 0xaaaaaa82, 0x7ffffea3,
    435   0x3ffe0003, 0x99999981, 0x5555552d, 0xfffffea6,
    436   0x003fff80, 0x6666664e, 0xffffffd8, 0x7ffffea9,
    437   0x003f7f81, 0x3333331b, 0xaaaaaa83, 0xffffffc0,
    438   0x003eff82, 0xffffffe8, 0xaaaaaaa2, 0x80000017,
    439   0x003e7f83, 0x66666661, 0x00000001, 0x0000001a,
    440   0x000fffe0, 0x9999999a, 0xaaaaaaac, 0x8000001d,
    441   0x99999999, 0xaaaaaaab, 0x7fffffff, 0x00000020,
    442   0x66666666, 0x55555556, 0x00000002, 0x80000022,
    443   0x33333333, 0x00000001, 0x80000005, 0x00000024,
    444   0x00000000, 0xaaaaaaac, 0x00000008, 0x00000060,
    445   0xcccccccd, 0x55555557, 0x00000062, 0x8000011a,
    446   0x9999999a, 0x55555561, 0x80000179, 0x0000011c,
    447   0x999999a0, 0x55555580, 0x0000017c, 0x8000011e,
    448   0x00000019, 0x0000002b, 0x8000017f, 0x8001001a,
    449   0xcccccce6, 0xaaaaaad6, 0x80017ff9, 0x0001001c,
    450   0x999999b3, 0x55558000, 0x00017ffc, 0x8001001e,
    451   0x00001999, 0x00002aab, 0x80017fff, 0xe6666686,
    452   0xcccce666, 0xaaaad556, 0x1999999b, 0x2aaaaaca,
    453   0x9999b333, 0x11111112, 0x80000001, 0x8000001a,
    454   0x3d70a3d7, 0xc71c71c8, 0xfffffff9, 0x0000001c,
    455   0x11111111, 0x80000000, 0x7ffffffc, 0x8000001e,
    456   0x19999999, 0x2aaaaaab, 0xffffffff, 0x00000020,
    457   0xe6666666, 0xd5555556, 0x80000002, 0x80000022,
    458   0xb3333333, 0x80000001, 0x00000005, 0x55555574,
    459   0x80000000, 0x2aaaaaac, 0x00000000, 0x999999b8,
    460   0x4ccccccd, 0x8e38e38f, 0x66666666, 0xffff0020,
    461   0x22222222, 0x44444445, 0xfffe8002, 0x7fff0022,
    462   0xf5c28f5c, 0xaaaa8001, 0x7ffe8005, 0xffff0024,
    463   0x99998000, 0x55552aac, 0xfffe8008, 0x7fff0026,
    464   0x66664ccd, 0xffffd557, 0x7ffe800b, 0xffffff20,
    465   0x3333199a, 0xaaaa8002, 0xfffffe82, 0x7fffff22,
    466   0xffffe667, 0xaaaaaa81, 0x7ffffe85, 0xffffff24,
    467   0x99999980, 0x5555552c, 0xfffffe88, 0x7fffff26,
    468   0x6666664d, 0xffffffd7, 0x7ffffe8b, 0xffffffe0,
    469   0x3333331a, 0xaaaaaa82, 0xffffffa2, 0x8000001a,
    470   0xffffffe7, 0xaaaaaaa1, 0x7ffffff9, 0x0000001c,
    471   0x66666660, 0x00000000, 0xfffffffc, 0x8000001e,
    472   0xffffffff, 0xfffffffb, 0x80000000, 0x00000020,
    473   0xaaaaaaaa, 0x7ffffffe, 0x00000002, 0x80000021,
    474   0x55555555, 0x00000001, 0x80000004, 0x00000022,
    475   0x00000000, 0x80000004, 0x00000006, 0x00000040,
    476   0xaaaaaaab, 0x00000007, 0x00000042, 0x8000009d,
    477   0x55555556, 0x00000061, 0x800000fc, 0x0000009e,
    478   0x55555560, 0x80000178, 0x000000fe, 0x8000009f,
    479   0x5555557f, 0x0000017b, 0x80000100, 0x8000801d,
    480   0x0000002a, 0x8000017e, 0x8000fffc, 0x0000801e,
    481   0xaaaaaad5, 0x80017ff8, 0x0000fffe, 0x8000801f,
    482   0x55557fff, 0x00017ffb, 0x80010000, 0xb3333353,
    483   0x00002aaa, 0x80017ffe, 0xe6666668, 0xd5555575,
    484   0xaaaad555, 0x1999999a, 0x2aaaaaac, 0x0000001d,
    485   0x11111111, 0x80000000, 0x7ffffffc, 0x8000001e,
    486   0xc71c71c7, 0xfffffff8, 0xfffffffe, 0x0000001f,
    487   0x7fffffff, 0x7ffffffb, 0x80000000, 0x80000020,
    488   0x2aaaaaaa, 0xfffffffe, 0x00000002, 0x00000021,
    489   0xd5555555, 0x80000001, 0x80000004, 0xaaaaaaca,
    490   0x80000000, 0x00000004, 0x55555556, 0xccccccec,
    491   0x2aaaaaab, 0xffffffff, 0x9999999a, 0xffff8020,
    492   0x8e38e38e, 0x66666665, 0xffff0002, 0x7fff8021,
    493   0x44444444, 0xfffe8001, 0x7fff0004, 0xffff8022,
    494   0xaaaa8000, 0x7ffe8004, 0xffff0006, 0x7fff8023,
    495   0x55552aab, 0xfffe8007, 0x7fff0008, 0xffffffa0,
    496   0xffffd556, 0x7ffe800a, 0xffffff02, 0x7fffffa1,
    497   0xaaaa8001, 0xfffffe81, 0x7fffff04, 0xffffffa2,
    498   0xaaaaaa80, 0x7ffffe84, 0xffffff06, 0x7fffffa3,
    499   0x5555552b, 0xfffffe87, 0x7fffff08, 0x00000000,
    500   0xffffffd6, 0x7ffffe8a, 0xffffffc2, 0x8000001d,
    501   0xaaaaaa81, 0xffffffa1, 0x7ffffffc, 0x0000001e,
    502   0xaaaaaaa0, 0x7ffffff8, 0xfffffffe, 0x8000001f,
    503   0x7ffffff7, 0xfffffffd, 0x80000001, 0x00000020,
    504   0xfffffffa, 0x7fffffff, 0x00000002, 0x80000020,
    505   0x7ffffffd, 0x00000001, 0x80000003, 0x00000020,
    506   0x00000000, 0x80000003, 0x00000004, 0x00000020,
    507   0x80000003, 0x00000005, 0x00000022, 0x80000020,
    508   0x00000006, 0x00000041, 0x8000007f, 0x00000020,
    509   0x00000060, 0x800000fb, 0x00000080, 0x80000020,
    510   0x80000177, 0x000000fd, 0x80000081, 0x80000020,
    511   0x0000017a, 0x800000ff, 0x80007fff, 0x00000020,
    512   0x8000017d, 0x8000fffb, 0x00008000, 0x80000020,
    513   0x80017ff7, 0x0000fffd, 0x80008001, 0x80000020,
    514   0x00017ffa, 0x8000ffff, 0xb3333335, 0x80000020,
    515   0x80017ffd, 0xe6666667, 0xd5555557, 0x80000020,
    516   0x19999999, 0x2aaaaaab, 0xffffffff, 0x00000020,
    517   0x7fffffff, 0x7ffffffb, 0x80000000, 0x80000020,
    518   0xfffffff7, 0xfffffffd, 0x00000001, 0x00000020,
    519   0x7ffffffa, 0x7fffffff, 0x80000002, 0x80000020,
    520   0xfffffffd, 0x00000001, 0x00000003, 0x00000020,
    521   0x80000000, 0x80000003, 0xaaaaaaac, 0x00000020,
    522   0x00000003, 0x55555555, 0xccccccce, 0x00000020,
    523   0xfffffffe, 0x99999999, 0xffff8002, 0x80000020,
    524   0x66666664, 0xffff0001, 0x7fff8003, 0x00000020,
    525   0xfffe8000, 0x7fff0003, 0xffff8004, 0x80000020,
    526   0x7ffe8003, 0xffff0005, 0x7fff8005, 0x00000020,
    527   0xfffe8006, 0x7fff0007, 0xffffff82, 0x80000020,
    528   0x7ffe8009, 0xffffff01, 0x7fffff83, 0x00000020,
    529   0xfffffe80, 0x7fffff03, 0xffffff84, 0x80000020,
    530   0x7ffffe83, 0xffffff05, 0x7fffff85, 0x00000020,
    531   0xfffffe86, 0x7fffff07, 0xffffffe2, 0x80000020,
    532   0x7ffffe89, 0xffffffc1, 0x7fffffff, 0x00000020,
    533   0xffffffa0, 0x7ffffffb, 0x00000000, 0x80000020,
    534   0x7ffffffa, 0xffffffff, 0x80000002, 0x00000020,
    535   0xfffffffc, 0x80000000, 0x00000002, 0x8000001f,
    536   0x7ffffffe, 0x00000001, 0x80000002, 0x0000001e,
    537   0x00000000, 0x80000002, 0x00000002, 0x00000000,
    538   0x80000002, 0x00000003, 0x00000002, 0x7fffffa3,
    539   0x00000004, 0x00000021, 0x80000002, 0xffffffa2,
    540   0x00000040, 0x8000007e, 0x00000002, 0x7fffffa1,
    541   0x800000fa, 0x0000007f, 0x80000002, 0x7fff8023,
    542   0x000000fc, 0x80000080, 0x80000002, 0xffff8022,
    543   0x800000fe, 0x80007ffe, 0x00000002, 0x7fff8021,
    544   0x8000fffa, 0x00007fff, 0x80000002, 0x4ccccced,
    545   0x0000fffc, 0x80008000, 0x80000002, 0x2aaaaacb,
    546   0x8000fffe, 0xb3333334, 0x80000002, 0x00000023,
    547   0xe6666666, 0xd5555556, 0x80000002, 0x80000022,
    548   0x2aaaaaaa, 0xfffffffe, 0x00000002, 0x00000021,
    549   0x7ffffffa, 0x7fffffff, 0x80000002, 0x80000020,
    550   0xfffffffc, 0x00000000, 0x00000002, 0x0000001f,
    551   0x7ffffffe, 0x80000001, 0x80000002, 0x55555576,
    552   0x00000000, 0x00000002, 0x00000002, 0x33333354,
    553   0x80000002, 0xaaaaaaab, 0x00000002, 0x00008020,
    554   0x55555554, 0xcccccccd, 0x00000002, 0x8000801f,
    555   0x99999998, 0xffff8001, 0x80000002, 0x0000801e,
    556   0xffff0000, 0x7fff8002, 0x00000002, 0x8000801d,
    557   0x7fff0002, 0xffff8003, 0x80000002, 0x000000a0,
    558   0xffff0004, 0x7fff8004, 0x00000002, 0x8000009f,
    559   0x7fff0006, 0xffffff81, 0x80000002, 0x0000009e,
    560   0xffffff00, 0x7fffff82, 0x00000002, 0x8000009d,
    561   0x7fffff02, 0xffffff83, 0x80000002, 0x00000040,
    562   0xffffff04, 0x7fffff84, 0x00000002, 0x80000023,
    563   0x7fffff06, 0xffffffe1, 0x80000002, 0x00000022,
    564   0xffffffc0, 0x7ffffffe, 0x00000002, 0x80000021,
    565   0x7ffffffd, 0x00000001, 0x80000003, 0x00000020,
    566   0xfffffffe, 0x80000001, 0x00000002, 0x55555576,
    567   0x7fffffff, 0x00000001, 0x80000001, 0xaaaaaacc,
    568   0x00000000, 0x80000001, 0x00000000, 0xaaaaaae0,
    569   0x80000001, 0x00000001, 0xffffffe2, 0xaaaaab1e,
    570   0x00000002, 0x00000001, 0x7fffff85, 0x00000074,
    571   0x00000020, 0x80000001, 0xffffff84, 0x555555ca,
    572   0x8000007d, 0x00000001, 0x7fffff83, 0xaaab001e,
    573   0x0000007e, 0x80000001, 0x7fff8005, 0x00005574,
    574   0x8000007f, 0x80000001, 0xffff8004, 0x5555aaca,
    575   0x80007ffd, 0x00000001, 0x7fff8003, 0x22222242,
    576   0x00007ffe, 0x80000001, 0x4ccccccf, 0x8e38e3ae,
    577   0x80007fff, 0x80000001, 0x2aaaaaad, 0x0000001e,
    578   0xb3333333, 0x80000001, 0x00000005, 0x55555574,
    579   0xd5555555, 0x80000001, 0x80000004, 0xaaaaaaca,
    580   0xfffffffd, 0x00000001, 0x00000003, 0x00000020,
    581   0x7ffffffe, 0x80000001, 0x80000002, 0x55555576,
    582   0xffffffff, 0x00000001, 0x00000001, 0x1c71c73c,
    583   0x80000000, 0x80000001, 0x55555558, 0x888888a8,
    584   0x00000001, 0x00000001, 0x33333336, 0x55550020,
    585   0xaaaaaaaa, 0x00000001, 0x00008002, 0xaaaa5576,
    586   0xcccccccc, 0x00000001, 0x80008001, 0xffffaacc,
    587   0xffff8000, 0x80000001, 0x00008000, 0x55550022,
    588   0x7fff8001, 0x00000001, 0x80007fff, 0x55555520,
    589   0xffff8002, 0x80000001, 0x00000082, 0xaaaaaa76,
    590   0x7fff8003, 0x00000001, 0x80000081, 0xffffffcc,
    591   0xffffff80, 0x80000001, 0x00000080, 0x55555522,
    592   0x7fffff81, 0x00000001, 0x8000007f, 0x55555560,
    593   0xffffff82, 0x80000001, 0x00000022, 0x0000001e,
    594   0x7fffff83, 0x00000001, 0x80000005, 0x55555574,
    595   0xffffffe0, 0x80000001, 0x00000004, 0xaaaaaaca,
    596   0x80000000, 0x00000003, 0xaaaaaaac, 0x00000020,
    597   0x00000000, 0x80000002, 0x00000002, 0x33333354,
    598   0x80000000, 0x00000001, 0x55555558, 0x66666688,
    599   0x00000000, 0x80000000, 0xaaaaaaae, 0x666666a0,
    600   0x80000000, 0xffffffff, 0xaaaaaac2, 0x00000084,
    601   0x00000000, 0xffffffe1, 0xaaaaab00, 0x333333b8,
    602   0x00000000, 0x7fffff84, 0x00000056, 0x666666ec,
    603   0x80000000, 0xffffff83, 0x555555ac, 0x00006684,
    604   0x00000000, 0x7fffff82, 0xaaab0000, 0x333399b8,
    605   0x80000000, 0x7fff8004, 0x00005556, 0x6666ccec,
    606   0x80000000, 0xffff8003, 0x5555aaac, 0xf5c28f7c,
    607   0x00000000, 0x7fff8002, 0x22222224, 0x44444464,
    608   0x80000000, 0x4cccccce, 0x8e38e390, 0x66666684,
    609   0x80000000, 0x2aaaaaac, 0x00000000, 0x999999b8,
    610   0x80000000, 0x00000004, 0x55555556, 0xccccccec,
    611   0x80000000, 0x80000003, 0xaaaaaaac, 0x00000020,
    612   0x00000000, 0x00000002, 0x00000002, 0x33333354,
    613   0x80000000, 0x80000001, 0x55555558, 0x888888a8,
    614   0x00000000, 0x00000000, 0x1c71c71e, 0xd70a3d90,
    615   0x80000000, 0x55555557, 0x8888888a, 0x66660020,
    616   0x00000000, 0x33333335, 0x55550002, 0x99993354,
    617   0x00000000, 0x00008001, 0xaaaa5558, 0xcccc6688,
    618   0x00000000, 0x80008000, 0xffffaaae, 0xffff99bc,
    619   0x80000000, 0x00007fff, 0x55550004, 0x66666620,
    620   0x00000000, 0x80007ffe, 0x55555502, 0x99999954,
    621   0x80000000, 0x00000081, 0xaaaaaa58, 0xcccccc88,
    622   0x00000000, 0x80000080, 0xffffffae, 0xffffffbc,
    623   0x80000000, 0x0000007f, 0x55555504, 0x999999a0,
    624   0x00000000, 0x8000007e, 0x55555542, 0x66666684,
    625   0x80000000, 0x00000021, 0x00000000, 0x999999b8,
    626   0x00000000, 0x80000004, 0x55555556, 0xccccccec,
    627   0x80000003, 0x55555555, 0xccccccce, 0x00000020,
    628   0x00000002, 0xaaaaaaab, 0x00000002, 0x00008020,
    629   0x80000001, 0x00000001, 0x33333336, 0x00010020,
    630   0x00000000, 0x55555557, 0x6666666a, 0x00100020,
    631   0x7fffffff, 0xaaaaaaad, 0x66666682, 0x003e8020,
    632   0xfffffffe, 0xaaaaaac1, 0x00000066, 0x003f0020,
    633   0xffffffe0, 0xaaaaaaff, 0x3333339a, 0x003f8020,
    634   0x7fffff83, 0x00000055, 0x666666ce, 0x3ffe8020,
    635   0xffffff82, 0x555555ab, 0x00006666, 0x3fff0020,
    636   0x7fffff81, 0xaaaaffff, 0x3333999a, 0x3fff8020,
    637   0x7fff8003, 0x00005555, 0x6666ccce, 0x99998020,
    638   0xffff8002, 0x5555aaab, 0xf5c28f5e, 0xaaaa8020,
    639   0x7fff8001, 0x22222223, 0x44444446, 0xfffe8020,
    640   0x4ccccccd, 0x8e38e38f, 0x66666666, 0xffff0020,
    641   0x2aaaaaab, 0xffffffff, 0x9999999a, 0xffff8020,
    642   0x00000003, 0x55555555, 0xccccccce, 0x00000020,
    643   0x80000002, 0xaaaaaaab, 0x00000002, 0x00008020,
    644   0x00000001, 0x00000001, 0x33333336, 0x55550020,
    645   0x80000000, 0x55555557, 0x8888888a, 0x66660020,
    646   0xffffffff, 0x1c71c71d, 0xd70a3d72, 0xc0000020,
    647   0x55555556, 0x88888889, 0x66660002, 0xc0008020,
    648   0x33333334, 0x55550001, 0x99993336, 0xc0010020,
    649   0x00008000, 0xaaaa5557, 0xcccc666a, 0xc0018020,
    650   0x80007fff, 0xffffaaad, 0xffff999e, 0xffc00020,
    651   0x00007ffe, 0x55550003, 0x66666602, 0xffc08020,
    652   0x80007ffd, 0x55555501, 0x99999936, 0xffc10020,
    653   0x00000080, 0xaaaaaa57, 0xcccccc6a, 0xffc18020,
    654   0x8000007f, 0xffffffad, 0xffffff9e, 0xfff00020,
    655   0x0000007e, 0x55555503, 0x99999982, 0xfffe8020,
    656   0x8000007d, 0x55555541, 0x66666666, 0xffff0020,
    657   0x00000020, 0xffffffff, 0x9999999a, 0xffff8020,
    658   0xfffffffe, 0x99999999, 0xffff8002, 0x00000020,
    659   0x55555554, 0xcccccccd, 0x00000002, 0x0000801f,
    660   0xaaaaaaaa, 0x00000001, 0x00008002, 0x0001001e,
    661   0x00000000, 0x33333335, 0x00010002, 0x00100000,
    662   0x55555556, 0x66666669, 0x00100002, 0x003e7fa3,
    663   0xaaaaaaac, 0x66666681, 0x003e8002, 0x003effa2,
    664   0xaaaaaac0, 0x00000065, 0x003f0002, 0x003f7fa1,
    665   0xaaaaaafe, 0x33333399, 0x003f8002, 0x3ffe0023,
    666   0x00000054, 0x666666cd, 0x3ffe8002, 0x3ffe8022,
    667   0x555555aa, 0x00006665, 0x3fff0002, 0x3fff0021,
    668   0xaaaafffe, 0x33339999, 0x3fff8002, 0x66664ced,
    669   0x00005554, 0x6666cccd, 0x99998002, 0x55552acb,
    670   0x5555aaaa, 0xf5c28f5d, 0xaaaa8002, 0x7ffe8023,
    671   0x22222222, 0x44444445, 0xfffe8002, 0x7fff0022,
    672   0x8e38e38e, 0x66666665, 0xffff0002, 0x7fff8021,
    673   0xfffffffe, 0x99999999, 0xffff8002, 0x80000020,
    674   0x55555554, 0xcccccccd, 0x00000002, 0x8000801f,
    675   0xaaaaaaaa, 0x00000001, 0x00008002, 0xaaaa5576,
    676   0x00000000, 0x33333335, 0x55550002, 0x99993354,
    677   0x55555556, 0x88888889, 0x66660002, 0xc0008020,
    678   0x1c71c71c, 0xd70a3d71, 0xc0000002, 0xc001001f,
    679   0x88888888, 0x66660001, 0xc0008002, 0xc001801e,
    680   0x55550000, 0x99993335, 0xc0010002, 0xc002001d,
    681   0xaaaa5556, 0xcccc6669, 0xc0018002, 0xffc000a0,
    682   0xffffaaac, 0xffff999d, 0xffc00002, 0xffc0809f,
    683   0x55550002, 0x66666601, 0xffc08002, 0xffc1009e,
    684   0x55555500, 0x99999935, 0xffc10002, 0xffc1809d,
    685   0xaaaaaa56, 0xcccccc69, 0xffc18002, 0xfff00040,
    686   0xffffffac, 0xffffff9d, 0xfff00002, 0xfffe8023,
    687   0x55555502, 0x99999981, 0xfffe8002, 0xffff0022,
    688   0x55555540, 0x66666665, 0xffff0002, 0xffff8021,
    689   0x66666664, 0xffff0001, 0xffff8003, 0x00000020,
    690   0x99999998, 0xffff8001, 0x00000002, 0x0000801e,
    691   0xcccccccc, 0x00000001, 0x00008001, 0x0001001c,
    692   0x00000000, 0x00008001, 0x00010000, 0x000fffe0,
    693   0x33333334, 0x00010001, 0x000fffe2, 0x003e7f26,
    694   0x66666668, 0x00100001, 0x003e7f85, 0x003eff24,
    695   0x66666680, 0x003e8001, 0x003eff84, 0x003f7f22,
    696   0x00000064, 0x003f0001, 0x003f7f83, 0x3ffd8026,
    697   0x33333398, 0x003f8001, 0x3ffe0005, 0x3ffe0024,
    698   0x666666cc, 0x3ffe8001, 0x3ffe8004, 0x3ffe8022,
    699   0x00006664, 0x3fff0001, 0x3fff0003, 0x333319ba,
    700   0x33339998, 0x3fff8001, 0x66664ccf, 0xffffd576,
    701   0x6666cccc, 0x99998001, 0x55552aad, 0xfffe8026,
    702   0xf5c28f5c, 0xaaaa8001, 0x7ffe8005, 0xffff0024,
    703   0x44444444, 0xfffe8001, 0x7fff0004, 0xffff8022,
    704   0x66666664, 0xffff0001, 0x7fff8003, 0x00000020,
    705   0x99999998, 0xffff8001, 0x80000002, 0x0000801e,
    706   0xcccccccc, 0x00000001, 0x80008001, 0xffffaacc,
    707   0x00000000, 0x00008001, 0xaaaa5558, 0xcccc6688,
    708   0x33333334, 0x55550001, 0x99993336, 0xc0010020,
    709   0x88888888, 0x66660001, 0xc0008002, 0xc001801e,
    710   0xd70a3d70, 0xc0000001, 0xc0010001, 0xc002001c,
    711   0x66660000, 0xc0008001, 0xc0018000, 0xc002801a,
    712   0x99993334, 0xc0010001, 0xc001ffff, 0xffc00120,
    713   0xcccc6668, 0xc0018001, 0xffc00082, 0xffc0811e,
    714   0xffff999c, 0xffc00001, 0xffc08081, 0xffc1011c,
    715   0x66666600, 0xffc08001, 0xffc10080, 0xffc1811a,
    716   0x99999934, 0xffc10001, 0xffc1807f, 0xfff00060,
    717   0xcccccc68, 0xffc18001, 0xfff00022, 0xfffe8026,
    718   0xffffff9c, 0xfff00001, 0xfffe8005, 0xffff0024,
    719   0x99999980, 0xfffe8001, 0xffff0004, 0xffff8022,
    720   0xfffe8000, 0xffff0003, 0xffff8004, 0x00000020,
    721   0xffff0000, 0xffff8002, 0x00000002, 0x0000801d,
    722   0xffff8000, 0x00000001, 0x00008000, 0x0001001a,
    723   0x00000000, 0x00008000, 0x0000fffe, 0x000fffc0,
    724   0x00008000, 0x0000ffff, 0x000fffc2, 0x003e7ea9,
    725   0x00010000, 0x000fffe1, 0x003e7f08, 0x003efea6,
    726   0x00100000, 0x003e7f84, 0x003eff06, 0x003f7ea3,
    727   0x003e8000, 0x003eff83, 0x003f7f04, 0x3ffd0029,
    728   0x003f0000, 0x003f7f82, 0x3ffd8008, 0x3ffd8026,
    729   0x003f8000, 0x3ffe0004, 0x3ffe0006, 0x3ffe0023,
    730   0x3ffe8000, 0x3ffe8003, 0x3ffe8004, 0xffffe687,
    731   0x3fff0000, 0x3fff0002, 0x3333199c, 0xaaaa8021,
    732   0x3fff8000, 0x66664cce, 0xffffd558, 0x7ffe8029,
    733   0x99998000, 0x55552aac, 0xfffe8008, 0x7fff0026,
    734   0xaaaa8000, 0x7ffe8004, 0xffff0006, 0x7fff8023,
    735   0xfffe8000, 0x7fff0003, 0xffff8004, 0x80000020,
    736   0xffff0000, 0x7fff8002, 0x00000002, 0x8000801d,
    737   0xffff8000, 0x80000001, 0x00008000, 0x55550022,
    738   0x00000000, 0x80008000, 0xffffaaae, 0xffff99bc,
    739   0x00008000, 0xaaaa5557, 0xcccc666a, 0xc0018020,
    740   0x55550000, 0x99993335, 0xc0010002, 0xc002001d,
    741   0x66660000, 0xc0008001, 0xc0018000, 0xc002801a,
    742   0xc0000000, 0xc0010000, 0xc001fffe, 0xc0030017,
    743   0xc0008000, 0xc0017fff, 0xc0027ffc, 0xffc001a0,
    744   0xc0010000, 0xc001fffe, 0xffc00102, 0xffc0819d,
    745   0xc0018000, 0xffc00081, 0xffc08100, 0xffc1019a,
    746   0xffc00000, 0xffc08080, 0xffc100fe, 0xffc18197,
    747   0xffc08000, 0xffc1007f, 0xffc180fc, 0xfff00080,
    748   0xffc10000, 0xffc1807e, 0xfff00042, 0xfffe8029,
    749   0xffc18000, 0xfff00021, 0xfffe8008, 0xffff0026,
    750   0xfff00000, 0xfffe8004, 0xffff0006, 0xffff8023,
    751   0xfffe8003, 0xffff0005, 0xffff8005, 0x00000020,
    752   0xffff0002, 0xffff8003, 0x00000002, 0x000000a0,
    753   0xffff8001, 0x00000001, 0x00007fff, 0x00000120,
    754   0x00000000, 0x00007fff, 0x0000fffc, 0x00001020,
    755   0x00007fff, 0x0000fffd, 0x000fffa2, 0x00003ea0,
    756   0x0000fffe, 0x000fffc1, 0x003e7e8b, 0x00003f20,
    757   0x000fffe0, 0x003e7f07, 0x003efe88, 0x00003fa0,
    758   0x003e7f83, 0x003eff05, 0x003f7e85, 0x003ffea0,
    759   0x003eff82, 0x003f7f03, 0x3ffd000b, 0x003fff20,
    760   0x003f7f81, 0x3ffd8007, 0x3ffd8008, 0x003fffa0,
    761   0x3ffe0003, 0x3ffe0005, 0x3ffe0005, 0x999999a0,
    762   0x3ffe8002, 0x3ffe8003, 0xffffe669, 0xaaaaaaa0,
    763   0x3fff0001, 0x3333199b, 0xaaaa8003, 0xfffffea0,
    764   0x66664ccd, 0xffffd557, 0x7ffe800b, 0xffffff20,
    765   0x55552aab, 0xfffe8007, 0x7fff0008, 0xffffffa0,
    766   0x7ffe8003, 0xffff0005, 0x7fff8005, 0x00000020,
    767   0x7fff0002, 0xffff8003, 0x80000002, 0x000000a0,
    768   0x7fff8001, 0x00000001, 0x80007fff, 0x55555520,
    769   0x80000000, 0x00007fff, 0x55550004, 0x66666620,
    770   0x80007fff, 0xffffaaad, 0xffff999e, 0xffc00020,
    771   0xaaaa5556, 0xcccc6669, 0xc0018002, 0xffc000a0,
    772   0x99993334, 0xc0010001, 0xc001ffff, 0xffc00120,
    773   0xc0008000, 0xc0017fff, 0xc0027ffc, 0xffc001a0,
    774   0xc000ffff, 0xc001fffd, 0xc002fff9, 0xffffc020,
    775   0xc0017ffe, 0xc0027ffb, 0xffc00182, 0xffffc0a0,
    776   0xc001fffd, 0xffc00101, 0xffc0817f, 0xffffc120,
    777   0xffc00080, 0xffc080ff, 0xffc1017c, 0xffffc1a0,
    778   0xffc0807f, 0xffc100fd, 0xffc18179, 0xfffff020,
    779   0xffc1007e, 0xffc180fb, 0xfff00062, 0xfffffea0,
    780   0xffc1807d, 0xfff00041, 0xfffe800b, 0xffffff20,
    781   0xfff00020, 0xfffe8007, 0xffff0008, 0xffffffa0,
    782   0xfffe8006, 0xffff0007, 0xffffff82, 0x00000020,
    783   0xffff0004, 0xffff8004, 0x00000002, 0x0000009f,
    784   0xffff8002, 0x00000001, 0x00000082, 0x0000011e,
    785   0x00000000, 0x00007ffe, 0x00000102, 0x00001000,
    786   0x00007ffe, 0x0000fffb, 0x00001002, 0x00003e23,
    787   0x0000fffc, 0x000fffa1, 0x00003e82, 0x00003ea2,
    788   0x000fffc0, 0x003e7e8a, 0x00003f02, 0x00003f21,
    789   0x003e7f06, 0x003efe87, 0x00003f82, 0x003f7ea3,
    790   0x003eff04, 0x003f7e84, 0x003ffe82, 0x003f7f22,
    791   0x003f7f02, 0x3ffd000a, 0x003fff02, 0x003f7fa1,
    792   0x3ffd8006, 0x3ffd8007, 0x003fff82, 0x6666666d,
    793   0x3ffe0004, 0x3ffe0004, 0x99999982, 0x5555554b,
    794   0x3ffe8002, 0xffffe668, 0xaaaaaa82, 0x7ffffea3,
    795   0x3333199a, 0xaaaa8002, 0xfffffe82, 0x7fffff22,
    796   0xffffd556, 0x7ffe800a, 0xffffff02, 0x7fffffa1,
    797   0xfffe8006, 0x7fff0007, 0xffffff82, 0x80000020,
    798   0xffff0004, 0x7fff8004, 0x00000002, 0x8000009f,
    799   0xffff8002, 0x80000001, 0x00000082, 0xaaaaaa76,
    800   0x00000000, 0x80007ffe, 0x55555502, 0x99999954,
    801   0x00007ffe, 0x55550003, 0x66666602, 0xffc08020,
    802   0xffffaaac, 0xffff999d, 0xffc00002, 0xffc0809f,
    803   0xcccc6668, 0xc0018001, 0xffc00082, 0xffc0811e,
    804   0xc0010000, 0xc001fffe, 0xffc00102, 0xffc0819d,
    805   0xc0017ffe, 0xc0027ffb, 0xffc00182, 0xffffc0a0,
    806   0xc001fffc, 0xc002fff8, 0xffffc002, 0xffffc11f,
    807   0xc0027ffa, 0xffc00181, 0xffffc082, 0xffffc19e,
    808   0xffc00100, 0xffc0817e, 0xffffc102, 0xffffc21d,
    809   0xffc080fe, 0xffc1017b, 0xffffc182, 0xfffff040,
    810   0xffc100fc, 0xffc18178, 0xfffff002, 0xfffffea3,
    811   0xffc180fa, 0xfff00061, 0xfffffe82, 0xffffff22,
    812   0xfff00040, 0xfffe800a, 0xffffff02, 0xffffffa1,
    813   0xfffe8009, 0xffffff01, 0xffffff83, 0x00000020,
    814   0xffff0006, 0xffffff81, 0x00000002, 0x0000009e,
    815   0xffff8003, 0x00000001, 0x00000081, 0x0000011c,
    816   0x00000000, 0x00000081, 0x00000100, 0x00000fe0,
    817   0x00007ffd, 0x00000101, 0x00000fe2, 0x00003da6,
    818   0x0000fffa, 0x00001001, 0x00003e05, 0x00003e24,
    819   0x000fffa0, 0x00003e81, 0x00003e84, 0x00003ea2,
    820   0x003e7e89, 0x00003f01, 0x00003f03, 0x003efea6,
    821   0x003efe86, 0x00003f81, 0x003f7e85, 0x003eff24,
    822   0x003f7e83, 0x003ffe81, 0x003f7f04, 0x003effa2,
    823   0x3ffd0009, 0x003fff01, 0x003f7f83, 0x3333333a,
    824   0x3ffd8006, 0x003fff81, 0x6666664f, 0xfffffff6,
    825   0x3ffe0003, 0x99999981, 0x5555552d, 0xfffffea6,
    826   0xffffe667, 0xaaaaaa81, 0x7ffffe85, 0xffffff24,
    827   0xaaaa8001, 0xfffffe81, 0x7fffff04, 0xffffffa2,
    828   0x7ffe8009, 0xffffff01, 0x7fffff83, 0x00000020,
    829   0x7fff0006, 0xffffff81, 0x80000002, 0x0000009e,
    830   0x7fff8003, 0x00000001, 0x80000081, 0xffffffcc,
    831   0x80000000, 0x00000081, 0xaaaaaa58, 0xcccccc88,
    832   0x80007ffd, 0x55555501, 0x99999936, 0xffc10020,
    833   0x55550002, 0x66666601, 0xffc08002, 0xffc1009e,
    834   0xffff999c, 0xffc00001, 0xffc08081, 0xffc1011c,
    835   0xc0018000, 0xffc00081, 0xffc08100, 0xffc1019a,
    836   0xc001fffd, 0xffc00101, 0xffc0817f, 0xffffc120,
    837   0xc0027ffa, 0xffc00181, 0xffffc082, 0xffffc19e,
    838   0xc002fff7, 0xffffc001, 0xffffc101, 0xffffc21c,
    839   0xffc00180, 0xffffc081, 0xffffc180, 0xffffc29a,
    840   0xffc0817d, 0xffffc101, 0xffffc1ff, 0xfffff060,
    841   0xffc1017a, 0xffffc181, 0xfffff022, 0xfffffea6,
    842   0xffc18177, 0xfffff001, 0xfffffe85, 0xffffff24,
    843   0xfff00060, 0xfffffe81, 0xffffff04, 0xffffffa2,
    844   0xfffffe80, 0xffffff03, 0xffffff84, 0x00000020,
    845   0xffffff00, 0xffffff82, 0x00000002, 0x0000009d,
    846   0xffffff80, 0x00000001, 0x00000080, 0x0000011a,
    847   0x00000000, 0x00000080, 0x000000fe, 0x00000fc0,
    848   0x00000080, 0x000000ff, 0x00000fc2, 0x00003d29,
    849   0x00000100, 0x00000fe1, 0x00003d88, 0x00003da6,
    850   0x00001000, 0x00003e04, 0x00003e06, 0x00003e23,
    851   0x00003e80, 0x00003e83, 0x00003e84, 0x003e7ea9,
    852   0x00003f00, 0x00003f02, 0x003efe88, 0x003e7f26,
    853   0x00003f80, 0x003f7e84, 0x003eff06, 0x003e7fa3,
    854   0x003ffe80, 0x003f7f03, 0x003eff84, 0x00000007,
    855   0x003fff00, 0x003f7f82, 0x3333331c, 0xaaaaaaa1,
    856   0x003fff80, 0x6666664e, 0xffffffd8, 0x7ffffea9,
    857   0x99999980, 0x5555552c, 0xfffffe88, 0x7fffff26,
    858   0xaaaaaa80, 0x7ffffe84, 0xffffff06, 0x7fffffa3,
    859   0xfffffe80, 0x7fffff03, 0xffffff84, 0x80000020,
    860   0xffffff00, 0x7fffff82, 0x00000002, 0x8000009d,
    861   0xffffff80, 0x80000001, 0x00000080, 0x55555522,
    862   0x00000000, 0x80000080, 0xffffffae, 0xffffffbc,
    863   0x00000080, 0xaaaaaa57, 0xcccccc6a, 0xffc18020,
    864   0x55555500, 0x99999935, 0xffc10002, 0xffc1809d,
    865   0x66666600, 0xffc08001, 0xffc10080, 0xffc1811a,
    866   0xffc00000, 0xffc08080, 0xffc100fe, 0xffc18197,
    867   0xffc00080, 0xffc080ff, 0xffc1017c, 0xffffc1a0,
    868   0xffc00100, 0xffc0817e, 0xffffc102, 0xffffc21d,
    869   0xffc00180, 0xffffc081, 0xffffc180, 0xffffc29a,
    870   0xffffc000, 0xffffc100, 0xffffc1fe, 0xffffc317,
    871   0xffffc080, 0xffffc17f, 0xffffc27c, 0xfffff080,
    872   0xffffc100, 0xffffc1fe, 0xfffff042, 0xfffffea9,
    873   0xffffc180, 0xfffff021, 0xfffffe88, 0xffffff26,
    874   0xfffff000, 0xfffffe84, 0xffffff06, 0xffffffa3,
    875   0xfffffe83, 0xffffff05, 0xffffff85, 0x00000020,
    876   0xffffff02, 0xffffff83, 0x00000002, 0x00000040,
    877   0xffffff81, 0x00000001, 0x0000007f, 0x00000060,
    878   0x00000000, 0x0000007f, 0x000000fc, 0x00000420,
    879   0x0000007f, 0x000000fd, 0x00000fa2, 0x00000fc0,
    880   0x000000fe, 0x00000fc1, 0x00003d0b, 0x00000fe0,
    881   0x00000fe0, 0x00003d87, 0x00003d88, 0x00001000,
    882   0x00003e03, 0x00003e05, 0x00003e05, 0x000fffc0,
    883   0x00003e82, 0x00003e83, 0x003e7e8b, 0x000fffe0,
    884   0x00003f01, 0x003efe87, 0x003e7f08, 0x00100000,
    885   0x003f7e83, 0x003eff05, 0x003e7f85, 0x66666680,
    886   0x003f7f02, 0x003eff83, 0xffffffe9, 0xaaaaaac0,
    887   0x003f7f81, 0x3333331b, 0xaaaaaa83, 0xffffffc0,
    888   0x6666664d, 0xffffffd7, 0x7ffffe8b, 0xffffffe0,
    889   0x5555552b, 0xfffffe87, 0x7fffff08, 0x00000000,
    890   0x7ffffe83, 0xffffff05, 0x7fffff85, 0x00000020,
    891   0x7fffff02, 0xffffff83, 0x80000002, 0x00000040,
    892   0x7fffff81, 0x00000001, 0x8000007f, 0x55555560,
    893   0x80000000, 0x0000007f, 0x55555504, 0x999999a0,
    894   0x8000007f, 0xffffffad, 0xffffff9e, 0xfff00020,
    895   0xaaaaaa56, 0xcccccc69, 0xffc18002, 0xfff00040,
    896   0x99999934, 0xffc10001, 0xffc1807f, 0xfff00060,
    897   0xffc08000, 0xffc1007f, 0xffc180fc, 0xfff00080,
    898   0xffc0807f, 0xffc100fd, 0xffc18179, 0xfffff020,
    899   0xffc080fe, 0xffc1017b, 0xffffc182, 0xfffff040,
    900   0xffc0817d, 0xffffc101, 0xffffc1ff, 0xfffff060,
    901   0xffffc080, 0xffffc17f, 0xffffc27c, 0xfffff080,
    902   0xffffc0ff, 0xffffc1fd, 0xffffc2f9, 0xfffffc20,
    903   0xffffc17e, 0xffffc27b, 0xfffff062, 0xffffffc0,
    904   0xffffc1fd, 0xfffff041, 0xfffffe8b, 0xffffffe0,
    905   0xfffff020, 0xfffffe87, 0xffffff08, 0x00000000,
    906   0xfffffe86, 0xffffff07, 0xffffffe2, 0x00000020,
    907   0xffffff04, 0xffffff84, 0x00000002, 0x00000023,
    908   0xffffff82, 0x00000001, 0x00000022, 0x00000026,
    909   0x00000000, 0x0000007e, 0x00000042, 0x00000080,
    910   0x0000007e, 0x000000fb, 0x00000402, 0x00000197,
    911   0x000000fc, 0x00000fa1, 0x00000fa2, 0x0000019a,
    912   0x00000fc0, 0x00003d0a, 0x00000fc2, 0x0000019d,
    913   0x00003d86, 0x00003d87, 0x00000fe2, 0x00018017,
    914   0x00003e04, 0x00003e04, 0x000fffa2, 0x0001801a,
    915   0x00003e82, 0x003e7e8a, 0x000fffc2, 0x0001801d,
    916   0x003efe86, 0x003e7f07, 0x000fffe2, 0x999999b9,
    917   0x003eff04, 0x003e7f84, 0x66666662, 0x0000001f,
    918   0x003eff82, 0xffffffe8, 0xaaaaaaa2, 0x80000017,
    919   0x3333331a, 0xaaaaaa82, 0xffffffa2, 0x8000001a,
    920   0xffffffd6, 0x7ffffe8a, 0xffffffc2, 0x8000001d,
    921   0xfffffe86, 0x7fffff07, 0xffffffe2, 0x80000020,
    922   0xffffff04, 0x7fffff84, 0x00000002, 0x80000023,
    923   0xffffff82, 0x80000001, 0x00000022, 0x0000001e,
    924   0x00000000, 0x8000007e, 0x55555542, 0x66666684,
    925   0x0000007e, 0x55555503, 0x99999982, 0xfffe8020,
    926   0xffffffac, 0xffffff9d, 0xfff00002, 0xfffe8023,
    927   0xcccccc68, 0xffc18001, 0xfff00022, 0xfffe8026,
    928   0xffc10000, 0xffc1807e, 0xfff00042, 0xfffe8029,
    929   0xffc1007e, 0xffc180fb, 0xfff00062, 0xfffffea0,
    930   0xffc100fc, 0xffc18178, 0xfffff002, 0xfffffea3,
    931   0xffc1017a, 0xffffc181, 0xfffff022, 0xfffffea6,
    932   0xffffc100, 0xffffc1fe, 0xfffff042, 0xfffffea9,
    933   0xffffc17e, 0xffffc27b, 0xfffff062, 0xffffffc0,
    934   0xffffc1fc, 0xffffc2f8, 0xfffffc02, 0x00000017,
    935   0xffffc27a, 0xfffff061, 0xffffffa2, 0x0000001a,
    936   0xfffff040, 0xfffffe8a, 0xffffffc2, 0x0000001d,
    937   0xfffffe89, 0xffffffc1, 0xffffffff, 0x00000020,
    938   0xffffff06, 0xffffffe1, 0x00000002, 0x00000022,
    939   0xffffff83, 0x00000001, 0x00000005, 0x00000024,
    940   0x00000000, 0x00000021, 0x00000008, 0x00000060,
    941   0x0000007d, 0x00000041, 0x00000062, 0x0000011a,
    942   0x000000fa, 0x00000401, 0x00000179, 0x0000011c,
    943   0x00000fa0, 0x00000fa1, 0x0000017c, 0x0000011e,
    944   0x00003d09, 0x00000fc1, 0x0000017f, 0x0001001a,
    945   0x00003d86, 0x00000fe1, 0x00017ff9, 0x0001001c,
    946   0x00003e03, 0x000fffa1, 0x00017ffc, 0x0001001e,
    947   0x003e7e89, 0x000fffc1, 0x00017fff, 0x66666686,
    948   0x003e7f06, 0x000fffe1, 0x9999999b, 0xaaaaaaca,
    949   0x003e7f83, 0x66666661, 0x00000001, 0x0000001a,
    950   0xffffffe7, 0xaaaaaaa1, 0x7ffffff9, 0x0000001c,
    951   0xaaaaaa81, 0xffffffa1, 0x7ffffffc, 0x0000001e,
    952   0x7ffffe89, 0xffffffc1, 0x7fffffff, 0x00000020,
    953   0x7fffff06, 0xffffffe1, 0x80000002, 0x00000022,
    954   0x7fffff83, 0x00000001, 0x80000005, 0x55555574,
    955   0x80000000, 0x00000021, 0x00000000, 0x999999b8,
    956   0x8000007d, 0x55555541, 0x66666666, 0xffff0020,
    957   0x55555502, 0x99999981, 0xfffe8002, 0xffff0022,
    958   0xffffff9c, 0xfff00001, 0xfffe8005, 0xffff0024,
    959   0xffc18000, 0xfff00021, 0xfffe8008, 0xffff0026,
    960   0xffc1807d, 0xfff00041, 0xfffe800b, 0xffffff20,
    961   0xffc180fa, 0xfff00061, 0xfffffe82, 0xffffff22,
    962   0xffc18177, 0xfffff001, 0xfffffe85, 0xffffff24,
    963   0xffffc180, 0xfffff021, 0xfffffe88, 0xffffff26,
    964   0xffffc1fd, 0xfffff041, 0xfffffe8b, 0xffffffe0,
    965   0xffffc27a, 0xfffff061, 0xffffffa2, 0x0000001a,
    966   0xffffc2f7, 0xfffffc01, 0xfffffff9, 0x0000001c,
    967   0xfffff060, 0xffffffa1, 0xfffffffc, 0x0000001e,
    968   0xffffffa0, 0xfffffffb, 0x00000000, 0x00000020,
    969   0xffffffc0, 0xfffffffe, 0x00000002, 0x00000021,
    970   0xffffffe0, 0x00000001, 0x00000004, 0x00000022,
    971   0x00000000, 0x00000004, 0x00000006, 0x00000040,
    972   0x00000020, 0x00000007, 0x00000042, 0x0000009d,
    973   0x00000040, 0x00000061, 0x000000fc, 0x0000009e,
    974   0x00000400, 0x00000178, 0x000000fe, 0x0000009f,
    975   0x00000fa0, 0x0000017b, 0x00000100, 0x0000801d,
    976   0x00000fc0, 0x0000017e, 0x0000fffc, 0x0000801e,
    977   0x00000fe0, 0x00017ff8, 0x0000fffe, 0x0000801f,
    978   0x000fffa0, 0x00017ffb, 0x00010000, 0x33333353,
    979   0x000fffc0, 0x00017ffe, 0x66666668, 0x55555575,
    980   0x000fffe0, 0x9999999a, 0xaaaaaaac, 0x8000001d,
    981   0x66666660, 0x00000000, 0xfffffffc, 0x8000001e,
    982   0xaaaaaaa0, 0x7ffffff8, 0xfffffffe, 0x8000001f,
    983   0xffffffa0, 0x7ffffffb, 0x00000000, 0x80000020,
    984   0xffffffc0, 0x7ffffffe, 0x00000002, 0x80000021,
    985   0xffffffe0, 0x80000001, 0x00000004, 0xaaaaaaca,
    986   0x00000000, 0x80000004, 0x55555556, 0xccccccec,
    987   0x00000020, 0xffffffff, 0x9999999a, 0xffff8020,
    988   0x55555540, 0x66666665, 0xffff0002, 0xffff8021,
    989   0x99999980, 0xfffe8001, 0xffff0004, 0xffff8022,
    990   0xfff00000, 0xfffe8004, 0xffff0006, 0xffff8023,
    991   0xfff00020, 0xfffe8007, 0xffff0008, 0xffffffa0,
    992   0xfff00040, 0xfffe800a, 0xffffff02, 0xffffffa1,
    993   0xfff00060, 0xfffffe81, 0xffffff04, 0xffffffa2,
    994   0xfffff000, 0xfffffe84, 0xffffff06, 0xffffffa3,
    995   0xfffff020, 0xfffffe87, 0xffffff08, 0x00000000,
    996   0xfffff040, 0xfffffe8a, 0xffffffc2, 0x0000001d,
    997   0xfffff060, 0xffffffa1, 0xfffffffc, 0x0000001e,
    998   0xfffffc00, 0xfffffff8, 0xfffffffe, 0x0000001f,
    999 };
   1000 const unsigned kExpectedCount_NEON_mls_4S = 961;
   1001 
   1002 #endif  // VIXL_SIM_MLS_4S_TRACE_A64_H_
   1003