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_UMULL2_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_UMULL2_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_umull2_8H[] = {
38  0x4309, 0x70e4, 0xa290, 0xf040, 0xfa09, 0xfc04, 0xfe01, 0x0000,
39  0x56fe, 0x8778, 0xc5a0, 0xf518, 0xfb06, 0xfd02, 0x0000, 0x0000,
40  0x6864, 0xa4b0, 0xc99c, 0xf610, 0xfc03, 0x0000, 0x00ff, 0x0000,
41  0x7ee8, 0xa802, 0xca68, 0xf708, 0x0000, 0x00fe, 0x01fe, 0x0000,
42  0x8177, 0xa8ac, 0xcb34, 0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000,
43  0x81fa, 0xa956, 0x0000, 0x00f8, 0x01fa, 0x07f0, 0x32cd, 0x0000,
44  0x827d, 0x0000, 0x00cc, 0x01f0, 0x07e8, 0x329a, 0x54ab, 0x0000,
45  0x0000, 0x00aa, 0x0198, 0x07c0, 0x3267, 0x5456, 0x7c83, 0x0000,
46  0x0083, 0x0154, 0x0660, 0x3168, 0x5401, 0x7c06, 0x7d82, 0x0000,
47  0x0106, 0x0550, 0x28a4, 0x5258, 0x7b89, 0x7d04, 0x7e81, 0x0000,
48  0x0418, 0x21de, 0x43bc, 0x7918, 0x7c86, 0x7e02, 0x7f80, 0x0000,
49  0x1a19, 0x3872, 0x639c, 0x7a10, 0x7d83, 0x7f00, 0x807f, 0x0000,
50  0x2b7f, 0x5302, 0x6468, 0x7b08, 0x7e80, 0x7ffe, 0x817e, 0x0000,
51  0x3ff7, 0x53ac, 0x6534, 0x7c00, 0x7f7d, 0x80fc, 0x827d, 0x0000,
52  0x407a, 0x5456, 0x6600, 0x7cf8, 0x807a, 0x81fa, 0xa956, 0x0000,
53  0x40fd, 0x5500, 0x66cc, 0x7df0, 0x8177, 0xa8ac, 0xcb34, 0x0000,
54  0x4180, 0x55aa, 0x6798, 0x7ee8, 0xa802, 0xca68, 0xf708, 0x0000,
55  0x4203, 0x5654, 0x6864, 0xa4b0, 0xc99c, 0xf610, 0xfc03, 0x0000,
56  0x4286, 0x56fe, 0x8778, 0xc5a0, 0xf518, 0xfb06, 0xfd02, 0x0000,
57  0x56fe, 0x8778, 0xc5a0, 0xf518, 0xfb06, 0xfd02, 0x0000, 0x0000,
58  0x70e4, 0xa290, 0xf040, 0xfa09, 0xfc04, 0xfe01, 0x0000, 0x0001,
59  0x8778, 0xc5a0, 0xf518, 0xfb06, 0xfd02, 0x0000, 0x0000, 0x0002,
60  0xa4b0, 0xc99c, 0xf610, 0xfc03, 0x0000, 0x00ff, 0x0000, 0x0008,
61  0xa802, 0xca68, 0xf708, 0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033,
62  0xa8ac, 0xcb34, 0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055,
63  0xa956, 0x0000, 0x00f8, 0x01fa, 0x07f0, 0x32cd, 0x0000, 0x007d,
64  0x0000, 0x00cc, 0x01f0, 0x07e8, 0x329a, 0x54ab, 0x0000, 0x007e,
65  0x00aa, 0x0198, 0x07c0, 0x3267, 0x5456, 0x7c83, 0x0000, 0x007f,
66  0x0154, 0x0660, 0x3168, 0x5401, 0x7c06, 0x7d82, 0x0000, 0x0080,
67  0x0550, 0x28a4, 0x5258, 0x7b89, 0x7d04, 0x7e81, 0x0000, 0x0081,
68  0x21de, 0x43bc, 0x7918, 0x7c86, 0x7e02, 0x7f80, 0x0000, 0x0082,
69  0x3872, 0x639c, 0x7a10, 0x7d83, 0x7f00, 0x807f, 0x0000, 0x0083,
70  0x5302, 0x6468, 0x7b08, 0x7e80, 0x7ffe, 0x817e, 0x0000, 0x00aa,
71  0x53ac, 0x6534, 0x7c00, 0x7f7d, 0x80fc, 0x827d, 0x0000, 0x00cc,
72  0x5456, 0x6600, 0x7cf8, 0x807a, 0x81fa, 0xa956, 0x0000, 0x00f8,
73  0x5500, 0x66cc, 0x7df0, 0x8177, 0xa8ac, 0xcb34, 0x0000, 0x00fd,
74  0x55aa, 0x6798, 0x7ee8, 0xa802, 0xca68, 0xf708, 0x0000, 0x00fe,
75  0x5654, 0x6864, 0xa4b0, 0xc99c, 0xf610, 0xfc03, 0x0000, 0x00ff,
76  0x6864, 0xa4b0, 0xc99c, 0xf610, 0xfc03, 0x0000, 0x00ff, 0x0000,
77  0x8778, 0xc5a0, 0xf518, 0xfb06, 0xfd02, 0x0000, 0x0000, 0x0002,
78  0xa290, 0xf040, 0xfa09, 0xfc04, 0xfe01, 0x0000, 0x0001, 0x0004,
79  0xc5a0, 0xf518, 0xfb06, 0xfd02, 0x0000, 0x0000, 0x0002, 0x0010,
80  0xc99c, 0xf610, 0xfc03, 0x0000, 0x00ff, 0x0000, 0x0008, 0x0066,
81  0xca68, 0xf708, 0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa,
82  0xcb34, 0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa,
83  0x0000, 0x00f8, 0x01fa, 0x07f0, 0x32cd, 0x0000, 0x007d, 0x00fc,
84  0x00cc, 0x01f0, 0x07e8, 0x329a, 0x54ab, 0x0000, 0x007e, 0x00fe,
85  0x0198, 0x07c0, 0x3267, 0x5456, 0x7c83, 0x0000, 0x007f, 0x0100,
86  0x0660, 0x3168, 0x5401, 0x7c06, 0x7d82, 0x0000, 0x0080, 0x0102,
87  0x28a4, 0x5258, 0x7b89, 0x7d04, 0x7e81, 0x0000, 0x0081, 0x0104,
88  0x43bc, 0x7918, 0x7c86, 0x7e02, 0x7f80, 0x0000, 0x0082, 0x0106,
89  0x639c, 0x7a10, 0x7d83, 0x7f00, 0x807f, 0x0000, 0x0083, 0x0154,
90  0x6468, 0x7b08, 0x7e80, 0x7ffe, 0x817e, 0x0000, 0x00aa, 0x0198,
91  0x6534, 0x7c00, 0x7f7d, 0x80fc, 0x827d, 0x0000, 0x00cc, 0x01f0,
92  0x6600, 0x7cf8, 0x807a, 0x81fa, 0xa956, 0x0000, 0x00f8, 0x01fa,
93  0x66cc, 0x7df0, 0x8177, 0xa8ac, 0xcb34, 0x0000, 0x00fd, 0x01fc,
94  0x6798, 0x7ee8, 0xa802, 0xca68, 0xf708, 0x0000, 0x00fe, 0x01fe,
95  0x7ee8, 0xa802, 0xca68, 0xf708, 0x0000, 0x00fe, 0x01fe, 0x0000,
96  0xa4b0, 0xc99c, 0xf610, 0xfc03, 0x0000, 0x00ff, 0x0000, 0x0008,
97  0xc5a0, 0xf518, 0xfb06, 0xfd02, 0x0000, 0x0000, 0x0002, 0x0010,
98  0xf040, 0xfa09, 0xfc04, 0xfe01, 0x0000, 0x0001, 0x0004, 0x0040,
99  0xf518, 0xfb06, 0xfd02, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198,
100  0xf610, 0xfc03, 0x0000, 0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8,
101  0xf708, 0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8,
102  0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0,
103  0x00f8, 0x01fa, 0x07f0, 0x32cd, 0x0000, 0x007d, 0x00fc, 0x03f8,
104  0x01f0, 0x07e8, 0x329a, 0x54ab, 0x0000, 0x007e, 0x00fe, 0x0400,
105  0x07c0, 0x3267, 0x5456, 0x7c83, 0x0000, 0x007f, 0x0100, 0x0408,
106  0x3168, 0x5401, 0x7c06, 0x7d82, 0x0000, 0x0080, 0x0102, 0x0410,
107  0x5258, 0x7b89, 0x7d04, 0x7e81, 0x0000, 0x0081, 0x0104, 0x0418,
108  0x7918, 0x7c86, 0x7e02, 0x7f80, 0x0000, 0x0082, 0x0106, 0x0550,
109  0x7a10, 0x7d83, 0x7f00, 0x807f, 0x0000, 0x0083, 0x0154, 0x0660,
110  0x7b08, 0x7e80, 0x7ffe, 0x817e, 0x0000, 0x00aa, 0x0198, 0x07c0,
111  0x7c00, 0x7f7d, 0x80fc, 0x827d, 0x0000, 0x00cc, 0x01f0, 0x07e8,
112  0x7cf8, 0x807a, 0x81fa, 0xa956, 0x0000, 0x00f8, 0x01fa, 0x07f0,
113  0x7df0, 0x8177, 0xa8ac, 0xcb34, 0x0000, 0x00fd, 0x01fc, 0x07f8,
114  0x8177, 0xa8ac, 0xcb34, 0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000,
115  0xa802, 0xca68, 0xf708, 0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033,
116  0xc99c, 0xf610, 0xfc03, 0x0000, 0x00ff, 0x0000, 0x0008, 0x0066,
117  0xf518, 0xfb06, 0xfd02, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198,
118  0xfa09, 0xfc04, 0xfe01, 0x0000, 0x0001, 0x0004, 0x0040, 0x0a29,
119  0xfb06, 0xfd02, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x10ef,
120  0xfc03, 0x0000, 0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7,
121  0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a,
122  0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d,
123  0x01fa, 0x07f0, 0x32cd, 0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980,
124  0x07e8, 0x329a, 0x54ab, 0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3,
125  0x3267, 0x5456, 0x7c83, 0x0000, 0x007f, 0x0100, 0x0408, 0x19e6,
126  0x5401, 0x7c06, 0x7d82, 0x0000, 0x0080, 0x0102, 0x0410, 0x1a19,
127  0x7b89, 0x7d04, 0x7e81, 0x0000, 0x0081, 0x0104, 0x0418, 0x21de,
128  0x7c86, 0x7e02, 0x7f80, 0x0000, 0x0082, 0x0106, 0x0550, 0x28a4,
129  0x7d83, 0x7f00, 0x807f, 0x0000, 0x0083, 0x0154, 0x0660, 0x3168,
130  0x7e80, 0x7ffe, 0x817e, 0x0000, 0x00aa, 0x0198, 0x07c0, 0x3267,
131  0x7f7d, 0x80fc, 0x827d, 0x0000, 0x00cc, 0x01f0, 0x07e8, 0x329a,
132  0x807a, 0x81fa, 0xa956, 0x0000, 0x00f8, 0x01fa, 0x07f0, 0x32cd,
133  0x81fa, 0xa956, 0x0000, 0x00f8, 0x01fa, 0x07f0, 0x32cd, 0x0000,
134  0xa8ac, 0xcb34, 0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055,
135  0xca68, 0xf708, 0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa,
136  0xf610, 0xfc03, 0x0000, 0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8,
137  0xfb06, 0xfd02, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x10ef,
138  0xfc04, 0xfe01, 0x0000, 0x0001, 0x0004, 0x0040, 0x0a29, 0x1c39,
139  0xfd02, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x10ef, 0x2981,
140  0x0000, 0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6,
141  0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b,
142  0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d, 0x2a80,
143  0x07f0, 0x32cd, 0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5,
144  0x329a, 0x54ab, 0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3, 0x2b2a,
145  0x5456, 0x7c83, 0x0000, 0x007f, 0x0100, 0x0408, 0x19e6, 0x2b7f,
146  0x7c06, 0x7d82, 0x0000, 0x0080, 0x0102, 0x0410, 0x1a19, 0x3872,
147  0x7d04, 0x7e81, 0x0000, 0x0081, 0x0104, 0x0418, 0x21de, 0x43bc,
148  0x7e02, 0x7f80, 0x0000, 0x0082, 0x0106, 0x0550, 0x28a4, 0x5258,
149  0x7f00, 0x807f, 0x0000, 0x0083, 0x0154, 0x0660, 0x3168, 0x5401,
150  0x7ffe, 0x817e, 0x0000, 0x00aa, 0x0198, 0x07c0, 0x3267, 0x5456,
151  0x80fc, 0x827d, 0x0000, 0x00cc, 0x01f0, 0x07e8, 0x329a, 0x54ab,
152  0x827d, 0x0000, 0x00cc, 0x01f0, 0x07e8, 0x329a, 0x54ab, 0x0000,
153  0xa956, 0x0000, 0x00f8, 0x01fa, 0x07f0, 0x32cd, 0x0000, 0x007d,
154  0xcb34, 0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa,
155  0xf708, 0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8,
156  0xfc03, 0x0000, 0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7,
157  0xfd02, 0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x10ef, 0x2981,
158  0xfe01, 0x0000, 0x0001, 0x0004, 0x0040, 0x0a29, 0x1c39, 0x3d09,
159  0x0000, 0x0000, 0x0002, 0x0010, 0x0198, 0x10ef, 0x2981, 0x3d86,
160  0x00ff, 0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03,
161  0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b, 0x3e80,
162  0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d, 0x2a80, 0x3efd,
163  0x32cd, 0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3f7a,
164  0x54ab, 0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3, 0x2b2a, 0x3ff7,
165  0x7c83, 0x0000, 0x007f, 0x0100, 0x0408, 0x19e6, 0x2b7f, 0x5302,
166  0x7d82, 0x0000, 0x0080, 0x0102, 0x0410, 0x1a19, 0x3872, 0x639c,
167  0x7e81, 0x0000, 0x0081, 0x0104, 0x0418, 0x21de, 0x43bc, 0x7918,
168  0x7f80, 0x0000, 0x0082, 0x0106, 0x0550, 0x28a4, 0x5258, 0x7b89,
169  0x807f, 0x0000, 0x0083, 0x0154, 0x0660, 0x3168, 0x5401, 0x7c06,
170  0x817e, 0x0000, 0x00aa, 0x0198, 0x07c0, 0x3267, 0x5456, 0x7c83,
171  0x0000, 0x00aa, 0x0198, 0x07c0, 0x3267, 0x5456, 0x7c83, 0x0000,
172  0x0000, 0x00cc, 0x01f0, 0x07e8, 0x329a, 0x54ab, 0x0000, 0x007e,
173  0x0000, 0x00f8, 0x01fa, 0x07f0, 0x32cd, 0x0000, 0x007d, 0x00fc,
174  0x0000, 0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0,
175  0x0000, 0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a,
176  0x0000, 0x00ff, 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, 0x3f00,
181  0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b, 0x3e80, 0x3f7e,
182  0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d, 0x2a80, 0x3efd, 0x3ffc,
183  0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3f7a, 0x407a,
184  0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3, 0x2b2a, 0x3ff7, 0x53ac,
185  0x0000, 0x007f, 0x0100, 0x0408, 0x19e6, 0x2b7f, 0x5302, 0x6468,
186  0x0000, 0x0080, 0x0102, 0x0410, 0x1a19, 0x3872, 0x639c, 0x7a10,
187  0x0000, 0x0081, 0x0104, 0x0418, 0x21de, 0x43bc, 0x7918, 0x7c86,
188  0x0000, 0x0082, 0x0106, 0x0550, 0x28a4, 0x5258, 0x7b89, 0x7d04,
189  0x0000, 0x0083, 0x0154, 0x0660, 0x3168, 0x5401, 0x7c06, 0x7d82,
190  0x0083, 0x0154, 0x0660, 0x3168, 0x5401, 0x7c06, 0x7d82, 0x0000,
191  0x00aa, 0x0198, 0x07c0, 0x3267, 0x5456, 0x7c83, 0x0000, 0x007f,
192  0x00cc, 0x01f0, 0x07e8, 0x329a, 0x54ab, 0x0000, 0x007e, 0x00fe,
193  0x00f8, 0x01fa, 0x07f0, 0x32cd, 0x0000, 0x007d, 0x00fc, 0x03f8,
194  0x00fd, 0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d,
195  0x00fe, 0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b,
196  0x00ff, 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, 0x3f80,
200  0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03, 0x3f00, 0x3fff,
201  0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b, 0x3e80, 0x3f7e, 0x407e,
202  0x0055, 0x00fa, 0x03f0, 0x194d, 0x2a80, 0x3efd, 0x3ffc, 0x40fd,
203  0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3f7a, 0x407a, 0x5456,
204  0x007e, 0x00fe, 0x0400, 0x19b3, 0x2b2a, 0x3ff7, 0x53ac, 0x6534,
205  0x007f, 0x0100, 0x0408, 0x19e6, 0x2b7f, 0x5302, 0x6468, 0x7b08,
206  0x0080, 0x0102, 0x0410, 0x1a19, 0x3872, 0x639c, 0x7a10, 0x7d83,
207  0x0081, 0x0104, 0x0418, 0x21de, 0x43bc, 0x7918, 0x7c86, 0x7e02,
208  0x0082, 0x0106, 0x0550, 0x28a4, 0x5258, 0x7b89, 0x7d04, 0x7e81,
209  0x0106, 0x0550, 0x28a4, 0x5258, 0x7b89, 0x7d04, 0x7e81, 0x0000,
210  0x0154, 0x0660, 0x3168, 0x5401, 0x7c06, 0x7d82, 0x0000, 0x0080,
211  0x0198, 0x07c0, 0x3267, 0x5456, 0x7c83, 0x0000, 0x007f, 0x0100,
212  0x01f0, 0x07e8, 0x329a, 0x54ab, 0x0000, 0x007e, 0x00fe, 0x0400,
213  0x01fa, 0x07f0, 0x32cd, 0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980,
214  0x01fc, 0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d, 0x2a80,
215  0x01fe, 0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b, 0x3e80,
216  0x0000, 0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03, 0x3f00,
217  0x0002, 0x0010, 0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82, 0x3f80,
218  0x0004, 0x0040, 0x0a29, 0x1c39, 0x3d09, 0x3e04, 0x3f01, 0x4000,
219  0x0010, 0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82, 0x3f80, 0x4080,
220  0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03, 0x3f00, 0x3fff, 0x4100,
221  0x00aa, 0x03e8, 0x191a, 0x2a2b, 0x3e80, 0x3f7e, 0x407e, 0x4180,
222  0x00fa, 0x03f0, 0x194d, 0x2a80, 0x3efd, 0x3ffc, 0x40fd, 0x5500,
223  0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3f7a, 0x407a, 0x5456, 0x6600,
224  0x00fe, 0x0400, 0x19b3, 0x2b2a, 0x3ff7, 0x53ac, 0x6534, 0x7c00,
225  0x0100, 0x0408, 0x19e6, 0x2b7f, 0x5302, 0x6468, 0x7b08, 0x7e80,
226  0x0102, 0x0410, 0x1a19, 0x3872, 0x639c, 0x7a10, 0x7d83, 0x7f00,
227  0x0104, 0x0418, 0x21de, 0x43bc, 0x7918, 0x7c86, 0x7e02, 0x7f80,
228  0x0418, 0x21de, 0x43bc, 0x7918, 0x7c86, 0x7e02, 0x7f80, 0x0000,
229  0x0550, 0x28a4, 0x5258, 0x7b89, 0x7d04, 0x7e81, 0x0000, 0x0081,
230  0x0660, 0x3168, 0x5401, 0x7c06, 0x7d82, 0x0000, 0x0080, 0x0102,
231  0x07c0, 0x3267, 0x5456, 0x7c83, 0x0000, 0x007f, 0x0100, 0x0408,
232  0x07e8, 0x329a, 0x54ab, 0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3,
233  0x07f0, 0x32cd, 0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5,
234  0x07f8, 0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d, 0x2a80, 0x3efd,
235  0x0000, 0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b, 0x3e80, 0x3f7e,
236  0x0008, 0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03, 0x3f00, 0x3fff,
237  0x0010, 0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82, 0x3f80, 0x4080,
238  0x0040, 0x0a29, 0x1c39, 0x3d09, 0x3e04, 0x3f01, 0x4000, 0x4101,
239  0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82, 0x3f80, 0x4080, 0x4182,
240  0x02a8, 0x18e7, 0x29d6, 0x3e03, 0x3f00, 0x3fff, 0x4100, 0x4203,
241  0x03e8, 0x191a, 0x2a2b, 0x3e80, 0x3f7e, 0x407e, 0x4180, 0x55aa,
242  0x03f0, 0x194d, 0x2a80, 0x3efd, 0x3ffc, 0x40fd, 0x5500, 0x66cc,
243  0x03f8, 0x1980, 0x2ad5, 0x3f7a, 0x407a, 0x5456, 0x6600, 0x7cf8,
244  0x0400, 0x19b3, 0x2b2a, 0x3ff7, 0x53ac, 0x6534, 0x7c00, 0x7f7d,
245  0x0408, 0x19e6, 0x2b7f, 0x5302, 0x6468, 0x7b08, 0x7e80, 0x7ffe,
246  0x0410, 0x1a19, 0x3872, 0x639c, 0x7a10, 0x7d83, 0x7f00, 0x807f,
247  0x1a19, 0x3872, 0x639c, 0x7a10, 0x7d83, 0x7f00, 0x807f, 0x0000,
248  0x21de, 0x43bc, 0x7918, 0x7c86, 0x7e02, 0x7f80, 0x0000, 0x0082,
249  0x28a4, 0x5258, 0x7b89, 0x7d04, 0x7e81, 0x0000, 0x0081, 0x0104,
250  0x3168, 0x5401, 0x7c06, 0x7d82, 0x0000, 0x0080, 0x0102, 0x0410,
251  0x3267, 0x5456, 0x7c83, 0x0000, 0x007f, 0x0100, 0x0408, 0x19e6,
252  0x329a, 0x54ab, 0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3, 0x2b2a,
253  0x32cd, 0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3f7a,
254  0x0000, 0x0055, 0x00fa, 0x03f0, 0x194d, 0x2a80, 0x3efd, 0x3ffc,
255  0x0033, 0x00aa, 0x03e8, 0x191a, 0x2a2b, 0x3e80, 0x3f7e, 0x407e,
256  0x0066, 0x02a8, 0x18e7, 0x29d6, 0x3e03, 0x3f00, 0x3fff, 0x4100,
257  0x0198, 0x10ef, 0x2981, 0x3d86, 0x3e82, 0x3f80, 0x4080, 0x4182,
258  0x0a29, 0x1c39, 0x3d09, 0x3e04, 0x3f01, 0x4000, 0x4101, 0x4204,
259  0x10ef, 0x2981, 0x3d86, 0x3e82, 0x3f80, 0x4080, 0x4182, 0x4286,
260  0x18e7, 0x29d6, 0x3e03, 0x3f00, 0x3fff, 0x4100, 0x4203, 0x5654,
261  0x191a, 0x2a2b, 0x3e80, 0x3f7e, 0x407e, 0x4180, 0x55aa, 0x6798,
262  0x194d, 0x2a80, 0x3efd, 0x3ffc, 0x40fd, 0x5500, 0x66cc, 0x7df0,
263  0x1980, 0x2ad5, 0x3f7a, 0x407a, 0x5456, 0x6600, 0x7cf8, 0x807a,
264  0x19b3, 0x2b2a, 0x3ff7, 0x53ac, 0x6534, 0x7c00, 0x7f7d, 0x80fc,
265  0x19e6, 0x2b7f, 0x5302, 0x6468, 0x7b08, 0x7e80, 0x7ffe, 0x817e,
266  0x2b7f, 0x5302, 0x6468, 0x7b08, 0x7e80, 0x7ffe, 0x817e, 0x0000,
267  0x3872, 0x639c, 0x7a10, 0x7d83, 0x7f00, 0x807f, 0x0000, 0x0083,
268  0x43bc, 0x7918, 0x7c86, 0x7e02, 0x7f80, 0x0000, 0x0082, 0x0106,
269  0x5258, 0x7b89, 0x7d04, 0x7e81, 0x0000, 0x0081, 0x0104, 0x0418,
270  0x5401, 0x7c06, 0x7d82, 0x0000, 0x0080, 0x0102, 0x0410, 0x1a19,
271  0x5456, 0x7c83, 0x0000, 0x007f, 0x0100, 0x0408, 0x19e6, 0x2b7f,
272  0x54ab, 0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3, 0x2b2a, 0x3ff7,
273  0x0000, 0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3f7a, 0x407a,
274  0x0055, 0x00fa, 0x03f0, 0x194d, 0x2a80, 0x3efd, 0x3ffc, 0x40fd,
275  0x00aa, 0x03e8, 0x191a, 0x2a2b, 0x3e80, 0x3f7e, 0x407e, 0x4180,
276  0x02a8, 0x18e7, 0x29d6, 0x3e03, 0x3f00, 0x3fff, 0x4100, 0x4203,
277  0x10ef, 0x2981, 0x3d86, 0x3e82, 0x3f80, 0x4080, 0x4182, 0x4286,
278  0x1c39, 0x3d09, 0x3e04, 0x3f01, 0x4000, 0x4101, 0x4204, 0x4309,
279  0x2981, 0x3d86, 0x3e82, 0x3f80, 0x4080, 0x4182, 0x4286, 0x56fe,
280  0x29d6, 0x3e03, 0x3f00, 0x3fff, 0x4100, 0x4203, 0x5654, 0x6864,
281  0x2a2b, 0x3e80, 0x3f7e, 0x407e, 0x4180, 0x55aa, 0x6798, 0x7ee8,
282  0x2a80, 0x3efd, 0x3ffc, 0x40fd, 0x5500, 0x66cc, 0x7df0, 0x8177,
283  0x2ad5, 0x3f7a, 0x407a, 0x5456, 0x6600, 0x7cf8, 0x807a, 0x81fa,
284  0x2b2a, 0x3ff7, 0x53ac, 0x6534, 0x7c00, 0x7f7d, 0x80fc, 0x827d,
285  0x3ff7, 0x53ac, 0x6534, 0x7c00, 0x7f7d, 0x80fc, 0x827d, 0x0000,
286  0x5302, 0x6468, 0x7b08, 0x7e80, 0x7ffe, 0x817e, 0x0000, 0x00aa,
287  0x639c, 0x7a10, 0x7d83, 0x7f00, 0x807f, 0x0000, 0x0083, 0x0154,
288  0x7918, 0x7c86, 0x7e02, 0x7f80, 0x0000, 0x0082, 0x0106, 0x0550,
289  0x7b89, 0x7d04, 0x7e81, 0x0000, 0x0081, 0x0104, 0x0418, 0x21de,
290  0x7c06, 0x7d82, 0x0000, 0x0080, 0x0102, 0x0410, 0x1a19, 0x3872,
291  0x7c83, 0x0000, 0x007f, 0x0100, 0x0408, 0x19e6, 0x2b7f, 0x5302,
292  0x0000, 0x007e, 0x00fe, 0x0400, 0x19b3, 0x2b2a, 0x3ff7, 0x53ac,
293  0x007d, 0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3f7a, 0x407a, 0x5456,
294  0x00fa, 0x03f0, 0x194d, 0x2a80, 0x3efd, 0x3ffc, 0x40fd, 0x5500,
295  0x03e8, 0x191a, 0x2a2b, 0x3e80, 0x3f7e, 0x407e, 0x4180, 0x55aa,
296  0x18e7, 0x29d6, 0x3e03, 0x3f00, 0x3fff, 0x4100, 0x4203, 0x5654,
297  0x2981, 0x3d86, 0x3e82, 0x3f80, 0x4080, 0x4182, 0x4286, 0x56fe,
298  0x3d09, 0x3e04, 0x3f01, 0x4000, 0x4101, 0x4204, 0x4309, 0x70e4,
299  0x3d86, 0x3e82, 0x3f80, 0x4080, 0x4182, 0x4286, 0x56fe, 0x8778,
300  0x3e03, 0x3f00, 0x3fff, 0x4100, 0x4203, 0x5654, 0x6864, 0xa4b0,
301  0x3e80, 0x3f7e, 0x407e, 0x4180, 0x55aa, 0x6798, 0x7ee8, 0xa802,
302  0x3efd, 0x3ffc, 0x40fd, 0x5500, 0x66cc, 0x7df0, 0x8177, 0xa8ac,
303  0x3f7a, 0x407a, 0x5456, 0x6600, 0x7cf8, 0x807a, 0x81fa, 0xa956,
304  0x407a, 0x5456, 0x6600, 0x7cf8, 0x807a, 0x81fa, 0xa956, 0x0000,
305  0x53ac, 0x6534, 0x7c00, 0x7f7d, 0x80fc, 0x827d, 0x0000, 0x00cc,
306  0x6468, 0x7b08, 0x7e80, 0x7ffe, 0x817e, 0x0000, 0x00aa, 0x0198,
307  0x7a10, 0x7d83, 0x7f00, 0x807f, 0x0000, 0x0083, 0x0154, 0x0660,
308  0x7c86, 0x7e02, 0x7f80, 0x0000, 0x0082, 0x0106, 0x0550, 0x28a4,
309  0x7d04, 0x7e81, 0x0000, 0x0081, 0x0104, 0x0418, 0x21de, 0x43bc,
310  0x7d82, 0x0000, 0x0080, 0x0102, 0x0410, 0x1a19, 0x3872, 0x639c,
311  0x0000, 0x007f, 0x0100, 0x0408, 0x19e6, 0x2b7f, 0x5302, 0x6468,
312  0x007e, 0x00fe, 0x0400, 0x19b3, 0x2b2a, 0x3ff7, 0x53ac, 0x6534,
313  0x00fc, 0x03f8, 0x1980, 0x2ad5, 0x3f7a, 0x407a, 0x5456, 0x6600,
314  0x03f0, 0x194d, 0x2a80, 0x3efd, 0x3ffc, 0x40fd, 0x5500, 0x66cc,
315  0x191a, 0x2a2b, 0x3e80, 0x3f7e, 0x407e, 0x4180, 0x55aa, 0x6798,
316  0x29d6, 0x3e03, 0x3f00, 0x3fff, 0x4100, 0x4203, 0x5654, 0x6864,
317  0x3d86, 0x3e82, 0x3f80, 0x4080, 0x4182, 0x4286, 0x56fe, 0x8778,
318  0x3e04, 0x3f01, 0x4000, 0x4101, 0x4204, 0x4309, 0x70e4, 0xa290,
319  0x3e82, 0x3f80, 0x4080, 0x4182, 0x4286, 0x56fe, 0x8778, 0xc5a0,
320  0x3f00, 0x3fff, 0x4100, 0x4203, 0x5654, 0x6864, 0xa4b0, 0xc99c,
321  0x3f7e, 0x407e, 0x4180, 0x55aa, 0x6798, 0x7ee8, 0xa802, 0xca68,
322  0x3ffc, 0x40fd, 0x5500, 0x66cc, 0x7df0, 0x8177, 0xa8ac, 0xcb34,
323  0x40fd, 0x5500, 0x66cc, 0x7df0, 0x8177, 0xa8ac, 0xcb34, 0x0000,
324  0x5456, 0x6600, 0x7cf8, 0x807a, 0x81fa, 0xa956, 0x0000, 0x00f8,
325  0x6534, 0x7c00, 0x7f7d, 0x80fc, 0x827d, 0x0000, 0x00cc, 0x01f0,
326  0x7b08, 0x7e80, 0x7ffe, 0x817e, 0x0000, 0x00aa, 0x0198, 0x07c0,
327  0x7d83, 0x7f00, 0x807f, 0x0000, 0x0083, 0x0154, 0x0660, 0x3168,
328  0x7e02, 0x7f80, 0x0000, 0x0082, 0x0106, 0x0550, 0x28a4, 0x5258,
329  0x7e81, 0x0000, 0x0081, 0x0104, 0x0418, 0x21de, 0x43bc, 0x7918,
330  0x0000, 0x0080, 0x0102, 0x0410, 0x1a19, 0x3872, 0x639c, 0x7a10,
331  0x007f, 0x0100, 0x0408, 0x19e6, 0x2b7f, 0x5302, 0x6468, 0x7b08,
332  0x00fe, 0x0400, 0x19b3, 0x2b2a, 0x3ff7, 0x53ac, 0x6534, 0x7c00,
333  0x03f8, 0x1980, 0x2ad5, 0x3f7a, 0x407a, 0x5456, 0x6600, 0x7cf8,
334  0x194d, 0x2a80, 0x3efd, 0x3ffc, 0x40fd, 0x5500, 0x66cc, 0x7df0,
335  0x2a2b, 0x3e80, 0x3f7e, 0x407e, 0x4180, 0x55aa, 0x6798, 0x7ee8,
336  0x3e03, 0x3f00, 0x3fff, 0x4100, 0x4203, 0x5654, 0x6864, 0xa4b0,
337  0x3e82, 0x3f80, 0x4080, 0x4182, 0x4286, 0x56fe, 0x8778, 0xc5a0,
338  0x3f01, 0x4000, 0x4101, 0x4204, 0x4309, 0x70e4, 0xa290, 0xf040,
339  0x3f80, 0x4080, 0x4182, 0x4286, 0x56fe, 0x8778, 0xc5a0, 0xf518,
340  0x3fff, 0x4100, 0x4203, 0x5654, 0x6864, 0xa4b0, 0xc99c, 0xf610,
341  0x407e, 0x4180, 0x55aa, 0x6798, 0x7ee8, 0xa802, 0xca68, 0xf708,
342  0x4180, 0x55aa, 0x6798, 0x7ee8, 0xa802, 0xca68, 0xf708, 0x0000,
343  0x5500, 0x66cc, 0x7df0, 0x8177, 0xa8ac, 0xcb34, 0x0000, 0x00fd,
344  0x6600, 0x7cf8, 0x807a, 0x81fa, 0xa956, 0x0000, 0x00f8, 0x01fa,
345  0x7c00, 0x7f7d, 0x80fc, 0x827d, 0x0000, 0x00cc, 0x01f0, 0x07e8,
346  0x7e80, 0x7ffe, 0x817e, 0x0000, 0x00aa, 0x0198, 0x07c0, 0x3267,
347  0x7f00, 0x807f, 0x0000, 0x0083, 0x0154, 0x0660, 0x3168, 0x5401,
348  0x7f80, 0x0000, 0x0082, 0x0106, 0x0550, 0x28a4, 0x5258, 0x7b89,
349  0x0000, 0x0081, 0x0104, 0x0418, 0x21de, 0x43bc, 0x7918, 0x7c86,
350  0x0080, 0x0102, 0x0410, 0x1a19, 0x3872, 0x639c, 0x7a10, 0x7d83,
351  0x0100, 0x0408, 0x19e6, 0x2b7f, 0x5302, 0x6468, 0x7b08, 0x7e80,
352  0x0400, 0x19b3, 0x2b2a, 0x3ff7, 0x53ac, 0x6534, 0x7c00, 0x7f7d,
353  0x1980, 0x2ad5, 0x3f7a, 0x407a, 0x5456, 0x6600, 0x7cf8, 0x807a,
354  0x2a80, 0x3efd, 0x3ffc, 0x40fd, 0x5500, 0x66cc, 0x7df0, 0x8177,
355  0x3e80, 0x3f7e, 0x407e, 0x4180, 0x55aa, 0x6798, 0x7ee8, 0xa802,
356  0x3f00, 0x3fff, 0x4100, 0x4203, 0x5654, 0x6864, 0xa4b0, 0xc99c,
357  0x3f80, 0x4080, 0x4182, 0x4286, 0x56fe, 0x8778, 0xc5a0, 0xf518,
358  0x4000, 0x4101, 0x4204, 0x4309, 0x70e4, 0xa290, 0xf040, 0xfa09,
359  0x4080, 0x4182, 0x4286, 0x56fe, 0x8778, 0xc5a0, 0xf518, 0xfb06,
360  0x4100, 0x4203, 0x5654, 0x6864, 0xa4b0, 0xc99c, 0xf610, 0xfc03,
361  0x4203, 0x5654, 0x6864, 0xa4b0, 0xc99c, 0xf610, 0xfc03, 0x0000,
362  0x55aa, 0x6798, 0x7ee8, 0xa802, 0xca68, 0xf708, 0x0000, 0x00fe,
363  0x66cc, 0x7df0, 0x8177, 0xa8ac, 0xcb34, 0x0000, 0x00fd, 0x01fc,
364  0x7cf8, 0x807a, 0x81fa, 0xa956, 0x0000, 0x00f8, 0x01fa, 0x07f0,
365  0x7f7d, 0x80fc, 0x827d, 0x0000, 0x00cc, 0x01f0, 0x07e8, 0x329a,
366  0x7ffe, 0x817e, 0x0000, 0x00aa, 0x0198, 0x07c0, 0x3267, 0x5456,
367  0x807f, 0x0000, 0x0083, 0x0154, 0x0660, 0x3168, 0x5401, 0x7c06,
368  0x0000, 0x0082, 0x0106, 0x0550, 0x28a4, 0x5258, 0x7b89, 0x7d04,
369  0x0081, 0x0104, 0x0418, 0x21de, 0x43bc, 0x7918, 0x7c86, 0x7e02,
370  0x0102, 0x0410, 0x1a19, 0x3872, 0x639c, 0x7a10, 0x7d83, 0x7f00,
371  0x0408, 0x19e6, 0x2b7f, 0x5302, 0x6468, 0x7b08, 0x7e80, 0x7ffe,
372  0x19b3, 0x2b2a, 0x3ff7, 0x53ac, 0x6534, 0x7c00, 0x7f7d, 0x80fc,
373  0x2ad5, 0x3f7a, 0x407a, 0x5456, 0x6600, 0x7cf8, 0x807a, 0x81fa,
374  0x3efd, 0x3ffc, 0x40fd, 0x5500, 0x66cc, 0x7df0, 0x8177, 0xa8ac,
375  0x3f7e, 0x407e, 0x4180, 0x55aa, 0x6798, 0x7ee8, 0xa802, 0xca68,
376  0x3fff, 0x4100, 0x4203, 0x5654, 0x6864, 0xa4b0, 0xc99c, 0xf610,
377  0x4080, 0x4182, 0x4286, 0x56fe, 0x8778, 0xc5a0, 0xf518, 0xfb06,
378  0x4101, 0x4204, 0x4309, 0x70e4, 0xa290, 0xf040, 0xfa09, 0xfc04,
379  0x4182, 0x4286, 0x56fe, 0x8778, 0xc5a0, 0xf518, 0xfb06, 0xfd02,
380  0x4286, 0x56fe, 0x8778, 0xc5a0, 0xf518, 0xfb06, 0xfd02, 0x0000,
381  0x5654, 0x6864, 0xa4b0, 0xc99c, 0xf610, 0xfc03, 0x0000, 0x00ff,
382  0x6798, 0x7ee8, 0xa802, 0xca68, 0xf708, 0x0000, 0x00fe, 0x01fe,
383  0x7df0, 0x8177, 0xa8ac, 0xcb34, 0x0000, 0x00fd, 0x01fc, 0x07f8,
384  0x807a, 0x81fa, 0xa956, 0x0000, 0x00f8, 0x01fa, 0x07f0, 0x32cd,
385  0x80fc, 0x827d, 0x0000, 0x00cc, 0x01f0, 0x07e8, 0x329a, 0x54ab,
386  0x817e, 0x0000, 0x00aa, 0x0198, 0x07c0, 0x3267, 0x5456, 0x7c83,
387  0x0000, 0x0083, 0x0154, 0x0660, 0x3168, 0x5401, 0x7c06, 0x7d82,
388  0x0082, 0x0106, 0x0550, 0x28a4, 0x5258, 0x7b89, 0x7d04, 0x7e81,
389  0x0104, 0x0418, 0x21de, 0x43bc, 0x7918, 0x7c86, 0x7e02, 0x7f80,
390  0x0410, 0x1a19, 0x3872, 0x639c, 0x7a10, 0x7d83, 0x7f00, 0x807f,
391  0x19e6, 0x2b7f, 0x5302, 0x6468, 0x7b08, 0x7e80, 0x7ffe, 0x817e,
392  0x2b2a, 0x3ff7, 0x53ac, 0x6534, 0x7c00, 0x7f7d, 0x80fc, 0x827d,
393  0x3f7a, 0x407a, 0x5456, 0x6600, 0x7cf8, 0x807a, 0x81fa, 0xa956,
394  0x3ffc, 0x40fd, 0x5500, 0x66cc, 0x7df0, 0x8177, 0xa8ac, 0xcb34,
395  0x407e, 0x4180, 0x55aa, 0x6798, 0x7ee8, 0xa802, 0xca68, 0xf708,
396  0x4100, 0x4203, 0x5654, 0x6864, 0xa4b0, 0xc99c, 0xf610, 0xfc03,
397  0x4182, 0x4286, 0x56fe, 0x8778, 0xc5a0, 0xf518, 0xfb06, 0xfd02,
398  0x4204, 0x4309, 0x70e4, 0xa290, 0xf040, 0xfa09, 0xfc04, 0xfe01,
399};
400const unsigned kExpectedCount_NEON_umull2_8H = 361;
401
402#endif  // VIXL_SIM_UMULL2_8H_TRACE_AARCH64_H_
403