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_UQSHL_2D_TRACE_AARCH64_H_
35#define VIXL_SIM_UQSHL_2D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_uqshl_2D[] = {
38  0xffffffffffffffff, 0x0000000000000000,
39  0x000000000000007d, 0x0000000000000000,
40  0x00000000000000fa, 0x0000000000000000,
41  0x00000000000001f4, 0x0000000000000000,
42  0xffffffffffffffff, 0x0000000000000000,
43  0xffffffffffffffff, 0x0000000000000000,
44  0xffffffffffffffff, 0x0000000000000000,
45  0xffffffffffffffff, 0x0000000000000000,
46  0x000000000000000f, 0x0000000000000000,
47  0x000000000000001f, 0x0000000000000000,
48  0x000000000000003e, 0x0000000000000000,
49  0x000000000000000f, 0x0000000000000000,
50  0x000000000000001f, 0x0000000000000000,
51  0x000000000000003e, 0x0000000000000000,
52  0x03e8000000000000, 0x0000000000000000,
53  0xffffffffffffffff, 0x0000000000000000,
54  0x000000000000000f, 0x0000000000000000,
55  0x000000000000001f, 0x0000000000000000,
56  0x000000000000003e, 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  0x000000000000000f, 0x0000000000000000,
77  0x000000000000001f, 0x0000000000000000,
78  0x0000000000000000, 0x0000000000000001,
79  0x0000000000000000, 0x0000000000000002,
80  0x0000000000000000, 0x0000000000000004,
81  0x0000000000000000, 0xffffffffffffffff,
82  0x0000000000000000, 0xffffffffffffffff,
83  0x0000000000000000, 0xffffffffffffffff,
84  0x0000000000000000, 0xffffffffffffffff,
85  0x0000000000000000, 0x0000000000000000,
86  0x0000000000000000, 0x0000000000000000,
87  0x0000000000000000, 0x0000000000000000,
88  0x0000000000000000, 0x0000000000000000,
89  0x0000000000000000, 0x0000000000000000,
90  0x0000000000000000, 0x0000000000000000,
91  0x0000000000000000, 0x0008000000000000,
92  0x0000000000000000, 0xffffffffffffffff,
93  0x0000000000000000, 0x0000000000000000,
94  0x0000000000000000, 0x0000000000000000,
95  0x0000000000000000, 0x0000000000000000,
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, 0x0000000000000000,
118  0x0000000000000000, 0x0000000000000002,
119  0x0000000000000001, 0x0000000000000004,
120  0x0000000000000002, 0x0000000000000008,
121  0x0000000000000004, 0xffffffffffffffff,
122  0xffffffffffffffff, 0xffffffffffffffff,
123  0xffffffffffffffff, 0xffffffffffffffff,
124  0xffffffffffffffff, 0xffffffffffffffff,
125  0xffffffffffffffff, 0x0000000000000000,
126  0x0000000000000000, 0x0000000000000000,
127  0x0000000000000000, 0x0000000000000001,
128  0x0000000000000000, 0x0000000000000000,
129  0x0000000000000000, 0x0000000000000000,
130  0x0000000000000000, 0x0000000000000001,
131  0x0000000000000000, 0x0010000000000000,
132  0x0008000000000000, 0xffffffffffffffff,
133  0xffffffffffffffff, 0x0000000000000000,
134  0x0000000000000000, 0x0000000000000000,
135  0x0000000000000000, 0x0000000000000001,
136  0x0000000000000000, 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, 0x0000000000000000,
157  0x0000000000000000, 0x0000000000000001,
158  0x0000000000000001, 0x0000000000000040,
159  0x0000000000000002, 0x0000000000000080,
160  0x0000000000000004, 0x0000000000000100,
161  0x0000000000000008, 0xffffffffffffffff,
162  0xffffffffffffffff, 0xffffffffffffffff,
163  0xffffffffffffffff, 0xffffffffffffffff,
164  0xffffffffffffffff, 0xffffffffffffffff,
165  0xffffffffffffffff, 0x0000000000000008,
166  0x0000000000000000, 0x0000000000000010,
167  0x0000000000000000, 0x0000000000000020,
168  0x0000000000000001, 0x0000000000000008,
169  0x0000000000000000, 0x0000000000000010,
170  0x0000000000000000, 0x0000000000000020,
171  0x0000000000000001, 0x0200000000000000,
172  0x0010000000000000, 0xffffffffffffffff,
173  0xffffffffffffffff, 0x0000000000000008,
174  0x0000000000000000, 0x0000000000000010,
175  0x0000000000000000, 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  0x0000000000000000, 0x0000000000000020,
198  0x0000000000000020, 0x000000000000007d,
199  0x0000000000000040, 0x00000000000000fa,
200  0x0000000000000080, 0x00000000000001f4,
201  0x0000000000000100, 0xffffffffffffffff,
202  0xffffffffffffffff, 0xffffffffffffffff,
203  0xffffffffffffffff, 0xffffffffffffffff,
204  0xffffffffffffffff, 0xffffffffffffffff,
205  0xffffffffffffffff, 0x000000000000000f,
206  0x0000000000000008, 0x000000000000001f,
207  0x0000000000000010, 0x000000000000003e,
208  0x0000000000000020, 0x000000000000000f,
209  0x0000000000000008, 0x000000000000001f,
210  0x0000000000000010, 0x000000000000003e,
211  0x0000000000000020, 0x03e8000000000000,
212  0x0200000000000000, 0xffffffffffffffff,
213  0xffffffffffffffff, 0x000000000000000f,
214  0x0000000000000008, 0x000000000000001f,
215  0x0000000000000010, 0x000000000000003e,
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, 0x000000000000000f,
236  0x0000000000000008, 0x000000000000001f,
237  0x0000000000000010, 0x000000000000003e,
238  0x000000000000003e, 0x000000000000007e,
239  0x000000000000007d, 0x00000000000000fc,
240  0x00000000000000fa, 0x00000000000001f8,
241  0x00000000000001f4, 0xffffffffffffffff,
242  0xffffffffffffffff, 0xffffffffffffffff,
243  0xffffffffffffffff, 0xffffffffffffffff,
244  0xffffffffffffffff, 0xffffffffffffffff,
245  0xffffffffffffffff, 0x000000000000000f,
246  0x000000000000000f, 0x000000000000001f,
247  0x000000000000001f, 0x000000000000003f,
248  0x000000000000003e, 0x000000000000000f,
249  0x000000000000000f, 0x000000000000001f,
250  0x000000000000001f, 0x000000000000003f,
251  0x000000000000003e, 0x03f0000000000000,
252  0x03e8000000000000, 0xffffffffffffffff,
253  0xffffffffffffffff, 0x000000000000000f,
254  0x000000000000000f, 0x000000000000001f,
255  0x000000000000001f, 0x000000000000003f,
256  0x000000000000003e, 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, 0x000000000000000f,
276  0x000000000000000f, 0x000000000000001f,
277  0x000000000000001f, 0x000000000000003f,
278  0x000000000000003f, 0x000000000000007f,
279  0x000000000000007e, 0x00000000000000fe,
280  0x00000000000000fc, 0x00000000000001fc,
281  0x00000000000001f8, 0xffffffffffffffff,
282  0xffffffffffffffff, 0xffffffffffffffff,
283  0xffffffffffffffff, 0xffffffffffffffff,
284  0xffffffffffffffff, 0xffffffffffffffff,
285  0xffffffffffffffff, 0x000000000000000f,
286  0x000000000000000f, 0x000000000000001f,
287  0x000000000000001f, 0x000000000000003f,
288  0x000000000000003f, 0x000000000000000f,
289  0x000000000000000f, 0x000000000000001f,
290  0x000000000000001f, 0x000000000000003f,
291  0x000000000000003f, 0x03f8000000000000,
292  0x03f0000000000000, 0xffffffffffffffff,
293  0xffffffffffffffff, 0x000000000000000f,
294  0x000000000000000f, 0x000000000000001f,
295  0x000000000000001f, 0x000000000000003f,
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, 0x000000000000000f,
316  0x000000000000000f, 0x000000000000001f,
317  0x000000000000001f, 0x000000000000003f,
318  0x000000000000003f, 0x0000000000007ffd,
319  0x000000000000007f, 0x000000000000fffa,
320  0x00000000000000fe, 0x000000000001fff4,
321  0x00000000000001fc, 0xffffffffffffffff,
322  0xffffffffffffffff, 0xffffffffffffffff,
323  0xffffffffffffffff, 0xffffffffffffffff,
324  0xffffffffffffffff, 0xffffffffffffffff,
325  0xffffffffffffffff, 0x0000000000000fff,
326  0x000000000000000f, 0x0000000000001fff,
327  0x000000000000001f, 0x0000000000003ffe,
328  0x000000000000003f, 0x0000000000000fff,
329  0x000000000000000f, 0x0000000000001fff,
330  0x000000000000001f, 0x0000000000003ffe,
331  0x000000000000003f, 0xffffffffffffffff,
332  0x03f8000000000000, 0xffffffffffffffff,
333  0xffffffffffffffff, 0x0000000000000fff,
334  0x000000000000000f, 0x0000000000001fff,
335  0x000000000000001f, 0x0000000000003ffe,
336  0x000000000000003f, 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, 0x0000000000000fff,
356  0x000000000000000f, 0x0000000000001fff,
357  0x000000000000001f, 0x0000000000003ffe,
358  0x0000000000003ffe, 0x0000000000007ffe,
359  0x0000000000007ffd, 0x000000000000fffc,
360  0x000000000000fffa, 0x000000000001fff8,
361  0x000000000001fff4, 0xffffffffffffffff,
362  0xffffffffffffffff, 0xffffffffffffffff,
363  0xffffffffffffffff, 0xffffffffffffffff,
364  0xffffffffffffffff, 0xffffffffffffffff,
365  0xffffffffffffffff, 0x0000000000000fff,
366  0x0000000000000fff, 0x0000000000001fff,
367  0x0000000000001fff, 0x0000000000003fff,
368  0x0000000000003ffe, 0x0000000000000fff,
369  0x0000000000000fff, 0x0000000000001fff,
370  0x0000000000001fff, 0x0000000000003fff,
371  0x0000000000003ffe, 0xffffffffffffffff,
372  0xffffffffffffffff, 0xffffffffffffffff,
373  0xffffffffffffffff, 0x0000000000000fff,
374  0x0000000000000fff, 0x0000000000001fff,
375  0x0000000000001fff, 0x0000000000003fff,
376  0x0000000000003ffe, 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, 0x0000000000000fff,
396  0x0000000000000fff, 0x0000000000001fff,
397  0x0000000000001fff, 0x0000000000003fff,
398  0x0000000000003fff, 0x0000000000007fff,
399  0x0000000000007ffe, 0x000000000000fffe,
400  0x000000000000fffc, 0x000000000001fffc,
401  0x000000000001fff8, 0xffffffffffffffff,
402  0xffffffffffffffff, 0xffffffffffffffff,
403  0xffffffffffffffff, 0xffffffffffffffff,
404  0xffffffffffffffff, 0xffffffffffffffff,
405  0xffffffffffffffff, 0x0000000000000fff,
406  0x0000000000000fff, 0x0000000000001fff,
407  0x0000000000001fff, 0x0000000000003fff,
408  0x0000000000003fff, 0x0000000000000fff,
409  0x0000000000000fff, 0x0000000000001fff,
410  0x0000000000001fff, 0x0000000000003fff,
411  0x0000000000003fff, 0xffffffffffffffff,
412  0xffffffffffffffff, 0xffffffffffffffff,
413  0xffffffffffffffff, 0x0000000000000fff,
414  0x0000000000000fff, 0x0000000000001fff,
415  0x0000000000001fff, 0x0000000000003fff,
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, 0x0000000000000fff,
436  0x0000000000000fff, 0x0000000000001fff,
437  0x0000000000001fff, 0x0000000000003fff,
438  0x0000000000003fff, 0x000000007ffffffd,
439  0x0000000000007fff, 0x00000000fffffffa,
440  0x000000000000fffe, 0x00000001fffffff4,
441  0x000000000001fffc, 0xffffffffffffffff,
442  0xffffffffffffffff, 0xffffffffffffffff,
443  0xffffffffffffffff, 0xffffffffffffffff,
444  0xffffffffffffffff, 0xffffffffffffffff,
445  0xffffffffffffffff, 0x000000000fffffff,
446  0x0000000000000fff, 0x000000001fffffff,
447  0x0000000000001fff, 0x000000003ffffffe,
448  0x0000000000003fff, 0x000000000fffffff,
449  0x0000000000000fff, 0x000000001fffffff,
450  0x0000000000001fff, 0x000000003ffffffe,
451  0x0000000000003fff, 0xffffffffffffffff,
452  0xffffffffffffffff, 0xffffffffffffffff,
453  0xffffffffffffffff, 0x000000000fffffff,
454  0x0000000000000fff, 0x000000001fffffff,
455  0x0000000000001fff, 0x000000003ffffffe,
456  0x0000000000003fff, 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, 0x000000000fffffff,
476  0x0000000000000fff, 0x000000001fffffff,
477  0x0000000000001fff, 0x000000003ffffffe,
478  0x000000003ffffffe, 0x000000007ffffffe,
479  0x000000007ffffffd, 0x00000000fffffffc,
480  0x00000000fffffffa, 0x00000001fffffff8,
481  0x00000001fffffff4, 0xffffffffffffffff,
482  0xffffffffffffffff, 0xffffffffffffffff,
483  0xffffffffffffffff, 0xffffffffffffffff,
484  0xffffffffffffffff, 0xffffffffffffffff,
485  0xffffffffffffffff, 0x000000000fffffff,
486  0x000000000fffffff, 0x000000001fffffff,
487  0x000000001fffffff, 0x000000003fffffff,
488  0x000000003ffffffe, 0x000000000fffffff,
489  0x000000000fffffff, 0x000000001fffffff,
490  0x000000001fffffff, 0x000000003fffffff,
491  0x000000003ffffffe, 0xffffffffffffffff,
492  0xffffffffffffffff, 0xffffffffffffffff,
493  0xffffffffffffffff, 0x000000000fffffff,
494  0x000000000fffffff, 0x000000001fffffff,
495  0x000000001fffffff, 0x000000003fffffff,
496  0x000000003ffffffe, 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, 0x000000000fffffff,
516  0x000000000fffffff, 0x000000001fffffff,
517  0x000000001fffffff, 0x000000003fffffff,
518  0x000000003fffffff, 0x000000007fffffff,
519  0x000000007ffffffe, 0x00000000fffffffe,
520  0x00000000fffffffc, 0x00000001fffffffc,
521  0x00000001fffffff8, 0xffffffffffffffff,
522  0xffffffffffffffff, 0xffffffffffffffff,
523  0xffffffffffffffff, 0xffffffffffffffff,
524  0xffffffffffffffff, 0xffffffffffffffff,
525  0xffffffffffffffff, 0x000000000fffffff,
526  0x000000000fffffff, 0x000000001fffffff,
527  0x000000001fffffff, 0x000000003fffffff,
528  0x000000003fffffff, 0x000000000fffffff,
529  0x000000000fffffff, 0x000000001fffffff,
530  0x000000001fffffff, 0x000000003fffffff,
531  0x000000003fffffff, 0xffffffffffffffff,
532  0xffffffffffffffff, 0xffffffffffffffff,
533  0xffffffffffffffff, 0x000000000fffffff,
534  0x000000000fffffff, 0x000000001fffffff,
535  0x000000001fffffff, 0x000000003fffffff,
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, 0x000000000fffffff,
556  0x000000000fffffff, 0x000000001fffffff,
557  0x000000001fffffff, 0x000000003fffffff,
558  0x000000003fffffff, 0x3333333333333333,
559  0x000000007fffffff, 0x6666666666666666,
560  0x00000000fffffffe, 0xcccccccccccccccc,
561  0x00000001fffffffc, 0xffffffffffffffff,
562  0xffffffffffffffff, 0xffffffffffffffff,
563  0xffffffffffffffff, 0xffffffffffffffff,
564  0xffffffffffffffff, 0xffffffffffffffff,
565  0xffffffffffffffff, 0x0666666666666666,
566  0x000000000fffffff, 0x0ccccccccccccccc,
567  0x000000001fffffff, 0x1999999999999999,
568  0x000000003fffffff, 0x0666666666666666,
569  0x000000000fffffff, 0x0ccccccccccccccc,
570  0x000000001fffffff, 0x1999999999999999,
571  0x000000003fffffff, 0xffffffffffffffff,
572  0xffffffffffffffff, 0xffffffffffffffff,
573  0xffffffffffffffff, 0x0666666666666666,
574  0x000000000fffffff, 0x0ccccccccccccccc,
575  0x000000001fffffff, 0x1999999999999999,
576  0x000000003fffffff, 0x3333333333333333,
577  0x000000007fffffff, 0x6666666666666666,
578  0x00000000fffffffe, 0xcccccccccccccccc,
579  0x00000001fffffffc, 0xffffffffffffffff,
580  0x00000003fffffff8, 0x0000000000000000,
581  0x0000000000000000, 0x0000000000000333,
582  0x0000000000000000, 0x3333333333333333,
583  0x000000007fffffff, 0x6666666666666666,
584  0x00000000fffffffe, 0xcccccccccccccccc,
585  0x00000001fffffffc, 0xffffffffffffffff,
586  0x00000003fffffff8, 0x3333333333333333,
587  0x000000007fffffff, 0x6666666666666666,
588  0x00000000fffffffe, 0xcccccccccccccccc,
589  0x00000001fffffffc, 0xffffffffffffffff,
590  0x00000003fffffff8, 0x0000000000000000,
591  0x0000000000000000, 0x0000000000000000,
592  0x0000000000000000, 0x0000000000000000,
593  0x0000000000000000, 0x0000000000000000,
594  0x0000000000000000, 0x0000000000000000,
595  0x0000000000000000, 0x0666666666666666,
596  0x000000000fffffff, 0x0ccccccccccccccc,
597  0x000000001fffffff, 0x1999999999999999,
598  0x1999999999999999, 0x5555555555555555,
599  0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
600  0x6666666666666666, 0xffffffffffffffff,
601  0xcccccccccccccccc, 0xffffffffffffffff,
602  0xffffffffffffffff, 0xffffffffffffffff,
603  0xffffffffffffffff, 0xffffffffffffffff,
604  0xffffffffffffffff, 0xffffffffffffffff,
605  0xffffffffffffffff, 0x0aaaaaaaaaaaaaaa,
606  0x0666666666666666, 0x1555555555555555,
607  0x0ccccccccccccccc, 0x2aaaaaaaaaaaaaaa,
608  0x1999999999999999, 0x0aaaaaaaaaaaaaaa,
609  0x0666666666666666, 0x1555555555555555,
610  0x0ccccccccccccccc, 0x2aaaaaaaaaaaaaaa,
611  0x1999999999999999, 0xffffffffffffffff,
612  0xffffffffffffffff, 0xffffffffffffffff,
613  0xffffffffffffffff, 0x0aaaaaaaaaaaaaaa,
614  0x0666666666666666, 0x1555555555555555,
615  0x0ccccccccccccccc, 0x2aaaaaaaaaaaaaaa,
616  0x1999999999999999, 0x5555555555555555,
617  0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
618  0x6666666666666666, 0xffffffffffffffff,
619  0xcccccccccccccccc, 0xffffffffffffffff,
620  0xffffffffffffffff, 0x0000000000000000,
621  0x0000000000000000, 0x0000000000000555,
622  0x0000000000000333, 0x5555555555555555,
623  0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
624  0x6666666666666666, 0xffffffffffffffff,
625  0xcccccccccccccccc, 0xffffffffffffffff,
626  0xffffffffffffffff, 0x5555555555555555,
627  0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
628  0x6666666666666666, 0xffffffffffffffff,
629  0xcccccccccccccccc, 0xffffffffffffffff,
630  0xffffffffffffffff, 0x0000000000000000,
631  0x0000000000000000, 0x0000000000000000,
632  0x0000000000000000, 0x0000000000000000,
633  0x0000000000000000, 0x0000000000000000,
634  0x0000000000000000, 0x0000000000000000,
635  0x0000000000000000, 0x0aaaaaaaaaaaaaaa,
636  0x0666666666666666, 0x1555555555555555,
637  0x0ccccccccccccccc, 0x2aaaaaaaaaaaaaaa,
638  0x2aaaaaaaaaaaaaaa, 0x7ffffffffffffffd,
639  0x5555555555555555, 0xfffffffffffffffa,
640  0xaaaaaaaaaaaaaaaa, 0xffffffffffffffff,
641  0xffffffffffffffff, 0xffffffffffffffff,
642  0xffffffffffffffff, 0xffffffffffffffff,
643  0xffffffffffffffff, 0xffffffffffffffff,
644  0xffffffffffffffff, 0xffffffffffffffff,
645  0xffffffffffffffff, 0x0fffffffffffffff,
646  0x0aaaaaaaaaaaaaaa, 0x1fffffffffffffff,
647  0x1555555555555555, 0x3ffffffffffffffe,
648  0x2aaaaaaaaaaaaaaa, 0x0fffffffffffffff,
649  0x0aaaaaaaaaaaaaaa, 0x1fffffffffffffff,
650  0x1555555555555555, 0x3ffffffffffffffe,
651  0x2aaaaaaaaaaaaaaa, 0xffffffffffffffff,
652  0xffffffffffffffff, 0xffffffffffffffff,
653  0xffffffffffffffff, 0x0fffffffffffffff,
654  0x0aaaaaaaaaaaaaaa, 0x1fffffffffffffff,
655  0x1555555555555555, 0x3ffffffffffffffe,
656  0x2aaaaaaaaaaaaaaa, 0x7ffffffffffffffd,
657  0x5555555555555555, 0xfffffffffffffffa,
658  0xaaaaaaaaaaaaaaaa, 0xffffffffffffffff,
659  0xffffffffffffffff, 0xffffffffffffffff,
660  0xffffffffffffffff, 0x0000000000000000,
661  0x0000000000000000, 0x00000000000007ff,
662  0x0000000000000555, 0x7ffffffffffffffd,
663  0x5555555555555555, 0xfffffffffffffffa,
664  0xaaaaaaaaaaaaaaaa, 0xffffffffffffffff,
665  0xffffffffffffffff, 0xffffffffffffffff,
666  0xffffffffffffffff, 0x7ffffffffffffffd,
667  0x5555555555555555, 0xfffffffffffffffa,
668  0xaaaaaaaaaaaaaaaa, 0xffffffffffffffff,
669  0xffffffffffffffff, 0xffffffffffffffff,
670  0xffffffffffffffff, 0x0000000000000000,
671  0x0000000000000000, 0x0000000000000000,
672  0x0000000000000000, 0x0000000000000000,
673  0x0000000000000000, 0x0000000000000000,
674  0x0000000000000000, 0x0000000000000000,
675  0x0000000000000000, 0x0fffffffffffffff,
676  0x0aaaaaaaaaaaaaaa, 0x1fffffffffffffff,
677  0x1555555555555555, 0x3ffffffffffffffe,
678  0x3ffffffffffffffe, 0x7ffffffffffffffe,
679  0x7ffffffffffffffd, 0xfffffffffffffffc,
680  0xfffffffffffffffa, 0xffffffffffffffff,
681  0xffffffffffffffff, 0xffffffffffffffff,
682  0xffffffffffffffff, 0xffffffffffffffff,
683  0xffffffffffffffff, 0xffffffffffffffff,
684  0xffffffffffffffff, 0xffffffffffffffff,
685  0xffffffffffffffff, 0x0fffffffffffffff,
686  0x0fffffffffffffff, 0x1fffffffffffffff,
687  0x1fffffffffffffff, 0x3fffffffffffffff,
688  0x3ffffffffffffffe, 0x0fffffffffffffff,
689  0x0fffffffffffffff, 0x1fffffffffffffff,
690  0x1fffffffffffffff, 0x3fffffffffffffff,
691  0x3ffffffffffffffe, 0xffffffffffffffff,
692  0xffffffffffffffff, 0xffffffffffffffff,
693  0xffffffffffffffff, 0x0fffffffffffffff,
694  0x0fffffffffffffff, 0x1fffffffffffffff,
695  0x1fffffffffffffff, 0x3fffffffffffffff,
696  0x3ffffffffffffffe, 0x7ffffffffffffffe,
697  0x7ffffffffffffffd, 0xfffffffffffffffc,
698  0xfffffffffffffffa, 0xffffffffffffffff,
699  0xffffffffffffffff, 0xffffffffffffffff,
700  0xffffffffffffffff, 0x0000000000000000,
701  0x0000000000000000, 0x00000000000007ff,
702  0x00000000000007ff, 0x7ffffffffffffffe,
703  0x7ffffffffffffffd, 0xfffffffffffffffc,
704  0xfffffffffffffffa, 0xffffffffffffffff,
705  0xffffffffffffffff, 0xffffffffffffffff,
706  0xffffffffffffffff, 0x7ffffffffffffffe,
707  0x7ffffffffffffffd, 0xfffffffffffffffc,
708  0xfffffffffffffffa, 0xffffffffffffffff,
709  0xffffffffffffffff, 0xffffffffffffffff,
710  0xffffffffffffffff, 0x0000000000000000,
711  0x0000000000000000, 0x0000000000000000,
712  0x0000000000000000, 0x0000000000000000,
713  0x0000000000000000, 0x0000000000000000,
714  0x0000000000000000, 0x0000000000000000,
715  0x0000000000000000, 0x0fffffffffffffff,
716  0x0fffffffffffffff, 0x1fffffffffffffff,
717  0x1fffffffffffffff, 0x3fffffffffffffff,
718  0x3fffffffffffffff, 0x7fffffffffffffff,
719  0x7ffffffffffffffe, 0xfffffffffffffffe,
720  0xfffffffffffffffc, 0xffffffffffffffff,
721  0xffffffffffffffff, 0xffffffffffffffff,
722  0xffffffffffffffff, 0xffffffffffffffff,
723  0xffffffffffffffff, 0xffffffffffffffff,
724  0xffffffffffffffff, 0xffffffffffffffff,
725  0xffffffffffffffff, 0x0fffffffffffffff,
726  0x0fffffffffffffff, 0x1fffffffffffffff,
727  0x1fffffffffffffff, 0x3fffffffffffffff,
728  0x3fffffffffffffff, 0x0fffffffffffffff,
729  0x0fffffffffffffff, 0x1fffffffffffffff,
730  0x1fffffffffffffff, 0x3fffffffffffffff,
731  0x3fffffffffffffff, 0xffffffffffffffff,
732  0xffffffffffffffff, 0xffffffffffffffff,
733  0xffffffffffffffff, 0x0fffffffffffffff,
734  0x0fffffffffffffff, 0x1fffffffffffffff,
735  0x1fffffffffffffff, 0x3fffffffffffffff,
736  0x3fffffffffffffff, 0x7fffffffffffffff,
737  0x7ffffffffffffffe, 0xfffffffffffffffe,
738  0xfffffffffffffffc, 0xffffffffffffffff,
739  0xffffffffffffffff, 0xffffffffffffffff,
740  0xffffffffffffffff, 0x0000000000000000,
741  0x0000000000000000, 0x00000000000007ff,
742  0x00000000000007ff, 0x7fffffffffffffff,
743  0x7ffffffffffffffe, 0xfffffffffffffffe,
744  0xfffffffffffffffc, 0xffffffffffffffff,
745  0xffffffffffffffff, 0xffffffffffffffff,
746  0xffffffffffffffff, 0x7fffffffffffffff,
747  0x7ffffffffffffffe, 0xfffffffffffffffe,
748  0xfffffffffffffffc, 0xffffffffffffffff,
749  0xffffffffffffffff, 0xffffffffffffffff,
750  0xffffffffffffffff, 0x0000000000000000,
751  0x0000000000000000, 0x0000000000000000,
752  0x0000000000000000, 0x0000000000000000,
753  0x0000000000000000, 0x0000000000000000,
754  0x0000000000000000, 0x0000000000000000,
755  0x0000000000000000, 0x0fffffffffffffff,
756  0x0fffffffffffffff, 0x1fffffffffffffff,
757  0x1fffffffffffffff, 0x3fffffffffffffff,
758  0x3fffffffffffffff, 0x8000000000000000,
759  0x7fffffffffffffff, 0xffffffffffffffff,
760  0xfffffffffffffffe, 0xffffffffffffffff,
761  0xffffffffffffffff, 0xffffffffffffffff,
762  0xffffffffffffffff, 0xffffffffffffffff,
763  0xffffffffffffffff, 0xffffffffffffffff,
764  0xffffffffffffffff, 0xffffffffffffffff,
765  0xffffffffffffffff, 0x1000000000000000,
766  0x0fffffffffffffff, 0x2000000000000000,
767  0x1fffffffffffffff, 0x4000000000000000,
768  0x3fffffffffffffff, 0x1000000000000000,
769  0x0fffffffffffffff, 0x2000000000000000,
770  0x1fffffffffffffff, 0x4000000000000000,
771  0x3fffffffffffffff, 0xffffffffffffffff,
772  0xffffffffffffffff, 0xffffffffffffffff,
773  0xffffffffffffffff, 0x1000000000000000,
774  0x0fffffffffffffff, 0x2000000000000000,
775  0x1fffffffffffffff, 0x4000000000000000,
776  0x3fffffffffffffff, 0x8000000000000000,
777  0x7fffffffffffffff, 0xffffffffffffffff,
778  0xfffffffffffffffe, 0xffffffffffffffff,
779  0xffffffffffffffff, 0xffffffffffffffff,
780  0xffffffffffffffff, 0x0000000000000000,
781  0x0000000000000000, 0x0000000000000800,
782  0x00000000000007ff, 0x8000000000000000,
783  0x7fffffffffffffff, 0xffffffffffffffff,
784  0xfffffffffffffffe, 0xffffffffffffffff,
785  0xffffffffffffffff, 0xffffffffffffffff,
786  0xffffffffffffffff, 0x8000000000000000,
787  0x7fffffffffffffff, 0xffffffffffffffff,
788  0xfffffffffffffffe, 0xffffffffffffffff,
789  0xffffffffffffffff, 0xffffffffffffffff,
790  0xffffffffffffffff, 0x0000000000000000,
791  0x0000000000000000, 0x0000000000000000,
792  0x0000000000000000, 0x0000000000000000,
793  0x0000000000000000, 0x0000000000000000,
794  0x0000000000000000, 0x0000000000000000,
795  0x0000000000000000, 0x1000000000000000,
796  0x0fffffffffffffff, 0x2000000000000000,
797  0x1fffffffffffffff, 0x4000000000000000,
798  0x4000000000000000, 0x8000000000000001,
799  0x8000000000000000, 0xffffffffffffffff,
800  0xffffffffffffffff, 0xffffffffffffffff,
801  0xffffffffffffffff, 0xffffffffffffffff,
802  0xffffffffffffffff, 0xffffffffffffffff,
803  0xffffffffffffffff, 0xffffffffffffffff,
804  0xffffffffffffffff, 0xffffffffffffffff,
805  0xffffffffffffffff, 0x1000000000000000,
806  0x1000000000000000, 0x2000000000000000,
807  0x2000000000000000, 0x4000000000000000,
808  0x4000000000000000, 0x1000000000000000,
809  0x1000000000000000, 0x2000000000000000,
810  0x2000000000000000, 0x4000000000000000,
811  0x4000000000000000, 0xffffffffffffffff,
812  0xffffffffffffffff, 0xffffffffffffffff,
813  0xffffffffffffffff, 0x1000000000000000,
814  0x1000000000000000, 0x2000000000000000,
815  0x2000000000000000, 0x4000000000000000,
816  0x4000000000000000, 0x8000000000000001,
817  0x8000000000000000, 0xffffffffffffffff,
818  0xffffffffffffffff, 0xffffffffffffffff,
819  0xffffffffffffffff, 0xffffffffffffffff,
820  0xffffffffffffffff, 0x0000000000000000,
821  0x0000000000000000, 0x0000000000000800,
822  0x0000000000000800, 0x8000000000000001,
823  0x8000000000000000, 0xffffffffffffffff,
824  0xffffffffffffffff, 0xffffffffffffffff,
825  0xffffffffffffffff, 0xffffffffffffffff,
826  0xffffffffffffffff, 0x8000000000000001,
827  0x8000000000000000, 0xffffffffffffffff,
828  0xffffffffffffffff, 0xffffffffffffffff,
829  0xffffffffffffffff, 0xffffffffffffffff,
830  0xffffffffffffffff, 0x0000000000000000,
831  0x0000000000000000, 0x0000000000000000,
832  0x0000000000000000, 0x0000000000000000,
833  0x0000000000000000, 0x0000000000000000,
834  0x0000000000000000, 0x0000000000000000,
835  0x0000000000000000, 0x1000000000000000,
836  0x1000000000000000, 0x2000000000000000,
837  0x2000000000000000, 0x4000000000000000,
838  0x4000000000000000, 0x8000000000000002,
839  0x8000000000000001, 0xffffffffffffffff,
840  0xffffffffffffffff, 0xffffffffffffffff,
841  0xffffffffffffffff, 0xffffffffffffffff,
842  0xffffffffffffffff, 0xffffffffffffffff,
843  0xffffffffffffffff, 0xffffffffffffffff,
844  0xffffffffffffffff, 0xffffffffffffffff,
845  0xffffffffffffffff, 0x1000000000000000,
846  0x1000000000000000, 0x2000000000000000,
847  0x2000000000000000, 0x4000000000000001,
848  0x4000000000000000, 0x1000000000000000,
849  0x1000000000000000, 0x2000000000000000,
850  0x2000000000000000, 0x4000000000000001,
851  0x4000000000000000, 0xffffffffffffffff,
852  0xffffffffffffffff, 0xffffffffffffffff,
853  0xffffffffffffffff, 0x1000000000000000,
854  0x1000000000000000, 0x2000000000000000,
855  0x2000000000000000, 0x4000000000000001,
856  0x4000000000000000, 0x8000000000000002,
857  0x8000000000000001, 0xffffffffffffffff,
858  0xffffffffffffffff, 0xffffffffffffffff,
859  0xffffffffffffffff, 0xffffffffffffffff,
860  0xffffffffffffffff, 0x0000000000000000,
861  0x0000000000000000, 0x0000000000000800,
862  0x0000000000000800, 0x8000000000000002,
863  0x8000000000000001, 0xffffffffffffffff,
864  0xffffffffffffffff, 0xffffffffffffffff,
865  0xffffffffffffffff, 0xffffffffffffffff,
866  0xffffffffffffffff, 0x8000000000000002,
867  0x8000000000000001, 0xffffffffffffffff,
868  0xffffffffffffffff, 0xffffffffffffffff,
869  0xffffffffffffffff, 0xffffffffffffffff,
870  0xffffffffffffffff, 0x0000000000000000,
871  0x0000000000000000, 0x0000000000000000,
872  0x0000000000000000, 0x0000000000000000,
873  0x0000000000000000, 0x0000000000000000,
874  0x0000000000000000, 0x0000000000000000,
875  0x0000000000000000, 0x1000000000000000,
876  0x1000000000000000, 0x2000000000000000,
877  0x2000000000000000, 0x4000000000000001,
878  0x4000000000000001, 0x8000000000000003,
879  0x8000000000000002, 0xffffffffffffffff,
880  0xffffffffffffffff, 0xffffffffffffffff,
881  0xffffffffffffffff, 0xffffffffffffffff,
882  0xffffffffffffffff, 0xffffffffffffffff,
883  0xffffffffffffffff, 0xffffffffffffffff,
884  0xffffffffffffffff, 0xffffffffffffffff,
885  0xffffffffffffffff, 0x1000000000000000,
886  0x1000000000000000, 0x2000000000000000,
887  0x2000000000000000, 0x4000000000000001,
888  0x4000000000000001, 0x1000000000000000,
889  0x1000000000000000, 0x2000000000000000,
890  0x2000000000000000, 0x4000000000000001,
891  0x4000000000000001, 0xffffffffffffffff,
892  0xffffffffffffffff, 0xffffffffffffffff,
893  0xffffffffffffffff, 0x1000000000000000,
894  0x1000000000000000, 0x2000000000000000,
895  0x2000000000000000, 0x4000000000000001,
896  0x4000000000000001, 0x8000000000000003,
897  0x8000000000000002, 0xffffffffffffffff,
898  0xffffffffffffffff, 0xffffffffffffffff,
899  0xffffffffffffffff, 0xffffffffffffffff,
900  0xffffffffffffffff, 0x0000000000000000,
901  0x0000000000000000, 0x0000000000000800,
902  0x0000000000000800, 0x8000000000000003,
903  0x8000000000000002, 0xffffffffffffffff,
904  0xffffffffffffffff, 0xffffffffffffffff,
905  0xffffffffffffffff, 0xffffffffffffffff,
906  0xffffffffffffffff, 0x8000000000000003,
907  0x8000000000000002, 0xffffffffffffffff,
908  0xffffffffffffffff, 0xffffffffffffffff,
909  0xffffffffffffffff, 0xffffffffffffffff,
910  0xffffffffffffffff, 0x0000000000000000,
911  0x0000000000000000, 0x0000000000000000,
912  0x0000000000000000, 0x0000000000000000,
913  0x0000000000000000, 0x0000000000000000,
914  0x0000000000000000, 0x0000000000000000,
915  0x0000000000000000, 0x1000000000000000,
916  0x1000000000000000, 0x2000000000000000,
917  0x2000000000000000, 0x4000000000000001,
918  0x4000000000000001, 0xaaaaaaaaaaaaaaaa,
919  0x8000000000000003, 0xffffffffffffffff,
920  0xffffffffffffffff, 0xffffffffffffffff,
921  0xffffffffffffffff, 0xffffffffffffffff,
922  0xffffffffffffffff, 0xffffffffffffffff,
923  0xffffffffffffffff, 0xffffffffffffffff,
924  0xffffffffffffffff, 0xffffffffffffffff,
925  0xffffffffffffffff, 0x1555555555555555,
926  0x1000000000000000, 0x2aaaaaaaaaaaaaaa,
927  0x2000000000000000, 0x5555555555555555,
928  0x4000000000000001, 0x1555555555555555,
929  0x1000000000000000, 0x2aaaaaaaaaaaaaaa,
930  0x2000000000000000, 0x5555555555555555,
931  0x4000000000000001, 0xffffffffffffffff,
932  0xffffffffffffffff, 0xffffffffffffffff,
933  0xffffffffffffffff, 0x1555555555555555,
934  0x1000000000000000, 0x2aaaaaaaaaaaaaaa,
935  0x2000000000000000, 0x5555555555555555,
936  0x4000000000000001, 0xaaaaaaaaaaaaaaaa,
937  0x8000000000000003, 0xffffffffffffffff,
938  0xffffffffffffffff, 0xffffffffffffffff,
939  0xffffffffffffffff, 0xffffffffffffffff,
940  0xffffffffffffffff, 0x0000000000000000,
941  0x0000000000000000, 0x0000000000000aaa,
942  0x0000000000000800, 0xaaaaaaaaaaaaaaaa,
943  0x8000000000000003, 0xffffffffffffffff,
944  0xffffffffffffffff, 0xffffffffffffffff,
945  0xffffffffffffffff, 0xffffffffffffffff,
946  0xffffffffffffffff, 0xaaaaaaaaaaaaaaaa,
947  0x8000000000000003, 0xffffffffffffffff,
948  0xffffffffffffffff, 0xffffffffffffffff,
949  0xffffffffffffffff, 0xffffffffffffffff,
950  0xffffffffffffffff, 0x0000000000000000,
951  0x0000000000000000, 0x0000000000000000,
952  0x0000000000000000, 0x0000000000000000,
953  0x0000000000000000, 0x0000000000000000,
954  0x0000000000000000, 0x0000000000000000,
955  0x0000000000000000, 0x1555555555555555,
956  0x1000000000000000, 0x2aaaaaaaaaaaaaaa,
957  0x2000000000000000, 0x5555555555555555,
958  0x5555555555555555, 0xcccccccccccccccc,
959  0xaaaaaaaaaaaaaaaa, 0xffffffffffffffff,
960  0xffffffffffffffff, 0xffffffffffffffff,
961  0xffffffffffffffff, 0xffffffffffffffff,
962  0xffffffffffffffff, 0xffffffffffffffff,
963  0xffffffffffffffff, 0xffffffffffffffff,
964  0xffffffffffffffff, 0xffffffffffffffff,
965  0xffffffffffffffff, 0x1999999999999999,
966  0x1555555555555555, 0x3333333333333333,
967  0x2aaaaaaaaaaaaaaa, 0x6666666666666666,
968  0x5555555555555555, 0x1999999999999999,
969  0x1555555555555555, 0x3333333333333333,
970  0x2aaaaaaaaaaaaaaa, 0x6666666666666666,
971  0x5555555555555555, 0xffffffffffffffff,
972  0xffffffffffffffff, 0xffffffffffffffff,
973  0xffffffffffffffff, 0x1999999999999999,
974  0x1555555555555555, 0x3333333333333333,
975  0x2aaaaaaaaaaaaaaa, 0x6666666666666666,
976  0x5555555555555555, 0xcccccccccccccccc,
977  0xaaaaaaaaaaaaaaaa, 0xffffffffffffffff,
978  0xffffffffffffffff, 0xffffffffffffffff,
979  0xffffffffffffffff, 0xffffffffffffffff,
980  0xffffffffffffffff, 0x0000000000000000,
981  0x0000000000000000, 0x0000000000000ccc,
982  0x0000000000000aaa, 0xcccccccccccccccc,
983  0xaaaaaaaaaaaaaaaa, 0xffffffffffffffff,
984  0xffffffffffffffff, 0xffffffffffffffff,
985  0xffffffffffffffff, 0xffffffffffffffff,
986  0xffffffffffffffff, 0xcccccccccccccccc,
987  0xaaaaaaaaaaaaaaaa, 0xffffffffffffffff,
988  0xffffffffffffffff, 0xffffffffffffffff,
989  0xffffffffffffffff, 0xffffffffffffffff,
990  0xffffffffffffffff, 0x0000000000000000,
991  0x0000000000000000, 0x0000000000000000,
992  0x0000000000000000, 0x0000000000000000,
993  0x0000000000000000, 0x0000000000000000,
994  0x0000000000000000, 0x0000000000000000,
995  0x0000000000000000, 0x1999999999999999,
996  0x1555555555555555, 0x3333333333333333,
997  0x2aaaaaaaaaaaaaaa, 0x6666666666666666,
998  0x6666666666666666, 0xffffffff80000000,
999  0xcccccccccccccccc, 0xffffffffffffffff,
1000  0xffffffffffffffff, 0xffffffffffffffff,
1001  0xffffffffffffffff, 0xffffffffffffffff,
1002  0xffffffffffffffff, 0xffffffffffffffff,
1003  0xffffffffffffffff, 0xffffffffffffffff,
1004  0xffffffffffffffff, 0xffffffffffffffff,
1005  0xffffffffffffffff, 0x1ffffffff0000000,
1006  0x1999999999999999, 0x3fffffffe0000000,
1007  0x3333333333333333, 0x7fffffffc0000000,
1008  0x6666666666666666, 0x1ffffffff0000000,
1009  0x1999999999999999, 0x3fffffffe0000000,
1010  0x3333333333333333, 0x7fffffffc0000000,
1011  0x6666666666666666, 0xffffffffffffffff,
1012  0xffffffffffffffff, 0xffffffffffffffff,
1013  0xffffffffffffffff, 0x1ffffffff0000000,
1014  0x1999999999999999, 0x3fffffffe0000000,
1015  0x3333333333333333, 0x7fffffffc0000000,
1016  0x6666666666666666, 0xffffffff80000000,
1017  0xcccccccccccccccc, 0xffffffffffffffff,
1018  0xffffffffffffffff, 0xffffffffffffffff,
1019  0xffffffffffffffff, 0xffffffffffffffff,
1020  0xffffffffffffffff, 0x0000000000000000,
1021  0x0000000000000000, 0x0000000000000fff,
1022  0x0000000000000ccc, 0xffffffff80000000,
1023  0xcccccccccccccccc, 0xffffffffffffffff,
1024  0xffffffffffffffff, 0xffffffffffffffff,
1025  0xffffffffffffffff, 0xffffffffffffffff,
1026  0xffffffffffffffff, 0xffffffff80000000,
1027  0xcccccccccccccccc, 0xffffffffffffffff,
1028  0xffffffffffffffff, 0xffffffffffffffff,
1029  0xffffffffffffffff, 0xffffffffffffffff,
1030  0xffffffffffffffff, 0x0000000000000000,
1031  0x0000000000000000, 0x0000000000000000,
1032  0x0000000000000000, 0x0000000000000000,
1033  0x0000000000000000, 0x0000000000000000,
1034  0x0000000000000000, 0x0000000000000000,
1035  0x0000000000000000, 0x1ffffffff0000000,
1036  0x1999999999999999, 0x3fffffffe0000000,
1037  0x3333333333333333, 0x7fffffffc0000000,
1038  0x7fffffffc0000000, 0xffffffff80000001,
1039  0xffffffff80000000, 0xffffffffffffffff,
1040  0xffffffffffffffff, 0xffffffffffffffff,
1041  0xffffffffffffffff, 0xffffffffffffffff,
1042  0xffffffffffffffff, 0xffffffffffffffff,
1043  0xffffffffffffffff, 0xffffffffffffffff,
1044  0xffffffffffffffff, 0xffffffffffffffff,
1045  0xffffffffffffffff, 0x1ffffffff0000000,
1046  0x1ffffffff0000000, 0x3fffffffe0000000,
1047  0x3fffffffe0000000, 0x7fffffffc0000000,
1048  0x7fffffffc0000000, 0x1ffffffff0000000,
1049  0x1ffffffff0000000, 0x3fffffffe0000000,
1050  0x3fffffffe0000000, 0x7fffffffc0000000,
1051  0x7fffffffc0000000, 0xffffffffffffffff,
1052  0xffffffffffffffff, 0xffffffffffffffff,
1053  0xffffffffffffffff, 0x1ffffffff0000000,
1054  0x1ffffffff0000000, 0x3fffffffe0000000,
1055  0x3fffffffe0000000, 0x7fffffffc0000000,
1056  0x7fffffffc0000000, 0xffffffff80000001,
1057  0xffffffff80000000, 0xffffffffffffffff,
1058  0xffffffffffffffff, 0xffffffffffffffff,
1059  0xffffffffffffffff, 0xffffffffffffffff,
1060  0xffffffffffffffff, 0x0000000000000000,
1061  0x0000000000000000, 0x0000000000000fff,
1062  0x0000000000000fff, 0xffffffff80000001,
1063  0xffffffff80000000, 0xffffffffffffffff,
1064  0xffffffffffffffff, 0xffffffffffffffff,
1065  0xffffffffffffffff, 0xffffffffffffffff,
1066  0xffffffffffffffff, 0xffffffff80000001,
1067  0xffffffff80000000, 0xffffffffffffffff,
1068  0xffffffffffffffff, 0xffffffffffffffff,
1069  0xffffffffffffffff, 0xffffffffffffffff,
1070  0xffffffffffffffff, 0x0000000000000000,
1071  0x0000000000000000, 0x0000000000000000,
1072  0x0000000000000000, 0x0000000000000000,
1073  0x0000000000000000, 0x0000000000000000,
1074  0x0000000000000000, 0x0000000000000000,
1075  0x0000000000000000, 0x1ffffffff0000000,
1076  0x1ffffffff0000000, 0x3fffffffe0000000,
1077  0x3fffffffe0000000, 0x7fffffffc0000000,
1078  0x7fffffffc0000000, 0xffffffff80000002,
1079  0xffffffff80000001, 0xffffffffffffffff,
1080  0xffffffffffffffff, 0xffffffffffffffff,
1081  0xffffffffffffffff, 0xffffffffffffffff,
1082  0xffffffffffffffff, 0xffffffffffffffff,
1083  0xffffffffffffffff, 0xffffffffffffffff,
1084  0xffffffffffffffff, 0xffffffffffffffff,
1085  0xffffffffffffffff, 0x1ffffffff0000000,
1086  0x1ffffffff0000000, 0x3fffffffe0000000,
1087  0x3fffffffe0000000, 0x7fffffffc0000001,
1088  0x7fffffffc0000000, 0x1ffffffff0000000,
1089  0x1ffffffff0000000, 0x3fffffffe0000000,
1090  0x3fffffffe0000000, 0x7fffffffc0000001,
1091  0x7fffffffc0000000, 0xffffffffffffffff,
1092  0xffffffffffffffff, 0xffffffffffffffff,
1093  0xffffffffffffffff, 0x1ffffffff0000000,
1094  0x1ffffffff0000000, 0x3fffffffe0000000,
1095  0x3fffffffe0000000, 0x7fffffffc0000001,
1096  0x7fffffffc0000000, 0xffffffff80000002,
1097  0xffffffff80000001, 0xffffffffffffffff,
1098  0xffffffffffffffff, 0xffffffffffffffff,
1099  0xffffffffffffffff, 0xffffffffffffffff,
1100  0xffffffffffffffff, 0x0000000000000000,
1101  0x0000000000000000, 0x0000000000000fff,
1102  0x0000000000000fff, 0xffffffff80000002,
1103  0xffffffff80000001, 0xffffffffffffffff,
1104  0xffffffffffffffff, 0xffffffffffffffff,
1105  0xffffffffffffffff, 0xffffffffffffffff,
1106  0xffffffffffffffff, 0xffffffff80000002,
1107  0xffffffff80000001, 0xffffffffffffffff,
1108  0xffffffffffffffff, 0xffffffffffffffff,
1109  0xffffffffffffffff, 0xffffffffffffffff,
1110  0xffffffffffffffff, 0x0000000000000000,
1111  0x0000000000000000, 0x0000000000000000,
1112  0x0000000000000000, 0x0000000000000000,
1113  0x0000000000000000, 0x0000000000000000,
1114  0x0000000000000000, 0x0000000000000000,
1115  0x0000000000000000, 0x1ffffffff0000000,
1116  0x1ffffffff0000000, 0x3fffffffe0000000,
1117  0x3fffffffe0000000, 0x7fffffffc0000001,
1118  0x7fffffffc0000001, 0xffffffff80000003,
1119  0xffffffff80000002, 0xffffffffffffffff,
1120  0xffffffffffffffff, 0xffffffffffffffff,
1121  0xffffffffffffffff, 0xffffffffffffffff,
1122  0xffffffffffffffff, 0xffffffffffffffff,
1123  0xffffffffffffffff, 0xffffffffffffffff,
1124  0xffffffffffffffff, 0xffffffffffffffff,
1125  0xffffffffffffffff, 0x1ffffffff0000000,
1126  0x1ffffffff0000000, 0x3fffffffe0000000,
1127  0x3fffffffe0000000, 0x7fffffffc0000001,
1128  0x7fffffffc0000001, 0x1ffffffff0000000,
1129  0x1ffffffff0000000, 0x3fffffffe0000000,
1130  0x3fffffffe0000000, 0x7fffffffc0000001,
1131  0x7fffffffc0000001, 0xffffffffffffffff,
1132  0xffffffffffffffff, 0xffffffffffffffff,
1133  0xffffffffffffffff, 0x1ffffffff0000000,
1134  0x1ffffffff0000000, 0x3fffffffe0000000,
1135  0x3fffffffe0000000, 0x7fffffffc0000001,
1136  0x7fffffffc0000001, 0xffffffff80000003,
1137  0xffffffff80000002, 0xffffffffffffffff,
1138  0xffffffffffffffff, 0xffffffffffffffff,
1139  0xffffffffffffffff, 0xffffffffffffffff,
1140  0xffffffffffffffff, 0x0000000000000000,
1141  0x0000000000000000, 0x0000000000000fff,
1142  0x0000000000000fff, 0xffffffff80000003,
1143  0xffffffff80000002, 0xffffffffffffffff,
1144  0xffffffffffffffff, 0xffffffffffffffff,
1145  0xffffffffffffffff, 0xffffffffffffffff,
1146  0xffffffffffffffff, 0xffffffff80000003,
1147  0xffffffff80000002, 0xffffffffffffffff,
1148  0xffffffffffffffff, 0xffffffffffffffff,
1149  0xffffffffffffffff, 0xffffffffffffffff,
1150  0xffffffffffffffff, 0x0000000000000000,
1151  0x0000000000000000, 0x0000000000000000,
1152  0x0000000000000000, 0x0000000000000000,
1153  0x0000000000000000, 0x0000000000000000,
1154  0x0000000000000000, 0x0000000000000000,
1155  0x0000000000000000, 0x1ffffffff0000000,
1156  0x1ffffffff0000000, 0x3fffffffe0000000,
1157  0x3fffffffe0000000, 0x7fffffffc0000001,
1158  0x7fffffffc0000001, 0xffffffffffff8000,
1159  0xffffffff80000003, 0xffffffffffffffff,
1160  0xffffffffffffffff, 0xffffffffffffffff,
1161  0xffffffffffffffff, 0xffffffffffffffff,
1162  0xffffffffffffffff, 0xffffffffffffffff,
1163  0xffffffffffffffff, 0xffffffffffffffff,
1164  0xffffffffffffffff, 0xffffffffffffffff,
1165  0xffffffffffffffff, 0x1ffffffffffff000,
1166  0x1ffffffff0000000, 0x3fffffffffffe000,
1167  0x3fffffffe0000000, 0x7fffffffffffc000,
1168  0x7fffffffc0000001, 0x1ffffffffffff000,
1169  0x1ffffffff0000000, 0x3fffffffffffe000,
1170  0x3fffffffe0000000, 0x7fffffffffffc000,
1171  0x7fffffffc0000001, 0xffffffffffffffff,
1172  0xffffffffffffffff, 0xffffffffffffffff,
1173  0xffffffffffffffff, 0x1ffffffffffff000,
1174  0x1ffffffff0000000, 0x3fffffffffffe000,
1175  0x3fffffffe0000000, 0x7fffffffffffc000,
1176  0x7fffffffc0000001, 0xffffffffffff8000,
1177  0xffffffff80000003, 0xffffffffffffffff,
1178  0xffffffffffffffff, 0xffffffffffffffff,
1179  0xffffffffffffffff, 0xffffffffffffffff,
1180  0xffffffffffffffff, 0x0000000000000000,
1181  0x0000000000000000, 0x0000000000000fff,
1182  0x0000000000000fff, 0xffffffffffff8000,
1183  0xffffffff80000003, 0xffffffffffffffff,
1184  0xffffffffffffffff, 0xffffffffffffffff,
1185  0xffffffffffffffff, 0xffffffffffffffff,
1186  0xffffffffffffffff, 0xffffffffffff8000,
1187  0xffffffff80000003, 0xffffffffffffffff,
1188  0xffffffffffffffff, 0xffffffffffffffff,
1189  0xffffffffffffffff, 0xffffffffffffffff,
1190  0xffffffffffffffff, 0x0000000000000000,
1191  0x0000000000000000, 0x0000000000000000,
1192  0x0000000000000000, 0x0000000000000000,
1193  0x0000000000000000, 0x0000000000000000,
1194  0x0000000000000000, 0x0000000000000000,
1195  0x0000000000000000, 0x1ffffffffffff000,
1196  0x1ffffffff0000000, 0x3fffffffffffe000,
1197  0x3fffffffe0000000, 0x7fffffffffffc000,
1198  0x7fffffffffffc000, 0xffffffffffff8001,
1199  0xffffffffffff8000, 0xffffffffffffffff,
1200  0xffffffffffffffff, 0xffffffffffffffff,
1201  0xffffffffffffffff, 0xffffffffffffffff,
1202  0xffffffffffffffff, 0xffffffffffffffff,
1203  0xffffffffffffffff, 0xffffffffffffffff,
1204  0xffffffffffffffff, 0xffffffffffffffff,
1205  0xffffffffffffffff, 0x1ffffffffffff000,
1206  0x1ffffffffffff000, 0x3fffffffffffe000,
1207  0x3fffffffffffe000, 0x7fffffffffffc000,
1208  0x7fffffffffffc000, 0x1ffffffffffff000,
1209  0x1ffffffffffff000, 0x3fffffffffffe000,
1210  0x3fffffffffffe000, 0x7fffffffffffc000,
1211  0x7fffffffffffc000, 0xffffffffffffffff,
1212  0xffffffffffffffff, 0xffffffffffffffff,
1213  0xffffffffffffffff, 0x1ffffffffffff000,
1214  0x1ffffffffffff000, 0x3fffffffffffe000,
1215  0x3fffffffffffe000, 0x7fffffffffffc000,
1216  0x7fffffffffffc000, 0xffffffffffff8001,
1217  0xffffffffffff8000, 0xffffffffffffffff,
1218  0xffffffffffffffff, 0xffffffffffffffff,
1219  0xffffffffffffffff, 0xffffffffffffffff,
1220  0xffffffffffffffff, 0x0000000000000000,
1221  0x0000000000000000, 0x0000000000000fff,
1222  0x0000000000000fff, 0xffffffffffff8001,
1223  0xffffffffffff8000, 0xffffffffffffffff,
1224  0xffffffffffffffff, 0xffffffffffffffff,
1225  0xffffffffffffffff, 0xffffffffffffffff,
1226  0xffffffffffffffff, 0xffffffffffff8001,
1227  0xffffffffffff8000, 0xffffffffffffffff,
1228  0xffffffffffffffff, 0xffffffffffffffff,
1229  0xffffffffffffffff, 0xffffffffffffffff,
1230  0xffffffffffffffff, 0x0000000000000000,
1231  0x0000000000000000, 0x0000000000000000,
1232  0x0000000000000000, 0x0000000000000000,
1233  0x0000000000000000, 0x0000000000000000,
1234  0x0000000000000000, 0x0000000000000000,
1235  0x0000000000000000, 0x1ffffffffffff000,
1236  0x1ffffffffffff000, 0x3fffffffffffe000,
1237  0x3fffffffffffe000, 0x7fffffffffffc000,
1238  0x7fffffffffffc000, 0xffffffffffff8002,
1239  0xffffffffffff8001, 0xffffffffffffffff,
1240  0xffffffffffffffff, 0xffffffffffffffff,
1241  0xffffffffffffffff, 0xffffffffffffffff,
1242  0xffffffffffffffff, 0xffffffffffffffff,
1243  0xffffffffffffffff, 0xffffffffffffffff,
1244  0xffffffffffffffff, 0xffffffffffffffff,
1245  0xffffffffffffffff, 0x1ffffffffffff000,
1246  0x1ffffffffffff000, 0x3fffffffffffe000,
1247  0x3fffffffffffe000, 0x7fffffffffffc001,
1248  0x7fffffffffffc000, 0x1ffffffffffff000,
1249  0x1ffffffffffff000, 0x3fffffffffffe000,
1250  0x3fffffffffffe000, 0x7fffffffffffc001,
1251  0x7fffffffffffc000, 0xffffffffffffffff,
1252  0xffffffffffffffff, 0xffffffffffffffff,
1253  0xffffffffffffffff, 0x1ffffffffffff000,
1254  0x1ffffffffffff000, 0x3fffffffffffe000,
1255  0x3fffffffffffe000, 0x7fffffffffffc001,
1256  0x7fffffffffffc000, 0xffffffffffff8002,
1257  0xffffffffffff8001, 0xffffffffffffffff,
1258  0xffffffffffffffff, 0xffffffffffffffff,
1259  0xffffffffffffffff, 0xffffffffffffffff,
1260  0xffffffffffffffff, 0x0000000000000000,
1261  0x0000000000000000, 0x0000000000000fff,
1262  0x0000000000000fff, 0xffffffffffff8002,
1263  0xffffffffffff8001, 0xffffffffffffffff,
1264  0xffffffffffffffff, 0xffffffffffffffff,
1265  0xffffffffffffffff, 0xffffffffffffffff,
1266  0xffffffffffffffff, 0xffffffffffff8002,
1267  0xffffffffffff8001, 0xffffffffffffffff,
1268  0xffffffffffffffff, 0xffffffffffffffff,
1269  0xffffffffffffffff, 0xffffffffffffffff,
1270  0xffffffffffffffff, 0x0000000000000000,
1271  0x0000000000000000, 0x0000000000000000,
1272  0x0000000000000000, 0x0000000000000000,
1273  0x0000000000000000, 0x0000000000000000,
1274  0x0000000000000000, 0x0000000000000000,
1275  0x0000000000000000, 0x1ffffffffffff000,
1276  0x1ffffffffffff000, 0x3fffffffffffe000,
1277  0x3fffffffffffe000, 0x7fffffffffffc001,
1278  0x7fffffffffffc001, 0xffffffffffff8003,
1279  0xffffffffffff8002, 0xffffffffffffffff,
1280  0xffffffffffffffff, 0xffffffffffffffff,
1281  0xffffffffffffffff, 0xffffffffffffffff,
1282  0xffffffffffffffff, 0xffffffffffffffff,
1283  0xffffffffffffffff, 0xffffffffffffffff,
1284  0xffffffffffffffff, 0xffffffffffffffff,
1285  0xffffffffffffffff, 0x1ffffffffffff000,
1286  0x1ffffffffffff000, 0x3fffffffffffe000,
1287  0x3fffffffffffe000, 0x7fffffffffffc001,
1288  0x7fffffffffffc001, 0x1ffffffffffff000,
1289  0x1ffffffffffff000, 0x3fffffffffffe000,
1290  0x3fffffffffffe000, 0x7fffffffffffc001,
1291  0x7fffffffffffc001, 0xffffffffffffffff,
1292  0xffffffffffffffff, 0xffffffffffffffff,
1293  0xffffffffffffffff, 0x1ffffffffffff000,
1294  0x1ffffffffffff000, 0x3fffffffffffe000,
1295  0x3fffffffffffe000, 0x7fffffffffffc001,
1296  0x7fffffffffffc001, 0xffffffffffff8003,
1297  0xffffffffffff8002, 0xffffffffffffffff,
1298  0xffffffffffffffff, 0xffffffffffffffff,
1299  0xffffffffffffffff, 0xffffffffffffffff,
1300  0xffffffffffffffff, 0x0000000000000000,
1301  0x0000000000000000, 0x0000000000000fff,
1302  0x0000000000000fff, 0xffffffffffff8003,
1303  0xffffffffffff8002, 0xffffffffffffffff,
1304  0xffffffffffffffff, 0xffffffffffffffff,
1305  0xffffffffffffffff, 0xffffffffffffffff,
1306  0xffffffffffffffff, 0xffffffffffff8003,
1307  0xffffffffffff8002, 0xffffffffffffffff,
1308  0xffffffffffffffff, 0xffffffffffffffff,
1309  0xffffffffffffffff, 0xffffffffffffffff,
1310  0xffffffffffffffff, 0x0000000000000000,
1311  0x0000000000000000, 0x0000000000000000,
1312  0x0000000000000000, 0x0000000000000000,
1313  0x0000000000000000, 0x0000000000000000,
1314  0x0000000000000000, 0x0000000000000000,
1315  0x0000000000000000, 0x1ffffffffffff000,
1316  0x1ffffffffffff000, 0x3fffffffffffe000,
1317  0x3fffffffffffe000, 0x7fffffffffffc001,
1318  0x7fffffffffffc001, 0xffffffffffffff80,
1319  0xffffffffffff8003, 0xffffffffffffffff,
1320  0xffffffffffffffff, 0xffffffffffffffff,
1321  0xffffffffffffffff, 0xffffffffffffffff,
1322  0xffffffffffffffff, 0xffffffffffffffff,
1323  0xffffffffffffffff, 0xffffffffffffffff,
1324  0xffffffffffffffff, 0xffffffffffffffff,
1325  0xffffffffffffffff, 0x1ffffffffffffff0,
1326  0x1ffffffffffff000, 0x3fffffffffffffe0,
1327  0x3fffffffffffe000, 0x7fffffffffffffc0,
1328  0x7fffffffffffc001, 0x1ffffffffffffff0,
1329  0x1ffffffffffff000, 0x3fffffffffffffe0,
1330  0x3fffffffffffe000, 0x7fffffffffffffc0,
1331  0x7fffffffffffc001, 0xffffffffffffffff,
1332  0xffffffffffffffff, 0xffffffffffffffff,
1333  0xffffffffffffffff, 0x1ffffffffffffff0,
1334  0x1ffffffffffff000, 0x3fffffffffffffe0,
1335  0x3fffffffffffe000, 0x7fffffffffffffc0,
1336  0x7fffffffffffc001, 0xffffffffffffff80,
1337  0xffffffffffff8003, 0xffffffffffffffff,
1338  0xffffffffffffffff, 0xffffffffffffffff,
1339  0xffffffffffffffff, 0xffffffffffffffff,
1340  0xffffffffffffffff, 0x0000000000000000,
1341  0x0000000000000000, 0x0000000000000fff,
1342  0x0000000000000fff, 0xffffffffffffff80,
1343  0xffffffffffff8003, 0xffffffffffffffff,
1344  0xffffffffffffffff, 0xffffffffffffffff,
1345  0xffffffffffffffff, 0xffffffffffffffff,
1346  0xffffffffffffffff, 0xffffffffffffff80,
1347  0xffffffffffff8003, 0xffffffffffffffff,
1348  0xffffffffffffffff, 0xffffffffffffffff,
1349  0xffffffffffffffff, 0xffffffffffffffff,
1350  0xffffffffffffffff, 0x0000000000000000,
1351  0x0000000000000000, 0x0000000000000000,
1352  0x0000000000000000, 0x0000000000000000,
1353  0x0000000000000000, 0x0000000000000000,
1354  0x0000000000000000, 0x0000000000000000,
1355  0x0000000000000000, 0x1ffffffffffffff0,
1356  0x1ffffffffffff000, 0x3fffffffffffffe0,
1357  0x3fffffffffffe000, 0x7fffffffffffffc0,
1358  0x7fffffffffffffc0, 0xffffffffffffff81,
1359  0xffffffffffffff80, 0xffffffffffffffff,
1360  0xffffffffffffffff, 0xffffffffffffffff,
1361  0xffffffffffffffff, 0xffffffffffffffff,
1362  0xffffffffffffffff, 0xffffffffffffffff,
1363  0xffffffffffffffff, 0xffffffffffffffff,
1364  0xffffffffffffffff, 0xffffffffffffffff,
1365  0xffffffffffffffff, 0x1ffffffffffffff0,
1366  0x1ffffffffffffff0, 0x3fffffffffffffe0,
1367  0x3fffffffffffffe0, 0x7fffffffffffffc0,
1368  0x7fffffffffffffc0, 0x1ffffffffffffff0,
1369  0x1ffffffffffffff0, 0x3fffffffffffffe0,
1370  0x3fffffffffffffe0, 0x7fffffffffffffc0,
1371  0x7fffffffffffffc0, 0xffffffffffffffff,
1372  0xffffffffffffffff, 0xffffffffffffffff,
1373  0xffffffffffffffff, 0x1ffffffffffffff0,
1374  0x1ffffffffffffff0, 0x3fffffffffffffe0,
1375  0x3fffffffffffffe0, 0x7fffffffffffffc0,
1376  0x7fffffffffffffc0, 0xffffffffffffff81,
1377  0xffffffffffffff80, 0xffffffffffffffff,
1378  0xffffffffffffffff, 0xffffffffffffffff,
1379  0xffffffffffffffff, 0xffffffffffffffff,
1380  0xffffffffffffffff, 0x0000000000000000,
1381  0x0000000000000000, 0x0000000000000fff,
1382  0x0000000000000fff, 0xffffffffffffff81,
1383  0xffffffffffffff80, 0xffffffffffffffff,
1384  0xffffffffffffffff, 0xffffffffffffffff,
1385  0xffffffffffffffff, 0xffffffffffffffff,
1386  0xffffffffffffffff, 0xffffffffffffff81,
1387  0xffffffffffffff80, 0xffffffffffffffff,
1388  0xffffffffffffffff, 0xffffffffffffffff,
1389  0xffffffffffffffff, 0xffffffffffffffff,
1390  0xffffffffffffffff, 0x0000000000000000,
1391  0x0000000000000000, 0x0000000000000000,
1392  0x0000000000000000, 0x0000000000000000,
1393  0x0000000000000000, 0x0000000000000000,
1394  0x0000000000000000, 0x0000000000000000,
1395  0x0000000000000000, 0x1ffffffffffffff0,
1396  0x1ffffffffffffff0, 0x3fffffffffffffe0,
1397  0x3fffffffffffffe0, 0x7fffffffffffffc0,
1398  0x7fffffffffffffc0, 0xffffffffffffff82,
1399  0xffffffffffffff81, 0xffffffffffffffff,
1400  0xffffffffffffffff, 0xffffffffffffffff,
1401  0xffffffffffffffff, 0xffffffffffffffff,
1402  0xffffffffffffffff, 0xffffffffffffffff,
1403  0xffffffffffffffff, 0xffffffffffffffff,
1404  0xffffffffffffffff, 0xffffffffffffffff,
1405  0xffffffffffffffff, 0x1ffffffffffffff0,
1406  0x1ffffffffffffff0, 0x3fffffffffffffe0,
1407  0x3fffffffffffffe0, 0x7fffffffffffffc1,
1408  0x7fffffffffffffc0, 0x1ffffffffffffff0,
1409  0x1ffffffffffffff0, 0x3fffffffffffffe0,
1410  0x3fffffffffffffe0, 0x7fffffffffffffc1,
1411  0x7fffffffffffffc0, 0xffffffffffffffff,
1412  0xffffffffffffffff, 0xffffffffffffffff,
1413  0xffffffffffffffff, 0x1ffffffffffffff0,
1414  0x1ffffffffffffff0, 0x3fffffffffffffe0,
1415  0x3fffffffffffffe0, 0x7fffffffffffffc1,
1416  0x7fffffffffffffc0, 0xffffffffffffff82,
1417  0xffffffffffffff81, 0xffffffffffffffff,
1418  0xffffffffffffffff, 0xffffffffffffffff,
1419  0xffffffffffffffff, 0xffffffffffffffff,
1420  0xffffffffffffffff, 0x0000000000000000,
1421  0x0000000000000000, 0x0000000000000fff,
1422  0x0000000000000fff, 0xffffffffffffff82,
1423  0xffffffffffffff81, 0xffffffffffffffff,
1424  0xffffffffffffffff, 0xffffffffffffffff,
1425  0xffffffffffffffff, 0xffffffffffffffff,
1426  0xffffffffffffffff, 0xffffffffffffff82,
1427  0xffffffffffffff81, 0xffffffffffffffff,
1428  0xffffffffffffffff, 0xffffffffffffffff,
1429  0xffffffffffffffff, 0xffffffffffffffff,
1430  0xffffffffffffffff, 0x0000000000000000,
1431  0x0000000000000000, 0x0000000000000000,
1432  0x0000000000000000, 0x0000000000000000,
1433  0x0000000000000000, 0x0000000000000000,
1434  0x0000000000000000, 0x0000000000000000,
1435  0x0000000000000000, 0x1ffffffffffffff0,
1436  0x1ffffffffffffff0, 0x3fffffffffffffe0,
1437  0x3fffffffffffffe0, 0x7fffffffffffffc1,
1438  0x7fffffffffffffc1, 0xffffffffffffff83,
1439  0xffffffffffffff82, 0xffffffffffffffff,
1440  0xffffffffffffffff, 0xffffffffffffffff,
1441  0xffffffffffffffff, 0xffffffffffffffff,
1442  0xffffffffffffffff, 0xffffffffffffffff,
1443  0xffffffffffffffff, 0xffffffffffffffff,
1444  0xffffffffffffffff, 0xffffffffffffffff,
1445  0xffffffffffffffff, 0x1ffffffffffffff0,
1446  0x1ffffffffffffff0, 0x3fffffffffffffe0,
1447  0x3fffffffffffffe0, 0x7fffffffffffffc1,
1448  0x7fffffffffffffc1, 0x1ffffffffffffff0,
1449  0x1ffffffffffffff0, 0x3fffffffffffffe0,
1450  0x3fffffffffffffe0, 0x7fffffffffffffc1,
1451  0x7fffffffffffffc1, 0xffffffffffffffff,
1452  0xffffffffffffffff, 0xffffffffffffffff,
1453  0xffffffffffffffff, 0x1ffffffffffffff0,
1454  0x1ffffffffffffff0, 0x3fffffffffffffe0,
1455  0x3fffffffffffffe0, 0x7fffffffffffffc1,
1456  0x7fffffffffffffc1, 0xffffffffffffff83,
1457  0xffffffffffffff82, 0xffffffffffffffff,
1458  0xffffffffffffffff, 0xffffffffffffffff,
1459  0xffffffffffffffff, 0xffffffffffffffff,
1460  0xffffffffffffffff, 0x0000000000000000,
1461  0x0000000000000000, 0x0000000000000fff,
1462  0x0000000000000fff, 0xffffffffffffff83,
1463  0xffffffffffffff82, 0xffffffffffffffff,
1464  0xffffffffffffffff, 0xffffffffffffffff,
1465  0xffffffffffffffff, 0xffffffffffffffff,
1466  0xffffffffffffffff, 0xffffffffffffff83,
1467  0xffffffffffffff82, 0xffffffffffffffff,
1468  0xffffffffffffffff, 0xffffffffffffffff,
1469  0xffffffffffffffff, 0xffffffffffffffff,
1470  0xffffffffffffffff, 0x0000000000000000,
1471  0x0000000000000000, 0x0000000000000000,
1472  0x0000000000000000, 0x0000000000000000,
1473  0x0000000000000000, 0x0000000000000000,
1474  0x0000000000000000, 0x0000000000000000,
1475  0x0000000000000000, 0x1ffffffffffffff0,
1476  0x1ffffffffffffff0, 0x3fffffffffffffe0,
1477  0x3fffffffffffffe0, 0x7fffffffffffffc1,
1478  0x7fffffffffffffc1, 0xffffffffffffffc0,
1479  0xffffffffffffff83, 0xffffffffffffffff,
1480  0xffffffffffffffff, 0xffffffffffffffff,
1481  0xffffffffffffffff, 0xffffffffffffffff,
1482  0xffffffffffffffff, 0xffffffffffffffff,
1483  0xffffffffffffffff, 0xffffffffffffffff,
1484  0xffffffffffffffff, 0xffffffffffffffff,
1485  0xffffffffffffffff, 0x1ffffffffffffff8,
1486  0x1ffffffffffffff0, 0x3ffffffffffffff0,
1487  0x3fffffffffffffe0, 0x7fffffffffffffe0,
1488  0x7fffffffffffffc1, 0x1ffffffffffffff8,
1489  0x1ffffffffffffff0, 0x3ffffffffffffff0,
1490  0x3fffffffffffffe0, 0x7fffffffffffffe0,
1491  0x7fffffffffffffc1, 0xffffffffffffffff,
1492  0xffffffffffffffff, 0xffffffffffffffff,
1493  0xffffffffffffffff, 0x1ffffffffffffff8,
1494  0x1ffffffffffffff0, 0x3ffffffffffffff0,
1495  0x3fffffffffffffe0, 0x7fffffffffffffe0,
1496  0x7fffffffffffffc1, 0xffffffffffffffc0,
1497  0xffffffffffffff83, 0xffffffffffffffff,
1498  0xffffffffffffffff, 0xffffffffffffffff,
1499  0xffffffffffffffff, 0xffffffffffffffff,
1500  0xffffffffffffffff, 0x0000000000000000,
1501  0x0000000000000000, 0x0000000000000fff,
1502  0x0000000000000fff, 0xffffffffffffffc0,
1503  0xffffffffffffff83, 0xffffffffffffffff,
1504  0xffffffffffffffff, 0xffffffffffffffff,
1505  0xffffffffffffffff, 0xffffffffffffffff,
1506  0xffffffffffffffff, 0xffffffffffffffc0,
1507  0xffffffffffffff83, 0xffffffffffffffff,
1508  0xffffffffffffffff, 0xffffffffffffffff,
1509  0xffffffffffffffff, 0xffffffffffffffff,
1510  0xffffffffffffffff, 0x0000000000000000,
1511  0x0000000000000000, 0x0000000000000000,
1512  0x0000000000000000, 0x0000000000000000,
1513  0x0000000000000000, 0x0000000000000000,
1514  0x0000000000000000, 0x0000000000000000,
1515  0x0000000000000000, 0x1ffffffffffffff8,
1516  0x1ffffffffffffff0, 0x3ffffffffffffff0,
1517  0x3fffffffffffffe0, 0x7fffffffffffffe0,
1518  0x7fffffffffffffe0, 0xfffffffffffffffd,
1519  0xffffffffffffffc0, 0xffffffffffffffff,
1520  0xffffffffffffffff, 0xffffffffffffffff,
1521  0xffffffffffffffff, 0xffffffffffffffff,
1522  0xffffffffffffffff, 0xffffffffffffffff,
1523  0xffffffffffffffff, 0xffffffffffffffff,
1524  0xffffffffffffffff, 0xffffffffffffffff,
1525  0xffffffffffffffff, 0x1fffffffffffffff,
1526  0x1ffffffffffffff8, 0x3fffffffffffffff,
1527  0x3ffffffffffffff0, 0x7ffffffffffffffe,
1528  0x7fffffffffffffe0, 0x1fffffffffffffff,
1529  0x1ffffffffffffff8, 0x3fffffffffffffff,
1530  0x3ffffffffffffff0, 0x7ffffffffffffffe,
1531  0x7fffffffffffffe0, 0xffffffffffffffff,
1532  0xffffffffffffffff, 0xffffffffffffffff,
1533  0xffffffffffffffff, 0x1fffffffffffffff,
1534  0x1ffffffffffffff8, 0x3fffffffffffffff,
1535  0x3ffffffffffffff0, 0x7ffffffffffffffe,
1536  0x7fffffffffffffe0, 0xfffffffffffffffd,
1537  0xffffffffffffffc0, 0xffffffffffffffff,
1538  0xffffffffffffffff, 0xffffffffffffffff,
1539  0xffffffffffffffff, 0xffffffffffffffff,
1540  0xffffffffffffffff, 0x0000000000000000,
1541  0x0000000000000000, 0x0000000000000fff,
1542  0x0000000000000fff, 0xfffffffffffffffd,
1543  0xffffffffffffffc0, 0xffffffffffffffff,
1544  0xffffffffffffffff, 0xffffffffffffffff,
1545  0xffffffffffffffff, 0xffffffffffffffff,
1546  0xffffffffffffffff, 0xfffffffffffffffd,
1547  0xffffffffffffffc0, 0xffffffffffffffff,
1548  0xffffffffffffffff, 0xffffffffffffffff,
1549  0xffffffffffffffff, 0xffffffffffffffff,
1550  0xffffffffffffffff, 0x0000000000000000,
1551  0x0000000000000000, 0x0000000000000000,
1552  0x0000000000000000, 0x0000000000000000,
1553  0x0000000000000000, 0x0000000000000000,
1554  0x0000000000000000, 0x0000000000000000,
1555  0x0000000000000000, 0x1fffffffffffffff,
1556  0x1ffffffffffffff8, 0x3fffffffffffffff,
1557  0x3ffffffffffffff0, 0x7ffffffffffffffe,
1558  0x7ffffffffffffffe, 0xfffffffffffffffe,
1559  0xfffffffffffffffd, 0xffffffffffffffff,
1560  0xffffffffffffffff, 0xffffffffffffffff,
1561  0xffffffffffffffff, 0xffffffffffffffff,
1562  0xffffffffffffffff, 0xffffffffffffffff,
1563  0xffffffffffffffff, 0xffffffffffffffff,
1564  0xffffffffffffffff, 0xffffffffffffffff,
1565  0xffffffffffffffff, 0x1fffffffffffffff,
1566  0x1fffffffffffffff, 0x3fffffffffffffff,
1567  0x3fffffffffffffff, 0x7fffffffffffffff,
1568  0x7ffffffffffffffe, 0x1fffffffffffffff,
1569  0x1fffffffffffffff, 0x3fffffffffffffff,
1570  0x3fffffffffffffff, 0x7fffffffffffffff,
1571  0x7ffffffffffffffe, 0xffffffffffffffff,
1572  0xffffffffffffffff, 0xffffffffffffffff,
1573  0xffffffffffffffff, 0x1fffffffffffffff,
1574  0x1fffffffffffffff, 0x3fffffffffffffff,
1575  0x3fffffffffffffff, 0x7fffffffffffffff,
1576  0x7ffffffffffffffe, 0xfffffffffffffffe,
1577  0xfffffffffffffffd, 0xffffffffffffffff,
1578  0xffffffffffffffff, 0xffffffffffffffff,
1579  0xffffffffffffffff, 0xffffffffffffffff,
1580  0xffffffffffffffff, 0x0000000000000000,
1581  0x0000000000000000, 0x0000000000000fff,
1582  0x0000000000000fff, 0xfffffffffffffffe,
1583  0xfffffffffffffffd, 0xffffffffffffffff,
1584  0xffffffffffffffff, 0xffffffffffffffff,
1585  0xffffffffffffffff, 0xffffffffffffffff,
1586  0xffffffffffffffff, 0xfffffffffffffffe,
1587  0xfffffffffffffffd, 0xffffffffffffffff,
1588  0xffffffffffffffff, 0xffffffffffffffff,
1589  0xffffffffffffffff, 0xffffffffffffffff,
1590  0xffffffffffffffff, 0x0000000000000000,
1591  0x0000000000000000, 0x0000000000000000,
1592  0x0000000000000000, 0x0000000000000000,
1593  0x0000000000000000, 0x0000000000000000,
1594  0x0000000000000000, 0x0000000000000000,
1595  0x0000000000000000, 0x1fffffffffffffff,
1596  0x1fffffffffffffff, 0x3fffffffffffffff,
1597  0x3fffffffffffffff, 0x7fffffffffffffff,
1598  0x7fffffffffffffff, 0xffffffffffffffff,
1599  0xfffffffffffffffe, 0xffffffffffffffff,
1600  0xffffffffffffffff, 0xffffffffffffffff,
1601  0xffffffffffffffff, 0xffffffffffffffff,
1602  0xffffffffffffffff, 0xffffffffffffffff,
1603  0xffffffffffffffff, 0xffffffffffffffff,
1604  0xffffffffffffffff, 0xffffffffffffffff,
1605  0xffffffffffffffff, 0x1fffffffffffffff,
1606  0x1fffffffffffffff, 0x3fffffffffffffff,
1607  0x3fffffffffffffff, 0x7fffffffffffffff,
1608  0x7fffffffffffffff, 0x1fffffffffffffff,
1609  0x1fffffffffffffff, 0x3fffffffffffffff,
1610  0x3fffffffffffffff, 0x7fffffffffffffff,
1611  0x7fffffffffffffff, 0xffffffffffffffff,
1612  0xffffffffffffffff, 0xffffffffffffffff,
1613  0xffffffffffffffff, 0x1fffffffffffffff,
1614  0x1fffffffffffffff, 0x3fffffffffffffff,
1615  0x3fffffffffffffff, 0x7fffffffffffffff,
1616  0x7fffffffffffffff, 0xffffffffffffffff,
1617  0xfffffffffffffffe, 0xffffffffffffffff,
1618  0xffffffffffffffff, 0xffffffffffffffff,
1619  0xffffffffffffffff, 0xffffffffffffffff,
1620  0xffffffffffffffff, 0x0000000000000000,
1621  0x0000000000000000, 0x0000000000000fff,
1622  0x0000000000000fff, 0xffffffffffffffff,
1623  0xfffffffffffffffe, 0xffffffffffffffff,
1624  0xffffffffffffffff, 0xffffffffffffffff,
1625  0xffffffffffffffff, 0xffffffffffffffff,
1626  0xffffffffffffffff, 0xffffffffffffffff,
1627  0xfffffffffffffffe, 0xffffffffffffffff,
1628  0xffffffffffffffff, 0xffffffffffffffff,
1629  0xffffffffffffffff, 0xffffffffffffffff,
1630  0xffffffffffffffff, 0x0000000000000000,
1631  0x0000000000000000, 0x0000000000000000,
1632  0x0000000000000000, 0x0000000000000000,
1633  0x0000000000000000, 0x0000000000000000,
1634  0x0000000000000000, 0x0000000000000000,
1635  0x0000000000000000, 0x1fffffffffffffff,
1636  0x1fffffffffffffff, 0x3fffffffffffffff,
1637  0x3fffffffffffffff, 0x7fffffffffffffff,
1638};
1639const unsigned kExpectedCount_NEON_uqshl_2D = 1600;
1640
1641#endif  // VIXL_SIM_UQSHL_2D_TRACE_AARCH64_H_
1642