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