1 // Copyright 2015, VIXL authors 2 // All rights reserved. 3 // 4 // Redistribution and use in source and binary forms, with or without 5 // modification, are permitted provided that the following conditions are met: 6 // 7 // * Redistributions of source code must retain the above copyright notice, 8 // this list of conditions and the following disclaimer. 9 // * Redistributions in binary form must reproduce the above copyright notice, 10 // this list of conditions and the following disclaimer in the documentation 11 // and/or other materials provided with the distribution. 12 // * Neither the name of ARM Limited nor the names of its contributors may be 13 // used to endorse or promote products derived from this software without 14 // specific prior written permission. 15 // 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND 17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE 20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER 23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26 27 28 // --------------------------------------------------------------------- 29 // This file is auto generated using tools/generate_simulator_traces.py. 30 // 31 // PLEASE DO NOT EDIT. 32 // --------------------------------------------------------------------- 33 34 #ifndef VIXL_SIM_URSRA_D_2OPIMM_TRACE_AARCH64_H_ 35 #define VIXL_SIM_URSRA_D_2OPIMM_TRACE_AARCH64_H_ 36 37 const uint64_t kExpected_NEON_ursra_D_2OPIMM[] = { 38 0x8000000000000000, 39 0xc000000000000000, 40 0xe000000000000000, 41 0xf000000000000000, 42 0xf800000000000000, 43 0xfc00000000000000, 44 0xfe00000000000000, 45 0xff00000000000000, 46 0xff80000000000000, 47 0xffc0000000000000, 48 0xffe0000000000000, 49 0xfff0000000000000, 50 0xfff8000000000000, 51 0xfffc000000000000, 52 0xfffe000000000000, 53 0xffff000000000000, 54 0xffff800000000000, 55 0xffffc00000000000, 56 0xffffe00000000000, 57 0xfffff00000000000, 58 0xfffff80000000000, 59 0xfffffc0000000000, 60 0xfffffe0000000000, 61 0xffffff0000000000, 62 0xffffff8000000000, 63 0xffffffc000000000, 64 0xffffffe000000000, 65 0xfffffff000000000, 66 0xfffffff800000000, 67 0xfffffffc00000000, 68 0xfffffffe00000000, 69 0xffffffff00000000, 70 0xffffffff80000000, 71 0xffffffffc0000000, 72 0xffffffffe0000000, 73 0xfffffffff0000000, 74 0xfffffffff8000000, 75 0xfffffffffc000000, 76 0xfffffffffe000000, 77 0xffffffffff000000, 78 0xffffffffff800000, 79 0xffffffffffc00000, 80 0xffffffffffe00000, 81 0xfffffffffff00000, 82 0xfffffffffff80000, 83 0xfffffffffffc0000, 84 0xfffffffffffe0000, 85 0xffffffffffff0000, 86 0xffffffffffff8000, 87 0xffffffffffffc000, 88 0xffffffffffffe000, 89 0xfffffffffffff000, 90 0xfffffffffffff800, 91 0xfffffffffffffc00, 92 0xfffffffffffffe00, 93 0xffffffffffffff00, 94 0xffffffffffffff80, 95 0xffffffffffffffc0, 96 0xffffffffffffffe0, 97 0xfffffffffffffff0, 98 0xfffffffffffffff8, 99 0xfffffffffffffffc, 100 0xfffffffffffffffe, 101 0xffffffffffffffff, 102 0x0000000000000000, 103 0x0000000000000000, 104 0x0000000000000000, 105 0x0000000000000000, 106 0x0000000000000000, 107 0x0000000000000000, 108 0x0000000000000000, 109 0x0000000000000000, 110 0x0000000000000000, 111 0x0000000000000000, 112 0x0000000000000000, 113 0x0000000000000000, 114 0x0000000000000000, 115 0x0000000000000000, 116 0x0000000000000000, 117 0x0000000000000000, 118 0x0000000000000000, 119 0x0000000000000000, 120 0x0000000000000000, 121 0x0000000000000000, 122 0x0000000000000000, 123 0x0000000000000000, 124 0x0000000000000000, 125 0x0000000000000000, 126 0x0000000000000000, 127 0x0000000000000000, 128 0x0000000000000000, 129 0x0000000000000000, 130 0x0000000000000000, 131 0x0000000000000000, 132 0x0000000000000000, 133 0x0000000000000000, 134 0x0000000000000000, 135 0x0000000000000000, 136 0x0000000000000000, 137 0x0000000000000000, 138 0x0000000000000000, 139 0x0000000000000000, 140 0x0000000000000000, 141 0x0000000000000000, 142 0x0000000000000000, 143 0x0000000000000000, 144 0x0000000000000000, 145 0x0000000000000000, 146 0x0000000000000000, 147 0x0000000000000000, 148 0x0000000000000000, 149 0x0000000000000000, 150 0x0000000000000000, 151 0x0000000000000000, 152 0x0000000000000000, 153 0x0000000000000000, 154 0x0000000000000000, 155 0x0000000000000000, 156 0x0000000000000000, 157 0x0000000000000000, 158 0x0000000000000000, 159 0x0000000000000000, 160 0x0000000000000000, 161 0x0000000000000000, 162 0x0000000000000000, 163 0x0000000000000000, 164 0x0000000000000000, 165 0x0000000000000000, 166 0x0000000000000001, 167 0x0000000000000001, 168 0x0000000000000001, 169 0x0000000000000001, 170 0x0000000000000001, 171 0x0000000000000001, 172 0x0000000000000001, 173 0x0000000000000001, 174 0x0000000000000001, 175 0x0000000000000001, 176 0x0000000000000001, 177 0x0000000000000001, 178 0x0000000000000001, 179 0x0000000000000001, 180 0x0000000000000001, 181 0x0000000000000001, 182 0x0000000000000001, 183 0x0000000000000001, 184 0x0000000000000001, 185 0x0000000000000001, 186 0x0000000000000001, 187 0x0000000000000001, 188 0x0000000000000001, 189 0x0000000000000001, 190 0x0000000000000001, 191 0x0000000000000001, 192 0x0000000000000001, 193 0x0000000000000001, 194 0x0000000000000001, 195 0x0000000000000001, 196 0x0000000000000001, 197 0x0000000000000001, 198 0x0000000000000001, 199 0x0000000000000001, 200 0x0000000000000001, 201 0x0000000000000001, 202 0x0000000000000001, 203 0x0000000000000001, 204 0x0000000000000001, 205 0x0000000000000001, 206 0x0000000000000001, 207 0x0000000000000001, 208 0x0000000000000001, 209 0x0000000000000001, 210 0x0000000000000001, 211 0x0000000000000001, 212 0x0000000000000001, 213 0x0000000000000001, 214 0x0000000000000001, 215 0x0000000000000001, 216 0x0000000000000001, 217 0x0000000000000001, 218 0x0000000000000001, 219 0x0000000000000001, 220 0x0000000000000001, 221 0x0000000000000001, 222 0x0000000000000001, 223 0x0000000000000001, 224 0x0000000000000001, 225 0x0000000000000001, 226 0x0000000000000001, 227 0x0000000000000001, 228 0x0000000000000001, 229 0x0000000000000001, 230 0x0000000000000001, 231 0x0000000000000002, 232 0x0000000000000002, 233 0x0000000000000002, 234 0x0000000000000002, 235 0x0000000000000002, 236 0x0000000000000002, 237 0x0000000000000002, 238 0x0000000000000002, 239 0x0000000000000002, 240 0x0000000000000002, 241 0x0000000000000002, 242 0x0000000000000002, 243 0x0000000000000002, 244 0x0000000000000002, 245 0x0000000000000002, 246 0x0000000000000002, 247 0x0000000000000002, 248 0x0000000000000002, 249 0x0000000000000002, 250 0x0000000000000002, 251 0x0000000000000002, 252 0x0000000000000002, 253 0x0000000000000002, 254 0x0000000000000002, 255 0x0000000000000002, 256 0x0000000000000002, 257 0x0000000000000002, 258 0x0000000000000002, 259 0x0000000000000002, 260 0x0000000000000002, 261 0x0000000000000002, 262 0x0000000000000002, 263 0x0000000000000002, 264 0x0000000000000002, 265 0x0000000000000002, 266 0x0000000000000002, 267 0x0000000000000002, 268 0x0000000000000002, 269 0x0000000000000002, 270 0x0000000000000002, 271 0x0000000000000002, 272 0x0000000000000002, 273 0x0000000000000002, 274 0x0000000000000002, 275 0x0000000000000002, 276 0x0000000000000002, 277 0x0000000000000002, 278 0x0000000000000002, 279 0x0000000000000002, 280 0x0000000000000002, 281 0x0000000000000002, 282 0x0000000000000002, 283 0x0000000000000002, 284 0x0000000000000002, 285 0x0000000000000002, 286 0x0000000000000002, 287 0x0000000000000002, 288 0x0000000000000002, 289 0x0000000000000002, 290 0x0000000000000002, 291 0x0000000000000002, 292 0x0000000000000002, 293 0x0000000000000002, 294 0x0000000000000020, 295 0x0000000000000030, 296 0x0000000000000038, 297 0x000000000000003c, 298 0x000000000000003e, 299 0x000000000000003f, 300 0x0000000000000040, 301 0x0000000000000040, 302 0x0000000000000040, 303 0x0000000000000040, 304 0x0000000000000040, 305 0x0000000000000040, 306 0x0000000000000040, 307 0x0000000000000040, 308 0x0000000000000040, 309 0x0000000000000040, 310 0x0000000000000040, 311 0x0000000000000040, 312 0x0000000000000040, 313 0x0000000000000040, 314 0x0000000000000040, 315 0x0000000000000040, 316 0x0000000000000040, 317 0x0000000000000040, 318 0x0000000000000040, 319 0x0000000000000040, 320 0x0000000000000040, 321 0x0000000000000040, 322 0x0000000000000040, 323 0x0000000000000040, 324 0x0000000000000040, 325 0x0000000000000040, 326 0x0000000000000040, 327 0x0000000000000040, 328 0x0000000000000040, 329 0x0000000000000040, 330 0x0000000000000040, 331 0x0000000000000040, 332 0x0000000000000040, 333 0x0000000000000040, 334 0x0000000000000040, 335 0x0000000000000040, 336 0x0000000000000040, 337 0x0000000000000040, 338 0x0000000000000040, 339 0x0000000000000040, 340 0x0000000000000040, 341 0x0000000000000040, 342 0x0000000000000040, 343 0x0000000000000040, 344 0x0000000000000040, 345 0x0000000000000040, 346 0x0000000000000040, 347 0x0000000000000040, 348 0x0000000000000040, 349 0x0000000000000040, 350 0x0000000000000040, 351 0x0000000000000040, 352 0x0000000000000040, 353 0x0000000000000040, 354 0x0000000000000040, 355 0x0000000000000040, 356 0x0000000000000040, 357 0x0000000000000040, 358 0x000000000000003f, 359 0x000000000000005e, 360 0x000000000000006e, 361 0x0000000000000076, 362 0x000000000000007a, 363 0x000000000000007c, 364 0x000000000000007d, 365 0x000000000000007d, 366 0x000000000000007d, 367 0x000000000000007d, 368 0x000000000000007d, 369 0x000000000000007d, 370 0x000000000000007d, 371 0x000000000000007d, 372 0x000000000000007d, 373 0x000000000000007d, 374 0x000000000000007d, 375 0x000000000000007d, 376 0x000000000000007d, 377 0x000000000000007d, 378 0x000000000000007d, 379 0x000000000000007d, 380 0x000000000000007d, 381 0x000000000000007d, 382 0x000000000000007d, 383 0x000000000000007d, 384 0x000000000000007d, 385 0x000000000000007d, 386 0x000000000000007d, 387 0x000000000000007d, 388 0x000000000000007d, 389 0x000000000000007d, 390 0x000000000000007d, 391 0x000000000000007d, 392 0x000000000000007d, 393 0x000000000000007d, 394 0x000000000000007d, 395 0x000000000000007d, 396 0x000000000000007d, 397 0x000000000000007d, 398 0x000000000000007d, 399 0x000000000000007d, 400 0x000000000000007d, 401 0x000000000000007d, 402 0x000000000000007d, 403 0x000000000000007d, 404 0x000000000000007d, 405 0x000000000000007d, 406 0x000000000000007d, 407 0x000000000000007d, 408 0x000000000000007d, 409 0x000000000000007d, 410 0x000000000000007d, 411 0x000000000000007d, 412 0x000000000000007d, 413 0x000000000000007d, 414 0x000000000000007d, 415 0x000000000000007d, 416 0x000000000000007d, 417 0x000000000000007d, 418 0x000000000000007d, 419 0x000000000000007d, 420 0x000000000000007d, 421 0x000000000000007d, 422 0x000000000000003f, 423 0x000000000000005f, 424 0x000000000000006f, 425 0x0000000000000077, 426 0x000000000000007b, 427 0x000000000000007d, 428 0x000000000000007e, 429 0x000000000000007e, 430 0x000000000000007e, 431 0x000000000000007e, 432 0x000000000000007e, 433 0x000000000000007e, 434 0x000000000000007e, 435 0x000000000000007e, 436 0x000000000000007e, 437 0x000000000000007e, 438 0x000000000000007e, 439 0x000000000000007e, 440 0x000000000000007e, 441 0x000000000000007e, 442 0x000000000000007e, 443 0x000000000000007e, 444 0x000000000000007e, 445 0x000000000000007e, 446 0x000000000000007e, 447 0x000000000000007e, 448 0x000000000000007e, 449 0x000000000000007e, 450 0x000000000000007e, 451 0x000000000000007e, 452 0x000000000000007e, 453 0x000000000000007e, 454 0x000000000000007e, 455 0x000000000000007e, 456 0x000000000000007e, 457 0x000000000000007e, 458 0x000000000000007e, 459 0x000000000000007e, 460 0x000000000000007e, 461 0x000000000000007e, 462 0x000000000000007e, 463 0x000000000000007e, 464 0x000000000000007e, 465 0x000000000000007e, 466 0x000000000000007e, 467 0x000000000000007e, 468 0x000000000000007e, 469 0x000000000000007e, 470 0x000000000000007e, 471 0x000000000000007e, 472 0x000000000000007e, 473 0x000000000000007e, 474 0x000000000000007e, 475 0x000000000000007e, 476 0x000000000000007e, 477 0x000000000000007e, 478 0x000000000000007e, 479 0x000000000000007e, 480 0x000000000000007e, 481 0x000000000000007e, 482 0x000000000000007e, 483 0x000000000000007e, 484 0x000000000000007e, 485 0x000000000000007e, 486 0x0000000000000040, 487 0x0000000000000060, 488 0x0000000000000070, 489 0x0000000000000078, 490 0x000000000000007c, 491 0x000000000000007e, 492 0x000000000000007f, 493 0x000000000000007f, 494 0x000000000000007f, 495 0x000000000000007f, 496 0x000000000000007f, 497 0x000000000000007f, 498 0x000000000000007f, 499 0x000000000000007f, 500 0x000000000000007f, 501 0x000000000000007f, 502 0x000000000000007f, 503 0x000000000000007f, 504 0x000000000000007f, 505 0x000000000000007f, 506 0x000000000000007f, 507 0x000000000000007f, 508 0x000000000000007f, 509 0x000000000000007f, 510 0x000000000000007f, 511 0x000000000000007f, 512 0x000000000000007f, 513 0x000000000000007f, 514 0x000000000000007f, 515 0x000000000000007f, 516 0x000000000000007f, 517 0x000000000000007f, 518 0x000000000000007f, 519 0x000000000000007f, 520 0x000000000000007f, 521 0x000000000000007f, 522 0x000000000000007f, 523 0x000000000000007f, 524 0x000000000000007f, 525 0x000000000000007f, 526 0x000000000000007f, 527 0x000000000000007f, 528 0x000000000000007f, 529 0x000000000000007f, 530 0x000000000000007f, 531 0x000000000000007f, 532 0x000000000000007f, 533 0x000000000000007f, 534 0x000000000000007f, 535 0x000000000000007f, 536 0x000000000000007f, 537 0x000000000000007f, 538 0x000000000000007f, 539 0x000000000000007f, 540 0x000000000000007f, 541 0x000000000000007f, 542 0x000000000000007f, 543 0x000000000000007f, 544 0x000000000000007f, 545 0x000000000000007f, 546 0x000000000000007f, 547 0x000000000000007f, 548 0x000000000000007f, 549 0x000000000000007f, 550 0x0000000000003fff, 551 0x0000000000005ffe, 552 0x0000000000006ffe, 553 0x00000000000077fe, 554 0x0000000000007bfe, 555 0x0000000000007dfe, 556 0x0000000000007efe, 557 0x0000000000007f7e, 558 0x0000000000007fbe, 559 0x0000000000007fde, 560 0x0000000000007fee, 561 0x0000000000007ff6, 562 0x0000000000007ffa, 563 0x0000000000007ffc, 564 0x0000000000007ffd, 565 0x0000000000007ffd, 566 0x0000000000007ffd, 567 0x0000000000007ffd, 568 0x0000000000007ffd, 569 0x0000000000007ffd, 570 0x0000000000007ffd, 571 0x0000000000007ffd, 572 0x0000000000007ffd, 573 0x0000000000007ffd, 574 0x0000000000007ffd, 575 0x0000000000007ffd, 576 0x0000000000007ffd, 577 0x0000000000007ffd, 578 0x0000000000007ffd, 579 0x0000000000007ffd, 580 0x0000000000007ffd, 581 0x0000000000007ffd, 582 0x0000000000007ffd, 583 0x0000000000007ffd, 584 0x0000000000007ffd, 585 0x0000000000007ffd, 586 0x0000000000007ffd, 587 0x0000000000007ffd, 588 0x0000000000007ffd, 589 0x0000000000007ffd, 590 0x0000000000007ffd, 591 0x0000000000007ffd, 592 0x0000000000007ffd, 593 0x0000000000007ffd, 594 0x0000000000007ffd, 595 0x0000000000007ffd, 596 0x0000000000007ffd, 597 0x0000000000007ffd, 598 0x0000000000007ffd, 599 0x0000000000007ffd, 600 0x0000000000007ffd, 601 0x0000000000007ffd, 602 0x0000000000007ffd, 603 0x0000000000007ffd, 604 0x0000000000007ffd, 605 0x0000000000007ffd, 606 0x0000000000007ffd, 607 0x0000000000007ffd, 608 0x0000000000007ffd, 609 0x0000000000007ffd, 610 0x0000000000007ffd, 611 0x0000000000007ffd, 612 0x0000000000007ffd, 613 0x0000000000007ffd, 614 0x0000000000003fff, 615 0x0000000000005fff, 616 0x0000000000006fff, 617 0x00000000000077ff, 618 0x0000000000007bff, 619 0x0000000000007dff, 620 0x0000000000007eff, 621 0x0000000000007f7f, 622 0x0000000000007fbf, 623 0x0000000000007fdf, 624 0x0000000000007fef, 625 0x0000000000007ff7, 626 0x0000000000007ffb, 627 0x0000000000007ffd, 628 0x0000000000007ffe, 629 0x0000000000007ffe, 630 0x0000000000007ffe, 631 0x0000000000007ffe, 632 0x0000000000007ffe, 633 0x0000000000007ffe, 634 0x0000000000007ffe, 635 0x0000000000007ffe, 636 0x0000000000007ffe, 637 0x0000000000007ffe, 638 0x0000000000007ffe, 639 0x0000000000007ffe, 640 0x0000000000007ffe, 641 0x0000000000007ffe, 642 0x0000000000007ffe, 643 0x0000000000007ffe, 644 0x0000000000007ffe, 645 0x0000000000007ffe, 646 0x0000000000007ffe, 647 0x0000000000007ffe, 648 0x0000000000007ffe, 649 0x0000000000007ffe, 650 0x0000000000007ffe, 651 0x0000000000007ffe, 652 0x0000000000007ffe, 653 0x0000000000007ffe, 654 0x0000000000007ffe, 655 0x0000000000007ffe, 656 0x0000000000007ffe, 657 0x0000000000007ffe, 658 0x0000000000007ffe, 659 0x0000000000007ffe, 660 0x0000000000007ffe, 661 0x0000000000007ffe, 662 0x0000000000007ffe, 663 0x0000000000007ffe, 664 0x0000000000007ffe, 665 0x0000000000007ffe, 666 0x0000000000007ffe, 667 0x0000000000007ffe, 668 0x0000000000007ffe, 669 0x0000000000007ffe, 670 0x0000000000007ffe, 671 0x0000000000007ffe, 672 0x0000000000007ffe, 673 0x0000000000007ffe, 674 0x0000000000007ffe, 675 0x0000000000007ffe, 676 0x0000000000007ffe, 677 0x0000000000007ffe, 678 0x0000000000004000, 679 0x0000000000006000, 680 0x0000000000007000, 681 0x0000000000007800, 682 0x0000000000007c00, 683 0x0000000000007e00, 684 0x0000000000007f00, 685 0x0000000000007f80, 686 0x0000000000007fc0, 687 0x0000000000007fe0, 688 0x0000000000007ff0, 689 0x0000000000007ff8, 690 0x0000000000007ffc, 691 0x0000000000007ffe, 692 0x0000000000007fff, 693 0x0000000000007fff, 694 0x0000000000007fff, 695 0x0000000000007fff, 696 0x0000000000007fff, 697 0x0000000000007fff, 698 0x0000000000007fff, 699 0x0000000000007fff, 700 0x0000000000007fff, 701 0x0000000000007fff, 702 0x0000000000007fff, 703 0x0000000000007fff, 704 0x0000000000007fff, 705 0x0000000000007fff, 706 0x0000000000007fff, 707 0x0000000000007fff, 708 0x0000000000007fff, 709 0x0000000000007fff, 710 0x0000000000007fff, 711 0x0000000000007fff, 712 0x0000000000007fff, 713 0x0000000000007fff, 714 0x0000000000007fff, 715 0x0000000000007fff, 716 0x0000000000007fff, 717 0x0000000000007fff, 718 0x0000000000007fff, 719 0x0000000000007fff, 720 0x0000000000007fff, 721 0x0000000000007fff, 722 0x0000000000007fff, 723 0x0000000000007fff, 724 0x0000000000007fff, 725 0x0000000000007fff, 726 0x0000000000007fff, 727 0x0000000000007fff, 728 0x0000000000007fff, 729 0x0000000000007fff, 730 0x0000000000007fff, 731 0x0000000000007fff, 732 0x0000000000007fff, 733 0x0000000000007fff, 734 0x0000000000007fff, 735 0x0000000000007fff, 736 0x0000000000007fff, 737 0x0000000000007fff, 738 0x0000000000007fff, 739 0x0000000000007fff, 740 0x0000000000007fff, 741 0x0000000000007fff, 742 0x000000003fffffff, 743 0x000000005ffffffe, 744 0x000000006ffffffe, 745 0x0000000077fffffe, 746 0x000000007bfffffe, 747 0x000000007dfffffe, 748 0x000000007efffffe, 749 0x000000007f7ffffe, 750 0x000000007fbffffe, 751 0x000000007fdffffe, 752 0x000000007feffffe, 753 0x000000007ff7fffe, 754 0x000000007ffbfffe, 755 0x000000007ffdfffe, 756 0x000000007ffefffe, 757 0x000000007fff7ffe, 758 0x000000007fffbffe, 759 0x000000007fffdffe, 760 0x000000007fffeffe, 761 0x000000007ffff7fe, 762 0x000000007ffffbfe, 763 0x000000007ffffdfe, 764 0x000000007ffffefe, 765 0x000000007fffff7e, 766 0x000000007fffffbe, 767 0x000000007fffffde, 768 0x000000007fffffee, 769 0x000000007ffffff6, 770 0x000000007ffffffa, 771 0x000000007ffffffc, 772 0x000000007ffffffd, 773 0x000000007ffffffd, 774 0x000000007ffffffd, 775 0x000000007ffffffd, 776 0x000000007ffffffd, 777 0x000000007ffffffd, 778 0x000000007ffffffd, 779 0x000000007ffffffd, 780 0x000000007ffffffd, 781 0x000000007ffffffd, 782 0x000000007ffffffd, 783 0x000000007ffffffd, 784 0x000000007ffffffd, 785 0x000000007ffffffd, 786 0x000000007ffffffd, 787 0x000000007ffffffd, 788 0x000000007ffffffd, 789 0x000000007ffffffd, 790 0x000000007ffffffd, 791 0x000000007ffffffd, 792 0x000000007ffffffd, 793 0x000000007ffffffd, 794 0x000000007ffffffd, 795 0x000000007ffffffd, 796 0x000000007ffffffd, 797 0x000000007ffffffd, 798 0x000000007ffffffd, 799 0x000000007ffffffd, 800 0x000000007ffffffd, 801 0x000000007ffffffd, 802 0x000000007ffffffd, 803 0x000000007ffffffd, 804 0x000000007ffffffd, 805 0x000000007ffffffd, 806 0x000000003fffffff, 807 0x000000005fffffff, 808 0x000000006fffffff, 809 0x0000000077ffffff, 810 0x000000007bffffff, 811 0x000000007dffffff, 812 0x000000007effffff, 813 0x000000007f7fffff, 814 0x000000007fbfffff, 815 0x000000007fdfffff, 816 0x000000007fefffff, 817 0x000000007ff7ffff, 818 0x000000007ffbffff, 819 0x000000007ffdffff, 820 0x000000007ffeffff, 821 0x000000007fff7fff, 822 0x000000007fffbfff, 823 0x000000007fffdfff, 824 0x000000007fffefff, 825 0x000000007ffff7ff, 826 0x000000007ffffbff, 827 0x000000007ffffdff, 828 0x000000007ffffeff, 829 0x000000007fffff7f, 830 0x000000007fffffbf, 831 0x000000007fffffdf, 832 0x000000007fffffef, 833 0x000000007ffffff7, 834 0x000000007ffffffb, 835 0x000000007ffffffd, 836 0x000000007ffffffe, 837 0x000000007ffffffe, 838 0x000000007ffffffe, 839 0x000000007ffffffe, 840 0x000000007ffffffe, 841 0x000000007ffffffe, 842 0x000000007ffffffe, 843 0x000000007ffffffe, 844 0x000000007ffffffe, 845 0x000000007ffffffe, 846 0x000000007ffffffe, 847 0x000000007ffffffe, 848 0x000000007ffffffe, 849 0x000000007ffffffe, 850 0x000000007ffffffe, 851 0x000000007ffffffe, 852 0x000000007ffffffe, 853 0x000000007ffffffe, 854 0x000000007ffffffe, 855 0x000000007ffffffe, 856 0x000000007ffffffe, 857 0x000000007ffffffe, 858 0x000000007ffffffe, 859 0x000000007ffffffe, 860 0x000000007ffffffe, 861 0x000000007ffffffe, 862 0x000000007ffffffe, 863 0x000000007ffffffe, 864 0x000000007ffffffe, 865 0x000000007ffffffe, 866 0x000000007ffffffe, 867 0x000000007ffffffe, 868 0x000000007ffffffe, 869 0x000000007ffffffe, 870 0x0000000040000000, 871 0x0000000060000000, 872 0x0000000070000000, 873 0x0000000078000000, 874 0x000000007c000000, 875 0x000000007e000000, 876 0x000000007f000000, 877 0x000000007f800000, 878 0x000000007fc00000, 879 0x000000007fe00000, 880 0x000000007ff00000, 881 0x000000007ff80000, 882 0x000000007ffc0000, 883 0x000000007ffe0000, 884 0x000000007fff0000, 885 0x000000007fff8000, 886 0x000000007fffc000, 887 0x000000007fffe000, 888 0x000000007ffff000, 889 0x000000007ffff800, 890 0x000000007ffffc00, 891 0x000000007ffffe00, 892 0x000000007fffff00, 893 0x000000007fffff80, 894 0x000000007fffffc0, 895 0x000000007fffffe0, 896 0x000000007ffffff0, 897 0x000000007ffffff8, 898 0x000000007ffffffc, 899 0x000000007ffffffe, 900 0x000000007fffffff, 901 0x000000007fffffff, 902 0x000000007fffffff, 903 0x000000007fffffff, 904 0x000000007fffffff, 905 0x000000007fffffff, 906 0x000000007fffffff, 907 0x000000007fffffff, 908 0x000000007fffffff, 909 0x000000007fffffff, 910 0x000000007fffffff, 911 0x000000007fffffff, 912 0x000000007fffffff, 913 0x000000007fffffff, 914 0x000000007fffffff, 915 0x000000007fffffff, 916 0x000000007fffffff, 917 0x000000007fffffff, 918 0x000000007fffffff, 919 0x000000007fffffff, 920 0x000000007fffffff, 921 0x000000007fffffff, 922 0x000000007fffffff, 923 0x000000007fffffff, 924 0x000000007fffffff, 925 0x000000007fffffff, 926 0x000000007fffffff, 927 0x000000007fffffff, 928 0x000000007fffffff, 929 0x000000007fffffff, 930 0x000000007fffffff, 931 0x000000007fffffff, 932 0x000000007fffffff, 933 0x000000007fffffff, 934 0x199999999999999a, 935 0x2666666666666667, 936 0x2ccccccccccccccd, 937 0x3000000000000000, 938 0x319999999999999a, 939 0x3266666666666667, 940 0x32cccccccccccccd, 941 0x3300000000000000, 942 0x331999999999999a, 943 0x3326666666666667, 944 0x332ccccccccccccd, 945 0x3330000000000000, 946 0x333199999999999a, 947 0x3332666666666667, 948 0x3332cccccccccccd, 949 0x3333000000000000, 950 0x333319999999999a, 951 0x3333266666666667, 952 0x33332ccccccccccd, 953 0x3333300000000000, 954 0x333331999999999a, 955 0x3333326666666667, 956 0x333332cccccccccd, 957 0x3333330000000000, 958 0x333333199999999a, 959 0x3333332666666667, 960 0x3333332ccccccccd, 961 0x3333333000000000, 962 0x333333319999999a, 963 0x3333333266666667, 964 0x33333332cccccccd, 965 0x3333333300000000, 966 0x333333331999999a, 967 0x3333333326666667, 968 0x333333332ccccccd, 969 0x3333333330000000, 970 0x333333333199999a, 971 0x3333333332666667, 972 0x3333333332cccccd, 973 0x3333333333000000, 974 0x333333333319999a, 975 0x3333333333266667, 976 0x33333333332ccccd, 977 0x3333333333300000, 978 0x333333333331999a, 979 0x3333333333326667, 980 0x333333333332cccd, 981 0x3333333333330000, 982 0x333333333333199a, 983 0x3333333333332667, 984 0x3333333333332ccd, 985 0x3333333333333000, 986 0x333333333333319a, 987 0x3333333333333267, 988 0x33333333333332cd, 989 0x3333333333333300, 990 0x333333333333331a, 991 0x3333333333333327, 992 0x333333333333332d, 993 0x3333333333333330, 994 0x3333333333333332, 995 0x3333333333333333, 996 0x3333333333333333, 997 0x3333333333333333, 998 0x2aaaaaaaaaaaaaab, 999 0x4000000000000000, 1000 0x4aaaaaaaaaaaaaab, 1001 0x5000000000000000, 1002 0x52aaaaaaaaaaaaab, 1003 0x5400000000000000, 1004 0x54aaaaaaaaaaaaab, 1005 0x5500000000000000, 1006 0x552aaaaaaaaaaaab, 1007 0x5540000000000000, 1008 0x554aaaaaaaaaaaab, 1009 0x5550000000000000, 1010 0x5552aaaaaaaaaaab, 1011 0x5554000000000000, 1012 0x5554aaaaaaaaaaab, 1013 0x5555000000000000, 1014 0x55552aaaaaaaaaab, 1015 0x5555400000000000, 1016 0x55554aaaaaaaaaab, 1017 0x5555500000000000, 1018 0x555552aaaaaaaaab, 1019 0x5555540000000000, 1020 0x555554aaaaaaaaab, 1021 0x5555550000000000, 1022 0x5555552aaaaaaaab, 1023 0x5555554000000000, 1024 0x5555554aaaaaaaab, 1025 0x5555555000000000, 1026 0x55555552aaaaaaab, 1027 0x5555555400000000, 1028 0x55555554aaaaaaab, 1029 0x5555555500000000, 1030 0x555555552aaaaaab, 1031 0x5555555540000000, 1032 0x555555554aaaaaab, 1033 0x5555555550000000, 1034 0x5555555552aaaaab, 1035 0x5555555554000000, 1036 0x5555555554aaaaab, 1037 0x5555555555000000, 1038 0x55555555552aaaab, 1039 0x5555555555400000, 1040 0x55555555554aaaab, 1041 0x5555555555500000, 1042 0x555555555552aaab, 1043 0x5555555555540000, 1044 0x555555555554aaab, 1045 0x5555555555550000, 1046 0x5555555555552aab, 1047 0x5555555555554000, 1048 0x5555555555554aab, 1049 0x5555555555555000, 1050 0x55555555555552ab, 1051 0x5555555555555400, 1052 0x55555555555554ab, 1053 0x5555555555555500, 1054 0x555555555555552b, 1055 0x5555555555555540, 1056 0x555555555555554b, 1057 0x5555555555555550, 1058 0x5555555555555553, 1059 0x5555555555555554, 1060 0x5555555555555555, 1061 0x5555555555555555, 1062 0x3fffffffffffffff, 1063 0x5ffffffffffffffe, 1064 0x6ffffffffffffffe, 1065 0x77fffffffffffffe, 1066 0x7bfffffffffffffe, 1067 0x7dfffffffffffffe, 1068 0x7efffffffffffffe, 1069 0x7f7ffffffffffffe, 1070 0x7fbffffffffffffe, 1071 0x7fdffffffffffffe, 1072 0x7feffffffffffffe, 1073 0x7ff7fffffffffffe, 1074 0x7ffbfffffffffffe, 1075 0x7ffdfffffffffffe, 1076 0x7ffefffffffffffe, 1077 0x7fff7ffffffffffe, 1078 0x7fffbffffffffffe, 1079 0x7fffdffffffffffe, 1080 0x7fffeffffffffffe, 1081 0x7ffff7fffffffffe, 1082 0x7ffffbfffffffffe, 1083 0x7ffffdfffffffffe, 1084 0x7ffffefffffffffe, 1085 0x7fffff7ffffffffe, 1086 0x7fffffbffffffffe, 1087 0x7fffffdffffffffe, 1088 0x7fffffeffffffffe, 1089 0x7ffffff7fffffffe, 1090 0x7ffffffbfffffffe, 1091 0x7ffffffdfffffffe, 1092 0x7ffffffefffffffe, 1093 0x7fffffff7ffffffe, 1094 0x7fffffffbffffffe, 1095 0x7fffffffdffffffe, 1096 0x7fffffffeffffffe, 1097 0x7ffffffff7fffffe, 1098 0x7ffffffffbfffffe, 1099 0x7ffffffffdfffffe, 1100 0x7ffffffffefffffe, 1101 0x7fffffffff7ffffe, 1102 0x7fffffffffbffffe, 1103 0x7fffffffffdffffe, 1104 0x7fffffffffeffffe, 1105 0x7ffffffffff7fffe, 1106 0x7ffffffffffbfffe, 1107 0x7ffffffffffdfffe, 1108 0x7ffffffffffefffe, 1109 0x7fffffffffff7ffe, 1110 0x7fffffffffffbffe, 1111 0x7fffffffffffdffe, 1112 0x7fffffffffffeffe, 1113 0x7ffffffffffff7fe, 1114 0x7ffffffffffffbfe, 1115 0x7ffffffffffffdfe, 1116 0x7ffffffffffffefe, 1117 0x7fffffffffffff7e, 1118 0x7fffffffffffffbe, 1119 0x7fffffffffffffde, 1120 0x7fffffffffffffee, 1121 0x7ffffffffffffff6, 1122 0x7ffffffffffffffa, 1123 0x7ffffffffffffffc, 1124 0x7ffffffffffffffd, 1125 0x7ffffffffffffffd, 1126 0x3fffffffffffffff, 1127 0x5fffffffffffffff, 1128 0x6fffffffffffffff, 1129 0x77ffffffffffffff, 1130 0x7bffffffffffffff, 1131 0x7dffffffffffffff, 1132 0x7effffffffffffff, 1133 0x7f7fffffffffffff, 1134 0x7fbfffffffffffff, 1135 0x7fdfffffffffffff, 1136 0x7fefffffffffffff, 1137 0x7ff7ffffffffffff, 1138 0x7ffbffffffffffff, 1139 0x7ffdffffffffffff, 1140 0x7ffeffffffffffff, 1141 0x7fff7fffffffffff, 1142 0x7fffbfffffffffff, 1143 0x7fffdfffffffffff, 1144 0x7fffefffffffffff, 1145 0x7ffff7ffffffffff, 1146 0x7ffffbffffffffff, 1147 0x7ffffdffffffffff, 1148 0x7ffffeffffffffff, 1149 0x7fffff7fffffffff, 1150 0x7fffffbfffffffff, 1151 0x7fffffdfffffffff, 1152 0x7fffffefffffffff, 1153 0x7ffffff7ffffffff, 1154 0x7ffffffbffffffff, 1155 0x7ffffffdffffffff, 1156 0x7ffffffeffffffff, 1157 0x7fffffff7fffffff, 1158 0x7fffffffbfffffff, 1159 0x7fffffffdfffffff, 1160 0x7fffffffefffffff, 1161 0x7ffffffff7ffffff, 1162 0x7ffffffffbffffff, 1163 0x7ffffffffdffffff, 1164 0x7ffffffffeffffff, 1165 0x7fffffffff7fffff, 1166 0x7fffffffffbfffff, 1167 0x7fffffffffdfffff, 1168 0x7fffffffffefffff, 1169 0x7ffffffffff7ffff, 1170 0x7ffffffffffbffff, 1171 0x7ffffffffffdffff, 1172 0x7ffffffffffeffff, 1173 0x7fffffffffff7fff, 1174 0x7fffffffffffbfff, 1175 0x7fffffffffffdfff, 1176 0x7fffffffffffefff, 1177 0x7ffffffffffff7ff, 1178 0x7ffffffffffffbff, 1179 0x7ffffffffffffdff, 1180 0x7ffffffffffffeff, 1181 0x7fffffffffffff7f, 1182 0x7fffffffffffffbf, 1183 0x7fffffffffffffdf, 1184 0x7fffffffffffffef, 1185 0x7ffffffffffffff7, 1186 0x7ffffffffffffffb, 1187 0x7ffffffffffffffd, 1188 0x7ffffffffffffffe, 1189 0x7ffffffffffffffe, 1190 0x4000000000000000, 1191 0x6000000000000000, 1192 0x7000000000000000, 1193 0x7800000000000000, 1194 0x7c00000000000000, 1195 0x7e00000000000000, 1196 0x7f00000000000000, 1197 0x7f80000000000000, 1198 0x7fc0000000000000, 1199 0x7fe0000000000000, 1200 0x7ff0000000000000, 1201 0x7ff8000000000000, 1202 0x7ffc000000000000, 1203 0x7ffe000000000000, 1204 0x7fff000000000000, 1205 0x7fff800000000000, 1206 0x7fffc00000000000, 1207 0x7fffe00000000000, 1208 0x7ffff00000000000, 1209 0x7ffff80000000000, 1210 0x7ffffc0000000000, 1211 0x7ffffe0000000000, 1212 0x7fffff0000000000, 1213 0x7fffff8000000000, 1214 0x7fffffc000000000, 1215 0x7fffffe000000000, 1216 0x7ffffff000000000, 1217 0x7ffffff800000000, 1218 0x7ffffffc00000000, 1219 0x7ffffffe00000000, 1220 0x7fffffff00000000, 1221 0x7fffffff80000000, 1222 0x7fffffffc0000000, 1223 0x7fffffffe0000000, 1224 0x7ffffffff0000000, 1225 0x7ffffffff8000000, 1226 0x7ffffffffc000000, 1227 0x7ffffffffe000000, 1228 0x7fffffffff000000, 1229 0x7fffffffff800000, 1230 0x7fffffffffc00000, 1231 0x7fffffffffe00000, 1232 0x7ffffffffff00000, 1233 0x7ffffffffff80000, 1234 0x7ffffffffffc0000, 1235 0x7ffffffffffe0000, 1236 0x7fffffffffff0000, 1237 0x7fffffffffff8000, 1238 0x7fffffffffffc000, 1239 0x7fffffffffffe000, 1240 0x7ffffffffffff000, 1241 0x7ffffffffffff800, 1242 0x7ffffffffffffc00, 1243 0x7ffffffffffffe00, 1244 0x7fffffffffffff00, 1245 0x7fffffffffffff80, 1246 0x7fffffffffffffc0, 1247 0x7fffffffffffffe0, 1248 0x7ffffffffffffff0, 1249 0x7ffffffffffffff8, 1250 0x7ffffffffffffffc, 1251 0x7ffffffffffffffe, 1252 0x7fffffffffffffff, 1253 0x7fffffffffffffff, 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 0x8000000000000000, 1318 0x4000000000000001, 1319 0x6000000000000001, 1320 0x7000000000000001, 1321 0x7800000000000001, 1322 0x7c00000000000001, 1323 0x7e00000000000001, 1324 0x7f00000000000001, 1325 0x7f80000000000001, 1326 0x7fc0000000000001, 1327 0x7fe0000000000001, 1328 0x7ff0000000000001, 1329 0x7ff8000000000001, 1330 0x7ffc000000000001, 1331 0x7ffe000000000001, 1332 0x7fff000000000001, 1333 0x7fff800000000001, 1334 0x7fffc00000000001, 1335 0x7fffe00000000001, 1336 0x7ffff00000000001, 1337 0x7ffff80000000001, 1338 0x7ffffc0000000001, 1339 0x7ffffe0000000001, 1340 0x7fffff0000000001, 1341 0x7fffff8000000001, 1342 0x7fffffc000000001, 1343 0x7fffffe000000001, 1344 0x7ffffff000000001, 1345 0x7ffffff800000001, 1346 0x7ffffffc00000001, 1347 0x7ffffffe00000001, 1348 0x7fffffff00000001, 1349 0x7fffffff80000001, 1350 0x7fffffffc0000001, 1351 0x7fffffffe0000001, 1352 0x7ffffffff0000001, 1353 0x7ffffffff8000001, 1354 0x7ffffffffc000001, 1355 0x7ffffffffe000001, 1356 0x7fffffffff000001, 1357 0x7fffffffff800001, 1358 0x7fffffffffc00001, 1359 0x7fffffffffe00001, 1360 0x7ffffffffff00001, 1361 0x7ffffffffff80001, 1362 0x7ffffffffffc0001, 1363 0x7ffffffffffe0001, 1364 0x7fffffffffff0001, 1365 0x7fffffffffff8001, 1366 0x7fffffffffffc001, 1367 0x7fffffffffffe001, 1368 0x7ffffffffffff001, 1369 0x7ffffffffffff801, 1370 0x7ffffffffffffc01, 1371 0x7ffffffffffffe01, 1372 0x7fffffffffffff01, 1373 0x7fffffffffffff81, 1374 0x7fffffffffffffc1, 1375 0x7fffffffffffffe1, 1376 0x7ffffffffffffff1, 1377 0x7ffffffffffffff9, 1378 0x7ffffffffffffffd, 1379 0x7fffffffffffffff, 1380 0x8000000000000000, 1381 0x8000000000000001, 1382 0x4000000000000001, 1383 0x6000000000000002, 1384 0x7000000000000002, 1385 0x7800000000000002, 1386 0x7c00000000000002, 1387 0x7e00000000000002, 1388 0x7f00000000000002, 1389 0x7f80000000000002, 1390 0x7fc0000000000002, 1391 0x7fe0000000000002, 1392 0x7ff0000000000002, 1393 0x7ff8000000000002, 1394 0x7ffc000000000002, 1395 0x7ffe000000000002, 1396 0x7fff000000000002, 1397 0x7fff800000000002, 1398 0x7fffc00000000002, 1399 0x7fffe00000000002, 1400 0x7ffff00000000002, 1401 0x7ffff80000000002, 1402 0x7ffffc0000000002, 1403 0x7ffffe0000000002, 1404 0x7fffff0000000002, 1405 0x7fffff8000000002, 1406 0x7fffffc000000002, 1407 0x7fffffe000000002, 1408 0x7ffffff000000002, 1409 0x7ffffff800000002, 1410 0x7ffffffc00000002, 1411 0x7ffffffe00000002, 1412 0x7fffffff00000002, 1413 0x7fffffff80000002, 1414 0x7fffffffc0000002, 1415 0x7fffffffe0000002, 1416 0x7ffffffff0000002, 1417 0x7ffffffff8000002, 1418 0x7ffffffffc000002, 1419 0x7ffffffffe000002, 1420 0x7fffffffff000002, 1421 0x7fffffffff800002, 1422 0x7fffffffffc00002, 1423 0x7fffffffffe00002, 1424 0x7ffffffffff00002, 1425 0x7ffffffffff80002, 1426 0x7ffffffffffc0002, 1427 0x7ffffffffffe0002, 1428 0x7fffffffffff0002, 1429 0x7fffffffffff8002, 1430 0x7fffffffffffc002, 1431 0x7fffffffffffe002, 1432 0x7ffffffffffff002, 1433 0x7ffffffffffff802, 1434 0x7ffffffffffffc02, 1435 0x7ffffffffffffe02, 1436 0x7fffffffffffff02, 1437 0x7fffffffffffff82, 1438 0x7fffffffffffffc2, 1439 0x7fffffffffffffe2, 1440 0x7ffffffffffffff2, 1441 0x7ffffffffffffffa, 1442 0x7ffffffffffffffe, 1443 0x8000000000000000, 1444 0x8000000000000001, 1445 0x8000000000000002, 1446 0x4000000000000002, 1447 0x6000000000000003, 1448 0x7000000000000003, 1449 0x7800000000000003, 1450 0x7c00000000000003, 1451 0x7e00000000000003, 1452 0x7f00000000000003, 1453 0x7f80000000000003, 1454 0x7fc0000000000003, 1455 0x7fe0000000000003, 1456 0x7ff0000000000003, 1457 0x7ff8000000000003, 1458 0x7ffc000000000003, 1459 0x7ffe000000000003, 1460 0x7fff000000000003, 1461 0x7fff800000000003, 1462 0x7fffc00000000003, 1463 0x7fffe00000000003, 1464 0x7ffff00000000003, 1465 0x7ffff80000000003, 1466 0x7ffffc0000000003, 1467 0x7ffffe0000000003, 1468 0x7fffff0000000003, 1469 0x7fffff8000000003, 1470 0x7fffffc000000003, 1471 0x7fffffe000000003, 1472 0x7ffffff000000003, 1473 0x7ffffff800000003, 1474 0x7ffffffc00000003, 1475 0x7ffffffe00000003, 1476 0x7fffffff00000003, 1477 0x7fffffff80000003, 1478 0x7fffffffc0000003, 1479 0x7fffffffe0000003, 1480 0x7ffffffff0000003, 1481 0x7ffffffff8000003, 1482 0x7ffffffffc000003, 1483 0x7ffffffffe000003, 1484 0x7fffffffff000003, 1485 0x7fffffffff800003, 1486 0x7fffffffffc00003, 1487 0x7fffffffffe00003, 1488 0x7ffffffffff00003, 1489 0x7ffffffffff80003, 1490 0x7ffffffffffc0003, 1491 0x7ffffffffffe0003, 1492 0x7fffffffffff0003, 1493 0x7fffffffffff8003, 1494 0x7fffffffffffc003, 1495 0x7fffffffffffe003, 1496 0x7ffffffffffff003, 1497 0x7ffffffffffff803, 1498 0x7ffffffffffffc03, 1499 0x7ffffffffffffe03, 1500 0x7fffffffffffff03, 1501 0x7fffffffffffff83, 1502 0x7fffffffffffffc3, 1503 0x7fffffffffffffe3, 1504 0x7ffffffffffffff3, 1505 0x7ffffffffffffffb, 1506 0x7fffffffffffffff, 1507 0x8000000000000001, 1508 0x8000000000000002, 1509 0x8000000000000003, 1510 0x5555555555555555, 1511 0x8000000000000000, 1512 0x9555555555555555, 1513 0xa000000000000000, 1514 0xa555555555555555, 1515 0xa800000000000000, 1516 0xa955555555555555, 1517 0xaa00000000000000, 1518 0xaa55555555555555, 1519 0xaa80000000000000, 1520 0xaa95555555555555, 1521 0xaaa0000000000000, 1522 0xaaa5555555555555, 1523 0xaaa8000000000000, 1524 0xaaa9555555555555, 1525 0xaaaa000000000000, 1526 0xaaaa555555555555, 1527 0xaaaa800000000000, 1528 0xaaaa955555555555, 1529 0xaaaaa00000000000, 1530 0xaaaaa55555555555, 1531 0xaaaaa80000000000, 1532 0xaaaaa95555555555, 1533 0xaaaaaa0000000000, 1534 0xaaaaaa5555555555, 1535 0xaaaaaa8000000000, 1536 0xaaaaaa9555555555, 1537 0xaaaaaaa000000000, 1538 0xaaaaaaa555555555, 1539 0xaaaaaaa800000000, 1540 0xaaaaaaa955555555, 1541 0xaaaaaaaa00000000, 1542 0xaaaaaaaa55555555, 1543 0xaaaaaaaa80000000, 1544 0xaaaaaaaa95555555, 1545 0xaaaaaaaaa0000000, 1546 0xaaaaaaaaa5555555, 1547 0xaaaaaaaaa8000000, 1548 0xaaaaaaaaa9555555, 1549 0xaaaaaaaaaa000000, 1550 0xaaaaaaaaaa555555, 1551 0xaaaaaaaaaa800000, 1552 0xaaaaaaaaaa955555, 1553 0xaaaaaaaaaaa00000, 1554 0xaaaaaaaaaaa55555, 1555 0xaaaaaaaaaaa80000, 1556 0xaaaaaaaaaaa95555, 1557 0xaaaaaaaaaaaa0000, 1558 0xaaaaaaaaaaaa5555, 1559 0xaaaaaaaaaaaa8000, 1560 0xaaaaaaaaaaaa9555, 1561 0xaaaaaaaaaaaaa000, 1562 0xaaaaaaaaaaaaa555, 1563 0xaaaaaaaaaaaaa800, 1564 0xaaaaaaaaaaaaa955, 1565 0xaaaaaaaaaaaaaa00, 1566 0xaaaaaaaaaaaaaa55, 1567 0xaaaaaaaaaaaaaa80, 1568 0xaaaaaaaaaaaaaa95, 1569 0xaaaaaaaaaaaaaaa0, 1570 0xaaaaaaaaaaaaaaa5, 1571 0xaaaaaaaaaaaaaaa8, 1572 0xaaaaaaaaaaaaaaa9, 1573 0xaaaaaaaaaaaaaaaa, 1574 0x6666666666666666, 1575 0x9999999999999999, 1576 0xb333333333333333, 1577 0xc000000000000000, 1578 0xc666666666666666, 1579 0xc999999999999999, 1580 0xcb33333333333333, 1581 0xcc00000000000000, 1582 0xcc66666666666666, 1583 0xcc99999999999999, 1584 0xccb3333333333333, 1585 0xccc0000000000000, 1586 0xccc6666666666666, 1587 0xccc9999999999999, 1588 0xcccb333333333333, 1589 0xcccc000000000000, 1590 0xcccc666666666666, 1591 0xcccc999999999999, 1592 0xccccb33333333333, 1593 0xccccc00000000000, 1594 0xccccc66666666666, 1595 0xccccc99999999999, 1596 0xcccccb3333333333, 1597 0xcccccc0000000000, 1598 0xcccccc6666666666, 1599 0xcccccc9999999999, 1600 0xccccccb333333333, 1601 0xccccccc000000000, 1602 0xccccccc666666666, 1603 0xccccccc999999999, 1604 0xcccccccb33333333, 1605 0xcccccccc00000000, 1606 0xcccccccc66666666, 1607 0xcccccccc99999999, 1608 0xccccccccb3333333, 1609 0xccccccccc0000000, 1610 0xccccccccc6666666, 1611 0xccccccccc9999999, 1612 0xcccccccccb333333, 1613 0xcccccccccc000000, 1614 0xcccccccccc666666, 1615 0xcccccccccc999999, 1616 0xccccccccccb33333, 1617 0xccccccccccc00000, 1618 0xccccccccccc66666, 1619 0xccccccccccc99999, 1620 0xcccccccccccb3333, 1621 0xcccccccccccc0000, 1622 0xcccccccccccc6666, 1623 0xcccccccccccc9999, 1624 0xccccccccccccb333, 1625 0xccccccccccccc000, 1626 0xccccccccccccc666, 1627 0xccccccccccccc999, 1628 0xcccccccccccccb33, 1629 0xcccccccccccccc00, 1630 0xcccccccccccccc66, 1631 0xcccccccccccccc99, 1632 0xccccccccccccccb3, 1633 0xccccccccccccccc0, 1634 0xccccccccccccccc6, 1635 0xccccccccccccccc9, 1636 0xcccccccccccccccb, 1637 0xcccccccccccccccc, 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 0xfffffffe80000001, 1670 0xffffffff00000001, 1671 0xffffffff40000001, 1672 0xffffffff60000001, 1673 0xffffffff70000001, 1674 0xffffffff78000001, 1675 0xffffffff7c000001, 1676 0xffffffff7e000001, 1677 0xffffffff7f000001, 1678 0xffffffff7f800001, 1679 0xffffffff7fc00001, 1680 0xffffffff7fe00001, 1681 0xffffffff7ff00001, 1682 0xffffffff7ff80001, 1683 0xffffffff7ffc0001, 1684 0xffffffff7ffe0001, 1685 0xffffffff7fff0001, 1686 0xffffffff7fff8001, 1687 0xffffffff7fffc001, 1688 0xffffffff7fffe001, 1689 0xffffffff7ffff001, 1690 0xffffffff7ffff801, 1691 0xffffffff7ffffc01, 1692 0xffffffff7ffffe01, 1693 0xffffffff7fffff01, 1694 0xffffffff7fffff81, 1695 0xffffffff7fffffc1, 1696 0xffffffff7fffffe1, 1697 0xffffffff7ffffff1, 1698 0xffffffff7ffffff9, 1699 0xffffffff7ffffffd, 1700 0xffffffff7fffffff, 1701 0xffffffff80000000, 1702 0x7fffffffc0000001, 1703 0xbfffffffa0000001, 1704 0xdfffffff90000001, 1705 0xefffffff88000001, 1706 0xf7ffffff84000001, 1707 0xfbffffff82000001, 1708 0xfdffffff81000001, 1709 0xfeffffff80800001, 1710 0xff7fffff80400001, 1711 0xffbfffff80200001, 1712 0xffdfffff80100001, 1713 0xffefffff80080001, 1714 0xfff7ffff80040001, 1715 0xfffbffff80020001, 1716 0xfffdffff80010001, 1717 0xfffeffff80008001, 1718 0xffff7fff80004001, 1719 0xffffbfff80002001, 1720 0xffffdfff80001001, 1721 0xffffefff80000801, 1722 0xfffff7ff80000401, 1723 0xfffffbff80000201, 1724 0xfffffdff80000101, 1725 0xfffffeff80000081, 1726 0xffffff7f80000041, 1727 0xffffffbf80000021, 1728 0xffffffdf80000011, 1729 0xffffffef80000009, 1730 0xfffffff780000005, 1731 0xfffffffb80000003, 1732 0xfffffffd80000002, 1733 0xfffffffe80000002, 1734 0xffffffff00000002, 1735 0xffffffff40000002, 1736 0xffffffff60000002, 1737 0xffffffff70000002, 1738 0xffffffff78000002, 1739 0xffffffff7c000002, 1740 0xffffffff7e000002, 1741 0xffffffff7f000002, 1742 0xffffffff7f800002, 1743 0xffffffff7fc00002, 1744 0xffffffff7fe00002, 1745 0xffffffff7ff00002, 1746 0xffffffff7ff80002, 1747 0xffffffff7ffc0002, 1748 0xffffffff7ffe0002, 1749 0xffffffff7fff0002, 1750 0xffffffff7fff8002, 1751 0xffffffff7fffc002, 1752 0xffffffff7fffe002, 1753 0xffffffff7ffff002, 1754 0xffffffff7ffff802, 1755 0xffffffff7ffffc02, 1756 0xffffffff7ffffe02, 1757 0xffffffff7fffff02, 1758 0xffffffff7fffff82, 1759 0xffffffff7fffffc2, 1760 0xffffffff7fffffe2, 1761 0xffffffff7ffffff2, 1762 0xffffffff7ffffffa, 1763 0xffffffff7ffffffe, 1764 0xffffffff80000000, 1765 0xffffffff80000001, 1766 0x7fffffffc0000001, 1767 0xbfffffffa0000002, 1768 0xdfffffff90000002, 1769 0xefffffff88000002, 1770 0xf7ffffff84000002, 1771 0xfbffffff82000002, 1772 0xfdffffff81000002, 1773 0xfeffffff80800002, 1774 0xff7fffff80400002, 1775 0xffbfffff80200002, 1776 0xffdfffff80100002, 1777 0xffefffff80080002, 1778 0xfff7ffff80040002, 1779 0xfffbffff80020002, 1780 0xfffdffff80010002, 1781 0xfffeffff80008002, 1782 0xffff7fff80004002, 1783 0xffffbfff80002002, 1784 0xffffdfff80001002, 1785 0xffffefff80000802, 1786 0xfffff7ff80000402, 1787 0xfffffbff80000202, 1788 0xfffffdff80000102, 1789 0xfffffeff80000082, 1790 0xffffff7f80000042, 1791 0xffffffbf80000022, 1792 0xffffffdf80000012, 1793 0xffffffef8000000a, 1794 0xfffffff780000006, 1795 0xfffffffb80000004, 1796 0xfffffffd80000003, 1797 0xfffffffe80000003, 1798 0xffffffff00000003, 1799 0xffffffff40000003, 1800 0xffffffff60000003, 1801 0xffffffff70000003, 1802 0xffffffff78000003, 1803 0xffffffff7c000003, 1804 0xffffffff7e000003, 1805 0xffffffff7f000003, 1806 0xffffffff7f800003, 1807 0xffffffff7fc00003, 1808 0xffffffff7fe00003, 1809 0xffffffff7ff00003, 1810 0xffffffff7ff80003, 1811 0xffffffff7ffc0003, 1812 0xffffffff7ffe0003, 1813 0xffffffff7fff0003, 1814 0xffffffff7fff8003, 1815 0xffffffff7fffc003, 1816 0xffffffff7fffe003, 1817 0xffffffff7ffff003, 1818 0xffffffff7ffff803, 1819 0xffffffff7ffffc03, 1820 0xffffffff7ffffe03, 1821 0xffffffff7fffff03, 1822 0xffffffff7fffff83, 1823 0xffffffff7fffffc3, 1824 0xffffffff7fffffe3, 1825 0xffffffff7ffffff3, 1826 0xffffffff7ffffffb, 1827 0xffffffff7fffffff, 1828 0xffffffff80000001, 1829 0xffffffff80000002, 1830 0x7fffffffc0000002, 1831 0xbfffffffa0000003, 1832 0xdfffffff90000003, 1833 0xefffffff88000003, 1834 0xf7ffffff84000003, 1835 0xfbffffff82000003, 1836 0xfdffffff81000003, 1837 0xfeffffff80800003, 1838 0xff7fffff80400003, 1839 0xffbfffff80200003, 1840 0xffdfffff80100003, 1841 0xffefffff80080003, 1842 0xfff7ffff80040003, 1843 0xfffbffff80020003, 1844 0xfffdffff80010003, 1845 0xfffeffff80008003, 1846 0xffff7fff80004003, 1847 0xffffbfff80002003, 1848 0xffffdfff80001003, 1849 0xffffefff80000803, 1850 0xfffff7ff80000403, 1851 0xfffffbff80000203, 1852 0xfffffdff80000103, 1853 0xfffffeff80000083, 1854 0xffffff7f80000043, 1855 0xffffffbf80000023, 1856 0xffffffdf80000013, 1857 0xffffffef8000000b, 1858 0xfffffff780000007, 1859 0xfffffffb80000005, 1860 0xfffffffd80000004, 1861 0xfffffffe80000004, 1862 0xffffffff00000004, 1863 0xffffffff40000004, 1864 0xffffffff60000004, 1865 0xffffffff70000004, 1866 0xffffffff78000004, 1867 0xffffffff7c000004, 1868 0xffffffff7e000004, 1869 0xffffffff7f000004, 1870 0xffffffff7f800004, 1871 0xffffffff7fc00004, 1872 0xffffffff7fe00004, 1873 0xffffffff7ff00004, 1874 0xffffffff7ff80004, 1875 0xffffffff7ffc0004, 1876 0xffffffff7ffe0004, 1877 0xffffffff7fff0004, 1878 0xffffffff7fff8004, 1879 0xffffffff7fffc004, 1880 0xffffffff7fffe004, 1881 0xffffffff7ffff004, 1882 0xffffffff7ffff804, 1883 0xffffffff7ffffc04, 1884 0xffffffff7ffffe04, 1885 0xffffffff7fffff04, 1886 0xffffffff7fffff84, 1887 0xffffffff7fffffc4, 1888 0xffffffff7fffffe4, 1889 0xffffffff7ffffff4, 1890 0xffffffff7ffffffc, 1891 0xffffffff80000000, 1892 0xffffffff80000002, 1893 0xffffffff80000003, 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 0xfffeffffffff8001, 1910 0xffff7fffffff8001, 1911 0xffffbfffffff8001, 1912 0xffffdfffffff8001, 1913 0xffffefffffff8001, 1914 0xfffff7ffffff8001, 1915 0xfffffbffffff8001, 1916 0xfffffdffffff8001, 1917 0xfffffeffffff8001, 1918 0xffffff7fffff8001, 1919 0xffffffbfffff8001, 1920 0xffffffdfffff8001, 1921 0xffffffefffff8001, 1922 0xfffffff7ffff8001, 1923 0xfffffffbffff8001, 1924 0xfffffffdffff8001, 1925 0xfffffffeffff8001, 1926 0xffffffff7fff8001, 1927 0xffffffffbfff8001, 1928 0xffffffffdfff8001, 1929 0xffffffffefff8001, 1930 0xfffffffff7ff8001, 1931 0xfffffffffbff8001, 1932 0xfffffffffdff8001, 1933 0xfffffffffeff8001, 1934 0xffffffffff7f8001, 1935 0xffffffffffbf8001, 1936 0xffffffffffdf8001, 1937 0xffffffffffef8001, 1938 0xfffffffffff78001, 1939 0xfffffffffffb8001, 1940 0xfffffffffffd8001, 1941 0xfffffffffffe8001, 1942 0xffffffffffff0001, 1943 0xffffffffffff4001, 1944 0xffffffffffff6001, 1945 0xffffffffffff7001, 1946 0xffffffffffff7801, 1947 0xffffffffffff7c01, 1948 0xffffffffffff7e01, 1949 0xffffffffffff7f01, 1950 0xffffffffffff7f81, 1951 0xffffffffffff7fc1, 1952 0xffffffffffff7fe1, 1953 0xffffffffffff7ff1, 1954 0xffffffffffff7ff9, 1955 0xffffffffffff7ffd, 1956 0xffffffffffff7fff, 1957 0xffffffffffff8000, 1958 0x7fffffffffffc001, 1959 0xbfffffffffffa001, 1960 0xdfffffffffff9001, 1961 0xefffffffffff8801, 1962 0xf7ffffffffff8401, 1963 0xfbffffffffff8201, 1964 0xfdffffffffff8101, 1965 0xfeffffffffff8081, 1966 0xff7fffffffff8041, 1967 0xffbfffffffff8021, 1968 0xffdfffffffff8011, 1969 0xffefffffffff8009, 1970 0xfff7ffffffff8005, 1971 0xfffbffffffff8003, 1972 0xfffdffffffff8002, 1973 0xfffeffffffff8002, 1974 0xffff7fffffff8002, 1975 0xffffbfffffff8002, 1976 0xffffdfffffff8002, 1977 0xffffefffffff8002, 1978 0xfffff7ffffff8002, 1979 0xfffffbffffff8002, 1980 0xfffffdffffff8002, 1981 0xfffffeffffff8002, 1982 0xffffff7fffff8002, 1983 0xffffffbfffff8002, 1984 0xffffffdfffff8002, 1985 0xffffffefffff8002, 1986 0xfffffff7ffff8002, 1987 0xfffffffbffff8002, 1988 0xfffffffdffff8002, 1989 0xfffffffeffff8002, 1990 0xffffffff7fff8002, 1991 0xffffffffbfff8002, 1992 0xffffffffdfff8002, 1993 0xffffffffefff8002, 1994 0xfffffffff7ff8002, 1995 0xfffffffffbff8002, 1996 0xfffffffffdff8002, 1997 0xfffffffffeff8002, 1998 0xffffffffff7f8002, 1999 0xffffffffffbf8002, 2000 0xffffffffffdf8002, 2001 0xffffffffffef8002, 2002 0xfffffffffff78002, 2003 0xfffffffffffb8002, 2004 0xfffffffffffd8002, 2005 0xfffffffffffe8002, 2006 0xffffffffffff0002, 2007 0xffffffffffff4002, 2008 0xffffffffffff6002, 2009 0xffffffffffff7002, 2010 0xffffffffffff7802, 2011 0xffffffffffff7c02, 2012 0xffffffffffff7e02, 2013 0xffffffffffff7f02, 2014 0xffffffffffff7f82, 2015 0xffffffffffff7fc2, 2016 0xffffffffffff7fe2, 2017 0xffffffffffff7ff2, 2018 0xffffffffffff7ffa, 2019 0xffffffffffff7ffe, 2020 0xffffffffffff8000, 2021 0xffffffffffff8001, 2022 0x7fffffffffffc001, 2023 0xbfffffffffffa002, 2024 0xdfffffffffff9002, 2025 0xefffffffffff8802, 2026 0xf7ffffffffff8402, 2027 0xfbffffffffff8202, 2028 0xfdffffffffff8102, 2029 0xfeffffffffff8082, 2030 0xff7fffffffff8042, 2031 0xffbfffffffff8022, 2032 0xffdfffffffff8012, 2033 0xffefffffffff800a, 2034 0xfff7ffffffff8006, 2035 0xfffbffffffff8004, 2036 0xfffdffffffff8003, 2037 0xfffeffffffff8003, 2038 0xffff7fffffff8003, 2039 0xffffbfffffff8003, 2040 0xffffdfffffff8003, 2041 0xffffefffffff8003, 2042 0xfffff7ffffff8003, 2043 0xfffffbffffff8003, 2044 0xfffffdffffff8003, 2045 0xfffffeffffff8003, 2046 0xffffff7fffff8003, 2047 0xffffffbfffff8003, 2048 0xffffffdfffff8003, 2049 0xffffffefffff8003, 2050 0xfffffff7ffff8003, 2051 0xfffffffbffff8003, 2052 0xfffffffdffff8003, 2053 0xfffffffeffff8003, 2054 0xffffffff7fff8003, 2055 0xffffffffbfff8003, 2056 0xffffffffdfff8003, 2057 0xffffffffefff8003, 2058 0xfffffffff7ff8003, 2059 0xfffffffffbff8003, 2060 0xfffffffffdff8003, 2061 0xfffffffffeff8003, 2062 0xffffffffff7f8003, 2063 0xffffffffffbf8003, 2064 0xffffffffffdf8003, 2065 0xffffffffffef8003, 2066 0xfffffffffff78003, 2067 0xfffffffffffb8003, 2068 0xfffffffffffd8003, 2069 0xfffffffffffe8003, 2070 0xffffffffffff0003, 2071 0xffffffffffff4003, 2072 0xffffffffffff6003, 2073 0xffffffffffff7003, 2074 0xffffffffffff7803, 2075 0xffffffffffff7c03, 2076 0xffffffffffff7e03, 2077 0xffffffffffff7f03, 2078 0xffffffffffff7f83, 2079 0xffffffffffff7fc3, 2080 0xffffffffffff7fe3, 2081 0xffffffffffff7ff3, 2082 0xffffffffffff7ffb, 2083 0xffffffffffff7fff, 2084 0xffffffffffff8001, 2085 0xffffffffffff8002, 2086 0x7fffffffffffc002, 2087 0xbfffffffffffa003, 2088 0xdfffffffffff9003, 2089 0xefffffffffff8803, 2090 0xf7ffffffffff8403, 2091 0xfbffffffffff8203, 2092 0xfdffffffffff8103, 2093 0xfeffffffffff8083, 2094 0xff7fffffffff8043, 2095 0xffbfffffffff8023, 2096 0xffdfffffffff8013, 2097 0xffefffffffff800b, 2098 0xfff7ffffffff8007, 2099 0xfffbffffffff8005, 2100 0xfffdffffffff8004, 2101 0xfffeffffffff8004, 2102 0xffff7fffffff8004, 2103 0xffffbfffffff8004, 2104 0xffffdfffffff8004, 2105 0xffffefffffff8004, 2106 0xfffff7ffffff8004, 2107 0xfffffbffffff8004, 2108 0xfffffdffffff8004, 2109 0xfffffeffffff8004, 2110 0xffffff7fffff8004, 2111 0xffffffbfffff8004, 2112 0xffffffdfffff8004, 2113 0xffffffefffff8004, 2114 0xfffffff7ffff8004, 2115 0xfffffffbffff8004, 2116 0xfffffffdffff8004, 2117 0xfffffffeffff8004, 2118 0xffffffff7fff8004, 2119 0xffffffffbfff8004, 2120 0xffffffffdfff8004, 2121 0xffffffffefff8004, 2122 0xfffffffff7ff8004, 2123 0xfffffffffbff8004, 2124 0xfffffffffdff8004, 2125 0xfffffffffeff8004, 2126 0xffffffffff7f8004, 2127 0xffffffffffbf8004, 2128 0xffffffffffdf8004, 2129 0xffffffffffef8004, 2130 0xfffffffffff78004, 2131 0xfffffffffffb8004, 2132 0xfffffffffffd8004, 2133 0xfffffffffffe8004, 2134 0xffffffffffff0004, 2135 0xffffffffffff4004, 2136 0xffffffffffff6004, 2137 0xffffffffffff7004, 2138 0xffffffffffff7804, 2139 0xffffffffffff7c04, 2140 0xffffffffffff7e04, 2141 0xffffffffffff7f04, 2142 0xffffffffffff7f84, 2143 0xffffffffffff7fc4, 2144 0xffffffffffff7fe4, 2145 0xffffffffffff7ff4, 2146 0xffffffffffff7ffc, 2147 0xffffffffffff8000, 2148 0xffffffffffff8002, 2149 0xffffffffffff8003, 2150 0x7fffffffffffffc0, 2151 0xbfffffffffffffa0, 2152 0xdfffffffffffff90, 2153 0xefffffffffffff88, 2154 0xf7ffffffffffff84, 2155 0xfbffffffffffff82, 2156 0xfdffffffffffff81, 2157 0xfeffffffffffff81, 2158 0xff7fffffffffff81, 2159 0xffbfffffffffff81, 2160 0xffdfffffffffff81, 2161 0xffefffffffffff81, 2162 0xfff7ffffffffff81, 2163 0xfffbffffffffff81, 2164 0xfffdffffffffff81, 2165 0xfffeffffffffff81, 2166 0xffff7fffffffff81, 2167 0xffffbfffffffff81, 2168 0xffffdfffffffff81, 2169 0xffffefffffffff81, 2170 0xfffff7ffffffff81, 2171 0xfffffbffffffff81, 2172 0xfffffdffffffff81, 2173 0xfffffeffffffff81, 2174 0xffffff7fffffff81, 2175 0xffffffbfffffff81, 2176 0xffffffdfffffff81, 2177 0xffffffefffffff81, 2178 0xfffffff7ffffff81, 2179 0xfffffffbffffff81, 2180 0xfffffffdffffff81, 2181 0xfffffffeffffff81, 2182 0xffffffff7fffff81, 2183 0xffffffffbfffff81, 2184 0xffffffffdfffff81, 2185 0xffffffffefffff81, 2186 0xfffffffff7ffff81, 2187 0xfffffffffbffff81, 2188 0xfffffffffdffff81, 2189 0xfffffffffeffff81, 2190 0xffffffffff7fff81, 2191 0xffffffffffbfff81, 2192 0xffffffffffdfff81, 2193 0xffffffffffefff81, 2194 0xfffffffffff7ff81, 2195 0xfffffffffffbff81, 2196 0xfffffffffffdff81, 2197 0xfffffffffffeff81, 2198 0xffffffffffff7f81, 2199 0xffffffffffffbf81, 2200 0xffffffffffffdf81, 2201 0xffffffffffffef81, 2202 0xfffffffffffff781, 2203 0xfffffffffffffb81, 2204 0xfffffffffffffd81, 2205 0xfffffffffffffe81, 2206 0xffffffffffffff01, 2207 0xffffffffffffff41, 2208 0xffffffffffffff61, 2209 0xffffffffffffff71, 2210 0xffffffffffffff79, 2211 0xffffffffffffff7d, 2212 0xffffffffffffff7f, 2213 0xffffffffffffff80, 2214 0x7fffffffffffffc1, 2215 0xbfffffffffffffa1, 2216 0xdfffffffffffff91, 2217 0xefffffffffffff89, 2218 0xf7ffffffffffff85, 2219 0xfbffffffffffff83, 2220 0xfdffffffffffff82, 2221 0xfeffffffffffff82, 2222 0xff7fffffffffff82, 2223 0xffbfffffffffff82, 2224 0xffdfffffffffff82, 2225 0xffefffffffffff82, 2226 0xfff7ffffffffff82, 2227 0xfffbffffffffff82, 2228 0xfffdffffffffff82, 2229 0xfffeffffffffff82, 2230 0xffff7fffffffff82, 2231 0xffffbfffffffff82, 2232 0xffffdfffffffff82, 2233 0xffffefffffffff82, 2234 0xfffff7ffffffff82, 2235 0xfffffbffffffff82, 2236 0xfffffdffffffff82, 2237 0xfffffeffffffff82, 2238 0xffffff7fffffff82, 2239 0xffffffbfffffff82, 2240 0xffffffdfffffff82, 2241 0xffffffefffffff82, 2242 0xfffffff7ffffff82, 2243 0xfffffffbffffff82, 2244 0xfffffffdffffff82, 2245 0xfffffffeffffff82, 2246 0xffffffff7fffff82, 2247 0xffffffffbfffff82, 2248 0xffffffffdfffff82, 2249 0xffffffffefffff82, 2250 0xfffffffff7ffff82, 2251 0xfffffffffbffff82, 2252 0xfffffffffdffff82, 2253 0xfffffffffeffff82, 2254 0xffffffffff7fff82, 2255 0xffffffffffbfff82, 2256 0xffffffffffdfff82, 2257 0xffffffffffefff82, 2258 0xfffffffffff7ff82, 2259 0xfffffffffffbff82, 2260 0xfffffffffffdff82, 2261 0xfffffffffffeff82, 2262 0xffffffffffff7f82, 2263 0xffffffffffffbf82, 2264 0xffffffffffffdf82, 2265 0xffffffffffffef82, 2266 0xfffffffffffff782, 2267 0xfffffffffffffb82, 2268 0xfffffffffffffd82, 2269 0xfffffffffffffe82, 2270 0xffffffffffffff02, 2271 0xffffffffffffff42, 2272 0xffffffffffffff62, 2273 0xffffffffffffff72, 2274 0xffffffffffffff7a, 2275 0xffffffffffffff7e, 2276 0xffffffffffffff80, 2277 0xffffffffffffff81, 2278 0x7fffffffffffffc1, 2279 0xbfffffffffffffa2, 2280 0xdfffffffffffff92, 2281 0xefffffffffffff8a, 2282 0xf7ffffffffffff86, 2283 0xfbffffffffffff84, 2284 0xfdffffffffffff83, 2285 0xfeffffffffffff83, 2286 0xff7fffffffffff83, 2287 0xffbfffffffffff83, 2288 0xffdfffffffffff83, 2289 0xffefffffffffff83, 2290 0xfff7ffffffffff83, 2291 0xfffbffffffffff83, 2292 0xfffdffffffffff83, 2293 0xfffeffffffffff83, 2294 0xffff7fffffffff83, 2295 0xffffbfffffffff83, 2296 0xffffdfffffffff83, 2297 0xffffefffffffff83, 2298 0xfffff7ffffffff83, 2299 0xfffffbffffffff83, 2300 0xfffffdffffffff83, 2301 0xfffffeffffffff83, 2302 0xffffff7fffffff83, 2303 0xffffffbfffffff83, 2304 0xffffffdfffffff83, 2305 0xffffffefffffff83, 2306 0xfffffff7ffffff83, 2307 0xfffffffbffffff83, 2308 0xfffffffdffffff83, 2309 0xfffffffeffffff83, 2310 0xffffffff7fffff83, 2311 0xffffffffbfffff83, 2312 0xffffffffdfffff83, 2313 0xffffffffefffff83, 2314 0xfffffffff7ffff83, 2315 0xfffffffffbffff83, 2316 0xfffffffffdffff83, 2317 0xfffffffffeffff83, 2318 0xffffffffff7fff83, 2319 0xffffffffffbfff83, 2320 0xffffffffffdfff83, 2321 0xffffffffffefff83, 2322 0xfffffffffff7ff83, 2323 0xfffffffffffbff83, 2324 0xfffffffffffdff83, 2325 0xfffffffffffeff83, 2326 0xffffffffffff7f83, 2327 0xffffffffffffbf83, 2328 0xffffffffffffdf83, 2329 0xffffffffffffef83, 2330 0xfffffffffffff783, 2331 0xfffffffffffffb83, 2332 0xfffffffffffffd83, 2333 0xfffffffffffffe83, 2334 0xffffffffffffff03, 2335 0xffffffffffffff43, 2336 0xffffffffffffff63, 2337 0xffffffffffffff73, 2338 0xffffffffffffff7b, 2339 0xffffffffffffff7f, 2340 0xffffffffffffff81, 2341 0xffffffffffffff82, 2342 0x7fffffffffffffc2, 2343 0xbfffffffffffffa3, 2344 0xdfffffffffffff93, 2345 0xefffffffffffff8b, 2346 0xf7ffffffffffff87, 2347 0xfbffffffffffff85, 2348 0xfdffffffffffff84, 2349 0xfeffffffffffff84, 2350 0xff7fffffffffff84, 2351 0xffbfffffffffff84, 2352 0xffdfffffffffff84, 2353 0xffefffffffffff84, 2354 0xfff7ffffffffff84, 2355 0xfffbffffffffff84, 2356 0xfffdffffffffff84, 2357 0xfffeffffffffff84, 2358 0xffff7fffffffff84, 2359 0xffffbfffffffff84, 2360 0xffffdfffffffff84, 2361 0xffffefffffffff84, 2362 0xfffff7ffffffff84, 2363 0xfffffbffffffff84, 2364 0xfffffdffffffff84, 2365 0xfffffeffffffff84, 2366 0xffffff7fffffff84, 2367 0xffffffbfffffff84, 2368 0xffffffdfffffff84, 2369 0xffffffefffffff84, 2370 0xfffffff7ffffff84, 2371 0xfffffffbffffff84, 2372 0xfffffffdffffff84, 2373 0xfffffffeffffff84, 2374 0xffffffff7fffff84, 2375 0xffffffffbfffff84, 2376 0xffffffffdfffff84, 2377 0xffffffffefffff84, 2378 0xfffffffff7ffff84, 2379 0xfffffffffbffff84, 2380 0xfffffffffdffff84, 2381 0xfffffffffeffff84, 2382 0xffffffffff7fff84, 2383 0xffffffffffbfff84, 2384 0xffffffffffdfff84, 2385 0xffffffffffefff84, 2386 0xfffffffffff7ff84, 2387 0xfffffffffffbff84, 2388 0xfffffffffffdff84, 2389 0xfffffffffffeff84, 2390 0xffffffffffff7f84, 2391 0xffffffffffffbf84, 2392 0xffffffffffffdf84, 2393 0xffffffffffffef84, 2394 0xfffffffffffff784, 2395 0xfffffffffffffb84, 2396 0xfffffffffffffd84, 2397 0xfffffffffffffe84, 2398 0xffffffffffffff04, 2399 0xffffffffffffff44, 2400 0xffffffffffffff64, 2401 0xffffffffffffff74, 2402 0xffffffffffffff7c, 2403 0xffffffffffffff80, 2404 0xffffffffffffff82, 2405 0xffffffffffffff83, 2406 0x7fffffffffffffe0, 2407 0xbfffffffffffffd0, 2408 0xdfffffffffffffc8, 2409 0xefffffffffffffc4, 2410 0xf7ffffffffffffc2, 2411 0xfbffffffffffffc1, 2412 0xfdffffffffffffc1, 2413 0xfeffffffffffffc1, 2414 0xff7fffffffffffc1, 2415 0xffbfffffffffffc1, 2416 0xffdfffffffffffc1, 2417 0xffefffffffffffc1, 2418 0xfff7ffffffffffc1, 2419 0xfffbffffffffffc1, 2420 0xfffdffffffffffc1, 2421 0xfffeffffffffffc1, 2422 0xffff7fffffffffc1, 2423 0xffffbfffffffffc1, 2424 0xffffdfffffffffc1, 2425 0xffffefffffffffc1, 2426 0xfffff7ffffffffc1, 2427 0xfffffbffffffffc1, 2428 0xfffffdffffffffc1, 2429 0xfffffeffffffffc1, 2430 0xffffff7fffffffc1, 2431 0xffffffbfffffffc1, 2432 0xffffffdfffffffc1, 2433 0xffffffefffffffc1, 2434 0xfffffff7ffffffc1, 2435 0xfffffffbffffffc1, 2436 0xfffffffdffffffc1, 2437 0xfffffffeffffffc1, 2438 0xffffffff7fffffc1, 2439 0xffffffffbfffffc1, 2440 0xffffffffdfffffc1, 2441 0xffffffffefffffc1, 2442 0xfffffffff7ffffc1, 2443 0xfffffffffbffffc1, 2444 0xfffffffffdffffc1, 2445 0xfffffffffeffffc1, 2446 0xffffffffff7fffc1, 2447 0xffffffffffbfffc1, 2448 0xffffffffffdfffc1, 2449 0xffffffffffefffc1, 2450 0xfffffffffff7ffc1, 2451 0xfffffffffffbffc1, 2452 0xfffffffffffdffc1, 2453 0xfffffffffffeffc1, 2454 0xffffffffffff7fc1, 2455 0xffffffffffffbfc1, 2456 0xffffffffffffdfc1, 2457 0xffffffffffffefc1, 2458 0xfffffffffffff7c1, 2459 0xfffffffffffffbc1, 2460 0xfffffffffffffdc1, 2461 0xfffffffffffffec1, 2462 0xffffffffffffff41, 2463 0xffffffffffffff81, 2464 0xffffffffffffffa1, 2465 0xffffffffffffffb1, 2466 0xffffffffffffffb9, 2467 0xffffffffffffffbd, 2468 0xffffffffffffffbf, 2469 0xffffffffffffffc0, 2470 0x7fffffffffffffff, 2471 0xbffffffffffffffe, 2472 0xdffffffffffffffe, 2473 0xeffffffffffffffe, 2474 0xf7fffffffffffffe, 2475 0xfbfffffffffffffe, 2476 0xfdfffffffffffffe, 2477 0xfefffffffffffffe, 2478 0xff7ffffffffffffe, 2479 0xffbffffffffffffe, 2480 0xffdffffffffffffe, 2481 0xffeffffffffffffe, 2482 0xfff7fffffffffffe, 2483 0xfffbfffffffffffe, 2484 0xfffdfffffffffffe, 2485 0xfffefffffffffffe, 2486 0xffff7ffffffffffe, 2487 0xffffbffffffffffe, 2488 0xffffdffffffffffe, 2489 0xffffeffffffffffe, 2490 0xfffff7fffffffffe, 2491 0xfffffbfffffffffe, 2492 0xfffffdfffffffffe, 2493 0xfffffefffffffffe, 2494 0xffffff7ffffffffe, 2495 0xffffffbffffffffe, 2496 0xffffffdffffffffe, 2497 0xffffffeffffffffe, 2498 0xfffffff7fffffffe, 2499 0xfffffffbfffffffe, 2500 0xfffffffdfffffffe, 2501 0xfffffffefffffffe, 2502 0xffffffff7ffffffe, 2503 0xffffffffbffffffe, 2504 0xffffffffdffffffe, 2505 0xffffffffeffffffe, 2506 0xfffffffff7fffffe, 2507 0xfffffffffbfffffe, 2508 0xfffffffffdfffffe, 2509 0xfffffffffefffffe, 2510 0xffffffffff7ffffe, 2511 0xffffffffffbffffe, 2512 0xffffffffffdffffe, 2513 0xffffffffffeffffe, 2514 0xfffffffffff7fffe, 2515 0xfffffffffffbfffe, 2516 0xfffffffffffdfffe, 2517 0xfffffffffffefffe, 2518 0xffffffffffff7ffe, 2519 0xffffffffffffbffe, 2520 0xffffffffffffdffe, 2521 0xffffffffffffeffe, 2522 0xfffffffffffff7fe, 2523 0xfffffffffffffbfe, 2524 0xfffffffffffffdfe, 2525 0xfffffffffffffefe, 2526 0xffffffffffffff7e, 2527 0xffffffffffffffbe, 2528 0xffffffffffffffde, 2529 0xffffffffffffffee, 2530 0xfffffffffffffff6, 2531 0xfffffffffffffffa, 2532 0xfffffffffffffffc, 2533 0xfffffffffffffffd, 2534 0x7fffffffffffffff, 2535 0xbfffffffffffffff, 2536 0xdfffffffffffffff, 2537 0xefffffffffffffff, 2538 0xf7ffffffffffffff, 2539 0xfbffffffffffffff, 2540 0xfdffffffffffffff, 2541 0xfeffffffffffffff, 2542 0xff7fffffffffffff, 2543 0xffbfffffffffffff, 2544 0xffdfffffffffffff, 2545 0xffefffffffffffff, 2546 0xfff7ffffffffffff, 2547 0xfffbffffffffffff, 2548 0xfffdffffffffffff, 2549 0xfffeffffffffffff, 2550 0xffff7fffffffffff, 2551 0xffffbfffffffffff, 2552 0xffffdfffffffffff, 2553 0xffffefffffffffff, 2554 0xfffff7ffffffffff, 2555 0xfffffbffffffffff, 2556 0xfffffdffffffffff, 2557 0xfffffeffffffffff, 2558 0xffffff7fffffffff, 2559 0xffffffbfffffffff, 2560 0xffffffdfffffffff, 2561 0xffffffefffffffff, 2562 0xfffffff7ffffffff, 2563 0xfffffffbffffffff, 2564 0xfffffffdffffffff, 2565 0xfffffffeffffffff, 2566 0xffffffff7fffffff, 2567 0xffffffffbfffffff, 2568 0xffffffffdfffffff, 2569 0xffffffffefffffff, 2570 0xfffffffff7ffffff, 2571 0xfffffffffbffffff, 2572 0xfffffffffdffffff, 2573 0xfffffffffeffffff, 2574 0xffffffffff7fffff, 2575 0xffffffffffbfffff, 2576 0xffffffffffdfffff, 2577 0xffffffffffefffff, 2578 0xfffffffffff7ffff, 2579 0xfffffffffffbffff, 2580 0xfffffffffffdffff, 2581 0xfffffffffffeffff, 2582 0xffffffffffff7fff, 2583 0xffffffffffffbfff, 2584 0xffffffffffffdfff, 2585 0xffffffffffffefff, 2586 0xfffffffffffff7ff, 2587 0xfffffffffffffbff, 2588 0xfffffffffffffdff, 2589 0xfffffffffffffeff, 2590 0xffffffffffffff7f, 2591 0xffffffffffffffbf, 2592 0xffffffffffffffdf, 2593 0xffffffffffffffef, 2594 0xfffffffffffffff7, 2595 0xfffffffffffffffb, 2596 0xfffffffffffffffd, 2597 0xfffffffffffffffe, 2598 }; 2599 const unsigned kExpectedCount_NEON_ursra_D_2OPIMM = 2560; 2600 2601 #endif // VIXL_SIM_URSRA_D_2OPIMM_TRACE_AARCH64_H_ 2602