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_UMLAL_2D_2S_S_TRACE_AARCH64_H_
35#define VIXL_SIM_UMLAL_2D_2S_S_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_umlal_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  0x0000fbfffffd0c00, 0x0000fdfffffd0601,
102  0x00003effffff0400, 0x00003f7fffff0201,
103  0x00007dfffffe8600, 0x00007efffffe8301,
104  0x0000bcfffffe8600, 0x0000be7ffffe8301,
105  0x0000fbffffff0400, 0x0000fdffffff0201,
106  0x00003effffff8200, 0x00003f7fffff8101,
107  0x00007dffffff8200, 0x00007effffff8101,
108  0x0000bd0000000000, 0x0000be8000000001,
109  0x000110ffffffac00, 0x0001132aaaaa5601,
110  0x00003f0000000000, 0x00003f8000000001,
111  0x00007e0000007e00, 0x00007f0000007f01,
112  0x0000d20000002a00, 0x0000d3aaaaaad501,
113  0x000136cccccc9200, 0x0001394444440901,
114  0x00003f0000007e00, 0x00003f8000007f01,
115  0x0000930000002a00, 0x0000942aaaaad501,
116  0x0000f7cccccc9200, 0x0000f9c444440901,
117  0x000175cc8dcc9200, 0x000178c404c40901,
118  0x000053ffffffac00, 0x000054aaaaaa5601,
119  0x0000b8cccccc1400, 0x0000ba4444438a01,
120  0x000136cc8dcc1400, 0x0001394404c38a01,
121  0x0001b4cc4ecc9200, 0x0001b843c5440901,
122  0x000064cccccc6800, 0x0000659999993401,
123  0x0000e2cc8dcc6800, 0x0000e4995a193401,
124  0x000160cc4ecce600, 0x000163991a99b301,
125  0x0001decc0fcde200, 0x0001e298db1ab101,
126  0x00007dffc1000000, 0x00007effc0800001,
127  0x0000fbff82007e00, 0x0000fdff81007f01,
128  0x000179ff43017a00, 0x00017cff41817d01,
129  0x0001f7ff0402f400, 0x0001fbff0202fa01,
130  0x00007dffc1007e00, 0x00007effc0807f01,
131  0x0000fbff82017a00, 0x0000fdff81017d01,
132  0x000179ff4302f400, 0x00017cff4182fa01,
133  0x0001f7ff42c3f400, 0x0001fbff41437a01,
134  0x00007dffc100fc00, 0x00007effc080fe01,
135  0x0000fbff82027600, 0x0000fdff81027b01,
136  0x000179ff81c37600, 0x00017cff80c2fb01,
137  0x0001f7ff8184f400, 0x0001fbff8083fa01,
138  0x00007dffc1017a00, 0x00007effc0817d01,
139  0x0000fbffc0c27a00, 0x0000fdffc041fd01,
140  0x000179ffc083f800, 0x00017cffc002fc01,
141  0x0001f7ffc045f400, 0x0001fbffbfc47a01,
142  0x00007dffffc10000, 0x00007effffc08001,
143  0x0000fbffff827e00, 0x0000fdffff817f01,
144  0x000179ffff447a00, 0x00017cffff42fd01,
145  0x0001f7ffff06f400, 0x0001fbffff04fa01,
146  0x00007dffffc17e00, 0x00007effffc0ff01,
147  0x0000fbffff837a00, 0x0000fdffff827d01,
148  0x000179ffff45f400, 0x00017cffff447a01,
149  0x0001f7ffff363400, 0x0001fbffff349a01,
150  0x00007dffffc1fc00, 0x00007effffc17e01,
151  0x0000fbffff847600, 0x0000fdffff837b01,
152  0x000179ffff74b600, 0x00017cffff739b01,
153  0x0001f7ffff733c00, 0x0001fbffff721e01,
154  0x00007dffffc27a00, 0x00007effffc1fd01,
155  0x0000fbffffb2ba00, 0x0000fdffffb21d01,
156  0x000179ffffb14000, 0x00017cffffb0a001,
157  0x0001f7ffffb04400, 0x0001fbffffafa201,
158  0x00007dfffff04000, 0x00007efffff02001,
159  0x0000fbffffeec600, 0x0000fdffffeea301,
160  0x000179ffffedca00, 0x00017cffffeda501,
161  0x0001f7ffffed4c00, 0x0001fbffffed2601,
162  0x00007efffffe8300, 0x007ffcfffe800901,
163  0x0000fdfffffd8500, 0x00fff9fffd800f01,
164  0x00017cfffffd0600, 0x017ff6fffd001201,
165  0x00017cfffffd0600, 0x017ff6fffd001201,
166  0x00007effffff0200, 0x007ffcffff000601,
167  0x0000fdfffffe8300, 0x00fff9fffe800901,
168  0x0000fdfffffe8300, 0x00fff9fffe800901,
169  0x0000fdffffff0200, 0x00fff9ffff000601,
170  0x00007effffff8100, 0x007ffcffff800301,
171  0x00007effffff8100, 0x007ffcffff800301,
172  0x00007f0000000000, 0x007ffd0000000001,
173  0x00007f000000fe00, 0x007ffd0000fffa01,
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  0x0000fdfffffd0600, 0x00fff9fffd001201,
226  0x00003f7fffff0200, 0x003ffe7fff000601,
227  0x00007efffffe8300, 0x007ffcfffe800901,
228  0x0000be7ffffe8300, 0x00bffb7ffe800901,
229  0x0000fdffffff0200, 0x00fff9ffff000601,
230  0x00003f7fffff8100, 0x003ffe7fff800301,
231  0x00007effffff8100, 0x007ffcffff800301,
232  0x0000be8000000000, 0x00bffb8000000001,
233  0x0001132aaaaa5600, 0x01154ed555000201,
234  0x00003f8000000000, 0x003ffe8000000001,
235  0x00007f0000007f00, 0x007ffd00007ffd01,
236  0x0000d3aaaaaad500, 0x00d55055557fff01,
237  0x0001394444440900, 0x013bb45555199b01,
238  0x00003f8000007f00, 0x003ffe80007ffd01,
239  0x0000942aaaaad500, 0x009551d5557fff01,
240  0x0000f9c444440900, 0x00fbb5d555199b01,
241  0x000178c404c40900, 0x017bb29556999b01,
242  0x000054aaaaaa5600, 0x0055535555000201,
243  0x0000ba4444438a00, 0x00bbb75554999e01,
244  0x0001394404c38a00, 0x013bb41556199e01,
245  0x0001b843c5440900, 0x01bbb0d558199b01,
246  0x0000659999993400, 0x006663ffff999c01,
247  0x0000e4995a193400, 0x00e660c001199c01,
248  0x000163991a99b300, 0x01665d8003199901,
249  0x0001e298db1ab100, 0x01e65a4005999301,
250  0x00007effc0800000, 0x007ffcc001800001,
251  0x0000fdff81007f00, 0x00fff980037ffd01,
252  0x00017cff41817d00, 0x017ff64005fff701,
253  0x0001fbff0202fa00, 0x01fff30008ffee01,
254  0x00007effc0807f00, 0x007ffcc001fffd01,
255  0x0000fdff81017d00, 0x00fff980047ff701,
256  0x00017cff4182fa00, 0x017ff640077fee01,
257  0x0001fbff41437a00, 0x01fff33fc7816e01,
258  0x00007effc080fe00, 0x007ffcc0027ffa01,
259  0x0000fdff81027b00, 0x00fff980057ff101,
260  0x00017cff80c2fb00, 0x017ff67fc5817101,
261  0x0001fbff8083fa00, 0x01fff37f8602ee01,
262  0x00007effc0817d00, 0x007ffcc002fff701,
263  0x0000fdffc041fd00, 0x00fff9bfc3017701,
264  0x00017cffc002fc00, 0x017ff6bf8382f401,
265  0x0001fbffbfc47a00, 0x01fff3bf44846e01,
266  0x00007effffc08000, 0x007ffcffc0018001,
267  0x0000fdffff817f00, 0x00fff9ff8082fd01,
268  0x00017cffff42fd00, 0x017ff6ff41847701,
269  0x0001fbffff04fa00, 0x01fff3ff0305ee01,
270  0x00007effffc0ff00, 0x007ffcffc0817d01,
271  0x0000fdffff827d00, 0x00fff9ff8182f701,
272  0x00017cffff447a00, 0x017ff6ff43046e01,
273  0x0001fbffff349a00, 0x01fff3ff3304ce01,
274  0x00007effffc17e00, 0x007ffcffc1017a01,
275  0x0000fdffff837b00, 0x00fff9ff8282f101,
276  0x00017cffff739b00, 0x017ff6ff72835101,
277  0x0001fbffff721e00, 0x01fff3ff71035a01,
278  0x00007effffc1fd00, 0x007ffcffc1817701,
279  0x0000fdffffb21d00, 0x00fff9ffb181d701,
280  0x00017cffffb0a000, 0x017ff6ffb001e001,
281  0x0001fbffffafa200, 0x01fff3ffaf01e601,
282  0x00007efffff02000, 0x007ffcfff0006001,
283  0x0000fdffffeea300, 0x00fff9ffee806901,
284  0x00017cffffeda500, 0x017ff6ffed806f01,
285  0x0001fbffffed2600, 0x01fff3ffed007201,
286  0x007ffcfffe800900, 0x0000000000000001,
287  0x00fff9fffd800f00, 0x0000000000000001,
288  0x017ff6fffd001200, 0x0000000000000001,
289  0x017ff6fffd001200, 0x0000000000000001,
290  0x007ffcffff000600, 0x0000000000000001,
291  0x00fff9fffe800900, 0x0000000000000001,
292  0x00fff9fffe800900, 0x0000000000000001,
293  0x00fff9ffff000600, 0x0000000000000001,
294  0x007ffcffff800300, 0x0000000000000001,
295  0x007ffcffff800300, 0x0000000000000001,
296  0x007ffd0000000000, 0x0000000000000001,
297  0x007ffd0000fffa00, 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  0x00fff9fffd001200, 0x0000000000000001,
350  0x003ffe7fff000600, 0x0000000000000001,
351  0x007ffcfffe800900, 0x0000000000000001,
352  0x00bffb7ffe800900, 0x0000000000000001,
353  0x00fff9ffff000600, 0x0000000000000001,
354  0x003ffe7fff800300, 0x0000000000000001,
355  0x007ffcffff800300, 0x0000000000000001,
356  0x00bffb8000000000, 0x0000000000000001,
357  0x01154ed555000200, 0x0000000000000001,
358  0x003ffe8000000000, 0x0000000000000001,
359  0x007ffd00007ffd00, 0x0000000000000001,
360  0x00d55055557fff00, 0x0000000000000001,
361  0x013bb45555199b00, 0x0000000000000001,
362  0x003ffe80007ffd00, 0x0000000000000001,
363  0x009551d5557fff00, 0x0000000000000001,
364  0x00fbb5d555199b00, 0x0000000000000001,
365  0x017bb29556999b00, 0x0000000000000001,
366  0x0055535555000200, 0x0000000000000001,
367  0x00bbb75554999e00, 0x0000000000000001,
368  0x013bb41556199e00, 0x0000000000000001,
369  0x01bbb0d558199b00, 0x0000000000000001,
370  0x006663ffff999c00, 0x0000000000000001,
371  0x00e660c001199c00, 0x0000000000000001,
372  0x01665d8003199900, 0x0000000000000001,
373  0x01e65a4005999300, 0x0000000000000001,
374  0x007ffcc001800000, 0x0000000000000001,
375  0x00fff980037ffd00, 0x0000000000000001,
376  0x017ff64005fff700, 0x0000000000000001,
377  0x01fff30008ffee00, 0x0000000000000001,
378  0x007ffcc001fffd00, 0x0000000000000001,
379  0x00fff980047ff700, 0x0000000000000001,
380  0x017ff640077fee00, 0x0000000000000001,
381  0x01fff33fc7816e00, 0x0000000000000001,
382  0x007ffcc0027ffa00, 0x0000000000000001,
383  0x00fff980057ff100, 0x0000000000000001,
384  0x017ff67fc5817100, 0x0000000000000001,
385  0x01fff37f8602ee00, 0x0000000000000001,
386  0x007ffcc002fff700, 0x0000000000000001,
387  0x00fff9bfc3017700, 0x0000000000000001,
388  0x017ff6bf8382f400, 0x0000000000000001,
389  0x01fff3bf44846e00, 0x0000000000000001,
390  0x007ffcffc0018000, 0x0000000000000001,
391  0x00fff9ff8082fd00, 0x0000000000000001,
392  0x017ff6ff41847700, 0x0000000000000001,
393  0x01fff3ff0305ee00, 0x0000000000000001,
394  0x007ffcffc0817d00, 0x0000000000000001,
395  0x00fff9ff8182f700, 0x0000000000000001,
396  0x017ff6ff43046e00, 0x0000000000000001,
397  0x01fff3ff3304ce00, 0x0000000000000001,
398  0x007ffcffc1017a00, 0x0000000000000001,
399  0x00fff9ff8282f100, 0x0000000000000001,
400  0x017ff6ff72835100, 0x0000000000000001,
401  0x01fff3ff71035a00, 0x0000000000000001,
402  0x007ffcffc1817700, 0x0000000000000001,
403  0x00fff9ffb181d700, 0x0000000000000001,
404  0x017ff6ffb001e000, 0x0000000000000001,
405  0x01fff3ffaf01e600, 0x0000000000000001,
406  0x007ffcfff0006000, 0x0000000000000001,
407  0x00fff9ffee806900, 0x0000000000000001,
408  0x017ff6ffed806f00, 0x0000000000000001,
409  0x01fff3ffed007200, 0x0000000000000001,
410  0x0000000000000000, 0x00000000fffffffe,
411  0x0000000000000000, 0x00000001fffffffc,
412  0x0000000000000000, 0x00000002fffffffb,
413  0x0000000000000000, 0x00000002fffffffb,
414  0x0000000000000000, 0x00000000ffffffff,
415  0x0000000000000000, 0x00000001fffffffe,
416  0x0000000000000000, 0x00000001fffffffe,
417  0x0000000000000000, 0x00000001ffffffff,
418  0x0000000000000000, 0x0000000100000000,
419  0x0000000000000000, 0x0000000100000000,
420  0x0000000000000000, 0x0000000100000001,
421  0x0000000000000000, 0x0000000100000003,
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, 0x00000001fffffffb,
474  0x0000000000000000, 0x000000007fffffff,
475  0x0000000000000000, 0x00000000fffffffe,
476  0x0000000000000000, 0x000000017ffffffe,
477  0x0000000000000000, 0x00000001ffffffff,
478  0x0000000000000000, 0x0000000080000000,
479  0x0000000000000000, 0x0000000100000000,
480  0x0000000000000000, 0x0000000180000001,
481  0x0000000000000000, 0x000000022aaaaaab,
482  0x0000000000000000, 0x0000000080000001,
483  0x0000000000000000, 0x0000000100000002,
484  0x0000000000000000, 0x00000001aaaaaaac,
485  0x0000000000000000, 0x0000000277777778,
486  0x0000000000000000, 0x0000000080000002,
487  0x0000000000000000, 0x000000012aaaaaac,
488  0x0000000000000000, 0x00000001f7777778,
489  0x0000000000000000, 0x00000002f776f778,
490  0x0000000000000000, 0x00000000aaaaaaab,
491  0x0000000000000000, 0x0000000177777777,
492  0x0000000000000000, 0x000000027776f777,
493  0x0000000000000000, 0x0000000377767778,
494  0x0000000000000000, 0x00000000cccccccd,
495  0x0000000000000000, 0x00000001cccc4ccd,
496  0x0000000000000000, 0x00000002cccbccce,
497  0x0000000000000000, 0x00000003cccb4cd0,
498  0x0000000000000000, 0x00000000ffff8001,
499  0x0000000000000000, 0x00000001ffff0002,
500  0x0000000000000000, 0x00000002fffe8004,
501  0x0000000000000000, 0x00000003fffe0007,
502  0x0000000000000000, 0x00000000ffff8002,
503  0x0000000000000000, 0x00000001ffff0004,
504  0x0000000000000000, 0x00000002fffe8007,
505  0x0000000000000000, 0x00000003fffe7f87,
506  0x0000000000000000, 0x00000000ffff8003,
507  0x0000000000000000, 0x00000001ffff0006,
508  0x0000000000000000, 0x00000002fffeff86,
509  0x0000000000000000, 0x00000003fffeff07,
510  0x0000000000000000, 0x00000000ffff8004,
511  0x0000000000000000, 0x00000001ffff7f84,
512  0x0000000000000000, 0x00000002ffff7f05,
513  0x0000000000000000, 0x00000003ffff7e87,
514  0x0000000000000000, 0x00000000ffffff81,
515  0x0000000000000000, 0x00000001ffffff02,
516  0x0000000000000000, 0x00000002fffffe84,
517  0x0000000000000000, 0x00000003fffffe07,
518  0x0000000000000000, 0x00000000ffffff82,
519  0x0000000000000000, 0x00000001ffffff04,
520  0x0000000000000000, 0x00000002fffffe87,
521  0x0000000000000000, 0x00000003fffffe67,
522  0x0000000000000000, 0x00000000ffffff83,
523  0x0000000000000000, 0x00000001ffffff06,
524  0x0000000000000000, 0x00000002fffffee6,
525  0x0000000000000000, 0x00000003fffffee3,
526  0x0000000000000000, 0x00000000ffffff84,
527  0x0000000000000000, 0x00000001ffffff64,
528  0x0000000000000000, 0x00000002ffffff61,
529  0x0000000000000000, 0x00000003ffffff5f,
530  0x0000000000000000, 0x00000000ffffffe1,
531  0x0000000000000000, 0x00000001ffffffde,
532  0x0000000000000000, 0x00000002ffffffdc,
533  0x0000000000000000, 0x00000003ffffffdb,
534  0x00000000fffffffd, 0x00000001fffffffb,
535  0x00000001fffffffb, 0x00000003fffffff7,
536  0x00000002fffffffa, 0x00000005fffffff5,
537  0x00000002fffffffa, 0x00000005fffffff5,
538  0x00000000fffffffe, 0x00000001fffffffd,
539  0x00000001fffffffd, 0x00000003fffffffb,
540  0x00000001fffffffd, 0x00000003fffffffb,
541  0x00000001fffffffe, 0x00000003fffffffd,
542  0x00000000ffffffff, 0x00000001ffffffff,
543  0x00000000ffffffff, 0x00000001ffffffff,
544  0x0000000100000000, 0x0000000200000001,
545  0x0000000100000002, 0x0000000200000005,
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  0x00000001fffffffa, 0x00000003fffffff5,
598  0x000000007ffffffe, 0x00000000fffffffd,
599  0x00000000fffffffd, 0x00000001fffffffb,
600  0x000000017ffffffd, 0x00000002fffffffb,
601  0x00000001fffffffe, 0x00000003fffffffd,
602  0x000000007fffffff, 0x00000000ffffffff,
603  0x00000000ffffffff, 0x00000001ffffffff,
604  0x0000000180000000, 0x0000000300000001,
605  0x000000022aaaaaaa, 0x0000000455555555,
606  0x0000000080000000, 0x0000000100000001,
607  0x0000000100000001, 0x0000000200000003,
608  0x00000001aaaaaaab, 0x0000000355555557,
609  0x0000000277777777, 0x00000004eeeeeeef,
610  0x0000000080000001, 0x0000000100000003,
611  0x000000012aaaaaab, 0x0000000255555557,
612  0x00000001f7777777, 0x00000003eeeeeeef,
613  0x00000002f776f777, 0x00000005eeedeeef,
614  0x00000000aaaaaaaa, 0x0000000155555555,
615  0x0000000177777776, 0x00000002eeeeeeed,
616  0x000000027776f776, 0x00000004eeedeeed,
617  0x0000000377767777, 0x00000006eeeceeef,
618  0x00000000cccccccc, 0x0000000199999999,
619  0x00000001cccc4ccc, 0x0000000399989999,
620  0x00000002cccbcccd, 0x000000059997999b,
621  0x00000003cccb4ccf, 0x000000079996999f,
622  0x00000000ffff8000, 0x00000001ffff0001,
623  0x00000001ffff0001, 0x00000003fffe0003,
624  0x00000002fffe8003, 0x00000005fffd0007,
625  0x00000003fffe0006, 0x00000007fffc000d,
626  0x00000000ffff8001, 0x00000001ffff0003,
627  0x00000001ffff0003, 0x00000003fffe0007,
628  0x00000002fffe8006, 0x00000005fffd000d,
629  0x00000003fffe7f86, 0x00000007fffcff0d,
630  0x00000000ffff8002, 0x00000001ffff0005,
631  0x00000001ffff0005, 0x00000003fffe000b,
632  0x00000002fffeff85, 0x00000005fffdff0b,
633  0x00000003fffeff06, 0x00000007fffdfe0d,
634  0x00000000ffff8003, 0x00000001ffff0007,
635  0x00000001ffff7f83, 0x00000003fffeff07,
636  0x00000002ffff7f04, 0x00000005fffefe09,
637  0x00000003ffff7e86, 0x00000007fffefd0d,
638  0x00000000ffffff80, 0x00000001ffffff01,
639  0x00000001ffffff01, 0x00000003fffffe03,
640  0x00000002fffffe83, 0x00000005fffffd07,
641  0x00000003fffffe06, 0x00000007fffffc0d,
642  0x00000000ffffff81, 0x00000001ffffff03,
643  0x00000001ffffff03, 0x00000003fffffe07,
644  0x00000002fffffe86, 0x00000005fffffd0d,
645  0x00000003fffffe66, 0x00000007fffffccd,
646  0x00000000ffffff82, 0x00000001ffffff05,
647  0x00000001ffffff05, 0x00000003fffffe0b,
648  0x00000002fffffee5, 0x00000005fffffdcb,
649  0x00000003fffffee2, 0x00000007fffffdc5,
650  0x00000000ffffff83, 0x00000001ffffff07,
651  0x00000001ffffff63, 0x00000003fffffec7,
652  0x00000002ffffff60, 0x00000005fffffec1,
653  0x00000003ffffff5e, 0x00000007fffffebd,
654  0x00000000ffffffe0, 0x00000001ffffffc1,
655  0x00000001ffffffdd, 0x00000003ffffffbb,
656  0x00000002ffffffdb, 0x00000005ffffffb7,
657  0x00000003ffffffda, 0x00000007ffffffb5,
658  0x00000001fffffffa, 0x0000001fffffffa1,
659  0x00000003fffffff6, 0x0000003fffffff61,
660  0x00000005fffffff4, 0x0000005fffffff41,
661  0x00000005fffffff4, 0x0000005fffffff41,
662  0x00000001fffffffc, 0x0000001fffffffc1,
663  0x00000003fffffffa, 0x0000003fffffffa1,
664  0x00000003fffffffa, 0x0000003fffffffa1,
665  0x00000003fffffffc, 0x0000003fffffffc1,
666  0x00000001fffffffe, 0x0000001fffffffe1,
667  0x00000001fffffffe, 0x0000001fffffffe1,
668  0x0000000200000000, 0x0000002000000001,
669  0x0000000200000004, 0x0000002000000041,
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  0x00000003fffffff4, 0x0000003fffffff41,
722  0x00000000fffffffc, 0x0000000fffffffc1,
723  0x00000001fffffffa, 0x0000001fffffffa1,
724  0x00000002fffffffa, 0x0000002fffffffa1,
725  0x00000003fffffffc, 0x0000003fffffffc1,
726  0x00000000fffffffe, 0x0000000fffffffe1,
727  0x00000001fffffffe, 0x0000001fffffffe1,
728  0x0000000300000000, 0x0000003000000001,
729  0x0000000455555554, 0x0000004555555541,
730  0x0000000100000000, 0x0000001000000001,
731  0x0000000200000002, 0x0000002000000021,
732  0x0000000355555556, 0x0000003555555561,
733  0x00000004eeeeeeee, 0x0000004eeeeeeee1,
734  0x0000000100000002, 0x0000001000000021,
735  0x0000000255555556, 0x0000002555555561,
736  0x00000003eeeeeeee, 0x0000003eeeeeeee1,
737  0x00000005eeedeeee, 0x0000005eeedeeee1,
738  0x0000000155555554, 0x0000001555555541,
739  0x00000002eeeeeeec, 0x0000002eeeeeeec1,
740  0x00000004eeedeeec, 0x0000004eeedeeec1,
741  0x00000006eeeceeee, 0x0000006eeeceeee1,
742  0x0000000199999998, 0x0000001999999981,
743  0x0000000399989998, 0x0000003999899981,
744  0x000000059997999a, 0x00000059997999a1,
745  0x000000079996999e, 0x00000079996999e1,
746  0x00000001ffff0000, 0x0000001ffff00001,
747  0x00000003fffe0002, 0x0000003fffe00021,
748  0x00000005fffd0006, 0x0000005fffd00061,
749  0x00000007fffc000c, 0x0000007fffc000c1,
750  0x00000001ffff0002, 0x0000001ffff00021,
751  0x00000003fffe0006, 0x0000003fffe00061,
752  0x00000005fffd000c, 0x0000005fffd000c1,
753  0x00000007fffcff0c, 0x0000007fffcff0c1,
754  0x00000001ffff0004, 0x0000001ffff00041,
755  0x00000003fffe000a, 0x0000003fffe000a1,
756  0x00000005fffdff0a, 0x0000005fffdff0a1,
757  0x00000007fffdfe0c, 0x0000007fffdfe0c1,
758  0x00000001ffff0006, 0x0000001ffff00061,
759  0x00000003fffeff06, 0x0000003fffeff061,
760  0x00000005fffefe08, 0x0000005fffefe081,
761  0x00000007fffefd0c, 0x0000007fffefd0c1,
762  0x00000001ffffff00, 0x0000001ffffff001,
763  0x00000003fffffe02, 0x0000003fffffe021,
764  0x00000005fffffd06, 0x0000005fffffd061,
765  0x00000007fffffc0c, 0x0000007fffffc0c1,
766  0x00000001ffffff02, 0x0000001ffffff021,
767  0x00000003fffffe06, 0x0000003fffffe061,
768  0x00000005fffffd0c, 0x0000005fffffd0c1,
769  0x00000007fffffccc, 0x0000007fffffccc1,
770  0x00000001ffffff04, 0x0000001ffffff041,
771  0x00000003fffffe0a, 0x0000003fffffe0a1,
772  0x00000005fffffdca, 0x0000005fffffdca1,
773  0x00000007fffffdc4, 0x0000007fffffdc41,
774  0x00000001ffffff06, 0x0000001ffffff061,
775  0x00000003fffffec6, 0x0000003fffffec61,
776  0x00000005fffffec0, 0x0000005fffffec01,
777  0x00000007fffffebc, 0x0000007fffffebc1,
778  0x00000001ffffffc0, 0x0000001ffffffc01,
779  0x00000003ffffffba, 0x0000003ffffffba1,
780  0x00000005ffffffb6, 0x0000005ffffffb61,
781  0x00000007ffffffb4, 0x0000007ffffffb41,
782  0x0000001fffffffa0, 0x0000007cfffffe8a,
783  0x0000003fffffff60, 0x000000f9fffffd90,
784  0x0000005fffffff40, 0x00000176fffffd13,
785  0x0000005fffffff40, 0x00000176fffffd13,
786  0x0000001fffffffc0, 0x0000007cffffff07,
787  0x0000003fffffffa0, 0x000000f9fffffe8a,
788  0x0000003fffffffa0, 0x000000f9fffffe8a,
789  0x0000003fffffffc0, 0x000000f9ffffff07,
790  0x0000001fffffffe0, 0x0000007cffffff84,
791  0x0000001fffffffe0, 0x0000007cffffff84,
792  0x0000002000000000, 0x0000007d00000001,
793  0x0000002000000040, 0x0000007d000000fb,
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  0x0000003fffffff40, 0x000000f9fffffd13,
846  0x0000000fffffffc0, 0x0000003e7fffff07,
847  0x0000001fffffffa0, 0x0000007cfffffe8a,
848  0x0000002fffffffa0, 0x000000bb7ffffe8a,
849  0x0000003fffffffc0, 0x000000f9ffffff07,
850  0x0000000fffffffe0, 0x0000003e7fffff84,
851  0x0000001fffffffe0, 0x0000007cffffff84,
852  0x0000003000000000, 0x000000bb80000001,
853  0x0000004555555540, 0x0000010ed5555503,
854  0x0000001000000000, 0x0000003e80000001,
855  0x0000002000000020, 0x0000007d0000007e,
856  0x0000003555555560, 0x000000d055555580,
857  0x0000004eeeeeeee0, 0x000001345555551c,
858  0x0000001000000020, 0x0000003e8000007e,
859  0x0000002555555560, 0x00000091d5555580,
860  0x0000003eeeeeeee0, 0x000000f5d555551c,
861  0x0000005eeedeeee0, 0x00000172d516d51c,
862  0x0000001555555540, 0x0000005355555503,
863  0x0000002eeeeeeec0, 0x000000b75555549f,
864  0x0000004eeedeeec0, 0x000001345516d49f,
865  0x0000006eeeceeee0, 0x000001b154d8551c,
866  0x0000001999999980, 0x00000063ffffff9d,
867  0x0000003999899980, 0x000000e0ffc17f9d,
868  0x00000059997999a0, 0x0000015dff83001a,
869  0x00000079996999e0, 0x000001daff448114,
870  0x0000001ffff00000, 0x0000007cffc18001,
871  0x0000003fffe00020, 0x000000f9ff83007e,
872  0x0000005fffd00060, 0x00000176ff448178,
873  0x0000007fffc000c0, 0x000001f3ff0602ef,
874  0x0000001ffff00020, 0x0000007cffc1807e,
875  0x0000003fffe00060, 0x000000f9ff830178,
876  0x0000005fffd000c0, 0x00000176ff4482ef,
877  0x0000007fffcff0c0, 0x000001f3ff44446f,
878  0x0000001ffff00040, 0x0000007cffc180fb,
879  0x0000003fffe000a0, 0x000000f9ff830272,
880  0x0000005fffdff0a0, 0x00000176ff82c3f2,
881  0x0000007fffdfe0c0, 0x000001f3ff8285ef,
882  0x0000001ffff00060, 0x0000007cffc18178,
883  0x0000003fffeff060, 0x000000f9ffc142f8,
884  0x0000005fffefe080, 0x00000176ffc104f5,
885  0x0000007fffefd0c0, 0x000001f3ffc0c76f,
886  0x0000001ffffff000, 0x0000007cffffc181,
887  0x0000003fffffe020, 0x000000f9ffff837e,
888  0x0000005fffffd060, 0x00000176ffff45f8,
889  0x0000007fffffc0c0, 0x000001f3ffff08ef,
890  0x0000001ffffff020, 0x0000007cffffc1fe,
891  0x0000003fffffe060, 0x000000f9ffff8478,
892  0x0000005fffffd0c0, 0x00000176ffff476f,
893  0x0000007fffffccc0, 0x000001f3ffff37cf,
894  0x0000001ffffff040, 0x0000007cffffc27b,
895  0x0000003fffffe0a0, 0x000000f9ffff8572,
896  0x0000005fffffdca0, 0x00000176ffff75d2,
897  0x0000007fffffdc40, 0x000001f3ffff745b,
898  0x0000001ffffff060, 0x0000007cffffc2f8,
899  0x0000003fffffec60, 0x000000f9ffffb358,
900  0x0000005fffffec00, 0x00000176ffffb1e1,
901  0x0000007fffffebc0, 0x000001f3ffffb0e7,
902  0x0000001ffffffc00, 0x0000007cfffff061,
903  0x0000003ffffffba0, 0x000000f9ffffeeea,
904  0x0000005ffffffb60, 0x00000176ffffedf0,
905  0x0000007ffffffb40, 0x000001f3ffffed73,
906  0x0000007cfffffe89, 0x0000007dfffffe87,
907  0x000000f9fffffd8f, 0x000000fbfffffd8b,
908  0x00000176fffffd12, 0x00000179fffffd0d,
909  0x00000176fffffd12, 0x00000179fffffd0d,
910  0x0000007cffffff06, 0x0000007dffffff05,
911  0x000000f9fffffe89, 0x000000fbfffffe87,
912  0x000000f9fffffe89, 0x000000fbfffffe87,
913  0x000000f9ffffff06, 0x000000fbffffff05,
914  0x0000007cffffff83, 0x0000007dffffff83,
915  0x0000007cffffff83, 0x0000007dffffff83,
916  0x0000007d00000000, 0x0000007e00000001,
917  0x0000007d000000fa, 0x0000007e000000fd,
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  0x000000f9fffffd12, 0x000000fbfffffd0d,
970  0x0000003e7fffff06, 0x0000003effffff05,
971  0x0000007cfffffe89, 0x0000007dfffffe87,
972  0x000000bb7ffffe89, 0x000000bcfffffe87,
973  0x000000f9ffffff06, 0x000000fbffffff05,
974  0x0000003e7fffff83, 0x0000003effffff83,
975  0x0000007cffffff83, 0x0000007dffffff83,
976  0x000000bb80000000, 0x000000bd00000001,
977  0x0000010ed5555502, 0x00000110ffffffad,
978  0x0000003e80000000, 0x0000003f00000001,
979  0x0000007d0000007d, 0x0000007e0000007f,
980  0x000000d05555557f, 0x000000d20000002b,
981  0x000001345555551b, 0x00000136cccccc93,
982  0x0000003e8000007d, 0x0000003f0000007f,
983  0x00000091d555557f, 0x000000930000002b,
984  0x000000f5d555551b, 0x000000f7cccccc93,
985  0x00000172d516d51b, 0x00000175cc8dcc93,
986  0x0000005355555502, 0x00000053ffffffad,
987  0x000000b75555549e, 0x000000b8cccccc15,
988  0x000001345516d49e, 0x00000136cc8dcc15,
989  0x000001b154d8551b, 0x000001b4cc4ecc93,
990  0x00000063ffffff9c, 0x00000064cccccc69,
991  0x000000e0ffc17f9c, 0x000000e2cc8dcc69,
992  0x0000015dff830019, 0x00000160cc4ecce7,
993  0x000001daff448113, 0x000001decc0fcde3,
994  0x0000007cffc18000, 0x0000007dffc10001,
995  0x000000f9ff83007d, 0x000000fbff82007f,
996  0x00000176ff448177, 0x00000179ff43017b,
997  0x000001f3ff0602ee, 0x000001f7ff0402f5,
998  0x0000007cffc1807d, 0x0000007dffc1007f,
999  0x000000f9ff830177, 0x000000fbff82017b,
1000  0x00000176ff4482ee, 0x00000179ff4302f5,
1001  0x000001f3ff44446e, 0x000001f7ff42c3f5,
1002  0x0000007cffc180fa, 0x0000007dffc100fd,
1003  0x000000f9ff830271, 0x000000fbff820277,
1004  0x00000176ff82c3f1, 0x00000179ff81c377,
1005  0x000001f3ff8285ee, 0x000001f7ff8184f5,
1006  0x0000007cffc18177, 0x0000007dffc1017b,
1007  0x000000f9ffc142f7, 0x000000fbffc0c27b,
1008  0x00000176ffc104f4, 0x00000179ffc083f9,
1009  0x000001f3ffc0c76e, 0x000001f7ffc045f5,
1010  0x0000007cffffc180, 0x0000007dffffc101,
1011  0x000000f9ffff837d, 0x000000fbffff827f,
1012  0x00000176ffff45f7, 0x00000179ffff447b,
1013  0x000001f3ffff08ee, 0x000001f7ffff06f5,
1014  0x0000007cffffc1fd, 0x0000007dffffc17f,
1015  0x000000f9ffff8477, 0x000000fbffff837b,
1016  0x00000176ffff476e, 0x00000179ffff45f5,
1017  0x000001f3ffff37ce, 0x000001f7ffff3635,
1018  0x0000007cffffc27a, 0x0000007dffffc1fd,
1019  0x000000f9ffff8571, 0x000000fbffff8477,
1020  0x00000176ffff75d1, 0x00000179ffff74b7,
1021  0x000001f3ffff745a, 0x000001f7ffff733d,
1022  0x0000007cffffc2f7, 0x0000007dffffc27b,
1023  0x000000f9ffffb357, 0x000000fbffffb2bb,
1024  0x00000176ffffb1e0, 0x00000179ffffb141,
1025  0x000001f3ffffb0e6, 0x000001f7ffffb045,
1026  0x0000007cfffff060, 0x0000007dfffff041,
1027  0x000000f9ffffeee9, 0x000000fbffffeec7,
1028  0x00000176ffffedef, 0x00000179ffffedcb,
1029  0x000001f3ffffed72, 0x000001f7ffffed4d,
1030  0x0000007dfffffe86, 0x0000007efffffe84,
1031  0x000000fbfffffd8a, 0x000000fdfffffd86,
1032  0x00000179fffffd0c, 0x0000017cfffffd07,
1033  0x00000179fffffd0c, 0x0000017cfffffd07,
1034  0x0000007dffffff04, 0x0000007effffff03,
1035  0x000000fbfffffe86, 0x000000fdfffffe84,
1036  0x000000fbfffffe86, 0x000000fdfffffe84,
1037  0x000000fbffffff04, 0x000000fdffffff03,
1038  0x0000007dffffff82, 0x0000007effffff82,
1039  0x0000007dffffff82, 0x0000007effffff82,
1040  0x0000007e00000000, 0x0000007f00000001,
1041  0x0000007e000000fc, 0x0000007f000000ff,
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  0x000000fbfffffd0c, 0x000000fdfffffd07,
1094  0x0000003effffff04, 0x0000003f7fffff03,
1095  0x0000007dfffffe86, 0x0000007efffffe84,
1096  0x000000bcfffffe86, 0x000000be7ffffe84,
1097  0x000000fbffffff04, 0x000000fdffffff03,
1098  0x0000003effffff82, 0x0000003f7fffff82,
1099  0x0000007dffffff82, 0x0000007effffff82,
1100  0x000000bd00000000, 0x000000be80000001,
1101  0x00000110ffffffac, 0x000001132aaaaa57,
1102  0x0000003f00000000, 0x0000003f80000001,
1103  0x0000007e0000007e, 0x0000007f00000080,
1104  0x000000d20000002a, 0x000000d3aaaaaad6,
1105  0x00000136cccccc92, 0x000001394444440a,
1106  0x0000003f0000007e, 0x0000003f80000080,
1107  0x000000930000002a, 0x000000942aaaaad6,
1108  0x000000f7cccccc92, 0x000000f9c444440a,
1109  0x00000175cc8dcc92, 0x00000178c404c40a,
1110  0x00000053ffffffac, 0x00000054aaaaaa57,
1111  0x000000b8cccccc14, 0x000000ba4444438b,
1112  0x00000136cc8dcc14, 0x000001394404c38b,
1113  0x000001b4cc4ecc92, 0x000001b843c5440a,
1114  0x00000064cccccc68, 0x0000006599999935,
1115  0x000000e2cc8dcc68, 0x000000e4995a1935,
1116  0x00000160cc4ecce6, 0x00000163991a99b4,
1117  0x000001decc0fcde2, 0x000001e298db1ab2,
1118  0x0000007dffc10000, 0x0000007effc08001,
1119  0x000000fbff82007e, 0x000000fdff810080,
1120  0x00000179ff43017a, 0x0000017cff41817e,
1121  0x000001f7ff0402f4, 0x000001fbff0202fb,
1122  0x0000007dffc1007e, 0x0000007effc08080,
1123  0x000000fbff82017a, 0x000000fdff81017e,
1124  0x00000179ff4302f4, 0x0000017cff4182fb,
1125  0x000001f7ff42c3f4, 0x000001fbff41437b,
1126  0x0000007dffc100fc, 0x0000007effc080ff,
1127  0x000000fbff820276, 0x000000fdff81027c,
1128  0x00000179ff81c376, 0x0000017cff80c2fc,
1129  0x000001f7ff8184f4, 0x000001fbff8083fb,
1130  0x0000007dffc1017a, 0x0000007effc0817e,
1131  0x000000fbffc0c27a, 0x000000fdffc041fe,
1132  0x00000179ffc083f8, 0x0000017cffc002fd,
1133  0x000001f7ffc045f4, 0x000001fbffbfc47b,
1134  0x0000007dffffc100, 0x0000007effffc081,
1135  0x000000fbffff827e, 0x000000fdffff8180,
1136  0x00000179ffff447a, 0x0000017cffff42fe,
1137  0x000001f7ffff06f4, 0x000001fbffff04fb,
1138  0x0000007dffffc17e, 0x0000007effffc100,
1139  0x000000fbffff837a, 0x000000fdffff827e,
1140  0x00000179ffff45f4, 0x0000017cffff447b,
1141  0x000001f7ffff3634, 0x000001fbffff349b,
1142  0x0000007dffffc1fc, 0x0000007effffc17f,
1143  0x000000fbffff8476, 0x000000fdffff837c,
1144  0x00000179ffff74b6, 0x0000017cffff739c,
1145  0x000001f7ffff733c, 0x000001fbffff721f,
1146  0x0000007dffffc27a, 0x0000007effffc1fe,
1147  0x000000fbffffb2ba, 0x000000fdffffb21e,
1148  0x00000179ffffb140, 0x0000017cffffb0a1,
1149  0x000001f7ffffb044, 0x000001fbffffafa3,
1150  0x0000007dfffff040, 0x0000007efffff021,
1151  0x000000fbffffeec6, 0x000000fdffffeea4,
1152  0x00000179ffffedca, 0x0000017cffffeda6,
1153  0x000001f7ffffed4c, 0x000001fbffffed27,
1154  0x0000007efffffe83, 0x00007ffcfffe800a,
1155  0x000000fdfffffd85, 0x0000fff9fffd8010,
1156  0x0000017cfffffd06, 0x00017ff6fffd0013,
1157  0x0000017cfffffd06, 0x00017ff6fffd0013,
1158  0x0000007effffff02, 0x00007ffcffff0007,
1159  0x000000fdfffffe83, 0x0000fff9fffe800a,
1160  0x000000fdfffffe83, 0x0000fff9fffe800a,
1161  0x000000fdffffff02, 0x0000fff9ffff0007,
1162  0x0000007effffff81, 0x00007ffcffff8004,
1163  0x0000007effffff81, 0x00007ffcffff8004,
1164  0x0000007f00000000, 0x00007ffd00000001,
1165  0x0000007f000000fe, 0x00007ffd0000fffb,
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  0x000000fdfffffd06, 0x0000fff9fffd0013,
1218  0x0000003f7fffff02, 0x00003ffe7fff0007,
1219  0x0000007efffffe83, 0x00007ffcfffe800a,
1220  0x000000be7ffffe83, 0x0000bffb7ffe800a,
1221  0x000000fdffffff02, 0x0000fff9ffff0007,
1222  0x0000003f7fffff81, 0x00003ffe7fff8004,
1223  0x0000007effffff81, 0x00007ffcffff8004,
1224  0x000000be80000000, 0x0000bffb80000001,
1225  0x000001132aaaaa56, 0x0001154ed5550003,
1226  0x0000003f80000000, 0x00003ffe80000001,
1227  0x0000007f0000007f, 0x00007ffd00007ffe,
1228  0x000000d3aaaaaad5, 0x0000d55055558000,
1229  0x0000013944444409, 0x00013bb45555199c,
1230  0x0000003f8000007f, 0x00003ffe80007ffe,
1231  0x000000942aaaaad5, 0x00009551d5558000,
1232  0x000000f9c4444409, 0x0000fbb5d555199c,
1233  0x00000178c404c409, 0x00017bb29556999c,
1234  0x00000054aaaaaa56, 0x0000555355550003,
1235  0x000000ba4444438a, 0x0000bbb75554999f,
1236  0x000001394404c38a, 0x00013bb41556199f,
1237  0x000001b843c54409, 0x0001bbb0d558199c,
1238  0x0000006599999934, 0x00006663ffff999d,
1239  0x000000e4995a1934, 0x0000e660c001199d,
1240  0x00000163991a99b3, 0x0001665d8003199a,
1241  0x000001e298db1ab1, 0x0001e65a40059994,
1242  0x0000007effc08000, 0x00007ffcc0018001,
1243  0x000000fdff81007f, 0x0000fff980037ffe,
1244  0x0000017cff41817d, 0x00017ff64005fff8,
1245  0x000001fbff0202fa, 0x0001fff30008ffef,
1246  0x0000007effc0807f, 0x00007ffcc001fffe,
1247  0x000000fdff81017d, 0x0000fff980047ff8,
1248  0x0000017cff4182fa, 0x00017ff640077fef,
1249  0x000001fbff41437a, 0x0001fff33fc7816f,
1250  0x0000007effc080fe, 0x00007ffcc0027ffb,
1251  0x000000fdff81027b, 0x0000fff980057ff2,
1252  0x0000017cff80c2fb, 0x00017ff67fc58172,
1253  0x000001fbff8083fa, 0x0001fff37f8602ef,
1254  0x0000007effc0817d, 0x00007ffcc002fff8,
1255  0x000000fdffc041fd, 0x0000fff9bfc30178,
1256  0x0000017cffc002fc, 0x00017ff6bf8382f5,
1257  0x000001fbffbfc47a, 0x0001fff3bf44846f,
1258  0x0000007effffc080, 0x00007ffcffc00181,
1259  0x000000fdffff817f, 0x0000fff9ff8082fe,
1260  0x0000017cffff42fd, 0x00017ff6ff418478,
1261  0x000001fbffff04fa, 0x0001fff3ff0305ef,
1262  0x0000007effffc0ff, 0x00007ffcffc0817e,
1263  0x000000fdffff827d, 0x0000fff9ff8182f8,
1264  0x0000017cffff447a, 0x00017ff6ff43046f,
1265  0x000001fbffff349a, 0x0001fff3ff3304cf,
1266  0x0000007effffc17e, 0x00007ffcffc1017b,
1267  0x000000fdffff837b, 0x0000fff9ff8282f2,
1268  0x0000017cffff739b, 0x00017ff6ff728352,
1269  0x000001fbffff721e, 0x0001fff3ff71035b,
1270  0x0000007effffc1fd, 0x00007ffcffc18178,
1271  0x000000fdffffb21d, 0x0000fff9ffb181d8,
1272  0x0000017cffffb0a0, 0x00017ff6ffb001e1,
1273  0x000001fbffffafa2, 0x0001fff3ffaf01e7,
1274  0x0000007efffff020, 0x00007ffcfff00061,
1275  0x000000fdffffeea3, 0x0000fff9ffee806a,
1276  0x0000017cffffeda5, 0x00017ff6ffed8070,
1277  0x000001fbffffed26, 0x0001fff3ffed0073,
1278  0x00007ffcfffe8009, 0x00007ffdfffe8007,
1279  0x0000fff9fffd800f, 0x0000fffbfffd800b,
1280  0x00017ff6fffd0012, 0x00017ff9fffd000d,
1281  0x00017ff6fffd0012, 0x00017ff9fffd000d,
1282  0x00007ffcffff0006, 0x00007ffdffff0005,
1283  0x0000fff9fffe8009, 0x0000fffbfffe8007,
1284  0x0000fff9fffe8009, 0x0000fffbfffe8007,
1285  0x0000fff9ffff0006, 0x0000fffbffff0005,
1286  0x00007ffcffff8003, 0x00007ffdffff8003,
1287  0x00007ffcffff8003, 0x00007ffdffff8003,
1288  0x00007ffd00000000, 0x00007ffe00000001,
1289  0x00007ffd0000fffa, 0x00007ffe0000fffd,
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  0x0000fff9fffd0012, 0x0000fffbfffd000d,
1342  0x00003ffe7fff0006, 0x00003ffeffff0005,
1343  0x00007ffcfffe8009, 0x00007ffdfffe8007,
1344  0x0000bffb7ffe8009, 0x0000bffcfffe8007,
1345  0x0000fff9ffff0006, 0x0000fffbffff0005,
1346  0x00003ffe7fff8003, 0x00003ffeffff8003,
1347  0x00007ffcffff8003, 0x00007ffdffff8003,
1348  0x0000bffb80000000, 0x0000bffd00000001,
1349  0x0001154ed5550002, 0x00011550ffffaaad,
1350  0x00003ffe80000000, 0x00003fff00000001,
1351  0x00007ffd00007ffd, 0x00007ffe00007fff,
1352  0x0000d55055557fff, 0x0000d55200002aab,
1353  0x00013bb45555199b, 0x00013bb6cccc9113,
1354  0x00003ffe80007ffd, 0x00003fff00007fff,
1355  0x00009551d5557fff, 0x0000955300002aab,
1356  0x0000fbb5d555199b, 0x0000fbb7cccc9113,
1357  0x00017bb29556999b, 0x00017bb58ccd9113,
1358  0x0000555355550002, 0x00005553ffffaaad,
1359  0x0000bbb75554999e, 0x0000bbb8cccc1115,
1360  0x00013bb41556199e, 0x00013bb68ccd1115,
1361  0x0001bbb0d558199b, 0x0001bbb44cce9113,
1362  0x00006663ffff999c, 0x00006664cccc6669,
1363  0x0000e660c001199c, 0x0000e6628ccd6669,
1364  0x0001665d80031999, 0x000166604ccee667,
1365  0x0001e65a40059993, 0x0001e65e0cd0e663,
1366  0x00007ffcc0018000, 0x00007ffdc0010001,
1367  0x0000fff980037ffd, 0x0000fffb80027fff,
1368  0x00017ff64005fff7, 0x00017ff940047ffb,
1369  0x0001fff30008ffee, 0x0001fff70006fff5,
1370  0x00007ffcc001fffd, 0x00007ffdc0017fff,
1371  0x0000fff980047ff7, 0x0000fffb80037ffb,
1372  0x00017ff640077fee, 0x00017ff94005fff5,
1373  0x0001fff33fc7816e, 0x0001fff73fc600f5,
1374  0x00007ffcc0027ffa, 0x00007ffdc001fffd,
1375  0x0000fff980057ff1, 0x0000fffb80047ff7,
1376  0x00017ff67fc58171, 0x00017ff97fc480f7,
1377  0x0001fff37f8602ee, 0x0001fff77f8501f5,
1378  0x00007ffcc002fff7, 0x00007ffdc0027ffb,
1379  0x0000fff9bfc30177, 0x0000fffbbfc280fb,
1380  0x00017ff6bf8382f4, 0x00017ff9bf8301f9,
1381  0x0001fff3bf44846e, 0x0001fff7bf4402f5,
1382  0x00007ffcffc00180, 0x00007ffdffc00101,
1383  0x0000fff9ff8082fd, 0x0000fffbff8081ff,
1384  0x00017ff6ff418477, 0x00017ff9ff4182fb,
1385  0x0001fff3ff0305ee, 0x0001fff7ff0303f5,
1386  0x00007ffcffc0817d, 0x00007ffdffc080ff,
1387  0x0000fff9ff8182f7, 0x0000fffbff8181fb,
1388  0x00017ff6ff43046e, 0x00017ff9ff4302f5,
1389  0x0001fff3ff3304ce, 0x0001fff7ff330335,
1390  0x00007ffcffc1017a, 0x00007ffdffc100fd,
1391  0x0000fff9ff8282f1, 0x0000fffbff8281f7,
1392  0x00017ff6ff728351, 0x00017ff9ff728237,
1393  0x0001fff3ff71035a, 0x0001fff7ff71023d,
1394  0x00007ffcffc18177, 0x00007ffdffc180fb,
1395  0x0000fff9ffb181d7, 0x0000fffbffb1813b,
1396  0x00017ff6ffb001e0, 0x00017ff9ffb00141,
1397  0x0001fff3ffaf01e6, 0x0001fff7ffaf0145,
1398  0x00007ffcfff00060, 0x00007ffdfff00041,
1399  0x0000fff9ffee8069, 0x0000fffbffee8047,
1400  0x00017ff6ffed806f, 0x00017ff9ffed804b,
1401  0x0001fff3ffed0072, 0x0001fff7ffed004d,
1402  0x00007ffdfffe8006, 0x00007ffefffe8004,
1403  0x0000fffbfffd800a, 0x0000fffdfffd8006,
1404  0x00017ff9fffd000c, 0x00017ffcfffd0007,
1405  0x00017ff9fffd000c, 0x00017ffcfffd0007,
1406  0x00007ffdffff0004, 0x00007ffeffff0003,
1407  0x0000fffbfffe8006, 0x0000fffdfffe8004,
1408  0x0000fffbfffe8006, 0x0000fffdfffe8004,
1409  0x0000fffbffff0004, 0x0000fffdffff0003,
1410  0x00007ffdffff8002, 0x00007ffeffff8002,
1411  0x00007ffdffff8002, 0x00007ffeffff8002,
1412  0x00007ffe00000000, 0x00007fff00000001,
1413  0x00007ffe0000fffc, 0x00007fff0000ffff,
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  0x0000fffbfffd000c, 0x0000fffdfffd0007,
1466  0x00003ffeffff0004, 0x00003fff7fff0003,
1467  0x00007ffdfffe8006, 0x00007ffefffe8004,
1468  0x0000bffcfffe8006, 0x0000bffe7ffe8004,
1469  0x0000fffbffff0004, 0x0000fffdffff0003,
1470  0x00003ffeffff8002, 0x00003fff7fff8002,
1471  0x00007ffdffff8002, 0x00007ffeffff8002,
1472  0x0000bffd00000000, 0x0000bffe80000001,
1473  0x00011550ffffaaac, 0x000115532aaa5557,
1474  0x00003fff00000000, 0x00003fff80000001,
1475  0x00007ffe00007ffe, 0x00007fff00008000,
1476  0x0000d55200002aaa, 0x0000d553aaaad556,
1477  0x00013bb6cccc9112, 0x00013bb94444088a,
1478  0x00003fff00007ffe, 0x00003fff80008000,
1479  0x0000955300002aaa, 0x000095542aaad556,
1480  0x0000fbb7cccc9112, 0x0000fbb9c444088a,
1481  0x00017bb58ccd9112, 0x00017bb88444888a,
1482  0x00005553ffffaaac, 0x00005554aaaa5557,
1483  0x0000bbb8cccc1114, 0x0000bbba4443888b,
1484  0x00013bb68ccd1114, 0x00013bb90444088b,
1485  0x0001bbb44cce9112, 0x0001bbb7c445088a,
1486  0x00006664cccc6668, 0x0000666599993335,
1487  0x0000e6628ccd6668, 0x0000e6645999b335,
1488  0x000166604ccee666, 0x00016663199ab334,
1489  0x0001e65e0cd0e662, 0x0001e661d99c3332,
1490  0x00007ffdc0010000, 0x00007ffec0008001,
1491  0x0000fffb80027ffe, 0x0000fffd80018000,
1492  0x00017ff940047ffa, 0x00017ffc4002fffe,
1493  0x0001fff70006fff4, 0x0001fffb0004fffb,
1494  0x00007ffdc0017ffe, 0x00007ffec0010000,
1495  0x0000fffb80037ffa, 0x0000fffd80027ffe,
1496  0x00017ff94005fff4, 0x00017ffc40047ffb,
1497  0x0001fff73fc600f4, 0x0001fffb3fc4807b,
1498  0x00007ffdc001fffc, 0x00007ffec0017fff,
1499  0x0000fffb80047ff6, 0x0000fffd80037ffc,
1500  0x00017ff97fc480f6, 0x00017ffc7fc3807c,
1501  0x0001fff77f8501f4, 0x0001fffb7f8400fb,
1502  0x00007ffdc0027ffa, 0x00007ffec001fffe,
1503  0x0000fffbbfc280fa, 0x0000fffdbfc2007e,
1504  0x00017ff9bf8301f8, 0x00017ffcbf8280fd,
1505  0x0001fff7bf4402f4, 0x0001fffbbf43817b,
1506  0x00007ffdffc00100, 0x00007ffeffc00081,
1507  0x0000fffbff8081fe, 0x0000fffdff808100,
1508  0x00017ff9ff4182fa, 0x00017ffcff41817e,
1509  0x0001fff7ff0303f4, 0x0001fffbff0301fb,
1510  0x00007ffdffc080fe, 0x00007ffeffc08080,
1511  0x0000fffbff8181fa, 0x0000fffdff8180fe,
1512  0x00017ff9ff4302f4, 0x00017ffcff43017b,
1513  0x0001fff7ff330334, 0x0001fffbff33019b,
1514  0x00007ffdffc100fc, 0x00007ffeffc1007f,
1515  0x0000fffbff8281f6, 0x0000fffdff8280fc,
1516  0x00017ff9ff728236, 0x00017ffcff72811c,
1517  0x0001fff7ff71023c, 0x0001fffbff71011f,
1518  0x00007ffdffc180fa, 0x00007ffeffc1807e,
1519  0x0000fffbffb1813a, 0x0000fffdffb1809e,
1520  0x00017ff9ffb00140, 0x00017ffcffb000a1,
1521  0x0001fff7ffaf0144, 0x0001fffbffaf00a3,
1522  0x00007ffdfff00040, 0x00007ffefff00021,
1523  0x0000fffbffee8046, 0x0000fffdffee8024,
1524  0x00017ff9ffed804a, 0x00017ffcffed8026,
1525  0x0001fff7ffed004c, 0x0001fffbffed0027,
1526  0x00007ffefffe8003, 0x3333333266666668,
1527  0x0000fffdfffd8005, 0x6666666500000002,
1528  0x00017ffcfffd0006, 0x99999997cccccccf,
1529  0x00017ffcfffd0006, 0x99999997cccccccf,
1530  0x00007ffeffff0002, 0x333333329999999b,
1531  0x0000fffdfffe8003, 0x6666666566666668,
1532  0x0000fffdfffe8003, 0x6666666566666668,
1533  0x0000fffdffff0002, 0x666666659999999b,
1534  0x00007ffeffff8001, 0x33333332ccccccce,
1535  0x00007ffeffff8001, 0x33333332ccccccce,
1536  0x00007fff00000000, 0x3333333300000001,
1537  0x00007fff0000fffe, 0x3333333366666667,
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  0x0000fffdfffd0006, 0x66666664cccccccf,
1590  0x00003fff7fff0002, 0x199999991999999b,
1591  0x00007ffefffe8003, 0x3333333266666668,
1592  0x0000bffe7ffe8003, 0x4ccccccbe6666668,
1593  0x0000fffdffff0002, 0x666666659999999b,
1594  0x00003fff7fff8001, 0x199999994cccccce,
1595  0x00007ffeffff8001, 0x33333332ccccccce,
1596  0x0000bffe80000000, 0x4ccccccc80000001,
1597  0x000115532aaa5556, 0x6eeeeeee5ddddddf,
1598  0x00003fff80000000, 0x1999999980000001,
1599  0x00007fff00007fff, 0x3333333333333334,
1600  0x0000d553aaaad555, 0x5555555511111112,
1601  0x00013bb944440889, 0x7e4b17e41b4e81b6,
1602  0x00003fff80007fff, 0x19999999b3333334,
1603  0x000095542aaad555, 0x3bbbbbbb91111112,
1604  0x0000fbb9c4440889, 0x64b17e4a9b4e81b6,
1605  0x00017bb884448889, 0x97e497e401b501b6,
1606  0x00005554aaaa5556, 0x22222221dddddddf,
1607  0x0000bbba4443888a, 0x4b17e4b0e81b4e83,
1608  0x00013bb90444088a, 0x7e4afe4a4e81ce83,
1609  0x0001bbb7c4450889, 0xb17e17e3e81b81b6,
1610  0x0000666599993334, 0x28f5c28f0a3d70a5,
1611  0x0000e6645999b334, 0x5c28dc2870a3f0a5,
1612  0x00016663199ab333, 0x8f5bf5c20a3da3d8,
1613  0x0001e661d99c3331, 0xc28f0f5bd70a8a3e,
1614  0x00007ffec0008000, 0x3333199966668001,
1615  0x0000fffd80017fff, 0x6666333300003334,
1616  0x00017ffc4002fffd, 0x99994ccccccd199a,
1617  0x0001fffb0004fffa, 0xcccc6666cccd3333,
1618  0x00007ffec000ffff, 0x333319999999b334,
1619  0x0000fffd80027ffd, 0x666633336666999a,
1620  0x00017ffc40047ffa, 0x99994ccd6666b333,
1621  0x0001fffb3fc4807a, 0xcccc7fe6cccd19b3,
1622  0x00007ffec0017ffe, 0x33331999cccce667,
1623  0x0000fffd80037ffb, 0x66663333cccd0000,
1624  0x00017ffc7fc3807b, 0x9999664d33336680,
1625  0x0001fffb7f8400fa, 0xcccc9966cccd0033,
1626  0x00007ffec001fffd, 0x3333199a0000199a,
1627  0x0000fffdbfc2007d, 0x66664cb36666801a,
1628  0x00017ffcbf8280fc, 0x99997fcd000019cd,
1629  0x0001fffbbf43817a, 0xccccb2e6cccce6b3,
1630  0x00007ffeffc00080, 0x3333331966666681,
1631  0x0000fffdff8080ff, 0x6666663300000034,
1632  0x00017ffcff41817d, 0x9999994ccccccd1a,
1633  0x0001fffbff0301fa, 0xcccccc66cccccd33,
1634  0x00007ffeffc0807f, 0x33333319999999b4,
1635  0x0000fffdff8180fd, 0x666666336666669a,
1636  0x00017ffcff43017a, 0x9999994d666666b3,
1637  0x0001fffbff33019a, 0xcccccc7a00000053,
1638  0x00007ffeffc1007e, 0x33333319cccccce7,
1639  0x0000fffdff8280fb, 0x66666633cccccd00,
1640  0x00017ffcff72811b, 0x99999960666666a0,
1641  0x0001fffbff71011e, 0xcccccc92cccccd07,
1642  0x00007ffeffc1807d, 0x3333331a0000001a,
1643  0x0000fffdffb1809d, 0x66666646999999ba,
1644  0x00017ffcffb000a0, 0x9999997900000021,
1645  0x0001fffbffaf00a2, 0xccccccab999999bb,
1646  0x00007ffefff00020, 0x3333332c999999a1,
1647  0x0000fffdffee8023, 0x6666665f00000008,
1648  0x00017ffcffed8025, 0x99999991999999a2,
1649  0x0001fffbffed0026, 0xccccccc46666666f,
1650  0x3333333266666667, 0x5555555400000002,
1651  0x6666666500000001, 0xaaaaaaa855555558,
1652  0x99999997ccccccce, 0xfffffffd00000003,
1653  0x99999997ccccccce, 0xfffffffd00000003,
1654  0x333333329999999a, 0x5555555455555557,
1655  0x6666666566666667, 0xaaaaaaa900000002,
1656  0x6666666566666667, 0xaaaaaaa900000002,
1657  0x666666659999999a, 0xaaaaaaa955555557,
1658  0x33333332cccccccd, 0x55555554aaaaaaac,
1659  0x33333332cccccccd, 0x55555554aaaaaaac,
1660  0x3333333300000000, 0x5555555500000001,
1661  0x3333333366666666, 0x55555555aaaaaaab,
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  0x66666664ccccccce, 0xaaaaaaa800000003,
1714  0x199999991999999a, 0x2aaaaaa9d5555557,
1715  0x3333333266666667, 0x5555555400000002,
1716  0x4ccccccbe6666667, 0x7ffffffe80000002,
1717  0x666666659999999a, 0xaaaaaaa955555557,
1718  0x199999994ccccccd, 0x2aaaaaaa2aaaaaac,
1719  0x33333332cccccccd, 0x55555554aaaaaaac,
1720  0x4ccccccc80000000, 0x7fffffff80000001,
1721  0x6eeeeeee5dddddde, 0xb8e38e37f1c71c73,
1722  0x1999999980000000, 0x2aaaaaaa80000001,
1723  0x3333333333333333, 0x5555555555555556,
1724  0x5555555511111111, 0x8e38e38dc71c71c8,
1725  0x7e4b17e41b4e81b5, 0xd27d27d182d82d84,
1726  0x19999999b3333333, 0x2aaaaaaad5555556,
1727  0x3bbbbbbb91111111, 0x638e38e3471c71c8,
1728  0x64b17e4a9b4e81b5, 0xa7d27d2702d82d84,
1729  0x97e497e401b501b5, 0xfd27a7d1582dad84,
1730  0x22222221ddddddde, 0x38e38e3871c71c73,
1731  0x4b17e4b0e81b4e82, 0x7d27d27c2d82d82f,
1732  0x7e4afe4a4e81ce82, 0xd27cfd2682d8582f,
1733  0xb17e17e3e81b81b5, 0x27d227d12d832d84,
1734  0x28f5c28f0a3d70a4, 0x44444443bbbbbbbd,
1735  0x5c28dc2870a3f0a4, 0x99996eee11113bbd,
1736  0x8f5bf5c20a3da3d7, 0xeeee9998bbbc1112,
1737  0xc28f0f5bd70a8a3d, 0x4443c443bbbc3bbc,
1738  0x3333199966668000, 0x55552aaa55558001,
1739  0x6666333300003333, 0xaaaa555500005556,
1740  0x99994ccccccd1999, 0xffff800000008000,
1741  0xcccc6666cccd3332, 0x5554aaab5555ffff,
1742  0x333319999999b333, 0x55552aaaaaaad556,
1743  0x6666333366669999, 0xaaaa5555aaab0000,
1744  0x99994ccd6666b332, 0xffff800100007fff,
1745  0xcccc7fe6cccd19b2, 0x5554d52b5555d57f,
1746  0x33331999cccce666, 0x55552aab00002aab,
1747  0x66663333ccccffff, 0xaaaa55565555aaaa,
1748  0x9999664d3333667f, 0xffffaa80aaab002a,
1749  0xcccc9966cccd0032, 0x5554ffab5555aaff,
1750  0x3333199a00001999, 0x55552aab55558000,
1751  0x66664cb366668019, 0xaaaa7fd5aaaad580,
1752  0x99997fcd000019cc, 0xffffd50055558055,
1753  0xccccb2e6cccce6b2, 0x55552a2b5555807f,
1754  0x3333331966666680, 0x5555552a55555581,
1755  0x6666663300000033, 0xaaaaaa5500000056,
1756  0x9999994ccccccd19, 0xffffff8000000080,
1757  0xcccccc66cccccd32, 0x555554ab555555ff,
1758  0x33333319999999b3, 0x5555552aaaaaaad6,
1759  0x6666663366666699, 0xaaaaaa55aaaaab00,
1760  0x9999994d666666b2, 0xffffff810000007f,
1761  0xcccccc7a00000052, 0x555554cb555555df,
1762  0x33333319cccccce6, 0x5555552b0000002b,
1763  0x66666633ccccccff, 0xaaaaaa56555555aa,
1764  0x999999606666669f, 0xffffffa0aaaaab0a,
1765  0xcccccc92cccccd06, 0x555554f4aaaaab0b,
1766  0x3333331a00000019, 0x5555552b55555580,
1767  0x66666646999999b9, 0xaaaaaa75aaaaaae0,
1768  0x9999997900000020, 0xffffffc9aaaaaae1,
1769  0xccccccab999999ba, 0x5555551e00000037,
1770  0x3333332c999999a0, 0x5555554a55555561,
1771  0x6666665f00000007, 0xaaaaaa9e55555562,
1772  0x99999991999999a1, 0xfffffff2aaaaaab8,
1773  0xccccccc46666666e, 0x5555554755555563,
1774  0x5555555400000001, 0x7ffffffb8000000a,
1775  0xaaaaaaa855555557, 0xfffffff780000010,
1776  0xfffffffd00000002, 0x7ffffff400000013,
1777  0xfffffffd00000002, 0x7ffffff400000013,
1778  0x5555555455555556, 0x7ffffffc00000007,
1779  0xaaaaaaa900000001, 0xfffffff88000000a,
1780  0xaaaaaaa900000001, 0xfffffff88000000a,
1781  0xaaaaaaa955555556, 0xfffffff900000007,
1782  0x55555554aaaaaaab, 0x7ffffffc80000004,
1783  0x55555554aaaaaaab, 0x7ffffffc80000004,
1784  0x5555555500000000, 0x7ffffffd00000001,
1785  0x55555555aaaaaaaa, 0x7ffffffdfffffffb,
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  0xaaaaaaa800000002, 0xfffffff700000013,
1838  0x2aaaaaa9d5555556, 0x3ffffffd80000007,
1839  0x5555555400000001, 0x7ffffffb8000000a,
1840  0x7ffffffe80000001, 0xbffffffa0000000a,
1841  0xaaaaaaa955555556, 0xfffffff900000007,
1842  0x2aaaaaaa2aaaaaab, 0x3ffffffe00000004,
1843  0x55555554aaaaaaab, 0x7ffffffc80000004,
1844  0x7fffffff80000000, 0xbffffffb80000001,
1845  0xb8e38e37f1c71c72, 0x1555554e80000003,
1846  0x2aaaaaaa80000000, 0x3ffffffe80000001,
1847  0x5555555555555555, 0x7ffffffd7ffffffe,
1848  0x8e38e38dc71c71c7, 0xd555555080000000,
1849  0xd27d27d182d82d83, 0x3bbbbbb41999999c,
1850  0x2aaaaaaad5555555, 0x3ffffffefffffffe,
1851  0x638e38e3471c71c7, 0x9555555200000000,
1852  0xa7d27d2702d82d83, 0xfbbbbbb59999999c,
1853  0xfd27a7d1582dad83, 0x7bbb7bb2999b199c,
1854  0x38e38e3871c71c72, 0x5555555300000003,
1855  0x7d27d27c2d82d82e, 0xbbbbbbb69999999f,
1856  0xd27cfd2682d8582e, 0x3bbb7bb3999b199f,
1857  0x27d227d12d832d83, 0xbbbb3bb1199c999c,
1858  0x44444443bbbbbbbc, 0x666666639999999d,
1859  0x99996eee11113bbc, 0xe6662660999b199d,
1860  0xeeee9998bbbc1111, 0x6665e65e199c999a,
1861  0x4443c443bbbc3bbb, 0xe665a65c199e1994,
1862  0x55552aaa55558000, 0x7fffbffd00018001,
1863  0xaaaa555500005555, 0xffff7ffa8002fffe,
1864  0xffff800000007fff, 0x7fff3ff880047ff8,
1865  0x5554aaab5555fffe, 0xfffefff70005ffef,
1866  0x55552aaaaaaad555, 0x7fffbffd80017ffe,
1867  0xaaaa5555aaaaffff, 0xffff7ffb8002fff8,
1868  0xffff800100007ffe, 0x7fff3ffa00047fef,
1869  0x5554d52b5555d57e, 0xffff3fb70004816f,
1870  0x55552aab00002aaa, 0x7fffbffe00017ffb,
1871  0xaaaa55565555aaa9, 0xffff7ffc8002fff2,
1872  0xffffaa80aaab0029, 0x7fff7fb980030172,
1873  0x5554ffab5555aafe, 0xffff7f77000302ef,
1874  0x55552aab55557fff, 0x7fffbffe80017ff8,
1875  0xaaaa7fd5aaaad57f, 0xffffbfbb80018178,
1876  0xffffd50055558054, 0x7fffbf79000182f5,
1877  0x55552a2b5555807e, 0xffffbf370001846f,
1878  0x5555552a55555580, 0x7fffffbd00000181,
1879  0xaaaaaa5500000055, 0xffffff7a800002fe,
1880  0xffffff800000007f, 0x7fffff3880000478,
1881  0x555554ab555555fe, 0xfffffef7000005ef,
1882  0x5555552aaaaaaad5, 0x7fffffbd8000017e,
1883  0xaaaaaa55aaaaaaff, 0xffffff7b800002f8,
1884  0xffffff810000007e, 0x7fffff3a0000046f,
1885  0x555554cb555555de, 0xffffff27000004cf,
1886  0x5555552b0000002a, 0x7fffffbe0000017b,
1887  0xaaaaaa56555555a9, 0xffffff7c800002f2,
1888  0xffffffa0aaaaab09, 0x7fffff6980000352,
1889  0x555554f4aaaaab0a, 0xffffff650000035b,
1890  0x5555552b5555557f, 0x7fffffbe80000178,
1891  0xaaaaaa75aaaaaadf, 0xffffffab800001d8,
1892  0xffffffc9aaaaaae0, 0x7fffffa7000001e1,
1893  0x5555551e00000036, 0xffffffa3000001e7,
1894  0x5555554a55555560, 0x7fffffed00000061,
1895  0xaaaaaa9e55555561, 0xffffffe88000006a,
1896  0xfffffff2aaaaaab7, 0x7fffffe480000070,
1897  0x5555554755555562, 0xffffffe100000073,
1898  0x7ffffffb80000009, 0x7ffffffc80000007,
1899  0xfffffff78000000f, 0xfffffff98000000b,
1900  0x7ffffff400000012, 0x7ffffff70000000d,
1901  0x7ffffff400000012, 0x7ffffff70000000d,
1902  0x7ffffffc00000006, 0x7ffffffd00000005,
1903  0xfffffff880000009, 0xfffffffa80000007,
1904  0xfffffff880000009, 0xfffffffa80000007,
1905  0xfffffff900000006, 0xfffffffb00000005,
1906  0x7ffffffc80000003, 0x7ffffffd80000003,
1907  0x7ffffffc80000003, 0x7ffffffd80000003,
1908  0x7ffffffd00000000, 0x7ffffffe00000001,
1909  0x7ffffffdfffffffa, 0x7ffffffefffffffd,
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  0xfffffff700000012, 0xfffffff90000000d,
1962  0x3ffffffd80000006, 0x3ffffffe00000005,
1963  0x7ffffffb80000009, 0x7ffffffc80000007,
1964  0xbffffffa00000009, 0xbffffffb80000007,
1965  0xfffffff900000006, 0xfffffffb00000005,
1966  0x3ffffffe00000003, 0x3ffffffe80000003,
1967  0x7ffffffc80000003, 0x7ffffffd80000003,
1968  0xbffffffb80000000, 0xbffffffd00000001,
1969  0x1555554e80000002, 0x15555550aaaaaaad,
1970  0x3ffffffe80000000, 0x3fffffff00000001,
1971  0x7ffffffd7ffffffd, 0x7ffffffe7fffffff,
1972  0xd55555507fffffff, 0xd55555522aaaaaab,
1973  0x3bbbbbb41999999b, 0x3bbbbbb691111113,
1974  0x3ffffffefffffffd, 0x3fffffff7fffffff,
1975  0x95555551ffffffff, 0x955555532aaaaaab,
1976  0xfbbbbbb59999999b, 0xfbbbbbb791111113,
1977  0x7bbb7bb2999b199b, 0x7bbb7bb591121113,
1978  0x5555555300000002, 0x55555553aaaaaaad,
1979  0xbbbbbbb69999999e, 0xbbbbbbb811111115,
1980  0x3bbb7bb3999b199e, 0x3bbb7bb611121115,
1981  0xbbbb3bb1199c999b, 0xbbbb3bb491131113,
1982  0x666666639999999c, 0x6666666466666669,
1983  0xe6662660999b199c, 0xe666266266676669,
1984  0x6665e65e199c9999, 0x6665e660e6686667,
1985  0xe665a65c199e1993, 0xe665a65fe6696663,
1986  0x7fffbffd00018000, 0x7fffbffe00010001,
1987  0xffff7ffa8002fffd, 0xffff7ffc8001ffff,
1988  0x7fff3ff880047ff7, 0x7fff3ffb8002fffb,
1989  0xfffefff70005ffee, 0xfffefffb0003fff5,
1990  0x7fffbffd80017ffd, 0x7fffbffe8000ffff,
1991  0xffff7ffb8002fff7, 0xffff7ffd8001fffb,
1992  0x7fff3ffa00047fee, 0x7fff3ffd0002fff5,
1993  0xffff3fb70004816e, 0xffff3fbb000300f5,
1994  0x7fffbffe00017ffa, 0x7fffbfff0000fffd,
1995  0xffff7ffc8002fff1, 0xffff7ffe8001fff7,
1996  0x7fff7fb980030171, 0x7fff7fbc800200f7,
1997  0xffff7f77000302ee, 0xffff7f7b000201f5,
1998  0x7fffbffe80017ff7, 0x7fffbfff8000fffb,
1999  0xffffbfbb80018177, 0xffffbfbd800100fb,
2000  0x7fffbf79000182f4, 0x7fffbf7c000101f9,
2001  0xffffbf370001846e, 0xffffbf3b000102f5,
2002  0x7fffffbd00000180, 0x7fffffbe00000101,
2003  0xffffff7a800002fd, 0xffffff7c800001ff,
2004  0x7fffff3880000477, 0x7fffff3b800002fb,
2005  0xfffffef7000005ee, 0xfffffefb000003f5,
2006  0x7fffffbd8000017d, 0x7fffffbe800000ff,
2007  0xffffff7b800002f7, 0xffffff7d800001fb,
2008  0x7fffff3a0000046e, 0x7fffff3d000002f5,
2009  0xffffff27000004ce, 0xffffff2b00000335,
2010  0x7fffffbe0000017a, 0x7fffffbf000000fd,
2011  0xffffff7c800002f1, 0xffffff7e800001f7,
2012  0x7fffff6980000351, 0x7fffff6c80000237,
2013  0xffffff650000035a, 0xffffff690000023d,
2014  0x7fffffbe80000177, 0x7fffffbf800000fb,
2015  0xffffffab800001d7, 0xffffffad8000013b,
2016  0x7fffffa7000001e0, 0x7fffffaa00000141,
2017  0xffffffa3000001e6, 0xffffffa700000145,
2018  0x7fffffed00000060, 0x7fffffee00000041,
2019  0xffffffe880000069, 0xffffffea80000047,
2020  0x7fffffe48000006f, 0x7fffffe78000004b,
2021  0xffffffe100000072, 0xffffffe50000004d,
2022  0x7ffffffc80000006, 0x7ffffffd80000004,
2023  0xfffffff98000000a, 0xfffffffb80000006,
2024  0x7ffffff70000000c, 0x7ffffffa00000007,
2025  0x7ffffff70000000c, 0x7ffffffa00000007,
2026  0x7ffffffd00000004, 0x7ffffffe00000003,
2027  0xfffffffa80000006, 0xfffffffc80000004,
2028  0xfffffffa80000006, 0xfffffffc80000004,
2029  0xfffffffb00000004, 0xfffffffd00000003,
2030  0x7ffffffd80000002, 0x7ffffffe80000002,
2031  0x7ffffffd80000002, 0x7ffffffe80000002,
2032  0x7ffffffe00000000, 0x7fffffff00000001,
2033  0x7ffffffefffffffc, 0x7fffffffffffffff,
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  0xfffffff90000000c, 0xfffffffb00000007,
2086  0x3ffffffe00000004, 0x3ffffffe80000003,
2087  0x7ffffffc80000006, 0x7ffffffd80000004,
2088  0xbffffffb80000006, 0xbffffffd00000004,
2089  0xfffffffb00000004, 0xfffffffd00000003,
2090  0x3ffffffe80000002, 0x3fffffff00000002,
2091  0x7ffffffd80000002, 0x7ffffffe80000002,
2092  0xbffffffd00000000, 0xbffffffe80000001,
2093  0x15555550aaaaaaac, 0x15555552d5555557,
2094  0x3fffffff00000000, 0x3fffffff80000001,
2095  0x7ffffffe7ffffffe, 0x7fffffff80000000,
2096  0xd55555522aaaaaaa, 0xd5555553d5555556,
2097  0x3bbbbbb691111112, 0x3bbbbbb90888888a,
2098  0x3fffffff7ffffffe, 0x4000000000000000,
2099  0x955555532aaaaaaa, 0x9555555455555556,
2100  0xfbbbbbb791111112, 0xfbbbbbb98888888a,
2101  0x7bbb7bb591121112, 0x7bbb7bb88889088a,
2102  0x55555553aaaaaaac, 0x5555555455555557,
2103  0xbbbbbbb811111114, 0xbbbbbbb98888888b,
2104  0x3bbb7bb611121114, 0x3bbb7bb88889088b,
2105  0xbbbb3bb491131112, 0xbbbb3bb80889888a,
2106  0x6666666466666668, 0x6666666533333335,
2107  0xe666266266676668, 0xe66626643333b335,
2108  0x6665e660e6686666, 0x6665e663b3343334,
2109  0xe665a65fe6696662, 0xe665a663b334b332,
2110  0x7fffbffe00010000, 0x7fffbfff00008001,
2111  0xffff7ffc8001fffe, 0xffff7ffe80010000,
2112  0x7fff3ffb8002fffa, 0x7fff3ffe80017ffe,
2113  0xfffefffb0003fff4, 0xfffeffff0001fffb,
2114  0x7fffbffe8000fffe, 0x7fffbfff80008000,
2115  0xffff7ffd8001fffa, 0xffff7fff8000fffe,
2116  0x7fff3ffd0002fff4, 0x7fff400000017ffb,
2117  0xffff3fbb000300f4, 0xffff3fbf0001807b,
2118  0x7fffbfff0000fffc, 0x7fffc00000007fff,
2119  0xffff7ffe8001fff6, 0xffff80008000fffc,
2120  0x7fff7fbc800200f6, 0x7fff7fbf8001007c,
2121  0xffff7f7b000201f4, 0xffff7f7f000100fb,
2122  0x7fffbfff8000fffa, 0x7fffc00080007ffe,
2123  0xffffbfbd800100fa, 0xffffbfbf8000807e,
2124  0x7fffbf7c000101f8, 0x7fffbf7f000080fd,
2125  0xffffbf3b000102f4, 0xffffbf3f0000817b,
2126  0x7fffffbe00000100, 0x7fffffbf00000081,
2127  0xffffff7c800001fe, 0xffffff7e80000100,
2128  0x7fffff3b800002fa, 0x7fffff3e8000017e,
2129  0xfffffefb000003f4, 0xfffffeff000001fb,
2130  0x7fffffbe800000fe, 0x7fffffbf80000080,
2131  0xffffff7d800001fa, 0xffffff7f800000fe,
2132  0x7fffff3d000002f4, 0x7fffff400000017b,
2133  0xffffff2b00000334, 0xffffff2f0000019b,
2134  0x7fffffbf000000fc, 0x7fffffc00000007f,
2135  0xffffff7e800001f6, 0xffffff80800000fc,
2136  0x7fffff6c80000236, 0x7fffff6f8000011c,
2137  0xffffff690000023c, 0xffffff6d0000011f,
2138  0x7fffffbf800000fa, 0x7fffffc08000007e,
2139  0xffffffad8000013a, 0xffffffaf8000009e,
2140  0x7fffffaa00000140, 0x7fffffad000000a1,
2141  0xffffffa700000144, 0xffffffab000000a3,
2142  0x7fffffee00000040, 0x7fffffef00000021,
2143  0xffffffea80000046, 0xffffffec80000024,
2144  0x7fffffe78000004a, 0x7fffffea80000026,
2145  0xffffffe50000004c, 0xffffffe900000027,
2146  0x7ffffffd80000003, 0x7ffffffe80000001,
2147  0xfffffffb80000005, 0xfffffffd80000001,
2148  0x7ffffffa00000006, 0x7ffffffd00000001,
2149  0x7ffffffa00000006, 0x7ffffffd00000001,
2150  0x7ffffffe00000002, 0x7fffffff00000001,
2151  0xfffffffc80000003, 0xfffffffe80000001,
2152  0xfffffffc80000003, 0xfffffffe80000001,
2153  0xfffffffd00000002, 0xffffffff00000001,
2154  0x7ffffffe80000001, 0x7fffffff80000001,
2155  0x7ffffffe80000001, 0x7fffffff80000001,
2156  0x7fffffff00000000, 0x8000000000000001,
2157  0x7ffffffffffffffe, 0x8000000100000001,
2158  0x0000000000000000, 0x0000000000000001,
2159  0x000000007fffffff, 0x0000000080000001,
2160  0x000000017ffffffd, 0x0000000180000001,
2161  0x000000117fffffdd, 0x0000001180000001,
2162  0x000000007fffffff, 0x0000000080000001,
2163  0x000000017ffffffd, 0x0000000180000001,
2164  0x000000117fffffdd, 0x0000001180000001,
2165  0x0000004fffffff60, 0x0000005000000001,
2166  0x00000000fffffffe, 0x0000000100000001,
2167  0x00000010ffffffde, 0x0000001100000001,
2168  0x0000004f7fffff61, 0x0000004f80000001,
2169  0x0000008e7ffffee3, 0x0000008e80000001,
2170  0x0000000fffffffe0, 0x0000001000000001,
2171  0x0000004e7fffff63, 0x0000004e80000001,
2172  0x0000008d7ffffee5, 0x0000008d80000001,
2173  0x000000ccfffffe66, 0x000000cd00000001,
2174  0x0000003e7fffff83, 0x0000003e80000001,
2175  0x0000007d7fffff05, 0x0000007d80000001,
2176  0x000000bcfffffe86, 0x000000bd00000001,
2177  0x000040bb7fff7e89, 0x000040bb80000001,
2178  0x0000003effffff82, 0x0000003f00000001,
2179  0x0000007e7fffff03, 0x0000007e80000001,
2180  0x0000407cffff7f06, 0x0000407d00000001,
2181  0x0000807bfffeff08, 0x0000807c00000001,
2182  0x0000003f7fffff81, 0x0000003f80000001,
2183  0x0000403dffff7f84, 0x0000403e00000001,
2184  0x0000803cfffeff86, 0x0000803d00000001,
2185  0x0000c03c7ffe7f87, 0x0000c03c80000001,
2186  0x00003ffe7fff8003, 0x00003ffe80000001,
2187  0x00007ffd7fff0005, 0x00007ffd80000001,
2188  0x0000bffcfffe8006, 0x0000bffd00000001,
2189  0x199a59964ccb4cd3, 0x199a599680000001,
2190  0x00003ffeffff8002, 0x00003fff00000001,
2191  0x00007ffe7fff0003, 0x00007ffe80000001,
2192  0x199a1997cccbccd0, 0x199a199800000001,
2193  0x4444c441f776777b, 0x4444c44280000001,
2194  0x00003fff7fff8001, 0x00003fff80000001,
2195  0x1999d998cccc4cce, 0x1999d99900000001,
2196  0x44448442f776f779, 0x4444844380000001,
2197  0x84448440f776f77c, 0x8444844200000001,
2198  0x199999994ccccccd, 0x1999999980000001,
2199  0x4444444377777778, 0x4444444400000001,
2200  0x844444417777777b, 0x8444444280000001,
2201  0xc444443ff777777d, 0xc444444180000001,
2202  0x2aaaaaaa2aaaaaab, 0x2aaaaaaa80000001,
2203  0x6aaaaaa82aaaaaae, 0x6aaaaaa900000001,
2204  0xaaaaaaa6aaaaaab0, 0xaaaaaaa800000001,
2205  0xeaaaaaa5aaaaaab1, 0xeaaaaaa780000001,
2206  0x3ffffffe00000003, 0x3ffffffe80000001,
2207  0x7ffffffc80000005, 0x7ffffffd80000001,
2208  0xbffffffb80000006, 0xbffffffd00000001,
2209  0xfffffffb00000006, 0xfffffffd00000001,
2210  0x3ffffffe80000002, 0x3fffffff00000001,
2211  0x7ffffffd80000003, 0x7ffffffe80000001,
2212  0xbffffffd00000003, 0xbffffffe80000001,
2213  0xfffffffd00000002, 0xffffffff00000001,
2214  0x3fffffff00000001, 0x3fffffff80000001,
2215  0x7ffffffe80000001, 0x7fffffff80000001,
2216  0xbffffffe80000000, 0xc000000000000001,
2217  0x15555552d5555556, 0x1555555500000001,
2218  0x3fffffff80000000, 0x4000000000000001,
2219  0x7fffffff7fffffff, 0x8000000080000001,
2220  0xd5555553d5555555, 0xd555555580000001,
2221  0x3bbbbbb908888889, 0x3bbbbbbb80000001,
2222  0x3fffffffffffffff, 0x4000000080000001,
2223  0x9555555455555555, 0x9555555580000001,
2224  0xfbbbbbb988888889, 0xfbbbbbbb80000001,
2225  0x7bbb7bb888890889, 0x7bbb7bbb80000001,
2226  0x5555555455555556, 0x5555555500000001,
2227  0xbbbbbbb98888888a, 0xbbbbbbbb00000001,
2228  0x3bbb7bb88889088a, 0x3bbb7bbb00000001,
2229  0xbbbb3bb808898889, 0xbbbb3bbb80000001,
2230  0x6666666533333334, 0x6666666600000001,
2231  0xe66626643333b334, 0xe666266600000001,
2232  0x6665e663b3343333, 0x6665e66680000001,
2233  0xe665a663b334b331, 0xe665a66780000001,
2234  0x7fffbfff00008000, 0x7fffc00000000001,
2235  0xffff7ffe8000ffff, 0xffff800080000001,
2236  0x7fff3ffe80017ffd, 0x7fff400180000001,
2237  0xfffeffff0001fffa, 0xffff000300000001,
2238  0x7fffbfff80007fff, 0x7fffc00080000001,
2239  0xffff7fff8000fffd, 0xffff800180000001,
2240  0x7fff400000017ffa, 0x7fff400300000001,
2241  0xffff3fbf0001807a, 0xffff3fc300000001,
2242  0x7fffc00000007ffe, 0x7fffc00100000001,
2243  0xffff80008000fffb, 0xffff800280000001,
2244  0x7fff7fbf8001007b, 0x7fff7fc280000001,
2245  0xffff7f7f000100fa, 0xffff7f8300000001,
2246  0x7fffc00080007ffd, 0x7fffc00180000001,
2247  0xffffbfbf8000807d, 0xffffbfc180000001,
2248  0x7fffbf7f000080fc, 0x7fffbf8200000001,
2249  0xffffbf3f0000817a, 0xffffbf4300000001,
2250  0x7fffffbf00000080, 0x7fffffc000000001,
2251  0xffffff7e800000ff, 0xffffff8080000001,
2252  0x7fffff3e8000017d, 0x7fffff4180000001,
2253  0xfffffeff000001fa, 0xffffff0300000001,
2254  0x7fffffbf8000007f, 0x7fffffc080000001,
2255  0xffffff7f800000fd, 0xffffff8180000001,
2256  0x7fffff400000017a, 0x7fffff4300000001,
2257  0xffffff2f0000019a, 0xffffff3300000001,
2258  0x7fffffc00000007e, 0x7fffffc100000001,
2259  0xffffff80800000fb, 0xffffff8280000001,
2260  0x7fffff6f8000011b, 0x7fffff7280000001,
2261  0xffffff6d0000011e, 0xffffff7100000001,
2262  0x7fffffc08000007d, 0x7fffffc180000001,
2263  0xffffffaf8000009d, 0xffffffb180000001,
2264  0x7fffffad000000a0, 0x7fffffb000000001,
2265  0xffffffab000000a2, 0xffffffaf00000001,
2266  0x7fffffef00000020, 0x7ffffff000000001,
2267  0xffffffec80000023, 0xffffffee80000001,
2268  0x7fffffea80000025, 0x7fffffed80000001,
2269  0xffffffe900000026, 0xffffffed00000001,
2270  0x7ffffffe80000000, 0x7fffffff7ffffffe,
2271  0xfffffffd80000000, 0xffffffff7ffffffc,
2272  0x7ffffffd00000000, 0x7ffffffffffffffb,
2273  0x7ffffffd00000000, 0x7ffffffffffffffb,
2274  0x7fffffff00000000, 0x7fffffffffffffff,
2275  0xfffffffe80000000, 0x000000007ffffffe,
2276  0xfffffffe80000000, 0x000000007ffffffe,
2277  0xffffffff00000000, 0x00000000ffffffff,
2278  0x7fffffff80000000, 0x8000000080000000,
2279  0x7fffffff80000000, 0x8000000080000000,
2280  0x8000000000000000, 0x8000000100000001,
2281  0x8000000100000000, 0x8000000200000003,
2282  0x0000000000000000, 0x0000000000000001,
2283  0x0000000080000000, 0x0000000080000002,
2284  0x0000000180000000, 0x0000000180000004,
2285  0x0000001180000000, 0x0000001180000024,
2286  0x0000000080000000, 0x0000000080000002,
2287  0x0000000180000000, 0x0000000180000004,
2288  0x0000001180000000, 0x0000001180000024,
2289  0x0000005000000000, 0x00000050000000a1,
2290  0x0000000100000000, 0x0000000100000003,
2291  0x0000001100000000, 0x0000001100000023,
2292  0x0000004f80000000, 0x0000004f800000a0,
2293  0x0000008e80000000, 0x0000008e8000011e,
2294  0x0000001000000000, 0x0000001000000021,
2295  0x0000004e80000000, 0x0000004e8000009e,
2296  0x0000008d80000000, 0x0000008d8000011c,
2297  0x000000cd00000000, 0x000000cd0000019b,
2298  0x0000003e80000000, 0x0000003e8000007e,
2299  0x0000007d80000000, 0x0000007d800000fc,
2300  0x000000bd00000000, 0x000000bd0000017b,
2301  0x000040bb80000000, 0x000040bb80008178,
2302  0x0000003f00000000, 0x0000003f0000007f,
2303  0x0000007e80000000, 0x0000007e800000fe,
2304  0x0000407d00000000, 0x0000407d000080fb,
2305  0x0000807c00000000, 0x0000807c000100f9,
2306  0x0000003f80000000, 0x0000003f80000080,
2307  0x0000403e00000000, 0x0000403e0000807d,
2308  0x0000803d00000000, 0x0000803d0001007b,
2309  0x0000c03c80000000, 0x0000c03c8001807a,
2310  0x00003ffe80000000, 0x00003ffe80007ffe,
2311  0x00007ffd80000000, 0x00007ffd8000fffc,
2312  0x0000bffd00000000, 0x0000bffd00017ffb,
2313  0x199a599680000000, 0x199a5996b334b32e,
2314  0x00003fff00000000, 0x00003fff00007fff,
2315  0x00007ffe80000000, 0x00007ffe8000fffe,
2316  0x199a199800000000, 0x199a199833343331,
2317  0x4444c44280000000, 0x4444c44308898886,
2318  0x00003fff80000000, 0x00003fff80008000,
2319  0x1999d99900000000, 0x1999d9993333b333,
2320  0x4444844380000000, 0x4444844408890888,
2321  0x8444844200000000, 0x8444844308890885,
2322  0x1999999980000000, 0x19999999b3333334,
2323  0x4444444400000000, 0x4444444488888889,
2324  0x8444444280000000, 0x8444444388888886,
2325  0xc444444180000000, 0xc444444308888884,
2326  0x2aaaaaaa80000000, 0x2aaaaaaad5555556,
2327  0x6aaaaaa900000000, 0x6aaaaaa9d5555553,
2328  0xaaaaaaa800000000, 0xaaaaaaa955555551,
2329  0xeaaaaaa780000000, 0xeaaaaaa955555550,
2330  0x3ffffffe80000000, 0x3ffffffefffffffe,
2331  0x7ffffffd80000000, 0x7ffffffe7ffffffc,
2332  0xbffffffd00000000, 0xbffffffe7ffffffb,
2333  0xfffffffd00000000, 0xfffffffefffffffb,
2334  0x3fffffff00000000, 0x3fffffff7fffffff,
2335  0x7ffffffe80000000, 0x7fffffff7ffffffe,
2336  0xbffffffe80000000, 0xbffffffffffffffe,
2337  0xffffffff00000000, 0x00000000ffffffff,
2338  0x3fffffff80000000, 0x4000000000000000,
2339  0x7fffffff80000000, 0x8000000080000000,
2340  0xc000000000000000, 0xc000000180000001,
2341  0x1555555500000000, 0x155555572aaaaaab,
2342  0x4000000000000000, 0x4000000080000001,
2343  0x8000000080000000, 0x8000000180000002,
2344  0xd555555580000000, 0xd55555572aaaaaac,
2345  0x3bbbbbbb80000000, 0x3bbbbbbdf7777778,
2346  0x4000000080000000, 0x4000000100000002,
2347  0x9555555580000000, 0x95555556aaaaaaac,
2348  0xfbbbbbbb80000000, 0xfbbbbbbd77777778,
2349  0x7bbb7bbb80000000, 0x7bbb7bbe7776f778,
2350  0x5555555500000000, 0x55555555aaaaaaab,
2351  0xbbbbbbbb00000000, 0xbbbbbbbc77777777,
2352  0x3bbb7bbb00000000, 0x3bbb7bbd7776f777,
2353  0xbbbb3bbb80000000, 0xbbbb3bbef7767778,
2354  0x6666666600000000, 0x66666666cccccccd,
2355  0xe666266600000000, 0xe6662667cccc4ccd,
2356  0x6665e66680000000, 0x6665e6694ccbccce,
2357  0xe665a66780000000, 0xe665a66b4ccb4cd0,
2358  0x7fffc00000000000, 0x7fffc000ffff8001,
2359  0xffff800080000000, 0xffff80027fff0002,
2360  0x7fff400180000000, 0x7fff40047ffe8004,
2361  0xffff000300000000, 0xffff0006fffe0007,
2362  0x7fffc00080000000, 0x7fffc0017fff8002,
2363  0xffff800180000000, 0xffff80037fff0004,
2364  0x7fff400300000000, 0x7fff4005fffe8007,
2365  0xffff3fc300000000, 0xffff3fc6fffe7f87,
2366  0x7fffc00100000000, 0x7fffc001ffff8003,
2367  0xffff800280000000, 0xffff80047fff0006,
2368  0x7fff7fc280000000, 0x7fff7fc57ffeff86,
2369  0xffff7f8300000000, 0xffff7f86fffeff07,
2370  0x7fffc00180000000, 0x7fffc0027fff8004,
2371  0xffffbfc180000000, 0xffffbfc37fff7f84,
2372  0x7fffbf8200000000, 0x7fffbf84ffff7f05,
2373  0xffffbf4300000000, 0xffffbf46ffff7e87,
2374  0x7fffffc000000000, 0x7fffffc0ffffff81,
2375  0xffffff8080000000, 0xffffff827fffff02,
2376  0x7fffff4180000000, 0x7fffff447ffffe84,
2377  0xffffff0300000000, 0xffffff06fffffe07,
2378  0x7fffffc080000000, 0x7fffffc17fffff82,
2379  0xffffff8180000000, 0xffffff837fffff04,
2380  0x7fffff4300000000, 0x7fffff45fffffe87,
2381  0xffffff3300000000, 0xffffff36fffffe67,
2382  0x7fffffc100000000, 0x7fffffc1ffffff83,
2383  0xffffff8280000000, 0xffffff847fffff06,
2384  0x7fffff7280000000, 0x7fffff757ffffee6,
2385  0xffffff7100000000, 0xffffff74fffffee3,
2386  0x7fffffc180000000, 0x7fffffc27fffff84,
2387  0xffffffb180000000, 0xffffffb37fffff64,
2388  0x7fffffb000000000, 0x7fffffb2ffffff61,
2389  0xffffffaf00000000, 0xffffffb2ffffff5f,
2390  0x7ffffff000000000, 0x7ffffff0ffffffe1,
2391  0xffffffee80000000, 0xfffffff07fffffde,
2392  0x7fffffed80000000, 0x7ffffff07fffffdc,
2393  0xffffffed00000000, 0xfffffff0ffffffdb,
2394  0x7fffffff7ffffffd, 0xaaaaaaa800000003,
2395  0xffffffff7ffffffb, 0x55555550aaaaaaaf,
2396  0x7ffffffffffffffa, 0xfffffffa00000005,
2397  0x7ffffffffffffffa, 0xfffffffa00000005,
2398  0x7ffffffffffffffe, 0xaaaaaaa8aaaaaaad,
2399  0x000000007ffffffd, 0x5555555200000003,
2400  0x000000007ffffffd, 0x5555555200000003,
2401  0x00000000fffffffe, 0x55555552aaaaaaad,
2402  0x800000007fffffff, 0xaaaaaaa955555557,
2403  0x800000007fffffff, 0xaaaaaaa955555557,
2404  0x8000000100000000, 0xaaaaaaaa00000001,
2405  0x8000000200000002, 0xaaaaaaab55555555,
2406  0x0000000000000000, 0x0000000000000001,
2407  0x0000000080000001, 0x00000000aaaaaaab,
2408  0x0000000180000003, 0x00000001ffffffff,
2409  0x0000001180000023, 0x000000175555553f,
2410  0x0000000080000001, 0x00000000aaaaaaab,
2411  0x0000000180000003, 0x00000001ffffffff,
2412  0x0000001180000023, 0x000000175555553f,
2413  0x00000050000000a0, 0x0000006aaaaaaa41,
2414  0x0000000100000002, 0x0000000155555555,
2415  0x0000001100000022, 0x00000016aaaaaa95,
2416  0x0000004f8000009f, 0x00000069ffffff97,
2417  0x0000008e8000011d, 0x000000bdffffff43,
2418  0x0000001000000020, 0x0000001555555541,
2419  0x0000004e8000009d, 0x00000068aaaaaa43,
2420  0x0000008d8000011b, 0x000000bcaaaaa9ef,
2421  0x000000cd0000019a, 0x0000011155555445,
2422  0x0000003e8000007d, 0x0000005355555503,
2423  0x0000007d800000fb, 0x000000a7555554af,
2424  0x000000bd0000017a, 0x000000fbffffff05,
2425  0x000040bb80008177, 0x0000564f5554ff07,
2426  0x0000003f0000007e, 0x00000053ffffffad,
2427  0x0000007e800000fd, 0x000000a8aaaaaa03,
2428  0x0000407d000080fa, 0x000055fbffffaa05,
2429  0x0000807c000100f8, 0x0000ab4fffff54b1,
2430  0x0000003f8000007f, 0x00000054aaaaaa57,
2431  0x0000403e0000807c, 0x000055a7ffffaa59,
2432  0x0000803d0001007a, 0x0000aafbffff5505,
2433  0x0000c03c80018079, 0x00010050aaa9aa5b,
2434  0x00003ffe80007ffd, 0x0000555355550003,
2435  0x00007ffd8000fffb, 0x0000aaa75554aaaf,
2436  0x0000bffd00017ffa, 0x0000fffbffff0005,
2437  0x199a5996b334b32d, 0x2223221ddddcdde3,
2438  0x00003fff00007ffe, 0x00005553ffffaaad,
2439  0x00007ffe8000fffd, 0x0000aaa8aaaa0003,
2440  0x199a199833343330, 0x2222ccca8887dde1,
2441  0x4444c44308898885, 0x5b065b02fa4efa53,
2442  0x00003fff80007fff, 0x00005554aaaa5557,
2443  0x1999d9993333b332, 0x2222777688883335,
2444  0x4444844408890887, 0x5b0605aefa4f4fa7,
2445  0x8444844308890884, 0xb05b5b01fa4f4fa9,
2446  0x19999999b3333333, 0x22222221dddddddf,
2447  0x4444444488888888, 0x5b05b05a4fa4fa51,
2448  0x8444444388888885, 0xb05b05ad4fa4fa53,
2449  0xc444444308888883, 0x05b05b00fa4fa4ff,
2450  0x2aaaaaaad5555555, 0x38e38e3871c71c73,
2451  0x6aaaaaa9d5555552, 0x8e38e38b71c71c75,
2452  0xaaaaaaa955555550, 0xe38e38df1c71c721,
2453  0xeaaaaaa95555554f, 0x38e38e3371c71c77,
2454  0x3ffffffefffffffd, 0x5555555300000003,
2455  0x7ffffffe7ffffffb, 0xaaaaaaa6aaaaaaaf,
2456  0xbffffffe7ffffffa, 0xfffffffb00000005,
2457  0xfffffffefffffffa, 0x5555555000000005,
2458  0x3fffffff7ffffffe, 0x55555553aaaaaaad,
2459  0x7fffffff7ffffffd, 0xaaaaaaa800000003,
2460  0xbffffffffffffffd, 0xfffffffd00000003,
2461  0x00000000fffffffe, 0x55555552aaaaaaad,
2462  0x3fffffffffffffff, 0x5555555455555557,
2463  0x800000007fffffff, 0xaaaaaaa955555557,
2464  0xc000000180000000, 0xffffffff00000001,
2465  0x155555572aaaaaaa, 0x71c71c6fe38e38e5,
2466  0x4000000080000000, 0x5555555500000001,
2467  0x8000000180000001, 0xaaaaaaaaaaaaaaab,
2468  0xd55555572aaaaaab, 0x1c71c71b8e38e38f,
2469  0x3bbbbbbdf7777777, 0xa4fa4fa305b05b07,
2470  0x4000000100000001, 0x55555555aaaaaaab,
2471  0x95555556aaaaaaab, 0xc71c71c68e38e38f,
2472  0xfbbbbbbd77777777, 0x4fa4fa4e05b05b07,
2473  0x7bbb7bbe7776f777, 0xfa4f4fa2b05b5b07,
2474  0x55555555aaaaaaaa, 0x71c71c70e38e38e5,
2475  0xbbbbbbbc77777776, 0xfa4fa4f85b05b05d,
2476  0x3bbb7bbd7776f776, 0xa4f9fa4d05b0b05d,
2477  0xbbbb3bbef7767777, 0x4fa44fa25b065b07,
2478  0x66666666cccccccc, 0x8888888777777779,
2479  0xe6662667cccc4ccc, 0x3332dddc22227779,
2480  0x6665e6694ccbcccd, 0xdddd333177782223,
2481  0xe665a66b4ccb4ccf, 0x8887888777787777,
2482  0x7fffc000ffff8000, 0xaaaa5554aaab0001,
2483  0xffff80027fff0001, 0x5554aaaa0000aaab,
2484  0x7fff40047ffe8003, 0xffff00000000ffff,
2485  0xffff0006fffe0006, 0xaaa95556aaabfffd,
2486  0x7fffc0017fff8001, 0xaaaa55555555aaab,
2487  0xffff80037fff0003, 0x5554aaab5555ffff,
2488  0x7fff4005fffe8006, 0xffff00020000fffd,
2489  0xffff3fc6fffe7f86, 0xaaa9aa56aaabaafd,
2490  0x7fffc001ffff8002, 0xaaaa555600005555,
2491  0xffff80047fff0005, 0x5554aaacaaab5553,
2492  0x7fff7fc57ffeff85, 0xffff550155560053,
2493  0xffff7f86fffeff06, 0xaaa9ff56aaab55fd,
2494  0x7fffc0027fff8003, 0xaaaa5556aaaaffff,
2495  0xffffbfc37fff7f83, 0x5554ffab5555aaff,
2496  0x7fffbf84ffff7f04, 0xffffaa00aaab00a9,
2497  0xffffbf46ffff7e86, 0xaaaa5456aaab00fd,
2498  0x7fffffc0ffffff80, 0xaaaaaa54aaaaab01,
2499  0xffffff827fffff01, 0x555554aa000000ab,
2500  0x7fffff447ffffe83, 0xffffff00000000ff,
2501  0xffffff06fffffe06, 0xaaaaa956aaaaabfd,
2502  0x7fffffc17fffff81, 0xaaaaaa55555555ab,
2503  0xffffff837fffff03, 0x555554ab555555ff,
2504  0x7fffff45fffffe86, 0xffffff02000000fd,
2505  0xffffff36fffffe66, 0xaaaaa996aaaaabbd,
2506  0x7fffffc1ffffff82, 0xaaaaaa5600000055,
2507  0xffffff847fffff05, 0x555554acaaaaab53,
2508  0x7fffff757ffffee5, 0xffffff4155555613,
2509  0xffffff74fffffee2, 0xaaaaa9e955555615,
2510  0x7fffffc27fffff83, 0xaaaaaa56aaaaaaff,
2511  0xffffffb37fffff63, 0x555554eb555555bf,
2512  0x7fffffb2ffffff60, 0xffffff93555555c1,
2513  0xffffffb2ffffff5e, 0xaaaaaa3c0000006d,
2514  0x7ffffff0ffffffe0, 0xaaaaaa94aaaaaac1,
2515  0xfffffff07fffffdd, 0x5555553caaaaaac3,
2516  0x7ffffff07fffffdb, 0xffffffe55555556f,
2517  0xfffffff0ffffffda, 0xaaaaaa8eaaaaaac5,
2518  0xaaaaaaa800000002, 0xccccccc99999999d,
2519  0x55555550aaaaaaae, 0x9999999400000005,
2520  0xfffffffa00000004, 0x6666665f33333339,
2521  0xfffffffa00000004, 0x6666665f33333339,
2522  0xaaaaaaa8aaaaaaac, 0xccccccca66666669,
2523  0x5555555200000002, 0x999999959999999d,
2524  0x5555555200000002, 0x999999959999999d,
2525  0x55555552aaaaaaac, 0x9999999666666669,
2526  0xaaaaaaa955555556, 0xcccccccb33333335,
2527  0xaaaaaaa955555556, 0xcccccccb33333335,
2528  0xaaaaaaaa00000000, 0xcccccccc00000001,
2529  0xaaaaaaab55555554, 0xcccccccd99999999,
2530  0x0000000000000000, 0x0000000000000001,
2531  0x00000000aaaaaaaa, 0x00000000cccccccd,
2532  0x00000001fffffffe, 0x0000000266666665,
2533  0x000000175555553e, 0x0000001bffffffe5,
2534  0x00000000aaaaaaaa, 0x00000000cccccccd,
2535  0x00000001fffffffe, 0x0000000266666665,
2536  0x000000175555553e, 0x0000001bffffffe5,
2537  0x0000006aaaaaaa40, 0x0000007fffffff81,
2538  0x0000000155555554, 0x0000000199999999,
2539  0x00000016aaaaaa94, 0x0000001b33333319,
2540  0x00000069ffffff96, 0x0000007f333332b5,
2541  0x000000bdffffff42, 0x000000e3ffffff1d,
2542  0x0000001555555540, 0x0000001999999981,
2543  0x00000068aaaaaa42, 0x0000007d9999991d,
2544  0x000000bcaaaaa9ee, 0x000000e266666585,
2545  0x0000011155555444, 0x00000147fffffeb9,
2546  0x0000005355555502, 0x00000063ffffff9d,
2547  0x000000a7555554ae, 0x000000c8cccccc05,
2548  0x000000fbffffff04, 0x0000012e66666539,
2549  0x0000564f5554ff06, 0x000067926665fed5,
2550  0x00000053ffffffac, 0x00000064cccccc69,
2551  0x000000a8aaaaaa02, 0x000000ca6666659d,
2552  0x000055fbffffaa04, 0x0000672e6665ff39,
2553  0x0000ab4fffff54b0, 0x0000cd93333265a1,
2554  0x00000054aaaaaa56, 0x0000006599999935,
2555  0x000055a7ffffaa58, 0x000066c9999932d1,
2556  0x0000aafbffff5504, 0x0000cd2e66659939,
2557  0x00010050aaa9aa5a, 0x00013393fffecc6d,
2558  0x0000555355550002, 0x00006663ffff999d,
2559  0x0000aaa75554aaae, 0x0000ccc8cccc0005,
2560  0x0000fffbffff0004, 0x0001332e66653339,
2561  0x2223221ddddcdde2, 0x28f6f5bd70a2a3dd,
2562  0x00005553ffffaaac, 0x00006664cccc6669,
2563  0x0000aaa8aaaa0002, 0x0000ccca6665999d,
2564  0x2222ccca8887dde0, 0x28f68f5970a30a41,
2565  0x5b065b02fa4efa52, 0x6d3ad39d2c5ec5fd,
2566  0x00005554aaaa5556, 0x0000666599993335,
2567  0x2222777688883334, 0x28f628f4a3d6a3d9,
2568  0x5b0605aefa4f4fa6, 0x6d3a6d385f925f95,
2569  0xb05b5b01fa4f4fa8, 0xd3a0d39bf92bf931,
2570  0x22222221ddddddde, 0x28f5c28f0a3d70a5,
2571  0x5b05b05a4fa4fa50, 0x6d3a06d2c5f92c61,
2572  0xb05b05ad4fa4fa52, 0xd3a06d365f92c5fd,
2573  0x05b05b00fa4fa4fe, 0x3a06d39ac5f92c65,
2574  0x38e38e3871c71c72, 0x44444443bbbbbbbd,
2575  0x8e38e38b71c71c74, 0xaaaaaaa755555559,
2576  0xe38e38df1c71c720, 0x1111110bbbbbbbc1,
2577  0x38e38e3371c71c76, 0x77777770eeeeeef5,
2578  0x5555555300000002, 0x666666639999999d,
2579  0xaaaaaaa6aaaaaaae, 0xccccccc800000005,
2580  0xfffffffb00000004, 0x3333332d33333339,
2581  0x5555555000000004, 0x9999999333333339,
2582  0x55555553aaaaaaac, 0x6666666466666669,
2583  0xaaaaaaa800000002, 0xccccccc99999999d,
2584  0xfffffffd00000002, 0x3333332f9999999d,
2585  0x55555552aaaaaaac, 0x9999999666666669,
2586  0x5555555455555556, 0x6666666533333335,
2587  0xaaaaaaa955555556, 0xcccccccb33333335,
2588  0xffffffff00000000, 0x3333333200000001,
2589  0x71c71c6fe38e38e4, 0xbbbbbbb977777779,
2590  0x5555555500000000, 0x6666666600000001,
2591  0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccd,
2592  0x1c71c71b8e38e38e, 0x5555555444444445,
2593  0xa4fa4fa305b05b06, 0xf92c5f906d3a06d5,
2594  0x55555555aaaaaaaa, 0x66666666cccccccd,
2595  0xc71c71c68e38e38e, 0xeeeeeeee44444445,
2596  0x4fa4fa4e05b05b06, 0x92c5f92a6d3a06d5,
2597  0xfa4f4fa2b05b5b06, 0x5f925f9006d406d5,
2598  0x71c71c70e38e38e4, 0x8888888777777779,
2599  0xfa4fa4f85b05b05c, 0x2c5f92c3a06d3a09,
2600  0xa4f9fa4d05b0b05c, 0xf92bf9293a073a09,
2601  0x4fa44fa25b065b06, 0xc5f85f8fa06e06d5,
2602  0x8888888777777778, 0xa3d70a3c28f5c291,
2603  0x3332dddc22227778, 0x70a370a1c28fc291,
2604  0xdddd333177782222, 0x3d6fd70828f68f5d,
2605  0x8887888777787776, 0x0a3c3d6f5c2a28f5,
2606  0xaaaa5554aaab0000, 0xcccc6665999a0001,
2607  0x5554aaaa0000aaaa, 0x9998cccc0000cccd,
2608  0xffff00000000fffe, 0x6665333333346665,
2609  0xaaa95556aaabfffc, 0x3331999b3334ccc9,
2610  0xaaaa55555555aaaa, 0xcccc66666666cccd,
2611  0x5554aaab5555fffe, 0x9998cccd999a6665,
2612  0xffff00020000fffc, 0x66653335999accc9,
2613  0xaaa9aa56aaabaafc, 0x3331ff9b333466c9,
2614  0xaaaa555600005554, 0xcccc666733339999,
2615  0x5554aaacaaab5552, 0x9998cccf3333fffd,
2616  0xffff550155560052, 0x66659934cccd99fd,
2617  0xaaa9ff56aaab55fc, 0x3332659b333400c9,
2618  0xaaaa5556aaaafffe, 0xcccc666800006665,
2619  0x5554ffab5555aafe, 0x999932cd999a0065,
2620  0xffffaa00aaab00a8, 0x6665ff3400006731,
2621  0xaaaa5456aaab00fc, 0x3332cb9b33339ac9,
2622  0xaaaaaa54aaaaab00, 0xcccccc6599999a01,
2623  0x555554aa000000aa, 0x999998cc000000cd,
2624  0xffffff00000000fe, 0x6666653333333465,
2625  0xaaaaa956aaaaabfc, 0x3333319b333334c9,
2626  0xaaaaaa55555555aa, 0xcccccc66666666cd,
2627  0x555554ab555555fe, 0x999998cd99999a65,
2628  0xffffff02000000fc, 0x6666653599999ac9,
2629  0xaaaaa996aaaaabbc, 0x333331e800000149,
2630  0xaaaaaa5600000054, 0xcccccc6733333399,
2631  0x555554acaaaaab52, 0x999998cf333333fd,
2632  0xffffff4155555612, 0x6666658199999a7d,
2633  0xaaaaa9e955555614, 0x3333324b33333419,
2634  0xaaaaaa56aaaaaafe, 0xcccccc6800000065,
2635  0x555554eb555555be, 0x9999991a666666e5,
2636  0xffffff93555555c0, 0x666665e400000081,
2637  0xaaaaaa3c0000006c, 0x333332ae666666e9,
2638  0xaaaaaa94aaaaaac0, 0xccccccb266666681,
2639  0x5555553caaaaaac2, 0x9999997c0000001d,
2640  0xffffffe55555556e, 0x6666664666666685,
2641  0xaaaaaa8eaaaaaac4, 0x33333311999999b9,
2642  0xccccccc99999999c, 0xffff7ffd00018001,
2643  0x9999999400000004, 0xfffefffb00028001,
2644  0x6666665f33333338, 0xfffe7ffa00030001,
2645  0x6666665f33333338, 0xfffe7ffa00030001,
2646  0xccccccca66666668, 0xffff7ffe00010001,
2647  0x999999959999999c, 0xfffefffd00018001,
2648  0x999999959999999c, 0xfffefffd00018001,
2649  0x9999999666666668, 0xfffefffe00010001,
2650  0xcccccccb33333334, 0xffff7fff00008001,
2651  0xcccccccb33333334, 0xffff7fff00008001,
2652  0xcccccccc00000000, 0xffff800000000001,
2653  0xcccccccd99999998, 0xffff8001ffff0001,
2654  0x0000000000000000, 0x0000000000000001,
2655  0x00000000cccccccc, 0x00000000ffff8001,
2656  0x0000000266666664, 0x00000002fffe8001,
2657  0x0000001bffffffe4, 0x00000022ffee8001,
2658  0x00000000cccccccc, 0x00000000ffff8001,
2659  0x0000000266666664, 0x00000002fffe8001,
2660  0x0000001bffffffe4, 0x00000022ffee8001,
2661  0x0000007fffffff80, 0x0000009fffb00001,
2662  0x0000000199999998, 0x00000001ffff0001,
2663  0x0000001b33333318, 0x00000021ffef0001,
2664  0x0000007f333332b4, 0x0000009effb08001,
2665  0x000000e3ffffff1c, 0x0000011cff718001,
2666  0x0000001999999980, 0x0000001ffff00001,
2667  0x0000007d9999991c, 0x0000009cffb18001,
2668  0x000000e266666584, 0x0000011aff728001,
2669  0x00000147fffffeb8, 0x00000199ff330001,
2670  0x00000063ffffff9c, 0x0000007cffc18001,
2671  0x000000c8cccccc04, 0x000000faff828001,
2672  0x0000012e66666538, 0x00000179ff430001,
2673  0x000067926665fed4, 0x00008176bf448001,
2674  0x00000064cccccc68, 0x0000007dffc10001,
2675  0x000000ca6666659c, 0x000000fcff818001,
2676  0x0000672e6665ff38, 0x000080f9bf830001,
2677  0x0000cd93333265a0, 0x000100f77f840001,
2678  0x0000006599999934, 0x0000007effc08001,
2679  0x000066c9999932d0, 0x0000807bbfc20001,
2680  0x0000cd2e66659938, 0x000100797fc30001,
2681  0x00013393fffecc6c, 0x000180783fc38001,
2682  0x00006663ffff999c, 0x00007ffcc0018001,
2683  0x0000ccc8cccc0004, 0x0000fffa80028001,
2684  0x0001332e66653338, 0x00017ff940030001,
2685  0x28f6f5bd70a2a3dc, 0x33349992a6698001,
2686  0x00006664cccc6668, 0x00007ffdc0010001,
2687  0x0000ccca6665999c, 0x0000fffc80018001,
2688  0x28f68f5970a30a40, 0x33341995e6680001,
2689  0x6d3ad39d2c5ec5fc, 0x888944403bbd8001,
2690  0x0000666599993334, 0x00007ffec0008001,
2691  0x28f628f4a3d6a3d8, 0x3333999826670001,
2692  0x6d3a6d385f925f94, 0x8888c4427bbc8001,
2693  0xd3a0d39bf92bf930, 0x0888843f7bbe0001,
2694  0x28f5c28f0a3d70a4, 0x3333199966668001,
2695  0x6d3a06d2c5f92c60, 0x88884443bbbc0001,
2696  0xd3a06d365f92c5fc, 0x08880440bbbd8001,
2697  0x3a06d39ac5f92c64, 0x8887c43ebbbe8001,
2698  0x44444443bbbbbbbc, 0x55552aaa55558001,
2699  0xaaaaaaa755555558, 0xd554eaa755570001,
2700  0x1111110bbbbbbbc0, 0x5554aaa555580001,
2701  0x77777770eeeeeef4, 0xd5546aa455588001,
2702  0x666666639999999c, 0x7fffbffd00018001,
2703  0xccccccc800000004, 0xffff7ffb00028001,
2704  0x3333332d33333338, 0x7fff3ffa00030001,
2705  0x9999999333333338, 0xfffefffa00030001,
2706  0x6666666466666668, 0x7fffbffe00010001,
2707  0xccccccc99999999c, 0xffff7ffd00018001,
2708  0x3333332f9999999c, 0x7fff3ffd00018001,
2709  0x9999999666666668, 0xfffefffe00010001,
2710  0x6666666533333334, 0x7fffbfff00008001,
2711  0xcccccccb33333334, 0xffff7fff00008001,
2712  0x3333333200000000, 0x7fff400000000001,
2713  0xbbbbbbb977777778, 0x2aa99554aaab0001,
2714  0x6666666600000000, 0x7fffc00000000001,
2715  0xcccccccccccccccc, 0xffff8000ffff8001,
2716  0x5555555444444444, 0xaaa9d555aaaa8001,
2717  0xf92c5f906d3a06d4, 0x77763bbb44448001,
2718  0x66666666cccccccc, 0x7fffc000ffff8001,
2719  0xeeeeeeee44444444, 0x2aaa1555aaaa8001,
2720  0x92c5f92a6d3a06d4, 0xf7767bbb44448001,
2721  0x5f925f9006d406d4, 0xf7757bbb84448001,
2722  0x8888888777777778, 0xaaaa5554aaab0001,
2723  0x2c5f92c3a06d3a08, 0x7776bbba44450001,
2724  0xf92bf9293a073a08, 0x7775bbba84450001,
2725  0xc5f85f8fa06e06d4, 0x7774bbbbc4448001,
2726  0xa3d70a3c28f5c290, 0xcccc6665999a0001,
2727  0x70a370a1c28fc290, 0xcccb6665d99a0001,
2728  0x3d6fd70828f68f5c, 0xccca666719998001,
2729  0x0a3c3d6f5c2a28f4, 0xccc9666959988001,
2730  0xcccc6665999a0000, 0xffff000040000001,
2731  0x9998cccc0000cccc, 0xfffe00017fff8001,
2732  0x6665333333346664, 0xfffd0003bffe8001,
2733  0x3331999b3334ccc8, 0xfffc0006fffd0001,
2734  0xcccc66666666cccc, 0xffff00013fff8001,
2735  0x9998cccd999a6664, 0xfffe00037ffe8001,
2736  0x66653335999accc8, 0xfffd0006bffd0001,
2737  0x3331ff9b333466c8, 0xfffc7f86c03d0001,
2738  0xcccc666733339998, 0xffff00023fff0001,
2739  0x9998cccf3333fffc, 0xfffe00057ffd8001,
2740  0x66659934cccd99fc, 0xfffd7f85803d8001,
2741  0x3332659b333400c8, 0xfffcff06807d0001,
2742  0xcccc666800006664, 0xffff00033ffe8001,
2743  0x999932cd999a0064, 0xfffe7f83403e8001,
2744  0x6665ff3400006730, 0xfffdff04407e0001,
2745  0x3332cb9b33339ac8, 0xfffd7e8640bd0001,
2746  0xcccccc6599999a00, 0xffff7f8000400001,
2747  0x999998cc000000cc, 0xfffeff01007f8001,
2748  0x6666653333333464, 0xfffe7e8300be8001,
2749  0x3333319b333334c8, 0xfffdfe0600fd0001,
2750  0xcccccc66666666cc, 0xffff7f81003f8001,
2751  0x999998cd99999a64, 0xfffeff03007e8001,
2752  0x6666653599999ac8, 0xfffe7e8600bd0001,
2753  0x333331e800000148, 0xfffdfe6600cd0001,
2754  0xcccccc6733333398, 0xffff7f82003f0001,
2755  0x999998cf333333fc, 0xfffeff05007d8001,
2756  0x6666658199999a7c, 0xfffe7ee5008d8001,
2757  0x3333324b33333418, 0xfffdfee2008f0001,
2758  0xcccccc6800000064, 0xffff7f83003e8001,
2759  0x9999991a666666e4, 0xfffeff63004e8001,
2760  0x666665e400000080, 0xfffe7f6000500001,
2761  0x333332ae666666e8, 0xfffdff5e00510001,
2762  0xccccccb266666680, 0xffff7fe000100001,
2763  0x9999997c0000001c, 0xfffeffdd00118001,
2764  0x6666664666666684, 0xfffe7fdb00128001,
2765  0x33333311999999b8, 0xfffdffda00130001,
2766  0xffff7ffd00018000, 0xffff7ffe00017ffe,
2767  0xfffefffb00028000, 0xfffefffd00027ffc,
2768  0xfffe7ffa00030000, 0xfffe7ffd0002fffb,
2769  0xfffe7ffa00030000, 0xfffe7ffd0002fffb,
2770  0xffff7ffe00010000, 0xffff7fff0000ffff,
2771  0xfffefffd00018000, 0xfffeffff00017ffe,
2772  0xfffefffd00018000, 0xfffeffff00017ffe,
2773  0xfffefffe00010000, 0xffff00000000ffff,
2774  0xffff7fff00008000, 0xffff800000008000,
2775  0xffff7fff00008000, 0xffff800000008000,
2776  0xffff800000000000, 0xffff800100000001,
2777  0xffff8001ffff0000, 0xffff8002ffff0003,
2778  0x0000000000000000, 0x0000000000000001,
2779  0x00000000ffff8000, 0x00000000ffff8002,
2780  0x00000002fffe8000, 0x00000002fffe8004,
2781  0x00000022ffee8000, 0x00000022ffee8024,
2782  0x00000000ffff8000, 0x00000000ffff8002,
2783  0x00000002fffe8000, 0x00000002fffe8004,
2784  0x00000022ffee8000, 0x00000022ffee8024,
2785  0x0000009fffb00000, 0x0000009fffb000a1,
2786  0x00000001ffff0000, 0x00000001ffff0003,
2787  0x00000021ffef0000, 0x00000021ffef0023,
2788  0x0000009effb08000, 0x0000009effb080a0,
2789  0x0000011cff718000, 0x0000011cff71811e,
2790  0x0000001ffff00000, 0x0000001ffff00021,
2791  0x0000009cffb18000, 0x0000009cffb1809e,
2792  0x0000011aff728000, 0x0000011aff72811c,
2793  0x00000199ff330000, 0x00000199ff33019b,
2794  0x0000007cffc18000, 0x0000007cffc1807e,
2795  0x000000faff828000, 0x000000faff8280fc,
2796  0x00000179ff430000, 0x00000179ff43017b,
2797  0x00008176bf448000, 0x00008176bf450178,
2798  0x0000007dffc10000, 0x0000007dffc1007f,
2799  0x000000fcff818000, 0x000000fcff8180fe,
2800  0x000080f9bf830000, 0x000080f9bf8380fb,
2801  0x000100f77f840000, 0x000100f77f8500f9,
2802  0x0000007effc08000, 0x0000007effc08080,
2803  0x0000807bbfc20000, 0x0000807bbfc2807d,
2804  0x000100797fc30000, 0x000100797fc4007b,
2805  0x000180783fc38000, 0x000180783fc5007a,
2806  0x00007ffcc0018000, 0x00007ffcc001fffe,
2807  0x0000fffa80028000, 0x0000fffa80037ffc,
2808  0x00017ff940030000, 0x00017ff940047ffb,
2809  0x33349992a6698000, 0x33349992d99e332e,
2810  0x00007ffdc0010000, 0x00007ffdc0017fff,
2811  0x0000fffc80018000, 0x0000fffc80027ffe,
2812  0x33341995e6680000, 0x33341996199c3331,
2813  0x888944403bbd8000, 0x88894440c4470886,
2814  0x00007ffec0008000, 0x00007ffec0010000,
2815  0x3333999826670000, 0x33339998599ab333,
2816  0x8888c4427bbc8000, 0x8888c44304458888,
2817  0x0888843f7bbe0000, 0x0888844084470885,
2818  0x3333199966668000, 0x333319999999b334,
2819  0x88884443bbbc0000, 0x8888444444448889,
2820  0x08880440bbbd8000, 0x08880441c4460886,
2821  0x8887c43ebbbe8000, 0x8887c44044470884,
2822  0x55552aaa55558000, 0x55552aaaaaaad556,
2823  0xd554eaa755570000, 0xd554eaa82aac5553,
2824  0x5554aaa555580000, 0x5554aaa6aaad5551,
2825  0xd5546aa455588000, 0xd5546aa62aadd550,
2826  0x7fffbffd00018000, 0x7fffbffd80017ffe,
2827  0xffff7ffb00028000, 0xffff7ffc00027ffc,
2828  0x7fff3ffa00030000, 0x7fff3ffb8002fffb,
2829  0xfffefffa00030000, 0xfffefffc0002fffb,
2830  0x7fffbffe00010000, 0x7fffbffe8000ffff,
2831  0xffff7ffd00018000, 0xffff7ffe00017ffe,
2832  0x7fff3ffd00018000, 0x7fff3ffe80017ffe,
2833  0xfffefffe00010000, 0xffff00000000ffff,
2834  0x7fffbfff00008000, 0x7fffbfff80008000,
2835  0xffff7fff00008000, 0xffff800000008000,
2836  0x7fff400000000000, 0x7fff400180000001,
2837  0x2aa99554aaab0000, 0x2aa99556d555aaab,
2838  0x7fffc00000000000, 0x7fffc00080000001,
2839  0xffff8000ffff8000, 0xffff8001ffff8002,
2840  0xaaa9d555aaaa8000, 0xaaa9d55755552aac,
2841  0x77763bbb44448000, 0x77763bbdbbbbf778,
2842  0x7fffc000ffff8000, 0x7fffc0017fff8002,
2843  0x2aaa1555aaaa8000, 0x2aaa1556d5552aac,
2844  0xf7767bbb44448000, 0xf7767bbd3bbbf778,
2845  0xf7757bbb84448000, 0xf7757bbe7bbb7778,
2846  0xaaaa5554aaab0000, 0xaaaa55555555aaab,
2847  0x7776bbba44450000, 0x7776bbbbbbbc7777,
2848  0x7775bbba84450000, 0x7775bbbcfbbbf777,
2849  0x7774bbbbc4448000, 0x7774bbbf3bbaf778,
2850  0xcccc6665999a0000, 0xcccc66666666cccd,
2851  0xcccb6665d99a0000, 0xcccb6667a6664ccd,
2852  0xccca666719998000, 0xccca6669e6654cce,
2853  0xccc9666959988000, 0xccc9666d2663ccd0,
2854  0xffff000040000000, 0xffff00013fff8001,
2855  0xfffe00017fff8000, 0xfffe00037ffe8002,
2856  0xfffd0003bffe8000, 0xfffd0006bffd0004,
2857  0xfffc0006fffd0000, 0xfffc000afffb0007,
2858  0xffff00013fff8000, 0xffff00023fff0002,
2859  0xfffe00037ffe8000, 0xfffe00057ffd8004,
2860  0xfffd0006bffd0000, 0xfffd0009bffb8007,
2861  0xfffc7f86c03d0000, 0xfffc7f8ac03b7f87,
2862  0xffff00023fff0000, 0xffff00033ffe8003,
2863  0xfffe00057ffd8000, 0xfffe00077ffc8006,
2864  0xfffd7f85803d8000, 0xfffd7f88803c7f86,
2865  0xfffcff06807d0000, 0xfffcff0a807bff07,
2866  0xffff00033ffe8000, 0xffff00043ffe0004,
2867  0xfffe7f83403e8000, 0xfffe7f85403dff84,
2868  0xfffdff04407e0000, 0xfffdff07407d7f05,
2869  0xfffd7e8640bd0000, 0xfffd7e8a40bc7e87,
2870  0xffff7f8000400000, 0xffff7f81003fff81,
2871  0xfffeff01007f8000, 0xfffeff03007f7f02,
2872  0xfffe7e8300be8000, 0xfffe7e8600be7e84,
2873  0xfffdfe0600fd0000, 0xfffdfe0a00fcfe07,
2874  0xffff7f81003f8000, 0xffff7f82003f7f82,
2875  0xfffeff03007e8000, 0xfffeff05007e7f04,
2876  0xfffe7e8600bd0000, 0xfffe7e8900bcfe87,
2877  0xfffdfe6600cd0000, 0xfffdfe6a00ccfe67,
2878  0xffff7f82003f0000, 0xffff7f83003eff83,
2879  0xfffeff05007d8000, 0xfffeff07007d7f06,
2880  0xfffe7ee5008d8000, 0xfffe7ee8008d7ee6,
2881  0xfffdfee2008f0000, 0xfffdfee6008efee3,
2882  0xffff7f83003e8000, 0xffff7f84003e7f84,
2883  0xfffeff63004e8000, 0xfffeff65004e7f64,
2884  0xfffe7f6000500000, 0xfffe7f63004fff61,
2885  0xfffdff5e00510000, 0xfffdff620050ff5f,
2886  0xffff7fe000100000, 0xffff7fe1000fffe1,
2887  0xfffeffdd00118000, 0xfffeffdf00117fde,
2888  0xfffe7fdb00128000, 0xfffe7fde00127fdc,
2889  0xfffdffda00130000, 0xfffdffde0012ffdb,
2890  0xffff7ffe00017ffd, 0xffff7fff00017ffb,
2891  0xfffefffd00027ffb, 0xfffeffff00027ff7,
2892  0xfffe7ffd0002fffa, 0xfffe80000002fff5,
2893  0xfffe7ffd0002fffa, 0xfffe80000002fff5,
2894  0xffff7fff0000fffe, 0xffff80000000fffd,
2895  0xfffeffff00017ffd, 0xffff000100017ffb,
2896  0xfffeffff00017ffd, 0xffff000100017ffb,
2897  0xffff00000000fffe, 0xffff00020000fffd,
2898  0xffff800000007fff, 0xffff800100007fff,
2899  0xffff800000007fff, 0xffff800100007fff,
2900  0xffff800100000000, 0xffff800200000001,
2901  0xffff8002ffff0002, 0xffff8003ffff0005,
2902  0x0000000000000000, 0x0000000000000001,
2903  0x00000000ffff8001, 0x00000000ffff8003,
2904  0x00000002fffe8003, 0x00000002fffe8007,
2905  0x00000022ffee8023, 0x00000022ffee8047,
2906  0x00000000ffff8001, 0x00000000ffff8003,
2907  0x00000002fffe8003, 0x00000002fffe8007,
2908  0x00000022ffee8023, 0x00000022ffee8047,
2909  0x0000009fffb000a0, 0x0000009fffb00141,
2910  0x00000001ffff0002, 0x00000001ffff0005,
2911  0x00000021ffef0022, 0x00000021ffef0045,
2912  0x0000009effb0809f, 0x0000009effb0813f,
2913  0x0000011cff71811d, 0x0000011cff71823b,
2914  0x0000001ffff00020, 0x0000001ffff00041,
2915  0x0000009cffb1809d, 0x0000009cffb1813b,
2916  0x0000011aff72811b, 0x0000011aff728237,
2917  0x00000199ff33019a, 0x00000199ff330335,
2918  0x0000007cffc1807d, 0x0000007cffc180fb,
2919  0x000000faff8280fb, 0x000000faff8281f7,
2920  0x00000179ff43017a, 0x00000179ff4302f5,
2921  0x00008176bf450177, 0x00008176bf4582ef,
2922  0x0000007dffc1007e, 0x0000007dffc100fd,
2923  0x000000fcff8180fd, 0x000000fcff8181fb,
2924  0x000080f9bf8380fa, 0x000080f9bf8401f5,
2925  0x000100f77f8500f8, 0x000100f77f8601f1,
2926  0x0000007effc0807f, 0x0000007effc080ff,
2927  0x0000807bbfc2807c, 0x0000807bbfc300f9,
2928  0x000100797fc4007a, 0x000100797fc500f5,
2929  0x000180783fc50079, 0x000180783fc680f3,
2930  0x00007ffcc001fffd, 0x00007ffcc0027ffb,
2931  0x0000fffa80037ffb, 0x0000fffa80047ff7,
2932  0x00017ff940047ffa, 0x00017ff94005fff5,
2933  0x33349992d99e332d, 0x333499930cd2e65b,
2934  0x00007ffdc0017ffe, 0x00007ffdc001fffd,
2935  0x0000fffc80027ffd, 0x0000fffc80037ffb,
2936  0x33341996199c3330, 0x333419964cd06661,
2937  0x88894440c4470885, 0x888944414cd0910b,
2938  0x00007ffec000ffff, 0x00007ffec0017fff,
2939  0x33339998599ab332, 0x333399988cce6665,
2940  0x8888c44304458887, 0x8888c4438cce910f,
2941  0x0888844084470884, 0x088884418cd01109,
2942  0x333319999999b333, 0x33331999cccce667,
2943  0x8888444444448888, 0x88884444cccd1111,
2944  0x08880441c4460885, 0x08880442ccce910b,
2945  0x8887c44044470883, 0x8887c441cccf9107,
2946  0x55552aaaaaaad555, 0x55552aab00002aab,
2947  0xd554eaa82aac5552, 0xd554eaa90001aaa5,
2948  0x5554aaa6aaad5550, 0x5554aaa80002aaa1,
2949  0xd5546aa62aadd54f, 0xd5546aa800032a9f,
2950  0x7fffbffd80017ffd, 0x7fffbffe00017ffb,
2951  0xffff7ffc00027ffb, 0xffff7ffd00027ff7,
2952  0x7fff3ffb8002fffa, 0x7fff3ffd0002fff5,
2953  0xfffefffc0002fffa, 0xfffefffe0002fff5,
2954  0x7fffbffe8000fffe, 0x7fffbfff0000fffd,
2955  0xffff7ffe00017ffd, 0xffff7fff00017ffb,
2956  0x7fff3ffe80017ffd, 0x7fff400000017ffb,
2957  0xffff00000000fffe, 0xffff00020000fffd,
2958  0x7fffbfff80007fff, 0x7fffc00000007fff,
2959  0xffff800000007fff, 0xffff800100007fff,
2960  0x7fff400180000000, 0x7fff400300000001,
2961  0x2aa99556d555aaaa, 0x2aa9955900005555,
2962  0x7fffc00080000000, 0x7fffc00100000001,
2963  0xffff8001ffff8001, 0xffff8002ffff8003,
2964  0xaaa9d55755552aab, 0xaaa9d558ffffd557,
2965  0x77763bbdbbbbf777, 0x77763bc033336eef,
2966  0x7fffc0017fff8001, 0x7fffc001ffff8003,
2967  0x2aaa1556d5552aab, 0x2aaa1557ffffd557,
2968  0xf7767bbd3bbbf777, 0xf7767bbf33336eef,
2969  0xf7757bbe7bbb7777, 0xf7757bc173326eef,
2970  0xaaaa55555555aaaa, 0xaaaa555600005555,
2971  0x7776bbbbbbbc7776, 0x7776bbbd3333eeed,
2972  0x7775bbbcfbbbf776, 0x7775bbbf7332eeed,
2973  0x7774bbbf3bbaf777, 0x7774bbc2b3316eef,
2974  0xcccc66666666cccc, 0xcccc666733339999,
2975  0xcccb6667a6664ccc, 0xcccb666973329999,
2976  0xccca6669e6654ccd, 0xccca666cb331199b,
2977  0xccc9666d2663cccf, 0xccc96670f32f199f,
2978  0xffff00013fff8000, 0xffff00023fff0001,
2979  0xfffe00037ffe8001, 0xfffe00057ffd8003,
2980  0xfffd0006bffd0003, 0xfffd0009bffb8007,
2981  0xfffc000afffb0006, 0xfffc000efff9000d,
2982  0xffff00023fff0001, 0xffff00033ffe8003,
2983  0xfffe00057ffd8003, 0xfffe00077ffc8007,
2984  0xfffd0009bffb8006, 0xfffd000cbffa000d,
2985  0xfffc7f8ac03b7f86, 0xfffc7f8ec039ff0d,
2986  0xffff00033ffe8002, 0xffff00043ffe0005,
2987  0xfffe00077ffc8005, 0xfffe00097ffb800b,
2988  0xfffd7f88803c7f85, 0xfffd7f8b803b7f0b,
2989  0xfffcff0a807bff06, 0xfffcff0e807afe0d,
2990  0xffff00043ffe0003, 0xffff00053ffd8007,
2991  0xfffe7f85403dff83, 0xfffe7f87403d7f07,
2992  0xfffdff07407d7f04, 0xfffdff0a407cfe09,
2993  0xfffd7e8a40bc7e86, 0xfffd7e8e40bbfd0d,
2994  0xffff7f81003fff80, 0xffff7f82003fff01,
2995  0xfffeff03007f7f01, 0xfffeff05007f7e03,
2996  0xfffe7e8600be7e83, 0xfffe7e8900be7d07,
2997  0xfffdfe0a00fcfe06, 0xfffdfe0e00fcfc0d,
2998  0xffff7f82003f7f81, 0xffff7f83003f7f03,
2999  0xfffeff05007e7f03, 0xfffeff07007e7e07,
3000  0xfffe7e8900bcfe86, 0xfffe7e8c00bcfd0d,
3001  0xfffdfe6a00ccfe66, 0xfffdfe6e00ccfccd,
3002  0xffff7f83003eff82, 0xffff7f84003eff05,
3003  0xfffeff07007d7f05, 0xfffeff09007d7e0b,
3004  0xfffe7ee8008d7ee5, 0xfffe7eeb008d7dcb,
3005  0xfffdfee6008efee2, 0xfffdfeea008efdc5,
3006  0xffff7f84003e7f83, 0xffff7f85003e7f07,
3007  0xfffeff65004e7f63, 0xfffeff67004e7ec7,
3008  0xfffe7f63004fff60, 0xfffe7f66004ffec1,
3009  0xfffdff620050ff5e, 0xfffdff660050febd,
3010  0xffff7fe1000fffe0, 0xffff7fe2000fffc1,
3011  0xfffeffdf00117fdd, 0xfffeffe100117fbb,
3012  0xfffe7fde00127fdb, 0xfffe7fe100127fb7,
3013  0xfffdffde0012ffda, 0xfffdffe20012ffb5,
3014  0xffff7fff00017ffa, 0xffff800000017ff8,
3015  0xfffeffff00027ff6, 0xffff000100027ff2,
3016  0xfffe80000002fff4, 0xfffe80030002ffef,
3017  0xfffe80000002fff4, 0xfffe80030002ffef,
3018  0xffff80000000fffc, 0xffff80010000fffb,
3019  0xffff000100017ffa, 0xffff000300017ff8,
3020  0xffff000100017ffa, 0xffff000300017ff8,
3021  0xffff00020000fffc, 0xffff00040000fffb,
3022  0xffff800100007ffe, 0xffff800200007ffe,
3023  0xffff800100007ffe, 0xffff800200007ffe,
3024  0xffff800200000000, 0xffff800300000001,
3025  0xffff8003ffff0004, 0xffff8004ffff0007,
3026  0x0000000000000000, 0x0000000000000001,
3027  0x00000000ffff8002, 0x00000000ffff8004,
3028  0x00000002fffe8006, 0x00000002fffe800a,
3029  0x00000022ffee8046, 0x00000022ffee806a,
3030  0x00000000ffff8002, 0x00000000ffff8004,
3031  0x00000002fffe8006, 0x00000002fffe800a,
3032  0x00000022ffee8046, 0x00000022ffee806a,
3033  0x0000009fffb00140, 0x0000009fffb001e1,
3034  0x00000001ffff0004, 0x00000001ffff0007,
3035  0x00000021ffef0044, 0x00000021ffef0067,
3036  0x0000009effb0813e, 0x0000009effb081de,
3037  0x0000011cff71823a, 0x0000011cff718358,
3038  0x0000001ffff00040, 0x0000001ffff00061,
3039  0x0000009cffb1813a, 0x0000009cffb181d8,
3040  0x0000011aff728236, 0x0000011aff728352,
3041  0x00000199ff330334, 0x00000199ff3304cf,
3042  0x0000007cffc180fa, 0x0000007cffc18178,
3043  0x000000faff8281f6, 0x000000faff8282f2,
3044  0x00000179ff4302f4, 0x00000179ff43046f,
3045  0x00008176bf4582ee, 0x00008176bf460466,
3046  0x0000007dffc100fc, 0x0000007dffc1017b,
3047  0x000000fcff8181fa, 0x000000fcff8182f8,
3048  0x000080f9bf8401f4, 0x000080f9bf8482ef,
3049  0x000100f77f8601f0, 0x000100f77f8702e9,
3050  0x0000007effc080fe, 0x0000007effc0817e,
3051  0x0000807bbfc300f8, 0x0000807bbfc38175,
3052  0x000100797fc500f4, 0x000100797fc6016f,
3053  0x000180783fc680f2, 0x000180783fc8016c,
3054  0x00007ffcc0027ffa, 0x00007ffcc002fff8,
3055  0x0000fffa80047ff6, 0x0000fffa80057ff2,
3056  0x00017ff94005fff4, 0x00017ff940077fef,
3057  0x333499930cd2e65a, 0x3334999340079988,
3058  0x00007ffdc001fffc, 0x00007ffdc0027ffb,
3059  0x0000fffc80037ffa, 0x0000fffc80047ff8,
3060  0x333419964cd06660, 0x3334199680049991,
3061  0x888944414cd0910a, 0x88894441d55a1990,
3062  0x00007ffec0017ffe, 0x00007ffec001fffe,
3063  0x333399988cce6664, 0x33339998c0021997,
3064  0x8888c4438cce910e, 0x8888c44415579996,
3065  0x088884418cd01108, 0x088884429559198d,
3066  0x33331999cccce666, 0x3333199a0000199a,
3067  0x88884444cccd1110, 0x8888444555559999,
3068  0x08880442ccce910a, 0x08880443d5571990,
3069  0x8887c441cccf9106, 0x8887c4435558198a,
3070  0x55552aab00002aaa, 0x55552aab55558000,
3071  0xd554eaa90001aaa4, 0xd554eaa9d556fff7,
3072  0x5554aaa80002aaa0, 0x5554aaa95557fff1,
3073  0xd5546aa800032a9e, 0xd5546aa9d5587fee,
3074  0x7fffbffe00017ffa, 0x7fffbffe80017ff8,
3075  0xffff7ffd00027ff6, 0xffff7ffe00027ff2,
3076  0x7fff3ffd0002fff4, 0x7fff3ffe8002ffef,
3077  0xfffefffe0002fff4, 0xffff00000002ffef,
3078  0x7fffbfff0000fffc, 0x7fffbfff8000fffb,
3079  0xffff7fff00017ffa, 0xffff800000017ff8,
3080  0x7fff400000017ffa, 0x7fff400180017ff8,
3081  0xffff00020000fffc, 0xffff00040000fffb,
3082  0x7fffc00000007ffe, 0x7fffc00080007ffe,
3083  0xffff800100007ffe, 0xffff800200007ffe,
3084  0x7fff400300000000, 0x7fff400480000001,
3085  0x2aa9955900005554, 0x2aa9955b2aaaffff,
3086  0x7fffc00100000000, 0x7fffc00180000001,
3087  0xffff8002ffff8002, 0xffff8003ffff8004,
3088  0xaaa9d558ffffd556, 0xaaa9d55aaaaa8002,
3089  0x77763bc033336eee, 0x77763bc2aaaae666,
3090  0x7fffc001ffff8002, 0x7fffc0027fff8004,
3091  0x2aaa1557ffffd556, 0x2aaa15592aaa8002,
3092  0xf7767bbf33336eee, 0xf7767bc12aaae666,
3093  0xf7757bc173326eee, 0xf7757bc46aa96666,
3094  0xaaaa555600005554, 0xaaaa5556aaaaffff,
3095  0x7776bbbd3333eeec, 0x7776bbbeaaab6663,
3096  0x7775bbbf7332eeec, 0x7775bbc1eaa9e663,
3097  0x7774bbc2b3316eee, 0x7774bbc62aa7e666,
3098  0xcccc666733339998, 0xcccc666800006665,
3099  0xcccb666973329998, 0xcccb666b3ffee665,
3100  0xccca666cb331199a, 0xccca666f7ffce668,
3101  0xccc96670f32f199e, 0xccc96674bffa666e,
3102  0xffff00023fff0000, 0xffff00033ffe8001,
3103  0xfffe00057ffd8002, 0xfffe00077ffc8004,
3104  0xfffd0009bffb8006, 0xfffd000cbffa000a,
3105  0xfffc000efff9000c, 0xfffc0012fff70013,
3106  0xffff00033ffe8002, 0xffff00043ffe0004,
3107  0xfffe00077ffc8006, 0xfffe00097ffb800a,
3108  0xfffd000cbffa000c, 0xfffd000fbff88013,
3109  0xfffc7f8ec039ff0c, 0xfffc7f92c0387e93,
3110  0xffff00043ffe0004, 0xffff00053ffd8007,
3111  0xfffe00097ffb800a, 0xfffe000b7ffa8010,
3112  0xfffd7f8b803b7f0a, 0xfffd7f8e803a7e90,
3113  0xfffcff0e807afe0c, 0xfffcff128079fd13,
3114  0xffff00053ffd8006, 0xffff00063ffd000a,
3115  0xfffe7f87403d7f06, 0xfffe7f89403cfe8a,
3116  0xfffdff0a407cfe08, 0xfffdff0d407c7d0d,
3117  0xfffd7e8e40bbfd0c, 0xfffd7e9240bb7b93,
3118  0xffff7f82003fff00, 0xffff7f83003ffe81,
3119  0xfffeff05007f7e02, 0xfffeff07007f7d04,
3120  0xfffe7e8900be7d06, 0xfffe7e8c00be7b8a,
3121  0xfffdfe0e00fcfc0c, 0xfffdfe1200fcfa13,
3122  0xffff7f83003f7f02, 0xffff7f84003f7e84,
3123  0xfffeff07007e7e06, 0xfffeff09007e7d0a,
3124  0xfffe7e8c00bcfd0c, 0xfffe7e8f00bcfb93,
3125  0xfffdfe6e00ccfccc, 0xfffdfe7200ccfb33,
3126  0xffff7f84003eff04, 0xffff7f85003efe87,
3127  0xfffeff09007d7e0a, 0xfffeff0b007d7d10,
3128  0xfffe7eeb008d7dca, 0xfffe7eee008d7cb0,
3129  0xfffdfeea008efdc4, 0xfffdfeee008efca7,
3130  0xffff7f85003e7f06, 0xffff7f86003e7e8a,
3131  0xfffeff67004e7ec6, 0xfffeff69004e7e2a,
3132  0xfffe7f66004ffec0, 0xfffe7f69004ffe21,
3133  0xfffdff660050febc, 0xfffdff6a0050fe1b,
3134  0xffff7fe2000fffc0, 0xffff7fe3000fffa1,
3135  0xfffeffe100117fba, 0xfffeffe300117f98,
3136  0xfffe7fe100127fb6, 0xfffe7fe400127f92,
3137  0xfffdffe20012ffb4, 0xfffdffe60012ff8f,
3138  0xffff800000017ff7, 0xffffff7d00000181,
3139  0xffff000100027ff1, 0xfffffefb00000281,
3140  0xfffe80030002ffee, 0xfffffe7a00000301,
3141  0xfffe80030002ffee, 0xfffffe7a00000301,
3142  0xffff80010000fffa, 0xffffff7e00000101,
3143  0xffff000300017ff7, 0xfffffefd00000181,
3144  0xffff000300017ff7, 0xfffffefd00000181,
3145  0xffff00040000fffa, 0xfffffefe00000101,
3146  0xffff800200007ffd, 0xffffff7f00000081,
3147  0xffff800200007ffd, 0xffffff7f00000081,
3148  0xffff800300000000, 0xffffff8000000001,
3149  0xffff8004ffff0006, 0xffffff81ffffff01,
3150  0x0000000000000000, 0x0000000000000001,
3151  0x00000000ffff8003, 0x00000000ffffff81,
3152  0x00000002fffe8009, 0x00000002fffffe81,
3153  0x00000022ffee8069, 0x00000022ffffee81,
3154  0x00000000ffff8003, 0x00000000ffffff81,
3155  0x00000002fffe8009, 0x00000002fffffe81,
3156  0x00000022ffee8069, 0x00000022ffffee81,
3157  0x0000009fffb001e0, 0x0000009fffffb001,
3158  0x00000001ffff0006, 0x00000001ffffff01,
3159  0x00000021ffef0066, 0x00000021ffffef01,
3160  0x0000009effb081dd, 0x0000009effffb081,
3161  0x0000011cff718357, 0x0000011cffff7181,
3162  0x0000001ffff00060, 0x0000001ffffff001,
3163  0x0000009cffb181d7, 0x0000009cffffb181,
3164  0x0000011aff728351, 0x0000011affff7281,
3165  0x00000199ff3304ce, 0x00000199ffff3301,
3166  0x0000007cffc18177, 0x0000007cffffc181,
3167  0x000000faff8282f1, 0x000000faffff8281,
3168  0x00000179ff43046e, 0x00000179ffff4301,
3169  0x00008176bf460465, 0x00008176ffbf4481,
3170  0x0000007dffc1017a, 0x0000007dffffc101,
3171  0x000000fcff8182f7, 0x000000fcffff8181,
3172  0x000080f9bf8482ee, 0x000080f9ffbf8301,
3173  0x000100f77f8702e8, 0x000100f7ff7f8401,
3174  0x0000007effc0817d, 0x0000007effffc081,
3175  0x0000807bbfc38174, 0x0000807bffbfc201,
3176  0x000100797fc6016e, 0x00010079ff7fc301,
3177  0x000180783fc8016b, 0x00018078ff3fc381,
3178  0x00007ffcc002fff7, 0x00007ffcffc00181,
3179  0x0000fffa80057ff1, 0x0000fffaff800281,
3180  0x00017ff940077fee, 0x00017ff9ff400301,
3181  0x3334999340079987, 0x3334b31365a66981,
3182  0x00007ffdc0027ffa, 0x00007ffdffc00101,
3183  0x0000fffc80047ff7, 0x0000fffcff800181,
3184  0x3334199680049990, 0x3334331665e66801,
3185  0x88894441d55a198f, 0x88898840bb3bbd81,
3186  0x00007ffec001fffd, 0x00007ffeffc00081,
3187  0x33339998c0021996, 0x3333b31866266701,
3188  0x8888c44415579995, 0x88890842bb7bbc81,
3189  0x088884429559198c, 0x088907ffbb7bbe01,
3190  0x3333199a00001999, 0x3333331966666681,
3191  0x8888444555559998, 0x88888843bbbbbc01,
3192  0x08880443d557198f, 0x08888800bbbbbd81,
3193  0x8887c44355581989, 0x888887bebbbbbe81,
3194  0x55552aab55557fff, 0x5555552a55555581,
3195  0xd554eaa9d556fff6, 0xd55554e755555701,
3196  0x5554aaa95557fff0, 0x555554a555555801,
3197  0xd5546aa9d5587fed, 0xd555546455555881,
3198  0x7fffbffe80017ff7, 0x7fffffbd00000181,
3199  0xffff7ffe00027ff1, 0xffffff7b00000281,
3200  0x7fff3ffe8002ffee, 0x7fffff3a00000301,
3201  0xffff00000002ffee, 0xfffffefa00000301,
3202  0x7fffbfff8000fffa, 0x7fffffbe00000101,
3203  0xffff800000017ff7, 0xffffff7d00000181,
3204  0x7fff400180017ff7, 0x7fffff3d00000181,
3205  0xffff00040000fffa, 0xfffffefe00000101,
3206  0x7fffc00080007ffd, 0x7fffffbf00000081,
3207  0xffff800200007ffd, 0xffffff7f00000081,
3208  0x7fff400480000000, 0x7fffff4000000001,
3209  0x2aa9955b2aaafffe, 0x2aaaa994aaaaab01,
3210  0x7fffc00180000000, 0x7fffffc000000001,
3211  0xffff8003ffff8003, 0xffffff80ffffff81,
3212  0xaaa9d55aaaaa8001, 0xaaaaa9d5aaaaaa81,
3213  0x77763bc2aaaae665, 0x7777763b44444481,
3214  0x7fffc0027fff8003, 0x7fffffc0ffffff81,
3215  0x2aaa15592aaa8001, 0x2aaaaa15aaaaaa81,
3216  0xf7767bc12aaae665, 0xf777767b44444481,
3217  0xf7757bc46aa96665, 0xf776f5fb44844481,
3218  0xaaaa5556aaaafffe, 0xaaaaaa54aaaaab01,
3219  0x7776bbbeaaab6662, 0x777776ba44444501,
3220  0x7775bbc1eaa9e662, 0x7776f63a44844501,
3221  0x7774bbc62aa7e665, 0x777675bb44c44481,
3222  0xcccc666800006664, 0xcccccc6599999a01,
3223  0xcccb666b3ffee664, 0xcccc4be599d99a01,
3224  0xccca666f7ffce667, 0xcccbcb669a199981,
3225  0xccc96674bffa666d, 0xcccb4ae89a599881,
3226  0xffff00033ffe8000, 0xffff7f8000400001,
3227  0xfffe00077ffc8003, 0xfffeff01007fff81,
3228  0xfffd000cbffa0009, 0xfffe7e8300bffe81,
3229  0xfffc0012fff70012, 0xfffdfe0600fffd01,
3230  0xffff00043ffe0003, 0xffff7f81003fff81,
3231  0xfffe00097ffb8009, 0xfffeff03007ffe81,
3232  0xfffd000fbff88012, 0xfffe7e8600bffd01,
3233  0xfffc7f92c0387e92, 0xfffe7d8600c03d01,
3234  0xffff00053ffd8006, 0xffff7f82003fff01,
3235  0xfffe000b7ffa800f, 0xfffeff05007ffd81,
3236  0xfffd7f8e803a7e8f, 0xfffefe0500803d81,
3237  0xfffcff128079fd12, 0xfffefd0600807d01,
3238  0xffff00063ffd0009, 0xffff7f83003ffe81,
3239  0xfffe7f89403cfe89, 0xffff7e8300403e81,
3240  0xfffdff0d407c7d0c, 0xffff7d8400407e01,
3241  0xfffd7e9240bb7b92, 0xffff7c860040bd01,
3242  0xffff7f83003ffe80, 0xffffff0000004001,
3243  0xfffeff07007f7d03, 0xfffffe0100007f81,
3244  0xfffe7e8c00be7b89, 0xfffffd030000be81,
3245  0xfffdfe1200fcfa12, 0xfffffc060000fd01,
3246  0xffff7f84003f7e83, 0xffffff0100003f81,
3247  0xfffeff09007e7d09, 0xfffffe0300007e81,
3248  0xfffe7e8f00bcfb92, 0xfffffd060000bd01,
3249  0xfffdfe7200ccfb32, 0xfffffc660000cd01,
3250  0xffff7f85003efe86, 0xffffff0200003f01,
3251  0xfffeff0b007d7d0f, 0xfffffe0500007d81,
3252  0xfffe7eee008d7caf, 0xfffffd6500008d81,
3253  0xfffdfeee008efca6, 0xfffffce200008f01,
3254  0xffff7f86003e7e89, 0xffffff0300003e81,
3255  0xfffeff69004e7e29, 0xfffffe6300004e81,
3256  0xfffe7f69004ffe20, 0xfffffde000005001,
3257  0xfffdff6a0050fe1a, 0xfffffd5e00005101,
3258  0xffff7fe3000fffa0, 0xffffff6000001001,
3259  0xfffeffe300117f97, 0xfffffedd00001181,
3260  0xfffe7fe400127f91, 0xfffffe5b00001281,
3261  0xfffdffe60012ff8e, 0xfffffdda00001301,
3262  0xffffff7d00000180, 0xffffff7e0000017e,
3263  0xfffffefb00000280, 0xfffffefd0000027c,
3264  0xfffffe7a00000300, 0xfffffe7d000002fb,
3265  0xfffffe7a00000300, 0xfffffe7d000002fb,
3266  0xffffff7e00000100, 0xffffff7f000000ff,
3267  0xfffffefd00000180, 0xfffffeff0000017e,
3268  0xfffffefd00000180, 0xfffffeff0000017e,
3269  0xfffffefe00000100, 0xffffff00000000ff,
3270  0xffffff7f00000080, 0xffffff8000000080,
3271  0xffffff7f00000080, 0xffffff8000000080,
3272  0xffffff8000000000, 0xffffff8100000001,
3273  0xffffff81ffffff00, 0xffffff82ffffff03,
3274  0x0000000000000000, 0x0000000000000001,
3275  0x00000000ffffff80, 0x00000000ffffff82,
3276  0x00000002fffffe80, 0x00000002fffffe84,
3277  0x00000022ffffee80, 0x00000022ffffeea4,
3278  0x00000000ffffff80, 0x00000000ffffff82,
3279  0x00000002fffffe80, 0x00000002fffffe84,
3280  0x00000022ffffee80, 0x00000022ffffeea4,
3281  0x0000009fffffb000, 0x0000009fffffb0a1,
3282  0x00000001ffffff00, 0x00000001ffffff03,
3283  0x00000021ffffef00, 0x00000021ffffef23,
3284  0x0000009effffb080, 0x0000009effffb120,
3285  0x0000011cffff7180, 0x0000011cffff729e,
3286  0x0000001ffffff000, 0x0000001ffffff021,
3287  0x0000009cffffb180, 0x0000009cffffb21e,
3288  0x0000011affff7280, 0x0000011affff739c,
3289  0x00000199ffff3300, 0x00000199ffff349b,
3290  0x0000007cffffc180, 0x0000007cffffc1fe,
3291  0x000000faffff8280, 0x000000faffff837c,
3292  0x00000179ffff4300, 0x00000179ffff447b,
3293  0x00008176ffbf4480, 0x00008176ffbfc5f8,
3294  0x0000007dffffc100, 0x0000007dffffc17f,
3295  0x000000fcffff8180, 0x000000fcffff827e,
3296  0x000080f9ffbf8300, 0x000080f9ffc003fb,
3297  0x000100f7ff7f8400, 0x000100f7ff8084f9,
3298  0x0000007effffc080, 0x0000007effffc100,
3299  0x0000807bffbfc200, 0x0000807bffc0427d,
3300  0x00010079ff7fc300, 0x00010079ff80c37b,
3301  0x00018078ff3fc380, 0x00018078ff4143fa,
3302  0x00007ffcffc00180, 0x00007ffcffc0817e,
3303  0x0000fffaff800280, 0x0000fffaff81027c,
3304  0x00017ff9ff400300, 0x00017ff9ff4182fb,
3305  0x3334b31365a66980, 0x3334b31398db1cae,
3306  0x00007ffdffc00100, 0x00007ffdffc080ff,
3307  0x0000fffcff800180, 0x0000fffcff81017e,
3308  0x3334331665e66800, 0x33343316991a9b31,
3309  0x88898840bb3bbd80, 0x8889884143c54606,
3310  0x00007ffeffc00080, 0x00007ffeffc08080,
3311  0x3333b31866266700, 0x3333b318995a1a33,
3312  0x88890842bb7bbc80, 0x888908434404c508,
3313  0x088907ffbb7bbe00, 0x08890800c404c685,
3314  0x3333331966666680, 0x33333319999999b4,
3315  0x88888843bbbbbc00, 0x8888884444444489,
3316  0x08888800bbbbbd80, 0x08888801c4444606,
3317  0x888887bebbbbbe80, 0x888887c044444704,
3318  0x5555552a55555580, 0x5555552aaaaaaad6,
3319  0xd55554e755555700, 0xd55554e82aaaac53,
3320  0x555554a555555800, 0x555554a6aaaaad51,
3321  0xd555546455555880, 0xd55554662aaaadd0,
3322  0x7fffffbd00000180, 0x7fffffbd8000017e,
3323  0xffffff7b00000280, 0xffffff7c0000027c,
3324  0x7fffff3a00000300, 0x7fffff3b800002fb,
3325  0xfffffefa00000300, 0xfffffefc000002fb,
3326  0x7fffffbe00000100, 0x7fffffbe800000ff,
3327  0xffffff7d00000180, 0xffffff7e0000017e,
3328  0x7fffff3d00000180, 0x7fffff3e8000017e,
3329  0xfffffefe00000100, 0xffffff00000000ff,
3330  0x7fffffbf00000080, 0x7fffffbf80000080,
3331  0xffffff7f00000080, 0xffffff8000000080,
3332  0x7fffff4000000000, 0x7fffff4180000001,
3333  0x2aaaa994aaaaab00, 0x2aaaa996d55555ab,
3334  0x7fffffc000000000, 0x7fffffc080000001,
3335  0xffffff80ffffff80, 0xffffff81ffffff82,
3336  0xaaaaa9d5aaaaaa80, 0xaaaaa9d75555552c,
3337  0x7777763b44444480, 0x7777763dbbbbbbf8,
3338  0x7fffffc0ffffff80, 0x7fffffc17fffff82,
3339  0x2aaaaa15aaaaaa80, 0x2aaaaa16d555552c,
3340  0xf777767b44444480, 0xf777767d3bbbbbf8,
3341  0xf776f5fb44844480, 0xf776f5fe3bfb3bf8,
3342  0xaaaaaa54aaaaab00, 0xaaaaaa55555555ab,
3343  0x777776ba44444500, 0x777776bbbbbbbc77,
3344  0x7776f63a44844500, 0x7776f63cbbfb3c77,
3345  0x777675bb44c44480, 0x777675bebc3abbf8,
3346  0xcccccc6599999a00, 0xcccccc66666666cd,
3347  0xcccc4be599d99a00, 0xcccc4be766a5e6cd,
3348  0xcccbcb669a199980, 0xcccbcb6966e5664e,
3349  0xcccb4ae89a599880, 0xcccb4aec6724e550,
3350  0xffff7f8000400000, 0xffff7f81003f8001,
3351  0xfffeff01007fff80, 0xfffeff03007eff82,
3352  0xfffe7e8300bffe80, 0xfffe7e8600be7e84,
3353  0xfffdfe0600fffd00, 0xfffdfe0a00fdfd07,
3354  0xffff7f81003fff80, 0xffff7f82003f7f82,
3355  0xfffeff03007ffe80, 0xfffeff05007efe84,
3356  0xfffe7e8600bffd00, 0xfffe7e8900be7d07,
3357  0xfffe7d8600c03d00, 0xfffe7d8a00bebc87,
3358  0xffff7f82003fff00, 0xffff7f83003f7f03,
3359  0xfffeff05007ffd80, 0xfffeff07007efd86,
3360  0xfffefe0500803d80, 0xfffefe08007f3d06,
3361  0xfffefd0600807d00, 0xfffefd0a007f7c07,
3362  0xffff7f83003ffe80, 0xffff7f84003f7e84,
3363  0xffff7e8300403e80, 0xffff7e85003fbe04,
3364  0xffff7d8400407e00, 0xffff7d87003ffd05,
3365  0xffff7c860040bd00, 0xffff7c8a00403b87,
3366  0xffffff0000004000, 0xffffff0100003f81,
3367  0xfffffe0100007f80, 0xfffffe0300007e82,
3368  0xfffffd030000be80, 0xfffffd060000bd04,
3369  0xfffffc060000fd00, 0xfffffc0a0000fb07,
3370  0xffffff0100003f80, 0xffffff0200003f02,
3371  0xfffffe0300007e80, 0xfffffe0500007d84,
3372  0xfffffd060000bd00, 0xfffffd090000bb87,
3373  0xfffffc660000cd00, 0xfffffc6a0000cb67,
3374  0xffffff0200003f00, 0xffffff0300003e83,
3375  0xfffffe0500007d80, 0xfffffe0700007c86,
3376  0xfffffd6500008d80, 0xfffffd6800008c66,
3377  0xfffffce200008f00, 0xfffffce600008de3,
3378  0xffffff0300003e80, 0xffffff0400003e04,
3379  0xfffffe6300004e80, 0xfffffe6500004de4,
3380  0xfffffde000005000, 0xfffffde300004f61,
3381  0xfffffd5e00005100, 0xfffffd620000505f,
3382  0xffffff6000001000, 0xffffff6100000fe1,
3383  0xfffffedd00001180, 0xfffffedf0000115e,
3384  0xfffffe5b00001280, 0xfffffe5e0000125c,
3385  0xfffffdda00001300, 0xfffffdde000012db,
3386  0xffffff7e0000017d, 0xffffff7f0000017b,
3387  0xfffffefd0000027b, 0xfffffeff00000277,
3388  0xfffffe7d000002fa, 0xfffffe80000002f5,
3389  0xfffffe7d000002fa, 0xfffffe80000002f5,
3390  0xffffff7f000000fe, 0xffffff80000000fd,
3391  0xfffffeff0000017d, 0xffffff010000017b,
3392  0xfffffeff0000017d, 0xffffff010000017b,
3393  0xffffff00000000fe, 0xffffff02000000fd,
3394  0xffffff800000007f, 0xffffff810000007f,
3395  0xffffff800000007f, 0xffffff810000007f,
3396  0xffffff8100000000, 0xffffff8200000001,
3397  0xffffff82ffffff02, 0xffffff83ffffff05,
3398  0x0000000000000000, 0x0000000000000001,
3399  0x00000000ffffff81, 0x00000000ffffff83,
3400  0x00000002fffffe83, 0x00000002fffffe87,
3401  0x00000022ffffeea3, 0x00000022ffffeec7,
3402  0x00000000ffffff81, 0x00000000ffffff83,
3403  0x00000002fffffe83, 0x00000002fffffe87,
3404  0x00000022ffffeea3, 0x00000022ffffeec7,
3405  0x0000009fffffb0a0, 0x0000009fffffb141,
3406  0x00000001ffffff02, 0x00000001ffffff05,
3407  0x00000021ffffef22, 0x00000021ffffef45,
3408  0x0000009effffb11f, 0x0000009effffb1bf,
3409  0x0000011cffff729d, 0x0000011cffff73bb,
3410  0x0000001ffffff020, 0x0000001ffffff041,
3411  0x0000009cffffb21d, 0x0000009cffffb2bb,
3412  0x0000011affff739b, 0x0000011affff74b7,
3413  0x00000199ffff349a, 0x00000199ffff3635,
3414  0x0000007cffffc1fd, 0x0000007cffffc27b,
3415  0x000000faffff837b, 0x000000faffff8477,
3416  0x00000179ffff447a, 0x00000179ffff45f5,
3417  0x00008176ffbfc5f7, 0x00008176ffc0476f,
3418  0x0000007dffffc17e, 0x0000007dffffc1fd,
3419  0x000000fcffff827d, 0x000000fcffff837b,
3420  0x000080f9ffc003fa, 0x000080f9ffc084f5,
3421  0x000100f7ff8084f8, 0x000100f7ff8185f1,
3422  0x0000007effffc0ff, 0x0000007effffc17f,
3423  0x0000807bffc0427c, 0x0000807bffc0c2f9,
3424  0x00010079ff80c37a, 0x00010079ff81c3f5,
3425  0x00018078ff4143f9, 0x00018078ff42c473,
3426  0x00007ffcffc0817d, 0x00007ffcffc1017b,
3427  0x0000fffaff81027b, 0x0000fffaff820277,
3428  0x00017ff9ff4182fa, 0x00017ff9ff4302f5,
3429  0x3334b31398db1cad, 0x3334b313cc0fcfdb,
3430  0x00007ffdffc080fe, 0x00007ffdffc100fd,
3431  0x0000fffcff81017d, 0x0000fffcff82017b,
3432  0x33343316991a9b30, 0x33343316cc4ece61,
3433  0x8889884143c54605, 0x88898841cc4ece8b,
3434  0x00007ffeffc0807f, 0x00007ffeffc1007f,
3435  0x3333b318995a1a32, 0x3333b318cc8dcd65,
3436  0x888908434404c507, 0x88890843cc8dcd8f,
3437  0x08890800c404c684, 0x08890801cc8dcf09,
3438  0x33333319999999b3, 0x33333319cccccce7,
3439  0x8888884444444488, 0x88888844cccccd11,
3440  0x08888801c4444605, 0x08888802ccccce8b,
3441  0x888887c044444703, 0x888887c1cccccf87,
3442  0x5555552aaaaaaad5, 0x5555552b0000002b,
3443  0xd55554e82aaaac52, 0xd55554e9000001a5,
3444  0x555554a6aaaaad50, 0x555554a8000002a1,
3445  0xd55554662aaaadcf, 0xd55554680000031f,
3446  0x7fffffbd8000017d, 0x7fffffbe0000017b,
3447  0xffffff7c0000027b, 0xffffff7d00000277,
3448  0x7fffff3b800002fa, 0x7fffff3d000002f5,
3449  0xfffffefc000002fa, 0xfffffefe000002f5,
3450  0x7fffffbe800000fe, 0x7fffffbf000000fd,
3451  0xffffff7e0000017d, 0xffffff7f0000017b,
3452  0x7fffff3e8000017d, 0x7fffff400000017b,
3453  0xffffff00000000fe, 0xffffff02000000fd,
3454  0x7fffffbf8000007f, 0x7fffffc00000007f,
3455  0xffffff800000007f, 0xffffff810000007f,
3456  0x7fffff4180000000, 0x7fffff4300000001,
3457  0x2aaaa996d55555aa, 0x2aaaa99900000055,
3458  0x7fffffc080000000, 0x7fffffc100000001,
3459  0xffffff81ffffff81, 0xffffff82ffffff83,
3460  0xaaaaa9d75555552b, 0xaaaaa9d8ffffffd7,
3461  0x7777763dbbbbbbf7, 0x777776403333336f,
3462  0x7fffffc17fffff81, 0x7fffffc1ffffff83,
3463  0x2aaaaa16d555552b, 0x2aaaaa17ffffffd7,
3464  0xf777767d3bbbbbf7, 0xf777767f3333336f,
3465  0xf776f5fe3bfb3bf7, 0xf776f6013372336f,
3466  0xaaaaaa55555555aa, 0xaaaaaa5600000055,
3467  0x777776bbbbbbbc76, 0x777776bd333333ed,
3468  0x7776f63cbbfb3c76, 0x7776f63f337233ed,
3469  0x777675bebc3abbf7, 0x777675c233b1336f,
3470  0xcccccc66666666cc, 0xcccccc6733333399,
3471  0xcccc4be766a5e6cc, 0xcccc4be933723399,
3472  0xcccbcb6966e5664d, 0xcccbcb6c33b1331b,
3473  0xcccb4aec6724e54f, 0xcccb4af033f0321f,
3474  0xffff7f81003f8000, 0xffff7f82003f0001,
3475  0xfffeff03007eff81, 0xfffeff05007dff83,
3476  0xfffe7e8600be7e83, 0xfffe7e8900bcfe87,
3477  0xfffdfe0a00fdfd06, 0xfffdfe0e00fbfd0d,
3478  0xffff7f82003f7f81, 0xffff7f83003eff83,
3479  0xfffeff05007efe83, 0xfffeff07007dfe87,
3480  0xfffe7e8900be7d06, 0xfffe7e8c00bcfd0d,
3481  0xfffe7d8a00bebc86, 0xfffe7d8e00bd3c0d,
3482  0xffff7f83003f7f02, 0xffff7f84003eff05,
3483  0xfffeff07007efd85, 0xfffeff09007dfd8b,
3484  0xfffefe08007f3d05, 0xfffefe0b007e3c8b,
3485  0xfffefd0a007f7c06, 0xfffefd0e007e7b0d,
3486  0xffff7f84003f7e83, 0xffff7f85003efe87,
3487  0xffff7e85003fbe03, 0xffff7e87003f3d87,
3488  0xffff7d87003ffd04, 0xffff7d8a003f7c09,
3489  0xffff7c8a00403b86, 0xffff7c8e003fba0d,
3490  0xffffff0100003f80, 0xffffff0200003f01,
3491  0xfffffe0300007e81, 0xfffffe0500007d83,
3492  0xfffffd060000bd03, 0xfffffd090000bb87,
3493  0xfffffc0a0000fb06, 0xfffffc0e0000f90d,
3494  0xffffff0200003f01, 0xffffff0300003e83,
3495  0xfffffe0500007d83, 0xfffffe0700007c87,
3496  0xfffffd090000bb86, 0xfffffd0c0000ba0d,
3497  0xfffffc6a0000cb66, 0xfffffc6e0000c9cd,
3498  0xffffff0300003e82, 0xffffff0400003e05,
3499  0xfffffe0700007c85, 0xfffffe0900007b8b,
3500  0xfffffd6800008c65, 0xfffffd6b00008b4b,
3501  0xfffffce600008de2, 0xfffffcea00008cc5,
3502  0xffffff0400003e03, 0xffffff0500003d87,
3503  0xfffffe6500004de3, 0xfffffe6700004d47,
3504  0xfffffde300004f60, 0xfffffde600004ec1,
3505  0xfffffd620000505e, 0xfffffd6600004fbd,
3506  0xffffff6100000fe0, 0xffffff6200000fc1,
3507  0xfffffedf0000115d, 0xfffffee10000113b,
3508  0xfffffe5e0000125b, 0xfffffe6100001237,
3509  0xfffffdde000012da, 0xfffffde2000012b5,
3510  0xffffff7f0000017a, 0xffffff8000000178,
3511  0xfffffeff00000276, 0xffffff0100000272,
3512  0xfffffe80000002f4, 0xfffffe83000002ef,
3513  0xfffffe80000002f4, 0xfffffe83000002ef,
3514  0xffffff80000000fc, 0xffffff81000000fb,
3515  0xffffff010000017a, 0xffffff0300000178,
3516  0xffffff010000017a, 0xffffff0300000178,
3517  0xffffff02000000fc, 0xffffff04000000fb,
3518  0xffffff810000007e, 0xffffff820000007e,
3519  0xffffff810000007e, 0xffffff820000007e,
3520  0xffffff8200000000, 0xffffff8300000001,
3521  0xffffff83ffffff04, 0xffffff84ffffff07,
3522  0x0000000000000000, 0x0000000000000001,
3523  0x00000000ffffff82, 0x00000000ffffff84,
3524  0x00000002fffffe86, 0x00000002fffffe8a,
3525  0x00000022ffffeec6, 0x00000022ffffeeea,
3526  0x00000000ffffff82, 0x00000000ffffff84,
3527  0x00000002fffffe86, 0x00000002fffffe8a,
3528  0x00000022ffffeec6, 0x00000022ffffeeea,
3529  0x0000009fffffb140, 0x0000009fffffb1e1,
3530  0x00000001ffffff04, 0x00000001ffffff07,
3531  0x00000021ffffef44, 0x00000021ffffef67,
3532  0x0000009effffb1be, 0x0000009effffb25e,
3533  0x0000011cffff73ba, 0x0000011cffff74d8,
3534  0x0000001ffffff040, 0x0000001ffffff061,
3535  0x0000009cffffb2ba, 0x0000009cffffb358,
3536  0x0000011affff74b6, 0x0000011affff75d2,
3537  0x00000199ffff3634, 0x00000199ffff37cf,
3538  0x0000007cffffc27a, 0x0000007cffffc2f8,
3539  0x000000faffff8476, 0x000000faffff8572,
3540  0x00000179ffff45f4, 0x00000179ffff476f,
3541  0x00008176ffc0476e, 0x00008176ffc0c8e6,
3542  0x0000007dffffc1fc, 0x0000007dffffc27b,
3543  0x000000fcffff837a, 0x000000fcffff8478,
3544  0x000080f9ffc084f4, 0x000080f9ffc105ef,
3545  0x000100f7ff8185f0, 0x000100f7ff8286e9,
3546  0x0000007effffc17e, 0x0000007effffc1fe,
3547  0x0000807bffc0c2f8, 0x0000807bffc14375,
3548  0x00010079ff81c3f4, 0x00010079ff82c46f,
3549  0x00018078ff42c472, 0x00018078ff4444ec,
3550  0x00007ffcffc1017a, 0x00007ffcffc18178,
3551  0x0000fffaff820276, 0x0000fffaff830272,
3552  0x00017ff9ff4302f4, 0x00017ff9ff4482ef,
3553  0x3334b313cc0fcfda, 0x3334b313ff448308,
3554  0x00007ffdffc100fc, 0x00007ffdffc180fb,
3555  0x0000fffcff82017a, 0x0000fffcff830178,
3556  0x33343316cc4ece60, 0x33343316ff830191,
3557  0x88898841cc4ece8a, 0x8889884254d85710,
3558  0x00007ffeffc1007e, 0x00007ffeffc1807e,
3559  0x3333b318cc8dcd64, 0x3333b318ffc18097,
3560  0x88890843cc8dcd8e, 0x888908445516d616,
3561  0x08890801cc8dcf08, 0x08890802d516d78d,
3562  0x33333319cccccce6, 0x3333331a0000001a,
3563  0x88888844cccccd10, 0x8888884555555599,
3564  0x08888802ccccce8a, 0x08888803d5555710,
3565  0x888887c1cccccf86, 0x888887c35555580a,
3566  0x5555552b0000002a, 0x5555552b55555580,
3567  0xd55554e9000001a4, 0xd55554e9d55556f7,
3568  0x555554a8000002a0, 0x555554a9555557f1,
3569  0xd55554680000031e, 0xd5555469d555586e,
3570  0x7fffffbe0000017a, 0x7fffffbe80000178,
3571  0xffffff7d00000276, 0xffffff7e00000272,
3572  0x7fffff3d000002f4, 0x7fffff3e800002ef,
3573  0xfffffefe000002f4, 0xffffff00000002ef,
3574  0x7fffffbf000000fc, 0x7fffffbf800000fb,
3575  0xffffff7f0000017a, 0xffffff8000000178,
3576  0x7fffff400000017a, 0x7fffff4180000178,
3577  0xffffff02000000fc, 0xffffff04000000fb,
3578  0x7fffffc00000007e, 0x7fffffc08000007e,
3579  0xffffff810000007e, 0xffffff820000007e,
3580  0x7fffff4300000000, 0x7fffff4480000001,
3581  0x2aaaa99900000054, 0x2aaaa99b2aaaaaff,
3582  0x7fffffc100000000, 0x7fffffc180000001,
3583  0xffffff82ffffff82, 0xffffff83ffffff84,
3584  0xaaaaa9d8ffffffd6, 0xaaaaa9daaaaaaa82,
3585  0x777776403333336e, 0x77777642aaaaaae6,
3586  0x7fffffc1ffffff82, 0x7fffffc27fffff84,
3587  0x2aaaaa17ffffffd6, 0x2aaaaa192aaaaa82,
3588  0xf777767f3333336e, 0xf77776812aaaaae6,
3589  0xf776f6013372336e, 0xf776f6042ae92ae6,
3590  0xaaaaaa5600000054, 0xaaaaaa56aaaaaaff,
3591  0x777776bd333333ec, 0x777776beaaaaab63,
3592  0x7776f63f337233ec, 0x7776f641aae92b63,
3593  0x777675c233b1336e, 0x777675c5ab27aae6,
3594  0xcccccc6733333398, 0xcccccc6800000065,
3595  0xcccc4be933723398, 0xcccc4beb003e8065,
3596  0xcccbcb6c33b1331a, 0xcccbcb6f007cffe8,
3597  0xcccb4af033f0321e, 0xcccb4af400bb7eee,
3598  0xffff7f82003f0000, 0xffff7f83003e8001,
3599  0xfffeff05007dff82, 0xfffeff07007cff84,
3600  0xfffe7e8900bcfe86, 0xfffe7e8c00bb7e8a,
3601  0xfffdfe0e00fbfd0c, 0xfffdfe1200f9fd13,
3602  0xffff7f83003eff82, 0xffff7f84003e7f84,
3603  0xfffeff07007dfe86, 0xfffeff09007cfe8a,
3604  0xfffe7e8c00bcfd0c, 0xfffe7e8f00bb7d13,
3605  0xfffe7d8e00bd3c0c, 0xfffe7d9200bbbb93,
3606  0xffff7f84003eff04, 0xffff7f85003e7f07,
3607  0xfffeff09007dfd8a, 0xfffeff0b007cfd90,
3608  0xfffefe0b007e3c8a, 0xfffefe0e007d3c10,
3609  0xfffefd0e007e7b0c, 0xfffefd12007d7a13,
3610  0xffff7f85003efe86, 0xffff7f86003e7e8a,
3611  0xffff7e87003f3d86, 0xffff7e89003ebd0a,
3612  0xffff7d8a003f7c08, 0xffff7d8d003efb0d,
3613  0xffff7c8e003fba0c, 0xffff7c92003f3893,
3614  0xffffff0200003f00, 0xffffff0300003e81,
3615  0xfffffe0500007d82, 0xfffffe0700007c84,
3616  0xfffffd090000bb86, 0xfffffd0c0000ba0a,
3617  0xfffffc0e0000f90c, 0xfffffc120000f713,
3618  0xffffff0300003e82, 0xffffff0400003e04,
3619  0xfffffe0700007c86, 0xfffffe0900007b8a,
3620  0xfffffd0c0000ba0c, 0xfffffd0f0000b893,
3621  0xfffffc6e0000c9cc, 0xfffffc720000c833,
3622  0xffffff0400003e04, 0xffffff0500003d87,
3623  0xfffffe0900007b8a, 0xfffffe0b00007a90,
3624  0xfffffd6b00008b4a, 0xfffffd6e00008a30,
3625  0xfffffcea00008cc4, 0xfffffcee00008ba7,
3626  0xffffff0500003d86, 0xffffff0600003d0a,
3627  0xfffffe6700004d46, 0xfffffe6900004caa,
3628  0xfffffde600004ec0, 0xfffffde900004e21,
3629  0xfffffd6600004fbc, 0xfffffd6a00004f1b,
3630  0xffffff6200000fc0, 0xffffff6300000fa1,
3631  0xfffffee10000113a, 0xfffffee300001118,
3632  0xfffffe6100001236, 0xfffffe6400001212,
3633  0xfffffde2000012b4, 0xfffffde60000128f,
3634  0xffffff8000000177, 0xffffffdd00000061,
3635  0xffffff0100000271, 0xffffffbb000000a1,
3636  0xfffffe83000002ee, 0xffffff9a000000c1,
3637  0xfffffe83000002ee, 0xffffff9a000000c1,
3638  0xffffff81000000fa, 0xffffffde00000041,
3639  0xffffff0300000177, 0xffffffbd00000061,
3640  0xffffff0300000177, 0xffffffbd00000061,
3641  0xffffff04000000fa, 0xffffffbe00000041,
3642  0xffffff820000007d, 0xffffffdf00000021,
3643  0xffffff820000007d, 0xffffffdf00000021,
3644  0xffffff8300000000, 0xffffffe000000001,
3645  0xffffff84ffffff06, 0xffffffe1ffffffc1,
3646  0x0000000000000000, 0x0000000000000001,
3647  0x00000000ffffff83, 0x00000000ffffffe1,
3648  0x00000002fffffe89, 0x00000002ffffffa1,
3649  0x00000022ffffeee9, 0x00000022fffffba1,
3650  0x00000000ffffff83, 0x00000000ffffffe1,
3651  0x00000002fffffe89, 0x00000002ffffffa1,
3652  0x00000022ffffeee9, 0x00000022fffffba1,
3653  0x0000009fffffb1e0, 0x0000009fffffec01,
3654  0x00000001ffffff06, 0x00000001ffffffc1,
3655  0x00000021ffffef66, 0x00000021fffffbc1,
3656  0x0000009effffb25d, 0x0000009effffec21,
3657  0x0000011cffff74d7, 0x0000011cffffdc61,
3658  0x0000001ffffff060, 0x0000001ffffffc01,
3659  0x0000009cffffb357, 0x0000009cffffec61,
3660  0x0000011affff75d1, 0x0000011affffdca1,
3661  0x00000199ffff37ce, 0x00000199ffffccc1,
3662  0x0000007cffffc2f7, 0x0000007cfffff061,
3663  0x000000faffff8571, 0x000000faffffe0a1,
3664  0x00000179ffff476e, 0x00000179ffffd0c1,
3665  0x00008176ffc0c8e5, 0x00008176ffefd121,
3666  0x0000007dffffc27a, 0x0000007dfffff041,
3667  0x000000fcffff8477, 0x000000fcffffe061,
3668  0x000080f9ffc105ee, 0x000080f9ffefe0c1,
3669  0x000100f7ff8286e8, 0x000100f7ffdfe101,
3670  0x0000007effffc1fd, 0x0000007efffff021,
3671  0x0000807bffc14374, 0x0000807bffeff081,
3672  0x00010079ff82c46e, 0x00010079ffdff0c1,
3673  0x00018078ff4444eb, 0x00018078ffcff0e1,
3674  0x00007ffcffc18177, 0x00007ffcfff00061,
3675  0x0000fffaff830271, 0x0000fffaffe000a1,
3676  0x00017ff9ff4482ee, 0x00017ff9ffd000c1,
3677  0x3334b313ff448307, 0x3334b32699699a61,
3678  0x00007ffdffc180fa, 0x00007ffdfff00041,
3679  0x0000fffcff830177, 0x0000fffcffe00061,
3680  0x33343316ff830190, 0x3334332999799a01,
3681  0x8889884254d8570f, 0x88898873eeceef61,
3682  0x00007ffeffc1807d, 0x00007ffefff00021,
3683  0x3333b318ffc18096, 0x3333b32b998999c1,
3684  0x888908445516d615, 0x88890875eedeef21,
3685  0x08890802d516d78c, 0x08890862eedeef81,
3686  0x3333331a00000019, 0x3333332c999999a1,
3687  0x8888884555555598, 0x88888876eeeeef01,
3688  0x08888803d555570f, 0x08888863eeeeef61,
3689  0x888887c355555809, 0x88888851eeeeefa1,
3690  0x5555552b5555557f, 0x5555554a55555561,
3691  0xd55554e9d55556f6, 0xd5555537555555c1,
3692  0x555554a9555557f0, 0x5555552555555601,
3693  0xd5555469d555586d, 0xd555551455555621,
3694  0x7fffffbe80000177, 0x7fffffed00000061,
3695  0xffffff7e00000271, 0xffffffdb000000a1,
3696  0x7fffff3e800002ee, 0x7fffffca000000c1,
3697  0xffffff00000002ee, 0xffffffba000000c1,
3698  0x7fffffbf800000fa, 0x7fffffee00000041,
3699  0xffffff8000000177, 0xffffffdd00000061,
3700  0x7fffff4180000177, 0x7fffffcd00000061,
3701  0xffffff04000000fa, 0xffffffbe00000041,
3702  0x7fffffc08000007d, 0x7fffffef00000021,
3703  0xffffff820000007d, 0xffffffdf00000021,
3704  0x7fffff4480000000, 0x7fffffd000000001,
3705  0x2aaaa99b2aaaaafe, 0x2aaaaa64aaaaaac1,
3706  0x7fffffc180000000, 0x7ffffff000000001,
3707  0xffffff83ffffff83, 0xffffffe0ffffffe1,
3708  0xaaaaa9daaaaaaa81, 0xaaaaaa75aaaaaaa1,
3709  0x77777642aaaaaae5, 0x7777772811111121,
3710  0x7fffffc27fffff83, 0x7ffffff0ffffffe1,
3711  0x2aaaaa192aaaaa81, 0x2aaaaa85aaaaaaa1,
3712  0xf77776812aaaaae5, 0xf777773811111121,
3713  0xf776f6042ae92ae5, 0xf776f71811211121,
3714  0xaaaaaa56aaaaaafe, 0xaaaaaa94aaaaaac1,
3715  0x777776beaaaaab62, 0x7777774711111141,
3716  0x7776f641aae92b62, 0x7776f72711211141,
3717  0x777675c5ab27aae5, 0x7776770811311121,
3718  0xcccccc6800000064, 0xccccccb266666681,
3719  0xcccc4beb003e8064, 0xcccc4c9266766681,
3720  0xcccbcb6f007cffe7, 0xcccbcc7366866661,
3721  0xcccb4af400bb7eed, 0xcccb4c5566966621,
3722  0xffff7f83003e8000, 0xffff7fe000100001,
3723  0xfffeff07007cff83, 0xfffeffc1001fffe1,
3724  0xfffe7e8c00bb7e89, 0xfffe7fa3002fffa1,
3725  0xfffdfe1200f9fd12, 0xfffdff86003fff41,
3726  0xffff7f84003e7f83, 0xffff7fe1000fffe1,
3727  0xfffeff09007cfe89, 0xfffeffc3001fffa1,
3728  0xfffe7e8f00bb7d12, 0xfffe7fa6002fff41,
3729  0xfffe7d9200bbbb92, 0xfffe7f0600300f41,
3730  0xffff7f85003e7f06, 0xffff7fe2000fffc1,
3731  0xfffeff0b007cfd8f, 0xfffeffc5001fff61,
3732  0xfffefe0e007d3c0f, 0xfffeff2500200f61,
3733  0xfffefd12007d7a12, 0xfffefe8600201f41,
3734  0xffff7f86003e7e89, 0xffff7fe3000fffa1,
3735  0xffff7e89003ebd09, 0xffff7f4300100fa1,
3736  0xffff7d8d003efb0c, 0xffff7ea400101f81,
3737  0xffff7c92003f3892, 0xffff7e0600102f41,
3738  0xffffff0300003e80, 0xffffff6000001001,
3739  0xfffffe0700007c83, 0xfffffec100001fe1,
3740  0xfffffd0c0000ba09, 0xfffffe2300002fa1,
3741  0xfffffc120000f712, 0xfffffd8600003f41,
3742  0xffffff0400003e03, 0xffffff6100000fe1,
3743  0xfffffe0900007b89, 0xfffffec300001fa1,
3744  0xfffffd0f0000b892, 0xfffffe2600002f41,
3745  0xfffffc720000c832, 0xfffffde600003341,
3746  0xffffff0500003d86, 0xffffff6200000fc1,
3747  0xfffffe0b00007a8f, 0xfffffec500001f61,
3748  0xfffffd6e00008a2f, 0xfffffe8500002361,
3749  0xfffffcee00008ba6, 0xfffffe62000023c1,
3750  0xffffff0600003d09, 0xffffff6300000fa1,
3751  0xfffffe6900004ca9, 0xffffff23000013a1,
3752  0xfffffde900004e20, 0xffffff0000001401,
3753  0xfffffd6a00004f1a, 0xfffffede00001441,
3754  0xffffff6300000fa0, 0xffffffc000000401,
3755  0xfffffee300001117, 0xffffff9d00000461,
3756  0xfffffe6400001211, 0xffffff7b000004a1,
3757  0xfffffde60000128e, 0xffffff5a000004c1,
3758  0xffffffdd00000060, 0xfffffffa0000000a,
3759  0xffffffbb000000a0, 0xfffffff500000010,
3760  0xffffff9a000000c0, 0xfffffff100000013,
3761  0xffffff9a000000c0, 0xfffffff100000013,
3762  0xffffffde00000040, 0xfffffffb00000007,
3763  0xffffffbd00000060, 0xfffffff70000000a,
3764  0xffffffbd00000060, 0xfffffff70000000a,
3765  0xffffffbe00000040, 0xfffffff800000007,
3766  0xffffffdf00000020, 0xfffffffc00000004,
3767  0xffffffdf00000020, 0xfffffffc00000004,
3768  0xffffffe000000000, 0xfffffffd00000001,
3769  0xffffffe1ffffffc0, 0xfffffffefffffffb,
3770  0x0000000000000000, 0x0000000000000001,
3771  0x00000000ffffffe0, 0x00000000fffffffe,
3772  0x00000002ffffffa0, 0x00000002fffffff8,
3773  0x00000022fffffba0, 0x00000022ffffff98,
3774  0x00000000ffffffe0, 0x00000000fffffffe,
3775  0x00000002ffffffa0, 0x00000002fffffff8,
3776  0x00000022fffffba0, 0x00000022ffffff98,
3777  0x0000009fffffec00, 0x0000009ffffffe21,
3778  0x00000001ffffffc0, 0x00000001fffffffb,
3779  0x00000021fffffbc0, 0x00000021ffffff9b,
3780  0x0000009effffec20, 0x0000009efffffe24,
3781  0x0000011cffffdc60, 0x0000011cfffffcaa,
3782  0x0000001ffffffc00, 0x0000001fffffffa1,
3783  0x0000009cffffec60, 0x0000009cfffffe2a,
3784  0x0000011affffdca0, 0x0000011afffffcb0,
3785  0x00000199ffffccc0, 0x00000199fffffb33,
3786  0x0000007cfffff060, 0x0000007cfffffe8a,
3787  0x000000faffffe0a0, 0x000000fafffffd10,
3788  0x00000179ffffd0c0, 0x00000179fffffb93,
3789  0x00008176ffefd120, 0x00008176fffe7b9c,
3790  0x0000007dfffff040, 0x0000007dfffffe87,
3791  0x000000fcffffe060, 0x000000fcfffffd0a,
3792  0x000080f9ffefe0c0, 0x000080f9fffe7d13,
3793  0x000100f7ffdfe100, 0x000100f7fffcfd19,
3794  0x0000007efffff020, 0x0000007efffffe84,
3795  0x0000807bffeff080, 0x0000807bfffe7e8d,
3796  0x00010079ffdff0c0, 0x00010079fffcfe93,
3797  0x00018078ffcff0e0, 0x00018078fffb7e96,
3798  0x00007ffcfff00060, 0x00007ffcfffe800a,
3799  0x0000fffaffe000a0, 0x0000fffafffd0010,
3800  0x00017ff9ffd000c0, 0x00017ff9fffb8013,
3801  0x3334b32699699a60, 0x3334b32c6661e67a,
3802  0x00007ffdfff00040, 0x00007ffdfffe8007,
3803  0x0000fffcffe00060, 0x0000fffcfffd000a,
3804  0x3334332999799a00, 0x3334332f66636671,
3805  0x88898873eeceef60, 0x8889888366636672,
3806  0x00007ffefff00020, 0x00007ffefffe8004,
3807  0x3333b32b998999c0, 0x3333b3316664e66b,
3808  0x88890875eedeef20, 0x888908856664e66c,
3809  0x08890862eedeef80, 0x08890880e664e675,
3810  0x3333332c999999a0, 0x3333333266666668,
3811  0x88888876eeeeef00, 0x8888888666666669,
3812  0x08888863eeeeef60, 0x08888881e6666672,
3813  0x88888851eeeeefa0, 0x8888887e66666678,
3814  0x5555554a55555560, 0x5555555400000002,
3815  0xd5555537555555c0, 0xd555554f8000000b,
3816  0x5555552555555600, 0x5555554c00000011,
3817  0xd555551455555620, 0xd555554980000014,
3818  0x7fffffed00000060, 0x7ffffffb8000000a,
3819  0xffffffdb000000a0, 0xfffffff800000010,
3820  0x7fffffca000000c0, 0x7ffffff580000013,
3821  0xffffffba000000c0, 0xfffffff400000013,
3822  0x7fffffee00000040, 0x7ffffffc80000007,
3823  0xffffffdd00000060, 0xfffffffa0000000a,
3824  0x7fffffcd00000060, 0x7ffffff88000000a,
3825  0xffffffbe00000040, 0xfffffff800000007,
3826  0x7fffffef00000020, 0x7ffffffd80000004,
3827  0xffffffdf00000020, 0xfffffffc00000004,
3828  0x7fffffd000000000, 0x7ffffffb80000001,
3829  0x2aaaaa64aaaaaac0, 0x2aaaaaa380000003,
3830  0x7ffffff000000000, 0x7ffffffe80000001,
3831  0xffffffe0ffffffe0, 0xfffffffdfffffffe,
3832  0xaaaaaa75aaaaaaa0, 0xaaaaaaa600000000,
3833  0x7777772811111120, 0x7777776f9999999c,
3834  0x7ffffff0ffffffe0, 0x7fffffff7ffffffe,
3835  0x2aaaaa85aaaaaaa0, 0x2aaaaaa780000000,
3836  0xf777773811111120, 0xf77777711999999c,
3837  0xf776f71811211120, 0xf776f76e199b199c,
3838  0xaaaaaa94aaaaaac0, 0xaaaaaaa800000003,
3839  0x7777774711111140, 0x777777719999999f,
3840  0x7776f72711211140, 0x7776f76e999b199f,
3841  0x7776770811311120, 0x7776776c999c999c,
3842  0xccccccb266666680, 0xccccccc99999999d,
3843  0xcccc4c9266766680, 0xcccc4cc6999b199d,
3844  0xcccbcc7366866660, 0xcccbccc4999c999a,
3845  0xcccb4c5566966620, 0xcccb4cc3999e1994,
3846  0xffff7fe000100000, 0xffff7ffd00018001,
3847  0xfffeffc1001fffe0, 0xfffefffb0002fffe,
3848  0xfffe7fa3002fffa0, 0xfffe7ffa00047ff8,
3849  0xfffdff86003fff40, 0xfffdfffa0005ffef,
3850  0xffff7fe1000fffe0, 0xffff7ffe00017ffe,
3851  0xfffeffc3001fffa0, 0xfffefffd0002fff8,
3852  0xfffe7fa6002fff40, 0xfffe7ffd00047fef,
3853  0xfffe7f0600300f40, 0xfffe7f7a0004816f,
3854  0xffff7fe2000fffc0, 0xffff7fff00017ffb,
3855  0xfffeffc5001fff60, 0xfffeffff0002fff2,
3856  0xfffeff2500200f60, 0xfffeff7c00030172,
3857  0xfffefe8600201f40, 0xfffefefa000302ef,
3858  0xffff7fe3000fffa0, 0xffff800000017ff8,
3859  0xffff7f4300100fa0, 0xffff7f7d00018178,
3860  0xffff7ea400101f80, 0xffff7efb000182f5,
3861  0xffff7e0600102f40, 0xffff7e7a0001846f,
3862  0xffffff6000001000, 0xffffff7d00000181,
3863  0xfffffec100001fe0, 0xfffffefb000002fe,
3864  0xfffffe2300002fa0, 0xfffffe7a00000478,
3865  0xfffffd8600003f40, 0xfffffdfa000005ef,
3866  0xffffff6100000fe0, 0xffffff7e0000017e,
3867  0xfffffec300001fa0, 0xfffffefd000002f8,
3868  0xfffffe2600002f40, 0xfffffe7d0000046f,
3869  0xfffffde600003340, 0xfffffe5a000004cf,
3870  0xffffff6200000fc0, 0xffffff7f0000017b,
3871  0xfffffec500001f60, 0xfffffeff000002f2,
3872  0xfffffe8500002360, 0xfffffedc00000352,
3873  0xfffffe62000023c0, 0xfffffed60000035b,
3874  0xffffff6300000fa0, 0xffffff8000000178,
3875  0xffffff23000013a0, 0xffffff5d000001d8,
3876  0xffffff0000001400, 0xffffff57000001e1,
3877  0xfffffede00001440, 0xffffff52000001e7,
3878  0xffffffc000000400, 0xffffffdd00000061,
3879  0xffffff9d00000460, 0xffffffd70000006a,
3880  0xffffff7b000004a0, 0xffffffd200000070,
3881  0xffffff5a000004c0, 0xffffffce00000073,
3882};
3883const unsigned kExpectedCount_NEON_umlal_2D_2S_S = 3844;
3884
3885#endif  // VIXL_SIM_UMLAL_2D_2S_S_TRACE_AARCH64_H_
3886