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