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