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_USRA_D_2OPIMM_TRACE_A64_H_ 35 #define VIXL_SIM_USRA_D_2OPIMM_TRACE_A64_H_ 36 37 const uint64_t kExpected_NEON_usra_D_2OPIMM[] = { 38 0x7fffffffffffffff, 39 0xbffffffffffffffe, 40 0xdffffffffffffffd, 41 0xeffffffffffffffc, 42 0xf7fffffffffffffb, 43 0xfbfffffffffffffa, 44 0xfdfffffffffffff9, 45 0xfefffffffffffff8, 46 0xff7ffffffffffff7, 47 0xffbffffffffffff6, 48 0xffdffffffffffff5, 49 0xffeffffffffffff4, 50 0xfff7fffffffffff3, 51 0xfffbfffffffffff2, 52 0xfffdfffffffffff1, 53 0xfffefffffffffff0, 54 0xffff7fffffffffef, 55 0xffffbfffffffffee, 56 0xffffdfffffffffed, 57 0xffffefffffffffec, 58 0xfffff7ffffffffeb, 59 0xfffffbffffffffea, 60 0xfffffdffffffffe9, 61 0xfffffeffffffffe8, 62 0xffffff7fffffffe7, 63 0xffffffbfffffffe6, 64 0xffffffdfffffffe5, 65 0xffffffefffffffe4, 66 0xfffffff7ffffffe3, 67 0xfffffffbffffffe2, 68 0xfffffffdffffffe1, 69 0xfffffffeffffffe0, 70 0xffffffff7fffffdf, 71 0xffffffffbfffffde, 72 0xffffffffdfffffdd, 73 0xffffffffefffffdc, 74 0xfffffffff7ffffdb, 75 0xfffffffffbffffda, 76 0xfffffffffdffffd9, 77 0xfffffffffeffffd8, 78 0xffffffffff7fffd7, 79 0xffffffffffbfffd6, 80 0xffffffffffdfffd5, 81 0xffffffffffefffd4, 82 0xfffffffffff7ffd3, 83 0xfffffffffffbffd2, 84 0xfffffffffffdffd1, 85 0xfffffffffffeffd0, 86 0xffffffffffff7fcf, 87 0xffffffffffffbfce, 88 0xffffffffffffdfcd, 89 0xffffffffffffefcc, 90 0xfffffffffffff7cb, 91 0xfffffffffffffbca, 92 0xfffffffffffffdc9, 93 0xfffffffffffffec8, 94 0xffffffffffffff47, 95 0xffffffffffffff86, 96 0xffffffffffffffa5, 97 0xffffffffffffffb4, 98 0xffffffffffffffbb, 99 0xffffffffffffffbe, 100 0xffffffffffffffbf, 101 0xffffffffffffffbf, 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 0x0000000000000001, 232 0x0000000000000001, 233 0x0000000000000001, 234 0x0000000000000001, 235 0x0000000000000001, 236 0x0000000000000001, 237 0x0000000000000001, 238 0x0000000000000001, 239 0x0000000000000001, 240 0x0000000000000001, 241 0x0000000000000001, 242 0x0000000000000001, 243 0x0000000000000001, 244 0x0000000000000001, 245 0x0000000000000001, 246 0x0000000000000001, 247 0x0000000000000001, 248 0x0000000000000001, 249 0x0000000000000001, 250 0x0000000000000001, 251 0x0000000000000001, 252 0x0000000000000001, 253 0x0000000000000001, 254 0x0000000000000001, 255 0x0000000000000001, 256 0x0000000000000001, 257 0x0000000000000001, 258 0x0000000000000001, 259 0x0000000000000001, 260 0x0000000000000001, 261 0x0000000000000001, 262 0x0000000000000001, 263 0x0000000000000001, 264 0x0000000000000001, 265 0x0000000000000001, 266 0x0000000000000001, 267 0x0000000000000001, 268 0x0000000000000001, 269 0x0000000000000001, 270 0x0000000000000001, 271 0x0000000000000001, 272 0x0000000000000001, 273 0x0000000000000001, 274 0x0000000000000001, 275 0x0000000000000001, 276 0x0000000000000001, 277 0x0000000000000001, 278 0x0000000000000001, 279 0x0000000000000001, 280 0x0000000000000001, 281 0x0000000000000001, 282 0x0000000000000001, 283 0x0000000000000001, 284 0x0000000000000001, 285 0x0000000000000001, 286 0x0000000000000001, 287 0x0000000000000001, 288 0x0000000000000001, 289 0x0000000000000001, 290 0x0000000000000001, 291 0x0000000000000001, 292 0x0000000000000001, 293 0x0000000000000001, 294 0x0000000000000020, 295 0x0000000000000030, 296 0x0000000000000038, 297 0x000000000000003c, 298 0x000000000000003e, 299 0x000000000000003f, 300 0x000000000000003f, 301 0x000000000000003f, 302 0x000000000000003f, 303 0x000000000000003f, 304 0x000000000000003f, 305 0x000000000000003f, 306 0x000000000000003f, 307 0x000000000000003f, 308 0x000000000000003f, 309 0x000000000000003f, 310 0x000000000000003f, 311 0x000000000000003f, 312 0x000000000000003f, 313 0x000000000000003f, 314 0x000000000000003f, 315 0x000000000000003f, 316 0x000000000000003f, 317 0x000000000000003f, 318 0x000000000000003f, 319 0x000000000000003f, 320 0x000000000000003f, 321 0x000000000000003f, 322 0x000000000000003f, 323 0x000000000000003f, 324 0x000000000000003f, 325 0x000000000000003f, 326 0x000000000000003f, 327 0x000000000000003f, 328 0x000000000000003f, 329 0x000000000000003f, 330 0x000000000000003f, 331 0x000000000000003f, 332 0x000000000000003f, 333 0x000000000000003f, 334 0x000000000000003f, 335 0x000000000000003f, 336 0x000000000000003f, 337 0x000000000000003f, 338 0x000000000000003f, 339 0x000000000000003f, 340 0x000000000000003f, 341 0x000000000000003f, 342 0x000000000000003f, 343 0x000000000000003f, 344 0x000000000000003f, 345 0x000000000000003f, 346 0x000000000000003f, 347 0x000000000000003f, 348 0x000000000000003f, 349 0x000000000000003f, 350 0x000000000000003f, 351 0x000000000000003f, 352 0x000000000000003f, 353 0x000000000000003f, 354 0x000000000000003f, 355 0x000000000000003f, 356 0x000000000000003f, 357 0x000000000000003f, 358 0x000000000000003e, 359 0x000000000000005d, 360 0x000000000000006c, 361 0x0000000000000073, 362 0x0000000000000076, 363 0x0000000000000077, 364 0x0000000000000077, 365 0x0000000000000077, 366 0x0000000000000077, 367 0x0000000000000077, 368 0x0000000000000077, 369 0x0000000000000077, 370 0x0000000000000077, 371 0x0000000000000077, 372 0x0000000000000077, 373 0x0000000000000077, 374 0x0000000000000077, 375 0x0000000000000077, 376 0x0000000000000077, 377 0x0000000000000077, 378 0x0000000000000077, 379 0x0000000000000077, 380 0x0000000000000077, 381 0x0000000000000077, 382 0x0000000000000077, 383 0x0000000000000077, 384 0x0000000000000077, 385 0x0000000000000077, 386 0x0000000000000077, 387 0x0000000000000077, 388 0x0000000000000077, 389 0x0000000000000077, 390 0x0000000000000077, 391 0x0000000000000077, 392 0x0000000000000077, 393 0x0000000000000077, 394 0x0000000000000077, 395 0x0000000000000077, 396 0x0000000000000077, 397 0x0000000000000077, 398 0x0000000000000077, 399 0x0000000000000077, 400 0x0000000000000077, 401 0x0000000000000077, 402 0x0000000000000077, 403 0x0000000000000077, 404 0x0000000000000077, 405 0x0000000000000077, 406 0x0000000000000077, 407 0x0000000000000077, 408 0x0000000000000077, 409 0x0000000000000077, 410 0x0000000000000077, 411 0x0000000000000077, 412 0x0000000000000077, 413 0x0000000000000077, 414 0x0000000000000077, 415 0x0000000000000077, 416 0x0000000000000077, 417 0x0000000000000077, 418 0x0000000000000077, 419 0x0000000000000077, 420 0x0000000000000077, 421 0x0000000000000077, 422 0x000000000000003f, 423 0x000000000000005e, 424 0x000000000000006d, 425 0x0000000000000074, 426 0x0000000000000077, 427 0x0000000000000078, 428 0x0000000000000078, 429 0x0000000000000078, 430 0x0000000000000078, 431 0x0000000000000078, 432 0x0000000000000078, 433 0x0000000000000078, 434 0x0000000000000078, 435 0x0000000000000078, 436 0x0000000000000078, 437 0x0000000000000078, 438 0x0000000000000078, 439 0x0000000000000078, 440 0x0000000000000078, 441 0x0000000000000078, 442 0x0000000000000078, 443 0x0000000000000078, 444 0x0000000000000078, 445 0x0000000000000078, 446 0x0000000000000078, 447 0x0000000000000078, 448 0x0000000000000078, 449 0x0000000000000078, 450 0x0000000000000078, 451 0x0000000000000078, 452 0x0000000000000078, 453 0x0000000000000078, 454 0x0000000000000078, 455 0x0000000000000078, 456 0x0000000000000078, 457 0x0000000000000078, 458 0x0000000000000078, 459 0x0000000000000078, 460 0x0000000000000078, 461 0x0000000000000078, 462 0x0000000000000078, 463 0x0000000000000078, 464 0x0000000000000078, 465 0x0000000000000078, 466 0x0000000000000078, 467 0x0000000000000078, 468 0x0000000000000078, 469 0x0000000000000078, 470 0x0000000000000078, 471 0x0000000000000078, 472 0x0000000000000078, 473 0x0000000000000078, 474 0x0000000000000078, 475 0x0000000000000078, 476 0x0000000000000078, 477 0x0000000000000078, 478 0x0000000000000078, 479 0x0000000000000078, 480 0x0000000000000078, 481 0x0000000000000078, 482 0x0000000000000078, 483 0x0000000000000078, 484 0x0000000000000078, 485 0x0000000000000078, 486 0x000000000000003f, 487 0x000000000000005e, 488 0x000000000000006d, 489 0x0000000000000074, 490 0x0000000000000077, 491 0x0000000000000078, 492 0x0000000000000078, 493 0x0000000000000078, 494 0x0000000000000078, 495 0x0000000000000078, 496 0x0000000000000078, 497 0x0000000000000078, 498 0x0000000000000078, 499 0x0000000000000078, 500 0x0000000000000078, 501 0x0000000000000078, 502 0x0000000000000078, 503 0x0000000000000078, 504 0x0000000000000078, 505 0x0000000000000078, 506 0x0000000000000078, 507 0x0000000000000078, 508 0x0000000000000078, 509 0x0000000000000078, 510 0x0000000000000078, 511 0x0000000000000078, 512 0x0000000000000078, 513 0x0000000000000078, 514 0x0000000000000078, 515 0x0000000000000078, 516 0x0000000000000078, 517 0x0000000000000078, 518 0x0000000000000078, 519 0x0000000000000078, 520 0x0000000000000078, 521 0x0000000000000078, 522 0x0000000000000078, 523 0x0000000000000078, 524 0x0000000000000078, 525 0x0000000000000078, 526 0x0000000000000078, 527 0x0000000000000078, 528 0x0000000000000078, 529 0x0000000000000078, 530 0x0000000000000078, 531 0x0000000000000078, 532 0x0000000000000078, 533 0x0000000000000078, 534 0x0000000000000078, 535 0x0000000000000078, 536 0x0000000000000078, 537 0x0000000000000078, 538 0x0000000000000078, 539 0x0000000000000078, 540 0x0000000000000078, 541 0x0000000000000078, 542 0x0000000000000078, 543 0x0000000000000078, 544 0x0000000000000078, 545 0x0000000000000078, 546 0x0000000000000078, 547 0x0000000000000078, 548 0x0000000000000078, 549 0x0000000000000078, 550 0x0000000000003ffe, 551 0x0000000000005ffd, 552 0x0000000000006ffc, 553 0x00000000000077fb, 554 0x0000000000007bfa, 555 0x0000000000007df9, 556 0x0000000000007ef8, 557 0x0000000000007f77, 558 0x0000000000007fb6, 559 0x0000000000007fd5, 560 0x0000000000007fe4, 561 0x0000000000007feb, 562 0x0000000000007fee, 563 0x0000000000007fef, 564 0x0000000000007fef, 565 0x0000000000007fef, 566 0x0000000000007fef, 567 0x0000000000007fef, 568 0x0000000000007fef, 569 0x0000000000007fef, 570 0x0000000000007fef, 571 0x0000000000007fef, 572 0x0000000000007fef, 573 0x0000000000007fef, 574 0x0000000000007fef, 575 0x0000000000007fef, 576 0x0000000000007fef, 577 0x0000000000007fef, 578 0x0000000000007fef, 579 0x0000000000007fef, 580 0x0000000000007fef, 581 0x0000000000007fef, 582 0x0000000000007fef, 583 0x0000000000007fef, 584 0x0000000000007fef, 585 0x0000000000007fef, 586 0x0000000000007fef, 587 0x0000000000007fef, 588 0x0000000000007fef, 589 0x0000000000007fef, 590 0x0000000000007fef, 591 0x0000000000007fef, 592 0x0000000000007fef, 593 0x0000000000007fef, 594 0x0000000000007fef, 595 0x0000000000007fef, 596 0x0000000000007fef, 597 0x0000000000007fef, 598 0x0000000000007fef, 599 0x0000000000007fef, 600 0x0000000000007fef, 601 0x0000000000007fef, 602 0x0000000000007fef, 603 0x0000000000007fef, 604 0x0000000000007fef, 605 0x0000000000007fef, 606 0x0000000000007fef, 607 0x0000000000007fef, 608 0x0000000000007fef, 609 0x0000000000007fef, 610 0x0000000000007fef, 611 0x0000000000007fef, 612 0x0000000000007fef, 613 0x0000000000007fef, 614 0x0000000000003fff, 615 0x0000000000005ffe, 616 0x0000000000006ffd, 617 0x00000000000077fc, 618 0x0000000000007bfb, 619 0x0000000000007dfa, 620 0x0000000000007ef9, 621 0x0000000000007f78, 622 0x0000000000007fb7, 623 0x0000000000007fd6, 624 0x0000000000007fe5, 625 0x0000000000007fec, 626 0x0000000000007fef, 627 0x0000000000007ff0, 628 0x0000000000007ff0, 629 0x0000000000007ff0, 630 0x0000000000007ff0, 631 0x0000000000007ff0, 632 0x0000000000007ff0, 633 0x0000000000007ff0, 634 0x0000000000007ff0, 635 0x0000000000007ff0, 636 0x0000000000007ff0, 637 0x0000000000007ff0, 638 0x0000000000007ff0, 639 0x0000000000007ff0, 640 0x0000000000007ff0, 641 0x0000000000007ff0, 642 0x0000000000007ff0, 643 0x0000000000007ff0, 644 0x0000000000007ff0, 645 0x0000000000007ff0, 646 0x0000000000007ff0, 647 0x0000000000007ff0, 648 0x0000000000007ff0, 649 0x0000000000007ff0, 650 0x0000000000007ff0, 651 0x0000000000007ff0, 652 0x0000000000007ff0, 653 0x0000000000007ff0, 654 0x0000000000007ff0, 655 0x0000000000007ff0, 656 0x0000000000007ff0, 657 0x0000000000007ff0, 658 0x0000000000007ff0, 659 0x0000000000007ff0, 660 0x0000000000007ff0, 661 0x0000000000007ff0, 662 0x0000000000007ff0, 663 0x0000000000007ff0, 664 0x0000000000007ff0, 665 0x0000000000007ff0, 666 0x0000000000007ff0, 667 0x0000000000007ff0, 668 0x0000000000007ff0, 669 0x0000000000007ff0, 670 0x0000000000007ff0, 671 0x0000000000007ff0, 672 0x0000000000007ff0, 673 0x0000000000007ff0, 674 0x0000000000007ff0, 675 0x0000000000007ff0, 676 0x0000000000007ff0, 677 0x0000000000007ff0, 678 0x0000000000003fff, 679 0x0000000000005ffe, 680 0x0000000000006ffd, 681 0x00000000000077fc, 682 0x0000000000007bfb, 683 0x0000000000007dfa, 684 0x0000000000007ef9, 685 0x0000000000007f78, 686 0x0000000000007fb7, 687 0x0000000000007fd6, 688 0x0000000000007fe5, 689 0x0000000000007fec, 690 0x0000000000007fef, 691 0x0000000000007ff0, 692 0x0000000000007ff0, 693 0x0000000000007ff0, 694 0x0000000000007ff0, 695 0x0000000000007ff0, 696 0x0000000000007ff0, 697 0x0000000000007ff0, 698 0x0000000000007ff0, 699 0x0000000000007ff0, 700 0x0000000000007ff0, 701 0x0000000000007ff0, 702 0x0000000000007ff0, 703 0x0000000000007ff0, 704 0x0000000000007ff0, 705 0x0000000000007ff0, 706 0x0000000000007ff0, 707 0x0000000000007ff0, 708 0x0000000000007ff0, 709 0x0000000000007ff0, 710 0x0000000000007ff0, 711 0x0000000000007ff0, 712 0x0000000000007ff0, 713 0x0000000000007ff0, 714 0x0000000000007ff0, 715 0x0000000000007ff0, 716 0x0000000000007ff0, 717 0x0000000000007ff0, 718 0x0000000000007ff0, 719 0x0000000000007ff0, 720 0x0000000000007ff0, 721 0x0000000000007ff0, 722 0x0000000000007ff0, 723 0x0000000000007ff0, 724 0x0000000000007ff0, 725 0x0000000000007ff0, 726 0x0000000000007ff0, 727 0x0000000000007ff0, 728 0x0000000000007ff0, 729 0x0000000000007ff0, 730 0x0000000000007ff0, 731 0x0000000000007ff0, 732 0x0000000000007ff0, 733 0x0000000000007ff0, 734 0x0000000000007ff0, 735 0x0000000000007ff0, 736 0x0000000000007ff0, 737 0x0000000000007ff0, 738 0x0000000000007ff0, 739 0x0000000000007ff0, 740 0x0000000000007ff0, 741 0x0000000000007ff0, 742 0x000000003ffffffe, 743 0x000000005ffffffd, 744 0x000000006ffffffc, 745 0x0000000077fffffb, 746 0x000000007bfffffa, 747 0x000000007dfffff9, 748 0x000000007efffff8, 749 0x000000007f7ffff7, 750 0x000000007fbffff6, 751 0x000000007fdffff5, 752 0x000000007feffff4, 753 0x000000007ff7fff3, 754 0x000000007ffbfff2, 755 0x000000007ffdfff1, 756 0x000000007ffefff0, 757 0x000000007fff7fef, 758 0x000000007fffbfee, 759 0x000000007fffdfed, 760 0x000000007fffefec, 761 0x000000007ffff7eb, 762 0x000000007ffffbea, 763 0x000000007ffffde9, 764 0x000000007ffffee8, 765 0x000000007fffff67, 766 0x000000007fffffa6, 767 0x000000007fffffc5, 768 0x000000007fffffd4, 769 0x000000007fffffdb, 770 0x000000007fffffde, 771 0x000000007fffffdf, 772 0x000000007fffffdf, 773 0x000000007fffffdf, 774 0x000000007fffffdf, 775 0x000000007fffffdf, 776 0x000000007fffffdf, 777 0x000000007fffffdf, 778 0x000000007fffffdf, 779 0x000000007fffffdf, 780 0x000000007fffffdf, 781 0x000000007fffffdf, 782 0x000000007fffffdf, 783 0x000000007fffffdf, 784 0x000000007fffffdf, 785 0x000000007fffffdf, 786 0x000000007fffffdf, 787 0x000000007fffffdf, 788 0x000000007fffffdf, 789 0x000000007fffffdf, 790 0x000000007fffffdf, 791 0x000000007fffffdf, 792 0x000000007fffffdf, 793 0x000000007fffffdf, 794 0x000000007fffffdf, 795 0x000000007fffffdf, 796 0x000000007fffffdf, 797 0x000000007fffffdf, 798 0x000000007fffffdf, 799 0x000000007fffffdf, 800 0x000000007fffffdf, 801 0x000000007fffffdf, 802 0x000000007fffffdf, 803 0x000000007fffffdf, 804 0x000000007fffffdf, 805 0x000000007fffffdf, 806 0x000000003fffffff, 807 0x000000005ffffffe, 808 0x000000006ffffffd, 809 0x0000000077fffffc, 810 0x000000007bfffffb, 811 0x000000007dfffffa, 812 0x000000007efffff9, 813 0x000000007f7ffff8, 814 0x000000007fbffff7, 815 0x000000007fdffff6, 816 0x000000007feffff5, 817 0x000000007ff7fff4, 818 0x000000007ffbfff3, 819 0x000000007ffdfff2, 820 0x000000007ffefff1, 821 0x000000007fff7ff0, 822 0x000000007fffbfef, 823 0x000000007fffdfee, 824 0x000000007fffefed, 825 0x000000007ffff7ec, 826 0x000000007ffffbeb, 827 0x000000007ffffdea, 828 0x000000007ffffee9, 829 0x000000007fffff68, 830 0x000000007fffffa7, 831 0x000000007fffffc6, 832 0x000000007fffffd5, 833 0x000000007fffffdc, 834 0x000000007fffffdf, 835 0x000000007fffffe0, 836 0x000000007fffffe0, 837 0x000000007fffffe0, 838 0x000000007fffffe0, 839 0x000000007fffffe0, 840 0x000000007fffffe0, 841 0x000000007fffffe0, 842 0x000000007fffffe0, 843 0x000000007fffffe0, 844 0x000000007fffffe0, 845 0x000000007fffffe0, 846 0x000000007fffffe0, 847 0x000000007fffffe0, 848 0x000000007fffffe0, 849 0x000000007fffffe0, 850 0x000000007fffffe0, 851 0x000000007fffffe0, 852 0x000000007fffffe0, 853 0x000000007fffffe0, 854 0x000000007fffffe0, 855 0x000000007fffffe0, 856 0x000000007fffffe0, 857 0x000000007fffffe0, 858 0x000000007fffffe0, 859 0x000000007fffffe0, 860 0x000000007fffffe0, 861 0x000000007fffffe0, 862 0x000000007fffffe0, 863 0x000000007fffffe0, 864 0x000000007fffffe0, 865 0x000000007fffffe0, 866 0x000000007fffffe0, 867 0x000000007fffffe0, 868 0x000000007fffffe0, 869 0x000000007fffffe0, 870 0x000000003fffffff, 871 0x000000005ffffffe, 872 0x000000006ffffffd, 873 0x0000000077fffffc, 874 0x000000007bfffffb, 875 0x000000007dfffffa, 876 0x000000007efffff9, 877 0x000000007f7ffff8, 878 0x000000007fbffff7, 879 0x000000007fdffff6, 880 0x000000007feffff5, 881 0x000000007ff7fff4, 882 0x000000007ffbfff3, 883 0x000000007ffdfff2, 884 0x000000007ffefff1, 885 0x000000007fff7ff0, 886 0x000000007fffbfef, 887 0x000000007fffdfee, 888 0x000000007fffefed, 889 0x000000007ffff7ec, 890 0x000000007ffffbeb, 891 0x000000007ffffdea, 892 0x000000007ffffee9, 893 0x000000007fffff68, 894 0x000000007fffffa7, 895 0x000000007fffffc6, 896 0x000000007fffffd5, 897 0x000000007fffffdc, 898 0x000000007fffffdf, 899 0x000000007fffffe0, 900 0x000000007fffffe0, 901 0x000000007fffffe0, 902 0x000000007fffffe0, 903 0x000000007fffffe0, 904 0x000000007fffffe0, 905 0x000000007fffffe0, 906 0x000000007fffffe0, 907 0x000000007fffffe0, 908 0x000000007fffffe0, 909 0x000000007fffffe0, 910 0x000000007fffffe0, 911 0x000000007fffffe0, 912 0x000000007fffffe0, 913 0x000000007fffffe0, 914 0x000000007fffffe0, 915 0x000000007fffffe0, 916 0x000000007fffffe0, 917 0x000000007fffffe0, 918 0x000000007fffffe0, 919 0x000000007fffffe0, 920 0x000000007fffffe0, 921 0x000000007fffffe0, 922 0x000000007fffffe0, 923 0x000000007fffffe0, 924 0x000000007fffffe0, 925 0x000000007fffffe0, 926 0x000000007fffffe0, 927 0x000000007fffffe0, 928 0x000000007fffffe0, 929 0x000000007fffffe0, 930 0x000000007fffffe0, 931 0x000000007fffffe0, 932 0x000000007fffffe0, 933 0x000000007fffffe0, 934 0x1999999999999999, 935 0x2666666666666665, 936 0x2ccccccccccccccb, 937 0x2ffffffffffffffe, 938 0x3199999999999997, 939 0x3266666666666663, 940 0x32ccccccccccccc9, 941 0x32fffffffffffffc, 942 0x3319999999999995, 943 0x3326666666666661, 944 0x332cccccccccccc7, 945 0x332ffffffffffffa, 946 0x3331999999999993, 947 0x333266666666665f, 948 0x3332ccccccccccc5, 949 0x3332fffffffffff8, 950 0x3333199999999991, 951 0x333326666666665d, 952 0x33332cccccccccc3, 953 0x33332ffffffffff6, 954 0x333331999999998f, 955 0x333332666666665b, 956 0x333332ccccccccc1, 957 0x333332fffffffff4, 958 0x333333199999998d, 959 0x3333332666666659, 960 0x3333332cccccccbf, 961 0x3333332ffffffff2, 962 0x333333319999998b, 963 0x3333333266666657, 964 0x33333332ccccccbd, 965 0x33333332fffffff0, 966 0x3333333319999989, 967 0x3333333326666655, 968 0x333333332cccccbb, 969 0x333333332fffffee, 970 0x3333333331999987, 971 0x3333333332666653, 972 0x3333333332ccccb9, 973 0x3333333332ffffec, 974 0x3333333333199985, 975 0x3333333333266651, 976 0x33333333332cccb7, 977 0x33333333332fffea, 978 0x3333333333319983, 979 0x333333333332664f, 980 0x333333333332ccb5, 981 0x333333333332ffe8, 982 0x3333333333331981, 983 0x333333333333264d, 984 0x3333333333332cb3, 985 0x3333333333332fe6, 986 0x333333333333317f, 987 0x333333333333324b, 988 0x33333333333332b1, 989 0x33333333333332e4, 990 0x33333333333332fd, 991 0x3333333333333309, 992 0x333333333333330f, 993 0x3333333333333312, 994 0x3333333333333313, 995 0x3333333333333313, 996 0x3333333333333313, 997 0x3333333333333313, 998 0x2aaaaaaaaaaaaaaa, 999 0x3fffffffffffffff, 1000 0x4aaaaaaaaaaaaaa9, 1001 0x4ffffffffffffffe, 1002 0x52aaaaaaaaaaaaa8, 1003 0x53fffffffffffffd, 1004 0x54aaaaaaaaaaaaa7, 1005 0x54fffffffffffffc, 1006 0x552aaaaaaaaaaaa6, 1007 0x553ffffffffffffb, 1008 0x554aaaaaaaaaaaa5, 1009 0x554ffffffffffffa, 1010 0x5552aaaaaaaaaaa4, 1011 0x5553fffffffffff9, 1012 0x5554aaaaaaaaaaa3, 1013 0x5554fffffffffff8, 1014 0x55552aaaaaaaaaa2, 1015 0x55553ffffffffff7, 1016 0x55554aaaaaaaaaa1, 1017 0x55554ffffffffff6, 1018 0x555552aaaaaaaaa0, 1019 0x555553fffffffff5, 1020 0x555554aaaaaaaa9f, 1021 0x555554fffffffff4, 1022 0x5555552aaaaaaa9e, 1023 0x5555553ffffffff3, 1024 0x5555554aaaaaaa9d, 1025 0x5555554ffffffff2, 1026 0x55555552aaaaaa9c, 1027 0x55555553fffffff1, 1028 0x55555554aaaaaa9b, 1029 0x55555554fffffff0, 1030 0x555555552aaaaa9a, 1031 0x555555553fffffef, 1032 0x555555554aaaaa99, 1033 0x555555554fffffee, 1034 0x5555555552aaaa98, 1035 0x5555555553ffffed, 1036 0x5555555554aaaa97, 1037 0x5555555554ffffec, 1038 0x55555555552aaa96, 1039 0x55555555553fffeb, 1040 0x55555555554aaa95, 1041 0x55555555554fffea, 1042 0x555555555552aa94, 1043 0x555555555553ffe9, 1044 0x555555555554aa93, 1045 0x555555555554ffe8, 1046 0x5555555555552a92, 1047 0x5555555555553fe7, 1048 0x5555555555554a91, 1049 0x5555555555554fe6, 1050 0x5555555555555290, 1051 0x55555555555553e5, 1052 0x555555555555548f, 1053 0x55555555555554e4, 1054 0x555555555555550e, 1055 0x5555555555555523, 1056 0x555555555555552d, 1057 0x5555555555555532, 1058 0x5555555555555534, 1059 0x5555555555555535, 1060 0x5555555555555535, 1061 0x5555555555555535, 1062 0x3ffffffffffffffe, 1063 0x5ffffffffffffffd, 1064 0x6ffffffffffffffc, 1065 0x77fffffffffffffb, 1066 0x7bfffffffffffffa, 1067 0x7dfffffffffffff9, 1068 0x7efffffffffffff8, 1069 0x7f7ffffffffffff7, 1070 0x7fbffffffffffff6, 1071 0x7fdffffffffffff5, 1072 0x7feffffffffffff4, 1073 0x7ff7fffffffffff3, 1074 0x7ffbfffffffffff2, 1075 0x7ffdfffffffffff1, 1076 0x7ffefffffffffff0, 1077 0x7fff7fffffffffef, 1078 0x7fffbfffffffffee, 1079 0x7fffdfffffffffed, 1080 0x7fffefffffffffec, 1081 0x7ffff7ffffffffeb, 1082 0x7ffffbffffffffea, 1083 0x7ffffdffffffffe9, 1084 0x7ffffeffffffffe8, 1085 0x7fffff7fffffffe7, 1086 0x7fffffbfffffffe6, 1087 0x7fffffdfffffffe5, 1088 0x7fffffefffffffe4, 1089 0x7ffffff7ffffffe3, 1090 0x7ffffffbffffffe2, 1091 0x7ffffffdffffffe1, 1092 0x7ffffffeffffffe0, 1093 0x7fffffff7fffffdf, 1094 0x7fffffffbfffffde, 1095 0x7fffffffdfffffdd, 1096 0x7fffffffefffffdc, 1097 0x7ffffffff7ffffdb, 1098 0x7ffffffffbffffda, 1099 0x7ffffffffdffffd9, 1100 0x7ffffffffeffffd8, 1101 0x7fffffffff7fffd7, 1102 0x7fffffffffbfffd6, 1103 0x7fffffffffdfffd5, 1104 0x7fffffffffefffd4, 1105 0x7ffffffffff7ffd3, 1106 0x7ffffffffffbffd2, 1107 0x7ffffffffffdffd1, 1108 0x7ffffffffffeffd0, 1109 0x7fffffffffff7fcf, 1110 0x7fffffffffffbfce, 1111 0x7fffffffffffdfcd, 1112 0x7fffffffffffefcc, 1113 0x7ffffffffffff7cb, 1114 0x7ffffffffffffbca, 1115 0x7ffffffffffffdc9, 1116 0x7ffffffffffffec8, 1117 0x7fffffffffffff47, 1118 0x7fffffffffffff86, 1119 0x7fffffffffffffa5, 1120 0x7fffffffffffffb4, 1121 0x7fffffffffffffbb, 1122 0x7fffffffffffffbe, 1123 0x7fffffffffffffbf, 1124 0x7fffffffffffffbf, 1125 0x7fffffffffffffbf, 1126 0x3fffffffffffffff, 1127 0x5ffffffffffffffe, 1128 0x6ffffffffffffffd, 1129 0x77fffffffffffffc, 1130 0x7bfffffffffffffb, 1131 0x7dfffffffffffffa, 1132 0x7efffffffffffff9, 1133 0x7f7ffffffffffff8, 1134 0x7fbffffffffffff7, 1135 0x7fdffffffffffff6, 1136 0x7feffffffffffff5, 1137 0x7ff7fffffffffff4, 1138 0x7ffbfffffffffff3, 1139 0x7ffdfffffffffff2, 1140 0x7ffefffffffffff1, 1141 0x7fff7ffffffffff0, 1142 0x7fffbfffffffffef, 1143 0x7fffdfffffffffee, 1144 0x7fffefffffffffed, 1145 0x7ffff7ffffffffec, 1146 0x7ffffbffffffffeb, 1147 0x7ffffdffffffffea, 1148 0x7ffffeffffffffe9, 1149 0x7fffff7fffffffe8, 1150 0x7fffffbfffffffe7, 1151 0x7fffffdfffffffe6, 1152 0x7fffffefffffffe5, 1153 0x7ffffff7ffffffe4, 1154 0x7ffffffbffffffe3, 1155 0x7ffffffdffffffe2, 1156 0x7ffffffeffffffe1, 1157 0x7fffffff7fffffe0, 1158 0x7fffffffbfffffdf, 1159 0x7fffffffdfffffde, 1160 0x7fffffffefffffdd, 1161 0x7ffffffff7ffffdc, 1162 0x7ffffffffbffffdb, 1163 0x7ffffffffdffffda, 1164 0x7ffffffffeffffd9, 1165 0x7fffffffff7fffd8, 1166 0x7fffffffffbfffd7, 1167 0x7fffffffffdfffd6, 1168 0x7fffffffffefffd5, 1169 0x7ffffffffff7ffd4, 1170 0x7ffffffffffbffd3, 1171 0x7ffffffffffdffd2, 1172 0x7ffffffffffeffd1, 1173 0x7fffffffffff7fd0, 1174 0x7fffffffffffbfcf, 1175 0x7fffffffffffdfce, 1176 0x7fffffffffffefcd, 1177 0x7ffffffffffff7cc, 1178 0x7ffffffffffffbcb, 1179 0x7ffffffffffffdca, 1180 0x7ffffffffffffec9, 1181 0x7fffffffffffff48, 1182 0x7fffffffffffff87, 1183 0x7fffffffffffffa6, 1184 0x7fffffffffffffb5, 1185 0x7fffffffffffffbc, 1186 0x7fffffffffffffbf, 1187 0x7fffffffffffffc0, 1188 0x7fffffffffffffc0, 1189 0x7fffffffffffffc0, 1190 0x3fffffffffffffff, 1191 0x5ffffffffffffffe, 1192 0x6ffffffffffffffd, 1193 0x77fffffffffffffc, 1194 0x7bfffffffffffffb, 1195 0x7dfffffffffffffa, 1196 0x7efffffffffffff9, 1197 0x7f7ffffffffffff8, 1198 0x7fbffffffffffff7, 1199 0x7fdffffffffffff6, 1200 0x7feffffffffffff5, 1201 0x7ff7fffffffffff4, 1202 0x7ffbfffffffffff3, 1203 0x7ffdfffffffffff2, 1204 0x7ffefffffffffff1, 1205 0x7fff7ffffffffff0, 1206 0x7fffbfffffffffef, 1207 0x7fffdfffffffffee, 1208 0x7fffefffffffffed, 1209 0x7ffff7ffffffffec, 1210 0x7ffffbffffffffeb, 1211 0x7ffffdffffffffea, 1212 0x7ffffeffffffffe9, 1213 0x7fffff7fffffffe8, 1214 0x7fffffbfffffffe7, 1215 0x7fffffdfffffffe6, 1216 0x7fffffefffffffe5, 1217 0x7ffffff7ffffffe4, 1218 0x7ffffffbffffffe3, 1219 0x7ffffffdffffffe2, 1220 0x7ffffffeffffffe1, 1221 0x7fffffff7fffffe0, 1222 0x7fffffffbfffffdf, 1223 0x7fffffffdfffffde, 1224 0x7fffffffefffffdd, 1225 0x7ffffffff7ffffdc, 1226 0x7ffffffffbffffdb, 1227 0x7ffffffffdffffda, 1228 0x7ffffffffeffffd9, 1229 0x7fffffffff7fffd8, 1230 0x7fffffffffbfffd7, 1231 0x7fffffffffdfffd6, 1232 0x7fffffffffefffd5, 1233 0x7ffffffffff7ffd4, 1234 0x7ffffffffffbffd3, 1235 0x7ffffffffffdffd2, 1236 0x7ffffffffffeffd1, 1237 0x7fffffffffff7fd0, 1238 0x7fffffffffffbfcf, 1239 0x7fffffffffffdfce, 1240 0x7fffffffffffefcd, 1241 0x7ffffffffffff7cc, 1242 0x7ffffffffffffbcb, 1243 0x7ffffffffffffdca, 1244 0x7ffffffffffffec9, 1245 0x7fffffffffffff48, 1246 0x7fffffffffffff87, 1247 0x7fffffffffffffa6, 1248 0x7fffffffffffffb5, 1249 0x7fffffffffffffbc, 1250 0x7fffffffffffffbf, 1251 0x7fffffffffffffc0, 1252 0x7fffffffffffffc0, 1253 0x7fffffffffffffc0, 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 0x6000000000000001, 1384 0x7000000000000001, 1385 0x7800000000000001, 1386 0x7c00000000000001, 1387 0x7e00000000000001, 1388 0x7f00000000000001, 1389 0x7f80000000000001, 1390 0x7fc0000000000001, 1391 0x7fe0000000000001, 1392 0x7ff0000000000001, 1393 0x7ff8000000000001, 1394 0x7ffc000000000001, 1395 0x7ffe000000000001, 1396 0x7fff000000000001, 1397 0x7fff800000000001, 1398 0x7fffc00000000001, 1399 0x7fffe00000000001, 1400 0x7ffff00000000001, 1401 0x7ffff80000000001, 1402 0x7ffffc0000000001, 1403 0x7ffffe0000000001, 1404 0x7fffff0000000001, 1405 0x7fffff8000000001, 1406 0x7fffffc000000001, 1407 0x7fffffe000000001, 1408 0x7ffffff000000001, 1409 0x7ffffff800000001, 1410 0x7ffffffc00000001, 1411 0x7ffffffe00000001, 1412 0x7fffffff00000001, 1413 0x7fffffff80000001, 1414 0x7fffffffc0000001, 1415 0x7fffffffe0000001, 1416 0x7ffffffff0000001, 1417 0x7ffffffff8000001, 1418 0x7ffffffffc000001, 1419 0x7ffffffffe000001, 1420 0x7fffffffff000001, 1421 0x7fffffffff800001, 1422 0x7fffffffffc00001, 1423 0x7fffffffffe00001, 1424 0x7ffffffffff00001, 1425 0x7ffffffffff80001, 1426 0x7ffffffffffc0001, 1427 0x7ffffffffffe0001, 1428 0x7fffffffffff0001, 1429 0x7fffffffffff8001, 1430 0x7fffffffffffc001, 1431 0x7fffffffffffe001, 1432 0x7ffffffffffff001, 1433 0x7ffffffffffff801, 1434 0x7ffffffffffffc01, 1435 0x7ffffffffffffe01, 1436 0x7fffffffffffff01, 1437 0x7fffffffffffff81, 1438 0x7fffffffffffffc1, 1439 0x7fffffffffffffe1, 1440 0x7ffffffffffffff1, 1441 0x7ffffffffffffff9, 1442 0x7ffffffffffffffd, 1443 0x7fffffffffffffff, 1444 0x8000000000000000, 1445 0x8000000000000000, 1446 0x4000000000000001, 1447 0x6000000000000001, 1448 0x7000000000000001, 1449 0x7800000000000001, 1450 0x7c00000000000001, 1451 0x7e00000000000001, 1452 0x7f00000000000001, 1453 0x7f80000000000001, 1454 0x7fc0000000000001, 1455 0x7fe0000000000001, 1456 0x7ff0000000000001, 1457 0x7ff8000000000001, 1458 0x7ffc000000000001, 1459 0x7ffe000000000001, 1460 0x7fff000000000001, 1461 0x7fff800000000001, 1462 0x7fffc00000000001, 1463 0x7fffe00000000001, 1464 0x7ffff00000000001, 1465 0x7ffff80000000001, 1466 0x7ffffc0000000001, 1467 0x7ffffe0000000001, 1468 0x7fffff0000000001, 1469 0x7fffff8000000001, 1470 0x7fffffc000000001, 1471 0x7fffffe000000001, 1472 0x7ffffff000000001, 1473 0x7ffffff800000001, 1474 0x7ffffffc00000001, 1475 0x7ffffffe00000001, 1476 0x7fffffff00000001, 1477 0x7fffffff80000001, 1478 0x7fffffffc0000001, 1479 0x7fffffffe0000001, 1480 0x7ffffffff0000001, 1481 0x7ffffffff8000001, 1482 0x7ffffffffc000001, 1483 0x7ffffffffe000001, 1484 0x7fffffffff000001, 1485 0x7fffffffff800001, 1486 0x7fffffffffc00001, 1487 0x7fffffffffe00001, 1488 0x7ffffffffff00001, 1489 0x7ffffffffff80001, 1490 0x7ffffffffffc0001, 1491 0x7ffffffffffe0001, 1492 0x7fffffffffff0001, 1493 0x7fffffffffff8001, 1494 0x7fffffffffffc001, 1495 0x7fffffffffffe001, 1496 0x7ffffffffffff001, 1497 0x7ffffffffffff801, 1498 0x7ffffffffffffc01, 1499 0x7ffffffffffffe01, 1500 0x7fffffffffffff01, 1501 0x7fffffffffffff81, 1502 0x7fffffffffffffc1, 1503 0x7fffffffffffffe1, 1504 0x7ffffffffffffff1, 1505 0x7ffffffffffffff9, 1506 0x7ffffffffffffffd, 1507 0x7fffffffffffffff, 1508 0x8000000000000000, 1509 0x8000000000000000, 1510 0x5555555555555555, 1511 0x7fffffffffffffff, 1512 0x9555555555555554, 1513 0x9ffffffffffffffe, 1514 0xa555555555555553, 1515 0xa7fffffffffffffd, 1516 0xa955555555555552, 1517 0xa9fffffffffffffc, 1518 0xaa55555555555551, 1519 0xaa7ffffffffffffb, 1520 0xaa95555555555550, 1521 0xaa9ffffffffffffa, 1522 0xaaa555555555554f, 1523 0xaaa7fffffffffff9, 1524 0xaaa955555555554e, 1525 0xaaa9fffffffffff8, 1526 0xaaaa55555555554d, 1527 0xaaaa7ffffffffff7, 1528 0xaaaa95555555554c, 1529 0xaaaa9ffffffffff6, 1530 0xaaaaa5555555554b, 1531 0xaaaaa7fffffffff5, 1532 0xaaaaa9555555554a, 1533 0xaaaaa9fffffffff4, 1534 0xaaaaaa5555555549, 1535 0xaaaaaa7ffffffff3, 1536 0xaaaaaa9555555548, 1537 0xaaaaaa9ffffffff2, 1538 0xaaaaaaa555555547, 1539 0xaaaaaaa7fffffff1, 1540 0xaaaaaaa955555546, 1541 0xaaaaaaa9fffffff0, 1542 0xaaaaaaaa55555545, 1543 0xaaaaaaaa7fffffef, 1544 0xaaaaaaaa95555544, 1545 0xaaaaaaaa9fffffee, 1546 0xaaaaaaaaa5555543, 1547 0xaaaaaaaaa7ffffed, 1548 0xaaaaaaaaa9555542, 1549 0xaaaaaaaaa9ffffec, 1550 0xaaaaaaaaaa555541, 1551 0xaaaaaaaaaa7fffeb, 1552 0xaaaaaaaaaa955540, 1553 0xaaaaaaaaaa9fffea, 1554 0xaaaaaaaaaaa5553f, 1555 0xaaaaaaaaaaa7ffe9, 1556 0xaaaaaaaaaaa9553e, 1557 0xaaaaaaaaaaa9ffe8, 1558 0xaaaaaaaaaaaa553d, 1559 0xaaaaaaaaaaaa7fe7, 1560 0xaaaaaaaaaaaa953c, 1561 0xaaaaaaaaaaaa9fe6, 1562 0xaaaaaaaaaaaaa53b, 1563 0xaaaaaaaaaaaaa7e5, 1564 0xaaaaaaaaaaaaa93a, 1565 0xaaaaaaaaaaaaa9e4, 1566 0xaaaaaaaaaaaaaa39, 1567 0xaaaaaaaaaaaaaa63, 1568 0xaaaaaaaaaaaaaa78, 1569 0xaaaaaaaaaaaaaa82, 1570 0xaaaaaaaaaaaaaa87, 1571 0xaaaaaaaaaaaaaa89, 1572 0xaaaaaaaaaaaaaa8a, 1573 0xaaaaaaaaaaaaaa8a, 1574 0x6666666666666666, 1575 0x9999999999999999, 1576 0xb333333333333332, 1577 0xbffffffffffffffe, 1578 0xc666666666666664, 1579 0xc999999999999997, 1580 0xcb33333333333330, 1581 0xcbfffffffffffffc, 1582 0xcc66666666666662, 1583 0xcc99999999999995, 1584 0xccb333333333332e, 1585 0xccbffffffffffffa, 1586 0xccc6666666666660, 1587 0xccc9999999999993, 1588 0xcccb33333333332c, 1589 0xcccbfffffffffff8, 1590 0xcccc66666666665e, 1591 0xcccc999999999991, 1592 0xccccb3333333332a, 1593 0xccccbffffffffff6, 1594 0xccccc6666666665c, 1595 0xccccc9999999998f, 1596 0xcccccb3333333328, 1597 0xcccccbfffffffff4, 1598 0xcccccc666666665a, 1599 0xcccccc999999998d, 1600 0xccccccb333333326, 1601 0xccccccbffffffff2, 1602 0xccccccc666666658, 1603 0xccccccc99999998b, 1604 0xcccccccb33333324, 1605 0xcccccccbfffffff0, 1606 0xcccccccc66666656, 1607 0xcccccccc99999989, 1608 0xccccccccb3333322, 1609 0xccccccccbfffffee, 1610 0xccccccccc6666654, 1611 0xccccccccc9999987, 1612 0xcccccccccb333320, 1613 0xcccccccccbffffec, 1614 0xcccccccccc666652, 1615 0xcccccccccc999985, 1616 0xccccccccccb3331e, 1617 0xccccccccccbfffea, 1618 0xccccccccccc66650, 1619 0xccccccccccc99983, 1620 0xcccccccccccb331c, 1621 0xcccccccccccbffe8, 1622 0xcccccccccccc664e, 1623 0xcccccccccccc9981, 1624 0xccccccccccccb31a, 1625 0xccccccccccccbfe6, 1626 0xccccccccccccc64c, 1627 0xccccccccccccc97f, 1628 0xcccccccccccccb18, 1629 0xcccccccccccccbe4, 1630 0xcccccccccccccc4a, 1631 0xcccccccccccccc7d, 1632 0xcccccccccccccc96, 1633 0xcccccccccccccca2, 1634 0xcccccccccccccca8, 1635 0xccccccccccccccab, 1636 0xccccccccccccccac, 1637 0xccccccccccccccac, 1638 0x7fffffffc0000000, 1639 0xbfffffffa0000000, 1640 0xdfffffff90000000, 1641 0xefffffff88000000, 1642 0xf7ffffff84000000, 1643 0xfbffffff82000000, 1644 0xfdffffff81000000, 1645 0xfeffffff80800000, 1646 0xff7fffff80400000, 1647 0xffbfffff80200000, 1648 0xffdfffff80100000, 1649 0xffefffff80080000, 1650 0xfff7ffff80040000, 1651 0xfffbffff80020000, 1652 0xfffdffff80010000, 1653 0xfffeffff80008000, 1654 0xffff7fff80004000, 1655 0xffffbfff80002000, 1656 0xffffdfff80001000, 1657 0xffffefff80000800, 1658 0xfffff7ff80000400, 1659 0xfffffbff80000200, 1660 0xfffffdff80000100, 1661 0xfffffeff80000080, 1662 0xffffff7f80000040, 1663 0xffffffbf80000020, 1664 0xffffffdf80000010, 1665 0xffffffef80000008, 1666 0xfffffff780000004, 1667 0xfffffffb80000002, 1668 0xfffffffd80000001, 1669 0xfffffffe80000000, 1670 0xfffffffeffffffff, 1671 0xffffffff3ffffffe, 1672 0xffffffff5ffffffd, 1673 0xffffffff6ffffffc, 1674 0xffffffff77fffffb, 1675 0xffffffff7bfffffa, 1676 0xffffffff7dfffff9, 1677 0xffffffff7efffff8, 1678 0xffffffff7f7ffff7, 1679 0xffffffff7fbffff6, 1680 0xffffffff7fdffff5, 1681 0xffffffff7feffff4, 1682 0xffffffff7ff7fff3, 1683 0xffffffff7ffbfff2, 1684 0xffffffff7ffdfff1, 1685 0xffffffff7ffefff0, 1686 0xffffffff7fff7fef, 1687 0xffffffff7fffbfee, 1688 0xffffffff7fffdfed, 1689 0xffffffff7fffefec, 1690 0xffffffff7ffff7eb, 1691 0xffffffff7ffffbea, 1692 0xffffffff7ffffde9, 1693 0xffffffff7ffffee8, 1694 0xffffffff7fffff67, 1695 0xffffffff7fffffa6, 1696 0xffffffff7fffffc5, 1697 0xffffffff7fffffd4, 1698 0xffffffff7fffffdb, 1699 0xffffffff7fffffde, 1700 0xffffffff7fffffdf, 1701 0xffffffff7fffffdf, 1702 0x7fffffffc0000000, 1703 0xbfffffffa0000000, 1704 0xdfffffff90000000, 1705 0xefffffff88000000, 1706 0xf7ffffff84000000, 1707 0xfbffffff82000000, 1708 0xfdffffff81000000, 1709 0xfeffffff80800000, 1710 0xff7fffff80400000, 1711 0xffbfffff80200000, 1712 0xffdfffff80100000, 1713 0xffefffff80080000, 1714 0xfff7ffff80040000, 1715 0xfffbffff80020000, 1716 0xfffdffff80010000, 1717 0xfffeffff80008000, 1718 0xffff7fff80004000, 1719 0xffffbfff80002000, 1720 0xffffdfff80001000, 1721 0xffffefff80000800, 1722 0xfffff7ff80000400, 1723 0xfffffbff80000200, 1724 0xfffffdff80000100, 1725 0xfffffeff80000080, 1726 0xffffff7f80000040, 1727 0xffffffbf80000020, 1728 0xffffffdf80000010, 1729 0xffffffef80000008, 1730 0xfffffff780000004, 1731 0xfffffffb80000002, 1732 0xfffffffd80000001, 1733 0xfffffffe80000000, 1734 0xfffffffeffffffff, 1735 0xffffffff3ffffffe, 1736 0xffffffff5ffffffd, 1737 0xffffffff6ffffffc, 1738 0xffffffff77fffffb, 1739 0xffffffff7bfffffa, 1740 0xffffffff7dfffff9, 1741 0xffffffff7efffff8, 1742 0xffffffff7f7ffff7, 1743 0xffffffff7fbffff6, 1744 0xffffffff7fdffff5, 1745 0xffffffff7feffff4, 1746 0xffffffff7ff7fff3, 1747 0xffffffff7ffbfff2, 1748 0xffffffff7ffdfff1, 1749 0xffffffff7ffefff0, 1750 0xffffffff7fff7fef, 1751 0xffffffff7fffbfee, 1752 0xffffffff7fffdfed, 1753 0xffffffff7fffefec, 1754 0xffffffff7ffff7eb, 1755 0xffffffff7ffffbea, 1756 0xffffffff7ffffde9, 1757 0xffffffff7ffffee8, 1758 0xffffffff7fffff67, 1759 0xffffffff7fffffa6, 1760 0xffffffff7fffffc5, 1761 0xffffffff7fffffd4, 1762 0xffffffff7fffffdb, 1763 0xffffffff7fffffde, 1764 0xffffffff7fffffdf, 1765 0xffffffff7fffffdf, 1766 0x7fffffffc0000001, 1767 0xbfffffffa0000001, 1768 0xdfffffff90000001, 1769 0xefffffff88000001, 1770 0xf7ffffff84000001, 1771 0xfbffffff82000001, 1772 0xfdffffff81000001, 1773 0xfeffffff80800001, 1774 0xff7fffff80400001, 1775 0xffbfffff80200001, 1776 0xffdfffff80100001, 1777 0xffefffff80080001, 1778 0xfff7ffff80040001, 1779 0xfffbffff80020001, 1780 0xfffdffff80010001, 1781 0xfffeffff80008001, 1782 0xffff7fff80004001, 1783 0xffffbfff80002001, 1784 0xffffdfff80001001, 1785 0xffffefff80000801, 1786 0xfffff7ff80000401, 1787 0xfffffbff80000201, 1788 0xfffffdff80000101, 1789 0xfffffeff80000081, 1790 0xffffff7f80000041, 1791 0xffffffbf80000021, 1792 0xffffffdf80000011, 1793 0xffffffef80000009, 1794 0xfffffff780000005, 1795 0xfffffffb80000003, 1796 0xfffffffd80000002, 1797 0xfffffffe80000001, 1798 0xffffffff00000000, 1799 0xffffffff3fffffff, 1800 0xffffffff5ffffffe, 1801 0xffffffff6ffffffd, 1802 0xffffffff77fffffc, 1803 0xffffffff7bfffffb, 1804 0xffffffff7dfffffa, 1805 0xffffffff7efffff9, 1806 0xffffffff7f7ffff8, 1807 0xffffffff7fbffff7, 1808 0xffffffff7fdffff6, 1809 0xffffffff7feffff5, 1810 0xffffffff7ff7fff4, 1811 0xffffffff7ffbfff3, 1812 0xffffffff7ffdfff2, 1813 0xffffffff7ffefff1, 1814 0xffffffff7fff7ff0, 1815 0xffffffff7fffbfef, 1816 0xffffffff7fffdfee, 1817 0xffffffff7fffefed, 1818 0xffffffff7ffff7ec, 1819 0xffffffff7ffffbeb, 1820 0xffffffff7ffffdea, 1821 0xffffffff7ffffee9, 1822 0xffffffff7fffff68, 1823 0xffffffff7fffffa7, 1824 0xffffffff7fffffc6, 1825 0xffffffff7fffffd5, 1826 0xffffffff7fffffdc, 1827 0xffffffff7fffffdf, 1828 0xffffffff7fffffe0, 1829 0xffffffff7fffffe0, 1830 0x7fffffffc0000001, 1831 0xbfffffffa0000001, 1832 0xdfffffff90000001, 1833 0xefffffff88000001, 1834 0xf7ffffff84000001, 1835 0xfbffffff82000001, 1836 0xfdffffff81000001, 1837 0xfeffffff80800001, 1838 0xff7fffff80400001, 1839 0xffbfffff80200001, 1840 0xffdfffff80100001, 1841 0xffefffff80080001, 1842 0xfff7ffff80040001, 1843 0xfffbffff80020001, 1844 0xfffdffff80010001, 1845 0xfffeffff80008001, 1846 0xffff7fff80004001, 1847 0xffffbfff80002001, 1848 0xffffdfff80001001, 1849 0xffffefff80000801, 1850 0xfffff7ff80000401, 1851 0xfffffbff80000201, 1852 0xfffffdff80000101, 1853 0xfffffeff80000081, 1854 0xffffff7f80000041, 1855 0xffffffbf80000021, 1856 0xffffffdf80000011, 1857 0xffffffef80000009, 1858 0xfffffff780000005, 1859 0xfffffffb80000003, 1860 0xfffffffd80000002, 1861 0xfffffffe80000001, 1862 0xffffffff00000000, 1863 0xffffffff3fffffff, 1864 0xffffffff5ffffffe, 1865 0xffffffff6ffffffd, 1866 0xffffffff77fffffc, 1867 0xffffffff7bfffffb, 1868 0xffffffff7dfffffa, 1869 0xffffffff7efffff9, 1870 0xffffffff7f7ffff8, 1871 0xffffffff7fbffff7, 1872 0xffffffff7fdffff6, 1873 0xffffffff7feffff5, 1874 0xffffffff7ff7fff4, 1875 0xffffffff7ffbfff3, 1876 0xffffffff7ffdfff2, 1877 0xffffffff7ffefff1, 1878 0xffffffff7fff7ff0, 1879 0xffffffff7fffbfef, 1880 0xffffffff7fffdfee, 1881 0xffffffff7fffefed, 1882 0xffffffff7ffff7ec, 1883 0xffffffff7ffffbeb, 1884 0xffffffff7ffffdea, 1885 0xffffffff7ffffee9, 1886 0xffffffff7fffff68, 1887 0xffffffff7fffffa7, 1888 0xffffffff7fffffc6, 1889 0xffffffff7fffffd5, 1890 0xffffffff7fffffdc, 1891 0xffffffff7fffffdf, 1892 0xffffffff7fffffe0, 1893 0xffffffff7fffffe0, 1894 0x7fffffffffffc000, 1895 0xbfffffffffffa000, 1896 0xdfffffffffff9000, 1897 0xefffffffffff8800, 1898 0xf7ffffffffff8400, 1899 0xfbffffffffff8200, 1900 0xfdffffffffff8100, 1901 0xfeffffffffff8080, 1902 0xff7fffffffff8040, 1903 0xffbfffffffff8020, 1904 0xffdfffffffff8010, 1905 0xffefffffffff8008, 1906 0xfff7ffffffff8004, 1907 0xfffbffffffff8002, 1908 0xfffdffffffff8001, 1909 0xfffeffffffff8000, 1910 0xffff7fffffff7fff, 1911 0xffffbfffffff7ffe, 1912 0xffffdfffffff7ffd, 1913 0xffffefffffff7ffc, 1914 0xfffff7ffffff7ffb, 1915 0xfffffbffffff7ffa, 1916 0xfffffdffffff7ff9, 1917 0xfffffeffffff7ff8, 1918 0xffffff7fffff7ff7, 1919 0xffffffbfffff7ff6, 1920 0xffffffdfffff7ff5, 1921 0xffffffefffff7ff4, 1922 0xfffffff7ffff7ff3, 1923 0xfffffffbffff7ff2, 1924 0xfffffffdffff7ff1, 1925 0xfffffffeffff7ff0, 1926 0xffffffff7fff7fef, 1927 0xffffffffbfff7fee, 1928 0xffffffffdfff7fed, 1929 0xffffffffefff7fec, 1930 0xfffffffff7ff7feb, 1931 0xfffffffffbff7fea, 1932 0xfffffffffdff7fe9, 1933 0xfffffffffeff7fe8, 1934 0xffffffffff7f7fe7, 1935 0xffffffffffbf7fe6, 1936 0xffffffffffdf7fe5, 1937 0xffffffffffef7fe4, 1938 0xfffffffffff77fe3, 1939 0xfffffffffffb7fe2, 1940 0xfffffffffffd7fe1, 1941 0xfffffffffffe7fe0, 1942 0xfffffffffffeffdf, 1943 0xffffffffffff3fde, 1944 0xffffffffffff5fdd, 1945 0xffffffffffff6fdc, 1946 0xffffffffffff77db, 1947 0xffffffffffff7bda, 1948 0xffffffffffff7dd9, 1949 0xffffffffffff7ed8, 1950 0xffffffffffff7f57, 1951 0xffffffffffff7f96, 1952 0xffffffffffff7fb5, 1953 0xffffffffffff7fc4, 1954 0xffffffffffff7fcb, 1955 0xffffffffffff7fce, 1956 0xffffffffffff7fcf, 1957 0xffffffffffff7fcf, 1958 0x7fffffffffffc000, 1959 0xbfffffffffffa000, 1960 0xdfffffffffff9000, 1961 0xefffffffffff8800, 1962 0xf7ffffffffff8400, 1963 0xfbffffffffff8200, 1964 0xfdffffffffff8100, 1965 0xfeffffffffff8080, 1966 0xff7fffffffff8040, 1967 0xffbfffffffff8020, 1968 0xffdfffffffff8010, 1969 0xffefffffffff8008, 1970 0xfff7ffffffff8004, 1971 0xfffbffffffff8002, 1972 0xfffdffffffff8001, 1973 0xfffeffffffff8000, 1974 0xffff7fffffff7fff, 1975 0xffffbfffffff7ffe, 1976 0xffffdfffffff7ffd, 1977 0xffffefffffff7ffc, 1978 0xfffff7ffffff7ffb, 1979 0xfffffbffffff7ffa, 1980 0xfffffdffffff7ff9, 1981 0xfffffeffffff7ff8, 1982 0xffffff7fffff7ff7, 1983 0xffffffbfffff7ff6, 1984 0xffffffdfffff7ff5, 1985 0xffffffefffff7ff4, 1986 0xfffffff7ffff7ff3, 1987 0xfffffffbffff7ff2, 1988 0xfffffffdffff7ff1, 1989 0xfffffffeffff7ff0, 1990 0xffffffff7fff7fef, 1991 0xffffffffbfff7fee, 1992 0xffffffffdfff7fed, 1993 0xffffffffefff7fec, 1994 0xfffffffff7ff7feb, 1995 0xfffffffffbff7fea, 1996 0xfffffffffdff7fe9, 1997 0xfffffffffeff7fe8, 1998 0xffffffffff7f7fe7, 1999 0xffffffffffbf7fe6, 2000 0xffffffffffdf7fe5, 2001 0xffffffffffef7fe4, 2002 0xfffffffffff77fe3, 2003 0xfffffffffffb7fe2, 2004 0xfffffffffffd7fe1, 2005 0xfffffffffffe7fe0, 2006 0xfffffffffffeffdf, 2007 0xffffffffffff3fde, 2008 0xffffffffffff5fdd, 2009 0xffffffffffff6fdc, 2010 0xffffffffffff77db, 2011 0xffffffffffff7bda, 2012 0xffffffffffff7dd9, 2013 0xffffffffffff7ed8, 2014 0xffffffffffff7f57, 2015 0xffffffffffff7f96, 2016 0xffffffffffff7fb5, 2017 0xffffffffffff7fc4, 2018 0xffffffffffff7fcb, 2019 0xffffffffffff7fce, 2020 0xffffffffffff7fcf, 2021 0xffffffffffff7fcf, 2022 0x7fffffffffffc001, 2023 0xbfffffffffffa001, 2024 0xdfffffffffff9001, 2025 0xefffffffffff8801, 2026 0xf7ffffffffff8401, 2027 0xfbffffffffff8201, 2028 0xfdffffffffff8101, 2029 0xfeffffffffff8081, 2030 0xff7fffffffff8041, 2031 0xffbfffffffff8021, 2032 0xffdfffffffff8011, 2033 0xffefffffffff8009, 2034 0xfff7ffffffff8005, 2035 0xfffbffffffff8003, 2036 0xfffdffffffff8002, 2037 0xfffeffffffff8001, 2038 0xffff7fffffff8000, 2039 0xffffbfffffff7fff, 2040 0xffffdfffffff7ffe, 2041 0xffffefffffff7ffd, 2042 0xfffff7ffffff7ffc, 2043 0xfffffbffffff7ffb, 2044 0xfffffdffffff7ffa, 2045 0xfffffeffffff7ff9, 2046 0xffffff7fffff7ff8, 2047 0xffffffbfffff7ff7, 2048 0xffffffdfffff7ff6, 2049 0xffffffefffff7ff5, 2050 0xfffffff7ffff7ff4, 2051 0xfffffffbffff7ff3, 2052 0xfffffffdffff7ff2, 2053 0xfffffffeffff7ff1, 2054 0xffffffff7fff7ff0, 2055 0xffffffffbfff7fef, 2056 0xffffffffdfff7fee, 2057 0xffffffffefff7fed, 2058 0xfffffffff7ff7fec, 2059 0xfffffffffbff7feb, 2060 0xfffffffffdff7fea, 2061 0xfffffffffeff7fe9, 2062 0xffffffffff7f7fe8, 2063 0xffffffffffbf7fe7, 2064 0xffffffffffdf7fe6, 2065 0xffffffffffef7fe5, 2066 0xfffffffffff77fe4, 2067 0xfffffffffffb7fe3, 2068 0xfffffffffffd7fe2, 2069 0xfffffffffffe7fe1, 2070 0xfffffffffffeffe0, 2071 0xffffffffffff3fdf, 2072 0xffffffffffff5fde, 2073 0xffffffffffff6fdd, 2074 0xffffffffffff77dc, 2075 0xffffffffffff7bdb, 2076 0xffffffffffff7dda, 2077 0xffffffffffff7ed9, 2078 0xffffffffffff7f58, 2079 0xffffffffffff7f97, 2080 0xffffffffffff7fb6, 2081 0xffffffffffff7fc5, 2082 0xffffffffffff7fcc, 2083 0xffffffffffff7fcf, 2084 0xffffffffffff7fd0, 2085 0xffffffffffff7fd0, 2086 0x7fffffffffffc001, 2087 0xbfffffffffffa001, 2088 0xdfffffffffff9001, 2089 0xefffffffffff8801, 2090 0xf7ffffffffff8401, 2091 0xfbffffffffff8201, 2092 0xfdffffffffff8101, 2093 0xfeffffffffff8081, 2094 0xff7fffffffff8041, 2095 0xffbfffffffff8021, 2096 0xffdfffffffff8011, 2097 0xffefffffffff8009, 2098 0xfff7ffffffff8005, 2099 0xfffbffffffff8003, 2100 0xfffdffffffff8002, 2101 0xfffeffffffff8001, 2102 0xffff7fffffff8000, 2103 0xffffbfffffff7fff, 2104 0xffffdfffffff7ffe, 2105 0xffffefffffff7ffd, 2106 0xfffff7ffffff7ffc, 2107 0xfffffbffffff7ffb, 2108 0xfffffdffffff7ffa, 2109 0xfffffeffffff7ff9, 2110 0xffffff7fffff7ff8, 2111 0xffffffbfffff7ff7, 2112 0xffffffdfffff7ff6, 2113 0xffffffefffff7ff5, 2114 0xfffffff7ffff7ff4, 2115 0xfffffffbffff7ff3, 2116 0xfffffffdffff7ff2, 2117 0xfffffffeffff7ff1, 2118 0xffffffff7fff7ff0, 2119 0xffffffffbfff7fef, 2120 0xffffffffdfff7fee, 2121 0xffffffffefff7fed, 2122 0xfffffffff7ff7fec, 2123 0xfffffffffbff7feb, 2124 0xfffffffffdff7fea, 2125 0xfffffffffeff7fe9, 2126 0xffffffffff7f7fe8, 2127 0xffffffffffbf7fe7, 2128 0xffffffffffdf7fe6, 2129 0xffffffffffef7fe5, 2130 0xfffffffffff77fe4, 2131 0xfffffffffffb7fe3, 2132 0xfffffffffffd7fe2, 2133 0xfffffffffffe7fe1, 2134 0xfffffffffffeffe0, 2135 0xffffffffffff3fdf, 2136 0xffffffffffff5fde, 2137 0xffffffffffff6fdd, 2138 0xffffffffffff77dc, 2139 0xffffffffffff7bdb, 2140 0xffffffffffff7dda, 2141 0xffffffffffff7ed9, 2142 0xffffffffffff7f58, 2143 0xffffffffffff7f97, 2144 0xffffffffffff7fb6, 2145 0xffffffffffff7fc5, 2146 0xffffffffffff7fcc, 2147 0xffffffffffff7fcf, 2148 0xffffffffffff7fd0, 2149 0xffffffffffff7fd0, 2150 0x7fffffffffffffc0, 2151 0xbfffffffffffffa0, 2152 0xdfffffffffffff90, 2153 0xefffffffffffff88, 2154 0xf7ffffffffffff84, 2155 0xfbffffffffffff82, 2156 0xfdffffffffffff81, 2157 0xfeffffffffffff80, 2158 0xff7fffffffffff7f, 2159 0xffbfffffffffff7e, 2160 0xffdfffffffffff7d, 2161 0xffefffffffffff7c, 2162 0xfff7ffffffffff7b, 2163 0xfffbffffffffff7a, 2164 0xfffdffffffffff79, 2165 0xfffeffffffffff78, 2166 0xffff7fffffffff77, 2167 0xffffbfffffffff76, 2168 0xffffdfffffffff75, 2169 0xffffefffffffff74, 2170 0xfffff7ffffffff73, 2171 0xfffffbffffffff72, 2172 0xfffffdffffffff71, 2173 0xfffffeffffffff70, 2174 0xffffff7fffffff6f, 2175 0xffffffbfffffff6e, 2176 0xffffffdfffffff6d, 2177 0xffffffefffffff6c, 2178 0xfffffff7ffffff6b, 2179 0xfffffffbffffff6a, 2180 0xfffffffdffffff69, 2181 0xfffffffeffffff68, 2182 0xffffffff7fffff67, 2183 0xffffffffbfffff66, 2184 0xffffffffdfffff65, 2185 0xffffffffefffff64, 2186 0xfffffffff7ffff63, 2187 0xfffffffffbffff62, 2188 0xfffffffffdffff61, 2189 0xfffffffffeffff60, 2190 0xffffffffff7fff5f, 2191 0xffffffffffbfff5e, 2192 0xffffffffffdfff5d, 2193 0xffffffffffefff5c, 2194 0xfffffffffff7ff5b, 2195 0xfffffffffffbff5a, 2196 0xfffffffffffdff59, 2197 0xfffffffffffeff58, 2198 0xffffffffffff7f57, 2199 0xffffffffffffbf56, 2200 0xffffffffffffdf55, 2201 0xffffffffffffef54, 2202 0xfffffffffffff753, 2203 0xfffffffffffffb52, 2204 0xfffffffffffffd51, 2205 0xfffffffffffffe50, 2206 0xfffffffffffffecf, 2207 0xffffffffffffff0e, 2208 0xffffffffffffff2d, 2209 0xffffffffffffff3c, 2210 0xffffffffffffff43, 2211 0xffffffffffffff46, 2212 0xffffffffffffff47, 2213 0xffffffffffffff47, 2214 0x7fffffffffffffc0, 2215 0xbfffffffffffffa0, 2216 0xdfffffffffffff90, 2217 0xefffffffffffff88, 2218 0xf7ffffffffffff84, 2219 0xfbffffffffffff82, 2220 0xfdffffffffffff81, 2221 0xfeffffffffffff80, 2222 0xff7fffffffffff7f, 2223 0xffbfffffffffff7e, 2224 0xffdfffffffffff7d, 2225 0xffefffffffffff7c, 2226 0xfff7ffffffffff7b, 2227 0xfffbffffffffff7a, 2228 0xfffdffffffffff79, 2229 0xfffeffffffffff78, 2230 0xffff7fffffffff77, 2231 0xffffbfffffffff76, 2232 0xffffdfffffffff75, 2233 0xffffefffffffff74, 2234 0xfffff7ffffffff73, 2235 0xfffffbffffffff72, 2236 0xfffffdffffffff71, 2237 0xfffffeffffffff70, 2238 0xffffff7fffffff6f, 2239 0xffffffbfffffff6e, 2240 0xffffffdfffffff6d, 2241 0xffffffefffffff6c, 2242 0xfffffff7ffffff6b, 2243 0xfffffffbffffff6a, 2244 0xfffffffdffffff69, 2245 0xfffffffeffffff68, 2246 0xffffffff7fffff67, 2247 0xffffffffbfffff66, 2248 0xffffffffdfffff65, 2249 0xffffffffefffff64, 2250 0xfffffffff7ffff63, 2251 0xfffffffffbffff62, 2252 0xfffffffffdffff61, 2253 0xfffffffffeffff60, 2254 0xffffffffff7fff5f, 2255 0xffffffffffbfff5e, 2256 0xffffffffffdfff5d, 2257 0xffffffffffefff5c, 2258 0xfffffffffff7ff5b, 2259 0xfffffffffffbff5a, 2260 0xfffffffffffdff59, 2261 0xfffffffffffeff58, 2262 0xffffffffffff7f57, 2263 0xffffffffffffbf56, 2264 0xffffffffffffdf55, 2265 0xffffffffffffef54, 2266 0xfffffffffffff753, 2267 0xfffffffffffffb52, 2268 0xfffffffffffffd51, 2269 0xfffffffffffffe50, 2270 0xfffffffffffffecf, 2271 0xffffffffffffff0e, 2272 0xffffffffffffff2d, 2273 0xffffffffffffff3c, 2274 0xffffffffffffff43, 2275 0xffffffffffffff46, 2276 0xffffffffffffff47, 2277 0xffffffffffffff47, 2278 0x7fffffffffffffc1, 2279 0xbfffffffffffffa1, 2280 0xdfffffffffffff91, 2281 0xefffffffffffff89, 2282 0xf7ffffffffffff85, 2283 0xfbffffffffffff83, 2284 0xfdffffffffffff82, 2285 0xfeffffffffffff81, 2286 0xff7fffffffffff80, 2287 0xffbfffffffffff7f, 2288 0xffdfffffffffff7e, 2289 0xffefffffffffff7d, 2290 0xfff7ffffffffff7c, 2291 0xfffbffffffffff7b, 2292 0xfffdffffffffff7a, 2293 0xfffeffffffffff79, 2294 0xffff7fffffffff78, 2295 0xffffbfffffffff77, 2296 0xffffdfffffffff76, 2297 0xffffefffffffff75, 2298 0xfffff7ffffffff74, 2299 0xfffffbffffffff73, 2300 0xfffffdffffffff72, 2301 0xfffffeffffffff71, 2302 0xffffff7fffffff70, 2303 0xffffffbfffffff6f, 2304 0xffffffdfffffff6e, 2305 0xffffffefffffff6d, 2306 0xfffffff7ffffff6c, 2307 0xfffffffbffffff6b, 2308 0xfffffffdffffff6a, 2309 0xfffffffeffffff69, 2310 0xffffffff7fffff68, 2311 0xffffffffbfffff67, 2312 0xffffffffdfffff66, 2313 0xffffffffefffff65, 2314 0xfffffffff7ffff64, 2315 0xfffffffffbffff63, 2316 0xfffffffffdffff62, 2317 0xfffffffffeffff61, 2318 0xffffffffff7fff60, 2319 0xffffffffffbfff5f, 2320 0xffffffffffdfff5e, 2321 0xffffffffffefff5d, 2322 0xfffffffffff7ff5c, 2323 0xfffffffffffbff5b, 2324 0xfffffffffffdff5a, 2325 0xfffffffffffeff59, 2326 0xffffffffffff7f58, 2327 0xffffffffffffbf57, 2328 0xffffffffffffdf56, 2329 0xffffffffffffef55, 2330 0xfffffffffffff754, 2331 0xfffffffffffffb53, 2332 0xfffffffffffffd52, 2333 0xfffffffffffffe51, 2334 0xfffffffffffffed0, 2335 0xffffffffffffff0f, 2336 0xffffffffffffff2e, 2337 0xffffffffffffff3d, 2338 0xffffffffffffff44, 2339 0xffffffffffffff47, 2340 0xffffffffffffff48, 2341 0xffffffffffffff48, 2342 0x7fffffffffffffc1, 2343 0xbfffffffffffffa1, 2344 0xdfffffffffffff91, 2345 0xefffffffffffff89, 2346 0xf7ffffffffffff85, 2347 0xfbffffffffffff83, 2348 0xfdffffffffffff82, 2349 0xfeffffffffffff81, 2350 0xff7fffffffffff80, 2351 0xffbfffffffffff7f, 2352 0xffdfffffffffff7e, 2353 0xffefffffffffff7d, 2354 0xfff7ffffffffff7c, 2355 0xfffbffffffffff7b, 2356 0xfffdffffffffff7a, 2357 0xfffeffffffffff79, 2358 0xffff7fffffffff78, 2359 0xffffbfffffffff77, 2360 0xffffdfffffffff76, 2361 0xffffefffffffff75, 2362 0xfffff7ffffffff74, 2363 0xfffffbffffffff73, 2364 0xfffffdffffffff72, 2365 0xfffffeffffffff71, 2366 0xffffff7fffffff70, 2367 0xffffffbfffffff6f, 2368 0xffffffdfffffff6e, 2369 0xffffffefffffff6d, 2370 0xfffffff7ffffff6c, 2371 0xfffffffbffffff6b, 2372 0xfffffffdffffff6a, 2373 0xfffffffeffffff69, 2374 0xffffffff7fffff68, 2375 0xffffffffbfffff67, 2376 0xffffffffdfffff66, 2377 0xffffffffefffff65, 2378 0xfffffffff7ffff64, 2379 0xfffffffffbffff63, 2380 0xfffffffffdffff62, 2381 0xfffffffffeffff61, 2382 0xffffffffff7fff60, 2383 0xffffffffffbfff5f, 2384 0xffffffffffdfff5e, 2385 0xffffffffffefff5d, 2386 0xfffffffffff7ff5c, 2387 0xfffffffffffbff5b, 2388 0xfffffffffffdff5a, 2389 0xfffffffffffeff59, 2390 0xffffffffffff7f58, 2391 0xffffffffffffbf57, 2392 0xffffffffffffdf56, 2393 0xffffffffffffef55, 2394 0xfffffffffffff754, 2395 0xfffffffffffffb53, 2396 0xfffffffffffffd52, 2397 0xfffffffffffffe51, 2398 0xfffffffffffffed0, 2399 0xffffffffffffff0f, 2400 0xffffffffffffff2e, 2401 0xffffffffffffff3d, 2402 0xffffffffffffff44, 2403 0xffffffffffffff47, 2404 0xffffffffffffff48, 2405 0xffffffffffffff48, 2406 0x7fffffffffffffe0, 2407 0xbfffffffffffffd0, 2408 0xdfffffffffffffc8, 2409 0xefffffffffffffc4, 2410 0xf7ffffffffffffc2, 2411 0xfbffffffffffffc1, 2412 0xfdffffffffffffc0, 2413 0xfeffffffffffffbf, 2414 0xff7fffffffffffbe, 2415 0xffbfffffffffffbd, 2416 0xffdfffffffffffbc, 2417 0xffefffffffffffbb, 2418 0xfff7ffffffffffba, 2419 0xfffbffffffffffb9, 2420 0xfffdffffffffffb8, 2421 0xfffeffffffffffb7, 2422 0xffff7fffffffffb6, 2423 0xffffbfffffffffb5, 2424 0xffffdfffffffffb4, 2425 0xffffefffffffffb3, 2426 0xfffff7ffffffffb2, 2427 0xfffffbffffffffb1, 2428 0xfffffdffffffffb0, 2429 0xfffffeffffffffaf, 2430 0xffffff7fffffffae, 2431 0xffffffbfffffffad, 2432 0xffffffdfffffffac, 2433 0xffffffefffffffab, 2434 0xfffffff7ffffffaa, 2435 0xfffffffbffffffa9, 2436 0xfffffffdffffffa8, 2437 0xfffffffeffffffa7, 2438 0xffffffff7fffffa6, 2439 0xffffffffbfffffa5, 2440 0xffffffffdfffffa4, 2441 0xffffffffefffffa3, 2442 0xfffffffff7ffffa2, 2443 0xfffffffffbffffa1, 2444 0xfffffffffdffffa0, 2445 0xfffffffffeffff9f, 2446 0xffffffffff7fff9e, 2447 0xffffffffffbfff9d, 2448 0xffffffffffdfff9c, 2449 0xffffffffffefff9b, 2450 0xfffffffffff7ff9a, 2451 0xfffffffffffbff99, 2452 0xfffffffffffdff98, 2453 0xfffffffffffeff97, 2454 0xffffffffffff7f96, 2455 0xffffffffffffbf95, 2456 0xffffffffffffdf94, 2457 0xffffffffffffef93, 2458 0xfffffffffffff792, 2459 0xfffffffffffffb91, 2460 0xfffffffffffffd90, 2461 0xfffffffffffffe8f, 2462 0xffffffffffffff0e, 2463 0xffffffffffffff4d, 2464 0xffffffffffffff6c, 2465 0xffffffffffffff7b, 2466 0xffffffffffffff82, 2467 0xffffffffffffff85, 2468 0xffffffffffffff86, 2469 0xffffffffffffff86, 2470 0x7ffffffffffffffe, 2471 0xbffffffffffffffd, 2472 0xdffffffffffffffc, 2473 0xeffffffffffffffb, 2474 0xf7fffffffffffffa, 2475 0xfbfffffffffffff9, 2476 0xfdfffffffffffff8, 2477 0xfefffffffffffff7, 2478 0xff7ffffffffffff6, 2479 0xffbffffffffffff5, 2480 0xffdffffffffffff4, 2481 0xffeffffffffffff3, 2482 0xfff7fffffffffff2, 2483 0xfffbfffffffffff1, 2484 0xfffdfffffffffff0, 2485 0xfffeffffffffffef, 2486 0xffff7fffffffffee, 2487 0xffffbfffffffffed, 2488 0xffffdfffffffffec, 2489 0xffffefffffffffeb, 2490 0xfffff7ffffffffea, 2491 0xfffffbffffffffe9, 2492 0xfffffdffffffffe8, 2493 0xfffffeffffffffe7, 2494 0xffffff7fffffffe6, 2495 0xffffffbfffffffe5, 2496 0xffffffdfffffffe4, 2497 0xffffffefffffffe3, 2498 0xfffffff7ffffffe2, 2499 0xfffffffbffffffe1, 2500 0xfffffffdffffffe0, 2501 0xfffffffeffffffdf, 2502 0xffffffff7fffffde, 2503 0xffffffffbfffffdd, 2504 0xffffffffdfffffdc, 2505 0xffffffffefffffdb, 2506 0xfffffffff7ffffda, 2507 0xfffffffffbffffd9, 2508 0xfffffffffdffffd8, 2509 0xfffffffffeffffd7, 2510 0xffffffffff7fffd6, 2511 0xffffffffffbfffd5, 2512 0xffffffffffdfffd4, 2513 0xffffffffffefffd3, 2514 0xfffffffffff7ffd2, 2515 0xfffffffffffbffd1, 2516 0xfffffffffffdffd0, 2517 0xfffffffffffeffcf, 2518 0xffffffffffff7fce, 2519 0xffffffffffffbfcd, 2520 0xffffffffffffdfcc, 2521 0xffffffffffffefcb, 2522 0xfffffffffffff7ca, 2523 0xfffffffffffffbc9, 2524 0xfffffffffffffdc8, 2525 0xfffffffffffffec7, 2526 0xffffffffffffff46, 2527 0xffffffffffffff85, 2528 0xffffffffffffffa4, 2529 0xffffffffffffffb3, 2530 0xffffffffffffffba, 2531 0xffffffffffffffbd, 2532 0xffffffffffffffbe, 2533 0xffffffffffffffbe, 2534 0x7fffffffffffffff, 2535 0xbffffffffffffffe, 2536 0xdffffffffffffffd, 2537 0xeffffffffffffffc, 2538 0xf7fffffffffffffb, 2539 0xfbfffffffffffffa, 2540 0xfdfffffffffffff9, 2541 0xfefffffffffffff8, 2542 0xff7ffffffffffff7, 2543 0xffbffffffffffff6, 2544 0xffdffffffffffff5, 2545 0xffeffffffffffff4, 2546 0xfff7fffffffffff3, 2547 0xfffbfffffffffff2, 2548 0xfffdfffffffffff1, 2549 0xfffefffffffffff0, 2550 0xffff7fffffffffef, 2551 0xffffbfffffffffee, 2552 0xffffdfffffffffed, 2553 0xffffefffffffffec, 2554 0xfffff7ffffffffeb, 2555 0xfffffbffffffffea, 2556 0xfffffdffffffffe9, 2557 0xfffffeffffffffe8, 2558 0xffffff7fffffffe7, 2559 0xffffffbfffffffe6, 2560 0xffffffdfffffffe5, 2561 0xffffffefffffffe4, 2562 0xfffffff7ffffffe3, 2563 0xfffffffbffffffe2, 2564 0xfffffffdffffffe1, 2565 0xfffffffeffffffe0, 2566 0xffffffff7fffffdf, 2567 0xffffffffbfffffde, 2568 0xffffffffdfffffdd, 2569 0xffffffffefffffdc, 2570 0xfffffffff7ffffdb, 2571 0xfffffffffbffffda, 2572 0xfffffffffdffffd9, 2573 0xfffffffffeffffd8, 2574 0xffffffffff7fffd7, 2575 0xffffffffffbfffd6, 2576 0xffffffffffdfffd5, 2577 0xffffffffffefffd4, 2578 0xfffffffffff7ffd3, 2579 0xfffffffffffbffd2, 2580 0xfffffffffffdffd1, 2581 0xfffffffffffeffd0, 2582 0xffffffffffff7fcf, 2583 0xffffffffffffbfce, 2584 0xffffffffffffdfcd, 2585 0xffffffffffffefcc, 2586 0xfffffffffffff7cb, 2587 0xfffffffffffffbca, 2588 0xfffffffffffffdc9, 2589 0xfffffffffffffec8, 2590 0xffffffffffffff47, 2591 0xffffffffffffff86, 2592 0xffffffffffffffa5, 2593 0xffffffffffffffb4, 2594 0xffffffffffffffbb, 2595 0xffffffffffffffbe, 2596 0xffffffffffffffbf, 2597 0xffffffffffffffbf, 2598 }; 2599 const unsigned kExpectedCount_NEON_usra_D_2OPIMM = 2560; 2600 2601 #endif // VIXL_SIM_USRA_D_2OPIMM_TRACE_A64_H_ 2602
