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_SRI_D_2OPIMM_TRACE_A64_H_ 35 #define VIXL_SIM_SRI_D_2OPIMM_TRACE_A64_H_ 36 37 const uint64_t kExpected_NEON_sri_D_2OPIMM[] = { 38 0x7fffffffffffffff, 39 0x7fffffffffffffff, 40 0x7fffffffffffffff, 41 0x7fffffffffffffff, 42 0x7fffffffffffffff, 43 0x7fffffffffffffff, 44 0x7fffffffffffffff, 45 0x7fffffffffffffff, 46 0x7fffffffffffffff, 47 0x7fffffffffffffff, 48 0x7fffffffffffffff, 49 0x7fffffffffffffff, 50 0x7fffffffffffffff, 51 0x7fffffffffffffff, 52 0x7fffffffffffffff, 53 0x7fffffffffffffff, 54 0x7fffffffffffffff, 55 0x7fffffffffffffff, 56 0x7fffffffffffffff, 57 0x7fffffffffffffff, 58 0x7fffffffffffffff, 59 0x7fffffffffffffff, 60 0x7fffffffffffffff, 61 0x7fffffffffffffff, 62 0x7fffffffffffffff, 63 0x7fffffffffffffff, 64 0x7fffffffffffffff, 65 0x7fffffffffffffff, 66 0x7fffffffffffffff, 67 0x7fffffffffffffff, 68 0x7fffffffffffffff, 69 0x7fffffffffffffff, 70 0x7fffffffffffffff, 71 0x7fffffffffffffff, 72 0x7fffffffffffffff, 73 0x7fffffffffffffff, 74 0x7fffffffffffffff, 75 0x7fffffffffffffff, 76 0x7fffffffffffffff, 77 0x7fffffffffffffff, 78 0x7fffffffffffffff, 79 0x7fffffffffffffff, 80 0x7fffffffffffffff, 81 0x7fffffffffffffff, 82 0x7fffffffffffffff, 83 0x7fffffffffffffff, 84 0x7fffffffffffffff, 85 0x7fffffffffffffff, 86 0x7fffffffffffffff, 87 0x7fffffffffffffff, 88 0x7fffffffffffffff, 89 0x7fffffffffffffff, 90 0x7fffffffffffffff, 91 0x7fffffffffffffff, 92 0x7fffffffffffffff, 93 0x7fffffffffffffff, 94 0x7fffffffffffffff, 95 0x7fffffffffffffff, 96 0x7fffffffffffffff, 97 0x7fffffffffffffff, 98 0x7fffffffffffffff, 99 0x7fffffffffffffff, 100 0x7fffffffffffffff, 101 0x7fffffffffffffff, 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 0x6000000000000000, 1256 0x7000000000000000, 1257 0x7800000000000000, 1258 0x7c00000000000000, 1259 0x7e00000000000000, 1260 0x7f00000000000000, 1261 0x7f80000000000000, 1262 0x7fc0000000000000, 1263 0x7fe0000000000000, 1264 0x7ff0000000000000, 1265 0x7ff8000000000000, 1266 0x7ffc000000000000, 1267 0x7ffe000000000000, 1268 0x7fff000000000000, 1269 0x7fff800000000000, 1270 0x7fffc00000000000, 1271 0x7fffe00000000000, 1272 0x7ffff00000000000, 1273 0x7ffff80000000000, 1274 0x7ffffc0000000000, 1275 0x7ffffe0000000000, 1276 0x7fffff0000000000, 1277 0x7fffff8000000000, 1278 0x7fffffc000000000, 1279 0x7fffffe000000000, 1280 0x7ffffff000000000, 1281 0x7ffffff800000000, 1282 0x7ffffffc00000000, 1283 0x7ffffffe00000000, 1284 0x7fffffff00000000, 1285 0x7fffffff80000000, 1286 0x7fffffffc0000000, 1287 0x7fffffffe0000000, 1288 0x7ffffffff0000000, 1289 0x7ffffffff8000000, 1290 0x7ffffffffc000000, 1291 0x7ffffffffe000000, 1292 0x7fffffffff000000, 1293 0x7fffffffff800000, 1294 0x7fffffffffc00000, 1295 0x7fffffffffe00000, 1296 0x7ffffffffff00000, 1297 0x7ffffffffff80000, 1298 0x7ffffffffffc0000, 1299 0x7ffffffffffe0000, 1300 0x7fffffffffff0000, 1301 0x7fffffffffff8000, 1302 0x7fffffffffffc000, 1303 0x7fffffffffffe000, 1304 0x7ffffffffffff000, 1305 0x7ffffffffffff800, 1306 0x7ffffffffffffc00, 1307 0x7ffffffffffffe00, 1308 0x7fffffffffffff00, 1309 0x7fffffffffffff80, 1310 0x7fffffffffffffc0, 1311 0x7fffffffffffffe0, 1312 0x7ffffffffffffff0, 1313 0x7ffffffffffffff8, 1314 0x7ffffffffffffffc, 1315 0x7ffffffffffffffe, 1316 0x7fffffffffffffff, 1317 0x7fffffffffffffff, 1318 0x4000000000000000, 1319 0x6000000000000000, 1320 0x7000000000000000, 1321 0x7800000000000000, 1322 0x7c00000000000000, 1323 0x7e00000000000000, 1324 0x7f00000000000000, 1325 0x7f80000000000000, 1326 0x7fc0000000000000, 1327 0x7fe0000000000000, 1328 0x7ff0000000000000, 1329 0x7ff8000000000000, 1330 0x7ffc000000000000, 1331 0x7ffe000000000000, 1332 0x7fff000000000000, 1333 0x7fff800000000000, 1334 0x7fffc00000000000, 1335 0x7fffe00000000000, 1336 0x7ffff00000000000, 1337 0x7ffff80000000000, 1338 0x7ffffc0000000000, 1339 0x7ffffe0000000000, 1340 0x7fffff0000000000, 1341 0x7fffff8000000000, 1342 0x7fffffc000000000, 1343 0x7fffffe000000000, 1344 0x7ffffff000000000, 1345 0x7ffffff800000000, 1346 0x7ffffffc00000000, 1347 0x7ffffffe00000000, 1348 0x7fffffff00000000, 1349 0x7fffffff80000000, 1350 0x7fffffffc0000000, 1351 0x7fffffffe0000000, 1352 0x7ffffffff0000000, 1353 0x7ffffffff8000000, 1354 0x7ffffffffc000000, 1355 0x7ffffffffe000000, 1356 0x7fffffffff000000, 1357 0x7fffffffff800000, 1358 0x7fffffffffc00000, 1359 0x7fffffffffe00000, 1360 0x7ffffffffff00000, 1361 0x7ffffffffff80000, 1362 0x7ffffffffffc0000, 1363 0x7ffffffffffe0000, 1364 0x7fffffffffff0000, 1365 0x7fffffffffff8000, 1366 0x7fffffffffffc000, 1367 0x7fffffffffffe000, 1368 0x7ffffffffffff000, 1369 0x7ffffffffffff800, 1370 0x7ffffffffffffc00, 1371 0x7ffffffffffffe00, 1372 0x7fffffffffffff00, 1373 0x7fffffffffffff80, 1374 0x7fffffffffffffc0, 1375 0x7fffffffffffffe0, 1376 0x7ffffffffffffff0, 1377 0x7ffffffffffffff8, 1378 0x7ffffffffffffffc, 1379 0x7ffffffffffffffe, 1380 0x7fffffffffffffff, 1381 0x7fffffffffffffff, 1382 0x4000000000000001, 1383 0x6000000000000000, 1384 0x7000000000000000, 1385 0x7800000000000000, 1386 0x7c00000000000000, 1387 0x7e00000000000000, 1388 0x7f00000000000000, 1389 0x7f80000000000000, 1390 0x7fc0000000000000, 1391 0x7fe0000000000000, 1392 0x7ff0000000000000, 1393 0x7ff8000000000000, 1394 0x7ffc000000000000, 1395 0x7ffe000000000000, 1396 0x7fff000000000000, 1397 0x7fff800000000000, 1398 0x7fffc00000000000, 1399 0x7fffe00000000000, 1400 0x7ffff00000000000, 1401 0x7ffff80000000000, 1402 0x7ffffc0000000000, 1403 0x7ffffe0000000000, 1404 0x7fffff0000000000, 1405 0x7fffff8000000000, 1406 0x7fffffc000000000, 1407 0x7fffffe000000000, 1408 0x7ffffff000000000, 1409 0x7ffffff800000000, 1410 0x7ffffffc00000000, 1411 0x7ffffffe00000000, 1412 0x7fffffff00000000, 1413 0x7fffffff80000000, 1414 0x7fffffffc0000000, 1415 0x7fffffffe0000000, 1416 0x7ffffffff0000000, 1417 0x7ffffffff8000000, 1418 0x7ffffffffc000000, 1419 0x7ffffffffe000000, 1420 0x7fffffffff000000, 1421 0x7fffffffff800000, 1422 0x7fffffffffc00000, 1423 0x7fffffffffe00000, 1424 0x7ffffffffff00000, 1425 0x7ffffffffff80000, 1426 0x7ffffffffffc0000, 1427 0x7ffffffffffe0000, 1428 0x7fffffffffff0000, 1429 0x7fffffffffff8000, 1430 0x7fffffffffffc000, 1431 0x7fffffffffffe000, 1432 0x7ffffffffffff000, 1433 0x7ffffffffffff800, 1434 0x7ffffffffffffc00, 1435 0x7ffffffffffffe00, 1436 0x7fffffffffffff00, 1437 0x7fffffffffffff80, 1438 0x7fffffffffffffc0, 1439 0x7fffffffffffffe0, 1440 0x7ffffffffffffff0, 1441 0x7ffffffffffffff8, 1442 0x7ffffffffffffffc, 1443 0x7ffffffffffffffe, 1444 0x7fffffffffffffff, 1445 0x7fffffffffffffff, 1446 0x4000000000000001, 1447 0x6000000000000000, 1448 0x7000000000000000, 1449 0x7800000000000000, 1450 0x7c00000000000000, 1451 0x7e00000000000000, 1452 0x7f00000000000000, 1453 0x7f80000000000000, 1454 0x7fc0000000000000, 1455 0x7fe0000000000000, 1456 0x7ff0000000000000, 1457 0x7ff8000000000000, 1458 0x7ffc000000000000, 1459 0x7ffe000000000000, 1460 0x7fff000000000000, 1461 0x7fff800000000000, 1462 0x7fffc00000000000, 1463 0x7fffe00000000000, 1464 0x7ffff00000000000, 1465 0x7ffff80000000000, 1466 0x7ffffc0000000000, 1467 0x7ffffe0000000000, 1468 0x7fffff0000000000, 1469 0x7fffff8000000000, 1470 0x7fffffc000000000, 1471 0x7fffffe000000000, 1472 0x7ffffff000000000, 1473 0x7ffffff800000000, 1474 0x7ffffffc00000000, 1475 0x7ffffffe00000000, 1476 0x7fffffff00000000, 1477 0x7fffffff80000000, 1478 0x7fffffffc0000000, 1479 0x7fffffffe0000000, 1480 0x7ffffffff0000000, 1481 0x7ffffffff8000000, 1482 0x7ffffffffc000000, 1483 0x7ffffffffe000000, 1484 0x7fffffffff000000, 1485 0x7fffffffff800000, 1486 0x7fffffffffc00000, 1487 0x7fffffffffe00000, 1488 0x7ffffffffff00000, 1489 0x7ffffffffff80000, 1490 0x7ffffffffffc0000, 1491 0x7ffffffffffe0000, 1492 0x7fffffffffff0000, 1493 0x7fffffffffff8000, 1494 0x7fffffffffffc000, 1495 0x7fffffffffffe000, 1496 0x7ffffffffffff000, 1497 0x7ffffffffffff800, 1498 0x7ffffffffffffc00, 1499 0x7ffffffffffffe00, 1500 0x7fffffffffffff00, 1501 0x7fffffffffffff80, 1502 0x7fffffffffffffc0, 1503 0x7fffffffffffffe0, 1504 0x7ffffffffffffff0, 1505 0x7ffffffffffffff8, 1506 0x7ffffffffffffffc, 1507 0x7ffffffffffffffe, 1508 0x7fffffffffffffff, 1509 0x7fffffffffffffff, 1510 0x5555555555555555, 1511 0x6aaaaaaaaaaaaaaa, 1512 0x7555555555555555, 1513 0x7aaaaaaaaaaaaaaa, 1514 0x7d55555555555555, 1515 0x7eaaaaaaaaaaaaaa, 1516 0x7f55555555555555, 1517 0x7faaaaaaaaaaaaaa, 1518 0x7fd5555555555555, 1519 0x7feaaaaaaaaaaaaa, 1520 0x7ff5555555555555, 1521 0x7ffaaaaaaaaaaaaa, 1522 0x7ffd555555555555, 1523 0x7ffeaaaaaaaaaaaa, 1524 0x7fff555555555555, 1525 0x7fffaaaaaaaaaaaa, 1526 0x7fffd55555555555, 1527 0x7fffeaaaaaaaaaaa, 1528 0x7ffff55555555555, 1529 0x7ffffaaaaaaaaaaa, 1530 0x7ffffd5555555555, 1531 0x7ffffeaaaaaaaaaa, 1532 0x7fffff5555555555, 1533 0x7fffffaaaaaaaaaa, 1534 0x7fffffd555555555, 1535 0x7fffffeaaaaaaaaa, 1536 0x7ffffff555555555, 1537 0x7ffffffaaaaaaaaa, 1538 0x7ffffffd55555555, 1539 0x7ffffffeaaaaaaaa, 1540 0x7fffffff55555555, 1541 0x7fffffffaaaaaaaa, 1542 0x7fffffffd5555555, 1543 0x7fffffffeaaaaaaa, 1544 0x7ffffffff5555555, 1545 0x7ffffffffaaaaaaa, 1546 0x7ffffffffd555555, 1547 0x7ffffffffeaaaaaa, 1548 0x7fffffffff555555, 1549 0x7fffffffffaaaaaa, 1550 0x7fffffffffd55555, 1551 0x7fffffffffeaaaaa, 1552 0x7ffffffffff55555, 1553 0x7ffffffffffaaaaa, 1554 0x7ffffffffffd5555, 1555 0x7ffffffffffeaaaa, 1556 0x7fffffffffff5555, 1557 0x7fffffffffffaaaa, 1558 0x7fffffffffffd555, 1559 0x7fffffffffffeaaa, 1560 0x7ffffffffffff555, 1561 0x7ffffffffffffaaa, 1562 0x7ffffffffffffd55, 1563 0x7ffffffffffffeaa, 1564 0x7fffffffffffff55, 1565 0x7fffffffffffffaa, 1566 0x7fffffffffffffd5, 1567 0x7fffffffffffffea, 1568 0x7ffffffffffffff5, 1569 0x7ffffffffffffffa, 1570 0x7ffffffffffffffd, 1571 0x7ffffffffffffffe, 1572 0x7fffffffffffffff, 1573 0x7fffffffffffffff, 1574 0x6666666666666666, 1575 0x7333333333333333, 1576 0x7999999999999999, 1577 0x7ccccccccccccccc, 1578 0x7e66666666666666, 1579 0x7f33333333333333, 1580 0x7f99999999999999, 1581 0x7fcccccccccccccc, 1582 0x7fe6666666666666, 1583 0x7ff3333333333333, 1584 0x7ff9999999999999, 1585 0x7ffccccccccccccc, 1586 0x7ffe666666666666, 1587 0x7fff333333333333, 1588 0x7fff999999999999, 1589 0x7fffcccccccccccc, 1590 0x7fffe66666666666, 1591 0x7ffff33333333333, 1592 0x7ffff99999999999, 1593 0x7ffffccccccccccc, 1594 0x7ffffe6666666666, 1595 0x7fffff3333333333, 1596 0x7fffff9999999999, 1597 0x7fffffcccccccccc, 1598 0x7fffffe666666666, 1599 0x7ffffff333333333, 1600 0x7ffffff999999999, 1601 0x7ffffffccccccccc, 1602 0x7ffffffe66666666, 1603 0x7fffffff33333333, 1604 0x7fffffff99999999, 1605 0x7fffffffcccccccc, 1606 0x7fffffffe6666666, 1607 0x7ffffffff3333333, 1608 0x7ffffffff9999999, 1609 0x7ffffffffccccccc, 1610 0x7ffffffffe666666, 1611 0x7fffffffff333333, 1612 0x7fffffffff999999, 1613 0x7fffffffffcccccc, 1614 0x7fffffffffe66666, 1615 0x7ffffffffff33333, 1616 0x7ffffffffff99999, 1617 0x7ffffffffffccccc, 1618 0x7ffffffffffe6666, 1619 0x7fffffffffff3333, 1620 0x7fffffffffff9999, 1621 0x7fffffffffffcccc, 1622 0x7fffffffffffe666, 1623 0x7ffffffffffff333, 1624 0x7ffffffffffff999, 1625 0x7ffffffffffffccc, 1626 0x7ffffffffffffe66, 1627 0x7fffffffffffff33, 1628 0x7fffffffffffff99, 1629 0x7fffffffffffffcc, 1630 0x7fffffffffffffe6, 1631 0x7ffffffffffffff3, 1632 0x7ffffffffffffff9, 1633 0x7ffffffffffffffc, 1634 0x7ffffffffffffffe, 1635 0x7fffffffffffffff, 1636 0x7fffffffffffffff, 1637 0x7fffffffffffffff, 1638 0x7fffffffc0000000, 1639 0x7fffffffe0000000, 1640 0x7ffffffff0000000, 1641 0x7ffffffff8000000, 1642 0x7ffffffffc000000, 1643 0x7ffffffffe000000, 1644 0x7fffffffff000000, 1645 0x7fffffffff800000, 1646 0x7fffffffffc00000, 1647 0x7fffffffffe00000, 1648 0x7ffffffffff00000, 1649 0x7ffffffffff80000, 1650 0x7ffffffffffc0000, 1651 0x7ffffffffffe0000, 1652 0x7fffffffffff0000, 1653 0x7fffffffffff8000, 1654 0x7fffffffffffc000, 1655 0x7fffffffffffe000, 1656 0x7ffffffffffff000, 1657 0x7ffffffffffff800, 1658 0x7ffffffffffffc00, 1659 0x7ffffffffffffe00, 1660 0x7fffffffffffff00, 1661 0x7fffffffffffff80, 1662 0x7fffffffffffffc0, 1663 0x7fffffffffffffe0, 1664 0x7ffffffffffffff0, 1665 0x7ffffffffffffff8, 1666 0x7ffffffffffffffc, 1667 0x7ffffffffffffffe, 1668 0x7fffffffffffffff, 1669 0x7fffffffffffffff, 1670 0x7fffffffffffffff, 1671 0x7fffffffffffffff, 1672 0x7fffffffffffffff, 1673 0x7fffffffffffffff, 1674 0x7fffffffffffffff, 1675 0x7fffffffffffffff, 1676 0x7fffffffffffffff, 1677 0x7fffffffffffffff, 1678 0x7fffffffffffffff, 1679 0x7fffffffffffffff, 1680 0x7fffffffffffffff, 1681 0x7fffffffffffffff, 1682 0x7fffffffffffffff, 1683 0x7fffffffffffffff, 1684 0x7fffffffffffffff, 1685 0x7fffffffffffffff, 1686 0x7fffffffffffffff, 1687 0x7fffffffffffffff, 1688 0x7fffffffffffffff, 1689 0x7fffffffffffffff, 1690 0x7fffffffffffffff, 1691 0x7fffffffffffffff, 1692 0x7fffffffffffffff, 1693 0x7fffffffffffffff, 1694 0x7fffffffffffffff, 1695 0x7fffffffffffffff, 1696 0x7fffffffffffffff, 1697 0x7fffffffffffffff, 1698 0x7fffffffffffffff, 1699 0x7fffffffffffffff, 1700 0x7fffffffffffffff, 1701 0x7fffffffffffffff, 1702 0x7fffffffc0000000, 1703 0x7fffffffe0000000, 1704 0x7ffffffff0000000, 1705 0x7ffffffff8000000, 1706 0x7ffffffffc000000, 1707 0x7ffffffffe000000, 1708 0x7fffffffff000000, 1709 0x7fffffffff800000, 1710 0x7fffffffffc00000, 1711 0x7fffffffffe00000, 1712 0x7ffffffffff00000, 1713 0x7ffffffffff80000, 1714 0x7ffffffffffc0000, 1715 0x7ffffffffffe0000, 1716 0x7fffffffffff0000, 1717 0x7fffffffffff8000, 1718 0x7fffffffffffc000, 1719 0x7fffffffffffe000, 1720 0x7ffffffffffff000, 1721 0x7ffffffffffff800, 1722 0x7ffffffffffffc00, 1723 0x7ffffffffffffe00, 1724 0x7fffffffffffff00, 1725 0x7fffffffffffff80, 1726 0x7fffffffffffffc0, 1727 0x7fffffffffffffe0, 1728 0x7ffffffffffffff0, 1729 0x7ffffffffffffff8, 1730 0x7ffffffffffffffc, 1731 0x7ffffffffffffffe, 1732 0x7fffffffffffffff, 1733 0x7fffffffffffffff, 1734 0x7fffffffffffffff, 1735 0x7fffffffffffffff, 1736 0x7fffffffffffffff, 1737 0x7fffffffffffffff, 1738 0x7fffffffffffffff, 1739 0x7fffffffffffffff, 1740 0x7fffffffffffffff, 1741 0x7fffffffffffffff, 1742 0x7fffffffffffffff, 1743 0x7fffffffffffffff, 1744 0x7fffffffffffffff, 1745 0x7fffffffffffffff, 1746 0x7fffffffffffffff, 1747 0x7fffffffffffffff, 1748 0x7fffffffffffffff, 1749 0x7fffffffffffffff, 1750 0x7fffffffffffffff, 1751 0x7fffffffffffffff, 1752 0x7fffffffffffffff, 1753 0x7fffffffffffffff, 1754 0x7fffffffffffffff, 1755 0x7fffffffffffffff, 1756 0x7fffffffffffffff, 1757 0x7fffffffffffffff, 1758 0x7fffffffffffffff, 1759 0x7fffffffffffffff, 1760 0x7fffffffffffffff, 1761 0x7fffffffffffffff, 1762 0x7fffffffffffffff, 1763 0x7fffffffffffffff, 1764 0x7fffffffffffffff, 1765 0x7fffffffffffffff, 1766 0x7fffffffc0000001, 1767 0x7fffffffe0000000, 1768 0x7ffffffff0000000, 1769 0x7ffffffff8000000, 1770 0x7ffffffffc000000, 1771 0x7ffffffffe000000, 1772 0x7fffffffff000000, 1773 0x7fffffffff800000, 1774 0x7fffffffffc00000, 1775 0x7fffffffffe00000, 1776 0x7ffffffffff00000, 1777 0x7ffffffffff80000, 1778 0x7ffffffffffc0000, 1779 0x7ffffffffffe0000, 1780 0x7fffffffffff0000, 1781 0x7fffffffffff8000, 1782 0x7fffffffffffc000, 1783 0x7fffffffffffe000, 1784 0x7ffffffffffff000, 1785 0x7ffffffffffff800, 1786 0x7ffffffffffffc00, 1787 0x7ffffffffffffe00, 1788 0x7fffffffffffff00, 1789 0x7fffffffffffff80, 1790 0x7fffffffffffffc0, 1791 0x7fffffffffffffe0, 1792 0x7ffffffffffffff0, 1793 0x7ffffffffffffff8, 1794 0x7ffffffffffffffc, 1795 0x7ffffffffffffffe, 1796 0x7fffffffffffffff, 1797 0x7fffffffffffffff, 1798 0x7fffffffffffffff, 1799 0x7fffffffffffffff, 1800 0x7fffffffffffffff, 1801 0x7fffffffffffffff, 1802 0x7fffffffffffffff, 1803 0x7fffffffffffffff, 1804 0x7fffffffffffffff, 1805 0x7fffffffffffffff, 1806 0x7fffffffffffffff, 1807 0x7fffffffffffffff, 1808 0x7fffffffffffffff, 1809 0x7fffffffffffffff, 1810 0x7fffffffffffffff, 1811 0x7fffffffffffffff, 1812 0x7fffffffffffffff, 1813 0x7fffffffffffffff, 1814 0x7fffffffffffffff, 1815 0x7fffffffffffffff, 1816 0x7fffffffffffffff, 1817 0x7fffffffffffffff, 1818 0x7fffffffffffffff, 1819 0x7fffffffffffffff, 1820 0x7fffffffffffffff, 1821 0x7fffffffffffffff, 1822 0x7fffffffffffffff, 1823 0x7fffffffffffffff, 1824 0x7fffffffffffffff, 1825 0x7fffffffffffffff, 1826 0x7fffffffffffffff, 1827 0x7fffffffffffffff, 1828 0x7fffffffffffffff, 1829 0x7fffffffffffffff, 1830 0x7fffffffc0000001, 1831 0x7fffffffe0000000, 1832 0x7ffffffff0000000, 1833 0x7ffffffff8000000, 1834 0x7ffffffffc000000, 1835 0x7ffffffffe000000, 1836 0x7fffffffff000000, 1837 0x7fffffffff800000, 1838 0x7fffffffffc00000, 1839 0x7fffffffffe00000, 1840 0x7ffffffffff00000, 1841 0x7ffffffffff80000, 1842 0x7ffffffffffc0000, 1843 0x7ffffffffffe0000, 1844 0x7fffffffffff0000, 1845 0x7fffffffffff8000, 1846 0x7fffffffffffc000, 1847 0x7fffffffffffe000, 1848 0x7ffffffffffff000, 1849 0x7ffffffffffff800, 1850 0x7ffffffffffffc00, 1851 0x7ffffffffffffe00, 1852 0x7fffffffffffff00, 1853 0x7fffffffffffff80, 1854 0x7fffffffffffffc0, 1855 0x7fffffffffffffe0, 1856 0x7ffffffffffffff0, 1857 0x7ffffffffffffff8, 1858 0x7ffffffffffffffc, 1859 0x7ffffffffffffffe, 1860 0x7fffffffffffffff, 1861 0x7fffffffffffffff, 1862 0x7fffffffffffffff, 1863 0x7fffffffffffffff, 1864 0x7fffffffffffffff, 1865 0x7fffffffffffffff, 1866 0x7fffffffffffffff, 1867 0x7fffffffffffffff, 1868 0x7fffffffffffffff, 1869 0x7fffffffffffffff, 1870 0x7fffffffffffffff, 1871 0x7fffffffffffffff, 1872 0x7fffffffffffffff, 1873 0x7fffffffffffffff, 1874 0x7fffffffffffffff, 1875 0x7fffffffffffffff, 1876 0x7fffffffffffffff, 1877 0x7fffffffffffffff, 1878 0x7fffffffffffffff, 1879 0x7fffffffffffffff, 1880 0x7fffffffffffffff, 1881 0x7fffffffffffffff, 1882 0x7fffffffffffffff, 1883 0x7fffffffffffffff, 1884 0x7fffffffffffffff, 1885 0x7fffffffffffffff, 1886 0x7fffffffffffffff, 1887 0x7fffffffffffffff, 1888 0x7fffffffffffffff, 1889 0x7fffffffffffffff, 1890 0x7fffffffffffffff, 1891 0x7fffffffffffffff, 1892 0x7fffffffffffffff, 1893 0x7fffffffffffffff, 1894 0x7fffffffffffc000, 1895 0x7fffffffffffe000, 1896 0x7ffffffffffff000, 1897 0x7ffffffffffff800, 1898 0x7ffffffffffffc00, 1899 0x7ffffffffffffe00, 1900 0x7fffffffffffff00, 1901 0x7fffffffffffff80, 1902 0x7fffffffffffffc0, 1903 0x7fffffffffffffe0, 1904 0x7ffffffffffffff0, 1905 0x7ffffffffffffff8, 1906 0x7ffffffffffffffc, 1907 0x7ffffffffffffffe, 1908 0x7fffffffffffffff, 1909 0x7fffffffffffffff, 1910 0x7fffffffffffffff, 1911 0x7fffffffffffffff, 1912 0x7fffffffffffffff, 1913 0x7fffffffffffffff, 1914 0x7fffffffffffffff, 1915 0x7fffffffffffffff, 1916 0x7fffffffffffffff, 1917 0x7fffffffffffffff, 1918 0x7fffffffffffffff, 1919 0x7fffffffffffffff, 1920 0x7fffffffffffffff, 1921 0x7fffffffffffffff, 1922 0x7fffffffffffffff, 1923 0x7fffffffffffffff, 1924 0x7fffffffffffffff, 1925 0x7fffffffffffffff, 1926 0x7fffffffffffffff, 1927 0x7fffffffffffffff, 1928 0x7fffffffffffffff, 1929 0x7fffffffffffffff, 1930 0x7fffffffffffffff, 1931 0x7fffffffffffffff, 1932 0x7fffffffffffffff, 1933 0x7fffffffffffffff, 1934 0x7fffffffffffffff, 1935 0x7fffffffffffffff, 1936 0x7fffffffffffffff, 1937 0x7fffffffffffffff, 1938 0x7fffffffffffffff, 1939 0x7fffffffffffffff, 1940 0x7fffffffffffffff, 1941 0x7fffffffffffffff, 1942 0x7fffffffffffffff, 1943 0x7fffffffffffffff, 1944 0x7fffffffffffffff, 1945 0x7fffffffffffffff, 1946 0x7fffffffffffffff, 1947 0x7fffffffffffffff, 1948 0x7fffffffffffffff, 1949 0x7fffffffffffffff, 1950 0x7fffffffffffffff, 1951 0x7fffffffffffffff, 1952 0x7fffffffffffffff, 1953 0x7fffffffffffffff, 1954 0x7fffffffffffffff, 1955 0x7fffffffffffffff, 1956 0x7fffffffffffffff, 1957 0x7fffffffffffffff, 1958 0x7fffffffffffc000, 1959 0x7fffffffffffe000, 1960 0x7ffffffffffff000, 1961 0x7ffffffffffff800, 1962 0x7ffffffffffffc00, 1963 0x7ffffffffffffe00, 1964 0x7fffffffffffff00, 1965 0x7fffffffffffff80, 1966 0x7fffffffffffffc0, 1967 0x7fffffffffffffe0, 1968 0x7ffffffffffffff0, 1969 0x7ffffffffffffff8, 1970 0x7ffffffffffffffc, 1971 0x7ffffffffffffffe, 1972 0x7fffffffffffffff, 1973 0x7fffffffffffffff, 1974 0x7fffffffffffffff, 1975 0x7fffffffffffffff, 1976 0x7fffffffffffffff, 1977 0x7fffffffffffffff, 1978 0x7fffffffffffffff, 1979 0x7fffffffffffffff, 1980 0x7fffffffffffffff, 1981 0x7fffffffffffffff, 1982 0x7fffffffffffffff, 1983 0x7fffffffffffffff, 1984 0x7fffffffffffffff, 1985 0x7fffffffffffffff, 1986 0x7fffffffffffffff, 1987 0x7fffffffffffffff, 1988 0x7fffffffffffffff, 1989 0x7fffffffffffffff, 1990 0x7fffffffffffffff, 1991 0x7fffffffffffffff, 1992 0x7fffffffffffffff, 1993 0x7fffffffffffffff, 1994 0x7fffffffffffffff, 1995 0x7fffffffffffffff, 1996 0x7fffffffffffffff, 1997 0x7fffffffffffffff, 1998 0x7fffffffffffffff, 1999 0x7fffffffffffffff, 2000 0x7fffffffffffffff, 2001 0x7fffffffffffffff, 2002 0x7fffffffffffffff, 2003 0x7fffffffffffffff, 2004 0x7fffffffffffffff, 2005 0x7fffffffffffffff, 2006 0x7fffffffffffffff, 2007 0x7fffffffffffffff, 2008 0x7fffffffffffffff, 2009 0x7fffffffffffffff, 2010 0x7fffffffffffffff, 2011 0x7fffffffffffffff, 2012 0x7fffffffffffffff, 2013 0x7fffffffffffffff, 2014 0x7fffffffffffffff, 2015 0x7fffffffffffffff, 2016 0x7fffffffffffffff, 2017 0x7fffffffffffffff, 2018 0x7fffffffffffffff, 2019 0x7fffffffffffffff, 2020 0x7fffffffffffffff, 2021 0x7fffffffffffffff, 2022 0x7fffffffffffc001, 2023 0x7fffffffffffe000, 2024 0x7ffffffffffff000, 2025 0x7ffffffffffff800, 2026 0x7ffffffffffffc00, 2027 0x7ffffffffffffe00, 2028 0x7fffffffffffff00, 2029 0x7fffffffffffff80, 2030 0x7fffffffffffffc0, 2031 0x7fffffffffffffe0, 2032 0x7ffffffffffffff0, 2033 0x7ffffffffffffff8, 2034 0x7ffffffffffffffc, 2035 0x7ffffffffffffffe, 2036 0x7fffffffffffffff, 2037 0x7fffffffffffffff, 2038 0x7fffffffffffffff, 2039 0x7fffffffffffffff, 2040 0x7fffffffffffffff, 2041 0x7fffffffffffffff, 2042 0x7fffffffffffffff, 2043 0x7fffffffffffffff, 2044 0x7fffffffffffffff, 2045 0x7fffffffffffffff, 2046 0x7fffffffffffffff, 2047 0x7fffffffffffffff, 2048 0x7fffffffffffffff, 2049 0x7fffffffffffffff, 2050 0x7fffffffffffffff, 2051 0x7fffffffffffffff, 2052 0x7fffffffffffffff, 2053 0x7fffffffffffffff, 2054 0x7fffffffffffffff, 2055 0x7fffffffffffffff, 2056 0x7fffffffffffffff, 2057 0x7fffffffffffffff, 2058 0x7fffffffffffffff, 2059 0x7fffffffffffffff, 2060 0x7fffffffffffffff, 2061 0x7fffffffffffffff, 2062 0x7fffffffffffffff, 2063 0x7fffffffffffffff, 2064 0x7fffffffffffffff, 2065 0x7fffffffffffffff, 2066 0x7fffffffffffffff, 2067 0x7fffffffffffffff, 2068 0x7fffffffffffffff, 2069 0x7fffffffffffffff, 2070 0x7fffffffffffffff, 2071 0x7fffffffffffffff, 2072 0x7fffffffffffffff, 2073 0x7fffffffffffffff, 2074 0x7fffffffffffffff, 2075 0x7fffffffffffffff, 2076 0x7fffffffffffffff, 2077 0x7fffffffffffffff, 2078 0x7fffffffffffffff, 2079 0x7fffffffffffffff, 2080 0x7fffffffffffffff, 2081 0x7fffffffffffffff, 2082 0x7fffffffffffffff, 2083 0x7fffffffffffffff, 2084 0x7fffffffffffffff, 2085 0x7fffffffffffffff, 2086 0x7fffffffffffc001, 2087 0x7fffffffffffe000, 2088 0x7ffffffffffff000, 2089 0x7ffffffffffff800, 2090 0x7ffffffffffffc00, 2091 0x7ffffffffffffe00, 2092 0x7fffffffffffff00, 2093 0x7fffffffffffff80, 2094 0x7fffffffffffffc0, 2095 0x7fffffffffffffe0, 2096 0x7ffffffffffffff0, 2097 0x7ffffffffffffff8, 2098 0x7ffffffffffffffc, 2099 0x7ffffffffffffffe, 2100 0x7fffffffffffffff, 2101 0x7fffffffffffffff, 2102 0x7fffffffffffffff, 2103 0x7fffffffffffffff, 2104 0x7fffffffffffffff, 2105 0x7fffffffffffffff, 2106 0x7fffffffffffffff, 2107 0x7fffffffffffffff, 2108 0x7fffffffffffffff, 2109 0x7fffffffffffffff, 2110 0x7fffffffffffffff, 2111 0x7fffffffffffffff, 2112 0x7fffffffffffffff, 2113 0x7fffffffffffffff, 2114 0x7fffffffffffffff, 2115 0x7fffffffffffffff, 2116 0x7fffffffffffffff, 2117 0x7fffffffffffffff, 2118 0x7fffffffffffffff, 2119 0x7fffffffffffffff, 2120 0x7fffffffffffffff, 2121 0x7fffffffffffffff, 2122 0x7fffffffffffffff, 2123 0x7fffffffffffffff, 2124 0x7fffffffffffffff, 2125 0x7fffffffffffffff, 2126 0x7fffffffffffffff, 2127 0x7fffffffffffffff, 2128 0x7fffffffffffffff, 2129 0x7fffffffffffffff, 2130 0x7fffffffffffffff, 2131 0x7fffffffffffffff, 2132 0x7fffffffffffffff, 2133 0x7fffffffffffffff, 2134 0x7fffffffffffffff, 2135 0x7fffffffffffffff, 2136 0x7fffffffffffffff, 2137 0x7fffffffffffffff, 2138 0x7fffffffffffffff, 2139 0x7fffffffffffffff, 2140 0x7fffffffffffffff, 2141 0x7fffffffffffffff, 2142 0x7fffffffffffffff, 2143 0x7fffffffffffffff, 2144 0x7fffffffffffffff, 2145 0x7fffffffffffffff, 2146 0x7fffffffffffffff, 2147 0x7fffffffffffffff, 2148 0x7fffffffffffffff, 2149 0x7fffffffffffffff, 2150 0x7fffffffffffffc0, 2151 0x7fffffffffffffe0, 2152 0x7ffffffffffffff0, 2153 0x7ffffffffffffff8, 2154 0x7ffffffffffffffc, 2155 0x7ffffffffffffffe, 2156 0x7fffffffffffffff, 2157 0x7fffffffffffffff, 2158 0x7fffffffffffffff, 2159 0x7fffffffffffffff, 2160 0x7fffffffffffffff, 2161 0x7fffffffffffffff, 2162 0x7fffffffffffffff, 2163 0x7fffffffffffffff, 2164 0x7fffffffffffffff, 2165 0x7fffffffffffffff, 2166 0x7fffffffffffffff, 2167 0x7fffffffffffffff, 2168 0x7fffffffffffffff, 2169 0x7fffffffffffffff, 2170 0x7fffffffffffffff, 2171 0x7fffffffffffffff, 2172 0x7fffffffffffffff, 2173 0x7fffffffffffffff, 2174 0x7fffffffffffffff, 2175 0x7fffffffffffffff, 2176 0x7fffffffffffffff, 2177 0x7fffffffffffffff, 2178 0x7fffffffffffffff, 2179 0x7fffffffffffffff, 2180 0x7fffffffffffffff, 2181 0x7fffffffffffffff, 2182 0x7fffffffffffffff, 2183 0x7fffffffffffffff, 2184 0x7fffffffffffffff, 2185 0x7fffffffffffffff, 2186 0x7fffffffffffffff, 2187 0x7fffffffffffffff, 2188 0x7fffffffffffffff, 2189 0x7fffffffffffffff, 2190 0x7fffffffffffffff, 2191 0x7fffffffffffffff, 2192 0x7fffffffffffffff, 2193 0x7fffffffffffffff, 2194 0x7fffffffffffffff, 2195 0x7fffffffffffffff, 2196 0x7fffffffffffffff, 2197 0x7fffffffffffffff, 2198 0x7fffffffffffffff, 2199 0x7fffffffffffffff, 2200 0x7fffffffffffffff, 2201 0x7fffffffffffffff, 2202 0x7fffffffffffffff, 2203 0x7fffffffffffffff, 2204 0x7fffffffffffffff, 2205 0x7fffffffffffffff, 2206 0x7fffffffffffffff, 2207 0x7fffffffffffffff, 2208 0x7fffffffffffffff, 2209 0x7fffffffffffffff, 2210 0x7fffffffffffffff, 2211 0x7fffffffffffffff, 2212 0x7fffffffffffffff, 2213 0x7fffffffffffffff, 2214 0x7fffffffffffffc0, 2215 0x7fffffffffffffe0, 2216 0x7ffffffffffffff0, 2217 0x7ffffffffffffff8, 2218 0x7ffffffffffffffc, 2219 0x7ffffffffffffffe, 2220 0x7fffffffffffffff, 2221 0x7fffffffffffffff, 2222 0x7fffffffffffffff, 2223 0x7fffffffffffffff, 2224 0x7fffffffffffffff, 2225 0x7fffffffffffffff, 2226 0x7fffffffffffffff, 2227 0x7fffffffffffffff, 2228 0x7fffffffffffffff, 2229 0x7fffffffffffffff, 2230 0x7fffffffffffffff, 2231 0x7fffffffffffffff, 2232 0x7fffffffffffffff, 2233 0x7fffffffffffffff, 2234 0x7fffffffffffffff, 2235 0x7fffffffffffffff, 2236 0x7fffffffffffffff, 2237 0x7fffffffffffffff, 2238 0x7fffffffffffffff, 2239 0x7fffffffffffffff, 2240 0x7fffffffffffffff, 2241 0x7fffffffffffffff, 2242 0x7fffffffffffffff, 2243 0x7fffffffffffffff, 2244 0x7fffffffffffffff, 2245 0x7fffffffffffffff, 2246 0x7fffffffffffffff, 2247 0x7fffffffffffffff, 2248 0x7fffffffffffffff, 2249 0x7fffffffffffffff, 2250 0x7fffffffffffffff, 2251 0x7fffffffffffffff, 2252 0x7fffffffffffffff, 2253 0x7fffffffffffffff, 2254 0x7fffffffffffffff, 2255 0x7fffffffffffffff, 2256 0x7fffffffffffffff, 2257 0x7fffffffffffffff, 2258 0x7fffffffffffffff, 2259 0x7fffffffffffffff, 2260 0x7fffffffffffffff, 2261 0x7fffffffffffffff, 2262 0x7fffffffffffffff, 2263 0x7fffffffffffffff, 2264 0x7fffffffffffffff, 2265 0x7fffffffffffffff, 2266 0x7fffffffffffffff, 2267 0x7fffffffffffffff, 2268 0x7fffffffffffffff, 2269 0x7fffffffffffffff, 2270 0x7fffffffffffffff, 2271 0x7fffffffffffffff, 2272 0x7fffffffffffffff, 2273 0x7fffffffffffffff, 2274 0x7fffffffffffffff, 2275 0x7fffffffffffffff, 2276 0x7fffffffffffffff, 2277 0x7fffffffffffffff, 2278 0x7fffffffffffffc1, 2279 0x7fffffffffffffe0, 2280 0x7ffffffffffffff0, 2281 0x7ffffffffffffff8, 2282 0x7ffffffffffffffc, 2283 0x7ffffffffffffffe, 2284 0x7fffffffffffffff, 2285 0x7fffffffffffffff, 2286 0x7fffffffffffffff, 2287 0x7fffffffffffffff, 2288 0x7fffffffffffffff, 2289 0x7fffffffffffffff, 2290 0x7fffffffffffffff, 2291 0x7fffffffffffffff, 2292 0x7fffffffffffffff, 2293 0x7fffffffffffffff, 2294 0x7fffffffffffffff, 2295 0x7fffffffffffffff, 2296 0x7fffffffffffffff, 2297 0x7fffffffffffffff, 2298 0x7fffffffffffffff, 2299 0x7fffffffffffffff, 2300 0x7fffffffffffffff, 2301 0x7fffffffffffffff, 2302 0x7fffffffffffffff, 2303 0x7fffffffffffffff, 2304 0x7fffffffffffffff, 2305 0x7fffffffffffffff, 2306 0x7fffffffffffffff, 2307 0x7fffffffffffffff, 2308 0x7fffffffffffffff, 2309 0x7fffffffffffffff, 2310 0x7fffffffffffffff, 2311 0x7fffffffffffffff, 2312 0x7fffffffffffffff, 2313 0x7fffffffffffffff, 2314 0x7fffffffffffffff, 2315 0x7fffffffffffffff, 2316 0x7fffffffffffffff, 2317 0x7fffffffffffffff, 2318 0x7fffffffffffffff, 2319 0x7fffffffffffffff, 2320 0x7fffffffffffffff, 2321 0x7fffffffffffffff, 2322 0x7fffffffffffffff, 2323 0x7fffffffffffffff, 2324 0x7fffffffffffffff, 2325 0x7fffffffffffffff, 2326 0x7fffffffffffffff, 2327 0x7fffffffffffffff, 2328 0x7fffffffffffffff, 2329 0x7fffffffffffffff, 2330 0x7fffffffffffffff, 2331 0x7fffffffffffffff, 2332 0x7fffffffffffffff, 2333 0x7fffffffffffffff, 2334 0x7fffffffffffffff, 2335 0x7fffffffffffffff, 2336 0x7fffffffffffffff, 2337 0x7fffffffffffffff, 2338 0x7fffffffffffffff, 2339 0x7fffffffffffffff, 2340 0x7fffffffffffffff, 2341 0x7fffffffffffffff, 2342 0x7fffffffffffffc1, 2343 0x7fffffffffffffe0, 2344 0x7ffffffffffffff0, 2345 0x7ffffffffffffff8, 2346 0x7ffffffffffffffc, 2347 0x7ffffffffffffffe, 2348 0x7fffffffffffffff, 2349 0x7fffffffffffffff, 2350 0x7fffffffffffffff, 2351 0x7fffffffffffffff, 2352 0x7fffffffffffffff, 2353 0x7fffffffffffffff, 2354 0x7fffffffffffffff, 2355 0x7fffffffffffffff, 2356 0x7fffffffffffffff, 2357 0x7fffffffffffffff, 2358 0x7fffffffffffffff, 2359 0x7fffffffffffffff, 2360 0x7fffffffffffffff, 2361 0x7fffffffffffffff, 2362 0x7fffffffffffffff, 2363 0x7fffffffffffffff, 2364 0x7fffffffffffffff, 2365 0x7fffffffffffffff, 2366 0x7fffffffffffffff, 2367 0x7fffffffffffffff, 2368 0x7fffffffffffffff, 2369 0x7fffffffffffffff, 2370 0x7fffffffffffffff, 2371 0x7fffffffffffffff, 2372 0x7fffffffffffffff, 2373 0x7fffffffffffffff, 2374 0x7fffffffffffffff, 2375 0x7fffffffffffffff, 2376 0x7fffffffffffffff, 2377 0x7fffffffffffffff, 2378 0x7fffffffffffffff, 2379 0x7fffffffffffffff, 2380 0x7fffffffffffffff, 2381 0x7fffffffffffffff, 2382 0x7fffffffffffffff, 2383 0x7fffffffffffffff, 2384 0x7fffffffffffffff, 2385 0x7fffffffffffffff, 2386 0x7fffffffffffffff, 2387 0x7fffffffffffffff, 2388 0x7fffffffffffffff, 2389 0x7fffffffffffffff, 2390 0x7fffffffffffffff, 2391 0x7fffffffffffffff, 2392 0x7fffffffffffffff, 2393 0x7fffffffffffffff, 2394 0x7fffffffffffffff, 2395 0x7fffffffffffffff, 2396 0x7fffffffffffffff, 2397 0x7fffffffffffffff, 2398 0x7fffffffffffffff, 2399 0x7fffffffffffffff, 2400 0x7fffffffffffffff, 2401 0x7fffffffffffffff, 2402 0x7fffffffffffffff, 2403 0x7fffffffffffffff, 2404 0x7fffffffffffffff, 2405 0x7fffffffffffffff, 2406 0x7fffffffffffffe0, 2407 0x7ffffffffffffff0, 2408 0x7ffffffffffffff8, 2409 0x7ffffffffffffffc, 2410 0x7ffffffffffffffe, 2411 0x7fffffffffffffff, 2412 0x7fffffffffffffff, 2413 0x7fffffffffffffff, 2414 0x7fffffffffffffff, 2415 0x7fffffffffffffff, 2416 0x7fffffffffffffff, 2417 0x7fffffffffffffff, 2418 0x7fffffffffffffff, 2419 0x7fffffffffffffff, 2420 0x7fffffffffffffff, 2421 0x7fffffffffffffff, 2422 0x7fffffffffffffff, 2423 0x7fffffffffffffff, 2424 0x7fffffffffffffff, 2425 0x7fffffffffffffff, 2426 0x7fffffffffffffff, 2427 0x7fffffffffffffff, 2428 0x7fffffffffffffff, 2429 0x7fffffffffffffff, 2430 0x7fffffffffffffff, 2431 0x7fffffffffffffff, 2432 0x7fffffffffffffff, 2433 0x7fffffffffffffff, 2434 0x7fffffffffffffff, 2435 0x7fffffffffffffff, 2436 0x7fffffffffffffff, 2437 0x7fffffffffffffff, 2438 0x7fffffffffffffff, 2439 0x7fffffffffffffff, 2440 0x7fffffffffffffff, 2441 0x7fffffffffffffff, 2442 0x7fffffffffffffff, 2443 0x7fffffffffffffff, 2444 0x7fffffffffffffff, 2445 0x7fffffffffffffff, 2446 0x7fffffffffffffff, 2447 0x7fffffffffffffff, 2448 0x7fffffffffffffff, 2449 0x7fffffffffffffff, 2450 0x7fffffffffffffff, 2451 0x7fffffffffffffff, 2452 0x7fffffffffffffff, 2453 0x7fffffffffffffff, 2454 0x7fffffffffffffff, 2455 0x7fffffffffffffff, 2456 0x7fffffffffffffff, 2457 0x7fffffffffffffff, 2458 0x7fffffffffffffff, 2459 0x7fffffffffffffff, 2460 0x7fffffffffffffff, 2461 0x7fffffffffffffff, 2462 0x7fffffffffffffff, 2463 0x7fffffffffffffff, 2464 0x7fffffffffffffff, 2465 0x7fffffffffffffff, 2466 0x7fffffffffffffff, 2467 0x7fffffffffffffff, 2468 0x7fffffffffffffff, 2469 0x7fffffffffffffff, 2470 0x7ffffffffffffffe, 2471 0x7fffffffffffffff, 2472 0x7fffffffffffffff, 2473 0x7fffffffffffffff, 2474 0x7fffffffffffffff, 2475 0x7fffffffffffffff, 2476 0x7fffffffffffffff, 2477 0x7fffffffffffffff, 2478 0x7fffffffffffffff, 2479 0x7fffffffffffffff, 2480 0x7fffffffffffffff, 2481 0x7fffffffffffffff, 2482 0x7fffffffffffffff, 2483 0x7fffffffffffffff, 2484 0x7fffffffffffffff, 2485 0x7fffffffffffffff, 2486 0x7fffffffffffffff, 2487 0x7fffffffffffffff, 2488 0x7fffffffffffffff, 2489 0x7fffffffffffffff, 2490 0x7fffffffffffffff, 2491 0x7fffffffffffffff, 2492 0x7fffffffffffffff, 2493 0x7fffffffffffffff, 2494 0x7fffffffffffffff, 2495 0x7fffffffffffffff, 2496 0x7fffffffffffffff, 2497 0x7fffffffffffffff, 2498 0x7fffffffffffffff, 2499 0x7fffffffffffffff, 2500 0x7fffffffffffffff, 2501 0x7fffffffffffffff, 2502 0x7fffffffffffffff, 2503 0x7fffffffffffffff, 2504 0x7fffffffffffffff, 2505 0x7fffffffffffffff, 2506 0x7fffffffffffffff, 2507 0x7fffffffffffffff, 2508 0x7fffffffffffffff, 2509 0x7fffffffffffffff, 2510 0x7fffffffffffffff, 2511 0x7fffffffffffffff, 2512 0x7fffffffffffffff, 2513 0x7fffffffffffffff, 2514 0x7fffffffffffffff, 2515 0x7fffffffffffffff, 2516 0x7fffffffffffffff, 2517 0x7fffffffffffffff, 2518 0x7fffffffffffffff, 2519 0x7fffffffffffffff, 2520 0x7fffffffffffffff, 2521 0x7fffffffffffffff, 2522 0x7fffffffffffffff, 2523 0x7fffffffffffffff, 2524 0x7fffffffffffffff, 2525 0x7fffffffffffffff, 2526 0x7fffffffffffffff, 2527 0x7fffffffffffffff, 2528 0x7fffffffffffffff, 2529 0x7fffffffffffffff, 2530 0x7fffffffffffffff, 2531 0x7fffffffffffffff, 2532 0x7fffffffffffffff, 2533 0x7fffffffffffffff, 2534 0x7fffffffffffffff, 2535 0x7fffffffffffffff, 2536 0x7fffffffffffffff, 2537 0x7fffffffffffffff, 2538 0x7fffffffffffffff, 2539 0x7fffffffffffffff, 2540 0x7fffffffffffffff, 2541 0x7fffffffffffffff, 2542 0x7fffffffffffffff, 2543 0x7fffffffffffffff, 2544 0x7fffffffffffffff, 2545 0x7fffffffffffffff, 2546 0x7fffffffffffffff, 2547 0x7fffffffffffffff, 2548 0x7fffffffffffffff, 2549 0x7fffffffffffffff, 2550 0x7fffffffffffffff, 2551 0x7fffffffffffffff, 2552 0x7fffffffffffffff, 2553 0x7fffffffffffffff, 2554 0x7fffffffffffffff, 2555 0x7fffffffffffffff, 2556 0x7fffffffffffffff, 2557 0x7fffffffffffffff, 2558 0x7fffffffffffffff, 2559 0x7fffffffffffffff, 2560 0x7fffffffffffffff, 2561 0x7fffffffffffffff, 2562 0x7fffffffffffffff, 2563 0x7fffffffffffffff, 2564 0x7fffffffffffffff, 2565 0x7fffffffffffffff, 2566 0x7fffffffffffffff, 2567 0x7fffffffffffffff, 2568 0x7fffffffffffffff, 2569 0x7fffffffffffffff, 2570 0x7fffffffffffffff, 2571 0x7fffffffffffffff, 2572 0x7fffffffffffffff, 2573 0x7fffffffffffffff, 2574 0x7fffffffffffffff, 2575 0x7fffffffffffffff, 2576 0x7fffffffffffffff, 2577 0x7fffffffffffffff, 2578 0x7fffffffffffffff, 2579 0x7fffffffffffffff, 2580 0x7fffffffffffffff, 2581 0x7fffffffffffffff, 2582 0x7fffffffffffffff, 2583 0x7fffffffffffffff, 2584 0x7fffffffffffffff, 2585 0x7fffffffffffffff, 2586 0x7fffffffffffffff, 2587 0x7fffffffffffffff, 2588 0x7fffffffffffffff, 2589 0x7fffffffffffffff, 2590 0x7fffffffffffffff, 2591 0x7fffffffffffffff, 2592 0x7fffffffffffffff, 2593 0x7fffffffffffffff, 2594 0x7fffffffffffffff, 2595 0x7fffffffffffffff, 2596 0x7fffffffffffffff, 2597 0x7fffffffffffffff, 2598 }; 2599 const unsigned kExpectedCount_NEON_sri_D_2OPIMM = 2560; 2600 2601 #endif // VIXL_SIM_SRI_D_2OPIMM_TRACE_A64_H_ 2602
