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