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_URSRA_2D_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_URSRA_2D_2OPIMM_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_ursra_2D_2OPIMM[] = {
38  0x8000000000000000, 0x0000000000000000,
39  0xc000000000000000, 0x0000000000000000,
40  0xe000000000000000, 0x0000000000000000,
41  0xf000000000000000, 0x0000000000000000,
42  0xf800000000000000, 0x0000000000000000,
43  0xfc00000000000000, 0x0000000000000000,
44  0xfe00000000000000, 0x0000000000000000,
45  0xff00000000000000, 0x0000000000000000,
46  0xff80000000000000, 0x0000000000000000,
47  0xffc0000000000000, 0x0000000000000000,
48  0xffe0000000000000, 0x0000000000000000,
49  0xfff0000000000000, 0x0000000000000000,
50  0xfff8000000000000, 0x0000000000000000,
51  0xfffc000000000000, 0x0000000000000000,
52  0xfffe000000000000, 0x0000000000000000,
53  0xffff000000000000, 0x0000000000000000,
54  0xffff800000000000, 0x0000000000000000,
55  0xffffc00000000000, 0x0000000000000000,
56  0xffffe00000000000, 0x0000000000000000,
57  0xfffff00000000000, 0x0000000000000000,
58  0xfffff80000000000, 0x0000000000000000,
59  0xfffffc0000000000, 0x0000000000000000,
60  0xfffffe0000000000, 0x0000000000000000,
61  0xffffff0000000000, 0x0000000000000000,
62  0xffffff8000000000, 0x0000000000000000,
63  0xffffffc000000000, 0x0000000000000000,
64  0xffffffe000000000, 0x0000000000000000,
65  0xfffffff000000000, 0x0000000000000000,
66  0xfffffff800000000, 0x0000000000000000,
67  0xfffffffc00000000, 0x0000000000000000,
68  0xfffffffe00000000, 0x0000000000000000,
69  0xffffffff00000000, 0x0000000000000000,
70  0xffffffff80000000, 0x0000000000000000,
71  0xffffffffc0000000, 0x0000000000000000,
72  0xffffffffe0000000, 0x0000000000000000,
73  0xfffffffff0000000, 0x0000000000000000,
74  0xfffffffff8000000, 0x0000000000000000,
75  0xfffffffffc000000, 0x0000000000000000,
76  0xfffffffffe000000, 0x0000000000000000,
77  0xffffffffff000000, 0x0000000000000000,
78  0xffffffffff800000, 0x0000000000000000,
79  0xffffffffffc00000, 0x0000000000000000,
80  0xffffffffffe00000, 0x0000000000000000,
81  0xfffffffffff00000, 0x0000000000000000,
82  0xfffffffffff80000, 0x0000000000000000,
83  0xfffffffffffc0000, 0x0000000000000000,
84  0xfffffffffffe0000, 0x0000000000000000,
85  0xffffffffffff0000, 0x0000000000000000,
86  0xffffffffffff8000, 0x0000000000000000,
87  0xffffffffffffc000, 0x0000000000000000,
88  0xffffffffffffe000, 0x0000000000000000,
89  0xfffffffffffff000, 0x0000000000000000,
90  0xfffffffffffff800, 0x0000000000000000,
91  0xfffffffffffffc00, 0x0000000000000000,
92  0xfffffffffffffe00, 0x0000000000000000,
93  0xffffffffffffff00, 0x0000000000000000,
94  0xffffffffffffff80, 0x0000000000000000,
95  0xffffffffffffffc0, 0x0000000000000000,
96  0xffffffffffffffe0, 0x0000000000000000,
97  0xfffffffffffffff0, 0x0000000000000000,
98  0xfffffffffffffff8, 0x0000000000000000,
99  0xfffffffffffffffc, 0x0000000000000000,
100  0xfffffffffffffffe, 0x0000000000000000,
101  0xffffffffffffffff, 0x0000000000000000,
102  0x0000000000000000, 0x0000000000000001,
103  0x0000000000000000, 0x0000000000000001,
104  0x0000000000000000, 0x0000000000000001,
105  0x0000000000000000, 0x0000000000000001,
106  0x0000000000000000, 0x0000000000000001,
107  0x0000000000000000, 0x0000000000000001,
108  0x0000000000000000, 0x0000000000000001,
109  0x0000000000000000, 0x0000000000000001,
110  0x0000000000000000, 0x0000000000000001,
111  0x0000000000000000, 0x0000000000000001,
112  0x0000000000000000, 0x0000000000000001,
113  0x0000000000000000, 0x0000000000000001,
114  0x0000000000000000, 0x0000000000000001,
115  0x0000000000000000, 0x0000000000000001,
116  0x0000000000000000, 0x0000000000000001,
117  0x0000000000000000, 0x0000000000000001,
118  0x0000000000000000, 0x0000000000000001,
119  0x0000000000000000, 0x0000000000000001,
120  0x0000000000000000, 0x0000000000000001,
121  0x0000000000000000, 0x0000000000000001,
122  0x0000000000000000, 0x0000000000000001,
123  0x0000000000000000, 0x0000000000000001,
124  0x0000000000000000, 0x0000000000000001,
125  0x0000000000000000, 0x0000000000000001,
126  0x0000000000000000, 0x0000000000000001,
127  0x0000000000000000, 0x0000000000000001,
128  0x0000000000000000, 0x0000000000000001,
129  0x0000000000000000, 0x0000000000000001,
130  0x0000000000000000, 0x0000000000000001,
131  0x0000000000000000, 0x0000000000000001,
132  0x0000000000000000, 0x0000000000000001,
133  0x0000000000000000, 0x0000000000000001,
134  0x0000000000000000, 0x0000000000000001,
135  0x0000000000000000, 0x0000000000000001,
136  0x0000000000000000, 0x0000000000000001,
137  0x0000000000000000, 0x0000000000000001,
138  0x0000000000000000, 0x0000000000000001,
139  0x0000000000000000, 0x0000000000000001,
140  0x0000000000000000, 0x0000000000000001,
141  0x0000000000000000, 0x0000000000000001,
142  0x0000000000000000, 0x0000000000000001,
143  0x0000000000000000, 0x0000000000000001,
144  0x0000000000000000, 0x0000000000000001,
145  0x0000000000000000, 0x0000000000000001,
146  0x0000000000000000, 0x0000000000000001,
147  0x0000000000000000, 0x0000000000000001,
148  0x0000000000000000, 0x0000000000000001,
149  0x0000000000000000, 0x0000000000000001,
150  0x0000000000000000, 0x0000000000000001,
151  0x0000000000000000, 0x0000000000000001,
152  0x0000000000000000, 0x0000000000000001,
153  0x0000000000000000, 0x0000000000000001,
154  0x0000000000000000, 0x0000000000000001,
155  0x0000000000000000, 0x0000000000000001,
156  0x0000000000000000, 0x0000000000000001,
157  0x0000000000000000, 0x0000000000000001,
158  0x0000000000000000, 0x0000000000000001,
159  0x0000000000000000, 0x0000000000000001,
160  0x0000000000000000, 0x0000000000000001,
161  0x0000000000000000, 0x0000000000000001,
162  0x0000000000000000, 0x0000000000000001,
163  0x0000000000000000, 0x0000000000000001,
164  0x0000000000000000, 0x0000000000000001,
165  0x0000000000000000, 0x0000000000000001,
166  0x0000000000000001, 0x0000000000000001,
167  0x0000000000000001, 0x0000000000000002,
168  0x0000000000000001, 0x0000000000000002,
169  0x0000000000000001, 0x0000000000000002,
170  0x0000000000000001, 0x0000000000000002,
171  0x0000000000000001, 0x0000000000000002,
172  0x0000000000000001, 0x0000000000000002,
173  0x0000000000000001, 0x0000000000000002,
174  0x0000000000000001, 0x0000000000000002,
175  0x0000000000000001, 0x0000000000000002,
176  0x0000000000000001, 0x0000000000000002,
177  0x0000000000000001, 0x0000000000000002,
178  0x0000000000000001, 0x0000000000000002,
179  0x0000000000000001, 0x0000000000000002,
180  0x0000000000000001, 0x0000000000000002,
181  0x0000000000000001, 0x0000000000000002,
182  0x0000000000000001, 0x0000000000000002,
183  0x0000000000000001, 0x0000000000000002,
184  0x0000000000000001, 0x0000000000000002,
185  0x0000000000000001, 0x0000000000000002,
186  0x0000000000000001, 0x0000000000000002,
187  0x0000000000000001, 0x0000000000000002,
188  0x0000000000000001, 0x0000000000000002,
189  0x0000000000000001, 0x0000000000000002,
190  0x0000000000000001, 0x0000000000000002,
191  0x0000000000000001, 0x0000000000000002,
192  0x0000000000000001, 0x0000000000000002,
193  0x0000000000000001, 0x0000000000000002,
194  0x0000000000000001, 0x0000000000000002,
195  0x0000000000000001, 0x0000000000000002,
196  0x0000000000000001, 0x0000000000000002,
197  0x0000000000000001, 0x0000000000000002,
198  0x0000000000000001, 0x0000000000000002,
199  0x0000000000000001, 0x0000000000000002,
200  0x0000000000000001, 0x0000000000000002,
201  0x0000000000000001, 0x0000000000000002,
202  0x0000000000000001, 0x0000000000000002,
203  0x0000000000000001, 0x0000000000000002,
204  0x0000000000000001, 0x0000000000000002,
205  0x0000000000000001, 0x0000000000000002,
206  0x0000000000000001, 0x0000000000000002,
207  0x0000000000000001, 0x0000000000000002,
208  0x0000000000000001, 0x0000000000000002,
209  0x0000000000000001, 0x0000000000000002,
210  0x0000000000000001, 0x0000000000000002,
211  0x0000000000000001, 0x0000000000000002,
212  0x0000000000000001, 0x0000000000000002,
213  0x0000000000000001, 0x0000000000000002,
214  0x0000000000000001, 0x0000000000000002,
215  0x0000000000000001, 0x0000000000000002,
216  0x0000000000000001, 0x0000000000000002,
217  0x0000000000000001, 0x0000000000000002,
218  0x0000000000000001, 0x0000000000000002,
219  0x0000000000000001, 0x0000000000000002,
220  0x0000000000000001, 0x0000000000000002,
221  0x0000000000000001, 0x0000000000000002,
222  0x0000000000000001, 0x0000000000000002,
223  0x0000000000000001, 0x0000000000000002,
224  0x0000000000000001, 0x0000000000000002,
225  0x0000000000000001, 0x0000000000000002,
226  0x0000000000000001, 0x0000000000000002,
227  0x0000000000000001, 0x0000000000000002,
228  0x0000000000000001, 0x0000000000000002,
229  0x0000000000000001, 0x0000000000000002,
230  0x0000000000000001, 0x0000000000000020,
231  0x0000000000000002, 0x0000000000000030,
232  0x0000000000000002, 0x0000000000000038,
233  0x0000000000000002, 0x000000000000003c,
234  0x0000000000000002, 0x000000000000003e,
235  0x0000000000000002, 0x000000000000003f,
236  0x0000000000000002, 0x0000000000000040,
237  0x0000000000000002, 0x0000000000000040,
238  0x0000000000000002, 0x0000000000000040,
239  0x0000000000000002, 0x0000000000000040,
240  0x0000000000000002, 0x0000000000000040,
241  0x0000000000000002, 0x0000000000000040,
242  0x0000000000000002, 0x0000000000000040,
243  0x0000000000000002, 0x0000000000000040,
244  0x0000000000000002, 0x0000000000000040,
245  0x0000000000000002, 0x0000000000000040,
246  0x0000000000000002, 0x0000000000000040,
247  0x0000000000000002, 0x0000000000000040,
248  0x0000000000000002, 0x0000000000000040,
249  0x0000000000000002, 0x0000000000000040,
250  0x0000000000000002, 0x0000000000000040,
251  0x0000000000000002, 0x0000000000000040,
252  0x0000000000000002, 0x0000000000000040,
253  0x0000000000000002, 0x0000000000000040,
254  0x0000000000000002, 0x0000000000000040,
255  0x0000000000000002, 0x0000000000000040,
256  0x0000000000000002, 0x0000000000000040,
257  0x0000000000000002, 0x0000000000000040,
258  0x0000000000000002, 0x0000000000000040,
259  0x0000000000000002, 0x0000000000000040,
260  0x0000000000000002, 0x0000000000000040,
261  0x0000000000000002, 0x0000000000000040,
262  0x0000000000000002, 0x0000000000000040,
263  0x0000000000000002, 0x0000000000000040,
264  0x0000000000000002, 0x0000000000000040,
265  0x0000000000000002, 0x0000000000000040,
266  0x0000000000000002, 0x0000000000000040,
267  0x0000000000000002, 0x0000000000000040,
268  0x0000000000000002, 0x0000000000000040,
269  0x0000000000000002, 0x0000000000000040,
270  0x0000000000000002, 0x0000000000000040,
271  0x0000000000000002, 0x0000000000000040,
272  0x0000000000000002, 0x0000000000000040,
273  0x0000000000000002, 0x0000000000000040,
274  0x0000000000000002, 0x0000000000000040,
275  0x0000000000000002, 0x0000000000000040,
276  0x0000000000000002, 0x0000000000000040,
277  0x0000000000000002, 0x0000000000000040,
278  0x0000000000000002, 0x0000000000000040,
279  0x0000000000000002, 0x0000000000000040,
280  0x0000000000000002, 0x0000000000000040,
281  0x0000000000000002, 0x0000000000000040,
282  0x0000000000000002, 0x0000000000000040,
283  0x0000000000000002, 0x0000000000000040,
284  0x0000000000000002, 0x0000000000000040,
285  0x0000000000000002, 0x0000000000000040,
286  0x0000000000000002, 0x0000000000000040,
287  0x0000000000000002, 0x0000000000000040,
288  0x0000000000000002, 0x0000000000000040,
289  0x0000000000000002, 0x0000000000000040,
290  0x0000000000000002, 0x0000000000000040,
291  0x0000000000000002, 0x0000000000000040,
292  0x0000000000000002, 0x0000000000000040,
293  0x0000000000000002, 0x0000000000000040,
294  0x0000000000000020, 0x000000000000003f,
295  0x0000000000000030, 0x000000000000005e,
296  0x0000000000000038, 0x000000000000006e,
297  0x000000000000003c, 0x0000000000000076,
298  0x000000000000003e, 0x000000000000007a,
299  0x000000000000003f, 0x000000000000007c,
300  0x0000000000000040, 0x000000000000007d,
301  0x0000000000000040, 0x000000000000007d,
302  0x0000000000000040, 0x000000000000007d,
303  0x0000000000000040, 0x000000000000007d,
304  0x0000000000000040, 0x000000000000007d,
305  0x0000000000000040, 0x000000000000007d,
306  0x0000000000000040, 0x000000000000007d,
307  0x0000000000000040, 0x000000000000007d,
308  0x0000000000000040, 0x000000000000007d,
309  0x0000000000000040, 0x000000000000007d,
310  0x0000000000000040, 0x000000000000007d,
311  0x0000000000000040, 0x000000000000007d,
312  0x0000000000000040, 0x000000000000007d,
313  0x0000000000000040, 0x000000000000007d,
314  0x0000000000000040, 0x000000000000007d,
315  0x0000000000000040, 0x000000000000007d,
316  0x0000000000000040, 0x000000000000007d,
317  0x0000000000000040, 0x000000000000007d,
318  0x0000000000000040, 0x000000000000007d,
319  0x0000000000000040, 0x000000000000007d,
320  0x0000000000000040, 0x000000000000007d,
321  0x0000000000000040, 0x000000000000007d,
322  0x0000000000000040, 0x000000000000007d,
323  0x0000000000000040, 0x000000000000007d,
324  0x0000000000000040, 0x000000000000007d,
325  0x0000000000000040, 0x000000000000007d,
326  0x0000000000000040, 0x000000000000007d,
327  0x0000000000000040, 0x000000000000007d,
328  0x0000000000000040, 0x000000000000007d,
329  0x0000000000000040, 0x000000000000007d,
330  0x0000000000000040, 0x000000000000007d,
331  0x0000000000000040, 0x000000000000007d,
332  0x0000000000000040, 0x000000000000007d,
333  0x0000000000000040, 0x000000000000007d,
334  0x0000000000000040, 0x000000000000007d,
335  0x0000000000000040, 0x000000000000007d,
336  0x0000000000000040, 0x000000000000007d,
337  0x0000000000000040, 0x000000000000007d,
338  0x0000000000000040, 0x000000000000007d,
339  0x0000000000000040, 0x000000000000007d,
340  0x0000000000000040, 0x000000000000007d,
341  0x0000000000000040, 0x000000000000007d,
342  0x0000000000000040, 0x000000000000007d,
343  0x0000000000000040, 0x000000000000007d,
344  0x0000000000000040, 0x000000000000007d,
345  0x0000000000000040, 0x000000000000007d,
346  0x0000000000000040, 0x000000000000007d,
347  0x0000000000000040, 0x000000000000007d,
348  0x0000000000000040, 0x000000000000007d,
349  0x0000000000000040, 0x000000000000007d,
350  0x0000000000000040, 0x000000000000007d,
351  0x0000000000000040, 0x000000000000007d,
352  0x0000000000000040, 0x000000000000007d,
353  0x0000000000000040, 0x000000000000007d,
354  0x0000000000000040, 0x000000000000007d,
355  0x0000000000000040, 0x000000000000007d,
356  0x0000000000000040, 0x000000000000007d,
357  0x0000000000000040, 0x000000000000007d,
358  0x000000000000003f, 0x000000000000003f,
359  0x000000000000005e, 0x000000000000005f,
360  0x000000000000006e, 0x000000000000006f,
361  0x0000000000000076, 0x0000000000000077,
362  0x000000000000007a, 0x000000000000007b,
363  0x000000000000007c, 0x000000000000007d,
364  0x000000000000007d, 0x000000000000007e,
365  0x000000000000007d, 0x000000000000007e,
366  0x000000000000007d, 0x000000000000007e,
367  0x000000000000007d, 0x000000000000007e,
368  0x000000000000007d, 0x000000000000007e,
369  0x000000000000007d, 0x000000000000007e,
370  0x000000000000007d, 0x000000000000007e,
371  0x000000000000007d, 0x000000000000007e,
372  0x000000000000007d, 0x000000000000007e,
373  0x000000000000007d, 0x000000000000007e,
374  0x000000000000007d, 0x000000000000007e,
375  0x000000000000007d, 0x000000000000007e,
376  0x000000000000007d, 0x000000000000007e,
377  0x000000000000007d, 0x000000000000007e,
378  0x000000000000007d, 0x000000000000007e,
379  0x000000000000007d, 0x000000000000007e,
380  0x000000000000007d, 0x000000000000007e,
381  0x000000000000007d, 0x000000000000007e,
382  0x000000000000007d, 0x000000000000007e,
383  0x000000000000007d, 0x000000000000007e,
384  0x000000000000007d, 0x000000000000007e,
385  0x000000000000007d, 0x000000000000007e,
386  0x000000000000007d, 0x000000000000007e,
387  0x000000000000007d, 0x000000000000007e,
388  0x000000000000007d, 0x000000000000007e,
389  0x000000000000007d, 0x000000000000007e,
390  0x000000000000007d, 0x000000000000007e,
391  0x000000000000007d, 0x000000000000007e,
392  0x000000000000007d, 0x000000000000007e,
393  0x000000000000007d, 0x000000000000007e,
394  0x000000000000007d, 0x000000000000007e,
395  0x000000000000007d, 0x000000000000007e,
396  0x000000000000007d, 0x000000000000007e,
397  0x000000000000007d, 0x000000000000007e,
398  0x000000000000007d, 0x000000000000007e,
399  0x000000000000007d, 0x000000000000007e,
400  0x000000000000007d, 0x000000000000007e,
401  0x000000000000007d, 0x000000000000007e,
402  0x000000000000007d, 0x000000000000007e,
403  0x000000000000007d, 0x000000000000007e,
404  0x000000000000007d, 0x000000000000007e,
405  0x000000000000007d, 0x000000000000007e,
406  0x000000000000007d, 0x000000000000007e,
407  0x000000000000007d, 0x000000000000007e,
408  0x000000000000007d, 0x000000000000007e,
409  0x000000000000007d, 0x000000000000007e,
410  0x000000000000007d, 0x000000000000007e,
411  0x000000000000007d, 0x000000000000007e,
412  0x000000000000007d, 0x000000000000007e,
413  0x000000000000007d, 0x000000000000007e,
414  0x000000000000007d, 0x000000000000007e,
415  0x000000000000007d, 0x000000000000007e,
416  0x000000000000007d, 0x000000000000007e,
417  0x000000000000007d, 0x000000000000007e,
418  0x000000000000007d, 0x000000000000007e,
419  0x000000000000007d, 0x000000000000007e,
420  0x000000000000007d, 0x000000000000007e,
421  0x000000000000007d, 0x000000000000007e,
422  0x000000000000003f, 0x0000000000000040,
423  0x000000000000005f, 0x0000000000000060,
424  0x000000000000006f, 0x0000000000000070,
425  0x0000000000000077, 0x0000000000000078,
426  0x000000000000007b, 0x000000000000007c,
427  0x000000000000007d, 0x000000000000007e,
428  0x000000000000007e, 0x000000000000007f,
429  0x000000000000007e, 0x000000000000007f,
430  0x000000000000007e, 0x000000000000007f,
431  0x000000000000007e, 0x000000000000007f,
432  0x000000000000007e, 0x000000000000007f,
433  0x000000000000007e, 0x000000000000007f,
434  0x000000000000007e, 0x000000000000007f,
435  0x000000000000007e, 0x000000000000007f,
436  0x000000000000007e, 0x000000000000007f,
437  0x000000000000007e, 0x000000000000007f,
438  0x000000000000007e, 0x000000000000007f,
439  0x000000000000007e, 0x000000000000007f,
440  0x000000000000007e, 0x000000000000007f,
441  0x000000000000007e, 0x000000000000007f,
442  0x000000000000007e, 0x000000000000007f,
443  0x000000000000007e, 0x000000000000007f,
444  0x000000000000007e, 0x000000000000007f,
445  0x000000000000007e, 0x000000000000007f,
446  0x000000000000007e, 0x000000000000007f,
447  0x000000000000007e, 0x000000000000007f,
448  0x000000000000007e, 0x000000000000007f,
449  0x000000000000007e, 0x000000000000007f,
450  0x000000000000007e, 0x000000000000007f,
451  0x000000000000007e, 0x000000000000007f,
452  0x000000000000007e, 0x000000000000007f,
453  0x000000000000007e, 0x000000000000007f,
454  0x000000000000007e, 0x000000000000007f,
455  0x000000000000007e, 0x000000000000007f,
456  0x000000000000007e, 0x000000000000007f,
457  0x000000000000007e, 0x000000000000007f,
458  0x000000000000007e, 0x000000000000007f,
459  0x000000000000007e, 0x000000000000007f,
460  0x000000000000007e, 0x000000000000007f,
461  0x000000000000007e, 0x000000000000007f,
462  0x000000000000007e, 0x000000000000007f,
463  0x000000000000007e, 0x000000000000007f,
464  0x000000000000007e, 0x000000000000007f,
465  0x000000000000007e, 0x000000000000007f,
466  0x000000000000007e, 0x000000000000007f,
467  0x000000000000007e, 0x000000000000007f,
468  0x000000000000007e, 0x000000000000007f,
469  0x000000000000007e, 0x000000000000007f,
470  0x000000000000007e, 0x000000000000007f,
471  0x000000000000007e, 0x000000000000007f,
472  0x000000000000007e, 0x000000000000007f,
473  0x000000000000007e, 0x000000000000007f,
474  0x000000000000007e, 0x000000000000007f,
475  0x000000000000007e, 0x000000000000007f,
476  0x000000000000007e, 0x000000000000007f,
477  0x000000000000007e, 0x000000000000007f,
478  0x000000000000007e, 0x000000000000007f,
479  0x000000000000007e, 0x000000000000007f,
480  0x000000000000007e, 0x000000000000007f,
481  0x000000000000007e, 0x000000000000007f,
482  0x000000000000007e, 0x000000000000007f,
483  0x000000000000007e, 0x000000000000007f,
484  0x000000000000007e, 0x000000000000007f,
485  0x000000000000007e, 0x000000000000007f,
486  0x0000000000000040, 0x0000000000003fff,
487  0x0000000000000060, 0x0000000000005ffe,
488  0x0000000000000070, 0x0000000000006ffe,
489  0x0000000000000078, 0x00000000000077fe,
490  0x000000000000007c, 0x0000000000007bfe,
491  0x000000000000007e, 0x0000000000007dfe,
492  0x000000000000007f, 0x0000000000007efe,
493  0x000000000000007f, 0x0000000000007f7e,
494  0x000000000000007f, 0x0000000000007fbe,
495  0x000000000000007f, 0x0000000000007fde,
496  0x000000000000007f, 0x0000000000007fee,
497  0x000000000000007f, 0x0000000000007ff6,
498  0x000000000000007f, 0x0000000000007ffa,
499  0x000000000000007f, 0x0000000000007ffc,
500  0x000000000000007f, 0x0000000000007ffd,
501  0x000000000000007f, 0x0000000000007ffd,
502  0x000000000000007f, 0x0000000000007ffd,
503  0x000000000000007f, 0x0000000000007ffd,
504  0x000000000000007f, 0x0000000000007ffd,
505  0x000000000000007f, 0x0000000000007ffd,
506  0x000000000000007f, 0x0000000000007ffd,
507  0x000000000000007f, 0x0000000000007ffd,
508  0x000000000000007f, 0x0000000000007ffd,
509  0x000000000000007f, 0x0000000000007ffd,
510  0x000000000000007f, 0x0000000000007ffd,
511  0x000000000000007f, 0x0000000000007ffd,
512  0x000000000000007f, 0x0000000000007ffd,
513  0x000000000000007f, 0x0000000000007ffd,
514  0x000000000000007f, 0x0000000000007ffd,
515  0x000000000000007f, 0x0000000000007ffd,
516  0x000000000000007f, 0x0000000000007ffd,
517  0x000000000000007f, 0x0000000000007ffd,
518  0x000000000000007f, 0x0000000000007ffd,
519  0x000000000000007f, 0x0000000000007ffd,
520  0x000000000000007f, 0x0000000000007ffd,
521  0x000000000000007f, 0x0000000000007ffd,
522  0x000000000000007f, 0x0000000000007ffd,
523  0x000000000000007f, 0x0000000000007ffd,
524  0x000000000000007f, 0x0000000000007ffd,
525  0x000000000000007f, 0x0000000000007ffd,
526  0x000000000000007f, 0x0000000000007ffd,
527  0x000000000000007f, 0x0000000000007ffd,
528  0x000000000000007f, 0x0000000000007ffd,
529  0x000000000000007f, 0x0000000000007ffd,
530  0x000000000000007f, 0x0000000000007ffd,
531  0x000000000000007f, 0x0000000000007ffd,
532  0x000000000000007f, 0x0000000000007ffd,
533  0x000000000000007f, 0x0000000000007ffd,
534  0x000000000000007f, 0x0000000000007ffd,
535  0x000000000000007f, 0x0000000000007ffd,
536  0x000000000000007f, 0x0000000000007ffd,
537  0x000000000000007f, 0x0000000000007ffd,
538  0x000000000000007f, 0x0000000000007ffd,
539  0x000000000000007f, 0x0000000000007ffd,
540  0x000000000000007f, 0x0000000000007ffd,
541  0x000000000000007f, 0x0000000000007ffd,
542  0x000000000000007f, 0x0000000000007ffd,
543  0x000000000000007f, 0x0000000000007ffd,
544  0x000000000000007f, 0x0000000000007ffd,
545  0x000000000000007f, 0x0000000000007ffd,
546  0x000000000000007f, 0x0000000000007ffd,
547  0x000000000000007f, 0x0000000000007ffd,
548  0x000000000000007f, 0x0000000000007ffd,
549  0x000000000000007f, 0x0000000000007ffd,
550  0x0000000000003fff, 0x0000000000003fff,
551  0x0000000000005ffe, 0x0000000000005fff,
552  0x0000000000006ffe, 0x0000000000006fff,
553  0x00000000000077fe, 0x00000000000077ff,
554  0x0000000000007bfe, 0x0000000000007bff,
555  0x0000000000007dfe, 0x0000000000007dff,
556  0x0000000000007efe, 0x0000000000007eff,
557  0x0000000000007f7e, 0x0000000000007f7f,
558  0x0000000000007fbe, 0x0000000000007fbf,
559  0x0000000000007fde, 0x0000000000007fdf,
560  0x0000000000007fee, 0x0000000000007fef,
561  0x0000000000007ff6, 0x0000000000007ff7,
562  0x0000000000007ffa, 0x0000000000007ffb,
563  0x0000000000007ffc, 0x0000000000007ffd,
564  0x0000000000007ffd, 0x0000000000007ffe,
565  0x0000000000007ffd, 0x0000000000007ffe,
566  0x0000000000007ffd, 0x0000000000007ffe,
567  0x0000000000007ffd, 0x0000000000007ffe,
568  0x0000000000007ffd, 0x0000000000007ffe,
569  0x0000000000007ffd, 0x0000000000007ffe,
570  0x0000000000007ffd, 0x0000000000007ffe,
571  0x0000000000007ffd, 0x0000000000007ffe,
572  0x0000000000007ffd, 0x0000000000007ffe,
573  0x0000000000007ffd, 0x0000000000007ffe,
574  0x0000000000007ffd, 0x0000000000007ffe,
575  0x0000000000007ffd, 0x0000000000007ffe,
576  0x0000000000007ffd, 0x0000000000007ffe,
577  0x0000000000007ffd, 0x0000000000007ffe,
578  0x0000000000007ffd, 0x0000000000007ffe,
579  0x0000000000007ffd, 0x0000000000007ffe,
580  0x0000000000007ffd, 0x0000000000007ffe,
581  0x0000000000007ffd, 0x0000000000007ffe,
582  0x0000000000007ffd, 0x0000000000007ffe,
583  0x0000000000007ffd, 0x0000000000007ffe,
584  0x0000000000007ffd, 0x0000000000007ffe,
585  0x0000000000007ffd, 0x0000000000007ffe,
586  0x0000000000007ffd, 0x0000000000007ffe,
587  0x0000000000007ffd, 0x0000000000007ffe,
588  0x0000000000007ffd, 0x0000000000007ffe,
589  0x0000000000007ffd, 0x0000000000007ffe,
590  0x0000000000007ffd, 0x0000000000007ffe,
591  0x0000000000007ffd, 0x0000000000007ffe,
592  0x0000000000007ffd, 0x0000000000007ffe,
593  0x0000000000007ffd, 0x0000000000007ffe,
594  0x0000000000007ffd, 0x0000000000007ffe,
595  0x0000000000007ffd, 0x0000000000007ffe,
596  0x0000000000007ffd, 0x0000000000007ffe,
597  0x0000000000007ffd, 0x0000000000007ffe,
598  0x0000000000007ffd, 0x0000000000007ffe,
599  0x0000000000007ffd, 0x0000000000007ffe,
600  0x0000000000007ffd, 0x0000000000007ffe,
601  0x0000000000007ffd, 0x0000000000007ffe,
602  0x0000000000007ffd, 0x0000000000007ffe,
603  0x0000000000007ffd, 0x0000000000007ffe,
604  0x0000000000007ffd, 0x0000000000007ffe,
605  0x0000000000007ffd, 0x0000000000007ffe,
606  0x0000000000007ffd, 0x0000000000007ffe,
607  0x0000000000007ffd, 0x0000000000007ffe,
608  0x0000000000007ffd, 0x0000000000007ffe,
609  0x0000000000007ffd, 0x0000000000007ffe,
610  0x0000000000007ffd, 0x0000000000007ffe,
611  0x0000000000007ffd, 0x0000000000007ffe,
612  0x0000000000007ffd, 0x0000000000007ffe,
613  0x0000000000007ffd, 0x0000000000007ffe,
614  0x0000000000003fff, 0x0000000000004000,
615  0x0000000000005fff, 0x0000000000006000,
616  0x0000000000006fff, 0x0000000000007000,
617  0x00000000000077ff, 0x0000000000007800,
618  0x0000000000007bff, 0x0000000000007c00,
619  0x0000000000007dff, 0x0000000000007e00,
620  0x0000000000007eff, 0x0000000000007f00,
621  0x0000000000007f7f, 0x0000000000007f80,
622  0x0000000000007fbf, 0x0000000000007fc0,
623  0x0000000000007fdf, 0x0000000000007fe0,
624  0x0000000000007fef, 0x0000000000007ff0,
625  0x0000000000007ff7, 0x0000000000007ff8,
626  0x0000000000007ffb, 0x0000000000007ffc,
627  0x0000000000007ffd, 0x0000000000007ffe,
628  0x0000000000007ffe, 0x0000000000007fff,
629  0x0000000000007ffe, 0x0000000000007fff,
630  0x0000000000007ffe, 0x0000000000007fff,
631  0x0000000000007ffe, 0x0000000000007fff,
632  0x0000000000007ffe, 0x0000000000007fff,
633  0x0000000000007ffe, 0x0000000000007fff,
634  0x0000000000007ffe, 0x0000000000007fff,
635  0x0000000000007ffe, 0x0000000000007fff,
636  0x0000000000007ffe, 0x0000000000007fff,
637  0x0000000000007ffe, 0x0000000000007fff,
638  0x0000000000007ffe, 0x0000000000007fff,
639  0x0000000000007ffe, 0x0000000000007fff,
640  0x0000000000007ffe, 0x0000000000007fff,
641  0x0000000000007ffe, 0x0000000000007fff,
642  0x0000000000007ffe, 0x0000000000007fff,
643  0x0000000000007ffe, 0x0000000000007fff,
644  0x0000000000007ffe, 0x0000000000007fff,
645  0x0000000000007ffe, 0x0000000000007fff,
646  0x0000000000007ffe, 0x0000000000007fff,
647  0x0000000000007ffe, 0x0000000000007fff,
648  0x0000000000007ffe, 0x0000000000007fff,
649  0x0000000000007ffe, 0x0000000000007fff,
650  0x0000000000007ffe, 0x0000000000007fff,
651  0x0000000000007ffe, 0x0000000000007fff,
652  0x0000000000007ffe, 0x0000000000007fff,
653  0x0000000000007ffe, 0x0000000000007fff,
654  0x0000000000007ffe, 0x0000000000007fff,
655  0x0000000000007ffe, 0x0000000000007fff,
656  0x0000000000007ffe, 0x0000000000007fff,
657  0x0000000000007ffe, 0x0000000000007fff,
658  0x0000000000007ffe, 0x0000000000007fff,
659  0x0000000000007ffe, 0x0000000000007fff,
660  0x0000000000007ffe, 0x0000000000007fff,
661  0x0000000000007ffe, 0x0000000000007fff,
662  0x0000000000007ffe, 0x0000000000007fff,
663  0x0000000000007ffe, 0x0000000000007fff,
664  0x0000000000007ffe, 0x0000000000007fff,
665  0x0000000000007ffe, 0x0000000000007fff,
666  0x0000000000007ffe, 0x0000000000007fff,
667  0x0000000000007ffe, 0x0000000000007fff,
668  0x0000000000007ffe, 0x0000000000007fff,
669  0x0000000000007ffe, 0x0000000000007fff,
670  0x0000000000007ffe, 0x0000000000007fff,
671  0x0000000000007ffe, 0x0000000000007fff,
672  0x0000000000007ffe, 0x0000000000007fff,
673  0x0000000000007ffe, 0x0000000000007fff,
674  0x0000000000007ffe, 0x0000000000007fff,
675  0x0000000000007ffe, 0x0000000000007fff,
676  0x0000000000007ffe, 0x0000000000007fff,
677  0x0000000000007ffe, 0x0000000000007fff,
678  0x0000000000004000, 0x000000003fffffff,
679  0x0000000000006000, 0x000000005ffffffe,
680  0x0000000000007000, 0x000000006ffffffe,
681  0x0000000000007800, 0x0000000077fffffe,
682  0x0000000000007c00, 0x000000007bfffffe,
683  0x0000000000007e00, 0x000000007dfffffe,
684  0x0000000000007f00, 0x000000007efffffe,
685  0x0000000000007f80, 0x000000007f7ffffe,
686  0x0000000000007fc0, 0x000000007fbffffe,
687  0x0000000000007fe0, 0x000000007fdffffe,
688  0x0000000000007ff0, 0x000000007feffffe,
689  0x0000000000007ff8, 0x000000007ff7fffe,
690  0x0000000000007ffc, 0x000000007ffbfffe,
691  0x0000000000007ffe, 0x000000007ffdfffe,
692  0x0000000000007fff, 0x000000007ffefffe,
693  0x0000000000007fff, 0x000000007fff7ffe,
694  0x0000000000007fff, 0x000000007fffbffe,
695  0x0000000000007fff, 0x000000007fffdffe,
696  0x0000000000007fff, 0x000000007fffeffe,
697  0x0000000000007fff, 0x000000007ffff7fe,
698  0x0000000000007fff, 0x000000007ffffbfe,
699  0x0000000000007fff, 0x000000007ffffdfe,
700  0x0000000000007fff, 0x000000007ffffefe,
701  0x0000000000007fff, 0x000000007fffff7e,
702  0x0000000000007fff, 0x000000007fffffbe,
703  0x0000000000007fff, 0x000000007fffffde,
704  0x0000000000007fff, 0x000000007fffffee,
705  0x0000000000007fff, 0x000000007ffffff6,
706  0x0000000000007fff, 0x000000007ffffffa,
707  0x0000000000007fff, 0x000000007ffffffc,
708  0x0000000000007fff, 0x000000007ffffffd,
709  0x0000000000007fff, 0x000000007ffffffd,
710  0x0000000000007fff, 0x000000007ffffffd,
711  0x0000000000007fff, 0x000000007ffffffd,
712  0x0000000000007fff, 0x000000007ffffffd,
713  0x0000000000007fff, 0x000000007ffffffd,
714  0x0000000000007fff, 0x000000007ffffffd,
715  0x0000000000007fff, 0x000000007ffffffd,
716  0x0000000000007fff, 0x000000007ffffffd,
717  0x0000000000007fff, 0x000000007ffffffd,
718  0x0000000000007fff, 0x000000007ffffffd,
719  0x0000000000007fff, 0x000000007ffffffd,
720  0x0000000000007fff, 0x000000007ffffffd,
721  0x0000000000007fff, 0x000000007ffffffd,
722  0x0000000000007fff, 0x000000007ffffffd,
723  0x0000000000007fff, 0x000000007ffffffd,
724  0x0000000000007fff, 0x000000007ffffffd,
725  0x0000000000007fff, 0x000000007ffffffd,
726  0x0000000000007fff, 0x000000007ffffffd,
727  0x0000000000007fff, 0x000000007ffffffd,
728  0x0000000000007fff, 0x000000007ffffffd,
729  0x0000000000007fff, 0x000000007ffffffd,
730  0x0000000000007fff, 0x000000007ffffffd,
731  0x0000000000007fff, 0x000000007ffffffd,
732  0x0000000000007fff, 0x000000007ffffffd,
733  0x0000000000007fff, 0x000000007ffffffd,
734  0x0000000000007fff, 0x000000007ffffffd,
735  0x0000000000007fff, 0x000000007ffffffd,
736  0x0000000000007fff, 0x000000007ffffffd,
737  0x0000000000007fff, 0x000000007ffffffd,
738  0x0000000000007fff, 0x000000007ffffffd,
739  0x0000000000007fff, 0x000000007ffffffd,
740  0x0000000000007fff, 0x000000007ffffffd,
741  0x0000000000007fff, 0x000000007ffffffd,
742  0x000000003fffffff, 0x000000003fffffff,
743  0x000000005ffffffe, 0x000000005fffffff,
744  0x000000006ffffffe, 0x000000006fffffff,
745  0x0000000077fffffe, 0x0000000077ffffff,
746  0x000000007bfffffe, 0x000000007bffffff,
747  0x000000007dfffffe, 0x000000007dffffff,
748  0x000000007efffffe, 0x000000007effffff,
749  0x000000007f7ffffe, 0x000000007f7fffff,
750  0x000000007fbffffe, 0x000000007fbfffff,
751  0x000000007fdffffe, 0x000000007fdfffff,
752  0x000000007feffffe, 0x000000007fefffff,
753  0x000000007ff7fffe, 0x000000007ff7ffff,
754  0x000000007ffbfffe, 0x000000007ffbffff,
755  0x000000007ffdfffe, 0x000000007ffdffff,
756  0x000000007ffefffe, 0x000000007ffeffff,
757  0x000000007fff7ffe, 0x000000007fff7fff,
758  0x000000007fffbffe, 0x000000007fffbfff,
759  0x000000007fffdffe, 0x000000007fffdfff,
760  0x000000007fffeffe, 0x000000007fffefff,
761  0x000000007ffff7fe, 0x000000007ffff7ff,
762  0x000000007ffffbfe, 0x000000007ffffbff,
763  0x000000007ffffdfe, 0x000000007ffffdff,
764  0x000000007ffffefe, 0x000000007ffffeff,
765  0x000000007fffff7e, 0x000000007fffff7f,
766  0x000000007fffffbe, 0x000000007fffffbf,
767  0x000000007fffffde, 0x000000007fffffdf,
768  0x000000007fffffee, 0x000000007fffffef,
769  0x000000007ffffff6, 0x000000007ffffff7,
770  0x000000007ffffffa, 0x000000007ffffffb,
771  0x000000007ffffffc, 0x000000007ffffffd,
772  0x000000007ffffffd, 0x000000007ffffffe,
773  0x000000007ffffffd, 0x000000007ffffffe,
774  0x000000007ffffffd, 0x000000007ffffffe,
775  0x000000007ffffffd, 0x000000007ffffffe,
776  0x000000007ffffffd, 0x000000007ffffffe,
777  0x000000007ffffffd, 0x000000007ffffffe,
778  0x000000007ffffffd, 0x000000007ffffffe,
779  0x000000007ffffffd, 0x000000007ffffffe,
780  0x000000007ffffffd, 0x000000007ffffffe,
781  0x000000007ffffffd, 0x000000007ffffffe,
782  0x000000007ffffffd, 0x000000007ffffffe,
783  0x000000007ffffffd, 0x000000007ffffffe,
784  0x000000007ffffffd, 0x000000007ffffffe,
785  0x000000007ffffffd, 0x000000007ffffffe,
786  0x000000007ffffffd, 0x000000007ffffffe,
787  0x000000007ffffffd, 0x000000007ffffffe,
788  0x000000007ffffffd, 0x000000007ffffffe,
789  0x000000007ffffffd, 0x000000007ffffffe,
790  0x000000007ffffffd, 0x000000007ffffffe,
791  0x000000007ffffffd, 0x000000007ffffffe,
792  0x000000007ffffffd, 0x000000007ffffffe,
793  0x000000007ffffffd, 0x000000007ffffffe,
794  0x000000007ffffffd, 0x000000007ffffffe,
795  0x000000007ffffffd, 0x000000007ffffffe,
796  0x000000007ffffffd, 0x000000007ffffffe,
797  0x000000007ffffffd, 0x000000007ffffffe,
798  0x000000007ffffffd, 0x000000007ffffffe,
799  0x000000007ffffffd, 0x000000007ffffffe,
800  0x000000007ffffffd, 0x000000007ffffffe,
801  0x000000007ffffffd, 0x000000007ffffffe,
802  0x000000007ffffffd, 0x000000007ffffffe,
803  0x000000007ffffffd, 0x000000007ffffffe,
804  0x000000007ffffffd, 0x000000007ffffffe,
805  0x000000007ffffffd, 0x000000007ffffffe,
806  0x000000003fffffff, 0x0000000040000000,
807  0x000000005fffffff, 0x0000000060000000,
808  0x000000006fffffff, 0x0000000070000000,
809  0x0000000077ffffff, 0x0000000078000000,
810  0x000000007bffffff, 0x000000007c000000,
811  0x000000007dffffff, 0x000000007e000000,
812  0x000000007effffff, 0x000000007f000000,
813  0x000000007f7fffff, 0x000000007f800000,
814  0x000000007fbfffff, 0x000000007fc00000,
815  0x000000007fdfffff, 0x000000007fe00000,
816  0x000000007fefffff, 0x000000007ff00000,
817  0x000000007ff7ffff, 0x000000007ff80000,
818  0x000000007ffbffff, 0x000000007ffc0000,
819  0x000000007ffdffff, 0x000000007ffe0000,
820  0x000000007ffeffff, 0x000000007fff0000,
821  0x000000007fff7fff, 0x000000007fff8000,
822  0x000000007fffbfff, 0x000000007fffc000,
823  0x000000007fffdfff, 0x000000007fffe000,
824  0x000000007fffefff, 0x000000007ffff000,
825  0x000000007ffff7ff, 0x000000007ffff800,
826  0x000000007ffffbff, 0x000000007ffffc00,
827  0x000000007ffffdff, 0x000000007ffffe00,
828  0x000000007ffffeff, 0x000000007fffff00,
829  0x000000007fffff7f, 0x000000007fffff80,
830  0x000000007fffffbf, 0x000000007fffffc0,
831  0x000000007fffffdf, 0x000000007fffffe0,
832  0x000000007fffffef, 0x000000007ffffff0,
833  0x000000007ffffff7, 0x000000007ffffff8,
834  0x000000007ffffffb, 0x000000007ffffffc,
835  0x000000007ffffffd, 0x000000007ffffffe,
836  0x000000007ffffffe, 0x000000007fffffff,
837  0x000000007ffffffe, 0x000000007fffffff,
838  0x000000007ffffffe, 0x000000007fffffff,
839  0x000000007ffffffe, 0x000000007fffffff,
840  0x000000007ffffffe, 0x000000007fffffff,
841  0x000000007ffffffe, 0x000000007fffffff,
842  0x000000007ffffffe, 0x000000007fffffff,
843  0x000000007ffffffe, 0x000000007fffffff,
844  0x000000007ffffffe, 0x000000007fffffff,
845  0x000000007ffffffe, 0x000000007fffffff,
846  0x000000007ffffffe, 0x000000007fffffff,
847  0x000000007ffffffe, 0x000000007fffffff,
848  0x000000007ffffffe, 0x000000007fffffff,
849  0x000000007ffffffe, 0x000000007fffffff,
850  0x000000007ffffffe, 0x000000007fffffff,
851  0x000000007ffffffe, 0x000000007fffffff,
852  0x000000007ffffffe, 0x000000007fffffff,
853  0x000000007ffffffe, 0x000000007fffffff,
854  0x000000007ffffffe, 0x000000007fffffff,
855  0x000000007ffffffe, 0x000000007fffffff,
856  0x000000007ffffffe, 0x000000007fffffff,
857  0x000000007ffffffe, 0x000000007fffffff,
858  0x000000007ffffffe, 0x000000007fffffff,
859  0x000000007ffffffe, 0x000000007fffffff,
860  0x000000007ffffffe, 0x000000007fffffff,
861  0x000000007ffffffe, 0x000000007fffffff,
862  0x000000007ffffffe, 0x000000007fffffff,
863  0x000000007ffffffe, 0x000000007fffffff,
864  0x000000007ffffffe, 0x000000007fffffff,
865  0x000000007ffffffe, 0x000000007fffffff,
866  0x000000007ffffffe, 0x000000007fffffff,
867  0x000000007ffffffe, 0x000000007fffffff,
868  0x000000007ffffffe, 0x000000007fffffff,
869  0x000000007ffffffe, 0x000000007fffffff,
870  0x0000000040000000, 0x199999999999999a,
871  0x0000000060000000, 0x2666666666666667,
872  0x0000000070000000, 0x2ccccccccccccccd,
873  0x0000000078000000, 0x3000000000000000,
874  0x000000007c000000, 0x319999999999999a,
875  0x000000007e000000, 0x3266666666666667,
876  0x000000007f000000, 0x32cccccccccccccd,
877  0x000000007f800000, 0x3300000000000000,
878  0x000000007fc00000, 0x331999999999999a,
879  0x000000007fe00000, 0x3326666666666667,
880  0x000000007ff00000, 0x332ccccccccccccd,
881  0x000000007ff80000, 0x3330000000000000,
882  0x000000007ffc0000, 0x333199999999999a,
883  0x000000007ffe0000, 0x3332666666666667,
884  0x000000007fff0000, 0x3332cccccccccccd,
885  0x000000007fff8000, 0x3333000000000000,
886  0x000000007fffc000, 0x333319999999999a,
887  0x000000007fffe000, 0x3333266666666667,
888  0x000000007ffff000, 0x33332ccccccccccd,
889  0x000000007ffff800, 0x3333300000000000,
890  0x000000007ffffc00, 0x333331999999999a,
891  0x000000007ffffe00, 0x3333326666666667,
892  0x000000007fffff00, 0x333332cccccccccd,
893  0x000000007fffff80, 0x3333330000000000,
894  0x000000007fffffc0, 0x333333199999999a,
895  0x000000007fffffe0, 0x3333332666666667,
896  0x000000007ffffff0, 0x3333332ccccccccd,
897  0x000000007ffffff8, 0x3333333000000000,
898  0x000000007ffffffc, 0x333333319999999a,
899  0x000000007ffffffe, 0x3333333266666667,
900  0x000000007fffffff, 0x33333332cccccccd,
901  0x000000007fffffff, 0x3333333300000000,
902  0x000000007fffffff, 0x333333331999999a,
903  0x000000007fffffff, 0x3333333326666667,
904  0x000000007fffffff, 0x333333332ccccccd,
905  0x000000007fffffff, 0x3333333330000000,
906  0x000000007fffffff, 0x333333333199999a,
907  0x000000007fffffff, 0x3333333332666667,
908  0x000000007fffffff, 0x3333333332cccccd,
909  0x000000007fffffff, 0x3333333333000000,
910  0x000000007fffffff, 0x333333333319999a,
911  0x000000007fffffff, 0x3333333333266667,
912  0x000000007fffffff, 0x33333333332ccccd,
913  0x000000007fffffff, 0x3333333333300000,
914  0x000000007fffffff, 0x333333333331999a,
915  0x000000007fffffff, 0x3333333333326667,
916  0x000000007fffffff, 0x333333333332cccd,
917  0x000000007fffffff, 0x3333333333330000,
918  0x000000007fffffff, 0x333333333333199a,
919  0x000000007fffffff, 0x3333333333332667,
920  0x000000007fffffff, 0x3333333333332ccd,
921  0x000000007fffffff, 0x3333333333333000,
922  0x000000007fffffff, 0x333333333333319a,
923  0x000000007fffffff, 0x3333333333333267,
924  0x000000007fffffff, 0x33333333333332cd,
925  0x000000007fffffff, 0x3333333333333300,
926  0x000000007fffffff, 0x333333333333331a,
927  0x000000007fffffff, 0x3333333333333327,
928  0x000000007fffffff, 0x333333333333332d,
929  0x000000007fffffff, 0x3333333333333330,
930  0x000000007fffffff, 0x3333333333333332,
931  0x000000007fffffff, 0x3333333333333333,
932  0x000000007fffffff, 0x3333333333333333,
933  0x000000007fffffff, 0x3333333333333333,
934  0x199999999999999a, 0x2aaaaaaaaaaaaaab,
935  0x2666666666666667, 0x4000000000000000,
936  0x2ccccccccccccccd, 0x4aaaaaaaaaaaaaab,
937  0x3000000000000000, 0x5000000000000000,
938  0x319999999999999a, 0x52aaaaaaaaaaaaab,
939  0x3266666666666667, 0x5400000000000000,
940  0x32cccccccccccccd, 0x54aaaaaaaaaaaaab,
941  0x3300000000000000, 0x5500000000000000,
942  0x331999999999999a, 0x552aaaaaaaaaaaab,
943  0x3326666666666667, 0x5540000000000000,
944  0x332ccccccccccccd, 0x554aaaaaaaaaaaab,
945  0x3330000000000000, 0x5550000000000000,
946  0x333199999999999a, 0x5552aaaaaaaaaaab,
947  0x3332666666666667, 0x5554000000000000,
948  0x3332cccccccccccd, 0x5554aaaaaaaaaaab,
949  0x3333000000000000, 0x5555000000000000,
950  0x333319999999999a, 0x55552aaaaaaaaaab,
951  0x3333266666666667, 0x5555400000000000,
952  0x33332ccccccccccd, 0x55554aaaaaaaaaab,
953  0x3333300000000000, 0x5555500000000000,
954  0x333331999999999a, 0x555552aaaaaaaaab,
955  0x3333326666666667, 0x5555540000000000,
956  0x333332cccccccccd, 0x555554aaaaaaaaab,
957  0x3333330000000000, 0x5555550000000000,
958  0x333333199999999a, 0x5555552aaaaaaaab,
959  0x3333332666666667, 0x5555554000000000,
960  0x3333332ccccccccd, 0x5555554aaaaaaaab,
961  0x3333333000000000, 0x5555555000000000,
962  0x333333319999999a, 0x55555552aaaaaaab,
963  0x3333333266666667, 0x5555555400000000,
964  0x33333332cccccccd, 0x55555554aaaaaaab,
965  0x3333333300000000, 0x5555555500000000,
966  0x333333331999999a, 0x555555552aaaaaab,
967  0x3333333326666667, 0x5555555540000000,
968  0x333333332ccccccd, 0x555555554aaaaaab,
969  0x3333333330000000, 0x5555555550000000,
970  0x333333333199999a, 0x5555555552aaaaab,
971  0x3333333332666667, 0x5555555554000000,
972  0x3333333332cccccd, 0x5555555554aaaaab,
973  0x3333333333000000, 0x5555555555000000,
974  0x333333333319999a, 0x55555555552aaaab,
975  0x3333333333266667, 0x5555555555400000,
976  0x33333333332ccccd, 0x55555555554aaaab,
977  0x3333333333300000, 0x5555555555500000,
978  0x333333333331999a, 0x555555555552aaab,
979  0x3333333333326667, 0x5555555555540000,
980  0x333333333332cccd, 0x555555555554aaab,
981  0x3333333333330000, 0x5555555555550000,
982  0x333333333333199a, 0x5555555555552aab,
983  0x3333333333332667, 0x5555555555554000,
984  0x3333333333332ccd, 0x5555555555554aab,
985  0x3333333333333000, 0x5555555555555000,
986  0x333333333333319a, 0x55555555555552ab,
987  0x3333333333333267, 0x5555555555555400,
988  0x33333333333332cd, 0x55555555555554ab,
989  0x3333333333333300, 0x5555555555555500,
990  0x333333333333331a, 0x555555555555552b,
991  0x3333333333333327, 0x5555555555555540,
992  0x333333333333332d, 0x555555555555554b,
993  0x3333333333333330, 0x5555555555555550,
994  0x3333333333333332, 0x5555555555555553,
995  0x3333333333333333, 0x5555555555555554,
996  0x3333333333333333, 0x5555555555555555,
997  0x3333333333333333, 0x5555555555555555,
998  0x2aaaaaaaaaaaaaab, 0x3fffffffffffffff,
999  0x4000000000000000, 0x5ffffffffffffffe,
1000  0x4aaaaaaaaaaaaaab, 0x6ffffffffffffffe,
1001  0x5000000000000000, 0x77fffffffffffffe,
1002  0x52aaaaaaaaaaaaab, 0x7bfffffffffffffe,
1003  0x5400000000000000, 0x7dfffffffffffffe,
1004  0x54aaaaaaaaaaaaab, 0x7efffffffffffffe,
1005  0x5500000000000000, 0x7f7ffffffffffffe,
1006  0x552aaaaaaaaaaaab, 0x7fbffffffffffffe,
1007  0x5540000000000000, 0x7fdffffffffffffe,
1008  0x554aaaaaaaaaaaab, 0x7feffffffffffffe,
1009  0x5550000000000000, 0x7ff7fffffffffffe,
1010  0x5552aaaaaaaaaaab, 0x7ffbfffffffffffe,
1011  0x5554000000000000, 0x7ffdfffffffffffe,
1012  0x5554aaaaaaaaaaab, 0x7ffefffffffffffe,
1013  0x5555000000000000, 0x7fff7ffffffffffe,
1014  0x55552aaaaaaaaaab, 0x7fffbffffffffffe,
1015  0x5555400000000000, 0x7fffdffffffffffe,
1016  0x55554aaaaaaaaaab, 0x7fffeffffffffffe,
1017  0x5555500000000000, 0x7ffff7fffffffffe,
1018  0x555552aaaaaaaaab, 0x7ffffbfffffffffe,
1019  0x5555540000000000, 0x7ffffdfffffffffe,
1020  0x555554aaaaaaaaab, 0x7ffffefffffffffe,
1021  0x5555550000000000, 0x7fffff7ffffffffe,
1022  0x5555552aaaaaaaab, 0x7fffffbffffffffe,
1023  0x5555554000000000, 0x7fffffdffffffffe,
1024  0x5555554aaaaaaaab, 0x7fffffeffffffffe,
1025  0x5555555000000000, 0x7ffffff7fffffffe,
1026  0x55555552aaaaaaab, 0x7ffffffbfffffffe,
1027  0x5555555400000000, 0x7ffffffdfffffffe,
1028  0x55555554aaaaaaab, 0x7ffffffefffffffe,
1029  0x5555555500000000, 0x7fffffff7ffffffe,
1030  0x555555552aaaaaab, 0x7fffffffbffffffe,
1031  0x5555555540000000, 0x7fffffffdffffffe,
1032  0x555555554aaaaaab, 0x7fffffffeffffffe,
1033  0x5555555550000000, 0x7ffffffff7fffffe,
1034  0x5555555552aaaaab, 0x7ffffffffbfffffe,
1035  0x5555555554000000, 0x7ffffffffdfffffe,
1036  0x5555555554aaaaab, 0x7ffffffffefffffe,
1037  0x5555555555000000, 0x7fffffffff7ffffe,
1038  0x55555555552aaaab, 0x7fffffffffbffffe,
1039  0x5555555555400000, 0x7fffffffffdffffe,
1040  0x55555555554aaaab, 0x7fffffffffeffffe,
1041  0x5555555555500000, 0x7ffffffffff7fffe,
1042  0x555555555552aaab, 0x7ffffffffffbfffe,
1043  0x5555555555540000, 0x7ffffffffffdfffe,
1044  0x555555555554aaab, 0x7ffffffffffefffe,
1045  0x5555555555550000, 0x7fffffffffff7ffe,
1046  0x5555555555552aab, 0x7fffffffffffbffe,
1047  0x5555555555554000, 0x7fffffffffffdffe,
1048  0x5555555555554aab, 0x7fffffffffffeffe,
1049  0x5555555555555000, 0x7ffffffffffff7fe,
1050  0x55555555555552ab, 0x7ffffffffffffbfe,
1051  0x5555555555555400, 0x7ffffffffffffdfe,
1052  0x55555555555554ab, 0x7ffffffffffffefe,
1053  0x5555555555555500, 0x7fffffffffffff7e,
1054  0x555555555555552b, 0x7fffffffffffffbe,
1055  0x5555555555555540, 0x7fffffffffffffde,
1056  0x555555555555554b, 0x7fffffffffffffee,
1057  0x5555555555555550, 0x7ffffffffffffff6,
1058  0x5555555555555553, 0x7ffffffffffffffa,
1059  0x5555555555555554, 0x7ffffffffffffffc,
1060  0x5555555555555555, 0x7ffffffffffffffd,
1061  0x5555555555555555, 0x7ffffffffffffffd,
1062  0x3fffffffffffffff, 0x3fffffffffffffff,
1063  0x5ffffffffffffffe, 0x5fffffffffffffff,
1064  0x6ffffffffffffffe, 0x6fffffffffffffff,
1065  0x77fffffffffffffe, 0x77ffffffffffffff,
1066  0x7bfffffffffffffe, 0x7bffffffffffffff,
1067  0x7dfffffffffffffe, 0x7dffffffffffffff,
1068  0x7efffffffffffffe, 0x7effffffffffffff,
1069  0x7f7ffffffffffffe, 0x7f7fffffffffffff,
1070  0x7fbffffffffffffe, 0x7fbfffffffffffff,
1071  0x7fdffffffffffffe, 0x7fdfffffffffffff,
1072  0x7feffffffffffffe, 0x7fefffffffffffff,
1073  0x7ff7fffffffffffe, 0x7ff7ffffffffffff,
1074  0x7ffbfffffffffffe, 0x7ffbffffffffffff,
1075  0x7ffdfffffffffffe, 0x7ffdffffffffffff,
1076  0x7ffefffffffffffe, 0x7ffeffffffffffff,
1077  0x7fff7ffffffffffe, 0x7fff7fffffffffff,
1078  0x7fffbffffffffffe, 0x7fffbfffffffffff,
1079  0x7fffdffffffffffe, 0x7fffdfffffffffff,
1080  0x7fffeffffffffffe, 0x7fffefffffffffff,
1081  0x7ffff7fffffffffe, 0x7ffff7ffffffffff,
1082  0x7ffffbfffffffffe, 0x7ffffbffffffffff,
1083  0x7ffffdfffffffffe, 0x7ffffdffffffffff,
1084  0x7ffffefffffffffe, 0x7ffffeffffffffff,
1085  0x7fffff7ffffffffe, 0x7fffff7fffffffff,
1086  0x7fffffbffffffffe, 0x7fffffbfffffffff,
1087  0x7fffffdffffffffe, 0x7fffffdfffffffff,
1088  0x7fffffeffffffffe, 0x7fffffefffffffff,
1089  0x7ffffff7fffffffe, 0x7ffffff7ffffffff,
1090  0x7ffffffbfffffffe, 0x7ffffffbffffffff,
1091  0x7ffffffdfffffffe, 0x7ffffffdffffffff,
1092  0x7ffffffefffffffe, 0x7ffffffeffffffff,
1093  0x7fffffff7ffffffe, 0x7fffffff7fffffff,
1094  0x7fffffffbffffffe, 0x7fffffffbfffffff,
1095  0x7fffffffdffffffe, 0x7fffffffdfffffff,
1096  0x7fffffffeffffffe, 0x7fffffffefffffff,
1097  0x7ffffffff7fffffe, 0x7ffffffff7ffffff,
1098  0x7ffffffffbfffffe, 0x7ffffffffbffffff,
1099  0x7ffffffffdfffffe, 0x7ffffffffdffffff,
1100  0x7ffffffffefffffe, 0x7ffffffffeffffff,
1101  0x7fffffffff7ffffe, 0x7fffffffff7fffff,
1102  0x7fffffffffbffffe, 0x7fffffffffbfffff,
1103  0x7fffffffffdffffe, 0x7fffffffffdfffff,
1104  0x7fffffffffeffffe, 0x7fffffffffefffff,
1105  0x7ffffffffff7fffe, 0x7ffffffffff7ffff,
1106  0x7ffffffffffbfffe, 0x7ffffffffffbffff,
1107  0x7ffffffffffdfffe, 0x7ffffffffffdffff,
1108  0x7ffffffffffefffe, 0x7ffffffffffeffff,
1109  0x7fffffffffff7ffe, 0x7fffffffffff7fff,
1110  0x7fffffffffffbffe, 0x7fffffffffffbfff,
1111  0x7fffffffffffdffe, 0x7fffffffffffdfff,
1112  0x7fffffffffffeffe, 0x7fffffffffffefff,
1113  0x7ffffffffffff7fe, 0x7ffffffffffff7ff,
1114  0x7ffffffffffffbfe, 0x7ffffffffffffbff,
1115  0x7ffffffffffffdfe, 0x7ffffffffffffdff,
1116  0x7ffffffffffffefe, 0x7ffffffffffffeff,
1117  0x7fffffffffffff7e, 0x7fffffffffffff7f,
1118  0x7fffffffffffffbe, 0x7fffffffffffffbf,
1119  0x7fffffffffffffde, 0x7fffffffffffffdf,
1120  0x7fffffffffffffee, 0x7fffffffffffffef,
1121  0x7ffffffffffffff6, 0x7ffffffffffffff7,
1122  0x7ffffffffffffffa, 0x7ffffffffffffffb,
1123  0x7ffffffffffffffc, 0x7ffffffffffffffd,
1124  0x7ffffffffffffffd, 0x7ffffffffffffffe,
1125  0x7ffffffffffffffd, 0x7ffffffffffffffe,
1126  0x3fffffffffffffff, 0x4000000000000000,
1127  0x5fffffffffffffff, 0x6000000000000000,
1128  0x6fffffffffffffff, 0x7000000000000000,
1129  0x77ffffffffffffff, 0x7800000000000000,
1130  0x7bffffffffffffff, 0x7c00000000000000,
1131  0x7dffffffffffffff, 0x7e00000000000000,
1132  0x7effffffffffffff, 0x7f00000000000000,
1133  0x7f7fffffffffffff, 0x7f80000000000000,
1134  0x7fbfffffffffffff, 0x7fc0000000000000,
1135  0x7fdfffffffffffff, 0x7fe0000000000000,
1136  0x7fefffffffffffff, 0x7ff0000000000000,
1137  0x7ff7ffffffffffff, 0x7ff8000000000000,
1138  0x7ffbffffffffffff, 0x7ffc000000000000,
1139  0x7ffdffffffffffff, 0x7ffe000000000000,
1140  0x7ffeffffffffffff, 0x7fff000000000000,
1141  0x7fff7fffffffffff, 0x7fff800000000000,
1142  0x7fffbfffffffffff, 0x7fffc00000000000,
1143  0x7fffdfffffffffff, 0x7fffe00000000000,
1144  0x7fffefffffffffff, 0x7ffff00000000000,
1145  0x7ffff7ffffffffff, 0x7ffff80000000000,
1146  0x7ffffbffffffffff, 0x7ffffc0000000000,
1147  0x7ffffdffffffffff, 0x7ffffe0000000000,
1148  0x7ffffeffffffffff, 0x7fffff0000000000,
1149  0x7fffff7fffffffff, 0x7fffff8000000000,
1150  0x7fffffbfffffffff, 0x7fffffc000000000,
1151  0x7fffffdfffffffff, 0x7fffffe000000000,
1152  0x7fffffefffffffff, 0x7ffffff000000000,
1153  0x7ffffff7ffffffff, 0x7ffffff800000000,
1154  0x7ffffffbffffffff, 0x7ffffffc00000000,
1155  0x7ffffffdffffffff, 0x7ffffffe00000000,
1156  0x7ffffffeffffffff, 0x7fffffff00000000,
1157  0x7fffffff7fffffff, 0x7fffffff80000000,
1158  0x7fffffffbfffffff, 0x7fffffffc0000000,
1159  0x7fffffffdfffffff, 0x7fffffffe0000000,
1160  0x7fffffffefffffff, 0x7ffffffff0000000,
1161  0x7ffffffff7ffffff, 0x7ffffffff8000000,
1162  0x7ffffffffbffffff, 0x7ffffffffc000000,
1163  0x7ffffffffdffffff, 0x7ffffffffe000000,
1164  0x7ffffffffeffffff, 0x7fffffffff000000,
1165  0x7fffffffff7fffff, 0x7fffffffff800000,
1166  0x7fffffffffbfffff, 0x7fffffffffc00000,
1167  0x7fffffffffdfffff, 0x7fffffffffe00000,
1168  0x7fffffffffefffff, 0x7ffffffffff00000,
1169  0x7ffffffffff7ffff, 0x7ffffffffff80000,
1170  0x7ffffffffffbffff, 0x7ffffffffffc0000,
1171  0x7ffffffffffdffff, 0x7ffffffffffe0000,
1172  0x7ffffffffffeffff, 0x7fffffffffff0000,
1173  0x7fffffffffff7fff, 0x7fffffffffff8000,
1174  0x7fffffffffffbfff, 0x7fffffffffffc000,
1175  0x7fffffffffffdfff, 0x7fffffffffffe000,
1176  0x7fffffffffffefff, 0x7ffffffffffff000,
1177  0x7ffffffffffff7ff, 0x7ffffffffffff800,
1178  0x7ffffffffffffbff, 0x7ffffffffffffc00,
1179  0x7ffffffffffffdff, 0x7ffffffffffffe00,
1180  0x7ffffffffffffeff, 0x7fffffffffffff00,
1181  0x7fffffffffffff7f, 0x7fffffffffffff80,
1182  0x7fffffffffffffbf, 0x7fffffffffffffc0,
1183  0x7fffffffffffffdf, 0x7fffffffffffffe0,
1184  0x7fffffffffffffef, 0x7ffffffffffffff0,
1185  0x7ffffffffffffff7, 0x7ffffffffffffff8,
1186  0x7ffffffffffffffb, 0x7ffffffffffffffc,
1187  0x7ffffffffffffffd, 0x7ffffffffffffffe,
1188  0x7ffffffffffffffe, 0x7fffffffffffffff,
1189  0x7ffffffffffffffe, 0x7fffffffffffffff,
1190  0x4000000000000000, 0x4000000000000000,
1191  0x6000000000000000, 0x6000000000000000,
1192  0x7000000000000000, 0x7000000000000000,
1193  0x7800000000000000, 0x7800000000000000,
1194  0x7c00000000000000, 0x7c00000000000000,
1195  0x7e00000000000000, 0x7e00000000000000,
1196  0x7f00000000000000, 0x7f00000000000000,
1197  0x7f80000000000000, 0x7f80000000000000,
1198  0x7fc0000000000000, 0x7fc0000000000000,
1199  0x7fe0000000000000, 0x7fe0000000000000,
1200  0x7ff0000000000000, 0x7ff0000000000000,
1201  0x7ff8000000000000, 0x7ff8000000000000,
1202  0x7ffc000000000000, 0x7ffc000000000000,
1203  0x7ffe000000000000, 0x7ffe000000000000,
1204  0x7fff000000000000, 0x7fff000000000000,
1205  0x7fff800000000000, 0x7fff800000000000,
1206  0x7fffc00000000000, 0x7fffc00000000000,
1207  0x7fffe00000000000, 0x7fffe00000000000,
1208  0x7ffff00000000000, 0x7ffff00000000000,
1209  0x7ffff80000000000, 0x7ffff80000000000,
1210  0x7ffffc0000000000, 0x7ffffc0000000000,
1211  0x7ffffe0000000000, 0x7ffffe0000000000,
1212  0x7fffff0000000000, 0x7fffff0000000000,
1213  0x7fffff8000000000, 0x7fffff8000000000,
1214  0x7fffffc000000000, 0x7fffffc000000000,
1215  0x7fffffe000000000, 0x7fffffe000000000,
1216  0x7ffffff000000000, 0x7ffffff000000000,
1217  0x7ffffff800000000, 0x7ffffff800000000,
1218  0x7ffffffc00000000, 0x7ffffffc00000000,
1219  0x7ffffffe00000000, 0x7ffffffe00000000,
1220  0x7fffffff00000000, 0x7fffffff00000000,
1221  0x7fffffff80000000, 0x7fffffff80000000,
1222  0x7fffffffc0000000, 0x7fffffffc0000000,
1223  0x7fffffffe0000000, 0x7fffffffe0000000,
1224  0x7ffffffff0000000, 0x7ffffffff0000000,
1225  0x7ffffffff8000000, 0x7ffffffff8000000,
1226  0x7ffffffffc000000, 0x7ffffffffc000000,
1227  0x7ffffffffe000000, 0x7ffffffffe000000,
1228  0x7fffffffff000000, 0x7fffffffff000000,
1229  0x7fffffffff800000, 0x7fffffffff800000,
1230  0x7fffffffffc00000, 0x7fffffffffc00000,
1231  0x7fffffffffe00000, 0x7fffffffffe00000,
1232  0x7ffffffffff00000, 0x7ffffffffff00000,
1233  0x7ffffffffff80000, 0x7ffffffffff80000,
1234  0x7ffffffffffc0000, 0x7ffffffffffc0000,
1235  0x7ffffffffffe0000, 0x7ffffffffffe0000,
1236  0x7fffffffffff0000, 0x7fffffffffff0000,
1237  0x7fffffffffff8000, 0x7fffffffffff8000,
1238  0x7fffffffffffc000, 0x7fffffffffffc000,
1239  0x7fffffffffffe000, 0x7fffffffffffe000,
1240  0x7ffffffffffff000, 0x7ffffffffffff000,
1241  0x7ffffffffffff800, 0x7ffffffffffff800,
1242  0x7ffffffffffffc00, 0x7ffffffffffffc00,
1243  0x7ffffffffffffe00, 0x7ffffffffffffe00,
1244  0x7fffffffffffff00, 0x7fffffffffffff00,
1245  0x7fffffffffffff80, 0x7fffffffffffff80,
1246  0x7fffffffffffffc0, 0x7fffffffffffffc0,
1247  0x7fffffffffffffe0, 0x7fffffffffffffe0,
1248  0x7ffffffffffffff0, 0x7ffffffffffffff0,
1249  0x7ffffffffffffff8, 0x7ffffffffffffff8,
1250  0x7ffffffffffffffc, 0x7ffffffffffffffc,
1251  0x7ffffffffffffffe, 0x7ffffffffffffffe,
1252  0x7fffffffffffffff, 0x7fffffffffffffff,
1253  0x7fffffffffffffff, 0x8000000000000000,
1254  0x4000000000000000, 0x4000000000000001,
1255  0x6000000000000000, 0x6000000000000001,
1256  0x7000000000000000, 0x7000000000000001,
1257  0x7800000000000000, 0x7800000000000001,
1258  0x7c00000000000000, 0x7c00000000000001,
1259  0x7e00000000000000, 0x7e00000000000001,
1260  0x7f00000000000000, 0x7f00000000000001,
1261  0x7f80000000000000, 0x7f80000000000001,
1262  0x7fc0000000000000, 0x7fc0000000000001,
1263  0x7fe0000000000000, 0x7fe0000000000001,
1264  0x7ff0000000000000, 0x7ff0000000000001,
1265  0x7ff8000000000000, 0x7ff8000000000001,
1266  0x7ffc000000000000, 0x7ffc000000000001,
1267  0x7ffe000000000000, 0x7ffe000000000001,
1268  0x7fff000000000000, 0x7fff000000000001,
1269  0x7fff800000000000, 0x7fff800000000001,
1270  0x7fffc00000000000, 0x7fffc00000000001,
1271  0x7fffe00000000000, 0x7fffe00000000001,
1272  0x7ffff00000000000, 0x7ffff00000000001,
1273  0x7ffff80000000000, 0x7ffff80000000001,
1274  0x7ffffc0000000000, 0x7ffffc0000000001,
1275  0x7ffffe0000000000, 0x7ffffe0000000001,
1276  0x7fffff0000000000, 0x7fffff0000000001,
1277  0x7fffff8000000000, 0x7fffff8000000001,
1278  0x7fffffc000000000, 0x7fffffc000000001,
1279  0x7fffffe000000000, 0x7fffffe000000001,
1280  0x7ffffff000000000, 0x7ffffff000000001,
1281  0x7ffffff800000000, 0x7ffffff800000001,
1282  0x7ffffffc00000000, 0x7ffffffc00000001,
1283  0x7ffffffe00000000, 0x7ffffffe00000001,
1284  0x7fffffff00000000, 0x7fffffff00000001,
1285  0x7fffffff80000000, 0x7fffffff80000001,
1286  0x7fffffffc0000000, 0x7fffffffc0000001,
1287  0x7fffffffe0000000, 0x7fffffffe0000001,
1288  0x7ffffffff0000000, 0x7ffffffff0000001,
1289  0x7ffffffff8000000, 0x7ffffffff8000001,
1290  0x7ffffffffc000000, 0x7ffffffffc000001,
1291  0x7ffffffffe000000, 0x7ffffffffe000001,
1292  0x7fffffffff000000, 0x7fffffffff000001,
1293  0x7fffffffff800000, 0x7fffffffff800001,
1294  0x7fffffffffc00000, 0x7fffffffffc00001,
1295  0x7fffffffffe00000, 0x7fffffffffe00001,
1296  0x7ffffffffff00000, 0x7ffffffffff00001,
1297  0x7ffffffffff80000, 0x7ffffffffff80001,
1298  0x7ffffffffffc0000, 0x7ffffffffffc0001,
1299  0x7ffffffffffe0000, 0x7ffffffffffe0001,
1300  0x7fffffffffff0000, 0x7fffffffffff0001,
1301  0x7fffffffffff8000, 0x7fffffffffff8001,
1302  0x7fffffffffffc000, 0x7fffffffffffc001,
1303  0x7fffffffffffe000, 0x7fffffffffffe001,
1304  0x7ffffffffffff000, 0x7ffffffffffff001,
1305  0x7ffffffffffff800, 0x7ffffffffffff801,
1306  0x7ffffffffffffc00, 0x7ffffffffffffc01,
1307  0x7ffffffffffffe00, 0x7ffffffffffffe01,
1308  0x7fffffffffffff00, 0x7fffffffffffff01,
1309  0x7fffffffffffff80, 0x7fffffffffffff81,
1310  0x7fffffffffffffc0, 0x7fffffffffffffc1,
1311  0x7fffffffffffffe0, 0x7fffffffffffffe1,
1312  0x7ffffffffffffff0, 0x7ffffffffffffff1,
1313  0x7ffffffffffffff8, 0x7ffffffffffffff9,
1314  0x7ffffffffffffffc, 0x7ffffffffffffffd,
1315  0x7ffffffffffffffe, 0x7fffffffffffffff,
1316  0x7fffffffffffffff, 0x8000000000000000,
1317  0x8000000000000000, 0x8000000000000001,
1318  0x4000000000000001, 0x4000000000000001,
1319  0x6000000000000001, 0x6000000000000002,
1320  0x7000000000000001, 0x7000000000000002,
1321  0x7800000000000001, 0x7800000000000002,
1322  0x7c00000000000001, 0x7c00000000000002,
1323  0x7e00000000000001, 0x7e00000000000002,
1324  0x7f00000000000001, 0x7f00000000000002,
1325  0x7f80000000000001, 0x7f80000000000002,
1326  0x7fc0000000000001, 0x7fc0000000000002,
1327  0x7fe0000000000001, 0x7fe0000000000002,
1328  0x7ff0000000000001, 0x7ff0000000000002,
1329  0x7ff8000000000001, 0x7ff8000000000002,
1330  0x7ffc000000000001, 0x7ffc000000000002,
1331  0x7ffe000000000001, 0x7ffe000000000002,
1332  0x7fff000000000001, 0x7fff000000000002,
1333  0x7fff800000000001, 0x7fff800000000002,
1334  0x7fffc00000000001, 0x7fffc00000000002,
1335  0x7fffe00000000001, 0x7fffe00000000002,
1336  0x7ffff00000000001, 0x7ffff00000000002,
1337  0x7ffff80000000001, 0x7ffff80000000002,
1338  0x7ffffc0000000001, 0x7ffffc0000000002,
1339  0x7ffffe0000000001, 0x7ffffe0000000002,
1340  0x7fffff0000000001, 0x7fffff0000000002,
1341  0x7fffff8000000001, 0x7fffff8000000002,
1342  0x7fffffc000000001, 0x7fffffc000000002,
1343  0x7fffffe000000001, 0x7fffffe000000002,
1344  0x7ffffff000000001, 0x7ffffff000000002,
1345  0x7ffffff800000001, 0x7ffffff800000002,
1346  0x7ffffffc00000001, 0x7ffffffc00000002,
1347  0x7ffffffe00000001, 0x7ffffffe00000002,
1348  0x7fffffff00000001, 0x7fffffff00000002,
1349  0x7fffffff80000001, 0x7fffffff80000002,
1350  0x7fffffffc0000001, 0x7fffffffc0000002,
1351  0x7fffffffe0000001, 0x7fffffffe0000002,
1352  0x7ffffffff0000001, 0x7ffffffff0000002,
1353  0x7ffffffff8000001, 0x7ffffffff8000002,
1354  0x7ffffffffc000001, 0x7ffffffffc000002,
1355  0x7ffffffffe000001, 0x7ffffffffe000002,
1356  0x7fffffffff000001, 0x7fffffffff000002,
1357  0x7fffffffff800001, 0x7fffffffff800002,
1358  0x7fffffffffc00001, 0x7fffffffffc00002,
1359  0x7fffffffffe00001, 0x7fffffffffe00002,
1360  0x7ffffffffff00001, 0x7ffffffffff00002,
1361  0x7ffffffffff80001, 0x7ffffffffff80002,
1362  0x7ffffffffffc0001, 0x7ffffffffffc0002,
1363  0x7ffffffffffe0001, 0x7ffffffffffe0002,
1364  0x7fffffffffff0001, 0x7fffffffffff0002,
1365  0x7fffffffffff8001, 0x7fffffffffff8002,
1366  0x7fffffffffffc001, 0x7fffffffffffc002,
1367  0x7fffffffffffe001, 0x7fffffffffffe002,
1368  0x7ffffffffffff001, 0x7ffffffffffff002,
1369  0x7ffffffffffff801, 0x7ffffffffffff802,
1370  0x7ffffffffffffc01, 0x7ffffffffffffc02,
1371  0x7ffffffffffffe01, 0x7ffffffffffffe02,
1372  0x7fffffffffffff01, 0x7fffffffffffff02,
1373  0x7fffffffffffff81, 0x7fffffffffffff82,
1374  0x7fffffffffffffc1, 0x7fffffffffffffc2,
1375  0x7fffffffffffffe1, 0x7fffffffffffffe2,
1376  0x7ffffffffffffff1, 0x7ffffffffffffff2,
1377  0x7ffffffffffffff9, 0x7ffffffffffffffa,
1378  0x7ffffffffffffffd, 0x7ffffffffffffffe,
1379  0x7fffffffffffffff, 0x8000000000000000,
1380  0x8000000000000000, 0x8000000000000001,
1381  0x8000000000000001, 0x8000000000000002,
1382  0x4000000000000001, 0x4000000000000002,
1383  0x6000000000000002, 0x6000000000000003,
1384  0x7000000000000002, 0x7000000000000003,
1385  0x7800000000000002, 0x7800000000000003,
1386  0x7c00000000000002, 0x7c00000000000003,
1387  0x7e00000000000002, 0x7e00000000000003,
1388  0x7f00000000000002, 0x7f00000000000003,
1389  0x7f80000000000002, 0x7f80000000000003,
1390  0x7fc0000000000002, 0x7fc0000000000003,
1391  0x7fe0000000000002, 0x7fe0000000000003,
1392  0x7ff0000000000002, 0x7ff0000000000003,
1393  0x7ff8000000000002, 0x7ff8000000000003,
1394  0x7ffc000000000002, 0x7ffc000000000003,
1395  0x7ffe000000000002, 0x7ffe000000000003,
1396  0x7fff000000000002, 0x7fff000000000003,
1397  0x7fff800000000002, 0x7fff800000000003,
1398  0x7fffc00000000002, 0x7fffc00000000003,
1399  0x7fffe00000000002, 0x7fffe00000000003,
1400  0x7ffff00000000002, 0x7ffff00000000003,
1401  0x7ffff80000000002, 0x7ffff80000000003,
1402  0x7ffffc0000000002, 0x7ffffc0000000003,
1403  0x7ffffe0000000002, 0x7ffffe0000000003,
1404  0x7fffff0000000002, 0x7fffff0000000003,
1405  0x7fffff8000000002, 0x7fffff8000000003,
1406  0x7fffffc000000002, 0x7fffffc000000003,
1407  0x7fffffe000000002, 0x7fffffe000000003,
1408  0x7ffffff000000002, 0x7ffffff000000003,
1409  0x7ffffff800000002, 0x7ffffff800000003,
1410  0x7ffffffc00000002, 0x7ffffffc00000003,
1411  0x7ffffffe00000002, 0x7ffffffe00000003,
1412  0x7fffffff00000002, 0x7fffffff00000003,
1413  0x7fffffff80000002, 0x7fffffff80000003,
1414  0x7fffffffc0000002, 0x7fffffffc0000003,
1415  0x7fffffffe0000002, 0x7fffffffe0000003,
1416  0x7ffffffff0000002, 0x7ffffffff0000003,
1417  0x7ffffffff8000002, 0x7ffffffff8000003,
1418  0x7ffffffffc000002, 0x7ffffffffc000003,
1419  0x7ffffffffe000002, 0x7ffffffffe000003,
1420  0x7fffffffff000002, 0x7fffffffff000003,
1421  0x7fffffffff800002, 0x7fffffffff800003,
1422  0x7fffffffffc00002, 0x7fffffffffc00003,
1423  0x7fffffffffe00002, 0x7fffffffffe00003,
1424  0x7ffffffffff00002, 0x7ffffffffff00003,
1425  0x7ffffffffff80002, 0x7ffffffffff80003,
1426  0x7ffffffffffc0002, 0x7ffffffffffc0003,
1427  0x7ffffffffffe0002, 0x7ffffffffffe0003,
1428  0x7fffffffffff0002, 0x7fffffffffff0003,
1429  0x7fffffffffff8002, 0x7fffffffffff8003,
1430  0x7fffffffffffc002, 0x7fffffffffffc003,
1431  0x7fffffffffffe002, 0x7fffffffffffe003,
1432  0x7ffffffffffff002, 0x7ffffffffffff003,
1433  0x7ffffffffffff802, 0x7ffffffffffff803,
1434  0x7ffffffffffffc02, 0x7ffffffffffffc03,
1435  0x7ffffffffffffe02, 0x7ffffffffffffe03,
1436  0x7fffffffffffff02, 0x7fffffffffffff03,
1437  0x7fffffffffffff82, 0x7fffffffffffff83,
1438  0x7fffffffffffffc2, 0x7fffffffffffffc3,
1439  0x7fffffffffffffe2, 0x7fffffffffffffe3,
1440  0x7ffffffffffffff2, 0x7ffffffffffffff3,
1441  0x7ffffffffffffffa, 0x7ffffffffffffffb,
1442  0x7ffffffffffffffe, 0x7fffffffffffffff,
1443  0x8000000000000000, 0x8000000000000001,
1444  0x8000000000000001, 0x8000000000000002,
1445  0x8000000000000002, 0x8000000000000003,
1446  0x4000000000000002, 0x5555555555555555,
1447  0x6000000000000003, 0x8000000000000000,
1448  0x7000000000000003, 0x9555555555555555,
1449  0x7800000000000003, 0xa000000000000000,
1450  0x7c00000000000003, 0xa555555555555555,
1451  0x7e00000000000003, 0xa800000000000000,
1452  0x7f00000000000003, 0xa955555555555555,
1453  0x7f80000000000003, 0xaa00000000000000,
1454  0x7fc0000000000003, 0xaa55555555555555,
1455  0x7fe0000000000003, 0xaa80000000000000,
1456  0x7ff0000000000003, 0xaa95555555555555,
1457  0x7ff8000000000003, 0xaaa0000000000000,
1458  0x7ffc000000000003, 0xaaa5555555555555,
1459  0x7ffe000000000003, 0xaaa8000000000000,
1460  0x7fff000000000003, 0xaaa9555555555555,
1461  0x7fff800000000003, 0xaaaa000000000000,
1462  0x7fffc00000000003, 0xaaaa555555555555,
1463  0x7fffe00000000003, 0xaaaa800000000000,
1464  0x7ffff00000000003, 0xaaaa955555555555,
1465  0x7ffff80000000003, 0xaaaaa00000000000,
1466  0x7ffffc0000000003, 0xaaaaa55555555555,
1467  0x7ffffe0000000003, 0xaaaaa80000000000,
1468  0x7fffff0000000003, 0xaaaaa95555555555,
1469  0x7fffff8000000003, 0xaaaaaa0000000000,
1470  0x7fffffc000000003, 0xaaaaaa5555555555,
1471  0x7fffffe000000003, 0xaaaaaa8000000000,
1472  0x7ffffff000000003, 0xaaaaaa9555555555,
1473  0x7ffffff800000003, 0xaaaaaaa000000000,
1474  0x7ffffffc00000003, 0xaaaaaaa555555555,
1475  0x7ffffffe00000003, 0xaaaaaaa800000000,
1476  0x7fffffff00000003, 0xaaaaaaa955555555,
1477  0x7fffffff80000003, 0xaaaaaaaa00000000,
1478  0x7fffffffc0000003, 0xaaaaaaaa55555555,
1479  0x7fffffffe0000003, 0xaaaaaaaa80000000,
1480  0x7ffffffff0000003, 0xaaaaaaaa95555555,
1481  0x7ffffffff8000003, 0xaaaaaaaaa0000000,
1482  0x7ffffffffc000003, 0xaaaaaaaaa5555555,
1483  0x7ffffffffe000003, 0xaaaaaaaaa8000000,
1484  0x7fffffffff000003, 0xaaaaaaaaa9555555,
1485  0x7fffffffff800003, 0xaaaaaaaaaa000000,
1486  0x7fffffffffc00003, 0xaaaaaaaaaa555555,
1487  0x7fffffffffe00003, 0xaaaaaaaaaa800000,
1488  0x7ffffffffff00003, 0xaaaaaaaaaa955555,
1489  0x7ffffffffff80003, 0xaaaaaaaaaaa00000,
1490  0x7ffffffffffc0003, 0xaaaaaaaaaaa55555,
1491  0x7ffffffffffe0003, 0xaaaaaaaaaaa80000,
1492  0x7fffffffffff0003, 0xaaaaaaaaaaa95555,
1493  0x7fffffffffff8003, 0xaaaaaaaaaaaa0000,
1494  0x7fffffffffffc003, 0xaaaaaaaaaaaa5555,
1495  0x7fffffffffffe003, 0xaaaaaaaaaaaa8000,
1496  0x7ffffffffffff003, 0xaaaaaaaaaaaa9555,
1497  0x7ffffffffffff803, 0xaaaaaaaaaaaaa000,
1498  0x7ffffffffffffc03, 0xaaaaaaaaaaaaa555,
1499  0x7ffffffffffffe03, 0xaaaaaaaaaaaaa800,
1500  0x7fffffffffffff03, 0xaaaaaaaaaaaaa955,
1501  0x7fffffffffffff83, 0xaaaaaaaaaaaaaa00,
1502  0x7fffffffffffffc3, 0xaaaaaaaaaaaaaa55,
1503  0x7fffffffffffffe3, 0xaaaaaaaaaaaaaa80,
1504  0x7ffffffffffffff3, 0xaaaaaaaaaaaaaa95,
1505  0x7ffffffffffffffb, 0xaaaaaaaaaaaaaaa0,
1506  0x7fffffffffffffff, 0xaaaaaaaaaaaaaaa5,
1507  0x8000000000000001, 0xaaaaaaaaaaaaaaa8,
1508  0x8000000000000002, 0xaaaaaaaaaaaaaaa9,
1509  0x8000000000000003, 0xaaaaaaaaaaaaaaaa,
1510  0x5555555555555555, 0x6666666666666666,
1511  0x8000000000000000, 0x9999999999999999,
1512  0x9555555555555555, 0xb333333333333333,
1513  0xa000000000000000, 0xc000000000000000,
1514  0xa555555555555555, 0xc666666666666666,
1515  0xa800000000000000, 0xc999999999999999,
1516  0xa955555555555555, 0xcb33333333333333,
1517  0xaa00000000000000, 0xcc00000000000000,
1518  0xaa55555555555555, 0xcc66666666666666,
1519  0xaa80000000000000, 0xcc99999999999999,
1520  0xaa95555555555555, 0xccb3333333333333,
1521  0xaaa0000000000000, 0xccc0000000000000,
1522  0xaaa5555555555555, 0xccc6666666666666,
1523  0xaaa8000000000000, 0xccc9999999999999,
1524  0xaaa9555555555555, 0xcccb333333333333,
1525  0xaaaa000000000000, 0xcccc000000000000,
1526  0xaaaa555555555555, 0xcccc666666666666,
1527  0xaaaa800000000000, 0xcccc999999999999,
1528  0xaaaa955555555555, 0xccccb33333333333,
1529  0xaaaaa00000000000, 0xccccc00000000000,
1530  0xaaaaa55555555555, 0xccccc66666666666,
1531  0xaaaaa80000000000, 0xccccc99999999999,
1532  0xaaaaa95555555555, 0xcccccb3333333333,
1533  0xaaaaaa0000000000, 0xcccccc0000000000,
1534  0xaaaaaa5555555555, 0xcccccc6666666666,
1535  0xaaaaaa8000000000, 0xcccccc9999999999,
1536  0xaaaaaa9555555555, 0xccccccb333333333,
1537  0xaaaaaaa000000000, 0xccccccc000000000,
1538  0xaaaaaaa555555555, 0xccccccc666666666,
1539  0xaaaaaaa800000000, 0xccccccc999999999,
1540  0xaaaaaaa955555555, 0xcccccccb33333333,
1541  0xaaaaaaaa00000000, 0xcccccccc00000000,
1542  0xaaaaaaaa55555555, 0xcccccccc66666666,
1543  0xaaaaaaaa80000000, 0xcccccccc99999999,
1544  0xaaaaaaaa95555555, 0xccccccccb3333333,
1545  0xaaaaaaaaa0000000, 0xccccccccc0000000,
1546  0xaaaaaaaaa5555555, 0xccccccccc6666666,
1547  0xaaaaaaaaa8000000, 0xccccccccc9999999,
1548  0xaaaaaaaaa9555555, 0xcccccccccb333333,
1549  0xaaaaaaaaaa000000, 0xcccccccccc000000,
1550  0xaaaaaaaaaa555555, 0xcccccccccc666666,
1551  0xaaaaaaaaaa800000, 0xcccccccccc999999,
1552  0xaaaaaaaaaa955555, 0xccccccccccb33333,
1553  0xaaaaaaaaaaa00000, 0xccccccccccc00000,
1554  0xaaaaaaaaaaa55555, 0xccccccccccc66666,
1555  0xaaaaaaaaaaa80000, 0xccccccccccc99999,
1556  0xaaaaaaaaaaa95555, 0xcccccccccccb3333,
1557  0xaaaaaaaaaaaa0000, 0xcccccccccccc0000,
1558  0xaaaaaaaaaaaa5555, 0xcccccccccccc6666,
1559  0xaaaaaaaaaaaa8000, 0xcccccccccccc9999,
1560  0xaaaaaaaaaaaa9555, 0xccccccccccccb333,
1561  0xaaaaaaaaaaaaa000, 0xccccccccccccc000,
1562  0xaaaaaaaaaaaaa555, 0xccccccccccccc666,
1563  0xaaaaaaaaaaaaa800, 0xccccccccccccc999,
1564  0xaaaaaaaaaaaaa955, 0xcccccccccccccb33,
1565  0xaaaaaaaaaaaaaa00, 0xcccccccccccccc00,
1566  0xaaaaaaaaaaaaaa55, 0xcccccccccccccc66,
1567  0xaaaaaaaaaaaaaa80, 0xcccccccccccccc99,
1568  0xaaaaaaaaaaaaaa95, 0xccccccccccccccb3,
1569  0xaaaaaaaaaaaaaaa0, 0xccccccccccccccc0,
1570  0xaaaaaaaaaaaaaaa5, 0xccccccccccccccc6,
1571  0xaaaaaaaaaaaaaaa8, 0xccccccccccccccc9,
1572  0xaaaaaaaaaaaaaaa9, 0xcccccccccccccccb,
1573  0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccc,
1574  0x6666666666666666, 0x7fffffffc0000000,
1575  0x9999999999999999, 0xbfffffffa0000000,
1576  0xb333333333333333, 0xdfffffff90000000,
1577  0xc000000000000000, 0xefffffff88000000,
1578  0xc666666666666666, 0xf7ffffff84000000,
1579  0xc999999999999999, 0xfbffffff82000000,
1580  0xcb33333333333333, 0xfdffffff81000000,
1581  0xcc00000000000000, 0xfeffffff80800000,
1582  0xcc66666666666666, 0xff7fffff80400000,
1583  0xcc99999999999999, 0xffbfffff80200000,
1584  0xccb3333333333333, 0xffdfffff80100000,
1585  0xccc0000000000000, 0xffefffff80080000,
1586  0xccc6666666666666, 0xfff7ffff80040000,
1587  0xccc9999999999999, 0xfffbffff80020000,
1588  0xcccb333333333333, 0xfffdffff80010000,
1589  0xcccc000000000000, 0xfffeffff80008000,
1590  0xcccc666666666666, 0xffff7fff80004000,
1591  0xcccc999999999999, 0xffffbfff80002000,
1592  0xccccb33333333333, 0xffffdfff80001000,
1593  0xccccc00000000000, 0xffffefff80000800,
1594  0xccccc66666666666, 0xfffff7ff80000400,
1595  0xccccc99999999999, 0xfffffbff80000200,
1596  0xcccccb3333333333, 0xfffffdff80000100,
1597  0xcccccc0000000000, 0xfffffeff80000080,
1598  0xcccccc6666666666, 0xffffff7f80000040,
1599  0xcccccc9999999999, 0xffffffbf80000020,
1600  0xccccccb333333333, 0xffffffdf80000010,
1601  0xccccccc000000000, 0xffffffef80000008,
1602  0xccccccc666666666, 0xfffffff780000004,
1603  0xccccccc999999999, 0xfffffffb80000002,
1604  0xcccccccb33333333, 0xfffffffd80000001,
1605  0xcccccccc00000000, 0xfffffffe80000001,
1606  0xcccccccc66666666, 0xffffffff00000001,
1607  0xcccccccc99999999, 0xffffffff40000001,
1608  0xccccccccb3333333, 0xffffffff60000001,
1609  0xccccccccc0000000, 0xffffffff70000001,
1610  0xccccccccc6666666, 0xffffffff78000001,
1611  0xccccccccc9999999, 0xffffffff7c000001,
1612  0xcccccccccb333333, 0xffffffff7e000001,
1613  0xcccccccccc000000, 0xffffffff7f000001,
1614  0xcccccccccc666666, 0xffffffff7f800001,
1615  0xcccccccccc999999, 0xffffffff7fc00001,
1616  0xccccccccccb33333, 0xffffffff7fe00001,
1617  0xccccccccccc00000, 0xffffffff7ff00001,
1618  0xccccccccccc66666, 0xffffffff7ff80001,
1619  0xccccccccccc99999, 0xffffffff7ffc0001,
1620  0xcccccccccccb3333, 0xffffffff7ffe0001,
1621  0xcccccccccccc0000, 0xffffffff7fff0001,
1622  0xcccccccccccc6666, 0xffffffff7fff8001,
1623  0xcccccccccccc9999, 0xffffffff7fffc001,
1624  0xccccccccccccb333, 0xffffffff7fffe001,
1625  0xccccccccccccc000, 0xffffffff7ffff001,
1626  0xccccccccccccc666, 0xffffffff7ffff801,
1627  0xccccccccccccc999, 0xffffffff7ffffc01,
1628  0xcccccccccccccb33, 0xffffffff7ffffe01,
1629  0xcccccccccccccc00, 0xffffffff7fffff01,
1630  0xcccccccccccccc66, 0xffffffff7fffff81,
1631  0xcccccccccccccc99, 0xffffffff7fffffc1,
1632  0xccccccccccccccb3, 0xffffffff7fffffe1,
1633  0xccccccccccccccc0, 0xffffffff7ffffff1,
1634  0xccccccccccccccc6, 0xffffffff7ffffff9,
1635  0xccccccccccccccc9, 0xffffffff7ffffffd,
1636  0xcccccccccccccccb, 0xffffffff7fffffff,
1637  0xcccccccccccccccc, 0xffffffff80000000,
1638  0x7fffffffc0000000, 0x7fffffffc0000001,
1639  0xbfffffffa0000000, 0xbfffffffa0000001,
1640  0xdfffffff90000000, 0xdfffffff90000001,
1641  0xefffffff88000000, 0xefffffff88000001,
1642  0xf7ffffff84000000, 0xf7ffffff84000001,
1643  0xfbffffff82000000, 0xfbffffff82000001,
1644  0xfdffffff81000000, 0xfdffffff81000001,
1645  0xfeffffff80800000, 0xfeffffff80800001,
1646  0xff7fffff80400000, 0xff7fffff80400001,
1647  0xffbfffff80200000, 0xffbfffff80200001,
1648  0xffdfffff80100000, 0xffdfffff80100001,
1649  0xffefffff80080000, 0xffefffff80080001,
1650  0xfff7ffff80040000, 0xfff7ffff80040001,
1651  0xfffbffff80020000, 0xfffbffff80020001,
1652  0xfffdffff80010000, 0xfffdffff80010001,
1653  0xfffeffff80008000, 0xfffeffff80008001,
1654  0xffff7fff80004000, 0xffff7fff80004001,
1655  0xffffbfff80002000, 0xffffbfff80002001,
1656  0xffffdfff80001000, 0xffffdfff80001001,
1657  0xffffefff80000800, 0xffffefff80000801,
1658  0xfffff7ff80000400, 0xfffff7ff80000401,
1659  0xfffffbff80000200, 0xfffffbff80000201,
1660  0xfffffdff80000100, 0xfffffdff80000101,
1661  0xfffffeff80000080, 0xfffffeff80000081,
1662  0xffffff7f80000040, 0xffffff7f80000041,
1663  0xffffffbf80000020, 0xffffffbf80000021,
1664  0xffffffdf80000010, 0xffffffdf80000011,
1665  0xffffffef80000008, 0xffffffef80000009,
1666  0xfffffff780000004, 0xfffffff780000005,
1667  0xfffffffb80000002, 0xfffffffb80000003,
1668  0xfffffffd80000001, 0xfffffffd80000002,
1669  0xfffffffe80000001, 0xfffffffe80000002,
1670  0xffffffff00000001, 0xffffffff00000002,
1671  0xffffffff40000001, 0xffffffff40000002,
1672  0xffffffff60000001, 0xffffffff60000002,
1673  0xffffffff70000001, 0xffffffff70000002,
1674  0xffffffff78000001, 0xffffffff78000002,
1675  0xffffffff7c000001, 0xffffffff7c000002,
1676  0xffffffff7e000001, 0xffffffff7e000002,
1677  0xffffffff7f000001, 0xffffffff7f000002,
1678  0xffffffff7f800001, 0xffffffff7f800002,
1679  0xffffffff7fc00001, 0xffffffff7fc00002,
1680  0xffffffff7fe00001, 0xffffffff7fe00002,
1681  0xffffffff7ff00001, 0xffffffff7ff00002,
1682  0xffffffff7ff80001, 0xffffffff7ff80002,
1683  0xffffffff7ffc0001, 0xffffffff7ffc0002,
1684  0xffffffff7ffe0001, 0xffffffff7ffe0002,
1685  0xffffffff7fff0001, 0xffffffff7fff0002,
1686  0xffffffff7fff8001, 0xffffffff7fff8002,
1687  0xffffffff7fffc001, 0xffffffff7fffc002,
1688  0xffffffff7fffe001, 0xffffffff7fffe002,
1689  0xffffffff7ffff001, 0xffffffff7ffff002,
1690  0xffffffff7ffff801, 0xffffffff7ffff802,
1691  0xffffffff7ffffc01, 0xffffffff7ffffc02,
1692  0xffffffff7ffffe01, 0xffffffff7ffffe02,
1693  0xffffffff7fffff01, 0xffffffff7fffff02,
1694  0xffffffff7fffff81, 0xffffffff7fffff82,
1695  0xffffffff7fffffc1, 0xffffffff7fffffc2,
1696  0xffffffff7fffffe1, 0xffffffff7fffffe2,
1697  0xffffffff7ffffff1, 0xffffffff7ffffff2,
1698  0xffffffff7ffffff9, 0xffffffff7ffffffa,
1699  0xffffffff7ffffffd, 0xffffffff7ffffffe,
1700  0xffffffff7fffffff, 0xffffffff80000000,
1701  0xffffffff80000000, 0xffffffff80000001,
1702  0x7fffffffc0000001, 0x7fffffffc0000001,
1703  0xbfffffffa0000001, 0xbfffffffa0000002,
1704  0xdfffffff90000001, 0xdfffffff90000002,
1705  0xefffffff88000001, 0xefffffff88000002,
1706  0xf7ffffff84000001, 0xf7ffffff84000002,
1707  0xfbffffff82000001, 0xfbffffff82000002,
1708  0xfdffffff81000001, 0xfdffffff81000002,
1709  0xfeffffff80800001, 0xfeffffff80800002,
1710  0xff7fffff80400001, 0xff7fffff80400002,
1711  0xffbfffff80200001, 0xffbfffff80200002,
1712  0xffdfffff80100001, 0xffdfffff80100002,
1713  0xffefffff80080001, 0xffefffff80080002,
1714  0xfff7ffff80040001, 0xfff7ffff80040002,
1715  0xfffbffff80020001, 0xfffbffff80020002,
1716  0xfffdffff80010001, 0xfffdffff80010002,
1717  0xfffeffff80008001, 0xfffeffff80008002,
1718  0xffff7fff80004001, 0xffff7fff80004002,
1719  0xffffbfff80002001, 0xffffbfff80002002,
1720  0xffffdfff80001001, 0xffffdfff80001002,
1721  0xffffefff80000801, 0xffffefff80000802,
1722  0xfffff7ff80000401, 0xfffff7ff80000402,
1723  0xfffffbff80000201, 0xfffffbff80000202,
1724  0xfffffdff80000101, 0xfffffdff80000102,
1725  0xfffffeff80000081, 0xfffffeff80000082,
1726  0xffffff7f80000041, 0xffffff7f80000042,
1727  0xffffffbf80000021, 0xffffffbf80000022,
1728  0xffffffdf80000011, 0xffffffdf80000012,
1729  0xffffffef80000009, 0xffffffef8000000a,
1730  0xfffffff780000005, 0xfffffff780000006,
1731  0xfffffffb80000003, 0xfffffffb80000004,
1732  0xfffffffd80000002, 0xfffffffd80000003,
1733  0xfffffffe80000002, 0xfffffffe80000003,
1734  0xffffffff00000002, 0xffffffff00000003,
1735  0xffffffff40000002, 0xffffffff40000003,
1736  0xffffffff60000002, 0xffffffff60000003,
1737  0xffffffff70000002, 0xffffffff70000003,
1738  0xffffffff78000002, 0xffffffff78000003,
1739  0xffffffff7c000002, 0xffffffff7c000003,
1740  0xffffffff7e000002, 0xffffffff7e000003,
1741  0xffffffff7f000002, 0xffffffff7f000003,
1742  0xffffffff7f800002, 0xffffffff7f800003,
1743  0xffffffff7fc00002, 0xffffffff7fc00003,
1744  0xffffffff7fe00002, 0xffffffff7fe00003,
1745  0xffffffff7ff00002, 0xffffffff7ff00003,
1746  0xffffffff7ff80002, 0xffffffff7ff80003,
1747  0xffffffff7ffc0002, 0xffffffff7ffc0003,
1748  0xffffffff7ffe0002, 0xffffffff7ffe0003,
1749  0xffffffff7fff0002, 0xffffffff7fff0003,
1750  0xffffffff7fff8002, 0xffffffff7fff8003,
1751  0xffffffff7fffc002, 0xffffffff7fffc003,
1752  0xffffffff7fffe002, 0xffffffff7fffe003,
1753  0xffffffff7ffff002, 0xffffffff7ffff003,
1754  0xffffffff7ffff802, 0xffffffff7ffff803,
1755  0xffffffff7ffffc02, 0xffffffff7ffffc03,
1756  0xffffffff7ffffe02, 0xffffffff7ffffe03,
1757  0xffffffff7fffff02, 0xffffffff7fffff03,
1758  0xffffffff7fffff82, 0xffffffff7fffff83,
1759  0xffffffff7fffffc2, 0xffffffff7fffffc3,
1760  0xffffffff7fffffe2, 0xffffffff7fffffe3,
1761  0xffffffff7ffffff2, 0xffffffff7ffffff3,
1762  0xffffffff7ffffffa, 0xffffffff7ffffffb,
1763  0xffffffff7ffffffe, 0xffffffff7fffffff,
1764  0xffffffff80000000, 0xffffffff80000001,
1765  0xffffffff80000001, 0xffffffff80000002,
1766  0x7fffffffc0000001, 0x7fffffffc0000002,
1767  0xbfffffffa0000002, 0xbfffffffa0000003,
1768  0xdfffffff90000002, 0xdfffffff90000003,
1769  0xefffffff88000002, 0xefffffff88000003,
1770  0xf7ffffff84000002, 0xf7ffffff84000003,
1771  0xfbffffff82000002, 0xfbffffff82000003,
1772  0xfdffffff81000002, 0xfdffffff81000003,
1773  0xfeffffff80800002, 0xfeffffff80800003,
1774  0xff7fffff80400002, 0xff7fffff80400003,
1775  0xffbfffff80200002, 0xffbfffff80200003,
1776  0xffdfffff80100002, 0xffdfffff80100003,
1777  0xffefffff80080002, 0xffefffff80080003,
1778  0xfff7ffff80040002, 0xfff7ffff80040003,
1779  0xfffbffff80020002, 0xfffbffff80020003,
1780  0xfffdffff80010002, 0xfffdffff80010003,
1781  0xfffeffff80008002, 0xfffeffff80008003,
1782  0xffff7fff80004002, 0xffff7fff80004003,
1783  0xffffbfff80002002, 0xffffbfff80002003,
1784  0xffffdfff80001002, 0xffffdfff80001003,
1785  0xffffefff80000802, 0xffffefff80000803,
1786  0xfffff7ff80000402, 0xfffff7ff80000403,
1787  0xfffffbff80000202, 0xfffffbff80000203,
1788  0xfffffdff80000102, 0xfffffdff80000103,
1789  0xfffffeff80000082, 0xfffffeff80000083,
1790  0xffffff7f80000042, 0xffffff7f80000043,
1791  0xffffffbf80000022, 0xffffffbf80000023,
1792  0xffffffdf80000012, 0xffffffdf80000013,
1793  0xffffffef8000000a, 0xffffffef8000000b,
1794  0xfffffff780000006, 0xfffffff780000007,
1795  0xfffffffb80000004, 0xfffffffb80000005,
1796  0xfffffffd80000003, 0xfffffffd80000004,
1797  0xfffffffe80000003, 0xfffffffe80000004,
1798  0xffffffff00000003, 0xffffffff00000004,
1799  0xffffffff40000003, 0xffffffff40000004,
1800  0xffffffff60000003, 0xffffffff60000004,
1801  0xffffffff70000003, 0xffffffff70000004,
1802  0xffffffff78000003, 0xffffffff78000004,
1803  0xffffffff7c000003, 0xffffffff7c000004,
1804  0xffffffff7e000003, 0xffffffff7e000004,
1805  0xffffffff7f000003, 0xffffffff7f000004,
1806  0xffffffff7f800003, 0xffffffff7f800004,
1807  0xffffffff7fc00003, 0xffffffff7fc00004,
1808  0xffffffff7fe00003, 0xffffffff7fe00004,
1809  0xffffffff7ff00003, 0xffffffff7ff00004,
1810  0xffffffff7ff80003, 0xffffffff7ff80004,
1811  0xffffffff7ffc0003, 0xffffffff7ffc0004,
1812  0xffffffff7ffe0003, 0xffffffff7ffe0004,
1813  0xffffffff7fff0003, 0xffffffff7fff0004,
1814  0xffffffff7fff8003, 0xffffffff7fff8004,
1815  0xffffffff7fffc003, 0xffffffff7fffc004,
1816  0xffffffff7fffe003, 0xffffffff7fffe004,
1817  0xffffffff7ffff003, 0xffffffff7ffff004,
1818  0xffffffff7ffff803, 0xffffffff7ffff804,
1819  0xffffffff7ffffc03, 0xffffffff7ffffc04,
1820  0xffffffff7ffffe03, 0xffffffff7ffffe04,
1821  0xffffffff7fffff03, 0xffffffff7fffff04,
1822  0xffffffff7fffff83, 0xffffffff7fffff84,
1823  0xffffffff7fffffc3, 0xffffffff7fffffc4,
1824  0xffffffff7fffffe3, 0xffffffff7fffffe4,
1825  0xffffffff7ffffff3, 0xffffffff7ffffff4,
1826  0xffffffff7ffffffb, 0xffffffff7ffffffc,
1827  0xffffffff7fffffff, 0xffffffff80000000,
1828  0xffffffff80000001, 0xffffffff80000002,
1829  0xffffffff80000002, 0xffffffff80000003,
1830  0x7fffffffc0000002, 0x7fffffffffffc000,
1831  0xbfffffffa0000003, 0xbfffffffffffa000,
1832  0xdfffffff90000003, 0xdfffffffffff9000,
1833  0xefffffff88000003, 0xefffffffffff8800,
1834  0xf7ffffff84000003, 0xf7ffffffffff8400,
1835  0xfbffffff82000003, 0xfbffffffffff8200,
1836  0xfdffffff81000003, 0xfdffffffffff8100,
1837  0xfeffffff80800003, 0xfeffffffffff8080,
1838  0xff7fffff80400003, 0xff7fffffffff8040,
1839  0xffbfffff80200003, 0xffbfffffffff8020,
1840  0xffdfffff80100003, 0xffdfffffffff8010,
1841  0xffefffff80080003, 0xffefffffffff8008,
1842  0xfff7ffff80040003, 0xfff7ffffffff8004,
1843  0xfffbffff80020003, 0xfffbffffffff8002,
1844  0xfffdffff80010003, 0xfffdffffffff8001,
1845  0xfffeffff80008003, 0xfffeffffffff8001,
1846  0xffff7fff80004003, 0xffff7fffffff8001,
1847  0xffffbfff80002003, 0xffffbfffffff8001,
1848  0xffffdfff80001003, 0xffffdfffffff8001,
1849  0xffffefff80000803, 0xffffefffffff8001,
1850  0xfffff7ff80000403, 0xfffff7ffffff8001,
1851  0xfffffbff80000203, 0xfffffbffffff8001,
1852  0xfffffdff80000103, 0xfffffdffffff8001,
1853  0xfffffeff80000083, 0xfffffeffffff8001,
1854  0xffffff7f80000043, 0xffffff7fffff8001,
1855  0xffffffbf80000023, 0xffffffbfffff8001,
1856  0xffffffdf80000013, 0xffffffdfffff8001,
1857  0xffffffef8000000b, 0xffffffefffff8001,
1858  0xfffffff780000007, 0xfffffff7ffff8001,
1859  0xfffffffb80000005, 0xfffffffbffff8001,
1860  0xfffffffd80000004, 0xfffffffdffff8001,
1861  0xfffffffe80000004, 0xfffffffeffff8001,
1862  0xffffffff00000004, 0xffffffff7fff8001,
1863  0xffffffff40000004, 0xffffffffbfff8001,
1864  0xffffffff60000004, 0xffffffffdfff8001,
1865  0xffffffff70000004, 0xffffffffefff8001,
1866  0xffffffff78000004, 0xfffffffff7ff8001,
1867  0xffffffff7c000004, 0xfffffffffbff8001,
1868  0xffffffff7e000004, 0xfffffffffdff8001,
1869  0xffffffff7f000004, 0xfffffffffeff8001,
1870  0xffffffff7f800004, 0xffffffffff7f8001,
1871  0xffffffff7fc00004, 0xffffffffffbf8001,
1872  0xffffffff7fe00004, 0xffffffffffdf8001,
1873  0xffffffff7ff00004, 0xffffffffffef8001,
1874  0xffffffff7ff80004, 0xfffffffffff78001,
1875  0xffffffff7ffc0004, 0xfffffffffffb8001,
1876  0xffffffff7ffe0004, 0xfffffffffffd8001,
1877  0xffffffff7fff0004, 0xfffffffffffe8001,
1878  0xffffffff7fff8004, 0xffffffffffff0001,
1879  0xffffffff7fffc004, 0xffffffffffff4001,
1880  0xffffffff7fffe004, 0xffffffffffff6001,
1881  0xffffffff7ffff004, 0xffffffffffff7001,
1882  0xffffffff7ffff804, 0xffffffffffff7801,
1883  0xffffffff7ffffc04, 0xffffffffffff7c01,
1884  0xffffffff7ffffe04, 0xffffffffffff7e01,
1885  0xffffffff7fffff04, 0xffffffffffff7f01,
1886  0xffffffff7fffff84, 0xffffffffffff7f81,
1887  0xffffffff7fffffc4, 0xffffffffffff7fc1,
1888  0xffffffff7fffffe4, 0xffffffffffff7fe1,
1889  0xffffffff7ffffff4, 0xffffffffffff7ff1,
1890  0xffffffff7ffffffc, 0xffffffffffff7ff9,
1891  0xffffffff80000000, 0xffffffffffff7ffd,
1892  0xffffffff80000002, 0xffffffffffff7fff,
1893  0xffffffff80000003, 0xffffffffffff8000,
1894  0x7fffffffffffc000, 0x7fffffffffffc001,
1895  0xbfffffffffffa000, 0xbfffffffffffa001,
1896  0xdfffffffffff9000, 0xdfffffffffff9001,
1897  0xefffffffffff8800, 0xefffffffffff8801,
1898  0xf7ffffffffff8400, 0xf7ffffffffff8401,
1899  0xfbffffffffff8200, 0xfbffffffffff8201,
1900  0xfdffffffffff8100, 0xfdffffffffff8101,
1901  0xfeffffffffff8080, 0xfeffffffffff8081,
1902  0xff7fffffffff8040, 0xff7fffffffff8041,
1903  0xffbfffffffff8020, 0xffbfffffffff8021,
1904  0xffdfffffffff8010, 0xffdfffffffff8011,
1905  0xffefffffffff8008, 0xffefffffffff8009,
1906  0xfff7ffffffff8004, 0xfff7ffffffff8005,
1907  0xfffbffffffff8002, 0xfffbffffffff8003,
1908  0xfffdffffffff8001, 0xfffdffffffff8002,
1909  0xfffeffffffff8001, 0xfffeffffffff8002,
1910  0xffff7fffffff8001, 0xffff7fffffff8002,
1911  0xffffbfffffff8001, 0xffffbfffffff8002,
1912  0xffffdfffffff8001, 0xffffdfffffff8002,
1913  0xffffefffffff8001, 0xffffefffffff8002,
1914  0xfffff7ffffff8001, 0xfffff7ffffff8002,
1915  0xfffffbffffff8001, 0xfffffbffffff8002,
1916  0xfffffdffffff8001, 0xfffffdffffff8002,
1917  0xfffffeffffff8001, 0xfffffeffffff8002,
1918  0xffffff7fffff8001, 0xffffff7fffff8002,
1919  0xffffffbfffff8001, 0xffffffbfffff8002,
1920  0xffffffdfffff8001, 0xffffffdfffff8002,
1921  0xffffffefffff8001, 0xffffffefffff8002,
1922  0xfffffff7ffff8001, 0xfffffff7ffff8002,
1923  0xfffffffbffff8001, 0xfffffffbffff8002,
1924  0xfffffffdffff8001, 0xfffffffdffff8002,
1925  0xfffffffeffff8001, 0xfffffffeffff8002,
1926  0xffffffff7fff8001, 0xffffffff7fff8002,
1927  0xffffffffbfff8001, 0xffffffffbfff8002,
1928  0xffffffffdfff8001, 0xffffffffdfff8002,
1929  0xffffffffefff8001, 0xffffffffefff8002,
1930  0xfffffffff7ff8001, 0xfffffffff7ff8002,
1931  0xfffffffffbff8001, 0xfffffffffbff8002,
1932  0xfffffffffdff8001, 0xfffffffffdff8002,
1933  0xfffffffffeff8001, 0xfffffffffeff8002,
1934  0xffffffffff7f8001, 0xffffffffff7f8002,
1935  0xffffffffffbf8001, 0xffffffffffbf8002,
1936  0xffffffffffdf8001, 0xffffffffffdf8002,
1937  0xffffffffffef8001, 0xffffffffffef8002,
1938  0xfffffffffff78001, 0xfffffffffff78002,
1939  0xfffffffffffb8001, 0xfffffffffffb8002,
1940  0xfffffffffffd8001, 0xfffffffffffd8002,
1941  0xfffffffffffe8001, 0xfffffffffffe8002,
1942  0xffffffffffff0001, 0xffffffffffff0002,
1943  0xffffffffffff4001, 0xffffffffffff4002,
1944  0xffffffffffff6001, 0xffffffffffff6002,
1945  0xffffffffffff7001, 0xffffffffffff7002,
1946  0xffffffffffff7801, 0xffffffffffff7802,
1947  0xffffffffffff7c01, 0xffffffffffff7c02,
1948  0xffffffffffff7e01, 0xffffffffffff7e02,
1949  0xffffffffffff7f01, 0xffffffffffff7f02,
1950  0xffffffffffff7f81, 0xffffffffffff7f82,
1951  0xffffffffffff7fc1, 0xffffffffffff7fc2,
1952  0xffffffffffff7fe1, 0xffffffffffff7fe2,
1953  0xffffffffffff7ff1, 0xffffffffffff7ff2,
1954  0xffffffffffff7ff9, 0xffffffffffff7ffa,
1955  0xffffffffffff7ffd, 0xffffffffffff7ffe,
1956  0xffffffffffff7fff, 0xffffffffffff8000,
1957  0xffffffffffff8000, 0xffffffffffff8001,
1958  0x7fffffffffffc001, 0x7fffffffffffc001,
1959  0xbfffffffffffa001, 0xbfffffffffffa002,
1960  0xdfffffffffff9001, 0xdfffffffffff9002,
1961  0xefffffffffff8801, 0xefffffffffff8802,
1962  0xf7ffffffffff8401, 0xf7ffffffffff8402,
1963  0xfbffffffffff8201, 0xfbffffffffff8202,
1964  0xfdffffffffff8101, 0xfdffffffffff8102,
1965  0xfeffffffffff8081, 0xfeffffffffff8082,
1966  0xff7fffffffff8041, 0xff7fffffffff8042,
1967  0xffbfffffffff8021, 0xffbfffffffff8022,
1968  0xffdfffffffff8011, 0xffdfffffffff8012,
1969  0xffefffffffff8009, 0xffefffffffff800a,
1970  0xfff7ffffffff8005, 0xfff7ffffffff8006,
1971  0xfffbffffffff8003, 0xfffbffffffff8004,
1972  0xfffdffffffff8002, 0xfffdffffffff8003,
1973  0xfffeffffffff8002, 0xfffeffffffff8003,
1974  0xffff7fffffff8002, 0xffff7fffffff8003,
1975  0xffffbfffffff8002, 0xffffbfffffff8003,
1976  0xffffdfffffff8002, 0xffffdfffffff8003,
1977  0xffffefffffff8002, 0xffffefffffff8003,
1978  0xfffff7ffffff8002, 0xfffff7ffffff8003,
1979  0xfffffbffffff8002, 0xfffffbffffff8003,
1980  0xfffffdffffff8002, 0xfffffdffffff8003,
1981  0xfffffeffffff8002, 0xfffffeffffff8003,
1982  0xffffff7fffff8002, 0xffffff7fffff8003,
1983  0xffffffbfffff8002, 0xffffffbfffff8003,
1984  0xffffffdfffff8002, 0xffffffdfffff8003,
1985  0xffffffefffff8002, 0xffffffefffff8003,
1986  0xfffffff7ffff8002, 0xfffffff7ffff8003,
1987  0xfffffffbffff8002, 0xfffffffbffff8003,
1988  0xfffffffdffff8002, 0xfffffffdffff8003,
1989  0xfffffffeffff8002, 0xfffffffeffff8003,
1990  0xffffffff7fff8002, 0xffffffff7fff8003,
1991  0xffffffffbfff8002, 0xffffffffbfff8003,
1992  0xffffffffdfff8002, 0xffffffffdfff8003,
1993  0xffffffffefff8002, 0xffffffffefff8003,
1994  0xfffffffff7ff8002, 0xfffffffff7ff8003,
1995  0xfffffffffbff8002, 0xfffffffffbff8003,
1996  0xfffffffffdff8002, 0xfffffffffdff8003,
1997  0xfffffffffeff8002, 0xfffffffffeff8003,
1998  0xffffffffff7f8002, 0xffffffffff7f8003,
1999  0xffffffffffbf8002, 0xffffffffffbf8003,
2000  0xffffffffffdf8002, 0xffffffffffdf8003,
2001  0xffffffffffef8002, 0xffffffffffef8003,
2002  0xfffffffffff78002, 0xfffffffffff78003,
2003  0xfffffffffffb8002, 0xfffffffffffb8003,
2004  0xfffffffffffd8002, 0xfffffffffffd8003,
2005  0xfffffffffffe8002, 0xfffffffffffe8003,
2006  0xffffffffffff0002, 0xffffffffffff0003,
2007  0xffffffffffff4002, 0xffffffffffff4003,
2008  0xffffffffffff6002, 0xffffffffffff6003,
2009  0xffffffffffff7002, 0xffffffffffff7003,
2010  0xffffffffffff7802, 0xffffffffffff7803,
2011  0xffffffffffff7c02, 0xffffffffffff7c03,
2012  0xffffffffffff7e02, 0xffffffffffff7e03,
2013  0xffffffffffff7f02, 0xffffffffffff7f03,
2014  0xffffffffffff7f82, 0xffffffffffff7f83,
2015  0xffffffffffff7fc2, 0xffffffffffff7fc3,
2016  0xffffffffffff7fe2, 0xffffffffffff7fe3,
2017  0xffffffffffff7ff2, 0xffffffffffff7ff3,
2018  0xffffffffffff7ffa, 0xffffffffffff7ffb,
2019  0xffffffffffff7ffe, 0xffffffffffff7fff,
2020  0xffffffffffff8000, 0xffffffffffff8001,
2021  0xffffffffffff8001, 0xffffffffffff8002,
2022  0x7fffffffffffc001, 0x7fffffffffffc002,
2023  0xbfffffffffffa002, 0xbfffffffffffa003,
2024  0xdfffffffffff9002, 0xdfffffffffff9003,
2025  0xefffffffffff8802, 0xefffffffffff8803,
2026  0xf7ffffffffff8402, 0xf7ffffffffff8403,
2027  0xfbffffffffff8202, 0xfbffffffffff8203,
2028  0xfdffffffffff8102, 0xfdffffffffff8103,
2029  0xfeffffffffff8082, 0xfeffffffffff8083,
2030  0xff7fffffffff8042, 0xff7fffffffff8043,
2031  0xffbfffffffff8022, 0xffbfffffffff8023,
2032  0xffdfffffffff8012, 0xffdfffffffff8013,
2033  0xffefffffffff800a, 0xffefffffffff800b,
2034  0xfff7ffffffff8006, 0xfff7ffffffff8007,
2035  0xfffbffffffff8004, 0xfffbffffffff8005,
2036  0xfffdffffffff8003, 0xfffdffffffff8004,
2037  0xfffeffffffff8003, 0xfffeffffffff8004,
2038  0xffff7fffffff8003, 0xffff7fffffff8004,
2039  0xffffbfffffff8003, 0xffffbfffffff8004,
2040  0xffffdfffffff8003, 0xffffdfffffff8004,
2041  0xffffefffffff8003, 0xffffefffffff8004,
2042  0xfffff7ffffff8003, 0xfffff7ffffff8004,
2043  0xfffffbffffff8003, 0xfffffbffffff8004,
2044  0xfffffdffffff8003, 0xfffffdffffff8004,
2045  0xfffffeffffff8003, 0xfffffeffffff8004,
2046  0xffffff7fffff8003, 0xffffff7fffff8004,
2047  0xffffffbfffff8003, 0xffffffbfffff8004,
2048  0xffffffdfffff8003, 0xffffffdfffff8004,
2049  0xffffffefffff8003, 0xffffffefffff8004,
2050  0xfffffff7ffff8003, 0xfffffff7ffff8004,
2051  0xfffffffbffff8003, 0xfffffffbffff8004,
2052  0xfffffffdffff8003, 0xfffffffdffff8004,
2053  0xfffffffeffff8003, 0xfffffffeffff8004,
2054  0xffffffff7fff8003, 0xffffffff7fff8004,
2055  0xffffffffbfff8003, 0xffffffffbfff8004,
2056  0xffffffffdfff8003, 0xffffffffdfff8004,
2057  0xffffffffefff8003, 0xffffffffefff8004,
2058  0xfffffffff7ff8003, 0xfffffffff7ff8004,
2059  0xfffffffffbff8003, 0xfffffffffbff8004,
2060  0xfffffffffdff8003, 0xfffffffffdff8004,
2061  0xfffffffffeff8003, 0xfffffffffeff8004,
2062  0xffffffffff7f8003, 0xffffffffff7f8004,
2063  0xffffffffffbf8003, 0xffffffffffbf8004,
2064  0xffffffffffdf8003, 0xffffffffffdf8004,
2065  0xffffffffffef8003, 0xffffffffffef8004,
2066  0xfffffffffff78003, 0xfffffffffff78004,
2067  0xfffffffffffb8003, 0xfffffffffffb8004,
2068  0xfffffffffffd8003, 0xfffffffffffd8004,
2069  0xfffffffffffe8003, 0xfffffffffffe8004,
2070  0xffffffffffff0003, 0xffffffffffff0004,
2071  0xffffffffffff4003, 0xffffffffffff4004,
2072  0xffffffffffff6003, 0xffffffffffff6004,
2073  0xffffffffffff7003, 0xffffffffffff7004,
2074  0xffffffffffff7803, 0xffffffffffff7804,
2075  0xffffffffffff7c03, 0xffffffffffff7c04,
2076  0xffffffffffff7e03, 0xffffffffffff7e04,
2077  0xffffffffffff7f03, 0xffffffffffff7f04,
2078  0xffffffffffff7f83, 0xffffffffffff7f84,
2079  0xffffffffffff7fc3, 0xffffffffffff7fc4,
2080  0xffffffffffff7fe3, 0xffffffffffff7fe4,
2081  0xffffffffffff7ff3, 0xffffffffffff7ff4,
2082  0xffffffffffff7ffb, 0xffffffffffff7ffc,
2083  0xffffffffffff7fff, 0xffffffffffff8000,
2084  0xffffffffffff8001, 0xffffffffffff8002,
2085  0xffffffffffff8002, 0xffffffffffff8003,
2086  0x7fffffffffffc002, 0x7fffffffffffffc0,
2087  0xbfffffffffffa003, 0xbfffffffffffffa0,
2088  0xdfffffffffff9003, 0xdfffffffffffff90,
2089  0xefffffffffff8803, 0xefffffffffffff88,
2090  0xf7ffffffffff8403, 0xf7ffffffffffff84,
2091  0xfbffffffffff8203, 0xfbffffffffffff82,
2092  0xfdffffffffff8103, 0xfdffffffffffff81,
2093  0xfeffffffffff8083, 0xfeffffffffffff81,
2094  0xff7fffffffff8043, 0xff7fffffffffff81,
2095  0xffbfffffffff8023, 0xffbfffffffffff81,
2096  0xffdfffffffff8013, 0xffdfffffffffff81,
2097  0xffefffffffff800b, 0xffefffffffffff81,
2098  0xfff7ffffffff8007, 0xfff7ffffffffff81,
2099  0xfffbffffffff8005, 0xfffbffffffffff81,
2100  0xfffdffffffff8004, 0xfffdffffffffff81,
2101  0xfffeffffffff8004, 0xfffeffffffffff81,
2102  0xffff7fffffff8004, 0xffff7fffffffff81,
2103  0xffffbfffffff8004, 0xffffbfffffffff81,
2104  0xffffdfffffff8004, 0xffffdfffffffff81,
2105  0xffffefffffff8004, 0xffffefffffffff81,
2106  0xfffff7ffffff8004, 0xfffff7ffffffff81,
2107  0xfffffbffffff8004, 0xfffffbffffffff81,
2108  0xfffffdffffff8004, 0xfffffdffffffff81,
2109  0xfffffeffffff8004, 0xfffffeffffffff81,
2110  0xffffff7fffff8004, 0xffffff7fffffff81,
2111  0xffffffbfffff8004, 0xffffffbfffffff81,
2112  0xffffffdfffff8004, 0xffffffdfffffff81,
2113  0xffffffefffff8004, 0xffffffefffffff81,
2114  0xfffffff7ffff8004, 0xfffffff7ffffff81,
2115  0xfffffffbffff8004, 0xfffffffbffffff81,
2116  0xfffffffdffff8004, 0xfffffffdffffff81,
2117  0xfffffffeffff8004, 0xfffffffeffffff81,
2118  0xffffffff7fff8004, 0xffffffff7fffff81,
2119  0xffffffffbfff8004, 0xffffffffbfffff81,
2120  0xffffffffdfff8004, 0xffffffffdfffff81,
2121  0xffffffffefff8004, 0xffffffffefffff81,
2122  0xfffffffff7ff8004, 0xfffffffff7ffff81,
2123  0xfffffffffbff8004, 0xfffffffffbffff81,
2124  0xfffffffffdff8004, 0xfffffffffdffff81,
2125  0xfffffffffeff8004, 0xfffffffffeffff81,
2126  0xffffffffff7f8004, 0xffffffffff7fff81,
2127  0xffffffffffbf8004, 0xffffffffffbfff81,
2128  0xffffffffffdf8004, 0xffffffffffdfff81,
2129  0xffffffffffef8004, 0xffffffffffefff81,
2130  0xfffffffffff78004, 0xfffffffffff7ff81,
2131  0xfffffffffffb8004, 0xfffffffffffbff81,
2132  0xfffffffffffd8004, 0xfffffffffffdff81,
2133  0xfffffffffffe8004, 0xfffffffffffeff81,
2134  0xffffffffffff0004, 0xffffffffffff7f81,
2135  0xffffffffffff4004, 0xffffffffffffbf81,
2136  0xffffffffffff6004, 0xffffffffffffdf81,
2137  0xffffffffffff7004, 0xffffffffffffef81,
2138  0xffffffffffff7804, 0xfffffffffffff781,
2139  0xffffffffffff7c04, 0xfffffffffffffb81,
2140  0xffffffffffff7e04, 0xfffffffffffffd81,
2141  0xffffffffffff7f04, 0xfffffffffffffe81,
2142  0xffffffffffff7f84, 0xffffffffffffff01,
2143  0xffffffffffff7fc4, 0xffffffffffffff41,
2144  0xffffffffffff7fe4, 0xffffffffffffff61,
2145  0xffffffffffff7ff4, 0xffffffffffffff71,
2146  0xffffffffffff7ffc, 0xffffffffffffff79,
2147  0xffffffffffff8000, 0xffffffffffffff7d,
2148  0xffffffffffff8002, 0xffffffffffffff7f,
2149  0xffffffffffff8003, 0xffffffffffffff80,
2150  0x7fffffffffffffc0, 0x7fffffffffffffc1,
2151  0xbfffffffffffffa0, 0xbfffffffffffffa1,
2152  0xdfffffffffffff90, 0xdfffffffffffff91,
2153  0xefffffffffffff88, 0xefffffffffffff89,
2154  0xf7ffffffffffff84, 0xf7ffffffffffff85,
2155  0xfbffffffffffff82, 0xfbffffffffffff83,
2156  0xfdffffffffffff81, 0xfdffffffffffff82,
2157  0xfeffffffffffff81, 0xfeffffffffffff82,
2158  0xff7fffffffffff81, 0xff7fffffffffff82,
2159  0xffbfffffffffff81, 0xffbfffffffffff82,
2160  0xffdfffffffffff81, 0xffdfffffffffff82,
2161  0xffefffffffffff81, 0xffefffffffffff82,
2162  0xfff7ffffffffff81, 0xfff7ffffffffff82,
2163  0xfffbffffffffff81, 0xfffbffffffffff82,
2164  0xfffdffffffffff81, 0xfffdffffffffff82,
2165  0xfffeffffffffff81, 0xfffeffffffffff82,
2166  0xffff7fffffffff81, 0xffff7fffffffff82,
2167  0xffffbfffffffff81, 0xffffbfffffffff82,
2168  0xffffdfffffffff81, 0xffffdfffffffff82,
2169  0xffffefffffffff81, 0xffffefffffffff82,
2170  0xfffff7ffffffff81, 0xfffff7ffffffff82,
2171  0xfffffbffffffff81, 0xfffffbffffffff82,
2172  0xfffffdffffffff81, 0xfffffdffffffff82,
2173  0xfffffeffffffff81, 0xfffffeffffffff82,
2174  0xffffff7fffffff81, 0xffffff7fffffff82,
2175  0xffffffbfffffff81, 0xffffffbfffffff82,
2176  0xffffffdfffffff81, 0xffffffdfffffff82,
2177  0xffffffefffffff81, 0xffffffefffffff82,
2178  0xfffffff7ffffff81, 0xfffffff7ffffff82,
2179  0xfffffffbffffff81, 0xfffffffbffffff82,
2180  0xfffffffdffffff81, 0xfffffffdffffff82,
2181  0xfffffffeffffff81, 0xfffffffeffffff82,
2182  0xffffffff7fffff81, 0xffffffff7fffff82,
2183  0xffffffffbfffff81, 0xffffffffbfffff82,
2184  0xffffffffdfffff81, 0xffffffffdfffff82,
2185  0xffffffffefffff81, 0xffffffffefffff82,
2186  0xfffffffff7ffff81, 0xfffffffff7ffff82,
2187  0xfffffffffbffff81, 0xfffffffffbffff82,
2188  0xfffffffffdffff81, 0xfffffffffdffff82,
2189  0xfffffffffeffff81, 0xfffffffffeffff82,
2190  0xffffffffff7fff81, 0xffffffffff7fff82,
2191  0xffffffffffbfff81, 0xffffffffffbfff82,
2192  0xffffffffffdfff81, 0xffffffffffdfff82,
2193  0xffffffffffefff81, 0xffffffffffefff82,
2194  0xfffffffffff7ff81, 0xfffffffffff7ff82,
2195  0xfffffffffffbff81, 0xfffffffffffbff82,
2196  0xfffffffffffdff81, 0xfffffffffffdff82,
2197  0xfffffffffffeff81, 0xfffffffffffeff82,
2198  0xffffffffffff7f81, 0xffffffffffff7f82,
2199  0xffffffffffffbf81, 0xffffffffffffbf82,
2200  0xffffffffffffdf81, 0xffffffffffffdf82,
2201  0xffffffffffffef81, 0xffffffffffffef82,
2202  0xfffffffffffff781, 0xfffffffffffff782,
2203  0xfffffffffffffb81, 0xfffffffffffffb82,
2204  0xfffffffffffffd81, 0xfffffffffffffd82,
2205  0xfffffffffffffe81, 0xfffffffffffffe82,
2206  0xffffffffffffff01, 0xffffffffffffff02,
2207  0xffffffffffffff41, 0xffffffffffffff42,
2208  0xffffffffffffff61, 0xffffffffffffff62,
2209  0xffffffffffffff71, 0xffffffffffffff72,
2210  0xffffffffffffff79, 0xffffffffffffff7a,
2211  0xffffffffffffff7d, 0xffffffffffffff7e,
2212  0xffffffffffffff7f, 0xffffffffffffff80,
2213  0xffffffffffffff80, 0xffffffffffffff81,
2214  0x7fffffffffffffc1, 0x7fffffffffffffc1,
2215  0xbfffffffffffffa1, 0xbfffffffffffffa2,
2216  0xdfffffffffffff91, 0xdfffffffffffff92,
2217  0xefffffffffffff89, 0xefffffffffffff8a,
2218  0xf7ffffffffffff85, 0xf7ffffffffffff86,
2219  0xfbffffffffffff83, 0xfbffffffffffff84,
2220  0xfdffffffffffff82, 0xfdffffffffffff83,
2221  0xfeffffffffffff82, 0xfeffffffffffff83,
2222  0xff7fffffffffff82, 0xff7fffffffffff83,
2223  0xffbfffffffffff82, 0xffbfffffffffff83,
2224  0xffdfffffffffff82, 0xffdfffffffffff83,
2225  0xffefffffffffff82, 0xffefffffffffff83,
2226  0xfff7ffffffffff82, 0xfff7ffffffffff83,
2227  0xfffbffffffffff82, 0xfffbffffffffff83,
2228  0xfffdffffffffff82, 0xfffdffffffffff83,
2229  0xfffeffffffffff82, 0xfffeffffffffff83,
2230  0xffff7fffffffff82, 0xffff7fffffffff83,
2231  0xffffbfffffffff82, 0xffffbfffffffff83,
2232  0xffffdfffffffff82, 0xffffdfffffffff83,
2233  0xffffefffffffff82, 0xffffefffffffff83,
2234  0xfffff7ffffffff82, 0xfffff7ffffffff83,
2235  0xfffffbffffffff82, 0xfffffbffffffff83,
2236  0xfffffdffffffff82, 0xfffffdffffffff83,
2237  0xfffffeffffffff82, 0xfffffeffffffff83,
2238  0xffffff7fffffff82, 0xffffff7fffffff83,
2239  0xffffffbfffffff82, 0xffffffbfffffff83,
2240  0xffffffdfffffff82, 0xffffffdfffffff83,
2241  0xffffffefffffff82, 0xffffffefffffff83,
2242  0xfffffff7ffffff82, 0xfffffff7ffffff83,
2243  0xfffffffbffffff82, 0xfffffffbffffff83,
2244  0xfffffffdffffff82, 0xfffffffdffffff83,
2245  0xfffffffeffffff82, 0xfffffffeffffff83,
2246  0xffffffff7fffff82, 0xffffffff7fffff83,
2247  0xffffffffbfffff82, 0xffffffffbfffff83,
2248  0xffffffffdfffff82, 0xffffffffdfffff83,
2249  0xffffffffefffff82, 0xffffffffefffff83,
2250  0xfffffffff7ffff82, 0xfffffffff7ffff83,
2251  0xfffffffffbffff82, 0xfffffffffbffff83,
2252  0xfffffffffdffff82, 0xfffffffffdffff83,
2253  0xfffffffffeffff82, 0xfffffffffeffff83,
2254  0xffffffffff7fff82, 0xffffffffff7fff83,
2255  0xffffffffffbfff82, 0xffffffffffbfff83,
2256  0xffffffffffdfff82, 0xffffffffffdfff83,
2257  0xffffffffffefff82, 0xffffffffffefff83,
2258  0xfffffffffff7ff82, 0xfffffffffff7ff83,
2259  0xfffffffffffbff82, 0xfffffffffffbff83,
2260  0xfffffffffffdff82, 0xfffffffffffdff83,
2261  0xfffffffffffeff82, 0xfffffffffffeff83,
2262  0xffffffffffff7f82, 0xffffffffffff7f83,
2263  0xffffffffffffbf82, 0xffffffffffffbf83,
2264  0xffffffffffffdf82, 0xffffffffffffdf83,
2265  0xffffffffffffef82, 0xffffffffffffef83,
2266  0xfffffffffffff782, 0xfffffffffffff783,
2267  0xfffffffffffffb82, 0xfffffffffffffb83,
2268  0xfffffffffffffd82, 0xfffffffffffffd83,
2269  0xfffffffffffffe82, 0xfffffffffffffe83,
2270  0xffffffffffffff02, 0xffffffffffffff03,
2271  0xffffffffffffff42, 0xffffffffffffff43,
2272  0xffffffffffffff62, 0xffffffffffffff63,
2273  0xffffffffffffff72, 0xffffffffffffff73,
2274  0xffffffffffffff7a, 0xffffffffffffff7b,
2275  0xffffffffffffff7e, 0xffffffffffffff7f,
2276  0xffffffffffffff80, 0xffffffffffffff81,
2277  0xffffffffffffff81, 0xffffffffffffff82,
2278  0x7fffffffffffffc1, 0x7fffffffffffffc2,
2279  0xbfffffffffffffa2, 0xbfffffffffffffa3,
2280  0xdfffffffffffff92, 0xdfffffffffffff93,
2281  0xefffffffffffff8a, 0xefffffffffffff8b,
2282  0xf7ffffffffffff86, 0xf7ffffffffffff87,
2283  0xfbffffffffffff84, 0xfbffffffffffff85,
2284  0xfdffffffffffff83, 0xfdffffffffffff84,
2285  0xfeffffffffffff83, 0xfeffffffffffff84,
2286  0xff7fffffffffff83, 0xff7fffffffffff84,
2287  0xffbfffffffffff83, 0xffbfffffffffff84,
2288  0xffdfffffffffff83, 0xffdfffffffffff84,
2289  0xffefffffffffff83, 0xffefffffffffff84,
2290  0xfff7ffffffffff83, 0xfff7ffffffffff84,
2291  0xfffbffffffffff83, 0xfffbffffffffff84,
2292  0xfffdffffffffff83, 0xfffdffffffffff84,
2293  0xfffeffffffffff83, 0xfffeffffffffff84,
2294  0xffff7fffffffff83, 0xffff7fffffffff84,
2295  0xffffbfffffffff83, 0xffffbfffffffff84,
2296  0xffffdfffffffff83, 0xffffdfffffffff84,
2297  0xffffefffffffff83, 0xffffefffffffff84,
2298  0xfffff7ffffffff83, 0xfffff7ffffffff84,
2299  0xfffffbffffffff83, 0xfffffbffffffff84,
2300  0xfffffdffffffff83, 0xfffffdffffffff84,
2301  0xfffffeffffffff83, 0xfffffeffffffff84,
2302  0xffffff7fffffff83, 0xffffff7fffffff84,
2303  0xffffffbfffffff83, 0xffffffbfffffff84,
2304  0xffffffdfffffff83, 0xffffffdfffffff84,
2305  0xffffffefffffff83, 0xffffffefffffff84,
2306  0xfffffff7ffffff83, 0xfffffff7ffffff84,
2307  0xfffffffbffffff83, 0xfffffffbffffff84,
2308  0xfffffffdffffff83, 0xfffffffdffffff84,
2309  0xfffffffeffffff83, 0xfffffffeffffff84,
2310  0xffffffff7fffff83, 0xffffffff7fffff84,
2311  0xffffffffbfffff83, 0xffffffffbfffff84,
2312  0xffffffffdfffff83, 0xffffffffdfffff84,
2313  0xffffffffefffff83, 0xffffffffefffff84,
2314  0xfffffffff7ffff83, 0xfffffffff7ffff84,
2315  0xfffffffffbffff83, 0xfffffffffbffff84,
2316  0xfffffffffdffff83, 0xfffffffffdffff84,
2317  0xfffffffffeffff83, 0xfffffffffeffff84,
2318  0xffffffffff7fff83, 0xffffffffff7fff84,
2319  0xffffffffffbfff83, 0xffffffffffbfff84,
2320  0xffffffffffdfff83, 0xffffffffffdfff84,
2321  0xffffffffffefff83, 0xffffffffffefff84,
2322  0xfffffffffff7ff83, 0xfffffffffff7ff84,
2323  0xfffffffffffbff83, 0xfffffffffffbff84,
2324  0xfffffffffffdff83, 0xfffffffffffdff84,
2325  0xfffffffffffeff83, 0xfffffffffffeff84,
2326  0xffffffffffff7f83, 0xffffffffffff7f84,
2327  0xffffffffffffbf83, 0xffffffffffffbf84,
2328  0xffffffffffffdf83, 0xffffffffffffdf84,
2329  0xffffffffffffef83, 0xffffffffffffef84,
2330  0xfffffffffffff783, 0xfffffffffffff784,
2331  0xfffffffffffffb83, 0xfffffffffffffb84,
2332  0xfffffffffffffd83, 0xfffffffffffffd84,
2333  0xfffffffffffffe83, 0xfffffffffffffe84,
2334  0xffffffffffffff03, 0xffffffffffffff04,
2335  0xffffffffffffff43, 0xffffffffffffff44,
2336  0xffffffffffffff63, 0xffffffffffffff64,
2337  0xffffffffffffff73, 0xffffffffffffff74,
2338  0xffffffffffffff7b, 0xffffffffffffff7c,
2339  0xffffffffffffff7f, 0xffffffffffffff80,
2340  0xffffffffffffff81, 0xffffffffffffff82,
2341  0xffffffffffffff82, 0xffffffffffffff83,
2342  0x7fffffffffffffc2, 0x7fffffffffffffe0,
2343  0xbfffffffffffffa3, 0xbfffffffffffffd0,
2344  0xdfffffffffffff93, 0xdfffffffffffffc8,
2345  0xefffffffffffff8b, 0xefffffffffffffc4,
2346  0xf7ffffffffffff87, 0xf7ffffffffffffc2,
2347  0xfbffffffffffff85, 0xfbffffffffffffc1,
2348  0xfdffffffffffff84, 0xfdffffffffffffc1,
2349  0xfeffffffffffff84, 0xfeffffffffffffc1,
2350  0xff7fffffffffff84, 0xff7fffffffffffc1,
2351  0xffbfffffffffff84, 0xffbfffffffffffc1,
2352  0xffdfffffffffff84, 0xffdfffffffffffc1,
2353  0xffefffffffffff84, 0xffefffffffffffc1,
2354  0xfff7ffffffffff84, 0xfff7ffffffffffc1,
2355  0xfffbffffffffff84, 0xfffbffffffffffc1,
2356  0xfffdffffffffff84, 0xfffdffffffffffc1,
2357  0xfffeffffffffff84, 0xfffeffffffffffc1,
2358  0xffff7fffffffff84, 0xffff7fffffffffc1,
2359  0xffffbfffffffff84, 0xffffbfffffffffc1,
2360  0xffffdfffffffff84, 0xffffdfffffffffc1,
2361  0xffffefffffffff84, 0xffffefffffffffc1,
2362  0xfffff7ffffffff84, 0xfffff7ffffffffc1,
2363  0xfffffbffffffff84, 0xfffffbffffffffc1,
2364  0xfffffdffffffff84, 0xfffffdffffffffc1,
2365  0xfffffeffffffff84, 0xfffffeffffffffc1,
2366  0xffffff7fffffff84, 0xffffff7fffffffc1,
2367  0xffffffbfffffff84, 0xffffffbfffffffc1,
2368  0xffffffdfffffff84, 0xffffffdfffffffc1,
2369  0xffffffefffffff84, 0xffffffefffffffc1,
2370  0xfffffff7ffffff84, 0xfffffff7ffffffc1,
2371  0xfffffffbffffff84, 0xfffffffbffffffc1,
2372  0xfffffffdffffff84, 0xfffffffdffffffc1,
2373  0xfffffffeffffff84, 0xfffffffeffffffc1,
2374  0xffffffff7fffff84, 0xffffffff7fffffc1,
2375  0xffffffffbfffff84, 0xffffffffbfffffc1,
2376  0xffffffffdfffff84, 0xffffffffdfffffc1,
2377  0xffffffffefffff84, 0xffffffffefffffc1,
2378  0xfffffffff7ffff84, 0xfffffffff7ffffc1,
2379  0xfffffffffbffff84, 0xfffffffffbffffc1,
2380  0xfffffffffdffff84, 0xfffffffffdffffc1,
2381  0xfffffffffeffff84, 0xfffffffffeffffc1,
2382  0xffffffffff7fff84, 0xffffffffff7fffc1,
2383  0xffffffffffbfff84, 0xffffffffffbfffc1,
2384  0xffffffffffdfff84, 0xffffffffffdfffc1,
2385  0xffffffffffefff84, 0xffffffffffefffc1,
2386  0xfffffffffff7ff84, 0xfffffffffff7ffc1,
2387  0xfffffffffffbff84, 0xfffffffffffbffc1,
2388  0xfffffffffffdff84, 0xfffffffffffdffc1,
2389  0xfffffffffffeff84, 0xfffffffffffeffc1,
2390  0xffffffffffff7f84, 0xffffffffffff7fc1,
2391  0xffffffffffffbf84, 0xffffffffffffbfc1,
2392  0xffffffffffffdf84, 0xffffffffffffdfc1,
2393  0xffffffffffffef84, 0xffffffffffffefc1,
2394  0xfffffffffffff784, 0xfffffffffffff7c1,
2395  0xfffffffffffffb84, 0xfffffffffffffbc1,
2396  0xfffffffffffffd84, 0xfffffffffffffdc1,
2397  0xfffffffffffffe84, 0xfffffffffffffec1,
2398  0xffffffffffffff04, 0xffffffffffffff41,
2399  0xffffffffffffff44, 0xffffffffffffff81,
2400  0xffffffffffffff64, 0xffffffffffffffa1,
2401  0xffffffffffffff74, 0xffffffffffffffb1,
2402  0xffffffffffffff7c, 0xffffffffffffffb9,
2403  0xffffffffffffff80, 0xffffffffffffffbd,
2404  0xffffffffffffff82, 0xffffffffffffffbf,
2405  0xffffffffffffff83, 0xffffffffffffffc0,
2406  0x7fffffffffffffe0, 0x7fffffffffffffff,
2407  0xbfffffffffffffd0, 0xbffffffffffffffe,
2408  0xdfffffffffffffc8, 0xdffffffffffffffe,
2409  0xefffffffffffffc4, 0xeffffffffffffffe,
2410  0xf7ffffffffffffc2, 0xf7fffffffffffffe,
2411  0xfbffffffffffffc1, 0xfbfffffffffffffe,
2412  0xfdffffffffffffc1, 0xfdfffffffffffffe,
2413  0xfeffffffffffffc1, 0xfefffffffffffffe,
2414  0xff7fffffffffffc1, 0xff7ffffffffffffe,
2415  0xffbfffffffffffc1, 0xffbffffffffffffe,
2416  0xffdfffffffffffc1, 0xffdffffffffffffe,
2417  0xffefffffffffffc1, 0xffeffffffffffffe,
2418  0xfff7ffffffffffc1, 0xfff7fffffffffffe,
2419  0xfffbffffffffffc1, 0xfffbfffffffffffe,
2420  0xfffdffffffffffc1, 0xfffdfffffffffffe,
2421  0xfffeffffffffffc1, 0xfffefffffffffffe,
2422  0xffff7fffffffffc1, 0xffff7ffffffffffe,
2423  0xffffbfffffffffc1, 0xffffbffffffffffe,
2424  0xffffdfffffffffc1, 0xffffdffffffffffe,
2425  0xffffefffffffffc1, 0xffffeffffffffffe,
2426  0xfffff7ffffffffc1, 0xfffff7fffffffffe,
2427  0xfffffbffffffffc1, 0xfffffbfffffffffe,
2428  0xfffffdffffffffc1, 0xfffffdfffffffffe,
2429  0xfffffeffffffffc1, 0xfffffefffffffffe,
2430  0xffffff7fffffffc1, 0xffffff7ffffffffe,
2431  0xffffffbfffffffc1, 0xffffffbffffffffe,
2432  0xffffffdfffffffc1, 0xffffffdffffffffe,
2433  0xffffffefffffffc1, 0xffffffeffffffffe,
2434  0xfffffff7ffffffc1, 0xfffffff7fffffffe,
2435  0xfffffffbffffffc1, 0xfffffffbfffffffe,
2436  0xfffffffdffffffc1, 0xfffffffdfffffffe,
2437  0xfffffffeffffffc1, 0xfffffffefffffffe,
2438  0xffffffff7fffffc1, 0xffffffff7ffffffe,
2439  0xffffffffbfffffc1, 0xffffffffbffffffe,
2440  0xffffffffdfffffc1, 0xffffffffdffffffe,
2441  0xffffffffefffffc1, 0xffffffffeffffffe,
2442  0xfffffffff7ffffc1, 0xfffffffff7fffffe,
2443  0xfffffffffbffffc1, 0xfffffffffbfffffe,
2444  0xfffffffffdffffc1, 0xfffffffffdfffffe,
2445  0xfffffffffeffffc1, 0xfffffffffefffffe,
2446  0xffffffffff7fffc1, 0xffffffffff7ffffe,
2447  0xffffffffffbfffc1, 0xffffffffffbffffe,
2448  0xffffffffffdfffc1, 0xffffffffffdffffe,
2449  0xffffffffffefffc1, 0xffffffffffeffffe,
2450  0xfffffffffff7ffc1, 0xfffffffffff7fffe,
2451  0xfffffffffffbffc1, 0xfffffffffffbfffe,
2452  0xfffffffffffdffc1, 0xfffffffffffdfffe,
2453  0xfffffffffffeffc1, 0xfffffffffffefffe,
2454  0xffffffffffff7fc1, 0xffffffffffff7ffe,
2455  0xffffffffffffbfc1, 0xffffffffffffbffe,
2456  0xffffffffffffdfc1, 0xffffffffffffdffe,
2457  0xffffffffffffefc1, 0xffffffffffffeffe,
2458  0xfffffffffffff7c1, 0xfffffffffffff7fe,
2459  0xfffffffffffffbc1, 0xfffffffffffffbfe,
2460  0xfffffffffffffdc1, 0xfffffffffffffdfe,
2461  0xfffffffffffffec1, 0xfffffffffffffefe,
2462  0xffffffffffffff41, 0xffffffffffffff7e,
2463  0xffffffffffffff81, 0xffffffffffffffbe,
2464  0xffffffffffffffa1, 0xffffffffffffffde,
2465  0xffffffffffffffb1, 0xffffffffffffffee,
2466  0xffffffffffffffb9, 0xfffffffffffffff6,
2467  0xffffffffffffffbd, 0xfffffffffffffffa,
2468  0xffffffffffffffbf, 0xfffffffffffffffc,
2469  0xffffffffffffffc0, 0xfffffffffffffffd,
2470  0x7fffffffffffffff, 0x7fffffffffffffff,
2471  0xbffffffffffffffe, 0xbfffffffffffffff,
2472  0xdffffffffffffffe, 0xdfffffffffffffff,
2473  0xeffffffffffffffe, 0xefffffffffffffff,
2474  0xf7fffffffffffffe, 0xf7ffffffffffffff,
2475  0xfbfffffffffffffe, 0xfbffffffffffffff,
2476  0xfdfffffffffffffe, 0xfdffffffffffffff,
2477  0xfefffffffffffffe, 0xfeffffffffffffff,
2478  0xff7ffffffffffffe, 0xff7fffffffffffff,
2479  0xffbffffffffffffe, 0xffbfffffffffffff,
2480  0xffdffffffffffffe, 0xffdfffffffffffff,
2481  0xffeffffffffffffe, 0xffefffffffffffff,
2482  0xfff7fffffffffffe, 0xfff7ffffffffffff,
2483  0xfffbfffffffffffe, 0xfffbffffffffffff,
2484  0xfffdfffffffffffe, 0xfffdffffffffffff,
2485  0xfffefffffffffffe, 0xfffeffffffffffff,
2486  0xffff7ffffffffffe, 0xffff7fffffffffff,
2487  0xffffbffffffffffe, 0xffffbfffffffffff,
2488  0xffffdffffffffffe, 0xffffdfffffffffff,
2489  0xffffeffffffffffe, 0xffffefffffffffff,
2490  0xfffff7fffffffffe, 0xfffff7ffffffffff,
2491  0xfffffbfffffffffe, 0xfffffbffffffffff,
2492  0xfffffdfffffffffe, 0xfffffdffffffffff,
2493  0xfffffefffffffffe, 0xfffffeffffffffff,
2494  0xffffff7ffffffffe, 0xffffff7fffffffff,
2495  0xffffffbffffffffe, 0xffffffbfffffffff,
2496  0xffffffdffffffffe, 0xffffffdfffffffff,
2497  0xffffffeffffffffe, 0xffffffefffffffff,
2498  0xfffffff7fffffffe, 0xfffffff7ffffffff,
2499  0xfffffffbfffffffe, 0xfffffffbffffffff,
2500  0xfffffffdfffffffe, 0xfffffffdffffffff,
2501  0xfffffffefffffffe, 0xfffffffeffffffff,
2502  0xffffffff7ffffffe, 0xffffffff7fffffff,
2503  0xffffffffbffffffe, 0xffffffffbfffffff,
2504  0xffffffffdffffffe, 0xffffffffdfffffff,
2505  0xffffffffeffffffe, 0xffffffffefffffff,
2506  0xfffffffff7fffffe, 0xfffffffff7ffffff,
2507  0xfffffffffbfffffe, 0xfffffffffbffffff,
2508  0xfffffffffdfffffe, 0xfffffffffdffffff,
2509  0xfffffffffefffffe, 0xfffffffffeffffff,
2510  0xffffffffff7ffffe, 0xffffffffff7fffff,
2511  0xffffffffffbffffe, 0xffffffffffbfffff,
2512  0xffffffffffdffffe, 0xffffffffffdfffff,
2513  0xffffffffffeffffe, 0xffffffffffefffff,
2514  0xfffffffffff7fffe, 0xfffffffffff7ffff,
2515  0xfffffffffffbfffe, 0xfffffffffffbffff,
2516  0xfffffffffffdfffe, 0xfffffffffffdffff,
2517  0xfffffffffffefffe, 0xfffffffffffeffff,
2518  0xffffffffffff7ffe, 0xffffffffffff7fff,
2519  0xffffffffffffbffe, 0xffffffffffffbfff,
2520  0xffffffffffffdffe, 0xffffffffffffdfff,
2521  0xffffffffffffeffe, 0xffffffffffffefff,
2522  0xfffffffffffff7fe, 0xfffffffffffff7ff,
2523  0xfffffffffffffbfe, 0xfffffffffffffbff,
2524  0xfffffffffffffdfe, 0xfffffffffffffdff,
2525  0xfffffffffffffefe, 0xfffffffffffffeff,
2526  0xffffffffffffff7e, 0xffffffffffffff7f,
2527  0xffffffffffffffbe, 0xffffffffffffffbf,
2528  0xffffffffffffffde, 0xffffffffffffffdf,
2529  0xffffffffffffffee, 0xffffffffffffffef,
2530  0xfffffffffffffff6, 0xfffffffffffffff7,
2531  0xfffffffffffffffa, 0xfffffffffffffffb,
2532  0xfffffffffffffffc, 0xfffffffffffffffd,
2533  0xfffffffffffffffd, 0xfffffffffffffffe,
2534  0x7fffffffffffffff, 0x8000000000000000,
2535  0xbfffffffffffffff, 0xc000000000000000,
2536  0xdfffffffffffffff, 0xe000000000000000,
2537  0xefffffffffffffff, 0xf000000000000000,
2538  0xf7ffffffffffffff, 0xf800000000000000,
2539  0xfbffffffffffffff, 0xfc00000000000000,
2540  0xfdffffffffffffff, 0xfe00000000000000,
2541  0xfeffffffffffffff, 0xff00000000000000,
2542  0xff7fffffffffffff, 0xff80000000000000,
2543  0xffbfffffffffffff, 0xffc0000000000000,
2544  0xffdfffffffffffff, 0xffe0000000000000,
2545  0xffefffffffffffff, 0xfff0000000000000,
2546  0xfff7ffffffffffff, 0xfff8000000000000,
2547  0xfffbffffffffffff, 0xfffc000000000000,
2548  0xfffdffffffffffff, 0xfffe000000000000,
2549  0xfffeffffffffffff, 0xffff000000000000,
2550  0xffff7fffffffffff, 0xffff800000000000,
2551  0xffffbfffffffffff, 0xffffc00000000000,
2552  0xffffdfffffffffff, 0xffffe00000000000,
2553  0xffffefffffffffff, 0xfffff00000000000,
2554  0xfffff7ffffffffff, 0xfffff80000000000,
2555  0xfffffbffffffffff, 0xfffffc0000000000,
2556  0xfffffdffffffffff, 0xfffffe0000000000,
2557  0xfffffeffffffffff, 0xffffff0000000000,
2558  0xffffff7fffffffff, 0xffffff8000000000,
2559  0xffffffbfffffffff, 0xffffffc000000000,
2560  0xffffffdfffffffff, 0xffffffe000000000,
2561  0xffffffefffffffff, 0xfffffff000000000,
2562  0xfffffff7ffffffff, 0xfffffff800000000,
2563  0xfffffffbffffffff, 0xfffffffc00000000,
2564  0xfffffffdffffffff, 0xfffffffe00000000,
2565  0xfffffffeffffffff, 0xffffffff00000000,
2566  0xffffffff7fffffff, 0xffffffff80000000,
2567  0xffffffffbfffffff, 0xffffffffc0000000,
2568  0xffffffffdfffffff, 0xffffffffe0000000,
2569  0xffffffffefffffff, 0xfffffffff0000000,
2570  0xfffffffff7ffffff, 0xfffffffff8000000,
2571  0xfffffffffbffffff, 0xfffffffffc000000,
2572  0xfffffffffdffffff, 0xfffffffffe000000,
2573  0xfffffffffeffffff, 0xffffffffff000000,
2574  0xffffffffff7fffff, 0xffffffffff800000,
2575  0xffffffffffbfffff, 0xffffffffffc00000,
2576  0xffffffffffdfffff, 0xffffffffffe00000,
2577  0xffffffffffefffff, 0xfffffffffff00000,
2578  0xfffffffffff7ffff, 0xfffffffffff80000,
2579  0xfffffffffffbffff, 0xfffffffffffc0000,
2580  0xfffffffffffdffff, 0xfffffffffffe0000,
2581  0xfffffffffffeffff, 0xffffffffffff0000,
2582  0xffffffffffff7fff, 0xffffffffffff8000,
2583  0xffffffffffffbfff, 0xffffffffffffc000,
2584  0xffffffffffffdfff, 0xffffffffffffe000,
2585  0xffffffffffffefff, 0xfffffffffffff000,
2586  0xfffffffffffff7ff, 0xfffffffffffff800,
2587  0xfffffffffffffbff, 0xfffffffffffffc00,
2588  0xfffffffffffffdff, 0xfffffffffffffe00,
2589  0xfffffffffffffeff, 0xffffffffffffff00,
2590  0xffffffffffffff7f, 0xffffffffffffff80,
2591  0xffffffffffffffbf, 0xffffffffffffffc0,
2592  0xffffffffffffffdf, 0xffffffffffffffe0,
2593  0xffffffffffffffef, 0xfffffffffffffff0,
2594  0xfffffffffffffff7, 0xfffffffffffffff8,
2595  0xfffffffffffffffb, 0xfffffffffffffffc,
2596  0xfffffffffffffffd, 0xfffffffffffffffe,
2597  0xfffffffffffffffe, 0xffffffffffffffff,
2598};
2599const unsigned kExpectedCount_NEON_ursra_2D_2OPIMM = 2560;
2600
2601#endif  // VIXL_SIM_URSRA_2D_2OPIMM_TRACE_AARCH64_H_
2602