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_URSHR_2D_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_URSHR_2D_2OPIMM_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_urshr_2D_2OPIMM[] = {
38  0x8000000000000000, 0x0000000000000000,
39  0x4000000000000000, 0x0000000000000000,
40  0x2000000000000000, 0x0000000000000000,
41  0x1000000000000000, 0x0000000000000000,
42  0x0800000000000000, 0x0000000000000000,
43  0x0400000000000000, 0x0000000000000000,
44  0x0200000000000000, 0x0000000000000000,
45  0x0100000000000000, 0x0000000000000000,
46  0x0080000000000000, 0x0000000000000000,
47  0x0040000000000000, 0x0000000000000000,
48  0x0020000000000000, 0x0000000000000000,
49  0x0010000000000000, 0x0000000000000000,
50  0x0008000000000000, 0x0000000000000000,
51  0x0004000000000000, 0x0000000000000000,
52  0x0002000000000000, 0x0000000000000000,
53  0x0001000000000000, 0x0000000000000000,
54  0x0000800000000000, 0x0000000000000000,
55  0x0000400000000000, 0x0000000000000000,
56  0x0000200000000000, 0x0000000000000000,
57  0x0000100000000000, 0x0000000000000000,
58  0x0000080000000000, 0x0000000000000000,
59  0x0000040000000000, 0x0000000000000000,
60  0x0000020000000000, 0x0000000000000000,
61  0x0000010000000000, 0x0000000000000000,
62  0x0000008000000000, 0x0000000000000000,
63  0x0000004000000000, 0x0000000000000000,
64  0x0000002000000000, 0x0000000000000000,
65  0x0000001000000000, 0x0000000000000000,
66  0x0000000800000000, 0x0000000000000000,
67  0x0000000400000000, 0x0000000000000000,
68  0x0000000200000000, 0x0000000000000000,
69  0x0000000100000000, 0x0000000000000000,
70  0x0000000080000000, 0x0000000000000000,
71  0x0000000040000000, 0x0000000000000000,
72  0x0000000020000000, 0x0000000000000000,
73  0x0000000010000000, 0x0000000000000000,
74  0x0000000008000000, 0x0000000000000000,
75  0x0000000004000000, 0x0000000000000000,
76  0x0000000002000000, 0x0000000000000000,
77  0x0000000001000000, 0x0000000000000000,
78  0x0000000000800000, 0x0000000000000000,
79  0x0000000000400000, 0x0000000000000000,
80  0x0000000000200000, 0x0000000000000000,
81  0x0000000000100000, 0x0000000000000000,
82  0x0000000000080000, 0x0000000000000000,
83  0x0000000000040000, 0x0000000000000000,
84  0x0000000000020000, 0x0000000000000000,
85  0x0000000000010000, 0x0000000000000000,
86  0x0000000000008000, 0x0000000000000000,
87  0x0000000000004000, 0x0000000000000000,
88  0x0000000000002000, 0x0000000000000000,
89  0x0000000000001000, 0x0000000000000000,
90  0x0000000000000800, 0x0000000000000000,
91  0x0000000000000400, 0x0000000000000000,
92  0x0000000000000200, 0x0000000000000000,
93  0x0000000000000100, 0x0000000000000000,
94  0x0000000000000080, 0x0000000000000000,
95  0x0000000000000040, 0x0000000000000000,
96  0x0000000000000020, 0x0000000000000000,
97  0x0000000000000010, 0x0000000000000000,
98  0x0000000000000008, 0x0000000000000000,
99  0x0000000000000004, 0x0000000000000000,
100  0x0000000000000002, 0x0000000000000000,
101  0x0000000000000001, 0x0000000000000000,
102  0x0000000000000000, 0x0000000000000001,
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  0x0000000000000000, 0x0000000000000000,
119  0x0000000000000000, 0x0000000000000000,
120  0x0000000000000000, 0x0000000000000000,
121  0x0000000000000000, 0x0000000000000000,
122  0x0000000000000000, 0x0000000000000000,
123  0x0000000000000000, 0x0000000000000000,
124  0x0000000000000000, 0x0000000000000000,
125  0x0000000000000000, 0x0000000000000000,
126  0x0000000000000000, 0x0000000000000000,
127  0x0000000000000000, 0x0000000000000000,
128  0x0000000000000000, 0x0000000000000000,
129  0x0000000000000000, 0x0000000000000000,
130  0x0000000000000000, 0x0000000000000000,
131  0x0000000000000000, 0x0000000000000000,
132  0x0000000000000000, 0x0000000000000000,
133  0x0000000000000000, 0x0000000000000000,
134  0x0000000000000000, 0x0000000000000000,
135  0x0000000000000000, 0x0000000000000000,
136  0x0000000000000000, 0x0000000000000000,
137  0x0000000000000000, 0x0000000000000000,
138  0x0000000000000000, 0x0000000000000000,
139  0x0000000000000000, 0x0000000000000000,
140  0x0000000000000000, 0x0000000000000000,
141  0x0000000000000000, 0x0000000000000000,
142  0x0000000000000000, 0x0000000000000000,
143  0x0000000000000000, 0x0000000000000000,
144  0x0000000000000000, 0x0000000000000000,
145  0x0000000000000000, 0x0000000000000000,
146  0x0000000000000000, 0x0000000000000000,
147  0x0000000000000000, 0x0000000000000000,
148  0x0000000000000000, 0x0000000000000000,
149  0x0000000000000000, 0x0000000000000000,
150  0x0000000000000000, 0x0000000000000000,
151  0x0000000000000000, 0x0000000000000000,
152  0x0000000000000000, 0x0000000000000000,
153  0x0000000000000000, 0x0000000000000000,
154  0x0000000000000000, 0x0000000000000000,
155  0x0000000000000000, 0x0000000000000000,
156  0x0000000000000000, 0x0000000000000000,
157  0x0000000000000000, 0x0000000000000000,
158  0x0000000000000000, 0x0000000000000000,
159  0x0000000000000000, 0x0000000000000000,
160  0x0000000000000000, 0x0000000000000000,
161  0x0000000000000000, 0x0000000000000000,
162  0x0000000000000000, 0x0000000000000000,
163  0x0000000000000000, 0x0000000000000000,
164  0x0000000000000000, 0x0000000000000000,
165  0x0000000000000000, 0x0000000000000000,
166  0x0000000000000001, 0x0000000000000001,
167  0x0000000000000000, 0x0000000000000001,
168  0x0000000000000000, 0x0000000000000000,
169  0x0000000000000000, 0x0000000000000000,
170  0x0000000000000000, 0x0000000000000000,
171  0x0000000000000000, 0x0000000000000000,
172  0x0000000000000000, 0x0000000000000000,
173  0x0000000000000000, 0x0000000000000000,
174  0x0000000000000000, 0x0000000000000000,
175  0x0000000000000000, 0x0000000000000000,
176  0x0000000000000000, 0x0000000000000000,
177  0x0000000000000000, 0x0000000000000000,
178  0x0000000000000000, 0x0000000000000000,
179  0x0000000000000000, 0x0000000000000000,
180  0x0000000000000000, 0x0000000000000000,
181  0x0000000000000000, 0x0000000000000000,
182  0x0000000000000000, 0x0000000000000000,
183  0x0000000000000000, 0x0000000000000000,
184  0x0000000000000000, 0x0000000000000000,
185  0x0000000000000000, 0x0000000000000000,
186  0x0000000000000000, 0x0000000000000000,
187  0x0000000000000000, 0x0000000000000000,
188  0x0000000000000000, 0x0000000000000000,
189  0x0000000000000000, 0x0000000000000000,
190  0x0000000000000000, 0x0000000000000000,
191  0x0000000000000000, 0x0000000000000000,
192  0x0000000000000000, 0x0000000000000000,
193  0x0000000000000000, 0x0000000000000000,
194  0x0000000000000000, 0x0000000000000000,
195  0x0000000000000000, 0x0000000000000000,
196  0x0000000000000000, 0x0000000000000000,
197  0x0000000000000000, 0x0000000000000000,
198  0x0000000000000000, 0x0000000000000000,
199  0x0000000000000000, 0x0000000000000000,
200  0x0000000000000000, 0x0000000000000000,
201  0x0000000000000000, 0x0000000000000000,
202  0x0000000000000000, 0x0000000000000000,
203  0x0000000000000000, 0x0000000000000000,
204  0x0000000000000000, 0x0000000000000000,
205  0x0000000000000000, 0x0000000000000000,
206  0x0000000000000000, 0x0000000000000000,
207  0x0000000000000000, 0x0000000000000000,
208  0x0000000000000000, 0x0000000000000000,
209  0x0000000000000000, 0x0000000000000000,
210  0x0000000000000000, 0x0000000000000000,
211  0x0000000000000000, 0x0000000000000000,
212  0x0000000000000000, 0x0000000000000000,
213  0x0000000000000000, 0x0000000000000000,
214  0x0000000000000000, 0x0000000000000000,
215  0x0000000000000000, 0x0000000000000000,
216  0x0000000000000000, 0x0000000000000000,
217  0x0000000000000000, 0x0000000000000000,
218  0x0000000000000000, 0x0000000000000000,
219  0x0000000000000000, 0x0000000000000000,
220  0x0000000000000000, 0x0000000000000000,
221  0x0000000000000000, 0x0000000000000000,
222  0x0000000000000000, 0x0000000000000000,
223  0x0000000000000000, 0x0000000000000000,
224  0x0000000000000000, 0x0000000000000000,
225  0x0000000000000000, 0x0000000000000000,
226  0x0000000000000000, 0x0000000000000000,
227  0x0000000000000000, 0x0000000000000000,
228  0x0000000000000000, 0x0000000000000000,
229  0x0000000000000000, 0x0000000000000000,
230  0x0000000000000001, 0x0000000000000020,
231  0x0000000000000001, 0x0000000000000010,
232  0x0000000000000000, 0x0000000000000008,
233  0x0000000000000000, 0x0000000000000004,
234  0x0000000000000000, 0x0000000000000002,
235  0x0000000000000000, 0x0000000000000001,
236  0x0000000000000000, 0x0000000000000001,
237  0x0000000000000000, 0x0000000000000000,
238  0x0000000000000000, 0x0000000000000000,
239  0x0000000000000000, 0x0000000000000000,
240  0x0000000000000000, 0x0000000000000000,
241  0x0000000000000000, 0x0000000000000000,
242  0x0000000000000000, 0x0000000000000000,
243  0x0000000000000000, 0x0000000000000000,
244  0x0000000000000000, 0x0000000000000000,
245  0x0000000000000000, 0x0000000000000000,
246  0x0000000000000000, 0x0000000000000000,
247  0x0000000000000000, 0x0000000000000000,
248  0x0000000000000000, 0x0000000000000000,
249  0x0000000000000000, 0x0000000000000000,
250  0x0000000000000000, 0x0000000000000000,
251  0x0000000000000000, 0x0000000000000000,
252  0x0000000000000000, 0x0000000000000000,
253  0x0000000000000000, 0x0000000000000000,
254  0x0000000000000000, 0x0000000000000000,
255  0x0000000000000000, 0x0000000000000000,
256  0x0000000000000000, 0x0000000000000000,
257  0x0000000000000000, 0x0000000000000000,
258  0x0000000000000000, 0x0000000000000000,
259  0x0000000000000000, 0x0000000000000000,
260  0x0000000000000000, 0x0000000000000000,
261  0x0000000000000000, 0x0000000000000000,
262  0x0000000000000000, 0x0000000000000000,
263  0x0000000000000000, 0x0000000000000000,
264  0x0000000000000000, 0x0000000000000000,
265  0x0000000000000000, 0x0000000000000000,
266  0x0000000000000000, 0x0000000000000000,
267  0x0000000000000000, 0x0000000000000000,
268  0x0000000000000000, 0x0000000000000000,
269  0x0000000000000000, 0x0000000000000000,
270  0x0000000000000000, 0x0000000000000000,
271  0x0000000000000000, 0x0000000000000000,
272  0x0000000000000000, 0x0000000000000000,
273  0x0000000000000000, 0x0000000000000000,
274  0x0000000000000000, 0x0000000000000000,
275  0x0000000000000000, 0x0000000000000000,
276  0x0000000000000000, 0x0000000000000000,
277  0x0000000000000000, 0x0000000000000000,
278  0x0000000000000000, 0x0000000000000000,
279  0x0000000000000000, 0x0000000000000000,
280  0x0000000000000000, 0x0000000000000000,
281  0x0000000000000000, 0x0000000000000000,
282  0x0000000000000000, 0x0000000000000000,
283  0x0000000000000000, 0x0000000000000000,
284  0x0000000000000000, 0x0000000000000000,
285  0x0000000000000000, 0x0000000000000000,
286  0x0000000000000000, 0x0000000000000000,
287  0x0000000000000000, 0x0000000000000000,
288  0x0000000000000000, 0x0000000000000000,
289  0x0000000000000000, 0x0000000000000000,
290  0x0000000000000000, 0x0000000000000000,
291  0x0000000000000000, 0x0000000000000000,
292  0x0000000000000000, 0x0000000000000000,
293  0x0000000000000000, 0x0000000000000000,
294  0x0000000000000020, 0x000000000000003f,
295  0x0000000000000010, 0x000000000000001f,
296  0x0000000000000008, 0x0000000000000010,
297  0x0000000000000004, 0x0000000000000008,
298  0x0000000000000002, 0x0000000000000004,
299  0x0000000000000001, 0x0000000000000002,
300  0x0000000000000001, 0x0000000000000001,
301  0x0000000000000000, 0x0000000000000000,
302  0x0000000000000000, 0x0000000000000000,
303  0x0000000000000000, 0x0000000000000000,
304  0x0000000000000000, 0x0000000000000000,
305  0x0000000000000000, 0x0000000000000000,
306  0x0000000000000000, 0x0000000000000000,
307  0x0000000000000000, 0x0000000000000000,
308  0x0000000000000000, 0x0000000000000000,
309  0x0000000000000000, 0x0000000000000000,
310  0x0000000000000000, 0x0000000000000000,
311  0x0000000000000000, 0x0000000000000000,
312  0x0000000000000000, 0x0000000000000000,
313  0x0000000000000000, 0x0000000000000000,
314  0x0000000000000000, 0x0000000000000000,
315  0x0000000000000000, 0x0000000000000000,
316  0x0000000000000000, 0x0000000000000000,
317  0x0000000000000000, 0x0000000000000000,
318  0x0000000000000000, 0x0000000000000000,
319  0x0000000000000000, 0x0000000000000000,
320  0x0000000000000000, 0x0000000000000000,
321  0x0000000000000000, 0x0000000000000000,
322  0x0000000000000000, 0x0000000000000000,
323  0x0000000000000000, 0x0000000000000000,
324  0x0000000000000000, 0x0000000000000000,
325  0x0000000000000000, 0x0000000000000000,
326  0x0000000000000000, 0x0000000000000000,
327  0x0000000000000000, 0x0000000000000000,
328  0x0000000000000000, 0x0000000000000000,
329  0x0000000000000000, 0x0000000000000000,
330  0x0000000000000000, 0x0000000000000000,
331  0x0000000000000000, 0x0000000000000000,
332  0x0000000000000000, 0x0000000000000000,
333  0x0000000000000000, 0x0000000000000000,
334  0x0000000000000000, 0x0000000000000000,
335  0x0000000000000000, 0x0000000000000000,
336  0x0000000000000000, 0x0000000000000000,
337  0x0000000000000000, 0x0000000000000000,
338  0x0000000000000000, 0x0000000000000000,
339  0x0000000000000000, 0x0000000000000000,
340  0x0000000000000000, 0x0000000000000000,
341  0x0000000000000000, 0x0000000000000000,
342  0x0000000000000000, 0x0000000000000000,
343  0x0000000000000000, 0x0000000000000000,
344  0x0000000000000000, 0x0000000000000000,
345  0x0000000000000000, 0x0000000000000000,
346  0x0000000000000000, 0x0000000000000000,
347  0x0000000000000000, 0x0000000000000000,
348  0x0000000000000000, 0x0000000000000000,
349  0x0000000000000000, 0x0000000000000000,
350  0x0000000000000000, 0x0000000000000000,
351  0x0000000000000000, 0x0000000000000000,
352  0x0000000000000000, 0x0000000000000000,
353  0x0000000000000000, 0x0000000000000000,
354  0x0000000000000000, 0x0000000000000000,
355  0x0000000000000000, 0x0000000000000000,
356  0x0000000000000000, 0x0000000000000000,
357  0x0000000000000000, 0x0000000000000000,
358  0x000000000000003f, 0x000000000000003f,
359  0x000000000000001f, 0x0000000000000020,
360  0x0000000000000010, 0x0000000000000010,
361  0x0000000000000008, 0x0000000000000008,
362  0x0000000000000004, 0x0000000000000004,
363  0x0000000000000002, 0x0000000000000002,
364  0x0000000000000001, 0x0000000000000001,
365  0x0000000000000000, 0x0000000000000000,
366  0x0000000000000000, 0x0000000000000000,
367  0x0000000000000000, 0x0000000000000000,
368  0x0000000000000000, 0x0000000000000000,
369  0x0000000000000000, 0x0000000000000000,
370  0x0000000000000000, 0x0000000000000000,
371  0x0000000000000000, 0x0000000000000000,
372  0x0000000000000000, 0x0000000000000000,
373  0x0000000000000000, 0x0000000000000000,
374  0x0000000000000000, 0x0000000000000000,
375  0x0000000000000000, 0x0000000000000000,
376  0x0000000000000000, 0x0000000000000000,
377  0x0000000000000000, 0x0000000000000000,
378  0x0000000000000000, 0x0000000000000000,
379  0x0000000000000000, 0x0000000000000000,
380  0x0000000000000000, 0x0000000000000000,
381  0x0000000000000000, 0x0000000000000000,
382  0x0000000000000000, 0x0000000000000000,
383  0x0000000000000000, 0x0000000000000000,
384  0x0000000000000000, 0x0000000000000000,
385  0x0000000000000000, 0x0000000000000000,
386  0x0000000000000000, 0x0000000000000000,
387  0x0000000000000000, 0x0000000000000000,
388  0x0000000000000000, 0x0000000000000000,
389  0x0000000000000000, 0x0000000000000000,
390  0x0000000000000000, 0x0000000000000000,
391  0x0000000000000000, 0x0000000000000000,
392  0x0000000000000000, 0x0000000000000000,
393  0x0000000000000000, 0x0000000000000000,
394  0x0000000000000000, 0x0000000000000000,
395  0x0000000000000000, 0x0000000000000000,
396  0x0000000000000000, 0x0000000000000000,
397  0x0000000000000000, 0x0000000000000000,
398  0x0000000000000000, 0x0000000000000000,
399  0x0000000000000000, 0x0000000000000000,
400  0x0000000000000000, 0x0000000000000000,
401  0x0000000000000000, 0x0000000000000000,
402  0x0000000000000000, 0x0000000000000000,
403  0x0000000000000000, 0x0000000000000000,
404  0x0000000000000000, 0x0000000000000000,
405  0x0000000000000000, 0x0000000000000000,
406  0x0000000000000000, 0x0000000000000000,
407  0x0000000000000000, 0x0000000000000000,
408  0x0000000000000000, 0x0000000000000000,
409  0x0000000000000000, 0x0000000000000000,
410  0x0000000000000000, 0x0000000000000000,
411  0x0000000000000000, 0x0000000000000000,
412  0x0000000000000000, 0x0000000000000000,
413  0x0000000000000000, 0x0000000000000000,
414  0x0000000000000000, 0x0000000000000000,
415  0x0000000000000000, 0x0000000000000000,
416  0x0000000000000000, 0x0000000000000000,
417  0x0000000000000000, 0x0000000000000000,
418  0x0000000000000000, 0x0000000000000000,
419  0x0000000000000000, 0x0000000000000000,
420  0x0000000000000000, 0x0000000000000000,
421  0x0000000000000000, 0x0000000000000000,
422  0x000000000000003f, 0x0000000000000040,
423  0x0000000000000020, 0x0000000000000020,
424  0x0000000000000010, 0x0000000000000010,
425  0x0000000000000008, 0x0000000000000008,
426  0x0000000000000004, 0x0000000000000004,
427  0x0000000000000002, 0x0000000000000002,
428  0x0000000000000001, 0x0000000000000001,
429  0x0000000000000000, 0x0000000000000000,
430  0x0000000000000000, 0x0000000000000000,
431  0x0000000000000000, 0x0000000000000000,
432  0x0000000000000000, 0x0000000000000000,
433  0x0000000000000000, 0x0000000000000000,
434  0x0000000000000000, 0x0000000000000000,
435  0x0000000000000000, 0x0000000000000000,
436  0x0000000000000000, 0x0000000000000000,
437  0x0000000000000000, 0x0000000000000000,
438  0x0000000000000000, 0x0000000000000000,
439  0x0000000000000000, 0x0000000000000000,
440  0x0000000000000000, 0x0000000000000000,
441  0x0000000000000000, 0x0000000000000000,
442  0x0000000000000000, 0x0000000000000000,
443  0x0000000000000000, 0x0000000000000000,
444  0x0000000000000000, 0x0000000000000000,
445  0x0000000000000000, 0x0000000000000000,
446  0x0000000000000000, 0x0000000000000000,
447  0x0000000000000000, 0x0000000000000000,
448  0x0000000000000000, 0x0000000000000000,
449  0x0000000000000000, 0x0000000000000000,
450  0x0000000000000000, 0x0000000000000000,
451  0x0000000000000000, 0x0000000000000000,
452  0x0000000000000000, 0x0000000000000000,
453  0x0000000000000000, 0x0000000000000000,
454  0x0000000000000000, 0x0000000000000000,
455  0x0000000000000000, 0x0000000000000000,
456  0x0000000000000000, 0x0000000000000000,
457  0x0000000000000000, 0x0000000000000000,
458  0x0000000000000000, 0x0000000000000000,
459  0x0000000000000000, 0x0000000000000000,
460  0x0000000000000000, 0x0000000000000000,
461  0x0000000000000000, 0x0000000000000000,
462  0x0000000000000000, 0x0000000000000000,
463  0x0000000000000000, 0x0000000000000000,
464  0x0000000000000000, 0x0000000000000000,
465  0x0000000000000000, 0x0000000000000000,
466  0x0000000000000000, 0x0000000000000000,
467  0x0000000000000000, 0x0000000000000000,
468  0x0000000000000000, 0x0000000000000000,
469  0x0000000000000000, 0x0000000000000000,
470  0x0000000000000000, 0x0000000000000000,
471  0x0000000000000000, 0x0000000000000000,
472  0x0000000000000000, 0x0000000000000000,
473  0x0000000000000000, 0x0000000000000000,
474  0x0000000000000000, 0x0000000000000000,
475  0x0000000000000000, 0x0000000000000000,
476  0x0000000000000000, 0x0000000000000000,
477  0x0000000000000000, 0x0000000000000000,
478  0x0000000000000000, 0x0000000000000000,
479  0x0000000000000000, 0x0000000000000000,
480  0x0000000000000000, 0x0000000000000000,
481  0x0000000000000000, 0x0000000000000000,
482  0x0000000000000000, 0x0000000000000000,
483  0x0000000000000000, 0x0000000000000000,
484  0x0000000000000000, 0x0000000000000000,
485  0x0000000000000000, 0x0000000000000000,
486  0x0000000000000040, 0x0000000000003fff,
487  0x0000000000000020, 0x0000000000001fff,
488  0x0000000000000010, 0x0000000000001000,
489  0x0000000000000008, 0x0000000000000800,
490  0x0000000000000004, 0x0000000000000400,
491  0x0000000000000002, 0x0000000000000200,
492  0x0000000000000001, 0x0000000000000100,
493  0x0000000000000000, 0x0000000000000080,
494  0x0000000000000000, 0x0000000000000040,
495  0x0000000000000000, 0x0000000000000020,
496  0x0000000000000000, 0x0000000000000010,
497  0x0000000000000000, 0x0000000000000008,
498  0x0000000000000000, 0x0000000000000004,
499  0x0000000000000000, 0x0000000000000002,
500  0x0000000000000000, 0x0000000000000001,
501  0x0000000000000000, 0x0000000000000000,
502  0x0000000000000000, 0x0000000000000000,
503  0x0000000000000000, 0x0000000000000000,
504  0x0000000000000000, 0x0000000000000000,
505  0x0000000000000000, 0x0000000000000000,
506  0x0000000000000000, 0x0000000000000000,
507  0x0000000000000000, 0x0000000000000000,
508  0x0000000000000000, 0x0000000000000000,
509  0x0000000000000000, 0x0000000000000000,
510  0x0000000000000000, 0x0000000000000000,
511  0x0000000000000000, 0x0000000000000000,
512  0x0000000000000000, 0x0000000000000000,
513  0x0000000000000000, 0x0000000000000000,
514  0x0000000000000000, 0x0000000000000000,
515  0x0000000000000000, 0x0000000000000000,
516  0x0000000000000000, 0x0000000000000000,
517  0x0000000000000000, 0x0000000000000000,
518  0x0000000000000000, 0x0000000000000000,
519  0x0000000000000000, 0x0000000000000000,
520  0x0000000000000000, 0x0000000000000000,
521  0x0000000000000000, 0x0000000000000000,
522  0x0000000000000000, 0x0000000000000000,
523  0x0000000000000000, 0x0000000000000000,
524  0x0000000000000000, 0x0000000000000000,
525  0x0000000000000000, 0x0000000000000000,
526  0x0000000000000000, 0x0000000000000000,
527  0x0000000000000000, 0x0000000000000000,
528  0x0000000000000000, 0x0000000000000000,
529  0x0000000000000000, 0x0000000000000000,
530  0x0000000000000000, 0x0000000000000000,
531  0x0000000000000000, 0x0000000000000000,
532  0x0000000000000000, 0x0000000000000000,
533  0x0000000000000000, 0x0000000000000000,
534  0x0000000000000000, 0x0000000000000000,
535  0x0000000000000000, 0x0000000000000000,
536  0x0000000000000000, 0x0000000000000000,
537  0x0000000000000000, 0x0000000000000000,
538  0x0000000000000000, 0x0000000000000000,
539  0x0000000000000000, 0x0000000000000000,
540  0x0000000000000000, 0x0000000000000000,
541  0x0000000000000000, 0x0000000000000000,
542  0x0000000000000000, 0x0000000000000000,
543  0x0000000000000000, 0x0000000000000000,
544  0x0000000000000000, 0x0000000000000000,
545  0x0000000000000000, 0x0000000000000000,
546  0x0000000000000000, 0x0000000000000000,
547  0x0000000000000000, 0x0000000000000000,
548  0x0000000000000000, 0x0000000000000000,
549  0x0000000000000000, 0x0000000000000000,
550  0x0000000000003fff, 0x0000000000003fff,
551  0x0000000000001fff, 0x0000000000002000,
552  0x0000000000001000, 0x0000000000001000,
553  0x0000000000000800, 0x0000000000000800,
554  0x0000000000000400, 0x0000000000000400,
555  0x0000000000000200, 0x0000000000000200,
556  0x0000000000000100, 0x0000000000000100,
557  0x0000000000000080, 0x0000000000000080,
558  0x0000000000000040, 0x0000000000000040,
559  0x0000000000000020, 0x0000000000000020,
560  0x0000000000000010, 0x0000000000000010,
561  0x0000000000000008, 0x0000000000000008,
562  0x0000000000000004, 0x0000000000000004,
563  0x0000000000000002, 0x0000000000000002,
564  0x0000000000000001, 0x0000000000000001,
565  0x0000000000000000, 0x0000000000000000,
566  0x0000000000000000, 0x0000000000000000,
567  0x0000000000000000, 0x0000000000000000,
568  0x0000000000000000, 0x0000000000000000,
569  0x0000000000000000, 0x0000000000000000,
570  0x0000000000000000, 0x0000000000000000,
571  0x0000000000000000, 0x0000000000000000,
572  0x0000000000000000, 0x0000000000000000,
573  0x0000000000000000, 0x0000000000000000,
574  0x0000000000000000, 0x0000000000000000,
575  0x0000000000000000, 0x0000000000000000,
576  0x0000000000000000, 0x0000000000000000,
577  0x0000000000000000, 0x0000000000000000,
578  0x0000000000000000, 0x0000000000000000,
579  0x0000000000000000, 0x0000000000000000,
580  0x0000000000000000, 0x0000000000000000,
581  0x0000000000000000, 0x0000000000000000,
582  0x0000000000000000, 0x0000000000000000,
583  0x0000000000000000, 0x0000000000000000,
584  0x0000000000000000, 0x0000000000000000,
585  0x0000000000000000, 0x0000000000000000,
586  0x0000000000000000, 0x0000000000000000,
587  0x0000000000000000, 0x0000000000000000,
588  0x0000000000000000, 0x0000000000000000,
589  0x0000000000000000, 0x0000000000000000,
590  0x0000000000000000, 0x0000000000000000,
591  0x0000000000000000, 0x0000000000000000,
592  0x0000000000000000, 0x0000000000000000,
593  0x0000000000000000, 0x0000000000000000,
594  0x0000000000000000, 0x0000000000000000,
595  0x0000000000000000, 0x0000000000000000,
596  0x0000000000000000, 0x0000000000000000,
597  0x0000000000000000, 0x0000000000000000,
598  0x0000000000000000, 0x0000000000000000,
599  0x0000000000000000, 0x0000000000000000,
600  0x0000000000000000, 0x0000000000000000,
601  0x0000000000000000, 0x0000000000000000,
602  0x0000000000000000, 0x0000000000000000,
603  0x0000000000000000, 0x0000000000000000,
604  0x0000000000000000, 0x0000000000000000,
605  0x0000000000000000, 0x0000000000000000,
606  0x0000000000000000, 0x0000000000000000,
607  0x0000000000000000, 0x0000000000000000,
608  0x0000000000000000, 0x0000000000000000,
609  0x0000000000000000, 0x0000000000000000,
610  0x0000000000000000, 0x0000000000000000,
611  0x0000000000000000, 0x0000000000000000,
612  0x0000000000000000, 0x0000000000000000,
613  0x0000000000000000, 0x0000000000000000,
614  0x0000000000003fff, 0x0000000000004000,
615  0x0000000000002000, 0x0000000000002000,
616  0x0000000000001000, 0x0000000000001000,
617  0x0000000000000800, 0x0000000000000800,
618  0x0000000000000400, 0x0000000000000400,
619  0x0000000000000200, 0x0000000000000200,
620  0x0000000000000100, 0x0000000000000100,
621  0x0000000000000080, 0x0000000000000080,
622  0x0000000000000040, 0x0000000000000040,
623  0x0000000000000020, 0x0000000000000020,
624  0x0000000000000010, 0x0000000000000010,
625  0x0000000000000008, 0x0000000000000008,
626  0x0000000000000004, 0x0000000000000004,
627  0x0000000000000002, 0x0000000000000002,
628  0x0000000000000001, 0x0000000000000001,
629  0x0000000000000000, 0x0000000000000000,
630  0x0000000000000000, 0x0000000000000000,
631  0x0000000000000000, 0x0000000000000000,
632  0x0000000000000000, 0x0000000000000000,
633  0x0000000000000000, 0x0000000000000000,
634  0x0000000000000000, 0x0000000000000000,
635  0x0000000000000000, 0x0000000000000000,
636  0x0000000000000000, 0x0000000000000000,
637  0x0000000000000000, 0x0000000000000000,
638  0x0000000000000000, 0x0000000000000000,
639  0x0000000000000000, 0x0000000000000000,
640  0x0000000000000000, 0x0000000000000000,
641  0x0000000000000000, 0x0000000000000000,
642  0x0000000000000000, 0x0000000000000000,
643  0x0000000000000000, 0x0000000000000000,
644  0x0000000000000000, 0x0000000000000000,
645  0x0000000000000000, 0x0000000000000000,
646  0x0000000000000000, 0x0000000000000000,
647  0x0000000000000000, 0x0000000000000000,
648  0x0000000000000000, 0x0000000000000000,
649  0x0000000000000000, 0x0000000000000000,
650  0x0000000000000000, 0x0000000000000000,
651  0x0000000000000000, 0x0000000000000000,
652  0x0000000000000000, 0x0000000000000000,
653  0x0000000000000000, 0x0000000000000000,
654  0x0000000000000000, 0x0000000000000000,
655  0x0000000000000000, 0x0000000000000000,
656  0x0000000000000000, 0x0000000000000000,
657  0x0000000000000000, 0x0000000000000000,
658  0x0000000000000000, 0x0000000000000000,
659  0x0000000000000000, 0x0000000000000000,
660  0x0000000000000000, 0x0000000000000000,
661  0x0000000000000000, 0x0000000000000000,
662  0x0000000000000000, 0x0000000000000000,
663  0x0000000000000000, 0x0000000000000000,
664  0x0000000000000000, 0x0000000000000000,
665  0x0000000000000000, 0x0000000000000000,
666  0x0000000000000000, 0x0000000000000000,
667  0x0000000000000000, 0x0000000000000000,
668  0x0000000000000000, 0x0000000000000000,
669  0x0000000000000000, 0x0000000000000000,
670  0x0000000000000000, 0x0000000000000000,
671  0x0000000000000000, 0x0000000000000000,
672  0x0000000000000000, 0x0000000000000000,
673  0x0000000000000000, 0x0000000000000000,
674  0x0000000000000000, 0x0000000000000000,
675  0x0000000000000000, 0x0000000000000000,
676  0x0000000000000000, 0x0000000000000000,
677  0x0000000000000000, 0x0000000000000000,
678  0x0000000000004000, 0x000000003fffffff,
679  0x0000000000002000, 0x000000001fffffff,
680  0x0000000000001000, 0x0000000010000000,
681  0x0000000000000800, 0x0000000008000000,
682  0x0000000000000400, 0x0000000004000000,
683  0x0000000000000200, 0x0000000002000000,
684  0x0000000000000100, 0x0000000001000000,
685  0x0000000000000080, 0x0000000000800000,
686  0x0000000000000040, 0x0000000000400000,
687  0x0000000000000020, 0x0000000000200000,
688  0x0000000000000010, 0x0000000000100000,
689  0x0000000000000008, 0x0000000000080000,
690  0x0000000000000004, 0x0000000000040000,
691  0x0000000000000002, 0x0000000000020000,
692  0x0000000000000001, 0x0000000000010000,
693  0x0000000000000000, 0x0000000000008000,
694  0x0000000000000000, 0x0000000000004000,
695  0x0000000000000000, 0x0000000000002000,
696  0x0000000000000000, 0x0000000000001000,
697  0x0000000000000000, 0x0000000000000800,
698  0x0000000000000000, 0x0000000000000400,
699  0x0000000000000000, 0x0000000000000200,
700  0x0000000000000000, 0x0000000000000100,
701  0x0000000000000000, 0x0000000000000080,
702  0x0000000000000000, 0x0000000000000040,
703  0x0000000000000000, 0x0000000000000020,
704  0x0000000000000000, 0x0000000000000010,
705  0x0000000000000000, 0x0000000000000008,
706  0x0000000000000000, 0x0000000000000004,
707  0x0000000000000000, 0x0000000000000002,
708  0x0000000000000000, 0x0000000000000001,
709  0x0000000000000000, 0x0000000000000000,
710  0x0000000000000000, 0x0000000000000000,
711  0x0000000000000000, 0x0000000000000000,
712  0x0000000000000000, 0x0000000000000000,
713  0x0000000000000000, 0x0000000000000000,
714  0x0000000000000000, 0x0000000000000000,
715  0x0000000000000000, 0x0000000000000000,
716  0x0000000000000000, 0x0000000000000000,
717  0x0000000000000000, 0x0000000000000000,
718  0x0000000000000000, 0x0000000000000000,
719  0x0000000000000000, 0x0000000000000000,
720  0x0000000000000000, 0x0000000000000000,
721  0x0000000000000000, 0x0000000000000000,
722  0x0000000000000000, 0x0000000000000000,
723  0x0000000000000000, 0x0000000000000000,
724  0x0000000000000000, 0x0000000000000000,
725  0x0000000000000000, 0x0000000000000000,
726  0x0000000000000000, 0x0000000000000000,
727  0x0000000000000000, 0x0000000000000000,
728  0x0000000000000000, 0x0000000000000000,
729  0x0000000000000000, 0x0000000000000000,
730  0x0000000000000000, 0x0000000000000000,
731  0x0000000000000000, 0x0000000000000000,
732  0x0000000000000000, 0x0000000000000000,
733  0x0000000000000000, 0x0000000000000000,
734  0x0000000000000000, 0x0000000000000000,
735  0x0000000000000000, 0x0000000000000000,
736  0x0000000000000000, 0x0000000000000000,
737  0x0000000000000000, 0x0000000000000000,
738  0x0000000000000000, 0x0000000000000000,
739  0x0000000000000000, 0x0000000000000000,
740  0x0000000000000000, 0x0000000000000000,
741  0x0000000000000000, 0x0000000000000000,
742  0x000000003fffffff, 0x000000003fffffff,
743  0x000000001fffffff, 0x0000000020000000,
744  0x0000000010000000, 0x0000000010000000,
745  0x0000000008000000, 0x0000000008000000,
746  0x0000000004000000, 0x0000000004000000,
747  0x0000000002000000, 0x0000000002000000,
748  0x0000000001000000, 0x0000000001000000,
749  0x0000000000800000, 0x0000000000800000,
750  0x0000000000400000, 0x0000000000400000,
751  0x0000000000200000, 0x0000000000200000,
752  0x0000000000100000, 0x0000000000100000,
753  0x0000000000080000, 0x0000000000080000,
754  0x0000000000040000, 0x0000000000040000,
755  0x0000000000020000, 0x0000000000020000,
756  0x0000000000010000, 0x0000000000010000,
757  0x0000000000008000, 0x0000000000008000,
758  0x0000000000004000, 0x0000000000004000,
759  0x0000000000002000, 0x0000000000002000,
760  0x0000000000001000, 0x0000000000001000,
761  0x0000000000000800, 0x0000000000000800,
762  0x0000000000000400, 0x0000000000000400,
763  0x0000000000000200, 0x0000000000000200,
764  0x0000000000000100, 0x0000000000000100,
765  0x0000000000000080, 0x0000000000000080,
766  0x0000000000000040, 0x0000000000000040,
767  0x0000000000000020, 0x0000000000000020,
768  0x0000000000000010, 0x0000000000000010,
769  0x0000000000000008, 0x0000000000000008,
770  0x0000000000000004, 0x0000000000000004,
771  0x0000000000000002, 0x0000000000000002,
772  0x0000000000000001, 0x0000000000000001,
773  0x0000000000000000, 0x0000000000000000,
774  0x0000000000000000, 0x0000000000000000,
775  0x0000000000000000, 0x0000000000000000,
776  0x0000000000000000, 0x0000000000000000,
777  0x0000000000000000, 0x0000000000000000,
778  0x0000000000000000, 0x0000000000000000,
779  0x0000000000000000, 0x0000000000000000,
780  0x0000000000000000, 0x0000000000000000,
781  0x0000000000000000, 0x0000000000000000,
782  0x0000000000000000, 0x0000000000000000,
783  0x0000000000000000, 0x0000000000000000,
784  0x0000000000000000, 0x0000000000000000,
785  0x0000000000000000, 0x0000000000000000,
786  0x0000000000000000, 0x0000000000000000,
787  0x0000000000000000, 0x0000000000000000,
788  0x0000000000000000, 0x0000000000000000,
789  0x0000000000000000, 0x0000000000000000,
790  0x0000000000000000, 0x0000000000000000,
791  0x0000000000000000, 0x0000000000000000,
792  0x0000000000000000, 0x0000000000000000,
793  0x0000000000000000, 0x0000000000000000,
794  0x0000000000000000, 0x0000000000000000,
795  0x0000000000000000, 0x0000000000000000,
796  0x0000000000000000, 0x0000000000000000,
797  0x0000000000000000, 0x0000000000000000,
798  0x0000000000000000, 0x0000000000000000,
799  0x0000000000000000, 0x0000000000000000,
800  0x0000000000000000, 0x0000000000000000,
801  0x0000000000000000, 0x0000000000000000,
802  0x0000000000000000, 0x0000000000000000,
803  0x0000000000000000, 0x0000000000000000,
804  0x0000000000000000, 0x0000000000000000,
805  0x0000000000000000, 0x0000000000000000,
806  0x000000003fffffff, 0x0000000040000000,
807  0x0000000020000000, 0x0000000020000000,
808  0x0000000010000000, 0x0000000010000000,
809  0x0000000008000000, 0x0000000008000000,
810  0x0000000004000000, 0x0000000004000000,
811  0x0000000002000000, 0x0000000002000000,
812  0x0000000001000000, 0x0000000001000000,
813  0x0000000000800000, 0x0000000000800000,
814  0x0000000000400000, 0x0000000000400000,
815  0x0000000000200000, 0x0000000000200000,
816  0x0000000000100000, 0x0000000000100000,
817  0x0000000000080000, 0x0000000000080000,
818  0x0000000000040000, 0x0000000000040000,
819  0x0000000000020000, 0x0000000000020000,
820  0x0000000000010000, 0x0000000000010000,
821  0x0000000000008000, 0x0000000000008000,
822  0x0000000000004000, 0x0000000000004000,
823  0x0000000000002000, 0x0000000000002000,
824  0x0000000000001000, 0x0000000000001000,
825  0x0000000000000800, 0x0000000000000800,
826  0x0000000000000400, 0x0000000000000400,
827  0x0000000000000200, 0x0000000000000200,
828  0x0000000000000100, 0x0000000000000100,
829  0x0000000000000080, 0x0000000000000080,
830  0x0000000000000040, 0x0000000000000040,
831  0x0000000000000020, 0x0000000000000020,
832  0x0000000000000010, 0x0000000000000010,
833  0x0000000000000008, 0x0000000000000008,
834  0x0000000000000004, 0x0000000000000004,
835  0x0000000000000002, 0x0000000000000002,
836  0x0000000000000001, 0x0000000000000001,
837  0x0000000000000000, 0x0000000000000000,
838  0x0000000000000000, 0x0000000000000000,
839  0x0000000000000000, 0x0000000000000000,
840  0x0000000000000000, 0x0000000000000000,
841  0x0000000000000000, 0x0000000000000000,
842  0x0000000000000000, 0x0000000000000000,
843  0x0000000000000000, 0x0000000000000000,
844  0x0000000000000000, 0x0000000000000000,
845  0x0000000000000000, 0x0000000000000000,
846  0x0000000000000000, 0x0000000000000000,
847  0x0000000000000000, 0x0000000000000000,
848  0x0000000000000000, 0x0000000000000000,
849  0x0000000000000000, 0x0000000000000000,
850  0x0000000000000000, 0x0000000000000000,
851  0x0000000000000000, 0x0000000000000000,
852  0x0000000000000000, 0x0000000000000000,
853  0x0000000000000000, 0x0000000000000000,
854  0x0000000000000000, 0x0000000000000000,
855  0x0000000000000000, 0x0000000000000000,
856  0x0000000000000000, 0x0000000000000000,
857  0x0000000000000000, 0x0000000000000000,
858  0x0000000000000000, 0x0000000000000000,
859  0x0000000000000000, 0x0000000000000000,
860  0x0000000000000000, 0x0000000000000000,
861  0x0000000000000000, 0x0000000000000000,
862  0x0000000000000000, 0x0000000000000000,
863  0x0000000000000000, 0x0000000000000000,
864  0x0000000000000000, 0x0000000000000000,
865  0x0000000000000000, 0x0000000000000000,
866  0x0000000000000000, 0x0000000000000000,
867  0x0000000000000000, 0x0000000000000000,
868  0x0000000000000000, 0x0000000000000000,
869  0x0000000000000000, 0x0000000000000000,
870  0x0000000040000000, 0x199999999999999a,
871  0x0000000020000000, 0x0ccccccccccccccd,
872  0x0000000010000000, 0x0666666666666666,
873  0x0000000008000000, 0x0333333333333333,
874  0x0000000004000000, 0x019999999999999a,
875  0x0000000002000000, 0x00cccccccccccccd,
876  0x0000000001000000, 0x0066666666666666,
877  0x0000000000800000, 0x0033333333333333,
878  0x0000000000400000, 0x001999999999999a,
879  0x0000000000200000, 0x000ccccccccccccd,
880  0x0000000000100000, 0x0006666666666666,
881  0x0000000000080000, 0x0003333333333333,
882  0x0000000000040000, 0x000199999999999a,
883  0x0000000000020000, 0x0000cccccccccccd,
884  0x0000000000010000, 0x0000666666666666,
885  0x0000000000008000, 0x0000333333333333,
886  0x0000000000004000, 0x000019999999999a,
887  0x0000000000002000, 0x00000ccccccccccd,
888  0x0000000000001000, 0x0000066666666666,
889  0x0000000000000800, 0x0000033333333333,
890  0x0000000000000400, 0x000001999999999a,
891  0x0000000000000200, 0x000000cccccccccd,
892  0x0000000000000100, 0x0000006666666666,
893  0x0000000000000080, 0x0000003333333333,
894  0x0000000000000040, 0x000000199999999a,
895  0x0000000000000020, 0x0000000ccccccccd,
896  0x0000000000000010, 0x0000000666666666,
897  0x0000000000000008, 0x0000000333333333,
898  0x0000000000000004, 0x000000019999999a,
899  0x0000000000000002, 0x00000000cccccccd,
900  0x0000000000000001, 0x0000000066666666,
901  0x0000000000000000, 0x0000000033333333,
902  0x0000000000000000, 0x000000001999999a,
903  0x0000000000000000, 0x000000000ccccccd,
904  0x0000000000000000, 0x0000000006666666,
905  0x0000000000000000, 0x0000000003333333,
906  0x0000000000000000, 0x000000000199999a,
907  0x0000000000000000, 0x0000000000cccccd,
908  0x0000000000000000, 0x0000000000666666,
909  0x0000000000000000, 0x0000000000333333,
910  0x0000000000000000, 0x000000000019999a,
911  0x0000000000000000, 0x00000000000ccccd,
912  0x0000000000000000, 0x0000000000066666,
913  0x0000000000000000, 0x0000000000033333,
914  0x0000000000000000, 0x000000000001999a,
915  0x0000000000000000, 0x000000000000cccd,
916  0x0000000000000000, 0x0000000000006666,
917  0x0000000000000000, 0x0000000000003333,
918  0x0000000000000000, 0x000000000000199a,
919  0x0000000000000000, 0x0000000000000ccd,
920  0x0000000000000000, 0x0000000000000666,
921  0x0000000000000000, 0x0000000000000333,
922  0x0000000000000000, 0x000000000000019a,
923  0x0000000000000000, 0x00000000000000cd,
924  0x0000000000000000, 0x0000000000000066,
925  0x0000000000000000, 0x0000000000000033,
926  0x0000000000000000, 0x000000000000001a,
927  0x0000000000000000, 0x000000000000000d,
928  0x0000000000000000, 0x0000000000000006,
929  0x0000000000000000, 0x0000000000000003,
930  0x0000000000000000, 0x0000000000000002,
931  0x0000000000000000, 0x0000000000000001,
932  0x0000000000000000, 0x0000000000000000,
933  0x0000000000000000, 0x0000000000000000,
934  0x199999999999999a, 0x2aaaaaaaaaaaaaab,
935  0x0ccccccccccccccd, 0x1555555555555555,
936  0x0666666666666666, 0x0aaaaaaaaaaaaaab,
937  0x0333333333333333, 0x0555555555555555,
938  0x019999999999999a, 0x02aaaaaaaaaaaaab,
939  0x00cccccccccccccd, 0x0155555555555555,
940  0x0066666666666666, 0x00aaaaaaaaaaaaab,
941  0x0033333333333333, 0x0055555555555555,
942  0x001999999999999a, 0x002aaaaaaaaaaaab,
943  0x000ccccccccccccd, 0x0015555555555555,
944  0x0006666666666666, 0x000aaaaaaaaaaaab,
945  0x0003333333333333, 0x0005555555555555,
946  0x000199999999999a, 0x0002aaaaaaaaaaab,
947  0x0000cccccccccccd, 0x0001555555555555,
948  0x0000666666666666, 0x0000aaaaaaaaaaab,
949  0x0000333333333333, 0x0000555555555555,
950  0x000019999999999a, 0x00002aaaaaaaaaab,
951  0x00000ccccccccccd, 0x0000155555555555,
952  0x0000066666666666, 0x00000aaaaaaaaaab,
953  0x0000033333333333, 0x0000055555555555,
954  0x000001999999999a, 0x000002aaaaaaaaab,
955  0x000000cccccccccd, 0x0000015555555555,
956  0x0000006666666666, 0x000000aaaaaaaaab,
957  0x0000003333333333, 0x0000005555555555,
958  0x000000199999999a, 0x0000002aaaaaaaab,
959  0x0000000ccccccccd, 0x0000001555555555,
960  0x0000000666666666, 0x0000000aaaaaaaab,
961  0x0000000333333333, 0x0000000555555555,
962  0x000000019999999a, 0x00000002aaaaaaab,
963  0x00000000cccccccd, 0x0000000155555555,
964  0x0000000066666666, 0x00000000aaaaaaab,
965  0x0000000033333333, 0x0000000055555555,
966  0x000000001999999a, 0x000000002aaaaaab,
967  0x000000000ccccccd, 0x0000000015555555,
968  0x0000000006666666, 0x000000000aaaaaab,
969  0x0000000003333333, 0x0000000005555555,
970  0x000000000199999a, 0x0000000002aaaaab,
971  0x0000000000cccccd, 0x0000000001555555,
972  0x0000000000666666, 0x0000000000aaaaab,
973  0x0000000000333333, 0x0000000000555555,
974  0x000000000019999a, 0x00000000002aaaab,
975  0x00000000000ccccd, 0x0000000000155555,
976  0x0000000000066666, 0x00000000000aaaab,
977  0x0000000000033333, 0x0000000000055555,
978  0x000000000001999a, 0x000000000002aaab,
979  0x000000000000cccd, 0x0000000000015555,
980  0x0000000000006666, 0x000000000000aaab,
981  0x0000000000003333, 0x0000000000005555,
982  0x000000000000199a, 0x0000000000002aab,
983  0x0000000000000ccd, 0x0000000000001555,
984  0x0000000000000666, 0x0000000000000aab,
985  0x0000000000000333, 0x0000000000000555,
986  0x000000000000019a, 0x00000000000002ab,
987  0x00000000000000cd, 0x0000000000000155,
988  0x0000000000000066, 0x00000000000000ab,
989  0x0000000000000033, 0x0000000000000055,
990  0x000000000000001a, 0x000000000000002b,
991  0x000000000000000d, 0x0000000000000015,
992  0x0000000000000006, 0x000000000000000b,
993  0x0000000000000003, 0x0000000000000005,
994  0x0000000000000002, 0x0000000000000003,
995  0x0000000000000001, 0x0000000000000001,
996  0x0000000000000000, 0x0000000000000001,
997  0x0000000000000000, 0x0000000000000000,
998  0x2aaaaaaaaaaaaaab, 0x3fffffffffffffff,
999  0x1555555555555555, 0x1fffffffffffffff,
1000  0x0aaaaaaaaaaaaaab, 0x1000000000000000,
1001  0x0555555555555555, 0x0800000000000000,
1002  0x02aaaaaaaaaaaaab, 0x0400000000000000,
1003  0x0155555555555555, 0x0200000000000000,
1004  0x00aaaaaaaaaaaaab, 0x0100000000000000,
1005  0x0055555555555555, 0x0080000000000000,
1006  0x002aaaaaaaaaaaab, 0x0040000000000000,
1007  0x0015555555555555, 0x0020000000000000,
1008  0x000aaaaaaaaaaaab, 0x0010000000000000,
1009  0x0005555555555555, 0x0008000000000000,
1010  0x0002aaaaaaaaaaab, 0x0004000000000000,
1011  0x0001555555555555, 0x0002000000000000,
1012  0x0000aaaaaaaaaaab, 0x0001000000000000,
1013  0x0000555555555555, 0x0000800000000000,
1014  0x00002aaaaaaaaaab, 0x0000400000000000,
1015  0x0000155555555555, 0x0000200000000000,
1016  0x00000aaaaaaaaaab, 0x0000100000000000,
1017  0x0000055555555555, 0x0000080000000000,
1018  0x000002aaaaaaaaab, 0x0000040000000000,
1019  0x0000015555555555, 0x0000020000000000,
1020  0x000000aaaaaaaaab, 0x0000010000000000,
1021  0x0000005555555555, 0x0000008000000000,
1022  0x0000002aaaaaaaab, 0x0000004000000000,
1023  0x0000001555555555, 0x0000002000000000,
1024  0x0000000aaaaaaaab, 0x0000001000000000,
1025  0x0000000555555555, 0x0000000800000000,
1026  0x00000002aaaaaaab, 0x0000000400000000,
1027  0x0000000155555555, 0x0000000200000000,
1028  0x00000000aaaaaaab, 0x0000000100000000,
1029  0x0000000055555555, 0x0000000080000000,
1030  0x000000002aaaaaab, 0x0000000040000000,
1031  0x0000000015555555, 0x0000000020000000,
1032  0x000000000aaaaaab, 0x0000000010000000,
1033  0x0000000005555555, 0x0000000008000000,
1034  0x0000000002aaaaab, 0x0000000004000000,
1035  0x0000000001555555, 0x0000000002000000,
1036  0x0000000000aaaaab, 0x0000000001000000,
1037  0x0000000000555555, 0x0000000000800000,
1038  0x00000000002aaaab, 0x0000000000400000,
1039  0x0000000000155555, 0x0000000000200000,
1040  0x00000000000aaaab, 0x0000000000100000,
1041  0x0000000000055555, 0x0000000000080000,
1042  0x000000000002aaab, 0x0000000000040000,
1043  0x0000000000015555, 0x0000000000020000,
1044  0x000000000000aaab, 0x0000000000010000,
1045  0x0000000000005555, 0x0000000000008000,
1046  0x0000000000002aab, 0x0000000000004000,
1047  0x0000000000001555, 0x0000000000002000,
1048  0x0000000000000aab, 0x0000000000001000,
1049  0x0000000000000555, 0x0000000000000800,
1050  0x00000000000002ab, 0x0000000000000400,
1051  0x0000000000000155, 0x0000000000000200,
1052  0x00000000000000ab, 0x0000000000000100,
1053  0x0000000000000055, 0x0000000000000080,
1054  0x000000000000002b, 0x0000000000000040,
1055  0x0000000000000015, 0x0000000000000020,
1056  0x000000000000000b, 0x0000000000000010,
1057  0x0000000000000005, 0x0000000000000008,
1058  0x0000000000000003, 0x0000000000000004,
1059  0x0000000000000001, 0x0000000000000002,
1060  0x0000000000000001, 0x0000000000000001,
1061  0x0000000000000000, 0x0000000000000000,
1062  0x3fffffffffffffff, 0x3fffffffffffffff,
1063  0x1fffffffffffffff, 0x2000000000000000,
1064  0x1000000000000000, 0x1000000000000000,
1065  0x0800000000000000, 0x0800000000000000,
1066  0x0400000000000000, 0x0400000000000000,
1067  0x0200000000000000, 0x0200000000000000,
1068  0x0100000000000000, 0x0100000000000000,
1069  0x0080000000000000, 0x0080000000000000,
1070  0x0040000000000000, 0x0040000000000000,
1071  0x0020000000000000, 0x0020000000000000,
1072  0x0010000000000000, 0x0010000000000000,
1073  0x0008000000000000, 0x0008000000000000,
1074  0x0004000000000000, 0x0004000000000000,
1075  0x0002000000000000, 0x0002000000000000,
1076  0x0001000000000000, 0x0001000000000000,
1077  0x0000800000000000, 0x0000800000000000,
1078  0x0000400000000000, 0x0000400000000000,
1079  0x0000200000000000, 0x0000200000000000,
1080  0x0000100000000000, 0x0000100000000000,
1081  0x0000080000000000, 0x0000080000000000,
1082  0x0000040000000000, 0x0000040000000000,
1083  0x0000020000000000, 0x0000020000000000,
1084  0x0000010000000000, 0x0000010000000000,
1085  0x0000008000000000, 0x0000008000000000,
1086  0x0000004000000000, 0x0000004000000000,
1087  0x0000002000000000, 0x0000002000000000,
1088  0x0000001000000000, 0x0000001000000000,
1089  0x0000000800000000, 0x0000000800000000,
1090  0x0000000400000000, 0x0000000400000000,
1091  0x0000000200000000, 0x0000000200000000,
1092  0x0000000100000000, 0x0000000100000000,
1093  0x0000000080000000, 0x0000000080000000,
1094  0x0000000040000000, 0x0000000040000000,
1095  0x0000000020000000, 0x0000000020000000,
1096  0x0000000010000000, 0x0000000010000000,
1097  0x0000000008000000, 0x0000000008000000,
1098  0x0000000004000000, 0x0000000004000000,
1099  0x0000000002000000, 0x0000000002000000,
1100  0x0000000001000000, 0x0000000001000000,
1101  0x0000000000800000, 0x0000000000800000,
1102  0x0000000000400000, 0x0000000000400000,
1103  0x0000000000200000, 0x0000000000200000,
1104  0x0000000000100000, 0x0000000000100000,
1105  0x0000000000080000, 0x0000000000080000,
1106  0x0000000000040000, 0x0000000000040000,
1107  0x0000000000020000, 0x0000000000020000,
1108  0x0000000000010000, 0x0000000000010000,
1109  0x0000000000008000, 0x0000000000008000,
1110  0x0000000000004000, 0x0000000000004000,
1111  0x0000000000002000, 0x0000000000002000,
1112  0x0000000000001000, 0x0000000000001000,
1113  0x0000000000000800, 0x0000000000000800,
1114  0x0000000000000400, 0x0000000000000400,
1115  0x0000000000000200, 0x0000000000000200,
1116  0x0000000000000100, 0x0000000000000100,
1117  0x0000000000000080, 0x0000000000000080,
1118  0x0000000000000040, 0x0000000000000040,
1119  0x0000000000000020, 0x0000000000000020,
1120  0x0000000000000010, 0x0000000000000010,
1121  0x0000000000000008, 0x0000000000000008,
1122  0x0000000000000004, 0x0000000000000004,
1123  0x0000000000000002, 0x0000000000000002,
1124  0x0000000000000001, 0x0000000000000001,
1125  0x0000000000000000, 0x0000000000000000,
1126  0x3fffffffffffffff, 0x4000000000000000,
1127  0x2000000000000000, 0x2000000000000000,
1128  0x1000000000000000, 0x1000000000000000,
1129  0x0800000000000000, 0x0800000000000000,
1130  0x0400000000000000, 0x0400000000000000,
1131  0x0200000000000000, 0x0200000000000000,
1132  0x0100000000000000, 0x0100000000000000,
1133  0x0080000000000000, 0x0080000000000000,
1134  0x0040000000000000, 0x0040000000000000,
1135  0x0020000000000000, 0x0020000000000000,
1136  0x0010000000000000, 0x0010000000000000,
1137  0x0008000000000000, 0x0008000000000000,
1138  0x0004000000000000, 0x0004000000000000,
1139  0x0002000000000000, 0x0002000000000000,
1140  0x0001000000000000, 0x0001000000000000,
1141  0x0000800000000000, 0x0000800000000000,
1142  0x0000400000000000, 0x0000400000000000,
1143  0x0000200000000000, 0x0000200000000000,
1144  0x0000100000000000, 0x0000100000000000,
1145  0x0000080000000000, 0x0000080000000000,
1146  0x0000040000000000, 0x0000040000000000,
1147  0x0000020000000000, 0x0000020000000000,
1148  0x0000010000000000, 0x0000010000000000,
1149  0x0000008000000000, 0x0000008000000000,
1150  0x0000004000000000, 0x0000004000000000,
1151  0x0000002000000000, 0x0000002000000000,
1152  0x0000001000000000, 0x0000001000000000,
1153  0x0000000800000000, 0x0000000800000000,
1154  0x0000000400000000, 0x0000000400000000,
1155  0x0000000200000000, 0x0000000200000000,
1156  0x0000000100000000, 0x0000000100000000,
1157  0x0000000080000000, 0x0000000080000000,
1158  0x0000000040000000, 0x0000000040000000,
1159  0x0000000020000000, 0x0000000020000000,
1160  0x0000000010000000, 0x0000000010000000,
1161  0x0000000008000000, 0x0000000008000000,
1162  0x0000000004000000, 0x0000000004000000,
1163  0x0000000002000000, 0x0000000002000000,
1164  0x0000000001000000, 0x0000000001000000,
1165  0x0000000000800000, 0x0000000000800000,
1166  0x0000000000400000, 0x0000000000400000,
1167  0x0000000000200000, 0x0000000000200000,
1168  0x0000000000100000, 0x0000000000100000,
1169  0x0000000000080000, 0x0000000000080000,
1170  0x0000000000040000, 0x0000000000040000,
1171  0x0000000000020000, 0x0000000000020000,
1172  0x0000000000010000, 0x0000000000010000,
1173  0x0000000000008000, 0x0000000000008000,
1174  0x0000000000004000, 0x0000000000004000,
1175  0x0000000000002000, 0x0000000000002000,
1176  0x0000000000001000, 0x0000000000001000,
1177  0x0000000000000800, 0x0000000000000800,
1178  0x0000000000000400, 0x0000000000000400,
1179  0x0000000000000200, 0x0000000000000200,
1180  0x0000000000000100, 0x0000000000000100,
1181  0x0000000000000080, 0x0000000000000080,
1182  0x0000000000000040, 0x0000000000000040,
1183  0x0000000000000020, 0x0000000000000020,
1184  0x0000000000000010, 0x0000000000000010,
1185  0x0000000000000008, 0x0000000000000008,
1186  0x0000000000000004, 0x0000000000000004,
1187  0x0000000000000002, 0x0000000000000002,
1188  0x0000000000000001, 0x0000000000000001,
1189  0x0000000000000000, 0x0000000000000000,
1190  0x4000000000000000, 0x4000000000000000,
1191  0x2000000000000000, 0x2000000000000000,
1192  0x1000000000000000, 0x1000000000000000,
1193  0x0800000000000000, 0x0800000000000000,
1194  0x0400000000000000, 0x0400000000000000,
1195  0x0200000000000000, 0x0200000000000000,
1196  0x0100000000000000, 0x0100000000000000,
1197  0x0080000000000000, 0x0080000000000000,
1198  0x0040000000000000, 0x0040000000000000,
1199  0x0020000000000000, 0x0020000000000000,
1200  0x0010000000000000, 0x0010000000000000,
1201  0x0008000000000000, 0x0008000000000000,
1202  0x0004000000000000, 0x0004000000000000,
1203  0x0002000000000000, 0x0002000000000000,
1204  0x0001000000000000, 0x0001000000000000,
1205  0x0000800000000000, 0x0000800000000000,
1206  0x0000400000000000, 0x0000400000000000,
1207  0x0000200000000000, 0x0000200000000000,
1208  0x0000100000000000, 0x0000100000000000,
1209  0x0000080000000000, 0x0000080000000000,
1210  0x0000040000000000, 0x0000040000000000,
1211  0x0000020000000000, 0x0000020000000000,
1212  0x0000010000000000, 0x0000010000000000,
1213  0x0000008000000000, 0x0000008000000000,
1214  0x0000004000000000, 0x0000004000000000,
1215  0x0000002000000000, 0x0000002000000000,
1216  0x0000001000000000, 0x0000001000000000,
1217  0x0000000800000000, 0x0000000800000000,
1218  0x0000000400000000, 0x0000000400000000,
1219  0x0000000200000000, 0x0000000200000000,
1220  0x0000000100000000, 0x0000000100000000,
1221  0x0000000080000000, 0x0000000080000000,
1222  0x0000000040000000, 0x0000000040000000,
1223  0x0000000020000000, 0x0000000020000000,
1224  0x0000000010000000, 0x0000000010000000,
1225  0x0000000008000000, 0x0000000008000000,
1226  0x0000000004000000, 0x0000000004000000,
1227  0x0000000002000000, 0x0000000002000000,
1228  0x0000000001000000, 0x0000000001000000,
1229  0x0000000000800000, 0x0000000000800000,
1230  0x0000000000400000, 0x0000000000400000,
1231  0x0000000000200000, 0x0000000000200000,
1232  0x0000000000100000, 0x0000000000100000,
1233  0x0000000000080000, 0x0000000000080000,
1234  0x0000000000040000, 0x0000000000040000,
1235  0x0000000000020000, 0x0000000000020000,
1236  0x0000000000010000, 0x0000000000010000,
1237  0x0000000000008000, 0x0000000000008000,
1238  0x0000000000004000, 0x0000000000004000,
1239  0x0000000000002000, 0x0000000000002000,
1240  0x0000000000001000, 0x0000000000001000,
1241  0x0000000000000800, 0x0000000000000800,
1242  0x0000000000000400, 0x0000000000000400,
1243  0x0000000000000200, 0x0000000000000200,
1244  0x0000000000000100, 0x0000000000000100,
1245  0x0000000000000080, 0x0000000000000080,
1246  0x0000000000000040, 0x0000000000000040,
1247  0x0000000000000020, 0x0000000000000020,
1248  0x0000000000000010, 0x0000000000000010,
1249  0x0000000000000008, 0x0000000000000008,
1250  0x0000000000000004, 0x0000000000000004,
1251  0x0000000000000002, 0x0000000000000002,
1252  0x0000000000000001, 0x0000000000000001,
1253  0x0000000000000000, 0x0000000000000001,
1254  0x4000000000000000, 0x4000000000000001,
1255  0x2000000000000000, 0x2000000000000000,
1256  0x1000000000000000, 0x1000000000000000,
1257  0x0800000000000000, 0x0800000000000000,
1258  0x0400000000000000, 0x0400000000000000,
1259  0x0200000000000000, 0x0200000000000000,
1260  0x0100000000000000, 0x0100000000000000,
1261  0x0080000000000000, 0x0080000000000000,
1262  0x0040000000000000, 0x0040000000000000,
1263  0x0020000000000000, 0x0020000000000000,
1264  0x0010000000000000, 0x0010000000000000,
1265  0x0008000000000000, 0x0008000000000000,
1266  0x0004000000000000, 0x0004000000000000,
1267  0x0002000000000000, 0x0002000000000000,
1268  0x0001000000000000, 0x0001000000000000,
1269  0x0000800000000000, 0x0000800000000000,
1270  0x0000400000000000, 0x0000400000000000,
1271  0x0000200000000000, 0x0000200000000000,
1272  0x0000100000000000, 0x0000100000000000,
1273  0x0000080000000000, 0x0000080000000000,
1274  0x0000040000000000, 0x0000040000000000,
1275  0x0000020000000000, 0x0000020000000000,
1276  0x0000010000000000, 0x0000010000000000,
1277  0x0000008000000000, 0x0000008000000000,
1278  0x0000004000000000, 0x0000004000000000,
1279  0x0000002000000000, 0x0000002000000000,
1280  0x0000001000000000, 0x0000001000000000,
1281  0x0000000800000000, 0x0000000800000000,
1282  0x0000000400000000, 0x0000000400000000,
1283  0x0000000200000000, 0x0000000200000000,
1284  0x0000000100000000, 0x0000000100000000,
1285  0x0000000080000000, 0x0000000080000000,
1286  0x0000000040000000, 0x0000000040000000,
1287  0x0000000020000000, 0x0000000020000000,
1288  0x0000000010000000, 0x0000000010000000,
1289  0x0000000008000000, 0x0000000008000000,
1290  0x0000000004000000, 0x0000000004000000,
1291  0x0000000002000000, 0x0000000002000000,
1292  0x0000000001000000, 0x0000000001000000,
1293  0x0000000000800000, 0x0000000000800000,
1294  0x0000000000400000, 0x0000000000400000,
1295  0x0000000000200000, 0x0000000000200000,
1296  0x0000000000100000, 0x0000000000100000,
1297  0x0000000000080000, 0x0000000000080000,
1298  0x0000000000040000, 0x0000000000040000,
1299  0x0000000000020000, 0x0000000000020000,
1300  0x0000000000010000, 0x0000000000010000,
1301  0x0000000000008000, 0x0000000000008000,
1302  0x0000000000004000, 0x0000000000004000,
1303  0x0000000000002000, 0x0000000000002000,
1304  0x0000000000001000, 0x0000000000001000,
1305  0x0000000000000800, 0x0000000000000800,
1306  0x0000000000000400, 0x0000000000000400,
1307  0x0000000000000200, 0x0000000000000200,
1308  0x0000000000000100, 0x0000000000000100,
1309  0x0000000000000080, 0x0000000000000080,
1310  0x0000000000000040, 0x0000000000000040,
1311  0x0000000000000020, 0x0000000000000020,
1312  0x0000000000000010, 0x0000000000000010,
1313  0x0000000000000008, 0x0000000000000008,
1314  0x0000000000000004, 0x0000000000000004,
1315  0x0000000000000002, 0x0000000000000002,
1316  0x0000000000000001, 0x0000000000000001,
1317  0x0000000000000001, 0x0000000000000001,
1318  0x4000000000000001, 0x4000000000000001,
1319  0x2000000000000000, 0x2000000000000001,
1320  0x1000000000000000, 0x1000000000000000,
1321  0x0800000000000000, 0x0800000000000000,
1322  0x0400000000000000, 0x0400000000000000,
1323  0x0200000000000000, 0x0200000000000000,
1324  0x0100000000000000, 0x0100000000000000,
1325  0x0080000000000000, 0x0080000000000000,
1326  0x0040000000000000, 0x0040000000000000,
1327  0x0020000000000000, 0x0020000000000000,
1328  0x0010000000000000, 0x0010000000000000,
1329  0x0008000000000000, 0x0008000000000000,
1330  0x0004000000000000, 0x0004000000000000,
1331  0x0002000000000000, 0x0002000000000000,
1332  0x0001000000000000, 0x0001000000000000,
1333  0x0000800000000000, 0x0000800000000000,
1334  0x0000400000000000, 0x0000400000000000,
1335  0x0000200000000000, 0x0000200000000000,
1336  0x0000100000000000, 0x0000100000000000,
1337  0x0000080000000000, 0x0000080000000000,
1338  0x0000040000000000, 0x0000040000000000,
1339  0x0000020000000000, 0x0000020000000000,
1340  0x0000010000000000, 0x0000010000000000,
1341  0x0000008000000000, 0x0000008000000000,
1342  0x0000004000000000, 0x0000004000000000,
1343  0x0000002000000000, 0x0000002000000000,
1344  0x0000001000000000, 0x0000001000000000,
1345  0x0000000800000000, 0x0000000800000000,
1346  0x0000000400000000, 0x0000000400000000,
1347  0x0000000200000000, 0x0000000200000000,
1348  0x0000000100000000, 0x0000000100000000,
1349  0x0000000080000000, 0x0000000080000000,
1350  0x0000000040000000, 0x0000000040000000,
1351  0x0000000020000000, 0x0000000020000000,
1352  0x0000000010000000, 0x0000000010000000,
1353  0x0000000008000000, 0x0000000008000000,
1354  0x0000000004000000, 0x0000000004000000,
1355  0x0000000002000000, 0x0000000002000000,
1356  0x0000000001000000, 0x0000000001000000,
1357  0x0000000000800000, 0x0000000000800000,
1358  0x0000000000400000, 0x0000000000400000,
1359  0x0000000000200000, 0x0000000000200000,
1360  0x0000000000100000, 0x0000000000100000,
1361  0x0000000000080000, 0x0000000000080000,
1362  0x0000000000040000, 0x0000000000040000,
1363  0x0000000000020000, 0x0000000000020000,
1364  0x0000000000010000, 0x0000000000010000,
1365  0x0000000000008000, 0x0000000000008000,
1366  0x0000000000004000, 0x0000000000004000,
1367  0x0000000000002000, 0x0000000000002000,
1368  0x0000000000001000, 0x0000000000001000,
1369  0x0000000000000800, 0x0000000000000800,
1370  0x0000000000000400, 0x0000000000000400,
1371  0x0000000000000200, 0x0000000000000200,
1372  0x0000000000000100, 0x0000000000000100,
1373  0x0000000000000080, 0x0000000000000080,
1374  0x0000000000000040, 0x0000000000000040,
1375  0x0000000000000020, 0x0000000000000020,
1376  0x0000000000000010, 0x0000000000000010,
1377  0x0000000000000008, 0x0000000000000008,
1378  0x0000000000000004, 0x0000000000000004,
1379  0x0000000000000002, 0x0000000000000002,
1380  0x0000000000000001, 0x0000000000000001,
1381  0x0000000000000001, 0x0000000000000001,
1382  0x4000000000000001, 0x4000000000000002,
1383  0x2000000000000001, 0x2000000000000001,
1384  0x1000000000000000, 0x1000000000000000,
1385  0x0800000000000000, 0x0800000000000000,
1386  0x0400000000000000, 0x0400000000000000,
1387  0x0200000000000000, 0x0200000000000000,
1388  0x0100000000000000, 0x0100000000000000,
1389  0x0080000000000000, 0x0080000000000000,
1390  0x0040000000000000, 0x0040000000000000,
1391  0x0020000000000000, 0x0020000000000000,
1392  0x0010000000000000, 0x0010000000000000,
1393  0x0008000000000000, 0x0008000000000000,
1394  0x0004000000000000, 0x0004000000000000,
1395  0x0002000000000000, 0x0002000000000000,
1396  0x0001000000000000, 0x0001000000000000,
1397  0x0000800000000000, 0x0000800000000000,
1398  0x0000400000000000, 0x0000400000000000,
1399  0x0000200000000000, 0x0000200000000000,
1400  0x0000100000000000, 0x0000100000000000,
1401  0x0000080000000000, 0x0000080000000000,
1402  0x0000040000000000, 0x0000040000000000,
1403  0x0000020000000000, 0x0000020000000000,
1404  0x0000010000000000, 0x0000010000000000,
1405  0x0000008000000000, 0x0000008000000000,
1406  0x0000004000000000, 0x0000004000000000,
1407  0x0000002000000000, 0x0000002000000000,
1408  0x0000001000000000, 0x0000001000000000,
1409  0x0000000800000000, 0x0000000800000000,
1410  0x0000000400000000, 0x0000000400000000,
1411  0x0000000200000000, 0x0000000200000000,
1412  0x0000000100000000, 0x0000000100000000,
1413  0x0000000080000000, 0x0000000080000000,
1414  0x0000000040000000, 0x0000000040000000,
1415  0x0000000020000000, 0x0000000020000000,
1416  0x0000000010000000, 0x0000000010000000,
1417  0x0000000008000000, 0x0000000008000000,
1418  0x0000000004000000, 0x0000000004000000,
1419  0x0000000002000000, 0x0000000002000000,
1420  0x0000000001000000, 0x0000000001000000,
1421  0x0000000000800000, 0x0000000000800000,
1422  0x0000000000400000, 0x0000000000400000,
1423  0x0000000000200000, 0x0000000000200000,
1424  0x0000000000100000, 0x0000000000100000,
1425  0x0000000000080000, 0x0000000000080000,
1426  0x0000000000040000, 0x0000000000040000,
1427  0x0000000000020000, 0x0000000000020000,
1428  0x0000000000010000, 0x0000000000010000,
1429  0x0000000000008000, 0x0000000000008000,
1430  0x0000000000004000, 0x0000000000004000,
1431  0x0000000000002000, 0x0000000000002000,
1432  0x0000000000001000, 0x0000000000001000,
1433  0x0000000000000800, 0x0000000000000800,
1434  0x0000000000000400, 0x0000000000000400,
1435  0x0000000000000200, 0x0000000000000200,
1436  0x0000000000000100, 0x0000000000000100,
1437  0x0000000000000080, 0x0000000000000080,
1438  0x0000000000000040, 0x0000000000000040,
1439  0x0000000000000020, 0x0000000000000020,
1440  0x0000000000000010, 0x0000000000000010,
1441  0x0000000000000008, 0x0000000000000008,
1442  0x0000000000000004, 0x0000000000000004,
1443  0x0000000000000002, 0x0000000000000002,
1444  0x0000000000000001, 0x0000000000000001,
1445  0x0000000000000001, 0x0000000000000001,
1446  0x4000000000000002, 0x5555555555555555,
1447  0x2000000000000001, 0x2aaaaaaaaaaaaaab,
1448  0x1000000000000000, 0x1555555555555555,
1449  0x0800000000000000, 0x0aaaaaaaaaaaaaab,
1450  0x0400000000000000, 0x0555555555555555,
1451  0x0200000000000000, 0x02aaaaaaaaaaaaab,
1452  0x0100000000000000, 0x0155555555555555,
1453  0x0080000000000000, 0x00aaaaaaaaaaaaab,
1454  0x0040000000000000, 0x0055555555555555,
1455  0x0020000000000000, 0x002aaaaaaaaaaaab,
1456  0x0010000000000000, 0x0015555555555555,
1457  0x0008000000000000, 0x000aaaaaaaaaaaab,
1458  0x0004000000000000, 0x0005555555555555,
1459  0x0002000000000000, 0x0002aaaaaaaaaaab,
1460  0x0001000000000000, 0x0001555555555555,
1461  0x0000800000000000, 0x0000aaaaaaaaaaab,
1462  0x0000400000000000, 0x0000555555555555,
1463  0x0000200000000000, 0x00002aaaaaaaaaab,
1464  0x0000100000000000, 0x0000155555555555,
1465  0x0000080000000000, 0x00000aaaaaaaaaab,
1466  0x0000040000000000, 0x0000055555555555,
1467  0x0000020000000000, 0x000002aaaaaaaaab,
1468  0x0000010000000000, 0x0000015555555555,
1469  0x0000008000000000, 0x000000aaaaaaaaab,
1470  0x0000004000000000, 0x0000005555555555,
1471  0x0000002000000000, 0x0000002aaaaaaaab,
1472  0x0000001000000000, 0x0000001555555555,
1473  0x0000000800000000, 0x0000000aaaaaaaab,
1474  0x0000000400000000, 0x0000000555555555,
1475  0x0000000200000000, 0x00000002aaaaaaab,
1476  0x0000000100000000, 0x0000000155555555,
1477  0x0000000080000000, 0x00000000aaaaaaab,
1478  0x0000000040000000, 0x0000000055555555,
1479  0x0000000020000000, 0x000000002aaaaaab,
1480  0x0000000010000000, 0x0000000015555555,
1481  0x0000000008000000, 0x000000000aaaaaab,
1482  0x0000000004000000, 0x0000000005555555,
1483  0x0000000002000000, 0x0000000002aaaaab,
1484  0x0000000001000000, 0x0000000001555555,
1485  0x0000000000800000, 0x0000000000aaaaab,
1486  0x0000000000400000, 0x0000000000555555,
1487  0x0000000000200000, 0x00000000002aaaab,
1488  0x0000000000100000, 0x0000000000155555,
1489  0x0000000000080000, 0x00000000000aaaab,
1490  0x0000000000040000, 0x0000000000055555,
1491  0x0000000000020000, 0x000000000002aaab,
1492  0x0000000000010000, 0x0000000000015555,
1493  0x0000000000008000, 0x000000000000aaab,
1494  0x0000000000004000, 0x0000000000005555,
1495  0x0000000000002000, 0x0000000000002aab,
1496  0x0000000000001000, 0x0000000000001555,
1497  0x0000000000000800, 0x0000000000000aab,
1498  0x0000000000000400, 0x0000000000000555,
1499  0x0000000000000200, 0x00000000000002ab,
1500  0x0000000000000100, 0x0000000000000155,
1501  0x0000000000000080, 0x00000000000000ab,
1502  0x0000000000000040, 0x0000000000000055,
1503  0x0000000000000020, 0x000000000000002b,
1504  0x0000000000000010, 0x0000000000000015,
1505  0x0000000000000008, 0x000000000000000b,
1506  0x0000000000000004, 0x0000000000000005,
1507  0x0000000000000002, 0x0000000000000003,
1508  0x0000000000000001, 0x0000000000000001,
1509  0x0000000000000001, 0x0000000000000001,
1510  0x5555555555555555, 0x6666666666666666,
1511  0x2aaaaaaaaaaaaaab, 0x3333333333333333,
1512  0x1555555555555555, 0x199999999999999a,
1513  0x0aaaaaaaaaaaaaab, 0x0ccccccccccccccd,
1514  0x0555555555555555, 0x0666666666666666,
1515  0x02aaaaaaaaaaaaab, 0x0333333333333333,
1516  0x0155555555555555, 0x019999999999999a,
1517  0x00aaaaaaaaaaaaab, 0x00cccccccccccccd,
1518  0x0055555555555555, 0x0066666666666666,
1519  0x002aaaaaaaaaaaab, 0x0033333333333333,
1520  0x0015555555555555, 0x001999999999999a,
1521  0x000aaaaaaaaaaaab, 0x000ccccccccccccd,
1522  0x0005555555555555, 0x0006666666666666,
1523  0x0002aaaaaaaaaaab, 0x0003333333333333,
1524  0x0001555555555555, 0x000199999999999a,
1525  0x0000aaaaaaaaaaab, 0x0000cccccccccccd,
1526  0x0000555555555555, 0x0000666666666666,
1527  0x00002aaaaaaaaaab, 0x0000333333333333,
1528  0x0000155555555555, 0x000019999999999a,
1529  0x00000aaaaaaaaaab, 0x00000ccccccccccd,
1530  0x0000055555555555, 0x0000066666666666,
1531  0x000002aaaaaaaaab, 0x0000033333333333,
1532  0x0000015555555555, 0x000001999999999a,
1533  0x000000aaaaaaaaab, 0x000000cccccccccd,
1534  0x0000005555555555, 0x0000006666666666,
1535  0x0000002aaaaaaaab, 0x0000003333333333,
1536  0x0000001555555555, 0x000000199999999a,
1537  0x0000000aaaaaaaab, 0x0000000ccccccccd,
1538  0x0000000555555555, 0x0000000666666666,
1539  0x00000002aaaaaaab, 0x0000000333333333,
1540  0x0000000155555555, 0x000000019999999a,
1541  0x00000000aaaaaaab, 0x00000000cccccccd,
1542  0x0000000055555555, 0x0000000066666666,
1543  0x000000002aaaaaab, 0x0000000033333333,
1544  0x0000000015555555, 0x000000001999999a,
1545  0x000000000aaaaaab, 0x000000000ccccccd,
1546  0x0000000005555555, 0x0000000006666666,
1547  0x0000000002aaaaab, 0x0000000003333333,
1548  0x0000000001555555, 0x000000000199999a,
1549  0x0000000000aaaaab, 0x0000000000cccccd,
1550  0x0000000000555555, 0x0000000000666666,
1551  0x00000000002aaaab, 0x0000000000333333,
1552  0x0000000000155555, 0x000000000019999a,
1553  0x00000000000aaaab, 0x00000000000ccccd,
1554  0x0000000000055555, 0x0000000000066666,
1555  0x000000000002aaab, 0x0000000000033333,
1556  0x0000000000015555, 0x000000000001999a,
1557  0x000000000000aaab, 0x000000000000cccd,
1558  0x0000000000005555, 0x0000000000006666,
1559  0x0000000000002aab, 0x0000000000003333,
1560  0x0000000000001555, 0x000000000000199a,
1561  0x0000000000000aab, 0x0000000000000ccd,
1562  0x0000000000000555, 0x0000000000000666,
1563  0x00000000000002ab, 0x0000000000000333,
1564  0x0000000000000155, 0x000000000000019a,
1565  0x00000000000000ab, 0x00000000000000cd,
1566  0x0000000000000055, 0x0000000000000066,
1567  0x000000000000002b, 0x0000000000000033,
1568  0x0000000000000015, 0x000000000000001a,
1569  0x000000000000000b, 0x000000000000000d,
1570  0x0000000000000005, 0x0000000000000006,
1571  0x0000000000000003, 0x0000000000000003,
1572  0x0000000000000001, 0x0000000000000002,
1573  0x0000000000000001, 0x0000000000000001,
1574  0x6666666666666666, 0x7fffffffc0000000,
1575  0x3333333333333333, 0x3fffffffe0000000,
1576  0x199999999999999a, 0x1ffffffff0000000,
1577  0x0ccccccccccccccd, 0x0ffffffff8000000,
1578  0x0666666666666666, 0x07fffffffc000000,
1579  0x0333333333333333, 0x03fffffffe000000,
1580  0x019999999999999a, 0x01ffffffff000000,
1581  0x00cccccccccccccd, 0x00ffffffff800000,
1582  0x0066666666666666, 0x007fffffffc00000,
1583  0x0033333333333333, 0x003fffffffe00000,
1584  0x001999999999999a, 0x001ffffffff00000,
1585  0x000ccccccccccccd, 0x000ffffffff80000,
1586  0x0006666666666666, 0x0007fffffffc0000,
1587  0x0003333333333333, 0x0003fffffffe0000,
1588  0x000199999999999a, 0x0001ffffffff0000,
1589  0x0000cccccccccccd, 0x0000ffffffff8000,
1590  0x0000666666666666, 0x00007fffffffc000,
1591  0x0000333333333333, 0x00003fffffffe000,
1592  0x000019999999999a, 0x00001ffffffff000,
1593  0x00000ccccccccccd, 0x00000ffffffff800,
1594  0x0000066666666666, 0x000007fffffffc00,
1595  0x0000033333333333, 0x000003fffffffe00,
1596  0x000001999999999a, 0x000001ffffffff00,
1597  0x000000cccccccccd, 0x000000ffffffff80,
1598  0x0000006666666666, 0x0000007fffffffc0,
1599  0x0000003333333333, 0x0000003fffffffe0,
1600  0x000000199999999a, 0x0000001ffffffff0,
1601  0x0000000ccccccccd, 0x0000000ffffffff8,
1602  0x0000000666666666, 0x00000007fffffffc,
1603  0x0000000333333333, 0x00000003fffffffe,
1604  0x000000019999999a, 0x00000001ffffffff,
1605  0x00000000cccccccd, 0x0000000100000000,
1606  0x0000000066666666, 0x0000000080000000,
1607  0x0000000033333333, 0x0000000040000000,
1608  0x000000001999999a, 0x0000000020000000,
1609  0x000000000ccccccd, 0x0000000010000000,
1610  0x0000000006666666, 0x0000000008000000,
1611  0x0000000003333333, 0x0000000004000000,
1612  0x000000000199999a, 0x0000000002000000,
1613  0x0000000000cccccd, 0x0000000001000000,
1614  0x0000000000666666, 0x0000000000800000,
1615  0x0000000000333333, 0x0000000000400000,
1616  0x000000000019999a, 0x0000000000200000,
1617  0x00000000000ccccd, 0x0000000000100000,
1618  0x0000000000066666, 0x0000000000080000,
1619  0x0000000000033333, 0x0000000000040000,
1620  0x000000000001999a, 0x0000000000020000,
1621  0x000000000000cccd, 0x0000000000010000,
1622  0x0000000000006666, 0x0000000000008000,
1623  0x0000000000003333, 0x0000000000004000,
1624  0x000000000000199a, 0x0000000000002000,
1625  0x0000000000000ccd, 0x0000000000001000,
1626  0x0000000000000666, 0x0000000000000800,
1627  0x0000000000000333, 0x0000000000000400,
1628  0x000000000000019a, 0x0000000000000200,
1629  0x00000000000000cd, 0x0000000000000100,
1630  0x0000000000000066, 0x0000000000000080,
1631  0x0000000000000033, 0x0000000000000040,
1632  0x000000000000001a, 0x0000000000000020,
1633  0x000000000000000d, 0x0000000000000010,
1634  0x0000000000000006, 0x0000000000000008,
1635  0x0000000000000003, 0x0000000000000004,
1636  0x0000000000000002, 0x0000000000000002,
1637  0x0000000000000001, 0x0000000000000001,
1638  0x7fffffffc0000000, 0x7fffffffc0000001,
1639  0x3fffffffe0000000, 0x3fffffffe0000000,
1640  0x1ffffffff0000000, 0x1ffffffff0000000,
1641  0x0ffffffff8000000, 0x0ffffffff8000000,
1642  0x07fffffffc000000, 0x07fffffffc000000,
1643  0x03fffffffe000000, 0x03fffffffe000000,
1644  0x01ffffffff000000, 0x01ffffffff000000,
1645  0x00ffffffff800000, 0x00ffffffff800000,
1646  0x007fffffffc00000, 0x007fffffffc00000,
1647  0x003fffffffe00000, 0x003fffffffe00000,
1648  0x001ffffffff00000, 0x001ffffffff00000,
1649  0x000ffffffff80000, 0x000ffffffff80000,
1650  0x0007fffffffc0000, 0x0007fffffffc0000,
1651  0x0003fffffffe0000, 0x0003fffffffe0000,
1652  0x0001ffffffff0000, 0x0001ffffffff0000,
1653  0x0000ffffffff8000, 0x0000ffffffff8000,
1654  0x00007fffffffc000, 0x00007fffffffc000,
1655  0x00003fffffffe000, 0x00003fffffffe000,
1656  0x00001ffffffff000, 0x00001ffffffff000,
1657  0x00000ffffffff800, 0x00000ffffffff800,
1658  0x000007fffffffc00, 0x000007fffffffc00,
1659  0x000003fffffffe00, 0x000003fffffffe00,
1660  0x000001ffffffff00, 0x000001ffffffff00,
1661  0x000000ffffffff80, 0x000000ffffffff80,
1662  0x0000007fffffffc0, 0x0000007fffffffc0,
1663  0x0000003fffffffe0, 0x0000003fffffffe0,
1664  0x0000001ffffffff0, 0x0000001ffffffff0,
1665  0x0000000ffffffff8, 0x0000000ffffffff8,
1666  0x00000007fffffffc, 0x00000007fffffffc,
1667  0x00000003fffffffe, 0x00000003fffffffe,
1668  0x00000001ffffffff, 0x00000001ffffffff,
1669  0x0000000100000000, 0x0000000100000000,
1670  0x0000000080000000, 0x0000000080000000,
1671  0x0000000040000000, 0x0000000040000000,
1672  0x0000000020000000, 0x0000000020000000,
1673  0x0000000010000000, 0x0000000010000000,
1674  0x0000000008000000, 0x0000000008000000,
1675  0x0000000004000000, 0x0000000004000000,
1676  0x0000000002000000, 0x0000000002000000,
1677  0x0000000001000000, 0x0000000001000000,
1678  0x0000000000800000, 0x0000000000800000,
1679  0x0000000000400000, 0x0000000000400000,
1680  0x0000000000200000, 0x0000000000200000,
1681  0x0000000000100000, 0x0000000000100000,
1682  0x0000000000080000, 0x0000000000080000,
1683  0x0000000000040000, 0x0000000000040000,
1684  0x0000000000020000, 0x0000000000020000,
1685  0x0000000000010000, 0x0000000000010000,
1686  0x0000000000008000, 0x0000000000008000,
1687  0x0000000000004000, 0x0000000000004000,
1688  0x0000000000002000, 0x0000000000002000,
1689  0x0000000000001000, 0x0000000000001000,
1690  0x0000000000000800, 0x0000000000000800,
1691  0x0000000000000400, 0x0000000000000400,
1692  0x0000000000000200, 0x0000000000000200,
1693  0x0000000000000100, 0x0000000000000100,
1694  0x0000000000000080, 0x0000000000000080,
1695  0x0000000000000040, 0x0000000000000040,
1696  0x0000000000000020, 0x0000000000000020,
1697  0x0000000000000010, 0x0000000000000010,
1698  0x0000000000000008, 0x0000000000000008,
1699  0x0000000000000004, 0x0000000000000004,
1700  0x0000000000000002, 0x0000000000000002,
1701  0x0000000000000001, 0x0000000000000001,
1702  0x7fffffffc0000001, 0x7fffffffc0000001,
1703  0x3fffffffe0000000, 0x3fffffffe0000001,
1704  0x1ffffffff0000000, 0x1ffffffff0000000,
1705  0x0ffffffff8000000, 0x0ffffffff8000000,
1706  0x07fffffffc000000, 0x07fffffffc000000,
1707  0x03fffffffe000000, 0x03fffffffe000000,
1708  0x01ffffffff000000, 0x01ffffffff000000,
1709  0x00ffffffff800000, 0x00ffffffff800000,
1710  0x007fffffffc00000, 0x007fffffffc00000,
1711  0x003fffffffe00000, 0x003fffffffe00000,
1712  0x001ffffffff00000, 0x001ffffffff00000,
1713  0x000ffffffff80000, 0x000ffffffff80000,
1714  0x0007fffffffc0000, 0x0007fffffffc0000,
1715  0x0003fffffffe0000, 0x0003fffffffe0000,
1716  0x0001ffffffff0000, 0x0001ffffffff0000,
1717  0x0000ffffffff8000, 0x0000ffffffff8000,
1718  0x00007fffffffc000, 0x00007fffffffc000,
1719  0x00003fffffffe000, 0x00003fffffffe000,
1720  0x00001ffffffff000, 0x00001ffffffff000,
1721  0x00000ffffffff800, 0x00000ffffffff800,
1722  0x000007fffffffc00, 0x000007fffffffc00,
1723  0x000003fffffffe00, 0x000003fffffffe00,
1724  0x000001ffffffff00, 0x000001ffffffff00,
1725  0x000000ffffffff80, 0x000000ffffffff80,
1726  0x0000007fffffffc0, 0x0000007fffffffc0,
1727  0x0000003fffffffe0, 0x0000003fffffffe0,
1728  0x0000001ffffffff0, 0x0000001ffffffff0,
1729  0x0000000ffffffff8, 0x0000000ffffffff8,
1730  0x00000007fffffffc, 0x00000007fffffffc,
1731  0x00000003fffffffe, 0x00000003fffffffe,
1732  0x00000001ffffffff, 0x00000001ffffffff,
1733  0x0000000100000000, 0x0000000100000000,
1734  0x0000000080000000, 0x0000000080000000,
1735  0x0000000040000000, 0x0000000040000000,
1736  0x0000000020000000, 0x0000000020000000,
1737  0x0000000010000000, 0x0000000010000000,
1738  0x0000000008000000, 0x0000000008000000,
1739  0x0000000004000000, 0x0000000004000000,
1740  0x0000000002000000, 0x0000000002000000,
1741  0x0000000001000000, 0x0000000001000000,
1742  0x0000000000800000, 0x0000000000800000,
1743  0x0000000000400000, 0x0000000000400000,
1744  0x0000000000200000, 0x0000000000200000,
1745  0x0000000000100000, 0x0000000000100000,
1746  0x0000000000080000, 0x0000000000080000,
1747  0x0000000000040000, 0x0000000000040000,
1748  0x0000000000020000, 0x0000000000020000,
1749  0x0000000000010000, 0x0000000000010000,
1750  0x0000000000008000, 0x0000000000008000,
1751  0x0000000000004000, 0x0000000000004000,
1752  0x0000000000002000, 0x0000000000002000,
1753  0x0000000000001000, 0x0000000000001000,
1754  0x0000000000000800, 0x0000000000000800,
1755  0x0000000000000400, 0x0000000000000400,
1756  0x0000000000000200, 0x0000000000000200,
1757  0x0000000000000100, 0x0000000000000100,
1758  0x0000000000000080, 0x0000000000000080,
1759  0x0000000000000040, 0x0000000000000040,
1760  0x0000000000000020, 0x0000000000000020,
1761  0x0000000000000010, 0x0000000000000010,
1762  0x0000000000000008, 0x0000000000000008,
1763  0x0000000000000004, 0x0000000000000004,
1764  0x0000000000000002, 0x0000000000000002,
1765  0x0000000000000001, 0x0000000000000001,
1766  0x7fffffffc0000001, 0x7fffffffc0000002,
1767  0x3fffffffe0000001, 0x3fffffffe0000001,
1768  0x1ffffffff0000000, 0x1ffffffff0000000,
1769  0x0ffffffff8000000, 0x0ffffffff8000000,
1770  0x07fffffffc000000, 0x07fffffffc000000,
1771  0x03fffffffe000000, 0x03fffffffe000000,
1772  0x01ffffffff000000, 0x01ffffffff000000,
1773  0x00ffffffff800000, 0x00ffffffff800000,
1774  0x007fffffffc00000, 0x007fffffffc00000,
1775  0x003fffffffe00000, 0x003fffffffe00000,
1776  0x001ffffffff00000, 0x001ffffffff00000,
1777  0x000ffffffff80000, 0x000ffffffff80000,
1778  0x0007fffffffc0000, 0x0007fffffffc0000,
1779  0x0003fffffffe0000, 0x0003fffffffe0000,
1780  0x0001ffffffff0000, 0x0001ffffffff0000,
1781  0x0000ffffffff8000, 0x0000ffffffff8000,
1782  0x00007fffffffc000, 0x00007fffffffc000,
1783  0x00003fffffffe000, 0x00003fffffffe000,
1784  0x00001ffffffff000, 0x00001ffffffff000,
1785  0x00000ffffffff800, 0x00000ffffffff800,
1786  0x000007fffffffc00, 0x000007fffffffc00,
1787  0x000003fffffffe00, 0x000003fffffffe00,
1788  0x000001ffffffff00, 0x000001ffffffff00,
1789  0x000000ffffffff80, 0x000000ffffffff80,
1790  0x0000007fffffffc0, 0x0000007fffffffc0,
1791  0x0000003fffffffe0, 0x0000003fffffffe0,
1792  0x0000001ffffffff0, 0x0000001ffffffff0,
1793  0x0000000ffffffff8, 0x0000000ffffffff8,
1794  0x00000007fffffffc, 0x00000007fffffffc,
1795  0x00000003fffffffe, 0x00000003fffffffe,
1796  0x00000001ffffffff, 0x00000001ffffffff,
1797  0x0000000100000000, 0x0000000100000000,
1798  0x0000000080000000, 0x0000000080000000,
1799  0x0000000040000000, 0x0000000040000000,
1800  0x0000000020000000, 0x0000000020000000,
1801  0x0000000010000000, 0x0000000010000000,
1802  0x0000000008000000, 0x0000000008000000,
1803  0x0000000004000000, 0x0000000004000000,
1804  0x0000000002000000, 0x0000000002000000,
1805  0x0000000001000000, 0x0000000001000000,
1806  0x0000000000800000, 0x0000000000800000,
1807  0x0000000000400000, 0x0000000000400000,
1808  0x0000000000200000, 0x0000000000200000,
1809  0x0000000000100000, 0x0000000000100000,
1810  0x0000000000080000, 0x0000000000080000,
1811  0x0000000000040000, 0x0000000000040000,
1812  0x0000000000020000, 0x0000000000020000,
1813  0x0000000000010000, 0x0000000000010000,
1814  0x0000000000008000, 0x0000000000008000,
1815  0x0000000000004000, 0x0000000000004000,
1816  0x0000000000002000, 0x0000000000002000,
1817  0x0000000000001000, 0x0000000000001000,
1818  0x0000000000000800, 0x0000000000000800,
1819  0x0000000000000400, 0x0000000000000400,
1820  0x0000000000000200, 0x0000000000000200,
1821  0x0000000000000100, 0x0000000000000100,
1822  0x0000000000000080, 0x0000000000000080,
1823  0x0000000000000040, 0x0000000000000040,
1824  0x0000000000000020, 0x0000000000000020,
1825  0x0000000000000010, 0x0000000000000010,
1826  0x0000000000000008, 0x0000000000000008,
1827  0x0000000000000004, 0x0000000000000004,
1828  0x0000000000000002, 0x0000000000000002,
1829  0x0000000000000001, 0x0000000000000001,
1830  0x7fffffffc0000002, 0x7fffffffffffc000,
1831  0x3fffffffe0000001, 0x3fffffffffffe000,
1832  0x1ffffffff0000000, 0x1ffffffffffff000,
1833  0x0ffffffff8000000, 0x0ffffffffffff800,
1834  0x07fffffffc000000, 0x07fffffffffffc00,
1835  0x03fffffffe000000, 0x03fffffffffffe00,
1836  0x01ffffffff000000, 0x01ffffffffffff00,
1837  0x00ffffffff800000, 0x00ffffffffffff80,
1838  0x007fffffffc00000, 0x007fffffffffffc0,
1839  0x003fffffffe00000, 0x003fffffffffffe0,
1840  0x001ffffffff00000, 0x001ffffffffffff0,
1841  0x000ffffffff80000, 0x000ffffffffffff8,
1842  0x0007fffffffc0000, 0x0007fffffffffffc,
1843  0x0003fffffffe0000, 0x0003fffffffffffe,
1844  0x0001ffffffff0000, 0x0001ffffffffffff,
1845  0x0000ffffffff8000, 0x0001000000000000,
1846  0x00007fffffffc000, 0x0000800000000000,
1847  0x00003fffffffe000, 0x0000400000000000,
1848  0x00001ffffffff000, 0x0000200000000000,
1849  0x00000ffffffff800, 0x0000100000000000,
1850  0x000007fffffffc00, 0x0000080000000000,
1851  0x000003fffffffe00, 0x0000040000000000,
1852  0x000001ffffffff00, 0x0000020000000000,
1853  0x000000ffffffff80, 0x0000010000000000,
1854  0x0000007fffffffc0, 0x0000008000000000,
1855  0x0000003fffffffe0, 0x0000004000000000,
1856  0x0000001ffffffff0, 0x0000002000000000,
1857  0x0000000ffffffff8, 0x0000001000000000,
1858  0x00000007fffffffc, 0x0000000800000000,
1859  0x00000003fffffffe, 0x0000000400000000,
1860  0x00000001ffffffff, 0x0000000200000000,
1861  0x0000000100000000, 0x0000000100000000,
1862  0x0000000080000000, 0x0000000080000000,
1863  0x0000000040000000, 0x0000000040000000,
1864  0x0000000020000000, 0x0000000020000000,
1865  0x0000000010000000, 0x0000000010000000,
1866  0x0000000008000000, 0x0000000008000000,
1867  0x0000000004000000, 0x0000000004000000,
1868  0x0000000002000000, 0x0000000002000000,
1869  0x0000000001000000, 0x0000000001000000,
1870  0x0000000000800000, 0x0000000000800000,
1871  0x0000000000400000, 0x0000000000400000,
1872  0x0000000000200000, 0x0000000000200000,
1873  0x0000000000100000, 0x0000000000100000,
1874  0x0000000000080000, 0x0000000000080000,
1875  0x0000000000040000, 0x0000000000040000,
1876  0x0000000000020000, 0x0000000000020000,
1877  0x0000000000010000, 0x0000000000010000,
1878  0x0000000000008000, 0x0000000000008000,
1879  0x0000000000004000, 0x0000000000004000,
1880  0x0000000000002000, 0x0000000000002000,
1881  0x0000000000001000, 0x0000000000001000,
1882  0x0000000000000800, 0x0000000000000800,
1883  0x0000000000000400, 0x0000000000000400,
1884  0x0000000000000200, 0x0000000000000200,
1885  0x0000000000000100, 0x0000000000000100,
1886  0x0000000000000080, 0x0000000000000080,
1887  0x0000000000000040, 0x0000000000000040,
1888  0x0000000000000020, 0x0000000000000020,
1889  0x0000000000000010, 0x0000000000000010,
1890  0x0000000000000008, 0x0000000000000008,
1891  0x0000000000000004, 0x0000000000000004,
1892  0x0000000000000002, 0x0000000000000002,
1893  0x0000000000000001, 0x0000000000000001,
1894  0x7fffffffffffc000, 0x7fffffffffffc001,
1895  0x3fffffffffffe000, 0x3fffffffffffe000,
1896  0x1ffffffffffff000, 0x1ffffffffffff000,
1897  0x0ffffffffffff800, 0x0ffffffffffff800,
1898  0x07fffffffffffc00, 0x07fffffffffffc00,
1899  0x03fffffffffffe00, 0x03fffffffffffe00,
1900  0x01ffffffffffff00, 0x01ffffffffffff00,
1901  0x00ffffffffffff80, 0x00ffffffffffff80,
1902  0x007fffffffffffc0, 0x007fffffffffffc0,
1903  0x003fffffffffffe0, 0x003fffffffffffe0,
1904  0x001ffffffffffff0, 0x001ffffffffffff0,
1905  0x000ffffffffffff8, 0x000ffffffffffff8,
1906  0x0007fffffffffffc, 0x0007fffffffffffc,
1907  0x0003fffffffffffe, 0x0003fffffffffffe,
1908  0x0001ffffffffffff, 0x0001ffffffffffff,
1909  0x0001000000000000, 0x0001000000000000,
1910  0x0000800000000000, 0x0000800000000000,
1911  0x0000400000000000, 0x0000400000000000,
1912  0x0000200000000000, 0x0000200000000000,
1913  0x0000100000000000, 0x0000100000000000,
1914  0x0000080000000000, 0x0000080000000000,
1915  0x0000040000000000, 0x0000040000000000,
1916  0x0000020000000000, 0x0000020000000000,
1917  0x0000010000000000, 0x0000010000000000,
1918  0x0000008000000000, 0x0000008000000000,
1919  0x0000004000000000, 0x0000004000000000,
1920  0x0000002000000000, 0x0000002000000000,
1921  0x0000001000000000, 0x0000001000000000,
1922  0x0000000800000000, 0x0000000800000000,
1923  0x0000000400000000, 0x0000000400000000,
1924  0x0000000200000000, 0x0000000200000000,
1925  0x0000000100000000, 0x0000000100000000,
1926  0x0000000080000000, 0x0000000080000000,
1927  0x0000000040000000, 0x0000000040000000,
1928  0x0000000020000000, 0x0000000020000000,
1929  0x0000000010000000, 0x0000000010000000,
1930  0x0000000008000000, 0x0000000008000000,
1931  0x0000000004000000, 0x0000000004000000,
1932  0x0000000002000000, 0x0000000002000000,
1933  0x0000000001000000, 0x0000000001000000,
1934  0x0000000000800000, 0x0000000000800000,
1935  0x0000000000400000, 0x0000000000400000,
1936  0x0000000000200000, 0x0000000000200000,
1937  0x0000000000100000, 0x0000000000100000,
1938  0x0000000000080000, 0x0000000000080000,
1939  0x0000000000040000, 0x0000000000040000,
1940  0x0000000000020000, 0x0000000000020000,
1941  0x0000000000010000, 0x0000000000010000,
1942  0x0000000000008000, 0x0000000000008000,
1943  0x0000000000004000, 0x0000000000004000,
1944  0x0000000000002000, 0x0000000000002000,
1945  0x0000000000001000, 0x0000000000001000,
1946  0x0000000000000800, 0x0000000000000800,
1947  0x0000000000000400, 0x0000000000000400,
1948  0x0000000000000200, 0x0000000000000200,
1949  0x0000000000000100, 0x0000000000000100,
1950  0x0000000000000080, 0x0000000000000080,
1951  0x0000000000000040, 0x0000000000000040,
1952  0x0000000000000020, 0x0000000000000020,
1953  0x0000000000000010, 0x0000000000000010,
1954  0x0000000000000008, 0x0000000000000008,
1955  0x0000000000000004, 0x0000000000000004,
1956  0x0000000000000002, 0x0000000000000002,
1957  0x0000000000000001, 0x0000000000000001,
1958  0x7fffffffffffc001, 0x7fffffffffffc001,
1959  0x3fffffffffffe000, 0x3fffffffffffe001,
1960  0x1ffffffffffff000, 0x1ffffffffffff000,
1961  0x0ffffffffffff800, 0x0ffffffffffff800,
1962  0x07fffffffffffc00, 0x07fffffffffffc00,
1963  0x03fffffffffffe00, 0x03fffffffffffe00,
1964  0x01ffffffffffff00, 0x01ffffffffffff00,
1965  0x00ffffffffffff80, 0x00ffffffffffff80,
1966  0x007fffffffffffc0, 0x007fffffffffffc0,
1967  0x003fffffffffffe0, 0x003fffffffffffe0,
1968  0x001ffffffffffff0, 0x001ffffffffffff0,
1969  0x000ffffffffffff8, 0x000ffffffffffff8,
1970  0x0007fffffffffffc, 0x0007fffffffffffc,
1971  0x0003fffffffffffe, 0x0003fffffffffffe,
1972  0x0001ffffffffffff, 0x0001ffffffffffff,
1973  0x0001000000000000, 0x0001000000000000,
1974  0x0000800000000000, 0x0000800000000000,
1975  0x0000400000000000, 0x0000400000000000,
1976  0x0000200000000000, 0x0000200000000000,
1977  0x0000100000000000, 0x0000100000000000,
1978  0x0000080000000000, 0x0000080000000000,
1979  0x0000040000000000, 0x0000040000000000,
1980  0x0000020000000000, 0x0000020000000000,
1981  0x0000010000000000, 0x0000010000000000,
1982  0x0000008000000000, 0x0000008000000000,
1983  0x0000004000000000, 0x0000004000000000,
1984  0x0000002000000000, 0x0000002000000000,
1985  0x0000001000000000, 0x0000001000000000,
1986  0x0000000800000000, 0x0000000800000000,
1987  0x0000000400000000, 0x0000000400000000,
1988  0x0000000200000000, 0x0000000200000000,
1989  0x0000000100000000, 0x0000000100000000,
1990  0x0000000080000000, 0x0000000080000000,
1991  0x0000000040000000, 0x0000000040000000,
1992  0x0000000020000000, 0x0000000020000000,
1993  0x0000000010000000, 0x0000000010000000,
1994  0x0000000008000000, 0x0000000008000000,
1995  0x0000000004000000, 0x0000000004000000,
1996  0x0000000002000000, 0x0000000002000000,
1997  0x0000000001000000, 0x0000000001000000,
1998  0x0000000000800000, 0x0000000000800000,
1999  0x0000000000400000, 0x0000000000400000,
2000  0x0000000000200000, 0x0000000000200000,
2001  0x0000000000100000, 0x0000000000100000,
2002  0x0000000000080000, 0x0000000000080000,
2003  0x0000000000040000, 0x0000000000040000,
2004  0x0000000000020000, 0x0000000000020000,
2005  0x0000000000010000, 0x0000000000010000,
2006  0x0000000000008000, 0x0000000000008000,
2007  0x0000000000004000, 0x0000000000004000,
2008  0x0000000000002000, 0x0000000000002000,
2009  0x0000000000001000, 0x0000000000001000,
2010  0x0000000000000800, 0x0000000000000800,
2011  0x0000000000000400, 0x0000000000000400,
2012  0x0000000000000200, 0x0000000000000200,
2013  0x0000000000000100, 0x0000000000000100,
2014  0x0000000000000080, 0x0000000000000080,
2015  0x0000000000000040, 0x0000000000000040,
2016  0x0000000000000020, 0x0000000000000020,
2017  0x0000000000000010, 0x0000000000000010,
2018  0x0000000000000008, 0x0000000000000008,
2019  0x0000000000000004, 0x0000000000000004,
2020  0x0000000000000002, 0x0000000000000002,
2021  0x0000000000000001, 0x0000000000000001,
2022  0x7fffffffffffc001, 0x7fffffffffffc002,
2023  0x3fffffffffffe001, 0x3fffffffffffe001,
2024  0x1ffffffffffff000, 0x1ffffffffffff000,
2025  0x0ffffffffffff800, 0x0ffffffffffff800,
2026  0x07fffffffffffc00, 0x07fffffffffffc00,
2027  0x03fffffffffffe00, 0x03fffffffffffe00,
2028  0x01ffffffffffff00, 0x01ffffffffffff00,
2029  0x00ffffffffffff80, 0x00ffffffffffff80,
2030  0x007fffffffffffc0, 0x007fffffffffffc0,
2031  0x003fffffffffffe0, 0x003fffffffffffe0,
2032  0x001ffffffffffff0, 0x001ffffffffffff0,
2033  0x000ffffffffffff8, 0x000ffffffffffff8,
2034  0x0007fffffffffffc, 0x0007fffffffffffc,
2035  0x0003fffffffffffe, 0x0003fffffffffffe,
2036  0x0001ffffffffffff, 0x0001ffffffffffff,
2037  0x0001000000000000, 0x0001000000000000,
2038  0x0000800000000000, 0x0000800000000000,
2039  0x0000400000000000, 0x0000400000000000,
2040  0x0000200000000000, 0x0000200000000000,
2041  0x0000100000000000, 0x0000100000000000,
2042  0x0000080000000000, 0x0000080000000000,
2043  0x0000040000000000, 0x0000040000000000,
2044  0x0000020000000000, 0x0000020000000000,
2045  0x0000010000000000, 0x0000010000000000,
2046  0x0000008000000000, 0x0000008000000000,
2047  0x0000004000000000, 0x0000004000000000,
2048  0x0000002000000000, 0x0000002000000000,
2049  0x0000001000000000, 0x0000001000000000,
2050  0x0000000800000000, 0x0000000800000000,
2051  0x0000000400000000, 0x0000000400000000,
2052  0x0000000200000000, 0x0000000200000000,
2053  0x0000000100000000, 0x0000000100000000,
2054  0x0000000080000000, 0x0000000080000000,
2055  0x0000000040000000, 0x0000000040000000,
2056  0x0000000020000000, 0x0000000020000000,
2057  0x0000000010000000, 0x0000000010000000,
2058  0x0000000008000000, 0x0000000008000000,
2059  0x0000000004000000, 0x0000000004000000,
2060  0x0000000002000000, 0x0000000002000000,
2061  0x0000000001000000, 0x0000000001000000,
2062  0x0000000000800000, 0x0000000000800000,
2063  0x0000000000400000, 0x0000000000400000,
2064  0x0000000000200000, 0x0000000000200000,
2065  0x0000000000100000, 0x0000000000100000,
2066  0x0000000000080000, 0x0000000000080000,
2067  0x0000000000040000, 0x0000000000040000,
2068  0x0000000000020000, 0x0000000000020000,
2069  0x0000000000010000, 0x0000000000010000,
2070  0x0000000000008000, 0x0000000000008000,
2071  0x0000000000004000, 0x0000000000004000,
2072  0x0000000000002000, 0x0000000000002000,
2073  0x0000000000001000, 0x0000000000001000,
2074  0x0000000000000800, 0x0000000000000800,
2075  0x0000000000000400, 0x0000000000000400,
2076  0x0000000000000200, 0x0000000000000200,
2077  0x0000000000000100, 0x0000000000000100,
2078  0x0000000000000080, 0x0000000000000080,
2079  0x0000000000000040, 0x0000000000000040,
2080  0x0000000000000020, 0x0000000000000020,
2081  0x0000000000000010, 0x0000000000000010,
2082  0x0000000000000008, 0x0000000000000008,
2083  0x0000000000000004, 0x0000000000000004,
2084  0x0000000000000002, 0x0000000000000002,
2085  0x0000000000000001, 0x0000000000000001,
2086  0x7fffffffffffc002, 0x7fffffffffffffc0,
2087  0x3fffffffffffe001, 0x3fffffffffffffe0,
2088  0x1ffffffffffff000, 0x1ffffffffffffff0,
2089  0x0ffffffffffff800, 0x0ffffffffffffff8,
2090  0x07fffffffffffc00, 0x07fffffffffffffc,
2091  0x03fffffffffffe00, 0x03fffffffffffffe,
2092  0x01ffffffffffff00, 0x01ffffffffffffff,
2093  0x00ffffffffffff80, 0x0100000000000000,
2094  0x007fffffffffffc0, 0x0080000000000000,
2095  0x003fffffffffffe0, 0x0040000000000000,
2096  0x001ffffffffffff0, 0x0020000000000000,
2097  0x000ffffffffffff8, 0x0010000000000000,
2098  0x0007fffffffffffc, 0x0008000000000000,
2099  0x0003fffffffffffe, 0x0004000000000000,
2100  0x0001ffffffffffff, 0x0002000000000000,
2101  0x0001000000000000, 0x0001000000000000,
2102  0x0000800000000000, 0x0000800000000000,
2103  0x0000400000000000, 0x0000400000000000,
2104  0x0000200000000000, 0x0000200000000000,
2105  0x0000100000000000, 0x0000100000000000,
2106  0x0000080000000000, 0x0000080000000000,
2107  0x0000040000000000, 0x0000040000000000,
2108  0x0000020000000000, 0x0000020000000000,
2109  0x0000010000000000, 0x0000010000000000,
2110  0x0000008000000000, 0x0000008000000000,
2111  0x0000004000000000, 0x0000004000000000,
2112  0x0000002000000000, 0x0000002000000000,
2113  0x0000001000000000, 0x0000001000000000,
2114  0x0000000800000000, 0x0000000800000000,
2115  0x0000000400000000, 0x0000000400000000,
2116  0x0000000200000000, 0x0000000200000000,
2117  0x0000000100000000, 0x0000000100000000,
2118  0x0000000080000000, 0x0000000080000000,
2119  0x0000000040000000, 0x0000000040000000,
2120  0x0000000020000000, 0x0000000020000000,
2121  0x0000000010000000, 0x0000000010000000,
2122  0x0000000008000000, 0x0000000008000000,
2123  0x0000000004000000, 0x0000000004000000,
2124  0x0000000002000000, 0x0000000002000000,
2125  0x0000000001000000, 0x0000000001000000,
2126  0x0000000000800000, 0x0000000000800000,
2127  0x0000000000400000, 0x0000000000400000,
2128  0x0000000000200000, 0x0000000000200000,
2129  0x0000000000100000, 0x0000000000100000,
2130  0x0000000000080000, 0x0000000000080000,
2131  0x0000000000040000, 0x0000000000040000,
2132  0x0000000000020000, 0x0000000000020000,
2133  0x0000000000010000, 0x0000000000010000,
2134  0x0000000000008000, 0x0000000000008000,
2135  0x0000000000004000, 0x0000000000004000,
2136  0x0000000000002000, 0x0000000000002000,
2137  0x0000000000001000, 0x0000000000001000,
2138  0x0000000000000800, 0x0000000000000800,
2139  0x0000000000000400, 0x0000000000000400,
2140  0x0000000000000200, 0x0000000000000200,
2141  0x0000000000000100, 0x0000000000000100,
2142  0x0000000000000080, 0x0000000000000080,
2143  0x0000000000000040, 0x0000000000000040,
2144  0x0000000000000020, 0x0000000000000020,
2145  0x0000000000000010, 0x0000000000000010,
2146  0x0000000000000008, 0x0000000000000008,
2147  0x0000000000000004, 0x0000000000000004,
2148  0x0000000000000002, 0x0000000000000002,
2149  0x0000000000000001, 0x0000000000000001,
2150  0x7fffffffffffffc0, 0x7fffffffffffffc1,
2151  0x3fffffffffffffe0, 0x3fffffffffffffe0,
2152  0x1ffffffffffffff0, 0x1ffffffffffffff0,
2153  0x0ffffffffffffff8, 0x0ffffffffffffff8,
2154  0x07fffffffffffffc, 0x07fffffffffffffc,
2155  0x03fffffffffffffe, 0x03fffffffffffffe,
2156  0x01ffffffffffffff, 0x01ffffffffffffff,
2157  0x0100000000000000, 0x0100000000000000,
2158  0x0080000000000000, 0x0080000000000000,
2159  0x0040000000000000, 0x0040000000000000,
2160  0x0020000000000000, 0x0020000000000000,
2161  0x0010000000000000, 0x0010000000000000,
2162  0x0008000000000000, 0x0008000000000000,
2163  0x0004000000000000, 0x0004000000000000,
2164  0x0002000000000000, 0x0002000000000000,
2165  0x0001000000000000, 0x0001000000000000,
2166  0x0000800000000000, 0x0000800000000000,
2167  0x0000400000000000, 0x0000400000000000,
2168  0x0000200000000000, 0x0000200000000000,
2169  0x0000100000000000, 0x0000100000000000,
2170  0x0000080000000000, 0x0000080000000000,
2171  0x0000040000000000, 0x0000040000000000,
2172  0x0000020000000000, 0x0000020000000000,
2173  0x0000010000000000, 0x0000010000000000,
2174  0x0000008000000000, 0x0000008000000000,
2175  0x0000004000000000, 0x0000004000000000,
2176  0x0000002000000000, 0x0000002000000000,
2177  0x0000001000000000, 0x0000001000000000,
2178  0x0000000800000000, 0x0000000800000000,
2179  0x0000000400000000, 0x0000000400000000,
2180  0x0000000200000000, 0x0000000200000000,
2181  0x0000000100000000, 0x0000000100000000,
2182  0x0000000080000000, 0x0000000080000000,
2183  0x0000000040000000, 0x0000000040000000,
2184  0x0000000020000000, 0x0000000020000000,
2185  0x0000000010000000, 0x0000000010000000,
2186  0x0000000008000000, 0x0000000008000000,
2187  0x0000000004000000, 0x0000000004000000,
2188  0x0000000002000000, 0x0000000002000000,
2189  0x0000000001000000, 0x0000000001000000,
2190  0x0000000000800000, 0x0000000000800000,
2191  0x0000000000400000, 0x0000000000400000,
2192  0x0000000000200000, 0x0000000000200000,
2193  0x0000000000100000, 0x0000000000100000,
2194  0x0000000000080000, 0x0000000000080000,
2195  0x0000000000040000, 0x0000000000040000,
2196  0x0000000000020000, 0x0000000000020000,
2197  0x0000000000010000, 0x0000000000010000,
2198  0x0000000000008000, 0x0000000000008000,
2199  0x0000000000004000, 0x0000000000004000,
2200  0x0000000000002000, 0x0000000000002000,
2201  0x0000000000001000, 0x0000000000001000,
2202  0x0000000000000800, 0x0000000000000800,
2203  0x0000000000000400, 0x0000000000000400,
2204  0x0000000000000200, 0x0000000000000200,
2205  0x0000000000000100, 0x0000000000000100,
2206  0x0000000000000080, 0x0000000000000080,
2207  0x0000000000000040, 0x0000000000000040,
2208  0x0000000000000020, 0x0000000000000020,
2209  0x0000000000000010, 0x0000000000000010,
2210  0x0000000000000008, 0x0000000000000008,
2211  0x0000000000000004, 0x0000000000000004,
2212  0x0000000000000002, 0x0000000000000002,
2213  0x0000000000000001, 0x0000000000000001,
2214  0x7fffffffffffffc1, 0x7fffffffffffffc1,
2215  0x3fffffffffffffe0, 0x3fffffffffffffe1,
2216  0x1ffffffffffffff0, 0x1ffffffffffffff0,
2217  0x0ffffffffffffff8, 0x0ffffffffffffff8,
2218  0x07fffffffffffffc, 0x07fffffffffffffc,
2219  0x03fffffffffffffe, 0x03fffffffffffffe,
2220  0x01ffffffffffffff, 0x01ffffffffffffff,
2221  0x0100000000000000, 0x0100000000000000,
2222  0x0080000000000000, 0x0080000000000000,
2223  0x0040000000000000, 0x0040000000000000,
2224  0x0020000000000000, 0x0020000000000000,
2225  0x0010000000000000, 0x0010000000000000,
2226  0x0008000000000000, 0x0008000000000000,
2227  0x0004000000000000, 0x0004000000000000,
2228  0x0002000000000000, 0x0002000000000000,
2229  0x0001000000000000, 0x0001000000000000,
2230  0x0000800000000000, 0x0000800000000000,
2231  0x0000400000000000, 0x0000400000000000,
2232  0x0000200000000000, 0x0000200000000000,
2233  0x0000100000000000, 0x0000100000000000,
2234  0x0000080000000000, 0x0000080000000000,
2235  0x0000040000000000, 0x0000040000000000,
2236  0x0000020000000000, 0x0000020000000000,
2237  0x0000010000000000, 0x0000010000000000,
2238  0x0000008000000000, 0x0000008000000000,
2239  0x0000004000000000, 0x0000004000000000,
2240  0x0000002000000000, 0x0000002000000000,
2241  0x0000001000000000, 0x0000001000000000,
2242  0x0000000800000000, 0x0000000800000000,
2243  0x0000000400000000, 0x0000000400000000,
2244  0x0000000200000000, 0x0000000200000000,
2245  0x0000000100000000, 0x0000000100000000,
2246  0x0000000080000000, 0x0000000080000000,
2247  0x0000000040000000, 0x0000000040000000,
2248  0x0000000020000000, 0x0000000020000000,
2249  0x0000000010000000, 0x0000000010000000,
2250  0x0000000008000000, 0x0000000008000000,
2251  0x0000000004000000, 0x0000000004000000,
2252  0x0000000002000000, 0x0000000002000000,
2253  0x0000000001000000, 0x0000000001000000,
2254  0x0000000000800000, 0x0000000000800000,
2255  0x0000000000400000, 0x0000000000400000,
2256  0x0000000000200000, 0x0000000000200000,
2257  0x0000000000100000, 0x0000000000100000,
2258  0x0000000000080000, 0x0000000000080000,
2259  0x0000000000040000, 0x0000000000040000,
2260  0x0000000000020000, 0x0000000000020000,
2261  0x0000000000010000, 0x0000000000010000,
2262  0x0000000000008000, 0x0000000000008000,
2263  0x0000000000004000, 0x0000000000004000,
2264  0x0000000000002000, 0x0000000000002000,
2265  0x0000000000001000, 0x0000000000001000,
2266  0x0000000000000800, 0x0000000000000800,
2267  0x0000000000000400, 0x0000000000000400,
2268  0x0000000000000200, 0x0000000000000200,
2269  0x0000000000000100, 0x0000000000000100,
2270  0x0000000000000080, 0x0000000000000080,
2271  0x0000000000000040, 0x0000000000000040,
2272  0x0000000000000020, 0x0000000000000020,
2273  0x0000000000000010, 0x0000000000000010,
2274  0x0000000000000008, 0x0000000000000008,
2275  0x0000000000000004, 0x0000000000000004,
2276  0x0000000000000002, 0x0000000000000002,
2277  0x0000000000000001, 0x0000000000000001,
2278  0x7fffffffffffffc1, 0x7fffffffffffffc2,
2279  0x3fffffffffffffe1, 0x3fffffffffffffe1,
2280  0x1ffffffffffffff0, 0x1ffffffffffffff0,
2281  0x0ffffffffffffff8, 0x0ffffffffffffff8,
2282  0x07fffffffffffffc, 0x07fffffffffffffc,
2283  0x03fffffffffffffe, 0x03fffffffffffffe,
2284  0x01ffffffffffffff, 0x01ffffffffffffff,
2285  0x0100000000000000, 0x0100000000000000,
2286  0x0080000000000000, 0x0080000000000000,
2287  0x0040000000000000, 0x0040000000000000,
2288  0x0020000000000000, 0x0020000000000000,
2289  0x0010000000000000, 0x0010000000000000,
2290  0x0008000000000000, 0x0008000000000000,
2291  0x0004000000000000, 0x0004000000000000,
2292  0x0002000000000000, 0x0002000000000000,
2293  0x0001000000000000, 0x0001000000000000,
2294  0x0000800000000000, 0x0000800000000000,
2295  0x0000400000000000, 0x0000400000000000,
2296  0x0000200000000000, 0x0000200000000000,
2297  0x0000100000000000, 0x0000100000000000,
2298  0x0000080000000000, 0x0000080000000000,
2299  0x0000040000000000, 0x0000040000000000,
2300  0x0000020000000000, 0x0000020000000000,
2301  0x0000010000000000, 0x0000010000000000,
2302  0x0000008000000000, 0x0000008000000000,
2303  0x0000004000000000, 0x0000004000000000,
2304  0x0000002000000000, 0x0000002000000000,
2305  0x0000001000000000, 0x0000001000000000,
2306  0x0000000800000000, 0x0000000800000000,
2307  0x0000000400000000, 0x0000000400000000,
2308  0x0000000200000000, 0x0000000200000000,
2309  0x0000000100000000, 0x0000000100000000,
2310  0x0000000080000000, 0x0000000080000000,
2311  0x0000000040000000, 0x0000000040000000,
2312  0x0000000020000000, 0x0000000020000000,
2313  0x0000000010000000, 0x0000000010000000,
2314  0x0000000008000000, 0x0000000008000000,
2315  0x0000000004000000, 0x0000000004000000,
2316  0x0000000002000000, 0x0000000002000000,
2317  0x0000000001000000, 0x0000000001000000,
2318  0x0000000000800000, 0x0000000000800000,
2319  0x0000000000400000, 0x0000000000400000,
2320  0x0000000000200000, 0x0000000000200000,
2321  0x0000000000100000, 0x0000000000100000,
2322  0x0000000000080000, 0x0000000000080000,
2323  0x0000000000040000, 0x0000000000040000,
2324  0x0000000000020000, 0x0000000000020000,
2325  0x0000000000010000, 0x0000000000010000,
2326  0x0000000000008000, 0x0000000000008000,
2327  0x0000000000004000, 0x0000000000004000,
2328  0x0000000000002000, 0x0000000000002000,
2329  0x0000000000001000, 0x0000000000001000,
2330  0x0000000000000800, 0x0000000000000800,
2331  0x0000000000000400, 0x0000000000000400,
2332  0x0000000000000200, 0x0000000000000200,
2333  0x0000000000000100, 0x0000000000000100,
2334  0x0000000000000080, 0x0000000000000080,
2335  0x0000000000000040, 0x0000000000000040,
2336  0x0000000000000020, 0x0000000000000020,
2337  0x0000000000000010, 0x0000000000000010,
2338  0x0000000000000008, 0x0000000000000008,
2339  0x0000000000000004, 0x0000000000000004,
2340  0x0000000000000002, 0x0000000000000002,
2341  0x0000000000000001, 0x0000000000000001,
2342  0x7fffffffffffffc2, 0x7fffffffffffffe0,
2343  0x3fffffffffffffe1, 0x3ffffffffffffff0,
2344  0x1ffffffffffffff0, 0x1ffffffffffffff8,
2345  0x0ffffffffffffff8, 0x0ffffffffffffffc,
2346  0x07fffffffffffffc, 0x07fffffffffffffe,
2347  0x03fffffffffffffe, 0x03ffffffffffffff,
2348  0x01ffffffffffffff, 0x0200000000000000,
2349  0x0100000000000000, 0x0100000000000000,
2350  0x0080000000000000, 0x0080000000000000,
2351  0x0040000000000000, 0x0040000000000000,
2352  0x0020000000000000, 0x0020000000000000,
2353  0x0010000000000000, 0x0010000000000000,
2354  0x0008000000000000, 0x0008000000000000,
2355  0x0004000000000000, 0x0004000000000000,
2356  0x0002000000000000, 0x0002000000000000,
2357  0x0001000000000000, 0x0001000000000000,
2358  0x0000800000000000, 0x0000800000000000,
2359  0x0000400000000000, 0x0000400000000000,
2360  0x0000200000000000, 0x0000200000000000,
2361  0x0000100000000000, 0x0000100000000000,
2362  0x0000080000000000, 0x0000080000000000,
2363  0x0000040000000000, 0x0000040000000000,
2364  0x0000020000000000, 0x0000020000000000,
2365  0x0000010000000000, 0x0000010000000000,
2366  0x0000008000000000, 0x0000008000000000,
2367  0x0000004000000000, 0x0000004000000000,
2368  0x0000002000000000, 0x0000002000000000,
2369  0x0000001000000000, 0x0000001000000000,
2370  0x0000000800000000, 0x0000000800000000,
2371  0x0000000400000000, 0x0000000400000000,
2372  0x0000000200000000, 0x0000000200000000,
2373  0x0000000100000000, 0x0000000100000000,
2374  0x0000000080000000, 0x0000000080000000,
2375  0x0000000040000000, 0x0000000040000000,
2376  0x0000000020000000, 0x0000000020000000,
2377  0x0000000010000000, 0x0000000010000000,
2378  0x0000000008000000, 0x0000000008000000,
2379  0x0000000004000000, 0x0000000004000000,
2380  0x0000000002000000, 0x0000000002000000,
2381  0x0000000001000000, 0x0000000001000000,
2382  0x0000000000800000, 0x0000000000800000,
2383  0x0000000000400000, 0x0000000000400000,
2384  0x0000000000200000, 0x0000000000200000,
2385  0x0000000000100000, 0x0000000000100000,
2386  0x0000000000080000, 0x0000000000080000,
2387  0x0000000000040000, 0x0000000000040000,
2388  0x0000000000020000, 0x0000000000020000,
2389  0x0000000000010000, 0x0000000000010000,
2390  0x0000000000008000, 0x0000000000008000,
2391  0x0000000000004000, 0x0000000000004000,
2392  0x0000000000002000, 0x0000000000002000,
2393  0x0000000000001000, 0x0000000000001000,
2394  0x0000000000000800, 0x0000000000000800,
2395  0x0000000000000400, 0x0000000000000400,
2396  0x0000000000000200, 0x0000000000000200,
2397  0x0000000000000100, 0x0000000000000100,
2398  0x0000000000000080, 0x0000000000000080,
2399  0x0000000000000040, 0x0000000000000040,
2400  0x0000000000000020, 0x0000000000000020,
2401  0x0000000000000010, 0x0000000000000010,
2402  0x0000000000000008, 0x0000000000000008,
2403  0x0000000000000004, 0x0000000000000004,
2404  0x0000000000000002, 0x0000000000000002,
2405  0x0000000000000001, 0x0000000000000001,
2406  0x7fffffffffffffe0, 0x7fffffffffffffff,
2407  0x3ffffffffffffff0, 0x3fffffffffffffff,
2408  0x1ffffffffffffff8, 0x2000000000000000,
2409  0x0ffffffffffffffc, 0x1000000000000000,
2410  0x07fffffffffffffe, 0x0800000000000000,
2411  0x03ffffffffffffff, 0x0400000000000000,
2412  0x0200000000000000, 0x0200000000000000,
2413  0x0100000000000000, 0x0100000000000000,
2414  0x0080000000000000, 0x0080000000000000,
2415  0x0040000000000000, 0x0040000000000000,
2416  0x0020000000000000, 0x0020000000000000,
2417  0x0010000000000000, 0x0010000000000000,
2418  0x0008000000000000, 0x0008000000000000,
2419  0x0004000000000000, 0x0004000000000000,
2420  0x0002000000000000, 0x0002000000000000,
2421  0x0001000000000000, 0x0001000000000000,
2422  0x0000800000000000, 0x0000800000000000,
2423  0x0000400000000000, 0x0000400000000000,
2424  0x0000200000000000, 0x0000200000000000,
2425  0x0000100000000000, 0x0000100000000000,
2426  0x0000080000000000, 0x0000080000000000,
2427  0x0000040000000000, 0x0000040000000000,
2428  0x0000020000000000, 0x0000020000000000,
2429  0x0000010000000000, 0x0000010000000000,
2430  0x0000008000000000, 0x0000008000000000,
2431  0x0000004000000000, 0x0000004000000000,
2432  0x0000002000000000, 0x0000002000000000,
2433  0x0000001000000000, 0x0000001000000000,
2434  0x0000000800000000, 0x0000000800000000,
2435  0x0000000400000000, 0x0000000400000000,
2436  0x0000000200000000, 0x0000000200000000,
2437  0x0000000100000000, 0x0000000100000000,
2438  0x0000000080000000, 0x0000000080000000,
2439  0x0000000040000000, 0x0000000040000000,
2440  0x0000000020000000, 0x0000000020000000,
2441  0x0000000010000000, 0x0000000010000000,
2442  0x0000000008000000, 0x0000000008000000,
2443  0x0000000004000000, 0x0000000004000000,
2444  0x0000000002000000, 0x0000000002000000,
2445  0x0000000001000000, 0x0000000001000000,
2446  0x0000000000800000, 0x0000000000800000,
2447  0x0000000000400000, 0x0000000000400000,
2448  0x0000000000200000, 0x0000000000200000,
2449  0x0000000000100000, 0x0000000000100000,
2450  0x0000000000080000, 0x0000000000080000,
2451  0x0000000000040000, 0x0000000000040000,
2452  0x0000000000020000, 0x0000000000020000,
2453  0x0000000000010000, 0x0000000000010000,
2454  0x0000000000008000, 0x0000000000008000,
2455  0x0000000000004000, 0x0000000000004000,
2456  0x0000000000002000, 0x0000000000002000,
2457  0x0000000000001000, 0x0000000000001000,
2458  0x0000000000000800, 0x0000000000000800,
2459  0x0000000000000400, 0x0000000000000400,
2460  0x0000000000000200, 0x0000000000000200,
2461  0x0000000000000100, 0x0000000000000100,
2462  0x0000000000000080, 0x0000000000000080,
2463  0x0000000000000040, 0x0000000000000040,
2464  0x0000000000000020, 0x0000000000000020,
2465  0x0000000000000010, 0x0000000000000010,
2466  0x0000000000000008, 0x0000000000000008,
2467  0x0000000000000004, 0x0000000000000004,
2468  0x0000000000000002, 0x0000000000000002,
2469  0x0000000000000001, 0x0000000000000001,
2470  0x7fffffffffffffff, 0x7fffffffffffffff,
2471  0x3fffffffffffffff, 0x4000000000000000,
2472  0x2000000000000000, 0x2000000000000000,
2473  0x1000000000000000, 0x1000000000000000,
2474  0x0800000000000000, 0x0800000000000000,
2475  0x0400000000000000, 0x0400000000000000,
2476  0x0200000000000000, 0x0200000000000000,
2477  0x0100000000000000, 0x0100000000000000,
2478  0x0080000000000000, 0x0080000000000000,
2479  0x0040000000000000, 0x0040000000000000,
2480  0x0020000000000000, 0x0020000000000000,
2481  0x0010000000000000, 0x0010000000000000,
2482  0x0008000000000000, 0x0008000000000000,
2483  0x0004000000000000, 0x0004000000000000,
2484  0x0002000000000000, 0x0002000000000000,
2485  0x0001000000000000, 0x0001000000000000,
2486  0x0000800000000000, 0x0000800000000000,
2487  0x0000400000000000, 0x0000400000000000,
2488  0x0000200000000000, 0x0000200000000000,
2489  0x0000100000000000, 0x0000100000000000,
2490  0x0000080000000000, 0x0000080000000000,
2491  0x0000040000000000, 0x0000040000000000,
2492  0x0000020000000000, 0x0000020000000000,
2493  0x0000010000000000, 0x0000010000000000,
2494  0x0000008000000000, 0x0000008000000000,
2495  0x0000004000000000, 0x0000004000000000,
2496  0x0000002000000000, 0x0000002000000000,
2497  0x0000001000000000, 0x0000001000000000,
2498  0x0000000800000000, 0x0000000800000000,
2499  0x0000000400000000, 0x0000000400000000,
2500  0x0000000200000000, 0x0000000200000000,
2501  0x0000000100000000, 0x0000000100000000,
2502  0x0000000080000000, 0x0000000080000000,
2503  0x0000000040000000, 0x0000000040000000,
2504  0x0000000020000000, 0x0000000020000000,
2505  0x0000000010000000, 0x0000000010000000,
2506  0x0000000008000000, 0x0000000008000000,
2507  0x0000000004000000, 0x0000000004000000,
2508  0x0000000002000000, 0x0000000002000000,
2509  0x0000000001000000, 0x0000000001000000,
2510  0x0000000000800000, 0x0000000000800000,
2511  0x0000000000400000, 0x0000000000400000,
2512  0x0000000000200000, 0x0000000000200000,
2513  0x0000000000100000, 0x0000000000100000,
2514  0x0000000000080000, 0x0000000000080000,
2515  0x0000000000040000, 0x0000000000040000,
2516  0x0000000000020000, 0x0000000000020000,
2517  0x0000000000010000, 0x0000000000010000,
2518  0x0000000000008000, 0x0000000000008000,
2519  0x0000000000004000, 0x0000000000004000,
2520  0x0000000000002000, 0x0000000000002000,
2521  0x0000000000001000, 0x0000000000001000,
2522  0x0000000000000800, 0x0000000000000800,
2523  0x0000000000000400, 0x0000000000000400,
2524  0x0000000000000200, 0x0000000000000200,
2525  0x0000000000000100, 0x0000000000000100,
2526  0x0000000000000080, 0x0000000000000080,
2527  0x0000000000000040, 0x0000000000000040,
2528  0x0000000000000020, 0x0000000000000020,
2529  0x0000000000000010, 0x0000000000000010,
2530  0x0000000000000008, 0x0000000000000008,
2531  0x0000000000000004, 0x0000000000000004,
2532  0x0000000000000002, 0x0000000000000002,
2533  0x0000000000000001, 0x0000000000000001,
2534  0x7fffffffffffffff, 0x8000000000000000,
2535  0x4000000000000000, 0x4000000000000000,
2536  0x2000000000000000, 0x2000000000000000,
2537  0x1000000000000000, 0x1000000000000000,
2538  0x0800000000000000, 0x0800000000000000,
2539  0x0400000000000000, 0x0400000000000000,
2540  0x0200000000000000, 0x0200000000000000,
2541  0x0100000000000000, 0x0100000000000000,
2542  0x0080000000000000, 0x0080000000000000,
2543  0x0040000000000000, 0x0040000000000000,
2544  0x0020000000000000, 0x0020000000000000,
2545  0x0010000000000000, 0x0010000000000000,
2546  0x0008000000000000, 0x0008000000000000,
2547  0x0004000000000000, 0x0004000000000000,
2548  0x0002000000000000, 0x0002000000000000,
2549  0x0001000000000000, 0x0001000000000000,
2550  0x0000800000000000, 0x0000800000000000,
2551  0x0000400000000000, 0x0000400000000000,
2552  0x0000200000000000, 0x0000200000000000,
2553  0x0000100000000000, 0x0000100000000000,
2554  0x0000080000000000, 0x0000080000000000,
2555  0x0000040000000000, 0x0000040000000000,
2556  0x0000020000000000, 0x0000020000000000,
2557  0x0000010000000000, 0x0000010000000000,
2558  0x0000008000000000, 0x0000008000000000,
2559  0x0000004000000000, 0x0000004000000000,
2560  0x0000002000000000, 0x0000002000000000,
2561  0x0000001000000000, 0x0000001000000000,
2562  0x0000000800000000, 0x0000000800000000,
2563  0x0000000400000000, 0x0000000400000000,
2564  0x0000000200000000, 0x0000000200000000,
2565  0x0000000100000000, 0x0000000100000000,
2566  0x0000000080000000, 0x0000000080000000,
2567  0x0000000040000000, 0x0000000040000000,
2568  0x0000000020000000, 0x0000000020000000,
2569  0x0000000010000000, 0x0000000010000000,
2570  0x0000000008000000, 0x0000000008000000,
2571  0x0000000004000000, 0x0000000004000000,
2572  0x0000000002000000, 0x0000000002000000,
2573  0x0000000001000000, 0x0000000001000000,
2574  0x0000000000800000, 0x0000000000800000,
2575  0x0000000000400000, 0x0000000000400000,
2576  0x0000000000200000, 0x0000000000200000,
2577  0x0000000000100000, 0x0000000000100000,
2578  0x0000000000080000, 0x0000000000080000,
2579  0x0000000000040000, 0x0000000000040000,
2580  0x0000000000020000, 0x0000000000020000,
2581  0x0000000000010000, 0x0000000000010000,
2582  0x0000000000008000, 0x0000000000008000,
2583  0x0000000000004000, 0x0000000000004000,
2584  0x0000000000002000, 0x0000000000002000,
2585  0x0000000000001000, 0x0000000000001000,
2586  0x0000000000000800, 0x0000000000000800,
2587  0x0000000000000400, 0x0000000000000400,
2588  0x0000000000000200, 0x0000000000000200,
2589  0x0000000000000100, 0x0000000000000100,
2590  0x0000000000000080, 0x0000000000000080,
2591  0x0000000000000040, 0x0000000000000040,
2592  0x0000000000000020, 0x0000000000000020,
2593  0x0000000000000010, 0x0000000000000010,
2594  0x0000000000000008, 0x0000000000000008,
2595  0x0000000000000004, 0x0000000000000004,
2596  0x0000000000000002, 0x0000000000000002,
2597  0x0000000000000001, 0x0000000000000001,
2598};
2599const unsigned kExpectedCount_NEON_urshr_2D_2OPIMM = 2560;
2600
2601#endif  // VIXL_SIM_URSHR_2D_2OPIMM_TRACE_AARCH64_H_
2602