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_SLI_2D_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_SLI_2D_2OPIMM_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_sli_2D_2OPIMM[] = {
38  0xffffffffffffffff, 0x0000000000000000,
39  0xffffffffffffffff, 0x0000000000000000,
40  0xffffffffffffffff, 0x0000000000000000,
41  0xffffffffffffffff, 0x0000000000000000,
42  0xffffffffffffffff, 0x0000000000000000,
43  0xffffffffffffffff, 0x0000000000000000,
44  0xffffffffffffffff, 0x0000000000000000,
45  0xffffffffffffffff, 0x0000000000000000,
46  0xffffffffffffffff, 0x0000000000000000,
47  0xffffffffffffffff, 0x0000000000000000,
48  0xffffffffffffffff, 0x0000000000000000,
49  0xffffffffffffffff, 0x0000000000000000,
50  0xffffffffffffffff, 0x0000000000000000,
51  0xffffffffffffffff, 0x0000000000000000,
52  0xffffffffffffffff, 0x0000000000000000,
53  0xffffffffffffffff, 0x0000000000000000,
54  0xffffffffffffffff, 0x0000000000000000,
55  0xffffffffffffffff, 0x0000000000000000,
56  0xffffffffffffffff, 0x0000000000000000,
57  0xffffffffffffffff, 0x0000000000000000,
58  0xffffffffffffffff, 0x0000000000000000,
59  0xffffffffffffffff, 0x0000000000000000,
60  0xffffffffffffffff, 0x0000000000000000,
61  0xffffffffffffffff, 0x0000000000000000,
62  0xffffffffffffffff, 0x0000000000000000,
63  0xffffffffffffffff, 0x0000000000000000,
64  0xffffffffffffffff, 0x0000000000000000,
65  0xffffffffffffffff, 0x0000000000000000,
66  0xffffffffffffffff, 0x0000000000000000,
67  0xffffffffffffffff, 0x0000000000000000,
68  0xffffffffffffffff, 0x0000000000000000,
69  0xffffffffffffffff, 0x0000000000000000,
70  0xffffffffffffffff, 0x0000000000000000,
71  0xffffffffffffffff, 0x0000000000000000,
72  0xffffffffffffffff, 0x0000000000000000,
73  0xffffffffffffffff, 0x0000000000000000,
74  0xffffffffffffffff, 0x0000000000000000,
75  0xffffffffffffffff, 0x0000000000000000,
76  0xffffffffffffffff, 0x0000000000000000,
77  0xffffffffffffffff, 0x0000000000000000,
78  0xffffffffffffffff, 0x0000000000000000,
79  0xffffffffffffffff, 0x0000000000000000,
80  0xffffffffffffffff, 0x0000000000000000,
81  0xffffffffffffffff, 0x0000000000000000,
82  0xffffffffffffffff, 0x0000000000000000,
83  0xffffffffffffffff, 0x0000000000000000,
84  0xffffffffffffffff, 0x0000000000000000,
85  0xffffffffffffffff, 0x0000000000000000,
86  0xffffffffffffffff, 0x0000000000000000,
87  0xffffffffffffffff, 0x0000000000000000,
88  0xffffffffffffffff, 0x0000000000000000,
89  0xffffffffffffffff, 0x0000000000000000,
90  0xffffffffffffffff, 0x0000000000000000,
91  0xffffffffffffffff, 0x0000000000000000,
92  0xffffffffffffffff, 0x0000000000000000,
93  0xffffffffffffffff, 0x0000000000000000,
94  0xffffffffffffffff, 0x0000000000000000,
95  0xffffffffffffffff, 0x0000000000000000,
96  0xffffffffffffffff, 0x0000000000000000,
97  0xffffffffffffffff, 0x0000000000000000,
98  0xffffffffffffffff, 0x0000000000000000,
99  0xffffffffffffffff, 0x0000000000000000,
100  0xffffffffffffffff, 0x0000000000000000,
101  0xffffffffffffffff, 0x0000000000000000,
102  0x0000000000000000, 0x0000000000000001,
103  0x0000000000000000, 0x0000000000000003,
104  0x0000000000000000, 0x0000000000000007,
105  0x0000000000000000, 0x000000000000000f,
106  0x0000000000000000, 0x000000000000001f,
107  0x0000000000000000, 0x000000000000003f,
108  0x0000000000000000, 0x000000000000007f,
109  0x0000000000000000, 0x00000000000000ff,
110  0x0000000000000000, 0x00000000000001ff,
111  0x0000000000000000, 0x00000000000003ff,
112  0x0000000000000000, 0x00000000000007ff,
113  0x0000000000000000, 0x0000000000000fff,
114  0x0000000000000000, 0x0000000000001fff,
115  0x0000000000000000, 0x0000000000003fff,
116  0x0000000000000000, 0x0000000000007fff,
117  0x0000000000000000, 0x000000000000ffff,
118  0x0000000000000000, 0x000000000001ffff,
119  0x0000000000000000, 0x000000000003ffff,
120  0x0000000000000000, 0x000000000007ffff,
121  0x0000000000000000, 0x00000000000fffff,
122  0x0000000000000000, 0x00000000001fffff,
123  0x0000000000000000, 0x00000000003fffff,
124  0x0000000000000000, 0x00000000007fffff,
125  0x0000000000000000, 0x0000000000ffffff,
126  0x0000000000000000, 0x0000000001ffffff,
127  0x0000000000000000, 0x0000000003ffffff,
128  0x0000000000000000, 0x0000000007ffffff,
129  0x0000000000000000, 0x000000000fffffff,
130  0x0000000000000000, 0x000000001fffffff,
131  0x0000000000000000, 0x000000003fffffff,
132  0x0000000000000000, 0x000000007fffffff,
133  0x0000000000000000, 0x00000000ffffffff,
134  0x0000000000000000, 0x00000001ffffffff,
135  0x0000000000000000, 0x00000003ffffffff,
136  0x0000000000000000, 0x00000007ffffffff,
137  0x0000000000000000, 0x0000000fffffffff,
138  0x0000000000000000, 0x0000001fffffffff,
139  0x0000000000000000, 0x0000003fffffffff,
140  0x0000000000000000, 0x0000007fffffffff,
141  0x0000000000000000, 0x000000ffffffffff,
142  0x0000000000000000, 0x000001ffffffffff,
143  0x0000000000000000, 0x000003ffffffffff,
144  0x0000000000000000, 0x000007ffffffffff,
145  0x0000000000000000, 0x00000fffffffffff,
146  0x0000000000000000, 0x00001fffffffffff,
147  0x0000000000000000, 0x00003fffffffffff,
148  0x0000000000000000, 0x00007fffffffffff,
149  0x0000000000000000, 0x0000ffffffffffff,
150  0x0000000000000000, 0x0001ffffffffffff,
151  0x0000000000000000, 0x0003ffffffffffff,
152  0x0000000000000000, 0x0007ffffffffffff,
153  0x0000000000000000, 0x000fffffffffffff,
154  0x0000000000000000, 0x001fffffffffffff,
155  0x0000000000000000, 0x003fffffffffffff,
156  0x0000000000000000, 0x007fffffffffffff,
157  0x0000000000000000, 0x00ffffffffffffff,
158  0x0000000000000000, 0x01ffffffffffffff,
159  0x0000000000000000, 0x03ffffffffffffff,
160  0x0000000000000000, 0x07ffffffffffffff,
161  0x0000000000000000, 0x0fffffffffffffff,
162  0x0000000000000000, 0x1fffffffffffffff,
163  0x0000000000000000, 0x3fffffffffffffff,
164  0x0000000000000000, 0x7fffffffffffffff,
165  0x0000000000000000, 0xffffffffffffffff,
166  0x0000000000000001, 0x0000000000000002,
167  0x0000000000000003, 0x0000000000000004,
168  0x0000000000000007, 0x0000000000000008,
169  0x000000000000000f, 0x0000000000000010,
170  0x000000000000001f, 0x0000000000000020,
171  0x000000000000003f, 0x0000000000000040,
172  0x000000000000007f, 0x0000000000000080,
173  0x00000000000000ff, 0x0000000000000100,
174  0x00000000000001ff, 0x0000000000000200,
175  0x00000000000003ff, 0x0000000000000400,
176  0x00000000000007ff, 0x0000000000000800,
177  0x0000000000000fff, 0x0000000000001000,
178  0x0000000000001fff, 0x0000000000002000,
179  0x0000000000003fff, 0x0000000000004000,
180  0x0000000000007fff, 0x0000000000008000,
181  0x000000000000ffff, 0x0000000000010000,
182  0x000000000001ffff, 0x0000000000020000,
183  0x000000000003ffff, 0x0000000000040000,
184  0x000000000007ffff, 0x0000000000080000,
185  0x00000000000fffff, 0x0000000000100000,
186  0x00000000001fffff, 0x0000000000200000,
187  0x00000000003fffff, 0x0000000000400000,
188  0x00000000007fffff, 0x0000000000800000,
189  0x0000000000ffffff, 0x0000000001000000,
190  0x0000000001ffffff, 0x0000000002000000,
191  0x0000000003ffffff, 0x0000000004000000,
192  0x0000000007ffffff, 0x0000000008000000,
193  0x000000000fffffff, 0x0000000010000000,
194  0x000000001fffffff, 0x0000000020000000,
195  0x000000003fffffff, 0x0000000040000000,
196  0x000000007fffffff, 0x0000000080000000,
197  0x00000000ffffffff, 0x0000000100000000,
198  0x00000001ffffffff, 0x0000000200000000,
199  0x00000003ffffffff, 0x0000000400000000,
200  0x00000007ffffffff, 0x0000000800000000,
201  0x0000000fffffffff, 0x0000001000000000,
202  0x0000001fffffffff, 0x0000002000000000,
203  0x0000003fffffffff, 0x0000004000000000,
204  0x0000007fffffffff, 0x0000008000000000,
205  0x000000ffffffffff, 0x0000010000000000,
206  0x000001ffffffffff, 0x0000020000000000,
207  0x000003ffffffffff, 0x0000040000000000,
208  0x000007ffffffffff, 0x0000080000000000,
209  0x00000fffffffffff, 0x0000100000000000,
210  0x00001fffffffffff, 0x0000200000000000,
211  0x00003fffffffffff, 0x0000400000000000,
212  0x00007fffffffffff, 0x0000800000000000,
213  0x0000ffffffffffff, 0x0001000000000000,
214  0x0001ffffffffffff, 0x0002000000000000,
215  0x0003ffffffffffff, 0x0004000000000000,
216  0x0007ffffffffffff, 0x0008000000000000,
217  0x000fffffffffffff, 0x0010000000000000,
218  0x001fffffffffffff, 0x0020000000000000,
219  0x003fffffffffffff, 0x0040000000000000,
220  0x007fffffffffffff, 0x0080000000000000,
221  0x00ffffffffffffff, 0x0100000000000000,
222  0x01ffffffffffffff, 0x0200000000000000,
223  0x03ffffffffffffff, 0x0400000000000000,
224  0x07ffffffffffffff, 0x0800000000000000,
225  0x0fffffffffffffff, 0x1000000000000000,
226  0x1fffffffffffffff, 0x2000000000000000,
227  0x3fffffffffffffff, 0x4000000000000000,
228  0x7fffffffffffffff, 0x8000000000000000,
229  0xffffffffffffffff, 0x0000000000000000,
230  0x0000000000000002, 0x0000000000000040,
231  0x0000000000000004, 0x0000000000000080,
232  0x0000000000000008, 0x0000000000000100,
233  0x0000000000000010, 0x0000000000000200,
234  0x0000000000000020, 0x0000000000000400,
235  0x0000000000000040, 0x0000000000000800,
236  0x0000000000000080, 0x0000000000001000,
237  0x0000000000000100, 0x0000000000002000,
238  0x0000000000000200, 0x0000000000004000,
239  0x0000000000000400, 0x0000000000008000,
240  0x0000000000000800, 0x0000000000010000,
241  0x0000000000001000, 0x0000000000020000,
242  0x0000000000002000, 0x0000000000040000,
243  0x0000000000004000, 0x0000000000080000,
244  0x0000000000008000, 0x0000000000100000,
245  0x0000000000010000, 0x0000000000200000,
246  0x0000000000020000, 0x0000000000400000,
247  0x0000000000040000, 0x0000000000800000,
248  0x0000000000080000, 0x0000000001000000,
249  0x0000000000100000, 0x0000000002000000,
250  0x0000000000200000, 0x0000000004000000,
251  0x0000000000400000, 0x0000000008000000,
252  0x0000000000800000, 0x0000000010000000,
253  0x0000000001000000, 0x0000000020000000,
254  0x0000000002000000, 0x0000000040000000,
255  0x0000000004000000, 0x0000000080000000,
256  0x0000000008000000, 0x0000000100000000,
257  0x0000000010000000, 0x0000000200000000,
258  0x0000000020000000, 0x0000000400000000,
259  0x0000000040000000, 0x0000000800000000,
260  0x0000000080000000, 0x0000001000000000,
261  0x0000000100000000, 0x0000002000000000,
262  0x0000000200000000, 0x0000004000000000,
263  0x0000000400000000, 0x0000008000000000,
264  0x0000000800000000, 0x0000010000000000,
265  0x0000001000000000, 0x0000020000000000,
266  0x0000002000000000, 0x0000040000000000,
267  0x0000004000000000, 0x0000080000000000,
268  0x0000008000000000, 0x0000100000000000,
269  0x0000010000000000, 0x0000200000000000,
270  0x0000020000000000, 0x0000400000000000,
271  0x0000040000000000, 0x0000800000000000,
272  0x0000080000000000, 0x0001000000000000,
273  0x0000100000000000, 0x0002000000000000,
274  0x0000200000000000, 0x0004000000000000,
275  0x0000400000000000, 0x0008000000000000,
276  0x0000800000000000, 0x0010000000000000,
277  0x0001000000000000, 0x0020000000000000,
278  0x0002000000000000, 0x0040000000000000,
279  0x0004000000000000, 0x0080000000000000,
280  0x0008000000000000, 0x0100000000000000,
281  0x0010000000000000, 0x0200000000000000,
282  0x0020000000000000, 0x0400000000000000,
283  0x0040000000000000, 0x0800000000000000,
284  0x0080000000000000, 0x1000000000000000,
285  0x0100000000000000, 0x2000000000000000,
286  0x0200000000000000, 0x4000000000000000,
287  0x0400000000000000, 0x8000000000000000,
288  0x0800000000000000, 0x0000000000000000,
289  0x1000000000000000, 0x0000000000000000,
290  0x2000000000000000, 0x0000000000000000,
291  0x4000000000000000, 0x0000000000000000,
292  0x8000000000000000, 0x0000000000000000,
293  0x0000000000000000, 0x0000000000000000,
294  0x0000000000000040, 0x000000000000007d,
295  0x0000000000000080, 0x00000000000000fb,
296  0x0000000000000100, 0x00000000000001f7,
297  0x0000000000000200, 0x00000000000003ef,
298  0x0000000000000400, 0x00000000000007df,
299  0x0000000000000800, 0x0000000000000fbf,
300  0x0000000000001000, 0x0000000000001f7f,
301  0x0000000000002000, 0x0000000000003eff,
302  0x0000000000004000, 0x0000000000007dff,
303  0x0000000000008000, 0x000000000000fbff,
304  0x0000000000010000, 0x000000000001f7ff,
305  0x0000000000020000, 0x000000000003efff,
306  0x0000000000040000, 0x000000000007dfff,
307  0x0000000000080000, 0x00000000000fbfff,
308  0x0000000000100000, 0x00000000001f7fff,
309  0x0000000000200000, 0x00000000003effff,
310  0x0000000000400000, 0x00000000007dffff,
311  0x0000000000800000, 0x0000000000fbffff,
312  0x0000000001000000, 0x0000000001f7ffff,
313  0x0000000002000000, 0x0000000003efffff,
314  0x0000000004000000, 0x0000000007dfffff,
315  0x0000000008000000, 0x000000000fbfffff,
316  0x0000000010000000, 0x000000001f7fffff,
317  0x0000000020000000, 0x000000003effffff,
318  0x0000000040000000, 0x000000007dffffff,
319  0x0000000080000000, 0x00000000fbffffff,
320  0x0000000100000000, 0x00000001f7ffffff,
321  0x0000000200000000, 0x00000003efffffff,
322  0x0000000400000000, 0x00000007dfffffff,
323  0x0000000800000000, 0x0000000fbfffffff,
324  0x0000001000000000, 0x0000001f7fffffff,
325  0x0000002000000000, 0x0000003effffffff,
326  0x0000004000000000, 0x0000007dffffffff,
327  0x0000008000000000, 0x000000fbffffffff,
328  0x0000010000000000, 0x000001f7ffffffff,
329  0x0000020000000000, 0x000003efffffffff,
330  0x0000040000000000, 0x000007dfffffffff,
331  0x0000080000000000, 0x00000fbfffffffff,
332  0x0000100000000000, 0x00001f7fffffffff,
333  0x0000200000000000, 0x00003effffffffff,
334  0x0000400000000000, 0x00007dffffffffff,
335  0x0000800000000000, 0x0000fbffffffffff,
336  0x0001000000000000, 0x0001f7ffffffffff,
337  0x0002000000000000, 0x0003efffffffffff,
338  0x0004000000000000, 0x0007dfffffffffff,
339  0x0008000000000000, 0x000fbfffffffffff,
340  0x0010000000000000, 0x001f7fffffffffff,
341  0x0020000000000000, 0x003effffffffffff,
342  0x0040000000000000, 0x007dffffffffffff,
343  0x0080000000000000, 0x00fbffffffffffff,
344  0x0100000000000000, 0x01f7ffffffffffff,
345  0x0200000000000000, 0x03efffffffffffff,
346  0x0400000000000000, 0x07dfffffffffffff,
347  0x0800000000000000, 0x0fbfffffffffffff,
348  0x1000000000000000, 0x1f7fffffffffffff,
349  0x2000000000000000, 0x3effffffffffffff,
350  0x4000000000000000, 0x7dffffffffffffff,
351  0x8000000000000000, 0xfbffffffffffffff,
352  0x0000000000000000, 0xf7ffffffffffffff,
353  0x0000000000000000, 0xefffffffffffffff,
354  0x0000000000000000, 0xdfffffffffffffff,
355  0x0000000000000000, 0xbfffffffffffffff,
356  0x0000000000000000, 0x7fffffffffffffff,
357  0x0000000000000000, 0xffffffffffffffff,
358  0x000000000000007d, 0x000000000000007e,
359  0x00000000000000fb, 0x00000000000000fc,
360  0x00000000000001f7, 0x00000000000001f8,
361  0x00000000000003ef, 0x00000000000003f0,
362  0x00000000000007df, 0x00000000000007e0,
363  0x0000000000000fbf, 0x0000000000000fc0,
364  0x0000000000001f7f, 0x0000000000001f80,
365  0x0000000000003eff, 0x0000000000003f00,
366  0x0000000000007dff, 0x0000000000007e00,
367  0x000000000000fbff, 0x000000000000fc00,
368  0x000000000001f7ff, 0x000000000001f800,
369  0x000000000003efff, 0x000000000003f000,
370  0x000000000007dfff, 0x000000000007e000,
371  0x00000000000fbfff, 0x00000000000fc000,
372  0x00000000001f7fff, 0x00000000001f8000,
373  0x00000000003effff, 0x00000000003f0000,
374  0x00000000007dffff, 0x00000000007e0000,
375  0x0000000000fbffff, 0x0000000000fc0000,
376  0x0000000001f7ffff, 0x0000000001f80000,
377  0x0000000003efffff, 0x0000000003f00000,
378  0x0000000007dfffff, 0x0000000007e00000,
379  0x000000000fbfffff, 0x000000000fc00000,
380  0x000000001f7fffff, 0x000000001f800000,
381  0x000000003effffff, 0x000000003f000000,
382  0x000000007dffffff, 0x000000007e000000,
383  0x00000000fbffffff, 0x00000000fc000000,
384  0x00000001f7ffffff, 0x00000001f8000000,
385  0x00000003efffffff, 0x00000003f0000000,
386  0x00000007dfffffff, 0x00000007e0000000,
387  0x0000000fbfffffff, 0x0000000fc0000000,
388  0x0000001f7fffffff, 0x0000001f80000000,
389  0x0000003effffffff, 0x0000003f00000000,
390  0x0000007dffffffff, 0x0000007e00000000,
391  0x000000fbffffffff, 0x000000fc00000000,
392  0x000001f7ffffffff, 0x000001f800000000,
393  0x000003efffffffff, 0x000003f000000000,
394  0x000007dfffffffff, 0x000007e000000000,
395  0x00000fbfffffffff, 0x00000fc000000000,
396  0x00001f7fffffffff, 0x00001f8000000000,
397  0x00003effffffffff, 0x00003f0000000000,
398  0x00007dffffffffff, 0x00007e0000000000,
399  0x0000fbffffffffff, 0x0000fc0000000000,
400  0x0001f7ffffffffff, 0x0001f80000000000,
401  0x0003efffffffffff, 0x0003f00000000000,
402  0x0007dfffffffffff, 0x0007e00000000000,
403  0x000fbfffffffffff, 0x000fc00000000000,
404  0x001f7fffffffffff, 0x001f800000000000,
405  0x003effffffffffff, 0x003f000000000000,
406  0x007dffffffffffff, 0x007e000000000000,
407  0x00fbffffffffffff, 0x00fc000000000000,
408  0x01f7ffffffffffff, 0x01f8000000000000,
409  0x03efffffffffffff, 0x03f0000000000000,
410  0x07dfffffffffffff, 0x07e0000000000000,
411  0x0fbfffffffffffff, 0x0fc0000000000000,
412  0x1f7fffffffffffff, 0x1f80000000000000,
413  0x3effffffffffffff, 0x3f00000000000000,
414  0x7dffffffffffffff, 0x7e00000000000000,
415  0xfbffffffffffffff, 0xfc00000000000000,
416  0xf7ffffffffffffff, 0xf800000000000000,
417  0xefffffffffffffff, 0xf000000000000000,
418  0xdfffffffffffffff, 0xe000000000000000,
419  0xbfffffffffffffff, 0xc000000000000000,
420  0x7fffffffffffffff, 0x8000000000000000,
421  0xffffffffffffffff, 0x0000000000000000,
422  0x000000000000007e, 0x000000000000007f,
423  0x00000000000000fc, 0x00000000000000ff,
424  0x00000000000001f8, 0x00000000000001ff,
425  0x00000000000003f0, 0x00000000000003ff,
426  0x00000000000007e0, 0x00000000000007ff,
427  0x0000000000000fc0, 0x0000000000000fff,
428  0x0000000000001f80, 0x0000000000001fff,
429  0x0000000000003f00, 0x0000000000003fff,
430  0x0000000000007e00, 0x0000000000007fff,
431  0x000000000000fc00, 0x000000000000ffff,
432  0x000000000001f800, 0x000000000001ffff,
433  0x000000000003f000, 0x000000000003ffff,
434  0x000000000007e000, 0x000000000007ffff,
435  0x00000000000fc000, 0x00000000000fffff,
436  0x00000000001f8000, 0x00000000001fffff,
437  0x00000000003f0000, 0x00000000003fffff,
438  0x00000000007e0000, 0x00000000007fffff,
439  0x0000000000fc0000, 0x0000000000ffffff,
440  0x0000000001f80000, 0x0000000001ffffff,
441  0x0000000003f00000, 0x0000000003ffffff,
442  0x0000000007e00000, 0x0000000007ffffff,
443  0x000000000fc00000, 0x000000000fffffff,
444  0x000000001f800000, 0x000000001fffffff,
445  0x000000003f000000, 0x000000003fffffff,
446  0x000000007e000000, 0x000000007fffffff,
447  0x00000000fc000000, 0x00000000ffffffff,
448  0x00000001f8000000, 0x00000001ffffffff,
449  0x00000003f0000000, 0x00000003ffffffff,
450  0x00000007e0000000, 0x00000007ffffffff,
451  0x0000000fc0000000, 0x0000000fffffffff,
452  0x0000001f80000000, 0x0000001fffffffff,
453  0x0000003f00000000, 0x0000003fffffffff,
454  0x0000007e00000000, 0x0000007fffffffff,
455  0x000000fc00000000, 0x000000ffffffffff,
456  0x000001f800000000, 0x000001ffffffffff,
457  0x000003f000000000, 0x000003ffffffffff,
458  0x000007e000000000, 0x000007ffffffffff,
459  0x00000fc000000000, 0x00000fffffffffff,
460  0x00001f8000000000, 0x00001fffffffffff,
461  0x00003f0000000000, 0x00003fffffffffff,
462  0x00007e0000000000, 0x00007fffffffffff,
463  0x0000fc0000000000, 0x0000ffffffffffff,
464  0x0001f80000000000, 0x0001ffffffffffff,
465  0x0003f00000000000, 0x0003ffffffffffff,
466  0x0007e00000000000, 0x0007ffffffffffff,
467  0x000fc00000000000, 0x000fffffffffffff,
468  0x001f800000000000, 0x001fffffffffffff,
469  0x003f000000000000, 0x003fffffffffffff,
470  0x007e000000000000, 0x007fffffffffffff,
471  0x00fc000000000000, 0x00ffffffffffffff,
472  0x01f8000000000000, 0x01ffffffffffffff,
473  0x03f0000000000000, 0x03ffffffffffffff,
474  0x07e0000000000000, 0x07ffffffffffffff,
475  0x0fc0000000000000, 0x0fffffffffffffff,
476  0x1f80000000000000, 0x1fffffffffffffff,
477  0x3f00000000000000, 0x3fffffffffffffff,
478  0x7e00000000000000, 0x7fffffffffffffff,
479  0xfc00000000000000, 0xffffffffffffffff,
480  0xf800000000000000, 0xffffffffffffffff,
481  0xf000000000000000, 0xffffffffffffffff,
482  0xe000000000000000, 0xffffffffffffffff,
483  0xc000000000000000, 0xffffffffffffffff,
484  0x8000000000000000, 0xffffffffffffffff,
485  0x0000000000000000, 0xffffffffffffffff,
486  0x000000000000007f, 0x0000000000007ffd,
487  0x00000000000000ff, 0x000000000000fffb,
488  0x00000000000001ff, 0x000000000001fff7,
489  0x00000000000003ff, 0x000000000003ffef,
490  0x00000000000007ff, 0x000000000007ffdf,
491  0x0000000000000fff, 0x00000000000fffbf,
492  0x0000000000001fff, 0x00000000001fff7f,
493  0x0000000000003fff, 0x00000000003ffeff,
494  0x0000000000007fff, 0x00000000007ffdff,
495  0x000000000000ffff, 0x0000000000fffbff,
496  0x000000000001ffff, 0x0000000001fff7ff,
497  0x000000000003ffff, 0x0000000003ffefff,
498  0x000000000007ffff, 0x0000000007ffdfff,
499  0x00000000000fffff, 0x000000000fffbfff,
500  0x00000000001fffff, 0x000000001fff7fff,
501  0x00000000003fffff, 0x000000003ffeffff,
502  0x00000000007fffff, 0x000000007ffdffff,
503  0x0000000000ffffff, 0x00000000fffbffff,
504  0x0000000001ffffff, 0x00000001fff7ffff,
505  0x0000000003ffffff, 0x00000003ffefffff,
506  0x0000000007ffffff, 0x00000007ffdfffff,
507  0x000000000fffffff, 0x0000000fffbfffff,
508  0x000000001fffffff, 0x0000001fff7fffff,
509  0x000000003fffffff, 0x0000003ffeffffff,
510  0x000000007fffffff, 0x0000007ffdffffff,
511  0x00000000ffffffff, 0x000000fffbffffff,
512  0x00000001ffffffff, 0x000001fff7ffffff,
513  0x00000003ffffffff, 0x000003ffefffffff,
514  0x00000007ffffffff, 0x000007ffdfffffff,
515  0x0000000fffffffff, 0x00000fffbfffffff,
516  0x0000001fffffffff, 0x00001fff7fffffff,
517  0x0000003fffffffff, 0x00003ffeffffffff,
518  0x0000007fffffffff, 0x00007ffdffffffff,
519  0x000000ffffffffff, 0x0000fffbffffffff,
520  0x000001ffffffffff, 0x0001fff7ffffffff,
521  0x000003ffffffffff, 0x0003ffefffffffff,
522  0x000007ffffffffff, 0x0007ffdfffffffff,
523  0x00000fffffffffff, 0x000fffbfffffffff,
524  0x00001fffffffffff, 0x001fff7fffffffff,
525  0x00003fffffffffff, 0x003ffeffffffffff,
526  0x00007fffffffffff, 0x007ffdffffffffff,
527  0x0000ffffffffffff, 0x00fffbffffffffff,
528  0x0001ffffffffffff, 0x01fff7ffffffffff,
529  0x0003ffffffffffff, 0x03ffefffffffffff,
530  0x0007ffffffffffff, 0x07ffdfffffffffff,
531  0x000fffffffffffff, 0x0fffbfffffffffff,
532  0x001fffffffffffff, 0x1fff7fffffffffff,
533  0x003fffffffffffff, 0x3ffeffffffffffff,
534  0x007fffffffffffff, 0x7ffdffffffffffff,
535  0x00ffffffffffffff, 0xfffbffffffffffff,
536  0x01ffffffffffffff, 0xfff7ffffffffffff,
537  0x03ffffffffffffff, 0xffefffffffffffff,
538  0x07ffffffffffffff, 0xffdfffffffffffff,
539  0x0fffffffffffffff, 0xffbfffffffffffff,
540  0x1fffffffffffffff, 0xff7fffffffffffff,
541  0x3fffffffffffffff, 0xfeffffffffffffff,
542  0x7fffffffffffffff, 0xfdffffffffffffff,
543  0xffffffffffffffff, 0xfbffffffffffffff,
544  0xffffffffffffffff, 0xf7ffffffffffffff,
545  0xffffffffffffffff, 0xefffffffffffffff,
546  0xffffffffffffffff, 0xdfffffffffffffff,
547  0xffffffffffffffff, 0xbfffffffffffffff,
548  0xffffffffffffffff, 0x7fffffffffffffff,
549  0xffffffffffffffff, 0xffffffffffffffff,
550  0x0000000000007ffd, 0x0000000000007ffe,
551  0x000000000000fffb, 0x000000000000fffc,
552  0x000000000001fff7, 0x000000000001fff8,
553  0x000000000003ffef, 0x000000000003fff0,
554  0x000000000007ffdf, 0x000000000007ffe0,
555  0x00000000000fffbf, 0x00000000000fffc0,
556  0x00000000001fff7f, 0x00000000001fff80,
557  0x00000000003ffeff, 0x00000000003fff00,
558  0x00000000007ffdff, 0x00000000007ffe00,
559  0x0000000000fffbff, 0x0000000000fffc00,
560  0x0000000001fff7ff, 0x0000000001fff800,
561  0x0000000003ffefff, 0x0000000003fff000,
562  0x0000000007ffdfff, 0x0000000007ffe000,
563  0x000000000fffbfff, 0x000000000fffc000,
564  0x000000001fff7fff, 0x000000001fff8000,
565  0x000000003ffeffff, 0x000000003fff0000,
566  0x000000007ffdffff, 0x000000007ffe0000,
567  0x00000000fffbffff, 0x00000000fffc0000,
568  0x00000001fff7ffff, 0x00000001fff80000,
569  0x00000003ffefffff, 0x00000003fff00000,
570  0x00000007ffdfffff, 0x00000007ffe00000,
571  0x0000000fffbfffff, 0x0000000fffc00000,
572  0x0000001fff7fffff, 0x0000001fff800000,
573  0x0000003ffeffffff, 0x0000003fff000000,
574  0x0000007ffdffffff, 0x0000007ffe000000,
575  0x000000fffbffffff, 0x000000fffc000000,
576  0x000001fff7ffffff, 0x000001fff8000000,
577  0x000003ffefffffff, 0x000003fff0000000,
578  0x000007ffdfffffff, 0x000007ffe0000000,
579  0x00000fffbfffffff, 0x00000fffc0000000,
580  0x00001fff7fffffff, 0x00001fff80000000,
581  0x00003ffeffffffff, 0x00003fff00000000,
582  0x00007ffdffffffff, 0x00007ffe00000000,
583  0x0000fffbffffffff, 0x0000fffc00000000,
584  0x0001fff7ffffffff, 0x0001fff800000000,
585  0x0003ffefffffffff, 0x0003fff000000000,
586  0x0007ffdfffffffff, 0x0007ffe000000000,
587  0x000fffbfffffffff, 0x000fffc000000000,
588  0x001fff7fffffffff, 0x001fff8000000000,
589  0x003ffeffffffffff, 0x003fff0000000000,
590  0x007ffdffffffffff, 0x007ffe0000000000,
591  0x00fffbffffffffff, 0x00fffc0000000000,
592  0x01fff7ffffffffff, 0x01fff80000000000,
593  0x03ffefffffffffff, 0x03fff00000000000,
594  0x07ffdfffffffffff, 0x07ffe00000000000,
595  0x0fffbfffffffffff, 0x0fffc00000000000,
596  0x1fff7fffffffffff, 0x1fff800000000000,
597  0x3ffeffffffffffff, 0x3fff000000000000,
598  0x7ffdffffffffffff, 0x7ffe000000000000,
599  0xfffbffffffffffff, 0xfffc000000000000,
600  0xfff7ffffffffffff, 0xfff8000000000000,
601  0xffefffffffffffff, 0xfff0000000000000,
602  0xffdfffffffffffff, 0xffe0000000000000,
603  0xffbfffffffffffff, 0xffc0000000000000,
604  0xff7fffffffffffff, 0xff80000000000000,
605  0xfeffffffffffffff, 0xff00000000000000,
606  0xfdffffffffffffff, 0xfe00000000000000,
607  0xfbffffffffffffff, 0xfc00000000000000,
608  0xf7ffffffffffffff, 0xf800000000000000,
609  0xefffffffffffffff, 0xf000000000000000,
610  0xdfffffffffffffff, 0xe000000000000000,
611  0xbfffffffffffffff, 0xc000000000000000,
612  0x7fffffffffffffff, 0x8000000000000000,
613  0xffffffffffffffff, 0x0000000000000000,
614  0x0000000000007ffe, 0x0000000000007fff,
615  0x000000000000fffc, 0x000000000000ffff,
616  0x000000000001fff8, 0x000000000001ffff,
617  0x000000000003fff0, 0x000000000003ffff,
618  0x000000000007ffe0, 0x000000000007ffff,
619  0x00000000000fffc0, 0x00000000000fffff,
620  0x00000000001fff80, 0x00000000001fffff,
621  0x00000000003fff00, 0x00000000003fffff,
622  0x00000000007ffe00, 0x00000000007fffff,
623  0x0000000000fffc00, 0x0000000000ffffff,
624  0x0000000001fff800, 0x0000000001ffffff,
625  0x0000000003fff000, 0x0000000003ffffff,
626  0x0000000007ffe000, 0x0000000007ffffff,
627  0x000000000fffc000, 0x000000000fffffff,
628  0x000000001fff8000, 0x000000001fffffff,
629  0x000000003fff0000, 0x000000003fffffff,
630  0x000000007ffe0000, 0x000000007fffffff,
631  0x00000000fffc0000, 0x00000000ffffffff,
632  0x00000001fff80000, 0x00000001ffffffff,
633  0x00000003fff00000, 0x00000003ffffffff,
634  0x00000007ffe00000, 0x00000007ffffffff,
635  0x0000000fffc00000, 0x0000000fffffffff,
636  0x0000001fff800000, 0x0000001fffffffff,
637  0x0000003fff000000, 0x0000003fffffffff,
638  0x0000007ffe000000, 0x0000007fffffffff,
639  0x000000fffc000000, 0x000000ffffffffff,
640  0x000001fff8000000, 0x000001ffffffffff,
641  0x000003fff0000000, 0x000003ffffffffff,
642  0x000007ffe0000000, 0x000007ffffffffff,
643  0x00000fffc0000000, 0x00000fffffffffff,
644  0x00001fff80000000, 0x00001fffffffffff,
645  0x00003fff00000000, 0x00003fffffffffff,
646  0x00007ffe00000000, 0x00007fffffffffff,
647  0x0000fffc00000000, 0x0000ffffffffffff,
648  0x0001fff800000000, 0x0001ffffffffffff,
649  0x0003fff000000000, 0x0003ffffffffffff,
650  0x0007ffe000000000, 0x0007ffffffffffff,
651  0x000fffc000000000, 0x000fffffffffffff,
652  0x001fff8000000000, 0x001fffffffffffff,
653  0x003fff0000000000, 0x003fffffffffffff,
654  0x007ffe0000000000, 0x007fffffffffffff,
655  0x00fffc0000000000, 0x00ffffffffffffff,
656  0x01fff80000000000, 0x01ffffffffffffff,
657  0x03fff00000000000, 0x03ffffffffffffff,
658  0x07ffe00000000000, 0x07ffffffffffffff,
659  0x0fffc00000000000, 0x0fffffffffffffff,
660  0x1fff800000000000, 0x1fffffffffffffff,
661  0x3fff000000000000, 0x3fffffffffffffff,
662  0x7ffe000000000000, 0x7fffffffffffffff,
663  0xfffc000000000000, 0xffffffffffffffff,
664  0xfff8000000000000, 0xffffffffffffffff,
665  0xfff0000000000000, 0xffffffffffffffff,
666  0xffe0000000000000, 0xffffffffffffffff,
667  0xffc0000000000000, 0xffffffffffffffff,
668  0xff80000000000000, 0xffffffffffffffff,
669  0xff00000000000000, 0xffffffffffffffff,
670  0xfe00000000000000, 0xffffffffffffffff,
671  0xfc00000000000000, 0xffffffffffffffff,
672  0xf800000000000000, 0xffffffffffffffff,
673  0xf000000000000000, 0xffffffffffffffff,
674  0xe000000000000000, 0xffffffffffffffff,
675  0xc000000000000000, 0xffffffffffffffff,
676  0x8000000000000000, 0xffffffffffffffff,
677  0x0000000000000000, 0xffffffffffffffff,
678  0x0000000000007fff, 0x000000007ffffffd,
679  0x000000000000ffff, 0x00000000fffffffb,
680  0x000000000001ffff, 0x00000001fffffff7,
681  0x000000000003ffff, 0x00000003ffffffef,
682  0x000000000007ffff, 0x00000007ffffffdf,
683  0x00000000000fffff, 0x0000000fffffffbf,
684  0x00000000001fffff, 0x0000001fffffff7f,
685  0x00000000003fffff, 0x0000003ffffffeff,
686  0x00000000007fffff, 0x0000007ffffffdff,
687  0x0000000000ffffff, 0x000000fffffffbff,
688  0x0000000001ffffff, 0x000001fffffff7ff,
689  0x0000000003ffffff, 0x000003ffffffefff,
690  0x0000000007ffffff, 0x000007ffffffdfff,
691  0x000000000fffffff, 0x00000fffffffbfff,
692  0x000000001fffffff, 0x00001fffffff7fff,
693  0x000000003fffffff, 0x00003ffffffeffff,
694  0x000000007fffffff, 0x00007ffffffdffff,
695  0x00000000ffffffff, 0x0000fffffffbffff,
696  0x00000001ffffffff, 0x0001fffffff7ffff,
697  0x00000003ffffffff, 0x0003ffffffefffff,
698  0x00000007ffffffff, 0x0007ffffffdfffff,
699  0x0000000fffffffff, 0x000fffffffbfffff,
700  0x0000001fffffffff, 0x001fffffff7fffff,
701  0x0000003fffffffff, 0x003ffffffeffffff,
702  0x0000007fffffffff, 0x007ffffffdffffff,
703  0x000000ffffffffff, 0x00fffffffbffffff,
704  0x000001ffffffffff, 0x01fffffff7ffffff,
705  0x000003ffffffffff, 0x03ffffffefffffff,
706  0x000007ffffffffff, 0x07ffffffdfffffff,
707  0x00000fffffffffff, 0x0fffffffbfffffff,
708  0x00001fffffffffff, 0x1fffffff7fffffff,
709  0x00003fffffffffff, 0x3ffffffeffffffff,
710  0x00007fffffffffff, 0x7ffffffdffffffff,
711  0x0000ffffffffffff, 0xfffffffbffffffff,
712  0x0001ffffffffffff, 0xfffffff7ffffffff,
713  0x0003ffffffffffff, 0xffffffefffffffff,
714  0x0007ffffffffffff, 0xffffffdfffffffff,
715  0x000fffffffffffff, 0xffffffbfffffffff,
716  0x001fffffffffffff, 0xffffff7fffffffff,
717  0x003fffffffffffff, 0xfffffeffffffffff,
718  0x007fffffffffffff, 0xfffffdffffffffff,
719  0x00ffffffffffffff, 0xfffffbffffffffff,
720  0x01ffffffffffffff, 0xfffff7ffffffffff,
721  0x03ffffffffffffff, 0xffffefffffffffff,
722  0x07ffffffffffffff, 0xffffdfffffffffff,
723  0x0fffffffffffffff, 0xffffbfffffffffff,
724  0x1fffffffffffffff, 0xffff7fffffffffff,
725  0x3fffffffffffffff, 0xfffeffffffffffff,
726  0x7fffffffffffffff, 0xfffdffffffffffff,
727  0xffffffffffffffff, 0xfffbffffffffffff,
728  0xffffffffffffffff, 0xfff7ffffffffffff,
729  0xffffffffffffffff, 0xffefffffffffffff,
730  0xffffffffffffffff, 0xffdfffffffffffff,
731  0xffffffffffffffff, 0xffbfffffffffffff,
732  0xffffffffffffffff, 0xff7fffffffffffff,
733  0xffffffffffffffff, 0xfeffffffffffffff,
734  0xffffffffffffffff, 0xfdffffffffffffff,
735  0xffffffffffffffff, 0xfbffffffffffffff,
736  0xffffffffffffffff, 0xf7ffffffffffffff,
737  0xffffffffffffffff, 0xefffffffffffffff,
738  0xffffffffffffffff, 0xdfffffffffffffff,
739  0xffffffffffffffff, 0xbfffffffffffffff,
740  0xffffffffffffffff, 0x7fffffffffffffff,
741  0xffffffffffffffff, 0xffffffffffffffff,
742  0x000000007ffffffd, 0x000000007ffffffe,
743  0x00000000fffffffb, 0x00000000fffffffc,
744  0x00000001fffffff7, 0x00000001fffffff8,
745  0x00000003ffffffef, 0x00000003fffffff0,
746  0x00000007ffffffdf, 0x00000007ffffffe0,
747  0x0000000fffffffbf, 0x0000000fffffffc0,
748  0x0000001fffffff7f, 0x0000001fffffff80,
749  0x0000003ffffffeff, 0x0000003fffffff00,
750  0x0000007ffffffdff, 0x0000007ffffffe00,
751  0x000000fffffffbff, 0x000000fffffffc00,
752  0x000001fffffff7ff, 0x000001fffffff800,
753  0x000003ffffffefff, 0x000003fffffff000,
754  0x000007ffffffdfff, 0x000007ffffffe000,
755  0x00000fffffffbfff, 0x00000fffffffc000,
756  0x00001fffffff7fff, 0x00001fffffff8000,
757  0x00003ffffffeffff, 0x00003fffffff0000,
758  0x00007ffffffdffff, 0x00007ffffffe0000,
759  0x0000fffffffbffff, 0x0000fffffffc0000,
760  0x0001fffffff7ffff, 0x0001fffffff80000,
761  0x0003ffffffefffff, 0x0003fffffff00000,
762  0x0007ffffffdfffff, 0x0007ffffffe00000,
763  0x000fffffffbfffff, 0x000fffffffc00000,
764  0x001fffffff7fffff, 0x001fffffff800000,
765  0x003ffffffeffffff, 0x003fffffff000000,
766  0x007ffffffdffffff, 0x007ffffffe000000,
767  0x00fffffffbffffff, 0x00fffffffc000000,
768  0x01fffffff7ffffff, 0x01fffffff8000000,
769  0x03ffffffefffffff, 0x03fffffff0000000,
770  0x07ffffffdfffffff, 0x07ffffffe0000000,
771  0x0fffffffbfffffff, 0x0fffffffc0000000,
772  0x1fffffff7fffffff, 0x1fffffff80000000,
773  0x3ffffffeffffffff, 0x3fffffff00000000,
774  0x7ffffffdffffffff, 0x7ffffffe00000000,
775  0xfffffffbffffffff, 0xfffffffc00000000,
776  0xfffffff7ffffffff, 0xfffffff800000000,
777  0xffffffefffffffff, 0xfffffff000000000,
778  0xffffffdfffffffff, 0xffffffe000000000,
779  0xffffffbfffffffff, 0xffffffc000000000,
780  0xffffff7fffffffff, 0xffffff8000000000,
781  0xfffffeffffffffff, 0xffffff0000000000,
782  0xfffffdffffffffff, 0xfffffe0000000000,
783  0xfffffbffffffffff, 0xfffffc0000000000,
784  0xfffff7ffffffffff, 0xfffff80000000000,
785  0xffffefffffffffff, 0xfffff00000000000,
786  0xffffdfffffffffff, 0xffffe00000000000,
787  0xffffbfffffffffff, 0xffffc00000000000,
788  0xffff7fffffffffff, 0xffff800000000000,
789  0xfffeffffffffffff, 0xffff000000000000,
790  0xfffdffffffffffff, 0xfffe000000000000,
791  0xfffbffffffffffff, 0xfffc000000000000,
792  0xfff7ffffffffffff, 0xfff8000000000000,
793  0xffefffffffffffff, 0xfff0000000000000,
794  0xffdfffffffffffff, 0xffe0000000000000,
795  0xffbfffffffffffff, 0xffc0000000000000,
796  0xff7fffffffffffff, 0xff80000000000000,
797  0xfeffffffffffffff, 0xff00000000000000,
798  0xfdffffffffffffff, 0xfe00000000000000,
799  0xfbffffffffffffff, 0xfc00000000000000,
800  0xf7ffffffffffffff, 0xf800000000000000,
801  0xefffffffffffffff, 0xf000000000000000,
802  0xdfffffffffffffff, 0xe000000000000000,
803  0xbfffffffffffffff, 0xc000000000000000,
804  0x7fffffffffffffff, 0x8000000000000000,
805  0xffffffffffffffff, 0x0000000000000000,
806  0x000000007ffffffe, 0x000000007fffffff,
807  0x00000000fffffffc, 0x00000000ffffffff,
808  0x00000001fffffff8, 0x00000001ffffffff,
809  0x00000003fffffff0, 0x00000003ffffffff,
810  0x00000007ffffffe0, 0x00000007ffffffff,
811  0x0000000fffffffc0, 0x0000000fffffffff,
812  0x0000001fffffff80, 0x0000001fffffffff,
813  0x0000003fffffff00, 0x0000003fffffffff,
814  0x0000007ffffffe00, 0x0000007fffffffff,
815  0x000000fffffffc00, 0x000000ffffffffff,
816  0x000001fffffff800, 0x000001ffffffffff,
817  0x000003fffffff000, 0x000003ffffffffff,
818  0x000007ffffffe000, 0x000007ffffffffff,
819  0x00000fffffffc000, 0x00000fffffffffff,
820  0x00001fffffff8000, 0x00001fffffffffff,
821  0x00003fffffff0000, 0x00003fffffffffff,
822  0x00007ffffffe0000, 0x00007fffffffffff,
823  0x0000fffffffc0000, 0x0000ffffffffffff,
824  0x0001fffffff80000, 0x0001ffffffffffff,
825  0x0003fffffff00000, 0x0003ffffffffffff,
826  0x0007ffffffe00000, 0x0007ffffffffffff,
827  0x000fffffffc00000, 0x000fffffffffffff,
828  0x001fffffff800000, 0x001fffffffffffff,
829  0x003fffffff000000, 0x003fffffffffffff,
830  0x007ffffffe000000, 0x007fffffffffffff,
831  0x00fffffffc000000, 0x00ffffffffffffff,
832  0x01fffffff8000000, 0x01ffffffffffffff,
833  0x03fffffff0000000, 0x03ffffffffffffff,
834  0x07ffffffe0000000, 0x07ffffffffffffff,
835  0x0fffffffc0000000, 0x0fffffffffffffff,
836  0x1fffffff80000000, 0x1fffffffffffffff,
837  0x3fffffff00000000, 0x3fffffffffffffff,
838  0x7ffffffe00000000, 0x7fffffffffffffff,
839  0xfffffffc00000000, 0xffffffffffffffff,
840  0xfffffff800000000, 0xffffffffffffffff,
841  0xfffffff000000000, 0xffffffffffffffff,
842  0xffffffe000000000, 0xffffffffffffffff,
843  0xffffffc000000000, 0xffffffffffffffff,
844  0xffffff8000000000, 0xffffffffffffffff,
845  0xffffff0000000000, 0xffffffffffffffff,
846  0xfffffe0000000000, 0xffffffffffffffff,
847  0xfffffc0000000000, 0xffffffffffffffff,
848  0xfffff80000000000, 0xffffffffffffffff,
849  0xfffff00000000000, 0xffffffffffffffff,
850  0xffffe00000000000, 0xffffffffffffffff,
851  0xffffc00000000000, 0xffffffffffffffff,
852  0xffff800000000000, 0xffffffffffffffff,
853  0xffff000000000000, 0xffffffffffffffff,
854  0xfffe000000000000, 0xffffffffffffffff,
855  0xfffc000000000000, 0xffffffffffffffff,
856  0xfff8000000000000, 0xffffffffffffffff,
857  0xfff0000000000000, 0xffffffffffffffff,
858  0xffe0000000000000, 0xffffffffffffffff,
859  0xffc0000000000000, 0xffffffffffffffff,
860  0xff80000000000000, 0xffffffffffffffff,
861  0xff00000000000000, 0xffffffffffffffff,
862  0xfe00000000000000, 0xffffffffffffffff,
863  0xfc00000000000000, 0xffffffffffffffff,
864  0xf800000000000000, 0xffffffffffffffff,
865  0xf000000000000000, 0xffffffffffffffff,
866  0xe000000000000000, 0xffffffffffffffff,
867  0xc000000000000000, 0xffffffffffffffff,
868  0x8000000000000000, 0xffffffffffffffff,
869  0x0000000000000000, 0xffffffffffffffff,
870  0x000000007fffffff, 0x3333333333333333,
871  0x00000000ffffffff, 0x6666666666666667,
872  0x00000001ffffffff, 0xcccccccccccccccf,
873  0x00000003ffffffff, 0x999999999999999f,
874  0x00000007ffffffff, 0x333333333333333f,
875  0x0000000fffffffff, 0x666666666666667f,
876  0x0000001fffffffff, 0xccccccccccccccff,
877  0x0000003fffffffff, 0x99999999999999ff,
878  0x0000007fffffffff, 0x33333333333333ff,
879  0x000000ffffffffff, 0x66666666666667ff,
880  0x000001ffffffffff, 0xcccccccccccccfff,
881  0x000003ffffffffff, 0x9999999999999fff,
882  0x000007ffffffffff, 0x3333333333333fff,
883  0x00000fffffffffff, 0x6666666666667fff,
884  0x00001fffffffffff, 0xccccccccccccffff,
885  0x00003fffffffffff, 0x999999999999ffff,
886  0x00007fffffffffff, 0x333333333333ffff,
887  0x0000ffffffffffff, 0x666666666667ffff,
888  0x0001ffffffffffff, 0xcccccccccccfffff,
889  0x0003ffffffffffff, 0x99999999999fffff,
890  0x0007ffffffffffff, 0x33333333333fffff,
891  0x000fffffffffffff, 0x66666666667fffff,
892  0x001fffffffffffff, 0xccccccccccffffff,
893  0x003fffffffffffff, 0x9999999999ffffff,
894  0x007fffffffffffff, 0x3333333333ffffff,
895  0x00ffffffffffffff, 0x6666666667ffffff,
896  0x01ffffffffffffff, 0xcccccccccfffffff,
897  0x03ffffffffffffff, 0x999999999fffffff,
898  0x07ffffffffffffff, 0x333333333fffffff,
899  0x0fffffffffffffff, 0x666666667fffffff,
900  0x1fffffffffffffff, 0xccccccccffffffff,
901  0x3fffffffffffffff, 0x99999999ffffffff,
902  0x7fffffffffffffff, 0x33333333ffffffff,
903  0xffffffffffffffff, 0x66666667ffffffff,
904  0xffffffffffffffff, 0xcccccccfffffffff,
905  0xffffffffffffffff, 0x9999999fffffffff,
906  0xffffffffffffffff, 0x3333333fffffffff,
907  0xffffffffffffffff, 0x6666667fffffffff,
908  0xffffffffffffffff, 0xccccccffffffffff,
909  0xffffffffffffffff, 0x999999ffffffffff,
910  0xffffffffffffffff, 0x333333ffffffffff,
911  0xffffffffffffffff, 0x666667ffffffffff,
912  0xffffffffffffffff, 0xcccccfffffffffff,
913  0xffffffffffffffff, 0x99999fffffffffff,
914  0xffffffffffffffff, 0x33333fffffffffff,
915  0xffffffffffffffff, 0x66667fffffffffff,
916  0xffffffffffffffff, 0xccccffffffffffff,
917  0xffffffffffffffff, 0x9999ffffffffffff,
918  0xffffffffffffffff, 0x3333ffffffffffff,
919  0xffffffffffffffff, 0x6667ffffffffffff,
920  0xffffffffffffffff, 0xcccfffffffffffff,
921  0xffffffffffffffff, 0x999fffffffffffff,
922  0xffffffffffffffff, 0x333fffffffffffff,
923  0xffffffffffffffff, 0x667fffffffffffff,
924  0xffffffffffffffff, 0xccffffffffffffff,
925  0xffffffffffffffff, 0x99ffffffffffffff,
926  0xffffffffffffffff, 0x33ffffffffffffff,
927  0xffffffffffffffff, 0x67ffffffffffffff,
928  0xffffffffffffffff, 0xcfffffffffffffff,
929  0xffffffffffffffff, 0x9fffffffffffffff,
930  0xffffffffffffffff, 0x3fffffffffffffff,
931  0xffffffffffffffff, 0x7fffffffffffffff,
932  0xffffffffffffffff, 0xffffffffffffffff,
933  0xffffffffffffffff, 0xffffffffffffffff,
934  0x3333333333333333, 0x5555555555555555,
935  0x6666666666666667, 0xaaaaaaaaaaaaaaab,
936  0xcccccccccccccccf, 0x5555555555555557,
937  0x999999999999999f, 0xaaaaaaaaaaaaaaaf,
938  0x333333333333333f, 0x555555555555555f,
939  0x666666666666667f, 0xaaaaaaaaaaaaaabf,
940  0xccccccccccccccff, 0x555555555555557f,
941  0x99999999999999ff, 0xaaaaaaaaaaaaaaff,
942  0x33333333333333ff, 0x55555555555555ff,
943  0x66666666666667ff, 0xaaaaaaaaaaaaabff,
944  0xcccccccccccccfff, 0x55555555555557ff,
945  0x9999999999999fff, 0xaaaaaaaaaaaaafff,
946  0x3333333333333fff, 0x5555555555555fff,
947  0x6666666666667fff, 0xaaaaaaaaaaaabfff,
948  0xccccccccccccffff, 0x5555555555557fff,
949  0x999999999999ffff, 0xaaaaaaaaaaaaffff,
950  0x333333333333ffff, 0x555555555555ffff,
951  0x666666666667ffff, 0xaaaaaaaaaaabffff,
952  0xcccccccccccfffff, 0x555555555557ffff,
953  0x99999999999fffff, 0xaaaaaaaaaaafffff,
954  0x33333333333fffff, 0x55555555555fffff,
955  0x66666666667fffff, 0xaaaaaaaaaabfffff,
956  0xccccccccccffffff, 0x55555555557fffff,
957  0x9999999999ffffff, 0xaaaaaaaaaaffffff,
958  0x3333333333ffffff, 0x5555555555ffffff,
959  0x6666666667ffffff, 0xaaaaaaaaabffffff,
960  0xcccccccccfffffff, 0x5555555557ffffff,
961  0x999999999fffffff, 0xaaaaaaaaafffffff,
962  0x333333333fffffff, 0x555555555fffffff,
963  0x666666667fffffff, 0xaaaaaaaabfffffff,
964  0xccccccccffffffff, 0x555555557fffffff,
965  0x99999999ffffffff, 0xaaaaaaaaffffffff,
966  0x33333333ffffffff, 0x55555555ffffffff,
967  0x66666667ffffffff, 0xaaaaaaabffffffff,
968  0xcccccccfffffffff, 0x55555557ffffffff,
969  0x9999999fffffffff, 0xaaaaaaafffffffff,
970  0x3333333fffffffff, 0x5555555fffffffff,
971  0x6666667fffffffff, 0xaaaaaabfffffffff,
972  0xccccccffffffffff, 0x5555557fffffffff,
973  0x999999ffffffffff, 0xaaaaaaffffffffff,
974  0x333333ffffffffff, 0x555555ffffffffff,
975  0x666667ffffffffff, 0xaaaaabffffffffff,
976  0xcccccfffffffffff, 0x555557ffffffffff,
977  0x99999fffffffffff, 0xaaaaafffffffffff,
978  0x33333fffffffffff, 0x55555fffffffffff,
979  0x66667fffffffffff, 0xaaaabfffffffffff,
980  0xccccffffffffffff, 0x55557fffffffffff,
981  0x9999ffffffffffff, 0xaaaaffffffffffff,
982  0x3333ffffffffffff, 0x5555ffffffffffff,
983  0x6667ffffffffffff, 0xaaabffffffffffff,
984  0xcccfffffffffffff, 0x5557ffffffffffff,
985  0x999fffffffffffff, 0xaaafffffffffffff,
986  0x333fffffffffffff, 0x555fffffffffffff,
987  0x667fffffffffffff, 0xaabfffffffffffff,
988  0xccffffffffffffff, 0x557fffffffffffff,
989  0x99ffffffffffffff, 0xaaffffffffffffff,
990  0x33ffffffffffffff, 0x55ffffffffffffff,
991  0x67ffffffffffffff, 0xabffffffffffffff,
992  0xcfffffffffffffff, 0x57ffffffffffffff,
993  0x9fffffffffffffff, 0xafffffffffffffff,
994  0x3fffffffffffffff, 0x5fffffffffffffff,
995  0x7fffffffffffffff, 0xbfffffffffffffff,
996  0xffffffffffffffff, 0x7fffffffffffffff,
997  0xffffffffffffffff, 0xffffffffffffffff,
998  0x5555555555555555, 0x7ffffffffffffffd,
999  0xaaaaaaaaaaaaaaab, 0xfffffffffffffffb,
1000  0x5555555555555557, 0xfffffffffffffff7,
1001  0xaaaaaaaaaaaaaaaf, 0xffffffffffffffef,
1002  0x555555555555555f, 0xffffffffffffffdf,
1003  0xaaaaaaaaaaaaaabf, 0xffffffffffffffbf,
1004  0x555555555555557f, 0xffffffffffffff7f,
1005  0xaaaaaaaaaaaaaaff, 0xfffffffffffffeff,
1006  0x55555555555555ff, 0xfffffffffffffdff,
1007  0xaaaaaaaaaaaaabff, 0xfffffffffffffbff,
1008  0x55555555555557ff, 0xfffffffffffff7ff,
1009  0xaaaaaaaaaaaaafff, 0xffffffffffffefff,
1010  0x5555555555555fff, 0xffffffffffffdfff,
1011  0xaaaaaaaaaaaabfff, 0xffffffffffffbfff,
1012  0x5555555555557fff, 0xffffffffffff7fff,
1013  0xaaaaaaaaaaaaffff, 0xfffffffffffeffff,
1014  0x555555555555ffff, 0xfffffffffffdffff,
1015  0xaaaaaaaaaaabffff, 0xfffffffffffbffff,
1016  0x555555555557ffff, 0xfffffffffff7ffff,
1017  0xaaaaaaaaaaafffff, 0xffffffffffefffff,
1018  0x55555555555fffff, 0xffffffffffdfffff,
1019  0xaaaaaaaaaabfffff, 0xffffffffffbfffff,
1020  0x55555555557fffff, 0xffffffffff7fffff,
1021  0xaaaaaaaaaaffffff, 0xfffffffffeffffff,
1022  0x5555555555ffffff, 0xfffffffffdffffff,
1023  0xaaaaaaaaabffffff, 0xfffffffffbffffff,
1024  0x5555555557ffffff, 0xfffffffff7ffffff,
1025  0xaaaaaaaaafffffff, 0xffffffffefffffff,
1026  0x555555555fffffff, 0xffffffffdfffffff,
1027  0xaaaaaaaabfffffff, 0xffffffffbfffffff,
1028  0x555555557fffffff, 0xffffffff7fffffff,
1029  0xaaaaaaaaffffffff, 0xfffffffeffffffff,
1030  0x55555555ffffffff, 0xfffffffdffffffff,
1031  0xaaaaaaabffffffff, 0xfffffffbffffffff,
1032  0x55555557ffffffff, 0xfffffff7ffffffff,
1033  0xaaaaaaafffffffff, 0xffffffefffffffff,
1034  0x5555555fffffffff, 0xffffffdfffffffff,
1035  0xaaaaaabfffffffff, 0xffffffbfffffffff,
1036  0x5555557fffffffff, 0xffffff7fffffffff,
1037  0xaaaaaaffffffffff, 0xfffffeffffffffff,
1038  0x555555ffffffffff, 0xfffffdffffffffff,
1039  0xaaaaabffffffffff, 0xfffffbffffffffff,
1040  0x555557ffffffffff, 0xfffff7ffffffffff,
1041  0xaaaaafffffffffff, 0xffffefffffffffff,
1042  0x55555fffffffffff, 0xffffdfffffffffff,
1043  0xaaaabfffffffffff, 0xffffbfffffffffff,
1044  0x55557fffffffffff, 0xffff7fffffffffff,
1045  0xaaaaffffffffffff, 0xfffeffffffffffff,
1046  0x5555ffffffffffff, 0xfffdffffffffffff,
1047  0xaaabffffffffffff, 0xfffbffffffffffff,
1048  0x5557ffffffffffff, 0xfff7ffffffffffff,
1049  0xaaafffffffffffff, 0xffefffffffffffff,
1050  0x555fffffffffffff, 0xffdfffffffffffff,
1051  0xaabfffffffffffff, 0xffbfffffffffffff,
1052  0x557fffffffffffff, 0xff7fffffffffffff,
1053  0xaaffffffffffffff, 0xfeffffffffffffff,
1054  0x55ffffffffffffff, 0xfdffffffffffffff,
1055  0xabffffffffffffff, 0xfbffffffffffffff,
1056  0x57ffffffffffffff, 0xf7ffffffffffffff,
1057  0xafffffffffffffff, 0xefffffffffffffff,
1058  0x5fffffffffffffff, 0xdfffffffffffffff,
1059  0xbfffffffffffffff, 0xbfffffffffffffff,
1060  0x7fffffffffffffff, 0x7fffffffffffffff,
1061  0xffffffffffffffff, 0xffffffffffffffff,
1062  0x7ffffffffffffffd, 0x7ffffffffffffffe,
1063  0xfffffffffffffffb, 0xfffffffffffffffc,
1064  0xfffffffffffffff7, 0xfffffffffffffff8,
1065  0xffffffffffffffef, 0xfffffffffffffff0,
1066  0xffffffffffffffdf, 0xffffffffffffffe0,
1067  0xffffffffffffffbf, 0xffffffffffffffc0,
1068  0xffffffffffffff7f, 0xffffffffffffff80,
1069  0xfffffffffffffeff, 0xffffffffffffff00,
1070  0xfffffffffffffdff, 0xfffffffffffffe00,
1071  0xfffffffffffffbff, 0xfffffffffffffc00,
1072  0xfffffffffffff7ff, 0xfffffffffffff800,
1073  0xffffffffffffefff, 0xfffffffffffff000,
1074  0xffffffffffffdfff, 0xffffffffffffe000,
1075  0xffffffffffffbfff, 0xffffffffffffc000,
1076  0xffffffffffff7fff, 0xffffffffffff8000,
1077  0xfffffffffffeffff, 0xffffffffffff0000,
1078  0xfffffffffffdffff, 0xfffffffffffe0000,
1079  0xfffffffffffbffff, 0xfffffffffffc0000,
1080  0xfffffffffff7ffff, 0xfffffffffff80000,
1081  0xffffffffffefffff, 0xfffffffffff00000,
1082  0xffffffffffdfffff, 0xffffffffffe00000,
1083  0xffffffffffbfffff, 0xffffffffffc00000,
1084  0xffffffffff7fffff, 0xffffffffff800000,
1085  0xfffffffffeffffff, 0xffffffffff000000,
1086  0xfffffffffdffffff, 0xfffffffffe000000,
1087  0xfffffffffbffffff, 0xfffffffffc000000,
1088  0xfffffffff7ffffff, 0xfffffffff8000000,
1089  0xffffffffefffffff, 0xfffffffff0000000,
1090  0xffffffffdfffffff, 0xffffffffe0000000,
1091  0xffffffffbfffffff, 0xffffffffc0000000,
1092  0xffffffff7fffffff, 0xffffffff80000000,
1093  0xfffffffeffffffff, 0xffffffff00000000,
1094  0xfffffffdffffffff, 0xfffffffe00000000,
1095  0xfffffffbffffffff, 0xfffffffc00000000,
1096  0xfffffff7ffffffff, 0xfffffff800000000,
1097  0xffffffefffffffff, 0xfffffff000000000,
1098  0xffffffdfffffffff, 0xffffffe000000000,
1099  0xffffffbfffffffff, 0xffffffc000000000,
1100  0xffffff7fffffffff, 0xffffff8000000000,
1101  0xfffffeffffffffff, 0xffffff0000000000,
1102  0xfffffdffffffffff, 0xfffffe0000000000,
1103  0xfffffbffffffffff, 0xfffffc0000000000,
1104  0xfffff7ffffffffff, 0xfffff80000000000,
1105  0xffffefffffffffff, 0xfffff00000000000,
1106  0xffffdfffffffffff, 0xffffe00000000000,
1107  0xffffbfffffffffff, 0xffffc00000000000,
1108  0xffff7fffffffffff, 0xffff800000000000,
1109  0xfffeffffffffffff, 0xffff000000000000,
1110  0xfffdffffffffffff, 0xfffe000000000000,
1111  0xfffbffffffffffff, 0xfffc000000000000,
1112  0xfff7ffffffffffff, 0xfff8000000000000,
1113  0xffefffffffffffff, 0xfff0000000000000,
1114  0xffdfffffffffffff, 0xffe0000000000000,
1115  0xffbfffffffffffff, 0xffc0000000000000,
1116  0xff7fffffffffffff, 0xff80000000000000,
1117  0xfeffffffffffffff, 0xff00000000000000,
1118  0xfdffffffffffffff, 0xfe00000000000000,
1119  0xfbffffffffffffff, 0xfc00000000000000,
1120  0xf7ffffffffffffff, 0xf800000000000000,
1121  0xefffffffffffffff, 0xf000000000000000,
1122  0xdfffffffffffffff, 0xe000000000000000,
1123  0xbfffffffffffffff, 0xc000000000000000,
1124  0x7fffffffffffffff, 0x8000000000000000,
1125  0xffffffffffffffff, 0x0000000000000000,
1126  0x7ffffffffffffffe, 0x7fffffffffffffff,
1127  0xfffffffffffffffc, 0xffffffffffffffff,
1128  0xfffffffffffffff8, 0xffffffffffffffff,
1129  0xfffffffffffffff0, 0xffffffffffffffff,
1130  0xffffffffffffffe0, 0xffffffffffffffff,
1131  0xffffffffffffffc0, 0xffffffffffffffff,
1132  0xffffffffffffff80, 0xffffffffffffffff,
1133  0xffffffffffffff00, 0xffffffffffffffff,
1134  0xfffffffffffffe00, 0xffffffffffffffff,
1135  0xfffffffffffffc00, 0xffffffffffffffff,
1136  0xfffffffffffff800, 0xffffffffffffffff,
1137  0xfffffffffffff000, 0xffffffffffffffff,
1138  0xffffffffffffe000, 0xffffffffffffffff,
1139  0xffffffffffffc000, 0xffffffffffffffff,
1140  0xffffffffffff8000, 0xffffffffffffffff,
1141  0xffffffffffff0000, 0xffffffffffffffff,
1142  0xfffffffffffe0000, 0xffffffffffffffff,
1143  0xfffffffffffc0000, 0xffffffffffffffff,
1144  0xfffffffffff80000, 0xffffffffffffffff,
1145  0xfffffffffff00000, 0xffffffffffffffff,
1146  0xffffffffffe00000, 0xffffffffffffffff,
1147  0xffffffffffc00000, 0xffffffffffffffff,
1148  0xffffffffff800000, 0xffffffffffffffff,
1149  0xffffffffff000000, 0xffffffffffffffff,
1150  0xfffffffffe000000, 0xffffffffffffffff,
1151  0xfffffffffc000000, 0xffffffffffffffff,
1152  0xfffffffff8000000, 0xffffffffffffffff,
1153  0xfffffffff0000000, 0xffffffffffffffff,
1154  0xffffffffe0000000, 0xffffffffffffffff,
1155  0xffffffffc0000000, 0xffffffffffffffff,
1156  0xffffffff80000000, 0xffffffffffffffff,
1157  0xffffffff00000000, 0xffffffffffffffff,
1158  0xfffffffe00000000, 0xffffffffffffffff,
1159  0xfffffffc00000000, 0xffffffffffffffff,
1160  0xfffffff800000000, 0xffffffffffffffff,
1161  0xfffffff000000000, 0xffffffffffffffff,
1162  0xffffffe000000000, 0xffffffffffffffff,
1163  0xffffffc000000000, 0xffffffffffffffff,
1164  0xffffff8000000000, 0xffffffffffffffff,
1165  0xffffff0000000000, 0xffffffffffffffff,
1166  0xfffffe0000000000, 0xffffffffffffffff,
1167  0xfffffc0000000000, 0xffffffffffffffff,
1168  0xfffff80000000000, 0xffffffffffffffff,
1169  0xfffff00000000000, 0xffffffffffffffff,
1170  0xffffe00000000000, 0xffffffffffffffff,
1171  0xffffc00000000000, 0xffffffffffffffff,
1172  0xffff800000000000, 0xffffffffffffffff,
1173  0xffff000000000000, 0xffffffffffffffff,
1174  0xfffe000000000000, 0xffffffffffffffff,
1175  0xfffc000000000000, 0xffffffffffffffff,
1176  0xfff8000000000000, 0xffffffffffffffff,
1177  0xfff0000000000000, 0xffffffffffffffff,
1178  0xffe0000000000000, 0xffffffffffffffff,
1179  0xffc0000000000000, 0xffffffffffffffff,
1180  0xff80000000000000, 0xffffffffffffffff,
1181  0xff00000000000000, 0xffffffffffffffff,
1182  0xfe00000000000000, 0xffffffffffffffff,
1183  0xfc00000000000000, 0xffffffffffffffff,
1184  0xf800000000000000, 0xffffffffffffffff,
1185  0xf000000000000000, 0xffffffffffffffff,
1186  0xe000000000000000, 0xffffffffffffffff,
1187  0xc000000000000000, 0xffffffffffffffff,
1188  0x8000000000000000, 0xffffffffffffffff,
1189  0x0000000000000000, 0xffffffffffffffff,
1190  0x7fffffffffffffff, 0x8000000000000000,
1191  0xffffffffffffffff, 0x0000000000000000,
1192  0xffffffffffffffff, 0x0000000000000000,
1193  0xffffffffffffffff, 0x0000000000000000,
1194  0xffffffffffffffff, 0x0000000000000000,
1195  0xffffffffffffffff, 0x0000000000000000,
1196  0xffffffffffffffff, 0x0000000000000000,
1197  0xffffffffffffffff, 0x0000000000000000,
1198  0xffffffffffffffff, 0x0000000000000000,
1199  0xffffffffffffffff, 0x0000000000000000,
1200  0xffffffffffffffff, 0x0000000000000000,
1201  0xffffffffffffffff, 0x0000000000000000,
1202  0xffffffffffffffff, 0x0000000000000000,
1203  0xffffffffffffffff, 0x0000000000000000,
1204  0xffffffffffffffff, 0x0000000000000000,
1205  0xffffffffffffffff, 0x0000000000000000,
1206  0xffffffffffffffff, 0x0000000000000000,
1207  0xffffffffffffffff, 0x0000000000000000,
1208  0xffffffffffffffff, 0x0000000000000000,
1209  0xffffffffffffffff, 0x0000000000000000,
1210  0xffffffffffffffff, 0x0000000000000000,
1211  0xffffffffffffffff, 0x0000000000000000,
1212  0xffffffffffffffff, 0x0000000000000000,
1213  0xffffffffffffffff, 0x0000000000000000,
1214  0xffffffffffffffff, 0x0000000000000000,
1215  0xffffffffffffffff, 0x0000000000000000,
1216  0xffffffffffffffff, 0x0000000000000000,
1217  0xffffffffffffffff, 0x0000000000000000,
1218  0xffffffffffffffff, 0x0000000000000000,
1219  0xffffffffffffffff, 0x0000000000000000,
1220  0xffffffffffffffff, 0x0000000000000000,
1221  0xffffffffffffffff, 0x0000000000000000,
1222  0xffffffffffffffff, 0x0000000000000000,
1223  0xffffffffffffffff, 0x0000000000000000,
1224  0xffffffffffffffff, 0x0000000000000000,
1225  0xffffffffffffffff, 0x0000000000000000,
1226  0xffffffffffffffff, 0x0000000000000000,
1227  0xffffffffffffffff, 0x0000000000000000,
1228  0xffffffffffffffff, 0x0000000000000000,
1229  0xffffffffffffffff, 0x0000000000000000,
1230  0xffffffffffffffff, 0x0000000000000000,
1231  0xffffffffffffffff, 0x0000000000000000,
1232  0xffffffffffffffff, 0x0000000000000000,
1233  0xffffffffffffffff, 0x0000000000000000,
1234  0xffffffffffffffff, 0x0000000000000000,
1235  0xffffffffffffffff, 0x0000000000000000,
1236  0xffffffffffffffff, 0x0000000000000000,
1237  0xffffffffffffffff, 0x0000000000000000,
1238  0xffffffffffffffff, 0x0000000000000000,
1239  0xffffffffffffffff, 0x0000000000000000,
1240  0xffffffffffffffff, 0x0000000000000000,
1241  0xffffffffffffffff, 0x0000000000000000,
1242  0xffffffffffffffff, 0x0000000000000000,
1243  0xffffffffffffffff, 0x0000000000000000,
1244  0xffffffffffffffff, 0x0000000000000000,
1245  0xffffffffffffffff, 0x0000000000000000,
1246  0xffffffffffffffff, 0x0000000000000000,
1247  0xffffffffffffffff, 0x0000000000000000,
1248  0xffffffffffffffff, 0x0000000000000000,
1249  0xffffffffffffffff, 0x0000000000000000,
1250  0xffffffffffffffff, 0x0000000000000000,
1251  0xffffffffffffffff, 0x0000000000000000,
1252  0xffffffffffffffff, 0x0000000000000000,
1253  0xffffffffffffffff, 0x0000000000000000,
1254  0x8000000000000000, 0x8000000000000001,
1255  0x0000000000000000, 0x0000000000000003,
1256  0x0000000000000000, 0x0000000000000007,
1257  0x0000000000000000, 0x000000000000000f,
1258  0x0000000000000000, 0x000000000000001f,
1259  0x0000000000000000, 0x000000000000003f,
1260  0x0000000000000000, 0x000000000000007f,
1261  0x0000000000000000, 0x00000000000000ff,
1262  0x0000000000000000, 0x00000000000001ff,
1263  0x0000000000000000, 0x00000000000003ff,
1264  0x0000000000000000, 0x00000000000007ff,
1265  0x0000000000000000, 0x0000000000000fff,
1266  0x0000000000000000, 0x0000000000001fff,
1267  0x0000000000000000, 0x0000000000003fff,
1268  0x0000000000000000, 0x0000000000007fff,
1269  0x0000000000000000, 0x000000000000ffff,
1270  0x0000000000000000, 0x000000000001ffff,
1271  0x0000000000000000, 0x000000000003ffff,
1272  0x0000000000000000, 0x000000000007ffff,
1273  0x0000000000000000, 0x00000000000fffff,
1274  0x0000000000000000, 0x00000000001fffff,
1275  0x0000000000000000, 0x00000000003fffff,
1276  0x0000000000000000, 0x00000000007fffff,
1277  0x0000000000000000, 0x0000000000ffffff,
1278  0x0000000000000000, 0x0000000001ffffff,
1279  0x0000000000000000, 0x0000000003ffffff,
1280  0x0000000000000000, 0x0000000007ffffff,
1281  0x0000000000000000, 0x000000000fffffff,
1282  0x0000000000000000, 0x000000001fffffff,
1283  0x0000000000000000, 0x000000003fffffff,
1284  0x0000000000000000, 0x000000007fffffff,
1285  0x0000000000000000, 0x00000000ffffffff,
1286  0x0000000000000000, 0x00000001ffffffff,
1287  0x0000000000000000, 0x00000003ffffffff,
1288  0x0000000000000000, 0x00000007ffffffff,
1289  0x0000000000000000, 0x0000000fffffffff,
1290  0x0000000000000000, 0x0000001fffffffff,
1291  0x0000000000000000, 0x0000003fffffffff,
1292  0x0000000000000000, 0x0000007fffffffff,
1293  0x0000000000000000, 0x000000ffffffffff,
1294  0x0000000000000000, 0x000001ffffffffff,
1295  0x0000000000000000, 0x000003ffffffffff,
1296  0x0000000000000000, 0x000007ffffffffff,
1297  0x0000000000000000, 0x00000fffffffffff,
1298  0x0000000000000000, 0x00001fffffffffff,
1299  0x0000000000000000, 0x00003fffffffffff,
1300  0x0000000000000000, 0x00007fffffffffff,
1301  0x0000000000000000, 0x0000ffffffffffff,
1302  0x0000000000000000, 0x0001ffffffffffff,
1303  0x0000000000000000, 0x0003ffffffffffff,
1304  0x0000000000000000, 0x0007ffffffffffff,
1305  0x0000000000000000, 0x000fffffffffffff,
1306  0x0000000000000000, 0x001fffffffffffff,
1307  0x0000000000000000, 0x003fffffffffffff,
1308  0x0000000000000000, 0x007fffffffffffff,
1309  0x0000000000000000, 0x00ffffffffffffff,
1310  0x0000000000000000, 0x01ffffffffffffff,
1311  0x0000000000000000, 0x03ffffffffffffff,
1312  0x0000000000000000, 0x07ffffffffffffff,
1313  0x0000000000000000, 0x0fffffffffffffff,
1314  0x0000000000000000, 0x1fffffffffffffff,
1315  0x0000000000000000, 0x3fffffffffffffff,
1316  0x0000000000000000, 0x7fffffffffffffff,
1317  0x0000000000000000, 0xffffffffffffffff,
1318  0x8000000000000001, 0x8000000000000002,
1319  0x0000000000000003, 0x0000000000000004,
1320  0x0000000000000007, 0x0000000000000008,
1321  0x000000000000000f, 0x0000000000000010,
1322  0x000000000000001f, 0x0000000000000020,
1323  0x000000000000003f, 0x0000000000000040,
1324  0x000000000000007f, 0x0000000000000080,
1325  0x00000000000000ff, 0x0000000000000100,
1326  0x00000000000001ff, 0x0000000000000200,
1327  0x00000000000003ff, 0x0000000000000400,
1328  0x00000000000007ff, 0x0000000000000800,
1329  0x0000000000000fff, 0x0000000000001000,
1330  0x0000000000001fff, 0x0000000000002000,
1331  0x0000000000003fff, 0x0000000000004000,
1332  0x0000000000007fff, 0x0000000000008000,
1333  0x000000000000ffff, 0x0000000000010000,
1334  0x000000000001ffff, 0x0000000000020000,
1335  0x000000000003ffff, 0x0000000000040000,
1336  0x000000000007ffff, 0x0000000000080000,
1337  0x00000000000fffff, 0x0000000000100000,
1338  0x00000000001fffff, 0x0000000000200000,
1339  0x00000000003fffff, 0x0000000000400000,
1340  0x00000000007fffff, 0x0000000000800000,
1341  0x0000000000ffffff, 0x0000000001000000,
1342  0x0000000001ffffff, 0x0000000002000000,
1343  0x0000000003ffffff, 0x0000000004000000,
1344  0x0000000007ffffff, 0x0000000008000000,
1345  0x000000000fffffff, 0x0000000010000000,
1346  0x000000001fffffff, 0x0000000020000000,
1347  0x000000003fffffff, 0x0000000040000000,
1348  0x000000007fffffff, 0x0000000080000000,
1349  0x00000000ffffffff, 0x0000000100000000,
1350  0x00000001ffffffff, 0x0000000200000000,
1351  0x00000003ffffffff, 0x0000000400000000,
1352  0x00000007ffffffff, 0x0000000800000000,
1353  0x0000000fffffffff, 0x0000001000000000,
1354  0x0000001fffffffff, 0x0000002000000000,
1355  0x0000003fffffffff, 0x0000004000000000,
1356  0x0000007fffffffff, 0x0000008000000000,
1357  0x000000ffffffffff, 0x0000010000000000,
1358  0x000001ffffffffff, 0x0000020000000000,
1359  0x000003ffffffffff, 0x0000040000000000,
1360  0x000007ffffffffff, 0x0000080000000000,
1361  0x00000fffffffffff, 0x0000100000000000,
1362  0x00001fffffffffff, 0x0000200000000000,
1363  0x00003fffffffffff, 0x0000400000000000,
1364  0x00007fffffffffff, 0x0000800000000000,
1365  0x0000ffffffffffff, 0x0001000000000000,
1366  0x0001ffffffffffff, 0x0002000000000000,
1367  0x0003ffffffffffff, 0x0004000000000000,
1368  0x0007ffffffffffff, 0x0008000000000000,
1369  0x000fffffffffffff, 0x0010000000000000,
1370  0x001fffffffffffff, 0x0020000000000000,
1371  0x003fffffffffffff, 0x0040000000000000,
1372  0x007fffffffffffff, 0x0080000000000000,
1373  0x00ffffffffffffff, 0x0100000000000000,
1374  0x01ffffffffffffff, 0x0200000000000000,
1375  0x03ffffffffffffff, 0x0400000000000000,
1376  0x07ffffffffffffff, 0x0800000000000000,
1377  0x0fffffffffffffff, 0x1000000000000000,
1378  0x1fffffffffffffff, 0x2000000000000000,
1379  0x3fffffffffffffff, 0x4000000000000000,
1380  0x7fffffffffffffff, 0x8000000000000000,
1381  0xffffffffffffffff, 0x0000000000000000,
1382  0x8000000000000002, 0x8000000000000003,
1383  0x0000000000000004, 0x0000000000000007,
1384  0x0000000000000008, 0x000000000000000f,
1385  0x0000000000000010, 0x000000000000001f,
1386  0x0000000000000020, 0x000000000000003f,
1387  0x0000000000000040, 0x000000000000007f,
1388  0x0000000000000080, 0x00000000000000ff,
1389  0x0000000000000100, 0x00000000000001ff,
1390  0x0000000000000200, 0x00000000000003ff,
1391  0x0000000000000400, 0x00000000000007ff,
1392  0x0000000000000800, 0x0000000000000fff,
1393  0x0000000000001000, 0x0000000000001fff,
1394  0x0000000000002000, 0x0000000000003fff,
1395  0x0000000000004000, 0x0000000000007fff,
1396  0x0000000000008000, 0x000000000000ffff,
1397  0x0000000000010000, 0x000000000001ffff,
1398  0x0000000000020000, 0x000000000003ffff,
1399  0x0000000000040000, 0x000000000007ffff,
1400  0x0000000000080000, 0x00000000000fffff,
1401  0x0000000000100000, 0x00000000001fffff,
1402  0x0000000000200000, 0x00000000003fffff,
1403  0x0000000000400000, 0x00000000007fffff,
1404  0x0000000000800000, 0x0000000000ffffff,
1405  0x0000000001000000, 0x0000000001ffffff,
1406  0x0000000002000000, 0x0000000003ffffff,
1407  0x0000000004000000, 0x0000000007ffffff,
1408  0x0000000008000000, 0x000000000fffffff,
1409  0x0000000010000000, 0x000000001fffffff,
1410  0x0000000020000000, 0x000000003fffffff,
1411  0x0000000040000000, 0x000000007fffffff,
1412  0x0000000080000000, 0x00000000ffffffff,
1413  0x0000000100000000, 0x00000001ffffffff,
1414  0x0000000200000000, 0x00000003ffffffff,
1415  0x0000000400000000, 0x00000007ffffffff,
1416  0x0000000800000000, 0x0000000fffffffff,
1417  0x0000001000000000, 0x0000001fffffffff,
1418  0x0000002000000000, 0x0000003fffffffff,
1419  0x0000004000000000, 0x0000007fffffffff,
1420  0x0000008000000000, 0x000000ffffffffff,
1421  0x0000010000000000, 0x000001ffffffffff,
1422  0x0000020000000000, 0x000003ffffffffff,
1423  0x0000040000000000, 0x000007ffffffffff,
1424  0x0000080000000000, 0x00000fffffffffff,
1425  0x0000100000000000, 0x00001fffffffffff,
1426  0x0000200000000000, 0x00003fffffffffff,
1427  0x0000400000000000, 0x00007fffffffffff,
1428  0x0000800000000000, 0x0000ffffffffffff,
1429  0x0001000000000000, 0x0001ffffffffffff,
1430  0x0002000000000000, 0x0003ffffffffffff,
1431  0x0004000000000000, 0x0007ffffffffffff,
1432  0x0008000000000000, 0x000fffffffffffff,
1433  0x0010000000000000, 0x001fffffffffffff,
1434  0x0020000000000000, 0x003fffffffffffff,
1435  0x0040000000000000, 0x007fffffffffffff,
1436  0x0080000000000000, 0x00ffffffffffffff,
1437  0x0100000000000000, 0x01ffffffffffffff,
1438  0x0200000000000000, 0x03ffffffffffffff,
1439  0x0400000000000000, 0x07ffffffffffffff,
1440  0x0800000000000000, 0x0fffffffffffffff,
1441  0x1000000000000000, 0x1fffffffffffffff,
1442  0x2000000000000000, 0x3fffffffffffffff,
1443  0x4000000000000000, 0x7fffffffffffffff,
1444  0x8000000000000000, 0xffffffffffffffff,
1445  0x0000000000000000, 0xffffffffffffffff,
1446  0x8000000000000003, 0xaaaaaaaaaaaaaaaa,
1447  0x0000000000000007, 0x5555555555555554,
1448  0x000000000000000f, 0xaaaaaaaaaaaaaaa8,
1449  0x000000000000001f, 0x5555555555555550,
1450  0x000000000000003f, 0xaaaaaaaaaaaaaaa0,
1451  0x000000000000007f, 0x5555555555555540,
1452  0x00000000000000ff, 0xaaaaaaaaaaaaaa80,
1453  0x00000000000001ff, 0x5555555555555500,
1454  0x00000000000003ff, 0xaaaaaaaaaaaaaa00,
1455  0x00000000000007ff, 0x5555555555555400,
1456  0x0000000000000fff, 0xaaaaaaaaaaaaa800,
1457  0x0000000000001fff, 0x5555555555555000,
1458  0x0000000000003fff, 0xaaaaaaaaaaaaa000,
1459  0x0000000000007fff, 0x5555555555554000,
1460  0x000000000000ffff, 0xaaaaaaaaaaaa8000,
1461  0x000000000001ffff, 0x5555555555550000,
1462  0x000000000003ffff, 0xaaaaaaaaaaaa0000,
1463  0x000000000007ffff, 0x5555555555540000,
1464  0x00000000000fffff, 0xaaaaaaaaaaa80000,
1465  0x00000000001fffff, 0x5555555555500000,
1466  0x00000000003fffff, 0xaaaaaaaaaaa00000,
1467  0x00000000007fffff, 0x5555555555400000,
1468  0x0000000000ffffff, 0xaaaaaaaaaa800000,
1469  0x0000000001ffffff, 0x5555555555000000,
1470  0x0000000003ffffff, 0xaaaaaaaaaa000000,
1471  0x0000000007ffffff, 0x5555555554000000,
1472  0x000000000fffffff, 0xaaaaaaaaa8000000,
1473  0x000000001fffffff, 0x5555555550000000,
1474  0x000000003fffffff, 0xaaaaaaaaa0000000,
1475  0x000000007fffffff, 0x5555555540000000,
1476  0x00000000ffffffff, 0xaaaaaaaa80000000,
1477  0x00000001ffffffff, 0x5555555500000000,
1478  0x00000003ffffffff, 0xaaaaaaaa00000000,
1479  0x00000007ffffffff, 0x5555555400000000,
1480  0x0000000fffffffff, 0xaaaaaaa800000000,
1481  0x0000001fffffffff, 0x5555555000000000,
1482  0x0000003fffffffff, 0xaaaaaaa000000000,
1483  0x0000007fffffffff, 0x5555554000000000,
1484  0x000000ffffffffff, 0xaaaaaa8000000000,
1485  0x000001ffffffffff, 0x5555550000000000,
1486  0x000003ffffffffff, 0xaaaaaa0000000000,
1487  0x000007ffffffffff, 0x5555540000000000,
1488  0x00000fffffffffff, 0xaaaaa80000000000,
1489  0x00001fffffffffff, 0x5555500000000000,
1490  0x00003fffffffffff, 0xaaaaa00000000000,
1491  0x00007fffffffffff, 0x5555400000000000,
1492  0x0000ffffffffffff, 0xaaaa800000000000,
1493  0x0001ffffffffffff, 0x5555000000000000,
1494  0x0003ffffffffffff, 0xaaaa000000000000,
1495  0x0007ffffffffffff, 0x5554000000000000,
1496  0x000fffffffffffff, 0xaaa8000000000000,
1497  0x001fffffffffffff, 0x5550000000000000,
1498  0x003fffffffffffff, 0xaaa0000000000000,
1499  0x007fffffffffffff, 0x5540000000000000,
1500  0x00ffffffffffffff, 0xaa80000000000000,
1501  0x01ffffffffffffff, 0x5500000000000000,
1502  0x03ffffffffffffff, 0xaa00000000000000,
1503  0x07ffffffffffffff, 0x5400000000000000,
1504  0x0fffffffffffffff, 0xa800000000000000,
1505  0x1fffffffffffffff, 0x5000000000000000,
1506  0x3fffffffffffffff, 0xa000000000000000,
1507  0x7fffffffffffffff, 0x4000000000000000,
1508  0xffffffffffffffff, 0x8000000000000000,
1509  0xffffffffffffffff, 0x0000000000000000,
1510  0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccc,
1511  0x5555555555555554, 0x9999999999999998,
1512  0xaaaaaaaaaaaaaaa8, 0x3333333333333330,
1513  0x5555555555555550, 0x6666666666666660,
1514  0xaaaaaaaaaaaaaaa0, 0xccccccccccccccc0,
1515  0x5555555555555540, 0x9999999999999980,
1516  0xaaaaaaaaaaaaaa80, 0x3333333333333300,
1517  0x5555555555555500, 0x6666666666666600,
1518  0xaaaaaaaaaaaaaa00, 0xcccccccccccccc00,
1519  0x5555555555555400, 0x9999999999999800,
1520  0xaaaaaaaaaaaaa800, 0x3333333333333000,
1521  0x5555555555555000, 0x6666666666666000,
1522  0xaaaaaaaaaaaaa000, 0xccccccccccccc000,
1523  0x5555555555554000, 0x9999999999998000,
1524  0xaaaaaaaaaaaa8000, 0x3333333333330000,
1525  0x5555555555550000, 0x6666666666660000,
1526  0xaaaaaaaaaaaa0000, 0xcccccccccccc0000,
1527  0x5555555555540000, 0x9999999999980000,
1528  0xaaaaaaaaaaa80000, 0x3333333333300000,
1529  0x5555555555500000, 0x6666666666600000,
1530  0xaaaaaaaaaaa00000, 0xccccccccccc00000,
1531  0x5555555555400000, 0x9999999999800000,
1532  0xaaaaaaaaaa800000, 0x3333333333000000,
1533  0x5555555555000000, 0x6666666666000000,
1534  0xaaaaaaaaaa000000, 0xcccccccccc000000,
1535  0x5555555554000000, 0x9999999998000000,
1536  0xaaaaaaaaa8000000, 0x3333333330000000,
1537  0x5555555550000000, 0x6666666660000000,
1538  0xaaaaaaaaa0000000, 0xccccccccc0000000,
1539  0x5555555540000000, 0x9999999980000000,
1540  0xaaaaaaaa80000000, 0x3333333300000000,
1541  0x5555555500000000, 0x6666666600000000,
1542  0xaaaaaaaa00000000, 0xcccccccc00000000,
1543  0x5555555400000000, 0x9999999800000000,
1544  0xaaaaaaa800000000, 0x3333333000000000,
1545  0x5555555000000000, 0x6666666000000000,
1546  0xaaaaaaa000000000, 0xccccccc000000000,
1547  0x5555554000000000, 0x9999998000000000,
1548  0xaaaaaa8000000000, 0x3333330000000000,
1549  0x5555550000000000, 0x6666660000000000,
1550  0xaaaaaa0000000000, 0xcccccc0000000000,
1551  0x5555540000000000, 0x9999980000000000,
1552  0xaaaaa80000000000, 0x3333300000000000,
1553  0x5555500000000000, 0x6666600000000000,
1554  0xaaaaa00000000000, 0xccccc00000000000,
1555  0x5555400000000000, 0x9999800000000000,
1556  0xaaaa800000000000, 0x3333000000000000,
1557  0x5555000000000000, 0x6666000000000000,
1558  0xaaaa000000000000, 0xcccc000000000000,
1559  0x5554000000000000, 0x9998000000000000,
1560  0xaaa8000000000000, 0x3330000000000000,
1561  0x5550000000000000, 0x6660000000000000,
1562  0xaaa0000000000000, 0xccc0000000000000,
1563  0x5540000000000000, 0x9980000000000000,
1564  0xaa80000000000000, 0x3300000000000000,
1565  0x5500000000000000, 0x6600000000000000,
1566  0xaa00000000000000, 0xcc00000000000000,
1567  0x5400000000000000, 0x9800000000000000,
1568  0xa800000000000000, 0x3000000000000000,
1569  0x5000000000000000, 0x6000000000000000,
1570  0xa000000000000000, 0xc000000000000000,
1571  0x4000000000000000, 0x8000000000000000,
1572  0x8000000000000000, 0x0000000000000000,
1573  0x0000000000000000, 0x0000000000000000,
1574  0xcccccccccccccccc, 0xffffffff80000000,
1575  0x9999999999999998, 0xffffffff00000000,
1576  0x3333333333333330, 0xfffffffe00000000,
1577  0x6666666666666660, 0xfffffffc00000000,
1578  0xccccccccccccccc0, 0xfffffff800000000,
1579  0x9999999999999980, 0xfffffff000000000,
1580  0x3333333333333300, 0xffffffe000000000,
1581  0x6666666666666600, 0xffffffc000000000,
1582  0xcccccccccccccc00, 0xffffff8000000000,
1583  0x9999999999999800, 0xffffff0000000000,
1584  0x3333333333333000, 0xfffffe0000000000,
1585  0x6666666666666000, 0xfffffc0000000000,
1586  0xccccccccccccc000, 0xfffff80000000000,
1587  0x9999999999998000, 0xfffff00000000000,
1588  0x3333333333330000, 0xffffe00000000000,
1589  0x6666666666660000, 0xffffc00000000000,
1590  0xcccccccccccc0000, 0xffff800000000000,
1591  0x9999999999980000, 0xffff000000000000,
1592  0x3333333333300000, 0xfffe000000000000,
1593  0x6666666666600000, 0xfffc000000000000,
1594  0xccccccccccc00000, 0xfff8000000000000,
1595  0x9999999999800000, 0xfff0000000000000,
1596  0x3333333333000000, 0xffe0000000000000,
1597  0x6666666666000000, 0xffc0000000000000,
1598  0xcccccccccc000000, 0xff80000000000000,
1599  0x9999999998000000, 0xff00000000000000,
1600  0x3333333330000000, 0xfe00000000000000,
1601  0x6666666660000000, 0xfc00000000000000,
1602  0xccccccccc0000000, 0xf800000000000000,
1603  0x9999999980000000, 0xf000000000000000,
1604  0x3333333300000000, 0xe000000000000000,
1605  0x6666666600000000, 0xc000000000000000,
1606  0xcccccccc00000000, 0x8000000000000000,
1607  0x9999999800000000, 0x0000000000000000,
1608  0x3333333000000000, 0x0000000000000000,
1609  0x6666666000000000, 0x0000000000000000,
1610  0xccccccc000000000, 0x0000000000000000,
1611  0x9999998000000000, 0x0000000000000000,
1612  0x3333330000000000, 0x0000000000000000,
1613  0x6666660000000000, 0x0000000000000000,
1614  0xcccccc0000000000, 0x0000000000000000,
1615  0x9999980000000000, 0x0000000000000000,
1616  0x3333300000000000, 0x0000000000000000,
1617  0x6666600000000000, 0x0000000000000000,
1618  0xccccc00000000000, 0x0000000000000000,
1619  0x9999800000000000, 0x0000000000000000,
1620  0x3333000000000000, 0x0000000000000000,
1621  0x6666000000000000, 0x0000000000000000,
1622  0xcccc000000000000, 0x0000000000000000,
1623  0x9998000000000000, 0x0000000000000000,
1624  0x3330000000000000, 0x0000000000000000,
1625  0x6660000000000000, 0x0000000000000000,
1626  0xccc0000000000000, 0x0000000000000000,
1627  0x9980000000000000, 0x0000000000000000,
1628  0x3300000000000000, 0x0000000000000000,
1629  0x6600000000000000, 0x0000000000000000,
1630  0xcc00000000000000, 0x0000000000000000,
1631  0x9800000000000000, 0x0000000000000000,
1632  0x3000000000000000, 0x0000000000000000,
1633  0x6000000000000000, 0x0000000000000000,
1634  0xc000000000000000, 0x0000000000000000,
1635  0x8000000000000000, 0x0000000000000000,
1636  0x0000000000000000, 0x0000000000000000,
1637  0x0000000000000000, 0x0000000000000000,
1638  0xffffffff80000000, 0xffffffff80000001,
1639  0xffffffff00000000, 0xffffffff00000003,
1640  0xfffffffe00000000, 0xfffffffe00000007,
1641  0xfffffffc00000000, 0xfffffffc0000000f,
1642  0xfffffff800000000, 0xfffffff80000001f,
1643  0xfffffff000000000, 0xfffffff00000003f,
1644  0xffffffe000000000, 0xffffffe00000007f,
1645  0xffffffc000000000, 0xffffffc0000000ff,
1646  0xffffff8000000000, 0xffffff80000001ff,
1647  0xffffff0000000000, 0xffffff00000003ff,
1648  0xfffffe0000000000, 0xfffffe00000007ff,
1649  0xfffffc0000000000, 0xfffffc0000000fff,
1650  0xfffff80000000000, 0xfffff80000001fff,
1651  0xfffff00000000000, 0xfffff00000003fff,
1652  0xffffe00000000000, 0xffffe00000007fff,
1653  0xffffc00000000000, 0xffffc0000000ffff,
1654  0xffff800000000000, 0xffff80000001ffff,
1655  0xffff000000000000, 0xffff00000003ffff,
1656  0xfffe000000000000, 0xfffe00000007ffff,
1657  0xfffc000000000000, 0xfffc0000000fffff,
1658  0xfff8000000000000, 0xfff80000001fffff,
1659  0xfff0000000000000, 0xfff00000003fffff,
1660  0xffe0000000000000, 0xffe00000007fffff,
1661  0xffc0000000000000, 0xffc0000000ffffff,
1662  0xff80000000000000, 0xff80000001ffffff,
1663  0xff00000000000000, 0xff00000003ffffff,
1664  0xfe00000000000000, 0xfe00000007ffffff,
1665  0xfc00000000000000, 0xfc0000000fffffff,
1666  0xf800000000000000, 0xf80000001fffffff,
1667  0xf000000000000000, 0xf00000003fffffff,
1668  0xe000000000000000, 0xe00000007fffffff,
1669  0xc000000000000000, 0xc0000000ffffffff,
1670  0x8000000000000000, 0x80000001ffffffff,
1671  0x0000000000000000, 0x00000003ffffffff,
1672  0x0000000000000000, 0x00000007ffffffff,
1673  0x0000000000000000, 0x0000000fffffffff,
1674  0x0000000000000000, 0x0000001fffffffff,
1675  0x0000000000000000, 0x0000003fffffffff,
1676  0x0000000000000000, 0x0000007fffffffff,
1677  0x0000000000000000, 0x000000ffffffffff,
1678  0x0000000000000000, 0x000001ffffffffff,
1679  0x0000000000000000, 0x000003ffffffffff,
1680  0x0000000000000000, 0x000007ffffffffff,
1681  0x0000000000000000, 0x00000fffffffffff,
1682  0x0000000000000000, 0x00001fffffffffff,
1683  0x0000000000000000, 0x00003fffffffffff,
1684  0x0000000000000000, 0x00007fffffffffff,
1685  0x0000000000000000, 0x0000ffffffffffff,
1686  0x0000000000000000, 0x0001ffffffffffff,
1687  0x0000000000000000, 0x0003ffffffffffff,
1688  0x0000000000000000, 0x0007ffffffffffff,
1689  0x0000000000000000, 0x000fffffffffffff,
1690  0x0000000000000000, 0x001fffffffffffff,
1691  0x0000000000000000, 0x003fffffffffffff,
1692  0x0000000000000000, 0x007fffffffffffff,
1693  0x0000000000000000, 0x00ffffffffffffff,
1694  0x0000000000000000, 0x01ffffffffffffff,
1695  0x0000000000000000, 0x03ffffffffffffff,
1696  0x0000000000000000, 0x07ffffffffffffff,
1697  0x0000000000000000, 0x0fffffffffffffff,
1698  0x0000000000000000, 0x1fffffffffffffff,
1699  0x0000000000000000, 0x3fffffffffffffff,
1700  0x0000000000000000, 0x7fffffffffffffff,
1701  0x0000000000000000, 0xffffffffffffffff,
1702  0xffffffff80000001, 0xffffffff80000002,
1703  0xffffffff00000003, 0xffffffff00000004,
1704  0xfffffffe00000007, 0xfffffffe00000008,
1705  0xfffffffc0000000f, 0xfffffffc00000010,
1706  0xfffffff80000001f, 0xfffffff800000020,
1707  0xfffffff00000003f, 0xfffffff000000040,
1708  0xffffffe00000007f, 0xffffffe000000080,
1709  0xffffffc0000000ff, 0xffffffc000000100,
1710  0xffffff80000001ff, 0xffffff8000000200,
1711  0xffffff00000003ff, 0xffffff0000000400,
1712  0xfffffe00000007ff, 0xfffffe0000000800,
1713  0xfffffc0000000fff, 0xfffffc0000001000,
1714  0xfffff80000001fff, 0xfffff80000002000,
1715  0xfffff00000003fff, 0xfffff00000004000,
1716  0xffffe00000007fff, 0xffffe00000008000,
1717  0xffffc0000000ffff, 0xffffc00000010000,
1718  0xffff80000001ffff, 0xffff800000020000,
1719  0xffff00000003ffff, 0xffff000000040000,
1720  0xfffe00000007ffff, 0xfffe000000080000,
1721  0xfffc0000000fffff, 0xfffc000000100000,
1722  0xfff80000001fffff, 0xfff8000000200000,
1723  0xfff00000003fffff, 0xfff0000000400000,
1724  0xffe00000007fffff, 0xffe0000000800000,
1725  0xffc0000000ffffff, 0xffc0000001000000,
1726  0xff80000001ffffff, 0xff80000002000000,
1727  0xff00000003ffffff, 0xff00000004000000,
1728  0xfe00000007ffffff, 0xfe00000008000000,
1729  0xfc0000000fffffff, 0xfc00000010000000,
1730  0xf80000001fffffff, 0xf800000020000000,
1731  0xf00000003fffffff, 0xf000000040000000,
1732  0xe00000007fffffff, 0xe000000080000000,
1733  0xc0000000ffffffff, 0xc000000100000000,
1734  0x80000001ffffffff, 0x8000000200000000,
1735  0x00000003ffffffff, 0x0000000400000000,
1736  0x00000007ffffffff, 0x0000000800000000,
1737  0x0000000fffffffff, 0x0000001000000000,
1738  0x0000001fffffffff, 0x0000002000000000,
1739  0x0000003fffffffff, 0x0000004000000000,
1740  0x0000007fffffffff, 0x0000008000000000,
1741  0x000000ffffffffff, 0x0000010000000000,
1742  0x000001ffffffffff, 0x0000020000000000,
1743  0x000003ffffffffff, 0x0000040000000000,
1744  0x000007ffffffffff, 0x0000080000000000,
1745  0x00000fffffffffff, 0x0000100000000000,
1746  0x00001fffffffffff, 0x0000200000000000,
1747  0x00003fffffffffff, 0x0000400000000000,
1748  0x00007fffffffffff, 0x0000800000000000,
1749  0x0000ffffffffffff, 0x0001000000000000,
1750  0x0001ffffffffffff, 0x0002000000000000,
1751  0x0003ffffffffffff, 0x0004000000000000,
1752  0x0007ffffffffffff, 0x0008000000000000,
1753  0x000fffffffffffff, 0x0010000000000000,
1754  0x001fffffffffffff, 0x0020000000000000,
1755  0x003fffffffffffff, 0x0040000000000000,
1756  0x007fffffffffffff, 0x0080000000000000,
1757  0x00ffffffffffffff, 0x0100000000000000,
1758  0x01ffffffffffffff, 0x0200000000000000,
1759  0x03ffffffffffffff, 0x0400000000000000,
1760  0x07ffffffffffffff, 0x0800000000000000,
1761  0x0fffffffffffffff, 0x1000000000000000,
1762  0x1fffffffffffffff, 0x2000000000000000,
1763  0x3fffffffffffffff, 0x4000000000000000,
1764  0x7fffffffffffffff, 0x8000000000000000,
1765  0xffffffffffffffff, 0x0000000000000000,
1766  0xffffffff80000002, 0xffffffff80000003,
1767  0xffffffff00000004, 0xffffffff00000007,
1768  0xfffffffe00000008, 0xfffffffe0000000f,
1769  0xfffffffc00000010, 0xfffffffc0000001f,
1770  0xfffffff800000020, 0xfffffff80000003f,
1771  0xfffffff000000040, 0xfffffff00000007f,
1772  0xffffffe000000080, 0xffffffe0000000ff,
1773  0xffffffc000000100, 0xffffffc0000001ff,
1774  0xffffff8000000200, 0xffffff80000003ff,
1775  0xffffff0000000400, 0xffffff00000007ff,
1776  0xfffffe0000000800, 0xfffffe0000000fff,
1777  0xfffffc0000001000, 0xfffffc0000001fff,
1778  0xfffff80000002000, 0xfffff80000003fff,
1779  0xfffff00000004000, 0xfffff00000007fff,
1780  0xffffe00000008000, 0xffffe0000000ffff,
1781  0xffffc00000010000, 0xffffc0000001ffff,
1782  0xffff800000020000, 0xffff80000003ffff,
1783  0xffff000000040000, 0xffff00000007ffff,
1784  0xfffe000000080000, 0xfffe0000000fffff,
1785  0xfffc000000100000, 0xfffc0000001fffff,
1786  0xfff8000000200000, 0xfff80000003fffff,
1787  0xfff0000000400000, 0xfff00000007fffff,
1788  0xffe0000000800000, 0xffe0000000ffffff,
1789  0xffc0000001000000, 0xffc0000001ffffff,
1790  0xff80000002000000, 0xff80000003ffffff,
1791  0xff00000004000000, 0xff00000007ffffff,
1792  0xfe00000008000000, 0xfe0000000fffffff,
1793  0xfc00000010000000, 0xfc0000001fffffff,
1794  0xf800000020000000, 0xf80000003fffffff,
1795  0xf000000040000000, 0xf00000007fffffff,
1796  0xe000000080000000, 0xe0000000ffffffff,
1797  0xc000000100000000, 0xc0000001ffffffff,
1798  0x8000000200000000, 0x80000003ffffffff,
1799  0x0000000400000000, 0x00000007ffffffff,
1800  0x0000000800000000, 0x0000000fffffffff,
1801  0x0000001000000000, 0x0000001fffffffff,
1802  0x0000002000000000, 0x0000003fffffffff,
1803  0x0000004000000000, 0x0000007fffffffff,
1804  0x0000008000000000, 0x000000ffffffffff,
1805  0x0000010000000000, 0x000001ffffffffff,
1806  0x0000020000000000, 0x000003ffffffffff,
1807  0x0000040000000000, 0x000007ffffffffff,
1808  0x0000080000000000, 0x00000fffffffffff,
1809  0x0000100000000000, 0x00001fffffffffff,
1810  0x0000200000000000, 0x00003fffffffffff,
1811  0x0000400000000000, 0x00007fffffffffff,
1812  0x0000800000000000, 0x0000ffffffffffff,
1813  0x0001000000000000, 0x0001ffffffffffff,
1814  0x0002000000000000, 0x0003ffffffffffff,
1815  0x0004000000000000, 0x0007ffffffffffff,
1816  0x0008000000000000, 0x000fffffffffffff,
1817  0x0010000000000000, 0x001fffffffffffff,
1818  0x0020000000000000, 0x003fffffffffffff,
1819  0x0040000000000000, 0x007fffffffffffff,
1820  0x0080000000000000, 0x00ffffffffffffff,
1821  0x0100000000000000, 0x01ffffffffffffff,
1822  0x0200000000000000, 0x03ffffffffffffff,
1823  0x0400000000000000, 0x07ffffffffffffff,
1824  0x0800000000000000, 0x0fffffffffffffff,
1825  0x1000000000000000, 0x1fffffffffffffff,
1826  0x2000000000000000, 0x3fffffffffffffff,
1827  0x4000000000000000, 0x7fffffffffffffff,
1828  0x8000000000000000, 0xffffffffffffffff,
1829  0x0000000000000000, 0xffffffffffffffff,
1830  0xffffffff80000003, 0xffffffffffff8000,
1831  0xffffffff00000007, 0xffffffffffff0000,
1832  0xfffffffe0000000f, 0xfffffffffffe0000,
1833  0xfffffffc0000001f, 0xfffffffffffc0000,
1834  0xfffffff80000003f, 0xfffffffffff80000,
1835  0xfffffff00000007f, 0xfffffffffff00000,
1836  0xffffffe0000000ff, 0xffffffffffe00000,
1837  0xffffffc0000001ff, 0xffffffffffc00000,
1838  0xffffff80000003ff, 0xffffffffff800000,
1839  0xffffff00000007ff, 0xffffffffff000000,
1840  0xfffffe0000000fff, 0xfffffffffe000000,
1841  0xfffffc0000001fff, 0xfffffffffc000000,
1842  0xfffff80000003fff, 0xfffffffff8000000,
1843  0xfffff00000007fff, 0xfffffffff0000000,
1844  0xffffe0000000ffff, 0xffffffffe0000000,
1845  0xffffc0000001ffff, 0xffffffffc0000000,
1846  0xffff80000003ffff, 0xffffffff80000000,
1847  0xffff00000007ffff, 0xffffffff00000000,
1848  0xfffe0000000fffff, 0xfffffffe00000000,
1849  0xfffc0000001fffff, 0xfffffffc00000000,
1850  0xfff80000003fffff, 0xfffffff800000000,
1851  0xfff00000007fffff, 0xfffffff000000000,
1852  0xffe0000000ffffff, 0xffffffe000000000,
1853  0xffc0000001ffffff, 0xffffffc000000000,
1854  0xff80000003ffffff, 0xffffff8000000000,
1855  0xff00000007ffffff, 0xffffff0000000000,
1856  0xfe0000000fffffff, 0xfffffe0000000000,
1857  0xfc0000001fffffff, 0xfffffc0000000000,
1858  0xf80000003fffffff, 0xfffff80000000000,
1859  0xf00000007fffffff, 0xfffff00000000000,
1860  0xe0000000ffffffff, 0xffffe00000000000,
1861  0xc0000001ffffffff, 0xffffc00000000000,
1862  0x80000003ffffffff, 0xffff800000000000,
1863  0x00000007ffffffff, 0xffff000000000000,
1864  0x0000000fffffffff, 0xfffe000000000000,
1865  0x0000001fffffffff, 0xfffc000000000000,
1866  0x0000003fffffffff, 0xfff8000000000000,
1867  0x0000007fffffffff, 0xfff0000000000000,
1868  0x000000ffffffffff, 0xffe0000000000000,
1869  0x000001ffffffffff, 0xffc0000000000000,
1870  0x000003ffffffffff, 0xff80000000000000,
1871  0x000007ffffffffff, 0xff00000000000000,
1872  0x00000fffffffffff, 0xfe00000000000000,
1873  0x00001fffffffffff, 0xfc00000000000000,
1874  0x00003fffffffffff, 0xf800000000000000,
1875  0x00007fffffffffff, 0xf000000000000000,
1876  0x0000ffffffffffff, 0xe000000000000000,
1877  0x0001ffffffffffff, 0xc000000000000000,
1878  0x0003ffffffffffff, 0x8000000000000000,
1879  0x0007ffffffffffff, 0x0000000000000000,
1880  0x000fffffffffffff, 0x0000000000000000,
1881  0x001fffffffffffff, 0x0000000000000000,
1882  0x003fffffffffffff, 0x0000000000000000,
1883  0x007fffffffffffff, 0x0000000000000000,
1884  0x00ffffffffffffff, 0x0000000000000000,
1885  0x01ffffffffffffff, 0x0000000000000000,
1886  0x03ffffffffffffff, 0x0000000000000000,
1887  0x07ffffffffffffff, 0x0000000000000000,
1888  0x0fffffffffffffff, 0x0000000000000000,
1889  0x1fffffffffffffff, 0x0000000000000000,
1890  0x3fffffffffffffff, 0x0000000000000000,
1891  0x7fffffffffffffff, 0x0000000000000000,
1892  0xffffffffffffffff, 0x0000000000000000,
1893  0xffffffffffffffff, 0x0000000000000000,
1894  0xffffffffffff8000, 0xffffffffffff8001,
1895  0xffffffffffff0000, 0xffffffffffff0003,
1896  0xfffffffffffe0000, 0xfffffffffffe0007,
1897  0xfffffffffffc0000, 0xfffffffffffc000f,
1898  0xfffffffffff80000, 0xfffffffffff8001f,
1899  0xfffffffffff00000, 0xfffffffffff0003f,
1900  0xffffffffffe00000, 0xffffffffffe0007f,
1901  0xffffffffffc00000, 0xffffffffffc000ff,
1902  0xffffffffff800000, 0xffffffffff8001ff,
1903  0xffffffffff000000, 0xffffffffff0003ff,
1904  0xfffffffffe000000, 0xfffffffffe0007ff,
1905  0xfffffffffc000000, 0xfffffffffc000fff,
1906  0xfffffffff8000000, 0xfffffffff8001fff,
1907  0xfffffffff0000000, 0xfffffffff0003fff,
1908  0xffffffffe0000000, 0xffffffffe0007fff,
1909  0xffffffffc0000000, 0xffffffffc000ffff,
1910  0xffffffff80000000, 0xffffffff8001ffff,
1911  0xffffffff00000000, 0xffffffff0003ffff,
1912  0xfffffffe00000000, 0xfffffffe0007ffff,
1913  0xfffffffc00000000, 0xfffffffc000fffff,
1914  0xfffffff800000000, 0xfffffff8001fffff,
1915  0xfffffff000000000, 0xfffffff0003fffff,
1916  0xffffffe000000000, 0xffffffe0007fffff,
1917  0xffffffc000000000, 0xffffffc000ffffff,
1918  0xffffff8000000000, 0xffffff8001ffffff,
1919  0xffffff0000000000, 0xffffff0003ffffff,
1920  0xfffffe0000000000, 0xfffffe0007ffffff,
1921  0xfffffc0000000000, 0xfffffc000fffffff,
1922  0xfffff80000000000, 0xfffff8001fffffff,
1923  0xfffff00000000000, 0xfffff0003fffffff,
1924  0xffffe00000000000, 0xffffe0007fffffff,
1925  0xffffc00000000000, 0xffffc000ffffffff,
1926  0xffff800000000000, 0xffff8001ffffffff,
1927  0xffff000000000000, 0xffff0003ffffffff,
1928  0xfffe000000000000, 0xfffe0007ffffffff,
1929  0xfffc000000000000, 0xfffc000fffffffff,
1930  0xfff8000000000000, 0xfff8001fffffffff,
1931  0xfff0000000000000, 0xfff0003fffffffff,
1932  0xffe0000000000000, 0xffe0007fffffffff,
1933  0xffc0000000000000, 0xffc000ffffffffff,
1934  0xff80000000000000, 0xff8001ffffffffff,
1935  0xff00000000000000, 0xff0003ffffffffff,
1936  0xfe00000000000000, 0xfe0007ffffffffff,
1937  0xfc00000000000000, 0xfc000fffffffffff,
1938  0xf800000000000000, 0xf8001fffffffffff,
1939  0xf000000000000000, 0xf0003fffffffffff,
1940  0xe000000000000000, 0xe0007fffffffffff,
1941  0xc000000000000000, 0xc000ffffffffffff,
1942  0x8000000000000000, 0x8001ffffffffffff,
1943  0x0000000000000000, 0x0003ffffffffffff,
1944  0x0000000000000000, 0x0007ffffffffffff,
1945  0x0000000000000000, 0x000fffffffffffff,
1946  0x0000000000000000, 0x001fffffffffffff,
1947  0x0000000000000000, 0x003fffffffffffff,
1948  0x0000000000000000, 0x007fffffffffffff,
1949  0x0000000000000000, 0x00ffffffffffffff,
1950  0x0000000000000000, 0x01ffffffffffffff,
1951  0x0000000000000000, 0x03ffffffffffffff,
1952  0x0000000000000000, 0x07ffffffffffffff,
1953  0x0000000000000000, 0x0fffffffffffffff,
1954  0x0000000000000000, 0x1fffffffffffffff,
1955  0x0000000000000000, 0x3fffffffffffffff,
1956  0x0000000000000000, 0x7fffffffffffffff,
1957  0x0000000000000000, 0xffffffffffffffff,
1958  0xffffffffffff8001, 0xffffffffffff8002,
1959  0xffffffffffff0003, 0xffffffffffff0004,
1960  0xfffffffffffe0007, 0xfffffffffffe0008,
1961  0xfffffffffffc000f, 0xfffffffffffc0010,
1962  0xfffffffffff8001f, 0xfffffffffff80020,
1963  0xfffffffffff0003f, 0xfffffffffff00040,
1964  0xffffffffffe0007f, 0xffffffffffe00080,
1965  0xffffffffffc000ff, 0xffffffffffc00100,
1966  0xffffffffff8001ff, 0xffffffffff800200,
1967  0xffffffffff0003ff, 0xffffffffff000400,
1968  0xfffffffffe0007ff, 0xfffffffffe000800,
1969  0xfffffffffc000fff, 0xfffffffffc001000,
1970  0xfffffffff8001fff, 0xfffffffff8002000,
1971  0xfffffffff0003fff, 0xfffffffff0004000,
1972  0xffffffffe0007fff, 0xffffffffe0008000,
1973  0xffffffffc000ffff, 0xffffffffc0010000,
1974  0xffffffff8001ffff, 0xffffffff80020000,
1975  0xffffffff0003ffff, 0xffffffff00040000,
1976  0xfffffffe0007ffff, 0xfffffffe00080000,
1977  0xfffffffc000fffff, 0xfffffffc00100000,
1978  0xfffffff8001fffff, 0xfffffff800200000,
1979  0xfffffff0003fffff, 0xfffffff000400000,
1980  0xffffffe0007fffff, 0xffffffe000800000,
1981  0xffffffc000ffffff, 0xffffffc001000000,
1982  0xffffff8001ffffff, 0xffffff8002000000,
1983  0xffffff0003ffffff, 0xffffff0004000000,
1984  0xfffffe0007ffffff, 0xfffffe0008000000,
1985  0xfffffc000fffffff, 0xfffffc0010000000,
1986  0xfffff8001fffffff, 0xfffff80020000000,
1987  0xfffff0003fffffff, 0xfffff00040000000,
1988  0xffffe0007fffffff, 0xffffe00080000000,
1989  0xffffc000ffffffff, 0xffffc00100000000,
1990  0xffff8001ffffffff, 0xffff800200000000,
1991  0xffff0003ffffffff, 0xffff000400000000,
1992  0xfffe0007ffffffff, 0xfffe000800000000,
1993  0xfffc000fffffffff, 0xfffc001000000000,
1994  0xfff8001fffffffff, 0xfff8002000000000,
1995  0xfff0003fffffffff, 0xfff0004000000000,
1996  0xffe0007fffffffff, 0xffe0008000000000,
1997  0xffc000ffffffffff, 0xffc0010000000000,
1998  0xff8001ffffffffff, 0xff80020000000000,
1999  0xff0003ffffffffff, 0xff00040000000000,
2000  0xfe0007ffffffffff, 0xfe00080000000000,
2001  0xfc000fffffffffff, 0xfc00100000000000,
2002  0xf8001fffffffffff, 0xf800200000000000,
2003  0xf0003fffffffffff, 0xf000400000000000,
2004  0xe0007fffffffffff, 0xe000800000000000,
2005  0xc000ffffffffffff, 0xc001000000000000,
2006  0x8001ffffffffffff, 0x8002000000000000,
2007  0x0003ffffffffffff, 0x0004000000000000,
2008  0x0007ffffffffffff, 0x0008000000000000,
2009  0x000fffffffffffff, 0x0010000000000000,
2010  0x001fffffffffffff, 0x0020000000000000,
2011  0x003fffffffffffff, 0x0040000000000000,
2012  0x007fffffffffffff, 0x0080000000000000,
2013  0x00ffffffffffffff, 0x0100000000000000,
2014  0x01ffffffffffffff, 0x0200000000000000,
2015  0x03ffffffffffffff, 0x0400000000000000,
2016  0x07ffffffffffffff, 0x0800000000000000,
2017  0x0fffffffffffffff, 0x1000000000000000,
2018  0x1fffffffffffffff, 0x2000000000000000,
2019  0x3fffffffffffffff, 0x4000000000000000,
2020  0x7fffffffffffffff, 0x8000000000000000,
2021  0xffffffffffffffff, 0x0000000000000000,
2022  0xffffffffffff8002, 0xffffffffffff8003,
2023  0xffffffffffff0004, 0xffffffffffff0007,
2024  0xfffffffffffe0008, 0xfffffffffffe000f,
2025  0xfffffffffffc0010, 0xfffffffffffc001f,
2026  0xfffffffffff80020, 0xfffffffffff8003f,
2027  0xfffffffffff00040, 0xfffffffffff0007f,
2028  0xffffffffffe00080, 0xffffffffffe000ff,
2029  0xffffffffffc00100, 0xffffffffffc001ff,
2030  0xffffffffff800200, 0xffffffffff8003ff,
2031  0xffffffffff000400, 0xffffffffff0007ff,
2032  0xfffffffffe000800, 0xfffffffffe000fff,
2033  0xfffffffffc001000, 0xfffffffffc001fff,
2034  0xfffffffff8002000, 0xfffffffff8003fff,
2035  0xfffffffff0004000, 0xfffffffff0007fff,
2036  0xffffffffe0008000, 0xffffffffe000ffff,
2037  0xffffffffc0010000, 0xffffffffc001ffff,
2038  0xffffffff80020000, 0xffffffff8003ffff,
2039  0xffffffff00040000, 0xffffffff0007ffff,
2040  0xfffffffe00080000, 0xfffffffe000fffff,
2041  0xfffffffc00100000, 0xfffffffc001fffff,
2042  0xfffffff800200000, 0xfffffff8003fffff,
2043  0xfffffff000400000, 0xfffffff0007fffff,
2044  0xffffffe000800000, 0xffffffe000ffffff,
2045  0xffffffc001000000, 0xffffffc001ffffff,
2046  0xffffff8002000000, 0xffffff8003ffffff,
2047  0xffffff0004000000, 0xffffff0007ffffff,
2048  0xfffffe0008000000, 0xfffffe000fffffff,
2049  0xfffffc0010000000, 0xfffffc001fffffff,
2050  0xfffff80020000000, 0xfffff8003fffffff,
2051  0xfffff00040000000, 0xfffff0007fffffff,
2052  0xffffe00080000000, 0xffffe000ffffffff,
2053  0xffffc00100000000, 0xffffc001ffffffff,
2054  0xffff800200000000, 0xffff8003ffffffff,
2055  0xffff000400000000, 0xffff0007ffffffff,
2056  0xfffe000800000000, 0xfffe000fffffffff,
2057  0xfffc001000000000, 0xfffc001fffffffff,
2058  0xfff8002000000000, 0xfff8003fffffffff,
2059  0xfff0004000000000, 0xfff0007fffffffff,
2060  0xffe0008000000000, 0xffe000ffffffffff,
2061  0xffc0010000000000, 0xffc001ffffffffff,
2062  0xff80020000000000, 0xff8003ffffffffff,
2063  0xff00040000000000, 0xff0007ffffffffff,
2064  0xfe00080000000000, 0xfe000fffffffffff,
2065  0xfc00100000000000, 0xfc001fffffffffff,
2066  0xf800200000000000, 0xf8003fffffffffff,
2067  0xf000400000000000, 0xf0007fffffffffff,
2068  0xe000800000000000, 0xe000ffffffffffff,
2069  0xc001000000000000, 0xc001ffffffffffff,
2070  0x8002000000000000, 0x8003ffffffffffff,
2071  0x0004000000000000, 0x0007ffffffffffff,
2072  0x0008000000000000, 0x000fffffffffffff,
2073  0x0010000000000000, 0x001fffffffffffff,
2074  0x0020000000000000, 0x003fffffffffffff,
2075  0x0040000000000000, 0x007fffffffffffff,
2076  0x0080000000000000, 0x00ffffffffffffff,
2077  0x0100000000000000, 0x01ffffffffffffff,
2078  0x0200000000000000, 0x03ffffffffffffff,
2079  0x0400000000000000, 0x07ffffffffffffff,
2080  0x0800000000000000, 0x0fffffffffffffff,
2081  0x1000000000000000, 0x1fffffffffffffff,
2082  0x2000000000000000, 0x3fffffffffffffff,
2083  0x4000000000000000, 0x7fffffffffffffff,
2084  0x8000000000000000, 0xffffffffffffffff,
2085  0x0000000000000000, 0xffffffffffffffff,
2086  0xffffffffffff8003, 0xffffffffffffff80,
2087  0xffffffffffff0007, 0xffffffffffffff00,
2088  0xfffffffffffe000f, 0xfffffffffffffe00,
2089  0xfffffffffffc001f, 0xfffffffffffffc00,
2090  0xfffffffffff8003f, 0xfffffffffffff800,
2091  0xfffffffffff0007f, 0xfffffffffffff000,
2092  0xffffffffffe000ff, 0xffffffffffffe000,
2093  0xffffffffffc001ff, 0xffffffffffffc000,
2094  0xffffffffff8003ff, 0xffffffffffff8000,
2095  0xffffffffff0007ff, 0xffffffffffff0000,
2096  0xfffffffffe000fff, 0xfffffffffffe0000,
2097  0xfffffffffc001fff, 0xfffffffffffc0000,
2098  0xfffffffff8003fff, 0xfffffffffff80000,
2099  0xfffffffff0007fff, 0xfffffffffff00000,
2100  0xffffffffe000ffff, 0xffffffffffe00000,
2101  0xffffffffc001ffff, 0xffffffffffc00000,
2102  0xffffffff8003ffff, 0xffffffffff800000,
2103  0xffffffff0007ffff, 0xffffffffff000000,
2104  0xfffffffe000fffff, 0xfffffffffe000000,
2105  0xfffffffc001fffff, 0xfffffffffc000000,
2106  0xfffffff8003fffff, 0xfffffffff8000000,
2107  0xfffffff0007fffff, 0xfffffffff0000000,
2108  0xffffffe000ffffff, 0xffffffffe0000000,
2109  0xffffffc001ffffff, 0xffffffffc0000000,
2110  0xffffff8003ffffff, 0xffffffff80000000,
2111  0xffffff0007ffffff, 0xffffffff00000000,
2112  0xfffffe000fffffff, 0xfffffffe00000000,
2113  0xfffffc001fffffff, 0xfffffffc00000000,
2114  0xfffff8003fffffff, 0xfffffff800000000,
2115  0xfffff0007fffffff, 0xfffffff000000000,
2116  0xffffe000ffffffff, 0xffffffe000000000,
2117  0xffffc001ffffffff, 0xffffffc000000000,
2118  0xffff8003ffffffff, 0xffffff8000000000,
2119  0xffff0007ffffffff, 0xffffff0000000000,
2120  0xfffe000fffffffff, 0xfffffe0000000000,
2121  0xfffc001fffffffff, 0xfffffc0000000000,
2122  0xfff8003fffffffff, 0xfffff80000000000,
2123  0xfff0007fffffffff, 0xfffff00000000000,
2124  0xffe000ffffffffff, 0xffffe00000000000,
2125  0xffc001ffffffffff, 0xffffc00000000000,
2126  0xff8003ffffffffff, 0xffff800000000000,
2127  0xff0007ffffffffff, 0xffff000000000000,
2128  0xfe000fffffffffff, 0xfffe000000000000,
2129  0xfc001fffffffffff, 0xfffc000000000000,
2130  0xf8003fffffffffff, 0xfff8000000000000,
2131  0xf0007fffffffffff, 0xfff0000000000000,
2132  0xe000ffffffffffff, 0xffe0000000000000,
2133  0xc001ffffffffffff, 0xffc0000000000000,
2134  0x8003ffffffffffff, 0xff80000000000000,
2135  0x0007ffffffffffff, 0xff00000000000000,
2136  0x000fffffffffffff, 0xfe00000000000000,
2137  0x001fffffffffffff, 0xfc00000000000000,
2138  0x003fffffffffffff, 0xf800000000000000,
2139  0x007fffffffffffff, 0xf000000000000000,
2140  0x00ffffffffffffff, 0xe000000000000000,
2141  0x01ffffffffffffff, 0xc000000000000000,
2142  0x03ffffffffffffff, 0x8000000000000000,
2143  0x07ffffffffffffff, 0x0000000000000000,
2144  0x0fffffffffffffff, 0x0000000000000000,
2145  0x1fffffffffffffff, 0x0000000000000000,
2146  0x3fffffffffffffff, 0x0000000000000000,
2147  0x7fffffffffffffff, 0x0000000000000000,
2148  0xffffffffffffffff, 0x0000000000000000,
2149  0xffffffffffffffff, 0x0000000000000000,
2150  0xffffffffffffff80, 0xffffffffffffff81,
2151  0xffffffffffffff00, 0xffffffffffffff03,
2152  0xfffffffffffffe00, 0xfffffffffffffe07,
2153  0xfffffffffffffc00, 0xfffffffffffffc0f,
2154  0xfffffffffffff800, 0xfffffffffffff81f,
2155  0xfffffffffffff000, 0xfffffffffffff03f,
2156  0xffffffffffffe000, 0xffffffffffffe07f,
2157  0xffffffffffffc000, 0xffffffffffffc0ff,
2158  0xffffffffffff8000, 0xffffffffffff81ff,
2159  0xffffffffffff0000, 0xffffffffffff03ff,
2160  0xfffffffffffe0000, 0xfffffffffffe07ff,
2161  0xfffffffffffc0000, 0xfffffffffffc0fff,
2162  0xfffffffffff80000, 0xfffffffffff81fff,
2163  0xfffffffffff00000, 0xfffffffffff03fff,
2164  0xffffffffffe00000, 0xffffffffffe07fff,
2165  0xffffffffffc00000, 0xffffffffffc0ffff,
2166  0xffffffffff800000, 0xffffffffff81ffff,
2167  0xffffffffff000000, 0xffffffffff03ffff,
2168  0xfffffffffe000000, 0xfffffffffe07ffff,
2169  0xfffffffffc000000, 0xfffffffffc0fffff,
2170  0xfffffffff8000000, 0xfffffffff81fffff,
2171  0xfffffffff0000000, 0xfffffffff03fffff,
2172  0xffffffffe0000000, 0xffffffffe07fffff,
2173  0xffffffffc0000000, 0xffffffffc0ffffff,
2174  0xffffffff80000000, 0xffffffff81ffffff,
2175  0xffffffff00000000, 0xffffffff03ffffff,
2176  0xfffffffe00000000, 0xfffffffe07ffffff,
2177  0xfffffffc00000000, 0xfffffffc0fffffff,
2178  0xfffffff800000000, 0xfffffff81fffffff,
2179  0xfffffff000000000, 0xfffffff03fffffff,
2180  0xffffffe000000000, 0xffffffe07fffffff,
2181  0xffffffc000000000, 0xffffffc0ffffffff,
2182  0xffffff8000000000, 0xffffff81ffffffff,
2183  0xffffff0000000000, 0xffffff03ffffffff,
2184  0xfffffe0000000000, 0xfffffe07ffffffff,
2185  0xfffffc0000000000, 0xfffffc0fffffffff,
2186  0xfffff80000000000, 0xfffff81fffffffff,
2187  0xfffff00000000000, 0xfffff03fffffffff,
2188  0xffffe00000000000, 0xffffe07fffffffff,
2189  0xffffc00000000000, 0xffffc0ffffffffff,
2190  0xffff800000000000, 0xffff81ffffffffff,
2191  0xffff000000000000, 0xffff03ffffffffff,
2192  0xfffe000000000000, 0xfffe07ffffffffff,
2193  0xfffc000000000000, 0xfffc0fffffffffff,
2194  0xfff8000000000000, 0xfff81fffffffffff,
2195  0xfff0000000000000, 0xfff03fffffffffff,
2196  0xffe0000000000000, 0xffe07fffffffffff,
2197  0xffc0000000000000, 0xffc0ffffffffffff,
2198  0xff80000000000000, 0xff81ffffffffffff,
2199  0xff00000000000000, 0xff03ffffffffffff,
2200  0xfe00000000000000, 0xfe07ffffffffffff,
2201  0xfc00000000000000, 0xfc0fffffffffffff,
2202  0xf800000000000000, 0xf81fffffffffffff,
2203  0xf000000000000000, 0xf03fffffffffffff,
2204  0xe000000000000000, 0xe07fffffffffffff,
2205  0xc000000000000000, 0xc0ffffffffffffff,
2206  0x8000000000000000, 0x81ffffffffffffff,
2207  0x0000000000000000, 0x03ffffffffffffff,
2208  0x0000000000000000, 0x07ffffffffffffff,
2209  0x0000000000000000, 0x0fffffffffffffff,
2210  0x0000000000000000, 0x1fffffffffffffff,
2211  0x0000000000000000, 0x3fffffffffffffff,
2212  0x0000000000000000, 0x7fffffffffffffff,
2213  0x0000000000000000, 0xffffffffffffffff,
2214  0xffffffffffffff81, 0xffffffffffffff82,
2215  0xffffffffffffff03, 0xffffffffffffff04,
2216  0xfffffffffffffe07, 0xfffffffffffffe08,
2217  0xfffffffffffffc0f, 0xfffffffffffffc10,
2218  0xfffffffffffff81f, 0xfffffffffffff820,
2219  0xfffffffffffff03f, 0xfffffffffffff040,
2220  0xffffffffffffe07f, 0xffffffffffffe080,
2221  0xffffffffffffc0ff, 0xffffffffffffc100,
2222  0xffffffffffff81ff, 0xffffffffffff8200,
2223  0xffffffffffff03ff, 0xffffffffffff0400,
2224  0xfffffffffffe07ff, 0xfffffffffffe0800,
2225  0xfffffffffffc0fff, 0xfffffffffffc1000,
2226  0xfffffffffff81fff, 0xfffffffffff82000,
2227  0xfffffffffff03fff, 0xfffffffffff04000,
2228  0xffffffffffe07fff, 0xffffffffffe08000,
2229  0xffffffffffc0ffff, 0xffffffffffc10000,
2230  0xffffffffff81ffff, 0xffffffffff820000,
2231  0xffffffffff03ffff, 0xffffffffff040000,
2232  0xfffffffffe07ffff, 0xfffffffffe080000,
2233  0xfffffffffc0fffff, 0xfffffffffc100000,
2234  0xfffffffff81fffff, 0xfffffffff8200000,
2235  0xfffffffff03fffff, 0xfffffffff0400000,
2236  0xffffffffe07fffff, 0xffffffffe0800000,
2237  0xffffffffc0ffffff, 0xffffffffc1000000,
2238  0xffffffff81ffffff, 0xffffffff82000000,
2239  0xffffffff03ffffff, 0xffffffff04000000,
2240  0xfffffffe07ffffff, 0xfffffffe08000000,
2241  0xfffffffc0fffffff, 0xfffffffc10000000,
2242  0xfffffff81fffffff, 0xfffffff820000000,
2243  0xfffffff03fffffff, 0xfffffff040000000,
2244  0xffffffe07fffffff, 0xffffffe080000000,
2245  0xffffffc0ffffffff, 0xffffffc100000000,
2246  0xffffff81ffffffff, 0xffffff8200000000,
2247  0xffffff03ffffffff, 0xffffff0400000000,
2248  0xfffffe07ffffffff, 0xfffffe0800000000,
2249  0xfffffc0fffffffff, 0xfffffc1000000000,
2250  0xfffff81fffffffff, 0xfffff82000000000,
2251  0xfffff03fffffffff, 0xfffff04000000000,
2252  0xffffe07fffffffff, 0xffffe08000000000,
2253  0xffffc0ffffffffff, 0xffffc10000000000,
2254  0xffff81ffffffffff, 0xffff820000000000,
2255  0xffff03ffffffffff, 0xffff040000000000,
2256  0xfffe07ffffffffff, 0xfffe080000000000,
2257  0xfffc0fffffffffff, 0xfffc100000000000,
2258  0xfff81fffffffffff, 0xfff8200000000000,
2259  0xfff03fffffffffff, 0xfff0400000000000,
2260  0xffe07fffffffffff, 0xffe0800000000000,
2261  0xffc0ffffffffffff, 0xffc1000000000000,
2262  0xff81ffffffffffff, 0xff82000000000000,
2263  0xff03ffffffffffff, 0xff04000000000000,
2264  0xfe07ffffffffffff, 0xfe08000000000000,
2265  0xfc0fffffffffffff, 0xfc10000000000000,
2266  0xf81fffffffffffff, 0xf820000000000000,
2267  0xf03fffffffffffff, 0xf040000000000000,
2268  0xe07fffffffffffff, 0xe080000000000000,
2269  0xc0ffffffffffffff, 0xc100000000000000,
2270  0x81ffffffffffffff, 0x8200000000000000,
2271  0x03ffffffffffffff, 0x0400000000000000,
2272  0x07ffffffffffffff, 0x0800000000000000,
2273  0x0fffffffffffffff, 0x1000000000000000,
2274  0x1fffffffffffffff, 0x2000000000000000,
2275  0x3fffffffffffffff, 0x4000000000000000,
2276  0x7fffffffffffffff, 0x8000000000000000,
2277  0xffffffffffffffff, 0x0000000000000000,
2278  0xffffffffffffff82, 0xffffffffffffff83,
2279  0xffffffffffffff04, 0xffffffffffffff07,
2280  0xfffffffffffffe08, 0xfffffffffffffe0f,
2281  0xfffffffffffffc10, 0xfffffffffffffc1f,
2282  0xfffffffffffff820, 0xfffffffffffff83f,
2283  0xfffffffffffff040, 0xfffffffffffff07f,
2284  0xffffffffffffe080, 0xffffffffffffe0ff,
2285  0xffffffffffffc100, 0xffffffffffffc1ff,
2286  0xffffffffffff8200, 0xffffffffffff83ff,
2287  0xffffffffffff0400, 0xffffffffffff07ff,
2288  0xfffffffffffe0800, 0xfffffffffffe0fff,
2289  0xfffffffffffc1000, 0xfffffffffffc1fff,
2290  0xfffffffffff82000, 0xfffffffffff83fff,
2291  0xfffffffffff04000, 0xfffffffffff07fff,
2292  0xffffffffffe08000, 0xffffffffffe0ffff,
2293  0xffffffffffc10000, 0xffffffffffc1ffff,
2294  0xffffffffff820000, 0xffffffffff83ffff,
2295  0xffffffffff040000, 0xffffffffff07ffff,
2296  0xfffffffffe080000, 0xfffffffffe0fffff,
2297  0xfffffffffc100000, 0xfffffffffc1fffff,
2298  0xfffffffff8200000, 0xfffffffff83fffff,
2299  0xfffffffff0400000, 0xfffffffff07fffff,
2300  0xffffffffe0800000, 0xffffffffe0ffffff,
2301  0xffffffffc1000000, 0xffffffffc1ffffff,
2302  0xffffffff82000000, 0xffffffff83ffffff,
2303  0xffffffff04000000, 0xffffffff07ffffff,
2304  0xfffffffe08000000, 0xfffffffe0fffffff,
2305  0xfffffffc10000000, 0xfffffffc1fffffff,
2306  0xfffffff820000000, 0xfffffff83fffffff,
2307  0xfffffff040000000, 0xfffffff07fffffff,
2308  0xffffffe080000000, 0xffffffe0ffffffff,
2309  0xffffffc100000000, 0xffffffc1ffffffff,
2310  0xffffff8200000000, 0xffffff83ffffffff,
2311  0xffffff0400000000, 0xffffff07ffffffff,
2312  0xfffffe0800000000, 0xfffffe0fffffffff,
2313  0xfffffc1000000000, 0xfffffc1fffffffff,
2314  0xfffff82000000000, 0xfffff83fffffffff,
2315  0xfffff04000000000, 0xfffff07fffffffff,
2316  0xffffe08000000000, 0xffffe0ffffffffff,
2317  0xffffc10000000000, 0xffffc1ffffffffff,
2318  0xffff820000000000, 0xffff83ffffffffff,
2319  0xffff040000000000, 0xffff07ffffffffff,
2320  0xfffe080000000000, 0xfffe0fffffffffff,
2321  0xfffc100000000000, 0xfffc1fffffffffff,
2322  0xfff8200000000000, 0xfff83fffffffffff,
2323  0xfff0400000000000, 0xfff07fffffffffff,
2324  0xffe0800000000000, 0xffe0ffffffffffff,
2325  0xffc1000000000000, 0xffc1ffffffffffff,
2326  0xff82000000000000, 0xff83ffffffffffff,
2327  0xff04000000000000, 0xff07ffffffffffff,
2328  0xfe08000000000000, 0xfe0fffffffffffff,
2329  0xfc10000000000000, 0xfc1fffffffffffff,
2330  0xf820000000000000, 0xf83fffffffffffff,
2331  0xf040000000000000, 0xf07fffffffffffff,
2332  0xe080000000000000, 0xe0ffffffffffffff,
2333  0xc100000000000000, 0xc1ffffffffffffff,
2334  0x8200000000000000, 0x83ffffffffffffff,
2335  0x0400000000000000, 0x07ffffffffffffff,
2336  0x0800000000000000, 0x0fffffffffffffff,
2337  0x1000000000000000, 0x1fffffffffffffff,
2338  0x2000000000000000, 0x3fffffffffffffff,
2339  0x4000000000000000, 0x7fffffffffffffff,
2340  0x8000000000000000, 0xffffffffffffffff,
2341  0x0000000000000000, 0xffffffffffffffff,
2342  0xffffffffffffff83, 0xffffffffffffffc0,
2343  0xffffffffffffff07, 0xffffffffffffff80,
2344  0xfffffffffffffe0f, 0xffffffffffffff00,
2345  0xfffffffffffffc1f, 0xfffffffffffffe00,
2346  0xfffffffffffff83f, 0xfffffffffffffc00,
2347  0xfffffffffffff07f, 0xfffffffffffff800,
2348  0xffffffffffffe0ff, 0xfffffffffffff000,
2349  0xffffffffffffc1ff, 0xffffffffffffe000,
2350  0xffffffffffff83ff, 0xffffffffffffc000,
2351  0xffffffffffff07ff, 0xffffffffffff8000,
2352  0xfffffffffffe0fff, 0xffffffffffff0000,
2353  0xfffffffffffc1fff, 0xfffffffffffe0000,
2354  0xfffffffffff83fff, 0xfffffffffffc0000,
2355  0xfffffffffff07fff, 0xfffffffffff80000,
2356  0xffffffffffe0ffff, 0xfffffffffff00000,
2357  0xffffffffffc1ffff, 0xffffffffffe00000,
2358  0xffffffffff83ffff, 0xffffffffffc00000,
2359  0xffffffffff07ffff, 0xffffffffff800000,
2360  0xfffffffffe0fffff, 0xffffffffff000000,
2361  0xfffffffffc1fffff, 0xfffffffffe000000,
2362  0xfffffffff83fffff, 0xfffffffffc000000,
2363  0xfffffffff07fffff, 0xfffffffff8000000,
2364  0xffffffffe0ffffff, 0xfffffffff0000000,
2365  0xffffffffc1ffffff, 0xffffffffe0000000,
2366  0xffffffff83ffffff, 0xffffffffc0000000,
2367  0xffffffff07ffffff, 0xffffffff80000000,
2368  0xfffffffe0fffffff, 0xffffffff00000000,
2369  0xfffffffc1fffffff, 0xfffffffe00000000,
2370  0xfffffff83fffffff, 0xfffffffc00000000,
2371  0xfffffff07fffffff, 0xfffffff800000000,
2372  0xffffffe0ffffffff, 0xfffffff000000000,
2373  0xffffffc1ffffffff, 0xffffffe000000000,
2374  0xffffff83ffffffff, 0xffffffc000000000,
2375  0xffffff07ffffffff, 0xffffff8000000000,
2376  0xfffffe0fffffffff, 0xffffff0000000000,
2377  0xfffffc1fffffffff, 0xfffffe0000000000,
2378  0xfffff83fffffffff, 0xfffffc0000000000,
2379  0xfffff07fffffffff, 0xfffff80000000000,
2380  0xffffe0ffffffffff, 0xfffff00000000000,
2381  0xffffc1ffffffffff, 0xffffe00000000000,
2382  0xffff83ffffffffff, 0xffffc00000000000,
2383  0xffff07ffffffffff, 0xffff800000000000,
2384  0xfffe0fffffffffff, 0xffff000000000000,
2385  0xfffc1fffffffffff, 0xfffe000000000000,
2386  0xfff83fffffffffff, 0xfffc000000000000,
2387  0xfff07fffffffffff, 0xfff8000000000000,
2388  0xffe0ffffffffffff, 0xfff0000000000000,
2389  0xffc1ffffffffffff, 0xffe0000000000000,
2390  0xff83ffffffffffff, 0xffc0000000000000,
2391  0xff07ffffffffffff, 0xff80000000000000,
2392  0xfe0fffffffffffff, 0xff00000000000000,
2393  0xfc1fffffffffffff, 0xfe00000000000000,
2394  0xf83fffffffffffff, 0xfc00000000000000,
2395  0xf07fffffffffffff, 0xf800000000000000,
2396  0xe0ffffffffffffff, 0xf000000000000000,
2397  0xc1ffffffffffffff, 0xe000000000000000,
2398  0x83ffffffffffffff, 0xc000000000000000,
2399  0x07ffffffffffffff, 0x8000000000000000,
2400  0x0fffffffffffffff, 0x0000000000000000,
2401  0x1fffffffffffffff, 0x0000000000000000,
2402  0x3fffffffffffffff, 0x0000000000000000,
2403  0x7fffffffffffffff, 0x0000000000000000,
2404  0xffffffffffffffff, 0x0000000000000000,
2405  0xffffffffffffffff, 0x0000000000000000,
2406  0xffffffffffffffc0, 0xfffffffffffffffd,
2407  0xffffffffffffff80, 0xfffffffffffffffb,
2408  0xffffffffffffff00, 0xfffffffffffffff7,
2409  0xfffffffffffffe00, 0xffffffffffffffef,
2410  0xfffffffffffffc00, 0xffffffffffffffdf,
2411  0xfffffffffffff800, 0xffffffffffffffbf,
2412  0xfffffffffffff000, 0xffffffffffffff7f,
2413  0xffffffffffffe000, 0xfffffffffffffeff,
2414  0xffffffffffffc000, 0xfffffffffffffdff,
2415  0xffffffffffff8000, 0xfffffffffffffbff,
2416  0xffffffffffff0000, 0xfffffffffffff7ff,
2417  0xfffffffffffe0000, 0xffffffffffffefff,
2418  0xfffffffffffc0000, 0xffffffffffffdfff,
2419  0xfffffffffff80000, 0xffffffffffffbfff,
2420  0xfffffffffff00000, 0xffffffffffff7fff,
2421  0xffffffffffe00000, 0xfffffffffffeffff,
2422  0xffffffffffc00000, 0xfffffffffffdffff,
2423  0xffffffffff800000, 0xfffffffffffbffff,
2424  0xffffffffff000000, 0xfffffffffff7ffff,
2425  0xfffffffffe000000, 0xffffffffffefffff,
2426  0xfffffffffc000000, 0xffffffffffdfffff,
2427  0xfffffffff8000000, 0xffffffffffbfffff,
2428  0xfffffffff0000000, 0xffffffffff7fffff,
2429  0xffffffffe0000000, 0xfffffffffeffffff,
2430  0xffffffffc0000000, 0xfffffffffdffffff,
2431  0xffffffff80000000, 0xfffffffffbffffff,
2432  0xffffffff00000000, 0xfffffffff7ffffff,
2433  0xfffffffe00000000, 0xffffffffefffffff,
2434  0xfffffffc00000000, 0xffffffffdfffffff,
2435  0xfffffff800000000, 0xffffffffbfffffff,
2436  0xfffffff000000000, 0xffffffff7fffffff,
2437  0xffffffe000000000, 0xfffffffeffffffff,
2438  0xffffffc000000000, 0xfffffffdffffffff,
2439  0xffffff8000000000, 0xfffffffbffffffff,
2440  0xffffff0000000000, 0xfffffff7ffffffff,
2441  0xfffffe0000000000, 0xffffffefffffffff,
2442  0xfffffc0000000000, 0xffffffdfffffffff,
2443  0xfffff80000000000, 0xffffffbfffffffff,
2444  0xfffff00000000000, 0xffffff7fffffffff,
2445  0xffffe00000000000, 0xfffffeffffffffff,
2446  0xffffc00000000000, 0xfffffdffffffffff,
2447  0xffff800000000000, 0xfffffbffffffffff,
2448  0xffff000000000000, 0xfffff7ffffffffff,
2449  0xfffe000000000000, 0xffffefffffffffff,
2450  0xfffc000000000000, 0xffffdfffffffffff,
2451  0xfff8000000000000, 0xffffbfffffffffff,
2452  0xfff0000000000000, 0xffff7fffffffffff,
2453  0xffe0000000000000, 0xfffeffffffffffff,
2454  0xffc0000000000000, 0xfffdffffffffffff,
2455  0xff80000000000000, 0xfffbffffffffffff,
2456  0xff00000000000000, 0xfff7ffffffffffff,
2457  0xfe00000000000000, 0xffefffffffffffff,
2458  0xfc00000000000000, 0xffdfffffffffffff,
2459  0xf800000000000000, 0xffbfffffffffffff,
2460  0xf000000000000000, 0xff7fffffffffffff,
2461  0xe000000000000000, 0xfeffffffffffffff,
2462  0xc000000000000000, 0xfdffffffffffffff,
2463  0x8000000000000000, 0xfbffffffffffffff,
2464  0x0000000000000000, 0xf7ffffffffffffff,
2465  0x0000000000000000, 0xefffffffffffffff,
2466  0x0000000000000000, 0xdfffffffffffffff,
2467  0x0000000000000000, 0xbfffffffffffffff,
2468  0x0000000000000000, 0x7fffffffffffffff,
2469  0x0000000000000000, 0xffffffffffffffff,
2470  0xfffffffffffffffd, 0xfffffffffffffffe,
2471  0xfffffffffffffffb, 0xfffffffffffffffc,
2472  0xfffffffffffffff7, 0xfffffffffffffff8,
2473  0xffffffffffffffef, 0xfffffffffffffff0,
2474  0xffffffffffffffdf, 0xffffffffffffffe0,
2475  0xffffffffffffffbf, 0xffffffffffffffc0,
2476  0xffffffffffffff7f, 0xffffffffffffff80,
2477  0xfffffffffffffeff, 0xffffffffffffff00,
2478  0xfffffffffffffdff, 0xfffffffffffffe00,
2479  0xfffffffffffffbff, 0xfffffffffffffc00,
2480  0xfffffffffffff7ff, 0xfffffffffffff800,
2481  0xffffffffffffefff, 0xfffffffffffff000,
2482  0xffffffffffffdfff, 0xffffffffffffe000,
2483  0xffffffffffffbfff, 0xffffffffffffc000,
2484  0xffffffffffff7fff, 0xffffffffffff8000,
2485  0xfffffffffffeffff, 0xffffffffffff0000,
2486  0xfffffffffffdffff, 0xfffffffffffe0000,
2487  0xfffffffffffbffff, 0xfffffffffffc0000,
2488  0xfffffffffff7ffff, 0xfffffffffff80000,
2489  0xffffffffffefffff, 0xfffffffffff00000,
2490  0xffffffffffdfffff, 0xffffffffffe00000,
2491  0xffffffffffbfffff, 0xffffffffffc00000,
2492  0xffffffffff7fffff, 0xffffffffff800000,
2493  0xfffffffffeffffff, 0xffffffffff000000,
2494  0xfffffffffdffffff, 0xfffffffffe000000,
2495  0xfffffffffbffffff, 0xfffffffffc000000,
2496  0xfffffffff7ffffff, 0xfffffffff8000000,
2497  0xffffffffefffffff, 0xfffffffff0000000,
2498  0xffffffffdfffffff, 0xffffffffe0000000,
2499  0xffffffffbfffffff, 0xffffffffc0000000,
2500  0xffffffff7fffffff, 0xffffffff80000000,
2501  0xfffffffeffffffff, 0xffffffff00000000,
2502  0xfffffffdffffffff, 0xfffffffe00000000,
2503  0xfffffffbffffffff, 0xfffffffc00000000,
2504  0xfffffff7ffffffff, 0xfffffff800000000,
2505  0xffffffefffffffff, 0xfffffff000000000,
2506  0xffffffdfffffffff, 0xffffffe000000000,
2507  0xffffffbfffffffff, 0xffffffc000000000,
2508  0xffffff7fffffffff, 0xffffff8000000000,
2509  0xfffffeffffffffff, 0xffffff0000000000,
2510  0xfffffdffffffffff, 0xfffffe0000000000,
2511  0xfffffbffffffffff, 0xfffffc0000000000,
2512  0xfffff7ffffffffff, 0xfffff80000000000,
2513  0xffffefffffffffff, 0xfffff00000000000,
2514  0xffffdfffffffffff, 0xffffe00000000000,
2515  0xffffbfffffffffff, 0xffffc00000000000,
2516  0xffff7fffffffffff, 0xffff800000000000,
2517  0xfffeffffffffffff, 0xffff000000000000,
2518  0xfffdffffffffffff, 0xfffe000000000000,
2519  0xfffbffffffffffff, 0xfffc000000000000,
2520  0xfff7ffffffffffff, 0xfff8000000000000,
2521  0xffefffffffffffff, 0xfff0000000000000,
2522  0xffdfffffffffffff, 0xffe0000000000000,
2523  0xffbfffffffffffff, 0xffc0000000000000,
2524  0xff7fffffffffffff, 0xff80000000000000,
2525  0xfeffffffffffffff, 0xff00000000000000,
2526  0xfdffffffffffffff, 0xfe00000000000000,
2527  0xfbffffffffffffff, 0xfc00000000000000,
2528  0xf7ffffffffffffff, 0xf800000000000000,
2529  0xefffffffffffffff, 0xf000000000000000,
2530  0xdfffffffffffffff, 0xe000000000000000,
2531  0xbfffffffffffffff, 0xc000000000000000,
2532  0x7fffffffffffffff, 0x8000000000000000,
2533  0xffffffffffffffff, 0x0000000000000000,
2534  0xfffffffffffffffe, 0xffffffffffffffff,
2535  0xfffffffffffffffc, 0xffffffffffffffff,
2536  0xfffffffffffffff8, 0xffffffffffffffff,
2537  0xfffffffffffffff0, 0xffffffffffffffff,
2538  0xffffffffffffffe0, 0xffffffffffffffff,
2539  0xffffffffffffffc0, 0xffffffffffffffff,
2540  0xffffffffffffff80, 0xffffffffffffffff,
2541  0xffffffffffffff00, 0xffffffffffffffff,
2542  0xfffffffffffffe00, 0xffffffffffffffff,
2543  0xfffffffffffffc00, 0xffffffffffffffff,
2544  0xfffffffffffff800, 0xffffffffffffffff,
2545  0xfffffffffffff000, 0xffffffffffffffff,
2546  0xffffffffffffe000, 0xffffffffffffffff,
2547  0xffffffffffffc000, 0xffffffffffffffff,
2548  0xffffffffffff8000, 0xffffffffffffffff,
2549  0xffffffffffff0000, 0xffffffffffffffff,
2550  0xfffffffffffe0000, 0xffffffffffffffff,
2551  0xfffffffffffc0000, 0xffffffffffffffff,
2552  0xfffffffffff80000, 0xffffffffffffffff,
2553  0xfffffffffff00000, 0xffffffffffffffff,
2554  0xffffffffffe00000, 0xffffffffffffffff,
2555  0xffffffffffc00000, 0xffffffffffffffff,
2556  0xffffffffff800000, 0xffffffffffffffff,
2557  0xffffffffff000000, 0xffffffffffffffff,
2558  0xfffffffffe000000, 0xffffffffffffffff,
2559  0xfffffffffc000000, 0xffffffffffffffff,
2560  0xfffffffff8000000, 0xffffffffffffffff,
2561  0xfffffffff0000000, 0xffffffffffffffff,
2562  0xffffffffe0000000, 0xffffffffffffffff,
2563  0xffffffffc0000000, 0xffffffffffffffff,
2564  0xffffffff80000000, 0xffffffffffffffff,
2565  0xffffffff00000000, 0xffffffffffffffff,
2566  0xfffffffe00000000, 0xffffffffffffffff,
2567  0xfffffffc00000000, 0xffffffffffffffff,
2568  0xfffffff800000000, 0xffffffffffffffff,
2569  0xfffffff000000000, 0xffffffffffffffff,
2570  0xffffffe000000000, 0xffffffffffffffff,
2571  0xffffffc000000000, 0xffffffffffffffff,
2572  0xffffff8000000000, 0xffffffffffffffff,
2573  0xffffff0000000000, 0xffffffffffffffff,
2574  0xfffffe0000000000, 0xffffffffffffffff,
2575  0xfffffc0000000000, 0xffffffffffffffff,
2576  0xfffff80000000000, 0xffffffffffffffff,
2577  0xfffff00000000000, 0xffffffffffffffff,
2578  0xffffe00000000000, 0xffffffffffffffff,
2579  0xffffc00000000000, 0xffffffffffffffff,
2580  0xffff800000000000, 0xffffffffffffffff,
2581  0xffff000000000000, 0xffffffffffffffff,
2582  0xfffe000000000000, 0xffffffffffffffff,
2583  0xfffc000000000000, 0xffffffffffffffff,
2584  0xfff8000000000000, 0xffffffffffffffff,
2585  0xfff0000000000000, 0xffffffffffffffff,
2586  0xffe0000000000000, 0xffffffffffffffff,
2587  0xffc0000000000000, 0xffffffffffffffff,
2588  0xff80000000000000, 0xffffffffffffffff,
2589  0xff00000000000000, 0xffffffffffffffff,
2590  0xfe00000000000000, 0xffffffffffffffff,
2591  0xfc00000000000000, 0xffffffffffffffff,
2592  0xf800000000000000, 0xffffffffffffffff,
2593  0xf000000000000000, 0xffffffffffffffff,
2594  0xe000000000000000, 0xffffffffffffffff,
2595  0xc000000000000000, 0xffffffffffffffff,
2596  0x8000000000000000, 0xffffffffffffffff,
2597  0x0000000000000000, 0xffffffffffffffff,
2598};
2599const unsigned kExpectedCount_NEON_sli_2D_2OPIMM = 2560;
2600
2601#endif  // VIXL_SIM_SLI_2D_2OPIMM_TRACE_AARCH64_H_
2602