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_SMLAL_2D_2S_S_TRACE_AARCH64_H_
35#define VIXL_SIM_SMLAL_2D_2S_S_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_smlal_2D_2S_S[] = {
38  0x000000003e040000, 0x000000003e820001,
39  0x000000007c860000, 0x000000007d830001,
40  0x0000003f7b0c0000, 0x0000003ffc060001,
41  0x0000003f7b0c0000, 0x0000003ffc060001,
42  0x000000003e820000, 0x000000003f010001,
43  0x0000003f3d080000, 0x0000003fbd840001,
44  0x0000003f3d080000, 0x0000003fbd840001,
45  0x0000003f3d087e00, 0x0000003fbd847f01,
46  0x0000003efe860000, 0x0000003f7e830001,
47  0x0000003efe860000, 0x0000003f7e830001,
48  0x0000003efe867e00, 0x0000003f7e837f01,
49  0x0000003efe877a00, 0x0000003f7e847d01,
50  0x0000000000000000, 0x0000000000000001,
51  0x0000000000007e00, 0x0000000000007f01,
52  0x0000000000017a00, 0x0000000000017d01,
53  0x0000000000113a00, 0x0000000000115d01,
54  0x0000000000007e00, 0x0000000000007f01,
55  0x0000000000017a00, 0x0000000000017d01,
56  0x0000000000113a00, 0x0000000000115d01,
57  0x00000000004ec000, 0x00000000004f6001,
58  0x000000000000fc00, 0x000000000000fe01,
59  0x000000000010bc00, 0x000000000010de01,
60  0x00000000004e4200, 0x00000000004ee101,
61  0x00000000008c4600, 0x00000000008d6301,
62  0x00000000000fc000, 0x00000000000fe001,
63  0x00000000004d4600, 0x00000000004de301,
64  0x00000000008b4a00, 0x00000000008c6501,
65  0x0000000000c9cc00, 0x0000000000cb6601,
66  0x00000000003d8600, 0x00000000003e0301,
67  0x00000000007b8a00, 0x00000000007c8501,
68  0x0000000000ba0c00, 0x0000000000bb8601,
69  0x000000003fb89200, 0x00000000403a0901,
70  0x00000000003e0400, 0x00000000003e8201,
71  0x00000000007c8600, 0x00000000007d8301,
72  0x000000003f7b0c00, 0x000000003ffc0601,
73  0x000000007e7a1000, 0x000000007f7b0801,
74  0x00000000003e8200, 0x00000000003f0101,
75  0x000000003f3d0800, 0x000000003fbd8401,
76  0x000000007e3c0c00, 0x000000007f3c8601,
77  0x00000000bd3b8e00, 0x00000000bebc0701,
78  0x000000003efe8600, 0x000000003f7e8301,
79  0x000000007dfd8a00, 0x000000007efd8501,
80  0x00000000bcfd0c00, 0x00000000be7d0601,
81  0x00001933f0302600, 0x0000196724e35301,
82  0x000000003eff0400, 0x000000003f7f0201,
83  0x000000007dfe8600, 0x000000007efe8301,
84  0x00001933b131a000, 0x00001966e564d001,
85  0x00004333b1317600, 0x000043bc3ab9fb01,
86  0x000000003eff8200, 0x000000003f7f8101,
87  0x0000193372329c00, 0x00001966a5e5ce01,
88  0x0000433372327200, 0x000043bbfb3af901,
89  0x000082337230f800, 0x0000833bfb397c01,
90  0x0000193333331a00, 0x0000196666664d01,
91  0x000043333332f000, 0x000043bbbbbb7801,
92  0x0000823333317600, 0x0000833bbbb9fb01,
93  0x0000c13333307a00, 0x0000c2bbbbb8fd01,
94  0x000029ffffffd600, 0x00002a5555552b01,
95  0x000068fffffe5c00, 0x000069d55553ae01,
96  0x0000a7fffffd6000, 0x0000a9555552b001,
97  0x0000e6fffffce200, 0x0000e8d555523101,
98  0x00003efffffe8600, 0x00003f7ffffe8301,
99  0x00007dfffffd8a00, 0x00007efffffd8501,
100  0x0000bcfffffd0c00, 0x0000be7ffffd0601,
101  0x00007dfffffd0c00, 0x00007efffffd0601,
102  0x00003effffff0400, 0x00003f7fffff0201,
103  0x00007dfffffe8600, 0x00007efffffe8301,
104  0x00003efffffe8600, 0x00003f7ffffe8301,
105  0xffffffffffff0400, 0xffffffffffff0201,
106  0x00003effffff8200, 0x00003f7fffff8101,
107  0xffffffffffff8200, 0xffffffffffff8101,
108  0xffffc10000000000, 0xffffc08000000001,
109  0xffff96ffffffac00, 0xffff962aaaaa5601,
110  0xffffc10000000000, 0xffffc08000000001,
111  0xffff820000007e00, 0xffff810000007f01,
112  0xffff580000002a00, 0xffff56aaaaaad501,
113  0xffff3ecccccc9200, 0xffff3d4444440901,
114  0xffffc10000007e00, 0xffffc08000007f01,
115  0xffff970000002a00, 0xffff962aaaaad501,
116  0xffff7dcccccc9200, 0xffff7cc444440901,
117  0xffff7dcc8dcc9200, 0xffff7cc404c40901,
118  0xffffd5ffffffac00, 0xffffd5aaaaaa5601,
119  0xffffbccccccc1400, 0xffffbc4444438a01,
120  0xffffbccc8dcc1400, 0xffffbc4404c38a01,
121  0xffffbccc4ecc9200, 0xffffbc43c5440901,
122  0xffffe6cccccc6800, 0xffffe69999993401,
123  0xffffe6cc8dcc6800, 0xffffe6995a193401,
124  0xffffe6cc4ecce600, 0xffffe6991a99b301,
125  0xffffe6cc0fcde200, 0xffffe698db1ab101,
126  0xffffffffc1000000, 0xffffffffc0800001,
127  0xffffffff82007e00, 0xffffffff81007f01,
128  0xffffffff43017a00, 0xffffffff41817d01,
129  0xffffffff0402f400, 0xffffffff0202fa01,
130  0xffffffffc1007e00, 0xffffffffc0807f01,
131  0xffffffff82017a00, 0xffffffff81017d01,
132  0xffffffff4302f400, 0xffffffff4182fa01,
133  0xffffffff42c3f400, 0xffffffff41437a01,
134  0xffffffffc100fc00, 0xffffffffc080fe01,
135  0xffffffff82027600, 0xffffffff81027b01,
136  0xffffffff81c37600, 0xffffffff80c2fb01,
137  0xffffffff8184f400, 0xffffffff8083fa01,
138  0xffffffffc1017a00, 0xffffffffc0817d01,
139  0xffffffffc0c27a00, 0xffffffffc041fd01,
140  0xffffffffc083f800, 0xffffffffc002fc01,
141  0xffffffffc045f400, 0xffffffffbfc47a01,
142  0xffffffffffc10000, 0xffffffffffc08001,
143  0xffffffffff827e00, 0xffffffffff817f01,
144  0xffffffffff447a00, 0xffffffffff42fd01,
145  0xffffffffff06f400, 0xffffffffff04fa01,
146  0xffffffffffc17e00, 0xffffffffffc0ff01,
147  0xffffffffff837a00, 0xffffffffff827d01,
148  0xffffffffff45f400, 0xffffffffff447a01,
149  0xffffffffff363400, 0xffffffffff349a01,
150  0xffffffffffc1fc00, 0xffffffffffc17e01,
151  0xffffffffff847600, 0xffffffffff837b01,
152  0xffffffffff74b600, 0xffffffffff739b01,
153  0xffffffffff733c00, 0xffffffffff721e01,
154  0xffffffffffc27a00, 0xffffffffffc1fd01,
155  0xffffffffffb2ba00, 0xffffffffffb21d01,
156  0xffffffffffb14000, 0xffffffffffb0a001,
157  0xffffffffffb04400, 0xffffffffffafa201,
158  0xfffffffffff04000, 0xfffffffffff02001,
159  0xffffffffffeec600, 0xffffffffffeea301,
160  0xffffffffffedca00, 0xffffffffffeda501,
161  0xffffffffffed4c00, 0xffffffffffed2601,
162  0xfffffffffffe8300, 0xfffffffffe800901,
163  0xfffffffffffd8500, 0xfffffffffd800f01,
164  0xfffffffffffd0600, 0xfffffffffd001201,
165  0xfffffffffffd0600, 0xfffffffffd001201,
166  0xffffffffffff0200, 0xffffffffff000601,
167  0xfffffffffffe8300, 0xfffffffffe800901,
168  0xfffffffffffe8300, 0xfffffffffe800901,
169  0xffffffffffff0200, 0xffffffffff000601,
170  0xffffffffffff8100, 0xffffffffff800301,
171  0xffffffffffff8100, 0xffffffffff800301,
172  0x0000000000000000, 0x0000000000000001,
173  0x000000000000fe00, 0x0000000000fffa01,
174  0x0000000000000000, 0x0000000000000001,
175  0x0000000000007f00, 0x00000000007ffd01,
176  0x0000000000017d00, 0x00000000017ff701,
177  0x0000000000115d00, 0x00000000117f9701,
178  0x0000000000007f00, 0x00000000007ffd01,
179  0x0000000000017d00, 0x00000000017ff701,
180  0x0000000000115d00, 0x00000000117f9701,
181  0x00000000004f6000, 0x000000004ffe2001,
182  0x000000000000fe00, 0x0000000000fffa01,
183  0x000000000010de00, 0x0000000010ff9a01,
184  0x00000000004ee100, 0x000000004f7e2301,
185  0x00000000008d6300, 0x000000008e7ca901,
186  0x00000000000fe000, 0x000000000fffa001,
187  0x00000000004de300, 0x000000004e7e2901,
188  0x00000000008c6500, 0x000000008d7caf01,
189  0x0000000000cb6600, 0x00000000ccfb3201,
190  0x00000000003e0300, 0x000000003e7e8901,
191  0x00000000007c8500, 0x000000007d7d0f01,
192  0x0000000000bb8600, 0x00000000bcfb9201,
193  0x00000000403a0900, 0x00000040b9fb9b01,
194  0x00000000003e8200, 0x000000003efe8601,
195  0x00000000007d8300, 0x000000007e7d0901,
196  0x000000003ffc0600, 0x000000407b7d1201,
197  0x000000007f7b0800, 0x0000008078fd1801,
198  0x00000000003f0100, 0x000000003f7e8301,
199  0x000000003fbd8400, 0x000000403c7e8c01,
200  0x000000007f3c8600, 0x0000008039fe9201,
201  0x00000000bebc0700, 0x000000c037fe9501,
202  0x000000003f7e8300, 0x0000003ffd000901,
203  0x000000007efd8500, 0x0000007ffa800f01,
204  0x00000000be7d0600, 0x000000bff8801201,
205  0x0000196724e35300, 0x001999bff8667901,
206  0x000000003f7f0200, 0x0000003ffd800601,
207  0x000000007efe8300, 0x0000007ffb800901,
208  0x00001966e564d000, 0x0019997ffb667001,
209  0x000043bc3ab9fb00, 0x0044432aa5e67101,
210  0x000000003f7f8100, 0x0000003ffe000301,
211  0x00001966a5e5ce00, 0x0019993ffde66a01,
212  0x000043bbfb3af900, 0x004442eaa8666b01,
213  0x0000833bfb397c00, 0x0084416aa6e67401,
214  0x0000196666664d00, 0x001998ffffe66701,
215  0x000043bbbbbb7800, 0x004442aaaa666801,
216  0x0000833bbbb9fb00, 0x0084412aa8e67101,
217  0x0000c2bbbbb8fd00, 0x00c43faaa7e67701,
218  0x00002a5555552b00, 0x002aa9aaaa800101,
219  0x000069d55553ae00, 0x006aa82aa9000a01,
220  0x0000a9555552b000, 0x00aaa6aaa8001001,
221  0x0000e8d555523100, 0x00eaa52aa7801301,
222  0x00003f7ffffe8300, 0x003ffe7ffe800901,
223  0x00007efffffd8500, 0x007ffcfffd800f01,
224  0x0000be7ffffd0600, 0x00bffb7ffd001201,
225  0x00007efffffd0600, 0x007ffcfffd001201,
226  0x00003f7fffff0200, 0x003ffe7fff000601,
227  0x00007efffffe8300, 0x007ffcfffe800901,
228  0x00003f7ffffe8300, 0x003ffe7ffe800901,
229  0xffffffffffff0200, 0xffffffffff000601,
230  0x00003f7fffff8100, 0x003ffe7fff800301,
231  0xffffffffffff8100, 0xffffffffff800301,
232  0xffffc08000000000, 0xffc0018000000001,
233  0xffff962aaaaa5600, 0xff9557d555000201,
234  0xffffc08000000000, 0xffc0018000000001,
235  0xffff810000007f00, 0xff800300007ffd01,
236  0xffff56aaaaaad500, 0xff555955557fff01,
237  0xffff3d4444440900, 0xff3bc05555199b01,
238  0xffffc08000007f00, 0xffc00180007ffd01,
239  0xffff962aaaaad500, 0xff9557d5557fff01,
240  0xffff7cc444440900, 0xff7bbed555199b01,
241  0xffff7cc404c40900, 0xff7bbe9556999b01,
242  0xffffd5aaaaaa5600, 0xffd5565555000201,
243  0xffffbc4444438a00, 0xffbbbd5554999e01,
244  0xffffbc4404c38a00, 0xffbbbd1556199e01,
245  0xffffbc43c5440900, 0xffbbbcd558199b01,
246  0xffffe69999993400, 0xffe666ffff999c01,
247  0xffffe6995a193400, 0xffe666c001199c01,
248  0xffffe6991a99b300, 0xffe6668003199901,
249  0xffffe698db1ab100, 0xffe6664005999301,
250  0xffffffffc0800000, 0xffffffc001800001,
251  0xffffffff81007f00, 0xffffff80037ffd01,
252  0xffffffff41817d00, 0xffffff4005fff701,
253  0xffffffff0202fa00, 0xffffff0008ffee01,
254  0xffffffffc0807f00, 0xffffffc001fffd01,
255  0xffffffff81017d00, 0xffffff80047ff701,
256  0xffffffff4182fa00, 0xffffff40077fee01,
257  0xffffffff41437a00, 0xffffff3fc7816e01,
258  0xffffffffc080fe00, 0xffffffc0027ffa01,
259  0xffffffff81027b00, 0xffffff80057ff101,
260  0xffffffff80c2fb00, 0xffffff7fc5817101,
261  0xffffffff8083fa00, 0xffffff7f8602ee01,
262  0xffffffffc0817d00, 0xffffffc002fff701,
263  0xffffffffc041fd00, 0xffffffbfc3017701,
264  0xffffffffc002fc00, 0xffffffbf8382f401,
265  0xffffffffbfc47a00, 0xffffffbf44846e01,
266  0xffffffffffc08000, 0xffffffffc0018001,
267  0xffffffffff817f00, 0xffffffff8082fd01,
268  0xffffffffff42fd00, 0xffffffff41847701,
269  0xffffffffff04fa00, 0xffffffff0305ee01,
270  0xffffffffffc0ff00, 0xffffffffc0817d01,
271  0xffffffffff827d00, 0xffffffff8182f701,
272  0xffffffffff447a00, 0xffffffff43046e01,
273  0xffffffffff349a00, 0xffffffff3304ce01,
274  0xffffffffffc17e00, 0xffffffffc1017a01,
275  0xffffffffff837b00, 0xffffffff8282f101,
276  0xffffffffff739b00, 0xffffffff72835101,
277  0xffffffffff721e00, 0xffffffff71035a01,
278  0xffffffffffc1fd00, 0xffffffffc1817701,
279  0xffffffffffb21d00, 0xffffffffb181d701,
280  0xffffffffffb0a000, 0xffffffffb001e001,
281  0xffffffffffafa200, 0xffffffffaf01e601,
282  0xfffffffffff02000, 0xfffffffff0006001,
283  0xffffffffffeea300, 0xffffffffee806901,
284  0xffffffffffeda500, 0xffffffffed806f01,
285  0xffffffffffed2600, 0xffffffffed007201,
286  0xfffffffffe800900, 0x0000000000000001,
287  0xfffffffffd800f00, 0x0000000000000001,
288  0xfffffffffd001200, 0x0000000000000001,
289  0xfffffffffd001200, 0x0000000000000001,
290  0xffffffffff000600, 0x0000000000000001,
291  0xfffffffffe800900, 0x0000000000000001,
292  0xfffffffffe800900, 0x0000000000000001,
293  0xffffffffff000600, 0x0000000000000001,
294  0xffffffffff800300, 0x0000000000000001,
295  0xffffffffff800300, 0x0000000000000001,
296  0x0000000000000000, 0x0000000000000001,
297  0x0000000000fffa00, 0x0000000000000001,
298  0x0000000000000000, 0x0000000000000001,
299  0x00000000007ffd00, 0x0000000000000001,
300  0x00000000017ff700, 0x0000000000000001,
301  0x00000000117f9700, 0x0000000000000001,
302  0x00000000007ffd00, 0x0000000000000001,
303  0x00000000017ff700, 0x0000000000000001,
304  0x00000000117f9700, 0x0000000000000001,
305  0x000000004ffe2000, 0x0000000000000001,
306  0x0000000000fffa00, 0x0000000000000001,
307  0x0000000010ff9a00, 0x0000000000000001,
308  0x000000004f7e2300, 0x0000000000000001,
309  0x000000008e7ca900, 0x0000000000000001,
310  0x000000000fffa000, 0x0000000000000001,
311  0x000000004e7e2900, 0x0000000000000001,
312  0x000000008d7caf00, 0x0000000000000001,
313  0x00000000ccfb3200, 0x0000000000000001,
314  0x000000003e7e8900, 0x0000000000000001,
315  0x000000007d7d0f00, 0x0000000000000001,
316  0x00000000bcfb9200, 0x0000000000000001,
317  0x00000040b9fb9b00, 0x0000000000000001,
318  0x000000003efe8600, 0x0000000000000001,
319  0x000000007e7d0900, 0x0000000000000001,
320  0x000000407b7d1200, 0x0000000000000001,
321  0x0000008078fd1800, 0x0000000000000001,
322  0x000000003f7e8300, 0x0000000000000001,
323  0x000000403c7e8c00, 0x0000000000000001,
324  0x0000008039fe9200, 0x0000000000000001,
325  0x000000c037fe9500, 0x0000000000000001,
326  0x0000003ffd000900, 0x0000000000000001,
327  0x0000007ffa800f00, 0x0000000000000001,
328  0x000000bff8801200, 0x0000000000000001,
329  0x001999bff8667900, 0x0000000000000001,
330  0x0000003ffd800600, 0x0000000000000001,
331  0x0000007ffb800900, 0x0000000000000001,
332  0x0019997ffb667000, 0x0000000000000001,
333  0x0044432aa5e67100, 0x0000000000000001,
334  0x0000003ffe000300, 0x0000000000000001,
335  0x0019993ffde66a00, 0x0000000000000001,
336  0x004442eaa8666b00, 0x0000000000000001,
337  0x0084416aa6e67400, 0x0000000000000001,
338  0x001998ffffe66700, 0x0000000000000001,
339  0x004442aaaa666800, 0x0000000000000001,
340  0x0084412aa8e67100, 0x0000000000000001,
341  0x00c43faaa7e67700, 0x0000000000000001,
342  0x002aa9aaaa800100, 0x0000000000000001,
343  0x006aa82aa9000a00, 0x0000000000000001,
344  0x00aaa6aaa8001000, 0x0000000000000001,
345  0x00eaa52aa7801300, 0x0000000000000001,
346  0x003ffe7ffe800900, 0x0000000000000001,
347  0x007ffcfffd800f00, 0x0000000000000001,
348  0x00bffb7ffd001200, 0x0000000000000001,
349  0x007ffcfffd001200, 0x0000000000000001,
350  0x003ffe7fff000600, 0x0000000000000001,
351  0x007ffcfffe800900, 0x0000000000000001,
352  0x003ffe7ffe800900, 0x0000000000000001,
353  0xffffffffff000600, 0x0000000000000001,
354  0x003ffe7fff800300, 0x0000000000000001,
355  0xffffffffff800300, 0x0000000000000001,
356  0xffc0018000000000, 0x0000000000000001,
357  0xff9557d555000200, 0x0000000000000001,
358  0xffc0018000000000, 0x0000000000000001,
359  0xff800300007ffd00, 0x0000000000000001,
360  0xff555955557fff00, 0x0000000000000001,
361  0xff3bc05555199b00, 0x0000000000000001,
362  0xffc00180007ffd00, 0x0000000000000001,
363  0xff9557d5557fff00, 0x0000000000000001,
364  0xff7bbed555199b00, 0x0000000000000001,
365  0xff7bbe9556999b00, 0x0000000000000001,
366  0xffd5565555000200, 0x0000000000000001,
367  0xffbbbd5554999e00, 0x0000000000000001,
368  0xffbbbd1556199e00, 0x0000000000000001,
369  0xffbbbcd558199b00, 0x0000000000000001,
370  0xffe666ffff999c00, 0x0000000000000001,
371  0xffe666c001199c00, 0x0000000000000001,
372  0xffe6668003199900, 0x0000000000000001,
373  0xffe6664005999300, 0x0000000000000001,
374  0xffffffc001800000, 0x0000000000000001,
375  0xffffff80037ffd00, 0x0000000000000001,
376  0xffffff4005fff700, 0x0000000000000001,
377  0xffffff0008ffee00, 0x0000000000000001,
378  0xffffffc001fffd00, 0x0000000000000001,
379  0xffffff80047ff700, 0x0000000000000001,
380  0xffffff40077fee00, 0x0000000000000001,
381  0xffffff3fc7816e00, 0x0000000000000001,
382  0xffffffc0027ffa00, 0x0000000000000001,
383  0xffffff80057ff100, 0x0000000000000001,
384  0xffffff7fc5817100, 0x0000000000000001,
385  0xffffff7f8602ee00, 0x0000000000000001,
386  0xffffffc002fff700, 0x0000000000000001,
387  0xffffffbfc3017700, 0x0000000000000001,
388  0xffffffbf8382f400, 0x0000000000000001,
389  0xffffffbf44846e00, 0x0000000000000001,
390  0xffffffffc0018000, 0x0000000000000001,
391  0xffffffff8082fd00, 0x0000000000000001,
392  0xffffffff41847700, 0x0000000000000001,
393  0xffffffff0305ee00, 0x0000000000000001,
394  0xffffffffc0817d00, 0x0000000000000001,
395  0xffffffff8182f700, 0x0000000000000001,
396  0xffffffff43046e00, 0x0000000000000001,
397  0xffffffff3304ce00, 0x0000000000000001,
398  0xffffffffc1017a00, 0x0000000000000001,
399  0xffffffff8282f100, 0x0000000000000001,
400  0xffffffff72835100, 0x0000000000000001,
401  0xffffffff71035a00, 0x0000000000000001,
402  0xffffffffc1817700, 0x0000000000000001,
403  0xffffffffb181d700, 0x0000000000000001,
404  0xffffffffb001e000, 0x0000000000000001,
405  0xffffffffaf01e600, 0x0000000000000001,
406  0xfffffffff0006000, 0x0000000000000001,
407  0xffffffffee806900, 0x0000000000000001,
408  0xffffffffed806f00, 0x0000000000000001,
409  0xffffffffed007200, 0x0000000000000001,
410  0x0000000000000000, 0xfffffffffffffffe,
411  0x0000000000000000, 0xfffffffffffffffc,
412  0x0000000000000000, 0xfffffffffffffffb,
413  0x0000000000000000, 0xfffffffffffffffb,
414  0x0000000000000000, 0xffffffffffffffff,
415  0x0000000000000000, 0xfffffffffffffffe,
416  0x0000000000000000, 0xfffffffffffffffe,
417  0x0000000000000000, 0xffffffffffffffff,
418  0x0000000000000000, 0x0000000000000000,
419  0x0000000000000000, 0x0000000000000000,
420  0x0000000000000000, 0x0000000000000001,
421  0x0000000000000000, 0x0000000000000003,
422  0x0000000000000000, 0x0000000000000001,
423  0x0000000000000000, 0x0000000000000002,
424  0x0000000000000000, 0x0000000000000004,
425  0x0000000000000000, 0x0000000000000024,
426  0x0000000000000000, 0x0000000000000002,
427  0x0000000000000000, 0x0000000000000004,
428  0x0000000000000000, 0x0000000000000024,
429  0x0000000000000000, 0x00000000000000a1,
430  0x0000000000000000, 0x0000000000000003,
431  0x0000000000000000, 0x0000000000000023,
432  0x0000000000000000, 0x00000000000000a0,
433  0x0000000000000000, 0x000000000000011e,
434  0x0000000000000000, 0x0000000000000021,
435  0x0000000000000000, 0x000000000000009e,
436  0x0000000000000000, 0x000000000000011c,
437  0x0000000000000000, 0x000000000000019b,
438  0x0000000000000000, 0x000000000000007e,
439  0x0000000000000000, 0x00000000000000fc,
440  0x0000000000000000, 0x000000000000017b,
441  0x0000000000000000, 0x0000000000008178,
442  0x0000000000000000, 0x000000000000007f,
443  0x0000000000000000, 0x00000000000000fe,
444  0x0000000000000000, 0x00000000000080fb,
445  0x0000000000000000, 0x00000000000100f9,
446  0x0000000000000000, 0x0000000000000080,
447  0x0000000000000000, 0x000000000000807d,
448  0x0000000000000000, 0x000000000001007b,
449  0x0000000000000000, 0x000000000001807a,
450  0x0000000000000000, 0x0000000000007ffe,
451  0x0000000000000000, 0x000000000000fffc,
452  0x0000000000000000, 0x0000000000017ffb,
453  0x0000000000000000, 0x000000003334b32e,
454  0x0000000000000000, 0x0000000000007fff,
455  0x0000000000000000, 0x000000000000fffe,
456  0x0000000000000000, 0x0000000033343331,
457  0x0000000000000000, 0x0000000088898886,
458  0x0000000000000000, 0x0000000000008000,
459  0x0000000000000000, 0x000000003333b333,
460  0x0000000000000000, 0x0000000088890888,
461  0x0000000000000000, 0x0000000108890885,
462  0x0000000000000000, 0x0000000033333334,
463  0x0000000000000000, 0x0000000088888889,
464  0x0000000000000000, 0x0000000108888886,
465  0x0000000000000000, 0x0000000188888884,
466  0x0000000000000000, 0x0000000055555556,
467  0x0000000000000000, 0x00000000d5555553,
468  0x0000000000000000, 0x0000000155555551,
469  0x0000000000000000, 0x00000001d5555550,
470  0x0000000000000000, 0x000000007ffffffe,
471  0x0000000000000000, 0x00000000fffffffc,
472  0x0000000000000000, 0x000000017ffffffb,
473  0x0000000000000000, 0x00000000fffffffb,
474  0x0000000000000000, 0x000000007fffffff,
475  0x0000000000000000, 0x00000000fffffffe,
476  0x0000000000000000, 0x000000007ffffffe,
477  0x0000000000000000, 0xffffffffffffffff,
478  0x0000000000000000, 0x0000000080000000,
479  0x0000000000000000, 0x0000000000000000,
480  0x0000000000000000, 0xffffffff80000001,
481  0x0000000000000000, 0xffffffff2aaaaaab,
482  0x0000000000000000, 0xffffffff80000001,
483  0x0000000000000000, 0xffffffff00000002,
484  0x0000000000000000, 0xfffffffeaaaaaaac,
485  0x0000000000000000, 0xfffffffe77777778,
486  0x0000000000000000, 0xffffffff80000002,
487  0x0000000000000000, 0xffffffff2aaaaaac,
488  0x0000000000000000, 0xfffffffef7777778,
489  0x0000000000000000, 0xfffffffef776f778,
490  0x0000000000000000, 0xffffffffaaaaaaab,
491  0x0000000000000000, 0xffffffff77777777,
492  0x0000000000000000, 0xffffffff7776f777,
493  0x0000000000000000, 0xffffffff77767778,
494  0x0000000000000000, 0xffffffffcccccccd,
495  0x0000000000000000, 0xffffffffcccc4ccd,
496  0x0000000000000000, 0xffffffffcccbccce,
497  0x0000000000000000, 0xffffffffcccb4cd0,
498  0x0000000000000000, 0xffffffffffff8001,
499  0x0000000000000000, 0xffffffffffff0002,
500  0x0000000000000000, 0xfffffffffffe8004,
501  0x0000000000000000, 0xfffffffffffe0007,
502  0x0000000000000000, 0xffffffffffff8002,
503  0x0000000000000000, 0xffffffffffff0004,
504  0x0000000000000000, 0xfffffffffffe8007,
505  0x0000000000000000, 0xfffffffffffe7f87,
506  0x0000000000000000, 0xffffffffffff8003,
507  0x0000000000000000, 0xffffffffffff0006,
508  0x0000000000000000, 0xfffffffffffeff86,
509  0x0000000000000000, 0xfffffffffffeff07,
510  0x0000000000000000, 0xffffffffffff8004,
511  0x0000000000000000, 0xffffffffffff7f84,
512  0x0000000000000000, 0xffffffffffff7f05,
513  0x0000000000000000, 0xffffffffffff7e87,
514  0x0000000000000000, 0xffffffffffffff81,
515  0x0000000000000000, 0xffffffffffffff02,
516  0x0000000000000000, 0xfffffffffffffe84,
517  0x0000000000000000, 0xfffffffffffffe07,
518  0x0000000000000000, 0xffffffffffffff82,
519  0x0000000000000000, 0xffffffffffffff04,
520  0x0000000000000000, 0xfffffffffffffe87,
521  0x0000000000000000, 0xfffffffffffffe67,
522  0x0000000000000000, 0xffffffffffffff83,
523  0x0000000000000000, 0xffffffffffffff06,
524  0x0000000000000000, 0xfffffffffffffee6,
525  0x0000000000000000, 0xfffffffffffffee3,
526  0x0000000000000000, 0xffffffffffffff84,
527  0x0000000000000000, 0xffffffffffffff64,
528  0x0000000000000000, 0xffffffffffffff61,
529  0x0000000000000000, 0xffffffffffffff5f,
530  0x0000000000000000, 0xffffffffffffffe1,
531  0x0000000000000000, 0xffffffffffffffde,
532  0x0000000000000000, 0xffffffffffffffdc,
533  0x0000000000000000, 0xffffffffffffffdb,
534  0xfffffffffffffffd, 0xfffffffffffffffb,
535  0xfffffffffffffffb, 0xfffffffffffffff7,
536  0xfffffffffffffffa, 0xfffffffffffffff5,
537  0xfffffffffffffffa, 0xfffffffffffffff5,
538  0xfffffffffffffffe, 0xfffffffffffffffd,
539  0xfffffffffffffffd, 0xfffffffffffffffb,
540  0xfffffffffffffffd, 0xfffffffffffffffb,
541  0xfffffffffffffffe, 0xfffffffffffffffd,
542  0xffffffffffffffff, 0xffffffffffffffff,
543  0xffffffffffffffff, 0xffffffffffffffff,
544  0x0000000000000000, 0x0000000000000001,
545  0x0000000000000002, 0x0000000000000005,
546  0x0000000000000000, 0x0000000000000001,
547  0x0000000000000001, 0x0000000000000003,
548  0x0000000000000003, 0x0000000000000007,
549  0x0000000000000023, 0x0000000000000047,
550  0x0000000000000001, 0x0000000000000003,
551  0x0000000000000003, 0x0000000000000007,
552  0x0000000000000023, 0x0000000000000047,
553  0x00000000000000a0, 0x0000000000000141,
554  0x0000000000000002, 0x0000000000000005,
555  0x0000000000000022, 0x0000000000000045,
556  0x000000000000009f, 0x000000000000013f,
557  0x000000000000011d, 0x000000000000023b,
558  0x0000000000000020, 0x0000000000000041,
559  0x000000000000009d, 0x000000000000013b,
560  0x000000000000011b, 0x0000000000000237,
561  0x000000000000019a, 0x0000000000000335,
562  0x000000000000007d, 0x00000000000000fb,
563  0x00000000000000fb, 0x00000000000001f7,
564  0x000000000000017a, 0x00000000000002f5,
565  0x0000000000008177, 0x00000000000102ef,
566  0x000000000000007e, 0x00000000000000fd,
567  0x00000000000000fd, 0x00000000000001fb,
568  0x00000000000080fa, 0x00000000000101f5,
569  0x00000000000100f8, 0x00000000000201f1,
570  0x000000000000007f, 0x00000000000000ff,
571  0x000000000000807c, 0x00000000000100f9,
572  0x000000000001007a, 0x00000000000200f5,
573  0x0000000000018079, 0x00000000000300f3,
574  0x0000000000007ffd, 0x000000000000fffb,
575  0x000000000000fffb, 0x000000000001fff7,
576  0x0000000000017ffa, 0x000000000002fff5,
577  0x000000003334b32d, 0x000000006669665b,
578  0x0000000000007ffe, 0x000000000000fffd,
579  0x000000000000fffd, 0x000000000001fffb,
580  0x0000000033343330, 0x0000000066686661,
581  0x0000000088898885, 0x000000011113110b,
582  0x0000000000007fff, 0x000000000000ffff,
583  0x000000003333b332, 0x0000000066676665,
584  0x0000000088890887, 0x000000011112110f,
585  0x0000000108890884, 0x0000000211121109,
586  0x0000000033333333, 0x0000000066666667,
587  0x0000000088888888, 0x0000000111111111,
588  0x0000000108888885, 0x000000021111110b,
589  0x0000000188888883, 0x0000000311111107,
590  0x0000000055555555, 0x00000000aaaaaaab,
591  0x00000000d5555552, 0x00000001aaaaaaa5,
592  0x0000000155555550, 0x00000002aaaaaaa1,
593  0x00000001d555554f, 0x00000003aaaaaa9f,
594  0x000000007ffffffd, 0x00000000fffffffb,
595  0x00000000fffffffb, 0x00000001fffffff7,
596  0x000000017ffffffa, 0x00000002fffffff5,
597  0x00000000fffffffa, 0x00000001fffffff5,
598  0x000000007ffffffe, 0x00000000fffffffd,
599  0x00000000fffffffd, 0x00000001fffffffb,
600  0x000000007ffffffd, 0x00000000fffffffb,
601  0xfffffffffffffffe, 0xfffffffffffffffd,
602  0x000000007fffffff, 0x00000000ffffffff,
603  0xffffffffffffffff, 0xffffffffffffffff,
604  0xffffffff80000000, 0xffffffff00000001,
605  0xffffffff2aaaaaaa, 0xfffffffe55555555,
606  0xffffffff80000000, 0xffffffff00000001,
607  0xffffffff00000001, 0xfffffffe00000003,
608  0xfffffffeaaaaaaab, 0xfffffffd55555557,
609  0xfffffffe77777777, 0xfffffffceeeeeeef,
610  0xffffffff80000001, 0xffffffff00000003,
611  0xffffffff2aaaaaab, 0xfffffffe55555557,
612  0xfffffffef7777777, 0xfffffffdeeeeeeef,
613  0xfffffffef776f777, 0xfffffffdeeedeeef,
614  0xffffffffaaaaaaaa, 0xffffffff55555555,
615  0xffffffff77777776, 0xfffffffeeeeeeeed,
616  0xffffffff7776f776, 0xfffffffeeeedeeed,
617  0xffffffff77767777, 0xfffffffeeeeceeef,
618  0xffffffffcccccccc, 0xffffffff99999999,
619  0xffffffffcccc4ccc, 0xffffffff99989999,
620  0xffffffffcccbcccd, 0xffffffff9997999b,
621  0xffffffffcccb4ccf, 0xffffffff9996999f,
622  0xffffffffffff8000, 0xffffffffffff0001,
623  0xffffffffffff0001, 0xfffffffffffe0003,
624  0xfffffffffffe8003, 0xfffffffffffd0007,
625  0xfffffffffffe0006, 0xfffffffffffc000d,
626  0xffffffffffff8001, 0xffffffffffff0003,
627  0xffffffffffff0003, 0xfffffffffffe0007,
628  0xfffffffffffe8006, 0xfffffffffffd000d,
629  0xfffffffffffe7f86, 0xfffffffffffcff0d,
630  0xffffffffffff8002, 0xffffffffffff0005,
631  0xffffffffffff0005, 0xfffffffffffe000b,
632  0xfffffffffffeff85, 0xfffffffffffdff0b,
633  0xfffffffffffeff06, 0xfffffffffffdfe0d,
634  0xffffffffffff8003, 0xffffffffffff0007,
635  0xffffffffffff7f83, 0xfffffffffffeff07,
636  0xffffffffffff7f04, 0xfffffffffffefe09,
637  0xffffffffffff7e86, 0xfffffffffffefd0d,
638  0xffffffffffffff80, 0xffffffffffffff01,
639  0xffffffffffffff01, 0xfffffffffffffe03,
640  0xfffffffffffffe83, 0xfffffffffffffd07,
641  0xfffffffffffffe06, 0xfffffffffffffc0d,
642  0xffffffffffffff81, 0xffffffffffffff03,
643  0xffffffffffffff03, 0xfffffffffffffe07,
644  0xfffffffffffffe86, 0xfffffffffffffd0d,
645  0xfffffffffffffe66, 0xfffffffffffffccd,
646  0xffffffffffffff82, 0xffffffffffffff05,
647  0xffffffffffffff05, 0xfffffffffffffe0b,
648  0xfffffffffffffee5, 0xfffffffffffffdcb,
649  0xfffffffffffffee2, 0xfffffffffffffdc5,
650  0xffffffffffffff83, 0xffffffffffffff07,
651  0xffffffffffffff63, 0xfffffffffffffec7,
652  0xffffffffffffff60, 0xfffffffffffffec1,
653  0xffffffffffffff5e, 0xfffffffffffffebd,
654  0xffffffffffffffe0, 0xffffffffffffffc1,
655  0xffffffffffffffdd, 0xffffffffffffffbb,
656  0xffffffffffffffdb, 0xffffffffffffffb7,
657  0xffffffffffffffda, 0xffffffffffffffb5,
658  0xfffffffffffffffa, 0xffffffffffffffa1,
659  0xfffffffffffffff6, 0xffffffffffffff61,
660  0xfffffffffffffff4, 0xffffffffffffff41,
661  0xfffffffffffffff4, 0xffffffffffffff41,
662  0xfffffffffffffffc, 0xffffffffffffffc1,
663  0xfffffffffffffffa, 0xffffffffffffffa1,
664  0xfffffffffffffffa, 0xffffffffffffffa1,
665  0xfffffffffffffffc, 0xffffffffffffffc1,
666  0xfffffffffffffffe, 0xffffffffffffffe1,
667  0xfffffffffffffffe, 0xffffffffffffffe1,
668  0x0000000000000000, 0x0000000000000001,
669  0x0000000000000004, 0x0000000000000041,
670  0x0000000000000000, 0x0000000000000001,
671  0x0000000000000002, 0x0000000000000021,
672  0x0000000000000006, 0x0000000000000061,
673  0x0000000000000046, 0x0000000000000461,
674  0x0000000000000002, 0x0000000000000021,
675  0x0000000000000006, 0x0000000000000061,
676  0x0000000000000046, 0x0000000000000461,
677  0x0000000000000140, 0x0000000000001401,
678  0x0000000000000004, 0x0000000000000041,
679  0x0000000000000044, 0x0000000000000441,
680  0x000000000000013e, 0x00000000000013e1,
681  0x000000000000023a, 0x00000000000023a1,
682  0x0000000000000040, 0x0000000000000401,
683  0x000000000000013a, 0x00000000000013a1,
684  0x0000000000000236, 0x0000000000002361,
685  0x0000000000000334, 0x0000000000003341,
686  0x00000000000000fa, 0x0000000000000fa1,
687  0x00000000000001f6, 0x0000000000001f61,
688  0x00000000000002f4, 0x0000000000002f41,
689  0x00000000000102ee, 0x0000000000102ee1,
690  0x00000000000000fc, 0x0000000000000fc1,
691  0x00000000000001fa, 0x0000000000001fa1,
692  0x00000000000101f4, 0x0000000000101f41,
693  0x00000000000201f0, 0x0000000000201f01,
694  0x00000000000000fe, 0x0000000000000fe1,
695  0x00000000000100f8, 0x0000000000100f81,
696  0x00000000000200f4, 0x0000000000200f41,
697  0x00000000000300f2, 0x0000000000300f21,
698  0x000000000000fffa, 0x00000000000fffa1,
699  0x000000000001fff6, 0x00000000001fff61,
700  0x000000000002fff4, 0x00000000002fff41,
701  0x000000006669665a, 0x00000006669665a1,
702  0x000000000000fffc, 0x00000000000fffc1,
703  0x000000000001fffa, 0x00000000001fffa1,
704  0x0000000066686660, 0x0000000666866601,
705  0x000000011113110a, 0x00000011113110a1,
706  0x000000000000fffe, 0x00000000000fffe1,
707  0x0000000066676664, 0x0000000666766641,
708  0x000000011112110e, 0x00000011112110e1,
709  0x0000000211121108, 0x0000002111211081,
710  0x0000000066666666, 0x0000000666666661,
711  0x0000000111111110, 0x0000001111111101,
712  0x000000021111110a, 0x00000021111110a1,
713  0x0000000311111106, 0x0000003111111061,
714  0x00000000aaaaaaaa, 0x0000000aaaaaaaa1,
715  0x00000001aaaaaaa4, 0x0000001aaaaaaa41,
716  0x00000002aaaaaaa0, 0x0000002aaaaaaa01,
717  0x00000003aaaaaa9e, 0x0000003aaaaaa9e1,
718  0x00000000fffffffa, 0x0000000fffffffa1,
719  0x00000001fffffff6, 0x0000001fffffff61,
720  0x00000002fffffff4, 0x0000002fffffff41,
721  0x00000001fffffff4, 0x0000001fffffff41,
722  0x00000000fffffffc, 0x0000000fffffffc1,
723  0x00000001fffffffa, 0x0000001fffffffa1,
724  0x00000000fffffffa, 0x0000000fffffffa1,
725  0xfffffffffffffffc, 0xffffffffffffffc1,
726  0x00000000fffffffe, 0x0000000fffffffe1,
727  0xfffffffffffffffe, 0xffffffffffffffe1,
728  0xffffffff00000000, 0xfffffff000000001,
729  0xfffffffe55555554, 0xffffffe555555541,
730  0xffffffff00000000, 0xfffffff000000001,
731  0xfffffffe00000002, 0xffffffe000000021,
732  0xfffffffd55555556, 0xffffffd555555561,
733  0xfffffffceeeeeeee, 0xffffffceeeeeeee1,
734  0xffffffff00000002, 0xfffffff000000021,
735  0xfffffffe55555556, 0xffffffe555555561,
736  0xfffffffdeeeeeeee, 0xffffffdeeeeeeee1,
737  0xfffffffdeeedeeee, 0xffffffdeeedeeee1,
738  0xffffffff55555554, 0xfffffff555555541,
739  0xfffffffeeeeeeeec, 0xffffffeeeeeeeec1,
740  0xfffffffeeeedeeec, 0xffffffeeeedeeec1,
741  0xfffffffeeeeceeee, 0xffffffeeeeceeee1,
742  0xffffffff99999998, 0xfffffff999999981,
743  0xffffffff99989998, 0xfffffff999899981,
744  0xffffffff9997999a, 0xfffffff9997999a1,
745  0xffffffff9996999e, 0xfffffff9996999e1,
746  0xffffffffffff0000, 0xfffffffffff00001,
747  0xfffffffffffe0002, 0xffffffffffe00021,
748  0xfffffffffffd0006, 0xffffffffffd00061,
749  0xfffffffffffc000c, 0xffffffffffc000c1,
750  0xffffffffffff0002, 0xfffffffffff00021,
751  0xfffffffffffe0006, 0xffffffffffe00061,
752  0xfffffffffffd000c, 0xffffffffffd000c1,
753  0xfffffffffffcff0c, 0xffffffffffcff0c1,
754  0xffffffffffff0004, 0xfffffffffff00041,
755  0xfffffffffffe000a, 0xffffffffffe000a1,
756  0xfffffffffffdff0a, 0xffffffffffdff0a1,
757  0xfffffffffffdfe0c, 0xffffffffffdfe0c1,
758  0xffffffffffff0006, 0xfffffffffff00061,
759  0xfffffffffffeff06, 0xffffffffffeff061,
760  0xfffffffffffefe08, 0xffffffffffefe081,
761  0xfffffffffffefd0c, 0xffffffffffefd0c1,
762  0xffffffffffffff00, 0xfffffffffffff001,
763  0xfffffffffffffe02, 0xffffffffffffe021,
764  0xfffffffffffffd06, 0xffffffffffffd061,
765  0xfffffffffffffc0c, 0xffffffffffffc0c1,
766  0xffffffffffffff02, 0xfffffffffffff021,
767  0xfffffffffffffe06, 0xffffffffffffe061,
768  0xfffffffffffffd0c, 0xffffffffffffd0c1,
769  0xfffffffffffffccc, 0xffffffffffffccc1,
770  0xffffffffffffff04, 0xfffffffffffff041,
771  0xfffffffffffffe0a, 0xffffffffffffe0a1,
772  0xfffffffffffffdca, 0xffffffffffffdca1,
773  0xfffffffffffffdc4, 0xffffffffffffdc41,
774  0xffffffffffffff06, 0xfffffffffffff061,
775  0xfffffffffffffec6, 0xffffffffffffec61,
776  0xfffffffffffffec0, 0xffffffffffffec01,
777  0xfffffffffffffebc, 0xffffffffffffebc1,
778  0xffffffffffffffc0, 0xfffffffffffffc01,
779  0xffffffffffffffba, 0xfffffffffffffba1,
780  0xffffffffffffffb6, 0xfffffffffffffb61,
781  0xffffffffffffffb4, 0xfffffffffffffb41,
782  0xffffffffffffffa0, 0xfffffffffffffe8a,
783  0xffffffffffffff60, 0xfffffffffffffd90,
784  0xffffffffffffff40, 0xfffffffffffffd13,
785  0xffffffffffffff40, 0xfffffffffffffd13,
786  0xffffffffffffffc0, 0xffffffffffffff07,
787  0xffffffffffffffa0, 0xfffffffffffffe8a,
788  0xffffffffffffffa0, 0xfffffffffffffe8a,
789  0xffffffffffffffc0, 0xffffffffffffff07,
790  0xffffffffffffffe0, 0xffffffffffffff84,
791  0xffffffffffffffe0, 0xffffffffffffff84,
792  0x0000000000000000, 0x0000000000000001,
793  0x0000000000000040, 0x00000000000000fb,
794  0x0000000000000000, 0x0000000000000001,
795  0x0000000000000020, 0x000000000000007e,
796  0x0000000000000060, 0x0000000000000178,
797  0x0000000000000460, 0x0000000000001118,
798  0x0000000000000020, 0x000000000000007e,
799  0x0000000000000060, 0x0000000000000178,
800  0x0000000000000460, 0x0000000000001118,
801  0x0000000000001400, 0x0000000000004e21,
802  0x0000000000000040, 0x00000000000000fb,
803  0x0000000000000440, 0x000000000000109b,
804  0x00000000000013e0, 0x0000000000004da4,
805  0x00000000000023a0, 0x0000000000008b2a,
806  0x0000000000000400, 0x0000000000000fa1,
807  0x00000000000013a0, 0x0000000000004caa,
808  0x0000000000002360, 0x0000000000008a30,
809  0x0000000000003340, 0x000000000000c833,
810  0x0000000000000fa0, 0x0000000000003d0a,
811  0x0000000000001f60, 0x0000000000007a90,
812  0x0000000000002f40, 0x000000000000b893,
813  0x0000000000102ee0, 0x00000000003f371c,
814  0x0000000000000fc0, 0x0000000000003d87,
815  0x0000000000001fa0, 0x0000000000007b8a,
816  0x0000000000101f40, 0x00000000003efa13,
817  0x0000000000201f00, 0x00000000007d7919,
818  0x0000000000000fe0, 0x0000000000003e04,
819  0x0000000000100f80, 0x00000000003ebc8d,
820  0x0000000000200f40, 0x00000000007d3b93,
821  0x0000000000300f20, 0x0000000000bbbb16,
822  0x00000000000fffa0, 0x00000000003e7e8a,
823  0x00000000001fff60, 0x00000000007cfd90,
824  0x00000000002fff40, 0x0000000000bb7d13,
825  0x00000006669665a0, 0x0000001900bb7cfa,
826  0x00000000000fffc0, 0x00000000003e7f07,
827  0x00000000001fffa0, 0x00000000007cfe8a,
828  0x0000000666866600, 0x00000019007cfe71,
829  0x00000011113110a0, 0x00000042ab27a8f2,
830  0x00000000000fffe0, 0x00000000003e7f84,
831  0x0000000666766640, 0x00000019003e7f6b,
832  0x00000011112110e0, 0x00000042aae929ec,
833  0x0000002111211080, 0x000000812ae92875,
834  0x0000000666666660, 0x00000018ffffffe8,
835  0x0000001111111100, 0x00000042aaaaaa69,
836  0x00000021111110a0, 0x000000812aaaa8f2,
837  0x0000003111111060, 0x000000bfaaaaa7f8,
838  0x0000000aaaaaaaa0, 0x00000029aaaaaa82,
839  0x0000001aaaaaaa40, 0x000000682aaaa90b,
840  0x0000002aaaaaaa00, 0x000000a6aaaaa811,
841  0x0000003aaaaaa9e0, 0x000000e52aaaa794,
842  0x0000000fffffffa0, 0x0000003e7ffffe8a,
843  0x0000001fffffff60, 0x0000007cfffffd90,
844  0x0000002fffffff40, 0x000000bb7ffffd13,
845  0x0000001fffffff40, 0x0000007cfffffd13,
846  0x0000000fffffffc0, 0x0000003e7fffff07,
847  0x0000001fffffffa0, 0x0000007cfffffe8a,
848  0x0000000fffffffa0, 0x0000003e7ffffe8a,
849  0xffffffffffffffc0, 0xffffffffffffff07,
850  0x0000000fffffffe0, 0x0000003e7fffff84,
851  0xffffffffffffffe0, 0xffffffffffffff84,
852  0xfffffff000000000, 0xffffffc180000001,
853  0xffffffe555555540, 0xffffff97d5555503,
854  0xfffffff000000000, 0xffffffc180000001,
855  0xffffffe000000020, 0xffffff830000007e,
856  0xffffffd555555560, 0xffffff5955555580,
857  0xffffffceeeeeeee0, 0xffffff405555551c,
858  0xfffffff000000020, 0xffffffc18000007e,
859  0xffffffe555555560, 0xffffff97d5555580,
860  0xffffffdeeeeeeee0, 0xffffff7ed555551c,
861  0xffffffdeeedeeee0, 0xffffff7ed516d51c,
862  0xfffffff555555540, 0xffffffd655555503,
863  0xffffffeeeeeeeec0, 0xffffffbd5555549f,
864  0xffffffeeeedeeec0, 0xffffffbd5516d49f,
865  0xffffffeeeeceeee0, 0xffffffbd54d8551c,
866  0xfffffff999999980, 0xffffffe6ffffff9d,
867  0xfffffff999899980, 0xffffffe6ffc17f9d,
868  0xfffffff9997999a0, 0xffffffe6ff83001a,
869  0xfffffff9996999e0, 0xffffffe6ff448114,
870  0xfffffffffff00000, 0xffffffffffc18001,
871  0xffffffffffe00020, 0xffffffffff83007e,
872  0xffffffffffd00060, 0xffffffffff448178,
873  0xffffffffffc000c0, 0xffffffffff0602ef,
874  0xfffffffffff00020, 0xffffffffffc1807e,
875  0xffffffffffe00060, 0xffffffffff830178,
876  0xffffffffffd000c0, 0xffffffffff4482ef,
877  0xffffffffffcff0c0, 0xffffffffff44446f,
878  0xfffffffffff00040, 0xffffffffffc180fb,
879  0xffffffffffe000a0, 0xffffffffff830272,
880  0xffffffffffdff0a0, 0xffffffffff82c3f2,
881  0xffffffffffdfe0c0, 0xffffffffff8285ef,
882  0xfffffffffff00060, 0xffffffffffc18178,
883  0xffffffffffeff060, 0xffffffffffc142f8,
884  0xffffffffffefe080, 0xffffffffffc104f5,
885  0xffffffffffefd0c0, 0xffffffffffc0c76f,
886  0xfffffffffffff000, 0xffffffffffffc181,
887  0xffffffffffffe020, 0xffffffffffff837e,
888  0xffffffffffffd060, 0xffffffffffff45f8,
889  0xffffffffffffc0c0, 0xffffffffffff08ef,
890  0xfffffffffffff020, 0xffffffffffffc1fe,
891  0xffffffffffffe060, 0xffffffffffff8478,
892  0xffffffffffffd0c0, 0xffffffffffff476f,
893  0xffffffffffffccc0, 0xffffffffffff37cf,
894  0xfffffffffffff040, 0xffffffffffffc27b,
895  0xffffffffffffe0a0, 0xffffffffffff8572,
896  0xffffffffffffdca0, 0xffffffffffff75d2,
897  0xffffffffffffdc40, 0xffffffffffff745b,
898  0xfffffffffffff060, 0xffffffffffffc2f8,
899  0xffffffffffffec60, 0xffffffffffffb358,
900  0xffffffffffffec00, 0xffffffffffffb1e1,
901  0xffffffffffffebc0, 0xffffffffffffb0e7,
902  0xfffffffffffffc00, 0xfffffffffffff061,
903  0xfffffffffffffba0, 0xffffffffffffeeea,
904  0xfffffffffffffb60, 0xffffffffffffedf0,
905  0xfffffffffffffb40, 0xffffffffffffed73,
906  0xfffffffffffffe89, 0xfffffffffffffe87,
907  0xfffffffffffffd8f, 0xfffffffffffffd8b,
908  0xfffffffffffffd12, 0xfffffffffffffd0d,
909  0xfffffffffffffd12, 0xfffffffffffffd0d,
910  0xffffffffffffff06, 0xffffffffffffff05,
911  0xfffffffffffffe89, 0xfffffffffffffe87,
912  0xfffffffffffffe89, 0xfffffffffffffe87,
913  0xffffffffffffff06, 0xffffffffffffff05,
914  0xffffffffffffff83, 0xffffffffffffff83,
915  0xffffffffffffff83, 0xffffffffffffff83,
916  0x0000000000000000, 0x0000000000000001,
917  0x00000000000000fa, 0x00000000000000fd,
918  0x0000000000000000, 0x0000000000000001,
919  0x000000000000007d, 0x000000000000007f,
920  0x0000000000000177, 0x000000000000017b,
921  0x0000000000001117, 0x000000000000113b,
922  0x000000000000007d, 0x000000000000007f,
923  0x0000000000000177, 0x000000000000017b,
924  0x0000000000001117, 0x000000000000113b,
925  0x0000000000004e20, 0x0000000000004ec1,
926  0x00000000000000fa, 0x00000000000000fd,
927  0x000000000000109a, 0x00000000000010bd,
928  0x0000000000004da3, 0x0000000000004e43,
929  0x0000000000008b29, 0x0000000000008c47,
930  0x0000000000000fa0, 0x0000000000000fc1,
931  0x0000000000004ca9, 0x0000000000004d47,
932  0x0000000000008a2f, 0x0000000000008b4b,
933  0x000000000000c832, 0x000000000000c9cd,
934  0x0000000000003d09, 0x0000000000003d87,
935  0x0000000000007a8f, 0x0000000000007b8b,
936  0x000000000000b892, 0x000000000000ba0d,
937  0x00000000003f371b, 0x00000000003fb893,
938  0x0000000000003d86, 0x0000000000003e05,
939  0x0000000000007b89, 0x0000000000007c87,
940  0x00000000003efa12, 0x00000000003f7b0d,
941  0x00000000007d7918, 0x00000000007e7a11,
942  0x0000000000003e03, 0x0000000000003e83,
943  0x00000000003ebc8c, 0x00000000003f3d09,
944  0x00000000007d3b92, 0x00000000007e3c0d,
945  0x0000000000bbbb15, 0x0000000000bd3b8f,
946  0x00000000003e7e89, 0x00000000003efe87,
947  0x00000000007cfd8f, 0x00000000007dfd8b,
948  0x0000000000bb7d12, 0x0000000000bcfd0d,
949  0x0000001900bb7cf9, 0x0000001933f03027,
950  0x00000000003e7f06, 0x00000000003eff05,
951  0x00000000007cfe89, 0x00000000007dfe87,
952  0x00000019007cfe70, 0x0000001933b131a1,
953  0x00000042ab27a8f1, 0x0000004333b13177,
954  0x00000000003e7f83, 0x00000000003eff83,
955  0x00000019003e7f6a, 0x000000193372329d,
956  0x00000042aae929eb, 0x0000004333723273,
957  0x000000812ae92874, 0x00000082337230f9,
958  0x00000018ffffffe7, 0x000000193333331b,
959  0x00000042aaaaaa68, 0x00000043333332f1,
960  0x000000812aaaa8f1, 0x0000008233333177,
961  0x000000bfaaaaa7f7, 0x000000c13333307b,
962  0x00000029aaaaaa81, 0x00000029ffffffd7,
963  0x000000682aaaa90a, 0x00000068fffffe5d,
964  0x000000a6aaaaa810, 0x000000a7fffffd61,
965  0x000000e52aaaa793, 0x000000e6fffffce3,
966  0x0000003e7ffffe89, 0x0000003efffffe87,
967  0x0000007cfffffd8f, 0x0000007dfffffd8b,
968  0x000000bb7ffffd12, 0x000000bcfffffd0d,
969  0x0000007cfffffd12, 0x0000007dfffffd0d,
970  0x0000003e7fffff06, 0x0000003effffff05,
971  0x0000007cfffffe89, 0x0000007dfffffe87,
972  0x0000003e7ffffe89, 0x0000003efffffe87,
973  0xffffffffffffff06, 0xffffffffffffff05,
974  0x0000003e7fffff83, 0x0000003effffff83,
975  0xffffffffffffff83, 0xffffffffffffff83,
976  0xffffffc180000000, 0xffffffc100000001,
977  0xffffff97d5555502, 0xffffff96ffffffad,
978  0xffffffc180000000, 0xffffffc100000001,
979  0xffffff830000007d, 0xffffff820000007f,
980  0xffffff595555557f, 0xffffff580000002b,
981  0xffffff405555551b, 0xffffff3ecccccc93,
982  0xffffffc18000007d, 0xffffffc10000007f,
983  0xffffff97d555557f, 0xffffff970000002b,
984  0xffffff7ed555551b, 0xffffff7dcccccc93,
985  0xffffff7ed516d51b, 0xffffff7dcc8dcc93,
986  0xffffffd655555502, 0xffffffd5ffffffad,
987  0xffffffbd5555549e, 0xffffffbccccccc15,
988  0xffffffbd5516d49e, 0xffffffbccc8dcc15,
989  0xffffffbd54d8551b, 0xffffffbccc4ecc93,
990  0xffffffe6ffffff9c, 0xffffffe6cccccc69,
991  0xffffffe6ffc17f9c, 0xffffffe6cc8dcc69,
992  0xffffffe6ff830019, 0xffffffe6cc4ecce7,
993  0xffffffe6ff448113, 0xffffffe6cc0fcde3,
994  0xffffffffffc18000, 0xffffffffffc10001,
995  0xffffffffff83007d, 0xffffffffff82007f,
996  0xffffffffff448177, 0xffffffffff43017b,
997  0xffffffffff0602ee, 0xffffffffff0402f5,
998  0xffffffffffc1807d, 0xffffffffffc1007f,
999  0xffffffffff830177, 0xffffffffff82017b,
1000  0xffffffffff4482ee, 0xffffffffff4302f5,
1001  0xffffffffff44446e, 0xffffffffff42c3f5,
1002  0xffffffffffc180fa, 0xffffffffffc100fd,
1003  0xffffffffff830271, 0xffffffffff820277,
1004  0xffffffffff82c3f1, 0xffffffffff81c377,
1005  0xffffffffff8285ee, 0xffffffffff8184f5,
1006  0xffffffffffc18177, 0xffffffffffc1017b,
1007  0xffffffffffc142f7, 0xffffffffffc0c27b,
1008  0xffffffffffc104f4, 0xffffffffffc083f9,
1009  0xffffffffffc0c76e, 0xffffffffffc045f5,
1010  0xffffffffffffc180, 0xffffffffffffc101,
1011  0xffffffffffff837d, 0xffffffffffff827f,
1012  0xffffffffffff45f7, 0xffffffffffff447b,
1013  0xffffffffffff08ee, 0xffffffffffff06f5,
1014  0xffffffffffffc1fd, 0xffffffffffffc17f,
1015  0xffffffffffff8477, 0xffffffffffff837b,
1016  0xffffffffffff476e, 0xffffffffffff45f5,
1017  0xffffffffffff37ce, 0xffffffffffff3635,
1018  0xffffffffffffc27a, 0xffffffffffffc1fd,
1019  0xffffffffffff8571, 0xffffffffffff8477,
1020  0xffffffffffff75d1, 0xffffffffffff74b7,
1021  0xffffffffffff745a, 0xffffffffffff733d,
1022  0xffffffffffffc2f7, 0xffffffffffffc27b,
1023  0xffffffffffffb357, 0xffffffffffffb2bb,
1024  0xffffffffffffb1e0, 0xffffffffffffb141,
1025  0xffffffffffffb0e6, 0xffffffffffffb045,
1026  0xfffffffffffff060, 0xfffffffffffff041,
1027  0xffffffffffffeee9, 0xffffffffffffeec7,
1028  0xffffffffffffedef, 0xffffffffffffedcb,
1029  0xffffffffffffed72, 0xffffffffffffed4d,
1030  0xfffffffffffffe86, 0xfffffffffffffe84,
1031  0xfffffffffffffd8a, 0xfffffffffffffd86,
1032  0xfffffffffffffd0c, 0xfffffffffffffd07,
1033  0xfffffffffffffd0c, 0xfffffffffffffd07,
1034  0xffffffffffffff04, 0xffffffffffffff03,
1035  0xfffffffffffffe86, 0xfffffffffffffe84,
1036  0xfffffffffffffe86, 0xfffffffffffffe84,
1037  0xffffffffffffff04, 0xffffffffffffff03,
1038  0xffffffffffffff82, 0xffffffffffffff82,
1039  0xffffffffffffff82, 0xffffffffffffff82,
1040  0x0000000000000000, 0x0000000000000001,
1041  0x00000000000000fc, 0x00000000000000ff,
1042  0x0000000000000000, 0x0000000000000001,
1043  0x000000000000007e, 0x0000000000000080,
1044  0x000000000000017a, 0x000000000000017e,
1045  0x000000000000113a, 0x000000000000115e,
1046  0x000000000000007e, 0x0000000000000080,
1047  0x000000000000017a, 0x000000000000017e,
1048  0x000000000000113a, 0x000000000000115e,
1049  0x0000000000004ec0, 0x0000000000004f61,
1050  0x00000000000000fc, 0x00000000000000ff,
1051  0x00000000000010bc, 0x00000000000010df,
1052  0x0000000000004e42, 0x0000000000004ee2,
1053  0x0000000000008c46, 0x0000000000008d64,
1054  0x0000000000000fc0, 0x0000000000000fe1,
1055  0x0000000000004d46, 0x0000000000004de4,
1056  0x0000000000008b4a, 0x0000000000008c66,
1057  0x000000000000c9cc, 0x000000000000cb67,
1058  0x0000000000003d86, 0x0000000000003e04,
1059  0x0000000000007b8a, 0x0000000000007c86,
1060  0x000000000000ba0c, 0x000000000000bb87,
1061  0x00000000003fb892, 0x0000000000403a0a,
1062  0x0000000000003e04, 0x0000000000003e83,
1063  0x0000000000007c86, 0x0000000000007d84,
1064  0x00000000003f7b0c, 0x00000000003ffc07,
1065  0x00000000007e7a10, 0x00000000007f7b09,
1066  0x0000000000003e82, 0x0000000000003f02,
1067  0x00000000003f3d08, 0x00000000003fbd85,
1068  0x00000000007e3c0c, 0x00000000007f3c87,
1069  0x0000000000bd3b8e, 0x0000000000bebc08,
1070  0x00000000003efe86, 0x00000000003f7e84,
1071  0x00000000007dfd8a, 0x00000000007efd86,
1072  0x0000000000bcfd0c, 0x0000000000be7d07,
1073  0x0000001933f03026, 0x000000196724e354,
1074  0x00000000003eff04, 0x00000000003f7f03,
1075  0x00000000007dfe86, 0x00000000007efe84,
1076  0x0000001933b131a0, 0x0000001966e564d1,
1077  0x0000004333b13176, 0x00000043bc3ab9fc,
1078  0x00000000003eff82, 0x00000000003f7f82,
1079  0x000000193372329c, 0x0000001966a5e5cf,
1080  0x0000004333723272, 0x00000043bbfb3afa,
1081  0x00000082337230f8, 0x000000833bfb397d,
1082  0x000000193333331a, 0x000000196666664e,
1083  0x00000043333332f0, 0x00000043bbbbbb79,
1084  0x0000008233333176, 0x000000833bbbb9fc,
1085  0x000000c13333307a, 0x000000c2bbbbb8fe,
1086  0x00000029ffffffd6, 0x0000002a5555552c,
1087  0x00000068fffffe5c, 0x00000069d55553af,
1088  0x000000a7fffffd60, 0x000000a9555552b1,
1089  0x000000e6fffffce2, 0x000000e8d5555232,
1090  0x0000003efffffe86, 0x0000003f7ffffe84,
1091  0x0000007dfffffd8a, 0x0000007efffffd86,
1092  0x000000bcfffffd0c, 0x000000be7ffffd07,
1093  0x0000007dfffffd0c, 0x0000007efffffd07,
1094  0x0000003effffff04, 0x0000003f7fffff03,
1095  0x0000007dfffffe86, 0x0000007efffffe84,
1096  0x0000003efffffe86, 0x0000003f7ffffe84,
1097  0xffffffffffffff04, 0xffffffffffffff03,
1098  0x0000003effffff82, 0x0000003f7fffff82,
1099  0xffffffffffffff82, 0xffffffffffffff82,
1100  0xffffffc100000000, 0xffffffc080000001,
1101  0xffffff96ffffffac, 0xffffff962aaaaa57,
1102  0xffffffc100000000, 0xffffffc080000001,
1103  0xffffff820000007e, 0xffffff8100000080,
1104  0xffffff580000002a, 0xffffff56aaaaaad6,
1105  0xffffff3ecccccc92, 0xffffff3d4444440a,
1106  0xffffffc10000007e, 0xffffffc080000080,
1107  0xffffff970000002a, 0xffffff962aaaaad6,
1108  0xffffff7dcccccc92, 0xffffff7cc444440a,
1109  0xffffff7dcc8dcc92, 0xffffff7cc404c40a,
1110  0xffffffd5ffffffac, 0xffffffd5aaaaaa57,
1111  0xffffffbccccccc14, 0xffffffbc4444438b,
1112  0xffffffbccc8dcc14, 0xffffffbc4404c38b,
1113  0xffffffbccc4ecc92, 0xffffffbc43c5440a,
1114  0xffffffe6cccccc68, 0xffffffe699999935,
1115  0xffffffe6cc8dcc68, 0xffffffe6995a1935,
1116  0xffffffe6cc4ecce6, 0xffffffe6991a99b4,
1117  0xffffffe6cc0fcde2, 0xffffffe698db1ab2,
1118  0xffffffffffc10000, 0xffffffffffc08001,
1119  0xffffffffff82007e, 0xffffffffff810080,
1120  0xffffffffff43017a, 0xffffffffff41817e,
1121  0xffffffffff0402f4, 0xffffffffff0202fb,
1122  0xffffffffffc1007e, 0xffffffffffc08080,
1123  0xffffffffff82017a, 0xffffffffff81017e,
1124  0xffffffffff4302f4, 0xffffffffff4182fb,
1125  0xffffffffff42c3f4, 0xffffffffff41437b,
1126  0xffffffffffc100fc, 0xffffffffffc080ff,
1127  0xffffffffff820276, 0xffffffffff81027c,
1128  0xffffffffff81c376, 0xffffffffff80c2fc,
1129  0xffffffffff8184f4, 0xffffffffff8083fb,
1130  0xffffffffffc1017a, 0xffffffffffc0817e,
1131  0xffffffffffc0c27a, 0xffffffffffc041fe,
1132  0xffffffffffc083f8, 0xffffffffffc002fd,
1133  0xffffffffffc045f4, 0xffffffffffbfc47b,
1134  0xffffffffffffc100, 0xffffffffffffc081,
1135  0xffffffffffff827e, 0xffffffffffff8180,
1136  0xffffffffffff447a, 0xffffffffffff42fe,
1137  0xffffffffffff06f4, 0xffffffffffff04fb,
1138  0xffffffffffffc17e, 0xffffffffffffc100,
1139  0xffffffffffff837a, 0xffffffffffff827e,
1140  0xffffffffffff45f4, 0xffffffffffff447b,
1141  0xffffffffffff3634, 0xffffffffffff349b,
1142  0xffffffffffffc1fc, 0xffffffffffffc17f,
1143  0xffffffffffff8476, 0xffffffffffff837c,
1144  0xffffffffffff74b6, 0xffffffffffff739c,
1145  0xffffffffffff733c, 0xffffffffffff721f,
1146  0xffffffffffffc27a, 0xffffffffffffc1fe,
1147  0xffffffffffffb2ba, 0xffffffffffffb21e,
1148  0xffffffffffffb140, 0xffffffffffffb0a1,
1149  0xffffffffffffb044, 0xffffffffffffafa3,
1150  0xfffffffffffff040, 0xfffffffffffff021,
1151  0xffffffffffffeec6, 0xffffffffffffeea4,
1152  0xffffffffffffedca, 0xffffffffffffeda6,
1153  0xffffffffffffed4c, 0xffffffffffffed27,
1154  0xfffffffffffffe83, 0xfffffffffffe800a,
1155  0xfffffffffffffd85, 0xfffffffffffd8010,
1156  0xfffffffffffffd06, 0xfffffffffffd0013,
1157  0xfffffffffffffd06, 0xfffffffffffd0013,
1158  0xffffffffffffff02, 0xffffffffffff0007,
1159  0xfffffffffffffe83, 0xfffffffffffe800a,
1160  0xfffffffffffffe83, 0xfffffffffffe800a,
1161  0xffffffffffffff02, 0xffffffffffff0007,
1162  0xffffffffffffff81, 0xffffffffffff8004,
1163  0xffffffffffffff81, 0xffffffffffff8004,
1164  0x0000000000000000, 0x0000000000000001,
1165  0x00000000000000fe, 0x000000000000fffb,
1166  0x0000000000000000, 0x0000000000000001,
1167  0x000000000000007f, 0x0000000000007ffe,
1168  0x000000000000017d, 0x0000000000017ff8,
1169  0x000000000000115d, 0x0000000000117f98,
1170  0x000000000000007f, 0x0000000000007ffe,
1171  0x000000000000017d, 0x0000000000017ff8,
1172  0x000000000000115d, 0x0000000000117f98,
1173  0x0000000000004f60, 0x00000000004ffe21,
1174  0x00000000000000fe, 0x000000000000fffb,
1175  0x00000000000010de, 0x000000000010ff9b,
1176  0x0000000000004ee1, 0x00000000004f7e24,
1177  0x0000000000008d63, 0x00000000008e7caa,
1178  0x0000000000000fe0, 0x00000000000fffa1,
1179  0x0000000000004de3, 0x00000000004e7e2a,
1180  0x0000000000008c65, 0x00000000008d7cb0,
1181  0x000000000000cb66, 0x0000000000ccfb33,
1182  0x0000000000003e03, 0x00000000003e7e8a,
1183  0x0000000000007c85, 0x00000000007d7d10,
1184  0x000000000000bb86, 0x0000000000bcfb93,
1185  0x0000000000403a09, 0x0000000040b9fb9c,
1186  0x0000000000003e82, 0x00000000003efe87,
1187  0x0000000000007d83, 0x00000000007e7d0a,
1188  0x00000000003ffc06, 0x00000000407b7d13,
1189  0x00000000007f7b08, 0x000000008078fd19,
1190  0x0000000000003f01, 0x00000000003f7e84,
1191  0x00000000003fbd84, 0x00000000403c7e8d,
1192  0x00000000007f3c86, 0x000000008039fe93,
1193  0x0000000000bebc07, 0x00000000c037fe96,
1194  0x00000000003f7e83, 0x000000003ffd000a,
1195  0x00000000007efd85, 0x000000007ffa8010,
1196  0x0000000000be7d06, 0x00000000bff88013,
1197  0x000000196724e353, 0x00001999bff8667a,
1198  0x00000000003f7f02, 0x000000003ffd8007,
1199  0x00000000007efe83, 0x000000007ffb800a,
1200  0x0000001966e564d0, 0x000019997ffb6671,
1201  0x00000043bc3ab9fb, 0x000044432aa5e672,
1202  0x00000000003f7f81, 0x000000003ffe0004,
1203  0x0000001966a5e5ce, 0x000019993ffde66b,
1204  0x00000043bbfb3af9, 0x00004442eaa8666c,
1205  0x000000833bfb397c, 0x000084416aa6e675,
1206  0x000000196666664d, 0x00001998ffffe668,
1207  0x00000043bbbbbb78, 0x00004442aaaa6669,
1208  0x000000833bbbb9fb, 0x000084412aa8e672,
1209  0x000000c2bbbbb8fd, 0x0000c43faaa7e678,
1210  0x0000002a5555552b, 0x00002aa9aaaa8002,
1211  0x00000069d55553ae, 0x00006aa82aa9000b,
1212  0x000000a9555552b0, 0x0000aaa6aaa80011,
1213  0x000000e8d5555231, 0x0000eaa52aa78014,
1214  0x0000003f7ffffe83, 0x00003ffe7ffe800a,
1215  0x0000007efffffd85, 0x00007ffcfffd8010,
1216  0x000000be7ffffd06, 0x0000bffb7ffd0013,
1217  0x0000007efffffd06, 0x00007ffcfffd0013,
1218  0x0000003f7fffff02, 0x00003ffe7fff0007,
1219  0x0000007efffffe83, 0x00007ffcfffe800a,
1220  0x0000003f7ffffe83, 0x00003ffe7ffe800a,
1221  0xffffffffffffff02, 0xffffffffffff0007,
1222  0x0000003f7fffff81, 0x00003ffe7fff8004,
1223  0xffffffffffffff81, 0xffffffffffff8004,
1224  0xffffffc080000000, 0xffffc00180000001,
1225  0xffffff962aaaaa56, 0xffff9557d5550003,
1226  0xffffffc080000000, 0xffffc00180000001,
1227  0xffffff810000007f, 0xffff800300007ffe,
1228  0xffffff56aaaaaad5, 0xffff555955558000,
1229  0xffffff3d44444409, 0xffff3bc05555199c,
1230  0xffffffc08000007f, 0xffffc00180007ffe,
1231  0xffffff962aaaaad5, 0xffff9557d5558000,
1232  0xffffff7cc4444409, 0xffff7bbed555199c,
1233  0xffffff7cc404c409, 0xffff7bbe9556999c,
1234  0xffffffd5aaaaaa56, 0xffffd55655550003,
1235  0xffffffbc4444438a, 0xffffbbbd5554999f,
1236  0xffffffbc4404c38a, 0xffffbbbd1556199f,
1237  0xffffffbc43c54409, 0xffffbbbcd558199c,
1238  0xffffffe699999934, 0xffffe666ffff999d,
1239  0xffffffe6995a1934, 0xffffe666c001199d,
1240  0xffffffe6991a99b3, 0xffffe6668003199a,
1241  0xffffffe698db1ab1, 0xffffe66640059994,
1242  0xffffffffffc08000, 0xffffffffc0018001,
1243  0xffffffffff81007f, 0xffffffff80037ffe,
1244  0xffffffffff41817d, 0xffffffff4005fff8,
1245  0xffffffffff0202fa, 0xffffffff0008ffef,
1246  0xffffffffffc0807f, 0xffffffffc001fffe,
1247  0xffffffffff81017d, 0xffffffff80047ff8,
1248  0xffffffffff4182fa, 0xffffffff40077fef,
1249  0xffffffffff41437a, 0xffffffff3fc7816f,
1250  0xffffffffffc080fe, 0xffffffffc0027ffb,
1251  0xffffffffff81027b, 0xffffffff80057ff2,
1252  0xffffffffff80c2fb, 0xffffffff7fc58172,
1253  0xffffffffff8083fa, 0xffffffff7f8602ef,
1254  0xffffffffffc0817d, 0xffffffffc002fff8,
1255  0xffffffffffc041fd, 0xffffffffbfc30178,
1256  0xffffffffffc002fc, 0xffffffffbf8382f5,
1257  0xffffffffffbfc47a, 0xffffffffbf44846f,
1258  0xffffffffffffc080, 0xffffffffffc00181,
1259  0xffffffffffff817f, 0xffffffffff8082fe,
1260  0xffffffffffff42fd, 0xffffffffff418478,
1261  0xffffffffffff04fa, 0xffffffffff0305ef,
1262  0xffffffffffffc0ff, 0xffffffffffc0817e,
1263  0xffffffffffff827d, 0xffffffffff8182f8,
1264  0xffffffffffff447a, 0xffffffffff43046f,
1265  0xffffffffffff349a, 0xffffffffff3304cf,
1266  0xffffffffffffc17e, 0xffffffffffc1017b,
1267  0xffffffffffff837b, 0xffffffffff8282f2,
1268  0xffffffffffff739b, 0xffffffffff728352,
1269  0xffffffffffff721e, 0xffffffffff71035b,
1270  0xffffffffffffc1fd, 0xffffffffffc18178,
1271  0xffffffffffffb21d, 0xffffffffffb181d8,
1272  0xffffffffffffb0a0, 0xffffffffffb001e1,
1273  0xffffffffffffafa2, 0xffffffffffaf01e7,
1274  0xfffffffffffff020, 0xfffffffffff00061,
1275  0xffffffffffffeea3, 0xffffffffffee806a,
1276  0xffffffffffffeda5, 0xffffffffffed8070,
1277  0xffffffffffffed26, 0xffffffffffed0073,
1278  0xfffffffffffe8009, 0xfffffffffffe8007,
1279  0xfffffffffffd800f, 0xfffffffffffd800b,
1280  0xfffffffffffd0012, 0xfffffffffffd000d,
1281  0xfffffffffffd0012, 0xfffffffffffd000d,
1282  0xffffffffffff0006, 0xffffffffffff0005,
1283  0xfffffffffffe8009, 0xfffffffffffe8007,
1284  0xfffffffffffe8009, 0xfffffffffffe8007,
1285  0xffffffffffff0006, 0xffffffffffff0005,
1286  0xffffffffffff8003, 0xffffffffffff8003,
1287  0xffffffffffff8003, 0xffffffffffff8003,
1288  0x0000000000000000, 0x0000000000000001,
1289  0x000000000000fffa, 0x000000000000fffd,
1290  0x0000000000000000, 0x0000000000000001,
1291  0x0000000000007ffd, 0x0000000000007fff,
1292  0x0000000000017ff7, 0x0000000000017ffb,
1293  0x0000000000117f97, 0x0000000000117fbb,
1294  0x0000000000007ffd, 0x0000000000007fff,
1295  0x0000000000017ff7, 0x0000000000017ffb,
1296  0x0000000000117f97, 0x0000000000117fbb,
1297  0x00000000004ffe20, 0x00000000004ffec1,
1298  0x000000000000fffa, 0x000000000000fffd,
1299  0x000000000010ff9a, 0x000000000010ffbd,
1300  0x00000000004f7e23, 0x00000000004f7ec3,
1301  0x00000000008e7ca9, 0x00000000008e7dc7,
1302  0x00000000000fffa0, 0x00000000000fffc1,
1303  0x00000000004e7e29, 0x00000000004e7ec7,
1304  0x00000000008d7caf, 0x00000000008d7dcb,
1305  0x0000000000ccfb32, 0x0000000000ccfccd,
1306  0x00000000003e7e89, 0x00000000003e7f07,
1307  0x00000000007d7d0f, 0x00000000007d7e0b,
1308  0x0000000000bcfb92, 0x0000000000bcfd0d,
1309  0x0000000040b9fb9b, 0x0000000040ba7d13,
1310  0x00000000003efe86, 0x00000000003eff05,
1311  0x00000000007e7d09, 0x00000000007e7e07,
1312  0x00000000407b7d12, 0x00000000407bfe0d,
1313  0x000000008078fd18, 0x000000008079fe11,
1314  0x00000000003f7e83, 0x00000000003f7f03,
1315  0x00000000403c7e8c, 0x00000000403cff09,
1316  0x000000008039fe92, 0x00000000803aff0d,
1317  0x00000000c037fe95, 0x00000000c0397f0f,
1318  0x000000003ffd0009, 0x000000003ffd8007,
1319  0x000000007ffa800f, 0x000000007ffb800b,
1320  0x00000000bff88012, 0x00000000bffa000d,
1321  0x00001999bff86679, 0x00001999f32d19a7,
1322  0x000000003ffd8006, 0x000000003ffe0005,
1323  0x000000007ffb8009, 0x000000007ffc8007,
1324  0x000019997ffb6670, 0x00001999b32f99a1,
1325  0x000044432aa5e671, 0x00004443b32f6ef7,
1326  0x000000003ffe0003, 0x000000003ffe8003,
1327  0x000019993ffde66a, 0x000019997331999d,
1328  0x00004442eaa8666b, 0x0000444373316ef3,
1329  0x000084416aa6e674, 0x00008442732feef9,
1330  0x00001998ffffe667, 0x000019993333199b,
1331  0x00004442aaaa6668, 0x000044433332eef1,
1332  0x000084412aa8e671, 0x0000844233316ef7,
1333  0x0000c43faaa7e677, 0x0000c44133306efb,
1334  0x00002aa9aaaa8001, 0x00002aa9ffffd557,
1335  0x00006aa82aa9000a, 0x00006aa8fffe555d,
1336  0x0000aaa6aaa80010, 0x0000aaa7fffd5561,
1337  0x0000eaa52aa78013, 0x0000eaa6fffcd563,
1338  0x00003ffe7ffe8009, 0x00003ffefffe8007,
1339  0x00007ffcfffd800f, 0x00007ffdfffd800b,
1340  0x0000bffb7ffd0012, 0x0000bffcfffd000d,
1341  0x00007ffcfffd0012, 0x00007ffdfffd000d,
1342  0x00003ffe7fff0006, 0x00003ffeffff0005,
1343  0x00007ffcfffe8009, 0x00007ffdfffe8007,
1344  0x00003ffe7ffe8009, 0x00003ffefffe8007,
1345  0xffffffffffff0006, 0xffffffffffff0005,
1346  0x00003ffe7fff8003, 0x00003ffeffff8003,
1347  0xffffffffffff8003, 0xffffffffffff8003,
1348  0xffffc00180000000, 0xffffc00100000001,
1349  0xffff9557d5550002, 0xffff9556ffffaaad,
1350  0xffffc00180000000, 0xffffc00100000001,
1351  0xffff800300007ffd, 0xffff800200007fff,
1352  0xffff555955557fff, 0xffff555800002aab,
1353  0xffff3bc05555199b, 0xffff3bbecccc9113,
1354  0xffffc00180007ffd, 0xffffc00100007fff,
1355  0xffff9557d5557fff, 0xffff955700002aab,
1356  0xffff7bbed555199b, 0xffff7bbdcccc9113,
1357  0xffff7bbe9556999b, 0xffff7bbd8ccd9113,
1358  0xffffd55655550002, 0xffffd555ffffaaad,
1359  0xffffbbbd5554999e, 0xffffbbbccccc1115,
1360  0xffffbbbd1556199e, 0xffffbbbc8ccd1115,
1361  0xffffbbbcd558199b, 0xffffbbbc4cce9113,
1362  0xffffe666ffff999c, 0xffffe666cccc6669,
1363  0xffffe666c001199c, 0xffffe6668ccd6669,
1364  0xffffe66680031999, 0xffffe6664ccee667,
1365  0xffffe66640059993, 0xffffe6660cd0e663,
1366  0xffffffffc0018000, 0xffffffffc0010001,
1367  0xffffffff80037ffd, 0xffffffff80027fff,
1368  0xffffffff4005fff7, 0xffffffff40047ffb,
1369  0xffffffff0008ffee, 0xffffffff0006fff5,
1370  0xffffffffc001fffd, 0xffffffffc0017fff,
1371  0xffffffff80047ff7, 0xffffffff80037ffb,
1372  0xffffffff40077fee, 0xffffffff4005fff5,
1373  0xffffffff3fc7816e, 0xffffffff3fc600f5,
1374  0xffffffffc0027ffa, 0xffffffffc001fffd,
1375  0xffffffff80057ff1, 0xffffffff80047ff7,
1376  0xffffffff7fc58171, 0xffffffff7fc480f7,
1377  0xffffffff7f8602ee, 0xffffffff7f8501f5,
1378  0xffffffffc002fff7, 0xffffffffc0027ffb,
1379  0xffffffffbfc30177, 0xffffffffbfc280fb,
1380  0xffffffffbf8382f4, 0xffffffffbf8301f9,
1381  0xffffffffbf44846e, 0xffffffffbf4402f5,
1382  0xffffffffffc00180, 0xffffffffffc00101,
1383  0xffffffffff8082fd, 0xffffffffff8081ff,
1384  0xffffffffff418477, 0xffffffffff4182fb,
1385  0xffffffffff0305ee, 0xffffffffff0303f5,
1386  0xffffffffffc0817d, 0xffffffffffc080ff,
1387  0xffffffffff8182f7, 0xffffffffff8181fb,
1388  0xffffffffff43046e, 0xffffffffff4302f5,
1389  0xffffffffff3304ce, 0xffffffffff330335,
1390  0xffffffffffc1017a, 0xffffffffffc100fd,
1391  0xffffffffff8282f1, 0xffffffffff8281f7,
1392  0xffffffffff728351, 0xffffffffff728237,
1393  0xffffffffff71035a, 0xffffffffff71023d,
1394  0xffffffffffc18177, 0xffffffffffc180fb,
1395  0xffffffffffb181d7, 0xffffffffffb1813b,
1396  0xffffffffffb001e0, 0xffffffffffb00141,
1397  0xffffffffffaf01e6, 0xffffffffffaf0145,
1398  0xfffffffffff00060, 0xfffffffffff00041,
1399  0xffffffffffee8069, 0xffffffffffee8047,
1400  0xffffffffffed806f, 0xffffffffffed804b,
1401  0xffffffffffed0072, 0xffffffffffed004d,
1402  0xfffffffffffe8006, 0xfffffffffffe8004,
1403  0xfffffffffffd800a, 0xfffffffffffd8006,
1404  0xfffffffffffd000c, 0xfffffffffffd0007,
1405  0xfffffffffffd000c, 0xfffffffffffd0007,
1406  0xffffffffffff0004, 0xffffffffffff0003,
1407  0xfffffffffffe8006, 0xfffffffffffe8004,
1408  0xfffffffffffe8006, 0xfffffffffffe8004,
1409  0xffffffffffff0004, 0xffffffffffff0003,
1410  0xffffffffffff8002, 0xffffffffffff8002,
1411  0xffffffffffff8002, 0xffffffffffff8002,
1412  0x0000000000000000, 0x0000000000000001,
1413  0x000000000000fffc, 0x000000000000ffff,
1414  0x0000000000000000, 0x0000000000000001,
1415  0x0000000000007ffe, 0x0000000000008000,
1416  0x0000000000017ffa, 0x0000000000017ffe,
1417  0x0000000000117fba, 0x0000000000117fde,
1418  0x0000000000007ffe, 0x0000000000008000,
1419  0x0000000000017ffa, 0x0000000000017ffe,
1420  0x0000000000117fba, 0x0000000000117fde,
1421  0x00000000004ffec0, 0x00000000004fff61,
1422  0x000000000000fffc, 0x000000000000ffff,
1423  0x000000000010ffbc, 0x000000000010ffdf,
1424  0x00000000004f7ec2, 0x00000000004f7f62,
1425  0x00000000008e7dc6, 0x00000000008e7ee4,
1426  0x00000000000fffc0, 0x00000000000fffe1,
1427  0x00000000004e7ec6, 0x00000000004e7f64,
1428  0x00000000008d7dca, 0x00000000008d7ee6,
1429  0x0000000000ccfccc, 0x0000000000ccfe67,
1430  0x00000000003e7f06, 0x00000000003e7f84,
1431  0x00000000007d7e0a, 0x00000000007d7f06,
1432  0x0000000000bcfd0c, 0x0000000000bcfe87,
1433  0x0000000040ba7d12, 0x0000000040bafe8a,
1434  0x00000000003eff04, 0x00000000003eff83,
1435  0x00000000007e7e06, 0x00000000007e7f04,
1436  0x00000000407bfe0c, 0x00000000407c7f07,
1437  0x000000008079fe10, 0x00000000807aff09,
1438  0x00000000003f7f02, 0x00000000003f7f82,
1439  0x00000000403cff08, 0x00000000403d7f85,
1440  0x00000000803aff0c, 0x00000000803bff87,
1441  0x00000000c0397f0e, 0x00000000c03aff88,
1442  0x000000003ffd8006, 0x000000003ffe0004,
1443  0x000000007ffb800a, 0x000000007ffc8006,
1444  0x00000000bffa000c, 0x00000000bffb8007,
1445  0x00001999f32d19a6, 0x0000199a2661ccd4,
1446  0x000000003ffe0004, 0x000000003ffe8003,
1447  0x000000007ffc8006, 0x000000007ffd8004,
1448  0x00001999b32f99a0, 0x00001999e663ccd1,
1449  0x00004443b32f6ef6, 0x000044443bb8f77c,
1450  0x000000003ffe8002, 0x000000003fff0002,
1451  0x000019997331999c, 0x00001999a6654ccf,
1452  0x0000444373316ef2, 0x00004443fbba777a,
1453  0x00008442732feef8, 0x000084437bb8f77d,
1454  0x000019993333199a, 0x0000199966664cce,
1455  0x000044433332eef0, 0x00004443bbbb7779,
1456  0x0000844233316ef6, 0x000084433bb9f77c,
1457  0x0000c44133306efa, 0x0000c442bbb8f77e,
1458  0x00002aa9ffffd556, 0x00002aaa55552aac,
1459  0x00006aa8fffe555c, 0x00006aa9d553aaaf,
1460  0x0000aaa7fffd5560, 0x0000aaa95552aab1,
1461  0x0000eaa6fffcd562, 0x0000eaa8d5522ab2,
1462  0x00003ffefffe8006, 0x00003fff7ffe8004,
1463  0x00007ffdfffd800a, 0x00007ffefffd8006,
1464  0x0000bffcfffd000c, 0x0000bffe7ffd0007,
1465  0x00007ffdfffd000c, 0x00007ffefffd0007,
1466  0x00003ffeffff0004, 0x00003fff7fff0003,
1467  0x00007ffdfffe8006, 0x00007ffefffe8004,
1468  0x00003ffefffe8006, 0x00003fff7ffe8004,
1469  0xffffffffffff0004, 0xffffffffffff0003,
1470  0x00003ffeffff8002, 0x00003fff7fff8002,
1471  0xffffffffffff8002, 0xffffffffffff8002,
1472  0xffffc00100000000, 0xffffc00080000001,
1473  0xffff9556ffffaaac, 0xffff95562aaa5557,
1474  0xffffc00100000000, 0xffffc00080000001,
1475  0xffff800200007ffe, 0xffff800100008000,
1476  0xffff555800002aaa, 0xffff5556aaaad556,
1477  0xffff3bbecccc9112, 0xffff3bbd4444088a,
1478  0xffffc00100007ffe, 0xffffc00080008000,
1479  0xffff955700002aaa, 0xffff95562aaad556,
1480  0xffff7bbdcccc9112, 0xffff7bbcc444088a,
1481  0xffff7bbd8ccd9112, 0xffff7bbc8444888a,
1482  0xffffd555ffffaaac, 0xffffd555aaaa5557,
1483  0xffffbbbccccc1114, 0xffffbbbc4443888b,
1484  0xffffbbbc8ccd1114, 0xffffbbbc0444088b,
1485  0xffffbbbc4cce9112, 0xffffbbbbc445088a,
1486  0xffffe666cccc6668, 0xffffe66699993335,
1487  0xffffe6668ccd6668, 0xffffe6665999b335,
1488  0xffffe6664ccee666, 0xffffe666199ab334,
1489  0xffffe6660cd0e662, 0xffffe665d99c3332,
1490  0xffffffffc0010000, 0xffffffffc0008001,
1491  0xffffffff80027ffe, 0xffffffff80018000,
1492  0xffffffff40047ffa, 0xffffffff4002fffe,
1493  0xffffffff0006fff4, 0xffffffff0004fffb,
1494  0xffffffffc0017ffe, 0xffffffffc0010000,
1495  0xffffffff80037ffa, 0xffffffff80027ffe,
1496  0xffffffff4005fff4, 0xffffffff40047ffb,
1497  0xffffffff3fc600f4, 0xffffffff3fc4807b,
1498  0xffffffffc001fffc, 0xffffffffc0017fff,
1499  0xffffffff80047ff6, 0xffffffff80037ffc,
1500  0xffffffff7fc480f6, 0xffffffff7fc3807c,
1501  0xffffffff7f8501f4, 0xffffffff7f8400fb,
1502  0xffffffffc0027ffa, 0xffffffffc001fffe,
1503  0xffffffffbfc280fa, 0xffffffffbfc2007e,
1504  0xffffffffbf8301f8, 0xffffffffbf8280fd,
1505  0xffffffffbf4402f4, 0xffffffffbf43817b,
1506  0xffffffffffc00100, 0xffffffffffc00081,
1507  0xffffffffff8081fe, 0xffffffffff808100,
1508  0xffffffffff4182fa, 0xffffffffff41817e,
1509  0xffffffffff0303f4, 0xffffffffff0301fb,
1510  0xffffffffffc080fe, 0xffffffffffc08080,
1511  0xffffffffff8181fa, 0xffffffffff8180fe,
1512  0xffffffffff4302f4, 0xffffffffff43017b,
1513  0xffffffffff330334, 0xffffffffff33019b,
1514  0xffffffffffc100fc, 0xffffffffffc1007f,
1515  0xffffffffff8281f6, 0xffffffffff8280fc,
1516  0xffffffffff728236, 0xffffffffff72811c,
1517  0xffffffffff71023c, 0xffffffffff71011f,
1518  0xffffffffffc180fa, 0xffffffffffc1807e,
1519  0xffffffffffb1813a, 0xffffffffffb1809e,
1520  0xffffffffffb00140, 0xffffffffffb000a1,
1521  0xffffffffffaf0144, 0xffffffffffaf00a3,
1522  0xfffffffffff00040, 0xfffffffffff00021,
1523  0xffffffffffee8046, 0xffffffffffee8024,
1524  0xffffffffffed804a, 0xffffffffffed8026,
1525  0xffffffffffed004c, 0xffffffffffed0027,
1526  0xfffffffffffe8003, 0xffffffff66666668,
1527  0xfffffffffffd8005, 0xffffffff00000002,
1528  0xfffffffffffd0006, 0xfffffffecccccccf,
1529  0xfffffffffffd0006, 0xfffffffecccccccf,
1530  0xffffffffffff0002, 0xffffffff9999999b,
1531  0xfffffffffffe8003, 0xffffffff66666668,
1532  0xfffffffffffe8003, 0xffffffff66666668,
1533  0xffffffffffff0002, 0xffffffff9999999b,
1534  0xffffffffffff8001, 0xffffffffccccccce,
1535  0xffffffffffff8001, 0xffffffffccccccce,
1536  0x0000000000000000, 0x0000000000000001,
1537  0x000000000000fffe, 0x0000000066666667,
1538  0x0000000000000000, 0x0000000000000001,
1539  0x0000000000007fff, 0x0000000033333334,
1540  0x0000000000017ffd, 0x000000009999999a,
1541  0x0000000000117fdd, 0x00000006fffffffa,
1542  0x0000000000007fff, 0x0000000033333334,
1543  0x0000000000017ffd, 0x000000009999999a,
1544  0x0000000000117fdd, 0x00000006fffffffa,
1545  0x00000000004fff60, 0x0000001fffffffe1,
1546  0x000000000000fffe, 0x0000000066666667,
1547  0x000000000010ffde, 0x00000006ccccccc7,
1548  0x00000000004f7f61, 0x0000001fccccccae,
1549  0x00000000008e7ee3, 0x00000038ffffffc8,
1550  0x00000000000fffe0, 0x0000000666666661,
1551  0x00000000004e7f63, 0x0000001f66666648,
1552  0x00000000008d7ee5, 0x0000003899999962,
1553  0x0000000000ccfe66, 0x00000051ffffffaf,
1554  0x00000000003e7f83, 0x00000018ffffffe8,
1555  0x00000000007d7f05, 0x0000003233333302,
1556  0x0000000000bcfe86, 0x0000004b9999994f,
1557  0x0000000040bafe89, 0x000019e499997fb6,
1558  0x00000000003eff82, 0x000000193333331b,
1559  0x00000000007e7f03, 0x0000003299999968,
1560  0x00000000407c7f06, 0x000019cb99997fcf,
1561  0x00000000807aff08, 0x00003364cccc9969,
1562  0x00000000003f7f81, 0x000000196666664e,
1563  0x00000000403d7f84, 0x000019b266664cb5,
1564  0x00000000803bff86, 0x0000334b9999664f,
1565  0x00000000c03aff87, 0x00004ce4ffffb31c,
1566  0x000000003ffe0003, 0x00001998ffffe668,
1567  0x000000007ffc8005, 0x0000333233330002,
1568  0x00000000bffb8006, 0x00004ccb99994ccf,
1569  0x0000199a2661ccd3, 0x0a3dbd6f5c28a8f8,
1570  0x000000003ffe8002, 0x000019993333199b,
1571  0x000000007ffd8003, 0x0000333299996668,
1572  0x00001999e663ccd0, 0x0a3da3d65c28c291,
1573  0x000044443bb8f77b, 0x1b4eb4e74b17b180,
1574  0x000000003fff0001, 0x0000199966664cce,
1575  0x00001999a6654cce, 0x0a3d8a3d28f5a8f7,
1576  0x00004443fbba7779, 0x1b4e9b4e17e497e6,
1577  0x000084437bb8f77c, 0x34e834e6fe4afe4d,
1578  0x0000199966664ccd, 0x0a3d70a3c28f5c2a,
1579  0x00004443bbbb7778, 0x1b4e81b4b17e4b19,
1580  0x000084433bb9f77b, 0x34e81b4d97e4b180,
1581  0x0000c442bbb8f77d, 0x4e81b4e6b17e4b1a,
1582  0x00002aaa55552aab, 0x11111110eeeeeef0,
1583  0x00006aa9d553aaae, 0x2aaaaaa9d5555557,
1584  0x0000aaa95552aab0, 0x44444442eeeeeef1,
1585  0x0000eaa8d5522ab1, 0x5ddddddc3bbbbbbe,
1586  0x00003fff7ffe8003, 0x19999998e6666668,
1587  0x00007ffefffd8005, 0x3333333200000002,
1588  0x0000bffe7ffd0006, 0x4ccccccb4ccccccf,
1589  0x00007ffefffd0006, 0x33333331cccccccf,
1590  0x00003fff7fff0002, 0x199999991999999b,
1591  0x00007ffefffe8003, 0x3333333266666668,
1592  0x00003fff7ffe8003, 0x19999998e6666668,
1593  0xffffffffffff0002, 0xffffffff9999999b,
1594  0x00003fff7fff8001, 0x199999994cccccce,
1595  0xffffffffffff8001, 0xffffffffccccccce,
1596  0xffffc00080000000, 0xe666666680000001,
1597  0xffff95562aaa5556, 0xd55555555ddddddf,
1598  0xffffc00080000000, 0xe666666680000001,
1599  0xffff800100007fff, 0xcccccccd33333334,
1600  0xffff5556aaaad555, 0xbbbbbbbc11111112,
1601  0xffff3bbd44440889, 0xb17e4b181b4e81b6,
1602  0xffffc00080007fff, 0xe6666666b3333334,
1603  0xffff95562aaad555, 0xd555555591111112,
1604  0xffff7bbcc4440889, 0xcb17e4b19b4e81b6,
1605  0xffff7bbc84448889, 0xcb17cb1801b501b6,
1606  0xffffd555aaaa5556, 0xeeeeeeeedddddddf,
1607  0xffffbbbc4443888a, 0xe4b17e4ae81b4e83,
1608  0xffffbbbc0444088a, 0xe4b164b14e81ce83,
1609  0xffffbbbbc4450889, 0xe4b14b17e81b81b6,
1610  0xffffe66699993334, 0xf5c28f5c0a3d70a5,
1611  0xffffe6665999b334, 0xf5c275c270a3f0a5,
1612  0xffffe666199ab333, 0xf5c25c290a3da3d8,
1613  0xffffe665d99c3331, 0xf5c2428fd70a8a3e,
1614  0xffffffffc0008000, 0xffffe66666668001,
1615  0xffffffff80017fff, 0xffffcccd00003334,
1616  0xffffffff4002fffd, 0xffffb333cccd199a,
1617  0xffffffff0004fffa, 0xffff999acccd3333,
1618  0xffffffffc000ffff, 0xffffe6669999b334,
1619  0xffffffff80027ffd, 0xffffcccd6666999a,
1620  0xffffffff40047ffa, 0xffffb3346666b333,
1621  0xffffffff3fc4807a, 0xffffb31acccd19b3,
1622  0xffffffffc0017ffe, 0xffffe666cccce667,
1623  0xffffffff80037ffb, 0xffffcccdcccd0000,
1624  0xffffffff7fc3807b, 0xffffccb433336680,
1625  0xffffffff7f8400fa, 0xffffcc9acccd0033,
1626  0xffffffffc001fffd, 0xffffe6670000199a,
1627  0xffffffffbfc2007d, 0xffffe64d6666801a,
1628  0xffffffffbf8280fc, 0xffffe634000019cd,
1629  0xffffffffbf43817a, 0xffffe61acccce6b3,
1630  0xffffffffffc00080, 0xffffffe666666681,
1631  0xffffffffff8080ff, 0xffffffcd00000034,
1632  0xffffffffff41817d, 0xffffffb3cccccd1a,
1633  0xffffffffff0301fa, 0xffffff9acccccd33,
1634  0xffffffffffc0807f, 0xffffffe6999999b4,
1635  0xffffffffff8180fd, 0xffffffcd6666669a,
1636  0xffffffffff43017a, 0xffffffb4666666b3,
1637  0xffffffffff33019a, 0xffffffae00000053,
1638  0xffffffffffc1007e, 0xffffffe6cccccce7,
1639  0xffffffffff8280fb, 0xffffffcdcccccd00,
1640  0xffffffffff72811b, 0xffffffc7666666a0,
1641  0xffffffffff71011e, 0xffffffc6cccccd07,
1642  0xffffffffffc1807d, 0xffffffe70000001a,
1643  0xffffffffffb1809d, 0xffffffe0999999ba,
1644  0xffffffffffb000a0, 0xffffffe000000021,
1645  0xffffffffffaf00a2, 0xffffffdf999999bb,
1646  0xfffffffffff00020, 0xfffffff9999999a1,
1647  0xffffffffffee8023, 0xfffffff900000008,
1648  0xffffffffffed8025, 0xfffffff8999999a2,
1649  0xffffffffffed0026, 0xfffffff86666666f,
1650  0xffffffff66666667, 0xffffffff00000002,
1651  0xffffffff00000001, 0xfffffffe55555558,
1652  0xfffffffeccccccce, 0xfffffffe00000003,
1653  0xfffffffeccccccce, 0xfffffffe00000003,
1654  0xffffffff9999999a, 0xffffffff55555557,
1655  0xffffffff66666667, 0xffffffff00000002,
1656  0xffffffff66666667, 0xffffffff00000002,
1657  0xffffffff9999999a, 0xffffffff55555557,
1658  0xffffffffcccccccd, 0xffffffffaaaaaaac,
1659  0xffffffffcccccccd, 0xffffffffaaaaaaac,
1660  0x0000000000000000, 0x0000000000000001,
1661  0x0000000066666666, 0x00000000aaaaaaab,
1662  0x0000000000000000, 0x0000000000000001,
1663  0x0000000033333333, 0x0000000055555556,
1664  0x0000000099999999, 0x0000000100000000,
1665  0x00000006fffffff9, 0x0000000baaaaaaa0,
1666  0x0000000033333333, 0x0000000055555556,
1667  0x0000000099999999, 0x0000000100000000,
1668  0x00000006fffffff9, 0x0000000baaaaaaa0,
1669  0x0000001fffffffe0, 0x0000003555555521,
1670  0x0000000066666666, 0x00000000aaaaaaab,
1671  0x00000006ccccccc6, 0x0000000b5555554b,
1672  0x0000001fccccccad, 0x00000034ffffffcc,
1673  0x00000038ffffffc7, 0x0000005effffffa2,
1674  0x0000000666666660, 0x0000000aaaaaaaa1,
1675  0x0000001f66666647, 0x0000003455555522,
1676  0x0000003899999961, 0x0000005e555554f8,
1677  0x00000051ffffffae, 0x00000088aaaaaa23,
1678  0x00000018ffffffe7, 0x00000029aaaaaa82,
1679  0x0000003233333301, 0x00000053aaaaaa58,
1680  0x0000004b9999994e, 0x0000007dffffff83,
1681  0x000019e499997fb5, 0x00002b27aaaa7f84,
1682  0x000000193333331a, 0x00000029ffffffd7,
1683  0x0000003299999967, 0x0000005455555502,
1684  0x000019cb99997fce, 0x00002afdffffd503,
1685  0x00003364cccc9968, 0x000055a7ffffaa59,
1686  0x000000196666664d, 0x0000002a5555552c,
1687  0x000019b266664cb4, 0x00002ad3ffffd52d,
1688  0x0000334b9999664e, 0x0000557dffffaa83,
1689  0x00004ce4ffffb31b, 0x000080285554d52e,
1690  0x00001998ffffe667, 0x00002aa9aaaa8002,
1691  0x0000333233330001, 0x00005553aaaa5558,
1692  0x00004ccb99994cce, 0x00007ffdffff8003,
1693  0x0a3dbd6f5c28a8f7, 0x1111910eeeee6ef2,
1694  0x000019993333199a, 0x00002aa9ffffd557,
1695  0x0000333299996667, 0x0000555455550002,
1696  0x0a3da3d65c28c290, 0x111166654443eef1,
1697  0x1b4eb4e74b17b17f, 0x2d832d817d277d2a,
1698  0x0000199966664ccd, 0x00002aaa55552aac,
1699  0x0a3d8a3d28f5a8f6, 0x11113bbb4444199b,
1700  0x1b4e9b4e17e497e5, 0x2d8302d77d27a7d4,
1701  0x34e834e6fe4afe4c, 0x582dad80fd27a7d5,
1702  0x0a3d70a3c28f5c29, 0x11111110eeeeeef0,
1703  0x1b4e81b4b17e4b18, 0x2d82d82d27d27d29,
1704  0x34e81b4d97e4b17f, 0x582d82d6a7d27d2a,
1705  0x4e81b4e6b17e4b19, 0x82d82d807d27d280,
1706  0x11111110eeeeeeef, 0x1c71c71c38e38e3a,
1707  0x2aaaaaa9d5555556, 0x471c71c5b8e38e3b,
1708  0x44444442eeeeeef0, 0x71c71c6f8e38e391,
1709  0x5ddddddc3bbbbbbd, 0x9c71c719b8e38e3c,
1710  0x19999998e6666667, 0x2aaaaaa980000002,
1711  0x3333333200000001, 0x5555555355555558,
1712  0x4ccccccb4cccccce, 0x7ffffffd80000003,
1713  0x33333331ccccccce, 0x5555555300000003,
1714  0x199999991999999a, 0x2aaaaaa9d5555557,
1715  0x3333333266666667, 0x5555555400000002,
1716  0x19999998e6666667, 0x2aaaaaa980000002,
1717  0xffffffff9999999a, 0xffffffff55555557,
1718  0x199999994ccccccd, 0x2aaaaaaa2aaaaaac,
1719  0xffffffffcccccccd, 0xffffffffaaaaaaac,
1720  0xe666666680000000, 0xd555555580000001,
1721  0xd55555555dddddde, 0xb8e38e38f1c71c73,
1722  0xe666666680000000, 0xd555555580000001,
1723  0xcccccccd33333333, 0xaaaaaaab55555556,
1724  0xbbbbbbbc11111111, 0x8e38e38ec71c71c8,
1725  0xb17e4b181b4e81b5, 0x7d27d27d82d82d84,
1726  0xe6666666b3333333, 0xd5555555d5555556,
1727  0xd555555591111111, 0xb8e38e39471c71c8,
1728  0xcb17e4b19b4e81b5, 0xa7d27d2802d82d84,
1729  0xcb17cb1801b501b5, 0xa7d2527d582dad84,
1730  0xeeeeeeeeddddddde, 0xe38e38e371c71c73,
1731  0xe4b17e4ae81b4e82, 0xd27d27d22d82d82f,
1732  0xe4b164b14e81ce82, 0xd27cfd2782d8582f,
1733  0xe4b14b17e81b81b5, 0xd27cd27d2d832d84,
1734  0xf5c28f5c0a3d70a4, 0xeeeeeeeebbbbbbbd,
1735  0xf5c275c270a3f0a4, 0xeeeec44411113bbd,
1736  0xf5c25c290a3da3d7, 0xeeee9999bbbc1112,
1737  0xf5c2428fd70a8a3d, 0xeeee6eefbbbc3bbc,
1738  0xffffe66666668000, 0xffffd55555558001,
1739  0xffffcccd00003333, 0xffffaaab00005556,
1740  0xffffb333cccd1999, 0xffff800100008000,
1741  0xffff999acccd3332, 0xffff55575555ffff,
1742  0xffffe6669999b333, 0xffffd555aaaad556,
1743  0xffffcccd66669999, 0xffffaaabaaab0000,
1744  0xffffb3346666b332, 0xffff800200007fff,
1745  0xffffb31acccd19b2, 0xffff7fd75555d57f,
1746  0xffffe666cccce666, 0xffffd55600002aab,
1747  0xffffcccdccccffff, 0xffffaaac5555aaaa,
1748  0xffffccb43333667f, 0xffffaa81aaab002a,
1749  0xffffcc9acccd0032, 0xffffaa575555aaff,
1750  0xffffe66700001999, 0xffffd55655558000,
1751  0xffffe64d66668019, 0xffffd52baaaad580,
1752  0xffffe634000019cc, 0xffffd50155558055,
1753  0xffffe61acccce6b2, 0xffffd4d75555807f,
1754  0xffffffe666666680, 0xffffffd555555581,
1755  0xffffffcd00000033, 0xffffffab00000056,
1756  0xffffffb3cccccd19, 0xffffff8100000080,
1757  0xffffff9acccccd32, 0xffffff57555555ff,
1758  0xffffffe6999999b3, 0xffffffd5aaaaaad6,
1759  0xffffffcd66666699, 0xffffffabaaaaab00,
1760  0xffffffb4666666b2, 0xffffff820000007f,
1761  0xffffffae00000052, 0xffffff77555555df,
1762  0xffffffe6cccccce6, 0xffffffd60000002b,
1763  0xffffffcdccccccff, 0xffffffac555555aa,
1764  0xffffffc76666669f, 0xffffffa1aaaaab0a,
1765  0xffffffc6cccccd06, 0xffffffa0aaaaab0b,
1766  0xffffffe700000019, 0xffffffd655555580,
1767  0xffffffe0999999b9, 0xffffffcbaaaaaae0,
1768  0xffffffe000000020, 0xffffffcaaaaaaae1,
1769  0xffffffdf999999ba, 0xffffffca00000037,
1770  0xfffffff9999999a0, 0xfffffff555555561,
1771  0xfffffff900000007, 0xfffffff455555562,
1772  0xfffffff8999999a1, 0xfffffff3aaaaaab8,
1773  0xfffffff86666666e, 0xfffffff355555563,
1774  0xffffffff00000001, 0xfffffffe8000000a,
1775  0xfffffffe55555557, 0xfffffffd80000010,
1776  0xfffffffe00000002, 0xfffffffd00000013,
1777  0xfffffffe00000002, 0xfffffffd00000013,
1778  0xffffffff55555556, 0xffffffff00000007,
1779  0xffffffff00000001, 0xfffffffe8000000a,
1780  0xffffffff00000001, 0xfffffffe8000000a,
1781  0xffffffff55555556, 0xffffffff00000007,
1782  0xffffffffaaaaaaab, 0xffffffff80000004,
1783  0xffffffffaaaaaaab, 0xffffffff80000004,
1784  0x0000000000000000, 0x0000000000000001,
1785  0x00000000aaaaaaaa, 0x00000000fffffffb,
1786  0x0000000000000000, 0x0000000000000001,
1787  0x0000000055555555, 0x000000007ffffffe,
1788  0x00000000ffffffff, 0x000000017ffffff8,
1789  0x0000000baaaaaa9f, 0x000000117fffff98,
1790  0x0000000055555555, 0x000000007ffffffe,
1791  0x00000000ffffffff, 0x000000017ffffff8,
1792  0x0000000baaaaaa9f, 0x000000117fffff98,
1793  0x0000003555555520, 0x0000004ffffffe21,
1794  0x00000000aaaaaaaa, 0x00000000fffffffb,
1795  0x0000000b5555554a, 0x00000010ffffff9b,
1796  0x00000034ffffffcb, 0x0000004f7ffffe24,
1797  0x0000005effffffa1, 0x0000008e7ffffcaa,
1798  0x0000000aaaaaaaa0, 0x0000000fffffffa1,
1799  0x0000003455555521, 0x0000004e7ffffe2a,
1800  0x0000005e555554f7, 0x0000008d7ffffcb0,
1801  0x00000088aaaaaa22, 0x000000ccfffffb33,
1802  0x00000029aaaaaa81, 0x0000003e7ffffe8a,
1803  0x00000053aaaaaa57, 0x0000007d7ffffd10,
1804  0x0000007dffffff82, 0x000000bcfffffb93,
1805  0x00002b27aaaa7f83, 0x000040bb7ffe7b9c,
1806  0x00000029ffffffd6, 0x0000003efffffe87,
1807  0x0000005455555501, 0x0000007e7ffffd0a,
1808  0x00002afdffffd502, 0x0000407cfffe7d13,
1809  0x000055a7ffffaa58, 0x0000807bfffcfd19,
1810  0x0000002a5555552b, 0x0000003f7ffffe84,
1811  0x00002ad3ffffd52c, 0x0000403dfffe7e8d,
1812  0x0000557dffffaa82, 0x0000803cfffcfe93,
1813  0x000080285554d52d, 0x0000c03c7ffb7e96,
1814  0x00002aa9aaaa8001, 0x00003ffe7ffe800a,
1815  0x00005553aaaa5557, 0x00007ffd7ffd0010,
1816  0x00007ffdffff8002, 0x0000bffcfffb8013,
1817  0x1111910eeeee6ef1, 0x199a5995e661e67a,
1818  0x00002aa9ffffd556, 0x00003ffefffe8007,
1819  0x0000555455550001, 0x00007ffe7ffd000a,
1820  0x111166654443eef0, 0x199a199766636671,
1821  0x2d832d817d277d29, 0x4444c440e6636672,
1822  0x00002aaa55552aab, 0x00003fff7ffe8004,
1823  0x11113bbb4444199a, 0x1999d9986664e66b,
1824  0x2d8302d77d27a7d3, 0x44448441e664e66c,
1825  0x582dad80fd27a7d4, 0x8444843ee664e675,
1826  0x11111110eeeeeeef, 0x19999998e6666668,
1827  0x2d82d82d27d27d28, 0x4444444266666669,
1828  0x582d82d6a7d27d29, 0x8444443f66666672,
1829  0x82d82d807d27d27f, 0xc444443ce6666678,
1830  0x1c71c71c38e38e39, 0x2aaaaaa980000002,
1831  0x471c71c5b8e38e3a, 0x6aaaaaa68000000b,
1832  0x71c71c6f8e38e390, 0xaaaaaaa400000011,
1833  0x9c71c719b8e38e3b, 0xeaaaaaa200000014,
1834  0x2aaaaaa980000001, 0x3ffffffd0000000a,
1835  0x5555555355555557, 0x7ffffffa80000010,
1836  0x7ffffffd80000002, 0xbffffff880000013,
1837  0x5555555300000002, 0x7ffffffa00000013,
1838  0x2aaaaaa9d5555556, 0x3ffffffd80000007,
1839  0x5555555400000001, 0x7ffffffb8000000a,
1840  0x2aaaaaa980000001, 0x3ffffffd0000000a,
1841  0xffffffff55555556, 0xffffffff00000007,
1842  0x2aaaaaaa2aaaaaab, 0x3ffffffe00000004,
1843  0xffffffffaaaaaaab, 0xffffffff80000004,
1844  0xd555555580000000, 0xc000000180000001,
1845  0xb8e38e38f1c71c72, 0x9555555780000003,
1846  0xd555555580000000, 0xc000000180000001,
1847  0xaaaaaaab55555555, 0x800000037ffffffe,
1848  0x8e38e38ec71c71c7, 0x5555555980000000,
1849  0x7d27d27d82d82d83, 0x3bbbbbc01999999c,
1850  0xd5555555d5555555, 0xc0000001fffffffe,
1851  0xb8e38e39471c71c7, 0x9555555800000000,
1852  0xa7d27d2802d82d83, 0x7bbbbbbe9999999c,
1853  0xa7d2527d582dad83, 0x7bbb7bbe999b199c,
1854  0xe38e38e371c71c72, 0xd555555600000003,
1855  0xd27d27d22d82d82e, 0xbbbbbbbc9999999f,
1856  0xd27cfd2782d8582e, 0xbbbb7bbc999b199f,
1857  0xd27cd27d2d832d83, 0xbbbb3bbd199c999c,
1858  0xeeeeeeeebbbbbbbc, 0xe66666669999999d,
1859  0xeeeec44411113bbc, 0xe6662666999b199d,
1860  0xeeee9999bbbc1111, 0xe665e667199c999a,
1861  0xeeee6eefbbbc3bbb, 0xe665a668199e1994,
1862  0xffffd55555558000, 0xffffc00000018001,
1863  0xffffaaab00005555, 0xffff80008002fffe,
1864  0xffff800100007fff, 0xffff400180047ff8,
1865  0xffff55575555fffe, 0xffff00030005ffef,
1866  0xffffd555aaaad555, 0xffffc00080017ffe,
1867  0xffffaaabaaaaffff, 0xffff80018002fff8,
1868  0xffff800200007ffe, 0xffff400300047fef,
1869  0xffff7fd75555d57e, 0xffff3fc30004816f,
1870  0xffffd55600002aaa, 0xffffc00100017ffb,
1871  0xffffaaac5555aaa9, 0xffff80028002fff2,
1872  0xffffaa81aaab0029, 0xffff7fc280030172,
1873  0xffffaa575555aafe, 0xffff7f83000302ef,
1874  0xffffd55655557fff, 0xffffc00180017ff8,
1875  0xffffd52baaaad57f, 0xffffbfc180018178,
1876  0xffffd50155558054, 0xffffbf82000182f5,
1877  0xffffd4d75555807e, 0xffffbf430001846f,
1878  0xffffffd555555580, 0xffffffc000000181,
1879  0xffffffab00000055, 0xffffff80800002fe,
1880  0xffffff810000007f, 0xffffff4180000478,
1881  0xffffff57555555fe, 0xffffff03000005ef,
1882  0xffffffd5aaaaaad5, 0xffffffc08000017e,
1883  0xffffffabaaaaaaff, 0xffffff81800002f8,
1884  0xffffff820000007e, 0xffffff430000046f,
1885  0xffffff77555555de, 0xffffff33000004cf,
1886  0xffffffd60000002a, 0xffffffc10000017b,
1887  0xffffffac555555a9, 0xffffff82800002f2,
1888  0xffffffa1aaaaab09, 0xffffff7280000352,
1889  0xffffffa0aaaaab0a, 0xffffff710000035b,
1890  0xffffffd65555557f, 0xffffffc180000178,
1891  0xffffffcbaaaaaadf, 0xffffffb1800001d8,
1892  0xffffffcaaaaaaae0, 0xffffffb0000001e1,
1893  0xffffffca00000036, 0xffffffaf000001e7,
1894  0xfffffff555555560, 0xfffffff000000061,
1895  0xfffffff455555561, 0xffffffee8000006a,
1896  0xfffffff3aaaaaab7, 0xffffffed80000070,
1897  0xfffffff355555562, 0xffffffed00000073,
1898  0xfffffffe80000009, 0xfffffffe80000007,
1899  0xfffffffd8000000f, 0xfffffffd8000000b,
1900  0xfffffffd00000012, 0xfffffffd0000000d,
1901  0xfffffffd00000012, 0xfffffffd0000000d,
1902  0xffffffff00000006, 0xffffffff00000005,
1903  0xfffffffe80000009, 0xfffffffe80000007,
1904  0xfffffffe80000009, 0xfffffffe80000007,
1905  0xffffffff00000006, 0xffffffff00000005,
1906  0xffffffff80000003, 0xffffffff80000003,
1907  0xffffffff80000003, 0xffffffff80000003,
1908  0x0000000000000000, 0x0000000000000001,
1909  0x00000000fffffffa, 0x00000000fffffffd,
1910  0x0000000000000000, 0x0000000000000001,
1911  0x000000007ffffffd, 0x000000007fffffff,
1912  0x000000017ffffff7, 0x000000017ffffffb,
1913  0x000000117fffff97, 0x000000117fffffbb,
1914  0x000000007ffffffd, 0x000000007fffffff,
1915  0x000000017ffffff7, 0x000000017ffffffb,
1916  0x000000117fffff97, 0x000000117fffffbb,
1917  0x0000004ffffffe20, 0x0000004ffffffec1,
1918  0x00000000fffffffa, 0x00000000fffffffd,
1919  0x00000010ffffff9a, 0x00000010ffffffbd,
1920  0x0000004f7ffffe23, 0x0000004f7ffffec3,
1921  0x0000008e7ffffca9, 0x0000008e7ffffdc7,
1922  0x0000000fffffffa0, 0x0000000fffffffc1,
1923  0x0000004e7ffffe29, 0x0000004e7ffffec7,
1924  0x0000008d7ffffcaf, 0x0000008d7ffffdcb,
1925  0x000000ccfffffb32, 0x000000ccfffffccd,
1926  0x0000003e7ffffe89, 0x0000003e7fffff07,
1927  0x0000007d7ffffd0f, 0x0000007d7ffffe0b,
1928  0x000000bcfffffb92, 0x000000bcfffffd0d,
1929  0x000040bb7ffe7b9b, 0x000040bb7ffefd13,
1930  0x0000003efffffe86, 0x0000003effffff05,
1931  0x0000007e7ffffd09, 0x0000007e7ffffe07,
1932  0x0000407cfffe7d12, 0x0000407cfffefe0d,
1933  0x0000807bfffcfd18, 0x0000807bfffdfe11,
1934  0x0000003f7ffffe83, 0x0000003f7fffff03,
1935  0x0000403dfffe7e8c, 0x0000403dfffeff09,
1936  0x0000803cfffcfe92, 0x0000803cfffdff0d,
1937  0x0000c03c7ffb7e95, 0x0000c03c7ffcff0f,
1938  0x00003ffe7ffe8009, 0x00003ffe7fff0007,
1939  0x00007ffd7ffd000f, 0x00007ffd7ffe000b,
1940  0x0000bffcfffb8012, 0x0000bffcfffd000d,
1941  0x199a5995e661e679, 0x199a5996199699a7,
1942  0x00003ffefffe8006, 0x00003ffeffff0005,
1943  0x00007ffe7ffd0009, 0x00007ffe7ffe0007,
1944  0x199a199766636670, 0x199a1997999799a1,
1945  0x4444c440e6636671, 0x4444c4416eeceef7,
1946  0x00003fff7ffe8003, 0x00003fff7fff0003,
1947  0x1999d9986664e66a, 0x1999d9989998999d,
1948  0x44448441e664e66b, 0x444484426eedeef3,
1949  0x8444843ee664e674, 0x8444843feeedeef9,
1950  0x19999998e6666667, 0x199999991999999b,
1951  0x4444444266666668, 0x44444442eeeeeef1,
1952  0x8444443f66666671, 0x844444406eeeeef7,
1953  0xc444443ce6666677, 0xc444443e6eeeeefb,
1954  0x2aaaaaa980000001, 0x2aaaaaa9d5555557,
1955  0x6aaaaaa68000000a, 0x6aaaaaa75555555d,
1956  0xaaaaaaa400000010, 0xaaaaaaa555555561,
1957  0xeaaaaaa200000013, 0xeaaaaaa3d5555563,
1958  0x3ffffffd00000009, 0x3ffffffd80000007,
1959  0x7ffffffa8000000f, 0x7ffffffb8000000b,
1960  0xbffffff880000012, 0xbffffffa0000000d,
1961  0x7ffffffa00000012, 0x7ffffffb0000000d,
1962  0x3ffffffd80000006, 0x3ffffffe00000005,
1963  0x7ffffffb80000009, 0x7ffffffc80000007,
1964  0x3ffffffd00000009, 0x3ffffffd80000007,
1965  0xffffffff00000006, 0xffffffff00000005,
1966  0x3ffffffe00000003, 0x3ffffffe80000003,
1967  0xffffffff80000003, 0xffffffff80000003,
1968  0xc000000180000000, 0xc000000100000001,
1969  0x9555555780000002, 0x95555556aaaaaaad,
1970  0xc000000180000000, 0xc000000100000001,
1971  0x800000037ffffffd, 0x800000027fffffff,
1972  0x555555597fffffff, 0x555555582aaaaaab,
1973  0x3bbbbbc01999999b, 0x3bbbbbbe91111113,
1974  0xc0000001fffffffd, 0xc00000017fffffff,
1975  0x95555557ffffffff, 0x955555572aaaaaab,
1976  0x7bbbbbbe9999999b, 0x7bbbbbbd91111113,
1977  0x7bbb7bbe999b199b, 0x7bbb7bbd91121113,
1978  0xd555555600000002, 0xd5555555aaaaaaad,
1979  0xbbbbbbbc9999999e, 0xbbbbbbbc11111115,
1980  0xbbbb7bbc999b199e, 0xbbbb7bbc11121115,
1981  0xbbbb3bbd199c999b, 0xbbbb3bbc91131113,
1982  0xe66666669999999c, 0xe666666666666669,
1983  0xe6662666999b199c, 0xe666266666676669,
1984  0xe665e667199c9999, 0xe665e666e6686667,
1985  0xe665a668199e1993, 0xe665a667e6696663,
1986  0xffffc00000018000, 0xffffc00000010001,
1987  0xffff80008002fffd, 0xffff80008001ffff,
1988  0xffff400180047ff7, 0xffff40018002fffb,
1989  0xffff00030005ffee, 0xffff00030003fff5,
1990  0xffffc00080017ffd, 0xffffc0008000ffff,
1991  0xffff80018002fff7, 0xffff80018001fffb,
1992  0xffff400300047fee, 0xffff40030002fff5,
1993  0xffff3fc30004816e, 0xffff3fc3000300f5,
1994  0xffffc00100017ffa, 0xffffc0010000fffd,
1995  0xffff80028002fff1, 0xffff80028001fff7,
1996  0xffff7fc280030171, 0xffff7fc2800200f7,
1997  0xffff7f83000302ee, 0xffff7f83000201f5,
1998  0xffffc00180017ff7, 0xffffc0018000fffb,
1999  0xffffbfc180018177, 0xffffbfc1800100fb,
2000  0xffffbf82000182f4, 0xffffbf82000101f9,
2001  0xffffbf430001846e, 0xffffbf43000102f5,
2002  0xffffffc000000180, 0xffffffc000000101,
2003  0xffffff80800002fd, 0xffffff80800001ff,
2004  0xffffff4180000477, 0xffffff41800002fb,
2005  0xffffff03000005ee, 0xffffff03000003f5,
2006  0xffffffc08000017d, 0xffffffc0800000ff,
2007  0xffffff81800002f7, 0xffffff81800001fb,
2008  0xffffff430000046e, 0xffffff43000002f5,
2009  0xffffff33000004ce, 0xffffff3300000335,
2010  0xffffffc10000017a, 0xffffffc1000000fd,
2011  0xffffff82800002f1, 0xffffff82800001f7,
2012  0xffffff7280000351, 0xffffff7280000237,
2013  0xffffff710000035a, 0xffffff710000023d,
2014  0xffffffc180000177, 0xffffffc1800000fb,
2015  0xffffffb1800001d7, 0xffffffb18000013b,
2016  0xffffffb0000001e0, 0xffffffb000000141,
2017  0xffffffaf000001e6, 0xffffffaf00000145,
2018  0xfffffff000000060, 0xfffffff000000041,
2019  0xffffffee80000069, 0xffffffee80000047,
2020  0xffffffed8000006f, 0xffffffed8000004b,
2021  0xffffffed00000072, 0xffffffed0000004d,
2022  0xfffffffe80000006, 0xfffffffe80000004,
2023  0xfffffffd8000000a, 0xfffffffd80000006,
2024  0xfffffffd0000000c, 0xfffffffd00000007,
2025  0xfffffffd0000000c, 0xfffffffd00000007,
2026  0xffffffff00000004, 0xffffffff00000003,
2027  0xfffffffe80000006, 0xfffffffe80000004,
2028  0xfffffffe80000006, 0xfffffffe80000004,
2029  0xffffffff00000004, 0xffffffff00000003,
2030  0xffffffff80000002, 0xffffffff80000002,
2031  0xffffffff80000002, 0xffffffff80000002,
2032  0x0000000000000000, 0x0000000000000001,
2033  0x00000000fffffffc, 0x00000000ffffffff,
2034  0x0000000000000000, 0x0000000000000001,
2035  0x000000007ffffffe, 0x0000000080000000,
2036  0x000000017ffffffa, 0x000000017ffffffe,
2037  0x000000117fffffba, 0x000000117fffffde,
2038  0x000000007ffffffe, 0x0000000080000000,
2039  0x000000017ffffffa, 0x000000017ffffffe,
2040  0x000000117fffffba, 0x000000117fffffde,
2041  0x0000004ffffffec0, 0x0000004fffffff61,
2042  0x00000000fffffffc, 0x00000000ffffffff,
2043  0x00000010ffffffbc, 0x00000010ffffffdf,
2044  0x0000004f7ffffec2, 0x0000004f7fffff62,
2045  0x0000008e7ffffdc6, 0x0000008e7ffffee4,
2046  0x0000000fffffffc0, 0x0000000fffffffe1,
2047  0x0000004e7ffffec6, 0x0000004e7fffff64,
2048  0x0000008d7ffffdca, 0x0000008d7ffffee6,
2049  0x000000ccfffffccc, 0x000000ccfffffe67,
2050  0x0000003e7fffff06, 0x0000003e7fffff84,
2051  0x0000007d7ffffe0a, 0x0000007d7fffff06,
2052  0x000000bcfffffd0c, 0x000000bcfffffe87,
2053  0x000040bb7ffefd12, 0x000040bb7fff7e8a,
2054  0x0000003effffff04, 0x0000003effffff83,
2055  0x0000007e7ffffe06, 0x0000007e7fffff04,
2056  0x0000407cfffefe0c, 0x0000407cffff7f07,
2057  0x0000807bfffdfe10, 0x0000807bfffeff09,
2058  0x0000003f7fffff02, 0x0000003f7fffff82,
2059  0x0000403dfffeff08, 0x0000403dffff7f85,
2060  0x0000803cfffdff0c, 0x0000803cfffeff87,
2061  0x0000c03c7ffcff0e, 0x0000c03c7ffe7f88,
2062  0x00003ffe7fff0006, 0x00003ffe7fff8004,
2063  0x00007ffd7ffe000a, 0x00007ffd7fff0006,
2064  0x0000bffcfffd000c, 0x0000bffcfffe8007,
2065  0x199a5996199699a6, 0x199a59964ccb4cd4,
2066  0x00003ffeffff0004, 0x00003ffeffff8003,
2067  0x00007ffe7ffe0006, 0x00007ffe7fff0004,
2068  0x199a1997999799a0, 0x199a1997cccbccd1,
2069  0x4444c4416eeceef6, 0x4444c441f776777c,
2070  0x00003fff7fff0002, 0x00003fff7fff8002,
2071  0x1999d9989998999c, 0x1999d998cccc4ccf,
2072  0x444484426eedeef2, 0x44448442f776f77a,
2073  0x8444843feeedeef8, 0x84448440f776f77d,
2074  0x199999991999999a, 0x199999994cccccce,
2075  0x44444442eeeeeef0, 0x4444444377777779,
2076  0x844444406eeeeef6, 0x844444417777777c,
2077  0xc444443e6eeeeefa, 0xc444443ff777777e,
2078  0x2aaaaaa9d5555556, 0x2aaaaaaa2aaaaaac,
2079  0x6aaaaaa75555555c, 0x6aaaaaa82aaaaaaf,
2080  0xaaaaaaa555555560, 0xaaaaaaa6aaaaaab1,
2081  0xeaaaaaa3d5555562, 0xeaaaaaa5aaaaaab2,
2082  0x3ffffffd80000006, 0x3ffffffe00000004,
2083  0x7ffffffb8000000a, 0x7ffffffc80000006,
2084  0xbffffffa0000000c, 0xbffffffb80000007,
2085  0x7ffffffb0000000c, 0x7ffffffc00000007,
2086  0x3ffffffe00000004, 0x3ffffffe80000003,
2087  0x7ffffffc80000006, 0x7ffffffd80000004,
2088  0x3ffffffd80000006, 0x3ffffffe00000004,
2089  0xffffffff00000004, 0xffffffff00000003,
2090  0x3ffffffe80000002, 0x3fffffff00000002,
2091  0xffffffff80000002, 0xffffffff80000002,
2092  0xc000000100000000, 0xc000000080000001,
2093  0x95555556aaaaaaac, 0x95555555d5555557,
2094  0xc000000100000000, 0xc000000080000001,
2095  0x800000027ffffffe, 0x8000000180000000,
2096  0x555555582aaaaaaa, 0x55555556d5555556,
2097  0x3bbbbbbe91111112, 0x3bbbbbbd0888888a,
2098  0xc00000017ffffffe, 0xc000000100000000,
2099  0x955555572aaaaaaa, 0x9555555655555556,
2100  0x7bbbbbbd91111112, 0x7bbbbbbc8888888a,
2101  0x7bbb7bbd91121112, 0x7bbb7bbc8889088a,
2102  0xd5555555aaaaaaac, 0xd555555555555557,
2103  0xbbbbbbbc11111114, 0xbbbbbbbb8888888b,
2104  0xbbbb7bbc11121114, 0xbbbb7bbb8889088b,
2105  0xbbbb3bbc91131112, 0xbbbb3bbc0889888a,
2106  0xe666666666666668, 0xe666666633333335,
2107  0xe666266666676668, 0xe66626663333b335,
2108  0xe665e666e6686666, 0xe665e666b3343334,
2109  0xe665a667e6696662, 0xe665a667b334b332,
2110  0xffffc00000010000, 0xffffc00000008001,
2111  0xffff80008001fffe, 0xffff800080010000,
2112  0xffff40018002fffa, 0xffff400180017ffe,
2113  0xffff00030003fff4, 0xffff00030001fffb,
2114  0xffffc0008000fffe, 0xffffc00080008000,
2115  0xffff80018001fffa, 0xffff80018000fffe,
2116  0xffff40030002fff4, 0xffff400300017ffb,
2117  0xffff3fc3000300f4, 0xffff3fc30001807b,
2118  0xffffc0010000fffc, 0xffffc00100007fff,
2119  0xffff80028001fff6, 0xffff80028000fffc,
2120  0xffff7fc2800200f6, 0xffff7fc28001007c,
2121  0xffff7f83000201f4, 0xffff7f83000100fb,
2122  0xffffc0018000fffa, 0xffffc00180007ffe,
2123  0xffffbfc1800100fa, 0xffffbfc18000807e,
2124  0xffffbf82000101f8, 0xffffbf82000080fd,
2125  0xffffbf43000102f4, 0xffffbf430000817b,
2126  0xffffffc000000100, 0xffffffc000000081,
2127  0xffffff80800001fe, 0xffffff8080000100,
2128  0xffffff41800002fa, 0xffffff418000017e,
2129  0xffffff03000003f4, 0xffffff03000001fb,
2130  0xffffffc0800000fe, 0xffffffc080000080,
2131  0xffffff81800001fa, 0xffffff81800000fe,
2132  0xffffff43000002f4, 0xffffff430000017b,
2133  0xffffff3300000334, 0xffffff330000019b,
2134  0xffffffc1000000fc, 0xffffffc10000007f,
2135  0xffffff82800001f6, 0xffffff82800000fc,
2136  0xffffff7280000236, 0xffffff728000011c,
2137  0xffffff710000023c, 0xffffff710000011f,
2138  0xffffffc1800000fa, 0xffffffc18000007e,
2139  0xffffffb18000013a, 0xffffffb18000009e,
2140  0xffffffb000000140, 0xffffffb0000000a1,
2141  0xffffffaf00000144, 0xffffffaf000000a3,
2142  0xfffffff000000040, 0xfffffff000000021,
2143  0xffffffee80000046, 0xffffffee80000024,
2144  0xffffffed8000004a, 0xffffffed80000026,
2145  0xffffffed0000004c, 0xffffffed00000027,
2146  0xfffffffe80000003, 0x0000000180000001,
2147  0xfffffffd80000005, 0x0000000280000001,
2148  0xfffffffd00000006, 0x0000000300000001,
2149  0xfffffffd00000006, 0x0000000300000001,
2150  0xffffffff00000002, 0x0000000100000001,
2151  0xfffffffe80000003, 0x0000000180000001,
2152  0xfffffffe80000003, 0x0000000180000001,
2153  0xffffffff00000002, 0x0000000100000001,
2154  0xffffffff80000001, 0x0000000080000001,
2155  0xffffffff80000001, 0x0000000080000001,
2156  0x0000000000000000, 0x0000000000000001,
2157  0x00000000fffffffe, 0xffffffff00000001,
2158  0x0000000000000000, 0x0000000000000001,
2159  0x000000007fffffff, 0xffffffff80000001,
2160  0x000000017ffffffd, 0xfffffffe80000001,
2161  0x000000117fffffdd, 0xffffffee80000001,
2162  0x000000007fffffff, 0xffffffff80000001,
2163  0x000000017ffffffd, 0xfffffffe80000001,
2164  0x000000117fffffdd, 0xffffffee80000001,
2165  0x0000004fffffff60, 0xffffffb000000001,
2166  0x00000000fffffffe, 0xffffffff00000001,
2167  0x00000010ffffffde, 0xffffffef00000001,
2168  0x0000004f7fffff61, 0xffffffb080000001,
2169  0x0000008e7ffffee3, 0xffffff7180000001,
2170  0x0000000fffffffe0, 0xfffffff000000001,
2171  0x0000004e7fffff63, 0xffffffb180000001,
2172  0x0000008d7ffffee5, 0xffffff7280000001,
2173  0x000000ccfffffe66, 0xffffff3300000001,
2174  0x0000003e7fffff83, 0xffffffc180000001,
2175  0x0000007d7fffff05, 0xffffff8280000001,
2176  0x000000bcfffffe86, 0xffffff4300000001,
2177  0x000040bb7fff7e89, 0xffffbf4480000001,
2178  0x0000003effffff82, 0xffffffc100000001,
2179  0x0000007e7fffff03, 0xffffff8180000001,
2180  0x0000407cffff7f06, 0xffffbf8300000001,
2181  0x0000807bfffeff08, 0xffff7f8400000001,
2182  0x0000003f7fffff81, 0xffffffc080000001,
2183  0x0000403dffff7f84, 0xffffbfc200000001,
2184  0x0000803cfffeff86, 0xffff7fc300000001,
2185  0x0000c03c7ffe7f87, 0xffff3fc380000001,
2186  0x00003ffe7fff8003, 0xffffc00180000001,
2187  0x00007ffd7fff0005, 0xffff800280000001,
2188  0x0000bffcfffe8006, 0xffff400300000001,
2189  0x199a59964ccb4cd3, 0xe665a66980000001,
2190  0x00003ffeffff8002, 0xffffc00100000001,
2191  0x00007ffe7fff0003, 0xffff800180000001,
2192  0x199a1997cccbccd0, 0xe665e66800000001,
2193  0x4444c441f776777b, 0xbbbb3bbd80000001,
2194  0x00003fff7fff8001, 0xffffc00080000001,
2195  0x1999d998cccc4cce, 0xe666266700000001,
2196  0x44448442f776f779, 0xbbbb7bbc80000001,
2197  0x84448440f776f77c, 0x7bbb7bbe00000001,
2198  0x199999994ccccccd, 0xe666666680000001,
2199  0x4444444377777778, 0xbbbbbbbc00000001,
2200  0x844444417777777b, 0x7bbbbbbd80000001,
2201  0xc444443ff777777d, 0x3bbbbbbe80000001,
2202  0x2aaaaaaa2aaaaaab, 0xd555555580000001,
2203  0x6aaaaaa82aaaaaae, 0x9555555700000001,
2204  0xaaaaaaa6aaaaaab0, 0x5555555800000001,
2205  0xeaaaaaa5aaaaaab1, 0x1555555880000001,
2206  0x3ffffffe00000003, 0xc000000180000001,
2207  0x7ffffffc80000005, 0x8000000280000001,
2208  0xbffffffb80000006, 0x4000000300000001,
2209  0x7ffffffc00000006, 0x8000000300000001,
2210  0x3ffffffe80000002, 0xc000000100000001,
2211  0x7ffffffd80000003, 0x8000000180000001,
2212  0x3ffffffe00000003, 0xc000000180000001,
2213  0xffffffff00000002, 0x0000000100000001,
2214  0x3fffffff00000001, 0xc000000080000001,
2215  0xffffffff80000001, 0x0000000080000001,
2216  0xc000000080000000, 0x4000000000000001,
2217  0x95555555d5555556, 0x6aaaaaab00000001,
2218  0xc000000080000000, 0x4000000000000001,
2219  0x800000017fffffff, 0x7fffffff80000001,
2220  0x55555556d5555555, 0xaaaaaaaa80000001,
2221  0x3bbbbbbd08888889, 0xc444444480000001,
2222  0xc0000000ffffffff, 0x3fffffff80000001,
2223  0x9555555655555555, 0x6aaaaaaa80000001,
2224  0x7bbbbbbc88888889, 0x8444444480000001,
2225  0x7bbb7bbc88890889, 0x8444844480000001,
2226  0xd555555555555556, 0x2aaaaaab00000001,
2227  0xbbbbbbbb8888888a, 0x4444444500000001,
2228  0xbbbb7bbb8889088a, 0x4444844500000001,
2229  0xbbbb3bbc08898889, 0x4444c44480000001,
2230  0xe666666633333334, 0x1999999a00000001,
2231  0xe66626663333b334, 0x1999d99a00000001,
2232  0xe665e666b3343333, 0x199a199980000001,
2233  0xe665a667b334b331, 0x199a599880000001,
2234  0xffffc00000008000, 0x0000400000000001,
2235  0xffff80008000ffff, 0x00007fff80000001,
2236  0xffff400180017ffd, 0x0000bffe80000001,
2237  0xffff00030001fffa, 0x0000fffd00000001,
2238  0xffffc00080007fff, 0x00003fff80000001,
2239  0xffff80018000fffd, 0x00007ffe80000001,
2240  0xffff400300017ffa, 0x0000bffd00000001,
2241  0xffff3fc30001807a, 0x0000c03d00000001,
2242  0xffffc00100007ffe, 0x00003fff00000001,
2243  0xffff80028000fffb, 0x00007ffd80000001,
2244  0xffff7fc28001007b, 0x0000803d80000001,
2245  0xffff7f83000100fa, 0x0000807d00000001,
2246  0xffffc00180007ffd, 0x00003ffe80000001,
2247  0xffffbfc18000807d, 0x0000403e80000001,
2248  0xffffbf82000080fc, 0x0000407e00000001,
2249  0xffffbf430000817a, 0x000040bd00000001,
2250  0xffffffc000000080, 0x0000004000000001,
2251  0xffffff80800000ff, 0x0000007f80000001,
2252  0xffffff418000017d, 0x000000be80000001,
2253  0xffffff03000001fa, 0x000000fd00000001,
2254  0xffffffc08000007f, 0x0000003f80000001,
2255  0xffffff81800000fd, 0x0000007e80000001,
2256  0xffffff430000017a, 0x000000bd00000001,
2257  0xffffff330000019a, 0x000000cd00000001,
2258  0xffffffc10000007e, 0x0000003f00000001,
2259  0xffffff82800000fb, 0x0000007d80000001,
2260  0xffffff728000011b, 0x0000008d80000001,
2261  0xffffff710000011e, 0x0000008f00000001,
2262  0xffffffc18000007d, 0x0000003e80000001,
2263  0xffffffb18000009d, 0x0000004e80000001,
2264  0xffffffb0000000a0, 0x0000005000000001,
2265  0xffffffaf000000a2, 0x0000005100000001,
2266  0xfffffff000000020, 0x0000001000000001,
2267  0xffffffee80000023, 0x0000001180000001,
2268  0xffffffed80000025, 0x0000001280000001,
2269  0xffffffed00000026, 0x0000001300000001,
2270  0x0000000180000000, 0x000000017ffffffe,
2271  0x0000000280000000, 0x000000027ffffffc,
2272  0x0000000300000000, 0x00000002fffffffb,
2273  0x0000000300000000, 0x00000002fffffffb,
2274  0x0000000100000000, 0x00000000ffffffff,
2275  0x0000000180000000, 0x000000017ffffffe,
2276  0x0000000180000000, 0x000000017ffffffe,
2277  0x0000000100000000, 0x00000000ffffffff,
2278  0x0000000080000000, 0x0000000080000000,
2279  0x0000000080000000, 0x0000000080000000,
2280  0x0000000000000000, 0x0000000000000001,
2281  0xffffffff00000000, 0xffffffff00000003,
2282  0x0000000000000000, 0x0000000000000001,
2283  0xffffffff80000000, 0xffffffff80000002,
2284  0xfffffffe80000000, 0xfffffffe80000004,
2285  0xffffffee80000000, 0xffffffee80000024,
2286  0xffffffff80000000, 0xffffffff80000002,
2287  0xfffffffe80000000, 0xfffffffe80000004,
2288  0xffffffee80000000, 0xffffffee80000024,
2289  0xffffffb000000000, 0xffffffb0000000a1,
2290  0xffffffff00000000, 0xffffffff00000003,
2291  0xffffffef00000000, 0xffffffef00000023,
2292  0xffffffb080000000, 0xffffffb0800000a0,
2293  0xffffff7180000000, 0xffffff718000011e,
2294  0xfffffff000000000, 0xfffffff000000021,
2295  0xffffffb180000000, 0xffffffb18000009e,
2296  0xffffff7280000000, 0xffffff728000011c,
2297  0xffffff3300000000, 0xffffff330000019b,
2298  0xffffffc180000000, 0xffffffc18000007e,
2299  0xffffff8280000000, 0xffffff82800000fc,
2300  0xffffff4300000000, 0xffffff430000017b,
2301  0xffffbf4480000000, 0xffffbf4480008178,
2302  0xffffffc100000000, 0xffffffc10000007f,
2303  0xffffff8180000000, 0xffffff81800000fe,
2304  0xffffbf8300000000, 0xffffbf83000080fb,
2305  0xffff7f8400000000, 0xffff7f84000100f9,
2306  0xffffffc080000000, 0xffffffc080000080,
2307  0xffffbfc200000000, 0xffffbfc20000807d,
2308  0xffff7fc300000000, 0xffff7fc30001007b,
2309  0xffff3fc380000000, 0xffff3fc38001807a,
2310  0xffffc00180000000, 0xffffc00180007ffe,
2311  0xffff800280000000, 0xffff80028000fffc,
2312  0xffff400300000000, 0xffff400300017ffb,
2313  0xe665a66980000000, 0xe665a669b334b32e,
2314  0xffffc00100000000, 0xffffc00100007fff,
2315  0xffff800180000000, 0xffff80018000fffe,
2316  0xe665e66800000000, 0xe665e66833343331,
2317  0xbbbb3bbd80000000, 0xbbbb3bbe08898886,
2318  0xffffc00080000000, 0xffffc00080008000,
2319  0xe666266700000000, 0xe66626673333b333,
2320  0xbbbb7bbc80000000, 0xbbbb7bbd08890888,
2321  0x7bbb7bbe00000000, 0x7bbb7bbf08890885,
2322  0xe666666680000000, 0xe6666666b3333334,
2323  0xbbbbbbbc00000000, 0xbbbbbbbc88888889,
2324  0x7bbbbbbd80000000, 0x7bbbbbbe88888886,
2325  0x3bbbbbbe80000000, 0x3bbbbbc008888884,
2326  0xd555555580000000, 0xd5555555d5555556,
2327  0x9555555700000000, 0x95555557d5555553,
2328  0x5555555800000000, 0x5555555955555551,
2329  0x1555555880000000, 0x1555555a55555550,
2330  0xc000000180000000, 0xc0000001fffffffe,
2331  0x8000000280000000, 0x800000037ffffffc,
2332  0x4000000300000000, 0x400000047ffffffb,
2333  0x8000000300000000, 0x80000003fffffffb,
2334  0xc000000100000000, 0xc00000017fffffff,
2335  0x8000000180000000, 0x800000027ffffffe,
2336  0xc000000180000000, 0xc0000001fffffffe,
2337  0x0000000100000000, 0x00000000ffffffff,
2338  0xc000000080000000, 0xc000000100000000,
2339  0x0000000080000000, 0x0000000080000000,
2340  0x4000000000000000, 0x3fffffff80000001,
2341  0x6aaaaaab00000000, 0x6aaaaaaa2aaaaaab,
2342  0x4000000000000000, 0x3fffffff80000001,
2343  0x7fffffff80000000, 0x7ffffffe80000002,
2344  0xaaaaaaaa80000000, 0xaaaaaaa92aaaaaac,
2345  0xc444444480000000, 0xc4444442f7777778,
2346  0x3fffffff80000000, 0x3fffffff00000002,
2347  0x6aaaaaaa80000000, 0x6aaaaaa9aaaaaaac,
2348  0x8444444480000000, 0x8444444377777778,
2349  0x8444844480000000, 0x844484437776f778,
2350  0x2aaaaaab00000000, 0x2aaaaaaaaaaaaaab,
2351  0x4444444500000000, 0x4444444477777777,
2352  0x4444844500000000, 0x444484447776f777,
2353  0x4444c44480000000, 0x4444c443f7767778,
2354  0x1999999a00000000, 0x19999999cccccccd,
2355  0x1999d99a00000000, 0x1999d999cccc4ccd,
2356  0x199a199980000000, 0x199a19994ccbccce,
2357  0x199a599880000000, 0x199a59984ccb4cd0,
2358  0x0000400000000000, 0x00003fffffff8001,
2359  0x00007fff80000000, 0x00007fff7fff0002,
2360  0x0000bffe80000000, 0x0000bffe7ffe8004,
2361  0x0000fffd00000000, 0x0000fffcfffe0007,
2362  0x00003fff80000000, 0x00003fff7fff8002,
2363  0x00007ffe80000000, 0x00007ffe7fff0004,
2364  0x0000bffd00000000, 0x0000bffcfffe8007,
2365  0x0000c03d00000000, 0x0000c03cfffe7f87,
2366  0x00003fff00000000, 0x00003ffeffff8003,
2367  0x00007ffd80000000, 0x00007ffd7fff0006,
2368  0x0000803d80000000, 0x0000803d7ffeff86,
2369  0x0000807d00000000, 0x0000807cfffeff07,
2370  0x00003ffe80000000, 0x00003ffe7fff8004,
2371  0x0000403e80000000, 0x0000403e7fff7f84,
2372  0x0000407e00000000, 0x0000407dffff7f05,
2373  0x000040bd00000000, 0x000040bcffff7e87,
2374  0x0000004000000000, 0x0000003fffffff81,
2375  0x0000007f80000000, 0x0000007f7fffff02,
2376  0x000000be80000000, 0x000000be7ffffe84,
2377  0x000000fd00000000, 0x000000fcfffffe07,
2378  0x0000003f80000000, 0x0000003f7fffff82,
2379  0x0000007e80000000, 0x0000007e7fffff04,
2380  0x000000bd00000000, 0x000000bcfffffe87,
2381  0x000000cd00000000, 0x000000ccfffffe67,
2382  0x0000003f00000000, 0x0000003effffff83,
2383  0x0000007d80000000, 0x0000007d7fffff06,
2384  0x0000008d80000000, 0x0000008d7ffffee6,
2385  0x0000008f00000000, 0x0000008efffffee3,
2386  0x0000003e80000000, 0x0000003e7fffff84,
2387  0x0000004e80000000, 0x0000004e7fffff64,
2388  0x0000005000000000, 0x0000004fffffff61,
2389  0x0000005100000000, 0x00000050ffffff5f,
2390  0x0000001000000000, 0x0000000fffffffe1,
2391  0x0000001180000000, 0x000000117fffffde,
2392  0x0000001280000000, 0x000000127fffffdc,
2393  0x0000001300000000, 0x00000012ffffffdb,
2394  0x000000017ffffffd, 0x0000000100000003,
2395  0x000000027ffffffb, 0x00000001aaaaaaaf,
2396  0x00000002fffffffa, 0x0000000200000005,
2397  0x00000002fffffffa, 0x0000000200000005,
2398  0x00000000fffffffe, 0x00000000aaaaaaad,
2399  0x000000017ffffffd, 0x0000000100000003,
2400  0x000000017ffffffd, 0x0000000100000003,
2401  0x00000000fffffffe, 0x00000000aaaaaaad,
2402  0x000000007fffffff, 0x0000000055555557,
2403  0x000000007fffffff, 0x0000000055555557,
2404  0x0000000000000000, 0x0000000000000001,
2405  0xffffffff00000002, 0xffffffff55555555,
2406  0x0000000000000000, 0x0000000000000001,
2407  0xffffffff80000001, 0xffffffffaaaaaaab,
2408  0xfffffffe80000003, 0xfffffffeffffffff,
2409  0xffffffee80000023, 0xfffffff45555553f,
2410  0xffffffff80000001, 0xffffffffaaaaaaab,
2411  0xfffffffe80000003, 0xfffffffeffffffff,
2412  0xffffffee80000023, 0xfffffff45555553f,
2413  0xffffffb0000000a0, 0xffffffcaaaaaaa41,
2414  0xffffffff00000002, 0xffffffff55555555,
2415  0xffffffef00000022, 0xfffffff4aaaaaa95,
2416  0xffffffb08000009f, 0xffffffcaffffff97,
2417  0xffffff718000011d, 0xffffffa0ffffff43,
2418  0xfffffff000000020, 0xfffffff555555541,
2419  0xffffffb18000009d, 0xffffffcbaaaaaa43,
2420  0xffffff728000011b, 0xffffffa1aaaaa9ef,
2421  0xffffff330000019a, 0xffffff7755555445,
2422  0xffffffc18000007d, 0xffffffd655555503,
2423  0xffffff82800000fb, 0xffffffac555554af,
2424  0xffffff430000017a, 0xffffff81ffffff05,
2425  0xffffbf4480008177, 0xffffd4d85554ff07,
2426  0xffffffc10000007e, 0xffffffd5ffffffad,
2427  0xffffff81800000fd, 0xffffffabaaaaaa03,
2428  0xffffbf83000080fa, 0xffffd501ffffaa05,
2429  0xffff7f84000100f8, 0xffffaa57ffff54b1,
2430  0xffffffc08000007f, 0xffffffd5aaaaaa57,
2431  0xffffbfc20000807c, 0xffffd52bffffaa59,
2432  0xffff7fc30001007a, 0xffffaa81ffff5505,
2433  0xffff3fc380018079, 0xffff7fd7aaa9aa5b,
2434  0xffffc00180007ffd, 0xffffd55655550003,
2435  0xffff80028000fffb, 0xffffaaac5554aaaf,
2436  0xffff400300017ffa, 0xffff8001ffff0005,
2437  0xe665a669b334b32d, 0xeeee6ef0dddcdde3,
2438  0xffffc00100007ffe, 0xffffd555ffffaaad,
2439  0xffff80018000fffd, 0xffffaaabaaaa0003,
2440  0xe665e66833343330, 0xeeee999a8887dde1,
2441  0xbbbb3bbe08898885, 0xd27cd27dfa4efa53,
2442  0xffffc00080007fff, 0xffffd555aaaa5557,
2443  0xe66626673333b332, 0xeeeec44488883335,
2444  0xbbbb7bbd08890887, 0xd27cfd27fa4f4fa7,
2445  0x7bbb7bbf08890884, 0xa7d2527dfa4f4fa9,
2446  0xe6666666b3333333, 0xeeeeeeeedddddddf,
2447  0xbbbbbbbc88888888, 0xd27d27d24fa4fa51,
2448  0x7bbbbbbe88888885, 0xa7d27d284fa4fa53,
2449  0x3bbbbbc008888883, 0x7d27d27dfa4fa4ff,
2450  0xd5555555d5555555, 0xe38e38e371c71c73,
2451  0x95555557d5555552, 0xb8e38e3971c71c75,
2452  0x5555555955555550, 0x8e38e38f1c71c721,
2453  0x1555555a5555554f, 0x638e38e471c71c77,
2454  0xc0000001fffffffd, 0xd555555600000003,
2455  0x800000037ffffffb, 0xaaaaaaabaaaaaaaf,
2456  0x400000047ffffffa, 0x8000000100000005,
2457  0x80000003fffffffa, 0xaaaaaaac00000005,
2458  0xc00000017ffffffe, 0xd5555555aaaaaaad,
2459  0x800000027ffffffd, 0xaaaaaaab00000003,
2460  0xc0000001fffffffd, 0xd555555600000003,
2461  0x00000000fffffffe, 0x00000000aaaaaaad,
2462  0xc0000000ffffffff, 0xd555555555555557,
2463  0x000000007fffffff, 0x0000000055555557,
2464  0x3fffffff80000000, 0x2aaaaaab00000001,
2465  0x6aaaaaaa2aaaaaaa, 0x471c71c7e38e38e5,
2466  0x3fffffff80000000, 0x2aaaaaab00000001,
2467  0x7ffffffe80000001, 0x55555555aaaaaaab,
2468  0xaaaaaaa92aaaaaab, 0x71c71c728e38e38f,
2469  0xc4444442f7777777, 0x82d82d8405b05b07,
2470  0x3fffffff00000001, 0x2aaaaaaaaaaaaaab,
2471  0x6aaaaaa9aaaaaaab, 0x471c71c78e38e38f,
2472  0x8444444377777777, 0x582d82d905b05b07,
2473  0x844484437776f777, 0x582dad83b05b5b07,
2474  0x2aaaaaaaaaaaaaaa, 0x1c71c71ce38e38e5,
2475  0x4444444477777776, 0x2d82d82e5b05b05d,
2476  0x444484447776f776, 0x2d8302d905b0b05d,
2477  0x4444c443f7767777, 0x2d832d835b065b07,
2478  0x19999999cccccccc, 0x1111111177777779,
2479  0x1999d999cccc4ccc, 0x11113bbc22227779,
2480  0x199a19994ccbcccd, 0x1111666677782223,
2481  0x199a59984ccb4ccf, 0x1111911077787777,
2482  0x00003fffffff8000, 0x00002aaaaaab0001,
2483  0x00007fff7fff0001, 0x000055550000aaab,
2484  0x0000bffe7ffe8003, 0x00007fff0000ffff,
2485  0x0000fffcfffe0006, 0x0000aaa8aaabfffd,
2486  0x00003fff7fff8001, 0x00002aaa5555aaab,
2487  0x00007ffe7fff0003, 0x000055545555ffff,
2488  0x0000bffcfffe8006, 0x00007ffe0000fffd,
2489  0x0000c03cfffe7f86, 0x00008028aaabaafd,
2490  0x00003ffeffff8002, 0x00002aaa00005555,
2491  0x00007ffd7fff0005, 0x00005553aaab5553,
2492  0x0000803d7ffeff85, 0x0000557e55560053,
2493  0x0000807cfffeff06, 0x000055a8aaab55fd,
2494  0x00003ffe7fff8003, 0x00002aa9aaaaffff,
2495  0x0000403e7fff7f83, 0x00002ad45555aaff,
2496  0x0000407dffff7f04, 0x00002afeaaab00a9,
2497  0x000040bcffff7e86, 0x00002b28aaab00fd,
2498  0x0000003fffffff80, 0x0000002aaaaaab01,
2499  0x0000007f7fffff01, 0x00000055000000ab,
2500  0x000000be7ffffe83, 0x0000007f000000ff,
2501  0x000000fcfffffe06, 0x000000a8aaaaabfd,
2502  0x0000003f7fffff81, 0x0000002a555555ab,
2503  0x0000007e7fffff03, 0x00000054555555ff,
2504  0x000000bcfffffe86, 0x0000007e000000fd,
2505  0x000000ccfffffe66, 0x00000088aaaaabbd,
2506  0x0000003effffff82, 0x0000002a00000055,
2507  0x0000007d7fffff05, 0x00000053aaaaab53,
2508  0x0000008d7ffffee5, 0x0000005e55555613,
2509  0x0000008efffffee2, 0x0000005f55555615,
2510  0x0000003e7fffff83, 0x00000029aaaaaaff,
2511  0x0000004e7fffff63, 0x00000034555555bf,
2512  0x0000004fffffff60, 0x00000035555555c1,
2513  0x00000050ffffff5e, 0x000000360000006d,
2514  0x0000000fffffffe0, 0x0000000aaaaaaac1,
2515  0x000000117fffffdd, 0x0000000baaaaaac3,
2516  0x000000127fffffdb, 0x0000000c5555556f,
2517  0x00000012ffffffda, 0x0000000caaaaaac5,
2518  0x0000000100000002, 0x000000009999999d,
2519  0x00000001aaaaaaae, 0x0000000100000005,
2520  0x0000000200000004, 0x0000000133333339,
2521  0x0000000200000004, 0x0000000133333339,
2522  0x00000000aaaaaaac, 0x0000000066666669,
2523  0x0000000100000002, 0x000000009999999d,
2524  0x0000000100000002, 0x000000009999999d,
2525  0x00000000aaaaaaac, 0x0000000066666669,
2526  0x0000000055555556, 0x0000000033333335,
2527  0x0000000055555556, 0x0000000033333335,
2528  0x0000000000000000, 0x0000000000000001,
2529  0xffffffff55555554, 0xffffffff99999999,
2530  0x0000000000000000, 0x0000000000000001,
2531  0xffffffffaaaaaaaa, 0xffffffffcccccccd,
2532  0xfffffffefffffffe, 0xffffffff66666665,
2533  0xfffffff45555553e, 0xfffffff8ffffffe5,
2534  0xffffffffaaaaaaaa, 0xffffffffcccccccd,
2535  0xfffffffefffffffe, 0xffffffff66666665,
2536  0xfffffff45555553e, 0xfffffff8ffffffe5,
2537  0xffffffcaaaaaaa40, 0xffffffdfffffff81,
2538  0xffffffff55555554, 0xffffffff99999999,
2539  0xfffffff4aaaaaa94, 0xfffffff933333319,
2540  0xffffffcaffffff96, 0xffffffe0333332b5,
2541  0xffffffa0ffffff42, 0xffffffc6ffffff1d,
2542  0xfffffff555555540, 0xfffffff999999981,
2543  0xffffffcbaaaaaa42, 0xffffffe09999991d,
2544  0xffffffa1aaaaa9ee, 0xffffffc766666585,
2545  0xffffff7755555444, 0xffffffadfffffeb9,
2546  0xffffffd655555502, 0xffffffe6ffffff9d,
2547  0xffffffac555554ae, 0xffffffcdcccccc05,
2548  0xffffff81ffffff04, 0xffffffb466666539,
2549  0xffffd4d85554ff06, 0xffffe61b6665fed5,
2550  0xffffffd5ffffffac, 0xffffffe6cccccc69,
2551  0xffffffabaaaaaa02, 0xffffffcd6666659d,
2552  0xffffd501ffffaa04, 0xffffe6346665ff39,
2553  0xffffaa57ffff54b0, 0xffffcc9b333265a1,
2554  0xffffffd5aaaaaa56, 0xffffffe699999935,
2555  0xffffd52bffffaa58, 0xffffe64d999932d1,
2556  0xffffaa81ffff5504, 0xffffccb466659939,
2557  0xffff7fd7aaa9aa5a, 0xffffb31afffecc6d,
2558  0xffffd55655550002, 0xffffe666ffff999d,
2559  0xffffaaac5554aaae, 0xffffcccdcccc0005,
2560  0xffff8001ffff0004, 0xffffb33466653339,
2561  0xeeee6ef0dddcdde2, 0xf5c2429070a2a3dd,
2562  0xffffd555ffffaaac, 0xffffe666cccc6669,
2563  0xffffaaabaaaa0002, 0xffffcccd6665999d,
2564  0xeeee999a8887dde0, 0xf5c25c2970a30a41,
2565  0xd27cd27dfa4efa52, 0xe4b14b182c5ec5fd,
2566  0xffffd555aaaa5556, 0xffffe66699993335,
2567  0xeeeec44488883334, 0xf5c275c2a3d6a3d9,
2568  0xd27cfd27fa4f4fa6, 0xe4b164b15f925f95,
2569  0xa7d2527dfa4f4fa8, 0xcb17cb17f92bf931,
2570  0xeeeeeeeeddddddde, 0xf5c28f5c0a3d70a5,
2571  0xd27d27d24fa4fa50, 0xe4b17e4ac5f92c61,
2572  0xa7d27d284fa4fa52, 0xcb17e4b15f92c5fd,
2573  0x7d27d27dfa4fa4fe, 0xb17e4b17c5f92c65,
2574  0xe38e38e371c71c72, 0xeeeeeeeebbbbbbbd,
2575  0xb8e38e3971c71c74, 0xd555555555555559,
2576  0x8e38e38f1c71c720, 0xbbbbbbbbbbbbbbc1,
2577  0x638e38e471c71c76, 0xa2222221eeeeeef5,
2578  0xd555555600000002, 0xe66666669999999d,
2579  0xaaaaaaabaaaaaaae, 0xcccccccd00000005,
2580  0x8000000100000004, 0xb333333333333339,
2581  0xaaaaaaac00000004, 0xcccccccd33333339,
2582  0xd5555555aaaaaaac, 0xe666666666666669,
2583  0xaaaaaaab00000002, 0xcccccccc9999999d,
2584  0xd555555600000002, 0xe66666669999999d,
2585  0x00000000aaaaaaac, 0x0000000066666669,
2586  0xd555555555555556, 0xe666666633333335,
2587  0x0000000055555556, 0x0000000033333335,
2588  0x2aaaaaab00000000, 0x1999999a00000001,
2589  0x471c71c7e38e38e4, 0x2aaaaaab77777779,
2590  0x2aaaaaab00000000, 0x1999999a00000001,
2591  0x55555555aaaaaaaa, 0x33333333cccccccd,
2592  0x71c71c728e38e38e, 0x4444444544444445,
2593  0x82d82d8405b05b06, 0x4e81b4e96d3a06d5,
2594  0x2aaaaaaaaaaaaaaa, 0x19999999cccccccd,
2595  0x471c71c78e38e38e, 0x2aaaaaab44444445,
2596  0x582d82d905b05b06, 0x34e81b4f6d3a06d5,
2597  0x582dad83b05b5b06, 0x34e834e906d406d5,
2598  0x1c71c71ce38e38e4, 0x1111111177777779,
2599  0x2d82d82e5b05b05c, 0x1b4e81b5a06d3a09,
2600  0x2d8302d905b0b05c, 0x1b4e9b4f3a073a09,
2601  0x2d832d835b065b06, 0x1b4eb4e8a06e06d5,
2602  0x1111111177777778, 0x0a3d70a428f5c291,
2603  0x11113bbc22227778, 0x0a3d8a3dc28fc291,
2604  0x1111666677782222, 0x0a3da3d728f68f5d,
2605  0x1111911077787776, 0x0a3dbd705c2a28f5,
2606  0x00002aaaaaab0000, 0x00001999999a0001,
2607  0x000055550000aaaa, 0x000033330000cccd,
2608  0x00007fff0000fffe, 0x00004ccc33346665,
2609  0x0000aaa8aaabfffc, 0x000066653334ccc9,
2610  0x00002aaa5555aaaa, 0x000019996666cccd,
2611  0x000055545555fffe, 0x00003332999a6665,
2612  0x00007ffe0000fffc, 0x00004ccb999accc9,
2613  0x00008028aaabaafc, 0x00004ce5333466c9,
2614  0x00002aaa00005554, 0x0000199933339999,
2615  0x00005553aaab5552, 0x000033323333fffd,
2616  0x0000557e55560052, 0x0000334bcccd99fd,
2617  0x000055a8aaab55fc, 0x00003365333400c9,
2618  0x00002aa9aaaafffe, 0x0000199900006665,
2619  0x00002ad45555aafe, 0x000019b2999a0065,
2620  0x00002afeaaab00a8, 0x000019cc00006731,
2621  0x00002b28aaab00fc, 0x000019e533339ac9,
2622  0x0000002aaaaaab00, 0x0000001999999a01,
2623  0x00000055000000aa, 0x00000033000000cd,
2624  0x0000007f000000fe, 0x0000004c33333465,
2625  0x000000a8aaaaabfc, 0x00000065333334c9,
2626  0x0000002a555555aa, 0x00000019666666cd,
2627  0x00000054555555fe, 0x0000003299999a65,
2628  0x0000007e000000fc, 0x0000004b99999ac9,
2629  0x00000088aaaaabbc, 0x0000005200000149,
2630  0x0000002a00000054, 0x0000001933333399,
2631  0x00000053aaaaab52, 0x00000032333333fd,
2632  0x0000005e55555612, 0x0000003899999a7d,
2633  0x0000005f55555614, 0x0000003933333419,
2634  0x00000029aaaaaafe, 0x0000001900000065,
2635  0x00000034555555be, 0x0000001f666666e5,
2636  0x00000035555555c0, 0x0000002000000081,
2637  0x000000360000006c, 0x00000020666666e9,
2638  0x0000000aaaaaaac0, 0x0000000666666681,
2639  0x0000000baaaaaac2, 0x000000070000001d,
2640  0x0000000c5555556e, 0x0000000766666685,
2641  0x0000000caaaaaac4, 0x00000007999999b9,
2642  0x000000009999999c, 0x0000000000018001,
2643  0x0000000100000004, 0x0000000000028001,
2644  0x0000000133333338, 0x0000000000030001,
2645  0x0000000133333338, 0x0000000000030001,
2646  0x0000000066666668, 0x0000000000010001,
2647  0x000000009999999c, 0x0000000000018001,
2648  0x000000009999999c, 0x0000000000018001,
2649  0x0000000066666668, 0x0000000000010001,
2650  0x0000000033333334, 0x0000000000008001,
2651  0x0000000033333334, 0x0000000000008001,
2652  0x0000000000000000, 0x0000000000000001,
2653  0xffffffff99999998, 0xffffffffffff0001,
2654  0x0000000000000000, 0x0000000000000001,
2655  0xffffffffcccccccc, 0xffffffffffff8001,
2656  0xffffffff66666664, 0xfffffffffffe8001,
2657  0xfffffff8ffffffe4, 0xffffffffffee8001,
2658  0xffffffffcccccccc, 0xffffffffffff8001,
2659  0xffffffff66666664, 0xfffffffffffe8001,
2660  0xfffffff8ffffffe4, 0xffffffffffee8001,
2661  0xffffffdfffffff80, 0xffffffffffb00001,
2662  0xffffffff99999998, 0xffffffffffff0001,
2663  0xfffffff933333318, 0xffffffffffef0001,
2664  0xffffffe0333332b4, 0xffffffffffb08001,
2665  0xffffffc6ffffff1c, 0xffffffffff718001,
2666  0xfffffff999999980, 0xfffffffffff00001,
2667  0xffffffe09999991c, 0xffffffffffb18001,
2668  0xffffffc766666584, 0xffffffffff728001,
2669  0xffffffadfffffeb8, 0xffffffffff330001,
2670  0xffffffe6ffffff9c, 0xffffffffffc18001,
2671  0xffffffcdcccccc04, 0xffffffffff828001,
2672  0xffffffb466666538, 0xffffffffff430001,
2673  0xffffe61b6665fed4, 0xffffffffbf448001,
2674  0xffffffe6cccccc68, 0xffffffffffc10001,
2675  0xffffffcd6666659c, 0xffffffffff818001,
2676  0xffffe6346665ff38, 0xffffffffbf830001,
2677  0xffffcc9b333265a0, 0xffffffff7f840001,
2678  0xffffffe699999934, 0xffffffffffc08001,
2679  0xffffe64d999932d0, 0xffffffffbfc20001,
2680  0xffffccb466659938, 0xffffffff7fc30001,
2681  0xffffb31afffecc6c, 0xffffffff3fc38001,
2682  0xffffe666ffff999c, 0xffffffffc0018001,
2683  0xffffcccdcccc0004, 0xffffffff80028001,
2684  0xffffb33466653338, 0xffffffff40030001,
2685  0xf5c2429070a2a3dc, 0xffffe665a6698001,
2686  0xffffe666cccc6668, 0xffffffffc0010001,
2687  0xffffcccd6665999c, 0xffffffff80018001,
2688  0xf5c25c2970a30a40, 0xffffe665e6680001,
2689  0xe4b14b182c5ec5fc, 0xffffbbbb3bbd8001,
2690  0xffffe66699993334, 0xffffffffc0008001,
2691  0xf5c275c2a3d6a3d8, 0xffffe66626670001,
2692  0xe4b164b15f925f94, 0xffffbbbb7bbc8001,
2693  0xcb17cb17f92bf930, 0xffff7bbb7bbe0001,
2694  0xf5c28f5c0a3d70a4, 0xffffe66666668001,
2695  0xe4b17e4ac5f92c60, 0xffffbbbbbbbc0001,
2696  0xcb17e4b15f92c5fc, 0xffff7bbbbbbd8001,
2697  0xb17e4b17c5f92c64, 0xffff3bbbbbbe8001,
2698  0xeeeeeeeebbbbbbbc, 0xffffd55555558001,
2699  0xd555555555555558, 0xffff955555570001,
2700  0xbbbbbbbbbbbbbbc0, 0xffff555555580001,
2701  0xa2222221eeeeeef4, 0xffff155555588001,
2702  0xe66666669999999c, 0xffffc00000018001,
2703  0xcccccccd00000004, 0xffff800000028001,
2704  0xb333333333333338, 0xffff400000030001,
2705  0xcccccccd33333338, 0xffff800000030001,
2706  0xe666666666666668, 0xffffc00000010001,
2707  0xcccccccc9999999c, 0xffff800000018001,
2708  0xe66666669999999c, 0xffffc00000018001,
2709  0x0000000066666668, 0x0000000000010001,
2710  0xe666666633333334, 0xffffc00000008001,
2711  0x0000000033333334, 0x0000000000008001,
2712  0x1999999a00000000, 0x0000400000000001,
2713  0x2aaaaaab77777778, 0x00006aaaaaab0001,
2714  0x1999999a00000000, 0x0000400000000001,
2715  0x33333333cccccccc, 0x00007fffffff8001,
2716  0x4444444544444444, 0x0000aaaaaaaa8001,
2717  0x4e81b4e96d3a06d4, 0x0000c44444448001,
2718  0x19999999cccccccc, 0x00003fffffff8001,
2719  0x2aaaaaab44444444, 0x00006aaaaaaa8001,
2720  0x34e81b4f6d3a06d4, 0x0000844444448001,
2721  0x34e834e906d406d4, 0x0000844484448001,
2722  0x1111111177777778, 0x00002aaaaaab0001,
2723  0x1b4e81b5a06d3a08, 0x0000444444450001,
2724  0x1b4e9b4f3a073a08, 0x0000444484450001,
2725  0x1b4eb4e8a06e06d4, 0x00004444c4448001,
2726  0x0a3d70a428f5c290, 0x00001999999a0001,
2727  0x0a3d8a3dc28fc290, 0x00001999d99a0001,
2728  0x0a3da3d728f68f5c, 0x0000199a19998001,
2729  0x0a3dbd705c2a28f4, 0x0000199a59988001,
2730  0x00001999999a0000, 0x0000000040000001,
2731  0x000033330000cccc, 0x000000007fff8001,
2732  0x00004ccc33346664, 0x00000000bffe8001,
2733  0x000066653334ccc8, 0x00000000fffd0001,
2734  0x000019996666cccc, 0x000000003fff8001,
2735  0x00003332999a6664, 0x000000007ffe8001,
2736  0x00004ccb999accc8, 0x00000000bffd0001,
2737  0x00004ce5333466c8, 0x00000000c03d0001,
2738  0x0000199933339998, 0x000000003fff0001,
2739  0x000033323333fffc, 0x000000007ffd8001,
2740  0x0000334bcccd99fc, 0x00000000803d8001,
2741  0x00003365333400c8, 0x00000000807d0001,
2742  0x0000199900006664, 0x000000003ffe8001,
2743  0x000019b2999a0064, 0x00000000403e8001,
2744  0x000019cc00006730, 0x00000000407e0001,
2745  0x000019e533339ac8, 0x0000000040bd0001,
2746  0x0000001999999a00, 0x0000000000400001,
2747  0x00000033000000cc, 0x00000000007f8001,
2748  0x0000004c33333464, 0x0000000000be8001,
2749  0x00000065333334c8, 0x0000000000fd0001,
2750  0x00000019666666cc, 0x00000000003f8001,
2751  0x0000003299999a64, 0x00000000007e8001,
2752  0x0000004b99999ac8, 0x0000000000bd0001,
2753  0x0000005200000148, 0x0000000000cd0001,
2754  0x0000001933333398, 0x00000000003f0001,
2755  0x00000032333333fc, 0x00000000007d8001,
2756  0x0000003899999a7c, 0x00000000008d8001,
2757  0x0000003933333418, 0x00000000008f0001,
2758  0x0000001900000064, 0x00000000003e8001,
2759  0x0000001f666666e4, 0x00000000004e8001,
2760  0x0000002000000080, 0x0000000000500001,
2761  0x00000020666666e8, 0x0000000000510001,
2762  0x0000000666666680, 0x0000000000100001,
2763  0x000000070000001c, 0x0000000000118001,
2764  0x0000000766666684, 0x0000000000128001,
2765  0x00000007999999b8, 0x0000000000130001,
2766  0x0000000000018000, 0x0000000000017ffe,
2767  0x0000000000028000, 0x0000000000027ffc,
2768  0x0000000000030000, 0x000000000002fffb,
2769  0x0000000000030000, 0x000000000002fffb,
2770  0x0000000000010000, 0x000000000000ffff,
2771  0x0000000000018000, 0x0000000000017ffe,
2772  0x0000000000018000, 0x0000000000017ffe,
2773  0x0000000000010000, 0x000000000000ffff,
2774  0x0000000000008000, 0x0000000000008000,
2775  0x0000000000008000, 0x0000000000008000,
2776  0x0000000000000000, 0x0000000000000001,
2777  0xffffffffffff0000, 0xffffffffffff0003,
2778  0x0000000000000000, 0x0000000000000001,
2779  0xffffffffffff8000, 0xffffffffffff8002,
2780  0xfffffffffffe8000, 0xfffffffffffe8004,
2781  0xffffffffffee8000, 0xffffffffffee8024,
2782  0xffffffffffff8000, 0xffffffffffff8002,
2783  0xfffffffffffe8000, 0xfffffffffffe8004,
2784  0xffffffffffee8000, 0xffffffffffee8024,
2785  0xffffffffffb00000, 0xffffffffffb000a1,
2786  0xffffffffffff0000, 0xffffffffffff0003,
2787  0xffffffffffef0000, 0xffffffffffef0023,
2788  0xffffffffffb08000, 0xffffffffffb080a0,
2789  0xffffffffff718000, 0xffffffffff71811e,
2790  0xfffffffffff00000, 0xfffffffffff00021,
2791  0xffffffffffb18000, 0xffffffffffb1809e,
2792  0xffffffffff728000, 0xffffffffff72811c,
2793  0xffffffffff330000, 0xffffffffff33019b,
2794  0xffffffffffc18000, 0xffffffffffc1807e,
2795  0xffffffffff828000, 0xffffffffff8280fc,
2796  0xffffffffff430000, 0xffffffffff43017b,
2797  0xffffffffbf448000, 0xffffffffbf450178,
2798  0xffffffffffc10000, 0xffffffffffc1007f,
2799  0xffffffffff818000, 0xffffffffff8180fe,
2800  0xffffffffbf830000, 0xffffffffbf8380fb,
2801  0xffffffff7f840000, 0xffffffff7f8500f9,
2802  0xffffffffffc08000, 0xffffffffffc08080,
2803  0xffffffffbfc20000, 0xffffffffbfc2807d,
2804  0xffffffff7fc30000, 0xffffffff7fc4007b,
2805  0xffffffff3fc38000, 0xffffffff3fc5007a,
2806  0xffffffffc0018000, 0xffffffffc001fffe,
2807  0xffffffff80028000, 0xffffffff80037ffc,
2808  0xffffffff40030000, 0xffffffff40047ffb,
2809  0xffffe665a6698000, 0xffffe665d99e332e,
2810  0xffffffffc0010000, 0xffffffffc0017fff,
2811  0xffffffff80018000, 0xffffffff80027ffe,
2812  0xffffe665e6680000, 0xffffe666199c3331,
2813  0xffffbbbb3bbd8000, 0xffffbbbbc4470886,
2814  0xffffffffc0008000, 0xffffffffc0010000,
2815  0xffffe66626670000, 0xffffe666599ab333,
2816  0xffffbbbb7bbc8000, 0xffffbbbc04458888,
2817  0xffff7bbb7bbe0000, 0xffff7bbc84470885,
2818  0xffffe66666668000, 0xffffe6669999b334,
2819  0xffffbbbbbbbc0000, 0xffffbbbc44448889,
2820  0xffff7bbbbbbd8000, 0xffff7bbcc4460886,
2821  0xffff3bbbbbbe8000, 0xffff3bbd44470884,
2822  0xffffd55555558000, 0xffffd555aaaad556,
2823  0xffff955555570000, 0xffff95562aac5553,
2824  0xffff555555580000, 0xffff5556aaad5551,
2825  0xffff155555588000, 0xffff15572aadd550,
2826  0xffffc00000018000, 0xffffc00080017ffe,
2827  0xffff800000028000, 0xffff800100027ffc,
2828  0xffff400000030000, 0xffff40018002fffb,
2829  0xffff800000030000, 0xffff80010002fffb,
2830  0xffffc00000010000, 0xffffc0008000ffff,
2831  0xffff800000018000, 0xffff800100017ffe,
2832  0xffffc00000018000, 0xffffc00080017ffe,
2833  0x0000000000010000, 0x000000000000ffff,
2834  0xffffc00000008000, 0xffffc00080008000,
2835  0x0000000000008000, 0x0000000000008000,
2836  0x0000400000000000, 0x00003fff80000001,
2837  0x00006aaaaaab0000, 0x00006aa9d555aaab,
2838  0x0000400000000000, 0x00003fff80000001,
2839  0x00007fffffff8000, 0x00007ffeffff8002,
2840  0x0000aaaaaaaa8000, 0x0000aaa955552aac,
2841  0x0000c44444448000, 0x0000c442bbbbf778,
2842  0x00003fffffff8000, 0x00003fff7fff8002,
2843  0x00006aaaaaaa8000, 0x00006aa9d5552aac,
2844  0x0000844444448000, 0x000084433bbbf778,
2845  0x0000844484448000, 0x000084437bbb7778,
2846  0x00002aaaaaab0000, 0x00002aaa5555aaab,
2847  0x0000444444450000, 0x00004443bbbc7777,
2848  0x0000444484450000, 0x00004443fbbbf777,
2849  0x00004444c4448000, 0x000044443bbaf778,
2850  0x00001999999a0000, 0x000019996666cccd,
2851  0x00001999d99a0000, 0x00001999a6664ccd,
2852  0x0000199a19998000, 0x00001999e6654cce,
2853  0x0000199a59988000, 0x0000199a2663ccd0,
2854  0x0000000040000000, 0x000000003fff8001,
2855  0x000000007fff8000, 0x000000007ffe8002,
2856  0x00000000bffe8000, 0x00000000bffd0004,
2857  0x00000000fffd0000, 0x00000000fffb0007,
2858  0x000000003fff8000, 0x000000003fff0002,
2859  0x000000007ffe8000, 0x000000007ffd8004,
2860  0x00000000bffd0000, 0x00000000bffb8007,
2861  0x00000000c03d0000, 0x00000000c03b7f87,
2862  0x000000003fff0000, 0x000000003ffe8003,
2863  0x000000007ffd8000, 0x000000007ffc8006,
2864  0x00000000803d8000, 0x00000000803c7f86,
2865  0x00000000807d0000, 0x00000000807bff07,
2866  0x000000003ffe8000, 0x000000003ffe0004,
2867  0x00000000403e8000, 0x00000000403dff84,
2868  0x00000000407e0000, 0x00000000407d7f05,
2869  0x0000000040bd0000, 0x0000000040bc7e87,
2870  0x0000000000400000, 0x00000000003fff81,
2871  0x00000000007f8000, 0x00000000007f7f02,
2872  0x0000000000be8000, 0x0000000000be7e84,
2873  0x0000000000fd0000, 0x0000000000fcfe07,
2874  0x00000000003f8000, 0x00000000003f7f82,
2875  0x00000000007e8000, 0x00000000007e7f04,
2876  0x0000000000bd0000, 0x0000000000bcfe87,
2877  0x0000000000cd0000, 0x0000000000ccfe67,
2878  0x00000000003f0000, 0x00000000003eff83,
2879  0x00000000007d8000, 0x00000000007d7f06,
2880  0x00000000008d8000, 0x00000000008d7ee6,
2881  0x00000000008f0000, 0x00000000008efee3,
2882  0x00000000003e8000, 0x00000000003e7f84,
2883  0x00000000004e8000, 0x00000000004e7f64,
2884  0x0000000000500000, 0x00000000004fff61,
2885  0x0000000000510000, 0x000000000050ff5f,
2886  0x0000000000100000, 0x00000000000fffe1,
2887  0x0000000000118000, 0x0000000000117fde,
2888  0x0000000000128000, 0x0000000000127fdc,
2889  0x0000000000130000, 0x000000000012ffdb,
2890  0x0000000000017ffd, 0x0000000000017ffb,
2891  0x0000000000027ffb, 0x0000000000027ff7,
2892  0x000000000002fffa, 0x000000000002fff5,
2893  0x000000000002fffa, 0x000000000002fff5,
2894  0x000000000000fffe, 0x000000000000fffd,
2895  0x0000000000017ffd, 0x0000000000017ffb,
2896  0x0000000000017ffd, 0x0000000000017ffb,
2897  0x000000000000fffe, 0x000000000000fffd,
2898  0x0000000000007fff, 0x0000000000007fff,
2899  0x0000000000007fff, 0x0000000000007fff,
2900  0x0000000000000000, 0x0000000000000001,
2901  0xffffffffffff0002, 0xffffffffffff0005,
2902  0x0000000000000000, 0x0000000000000001,
2903  0xffffffffffff8001, 0xffffffffffff8003,
2904  0xfffffffffffe8003, 0xfffffffffffe8007,
2905  0xffffffffffee8023, 0xffffffffffee8047,
2906  0xffffffffffff8001, 0xffffffffffff8003,
2907  0xfffffffffffe8003, 0xfffffffffffe8007,
2908  0xffffffffffee8023, 0xffffffffffee8047,
2909  0xffffffffffb000a0, 0xffffffffffb00141,
2910  0xffffffffffff0002, 0xffffffffffff0005,
2911  0xffffffffffef0022, 0xffffffffffef0045,
2912  0xffffffffffb0809f, 0xffffffffffb0813f,
2913  0xffffffffff71811d, 0xffffffffff71823b,
2914  0xfffffffffff00020, 0xfffffffffff00041,
2915  0xffffffffffb1809d, 0xffffffffffb1813b,
2916  0xffffffffff72811b, 0xffffffffff728237,
2917  0xffffffffff33019a, 0xffffffffff330335,
2918  0xffffffffffc1807d, 0xffffffffffc180fb,
2919  0xffffffffff8280fb, 0xffffffffff8281f7,
2920  0xffffffffff43017a, 0xffffffffff4302f5,
2921  0xffffffffbf450177, 0xffffffffbf4582ef,
2922  0xffffffffffc1007e, 0xffffffffffc100fd,
2923  0xffffffffff8180fd, 0xffffffffff8181fb,
2924  0xffffffffbf8380fa, 0xffffffffbf8401f5,
2925  0xffffffff7f8500f8, 0xffffffff7f8601f1,
2926  0xffffffffffc0807f, 0xffffffffffc080ff,
2927  0xffffffffbfc2807c, 0xffffffffbfc300f9,
2928  0xffffffff7fc4007a, 0xffffffff7fc500f5,
2929  0xffffffff3fc50079, 0xffffffff3fc680f3,
2930  0xffffffffc001fffd, 0xffffffffc0027ffb,
2931  0xffffffff80037ffb, 0xffffffff80047ff7,
2932  0xffffffff40047ffa, 0xffffffff4005fff5,
2933  0xffffe665d99e332d, 0xffffe6660cd2e65b,
2934  0xffffffffc0017ffe, 0xffffffffc001fffd,
2935  0xffffffff80027ffd, 0xffffffff80037ffb,
2936  0xffffe666199c3330, 0xffffe6664cd06661,
2937  0xffffbbbbc4470885, 0xffffbbbc4cd0910b,
2938  0xffffffffc000ffff, 0xffffffffc0017fff,
2939  0xffffe666599ab332, 0xffffe6668cce6665,
2940  0xffffbbbc04458887, 0xffffbbbc8cce910f,
2941  0xffff7bbc84470884, 0xffff7bbd8cd01109,
2942  0xffffe6669999b333, 0xffffe666cccce667,
2943  0xffffbbbc44448888, 0xffffbbbccccd1111,
2944  0xffff7bbcc4460885, 0xffff7bbdccce910b,
2945  0xffff3bbd44470883, 0xffff3bbecccf9107,
2946  0xffffd555aaaad555, 0xffffd55600002aab,
2947  0xffff95562aac5552, 0xffff95570001aaa5,
2948  0xffff5556aaad5550, 0xffff55580002aaa1,
2949  0xffff15572aadd54f, 0xffff155900032a9f,
2950  0xffffc00080017ffd, 0xffffc00100017ffb,
2951  0xffff800100027ffb, 0xffff800200027ff7,
2952  0xffff40018002fffa, 0xffff40030002fff5,
2953  0xffff80010002fffa, 0xffff80020002fff5,
2954  0xffffc0008000fffe, 0xffffc0010000fffd,
2955  0xffff800100017ffd, 0xffff800200017ffb,
2956  0xffffc00080017ffd, 0xffffc00100017ffb,
2957  0x000000000000fffe, 0x000000000000fffd,
2958  0xffffc00080007fff, 0xffffc00100007fff,
2959  0x0000000000007fff, 0x0000000000007fff,
2960  0x00003fff80000000, 0x00003fff00000001,
2961  0x00006aa9d555aaaa, 0x00006aa900005555,
2962  0x00003fff80000000, 0x00003fff00000001,
2963  0x00007ffeffff8001, 0x00007ffdffff8003,
2964  0x0000aaa955552aab, 0x0000aaa7ffffd557,
2965  0x0000c442bbbbf777, 0x0000c44133336eef,
2966  0x00003fff7fff8001, 0x00003ffeffff8003,
2967  0x00006aa9d5552aab, 0x00006aa8ffffd557,
2968  0x000084433bbbf777, 0x0000844233336eef,
2969  0x000084437bbb7777, 0x0000844273326eef,
2970  0x00002aaa5555aaaa, 0x00002aaa00005555,
2971  0x00004443bbbc7776, 0x000044433333eeed,
2972  0x00004443fbbbf776, 0x000044437332eeed,
2973  0x000044443bbaf777, 0x00004443b3316eef,
2974  0x000019996666cccc, 0x0000199933339999,
2975  0x00001999a6664ccc, 0x0000199973329999,
2976  0x00001999e6654ccd, 0x00001999b331199b,
2977  0x0000199a2663cccf, 0x00001999f32f199f,
2978  0x000000003fff8000, 0x000000003fff0001,
2979  0x000000007ffe8001, 0x000000007ffd8003,
2980  0x00000000bffd0003, 0x00000000bffb8007,
2981  0x00000000fffb0006, 0x00000000fff9000d,
2982  0x000000003fff0001, 0x000000003ffe8003,
2983  0x000000007ffd8003, 0x000000007ffc8007,
2984  0x00000000bffb8006, 0x00000000bffa000d,
2985  0x00000000c03b7f86, 0x00000000c039ff0d,
2986  0x000000003ffe8002, 0x000000003ffe0005,
2987  0x000000007ffc8005, 0x000000007ffb800b,
2988  0x00000000803c7f85, 0x00000000803b7f0b,
2989  0x00000000807bff06, 0x00000000807afe0d,
2990  0x000000003ffe0003, 0x000000003ffd8007,
2991  0x00000000403dff83, 0x00000000403d7f07,
2992  0x00000000407d7f04, 0x00000000407cfe09,
2993  0x0000000040bc7e86, 0x0000000040bbfd0d,
2994  0x00000000003fff80, 0x00000000003fff01,
2995  0x00000000007f7f01, 0x00000000007f7e03,
2996  0x0000000000be7e83, 0x0000000000be7d07,
2997  0x0000000000fcfe06, 0x0000000000fcfc0d,
2998  0x00000000003f7f81, 0x00000000003f7f03,
2999  0x00000000007e7f03, 0x00000000007e7e07,
3000  0x0000000000bcfe86, 0x0000000000bcfd0d,
3001  0x0000000000ccfe66, 0x0000000000ccfccd,
3002  0x00000000003eff82, 0x00000000003eff05,
3003  0x00000000007d7f05, 0x00000000007d7e0b,
3004  0x00000000008d7ee5, 0x00000000008d7dcb,
3005  0x00000000008efee2, 0x00000000008efdc5,
3006  0x00000000003e7f83, 0x00000000003e7f07,
3007  0x00000000004e7f63, 0x00000000004e7ec7,
3008  0x00000000004fff60, 0x00000000004ffec1,
3009  0x000000000050ff5e, 0x000000000050febd,
3010  0x00000000000fffe0, 0x00000000000fffc1,
3011  0x0000000000117fdd, 0x0000000000117fbb,
3012  0x0000000000127fdb, 0x0000000000127fb7,
3013  0x000000000012ffda, 0x000000000012ffb5,
3014  0x0000000000017ffa, 0x0000000000017ff8,
3015  0x0000000000027ff6, 0x0000000000027ff2,
3016  0x000000000002fff4, 0x000000000002ffef,
3017  0x000000000002fff4, 0x000000000002ffef,
3018  0x000000000000fffc, 0x000000000000fffb,
3019  0x0000000000017ffa, 0x0000000000017ff8,
3020  0x0000000000017ffa, 0x0000000000017ff8,
3021  0x000000000000fffc, 0x000000000000fffb,
3022  0x0000000000007ffe, 0x0000000000007ffe,
3023  0x0000000000007ffe, 0x0000000000007ffe,
3024  0x0000000000000000, 0x0000000000000001,
3025  0xffffffffffff0004, 0xffffffffffff0007,
3026  0x0000000000000000, 0x0000000000000001,
3027  0xffffffffffff8002, 0xffffffffffff8004,
3028  0xfffffffffffe8006, 0xfffffffffffe800a,
3029  0xffffffffffee8046, 0xffffffffffee806a,
3030  0xffffffffffff8002, 0xffffffffffff8004,
3031  0xfffffffffffe8006, 0xfffffffffffe800a,
3032  0xffffffffffee8046, 0xffffffffffee806a,
3033  0xffffffffffb00140, 0xffffffffffb001e1,
3034  0xffffffffffff0004, 0xffffffffffff0007,
3035  0xffffffffffef0044, 0xffffffffffef0067,
3036  0xffffffffffb0813e, 0xffffffffffb081de,
3037  0xffffffffff71823a, 0xffffffffff718358,
3038  0xfffffffffff00040, 0xfffffffffff00061,
3039  0xffffffffffb1813a, 0xffffffffffb181d8,
3040  0xffffffffff728236, 0xffffffffff728352,
3041  0xffffffffff330334, 0xffffffffff3304cf,
3042  0xffffffffffc180fa, 0xffffffffffc18178,
3043  0xffffffffff8281f6, 0xffffffffff8282f2,
3044  0xffffffffff4302f4, 0xffffffffff43046f,
3045  0xffffffffbf4582ee, 0xffffffffbf460466,
3046  0xffffffffffc100fc, 0xffffffffffc1017b,
3047  0xffffffffff8181fa, 0xffffffffff8182f8,
3048  0xffffffffbf8401f4, 0xffffffffbf8482ef,
3049  0xffffffff7f8601f0, 0xffffffff7f8702e9,
3050  0xffffffffffc080fe, 0xffffffffffc0817e,
3051  0xffffffffbfc300f8, 0xffffffffbfc38175,
3052  0xffffffff7fc500f4, 0xffffffff7fc6016f,
3053  0xffffffff3fc680f2, 0xffffffff3fc8016c,
3054  0xffffffffc0027ffa, 0xffffffffc002fff8,
3055  0xffffffff80047ff6, 0xffffffff80057ff2,
3056  0xffffffff4005fff4, 0xffffffff40077fef,
3057  0xffffe6660cd2e65a, 0xffffe66640079988,
3058  0xffffffffc001fffc, 0xffffffffc0027ffb,
3059  0xffffffff80037ffa, 0xffffffff80047ff8,
3060  0xffffe6664cd06660, 0xffffe66680049991,
3061  0xffffbbbc4cd0910a, 0xffffbbbcd55a1990,
3062  0xffffffffc0017ffe, 0xffffffffc001fffe,
3063  0xffffe6668cce6664, 0xffffe666c0021997,
3064  0xffffbbbc8cce910e, 0xffffbbbd15579996,
3065  0xffff7bbd8cd01108, 0xffff7bbe9559198d,
3066  0xffffe666cccce666, 0xffffe6670000199a,
3067  0xffffbbbccccd1110, 0xffffbbbd55559999,
3068  0xffff7bbdccce910a, 0xffff7bbed5571990,
3069  0xffff3bbecccf9106, 0xffff3bc05558198a,
3070  0xffffd55600002aaa, 0xffffd55655558000,
3071  0xffff95570001aaa4, 0xffff9557d556fff7,
3072  0xffff55580002aaa0, 0xffff55595557fff1,
3073  0xffff155900032a9e, 0xffff155ad5587fee,
3074  0xffffc00100017ffa, 0xffffc00180017ff8,
3075  0xffff800200027ff6, 0xffff800300027ff2,
3076  0xffff40030002fff4, 0xffff40048002ffef,
3077  0xffff80020002fff4, 0xffff80030002ffef,
3078  0xffffc0010000fffc, 0xffffc0018000fffb,
3079  0xffff800200017ffa, 0xffff800300017ff8,
3080  0xffffc00100017ffa, 0xffffc00180017ff8,
3081  0x000000000000fffc, 0x000000000000fffb,
3082  0xffffc00100007ffe, 0xffffc00180007ffe,
3083  0x0000000000007ffe, 0x0000000000007ffe,
3084  0x00003fff00000000, 0x00003ffe80000001,
3085  0x00006aa900005554, 0x00006aa82aaaffff,
3086  0x00003fff00000000, 0x00003ffe80000001,
3087  0x00007ffdffff8002, 0x00007ffcffff8004,
3088  0x0000aaa7ffffd556, 0x0000aaa6aaaa8002,
3089  0x0000c44133336eee, 0x0000c43faaaae666,
3090  0x00003ffeffff8002, 0x00003ffe7fff8004,
3091  0x00006aa8ffffd556, 0x00006aa82aaa8002,
3092  0x0000844233336eee, 0x000084412aaae666,
3093  0x0000844273326eee, 0x000084416aa96666,
3094  0x00002aaa00005554, 0x00002aa9aaaaffff,
3095  0x000044433333eeec, 0x00004442aaab6663,
3096  0x000044437332eeec, 0x00004442eaa9e663,
3097  0x00004443b3316eee, 0x000044432aa7e666,
3098  0x0000199933339998, 0x0000199900006665,
3099  0x0000199973329998, 0x000019993ffee665,
3100  0x00001999b331199a, 0x000019997ffce668,
3101  0x00001999f32f199e, 0x00001999bffa666e,
3102  0x000000003fff0000, 0x000000003ffe8001,
3103  0x000000007ffd8002, 0x000000007ffc8004,
3104  0x00000000bffb8006, 0x00000000bffa000a,
3105  0x00000000fff9000c, 0x00000000fff70013,
3106  0x000000003ffe8002, 0x000000003ffe0004,
3107  0x000000007ffc8006, 0x000000007ffb800a,
3108  0x00000000bffa000c, 0x00000000bff88013,
3109  0x00000000c039ff0c, 0x00000000c0387e93,
3110  0x000000003ffe0004, 0x000000003ffd8007,
3111  0x000000007ffb800a, 0x000000007ffa8010,
3112  0x00000000803b7f0a, 0x00000000803a7e90,
3113  0x00000000807afe0c, 0x000000008079fd13,
3114  0x000000003ffd8006, 0x000000003ffd000a,
3115  0x00000000403d7f06, 0x00000000403cfe8a,
3116  0x00000000407cfe08, 0x00000000407c7d0d,
3117  0x0000000040bbfd0c, 0x0000000040bb7b93,
3118  0x00000000003fff00, 0x00000000003ffe81,
3119  0x00000000007f7e02, 0x00000000007f7d04,
3120  0x0000000000be7d06, 0x0000000000be7b8a,
3121  0x0000000000fcfc0c, 0x0000000000fcfa13,
3122  0x00000000003f7f02, 0x00000000003f7e84,
3123  0x00000000007e7e06, 0x00000000007e7d0a,
3124  0x0000000000bcfd0c, 0x0000000000bcfb93,
3125  0x0000000000ccfccc, 0x0000000000ccfb33,
3126  0x00000000003eff04, 0x00000000003efe87,
3127  0x00000000007d7e0a, 0x00000000007d7d10,
3128  0x00000000008d7dca, 0x00000000008d7cb0,
3129  0x00000000008efdc4, 0x00000000008efca7,
3130  0x00000000003e7f06, 0x00000000003e7e8a,
3131  0x00000000004e7ec6, 0x00000000004e7e2a,
3132  0x00000000004ffec0, 0x00000000004ffe21,
3133  0x000000000050febc, 0x000000000050fe1b,
3134  0x00000000000fffc0, 0x00000000000fffa1,
3135  0x0000000000117fba, 0x0000000000117f98,
3136  0x0000000000127fb6, 0x0000000000127f92,
3137  0x000000000012ffb4, 0x000000000012ff8f,
3138  0x0000000000017ff7, 0x0000000000000181,
3139  0x0000000000027ff1, 0x0000000000000281,
3140  0x000000000002ffee, 0x0000000000000301,
3141  0x000000000002ffee, 0x0000000000000301,
3142  0x000000000000fffa, 0x0000000000000101,
3143  0x0000000000017ff7, 0x0000000000000181,
3144  0x0000000000017ff7, 0x0000000000000181,
3145  0x000000000000fffa, 0x0000000000000101,
3146  0x0000000000007ffd, 0x0000000000000081,
3147  0x0000000000007ffd, 0x0000000000000081,
3148  0x0000000000000000, 0x0000000000000001,
3149  0xffffffffffff0006, 0xffffffffffffff01,
3150  0x0000000000000000, 0x0000000000000001,
3151  0xffffffffffff8003, 0xffffffffffffff81,
3152  0xfffffffffffe8009, 0xfffffffffffffe81,
3153  0xffffffffffee8069, 0xffffffffffffee81,
3154  0xffffffffffff8003, 0xffffffffffffff81,
3155  0xfffffffffffe8009, 0xfffffffffffffe81,
3156  0xffffffffffee8069, 0xffffffffffffee81,
3157  0xffffffffffb001e0, 0xffffffffffffb001,
3158  0xffffffffffff0006, 0xffffffffffffff01,
3159  0xffffffffffef0066, 0xffffffffffffef01,
3160  0xffffffffffb081dd, 0xffffffffffffb081,
3161  0xffffffffff718357, 0xffffffffffff7181,
3162  0xfffffffffff00060, 0xfffffffffffff001,
3163  0xffffffffffb181d7, 0xffffffffffffb181,
3164  0xffffffffff728351, 0xffffffffffff7281,
3165  0xffffffffff3304ce, 0xffffffffffff3301,
3166  0xffffffffffc18177, 0xffffffffffffc181,
3167  0xffffffffff8282f1, 0xffffffffffff8281,
3168  0xffffffffff43046e, 0xffffffffffff4301,
3169  0xffffffffbf460465, 0xffffffffffbf4481,
3170  0xffffffffffc1017a, 0xffffffffffffc101,
3171  0xffffffffff8182f7, 0xffffffffffff8181,
3172  0xffffffffbf8482ee, 0xffffffffffbf8301,
3173  0xffffffff7f8702e8, 0xffffffffff7f8401,
3174  0xffffffffffc0817d, 0xffffffffffffc081,
3175  0xffffffffbfc38174, 0xffffffffffbfc201,
3176  0xffffffff7fc6016e, 0xffffffffff7fc301,
3177  0xffffffff3fc8016b, 0xffffffffff3fc381,
3178  0xffffffffc002fff7, 0xffffffffffc00181,
3179  0xffffffff80057ff1, 0xffffffffff800281,
3180  0xffffffff40077fee, 0xffffffffff400301,
3181  0xffffe66640079987, 0xffffffe665a66981,
3182  0xffffffffc0027ffa, 0xffffffffffc00101,
3183  0xffffffff80047ff7, 0xffffffffff800181,
3184  0xffffe66680049990, 0xffffffe665e66801,
3185  0xffffbbbcd55a198f, 0xffffffbbbb3bbd81,
3186  0xffffffffc001fffd, 0xffffffffffc00081,
3187  0xffffe666c0021996, 0xffffffe666266701,
3188  0xffffbbbd15579995, 0xffffffbbbb7bbc81,
3189  0xffff7bbe9559198c, 0xffffff7bbb7bbe01,
3190  0xffffe66700001999, 0xffffffe666666681,
3191  0xffffbbbd55559998, 0xffffffbbbbbbbc01,
3192  0xffff7bbed557198f, 0xffffff7bbbbbbd81,
3193  0xffff3bc055581989, 0xffffff3bbbbbbe81,
3194  0xffffd55655557fff, 0xffffffd555555581,
3195  0xffff9557d556fff6, 0xffffff9555555701,
3196  0xffff55595557fff0, 0xffffff5555555801,
3197  0xffff155ad5587fed, 0xffffff1555555881,
3198  0xffffc00180017ff7, 0xffffffc000000181,
3199  0xffff800300027ff1, 0xffffff8000000281,
3200  0xffff40048002ffee, 0xffffff4000000301,
3201  0xffff80030002ffee, 0xffffff8000000301,
3202  0xffffc0018000fffa, 0xffffffc000000101,
3203  0xffff800300017ff7, 0xffffff8000000181,
3204  0xffffc00180017ff7, 0xffffffc000000181,
3205  0x000000000000fffa, 0x0000000000000101,
3206  0xffffc00180007ffd, 0xffffffc000000081,
3207  0x0000000000007ffd, 0x0000000000000081,
3208  0x00003ffe80000000, 0x0000004000000001,
3209  0x00006aa82aaafffe, 0x0000006aaaaaab01,
3210  0x00003ffe80000000, 0x0000004000000001,
3211  0x00007ffcffff8003, 0x0000007fffffff81,
3212  0x0000aaa6aaaa8001, 0x000000aaaaaaaa81,
3213  0x0000c43faaaae665, 0x000000c444444481,
3214  0x00003ffe7fff8003, 0x0000003fffffff81,
3215  0x00006aa82aaa8001, 0x0000006aaaaaaa81,
3216  0x000084412aaae665, 0x0000008444444481,
3217  0x000084416aa96665, 0x0000008444844481,
3218  0x00002aa9aaaafffe, 0x0000002aaaaaab01,
3219  0x00004442aaab6662, 0x0000004444444501,
3220  0x00004442eaa9e662, 0x0000004444844501,
3221  0x000044432aa7e665, 0x0000004444c44481,
3222  0x0000199900006664, 0x0000001999999a01,
3223  0x000019993ffee664, 0x0000001999d99a01,
3224  0x000019997ffce667, 0x000000199a199981,
3225  0x00001999bffa666d, 0x000000199a599881,
3226  0x000000003ffe8000, 0x0000000000400001,
3227  0x000000007ffc8003, 0x00000000007fff81,
3228  0x00000000bffa0009, 0x0000000000bffe81,
3229  0x00000000fff70012, 0x0000000000fffd01,
3230  0x000000003ffe0003, 0x00000000003fff81,
3231  0x000000007ffb8009, 0x00000000007ffe81,
3232  0x00000000bff88012, 0x0000000000bffd01,
3233  0x00000000c0387e92, 0x0000000000c03d01,
3234  0x000000003ffd8006, 0x00000000003fff01,
3235  0x000000007ffa800f, 0x00000000007ffd81,
3236  0x00000000803a7e8f, 0x0000000000803d81,
3237  0x000000008079fd12, 0x0000000000807d01,
3238  0x000000003ffd0009, 0x00000000003ffe81,
3239  0x00000000403cfe89, 0x0000000000403e81,
3240  0x00000000407c7d0c, 0x0000000000407e01,
3241  0x0000000040bb7b92, 0x000000000040bd01,
3242  0x00000000003ffe80, 0x0000000000004001,
3243  0x00000000007f7d03, 0x0000000000007f81,
3244  0x0000000000be7b89, 0x000000000000be81,
3245  0x0000000000fcfa12, 0x000000000000fd01,
3246  0x00000000003f7e83, 0x0000000000003f81,
3247  0x00000000007e7d09, 0x0000000000007e81,
3248  0x0000000000bcfb92, 0x000000000000bd01,
3249  0x0000000000ccfb32, 0x000000000000cd01,
3250  0x00000000003efe86, 0x0000000000003f01,
3251  0x00000000007d7d0f, 0x0000000000007d81,
3252  0x00000000008d7caf, 0x0000000000008d81,
3253  0x00000000008efca6, 0x0000000000008f01,
3254  0x00000000003e7e89, 0x0000000000003e81,
3255  0x00000000004e7e29, 0x0000000000004e81,
3256  0x00000000004ffe20, 0x0000000000005001,
3257  0x000000000050fe1a, 0x0000000000005101,
3258  0x00000000000fffa0, 0x0000000000001001,
3259  0x0000000000117f97, 0x0000000000001181,
3260  0x0000000000127f91, 0x0000000000001281,
3261  0x000000000012ff8e, 0x0000000000001301,
3262  0x0000000000000180, 0x000000000000017e,
3263  0x0000000000000280, 0x000000000000027c,
3264  0x0000000000000300, 0x00000000000002fb,
3265  0x0000000000000300, 0x00000000000002fb,
3266  0x0000000000000100, 0x00000000000000ff,
3267  0x0000000000000180, 0x000000000000017e,
3268  0x0000000000000180, 0x000000000000017e,
3269  0x0000000000000100, 0x00000000000000ff,
3270  0x0000000000000080, 0x0000000000000080,
3271  0x0000000000000080, 0x0000000000000080,
3272  0x0000000000000000, 0x0000000000000001,
3273  0xffffffffffffff00, 0xffffffffffffff03,
3274  0x0000000000000000, 0x0000000000000001,
3275  0xffffffffffffff80, 0xffffffffffffff82,
3276  0xfffffffffffffe80, 0xfffffffffffffe84,
3277  0xffffffffffffee80, 0xffffffffffffeea4,
3278  0xffffffffffffff80, 0xffffffffffffff82,
3279  0xfffffffffffffe80, 0xfffffffffffffe84,
3280  0xffffffffffffee80, 0xffffffffffffeea4,
3281  0xffffffffffffb000, 0xffffffffffffb0a1,
3282  0xffffffffffffff00, 0xffffffffffffff03,
3283  0xffffffffffffef00, 0xffffffffffffef23,
3284  0xffffffffffffb080, 0xffffffffffffb120,
3285  0xffffffffffff7180, 0xffffffffffff729e,
3286  0xfffffffffffff000, 0xfffffffffffff021,
3287  0xffffffffffffb180, 0xffffffffffffb21e,
3288  0xffffffffffff7280, 0xffffffffffff739c,
3289  0xffffffffffff3300, 0xffffffffffff349b,
3290  0xffffffffffffc180, 0xffffffffffffc1fe,
3291  0xffffffffffff8280, 0xffffffffffff837c,
3292  0xffffffffffff4300, 0xffffffffffff447b,
3293  0xffffffffffbf4480, 0xffffffffffbfc5f8,
3294  0xffffffffffffc100, 0xffffffffffffc17f,
3295  0xffffffffffff8180, 0xffffffffffff827e,
3296  0xffffffffffbf8300, 0xffffffffffc003fb,
3297  0xffffffffff7f8400, 0xffffffffff8084f9,
3298  0xffffffffffffc080, 0xffffffffffffc100,
3299  0xffffffffffbfc200, 0xffffffffffc0427d,
3300  0xffffffffff7fc300, 0xffffffffff80c37b,
3301  0xffffffffff3fc380, 0xffffffffff4143fa,
3302  0xffffffffffc00180, 0xffffffffffc0817e,
3303  0xffffffffff800280, 0xffffffffff81027c,
3304  0xffffffffff400300, 0xffffffffff4182fb,
3305  0xffffffe665a66980, 0xffffffe698db1cae,
3306  0xffffffffffc00100, 0xffffffffffc080ff,
3307  0xffffffffff800180, 0xffffffffff81017e,
3308  0xffffffe665e66800, 0xffffffe6991a9b31,
3309  0xffffffbbbb3bbd80, 0xffffffbc43c54606,
3310  0xffffffffffc00080, 0xffffffffffc08080,
3311  0xffffffe666266700, 0xffffffe6995a1a33,
3312  0xffffffbbbb7bbc80, 0xffffffbc4404c508,
3313  0xffffff7bbb7bbe00, 0xffffff7cc404c685,
3314  0xffffffe666666680, 0xffffffe6999999b4,
3315  0xffffffbbbbbbbc00, 0xffffffbc44444489,
3316  0xffffff7bbbbbbd80, 0xffffff7cc4444606,
3317  0xffffff3bbbbbbe80, 0xffffff3d44444704,
3318  0xffffffd555555580, 0xffffffd5aaaaaad6,
3319  0xffffff9555555700, 0xffffff962aaaac53,
3320  0xffffff5555555800, 0xffffff56aaaaad51,
3321  0xffffff1555555880, 0xffffff172aaaadd0,
3322  0xffffffc000000180, 0xffffffc08000017e,
3323  0xffffff8000000280, 0xffffff810000027c,
3324  0xffffff4000000300, 0xffffff41800002fb,
3325  0xffffff8000000300, 0xffffff81000002fb,
3326  0xffffffc000000100, 0xffffffc0800000ff,
3327  0xffffff8000000180, 0xffffff810000017e,
3328  0xffffffc000000180, 0xffffffc08000017e,
3329  0x0000000000000100, 0x00000000000000ff,
3330  0xffffffc000000080, 0xffffffc080000080,
3331  0x0000000000000080, 0x0000000000000080,
3332  0x0000004000000000, 0x0000003f80000001,
3333  0x0000006aaaaaab00, 0x00000069d55555ab,
3334  0x0000004000000000, 0x0000003f80000001,
3335  0x0000007fffffff80, 0x0000007effffff82,
3336  0x000000aaaaaaaa80, 0x000000a95555552c,
3337  0x000000c444444480, 0x000000c2bbbbbbf8,
3338  0x0000003fffffff80, 0x0000003f7fffff82,
3339  0x0000006aaaaaaa80, 0x00000069d555552c,
3340  0x0000008444444480, 0x000000833bbbbbf8,
3341  0x0000008444844480, 0x000000833bfb3bf8,
3342  0x0000002aaaaaab00, 0x0000002a555555ab,
3343  0x0000004444444500, 0x00000043bbbbbc77,
3344  0x0000004444844500, 0x00000043bbfb3c77,
3345  0x0000004444c44480, 0x00000043bc3abbf8,
3346  0x0000001999999a00, 0x00000019666666cd,
3347  0x0000001999d99a00, 0x0000001966a5e6cd,
3348  0x000000199a199980, 0x0000001966e5664e,
3349  0x000000199a599880, 0x000000196724e550,
3350  0x0000000000400000, 0x00000000003f8001,
3351  0x00000000007fff80, 0x00000000007eff82,
3352  0x0000000000bffe80, 0x0000000000be7e84,
3353  0x0000000000fffd00, 0x0000000000fdfd07,
3354  0x00000000003fff80, 0x00000000003f7f82,
3355  0x00000000007ffe80, 0x00000000007efe84,
3356  0x0000000000bffd00, 0x0000000000be7d07,
3357  0x0000000000c03d00, 0x0000000000bebc87,
3358  0x00000000003fff00, 0x00000000003f7f03,
3359  0x00000000007ffd80, 0x00000000007efd86,
3360  0x0000000000803d80, 0x00000000007f3d06,
3361  0x0000000000807d00, 0x00000000007f7c07,
3362  0x00000000003ffe80, 0x00000000003f7e84,
3363  0x0000000000403e80, 0x00000000003fbe04,
3364  0x0000000000407e00, 0x00000000003ffd05,
3365  0x000000000040bd00, 0x0000000000403b87,
3366  0x0000000000004000, 0x0000000000003f81,
3367  0x0000000000007f80, 0x0000000000007e82,
3368  0x000000000000be80, 0x000000000000bd04,
3369  0x000000000000fd00, 0x000000000000fb07,
3370  0x0000000000003f80, 0x0000000000003f02,
3371  0x0000000000007e80, 0x0000000000007d84,
3372  0x000000000000bd00, 0x000000000000bb87,
3373  0x000000000000cd00, 0x000000000000cb67,
3374  0x0000000000003f00, 0x0000000000003e83,
3375  0x0000000000007d80, 0x0000000000007c86,
3376  0x0000000000008d80, 0x0000000000008c66,
3377  0x0000000000008f00, 0x0000000000008de3,
3378  0x0000000000003e80, 0x0000000000003e04,
3379  0x0000000000004e80, 0x0000000000004de4,
3380  0x0000000000005000, 0x0000000000004f61,
3381  0x0000000000005100, 0x000000000000505f,
3382  0x0000000000001000, 0x0000000000000fe1,
3383  0x0000000000001180, 0x000000000000115e,
3384  0x0000000000001280, 0x000000000000125c,
3385  0x0000000000001300, 0x00000000000012db,
3386  0x000000000000017d, 0x000000000000017b,
3387  0x000000000000027b, 0x0000000000000277,
3388  0x00000000000002fa, 0x00000000000002f5,
3389  0x00000000000002fa, 0x00000000000002f5,
3390  0x00000000000000fe, 0x00000000000000fd,
3391  0x000000000000017d, 0x000000000000017b,
3392  0x000000000000017d, 0x000000000000017b,
3393  0x00000000000000fe, 0x00000000000000fd,
3394  0x000000000000007f, 0x000000000000007f,
3395  0x000000000000007f, 0x000000000000007f,
3396  0x0000000000000000, 0x0000000000000001,
3397  0xffffffffffffff02, 0xffffffffffffff05,
3398  0x0000000000000000, 0x0000000000000001,
3399  0xffffffffffffff81, 0xffffffffffffff83,
3400  0xfffffffffffffe83, 0xfffffffffffffe87,
3401  0xffffffffffffeea3, 0xffffffffffffeec7,
3402  0xffffffffffffff81, 0xffffffffffffff83,
3403  0xfffffffffffffe83, 0xfffffffffffffe87,
3404  0xffffffffffffeea3, 0xffffffffffffeec7,
3405  0xffffffffffffb0a0, 0xffffffffffffb141,
3406  0xffffffffffffff02, 0xffffffffffffff05,
3407  0xffffffffffffef22, 0xffffffffffffef45,
3408  0xffffffffffffb11f, 0xffffffffffffb1bf,
3409  0xffffffffffff729d, 0xffffffffffff73bb,
3410  0xfffffffffffff020, 0xfffffffffffff041,
3411  0xffffffffffffb21d, 0xffffffffffffb2bb,
3412  0xffffffffffff739b, 0xffffffffffff74b7,
3413  0xffffffffffff349a, 0xffffffffffff3635,
3414  0xffffffffffffc1fd, 0xffffffffffffc27b,
3415  0xffffffffffff837b, 0xffffffffffff8477,
3416  0xffffffffffff447a, 0xffffffffffff45f5,
3417  0xffffffffffbfc5f7, 0xffffffffffc0476f,
3418  0xffffffffffffc17e, 0xffffffffffffc1fd,
3419  0xffffffffffff827d, 0xffffffffffff837b,
3420  0xffffffffffc003fa, 0xffffffffffc084f5,
3421  0xffffffffff8084f8, 0xffffffffff8185f1,
3422  0xffffffffffffc0ff, 0xffffffffffffc17f,
3423  0xffffffffffc0427c, 0xffffffffffc0c2f9,
3424  0xffffffffff80c37a, 0xffffffffff81c3f5,
3425  0xffffffffff4143f9, 0xffffffffff42c473,
3426  0xffffffffffc0817d, 0xffffffffffc1017b,
3427  0xffffffffff81027b, 0xffffffffff820277,
3428  0xffffffffff4182fa, 0xffffffffff4302f5,
3429  0xffffffe698db1cad, 0xffffffe6cc0fcfdb,
3430  0xffffffffffc080fe, 0xffffffffffc100fd,
3431  0xffffffffff81017d, 0xffffffffff82017b,
3432  0xffffffe6991a9b30, 0xffffffe6cc4ece61,
3433  0xffffffbc43c54605, 0xffffffbccc4ece8b,
3434  0xffffffffffc0807f, 0xffffffffffc1007f,
3435  0xffffffe6995a1a32, 0xffffffe6cc8dcd65,
3436  0xffffffbc4404c507, 0xffffffbccc8dcd8f,
3437  0xffffff7cc404c684, 0xffffff7dcc8dcf09,
3438  0xffffffe6999999b3, 0xffffffe6cccccce7,
3439  0xffffffbc44444488, 0xffffffbccccccd11,
3440  0xffffff7cc4444605, 0xffffff7dccccce8b,
3441  0xffffff3d44444703, 0xffffff3ecccccf87,
3442  0xffffffd5aaaaaad5, 0xffffffd60000002b,
3443  0xffffff962aaaac52, 0xffffff97000001a5,
3444  0xffffff56aaaaad50, 0xffffff58000002a1,
3445  0xffffff172aaaadcf, 0xffffff190000031f,
3446  0xffffffc08000017d, 0xffffffc10000017b,
3447  0xffffff810000027b, 0xffffff8200000277,
3448  0xffffff41800002fa, 0xffffff43000002f5,
3449  0xffffff81000002fa, 0xffffff82000002f5,
3450  0xffffffc0800000fe, 0xffffffc1000000fd,
3451  0xffffff810000017d, 0xffffff820000017b,
3452  0xffffffc08000017d, 0xffffffc10000017b,
3453  0x00000000000000fe, 0x00000000000000fd,
3454  0xffffffc08000007f, 0xffffffc10000007f,
3455  0x000000000000007f, 0x000000000000007f,
3456  0x0000003f80000000, 0x0000003f00000001,
3457  0x00000069d55555aa, 0x0000006900000055,
3458  0x0000003f80000000, 0x0000003f00000001,
3459  0x0000007effffff81, 0x0000007dffffff83,
3460  0x000000a95555552b, 0x000000a7ffffffd7,
3461  0x000000c2bbbbbbf7, 0x000000c13333336f,
3462  0x0000003f7fffff81, 0x0000003effffff83,
3463  0x00000069d555552b, 0x00000068ffffffd7,
3464  0x000000833bbbbbf7, 0x000000823333336f,
3465  0x000000833bfb3bf7, 0x000000823372336f,
3466  0x0000002a555555aa, 0x0000002a00000055,
3467  0x00000043bbbbbc76, 0x00000043333333ed,
3468  0x00000043bbfb3c76, 0x00000043337233ed,
3469  0x00000043bc3abbf7, 0x0000004333b1336f,
3470  0x00000019666666cc, 0x0000001933333399,
3471  0x0000001966a5e6cc, 0x0000001933723399,
3472  0x0000001966e5664d, 0x0000001933b1331b,
3473  0x000000196724e54f, 0x0000001933f0321f,
3474  0x00000000003f8000, 0x00000000003f0001,
3475  0x00000000007eff81, 0x00000000007dff83,
3476  0x0000000000be7e83, 0x0000000000bcfe87,
3477  0x0000000000fdfd06, 0x0000000000fbfd0d,
3478  0x00000000003f7f81, 0x00000000003eff83,
3479  0x00000000007efe83, 0x00000000007dfe87,
3480  0x0000000000be7d06, 0x0000000000bcfd0d,
3481  0x0000000000bebc86, 0x0000000000bd3c0d,
3482  0x00000000003f7f02, 0x00000000003eff05,
3483  0x00000000007efd85, 0x00000000007dfd8b,
3484  0x00000000007f3d05, 0x00000000007e3c8b,
3485  0x00000000007f7c06, 0x00000000007e7b0d,
3486  0x00000000003f7e83, 0x00000000003efe87,
3487  0x00000000003fbe03, 0x00000000003f3d87,
3488  0x00000000003ffd04, 0x00000000003f7c09,
3489  0x0000000000403b86, 0x00000000003fba0d,
3490  0x0000000000003f80, 0x0000000000003f01,
3491  0x0000000000007e81, 0x0000000000007d83,
3492  0x000000000000bd03, 0x000000000000bb87,
3493  0x000000000000fb06, 0x000000000000f90d,
3494  0x0000000000003f01, 0x0000000000003e83,
3495  0x0000000000007d83, 0x0000000000007c87,
3496  0x000000000000bb86, 0x000000000000ba0d,
3497  0x000000000000cb66, 0x000000000000c9cd,
3498  0x0000000000003e82, 0x0000000000003e05,
3499  0x0000000000007c85, 0x0000000000007b8b,
3500  0x0000000000008c65, 0x0000000000008b4b,
3501  0x0000000000008de2, 0x0000000000008cc5,
3502  0x0000000000003e03, 0x0000000000003d87,
3503  0x0000000000004de3, 0x0000000000004d47,
3504  0x0000000000004f60, 0x0000000000004ec1,
3505  0x000000000000505e, 0x0000000000004fbd,
3506  0x0000000000000fe0, 0x0000000000000fc1,
3507  0x000000000000115d, 0x000000000000113b,
3508  0x000000000000125b, 0x0000000000001237,
3509  0x00000000000012da, 0x00000000000012b5,
3510  0x000000000000017a, 0x0000000000000178,
3511  0x0000000000000276, 0x0000000000000272,
3512  0x00000000000002f4, 0x00000000000002ef,
3513  0x00000000000002f4, 0x00000000000002ef,
3514  0x00000000000000fc, 0x00000000000000fb,
3515  0x000000000000017a, 0x0000000000000178,
3516  0x000000000000017a, 0x0000000000000178,
3517  0x00000000000000fc, 0x00000000000000fb,
3518  0x000000000000007e, 0x000000000000007e,
3519  0x000000000000007e, 0x000000000000007e,
3520  0x0000000000000000, 0x0000000000000001,
3521  0xffffffffffffff04, 0xffffffffffffff07,
3522  0x0000000000000000, 0x0000000000000001,
3523  0xffffffffffffff82, 0xffffffffffffff84,
3524  0xfffffffffffffe86, 0xfffffffffffffe8a,
3525  0xffffffffffffeec6, 0xffffffffffffeeea,
3526  0xffffffffffffff82, 0xffffffffffffff84,
3527  0xfffffffffffffe86, 0xfffffffffffffe8a,
3528  0xffffffffffffeec6, 0xffffffffffffeeea,
3529  0xffffffffffffb140, 0xffffffffffffb1e1,
3530  0xffffffffffffff04, 0xffffffffffffff07,
3531  0xffffffffffffef44, 0xffffffffffffef67,
3532  0xffffffffffffb1be, 0xffffffffffffb25e,
3533  0xffffffffffff73ba, 0xffffffffffff74d8,
3534  0xfffffffffffff040, 0xfffffffffffff061,
3535  0xffffffffffffb2ba, 0xffffffffffffb358,
3536  0xffffffffffff74b6, 0xffffffffffff75d2,
3537  0xffffffffffff3634, 0xffffffffffff37cf,
3538  0xffffffffffffc27a, 0xffffffffffffc2f8,
3539  0xffffffffffff8476, 0xffffffffffff8572,
3540  0xffffffffffff45f4, 0xffffffffffff476f,
3541  0xffffffffffc0476e, 0xffffffffffc0c8e6,
3542  0xffffffffffffc1fc, 0xffffffffffffc27b,
3543  0xffffffffffff837a, 0xffffffffffff8478,
3544  0xffffffffffc084f4, 0xffffffffffc105ef,
3545  0xffffffffff8185f0, 0xffffffffff8286e9,
3546  0xffffffffffffc17e, 0xffffffffffffc1fe,
3547  0xffffffffffc0c2f8, 0xffffffffffc14375,
3548  0xffffffffff81c3f4, 0xffffffffff82c46f,
3549  0xffffffffff42c472, 0xffffffffff4444ec,
3550  0xffffffffffc1017a, 0xffffffffffc18178,
3551  0xffffffffff820276, 0xffffffffff830272,
3552  0xffffffffff4302f4, 0xffffffffff4482ef,
3553  0xffffffe6cc0fcfda, 0xffffffe6ff448308,
3554  0xffffffffffc100fc, 0xffffffffffc180fb,
3555  0xffffffffff82017a, 0xffffffffff830178,
3556  0xffffffe6cc4ece60, 0xffffffe6ff830191,
3557  0xffffffbccc4ece8a, 0xffffffbd54d85710,
3558  0xffffffffffc1007e, 0xffffffffffc1807e,
3559  0xffffffe6cc8dcd64, 0xffffffe6ffc18097,
3560  0xffffffbccc8dcd8e, 0xffffffbd5516d616,
3561  0xffffff7dcc8dcf08, 0xffffff7ed516d78d,
3562  0xffffffe6cccccce6, 0xffffffe70000001a,
3563  0xffffffbccccccd10, 0xffffffbd55555599,
3564  0xffffff7dccccce8a, 0xffffff7ed5555710,
3565  0xffffff3ecccccf86, 0xffffff405555580a,
3566  0xffffffd60000002a, 0xffffffd655555580,
3567  0xffffff97000001a4, 0xffffff97d55556f7,
3568  0xffffff58000002a0, 0xffffff59555557f1,
3569  0xffffff190000031e, 0xffffff1ad555586e,
3570  0xffffffc10000017a, 0xffffffc180000178,
3571  0xffffff8200000276, 0xffffff8300000272,
3572  0xffffff43000002f4, 0xffffff44800002ef,
3573  0xffffff82000002f4, 0xffffff83000002ef,
3574  0xffffffc1000000fc, 0xffffffc1800000fb,
3575  0xffffff820000017a, 0xffffff8300000178,
3576  0xffffffc10000017a, 0xffffffc180000178,
3577  0x00000000000000fc, 0x00000000000000fb,
3578  0xffffffc10000007e, 0xffffffc18000007e,
3579  0x000000000000007e, 0x000000000000007e,
3580  0x0000003f00000000, 0x0000003e80000001,
3581  0x0000006900000054, 0x000000682aaaaaff,
3582  0x0000003f00000000, 0x0000003e80000001,
3583  0x0000007dffffff82, 0x0000007cffffff84,
3584  0x000000a7ffffffd6, 0x000000a6aaaaaa82,
3585  0x000000c13333336e, 0x000000bfaaaaaae6,
3586  0x0000003effffff82, 0x0000003e7fffff84,
3587  0x00000068ffffffd6, 0x000000682aaaaa82,
3588  0x000000823333336e, 0x000000812aaaaae6,
3589  0x000000823372336e, 0x000000812ae92ae6,
3590  0x0000002a00000054, 0x00000029aaaaaaff,
3591  0x00000043333333ec, 0x00000042aaaaab63,
3592  0x00000043337233ec, 0x00000042aae92b63,
3593  0x0000004333b1336e, 0x00000042ab27aae6,
3594  0x0000001933333398, 0x0000001900000065,
3595  0x0000001933723398, 0x00000019003e8065,
3596  0x0000001933b1331a, 0x00000019007cffe8,
3597  0x0000001933f0321e, 0x0000001900bb7eee,
3598  0x00000000003f0000, 0x00000000003e8001,
3599  0x00000000007dff82, 0x00000000007cff84,
3600  0x0000000000bcfe86, 0x0000000000bb7e8a,
3601  0x0000000000fbfd0c, 0x0000000000f9fd13,
3602  0x00000000003eff82, 0x00000000003e7f84,
3603  0x00000000007dfe86, 0x00000000007cfe8a,
3604  0x0000000000bcfd0c, 0x0000000000bb7d13,
3605  0x0000000000bd3c0c, 0x0000000000bbbb93,
3606  0x00000000003eff04, 0x00000000003e7f07,
3607  0x00000000007dfd8a, 0x00000000007cfd90,
3608  0x00000000007e3c8a, 0x00000000007d3c10,
3609  0x00000000007e7b0c, 0x00000000007d7a13,
3610  0x00000000003efe86, 0x00000000003e7e8a,
3611  0x00000000003f3d86, 0x00000000003ebd0a,
3612  0x00000000003f7c08, 0x00000000003efb0d,
3613  0x00000000003fba0c, 0x00000000003f3893,
3614  0x0000000000003f00, 0x0000000000003e81,
3615  0x0000000000007d82, 0x0000000000007c84,
3616  0x000000000000bb86, 0x000000000000ba0a,
3617  0x000000000000f90c, 0x000000000000f713,
3618  0x0000000000003e82, 0x0000000000003e04,
3619  0x0000000000007c86, 0x0000000000007b8a,
3620  0x000000000000ba0c, 0x000000000000b893,
3621  0x000000000000c9cc, 0x000000000000c833,
3622  0x0000000000003e04, 0x0000000000003d87,
3623  0x0000000000007b8a, 0x0000000000007a90,
3624  0x0000000000008b4a, 0x0000000000008a30,
3625  0x0000000000008cc4, 0x0000000000008ba7,
3626  0x0000000000003d86, 0x0000000000003d0a,
3627  0x0000000000004d46, 0x0000000000004caa,
3628  0x0000000000004ec0, 0x0000000000004e21,
3629  0x0000000000004fbc, 0x0000000000004f1b,
3630  0x0000000000000fc0, 0x0000000000000fa1,
3631  0x000000000000113a, 0x0000000000001118,
3632  0x0000000000001236, 0x0000000000001212,
3633  0x00000000000012b4, 0x000000000000128f,
3634  0x0000000000000177, 0x0000000000000061,
3635  0x0000000000000271, 0x00000000000000a1,
3636  0x00000000000002ee, 0x00000000000000c1,
3637  0x00000000000002ee, 0x00000000000000c1,
3638  0x00000000000000fa, 0x0000000000000041,
3639  0x0000000000000177, 0x0000000000000061,
3640  0x0000000000000177, 0x0000000000000061,
3641  0x00000000000000fa, 0x0000000000000041,
3642  0x000000000000007d, 0x0000000000000021,
3643  0x000000000000007d, 0x0000000000000021,
3644  0x0000000000000000, 0x0000000000000001,
3645  0xffffffffffffff06, 0xffffffffffffffc1,
3646  0x0000000000000000, 0x0000000000000001,
3647  0xffffffffffffff83, 0xffffffffffffffe1,
3648  0xfffffffffffffe89, 0xffffffffffffffa1,
3649  0xffffffffffffeee9, 0xfffffffffffffba1,
3650  0xffffffffffffff83, 0xffffffffffffffe1,
3651  0xfffffffffffffe89, 0xffffffffffffffa1,
3652  0xffffffffffffeee9, 0xfffffffffffffba1,
3653  0xffffffffffffb1e0, 0xffffffffffffec01,
3654  0xffffffffffffff06, 0xffffffffffffffc1,
3655  0xffffffffffffef66, 0xfffffffffffffbc1,
3656  0xffffffffffffb25d, 0xffffffffffffec21,
3657  0xffffffffffff74d7, 0xffffffffffffdc61,
3658  0xfffffffffffff060, 0xfffffffffffffc01,
3659  0xffffffffffffb357, 0xffffffffffffec61,
3660  0xffffffffffff75d1, 0xffffffffffffdca1,
3661  0xffffffffffff37ce, 0xffffffffffffccc1,
3662  0xffffffffffffc2f7, 0xfffffffffffff061,
3663  0xffffffffffff8571, 0xffffffffffffe0a1,
3664  0xffffffffffff476e, 0xffffffffffffd0c1,
3665  0xffffffffffc0c8e5, 0xffffffffffefd121,
3666  0xffffffffffffc27a, 0xfffffffffffff041,
3667  0xffffffffffff8477, 0xffffffffffffe061,
3668  0xffffffffffc105ee, 0xffffffffffefe0c1,
3669  0xffffffffff8286e8, 0xffffffffffdfe101,
3670  0xffffffffffffc1fd, 0xfffffffffffff021,
3671  0xffffffffffc14374, 0xffffffffffeff081,
3672  0xffffffffff82c46e, 0xffffffffffdff0c1,
3673  0xffffffffff4444eb, 0xffffffffffcff0e1,
3674  0xffffffffffc18177, 0xfffffffffff00061,
3675  0xffffffffff830271, 0xffffffffffe000a1,
3676  0xffffffffff4482ee, 0xffffffffffd000c1,
3677  0xffffffe6ff448307, 0xfffffff999699a61,
3678  0xffffffffffc180fa, 0xfffffffffff00041,
3679  0xffffffffff830177, 0xffffffffffe00061,
3680  0xffffffe6ff830190, 0xfffffff999799a01,
3681  0xffffffbd54d8570f, 0xffffffeeeeceef61,
3682  0xffffffffffc1807d, 0xfffffffffff00021,
3683  0xffffffe6ffc18096, 0xfffffff9998999c1,
3684  0xffffffbd5516d615, 0xffffffeeeedeef21,
3685  0xffffff7ed516d78c, 0xffffffdeeedeef81,
3686  0xffffffe700000019, 0xfffffff9999999a1,
3687  0xffffffbd55555598, 0xffffffeeeeeeef01,
3688  0xffffff7ed555570f, 0xffffffdeeeeeef61,
3689  0xffffff4055555809, 0xffffffceeeeeefa1,
3690  0xffffffd65555557f, 0xfffffff555555561,
3691  0xffffff97d55556f6, 0xffffffe5555555c1,
3692  0xffffff59555557f0, 0xffffffd555555601,
3693  0xffffff1ad555586d, 0xffffffc555555621,
3694  0xffffffc180000177, 0xfffffff000000061,
3695  0xffffff8300000271, 0xffffffe0000000a1,
3696  0xffffff44800002ee, 0xffffffd0000000c1,
3697  0xffffff83000002ee, 0xffffffe0000000c1,
3698  0xffffffc1800000fa, 0xfffffff000000041,
3699  0xffffff8300000177, 0xffffffe000000061,
3700  0xffffffc180000177, 0xfffffff000000061,
3701  0x00000000000000fa, 0x0000000000000041,
3702  0xffffffc18000007d, 0xfffffff000000021,
3703  0x000000000000007d, 0x0000000000000021,
3704  0x0000003e80000000, 0x0000001000000001,
3705  0x000000682aaaaafe, 0x0000001aaaaaaac1,
3706  0x0000003e80000000, 0x0000001000000001,
3707  0x0000007cffffff83, 0x0000001fffffffe1,
3708  0x000000a6aaaaaa81, 0x0000002aaaaaaaa1,
3709  0x000000bfaaaaaae5, 0x0000003111111121,
3710  0x0000003e7fffff83, 0x0000000fffffffe1,
3711  0x000000682aaaaa81, 0x0000001aaaaaaaa1,
3712  0x000000812aaaaae5, 0x0000002111111121,
3713  0x000000812ae92ae5, 0x0000002111211121,
3714  0x00000029aaaaaafe, 0x0000000aaaaaaac1,
3715  0x00000042aaaaab62, 0x0000001111111141,
3716  0x00000042aae92b62, 0x0000001111211141,
3717  0x00000042ab27aae5, 0x0000001111311121,
3718  0x0000001900000064, 0x0000000666666681,
3719  0x00000019003e8064, 0x0000000666766681,
3720  0x00000019007cffe7, 0x0000000666866661,
3721  0x0000001900bb7eed, 0x0000000666966621,
3722  0x00000000003e8000, 0x0000000000100001,
3723  0x00000000007cff83, 0x00000000001fffe1,
3724  0x0000000000bb7e89, 0x00000000002fffa1,
3725  0x0000000000f9fd12, 0x00000000003fff41,
3726  0x00000000003e7f83, 0x00000000000fffe1,
3727  0x00000000007cfe89, 0x00000000001fffa1,
3728  0x0000000000bb7d12, 0x00000000002fff41,
3729  0x0000000000bbbb92, 0x0000000000300f41,
3730  0x00000000003e7f06, 0x00000000000fffc1,
3731  0x00000000007cfd8f, 0x00000000001fff61,
3732  0x00000000007d3c0f, 0x0000000000200f61,
3733  0x00000000007d7a12, 0x0000000000201f41,
3734  0x00000000003e7e89, 0x00000000000fffa1,
3735  0x00000000003ebd09, 0x0000000000100fa1,
3736  0x00000000003efb0c, 0x0000000000101f81,
3737  0x00000000003f3892, 0x0000000000102f41,
3738  0x0000000000003e80, 0x0000000000001001,
3739  0x0000000000007c83, 0x0000000000001fe1,
3740  0x000000000000ba09, 0x0000000000002fa1,
3741  0x000000000000f712, 0x0000000000003f41,
3742  0x0000000000003e03, 0x0000000000000fe1,
3743  0x0000000000007b89, 0x0000000000001fa1,
3744  0x000000000000b892, 0x0000000000002f41,
3745  0x000000000000c832, 0x0000000000003341,
3746  0x0000000000003d86, 0x0000000000000fc1,
3747  0x0000000000007a8f, 0x0000000000001f61,
3748  0x0000000000008a2f, 0x0000000000002361,
3749  0x0000000000008ba6, 0x00000000000023c1,
3750  0x0000000000003d09, 0x0000000000000fa1,
3751  0x0000000000004ca9, 0x00000000000013a1,
3752  0x0000000000004e20, 0x0000000000001401,
3753  0x0000000000004f1a, 0x0000000000001441,
3754  0x0000000000000fa0, 0x0000000000000401,
3755  0x0000000000001117, 0x0000000000000461,
3756  0x0000000000001211, 0x00000000000004a1,
3757  0x000000000000128e, 0x00000000000004c1,
3758  0x0000000000000060, 0x000000000000000a,
3759  0x00000000000000a0, 0x0000000000000010,
3760  0x00000000000000c0, 0x0000000000000013,
3761  0x00000000000000c0, 0x0000000000000013,
3762  0x0000000000000040, 0x0000000000000007,
3763  0x0000000000000060, 0x000000000000000a,
3764  0x0000000000000060, 0x000000000000000a,
3765  0x0000000000000040, 0x0000000000000007,
3766  0x0000000000000020, 0x0000000000000004,
3767  0x0000000000000020, 0x0000000000000004,
3768  0x0000000000000000, 0x0000000000000001,
3769  0xffffffffffffffc0, 0xfffffffffffffffb,
3770  0x0000000000000000, 0x0000000000000001,
3771  0xffffffffffffffe0, 0xfffffffffffffffe,
3772  0xffffffffffffffa0, 0xfffffffffffffff8,
3773  0xfffffffffffffba0, 0xffffffffffffff98,
3774  0xffffffffffffffe0, 0xfffffffffffffffe,
3775  0xffffffffffffffa0, 0xfffffffffffffff8,
3776  0xfffffffffffffba0, 0xffffffffffffff98,
3777  0xffffffffffffec00, 0xfffffffffffffe21,
3778  0xffffffffffffffc0, 0xfffffffffffffffb,
3779  0xfffffffffffffbc0, 0xffffffffffffff9b,
3780  0xffffffffffffec20, 0xfffffffffffffe24,
3781  0xffffffffffffdc60, 0xfffffffffffffcaa,
3782  0xfffffffffffffc00, 0xffffffffffffffa1,
3783  0xffffffffffffec60, 0xfffffffffffffe2a,
3784  0xffffffffffffdca0, 0xfffffffffffffcb0,
3785  0xffffffffffffccc0, 0xfffffffffffffb33,
3786  0xfffffffffffff060, 0xfffffffffffffe8a,
3787  0xffffffffffffe0a0, 0xfffffffffffffd10,
3788  0xffffffffffffd0c0, 0xfffffffffffffb93,
3789  0xffffffffffefd120, 0xfffffffffffe7b9c,
3790  0xfffffffffffff040, 0xfffffffffffffe87,
3791  0xffffffffffffe060, 0xfffffffffffffd0a,
3792  0xffffffffffefe0c0, 0xfffffffffffe7d13,
3793  0xffffffffffdfe100, 0xfffffffffffcfd19,
3794  0xfffffffffffff020, 0xfffffffffffffe84,
3795  0xffffffffffeff080, 0xfffffffffffe7e8d,
3796  0xffffffffffdff0c0, 0xfffffffffffcfe93,
3797  0xffffffffffcff0e0, 0xfffffffffffb7e96,
3798  0xfffffffffff00060, 0xfffffffffffe800a,
3799  0xffffffffffe000a0, 0xfffffffffffd0010,
3800  0xffffffffffd000c0, 0xfffffffffffb8013,
3801  0xfffffff999699a60, 0xffffffff6661e67a,
3802  0xfffffffffff00040, 0xfffffffffffe8007,
3803  0xffffffffffe00060, 0xfffffffffffd000a,
3804  0xfffffff999799a00, 0xffffffff66636671,
3805  0xffffffeeeeceef60, 0xfffffffe66636672,
3806  0xfffffffffff00020, 0xfffffffffffe8004,
3807  0xfffffff9998999c0, 0xffffffff6664e66b,
3808  0xffffffeeeedeef20, 0xfffffffe6664e66c,
3809  0xffffffdeeedeef80, 0xfffffffce664e675,
3810  0xfffffff9999999a0, 0xffffffff66666668,
3811  0xffffffeeeeeeef00, 0xfffffffe66666669,
3812  0xffffffdeeeeeef60, 0xfffffffce6666672,
3813  0xffffffceeeeeefa0, 0xfffffffb66666678,
3814  0xfffffff555555560, 0xffffffff00000002,
3815  0xffffffe5555555c0, 0xfffffffd8000000b,
3816  0xffffffd555555600, 0xfffffffc00000011,
3817  0xffffffc555555620, 0xfffffffa80000014,
3818  0xfffffff000000060, 0xfffffffe8000000a,
3819  0xffffffe0000000a0, 0xfffffffd00000010,
3820  0xffffffd0000000c0, 0xfffffffb80000013,
3821  0xffffffe0000000c0, 0xfffffffd00000013,
3822  0xfffffff000000040, 0xfffffffe80000007,
3823  0xffffffe000000060, 0xfffffffd0000000a,
3824  0xfffffff000000060, 0xfffffffe8000000a,
3825  0x0000000000000040, 0x0000000000000007,
3826  0xfffffff000000020, 0xfffffffe80000004,
3827  0x0000000000000020, 0x0000000000000004,
3828  0x0000001000000000, 0x0000000180000001,
3829  0x0000001aaaaaaac0, 0x0000000280000003,
3830  0x0000001000000000, 0x0000000180000001,
3831  0x0000001fffffffe0, 0x00000002fffffffe,
3832  0x0000002aaaaaaaa0, 0x0000000400000000,
3833  0x0000003111111120, 0x000000049999999c,
3834  0x0000000fffffffe0, 0x000000017ffffffe,
3835  0x0000001aaaaaaaa0, 0x0000000280000000,
3836  0x0000002111111120, 0x000000031999999c,
3837  0x0000002111211120, 0x00000003199b199c,
3838  0x0000000aaaaaaac0, 0x0000000100000003,
3839  0x0000001111111140, 0x000000019999999f,
3840  0x0000001111211140, 0x00000001999b199f,
3841  0x0000001111311120, 0x00000001999c999c,
3842  0x0000000666666680, 0x000000009999999d,
3843  0x0000000666766680, 0x00000000999b199d,
3844  0x0000000666866660, 0x00000000999c999a,
3845  0x0000000666966620, 0x00000000999e1994,
3846  0x0000000000100000, 0x0000000000018001,
3847  0x00000000001fffe0, 0x000000000002fffe,
3848  0x00000000002fffa0, 0x0000000000047ff8,
3849  0x00000000003fff40, 0x000000000005ffef,
3850  0x00000000000fffe0, 0x0000000000017ffe,
3851  0x00000000001fffa0, 0x000000000002fff8,
3852  0x00000000002fff40, 0x0000000000047fef,
3853  0x0000000000300f40, 0x000000000004816f,
3854  0x00000000000fffc0, 0x0000000000017ffb,
3855  0x00000000001fff60, 0x000000000002fff2,
3856  0x0000000000200f60, 0x0000000000030172,
3857  0x0000000000201f40, 0x00000000000302ef,
3858  0x00000000000fffa0, 0x0000000000017ff8,
3859  0x0000000000100fa0, 0x0000000000018178,
3860  0x0000000000101f80, 0x00000000000182f5,
3861  0x0000000000102f40, 0x000000000001846f,
3862  0x0000000000001000, 0x0000000000000181,
3863  0x0000000000001fe0, 0x00000000000002fe,
3864  0x0000000000002fa0, 0x0000000000000478,
3865  0x0000000000003f40, 0x00000000000005ef,
3866  0x0000000000000fe0, 0x000000000000017e,
3867  0x0000000000001fa0, 0x00000000000002f8,
3868  0x0000000000002f40, 0x000000000000046f,
3869  0x0000000000003340, 0x00000000000004cf,
3870  0x0000000000000fc0, 0x000000000000017b,
3871  0x0000000000001f60, 0x00000000000002f2,
3872  0x0000000000002360, 0x0000000000000352,
3873  0x00000000000023c0, 0x000000000000035b,
3874  0x0000000000000fa0, 0x0000000000000178,
3875  0x00000000000013a0, 0x00000000000001d8,
3876  0x0000000000001400, 0x00000000000001e1,
3877  0x0000000000001440, 0x00000000000001e7,
3878  0x0000000000000400, 0x0000000000000061,
3879  0x0000000000000460, 0x000000000000006a,
3880  0x00000000000004a0, 0x0000000000000070,
3881  0x00000000000004c0, 0x0000000000000073,
3882};
3883const unsigned kExpectedCount_NEON_smlal_2D_2S_S = 3844;
3884
3885#endif  // VIXL_SIM_SMLAL_2D_2S_S_TRACE_AARCH64_H_
3886