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