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