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