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