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