1 // 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_USHR_D_2OPIMM_TRACE_A64_H_ 35 #define VIXL_SIM_USHR_D_2OPIMM_TRACE_A64_H_ 36 37 const uint64_t kExpected_NEON_ushr_D_2OPIMM[] = { 38 0x7fffffffffffffff, 39 0x3fffffffffffffff, 40 0x1fffffffffffffff, 41 0x0fffffffffffffff, 42 0x07ffffffffffffff, 43 0x03ffffffffffffff, 44 0x01ffffffffffffff, 45 0x00ffffffffffffff, 46 0x007fffffffffffff, 47 0x003fffffffffffff, 48 0x001fffffffffffff, 49 0x000fffffffffffff, 50 0x0007ffffffffffff, 51 0x0003ffffffffffff, 52 0x0001ffffffffffff, 53 0x0000ffffffffffff, 54 0x00007fffffffffff, 55 0x00003fffffffffff, 56 0x00001fffffffffff, 57 0x00000fffffffffff, 58 0x000007ffffffffff, 59 0x000003ffffffffff, 60 0x000001ffffffffff, 61 0x000000ffffffffff, 62 0x0000007fffffffff, 63 0x0000003fffffffff, 64 0x0000001fffffffff, 65 0x0000000fffffffff, 66 0x00000007ffffffff, 67 0x00000003ffffffff, 68 0x00000001ffffffff, 69 0x00000000ffffffff, 70 0x000000007fffffff, 71 0x000000003fffffff, 72 0x000000001fffffff, 73 0x000000000fffffff, 74 0x0000000007ffffff, 75 0x0000000003ffffff, 76 0x0000000001ffffff, 77 0x0000000000ffffff, 78 0x00000000007fffff, 79 0x00000000003fffff, 80 0x00000000001fffff, 81 0x00000000000fffff, 82 0x000000000007ffff, 83 0x000000000003ffff, 84 0x000000000001ffff, 85 0x000000000000ffff, 86 0x0000000000007fff, 87 0x0000000000003fff, 88 0x0000000000001fff, 89 0x0000000000000fff, 90 0x00000000000007ff, 91 0x00000000000003ff, 92 0x00000000000001ff, 93 0x00000000000000ff, 94 0x000000000000007f, 95 0x000000000000003f, 96 0x000000000000001f, 97 0x000000000000000f, 98 0x0000000000000007, 99 0x0000000000000003, 100 0x0000000000000001, 101 0x0000000000000000, 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 0x0000000000000000, 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 0x0000000000000000, 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 0x0000000000000000, 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 0x000000000000003e, 359 0x000000000000001f, 360 0x000000000000000f, 361 0x0000000000000007, 362 0x0000000000000003, 363 0x0000000000000001, 364 0x0000000000000000, 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 0x000000000000001f, 424 0x000000000000000f, 425 0x0000000000000007, 426 0x0000000000000003, 427 0x0000000000000001, 428 0x0000000000000000, 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 0x000000000000003f, 487 0x000000000000001f, 488 0x000000000000000f, 489 0x0000000000000007, 490 0x0000000000000003, 491 0x0000000000000001, 492 0x0000000000000000, 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 0x0000000000003ffe, 551 0x0000000000001fff, 552 0x0000000000000fff, 553 0x00000000000007ff, 554 0x00000000000003ff, 555 0x00000000000001ff, 556 0x00000000000000ff, 557 0x000000000000007f, 558 0x000000000000003f, 559 0x000000000000001f, 560 0x000000000000000f, 561 0x0000000000000007, 562 0x0000000000000003, 563 0x0000000000000001, 564 0x0000000000000000, 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 0x0000000000001fff, 616 0x0000000000000fff, 617 0x00000000000007ff, 618 0x00000000000003ff, 619 0x00000000000001ff, 620 0x00000000000000ff, 621 0x000000000000007f, 622 0x000000000000003f, 623 0x000000000000001f, 624 0x000000000000000f, 625 0x0000000000000007, 626 0x0000000000000003, 627 0x0000000000000001, 628 0x0000000000000000, 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 0x0000000000003fff, 679 0x0000000000001fff, 680 0x0000000000000fff, 681 0x00000000000007ff, 682 0x00000000000003ff, 683 0x00000000000001ff, 684 0x00000000000000ff, 685 0x000000000000007f, 686 0x000000000000003f, 687 0x000000000000001f, 688 0x000000000000000f, 689 0x0000000000000007, 690 0x0000000000000003, 691 0x0000000000000001, 692 0x0000000000000000, 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 0x000000003ffffffe, 743 0x000000001fffffff, 744 0x000000000fffffff, 745 0x0000000007ffffff, 746 0x0000000003ffffff, 747 0x0000000001ffffff, 748 0x0000000000ffffff, 749 0x00000000007fffff, 750 0x00000000003fffff, 751 0x00000000001fffff, 752 0x00000000000fffff, 753 0x000000000007ffff, 754 0x000000000003ffff, 755 0x000000000001ffff, 756 0x000000000000ffff, 757 0x0000000000007fff, 758 0x0000000000003fff, 759 0x0000000000001fff, 760 0x0000000000000fff, 761 0x00000000000007ff, 762 0x00000000000003ff, 763 0x00000000000001ff, 764 0x00000000000000ff, 765 0x000000000000007f, 766 0x000000000000003f, 767 0x000000000000001f, 768 0x000000000000000f, 769 0x0000000000000007, 770 0x0000000000000003, 771 0x0000000000000001, 772 0x0000000000000000, 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 0x000000001fffffff, 808 0x000000000fffffff, 809 0x0000000007ffffff, 810 0x0000000003ffffff, 811 0x0000000001ffffff, 812 0x0000000000ffffff, 813 0x00000000007fffff, 814 0x00000000003fffff, 815 0x00000000001fffff, 816 0x00000000000fffff, 817 0x000000000007ffff, 818 0x000000000003ffff, 819 0x000000000001ffff, 820 0x000000000000ffff, 821 0x0000000000007fff, 822 0x0000000000003fff, 823 0x0000000000001fff, 824 0x0000000000000fff, 825 0x00000000000007ff, 826 0x00000000000003ff, 827 0x00000000000001ff, 828 0x00000000000000ff, 829 0x000000000000007f, 830 0x000000000000003f, 831 0x000000000000001f, 832 0x000000000000000f, 833 0x0000000000000007, 834 0x0000000000000003, 835 0x0000000000000001, 836 0x0000000000000000, 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 0x000000003fffffff, 871 0x000000001fffffff, 872 0x000000000fffffff, 873 0x0000000007ffffff, 874 0x0000000003ffffff, 875 0x0000000001ffffff, 876 0x0000000000ffffff, 877 0x00000000007fffff, 878 0x00000000003fffff, 879 0x00000000001fffff, 880 0x00000000000fffff, 881 0x000000000007ffff, 882 0x000000000003ffff, 883 0x000000000001ffff, 884 0x000000000000ffff, 885 0x0000000000007fff, 886 0x0000000000003fff, 887 0x0000000000001fff, 888 0x0000000000000fff, 889 0x00000000000007ff, 890 0x00000000000003ff, 891 0x00000000000001ff, 892 0x00000000000000ff, 893 0x000000000000007f, 894 0x000000000000003f, 895 0x000000000000001f, 896 0x000000000000000f, 897 0x0000000000000007, 898 0x0000000000000003, 899 0x0000000000000001, 900 0x0000000000000000, 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 0x1999999999999999, 935 0x0ccccccccccccccc, 936 0x0666666666666666, 937 0x0333333333333333, 938 0x0199999999999999, 939 0x00cccccccccccccc, 940 0x0066666666666666, 941 0x0033333333333333, 942 0x0019999999999999, 943 0x000ccccccccccccc, 944 0x0006666666666666, 945 0x0003333333333333, 946 0x0001999999999999, 947 0x0000cccccccccccc, 948 0x0000666666666666, 949 0x0000333333333333, 950 0x0000199999999999, 951 0x00000ccccccccccc, 952 0x0000066666666666, 953 0x0000033333333333, 954 0x0000019999999999, 955 0x000000cccccccccc, 956 0x0000006666666666, 957 0x0000003333333333, 958 0x0000001999999999, 959 0x0000000ccccccccc, 960 0x0000000666666666, 961 0x0000000333333333, 962 0x0000000199999999, 963 0x00000000cccccccc, 964 0x0000000066666666, 965 0x0000000033333333, 966 0x0000000019999999, 967 0x000000000ccccccc, 968 0x0000000006666666, 969 0x0000000003333333, 970 0x0000000001999999, 971 0x0000000000cccccc, 972 0x0000000000666666, 973 0x0000000000333333, 974 0x0000000000199999, 975 0x00000000000ccccc, 976 0x0000000000066666, 977 0x0000000000033333, 978 0x0000000000019999, 979 0x000000000000cccc, 980 0x0000000000006666, 981 0x0000000000003333, 982 0x0000000000001999, 983 0x0000000000000ccc, 984 0x0000000000000666, 985 0x0000000000000333, 986 0x0000000000000199, 987 0x00000000000000cc, 988 0x0000000000000066, 989 0x0000000000000033, 990 0x0000000000000019, 991 0x000000000000000c, 992 0x0000000000000006, 993 0x0000000000000003, 994 0x0000000000000001, 995 0x0000000000000000, 996 0x0000000000000000, 997 0x0000000000000000, 998 0x2aaaaaaaaaaaaaaa, 999 0x1555555555555555, 1000 0x0aaaaaaaaaaaaaaa, 1001 0x0555555555555555, 1002 0x02aaaaaaaaaaaaaa, 1003 0x0155555555555555, 1004 0x00aaaaaaaaaaaaaa, 1005 0x0055555555555555, 1006 0x002aaaaaaaaaaaaa, 1007 0x0015555555555555, 1008 0x000aaaaaaaaaaaaa, 1009 0x0005555555555555, 1010 0x0002aaaaaaaaaaaa, 1011 0x0001555555555555, 1012 0x0000aaaaaaaaaaaa, 1013 0x0000555555555555, 1014 0x00002aaaaaaaaaaa, 1015 0x0000155555555555, 1016 0x00000aaaaaaaaaaa, 1017 0x0000055555555555, 1018 0x000002aaaaaaaaaa, 1019 0x0000015555555555, 1020 0x000000aaaaaaaaaa, 1021 0x0000005555555555, 1022 0x0000002aaaaaaaaa, 1023 0x0000001555555555, 1024 0x0000000aaaaaaaaa, 1025 0x0000000555555555, 1026 0x00000002aaaaaaaa, 1027 0x0000000155555555, 1028 0x00000000aaaaaaaa, 1029 0x0000000055555555, 1030 0x000000002aaaaaaa, 1031 0x0000000015555555, 1032 0x000000000aaaaaaa, 1033 0x0000000005555555, 1034 0x0000000002aaaaaa, 1035 0x0000000001555555, 1036 0x0000000000aaaaaa, 1037 0x0000000000555555, 1038 0x00000000002aaaaa, 1039 0x0000000000155555, 1040 0x00000000000aaaaa, 1041 0x0000000000055555, 1042 0x000000000002aaaa, 1043 0x0000000000015555, 1044 0x000000000000aaaa, 1045 0x0000000000005555, 1046 0x0000000000002aaa, 1047 0x0000000000001555, 1048 0x0000000000000aaa, 1049 0x0000000000000555, 1050 0x00000000000002aa, 1051 0x0000000000000155, 1052 0x00000000000000aa, 1053 0x0000000000000055, 1054 0x000000000000002a, 1055 0x0000000000000015, 1056 0x000000000000000a, 1057 0x0000000000000005, 1058 0x0000000000000002, 1059 0x0000000000000001, 1060 0x0000000000000000, 1061 0x0000000000000000, 1062 0x3ffffffffffffffe, 1063 0x1fffffffffffffff, 1064 0x0fffffffffffffff, 1065 0x07ffffffffffffff, 1066 0x03ffffffffffffff, 1067 0x01ffffffffffffff, 1068 0x00ffffffffffffff, 1069 0x007fffffffffffff, 1070 0x003fffffffffffff, 1071 0x001fffffffffffff, 1072 0x000fffffffffffff, 1073 0x0007ffffffffffff, 1074 0x0003ffffffffffff, 1075 0x0001ffffffffffff, 1076 0x0000ffffffffffff, 1077 0x00007fffffffffff, 1078 0x00003fffffffffff, 1079 0x00001fffffffffff, 1080 0x00000fffffffffff, 1081 0x000007ffffffffff, 1082 0x000003ffffffffff, 1083 0x000001ffffffffff, 1084 0x000000ffffffffff, 1085 0x0000007fffffffff, 1086 0x0000003fffffffff, 1087 0x0000001fffffffff, 1088 0x0000000fffffffff, 1089 0x00000007ffffffff, 1090 0x00000003ffffffff, 1091 0x00000001ffffffff, 1092 0x00000000ffffffff, 1093 0x000000007fffffff, 1094 0x000000003fffffff, 1095 0x000000001fffffff, 1096 0x000000000fffffff, 1097 0x0000000007ffffff, 1098 0x0000000003ffffff, 1099 0x0000000001ffffff, 1100 0x0000000000ffffff, 1101 0x00000000007fffff, 1102 0x00000000003fffff, 1103 0x00000000001fffff, 1104 0x00000000000fffff, 1105 0x000000000007ffff, 1106 0x000000000003ffff, 1107 0x000000000001ffff, 1108 0x000000000000ffff, 1109 0x0000000000007fff, 1110 0x0000000000003fff, 1111 0x0000000000001fff, 1112 0x0000000000000fff, 1113 0x00000000000007ff, 1114 0x00000000000003ff, 1115 0x00000000000001ff, 1116 0x00000000000000ff, 1117 0x000000000000007f, 1118 0x000000000000003f, 1119 0x000000000000001f, 1120 0x000000000000000f, 1121 0x0000000000000007, 1122 0x0000000000000003, 1123 0x0000000000000001, 1124 0x0000000000000000, 1125 0x0000000000000000, 1126 0x3fffffffffffffff, 1127 0x1fffffffffffffff, 1128 0x0fffffffffffffff, 1129 0x07ffffffffffffff, 1130 0x03ffffffffffffff, 1131 0x01ffffffffffffff, 1132 0x00ffffffffffffff, 1133 0x007fffffffffffff, 1134 0x003fffffffffffff, 1135 0x001fffffffffffff, 1136 0x000fffffffffffff, 1137 0x0007ffffffffffff, 1138 0x0003ffffffffffff, 1139 0x0001ffffffffffff, 1140 0x0000ffffffffffff, 1141 0x00007fffffffffff, 1142 0x00003fffffffffff, 1143 0x00001fffffffffff, 1144 0x00000fffffffffff, 1145 0x000007ffffffffff, 1146 0x000003ffffffffff, 1147 0x000001ffffffffff, 1148 0x000000ffffffffff, 1149 0x0000007fffffffff, 1150 0x0000003fffffffff, 1151 0x0000001fffffffff, 1152 0x0000000fffffffff, 1153 0x00000007ffffffff, 1154 0x00000003ffffffff, 1155 0x00000001ffffffff, 1156 0x00000000ffffffff, 1157 0x000000007fffffff, 1158 0x000000003fffffff, 1159 0x000000001fffffff, 1160 0x000000000fffffff, 1161 0x0000000007ffffff, 1162 0x0000000003ffffff, 1163 0x0000000001ffffff, 1164 0x0000000000ffffff, 1165 0x00000000007fffff, 1166 0x00000000003fffff, 1167 0x00000000001fffff, 1168 0x00000000000fffff, 1169 0x000000000007ffff, 1170 0x000000000003ffff, 1171 0x000000000001ffff, 1172 0x000000000000ffff, 1173 0x0000000000007fff, 1174 0x0000000000003fff, 1175 0x0000000000001fff, 1176 0x0000000000000fff, 1177 0x00000000000007ff, 1178 0x00000000000003ff, 1179 0x00000000000001ff, 1180 0x00000000000000ff, 1181 0x000000000000007f, 1182 0x000000000000003f, 1183 0x000000000000001f, 1184 0x000000000000000f, 1185 0x0000000000000007, 1186 0x0000000000000003, 1187 0x0000000000000001, 1188 0x0000000000000000, 1189 0x0000000000000000, 1190 0x3fffffffffffffff, 1191 0x1fffffffffffffff, 1192 0x0fffffffffffffff, 1193 0x07ffffffffffffff, 1194 0x03ffffffffffffff, 1195 0x01ffffffffffffff, 1196 0x00ffffffffffffff, 1197 0x007fffffffffffff, 1198 0x003fffffffffffff, 1199 0x001fffffffffffff, 1200 0x000fffffffffffff, 1201 0x0007ffffffffffff, 1202 0x0003ffffffffffff, 1203 0x0001ffffffffffff, 1204 0x0000ffffffffffff, 1205 0x00007fffffffffff, 1206 0x00003fffffffffff, 1207 0x00001fffffffffff, 1208 0x00000fffffffffff, 1209 0x000007ffffffffff, 1210 0x000003ffffffffff, 1211 0x000001ffffffffff, 1212 0x000000ffffffffff, 1213 0x0000007fffffffff, 1214 0x0000003fffffffff, 1215 0x0000001fffffffff, 1216 0x0000000fffffffff, 1217 0x00000007ffffffff, 1218 0x00000003ffffffff, 1219 0x00000001ffffffff, 1220 0x00000000ffffffff, 1221 0x000000007fffffff, 1222 0x000000003fffffff, 1223 0x000000001fffffff, 1224 0x000000000fffffff, 1225 0x0000000007ffffff, 1226 0x0000000003ffffff, 1227 0x0000000001ffffff, 1228 0x0000000000ffffff, 1229 0x00000000007fffff, 1230 0x00000000003fffff, 1231 0x00000000001fffff, 1232 0x00000000000fffff, 1233 0x000000000007ffff, 1234 0x000000000003ffff, 1235 0x000000000001ffff, 1236 0x000000000000ffff, 1237 0x0000000000007fff, 1238 0x0000000000003fff, 1239 0x0000000000001fff, 1240 0x0000000000000fff, 1241 0x00000000000007ff, 1242 0x00000000000003ff, 1243 0x00000000000001ff, 1244 0x00000000000000ff, 1245 0x000000000000007f, 1246 0x000000000000003f, 1247 0x000000000000001f, 1248 0x000000000000000f, 1249 0x0000000000000007, 1250 0x0000000000000003, 1251 0x0000000000000001, 1252 0x0000000000000000, 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 0x0000000000000000, 1318 0x4000000000000000, 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 0x0000000000000000, 1382 0x4000000000000001, 1383 0x2000000000000000, 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 0x0000000000000000, 1446 0x4000000000000001, 1447 0x2000000000000000, 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 0x0000000000000000, 1510 0x5555555555555555, 1511 0x2aaaaaaaaaaaaaaa, 1512 0x1555555555555555, 1513 0x0aaaaaaaaaaaaaaa, 1514 0x0555555555555555, 1515 0x02aaaaaaaaaaaaaa, 1516 0x0155555555555555, 1517 0x00aaaaaaaaaaaaaa, 1518 0x0055555555555555, 1519 0x002aaaaaaaaaaaaa, 1520 0x0015555555555555, 1521 0x000aaaaaaaaaaaaa, 1522 0x0005555555555555, 1523 0x0002aaaaaaaaaaaa, 1524 0x0001555555555555, 1525 0x0000aaaaaaaaaaaa, 1526 0x0000555555555555, 1527 0x00002aaaaaaaaaaa, 1528 0x0000155555555555, 1529 0x00000aaaaaaaaaaa, 1530 0x0000055555555555, 1531 0x000002aaaaaaaaaa, 1532 0x0000015555555555, 1533 0x000000aaaaaaaaaa, 1534 0x0000005555555555, 1535 0x0000002aaaaaaaaa, 1536 0x0000001555555555, 1537 0x0000000aaaaaaaaa, 1538 0x0000000555555555, 1539 0x00000002aaaaaaaa, 1540 0x0000000155555555, 1541 0x00000000aaaaaaaa, 1542 0x0000000055555555, 1543 0x000000002aaaaaaa, 1544 0x0000000015555555, 1545 0x000000000aaaaaaa, 1546 0x0000000005555555, 1547 0x0000000002aaaaaa, 1548 0x0000000001555555, 1549 0x0000000000aaaaaa, 1550 0x0000000000555555, 1551 0x00000000002aaaaa, 1552 0x0000000000155555, 1553 0x00000000000aaaaa, 1554 0x0000000000055555, 1555 0x000000000002aaaa, 1556 0x0000000000015555, 1557 0x000000000000aaaa, 1558 0x0000000000005555, 1559 0x0000000000002aaa, 1560 0x0000000000001555, 1561 0x0000000000000aaa, 1562 0x0000000000000555, 1563 0x00000000000002aa, 1564 0x0000000000000155, 1565 0x00000000000000aa, 1566 0x0000000000000055, 1567 0x000000000000002a, 1568 0x0000000000000015, 1569 0x000000000000000a, 1570 0x0000000000000005, 1571 0x0000000000000002, 1572 0x0000000000000001, 1573 0x0000000000000000, 1574 0x6666666666666666, 1575 0x3333333333333333, 1576 0x1999999999999999, 1577 0x0ccccccccccccccc, 1578 0x0666666666666666, 1579 0x0333333333333333, 1580 0x0199999999999999, 1581 0x00cccccccccccccc, 1582 0x0066666666666666, 1583 0x0033333333333333, 1584 0x0019999999999999, 1585 0x000ccccccccccccc, 1586 0x0006666666666666, 1587 0x0003333333333333, 1588 0x0001999999999999, 1589 0x0000cccccccccccc, 1590 0x0000666666666666, 1591 0x0000333333333333, 1592 0x0000199999999999, 1593 0x00000ccccccccccc, 1594 0x0000066666666666, 1595 0x0000033333333333, 1596 0x0000019999999999, 1597 0x000000cccccccccc, 1598 0x0000006666666666, 1599 0x0000003333333333, 1600 0x0000001999999999, 1601 0x0000000ccccccccc, 1602 0x0000000666666666, 1603 0x0000000333333333, 1604 0x0000000199999999, 1605 0x00000000cccccccc, 1606 0x0000000066666666, 1607 0x0000000033333333, 1608 0x0000000019999999, 1609 0x000000000ccccccc, 1610 0x0000000006666666, 1611 0x0000000003333333, 1612 0x0000000001999999, 1613 0x0000000000cccccc, 1614 0x0000000000666666, 1615 0x0000000000333333, 1616 0x0000000000199999, 1617 0x00000000000ccccc, 1618 0x0000000000066666, 1619 0x0000000000033333, 1620 0x0000000000019999, 1621 0x000000000000cccc, 1622 0x0000000000006666, 1623 0x0000000000003333, 1624 0x0000000000001999, 1625 0x0000000000000ccc, 1626 0x0000000000000666, 1627 0x0000000000000333, 1628 0x0000000000000199, 1629 0x00000000000000cc, 1630 0x0000000000000066, 1631 0x0000000000000033, 1632 0x0000000000000019, 1633 0x000000000000000c, 1634 0x0000000000000006, 1635 0x0000000000000003, 1636 0x0000000000000001, 1637 0x0000000000000000, 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 0x00000000ffffffff, 1670 0x000000007fffffff, 1671 0x000000003fffffff, 1672 0x000000001fffffff, 1673 0x000000000fffffff, 1674 0x0000000007ffffff, 1675 0x0000000003ffffff, 1676 0x0000000001ffffff, 1677 0x0000000000ffffff, 1678 0x00000000007fffff, 1679 0x00000000003fffff, 1680 0x00000000001fffff, 1681 0x00000000000fffff, 1682 0x000000000007ffff, 1683 0x000000000003ffff, 1684 0x000000000001ffff, 1685 0x000000000000ffff, 1686 0x0000000000007fff, 1687 0x0000000000003fff, 1688 0x0000000000001fff, 1689 0x0000000000000fff, 1690 0x00000000000007ff, 1691 0x00000000000003ff, 1692 0x00000000000001ff, 1693 0x00000000000000ff, 1694 0x000000000000007f, 1695 0x000000000000003f, 1696 0x000000000000001f, 1697 0x000000000000000f, 1698 0x0000000000000007, 1699 0x0000000000000003, 1700 0x0000000000000001, 1701 0x0000000000000000, 1702 0x7fffffffc0000000, 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 0x00000000ffffffff, 1734 0x000000007fffffff, 1735 0x000000003fffffff, 1736 0x000000001fffffff, 1737 0x000000000fffffff, 1738 0x0000000007ffffff, 1739 0x0000000003ffffff, 1740 0x0000000001ffffff, 1741 0x0000000000ffffff, 1742 0x00000000007fffff, 1743 0x00000000003fffff, 1744 0x00000000001fffff, 1745 0x00000000000fffff, 1746 0x000000000007ffff, 1747 0x000000000003ffff, 1748 0x000000000001ffff, 1749 0x000000000000ffff, 1750 0x0000000000007fff, 1751 0x0000000000003fff, 1752 0x0000000000001fff, 1753 0x0000000000000fff, 1754 0x00000000000007ff, 1755 0x00000000000003ff, 1756 0x00000000000001ff, 1757 0x00000000000000ff, 1758 0x000000000000007f, 1759 0x000000000000003f, 1760 0x000000000000001f, 1761 0x000000000000000f, 1762 0x0000000000000007, 1763 0x0000000000000003, 1764 0x0000000000000001, 1765 0x0000000000000000, 1766 0x7fffffffc0000001, 1767 0x3fffffffe0000000, 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 0x00000000ffffffff, 1798 0x000000007fffffff, 1799 0x000000003fffffff, 1800 0x000000001fffffff, 1801 0x000000000fffffff, 1802 0x0000000007ffffff, 1803 0x0000000003ffffff, 1804 0x0000000001ffffff, 1805 0x0000000000ffffff, 1806 0x00000000007fffff, 1807 0x00000000003fffff, 1808 0x00000000001fffff, 1809 0x00000000000fffff, 1810 0x000000000007ffff, 1811 0x000000000003ffff, 1812 0x000000000001ffff, 1813 0x000000000000ffff, 1814 0x0000000000007fff, 1815 0x0000000000003fff, 1816 0x0000000000001fff, 1817 0x0000000000000fff, 1818 0x00000000000007ff, 1819 0x00000000000003ff, 1820 0x00000000000001ff, 1821 0x00000000000000ff, 1822 0x000000000000007f, 1823 0x000000000000003f, 1824 0x000000000000001f, 1825 0x000000000000000f, 1826 0x0000000000000007, 1827 0x0000000000000003, 1828 0x0000000000000001, 1829 0x0000000000000000, 1830 0x7fffffffc0000001, 1831 0x3fffffffe0000000, 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 0x00000000ffffffff, 1862 0x000000007fffffff, 1863 0x000000003fffffff, 1864 0x000000001fffffff, 1865 0x000000000fffffff, 1866 0x0000000007ffffff, 1867 0x0000000003ffffff, 1868 0x0000000001ffffff, 1869 0x0000000000ffffff, 1870 0x00000000007fffff, 1871 0x00000000003fffff, 1872 0x00000000001fffff, 1873 0x00000000000fffff, 1874 0x000000000007ffff, 1875 0x000000000003ffff, 1876 0x000000000001ffff, 1877 0x000000000000ffff, 1878 0x0000000000007fff, 1879 0x0000000000003fff, 1880 0x0000000000001fff, 1881 0x0000000000000fff, 1882 0x00000000000007ff, 1883 0x00000000000003ff, 1884 0x00000000000001ff, 1885 0x00000000000000ff, 1886 0x000000000000007f, 1887 0x000000000000003f, 1888 0x000000000000001f, 1889 0x000000000000000f, 1890 0x0000000000000007, 1891 0x0000000000000003, 1892 0x0000000000000001, 1893 0x0000000000000000, 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 0x0000ffffffffffff, 1910 0x00007fffffffffff, 1911 0x00003fffffffffff, 1912 0x00001fffffffffff, 1913 0x00000fffffffffff, 1914 0x000007ffffffffff, 1915 0x000003ffffffffff, 1916 0x000001ffffffffff, 1917 0x000000ffffffffff, 1918 0x0000007fffffffff, 1919 0x0000003fffffffff, 1920 0x0000001fffffffff, 1921 0x0000000fffffffff, 1922 0x00000007ffffffff, 1923 0x00000003ffffffff, 1924 0x00000001ffffffff, 1925 0x00000000ffffffff, 1926 0x000000007fffffff, 1927 0x000000003fffffff, 1928 0x000000001fffffff, 1929 0x000000000fffffff, 1930 0x0000000007ffffff, 1931 0x0000000003ffffff, 1932 0x0000000001ffffff, 1933 0x0000000000ffffff, 1934 0x00000000007fffff, 1935 0x00000000003fffff, 1936 0x00000000001fffff, 1937 0x00000000000fffff, 1938 0x000000000007ffff, 1939 0x000000000003ffff, 1940 0x000000000001ffff, 1941 0x000000000000ffff, 1942 0x0000000000007fff, 1943 0x0000000000003fff, 1944 0x0000000000001fff, 1945 0x0000000000000fff, 1946 0x00000000000007ff, 1947 0x00000000000003ff, 1948 0x00000000000001ff, 1949 0x00000000000000ff, 1950 0x000000000000007f, 1951 0x000000000000003f, 1952 0x000000000000001f, 1953 0x000000000000000f, 1954 0x0000000000000007, 1955 0x0000000000000003, 1956 0x0000000000000001, 1957 0x0000000000000000, 1958 0x7fffffffffffc000, 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 0x0000ffffffffffff, 1974 0x00007fffffffffff, 1975 0x00003fffffffffff, 1976 0x00001fffffffffff, 1977 0x00000fffffffffff, 1978 0x000007ffffffffff, 1979 0x000003ffffffffff, 1980 0x000001ffffffffff, 1981 0x000000ffffffffff, 1982 0x0000007fffffffff, 1983 0x0000003fffffffff, 1984 0x0000001fffffffff, 1985 0x0000000fffffffff, 1986 0x00000007ffffffff, 1987 0x00000003ffffffff, 1988 0x00000001ffffffff, 1989 0x00000000ffffffff, 1990 0x000000007fffffff, 1991 0x000000003fffffff, 1992 0x000000001fffffff, 1993 0x000000000fffffff, 1994 0x0000000007ffffff, 1995 0x0000000003ffffff, 1996 0x0000000001ffffff, 1997 0x0000000000ffffff, 1998 0x00000000007fffff, 1999 0x00000000003fffff, 2000 0x00000000001fffff, 2001 0x00000000000fffff, 2002 0x000000000007ffff, 2003 0x000000000003ffff, 2004 0x000000000001ffff, 2005 0x000000000000ffff, 2006 0x0000000000007fff, 2007 0x0000000000003fff, 2008 0x0000000000001fff, 2009 0x0000000000000fff, 2010 0x00000000000007ff, 2011 0x00000000000003ff, 2012 0x00000000000001ff, 2013 0x00000000000000ff, 2014 0x000000000000007f, 2015 0x000000000000003f, 2016 0x000000000000001f, 2017 0x000000000000000f, 2018 0x0000000000000007, 2019 0x0000000000000003, 2020 0x0000000000000001, 2021 0x0000000000000000, 2022 0x7fffffffffffc001, 2023 0x3fffffffffffe000, 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 0x0000ffffffffffff, 2038 0x00007fffffffffff, 2039 0x00003fffffffffff, 2040 0x00001fffffffffff, 2041 0x00000fffffffffff, 2042 0x000007ffffffffff, 2043 0x000003ffffffffff, 2044 0x000001ffffffffff, 2045 0x000000ffffffffff, 2046 0x0000007fffffffff, 2047 0x0000003fffffffff, 2048 0x0000001fffffffff, 2049 0x0000000fffffffff, 2050 0x00000007ffffffff, 2051 0x00000003ffffffff, 2052 0x00000001ffffffff, 2053 0x00000000ffffffff, 2054 0x000000007fffffff, 2055 0x000000003fffffff, 2056 0x000000001fffffff, 2057 0x000000000fffffff, 2058 0x0000000007ffffff, 2059 0x0000000003ffffff, 2060 0x0000000001ffffff, 2061 0x0000000000ffffff, 2062 0x00000000007fffff, 2063 0x00000000003fffff, 2064 0x00000000001fffff, 2065 0x00000000000fffff, 2066 0x000000000007ffff, 2067 0x000000000003ffff, 2068 0x000000000001ffff, 2069 0x000000000000ffff, 2070 0x0000000000007fff, 2071 0x0000000000003fff, 2072 0x0000000000001fff, 2073 0x0000000000000fff, 2074 0x00000000000007ff, 2075 0x00000000000003ff, 2076 0x00000000000001ff, 2077 0x00000000000000ff, 2078 0x000000000000007f, 2079 0x000000000000003f, 2080 0x000000000000001f, 2081 0x000000000000000f, 2082 0x0000000000000007, 2083 0x0000000000000003, 2084 0x0000000000000001, 2085 0x0000000000000000, 2086 0x7fffffffffffc001, 2087 0x3fffffffffffe000, 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 0x0000ffffffffffff, 2102 0x00007fffffffffff, 2103 0x00003fffffffffff, 2104 0x00001fffffffffff, 2105 0x00000fffffffffff, 2106 0x000007ffffffffff, 2107 0x000003ffffffffff, 2108 0x000001ffffffffff, 2109 0x000000ffffffffff, 2110 0x0000007fffffffff, 2111 0x0000003fffffffff, 2112 0x0000001fffffffff, 2113 0x0000000fffffffff, 2114 0x00000007ffffffff, 2115 0x00000003ffffffff, 2116 0x00000001ffffffff, 2117 0x00000000ffffffff, 2118 0x000000007fffffff, 2119 0x000000003fffffff, 2120 0x000000001fffffff, 2121 0x000000000fffffff, 2122 0x0000000007ffffff, 2123 0x0000000003ffffff, 2124 0x0000000001ffffff, 2125 0x0000000000ffffff, 2126 0x00000000007fffff, 2127 0x00000000003fffff, 2128 0x00000000001fffff, 2129 0x00000000000fffff, 2130 0x000000000007ffff, 2131 0x000000000003ffff, 2132 0x000000000001ffff, 2133 0x000000000000ffff, 2134 0x0000000000007fff, 2135 0x0000000000003fff, 2136 0x0000000000001fff, 2137 0x0000000000000fff, 2138 0x00000000000007ff, 2139 0x00000000000003ff, 2140 0x00000000000001ff, 2141 0x00000000000000ff, 2142 0x000000000000007f, 2143 0x000000000000003f, 2144 0x000000000000001f, 2145 0x000000000000000f, 2146 0x0000000000000007, 2147 0x0000000000000003, 2148 0x0000000000000001, 2149 0x0000000000000000, 2150 0x7fffffffffffffc0, 2151 0x3fffffffffffffe0, 2152 0x1ffffffffffffff0, 2153 0x0ffffffffffffff8, 2154 0x07fffffffffffffc, 2155 0x03fffffffffffffe, 2156 0x01ffffffffffffff, 2157 0x00ffffffffffffff, 2158 0x007fffffffffffff, 2159 0x003fffffffffffff, 2160 0x001fffffffffffff, 2161 0x000fffffffffffff, 2162 0x0007ffffffffffff, 2163 0x0003ffffffffffff, 2164 0x0001ffffffffffff, 2165 0x0000ffffffffffff, 2166 0x00007fffffffffff, 2167 0x00003fffffffffff, 2168 0x00001fffffffffff, 2169 0x00000fffffffffff, 2170 0x000007ffffffffff, 2171 0x000003ffffffffff, 2172 0x000001ffffffffff, 2173 0x000000ffffffffff, 2174 0x0000007fffffffff, 2175 0x0000003fffffffff, 2176 0x0000001fffffffff, 2177 0x0000000fffffffff, 2178 0x00000007ffffffff, 2179 0x00000003ffffffff, 2180 0x00000001ffffffff, 2181 0x00000000ffffffff, 2182 0x000000007fffffff, 2183 0x000000003fffffff, 2184 0x000000001fffffff, 2185 0x000000000fffffff, 2186 0x0000000007ffffff, 2187 0x0000000003ffffff, 2188 0x0000000001ffffff, 2189 0x0000000000ffffff, 2190 0x00000000007fffff, 2191 0x00000000003fffff, 2192 0x00000000001fffff, 2193 0x00000000000fffff, 2194 0x000000000007ffff, 2195 0x000000000003ffff, 2196 0x000000000001ffff, 2197 0x000000000000ffff, 2198 0x0000000000007fff, 2199 0x0000000000003fff, 2200 0x0000000000001fff, 2201 0x0000000000000fff, 2202 0x00000000000007ff, 2203 0x00000000000003ff, 2204 0x00000000000001ff, 2205 0x00000000000000ff, 2206 0x000000000000007f, 2207 0x000000000000003f, 2208 0x000000000000001f, 2209 0x000000000000000f, 2210 0x0000000000000007, 2211 0x0000000000000003, 2212 0x0000000000000001, 2213 0x0000000000000000, 2214 0x7fffffffffffffc0, 2215 0x3fffffffffffffe0, 2216 0x1ffffffffffffff0, 2217 0x0ffffffffffffff8, 2218 0x07fffffffffffffc, 2219 0x03fffffffffffffe, 2220 0x01ffffffffffffff, 2221 0x00ffffffffffffff, 2222 0x007fffffffffffff, 2223 0x003fffffffffffff, 2224 0x001fffffffffffff, 2225 0x000fffffffffffff, 2226 0x0007ffffffffffff, 2227 0x0003ffffffffffff, 2228 0x0001ffffffffffff, 2229 0x0000ffffffffffff, 2230 0x00007fffffffffff, 2231 0x00003fffffffffff, 2232 0x00001fffffffffff, 2233 0x00000fffffffffff, 2234 0x000007ffffffffff, 2235 0x000003ffffffffff, 2236 0x000001ffffffffff, 2237 0x000000ffffffffff, 2238 0x0000007fffffffff, 2239 0x0000003fffffffff, 2240 0x0000001fffffffff, 2241 0x0000000fffffffff, 2242 0x00000007ffffffff, 2243 0x00000003ffffffff, 2244 0x00000001ffffffff, 2245 0x00000000ffffffff, 2246 0x000000007fffffff, 2247 0x000000003fffffff, 2248 0x000000001fffffff, 2249 0x000000000fffffff, 2250 0x0000000007ffffff, 2251 0x0000000003ffffff, 2252 0x0000000001ffffff, 2253 0x0000000000ffffff, 2254 0x00000000007fffff, 2255 0x00000000003fffff, 2256 0x00000000001fffff, 2257 0x00000000000fffff, 2258 0x000000000007ffff, 2259 0x000000000003ffff, 2260 0x000000000001ffff, 2261 0x000000000000ffff, 2262 0x0000000000007fff, 2263 0x0000000000003fff, 2264 0x0000000000001fff, 2265 0x0000000000000fff, 2266 0x00000000000007ff, 2267 0x00000000000003ff, 2268 0x00000000000001ff, 2269 0x00000000000000ff, 2270 0x000000000000007f, 2271 0x000000000000003f, 2272 0x000000000000001f, 2273 0x000000000000000f, 2274 0x0000000000000007, 2275 0x0000000000000003, 2276 0x0000000000000001, 2277 0x0000000000000000, 2278 0x7fffffffffffffc1, 2279 0x3fffffffffffffe0, 2280 0x1ffffffffffffff0, 2281 0x0ffffffffffffff8, 2282 0x07fffffffffffffc, 2283 0x03fffffffffffffe, 2284 0x01ffffffffffffff, 2285 0x00ffffffffffffff, 2286 0x007fffffffffffff, 2287 0x003fffffffffffff, 2288 0x001fffffffffffff, 2289 0x000fffffffffffff, 2290 0x0007ffffffffffff, 2291 0x0003ffffffffffff, 2292 0x0001ffffffffffff, 2293 0x0000ffffffffffff, 2294 0x00007fffffffffff, 2295 0x00003fffffffffff, 2296 0x00001fffffffffff, 2297 0x00000fffffffffff, 2298 0x000007ffffffffff, 2299 0x000003ffffffffff, 2300 0x000001ffffffffff, 2301 0x000000ffffffffff, 2302 0x0000007fffffffff, 2303 0x0000003fffffffff, 2304 0x0000001fffffffff, 2305 0x0000000fffffffff, 2306 0x00000007ffffffff, 2307 0x00000003ffffffff, 2308 0x00000001ffffffff, 2309 0x00000000ffffffff, 2310 0x000000007fffffff, 2311 0x000000003fffffff, 2312 0x000000001fffffff, 2313 0x000000000fffffff, 2314 0x0000000007ffffff, 2315 0x0000000003ffffff, 2316 0x0000000001ffffff, 2317 0x0000000000ffffff, 2318 0x00000000007fffff, 2319 0x00000000003fffff, 2320 0x00000000001fffff, 2321 0x00000000000fffff, 2322 0x000000000007ffff, 2323 0x000000000003ffff, 2324 0x000000000001ffff, 2325 0x000000000000ffff, 2326 0x0000000000007fff, 2327 0x0000000000003fff, 2328 0x0000000000001fff, 2329 0x0000000000000fff, 2330 0x00000000000007ff, 2331 0x00000000000003ff, 2332 0x00000000000001ff, 2333 0x00000000000000ff, 2334 0x000000000000007f, 2335 0x000000000000003f, 2336 0x000000000000001f, 2337 0x000000000000000f, 2338 0x0000000000000007, 2339 0x0000000000000003, 2340 0x0000000000000001, 2341 0x0000000000000000, 2342 0x7fffffffffffffc1, 2343 0x3fffffffffffffe0, 2344 0x1ffffffffffffff0, 2345 0x0ffffffffffffff8, 2346 0x07fffffffffffffc, 2347 0x03fffffffffffffe, 2348 0x01ffffffffffffff, 2349 0x00ffffffffffffff, 2350 0x007fffffffffffff, 2351 0x003fffffffffffff, 2352 0x001fffffffffffff, 2353 0x000fffffffffffff, 2354 0x0007ffffffffffff, 2355 0x0003ffffffffffff, 2356 0x0001ffffffffffff, 2357 0x0000ffffffffffff, 2358 0x00007fffffffffff, 2359 0x00003fffffffffff, 2360 0x00001fffffffffff, 2361 0x00000fffffffffff, 2362 0x000007ffffffffff, 2363 0x000003ffffffffff, 2364 0x000001ffffffffff, 2365 0x000000ffffffffff, 2366 0x0000007fffffffff, 2367 0x0000003fffffffff, 2368 0x0000001fffffffff, 2369 0x0000000fffffffff, 2370 0x00000007ffffffff, 2371 0x00000003ffffffff, 2372 0x00000001ffffffff, 2373 0x00000000ffffffff, 2374 0x000000007fffffff, 2375 0x000000003fffffff, 2376 0x000000001fffffff, 2377 0x000000000fffffff, 2378 0x0000000007ffffff, 2379 0x0000000003ffffff, 2380 0x0000000001ffffff, 2381 0x0000000000ffffff, 2382 0x00000000007fffff, 2383 0x00000000003fffff, 2384 0x00000000001fffff, 2385 0x00000000000fffff, 2386 0x000000000007ffff, 2387 0x000000000003ffff, 2388 0x000000000001ffff, 2389 0x000000000000ffff, 2390 0x0000000000007fff, 2391 0x0000000000003fff, 2392 0x0000000000001fff, 2393 0x0000000000000fff, 2394 0x00000000000007ff, 2395 0x00000000000003ff, 2396 0x00000000000001ff, 2397 0x00000000000000ff, 2398 0x000000000000007f, 2399 0x000000000000003f, 2400 0x000000000000001f, 2401 0x000000000000000f, 2402 0x0000000000000007, 2403 0x0000000000000003, 2404 0x0000000000000001, 2405 0x0000000000000000, 2406 0x7fffffffffffffe0, 2407 0x3ffffffffffffff0, 2408 0x1ffffffffffffff8, 2409 0x0ffffffffffffffc, 2410 0x07fffffffffffffe, 2411 0x03ffffffffffffff, 2412 0x01ffffffffffffff, 2413 0x00ffffffffffffff, 2414 0x007fffffffffffff, 2415 0x003fffffffffffff, 2416 0x001fffffffffffff, 2417 0x000fffffffffffff, 2418 0x0007ffffffffffff, 2419 0x0003ffffffffffff, 2420 0x0001ffffffffffff, 2421 0x0000ffffffffffff, 2422 0x00007fffffffffff, 2423 0x00003fffffffffff, 2424 0x00001fffffffffff, 2425 0x00000fffffffffff, 2426 0x000007ffffffffff, 2427 0x000003ffffffffff, 2428 0x000001ffffffffff, 2429 0x000000ffffffffff, 2430 0x0000007fffffffff, 2431 0x0000003fffffffff, 2432 0x0000001fffffffff, 2433 0x0000000fffffffff, 2434 0x00000007ffffffff, 2435 0x00000003ffffffff, 2436 0x00000001ffffffff, 2437 0x00000000ffffffff, 2438 0x000000007fffffff, 2439 0x000000003fffffff, 2440 0x000000001fffffff, 2441 0x000000000fffffff, 2442 0x0000000007ffffff, 2443 0x0000000003ffffff, 2444 0x0000000001ffffff, 2445 0x0000000000ffffff, 2446 0x00000000007fffff, 2447 0x00000000003fffff, 2448 0x00000000001fffff, 2449 0x00000000000fffff, 2450 0x000000000007ffff, 2451 0x000000000003ffff, 2452 0x000000000001ffff, 2453 0x000000000000ffff, 2454 0x0000000000007fff, 2455 0x0000000000003fff, 2456 0x0000000000001fff, 2457 0x0000000000000fff, 2458 0x00000000000007ff, 2459 0x00000000000003ff, 2460 0x00000000000001ff, 2461 0x00000000000000ff, 2462 0x000000000000007f, 2463 0x000000000000003f, 2464 0x000000000000001f, 2465 0x000000000000000f, 2466 0x0000000000000007, 2467 0x0000000000000003, 2468 0x0000000000000001, 2469 0x0000000000000000, 2470 0x7ffffffffffffffe, 2471 0x3fffffffffffffff, 2472 0x1fffffffffffffff, 2473 0x0fffffffffffffff, 2474 0x07ffffffffffffff, 2475 0x03ffffffffffffff, 2476 0x01ffffffffffffff, 2477 0x00ffffffffffffff, 2478 0x007fffffffffffff, 2479 0x003fffffffffffff, 2480 0x001fffffffffffff, 2481 0x000fffffffffffff, 2482 0x0007ffffffffffff, 2483 0x0003ffffffffffff, 2484 0x0001ffffffffffff, 2485 0x0000ffffffffffff, 2486 0x00007fffffffffff, 2487 0x00003fffffffffff, 2488 0x00001fffffffffff, 2489 0x00000fffffffffff, 2490 0x000007ffffffffff, 2491 0x000003ffffffffff, 2492 0x000001ffffffffff, 2493 0x000000ffffffffff, 2494 0x0000007fffffffff, 2495 0x0000003fffffffff, 2496 0x0000001fffffffff, 2497 0x0000000fffffffff, 2498 0x00000007ffffffff, 2499 0x00000003ffffffff, 2500 0x00000001ffffffff, 2501 0x00000000ffffffff, 2502 0x000000007fffffff, 2503 0x000000003fffffff, 2504 0x000000001fffffff, 2505 0x000000000fffffff, 2506 0x0000000007ffffff, 2507 0x0000000003ffffff, 2508 0x0000000001ffffff, 2509 0x0000000000ffffff, 2510 0x00000000007fffff, 2511 0x00000000003fffff, 2512 0x00000000001fffff, 2513 0x00000000000fffff, 2514 0x000000000007ffff, 2515 0x000000000003ffff, 2516 0x000000000001ffff, 2517 0x000000000000ffff, 2518 0x0000000000007fff, 2519 0x0000000000003fff, 2520 0x0000000000001fff, 2521 0x0000000000000fff, 2522 0x00000000000007ff, 2523 0x00000000000003ff, 2524 0x00000000000001ff, 2525 0x00000000000000ff, 2526 0x000000000000007f, 2527 0x000000000000003f, 2528 0x000000000000001f, 2529 0x000000000000000f, 2530 0x0000000000000007, 2531 0x0000000000000003, 2532 0x0000000000000001, 2533 0x0000000000000000, 2534 0x7fffffffffffffff, 2535 0x3fffffffffffffff, 2536 0x1fffffffffffffff, 2537 0x0fffffffffffffff, 2538 0x07ffffffffffffff, 2539 0x03ffffffffffffff, 2540 0x01ffffffffffffff, 2541 0x00ffffffffffffff, 2542 0x007fffffffffffff, 2543 0x003fffffffffffff, 2544 0x001fffffffffffff, 2545 0x000fffffffffffff, 2546 0x0007ffffffffffff, 2547 0x0003ffffffffffff, 2548 0x0001ffffffffffff, 2549 0x0000ffffffffffff, 2550 0x00007fffffffffff, 2551 0x00003fffffffffff, 2552 0x00001fffffffffff, 2553 0x00000fffffffffff, 2554 0x000007ffffffffff, 2555 0x000003ffffffffff, 2556 0x000001ffffffffff, 2557 0x000000ffffffffff, 2558 0x0000007fffffffff, 2559 0x0000003fffffffff, 2560 0x0000001fffffffff, 2561 0x0000000fffffffff, 2562 0x00000007ffffffff, 2563 0x00000003ffffffff, 2564 0x00000001ffffffff, 2565 0x00000000ffffffff, 2566 0x000000007fffffff, 2567 0x000000003fffffff, 2568 0x000000001fffffff, 2569 0x000000000fffffff, 2570 0x0000000007ffffff, 2571 0x0000000003ffffff, 2572 0x0000000001ffffff, 2573 0x0000000000ffffff, 2574 0x00000000007fffff, 2575 0x00000000003fffff, 2576 0x00000000001fffff, 2577 0x00000000000fffff, 2578 0x000000000007ffff, 2579 0x000000000003ffff, 2580 0x000000000001ffff, 2581 0x000000000000ffff, 2582 0x0000000000007fff, 2583 0x0000000000003fff, 2584 0x0000000000001fff, 2585 0x0000000000000fff, 2586 0x00000000000007ff, 2587 0x00000000000003ff, 2588 0x00000000000001ff, 2589 0x00000000000000ff, 2590 0x000000000000007f, 2591 0x000000000000003f, 2592 0x000000000000001f, 2593 0x000000000000000f, 2594 0x0000000000000007, 2595 0x0000000000000003, 2596 0x0000000000000001, 2597 0x0000000000000000, 2598 }; 2599 const unsigned kExpectedCount_NEON_ushr_D_2OPIMM = 2560; 2600 2601 #endif // VIXL_SIM_USHR_D_2OPIMM_TRACE_A64_H_ 2602
