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_SSHR_D_2OPIMM_TRACE_AARCH64_H_ 35#define VIXL_SIM_SSHR_D_2OPIMM_TRACE_AARCH64_H_ 36 37const uint64_t kExpected_NEON_sshr_D_2OPIMM[] = { 38 0xffffffffffffffff, 39 0xffffffffffffffff, 40 0xffffffffffffffff, 41 0xffffffffffffffff, 42 0xffffffffffffffff, 43 0xffffffffffffffff, 44 0xffffffffffffffff, 45 0xffffffffffffffff, 46 0xffffffffffffffff, 47 0xffffffffffffffff, 48 0xffffffffffffffff, 49 0xffffffffffffffff, 50 0xffffffffffffffff, 51 0xffffffffffffffff, 52 0xffffffffffffffff, 53 0xffffffffffffffff, 54 0xffffffffffffffff, 55 0xffffffffffffffff, 56 0xffffffffffffffff, 57 0xffffffffffffffff, 58 0xffffffffffffffff, 59 0xffffffffffffffff, 60 0xffffffffffffffff, 61 0xffffffffffffffff, 62 0xffffffffffffffff, 63 0xffffffffffffffff, 64 0xffffffffffffffff, 65 0xffffffffffffffff, 66 0xffffffffffffffff, 67 0xffffffffffffffff, 68 0xffffffffffffffff, 69 0xffffffffffffffff, 70 0xffffffffffffffff, 71 0xffffffffffffffff, 72 0xffffffffffffffff, 73 0xffffffffffffffff, 74 0xffffffffffffffff, 75 0xffffffffffffffff, 76 0xffffffffffffffff, 77 0xffffffffffffffff, 78 0xffffffffffffffff, 79 0xffffffffffffffff, 80 0xffffffffffffffff, 81 0xffffffffffffffff, 82 0xffffffffffffffff, 83 0xffffffffffffffff, 84 0xffffffffffffffff, 85 0xffffffffffffffff, 86 0xffffffffffffffff, 87 0xffffffffffffffff, 88 0xffffffffffffffff, 89 0xffffffffffffffff, 90 0xffffffffffffffff, 91 0xffffffffffffffff, 92 0xffffffffffffffff, 93 0xffffffffffffffff, 94 0xffffffffffffffff, 95 0xffffffffffffffff, 96 0xffffffffffffffff, 97 0xffffffffffffffff, 98 0xffffffffffffffff, 99 0xffffffffffffffff, 100 0xffffffffffffffff, 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 0x0000000000000000, 167 0x0000000000000000, 168 0x0000000000000000, 169 0x0000000000000000, 170 0x0000000000000000, 171 0x0000000000000000, 172 0x0000000000000000, 173 0x0000000000000000, 174 0x0000000000000000, 175 0x0000000000000000, 176 0x0000000000000000, 177 0x0000000000000000, 178 0x0000000000000000, 179 0x0000000000000000, 180 0x0000000000000000, 181 0x0000000000000000, 182 0x0000000000000000, 183 0x0000000000000000, 184 0x0000000000000000, 185 0x0000000000000000, 186 0x0000000000000000, 187 0x0000000000000000, 188 0x0000000000000000, 189 0x0000000000000000, 190 0x0000000000000000, 191 0x0000000000000000, 192 0x0000000000000000, 193 0x0000000000000000, 194 0x0000000000000000, 195 0x0000000000000000, 196 0x0000000000000000, 197 0x0000000000000000, 198 0x0000000000000000, 199 0x0000000000000000, 200 0x0000000000000000, 201 0x0000000000000000, 202 0x0000000000000000, 203 0x0000000000000000, 204 0x0000000000000000, 205 0x0000000000000000, 206 0x0000000000000000, 207 0x0000000000000000, 208 0x0000000000000000, 209 0x0000000000000000, 210 0x0000000000000000, 211 0x0000000000000000, 212 0x0000000000000000, 213 0x0000000000000000, 214 0x0000000000000000, 215 0x0000000000000000, 216 0x0000000000000000, 217 0x0000000000000000, 218 0x0000000000000000, 219 0x0000000000000000, 220 0x0000000000000000, 221 0x0000000000000000, 222 0x0000000000000000, 223 0x0000000000000000, 224 0x0000000000000000, 225 0x0000000000000000, 226 0x0000000000000000, 227 0x0000000000000000, 228 0x0000000000000000, 229 0x0000000000000000, 230 0x0000000000000001, 231 0x0000000000000000, 232 0x0000000000000000, 233 0x0000000000000000, 234 0x0000000000000000, 235 0x0000000000000000, 236 0x0000000000000000, 237 0x0000000000000000, 238 0x0000000000000000, 239 0x0000000000000000, 240 0x0000000000000000, 241 0x0000000000000000, 242 0x0000000000000000, 243 0x0000000000000000, 244 0x0000000000000000, 245 0x0000000000000000, 246 0x0000000000000000, 247 0x0000000000000000, 248 0x0000000000000000, 249 0x0000000000000000, 250 0x0000000000000000, 251 0x0000000000000000, 252 0x0000000000000000, 253 0x0000000000000000, 254 0x0000000000000000, 255 0x0000000000000000, 256 0x0000000000000000, 257 0x0000000000000000, 258 0x0000000000000000, 259 0x0000000000000000, 260 0x0000000000000000, 261 0x0000000000000000, 262 0x0000000000000000, 263 0x0000000000000000, 264 0x0000000000000000, 265 0x0000000000000000, 266 0x0000000000000000, 267 0x0000000000000000, 268 0x0000000000000000, 269 0x0000000000000000, 270 0x0000000000000000, 271 0x0000000000000000, 272 0x0000000000000000, 273 0x0000000000000000, 274 0x0000000000000000, 275 0x0000000000000000, 276 0x0000000000000000, 277 0x0000000000000000, 278 0x0000000000000000, 279 0x0000000000000000, 280 0x0000000000000000, 281 0x0000000000000000, 282 0x0000000000000000, 283 0x0000000000000000, 284 0x0000000000000000, 285 0x0000000000000000, 286 0x0000000000000000, 287 0x0000000000000000, 288 0x0000000000000000, 289 0x0000000000000000, 290 0x0000000000000000, 291 0x0000000000000000, 292 0x0000000000000000, 293 0x0000000000000000, 294 0x0000000000000020, 295 0x0000000000000010, 296 0x0000000000000008, 297 0x0000000000000004, 298 0x0000000000000002, 299 0x0000000000000001, 300 0x0000000000000000, 301 0x0000000000000000, 302 0x0000000000000000, 303 0x0000000000000000, 304 0x0000000000000000, 305 0x0000000000000000, 306 0x0000000000000000, 307 0x0000000000000000, 308 0x0000000000000000, 309 0x0000000000000000, 310 0x0000000000000000, 311 0x0000000000000000, 312 0x0000000000000000, 313 0x0000000000000000, 314 0x0000000000000000, 315 0x0000000000000000, 316 0x0000000000000000, 317 0x0000000000000000, 318 0x0000000000000000, 319 0x0000000000000000, 320 0x0000000000000000, 321 0x0000000000000000, 322 0x0000000000000000, 323 0x0000000000000000, 324 0x0000000000000000, 325 0x0000000000000000, 326 0x0000000000000000, 327 0x0000000000000000, 328 0x0000000000000000, 329 0x0000000000000000, 330 0x0000000000000000, 331 0x0000000000000000, 332 0x0000000000000000, 333 0x0000000000000000, 334 0x0000000000000000, 335 0x0000000000000000, 336 0x0000000000000000, 337 0x0000000000000000, 338 0x0000000000000000, 339 0x0000000000000000, 340 0x0000000000000000, 341 0x0000000000000000, 342 0x0000000000000000, 343 0x0000000000000000, 344 0x0000000000000000, 345 0x0000000000000000, 346 0x0000000000000000, 347 0x0000000000000000, 348 0x0000000000000000, 349 0x0000000000000000, 350 0x0000000000000000, 351 0x0000000000000000, 352 0x0000000000000000, 353 0x0000000000000000, 354 0x0000000000000000, 355 0x0000000000000000, 356 0x0000000000000000, 357 0x0000000000000000, 358 0x000000000000003e, 359 0x000000000000001f, 360 0x000000000000000f, 361 0x0000000000000007, 362 0x0000000000000003, 363 0x0000000000000001, 364 0x0000000000000000, 365 0x0000000000000000, 366 0x0000000000000000, 367 0x0000000000000000, 368 0x0000000000000000, 369 0x0000000000000000, 370 0x0000000000000000, 371 0x0000000000000000, 372 0x0000000000000000, 373 0x0000000000000000, 374 0x0000000000000000, 375 0x0000000000000000, 376 0x0000000000000000, 377 0x0000000000000000, 378 0x0000000000000000, 379 0x0000000000000000, 380 0x0000000000000000, 381 0x0000000000000000, 382 0x0000000000000000, 383 0x0000000000000000, 384 0x0000000000000000, 385 0x0000000000000000, 386 0x0000000000000000, 387 0x0000000000000000, 388 0x0000000000000000, 389 0x0000000000000000, 390 0x0000000000000000, 391 0x0000000000000000, 392 0x0000000000000000, 393 0x0000000000000000, 394 0x0000000000000000, 395 0x0000000000000000, 396 0x0000000000000000, 397 0x0000000000000000, 398 0x0000000000000000, 399 0x0000000000000000, 400 0x0000000000000000, 401 0x0000000000000000, 402 0x0000000000000000, 403 0x0000000000000000, 404 0x0000000000000000, 405 0x0000000000000000, 406 0x0000000000000000, 407 0x0000000000000000, 408 0x0000000000000000, 409 0x0000000000000000, 410 0x0000000000000000, 411 0x0000000000000000, 412 0x0000000000000000, 413 0x0000000000000000, 414 0x0000000000000000, 415 0x0000000000000000, 416 0x0000000000000000, 417 0x0000000000000000, 418 0x0000000000000000, 419 0x0000000000000000, 420 0x0000000000000000, 421 0x0000000000000000, 422 0x000000000000003f, 423 0x000000000000001f, 424 0x000000000000000f, 425 0x0000000000000007, 426 0x0000000000000003, 427 0x0000000000000001, 428 0x0000000000000000, 429 0x0000000000000000, 430 0x0000000000000000, 431 0x0000000000000000, 432 0x0000000000000000, 433 0x0000000000000000, 434 0x0000000000000000, 435 0x0000000000000000, 436 0x0000000000000000, 437 0x0000000000000000, 438 0x0000000000000000, 439 0x0000000000000000, 440 0x0000000000000000, 441 0x0000000000000000, 442 0x0000000000000000, 443 0x0000000000000000, 444 0x0000000000000000, 445 0x0000000000000000, 446 0x0000000000000000, 447 0x0000000000000000, 448 0x0000000000000000, 449 0x0000000000000000, 450 0x0000000000000000, 451 0x0000000000000000, 452 0x0000000000000000, 453 0x0000000000000000, 454 0x0000000000000000, 455 0x0000000000000000, 456 0x0000000000000000, 457 0x0000000000000000, 458 0x0000000000000000, 459 0x0000000000000000, 460 0x0000000000000000, 461 0x0000000000000000, 462 0x0000000000000000, 463 0x0000000000000000, 464 0x0000000000000000, 465 0x0000000000000000, 466 0x0000000000000000, 467 0x0000000000000000, 468 0x0000000000000000, 469 0x0000000000000000, 470 0x0000000000000000, 471 0x0000000000000000, 472 0x0000000000000000, 473 0x0000000000000000, 474 0x0000000000000000, 475 0x0000000000000000, 476 0x0000000000000000, 477 0x0000000000000000, 478 0x0000000000000000, 479 0x0000000000000000, 480 0x0000000000000000, 481 0x0000000000000000, 482 0x0000000000000000, 483 0x0000000000000000, 484 0x0000000000000000, 485 0x0000000000000000, 486 0x000000000000003f, 487 0x000000000000001f, 488 0x000000000000000f, 489 0x0000000000000007, 490 0x0000000000000003, 491 0x0000000000000001, 492 0x0000000000000000, 493 0x0000000000000000, 494 0x0000000000000000, 495 0x0000000000000000, 496 0x0000000000000000, 497 0x0000000000000000, 498 0x0000000000000000, 499 0x0000000000000000, 500 0x0000000000000000, 501 0x0000000000000000, 502 0x0000000000000000, 503 0x0000000000000000, 504 0x0000000000000000, 505 0x0000000000000000, 506 0x0000000000000000, 507 0x0000000000000000, 508 0x0000000000000000, 509 0x0000000000000000, 510 0x0000000000000000, 511 0x0000000000000000, 512 0x0000000000000000, 513 0x0000000000000000, 514 0x0000000000000000, 515 0x0000000000000000, 516 0x0000000000000000, 517 0x0000000000000000, 518 0x0000000000000000, 519 0x0000000000000000, 520 0x0000000000000000, 521 0x0000000000000000, 522 0x0000000000000000, 523 0x0000000000000000, 524 0x0000000000000000, 525 0x0000000000000000, 526 0x0000000000000000, 527 0x0000000000000000, 528 0x0000000000000000, 529 0x0000000000000000, 530 0x0000000000000000, 531 0x0000000000000000, 532 0x0000000000000000, 533 0x0000000000000000, 534 0x0000000000000000, 535 0x0000000000000000, 536 0x0000000000000000, 537 0x0000000000000000, 538 0x0000000000000000, 539 0x0000000000000000, 540 0x0000000000000000, 541 0x0000000000000000, 542 0x0000000000000000, 543 0x0000000000000000, 544 0x0000000000000000, 545 0x0000000000000000, 546 0x0000000000000000, 547 0x0000000000000000, 548 0x0000000000000000, 549 0x0000000000000000, 550 0x0000000000003ffe, 551 0x0000000000001fff, 552 0x0000000000000fff, 553 0x00000000000007ff, 554 0x00000000000003ff, 555 0x00000000000001ff, 556 0x00000000000000ff, 557 0x000000000000007f, 558 0x000000000000003f, 559 0x000000000000001f, 560 0x000000000000000f, 561 0x0000000000000007, 562 0x0000000000000003, 563 0x0000000000000001, 564 0x0000000000000000, 565 0x0000000000000000, 566 0x0000000000000000, 567 0x0000000000000000, 568 0x0000000000000000, 569 0x0000000000000000, 570 0x0000000000000000, 571 0x0000000000000000, 572 0x0000000000000000, 573 0x0000000000000000, 574 0x0000000000000000, 575 0x0000000000000000, 576 0x0000000000000000, 577 0x0000000000000000, 578 0x0000000000000000, 579 0x0000000000000000, 580 0x0000000000000000, 581 0x0000000000000000, 582 0x0000000000000000, 583 0x0000000000000000, 584 0x0000000000000000, 585 0x0000000000000000, 586 0x0000000000000000, 587 0x0000000000000000, 588 0x0000000000000000, 589 0x0000000000000000, 590 0x0000000000000000, 591 0x0000000000000000, 592 0x0000000000000000, 593 0x0000000000000000, 594 0x0000000000000000, 595 0x0000000000000000, 596 0x0000000000000000, 597 0x0000000000000000, 598 0x0000000000000000, 599 0x0000000000000000, 600 0x0000000000000000, 601 0x0000000000000000, 602 0x0000000000000000, 603 0x0000000000000000, 604 0x0000000000000000, 605 0x0000000000000000, 606 0x0000000000000000, 607 0x0000000000000000, 608 0x0000000000000000, 609 0x0000000000000000, 610 0x0000000000000000, 611 0x0000000000000000, 612 0x0000000000000000, 613 0x0000000000000000, 614 0x0000000000003fff, 615 0x0000000000001fff, 616 0x0000000000000fff, 617 0x00000000000007ff, 618 0x00000000000003ff, 619 0x00000000000001ff, 620 0x00000000000000ff, 621 0x000000000000007f, 622 0x000000000000003f, 623 0x000000000000001f, 624 0x000000000000000f, 625 0x0000000000000007, 626 0x0000000000000003, 627 0x0000000000000001, 628 0x0000000000000000, 629 0x0000000000000000, 630 0x0000000000000000, 631 0x0000000000000000, 632 0x0000000000000000, 633 0x0000000000000000, 634 0x0000000000000000, 635 0x0000000000000000, 636 0x0000000000000000, 637 0x0000000000000000, 638 0x0000000000000000, 639 0x0000000000000000, 640 0x0000000000000000, 641 0x0000000000000000, 642 0x0000000000000000, 643 0x0000000000000000, 644 0x0000000000000000, 645 0x0000000000000000, 646 0x0000000000000000, 647 0x0000000000000000, 648 0x0000000000000000, 649 0x0000000000000000, 650 0x0000000000000000, 651 0x0000000000000000, 652 0x0000000000000000, 653 0x0000000000000000, 654 0x0000000000000000, 655 0x0000000000000000, 656 0x0000000000000000, 657 0x0000000000000000, 658 0x0000000000000000, 659 0x0000000000000000, 660 0x0000000000000000, 661 0x0000000000000000, 662 0x0000000000000000, 663 0x0000000000000000, 664 0x0000000000000000, 665 0x0000000000000000, 666 0x0000000000000000, 667 0x0000000000000000, 668 0x0000000000000000, 669 0x0000000000000000, 670 0x0000000000000000, 671 0x0000000000000000, 672 0x0000000000000000, 673 0x0000000000000000, 674 0x0000000000000000, 675 0x0000000000000000, 676 0x0000000000000000, 677 0x0000000000000000, 678 0x0000000000003fff, 679 0x0000000000001fff, 680 0x0000000000000fff, 681 0x00000000000007ff, 682 0x00000000000003ff, 683 0x00000000000001ff, 684 0x00000000000000ff, 685 0x000000000000007f, 686 0x000000000000003f, 687 0x000000000000001f, 688 0x000000000000000f, 689 0x0000000000000007, 690 0x0000000000000003, 691 0x0000000000000001, 692 0x0000000000000000, 693 0x0000000000000000, 694 0x0000000000000000, 695 0x0000000000000000, 696 0x0000000000000000, 697 0x0000000000000000, 698 0x0000000000000000, 699 0x0000000000000000, 700 0x0000000000000000, 701 0x0000000000000000, 702 0x0000000000000000, 703 0x0000000000000000, 704 0x0000000000000000, 705 0x0000000000000000, 706 0x0000000000000000, 707 0x0000000000000000, 708 0x0000000000000000, 709 0x0000000000000000, 710 0x0000000000000000, 711 0x0000000000000000, 712 0x0000000000000000, 713 0x0000000000000000, 714 0x0000000000000000, 715 0x0000000000000000, 716 0x0000000000000000, 717 0x0000000000000000, 718 0x0000000000000000, 719 0x0000000000000000, 720 0x0000000000000000, 721 0x0000000000000000, 722 0x0000000000000000, 723 0x0000000000000000, 724 0x0000000000000000, 725 0x0000000000000000, 726 0x0000000000000000, 727 0x0000000000000000, 728 0x0000000000000000, 729 0x0000000000000000, 730 0x0000000000000000, 731 0x0000000000000000, 732 0x0000000000000000, 733 0x0000000000000000, 734 0x0000000000000000, 735 0x0000000000000000, 736 0x0000000000000000, 737 0x0000000000000000, 738 0x0000000000000000, 739 0x0000000000000000, 740 0x0000000000000000, 741 0x0000000000000000, 742 0x000000003ffffffe, 743 0x000000001fffffff, 744 0x000000000fffffff, 745 0x0000000007ffffff, 746 0x0000000003ffffff, 747 0x0000000001ffffff, 748 0x0000000000ffffff, 749 0x00000000007fffff, 750 0x00000000003fffff, 751 0x00000000001fffff, 752 0x00000000000fffff, 753 0x000000000007ffff, 754 0x000000000003ffff, 755 0x000000000001ffff, 756 0x000000000000ffff, 757 0x0000000000007fff, 758 0x0000000000003fff, 759 0x0000000000001fff, 760 0x0000000000000fff, 761 0x00000000000007ff, 762 0x00000000000003ff, 763 0x00000000000001ff, 764 0x00000000000000ff, 765 0x000000000000007f, 766 0x000000000000003f, 767 0x000000000000001f, 768 0x000000000000000f, 769 0x0000000000000007, 770 0x0000000000000003, 771 0x0000000000000001, 772 0x0000000000000000, 773 0x0000000000000000, 774 0x0000000000000000, 775 0x0000000000000000, 776 0x0000000000000000, 777 0x0000000000000000, 778 0x0000000000000000, 779 0x0000000000000000, 780 0x0000000000000000, 781 0x0000000000000000, 782 0x0000000000000000, 783 0x0000000000000000, 784 0x0000000000000000, 785 0x0000000000000000, 786 0x0000000000000000, 787 0x0000000000000000, 788 0x0000000000000000, 789 0x0000000000000000, 790 0x0000000000000000, 791 0x0000000000000000, 792 0x0000000000000000, 793 0x0000000000000000, 794 0x0000000000000000, 795 0x0000000000000000, 796 0x0000000000000000, 797 0x0000000000000000, 798 0x0000000000000000, 799 0x0000000000000000, 800 0x0000000000000000, 801 0x0000000000000000, 802 0x0000000000000000, 803 0x0000000000000000, 804 0x0000000000000000, 805 0x0000000000000000, 806 0x000000003fffffff, 807 0x000000001fffffff, 808 0x000000000fffffff, 809 0x0000000007ffffff, 810 0x0000000003ffffff, 811 0x0000000001ffffff, 812 0x0000000000ffffff, 813 0x00000000007fffff, 814 0x00000000003fffff, 815 0x00000000001fffff, 816 0x00000000000fffff, 817 0x000000000007ffff, 818 0x000000000003ffff, 819 0x000000000001ffff, 820 0x000000000000ffff, 821 0x0000000000007fff, 822 0x0000000000003fff, 823 0x0000000000001fff, 824 0x0000000000000fff, 825 0x00000000000007ff, 826 0x00000000000003ff, 827 0x00000000000001ff, 828 0x00000000000000ff, 829 0x000000000000007f, 830 0x000000000000003f, 831 0x000000000000001f, 832 0x000000000000000f, 833 0x0000000000000007, 834 0x0000000000000003, 835 0x0000000000000001, 836 0x0000000000000000, 837 0x0000000000000000, 838 0x0000000000000000, 839 0x0000000000000000, 840 0x0000000000000000, 841 0x0000000000000000, 842 0x0000000000000000, 843 0x0000000000000000, 844 0x0000000000000000, 845 0x0000000000000000, 846 0x0000000000000000, 847 0x0000000000000000, 848 0x0000000000000000, 849 0x0000000000000000, 850 0x0000000000000000, 851 0x0000000000000000, 852 0x0000000000000000, 853 0x0000000000000000, 854 0x0000000000000000, 855 0x0000000000000000, 856 0x0000000000000000, 857 0x0000000000000000, 858 0x0000000000000000, 859 0x0000000000000000, 860 0x0000000000000000, 861 0x0000000000000000, 862 0x0000000000000000, 863 0x0000000000000000, 864 0x0000000000000000, 865 0x0000000000000000, 866 0x0000000000000000, 867 0x0000000000000000, 868 0x0000000000000000, 869 0x0000000000000000, 870 0x000000003fffffff, 871 0x000000001fffffff, 872 0x000000000fffffff, 873 0x0000000007ffffff, 874 0x0000000003ffffff, 875 0x0000000001ffffff, 876 0x0000000000ffffff, 877 0x00000000007fffff, 878 0x00000000003fffff, 879 0x00000000001fffff, 880 0x00000000000fffff, 881 0x000000000007ffff, 882 0x000000000003ffff, 883 0x000000000001ffff, 884 0x000000000000ffff, 885 0x0000000000007fff, 886 0x0000000000003fff, 887 0x0000000000001fff, 888 0x0000000000000fff, 889 0x00000000000007ff, 890 0x00000000000003ff, 891 0x00000000000001ff, 892 0x00000000000000ff, 893 0x000000000000007f, 894 0x000000000000003f, 895 0x000000000000001f, 896 0x000000000000000f, 897 0x0000000000000007, 898 0x0000000000000003, 899 0x0000000000000001, 900 0x0000000000000000, 901 0x0000000000000000, 902 0x0000000000000000, 903 0x0000000000000000, 904 0x0000000000000000, 905 0x0000000000000000, 906 0x0000000000000000, 907 0x0000000000000000, 908 0x0000000000000000, 909 0x0000000000000000, 910 0x0000000000000000, 911 0x0000000000000000, 912 0x0000000000000000, 913 0x0000000000000000, 914 0x0000000000000000, 915 0x0000000000000000, 916 0x0000000000000000, 917 0x0000000000000000, 918 0x0000000000000000, 919 0x0000000000000000, 920 0x0000000000000000, 921 0x0000000000000000, 922 0x0000000000000000, 923 0x0000000000000000, 924 0x0000000000000000, 925 0x0000000000000000, 926 0x0000000000000000, 927 0x0000000000000000, 928 0x0000000000000000, 929 0x0000000000000000, 930 0x0000000000000000, 931 0x0000000000000000, 932 0x0000000000000000, 933 0x0000000000000000, 934 0x1999999999999999, 935 0x0ccccccccccccccc, 936 0x0666666666666666, 937 0x0333333333333333, 938 0x0199999999999999, 939 0x00cccccccccccccc, 940 0x0066666666666666, 941 0x0033333333333333, 942 0x0019999999999999, 943 0x000ccccccccccccc, 944 0x0006666666666666, 945 0x0003333333333333, 946 0x0001999999999999, 947 0x0000cccccccccccc, 948 0x0000666666666666, 949 0x0000333333333333, 950 0x0000199999999999, 951 0x00000ccccccccccc, 952 0x0000066666666666, 953 0x0000033333333333, 954 0x0000019999999999, 955 0x000000cccccccccc, 956 0x0000006666666666, 957 0x0000003333333333, 958 0x0000001999999999, 959 0x0000000ccccccccc, 960 0x0000000666666666, 961 0x0000000333333333, 962 0x0000000199999999, 963 0x00000000cccccccc, 964 0x0000000066666666, 965 0x0000000033333333, 966 0x0000000019999999, 967 0x000000000ccccccc, 968 0x0000000006666666, 969 0x0000000003333333, 970 0x0000000001999999, 971 0x0000000000cccccc, 972 0x0000000000666666, 973 0x0000000000333333, 974 0x0000000000199999, 975 0x00000000000ccccc, 976 0x0000000000066666, 977 0x0000000000033333, 978 0x0000000000019999, 979 0x000000000000cccc, 980 0x0000000000006666, 981 0x0000000000003333, 982 0x0000000000001999, 983 0x0000000000000ccc, 984 0x0000000000000666, 985 0x0000000000000333, 986 0x0000000000000199, 987 0x00000000000000cc, 988 0x0000000000000066, 989 0x0000000000000033, 990 0x0000000000000019, 991 0x000000000000000c, 992 0x0000000000000006, 993 0x0000000000000003, 994 0x0000000000000001, 995 0x0000000000000000, 996 0x0000000000000000, 997 0x0000000000000000, 998 0x2aaaaaaaaaaaaaaa, 999 0x1555555555555555, 1000 0x0aaaaaaaaaaaaaaa, 1001 0x0555555555555555, 1002 0x02aaaaaaaaaaaaaa, 1003 0x0155555555555555, 1004 0x00aaaaaaaaaaaaaa, 1005 0x0055555555555555, 1006 0x002aaaaaaaaaaaaa, 1007 0x0015555555555555, 1008 0x000aaaaaaaaaaaaa, 1009 0x0005555555555555, 1010 0x0002aaaaaaaaaaaa, 1011 0x0001555555555555, 1012 0x0000aaaaaaaaaaaa, 1013 0x0000555555555555, 1014 0x00002aaaaaaaaaaa, 1015 0x0000155555555555, 1016 0x00000aaaaaaaaaaa, 1017 0x0000055555555555, 1018 0x000002aaaaaaaaaa, 1019 0x0000015555555555, 1020 0x000000aaaaaaaaaa, 1021 0x0000005555555555, 1022 0x0000002aaaaaaaaa, 1023 0x0000001555555555, 1024 0x0000000aaaaaaaaa, 1025 0x0000000555555555, 1026 0x00000002aaaaaaaa, 1027 0x0000000155555555, 1028 0x00000000aaaaaaaa, 1029 0x0000000055555555, 1030 0x000000002aaaaaaa, 1031 0x0000000015555555, 1032 0x000000000aaaaaaa, 1033 0x0000000005555555, 1034 0x0000000002aaaaaa, 1035 0x0000000001555555, 1036 0x0000000000aaaaaa, 1037 0x0000000000555555, 1038 0x00000000002aaaaa, 1039 0x0000000000155555, 1040 0x00000000000aaaaa, 1041 0x0000000000055555, 1042 0x000000000002aaaa, 1043 0x0000000000015555, 1044 0x000000000000aaaa, 1045 0x0000000000005555, 1046 0x0000000000002aaa, 1047 0x0000000000001555, 1048 0x0000000000000aaa, 1049 0x0000000000000555, 1050 0x00000000000002aa, 1051 0x0000000000000155, 1052 0x00000000000000aa, 1053 0x0000000000000055, 1054 0x000000000000002a, 1055 0x0000000000000015, 1056 0x000000000000000a, 1057 0x0000000000000005, 1058 0x0000000000000002, 1059 0x0000000000000001, 1060 0x0000000000000000, 1061 0x0000000000000000, 1062 0x3ffffffffffffffe, 1063 0x1fffffffffffffff, 1064 0x0fffffffffffffff, 1065 0x07ffffffffffffff, 1066 0x03ffffffffffffff, 1067 0x01ffffffffffffff, 1068 0x00ffffffffffffff, 1069 0x007fffffffffffff, 1070 0x003fffffffffffff, 1071 0x001fffffffffffff, 1072 0x000fffffffffffff, 1073 0x0007ffffffffffff, 1074 0x0003ffffffffffff, 1075 0x0001ffffffffffff, 1076 0x0000ffffffffffff, 1077 0x00007fffffffffff, 1078 0x00003fffffffffff, 1079 0x00001fffffffffff, 1080 0x00000fffffffffff, 1081 0x000007ffffffffff, 1082 0x000003ffffffffff, 1083 0x000001ffffffffff, 1084 0x000000ffffffffff, 1085 0x0000007fffffffff, 1086 0x0000003fffffffff, 1087 0x0000001fffffffff, 1088 0x0000000fffffffff, 1089 0x00000007ffffffff, 1090 0x00000003ffffffff, 1091 0x00000001ffffffff, 1092 0x00000000ffffffff, 1093 0x000000007fffffff, 1094 0x000000003fffffff, 1095 0x000000001fffffff, 1096 0x000000000fffffff, 1097 0x0000000007ffffff, 1098 0x0000000003ffffff, 1099 0x0000000001ffffff, 1100 0x0000000000ffffff, 1101 0x00000000007fffff, 1102 0x00000000003fffff, 1103 0x00000000001fffff, 1104 0x00000000000fffff, 1105 0x000000000007ffff, 1106 0x000000000003ffff, 1107 0x000000000001ffff, 1108 0x000000000000ffff, 1109 0x0000000000007fff, 1110 0x0000000000003fff, 1111 0x0000000000001fff, 1112 0x0000000000000fff, 1113 0x00000000000007ff, 1114 0x00000000000003ff, 1115 0x00000000000001ff, 1116 0x00000000000000ff, 1117 0x000000000000007f, 1118 0x000000000000003f, 1119 0x000000000000001f, 1120 0x000000000000000f, 1121 0x0000000000000007, 1122 0x0000000000000003, 1123 0x0000000000000001, 1124 0x0000000000000000, 1125 0x0000000000000000, 1126 0x3fffffffffffffff, 1127 0x1fffffffffffffff, 1128 0x0fffffffffffffff, 1129 0x07ffffffffffffff, 1130 0x03ffffffffffffff, 1131 0x01ffffffffffffff, 1132 0x00ffffffffffffff, 1133 0x007fffffffffffff, 1134 0x003fffffffffffff, 1135 0x001fffffffffffff, 1136 0x000fffffffffffff, 1137 0x0007ffffffffffff, 1138 0x0003ffffffffffff, 1139 0x0001ffffffffffff, 1140 0x0000ffffffffffff, 1141 0x00007fffffffffff, 1142 0x00003fffffffffff, 1143 0x00001fffffffffff, 1144 0x00000fffffffffff, 1145 0x000007ffffffffff, 1146 0x000003ffffffffff, 1147 0x000001ffffffffff, 1148 0x000000ffffffffff, 1149 0x0000007fffffffff, 1150 0x0000003fffffffff, 1151 0x0000001fffffffff, 1152 0x0000000fffffffff, 1153 0x00000007ffffffff, 1154 0x00000003ffffffff, 1155 0x00000001ffffffff, 1156 0x00000000ffffffff, 1157 0x000000007fffffff, 1158 0x000000003fffffff, 1159 0x000000001fffffff, 1160 0x000000000fffffff, 1161 0x0000000007ffffff, 1162 0x0000000003ffffff, 1163 0x0000000001ffffff, 1164 0x0000000000ffffff, 1165 0x00000000007fffff, 1166 0x00000000003fffff, 1167 0x00000000001fffff, 1168 0x00000000000fffff, 1169 0x000000000007ffff, 1170 0x000000000003ffff, 1171 0x000000000001ffff, 1172 0x000000000000ffff, 1173 0x0000000000007fff, 1174 0x0000000000003fff, 1175 0x0000000000001fff, 1176 0x0000000000000fff, 1177 0x00000000000007ff, 1178 0x00000000000003ff, 1179 0x00000000000001ff, 1180 0x00000000000000ff, 1181 0x000000000000007f, 1182 0x000000000000003f, 1183 0x000000000000001f, 1184 0x000000000000000f, 1185 0x0000000000000007, 1186 0x0000000000000003, 1187 0x0000000000000001, 1188 0x0000000000000000, 1189 0x0000000000000000, 1190 0x3fffffffffffffff, 1191 0x1fffffffffffffff, 1192 0x0fffffffffffffff, 1193 0x07ffffffffffffff, 1194 0x03ffffffffffffff, 1195 0x01ffffffffffffff, 1196 0x00ffffffffffffff, 1197 0x007fffffffffffff, 1198 0x003fffffffffffff, 1199 0x001fffffffffffff, 1200 0x000fffffffffffff, 1201 0x0007ffffffffffff, 1202 0x0003ffffffffffff, 1203 0x0001ffffffffffff, 1204 0x0000ffffffffffff, 1205 0x00007fffffffffff, 1206 0x00003fffffffffff, 1207 0x00001fffffffffff, 1208 0x00000fffffffffff, 1209 0x000007ffffffffff, 1210 0x000003ffffffffff, 1211 0x000001ffffffffff, 1212 0x000000ffffffffff, 1213 0x0000007fffffffff, 1214 0x0000003fffffffff, 1215 0x0000001fffffffff, 1216 0x0000000fffffffff, 1217 0x00000007ffffffff, 1218 0x00000003ffffffff, 1219 0x00000001ffffffff, 1220 0x00000000ffffffff, 1221 0x000000007fffffff, 1222 0x000000003fffffff, 1223 0x000000001fffffff, 1224 0x000000000fffffff, 1225 0x0000000007ffffff, 1226 0x0000000003ffffff, 1227 0x0000000001ffffff, 1228 0x0000000000ffffff, 1229 0x00000000007fffff, 1230 0x00000000003fffff, 1231 0x00000000001fffff, 1232 0x00000000000fffff, 1233 0x000000000007ffff, 1234 0x000000000003ffff, 1235 0x000000000001ffff, 1236 0x000000000000ffff, 1237 0x0000000000007fff, 1238 0x0000000000003fff, 1239 0x0000000000001fff, 1240 0x0000000000000fff, 1241 0x00000000000007ff, 1242 0x00000000000003ff, 1243 0x00000000000001ff, 1244 0x00000000000000ff, 1245 0x000000000000007f, 1246 0x000000000000003f, 1247 0x000000000000001f, 1248 0x000000000000000f, 1249 0x0000000000000007, 1250 0x0000000000000003, 1251 0x0000000000000001, 1252 0x0000000000000000, 1253 0x0000000000000000, 1254 0xc000000000000000, 1255 0xe000000000000000, 1256 0xf000000000000000, 1257 0xf800000000000000, 1258 0xfc00000000000000, 1259 0xfe00000000000000, 1260 0xff00000000000000, 1261 0xff80000000000000, 1262 0xffc0000000000000, 1263 0xffe0000000000000, 1264 0xfff0000000000000, 1265 0xfff8000000000000, 1266 0xfffc000000000000, 1267 0xfffe000000000000, 1268 0xffff000000000000, 1269 0xffff800000000000, 1270 0xffffc00000000000, 1271 0xffffe00000000000, 1272 0xfffff00000000000, 1273 0xfffff80000000000, 1274 0xfffffc0000000000, 1275 0xfffffe0000000000, 1276 0xffffff0000000000, 1277 0xffffff8000000000, 1278 0xffffffc000000000, 1279 0xffffffe000000000, 1280 0xfffffff000000000, 1281 0xfffffff800000000, 1282 0xfffffffc00000000, 1283 0xfffffffe00000000, 1284 0xffffffff00000000, 1285 0xffffffff80000000, 1286 0xffffffffc0000000, 1287 0xffffffffe0000000, 1288 0xfffffffff0000000, 1289 0xfffffffff8000000, 1290 0xfffffffffc000000, 1291 0xfffffffffe000000, 1292 0xffffffffff000000, 1293 0xffffffffff800000, 1294 0xffffffffffc00000, 1295 0xffffffffffe00000, 1296 0xfffffffffff00000, 1297 0xfffffffffff80000, 1298 0xfffffffffffc0000, 1299 0xfffffffffffe0000, 1300 0xffffffffffff0000, 1301 0xffffffffffff8000, 1302 0xffffffffffffc000, 1303 0xffffffffffffe000, 1304 0xfffffffffffff000, 1305 0xfffffffffffff800, 1306 0xfffffffffffffc00, 1307 0xfffffffffffffe00, 1308 0xffffffffffffff00, 1309 0xffffffffffffff80, 1310 0xffffffffffffffc0, 1311 0xffffffffffffffe0, 1312 0xfffffffffffffff0, 1313 0xfffffffffffffff8, 1314 0xfffffffffffffffc, 1315 0xfffffffffffffffe, 1316 0xffffffffffffffff, 1317 0xffffffffffffffff, 1318 0xc000000000000000, 1319 0xe000000000000000, 1320 0xf000000000000000, 1321 0xf800000000000000, 1322 0xfc00000000000000, 1323 0xfe00000000000000, 1324 0xff00000000000000, 1325 0xff80000000000000, 1326 0xffc0000000000000, 1327 0xffe0000000000000, 1328 0xfff0000000000000, 1329 0xfff8000000000000, 1330 0xfffc000000000000, 1331 0xfffe000000000000, 1332 0xffff000000000000, 1333 0xffff800000000000, 1334 0xffffc00000000000, 1335 0xffffe00000000000, 1336 0xfffff00000000000, 1337 0xfffff80000000000, 1338 0xfffffc0000000000, 1339 0xfffffe0000000000, 1340 0xffffff0000000000, 1341 0xffffff8000000000, 1342 0xffffffc000000000, 1343 0xffffffe000000000, 1344 0xfffffff000000000, 1345 0xfffffff800000000, 1346 0xfffffffc00000000, 1347 0xfffffffe00000000, 1348 0xffffffff00000000, 1349 0xffffffff80000000, 1350 0xffffffffc0000000, 1351 0xffffffffe0000000, 1352 0xfffffffff0000000, 1353 0xfffffffff8000000, 1354 0xfffffffffc000000, 1355 0xfffffffffe000000, 1356 0xffffffffff000000, 1357 0xffffffffff800000, 1358 0xffffffffffc00000, 1359 0xffffffffffe00000, 1360 0xfffffffffff00000, 1361 0xfffffffffff80000, 1362 0xfffffffffffc0000, 1363 0xfffffffffffe0000, 1364 0xffffffffffff0000, 1365 0xffffffffffff8000, 1366 0xffffffffffffc000, 1367 0xffffffffffffe000, 1368 0xfffffffffffff000, 1369 0xfffffffffffff800, 1370 0xfffffffffffffc00, 1371 0xfffffffffffffe00, 1372 0xffffffffffffff00, 1373 0xffffffffffffff80, 1374 0xffffffffffffffc0, 1375 0xffffffffffffffe0, 1376 0xfffffffffffffff0, 1377 0xfffffffffffffff8, 1378 0xfffffffffffffffc, 1379 0xfffffffffffffffe, 1380 0xffffffffffffffff, 1381 0xffffffffffffffff, 1382 0xc000000000000001, 1383 0xe000000000000000, 1384 0xf000000000000000, 1385 0xf800000000000000, 1386 0xfc00000000000000, 1387 0xfe00000000000000, 1388 0xff00000000000000, 1389 0xff80000000000000, 1390 0xffc0000000000000, 1391 0xffe0000000000000, 1392 0xfff0000000000000, 1393 0xfff8000000000000, 1394 0xfffc000000000000, 1395 0xfffe000000000000, 1396 0xffff000000000000, 1397 0xffff800000000000, 1398 0xffffc00000000000, 1399 0xffffe00000000000, 1400 0xfffff00000000000, 1401 0xfffff80000000000, 1402 0xfffffc0000000000, 1403 0xfffffe0000000000, 1404 0xffffff0000000000, 1405 0xffffff8000000000, 1406 0xffffffc000000000, 1407 0xffffffe000000000, 1408 0xfffffff000000000, 1409 0xfffffff800000000, 1410 0xfffffffc00000000, 1411 0xfffffffe00000000, 1412 0xffffffff00000000, 1413 0xffffffff80000000, 1414 0xffffffffc0000000, 1415 0xffffffffe0000000, 1416 0xfffffffff0000000, 1417 0xfffffffff8000000, 1418 0xfffffffffc000000, 1419 0xfffffffffe000000, 1420 0xffffffffff000000, 1421 0xffffffffff800000, 1422 0xffffffffffc00000, 1423 0xffffffffffe00000, 1424 0xfffffffffff00000, 1425 0xfffffffffff80000, 1426 0xfffffffffffc0000, 1427 0xfffffffffffe0000, 1428 0xffffffffffff0000, 1429 0xffffffffffff8000, 1430 0xffffffffffffc000, 1431 0xffffffffffffe000, 1432 0xfffffffffffff000, 1433 0xfffffffffffff800, 1434 0xfffffffffffffc00, 1435 0xfffffffffffffe00, 1436 0xffffffffffffff00, 1437 0xffffffffffffff80, 1438 0xffffffffffffffc0, 1439 0xffffffffffffffe0, 1440 0xfffffffffffffff0, 1441 0xfffffffffffffff8, 1442 0xfffffffffffffffc, 1443 0xfffffffffffffffe, 1444 0xffffffffffffffff, 1445 0xffffffffffffffff, 1446 0xc000000000000001, 1447 0xe000000000000000, 1448 0xf000000000000000, 1449 0xf800000000000000, 1450 0xfc00000000000000, 1451 0xfe00000000000000, 1452 0xff00000000000000, 1453 0xff80000000000000, 1454 0xffc0000000000000, 1455 0xffe0000000000000, 1456 0xfff0000000000000, 1457 0xfff8000000000000, 1458 0xfffc000000000000, 1459 0xfffe000000000000, 1460 0xffff000000000000, 1461 0xffff800000000000, 1462 0xffffc00000000000, 1463 0xffffe00000000000, 1464 0xfffff00000000000, 1465 0xfffff80000000000, 1466 0xfffffc0000000000, 1467 0xfffffe0000000000, 1468 0xffffff0000000000, 1469 0xffffff8000000000, 1470 0xffffffc000000000, 1471 0xffffffe000000000, 1472 0xfffffff000000000, 1473 0xfffffff800000000, 1474 0xfffffffc00000000, 1475 0xfffffffe00000000, 1476 0xffffffff00000000, 1477 0xffffffff80000000, 1478 0xffffffffc0000000, 1479 0xffffffffe0000000, 1480 0xfffffffff0000000, 1481 0xfffffffff8000000, 1482 0xfffffffffc000000, 1483 0xfffffffffe000000, 1484 0xffffffffff000000, 1485 0xffffffffff800000, 1486 0xffffffffffc00000, 1487 0xffffffffffe00000, 1488 0xfffffffffff00000, 1489 0xfffffffffff80000, 1490 0xfffffffffffc0000, 1491 0xfffffffffffe0000, 1492 0xffffffffffff0000, 1493 0xffffffffffff8000, 1494 0xffffffffffffc000, 1495 0xffffffffffffe000, 1496 0xfffffffffffff000, 1497 0xfffffffffffff800, 1498 0xfffffffffffffc00, 1499 0xfffffffffffffe00, 1500 0xffffffffffffff00, 1501 0xffffffffffffff80, 1502 0xffffffffffffffc0, 1503 0xffffffffffffffe0, 1504 0xfffffffffffffff0, 1505 0xfffffffffffffff8, 1506 0xfffffffffffffffc, 1507 0xfffffffffffffffe, 1508 0xffffffffffffffff, 1509 0xffffffffffffffff, 1510 0xd555555555555555, 1511 0xeaaaaaaaaaaaaaaa, 1512 0xf555555555555555, 1513 0xfaaaaaaaaaaaaaaa, 1514 0xfd55555555555555, 1515 0xfeaaaaaaaaaaaaaa, 1516 0xff55555555555555, 1517 0xffaaaaaaaaaaaaaa, 1518 0xffd5555555555555, 1519 0xffeaaaaaaaaaaaaa, 1520 0xfff5555555555555, 1521 0xfffaaaaaaaaaaaaa, 1522 0xfffd555555555555, 1523 0xfffeaaaaaaaaaaaa, 1524 0xffff555555555555, 1525 0xffffaaaaaaaaaaaa, 1526 0xffffd55555555555, 1527 0xffffeaaaaaaaaaaa, 1528 0xfffff55555555555, 1529 0xfffffaaaaaaaaaaa, 1530 0xfffffd5555555555, 1531 0xfffffeaaaaaaaaaa, 1532 0xffffff5555555555, 1533 0xffffffaaaaaaaaaa, 1534 0xffffffd555555555, 1535 0xffffffeaaaaaaaaa, 1536 0xfffffff555555555, 1537 0xfffffffaaaaaaaaa, 1538 0xfffffffd55555555, 1539 0xfffffffeaaaaaaaa, 1540 0xffffffff55555555, 1541 0xffffffffaaaaaaaa, 1542 0xffffffffd5555555, 1543 0xffffffffeaaaaaaa, 1544 0xfffffffff5555555, 1545 0xfffffffffaaaaaaa, 1546 0xfffffffffd555555, 1547 0xfffffffffeaaaaaa, 1548 0xffffffffff555555, 1549 0xffffffffffaaaaaa, 1550 0xffffffffffd55555, 1551 0xffffffffffeaaaaa, 1552 0xfffffffffff55555, 1553 0xfffffffffffaaaaa, 1554 0xfffffffffffd5555, 1555 0xfffffffffffeaaaa, 1556 0xffffffffffff5555, 1557 0xffffffffffffaaaa, 1558 0xffffffffffffd555, 1559 0xffffffffffffeaaa, 1560 0xfffffffffffff555, 1561 0xfffffffffffffaaa, 1562 0xfffffffffffffd55, 1563 0xfffffffffffffeaa, 1564 0xffffffffffffff55, 1565 0xffffffffffffffaa, 1566 0xffffffffffffffd5, 1567 0xffffffffffffffea, 1568 0xfffffffffffffff5, 1569 0xfffffffffffffffa, 1570 0xfffffffffffffffd, 1571 0xfffffffffffffffe, 1572 0xffffffffffffffff, 1573 0xffffffffffffffff, 1574 0xe666666666666666, 1575 0xf333333333333333, 1576 0xf999999999999999, 1577 0xfccccccccccccccc, 1578 0xfe66666666666666, 1579 0xff33333333333333, 1580 0xff99999999999999, 1581 0xffcccccccccccccc, 1582 0xffe6666666666666, 1583 0xfff3333333333333, 1584 0xfff9999999999999, 1585 0xfffccccccccccccc, 1586 0xfffe666666666666, 1587 0xffff333333333333, 1588 0xffff999999999999, 1589 0xffffcccccccccccc, 1590 0xffffe66666666666, 1591 0xfffff33333333333, 1592 0xfffff99999999999, 1593 0xfffffccccccccccc, 1594 0xfffffe6666666666, 1595 0xffffff3333333333, 1596 0xffffff9999999999, 1597 0xffffffcccccccccc, 1598 0xffffffe666666666, 1599 0xfffffff333333333, 1600 0xfffffff999999999, 1601 0xfffffffccccccccc, 1602 0xfffffffe66666666, 1603 0xffffffff33333333, 1604 0xffffffff99999999, 1605 0xffffffffcccccccc, 1606 0xffffffffe6666666, 1607 0xfffffffff3333333, 1608 0xfffffffff9999999, 1609 0xfffffffffccccccc, 1610 0xfffffffffe666666, 1611 0xffffffffff333333, 1612 0xffffffffff999999, 1613 0xffffffffffcccccc, 1614 0xffffffffffe66666, 1615 0xfffffffffff33333, 1616 0xfffffffffff99999, 1617 0xfffffffffffccccc, 1618 0xfffffffffffe6666, 1619 0xffffffffffff3333, 1620 0xffffffffffff9999, 1621 0xffffffffffffcccc, 1622 0xffffffffffffe666, 1623 0xfffffffffffff333, 1624 0xfffffffffffff999, 1625 0xfffffffffffffccc, 1626 0xfffffffffffffe66, 1627 0xffffffffffffff33, 1628 0xffffffffffffff99, 1629 0xffffffffffffffcc, 1630 0xffffffffffffffe6, 1631 0xfffffffffffffff3, 1632 0xfffffffffffffff9, 1633 0xfffffffffffffffc, 1634 0xfffffffffffffffe, 1635 0xffffffffffffffff, 1636 0xffffffffffffffff, 1637 0xffffffffffffffff, 1638 0xffffffffc0000000, 1639 0xffffffffe0000000, 1640 0xfffffffff0000000, 1641 0xfffffffff8000000, 1642 0xfffffffffc000000, 1643 0xfffffffffe000000, 1644 0xffffffffff000000, 1645 0xffffffffff800000, 1646 0xffffffffffc00000, 1647 0xffffffffffe00000, 1648 0xfffffffffff00000, 1649 0xfffffffffff80000, 1650 0xfffffffffffc0000, 1651 0xfffffffffffe0000, 1652 0xffffffffffff0000, 1653 0xffffffffffff8000, 1654 0xffffffffffffc000, 1655 0xffffffffffffe000, 1656 0xfffffffffffff000, 1657 0xfffffffffffff800, 1658 0xfffffffffffffc00, 1659 0xfffffffffffffe00, 1660 0xffffffffffffff00, 1661 0xffffffffffffff80, 1662 0xffffffffffffffc0, 1663 0xffffffffffffffe0, 1664 0xfffffffffffffff0, 1665 0xfffffffffffffff8, 1666 0xfffffffffffffffc, 1667 0xfffffffffffffffe, 1668 0xffffffffffffffff, 1669 0xffffffffffffffff, 1670 0xffffffffffffffff, 1671 0xffffffffffffffff, 1672 0xffffffffffffffff, 1673 0xffffffffffffffff, 1674 0xffffffffffffffff, 1675 0xffffffffffffffff, 1676 0xffffffffffffffff, 1677 0xffffffffffffffff, 1678 0xffffffffffffffff, 1679 0xffffffffffffffff, 1680 0xffffffffffffffff, 1681 0xffffffffffffffff, 1682 0xffffffffffffffff, 1683 0xffffffffffffffff, 1684 0xffffffffffffffff, 1685 0xffffffffffffffff, 1686 0xffffffffffffffff, 1687 0xffffffffffffffff, 1688 0xffffffffffffffff, 1689 0xffffffffffffffff, 1690 0xffffffffffffffff, 1691 0xffffffffffffffff, 1692 0xffffffffffffffff, 1693 0xffffffffffffffff, 1694 0xffffffffffffffff, 1695 0xffffffffffffffff, 1696 0xffffffffffffffff, 1697 0xffffffffffffffff, 1698 0xffffffffffffffff, 1699 0xffffffffffffffff, 1700 0xffffffffffffffff, 1701 0xffffffffffffffff, 1702 0xffffffffc0000000, 1703 0xffffffffe0000000, 1704 0xfffffffff0000000, 1705 0xfffffffff8000000, 1706 0xfffffffffc000000, 1707 0xfffffffffe000000, 1708 0xffffffffff000000, 1709 0xffffffffff800000, 1710 0xffffffffffc00000, 1711 0xffffffffffe00000, 1712 0xfffffffffff00000, 1713 0xfffffffffff80000, 1714 0xfffffffffffc0000, 1715 0xfffffffffffe0000, 1716 0xffffffffffff0000, 1717 0xffffffffffff8000, 1718 0xffffffffffffc000, 1719 0xffffffffffffe000, 1720 0xfffffffffffff000, 1721 0xfffffffffffff800, 1722 0xfffffffffffffc00, 1723 0xfffffffffffffe00, 1724 0xffffffffffffff00, 1725 0xffffffffffffff80, 1726 0xffffffffffffffc0, 1727 0xffffffffffffffe0, 1728 0xfffffffffffffff0, 1729 0xfffffffffffffff8, 1730 0xfffffffffffffffc, 1731 0xfffffffffffffffe, 1732 0xffffffffffffffff, 1733 0xffffffffffffffff, 1734 0xffffffffffffffff, 1735 0xffffffffffffffff, 1736 0xffffffffffffffff, 1737 0xffffffffffffffff, 1738 0xffffffffffffffff, 1739 0xffffffffffffffff, 1740 0xffffffffffffffff, 1741 0xffffffffffffffff, 1742 0xffffffffffffffff, 1743 0xffffffffffffffff, 1744 0xffffffffffffffff, 1745 0xffffffffffffffff, 1746 0xffffffffffffffff, 1747 0xffffffffffffffff, 1748 0xffffffffffffffff, 1749 0xffffffffffffffff, 1750 0xffffffffffffffff, 1751 0xffffffffffffffff, 1752 0xffffffffffffffff, 1753 0xffffffffffffffff, 1754 0xffffffffffffffff, 1755 0xffffffffffffffff, 1756 0xffffffffffffffff, 1757 0xffffffffffffffff, 1758 0xffffffffffffffff, 1759 0xffffffffffffffff, 1760 0xffffffffffffffff, 1761 0xffffffffffffffff, 1762 0xffffffffffffffff, 1763 0xffffffffffffffff, 1764 0xffffffffffffffff, 1765 0xffffffffffffffff, 1766 0xffffffffc0000001, 1767 0xffffffffe0000000, 1768 0xfffffffff0000000, 1769 0xfffffffff8000000, 1770 0xfffffffffc000000, 1771 0xfffffffffe000000, 1772 0xffffffffff000000, 1773 0xffffffffff800000, 1774 0xffffffffffc00000, 1775 0xffffffffffe00000, 1776 0xfffffffffff00000, 1777 0xfffffffffff80000, 1778 0xfffffffffffc0000, 1779 0xfffffffffffe0000, 1780 0xffffffffffff0000, 1781 0xffffffffffff8000, 1782 0xffffffffffffc000, 1783 0xffffffffffffe000, 1784 0xfffffffffffff000, 1785 0xfffffffffffff800, 1786 0xfffffffffffffc00, 1787 0xfffffffffffffe00, 1788 0xffffffffffffff00, 1789 0xffffffffffffff80, 1790 0xffffffffffffffc0, 1791 0xffffffffffffffe0, 1792 0xfffffffffffffff0, 1793 0xfffffffffffffff8, 1794 0xfffffffffffffffc, 1795 0xfffffffffffffffe, 1796 0xffffffffffffffff, 1797 0xffffffffffffffff, 1798 0xffffffffffffffff, 1799 0xffffffffffffffff, 1800 0xffffffffffffffff, 1801 0xffffffffffffffff, 1802 0xffffffffffffffff, 1803 0xffffffffffffffff, 1804 0xffffffffffffffff, 1805 0xffffffffffffffff, 1806 0xffffffffffffffff, 1807 0xffffffffffffffff, 1808 0xffffffffffffffff, 1809 0xffffffffffffffff, 1810 0xffffffffffffffff, 1811 0xffffffffffffffff, 1812 0xffffffffffffffff, 1813 0xffffffffffffffff, 1814 0xffffffffffffffff, 1815 0xffffffffffffffff, 1816 0xffffffffffffffff, 1817 0xffffffffffffffff, 1818 0xffffffffffffffff, 1819 0xffffffffffffffff, 1820 0xffffffffffffffff, 1821 0xffffffffffffffff, 1822 0xffffffffffffffff, 1823 0xffffffffffffffff, 1824 0xffffffffffffffff, 1825 0xffffffffffffffff, 1826 0xffffffffffffffff, 1827 0xffffffffffffffff, 1828 0xffffffffffffffff, 1829 0xffffffffffffffff, 1830 0xffffffffc0000001, 1831 0xffffffffe0000000, 1832 0xfffffffff0000000, 1833 0xfffffffff8000000, 1834 0xfffffffffc000000, 1835 0xfffffffffe000000, 1836 0xffffffffff000000, 1837 0xffffffffff800000, 1838 0xffffffffffc00000, 1839 0xffffffffffe00000, 1840 0xfffffffffff00000, 1841 0xfffffffffff80000, 1842 0xfffffffffffc0000, 1843 0xfffffffffffe0000, 1844 0xffffffffffff0000, 1845 0xffffffffffff8000, 1846 0xffffffffffffc000, 1847 0xffffffffffffe000, 1848 0xfffffffffffff000, 1849 0xfffffffffffff800, 1850 0xfffffffffffffc00, 1851 0xfffffffffffffe00, 1852 0xffffffffffffff00, 1853 0xffffffffffffff80, 1854 0xffffffffffffffc0, 1855 0xffffffffffffffe0, 1856 0xfffffffffffffff0, 1857 0xfffffffffffffff8, 1858 0xfffffffffffffffc, 1859 0xfffffffffffffffe, 1860 0xffffffffffffffff, 1861 0xffffffffffffffff, 1862 0xffffffffffffffff, 1863 0xffffffffffffffff, 1864 0xffffffffffffffff, 1865 0xffffffffffffffff, 1866 0xffffffffffffffff, 1867 0xffffffffffffffff, 1868 0xffffffffffffffff, 1869 0xffffffffffffffff, 1870 0xffffffffffffffff, 1871 0xffffffffffffffff, 1872 0xffffffffffffffff, 1873 0xffffffffffffffff, 1874 0xffffffffffffffff, 1875 0xffffffffffffffff, 1876 0xffffffffffffffff, 1877 0xffffffffffffffff, 1878 0xffffffffffffffff, 1879 0xffffffffffffffff, 1880 0xffffffffffffffff, 1881 0xffffffffffffffff, 1882 0xffffffffffffffff, 1883 0xffffffffffffffff, 1884 0xffffffffffffffff, 1885 0xffffffffffffffff, 1886 0xffffffffffffffff, 1887 0xffffffffffffffff, 1888 0xffffffffffffffff, 1889 0xffffffffffffffff, 1890 0xffffffffffffffff, 1891 0xffffffffffffffff, 1892 0xffffffffffffffff, 1893 0xffffffffffffffff, 1894 0xffffffffffffc000, 1895 0xffffffffffffe000, 1896 0xfffffffffffff000, 1897 0xfffffffffffff800, 1898 0xfffffffffffffc00, 1899 0xfffffffffffffe00, 1900 0xffffffffffffff00, 1901 0xffffffffffffff80, 1902 0xffffffffffffffc0, 1903 0xffffffffffffffe0, 1904 0xfffffffffffffff0, 1905 0xfffffffffffffff8, 1906 0xfffffffffffffffc, 1907 0xfffffffffffffffe, 1908 0xffffffffffffffff, 1909 0xffffffffffffffff, 1910 0xffffffffffffffff, 1911 0xffffffffffffffff, 1912 0xffffffffffffffff, 1913 0xffffffffffffffff, 1914 0xffffffffffffffff, 1915 0xffffffffffffffff, 1916 0xffffffffffffffff, 1917 0xffffffffffffffff, 1918 0xffffffffffffffff, 1919 0xffffffffffffffff, 1920 0xffffffffffffffff, 1921 0xffffffffffffffff, 1922 0xffffffffffffffff, 1923 0xffffffffffffffff, 1924 0xffffffffffffffff, 1925 0xffffffffffffffff, 1926 0xffffffffffffffff, 1927 0xffffffffffffffff, 1928 0xffffffffffffffff, 1929 0xffffffffffffffff, 1930 0xffffffffffffffff, 1931 0xffffffffffffffff, 1932 0xffffffffffffffff, 1933 0xffffffffffffffff, 1934 0xffffffffffffffff, 1935 0xffffffffffffffff, 1936 0xffffffffffffffff, 1937 0xffffffffffffffff, 1938 0xffffffffffffffff, 1939 0xffffffffffffffff, 1940 0xffffffffffffffff, 1941 0xffffffffffffffff, 1942 0xffffffffffffffff, 1943 0xffffffffffffffff, 1944 0xffffffffffffffff, 1945 0xffffffffffffffff, 1946 0xffffffffffffffff, 1947 0xffffffffffffffff, 1948 0xffffffffffffffff, 1949 0xffffffffffffffff, 1950 0xffffffffffffffff, 1951 0xffffffffffffffff, 1952 0xffffffffffffffff, 1953 0xffffffffffffffff, 1954 0xffffffffffffffff, 1955 0xffffffffffffffff, 1956 0xffffffffffffffff, 1957 0xffffffffffffffff, 1958 0xffffffffffffc000, 1959 0xffffffffffffe000, 1960 0xfffffffffffff000, 1961 0xfffffffffffff800, 1962 0xfffffffffffffc00, 1963 0xfffffffffffffe00, 1964 0xffffffffffffff00, 1965 0xffffffffffffff80, 1966 0xffffffffffffffc0, 1967 0xffffffffffffffe0, 1968 0xfffffffffffffff0, 1969 0xfffffffffffffff8, 1970 0xfffffffffffffffc, 1971 0xfffffffffffffffe, 1972 0xffffffffffffffff, 1973 0xffffffffffffffff, 1974 0xffffffffffffffff, 1975 0xffffffffffffffff, 1976 0xffffffffffffffff, 1977 0xffffffffffffffff, 1978 0xffffffffffffffff, 1979 0xffffffffffffffff, 1980 0xffffffffffffffff, 1981 0xffffffffffffffff, 1982 0xffffffffffffffff, 1983 0xffffffffffffffff, 1984 0xffffffffffffffff, 1985 0xffffffffffffffff, 1986 0xffffffffffffffff, 1987 0xffffffffffffffff, 1988 0xffffffffffffffff, 1989 0xffffffffffffffff, 1990 0xffffffffffffffff, 1991 0xffffffffffffffff, 1992 0xffffffffffffffff, 1993 0xffffffffffffffff, 1994 0xffffffffffffffff, 1995 0xffffffffffffffff, 1996 0xffffffffffffffff, 1997 0xffffffffffffffff, 1998 0xffffffffffffffff, 1999 0xffffffffffffffff, 2000 0xffffffffffffffff, 2001 0xffffffffffffffff, 2002 0xffffffffffffffff, 2003 0xffffffffffffffff, 2004 0xffffffffffffffff, 2005 0xffffffffffffffff, 2006 0xffffffffffffffff, 2007 0xffffffffffffffff, 2008 0xffffffffffffffff, 2009 0xffffffffffffffff, 2010 0xffffffffffffffff, 2011 0xffffffffffffffff, 2012 0xffffffffffffffff, 2013 0xffffffffffffffff, 2014 0xffffffffffffffff, 2015 0xffffffffffffffff, 2016 0xffffffffffffffff, 2017 0xffffffffffffffff, 2018 0xffffffffffffffff, 2019 0xffffffffffffffff, 2020 0xffffffffffffffff, 2021 0xffffffffffffffff, 2022 0xffffffffffffc001, 2023 0xffffffffffffe000, 2024 0xfffffffffffff000, 2025 0xfffffffffffff800, 2026 0xfffffffffffffc00, 2027 0xfffffffffffffe00, 2028 0xffffffffffffff00, 2029 0xffffffffffffff80, 2030 0xffffffffffffffc0, 2031 0xffffffffffffffe0, 2032 0xfffffffffffffff0, 2033 0xfffffffffffffff8, 2034 0xfffffffffffffffc, 2035 0xfffffffffffffffe, 2036 0xffffffffffffffff, 2037 0xffffffffffffffff, 2038 0xffffffffffffffff, 2039 0xffffffffffffffff, 2040 0xffffffffffffffff, 2041 0xffffffffffffffff, 2042 0xffffffffffffffff, 2043 0xffffffffffffffff, 2044 0xffffffffffffffff, 2045 0xffffffffffffffff, 2046 0xffffffffffffffff, 2047 0xffffffffffffffff, 2048 0xffffffffffffffff, 2049 0xffffffffffffffff, 2050 0xffffffffffffffff, 2051 0xffffffffffffffff, 2052 0xffffffffffffffff, 2053 0xffffffffffffffff, 2054 0xffffffffffffffff, 2055 0xffffffffffffffff, 2056 0xffffffffffffffff, 2057 0xffffffffffffffff, 2058 0xffffffffffffffff, 2059 0xffffffffffffffff, 2060 0xffffffffffffffff, 2061 0xffffffffffffffff, 2062 0xffffffffffffffff, 2063 0xffffffffffffffff, 2064 0xffffffffffffffff, 2065 0xffffffffffffffff, 2066 0xffffffffffffffff, 2067 0xffffffffffffffff, 2068 0xffffffffffffffff, 2069 0xffffffffffffffff, 2070 0xffffffffffffffff, 2071 0xffffffffffffffff, 2072 0xffffffffffffffff, 2073 0xffffffffffffffff, 2074 0xffffffffffffffff, 2075 0xffffffffffffffff, 2076 0xffffffffffffffff, 2077 0xffffffffffffffff, 2078 0xffffffffffffffff, 2079 0xffffffffffffffff, 2080 0xffffffffffffffff, 2081 0xffffffffffffffff, 2082 0xffffffffffffffff, 2083 0xffffffffffffffff, 2084 0xffffffffffffffff, 2085 0xffffffffffffffff, 2086 0xffffffffffffc001, 2087 0xffffffffffffe000, 2088 0xfffffffffffff000, 2089 0xfffffffffffff800, 2090 0xfffffffffffffc00, 2091 0xfffffffffffffe00, 2092 0xffffffffffffff00, 2093 0xffffffffffffff80, 2094 0xffffffffffffffc0, 2095 0xffffffffffffffe0, 2096 0xfffffffffffffff0, 2097 0xfffffffffffffff8, 2098 0xfffffffffffffffc, 2099 0xfffffffffffffffe, 2100 0xffffffffffffffff, 2101 0xffffffffffffffff, 2102 0xffffffffffffffff, 2103 0xffffffffffffffff, 2104 0xffffffffffffffff, 2105 0xffffffffffffffff, 2106 0xffffffffffffffff, 2107 0xffffffffffffffff, 2108 0xffffffffffffffff, 2109 0xffffffffffffffff, 2110 0xffffffffffffffff, 2111 0xffffffffffffffff, 2112 0xffffffffffffffff, 2113 0xffffffffffffffff, 2114 0xffffffffffffffff, 2115 0xffffffffffffffff, 2116 0xffffffffffffffff, 2117 0xffffffffffffffff, 2118 0xffffffffffffffff, 2119 0xffffffffffffffff, 2120 0xffffffffffffffff, 2121 0xffffffffffffffff, 2122 0xffffffffffffffff, 2123 0xffffffffffffffff, 2124 0xffffffffffffffff, 2125 0xffffffffffffffff, 2126 0xffffffffffffffff, 2127 0xffffffffffffffff, 2128 0xffffffffffffffff, 2129 0xffffffffffffffff, 2130 0xffffffffffffffff, 2131 0xffffffffffffffff, 2132 0xffffffffffffffff, 2133 0xffffffffffffffff, 2134 0xffffffffffffffff, 2135 0xffffffffffffffff, 2136 0xffffffffffffffff, 2137 0xffffffffffffffff, 2138 0xffffffffffffffff, 2139 0xffffffffffffffff, 2140 0xffffffffffffffff, 2141 0xffffffffffffffff, 2142 0xffffffffffffffff, 2143 0xffffffffffffffff, 2144 0xffffffffffffffff, 2145 0xffffffffffffffff, 2146 0xffffffffffffffff, 2147 0xffffffffffffffff, 2148 0xffffffffffffffff, 2149 0xffffffffffffffff, 2150 0xffffffffffffffc0, 2151 0xffffffffffffffe0, 2152 0xfffffffffffffff0, 2153 0xfffffffffffffff8, 2154 0xfffffffffffffffc, 2155 0xfffffffffffffffe, 2156 0xffffffffffffffff, 2157 0xffffffffffffffff, 2158 0xffffffffffffffff, 2159 0xffffffffffffffff, 2160 0xffffffffffffffff, 2161 0xffffffffffffffff, 2162 0xffffffffffffffff, 2163 0xffffffffffffffff, 2164 0xffffffffffffffff, 2165 0xffffffffffffffff, 2166 0xffffffffffffffff, 2167 0xffffffffffffffff, 2168 0xffffffffffffffff, 2169 0xffffffffffffffff, 2170 0xffffffffffffffff, 2171 0xffffffffffffffff, 2172 0xffffffffffffffff, 2173 0xffffffffffffffff, 2174 0xffffffffffffffff, 2175 0xffffffffffffffff, 2176 0xffffffffffffffff, 2177 0xffffffffffffffff, 2178 0xffffffffffffffff, 2179 0xffffffffffffffff, 2180 0xffffffffffffffff, 2181 0xffffffffffffffff, 2182 0xffffffffffffffff, 2183 0xffffffffffffffff, 2184 0xffffffffffffffff, 2185 0xffffffffffffffff, 2186 0xffffffffffffffff, 2187 0xffffffffffffffff, 2188 0xffffffffffffffff, 2189 0xffffffffffffffff, 2190 0xffffffffffffffff, 2191 0xffffffffffffffff, 2192 0xffffffffffffffff, 2193 0xffffffffffffffff, 2194 0xffffffffffffffff, 2195 0xffffffffffffffff, 2196 0xffffffffffffffff, 2197 0xffffffffffffffff, 2198 0xffffffffffffffff, 2199 0xffffffffffffffff, 2200 0xffffffffffffffff, 2201 0xffffffffffffffff, 2202 0xffffffffffffffff, 2203 0xffffffffffffffff, 2204 0xffffffffffffffff, 2205 0xffffffffffffffff, 2206 0xffffffffffffffff, 2207 0xffffffffffffffff, 2208 0xffffffffffffffff, 2209 0xffffffffffffffff, 2210 0xffffffffffffffff, 2211 0xffffffffffffffff, 2212 0xffffffffffffffff, 2213 0xffffffffffffffff, 2214 0xffffffffffffffc0, 2215 0xffffffffffffffe0, 2216 0xfffffffffffffff0, 2217 0xfffffffffffffff8, 2218 0xfffffffffffffffc, 2219 0xfffffffffffffffe, 2220 0xffffffffffffffff, 2221 0xffffffffffffffff, 2222 0xffffffffffffffff, 2223 0xffffffffffffffff, 2224 0xffffffffffffffff, 2225 0xffffffffffffffff, 2226 0xffffffffffffffff, 2227 0xffffffffffffffff, 2228 0xffffffffffffffff, 2229 0xffffffffffffffff, 2230 0xffffffffffffffff, 2231 0xffffffffffffffff, 2232 0xffffffffffffffff, 2233 0xffffffffffffffff, 2234 0xffffffffffffffff, 2235 0xffffffffffffffff, 2236 0xffffffffffffffff, 2237 0xffffffffffffffff, 2238 0xffffffffffffffff, 2239 0xffffffffffffffff, 2240 0xffffffffffffffff, 2241 0xffffffffffffffff, 2242 0xffffffffffffffff, 2243 0xffffffffffffffff, 2244 0xffffffffffffffff, 2245 0xffffffffffffffff, 2246 0xffffffffffffffff, 2247 0xffffffffffffffff, 2248 0xffffffffffffffff, 2249 0xffffffffffffffff, 2250 0xffffffffffffffff, 2251 0xffffffffffffffff, 2252 0xffffffffffffffff, 2253 0xffffffffffffffff, 2254 0xffffffffffffffff, 2255 0xffffffffffffffff, 2256 0xffffffffffffffff, 2257 0xffffffffffffffff, 2258 0xffffffffffffffff, 2259 0xffffffffffffffff, 2260 0xffffffffffffffff, 2261 0xffffffffffffffff, 2262 0xffffffffffffffff, 2263 0xffffffffffffffff, 2264 0xffffffffffffffff, 2265 0xffffffffffffffff, 2266 0xffffffffffffffff, 2267 0xffffffffffffffff, 2268 0xffffffffffffffff, 2269 0xffffffffffffffff, 2270 0xffffffffffffffff, 2271 0xffffffffffffffff, 2272 0xffffffffffffffff, 2273 0xffffffffffffffff, 2274 0xffffffffffffffff, 2275 0xffffffffffffffff, 2276 0xffffffffffffffff, 2277 0xffffffffffffffff, 2278 0xffffffffffffffc1, 2279 0xffffffffffffffe0, 2280 0xfffffffffffffff0, 2281 0xfffffffffffffff8, 2282 0xfffffffffffffffc, 2283 0xfffffffffffffffe, 2284 0xffffffffffffffff, 2285 0xffffffffffffffff, 2286 0xffffffffffffffff, 2287 0xffffffffffffffff, 2288 0xffffffffffffffff, 2289 0xffffffffffffffff, 2290 0xffffffffffffffff, 2291 0xffffffffffffffff, 2292 0xffffffffffffffff, 2293 0xffffffffffffffff, 2294 0xffffffffffffffff, 2295 0xffffffffffffffff, 2296 0xffffffffffffffff, 2297 0xffffffffffffffff, 2298 0xffffffffffffffff, 2299 0xffffffffffffffff, 2300 0xffffffffffffffff, 2301 0xffffffffffffffff, 2302 0xffffffffffffffff, 2303 0xffffffffffffffff, 2304 0xffffffffffffffff, 2305 0xffffffffffffffff, 2306 0xffffffffffffffff, 2307 0xffffffffffffffff, 2308 0xffffffffffffffff, 2309 0xffffffffffffffff, 2310 0xffffffffffffffff, 2311 0xffffffffffffffff, 2312 0xffffffffffffffff, 2313 0xffffffffffffffff, 2314 0xffffffffffffffff, 2315 0xffffffffffffffff, 2316 0xffffffffffffffff, 2317 0xffffffffffffffff, 2318 0xffffffffffffffff, 2319 0xffffffffffffffff, 2320 0xffffffffffffffff, 2321 0xffffffffffffffff, 2322 0xffffffffffffffff, 2323 0xffffffffffffffff, 2324 0xffffffffffffffff, 2325 0xffffffffffffffff, 2326 0xffffffffffffffff, 2327 0xffffffffffffffff, 2328 0xffffffffffffffff, 2329 0xffffffffffffffff, 2330 0xffffffffffffffff, 2331 0xffffffffffffffff, 2332 0xffffffffffffffff, 2333 0xffffffffffffffff, 2334 0xffffffffffffffff, 2335 0xffffffffffffffff, 2336 0xffffffffffffffff, 2337 0xffffffffffffffff, 2338 0xffffffffffffffff, 2339 0xffffffffffffffff, 2340 0xffffffffffffffff, 2341 0xffffffffffffffff, 2342 0xffffffffffffffc1, 2343 0xffffffffffffffe0, 2344 0xfffffffffffffff0, 2345 0xfffffffffffffff8, 2346 0xfffffffffffffffc, 2347 0xfffffffffffffffe, 2348 0xffffffffffffffff, 2349 0xffffffffffffffff, 2350 0xffffffffffffffff, 2351 0xffffffffffffffff, 2352 0xffffffffffffffff, 2353 0xffffffffffffffff, 2354 0xffffffffffffffff, 2355 0xffffffffffffffff, 2356 0xffffffffffffffff, 2357 0xffffffffffffffff, 2358 0xffffffffffffffff, 2359 0xffffffffffffffff, 2360 0xffffffffffffffff, 2361 0xffffffffffffffff, 2362 0xffffffffffffffff, 2363 0xffffffffffffffff, 2364 0xffffffffffffffff, 2365 0xffffffffffffffff, 2366 0xffffffffffffffff, 2367 0xffffffffffffffff, 2368 0xffffffffffffffff, 2369 0xffffffffffffffff, 2370 0xffffffffffffffff, 2371 0xffffffffffffffff, 2372 0xffffffffffffffff, 2373 0xffffffffffffffff, 2374 0xffffffffffffffff, 2375 0xffffffffffffffff, 2376 0xffffffffffffffff, 2377 0xffffffffffffffff, 2378 0xffffffffffffffff, 2379 0xffffffffffffffff, 2380 0xffffffffffffffff, 2381 0xffffffffffffffff, 2382 0xffffffffffffffff, 2383 0xffffffffffffffff, 2384 0xffffffffffffffff, 2385 0xffffffffffffffff, 2386 0xffffffffffffffff, 2387 0xffffffffffffffff, 2388 0xffffffffffffffff, 2389 0xffffffffffffffff, 2390 0xffffffffffffffff, 2391 0xffffffffffffffff, 2392 0xffffffffffffffff, 2393 0xffffffffffffffff, 2394 0xffffffffffffffff, 2395 0xffffffffffffffff, 2396 0xffffffffffffffff, 2397 0xffffffffffffffff, 2398 0xffffffffffffffff, 2399 0xffffffffffffffff, 2400 0xffffffffffffffff, 2401 0xffffffffffffffff, 2402 0xffffffffffffffff, 2403 0xffffffffffffffff, 2404 0xffffffffffffffff, 2405 0xffffffffffffffff, 2406 0xffffffffffffffe0, 2407 0xfffffffffffffff0, 2408 0xfffffffffffffff8, 2409 0xfffffffffffffffc, 2410 0xfffffffffffffffe, 2411 0xffffffffffffffff, 2412 0xffffffffffffffff, 2413 0xffffffffffffffff, 2414 0xffffffffffffffff, 2415 0xffffffffffffffff, 2416 0xffffffffffffffff, 2417 0xffffffffffffffff, 2418 0xffffffffffffffff, 2419 0xffffffffffffffff, 2420 0xffffffffffffffff, 2421 0xffffffffffffffff, 2422 0xffffffffffffffff, 2423 0xffffffffffffffff, 2424 0xffffffffffffffff, 2425 0xffffffffffffffff, 2426 0xffffffffffffffff, 2427 0xffffffffffffffff, 2428 0xffffffffffffffff, 2429 0xffffffffffffffff, 2430 0xffffffffffffffff, 2431 0xffffffffffffffff, 2432 0xffffffffffffffff, 2433 0xffffffffffffffff, 2434 0xffffffffffffffff, 2435 0xffffffffffffffff, 2436 0xffffffffffffffff, 2437 0xffffffffffffffff, 2438 0xffffffffffffffff, 2439 0xffffffffffffffff, 2440 0xffffffffffffffff, 2441 0xffffffffffffffff, 2442 0xffffffffffffffff, 2443 0xffffffffffffffff, 2444 0xffffffffffffffff, 2445 0xffffffffffffffff, 2446 0xffffffffffffffff, 2447 0xffffffffffffffff, 2448 0xffffffffffffffff, 2449 0xffffffffffffffff, 2450 0xffffffffffffffff, 2451 0xffffffffffffffff, 2452 0xffffffffffffffff, 2453 0xffffffffffffffff, 2454 0xffffffffffffffff, 2455 0xffffffffffffffff, 2456 0xffffffffffffffff, 2457 0xffffffffffffffff, 2458 0xffffffffffffffff, 2459 0xffffffffffffffff, 2460 0xffffffffffffffff, 2461 0xffffffffffffffff, 2462 0xffffffffffffffff, 2463 0xffffffffffffffff, 2464 0xffffffffffffffff, 2465 0xffffffffffffffff, 2466 0xffffffffffffffff, 2467 0xffffffffffffffff, 2468 0xffffffffffffffff, 2469 0xffffffffffffffff, 2470 0xfffffffffffffffe, 2471 0xffffffffffffffff, 2472 0xffffffffffffffff, 2473 0xffffffffffffffff, 2474 0xffffffffffffffff, 2475 0xffffffffffffffff, 2476 0xffffffffffffffff, 2477 0xffffffffffffffff, 2478 0xffffffffffffffff, 2479 0xffffffffffffffff, 2480 0xffffffffffffffff, 2481 0xffffffffffffffff, 2482 0xffffffffffffffff, 2483 0xffffffffffffffff, 2484 0xffffffffffffffff, 2485 0xffffffffffffffff, 2486 0xffffffffffffffff, 2487 0xffffffffffffffff, 2488 0xffffffffffffffff, 2489 0xffffffffffffffff, 2490 0xffffffffffffffff, 2491 0xffffffffffffffff, 2492 0xffffffffffffffff, 2493 0xffffffffffffffff, 2494 0xffffffffffffffff, 2495 0xffffffffffffffff, 2496 0xffffffffffffffff, 2497 0xffffffffffffffff, 2498 0xffffffffffffffff, 2499 0xffffffffffffffff, 2500 0xffffffffffffffff, 2501 0xffffffffffffffff, 2502 0xffffffffffffffff, 2503 0xffffffffffffffff, 2504 0xffffffffffffffff, 2505 0xffffffffffffffff, 2506 0xffffffffffffffff, 2507 0xffffffffffffffff, 2508 0xffffffffffffffff, 2509 0xffffffffffffffff, 2510 0xffffffffffffffff, 2511 0xffffffffffffffff, 2512 0xffffffffffffffff, 2513 0xffffffffffffffff, 2514 0xffffffffffffffff, 2515 0xffffffffffffffff, 2516 0xffffffffffffffff, 2517 0xffffffffffffffff, 2518 0xffffffffffffffff, 2519 0xffffffffffffffff, 2520 0xffffffffffffffff, 2521 0xffffffffffffffff, 2522 0xffffffffffffffff, 2523 0xffffffffffffffff, 2524 0xffffffffffffffff, 2525 0xffffffffffffffff, 2526 0xffffffffffffffff, 2527 0xffffffffffffffff, 2528 0xffffffffffffffff, 2529 0xffffffffffffffff, 2530 0xffffffffffffffff, 2531 0xffffffffffffffff, 2532 0xffffffffffffffff, 2533 0xffffffffffffffff, 2534 0xffffffffffffffff, 2535 0xffffffffffffffff, 2536 0xffffffffffffffff, 2537 0xffffffffffffffff, 2538 0xffffffffffffffff, 2539 0xffffffffffffffff, 2540 0xffffffffffffffff, 2541 0xffffffffffffffff, 2542 0xffffffffffffffff, 2543 0xffffffffffffffff, 2544 0xffffffffffffffff, 2545 0xffffffffffffffff, 2546 0xffffffffffffffff, 2547 0xffffffffffffffff, 2548 0xffffffffffffffff, 2549 0xffffffffffffffff, 2550 0xffffffffffffffff, 2551 0xffffffffffffffff, 2552 0xffffffffffffffff, 2553 0xffffffffffffffff, 2554 0xffffffffffffffff, 2555 0xffffffffffffffff, 2556 0xffffffffffffffff, 2557 0xffffffffffffffff, 2558 0xffffffffffffffff, 2559 0xffffffffffffffff, 2560 0xffffffffffffffff, 2561 0xffffffffffffffff, 2562 0xffffffffffffffff, 2563 0xffffffffffffffff, 2564 0xffffffffffffffff, 2565 0xffffffffffffffff, 2566 0xffffffffffffffff, 2567 0xffffffffffffffff, 2568 0xffffffffffffffff, 2569 0xffffffffffffffff, 2570 0xffffffffffffffff, 2571 0xffffffffffffffff, 2572 0xffffffffffffffff, 2573 0xffffffffffffffff, 2574 0xffffffffffffffff, 2575 0xffffffffffffffff, 2576 0xffffffffffffffff, 2577 0xffffffffffffffff, 2578 0xffffffffffffffff, 2579 0xffffffffffffffff, 2580 0xffffffffffffffff, 2581 0xffffffffffffffff, 2582 0xffffffffffffffff, 2583 0xffffffffffffffff, 2584 0xffffffffffffffff, 2585 0xffffffffffffffff, 2586 0xffffffffffffffff, 2587 0xffffffffffffffff, 2588 0xffffffffffffffff, 2589 0xffffffffffffffff, 2590 0xffffffffffffffff, 2591 0xffffffffffffffff, 2592 0xffffffffffffffff, 2593 0xffffffffffffffff, 2594 0xffffffffffffffff, 2595 0xffffffffffffffff, 2596 0xffffffffffffffff, 2597 0xffffffffffffffff, 2598}; 2599const unsigned kExpectedCount_NEON_sshr_D_2OPIMM = 2560; 2600 2601#endif // VIXL_SIM_SSHR_D_2OPIMM_TRACE_AARCH64_H_ 2602