• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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 
37 const 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 };
615 const unsigned kExpectedCount_NEON_sqshl_8H = 576;
616 
617 #endif  // VIXL_SIM_SQSHL_8H_TRACE_AARCH64_H_
618