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_MUL_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_MUL_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_mul_8H[] = {
38  0x3e04, 0x3f01, 0x5c29, 0x8e39, 0x0009, 0x0004, 0x0001, 0x0000,
39  0x3e82, 0x664d, 0xeeef, 0x8001, 0x8006, 0x8002, 0x0000, 0x0000,
40  0x331a, 0x552b, 0xe667, 0xd556, 0x0003, 0x0000, 0x7fff, 0x0000,
41  0xffd6, 0x7e83, 0x199a, 0x2aab, 0x0000, 0x7ffe, 0xfffe, 0x0000,
42  0xfe86, 0x7f02, 0x4ccd, 0x0000, 0x7ffd, 0xfffc, 0xfff0, 0x0000,
43  0xff04, 0x7f81, 0x0000, 0x5555, 0xfffa, 0xffe0, 0x7f83, 0x0000,
44  0xff82, 0x0000, 0x3333, 0xaaaa, 0xffd0, 0x7f06, 0xff82, 0x0000,
45  0x0000, 0x007f, 0x6666, 0x5550, 0x7e89, 0xff04, 0x7f81, 0x0000,
46  0x007e, 0x00fe, 0x3330, 0xaa81, 0xfe86, 0x7f02, 0x4ccd, 0x0000,
47  0x00fc, 0x07f0, 0xffe7, 0xffd6, 0x7e83, 0x199a, 0x2aab, 0x0000,
48  0x07e0, 0x3e03, 0x331a, 0x552b, 0xe667, 0xd556, 0x0003, 0x0000,
49  0x3d86, 0x3e82, 0x664d, 0xeeef, 0x8001, 0x8006, 0x8002, 0x0000,
50  0x3e04, 0x3f01, 0x5c29, 0x8e39, 0x0009, 0x0004, 0x0001, 0x0000,
51  0x3e82, 0x664d, 0xeeef, 0x8001, 0x8006, 0x8002, 0x8000, 0x0000,
52  0x331a, 0x552b, 0xe667, 0xd556, 0x0003, 0x0000, 0xffff, 0x0000,
53  0xffd6, 0x7e83, 0x199a, 0x2aab, 0x8000, 0x7ffe, 0x5556, 0x0000,
54  0xfe86, 0x7f02, 0x4ccd, 0x8000, 0xfffd, 0xaaac, 0x3334, 0x0000,
55  0xff04, 0x7f81, 0x8000, 0xd555, 0x0002, 0x6668, 0x0080, 0x0000,
56  0xff82, 0x8000, 0xb333, 0x1c72, 0x999c, 0x0100, 0x807f, 0x0000,
57  0x0000, 0x807f, 0xddde, 0xbbbc, 0x0180, 0x80fe, 0x007e, 0x0000,
58  0x007e, 0xaa56, 0x70a4, 0x5580, 0x817d, 0x00fc, 0x807d, 0x0000,
59  0xffac, 0x9934, 0x6680, 0xaad5, 0x017a, 0x80fa, 0x0010, 0x0000,
60  0xcc68, 0xc080, 0x99b3, 0x002a, 0x8177, 0x0020, 0x8003, 0x0000,
61  0xc100, 0xc0ff, 0xcce6, 0x557f, 0x0030, 0x8006, 0x0002, 0x0000,
62  0xc0ff, 0xcce6, 0x557f, 0x0030, 0x8006, 0x0002, 0x0000, 0x0000,
63  0xc17e, 0x0019, 0xaab0, 0x8009, 0x0004, 0x8001, 0x0000, 0x0001,
64  0xc1fd, 0xccd0, 0x0001, 0x0006, 0x8002, 0x0000, 0x0000, 0x0002,
65  0xf810, 0x6667, 0x5556, 0x8003, 0x0000, 0x7fff, 0x0000, 0x0010,
66  0xfe83, 0x999a, 0xaaab, 0x0000, 0x7ffe, 0xfffe, 0x0000, 0x007d,
67  0xff02, 0xcccd, 0x0000, 0x7ffd, 0xfffc, 0xfff0, 0x0000, 0x007e,
68  0xff81, 0x0000, 0x5555, 0xfffa, 0xffe0, 0x7f83, 0x0000, 0x007f,
69  0x0000, 0x3333, 0xaaaa, 0xffd0, 0x7f06, 0xff82, 0x0000, 0x3333,
70  0x007f, 0x6666, 0x5550, 0x7e89, 0xff04, 0x7f81, 0x0000, 0x5555,
71  0x00fe, 0x3330, 0xaa81, 0xfe86, 0x7f02, 0x4ccd, 0x0000, 0x7ffd,
72  0x07f0, 0xffe7, 0xffd6, 0x7e83, 0x199a, 0x2aab, 0x0000, 0x7ffe,
73  0x3e03, 0x331a, 0x552b, 0xe667, 0xd556, 0x0003, 0x0000, 0x7fff,
74  0x3e82, 0x664d, 0xeeef, 0x8001, 0x8006, 0x8002, 0x0000, 0x8000,
75  0x3f01, 0x5c29, 0x8e39, 0x0009, 0x0004, 0x0001, 0x0000, 0x8001,
76  0x664d, 0xeeef, 0x8001, 0x8006, 0x8002, 0x8000, 0x0000, 0xaaaa,
77  0x552b, 0xe667, 0xd556, 0x0003, 0x0000, 0xffff, 0x0000, 0xcccc,
78  0x7e83, 0x199a, 0x2aab, 0x8000, 0x7ffe, 0x5556, 0x0000, 0xff80,
79  0x7f02, 0x4ccd, 0x8000, 0xfffd, 0xaaac, 0x3334, 0x0000, 0xff81,
80  0x7f81, 0x8000, 0xd555, 0x0002, 0x6668, 0x0080, 0x0000, 0xff82,
81  0x8000, 0xb333, 0x1c72, 0x999c, 0x0100, 0x807f, 0x0000, 0xff83,
82  0x807f, 0xddde, 0xbbbc, 0x0180, 0x80fe, 0x007e, 0x0000, 0xfff0,
83  0xaa56, 0x70a4, 0x5580, 0x817d, 0x00fc, 0x807d, 0x0000, 0xfffd,
84  0x9934, 0x6680, 0xaad5, 0x017a, 0x80fa, 0x0010, 0x0000, 0xfffe,
85  0xc080, 0x99b3, 0x002a, 0x8177, 0x0020, 0x8003, 0x0000, 0xffff,
86  0x99b3, 0x002a, 0x8177, 0x0020, 0x8003, 0x0000, 0xffff, 0x0000,
87  0xcce6, 0x557f, 0x0030, 0x8006, 0x0002, 0x0000, 0x0000, 0x0002,
88  0x0019, 0xaab0, 0x8009, 0x0004, 0x8001, 0x0000, 0x0001, 0x0004,
89  0xccd0, 0x0001, 0x0006, 0x8002, 0x0000, 0x0000, 0x0002, 0x0020,
90  0x6667, 0x5556, 0x8003, 0x0000, 0x7fff, 0x0000, 0x0010, 0x00fa,
91  0x999a, 0xaaab, 0x0000, 0x7ffe, 0xfffe, 0x0000, 0x007d, 0x00fc,
92  0xcccd, 0x0000, 0x7ffd, 0xfffc, 0xfff0, 0x0000, 0x007e, 0x00fe,
93  0x0000, 0x5555, 0xfffa, 0xffe0, 0x7f83, 0x0000, 0x007f, 0x6666,
94  0x3333, 0xaaaa, 0xffd0, 0x7f06, 0xff82, 0x0000, 0x3333, 0xaaaa,
95  0x6666, 0x5550, 0x7e89, 0xff04, 0x7f81, 0x0000, 0x5555, 0xfffa,
96  0x3330, 0xaa81, 0xfe86, 0x7f02, 0x4ccd, 0x0000, 0x7ffd, 0xfffc,
97  0xffe7, 0xffd6, 0x7e83, 0x199a, 0x2aab, 0x0000, 0x7ffe, 0xfffe,
98  0x331a, 0x552b, 0xe667, 0xd556, 0x0003, 0x0000, 0x7fff, 0x0000,
99  0x664d, 0xeeef, 0x8001, 0x8006, 0x8002, 0x0000, 0x8000, 0x0002,
100  0x5c29, 0x8e39, 0x0009, 0x0004, 0x0001, 0x0000, 0x8001, 0x5554,
101  0xeeef, 0x8001, 0x8006, 0x8002, 0x8000, 0x0000, 0xaaaa, 0x9998,
102  0xe667, 0xd556, 0x0003, 0x0000, 0xffff, 0x0000, 0xcccc, 0xff00,
103  0x199a, 0x2aab, 0x8000, 0x7ffe, 0x5556, 0x0000, 0xff80, 0xff02,
104  0x4ccd, 0x8000, 0xfffd, 0xaaac, 0x3334, 0x0000, 0xff81, 0xff04,
105  0x8000, 0xd555, 0x0002, 0x6668, 0x0080, 0x0000, 0xff82, 0xff06,
106  0xb333, 0x1c72, 0x999c, 0x0100, 0x807f, 0x0000, 0xff83, 0xffe0,
107  0xddde, 0xbbbc, 0x0180, 0x80fe, 0x007e, 0x0000, 0xfff0, 0xfffa,
108  0x70a4, 0x5580, 0x817d, 0x00fc, 0x807d, 0x0000, 0xfffd, 0xfffc,
109  0x6680, 0xaad5, 0x017a, 0x80fa, 0x0010, 0x0000, 0xfffe, 0xfffe,
110  0xaad5, 0x017a, 0x80fa, 0x0010, 0x0000, 0xfffe, 0xfffe, 0x0000,
111  0x002a, 0x8177, 0x0020, 0x8003, 0x0000, 0xffff, 0x0000, 0x0010,
112  0x557f, 0x0030, 0x8006, 0x0002, 0x0000, 0x0000, 0x0002, 0x0020,
113  0xaab0, 0x8009, 0x0004, 0x8001, 0x0000, 0x0001, 0x0004, 0x0100,
114  0x0001, 0x0006, 0x8002, 0x0000, 0x0000, 0x0002, 0x0020, 0x07d0,
115  0x5556, 0x8003, 0x0000, 0x7fff, 0x0000, 0x0010, 0x00fa, 0x07e0,
116  0xaaab, 0x0000, 0x7ffe, 0xfffe, 0x0000, 0x007d, 0x00fc, 0x07f0,
117  0x0000, 0x7ffd, 0xfffc, 0xfff0, 0x0000, 0x007e, 0x00fe, 0x3330,
118  0x5555, 0xfffa, 0xffe0, 0x7f83, 0x0000, 0x007f, 0x6666, 0x5550,
119  0xaaaa, 0xffd0, 0x7f06, 0xff82, 0x0000, 0x3333, 0xaaaa, 0xffd0,
120  0x5550, 0x7e89, 0xff04, 0x7f81, 0x0000, 0x5555, 0xfffa, 0xffe0,
121  0xaa81, 0xfe86, 0x7f02, 0x4ccd, 0x0000, 0x7ffd, 0xfffc, 0xfff0,
122  0xffd6, 0x7e83, 0x199a, 0x2aab, 0x0000, 0x7ffe, 0xfffe, 0x0000,
123  0x552b, 0xe667, 0xd556, 0x0003, 0x0000, 0x7fff, 0x0000, 0x0010,
124  0xeeef, 0x8001, 0x8006, 0x8002, 0x0000, 0x8000, 0x0002, 0xaaa0,
125  0x8e39, 0x0009, 0x0004, 0x0001, 0x0000, 0x8001, 0x5554, 0xccc0,
126  0x8001, 0x8006, 0x8002, 0x8000, 0x0000, 0xaaaa, 0x9998, 0xf800,
127  0xd556, 0x0003, 0x0000, 0xffff, 0x0000, 0xcccc, 0xff00, 0xf810,
128  0x2aab, 0x8000, 0x7ffe, 0x5556, 0x0000, 0xff80, 0xff02, 0xf820,
129  0x8000, 0xfffd, 0xaaac, 0x3334, 0x0000, 0xff81, 0xff04, 0xf830,
130  0xd555, 0x0002, 0x6668, 0x0080, 0x0000, 0xff82, 0xff06, 0xff00,
131  0x1c72, 0x999c, 0x0100, 0x807f, 0x0000, 0xff83, 0xffe0, 0xffd0,
132  0xbbbc, 0x0180, 0x80fe, 0x007e, 0x0000, 0xfff0, 0xfffa, 0xffe0,
133  0x5580, 0x817d, 0x00fc, 0x807d, 0x0000, 0xfffd, 0xfffc, 0xfff0,
134  0x817d, 0x00fc, 0x807d, 0x0000, 0xfffd, 0xfffc, 0xfff0, 0x0000,
135  0x017a, 0x80fa, 0x0010, 0x0000, 0xfffe, 0xfffe, 0x0000, 0x007d,
136  0x8177, 0x0020, 0x8003, 0x0000, 0xffff, 0x0000, 0x0010, 0x00fa,
137  0x0030, 0x8006, 0x0002, 0x0000, 0x0000, 0x0002, 0x0020, 0x07d0,
138  0x8009, 0x0004, 0x8001, 0x0000, 0x0001, 0x0004, 0x0100, 0x3d09,
139  0x0006, 0x8002, 0x0000, 0x0000, 0x0002, 0x0020, 0x07d0, 0x3d86,
140  0x8003, 0x0000, 0x7fff, 0x0000, 0x0010, 0x00fa, 0x07e0, 0x3e03,
141  0x0000, 0x7ffe, 0xfffe, 0x0000, 0x007d, 0x00fc, 0x07f0, 0xffe7,
142  0x7ffd, 0xfffc, 0xfff0, 0x0000, 0x007e, 0x00fe, 0x3330, 0xaa81,
143  0xfffa, 0xffe0, 0x7f83, 0x0000, 0x007f, 0x6666, 0x5550, 0x7e89,
144  0xffd0, 0x7f06, 0xff82, 0x0000, 0x3333, 0xaaaa, 0xffd0, 0x7f06,
145  0x7e89, 0xff04, 0x7f81, 0x0000, 0x5555, 0xfffa, 0xffe0, 0x7f83,
146  0xfe86, 0x7f02, 0x4ccd, 0x0000, 0x7ffd, 0xfffc, 0xfff0, 0x8000,
147  0x7e83, 0x199a, 0x2aab, 0x0000, 0x7ffe, 0xfffe, 0x0000, 0x807d,
148  0xe667, 0xd556, 0x0003, 0x0000, 0x7fff, 0x0000, 0x0010, 0x5502,
149  0x8001, 0x8006, 0x8002, 0x0000, 0x8000, 0x0002, 0xaaa0, 0xff9c,
150  0x0009, 0x0004, 0x0001, 0x0000, 0x8001, 0x5554, 0xccc0, 0xc180,
151  0x8006, 0x8002, 0x8000, 0x0000, 0xaaaa, 0x9998, 0xf800, 0xc1fd,
152  0x0003, 0x0000, 0xffff, 0x0000, 0xcccc, 0xff00, 0xf810, 0xc27a,
153  0x8000, 0x7ffe, 0x5556, 0x0000, 0xff80, 0xff02, 0xf820, 0xc2f7,
154  0xfffd, 0xaaac, 0x3334, 0x0000, 0xff81, 0xff04, 0xf830, 0xf830,
155  0x0002, 0x6668, 0x0080, 0x0000, 0xff82, 0xff06, 0xff00, 0xfe89,
156  0x999c, 0x0100, 0x807f, 0x0000, 0xff83, 0xffe0, 0xffd0, 0xff06,
157  0x0180, 0x80fe, 0x007e, 0x0000, 0xfff0, 0xfffa, 0xffe0, 0xff83,
158  0x80fe, 0x007e, 0x0000, 0xfff0, 0xfffa, 0xffe0, 0xff83, 0x0000,
159  0x00fc, 0x807d, 0x0000, 0xfffd, 0xfffc, 0xfff0, 0x0000, 0x007e,
160  0x80fa, 0x0010, 0x0000, 0xfffe, 0xfffe, 0x0000, 0x007d, 0x00fc,
161  0x0020, 0x8003, 0x0000, 0xffff, 0x0000, 0x0010, 0x00fa, 0x07e0,
162  0x8006, 0x0002, 0x0000, 0x0000, 0x0002, 0x0020, 0x07d0, 0x3d86,
163  0x0004, 0x8001, 0x0000, 0x0001, 0x0004, 0x0100, 0x3d09, 0x3e04,
164  0x8002, 0x0000, 0x0000, 0x0002, 0x0020, 0x07d0, 0x3d86, 0x3e82,
165  0x0000, 0x7fff, 0x0000, 0x0010, 0x00fa, 0x07e0, 0x3e03, 0x331a,
166  0x7ffe, 0xfffe, 0x0000, 0x007d, 0x00fc, 0x07f0, 0xffe7, 0xffd6,
167  0xfffc, 0xfff0, 0x0000, 0x007e, 0x00fe, 0x3330, 0xaa81, 0xfe86,
168  0xffe0, 0x7f83, 0x0000, 0x007f, 0x6666, 0x5550, 0x7e89, 0xff04,
169  0x7f06, 0xff82, 0x0000, 0x3333, 0xaaaa, 0xffd0, 0x7f06, 0xff82,
170  0xff04, 0x7f81, 0x0000, 0x5555, 0xfffa, 0xffe0, 0x7f83, 0x0000,
171  0x7f02, 0x4ccd, 0x0000, 0x7ffd, 0xfffc, 0xfff0, 0x8000, 0x007e,
172  0x199a, 0x2aab, 0x0000, 0x7ffe, 0xfffe, 0x0000, 0x807d, 0xffac,
173  0xd556, 0x0003, 0x0000, 0x7fff, 0x0000, 0x0010, 0x5502, 0xcc68,
174  0x8006, 0x8002, 0x0000, 0x8000, 0x0002, 0xaaa0, 0xff9c, 0xc100,
175  0x0004, 0x0001, 0x0000, 0x8001, 0x5554, 0xccc0, 0xc180, 0xc17e,
176  0x8002, 0x8000, 0x0000, 0xaaaa, 0x9998, 0xf800, 0xc1fd, 0xc1fc,
177  0x0000, 0xffff, 0x0000, 0xcccc, 0xff00, 0xf810, 0xc27a, 0xc27a,
178  0x7ffe, 0x5556, 0x0000, 0xff80, 0xff02, 0xf820, 0xc2f7, 0xf820,
179  0xaaac, 0x3334, 0x0000, 0xff81, 0xff04, 0xf830, 0xf830, 0xfe86,
180  0x6668, 0x0080, 0x0000, 0xff82, 0xff06, 0xff00, 0xfe89, 0xff04,
181  0x0100, 0x807f, 0x0000, 0xff83, 0xffe0, 0xffd0, 0xff06, 0xff82,
182  0x807f, 0x0000, 0xff83, 0xffe0, 0xffd0, 0xff06, 0xff82, 0x0000,
183  0x007e, 0x0000, 0xfff0, 0xfffa, 0xffe0, 0xff83, 0x0000, 0x007f,
184  0x807d, 0x0000, 0xfffd, 0xfffc, 0xfff0, 0x0000, 0x007e, 0x00fe,
185  0x0010, 0x0000, 0xfffe, 0xfffe, 0x0000, 0x007d, 0x00fc, 0x07f0,
186  0x8003, 0x0000, 0xffff, 0x0000, 0x0010, 0x00fa, 0x07e0, 0x3e03,
187  0x0002, 0x0000, 0x0000, 0x0002, 0x0020, 0x07d0, 0x3d86, 0x3e82,
188  0x8001, 0x0000, 0x0001, 0x0004, 0x0100, 0x3d09, 0x3e04, 0x3f01,
189  0x0000, 0x0000, 0x0002, 0x0020, 0x07d0, 0x3d86, 0x3e82, 0x664d,
190  0x7fff, 0x0000, 0x0010, 0x00fa, 0x07e0, 0x3e03, 0x331a, 0x552b,
191  0xfffe, 0x0000, 0x007d, 0x00fc, 0x07f0, 0xffe7, 0xffd6, 0x7e83,
192  0xfff0, 0x0000, 0x007e, 0x00fe, 0x3330, 0xaa81, 0xfe86, 0x7f02,
193  0x7f83, 0x0000, 0x007f, 0x6666, 0x5550, 0x7e89, 0xff04, 0x7f81,
194  0xff82, 0x0000, 0x3333, 0xaaaa, 0xffd0, 0x7f06, 0xff82, 0x8000,
195  0x7f81, 0x0000, 0x5555, 0xfffa, 0xffe0, 0x7f83, 0x0000, 0x807f,
196  0x4ccd, 0x0000, 0x7ffd, 0xfffc, 0xfff0, 0x8000, 0x007e, 0xaa56,
197  0x2aab, 0x0000, 0x7ffe, 0xfffe, 0x0000, 0x807d, 0xffac, 0x9934,
198  0x0003, 0x0000, 0x7fff, 0x0000, 0x0010, 0x5502, 0xcc68, 0xc080,
199  0x8002, 0x0000, 0x8000, 0x0002, 0xaaa0, 0xff9c, 0xc100, 0xc0ff,
200  0x0001, 0x0000, 0x8001, 0x5554, 0xccc0, 0xc180, 0xc17e, 0xc17e,
201  0x8000, 0x0000, 0xaaaa, 0x9998, 0xf800, 0xc1fd, 0xc1fc, 0xc1fd,
202  0xffff, 0x0000, 0xcccc, 0xff00, 0xf810, 0xc27a, 0xc27a, 0xf810,
203  0x5556, 0x0000, 0xff80, 0xff02, 0xf820, 0xc2f7, 0xf820, 0xfe83,
204  0x3334, 0x0000, 0xff81, 0xff04, 0xf830, 0xf830, 0xfe86, 0xff02,
205  0x0080, 0x0000, 0xff82, 0xff06, 0xff00, 0xfe89, 0xff04, 0xff81,
206  0x0000, 0xff82, 0xff06, 0xff00, 0xfe89, 0xff04, 0xff81, 0x0000,
207  0x0000, 0xff83, 0xffe0, 0xffd0, 0xff06, 0xff82, 0x0000, 0x3333,
208  0x0000, 0xfff0, 0xfffa, 0xffe0, 0xff83, 0x0000, 0x007f, 0x6666,
209  0x0000, 0xfffd, 0xfffc, 0xfff0, 0x0000, 0x007e, 0x00fe, 0x3330,
210  0x0000, 0xfffe, 0xfffe, 0x0000, 0x007d, 0x00fc, 0x07f0, 0xffe7,
211  0x0000, 0xffff, 0x0000, 0x0010, 0x00fa, 0x07e0, 0x3e03, 0x331a,
212  0x0000, 0x0000, 0x0002, 0x0020, 0x07d0, 0x3d86, 0x3e82, 0x664d,
213  0x0000, 0x0001, 0x0004, 0x0100, 0x3d09, 0x3e04, 0x3f01, 0x5c29,
214  0x0000, 0x0002, 0x0020, 0x07d0, 0x3d86, 0x3e82, 0x664d, 0xeeef,
215  0x0000, 0x0010, 0x00fa, 0x07e0, 0x3e03, 0x331a, 0x552b, 0xe667,
216  0x0000, 0x007d, 0x00fc, 0x07f0, 0xffe7, 0xffd6, 0x7e83, 0x199a,
217  0x0000, 0x007e, 0x00fe, 0x3330, 0xaa81, 0xfe86, 0x7f02, 0x4ccd,
218  0x0000, 0x007f, 0x6666, 0x5550, 0x7e89, 0xff04, 0x7f81, 0x8000,
219  0x0000, 0x3333, 0xaaaa, 0xffd0, 0x7f06, 0xff82, 0x8000, 0xb333,
220  0x0000, 0x5555, 0xfffa, 0xffe0, 0x7f83, 0x0000, 0x807f, 0xddde,
221  0x0000, 0x7ffd, 0xfffc, 0xfff0, 0x8000, 0x007e, 0xaa56, 0x70a4,
222  0x0000, 0x7ffe, 0xfffe, 0x0000, 0x807d, 0xffac, 0x9934, 0x6680,
223  0x0000, 0x7fff, 0x0000, 0x0010, 0x5502, 0xcc68, 0xc080, 0x99b3,
224  0x0000, 0x8000, 0x0002, 0xaaa0, 0xff9c, 0xc100, 0xc0ff, 0xcce6,
225  0x0000, 0x8001, 0x5554, 0xccc0, 0xc180, 0xc17e, 0xc17e, 0x0019,
226  0x0000, 0xaaaa, 0x9998, 0xf800, 0xc1fd, 0xc1fc, 0xc1fd, 0xccd0,
227  0x0000, 0xcccc, 0xff00, 0xf810, 0xc27a, 0xc27a, 0xf810, 0x6667,
228  0x0000, 0xff80, 0xff02, 0xf820, 0xc2f7, 0xf820, 0xfe83, 0x999a,
229  0x0000, 0xff81, 0xff04, 0xf830, 0xf830, 0xfe86, 0xff02, 0xcccd,
230  0xff81, 0xff04, 0xf830, 0xf830, 0xfe86, 0xff02, 0xcccd, 0x0000,
231  0xff82, 0xff06, 0xff00, 0xfe89, 0xff04, 0xff81, 0x0000, 0x5555,
232  0xff83, 0xffe0, 0xffd0, 0xff06, 0xff82, 0x0000, 0x3333, 0xaaaa,
233  0xfff0, 0xfffa, 0xffe0, 0xff83, 0x0000, 0x007f, 0x6666, 0x5550,
234  0xfffd, 0xfffc, 0xfff0, 0x0000, 0x007e, 0x00fe, 0x3330, 0xaa81,
235  0xfffe, 0xfffe, 0x0000, 0x007d, 0x00fc, 0x07f0, 0xffe7, 0xffd6,
236  0xffff, 0x0000, 0x0010, 0x00fa, 0x07e0, 0x3e03, 0x331a, 0x552b,
237  0x0000, 0x0002, 0x0020, 0x07d0, 0x3d86, 0x3e82, 0x664d, 0xeeef,
238  0x0001, 0x0004, 0x0100, 0x3d09, 0x3e04, 0x3f01, 0x5c29, 0x8e39,
239  0x0002, 0x0020, 0x07d0, 0x3d86, 0x3e82, 0x664d, 0xeeef, 0x8001,
240  0x0010, 0x00fa, 0x07e0, 0x3e03, 0x331a, 0x552b, 0xe667, 0xd556,
241  0x007d, 0x00fc, 0x07f0, 0xffe7, 0xffd6, 0x7e83, 0x199a, 0x2aab,
242  0x007e, 0x00fe, 0x3330, 0xaa81, 0xfe86, 0x7f02, 0x4ccd, 0x8000,
243  0x007f, 0x6666, 0x5550, 0x7e89, 0xff04, 0x7f81, 0x8000, 0xd555,
244  0x3333, 0xaaaa, 0xffd0, 0x7f06, 0xff82, 0x8000, 0xb333, 0x1c72,
245  0x5555, 0xfffa, 0xffe0, 0x7f83, 0x0000, 0x807f, 0xddde, 0xbbbc,
246  0x7ffd, 0xfffc, 0xfff0, 0x8000, 0x007e, 0xaa56, 0x70a4, 0x5580,
247  0x7ffe, 0xfffe, 0x0000, 0x807d, 0xffac, 0x9934, 0x6680, 0xaad5,
248  0x7fff, 0x0000, 0x0010, 0x5502, 0xcc68, 0xc080, 0x99b3, 0x002a,
249  0x8000, 0x0002, 0xaaa0, 0xff9c, 0xc100, 0xc0ff, 0xcce6, 0x557f,
250  0x8001, 0x5554, 0xccc0, 0xc180, 0xc17e, 0xc17e, 0x0019, 0xaab0,
251  0xaaaa, 0x9998, 0xf800, 0xc1fd, 0xc1fc, 0xc1fd, 0xccd0, 0x0001,
252  0xcccc, 0xff00, 0xf810, 0xc27a, 0xc27a, 0xf810, 0x6667, 0x5556,
253  0xff80, 0xff02, 0xf820, 0xc2f7, 0xf820, 0xfe83, 0x999a, 0xaaab,
254  0xff02, 0xf820, 0xc2f7, 0xf820, 0xfe83, 0x999a, 0xaaab, 0x0000,
255  0xff04, 0xf830, 0xf830, 0xfe86, 0xff02, 0xcccd, 0x0000, 0x7ffd,
256  0xff06, 0xff00, 0xfe89, 0xff04, 0xff81, 0x0000, 0x5555, 0xfffa,
257  0xffe0, 0xffd0, 0xff06, 0xff82, 0x0000, 0x3333, 0xaaaa, 0xffd0,
258  0xfffa, 0xffe0, 0xff83, 0x0000, 0x007f, 0x6666, 0x5550, 0x7e89,
259  0xfffc, 0xfff0, 0x0000, 0x007e, 0x00fe, 0x3330, 0xaa81, 0xfe86,
260  0xfffe, 0x0000, 0x007d, 0x00fc, 0x07f0, 0xffe7, 0xffd6, 0x7e83,
261  0x0000, 0x0010, 0x00fa, 0x07e0, 0x3e03, 0x331a, 0x552b, 0xe667,
262  0x0002, 0x0020, 0x07d0, 0x3d86, 0x3e82, 0x664d, 0xeeef, 0x8001,
263  0x0004, 0x0100, 0x3d09, 0x3e04, 0x3f01, 0x5c29, 0x8e39, 0x0009,
264  0x0020, 0x07d0, 0x3d86, 0x3e82, 0x664d, 0xeeef, 0x8001, 0x8006,
265  0x00fa, 0x07e0, 0x3e03, 0x331a, 0x552b, 0xe667, 0xd556, 0x0003,
266  0x00fc, 0x07f0, 0xffe7, 0xffd6, 0x7e83, 0x199a, 0x2aab, 0x8000,
267  0x00fe, 0x3330, 0xaa81, 0xfe86, 0x7f02, 0x4ccd, 0x8000, 0xfffd,
268  0x6666, 0x5550, 0x7e89, 0xff04, 0x7f81, 0x8000, 0xd555, 0x0002,
269  0xaaaa, 0xffd0, 0x7f06, 0xff82, 0x8000, 0xb333, 0x1c72, 0x999c,
270  0xfffa, 0xffe0, 0x7f83, 0x0000, 0x807f, 0xddde, 0xbbbc, 0x0180,
271  0xfffc, 0xfff0, 0x8000, 0x007e, 0xaa56, 0x70a4, 0x5580, 0x817d,
272  0xfffe, 0x0000, 0x807d, 0xffac, 0x9934, 0x6680, 0xaad5, 0x017a,
273  0x0000, 0x0010, 0x5502, 0xcc68, 0xc080, 0x99b3, 0x002a, 0x8177,
274  0x0002, 0xaaa0, 0xff9c, 0xc100, 0xc0ff, 0xcce6, 0x557f, 0x0030,
275  0x5554, 0xccc0, 0xc180, 0xc17e, 0xc17e, 0x0019, 0xaab0, 0x8009,
276  0x9998, 0xf800, 0xc1fd, 0xc1fc, 0xc1fd, 0xccd0, 0x0001, 0x0006,
277  0xff00, 0xf810, 0xc27a, 0xc27a, 0xf810, 0x6667, 0x5556, 0x8003,
278  0xf810, 0xc27a, 0xc27a, 0xf810, 0x6667, 0x5556, 0x8003, 0x0000,
279  0xf820, 0xc2f7, 0xf820, 0xfe83, 0x999a, 0xaaab, 0x0000, 0x7ffe,
280  0xf830, 0xf830, 0xfe86, 0xff02, 0xcccd, 0x0000, 0x7ffd, 0xfffc,
281  0xff00, 0xfe89, 0xff04, 0xff81, 0x0000, 0x5555, 0xfffa, 0xffe0,
282  0xffd0, 0xff06, 0xff82, 0x0000, 0x3333, 0xaaaa, 0xffd0, 0x7f06,
283  0xffe0, 0xff83, 0x0000, 0x007f, 0x6666, 0x5550, 0x7e89, 0xff04,
284  0xfff0, 0x0000, 0x007e, 0x00fe, 0x3330, 0xaa81, 0xfe86, 0x7f02,
285  0x0000, 0x007d, 0x00fc, 0x07f0, 0xffe7, 0xffd6, 0x7e83, 0x199a,
286  0x0010, 0x00fa, 0x07e0, 0x3e03, 0x331a, 0x552b, 0xe667, 0xd556,
287  0x0020, 0x07d0, 0x3d86, 0x3e82, 0x664d, 0xeeef, 0x8001, 0x8006,
288  0x0100, 0x3d09, 0x3e04, 0x3f01, 0x5c29, 0x8e39, 0x0009, 0x0004,
289  0x07d0, 0x3d86, 0x3e82, 0x664d, 0xeeef, 0x8001, 0x8006, 0x8002,
290  0x07e0, 0x3e03, 0x331a, 0x552b, 0xe667, 0xd556, 0x0003, 0x0000,
291  0x07f0, 0xffe7, 0xffd6, 0x7e83, 0x199a, 0x2aab, 0x8000, 0x7ffe,
292  0x3330, 0xaa81, 0xfe86, 0x7f02, 0x4ccd, 0x8000, 0xfffd, 0xaaac,
293  0x5550, 0x7e89, 0xff04, 0x7f81, 0x8000, 0xd555, 0x0002, 0x6668,
294  0xffd0, 0x7f06, 0xff82, 0x8000, 0xb333, 0x1c72, 0x999c, 0x0100,
295  0xffe0, 0x7f83, 0x0000, 0x807f, 0xddde, 0xbbbc, 0x0180, 0x80fe,
296  0xfff0, 0x8000, 0x007e, 0xaa56, 0x70a4, 0x5580, 0x817d, 0x00fc,
297  0x0000, 0x807d, 0xffac, 0x9934, 0x6680, 0xaad5, 0x017a, 0x80fa,
298  0x0010, 0x5502, 0xcc68, 0xc080, 0x99b3, 0x002a, 0x8177, 0x0020,
299  0xaaa0, 0xff9c, 0xc100, 0xc0ff, 0xcce6, 0x557f, 0x0030, 0x8006,
300  0xccc0, 0xc180, 0xc17e, 0xc17e, 0x0019, 0xaab0, 0x8009, 0x0004,
301  0xf800, 0xc1fd, 0xc1fc, 0xc1fd, 0xccd0, 0x0001, 0x0006, 0x8002,
302  0xc1fd, 0xc1fc, 0xc1fd, 0xccd0, 0x0001, 0x0006, 0x8002, 0x0000,
303  0xc27a, 0xc27a, 0xf810, 0x6667, 0x5556, 0x8003, 0x0000, 0x7fff,
304  0xc2f7, 0xf820, 0xfe83, 0x999a, 0xaaab, 0x0000, 0x7ffe, 0xfffe,
305  0xf830, 0xfe86, 0xff02, 0xcccd, 0x0000, 0x7ffd, 0xfffc, 0xfff0,
306  0xfe89, 0xff04, 0xff81, 0x0000, 0x5555, 0xfffa, 0xffe0, 0x7f83,
307  0xff06, 0xff82, 0x0000, 0x3333, 0xaaaa, 0xffd0, 0x7f06, 0xff82,
308  0xff83, 0x0000, 0x007f, 0x6666, 0x5550, 0x7e89, 0xff04, 0x7f81,
309  0x0000, 0x007e, 0x00fe, 0x3330, 0xaa81, 0xfe86, 0x7f02, 0x4ccd,
310  0x007d, 0x00fc, 0x07f0, 0xffe7, 0xffd6, 0x7e83, 0x199a, 0x2aab,
311  0x00fa, 0x07e0, 0x3e03, 0x331a, 0x552b, 0xe667, 0xd556, 0x0003,
312  0x07d0, 0x3d86, 0x3e82, 0x664d, 0xeeef, 0x8001, 0x8006, 0x8002,
313  0x3d09, 0x3e04, 0x3f01, 0x5c29, 0x8e39, 0x0009, 0x0004, 0x0001,
314  0x3d86, 0x3e82, 0x664d, 0xeeef, 0x8001, 0x8006, 0x8002, 0x8000,
315  0x3e03, 0x331a, 0x552b, 0xe667, 0xd556, 0x0003, 0x0000, 0xffff,
316  0xffe7, 0xffd6, 0x7e83, 0x199a, 0x2aab, 0x8000, 0x7ffe, 0x5556,
317  0xaa81, 0xfe86, 0x7f02, 0x4ccd, 0x8000, 0xfffd, 0xaaac, 0x3334,
318  0x7e89, 0xff04, 0x7f81, 0x8000, 0xd555, 0x0002, 0x6668, 0x0080,
319  0x7f06, 0xff82, 0x8000, 0xb333, 0x1c72, 0x999c, 0x0100, 0x807f,
320  0x7f83, 0x0000, 0x807f, 0xddde, 0xbbbc, 0x0180, 0x80fe, 0x007e,
321  0x8000, 0x007e, 0xaa56, 0x70a4, 0x5580, 0x817d, 0x00fc, 0x807d,
322  0x807d, 0xffac, 0x9934, 0x6680, 0xaad5, 0x017a, 0x80fa, 0x0010,
323  0x5502, 0xcc68, 0xc080, 0x99b3, 0x002a, 0x8177, 0x0020, 0x8003,
324  0xff9c, 0xc100, 0xc0ff, 0xcce6, 0x557f, 0x0030, 0x8006, 0x0002,
325  0xc180, 0xc17e, 0xc17e, 0x0019, 0xaab0, 0x8009, 0x0004, 0x8001,
326  0xc17e, 0xc17e, 0x0019, 0xaab0, 0x8009, 0x0004, 0x8001, 0x0000,
327  0xc1fc, 0xc1fd, 0xccd0, 0x0001, 0x0006, 0x8002, 0x0000, 0x8000,
328  0xc27a, 0xf810, 0x6667, 0x5556, 0x8003, 0x0000, 0x7fff, 0x0000,
329  0xf820, 0xfe83, 0x999a, 0xaaab, 0x0000, 0x7ffe, 0xfffe, 0x0000,
330  0xfe86, 0xff02, 0xcccd, 0x0000, 0x7ffd, 0xfffc, 0xfff0, 0x8000,
331  0xff04, 0xff81, 0x0000, 0x5555, 0xfffa, 0xffe0, 0x7f83, 0x0000,
332  0xff82, 0x0000, 0x3333, 0xaaaa, 0xffd0, 0x7f06, 0xff82, 0x8000,
333  0x0000, 0x007f, 0x6666, 0x5550, 0x7e89, 0xff04, 0x7f81, 0x8000,
334  0x007e, 0x00fe, 0x3330, 0xaa81, 0xfe86, 0x7f02, 0x4ccd, 0x8000,
335  0x00fc, 0x07f0, 0xffe7, 0xffd6, 0x7e83, 0x199a, 0x2aab, 0x8000,
336  0x07e0, 0x3e03, 0x331a, 0x552b, 0xe667, 0xd556, 0x0003, 0x0000,
337  0x3d86, 0x3e82, 0x664d, 0xeeef, 0x8001, 0x8006, 0x8002, 0x8000,
338  0x3e04, 0x3f01, 0x5c29, 0x8e39, 0x0009, 0x0004, 0x0001, 0x0000,
339  0x3e82, 0x664d, 0xeeef, 0x8001, 0x8006, 0x8002, 0x8000, 0x8000,
340  0x331a, 0x552b, 0xe667, 0xd556, 0x0003, 0x0000, 0xffff, 0x0000,
341  0xffd6, 0x7e83, 0x199a, 0x2aab, 0x8000, 0x7ffe, 0x5556, 0x0000,
342  0xfe86, 0x7f02, 0x4ccd, 0x8000, 0xfffd, 0xaaac, 0x3334, 0x0000,
343  0xff04, 0x7f81, 0x8000, 0xd555, 0x0002, 0x6668, 0x0080, 0x8000,
344  0xff82, 0x8000, 0xb333, 0x1c72, 0x999c, 0x0100, 0x807f, 0x0000,
345  0x0000, 0x807f, 0xddde, 0xbbbc, 0x0180, 0x80fe, 0x007e, 0x8000,
346  0x007e, 0xaa56, 0x70a4, 0x5580, 0x817d, 0x00fc, 0x807d, 0x0000,
347  0xffac, 0x9934, 0x6680, 0xaad5, 0x017a, 0x80fa, 0x0010, 0x8000,
348  0xcc68, 0xc080, 0x99b3, 0x002a, 0x8177, 0x0020, 0x8003, 0x0000,
349  0xc100, 0xc0ff, 0xcce6, 0x557f, 0x0030, 0x8006, 0x0002, 0x8000,
350  0xc0ff, 0xcce6, 0x557f, 0x0030, 0x8006, 0x0002, 0x8000, 0x0000,
351  0xc17e, 0x0019, 0xaab0, 0x8009, 0x0004, 0x8001, 0x0000, 0x8001,
352  0xc1fd, 0xccd0, 0x0001, 0x0006, 0x8002, 0x0000, 0x8000, 0x0002,
353  0xf810, 0x6667, 0x5556, 0x8003, 0x0000, 0x7fff, 0x0000, 0x0010,
354  0xfe83, 0x999a, 0xaaab, 0x0000, 0x7ffe, 0xfffe, 0x0000, 0x807d,
355  0xff02, 0xcccd, 0x0000, 0x7ffd, 0xfffc, 0xfff0, 0x8000, 0x007e,
356  0xff81, 0x0000, 0x5555, 0xfffa, 0xffe0, 0x7f83, 0x0000, 0x807f,
357  0x0000, 0x3333, 0xaaaa, 0xffd0, 0x7f06, 0xff82, 0x8000, 0xb333,
358  0x007f, 0x6666, 0x5550, 0x7e89, 0xff04, 0x7f81, 0x8000, 0xd555,
359  0x00fe, 0x3330, 0xaa81, 0xfe86, 0x7f02, 0x4ccd, 0x8000, 0xfffd,
360  0x07f0, 0xffe7, 0xffd6, 0x7e83, 0x199a, 0x2aab, 0x8000, 0x7ffe,
361  0x3e03, 0x331a, 0x552b, 0xe667, 0xd556, 0x0003, 0x0000, 0xffff,
362  0x3e82, 0x664d, 0xeeef, 0x8001, 0x8006, 0x8002, 0x8000, 0x8000,
363  0x3f01, 0x5c29, 0x8e39, 0x0009, 0x0004, 0x0001, 0x0000, 0x0001,
364  0x664d, 0xeeef, 0x8001, 0x8006, 0x8002, 0x8000, 0x8000, 0xaaaa,
365  0x552b, 0xe667, 0xd556, 0x0003, 0x0000, 0xffff, 0x0000, 0xcccc,
366  0x7e83, 0x199a, 0x2aab, 0x8000, 0x7ffe, 0x5556, 0x0000, 0xff80,
367  0x7f02, 0x4ccd, 0x8000, 0xfffd, 0xaaac, 0x3334, 0x0000, 0x7f81,
368  0x7f81, 0x8000, 0xd555, 0x0002, 0x6668, 0x0080, 0x8000, 0xff82,
369  0x8000, 0xb333, 0x1c72, 0x999c, 0x0100, 0x807f, 0x0000, 0x7f83,
370  0x807f, 0xddde, 0xbbbc, 0x0180, 0x80fe, 0x007e, 0x8000, 0xfff0,
371  0xaa56, 0x70a4, 0x5580, 0x817d, 0x00fc, 0x807d, 0x0000, 0x7ffd,
372  0x9934, 0x6680, 0xaad5, 0x017a, 0x80fa, 0x0010, 0x8000, 0xfffe,
373  0xc080, 0x99b3, 0x002a, 0x8177, 0x0020, 0x8003, 0x0000, 0x7fff,
374  0x99b3, 0x002a, 0x8177, 0x0020, 0x8003, 0x0000, 0x7fff, 0x0000,
375  0xcce6, 0x557f, 0x0030, 0x8006, 0x0002, 0x8000, 0x0000, 0xaaaa,
376  0x0019, 0xaab0, 0x8009, 0x0004, 0x8001, 0x0000, 0x8001, 0x5554,
377  0xccd0, 0x0001, 0x0006, 0x8002, 0x0000, 0x8000, 0x0002, 0xaaa0,
378  0x6667, 0x5556, 0x8003, 0x0000, 0x7fff, 0x0000, 0x0010, 0x5502,
379  0x999a, 0xaaab, 0x0000, 0x7ffe, 0xfffe, 0x0000, 0x807d, 0xffac,
380  0xcccd, 0x0000, 0x7ffd, 0xfffc, 0xfff0, 0x8000, 0x007e, 0xaa56,
381  0x0000, 0x5555, 0xfffa, 0xffe0, 0x7f83, 0x0000, 0x807f, 0xddde,
382  0x3333, 0xaaaa, 0xffd0, 0x7f06, 0xff82, 0x8000, 0xb333, 0x1c72,
383  0x6666, 0x5550, 0x7e89, 0xff04, 0x7f81, 0x8000, 0xd555, 0x0002,
384  0x3330, 0xaa81, 0xfe86, 0x7f02, 0x4ccd, 0x8000, 0xfffd, 0xaaac,
385  0xffe7, 0xffd6, 0x7e83, 0x199a, 0x2aab, 0x8000, 0x7ffe, 0x5556,
386  0x331a, 0x552b, 0xe667, 0xd556, 0x0003, 0x0000, 0xffff, 0x0000,
387  0x664d, 0xeeef, 0x8001, 0x8006, 0x8002, 0x8000, 0x8000, 0xaaaa,
388  0x5c29, 0x8e39, 0x0009, 0x0004, 0x0001, 0x0000, 0x0001, 0x38e4,
389  0xeeef, 0x8001, 0x8006, 0x8002, 0x8000, 0x8000, 0xaaaa, 0x7778,
390  0xe667, 0xd556, 0x0003, 0x0000, 0xffff, 0x0000, 0xcccc, 0xab00,
391  0x199a, 0x2aab, 0x8000, 0x7ffe, 0x5556, 0x0000, 0xff80, 0x55aa,
392  0x4ccd, 0x8000, 0xfffd, 0xaaac, 0x3334, 0x0000, 0x7f81, 0x0054,
393  0x8000, 0xd555, 0x0002, 0x6668, 0x0080, 0x8000, 0xff82, 0xaafe,
394  0xb333, 0x1c72, 0x999c, 0x0100, 0x807f, 0x0000, 0x7f83, 0x5560,
395  0xddde, 0xbbbc, 0x0180, 0x80fe, 0x007e, 0x8000, 0xfff0, 0x0002,
396  0x70a4, 0x5580, 0x817d, 0x00fc, 0x807d, 0x0000, 0x7ffd, 0xaaac,
397  0x6680, 0xaad5, 0x017a, 0x80fa, 0x0010, 0x8000, 0xfffe, 0x5556,
398  0xaad5, 0x017a, 0x80fa, 0x0010, 0x8000, 0xfffe, 0x5556, 0x0000,
399  0x002a, 0x8177, 0x0020, 0x8003, 0x0000, 0x7fff, 0x0000, 0xcccc,
400  0x557f, 0x0030, 0x8006, 0x0002, 0x8000, 0x0000, 0xaaaa, 0x9998,
401  0xaab0, 0x8009, 0x0004, 0x8001, 0x0000, 0x8001, 0x5554, 0xccc0,
402  0x0001, 0x0006, 0x8002, 0x0000, 0x8000, 0x0002, 0xaaa0, 0xff9c,
403  0x5556, 0x8003, 0x0000, 0x7fff, 0x0000, 0x0010, 0x5502, 0xcc68,
404  0xaaab, 0x0000, 0x7ffe, 0xfffe, 0x0000, 0x807d, 0xffac, 0x9934,
405  0x0000, 0x7ffd, 0xfffc, 0xfff0, 0x8000, 0x007e, 0xaa56, 0x70a4,
406  0x5555, 0xfffa, 0xffe0, 0x7f83, 0x0000, 0x807f, 0xddde, 0xbbbc,
407  0xaaaa, 0xffd0, 0x7f06, 0xff82, 0x8000, 0xb333, 0x1c72, 0x999c,
408  0x5550, 0x7e89, 0xff04, 0x7f81, 0x8000, 0xd555, 0x0002, 0x6668,
409  0xaa81, 0xfe86, 0x7f02, 0x4ccd, 0x8000, 0xfffd, 0xaaac, 0x3334,
410  0xffd6, 0x7e83, 0x199a, 0x2aab, 0x8000, 0x7ffe, 0x5556, 0x0000,
411  0x552b, 0xe667, 0xd556, 0x0003, 0x0000, 0xffff, 0x0000, 0xcccc,
412  0xeeef, 0x8001, 0x8006, 0x8002, 0x8000, 0x8000, 0xaaaa, 0x7778,
413  0x8e39, 0x0009, 0x0004, 0x0001, 0x0000, 0x0001, 0x38e4, 0xc290,
414  0x8001, 0x8006, 0x8002, 0x8000, 0x8000, 0xaaaa, 0x7778, 0x9a00,
415  0xd556, 0x0003, 0x0000, 0xffff, 0x0000, 0xcccc, 0xab00, 0x66cc,
416  0x2aab, 0x8000, 0x7ffe, 0x5556, 0x0000, 0xff80, 0x55aa, 0x3398,
417  0x8000, 0xfffd, 0xaaac, 0x3334, 0x0000, 0x7f81, 0x0054, 0x0064,
418  0xd555, 0x0002, 0x6668, 0x0080, 0x8000, 0xff82, 0xaafe, 0x3340,
419  0x1c72, 0x999c, 0x0100, 0x807f, 0x0000, 0x7f83, 0x5560, 0x999c,
420  0xbbbc, 0x0180, 0x80fe, 0x007e, 0x8000, 0xfff0, 0x0002, 0x6668,
421  0x5580, 0x817d, 0x00fc, 0x807d, 0x0000, 0x7ffd, 0xaaac, 0x3334,
422  0x817d, 0x00fc, 0x807d, 0x0000, 0x7ffd, 0xaaac, 0x3334, 0x0000,
423  0x017a, 0x80fa, 0x0010, 0x8000, 0xfffe, 0x5556, 0x0000, 0xff80,
424  0x8177, 0x0020, 0x8003, 0x0000, 0x7fff, 0x0000, 0xcccc, 0xff00,
425  0x0030, 0x8006, 0x0002, 0x8000, 0x0000, 0xaaaa, 0x9998, 0xf800,
426  0x8009, 0x0004, 0x8001, 0x0000, 0x8001, 0x5554, 0xccc0, 0xc180,
427  0x0006, 0x8002, 0x0000, 0x8000, 0x0002, 0xaaa0, 0xff9c, 0xc100,
428  0x8003, 0x0000, 0x7fff, 0x0000, 0x0010, 0x5502, 0xcc68, 0xc080,
429  0x0000, 0x7ffe, 0xfffe, 0x0000, 0x807d, 0xffac, 0x9934, 0x6680,
430  0x7ffd, 0xfffc, 0xfff0, 0x8000, 0x007e, 0xaa56, 0x70a4, 0x5580,
431  0xfffa, 0xffe0, 0x7f83, 0x0000, 0x807f, 0xddde, 0xbbbc, 0x0180,
432  0xffd0, 0x7f06, 0xff82, 0x8000, 0xb333, 0x1c72, 0x999c, 0x0100,
433  0x7e89, 0xff04, 0x7f81, 0x8000, 0xd555, 0x0002, 0x6668, 0x0080,
434  0xfe86, 0x7f02, 0x4ccd, 0x8000, 0xfffd, 0xaaac, 0x3334, 0x0000,
435  0x7e83, 0x199a, 0x2aab, 0x8000, 0x7ffe, 0x5556, 0x0000, 0xff80,
436  0xe667, 0xd556, 0x0003, 0x0000, 0xffff, 0x0000, 0xcccc, 0xab00,
437  0x8001, 0x8006, 0x8002, 0x8000, 0x8000, 0xaaaa, 0x7778, 0x9a00,
438  0x0009, 0x0004, 0x0001, 0x0000, 0x0001, 0x38e4, 0xc290, 0x4000,
439  0x8006, 0x8002, 0x8000, 0x8000, 0xaaaa, 0x7778, 0x9a00, 0x3f80,
440  0x0003, 0x0000, 0xffff, 0x0000, 0xcccc, 0xab00, 0x66cc, 0x3f00,
441  0x8000, 0x7ffe, 0x5556, 0x0000, 0xff80, 0x55aa, 0x3398, 0x3e80,
442  0xfffd, 0xaaac, 0x3334, 0x0000, 0x7f81, 0x0054, 0x0064, 0x0800,
443  0x0002, 0x6668, 0x0080, 0x8000, 0xff82, 0xaafe, 0x3340, 0x0180,
444  0x999c, 0x0100, 0x807f, 0x0000, 0x7f83, 0x5560, 0x999c, 0x0100,
445  0x0180, 0x80fe, 0x007e, 0x8000, 0xfff0, 0x0002, 0x6668, 0x0080,
446  0x80fe, 0x007e, 0x8000, 0xfff0, 0x0002, 0x6668, 0x0080, 0x0000,
447  0x00fc, 0x807d, 0x0000, 0x7ffd, 0xaaac, 0x3334, 0x0000, 0xff81,
448  0x80fa, 0x0010, 0x8000, 0xfffe, 0x5556, 0x0000, 0xff80, 0xff02,
449  0x0020, 0x8003, 0x0000, 0x7fff, 0x0000, 0xcccc, 0xff00, 0xf810,
450  0x8006, 0x0002, 0x8000, 0x0000, 0xaaaa, 0x9998, 0xf800, 0xc1fd,
451  0x0004, 0x8001, 0x0000, 0x8001, 0x5554, 0xccc0, 0xc180, 0xc17e,
452  0x8002, 0x0000, 0x8000, 0x0002, 0xaaa0, 0xff9c, 0xc100, 0xc0ff,
453  0x0000, 0x7fff, 0x0000, 0x0010, 0x5502, 0xcc68, 0xc080, 0x99b3,
454  0x7ffe, 0xfffe, 0x0000, 0x807d, 0xffac, 0x9934, 0x6680, 0xaad5,
455  0xfffc, 0xfff0, 0x8000, 0x007e, 0xaa56, 0x70a4, 0x5580, 0x817d,
456  0xffe0, 0x7f83, 0x0000, 0x807f, 0xddde, 0xbbbc, 0x0180, 0x80fe,
457  0x7f06, 0xff82, 0x8000, 0xb333, 0x1c72, 0x999c, 0x0100, 0x807f,
458  0xff04, 0x7f81, 0x8000, 0xd555, 0x0002, 0x6668, 0x0080, 0x8000,
459  0x7f02, 0x4ccd, 0x8000, 0xfffd, 0xaaac, 0x3334, 0x0000, 0x7f81,
460  0x199a, 0x2aab, 0x8000, 0x7ffe, 0x5556, 0x0000, 0xff80, 0x55aa,
461  0xd556, 0x0003, 0x0000, 0xffff, 0x0000, 0xcccc, 0xab00, 0x66cc,
462  0x8006, 0x8002, 0x8000, 0x8000, 0xaaaa, 0x7778, 0x9a00, 0x3f80,
463  0x0004, 0x0001, 0x0000, 0x0001, 0x38e4, 0xc290, 0x4000, 0x3f01,
464  0x8002, 0x8000, 0x8000, 0xaaaa, 0x7778, 0x9a00, 0x3f80, 0x3e82,
465  0x0000, 0xffff, 0x0000, 0xcccc, 0xab00, 0x66cc, 0x3f00, 0x3e03,
466  0x7ffe, 0x5556, 0x0000, 0xff80, 0x55aa, 0x3398, 0x3e80, 0x07f0,
467  0xaaac, 0x3334, 0x0000, 0x7f81, 0x0054, 0x0064, 0x0800, 0x017d,
468  0x6668, 0x0080, 0x8000, 0xff82, 0xaafe, 0x3340, 0x0180, 0x00fe,
469  0x0100, 0x807f, 0x0000, 0x7f83, 0x5560, 0x999c, 0x0100, 0x007f,
470  0x807f, 0x0000, 0x7f83, 0x5560, 0x999c, 0x0100, 0x007f, 0x0000,
471  0x007e, 0x8000, 0xfff0, 0x0002, 0x6668, 0x0080, 0x0000, 0xff82,
472  0x807d, 0x0000, 0x7ffd, 0xaaac, 0x3334, 0x0000, 0xff81, 0xff04,
473  0x0010, 0x8000, 0xfffe, 0x5556, 0x0000, 0xff80, 0xff02, 0xf820,
474  0x8003, 0x0000, 0x7fff, 0x0000, 0xcccc, 0xff00, 0xf810, 0xc27a,
475  0x0002, 0x8000, 0x0000, 0xaaaa, 0x9998, 0xf800, 0xc1fd, 0xc1fc,
476  0x8001, 0x0000, 0x8001, 0x5554, 0xccc0, 0xc180, 0xc17e, 0xc17e,
477  0x0000, 0x8000, 0x0002, 0xaaa0, 0xff9c, 0xc100, 0xc0ff, 0xcce6,
478  0x7fff, 0x0000, 0x0010, 0x5502, 0xcc68, 0xc080, 0x99b3, 0x002a,
479  0xfffe, 0x0000, 0x807d, 0xffac, 0x9934, 0x6680, 0xaad5, 0x017a,
480  0xfff0, 0x8000, 0x007e, 0xaa56, 0x70a4, 0x5580, 0x817d, 0x00fc,
481  0x7f83, 0x0000, 0x807f, 0xddde, 0xbbbc, 0x0180, 0x80fe, 0x007e,
482  0xff82, 0x8000, 0xb333, 0x1c72, 0x999c, 0x0100, 0x807f, 0x0000,
483  0x7f81, 0x8000, 0xd555, 0x0002, 0x6668, 0x0080, 0x8000, 0xff82,
484  0x4ccd, 0x8000, 0xfffd, 0xaaac, 0x3334, 0x0000, 0x7f81, 0x0054,
485  0x2aab, 0x8000, 0x7ffe, 0x5556, 0x0000, 0xff80, 0x55aa, 0x3398,
486  0x0003, 0x0000, 0xffff, 0x0000, 0xcccc, 0xab00, 0x66cc, 0x3f00,
487  0x8002, 0x8000, 0x8000, 0xaaaa, 0x7778, 0x9a00, 0x3f80, 0x3e82,
488  0x0001, 0x0000, 0x0001, 0x38e4, 0xc290, 0x4000, 0x3f01, 0x3e04,
489  0x8000, 0x8000, 0xaaaa, 0x7778, 0x9a00, 0x3f80, 0x3e82, 0x3d86,
490  0xffff, 0x0000, 0xcccc, 0xab00, 0x66cc, 0x3f00, 0x3e03, 0x07e0,
491  0x5556, 0x0000, 0xff80, 0x55aa, 0x3398, 0x3e80, 0x07f0, 0x017a,
492  0x3334, 0x0000, 0x7f81, 0x0054, 0x0064, 0x0800, 0x017d, 0x00fc,
493  0x0080, 0x8000, 0xff82, 0xaafe, 0x3340, 0x0180, 0x00fe, 0x007e,
494  0x8000, 0xff82, 0xaafe, 0x3340, 0x0180, 0x00fe, 0x007e, 0x0000,
495  0x0000, 0x7f83, 0x5560, 0x999c, 0x0100, 0x007f, 0x0000, 0xff83,
496  0x8000, 0xfff0, 0x0002, 0x6668, 0x0080, 0x0000, 0xff82, 0xff06,
497  0x0000, 0x7ffd, 0xaaac, 0x3334, 0x0000, 0xff81, 0xff04, 0xf830,
498  0x8000, 0xfffe, 0x5556, 0x0000, 0xff80, 0xff02, 0xf820, 0xc2f7,
499  0x0000, 0x7fff, 0x0000, 0xcccc, 0xff00, 0xf810, 0xc27a, 0xc27a,
500  0x8000, 0x0000, 0xaaaa, 0x9998, 0xf800, 0xc1fd, 0xc1fc, 0xc1fd,
501  0x0000, 0x8001, 0x5554, 0xccc0, 0xc180, 0xc17e, 0xc17e, 0x0019,
502  0x8000, 0x0002, 0xaaa0, 0xff9c, 0xc100, 0xc0ff, 0xcce6, 0x557f,
503  0x0000, 0x0010, 0x5502, 0xcc68, 0xc080, 0x99b3, 0x002a, 0x8177,
504  0x0000, 0x807d, 0xffac, 0x9934, 0x6680, 0xaad5, 0x017a, 0x80fa,
505  0x8000, 0x007e, 0xaa56, 0x70a4, 0x5580, 0x817d, 0x00fc, 0x807d,
506  0x0000, 0x807f, 0xddde, 0xbbbc, 0x0180, 0x80fe, 0x007e, 0x8000,
507  0x8000, 0xb333, 0x1c72, 0x999c, 0x0100, 0x807f, 0x0000, 0x7f83,
508  0x8000, 0xd555, 0x0002, 0x6668, 0x0080, 0x8000, 0xff82, 0xaafe,
509  0x8000, 0xfffd, 0xaaac, 0x3334, 0x0000, 0x7f81, 0x0054, 0x0064,
510  0x8000, 0x7ffe, 0x5556, 0x0000, 0xff80, 0x55aa, 0x3398, 0x3e80,
511  0x0000, 0xffff, 0x0000, 0xcccc, 0xab00, 0x66cc, 0x3f00, 0x3e03,
512  0x8000, 0x8000, 0xaaaa, 0x7778, 0x9a00, 0x3f80, 0x3e82, 0x3d86,
513  0x0000, 0x0001, 0x38e4, 0xc290, 0x4000, 0x3f01, 0x3e04, 0x3d09,
514  0x8000, 0xaaaa, 0x7778, 0x9a00, 0x3f80, 0x3e82, 0x3d86, 0x07d0,
515  0x0000, 0xcccc, 0xab00, 0x66cc, 0x3f00, 0x3e03, 0x07e0, 0x0177,
516  0x0000, 0xff80, 0x55aa, 0x3398, 0x3e80, 0x07f0, 0x017a, 0x00fa,
517  0x0000, 0x7f81, 0x0054, 0x0064, 0x0800, 0x017d, 0x00fc, 0x007d,
518  0x7f81, 0x0054, 0x0064, 0x0800, 0x017d, 0x00fc, 0x007d, 0x0000,
519  0xff82, 0xaafe, 0x3340, 0x0180, 0x00fe, 0x007e, 0x0000, 0xfff0,
520  0x7f83, 0x5560, 0x999c, 0x0100, 0x007f, 0x0000, 0xff83, 0xffe0,
521  0xfff0, 0x0002, 0x6668, 0x0080, 0x0000, 0xff82, 0xff06, 0xff00,
522  0x7ffd, 0xaaac, 0x3334, 0x0000, 0xff81, 0xff04, 0xf830, 0xf830,
523  0xfffe, 0x5556, 0x0000, 0xff80, 0xff02, 0xf820, 0xc2f7, 0xf820,
524  0x7fff, 0x0000, 0xcccc, 0xff00, 0xf810, 0xc27a, 0xc27a, 0xf810,
525  0x0000, 0xaaaa, 0x9998, 0xf800, 0xc1fd, 0xc1fc, 0xc1fd, 0xccd0,
526  0x8001, 0x5554, 0xccc0, 0xc180, 0xc17e, 0xc17e, 0x0019, 0xaab0,
527  0x0002, 0xaaa0, 0xff9c, 0xc100, 0xc0ff, 0xcce6, 0x557f, 0x0030,
528  0x0010, 0x5502, 0xcc68, 0xc080, 0x99b3, 0x002a, 0x8177, 0x0020,
529  0x807d, 0xffac, 0x9934, 0x6680, 0xaad5, 0x017a, 0x80fa, 0x0010,
530  0x007e, 0xaa56, 0x70a4, 0x5580, 0x817d, 0x00fc, 0x807d, 0x0000,
531  0x807f, 0xddde, 0xbbbc, 0x0180, 0x80fe, 0x007e, 0x8000, 0xfff0,
532  0xb333, 0x1c72, 0x999c, 0x0100, 0x807f, 0x0000, 0x7f83, 0x5560,
533  0xd555, 0x0002, 0x6668, 0x0080, 0x8000, 0xff82, 0xaafe, 0x3340,
534  0xfffd, 0xaaac, 0x3334, 0x0000, 0x7f81, 0x0054, 0x0064, 0x0800,
535  0x7ffe, 0x5556, 0x0000, 0xff80, 0x55aa, 0x3398, 0x3e80, 0x07f0,
536  0xffff, 0x0000, 0xcccc, 0xab00, 0x66cc, 0x3f00, 0x3e03, 0x07e0,
537  0x8000, 0xaaaa, 0x7778, 0x9a00, 0x3f80, 0x3e82, 0x3d86, 0x07d0,
538  0x0001, 0x38e4, 0xc290, 0x4000, 0x3f01, 0x3e04, 0x3d09, 0x0100,
539  0xaaaa, 0x7778, 0x9a00, 0x3f80, 0x3e82, 0x3d86, 0x07d0, 0x0030,
540  0xcccc, 0xab00, 0x66cc, 0x3f00, 0x3e03, 0x07e0, 0x0177, 0x0020,
541  0xff80, 0x55aa, 0x3398, 0x3e80, 0x07f0, 0x017a, 0x00fa, 0x0010,
542  0x55aa, 0x3398, 0x3e80, 0x07f0, 0x017a, 0x00fa, 0x0010, 0x0000,
543  0x0054, 0x0064, 0x0800, 0x017d, 0x00fc, 0x007d, 0x0000, 0xfffd,
544  0xaafe, 0x3340, 0x0180, 0x00fe, 0x007e, 0x0000, 0xfff0, 0xfffa,
545  0x5560, 0x999c, 0x0100, 0x007f, 0x0000, 0xff83, 0xffe0, 0xffd0,
546  0x0002, 0x6668, 0x0080, 0x0000, 0xff82, 0xff06, 0xff00, 0xfe89,
547  0xaaac, 0x3334, 0x0000, 0xff81, 0xff04, 0xf830, 0xf830, 0xfe86,
548  0x5556, 0x0000, 0xff80, 0xff02, 0xf820, 0xc2f7, 0xf820, 0xfe83,
549  0x0000, 0xcccc, 0xff00, 0xf810, 0xc27a, 0xc27a, 0xf810, 0x6667,
550  0xaaaa, 0x9998, 0xf800, 0xc1fd, 0xc1fc, 0xc1fd, 0xccd0, 0x0001,
551  0x5554, 0xccc0, 0xc180, 0xc17e, 0xc17e, 0x0019, 0xaab0, 0x8009,
552  0xaaa0, 0xff9c, 0xc100, 0xc0ff, 0xcce6, 0x557f, 0x0030, 0x8006,
553  0x5502, 0xcc68, 0xc080, 0x99b3, 0x002a, 0x8177, 0x0020, 0x8003,
554  0xffac, 0x9934, 0x6680, 0xaad5, 0x017a, 0x80fa, 0x0010, 0x8000,
555  0xaa56, 0x70a4, 0x5580, 0x817d, 0x00fc, 0x807d, 0x0000, 0x7ffd,
556  0xddde, 0xbbbc, 0x0180, 0x80fe, 0x007e, 0x8000, 0xfff0, 0x0002,
557  0x1c72, 0x999c, 0x0100, 0x807f, 0x0000, 0x7f83, 0x5560, 0x999c,
558  0x0002, 0x6668, 0x0080, 0x8000, 0xff82, 0xaafe, 0x3340, 0x0180,
559  0xaaac, 0x3334, 0x0000, 0x7f81, 0x0054, 0x0064, 0x0800, 0x017d,
560  0x5556, 0x0000, 0xff80, 0x55aa, 0x3398, 0x3e80, 0x07f0, 0x017a,
561  0x0000, 0xcccc, 0xab00, 0x66cc, 0x3f00, 0x3e03, 0x07e0, 0x0177,
562  0xaaaa, 0x7778, 0x9a00, 0x3f80, 0x3e82, 0x3d86, 0x07d0, 0x0030,
563  0x38e4, 0xc290, 0x4000, 0x3f01, 0x3e04, 0x3d09, 0x0100, 0x0009,
564  0x7778, 0x9a00, 0x3f80, 0x3e82, 0x3d86, 0x07d0, 0x0030, 0x0006,
565  0xab00, 0x66cc, 0x3f00, 0x3e03, 0x07e0, 0x0177, 0x0020, 0x0003,
566  0x66cc, 0x3f00, 0x3e03, 0x07e0, 0x0177, 0x0020, 0x0003, 0x0000,
567  0x3398, 0x3e80, 0x07f0, 0x017a, 0x00fa, 0x0010, 0x0000, 0xfffe,
568  0x0064, 0x0800, 0x017d, 0x00fc, 0x007d, 0x0000, 0xfffd, 0xfffc,
569  0x3340, 0x0180, 0x00fe, 0x007e, 0x0000, 0xfff0, 0xfffa, 0xffe0,
570  0x999c, 0x0100, 0x007f, 0x0000, 0xff83, 0xffe0, 0xffd0, 0xff06,
571  0x6668, 0x0080, 0x0000, 0xff82, 0xff06, 0xff00, 0xfe89, 0xff04,
572  0x3334, 0x0000, 0xff81, 0xff04, 0xf830, 0xf830, 0xfe86, 0xff02,
573  0x0000, 0xff80, 0xff02, 0xf820, 0xc2f7, 0xf820, 0xfe83, 0x999a,
574  0xcccc, 0xff00, 0xf810, 0xc27a, 0xc27a, 0xf810, 0x6667, 0x5556,
575  0x9998, 0xf800, 0xc1fd, 0xc1fc, 0xc1fd, 0xccd0, 0x0001, 0x0006,
576  0xccc0, 0xc180, 0xc17e, 0xc17e, 0x0019, 0xaab0, 0x8009, 0x0004,
577  0xff9c, 0xc100, 0xc0ff, 0xcce6, 0x557f, 0x0030, 0x8006, 0x0002,
578  0xcc68, 0xc080, 0x99b3, 0x002a, 0x8177, 0x0020, 0x8003, 0x0000,
579  0x9934, 0x6680, 0xaad5, 0x017a, 0x80fa, 0x0010, 0x8000, 0xfffe,
580  0x70a4, 0x5580, 0x817d, 0x00fc, 0x807d, 0x0000, 0x7ffd, 0xaaac,
581  0xbbbc, 0x0180, 0x80fe, 0x007e, 0x8000, 0xfff0, 0x0002, 0x6668,
582  0x999c, 0x0100, 0x807f, 0x0000, 0x7f83, 0x5560, 0x999c, 0x0100,
583  0x6668, 0x0080, 0x8000, 0xff82, 0xaafe, 0x3340, 0x0180, 0x00fe,
584  0x3334, 0x0000, 0x7f81, 0x0054, 0x0064, 0x0800, 0x017d, 0x00fc,
585  0x0000, 0xff80, 0x55aa, 0x3398, 0x3e80, 0x07f0, 0x017a, 0x00fa,
586  0xcccc, 0xab00, 0x66cc, 0x3f00, 0x3e03, 0x07e0, 0x0177, 0x0020,
587  0x7778, 0x9a00, 0x3f80, 0x3e82, 0x3d86, 0x07d0, 0x0030, 0x0006,
588  0xc290, 0x4000, 0x3f01, 0x3e04, 0x3d09, 0x0100, 0x0009, 0x0004,
589  0x9a00, 0x3f80, 0x3e82, 0x3d86, 0x07d0, 0x0030, 0x0006, 0x0002,
590  0x3f80, 0x3e82, 0x3d86, 0x07d0, 0x0030, 0x0006, 0x0002, 0x0000,
591  0x3f00, 0x3e03, 0x07e0, 0x0177, 0x0020, 0x0003, 0x0000, 0xffff,
592  0x3e80, 0x07f0, 0x017a, 0x00fa, 0x0010, 0x0000, 0xfffe, 0xfffe,
593  0x0800, 0x017d, 0x00fc, 0x007d, 0x0000, 0xfffd, 0xfffc, 0xfff0,
594  0x0180, 0x00fe, 0x007e, 0x0000, 0xfff0, 0xfffa, 0xffe0, 0xff83,
595  0x0100, 0x007f, 0x0000, 0xff83, 0xffe0, 0xffd0, 0xff06, 0xff82,
596  0x0080, 0x0000, 0xff82, 0xff06, 0xff00, 0xfe89, 0xff04, 0xff81,
597  0x0000, 0xff81, 0xff04, 0xf830, 0xf830, 0xfe86, 0xff02, 0xcccd,
598  0xff80, 0xff02, 0xf820, 0xc2f7, 0xf820, 0xfe83, 0x999a, 0xaaab,
599  0xff00, 0xf810, 0xc27a, 0xc27a, 0xf810, 0x6667, 0x5556, 0x8003,
600  0xf800, 0xc1fd, 0xc1fc, 0xc1fd, 0xccd0, 0x0001, 0x0006, 0x8002,
601  0xc180, 0xc17e, 0xc17e, 0x0019, 0xaab0, 0x8009, 0x0004, 0x8001,
602  0xc100, 0xc0ff, 0xcce6, 0x557f, 0x0030, 0x8006, 0x0002, 0x8000,
603  0xc080, 0x99b3, 0x002a, 0x8177, 0x0020, 0x8003, 0x0000, 0x7fff,
604  0x6680, 0xaad5, 0x017a, 0x80fa, 0x0010, 0x8000, 0xfffe, 0x5556,
605  0x5580, 0x817d, 0x00fc, 0x807d, 0x0000, 0x7ffd, 0xaaac, 0x3334,
606  0x0180, 0x80fe, 0x007e, 0x8000, 0xfff0, 0x0002, 0x6668, 0x0080,
607  0x0100, 0x807f, 0x0000, 0x7f83, 0x5560, 0x999c, 0x0100, 0x007f,
608  0x0080, 0x8000, 0xff82, 0xaafe, 0x3340, 0x0180, 0x00fe, 0x007e,
609  0x0000, 0x7f81, 0x0054, 0x0064, 0x0800, 0x017d, 0x00fc, 0x007d,
610  0xff80, 0x55aa, 0x3398, 0x3e80, 0x07f0, 0x017a, 0x00fa, 0x0010,
611  0xab00, 0x66cc, 0x3f00, 0x3e03, 0x07e0, 0x0177, 0x0020, 0x0003,
612  0x9a00, 0x3f80, 0x3e82, 0x3d86, 0x07d0, 0x0030, 0x0006, 0x0002,
613  0x4000, 0x3f01, 0x3e04, 0x3d09, 0x0100, 0x0009, 0x0004, 0x0001,
614};
615const unsigned kExpectedCount_NEON_mul_8H = 576;
616
617#endif  // VIXL_SIM_MUL_8H_TRACE_AARCH64_H_
618