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