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_SMULL_8H_TRACE_A64_H_
     35 #define VIXL_SIM_SMULL_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_smull_8H[] = {
     38   0x0a29, 0x1c39, 0x3d09, 0x3e04, 0x3f01, 0x4000, 0x3f01, 0x3e04,
     39   0x10ef, 0x2981, 0x3d86, 0x3e82, 0xc080, 0x3f80, 0x3e82, 0x3d86,
     40   0x18e7, 0x29d6, 0x3e03, 0xc100, 0xc0ff, 0x3f00, 0x3e03, 0x2a54,
     41   0x191a, 0x2a2b, 0xc180, 0xc17e, 0xc17e, 0x3e80, 0x2aaa, 0x1998,
     42   0x194d, 0xd580, 0xc1fd, 0xc1fc, 0xc1fd, 0x2b00, 0x19cc, 0x03f0,
     43   0xe680, 0xd5d5, 0xc27a, 0xc27a, 0xd556, 0x1a00, 0x03f8, 0x017a,
     44   0xe6b3, 0xd62a, 0xc2f7, 0xd5ac, 0xe634, 0x0400, 0x017d, 0x00fc,
     45   0xe6e6, 0xd67f, 0xd602, 0xe668, 0xfc08, 0x0180, 0x00fe, 0x007e,
     46   0xe719, 0xe372, 0xe69c, 0xfc10, 0xfe83, 0x0100, 0x007f, 0x0000,
     47   0xeede, 0xeebc, 0xfc18, 0xfe86, 0xff02, 0x0080, 0x0000, 0xff82,
     48   0xf5a4, 0xfd58, 0xfe89, 0xff04, 0xff81, 0x0000, 0xff81, 0xff04,
     49   0xfe68, 0xff01, 0xff06, 0xff82, 0x0000, 0xff80, 0xff02, 0xfc10,
     50   0xff67, 0xff56, 0xff83, 0x0000, 0x007f, 0xff00, 0xfc08, 0xe6e6,
     51   0xff9a, 0xffab, 0x0000, 0x007e, 0x00fe, 0xfc00, 0xe6b3, 0xd62a,
     52   0xffcd, 0x0000, 0x007d, 0x00fc, 0x03f8, 0xe680, 0xd5d5, 0xc27a,
     53   0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d, 0xd580, 0xc1fd, 0xc1fc,
     54   0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b, 0xc180, 0xc17e, 0xc17e,
     55   0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03, 0xc100, 0xc0ff, 0x3f00,
     56   0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82, 0xc080, 0x3f80, 0x3e82,
     57   0x10ef, 0x2981, 0x3d86, 0x3e82, 0xc080, 0x3f80, 0x3e82, 0x3d86,
     58   0x1c39, 0x3d09, 0x3e04, 0x3f01, 0x4000, 0x3f01, 0x3e04, 0x3d09,
     59   0x2981, 0x3d86, 0x3e82, 0xc080, 0x3f80, 0x3e82, 0x3d86, 0x29fe,
     60   0x29d6, 0x3e03, 0xc100, 0xc0ff, 0x3f00, 0x3e03, 0x2a54, 0x1964,
     61   0x2a2b, 0xc180, 0xc17e, 0xc17e, 0x3e80, 0x2aaa, 0x1998, 0x03e8,
     62   0xd580, 0xc1fd, 0xc1fc, 0xc1fd, 0x2b00, 0x19cc, 0x03f0, 0x0177,
     63   0xd5d5, 0xc27a, 0xc27a, 0xd556, 0x1a00, 0x03f8, 0x017a, 0x00fa,
     64   0xd62a, 0xc2f7, 0xd5ac, 0xe634, 0x0400, 0x017d, 0x00fc, 0x007d,
     65   0xd67f, 0xd602, 0xe668, 0xfc08, 0x0180, 0x00fe, 0x007e, 0x0000,
     66   0xe372, 0xe69c, 0xfc10, 0xfe83, 0x0100, 0x007f, 0x0000, 0xff83,
     67   0xeebc, 0xfc18, 0xfe86, 0xff02, 0x0080, 0x0000, 0xff82, 0xff06,
     68   0xfd58, 0xfe89, 0xff04, 0xff81, 0x0000, 0xff81, 0xff04, 0xfc18,
     69   0xff01, 0xff06, 0xff82, 0x0000, 0xff80, 0xff02, 0xfc10, 0xe719,
     70   0xff56, 0xff83, 0x0000, 0x007f, 0xff00, 0xfc08, 0xe6e6, 0xd67f,
     71   0xffab, 0x0000, 0x007e, 0x00fe, 0xfc00, 0xe6b3, 0xd62a, 0xc2f7,
     72   0x0000, 0x007d, 0x00fc, 0x03f8, 0xe680, 0xd5d5, 0xc27a, 0xc27a,
     73   0x0055, 0x00fa, 0x03f0, 0x194d, 0xd580, 0xc1fd, 0xc1fc, 0xc1fd,
     74   0x00aa, 0x03e8, 0x191a, 0x2a2b, 0xc180, 0xc17e, 0xc17e, 0x3e80,
     75   0x02a8, 0x18e7, 0x29d6, 0x3e03, 0xc100, 0xc0ff, 0x3f00, 0x3e03,
     76   0x18e7, 0x29d6, 0x3e03, 0xc100, 0xc0ff, 0x3f00, 0x3e03, 0x2a54,
     77   0x2981, 0x3d86, 0x3e82, 0xc080, 0x3f80, 0x3e82, 0x3d86, 0x29fe,
     78   0x3d09, 0x3e04, 0x3f01, 0x4000, 0x3f01, 0x3e04, 0x3d09, 0x1ce4,
     79   0x3d86, 0x3e82, 0xc080, 0x3f80, 0x3e82, 0x3d86, 0x29fe, 0x1178,
     80   0x3e03, 0xc100, 0xc0ff, 0x3f00, 0x3e03, 0x2a54, 0x1964, 0x02b0,
     81   0xc180, 0xc17e, 0xc17e, 0x3e80, 0x2aaa, 0x1998, 0x03e8, 0x0102,
     82   0xc1fd, 0xc1fc, 0xc1fd, 0x2b00, 0x19cc, 0x03f0, 0x0177, 0x00ac,
     83   0xc27a, 0xc27a, 0xd556, 0x1a00, 0x03f8, 0x017a, 0x00fa, 0x0056,
     84   0xc2f7, 0xd5ac, 0xe634, 0x0400, 0x017d, 0x00fc, 0x007d, 0x0000,
     85   0xd602, 0xe668, 0xfc08, 0x0180, 0x00fe, 0x007e, 0x0000, 0xffaa,
     86   0xe69c, 0xfc10, 0xfe83, 0x0100, 0x007f, 0x0000, 0xff83, 0xff54,
     87   0xfc18, 0xfe86, 0xff02, 0x0080, 0x0000, 0xff82, 0xff06, 0xfd50,
     88   0xfe89, 0xff04, 0xff81, 0x0000, 0xff81, 0xff04, 0xfc18, 0xeede,
     89   0xff06, 0xff82, 0x0000, 0xff80, 0xff02, 0xfc10, 0xe719, 0xe372,
     90   0xff83, 0x0000, 0x007f, 0xff00, 0xfc08, 0xe6e6, 0xd67f, 0xd602,
     91   0x0000, 0x007e, 0x00fe, 0xfc00, 0xe6b3, 0xd62a, 0xc2f7, 0xd5ac,
     92   0x007d, 0x00fc, 0x03f8, 0xe680, 0xd5d5, 0xc27a, 0xc27a, 0xd556,
     93   0x00fa, 0x03f0, 0x194d, 0xd580, 0xc1fd, 0xc1fc, 0xc1fd, 0x2b00,
     94   0x03e8, 0x191a, 0x2a2b, 0xc180, 0xc17e, 0xc17e, 0x3e80, 0x2aaa,
     95   0x191a, 0x2a2b, 0xc180, 0xc17e, 0xc17e, 0x3e80, 0x2aaa, 0x1998,
     96   0x29d6, 0x3e03, 0xc100, 0xc0ff, 0x3f00, 0x3e03, 0x2a54, 0x1964,
     97   0x3d86, 0x3e82, 0xc080, 0x3f80, 0x3e82, 0x3d86, 0x29fe, 0x1178,
     98   0x3e04, 0x3f01, 0x4000, 0x3f01, 0x3e04, 0x3d09, 0x1ce4, 0x0a90,
     99   0x3e82, 0xc080, 0x3f80, 0x3e82, 0x3d86, 0x29fe, 0x1178, 0x01a0,
    100   0xc100, 0xc0ff, 0x3f00, 0x3e03, 0x2a54, 0x1964, 0x02b0, 0x009c,
    101   0xc17e, 0xc17e, 0x3e80, 0x2aaa, 0x1998, 0x03e8, 0x0102, 0x0068,
    102   0xc1fc, 0xc1fd, 0x2b00, 0x19cc, 0x03f0, 0x0177, 0x00ac, 0x0034,
    103   0xc27a, 0xd556, 0x1a00, 0x03f8, 0x017a, 0x00fa, 0x0056, 0x0000,
    104   0xd5ac, 0xe634, 0x0400, 0x017d, 0x00fc, 0x007d, 0x0000, 0xffcc,
    105   0xe668, 0xfc08, 0x0180, 0x00fe, 0x007e, 0x0000, 0xffaa, 0xff98,
    106   0xfc10, 0xfe83, 0x0100, 0x007f, 0x0000, 0xff83, 0xff54, 0xfe60,
    107   0xfe86, 0xff02, 0x0080, 0x0000, 0xff82, 0xff06, 0xfd50, 0xf5a4,
    108   0xff04, 0xff81, 0x0000, 0xff81, 0xff04, 0xfc18, 0xeede, 0xeebc,
    109   0xff82, 0x0000, 0xff80, 0xff02, 0xfc10, 0xe719, 0xe372, 0xe69c,
    110   0x0000, 0x007f, 0xff00, 0xfc08, 0xe6e6, 0xd67f, 0xd602, 0xe668,
    111   0x007e, 0x00fe, 0xfc00, 0xe6b3, 0xd62a, 0xc2f7, 0xd5ac, 0xe634,
    112   0x00fc, 0x03f8, 0xe680, 0xd5d5, 0xc27a, 0xc27a, 0xd556, 0x1a00,
    113   0x03f0, 0x194d, 0xd580, 0xc1fd, 0xc1fc, 0xc1fd, 0x2b00, 0x19cc,
    114   0x194d, 0xd580, 0xc1fd, 0xc1fc, 0xc1fd, 0x2b00, 0x19cc, 0x03f0,
    115   0x2a2b, 0xc180, 0xc17e, 0xc17e, 0x3e80, 0x2aaa, 0x1998, 0x03e8,
    116   0x3e03, 0xc100, 0xc0ff, 0x3f00, 0x3e03, 0x2a54, 0x1964, 0x02b0,
    117   0x3e82, 0xc080, 0x3f80, 0x3e82, 0x3d86, 0x29fe, 0x1178, 0x01a0,
    118   0x3f01, 0x4000, 0x3f01, 0x3e04, 0x3d09, 0x1ce4, 0x0a90, 0x0040,
    119   0xc080, 0x3f80, 0x3e82, 0x3d86, 0x29fe, 0x1178, 0x01a0, 0x0018,
    120   0xc0ff, 0x3f00, 0x3e03, 0x2a54, 0x1964, 0x02b0, 0x009c, 0x0010,
    121   0xc17e, 0x3e80, 0x2aaa, 0x1998, 0x03e8, 0x0102, 0x0068, 0x0008,
    122   0xc1fd, 0x2b00, 0x19cc, 0x03f0, 0x0177, 0x00ac, 0x0034, 0x0000,
    123   0xd556, 0x1a00, 0x03f8, 0x017a, 0x00fa, 0x0056, 0x0000, 0xfff8,
    124   0xe634, 0x0400, 0x017d, 0x00fc, 0x007d, 0x0000, 0xffcc, 0xfff0,
    125   0xfc08, 0x0180, 0x00fe, 0x007e, 0x0000, 0xffaa, 0xff98, 0xffc0,
    126   0xfe83, 0x0100, 0x007f, 0x0000, 0xff83, 0xff54, 0xfe60, 0xfe68,
    127   0xff02, 0x0080, 0x0000, 0xff82, 0xff06, 0xfd50, 0xf5a4, 0xfd58,
    128   0xff81, 0x0000, 0xff81, 0xff04, 0xfc18, 0xeede, 0xeebc, 0xfc18,
    129   0x0000, 0xff80, 0xff02, 0xfc10, 0xe719, 0xe372, 0xe69c, 0xfc10,
    130   0x007f, 0xff00, 0xfc08, 0xe6e6, 0xd67f, 0xd602, 0xe668, 0xfc08,
    131   0x00fe, 0xfc00, 0xe6b3, 0xd62a, 0xc2f7, 0xd5ac, 0xe634, 0x0400,
    132   0x03f8, 0xe680, 0xd5d5, 0xc27a, 0xc27a, 0xd556, 0x1a00, 0x03f8,
    133   0xe680, 0xd5d5, 0xc27a, 0xc27a, 0xd556, 0x1a00, 0x03f8, 0x017a,
    134   0xd580, 0xc1fd, 0xc1fc, 0xc1fd, 0x2b00, 0x19cc, 0x03f0, 0x0177,
    135   0xc180, 0xc17e, 0xc17e, 0x3e80, 0x2aaa, 0x1998, 0x03e8, 0x0102,
    136   0xc100, 0xc0ff, 0x3f00, 0x3e03, 0x2a54, 0x1964, 0x02b0, 0x009c,
    137   0xc080, 0x3f80, 0x3e82, 0x3d86, 0x29fe, 0x1178, 0x01a0, 0x0018,
    138   0x4000, 0x3f01, 0x3e04, 0x3d09, 0x1ce4, 0x0a90, 0x0040, 0x0009,
    139   0x3f80, 0x3e82, 0x3d86, 0x29fe, 0x1178, 0x01a0, 0x0018, 0x0006,
    140   0x3f00, 0x3e03, 0x2a54, 0x1964, 0x02b0, 0x009c, 0x0010, 0x0003,
    141   0x3e80, 0x2aaa, 0x1998, 0x03e8, 0x0102, 0x0068, 0x0008, 0x0000,
    142   0x2b00, 0x19cc, 0x03f0, 0x0177, 0x00ac, 0x0034, 0x0000, 0xfffd,
    143   0x1a00, 0x03f8, 0x017a, 0x00fa, 0x0056, 0x0000, 0xfff8, 0xfffa,
    144   0x0400, 0x017d, 0x00fc, 0x007d, 0x0000, 0xffcc, 0xfff0, 0xffe8,
    145   0x0180, 0x00fe, 0x007e, 0x0000, 0xffaa, 0xff98, 0xffc0, 0xff67,
    146   0x0100, 0x007f, 0x0000, 0xff83, 0xff54, 0xfe60, 0xfe68, 0xff01,
    147   0x0080, 0x0000, 0xff82, 0xff06, 0xfd50, 0xf5a4, 0xfd58, 0xfe89,
    148   0x0000, 0xff81, 0xff04, 0xfc18, 0xeede, 0xeebc, 0xfc18, 0xfe86,
    149   0xff80, 0xff02, 0xfc10, 0xe719, 0xe372, 0xe69c, 0xfc10, 0xfe83,
    150   0xff00, 0xfc08, 0xe6e6, 0xd67f, 0xd602, 0xe668, 0xfc08, 0x0180,
    151   0xfc00, 0xe6b3, 0xd62a, 0xc2f7, 0xd5ac, 0xe634, 0x0400, 0x017d,
    152   0xe6b3, 0xd62a, 0xc2f7, 0xd5ac, 0xe634, 0x0400, 0x017d, 0x00fc,
    153   0xd5d5, 0xc27a, 0xc27a, 0xd556, 0x1a00, 0x03f8, 0x017a, 0x00fa,
    154   0xc1fd, 0xc1fc, 0xc1fd, 0x2b00, 0x19cc, 0x03f0, 0x0177, 0x00ac,
    155   0xc17e, 0xc17e, 0x3e80, 0x2aaa, 0x1998, 0x03e8, 0x0102, 0x0068,
    156   0xc0ff, 0x3f00, 0x3e03, 0x2a54, 0x1964, 0x02b0, 0x009c, 0x0010,
    157   0x3f80, 0x3e82, 0x3d86, 0x29fe, 0x1178, 0x01a0, 0x0018, 0x0006,
    158   0x3f01, 0x3e04, 0x3d09, 0x1ce4, 0x0a90, 0x0040, 0x0009, 0x0004,
    159   0x3e82, 0x3d86, 0x29fe, 0x1178, 0x01a0, 0x0018, 0x0006, 0x0002,
    160   0x3e03, 0x2a54, 0x1964, 0x02b0, 0x009c, 0x0010, 0x0003, 0x0000,
    161   0x2aaa, 0x1998, 0x03e8, 0x0102, 0x0068, 0x0008, 0x0000, 0xfffe,
    162   0x19cc, 0x03f0, 0x0177, 0x00ac, 0x0034, 0x0000, 0xfffd, 0xfffc,
    163   0x03f8, 0x017a, 0x00fa, 0x0056, 0x0000, 0xfff8, 0xfffa, 0xfff0,
    164   0x017d, 0x00fc, 0x007d, 0x0000, 0xffcc, 0xfff0, 0xffe8, 0xff9a,
    165   0x00fe, 0x007e, 0x0000, 0xffaa, 0xff98, 0xffc0, 0xff67, 0xff56,
    166   0x007f, 0x0000, 0xff83, 0xff54, 0xfe60, 0xfe68, 0xff01, 0xff06,
    167   0x0000, 0xff82, 0xff06, 0xfd50, 0xf5a4, 0xfd58, 0xfe89, 0xff04,
    168   0xff81, 0xff04, 0xfc18, 0xeede, 0xeebc, 0xfc18, 0xfe86, 0xff02,
    169   0xff02, 0xfc10, 0xe719, 0xe372, 0xe69c, 0xfc10, 0xfe83, 0x0100,
    170   0xfc08, 0xe6e6, 0xd67f, 0xd602, 0xe668, 0xfc08, 0x0180, 0x00fe,
    171   0xe6e6, 0xd67f, 0xd602, 0xe668, 0xfc08, 0x0180, 0x00fe, 0x007e,
    172   0xd62a, 0xc2f7, 0xd5ac, 0xe634, 0x0400, 0x017d, 0x00fc, 0x007d,
    173   0xc27a, 0xc27a, 0xd556, 0x1a00, 0x03f8, 0x017a, 0x00fa, 0x0056,
    174   0xc1fc, 0xc1fd, 0x2b00, 0x19cc, 0x03f0, 0x0177, 0x00ac, 0x0034,
    175   0xc17e, 0x3e80, 0x2aaa, 0x1998, 0x03e8, 0x0102, 0x0068, 0x0008,
    176   0x3f00, 0x3e03, 0x2a54, 0x1964, 0x02b0, 0x009c, 0x0010, 0x0003,
    177   0x3e82, 0x3d86, 0x29fe, 0x1178, 0x01a0, 0x0018, 0x0006, 0x0002,
    178   0x3e04, 0x3d09, 0x1ce4, 0x0a90, 0x0040, 0x0009, 0x0004, 0x0001,
    179   0x3d86, 0x29fe, 0x1178, 0x01a0, 0x0018, 0x0006, 0x0002, 0x0000,
    180   0x2a54, 0x1964, 0x02b0, 0x009c, 0x0010, 0x0003, 0x0000, 0xffff,
    181   0x1998, 0x03e8, 0x0102, 0x0068, 0x0008, 0x0000, 0xfffe, 0xfffe,
    182   0x03f0, 0x0177, 0x00ac, 0x0034, 0x0000, 0xfffd, 0xfffc, 0xfff8,
    183   0x017a, 0x00fa, 0x0056, 0x0000, 0xfff8, 0xfffa, 0xfff0, 0xffcd,
    184   0x00fc, 0x007d, 0x0000, 0xffcc, 0xfff0, 0xffe8, 0xff9a, 0xffab,
    185   0x007e, 0x0000, 0xffaa, 0xff98, 0xffc0, 0xff67, 0xff56, 0xff83,
    186   0x0000, 0xff83, 0xff54, 0xfe60, 0xfe68, 0xff01, 0xff06, 0xff82,
    187   0xff82, 0xff06, 0xfd50, 0xf5a4, 0xfd58, 0xfe89, 0xff04, 0xff81,
    188   0xff04, 0xfc18, 0xeede, 0xeebc, 0xfc18, 0xfe86, 0xff02, 0x0080,
    189   0xfc10, 0xe719, 0xe372, 0xe69c, 0xfc10, 0xfe83, 0x0100, 0x007f,
    190   0xe719, 0xe372, 0xe69c, 0xfc10, 0xfe83, 0x0100, 0x007f, 0x0000,
    191   0xd67f, 0xd602, 0xe668, 0xfc08, 0x0180, 0x00fe, 0x007e, 0x0000,
    192   0xc2f7, 0xd5ac, 0xe634, 0x0400, 0x017d, 0x00fc, 0x007d, 0x0000,
    193   0xc27a, 0xd556, 0x1a00, 0x03f8, 0x017a, 0x00fa, 0x0056, 0x0000,
    194   0xc1fd, 0x2b00, 0x19cc, 0x03f0, 0x0177, 0x00ac, 0x0034, 0x0000,
    195   0x3e80, 0x2aaa, 0x1998, 0x03e8, 0x0102, 0x0068, 0x0008, 0x0000,
    196   0x3e03, 0x2a54, 0x1964, 0x02b0, 0x009c, 0x0010, 0x0003, 0x0000,
    197   0x3d86, 0x29fe, 0x1178, 0x01a0, 0x0018, 0x0006, 0x0002, 0x0000,
    198   0x3d09, 0x1ce4, 0x0a90, 0x0040, 0x0009, 0x0004, 0x0001, 0x0000,
    199   0x29fe, 0x1178, 0x01a0, 0x0018, 0x0006, 0x0002, 0x0000, 0x0000,
    200   0x1964, 0x02b0, 0x009c, 0x0010, 0x0003, 0x0000, 0xffff, 0x0000,
    201   0x03e8, 0x0102, 0x0068, 0x0008, 0x0000, 0xfffe, 0xfffe, 0x0000,
    202   0x0177, 0x00ac, 0x0034, 0x0000, 0xfffd, 0xfffc, 0xfff8, 0x0000,
    203   0x00fa, 0x0056, 0x0000, 0xfff8, 0xfffa, 0xfff0, 0xffcd, 0x0000,
    204   0x007d, 0x0000, 0xffcc, 0xfff0, 0xffe8, 0xff9a, 0xffab, 0x0000,
    205   0x0000, 0xffaa, 0xff98, 0xffc0, 0xff67, 0xff56, 0xff83, 0x0000,
    206   0xff83, 0xff54, 0xfe60, 0xfe68, 0xff01, 0xff06, 0xff82, 0x0000,
    207   0xff06, 0xfd50, 0xf5a4, 0xfd58, 0xfe89, 0xff04, 0xff81, 0x0000,
    208   0xfc18, 0xeede, 0xeebc, 0xfc18, 0xfe86, 0xff02, 0x0080, 0x0000,
    209   0xeede, 0xeebc, 0xfc18, 0xfe86, 0xff02, 0x0080, 0x0000, 0xff82,
    210   0xe372, 0xe69c, 0xfc10, 0xfe83, 0x0100, 0x007f, 0x0000, 0xff83,
    211   0xd602, 0xe668, 0xfc08, 0x0180, 0x00fe, 0x007e, 0x0000, 0xffaa,
    212   0xd5ac, 0xe634, 0x0400, 0x017d, 0x00fc, 0x007d, 0x0000, 0xffcc,
    213   0xd556, 0x1a00, 0x03f8, 0x017a, 0x00fa, 0x0056, 0x0000, 0xfff8,
    214   0x2b00, 0x19cc, 0x03f0, 0x0177, 0x00ac, 0x0034, 0x0000, 0xfffd,
    215   0x2aaa, 0x1998, 0x03e8, 0x0102, 0x0068, 0x0008, 0x0000, 0xfffe,
    216   0x2a54, 0x1964, 0x02b0, 0x009c, 0x0010, 0x0003, 0x0000, 0xffff,
    217   0x29fe, 0x1178, 0x01a0, 0x0018, 0x0006, 0x0002, 0x0000, 0x0000,
    218   0x1ce4, 0x0a90, 0x0040, 0x0009, 0x0004, 0x0001, 0x0000, 0x0001,
    219   0x1178, 0x01a0, 0x0018, 0x0006, 0x0002, 0x0000, 0x0000, 0x0002,
    220   0x02b0, 0x009c, 0x0010, 0x0003, 0x0000, 0xffff, 0x0000, 0x0008,
    221   0x0102, 0x0068, 0x0008, 0x0000, 0xfffe, 0xfffe, 0x0000, 0x0033,
    222   0x00ac, 0x0034, 0x0000, 0xfffd, 0xfffc, 0xfff8, 0x0000, 0x0055,
    223   0x0056, 0x0000, 0xfff8, 0xfffa, 0xfff0, 0xffcd, 0x0000, 0x007d,
    224   0x0000, 0xffcc, 0xfff0, 0xffe8, 0xff9a, 0xffab, 0x0000, 0x007e,
    225   0xffaa, 0xff98, 0xffc0, 0xff67, 0xff56, 0xff83, 0x0000, 0x007f,
    226   0xff54, 0xfe60, 0xfe68, 0xff01, 0xff06, 0xff82, 0x0000, 0xff80,
    227   0xfd50, 0xf5a4, 0xfd58, 0xfe89, 0xff04, 0xff81, 0x0000, 0xff81,
    228   0xf5a4, 0xfd58, 0xfe89, 0xff04, 0xff81, 0x0000, 0xff81, 0xff04,
    229   0xeebc, 0xfc18, 0xfe86, 0xff02, 0x0080, 0x0000, 0xff82, 0xff06,
    230   0xe69c, 0xfc10, 0xfe83, 0x0100, 0x007f, 0x0000, 0xff83, 0xff54,
    231   0xe668, 0xfc08, 0x0180, 0x00fe, 0x007e, 0x0000, 0xffaa, 0xff98,
    232   0xe634, 0x0400, 0x017d, 0x00fc, 0x007d, 0x0000, 0xffcc, 0xfff0,
    233   0x1a00, 0x03f8, 0x017a, 0x00fa, 0x0056, 0x0000, 0xfff8, 0xfffa,
    234   0x19cc, 0x03f0, 0x0177, 0x00ac, 0x0034, 0x0000, 0xfffd, 0xfffc,
    235   0x1998, 0x03e8, 0x0102, 0x0068, 0x0008, 0x0000, 0xfffe, 0xfffe,
    236   0x1964, 0x02b0, 0x009c, 0x0010, 0x0003, 0x0000, 0xffff, 0x0000,
    237   0x1178, 0x01a0, 0x0018, 0x0006, 0x0002, 0x0000, 0x0000, 0x0002,
    238   0x0a90, 0x0040, 0x0009, 0x0004, 0x0001, 0x0000, 0x0001, 0x0004,
    239   0x01a0, 0x0018, 0x0006, 0x0002, 0x0000, 0x0000, 0x0002, 0x0010,
    240   0x009c, 0x0010, 0x0003, 0x0000, 0xffff, 0x0000, 0x0008, 0x0066,
    241   0x0068, 0x0008, 0x0000, 0xfffe, 0xfffe, 0x0000, 0x0033, 0x00aa,
    242   0x0034, 0x0000, 0xfffd, 0xfffc, 0xfff8, 0x0000, 0x0055, 0x00fa,
    243   0x0000, 0xfff8, 0xfffa, 0xfff0, 0xffcd, 0x0000, 0x007d, 0x00fc,
    244   0xffcc, 0xfff0, 0xffe8, 0xff9a, 0xffab, 0x0000, 0x007e, 0x00fe,
    245   0xff98, 0xffc0, 0xff67, 0xff56, 0xff83, 0x0000, 0x007f, 0xff00,
    246   0xfe60, 0xfe68, 0xff01, 0xff06, 0xff82, 0x0000, 0xff80, 0xff02,
    247   0xfe68, 0xff01, 0xff06, 0xff82, 0x0000, 0xff80, 0xff02, 0xfc10,
    248   0xfd58, 0xfe89, 0xff04, 0xff81, 0x0000, 0xff81, 0xff04, 0xfc18,
    249   0xfc18, 0xfe86, 0xff02, 0x0080, 0x0000, 0xff82, 0xff06, 0xfd50,
    250   0xfc10, 0xfe83, 0x0100, 0x007f, 0x0000, 0xff83, 0xff54, 0xfe60,
    251   0xfc08, 0x0180, 0x00fe, 0x007e, 0x0000, 0xffaa, 0xff98, 0xffc0,
    252   0x0400, 0x017d, 0x00fc, 0x007d, 0x0000, 0xffcc, 0xfff0, 0xffe8,
    253   0x03f8, 0x017a, 0x00fa, 0x0056, 0x0000, 0xfff8, 0xfffa, 0xfff0,
    254   0x03f0, 0x0177, 0x00ac, 0x0034, 0x0000, 0xfffd, 0xfffc, 0xfff8,
    255   0x03e8, 0x0102, 0x0068, 0x0008, 0x0000, 0xfffe, 0xfffe, 0x0000,
    256   0x02b0, 0x009c, 0x0010, 0x0003, 0x0000, 0xffff, 0x0000, 0x0008,
    257   0x01a0, 0x0018, 0x0006, 0x0002, 0x0000, 0x0000, 0x0002, 0x0010,
    258   0x0040, 0x0009, 0x0004, 0x0001, 0x0000, 0x0001, 0x0004, 0x0040,
    259   0x0018, 0x0006, 0x0002, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198,
    260   0x0010, 0x0003, 0x0000, 0xffff, 0x0000, 0x0008, 0x0066, 0x02a8,
    261   0x0008, 0x0000, 0xfffe, 0xfffe, 0x0000, 0x0033, 0x00aa, 0x03e8,
    262   0x0000, 0xfffd, 0xfffc, 0xfff8, 0x0000, 0x0055, 0x00fa, 0x03f0,
    263   0xfff8, 0xfffa, 0xfff0, 0xffcd, 0x0000, 0x007d, 0x00fc, 0x03f8,
    264   0xfff0, 0xffe8, 0xff9a, 0xffab, 0x0000, 0x007e, 0x00fe, 0xfc00,
    265   0xffc0, 0xff67, 0xff56, 0xff83, 0x0000, 0x007f, 0xff00, 0xfc08,
    266   0xff67, 0xff56, 0xff83, 0x0000, 0x007f, 0xff00, 0xfc08, 0xe6e6,
    267   0xff01, 0xff06, 0xff82, 0x0000, 0xff80, 0xff02, 0xfc10, 0xe719,
    268   0xfe89, 0xff04, 0xff81, 0x0000, 0xff81, 0xff04, 0xfc18, 0xeede,
    269   0xfe86, 0xff02, 0x0080, 0x0000, 0xff82, 0xff06, 0xfd50, 0xf5a4,
    270   0xfe83, 0x0100, 0x007f, 0x0000, 0xff83, 0xff54, 0xfe60, 0xfe68,
    271   0x0180, 0x00fe, 0x007e, 0x0000, 0xffaa, 0xff98, 0xffc0, 0xff67,
    272   0x017d, 0x00fc, 0x007d, 0x0000, 0xffcc, 0xfff0, 0xffe8, 0xff9a,
    273   0x017a, 0x00fa, 0x0056, 0x0000, 0xfff8, 0xfffa, 0xfff0, 0xffcd,
    274   0x0177, 0x00ac, 0x0034, 0x0000, 0xfffd, 0xfffc, 0xfff8, 0x0000,
    275   0x0102, 0x0068, 0x0008, 0x0000, 0xfffe, 0xfffe, 0x0000, 0x0033,
    276   0x009c, 0x0010, 0x0003, 0x0000, 0xffff, 0x0000, 0x0008, 0x0066,
    277   0x0018, 0x0006, 0x0002, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198,
    278   0x0009, 0x0004, 0x0001, 0x0000, 0x0001, 0x0004, 0x0040, 0x0a29,
    279   0x0006, 0x0002, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x10ef,
    280   0x0003, 0x0000, 0xffff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7,
    281   0x0000, 0xfffe, 0xfffe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a,
    282   0xfffd, 0xfffc, 0xfff8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d,
    283   0xfffa, 0xfff0, 0xffcd, 0x0000, 0x007d, 0x00fc, 0x03f8, 0xe680,
    284   0xffe8, 0xff9a, 0xffab, 0x0000, 0x007e, 0x00fe, 0xfc00, 0xe6b3,
    285   0xff9a, 0xffab, 0x0000, 0x007e, 0x00fe, 0xfc00, 0xe6b3, 0xd62a,
    286   0xff56, 0xff83, 0x0000, 0x007f, 0xff00, 0xfc08, 0xe6e6, 0xd67f,
    287   0xff06, 0xff82, 0x0000, 0xff80, 0xff02, 0xfc10, 0xe719, 0xe372,
    288   0xff04, 0xff81, 0x0000, 0xff81, 0xff04, 0xfc18, 0xeede, 0xeebc,
    289   0xff02, 0x0080, 0x0000, 0xff82, 0xff06, 0xfd50, 0xf5a4, 0xfd58,
    290   0x0100, 0x007f, 0x0000, 0xff83, 0xff54, 0xfe60, 0xfe68, 0xff01,
    291   0x00fe, 0x007e, 0x0000, 0xffaa, 0xff98, 0xffc0, 0xff67, 0xff56,
    292   0x00fc, 0x007d, 0x0000, 0xffcc, 0xfff0, 0xffe8, 0xff9a, 0xffab,
    293   0x00fa, 0x0056, 0x0000, 0xfff8, 0xfffa, 0xfff0, 0xffcd, 0x0000,
    294   0x00ac, 0x0034, 0x0000, 0xfffd, 0xfffc, 0xfff8, 0x0000, 0x0055,
    295   0x0068, 0x0008, 0x0000, 0xfffe, 0xfffe, 0x0000, 0x0033, 0x00aa,
    296   0x0010, 0x0003, 0x0000, 0xffff, 0x0000, 0x0008, 0x0066, 0x02a8,
    297   0x0006, 0x0002, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x10ef,
    298   0x0004, 0x0001, 0x0000, 0x0001, 0x0004, 0x0040, 0x0a29, 0x1c39,
    299   0x0002, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x10ef, 0x2981,
    300   0x0000, 0xffff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6,
    301   0xfffe, 0xfffe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b,
    302   0xfffc, 0xfff8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d, 0xd580,
    303   0xfff0, 0xffcd, 0x0000, 0x007d, 0x00fc, 0x03f8, 0xe680, 0xd5d5,
    304   0xffcd, 0x0000, 0x007d, 0x00fc, 0x03f8, 0xe680, 0xd5d5, 0xc27a,
    305   0xffab, 0x0000, 0x007e, 0x00fe, 0xfc00, 0xe6b3, 0xd62a, 0xc2f7,
    306   0xff83, 0x0000, 0x007f, 0xff00, 0xfc08, 0xe6e6, 0xd67f, 0xd602,
    307   0xff82, 0x0000, 0xff80, 0xff02, 0xfc10, 0xe719, 0xe372, 0xe69c,
    308   0xff81, 0x0000, 0xff81, 0xff04, 0xfc18, 0xeede, 0xeebc, 0xfc18,
    309   0x0080, 0x0000, 0xff82, 0xff06, 0xfd50, 0xf5a4, 0xfd58, 0xfe89,
    310   0x007f, 0x0000, 0xff83, 0xff54, 0xfe60, 0xfe68, 0xff01, 0xff06,
    311   0x007e, 0x0000, 0xffaa, 0xff98, 0xffc0, 0xff67, 0xff56, 0xff83,
    312   0x007d, 0x0000, 0xffcc, 0xfff0, 0xffe8, 0xff9a, 0xffab, 0x0000,
    313   0x0056, 0x0000, 0xfff8, 0xfffa, 0xfff0, 0xffcd, 0x0000, 0x007d,
    314   0x0034, 0x0000, 0xfffd, 0xfffc, 0xfff8, 0x0000, 0x0055, 0x00fa,
    315   0x0008, 0x0000, 0xfffe, 0xfffe, 0x0000, 0x0033, 0x00aa, 0x03e8,
    316   0x0003, 0x0000, 0xffff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7,
    317   0x0002, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x10ef, 0x2981,
    318   0x0001, 0x0000, 0x0001, 0x0004, 0x0040, 0x0a29, 0x1c39, 0x3d09,
    319   0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x10ef, 0x2981, 0x3d86,
    320   0xffff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03,
    321   0xfffe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b, 0xc180,
    322   0xfff8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d, 0xd580, 0xc1fd,
    323   0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d, 0xd580, 0xc1fd, 0xc1fc,
    324   0x0000, 0x007d, 0x00fc, 0x03f8, 0xe680, 0xd5d5, 0xc27a, 0xc27a,
    325   0x0000, 0x007e, 0x00fe, 0xfc00, 0xe6b3, 0xd62a, 0xc2f7, 0xd5ac,
    326   0x0000, 0x007f, 0xff00, 0xfc08, 0xe6e6, 0xd67f, 0xd602, 0xe668,
    327   0x0000, 0xff80, 0xff02, 0xfc10, 0xe719, 0xe372, 0xe69c, 0xfc10,
    328   0x0000, 0xff81, 0xff04, 0xfc18, 0xeede, 0xeebc, 0xfc18, 0xfe86,
    329   0x0000, 0xff82, 0xff06, 0xfd50, 0xf5a4, 0xfd58, 0xfe89, 0xff04,
    330   0x0000, 0xff83, 0xff54, 0xfe60, 0xfe68, 0xff01, 0xff06, 0xff82,
    331   0x0000, 0xffaa, 0xff98, 0xffc0, 0xff67, 0xff56, 0xff83, 0x0000,
    332   0x0000, 0xffcc, 0xfff0, 0xffe8, 0xff9a, 0xffab, 0x0000, 0x007e,
    333   0x0000, 0xfff8, 0xfffa, 0xfff0, 0xffcd, 0x0000, 0x007d, 0x00fc,
    334   0x0000, 0xfffd, 0xfffc, 0xfff8, 0x0000, 0x0055, 0x00fa, 0x03f0,
    335   0x0000, 0xfffe, 0xfffe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a,
    336   0x0000, 0xffff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6,
    337   0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x10ef, 0x2981, 0x3d86,
    338   0x0000, 0x0001, 0x0004, 0x0040, 0x0a29, 0x1c39, 0x3d09, 0x3e04,
    339   0x0000, 0x0002, 0x0010, 0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82,
    340   0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03, 0xc100,
    341   0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b, 0xc180, 0xc17e,
    342   0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b, 0xc180, 0xc17e, 0xc17e,
    343   0x0055, 0x00fa, 0x03f0, 0x194d, 0xd580, 0xc1fd, 0xc1fc, 0xc1fd,
    344   0x007d, 0x00fc, 0x03f8, 0xe680, 0xd5d5, 0xc27a, 0xc27a, 0xd556,
    345   0x007e, 0x00fe, 0xfc00, 0xe6b3, 0xd62a, 0xc2f7, 0xd5ac, 0xe634,
    346   0x007f, 0xff00, 0xfc08, 0xe6e6, 0xd67f, 0xd602, 0xe668, 0xfc08,
    347   0xff80, 0xff02, 0xfc10, 0xe719, 0xe372, 0xe69c, 0xfc10, 0xfe83,
    348   0xff81, 0xff04, 0xfc18, 0xeede, 0xeebc, 0xfc18, 0xfe86, 0xff02,
    349   0xff82, 0xff06, 0xfd50, 0xf5a4, 0xfd58, 0xfe89, 0xff04, 0xff81,
    350   0xff83, 0xff54, 0xfe60, 0xfe68, 0xff01, 0xff06, 0xff82, 0x0000,
    351   0xffaa, 0xff98, 0xffc0, 0xff67, 0xff56, 0xff83, 0x0000, 0x007f,
    352   0xffcc, 0xfff0, 0xffe8, 0xff9a, 0xffab, 0x0000, 0x007e, 0x00fe,
    353   0xfff8, 0xfffa, 0xfff0, 0xffcd, 0x0000, 0x007d, 0x00fc, 0x03f8,
    354   0xfffd, 0xfffc, 0xfff8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d,
    355   0xfffe, 0xfffe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b,
    356   0xffff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03,
    357   0x0000, 0x0002, 0x0010, 0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82,
    358   0x0001, 0x0004, 0x0040, 0x0a29, 0x1c39, 0x3d09, 0x3e04, 0x3f01,
    359   0x0002, 0x0010, 0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82, 0xc080,
    360   0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03, 0xc100, 0xc0ff,
    361   0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03, 0xc100, 0xc0ff, 0x3f00,
    362   0x00aa, 0x03e8, 0x191a, 0x2a2b, 0xc180, 0xc17e, 0xc17e, 0x3e80,
    363   0x00fa, 0x03f0, 0x194d, 0xd580, 0xc1fd, 0xc1fc, 0xc1fd, 0x2b00,
    364   0x00fc, 0x03f8, 0xe680, 0xd5d5, 0xc27a, 0xc27a, 0xd556, 0x1a00,
    365   0x00fe, 0xfc00, 0xe6b3, 0xd62a, 0xc2f7, 0xd5ac, 0xe634, 0x0400,
    366   0xff00, 0xfc08, 0xe6e6, 0xd67f, 0xd602, 0xe668, 0xfc08, 0x0180,
    367   0xff02, 0xfc10, 0xe719, 0xe372, 0xe69c, 0xfc10, 0xfe83, 0x0100,
    368   0xff04, 0xfc18, 0xeede, 0xeebc, 0xfc18, 0xfe86, 0xff02, 0x0080,
    369   0xff06, 0xfd50, 0xf5a4, 0xfd58, 0xfe89, 0xff04, 0xff81, 0x0000,
    370   0xff54, 0xfe60, 0xfe68, 0xff01, 0xff06, 0xff82, 0x0000, 0xff80,
    371   0xff98, 0xffc0, 0xff67, 0xff56, 0xff83, 0x0000, 0x007f, 0xff00,
    372   0xfff0, 0xffe8, 0xff9a, 0xffab, 0x0000, 0x007e, 0x00fe, 0xfc00,
    373   0xfffa, 0xfff0, 0xffcd, 0x0000, 0x007d, 0x00fc, 0x03f8, 0xe680,
    374   0xfffc, 0xfff8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d, 0xd580,
    375   0xfffe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b, 0xc180,
    376   0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03, 0xc100,
    377   0x0002, 0x0010, 0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82, 0xc080,
    378   0x0004, 0x0040, 0x0a29, 0x1c39, 0x3d09, 0x3e04, 0x3f01, 0x4000,
    379   0x0010, 0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82, 0xc080, 0x3f80,
    380   0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82, 0xc080, 0x3f80, 0x3e82,
    381   0x02a8, 0x18e7, 0x29d6, 0x3e03, 0xc100, 0xc0ff, 0x3f00, 0x3e03,
    382   0x03e8, 0x191a, 0x2a2b, 0xc180, 0xc17e, 0xc17e, 0x3e80, 0x2aaa,
    383   0x03f0, 0x194d, 0xd580, 0xc1fd, 0xc1fc, 0xc1fd, 0x2b00, 0x19cc,
    384   0x03f8, 0xe680, 0xd5d5, 0xc27a, 0xc27a, 0xd556, 0x1a00, 0x03f8,
    385   0xfc00, 0xe6b3, 0xd62a, 0xc2f7, 0xd5ac, 0xe634, 0x0400, 0x017d,
    386   0xfc08, 0xe6e6, 0xd67f, 0xd602, 0xe668, 0xfc08, 0x0180, 0x00fe,
    387   0xfc10, 0xe719, 0xe372, 0xe69c, 0xfc10, 0xfe83, 0x0100, 0x007f,
    388   0xfc18, 0xeede, 0xeebc, 0xfc18, 0xfe86, 0xff02, 0x0080, 0x0000,
    389   0xfd50, 0xf5a4, 0xfd58, 0xfe89, 0xff04, 0xff81, 0x0000, 0xff81,
    390   0xfe60, 0xfe68, 0xff01, 0xff06, 0xff82, 0x0000, 0xff80, 0xff02,
    391   0xffc0, 0xff67, 0xff56, 0xff83, 0x0000, 0x007f, 0xff00, 0xfc08,
    392   0xffe8, 0xff9a, 0xffab, 0x0000, 0x007e, 0x00fe, 0xfc00, 0xe6b3,
    393   0xfff0, 0xffcd, 0x0000, 0x007d, 0x00fc, 0x03f8, 0xe680, 0xd5d5,
    394   0xfff8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d, 0xd580, 0xc1fd,
    395   0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b, 0xc180, 0xc17e,
    396   0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03, 0xc100, 0xc0ff,
    397   0x0010, 0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82, 0xc080, 0x3f80,
    398   0x0040, 0x0a29, 0x1c39, 0x3d09, 0x3e04, 0x3f01, 0x4000, 0x3f01,
    399 };
    400 const unsigned kExpectedCount_NEON_smull_8H = 361;
    401 
    402 #endif  // VIXL_SIM_SMULL_8H_TRACE_A64_H_
    403