• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1  // Copyright 2015, ARM Limited
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_SRSHL_2D_TRACE_A64_H_
35  #define VIXL_SIM_SRSHL_2D_TRACE_A64_H_
36  
37  const uint64_t kExpected_NEON_srshl_2D[] = {
38    0x0000000000000000, 0x0000000000000000,
39    0x000000000000007d, 0x0000000000000000,
40    0x00000000000000fa, 0x0000000000000000,
41    0x00000000000001f4, 0x0000000000000000,
42    0x0000000000000000, 0x0000000000000000,
43    0x0000000000000000, 0x0000000000000000,
44    0x0000000000000000, 0x0000000000000000,
45    0x0000000000000000, 0x0000000000000000,
46    0x0000000000000010, 0x0000000000000000,
47    0x000000000000001f, 0x0000000000000000,
48    0x000000000000003f, 0x0000000000000000,
49    0x0000000000000010, 0x0000000000000000,
50    0x000000000000001f, 0x0000000000000000,
51    0x000000000000003f, 0x0000000000000000,
52    0x03e8000000000000, 0x0000000000000000,
53    0x0000000000000000, 0x0000000000000000,
54    0x0000000000000010, 0x0000000000000000,
55    0x000000000000001f, 0x0000000000000000,
56    0x000000000000003f, 0x0000000000000000,
57    0x000000000000007d, 0x0000000000000000,
58    0x00000000000000fa, 0x0000000000000000,
59    0x00000000000001f4, 0x0000000000000000,
60    0x00000000000003e8, 0x0000000000000000,
61    0x0000000000000000, 0x0000000000000000,
62    0x0000000000000000, 0x0000000000000000,
63    0x000000000000007d, 0x0000000000000000,
64    0x00000000000000fa, 0x0000000000000000,
65    0x00000000000001f4, 0x0000000000000000,
66    0x00000000000003e8, 0x0000000000000000,
67    0x000000000000007d, 0x0000000000000000,
68    0x00000000000000fa, 0x0000000000000000,
69    0x00000000000001f4, 0x0000000000000000,
70    0x00000000000003e8, 0x0000000000000000,
71    0x0000000000000000, 0x0000000000000000,
72    0x0000000000000000, 0x0000000000000000,
73    0x0000000000000000, 0x0000000000000000,
74    0x0000000000000000, 0x0000000000000000,
75    0x0000000000000000, 0x0000000000000000,
76    0x0000000000000010, 0x0000000000000000,
77    0x000000000000001f, 0x0000000000000000,
78    0x0000000000000000, 0x0000000000000001,
79    0x0000000000000000, 0x0000000000000002,
80    0x0000000000000000, 0x0000000000000004,
81    0x0000000000000000, 0x0000000000000000,
82    0x0000000000000000, 0x0000000000000000,
83    0x0000000000000000, 0x0000000000000000,
84    0x0000000000000000, 0x0000000000000000,
85    0x0000000000000000, 0x0000000000000000,
86    0x0000000000000000, 0x0000000000000000,
87    0x0000000000000000, 0x0000000000000001,
88    0x0000000000000000, 0x0000000000000000,
89    0x0000000000000000, 0x0000000000000000,
90    0x0000000000000000, 0x0000000000000001,
91    0x0000000000000000, 0x0008000000000000,
92    0x0000000000000000, 0x0000000000000000,
93    0x0000000000000000, 0x0000000000000000,
94    0x0000000000000000, 0x0000000000000000,
95    0x0000000000000000, 0x0000000000000001,
96    0x0000000000000000, 0x0000000000000001,
97    0x0000000000000000, 0x0000000000000002,
98    0x0000000000000000, 0x0000000000000004,
99    0x0000000000000000, 0x0000000000000008,
100    0x0000000000000000, 0x0000000000000000,
101    0x0000000000000000, 0x0000000000000000,
102    0x0000000000000000, 0x0000000000000001,
103    0x0000000000000000, 0x0000000000000002,
104    0x0000000000000000, 0x0000000000000004,
105    0x0000000000000000, 0x0000000000000008,
106    0x0000000000000000, 0x0000000000000001,
107    0x0000000000000000, 0x0000000000000002,
108    0x0000000000000000, 0x0000000000000004,
109    0x0000000000000000, 0x0000000000000008,
110    0x0000000000000000, 0x0000000000000000,
111    0x0000000000000000, 0x0000000000000000,
112    0x0000000000000000, 0x0000000000000000,
113    0x0000000000000000, 0x0000000000000000,
114    0x0000000000000000, 0x0000000000000000,
115    0x0000000000000000, 0x0000000000000000,
116    0x0000000000000000, 0x0000000000000000,
117    0x0000000000000000, 0x0000000000000001,
118    0x0000000000000001, 0x0000000000000002,
119    0x0000000000000001, 0x0000000000000004,
120    0x0000000000000002, 0x0000000000000008,
121    0x0000000000000004, 0x0000000000000000,
122    0x0000000000000000, 0x0000000000000000,
123    0x0000000000000000, 0x0000000000000000,
124    0x0000000000000000, 0x0000000000000000,
125    0x0000000000000000, 0x0000000000000000,
126    0x0000000000000000, 0x0000000000000001,
127    0x0000000000000000, 0x0000000000000001,
128    0x0000000000000001, 0x0000000000000000,
129    0x0000000000000000, 0x0000000000000001,
130    0x0000000000000000, 0x0000000000000001,
131    0x0000000000000001, 0x0010000000000000,
132    0x0008000000000000, 0x0000000000000000,
133    0x0000000000000000, 0x0000000000000000,
134    0x0000000000000000, 0x0000000000000001,
135    0x0000000000000000, 0x0000000000000001,
136    0x0000000000000001, 0x0000000000000002,
137    0x0000000000000001, 0x0000000000000004,
138    0x0000000000000002, 0x0000000000000008,
139    0x0000000000000004, 0x0000000000000010,
140    0x0000000000000008, 0x0000000000000000,
141    0x0000000000000000, 0x0000000000000000,
142    0x0000000000000000, 0x0000000000000002,
143    0x0000000000000001, 0x0000000000000004,
144    0x0000000000000002, 0x0000000000000008,
145    0x0000000000000004, 0x0000000000000010,
146    0x0000000000000008, 0x0000000000000002,
147    0x0000000000000001, 0x0000000000000004,
148    0x0000000000000002, 0x0000000000000008,
149    0x0000000000000004, 0x0000000000000010,
150    0x0000000000000008, 0x0000000000000000,
151    0x0000000000000000, 0x0000000000000000,
152    0x0000000000000000, 0x0000000000000000,
153    0x0000000000000000, 0x0000000000000000,
154    0x0000000000000000, 0x0000000000000000,
155    0x0000000000000000, 0x0000000000000000,
156    0x0000000000000000, 0x0000000000000001,
157    0x0000000000000000, 0x0000000000000001,
158    0x0000000000000001, 0x0000000000000040,
159    0x0000000000000002, 0x0000000000000080,
160    0x0000000000000004, 0x0000000000000100,
161    0x0000000000000008, 0x0000000000000000,
162    0x0000000000000000, 0x0000000000000000,
163    0x0000000000000000, 0x0000000000000000,
164    0x0000000000000000, 0x0000000000000000,
165    0x0000000000000000, 0x0000000000000008,
166    0x0000000000000000, 0x0000000000000010,
167    0x0000000000000001, 0x0000000000000020,
168    0x0000000000000001, 0x0000000000000008,
169    0x0000000000000000, 0x0000000000000010,
170    0x0000000000000001, 0x0000000000000020,
171    0x0000000000000001, 0x0200000000000000,
172    0x0010000000000000, 0x0000000000000000,
173    0x0000000000000000, 0x0000000000000008,
174    0x0000000000000000, 0x0000000000000010,
175    0x0000000000000001, 0x0000000000000020,
176    0x0000000000000001, 0x0000000000000040,
177    0x0000000000000002, 0x0000000000000080,
178    0x0000000000000004, 0x0000000000000100,
179    0x0000000000000008, 0x0000000000000200,
180    0x0000000000000010, 0x0000000000000000,
181    0x0000000000000000, 0x0000000000000000,
182    0x0000000000000000, 0x0000000000000040,
183    0x0000000000000002, 0x0000000000000080,
184    0x0000000000000004, 0x0000000000000100,
185    0x0000000000000008, 0x0000000000000200,
186    0x0000000000000010, 0x0000000000000040,
187    0x0000000000000002, 0x0000000000000080,
188    0x0000000000000004, 0x0000000000000100,
189    0x0000000000000008, 0x0000000000000200,
190    0x0000000000000010, 0x0000000000000000,
191    0x0000000000000000, 0x0000000000000000,
192    0x0000000000000000, 0x0000000000000000,
193    0x0000000000000000, 0x0000000000000000,
194    0x0000000000000000, 0x0000000000000000,
195    0x0000000000000000, 0x0000000000000008,
196    0x0000000000000000, 0x0000000000000010,
197    0x0000000000000001, 0x0000000000000020,
198    0x0000000000000020, 0x000000000000007d,
199    0x0000000000000040, 0x00000000000000fa,
200    0x0000000000000080, 0x00000000000001f4,
201    0x0000000000000100, 0x0000000000000000,
202    0x0000000000000000, 0x0000000000000000,
203    0x0000000000000000, 0x0000000000000000,
204    0x0000000000000000, 0x0000000000000000,
205    0x0000000000000000, 0x0000000000000010,
206    0x0000000000000008, 0x000000000000001f,
207    0x0000000000000010, 0x000000000000003f,
208    0x0000000000000020, 0x0000000000000010,
209    0x0000000000000008, 0x000000000000001f,
210    0x0000000000000010, 0x000000000000003f,
211    0x0000000000000020, 0x03e8000000000000,
212    0x0200000000000000, 0x0000000000000000,
213    0x0000000000000000, 0x0000000000000010,
214    0x0000000000000008, 0x000000000000001f,
215    0x0000000000000010, 0x000000000000003f,
216    0x0000000000000020, 0x000000000000007d,
217    0x0000000000000040, 0x00000000000000fa,
218    0x0000000000000080, 0x00000000000001f4,
219    0x0000000000000100, 0x00000000000003e8,
220    0x0000000000000200, 0x0000000000000000,
221    0x0000000000000000, 0x0000000000000000,
222    0x0000000000000000, 0x000000000000007d,
223    0x0000000000000040, 0x00000000000000fa,
224    0x0000000000000080, 0x00000000000001f4,
225    0x0000000000000100, 0x00000000000003e8,
226    0x0000000000000200, 0x000000000000007d,
227    0x0000000000000040, 0x00000000000000fa,
228    0x0000000000000080, 0x00000000000001f4,
229    0x0000000000000100, 0x00000000000003e8,
230    0x0000000000000200, 0x0000000000000000,
231    0x0000000000000000, 0x0000000000000000,
232    0x0000000000000000, 0x0000000000000000,
233    0x0000000000000000, 0x0000000000000000,
234    0x0000000000000000, 0x0000000000000000,
235    0x0000000000000000, 0x0000000000000010,
236    0x0000000000000008, 0x000000000000001f,
237    0x0000000000000010, 0x000000000000003f,
238    0x000000000000003f, 0x000000000000007e,
239    0x000000000000007d, 0x00000000000000fc,
240    0x00000000000000fa, 0x00000000000001f8,
241    0x00000000000001f4, 0x0000000000000000,
242    0x0000000000000000, 0x0000000000000000,
243    0x0000000000000000, 0x0000000000000000,
244    0x0000000000000000, 0x0000000000000000,
245    0x0000000000000000, 0x0000000000000010,
246    0x0000000000000010, 0x0000000000000020,
247    0x000000000000001f, 0x000000000000003f,
248    0x000000000000003f, 0x0000000000000010,
249    0x0000000000000010, 0x0000000000000020,
250    0x000000000000001f, 0x000000000000003f,
251    0x000000000000003f, 0x03f0000000000000,
252    0x03e8000000000000, 0x0000000000000000,
253    0x0000000000000000, 0x0000000000000010,
254    0x0000000000000010, 0x0000000000000020,
255    0x000000000000001f, 0x000000000000003f,
256    0x000000000000003f, 0x000000000000007e,
257    0x000000000000007d, 0x00000000000000fc,
258    0x00000000000000fa, 0x00000000000001f8,
259    0x00000000000001f4, 0x00000000000003f0,
260    0x00000000000003e8, 0x0000000000000000,
261    0x0000000000000000, 0x0000000000000000,
262    0x0000000000000000, 0x000000000000007e,
263    0x000000000000007d, 0x00000000000000fc,
264    0x00000000000000fa, 0x00000000000001f8,
265    0x00000000000001f4, 0x00000000000003f0,
266    0x00000000000003e8, 0x000000000000007e,
267    0x000000000000007d, 0x00000000000000fc,
268    0x00000000000000fa, 0x00000000000001f8,
269    0x00000000000001f4, 0x00000000000003f0,
270    0x00000000000003e8, 0x0000000000000000,
271    0x0000000000000000, 0x0000000000000000,
272    0x0000000000000000, 0x0000000000000000,
273    0x0000000000000000, 0x0000000000000000,
274    0x0000000000000000, 0x0000000000000000,
275    0x0000000000000000, 0x0000000000000010,
276    0x0000000000000010, 0x0000000000000020,
277    0x000000000000001f, 0x000000000000003f,
278    0x000000000000003f, 0x000000000000007f,
279    0x000000000000007e, 0x00000000000000fe,
280    0x00000000000000fc, 0x00000000000001fc,
281    0x00000000000001f8, 0x0000000000000000,
282    0x0000000000000000, 0x0000000000000000,
283    0x0000000000000000, 0x0000000000000000,
284    0x0000000000000000, 0x0000000000000000,
285    0x0000000000000000, 0x0000000000000010,
286    0x0000000000000010, 0x0000000000000020,
287    0x0000000000000020, 0x0000000000000040,
288    0x000000000000003f, 0x0000000000000010,
289    0x0000000000000010, 0x0000000000000020,
290    0x0000000000000020, 0x0000000000000040,
291    0x000000000000003f, 0x03f8000000000000,
292    0x03f0000000000000, 0x0000000000000000,
293    0x0000000000000000, 0x0000000000000010,
294    0x0000000000000010, 0x0000000000000020,
295    0x0000000000000020, 0x0000000000000040,
296    0x000000000000003f, 0x000000000000007f,
297    0x000000000000007e, 0x00000000000000fe,
298    0x00000000000000fc, 0x00000000000001fc,
299    0x00000000000001f8, 0x00000000000003f8,
300    0x00000000000003f0, 0x0000000000000000,
301    0x0000000000000000, 0x0000000000000000,
302    0x0000000000000000, 0x000000000000007f,
303    0x000000000000007e, 0x00000000000000fe,
304    0x00000000000000fc, 0x00000000000001fc,
305    0x00000000000001f8, 0x00000000000003f8,
306    0x00000000000003f0, 0x000000000000007f,
307    0x000000000000007e, 0x00000000000000fe,
308    0x00000000000000fc, 0x00000000000001fc,
309    0x00000000000001f8, 0x00000000000003f8,
310    0x00000000000003f0, 0x0000000000000000,
311    0x0000000000000000, 0x0000000000000000,
312    0x0000000000000000, 0x0000000000000000,
313    0x0000000000000000, 0x0000000000000000,
314    0x0000000000000000, 0x0000000000000000,
315    0x0000000000000000, 0x0000000000000010,
316    0x0000000000000010, 0x0000000000000020,
317    0x0000000000000020, 0x0000000000000040,
318    0x0000000000000040, 0x0000000000007ffd,
319    0x000000000000007f, 0x000000000000fffa,
320    0x00000000000000fe, 0x000000000001fff4,
321    0x00000000000001fc, 0x0000000000000000,
322    0x0000000000000000, 0x0000000000000000,
323    0x0000000000000000, 0x0000000000000000,
324    0x0000000000000000, 0x0000000000000000,
325    0x0000000000000000, 0x0000000000001000,
326    0x0000000000000010, 0x0000000000001fff,
327    0x0000000000000020, 0x0000000000003fff,
328    0x0000000000000040, 0x0000000000001000,
329    0x0000000000000010, 0x0000000000001fff,
330    0x0000000000000020, 0x0000000000003fff,
331    0x0000000000000040, 0xffe8000000000000,
332    0x03f8000000000000, 0x0000000000000000,
333    0x0000000000000000, 0x0000000000001000,
334    0x0000000000000010, 0x0000000000001fff,
335    0x0000000000000020, 0x0000000000003fff,
336    0x0000000000000040, 0x0000000000007ffd,
337    0x000000000000007f, 0x000000000000fffa,
338    0x00000000000000fe, 0x000000000001fff4,
339    0x00000000000001fc, 0x000000000003ffe8,
340    0x00000000000003f8, 0x0000000000000000,
341    0x0000000000000000, 0x0000000000000000,
342    0x0000000000000000, 0x0000000000007ffd,
343    0x000000000000007f, 0x000000000000fffa,
344    0x00000000000000fe, 0x000000000001fff4,
345    0x00000000000001fc, 0x000000000003ffe8,
346    0x00000000000003f8, 0x0000000000007ffd,
347    0x000000000000007f, 0x000000000000fffa,
348    0x00000000000000fe, 0x000000000001fff4,
349    0x00000000000001fc, 0x000000000003ffe8,
350    0x00000000000003f8, 0x0000000000000000,
351    0x0000000000000000, 0x0000000000000000,
352    0x0000000000000000, 0x0000000000000000,
353    0x0000000000000000, 0x0000000000000000,
354    0x0000000000000000, 0x0000000000000000,
355    0x0000000000000000, 0x0000000000001000,
356    0x0000000000000010, 0x0000000000001fff,
357    0x0000000000000020, 0x0000000000003fff,
358    0x0000000000003fff, 0x0000000000007ffe,
359    0x0000000000007ffd, 0x000000000000fffc,
360    0x000000000000fffa, 0x000000000001fff8,
361    0x000000000001fff4, 0x0000000000000000,
362    0x0000000000000000, 0x0000000000000000,
363    0x0000000000000000, 0x0000000000000000,
364    0x0000000000000000, 0x0000000000000000,
365    0x0000000000000000, 0x0000000000001000,
366    0x0000000000001000, 0x0000000000002000,
367    0x0000000000001fff, 0x0000000000003fff,
368    0x0000000000003fff, 0x0000000000001000,
369    0x0000000000001000, 0x0000000000002000,
370    0x0000000000001fff, 0x0000000000003fff,
371    0x0000000000003fff, 0xfff0000000000000,
372    0xffe8000000000000, 0x0000000000000000,
373    0x0000000000000000, 0x0000000000001000,
374    0x0000000000001000, 0x0000000000002000,
375    0x0000000000001fff, 0x0000000000003fff,
376    0x0000000000003fff, 0x0000000000007ffe,
377    0x0000000000007ffd, 0x000000000000fffc,
378    0x000000000000fffa, 0x000000000001fff8,
379    0x000000000001fff4, 0x000000000003fff0,
380    0x000000000003ffe8, 0x0000000000000000,
381    0x0000000000000000, 0x0000000000000000,
382    0x0000000000000000, 0x0000000000007ffe,
383    0x0000000000007ffd, 0x000000000000fffc,
384    0x000000000000fffa, 0x000000000001fff8,
385    0x000000000001fff4, 0x000000000003fff0,
386    0x000000000003ffe8, 0x0000000000007ffe,
387    0x0000000000007ffd, 0x000000000000fffc,
388    0x000000000000fffa, 0x000000000001fff8,
389    0x000000000001fff4, 0x000000000003fff0,
390    0x000000000003ffe8, 0x0000000000000000,
391    0x0000000000000000, 0x0000000000000000,
392    0x0000000000000000, 0x0000000000000000,
393    0x0000000000000000, 0x0000000000000000,
394    0x0000000000000000, 0x0000000000000000,
395    0x0000000000000000, 0x0000000000001000,
396    0x0000000000001000, 0x0000000000002000,
397    0x0000000000001fff, 0x0000000000003fff,
398    0x0000000000003fff, 0x0000000000007fff,
399    0x0000000000007ffe, 0x000000000000fffe,
400    0x000000000000fffc, 0x000000000001fffc,
401    0x000000000001fff8, 0x0000000000000000,
402    0x0000000000000000, 0x0000000000000000,
403    0x0000000000000000, 0x0000000000000000,
404    0x0000000000000000, 0x0000000000000000,
405    0x0000000000000000, 0x0000000000001000,
406    0x0000000000001000, 0x0000000000002000,
407    0x0000000000002000, 0x0000000000004000,
408    0x0000000000003fff, 0x0000000000001000,
409    0x0000000000001000, 0x0000000000002000,
410    0x0000000000002000, 0x0000000000004000,
411    0x0000000000003fff, 0xfff8000000000000,
412    0xfff0000000000000, 0x0000000000000000,
413    0x0000000000000000, 0x0000000000001000,
414    0x0000000000001000, 0x0000000000002000,
415    0x0000000000002000, 0x0000000000004000,
416    0x0000000000003fff, 0x0000000000007fff,
417    0x0000000000007ffe, 0x000000000000fffe,
418    0x000000000000fffc, 0x000000000001fffc,
419    0x000000000001fff8, 0x000000000003fff8,
420    0x000000000003fff0, 0x0000000000000000,
421    0x0000000000000000, 0x0000000000000000,
422    0x0000000000000000, 0x0000000000007fff,
423    0x0000000000007ffe, 0x000000000000fffe,
424    0x000000000000fffc, 0x000000000001fffc,
425    0x000000000001fff8, 0x000000000003fff8,
426    0x000000000003fff0, 0x0000000000007fff,
427    0x0000000000007ffe, 0x000000000000fffe,
428    0x000000000000fffc, 0x000000000001fffc,
429    0x000000000001fff8, 0x000000000003fff8,
430    0x000000000003fff0, 0x0000000000000000,
431    0x0000000000000000, 0x0000000000000000,
432    0x0000000000000000, 0x0000000000000000,
433    0x0000000000000000, 0x0000000000000000,
434    0x0000000000000000, 0x0000000000000000,
435    0x0000000000000000, 0x0000000000001000,
436    0x0000000000001000, 0x0000000000002000,
437    0x0000000000002000, 0x0000000000004000,
438    0x0000000000004000, 0x000000007ffffffd,
439    0x0000000000007fff, 0x00000000fffffffa,
440    0x000000000000fffe, 0x00000001fffffff4,
441    0x000000000001fffc, 0x0000000000000000,
442    0x0000000000000000, 0x0000000000000000,
443    0x0000000000000000, 0x0000000000000000,
444    0x0000000000000000, 0x0000000000000000,
445    0x0000000000000000, 0x0000000010000000,
446    0x0000000000001000, 0x000000001fffffff,
447    0x0000000000002000, 0x000000003fffffff,
448    0x0000000000004000, 0x0000000010000000,
449    0x0000000000001000, 0x000000001fffffff,
450    0x0000000000002000, 0x000000003fffffff,
451    0x0000000000004000, 0xffe8000000000000,
452    0xfff8000000000000, 0x0000000000000000,
453    0x0000000000000000, 0x0000000010000000,
454    0x0000000000001000, 0x000000001fffffff,
455    0x0000000000002000, 0x000000003fffffff,
456    0x0000000000004000, 0x000000007ffffffd,
457    0x0000000000007fff, 0x00000000fffffffa,
458    0x000000000000fffe, 0x00000001fffffff4,
459    0x000000000001fffc, 0x00000003ffffffe8,
460    0x000000000003fff8, 0x0000000000000000,
461    0x0000000000000000, 0x0000000000000000,
462    0x0000000000000000, 0x000000007ffffffd,
463    0x0000000000007fff, 0x00000000fffffffa,
464    0x000000000000fffe, 0x00000001fffffff4,
465    0x000000000001fffc, 0x00000003ffffffe8,
466    0x000000000003fff8, 0x000000007ffffffd,
467    0x0000000000007fff, 0x00000000fffffffa,
468    0x000000000000fffe, 0x00000001fffffff4,
469    0x000000000001fffc, 0x00000003ffffffe8,
470    0x000000000003fff8, 0x0000000000000000,
471    0x0000000000000000, 0x0000000000000000,
472    0x0000000000000000, 0x0000000000000000,
473    0x0000000000000000, 0x0000000000000000,
474    0x0000000000000000, 0x0000000000000000,
475    0x0000000000000000, 0x0000000010000000,
476    0x0000000000001000, 0x000000001fffffff,
477    0x0000000000002000, 0x000000003fffffff,
478    0x000000003fffffff, 0x000000007ffffffe,
479    0x000000007ffffffd, 0x00000000fffffffc,
480    0x00000000fffffffa, 0x00000001fffffff8,
481    0x00000001fffffff4, 0x0000000000000000,
482    0x0000000000000000, 0x0000000000000000,
483    0x0000000000000000, 0x0000000000000000,
484    0x0000000000000000, 0x0000000000000000,
485    0x0000000000000000, 0x0000000010000000,
486    0x0000000010000000, 0x0000000020000000,
487    0x000000001fffffff, 0x000000003fffffff,
488    0x000000003fffffff, 0x0000000010000000,
489    0x0000000010000000, 0x0000000020000000,
490    0x000000001fffffff, 0x000000003fffffff,
491    0x000000003fffffff, 0xfff0000000000000,
492    0xffe8000000000000, 0x0000000000000000,
493    0x0000000000000000, 0x0000000010000000,
494    0x0000000010000000, 0x0000000020000000,
495    0x000000001fffffff, 0x000000003fffffff,
496    0x000000003fffffff, 0x000000007ffffffe,
497    0x000000007ffffffd, 0x00000000fffffffc,
498    0x00000000fffffffa, 0x00000001fffffff8,
499    0x00000001fffffff4, 0x00000003fffffff0,
500    0x00000003ffffffe8, 0x0000000000000000,
501    0x0000000000000000, 0x0000000000000000,
502    0x0000000000000000, 0x000000007ffffffe,
503    0x000000007ffffffd, 0x00000000fffffffc,
504    0x00000000fffffffa, 0x00000001fffffff8,
505    0x00000001fffffff4, 0x00000003fffffff0,
506    0x00000003ffffffe8, 0x000000007ffffffe,
507    0x000000007ffffffd, 0x00000000fffffffc,
508    0x00000000fffffffa, 0x00000001fffffff8,
509    0x00000001fffffff4, 0x00000003fffffff0,
510    0x00000003ffffffe8, 0x0000000000000000,
511    0x0000000000000000, 0x0000000000000000,
512    0x0000000000000000, 0x0000000000000000,
513    0x0000000000000000, 0x0000000000000000,
514    0x0000000000000000, 0x0000000000000000,
515    0x0000000000000000, 0x0000000010000000,
516    0x0000000010000000, 0x0000000020000000,
517    0x000000001fffffff, 0x000000003fffffff,
518    0x000000003fffffff, 0x000000007fffffff,
519    0x000000007ffffffe, 0x00000000fffffffe,
520    0x00000000fffffffc, 0x00000001fffffffc,
521    0x00000001fffffff8, 0x0000000000000000,
522    0x0000000000000000, 0x0000000000000000,
523    0x0000000000000000, 0x0000000000000000,
524    0x0000000000000000, 0x0000000000000000,
525    0x0000000000000000, 0x0000000010000000,
526    0x0000000010000000, 0x0000000020000000,
527    0x0000000020000000, 0x0000000040000000,
528    0x000000003fffffff, 0x0000000010000000,
529    0x0000000010000000, 0x0000000020000000,
530    0x0000000020000000, 0x0000000040000000,
531    0x000000003fffffff, 0xfff8000000000000,
532    0xfff0000000000000, 0x0000000000000000,
533    0x0000000000000000, 0x0000000010000000,
534    0x0000000010000000, 0x0000000020000000,
535    0x0000000020000000, 0x0000000040000000,
536    0x000000003fffffff, 0x000000007fffffff,
537    0x000000007ffffffe, 0x00000000fffffffe,
538    0x00000000fffffffc, 0x00000001fffffffc,
539    0x00000001fffffff8, 0x00000003fffffff8,
540    0x00000003fffffff0, 0x0000000000000000,
541    0x0000000000000000, 0x0000000000000000,
542    0x0000000000000000, 0x000000007fffffff,
543    0x000000007ffffffe, 0x00000000fffffffe,
544    0x00000000fffffffc, 0x00000001fffffffc,
545    0x00000001fffffff8, 0x00000003fffffff8,
546    0x00000003fffffff0, 0x000000007fffffff,
547    0x000000007ffffffe, 0x00000000fffffffe,
548    0x00000000fffffffc, 0x00000001fffffffc,
549    0x00000001fffffff8, 0x00000003fffffff8,
550    0x00000003fffffff0, 0x0000000000000000,
551    0x0000000000000000, 0x0000000000000000,
552    0x0000000000000000, 0x0000000000000000,
553    0x0000000000000000, 0x0000000000000000,
554    0x0000000000000000, 0x0000000000000000,
555    0x0000000000000000, 0x0000000010000000,
556    0x0000000010000000, 0x0000000020000000,
557    0x0000000020000000, 0x0000000040000000,
558    0x0000000040000000, 0x3333333333333333,
559    0x000000007fffffff, 0x6666666666666666,
560    0x00000000fffffffe, 0xcccccccccccccccc,
561    0x00000001fffffffc, 0x0000000000000000,
562    0x0000000000000000, 0x0000000000000000,
563    0x0000000000000000, 0x0000000000000000,
564    0x0000000000000000, 0x0000000000000000,
565    0x0000000000000000, 0x0666666666666666,
566    0x0000000010000000, 0x0ccccccccccccccd,
567    0x0000000020000000, 0x199999999999999a,
568    0x0000000040000000, 0x0666666666666666,
569    0x0000000010000000, 0x0ccccccccccccccd,
570    0x0000000020000000, 0x199999999999999a,
571    0x0000000040000000, 0x9998000000000000,
572    0xfff8000000000000, 0x0000000000000000,
573    0x0000000000000000, 0x0666666666666666,
574    0x0000000010000000, 0x0ccccccccccccccd,
575    0x0000000020000000, 0x199999999999999a,
576    0x0000000040000000, 0x3333333333333333,
577    0x000000007fffffff, 0x6666666666666666,
578    0x00000000fffffffe, 0xcccccccccccccccc,
579    0x00000001fffffffc, 0x9999999999999998,
580    0x00000003fffffff8, 0x0000000000000000,
581    0x0000000000000000, 0x0000000000000333,
582    0x0000000000000000, 0x3333333333333333,
583    0x000000007fffffff, 0x6666666666666666,
584    0x00000000fffffffe, 0xcccccccccccccccc,
585    0x00000001fffffffc, 0x9999999999999998,
586    0x00000003fffffff8, 0x3333333333333333,
587    0x000000007fffffff, 0x6666666666666666,
588    0x00000000fffffffe, 0xcccccccccccccccc,
589    0x00000001fffffffc, 0x9999999999999998,
590    0x00000003fffffff8, 0x0000000000000000,
591    0x0000000000000000, 0x0000000000000000,
592    0x0000000000000000, 0x0000000000000000,
593    0x0000000000000000, 0x0000000000000000,
594    0x0000000000000000, 0x0000000000000000,
595    0x0000000000000000, 0x0666666666666666,
596    0x0000000010000000, 0x0ccccccccccccccd,
597    0x0000000020000000, 0x199999999999999a,
598    0x199999999999999a, 0x5555555555555555,
599    0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
600    0x6666666666666666, 0x5555555555555554,
601    0xcccccccccccccccc, 0x0000000000000000,
602    0x0000000000000000, 0x0000000000000000,
603    0x0000000000000000, 0x0000000000000000,
604    0x0000000000000000, 0x0000000000000000,
605    0x0000000000000000, 0x0aaaaaaaaaaaaaab,
606    0x0666666666666666, 0x1555555555555555,
607    0x0ccccccccccccccd, 0x2aaaaaaaaaaaaaab,
608    0x199999999999999a, 0x0aaaaaaaaaaaaaab,
609    0x0666666666666666, 0x1555555555555555,
610    0x0ccccccccccccccd, 0x2aaaaaaaaaaaaaab,
611    0x199999999999999a, 0xaaa8000000000000,
612    0x9998000000000000, 0x0000000000000000,
613    0x0000000000000000, 0x0aaaaaaaaaaaaaab,
614    0x0666666666666666, 0x1555555555555555,
615    0x0ccccccccccccccd, 0x2aaaaaaaaaaaaaab,
616    0x199999999999999a, 0x5555555555555555,
617    0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
618    0x6666666666666666, 0x5555555555555554,
619    0xcccccccccccccccc, 0xaaaaaaaaaaaaaaa8,
620    0x9999999999999998, 0x0000000000000000,
621    0x0000000000000000, 0x0000000000000555,
622    0x0000000000000333, 0x5555555555555555,
623    0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
624    0x6666666666666666, 0x5555555555555554,
625    0xcccccccccccccccc, 0xaaaaaaaaaaaaaaa8,
626    0x9999999999999998, 0x5555555555555555,
627    0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
628    0x6666666666666666, 0x5555555555555554,
629    0xcccccccccccccccc, 0xaaaaaaaaaaaaaaa8,
630    0x9999999999999998, 0x0000000000000000,
631    0x0000000000000000, 0x0000000000000000,
632    0x0000000000000000, 0x0000000000000000,
633    0x0000000000000000, 0x0000000000000000,
634    0x0000000000000000, 0x0000000000000000,
635    0x0000000000000000, 0x0aaaaaaaaaaaaaab,
636    0x0666666666666666, 0x1555555555555555,
637    0x0ccccccccccccccd, 0x2aaaaaaaaaaaaaab,
638    0x2aaaaaaaaaaaaaab, 0x7ffffffffffffffd,
639    0x5555555555555555, 0xfffffffffffffffa,
640    0xaaaaaaaaaaaaaaaa, 0xfffffffffffffff4,
641    0x5555555555555554, 0x0000000000000000,
642    0x0000000000000000, 0x0000000000000000,
643    0x0000000000000000, 0x0000000000000000,
644    0x0000000000000000, 0x0000000000000000,
645    0x0000000000000000, 0x1000000000000000,
646    0x0aaaaaaaaaaaaaab, 0x1fffffffffffffff,
647    0x1555555555555555, 0x3fffffffffffffff,
648    0x2aaaaaaaaaaaaaab, 0x1000000000000000,
649    0x0aaaaaaaaaaaaaab, 0x1fffffffffffffff,
650    0x1555555555555555, 0x3fffffffffffffff,
651    0x2aaaaaaaaaaaaaab, 0xffe8000000000000,
652    0xaaa8000000000000, 0x0000000000000000,
653    0x0000000000000000, 0x1000000000000000,
654    0x0aaaaaaaaaaaaaab, 0x1fffffffffffffff,
655    0x1555555555555555, 0x3fffffffffffffff,
656    0x2aaaaaaaaaaaaaab, 0x7ffffffffffffffd,
657    0x5555555555555555, 0xfffffffffffffffa,
658    0xaaaaaaaaaaaaaaaa, 0xfffffffffffffff4,
659    0x5555555555555554, 0xffffffffffffffe8,
660    0xaaaaaaaaaaaaaaa8, 0x0000000000000000,
661    0x0000000000000000, 0x0000000000000800,
662    0x0000000000000555, 0x7ffffffffffffffd,
663    0x5555555555555555, 0xfffffffffffffffa,
664    0xaaaaaaaaaaaaaaaa, 0xfffffffffffffff4,
665    0x5555555555555554, 0xffffffffffffffe8,
666    0xaaaaaaaaaaaaaaa8, 0x7ffffffffffffffd,
667    0x5555555555555555, 0xfffffffffffffffa,
668    0xaaaaaaaaaaaaaaaa, 0xfffffffffffffff4,
669    0x5555555555555554, 0xffffffffffffffe8,
670    0xaaaaaaaaaaaaaaa8, 0x0000000000000000,
671    0x0000000000000000, 0x0000000000000000,
672    0x0000000000000000, 0x0000000000000000,
673    0x0000000000000000, 0x0000000000000000,
674    0x0000000000000000, 0x0000000000000000,
675    0x0000000000000000, 0x1000000000000000,
676    0x0aaaaaaaaaaaaaab, 0x1fffffffffffffff,
677    0x1555555555555555, 0x3fffffffffffffff,
678    0x3fffffffffffffff, 0x7ffffffffffffffe,
679    0x7ffffffffffffffd, 0xfffffffffffffffc,
680    0xfffffffffffffffa, 0xfffffffffffffff8,
681    0xfffffffffffffff4, 0x0000000000000000,
682    0x0000000000000000, 0x0000000000000000,
683    0x0000000000000000, 0x0000000000000000,
684    0x0000000000000000, 0x0000000000000000,
685    0x0000000000000000, 0x1000000000000000,
686    0x1000000000000000, 0x2000000000000000,
687    0x1fffffffffffffff, 0x3fffffffffffffff,
688    0x3fffffffffffffff, 0x1000000000000000,
689    0x1000000000000000, 0x2000000000000000,
690    0x1fffffffffffffff, 0x3fffffffffffffff,
691    0x3fffffffffffffff, 0xfff0000000000000,
692    0xffe8000000000000, 0x0000000000000000,
693    0x0000000000000000, 0x1000000000000000,
694    0x1000000000000000, 0x2000000000000000,
695    0x1fffffffffffffff, 0x3fffffffffffffff,
696    0x3fffffffffffffff, 0x7ffffffffffffffe,
697    0x7ffffffffffffffd, 0xfffffffffffffffc,
698    0xfffffffffffffffa, 0xfffffffffffffff8,
699    0xfffffffffffffff4, 0xfffffffffffffff0,
700    0xffffffffffffffe8, 0x0000000000000000,
701    0x0000000000000000, 0x0000000000000800,
702    0x0000000000000800, 0x7ffffffffffffffe,
703    0x7ffffffffffffffd, 0xfffffffffffffffc,
704    0xfffffffffffffffa, 0xfffffffffffffff8,
705    0xfffffffffffffff4, 0xfffffffffffffff0,
706    0xffffffffffffffe8, 0x7ffffffffffffffe,
707    0x7ffffffffffffffd, 0xfffffffffffffffc,
708    0xfffffffffffffffa, 0xfffffffffffffff8,
709    0xfffffffffffffff4, 0xfffffffffffffff0,
710    0xffffffffffffffe8, 0x0000000000000000,
711    0x0000000000000000, 0x0000000000000000,
712    0x0000000000000000, 0x0000000000000000,
713    0x0000000000000000, 0x0000000000000000,
714    0x0000000000000000, 0x0000000000000000,
715    0x0000000000000000, 0x1000000000000000,
716    0x1000000000000000, 0x2000000000000000,
717    0x1fffffffffffffff, 0x3fffffffffffffff,
718    0x3fffffffffffffff, 0x7fffffffffffffff,
719    0x7ffffffffffffffe, 0xfffffffffffffffe,
720    0xfffffffffffffffc, 0xfffffffffffffffc,
721    0xfffffffffffffff8, 0x0000000000000000,
722    0x0000000000000000, 0x0000000000000000,
723    0x0000000000000000, 0x0000000000000000,
724    0x0000000000000000, 0x0000000000000000,
725    0x0000000000000000, 0x1000000000000000,
726    0x1000000000000000, 0x2000000000000000,
727    0x2000000000000000, 0x4000000000000000,
728    0x3fffffffffffffff, 0x1000000000000000,
729    0x1000000000000000, 0x2000000000000000,
730    0x2000000000000000, 0x4000000000000000,
731    0x3fffffffffffffff, 0xfff8000000000000,
732    0xfff0000000000000, 0x0000000000000000,
733    0x0000000000000000, 0x1000000000000000,
734    0x1000000000000000, 0x2000000000000000,
735    0x2000000000000000, 0x4000000000000000,
736    0x3fffffffffffffff, 0x7fffffffffffffff,
737    0x7ffffffffffffffe, 0xfffffffffffffffe,
738    0xfffffffffffffffc, 0xfffffffffffffffc,
739    0xfffffffffffffff8, 0xfffffffffffffff8,
740    0xfffffffffffffff0, 0x0000000000000000,
741    0x0000000000000000, 0x0000000000000800,
742    0x0000000000000800, 0x7fffffffffffffff,
743    0x7ffffffffffffffe, 0xfffffffffffffffe,
744    0xfffffffffffffffc, 0xfffffffffffffffc,
745    0xfffffffffffffff8, 0xfffffffffffffff8,
746    0xfffffffffffffff0, 0x7fffffffffffffff,
747    0x7ffffffffffffffe, 0xfffffffffffffffe,
748    0xfffffffffffffffc, 0xfffffffffffffffc,
749    0xfffffffffffffff8, 0xfffffffffffffff8,
750    0xfffffffffffffff0, 0x0000000000000000,
751    0x0000000000000000, 0x0000000000000000,
752    0x0000000000000000, 0x0000000000000000,
753    0x0000000000000000, 0x0000000000000000,
754    0x0000000000000000, 0x0000000000000000,
755    0x0000000000000000, 0x1000000000000000,
756    0x1000000000000000, 0x2000000000000000,
757    0x2000000000000000, 0x4000000000000000,
758    0x4000000000000000, 0x8000000000000000,
759    0x7fffffffffffffff, 0x0000000000000000,
760    0xfffffffffffffffe, 0x0000000000000000,
761    0xfffffffffffffffc, 0x0000000000000000,
762    0x0000000000000000, 0x0000000000000000,
763    0x0000000000000000, 0x0000000000000000,
764    0x0000000000000000, 0x0000000000000000,
765    0x0000000000000000, 0xf000000000000000,
766    0x1000000000000000, 0xe000000000000000,
767    0x2000000000000000, 0xc000000000000000,
768    0x4000000000000000, 0xf000000000000000,
769    0x1000000000000000, 0xe000000000000000,
770    0x2000000000000000, 0xc000000000000000,
771    0x4000000000000000, 0x0000000000000000,
772    0xfff8000000000000, 0x0000000000000000,
773    0x0000000000000000, 0xf000000000000000,
774    0x1000000000000000, 0xe000000000000000,
775    0x2000000000000000, 0xc000000000000000,
776    0x4000000000000000, 0x8000000000000000,
777    0x7fffffffffffffff, 0x0000000000000000,
778    0xfffffffffffffffe, 0x0000000000000000,
779    0xfffffffffffffffc, 0x0000000000000000,
780    0xfffffffffffffff8, 0x0000000000000000,
781    0x0000000000000000, 0xfffffffffffff800,
782    0x0000000000000800, 0x8000000000000000,
783    0x7fffffffffffffff, 0x0000000000000000,
784    0xfffffffffffffffe, 0x0000000000000000,
785    0xfffffffffffffffc, 0x0000000000000000,
786    0xfffffffffffffff8, 0x8000000000000000,
787    0x7fffffffffffffff, 0x0000000000000000,
788    0xfffffffffffffffe, 0x0000000000000000,
789    0xfffffffffffffffc, 0x0000000000000000,
790    0xfffffffffffffff8, 0x0000000000000000,
791    0x0000000000000000, 0x0000000000000000,
792    0x0000000000000000, 0x0000000000000000,
793    0x0000000000000000, 0x0000000000000000,
794    0x0000000000000000, 0x0000000000000000,
795    0x0000000000000000, 0xf000000000000000,
796    0x1000000000000000, 0xe000000000000000,
797    0x2000000000000000, 0xc000000000000000,
798    0xc000000000000000, 0x8000000000000001,
799    0x8000000000000000, 0x0000000000000002,
800    0x0000000000000000, 0x0000000000000004,
801    0x0000000000000000, 0x0000000000000000,
802    0x0000000000000000, 0x0000000000000000,
803    0x0000000000000000, 0x0000000000000000,
804    0x0000000000000000, 0x0000000000000000,
805    0x0000000000000000, 0xf000000000000000,
806    0xf000000000000000, 0xe000000000000000,
807    0xe000000000000000, 0xc000000000000001,
808    0xc000000000000000, 0xf000000000000000,
809    0xf000000000000000, 0xe000000000000000,
810    0xe000000000000000, 0xc000000000000001,
811    0xc000000000000000, 0x0008000000000000,
812    0x0000000000000000, 0x0000000000000000,
813    0x0000000000000000, 0xf000000000000000,
814    0xf000000000000000, 0xe000000000000000,
815    0xe000000000000000, 0xc000000000000001,
816    0xc000000000000000, 0x8000000000000001,
817    0x8000000000000000, 0x0000000000000002,
818    0x0000000000000000, 0x0000000000000004,
819    0x0000000000000000, 0x0000000000000008,
820    0x0000000000000000, 0x0000000000000000,
821    0x0000000000000000, 0xfffffffffffff800,
822    0xfffffffffffff800, 0x8000000000000001,
823    0x8000000000000000, 0x0000000000000002,
824    0x0000000000000000, 0x0000000000000004,
825    0x0000000000000000, 0x0000000000000008,
826    0x0000000000000000, 0x8000000000000001,
827    0x8000000000000000, 0x0000000000000002,
828    0x0000000000000000, 0x0000000000000004,
829    0x0000000000000000, 0x0000000000000008,
830    0x0000000000000000, 0x0000000000000000,
831    0x0000000000000000, 0x0000000000000000,
832    0x0000000000000000, 0x0000000000000000,
833    0x0000000000000000, 0x0000000000000000,
834    0x0000000000000000, 0x0000000000000000,
835    0x0000000000000000, 0xf000000000000000,
836    0xf000000000000000, 0xe000000000000000,
837    0xe000000000000000, 0xc000000000000001,
838    0xc000000000000001, 0x8000000000000002,
839    0x8000000000000001, 0x0000000000000004,
840    0x0000000000000002, 0x0000000000000008,
841    0x0000000000000004, 0x0000000000000000,
842    0x0000000000000000, 0x0000000000000000,
843    0x0000000000000000, 0x0000000000000000,
844    0x0000000000000000, 0x0000000000000000,
845    0x0000000000000000, 0xf000000000000000,
846    0xf000000000000000, 0xe000000000000001,
847    0xe000000000000000, 0xc000000000000001,
848    0xc000000000000001, 0xf000000000000000,
849    0xf000000000000000, 0xe000000000000001,
850    0xe000000000000000, 0xc000000000000001,
851    0xc000000000000001, 0x0010000000000000,
852    0x0008000000000000, 0x0000000000000000,
853    0x0000000000000000, 0xf000000000000000,
854    0xf000000000000000, 0xe000000000000001,
855    0xe000000000000000, 0xc000000000000001,
856    0xc000000000000001, 0x8000000000000002,
857    0x8000000000000001, 0x0000000000000004,
858    0x0000000000000002, 0x0000000000000008,
859    0x0000000000000004, 0x0000000000000010,
860    0x0000000000000008, 0x0000000000000000,
861    0x0000000000000000, 0xfffffffffffff800,
862    0xfffffffffffff800, 0x8000000000000002,
863    0x8000000000000001, 0x0000000000000004,
864    0x0000000000000002, 0x0000000000000008,
865    0x0000000000000004, 0x0000000000000010,
866    0x0000000000000008, 0x8000000000000002,
867    0x8000000000000001, 0x0000000000000004,
868    0x0000000000000002, 0x0000000000000008,
869    0x0000000000000004, 0x0000000000000010,
870    0x0000000000000008, 0x0000000000000000,
871    0x0000000000000000, 0x0000000000000000,
872    0x0000000000000000, 0x0000000000000000,
873    0x0000000000000000, 0x0000000000000000,
874    0x0000000000000000, 0x0000000000000000,
875    0x0000000000000000, 0xf000000000000000,
876    0xf000000000000000, 0xe000000000000001,
877    0xe000000000000000, 0xc000000000000001,
878    0xc000000000000001, 0x8000000000000003,
879    0x8000000000000002, 0x0000000000000006,
880    0x0000000000000004, 0x000000000000000c,
881    0x0000000000000008, 0x0000000000000000,
882    0x0000000000000000, 0x0000000000000000,
883    0x0000000000000000, 0x0000000000000000,
884    0x0000000000000000, 0x0000000000000000,
885    0x0000000000000000, 0xf000000000000000,
886    0xf000000000000000, 0xe000000000000001,
887    0xe000000000000001, 0xc000000000000002,
888    0xc000000000000001, 0xf000000000000000,
889    0xf000000000000000, 0xe000000000000001,
890    0xe000000000000001, 0xc000000000000002,
891    0xc000000000000001, 0x0018000000000000,
892    0x0010000000000000, 0x0000000000000000,
893    0x0000000000000000, 0xf000000000000000,
894    0xf000000000000000, 0xe000000000000001,
895    0xe000000000000001, 0xc000000000000002,
896    0xc000000000000001, 0x8000000000000003,
897    0x8000000000000002, 0x0000000000000006,
898    0x0000000000000004, 0x000000000000000c,
899    0x0000000000000008, 0x0000000000000018,
900    0x0000000000000010, 0x0000000000000000,
901    0x0000000000000000, 0xfffffffffffff800,
902    0xfffffffffffff800, 0x8000000000000003,
903    0x8000000000000002, 0x0000000000000006,
904    0x0000000000000004, 0x000000000000000c,
905    0x0000000000000008, 0x0000000000000018,
906    0x0000000000000010, 0x8000000000000003,
907    0x8000000000000002, 0x0000000000000006,
908    0x0000000000000004, 0x000000000000000c,
909    0x0000000000000008, 0x0000000000000018,
910    0x0000000000000010, 0x0000000000000000,
911    0x0000000000000000, 0x0000000000000000,
912    0x0000000000000000, 0x0000000000000000,
913    0x0000000000000000, 0x0000000000000000,
914    0x0000000000000000, 0x0000000000000000,
915    0x0000000000000000, 0xf000000000000000,
916    0xf000000000000000, 0xe000000000000001,
917    0xe000000000000001, 0xc000000000000002,
918    0xc000000000000002, 0xaaaaaaaaaaaaaaaa,
919    0x8000000000000003, 0x5555555555555554,
920    0x0000000000000006, 0xaaaaaaaaaaaaaaa8,
921    0x000000000000000c, 0x0000000000000000,
922    0x0000000000000000, 0x0000000000000000,
923    0x0000000000000000, 0x0000000000000000,
924    0x0000000000000000, 0x0000000000000000,
925    0x0000000000000000, 0xf555555555555555,
926    0xf000000000000000, 0xeaaaaaaaaaaaaaab,
927    0xe000000000000001, 0xd555555555555555,
928    0xc000000000000002, 0xf555555555555555,
929    0xf000000000000000, 0xeaaaaaaaaaaaaaab,
930    0xe000000000000001, 0xd555555555555555,
931    0xc000000000000002, 0x5550000000000000,
932    0x0018000000000000, 0x0000000000000000,
933    0x0000000000000000, 0xf555555555555555,
934    0xf000000000000000, 0xeaaaaaaaaaaaaaab,
935    0xe000000000000001, 0xd555555555555555,
936    0xc000000000000002, 0xaaaaaaaaaaaaaaaa,
937    0x8000000000000003, 0x5555555555555554,
938    0x0000000000000006, 0xaaaaaaaaaaaaaaa8,
939    0x000000000000000c, 0x5555555555555550,
940    0x0000000000000018, 0x0000000000000000,
941    0x0000000000000000, 0xfffffffffffffaab,
942    0xfffffffffffff800, 0xaaaaaaaaaaaaaaaa,
943    0x8000000000000003, 0x5555555555555554,
944    0x0000000000000006, 0xaaaaaaaaaaaaaaa8,
945    0x000000000000000c, 0x5555555555555550,
946    0x0000000000000018, 0xaaaaaaaaaaaaaaaa,
947    0x8000000000000003, 0x5555555555555554,
948    0x0000000000000006, 0xaaaaaaaaaaaaaaa8,
949    0x000000000000000c, 0x5555555555555550,
950    0x0000000000000018, 0x0000000000000000,
951    0x0000000000000000, 0x0000000000000000,
952    0x0000000000000000, 0x0000000000000000,
953    0x0000000000000000, 0x0000000000000000,
954    0x0000000000000000, 0x0000000000000000,
955    0x0000000000000000, 0xf555555555555555,
956    0xf000000000000000, 0xeaaaaaaaaaaaaaab,
957    0xe000000000000001, 0xd555555555555555,
958    0xd555555555555555, 0xcccccccccccccccc,
959    0xaaaaaaaaaaaaaaaa, 0x9999999999999998,
960    0x5555555555555554, 0x3333333333333330,
961    0xaaaaaaaaaaaaaaa8, 0x0000000000000000,
962    0x0000000000000000, 0x0000000000000000,
963    0x0000000000000000, 0x0000000000000000,
964    0x0000000000000000, 0x0000000000000000,
965    0x0000000000000000, 0xf99999999999999a,
966    0xf555555555555555, 0xf333333333333333,
967    0xeaaaaaaaaaaaaaab, 0xe666666666666666,
968    0xd555555555555555, 0xf99999999999999a,
969    0xf555555555555555, 0xf333333333333333,
970    0xeaaaaaaaaaaaaaab, 0xe666666666666666,
971    0xd555555555555555, 0x6660000000000000,
972    0x5550000000000000, 0x0000000000000000,
973    0x0000000000000000, 0xf99999999999999a,
974    0xf555555555555555, 0xf333333333333333,
975    0xeaaaaaaaaaaaaaab, 0xe666666666666666,
976    0xd555555555555555, 0xcccccccccccccccc,
977    0xaaaaaaaaaaaaaaaa, 0x9999999999999998,
978    0x5555555555555554, 0x3333333333333330,
979    0xaaaaaaaaaaaaaaa8, 0x6666666666666660,
980    0x5555555555555550, 0x0000000000000000,
981    0x0000000000000000, 0xfffffffffffffccd,
982    0xfffffffffffffaab, 0xcccccccccccccccc,
983    0xaaaaaaaaaaaaaaaa, 0x9999999999999998,
984    0x5555555555555554, 0x3333333333333330,
985    0xaaaaaaaaaaaaaaa8, 0x6666666666666660,
986    0x5555555555555550, 0xcccccccccccccccc,
987    0xaaaaaaaaaaaaaaaa, 0x9999999999999998,
988    0x5555555555555554, 0x3333333333333330,
989    0xaaaaaaaaaaaaaaa8, 0x6666666666666660,
990    0x5555555555555550, 0x0000000000000000,
991    0x0000000000000000, 0x0000000000000000,
992    0x0000000000000000, 0x0000000000000000,
993    0x0000000000000000, 0x0000000000000000,
994    0x0000000000000000, 0x0000000000000000,
995    0x0000000000000000, 0xf99999999999999a,
996    0xf555555555555555, 0xf333333333333333,
997    0xeaaaaaaaaaaaaaab, 0xe666666666666666,
998    0xe666666666666666, 0xffffffff80000000,
999    0xcccccccccccccccc, 0xffffffff00000000,
1000    0x9999999999999998, 0xfffffffe00000000,
1001    0x3333333333333330, 0x0000000000000000,
1002    0x0000000000000000, 0x0000000000000000,
1003    0x0000000000000000, 0x0000000000000000,
1004    0x0000000000000000, 0x0000000000000000,
1005    0x0000000000000000, 0xfffffffff0000000,
1006    0xf99999999999999a, 0xffffffffe0000000,
1007    0xf333333333333333, 0xffffffffc0000000,
1008    0xe666666666666666, 0xfffffffff0000000,
1009    0xf99999999999999a, 0xffffffffe0000000,
1010    0xf333333333333333, 0xffffffffc0000000,
1011    0xe666666666666666, 0x0000000000000000,
1012    0x6660000000000000, 0x0000000000000000,
1013    0x0000000000000000, 0xfffffffff0000000,
1014    0xf99999999999999a, 0xffffffffe0000000,
1015    0xf333333333333333, 0xffffffffc0000000,
1016    0xe666666666666666, 0xffffffff80000000,
1017    0xcccccccccccccccc, 0xffffffff00000000,
1018    0x9999999999999998, 0xfffffffe00000000,
1019    0x3333333333333330, 0xfffffffc00000000,
1020    0x6666666666666660, 0x0000000000000000,
1021    0x0000000000000000, 0x0000000000000000,
1022    0xfffffffffffffccd, 0xffffffff80000000,
1023    0xcccccccccccccccc, 0xffffffff00000000,
1024    0x9999999999999998, 0xfffffffe00000000,
1025    0x3333333333333330, 0xfffffffc00000000,
1026    0x6666666666666660, 0xffffffff80000000,
1027    0xcccccccccccccccc, 0xffffffff00000000,
1028    0x9999999999999998, 0xfffffffe00000000,
1029    0x3333333333333330, 0xfffffffc00000000,
1030    0x6666666666666660, 0x0000000000000000,
1031    0x0000000000000000, 0x0000000000000000,
1032    0x0000000000000000, 0x0000000000000000,
1033    0x0000000000000000, 0x0000000000000000,
1034    0x0000000000000000, 0x0000000000000000,
1035    0x0000000000000000, 0xfffffffff0000000,
1036    0xf99999999999999a, 0xffffffffe0000000,
1037    0xf333333333333333, 0xffffffffc0000000,
1038    0xffffffffc0000000, 0xffffffff80000001,
1039    0xffffffff80000000, 0xffffffff00000002,
1040    0xffffffff00000000, 0xfffffffe00000004,
1041    0xfffffffe00000000, 0x0000000000000000,
1042    0x0000000000000000, 0x0000000000000000,
1043    0x0000000000000000, 0x0000000000000000,
1044    0x0000000000000000, 0x0000000000000000,
1045    0x0000000000000000, 0xfffffffff0000000,
1046    0xfffffffff0000000, 0xffffffffe0000000,
1047    0xffffffffe0000000, 0xffffffffc0000001,
1048    0xffffffffc0000000, 0xfffffffff0000000,
1049    0xfffffffff0000000, 0xffffffffe0000000,
1050    0xffffffffe0000000, 0xffffffffc0000001,
1051    0xffffffffc0000000, 0x0008000000000000,
1052    0x0000000000000000, 0x0000000000000000,
1053    0x0000000000000000, 0xfffffffff0000000,
1054    0xfffffffff0000000, 0xffffffffe0000000,
1055    0xffffffffe0000000, 0xffffffffc0000001,
1056    0xffffffffc0000000, 0xffffffff80000001,
1057    0xffffffff80000000, 0xffffffff00000002,
1058    0xffffffff00000000, 0xfffffffe00000004,
1059    0xfffffffe00000000, 0xfffffffc00000008,
1060    0xfffffffc00000000, 0x0000000000000000,
1061    0x0000000000000000, 0x0000000000000000,
1062    0x0000000000000000, 0xffffffff80000001,
1063    0xffffffff80000000, 0xffffffff00000002,
1064    0xffffffff00000000, 0xfffffffe00000004,
1065    0xfffffffe00000000, 0xfffffffc00000008,
1066    0xfffffffc00000000, 0xffffffff80000001,
1067    0xffffffff80000000, 0xffffffff00000002,
1068    0xffffffff00000000, 0xfffffffe00000004,
1069    0xfffffffe00000000, 0xfffffffc00000008,
1070    0xfffffffc00000000, 0x0000000000000000,
1071    0x0000000000000000, 0x0000000000000000,
1072    0x0000000000000000, 0x0000000000000000,
1073    0x0000000000000000, 0x0000000000000000,
1074    0x0000000000000000, 0x0000000000000000,
1075    0x0000000000000000, 0xfffffffff0000000,
1076    0xfffffffff0000000, 0xffffffffe0000000,
1077    0xffffffffe0000000, 0xffffffffc0000001,
1078    0xffffffffc0000001, 0xffffffff80000002,
1079    0xffffffff80000001, 0xffffffff00000004,
1080    0xffffffff00000002, 0xfffffffe00000008,
1081    0xfffffffe00000004, 0x0000000000000000,
1082    0x0000000000000000, 0x0000000000000000,
1083    0x0000000000000000, 0x0000000000000000,
1084    0x0000000000000000, 0x0000000000000000,
1085    0x0000000000000000, 0xfffffffff0000000,
1086    0xfffffffff0000000, 0xffffffffe0000001,
1087    0xffffffffe0000000, 0xffffffffc0000001,
1088    0xffffffffc0000001, 0xfffffffff0000000,
1089    0xfffffffff0000000, 0xffffffffe0000001,
1090    0xffffffffe0000000, 0xffffffffc0000001,
1091    0xffffffffc0000001, 0x0010000000000000,
1092    0x0008000000000000, 0x0000000000000000,
1093    0x0000000000000000, 0xfffffffff0000000,
1094    0xfffffffff0000000, 0xffffffffe0000001,
1095    0xffffffffe0000000, 0xffffffffc0000001,
1096    0xffffffffc0000001, 0xffffffff80000002,
1097    0xffffffff80000001, 0xffffffff00000004,
1098    0xffffffff00000002, 0xfffffffe00000008,
1099    0xfffffffe00000004, 0xfffffffc00000010,
1100    0xfffffffc00000008, 0x0000000000000000,
1101    0x0000000000000000, 0x0000000000000000,
1102    0x0000000000000000, 0xffffffff80000002,
1103    0xffffffff80000001, 0xffffffff00000004,
1104    0xffffffff00000002, 0xfffffffe00000008,
1105    0xfffffffe00000004, 0xfffffffc00000010,
1106    0xfffffffc00000008, 0xffffffff80000002,
1107    0xffffffff80000001, 0xffffffff00000004,
1108    0xffffffff00000002, 0xfffffffe00000008,
1109    0xfffffffe00000004, 0xfffffffc00000010,
1110    0xfffffffc00000008, 0x0000000000000000,
1111    0x0000000000000000, 0x0000000000000000,
1112    0x0000000000000000, 0x0000000000000000,
1113    0x0000000000000000, 0x0000000000000000,
1114    0x0000000000000000, 0x0000000000000000,
1115    0x0000000000000000, 0xfffffffff0000000,
1116    0xfffffffff0000000, 0xffffffffe0000001,
1117    0xffffffffe0000000, 0xffffffffc0000001,
1118    0xffffffffc0000001, 0xffffffff80000003,
1119    0xffffffff80000002, 0xffffffff00000006,
1120    0xffffffff00000004, 0xfffffffe0000000c,
1121    0xfffffffe00000008, 0x0000000000000000,
1122    0x0000000000000000, 0x0000000000000000,
1123    0x0000000000000000, 0x0000000000000000,
1124    0x0000000000000000, 0x0000000000000000,
1125    0x0000000000000000, 0xfffffffff0000000,
1126    0xfffffffff0000000, 0xffffffffe0000001,
1127    0xffffffffe0000001, 0xffffffffc0000002,
1128    0xffffffffc0000001, 0xfffffffff0000000,
1129    0xfffffffff0000000, 0xffffffffe0000001,
1130    0xffffffffe0000001, 0xffffffffc0000002,
1131    0xffffffffc0000001, 0x0018000000000000,
1132    0x0010000000000000, 0x0000000000000000,
1133    0x0000000000000000, 0xfffffffff0000000,
1134    0xfffffffff0000000, 0xffffffffe0000001,
1135    0xffffffffe0000001, 0xffffffffc0000002,
1136    0xffffffffc0000001, 0xffffffff80000003,
1137    0xffffffff80000002, 0xffffffff00000006,
1138    0xffffffff00000004, 0xfffffffe0000000c,
1139    0xfffffffe00000008, 0xfffffffc00000018,
1140    0xfffffffc00000010, 0x0000000000000000,
1141    0x0000000000000000, 0x0000000000000000,
1142    0x0000000000000000, 0xffffffff80000003,
1143    0xffffffff80000002, 0xffffffff00000006,
1144    0xffffffff00000004, 0xfffffffe0000000c,
1145    0xfffffffe00000008, 0xfffffffc00000018,
1146    0xfffffffc00000010, 0xffffffff80000003,
1147    0xffffffff80000002, 0xffffffff00000006,
1148    0xffffffff00000004, 0xfffffffe0000000c,
1149    0xfffffffe00000008, 0xfffffffc00000018,
1150    0xfffffffc00000010, 0x0000000000000000,
1151    0x0000000000000000, 0x0000000000000000,
1152    0x0000000000000000, 0x0000000000000000,
1153    0x0000000000000000, 0x0000000000000000,
1154    0x0000000000000000, 0x0000000000000000,
1155    0x0000000000000000, 0xfffffffff0000000,
1156    0xfffffffff0000000, 0xffffffffe0000001,
1157    0xffffffffe0000001, 0xffffffffc0000002,
1158    0xffffffffc0000002, 0xffffffffffff8000,
1159    0xffffffff80000003, 0xffffffffffff0000,
1160    0xffffffff00000006, 0xfffffffffffe0000,
1161    0xfffffffe0000000c, 0x0000000000000000,
1162    0x0000000000000000, 0x0000000000000000,
1163    0x0000000000000000, 0x0000000000000000,
1164    0x0000000000000000, 0x0000000000000000,
1165    0x0000000000000000, 0xfffffffffffff000,
1166    0xfffffffff0000000, 0xffffffffffffe000,
1167    0xffffffffe0000001, 0xffffffffffffc000,
1168    0xffffffffc0000002, 0xfffffffffffff000,
1169    0xfffffffff0000000, 0xffffffffffffe000,
1170    0xffffffffe0000001, 0xffffffffffffc000,
1171    0xffffffffc0000002, 0x0000000000000000,
1172    0x0018000000000000, 0x0000000000000000,
1173    0x0000000000000000, 0xfffffffffffff000,
1174    0xfffffffff0000000, 0xffffffffffffe000,
1175    0xffffffffe0000001, 0xffffffffffffc000,
1176    0xffffffffc0000002, 0xffffffffffff8000,
1177    0xffffffff80000003, 0xffffffffffff0000,
1178    0xffffffff00000006, 0xfffffffffffe0000,
1179    0xfffffffe0000000c, 0xfffffffffffc0000,
1180    0xfffffffc00000018, 0x0000000000000000,
1181    0x0000000000000000, 0x0000000000000000,
1182    0x0000000000000000, 0xffffffffffff8000,
1183    0xffffffff80000003, 0xffffffffffff0000,
1184    0xffffffff00000006, 0xfffffffffffe0000,
1185    0xfffffffe0000000c, 0xfffffffffffc0000,
1186    0xfffffffc00000018, 0xffffffffffff8000,
1187    0xffffffff80000003, 0xffffffffffff0000,
1188    0xffffffff00000006, 0xfffffffffffe0000,
1189    0xfffffffe0000000c, 0xfffffffffffc0000,
1190    0xfffffffc00000018, 0x0000000000000000,
1191    0x0000000000000000, 0x0000000000000000,
1192    0x0000000000000000, 0x0000000000000000,
1193    0x0000000000000000, 0x0000000000000000,
1194    0x0000000000000000, 0x0000000000000000,
1195    0x0000000000000000, 0xfffffffffffff000,
1196    0xfffffffff0000000, 0xffffffffffffe000,
1197    0xffffffffe0000001, 0xffffffffffffc000,
1198    0xffffffffffffc000, 0xffffffffffff8001,
1199    0xffffffffffff8000, 0xffffffffffff0002,
1200    0xffffffffffff0000, 0xfffffffffffe0004,
1201    0xfffffffffffe0000, 0x0000000000000000,
1202    0x0000000000000000, 0x0000000000000000,
1203    0x0000000000000000, 0x0000000000000000,
1204    0x0000000000000000, 0x0000000000000000,
1205    0x0000000000000000, 0xfffffffffffff000,
1206    0xfffffffffffff000, 0xffffffffffffe000,
1207    0xffffffffffffe000, 0xffffffffffffc001,
1208    0xffffffffffffc000, 0xfffffffffffff000,
1209    0xfffffffffffff000, 0xffffffffffffe000,
1210    0xffffffffffffe000, 0xffffffffffffc001,
1211    0xffffffffffffc000, 0x0008000000000000,
1212    0x0000000000000000, 0x0000000000000000,
1213    0x0000000000000000, 0xfffffffffffff000,
1214    0xfffffffffffff000, 0xffffffffffffe000,
1215    0xffffffffffffe000, 0xffffffffffffc001,
1216    0xffffffffffffc000, 0xffffffffffff8001,
1217    0xffffffffffff8000, 0xffffffffffff0002,
1218    0xffffffffffff0000, 0xfffffffffffe0004,
1219    0xfffffffffffe0000, 0xfffffffffffc0008,
1220    0xfffffffffffc0000, 0x0000000000000000,
1221    0x0000000000000000, 0x0000000000000000,
1222    0x0000000000000000, 0xffffffffffff8001,
1223    0xffffffffffff8000, 0xffffffffffff0002,
1224    0xffffffffffff0000, 0xfffffffffffe0004,
1225    0xfffffffffffe0000, 0xfffffffffffc0008,
1226    0xfffffffffffc0000, 0xffffffffffff8001,
1227    0xffffffffffff8000, 0xffffffffffff0002,
1228    0xffffffffffff0000, 0xfffffffffffe0004,
1229    0xfffffffffffe0000, 0xfffffffffffc0008,
1230    0xfffffffffffc0000, 0x0000000000000000,
1231    0x0000000000000000, 0x0000000000000000,
1232    0x0000000000000000, 0x0000000000000000,
1233    0x0000000000000000, 0x0000000000000000,
1234    0x0000000000000000, 0x0000000000000000,
1235    0x0000000000000000, 0xfffffffffffff000,
1236    0xfffffffffffff000, 0xffffffffffffe000,
1237    0xffffffffffffe000, 0xffffffffffffc001,
1238    0xffffffffffffc001, 0xffffffffffff8002,
1239    0xffffffffffff8001, 0xffffffffffff0004,
1240    0xffffffffffff0002, 0xfffffffffffe0008,
1241    0xfffffffffffe0004, 0x0000000000000000,
1242    0x0000000000000000, 0x0000000000000000,
1243    0x0000000000000000, 0x0000000000000000,
1244    0x0000000000000000, 0x0000000000000000,
1245    0x0000000000000000, 0xfffffffffffff000,
1246    0xfffffffffffff000, 0xffffffffffffe001,
1247    0xffffffffffffe000, 0xffffffffffffc001,
1248    0xffffffffffffc001, 0xfffffffffffff000,
1249    0xfffffffffffff000, 0xffffffffffffe001,
1250    0xffffffffffffe000, 0xffffffffffffc001,
1251    0xffffffffffffc001, 0x0010000000000000,
1252    0x0008000000000000, 0x0000000000000000,
1253    0x0000000000000000, 0xfffffffffffff000,
1254    0xfffffffffffff000, 0xffffffffffffe001,
1255    0xffffffffffffe000, 0xffffffffffffc001,
1256    0xffffffffffffc001, 0xffffffffffff8002,
1257    0xffffffffffff8001, 0xffffffffffff0004,
1258    0xffffffffffff0002, 0xfffffffffffe0008,
1259    0xfffffffffffe0004, 0xfffffffffffc0010,
1260    0xfffffffffffc0008, 0x0000000000000000,
1261    0x0000000000000000, 0x0000000000000000,
1262    0x0000000000000000, 0xffffffffffff8002,
1263    0xffffffffffff8001, 0xffffffffffff0004,
1264    0xffffffffffff0002, 0xfffffffffffe0008,
1265    0xfffffffffffe0004, 0xfffffffffffc0010,
1266    0xfffffffffffc0008, 0xffffffffffff8002,
1267    0xffffffffffff8001, 0xffffffffffff0004,
1268    0xffffffffffff0002, 0xfffffffffffe0008,
1269    0xfffffffffffe0004, 0xfffffffffffc0010,
1270    0xfffffffffffc0008, 0x0000000000000000,
1271    0x0000000000000000, 0x0000000000000000,
1272    0x0000000000000000, 0x0000000000000000,
1273    0x0000000000000000, 0x0000000000000000,
1274    0x0000000000000000, 0x0000000000000000,
1275    0x0000000000000000, 0xfffffffffffff000,
1276    0xfffffffffffff000, 0xffffffffffffe001,
1277    0xffffffffffffe000, 0xffffffffffffc001,
1278    0xffffffffffffc001, 0xffffffffffff8003,
1279    0xffffffffffff8002, 0xffffffffffff0006,
1280    0xffffffffffff0004, 0xfffffffffffe000c,
1281    0xfffffffffffe0008, 0x0000000000000000,
1282    0x0000000000000000, 0x0000000000000000,
1283    0x0000000000000000, 0x0000000000000000,
1284    0x0000000000000000, 0x0000000000000000,
1285    0x0000000000000000, 0xfffffffffffff000,
1286    0xfffffffffffff000, 0xffffffffffffe001,
1287    0xffffffffffffe001, 0xffffffffffffc002,
1288    0xffffffffffffc001, 0xfffffffffffff000,
1289    0xfffffffffffff000, 0xffffffffffffe001,
1290    0xffffffffffffe001, 0xffffffffffffc002,
1291    0xffffffffffffc001, 0x0018000000000000,
1292    0x0010000000000000, 0x0000000000000000,
1293    0x0000000000000000, 0xfffffffffffff000,
1294    0xfffffffffffff000, 0xffffffffffffe001,
1295    0xffffffffffffe001, 0xffffffffffffc002,
1296    0xffffffffffffc001, 0xffffffffffff8003,
1297    0xffffffffffff8002, 0xffffffffffff0006,
1298    0xffffffffffff0004, 0xfffffffffffe000c,
1299    0xfffffffffffe0008, 0xfffffffffffc0018,
1300    0xfffffffffffc0010, 0x0000000000000000,
1301    0x0000000000000000, 0x0000000000000000,
1302    0x0000000000000000, 0xffffffffffff8003,
1303    0xffffffffffff8002, 0xffffffffffff0006,
1304    0xffffffffffff0004, 0xfffffffffffe000c,
1305    0xfffffffffffe0008, 0xfffffffffffc0018,
1306    0xfffffffffffc0010, 0xffffffffffff8003,
1307    0xffffffffffff8002, 0xffffffffffff0006,
1308    0xffffffffffff0004, 0xfffffffffffe000c,
1309    0xfffffffffffe0008, 0xfffffffffffc0018,
1310    0xfffffffffffc0010, 0x0000000000000000,
1311    0x0000000000000000, 0x0000000000000000,
1312    0x0000000000000000, 0x0000000000000000,
1313    0x0000000000000000, 0x0000000000000000,
1314    0x0000000000000000, 0x0000000000000000,
1315    0x0000000000000000, 0xfffffffffffff000,
1316    0xfffffffffffff000, 0xffffffffffffe001,
1317    0xffffffffffffe001, 0xffffffffffffc002,
1318    0xffffffffffffc002, 0xffffffffffffff80,
1319    0xffffffffffff8003, 0xffffffffffffff00,
1320    0xffffffffffff0006, 0xfffffffffffffe00,
1321    0xfffffffffffe000c, 0x0000000000000000,
1322    0x0000000000000000, 0x0000000000000000,
1323    0x0000000000000000, 0x0000000000000000,
1324    0x0000000000000000, 0x0000000000000000,
1325    0x0000000000000000, 0xfffffffffffffff0,
1326    0xfffffffffffff000, 0xffffffffffffffe0,
1327    0xffffffffffffe001, 0xffffffffffffffc0,
1328    0xffffffffffffc002, 0xfffffffffffffff0,
1329    0xfffffffffffff000, 0xffffffffffffffe0,
1330    0xffffffffffffe001, 0xffffffffffffffc0,
1331    0xffffffffffffc002, 0xfc00000000000000,
1332    0x0018000000000000, 0x0000000000000000,
1333    0x0000000000000000, 0xfffffffffffffff0,
1334    0xfffffffffffff000, 0xffffffffffffffe0,
1335    0xffffffffffffe001, 0xffffffffffffffc0,
1336    0xffffffffffffc002, 0xffffffffffffff80,
1337    0xffffffffffff8003, 0xffffffffffffff00,
1338    0xffffffffffff0006, 0xfffffffffffffe00,
1339    0xfffffffffffe000c, 0xfffffffffffffc00,
1340    0xfffffffffffc0018, 0x0000000000000000,
1341    0x0000000000000000, 0x0000000000000000,
1342    0x0000000000000000, 0xffffffffffffff80,
1343    0xffffffffffff8003, 0xffffffffffffff00,
1344    0xffffffffffff0006, 0xfffffffffffffe00,
1345    0xfffffffffffe000c, 0xfffffffffffffc00,
1346    0xfffffffffffc0018, 0xffffffffffffff80,
1347    0xffffffffffff8003, 0xffffffffffffff00,
1348    0xffffffffffff0006, 0xfffffffffffffe00,
1349    0xfffffffffffe000c, 0xfffffffffffffc00,
1350    0xfffffffffffc0018, 0x0000000000000000,
1351    0x0000000000000000, 0x0000000000000000,
1352    0x0000000000000000, 0x0000000000000000,
1353    0x0000000000000000, 0x0000000000000000,
1354    0x0000000000000000, 0x0000000000000000,
1355    0x0000000000000000, 0xfffffffffffffff0,
1356    0xfffffffffffff000, 0xffffffffffffffe0,
1357    0xffffffffffffe001, 0xffffffffffffffc0,
1358    0xffffffffffffffc0, 0xffffffffffffff81,
1359    0xffffffffffffff80, 0xffffffffffffff02,
1360    0xffffffffffffff00, 0xfffffffffffffe04,
1361    0xfffffffffffffe00, 0x0000000000000000,
1362    0x0000000000000000, 0x0000000000000000,
1363    0x0000000000000000, 0x0000000000000000,
1364    0x0000000000000000, 0x0000000000000000,
1365    0x0000000000000000, 0xfffffffffffffff0,
1366    0xfffffffffffffff0, 0xffffffffffffffe0,
1367    0xffffffffffffffe0, 0xffffffffffffffc1,
1368    0xffffffffffffffc0, 0xfffffffffffffff0,
1369    0xfffffffffffffff0, 0xffffffffffffffe0,
1370    0xffffffffffffffe0, 0xffffffffffffffc1,
1371    0xffffffffffffffc0, 0xfc08000000000000,
1372    0xfc00000000000000, 0x0000000000000000,
1373    0x0000000000000000, 0xfffffffffffffff0,
1374    0xfffffffffffffff0, 0xffffffffffffffe0,
1375    0xffffffffffffffe0, 0xffffffffffffffc1,
1376    0xffffffffffffffc0, 0xffffffffffffff81,
1377    0xffffffffffffff80, 0xffffffffffffff02,
1378    0xffffffffffffff00, 0xfffffffffffffe04,
1379    0xfffffffffffffe00, 0xfffffffffffffc08,
1380    0xfffffffffffffc00, 0x0000000000000000,
1381    0x0000000000000000, 0x0000000000000000,
1382    0x0000000000000000, 0xffffffffffffff81,
1383    0xffffffffffffff80, 0xffffffffffffff02,
1384    0xffffffffffffff00, 0xfffffffffffffe04,
1385    0xfffffffffffffe00, 0xfffffffffffffc08,
1386    0xfffffffffffffc00, 0xffffffffffffff81,
1387    0xffffffffffffff80, 0xffffffffffffff02,
1388    0xffffffffffffff00, 0xfffffffffffffe04,
1389    0xfffffffffffffe00, 0xfffffffffffffc08,
1390    0xfffffffffffffc00, 0x0000000000000000,
1391    0x0000000000000000, 0x0000000000000000,
1392    0x0000000000000000, 0x0000000000000000,
1393    0x0000000000000000, 0x0000000000000000,
1394    0x0000000000000000, 0x0000000000000000,
1395    0x0000000000000000, 0xfffffffffffffff0,
1396    0xfffffffffffffff0, 0xffffffffffffffe0,
1397    0xffffffffffffffe0, 0xffffffffffffffc1,
1398    0xffffffffffffffc1, 0xffffffffffffff82,
1399    0xffffffffffffff81, 0xffffffffffffff04,
1400    0xffffffffffffff02, 0xfffffffffffffe08,
1401    0xfffffffffffffe04, 0x0000000000000000,
1402    0x0000000000000000, 0x0000000000000000,
1403    0x0000000000000000, 0x0000000000000000,
1404    0x0000000000000000, 0x0000000000000000,
1405    0x0000000000000000, 0xfffffffffffffff0,
1406    0xfffffffffffffff0, 0xffffffffffffffe1,
1407    0xffffffffffffffe0, 0xffffffffffffffc1,
1408    0xffffffffffffffc1, 0xfffffffffffffff0,
1409    0xfffffffffffffff0, 0xffffffffffffffe1,
1410    0xffffffffffffffe0, 0xffffffffffffffc1,
1411    0xffffffffffffffc1, 0xfc10000000000000,
1412    0xfc08000000000000, 0x0000000000000000,
1413    0x0000000000000000, 0xfffffffffffffff0,
1414    0xfffffffffffffff0, 0xffffffffffffffe1,
1415    0xffffffffffffffe0, 0xffffffffffffffc1,
1416    0xffffffffffffffc1, 0xffffffffffffff82,
1417    0xffffffffffffff81, 0xffffffffffffff04,
1418    0xffffffffffffff02, 0xfffffffffffffe08,
1419    0xfffffffffffffe04, 0xfffffffffffffc10,
1420    0xfffffffffffffc08, 0x0000000000000000,
1421    0x0000000000000000, 0x0000000000000000,
1422    0x0000000000000000, 0xffffffffffffff82,
1423    0xffffffffffffff81, 0xffffffffffffff04,
1424    0xffffffffffffff02, 0xfffffffffffffe08,
1425    0xfffffffffffffe04, 0xfffffffffffffc10,
1426    0xfffffffffffffc08, 0xffffffffffffff82,
1427    0xffffffffffffff81, 0xffffffffffffff04,
1428    0xffffffffffffff02, 0xfffffffffffffe08,
1429    0xfffffffffffffe04, 0xfffffffffffffc10,
1430    0xfffffffffffffc08, 0x0000000000000000,
1431    0x0000000000000000, 0x0000000000000000,
1432    0x0000000000000000, 0x0000000000000000,
1433    0x0000000000000000, 0x0000000000000000,
1434    0x0000000000000000, 0x0000000000000000,
1435    0x0000000000000000, 0xfffffffffffffff0,
1436    0xfffffffffffffff0, 0xffffffffffffffe1,
1437    0xffffffffffffffe0, 0xffffffffffffffc1,
1438    0xffffffffffffffc1, 0xffffffffffffff83,
1439    0xffffffffffffff82, 0xffffffffffffff06,
1440    0xffffffffffffff04, 0xfffffffffffffe0c,
1441    0xfffffffffffffe08, 0x0000000000000000,
1442    0x0000000000000000, 0x0000000000000000,
1443    0x0000000000000000, 0x0000000000000000,
1444    0x0000000000000000, 0x0000000000000000,
1445    0x0000000000000000, 0xfffffffffffffff0,
1446    0xfffffffffffffff0, 0xffffffffffffffe1,
1447    0xffffffffffffffe1, 0xffffffffffffffc2,
1448    0xffffffffffffffc1, 0xfffffffffffffff0,
1449    0xfffffffffffffff0, 0xffffffffffffffe1,
1450    0xffffffffffffffe1, 0xffffffffffffffc2,
1451    0xffffffffffffffc1, 0xfc18000000000000,
1452    0xfc10000000000000, 0x0000000000000000,
1453    0x0000000000000000, 0xfffffffffffffff0,
1454    0xfffffffffffffff0, 0xffffffffffffffe1,
1455    0xffffffffffffffe1, 0xffffffffffffffc2,
1456    0xffffffffffffffc1, 0xffffffffffffff83,
1457    0xffffffffffffff82, 0xffffffffffffff06,
1458    0xffffffffffffff04, 0xfffffffffffffe0c,
1459    0xfffffffffffffe08, 0xfffffffffffffc18,
1460    0xfffffffffffffc10, 0x0000000000000000,
1461    0x0000000000000000, 0x0000000000000000,
1462    0x0000000000000000, 0xffffffffffffff83,
1463    0xffffffffffffff82, 0xffffffffffffff06,
1464    0xffffffffffffff04, 0xfffffffffffffe0c,
1465    0xfffffffffffffe08, 0xfffffffffffffc18,
1466    0xfffffffffffffc10, 0xffffffffffffff83,
1467    0xffffffffffffff82, 0xffffffffffffff06,
1468    0xffffffffffffff04, 0xfffffffffffffe0c,
1469    0xfffffffffffffe08, 0xfffffffffffffc18,
1470    0xfffffffffffffc10, 0x0000000000000000,
1471    0x0000000000000000, 0x0000000000000000,
1472    0x0000000000000000, 0x0000000000000000,
1473    0x0000000000000000, 0x0000000000000000,
1474    0x0000000000000000, 0x0000000000000000,
1475    0x0000000000000000, 0xfffffffffffffff0,
1476    0xfffffffffffffff0, 0xffffffffffffffe1,
1477    0xffffffffffffffe1, 0xffffffffffffffc2,
1478    0xffffffffffffffc2, 0xffffffffffffffc0,
1479    0xffffffffffffff83, 0xffffffffffffff80,
1480    0xffffffffffffff06, 0xffffffffffffff00,
1481    0xfffffffffffffe0c, 0x0000000000000000,
1482    0x0000000000000000, 0x0000000000000000,
1483    0x0000000000000000, 0x0000000000000000,
1484    0x0000000000000000, 0x0000000000000000,
1485    0x0000000000000000, 0xfffffffffffffff8,
1486    0xfffffffffffffff0, 0xfffffffffffffff0,
1487    0xffffffffffffffe1, 0xffffffffffffffe0,
1488    0xffffffffffffffc2, 0xfffffffffffffff8,
1489    0xfffffffffffffff0, 0xfffffffffffffff0,
1490    0xffffffffffffffe1, 0xffffffffffffffe0,
1491    0xffffffffffffffc2, 0xfe00000000000000,
1492    0xfc18000000000000, 0x0000000000000000,
1493    0x0000000000000000, 0xfffffffffffffff8,
1494    0xfffffffffffffff0, 0xfffffffffffffff0,
1495    0xffffffffffffffe1, 0xffffffffffffffe0,
1496    0xffffffffffffffc2, 0xffffffffffffffc0,
1497    0xffffffffffffff83, 0xffffffffffffff80,
1498    0xffffffffffffff06, 0xffffffffffffff00,
1499    0xfffffffffffffe0c, 0xfffffffffffffe00,
1500    0xfffffffffffffc18, 0x0000000000000000,
1501    0x0000000000000000, 0x0000000000000000,
1502    0x0000000000000000, 0xffffffffffffffc0,
1503    0xffffffffffffff83, 0xffffffffffffff80,
1504    0xffffffffffffff06, 0xffffffffffffff00,
1505    0xfffffffffffffe0c, 0xfffffffffffffe00,
1506    0xfffffffffffffc18, 0xffffffffffffffc0,
1507    0xffffffffffffff83, 0xffffffffffffff80,
1508    0xffffffffffffff06, 0xffffffffffffff00,
1509    0xfffffffffffffe0c, 0xfffffffffffffe00,
1510    0xfffffffffffffc18, 0x0000000000000000,
1511    0x0000000000000000, 0x0000000000000000,
1512    0x0000000000000000, 0x0000000000000000,
1513    0x0000000000000000, 0x0000000000000000,
1514    0x0000000000000000, 0x0000000000000000,
1515    0x0000000000000000, 0xfffffffffffffff8,
1516    0xfffffffffffffff0, 0xfffffffffffffff0,
1517    0xffffffffffffffe1, 0xffffffffffffffe0,
1518    0xffffffffffffffe0, 0xfffffffffffffffd,
1519    0xffffffffffffffc0, 0xfffffffffffffffa,
1520    0xffffffffffffff80, 0xfffffffffffffff4,
1521    0xffffffffffffff00, 0x0000000000000000,
1522    0x0000000000000000, 0x0000000000000000,
1523    0x0000000000000000, 0x0000000000000000,
1524    0x0000000000000000, 0x0000000000000000,
1525    0x0000000000000000, 0x0000000000000000,
1526    0xfffffffffffffff8, 0xffffffffffffffff,
1527    0xfffffffffffffff0, 0xffffffffffffffff,
1528    0xffffffffffffffe0, 0x0000000000000000,
1529    0xfffffffffffffff8, 0xffffffffffffffff,
1530    0xfffffffffffffff0, 0xffffffffffffffff,
1531    0xffffffffffffffe0, 0xffe8000000000000,
1532    0xfe00000000000000, 0x0000000000000000,
1533    0x0000000000000000, 0x0000000000000000,
1534    0xfffffffffffffff8, 0xffffffffffffffff,
1535    0xfffffffffffffff0, 0xffffffffffffffff,
1536    0xffffffffffffffe0, 0xfffffffffffffffd,
1537    0xffffffffffffffc0, 0xfffffffffffffffa,
1538    0xffffffffffffff80, 0xfffffffffffffff4,
1539    0xffffffffffffff00, 0xffffffffffffffe8,
1540    0xfffffffffffffe00, 0x0000000000000000,
1541    0x0000000000000000, 0x0000000000000000,
1542    0x0000000000000000, 0xfffffffffffffffd,
1543    0xffffffffffffffc0, 0xfffffffffffffffa,
1544    0xffffffffffffff80, 0xfffffffffffffff4,
1545    0xffffffffffffff00, 0xffffffffffffffe8,
1546    0xfffffffffffffe00, 0xfffffffffffffffd,
1547    0xffffffffffffffc0, 0xfffffffffffffffa,
1548    0xffffffffffffff80, 0xfffffffffffffff4,
1549    0xffffffffffffff00, 0xffffffffffffffe8,
1550    0xfffffffffffffe00, 0x0000000000000000,
1551    0x0000000000000000, 0x0000000000000000,
1552    0x0000000000000000, 0x0000000000000000,
1553    0x0000000000000000, 0x0000000000000000,
1554    0x0000000000000000, 0x0000000000000000,
1555    0x0000000000000000, 0x0000000000000000,
1556    0xfffffffffffffff8, 0xffffffffffffffff,
1557    0xfffffffffffffff0, 0xffffffffffffffff,
1558    0xffffffffffffffff, 0xfffffffffffffffe,
1559    0xfffffffffffffffd, 0xfffffffffffffffc,
1560    0xfffffffffffffffa, 0xfffffffffffffff8,
1561    0xfffffffffffffff4, 0x0000000000000000,
1562    0x0000000000000000, 0x0000000000000000,
1563    0x0000000000000000, 0x0000000000000000,
1564    0x0000000000000000, 0x0000000000000000,
1565    0x0000000000000000, 0x0000000000000000,
1566    0x0000000000000000, 0x0000000000000000,
1567    0xffffffffffffffff, 0xffffffffffffffff,
1568    0xffffffffffffffff, 0x0000000000000000,
1569    0x0000000000000000, 0x0000000000000000,
1570    0xffffffffffffffff, 0xffffffffffffffff,
1571    0xffffffffffffffff, 0xfff0000000000000,
1572    0xffe8000000000000, 0x0000000000000000,
1573    0x0000000000000000, 0x0000000000000000,
1574    0x0000000000000000, 0x0000000000000000,
1575    0xffffffffffffffff, 0xffffffffffffffff,
1576    0xffffffffffffffff, 0xfffffffffffffffe,
1577    0xfffffffffffffffd, 0xfffffffffffffffc,
1578    0xfffffffffffffffa, 0xfffffffffffffff8,
1579    0xfffffffffffffff4, 0xfffffffffffffff0,
1580    0xffffffffffffffe8, 0x0000000000000000,
1581    0x0000000000000000, 0x0000000000000000,
1582    0x0000000000000000, 0xfffffffffffffffe,
1583    0xfffffffffffffffd, 0xfffffffffffffffc,
1584    0xfffffffffffffffa, 0xfffffffffffffff8,
1585    0xfffffffffffffff4, 0xfffffffffffffff0,
1586    0xffffffffffffffe8, 0xfffffffffffffffe,
1587    0xfffffffffffffffd, 0xfffffffffffffffc,
1588    0xfffffffffffffffa, 0xfffffffffffffff8,
1589    0xfffffffffffffff4, 0xfffffffffffffff0,
1590    0xffffffffffffffe8, 0x0000000000000000,
1591    0x0000000000000000, 0x0000000000000000,
1592    0x0000000000000000, 0x0000000000000000,
1593    0x0000000000000000, 0x0000000000000000,
1594    0x0000000000000000, 0x0000000000000000,
1595    0x0000000000000000, 0x0000000000000000,
1596    0x0000000000000000, 0x0000000000000000,
1597    0xffffffffffffffff, 0xffffffffffffffff,
1598    0xffffffffffffffff, 0xffffffffffffffff,
1599    0xfffffffffffffffe, 0xfffffffffffffffe,
1600    0xfffffffffffffffc, 0xfffffffffffffffc,
1601    0xfffffffffffffff8, 0x0000000000000000,
1602    0x0000000000000000, 0x0000000000000000,
1603    0x0000000000000000, 0x0000000000000000,
1604    0x0000000000000000, 0x0000000000000000,
1605    0x0000000000000000, 0x0000000000000000,
1606    0x0000000000000000, 0x0000000000000000,
1607    0x0000000000000000, 0x0000000000000000,
1608    0xffffffffffffffff, 0x0000000000000000,
1609    0x0000000000000000, 0x0000000000000000,
1610    0x0000000000000000, 0x0000000000000000,
1611    0xffffffffffffffff, 0xfff8000000000000,
1612    0xfff0000000000000, 0x0000000000000000,
1613    0x0000000000000000, 0x0000000000000000,
1614    0x0000000000000000, 0x0000000000000000,
1615    0x0000000000000000, 0x0000000000000000,
1616    0xffffffffffffffff, 0xffffffffffffffff,
1617    0xfffffffffffffffe, 0xfffffffffffffffe,
1618    0xfffffffffffffffc, 0xfffffffffffffffc,
1619    0xfffffffffffffff8, 0xfffffffffffffff8,
1620    0xfffffffffffffff0, 0x0000000000000000,
1621    0x0000000000000000, 0x0000000000000000,
1622    0x0000000000000000, 0xffffffffffffffff,
1623    0xfffffffffffffffe, 0xfffffffffffffffe,
1624    0xfffffffffffffffc, 0xfffffffffffffffc,
1625    0xfffffffffffffff8, 0xfffffffffffffff8,
1626    0xfffffffffffffff0, 0xffffffffffffffff,
1627    0xfffffffffffffffe, 0xfffffffffffffffe,
1628    0xfffffffffffffffc, 0xfffffffffffffffc,
1629    0xfffffffffffffff8, 0xfffffffffffffff8,
1630    0xfffffffffffffff0, 0x0000000000000000,
1631    0x0000000000000000, 0x0000000000000000,
1632    0x0000000000000000, 0x0000000000000000,
1633    0x0000000000000000, 0x0000000000000000,
1634    0x0000000000000000, 0x0000000000000000,
1635    0x0000000000000000, 0x0000000000000000,
1636    0x0000000000000000, 0x0000000000000000,
1637    0x0000000000000000, 0x0000000000000000,
1638  };
1639  const unsigned kExpectedCount_NEON_srshl_2D = 1600;
1640  
1641  #endif  // VIXL_SIM_SRSHL_2D_TRACE_A64_H_
1642