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