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