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