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_SCVTF_4H_2OPIMM_TRACE_AARCH64_H_
35 #define VIXL_SIM_SCVTF_4H_2OPIMM_TRACE_AARCH64_H_
36 
37 const uint16_t kExpected_NEON_scvtf_4H_2OPIMM[] = {
38   0xf6c0, 0xf6c0, 0xf680, 0xf640,
39   0xf2c0, 0xf2c0, 0xf280, 0xf240,
40   0xeec0, 0xeec0, 0xee80, 0xee40,
41   0xeac0, 0xeac0, 0xea80, 0xea40,
42   0xe6c0, 0xe6c0, 0xe680, 0xe640,
43   0xe2c0, 0xe2c0, 0xe280, 0xe240,
44   0xdec0, 0xdec0, 0xde80, 0xde40,
45   0xdac0, 0xdac0, 0xda80, 0xda40,
46   0xd6c0, 0xd6c0, 0xd680, 0xd640,
47   0xd2c0, 0xd2c0, 0xd280, 0xd240,
48   0xcec0, 0xcec0, 0xce80, 0xce40,
49   0xcac0, 0xcac0, 0xca80, 0xca40,
50   0xc6c0, 0xc6c0, 0xc680, 0xc640,
51   0xc2c0, 0xc2c0, 0xc280, 0xc240,
52   0xbec0, 0xbec0, 0xbe80, 0xbe40,
53   0xbac0, 0xbac0, 0xba80, 0xba40,
54   0xb6c0, 0xb6c0, 0xb680, 0xb640,
55   0xf6c0, 0xf680, 0xf640, 0xd800,
56   0xf2c0, 0xf280, 0xf240, 0xd400,
57   0xeec0, 0xee80, 0xee40, 0xd000,
58   0xeac0, 0xea80, 0xea40, 0xcc00,
59   0xe6c0, 0xe680, 0xe640, 0xc800,
60   0xe2c0, 0xe280, 0xe240, 0xc400,
61   0xdec0, 0xde80, 0xde40, 0xc000,
62   0xdac0, 0xda80, 0xda40, 0xbc00,
63   0xd6c0, 0xd680, 0xd640, 0xb800,
64   0xd2c0, 0xd280, 0xd240, 0xb400,
65   0xcec0, 0xce80, 0xce40, 0xb000,
66   0xcac0, 0xca80, 0xca40, 0xac00,
67   0xc6c0, 0xc680, 0xc640, 0xa800,
68   0xc2c0, 0xc280, 0xc240, 0xa400,
69   0xbec0, 0xbe80, 0xbe40, 0xa000,
70   0xbac0, 0xba80, 0xba40, 0x9c00,
71   0xb6c0, 0xb680, 0xb640, 0x9800,
72   0xf680, 0xf640, 0xd800, 0xd400,
73   0xf280, 0xf240, 0xd400, 0xd000,
74   0xee80, 0xee40, 0xd000, 0xcc00,
75   0xea80, 0xea40, 0xcc00, 0xc800,
76   0xe680, 0xe640, 0xc800, 0xc400,
77   0xe280, 0xe240, 0xc400, 0xc000,
78   0xde80, 0xde40, 0xc000, 0xbc00,
79   0xda80, 0xda40, 0xbc00, 0xb800,
80   0xd680, 0xd640, 0xb800, 0xb400,
81   0xd280, 0xd240, 0xb400, 0xb000,
82   0xce80, 0xce40, 0xb000, 0xac00,
83   0xca80, 0xca40, 0xac00, 0xa800,
84   0xc680, 0xc640, 0xa800, 0xa400,
85   0xc280, 0xc240, 0xa400, 0xa000,
86   0xbe80, 0xbe40, 0xa000, 0x9c00,
87   0xba80, 0xba40, 0x9c00, 0x9800,
88   0xb680, 0xb640, 0x9800, 0x9400,
89   0xf640, 0xd800, 0xd400, 0xbc00,
90   0xf240, 0xd400, 0xd000, 0xb800,
91   0xee40, 0xd000, 0xcc00, 0xb400,
92   0xea40, 0xcc00, 0xc800, 0xb000,
93   0xe640, 0xc800, 0xc400, 0xac00,
94   0xe240, 0xc400, 0xc000, 0xa800,
95   0xde40, 0xc000, 0xbc00, 0xa400,
96   0xda40, 0xbc00, 0xb800, 0xa000,
97   0xd640, 0xb800, 0xb400, 0x9c00,
98   0xd240, 0xb400, 0xb000, 0x9800,
99   0xce40, 0xb000, 0xac00, 0x9400,
100   0xca40, 0xac00, 0xa800, 0x9000,
101   0xc640, 0xa800, 0xa400, 0x8c00,
102   0xc240, 0xa400, 0xa000, 0x8800,
103   0xbe40, 0xa000, 0x9c00, 0x8400,
104   0xba40, 0x9c00, 0x9800, 0x8200,
105   0xb640, 0x9800, 0x9400, 0x8100,
106   0xd800, 0xd400, 0xbc00, 0x0000,
107   0xd400, 0xd000, 0xb800, 0x0000,
108   0xd000, 0xcc00, 0xb400, 0x0000,
109   0xcc00, 0xc800, 0xb000, 0x0000,
110   0xc800, 0xc400, 0xac00, 0x0000,
111   0xc400, 0xc000, 0xa800, 0x0000,
112   0xc000, 0xbc00, 0xa400, 0x0000,
113   0xbc00, 0xb800, 0xa000, 0x0000,
114   0xb800, 0xb400, 0x9c00, 0x0000,
115   0xb400, 0xb000, 0x9800, 0x0000,
116   0xb000, 0xac00, 0x9400, 0x0000,
117   0xac00, 0xa800, 0x9000, 0x0000,
118   0xa800, 0xa400, 0x8c00, 0x0000,
119   0xa400, 0xa000, 0x8800, 0x0000,
120   0xa000, 0x9c00, 0x8400, 0x0000,
121   0x9c00, 0x9800, 0x8200, 0x0000,
122   0x9800, 0x9400, 0x8100, 0x0000,
123   0xd400, 0xbc00, 0x0000, 0x3c00,
124   0xd000, 0xb800, 0x0000, 0x3800,
125   0xcc00, 0xb400, 0x0000, 0x3400,
126   0xc800, 0xb000, 0x0000, 0x3000,
127   0xc400, 0xac00, 0x0000, 0x2c00,
128   0xc000, 0xa800, 0x0000, 0x2800,
129   0xbc00, 0xa400, 0x0000, 0x2400,
130   0xb800, 0xa000, 0x0000, 0x2000,
131   0xb400, 0x9c00, 0x0000, 0x1c00,
132   0xb000, 0x9800, 0x0000, 0x1800,
133   0xac00, 0x9400, 0x0000, 0x1400,
134   0xa800, 0x9000, 0x0000, 0x1000,
135   0xa400, 0x8c00, 0x0000, 0x0c00,
136   0xa000, 0x8800, 0x0000, 0x0800,
137   0x9c00, 0x8400, 0x0000, 0x0400,
138   0x9800, 0x8200, 0x0000, 0x0200,
139   0x9400, 0x8100, 0x0000, 0x0100,
140   0xbc00, 0x0000, 0x3c00, 0x4000,
141   0xb800, 0x0000, 0x3800, 0x3c00,
142   0xb400, 0x0000, 0x3400, 0x3800,
143   0xb000, 0x0000, 0x3000, 0x3400,
144   0xac00, 0x0000, 0x2c00, 0x3000,
145   0xa800, 0x0000, 0x2800, 0x2c00,
146   0xa400, 0x0000, 0x2400, 0x2800,
147   0xa000, 0x0000, 0x2000, 0x2400,
148   0x9c00, 0x0000, 0x1c00, 0x2000,
149   0x9800, 0x0000, 0x1800, 0x1c00,
150   0x9400, 0x0000, 0x1400, 0x1800,
151   0x9000, 0x0000, 0x1000, 0x1400,
152   0x8c00, 0x0000, 0x0c00, 0x1000,
153   0x8800, 0x0000, 0x0800, 0x0c00,
154   0x8400, 0x0000, 0x0400, 0x0800,
155   0x8200, 0x0000, 0x0200, 0x0400,
156   0x8100, 0x0000, 0x0100, 0x0200,
157   0x0000, 0x3c00, 0x4000, 0x4c00,
158   0x0000, 0x3800, 0x3c00, 0x4800,
159   0x0000, 0x3400, 0x3800, 0x4400,
160   0x0000, 0x3000, 0x3400, 0x4000,
161   0x0000, 0x2c00, 0x3000, 0x3c00,
162   0x0000, 0x2800, 0x2c00, 0x3800,
163   0x0000, 0x2400, 0x2800, 0x3400,
164   0x0000, 0x2000, 0x2400, 0x3000,
165   0x0000, 0x1c00, 0x2000, 0x2c00,
166   0x0000, 0x1800, 0x1c00, 0x2800,
167   0x0000, 0x1400, 0x1800, 0x2400,
168   0x0000, 0x1000, 0x1400, 0x2000,
169   0x0000, 0x0c00, 0x1000, 0x1c00,
170   0x0000, 0x0800, 0x0c00, 0x1800,
171   0x0000, 0x0400, 0x0800, 0x1400,
172   0x0000, 0x0200, 0x0400, 0x1000,
173   0x0000, 0x0100, 0x0200, 0x0c00,
174   0x3c00, 0x4000, 0x4c00, 0x57d0,
175   0x3800, 0x3c00, 0x4800, 0x53d0,
176   0x3400, 0x3800, 0x4400, 0x4fd0,
177   0x3000, 0x3400, 0x4000, 0x4bd0,
178   0x2c00, 0x3000, 0x3c00, 0x47d0,
179   0x2800, 0x2c00, 0x3800, 0x43d0,
180   0x2400, 0x2800, 0x3400, 0x3fd0,
181   0x2000, 0x2400, 0x3000, 0x3bd0,
182   0x1c00, 0x2000, 0x2c00, 0x37d0,
183   0x1800, 0x1c00, 0x2800, 0x33d0,
184   0x1400, 0x1800, 0x2400, 0x2fd0,
185   0x1000, 0x1400, 0x2000, 0x2bd0,
186   0x0c00, 0x1000, 0x1c00, 0x27d0,
187   0x0800, 0x0c00, 0x1800, 0x23d0,
188   0x0400, 0x0800, 0x1400, 0x1fd0,
189   0x0200, 0x0400, 0x1000, 0x1bd0,
190   0x0100, 0x0200, 0x0c00, 0x17d0,
191   0x4000, 0x4c00, 0x57d0, 0x57e0,
192   0x3c00, 0x4800, 0x53d0, 0x53e0,
193   0x3800, 0x4400, 0x4fd0, 0x4fe0,
194   0x3400, 0x4000, 0x4bd0, 0x4be0,
195   0x3000, 0x3c00, 0x47d0, 0x47e0,
196   0x2c00, 0x3800, 0x43d0, 0x43e0,
197   0x2800, 0x3400, 0x3fd0, 0x3fe0,
198   0x2400, 0x3000, 0x3bd0, 0x3be0,
199   0x2000, 0x2c00, 0x37d0, 0x37e0,
200   0x1c00, 0x2800, 0x33d0, 0x33e0,
201   0x1800, 0x2400, 0x2fd0, 0x2fe0,
202   0x1400, 0x2000, 0x2bd0, 0x2be0,
203   0x1000, 0x1c00, 0x27d0, 0x27e0,
204   0x0c00, 0x1800, 0x23d0, 0x23e0,
205   0x0800, 0x1400, 0x1fd0, 0x1fe0,
206   0x0400, 0x1000, 0x1bd0, 0x1be0,
207   0x0200, 0x0c00, 0x17d0, 0x17e0,
208   0x4c00, 0x57d0, 0x57e0, 0x57f0,
209   0x4800, 0x53d0, 0x53e0, 0x53f0,
210   0x4400, 0x4fd0, 0x4fe0, 0x4ff0,
211   0x4000, 0x4bd0, 0x4be0, 0x4bf0,
212   0x3c00, 0x47d0, 0x47e0, 0x47f0,
213   0x3800, 0x43d0, 0x43e0, 0x43f0,
214   0x3400, 0x3fd0, 0x3fe0, 0x3ff0,
215   0x3000, 0x3bd0, 0x3be0, 0x3bf0,
216   0x2c00, 0x37d0, 0x37e0, 0x37f0,
217   0x2800, 0x33d0, 0x33e0, 0x33f0,
218   0x2400, 0x2fd0, 0x2fe0, 0x2ff0,
219   0x2000, 0x2bd0, 0x2be0, 0x2bf0,
220   0x1c00, 0x27d0, 0x27e0, 0x27f0,
221   0x1800, 0x23d0, 0x23e0, 0x23f0,
222   0x1400, 0x1fd0, 0x1fe0, 0x1ff0,
223   0x1000, 0x1bd0, 0x1be0, 0x1bf0,
224   0x0c00, 0x17d0, 0x17e0, 0x17f0,
225   0x57d0, 0x57e0, 0x57f0, 0x7266,
226   0x53d0, 0x53e0, 0x53f0, 0x6e66,
227   0x4fd0, 0x4fe0, 0x4ff0, 0x6a66,
228   0x4bd0, 0x4be0, 0x4bf0, 0x6666,
229   0x47d0, 0x47e0, 0x47f0, 0x6266,
230   0x43d0, 0x43e0, 0x43f0, 0x5e66,
231   0x3fd0, 0x3fe0, 0x3ff0, 0x5a66,
232   0x3bd0, 0x3be0, 0x3bf0, 0x5666,
233   0x37d0, 0x37e0, 0x37f0, 0x5266,
234   0x33d0, 0x33e0, 0x33f0, 0x4e66,
235   0x2fd0, 0x2fe0, 0x2ff0, 0x4a66,
236   0x2bd0, 0x2be0, 0x2bf0, 0x4666,
237   0x27d0, 0x27e0, 0x27f0, 0x4266,
238   0x23d0, 0x23e0, 0x23f0, 0x3e66,
239   0x1fd0, 0x1fe0, 0x1ff0, 0x3a66,
240   0x1bd0, 0x1be0, 0x1bf0, 0x3666,
241   0x17d0, 0x17e0, 0x17f0, 0x3266,
242   0x57e0, 0x57f0, 0x7266, 0x7555,
243   0x53e0, 0x53f0, 0x6e66, 0x7155,
244   0x4fe0, 0x4ff0, 0x6a66, 0x6d55,
245   0x4be0, 0x4bf0, 0x6666, 0x6955,
246   0x47e0, 0x47f0, 0x6266, 0x6555,
247   0x43e0, 0x43f0, 0x5e66, 0x6155,
248   0x3fe0, 0x3ff0, 0x5a66, 0x5d55,
249   0x3be0, 0x3bf0, 0x5666, 0x5955,
250   0x37e0, 0x37f0, 0x5266, 0x5555,
251   0x33e0, 0x33f0, 0x4e66, 0x5155,
252   0x2fe0, 0x2ff0, 0x4a66, 0x4d55,
253   0x2be0, 0x2bf0, 0x4666, 0x4955,
254   0x27e0, 0x27f0, 0x4266, 0x4555,
255   0x23e0, 0x23f0, 0x3e66, 0x4155,
256   0x1fe0, 0x1ff0, 0x3a66, 0x3d55,
257   0x1be0, 0x1bf0, 0x3666, 0x3955,
258   0x17e0, 0x17f0, 0x3266, 0x3555,
259   0x57f0, 0x7266, 0x7555, 0x7800,
260   0x53f0, 0x6e66, 0x7155, 0x7400,
261   0x4ff0, 0x6a66, 0x6d55, 0x7000,
262   0x4bf0, 0x6666, 0x6955, 0x6c00,
263   0x47f0, 0x6266, 0x6555, 0x6800,
264   0x43f0, 0x5e66, 0x6155, 0x6400,
265   0x3ff0, 0x5a66, 0x5d55, 0x6000,
266   0x3bf0, 0x5666, 0x5955, 0x5c00,
267   0x37f0, 0x5266, 0x5555, 0x5800,
268   0x33f0, 0x4e66, 0x5155, 0x5400,
269   0x2ff0, 0x4a66, 0x4d55, 0x5000,
270   0x2bf0, 0x4666, 0x4955, 0x4c00,
271   0x27f0, 0x4266, 0x4555, 0x4800,
272   0x23f0, 0x3e66, 0x4155, 0x4400,
273   0x1ff0, 0x3a66, 0x3d55, 0x4000,
274   0x1bf0, 0x3666, 0x3955, 0x3c00,
275   0x17f0, 0x3266, 0x3555, 0x3800,
276   0x7266, 0x7555, 0x7800, 0x7800,
277   0x6e66, 0x7155, 0x7400, 0x7400,
278   0x6a66, 0x6d55, 0x7000, 0x7000,
279   0x6666, 0x6955, 0x6c00, 0x6c00,
280   0x6266, 0x6555, 0x6800, 0x6800,
281   0x5e66, 0x6155, 0x6400, 0x6400,
282   0x5a66, 0x5d55, 0x6000, 0x6000,
283   0x5666, 0x5955, 0x5c00, 0x5c00,
284   0x5266, 0x5555, 0x5800, 0x5800,
285   0x4e66, 0x5155, 0x5400, 0x5400,
286   0x4a66, 0x4d55, 0x5000, 0x5000,
287   0x4666, 0x4955, 0x4c00, 0x4c00,
288   0x4266, 0x4555, 0x4800, 0x4800,
289   0x3e66, 0x4155, 0x4400, 0x4400,
290   0x3a66, 0x3d55, 0x4000, 0x4000,
291   0x3666, 0x3955, 0x3c00, 0x3c00,
292   0x3266, 0x3555, 0x3800, 0x3800,
293   0x7555, 0x7800, 0x7800, 0x7800,
294   0x7155, 0x7400, 0x7400, 0x7400,
295   0x6d55, 0x7000, 0x7000, 0x7000,
296   0x6955, 0x6c00, 0x6c00, 0x6c00,
297   0x6555, 0x6800, 0x6800, 0x6800,
298   0x6155, 0x6400, 0x6400, 0x6400,
299   0x5d55, 0x6000, 0x6000, 0x6000,
300   0x5955, 0x5c00, 0x5c00, 0x5c00,
301   0x5555, 0x5800, 0x5800, 0x5800,
302   0x5155, 0x5400, 0x5400, 0x5400,
303   0x4d55, 0x5000, 0x5000, 0x5000,
304   0x4955, 0x4c00, 0x4c00, 0x4c00,
305   0x4555, 0x4800, 0x4800, 0x4800,
306   0x4155, 0x4400, 0x4400, 0x4400,
307   0x3d55, 0x4000, 0x4000, 0x4000,
308   0x3955, 0x3c00, 0x3c00, 0x3c00,
309   0x3555, 0x3800, 0x3800, 0x3800,
310   0x7800, 0x7800, 0x7800, 0xf800,
311   0x7400, 0x7400, 0x7400, 0xf400,
312   0x7000, 0x7000, 0x7000, 0xf000,
313   0x6c00, 0x6c00, 0x6c00, 0xec00,
314   0x6800, 0x6800, 0x6800, 0xe800,
315   0x6400, 0x6400, 0x6400, 0xe400,
316   0x6000, 0x6000, 0x6000, 0xe000,
317   0x5c00, 0x5c00, 0x5c00, 0xdc00,
318   0x5800, 0x5800, 0x5800, 0xd800,
319   0x5400, 0x5400, 0x5400, 0xd400,
320   0x5000, 0x5000, 0x5000, 0xd000,
321   0x4c00, 0x4c00, 0x4c00, 0xcc00,
322   0x4800, 0x4800, 0x4800, 0xc800,
323   0x4400, 0x4400, 0x4400, 0xc400,
324   0x4000, 0x4000, 0x4000, 0xc000,
325   0x3c00, 0x3c00, 0x3c00, 0xbc00,
326   0x3800, 0x3800, 0x3800, 0xb800,
327   0x7800, 0x7800, 0xf800, 0xf800,
328   0x7400, 0x7400, 0xf400, 0xf400,
329   0x7000, 0x7000, 0xf000, 0xf000,
330   0x6c00, 0x6c00, 0xec00, 0xec00,
331   0x6800, 0x6800, 0xe800, 0xe800,
332   0x6400, 0x6400, 0xe400, 0xe400,
333   0x6000, 0x6000, 0xe000, 0xe000,
334   0x5c00, 0x5c00, 0xdc00, 0xdc00,
335   0x5800, 0x5800, 0xd800, 0xd800,
336   0x5400, 0x5400, 0xd400, 0xd400,
337   0x5000, 0x5000, 0xd000, 0xd000,
338   0x4c00, 0x4c00, 0xcc00, 0xcc00,
339   0x4800, 0x4800, 0xc800, 0xc800,
340   0x4400, 0x4400, 0xc400, 0xc400,
341   0x4000, 0x4000, 0xc000, 0xc000,
342   0x3c00, 0x3c00, 0xbc00, 0xbc00,
343   0x3800, 0x3800, 0xb800, 0xb800,
344   0x7800, 0xf800, 0xf800, 0xf555,
345   0x7400, 0xf400, 0xf400, 0xf155,
346   0x7000, 0xf000, 0xf000, 0xed55,
347   0x6c00, 0xec00, 0xec00, 0xe955,
348   0x6800, 0xe800, 0xe800, 0xe555,
349   0x6400, 0xe400, 0xe400, 0xe155,
350   0x6000, 0xe000, 0xe000, 0xdd55,
351   0x5c00, 0xdc00, 0xdc00, 0xd955,
352   0x5800, 0xd800, 0xd800, 0xd555,
353   0x5400, 0xd400, 0xd400, 0xd155,
354   0x5000, 0xd000, 0xd000, 0xcd55,
355   0x4c00, 0xcc00, 0xcc00, 0xc955,
356   0x4800, 0xc800, 0xc800, 0xc555,
357   0x4400, 0xc400, 0xc400, 0xc155,
358   0x4000, 0xc000, 0xc000, 0xbd55,
359   0x3c00, 0xbc00, 0xbc00, 0xb955,
360   0x3800, 0xb800, 0xb800, 0xb555,
361   0xf800, 0xf800, 0xf555, 0xf266,
362   0xf400, 0xf400, 0xf155, 0xee66,
363   0xf000, 0xf000, 0xed55, 0xea66,
364   0xec00, 0xec00, 0xe955, 0xe666,
365   0xe800, 0xe800, 0xe555, 0xe266,
366   0xe400, 0xe400, 0xe155, 0xde66,
367   0xe000, 0xe000, 0xdd55, 0xda66,
368   0xdc00, 0xdc00, 0xd955, 0xd666,
369   0xd800, 0xd800, 0xd555, 0xd266,
370   0xd400, 0xd400, 0xd155, 0xce66,
371   0xd000, 0xd000, 0xcd55, 0xca66,
372   0xcc00, 0xcc00, 0xc955, 0xc666,
373   0xc800, 0xc800, 0xc555, 0xc266,
374   0xc400, 0xc400, 0xc155, 0xbe66,
375   0xc000, 0xc000, 0xbd55, 0xba66,
376   0xbc00, 0xbc00, 0xb955, 0xb666,
377   0xb800, 0xb800, 0xb555, 0xb266,
378   0xf800, 0xf555, 0xf266, 0xd800,
379   0xf400, 0xf155, 0xee66, 0xd400,
380   0xf000, 0xed55, 0xea66, 0xd000,
381   0xec00, 0xe955, 0xe666, 0xcc00,
382   0xe800, 0xe555, 0xe266, 0xc800,
383   0xe400, 0xe155, 0xde66, 0xc400,
384   0xe000, 0xdd55, 0xda66, 0xc000,
385   0xdc00, 0xd955, 0xd666, 0xbc00,
386   0xd800, 0xd555, 0xd266, 0xb800,
387   0xd400, 0xd155, 0xce66, 0xb400,
388   0xd000, 0xcd55, 0xca66, 0xb000,
389   0xcc00, 0xc955, 0xc666, 0xac00,
390   0xc800, 0xc555, 0xc266, 0xa800,
391   0xc400, 0xc155, 0xbe66, 0xa400,
392   0xc000, 0xbd55, 0xba66, 0xa000,
393   0xbc00, 0xb955, 0xb666, 0x9c00,
394   0xb800, 0xb555, 0xb266, 0x9800,
395   0xf555, 0xf266, 0xd800, 0xd7f0,
396   0xf155, 0xee66, 0xd400, 0xd3f0,
397   0xed55, 0xea66, 0xd000, 0xcff0,
398   0xe955, 0xe666, 0xcc00, 0xcbf0,
399   0xe555, 0xe266, 0xc800, 0xc7f0,
400   0xe155, 0xde66, 0xc400, 0xc3f0,
401   0xdd55, 0xda66, 0xc000, 0xbff0,
402   0xd955, 0xd666, 0xbc00, 0xbbf0,
403   0xd555, 0xd266, 0xb800, 0xb7f0,
404   0xd155, 0xce66, 0xb400, 0xb3f0,
405   0xcd55, 0xca66, 0xb000, 0xaff0,
406   0xc955, 0xc666, 0xac00, 0xabf0,
407   0xc555, 0xc266, 0xa800, 0xa7f0,
408   0xc155, 0xbe66, 0xa400, 0xa3f0,
409   0xbd55, 0xba66, 0xa000, 0x9ff0,
410   0xb955, 0xb666, 0x9c00, 0x9bf0,
411   0xb555, 0xb266, 0x9800, 0x97f0,
412   0xf266, 0xd800, 0xd7f0, 0xd7e0,
413   0xee66, 0xd400, 0xd3f0, 0xd3e0,
414   0xea66, 0xd000, 0xcff0, 0xcfe0,
415   0xe666, 0xcc00, 0xcbf0, 0xcbe0,
416   0xe266, 0xc800, 0xc7f0, 0xc7e0,
417   0xde66, 0xc400, 0xc3f0, 0xc3e0,
418   0xda66, 0xc000, 0xbff0, 0xbfe0,
419   0xd666, 0xbc00, 0xbbf0, 0xbbe0,
420   0xd266, 0xb800, 0xb7f0, 0xb7e0,
421   0xce66, 0xb400, 0xb3f0, 0xb3e0,
422   0xca66, 0xb000, 0xaff0, 0xafe0,
423   0xc666, 0xac00, 0xabf0, 0xabe0,
424   0xc266, 0xa800, 0xa7f0, 0xa7e0,
425   0xbe66, 0xa400, 0xa3f0, 0xa3e0,
426   0xba66, 0xa000, 0x9ff0, 0x9fe0,
427   0xb666, 0x9c00, 0x9bf0, 0x9be0,
428   0xb266, 0x9800, 0x97f0, 0x97e0,
429   0xd800, 0xd7f0, 0xd7e0, 0xd7d0,
430   0xd400, 0xd3f0, 0xd3e0, 0xd3d0,
431   0xd000, 0xcff0, 0xcfe0, 0xcfd0,
432   0xcc00, 0xcbf0, 0xcbe0, 0xcbd0,
433   0xc800, 0xc7f0, 0xc7e0, 0xc7d0,
434   0xc400, 0xc3f0, 0xc3e0, 0xc3d0,
435   0xc000, 0xbff0, 0xbfe0, 0xbfd0,
436   0xbc00, 0xbbf0, 0xbbe0, 0xbbd0,
437   0xb800, 0xb7f0, 0xb7e0, 0xb7d0,
438   0xb400, 0xb3f0, 0xb3e0, 0xb3d0,
439   0xb000, 0xaff0, 0xafe0, 0xafd0,
440   0xac00, 0xabf0, 0xabe0, 0xabd0,
441   0xa800, 0xa7f0, 0xa7e0, 0xa7d0,
442   0xa400, 0xa3f0, 0xa3e0, 0xa3d0,
443   0xa000, 0x9ff0, 0x9fe0, 0x9fd0,
444   0x9c00, 0x9bf0, 0x9be0, 0x9bd0,
445   0x9800, 0x97f0, 0x97e0, 0x97d0,
446   0xd7f0, 0xd7e0, 0xd7d0, 0xcc00,
447   0xd3f0, 0xd3e0, 0xd3d0, 0xc800,
448   0xcff0, 0xcfe0, 0xcfd0, 0xc400,
449   0xcbf0, 0xcbe0, 0xcbd0, 0xc000,
450   0xc7f0, 0xc7e0, 0xc7d0, 0xbc00,
451   0xc3f0, 0xc3e0, 0xc3d0, 0xb800,
452   0xbff0, 0xbfe0, 0xbfd0, 0xb400,
453   0xbbf0, 0xbbe0, 0xbbd0, 0xb000,
454   0xb7f0, 0xb7e0, 0xb7d0, 0xac00,
455   0xb3f0, 0xb3e0, 0xb3d0, 0xa800,
456   0xaff0, 0xafe0, 0xafd0, 0xa400,
457   0xabf0, 0xabe0, 0xabd0, 0xa000,
458   0xa7f0, 0xa7e0, 0xa7d0, 0x9c00,
459   0xa3f0, 0xa3e0, 0xa3d0, 0x9800,
460   0x9ff0, 0x9fe0, 0x9fd0, 0x9400,
461   0x9bf0, 0x9be0, 0x9bd0, 0x9000,
462   0x97f0, 0x97e0, 0x97d0, 0x8c00,
463   0xd7e0, 0xd7d0, 0xcc00, 0xc200,
464   0xd3e0, 0xd3d0, 0xc800, 0xbe00,
465   0xcfe0, 0xcfd0, 0xc400, 0xba00,
466   0xcbe0, 0xcbd0, 0xc000, 0xb600,
467   0xc7e0, 0xc7d0, 0xbc00, 0xb200,
468   0xc3e0, 0xc3d0, 0xb800, 0xae00,
469   0xbfe0, 0xbfd0, 0xb400, 0xaa00,
470   0xbbe0, 0xbbd0, 0xb000, 0xa600,
471   0xb7e0, 0xb7d0, 0xac00, 0xa200,
472   0xb3e0, 0xb3d0, 0xa800, 0x9e00,
473   0xafe0, 0xafd0, 0xa400, 0x9a00,
474   0xabe0, 0xabd0, 0xa000, 0x9600,
475   0xa7e0, 0xa7d0, 0x9c00, 0x9200,
476   0xa3e0, 0xa3d0, 0x9800, 0x8e00,
477   0x9fe0, 0x9fd0, 0x9400, 0x8a00,
478   0x9be0, 0x9bd0, 0x9000, 0x8600,
479   0x97e0, 0x97d0, 0x8c00, 0x8300,
480   0xd7d0, 0xcc00, 0xc200, 0xc000,
481   0xd3d0, 0xc800, 0xbe00, 0xbc00,
482   0xcfd0, 0xc400, 0xba00, 0xb800,
483   0xcbd0, 0xc000, 0xb600, 0xb400,
484   0xc7d0, 0xbc00, 0xb200, 0xb000,
485   0xc3d0, 0xb800, 0xae00, 0xac00,
486   0xbfd0, 0xb400, 0xaa00, 0xa800,
487   0xbbd0, 0xb000, 0xa600, 0xa400,
488   0xb7d0, 0xac00, 0xa200, 0xa000,
489   0xb3d0, 0xa800, 0x9e00, 0x9c00,
490   0xafd0, 0xa400, 0x9a00, 0x9800,
491   0xabd0, 0xa000, 0x9600, 0x9400,
492   0xa7d0, 0x9c00, 0x9200, 0x9000,
493   0xa3d0, 0x9800, 0x8e00, 0x8c00,
494   0x9fd0, 0x9400, 0x8a00, 0x8800,
495   0x9bd0, 0x9000, 0x8600, 0x8400,
496   0x97d0, 0x8c00, 0x8300, 0x8200,
497   0xcc00, 0xc200, 0xc000, 0xbc00,
498   0xc800, 0xbe00, 0xbc00, 0xb800,
499   0xc400, 0xba00, 0xb800, 0xb400,
500   0xc000, 0xb600, 0xb400, 0xb000,
501   0xbc00, 0xb200, 0xb000, 0xac00,
502   0xb800, 0xae00, 0xac00, 0xa800,
503   0xb400, 0xaa00, 0xa800, 0xa400,
504   0xb000, 0xa600, 0xa400, 0xa000,
505   0xac00, 0xa200, 0xa000, 0x9c00,
506   0xa800, 0x9e00, 0x9c00, 0x9800,
507   0xa400, 0x9a00, 0x9800, 0x9400,
508   0xa000, 0x9600, 0x9400, 0x9000,
509   0x9c00, 0x9200, 0x9000, 0x8c00,
510   0x9800, 0x8e00, 0x8c00, 0x8800,
511   0x9400, 0x8a00, 0x8800, 0x8400,
512   0x9000, 0x8600, 0x8400, 0x8200,
513   0x8c00, 0x8300, 0x8200, 0x8100,
514   0xc200, 0xc000, 0xbc00, 0x0000,
515   0xbe00, 0xbc00, 0xb800, 0x0000,
516   0xba00, 0xb800, 0xb400, 0x0000,
517   0xb600, 0xb400, 0xb000, 0x0000,
518   0xb200, 0xb000, 0xac00, 0x0000,
519   0xae00, 0xac00, 0xa800, 0x0000,
520   0xaa00, 0xa800, 0xa400, 0x0000,
521   0xa600, 0xa400, 0xa000, 0x0000,
522   0xa200, 0xa000, 0x9c00, 0x0000,
523   0x9e00, 0x9c00, 0x9800, 0x0000,
524   0x9a00, 0x9800, 0x9400, 0x0000,
525   0x9600, 0x9400, 0x9000, 0x0000,
526   0x9200, 0x9000, 0x8c00, 0x0000,
527   0x8e00, 0x8c00, 0x8800, 0x0000,
528   0x8a00, 0x8800, 0x8400, 0x0000,
529   0x8600, 0x8400, 0x8200, 0x0000,
530   0x8300, 0x8200, 0x8100, 0x0000,
531   0xc000, 0xbc00, 0x0000, 0x3c00,
532   0xbc00, 0xb800, 0x0000, 0x3800,
533   0xb800, 0xb400, 0x0000, 0x3400,
534   0xb400, 0xb000, 0x0000, 0x3000,
535   0xb000, 0xac00, 0x0000, 0x2c00,
536   0xac00, 0xa800, 0x0000, 0x2800,
537   0xa800, 0xa400, 0x0000, 0x2400,
538   0xa400, 0xa000, 0x0000, 0x2000,
539   0xa000, 0x9c00, 0x0000, 0x1c00,
540   0x9c00, 0x9800, 0x0000, 0x1800,
541   0x9800, 0x9400, 0x0000, 0x1400,
542   0x9400, 0x9000, 0x0000, 0x1000,
543   0x9000, 0x8c00, 0x0000, 0x0c00,
544   0x8c00, 0x8800, 0x0000, 0x0800,
545   0x8800, 0x8400, 0x0000, 0x0400,
546   0x8400, 0x8200, 0x0000, 0x0200,
547   0x8200, 0x8100, 0x0000, 0x0100,
548   0xbc00, 0x0000, 0x3c00, 0x6400,
549   0xb800, 0x0000, 0x3800, 0x6000,
550   0xb400, 0x0000, 0x3400, 0x5c00,
551   0xb000, 0x0000, 0x3000, 0x5800,
552   0xac00, 0x0000, 0x2c00, 0x5400,
553   0xa800, 0x0000, 0x2800, 0x5000,
554   0xa400, 0x0000, 0x2400, 0x4c00,
555   0xa000, 0x0000, 0x2000, 0x4800,
556   0x9c00, 0x0000, 0x1c00, 0x4400,
557   0x9800, 0x0000, 0x1800, 0x4000,
558   0x9400, 0x0000, 0x1400, 0x3c00,
559   0x9000, 0x0000, 0x1000, 0x3800,
560   0x8c00, 0x0000, 0x0c00, 0x3400,
561   0x8800, 0x0000, 0x0800, 0x3000,
562   0x8400, 0x0000, 0x0400, 0x2c00,
563   0x8200, 0x0000, 0x0200, 0x2800,
564   0x8100, 0x0000, 0x0100, 0x2400,
565   0x0000, 0x3c00, 0x6400, 0x6401,
566   0x0000, 0x3800, 0x6000, 0x6001,
567   0x0000, 0x3400, 0x5c00, 0x5c01,
568   0x0000, 0x3000, 0x5800, 0x5801,
569   0x0000, 0x2c00, 0x5400, 0x5401,
570   0x0000, 0x2800, 0x5000, 0x5001,
571   0x0000, 0x2400, 0x4c00, 0x4c01,
572   0x0000, 0x2000, 0x4800, 0x4801,
573   0x0000, 0x1c00, 0x4400, 0x4401,
574   0x0000, 0x1800, 0x4000, 0x4001,
575   0x0000, 0x1400, 0x3c00, 0x3c01,
576   0x0000, 0x1000, 0x3800, 0x3801,
577   0x0000, 0x0c00, 0x3400, 0x3401,
578   0x0000, 0x0800, 0x3000, 0x3001,
579   0x0000, 0x0400, 0x2c00, 0x2c01,
580   0x0000, 0x0200, 0x2800, 0x2801,
581   0x0000, 0x0100, 0x2400, 0x2401,
582   0x3c00, 0x6400, 0x6401, 0x6476,
583   0x3800, 0x6000, 0x6001, 0x6076,
584   0x3400, 0x5c00, 0x5c01, 0x5c76,
585   0x3000, 0x5800, 0x5801, 0x5876,
586   0x2c00, 0x5400, 0x5401, 0x5476,
587   0x2800, 0x5000, 0x5001, 0x5076,
588   0x2400, 0x4c00, 0x4c01, 0x4c76,
589   0x2000, 0x4800, 0x4801, 0x4876,
590   0x1c00, 0x4400, 0x4401, 0x4476,
591   0x1800, 0x4000, 0x4001, 0x4076,
592   0x1400, 0x3c00, 0x3c01, 0x3c76,
593   0x1000, 0x3800, 0x3801, 0x3876,
594   0x0c00, 0x3400, 0x3401, 0x3476,
595   0x0800, 0x3000, 0x3001, 0x3076,
596   0x0400, 0x2c00, 0x2c01, 0x2c76,
597   0x0200, 0x2800, 0x2801, 0x2876,
598   0x0100, 0x2400, 0x2401, 0x2476,
599   0x6400, 0x6401, 0x6476, 0x6800,
600   0x6000, 0x6001, 0x6076, 0x6400,
601   0x5c00, 0x5c01, 0x5c76, 0x6000,
602   0x5800, 0x5801, 0x5876, 0x5c00,
603   0x5400, 0x5401, 0x5476, 0x5800,
604   0x5000, 0x5001, 0x5076, 0x5400,
605   0x4c00, 0x4c01, 0x4c76, 0x5000,
606   0x4800, 0x4801, 0x4876, 0x4c00,
607   0x4400, 0x4401, 0x4476, 0x4800,
608   0x4000, 0x4001, 0x4076, 0x4400,
609   0x3c00, 0x3c01, 0x3c76, 0x4000,
610   0x3800, 0x3801, 0x3876, 0x3c00,
611   0x3400, 0x3401, 0x3476, 0x3800,
612   0x3000, 0x3001, 0x3076, 0x3400,
613   0x2c00, 0x2c01, 0x2c76, 0x3000,
614   0x2800, 0x2801, 0x2876, 0x2c00,
615   0x2400, 0x2401, 0x2476, 0x2800,
616   0x6401, 0x6476, 0x6800, 0x6800,
617   0x6001, 0x6076, 0x6400, 0x6400,
618   0x5c01, 0x5c76, 0x6000, 0x6000,
619   0x5801, 0x5876, 0x5c00, 0x5c00,
620   0x5401, 0x5476, 0x5800, 0x5800,
621   0x5001, 0x5076, 0x5400, 0x5400,
622   0x4c01, 0x4c76, 0x5000, 0x5000,
623   0x4801, 0x4876, 0x4c00, 0x4c00,
624   0x4401, 0x4476, 0x4800, 0x4800,
625   0x4001, 0x4076, 0x4400, 0x4400,
626   0x3c01, 0x3c76, 0x4000, 0x4000,
627   0x3801, 0x3876, 0x3c00, 0x3c00,
628   0x3401, 0x3476, 0x3800, 0x3800,
629   0x3001, 0x3076, 0x3400, 0x3400,
630   0x2c01, 0x2c76, 0x3000, 0x3000,
631   0x2801, 0x2876, 0x2c00, 0x2c00,
632   0x2401, 0x2476, 0x2800, 0x2800,
633   0x6476, 0x6800, 0x6800, 0x6a00,
634   0x6076, 0x6400, 0x6400, 0x6600,
635   0x5c76, 0x6000, 0x6000, 0x6200,
636   0x5876, 0x5c00, 0x5c00, 0x5e00,
637   0x5476, 0x5800, 0x5800, 0x5a00,
638   0x5076, 0x5400, 0x5400, 0x5600,
639   0x4c76, 0x5000, 0x5000, 0x5200,
640   0x4876, 0x4c00, 0x4c00, 0x4e00,
641   0x4476, 0x4800, 0x4800, 0x4a00,
642   0x4076, 0x4400, 0x4400, 0x4600,
643   0x3c76, 0x4000, 0x4000, 0x4200,
644   0x3876, 0x3c00, 0x3c00, 0x3e00,
645   0x3476, 0x3800, 0x3800, 0x3a00,
646   0x3076, 0x3400, 0x3400, 0x3600,
647   0x2c76, 0x3000, 0x3000, 0x3200,
648   0x2876, 0x2c00, 0x2c00, 0x2e00,
649   0x2476, 0x2800, 0x2800, 0x2a00,
650   0x6800, 0x6800, 0x6a00, 0x6a00,
651   0x6400, 0x6400, 0x6600, 0x6600,
652   0x6000, 0x6000, 0x6200, 0x6200,
653   0x5c00, 0x5c00, 0x5e00, 0x5e00,
654   0x5800, 0x5800, 0x5a00, 0x5a00,
655   0x5400, 0x5400, 0x5600, 0x5600,
656   0x5000, 0x5000, 0x5200, 0x5200,
657   0x4c00, 0x4c00, 0x4e00, 0x4e00,
658   0x4800, 0x4800, 0x4a00, 0x4a00,
659   0x4400, 0x4400, 0x4600, 0x4600,
660   0x4000, 0x4000, 0x4200, 0x4200,
661   0x3c00, 0x3c00, 0x3e00, 0x3e00,
662   0x3800, 0x3800, 0x3a00, 0x3a00,
663   0x3400, 0x3400, 0x3600, 0x3600,
664   0x3000, 0x3000, 0x3200, 0x3200,
665   0x2c00, 0x2c00, 0x2e00, 0x2e00,
666   0x2800, 0x2800, 0x2a00, 0x2a00,
667   0x6800, 0x6a00, 0x6a00, 0x6c00,
668   0x6400, 0x6600, 0x6600, 0x6800,
669   0x6000, 0x6200, 0x6200, 0x6400,
670   0x5c00, 0x5e00, 0x5e00, 0x6000,
671   0x5800, 0x5a00, 0x5a00, 0x5c00,
672   0x5400, 0x5600, 0x5600, 0x5800,
673   0x5000, 0x5200, 0x5200, 0x5400,
674   0x4c00, 0x4e00, 0x4e00, 0x5000,
675   0x4800, 0x4a00, 0x4a00, 0x4c00,
676   0x4400, 0x4600, 0x4600, 0x4800,
677   0x4000, 0x4200, 0x4200, 0x4400,
678   0x3c00, 0x3e00, 0x3e00, 0x4000,
679   0x3800, 0x3a00, 0x3a00, 0x3c00,
680   0x3400, 0x3600, 0x3600, 0x3800,
681   0x3000, 0x3200, 0x3200, 0x3400,
682   0x2c00, 0x2e00, 0x2e00, 0x3000,
683   0x2800, 0x2a00, 0x2a00, 0x2c00,
684   0x6a00, 0x6a00, 0x6c00, 0x6c00,
685   0x6600, 0x6600, 0x6800, 0x6800,
686   0x6200, 0x6200, 0x6400, 0x6400,
687   0x5e00, 0x5e00, 0x6000, 0x6000,
688   0x5a00, 0x5a00, 0x5c00, 0x5c00,
689   0x5600, 0x5600, 0x5800, 0x5800,
690   0x5200, 0x5200, 0x5400, 0x5400,
691   0x4e00, 0x4e00, 0x5000, 0x5000,
692   0x4a00, 0x4a00, 0x4c00, 0x4c00,
693   0x4600, 0x4600, 0x4800, 0x4800,
694   0x4200, 0x4200, 0x4400, 0x4400,
695   0x3e00, 0x3e00, 0x4000, 0x4000,
696   0x3a00, 0x3a00, 0x3c00, 0x3c00,
697   0x3600, 0x3600, 0x3800, 0x3800,
698   0x3200, 0x3200, 0x3400, 0x3400,
699   0x2e00, 0x2e00, 0x3000, 0x3000,
700   0x2a00, 0x2a00, 0x2c00, 0x2c00,
701   0x6a00, 0x6c00, 0x6c00, 0x6d00,
702   0x6600, 0x6800, 0x6800, 0x6900,
703   0x6200, 0x6400, 0x6400, 0x6500,
704   0x5e00, 0x6000, 0x6000, 0x6100,
705   0x5a00, 0x5c00, 0x5c00, 0x5d00,
706   0x5600, 0x5800, 0x5800, 0x5900,
707   0x5200, 0x5400, 0x5400, 0x5500,
708   0x4e00, 0x5000, 0x5000, 0x5100,
709   0x4a00, 0x4c00, 0x4c00, 0x4d00,
710   0x4600, 0x4800, 0x4800, 0x4900,
711   0x4200, 0x4400, 0x4400, 0x4500,
712   0x3e00, 0x4000, 0x4000, 0x4100,
713   0x3a00, 0x3c00, 0x3c00, 0x3d00,
714   0x3600, 0x3800, 0x3800, 0x3900,
715   0x3200, 0x3400, 0x3400, 0x3500,
716   0x2e00, 0x3000, 0x3000, 0x3100,
717   0x2a00, 0x2c00, 0x2c00, 0x2d00,
718   0x6c00, 0x6c00, 0x6d00, 0x6d00,
719   0x6800, 0x6800, 0x6900, 0x6900,
720   0x6400, 0x6400, 0x6500, 0x6500,
721   0x6000, 0x6000, 0x6100, 0x6100,
722   0x5c00, 0x5c00, 0x5d00, 0x5d00,
723   0x5800, 0x5800, 0x5900, 0x5900,
724   0x5400, 0x5400, 0x5500, 0x5500,
725   0x5000, 0x5000, 0x5100, 0x5100,
726   0x4c00, 0x4c00, 0x4d00, 0x4d00,
727   0x4800, 0x4800, 0x4900, 0x4900,
728   0x4400, 0x4400, 0x4500, 0x4500,
729   0x4000, 0x4000, 0x4100, 0x4100,
730   0x3c00, 0x3c00, 0x3d00, 0x3d00,
731   0x3800, 0x3800, 0x3900, 0x3900,
732   0x3400, 0x3400, 0x3500, 0x3500,
733   0x3000, 0x3000, 0x3100, 0x3100,
734   0x2c00, 0x2c00, 0x2d00, 0x2d00,
735   0x6c00, 0x6d00, 0x6d00, 0x6e00,
736   0x6800, 0x6900, 0x6900, 0x6a00,
737   0x6400, 0x6500, 0x6500, 0x6600,
738   0x6000, 0x6100, 0x6100, 0x6200,
739   0x5c00, 0x5d00, 0x5d00, 0x5e00,
740   0x5800, 0x5900, 0x5900, 0x5a00,
741   0x5400, 0x5500, 0x5500, 0x5600,
742   0x5000, 0x5100, 0x5100, 0x5200,
743   0x4c00, 0x4d00, 0x4d00, 0x4e00,
744   0x4800, 0x4900, 0x4900, 0x4a00,
745   0x4400, 0x4500, 0x4500, 0x4600,
746   0x4000, 0x4100, 0x4100, 0x4200,
747   0x3c00, 0x3d00, 0x3d00, 0x3e00,
748   0x3800, 0x3900, 0x3900, 0x3a00,
749   0x3400, 0x3500, 0x3500, 0x3600,
750   0x3000, 0x3100, 0x3100, 0x3200,
751   0x2c00, 0x2d00, 0x2d00, 0x2e00,
752   0x6d00, 0x6d00, 0x6e00, 0x6f00,
753   0x6900, 0x6900, 0x6a00, 0x6b00,
754   0x6500, 0x6500, 0x6600, 0x6700,
755   0x6100, 0x6100, 0x6200, 0x6300,
756   0x5d00, 0x5d00, 0x5e00, 0x5f00,
757   0x5900, 0x5900, 0x5a00, 0x5b00,
758   0x5500, 0x5500, 0x5600, 0x5700,
759   0x5100, 0x5100, 0x5200, 0x5300,
760   0x4d00, 0x4d00, 0x4e00, 0x4f00,
761   0x4900, 0x4900, 0x4a00, 0x4b00,
762   0x4500, 0x4500, 0x4600, 0x4700,
763   0x4100, 0x4100, 0x4200, 0x4300,
764   0x3d00, 0x3d00, 0x3e00, 0x3f00,
765   0x3900, 0x3900, 0x3a00, 0x3b00,
766   0x3500, 0x3500, 0x3600, 0x3700,
767   0x3100, 0x3100, 0x3200, 0x3300,
768   0x2d00, 0x2d00, 0x2e00, 0x2f00,
769   0x6d00, 0x6e00, 0x6f00, 0x77f8,
770   0x6900, 0x6a00, 0x6b00, 0x73f8,
771   0x6500, 0x6600, 0x6700, 0x6ff8,
772   0x6100, 0x6200, 0x6300, 0x6bf8,
773   0x5d00, 0x5e00, 0x5f00, 0x67f8,
774   0x5900, 0x5a00, 0x5b00, 0x63f8,
775   0x5500, 0x5600, 0x5700, 0x5ff8,
776   0x5100, 0x5200, 0x5300, 0x5bf8,
777   0x4d00, 0x4e00, 0x4f00, 0x57f8,
778   0x4900, 0x4a00, 0x4b00, 0x53f8,
779   0x4500, 0x4600, 0x4700, 0x4ff8,
780   0x4100, 0x4200, 0x4300, 0x4bf8,
781   0x3d00, 0x3e00, 0x3f00, 0x47f8,
782   0x3900, 0x3a00, 0x3b00, 0x43f8,
783   0x3500, 0x3600, 0x3700, 0x3ff8,
784   0x3100, 0x3200, 0x3300, 0x3bf8,
785   0x2d00, 0x2e00, 0x2f00, 0x37f8,
786   0x6e00, 0x6f00, 0x77f8, 0x77fc,
787   0x6a00, 0x6b00, 0x73f8, 0x73fc,
788   0x6600, 0x6700, 0x6ff8, 0x6ffc,
789   0x6200, 0x6300, 0x6bf8, 0x6bfc,
790   0x5e00, 0x5f00, 0x67f8, 0x67fc,
791   0x5a00, 0x5b00, 0x63f8, 0x63fc,
792   0x5600, 0x5700, 0x5ff8, 0x5ffc,
793   0x5200, 0x5300, 0x5bf8, 0x5bfc,
794   0x4e00, 0x4f00, 0x57f8, 0x57fc,
795   0x4a00, 0x4b00, 0x53f8, 0x53fc,
796   0x4600, 0x4700, 0x4ff8, 0x4ffc,
797   0x4200, 0x4300, 0x4bf8, 0x4bfc,
798   0x3e00, 0x3f00, 0x47f8, 0x47fc,
799   0x3a00, 0x3b00, 0x43f8, 0x43fc,
800   0x3600, 0x3700, 0x3ff8, 0x3ffc,
801   0x3200, 0x3300, 0x3bf8, 0x3bfc,
802   0x2e00, 0x2f00, 0x37f8, 0x37fc,
803   0x6f00, 0x77f8, 0x77fc, 0x7800,
804   0x6b00, 0x73f8, 0x73fc, 0x7400,
805   0x6700, 0x6ff8, 0x6ffc, 0x7000,
806   0x6300, 0x6bf8, 0x6bfc, 0x6c00,
807   0x5f00, 0x67f8, 0x67fc, 0x6800,
808   0x5b00, 0x63f8, 0x63fc, 0x6400,
809   0x5700, 0x5ff8, 0x5ffc, 0x6000,
810   0x5300, 0x5bf8, 0x5bfc, 0x5c00,
811   0x4f00, 0x57f8, 0x57fc, 0x5800,
812   0x4b00, 0x53f8, 0x53fc, 0x5400,
813   0x4700, 0x4ff8, 0x4ffc, 0x5000,
814   0x4300, 0x4bf8, 0x4bfc, 0x4c00,
815   0x3f00, 0x47f8, 0x47fc, 0x4800,
816   0x3b00, 0x43f8, 0x43fc, 0x4400,
817   0x3700, 0x3ff8, 0x3ffc, 0x4000,
818   0x3300, 0x3bf8, 0x3bfc, 0x3c00,
819   0x2f00, 0x37f8, 0x37fc, 0x3800,
820   0x77f8, 0x77fc, 0x7800, 0xf800,
821   0x73f8, 0x73fc, 0x7400, 0xf400,
822   0x6ff8, 0x6ffc, 0x7000, 0xf000,
823   0x6bf8, 0x6bfc, 0x6c00, 0xec00,
824   0x67f8, 0x67fc, 0x6800, 0xe800,
825   0x63f8, 0x63fc, 0x6400, 0xe400,
826   0x5ff8, 0x5ffc, 0x6000, 0xe000,
827   0x5bf8, 0x5bfc, 0x5c00, 0xdc00,
828   0x57f8, 0x57fc, 0x5800, 0xd800,
829   0x53f8, 0x53fc, 0x5400, 0xd400,
830   0x4ff8, 0x4ffc, 0x5000, 0xd000,
831   0x4bf8, 0x4bfc, 0x4c00, 0xcc00,
832   0x47f8, 0x47fc, 0x4800, 0xc800,
833   0x43f8, 0x43fc, 0x4400, 0xc400,
834   0x3ff8, 0x3ffc, 0x4000, 0xc000,
835   0x3bf8, 0x3bfc, 0x3c00, 0xbc00,
836   0x37f8, 0x37fc, 0x3800, 0xb800,
837   0x77fc, 0x7800, 0xf800, 0xf800,
838   0x73fc, 0x7400, 0xf400, 0xf400,
839   0x6ffc, 0x7000, 0xf000, 0xf000,
840   0x6bfc, 0x6c00, 0xec00, 0xec00,
841   0x67fc, 0x6800, 0xe800, 0xe800,
842   0x63fc, 0x6400, 0xe400, 0xe400,
843   0x5ffc, 0x6000, 0xe000, 0xe000,
844   0x5bfc, 0x5c00, 0xdc00, 0xdc00,
845   0x57fc, 0x5800, 0xd800, 0xd800,
846   0x53fc, 0x5400, 0xd400, 0xd400,
847   0x4ffc, 0x5000, 0xd000, 0xd000,
848   0x4bfc, 0x4c00, 0xcc00, 0xcc00,
849   0x47fc, 0x4800, 0xc800, 0xc800,
850   0x43fc, 0x4400, 0xc400, 0xc400,
851   0x3ffc, 0x4000, 0xc000, 0xc000,
852   0x3bfc, 0x3c00, 0xbc00, 0xbc00,
853   0x37fc, 0x3800, 0xb800, 0xb800,
854   0x7800, 0xf800, 0xf800, 0xf7c0,
855   0x7400, 0xf400, 0xf400, 0xf3c0,
856   0x7000, 0xf000, 0xf000, 0xefc0,
857   0x6c00, 0xec00, 0xec00, 0xebc0,
858   0x6800, 0xe800, 0xe800, 0xe7c0,
859   0x6400, 0xe400, 0xe400, 0xe3c0,
860   0x6000, 0xe000, 0xe000, 0xdfc0,
861   0x5c00, 0xdc00, 0xdc00, 0xdbc0,
862   0x5800, 0xd800, 0xd800, 0xd7c0,
863   0x5400, 0xd400, 0xd400, 0xd3c0,
864   0x5000, 0xd000, 0xd000, 0xcfc0,
865   0x4c00, 0xcc00, 0xcc00, 0xcbc0,
866   0x4800, 0xc800, 0xc800, 0xc7c0,
867   0x4400, 0xc400, 0xc400, 0xc3c0,
868   0x4000, 0xc000, 0xc000, 0xbfc0,
869   0x3c00, 0xbc00, 0xbc00, 0xbbc0,
870   0x3800, 0xb800, 0xb800, 0xb7c0,
871   0xf800, 0xf800, 0xf7c0, 0xf7c0,
872   0xf400, 0xf400, 0xf3c0, 0xf3c0,
873   0xf000, 0xf000, 0xefc0, 0xefc0,
874   0xec00, 0xec00, 0xebc0, 0xebc0,
875   0xe800, 0xe800, 0xe7c0, 0xe7c0,
876   0xe400, 0xe400, 0xe3c0, 0xe3c0,
877   0xe000, 0xe000, 0xdfc0, 0xdfc0,
878   0xdc00, 0xdc00, 0xdbc0, 0xdbc0,
879   0xd800, 0xd800, 0xd7c0, 0xd7c0,
880   0xd400, 0xd400, 0xd3c0, 0xd3c0,
881   0xd000, 0xd000, 0xcfc0, 0xcfc0,
882   0xcc00, 0xcc00, 0xcbc0, 0xcbc0,
883   0xc800, 0xc800, 0xc7c0, 0xc7c0,
884   0xc400, 0xc400, 0xc3c0, 0xc3c0,
885   0xc000, 0xc000, 0xbfc0, 0xbfc0,
886   0xbc00, 0xbc00, 0xbbc0, 0xbbc0,
887   0xb800, 0xb800, 0xb7c0, 0xb7c0,
888   0xf800, 0xf7c0, 0xf7c0, 0xf7b9,
889   0xf400, 0xf3c0, 0xf3c0, 0xf3b9,
890   0xf000, 0xefc0, 0xefc0, 0xefb9,
891   0xec00, 0xebc0, 0xebc0, 0xebb9,
892   0xe800, 0xe7c0, 0xe7c0, 0xe7b9,
893   0xe400, 0xe3c0, 0xe3c0, 0xe3b9,
894   0xe000, 0xdfc0, 0xdfc0, 0xdfb9,
895   0xdc00, 0xdbc0, 0xdbc0, 0xdbb9,
896   0xd800, 0xd7c0, 0xd7c0, 0xd7b9,
897   0xd400, 0xd3c0, 0xd3c0, 0xd3b9,
898   0xd000, 0xcfc0, 0xcfc0, 0xcfb9,
899   0xcc00, 0xcbc0, 0xcbc0, 0xcbb9,
900   0xc800, 0xc7c0, 0xc7c0, 0xc7b9,
901   0xc400, 0xc3c0, 0xc3c0, 0xc3b9,
902   0xc000, 0xbfc0, 0xbfc0, 0xbfb9,
903   0xbc00, 0xbbc0, 0xbbc0, 0xbbb9,
904   0xb800, 0xb7c0, 0xb7c0, 0xb7b9,
905   0xf7c0, 0xf7c0, 0xf7b9, 0xf780,
906   0xf3c0, 0xf3c0, 0xf3b9, 0xf380,
907   0xefc0, 0xefc0, 0xefb9, 0xef80,
908   0xebc0, 0xebc0, 0xebb9, 0xeb80,
909   0xe7c0, 0xe7c0, 0xe7b9, 0xe780,
910   0xe3c0, 0xe3c0, 0xe3b9, 0xe380,
911   0xdfc0, 0xdfc0, 0xdfb9, 0xdf80,
912   0xdbc0, 0xdbc0, 0xdbb9, 0xdb80,
913   0xd7c0, 0xd7c0, 0xd7b9, 0xd780,
914   0xd3c0, 0xd3c0, 0xd3b9, 0xd380,
915   0xcfc0, 0xcfc0, 0xcfb9, 0xcf80,
916   0xcbc0, 0xcbc0, 0xcbb9, 0xcb80,
917   0xc7c0, 0xc7c0, 0xc7b9, 0xc780,
918   0xc3c0, 0xc3c0, 0xc3b9, 0xc380,
919   0xbfc0, 0xbfc0, 0xbfb9, 0xbf80,
920   0xbbc0, 0xbbc0, 0xbbb9, 0xbb80,
921   0xb7c0, 0xb7c0, 0xb7b9, 0xb780,
922   0xf7c0, 0xf7b9, 0xf780, 0xf780,
923   0xf3c0, 0xf3b9, 0xf380, 0xf380,
924   0xefc0, 0xefb9, 0xef80, 0xef80,
925   0xebc0, 0xebb9, 0xeb80, 0xeb80,
926   0xe7c0, 0xe7b9, 0xe780, 0xe780,
927   0xe3c0, 0xe3b9, 0xe380, 0xe380,
928   0xdfc0, 0xdfb9, 0xdf80, 0xdf80,
929   0xdbc0, 0xdbb9, 0xdb80, 0xdb80,
930   0xd7c0, 0xd7b9, 0xd780, 0xd780,
931   0xd3c0, 0xd3b9, 0xd380, 0xd380,
932   0xcfc0, 0xcfb9, 0xcf80, 0xcf80,
933   0xcbc0, 0xcbb9, 0xcb80, 0xcb80,
934   0xc7c0, 0xc7b9, 0xc780, 0xc780,
935   0xc3c0, 0xc3b9, 0xc380, 0xc380,
936   0xbfc0, 0xbfb9, 0xbf80, 0xbf80,
937   0xbbc0, 0xbbb9, 0xbb80, 0xbb80,
938   0xb7c0, 0xb7b9, 0xb780, 0xb780,
939   0xf7b9, 0xf780, 0xf780, 0xf740,
940   0xf3b9, 0xf380, 0xf380, 0xf340,
941   0xefb9, 0xef80, 0xef80, 0xef40,
942   0xebb9, 0xeb80, 0xeb80, 0xeb40,
943   0xe7b9, 0xe780, 0xe780, 0xe740,
944   0xe3b9, 0xe380, 0xe380, 0xe340,
945   0xdfb9, 0xdf80, 0xdf80, 0xdf40,
946   0xdbb9, 0xdb80, 0xdb80, 0xdb40,
947   0xd7b9, 0xd780, 0xd780, 0xd740,
948   0xd3b9, 0xd380, 0xd380, 0xd340,
949   0xcfb9, 0xcf80, 0xcf80, 0xcf40,
950   0xcbb9, 0xcb80, 0xcb80, 0xcb40,
951   0xc7b9, 0xc780, 0xc780, 0xc740,
952   0xc3b9, 0xc380, 0xc380, 0xc340,
953   0xbfb9, 0xbf80, 0xbf80, 0xbf40,
954   0xbbb9, 0xbb80, 0xbb80, 0xbb40,
955   0xb7b9, 0xb780, 0xb780, 0xb740,
956   0xf780, 0xf780, 0xf740, 0xf740,
957   0xf380, 0xf380, 0xf340, 0xf340,
958   0xef80, 0xef80, 0xef40, 0xef40,
959   0xeb80, 0xeb80, 0xeb40, 0xeb40,
960   0xe780, 0xe780, 0xe740, 0xe740,
961   0xe380, 0xe380, 0xe340, 0xe340,
962   0xdf80, 0xdf80, 0xdf40, 0xdf40,
963   0xdb80, 0xdb80, 0xdb40, 0xdb40,
964   0xd780, 0xd780, 0xd740, 0xd740,
965   0xd380, 0xd380, 0xd340, 0xd340,
966   0xcf80, 0xcf80, 0xcf40, 0xcf40,
967   0xcb80, 0xcb80, 0xcb40, 0xcb40,
968   0xc780, 0xc780, 0xc740, 0xc740,
969   0xc380, 0xc380, 0xc340, 0xc340,
970   0xbf80, 0xbf80, 0xbf40, 0xbf40,
971   0xbb80, 0xbb80, 0xbb40, 0xbb40,
972   0xb780, 0xb780, 0xb740, 0xb740,
973   0xf780, 0xf740, 0xf740, 0xf700,
974   0xf380, 0xf340, 0xf340, 0xf300,
975   0xef80, 0xef40, 0xef40, 0xef00,
976   0xeb80, 0xeb40, 0xeb40, 0xeb00,
977   0xe780, 0xe740, 0xe740, 0xe700,
978   0xe380, 0xe340, 0xe340, 0xe300,
979   0xdf80, 0xdf40, 0xdf40, 0xdf00,
980   0xdb80, 0xdb40, 0xdb40, 0xdb00,
981   0xd780, 0xd740, 0xd740, 0xd700,
982   0xd380, 0xd340, 0xd340, 0xd300,
983   0xcf80, 0xcf40, 0xcf40, 0xcf00,
984   0xcb80, 0xcb40, 0xcb40, 0xcb00,
985   0xc780, 0xc740, 0xc740, 0xc700,
986   0xc380, 0xc340, 0xc340, 0xc300,
987   0xbf80, 0xbf40, 0xbf40, 0xbf00,
988   0xbb80, 0xbb40, 0xbb40, 0xbb00,
989   0xb780, 0xb740, 0xb740, 0xb700,
990   0xf740, 0xf740, 0xf700, 0xf700,
991   0xf340, 0xf340, 0xf300, 0xf300,
992   0xef40, 0xef40, 0xef00, 0xef00,
993   0xeb40, 0xeb40, 0xeb00, 0xeb00,
994   0xe740, 0xe740, 0xe700, 0xe700,
995   0xe340, 0xe340, 0xe300, 0xe300,
996   0xdf40, 0xdf40, 0xdf00, 0xdf00,
997   0xdb40, 0xdb40, 0xdb00, 0xdb00,
998   0xd740, 0xd740, 0xd700, 0xd700,
999   0xd340, 0xd340, 0xd300, 0xd300,
1000   0xcf40, 0xcf40, 0xcf00, 0xcf00,
1001   0xcb40, 0xcb40, 0xcb00, 0xcb00,
1002   0xc740, 0xc740, 0xc700, 0xc700,
1003   0xc340, 0xc340, 0xc300, 0xc300,
1004   0xbf40, 0xbf40, 0xbf00, 0xbf00,
1005   0xbb40, 0xbb40, 0xbb00, 0xbb00,
1006   0xb740, 0xb740, 0xb700, 0xb700,
1007   0xf740, 0xf700, 0xf700, 0xf6c0,
1008   0xf340, 0xf300, 0xf300, 0xf2c0,
1009   0xef40, 0xef00, 0xef00, 0xeec0,
1010   0xeb40, 0xeb00, 0xeb00, 0xeac0,
1011   0xe740, 0xe700, 0xe700, 0xe6c0,
1012   0xe340, 0xe300, 0xe300, 0xe2c0,
1013   0xdf40, 0xdf00, 0xdf00, 0xdec0,
1014   0xdb40, 0xdb00, 0xdb00, 0xdac0,
1015   0xd740, 0xd700, 0xd700, 0xd6c0,
1016   0xd340, 0xd300, 0xd300, 0xd2c0,
1017   0xcf40, 0xcf00, 0xcf00, 0xcec0,
1018   0xcb40, 0xcb00, 0xcb00, 0xcac0,
1019   0xc740, 0xc700, 0xc700, 0xc6c0,
1020   0xc340, 0xc300, 0xc300, 0xc2c0,
1021   0xbf40, 0xbf00, 0xbf00, 0xbec0,
1022   0xbb40, 0xbb00, 0xbb00, 0xbac0,
1023   0xb740, 0xb700, 0xb700, 0xb6c0,
1024   0xf700, 0xf700, 0xf6c0, 0xf6c0,
1025   0xf300, 0xf300, 0xf2c0, 0xf2c0,
1026   0xef00, 0xef00, 0xeec0, 0xeec0,
1027   0xeb00, 0xeb00, 0xeac0, 0xeac0,
1028   0xe700, 0xe700, 0xe6c0, 0xe6c0,
1029   0xe300, 0xe300, 0xe2c0, 0xe2c0,
1030   0xdf00, 0xdf00, 0xdec0, 0xdec0,
1031   0xdb00, 0xdb00, 0xdac0, 0xdac0,
1032   0xd700, 0xd700, 0xd6c0, 0xd6c0,
1033   0xd300, 0xd300, 0xd2c0, 0xd2c0,
1034   0xcf00, 0xcf00, 0xcec0, 0xcec0,
1035   0xcb00, 0xcb00, 0xcac0, 0xcac0,
1036   0xc700, 0xc700, 0xc6c0, 0xc6c0,
1037   0xc300, 0xc300, 0xc2c0, 0xc2c0,
1038   0xbf00, 0xbf00, 0xbec0, 0xbec0,
1039   0xbb00, 0xbb00, 0xbac0, 0xbac0,
1040   0xb700, 0xb700, 0xb6c0, 0xb6c0,
1041   0xf700, 0xf6c0, 0xf6c0, 0xf680,
1042   0xf300, 0xf2c0, 0xf2c0, 0xf280,
1043   0xef00, 0xeec0, 0xeec0, 0xee80,
1044   0xeb00, 0xeac0, 0xeac0, 0xea80,
1045   0xe700, 0xe6c0, 0xe6c0, 0xe680,
1046   0xe300, 0xe2c0, 0xe2c0, 0xe280,
1047   0xdf00, 0xdec0, 0xdec0, 0xde80,
1048   0xdb00, 0xdac0, 0xdac0, 0xda80,
1049   0xd700, 0xd6c0, 0xd6c0, 0xd680,
1050   0xd300, 0xd2c0, 0xd2c0, 0xd280,
1051   0xcf00, 0xcec0, 0xcec0, 0xce80,
1052   0xcb00, 0xcac0, 0xcac0, 0xca80,
1053   0xc700, 0xc6c0, 0xc6c0, 0xc680,
1054   0xc300, 0xc2c0, 0xc2c0, 0xc280,
1055   0xbf00, 0xbec0, 0xbec0, 0xbe80,
1056   0xbb00, 0xbac0, 0xbac0, 0xba80,
1057   0xb700, 0xb6c0, 0xb6c0, 0xb680,
1058 };
1059 const unsigned kExpectedCount_NEON_scvtf_4H_2OPIMM = 1020;
1060 
1061 #endif  // VIXL_SIM_SCVTF_4H_2OPIMM_TRACE_AARCH64_H_
1062