Home | History | Annotate | Download | only in traces
      1 // Copyright 2015, VIXL authors
      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_USUBL_4S_TRACE_AARCH64_H_
     35 #define VIXL_SIM_USUBL_4S_TRACE_AARCH64_H_
     36 
     37 const uint32_t kExpected_NEON_usubl_4S[] = {
     38   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     39   0xffffffff, 0xffffcd4c, 0xffffddde, 0xffffd558,
     40   0xffffcd4b, 0xffffab2a, 0xffffb336, 0xffffd557,
     41   0xffffab29, 0xffff8082, 0xffffb335, 0xffffd556,
     42   0xffff8081, 0xffff8081, 0xffffb334, 0x00005555,
     43   0xffff8080, 0xffff8080, 0x00003333, 0x00005554,
     44   0xffff807f, 0x0000007f, 0x00003332, 0x00005553,
     45   0x0000007e, 0x0000007e, 0x00003331, 0x00005545,
     46   0x0000007d, 0x0000007d, 0x00003323, 0x000054d8,
     47   0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7,
     48   0x0000006e, 0x00000002, 0x000032b5, 0x000054d6,
     49   0x00000001, 0x00000001, 0x000032b4, 0x00002222,
     50   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     51   0xffffffff, 0xffffcd4c, 0xffffddde, 0xffffd558,
     52   0xffffcd4b, 0xffffab2a, 0xffffb336, 0xffffd557,
     53   0xffffab29, 0xffff8082, 0xffffb335, 0xffffd556,
     54   0xffff8081, 0xffff8081, 0xffffb334, 0xffffd555,
     55   0xffff8080, 0xffff8080, 0xffffb333, 0xffffd554,
     56   0xffff807f, 0xffff807f, 0xffffb332, 0xffffaaab,
     57   0xffff807e, 0xffff807e, 0xffff8889, 0xffff8889,
     58   0xffff807d, 0xffff55d5, 0xffff6667, 0xffff55d5,
     59   0xffff55d4, 0xffff33b3, 0xffff33b3, 0xffff55d4,
     60   0xffff33b2, 0xffff00ff, 0xffff33b2, 0xffff55d3,
     61   0xffff00fe, 0xffff00fe, 0xffff33b1, 0xffff55d2,
     62   0xffff00fe, 0xffff33b1, 0xffff55d2, 0xffff800d,
     63   0xffff00fd, 0xffff33b0, 0xffff5565, 0xffff8000,
     64   0xffff00fc, 0xffff3343, 0xffff5558, 0xffff7fff,
     65   0xffff008f, 0xffff3336, 0xffff5557, 0xffff7ffe,
     66   0xffff0082, 0xffff3335, 0xffff5556, 0x00007ffd,
     67   0xffff0081, 0xffff3334, 0x00005555, 0x00007ffc,
     68   0xffff0080, 0x00003333, 0x00005554, 0x00007ffb,
     69   0x0000007f, 0x00003332, 0x00005553, 0x00007fed,
     70   0x0000007e, 0x00003331, 0x00005545, 0x00007f80,
     71   0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f,
     72   0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e,
     73   0x00000002, 0x000032b5, 0x000054d6, 0x00004cca,
     74   0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
     75   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     76   0xffffcd4c, 0xffffddde, 0xffffd558, 0xffffffff,
     77   0xffffab2a, 0xffffb336, 0xffffd557, 0xfffffffe,
     78   0xffff8082, 0xffffb335, 0xffffd556, 0xfffffffd,
     79   0xffff8081, 0xffffb334, 0xffffd555, 0xfffffffc,
     80   0xffff8080, 0xffffb333, 0xffffd554, 0xffffd553,
     81   0xffff807f, 0xffffb332, 0xffffaaab, 0xffffb331,
     82   0xffff807e, 0xffff8889, 0xffff8889, 0xffff807d,
     83   0xffff55d5, 0xffff6667, 0xffff55d5, 0xffff807c,
     84   0xffff33b3, 0xffff33b3, 0xffff55d4, 0xffff807b,
     85   0xffff00ff, 0xffff33b2, 0xffff55d3, 0xffff807a,
     86   0xffff33b2, 0xffff55d3, 0xffff807a, 0xffff800e,
     87   0xffff33b1, 0xffff55d2, 0xffff800d, 0xffff8001,
     88   0xffff33b0, 0xffff5565, 0xffff8000, 0xffff8000,
     89   0xffff3343, 0xffff5558, 0xffff7fff, 0xffff7fff,
     90   0xffff3336, 0xffff5557, 0xffff7ffe, 0x00007ffe,
     91   0xffff3335, 0xffff5556, 0x00007ffd, 0x00007ffd,
     92   0xffff3334, 0x00005555, 0x00007ffc, 0x00007ffc,
     93   0x00003333, 0x00005554, 0x00007ffb, 0x00007fee,
     94   0x00003332, 0x00005553, 0x00007fed, 0x00007f81,
     95   0x00003331, 0x00005545, 0x00007f80, 0x00007f80,
     96   0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f,
     97   0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb,
     98   0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
     99   0x000032b4, 0x00002222, 0x00002aa8, 0x00000001,
    100   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    101   0xffffddde, 0xffffd558, 0xffffffff, 0xffffffff,
    102   0xffffb336, 0xffffd557, 0xfffffffe, 0xfffffffe,
    103   0xffffb335, 0xffffd556, 0xfffffffd, 0xfffffffd,
    104   0xffffb334, 0xffffd555, 0xfffffffc, 0xffffd554,
    105   0xffffb333, 0xffffd554, 0xffffd553, 0xffffb332,
    106   0xffffb332, 0xffffaaab, 0xffffb331, 0xffff807e,
    107   0xffff8889, 0xffff8889, 0xffff807d, 0xffff807d,
    108   0xffff6667, 0xffff55d5, 0xffff807c, 0xffff807c,
    109   0xffff33b3, 0xffff55d4, 0xffff807b, 0xffff807b,
    110   0xffff55d4, 0xffff807b, 0xffff807b, 0xffff800f,
    111   0xffff55d3, 0xffff807a, 0xffff800e, 0xffff8002,
    112   0xffff55d2, 0xffff800d, 0xffff8001, 0xffff8001,
    113   0xffff5565, 0xffff8000, 0xffff8000, 0xffff8000,
    114   0xffff5558, 0xffff7fff, 0xffff7fff, 0x00007fff,
    115   0xffff5557, 0xffff7ffe, 0x00007ffe, 0x00007ffe,
    116   0xffff5556, 0x00007ffd, 0x00007ffd, 0x00007ffd,
    117   0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef,
    118   0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82,
    119   0x00005553, 0x00007fed, 0x00007f81, 0x00007f81,
    120   0x00005545, 0x00007f80, 0x00007f80, 0x00007f80,
    121   0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc,
    122   0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
    123   0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002,
    124   0x00002222, 0x00002aa8, 0x00000001, 0x00000001,
    125   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    126   0xffffd558, 0xffffffff, 0xffffffff, 0xffffffff,
    127   0xffffd557, 0xfffffffe, 0xfffffffe, 0xfffffffe,
    128   0xffffd556, 0xfffffffd, 0xfffffffd, 0xffffd555,
    129   0xffffd555, 0xfffffffc, 0xffffd554, 0xffffb333,
    130   0xffffd554, 0xffffd553, 0xffffb332, 0xffff807f,
    131   0xffffaaab, 0xffffb331, 0xffff807e, 0xffff807e,
    132   0xffff8889, 0xffff807d, 0xffff807d, 0xffff807d,
    133   0xffff55d5, 0xffff807c, 0xffff807c, 0xffff807c,
    134   0xffff807c, 0xffff807c, 0xffff807c, 0xffff0010,
    135   0xffff807b, 0xffff807b, 0xffff800f, 0xffff0003,
    136   0xffff807a, 0xffff800e, 0xffff8002, 0xffff0002,
    137   0xffff800d, 0xffff8001, 0xffff8001, 0xffff0001,
    138   0xffff8000, 0xffff8000, 0xffff8000, 0x00000000,
    139   0xffff7fff, 0xffff7fff, 0x00007fff, 0xffffffff,
    140   0xffff7ffe, 0x00007ffe, 0x00007ffe, 0xfffffffe,
    141   0x00007ffd, 0x00007ffd, 0x00007ffd, 0xfffffff0,
    142   0x00007ffc, 0x00007ffc, 0x00007fef, 0xffffff83,
    143   0x00007ffb, 0x00007fee, 0x00007f82, 0xffffff82,
    144   0x00007fed, 0x00007f81, 0x00007f81, 0xffffff81,
    145   0x00007f80, 0x00007f80, 0x00007f80, 0xffffcccd,
    146   0x00007f7f, 0x00007f7f, 0x00004ccc, 0xffffaaab,
    147   0x00007f7e, 0x00004ccb, 0x00002aaa, 0xffff8003,
    148   0x00004cca, 0x00002aa9, 0x00000002, 0xffff8002,
    149   0x00002aa8, 0x00000001, 0x00000001, 0xffff8001,
    150   0x00000000, 0x00000000, 0x00000000, 0xffff8000,
    151   0xffffffff, 0xffffffff, 0xffffffff, 0xffff7fff,
    152   0xfffffffe, 0xfffffffe, 0xfffffffe, 0xffff5556,
    153   0xfffffffd, 0xfffffffd, 0xffffd555, 0xffff3334,
    154   0xfffffffc, 0xffffd554, 0xffffb333, 0xffff0080,
    155   0xffffd553, 0xffffb332, 0xffff807f, 0xffff007f,
    156   0xffffb331, 0xffff807e, 0xffff807e, 0xffff007e,
    157   0xffff807d, 0xffff807d, 0xffff807d, 0xffff007d,
    158   0xffff807d, 0xffff807d, 0xffff007d, 0xffff0011,
    159   0xffff807c, 0xffff807c, 0xffff0010, 0xffff0004,
    160   0xffff807b, 0xffff800f, 0xffff0003, 0xffff0003,
    161   0xffff800e, 0xffff8002, 0xffff0002, 0xffff0002,
    162   0xffff8001, 0xffff8001, 0xffff0001, 0x00000001,
    163   0xffff8000, 0xffff8000, 0x00000000, 0x00000000,
    164   0xffff7fff, 0x00007fff, 0xffffffff, 0xffffffff,
    165   0x00007ffe, 0x00007ffe, 0xfffffffe, 0xfffffff1,
    166   0x00007ffd, 0x00007ffd, 0xfffffff0, 0xffffff84,
    167   0x00007ffc, 0x00007fef, 0xffffff83, 0xffffff83,
    168   0x00007fee, 0x00007f82, 0xffffff82, 0xffffff82,
    169   0x00007f81, 0x00007f81, 0xffffff81, 0xffffccce,
    170   0x00007f80, 0x00007f80, 0xffffcccd, 0xffffaaac,
    171   0x00007f7f, 0x00004ccc, 0xffffaaab, 0xffff8004,
    172   0x00004ccb, 0x00002aaa, 0xffff8003, 0xffff8003,
    173   0x00002aa9, 0x00000002, 0xffff8002, 0xffff8002,
    174   0x00000001, 0x00000001, 0xffff8001, 0xffff8001,
    175   0x00000000, 0x00000000, 0xffff8000, 0xffff8000,
    176   0xffffffff, 0xffffffff, 0xffff7fff, 0xffff5557,
    177   0xfffffffe, 0xfffffffe, 0xffff5556, 0xffff3335,
    178   0xfffffffd, 0xffffd555, 0xffff3334, 0xffff0081,
    179   0xffffd554, 0xffffb333, 0xffff0080, 0xffff0080,
    180   0xffffb332, 0xffff807f, 0xffff007f, 0xffff007f,
    181   0xffff807e, 0xffff807e, 0xffff007e, 0xffff007e,
    182   0xffff807e, 0xffff007e, 0xffff007e, 0xffff0012,
    183   0xffff807d, 0xffff007d, 0xffff0011, 0xffff0005,
    184   0xffff807c, 0xffff0010, 0xffff0004, 0xffff0004,
    185   0xffff800f, 0xffff0003, 0xffff0003, 0xffff0003,
    186   0xffff8002, 0xffff0002, 0xffff0002, 0x00000002,
    187   0xffff8001, 0xffff0001, 0x00000001, 0x00000001,
    188   0xffff8000, 0x00000000, 0x00000000, 0x00000000,
    189   0x00007fff, 0xffffffff, 0xffffffff, 0xfffffff2,
    190   0x00007ffe, 0xfffffffe, 0xfffffff1, 0xffffff85,
    191   0x00007ffd, 0xfffffff0, 0xffffff84, 0xffffff84,
    192   0x00007fef, 0xffffff83, 0xffffff83, 0xffffff83,
    193   0x00007f82, 0xffffff82, 0xffffff82, 0xffffcccf,
    194   0x00007f81, 0xffffff81, 0xffffccce, 0xffffaaad,
    195   0x00007f80, 0xffffcccd, 0xffffaaac, 0xffff8005,
    196   0x00004ccc, 0xffffaaab, 0xffff8004, 0xffff8004,
    197   0x00002aaa, 0xffff8003, 0xffff8003, 0xffff8003,
    198   0x00000002, 0xffff8002, 0xffff8002, 0xffff8002,
    199   0x00000001, 0xffff8001, 0xffff8001, 0xffff8001,
    200   0x00000000, 0xffff8000, 0xffff8000, 0xffff5558,
    201   0xffffffff, 0xffff7fff, 0xffff5557, 0xffff3336,
    202   0xfffffffe, 0xffff5556, 0xffff3335, 0xffff0082,
    203   0xffffd555, 0xffff3334, 0xffff0081, 0xffff0081,
    204   0xffffb333, 0xffff0080, 0xffff0080, 0xffff0080,
    205   0xffff807f, 0xffff007f, 0xffff007f, 0xffff007f,
    206   0xffff007f, 0xffff007f, 0xffff007f, 0xffff0020,
    207   0xffff007e, 0xffff007e, 0xffff0012, 0xffff0013,
    208   0xffff007d, 0xffff0011, 0xffff0005, 0xffff0012,
    209   0xffff0010, 0xffff0004, 0xffff0004, 0xffff0011,
    210   0xffff0003, 0xffff0003, 0xffff0003, 0x00000010,
    211   0xffff0002, 0xffff0002, 0x00000002, 0x0000000f,
    212   0xffff0001, 0x00000001, 0x00000001, 0x0000000e,
    213   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    214   0xffffffff, 0xffffffff, 0xfffffff2, 0xffffff93,
    215   0xfffffffe, 0xfffffff1, 0xffffff85, 0xffffff92,
    216   0xfffffff0, 0xffffff84, 0xffffff84, 0xffffff91,
    217   0xffffff83, 0xffffff83, 0xffffff83, 0xffffccdd,
    218   0xffffff82, 0xffffff82, 0xffffcccf, 0xffffaabb,
    219   0xffffff81, 0xffffccce, 0xffffaaad, 0xffff8013,
    220   0xffffcccd, 0xffffaaac, 0xffff8005, 0xffff8012,
    221   0xffffaaab, 0xffff8004, 0xffff8004, 0xffff8011,
    222   0xffff8003, 0xffff8003, 0xffff8003, 0xffff8010,
    223   0xffff8002, 0xffff8002, 0xffff8002, 0xffff800f,
    224   0xffff8001, 0xffff8001, 0xffff8001, 0xffff5566,
    225   0xffff8000, 0xffff8000, 0xffff5558, 0xffff3344,
    226   0xffff7fff, 0xffff5557, 0xffff3336, 0xffff0090,
    227   0xffff5556, 0xffff3335, 0xffff0082, 0xffff008f,
    228   0xffff3334, 0xffff0081, 0xffff0081, 0xffff008e,
    229   0xffff0080, 0xffff0080, 0xffff0080, 0xffff008d,
    230   0xffff0080, 0xffff0080, 0xffff008d, 0xffff008d,
    231   0xffff007f, 0xffff007f, 0xffff0020, 0xffff0080,
    232   0xffff007e, 0xffff0012, 0xffff0013, 0xffff007f,
    233   0xffff0011, 0xffff0005, 0xffff0012, 0xffff007e,
    234   0xffff0004, 0xffff0004, 0xffff0011, 0x0000007d,
    235   0xffff0003, 0xffff0003, 0x00000010, 0x0000007c,
    236   0xffff0002, 0x00000002, 0x0000000f, 0x0000007b,
    237   0x00000001, 0x00000001, 0x0000000e, 0x0000006d,
    238   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    239   0xffffffff, 0xfffffff2, 0xffffff93, 0xffffffff,
    240   0xfffffff1, 0xffffff85, 0xffffff92, 0xfffffffe,
    241   0xffffff84, 0xffffff84, 0xffffff91, 0xffffcd4a,
    242   0xffffff83, 0xffffff83, 0xffffccdd, 0xffffab28,
    243   0xffffff82, 0xffffcccf, 0xffffaabb, 0xffff8080,
    244   0xffffccce, 0xffffaaad, 0xffff8013, 0xffff807f,
    245   0xffffaaac, 0xffff8005, 0xffff8012, 0xffff807e,
    246   0xffff8004, 0xffff8004, 0xffff8011, 0xffff807d,
    247   0xffff8003, 0xffff8003, 0xffff8010, 0xffff807c,
    248   0xffff8002, 0xffff8002, 0xffff800f, 0xffff55d3,
    249   0xffff8001, 0xffff8001, 0xffff5566, 0xffff33b1,
    250   0xffff8000, 0xffff5558, 0xffff3344, 0xffff00fd,
    251   0xffff5557, 0xffff3336, 0xffff0090, 0xffff00fc,
    252   0xffff3335, 0xffff0082, 0xffff008f, 0xffff00fb,
    253   0xffff0081, 0xffff0081, 0xffff008e, 0xffff00fa,
    254   0xffff0081, 0xffff008e, 0xffff00fa, 0xffff008e,
    255   0xffff0080, 0xffff008d, 0xffff008d, 0xffff0081,
    256   0xffff007f, 0xffff0020, 0xffff0080, 0xffff0080,
    257   0xffff0012, 0xffff0013, 0xffff007f, 0xffff007f,
    258   0xffff0005, 0xffff0012, 0xffff007e, 0x0000007e,
    259   0xffff0004, 0xffff0011, 0x0000007d, 0x0000007d,
    260   0xffff0003, 0x00000010, 0x0000007c, 0x0000007c,
    261   0x00000002, 0x0000000f, 0x0000007b, 0x0000006e,
    262   0x00000001, 0x0000000e, 0x0000006d, 0x00000001,
    263   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    264   0xfffffff2, 0xffffff93, 0xffffffff, 0xffffffff,
    265   0xffffff85, 0xffffff92, 0xfffffffe, 0xffffcd4b,
    266   0xffffff84, 0xffffff91, 0xffffcd4a, 0xffffab29,
    267   0xffffff83, 0xffffccdd, 0xffffab28, 0xffff8081,
    268   0xffffcccf, 0xffffaabb, 0xffff8080, 0xffff8080,
    269   0xffffaaad, 0xffff8013, 0xffff807f, 0xffff807f,
    270   0xffff8005, 0xffff8012, 0xffff807e, 0xffff807e,
    271   0xffff8004, 0xffff8011, 0xffff807d, 0xffff807d,
    272   0xffff8003, 0xffff8010, 0xffff807c, 0xffff55d4,
    273   0xffff8002, 0xffff800f, 0xffff55d3, 0xffff33b2,
    274   0xffff8001, 0xffff5566, 0xffff33b1, 0xffff00fe,
    275   0xffff5558, 0xffff3344, 0xffff00fd, 0xffff00fd,
    276   0xffff3336, 0xffff0090, 0xffff00fc, 0xffff00fc,
    277   0xffff0082, 0xffff008f, 0xffff00fb, 0xffff00fb,
    278   0xffff008f, 0xffff00fb, 0xffff00fb, 0xffff008f,
    279   0xffff008e, 0xffff00fa, 0xffff008e, 0xffff0082,
    280   0xffff008d, 0xffff008d, 0xffff0081, 0xffff0081,
    281   0xffff0020, 0xffff0080, 0xffff0080, 0xffff0080,
    282   0xffff0013, 0xffff007f, 0xffff007f, 0x0000007f,
    283   0xffff0012, 0xffff007e, 0x0000007e, 0x0000007e,
    284   0xffff0011, 0x0000007d, 0x0000007d, 0x0000007d,
    285   0x00000010, 0x0000007c, 0x0000007c, 0x0000006f,
    286   0x0000000f, 0x0000007b, 0x0000006e, 0x00000002,
    287   0x0000000e, 0x0000006d, 0x00000001, 0x00000001,
    288   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    289   0xffffff93, 0xffffffff, 0xffffffff, 0xffffcd4c,
    290   0xffffff92, 0xfffffffe, 0xffffcd4b, 0xffffab2a,
    291   0xffffff91, 0xffffcd4a, 0xffffab29, 0xffff8082,
    292   0xffffccdd, 0xffffab28, 0xffff8081, 0xffff8081,
    293   0xffffaabb, 0xffff8080, 0xffff8080, 0xffff8080,
    294   0xffff8013, 0xffff807f, 0xffff807f, 0xffff807f,
    295   0xffff8012, 0xffff807e, 0xffff807e, 0xffff807e,
    296   0xffff8011, 0xffff807d, 0xffff807d, 0xffff55d5,
    297   0xffff8010, 0xffff807c, 0xffff55d4, 0xffff33b3,
    298   0xffff800f, 0xffff55d3, 0xffff33b2, 0xffff00ff,
    299   0xffff5566, 0xffff33b1, 0xffff00fe, 0xffff00fe,
    300   0xffff3344, 0xffff00fd, 0xffff00fd, 0xffff00fd,
    301   0xffff0090, 0xffff00fc, 0xffff00fc, 0xffff00fc,
    302   0xffff00fc, 0xffff00fc, 0xffff00fc, 0xffff3343,
    303   0xffff00fb, 0xffff00fb, 0xffff008f, 0xffff3336,
    304   0xffff00fa, 0xffff008e, 0xffff0082, 0xffff3335,
    305   0xffff008d, 0xffff0081, 0xffff0081, 0xffff3334,
    306   0xffff0080, 0xffff0080, 0xffff0080, 0x00003333,
    307   0xffff007f, 0xffff007f, 0x0000007f, 0x00003332,
    308   0xffff007e, 0x0000007e, 0x0000007e, 0x00003331,
    309   0x0000007d, 0x0000007d, 0x0000007d, 0x00003323,
    310   0x0000007c, 0x0000007c, 0x0000006f, 0x000032b6,
    311   0x0000007b, 0x0000006e, 0x00000002, 0x000032b5,
    312   0x0000006d, 0x00000001, 0x00000001, 0x000032b4,
    313   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    314   0xffffffff, 0xffffffff, 0xffffcd4c, 0xffffddde,
    315   0xfffffffe, 0xffffcd4b, 0xffffab2a, 0xffffb336,
    316   0xffffcd4a, 0xffffab29, 0xffff8082, 0xffffb335,
    317   0xffffab28, 0xffff8081, 0xffff8081, 0xffffb334,
    318   0xffff8080, 0xffff8080, 0xffff8080, 0xffffb333,
    319   0xffff807f, 0xffff807f, 0xffff807f, 0xffffb332,
    320   0xffff807e, 0xffff807e, 0xffff807e, 0xffff8889,
    321   0xffff807d, 0xffff807d, 0xffff55d5, 0xffff6667,
    322   0xffff807c, 0xffff55d4, 0xffff33b3, 0xffff33b3,
    323   0xffff55d3, 0xffff33b2, 0xffff00ff, 0xffff33b2,
    324   0xffff33b1, 0xffff00fe, 0xffff00fe, 0xffff33b1,
    325   0xffff00fd, 0xffff00fd, 0xffff00fd, 0xffff33b0,
    326   0xffff00fd, 0xffff00fd, 0xffff33b0, 0xffff5565,
    327   0xffff00fc, 0xffff00fc, 0xffff3343, 0xffff5558,
    328   0xffff00fb, 0xffff008f, 0xffff3336, 0xffff5557,
    329   0xffff008e, 0xffff0082, 0xffff3335, 0xffff5556,
    330   0xffff0081, 0xffff0081, 0xffff3334, 0x00005555,
    331   0xffff0080, 0xffff0080, 0x00003333, 0x00005554,
    332   0xffff007f, 0x0000007f, 0x00003332, 0x00005553,
    333   0x0000007e, 0x0000007e, 0x00003331, 0x00005545,
    334   0x0000007d, 0x0000007d, 0x00003323, 0x000054d8,
    335   0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7,
    336   0x0000006e, 0x00000002, 0x000032b5, 0x000054d6,
    337   0x00000001, 0x00000001, 0x000032b4, 0x00002222,
    338   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    339   0xffffffff, 0xffffcd4c, 0xffffddde, 0xffffd558,
    340   0xffffcd4b, 0xffffab2a, 0xffffb336, 0xffffd557,
    341   0xffffab29, 0xffff8082, 0xffffb335, 0xffffd556,
    342   0xffff8081, 0xffff8081, 0xffffb334, 0xffffd555,
    343   0xffff8080, 0xffff8080, 0xffffb333, 0xffffd554,
    344   0xffff807f, 0xffff807f, 0xffffb332, 0xffffaaab,
    345   0xffff807e, 0xffff807e, 0xffff8889, 0xffff8889,
    346   0xffff807d, 0xffff55d5, 0xffff6667, 0xffff55d5,
    347   0xffff55d4, 0xffff33b3, 0xffff33b3, 0xffff55d4,
    348   0xffff33b2, 0xffff00ff, 0xffff33b2, 0xffff55d3,
    349   0xffff00fe, 0xffff00fe, 0xffff33b1, 0xffff55d2,
    350   0xffff00fe, 0xffff33b1, 0xffff55d2, 0xffff800d,
    351   0xffff00fd, 0xffff33b0, 0xffff5565, 0xffff8000,
    352   0xffff00fc, 0xffff3343, 0xffff5558, 0xffff7fff,
    353   0xffff008f, 0xffff3336, 0xffff5557, 0xffff7ffe,
    354   0xffff0082, 0xffff3335, 0xffff5556, 0x00007ffd,
    355   0xffff0081, 0xffff3334, 0x00005555, 0x00007ffc,
    356   0xffff0080, 0x00003333, 0x00005554, 0x00007ffb,
    357   0x0000007f, 0x00003332, 0x00005553, 0x00007fed,
    358   0x0000007e, 0x00003331, 0x00005545, 0x00007f80,
    359   0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f,
    360   0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e,
    361   0x00000002, 0x000032b5, 0x000054d6, 0x00004cca,
    362   0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
    363   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    364   0xffffcd4c, 0xffffddde, 0xffffd558, 0xffffffff,
    365   0xffffab2a, 0xffffb336, 0xffffd557, 0xfffffffe,
    366   0xffff8082, 0xffffb335, 0xffffd556, 0xfffffffd,
    367   0xffff8081, 0xffffb334, 0xffffd555, 0xfffffffc,
    368   0xffff8080, 0xffffb333, 0xffffd554, 0xffffd553,
    369   0xffff807f, 0xffffb332, 0xffffaaab, 0xffffb331,
    370   0xffff807e, 0xffff8889, 0xffff8889, 0xffff807d,
    371   0xffff55d5, 0xffff6667, 0xffff55d5, 0xffff807c,
    372   0xffff33b3, 0xffff33b3, 0xffff55d4, 0xffff807b,
    373   0xffff00ff, 0xffff33b2, 0xffff55d3, 0xffff807a,
    374   0xffff33b2, 0xffff55d3, 0xffff807a, 0xffff800e,
    375   0xffff33b1, 0xffff55d2, 0xffff800d, 0xffff8001,
    376   0xffff33b0, 0xffff5565, 0xffff8000, 0xffff8000,
    377   0xffff3343, 0xffff5558, 0xffff7fff, 0xffff7fff,
    378   0xffff3336, 0xffff5557, 0xffff7ffe, 0x00007ffe,
    379   0xffff3335, 0xffff5556, 0x00007ffd, 0x00007ffd,
    380   0xffff3334, 0x00005555, 0x00007ffc, 0x00007ffc,
    381   0x00003333, 0x00005554, 0x00007ffb, 0x00007fee,
    382   0x00003332, 0x00005553, 0x00007fed, 0x00007f81,
    383   0x00003331, 0x00005545, 0x00007f80, 0x00007f80,
    384   0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f,
    385   0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb,
    386   0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
    387   0x000032b4, 0x00002222, 0x00002aa8, 0x00000001,
    388   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    389   0xffffddde, 0xffffd558, 0xffffffff, 0xffffffff,
    390   0xffffb336, 0xffffd557, 0xfffffffe, 0xfffffffe,
    391   0xffffb335, 0xffffd556, 0xfffffffd, 0xfffffffd,
    392   0xffffb334, 0xffffd555, 0xfffffffc, 0xffffd554,
    393   0xffffb333, 0xffffd554, 0xffffd553, 0xffffb332,
    394   0xffffb332, 0xffffaaab, 0xffffb331, 0xffff807e,
    395   0xffff8889, 0xffff8889, 0xffff807d, 0xffff807d,
    396   0xffff6667, 0xffff55d5, 0xffff807c, 0xffff807c,
    397   0xffff33b3, 0xffff55d4, 0xffff807b, 0xffff807b,
    398   0xffff55d4, 0xffff807b, 0xffff807b, 0xffff800f,
    399   0xffff55d3, 0xffff807a, 0xffff800e, 0xffff8002,
    400   0xffff55d2, 0xffff800d, 0xffff8001, 0xffff8001,
    401   0xffff5565, 0xffff8000, 0xffff8000, 0xffff8000,
    402   0xffff5558, 0xffff7fff, 0xffff7fff, 0x00007fff,
    403   0xffff5557, 0xffff7ffe, 0x00007ffe, 0x00007ffe,
    404   0xffff5556, 0x00007ffd, 0x00007ffd, 0x00007ffd,
    405   0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef,
    406   0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82,
    407   0x00005553, 0x00007fed, 0x00007f81, 0x00007f81,
    408   0x00005545, 0x00007f80, 0x00007f80, 0x00007f80,
    409   0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc,
    410   0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
    411   0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002,
    412   0x00002222, 0x00002aa8, 0x00000001, 0x00000001,
    413   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    414   0xffffd558, 0xffffffff, 0xffffffff, 0xffffffff,
    415   0xffffd557, 0xfffffffe, 0xfffffffe, 0xfffffffe,
    416   0xffffd556, 0xfffffffd, 0xfffffffd, 0xffffd555,
    417   0xffffd555, 0xfffffffc, 0xffffd554, 0xffffb333,
    418   0xffffd554, 0xffffd553, 0xffffb332, 0xffff807f,
    419   0xffffaaab, 0xffffb331, 0xffff807e, 0xffff807e,
    420   0xffff8889, 0xffff807d, 0xffff807d, 0xffff807d,
    421   0xffff55d5, 0xffff807c, 0xffff807c, 0xffff807c,
    422   0xffff807c, 0xffff807c, 0xffff807c, 0xffff8010,
    423   0xffff807b, 0xffff807b, 0xffff800f, 0xffff8003,
    424   0xffff807a, 0xffff800e, 0xffff8002, 0xffff8002,
    425   0xffff800d, 0xffff8001, 0xffff8001, 0xffff8001,
    426   0xffff8000, 0xffff8000, 0xffff8000, 0x00008000,
    427   0xffff7fff, 0xffff7fff, 0x00007fff, 0x00007fff,
    428   0xffff7ffe, 0x00007ffe, 0x00007ffe, 0x00007ffe,
    429   0x00007ffd, 0x00007ffd, 0x00007ffd, 0x00007ff0,
    430   0x00007ffc, 0x00007ffc, 0x00007fef, 0x00007f83,
    431   0x00007ffb, 0x00007fee, 0x00007f82, 0x00007f82,
    432   0x00007fed, 0x00007f81, 0x00007f81, 0x00007f81,
    433   0x00007f80, 0x00007f80, 0x00007f80, 0x00004ccd,
    434   0x00007f7f, 0x00007f7f, 0x00004ccc, 0x00002aab,
    435   0x00007f7e, 0x00004ccb, 0x00002aaa, 0x00000003,
    436   0x00004cca, 0x00002aa9, 0x00000002, 0x00000002,
    437   0x00002aa8, 0x00000001, 0x00000001, 0x00000001,
    438   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    439   0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
    440   0xfffffffe, 0xfffffffe, 0xfffffffe, 0xffffd556,
    441   0xfffffffd, 0xfffffffd, 0xffffd555, 0xffffb334,
    442   0xfffffffc, 0xffffd554, 0xffffb333, 0xffff8080,
    443   0xffffd553, 0xffffb332, 0xffff807f, 0xffff807f,
    444   0xffffb331, 0xffff807e, 0xffff807e, 0xffff807e,
    445   0xffff807d, 0xffff807d, 0xffff807d, 0xffff807d,
    446   0xffff807d, 0xffff807d, 0xffff807d, 0xffff8011,
    447   0xffff807c, 0xffff807c, 0xffff8010, 0xffff8004,
    448   0xffff807b, 0xffff800f, 0xffff8003, 0xffff8003,
    449   0xffff800e, 0xffff8002, 0xffff8002, 0xffff8002,
    450   0xffff8001, 0xffff8001, 0xffff8001, 0x00008001,
    451   0xffff8000, 0xffff8000, 0x00008000, 0x00008000,
    452   0xffff7fff, 0x00007fff, 0x00007fff, 0x00007fff,
    453   0x00007ffe, 0x00007ffe, 0x00007ffe, 0x00007ff1,
    454   0x00007ffd, 0x00007ffd, 0x00007ff0, 0x00007f84,
    455   0x00007ffc, 0x00007fef, 0x00007f83, 0x00007f83,
    456   0x00007fee, 0x00007f82, 0x00007f82, 0x00007f82,
    457   0x00007f81, 0x00007f81, 0x00007f81, 0x00004cce,
    458   0x00007f80, 0x00007f80, 0x00004ccd, 0x00002aac,
    459   0x00007f7f, 0x00004ccc, 0x00002aab, 0x00000004,
    460   0x00004ccb, 0x00002aaa, 0x00000003, 0x00000003,
    461   0x00002aa9, 0x00000002, 0x00000002, 0x00000002,
    462   0x00000001, 0x00000001, 0x00000001, 0x00000001,
    463   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    464   0xffffffff, 0xffffffff, 0xffffffff, 0xffffd557,
    465   0xfffffffe, 0xfffffffe, 0xffffd556, 0xffffb335,
    466   0xfffffffd, 0xffffd555, 0xffffb334, 0xffff8081,
    467   0xffffd554, 0xffffb333, 0xffff8080, 0xffff8080,
    468   0xffffb332, 0xffff807f, 0xffff807f, 0xffff807f,
    469   0xffff807e, 0xffff807e, 0xffff807e, 0xffff807e,
    470   0xffff807e, 0xffff807e, 0xffff807e, 0xffffaaba,
    471   0xffff807d, 0xffff807d, 0xffff8011, 0xffffaaad,
    472   0xffff807c, 0xffff8010, 0xffff8004, 0xffffaaac,
    473   0xffff800f, 0xffff8003, 0xffff8003, 0xffffaaab,
    474   0xffff8002, 0xffff8002, 0xffff8002, 0x0000aaaa,
    475   0xffff8001, 0xffff8001, 0x00008001, 0x0000aaa9,
    476   0xffff8000, 0x00008000, 0x00008000, 0x0000aaa8,
    477   0x00007fff, 0x00007fff, 0x00007fff, 0x0000aa9a,
    478   0x00007ffe, 0x00007ffe, 0x00007ff1, 0x0000aa2d,
    479   0x00007ffd, 0x00007ff0, 0x00007f84, 0x0000aa2c,
    480   0x00007fef, 0x00007f83, 0x00007f83, 0x0000aa2b,
    481   0x00007f82, 0x00007f82, 0x00007f82, 0x00007777,
    482   0x00007f81, 0x00007f81, 0x00004cce, 0x00005555,
    483   0x00007f80, 0x00004ccd, 0x00002aac, 0x00002aad,
    484   0x00004ccc, 0x00002aab, 0x00000004, 0x00002aac,
    485   0x00002aaa, 0x00000003, 0x00000003, 0x00002aab,
    486   0x00000002, 0x00000002, 0x00000002, 0x00002aaa,
    487   0x00000001, 0x00000001, 0x00000001, 0x00002aa9,
    488   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    489   0xffffffff, 0xffffffff, 0xffffd557, 0xffffddde,
    490   0xfffffffe, 0xffffd556, 0xffffb335, 0xffffab2a,
    491   0xffffd555, 0xffffb334, 0xffff8081, 0xffffab29,
    492   0xffffb333, 0xffff8080, 0xffff8080, 0xffffab28,
    493   0xffff807f, 0xffff807f, 0xffff807f, 0xffffab27,
    494   0xffff807f, 0xffff807f, 0xffffab27, 0xffffccdc,
    495   0xffff807e, 0xffff807e, 0xffffaaba, 0xffffcccf,
    496   0xffff807d, 0xffff8011, 0xffffaaad, 0xffffccce,
    497   0xffff8010, 0xffff8004, 0xffffaaac, 0xffffcccd,
    498   0xffff8003, 0xffff8003, 0xffffaaab, 0x0000cccc,
    499   0xffff8002, 0xffff8002, 0x0000aaaa, 0x0000cccb,
    500   0xffff8001, 0x00008001, 0x0000aaa9, 0x0000ccca,
    501   0x00008000, 0x00008000, 0x0000aaa8, 0x0000ccbc,
    502   0x00007fff, 0x00007fff, 0x0000aa9a, 0x0000cc4f,
    503   0x00007ffe, 0x00007ff1, 0x0000aa2d, 0x0000cc4e,
    504   0x00007ff0, 0x00007f84, 0x0000aa2c, 0x0000cc4d,
    505   0x00007f83, 0x00007f83, 0x0000aa2b, 0x00009999,
    506   0x00007f82, 0x00007f82, 0x00007777, 0x00007777,
    507   0x00007f81, 0x00004cce, 0x00005555, 0x00004ccf,
    508   0x00004ccd, 0x00002aac, 0x00002aad, 0x00004cce,
    509   0x00002aab, 0x00000004, 0x00002aac, 0x00004ccd,
    510   0x00000003, 0x00000003, 0x00002aab, 0x00004ccc,
    511   0x00000002, 0x00000002, 0x00002aaa, 0x00004ccb,
    512   0x00000001, 0x00000001, 0x00002aa9, 0x00002222,
    513   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    514   0xffffffff, 0xffffd557, 0xffffddde, 0xffffcd4c,
    515   0xffffd556, 0xffffb335, 0xffffab2a, 0xffffcd4b,
    516   0xffffb334, 0xffff8081, 0xffffab29, 0xffffcd4a,
    517   0xffff8080, 0xffff8080, 0xffffab28, 0xffffcd49,
    518   0xffff8080, 0xffffab28, 0xffffcd49, 0xffffff90,
    519   0xffff807f, 0xffffab27, 0xffffccdc, 0xffffff83,
    520   0xffff807e, 0xffffaaba, 0xffffcccf, 0xffffff82,
    521   0xffff8011, 0xffffaaad, 0xffffccce, 0xffffff81,
    522   0xffff8004, 0xffffaaac, 0xffffcccd, 0x0000ff80,
    523   0xffff8003, 0xffffaaab, 0x0000cccc, 0x0000ff7f,
    524   0xffff8002, 0x0000aaaa, 0x0000cccb, 0x0000ff7e,
    525   0x00008001, 0x0000aaa9, 0x0000ccca, 0x0000ff70,
    526   0x00008000, 0x0000aaa8, 0x0000ccbc, 0x0000ff03,
    527   0x00007fff, 0x0000aa9a, 0x0000cc4f, 0x0000ff02,
    528   0x00007ff1, 0x0000aa2d, 0x0000cc4e, 0x0000ff01,
    529   0x00007f84, 0x0000aa2c, 0x0000cc4d, 0x0000cc4d,
    530   0x00007f83, 0x0000aa2b, 0x00009999, 0x0000aa2b,
    531   0x00007f82, 0x00007777, 0x00007777, 0x00007f83,
    532   0x00004cce, 0x00005555, 0x00004ccf, 0x00007f82,
    533   0x00002aac, 0x00002aad, 0x00004cce, 0x00007f81,
    534   0x00000004, 0x00002aac, 0x00004ccd, 0x00007f80,
    535   0x00000003, 0x00002aab, 0x00004ccc, 0x00007f7f,
    536   0x00000002, 0x00002aaa, 0x00004ccb, 0x000054d6,
    537   0x00000001, 0x00002aa9, 0x00002222, 0x000032b4,
    538   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    539   0xffffd557, 0xffffddde, 0xffffcd4c, 0xffffffff,
    540   0xffffb335, 0xffffab2a, 0xffffcd4b, 0xfffffffe,
    541   0xffff8081, 0xffffab29, 0xffffcd4a, 0xfffffffd,
    542   0xffffab29, 0xffffcd4a, 0xfffffffd, 0xffffff91,
    543   0xffffab28, 0xffffcd49, 0xffffff90, 0xffffff84,
    544   0xffffab27, 0xffffccdc, 0xffffff83, 0xffffff83,
    545   0xffffaaba, 0xffffcccf, 0xffffff82, 0xffffff82,
    546   0xffffaaad, 0xffffccce, 0xffffff81, 0x0000ff81,
    547   0xffffaaac, 0xffffcccd, 0x0000ff80, 0x0000ff80,
    548   0xffffaaab, 0x0000cccc, 0x0000ff7f, 0x0000ff7f,
    549   0x0000aaaa, 0x0000cccb, 0x0000ff7e, 0x0000ff71,
    550   0x0000aaa9, 0x0000ccca, 0x0000ff70, 0x0000ff04,
    551   0x0000aaa8, 0x0000ccbc, 0x0000ff03, 0x0000ff03,
    552   0x0000aa9a, 0x0000cc4f, 0x0000ff02, 0x0000ff02,
    553   0x0000aa2d, 0x0000cc4e, 0x0000ff01, 0x0000cc4e,
    554   0x0000aa2c, 0x0000cc4d, 0x0000cc4d, 0x0000aa2c,
    555   0x0000aa2b, 0x00009999, 0x0000aa2b, 0x00007f84,
    556   0x00007777, 0x00007777, 0x00007f83, 0x00007f83,
    557   0x00005555, 0x00004ccf, 0x00007f82, 0x00007f82,
    558   0x00002aad, 0x00004cce, 0x00007f81, 0x00007f81,
    559   0x00002aac, 0x00004ccd, 0x00007f80, 0x00007f80,
    560   0x00002aab, 0x00004ccc, 0x00007f7f, 0x000054d7,
    561   0x00002aaa, 0x00004ccb, 0x000054d6, 0x000032b5,
    562   0x00002aa9, 0x00002222, 0x000032b4, 0x00000001,
    563   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    564   0xffffddde, 0xffffcd4c, 0xffffffff, 0xffffffff,
    565   0xffffab2a, 0xffffcd4b, 0xfffffffe, 0xfffffffe,
    566   0xffffcd4b, 0xfffffffe, 0xfffffffe, 0xffffff92,
    567   0xffffcd4a, 0xfffffffd, 0xffffff91, 0xffffff85,
    568   0xffffcd49, 0xffffff90, 0xffffff84, 0xffffff84,
    569   0xffffccdc, 0xffffff83, 0xffffff83, 0xffffff83,
    570   0xffffcccf, 0xffffff82, 0xffffff82, 0x0000ff82,
    571   0xffffccce, 0xffffff81, 0x0000ff81, 0x0000ff81,
    572   0xffffcccd, 0x0000ff80, 0x0000ff80, 0x0000ff80,
    573   0x0000cccc, 0x0000ff7f, 0x0000ff7f, 0x0000ff72,
    574   0x0000cccb, 0x0000ff7e, 0x0000ff71, 0x0000ff05,
    575   0x0000ccca, 0x0000ff70, 0x0000ff04, 0x0000ff04,
    576   0x0000ccbc, 0x0000ff03, 0x0000ff03, 0x0000ff03,
    577   0x0000cc4f, 0x0000ff02, 0x0000ff02, 0x0000cc4f,
    578   0x0000cc4e, 0x0000ff01, 0x0000cc4e, 0x0000aa2d,
    579   0x0000cc4d, 0x0000cc4d, 0x0000aa2c, 0x00007f85,
    580   0x00009999, 0x0000aa2b, 0x00007f84, 0x00007f84,
    581   0x00007777, 0x00007f83, 0x00007f83, 0x00007f83,
    582   0x00004ccf, 0x00007f82, 0x00007f82, 0x00007f82,
    583   0x00004cce, 0x00007f81, 0x00007f81, 0x00007f81,
    584   0x00004ccd, 0x00007f80, 0x00007f80, 0x000054d8,
    585   0x00004ccc, 0x00007f7f, 0x000054d7, 0x000032b6,
    586   0x00004ccb, 0x000054d6, 0x000032b5, 0x00000002,
    587   0x00002222, 0x000032b4, 0x00000001, 0x00000001,
    588   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    589   0xffffcd4c, 0xffffffff, 0xffffffff, 0xffffffff,
    590   0xffffffff, 0xffffffff, 0xffffffff, 0xffffff93,
    591   0xfffffffe, 0xfffffffe, 0xffffff92, 0xffffff86,
    592   0xfffffffd, 0xffffff91, 0xffffff85, 0xffffff85,
    593   0xffffff90, 0xffffff84, 0xffffff84, 0xffffff84,
    594   0xffffff83, 0xffffff83, 0xffffff83, 0x0000ff83,
    595   0xffffff82, 0xffffff82, 0x0000ff82, 0x0000ff82,
    596   0xffffff81, 0x0000ff81, 0x0000ff81, 0x0000ff81,
    597   0x0000ff80, 0x0000ff80, 0x0000ff80, 0x0000ff73,
    598   0x0000ff7f, 0x0000ff7f, 0x0000ff72, 0x0000ff06,
    599   0x0000ff7e, 0x0000ff71, 0x0000ff05, 0x0000ff05,
    600   0x0000ff70, 0x0000ff04, 0x0000ff04, 0x0000ff04,
    601   0x0000ff03, 0x0000ff03, 0x0000ff03, 0x0000cc50,
    602   0x0000ff02, 0x0000ff02, 0x0000cc4f, 0x0000aa2e,
    603   0x0000ff01, 0x0000cc4e, 0x0000aa2d, 0x00007f86,
    604   0x0000cc4d, 0x0000aa2c, 0x00007f85, 0x00007f85,
    605   0x0000aa2b, 0x00007f84, 0x00007f84, 0x00007f84,
    606   0x00007f83, 0x00007f83, 0x00007f83, 0x00007f83,
    607   0x00007f82, 0x00007f82, 0x00007f82, 0x00007f82,
    608   0x00007f81, 0x00007f81, 0x00007f81, 0x000054d9,
    609   0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7,
    610   0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003,
    611   0x000054d6, 0x000032b5, 0x00000002, 0x00000002,
    612   0x000032b4, 0x00000001, 0x00000001, 0x00000001,
    613   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    614 };
    615 const unsigned kExpectedCount_NEON_usubl_4S = 576;
    616 
    617 #endif  // VIXL_SIM_USUBL_4S_TRACE_AARCH64_H_
    618