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