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_SMULL_2D_2S_S_TRACE_AARCH64_H_
35#define VIXL_SIM_SMULL_2D_2S_S_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_smull_2D_2S_S[] = {
38  0x000000003e040000, 0x000000003e820000,
39  0x000000003e820000, 0x000000003f010000,
40  0x0000003efe860000, 0x0000003f7e830000,
41  0x0000000000000000, 0x0000000000000000,
42  0x000000003e820000, 0x000000003f010000,
43  0x0000003efe860000, 0x0000003f7e830000,
44  0x0000000000000000, 0x0000000000000000,
45  0x0000000000007e00, 0x0000000000007f00,
46  0x0000003efe860000, 0x0000003f7e830000,
47  0x0000000000000000, 0x0000000000000000,
48  0x0000000000007e00, 0x0000000000007f00,
49  0x000000000000fc00, 0x000000000000fe00,
50  0x0000000000000000, 0x0000000000000000,
51  0x0000000000007e00, 0x0000000000007f00,
52  0x000000000000fc00, 0x000000000000fe00,
53  0x00000000000fc000, 0x00000000000fe000,
54  0x0000000000007e00, 0x0000000000007f00,
55  0x000000000000fc00, 0x000000000000fe00,
56  0x00000000000fc000, 0x00000000000fe000,
57  0x00000000003d8600, 0x00000000003e0300,
58  0x000000000000fc00, 0x000000000000fe00,
59  0x00000000000fc000, 0x00000000000fe000,
60  0x00000000003d8600, 0x00000000003e0300,
61  0x00000000003e0400, 0x00000000003e8200,
62  0x00000000000fc000, 0x00000000000fe000,
63  0x00000000003d8600, 0x00000000003e0300,
64  0x00000000003e0400, 0x00000000003e8200,
65  0x00000000003e8200, 0x00000000003f0100,
66  0x00000000003d8600, 0x00000000003e0300,
67  0x00000000003e0400, 0x00000000003e8200,
68  0x00000000003e8200, 0x00000000003f0100,
69  0x000000003efe8600, 0x000000003f7e8300,
70  0x00000000003e0400, 0x00000000003e8200,
71  0x00000000003e8200, 0x00000000003f0100,
72  0x000000003efe8600, 0x000000003f7e8300,
73  0x000000003eff0400, 0x000000003f7f0200,
74  0x00000000003e8200, 0x00000000003f0100,
75  0x000000003efe8600, 0x000000003f7e8300,
76  0x000000003eff0400, 0x000000003f7f0200,
77  0x000000003eff8200, 0x000000003f7f8100,
78  0x000000003efe8600, 0x000000003f7e8300,
79  0x000000003eff0400, 0x000000003f7f0200,
80  0x000000003eff8200, 0x000000003f7f8100,
81  0x0000193333331a00, 0x0000196666664d00,
82  0x000000003eff0400, 0x000000003f7f0200,
83  0x000000003eff8200, 0x000000003f7f8100,
84  0x0000193333331a00, 0x0000196666664d00,
85  0x000029ffffffd600, 0x00002a5555552b00,
86  0x000000003eff8200, 0x000000003f7f8100,
87  0x0000193333331a00, 0x0000196666664d00,
88  0x000029ffffffd600, 0x00002a5555552b00,
89  0x00003efffffe8600, 0x00003f7ffffe8300,
90  0x0000193333331a00, 0x0000196666664d00,
91  0x000029ffffffd600, 0x00002a5555552b00,
92  0x00003efffffe8600, 0x00003f7ffffe8300,
93  0x00003effffff0400, 0x00003f7fffff0200,
94  0x000029ffffffd600, 0x00002a5555552b00,
95  0x00003efffffe8600, 0x00003f7ffffe8300,
96  0x00003effffff0400, 0x00003f7fffff0200,
97  0x00003effffff8200, 0x00003f7fffff8100,
98  0x00003efffffe8600, 0x00003f7ffffe8300,
99  0x00003effffff0400, 0x00003f7fffff0200,
100  0x00003effffff8200, 0x00003f7fffff8100,
101  0xffffc10000000000, 0xffffc08000000000,
102  0x00003effffff0400, 0x00003f7fffff0200,
103  0x00003effffff8200, 0x00003f7fffff8100,
104  0xffffc10000000000, 0xffffc08000000000,
105  0xffffc10000007e00, 0xffffc08000007f00,
106  0x00003effffff8200, 0x00003f7fffff8100,
107  0xffffc10000000000, 0xffffc08000000000,
108  0xffffc10000007e00, 0xffffc08000007f00,
109  0xffffd5ffffffac00, 0xffffd5aaaaaa5600,
110  0xffffc10000000000, 0xffffc08000000000,
111  0xffffc10000007e00, 0xffffc08000007f00,
112  0xffffd5ffffffac00, 0xffffd5aaaaaa5600,
113  0xffffe6cccccc6800, 0xffffe69999993400,
114  0xffffc10000007e00, 0xffffc08000007f00,
115  0xffffd5ffffffac00, 0xffffd5aaaaaa5600,
116  0xffffe6cccccc6800, 0xffffe69999993400,
117  0xffffffffc1000000, 0xffffffffc0800000,
118  0xffffd5ffffffac00, 0xffffd5aaaaaa5600,
119  0xffffe6cccccc6800, 0xffffe69999993400,
120  0xffffffffc1000000, 0xffffffffc0800000,
121  0xffffffffc1007e00, 0xffffffffc0807f00,
122  0xffffe6cccccc6800, 0xffffe69999993400,
123  0xffffffffc1000000, 0xffffffffc0800000,
124  0xffffffffc1007e00, 0xffffffffc0807f00,
125  0xffffffffc100fc00, 0xffffffffc080fe00,
126  0xffffffffc1000000, 0xffffffffc0800000,
127  0xffffffffc1007e00, 0xffffffffc0807f00,
128  0xffffffffc100fc00, 0xffffffffc080fe00,
129  0xffffffffc1017a00, 0xffffffffc0817d00,
130  0xffffffffc1007e00, 0xffffffffc0807f00,
131  0xffffffffc100fc00, 0xffffffffc080fe00,
132  0xffffffffc1017a00, 0xffffffffc0817d00,
133  0xffffffffffc10000, 0xffffffffffc08000,
134  0xffffffffc100fc00, 0xffffffffc080fe00,
135  0xffffffffc1017a00, 0xffffffffc0817d00,
136  0xffffffffffc10000, 0xffffffffffc08000,
137  0xffffffffffc17e00, 0xffffffffffc0ff00,
138  0xffffffffc1017a00, 0xffffffffc0817d00,
139  0xffffffffffc10000, 0xffffffffffc08000,
140  0xffffffffffc17e00, 0xffffffffffc0ff00,
141  0xffffffffffc1fc00, 0xffffffffffc17e00,
142  0xffffffffffc10000, 0xffffffffffc08000,
143  0xffffffffffc17e00, 0xffffffffffc0ff00,
144  0xffffffffffc1fc00, 0xffffffffffc17e00,
145  0xffffffffffc27a00, 0xffffffffffc1fd00,
146  0xffffffffffc17e00, 0xffffffffffc0ff00,
147  0xffffffffffc1fc00, 0xffffffffffc17e00,
148  0xffffffffffc27a00, 0xffffffffffc1fd00,
149  0xfffffffffff04000, 0xfffffffffff02000,
150  0xffffffffffc1fc00, 0xffffffffffc17e00,
151  0xffffffffffc27a00, 0xffffffffffc1fd00,
152  0xfffffffffff04000, 0xfffffffffff02000,
153  0xfffffffffffe8600, 0xfffffffffffe8300,
154  0xffffffffffc27a00, 0xffffffffffc1fd00,
155  0xfffffffffff04000, 0xfffffffffff02000,
156  0xfffffffffffe8600, 0xfffffffffffe8300,
157  0xffffffffffff0400, 0xffffffffffff0200,
158  0xfffffffffff04000, 0xfffffffffff02000,
159  0xfffffffffffe8600, 0xfffffffffffe8300,
160  0xffffffffffff0400, 0xffffffffffff0200,
161  0xffffffffffff8200, 0xffffffffffff8100,
162  0xfffffffffffe8300, 0xfffffffffe800900,
163  0xffffffffffff0200, 0xffffffffff000600,
164  0xffffffffffff8100, 0xffffffffff800300,
165  0x0000000000000000, 0x0000000000000000,
166  0xffffffffffff0200, 0xffffffffff000600,
167  0xffffffffffff8100, 0xffffffffff800300,
168  0x0000000000000000, 0x0000000000000000,
169  0x0000000000007f00, 0x00000000007ffd00,
170  0xffffffffffff8100, 0xffffffffff800300,
171  0x0000000000000000, 0x0000000000000000,
172  0x0000000000007f00, 0x00000000007ffd00,
173  0x000000000000fe00, 0x0000000000fffa00,
174  0x0000000000000000, 0x0000000000000000,
175  0x0000000000007f00, 0x00000000007ffd00,
176  0x000000000000fe00, 0x0000000000fffa00,
177  0x00000000000fe000, 0x000000000fffa000,
178  0x0000000000007f00, 0x00000000007ffd00,
179  0x000000000000fe00, 0x0000000000fffa00,
180  0x00000000000fe000, 0x000000000fffa000,
181  0x00000000003e0300, 0x000000003e7e8900,
182  0x000000000000fe00, 0x0000000000fffa00,
183  0x00000000000fe000, 0x000000000fffa000,
184  0x00000000003e0300, 0x000000003e7e8900,
185  0x00000000003e8200, 0x000000003efe8600,
186  0x00000000000fe000, 0x000000000fffa000,
187  0x00000000003e0300, 0x000000003e7e8900,
188  0x00000000003e8200, 0x000000003efe8600,
189  0x00000000003f0100, 0x000000003f7e8300,
190  0x00000000003e0300, 0x000000003e7e8900,
191  0x00000000003e8200, 0x000000003efe8600,
192  0x00000000003f0100, 0x000000003f7e8300,
193  0x000000003f7e8300, 0x0000003ffd000900,
194  0x00000000003e8200, 0x000000003efe8600,
195  0x00000000003f0100, 0x000000003f7e8300,
196  0x000000003f7e8300, 0x0000003ffd000900,
197  0x000000003f7f0200, 0x0000003ffd800600,
198  0x00000000003f0100, 0x000000003f7e8300,
199  0x000000003f7e8300, 0x0000003ffd000900,
200  0x000000003f7f0200, 0x0000003ffd800600,
201  0x000000003f7f8100, 0x0000003ffe000300,
202  0x000000003f7e8300, 0x0000003ffd000900,
203  0x000000003f7f0200, 0x0000003ffd800600,
204  0x000000003f7f8100, 0x0000003ffe000300,
205  0x0000196666664d00, 0x001998ffffe66700,
206  0x000000003f7f0200, 0x0000003ffd800600,
207  0x000000003f7f8100, 0x0000003ffe000300,
208  0x0000196666664d00, 0x001998ffffe66700,
209  0x00002a5555552b00, 0x002aa9aaaa800100,
210  0x000000003f7f8100, 0x0000003ffe000300,
211  0x0000196666664d00, 0x001998ffffe66700,
212  0x00002a5555552b00, 0x002aa9aaaa800100,
213  0x00003f7ffffe8300, 0x003ffe7ffe800900,
214  0x0000196666664d00, 0x001998ffffe66700,
215  0x00002a5555552b00, 0x002aa9aaaa800100,
216  0x00003f7ffffe8300, 0x003ffe7ffe800900,
217  0x00003f7fffff0200, 0x003ffe7fff000600,
218  0x00002a5555552b00, 0x002aa9aaaa800100,
219  0x00003f7ffffe8300, 0x003ffe7ffe800900,
220  0x00003f7fffff0200, 0x003ffe7fff000600,
221  0x00003f7fffff8100, 0x003ffe7fff800300,
222  0x00003f7ffffe8300, 0x003ffe7ffe800900,
223  0x00003f7fffff0200, 0x003ffe7fff000600,
224  0x00003f7fffff8100, 0x003ffe7fff800300,
225  0xffffc08000000000, 0xffc0018000000000,
226  0x00003f7fffff0200, 0x003ffe7fff000600,
227  0x00003f7fffff8100, 0x003ffe7fff800300,
228  0xffffc08000000000, 0xffc0018000000000,
229  0xffffc08000007f00, 0xffc00180007ffd00,
230  0x00003f7fffff8100, 0x003ffe7fff800300,
231  0xffffc08000000000, 0xffc0018000000000,
232  0xffffc08000007f00, 0xffc00180007ffd00,
233  0xffffd5aaaaaa5600, 0xffd5565555000200,
234  0xffffc08000000000, 0xffc0018000000000,
235  0xffffc08000007f00, 0xffc00180007ffd00,
236  0xffffd5aaaaaa5600, 0xffd5565555000200,
237  0xffffe69999993400, 0xffe666ffff999c00,
238  0xffffc08000007f00, 0xffc00180007ffd00,
239  0xffffd5aaaaaa5600, 0xffd5565555000200,
240  0xffffe69999993400, 0xffe666ffff999c00,
241  0xffffffffc0800000, 0xffffffc001800000,
242  0xffffd5aaaaaa5600, 0xffd5565555000200,
243  0xffffe69999993400, 0xffe666ffff999c00,
244  0xffffffffc0800000, 0xffffffc001800000,
245  0xffffffffc0807f00, 0xffffffc001fffd00,
246  0xffffe69999993400, 0xffe666ffff999c00,
247  0xffffffffc0800000, 0xffffffc001800000,
248  0xffffffffc0807f00, 0xffffffc001fffd00,
249  0xffffffffc080fe00, 0xffffffc0027ffa00,
250  0xffffffffc0800000, 0xffffffc001800000,
251  0xffffffffc0807f00, 0xffffffc001fffd00,
252  0xffffffffc080fe00, 0xffffffc0027ffa00,
253  0xffffffffc0817d00, 0xffffffc002fff700,
254  0xffffffffc0807f00, 0xffffffc001fffd00,
255  0xffffffffc080fe00, 0xffffffc0027ffa00,
256  0xffffffffc0817d00, 0xffffffc002fff700,
257  0xffffffffffc08000, 0xffffffffc0018000,
258  0xffffffffc080fe00, 0xffffffc0027ffa00,
259  0xffffffffc0817d00, 0xffffffc002fff700,
260  0xffffffffffc08000, 0xffffffffc0018000,
261  0xffffffffffc0ff00, 0xffffffffc0817d00,
262  0xffffffffc0817d00, 0xffffffc002fff700,
263  0xffffffffffc08000, 0xffffffffc0018000,
264  0xffffffffffc0ff00, 0xffffffffc0817d00,
265  0xffffffffffc17e00, 0xffffffffc1017a00,
266  0xffffffffffc08000, 0xffffffffc0018000,
267  0xffffffffffc0ff00, 0xffffffffc0817d00,
268  0xffffffffffc17e00, 0xffffffffc1017a00,
269  0xffffffffffc1fd00, 0xffffffffc1817700,
270  0xffffffffffc0ff00, 0xffffffffc0817d00,
271  0xffffffffffc17e00, 0xffffffffc1017a00,
272  0xffffffffffc1fd00, 0xffffffffc1817700,
273  0xfffffffffff02000, 0xfffffffff0006000,
274  0xffffffffffc17e00, 0xffffffffc1017a00,
275  0xffffffffffc1fd00, 0xffffffffc1817700,
276  0xfffffffffff02000, 0xfffffffff0006000,
277  0xfffffffffffe8300, 0xfffffffffe800900,
278  0xffffffffffc1fd00, 0xffffffffc1817700,
279  0xfffffffffff02000, 0xfffffffff0006000,
280  0xfffffffffffe8300, 0xfffffffffe800900,
281  0xffffffffffff0200, 0xffffffffff000600,
282  0xfffffffffff02000, 0xfffffffff0006000,
283  0xfffffffffffe8300, 0xfffffffffe800900,
284  0xffffffffffff0200, 0xffffffffff000600,
285  0xffffffffffff8100, 0xffffffffff800300,
286  0xfffffffffe800900, 0x0000000000000000,
287  0xffffffffff000600, 0x0000000000000000,
288  0xffffffffff800300, 0x0000000000000000,
289  0x0000000000000000, 0x0000000000000000,
290  0xffffffffff000600, 0x0000000000000000,
291  0xffffffffff800300, 0x0000000000000000,
292  0x0000000000000000, 0x0000000000000000,
293  0x00000000007ffd00, 0x0000000000000000,
294  0xffffffffff800300, 0x0000000000000000,
295  0x0000000000000000, 0x0000000000000000,
296  0x00000000007ffd00, 0x0000000000000000,
297  0x0000000000fffa00, 0x0000000000000000,
298  0x0000000000000000, 0x0000000000000000,
299  0x00000000007ffd00, 0x0000000000000000,
300  0x0000000000fffa00, 0x0000000000000000,
301  0x000000000fffa000, 0x0000000000000000,
302  0x00000000007ffd00, 0x0000000000000000,
303  0x0000000000fffa00, 0x0000000000000000,
304  0x000000000fffa000, 0x0000000000000000,
305  0x000000003e7e8900, 0x0000000000000000,
306  0x0000000000fffa00, 0x0000000000000000,
307  0x000000000fffa000, 0x0000000000000000,
308  0x000000003e7e8900, 0x0000000000000000,
309  0x000000003efe8600, 0x0000000000000000,
310  0x000000000fffa000, 0x0000000000000000,
311  0x000000003e7e8900, 0x0000000000000000,
312  0x000000003efe8600, 0x0000000000000000,
313  0x000000003f7e8300, 0x0000000000000000,
314  0x000000003e7e8900, 0x0000000000000000,
315  0x000000003efe8600, 0x0000000000000000,
316  0x000000003f7e8300, 0x0000000000000000,
317  0x0000003ffd000900, 0x0000000000000000,
318  0x000000003efe8600, 0x0000000000000000,
319  0x000000003f7e8300, 0x0000000000000000,
320  0x0000003ffd000900, 0x0000000000000000,
321  0x0000003ffd800600, 0x0000000000000000,
322  0x000000003f7e8300, 0x0000000000000000,
323  0x0000003ffd000900, 0x0000000000000000,
324  0x0000003ffd800600, 0x0000000000000000,
325  0x0000003ffe000300, 0x0000000000000000,
326  0x0000003ffd000900, 0x0000000000000000,
327  0x0000003ffd800600, 0x0000000000000000,
328  0x0000003ffe000300, 0x0000000000000000,
329  0x001998ffffe66700, 0x0000000000000000,
330  0x0000003ffd800600, 0x0000000000000000,
331  0x0000003ffe000300, 0x0000000000000000,
332  0x001998ffffe66700, 0x0000000000000000,
333  0x002aa9aaaa800100, 0x0000000000000000,
334  0x0000003ffe000300, 0x0000000000000000,
335  0x001998ffffe66700, 0x0000000000000000,
336  0x002aa9aaaa800100, 0x0000000000000000,
337  0x003ffe7ffe800900, 0x0000000000000000,
338  0x001998ffffe66700, 0x0000000000000000,
339  0x002aa9aaaa800100, 0x0000000000000000,
340  0x003ffe7ffe800900, 0x0000000000000000,
341  0x003ffe7fff000600, 0x0000000000000000,
342  0x002aa9aaaa800100, 0x0000000000000000,
343  0x003ffe7ffe800900, 0x0000000000000000,
344  0x003ffe7fff000600, 0x0000000000000000,
345  0x003ffe7fff800300, 0x0000000000000000,
346  0x003ffe7ffe800900, 0x0000000000000000,
347  0x003ffe7fff000600, 0x0000000000000000,
348  0x003ffe7fff800300, 0x0000000000000000,
349  0xffc0018000000000, 0x0000000000000000,
350  0x003ffe7fff000600, 0x0000000000000000,
351  0x003ffe7fff800300, 0x0000000000000000,
352  0xffc0018000000000, 0x0000000000000000,
353  0xffc00180007ffd00, 0x0000000000000000,
354  0x003ffe7fff800300, 0x0000000000000000,
355  0xffc0018000000000, 0x0000000000000000,
356  0xffc00180007ffd00, 0x0000000000000000,
357  0xffd5565555000200, 0x0000000000000000,
358  0xffc0018000000000, 0x0000000000000000,
359  0xffc00180007ffd00, 0x0000000000000000,
360  0xffd5565555000200, 0x0000000000000000,
361  0xffe666ffff999c00, 0x0000000000000000,
362  0xffc00180007ffd00, 0x0000000000000000,
363  0xffd5565555000200, 0x0000000000000000,
364  0xffe666ffff999c00, 0x0000000000000000,
365  0xffffffc001800000, 0x0000000000000000,
366  0xffd5565555000200, 0x0000000000000000,
367  0xffe666ffff999c00, 0x0000000000000000,
368  0xffffffc001800000, 0x0000000000000000,
369  0xffffffc001fffd00, 0x0000000000000000,
370  0xffe666ffff999c00, 0x0000000000000000,
371  0xffffffc001800000, 0x0000000000000000,
372  0xffffffc001fffd00, 0x0000000000000000,
373  0xffffffc0027ffa00, 0x0000000000000000,
374  0xffffffc001800000, 0x0000000000000000,
375  0xffffffc001fffd00, 0x0000000000000000,
376  0xffffffc0027ffa00, 0x0000000000000000,
377  0xffffffc002fff700, 0x0000000000000000,
378  0xffffffc001fffd00, 0x0000000000000000,
379  0xffffffc0027ffa00, 0x0000000000000000,
380  0xffffffc002fff700, 0x0000000000000000,
381  0xffffffffc0018000, 0x0000000000000000,
382  0xffffffc0027ffa00, 0x0000000000000000,
383  0xffffffc002fff700, 0x0000000000000000,
384  0xffffffffc0018000, 0x0000000000000000,
385  0xffffffffc0817d00, 0x0000000000000000,
386  0xffffffc002fff700, 0x0000000000000000,
387  0xffffffffc0018000, 0x0000000000000000,
388  0xffffffffc0817d00, 0x0000000000000000,
389  0xffffffffc1017a00, 0x0000000000000000,
390  0xffffffffc0018000, 0x0000000000000000,
391  0xffffffffc0817d00, 0x0000000000000000,
392  0xffffffffc1017a00, 0x0000000000000000,
393  0xffffffffc1817700, 0x0000000000000000,
394  0xffffffffc0817d00, 0x0000000000000000,
395  0xffffffffc1017a00, 0x0000000000000000,
396  0xffffffffc1817700, 0x0000000000000000,
397  0xfffffffff0006000, 0x0000000000000000,
398  0xffffffffc1017a00, 0x0000000000000000,
399  0xffffffffc1817700, 0x0000000000000000,
400  0xfffffffff0006000, 0x0000000000000000,
401  0xfffffffffe800900, 0x0000000000000000,
402  0xffffffffc1817700, 0x0000000000000000,
403  0xfffffffff0006000, 0x0000000000000000,
404  0xfffffffffe800900, 0x0000000000000000,
405  0xffffffffff000600, 0x0000000000000000,
406  0xfffffffff0006000, 0x0000000000000000,
407  0xfffffffffe800900, 0x0000000000000000,
408  0xffffffffff000600, 0x0000000000000000,
409  0xffffffffff800300, 0x0000000000000000,
410  0x0000000000000000, 0xfffffffffffffffd,
411  0x0000000000000000, 0xfffffffffffffffe,
412  0x0000000000000000, 0xffffffffffffffff,
413  0x0000000000000000, 0x0000000000000000,
414  0x0000000000000000, 0xfffffffffffffffe,
415  0x0000000000000000, 0xffffffffffffffff,
416  0x0000000000000000, 0x0000000000000000,
417  0x0000000000000000, 0x0000000000000001,
418  0x0000000000000000, 0xffffffffffffffff,
419  0x0000000000000000, 0x0000000000000000,
420  0x0000000000000000, 0x0000000000000001,
421  0x0000000000000000, 0x0000000000000002,
422  0x0000000000000000, 0x0000000000000000,
423  0x0000000000000000, 0x0000000000000001,
424  0x0000000000000000, 0x0000000000000002,
425  0x0000000000000000, 0x0000000000000020,
426  0x0000000000000000, 0x0000000000000001,
427  0x0000000000000000, 0x0000000000000002,
428  0x0000000000000000, 0x0000000000000020,
429  0x0000000000000000, 0x000000000000007d,
430  0x0000000000000000, 0x0000000000000002,
431  0x0000000000000000, 0x0000000000000020,
432  0x0000000000000000, 0x000000000000007d,
433  0x0000000000000000, 0x000000000000007e,
434  0x0000000000000000, 0x0000000000000020,
435  0x0000000000000000, 0x000000000000007d,
436  0x0000000000000000, 0x000000000000007e,
437  0x0000000000000000, 0x000000000000007f,
438  0x0000000000000000, 0x000000000000007d,
439  0x0000000000000000, 0x000000000000007e,
440  0x0000000000000000, 0x000000000000007f,
441  0x0000000000000000, 0x0000000000007ffd,
442  0x0000000000000000, 0x000000000000007e,
443  0x0000000000000000, 0x000000000000007f,
444  0x0000000000000000, 0x0000000000007ffd,
445  0x0000000000000000, 0x0000000000007ffe,
446  0x0000000000000000, 0x000000000000007f,
447  0x0000000000000000, 0x0000000000007ffd,
448  0x0000000000000000, 0x0000000000007ffe,
449  0x0000000000000000, 0x0000000000007fff,
450  0x0000000000000000, 0x0000000000007ffd,
451  0x0000000000000000, 0x0000000000007ffe,
452  0x0000000000000000, 0x0000000000007fff,
453  0x0000000000000000, 0x0000000033333333,
454  0x0000000000000000, 0x0000000000007ffe,
455  0x0000000000000000, 0x0000000000007fff,
456  0x0000000000000000, 0x0000000033333333,
457  0x0000000000000000, 0x0000000055555555,
458  0x0000000000000000, 0x0000000000007fff,
459  0x0000000000000000, 0x0000000033333333,
460  0x0000000000000000, 0x0000000055555555,
461  0x0000000000000000, 0x000000007ffffffd,
462  0x0000000000000000, 0x0000000033333333,
463  0x0000000000000000, 0x0000000055555555,
464  0x0000000000000000, 0x000000007ffffffd,
465  0x0000000000000000, 0x000000007ffffffe,
466  0x0000000000000000, 0x0000000055555555,
467  0x0000000000000000, 0x000000007ffffffd,
468  0x0000000000000000, 0x000000007ffffffe,
469  0x0000000000000000, 0x000000007fffffff,
470  0x0000000000000000, 0x000000007ffffffd,
471  0x0000000000000000, 0x000000007ffffffe,
472  0x0000000000000000, 0x000000007fffffff,
473  0x0000000000000000, 0xffffffff80000000,
474  0x0000000000000000, 0x000000007ffffffe,
475  0x0000000000000000, 0x000000007fffffff,
476  0x0000000000000000, 0xffffffff80000000,
477  0x0000000000000000, 0xffffffff80000001,
478  0x0000000000000000, 0x000000007fffffff,
479  0x0000000000000000, 0xffffffff80000000,
480  0x0000000000000000, 0xffffffff80000001,
481  0x0000000000000000, 0xffffffffaaaaaaaa,
482  0x0000000000000000, 0xffffffff80000000,
483  0x0000000000000000, 0xffffffff80000001,
484  0x0000000000000000, 0xffffffffaaaaaaaa,
485  0x0000000000000000, 0xffffffffcccccccc,
486  0x0000000000000000, 0xffffffff80000001,
487  0x0000000000000000, 0xffffffffaaaaaaaa,
488  0x0000000000000000, 0xffffffffcccccccc,
489  0x0000000000000000, 0xffffffffffff8000,
490  0x0000000000000000, 0xffffffffaaaaaaaa,
491  0x0000000000000000, 0xffffffffcccccccc,
492  0x0000000000000000, 0xffffffffffff8000,
493  0x0000000000000000, 0xffffffffffff8001,
494  0x0000000000000000, 0xffffffffcccccccc,
495  0x0000000000000000, 0xffffffffffff8000,
496  0x0000000000000000, 0xffffffffffff8001,
497  0x0000000000000000, 0xffffffffffff8002,
498  0x0000000000000000, 0xffffffffffff8000,
499  0x0000000000000000, 0xffffffffffff8001,
500  0x0000000000000000, 0xffffffffffff8002,
501  0x0000000000000000, 0xffffffffffff8003,
502  0x0000000000000000, 0xffffffffffff8001,
503  0x0000000000000000, 0xffffffffffff8002,
504  0x0000000000000000, 0xffffffffffff8003,
505  0x0000000000000000, 0xffffffffffffff80,
506  0x0000000000000000, 0xffffffffffff8002,
507  0x0000000000000000, 0xffffffffffff8003,
508  0x0000000000000000, 0xffffffffffffff80,
509  0x0000000000000000, 0xffffffffffffff81,
510  0x0000000000000000, 0xffffffffffff8003,
511  0x0000000000000000, 0xffffffffffffff80,
512  0x0000000000000000, 0xffffffffffffff81,
513  0x0000000000000000, 0xffffffffffffff82,
514  0x0000000000000000, 0xffffffffffffff80,
515  0x0000000000000000, 0xffffffffffffff81,
516  0x0000000000000000, 0xffffffffffffff82,
517  0x0000000000000000, 0xffffffffffffff83,
518  0x0000000000000000, 0xffffffffffffff81,
519  0x0000000000000000, 0xffffffffffffff82,
520  0x0000000000000000, 0xffffffffffffff83,
521  0x0000000000000000, 0xffffffffffffffe0,
522  0x0000000000000000, 0xffffffffffffff82,
523  0x0000000000000000, 0xffffffffffffff83,
524  0x0000000000000000, 0xffffffffffffffe0,
525  0x0000000000000000, 0xfffffffffffffffd,
526  0x0000000000000000, 0xffffffffffffff83,
527  0x0000000000000000, 0xffffffffffffffe0,
528  0x0000000000000000, 0xfffffffffffffffd,
529  0x0000000000000000, 0xfffffffffffffffe,
530  0x0000000000000000, 0xffffffffffffffe0,
531  0x0000000000000000, 0xfffffffffffffffd,
532  0x0000000000000000, 0xfffffffffffffffe,
533  0x0000000000000000, 0xffffffffffffffff,
534  0xfffffffffffffffd, 0xfffffffffffffffa,
535  0xfffffffffffffffe, 0xfffffffffffffffc,
536  0xffffffffffffffff, 0xfffffffffffffffe,
537  0x0000000000000000, 0x0000000000000000,
538  0xfffffffffffffffe, 0xfffffffffffffffc,
539  0xffffffffffffffff, 0xfffffffffffffffe,
540  0x0000000000000000, 0x0000000000000000,
541  0x0000000000000001, 0x0000000000000002,
542  0xffffffffffffffff, 0xfffffffffffffffe,
543  0x0000000000000000, 0x0000000000000000,
544  0x0000000000000001, 0x0000000000000002,
545  0x0000000000000002, 0x0000000000000004,
546  0x0000000000000000, 0x0000000000000000,
547  0x0000000000000001, 0x0000000000000002,
548  0x0000000000000002, 0x0000000000000004,
549  0x0000000000000020, 0x0000000000000040,
550  0x0000000000000001, 0x0000000000000002,
551  0x0000000000000002, 0x0000000000000004,
552  0x0000000000000020, 0x0000000000000040,
553  0x000000000000007d, 0x00000000000000fa,
554  0x0000000000000002, 0x0000000000000004,
555  0x0000000000000020, 0x0000000000000040,
556  0x000000000000007d, 0x00000000000000fa,
557  0x000000000000007e, 0x00000000000000fc,
558  0x0000000000000020, 0x0000000000000040,
559  0x000000000000007d, 0x00000000000000fa,
560  0x000000000000007e, 0x00000000000000fc,
561  0x000000000000007f, 0x00000000000000fe,
562  0x000000000000007d, 0x00000000000000fa,
563  0x000000000000007e, 0x00000000000000fc,
564  0x000000000000007f, 0x00000000000000fe,
565  0x0000000000007ffd, 0x000000000000fffa,
566  0x000000000000007e, 0x00000000000000fc,
567  0x000000000000007f, 0x00000000000000fe,
568  0x0000000000007ffd, 0x000000000000fffa,
569  0x0000000000007ffe, 0x000000000000fffc,
570  0x000000000000007f, 0x00000000000000fe,
571  0x0000000000007ffd, 0x000000000000fffa,
572  0x0000000000007ffe, 0x000000000000fffc,
573  0x0000000000007fff, 0x000000000000fffe,
574  0x0000000000007ffd, 0x000000000000fffa,
575  0x0000000000007ffe, 0x000000000000fffc,
576  0x0000000000007fff, 0x000000000000fffe,
577  0x0000000033333333, 0x0000000066666666,
578  0x0000000000007ffe, 0x000000000000fffc,
579  0x0000000000007fff, 0x000000000000fffe,
580  0x0000000033333333, 0x0000000066666666,
581  0x0000000055555555, 0x00000000aaaaaaaa,
582  0x0000000000007fff, 0x000000000000fffe,
583  0x0000000033333333, 0x0000000066666666,
584  0x0000000055555555, 0x00000000aaaaaaaa,
585  0x000000007ffffffd, 0x00000000fffffffa,
586  0x0000000033333333, 0x0000000066666666,
587  0x0000000055555555, 0x00000000aaaaaaaa,
588  0x000000007ffffffd, 0x00000000fffffffa,
589  0x000000007ffffffe, 0x00000000fffffffc,
590  0x0000000055555555, 0x00000000aaaaaaaa,
591  0x000000007ffffffd, 0x00000000fffffffa,
592  0x000000007ffffffe, 0x00000000fffffffc,
593  0x000000007fffffff, 0x00000000fffffffe,
594  0x000000007ffffffd, 0x00000000fffffffa,
595  0x000000007ffffffe, 0x00000000fffffffc,
596  0x000000007fffffff, 0x00000000fffffffe,
597  0xffffffff80000000, 0xffffffff00000000,
598  0x000000007ffffffe, 0x00000000fffffffc,
599  0x000000007fffffff, 0x00000000fffffffe,
600  0xffffffff80000000, 0xffffffff00000000,
601  0xffffffff80000001, 0xffffffff00000002,
602  0x000000007fffffff, 0x00000000fffffffe,
603  0xffffffff80000000, 0xffffffff00000000,
604  0xffffffff80000001, 0xffffffff00000002,
605  0xffffffffaaaaaaaa, 0xffffffff55555554,
606  0xffffffff80000000, 0xffffffff00000000,
607  0xffffffff80000001, 0xffffffff00000002,
608  0xffffffffaaaaaaaa, 0xffffffff55555554,
609  0xffffffffcccccccc, 0xffffffff99999998,
610  0xffffffff80000001, 0xffffffff00000002,
611  0xffffffffaaaaaaaa, 0xffffffff55555554,
612  0xffffffffcccccccc, 0xffffffff99999998,
613  0xffffffffffff8000, 0xffffffffffff0000,
614  0xffffffffaaaaaaaa, 0xffffffff55555554,
615  0xffffffffcccccccc, 0xffffffff99999998,
616  0xffffffffffff8000, 0xffffffffffff0000,
617  0xffffffffffff8001, 0xffffffffffff0002,
618  0xffffffffcccccccc, 0xffffffff99999998,
619  0xffffffffffff8000, 0xffffffffffff0000,
620  0xffffffffffff8001, 0xffffffffffff0002,
621  0xffffffffffff8002, 0xffffffffffff0004,
622  0xffffffffffff8000, 0xffffffffffff0000,
623  0xffffffffffff8001, 0xffffffffffff0002,
624  0xffffffffffff8002, 0xffffffffffff0004,
625  0xffffffffffff8003, 0xffffffffffff0006,
626  0xffffffffffff8001, 0xffffffffffff0002,
627  0xffffffffffff8002, 0xffffffffffff0004,
628  0xffffffffffff8003, 0xffffffffffff0006,
629  0xffffffffffffff80, 0xffffffffffffff00,
630  0xffffffffffff8002, 0xffffffffffff0004,
631  0xffffffffffff8003, 0xffffffffffff0006,
632  0xffffffffffffff80, 0xffffffffffffff00,
633  0xffffffffffffff81, 0xffffffffffffff02,
634  0xffffffffffff8003, 0xffffffffffff0006,
635  0xffffffffffffff80, 0xffffffffffffff00,
636  0xffffffffffffff81, 0xffffffffffffff02,
637  0xffffffffffffff82, 0xffffffffffffff04,
638  0xffffffffffffff80, 0xffffffffffffff00,
639  0xffffffffffffff81, 0xffffffffffffff02,
640  0xffffffffffffff82, 0xffffffffffffff04,
641  0xffffffffffffff83, 0xffffffffffffff06,
642  0xffffffffffffff81, 0xffffffffffffff02,
643  0xffffffffffffff82, 0xffffffffffffff04,
644  0xffffffffffffff83, 0xffffffffffffff06,
645  0xffffffffffffffe0, 0xffffffffffffffc0,
646  0xffffffffffffff82, 0xffffffffffffff04,
647  0xffffffffffffff83, 0xffffffffffffff06,
648  0xffffffffffffffe0, 0xffffffffffffffc0,
649  0xfffffffffffffffd, 0xfffffffffffffffa,
650  0xffffffffffffff83, 0xffffffffffffff06,
651  0xffffffffffffffe0, 0xffffffffffffffc0,
652  0xfffffffffffffffd, 0xfffffffffffffffa,
653  0xfffffffffffffffe, 0xfffffffffffffffc,
654  0xffffffffffffffe0, 0xffffffffffffffc0,
655  0xfffffffffffffffd, 0xfffffffffffffffa,
656  0xfffffffffffffffe, 0xfffffffffffffffc,
657  0xffffffffffffffff, 0xfffffffffffffffe,
658  0xfffffffffffffffa, 0xffffffffffffffa0,
659  0xfffffffffffffffc, 0xffffffffffffffc0,
660  0xfffffffffffffffe, 0xffffffffffffffe0,
661  0x0000000000000000, 0x0000000000000000,
662  0xfffffffffffffffc, 0xffffffffffffffc0,
663  0xfffffffffffffffe, 0xffffffffffffffe0,
664  0x0000000000000000, 0x0000000000000000,
665  0x0000000000000002, 0x0000000000000020,
666  0xfffffffffffffffe, 0xffffffffffffffe0,
667  0x0000000000000000, 0x0000000000000000,
668  0x0000000000000002, 0x0000000000000020,
669  0x0000000000000004, 0x0000000000000040,
670  0x0000000000000000, 0x0000000000000000,
671  0x0000000000000002, 0x0000000000000020,
672  0x0000000000000004, 0x0000000000000040,
673  0x0000000000000040, 0x0000000000000400,
674  0x0000000000000002, 0x0000000000000020,
675  0x0000000000000004, 0x0000000000000040,
676  0x0000000000000040, 0x0000000000000400,
677  0x00000000000000fa, 0x0000000000000fa0,
678  0x0000000000000004, 0x0000000000000040,
679  0x0000000000000040, 0x0000000000000400,
680  0x00000000000000fa, 0x0000000000000fa0,
681  0x00000000000000fc, 0x0000000000000fc0,
682  0x0000000000000040, 0x0000000000000400,
683  0x00000000000000fa, 0x0000000000000fa0,
684  0x00000000000000fc, 0x0000000000000fc0,
685  0x00000000000000fe, 0x0000000000000fe0,
686  0x00000000000000fa, 0x0000000000000fa0,
687  0x00000000000000fc, 0x0000000000000fc0,
688  0x00000000000000fe, 0x0000000000000fe0,
689  0x000000000000fffa, 0x00000000000fffa0,
690  0x00000000000000fc, 0x0000000000000fc0,
691  0x00000000000000fe, 0x0000000000000fe0,
692  0x000000000000fffa, 0x00000000000fffa0,
693  0x000000000000fffc, 0x00000000000fffc0,
694  0x00000000000000fe, 0x0000000000000fe0,
695  0x000000000000fffa, 0x00000000000fffa0,
696  0x000000000000fffc, 0x00000000000fffc0,
697  0x000000000000fffe, 0x00000000000fffe0,
698  0x000000000000fffa, 0x00000000000fffa0,
699  0x000000000000fffc, 0x00000000000fffc0,
700  0x000000000000fffe, 0x00000000000fffe0,
701  0x0000000066666666, 0x0000000666666660,
702  0x000000000000fffc, 0x00000000000fffc0,
703  0x000000000000fffe, 0x00000000000fffe0,
704  0x0000000066666666, 0x0000000666666660,
705  0x00000000aaaaaaaa, 0x0000000aaaaaaaa0,
706  0x000000000000fffe, 0x00000000000fffe0,
707  0x0000000066666666, 0x0000000666666660,
708  0x00000000aaaaaaaa, 0x0000000aaaaaaaa0,
709  0x00000000fffffffa, 0x0000000fffffffa0,
710  0x0000000066666666, 0x0000000666666660,
711  0x00000000aaaaaaaa, 0x0000000aaaaaaaa0,
712  0x00000000fffffffa, 0x0000000fffffffa0,
713  0x00000000fffffffc, 0x0000000fffffffc0,
714  0x00000000aaaaaaaa, 0x0000000aaaaaaaa0,
715  0x00000000fffffffa, 0x0000000fffffffa0,
716  0x00000000fffffffc, 0x0000000fffffffc0,
717  0x00000000fffffffe, 0x0000000fffffffe0,
718  0x00000000fffffffa, 0x0000000fffffffa0,
719  0x00000000fffffffc, 0x0000000fffffffc0,
720  0x00000000fffffffe, 0x0000000fffffffe0,
721  0xffffffff00000000, 0xfffffff000000000,
722  0x00000000fffffffc, 0x0000000fffffffc0,
723  0x00000000fffffffe, 0x0000000fffffffe0,
724  0xffffffff00000000, 0xfffffff000000000,
725  0xffffffff00000002, 0xfffffff000000020,
726  0x00000000fffffffe, 0x0000000fffffffe0,
727  0xffffffff00000000, 0xfffffff000000000,
728  0xffffffff00000002, 0xfffffff000000020,
729  0xffffffff55555554, 0xfffffff555555540,
730  0xffffffff00000000, 0xfffffff000000000,
731  0xffffffff00000002, 0xfffffff000000020,
732  0xffffffff55555554, 0xfffffff555555540,
733  0xffffffff99999998, 0xfffffff999999980,
734  0xffffffff00000002, 0xfffffff000000020,
735  0xffffffff55555554, 0xfffffff555555540,
736  0xffffffff99999998, 0xfffffff999999980,
737  0xffffffffffff0000, 0xfffffffffff00000,
738  0xffffffff55555554, 0xfffffff555555540,
739  0xffffffff99999998, 0xfffffff999999980,
740  0xffffffffffff0000, 0xfffffffffff00000,
741  0xffffffffffff0002, 0xfffffffffff00020,
742  0xffffffff99999998, 0xfffffff999999980,
743  0xffffffffffff0000, 0xfffffffffff00000,
744  0xffffffffffff0002, 0xfffffffffff00020,
745  0xffffffffffff0004, 0xfffffffffff00040,
746  0xffffffffffff0000, 0xfffffffffff00000,
747  0xffffffffffff0002, 0xfffffffffff00020,
748  0xffffffffffff0004, 0xfffffffffff00040,
749  0xffffffffffff0006, 0xfffffffffff00060,
750  0xffffffffffff0002, 0xfffffffffff00020,
751  0xffffffffffff0004, 0xfffffffffff00040,
752  0xffffffffffff0006, 0xfffffffffff00060,
753  0xffffffffffffff00, 0xfffffffffffff000,
754  0xffffffffffff0004, 0xfffffffffff00040,
755  0xffffffffffff0006, 0xfffffffffff00060,
756  0xffffffffffffff00, 0xfffffffffffff000,
757  0xffffffffffffff02, 0xfffffffffffff020,
758  0xffffffffffff0006, 0xfffffffffff00060,
759  0xffffffffffffff00, 0xfffffffffffff000,
760  0xffffffffffffff02, 0xfffffffffffff020,
761  0xffffffffffffff04, 0xfffffffffffff040,
762  0xffffffffffffff00, 0xfffffffffffff000,
763  0xffffffffffffff02, 0xfffffffffffff020,
764  0xffffffffffffff04, 0xfffffffffffff040,
765  0xffffffffffffff06, 0xfffffffffffff060,
766  0xffffffffffffff02, 0xfffffffffffff020,
767  0xffffffffffffff04, 0xfffffffffffff040,
768  0xffffffffffffff06, 0xfffffffffffff060,
769  0xffffffffffffffc0, 0xfffffffffffffc00,
770  0xffffffffffffff04, 0xfffffffffffff040,
771  0xffffffffffffff06, 0xfffffffffffff060,
772  0xffffffffffffffc0, 0xfffffffffffffc00,
773  0xfffffffffffffffa, 0xffffffffffffffa0,
774  0xffffffffffffff06, 0xfffffffffffff060,
775  0xffffffffffffffc0, 0xfffffffffffffc00,
776  0xfffffffffffffffa, 0xffffffffffffffa0,
777  0xfffffffffffffffc, 0xffffffffffffffc0,
778  0xffffffffffffffc0, 0xfffffffffffffc00,
779  0xfffffffffffffffa, 0xffffffffffffffa0,
780  0xfffffffffffffffc, 0xffffffffffffffc0,
781  0xfffffffffffffffe, 0xffffffffffffffe0,
782  0xffffffffffffffa0, 0xfffffffffffffe89,
783  0xffffffffffffffc0, 0xffffffffffffff06,
784  0xffffffffffffffe0, 0xffffffffffffff83,
785  0x0000000000000000, 0x0000000000000000,
786  0xffffffffffffffc0, 0xffffffffffffff06,
787  0xffffffffffffffe0, 0xffffffffffffff83,
788  0x0000000000000000, 0x0000000000000000,
789  0x0000000000000020, 0x000000000000007d,
790  0xffffffffffffffe0, 0xffffffffffffff83,
791  0x0000000000000000, 0x0000000000000000,
792  0x0000000000000020, 0x000000000000007d,
793  0x0000000000000040, 0x00000000000000fa,
794  0x0000000000000000, 0x0000000000000000,
795  0x0000000000000020, 0x000000000000007d,
796  0x0000000000000040, 0x00000000000000fa,
797  0x0000000000000400, 0x0000000000000fa0,
798  0x0000000000000020, 0x000000000000007d,
799  0x0000000000000040, 0x00000000000000fa,
800  0x0000000000000400, 0x0000000000000fa0,
801  0x0000000000000fa0, 0x0000000000003d09,
802  0x0000000000000040, 0x00000000000000fa,
803  0x0000000000000400, 0x0000000000000fa0,
804  0x0000000000000fa0, 0x0000000000003d09,
805  0x0000000000000fc0, 0x0000000000003d86,
806  0x0000000000000400, 0x0000000000000fa0,
807  0x0000000000000fa0, 0x0000000000003d09,
808  0x0000000000000fc0, 0x0000000000003d86,
809  0x0000000000000fe0, 0x0000000000003e03,
810  0x0000000000000fa0, 0x0000000000003d09,
811  0x0000000000000fc0, 0x0000000000003d86,
812  0x0000000000000fe0, 0x0000000000003e03,
813  0x00000000000fffa0, 0x00000000003e7e89,
814  0x0000000000000fc0, 0x0000000000003d86,
815  0x0000000000000fe0, 0x0000000000003e03,
816  0x00000000000fffa0, 0x00000000003e7e89,
817  0x00000000000fffc0, 0x00000000003e7f06,
818  0x0000000000000fe0, 0x0000000000003e03,
819  0x00000000000fffa0, 0x00000000003e7e89,
820  0x00000000000fffc0, 0x00000000003e7f06,
821  0x00000000000fffe0, 0x00000000003e7f83,
822  0x00000000000fffa0, 0x00000000003e7e89,
823  0x00000000000fffc0, 0x00000000003e7f06,
824  0x00000000000fffe0, 0x00000000003e7f83,
825  0x0000000666666660, 0x00000018ffffffe7,
826  0x00000000000fffc0, 0x00000000003e7f06,
827  0x00000000000fffe0, 0x00000000003e7f83,
828  0x0000000666666660, 0x00000018ffffffe7,
829  0x0000000aaaaaaaa0, 0x00000029aaaaaa81,
830  0x00000000000fffe0, 0x00000000003e7f83,
831  0x0000000666666660, 0x00000018ffffffe7,
832  0x0000000aaaaaaaa0, 0x00000029aaaaaa81,
833  0x0000000fffffffa0, 0x0000003e7ffffe89,
834  0x0000000666666660, 0x00000018ffffffe7,
835  0x0000000aaaaaaaa0, 0x00000029aaaaaa81,
836  0x0000000fffffffa0, 0x0000003e7ffffe89,
837  0x0000000fffffffc0, 0x0000003e7fffff06,
838  0x0000000aaaaaaaa0, 0x00000029aaaaaa81,
839  0x0000000fffffffa0, 0x0000003e7ffffe89,
840  0x0000000fffffffc0, 0x0000003e7fffff06,
841  0x0000000fffffffe0, 0x0000003e7fffff83,
842  0x0000000fffffffa0, 0x0000003e7ffffe89,
843  0x0000000fffffffc0, 0x0000003e7fffff06,
844  0x0000000fffffffe0, 0x0000003e7fffff83,
845  0xfffffff000000000, 0xffffffc180000000,
846  0x0000000fffffffc0, 0x0000003e7fffff06,
847  0x0000000fffffffe0, 0x0000003e7fffff83,
848  0xfffffff000000000, 0xffffffc180000000,
849  0xfffffff000000020, 0xffffffc18000007d,
850  0x0000000fffffffe0, 0x0000003e7fffff83,
851  0xfffffff000000000, 0xffffffc180000000,
852  0xfffffff000000020, 0xffffffc18000007d,
853  0xfffffff555555540, 0xffffffd655555502,
854  0xfffffff000000000, 0xffffffc180000000,
855  0xfffffff000000020, 0xffffffc18000007d,
856  0xfffffff555555540, 0xffffffd655555502,
857  0xfffffff999999980, 0xffffffe6ffffff9c,
858  0xfffffff000000020, 0xffffffc18000007d,
859  0xfffffff555555540, 0xffffffd655555502,
860  0xfffffff999999980, 0xffffffe6ffffff9c,
861  0xfffffffffff00000, 0xffffffffffc18000,
862  0xfffffff555555540, 0xffffffd655555502,
863  0xfffffff999999980, 0xffffffe6ffffff9c,
864  0xfffffffffff00000, 0xffffffffffc18000,
865  0xfffffffffff00020, 0xffffffffffc1807d,
866  0xfffffff999999980, 0xffffffe6ffffff9c,
867  0xfffffffffff00000, 0xffffffffffc18000,
868  0xfffffffffff00020, 0xffffffffffc1807d,
869  0xfffffffffff00040, 0xffffffffffc180fa,
870  0xfffffffffff00000, 0xffffffffffc18000,
871  0xfffffffffff00020, 0xffffffffffc1807d,
872  0xfffffffffff00040, 0xffffffffffc180fa,
873  0xfffffffffff00060, 0xffffffffffc18177,
874  0xfffffffffff00020, 0xffffffffffc1807d,
875  0xfffffffffff00040, 0xffffffffffc180fa,
876  0xfffffffffff00060, 0xffffffffffc18177,
877  0xfffffffffffff000, 0xffffffffffffc180,
878  0xfffffffffff00040, 0xffffffffffc180fa,
879  0xfffffffffff00060, 0xffffffffffc18177,
880  0xfffffffffffff000, 0xffffffffffffc180,
881  0xfffffffffffff020, 0xffffffffffffc1fd,
882  0xfffffffffff00060, 0xffffffffffc18177,
883  0xfffffffffffff000, 0xffffffffffffc180,
884  0xfffffffffffff020, 0xffffffffffffc1fd,
885  0xfffffffffffff040, 0xffffffffffffc27a,
886  0xfffffffffffff000, 0xffffffffffffc180,
887  0xfffffffffffff020, 0xffffffffffffc1fd,
888  0xfffffffffffff040, 0xffffffffffffc27a,
889  0xfffffffffffff060, 0xffffffffffffc2f7,
890  0xfffffffffffff020, 0xffffffffffffc1fd,
891  0xfffffffffffff040, 0xffffffffffffc27a,
892  0xfffffffffffff060, 0xffffffffffffc2f7,
893  0xfffffffffffffc00, 0xfffffffffffff060,
894  0xfffffffffffff040, 0xffffffffffffc27a,
895  0xfffffffffffff060, 0xffffffffffffc2f7,
896  0xfffffffffffffc00, 0xfffffffffffff060,
897  0xffffffffffffffa0, 0xfffffffffffffe89,
898  0xfffffffffffff060, 0xffffffffffffc2f7,
899  0xfffffffffffffc00, 0xfffffffffffff060,
900  0xffffffffffffffa0, 0xfffffffffffffe89,
901  0xffffffffffffffc0, 0xffffffffffffff06,
902  0xfffffffffffffc00, 0xfffffffffffff060,
903  0xffffffffffffffa0, 0xfffffffffffffe89,
904  0xffffffffffffffc0, 0xffffffffffffff06,
905  0xffffffffffffffe0, 0xffffffffffffff83,
906  0xfffffffffffffe89, 0xfffffffffffffe86,
907  0xffffffffffffff06, 0xffffffffffffff04,
908  0xffffffffffffff83, 0xffffffffffffff82,
909  0x0000000000000000, 0x0000000000000000,
910  0xffffffffffffff06, 0xffffffffffffff04,
911  0xffffffffffffff83, 0xffffffffffffff82,
912  0x0000000000000000, 0x0000000000000000,
913  0x000000000000007d, 0x000000000000007e,
914  0xffffffffffffff83, 0xffffffffffffff82,
915  0x0000000000000000, 0x0000000000000000,
916  0x000000000000007d, 0x000000000000007e,
917  0x00000000000000fa, 0x00000000000000fc,
918  0x0000000000000000, 0x0000000000000000,
919  0x000000000000007d, 0x000000000000007e,
920  0x00000000000000fa, 0x00000000000000fc,
921  0x0000000000000fa0, 0x0000000000000fc0,
922  0x000000000000007d, 0x000000000000007e,
923  0x00000000000000fa, 0x00000000000000fc,
924  0x0000000000000fa0, 0x0000000000000fc0,
925  0x0000000000003d09, 0x0000000000003d86,
926  0x00000000000000fa, 0x00000000000000fc,
927  0x0000000000000fa0, 0x0000000000000fc0,
928  0x0000000000003d09, 0x0000000000003d86,
929  0x0000000000003d86, 0x0000000000003e04,
930  0x0000000000000fa0, 0x0000000000000fc0,
931  0x0000000000003d09, 0x0000000000003d86,
932  0x0000000000003d86, 0x0000000000003e04,
933  0x0000000000003e03, 0x0000000000003e82,
934  0x0000000000003d09, 0x0000000000003d86,
935  0x0000000000003d86, 0x0000000000003e04,
936  0x0000000000003e03, 0x0000000000003e82,
937  0x00000000003e7e89, 0x00000000003efe86,
938  0x0000000000003d86, 0x0000000000003e04,
939  0x0000000000003e03, 0x0000000000003e82,
940  0x00000000003e7e89, 0x00000000003efe86,
941  0x00000000003e7f06, 0x00000000003eff04,
942  0x0000000000003e03, 0x0000000000003e82,
943  0x00000000003e7e89, 0x00000000003efe86,
944  0x00000000003e7f06, 0x00000000003eff04,
945  0x00000000003e7f83, 0x00000000003eff82,
946  0x00000000003e7e89, 0x00000000003efe86,
947  0x00000000003e7f06, 0x00000000003eff04,
948  0x00000000003e7f83, 0x00000000003eff82,
949  0x00000018ffffffe7, 0x000000193333331a,
950  0x00000000003e7f06, 0x00000000003eff04,
951  0x00000000003e7f83, 0x00000000003eff82,
952  0x00000018ffffffe7, 0x000000193333331a,
953  0x00000029aaaaaa81, 0x00000029ffffffd6,
954  0x00000000003e7f83, 0x00000000003eff82,
955  0x00000018ffffffe7, 0x000000193333331a,
956  0x00000029aaaaaa81, 0x00000029ffffffd6,
957  0x0000003e7ffffe89, 0x0000003efffffe86,
958  0x00000018ffffffe7, 0x000000193333331a,
959  0x00000029aaaaaa81, 0x00000029ffffffd6,
960  0x0000003e7ffffe89, 0x0000003efffffe86,
961  0x0000003e7fffff06, 0x0000003effffff04,
962  0x00000029aaaaaa81, 0x00000029ffffffd6,
963  0x0000003e7ffffe89, 0x0000003efffffe86,
964  0x0000003e7fffff06, 0x0000003effffff04,
965  0x0000003e7fffff83, 0x0000003effffff82,
966  0x0000003e7ffffe89, 0x0000003efffffe86,
967  0x0000003e7fffff06, 0x0000003effffff04,
968  0x0000003e7fffff83, 0x0000003effffff82,
969  0xffffffc180000000, 0xffffffc100000000,
970  0x0000003e7fffff06, 0x0000003effffff04,
971  0x0000003e7fffff83, 0x0000003effffff82,
972  0xffffffc180000000, 0xffffffc100000000,
973  0xffffffc18000007d, 0xffffffc10000007e,
974  0x0000003e7fffff83, 0x0000003effffff82,
975  0xffffffc180000000, 0xffffffc100000000,
976  0xffffffc18000007d, 0xffffffc10000007e,
977  0xffffffd655555502, 0xffffffd5ffffffac,
978  0xffffffc180000000, 0xffffffc100000000,
979  0xffffffc18000007d, 0xffffffc10000007e,
980  0xffffffd655555502, 0xffffffd5ffffffac,
981  0xffffffe6ffffff9c, 0xffffffe6cccccc68,
982  0xffffffc18000007d, 0xffffffc10000007e,
983  0xffffffd655555502, 0xffffffd5ffffffac,
984  0xffffffe6ffffff9c, 0xffffffe6cccccc68,
985  0xffffffffffc18000, 0xffffffffffc10000,
986  0xffffffd655555502, 0xffffffd5ffffffac,
987  0xffffffe6ffffff9c, 0xffffffe6cccccc68,
988  0xffffffffffc18000, 0xffffffffffc10000,
989  0xffffffffffc1807d, 0xffffffffffc1007e,
990  0xffffffe6ffffff9c, 0xffffffe6cccccc68,
991  0xffffffffffc18000, 0xffffffffffc10000,
992  0xffffffffffc1807d, 0xffffffffffc1007e,
993  0xffffffffffc180fa, 0xffffffffffc100fc,
994  0xffffffffffc18000, 0xffffffffffc10000,
995  0xffffffffffc1807d, 0xffffffffffc1007e,
996  0xffffffffffc180fa, 0xffffffffffc100fc,
997  0xffffffffffc18177, 0xffffffffffc1017a,
998  0xffffffffffc1807d, 0xffffffffffc1007e,
999  0xffffffffffc180fa, 0xffffffffffc100fc,
1000  0xffffffffffc18177, 0xffffffffffc1017a,
1001  0xffffffffffffc180, 0xffffffffffffc100,
1002  0xffffffffffc180fa, 0xffffffffffc100fc,
1003  0xffffffffffc18177, 0xffffffffffc1017a,
1004  0xffffffffffffc180, 0xffffffffffffc100,
1005  0xffffffffffffc1fd, 0xffffffffffffc17e,
1006  0xffffffffffc18177, 0xffffffffffc1017a,
1007  0xffffffffffffc180, 0xffffffffffffc100,
1008  0xffffffffffffc1fd, 0xffffffffffffc17e,
1009  0xffffffffffffc27a, 0xffffffffffffc1fc,
1010  0xffffffffffffc180, 0xffffffffffffc100,
1011  0xffffffffffffc1fd, 0xffffffffffffc17e,
1012  0xffffffffffffc27a, 0xffffffffffffc1fc,
1013  0xffffffffffffc2f7, 0xffffffffffffc27a,
1014  0xffffffffffffc1fd, 0xffffffffffffc17e,
1015  0xffffffffffffc27a, 0xffffffffffffc1fc,
1016  0xffffffffffffc2f7, 0xffffffffffffc27a,
1017  0xfffffffffffff060, 0xfffffffffffff040,
1018  0xffffffffffffc27a, 0xffffffffffffc1fc,
1019  0xffffffffffffc2f7, 0xffffffffffffc27a,
1020  0xfffffffffffff060, 0xfffffffffffff040,
1021  0xfffffffffffffe89, 0xfffffffffffffe86,
1022  0xffffffffffffc2f7, 0xffffffffffffc27a,
1023  0xfffffffffffff060, 0xfffffffffffff040,
1024  0xfffffffffffffe89, 0xfffffffffffffe86,
1025  0xffffffffffffff06, 0xffffffffffffff04,
1026  0xfffffffffffff060, 0xfffffffffffff040,
1027  0xfffffffffffffe89, 0xfffffffffffffe86,
1028  0xffffffffffffff06, 0xffffffffffffff04,
1029  0xffffffffffffff83, 0xffffffffffffff82,
1030  0xfffffffffffffe86, 0xfffffffffffffe83,
1031  0xffffffffffffff04, 0xffffffffffffff02,
1032  0xffffffffffffff82, 0xffffffffffffff81,
1033  0x0000000000000000, 0x0000000000000000,
1034  0xffffffffffffff04, 0xffffffffffffff02,
1035  0xffffffffffffff82, 0xffffffffffffff81,
1036  0x0000000000000000, 0x0000000000000000,
1037  0x000000000000007e, 0x000000000000007f,
1038  0xffffffffffffff82, 0xffffffffffffff81,
1039  0x0000000000000000, 0x0000000000000000,
1040  0x000000000000007e, 0x000000000000007f,
1041  0x00000000000000fc, 0x00000000000000fe,
1042  0x0000000000000000, 0x0000000000000000,
1043  0x000000000000007e, 0x000000000000007f,
1044  0x00000000000000fc, 0x00000000000000fe,
1045  0x0000000000000fc0, 0x0000000000000fe0,
1046  0x000000000000007e, 0x000000000000007f,
1047  0x00000000000000fc, 0x00000000000000fe,
1048  0x0000000000000fc0, 0x0000000000000fe0,
1049  0x0000000000003d86, 0x0000000000003e03,
1050  0x00000000000000fc, 0x00000000000000fe,
1051  0x0000000000000fc0, 0x0000000000000fe0,
1052  0x0000000000003d86, 0x0000000000003e03,
1053  0x0000000000003e04, 0x0000000000003e82,
1054  0x0000000000000fc0, 0x0000000000000fe0,
1055  0x0000000000003d86, 0x0000000000003e03,
1056  0x0000000000003e04, 0x0000000000003e82,
1057  0x0000000000003e82, 0x0000000000003f01,
1058  0x0000000000003d86, 0x0000000000003e03,
1059  0x0000000000003e04, 0x0000000000003e82,
1060  0x0000000000003e82, 0x0000000000003f01,
1061  0x00000000003efe86, 0x00000000003f7e83,
1062  0x0000000000003e04, 0x0000000000003e82,
1063  0x0000000000003e82, 0x0000000000003f01,
1064  0x00000000003efe86, 0x00000000003f7e83,
1065  0x00000000003eff04, 0x00000000003f7f02,
1066  0x0000000000003e82, 0x0000000000003f01,
1067  0x00000000003efe86, 0x00000000003f7e83,
1068  0x00000000003eff04, 0x00000000003f7f02,
1069  0x00000000003eff82, 0x00000000003f7f81,
1070  0x00000000003efe86, 0x00000000003f7e83,
1071  0x00000000003eff04, 0x00000000003f7f02,
1072  0x00000000003eff82, 0x00000000003f7f81,
1073  0x000000193333331a, 0x000000196666664d,
1074  0x00000000003eff04, 0x00000000003f7f02,
1075  0x00000000003eff82, 0x00000000003f7f81,
1076  0x000000193333331a, 0x000000196666664d,
1077  0x00000029ffffffd6, 0x0000002a5555552b,
1078  0x00000000003eff82, 0x00000000003f7f81,
1079  0x000000193333331a, 0x000000196666664d,
1080  0x00000029ffffffd6, 0x0000002a5555552b,
1081  0x0000003efffffe86, 0x0000003f7ffffe83,
1082  0x000000193333331a, 0x000000196666664d,
1083  0x00000029ffffffd6, 0x0000002a5555552b,
1084  0x0000003efffffe86, 0x0000003f7ffffe83,
1085  0x0000003effffff04, 0x0000003f7fffff02,
1086  0x00000029ffffffd6, 0x0000002a5555552b,
1087  0x0000003efffffe86, 0x0000003f7ffffe83,
1088  0x0000003effffff04, 0x0000003f7fffff02,
1089  0x0000003effffff82, 0x0000003f7fffff81,
1090  0x0000003efffffe86, 0x0000003f7ffffe83,
1091  0x0000003effffff04, 0x0000003f7fffff02,
1092  0x0000003effffff82, 0x0000003f7fffff81,
1093  0xffffffc100000000, 0xffffffc080000000,
1094  0x0000003effffff04, 0x0000003f7fffff02,
1095  0x0000003effffff82, 0x0000003f7fffff81,
1096  0xffffffc100000000, 0xffffffc080000000,
1097  0xffffffc10000007e, 0xffffffc08000007f,
1098  0x0000003effffff82, 0x0000003f7fffff81,
1099  0xffffffc100000000, 0xffffffc080000000,
1100  0xffffffc10000007e, 0xffffffc08000007f,
1101  0xffffffd5ffffffac, 0xffffffd5aaaaaa56,
1102  0xffffffc100000000, 0xffffffc080000000,
1103  0xffffffc10000007e, 0xffffffc08000007f,
1104  0xffffffd5ffffffac, 0xffffffd5aaaaaa56,
1105  0xffffffe6cccccc68, 0xffffffe699999934,
1106  0xffffffc10000007e, 0xffffffc08000007f,
1107  0xffffffd5ffffffac, 0xffffffd5aaaaaa56,
1108  0xffffffe6cccccc68, 0xffffffe699999934,
1109  0xffffffffffc10000, 0xffffffffffc08000,
1110  0xffffffd5ffffffac, 0xffffffd5aaaaaa56,
1111  0xffffffe6cccccc68, 0xffffffe699999934,
1112  0xffffffffffc10000, 0xffffffffffc08000,
1113  0xffffffffffc1007e, 0xffffffffffc0807f,
1114  0xffffffe6cccccc68, 0xffffffe699999934,
1115  0xffffffffffc10000, 0xffffffffffc08000,
1116  0xffffffffffc1007e, 0xffffffffffc0807f,
1117  0xffffffffffc100fc, 0xffffffffffc080fe,
1118  0xffffffffffc10000, 0xffffffffffc08000,
1119  0xffffffffffc1007e, 0xffffffffffc0807f,
1120  0xffffffffffc100fc, 0xffffffffffc080fe,
1121  0xffffffffffc1017a, 0xffffffffffc0817d,
1122  0xffffffffffc1007e, 0xffffffffffc0807f,
1123  0xffffffffffc100fc, 0xffffffffffc080fe,
1124  0xffffffffffc1017a, 0xffffffffffc0817d,
1125  0xffffffffffffc100, 0xffffffffffffc080,
1126  0xffffffffffc100fc, 0xffffffffffc080fe,
1127  0xffffffffffc1017a, 0xffffffffffc0817d,
1128  0xffffffffffffc100, 0xffffffffffffc080,
1129  0xffffffffffffc17e, 0xffffffffffffc0ff,
1130  0xffffffffffc1017a, 0xffffffffffc0817d,
1131  0xffffffffffffc100, 0xffffffffffffc080,
1132  0xffffffffffffc17e, 0xffffffffffffc0ff,
1133  0xffffffffffffc1fc, 0xffffffffffffc17e,
1134  0xffffffffffffc100, 0xffffffffffffc080,
1135  0xffffffffffffc17e, 0xffffffffffffc0ff,
1136  0xffffffffffffc1fc, 0xffffffffffffc17e,
1137  0xffffffffffffc27a, 0xffffffffffffc1fd,
1138  0xffffffffffffc17e, 0xffffffffffffc0ff,
1139  0xffffffffffffc1fc, 0xffffffffffffc17e,
1140  0xffffffffffffc27a, 0xffffffffffffc1fd,
1141  0xfffffffffffff040, 0xfffffffffffff020,
1142  0xffffffffffffc1fc, 0xffffffffffffc17e,
1143  0xffffffffffffc27a, 0xffffffffffffc1fd,
1144  0xfffffffffffff040, 0xfffffffffffff020,
1145  0xfffffffffffffe86, 0xfffffffffffffe83,
1146  0xffffffffffffc27a, 0xffffffffffffc1fd,
1147  0xfffffffffffff040, 0xfffffffffffff020,
1148  0xfffffffffffffe86, 0xfffffffffffffe83,
1149  0xffffffffffffff04, 0xffffffffffffff02,
1150  0xfffffffffffff040, 0xfffffffffffff020,
1151  0xfffffffffffffe86, 0xfffffffffffffe83,
1152  0xffffffffffffff04, 0xffffffffffffff02,
1153  0xffffffffffffff82, 0xffffffffffffff81,
1154  0xfffffffffffffe83, 0xfffffffffffe8009,
1155  0xffffffffffffff02, 0xffffffffffff0006,
1156  0xffffffffffffff81, 0xffffffffffff8003,
1157  0x0000000000000000, 0x0000000000000000,
1158  0xffffffffffffff02, 0xffffffffffff0006,
1159  0xffffffffffffff81, 0xffffffffffff8003,
1160  0x0000000000000000, 0x0000000000000000,
1161  0x000000000000007f, 0x0000000000007ffd,
1162  0xffffffffffffff81, 0xffffffffffff8003,
1163  0x0000000000000000, 0x0000000000000000,
1164  0x000000000000007f, 0x0000000000007ffd,
1165  0x00000000000000fe, 0x000000000000fffa,
1166  0x0000000000000000, 0x0000000000000000,
1167  0x000000000000007f, 0x0000000000007ffd,
1168  0x00000000000000fe, 0x000000000000fffa,
1169  0x0000000000000fe0, 0x00000000000fffa0,
1170  0x000000000000007f, 0x0000000000007ffd,
1171  0x00000000000000fe, 0x000000000000fffa,
1172  0x0000000000000fe0, 0x00000000000fffa0,
1173  0x0000000000003e03, 0x00000000003e7e89,
1174  0x00000000000000fe, 0x000000000000fffa,
1175  0x0000000000000fe0, 0x00000000000fffa0,
1176  0x0000000000003e03, 0x00000000003e7e89,
1177  0x0000000000003e82, 0x00000000003efe86,
1178  0x0000000000000fe0, 0x00000000000fffa0,
1179  0x0000000000003e03, 0x00000000003e7e89,
1180  0x0000000000003e82, 0x00000000003efe86,
1181  0x0000000000003f01, 0x00000000003f7e83,
1182  0x0000000000003e03, 0x00000000003e7e89,
1183  0x0000000000003e82, 0x00000000003efe86,
1184  0x0000000000003f01, 0x00000000003f7e83,
1185  0x00000000003f7e83, 0x000000003ffd0009,
1186  0x0000000000003e82, 0x00000000003efe86,
1187  0x0000000000003f01, 0x00000000003f7e83,
1188  0x00000000003f7e83, 0x000000003ffd0009,
1189  0x00000000003f7f02, 0x000000003ffd8006,
1190  0x0000000000003f01, 0x00000000003f7e83,
1191  0x00000000003f7e83, 0x000000003ffd0009,
1192  0x00000000003f7f02, 0x000000003ffd8006,
1193  0x00000000003f7f81, 0x000000003ffe0003,
1194  0x00000000003f7e83, 0x000000003ffd0009,
1195  0x00000000003f7f02, 0x000000003ffd8006,
1196  0x00000000003f7f81, 0x000000003ffe0003,
1197  0x000000196666664d, 0x00001998ffffe667,
1198  0x00000000003f7f02, 0x000000003ffd8006,
1199  0x00000000003f7f81, 0x000000003ffe0003,
1200  0x000000196666664d, 0x00001998ffffe667,
1201  0x0000002a5555552b, 0x00002aa9aaaa8001,
1202  0x00000000003f7f81, 0x000000003ffe0003,
1203  0x000000196666664d, 0x00001998ffffe667,
1204  0x0000002a5555552b, 0x00002aa9aaaa8001,
1205  0x0000003f7ffffe83, 0x00003ffe7ffe8009,
1206  0x000000196666664d, 0x00001998ffffe667,
1207  0x0000002a5555552b, 0x00002aa9aaaa8001,
1208  0x0000003f7ffffe83, 0x00003ffe7ffe8009,
1209  0x0000003f7fffff02, 0x00003ffe7fff0006,
1210  0x0000002a5555552b, 0x00002aa9aaaa8001,
1211  0x0000003f7ffffe83, 0x00003ffe7ffe8009,
1212  0x0000003f7fffff02, 0x00003ffe7fff0006,
1213  0x0000003f7fffff81, 0x00003ffe7fff8003,
1214  0x0000003f7ffffe83, 0x00003ffe7ffe8009,
1215  0x0000003f7fffff02, 0x00003ffe7fff0006,
1216  0x0000003f7fffff81, 0x00003ffe7fff8003,
1217  0xffffffc080000000, 0xffffc00180000000,
1218  0x0000003f7fffff02, 0x00003ffe7fff0006,
1219  0x0000003f7fffff81, 0x00003ffe7fff8003,
1220  0xffffffc080000000, 0xffffc00180000000,
1221  0xffffffc08000007f, 0xffffc00180007ffd,
1222  0x0000003f7fffff81, 0x00003ffe7fff8003,
1223  0xffffffc080000000, 0xffffc00180000000,
1224  0xffffffc08000007f, 0xffffc00180007ffd,
1225  0xffffffd5aaaaaa56, 0xffffd55655550002,
1226  0xffffffc080000000, 0xffffc00180000000,
1227  0xffffffc08000007f, 0xffffc00180007ffd,
1228  0xffffffd5aaaaaa56, 0xffffd55655550002,
1229  0xffffffe699999934, 0xffffe666ffff999c,
1230  0xffffffc08000007f, 0xffffc00180007ffd,
1231  0xffffffd5aaaaaa56, 0xffffd55655550002,
1232  0xffffffe699999934, 0xffffe666ffff999c,
1233  0xffffffffffc08000, 0xffffffffc0018000,
1234  0xffffffd5aaaaaa56, 0xffffd55655550002,
1235  0xffffffe699999934, 0xffffe666ffff999c,
1236  0xffffffffffc08000, 0xffffffffc0018000,
1237  0xffffffffffc0807f, 0xffffffffc001fffd,
1238  0xffffffe699999934, 0xffffe666ffff999c,
1239  0xffffffffffc08000, 0xffffffffc0018000,
1240  0xffffffffffc0807f, 0xffffffffc001fffd,
1241  0xffffffffffc080fe, 0xffffffffc0027ffa,
1242  0xffffffffffc08000, 0xffffffffc0018000,
1243  0xffffffffffc0807f, 0xffffffffc001fffd,
1244  0xffffffffffc080fe, 0xffffffffc0027ffa,
1245  0xffffffffffc0817d, 0xffffffffc002fff7,
1246  0xffffffffffc0807f, 0xffffffffc001fffd,
1247  0xffffffffffc080fe, 0xffffffffc0027ffa,
1248  0xffffffffffc0817d, 0xffffffffc002fff7,
1249  0xffffffffffffc080, 0xffffffffffc00180,
1250  0xffffffffffc080fe, 0xffffffffc0027ffa,
1251  0xffffffffffc0817d, 0xffffffffc002fff7,
1252  0xffffffffffffc080, 0xffffffffffc00180,
1253  0xffffffffffffc0ff, 0xffffffffffc0817d,
1254  0xffffffffffc0817d, 0xffffffffc002fff7,
1255  0xffffffffffffc080, 0xffffffffffc00180,
1256  0xffffffffffffc0ff, 0xffffffffffc0817d,
1257  0xffffffffffffc17e, 0xffffffffffc1017a,
1258  0xffffffffffffc080, 0xffffffffffc00180,
1259  0xffffffffffffc0ff, 0xffffffffffc0817d,
1260  0xffffffffffffc17e, 0xffffffffffc1017a,
1261  0xffffffffffffc1fd, 0xffffffffffc18177,
1262  0xffffffffffffc0ff, 0xffffffffffc0817d,
1263  0xffffffffffffc17e, 0xffffffffffc1017a,
1264  0xffffffffffffc1fd, 0xffffffffffc18177,
1265  0xfffffffffffff020, 0xfffffffffff00060,
1266  0xffffffffffffc17e, 0xffffffffffc1017a,
1267  0xffffffffffffc1fd, 0xffffffffffc18177,
1268  0xfffffffffffff020, 0xfffffffffff00060,
1269  0xfffffffffffffe83, 0xfffffffffffe8009,
1270  0xffffffffffffc1fd, 0xffffffffffc18177,
1271  0xfffffffffffff020, 0xfffffffffff00060,
1272  0xfffffffffffffe83, 0xfffffffffffe8009,
1273  0xffffffffffffff02, 0xffffffffffff0006,
1274  0xfffffffffffff020, 0xfffffffffff00060,
1275  0xfffffffffffffe83, 0xfffffffffffe8009,
1276  0xffffffffffffff02, 0xffffffffffff0006,
1277  0xffffffffffffff81, 0xffffffffffff8003,
1278  0xfffffffffffe8009, 0xfffffffffffe8006,
1279  0xffffffffffff0006, 0xffffffffffff0004,
1280  0xffffffffffff8003, 0xffffffffffff8002,
1281  0x0000000000000000, 0x0000000000000000,
1282  0xffffffffffff0006, 0xffffffffffff0004,
1283  0xffffffffffff8003, 0xffffffffffff8002,
1284  0x0000000000000000, 0x0000000000000000,
1285  0x0000000000007ffd, 0x0000000000007ffe,
1286  0xffffffffffff8003, 0xffffffffffff8002,
1287  0x0000000000000000, 0x0000000000000000,
1288  0x0000000000007ffd, 0x0000000000007ffe,
1289  0x000000000000fffa, 0x000000000000fffc,
1290  0x0000000000000000, 0x0000000000000000,
1291  0x0000000000007ffd, 0x0000000000007ffe,
1292  0x000000000000fffa, 0x000000000000fffc,
1293  0x00000000000fffa0, 0x00000000000fffc0,
1294  0x0000000000007ffd, 0x0000000000007ffe,
1295  0x000000000000fffa, 0x000000000000fffc,
1296  0x00000000000fffa0, 0x00000000000fffc0,
1297  0x00000000003e7e89, 0x00000000003e7f06,
1298  0x000000000000fffa, 0x000000000000fffc,
1299  0x00000000000fffa0, 0x00000000000fffc0,
1300  0x00000000003e7e89, 0x00000000003e7f06,
1301  0x00000000003efe86, 0x00000000003eff04,
1302  0x00000000000fffa0, 0x00000000000fffc0,
1303  0x00000000003e7e89, 0x00000000003e7f06,
1304  0x00000000003efe86, 0x00000000003eff04,
1305  0x00000000003f7e83, 0x00000000003f7f02,
1306  0x00000000003e7e89, 0x00000000003e7f06,
1307  0x00000000003efe86, 0x00000000003eff04,
1308  0x00000000003f7e83, 0x00000000003f7f02,
1309  0x000000003ffd0009, 0x000000003ffd8006,
1310  0x00000000003efe86, 0x00000000003eff04,
1311  0x00000000003f7e83, 0x00000000003f7f02,
1312  0x000000003ffd0009, 0x000000003ffd8006,
1313  0x000000003ffd8006, 0x000000003ffe0004,
1314  0x00000000003f7e83, 0x00000000003f7f02,
1315  0x000000003ffd0009, 0x000000003ffd8006,
1316  0x000000003ffd8006, 0x000000003ffe0004,
1317  0x000000003ffe0003, 0x000000003ffe8002,
1318  0x000000003ffd0009, 0x000000003ffd8006,
1319  0x000000003ffd8006, 0x000000003ffe0004,
1320  0x000000003ffe0003, 0x000000003ffe8002,
1321  0x00001998ffffe667, 0x000019993333199a,
1322  0x000000003ffd8006, 0x000000003ffe0004,
1323  0x000000003ffe0003, 0x000000003ffe8002,
1324  0x00001998ffffe667, 0x000019993333199a,
1325  0x00002aa9aaaa8001, 0x00002aa9ffffd556,
1326  0x000000003ffe0003, 0x000000003ffe8002,
1327  0x00001998ffffe667, 0x000019993333199a,
1328  0x00002aa9aaaa8001, 0x00002aa9ffffd556,
1329  0x00003ffe7ffe8009, 0x00003ffefffe8006,
1330  0x00001998ffffe667, 0x000019993333199a,
1331  0x00002aa9aaaa8001, 0x00002aa9ffffd556,
1332  0x00003ffe7ffe8009, 0x00003ffefffe8006,
1333  0x00003ffe7fff0006, 0x00003ffeffff0004,
1334  0x00002aa9aaaa8001, 0x00002aa9ffffd556,
1335  0x00003ffe7ffe8009, 0x00003ffefffe8006,
1336  0x00003ffe7fff0006, 0x00003ffeffff0004,
1337  0x00003ffe7fff8003, 0x00003ffeffff8002,
1338  0x00003ffe7ffe8009, 0x00003ffefffe8006,
1339  0x00003ffe7fff0006, 0x00003ffeffff0004,
1340  0x00003ffe7fff8003, 0x00003ffeffff8002,
1341  0xffffc00180000000, 0xffffc00100000000,
1342  0x00003ffe7fff0006, 0x00003ffeffff0004,
1343  0x00003ffe7fff8003, 0x00003ffeffff8002,
1344  0xffffc00180000000, 0xffffc00100000000,
1345  0xffffc00180007ffd, 0xffffc00100007ffe,
1346  0x00003ffe7fff8003, 0x00003ffeffff8002,
1347  0xffffc00180000000, 0xffffc00100000000,
1348  0xffffc00180007ffd, 0xffffc00100007ffe,
1349  0xffffd55655550002, 0xffffd555ffffaaac,
1350  0xffffc00180000000, 0xffffc00100000000,
1351  0xffffc00180007ffd, 0xffffc00100007ffe,
1352  0xffffd55655550002, 0xffffd555ffffaaac,
1353  0xffffe666ffff999c, 0xffffe666cccc6668,
1354  0xffffc00180007ffd, 0xffffc00100007ffe,
1355  0xffffd55655550002, 0xffffd555ffffaaac,
1356  0xffffe666ffff999c, 0xffffe666cccc6668,
1357  0xffffffffc0018000, 0xffffffffc0010000,
1358  0xffffd55655550002, 0xffffd555ffffaaac,
1359  0xffffe666ffff999c, 0xffffe666cccc6668,
1360  0xffffffffc0018000, 0xffffffffc0010000,
1361  0xffffffffc001fffd, 0xffffffffc0017ffe,
1362  0xffffe666ffff999c, 0xffffe666cccc6668,
1363  0xffffffffc0018000, 0xffffffffc0010000,
1364  0xffffffffc001fffd, 0xffffffffc0017ffe,
1365  0xffffffffc0027ffa, 0xffffffffc001fffc,
1366  0xffffffffc0018000, 0xffffffffc0010000,
1367  0xffffffffc001fffd, 0xffffffffc0017ffe,
1368  0xffffffffc0027ffa, 0xffffffffc001fffc,
1369  0xffffffffc002fff7, 0xffffffffc0027ffa,
1370  0xffffffffc001fffd, 0xffffffffc0017ffe,
1371  0xffffffffc0027ffa, 0xffffffffc001fffc,
1372  0xffffffffc002fff7, 0xffffffffc0027ffa,
1373  0xffffffffffc00180, 0xffffffffffc00100,
1374  0xffffffffc0027ffa, 0xffffffffc001fffc,
1375  0xffffffffc002fff7, 0xffffffffc0027ffa,
1376  0xffffffffffc00180, 0xffffffffffc00100,
1377  0xffffffffffc0817d, 0xffffffffffc080fe,
1378  0xffffffffc002fff7, 0xffffffffc0027ffa,
1379  0xffffffffffc00180, 0xffffffffffc00100,
1380  0xffffffffffc0817d, 0xffffffffffc080fe,
1381  0xffffffffffc1017a, 0xffffffffffc100fc,
1382  0xffffffffffc00180, 0xffffffffffc00100,
1383  0xffffffffffc0817d, 0xffffffffffc080fe,
1384  0xffffffffffc1017a, 0xffffffffffc100fc,
1385  0xffffffffffc18177, 0xffffffffffc180fa,
1386  0xffffffffffc0817d, 0xffffffffffc080fe,
1387  0xffffffffffc1017a, 0xffffffffffc100fc,
1388  0xffffffffffc18177, 0xffffffffffc180fa,
1389  0xfffffffffff00060, 0xfffffffffff00040,
1390  0xffffffffffc1017a, 0xffffffffffc100fc,
1391  0xffffffffffc18177, 0xffffffffffc180fa,
1392  0xfffffffffff00060, 0xfffffffffff00040,
1393  0xfffffffffffe8009, 0xfffffffffffe8006,
1394  0xffffffffffc18177, 0xffffffffffc180fa,
1395  0xfffffffffff00060, 0xfffffffffff00040,
1396  0xfffffffffffe8009, 0xfffffffffffe8006,
1397  0xffffffffffff0006, 0xffffffffffff0004,
1398  0xfffffffffff00060, 0xfffffffffff00040,
1399  0xfffffffffffe8009, 0xfffffffffffe8006,
1400  0xffffffffffff0006, 0xffffffffffff0004,
1401  0xffffffffffff8003, 0xffffffffffff8002,
1402  0xfffffffffffe8006, 0xfffffffffffe8003,
1403  0xffffffffffff0004, 0xffffffffffff0002,
1404  0xffffffffffff8002, 0xffffffffffff8001,
1405  0x0000000000000000, 0x0000000000000000,
1406  0xffffffffffff0004, 0xffffffffffff0002,
1407  0xffffffffffff8002, 0xffffffffffff8001,
1408  0x0000000000000000, 0x0000000000000000,
1409  0x0000000000007ffe, 0x0000000000007fff,
1410  0xffffffffffff8002, 0xffffffffffff8001,
1411  0x0000000000000000, 0x0000000000000000,
1412  0x0000000000007ffe, 0x0000000000007fff,
1413  0x000000000000fffc, 0x000000000000fffe,
1414  0x0000000000000000, 0x0000000000000000,
1415  0x0000000000007ffe, 0x0000000000007fff,
1416  0x000000000000fffc, 0x000000000000fffe,
1417  0x00000000000fffc0, 0x00000000000fffe0,
1418  0x0000000000007ffe, 0x0000000000007fff,
1419  0x000000000000fffc, 0x000000000000fffe,
1420  0x00000000000fffc0, 0x00000000000fffe0,
1421  0x00000000003e7f06, 0x00000000003e7f83,
1422  0x000000000000fffc, 0x000000000000fffe,
1423  0x00000000000fffc0, 0x00000000000fffe0,
1424  0x00000000003e7f06, 0x00000000003e7f83,
1425  0x00000000003eff04, 0x00000000003eff82,
1426  0x00000000000fffc0, 0x00000000000fffe0,
1427  0x00000000003e7f06, 0x00000000003e7f83,
1428  0x00000000003eff04, 0x00000000003eff82,
1429  0x00000000003f7f02, 0x00000000003f7f81,
1430  0x00000000003e7f06, 0x00000000003e7f83,
1431  0x00000000003eff04, 0x00000000003eff82,
1432  0x00000000003f7f02, 0x00000000003f7f81,
1433  0x000000003ffd8006, 0x000000003ffe0003,
1434  0x00000000003eff04, 0x00000000003eff82,
1435  0x00000000003f7f02, 0x00000000003f7f81,
1436  0x000000003ffd8006, 0x000000003ffe0003,
1437  0x000000003ffe0004, 0x000000003ffe8002,
1438  0x00000000003f7f02, 0x00000000003f7f81,
1439  0x000000003ffd8006, 0x000000003ffe0003,
1440  0x000000003ffe0004, 0x000000003ffe8002,
1441  0x000000003ffe8002, 0x000000003fff0001,
1442  0x000000003ffd8006, 0x000000003ffe0003,
1443  0x000000003ffe0004, 0x000000003ffe8002,
1444  0x000000003ffe8002, 0x000000003fff0001,
1445  0x000019993333199a, 0x0000199966664ccd,
1446  0x000000003ffe0004, 0x000000003ffe8002,
1447  0x000000003ffe8002, 0x000000003fff0001,
1448  0x000019993333199a, 0x0000199966664ccd,
1449  0x00002aa9ffffd556, 0x00002aaa55552aab,
1450  0x000000003ffe8002, 0x000000003fff0001,
1451  0x000019993333199a, 0x0000199966664ccd,
1452  0x00002aa9ffffd556, 0x00002aaa55552aab,
1453  0x00003ffefffe8006, 0x00003fff7ffe8003,
1454  0x000019993333199a, 0x0000199966664ccd,
1455  0x00002aa9ffffd556, 0x00002aaa55552aab,
1456  0x00003ffefffe8006, 0x00003fff7ffe8003,
1457  0x00003ffeffff0004, 0x00003fff7fff0002,
1458  0x00002aa9ffffd556, 0x00002aaa55552aab,
1459  0x00003ffefffe8006, 0x00003fff7ffe8003,
1460  0x00003ffeffff0004, 0x00003fff7fff0002,
1461  0x00003ffeffff8002, 0x00003fff7fff8001,
1462  0x00003ffefffe8006, 0x00003fff7ffe8003,
1463  0x00003ffeffff0004, 0x00003fff7fff0002,
1464  0x00003ffeffff8002, 0x00003fff7fff8001,
1465  0xffffc00100000000, 0xffffc00080000000,
1466  0x00003ffeffff0004, 0x00003fff7fff0002,
1467  0x00003ffeffff8002, 0x00003fff7fff8001,
1468  0xffffc00100000000, 0xffffc00080000000,
1469  0xffffc00100007ffe, 0xffffc00080007fff,
1470  0x00003ffeffff8002, 0x00003fff7fff8001,
1471  0xffffc00100000000, 0xffffc00080000000,
1472  0xffffc00100007ffe, 0xffffc00080007fff,
1473  0xffffd555ffffaaac, 0xffffd555aaaa5556,
1474  0xffffc00100000000, 0xffffc00080000000,
1475  0xffffc00100007ffe, 0xffffc00080007fff,
1476  0xffffd555ffffaaac, 0xffffd555aaaa5556,
1477  0xffffe666cccc6668, 0xffffe66699993334,
1478  0xffffc00100007ffe, 0xffffc00080007fff,
1479  0xffffd555ffffaaac, 0xffffd555aaaa5556,
1480  0xffffe666cccc6668, 0xffffe66699993334,
1481  0xffffffffc0010000, 0xffffffffc0008000,
1482  0xffffd555ffffaaac, 0xffffd555aaaa5556,
1483  0xffffe666cccc6668, 0xffffe66699993334,
1484  0xffffffffc0010000, 0xffffffffc0008000,
1485  0xffffffffc0017ffe, 0xffffffffc000ffff,
1486  0xffffe666cccc6668, 0xffffe66699993334,
1487  0xffffffffc0010000, 0xffffffffc0008000,
1488  0xffffffffc0017ffe, 0xffffffffc000ffff,
1489  0xffffffffc001fffc, 0xffffffffc0017ffe,
1490  0xffffffffc0010000, 0xffffffffc0008000,
1491  0xffffffffc0017ffe, 0xffffffffc000ffff,
1492  0xffffffffc001fffc, 0xffffffffc0017ffe,
1493  0xffffffffc0027ffa, 0xffffffffc001fffd,
1494  0xffffffffc0017ffe, 0xffffffffc000ffff,
1495  0xffffffffc001fffc, 0xffffffffc0017ffe,
1496  0xffffffffc0027ffa, 0xffffffffc001fffd,
1497  0xffffffffffc00100, 0xffffffffffc00080,
1498  0xffffffffc001fffc, 0xffffffffc0017ffe,
1499  0xffffffffc0027ffa, 0xffffffffc001fffd,
1500  0xffffffffffc00100, 0xffffffffffc00080,
1501  0xffffffffffc080fe, 0xffffffffffc0807f,
1502  0xffffffffc0027ffa, 0xffffffffc001fffd,
1503  0xffffffffffc00100, 0xffffffffffc00080,
1504  0xffffffffffc080fe, 0xffffffffffc0807f,
1505  0xffffffffffc100fc, 0xffffffffffc1007e,
1506  0xffffffffffc00100, 0xffffffffffc00080,
1507  0xffffffffffc080fe, 0xffffffffffc0807f,
1508  0xffffffffffc100fc, 0xffffffffffc1007e,
1509  0xffffffffffc180fa, 0xffffffffffc1807d,
1510  0xffffffffffc080fe, 0xffffffffffc0807f,
1511  0xffffffffffc100fc, 0xffffffffffc1007e,
1512  0xffffffffffc180fa, 0xffffffffffc1807d,
1513  0xfffffffffff00040, 0xfffffffffff00020,
1514  0xffffffffffc100fc, 0xffffffffffc1007e,
1515  0xffffffffffc180fa, 0xffffffffffc1807d,
1516  0xfffffffffff00040, 0xfffffffffff00020,
1517  0xfffffffffffe8006, 0xfffffffffffe8003,
1518  0xffffffffffc180fa, 0xffffffffffc1807d,
1519  0xfffffffffff00040, 0xfffffffffff00020,
1520  0xfffffffffffe8006, 0xfffffffffffe8003,
1521  0xffffffffffff0004, 0xffffffffffff0002,
1522  0xfffffffffff00040, 0xfffffffffff00020,
1523  0xfffffffffffe8006, 0xfffffffffffe8003,
1524  0xffffffffffff0004, 0xffffffffffff0002,
1525  0xffffffffffff8002, 0xffffffffffff8001,
1526  0xfffffffffffe8003, 0xffffffff66666667,
1527  0xffffffffffff0002, 0xffffffff9999999a,
1528  0xffffffffffff8001, 0xffffffffcccccccd,
1529  0x0000000000000000, 0x0000000000000000,
1530  0xffffffffffff0002, 0xffffffff9999999a,
1531  0xffffffffffff8001, 0xffffffffcccccccd,
1532  0x0000000000000000, 0x0000000000000000,
1533  0x0000000000007fff, 0x0000000033333333,
1534  0xffffffffffff8001, 0xffffffffcccccccd,
1535  0x0000000000000000, 0x0000000000000000,
1536  0x0000000000007fff, 0x0000000033333333,
1537  0x000000000000fffe, 0x0000000066666666,
1538  0x0000000000000000, 0x0000000000000000,
1539  0x0000000000007fff, 0x0000000033333333,
1540  0x000000000000fffe, 0x0000000066666666,
1541  0x00000000000fffe0, 0x0000000666666660,
1542  0x0000000000007fff, 0x0000000033333333,
1543  0x000000000000fffe, 0x0000000066666666,
1544  0x00000000000fffe0, 0x0000000666666660,
1545  0x00000000003e7f83, 0x00000018ffffffe7,
1546  0x000000000000fffe, 0x0000000066666666,
1547  0x00000000000fffe0, 0x0000000666666660,
1548  0x00000000003e7f83, 0x00000018ffffffe7,
1549  0x00000000003eff82, 0x000000193333331a,
1550  0x00000000000fffe0, 0x0000000666666660,
1551  0x00000000003e7f83, 0x00000018ffffffe7,
1552  0x00000000003eff82, 0x000000193333331a,
1553  0x00000000003f7f81, 0x000000196666664d,
1554  0x00000000003e7f83, 0x00000018ffffffe7,
1555  0x00000000003eff82, 0x000000193333331a,
1556  0x00000000003f7f81, 0x000000196666664d,
1557  0x000000003ffe0003, 0x00001998ffffe667,
1558  0x00000000003eff82, 0x000000193333331a,
1559  0x00000000003f7f81, 0x000000196666664d,
1560  0x000000003ffe0003, 0x00001998ffffe667,
1561  0x000000003ffe8002, 0x000019993333199a,
1562  0x00000000003f7f81, 0x000000196666664d,
1563  0x000000003ffe0003, 0x00001998ffffe667,
1564  0x000000003ffe8002, 0x000019993333199a,
1565  0x000000003fff0001, 0x0000199966664ccd,
1566  0x000000003ffe0003, 0x00001998ffffe667,
1567  0x000000003ffe8002, 0x000019993333199a,
1568  0x000000003fff0001, 0x0000199966664ccd,
1569  0x0000199966664ccd, 0x0a3d70a3c28f5c29,
1570  0x000000003ffe8002, 0x000019993333199a,
1571  0x000000003fff0001, 0x0000199966664ccd,
1572  0x0000199966664ccd, 0x0a3d70a3c28f5c29,
1573  0x00002aaa55552aab, 0x11111110eeeeeeef,
1574  0x000000003fff0001, 0x0000199966664ccd,
1575  0x0000199966664ccd, 0x0a3d70a3c28f5c29,
1576  0x00002aaa55552aab, 0x11111110eeeeeeef,
1577  0x00003fff7ffe8003, 0x19999998e6666667,
1578  0x0000199966664ccd, 0x0a3d70a3c28f5c29,
1579  0x00002aaa55552aab, 0x11111110eeeeeeef,
1580  0x00003fff7ffe8003, 0x19999998e6666667,
1581  0x00003fff7fff0002, 0x199999991999999a,
1582  0x00002aaa55552aab, 0x11111110eeeeeeef,
1583  0x00003fff7ffe8003, 0x19999998e6666667,
1584  0x00003fff7fff0002, 0x199999991999999a,
1585  0x00003fff7fff8001, 0x199999994ccccccd,
1586  0x00003fff7ffe8003, 0x19999998e6666667,
1587  0x00003fff7fff0002, 0x199999991999999a,
1588  0x00003fff7fff8001, 0x199999994ccccccd,
1589  0xffffc00080000000, 0xe666666680000000,
1590  0x00003fff7fff0002, 0x199999991999999a,
1591  0x00003fff7fff8001, 0x199999994ccccccd,
1592  0xffffc00080000000, 0xe666666680000000,
1593  0xffffc00080007fff, 0xe6666666b3333333,
1594  0x00003fff7fff8001, 0x199999994ccccccd,
1595  0xffffc00080000000, 0xe666666680000000,
1596  0xffffc00080007fff, 0xe6666666b3333333,
1597  0xffffd555aaaa5556, 0xeeeeeeeeddddddde,
1598  0xffffc00080000000, 0xe666666680000000,
1599  0xffffc00080007fff, 0xe6666666b3333333,
1600  0xffffd555aaaa5556, 0xeeeeeeeeddddddde,
1601  0xffffe66699993334, 0xf5c28f5c0a3d70a4,
1602  0xffffc00080007fff, 0xe6666666b3333333,
1603  0xffffd555aaaa5556, 0xeeeeeeeeddddddde,
1604  0xffffe66699993334, 0xf5c28f5c0a3d70a4,
1605  0xffffffffc0008000, 0xffffe66666668000,
1606  0xffffd555aaaa5556, 0xeeeeeeeeddddddde,
1607  0xffffe66699993334, 0xf5c28f5c0a3d70a4,
1608  0xffffffffc0008000, 0xffffe66666668000,
1609  0xffffffffc000ffff, 0xffffe6669999b333,
1610  0xffffe66699993334, 0xf5c28f5c0a3d70a4,
1611  0xffffffffc0008000, 0xffffe66666668000,
1612  0xffffffffc000ffff, 0xffffe6669999b333,
1613  0xffffffffc0017ffe, 0xffffe666cccce666,
1614  0xffffffffc0008000, 0xffffe66666668000,
1615  0xffffffffc000ffff, 0xffffe6669999b333,
1616  0xffffffffc0017ffe, 0xffffe666cccce666,
1617  0xffffffffc001fffd, 0xffffe66700001999,
1618  0xffffffffc000ffff, 0xffffe6669999b333,
1619  0xffffffffc0017ffe, 0xffffe666cccce666,
1620  0xffffffffc001fffd, 0xffffe66700001999,
1621  0xffffffffffc00080, 0xffffffe666666680,
1622  0xffffffffc0017ffe, 0xffffe666cccce666,
1623  0xffffffffc001fffd, 0xffffe66700001999,
1624  0xffffffffffc00080, 0xffffffe666666680,
1625  0xffffffffffc0807f, 0xffffffe6999999b3,
1626  0xffffffffc001fffd, 0xffffe66700001999,
1627  0xffffffffffc00080, 0xffffffe666666680,
1628  0xffffffffffc0807f, 0xffffffe6999999b3,
1629  0xffffffffffc1007e, 0xffffffe6cccccce6,
1630  0xffffffffffc00080, 0xffffffe666666680,
1631  0xffffffffffc0807f, 0xffffffe6999999b3,
1632  0xffffffffffc1007e, 0xffffffe6cccccce6,
1633  0xffffffffffc1807d, 0xffffffe700000019,
1634  0xffffffffffc0807f, 0xffffffe6999999b3,
1635  0xffffffffffc1007e, 0xffffffe6cccccce6,
1636  0xffffffffffc1807d, 0xffffffe700000019,
1637  0xfffffffffff00020, 0xfffffff9999999a0,
1638  0xffffffffffc1007e, 0xffffffe6cccccce6,
1639  0xffffffffffc1807d, 0xffffffe700000019,
1640  0xfffffffffff00020, 0xfffffff9999999a0,
1641  0xfffffffffffe8003, 0xffffffff66666667,
1642  0xffffffffffc1807d, 0xffffffe700000019,
1643  0xfffffffffff00020, 0xfffffff9999999a0,
1644  0xfffffffffffe8003, 0xffffffff66666667,
1645  0xffffffffffff0002, 0xffffffff9999999a,
1646  0xfffffffffff00020, 0xfffffff9999999a0,
1647  0xfffffffffffe8003, 0xffffffff66666667,
1648  0xffffffffffff0002, 0xffffffff9999999a,
1649  0xffffffffffff8001, 0xffffffffcccccccd,
1650  0xffffffff66666667, 0xffffffff00000001,
1651  0xffffffff9999999a, 0xffffffff55555556,
1652  0xffffffffcccccccd, 0xffffffffaaaaaaab,
1653  0x0000000000000000, 0x0000000000000000,
1654  0xffffffff9999999a, 0xffffffff55555556,
1655  0xffffffffcccccccd, 0xffffffffaaaaaaab,
1656  0x0000000000000000, 0x0000000000000000,
1657  0x0000000033333333, 0x0000000055555555,
1658  0xffffffffcccccccd, 0xffffffffaaaaaaab,
1659  0x0000000000000000, 0x0000000000000000,
1660  0x0000000033333333, 0x0000000055555555,
1661  0x0000000066666666, 0x00000000aaaaaaaa,
1662  0x0000000000000000, 0x0000000000000000,
1663  0x0000000033333333, 0x0000000055555555,
1664  0x0000000066666666, 0x00000000aaaaaaaa,
1665  0x0000000666666660, 0x0000000aaaaaaaa0,
1666  0x0000000033333333, 0x0000000055555555,
1667  0x0000000066666666, 0x00000000aaaaaaaa,
1668  0x0000000666666660, 0x0000000aaaaaaaa0,
1669  0x00000018ffffffe7, 0x00000029aaaaaa81,
1670  0x0000000066666666, 0x00000000aaaaaaaa,
1671  0x0000000666666660, 0x0000000aaaaaaaa0,
1672  0x00000018ffffffe7, 0x00000029aaaaaa81,
1673  0x000000193333331a, 0x00000029ffffffd6,
1674  0x0000000666666660, 0x0000000aaaaaaaa0,
1675  0x00000018ffffffe7, 0x00000029aaaaaa81,
1676  0x000000193333331a, 0x00000029ffffffd6,
1677  0x000000196666664d, 0x0000002a5555552b,
1678  0x00000018ffffffe7, 0x00000029aaaaaa81,
1679  0x000000193333331a, 0x00000029ffffffd6,
1680  0x000000196666664d, 0x0000002a5555552b,
1681  0x00001998ffffe667, 0x00002aa9aaaa8001,
1682  0x000000193333331a, 0x00000029ffffffd6,
1683  0x000000196666664d, 0x0000002a5555552b,
1684  0x00001998ffffe667, 0x00002aa9aaaa8001,
1685  0x000019993333199a, 0x00002aa9ffffd556,
1686  0x000000196666664d, 0x0000002a5555552b,
1687  0x00001998ffffe667, 0x00002aa9aaaa8001,
1688  0x000019993333199a, 0x00002aa9ffffd556,
1689  0x0000199966664ccd, 0x00002aaa55552aab,
1690  0x00001998ffffe667, 0x00002aa9aaaa8001,
1691  0x000019993333199a, 0x00002aa9ffffd556,
1692  0x0000199966664ccd, 0x00002aaa55552aab,
1693  0x0a3d70a3c28f5c29, 0x11111110eeeeeeef,
1694  0x000019993333199a, 0x00002aa9ffffd556,
1695  0x0000199966664ccd, 0x00002aaa55552aab,
1696  0x0a3d70a3c28f5c29, 0x11111110eeeeeeef,
1697  0x11111110eeeeeeef, 0x1c71c71c38e38e39,
1698  0x0000199966664ccd, 0x00002aaa55552aab,
1699  0x0a3d70a3c28f5c29, 0x11111110eeeeeeef,
1700  0x11111110eeeeeeef, 0x1c71c71c38e38e39,
1701  0x19999998e6666667, 0x2aaaaaa980000001,
1702  0x0a3d70a3c28f5c29, 0x11111110eeeeeeef,
1703  0x11111110eeeeeeef, 0x1c71c71c38e38e39,
1704  0x19999998e6666667, 0x2aaaaaa980000001,
1705  0x199999991999999a, 0x2aaaaaa9d5555556,
1706  0x11111110eeeeeeef, 0x1c71c71c38e38e39,
1707  0x19999998e6666667, 0x2aaaaaa980000001,
1708  0x199999991999999a, 0x2aaaaaa9d5555556,
1709  0x199999994ccccccd, 0x2aaaaaaa2aaaaaab,
1710  0x19999998e6666667, 0x2aaaaaa980000001,
1711  0x199999991999999a, 0x2aaaaaa9d5555556,
1712  0x199999994ccccccd, 0x2aaaaaaa2aaaaaab,
1713  0xe666666680000000, 0xd555555580000000,
1714  0x199999991999999a, 0x2aaaaaa9d5555556,
1715  0x199999994ccccccd, 0x2aaaaaaa2aaaaaab,
1716  0xe666666680000000, 0xd555555580000000,
1717  0xe6666666b3333333, 0xd5555555d5555555,
1718  0x199999994ccccccd, 0x2aaaaaaa2aaaaaab,
1719  0xe666666680000000, 0xd555555580000000,
1720  0xe6666666b3333333, 0xd5555555d5555555,
1721  0xeeeeeeeeddddddde, 0xe38e38e371c71c72,
1722  0xe666666680000000, 0xd555555580000000,
1723  0xe6666666b3333333, 0xd5555555d5555555,
1724  0xeeeeeeeeddddddde, 0xe38e38e371c71c72,
1725  0xf5c28f5c0a3d70a4, 0xeeeeeeeebbbbbbbc,
1726  0xe6666666b3333333, 0xd5555555d5555555,
1727  0xeeeeeeeeddddddde, 0xe38e38e371c71c72,
1728  0xf5c28f5c0a3d70a4, 0xeeeeeeeebbbbbbbc,
1729  0xffffe66666668000, 0xffffd55555558000,
1730  0xeeeeeeeeddddddde, 0xe38e38e371c71c72,
1731  0xf5c28f5c0a3d70a4, 0xeeeeeeeebbbbbbbc,
1732  0xffffe66666668000, 0xffffd55555558000,
1733  0xffffe6669999b333, 0xffffd555aaaad555,
1734  0xf5c28f5c0a3d70a4, 0xeeeeeeeebbbbbbbc,
1735  0xffffe66666668000, 0xffffd55555558000,
1736  0xffffe6669999b333, 0xffffd555aaaad555,
1737  0xffffe666cccce666, 0xffffd55600002aaa,
1738  0xffffe66666668000, 0xffffd55555558000,
1739  0xffffe6669999b333, 0xffffd555aaaad555,
1740  0xffffe666cccce666, 0xffffd55600002aaa,
1741  0xffffe66700001999, 0xffffd55655557fff,
1742  0xffffe6669999b333, 0xffffd555aaaad555,
1743  0xffffe666cccce666, 0xffffd55600002aaa,
1744  0xffffe66700001999, 0xffffd55655557fff,
1745  0xffffffe666666680, 0xffffffd555555580,
1746  0xffffe666cccce666, 0xffffd55600002aaa,
1747  0xffffe66700001999, 0xffffd55655557fff,
1748  0xffffffe666666680, 0xffffffd555555580,
1749  0xffffffe6999999b3, 0xffffffd5aaaaaad5,
1750  0xffffe66700001999, 0xffffd55655557fff,
1751  0xffffffe666666680, 0xffffffd555555580,
1752  0xffffffe6999999b3, 0xffffffd5aaaaaad5,
1753  0xffffffe6cccccce6, 0xffffffd60000002a,
1754  0xffffffe666666680, 0xffffffd555555580,
1755  0xffffffe6999999b3, 0xffffffd5aaaaaad5,
1756  0xffffffe6cccccce6, 0xffffffd60000002a,
1757  0xffffffe700000019, 0xffffffd65555557f,
1758  0xffffffe6999999b3, 0xffffffd5aaaaaad5,
1759  0xffffffe6cccccce6, 0xffffffd60000002a,
1760  0xffffffe700000019, 0xffffffd65555557f,
1761  0xfffffff9999999a0, 0xfffffff555555560,
1762  0xffffffe6cccccce6, 0xffffffd60000002a,
1763  0xffffffe700000019, 0xffffffd65555557f,
1764  0xfffffff9999999a0, 0xfffffff555555560,
1765  0xffffffff66666667, 0xffffffff00000001,
1766  0xffffffe700000019, 0xffffffd65555557f,
1767  0xfffffff9999999a0, 0xfffffff555555560,
1768  0xffffffff66666667, 0xffffffff00000001,
1769  0xffffffff9999999a, 0xffffffff55555556,
1770  0xfffffff9999999a0, 0xfffffff555555560,
1771  0xffffffff66666667, 0xffffffff00000001,
1772  0xffffffff9999999a, 0xffffffff55555556,
1773  0xffffffffcccccccd, 0xffffffffaaaaaaab,
1774  0xffffffff00000001, 0xfffffffe80000009,
1775  0xffffffff55555556, 0xffffffff00000006,
1776  0xffffffffaaaaaaab, 0xffffffff80000003,
1777  0x0000000000000000, 0x0000000000000000,
1778  0xffffffff55555556, 0xffffffff00000006,
1779  0xffffffffaaaaaaab, 0xffffffff80000003,
1780  0x0000000000000000, 0x0000000000000000,
1781  0x0000000055555555, 0x000000007ffffffd,
1782  0xffffffffaaaaaaab, 0xffffffff80000003,
1783  0x0000000000000000, 0x0000000000000000,
1784  0x0000000055555555, 0x000000007ffffffd,
1785  0x00000000aaaaaaaa, 0x00000000fffffffa,
1786  0x0000000000000000, 0x0000000000000000,
1787  0x0000000055555555, 0x000000007ffffffd,
1788  0x00000000aaaaaaaa, 0x00000000fffffffa,
1789  0x0000000aaaaaaaa0, 0x0000000fffffffa0,
1790  0x0000000055555555, 0x000000007ffffffd,
1791  0x00000000aaaaaaaa, 0x00000000fffffffa,
1792  0x0000000aaaaaaaa0, 0x0000000fffffffa0,
1793  0x00000029aaaaaa81, 0x0000003e7ffffe89,
1794  0x00000000aaaaaaaa, 0x00000000fffffffa,
1795  0x0000000aaaaaaaa0, 0x0000000fffffffa0,
1796  0x00000029aaaaaa81, 0x0000003e7ffffe89,
1797  0x00000029ffffffd6, 0x0000003efffffe86,
1798  0x0000000aaaaaaaa0, 0x0000000fffffffa0,
1799  0x00000029aaaaaa81, 0x0000003e7ffffe89,
1800  0x00000029ffffffd6, 0x0000003efffffe86,
1801  0x0000002a5555552b, 0x0000003f7ffffe83,
1802  0x00000029aaaaaa81, 0x0000003e7ffffe89,
1803  0x00000029ffffffd6, 0x0000003efffffe86,
1804  0x0000002a5555552b, 0x0000003f7ffffe83,
1805  0x00002aa9aaaa8001, 0x00003ffe7ffe8009,
1806  0x00000029ffffffd6, 0x0000003efffffe86,
1807  0x0000002a5555552b, 0x0000003f7ffffe83,
1808  0x00002aa9aaaa8001, 0x00003ffe7ffe8009,
1809  0x00002aa9ffffd556, 0x00003ffefffe8006,
1810  0x0000002a5555552b, 0x0000003f7ffffe83,
1811  0x00002aa9aaaa8001, 0x00003ffe7ffe8009,
1812  0x00002aa9ffffd556, 0x00003ffefffe8006,
1813  0x00002aaa55552aab, 0x00003fff7ffe8003,
1814  0x00002aa9aaaa8001, 0x00003ffe7ffe8009,
1815  0x00002aa9ffffd556, 0x00003ffefffe8006,
1816  0x00002aaa55552aab, 0x00003fff7ffe8003,
1817  0x11111110eeeeeeef, 0x19999998e6666667,
1818  0x00002aa9ffffd556, 0x00003ffefffe8006,
1819  0x00002aaa55552aab, 0x00003fff7ffe8003,
1820  0x11111110eeeeeeef, 0x19999998e6666667,
1821  0x1c71c71c38e38e39, 0x2aaaaaa980000001,
1822  0x00002aaa55552aab, 0x00003fff7ffe8003,
1823  0x11111110eeeeeeef, 0x19999998e6666667,
1824  0x1c71c71c38e38e39, 0x2aaaaaa980000001,
1825  0x2aaaaaa980000001, 0x3ffffffd00000009,
1826  0x11111110eeeeeeef, 0x19999998e6666667,
1827  0x1c71c71c38e38e39, 0x2aaaaaa980000001,
1828  0x2aaaaaa980000001, 0x3ffffffd00000009,
1829  0x2aaaaaa9d5555556, 0x3ffffffd80000006,
1830  0x1c71c71c38e38e39, 0x2aaaaaa980000001,
1831  0x2aaaaaa980000001, 0x3ffffffd00000009,
1832  0x2aaaaaa9d5555556, 0x3ffffffd80000006,
1833  0x2aaaaaaa2aaaaaab, 0x3ffffffe00000003,
1834  0x2aaaaaa980000001, 0x3ffffffd00000009,
1835  0x2aaaaaa9d5555556, 0x3ffffffd80000006,
1836  0x2aaaaaaa2aaaaaab, 0x3ffffffe00000003,
1837  0xd555555580000000, 0xc000000180000000,
1838  0x2aaaaaa9d5555556, 0x3ffffffd80000006,
1839  0x2aaaaaaa2aaaaaab, 0x3ffffffe00000003,
1840  0xd555555580000000, 0xc000000180000000,
1841  0xd5555555d5555555, 0xc0000001fffffffd,
1842  0x2aaaaaaa2aaaaaab, 0x3ffffffe00000003,
1843  0xd555555580000000, 0xc000000180000000,
1844  0xd5555555d5555555, 0xc0000001fffffffd,
1845  0xe38e38e371c71c72, 0xd555555600000002,
1846  0xd555555580000000, 0xc000000180000000,
1847  0xd5555555d5555555, 0xc0000001fffffffd,
1848  0xe38e38e371c71c72, 0xd555555600000002,
1849  0xeeeeeeeebbbbbbbc, 0xe66666669999999c,
1850  0xd5555555d5555555, 0xc0000001fffffffd,
1851  0xe38e38e371c71c72, 0xd555555600000002,
1852  0xeeeeeeeebbbbbbbc, 0xe66666669999999c,
1853  0xffffd55555558000, 0xffffc00000018000,
1854  0xe38e38e371c71c72, 0xd555555600000002,
1855  0xeeeeeeeebbbbbbbc, 0xe66666669999999c,
1856  0xffffd55555558000, 0xffffc00000018000,
1857  0xffffd555aaaad555, 0xffffc00080017ffd,
1858  0xeeeeeeeebbbbbbbc, 0xe66666669999999c,
1859  0xffffd55555558000, 0xffffc00000018000,
1860  0xffffd555aaaad555, 0xffffc00080017ffd,
1861  0xffffd55600002aaa, 0xffffc00100017ffa,
1862  0xffffd55555558000, 0xffffc00000018000,
1863  0xffffd555aaaad555, 0xffffc00080017ffd,
1864  0xffffd55600002aaa, 0xffffc00100017ffa,
1865  0xffffd55655557fff, 0xffffc00180017ff7,
1866  0xffffd555aaaad555, 0xffffc00080017ffd,
1867  0xffffd55600002aaa, 0xffffc00100017ffa,
1868  0xffffd55655557fff, 0xffffc00180017ff7,
1869  0xffffffd555555580, 0xffffffc000000180,
1870  0xffffd55600002aaa, 0xffffc00100017ffa,
1871  0xffffd55655557fff, 0xffffc00180017ff7,
1872  0xffffffd555555580, 0xffffffc000000180,
1873  0xffffffd5aaaaaad5, 0xffffffc08000017d,
1874  0xffffd55655557fff, 0xffffc00180017ff7,
1875  0xffffffd555555580, 0xffffffc000000180,
1876  0xffffffd5aaaaaad5, 0xffffffc08000017d,
1877  0xffffffd60000002a, 0xffffffc10000017a,
1878  0xffffffd555555580, 0xffffffc000000180,
1879  0xffffffd5aaaaaad5, 0xffffffc08000017d,
1880  0xffffffd60000002a, 0xffffffc10000017a,
1881  0xffffffd65555557f, 0xffffffc180000177,
1882  0xffffffd5aaaaaad5, 0xffffffc08000017d,
1883  0xffffffd60000002a, 0xffffffc10000017a,
1884  0xffffffd65555557f, 0xffffffc180000177,
1885  0xfffffff555555560, 0xfffffff000000060,
1886  0xffffffd60000002a, 0xffffffc10000017a,
1887  0xffffffd65555557f, 0xffffffc180000177,
1888  0xfffffff555555560, 0xfffffff000000060,
1889  0xffffffff00000001, 0xfffffffe80000009,
1890  0xffffffd65555557f, 0xffffffc180000177,
1891  0xfffffff555555560, 0xfffffff000000060,
1892  0xffffffff00000001, 0xfffffffe80000009,
1893  0xffffffff55555556, 0xffffffff00000006,
1894  0xfffffff555555560, 0xfffffff000000060,
1895  0xffffffff00000001, 0xfffffffe80000009,
1896  0xffffffff55555556, 0xffffffff00000006,
1897  0xffffffffaaaaaaab, 0xffffffff80000003,
1898  0xfffffffe80000009, 0xfffffffe80000006,
1899  0xffffffff00000006, 0xffffffff00000004,
1900  0xffffffff80000003, 0xffffffff80000002,
1901  0x0000000000000000, 0x0000000000000000,
1902  0xffffffff00000006, 0xffffffff00000004,
1903  0xffffffff80000003, 0xffffffff80000002,
1904  0x0000000000000000, 0x0000000000000000,
1905  0x000000007ffffffd, 0x000000007ffffffe,
1906  0xffffffff80000003, 0xffffffff80000002,
1907  0x0000000000000000, 0x0000000000000000,
1908  0x000000007ffffffd, 0x000000007ffffffe,
1909  0x00000000fffffffa, 0x00000000fffffffc,
1910  0x0000000000000000, 0x0000000000000000,
1911  0x000000007ffffffd, 0x000000007ffffffe,
1912  0x00000000fffffffa, 0x00000000fffffffc,
1913  0x0000000fffffffa0, 0x0000000fffffffc0,
1914  0x000000007ffffffd, 0x000000007ffffffe,
1915  0x00000000fffffffa, 0x00000000fffffffc,
1916  0x0000000fffffffa0, 0x0000000fffffffc0,
1917  0x0000003e7ffffe89, 0x0000003e7fffff06,
1918  0x00000000fffffffa, 0x00000000fffffffc,
1919  0x0000000fffffffa0, 0x0000000fffffffc0,
1920  0x0000003e7ffffe89, 0x0000003e7fffff06,
1921  0x0000003efffffe86, 0x0000003effffff04,
1922  0x0000000fffffffa0, 0x0000000fffffffc0,
1923  0x0000003e7ffffe89, 0x0000003e7fffff06,
1924  0x0000003efffffe86, 0x0000003effffff04,
1925  0x0000003f7ffffe83, 0x0000003f7fffff02,
1926  0x0000003e7ffffe89, 0x0000003e7fffff06,
1927  0x0000003efffffe86, 0x0000003effffff04,
1928  0x0000003f7ffffe83, 0x0000003f7fffff02,
1929  0x00003ffe7ffe8009, 0x00003ffe7fff0006,
1930  0x0000003efffffe86, 0x0000003effffff04,
1931  0x0000003f7ffffe83, 0x0000003f7fffff02,
1932  0x00003ffe7ffe8009, 0x00003ffe7fff0006,
1933  0x00003ffefffe8006, 0x00003ffeffff0004,
1934  0x0000003f7ffffe83, 0x0000003f7fffff02,
1935  0x00003ffe7ffe8009, 0x00003ffe7fff0006,
1936  0x00003ffefffe8006, 0x00003ffeffff0004,
1937  0x00003fff7ffe8003, 0x00003fff7fff0002,
1938  0x00003ffe7ffe8009, 0x00003ffe7fff0006,
1939  0x00003ffefffe8006, 0x00003ffeffff0004,
1940  0x00003fff7ffe8003, 0x00003fff7fff0002,
1941  0x19999998e6666667, 0x199999991999999a,
1942  0x00003ffefffe8006, 0x00003ffeffff0004,
1943  0x00003fff7ffe8003, 0x00003fff7fff0002,
1944  0x19999998e6666667, 0x199999991999999a,
1945  0x2aaaaaa980000001, 0x2aaaaaa9d5555556,
1946  0x00003fff7ffe8003, 0x00003fff7fff0002,
1947  0x19999998e6666667, 0x199999991999999a,
1948  0x2aaaaaa980000001, 0x2aaaaaa9d5555556,
1949  0x3ffffffd00000009, 0x3ffffffd80000006,
1950  0x19999998e6666667, 0x199999991999999a,
1951  0x2aaaaaa980000001, 0x2aaaaaa9d5555556,
1952  0x3ffffffd00000009, 0x3ffffffd80000006,
1953  0x3ffffffd80000006, 0x3ffffffe00000004,
1954  0x2aaaaaa980000001, 0x2aaaaaa9d5555556,
1955  0x3ffffffd00000009, 0x3ffffffd80000006,
1956  0x3ffffffd80000006, 0x3ffffffe00000004,
1957  0x3ffffffe00000003, 0x3ffffffe80000002,
1958  0x3ffffffd00000009, 0x3ffffffd80000006,
1959  0x3ffffffd80000006, 0x3ffffffe00000004,
1960  0x3ffffffe00000003, 0x3ffffffe80000002,
1961  0xc000000180000000, 0xc000000100000000,
1962  0x3ffffffd80000006, 0x3ffffffe00000004,
1963  0x3ffffffe00000003, 0x3ffffffe80000002,
1964  0xc000000180000000, 0xc000000100000000,
1965  0xc0000001fffffffd, 0xc00000017ffffffe,
1966  0x3ffffffe00000003, 0x3ffffffe80000002,
1967  0xc000000180000000, 0xc000000100000000,
1968  0xc0000001fffffffd, 0xc00000017ffffffe,
1969  0xd555555600000002, 0xd5555555aaaaaaac,
1970  0xc000000180000000, 0xc000000100000000,
1971  0xc0000001fffffffd, 0xc00000017ffffffe,
1972  0xd555555600000002, 0xd5555555aaaaaaac,
1973  0xe66666669999999c, 0xe666666666666668,
1974  0xc0000001fffffffd, 0xc00000017ffffffe,
1975  0xd555555600000002, 0xd5555555aaaaaaac,
1976  0xe66666669999999c, 0xe666666666666668,
1977  0xffffc00000018000, 0xffffc00000010000,
1978  0xd555555600000002, 0xd5555555aaaaaaac,
1979  0xe66666669999999c, 0xe666666666666668,
1980  0xffffc00000018000, 0xffffc00000010000,
1981  0xffffc00080017ffd, 0xffffc0008000fffe,
1982  0xe66666669999999c, 0xe666666666666668,
1983  0xffffc00000018000, 0xffffc00000010000,
1984  0xffffc00080017ffd, 0xffffc0008000fffe,
1985  0xffffc00100017ffa, 0xffffc0010000fffc,
1986  0xffffc00000018000, 0xffffc00000010000,
1987  0xffffc00080017ffd, 0xffffc0008000fffe,
1988  0xffffc00100017ffa, 0xffffc0010000fffc,
1989  0xffffc00180017ff7, 0xffffc0018000fffa,
1990  0xffffc00080017ffd, 0xffffc0008000fffe,
1991  0xffffc00100017ffa, 0xffffc0010000fffc,
1992  0xffffc00180017ff7, 0xffffc0018000fffa,
1993  0xffffffc000000180, 0xffffffc000000100,
1994  0xffffc00100017ffa, 0xffffc0010000fffc,
1995  0xffffc00180017ff7, 0xffffc0018000fffa,
1996  0xffffffc000000180, 0xffffffc000000100,
1997  0xffffffc08000017d, 0xffffffc0800000fe,
1998  0xffffc00180017ff7, 0xffffc0018000fffa,
1999  0xffffffc000000180, 0xffffffc000000100,
2000  0xffffffc08000017d, 0xffffffc0800000fe,
2001  0xffffffc10000017a, 0xffffffc1000000fc,
2002  0xffffffc000000180, 0xffffffc000000100,
2003  0xffffffc08000017d, 0xffffffc0800000fe,
2004  0xffffffc10000017a, 0xffffffc1000000fc,
2005  0xffffffc180000177, 0xffffffc1800000fa,
2006  0xffffffc08000017d, 0xffffffc0800000fe,
2007  0xffffffc10000017a, 0xffffffc1000000fc,
2008  0xffffffc180000177, 0xffffffc1800000fa,
2009  0xfffffff000000060, 0xfffffff000000040,
2010  0xffffffc10000017a, 0xffffffc1000000fc,
2011  0xffffffc180000177, 0xffffffc1800000fa,
2012  0xfffffff000000060, 0xfffffff000000040,
2013  0xfffffffe80000009, 0xfffffffe80000006,
2014  0xffffffc180000177, 0xffffffc1800000fa,
2015  0xfffffff000000060, 0xfffffff000000040,
2016  0xfffffffe80000009, 0xfffffffe80000006,
2017  0xffffffff00000006, 0xffffffff00000004,
2018  0xfffffff000000060, 0xfffffff000000040,
2019  0xfffffffe80000009, 0xfffffffe80000006,
2020  0xffffffff00000006, 0xffffffff00000004,
2021  0xffffffff80000003, 0xffffffff80000002,
2022  0xfffffffe80000006, 0xfffffffe80000003,
2023  0xffffffff00000004, 0xffffffff00000002,
2024  0xffffffff80000002, 0xffffffff80000001,
2025  0x0000000000000000, 0x0000000000000000,
2026  0xffffffff00000004, 0xffffffff00000002,
2027  0xffffffff80000002, 0xffffffff80000001,
2028  0x0000000000000000, 0x0000000000000000,
2029  0x000000007ffffffe, 0x000000007fffffff,
2030  0xffffffff80000002, 0xffffffff80000001,
2031  0x0000000000000000, 0x0000000000000000,
2032  0x000000007ffffffe, 0x000000007fffffff,
2033  0x00000000fffffffc, 0x00000000fffffffe,
2034  0x0000000000000000, 0x0000000000000000,
2035  0x000000007ffffffe, 0x000000007fffffff,
2036  0x00000000fffffffc, 0x00000000fffffffe,
2037  0x0000000fffffffc0, 0x0000000fffffffe0,
2038  0x000000007ffffffe, 0x000000007fffffff,
2039  0x00000000fffffffc, 0x00000000fffffffe,
2040  0x0000000fffffffc0, 0x0000000fffffffe0,
2041  0x0000003e7fffff06, 0x0000003e7fffff83,
2042  0x00000000fffffffc, 0x00000000fffffffe,
2043  0x0000000fffffffc0, 0x0000000fffffffe0,
2044  0x0000003e7fffff06, 0x0000003e7fffff83,
2045  0x0000003effffff04, 0x0000003effffff82,
2046  0x0000000fffffffc0, 0x0000000fffffffe0,
2047  0x0000003e7fffff06, 0x0000003e7fffff83,
2048  0x0000003effffff04, 0x0000003effffff82,
2049  0x0000003f7fffff02, 0x0000003f7fffff81,
2050  0x0000003e7fffff06, 0x0000003e7fffff83,
2051  0x0000003effffff04, 0x0000003effffff82,
2052  0x0000003f7fffff02, 0x0000003f7fffff81,
2053  0x00003ffe7fff0006, 0x00003ffe7fff8003,
2054  0x0000003effffff04, 0x0000003effffff82,
2055  0x0000003f7fffff02, 0x0000003f7fffff81,
2056  0x00003ffe7fff0006, 0x00003ffe7fff8003,
2057  0x00003ffeffff0004, 0x00003ffeffff8002,
2058  0x0000003f7fffff02, 0x0000003f7fffff81,
2059  0x00003ffe7fff0006, 0x00003ffe7fff8003,
2060  0x00003ffeffff0004, 0x00003ffeffff8002,
2061  0x00003fff7fff0002, 0x00003fff7fff8001,
2062  0x00003ffe7fff0006, 0x00003ffe7fff8003,
2063  0x00003ffeffff0004, 0x00003ffeffff8002,
2064  0x00003fff7fff0002, 0x00003fff7fff8001,
2065  0x199999991999999a, 0x199999994ccccccd,
2066  0x00003ffeffff0004, 0x00003ffeffff8002,
2067  0x00003fff7fff0002, 0x00003fff7fff8001,
2068  0x199999991999999a, 0x199999994ccccccd,
2069  0x2aaaaaa9d5555556, 0x2aaaaaaa2aaaaaab,
2070  0x00003fff7fff0002, 0x00003fff7fff8001,
2071  0x199999991999999a, 0x199999994ccccccd,
2072  0x2aaaaaa9d5555556, 0x2aaaaaaa2aaaaaab,
2073  0x3ffffffd80000006, 0x3ffffffe00000003,
2074  0x199999991999999a, 0x199999994ccccccd,
2075  0x2aaaaaa9d5555556, 0x2aaaaaaa2aaaaaab,
2076  0x3ffffffd80000006, 0x3ffffffe00000003,
2077  0x3ffffffe00000004, 0x3ffffffe80000002,
2078  0x2aaaaaa9d5555556, 0x2aaaaaaa2aaaaaab,
2079  0x3ffffffd80000006, 0x3ffffffe00000003,
2080  0x3ffffffe00000004, 0x3ffffffe80000002,
2081  0x3ffffffe80000002, 0x3fffffff00000001,
2082  0x3ffffffd80000006, 0x3ffffffe00000003,
2083  0x3ffffffe00000004, 0x3ffffffe80000002,
2084  0x3ffffffe80000002, 0x3fffffff00000001,
2085  0xc000000100000000, 0xc000000080000000,
2086  0x3ffffffe00000004, 0x3ffffffe80000002,
2087  0x3ffffffe80000002, 0x3fffffff00000001,
2088  0xc000000100000000, 0xc000000080000000,
2089  0xc00000017ffffffe, 0xc0000000ffffffff,
2090  0x3ffffffe80000002, 0x3fffffff00000001,
2091  0xc000000100000000, 0xc000000080000000,
2092  0xc00000017ffffffe, 0xc0000000ffffffff,
2093  0xd5555555aaaaaaac, 0xd555555555555556,
2094  0xc000000100000000, 0xc000000080000000,
2095  0xc00000017ffffffe, 0xc0000000ffffffff,
2096  0xd5555555aaaaaaac, 0xd555555555555556,
2097  0xe666666666666668, 0xe666666633333334,
2098  0xc00000017ffffffe, 0xc0000000ffffffff,
2099  0xd5555555aaaaaaac, 0xd555555555555556,
2100  0xe666666666666668, 0xe666666633333334,
2101  0xffffc00000010000, 0xffffc00000008000,
2102  0xd5555555aaaaaaac, 0xd555555555555556,
2103  0xe666666666666668, 0xe666666633333334,
2104  0xffffc00000010000, 0xffffc00000008000,
2105  0xffffc0008000fffe, 0xffffc00080007fff,
2106  0xe666666666666668, 0xe666666633333334,
2107  0xffffc00000010000, 0xffffc00000008000,
2108  0xffffc0008000fffe, 0xffffc00080007fff,
2109  0xffffc0010000fffc, 0xffffc00100007ffe,
2110  0xffffc00000010000, 0xffffc00000008000,
2111  0xffffc0008000fffe, 0xffffc00080007fff,
2112  0xffffc0010000fffc, 0xffffc00100007ffe,
2113  0xffffc0018000fffa, 0xffffc00180007ffd,
2114  0xffffc0008000fffe, 0xffffc00080007fff,
2115  0xffffc0010000fffc, 0xffffc00100007ffe,
2116  0xffffc0018000fffa, 0xffffc00180007ffd,
2117  0xffffffc000000100, 0xffffffc000000080,
2118  0xffffc0010000fffc, 0xffffc00100007ffe,
2119  0xffffc0018000fffa, 0xffffc00180007ffd,
2120  0xffffffc000000100, 0xffffffc000000080,
2121  0xffffffc0800000fe, 0xffffffc08000007f,
2122  0xffffc0018000fffa, 0xffffc00180007ffd,
2123  0xffffffc000000100, 0xffffffc000000080,
2124  0xffffffc0800000fe, 0xffffffc08000007f,
2125  0xffffffc1000000fc, 0xffffffc10000007e,
2126  0xffffffc000000100, 0xffffffc000000080,
2127  0xffffffc0800000fe, 0xffffffc08000007f,
2128  0xffffffc1000000fc, 0xffffffc10000007e,
2129  0xffffffc1800000fa, 0xffffffc18000007d,
2130  0xffffffc0800000fe, 0xffffffc08000007f,
2131  0xffffffc1000000fc, 0xffffffc10000007e,
2132  0xffffffc1800000fa, 0xffffffc18000007d,
2133  0xfffffff000000040, 0xfffffff000000020,
2134  0xffffffc1000000fc, 0xffffffc10000007e,
2135  0xffffffc1800000fa, 0xffffffc18000007d,
2136  0xfffffff000000040, 0xfffffff000000020,
2137  0xfffffffe80000006, 0xfffffffe80000003,
2138  0xffffffc1800000fa, 0xffffffc18000007d,
2139  0xfffffff000000040, 0xfffffff000000020,
2140  0xfffffffe80000006, 0xfffffffe80000003,
2141  0xffffffff00000004, 0xffffffff00000002,
2142  0xfffffff000000040, 0xfffffff000000020,
2143  0xfffffffe80000006, 0xfffffffe80000003,
2144  0xffffffff00000004, 0xffffffff00000002,
2145  0xffffffff80000002, 0xffffffff80000001,
2146  0xfffffffe80000003, 0x0000000180000000,
2147  0xffffffff00000002, 0x0000000100000000,
2148  0xffffffff80000001, 0x0000000080000000,
2149  0x0000000000000000, 0x0000000000000000,
2150  0xffffffff00000002, 0x0000000100000000,
2151  0xffffffff80000001, 0x0000000080000000,
2152  0x0000000000000000, 0x0000000000000000,
2153  0x000000007fffffff, 0xffffffff80000000,
2154  0xffffffff80000001, 0x0000000080000000,
2155  0x0000000000000000, 0x0000000000000000,
2156  0x000000007fffffff, 0xffffffff80000000,
2157  0x00000000fffffffe, 0xffffffff00000000,
2158  0x0000000000000000, 0x0000000000000000,
2159  0x000000007fffffff, 0xffffffff80000000,
2160  0x00000000fffffffe, 0xffffffff00000000,
2161  0x0000000fffffffe0, 0xfffffff000000000,
2162  0x000000007fffffff, 0xffffffff80000000,
2163  0x00000000fffffffe, 0xffffffff00000000,
2164  0x0000000fffffffe0, 0xfffffff000000000,
2165  0x0000003e7fffff83, 0xffffffc180000000,
2166  0x00000000fffffffe, 0xffffffff00000000,
2167  0x0000000fffffffe0, 0xfffffff000000000,
2168  0x0000003e7fffff83, 0xffffffc180000000,
2169  0x0000003effffff82, 0xffffffc100000000,
2170  0x0000000fffffffe0, 0xfffffff000000000,
2171  0x0000003e7fffff83, 0xffffffc180000000,
2172  0x0000003effffff82, 0xffffffc100000000,
2173  0x0000003f7fffff81, 0xffffffc080000000,
2174  0x0000003e7fffff83, 0xffffffc180000000,
2175  0x0000003effffff82, 0xffffffc100000000,
2176  0x0000003f7fffff81, 0xffffffc080000000,
2177  0x00003ffe7fff8003, 0xffffc00180000000,
2178  0x0000003effffff82, 0xffffffc100000000,
2179  0x0000003f7fffff81, 0xffffffc080000000,
2180  0x00003ffe7fff8003, 0xffffc00180000000,
2181  0x00003ffeffff8002, 0xffffc00100000000,
2182  0x0000003f7fffff81, 0xffffffc080000000,
2183  0x00003ffe7fff8003, 0xffffc00180000000,
2184  0x00003ffeffff8002, 0xffffc00100000000,
2185  0x00003fff7fff8001, 0xffffc00080000000,
2186  0x00003ffe7fff8003, 0xffffc00180000000,
2187  0x00003ffeffff8002, 0xffffc00100000000,
2188  0x00003fff7fff8001, 0xffffc00080000000,
2189  0x199999994ccccccd, 0xe666666680000000,
2190  0x00003ffeffff8002, 0xffffc00100000000,
2191  0x00003fff7fff8001, 0xffffc00080000000,
2192  0x199999994ccccccd, 0xe666666680000000,
2193  0x2aaaaaaa2aaaaaab, 0xd555555580000000,
2194  0x00003fff7fff8001, 0xffffc00080000000,
2195  0x199999994ccccccd, 0xe666666680000000,
2196  0x2aaaaaaa2aaaaaab, 0xd555555580000000,
2197  0x3ffffffe00000003, 0xc000000180000000,
2198  0x199999994ccccccd, 0xe666666680000000,
2199  0x2aaaaaaa2aaaaaab, 0xd555555580000000,
2200  0x3ffffffe00000003, 0xc000000180000000,
2201  0x3ffffffe80000002, 0xc000000100000000,
2202  0x2aaaaaaa2aaaaaab, 0xd555555580000000,
2203  0x3ffffffe00000003, 0xc000000180000000,
2204  0x3ffffffe80000002, 0xc000000100000000,
2205  0x3fffffff00000001, 0xc000000080000000,
2206  0x3ffffffe00000003, 0xc000000180000000,
2207  0x3ffffffe80000002, 0xc000000100000000,
2208  0x3fffffff00000001, 0xc000000080000000,
2209  0xc000000080000000, 0x4000000000000000,
2210  0x3ffffffe80000002, 0xc000000100000000,
2211  0x3fffffff00000001, 0xc000000080000000,
2212  0xc000000080000000, 0x4000000000000000,
2213  0xc0000000ffffffff, 0x3fffffff80000000,
2214  0x3fffffff00000001, 0xc000000080000000,
2215  0xc000000080000000, 0x4000000000000000,
2216  0xc0000000ffffffff, 0x3fffffff80000000,
2217  0xd555555555555556, 0x2aaaaaab00000000,
2218  0xc000000080000000, 0x4000000000000000,
2219  0xc0000000ffffffff, 0x3fffffff80000000,
2220  0xd555555555555556, 0x2aaaaaab00000000,
2221  0xe666666633333334, 0x1999999a00000000,
2222  0xc0000000ffffffff, 0x3fffffff80000000,
2223  0xd555555555555556, 0x2aaaaaab00000000,
2224  0xe666666633333334, 0x1999999a00000000,
2225  0xffffc00000008000, 0x0000400000000000,
2226  0xd555555555555556, 0x2aaaaaab00000000,
2227  0xe666666633333334, 0x1999999a00000000,
2228  0xffffc00000008000, 0x0000400000000000,
2229  0xffffc00080007fff, 0x00003fff80000000,
2230  0xe666666633333334, 0x1999999a00000000,
2231  0xffffc00000008000, 0x0000400000000000,
2232  0xffffc00080007fff, 0x00003fff80000000,
2233  0xffffc00100007ffe, 0x00003fff00000000,
2234  0xffffc00000008000, 0x0000400000000000,
2235  0xffffc00080007fff, 0x00003fff80000000,
2236  0xffffc00100007ffe, 0x00003fff00000000,
2237  0xffffc00180007ffd, 0x00003ffe80000000,
2238  0xffffc00080007fff, 0x00003fff80000000,
2239  0xffffc00100007ffe, 0x00003fff00000000,
2240  0xffffc00180007ffd, 0x00003ffe80000000,
2241  0xffffffc000000080, 0x0000004000000000,
2242  0xffffc00100007ffe, 0x00003fff00000000,
2243  0xffffc00180007ffd, 0x00003ffe80000000,
2244  0xffffffc000000080, 0x0000004000000000,
2245  0xffffffc08000007f, 0x0000003f80000000,
2246  0xffffc00180007ffd, 0x00003ffe80000000,
2247  0xffffffc000000080, 0x0000004000000000,
2248  0xffffffc08000007f, 0x0000003f80000000,
2249  0xffffffc10000007e, 0x0000003f00000000,
2250  0xffffffc000000080, 0x0000004000000000,
2251  0xffffffc08000007f, 0x0000003f80000000,
2252  0xffffffc10000007e, 0x0000003f00000000,
2253  0xffffffc18000007d, 0x0000003e80000000,
2254  0xffffffc08000007f, 0x0000003f80000000,
2255  0xffffffc10000007e, 0x0000003f00000000,
2256  0xffffffc18000007d, 0x0000003e80000000,
2257  0xfffffff000000020, 0x0000001000000000,
2258  0xffffffc10000007e, 0x0000003f00000000,
2259  0xffffffc18000007d, 0x0000003e80000000,
2260  0xfffffff000000020, 0x0000001000000000,
2261  0xfffffffe80000003, 0x0000000180000000,
2262  0xffffffc18000007d, 0x0000003e80000000,
2263  0xfffffff000000020, 0x0000001000000000,
2264  0xfffffffe80000003, 0x0000000180000000,
2265  0xffffffff00000002, 0x0000000100000000,
2266  0xfffffff000000020, 0x0000001000000000,
2267  0xfffffffe80000003, 0x0000000180000000,
2268  0xffffffff00000002, 0x0000000100000000,
2269  0xffffffff80000001, 0x0000000080000000,
2270  0x0000000180000000, 0x000000017ffffffd,
2271  0x0000000100000000, 0x00000000fffffffe,
2272  0x0000000080000000, 0x000000007fffffff,
2273  0x0000000000000000, 0x0000000000000000,
2274  0x0000000100000000, 0x00000000fffffffe,
2275  0x0000000080000000, 0x000000007fffffff,
2276  0x0000000000000000, 0x0000000000000000,
2277  0xffffffff80000000, 0xffffffff80000001,
2278  0x0000000080000000, 0x000000007fffffff,
2279  0x0000000000000000, 0x0000000000000000,
2280  0xffffffff80000000, 0xffffffff80000001,
2281  0xffffffff00000000, 0xffffffff00000002,
2282  0x0000000000000000, 0x0000000000000000,
2283  0xffffffff80000000, 0xffffffff80000001,
2284  0xffffffff00000000, 0xffffffff00000002,
2285  0xfffffff000000000, 0xfffffff000000020,
2286  0xffffffff80000000, 0xffffffff80000001,
2287  0xffffffff00000000, 0xffffffff00000002,
2288  0xfffffff000000000, 0xfffffff000000020,
2289  0xffffffc180000000, 0xffffffc18000007d,
2290  0xffffffff00000000, 0xffffffff00000002,
2291  0xfffffff000000000, 0xfffffff000000020,
2292  0xffffffc180000000, 0xffffffc18000007d,
2293  0xffffffc100000000, 0xffffffc10000007e,
2294  0xfffffff000000000, 0xfffffff000000020,
2295  0xffffffc180000000, 0xffffffc18000007d,
2296  0xffffffc100000000, 0xffffffc10000007e,
2297  0xffffffc080000000, 0xffffffc08000007f,
2298  0xffffffc180000000, 0xffffffc18000007d,
2299  0xffffffc100000000, 0xffffffc10000007e,
2300  0xffffffc080000000, 0xffffffc08000007f,
2301  0xffffc00180000000, 0xffffc00180007ffd,
2302  0xffffffc100000000, 0xffffffc10000007e,
2303  0xffffffc080000000, 0xffffffc08000007f,
2304  0xffffc00180000000, 0xffffc00180007ffd,
2305  0xffffc00100000000, 0xffffc00100007ffe,
2306  0xffffffc080000000, 0xffffffc08000007f,
2307  0xffffc00180000000, 0xffffc00180007ffd,
2308  0xffffc00100000000, 0xffffc00100007ffe,
2309  0xffffc00080000000, 0xffffc00080007fff,
2310  0xffffc00180000000, 0xffffc00180007ffd,
2311  0xffffc00100000000, 0xffffc00100007ffe,
2312  0xffffc00080000000, 0xffffc00080007fff,
2313  0xe666666680000000, 0xe6666666b3333333,
2314  0xffffc00100000000, 0xffffc00100007ffe,
2315  0xffffc00080000000, 0xffffc00080007fff,
2316  0xe666666680000000, 0xe6666666b3333333,
2317  0xd555555580000000, 0xd5555555d5555555,
2318  0xffffc00080000000, 0xffffc00080007fff,
2319  0xe666666680000000, 0xe6666666b3333333,
2320  0xd555555580000000, 0xd5555555d5555555,
2321  0xc000000180000000, 0xc0000001fffffffd,
2322  0xe666666680000000, 0xe6666666b3333333,
2323  0xd555555580000000, 0xd5555555d5555555,
2324  0xc000000180000000, 0xc0000001fffffffd,
2325  0xc000000100000000, 0xc00000017ffffffe,
2326  0xd555555580000000, 0xd5555555d5555555,
2327  0xc000000180000000, 0xc0000001fffffffd,
2328  0xc000000100000000, 0xc00000017ffffffe,
2329  0xc000000080000000, 0xc0000000ffffffff,
2330  0xc000000180000000, 0xc0000001fffffffd,
2331  0xc000000100000000, 0xc00000017ffffffe,
2332  0xc000000080000000, 0xc0000000ffffffff,
2333  0x4000000000000000, 0x3fffffff80000000,
2334  0xc000000100000000, 0xc00000017ffffffe,
2335  0xc000000080000000, 0xc0000000ffffffff,
2336  0x4000000000000000, 0x3fffffff80000000,
2337  0x3fffffff80000000, 0x3fffffff00000001,
2338  0xc000000080000000, 0xc0000000ffffffff,
2339  0x4000000000000000, 0x3fffffff80000000,
2340  0x3fffffff80000000, 0x3fffffff00000001,
2341  0x2aaaaaab00000000, 0x2aaaaaaaaaaaaaaa,
2342  0x4000000000000000, 0x3fffffff80000000,
2343  0x3fffffff80000000, 0x3fffffff00000001,
2344  0x2aaaaaab00000000, 0x2aaaaaaaaaaaaaaa,
2345  0x1999999a00000000, 0x19999999cccccccc,
2346  0x3fffffff80000000, 0x3fffffff00000001,
2347  0x2aaaaaab00000000, 0x2aaaaaaaaaaaaaaa,
2348  0x1999999a00000000, 0x19999999cccccccc,
2349  0x0000400000000000, 0x00003fffffff8000,
2350  0x2aaaaaab00000000, 0x2aaaaaaaaaaaaaaa,
2351  0x1999999a00000000, 0x19999999cccccccc,
2352  0x0000400000000000, 0x00003fffffff8000,
2353  0x00003fff80000000, 0x00003fff7fff8001,
2354  0x1999999a00000000, 0x19999999cccccccc,
2355  0x0000400000000000, 0x00003fffffff8000,
2356  0x00003fff80000000, 0x00003fff7fff8001,
2357  0x00003fff00000000, 0x00003ffeffff8002,
2358  0x0000400000000000, 0x00003fffffff8000,
2359  0x00003fff80000000, 0x00003fff7fff8001,
2360  0x00003fff00000000, 0x00003ffeffff8002,
2361  0x00003ffe80000000, 0x00003ffe7fff8003,
2362  0x00003fff80000000, 0x00003fff7fff8001,
2363  0x00003fff00000000, 0x00003ffeffff8002,
2364  0x00003ffe80000000, 0x00003ffe7fff8003,
2365  0x0000004000000000, 0x0000003fffffff80,
2366  0x00003fff00000000, 0x00003ffeffff8002,
2367  0x00003ffe80000000, 0x00003ffe7fff8003,
2368  0x0000004000000000, 0x0000003fffffff80,
2369  0x0000003f80000000, 0x0000003f7fffff81,
2370  0x00003ffe80000000, 0x00003ffe7fff8003,
2371  0x0000004000000000, 0x0000003fffffff80,
2372  0x0000003f80000000, 0x0000003f7fffff81,
2373  0x0000003f00000000, 0x0000003effffff82,
2374  0x0000004000000000, 0x0000003fffffff80,
2375  0x0000003f80000000, 0x0000003f7fffff81,
2376  0x0000003f00000000, 0x0000003effffff82,
2377  0x0000003e80000000, 0x0000003e7fffff83,
2378  0x0000003f80000000, 0x0000003f7fffff81,
2379  0x0000003f00000000, 0x0000003effffff82,
2380  0x0000003e80000000, 0x0000003e7fffff83,
2381  0x0000001000000000, 0x0000000fffffffe0,
2382  0x0000003f00000000, 0x0000003effffff82,
2383  0x0000003e80000000, 0x0000003e7fffff83,
2384  0x0000001000000000, 0x0000000fffffffe0,
2385  0x0000000180000000, 0x000000017ffffffd,
2386  0x0000003e80000000, 0x0000003e7fffff83,
2387  0x0000001000000000, 0x0000000fffffffe0,
2388  0x0000000180000000, 0x000000017ffffffd,
2389  0x0000000100000000, 0x00000000fffffffe,
2390  0x0000001000000000, 0x0000000fffffffe0,
2391  0x0000000180000000, 0x000000017ffffffd,
2392  0x0000000100000000, 0x00000000fffffffe,
2393  0x0000000080000000, 0x000000007fffffff,
2394  0x000000017ffffffd, 0x0000000100000002,
2395  0x00000000fffffffe, 0x00000000aaaaaaac,
2396  0x000000007fffffff, 0x0000000055555556,
2397  0x0000000000000000, 0x0000000000000000,
2398  0x00000000fffffffe, 0x00000000aaaaaaac,
2399  0x000000007fffffff, 0x0000000055555556,
2400  0x0000000000000000, 0x0000000000000000,
2401  0xffffffff80000001, 0xffffffffaaaaaaaa,
2402  0x000000007fffffff, 0x0000000055555556,
2403  0x0000000000000000, 0x0000000000000000,
2404  0xffffffff80000001, 0xffffffffaaaaaaaa,
2405  0xffffffff00000002, 0xffffffff55555554,
2406  0x0000000000000000, 0x0000000000000000,
2407  0xffffffff80000001, 0xffffffffaaaaaaaa,
2408  0xffffffff00000002, 0xffffffff55555554,
2409  0xfffffff000000020, 0xfffffff555555540,
2410  0xffffffff80000001, 0xffffffffaaaaaaaa,
2411  0xffffffff00000002, 0xffffffff55555554,
2412  0xfffffff000000020, 0xfffffff555555540,
2413  0xffffffc18000007d, 0xffffffd655555502,
2414  0xffffffff00000002, 0xffffffff55555554,
2415  0xfffffff000000020, 0xfffffff555555540,
2416  0xffffffc18000007d, 0xffffffd655555502,
2417  0xffffffc10000007e, 0xffffffd5ffffffac,
2418  0xfffffff000000020, 0xfffffff555555540,
2419  0xffffffc18000007d, 0xffffffd655555502,
2420  0xffffffc10000007e, 0xffffffd5ffffffac,
2421  0xffffffc08000007f, 0xffffffd5aaaaaa56,
2422  0xffffffc18000007d, 0xffffffd655555502,
2423  0xffffffc10000007e, 0xffffffd5ffffffac,
2424  0xffffffc08000007f, 0xffffffd5aaaaaa56,
2425  0xffffc00180007ffd, 0xffffd55655550002,
2426  0xffffffc10000007e, 0xffffffd5ffffffac,
2427  0xffffffc08000007f, 0xffffffd5aaaaaa56,
2428  0xffffc00180007ffd, 0xffffd55655550002,
2429  0xffffc00100007ffe, 0xffffd555ffffaaac,
2430  0xffffffc08000007f, 0xffffffd5aaaaaa56,
2431  0xffffc00180007ffd, 0xffffd55655550002,
2432  0xffffc00100007ffe, 0xffffd555ffffaaac,
2433  0xffffc00080007fff, 0xffffd555aaaa5556,
2434  0xffffc00180007ffd, 0xffffd55655550002,
2435  0xffffc00100007ffe, 0xffffd555ffffaaac,
2436  0xffffc00080007fff, 0xffffd555aaaa5556,
2437  0xe6666666b3333333, 0xeeeeeeeeddddddde,
2438  0xffffc00100007ffe, 0xffffd555ffffaaac,
2439  0xffffc00080007fff, 0xffffd555aaaa5556,
2440  0xe6666666b3333333, 0xeeeeeeeeddddddde,
2441  0xd5555555d5555555, 0xe38e38e371c71c72,
2442  0xffffc00080007fff, 0xffffd555aaaa5556,
2443  0xe6666666b3333333, 0xeeeeeeeeddddddde,
2444  0xd5555555d5555555, 0xe38e38e371c71c72,
2445  0xc0000001fffffffd, 0xd555555600000002,
2446  0xe6666666b3333333, 0xeeeeeeeeddddddde,
2447  0xd5555555d5555555, 0xe38e38e371c71c72,
2448  0xc0000001fffffffd, 0xd555555600000002,
2449  0xc00000017ffffffe, 0xd5555555aaaaaaac,
2450  0xd5555555d5555555, 0xe38e38e371c71c72,
2451  0xc0000001fffffffd, 0xd555555600000002,
2452  0xc00000017ffffffe, 0xd5555555aaaaaaac,
2453  0xc0000000ffffffff, 0xd555555555555556,
2454  0xc0000001fffffffd, 0xd555555600000002,
2455  0xc00000017ffffffe, 0xd5555555aaaaaaac,
2456  0xc0000000ffffffff, 0xd555555555555556,
2457  0x3fffffff80000000, 0x2aaaaaab00000000,
2458  0xc00000017ffffffe, 0xd5555555aaaaaaac,
2459  0xc0000000ffffffff, 0xd555555555555556,
2460  0x3fffffff80000000, 0x2aaaaaab00000000,
2461  0x3fffffff00000001, 0x2aaaaaaaaaaaaaaa,
2462  0xc0000000ffffffff, 0xd555555555555556,
2463  0x3fffffff80000000, 0x2aaaaaab00000000,
2464  0x3fffffff00000001, 0x2aaaaaaaaaaaaaaa,
2465  0x2aaaaaaaaaaaaaaa, 0x1c71c71ce38e38e4,
2466  0x3fffffff80000000, 0x2aaaaaab00000000,
2467  0x3fffffff00000001, 0x2aaaaaaaaaaaaaaa,
2468  0x2aaaaaaaaaaaaaaa, 0x1c71c71ce38e38e4,
2469  0x19999999cccccccc, 0x1111111177777778,
2470  0x3fffffff00000001, 0x2aaaaaaaaaaaaaaa,
2471  0x2aaaaaaaaaaaaaaa, 0x1c71c71ce38e38e4,
2472  0x19999999cccccccc, 0x1111111177777778,
2473  0x00003fffffff8000, 0x00002aaaaaab0000,
2474  0x2aaaaaaaaaaaaaaa, 0x1c71c71ce38e38e4,
2475  0x19999999cccccccc, 0x1111111177777778,
2476  0x00003fffffff8000, 0x00002aaaaaab0000,
2477  0x00003fff7fff8001, 0x00002aaa5555aaaa,
2478  0x19999999cccccccc, 0x1111111177777778,
2479  0x00003fffffff8000, 0x00002aaaaaab0000,
2480  0x00003fff7fff8001, 0x00002aaa5555aaaa,
2481  0x00003ffeffff8002, 0x00002aaa00005554,
2482  0x00003fffffff8000, 0x00002aaaaaab0000,
2483  0x00003fff7fff8001, 0x00002aaa5555aaaa,
2484  0x00003ffeffff8002, 0x00002aaa00005554,
2485  0x00003ffe7fff8003, 0x00002aa9aaaafffe,
2486  0x00003fff7fff8001, 0x00002aaa5555aaaa,
2487  0x00003ffeffff8002, 0x00002aaa00005554,
2488  0x00003ffe7fff8003, 0x00002aa9aaaafffe,
2489  0x0000003fffffff80, 0x0000002aaaaaab00,
2490  0x00003ffeffff8002, 0x00002aaa00005554,
2491  0x00003ffe7fff8003, 0x00002aa9aaaafffe,
2492  0x0000003fffffff80, 0x0000002aaaaaab00,
2493  0x0000003f7fffff81, 0x0000002a555555aa,
2494  0x00003ffe7fff8003, 0x00002aa9aaaafffe,
2495  0x0000003fffffff80, 0x0000002aaaaaab00,
2496  0x0000003f7fffff81, 0x0000002a555555aa,
2497  0x0000003effffff82, 0x0000002a00000054,
2498  0x0000003fffffff80, 0x0000002aaaaaab00,
2499  0x0000003f7fffff81, 0x0000002a555555aa,
2500  0x0000003effffff82, 0x0000002a00000054,
2501  0x0000003e7fffff83, 0x00000029aaaaaafe,
2502  0x0000003f7fffff81, 0x0000002a555555aa,
2503  0x0000003effffff82, 0x0000002a00000054,
2504  0x0000003e7fffff83, 0x00000029aaaaaafe,
2505  0x0000000fffffffe0, 0x0000000aaaaaaac0,
2506  0x0000003effffff82, 0x0000002a00000054,
2507  0x0000003e7fffff83, 0x00000029aaaaaafe,
2508  0x0000000fffffffe0, 0x0000000aaaaaaac0,
2509  0x000000017ffffffd, 0x0000000100000002,
2510  0x0000003e7fffff83, 0x00000029aaaaaafe,
2511  0x0000000fffffffe0, 0x0000000aaaaaaac0,
2512  0x000000017ffffffd, 0x0000000100000002,
2513  0x00000000fffffffe, 0x00000000aaaaaaac,
2514  0x0000000fffffffe0, 0x0000000aaaaaaac0,
2515  0x000000017ffffffd, 0x0000000100000002,
2516  0x00000000fffffffe, 0x00000000aaaaaaac,
2517  0x000000007fffffff, 0x0000000055555556,
2518  0x0000000100000002, 0x000000009999999c,
2519  0x00000000aaaaaaac, 0x0000000066666668,
2520  0x0000000055555556, 0x0000000033333334,
2521  0x0000000000000000, 0x0000000000000000,
2522  0x00000000aaaaaaac, 0x0000000066666668,
2523  0x0000000055555556, 0x0000000033333334,
2524  0x0000000000000000, 0x0000000000000000,
2525  0xffffffffaaaaaaaa, 0xffffffffcccccccc,
2526  0x0000000055555556, 0x0000000033333334,
2527  0x0000000000000000, 0x0000000000000000,
2528  0xffffffffaaaaaaaa, 0xffffffffcccccccc,
2529  0xffffffff55555554, 0xffffffff99999998,
2530  0x0000000000000000, 0x0000000000000000,
2531  0xffffffffaaaaaaaa, 0xffffffffcccccccc,
2532  0xffffffff55555554, 0xffffffff99999998,
2533  0xfffffff555555540, 0xfffffff999999980,
2534  0xffffffffaaaaaaaa, 0xffffffffcccccccc,
2535  0xffffffff55555554, 0xffffffff99999998,
2536  0xfffffff555555540, 0xfffffff999999980,
2537  0xffffffd655555502, 0xffffffe6ffffff9c,
2538  0xffffffff55555554, 0xffffffff99999998,
2539  0xfffffff555555540, 0xfffffff999999980,
2540  0xffffffd655555502, 0xffffffe6ffffff9c,
2541  0xffffffd5ffffffac, 0xffffffe6cccccc68,
2542  0xfffffff555555540, 0xfffffff999999980,
2543  0xffffffd655555502, 0xffffffe6ffffff9c,
2544  0xffffffd5ffffffac, 0xffffffe6cccccc68,
2545  0xffffffd5aaaaaa56, 0xffffffe699999934,
2546  0xffffffd655555502, 0xffffffe6ffffff9c,
2547  0xffffffd5ffffffac, 0xffffffe6cccccc68,
2548  0xffffffd5aaaaaa56, 0xffffffe699999934,
2549  0xffffd55655550002, 0xffffe666ffff999c,
2550  0xffffffd5ffffffac, 0xffffffe6cccccc68,
2551  0xffffffd5aaaaaa56, 0xffffffe699999934,
2552  0xffffd55655550002, 0xffffe666ffff999c,
2553  0xffffd555ffffaaac, 0xffffe666cccc6668,
2554  0xffffffd5aaaaaa56, 0xffffffe699999934,
2555  0xffffd55655550002, 0xffffe666ffff999c,
2556  0xffffd555ffffaaac, 0xffffe666cccc6668,
2557  0xffffd555aaaa5556, 0xffffe66699993334,
2558  0xffffd55655550002, 0xffffe666ffff999c,
2559  0xffffd555ffffaaac, 0xffffe666cccc6668,
2560  0xffffd555aaaa5556, 0xffffe66699993334,
2561  0xeeeeeeeeddddddde, 0xf5c28f5c0a3d70a4,
2562  0xffffd555ffffaaac, 0xffffe666cccc6668,
2563  0xffffd555aaaa5556, 0xffffe66699993334,
2564  0xeeeeeeeeddddddde, 0xf5c28f5c0a3d70a4,
2565  0xe38e38e371c71c72, 0xeeeeeeeebbbbbbbc,
2566  0xffffd555aaaa5556, 0xffffe66699993334,
2567  0xeeeeeeeeddddddde, 0xf5c28f5c0a3d70a4,
2568  0xe38e38e371c71c72, 0xeeeeeeeebbbbbbbc,
2569  0xd555555600000002, 0xe66666669999999c,
2570  0xeeeeeeeeddddddde, 0xf5c28f5c0a3d70a4,
2571  0xe38e38e371c71c72, 0xeeeeeeeebbbbbbbc,
2572  0xd555555600000002, 0xe66666669999999c,
2573  0xd5555555aaaaaaac, 0xe666666666666668,
2574  0xe38e38e371c71c72, 0xeeeeeeeebbbbbbbc,
2575  0xd555555600000002, 0xe66666669999999c,
2576  0xd5555555aaaaaaac, 0xe666666666666668,
2577  0xd555555555555556, 0xe666666633333334,
2578  0xd555555600000002, 0xe66666669999999c,
2579  0xd5555555aaaaaaac, 0xe666666666666668,
2580  0xd555555555555556, 0xe666666633333334,
2581  0x2aaaaaab00000000, 0x1999999a00000000,
2582  0xd5555555aaaaaaac, 0xe666666666666668,
2583  0xd555555555555556, 0xe666666633333334,
2584  0x2aaaaaab00000000, 0x1999999a00000000,
2585  0x2aaaaaaaaaaaaaaa, 0x19999999cccccccc,
2586  0xd555555555555556, 0xe666666633333334,
2587  0x2aaaaaab00000000, 0x1999999a00000000,
2588  0x2aaaaaaaaaaaaaaa, 0x19999999cccccccc,
2589  0x1c71c71ce38e38e4, 0x1111111177777778,
2590  0x2aaaaaab00000000, 0x1999999a00000000,
2591  0x2aaaaaaaaaaaaaaa, 0x19999999cccccccc,
2592  0x1c71c71ce38e38e4, 0x1111111177777778,
2593  0x1111111177777778, 0x0a3d70a428f5c290,
2594  0x2aaaaaaaaaaaaaaa, 0x19999999cccccccc,
2595  0x1c71c71ce38e38e4, 0x1111111177777778,
2596  0x1111111177777778, 0x0a3d70a428f5c290,
2597  0x00002aaaaaab0000, 0x00001999999a0000,
2598  0x1c71c71ce38e38e4, 0x1111111177777778,
2599  0x1111111177777778, 0x0a3d70a428f5c290,
2600  0x00002aaaaaab0000, 0x00001999999a0000,
2601  0x00002aaa5555aaaa, 0x000019996666cccc,
2602  0x1111111177777778, 0x0a3d70a428f5c290,
2603  0x00002aaaaaab0000, 0x00001999999a0000,
2604  0x00002aaa5555aaaa, 0x000019996666cccc,
2605  0x00002aaa00005554, 0x0000199933339998,
2606  0x00002aaaaaab0000, 0x00001999999a0000,
2607  0x00002aaa5555aaaa, 0x000019996666cccc,
2608  0x00002aaa00005554, 0x0000199933339998,
2609  0x00002aa9aaaafffe, 0x0000199900006664,
2610  0x00002aaa5555aaaa, 0x000019996666cccc,
2611  0x00002aaa00005554, 0x0000199933339998,
2612  0x00002aa9aaaafffe, 0x0000199900006664,
2613  0x0000002aaaaaab00, 0x0000001999999a00,
2614  0x00002aaa00005554, 0x0000199933339998,
2615  0x00002aa9aaaafffe, 0x0000199900006664,
2616  0x0000002aaaaaab00, 0x0000001999999a00,
2617  0x0000002a555555aa, 0x00000019666666cc,
2618  0x00002aa9aaaafffe, 0x0000199900006664,
2619  0x0000002aaaaaab00, 0x0000001999999a00,
2620  0x0000002a555555aa, 0x00000019666666cc,
2621  0x0000002a00000054, 0x0000001933333398,
2622  0x0000002aaaaaab00, 0x0000001999999a00,
2623  0x0000002a555555aa, 0x00000019666666cc,
2624  0x0000002a00000054, 0x0000001933333398,
2625  0x00000029aaaaaafe, 0x0000001900000064,
2626  0x0000002a555555aa, 0x00000019666666cc,
2627  0x0000002a00000054, 0x0000001933333398,
2628  0x00000029aaaaaafe, 0x0000001900000064,
2629  0x0000000aaaaaaac0, 0x0000000666666680,
2630  0x0000002a00000054, 0x0000001933333398,
2631  0x00000029aaaaaafe, 0x0000001900000064,
2632  0x0000000aaaaaaac0, 0x0000000666666680,
2633  0x0000000100000002, 0x000000009999999c,
2634  0x00000029aaaaaafe, 0x0000001900000064,
2635  0x0000000aaaaaaac0, 0x0000000666666680,
2636  0x0000000100000002, 0x000000009999999c,
2637  0x00000000aaaaaaac, 0x0000000066666668,
2638  0x0000000aaaaaaac0, 0x0000000666666680,
2639  0x0000000100000002, 0x000000009999999c,
2640  0x00000000aaaaaaac, 0x0000000066666668,
2641  0x0000000055555556, 0x0000000033333334,
2642  0x000000009999999c, 0x0000000000018000,
2643  0x0000000066666668, 0x0000000000010000,
2644  0x0000000033333334, 0x0000000000008000,
2645  0x0000000000000000, 0x0000000000000000,
2646  0x0000000066666668, 0x0000000000010000,
2647  0x0000000033333334, 0x0000000000008000,
2648  0x0000000000000000, 0x0000000000000000,
2649  0xffffffffcccccccc, 0xffffffffffff8000,
2650  0x0000000033333334, 0x0000000000008000,
2651  0x0000000000000000, 0x0000000000000000,
2652  0xffffffffcccccccc, 0xffffffffffff8000,
2653  0xffffffff99999998, 0xffffffffffff0000,
2654  0x0000000000000000, 0x0000000000000000,
2655  0xffffffffcccccccc, 0xffffffffffff8000,
2656  0xffffffff99999998, 0xffffffffffff0000,
2657  0xfffffff999999980, 0xfffffffffff00000,
2658  0xffffffffcccccccc, 0xffffffffffff8000,
2659  0xffffffff99999998, 0xffffffffffff0000,
2660  0xfffffff999999980, 0xfffffffffff00000,
2661  0xffffffe6ffffff9c, 0xffffffffffc18000,
2662  0xffffffff99999998, 0xffffffffffff0000,
2663  0xfffffff999999980, 0xfffffffffff00000,
2664  0xffffffe6ffffff9c, 0xffffffffffc18000,
2665  0xffffffe6cccccc68, 0xffffffffffc10000,
2666  0xfffffff999999980, 0xfffffffffff00000,
2667  0xffffffe6ffffff9c, 0xffffffffffc18000,
2668  0xffffffe6cccccc68, 0xffffffffffc10000,
2669  0xffffffe699999934, 0xffffffffffc08000,
2670  0xffffffe6ffffff9c, 0xffffffffffc18000,
2671  0xffffffe6cccccc68, 0xffffffffffc10000,
2672  0xffffffe699999934, 0xffffffffffc08000,
2673  0xffffe666ffff999c, 0xffffffffc0018000,
2674  0xffffffe6cccccc68, 0xffffffffffc10000,
2675  0xffffffe699999934, 0xffffffffffc08000,
2676  0xffffe666ffff999c, 0xffffffffc0018000,
2677  0xffffe666cccc6668, 0xffffffffc0010000,
2678  0xffffffe699999934, 0xffffffffffc08000,
2679  0xffffe666ffff999c, 0xffffffffc0018000,
2680  0xffffe666cccc6668, 0xffffffffc0010000,
2681  0xffffe66699993334, 0xffffffffc0008000,
2682  0xffffe666ffff999c, 0xffffffffc0018000,
2683  0xffffe666cccc6668, 0xffffffffc0010000,
2684  0xffffe66699993334, 0xffffffffc0008000,
2685  0xf5c28f5c0a3d70a4, 0xffffe66666668000,
2686  0xffffe666cccc6668, 0xffffffffc0010000,
2687  0xffffe66699993334, 0xffffffffc0008000,
2688  0xf5c28f5c0a3d70a4, 0xffffe66666668000,
2689  0xeeeeeeeebbbbbbbc, 0xffffd55555558000,
2690  0xffffe66699993334, 0xffffffffc0008000,
2691  0xf5c28f5c0a3d70a4, 0xffffe66666668000,
2692  0xeeeeeeeebbbbbbbc, 0xffffd55555558000,
2693  0xe66666669999999c, 0xffffc00000018000,
2694  0xf5c28f5c0a3d70a4, 0xffffe66666668000,
2695  0xeeeeeeeebbbbbbbc, 0xffffd55555558000,
2696  0xe66666669999999c, 0xffffc00000018000,
2697  0xe666666666666668, 0xffffc00000010000,
2698  0xeeeeeeeebbbbbbbc, 0xffffd55555558000,
2699  0xe66666669999999c, 0xffffc00000018000,
2700  0xe666666666666668, 0xffffc00000010000,
2701  0xe666666633333334, 0xffffc00000008000,
2702  0xe66666669999999c, 0xffffc00000018000,
2703  0xe666666666666668, 0xffffc00000010000,
2704  0xe666666633333334, 0xffffc00000008000,
2705  0x1999999a00000000, 0x0000400000000000,
2706  0xe666666666666668, 0xffffc00000010000,
2707  0xe666666633333334, 0xffffc00000008000,
2708  0x1999999a00000000, 0x0000400000000000,
2709  0x19999999cccccccc, 0x00003fffffff8000,
2710  0xe666666633333334, 0xffffc00000008000,
2711  0x1999999a00000000, 0x0000400000000000,
2712  0x19999999cccccccc, 0x00003fffffff8000,
2713  0x1111111177777778, 0x00002aaaaaab0000,
2714  0x1999999a00000000, 0x0000400000000000,
2715  0x19999999cccccccc, 0x00003fffffff8000,
2716  0x1111111177777778, 0x00002aaaaaab0000,
2717  0x0a3d70a428f5c290, 0x00001999999a0000,
2718  0x19999999cccccccc, 0x00003fffffff8000,
2719  0x1111111177777778, 0x00002aaaaaab0000,
2720  0x0a3d70a428f5c290, 0x00001999999a0000,
2721  0x00001999999a0000, 0x0000000040000000,
2722  0x1111111177777778, 0x00002aaaaaab0000,
2723  0x0a3d70a428f5c290, 0x00001999999a0000,
2724  0x00001999999a0000, 0x0000000040000000,
2725  0x000019996666cccc, 0x000000003fff8000,
2726  0x0a3d70a428f5c290, 0x00001999999a0000,
2727  0x00001999999a0000, 0x0000000040000000,
2728  0x000019996666cccc, 0x000000003fff8000,
2729  0x0000199933339998, 0x000000003fff0000,
2730  0x00001999999a0000, 0x0000000040000000,
2731  0x000019996666cccc, 0x000000003fff8000,
2732  0x0000199933339998, 0x000000003fff0000,
2733  0x0000199900006664, 0x000000003ffe8000,
2734  0x000019996666cccc, 0x000000003fff8000,
2735  0x0000199933339998, 0x000000003fff0000,
2736  0x0000199900006664, 0x000000003ffe8000,
2737  0x0000001999999a00, 0x0000000000400000,
2738  0x0000199933339998, 0x000000003fff0000,
2739  0x0000199900006664, 0x000000003ffe8000,
2740  0x0000001999999a00, 0x0000000000400000,
2741  0x00000019666666cc, 0x00000000003f8000,
2742  0x0000199900006664, 0x000000003ffe8000,
2743  0x0000001999999a00, 0x0000000000400000,
2744  0x00000019666666cc, 0x00000000003f8000,
2745  0x0000001933333398, 0x00000000003f0000,
2746  0x0000001999999a00, 0x0000000000400000,
2747  0x00000019666666cc, 0x00000000003f8000,
2748  0x0000001933333398, 0x00000000003f0000,
2749  0x0000001900000064, 0x00000000003e8000,
2750  0x00000019666666cc, 0x00000000003f8000,
2751  0x0000001933333398, 0x00000000003f0000,
2752  0x0000001900000064, 0x00000000003e8000,
2753  0x0000000666666680, 0x0000000000100000,
2754  0x0000001933333398, 0x00000000003f0000,
2755  0x0000001900000064, 0x00000000003e8000,
2756  0x0000000666666680, 0x0000000000100000,
2757  0x000000009999999c, 0x0000000000018000,
2758  0x0000001900000064, 0x00000000003e8000,
2759  0x0000000666666680, 0x0000000000100000,
2760  0x000000009999999c, 0x0000000000018000,
2761  0x0000000066666668, 0x0000000000010000,
2762  0x0000000666666680, 0x0000000000100000,
2763  0x000000009999999c, 0x0000000000018000,
2764  0x0000000066666668, 0x0000000000010000,
2765  0x0000000033333334, 0x0000000000008000,
2766  0x0000000000018000, 0x0000000000017ffd,
2767  0x0000000000010000, 0x000000000000fffe,
2768  0x0000000000008000, 0x0000000000007fff,
2769  0x0000000000000000, 0x0000000000000000,
2770  0x0000000000010000, 0x000000000000fffe,
2771  0x0000000000008000, 0x0000000000007fff,
2772  0x0000000000000000, 0x0000000000000000,
2773  0xffffffffffff8000, 0xffffffffffff8001,
2774  0x0000000000008000, 0x0000000000007fff,
2775  0x0000000000000000, 0x0000000000000000,
2776  0xffffffffffff8000, 0xffffffffffff8001,
2777  0xffffffffffff0000, 0xffffffffffff0002,
2778  0x0000000000000000, 0x0000000000000000,
2779  0xffffffffffff8000, 0xffffffffffff8001,
2780  0xffffffffffff0000, 0xffffffffffff0002,
2781  0xfffffffffff00000, 0xfffffffffff00020,
2782  0xffffffffffff8000, 0xffffffffffff8001,
2783  0xffffffffffff0000, 0xffffffffffff0002,
2784  0xfffffffffff00000, 0xfffffffffff00020,
2785  0xffffffffffc18000, 0xffffffffffc1807d,
2786  0xffffffffffff0000, 0xffffffffffff0002,
2787  0xfffffffffff00000, 0xfffffffffff00020,
2788  0xffffffffffc18000, 0xffffffffffc1807d,
2789  0xffffffffffc10000, 0xffffffffffc1007e,
2790  0xfffffffffff00000, 0xfffffffffff00020,
2791  0xffffffffffc18000, 0xffffffffffc1807d,
2792  0xffffffffffc10000, 0xffffffffffc1007e,
2793  0xffffffffffc08000, 0xffffffffffc0807f,
2794  0xffffffffffc18000, 0xffffffffffc1807d,
2795  0xffffffffffc10000, 0xffffffffffc1007e,
2796  0xffffffffffc08000, 0xffffffffffc0807f,
2797  0xffffffffc0018000, 0xffffffffc001fffd,
2798  0xffffffffffc10000, 0xffffffffffc1007e,
2799  0xffffffffffc08000, 0xffffffffffc0807f,
2800  0xffffffffc0018000, 0xffffffffc001fffd,
2801  0xffffffffc0010000, 0xffffffffc0017ffe,
2802  0xffffffffffc08000, 0xffffffffffc0807f,
2803  0xffffffffc0018000, 0xffffffffc001fffd,
2804  0xffffffffc0010000, 0xffffffffc0017ffe,
2805  0xffffffffc0008000, 0xffffffffc000ffff,
2806  0xffffffffc0018000, 0xffffffffc001fffd,
2807  0xffffffffc0010000, 0xffffffffc0017ffe,
2808  0xffffffffc0008000, 0xffffffffc000ffff,
2809  0xffffe66666668000, 0xffffe6669999b333,
2810  0xffffffffc0010000, 0xffffffffc0017ffe,
2811  0xffffffffc0008000, 0xffffffffc000ffff,
2812  0xffffe66666668000, 0xffffe6669999b333,
2813  0xffffd55555558000, 0xffffd555aaaad555,
2814  0xffffffffc0008000, 0xffffffffc000ffff,
2815  0xffffe66666668000, 0xffffe6669999b333,
2816  0xffffd55555558000, 0xffffd555aaaad555,
2817  0xffffc00000018000, 0xffffc00080017ffd,
2818  0xffffe66666668000, 0xffffe6669999b333,
2819  0xffffd55555558000, 0xffffd555aaaad555,
2820  0xffffc00000018000, 0xffffc00080017ffd,
2821  0xffffc00000010000, 0xffffc0008000fffe,
2822  0xffffd55555558000, 0xffffd555aaaad555,
2823  0xffffc00000018000, 0xffffc00080017ffd,
2824  0xffffc00000010000, 0xffffc0008000fffe,
2825  0xffffc00000008000, 0xffffc00080007fff,
2826  0xffffc00000018000, 0xffffc00080017ffd,
2827  0xffffc00000010000, 0xffffc0008000fffe,
2828  0xffffc00000008000, 0xffffc00080007fff,
2829  0x0000400000000000, 0x00003fff80000000,
2830  0xffffc00000010000, 0xffffc0008000fffe,
2831  0xffffc00000008000, 0xffffc00080007fff,
2832  0x0000400000000000, 0x00003fff80000000,
2833  0x00003fffffff8000, 0x00003fff7fff8001,
2834  0xffffc00000008000, 0xffffc00080007fff,
2835  0x0000400000000000, 0x00003fff80000000,
2836  0x00003fffffff8000, 0x00003fff7fff8001,
2837  0x00002aaaaaab0000, 0x00002aaa5555aaaa,
2838  0x0000400000000000, 0x00003fff80000000,
2839  0x00003fffffff8000, 0x00003fff7fff8001,
2840  0x00002aaaaaab0000, 0x00002aaa5555aaaa,
2841  0x00001999999a0000, 0x000019996666cccc,
2842  0x00003fffffff8000, 0x00003fff7fff8001,
2843  0x00002aaaaaab0000, 0x00002aaa5555aaaa,
2844  0x00001999999a0000, 0x000019996666cccc,
2845  0x0000000040000000, 0x000000003fff8000,
2846  0x00002aaaaaab0000, 0x00002aaa5555aaaa,
2847  0x00001999999a0000, 0x000019996666cccc,
2848  0x0000000040000000, 0x000000003fff8000,
2849  0x000000003fff8000, 0x000000003fff0001,
2850  0x00001999999a0000, 0x000019996666cccc,
2851  0x0000000040000000, 0x000000003fff8000,
2852  0x000000003fff8000, 0x000000003fff0001,
2853  0x000000003fff0000, 0x000000003ffe8002,
2854  0x0000000040000000, 0x000000003fff8000,
2855  0x000000003fff8000, 0x000000003fff0001,
2856  0x000000003fff0000, 0x000000003ffe8002,
2857  0x000000003ffe8000, 0x000000003ffe0003,
2858  0x000000003fff8000, 0x000000003fff0001,
2859  0x000000003fff0000, 0x000000003ffe8002,
2860  0x000000003ffe8000, 0x000000003ffe0003,
2861  0x0000000000400000, 0x00000000003fff80,
2862  0x000000003fff0000, 0x000000003ffe8002,
2863  0x000000003ffe8000, 0x000000003ffe0003,
2864  0x0000000000400000, 0x00000000003fff80,
2865  0x00000000003f8000, 0x00000000003f7f81,
2866  0x000000003ffe8000, 0x000000003ffe0003,
2867  0x0000000000400000, 0x00000000003fff80,
2868  0x00000000003f8000, 0x00000000003f7f81,
2869  0x00000000003f0000, 0x00000000003eff82,
2870  0x0000000000400000, 0x00000000003fff80,
2871  0x00000000003f8000, 0x00000000003f7f81,
2872  0x00000000003f0000, 0x00000000003eff82,
2873  0x00000000003e8000, 0x00000000003e7f83,
2874  0x00000000003f8000, 0x00000000003f7f81,
2875  0x00000000003f0000, 0x00000000003eff82,
2876  0x00000000003e8000, 0x00000000003e7f83,
2877  0x0000000000100000, 0x00000000000fffe0,
2878  0x00000000003f0000, 0x00000000003eff82,
2879  0x00000000003e8000, 0x00000000003e7f83,
2880  0x0000000000100000, 0x00000000000fffe0,
2881  0x0000000000018000, 0x0000000000017ffd,
2882  0x00000000003e8000, 0x00000000003e7f83,
2883  0x0000000000100000, 0x00000000000fffe0,
2884  0x0000000000018000, 0x0000000000017ffd,
2885  0x0000000000010000, 0x000000000000fffe,
2886  0x0000000000100000, 0x00000000000fffe0,
2887  0x0000000000018000, 0x0000000000017ffd,
2888  0x0000000000010000, 0x000000000000fffe,
2889  0x0000000000008000, 0x0000000000007fff,
2890  0x0000000000017ffd, 0x0000000000017ffa,
2891  0x000000000000fffe, 0x000000000000fffc,
2892  0x0000000000007fff, 0x0000000000007ffe,
2893  0x0000000000000000, 0x0000000000000000,
2894  0x000000000000fffe, 0x000000000000fffc,
2895  0x0000000000007fff, 0x0000000000007ffe,
2896  0x0000000000000000, 0x0000000000000000,
2897  0xffffffffffff8001, 0xffffffffffff8002,
2898  0x0000000000007fff, 0x0000000000007ffe,
2899  0x0000000000000000, 0x0000000000000000,
2900  0xffffffffffff8001, 0xffffffffffff8002,
2901  0xffffffffffff0002, 0xffffffffffff0004,
2902  0x0000000000000000, 0x0000000000000000,
2903  0xffffffffffff8001, 0xffffffffffff8002,
2904  0xffffffffffff0002, 0xffffffffffff0004,
2905  0xfffffffffff00020, 0xfffffffffff00040,
2906  0xffffffffffff8001, 0xffffffffffff8002,
2907  0xffffffffffff0002, 0xffffffffffff0004,
2908  0xfffffffffff00020, 0xfffffffffff00040,
2909  0xffffffffffc1807d, 0xffffffffffc180fa,
2910  0xffffffffffff0002, 0xffffffffffff0004,
2911  0xfffffffffff00020, 0xfffffffffff00040,
2912  0xffffffffffc1807d, 0xffffffffffc180fa,
2913  0xffffffffffc1007e, 0xffffffffffc100fc,
2914  0xfffffffffff00020, 0xfffffffffff00040,
2915  0xffffffffffc1807d, 0xffffffffffc180fa,
2916  0xffffffffffc1007e, 0xffffffffffc100fc,
2917  0xffffffffffc0807f, 0xffffffffffc080fe,
2918  0xffffffffffc1807d, 0xffffffffffc180fa,
2919  0xffffffffffc1007e, 0xffffffffffc100fc,
2920  0xffffffffffc0807f, 0xffffffffffc080fe,
2921  0xffffffffc001fffd, 0xffffffffc0027ffa,
2922  0xffffffffffc1007e, 0xffffffffffc100fc,
2923  0xffffffffffc0807f, 0xffffffffffc080fe,
2924  0xffffffffc001fffd, 0xffffffffc0027ffa,
2925  0xffffffffc0017ffe, 0xffffffffc001fffc,
2926  0xffffffffffc0807f, 0xffffffffffc080fe,
2927  0xffffffffc001fffd, 0xffffffffc0027ffa,
2928  0xffffffffc0017ffe, 0xffffffffc001fffc,
2929  0xffffffffc000ffff, 0xffffffffc0017ffe,
2930  0xffffffffc001fffd, 0xffffffffc0027ffa,
2931  0xffffffffc0017ffe, 0xffffffffc001fffc,
2932  0xffffffffc000ffff, 0xffffffffc0017ffe,
2933  0xffffe6669999b333, 0xffffe666cccce666,
2934  0xffffffffc0017ffe, 0xffffffffc001fffc,
2935  0xffffffffc000ffff, 0xffffffffc0017ffe,
2936  0xffffe6669999b333, 0xffffe666cccce666,
2937  0xffffd555aaaad555, 0xffffd55600002aaa,
2938  0xffffffffc000ffff, 0xffffffffc0017ffe,
2939  0xffffe6669999b333, 0xffffe666cccce666,
2940  0xffffd555aaaad555, 0xffffd55600002aaa,
2941  0xffffc00080017ffd, 0xffffc00100017ffa,
2942  0xffffe6669999b333, 0xffffe666cccce666,
2943  0xffffd555aaaad555, 0xffffd55600002aaa,
2944  0xffffc00080017ffd, 0xffffc00100017ffa,
2945  0xffffc0008000fffe, 0xffffc0010000fffc,
2946  0xffffd555aaaad555, 0xffffd55600002aaa,
2947  0xffffc00080017ffd, 0xffffc00100017ffa,
2948  0xffffc0008000fffe, 0xffffc0010000fffc,
2949  0xffffc00080007fff, 0xffffc00100007ffe,
2950  0xffffc00080017ffd, 0xffffc00100017ffa,
2951  0xffffc0008000fffe, 0xffffc0010000fffc,
2952  0xffffc00080007fff, 0xffffc00100007ffe,
2953  0x00003fff80000000, 0x00003fff00000000,
2954  0xffffc0008000fffe, 0xffffc0010000fffc,
2955  0xffffc00080007fff, 0xffffc00100007ffe,
2956  0x00003fff80000000, 0x00003fff00000000,
2957  0x00003fff7fff8001, 0x00003ffeffff8002,
2958  0xffffc00080007fff, 0xffffc00100007ffe,
2959  0x00003fff80000000, 0x00003fff00000000,
2960  0x00003fff7fff8001, 0x00003ffeffff8002,
2961  0x00002aaa5555aaaa, 0x00002aaa00005554,
2962  0x00003fff80000000, 0x00003fff00000000,
2963  0x00003fff7fff8001, 0x00003ffeffff8002,
2964  0x00002aaa5555aaaa, 0x00002aaa00005554,
2965  0x000019996666cccc, 0x0000199933339998,
2966  0x00003fff7fff8001, 0x00003ffeffff8002,
2967  0x00002aaa5555aaaa, 0x00002aaa00005554,
2968  0x000019996666cccc, 0x0000199933339998,
2969  0x000000003fff8000, 0x000000003fff0000,
2970  0x00002aaa5555aaaa, 0x00002aaa00005554,
2971  0x000019996666cccc, 0x0000199933339998,
2972  0x000000003fff8000, 0x000000003fff0000,
2973  0x000000003fff0001, 0x000000003ffe8002,
2974  0x000019996666cccc, 0x0000199933339998,
2975  0x000000003fff8000, 0x000000003fff0000,
2976  0x000000003fff0001, 0x000000003ffe8002,
2977  0x000000003ffe8002, 0x000000003ffe0004,
2978  0x000000003fff8000, 0x000000003fff0000,
2979  0x000000003fff0001, 0x000000003ffe8002,
2980  0x000000003ffe8002, 0x000000003ffe0004,
2981  0x000000003ffe0003, 0x000000003ffd8006,
2982  0x000000003fff0001, 0x000000003ffe8002,
2983  0x000000003ffe8002, 0x000000003ffe0004,
2984  0x000000003ffe0003, 0x000000003ffd8006,
2985  0x00000000003fff80, 0x00000000003fff00,
2986  0x000000003ffe8002, 0x000000003ffe0004,
2987  0x000000003ffe0003, 0x000000003ffd8006,
2988  0x00000000003fff80, 0x00000000003fff00,
2989  0x00000000003f7f81, 0x00000000003f7f02,
2990  0x000000003ffe0003, 0x000000003ffd8006,
2991  0x00000000003fff80, 0x00000000003fff00,
2992  0x00000000003f7f81, 0x00000000003f7f02,
2993  0x00000000003eff82, 0x00000000003eff04,
2994  0x00000000003fff80, 0x00000000003fff00,
2995  0x00000000003f7f81, 0x00000000003f7f02,
2996  0x00000000003eff82, 0x00000000003eff04,
2997  0x00000000003e7f83, 0x00000000003e7f06,
2998  0x00000000003f7f81, 0x00000000003f7f02,
2999  0x00000000003eff82, 0x00000000003eff04,
3000  0x00000000003e7f83, 0x00000000003e7f06,
3001  0x00000000000fffe0, 0x00000000000fffc0,
3002  0x00000000003eff82, 0x00000000003eff04,
3003  0x00000000003e7f83, 0x00000000003e7f06,
3004  0x00000000000fffe0, 0x00000000000fffc0,
3005  0x0000000000017ffd, 0x0000000000017ffa,
3006  0x00000000003e7f83, 0x00000000003e7f06,
3007  0x00000000000fffe0, 0x00000000000fffc0,
3008  0x0000000000017ffd, 0x0000000000017ffa,
3009  0x000000000000fffe, 0x000000000000fffc,
3010  0x00000000000fffe0, 0x00000000000fffc0,
3011  0x0000000000017ffd, 0x0000000000017ffa,
3012  0x000000000000fffe, 0x000000000000fffc,
3013  0x0000000000007fff, 0x0000000000007ffe,
3014  0x0000000000017ffa, 0x0000000000017ff7,
3015  0x000000000000fffc, 0x000000000000fffa,
3016  0x0000000000007ffe, 0x0000000000007ffd,
3017  0x0000000000000000, 0x0000000000000000,
3018  0x000000000000fffc, 0x000000000000fffa,
3019  0x0000000000007ffe, 0x0000000000007ffd,
3020  0x0000000000000000, 0x0000000000000000,
3021  0xffffffffffff8002, 0xffffffffffff8003,
3022  0x0000000000007ffe, 0x0000000000007ffd,
3023  0x0000000000000000, 0x0000000000000000,
3024  0xffffffffffff8002, 0xffffffffffff8003,
3025  0xffffffffffff0004, 0xffffffffffff0006,
3026  0x0000000000000000, 0x0000000000000000,
3027  0xffffffffffff8002, 0xffffffffffff8003,
3028  0xffffffffffff0004, 0xffffffffffff0006,
3029  0xfffffffffff00040, 0xfffffffffff00060,
3030  0xffffffffffff8002, 0xffffffffffff8003,
3031  0xffffffffffff0004, 0xffffffffffff0006,
3032  0xfffffffffff00040, 0xfffffffffff00060,
3033  0xffffffffffc180fa, 0xffffffffffc18177,
3034  0xffffffffffff0004, 0xffffffffffff0006,
3035  0xfffffffffff00040, 0xfffffffffff00060,
3036  0xffffffffffc180fa, 0xffffffffffc18177,
3037  0xffffffffffc100fc, 0xffffffffffc1017a,
3038  0xfffffffffff00040, 0xfffffffffff00060,
3039  0xffffffffffc180fa, 0xffffffffffc18177,
3040  0xffffffffffc100fc, 0xffffffffffc1017a,
3041  0xffffffffffc080fe, 0xffffffffffc0817d,
3042  0xffffffffffc180fa, 0xffffffffffc18177,
3043  0xffffffffffc100fc, 0xffffffffffc1017a,
3044  0xffffffffffc080fe, 0xffffffffffc0817d,
3045  0xffffffffc0027ffa, 0xffffffffc002fff7,
3046  0xffffffffffc100fc, 0xffffffffffc1017a,
3047  0xffffffffffc080fe, 0xffffffffffc0817d,
3048  0xffffffffc0027ffa, 0xffffffffc002fff7,
3049  0xffffffffc001fffc, 0xffffffffc0027ffa,
3050  0xffffffffffc080fe, 0xffffffffffc0817d,
3051  0xffffffffc0027ffa, 0xffffffffc002fff7,
3052  0xffffffffc001fffc, 0xffffffffc0027ffa,
3053  0xffffffffc0017ffe, 0xffffffffc001fffd,
3054  0xffffffffc0027ffa, 0xffffffffc002fff7,
3055  0xffffffffc001fffc, 0xffffffffc0027ffa,
3056  0xffffffffc0017ffe, 0xffffffffc001fffd,
3057  0xffffe666cccce666, 0xffffe66700001999,
3058  0xffffffffc001fffc, 0xffffffffc0027ffa,
3059  0xffffffffc0017ffe, 0xffffffffc001fffd,
3060  0xffffe666cccce666, 0xffffe66700001999,
3061  0xffffd55600002aaa, 0xffffd55655557fff,
3062  0xffffffffc0017ffe, 0xffffffffc001fffd,
3063  0xffffe666cccce666, 0xffffe66700001999,
3064  0xffffd55600002aaa, 0xffffd55655557fff,
3065  0xffffc00100017ffa, 0xffffc00180017ff7,
3066  0xffffe666cccce666, 0xffffe66700001999,
3067  0xffffd55600002aaa, 0xffffd55655557fff,
3068  0xffffc00100017ffa, 0xffffc00180017ff7,
3069  0xffffc0010000fffc, 0xffffc0018000fffa,
3070  0xffffd55600002aaa, 0xffffd55655557fff,
3071  0xffffc00100017ffa, 0xffffc00180017ff7,
3072  0xffffc0010000fffc, 0xffffc0018000fffa,
3073  0xffffc00100007ffe, 0xffffc00180007ffd,
3074  0xffffc00100017ffa, 0xffffc00180017ff7,
3075  0xffffc0010000fffc, 0xffffc0018000fffa,
3076  0xffffc00100007ffe, 0xffffc00180007ffd,
3077  0x00003fff00000000, 0x00003ffe80000000,
3078  0xffffc0010000fffc, 0xffffc0018000fffa,
3079  0xffffc00100007ffe, 0xffffc00180007ffd,
3080  0x00003fff00000000, 0x00003ffe80000000,
3081  0x00003ffeffff8002, 0x00003ffe7fff8003,
3082  0xffffc00100007ffe, 0xffffc00180007ffd,
3083  0x00003fff00000000, 0x00003ffe80000000,
3084  0x00003ffeffff8002, 0x00003ffe7fff8003,
3085  0x00002aaa00005554, 0x00002aa9aaaafffe,
3086  0x00003fff00000000, 0x00003ffe80000000,
3087  0x00003ffeffff8002, 0x00003ffe7fff8003,
3088  0x00002aaa00005554, 0x00002aa9aaaafffe,
3089  0x0000199933339998, 0x0000199900006664,
3090  0x00003ffeffff8002, 0x00003ffe7fff8003,
3091  0x00002aaa00005554, 0x00002aa9aaaafffe,
3092  0x0000199933339998, 0x0000199900006664,
3093  0x000000003fff0000, 0x000000003ffe8000,
3094  0x00002aaa00005554, 0x00002aa9aaaafffe,
3095  0x0000199933339998, 0x0000199900006664,
3096  0x000000003fff0000, 0x000000003ffe8000,
3097  0x000000003ffe8002, 0x000000003ffe0003,
3098  0x0000199933339998, 0x0000199900006664,
3099  0x000000003fff0000, 0x000000003ffe8000,
3100  0x000000003ffe8002, 0x000000003ffe0003,
3101  0x000000003ffe0004, 0x000000003ffd8006,
3102  0x000000003fff0000, 0x000000003ffe8000,
3103  0x000000003ffe8002, 0x000000003ffe0003,
3104  0x000000003ffe0004, 0x000000003ffd8006,
3105  0x000000003ffd8006, 0x000000003ffd0009,
3106  0x000000003ffe8002, 0x000000003ffe0003,
3107  0x000000003ffe0004, 0x000000003ffd8006,
3108  0x000000003ffd8006, 0x000000003ffd0009,
3109  0x00000000003fff00, 0x00000000003ffe80,
3110  0x000000003ffe0004, 0x000000003ffd8006,
3111  0x000000003ffd8006, 0x000000003ffd0009,
3112  0x00000000003fff00, 0x00000000003ffe80,
3113  0x00000000003f7f02, 0x00000000003f7e83,
3114  0x000000003ffd8006, 0x000000003ffd0009,
3115  0x00000000003fff00, 0x00000000003ffe80,
3116  0x00000000003f7f02, 0x00000000003f7e83,
3117  0x00000000003eff04, 0x00000000003efe86,
3118  0x00000000003fff00, 0x00000000003ffe80,
3119  0x00000000003f7f02, 0x00000000003f7e83,
3120  0x00000000003eff04, 0x00000000003efe86,
3121  0x00000000003e7f06, 0x00000000003e7e89,
3122  0x00000000003f7f02, 0x00000000003f7e83,
3123  0x00000000003eff04, 0x00000000003efe86,
3124  0x00000000003e7f06, 0x00000000003e7e89,
3125  0x00000000000fffc0, 0x00000000000fffa0,
3126  0x00000000003eff04, 0x00000000003efe86,
3127  0x00000000003e7f06, 0x00000000003e7e89,
3128  0x00000000000fffc0, 0x00000000000fffa0,
3129  0x0000000000017ffa, 0x0000000000017ff7,
3130  0x00000000003e7f06, 0x00000000003e7e89,
3131  0x00000000000fffc0, 0x00000000000fffa0,
3132  0x0000000000017ffa, 0x0000000000017ff7,
3133  0x000000000000fffc, 0x000000000000fffa,
3134  0x00000000000fffc0, 0x00000000000fffa0,
3135  0x0000000000017ffa, 0x0000000000017ff7,
3136  0x000000000000fffc, 0x000000000000fffa,
3137  0x0000000000007ffe, 0x0000000000007ffd,
3138  0x0000000000017ff7, 0x0000000000000180,
3139  0x000000000000fffa, 0x0000000000000100,
3140  0x0000000000007ffd, 0x0000000000000080,
3141  0x0000000000000000, 0x0000000000000000,
3142  0x000000000000fffa, 0x0000000000000100,
3143  0x0000000000007ffd, 0x0000000000000080,
3144  0x0000000000000000, 0x0000000000000000,
3145  0xffffffffffff8003, 0xffffffffffffff80,
3146  0x0000000000007ffd, 0x0000000000000080,
3147  0x0000000000000000, 0x0000000000000000,
3148  0xffffffffffff8003, 0xffffffffffffff80,
3149  0xffffffffffff0006, 0xffffffffffffff00,
3150  0x0000000000000000, 0x0000000000000000,
3151  0xffffffffffff8003, 0xffffffffffffff80,
3152  0xffffffffffff0006, 0xffffffffffffff00,
3153  0xfffffffffff00060, 0xfffffffffffff000,
3154  0xffffffffffff8003, 0xffffffffffffff80,
3155  0xffffffffffff0006, 0xffffffffffffff00,
3156  0xfffffffffff00060, 0xfffffffffffff000,
3157  0xffffffffffc18177, 0xffffffffffffc180,
3158  0xffffffffffff0006, 0xffffffffffffff00,
3159  0xfffffffffff00060, 0xfffffffffffff000,
3160  0xffffffffffc18177, 0xffffffffffffc180,
3161  0xffffffffffc1017a, 0xffffffffffffc100,
3162  0xfffffffffff00060, 0xfffffffffffff000,
3163  0xffffffffffc18177, 0xffffffffffffc180,
3164  0xffffffffffc1017a, 0xffffffffffffc100,
3165  0xffffffffffc0817d, 0xffffffffffffc080,
3166  0xffffffffffc18177, 0xffffffffffffc180,
3167  0xffffffffffc1017a, 0xffffffffffffc100,
3168  0xffffffffffc0817d, 0xffffffffffffc080,
3169  0xffffffffc002fff7, 0xffffffffffc00180,
3170  0xffffffffffc1017a, 0xffffffffffffc100,
3171  0xffffffffffc0817d, 0xffffffffffffc080,
3172  0xffffffffc002fff7, 0xffffffffffc00180,
3173  0xffffffffc0027ffa, 0xffffffffffc00100,
3174  0xffffffffffc0817d, 0xffffffffffffc080,
3175  0xffffffffc002fff7, 0xffffffffffc00180,
3176  0xffffffffc0027ffa, 0xffffffffffc00100,
3177  0xffffffffc001fffd, 0xffffffffffc00080,
3178  0xffffffffc002fff7, 0xffffffffffc00180,
3179  0xffffffffc0027ffa, 0xffffffffffc00100,
3180  0xffffffffc001fffd, 0xffffffffffc00080,
3181  0xffffe66700001999, 0xffffffe666666680,
3182  0xffffffffc0027ffa, 0xffffffffffc00100,
3183  0xffffffffc001fffd, 0xffffffffffc00080,
3184  0xffffe66700001999, 0xffffffe666666680,
3185  0xffffd55655557fff, 0xffffffd555555580,
3186  0xffffffffc001fffd, 0xffffffffffc00080,
3187  0xffffe66700001999, 0xffffffe666666680,
3188  0xffffd55655557fff, 0xffffffd555555580,
3189  0xffffc00180017ff7, 0xffffffc000000180,
3190  0xffffe66700001999, 0xffffffe666666680,
3191  0xffffd55655557fff, 0xffffffd555555580,
3192  0xffffc00180017ff7, 0xffffffc000000180,
3193  0xffffc0018000fffa, 0xffffffc000000100,
3194  0xffffd55655557fff, 0xffffffd555555580,
3195  0xffffc00180017ff7, 0xffffffc000000180,
3196  0xffffc0018000fffa, 0xffffffc000000100,
3197  0xffffc00180007ffd, 0xffffffc000000080,
3198  0xffffc00180017ff7, 0xffffffc000000180,
3199  0xffffc0018000fffa, 0xffffffc000000100,
3200  0xffffc00180007ffd, 0xffffffc000000080,
3201  0x00003ffe80000000, 0x0000004000000000,
3202  0xffffc0018000fffa, 0xffffffc000000100,
3203  0xffffc00180007ffd, 0xffffffc000000080,
3204  0x00003ffe80000000, 0x0000004000000000,
3205  0x00003ffe7fff8003, 0x0000003fffffff80,
3206  0xffffc00180007ffd, 0xffffffc000000080,
3207  0x00003ffe80000000, 0x0000004000000000,
3208  0x00003ffe7fff8003, 0x0000003fffffff80,
3209  0x00002aa9aaaafffe, 0x0000002aaaaaab00,
3210  0x00003ffe80000000, 0x0000004000000000,
3211  0x00003ffe7fff8003, 0x0000003fffffff80,
3212  0x00002aa9aaaafffe, 0x0000002aaaaaab00,
3213  0x0000199900006664, 0x0000001999999a00,
3214  0x00003ffe7fff8003, 0x0000003fffffff80,
3215  0x00002aa9aaaafffe, 0x0000002aaaaaab00,
3216  0x0000199900006664, 0x0000001999999a00,
3217  0x000000003ffe8000, 0x0000000000400000,
3218  0x00002aa9aaaafffe, 0x0000002aaaaaab00,
3219  0x0000199900006664, 0x0000001999999a00,
3220  0x000000003ffe8000, 0x0000000000400000,
3221  0x000000003ffe0003, 0x00000000003fff80,
3222  0x0000199900006664, 0x0000001999999a00,
3223  0x000000003ffe8000, 0x0000000000400000,
3224  0x000000003ffe0003, 0x00000000003fff80,
3225  0x000000003ffd8006, 0x00000000003fff00,
3226  0x000000003ffe8000, 0x0000000000400000,
3227  0x000000003ffe0003, 0x00000000003fff80,
3228  0x000000003ffd8006, 0x00000000003fff00,
3229  0x000000003ffd0009, 0x00000000003ffe80,
3230  0x000000003ffe0003, 0x00000000003fff80,
3231  0x000000003ffd8006, 0x00000000003fff00,
3232  0x000000003ffd0009, 0x00000000003ffe80,
3233  0x00000000003ffe80, 0x0000000000004000,
3234  0x000000003ffd8006, 0x00000000003fff00,
3235  0x000000003ffd0009, 0x00000000003ffe80,
3236  0x00000000003ffe80, 0x0000000000004000,
3237  0x00000000003f7e83, 0x0000000000003f80,
3238  0x000000003ffd0009, 0x00000000003ffe80,
3239  0x00000000003ffe80, 0x0000000000004000,
3240  0x00000000003f7e83, 0x0000000000003f80,
3241  0x00000000003efe86, 0x0000000000003f00,
3242  0x00000000003ffe80, 0x0000000000004000,
3243  0x00000000003f7e83, 0x0000000000003f80,
3244  0x00000000003efe86, 0x0000000000003f00,
3245  0x00000000003e7e89, 0x0000000000003e80,
3246  0x00000000003f7e83, 0x0000000000003f80,
3247  0x00000000003efe86, 0x0000000000003f00,
3248  0x00000000003e7e89, 0x0000000000003e80,
3249  0x00000000000fffa0, 0x0000000000001000,
3250  0x00000000003efe86, 0x0000000000003f00,
3251  0x00000000003e7e89, 0x0000000000003e80,
3252  0x00000000000fffa0, 0x0000000000001000,
3253  0x0000000000017ff7, 0x0000000000000180,
3254  0x00000000003e7e89, 0x0000000000003e80,
3255  0x00000000000fffa0, 0x0000000000001000,
3256  0x0000000000017ff7, 0x0000000000000180,
3257  0x000000000000fffa, 0x0000000000000100,
3258  0x00000000000fffa0, 0x0000000000001000,
3259  0x0000000000017ff7, 0x0000000000000180,
3260  0x000000000000fffa, 0x0000000000000100,
3261  0x0000000000007ffd, 0x0000000000000080,
3262  0x0000000000000180, 0x000000000000017d,
3263  0x0000000000000100, 0x00000000000000fe,
3264  0x0000000000000080, 0x000000000000007f,
3265  0x0000000000000000, 0x0000000000000000,
3266  0x0000000000000100, 0x00000000000000fe,
3267  0x0000000000000080, 0x000000000000007f,
3268  0x0000000000000000, 0x0000000000000000,
3269  0xffffffffffffff80, 0xffffffffffffff81,
3270  0x0000000000000080, 0x000000000000007f,
3271  0x0000000000000000, 0x0000000000000000,
3272  0xffffffffffffff80, 0xffffffffffffff81,
3273  0xffffffffffffff00, 0xffffffffffffff02,
3274  0x0000000000000000, 0x0000000000000000,
3275  0xffffffffffffff80, 0xffffffffffffff81,
3276  0xffffffffffffff00, 0xffffffffffffff02,
3277  0xfffffffffffff000, 0xfffffffffffff020,
3278  0xffffffffffffff80, 0xffffffffffffff81,
3279  0xffffffffffffff00, 0xffffffffffffff02,
3280  0xfffffffffffff000, 0xfffffffffffff020,
3281  0xffffffffffffc180, 0xffffffffffffc1fd,
3282  0xffffffffffffff00, 0xffffffffffffff02,
3283  0xfffffffffffff000, 0xfffffffffffff020,
3284  0xffffffffffffc180, 0xffffffffffffc1fd,
3285  0xffffffffffffc100, 0xffffffffffffc17e,
3286  0xfffffffffffff000, 0xfffffffffffff020,
3287  0xffffffffffffc180, 0xffffffffffffc1fd,
3288  0xffffffffffffc100, 0xffffffffffffc17e,
3289  0xffffffffffffc080, 0xffffffffffffc0ff,
3290  0xffffffffffffc180, 0xffffffffffffc1fd,
3291  0xffffffffffffc100, 0xffffffffffffc17e,
3292  0xffffffffffffc080, 0xffffffffffffc0ff,
3293  0xffffffffffc00180, 0xffffffffffc0817d,
3294  0xffffffffffffc100, 0xffffffffffffc17e,
3295  0xffffffffffffc080, 0xffffffffffffc0ff,
3296  0xffffffffffc00180, 0xffffffffffc0817d,
3297  0xffffffffffc00100, 0xffffffffffc080fe,
3298  0xffffffffffffc080, 0xffffffffffffc0ff,
3299  0xffffffffffc00180, 0xffffffffffc0817d,
3300  0xffffffffffc00100, 0xffffffffffc080fe,
3301  0xffffffffffc00080, 0xffffffffffc0807f,
3302  0xffffffffffc00180, 0xffffffffffc0817d,
3303  0xffffffffffc00100, 0xffffffffffc080fe,
3304  0xffffffffffc00080, 0xffffffffffc0807f,
3305  0xffffffe666666680, 0xffffffe6999999b3,
3306  0xffffffffffc00100, 0xffffffffffc080fe,
3307  0xffffffffffc00080, 0xffffffffffc0807f,
3308  0xffffffe666666680, 0xffffffe6999999b3,
3309  0xffffffd555555580, 0xffffffd5aaaaaad5,
3310  0xffffffffffc00080, 0xffffffffffc0807f,
3311  0xffffffe666666680, 0xffffffe6999999b3,
3312  0xffffffd555555580, 0xffffffd5aaaaaad5,
3313  0xffffffc000000180, 0xffffffc08000017d,
3314  0xffffffe666666680, 0xffffffe6999999b3,
3315  0xffffffd555555580, 0xffffffd5aaaaaad5,
3316  0xffffffc000000180, 0xffffffc08000017d,
3317  0xffffffc000000100, 0xffffffc0800000fe,
3318  0xffffffd555555580, 0xffffffd5aaaaaad5,
3319  0xffffffc000000180, 0xffffffc08000017d,
3320  0xffffffc000000100, 0xffffffc0800000fe,
3321  0xffffffc000000080, 0xffffffc08000007f,
3322  0xffffffc000000180, 0xffffffc08000017d,
3323  0xffffffc000000100, 0xffffffc0800000fe,
3324  0xffffffc000000080, 0xffffffc08000007f,
3325  0x0000004000000000, 0x0000003f80000000,
3326  0xffffffc000000100, 0xffffffc0800000fe,
3327  0xffffffc000000080, 0xffffffc08000007f,
3328  0x0000004000000000, 0x0000003f80000000,
3329  0x0000003fffffff80, 0x0000003f7fffff81,
3330  0xffffffc000000080, 0xffffffc08000007f,
3331  0x0000004000000000, 0x0000003f80000000,
3332  0x0000003fffffff80, 0x0000003f7fffff81,
3333  0x0000002aaaaaab00, 0x0000002a555555aa,
3334  0x0000004000000000, 0x0000003f80000000,
3335  0x0000003fffffff80, 0x0000003f7fffff81,
3336  0x0000002aaaaaab00, 0x0000002a555555aa,
3337  0x0000001999999a00, 0x00000019666666cc,
3338  0x0000003fffffff80, 0x0000003f7fffff81,
3339  0x0000002aaaaaab00, 0x0000002a555555aa,
3340  0x0000001999999a00, 0x00000019666666cc,
3341  0x0000000000400000, 0x00000000003f8000,
3342  0x0000002aaaaaab00, 0x0000002a555555aa,
3343  0x0000001999999a00, 0x00000019666666cc,
3344  0x0000000000400000, 0x00000000003f8000,
3345  0x00000000003fff80, 0x00000000003f7f81,
3346  0x0000001999999a00, 0x00000019666666cc,
3347  0x0000000000400000, 0x00000000003f8000,
3348  0x00000000003fff80, 0x00000000003f7f81,
3349  0x00000000003fff00, 0x00000000003f7f02,
3350  0x0000000000400000, 0x00000000003f8000,
3351  0x00000000003fff80, 0x00000000003f7f81,
3352  0x00000000003fff00, 0x00000000003f7f02,
3353  0x00000000003ffe80, 0x00000000003f7e83,
3354  0x00000000003fff80, 0x00000000003f7f81,
3355  0x00000000003fff00, 0x00000000003f7f02,
3356  0x00000000003ffe80, 0x00000000003f7e83,
3357  0x0000000000004000, 0x0000000000003f80,
3358  0x00000000003fff00, 0x00000000003f7f02,
3359  0x00000000003ffe80, 0x00000000003f7e83,
3360  0x0000000000004000, 0x0000000000003f80,
3361  0x0000000000003f80, 0x0000000000003f01,
3362  0x00000000003ffe80, 0x00000000003f7e83,
3363  0x0000000000004000, 0x0000000000003f80,
3364  0x0000000000003f80, 0x0000000000003f01,
3365  0x0000000000003f00, 0x0000000000003e82,
3366  0x0000000000004000, 0x0000000000003f80,
3367  0x0000000000003f80, 0x0000000000003f01,
3368  0x0000000000003f00, 0x0000000000003e82,
3369  0x0000000000003e80, 0x0000000000003e03,
3370  0x0000000000003f80, 0x0000000000003f01,
3371  0x0000000000003f00, 0x0000000000003e82,
3372  0x0000000000003e80, 0x0000000000003e03,
3373  0x0000000000001000, 0x0000000000000fe0,
3374  0x0000000000003f00, 0x0000000000003e82,
3375  0x0000000000003e80, 0x0000000000003e03,
3376  0x0000000000001000, 0x0000000000000fe0,
3377  0x0000000000000180, 0x000000000000017d,
3378  0x0000000000003e80, 0x0000000000003e03,
3379  0x0000000000001000, 0x0000000000000fe0,
3380  0x0000000000000180, 0x000000000000017d,
3381  0x0000000000000100, 0x00000000000000fe,
3382  0x0000000000001000, 0x0000000000000fe0,
3383  0x0000000000000180, 0x000000000000017d,
3384  0x0000000000000100, 0x00000000000000fe,
3385  0x0000000000000080, 0x000000000000007f,
3386  0x000000000000017d, 0x000000000000017a,
3387  0x00000000000000fe, 0x00000000000000fc,
3388  0x000000000000007f, 0x000000000000007e,
3389  0x0000000000000000, 0x0000000000000000,
3390  0x00000000000000fe, 0x00000000000000fc,
3391  0x000000000000007f, 0x000000000000007e,
3392  0x0000000000000000, 0x0000000000000000,
3393  0xffffffffffffff81, 0xffffffffffffff82,
3394  0x000000000000007f, 0x000000000000007e,
3395  0x0000000000000000, 0x0000000000000000,
3396  0xffffffffffffff81, 0xffffffffffffff82,
3397  0xffffffffffffff02, 0xffffffffffffff04,
3398  0x0000000000000000, 0x0000000000000000,
3399  0xffffffffffffff81, 0xffffffffffffff82,
3400  0xffffffffffffff02, 0xffffffffffffff04,
3401  0xfffffffffffff020, 0xfffffffffffff040,
3402  0xffffffffffffff81, 0xffffffffffffff82,
3403  0xffffffffffffff02, 0xffffffffffffff04,
3404  0xfffffffffffff020, 0xfffffffffffff040,
3405  0xffffffffffffc1fd, 0xffffffffffffc27a,
3406  0xffffffffffffff02, 0xffffffffffffff04,
3407  0xfffffffffffff020, 0xfffffffffffff040,
3408  0xffffffffffffc1fd, 0xffffffffffffc27a,
3409  0xffffffffffffc17e, 0xffffffffffffc1fc,
3410  0xfffffffffffff020, 0xfffffffffffff040,
3411  0xffffffffffffc1fd, 0xffffffffffffc27a,
3412  0xffffffffffffc17e, 0xffffffffffffc1fc,
3413  0xffffffffffffc0ff, 0xffffffffffffc17e,
3414  0xffffffffffffc1fd, 0xffffffffffffc27a,
3415  0xffffffffffffc17e, 0xffffffffffffc1fc,
3416  0xffffffffffffc0ff, 0xffffffffffffc17e,
3417  0xffffffffffc0817d, 0xffffffffffc1017a,
3418  0xffffffffffffc17e, 0xffffffffffffc1fc,
3419  0xffffffffffffc0ff, 0xffffffffffffc17e,
3420  0xffffffffffc0817d, 0xffffffffffc1017a,
3421  0xffffffffffc080fe, 0xffffffffffc100fc,
3422  0xffffffffffffc0ff, 0xffffffffffffc17e,
3423  0xffffffffffc0817d, 0xffffffffffc1017a,
3424  0xffffffffffc080fe, 0xffffffffffc100fc,
3425  0xffffffffffc0807f, 0xffffffffffc1007e,
3426  0xffffffffffc0817d, 0xffffffffffc1017a,
3427  0xffffffffffc080fe, 0xffffffffffc100fc,
3428  0xffffffffffc0807f, 0xffffffffffc1007e,
3429  0xffffffe6999999b3, 0xffffffe6cccccce6,
3430  0xffffffffffc080fe, 0xffffffffffc100fc,
3431  0xffffffffffc0807f, 0xffffffffffc1007e,
3432  0xffffffe6999999b3, 0xffffffe6cccccce6,
3433  0xffffffd5aaaaaad5, 0xffffffd60000002a,
3434  0xffffffffffc0807f, 0xffffffffffc1007e,
3435  0xffffffe6999999b3, 0xffffffe6cccccce6,
3436  0xffffffd5aaaaaad5, 0xffffffd60000002a,
3437  0xffffffc08000017d, 0xffffffc10000017a,
3438  0xffffffe6999999b3, 0xffffffe6cccccce6,
3439  0xffffffd5aaaaaad5, 0xffffffd60000002a,
3440  0xffffffc08000017d, 0xffffffc10000017a,
3441  0xffffffc0800000fe, 0xffffffc1000000fc,
3442  0xffffffd5aaaaaad5, 0xffffffd60000002a,
3443  0xffffffc08000017d, 0xffffffc10000017a,
3444  0xffffffc0800000fe, 0xffffffc1000000fc,
3445  0xffffffc08000007f, 0xffffffc10000007e,
3446  0xffffffc08000017d, 0xffffffc10000017a,
3447  0xffffffc0800000fe, 0xffffffc1000000fc,
3448  0xffffffc08000007f, 0xffffffc10000007e,
3449  0x0000003f80000000, 0x0000003f00000000,
3450  0xffffffc0800000fe, 0xffffffc1000000fc,
3451  0xffffffc08000007f, 0xffffffc10000007e,
3452  0x0000003f80000000, 0x0000003f00000000,
3453  0x0000003f7fffff81, 0x0000003effffff82,
3454  0xffffffc08000007f, 0xffffffc10000007e,
3455  0x0000003f80000000, 0x0000003f00000000,
3456  0x0000003f7fffff81, 0x0000003effffff82,
3457  0x0000002a555555aa, 0x0000002a00000054,
3458  0x0000003f80000000, 0x0000003f00000000,
3459  0x0000003f7fffff81, 0x0000003effffff82,
3460  0x0000002a555555aa, 0x0000002a00000054,
3461  0x00000019666666cc, 0x0000001933333398,
3462  0x0000003f7fffff81, 0x0000003effffff82,
3463  0x0000002a555555aa, 0x0000002a00000054,
3464  0x00000019666666cc, 0x0000001933333398,
3465  0x00000000003f8000, 0x00000000003f0000,
3466  0x0000002a555555aa, 0x0000002a00000054,
3467  0x00000019666666cc, 0x0000001933333398,
3468  0x00000000003f8000, 0x00000000003f0000,
3469  0x00000000003f7f81, 0x00000000003eff82,
3470  0x00000019666666cc, 0x0000001933333398,
3471  0x00000000003f8000, 0x00000000003f0000,
3472  0x00000000003f7f81, 0x00000000003eff82,
3473  0x00000000003f7f02, 0x00000000003eff04,
3474  0x00000000003f8000, 0x00000000003f0000,
3475  0x00000000003f7f81, 0x00000000003eff82,
3476  0x00000000003f7f02, 0x00000000003eff04,
3477  0x00000000003f7e83, 0x00000000003efe86,
3478  0x00000000003f7f81, 0x00000000003eff82,
3479  0x00000000003f7f02, 0x00000000003eff04,
3480  0x00000000003f7e83, 0x00000000003efe86,
3481  0x0000000000003f80, 0x0000000000003f00,
3482  0x00000000003f7f02, 0x00000000003eff04,
3483  0x00000000003f7e83, 0x00000000003efe86,
3484  0x0000000000003f80, 0x0000000000003f00,
3485  0x0000000000003f01, 0x0000000000003e82,
3486  0x00000000003f7e83, 0x00000000003efe86,
3487  0x0000000000003f80, 0x0000000000003f00,
3488  0x0000000000003f01, 0x0000000000003e82,
3489  0x0000000000003e82, 0x0000000000003e04,
3490  0x0000000000003f80, 0x0000000000003f00,
3491  0x0000000000003f01, 0x0000000000003e82,
3492  0x0000000000003e82, 0x0000000000003e04,
3493  0x0000000000003e03, 0x0000000000003d86,
3494  0x0000000000003f01, 0x0000000000003e82,
3495  0x0000000000003e82, 0x0000000000003e04,
3496  0x0000000000003e03, 0x0000000000003d86,
3497  0x0000000000000fe0, 0x0000000000000fc0,
3498  0x0000000000003e82, 0x0000000000003e04,
3499  0x0000000000003e03, 0x0000000000003d86,
3500  0x0000000000000fe0, 0x0000000000000fc0,
3501  0x000000000000017d, 0x000000000000017a,
3502  0x0000000000003e03, 0x0000000000003d86,
3503  0x0000000000000fe0, 0x0000000000000fc0,
3504  0x000000000000017d, 0x000000000000017a,
3505  0x00000000000000fe, 0x00000000000000fc,
3506  0x0000000000000fe0, 0x0000000000000fc0,
3507  0x000000000000017d, 0x000000000000017a,
3508  0x00000000000000fe, 0x00000000000000fc,
3509  0x000000000000007f, 0x000000000000007e,
3510  0x000000000000017a, 0x0000000000000177,
3511  0x00000000000000fc, 0x00000000000000fa,
3512  0x000000000000007e, 0x000000000000007d,
3513  0x0000000000000000, 0x0000000000000000,
3514  0x00000000000000fc, 0x00000000000000fa,
3515  0x000000000000007e, 0x000000000000007d,
3516  0x0000000000000000, 0x0000000000000000,
3517  0xffffffffffffff82, 0xffffffffffffff83,
3518  0x000000000000007e, 0x000000000000007d,
3519  0x0000000000000000, 0x0000000000000000,
3520  0xffffffffffffff82, 0xffffffffffffff83,
3521  0xffffffffffffff04, 0xffffffffffffff06,
3522  0x0000000000000000, 0x0000000000000000,
3523  0xffffffffffffff82, 0xffffffffffffff83,
3524  0xffffffffffffff04, 0xffffffffffffff06,
3525  0xfffffffffffff040, 0xfffffffffffff060,
3526  0xffffffffffffff82, 0xffffffffffffff83,
3527  0xffffffffffffff04, 0xffffffffffffff06,
3528  0xfffffffffffff040, 0xfffffffffffff060,
3529  0xffffffffffffc27a, 0xffffffffffffc2f7,
3530  0xffffffffffffff04, 0xffffffffffffff06,
3531  0xfffffffffffff040, 0xfffffffffffff060,
3532  0xffffffffffffc27a, 0xffffffffffffc2f7,
3533  0xffffffffffffc1fc, 0xffffffffffffc27a,
3534  0xfffffffffffff040, 0xfffffffffffff060,
3535  0xffffffffffffc27a, 0xffffffffffffc2f7,
3536  0xffffffffffffc1fc, 0xffffffffffffc27a,
3537  0xffffffffffffc17e, 0xffffffffffffc1fd,
3538  0xffffffffffffc27a, 0xffffffffffffc2f7,
3539  0xffffffffffffc1fc, 0xffffffffffffc27a,
3540  0xffffffffffffc17e, 0xffffffffffffc1fd,
3541  0xffffffffffc1017a, 0xffffffffffc18177,
3542  0xffffffffffffc1fc, 0xffffffffffffc27a,
3543  0xffffffffffffc17e, 0xffffffffffffc1fd,
3544  0xffffffffffc1017a, 0xffffffffffc18177,
3545  0xffffffffffc100fc, 0xffffffffffc180fa,
3546  0xffffffffffffc17e, 0xffffffffffffc1fd,
3547  0xffffffffffc1017a, 0xffffffffffc18177,
3548  0xffffffffffc100fc, 0xffffffffffc180fa,
3549  0xffffffffffc1007e, 0xffffffffffc1807d,
3550  0xffffffffffc1017a, 0xffffffffffc18177,
3551  0xffffffffffc100fc, 0xffffffffffc180fa,
3552  0xffffffffffc1007e, 0xffffffffffc1807d,
3553  0xffffffe6cccccce6, 0xffffffe700000019,
3554  0xffffffffffc100fc, 0xffffffffffc180fa,
3555  0xffffffffffc1007e, 0xffffffffffc1807d,
3556  0xffffffe6cccccce6, 0xffffffe700000019,
3557  0xffffffd60000002a, 0xffffffd65555557f,
3558  0xffffffffffc1007e, 0xffffffffffc1807d,
3559  0xffffffe6cccccce6, 0xffffffe700000019,
3560  0xffffffd60000002a, 0xffffffd65555557f,
3561  0xffffffc10000017a, 0xffffffc180000177,
3562  0xffffffe6cccccce6, 0xffffffe700000019,
3563  0xffffffd60000002a, 0xffffffd65555557f,
3564  0xffffffc10000017a, 0xffffffc180000177,
3565  0xffffffc1000000fc, 0xffffffc1800000fa,
3566  0xffffffd60000002a, 0xffffffd65555557f,
3567  0xffffffc10000017a, 0xffffffc180000177,
3568  0xffffffc1000000fc, 0xffffffc1800000fa,
3569  0xffffffc10000007e, 0xffffffc18000007d,
3570  0xffffffc10000017a, 0xffffffc180000177,
3571  0xffffffc1000000fc, 0xffffffc1800000fa,
3572  0xffffffc10000007e, 0xffffffc18000007d,
3573  0x0000003f00000000, 0x0000003e80000000,
3574  0xffffffc1000000fc, 0xffffffc1800000fa,
3575  0xffffffc10000007e, 0xffffffc18000007d,
3576  0x0000003f00000000, 0x0000003e80000000,
3577  0x0000003effffff82, 0x0000003e7fffff83,
3578  0xffffffc10000007e, 0xffffffc18000007d,
3579  0x0000003f00000000, 0x0000003e80000000,
3580  0x0000003effffff82, 0x0000003e7fffff83,
3581  0x0000002a00000054, 0x00000029aaaaaafe,
3582  0x0000003f00000000, 0x0000003e80000000,
3583  0x0000003effffff82, 0x0000003e7fffff83,
3584  0x0000002a00000054, 0x00000029aaaaaafe,
3585  0x0000001933333398, 0x0000001900000064,
3586  0x0000003effffff82, 0x0000003e7fffff83,
3587  0x0000002a00000054, 0x00000029aaaaaafe,
3588  0x0000001933333398, 0x0000001900000064,
3589  0x00000000003f0000, 0x00000000003e8000,
3590  0x0000002a00000054, 0x00000029aaaaaafe,
3591  0x0000001933333398, 0x0000001900000064,
3592  0x00000000003f0000, 0x00000000003e8000,
3593  0x00000000003eff82, 0x00000000003e7f83,
3594  0x0000001933333398, 0x0000001900000064,
3595  0x00000000003f0000, 0x00000000003e8000,
3596  0x00000000003eff82, 0x00000000003e7f83,
3597  0x00000000003eff04, 0x00000000003e7f06,
3598  0x00000000003f0000, 0x00000000003e8000,
3599  0x00000000003eff82, 0x00000000003e7f83,
3600  0x00000000003eff04, 0x00000000003e7f06,
3601  0x00000000003efe86, 0x00000000003e7e89,
3602  0x00000000003eff82, 0x00000000003e7f83,
3603  0x00000000003eff04, 0x00000000003e7f06,
3604  0x00000000003efe86, 0x00000000003e7e89,
3605  0x0000000000003f00, 0x0000000000003e80,
3606  0x00000000003eff04, 0x00000000003e7f06,
3607  0x00000000003efe86, 0x00000000003e7e89,
3608  0x0000000000003f00, 0x0000000000003e80,
3609  0x0000000000003e82, 0x0000000000003e03,
3610  0x00000000003efe86, 0x00000000003e7e89,
3611  0x0000000000003f00, 0x0000000000003e80,
3612  0x0000000000003e82, 0x0000000000003e03,
3613  0x0000000000003e04, 0x0000000000003d86,
3614  0x0000000000003f00, 0x0000000000003e80,
3615  0x0000000000003e82, 0x0000000000003e03,
3616  0x0000000000003e04, 0x0000000000003d86,
3617  0x0000000000003d86, 0x0000000000003d09,
3618  0x0000000000003e82, 0x0000000000003e03,
3619  0x0000000000003e04, 0x0000000000003d86,
3620  0x0000000000003d86, 0x0000000000003d09,
3621  0x0000000000000fc0, 0x0000000000000fa0,
3622  0x0000000000003e04, 0x0000000000003d86,
3623  0x0000000000003d86, 0x0000000000003d09,
3624  0x0000000000000fc0, 0x0000000000000fa0,
3625  0x000000000000017a, 0x0000000000000177,
3626  0x0000000000003d86, 0x0000000000003d09,
3627  0x0000000000000fc0, 0x0000000000000fa0,
3628  0x000000000000017a, 0x0000000000000177,
3629  0x00000000000000fc, 0x00000000000000fa,
3630  0x0000000000000fc0, 0x0000000000000fa0,
3631  0x000000000000017a, 0x0000000000000177,
3632  0x00000000000000fc, 0x00000000000000fa,
3633  0x000000000000007e, 0x000000000000007d,
3634  0x0000000000000177, 0x0000000000000060,
3635  0x00000000000000fa, 0x0000000000000040,
3636  0x000000000000007d, 0x0000000000000020,
3637  0x0000000000000000, 0x0000000000000000,
3638  0x00000000000000fa, 0x0000000000000040,
3639  0x000000000000007d, 0x0000000000000020,
3640  0x0000000000000000, 0x0000000000000000,
3641  0xffffffffffffff83, 0xffffffffffffffe0,
3642  0x000000000000007d, 0x0000000000000020,
3643  0x0000000000000000, 0x0000000000000000,
3644  0xffffffffffffff83, 0xffffffffffffffe0,
3645  0xffffffffffffff06, 0xffffffffffffffc0,
3646  0x0000000000000000, 0x0000000000000000,
3647  0xffffffffffffff83, 0xffffffffffffffe0,
3648  0xffffffffffffff06, 0xffffffffffffffc0,
3649  0xfffffffffffff060, 0xfffffffffffffc00,
3650  0xffffffffffffff83, 0xffffffffffffffe0,
3651  0xffffffffffffff06, 0xffffffffffffffc0,
3652  0xfffffffffffff060, 0xfffffffffffffc00,
3653  0xffffffffffffc2f7, 0xfffffffffffff060,
3654  0xffffffffffffff06, 0xffffffffffffffc0,
3655  0xfffffffffffff060, 0xfffffffffffffc00,
3656  0xffffffffffffc2f7, 0xfffffffffffff060,
3657  0xffffffffffffc27a, 0xfffffffffffff040,
3658  0xfffffffffffff060, 0xfffffffffffffc00,
3659  0xffffffffffffc2f7, 0xfffffffffffff060,
3660  0xffffffffffffc27a, 0xfffffffffffff040,
3661  0xffffffffffffc1fd, 0xfffffffffffff020,
3662  0xffffffffffffc2f7, 0xfffffffffffff060,
3663  0xffffffffffffc27a, 0xfffffffffffff040,
3664  0xffffffffffffc1fd, 0xfffffffffffff020,
3665  0xffffffffffc18177, 0xfffffffffff00060,
3666  0xffffffffffffc27a, 0xfffffffffffff040,
3667  0xffffffffffffc1fd, 0xfffffffffffff020,
3668  0xffffffffffc18177, 0xfffffffffff00060,
3669  0xffffffffffc180fa, 0xfffffffffff00040,
3670  0xffffffffffffc1fd, 0xfffffffffffff020,
3671  0xffffffffffc18177, 0xfffffffffff00060,
3672  0xffffffffffc180fa, 0xfffffffffff00040,
3673  0xffffffffffc1807d, 0xfffffffffff00020,
3674  0xffffffffffc18177, 0xfffffffffff00060,
3675  0xffffffffffc180fa, 0xfffffffffff00040,
3676  0xffffffffffc1807d, 0xfffffffffff00020,
3677  0xffffffe700000019, 0xfffffff9999999a0,
3678  0xffffffffffc180fa, 0xfffffffffff00040,
3679  0xffffffffffc1807d, 0xfffffffffff00020,
3680  0xffffffe700000019, 0xfffffff9999999a0,
3681  0xffffffd65555557f, 0xfffffff555555560,
3682  0xffffffffffc1807d, 0xfffffffffff00020,
3683  0xffffffe700000019, 0xfffffff9999999a0,
3684  0xffffffd65555557f, 0xfffffff555555560,
3685  0xffffffc180000177, 0xfffffff000000060,
3686  0xffffffe700000019, 0xfffffff9999999a0,
3687  0xffffffd65555557f, 0xfffffff555555560,
3688  0xffffffc180000177, 0xfffffff000000060,
3689  0xffffffc1800000fa, 0xfffffff000000040,
3690  0xffffffd65555557f, 0xfffffff555555560,
3691  0xffffffc180000177, 0xfffffff000000060,
3692  0xffffffc1800000fa, 0xfffffff000000040,
3693  0xffffffc18000007d, 0xfffffff000000020,
3694  0xffffffc180000177, 0xfffffff000000060,
3695  0xffffffc1800000fa, 0xfffffff000000040,
3696  0xffffffc18000007d, 0xfffffff000000020,
3697  0x0000003e80000000, 0x0000001000000000,
3698  0xffffffc1800000fa, 0xfffffff000000040,
3699  0xffffffc18000007d, 0xfffffff000000020,
3700  0x0000003e80000000, 0x0000001000000000,
3701  0x0000003e7fffff83, 0x0000000fffffffe0,
3702  0xffffffc18000007d, 0xfffffff000000020,
3703  0x0000003e80000000, 0x0000001000000000,
3704  0x0000003e7fffff83, 0x0000000fffffffe0,
3705  0x00000029aaaaaafe, 0x0000000aaaaaaac0,
3706  0x0000003e80000000, 0x0000001000000000,
3707  0x0000003e7fffff83, 0x0000000fffffffe0,
3708  0x00000029aaaaaafe, 0x0000000aaaaaaac0,
3709  0x0000001900000064, 0x0000000666666680,
3710  0x0000003e7fffff83, 0x0000000fffffffe0,
3711  0x00000029aaaaaafe, 0x0000000aaaaaaac0,
3712  0x0000001900000064, 0x0000000666666680,
3713  0x00000000003e8000, 0x0000000000100000,
3714  0x00000029aaaaaafe, 0x0000000aaaaaaac0,
3715  0x0000001900000064, 0x0000000666666680,
3716  0x00000000003e8000, 0x0000000000100000,
3717  0x00000000003e7f83, 0x00000000000fffe0,
3718  0x0000001900000064, 0x0000000666666680,
3719  0x00000000003e8000, 0x0000000000100000,
3720  0x00000000003e7f83, 0x00000000000fffe0,
3721  0x00000000003e7f06, 0x00000000000fffc0,
3722  0x00000000003e8000, 0x0000000000100000,
3723  0x00000000003e7f83, 0x00000000000fffe0,
3724  0x00000000003e7f06, 0x00000000000fffc0,
3725  0x00000000003e7e89, 0x00000000000fffa0,
3726  0x00000000003e7f83, 0x00000000000fffe0,
3727  0x00000000003e7f06, 0x00000000000fffc0,
3728  0x00000000003e7e89, 0x00000000000fffa0,
3729  0x0000000000003e80, 0x0000000000001000,
3730  0x00000000003e7f06, 0x00000000000fffc0,
3731  0x00000000003e7e89, 0x00000000000fffa0,
3732  0x0000000000003e80, 0x0000000000001000,
3733  0x0000000000003e03, 0x0000000000000fe0,
3734  0x00000000003e7e89, 0x00000000000fffa0,
3735  0x0000000000003e80, 0x0000000000001000,
3736  0x0000000000003e03, 0x0000000000000fe0,
3737  0x0000000000003d86, 0x0000000000000fc0,
3738  0x0000000000003e80, 0x0000000000001000,
3739  0x0000000000003e03, 0x0000000000000fe0,
3740  0x0000000000003d86, 0x0000000000000fc0,
3741  0x0000000000003d09, 0x0000000000000fa0,
3742  0x0000000000003e03, 0x0000000000000fe0,
3743  0x0000000000003d86, 0x0000000000000fc0,
3744  0x0000000000003d09, 0x0000000000000fa0,
3745  0x0000000000000fa0, 0x0000000000000400,
3746  0x0000000000003d86, 0x0000000000000fc0,
3747  0x0000000000003d09, 0x0000000000000fa0,
3748  0x0000000000000fa0, 0x0000000000000400,
3749  0x0000000000000177, 0x0000000000000060,
3750  0x0000000000003d09, 0x0000000000000fa0,
3751  0x0000000000000fa0, 0x0000000000000400,
3752  0x0000000000000177, 0x0000000000000060,
3753  0x00000000000000fa, 0x0000000000000040,
3754  0x0000000000000fa0, 0x0000000000000400,
3755  0x0000000000000177, 0x0000000000000060,
3756  0x00000000000000fa, 0x0000000000000040,
3757  0x000000000000007d, 0x0000000000000020,
3758  0x0000000000000060, 0x0000000000000009,
3759  0x0000000000000040, 0x0000000000000006,
3760  0x0000000000000020, 0x0000000000000003,
3761  0x0000000000000000, 0x0000000000000000,
3762  0x0000000000000040, 0x0000000000000006,
3763  0x0000000000000020, 0x0000000000000003,
3764  0x0000000000000000, 0x0000000000000000,
3765  0xffffffffffffffe0, 0xfffffffffffffffd,
3766  0x0000000000000020, 0x0000000000000003,
3767  0x0000000000000000, 0x0000000000000000,
3768  0xffffffffffffffe0, 0xfffffffffffffffd,
3769  0xffffffffffffffc0, 0xfffffffffffffffa,
3770  0x0000000000000000, 0x0000000000000000,
3771  0xffffffffffffffe0, 0xfffffffffffffffd,
3772  0xffffffffffffffc0, 0xfffffffffffffffa,
3773  0xfffffffffffffc00, 0xffffffffffffffa0,
3774  0xffffffffffffffe0, 0xfffffffffffffffd,
3775  0xffffffffffffffc0, 0xfffffffffffffffa,
3776  0xfffffffffffffc00, 0xffffffffffffffa0,
3777  0xfffffffffffff060, 0xfffffffffffffe89,
3778  0xffffffffffffffc0, 0xfffffffffffffffa,
3779  0xfffffffffffffc00, 0xffffffffffffffa0,
3780  0xfffffffffffff060, 0xfffffffffffffe89,
3781  0xfffffffffffff040, 0xfffffffffffffe86,
3782  0xfffffffffffffc00, 0xffffffffffffffa0,
3783  0xfffffffffffff060, 0xfffffffffffffe89,
3784  0xfffffffffffff040, 0xfffffffffffffe86,
3785  0xfffffffffffff020, 0xfffffffffffffe83,
3786  0xfffffffffffff060, 0xfffffffffffffe89,
3787  0xfffffffffffff040, 0xfffffffffffffe86,
3788  0xfffffffffffff020, 0xfffffffffffffe83,
3789  0xfffffffffff00060, 0xfffffffffffe8009,
3790  0xfffffffffffff040, 0xfffffffffffffe86,
3791  0xfffffffffffff020, 0xfffffffffffffe83,
3792  0xfffffffffff00060, 0xfffffffffffe8009,
3793  0xfffffffffff00040, 0xfffffffffffe8006,
3794  0xfffffffffffff020, 0xfffffffffffffe83,
3795  0xfffffffffff00060, 0xfffffffffffe8009,
3796  0xfffffffffff00040, 0xfffffffffffe8006,
3797  0xfffffffffff00020, 0xfffffffffffe8003,
3798  0xfffffffffff00060, 0xfffffffffffe8009,
3799  0xfffffffffff00040, 0xfffffffffffe8006,
3800  0xfffffffffff00020, 0xfffffffffffe8003,
3801  0xfffffff9999999a0, 0xffffffff66666667,
3802  0xfffffffffff00040, 0xfffffffffffe8006,
3803  0xfffffffffff00020, 0xfffffffffffe8003,
3804  0xfffffff9999999a0, 0xffffffff66666667,
3805  0xfffffff555555560, 0xffffffff00000001,
3806  0xfffffffffff00020, 0xfffffffffffe8003,
3807  0xfffffff9999999a0, 0xffffffff66666667,
3808  0xfffffff555555560, 0xffffffff00000001,
3809  0xfffffff000000060, 0xfffffffe80000009,
3810  0xfffffff9999999a0, 0xffffffff66666667,
3811  0xfffffff555555560, 0xffffffff00000001,
3812  0xfffffff000000060, 0xfffffffe80000009,
3813  0xfffffff000000040, 0xfffffffe80000006,
3814  0xfffffff555555560, 0xffffffff00000001,
3815  0xfffffff000000060, 0xfffffffe80000009,
3816  0xfffffff000000040, 0xfffffffe80000006,
3817  0xfffffff000000020, 0xfffffffe80000003,
3818  0xfffffff000000060, 0xfffffffe80000009,
3819  0xfffffff000000040, 0xfffffffe80000006,
3820  0xfffffff000000020, 0xfffffffe80000003,
3821  0x0000001000000000, 0x0000000180000000,
3822  0xfffffff000000040, 0xfffffffe80000006,
3823  0xfffffff000000020, 0xfffffffe80000003,
3824  0x0000001000000000, 0x0000000180000000,
3825  0x0000000fffffffe0, 0x000000017ffffffd,
3826  0xfffffff000000020, 0xfffffffe80000003,
3827  0x0000001000000000, 0x0000000180000000,
3828  0x0000000fffffffe0, 0x000000017ffffffd,
3829  0x0000000aaaaaaac0, 0x0000000100000002,
3830  0x0000001000000000, 0x0000000180000000,
3831  0x0000000fffffffe0, 0x000000017ffffffd,
3832  0x0000000aaaaaaac0, 0x0000000100000002,
3833  0x0000000666666680, 0x000000009999999c,
3834  0x0000000fffffffe0, 0x000000017ffffffd,
3835  0x0000000aaaaaaac0, 0x0000000100000002,
3836  0x0000000666666680, 0x000000009999999c,
3837  0x0000000000100000, 0x0000000000018000,
3838  0x0000000aaaaaaac0, 0x0000000100000002,
3839  0x0000000666666680, 0x000000009999999c,
3840  0x0000000000100000, 0x0000000000018000,
3841  0x00000000000fffe0, 0x0000000000017ffd,
3842  0x0000000666666680, 0x000000009999999c,
3843  0x0000000000100000, 0x0000000000018000,
3844  0x00000000000fffe0, 0x0000000000017ffd,
3845  0x00000000000fffc0, 0x0000000000017ffa,
3846  0x0000000000100000, 0x0000000000018000,
3847  0x00000000000fffe0, 0x0000000000017ffd,
3848  0x00000000000fffc0, 0x0000000000017ffa,
3849  0x00000000000fffa0, 0x0000000000017ff7,
3850  0x00000000000fffe0, 0x0000000000017ffd,
3851  0x00000000000fffc0, 0x0000000000017ffa,
3852  0x00000000000fffa0, 0x0000000000017ff7,
3853  0x0000000000001000, 0x0000000000000180,
3854  0x00000000000fffc0, 0x0000000000017ffa,
3855  0x00000000000fffa0, 0x0000000000017ff7,
3856  0x0000000000001000, 0x0000000000000180,
3857  0x0000000000000fe0, 0x000000000000017d,
3858  0x00000000000fffa0, 0x0000000000017ff7,
3859  0x0000000000001000, 0x0000000000000180,
3860  0x0000000000000fe0, 0x000000000000017d,
3861  0x0000000000000fc0, 0x000000000000017a,
3862  0x0000000000001000, 0x0000000000000180,
3863  0x0000000000000fe0, 0x000000000000017d,
3864  0x0000000000000fc0, 0x000000000000017a,
3865  0x0000000000000fa0, 0x0000000000000177,
3866  0x0000000000000fe0, 0x000000000000017d,
3867  0x0000000000000fc0, 0x000000000000017a,
3868  0x0000000000000fa0, 0x0000000000000177,
3869  0x0000000000000400, 0x0000000000000060,
3870  0x0000000000000fc0, 0x000000000000017a,
3871  0x0000000000000fa0, 0x0000000000000177,
3872  0x0000000000000400, 0x0000000000000060,
3873  0x0000000000000060, 0x0000000000000009,
3874  0x0000000000000fa0, 0x0000000000000177,
3875  0x0000000000000400, 0x0000000000000060,
3876  0x0000000000000060, 0x0000000000000009,
3877  0x0000000000000040, 0x0000000000000006,
3878  0x0000000000000400, 0x0000000000000060,
3879  0x0000000000000060, 0x0000000000000009,
3880  0x0000000000000040, 0x0000000000000006,
3881  0x0000000000000020, 0x0000000000000003,
3882};
3883const unsigned kExpectedCount_NEON_smull_2D_2S_S = 3844;
3884
3885#endif  // VIXL_SIM_SMULL_2D_2S_S_TRACE_AARCH64_H_
3886