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_SMLSL_8H_TRACE_A64_H_
     35 #define VIXL_SIM_SMLSL_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_smlsl_8H[] = {
     38   0xf5d7, 0xe3c8, 0xc2f9, 0xc20c, 0xc17c, 0xc07e, 0xc17e, 0xf52f,
     39   0xef11, 0xd680, 0xc27c, 0xc18e, 0x3ffd, 0xc0fe, 0xc1fd, 0xf5ad,
     40   0xe719, 0xd62b, 0xc1ff, 0x3f10, 0x3f7e, 0xc17e, 0xc27c, 0x08df,
     41   0xe6e6, 0xd5d6, 0x3e82, 0x3e92, 0x3eff, 0xc1fe, 0xd5d5, 0x199b,
     42   0xe6b3, 0x2a81, 0x3e05, 0x3e14, 0x3e80, 0xd57e, 0xe6b3, 0x2f43,
     43   0x1980, 0x2a2c, 0x3d88, 0x3d96, 0x2b27, 0xe67e, 0xfc87, 0x31b9,
     44   0x194d, 0x29d7, 0x3d0b, 0x2a64, 0x1a49, 0xfc7e, 0xff02, 0x3237,
     45   0x191a, 0x2982, 0x2a00, 0x19a8, 0x0475, 0xfefe, 0xff81, 0x32b5,
     46   0x18e7, 0x1c8f, 0x1966, 0x0400, 0x01fa, 0xff7e, 0x0000, 0x3333,
     47   0x1122, 0x1145, 0x03ea, 0x018a, 0x017b, 0xfffe, 0x007f, 0x33b1,
     48   0x0a5c, 0x02a9, 0x0179, 0x010c, 0x00fc, 0x007e, 0x00fe, 0x342f,
     49   0x0198, 0x0100, 0x00fc, 0x008e, 0x007d, 0x00fe, 0x017d, 0x3723,
     50   0x0099, 0x00ab, 0x007f, 0x0010, 0xfffe, 0x017e, 0x0477, 0x4c4d,
     51   0x0066, 0x0056, 0x0002, 0xff92, 0xff7f, 0x047e, 0x19cc, 0x5d09,
     52   0x0033, 0x0001, 0xff85, 0xff14, 0xfc85, 0x19fe, 0x2aaa, 0x70b9,
     53   0x0000, 0xffac, 0xff08, 0xfc20, 0xe730, 0x2afe, 0x3e82, 0x7137,
     54   0xffcd, 0xff57, 0xfc1a, 0xe6f6, 0xd652, 0x3efe, 0x3f01, 0x71b5,
     55   0xff9a, 0xfd59, 0xe71b, 0xd63a, 0xc27a, 0x3f7e, 0x3f80, 0xf433,
     56   0xfe68, 0xef12, 0xd681, 0xc28a, 0xc1fb, 0x3ffe, 0xc0ff, 0xf4b1,
     57   0xef11, 0xd680, 0xc27c, 0xc18e, 0x3ffd, 0xc0fe, 0xc1fd, 0xf5ad,
     58   0xe3c7, 0xc2f8, 0xc1fe, 0xc10f, 0xc07d, 0xc17d, 0xc27b, 0xf62a,
     59   0xd67f, 0xc27b, 0xc180, 0x3f90, 0xc0fd, 0xc1fc, 0xc2f9, 0x0935,
     60   0xd62a, 0xc1fe, 0x3f02, 0x3f11, 0xc17d, 0xc27b, 0xd62b, 0x19cf,
     61   0xd5d5, 0x3e81, 0x3e84, 0x3e92, 0xc1fd, 0xd5d4, 0xe6e7, 0x2f4b,
     62   0x2a80, 0x3e04, 0x3e06, 0x3e13, 0xd57d, 0xe6b2, 0xfc8f, 0x31bc,
     63   0x2a2b, 0x3d87, 0x3d88, 0x2aba, 0xe67d, 0xfc86, 0xff05, 0x3239,
     64   0x29d6, 0x3d0a, 0x2a56, 0x19dc, 0xfc7d, 0xff01, 0xff83, 0x32b6,
     65   0x2981, 0x29ff, 0x199a, 0x0408, 0xfefd, 0xff80, 0x0001, 0x3333,
     66   0x1c8e, 0x1965, 0x03f2, 0x018d, 0xff7d, 0xffff, 0x007f, 0x33b0,
     67   0x1144, 0x03e9, 0x017c, 0x010e, 0xfffd, 0x007e, 0x00fd, 0x342d,
     68   0x02a8, 0x0178, 0x00fe, 0x008f, 0x007d, 0x00fd, 0x017b, 0x371b,
     69   0x00ff, 0x00fb, 0x0080, 0x0010, 0x00fd, 0x017c, 0x046f, 0x4c1a,
     70   0x00aa, 0x007e, 0x0002, 0xff91, 0x017d, 0x0476, 0x1999, 0x5cb4,
     71   0x0055, 0x0001, 0xff84, 0xff12, 0x047d, 0x19cb, 0x2a55, 0x703c,
     72   0x0000, 0xff84, 0xff06, 0xfc18, 0x19fd, 0x2aa9, 0x3e05, 0x70b9,
     73   0xffab, 0xff07, 0xfc12, 0xe6c3, 0x2afd, 0x3e81, 0x3e83, 0x7136,
     74   0xff56, 0xfc19, 0xe6e8, 0xd5e5, 0x3efd, 0x3f00, 0x3f01, 0xf4b3,
     75   0xfd58, 0xe71a, 0xd62c, 0xc20d, 0x3f7d, 0x3f7f, 0xc17f, 0xf530,
     76   0xe719, 0xd62b, 0xc1ff, 0x3f10, 0x3f7e, 0xc17e, 0xc27c, 0x08df,
     77   0xd67f, 0xc27b, 0xc180, 0x3f90, 0xc0fd, 0xc1fc, 0xc2f9, 0x0935,
     78   0xc2f7, 0xc1fd, 0xc101, 0xc010, 0xc17c, 0xc27a, 0xc376, 0x164f,
     79   0xc27a, 0xc17f, 0x3f82, 0xc090, 0xc1fb, 0xc2f8, 0xd681, 0x21bb,
     80   0xc1fd, 0x3f01, 0x3f03, 0xc110, 0xc27a, 0xd62a, 0xe71b, 0x3083,
     81   0x3e80, 0x3e83, 0x3e84, 0xc190, 0xd5d3, 0xe6e6, 0xfc97, 0x3231,
     82   0x3e03, 0x3e05, 0x3e05, 0xd510, 0xe6b1, 0xfc8e, 0xff08, 0x3287,
     83   0x3d86, 0x3d87, 0x2aac, 0xe610, 0xfc85, 0xff04, 0xff85, 0x32dd,
     84   0x3d09, 0x2a55, 0x19ce, 0xfc10, 0xff00, 0xff82, 0x0002, 0x3333,
     85   0x29fe, 0x1999, 0x03fa, 0xfe90, 0xff7f, 0x0000, 0x007f, 0x3389,
     86   0x1964, 0x03f1, 0x017f, 0xff10, 0xfffe, 0x007e, 0x00fc, 0x33df,
     87   0x03e8, 0x017b, 0x0100, 0xff90, 0x007d, 0x00fc, 0x0179, 0x35e3,
     88   0x0177, 0x00fd, 0x0081, 0x0010, 0x00fc, 0x017a, 0x0467, 0x4455,
     89   0x00fa, 0x007f, 0x0002, 0x0090, 0x017b, 0x046e, 0x1966, 0x4fc1,
     90   0x007d, 0x0001, 0xff83, 0x0110, 0x0475, 0x1998, 0x2a00, 0x5d31,
     91   0x0000, 0xff83, 0xff04, 0x0410, 0x19ca, 0x2a54, 0x3d88, 0x5d87,
     92   0xff83, 0xff05, 0xfc0a, 0x1990, 0x2aa8, 0x3e04, 0x3e05, 0x5ddd,
     93   0xff06, 0xfc11, 0xe6b5, 0x2a90, 0x3e80, 0x3e82, 0x3e82, 0x0833,
     94   0xfc18, 0xe6e7, 0xd5d7, 0x3e90, 0x3eff, 0x3f00, 0xc1ff, 0x0889,
     95   0xe6e6, 0xd5d6, 0x3e82, 0x3e92, 0x3eff, 0xc1fe, 0xd5d5, 0x199b,
     96   0xd62a, 0xc1fe, 0x3f02, 0x3f11, 0xc17d, 0xc27b, 0xd62b, 0x19cf,
     97   0xc27a, 0xc17f, 0x3f82, 0xc090, 0xc1fb, 0xc2f8, 0xd681, 0x21bb,
     98   0xc1fc, 0xc100, 0xc002, 0xc10f, 0xc279, 0xc375, 0xe39b, 0x28a3,
     99   0xc17e, 0x3f81, 0xc082, 0xc18e, 0xc2f7, 0xd680, 0xef07, 0x3193,
    100   0x3f00, 0x3f02, 0xc102, 0xc20d, 0xd629, 0xe71a, 0xfdcf, 0x3297,
    101   0x3e82, 0x3e83, 0xc182, 0xd566, 0xe6e5, 0xfc96, 0xff7d, 0x32cb,
    102   0x3e04, 0x3e04, 0xd502, 0xe644, 0xfc8d, 0xff07, 0xffd3, 0x32ff,
    103   0x3d86, 0x2aab, 0xe602, 0xfc18, 0xff03, 0xff84, 0x0029, 0x3333,
    104   0x2a54, 0x19cd, 0xfc02, 0xfe93, 0xff81, 0x0001, 0x007f, 0x3367,
    105   0x1998, 0x03f9, 0xfe82, 0xff12, 0xffff, 0x007e, 0x00d5, 0x339b,
    106   0x03f0, 0x017e, 0xff02, 0xff91, 0x007d, 0x00fb, 0x012b, 0x34d3,
    107   0x017a, 0x00ff, 0xff82, 0x0010, 0x00fb, 0x0178, 0x032f, 0x3d8f,
    108   0x00fc, 0x0080, 0x0002, 0x008f, 0x0179, 0x0466, 0x11a1, 0x4477,
    109   0x007e, 0x0001, 0x0082, 0x010e, 0x046d, 0x1965, 0x1d0d, 0x4c97,
    110   0x0000, 0xff82, 0x0102, 0x0408, 0x1997, 0x29ff, 0x2a7d, 0x4ccb,
    111   0xff82, 0xff03, 0x0402, 0x195d, 0x2a53, 0x3d87, 0x2ad3, 0x4cff,
    112   0xff04, 0xfc09, 0x1982, 0x2a3b, 0x3e03, 0x3e04, 0x2b29, 0x1933,
    113   0xfc10, 0xe6b4, 0x2a82, 0x3e13, 0x3e81, 0x3e81, 0xd57f, 0x1967,
    114   0xe6b3, 0x2a81, 0x3e05, 0x3e14, 0x3e80, 0xd57e, 0xe6b3, 0x2f43,
    115   0xd5d5, 0x3e81, 0x3e84, 0x3e92, 0xc1fd, 0xd5d4, 0xe6e7, 0x2f4b,
    116   0xc1fd, 0x3f01, 0x3f03, 0xc110, 0xc27a, 0xd62a, 0xe71b, 0x3083,
    117   0xc17e, 0x3f81, 0xc082, 0xc18e, 0xc2f7, 0xd680, 0xef07, 0x3193,
    118   0xc0ff, 0xc001, 0xc101, 0xc20c, 0xc374, 0xe39a, 0xf5ef, 0x32f3,
    119   0x3f80, 0xc081, 0xc180, 0xc28a, 0xd67f, 0xef06, 0xfedf, 0x331b,
    120   0x3f01, 0xc101, 0xc1ff, 0xd5bc, 0xe719, 0xfdce, 0xffe3, 0x3323,
    121   0x3e82, 0xc181, 0xd558, 0xe678, 0xfc95, 0xff7c, 0x0017, 0x332b,
    122   0x3e03, 0xd501, 0xe636, 0xfc20, 0xff06, 0xffd2, 0x004b, 0x3333,
    123   0x2aaa, 0xe601, 0xfc0a, 0xfe96, 0xff83, 0x0028, 0x007f, 0x333b,
    124   0x19cc, 0xfc01, 0xfe85, 0xff14, 0x0000, 0x007e, 0x00b3, 0x3343,
    125   0x03f8, 0xfe81, 0xff04, 0xff92, 0x007d, 0x00d4, 0x00e7, 0x3373,
    126   0x017d, 0xff01, 0xff83, 0x0010, 0x00fa, 0x012a, 0x021f, 0x34cb,
    127   0x00fe, 0xff81, 0x0002, 0x008e, 0x0177, 0x032e, 0x0adb, 0x35db,
    128   0x007f, 0x0001, 0x0081, 0x010c, 0x0465, 0x11a0, 0x11c3, 0x371b,
    129   0x0000, 0x0081, 0x0100, 0x0400, 0x1964, 0x1d0c, 0x19e3, 0x3723,
    130   0xff81, 0x0101, 0x03fa, 0x192a, 0x29fe, 0x2a7c, 0x1a17, 0x372b,
    131   0xff02, 0x0401, 0x194f, 0x29e6, 0x3d86, 0x2ad2, 0x1a4b, 0x2f33,
    132   0xfc08, 0x1981, 0x2a2d, 0x3d96, 0x3e03, 0x2b28, 0xe67f, 0x2f3b,
    133   0x1980, 0x2a2c, 0x3d88, 0x3d96, 0x2b27, 0xe67e, 0xfc87, 0x31b9,
    134   0x2a80, 0x3e04, 0x3e06, 0x3e13, 0xd57d, 0xe6b2, 0xfc8f, 0x31bc,
    135   0x3e80, 0x3e83, 0x3e84, 0xc190, 0xd5d3, 0xe6e6, 0xfc97, 0x3231,
    136   0x3f00, 0x3f02, 0xc102, 0xc20d, 0xd629, 0xe71a, 0xfdcf, 0x3297,
    137   0x3f80, 0xc081, 0xc180, 0xc28a, 0xd67f, 0xef06, 0xfedf, 0x331b,
    138   0xc000, 0xc100, 0xc1fe, 0xc307, 0xe399, 0xf5ee, 0x003f, 0x332a,
    139   0xc080, 0xc17f, 0xc27c, 0xd612, 0xef05, 0xfede, 0x0067, 0x332d,
    140   0xc100, 0xc1fe, 0xd5ae, 0xe6ac, 0xfdcd, 0xffe2, 0x006f, 0x3330,
    141   0xc180, 0xd557, 0xe66a, 0xfc28, 0xff7b, 0x0016, 0x0077, 0x3333,
    142   0xd500, 0xe635, 0xfc12, 0xfe99, 0xffd1, 0x004a, 0x007f, 0x3336,
    143   0xe600, 0xfc09, 0xfe88, 0xff16, 0x0027, 0x007e, 0x0087, 0x3339,
    144   0xfc00, 0xfe84, 0xff06, 0xff93, 0x007d, 0x00b2, 0x008f, 0x334b,
    145   0xfe80, 0xff03, 0xff84, 0x0010, 0x00d3, 0x00e6, 0x00bf, 0x33cc,
    146   0xff00, 0xff82, 0x0002, 0x008d, 0x0129, 0x021e, 0x0217, 0x3432,
    147   0xff80, 0x0001, 0x0080, 0x010a, 0x032d, 0x0ada, 0x0327, 0x34aa,
    148   0x0000, 0x0080, 0x00fe, 0x03f8, 0x119f, 0x11c2, 0x0467, 0x34ad,
    149   0x0080, 0x00ff, 0x03f2, 0x18f7, 0x1d0b, 0x19e2, 0x046f, 0x34b0,
    150   0x0100, 0x03f9, 0x191c, 0x2991, 0x2a7b, 0x1a16, 0x0477, 0x31b3,
    151   0x0400, 0x194e, 0x29d8, 0x3d19, 0x2ad1, 0x1a4a, 0xfc7f, 0x31b6,
    152   0x194d, 0x29d7, 0x3d0b, 0x2a64, 0x1a49, 0xfc7e, 0xff02, 0x3237,
    153   0x2a2b, 0x3d87, 0x3d88, 0x2aba, 0xe67d, 0xfc86, 0xff05, 0x3239,
    154   0x3e03, 0x3e05, 0x3e05, 0xd510, 0xe6b1, 0xfc8e, 0xff08, 0x3287,
    155   0x3e82, 0x3e83, 0xc182, 0xd566, 0xe6e5, 0xfc96, 0xff7d, 0x32cb,
    156   0x3f01, 0xc101, 0xc1ff, 0xd5bc, 0xe719, 0xfdce, 0xffe3, 0x3323,
    157   0xc080, 0xc17f, 0xc27c, 0xd612, 0xef05, 0xfede, 0x0067, 0x332d,
    158   0xc0ff, 0xc1fd, 0xc2f9, 0xe32c, 0xf5ed, 0x003e, 0x0076, 0x332f,
    159   0xc17e, 0xc27b, 0xd604, 0xee98, 0xfedd, 0x0066, 0x0079, 0x3331,
    160   0xc1fd, 0xd5ad, 0xe69e, 0xfd60, 0xffe1, 0x006e, 0x007c, 0x3333,
    161   0xd556, 0xe669, 0xfc1a, 0xff0e, 0x0015, 0x0076, 0x007f, 0x3335,
    162   0xe634, 0xfc11, 0xfe8b, 0xff64, 0x0049, 0x007e, 0x0082, 0x3337,
    163   0xfc08, 0xfe87, 0xff08, 0xffba, 0x007d, 0x0086, 0x0085, 0x3343,
    164   0xfe83, 0xff05, 0xff85, 0x0010, 0x00b1, 0x008e, 0x0097, 0x3399,
    165   0xff02, 0xff83, 0x0002, 0x0066, 0x00e5, 0x00be, 0x0118, 0x33dd,
    166   0xff81, 0x0001, 0x007f, 0x00bc, 0x021d, 0x0216, 0x017e, 0x342d,
    167   0x0000, 0x007f, 0x00fc, 0x02c0, 0x0ad9, 0x0326, 0x01f6, 0x342f,
    168   0x007f, 0x00fd, 0x03ea, 0x1132, 0x11c1, 0x0466, 0x01f9, 0x3431,
    169   0x00fe, 0x03f1, 0x18e9, 0x1c9e, 0x19e1, 0x046e, 0x01fc, 0x3233,
    170   0x03f8, 0x191b, 0x2983, 0x2a0e, 0x1a15, 0x0476, 0xfeff, 0x3235,
    171   0x191a, 0x2982, 0x2a00, 0x19a8, 0x0475, 0xfefe, 0xff81, 0x32b5,
    172   0x29d6, 0x3d0a, 0x2a56, 0x19dc, 0xfc7d, 0xff01, 0xff83, 0x32b6,
    173   0x3d86, 0x3d87, 0x2aac, 0xe610, 0xfc85, 0xff04, 0xff85, 0x32dd,
    174   0x3e04, 0x3e04, 0xd502, 0xe644, 0xfc8d, 0xff07, 0xffd3, 0x32ff,
    175   0x3e82, 0xc181, 0xd558, 0xe678, 0xfc95, 0xff7c, 0x0017, 0x332b,
    176   0xc100, 0xc1fe, 0xd5ae, 0xe6ac, 0xfdcd, 0xffe2, 0x006f, 0x3330,
    177   0xc17e, 0xc27b, 0xd604, 0xee98, 0xfedd, 0x0066, 0x0079, 0x3331,
    178   0xc1fc, 0xc2f8, 0xe31e, 0xf580, 0x003d, 0x0075, 0x007b, 0x3332,
    179   0xc27a, 0xd603, 0xee8a, 0xfe70, 0x0065, 0x0078, 0x007d, 0x3333,
    180   0xd5ac, 0xe69d, 0xfd52, 0xff74, 0x006d, 0x007b, 0x007f, 0x3334,
    181   0xe668, 0xfc19, 0xff00, 0xffa8, 0x0075, 0x007e, 0x0081, 0x3335,
    182   0xfc10, 0xfe8a, 0xff56, 0xffdc, 0x007d, 0x0081, 0x0083, 0x333b,
    183   0xfe86, 0xff07, 0xffac, 0x0010, 0x0085, 0x0084, 0x008f, 0x3366,
    184   0xff04, 0xff84, 0x0002, 0x0044, 0x008d, 0x0096, 0x00e5, 0x3388,
    185   0xff82, 0x0001, 0x0058, 0x0078, 0x00bd, 0x0117, 0x0129, 0x33b0,
    186   0x0000, 0x007e, 0x00ae, 0x01b0, 0x0215, 0x017d, 0x0179, 0x33b1,
    187   0x007e, 0x00fb, 0x02b2, 0x0a6c, 0x0325, 0x01f5, 0x017b, 0x33b2,
    188   0x00fc, 0x03e9, 0x1124, 0x1154, 0x0465, 0x01f8, 0x017d, 0x32b3,
    189   0x03f0, 0x18e8, 0x1c90, 0x1974, 0x046d, 0x01fb, 0xff7f, 0x32b4,
    190   0x18e7, 0x1c8f, 0x1966, 0x0400, 0x01fa, 0xff7e, 0x0000, 0x3333,
    191   0x2981, 0x29ff, 0x199a, 0x0408, 0xfefd, 0xff80, 0x0001, 0x3333,
    192   0x3d09, 0x2a55, 0x19ce, 0xfc10, 0xff00, 0xff82, 0x0002, 0x3333,
    193   0x3d86, 0x2aab, 0xe602, 0xfc18, 0xff03, 0xff84, 0x0029, 0x3333,
    194   0x3e03, 0xd501, 0xe636, 0xfc20, 0xff06, 0xffd2, 0x004b, 0x3333,
    195   0xc180, 0xd557, 0xe66a, 0xfc28, 0xff7b, 0x0016, 0x0077, 0x3333,
    196   0xc1fd, 0xd5ad, 0xe69e, 0xfd60, 0xffe1, 0x006e, 0x007c, 0x3333,
    197   0xc27a, 0xd603, 0xee8a, 0xfe70, 0x0065, 0x0078, 0x007d, 0x3333,
    198   0xc2f7, 0xe31d, 0xf572, 0xffd0, 0x0074, 0x007a, 0x007e, 0x3333,
    199   0xd602, 0xee89, 0xfe62, 0xfff8, 0x0077, 0x007c, 0x007f, 0x3333,
    200   0xe69c, 0xfd51, 0xff66, 0x0000, 0x007a, 0x007e, 0x0080, 0x3333,
    201   0xfc18, 0xfeff, 0xff9a, 0x0008, 0x007d, 0x0080, 0x0081, 0x3333,
    202   0xfe89, 0xff55, 0xffce, 0x0010, 0x0080, 0x0082, 0x0087, 0x3333,
    203   0xff06, 0xffab, 0x0002, 0x0018, 0x0083, 0x008e, 0x00b2, 0x3333,
    204   0xff83, 0x0001, 0x0036, 0x0020, 0x0095, 0x00e4, 0x00d4, 0x3333,
    205   0x0000, 0x0057, 0x006a, 0x0050, 0x0116, 0x0128, 0x00fc, 0x3333,
    206   0x007d, 0x00ad, 0x01a2, 0x01a8, 0x017c, 0x0178, 0x00fd, 0x3333,
    207   0x00fa, 0x02b1, 0x0a5e, 0x02b8, 0x01f4, 0x017a, 0x00fe, 0x3333,
    208   0x03e8, 0x1123, 0x1146, 0x03f8, 0x01f7, 0x017c, 0xffff, 0x3333,
    209   0x1122, 0x1145, 0x03ea, 0x018a, 0x017b, 0xfffe, 0x007f, 0x33b1,
    210   0x1c8e, 0x1965, 0x03f2, 0x018d, 0xff7d, 0xffff, 0x007f, 0x33b0,
    211   0x29fe, 0x1999, 0x03fa, 0xfe90, 0xff7f, 0x0000, 0x007f, 0x3389,
    212   0x2a54, 0x19cd, 0xfc02, 0xfe93, 0xff81, 0x0001, 0x007f, 0x3367,
    213   0x2aaa, 0xe601, 0xfc0a, 0xfe96, 0xff83, 0x0028, 0x007f, 0x333b,
    214   0xd500, 0xe635, 0xfc12, 0xfe99, 0xffd1, 0x004a, 0x007f, 0x3336,
    215   0xd556, 0xe669, 0xfc1a, 0xff0e, 0x0015, 0x0076, 0x007f, 0x3335,
    216   0xd5ac, 0xe69d, 0xfd52, 0xff74, 0x006d, 0x007b, 0x007f, 0x3334,
    217   0xd602, 0xee89, 0xfe62, 0xfff8, 0x0077, 0x007c, 0x007f, 0x3333,
    218   0xe31c, 0xf571, 0xffc2, 0x0007, 0x0079, 0x007d, 0x007f, 0x3332,
    219   0xee88, 0xfe61, 0xffea, 0x000a, 0x007b, 0x007e, 0x007f, 0x3331,
    220   0xfd50, 0xff65, 0xfff2, 0x000d, 0x007d, 0x007f, 0x007f, 0x332b,
    221   0xfefe, 0xff99, 0xfffa, 0x0010, 0x007f, 0x0080, 0x007f, 0x3300,
    222   0xff54, 0xffcd, 0x0002, 0x0013, 0x0081, 0x0086, 0x007f, 0x32de,
    223   0xffaa, 0x0001, 0x000a, 0x0016, 0x008d, 0x00b1, 0x007f, 0x32b6,
    224   0x0000, 0x0035, 0x0012, 0x0028, 0x00e3, 0x00d3, 0x007f, 0x32b5,
    225   0x0056, 0x0069, 0x0042, 0x00a9, 0x0127, 0x00fb, 0x007f, 0x32b4,
    226   0x00ac, 0x01a1, 0x019a, 0x010f, 0x0177, 0x00fc, 0x007f, 0x33b3,
    227   0x02b0, 0x0a5d, 0x02aa, 0x0187, 0x0179, 0x00fd, 0x007f, 0x33b2,
    228   0x0a5c, 0x02a9, 0x0179, 0x010c, 0x00fc, 0x007e, 0x00fe, 0x342f,
    229   0x1144, 0x03e9, 0x017c, 0x010e, 0xfffd, 0x007e, 0x00fd, 0x342d,
    230   0x1964, 0x03f1, 0x017f, 0xff10, 0xfffe, 0x007e, 0x00fc, 0x33df,
    231   0x1998, 0x03f9, 0xfe82, 0xff12, 0xffff, 0x007e, 0x00d5, 0x339b,
    232   0x19cc, 0xfc01, 0xfe85, 0xff14, 0x0000, 0x007e, 0x00b3, 0x3343,
    233   0xe600, 0xfc09, 0xfe88, 0xff16, 0x0027, 0x007e, 0x0087, 0x3339,
    234   0xe634, 0xfc11, 0xfe8b, 0xff64, 0x0049, 0x007e, 0x0082, 0x3337,
    235   0xe668, 0xfc19, 0xff00, 0xffa8, 0x0075, 0x007e, 0x0081, 0x3335,
    236   0xe69c, 0xfd51, 0xff66, 0x0000, 0x007a, 0x007e, 0x0080, 0x3333,
    237   0xee88, 0xfe61, 0xffea, 0x000a, 0x007b, 0x007e, 0x007f, 0x3331,
    238   0xf570, 0xffc1, 0xfff9, 0x000c, 0x007c, 0x007e, 0x007e, 0x332f,
    239   0xfe60, 0xffe9, 0xfffc, 0x000e, 0x007d, 0x007e, 0x007d, 0x3323,
    240   0xff64, 0xfff1, 0xffff, 0x0010, 0x007e, 0x007e, 0x0077, 0x32cd,
    241   0xff98, 0xfff9, 0x0002, 0x0012, 0x007f, 0x007e, 0x004c, 0x3289,
    242   0xffcc, 0x0001, 0x0005, 0x0014, 0x0085, 0x007e, 0x002a, 0x3239,
    243   0x0000, 0x0009, 0x0008, 0x0020, 0x00b0, 0x007e, 0x0002, 0x3237,
    244   0x0034, 0x0011, 0x001a, 0x0076, 0x00d2, 0x007e, 0x0001, 0x3235,
    245   0x0068, 0x0041, 0x009b, 0x00ba, 0x00fa, 0x007e, 0x0000, 0x3433,
    246   0x01a0, 0x0199, 0x0101, 0x010a, 0x00fb, 0x007e, 0x00ff, 0x3431,
    247   0x0198, 0x0100, 0x00fc, 0x008e, 0x007d, 0x00fe, 0x017d, 0x3723,
    248   0x02a8, 0x0178, 0x00fe, 0x008f, 0x007d, 0x00fd, 0x017b, 0x371b,
    249   0x03e8, 0x017b, 0x0100, 0xff90, 0x007d, 0x00fc, 0x0179, 0x35e3,
    250   0x03f0, 0x017e, 0xff02, 0xff91, 0x007d, 0x00fb, 0x012b, 0x34d3,
    251   0x03f8, 0xfe81, 0xff04, 0xff92, 0x007d, 0x00d4, 0x00e7, 0x3373,
    252   0xfc00, 0xfe84, 0xff06, 0xff93, 0x007d, 0x00b2, 0x008f, 0x334b,
    253   0xfc08, 0xfe87, 0xff08, 0xffba, 0x007d, 0x0086, 0x0085, 0x3343,
    254   0xfc10, 0xfe8a, 0xff56, 0xffdc, 0x007d, 0x0081, 0x0083, 0x333b,
    255   0xfc18, 0xfeff, 0xff9a, 0x0008, 0x007d, 0x0080, 0x0081, 0x3333,
    256   0xfd50, 0xff65, 0xfff2, 0x000d, 0x007d, 0x007f, 0x007f, 0x332b,
    257   0xfe60, 0xffe9, 0xfffc, 0x000e, 0x007d, 0x007e, 0x007d, 0x3323,
    258   0xffc0, 0xfff8, 0xfffe, 0x000f, 0x007d, 0x007d, 0x007b, 0x32f3,
    259   0xffe8, 0xfffb, 0x0000, 0x0010, 0x007d, 0x007c, 0x006f, 0x319b,
    260   0xfff0, 0xfffe, 0x0002, 0x0011, 0x007d, 0x0076, 0x0019, 0x308b,
    261   0xfff8, 0x0001, 0x0004, 0x0012, 0x007d, 0x004b, 0xffd5, 0x2f4b,
    262   0x0000, 0x0004, 0x0006, 0x0018, 0x007d, 0x0029, 0xff85, 0x2f43,
    263   0x0008, 0x0007, 0x0012, 0x0043, 0x007d, 0x0001, 0xff83, 0x2f3b,
    264   0x0010, 0x0019, 0x0068, 0x0065, 0x007d, 0x0000, 0xff81, 0x3733,
    265   0x0040, 0x009a, 0x00ac, 0x008d, 0x007d, 0xffff, 0x017f, 0x372b,
    266   0x0099, 0x00ab, 0x007f, 0x0010, 0xfffe, 0x017e, 0x0477, 0x4c4d,
    267   0x00ff, 0x00fb, 0x0080, 0x0010, 0x00fd, 0x017c, 0x046f, 0x4c1a,
    268   0x0177, 0x00fd, 0x0081, 0x0010, 0x00fc, 0x017a, 0x0467, 0x4455,
    269   0x017a, 0x00ff, 0xff82, 0x0010, 0x00fb, 0x0178, 0x032f, 0x3d8f,
    270   0x017d, 0xff01, 0xff83, 0x0010, 0x00fa, 0x012a, 0x021f, 0x34cb,
    271   0xfe80, 0xff03, 0xff84, 0x0010, 0x00d3, 0x00e6, 0x00bf, 0x33cc,
    272   0xfe83, 0xff05, 0xff85, 0x0010, 0x00b1, 0x008e, 0x0097, 0x3399,
    273   0xfe86, 0xff07, 0xffac, 0x0010, 0x0085, 0x0084, 0x008f, 0x3366,
    274   0xfe89, 0xff55, 0xffce, 0x0010, 0x0080, 0x0082, 0x0087, 0x3333,
    275   0xfefe, 0xff99, 0xfffa, 0x0010, 0x007f, 0x0080, 0x007f, 0x3300,
    276   0xff64, 0xfff1, 0xffff, 0x0010, 0x007e, 0x007e, 0x0077, 0x32cd,
    277   0xffe8, 0xfffb, 0x0000, 0x0010, 0x007d, 0x007c, 0x006f, 0x319b,
    278   0xfff7, 0xfffd, 0x0001, 0x0010, 0x007c, 0x007a, 0x003f, 0x290a,
    279   0xfffa, 0xffff, 0x0002, 0x0010, 0x007b, 0x006e, 0xfee7, 0x2244,
    280   0xfffd, 0x0001, 0x0003, 0x0010, 0x0075, 0x0018, 0xfdd7, 0x1a4c,
    281   0x0000, 0x0003, 0x0004, 0x0010, 0x004a, 0xffd4, 0xfc97, 0x1a19,
    282   0x0003, 0x0005, 0x000a, 0x0010, 0x0028, 0xff84, 0xfc8f, 0x19e6,
    283   0x0006, 0x0011, 0x0035, 0x0010, 0x0000, 0xff82, 0xfc87, 0x4cb3,
    284   0x0018, 0x0067, 0x0057, 0x0010, 0xffff, 0xff80, 0x047f, 0x4c80,
    285   0x0066, 0x0056, 0x0002, 0xff92, 0xff7f, 0x047e, 0x19cc, 0x5d09,
    286   0x00aa, 0x007e, 0x0002, 0xff91, 0x017d, 0x0476, 0x1999, 0x5cb4,
    287   0x00fa, 0x007f, 0x0002, 0x0090, 0x017b, 0x046e, 0x1966, 0x4fc1,
    288   0x00fc, 0x0080, 0x0002, 0x008f, 0x0179, 0x0466, 0x11a1, 0x4477,
    289   0x00fe, 0xff81, 0x0002, 0x008e, 0x0177, 0x032e, 0x0adb, 0x35db,
    290   0xff00, 0xff82, 0x0002, 0x008d, 0x0129, 0x021e, 0x0217, 0x3432,
    291   0xff02, 0xff83, 0x0002, 0x0066, 0x00e5, 0x00be, 0x0118, 0x33dd,
    292   0xff04, 0xff84, 0x0002, 0x0044, 0x008d, 0x0096, 0x00e5, 0x3388,
    293   0xff06, 0xffab, 0x0002, 0x0018, 0x0083, 0x008e, 0x00b2, 0x3333,
    294   0xff54, 0xffcd, 0x0002, 0x0013, 0x0081, 0x0086, 0x007f, 0x32de,
    295   0xff98, 0xfff9, 0x0002, 0x0012, 0x007f, 0x007e, 0x004c, 0x3289,
    296   0xfff0, 0xfffe, 0x0002, 0x0011, 0x007d, 0x0076, 0x0019, 0x308b,
    297   0xfffa, 0xffff, 0x0002, 0x0010, 0x007b, 0x006e, 0xfee7, 0x2244,
    298   0xfffc, 0x0000, 0x0002, 0x000f, 0x0079, 0x003e, 0xf656, 0x16fa,
    299   0xfffe, 0x0001, 0x0002, 0x000e, 0x006d, 0xfee6, 0xef90, 0x09b2,
    300   0x0000, 0x0002, 0x0002, 0x0008, 0x0017, 0xfdd6, 0xe798, 0x095d,
    301   0x0002, 0x0003, 0x0002, 0xffdd, 0xffd3, 0xfc96, 0xe765, 0x0908,
    302   0x0004, 0x0009, 0x0002, 0xffbb, 0xff83, 0xfc8e, 0xe732, 0x5db3,
    303   0x0010, 0x0034, 0x0002, 0xff93, 0xff81, 0xfc86, 0x19ff, 0x5d5e,
    304   0x0033, 0x0001, 0xff85, 0xff14, 0xfc85, 0x19fe, 0x2aaa, 0x70b9,
    305   0x0055, 0x0001, 0xff84, 0xff12, 0x047d, 0x19cb, 0x2a55, 0x703c,
    306   0x007d, 0x0001, 0xff83, 0x0110, 0x0475, 0x1998, 0x2a00, 0x5d31,
    307   0x007e, 0x0001, 0x0082, 0x010e, 0x046d, 0x1965, 0x1d0d, 0x4c97,
    308   0x007f, 0x0001, 0x0081, 0x010c, 0x0465, 0x11a0, 0x11c3, 0x371b,
    309   0xff80, 0x0001, 0x0080, 0x010a, 0x032d, 0x0ada, 0x0327, 0x34aa,
    310   0xff81, 0x0001, 0x007f, 0x00bc, 0x021d, 0x0216, 0x017e, 0x342d,
    311   0xff82, 0x0001, 0x0058, 0x0078, 0x00bd, 0x0117, 0x0129, 0x33b0,
    312   0xff83, 0x0001, 0x0036, 0x0020, 0x0095, 0x00e4, 0x00d4, 0x3333,
    313   0xffaa, 0x0001, 0x000a, 0x0016, 0x008d, 0x00b1, 0x007f, 0x32b6,
    314   0xffcc, 0x0001, 0x0005, 0x0014, 0x0085, 0x007e, 0x002a, 0x3239,
    315   0xfff8, 0x0001, 0x0004, 0x0012, 0x007d, 0x004b, 0xffd5, 0x2f4b,
    316   0xfffd, 0x0001, 0x0003, 0x0010, 0x0075, 0x0018, 0xfdd7, 0x1a4c,
    317   0xfffe, 0x0001, 0x0002, 0x000e, 0x006d, 0xfee6, 0xef90, 0x09b2,
    318   0xffff, 0x0001, 0x0001, 0x000c, 0x003d, 0xf655, 0xe446, 0xf62a,
    319   0x0000, 0x0001, 0x0000, 0x0000, 0xfee5, 0xef8f, 0xd6fe, 0xf5ad,
    320   0x0001, 0x0001, 0xfffa, 0xffaa, 0xfdd5, 0xe797, 0xd6a9, 0xf530,
    321   0x0002, 0x0001, 0xffcf, 0xff66, 0xfc95, 0xe764, 0xd654, 0x71b3,
    322   0x0008, 0x0001, 0xffad, 0xff16, 0xfc8d, 0xe731, 0x2aff, 0x7136,
    323   0x0000, 0xffac, 0xff08, 0xfc20, 0xe730, 0x2afe, 0x3e82, 0x7137,
    324   0x0000, 0xff84, 0xff06, 0xfc18, 0x19fd, 0x2aa9, 0x3e05, 0x70b9,
    325   0x0000, 0xff83, 0xff04, 0x0410, 0x19ca, 0x2a54, 0x3d88, 0x5d87,
    326   0x0000, 0xff82, 0x0102, 0x0408, 0x1997, 0x29ff, 0x2a7d, 0x4ccb,
    327   0x0000, 0x0081, 0x0100, 0x0400, 0x1964, 0x1d0c, 0x19e3, 0x3723,
    328   0x0000, 0x0080, 0x00fe, 0x03f8, 0x119f, 0x11c2, 0x0467, 0x34ad,
    329   0x0000, 0x007f, 0x00fc, 0x02c0, 0x0ad9, 0x0326, 0x01f6, 0x342f,
    330   0x0000, 0x007e, 0x00ae, 0x01b0, 0x0215, 0x017d, 0x0179, 0x33b1,
    331   0x0000, 0x0057, 0x006a, 0x0050, 0x0116, 0x0128, 0x00fc, 0x3333,
    332   0x0000, 0x0035, 0x0012, 0x0028, 0x00e3, 0x00d3, 0x007f, 0x32b5,
    333   0x0000, 0x0009, 0x0008, 0x0020, 0x00b0, 0x007e, 0x0002, 0x3237,
    334   0x0000, 0x0004, 0x0006, 0x0018, 0x007d, 0x0029, 0xff85, 0x2f43,
    335   0x0000, 0x0003, 0x0004, 0x0010, 0x004a, 0xffd4, 0xfc97, 0x1a19,
    336   0x0000, 0x0002, 0x0002, 0x0008, 0x0017, 0xfdd6, 0xe798, 0x095d,
    337   0x0000, 0x0001, 0x0000, 0x0000, 0xfee5, 0xef8f, 0xd6fe, 0xf5ad,
    338   0x0000, 0x0000, 0xfffe, 0xffd0, 0xf654, 0xe445, 0xc376, 0xf52f,
    339   0x0000, 0xffff, 0xfff2, 0xfe78, 0xef8e, 0xd6fd, 0xc2f9, 0xf4b1,
    340   0x0000, 0xfff9, 0xff9c, 0xfd68, 0xe796, 0xd6a8, 0xc27c, 0x7233,
    341   0x0000, 0xffce, 0xff58, 0xfc28, 0xe763, 0xd653, 0x3eff, 0x71b5,
    342   0xffcd, 0xff57, 0xfc1a, 0xe6f6, 0xd652, 0x3efe, 0x3f01, 0x71b5,
    343   0xffab, 0xff07, 0xfc12, 0xe6c3, 0x2afd, 0x3e81, 0x3e83, 0x7136,
    344   0xff83, 0xff05, 0xfc0a, 0x1990, 0x2aa8, 0x3e04, 0x3e05, 0x5ddd,
    345   0xff82, 0xff03, 0x0402, 0x195d, 0x2a53, 0x3d87, 0x2ad3, 0x4cff,
    346   0xff81, 0x0101, 0x03fa, 0x192a, 0x29fe, 0x2a7c, 0x1a17, 0x372b,
    347   0x0080, 0x00ff, 0x03f2, 0x18f7, 0x1d0b, 0x19e2, 0x046f, 0x34b0,
    348   0x007f, 0x00fd, 0x03ea, 0x1132, 0x11c1, 0x0466, 0x01f9, 0x3431,
    349   0x007e, 0x00fb, 0x02b2, 0x0a6c, 0x0325, 0x01f5, 0x017b, 0x33b2,
    350   0x007d, 0x00ad, 0x01a2, 0x01a8, 0x017c, 0x0178, 0x00fd, 0x3333,
    351   0x0056, 0x0069, 0x0042, 0x00a9, 0x0127, 0x00fb, 0x007f, 0x32b4,
    352   0x0034, 0x0011, 0x001a, 0x0076, 0x00d2, 0x007e, 0x0001, 0x3235,
    353   0x0008, 0x0007, 0x0012, 0x0043, 0x007d, 0x0001, 0xff83, 0x2f3b,
    354   0x0003, 0x0005, 0x000a, 0x0010, 0x0028, 0xff84, 0xfc8f, 0x19e6,
    355   0x0002, 0x0003, 0x0002, 0xffdd, 0xffd3, 0xfc96, 0xe765, 0x0908,
    356   0x0001, 0x0001, 0xfffa, 0xffaa, 0xfdd5, 0xe797, 0xd6a9, 0xf530,
    357   0x0000, 0xffff, 0xfff2, 0xfe78, 0xef8e, 0xd6fd, 0xc2f9, 0xf4b1,
    358   0xffff, 0xfffd, 0xffc2, 0xf5e7, 0xe444, 0xc375, 0xc27b, 0xf432,
    359   0xfffe, 0xfff1, 0xfe6a, 0xef21, 0xd6fc, 0xc2f8, 0xc1fd, 0x72b3,
    360   0xfff8, 0xff9b, 0xfd5a, 0xe729, 0xd6a7, 0xc27b, 0x3f7f, 0x7234,
    361   0xff9a, 0xfd59, 0xe71b, 0xd63a, 0xc27a, 0x3f7e, 0x3f80, 0xf433,
    362   0xff56, 0xfc19, 0xe6e8, 0xd5e5, 0x3efd, 0x3f00, 0x3f01, 0xf4b3,
    363   0xff06, 0xfc11, 0xe6b5, 0x2a90, 0x3e80, 0x3e82, 0x3e82, 0x0833,
    364   0xff04, 0xfc09, 0x1982, 0x2a3b, 0x3e03, 0x3e04, 0x2b29, 0x1933,
    365   0xff02, 0x0401, 0x194f, 0x29e6, 0x3d86, 0x2ad2, 0x1a4b, 0x2f33,
    366   0x0100, 0x03f9, 0x191c, 0x2991, 0x2a7b, 0x1a16, 0x0477, 0x31b3,
    367   0x00fe, 0x03f1, 0x18e9, 0x1c9e, 0x19e1, 0x046e, 0x01fc, 0x3233,
    368   0x00fc, 0x03e9, 0x1124, 0x1154, 0x0465, 0x01f8, 0x017d, 0x32b3,
    369   0x00fa, 0x02b1, 0x0a5e, 0x02b8, 0x01f4, 0x017a, 0x00fe, 0x3333,
    370   0x00ac, 0x01a1, 0x019a, 0x010f, 0x0177, 0x00fc, 0x007f, 0x33b3,
    371   0x0068, 0x0041, 0x009b, 0x00ba, 0x00fa, 0x007e, 0x0000, 0x3433,
    372   0x0010, 0x0019, 0x0068, 0x0065, 0x007d, 0x0000, 0xff81, 0x3733,
    373   0x0006, 0x0011, 0x0035, 0x0010, 0x0000, 0xff82, 0xfc87, 0x4cb3,
    374   0x0004, 0x0009, 0x0002, 0xffbb, 0xff83, 0xfc8e, 0xe732, 0x5db3,
    375   0x0002, 0x0001, 0xffcf, 0xff66, 0xfc95, 0xe764, 0xd654, 0x71b3,
    376   0x0000, 0xfff9, 0xff9c, 0xfd68, 0xe796, 0xd6a8, 0xc27c, 0x7233,
    377   0xfffe, 0xfff1, 0xfe6a, 0xef21, 0xd6fc, 0xc2f8, 0xc1fd, 0x72b3,
    378   0xfffc, 0xffc1, 0xf5d9, 0xe3d7, 0xc374, 0xc27a, 0xc17e, 0xf333,
    379   0xfff0, 0xfe69, 0xef13, 0xd68f, 0xc2f7, 0xc1fc, 0x3fff, 0xf3b3,
    380   0xfe68, 0xef12, 0xd681, 0xc28a, 0xc1fb, 0x3ffe, 0xc0ff, 0xf4b1,
    381   0xfd58, 0xe71a, 0xd62c, 0xc20d, 0x3f7d, 0x3f7f, 0xc17f, 0xf530,
    382   0xfc18, 0xe6e7, 0xd5d7, 0x3e90, 0x3eff, 0x3f00, 0xc1ff, 0x0889,
    383   0xfc10, 0xe6b4, 0x2a82, 0x3e13, 0x3e81, 0x3e81, 0xd57f, 0x1967,
    384   0xfc08, 0x1981, 0x2a2d, 0x3d96, 0x3e03, 0x2b28, 0xe67f, 0x2f3b,
    385   0x0400, 0x194e, 0x29d8, 0x3d19, 0x2ad1, 0x1a4a, 0xfc7f, 0x31b6,
    386   0x03f8, 0x191b, 0x2983, 0x2a0e, 0x1a15, 0x0476, 0xfeff, 0x3235,
    387   0x03f0, 0x18e8, 0x1c90, 0x1974, 0x046d, 0x01fb, 0xff7f, 0x32b4,
    388   0x03e8, 0x1123, 0x1146, 0x03f8, 0x01f7, 0x017c, 0xffff, 0x3333,
    389   0x02b0, 0x0a5d, 0x02aa, 0x0187, 0x0179, 0x00fd, 0x007f, 0x33b2,
    390   0x01a0, 0x0199, 0x0101, 0x010a, 0x00fb, 0x007e, 0x00ff, 0x3431,
    391   0x0040, 0x009a, 0x00ac, 0x008d, 0x007d, 0xffff, 0x017f, 0x372b,
    392   0x0018, 0x0067, 0x0057, 0x0010, 0xffff, 0xff80, 0x047f, 0x4c80,
    393   0x0010, 0x0034, 0x0002, 0xff93, 0xff81, 0xfc86, 0x19ff, 0x5d5e,
    394   0x0008, 0x0001, 0xffad, 0xff16, 0xfc8d, 0xe731, 0x2aff, 0x7136,
    395   0x0000, 0xffce, 0xff58, 0xfc28, 0xe763, 0xd653, 0x3eff, 0x71b5,
    396   0xfff8, 0xff9b, 0xfd5a, 0xe729, 0xd6a7, 0xc27b, 0x3f7f, 0x7234,
    397   0xfff0, 0xfe69, 0xef13, 0xd68f, 0xc2f7, 0xc1fc, 0x3fff, 0xf3b3,
    398   0xffc0, 0xf5d8, 0xe3c9, 0xc307, 0xc279, 0xc17d, 0xc07f, 0xf432,
    399 };
    400 const unsigned kExpectedCount_NEON_smlsl_8H = 361;
    401 
    402 #endif  // VIXL_SIM_SMLSL_8H_TRACE_A64_H_
    403