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_SHL_D_2OPIMM_TRACE_AARCH64_H_ 35#define VIXL_SIM_SHL_D_2OPIMM_TRACE_AARCH64_H_ 36 37const uint64_t kExpected_NEON_shl_D_2OPIMM[] = { 38 0xffffffffffffffff, 39 0xfffffffffffffffe, 40 0xfffffffffffffffc, 41 0xfffffffffffffff8, 42 0xfffffffffffffff0, 43 0xffffffffffffffe0, 44 0xffffffffffffffc0, 45 0xffffffffffffff80, 46 0xffffffffffffff00, 47 0xfffffffffffffe00, 48 0xfffffffffffffc00, 49 0xfffffffffffff800, 50 0xfffffffffffff000, 51 0xffffffffffffe000, 52 0xffffffffffffc000, 53 0xffffffffffff8000, 54 0xffffffffffff0000, 55 0xfffffffffffe0000, 56 0xfffffffffffc0000, 57 0xfffffffffff80000, 58 0xfffffffffff00000, 59 0xffffffffffe00000, 60 0xffffffffffc00000, 61 0xffffffffff800000, 62 0xffffffffff000000, 63 0xfffffffffe000000, 64 0xfffffffffc000000, 65 0xfffffffff8000000, 66 0xfffffffff0000000, 67 0xffffffffe0000000, 68 0xffffffffc0000000, 69 0xffffffff80000000, 70 0xffffffff00000000, 71 0xfffffffe00000000, 72 0xfffffffc00000000, 73 0xfffffff800000000, 74 0xfffffff000000000, 75 0xffffffe000000000, 76 0xffffffc000000000, 77 0xffffff8000000000, 78 0xffffff0000000000, 79 0xfffffe0000000000, 80 0xfffffc0000000000, 81 0xfffff80000000000, 82 0xfffff00000000000, 83 0xffffe00000000000, 84 0xffffc00000000000, 85 0xffff800000000000, 86 0xffff000000000000, 87 0xfffe000000000000, 88 0xfffc000000000000, 89 0xfff8000000000000, 90 0xfff0000000000000, 91 0xffe0000000000000, 92 0xffc0000000000000, 93 0xff80000000000000, 94 0xff00000000000000, 95 0xfe00000000000000, 96 0xfc00000000000000, 97 0xf800000000000000, 98 0xf000000000000000, 99 0xe000000000000000, 100 0xc000000000000000, 101 0x8000000000000000, 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 0x0000000000000002, 168 0x0000000000000004, 169 0x0000000000000008, 170 0x0000000000000010, 171 0x0000000000000020, 172 0x0000000000000040, 173 0x0000000000000080, 174 0x0000000000000100, 175 0x0000000000000200, 176 0x0000000000000400, 177 0x0000000000000800, 178 0x0000000000001000, 179 0x0000000000002000, 180 0x0000000000004000, 181 0x0000000000008000, 182 0x0000000000010000, 183 0x0000000000020000, 184 0x0000000000040000, 185 0x0000000000080000, 186 0x0000000000100000, 187 0x0000000000200000, 188 0x0000000000400000, 189 0x0000000000800000, 190 0x0000000001000000, 191 0x0000000002000000, 192 0x0000000004000000, 193 0x0000000008000000, 194 0x0000000010000000, 195 0x0000000020000000, 196 0x0000000040000000, 197 0x0000000080000000, 198 0x0000000100000000, 199 0x0000000200000000, 200 0x0000000400000000, 201 0x0000000800000000, 202 0x0000001000000000, 203 0x0000002000000000, 204 0x0000004000000000, 205 0x0000008000000000, 206 0x0000010000000000, 207 0x0000020000000000, 208 0x0000040000000000, 209 0x0000080000000000, 210 0x0000100000000000, 211 0x0000200000000000, 212 0x0000400000000000, 213 0x0000800000000000, 214 0x0001000000000000, 215 0x0002000000000000, 216 0x0004000000000000, 217 0x0008000000000000, 218 0x0010000000000000, 219 0x0020000000000000, 220 0x0040000000000000, 221 0x0080000000000000, 222 0x0100000000000000, 223 0x0200000000000000, 224 0x0400000000000000, 225 0x0800000000000000, 226 0x1000000000000000, 227 0x2000000000000000, 228 0x4000000000000000, 229 0x8000000000000000, 230 0x0000000000000002, 231 0x0000000000000004, 232 0x0000000000000008, 233 0x0000000000000010, 234 0x0000000000000020, 235 0x0000000000000040, 236 0x0000000000000080, 237 0x0000000000000100, 238 0x0000000000000200, 239 0x0000000000000400, 240 0x0000000000000800, 241 0x0000000000001000, 242 0x0000000000002000, 243 0x0000000000004000, 244 0x0000000000008000, 245 0x0000000000010000, 246 0x0000000000020000, 247 0x0000000000040000, 248 0x0000000000080000, 249 0x0000000000100000, 250 0x0000000000200000, 251 0x0000000000400000, 252 0x0000000000800000, 253 0x0000000001000000, 254 0x0000000002000000, 255 0x0000000004000000, 256 0x0000000008000000, 257 0x0000000010000000, 258 0x0000000020000000, 259 0x0000000040000000, 260 0x0000000080000000, 261 0x0000000100000000, 262 0x0000000200000000, 263 0x0000000400000000, 264 0x0000000800000000, 265 0x0000001000000000, 266 0x0000002000000000, 267 0x0000004000000000, 268 0x0000008000000000, 269 0x0000010000000000, 270 0x0000020000000000, 271 0x0000040000000000, 272 0x0000080000000000, 273 0x0000100000000000, 274 0x0000200000000000, 275 0x0000400000000000, 276 0x0000800000000000, 277 0x0001000000000000, 278 0x0002000000000000, 279 0x0004000000000000, 280 0x0008000000000000, 281 0x0010000000000000, 282 0x0020000000000000, 283 0x0040000000000000, 284 0x0080000000000000, 285 0x0100000000000000, 286 0x0200000000000000, 287 0x0400000000000000, 288 0x0800000000000000, 289 0x1000000000000000, 290 0x2000000000000000, 291 0x4000000000000000, 292 0x8000000000000000, 293 0x0000000000000000, 294 0x0000000000000040, 295 0x0000000000000080, 296 0x0000000000000100, 297 0x0000000000000200, 298 0x0000000000000400, 299 0x0000000000000800, 300 0x0000000000001000, 301 0x0000000000002000, 302 0x0000000000004000, 303 0x0000000000008000, 304 0x0000000000010000, 305 0x0000000000020000, 306 0x0000000000040000, 307 0x0000000000080000, 308 0x0000000000100000, 309 0x0000000000200000, 310 0x0000000000400000, 311 0x0000000000800000, 312 0x0000000001000000, 313 0x0000000002000000, 314 0x0000000004000000, 315 0x0000000008000000, 316 0x0000000010000000, 317 0x0000000020000000, 318 0x0000000040000000, 319 0x0000000080000000, 320 0x0000000100000000, 321 0x0000000200000000, 322 0x0000000400000000, 323 0x0000000800000000, 324 0x0000001000000000, 325 0x0000002000000000, 326 0x0000004000000000, 327 0x0000008000000000, 328 0x0000010000000000, 329 0x0000020000000000, 330 0x0000040000000000, 331 0x0000080000000000, 332 0x0000100000000000, 333 0x0000200000000000, 334 0x0000400000000000, 335 0x0000800000000000, 336 0x0001000000000000, 337 0x0002000000000000, 338 0x0004000000000000, 339 0x0008000000000000, 340 0x0010000000000000, 341 0x0020000000000000, 342 0x0040000000000000, 343 0x0080000000000000, 344 0x0100000000000000, 345 0x0200000000000000, 346 0x0400000000000000, 347 0x0800000000000000, 348 0x1000000000000000, 349 0x2000000000000000, 350 0x4000000000000000, 351 0x8000000000000000, 352 0x0000000000000000, 353 0x0000000000000000, 354 0x0000000000000000, 355 0x0000000000000000, 356 0x0000000000000000, 357 0x0000000000000000, 358 0x000000000000007d, 359 0x00000000000000fa, 360 0x00000000000001f4, 361 0x00000000000003e8, 362 0x00000000000007d0, 363 0x0000000000000fa0, 364 0x0000000000001f40, 365 0x0000000000003e80, 366 0x0000000000007d00, 367 0x000000000000fa00, 368 0x000000000001f400, 369 0x000000000003e800, 370 0x000000000007d000, 371 0x00000000000fa000, 372 0x00000000001f4000, 373 0x00000000003e8000, 374 0x00000000007d0000, 375 0x0000000000fa0000, 376 0x0000000001f40000, 377 0x0000000003e80000, 378 0x0000000007d00000, 379 0x000000000fa00000, 380 0x000000001f400000, 381 0x000000003e800000, 382 0x000000007d000000, 383 0x00000000fa000000, 384 0x00000001f4000000, 385 0x00000003e8000000, 386 0x00000007d0000000, 387 0x0000000fa0000000, 388 0x0000001f40000000, 389 0x0000003e80000000, 390 0x0000007d00000000, 391 0x000000fa00000000, 392 0x000001f400000000, 393 0x000003e800000000, 394 0x000007d000000000, 395 0x00000fa000000000, 396 0x00001f4000000000, 397 0x00003e8000000000, 398 0x00007d0000000000, 399 0x0000fa0000000000, 400 0x0001f40000000000, 401 0x0003e80000000000, 402 0x0007d00000000000, 403 0x000fa00000000000, 404 0x001f400000000000, 405 0x003e800000000000, 406 0x007d000000000000, 407 0x00fa000000000000, 408 0x01f4000000000000, 409 0x03e8000000000000, 410 0x07d0000000000000, 411 0x0fa0000000000000, 412 0x1f40000000000000, 413 0x3e80000000000000, 414 0x7d00000000000000, 415 0xfa00000000000000, 416 0xf400000000000000, 417 0xe800000000000000, 418 0xd000000000000000, 419 0xa000000000000000, 420 0x4000000000000000, 421 0x8000000000000000, 422 0x000000000000007e, 423 0x00000000000000fc, 424 0x00000000000001f8, 425 0x00000000000003f0, 426 0x00000000000007e0, 427 0x0000000000000fc0, 428 0x0000000000001f80, 429 0x0000000000003f00, 430 0x0000000000007e00, 431 0x000000000000fc00, 432 0x000000000001f800, 433 0x000000000003f000, 434 0x000000000007e000, 435 0x00000000000fc000, 436 0x00000000001f8000, 437 0x00000000003f0000, 438 0x00000000007e0000, 439 0x0000000000fc0000, 440 0x0000000001f80000, 441 0x0000000003f00000, 442 0x0000000007e00000, 443 0x000000000fc00000, 444 0x000000001f800000, 445 0x000000003f000000, 446 0x000000007e000000, 447 0x00000000fc000000, 448 0x00000001f8000000, 449 0x00000003f0000000, 450 0x00000007e0000000, 451 0x0000000fc0000000, 452 0x0000001f80000000, 453 0x0000003f00000000, 454 0x0000007e00000000, 455 0x000000fc00000000, 456 0x000001f800000000, 457 0x000003f000000000, 458 0x000007e000000000, 459 0x00000fc000000000, 460 0x00001f8000000000, 461 0x00003f0000000000, 462 0x00007e0000000000, 463 0x0000fc0000000000, 464 0x0001f80000000000, 465 0x0003f00000000000, 466 0x0007e00000000000, 467 0x000fc00000000000, 468 0x001f800000000000, 469 0x003f000000000000, 470 0x007e000000000000, 471 0x00fc000000000000, 472 0x01f8000000000000, 473 0x03f0000000000000, 474 0x07e0000000000000, 475 0x0fc0000000000000, 476 0x1f80000000000000, 477 0x3f00000000000000, 478 0x7e00000000000000, 479 0xfc00000000000000, 480 0xf800000000000000, 481 0xf000000000000000, 482 0xe000000000000000, 483 0xc000000000000000, 484 0x8000000000000000, 485 0x0000000000000000, 486 0x000000000000007f, 487 0x00000000000000fe, 488 0x00000000000001fc, 489 0x00000000000003f8, 490 0x00000000000007f0, 491 0x0000000000000fe0, 492 0x0000000000001fc0, 493 0x0000000000003f80, 494 0x0000000000007f00, 495 0x000000000000fe00, 496 0x000000000001fc00, 497 0x000000000003f800, 498 0x000000000007f000, 499 0x00000000000fe000, 500 0x00000000001fc000, 501 0x00000000003f8000, 502 0x00000000007f0000, 503 0x0000000000fe0000, 504 0x0000000001fc0000, 505 0x0000000003f80000, 506 0x0000000007f00000, 507 0x000000000fe00000, 508 0x000000001fc00000, 509 0x000000003f800000, 510 0x000000007f000000, 511 0x00000000fe000000, 512 0x00000001fc000000, 513 0x00000003f8000000, 514 0x00000007f0000000, 515 0x0000000fe0000000, 516 0x0000001fc0000000, 517 0x0000003f80000000, 518 0x0000007f00000000, 519 0x000000fe00000000, 520 0x000001fc00000000, 521 0x000003f800000000, 522 0x000007f000000000, 523 0x00000fe000000000, 524 0x00001fc000000000, 525 0x00003f8000000000, 526 0x00007f0000000000, 527 0x0000fe0000000000, 528 0x0001fc0000000000, 529 0x0003f80000000000, 530 0x0007f00000000000, 531 0x000fe00000000000, 532 0x001fc00000000000, 533 0x003f800000000000, 534 0x007f000000000000, 535 0x00fe000000000000, 536 0x01fc000000000000, 537 0x03f8000000000000, 538 0x07f0000000000000, 539 0x0fe0000000000000, 540 0x1fc0000000000000, 541 0x3f80000000000000, 542 0x7f00000000000000, 543 0xfe00000000000000, 544 0xfc00000000000000, 545 0xf800000000000000, 546 0xf000000000000000, 547 0xe000000000000000, 548 0xc000000000000000, 549 0x8000000000000000, 550 0x0000000000007ffd, 551 0x000000000000fffa, 552 0x000000000001fff4, 553 0x000000000003ffe8, 554 0x000000000007ffd0, 555 0x00000000000fffa0, 556 0x00000000001fff40, 557 0x00000000003ffe80, 558 0x00000000007ffd00, 559 0x0000000000fffa00, 560 0x0000000001fff400, 561 0x0000000003ffe800, 562 0x0000000007ffd000, 563 0x000000000fffa000, 564 0x000000001fff4000, 565 0x000000003ffe8000, 566 0x000000007ffd0000, 567 0x00000000fffa0000, 568 0x00000001fff40000, 569 0x00000003ffe80000, 570 0x00000007ffd00000, 571 0x0000000fffa00000, 572 0x0000001fff400000, 573 0x0000003ffe800000, 574 0x0000007ffd000000, 575 0x000000fffa000000, 576 0x000001fff4000000, 577 0x000003ffe8000000, 578 0x000007ffd0000000, 579 0x00000fffa0000000, 580 0x00001fff40000000, 581 0x00003ffe80000000, 582 0x00007ffd00000000, 583 0x0000fffa00000000, 584 0x0001fff400000000, 585 0x0003ffe800000000, 586 0x0007ffd000000000, 587 0x000fffa000000000, 588 0x001fff4000000000, 589 0x003ffe8000000000, 590 0x007ffd0000000000, 591 0x00fffa0000000000, 592 0x01fff40000000000, 593 0x03ffe80000000000, 594 0x07ffd00000000000, 595 0x0fffa00000000000, 596 0x1fff400000000000, 597 0x3ffe800000000000, 598 0x7ffd000000000000, 599 0xfffa000000000000, 600 0xfff4000000000000, 601 0xffe8000000000000, 602 0xffd0000000000000, 603 0xffa0000000000000, 604 0xff40000000000000, 605 0xfe80000000000000, 606 0xfd00000000000000, 607 0xfa00000000000000, 608 0xf400000000000000, 609 0xe800000000000000, 610 0xd000000000000000, 611 0xa000000000000000, 612 0x4000000000000000, 613 0x8000000000000000, 614 0x0000000000007ffe, 615 0x000000000000fffc, 616 0x000000000001fff8, 617 0x000000000003fff0, 618 0x000000000007ffe0, 619 0x00000000000fffc0, 620 0x00000000001fff80, 621 0x00000000003fff00, 622 0x00000000007ffe00, 623 0x0000000000fffc00, 624 0x0000000001fff800, 625 0x0000000003fff000, 626 0x0000000007ffe000, 627 0x000000000fffc000, 628 0x000000001fff8000, 629 0x000000003fff0000, 630 0x000000007ffe0000, 631 0x00000000fffc0000, 632 0x00000001fff80000, 633 0x00000003fff00000, 634 0x00000007ffe00000, 635 0x0000000fffc00000, 636 0x0000001fff800000, 637 0x0000003fff000000, 638 0x0000007ffe000000, 639 0x000000fffc000000, 640 0x000001fff8000000, 641 0x000003fff0000000, 642 0x000007ffe0000000, 643 0x00000fffc0000000, 644 0x00001fff80000000, 645 0x00003fff00000000, 646 0x00007ffe00000000, 647 0x0000fffc00000000, 648 0x0001fff800000000, 649 0x0003fff000000000, 650 0x0007ffe000000000, 651 0x000fffc000000000, 652 0x001fff8000000000, 653 0x003fff0000000000, 654 0x007ffe0000000000, 655 0x00fffc0000000000, 656 0x01fff80000000000, 657 0x03fff00000000000, 658 0x07ffe00000000000, 659 0x0fffc00000000000, 660 0x1fff800000000000, 661 0x3fff000000000000, 662 0x7ffe000000000000, 663 0xfffc000000000000, 664 0xfff8000000000000, 665 0xfff0000000000000, 666 0xffe0000000000000, 667 0xffc0000000000000, 668 0xff80000000000000, 669 0xff00000000000000, 670 0xfe00000000000000, 671 0xfc00000000000000, 672 0xf800000000000000, 673 0xf000000000000000, 674 0xe000000000000000, 675 0xc000000000000000, 676 0x8000000000000000, 677 0x0000000000000000, 678 0x0000000000007fff, 679 0x000000000000fffe, 680 0x000000000001fffc, 681 0x000000000003fff8, 682 0x000000000007fff0, 683 0x00000000000fffe0, 684 0x00000000001fffc0, 685 0x00000000003fff80, 686 0x00000000007fff00, 687 0x0000000000fffe00, 688 0x0000000001fffc00, 689 0x0000000003fff800, 690 0x0000000007fff000, 691 0x000000000fffe000, 692 0x000000001fffc000, 693 0x000000003fff8000, 694 0x000000007fff0000, 695 0x00000000fffe0000, 696 0x00000001fffc0000, 697 0x00000003fff80000, 698 0x00000007fff00000, 699 0x0000000fffe00000, 700 0x0000001fffc00000, 701 0x0000003fff800000, 702 0x0000007fff000000, 703 0x000000fffe000000, 704 0x000001fffc000000, 705 0x000003fff8000000, 706 0x000007fff0000000, 707 0x00000fffe0000000, 708 0x00001fffc0000000, 709 0x00003fff80000000, 710 0x00007fff00000000, 711 0x0000fffe00000000, 712 0x0001fffc00000000, 713 0x0003fff800000000, 714 0x0007fff000000000, 715 0x000fffe000000000, 716 0x001fffc000000000, 717 0x003fff8000000000, 718 0x007fff0000000000, 719 0x00fffe0000000000, 720 0x01fffc0000000000, 721 0x03fff80000000000, 722 0x07fff00000000000, 723 0x0fffe00000000000, 724 0x1fffc00000000000, 725 0x3fff800000000000, 726 0x7fff000000000000, 727 0xfffe000000000000, 728 0xfffc000000000000, 729 0xfff8000000000000, 730 0xfff0000000000000, 731 0xffe0000000000000, 732 0xffc0000000000000, 733 0xff80000000000000, 734 0xff00000000000000, 735 0xfe00000000000000, 736 0xfc00000000000000, 737 0xf800000000000000, 738 0xf000000000000000, 739 0xe000000000000000, 740 0xc000000000000000, 741 0x8000000000000000, 742 0x000000007ffffffd, 743 0x00000000fffffffa, 744 0x00000001fffffff4, 745 0x00000003ffffffe8, 746 0x00000007ffffffd0, 747 0x0000000fffffffa0, 748 0x0000001fffffff40, 749 0x0000003ffffffe80, 750 0x0000007ffffffd00, 751 0x000000fffffffa00, 752 0x000001fffffff400, 753 0x000003ffffffe800, 754 0x000007ffffffd000, 755 0x00000fffffffa000, 756 0x00001fffffff4000, 757 0x00003ffffffe8000, 758 0x00007ffffffd0000, 759 0x0000fffffffa0000, 760 0x0001fffffff40000, 761 0x0003ffffffe80000, 762 0x0007ffffffd00000, 763 0x000fffffffa00000, 764 0x001fffffff400000, 765 0x003ffffffe800000, 766 0x007ffffffd000000, 767 0x00fffffffa000000, 768 0x01fffffff4000000, 769 0x03ffffffe8000000, 770 0x07ffffffd0000000, 771 0x0fffffffa0000000, 772 0x1fffffff40000000, 773 0x3ffffffe80000000, 774 0x7ffffffd00000000, 775 0xfffffffa00000000, 776 0xfffffff400000000, 777 0xffffffe800000000, 778 0xffffffd000000000, 779 0xffffffa000000000, 780 0xffffff4000000000, 781 0xfffffe8000000000, 782 0xfffffd0000000000, 783 0xfffffa0000000000, 784 0xfffff40000000000, 785 0xffffe80000000000, 786 0xffffd00000000000, 787 0xffffa00000000000, 788 0xffff400000000000, 789 0xfffe800000000000, 790 0xfffd000000000000, 791 0xfffa000000000000, 792 0xfff4000000000000, 793 0xffe8000000000000, 794 0xffd0000000000000, 795 0xffa0000000000000, 796 0xff40000000000000, 797 0xfe80000000000000, 798 0xfd00000000000000, 799 0xfa00000000000000, 800 0xf400000000000000, 801 0xe800000000000000, 802 0xd000000000000000, 803 0xa000000000000000, 804 0x4000000000000000, 805 0x8000000000000000, 806 0x000000007ffffffe, 807 0x00000000fffffffc, 808 0x00000001fffffff8, 809 0x00000003fffffff0, 810 0x00000007ffffffe0, 811 0x0000000fffffffc0, 812 0x0000001fffffff80, 813 0x0000003fffffff00, 814 0x0000007ffffffe00, 815 0x000000fffffffc00, 816 0x000001fffffff800, 817 0x000003fffffff000, 818 0x000007ffffffe000, 819 0x00000fffffffc000, 820 0x00001fffffff8000, 821 0x00003fffffff0000, 822 0x00007ffffffe0000, 823 0x0000fffffffc0000, 824 0x0001fffffff80000, 825 0x0003fffffff00000, 826 0x0007ffffffe00000, 827 0x000fffffffc00000, 828 0x001fffffff800000, 829 0x003fffffff000000, 830 0x007ffffffe000000, 831 0x00fffffffc000000, 832 0x01fffffff8000000, 833 0x03fffffff0000000, 834 0x07ffffffe0000000, 835 0x0fffffffc0000000, 836 0x1fffffff80000000, 837 0x3fffffff00000000, 838 0x7ffffffe00000000, 839 0xfffffffc00000000, 840 0xfffffff800000000, 841 0xfffffff000000000, 842 0xffffffe000000000, 843 0xffffffc000000000, 844 0xffffff8000000000, 845 0xffffff0000000000, 846 0xfffffe0000000000, 847 0xfffffc0000000000, 848 0xfffff80000000000, 849 0xfffff00000000000, 850 0xffffe00000000000, 851 0xffffc00000000000, 852 0xffff800000000000, 853 0xffff000000000000, 854 0xfffe000000000000, 855 0xfffc000000000000, 856 0xfff8000000000000, 857 0xfff0000000000000, 858 0xffe0000000000000, 859 0xffc0000000000000, 860 0xff80000000000000, 861 0xff00000000000000, 862 0xfe00000000000000, 863 0xfc00000000000000, 864 0xf800000000000000, 865 0xf000000000000000, 866 0xe000000000000000, 867 0xc000000000000000, 868 0x8000000000000000, 869 0x0000000000000000, 870 0x000000007fffffff, 871 0x00000000fffffffe, 872 0x00000001fffffffc, 873 0x00000003fffffff8, 874 0x00000007fffffff0, 875 0x0000000fffffffe0, 876 0x0000001fffffffc0, 877 0x0000003fffffff80, 878 0x0000007fffffff00, 879 0x000000fffffffe00, 880 0x000001fffffffc00, 881 0x000003fffffff800, 882 0x000007fffffff000, 883 0x00000fffffffe000, 884 0x00001fffffffc000, 885 0x00003fffffff8000, 886 0x00007fffffff0000, 887 0x0000fffffffe0000, 888 0x0001fffffffc0000, 889 0x0003fffffff80000, 890 0x0007fffffff00000, 891 0x000fffffffe00000, 892 0x001fffffffc00000, 893 0x003fffffff800000, 894 0x007fffffff000000, 895 0x00fffffffe000000, 896 0x01fffffffc000000, 897 0x03fffffff8000000, 898 0x07fffffff0000000, 899 0x0fffffffe0000000, 900 0x1fffffffc0000000, 901 0x3fffffff80000000, 902 0x7fffffff00000000, 903 0xfffffffe00000000, 904 0xfffffffc00000000, 905 0xfffffff800000000, 906 0xfffffff000000000, 907 0xffffffe000000000, 908 0xffffffc000000000, 909 0xffffff8000000000, 910 0xffffff0000000000, 911 0xfffffe0000000000, 912 0xfffffc0000000000, 913 0xfffff80000000000, 914 0xfffff00000000000, 915 0xffffe00000000000, 916 0xffffc00000000000, 917 0xffff800000000000, 918 0xffff000000000000, 919 0xfffe000000000000, 920 0xfffc000000000000, 921 0xfff8000000000000, 922 0xfff0000000000000, 923 0xffe0000000000000, 924 0xffc0000000000000, 925 0xff80000000000000, 926 0xff00000000000000, 927 0xfe00000000000000, 928 0xfc00000000000000, 929 0xf800000000000000, 930 0xf000000000000000, 931 0xe000000000000000, 932 0xc000000000000000, 933 0x8000000000000000, 934 0x3333333333333333, 935 0x6666666666666666, 936 0xcccccccccccccccc, 937 0x9999999999999998, 938 0x3333333333333330, 939 0x6666666666666660, 940 0xccccccccccccccc0, 941 0x9999999999999980, 942 0x3333333333333300, 943 0x6666666666666600, 944 0xcccccccccccccc00, 945 0x9999999999999800, 946 0x3333333333333000, 947 0x6666666666666000, 948 0xccccccccccccc000, 949 0x9999999999998000, 950 0x3333333333330000, 951 0x6666666666660000, 952 0xcccccccccccc0000, 953 0x9999999999980000, 954 0x3333333333300000, 955 0x6666666666600000, 956 0xccccccccccc00000, 957 0x9999999999800000, 958 0x3333333333000000, 959 0x6666666666000000, 960 0xcccccccccc000000, 961 0x9999999998000000, 962 0x3333333330000000, 963 0x6666666660000000, 964 0xccccccccc0000000, 965 0x9999999980000000, 966 0x3333333300000000, 967 0x6666666600000000, 968 0xcccccccc00000000, 969 0x9999999800000000, 970 0x3333333000000000, 971 0x6666666000000000, 972 0xccccccc000000000, 973 0x9999998000000000, 974 0x3333330000000000, 975 0x6666660000000000, 976 0xcccccc0000000000, 977 0x9999980000000000, 978 0x3333300000000000, 979 0x6666600000000000, 980 0xccccc00000000000, 981 0x9999800000000000, 982 0x3333000000000000, 983 0x6666000000000000, 984 0xcccc000000000000, 985 0x9998000000000000, 986 0x3330000000000000, 987 0x6660000000000000, 988 0xccc0000000000000, 989 0x9980000000000000, 990 0x3300000000000000, 991 0x6600000000000000, 992 0xcc00000000000000, 993 0x9800000000000000, 994 0x3000000000000000, 995 0x6000000000000000, 996 0xc000000000000000, 997 0x8000000000000000, 998 0x5555555555555555, 999 0xaaaaaaaaaaaaaaaa, 1000 0x5555555555555554, 1001 0xaaaaaaaaaaaaaaa8, 1002 0x5555555555555550, 1003 0xaaaaaaaaaaaaaaa0, 1004 0x5555555555555540, 1005 0xaaaaaaaaaaaaaa80, 1006 0x5555555555555500, 1007 0xaaaaaaaaaaaaaa00, 1008 0x5555555555555400, 1009 0xaaaaaaaaaaaaa800, 1010 0x5555555555555000, 1011 0xaaaaaaaaaaaaa000, 1012 0x5555555555554000, 1013 0xaaaaaaaaaaaa8000, 1014 0x5555555555550000, 1015 0xaaaaaaaaaaaa0000, 1016 0x5555555555540000, 1017 0xaaaaaaaaaaa80000, 1018 0x5555555555500000, 1019 0xaaaaaaaaaaa00000, 1020 0x5555555555400000, 1021 0xaaaaaaaaaa800000, 1022 0x5555555555000000, 1023 0xaaaaaaaaaa000000, 1024 0x5555555554000000, 1025 0xaaaaaaaaa8000000, 1026 0x5555555550000000, 1027 0xaaaaaaaaa0000000, 1028 0x5555555540000000, 1029 0xaaaaaaaa80000000, 1030 0x5555555500000000, 1031 0xaaaaaaaa00000000, 1032 0x5555555400000000, 1033 0xaaaaaaa800000000, 1034 0x5555555000000000, 1035 0xaaaaaaa000000000, 1036 0x5555554000000000, 1037 0xaaaaaa8000000000, 1038 0x5555550000000000, 1039 0xaaaaaa0000000000, 1040 0x5555540000000000, 1041 0xaaaaa80000000000, 1042 0x5555500000000000, 1043 0xaaaaa00000000000, 1044 0x5555400000000000, 1045 0xaaaa800000000000, 1046 0x5555000000000000, 1047 0xaaaa000000000000, 1048 0x5554000000000000, 1049 0xaaa8000000000000, 1050 0x5550000000000000, 1051 0xaaa0000000000000, 1052 0x5540000000000000, 1053 0xaa80000000000000, 1054 0x5500000000000000, 1055 0xaa00000000000000, 1056 0x5400000000000000, 1057 0xa800000000000000, 1058 0x5000000000000000, 1059 0xa000000000000000, 1060 0x4000000000000000, 1061 0x8000000000000000, 1062 0x7ffffffffffffffd, 1063 0xfffffffffffffffa, 1064 0xfffffffffffffff4, 1065 0xffffffffffffffe8, 1066 0xffffffffffffffd0, 1067 0xffffffffffffffa0, 1068 0xffffffffffffff40, 1069 0xfffffffffffffe80, 1070 0xfffffffffffffd00, 1071 0xfffffffffffffa00, 1072 0xfffffffffffff400, 1073 0xffffffffffffe800, 1074 0xffffffffffffd000, 1075 0xffffffffffffa000, 1076 0xffffffffffff4000, 1077 0xfffffffffffe8000, 1078 0xfffffffffffd0000, 1079 0xfffffffffffa0000, 1080 0xfffffffffff40000, 1081 0xffffffffffe80000, 1082 0xffffffffffd00000, 1083 0xffffffffffa00000, 1084 0xffffffffff400000, 1085 0xfffffffffe800000, 1086 0xfffffffffd000000, 1087 0xfffffffffa000000, 1088 0xfffffffff4000000, 1089 0xffffffffe8000000, 1090 0xffffffffd0000000, 1091 0xffffffffa0000000, 1092 0xffffffff40000000, 1093 0xfffffffe80000000, 1094 0xfffffffd00000000, 1095 0xfffffffa00000000, 1096 0xfffffff400000000, 1097 0xffffffe800000000, 1098 0xffffffd000000000, 1099 0xffffffa000000000, 1100 0xffffff4000000000, 1101 0xfffffe8000000000, 1102 0xfffffd0000000000, 1103 0xfffffa0000000000, 1104 0xfffff40000000000, 1105 0xffffe80000000000, 1106 0xffffd00000000000, 1107 0xffffa00000000000, 1108 0xffff400000000000, 1109 0xfffe800000000000, 1110 0xfffd000000000000, 1111 0xfffa000000000000, 1112 0xfff4000000000000, 1113 0xffe8000000000000, 1114 0xffd0000000000000, 1115 0xffa0000000000000, 1116 0xff40000000000000, 1117 0xfe80000000000000, 1118 0xfd00000000000000, 1119 0xfa00000000000000, 1120 0xf400000000000000, 1121 0xe800000000000000, 1122 0xd000000000000000, 1123 0xa000000000000000, 1124 0x4000000000000000, 1125 0x8000000000000000, 1126 0x7ffffffffffffffe, 1127 0xfffffffffffffffc, 1128 0xfffffffffffffff8, 1129 0xfffffffffffffff0, 1130 0xffffffffffffffe0, 1131 0xffffffffffffffc0, 1132 0xffffffffffffff80, 1133 0xffffffffffffff00, 1134 0xfffffffffffffe00, 1135 0xfffffffffffffc00, 1136 0xfffffffffffff800, 1137 0xfffffffffffff000, 1138 0xffffffffffffe000, 1139 0xffffffffffffc000, 1140 0xffffffffffff8000, 1141 0xffffffffffff0000, 1142 0xfffffffffffe0000, 1143 0xfffffffffffc0000, 1144 0xfffffffffff80000, 1145 0xfffffffffff00000, 1146 0xffffffffffe00000, 1147 0xffffffffffc00000, 1148 0xffffffffff800000, 1149 0xffffffffff000000, 1150 0xfffffffffe000000, 1151 0xfffffffffc000000, 1152 0xfffffffff8000000, 1153 0xfffffffff0000000, 1154 0xffffffffe0000000, 1155 0xffffffffc0000000, 1156 0xffffffff80000000, 1157 0xffffffff00000000, 1158 0xfffffffe00000000, 1159 0xfffffffc00000000, 1160 0xfffffff800000000, 1161 0xfffffff000000000, 1162 0xffffffe000000000, 1163 0xffffffc000000000, 1164 0xffffff8000000000, 1165 0xffffff0000000000, 1166 0xfffffe0000000000, 1167 0xfffffc0000000000, 1168 0xfffff80000000000, 1169 0xfffff00000000000, 1170 0xffffe00000000000, 1171 0xffffc00000000000, 1172 0xffff800000000000, 1173 0xffff000000000000, 1174 0xfffe000000000000, 1175 0xfffc000000000000, 1176 0xfff8000000000000, 1177 0xfff0000000000000, 1178 0xffe0000000000000, 1179 0xffc0000000000000, 1180 0xff80000000000000, 1181 0xff00000000000000, 1182 0xfe00000000000000, 1183 0xfc00000000000000, 1184 0xf800000000000000, 1185 0xf000000000000000, 1186 0xe000000000000000, 1187 0xc000000000000000, 1188 0x8000000000000000, 1189 0x0000000000000000, 1190 0x7fffffffffffffff, 1191 0xfffffffffffffffe, 1192 0xfffffffffffffffc, 1193 0xfffffffffffffff8, 1194 0xfffffffffffffff0, 1195 0xffffffffffffffe0, 1196 0xffffffffffffffc0, 1197 0xffffffffffffff80, 1198 0xffffffffffffff00, 1199 0xfffffffffffffe00, 1200 0xfffffffffffffc00, 1201 0xfffffffffffff800, 1202 0xfffffffffffff000, 1203 0xffffffffffffe000, 1204 0xffffffffffffc000, 1205 0xffffffffffff8000, 1206 0xffffffffffff0000, 1207 0xfffffffffffe0000, 1208 0xfffffffffffc0000, 1209 0xfffffffffff80000, 1210 0xfffffffffff00000, 1211 0xffffffffffe00000, 1212 0xffffffffffc00000, 1213 0xffffffffff800000, 1214 0xffffffffff000000, 1215 0xfffffffffe000000, 1216 0xfffffffffc000000, 1217 0xfffffffff8000000, 1218 0xfffffffff0000000, 1219 0xffffffffe0000000, 1220 0xffffffffc0000000, 1221 0xffffffff80000000, 1222 0xffffffff00000000, 1223 0xfffffffe00000000, 1224 0xfffffffc00000000, 1225 0xfffffff800000000, 1226 0xfffffff000000000, 1227 0xffffffe000000000, 1228 0xffffffc000000000, 1229 0xffffff8000000000, 1230 0xffffff0000000000, 1231 0xfffffe0000000000, 1232 0xfffffc0000000000, 1233 0xfffff80000000000, 1234 0xfffff00000000000, 1235 0xffffe00000000000, 1236 0xffffc00000000000, 1237 0xffff800000000000, 1238 0xffff000000000000, 1239 0xfffe000000000000, 1240 0xfffc000000000000, 1241 0xfff8000000000000, 1242 0xfff0000000000000, 1243 0xffe0000000000000, 1244 0xffc0000000000000, 1245 0xff80000000000000, 1246 0xff00000000000000, 1247 0xfe00000000000000, 1248 0xfc00000000000000, 1249 0xf800000000000000, 1250 0xf000000000000000, 1251 0xe000000000000000, 1252 0xc000000000000000, 1253 0x8000000000000000, 1254 0x8000000000000000, 1255 0x0000000000000000, 1256 0x0000000000000000, 1257 0x0000000000000000, 1258 0x0000000000000000, 1259 0x0000000000000000, 1260 0x0000000000000000, 1261 0x0000000000000000, 1262 0x0000000000000000, 1263 0x0000000000000000, 1264 0x0000000000000000, 1265 0x0000000000000000, 1266 0x0000000000000000, 1267 0x0000000000000000, 1268 0x0000000000000000, 1269 0x0000000000000000, 1270 0x0000000000000000, 1271 0x0000000000000000, 1272 0x0000000000000000, 1273 0x0000000000000000, 1274 0x0000000000000000, 1275 0x0000000000000000, 1276 0x0000000000000000, 1277 0x0000000000000000, 1278 0x0000000000000000, 1279 0x0000000000000000, 1280 0x0000000000000000, 1281 0x0000000000000000, 1282 0x0000000000000000, 1283 0x0000000000000000, 1284 0x0000000000000000, 1285 0x0000000000000000, 1286 0x0000000000000000, 1287 0x0000000000000000, 1288 0x0000000000000000, 1289 0x0000000000000000, 1290 0x0000000000000000, 1291 0x0000000000000000, 1292 0x0000000000000000, 1293 0x0000000000000000, 1294 0x0000000000000000, 1295 0x0000000000000000, 1296 0x0000000000000000, 1297 0x0000000000000000, 1298 0x0000000000000000, 1299 0x0000000000000000, 1300 0x0000000000000000, 1301 0x0000000000000000, 1302 0x0000000000000000, 1303 0x0000000000000000, 1304 0x0000000000000000, 1305 0x0000000000000000, 1306 0x0000000000000000, 1307 0x0000000000000000, 1308 0x0000000000000000, 1309 0x0000000000000000, 1310 0x0000000000000000, 1311 0x0000000000000000, 1312 0x0000000000000000, 1313 0x0000000000000000, 1314 0x0000000000000000, 1315 0x0000000000000000, 1316 0x0000000000000000, 1317 0x0000000000000000, 1318 0x8000000000000001, 1319 0x0000000000000002, 1320 0x0000000000000004, 1321 0x0000000000000008, 1322 0x0000000000000010, 1323 0x0000000000000020, 1324 0x0000000000000040, 1325 0x0000000000000080, 1326 0x0000000000000100, 1327 0x0000000000000200, 1328 0x0000000000000400, 1329 0x0000000000000800, 1330 0x0000000000001000, 1331 0x0000000000002000, 1332 0x0000000000004000, 1333 0x0000000000008000, 1334 0x0000000000010000, 1335 0x0000000000020000, 1336 0x0000000000040000, 1337 0x0000000000080000, 1338 0x0000000000100000, 1339 0x0000000000200000, 1340 0x0000000000400000, 1341 0x0000000000800000, 1342 0x0000000001000000, 1343 0x0000000002000000, 1344 0x0000000004000000, 1345 0x0000000008000000, 1346 0x0000000010000000, 1347 0x0000000020000000, 1348 0x0000000040000000, 1349 0x0000000080000000, 1350 0x0000000100000000, 1351 0x0000000200000000, 1352 0x0000000400000000, 1353 0x0000000800000000, 1354 0x0000001000000000, 1355 0x0000002000000000, 1356 0x0000004000000000, 1357 0x0000008000000000, 1358 0x0000010000000000, 1359 0x0000020000000000, 1360 0x0000040000000000, 1361 0x0000080000000000, 1362 0x0000100000000000, 1363 0x0000200000000000, 1364 0x0000400000000000, 1365 0x0000800000000000, 1366 0x0001000000000000, 1367 0x0002000000000000, 1368 0x0004000000000000, 1369 0x0008000000000000, 1370 0x0010000000000000, 1371 0x0020000000000000, 1372 0x0040000000000000, 1373 0x0080000000000000, 1374 0x0100000000000000, 1375 0x0200000000000000, 1376 0x0400000000000000, 1377 0x0800000000000000, 1378 0x1000000000000000, 1379 0x2000000000000000, 1380 0x4000000000000000, 1381 0x8000000000000000, 1382 0x8000000000000002, 1383 0x0000000000000004, 1384 0x0000000000000008, 1385 0x0000000000000010, 1386 0x0000000000000020, 1387 0x0000000000000040, 1388 0x0000000000000080, 1389 0x0000000000000100, 1390 0x0000000000000200, 1391 0x0000000000000400, 1392 0x0000000000000800, 1393 0x0000000000001000, 1394 0x0000000000002000, 1395 0x0000000000004000, 1396 0x0000000000008000, 1397 0x0000000000010000, 1398 0x0000000000020000, 1399 0x0000000000040000, 1400 0x0000000000080000, 1401 0x0000000000100000, 1402 0x0000000000200000, 1403 0x0000000000400000, 1404 0x0000000000800000, 1405 0x0000000001000000, 1406 0x0000000002000000, 1407 0x0000000004000000, 1408 0x0000000008000000, 1409 0x0000000010000000, 1410 0x0000000020000000, 1411 0x0000000040000000, 1412 0x0000000080000000, 1413 0x0000000100000000, 1414 0x0000000200000000, 1415 0x0000000400000000, 1416 0x0000000800000000, 1417 0x0000001000000000, 1418 0x0000002000000000, 1419 0x0000004000000000, 1420 0x0000008000000000, 1421 0x0000010000000000, 1422 0x0000020000000000, 1423 0x0000040000000000, 1424 0x0000080000000000, 1425 0x0000100000000000, 1426 0x0000200000000000, 1427 0x0000400000000000, 1428 0x0000800000000000, 1429 0x0001000000000000, 1430 0x0002000000000000, 1431 0x0004000000000000, 1432 0x0008000000000000, 1433 0x0010000000000000, 1434 0x0020000000000000, 1435 0x0040000000000000, 1436 0x0080000000000000, 1437 0x0100000000000000, 1438 0x0200000000000000, 1439 0x0400000000000000, 1440 0x0800000000000000, 1441 0x1000000000000000, 1442 0x2000000000000000, 1443 0x4000000000000000, 1444 0x8000000000000000, 1445 0x0000000000000000, 1446 0x8000000000000003, 1447 0x0000000000000006, 1448 0x000000000000000c, 1449 0x0000000000000018, 1450 0x0000000000000030, 1451 0x0000000000000060, 1452 0x00000000000000c0, 1453 0x0000000000000180, 1454 0x0000000000000300, 1455 0x0000000000000600, 1456 0x0000000000000c00, 1457 0x0000000000001800, 1458 0x0000000000003000, 1459 0x0000000000006000, 1460 0x000000000000c000, 1461 0x0000000000018000, 1462 0x0000000000030000, 1463 0x0000000000060000, 1464 0x00000000000c0000, 1465 0x0000000000180000, 1466 0x0000000000300000, 1467 0x0000000000600000, 1468 0x0000000000c00000, 1469 0x0000000001800000, 1470 0x0000000003000000, 1471 0x0000000006000000, 1472 0x000000000c000000, 1473 0x0000000018000000, 1474 0x0000000030000000, 1475 0x0000000060000000, 1476 0x00000000c0000000, 1477 0x0000000180000000, 1478 0x0000000300000000, 1479 0x0000000600000000, 1480 0x0000000c00000000, 1481 0x0000001800000000, 1482 0x0000003000000000, 1483 0x0000006000000000, 1484 0x000000c000000000, 1485 0x0000018000000000, 1486 0x0000030000000000, 1487 0x0000060000000000, 1488 0x00000c0000000000, 1489 0x0000180000000000, 1490 0x0000300000000000, 1491 0x0000600000000000, 1492 0x0000c00000000000, 1493 0x0001800000000000, 1494 0x0003000000000000, 1495 0x0006000000000000, 1496 0x000c000000000000, 1497 0x0018000000000000, 1498 0x0030000000000000, 1499 0x0060000000000000, 1500 0x00c0000000000000, 1501 0x0180000000000000, 1502 0x0300000000000000, 1503 0x0600000000000000, 1504 0x0c00000000000000, 1505 0x1800000000000000, 1506 0x3000000000000000, 1507 0x6000000000000000, 1508 0xc000000000000000, 1509 0x8000000000000000, 1510 0xaaaaaaaaaaaaaaaa, 1511 0x5555555555555554, 1512 0xaaaaaaaaaaaaaaa8, 1513 0x5555555555555550, 1514 0xaaaaaaaaaaaaaaa0, 1515 0x5555555555555540, 1516 0xaaaaaaaaaaaaaa80, 1517 0x5555555555555500, 1518 0xaaaaaaaaaaaaaa00, 1519 0x5555555555555400, 1520 0xaaaaaaaaaaaaa800, 1521 0x5555555555555000, 1522 0xaaaaaaaaaaaaa000, 1523 0x5555555555554000, 1524 0xaaaaaaaaaaaa8000, 1525 0x5555555555550000, 1526 0xaaaaaaaaaaaa0000, 1527 0x5555555555540000, 1528 0xaaaaaaaaaaa80000, 1529 0x5555555555500000, 1530 0xaaaaaaaaaaa00000, 1531 0x5555555555400000, 1532 0xaaaaaaaaaa800000, 1533 0x5555555555000000, 1534 0xaaaaaaaaaa000000, 1535 0x5555555554000000, 1536 0xaaaaaaaaa8000000, 1537 0x5555555550000000, 1538 0xaaaaaaaaa0000000, 1539 0x5555555540000000, 1540 0xaaaaaaaa80000000, 1541 0x5555555500000000, 1542 0xaaaaaaaa00000000, 1543 0x5555555400000000, 1544 0xaaaaaaa800000000, 1545 0x5555555000000000, 1546 0xaaaaaaa000000000, 1547 0x5555554000000000, 1548 0xaaaaaa8000000000, 1549 0x5555550000000000, 1550 0xaaaaaa0000000000, 1551 0x5555540000000000, 1552 0xaaaaa80000000000, 1553 0x5555500000000000, 1554 0xaaaaa00000000000, 1555 0x5555400000000000, 1556 0xaaaa800000000000, 1557 0x5555000000000000, 1558 0xaaaa000000000000, 1559 0x5554000000000000, 1560 0xaaa8000000000000, 1561 0x5550000000000000, 1562 0xaaa0000000000000, 1563 0x5540000000000000, 1564 0xaa80000000000000, 1565 0x5500000000000000, 1566 0xaa00000000000000, 1567 0x5400000000000000, 1568 0xa800000000000000, 1569 0x5000000000000000, 1570 0xa000000000000000, 1571 0x4000000000000000, 1572 0x8000000000000000, 1573 0x0000000000000000, 1574 0xcccccccccccccccc, 1575 0x9999999999999998, 1576 0x3333333333333330, 1577 0x6666666666666660, 1578 0xccccccccccccccc0, 1579 0x9999999999999980, 1580 0x3333333333333300, 1581 0x6666666666666600, 1582 0xcccccccccccccc00, 1583 0x9999999999999800, 1584 0x3333333333333000, 1585 0x6666666666666000, 1586 0xccccccccccccc000, 1587 0x9999999999998000, 1588 0x3333333333330000, 1589 0x6666666666660000, 1590 0xcccccccccccc0000, 1591 0x9999999999980000, 1592 0x3333333333300000, 1593 0x6666666666600000, 1594 0xccccccccccc00000, 1595 0x9999999999800000, 1596 0x3333333333000000, 1597 0x6666666666000000, 1598 0xcccccccccc000000, 1599 0x9999999998000000, 1600 0x3333333330000000, 1601 0x6666666660000000, 1602 0xccccccccc0000000, 1603 0x9999999980000000, 1604 0x3333333300000000, 1605 0x6666666600000000, 1606 0xcccccccc00000000, 1607 0x9999999800000000, 1608 0x3333333000000000, 1609 0x6666666000000000, 1610 0xccccccc000000000, 1611 0x9999998000000000, 1612 0x3333330000000000, 1613 0x6666660000000000, 1614 0xcccccc0000000000, 1615 0x9999980000000000, 1616 0x3333300000000000, 1617 0x6666600000000000, 1618 0xccccc00000000000, 1619 0x9999800000000000, 1620 0x3333000000000000, 1621 0x6666000000000000, 1622 0xcccc000000000000, 1623 0x9998000000000000, 1624 0x3330000000000000, 1625 0x6660000000000000, 1626 0xccc0000000000000, 1627 0x9980000000000000, 1628 0x3300000000000000, 1629 0x6600000000000000, 1630 0xcc00000000000000, 1631 0x9800000000000000, 1632 0x3000000000000000, 1633 0x6000000000000000, 1634 0xc000000000000000, 1635 0x8000000000000000, 1636 0x0000000000000000, 1637 0x0000000000000000, 1638 0xffffffff80000000, 1639 0xffffffff00000000, 1640 0xfffffffe00000000, 1641 0xfffffffc00000000, 1642 0xfffffff800000000, 1643 0xfffffff000000000, 1644 0xffffffe000000000, 1645 0xffffffc000000000, 1646 0xffffff8000000000, 1647 0xffffff0000000000, 1648 0xfffffe0000000000, 1649 0xfffffc0000000000, 1650 0xfffff80000000000, 1651 0xfffff00000000000, 1652 0xffffe00000000000, 1653 0xffffc00000000000, 1654 0xffff800000000000, 1655 0xffff000000000000, 1656 0xfffe000000000000, 1657 0xfffc000000000000, 1658 0xfff8000000000000, 1659 0xfff0000000000000, 1660 0xffe0000000000000, 1661 0xffc0000000000000, 1662 0xff80000000000000, 1663 0xff00000000000000, 1664 0xfe00000000000000, 1665 0xfc00000000000000, 1666 0xf800000000000000, 1667 0xf000000000000000, 1668 0xe000000000000000, 1669 0xc000000000000000, 1670 0x8000000000000000, 1671 0x0000000000000000, 1672 0x0000000000000000, 1673 0x0000000000000000, 1674 0x0000000000000000, 1675 0x0000000000000000, 1676 0x0000000000000000, 1677 0x0000000000000000, 1678 0x0000000000000000, 1679 0x0000000000000000, 1680 0x0000000000000000, 1681 0x0000000000000000, 1682 0x0000000000000000, 1683 0x0000000000000000, 1684 0x0000000000000000, 1685 0x0000000000000000, 1686 0x0000000000000000, 1687 0x0000000000000000, 1688 0x0000000000000000, 1689 0x0000000000000000, 1690 0x0000000000000000, 1691 0x0000000000000000, 1692 0x0000000000000000, 1693 0x0000000000000000, 1694 0x0000000000000000, 1695 0x0000000000000000, 1696 0x0000000000000000, 1697 0x0000000000000000, 1698 0x0000000000000000, 1699 0x0000000000000000, 1700 0x0000000000000000, 1701 0x0000000000000000, 1702 0xffffffff80000001, 1703 0xffffffff00000002, 1704 0xfffffffe00000004, 1705 0xfffffffc00000008, 1706 0xfffffff800000010, 1707 0xfffffff000000020, 1708 0xffffffe000000040, 1709 0xffffffc000000080, 1710 0xffffff8000000100, 1711 0xffffff0000000200, 1712 0xfffffe0000000400, 1713 0xfffffc0000000800, 1714 0xfffff80000001000, 1715 0xfffff00000002000, 1716 0xffffe00000004000, 1717 0xffffc00000008000, 1718 0xffff800000010000, 1719 0xffff000000020000, 1720 0xfffe000000040000, 1721 0xfffc000000080000, 1722 0xfff8000000100000, 1723 0xfff0000000200000, 1724 0xffe0000000400000, 1725 0xffc0000000800000, 1726 0xff80000001000000, 1727 0xff00000002000000, 1728 0xfe00000004000000, 1729 0xfc00000008000000, 1730 0xf800000010000000, 1731 0xf000000020000000, 1732 0xe000000040000000, 1733 0xc000000080000000, 1734 0x8000000100000000, 1735 0x0000000200000000, 1736 0x0000000400000000, 1737 0x0000000800000000, 1738 0x0000001000000000, 1739 0x0000002000000000, 1740 0x0000004000000000, 1741 0x0000008000000000, 1742 0x0000010000000000, 1743 0x0000020000000000, 1744 0x0000040000000000, 1745 0x0000080000000000, 1746 0x0000100000000000, 1747 0x0000200000000000, 1748 0x0000400000000000, 1749 0x0000800000000000, 1750 0x0001000000000000, 1751 0x0002000000000000, 1752 0x0004000000000000, 1753 0x0008000000000000, 1754 0x0010000000000000, 1755 0x0020000000000000, 1756 0x0040000000000000, 1757 0x0080000000000000, 1758 0x0100000000000000, 1759 0x0200000000000000, 1760 0x0400000000000000, 1761 0x0800000000000000, 1762 0x1000000000000000, 1763 0x2000000000000000, 1764 0x4000000000000000, 1765 0x8000000000000000, 1766 0xffffffff80000002, 1767 0xffffffff00000004, 1768 0xfffffffe00000008, 1769 0xfffffffc00000010, 1770 0xfffffff800000020, 1771 0xfffffff000000040, 1772 0xffffffe000000080, 1773 0xffffffc000000100, 1774 0xffffff8000000200, 1775 0xffffff0000000400, 1776 0xfffffe0000000800, 1777 0xfffffc0000001000, 1778 0xfffff80000002000, 1779 0xfffff00000004000, 1780 0xffffe00000008000, 1781 0xffffc00000010000, 1782 0xffff800000020000, 1783 0xffff000000040000, 1784 0xfffe000000080000, 1785 0xfffc000000100000, 1786 0xfff8000000200000, 1787 0xfff0000000400000, 1788 0xffe0000000800000, 1789 0xffc0000001000000, 1790 0xff80000002000000, 1791 0xff00000004000000, 1792 0xfe00000008000000, 1793 0xfc00000010000000, 1794 0xf800000020000000, 1795 0xf000000040000000, 1796 0xe000000080000000, 1797 0xc000000100000000, 1798 0x8000000200000000, 1799 0x0000000400000000, 1800 0x0000000800000000, 1801 0x0000001000000000, 1802 0x0000002000000000, 1803 0x0000004000000000, 1804 0x0000008000000000, 1805 0x0000010000000000, 1806 0x0000020000000000, 1807 0x0000040000000000, 1808 0x0000080000000000, 1809 0x0000100000000000, 1810 0x0000200000000000, 1811 0x0000400000000000, 1812 0x0000800000000000, 1813 0x0001000000000000, 1814 0x0002000000000000, 1815 0x0004000000000000, 1816 0x0008000000000000, 1817 0x0010000000000000, 1818 0x0020000000000000, 1819 0x0040000000000000, 1820 0x0080000000000000, 1821 0x0100000000000000, 1822 0x0200000000000000, 1823 0x0400000000000000, 1824 0x0800000000000000, 1825 0x1000000000000000, 1826 0x2000000000000000, 1827 0x4000000000000000, 1828 0x8000000000000000, 1829 0x0000000000000000, 1830 0xffffffff80000003, 1831 0xffffffff00000006, 1832 0xfffffffe0000000c, 1833 0xfffffffc00000018, 1834 0xfffffff800000030, 1835 0xfffffff000000060, 1836 0xffffffe0000000c0, 1837 0xffffffc000000180, 1838 0xffffff8000000300, 1839 0xffffff0000000600, 1840 0xfffffe0000000c00, 1841 0xfffffc0000001800, 1842 0xfffff80000003000, 1843 0xfffff00000006000, 1844 0xffffe0000000c000, 1845 0xffffc00000018000, 1846 0xffff800000030000, 1847 0xffff000000060000, 1848 0xfffe0000000c0000, 1849 0xfffc000000180000, 1850 0xfff8000000300000, 1851 0xfff0000000600000, 1852 0xffe0000000c00000, 1853 0xffc0000001800000, 1854 0xff80000003000000, 1855 0xff00000006000000, 1856 0xfe0000000c000000, 1857 0xfc00000018000000, 1858 0xf800000030000000, 1859 0xf000000060000000, 1860 0xe0000000c0000000, 1861 0xc000000180000000, 1862 0x8000000300000000, 1863 0x0000000600000000, 1864 0x0000000c00000000, 1865 0x0000001800000000, 1866 0x0000003000000000, 1867 0x0000006000000000, 1868 0x000000c000000000, 1869 0x0000018000000000, 1870 0x0000030000000000, 1871 0x0000060000000000, 1872 0x00000c0000000000, 1873 0x0000180000000000, 1874 0x0000300000000000, 1875 0x0000600000000000, 1876 0x0000c00000000000, 1877 0x0001800000000000, 1878 0x0003000000000000, 1879 0x0006000000000000, 1880 0x000c000000000000, 1881 0x0018000000000000, 1882 0x0030000000000000, 1883 0x0060000000000000, 1884 0x00c0000000000000, 1885 0x0180000000000000, 1886 0x0300000000000000, 1887 0x0600000000000000, 1888 0x0c00000000000000, 1889 0x1800000000000000, 1890 0x3000000000000000, 1891 0x6000000000000000, 1892 0xc000000000000000, 1893 0x8000000000000000, 1894 0xffffffffffff8000, 1895 0xffffffffffff0000, 1896 0xfffffffffffe0000, 1897 0xfffffffffffc0000, 1898 0xfffffffffff80000, 1899 0xfffffffffff00000, 1900 0xffffffffffe00000, 1901 0xffffffffffc00000, 1902 0xffffffffff800000, 1903 0xffffffffff000000, 1904 0xfffffffffe000000, 1905 0xfffffffffc000000, 1906 0xfffffffff8000000, 1907 0xfffffffff0000000, 1908 0xffffffffe0000000, 1909 0xffffffffc0000000, 1910 0xffffffff80000000, 1911 0xffffffff00000000, 1912 0xfffffffe00000000, 1913 0xfffffffc00000000, 1914 0xfffffff800000000, 1915 0xfffffff000000000, 1916 0xffffffe000000000, 1917 0xffffffc000000000, 1918 0xffffff8000000000, 1919 0xffffff0000000000, 1920 0xfffffe0000000000, 1921 0xfffffc0000000000, 1922 0xfffff80000000000, 1923 0xfffff00000000000, 1924 0xffffe00000000000, 1925 0xffffc00000000000, 1926 0xffff800000000000, 1927 0xffff000000000000, 1928 0xfffe000000000000, 1929 0xfffc000000000000, 1930 0xfff8000000000000, 1931 0xfff0000000000000, 1932 0xffe0000000000000, 1933 0xffc0000000000000, 1934 0xff80000000000000, 1935 0xff00000000000000, 1936 0xfe00000000000000, 1937 0xfc00000000000000, 1938 0xf800000000000000, 1939 0xf000000000000000, 1940 0xe000000000000000, 1941 0xc000000000000000, 1942 0x8000000000000000, 1943 0x0000000000000000, 1944 0x0000000000000000, 1945 0x0000000000000000, 1946 0x0000000000000000, 1947 0x0000000000000000, 1948 0x0000000000000000, 1949 0x0000000000000000, 1950 0x0000000000000000, 1951 0x0000000000000000, 1952 0x0000000000000000, 1953 0x0000000000000000, 1954 0x0000000000000000, 1955 0x0000000000000000, 1956 0x0000000000000000, 1957 0x0000000000000000, 1958 0xffffffffffff8001, 1959 0xffffffffffff0002, 1960 0xfffffffffffe0004, 1961 0xfffffffffffc0008, 1962 0xfffffffffff80010, 1963 0xfffffffffff00020, 1964 0xffffffffffe00040, 1965 0xffffffffffc00080, 1966 0xffffffffff800100, 1967 0xffffffffff000200, 1968 0xfffffffffe000400, 1969 0xfffffffffc000800, 1970 0xfffffffff8001000, 1971 0xfffffffff0002000, 1972 0xffffffffe0004000, 1973 0xffffffffc0008000, 1974 0xffffffff80010000, 1975 0xffffffff00020000, 1976 0xfffffffe00040000, 1977 0xfffffffc00080000, 1978 0xfffffff800100000, 1979 0xfffffff000200000, 1980 0xffffffe000400000, 1981 0xffffffc000800000, 1982 0xffffff8001000000, 1983 0xffffff0002000000, 1984 0xfffffe0004000000, 1985 0xfffffc0008000000, 1986 0xfffff80010000000, 1987 0xfffff00020000000, 1988 0xffffe00040000000, 1989 0xffffc00080000000, 1990 0xffff800100000000, 1991 0xffff000200000000, 1992 0xfffe000400000000, 1993 0xfffc000800000000, 1994 0xfff8001000000000, 1995 0xfff0002000000000, 1996 0xffe0004000000000, 1997 0xffc0008000000000, 1998 0xff80010000000000, 1999 0xff00020000000000, 2000 0xfe00040000000000, 2001 0xfc00080000000000, 2002 0xf800100000000000, 2003 0xf000200000000000, 2004 0xe000400000000000, 2005 0xc000800000000000, 2006 0x8001000000000000, 2007 0x0002000000000000, 2008 0x0004000000000000, 2009 0x0008000000000000, 2010 0x0010000000000000, 2011 0x0020000000000000, 2012 0x0040000000000000, 2013 0x0080000000000000, 2014 0x0100000000000000, 2015 0x0200000000000000, 2016 0x0400000000000000, 2017 0x0800000000000000, 2018 0x1000000000000000, 2019 0x2000000000000000, 2020 0x4000000000000000, 2021 0x8000000000000000, 2022 0xffffffffffff8002, 2023 0xffffffffffff0004, 2024 0xfffffffffffe0008, 2025 0xfffffffffffc0010, 2026 0xfffffffffff80020, 2027 0xfffffffffff00040, 2028 0xffffffffffe00080, 2029 0xffffffffffc00100, 2030 0xffffffffff800200, 2031 0xffffffffff000400, 2032 0xfffffffffe000800, 2033 0xfffffffffc001000, 2034 0xfffffffff8002000, 2035 0xfffffffff0004000, 2036 0xffffffffe0008000, 2037 0xffffffffc0010000, 2038 0xffffffff80020000, 2039 0xffffffff00040000, 2040 0xfffffffe00080000, 2041 0xfffffffc00100000, 2042 0xfffffff800200000, 2043 0xfffffff000400000, 2044 0xffffffe000800000, 2045 0xffffffc001000000, 2046 0xffffff8002000000, 2047 0xffffff0004000000, 2048 0xfffffe0008000000, 2049 0xfffffc0010000000, 2050 0xfffff80020000000, 2051 0xfffff00040000000, 2052 0xffffe00080000000, 2053 0xffffc00100000000, 2054 0xffff800200000000, 2055 0xffff000400000000, 2056 0xfffe000800000000, 2057 0xfffc001000000000, 2058 0xfff8002000000000, 2059 0xfff0004000000000, 2060 0xffe0008000000000, 2061 0xffc0010000000000, 2062 0xff80020000000000, 2063 0xff00040000000000, 2064 0xfe00080000000000, 2065 0xfc00100000000000, 2066 0xf800200000000000, 2067 0xf000400000000000, 2068 0xe000800000000000, 2069 0xc001000000000000, 2070 0x8002000000000000, 2071 0x0004000000000000, 2072 0x0008000000000000, 2073 0x0010000000000000, 2074 0x0020000000000000, 2075 0x0040000000000000, 2076 0x0080000000000000, 2077 0x0100000000000000, 2078 0x0200000000000000, 2079 0x0400000000000000, 2080 0x0800000000000000, 2081 0x1000000000000000, 2082 0x2000000000000000, 2083 0x4000000000000000, 2084 0x8000000000000000, 2085 0x0000000000000000, 2086 0xffffffffffff8003, 2087 0xffffffffffff0006, 2088 0xfffffffffffe000c, 2089 0xfffffffffffc0018, 2090 0xfffffffffff80030, 2091 0xfffffffffff00060, 2092 0xffffffffffe000c0, 2093 0xffffffffffc00180, 2094 0xffffffffff800300, 2095 0xffffffffff000600, 2096 0xfffffffffe000c00, 2097 0xfffffffffc001800, 2098 0xfffffffff8003000, 2099 0xfffffffff0006000, 2100 0xffffffffe000c000, 2101 0xffffffffc0018000, 2102 0xffffffff80030000, 2103 0xffffffff00060000, 2104 0xfffffffe000c0000, 2105 0xfffffffc00180000, 2106 0xfffffff800300000, 2107 0xfffffff000600000, 2108 0xffffffe000c00000, 2109 0xffffffc001800000, 2110 0xffffff8003000000, 2111 0xffffff0006000000, 2112 0xfffffe000c000000, 2113 0xfffffc0018000000, 2114 0xfffff80030000000, 2115 0xfffff00060000000, 2116 0xffffe000c0000000, 2117 0xffffc00180000000, 2118 0xffff800300000000, 2119 0xffff000600000000, 2120 0xfffe000c00000000, 2121 0xfffc001800000000, 2122 0xfff8003000000000, 2123 0xfff0006000000000, 2124 0xffe000c000000000, 2125 0xffc0018000000000, 2126 0xff80030000000000, 2127 0xff00060000000000, 2128 0xfe000c0000000000, 2129 0xfc00180000000000, 2130 0xf800300000000000, 2131 0xf000600000000000, 2132 0xe000c00000000000, 2133 0xc001800000000000, 2134 0x8003000000000000, 2135 0x0006000000000000, 2136 0x000c000000000000, 2137 0x0018000000000000, 2138 0x0030000000000000, 2139 0x0060000000000000, 2140 0x00c0000000000000, 2141 0x0180000000000000, 2142 0x0300000000000000, 2143 0x0600000000000000, 2144 0x0c00000000000000, 2145 0x1800000000000000, 2146 0x3000000000000000, 2147 0x6000000000000000, 2148 0xc000000000000000, 2149 0x8000000000000000, 2150 0xffffffffffffff80, 2151 0xffffffffffffff00, 2152 0xfffffffffffffe00, 2153 0xfffffffffffffc00, 2154 0xfffffffffffff800, 2155 0xfffffffffffff000, 2156 0xffffffffffffe000, 2157 0xffffffffffffc000, 2158 0xffffffffffff8000, 2159 0xffffffffffff0000, 2160 0xfffffffffffe0000, 2161 0xfffffffffffc0000, 2162 0xfffffffffff80000, 2163 0xfffffffffff00000, 2164 0xffffffffffe00000, 2165 0xffffffffffc00000, 2166 0xffffffffff800000, 2167 0xffffffffff000000, 2168 0xfffffffffe000000, 2169 0xfffffffffc000000, 2170 0xfffffffff8000000, 2171 0xfffffffff0000000, 2172 0xffffffffe0000000, 2173 0xffffffffc0000000, 2174 0xffffffff80000000, 2175 0xffffffff00000000, 2176 0xfffffffe00000000, 2177 0xfffffffc00000000, 2178 0xfffffff800000000, 2179 0xfffffff000000000, 2180 0xffffffe000000000, 2181 0xffffffc000000000, 2182 0xffffff8000000000, 2183 0xffffff0000000000, 2184 0xfffffe0000000000, 2185 0xfffffc0000000000, 2186 0xfffff80000000000, 2187 0xfffff00000000000, 2188 0xffffe00000000000, 2189 0xffffc00000000000, 2190 0xffff800000000000, 2191 0xffff000000000000, 2192 0xfffe000000000000, 2193 0xfffc000000000000, 2194 0xfff8000000000000, 2195 0xfff0000000000000, 2196 0xffe0000000000000, 2197 0xffc0000000000000, 2198 0xff80000000000000, 2199 0xff00000000000000, 2200 0xfe00000000000000, 2201 0xfc00000000000000, 2202 0xf800000000000000, 2203 0xf000000000000000, 2204 0xe000000000000000, 2205 0xc000000000000000, 2206 0x8000000000000000, 2207 0x0000000000000000, 2208 0x0000000000000000, 2209 0x0000000000000000, 2210 0x0000000000000000, 2211 0x0000000000000000, 2212 0x0000000000000000, 2213 0x0000000000000000, 2214 0xffffffffffffff81, 2215 0xffffffffffffff02, 2216 0xfffffffffffffe04, 2217 0xfffffffffffffc08, 2218 0xfffffffffffff810, 2219 0xfffffffffffff020, 2220 0xffffffffffffe040, 2221 0xffffffffffffc080, 2222 0xffffffffffff8100, 2223 0xffffffffffff0200, 2224 0xfffffffffffe0400, 2225 0xfffffffffffc0800, 2226 0xfffffffffff81000, 2227 0xfffffffffff02000, 2228 0xffffffffffe04000, 2229 0xffffffffffc08000, 2230 0xffffffffff810000, 2231 0xffffffffff020000, 2232 0xfffffffffe040000, 2233 0xfffffffffc080000, 2234 0xfffffffff8100000, 2235 0xfffffffff0200000, 2236 0xffffffffe0400000, 2237 0xffffffffc0800000, 2238 0xffffffff81000000, 2239 0xffffffff02000000, 2240 0xfffffffe04000000, 2241 0xfffffffc08000000, 2242 0xfffffff810000000, 2243 0xfffffff020000000, 2244 0xffffffe040000000, 2245 0xffffffc080000000, 2246 0xffffff8100000000, 2247 0xffffff0200000000, 2248 0xfffffe0400000000, 2249 0xfffffc0800000000, 2250 0xfffff81000000000, 2251 0xfffff02000000000, 2252 0xffffe04000000000, 2253 0xffffc08000000000, 2254 0xffff810000000000, 2255 0xffff020000000000, 2256 0xfffe040000000000, 2257 0xfffc080000000000, 2258 0xfff8100000000000, 2259 0xfff0200000000000, 2260 0xffe0400000000000, 2261 0xffc0800000000000, 2262 0xff81000000000000, 2263 0xff02000000000000, 2264 0xfe04000000000000, 2265 0xfc08000000000000, 2266 0xf810000000000000, 2267 0xf020000000000000, 2268 0xe040000000000000, 2269 0xc080000000000000, 2270 0x8100000000000000, 2271 0x0200000000000000, 2272 0x0400000000000000, 2273 0x0800000000000000, 2274 0x1000000000000000, 2275 0x2000000000000000, 2276 0x4000000000000000, 2277 0x8000000000000000, 2278 0xffffffffffffff82, 2279 0xffffffffffffff04, 2280 0xfffffffffffffe08, 2281 0xfffffffffffffc10, 2282 0xfffffffffffff820, 2283 0xfffffffffffff040, 2284 0xffffffffffffe080, 2285 0xffffffffffffc100, 2286 0xffffffffffff8200, 2287 0xffffffffffff0400, 2288 0xfffffffffffe0800, 2289 0xfffffffffffc1000, 2290 0xfffffffffff82000, 2291 0xfffffffffff04000, 2292 0xffffffffffe08000, 2293 0xffffffffffc10000, 2294 0xffffffffff820000, 2295 0xffffffffff040000, 2296 0xfffffffffe080000, 2297 0xfffffffffc100000, 2298 0xfffffffff8200000, 2299 0xfffffffff0400000, 2300 0xffffffffe0800000, 2301 0xffffffffc1000000, 2302 0xffffffff82000000, 2303 0xffffffff04000000, 2304 0xfffffffe08000000, 2305 0xfffffffc10000000, 2306 0xfffffff820000000, 2307 0xfffffff040000000, 2308 0xffffffe080000000, 2309 0xffffffc100000000, 2310 0xffffff8200000000, 2311 0xffffff0400000000, 2312 0xfffffe0800000000, 2313 0xfffffc1000000000, 2314 0xfffff82000000000, 2315 0xfffff04000000000, 2316 0xffffe08000000000, 2317 0xffffc10000000000, 2318 0xffff820000000000, 2319 0xffff040000000000, 2320 0xfffe080000000000, 2321 0xfffc100000000000, 2322 0xfff8200000000000, 2323 0xfff0400000000000, 2324 0xffe0800000000000, 2325 0xffc1000000000000, 2326 0xff82000000000000, 2327 0xff04000000000000, 2328 0xfe08000000000000, 2329 0xfc10000000000000, 2330 0xf820000000000000, 2331 0xf040000000000000, 2332 0xe080000000000000, 2333 0xc100000000000000, 2334 0x8200000000000000, 2335 0x0400000000000000, 2336 0x0800000000000000, 2337 0x1000000000000000, 2338 0x2000000000000000, 2339 0x4000000000000000, 2340 0x8000000000000000, 2341 0x0000000000000000, 2342 0xffffffffffffff83, 2343 0xffffffffffffff06, 2344 0xfffffffffffffe0c, 2345 0xfffffffffffffc18, 2346 0xfffffffffffff830, 2347 0xfffffffffffff060, 2348 0xffffffffffffe0c0, 2349 0xffffffffffffc180, 2350 0xffffffffffff8300, 2351 0xffffffffffff0600, 2352 0xfffffffffffe0c00, 2353 0xfffffffffffc1800, 2354 0xfffffffffff83000, 2355 0xfffffffffff06000, 2356 0xffffffffffe0c000, 2357 0xffffffffffc18000, 2358 0xffffffffff830000, 2359 0xffffffffff060000, 2360 0xfffffffffe0c0000, 2361 0xfffffffffc180000, 2362 0xfffffffff8300000, 2363 0xfffffffff0600000, 2364 0xffffffffe0c00000, 2365 0xffffffffc1800000, 2366 0xffffffff83000000, 2367 0xffffffff06000000, 2368 0xfffffffe0c000000, 2369 0xfffffffc18000000, 2370 0xfffffff830000000, 2371 0xfffffff060000000, 2372 0xffffffe0c0000000, 2373 0xffffffc180000000, 2374 0xffffff8300000000, 2375 0xffffff0600000000, 2376 0xfffffe0c00000000, 2377 0xfffffc1800000000, 2378 0xfffff83000000000, 2379 0xfffff06000000000, 2380 0xffffe0c000000000, 2381 0xffffc18000000000, 2382 0xffff830000000000, 2383 0xffff060000000000, 2384 0xfffe0c0000000000, 2385 0xfffc180000000000, 2386 0xfff8300000000000, 2387 0xfff0600000000000, 2388 0xffe0c00000000000, 2389 0xffc1800000000000, 2390 0xff83000000000000, 2391 0xff06000000000000, 2392 0xfe0c000000000000, 2393 0xfc18000000000000, 2394 0xf830000000000000, 2395 0xf060000000000000, 2396 0xe0c0000000000000, 2397 0xc180000000000000, 2398 0x8300000000000000, 2399 0x0600000000000000, 2400 0x0c00000000000000, 2401 0x1800000000000000, 2402 0x3000000000000000, 2403 0x6000000000000000, 2404 0xc000000000000000, 2405 0x8000000000000000, 2406 0xffffffffffffffc0, 2407 0xffffffffffffff80, 2408 0xffffffffffffff00, 2409 0xfffffffffffffe00, 2410 0xfffffffffffffc00, 2411 0xfffffffffffff800, 2412 0xfffffffffffff000, 2413 0xffffffffffffe000, 2414 0xffffffffffffc000, 2415 0xffffffffffff8000, 2416 0xffffffffffff0000, 2417 0xfffffffffffe0000, 2418 0xfffffffffffc0000, 2419 0xfffffffffff80000, 2420 0xfffffffffff00000, 2421 0xffffffffffe00000, 2422 0xffffffffffc00000, 2423 0xffffffffff800000, 2424 0xffffffffff000000, 2425 0xfffffffffe000000, 2426 0xfffffffffc000000, 2427 0xfffffffff8000000, 2428 0xfffffffff0000000, 2429 0xffffffffe0000000, 2430 0xffffffffc0000000, 2431 0xffffffff80000000, 2432 0xffffffff00000000, 2433 0xfffffffe00000000, 2434 0xfffffffc00000000, 2435 0xfffffff800000000, 2436 0xfffffff000000000, 2437 0xffffffe000000000, 2438 0xffffffc000000000, 2439 0xffffff8000000000, 2440 0xffffff0000000000, 2441 0xfffffe0000000000, 2442 0xfffffc0000000000, 2443 0xfffff80000000000, 2444 0xfffff00000000000, 2445 0xffffe00000000000, 2446 0xffffc00000000000, 2447 0xffff800000000000, 2448 0xffff000000000000, 2449 0xfffe000000000000, 2450 0xfffc000000000000, 2451 0xfff8000000000000, 2452 0xfff0000000000000, 2453 0xffe0000000000000, 2454 0xffc0000000000000, 2455 0xff80000000000000, 2456 0xff00000000000000, 2457 0xfe00000000000000, 2458 0xfc00000000000000, 2459 0xf800000000000000, 2460 0xf000000000000000, 2461 0xe000000000000000, 2462 0xc000000000000000, 2463 0x8000000000000000, 2464 0x0000000000000000, 2465 0x0000000000000000, 2466 0x0000000000000000, 2467 0x0000000000000000, 2468 0x0000000000000000, 2469 0x0000000000000000, 2470 0xfffffffffffffffd, 2471 0xfffffffffffffffa, 2472 0xfffffffffffffff4, 2473 0xffffffffffffffe8, 2474 0xffffffffffffffd0, 2475 0xffffffffffffffa0, 2476 0xffffffffffffff40, 2477 0xfffffffffffffe80, 2478 0xfffffffffffffd00, 2479 0xfffffffffffffa00, 2480 0xfffffffffffff400, 2481 0xffffffffffffe800, 2482 0xffffffffffffd000, 2483 0xffffffffffffa000, 2484 0xffffffffffff4000, 2485 0xfffffffffffe8000, 2486 0xfffffffffffd0000, 2487 0xfffffffffffa0000, 2488 0xfffffffffff40000, 2489 0xffffffffffe80000, 2490 0xffffffffffd00000, 2491 0xffffffffffa00000, 2492 0xffffffffff400000, 2493 0xfffffffffe800000, 2494 0xfffffffffd000000, 2495 0xfffffffffa000000, 2496 0xfffffffff4000000, 2497 0xffffffffe8000000, 2498 0xffffffffd0000000, 2499 0xffffffffa0000000, 2500 0xffffffff40000000, 2501 0xfffffffe80000000, 2502 0xfffffffd00000000, 2503 0xfffffffa00000000, 2504 0xfffffff400000000, 2505 0xffffffe800000000, 2506 0xffffffd000000000, 2507 0xffffffa000000000, 2508 0xffffff4000000000, 2509 0xfffffe8000000000, 2510 0xfffffd0000000000, 2511 0xfffffa0000000000, 2512 0xfffff40000000000, 2513 0xffffe80000000000, 2514 0xffffd00000000000, 2515 0xffffa00000000000, 2516 0xffff400000000000, 2517 0xfffe800000000000, 2518 0xfffd000000000000, 2519 0xfffa000000000000, 2520 0xfff4000000000000, 2521 0xffe8000000000000, 2522 0xffd0000000000000, 2523 0xffa0000000000000, 2524 0xff40000000000000, 2525 0xfe80000000000000, 2526 0xfd00000000000000, 2527 0xfa00000000000000, 2528 0xf400000000000000, 2529 0xe800000000000000, 2530 0xd000000000000000, 2531 0xa000000000000000, 2532 0x4000000000000000, 2533 0x8000000000000000, 2534 0xfffffffffffffffe, 2535 0xfffffffffffffffc, 2536 0xfffffffffffffff8, 2537 0xfffffffffffffff0, 2538 0xffffffffffffffe0, 2539 0xffffffffffffffc0, 2540 0xffffffffffffff80, 2541 0xffffffffffffff00, 2542 0xfffffffffffffe00, 2543 0xfffffffffffffc00, 2544 0xfffffffffffff800, 2545 0xfffffffffffff000, 2546 0xffffffffffffe000, 2547 0xffffffffffffc000, 2548 0xffffffffffff8000, 2549 0xffffffffffff0000, 2550 0xfffffffffffe0000, 2551 0xfffffffffffc0000, 2552 0xfffffffffff80000, 2553 0xfffffffffff00000, 2554 0xffffffffffe00000, 2555 0xffffffffffc00000, 2556 0xffffffffff800000, 2557 0xffffffffff000000, 2558 0xfffffffffe000000, 2559 0xfffffffffc000000, 2560 0xfffffffff8000000, 2561 0xfffffffff0000000, 2562 0xffffffffe0000000, 2563 0xffffffffc0000000, 2564 0xffffffff80000000, 2565 0xffffffff00000000, 2566 0xfffffffe00000000, 2567 0xfffffffc00000000, 2568 0xfffffff800000000, 2569 0xfffffff000000000, 2570 0xffffffe000000000, 2571 0xffffffc000000000, 2572 0xffffff8000000000, 2573 0xffffff0000000000, 2574 0xfffffe0000000000, 2575 0xfffffc0000000000, 2576 0xfffff80000000000, 2577 0xfffff00000000000, 2578 0xffffe00000000000, 2579 0xffffc00000000000, 2580 0xffff800000000000, 2581 0xffff000000000000, 2582 0xfffe000000000000, 2583 0xfffc000000000000, 2584 0xfff8000000000000, 2585 0xfff0000000000000, 2586 0xffe0000000000000, 2587 0xffc0000000000000, 2588 0xff80000000000000, 2589 0xff00000000000000, 2590 0xfe00000000000000, 2591 0xfc00000000000000, 2592 0xf800000000000000, 2593 0xf000000000000000, 2594 0xe000000000000000, 2595 0xc000000000000000, 2596 0x8000000000000000, 2597 0x0000000000000000, 2598}; 2599const unsigned kExpectedCount_NEON_shl_D_2OPIMM = 2560; 2600 2601#endif // VIXL_SIM_SHL_D_2OPIMM_TRACE_AARCH64_H_ 2602