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_SRSRA_D_2OPIMM_TRACE_AARCH64_H_ 35 #define VIXL_SIM_SRSRA_D_2OPIMM_TRACE_AARCH64_H_ 36 37 const uint64_t kExpected_NEON_srsra_D_2OPIMM[] = { 38 0x0000000000000000, 39 0x0000000000000000, 40 0x0000000000000000, 41 0x0000000000000000, 42 0x0000000000000000, 43 0x0000000000000000, 44 0x0000000000000000, 45 0x0000000000000000, 46 0x0000000000000000, 47 0x0000000000000000, 48 0x0000000000000000, 49 0x0000000000000000, 50 0x0000000000000000, 51 0x0000000000000000, 52 0x0000000000000000, 53 0x0000000000000000, 54 0x0000000000000000, 55 0x0000000000000000, 56 0x0000000000000000, 57 0x0000000000000000, 58 0x0000000000000000, 59 0x0000000000000000, 60 0x0000000000000000, 61 0x0000000000000000, 62 0x0000000000000000, 63 0x0000000000000000, 64 0x0000000000000000, 65 0x0000000000000000, 66 0x0000000000000000, 67 0x0000000000000000, 68 0x0000000000000000, 69 0x0000000000000000, 70 0x0000000000000000, 71 0x0000000000000000, 72 0x0000000000000000, 73 0x0000000000000000, 74 0x0000000000000000, 75 0x0000000000000000, 76 0x0000000000000000, 77 0x0000000000000000, 78 0x0000000000000000, 79 0x0000000000000000, 80 0x0000000000000000, 81 0x0000000000000000, 82 0x0000000000000000, 83 0x0000000000000000, 84 0x0000000000000000, 85 0x0000000000000000, 86 0x0000000000000000, 87 0x0000000000000000, 88 0x0000000000000000, 89 0x0000000000000000, 90 0x0000000000000000, 91 0x0000000000000000, 92 0x0000000000000000, 93 0x0000000000000000, 94 0x0000000000000000, 95 0x0000000000000000, 96 0x0000000000000000, 97 0x0000000000000000, 98 0x0000000000000000, 99 0x0000000000000000, 100 0x0000000000000000, 101 0x0000000000000000, 102 0x0000000000000000, 103 0x0000000000000000, 104 0x0000000000000000, 105 0x0000000000000000, 106 0x0000000000000000, 107 0x0000000000000000, 108 0x0000000000000000, 109 0x0000000000000000, 110 0x0000000000000000, 111 0x0000000000000000, 112 0x0000000000000000, 113 0x0000000000000000, 114 0x0000000000000000, 115 0x0000000000000000, 116 0x0000000000000000, 117 0x0000000000000000, 118 0x0000000000000000, 119 0x0000000000000000, 120 0x0000000000000000, 121 0x0000000000000000, 122 0x0000000000000000, 123 0x0000000000000000, 124 0x0000000000000000, 125 0x0000000000000000, 126 0x0000000000000000, 127 0x0000000000000000, 128 0x0000000000000000, 129 0x0000000000000000, 130 0x0000000000000000, 131 0x0000000000000000, 132 0x0000000000000000, 133 0x0000000000000000, 134 0x0000000000000000, 135 0x0000000000000000, 136 0x0000000000000000, 137 0x0000000000000000, 138 0x0000000000000000, 139 0x0000000000000000, 140 0x0000000000000000, 141 0x0000000000000000, 142 0x0000000000000000, 143 0x0000000000000000, 144 0x0000000000000000, 145 0x0000000000000000, 146 0x0000000000000000, 147 0x0000000000000000, 148 0x0000000000000000, 149 0x0000000000000000, 150 0x0000000000000000, 151 0x0000000000000000, 152 0x0000000000000000, 153 0x0000000000000000, 154 0x0000000000000000, 155 0x0000000000000000, 156 0x0000000000000000, 157 0x0000000000000000, 158 0x0000000000000000, 159 0x0000000000000000, 160 0x0000000000000000, 161 0x0000000000000000, 162 0x0000000000000000, 163 0x0000000000000000, 164 0x0000000000000000, 165 0x0000000000000000, 166 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 0xc000000000000000, 1255 0xa000000000000000, 1256 0x9000000000000000, 1257 0x8800000000000000, 1258 0x8400000000000000, 1259 0x8200000000000000, 1260 0x8100000000000000, 1261 0x8080000000000000, 1262 0x8040000000000000, 1263 0x8020000000000000, 1264 0x8010000000000000, 1265 0x8008000000000000, 1266 0x8004000000000000, 1267 0x8002000000000000, 1268 0x8001000000000000, 1269 0x8000800000000000, 1270 0x8000400000000000, 1271 0x8000200000000000, 1272 0x8000100000000000, 1273 0x8000080000000000, 1274 0x8000040000000000, 1275 0x8000020000000000, 1276 0x8000010000000000, 1277 0x8000008000000000, 1278 0x8000004000000000, 1279 0x8000002000000000, 1280 0x8000001000000000, 1281 0x8000000800000000, 1282 0x8000000400000000, 1283 0x8000000200000000, 1284 0x8000000100000000, 1285 0x8000000080000000, 1286 0x8000000040000000, 1287 0x8000000020000000, 1288 0x8000000010000000, 1289 0x8000000008000000, 1290 0x8000000004000000, 1291 0x8000000002000000, 1292 0x8000000001000000, 1293 0x8000000000800000, 1294 0x8000000000400000, 1295 0x8000000000200000, 1296 0x8000000000100000, 1297 0x8000000000080000, 1298 0x8000000000040000, 1299 0x8000000000020000, 1300 0x8000000000010000, 1301 0x8000000000008000, 1302 0x8000000000004000, 1303 0x8000000000002000, 1304 0x8000000000001000, 1305 0x8000000000000800, 1306 0x8000000000000400, 1307 0x8000000000000200, 1308 0x8000000000000100, 1309 0x8000000000000080, 1310 0x8000000000000040, 1311 0x8000000000000020, 1312 0x8000000000000010, 1313 0x8000000000000008, 1314 0x8000000000000004, 1315 0x8000000000000002, 1316 0x8000000000000001, 1317 0x8000000000000001, 1318 0xc000000000000001, 1319 0xa000000000000001, 1320 0x9000000000000001, 1321 0x8800000000000001, 1322 0x8400000000000001, 1323 0x8200000000000001, 1324 0x8100000000000001, 1325 0x8080000000000001, 1326 0x8040000000000001, 1327 0x8020000000000001, 1328 0x8010000000000001, 1329 0x8008000000000001, 1330 0x8004000000000001, 1331 0x8002000000000001, 1332 0x8001000000000001, 1333 0x8000800000000001, 1334 0x8000400000000001, 1335 0x8000200000000001, 1336 0x8000100000000001, 1337 0x8000080000000001, 1338 0x8000040000000001, 1339 0x8000020000000001, 1340 0x8000010000000001, 1341 0x8000008000000001, 1342 0x8000004000000001, 1343 0x8000002000000001, 1344 0x8000001000000001, 1345 0x8000000800000001, 1346 0x8000000400000001, 1347 0x8000000200000001, 1348 0x8000000100000001, 1349 0x8000000080000001, 1350 0x8000000040000001, 1351 0x8000000020000001, 1352 0x8000000010000001, 1353 0x8000000008000001, 1354 0x8000000004000001, 1355 0x8000000002000001, 1356 0x8000000001000001, 1357 0x8000000000800001, 1358 0x8000000000400001, 1359 0x8000000000200001, 1360 0x8000000000100001, 1361 0x8000000000080001, 1362 0x8000000000040001, 1363 0x8000000000020001, 1364 0x8000000000010001, 1365 0x8000000000008001, 1366 0x8000000000004001, 1367 0x8000000000002001, 1368 0x8000000000001001, 1369 0x8000000000000801, 1370 0x8000000000000401, 1371 0x8000000000000201, 1372 0x8000000000000101, 1373 0x8000000000000081, 1374 0x8000000000000041, 1375 0x8000000000000021, 1376 0x8000000000000011, 1377 0x8000000000000009, 1378 0x8000000000000005, 1379 0x8000000000000003, 1380 0x8000000000000002, 1381 0x8000000000000002, 1382 0xc000000000000001, 1383 0xa000000000000002, 1384 0x9000000000000002, 1385 0x8800000000000002, 1386 0x8400000000000002, 1387 0x8200000000000002, 1388 0x8100000000000002, 1389 0x8080000000000002, 1390 0x8040000000000002, 1391 0x8020000000000002, 1392 0x8010000000000002, 1393 0x8008000000000002, 1394 0x8004000000000002, 1395 0x8002000000000002, 1396 0x8001000000000002, 1397 0x8000800000000002, 1398 0x8000400000000002, 1399 0x8000200000000002, 1400 0x8000100000000002, 1401 0x8000080000000002, 1402 0x8000040000000002, 1403 0x8000020000000002, 1404 0x8000010000000002, 1405 0x8000008000000002, 1406 0x8000004000000002, 1407 0x8000002000000002, 1408 0x8000001000000002, 1409 0x8000000800000002, 1410 0x8000000400000002, 1411 0x8000000200000002, 1412 0x8000000100000002, 1413 0x8000000080000002, 1414 0x8000000040000002, 1415 0x8000000020000002, 1416 0x8000000010000002, 1417 0x8000000008000002, 1418 0x8000000004000002, 1419 0x8000000002000002, 1420 0x8000000001000002, 1421 0x8000000000800002, 1422 0x8000000000400002, 1423 0x8000000000200002, 1424 0x8000000000100002, 1425 0x8000000000080002, 1426 0x8000000000040002, 1427 0x8000000000020002, 1428 0x8000000000010002, 1429 0x8000000000008002, 1430 0x8000000000004002, 1431 0x8000000000002002, 1432 0x8000000000001002, 1433 0x8000000000000802, 1434 0x8000000000000402, 1435 0x8000000000000202, 1436 0x8000000000000102, 1437 0x8000000000000082, 1438 0x8000000000000042, 1439 0x8000000000000022, 1440 0x8000000000000012, 1441 0x800000000000000a, 1442 0x8000000000000006, 1443 0x8000000000000004, 1444 0x8000000000000003, 1445 0x8000000000000003, 1446 0xc000000000000002, 1447 0xa000000000000003, 1448 0x9000000000000003, 1449 0x8800000000000003, 1450 0x8400000000000003, 1451 0x8200000000000003, 1452 0x8100000000000003, 1453 0x8080000000000003, 1454 0x8040000000000003, 1455 0x8020000000000003, 1456 0x8010000000000003, 1457 0x8008000000000003, 1458 0x8004000000000003, 1459 0x8002000000000003, 1460 0x8001000000000003, 1461 0x8000800000000003, 1462 0x8000400000000003, 1463 0x8000200000000003, 1464 0x8000100000000003, 1465 0x8000080000000003, 1466 0x8000040000000003, 1467 0x8000020000000003, 1468 0x8000010000000003, 1469 0x8000008000000003, 1470 0x8000004000000003, 1471 0x8000002000000003, 1472 0x8000001000000003, 1473 0x8000000800000003, 1474 0x8000000400000003, 1475 0x8000000200000003, 1476 0x8000000100000003, 1477 0x8000000080000003, 1478 0x8000000040000003, 1479 0x8000000020000003, 1480 0x8000000010000003, 1481 0x8000000008000003, 1482 0x8000000004000003, 1483 0x8000000002000003, 1484 0x8000000001000003, 1485 0x8000000000800003, 1486 0x8000000000400003, 1487 0x8000000000200003, 1488 0x8000000000100003, 1489 0x8000000000080003, 1490 0x8000000000040003, 1491 0x8000000000020003, 1492 0x8000000000010003, 1493 0x8000000000008003, 1494 0x8000000000004003, 1495 0x8000000000002003, 1496 0x8000000000001003, 1497 0x8000000000000803, 1498 0x8000000000000403, 1499 0x8000000000000203, 1500 0x8000000000000103, 1501 0x8000000000000083, 1502 0x8000000000000043, 1503 0x8000000000000023, 1504 0x8000000000000013, 1505 0x800000000000000b, 1506 0x8000000000000007, 1507 0x8000000000000005, 1508 0x8000000000000004, 1509 0x8000000000000004, 1510 0xd555555555555555, 1511 0xc000000000000000, 1512 0xb555555555555555, 1513 0xb000000000000000, 1514 0xad55555555555555, 1515 0xac00000000000000, 1516 0xab55555555555555, 1517 0xab00000000000000, 1518 0xaad5555555555555, 1519 0xaac0000000000000, 1520 0xaab5555555555555, 1521 0xaab0000000000000, 1522 0xaaad555555555555, 1523 0xaaac000000000000, 1524 0xaaab555555555555, 1525 0xaaab000000000000, 1526 0xaaaad55555555555, 1527 0xaaaac00000000000, 1528 0xaaaab55555555555, 1529 0xaaaab00000000000, 1530 0xaaaaad5555555555, 1531 0xaaaaac0000000000, 1532 0xaaaaab5555555555, 1533 0xaaaaab0000000000, 1534 0xaaaaaad555555555, 1535 0xaaaaaac000000000, 1536 0xaaaaaab555555555, 1537 0xaaaaaab000000000, 1538 0xaaaaaaad55555555, 1539 0xaaaaaaac00000000, 1540 0xaaaaaaab55555555, 1541 0xaaaaaaab00000000, 1542 0xaaaaaaaad5555555, 1543 0xaaaaaaaac0000000, 1544 0xaaaaaaaab5555555, 1545 0xaaaaaaaab0000000, 1546 0xaaaaaaaaad555555, 1547 0xaaaaaaaaac000000, 1548 0xaaaaaaaaab555555, 1549 0xaaaaaaaaab000000, 1550 0xaaaaaaaaaad55555, 1551 0xaaaaaaaaaac00000, 1552 0xaaaaaaaaaab55555, 1553 0xaaaaaaaaaab00000, 1554 0xaaaaaaaaaaad5555, 1555 0xaaaaaaaaaaac0000, 1556 0xaaaaaaaaaaab5555, 1557 0xaaaaaaaaaaab0000, 1558 0xaaaaaaaaaaaad555, 1559 0xaaaaaaaaaaaac000, 1560 0xaaaaaaaaaaaab555, 1561 0xaaaaaaaaaaaab000, 1562 0xaaaaaaaaaaaaad55, 1563 0xaaaaaaaaaaaaac00, 1564 0xaaaaaaaaaaaaab55, 1565 0xaaaaaaaaaaaaab00, 1566 0xaaaaaaaaaaaaaad5, 1567 0xaaaaaaaaaaaaaac0, 1568 0xaaaaaaaaaaaaaab5, 1569 0xaaaaaaaaaaaaaab0, 1570 0xaaaaaaaaaaaaaaad, 1571 0xaaaaaaaaaaaaaaac, 1572 0xaaaaaaaaaaaaaaab, 1573 0xaaaaaaaaaaaaaaab, 1574 0xe666666666666666, 1575 0xd999999999999999, 1576 0xd333333333333333, 1577 0xd000000000000000, 1578 0xce66666666666666, 1579 0xcd99999999999999, 1580 0xcd33333333333333, 1581 0xcd00000000000000, 1582 0xcce6666666666666, 1583 0xccd9999999999999, 1584 0xccd3333333333333, 1585 0xccd0000000000000, 1586 0xccce666666666666, 1587 0xcccd999999999999, 1588 0xcccd333333333333, 1589 0xcccd000000000000, 1590 0xcccce66666666666, 1591 0xccccd99999999999, 1592 0xccccd33333333333, 1593 0xccccd00000000000, 1594 0xccccce6666666666, 1595 0xcccccd9999999999, 1596 0xcccccd3333333333, 1597 0xcccccd0000000000, 1598 0xcccccce666666666, 1599 0xccccccd999999999, 1600 0xccccccd333333333, 1601 0xccccccd000000000, 1602 0xccccccce66666666, 1603 0xcccccccd99999999, 1604 0xcccccccd33333333, 1605 0xcccccccd00000000, 1606 0xcccccccce6666666, 1607 0xccccccccd9999999, 1608 0xccccccccd3333333, 1609 0xccccccccd0000000, 1610 0xccccccccce666666, 1611 0xcccccccccd999999, 1612 0xcccccccccd333333, 1613 0xcccccccccd000000, 1614 0xcccccccccce66666, 1615 0xccccccccccd99999, 1616 0xccccccccccd33333, 1617 0xccccccccccd00000, 1618 0xccccccccccce6666, 1619 0xcccccccccccd9999, 1620 0xcccccccccccd3333, 1621 0xcccccccccccd0000, 1622 0xcccccccccccce666, 1623 0xccccccccccccd999, 1624 0xccccccccccccd333, 1625 0xccccccccccccd000, 1626 0xccccccccccccce66, 1627 0xcccccccccccccd99, 1628 0xcccccccccccccd33, 1629 0xcccccccccccccd00, 1630 0xcccccccccccccce6, 1631 0xccccccccccccccd9, 1632 0xccccccccccccccd3, 1633 0xccccccccccccccd0, 1634 0xccccccccccccccce, 1635 0xcccccccccccccccd, 1636 0xcccccccccccccccd, 1637 0xcccccccccccccccd, 1638 0xffffffffc0000000, 1639 0xffffffffa0000000, 1640 0xffffffff90000000, 1641 0xffffffff88000000, 1642 0xffffffff84000000, 1643 0xffffffff82000000, 1644 0xffffffff81000000, 1645 0xffffffff80800000, 1646 0xffffffff80400000, 1647 0xffffffff80200000, 1648 0xffffffff80100000, 1649 0xffffffff80080000, 1650 0xffffffff80040000, 1651 0xffffffff80020000, 1652 0xffffffff80010000, 1653 0xffffffff80008000, 1654 0xffffffff80004000, 1655 0xffffffff80002000, 1656 0xffffffff80001000, 1657 0xffffffff80000800, 1658 0xffffffff80000400, 1659 0xffffffff80000200, 1660 0xffffffff80000100, 1661 0xffffffff80000080, 1662 0xffffffff80000040, 1663 0xffffffff80000020, 1664 0xffffffff80000010, 1665 0xffffffff80000008, 1666 0xffffffff80000004, 1667 0xffffffff80000002, 1668 0xffffffff80000001, 1669 0xffffffff80000001, 1670 0xffffffff80000001, 1671 0xffffffff80000001, 1672 0xffffffff80000001, 1673 0xffffffff80000001, 1674 0xffffffff80000001, 1675 0xffffffff80000001, 1676 0xffffffff80000001, 1677 0xffffffff80000001, 1678 0xffffffff80000001, 1679 0xffffffff80000001, 1680 0xffffffff80000001, 1681 0xffffffff80000001, 1682 0xffffffff80000001, 1683 0xffffffff80000001, 1684 0xffffffff80000001, 1685 0xffffffff80000001, 1686 0xffffffff80000001, 1687 0xffffffff80000001, 1688 0xffffffff80000001, 1689 0xffffffff80000001, 1690 0xffffffff80000001, 1691 0xffffffff80000001, 1692 0xffffffff80000001, 1693 0xffffffff80000001, 1694 0xffffffff80000001, 1695 0xffffffff80000001, 1696 0xffffffff80000001, 1697 0xffffffff80000001, 1698 0xffffffff80000001, 1699 0xffffffff80000001, 1700 0xffffffff80000001, 1701 0xffffffff80000001, 1702 0xffffffffc0000001, 1703 0xffffffffa0000001, 1704 0xffffffff90000001, 1705 0xffffffff88000001, 1706 0xffffffff84000001, 1707 0xffffffff82000001, 1708 0xffffffff81000001, 1709 0xffffffff80800001, 1710 0xffffffff80400001, 1711 0xffffffff80200001, 1712 0xffffffff80100001, 1713 0xffffffff80080001, 1714 0xffffffff80040001, 1715 0xffffffff80020001, 1716 0xffffffff80010001, 1717 0xffffffff80008001, 1718 0xffffffff80004001, 1719 0xffffffff80002001, 1720 0xffffffff80001001, 1721 0xffffffff80000801, 1722 0xffffffff80000401, 1723 0xffffffff80000201, 1724 0xffffffff80000101, 1725 0xffffffff80000081, 1726 0xffffffff80000041, 1727 0xffffffff80000021, 1728 0xffffffff80000011, 1729 0xffffffff80000009, 1730 0xffffffff80000005, 1731 0xffffffff80000003, 1732 0xffffffff80000002, 1733 0xffffffff80000002, 1734 0xffffffff80000002, 1735 0xffffffff80000002, 1736 0xffffffff80000002, 1737 0xffffffff80000002, 1738 0xffffffff80000002, 1739 0xffffffff80000002, 1740 0xffffffff80000002, 1741 0xffffffff80000002, 1742 0xffffffff80000002, 1743 0xffffffff80000002, 1744 0xffffffff80000002, 1745 0xffffffff80000002, 1746 0xffffffff80000002, 1747 0xffffffff80000002, 1748 0xffffffff80000002, 1749 0xffffffff80000002, 1750 0xffffffff80000002, 1751 0xffffffff80000002, 1752 0xffffffff80000002, 1753 0xffffffff80000002, 1754 0xffffffff80000002, 1755 0xffffffff80000002, 1756 0xffffffff80000002, 1757 0xffffffff80000002, 1758 0xffffffff80000002, 1759 0xffffffff80000002, 1760 0xffffffff80000002, 1761 0xffffffff80000002, 1762 0xffffffff80000002, 1763 0xffffffff80000002, 1764 0xffffffff80000002, 1765 0xffffffff80000002, 1766 0xffffffffc0000001, 1767 0xffffffffa0000002, 1768 0xffffffff90000002, 1769 0xffffffff88000002, 1770 0xffffffff84000002, 1771 0xffffffff82000002, 1772 0xffffffff81000002, 1773 0xffffffff80800002, 1774 0xffffffff80400002, 1775 0xffffffff80200002, 1776 0xffffffff80100002, 1777 0xffffffff80080002, 1778 0xffffffff80040002, 1779 0xffffffff80020002, 1780 0xffffffff80010002, 1781 0xffffffff80008002, 1782 0xffffffff80004002, 1783 0xffffffff80002002, 1784 0xffffffff80001002, 1785 0xffffffff80000802, 1786 0xffffffff80000402, 1787 0xffffffff80000202, 1788 0xffffffff80000102, 1789 0xffffffff80000082, 1790 0xffffffff80000042, 1791 0xffffffff80000022, 1792 0xffffffff80000012, 1793 0xffffffff8000000a, 1794 0xffffffff80000006, 1795 0xffffffff80000004, 1796 0xffffffff80000003, 1797 0xffffffff80000003, 1798 0xffffffff80000003, 1799 0xffffffff80000003, 1800 0xffffffff80000003, 1801 0xffffffff80000003, 1802 0xffffffff80000003, 1803 0xffffffff80000003, 1804 0xffffffff80000003, 1805 0xffffffff80000003, 1806 0xffffffff80000003, 1807 0xffffffff80000003, 1808 0xffffffff80000003, 1809 0xffffffff80000003, 1810 0xffffffff80000003, 1811 0xffffffff80000003, 1812 0xffffffff80000003, 1813 0xffffffff80000003, 1814 0xffffffff80000003, 1815 0xffffffff80000003, 1816 0xffffffff80000003, 1817 0xffffffff80000003, 1818 0xffffffff80000003, 1819 0xffffffff80000003, 1820 0xffffffff80000003, 1821 0xffffffff80000003, 1822 0xffffffff80000003, 1823 0xffffffff80000003, 1824 0xffffffff80000003, 1825 0xffffffff80000003, 1826 0xffffffff80000003, 1827 0xffffffff80000003, 1828 0xffffffff80000003, 1829 0xffffffff80000003, 1830 0xffffffffc0000002, 1831 0xffffffffa0000003, 1832 0xffffffff90000003, 1833 0xffffffff88000003, 1834 0xffffffff84000003, 1835 0xffffffff82000003, 1836 0xffffffff81000003, 1837 0xffffffff80800003, 1838 0xffffffff80400003, 1839 0xffffffff80200003, 1840 0xffffffff80100003, 1841 0xffffffff80080003, 1842 0xffffffff80040003, 1843 0xffffffff80020003, 1844 0xffffffff80010003, 1845 0xffffffff80008003, 1846 0xffffffff80004003, 1847 0xffffffff80002003, 1848 0xffffffff80001003, 1849 0xffffffff80000803, 1850 0xffffffff80000403, 1851 0xffffffff80000203, 1852 0xffffffff80000103, 1853 0xffffffff80000083, 1854 0xffffffff80000043, 1855 0xffffffff80000023, 1856 0xffffffff80000013, 1857 0xffffffff8000000b, 1858 0xffffffff80000007, 1859 0xffffffff80000005, 1860 0xffffffff80000004, 1861 0xffffffff80000004, 1862 0xffffffff80000004, 1863 0xffffffff80000004, 1864 0xffffffff80000004, 1865 0xffffffff80000004, 1866 0xffffffff80000004, 1867 0xffffffff80000004, 1868 0xffffffff80000004, 1869 0xffffffff80000004, 1870 0xffffffff80000004, 1871 0xffffffff80000004, 1872 0xffffffff80000004, 1873 0xffffffff80000004, 1874 0xffffffff80000004, 1875 0xffffffff80000004, 1876 0xffffffff80000004, 1877 0xffffffff80000004, 1878 0xffffffff80000004, 1879 0xffffffff80000004, 1880 0xffffffff80000004, 1881 0xffffffff80000004, 1882 0xffffffff80000004, 1883 0xffffffff80000004, 1884 0xffffffff80000004, 1885 0xffffffff80000004, 1886 0xffffffff80000004, 1887 0xffffffff80000004, 1888 0xffffffff80000004, 1889 0xffffffff80000004, 1890 0xffffffff80000004, 1891 0xffffffff80000004, 1892 0xffffffff80000004, 1893 0xffffffff80000004, 1894 0xffffffffffffc000, 1895 0xffffffffffffa000, 1896 0xffffffffffff9000, 1897 0xffffffffffff8800, 1898 0xffffffffffff8400, 1899 0xffffffffffff8200, 1900 0xffffffffffff8100, 1901 0xffffffffffff8080, 1902 0xffffffffffff8040, 1903 0xffffffffffff8020, 1904 0xffffffffffff8010, 1905 0xffffffffffff8008, 1906 0xffffffffffff8004, 1907 0xffffffffffff8002, 1908 0xffffffffffff8001, 1909 0xffffffffffff8001, 1910 0xffffffffffff8001, 1911 0xffffffffffff8001, 1912 0xffffffffffff8001, 1913 0xffffffffffff8001, 1914 0xffffffffffff8001, 1915 0xffffffffffff8001, 1916 0xffffffffffff8001, 1917 0xffffffffffff8001, 1918 0xffffffffffff8001, 1919 0xffffffffffff8001, 1920 0xffffffffffff8001, 1921 0xffffffffffff8001, 1922 0xffffffffffff8001, 1923 0xffffffffffff8001, 1924 0xffffffffffff8001, 1925 0xffffffffffff8001, 1926 0xffffffffffff8001, 1927 0xffffffffffff8001, 1928 0xffffffffffff8001, 1929 0xffffffffffff8001, 1930 0xffffffffffff8001, 1931 0xffffffffffff8001, 1932 0xffffffffffff8001, 1933 0xffffffffffff8001, 1934 0xffffffffffff8001, 1935 0xffffffffffff8001, 1936 0xffffffffffff8001, 1937 0xffffffffffff8001, 1938 0xffffffffffff8001, 1939 0xffffffffffff8001, 1940 0xffffffffffff8001, 1941 0xffffffffffff8001, 1942 0xffffffffffff8001, 1943 0xffffffffffff8001, 1944 0xffffffffffff8001, 1945 0xffffffffffff8001, 1946 0xffffffffffff8001, 1947 0xffffffffffff8001, 1948 0xffffffffffff8001, 1949 0xffffffffffff8001, 1950 0xffffffffffff8001, 1951 0xffffffffffff8001, 1952 0xffffffffffff8001, 1953 0xffffffffffff8001, 1954 0xffffffffffff8001, 1955 0xffffffffffff8001, 1956 0xffffffffffff8001, 1957 0xffffffffffff8001, 1958 0xffffffffffffc001, 1959 0xffffffffffffa001, 1960 0xffffffffffff9001, 1961 0xffffffffffff8801, 1962 0xffffffffffff8401, 1963 0xffffffffffff8201, 1964 0xffffffffffff8101, 1965 0xffffffffffff8081, 1966 0xffffffffffff8041, 1967 0xffffffffffff8021, 1968 0xffffffffffff8011, 1969 0xffffffffffff8009, 1970 0xffffffffffff8005, 1971 0xffffffffffff8003, 1972 0xffffffffffff8002, 1973 0xffffffffffff8002, 1974 0xffffffffffff8002, 1975 0xffffffffffff8002, 1976 0xffffffffffff8002, 1977 0xffffffffffff8002, 1978 0xffffffffffff8002, 1979 0xffffffffffff8002, 1980 0xffffffffffff8002, 1981 0xffffffffffff8002, 1982 0xffffffffffff8002, 1983 0xffffffffffff8002, 1984 0xffffffffffff8002, 1985 0xffffffffffff8002, 1986 0xffffffffffff8002, 1987 0xffffffffffff8002, 1988 0xffffffffffff8002, 1989 0xffffffffffff8002, 1990 0xffffffffffff8002, 1991 0xffffffffffff8002, 1992 0xffffffffffff8002, 1993 0xffffffffffff8002, 1994 0xffffffffffff8002, 1995 0xffffffffffff8002, 1996 0xffffffffffff8002, 1997 0xffffffffffff8002, 1998 0xffffffffffff8002, 1999 0xffffffffffff8002, 2000 0xffffffffffff8002, 2001 0xffffffffffff8002, 2002 0xffffffffffff8002, 2003 0xffffffffffff8002, 2004 0xffffffffffff8002, 2005 0xffffffffffff8002, 2006 0xffffffffffff8002, 2007 0xffffffffffff8002, 2008 0xffffffffffff8002, 2009 0xffffffffffff8002, 2010 0xffffffffffff8002, 2011 0xffffffffffff8002, 2012 0xffffffffffff8002, 2013 0xffffffffffff8002, 2014 0xffffffffffff8002, 2015 0xffffffffffff8002, 2016 0xffffffffffff8002, 2017 0xffffffffffff8002, 2018 0xffffffffffff8002, 2019 0xffffffffffff8002, 2020 0xffffffffffff8002, 2021 0xffffffffffff8002, 2022 0xffffffffffffc001, 2023 0xffffffffffffa002, 2024 0xffffffffffff9002, 2025 0xffffffffffff8802, 2026 0xffffffffffff8402, 2027 0xffffffffffff8202, 2028 0xffffffffffff8102, 2029 0xffffffffffff8082, 2030 0xffffffffffff8042, 2031 0xffffffffffff8022, 2032 0xffffffffffff8012, 2033 0xffffffffffff800a, 2034 0xffffffffffff8006, 2035 0xffffffffffff8004, 2036 0xffffffffffff8003, 2037 0xffffffffffff8003, 2038 0xffffffffffff8003, 2039 0xffffffffffff8003, 2040 0xffffffffffff8003, 2041 0xffffffffffff8003, 2042 0xffffffffffff8003, 2043 0xffffffffffff8003, 2044 0xffffffffffff8003, 2045 0xffffffffffff8003, 2046 0xffffffffffff8003, 2047 0xffffffffffff8003, 2048 0xffffffffffff8003, 2049 0xffffffffffff8003, 2050 0xffffffffffff8003, 2051 0xffffffffffff8003, 2052 0xffffffffffff8003, 2053 0xffffffffffff8003, 2054 0xffffffffffff8003, 2055 0xffffffffffff8003, 2056 0xffffffffffff8003, 2057 0xffffffffffff8003, 2058 0xffffffffffff8003, 2059 0xffffffffffff8003, 2060 0xffffffffffff8003, 2061 0xffffffffffff8003, 2062 0xffffffffffff8003, 2063 0xffffffffffff8003, 2064 0xffffffffffff8003, 2065 0xffffffffffff8003, 2066 0xffffffffffff8003, 2067 0xffffffffffff8003, 2068 0xffffffffffff8003, 2069 0xffffffffffff8003, 2070 0xffffffffffff8003, 2071 0xffffffffffff8003, 2072 0xffffffffffff8003, 2073 0xffffffffffff8003, 2074 0xffffffffffff8003, 2075 0xffffffffffff8003, 2076 0xffffffffffff8003, 2077 0xffffffffffff8003, 2078 0xffffffffffff8003, 2079 0xffffffffffff8003, 2080 0xffffffffffff8003, 2081 0xffffffffffff8003, 2082 0xffffffffffff8003, 2083 0xffffffffffff8003, 2084 0xffffffffffff8003, 2085 0xffffffffffff8003, 2086 0xffffffffffffc002, 2087 0xffffffffffffa003, 2088 0xffffffffffff9003, 2089 0xffffffffffff8803, 2090 0xffffffffffff8403, 2091 0xffffffffffff8203, 2092 0xffffffffffff8103, 2093 0xffffffffffff8083, 2094 0xffffffffffff8043, 2095 0xffffffffffff8023, 2096 0xffffffffffff8013, 2097 0xffffffffffff800b, 2098 0xffffffffffff8007, 2099 0xffffffffffff8005, 2100 0xffffffffffff8004, 2101 0xffffffffffff8004, 2102 0xffffffffffff8004, 2103 0xffffffffffff8004, 2104 0xffffffffffff8004, 2105 0xffffffffffff8004, 2106 0xffffffffffff8004, 2107 0xffffffffffff8004, 2108 0xffffffffffff8004, 2109 0xffffffffffff8004, 2110 0xffffffffffff8004, 2111 0xffffffffffff8004, 2112 0xffffffffffff8004, 2113 0xffffffffffff8004, 2114 0xffffffffffff8004, 2115 0xffffffffffff8004, 2116 0xffffffffffff8004, 2117 0xffffffffffff8004, 2118 0xffffffffffff8004, 2119 0xffffffffffff8004, 2120 0xffffffffffff8004, 2121 0xffffffffffff8004, 2122 0xffffffffffff8004, 2123 0xffffffffffff8004, 2124 0xffffffffffff8004, 2125 0xffffffffffff8004, 2126 0xffffffffffff8004, 2127 0xffffffffffff8004, 2128 0xffffffffffff8004, 2129 0xffffffffffff8004, 2130 0xffffffffffff8004, 2131 0xffffffffffff8004, 2132 0xffffffffffff8004, 2133 0xffffffffffff8004, 2134 0xffffffffffff8004, 2135 0xffffffffffff8004, 2136 0xffffffffffff8004, 2137 0xffffffffffff8004, 2138 0xffffffffffff8004, 2139 0xffffffffffff8004, 2140 0xffffffffffff8004, 2141 0xffffffffffff8004, 2142 0xffffffffffff8004, 2143 0xffffffffffff8004, 2144 0xffffffffffff8004, 2145 0xffffffffffff8004, 2146 0xffffffffffff8004, 2147 0xffffffffffff8004, 2148 0xffffffffffff8004, 2149 0xffffffffffff8004, 2150 0xffffffffffffffc0, 2151 0xffffffffffffffa0, 2152 0xffffffffffffff90, 2153 0xffffffffffffff88, 2154 0xffffffffffffff84, 2155 0xffffffffffffff82, 2156 0xffffffffffffff81, 2157 0xffffffffffffff81, 2158 0xffffffffffffff81, 2159 0xffffffffffffff81, 2160 0xffffffffffffff81, 2161 0xffffffffffffff81, 2162 0xffffffffffffff81, 2163 0xffffffffffffff81, 2164 0xffffffffffffff81, 2165 0xffffffffffffff81, 2166 0xffffffffffffff81, 2167 0xffffffffffffff81, 2168 0xffffffffffffff81, 2169 0xffffffffffffff81, 2170 0xffffffffffffff81, 2171 0xffffffffffffff81, 2172 0xffffffffffffff81, 2173 0xffffffffffffff81, 2174 0xffffffffffffff81, 2175 0xffffffffffffff81, 2176 0xffffffffffffff81, 2177 0xffffffffffffff81, 2178 0xffffffffffffff81, 2179 0xffffffffffffff81, 2180 0xffffffffffffff81, 2181 0xffffffffffffff81, 2182 0xffffffffffffff81, 2183 0xffffffffffffff81, 2184 0xffffffffffffff81, 2185 0xffffffffffffff81, 2186 0xffffffffffffff81, 2187 0xffffffffffffff81, 2188 0xffffffffffffff81, 2189 0xffffffffffffff81, 2190 0xffffffffffffff81, 2191 0xffffffffffffff81, 2192 0xffffffffffffff81, 2193 0xffffffffffffff81, 2194 0xffffffffffffff81, 2195 0xffffffffffffff81, 2196 0xffffffffffffff81, 2197 0xffffffffffffff81, 2198 0xffffffffffffff81, 2199 0xffffffffffffff81, 2200 0xffffffffffffff81, 2201 0xffffffffffffff81, 2202 0xffffffffffffff81, 2203 0xffffffffffffff81, 2204 0xffffffffffffff81, 2205 0xffffffffffffff81, 2206 0xffffffffffffff81, 2207 0xffffffffffffff81, 2208 0xffffffffffffff81, 2209 0xffffffffffffff81, 2210 0xffffffffffffff81, 2211 0xffffffffffffff81, 2212 0xffffffffffffff81, 2213 0xffffffffffffff81, 2214 0xffffffffffffffc1, 2215 0xffffffffffffffa1, 2216 0xffffffffffffff91, 2217 0xffffffffffffff89, 2218 0xffffffffffffff85, 2219 0xffffffffffffff83, 2220 0xffffffffffffff82, 2221 0xffffffffffffff82, 2222 0xffffffffffffff82, 2223 0xffffffffffffff82, 2224 0xffffffffffffff82, 2225 0xffffffffffffff82, 2226 0xffffffffffffff82, 2227 0xffffffffffffff82, 2228 0xffffffffffffff82, 2229 0xffffffffffffff82, 2230 0xffffffffffffff82, 2231 0xffffffffffffff82, 2232 0xffffffffffffff82, 2233 0xffffffffffffff82, 2234 0xffffffffffffff82, 2235 0xffffffffffffff82, 2236 0xffffffffffffff82, 2237 0xffffffffffffff82, 2238 0xffffffffffffff82, 2239 0xffffffffffffff82, 2240 0xffffffffffffff82, 2241 0xffffffffffffff82, 2242 0xffffffffffffff82, 2243 0xffffffffffffff82, 2244 0xffffffffffffff82, 2245 0xffffffffffffff82, 2246 0xffffffffffffff82, 2247 0xffffffffffffff82, 2248 0xffffffffffffff82, 2249 0xffffffffffffff82, 2250 0xffffffffffffff82, 2251 0xffffffffffffff82, 2252 0xffffffffffffff82, 2253 0xffffffffffffff82, 2254 0xffffffffffffff82, 2255 0xffffffffffffff82, 2256 0xffffffffffffff82, 2257 0xffffffffffffff82, 2258 0xffffffffffffff82, 2259 0xffffffffffffff82, 2260 0xffffffffffffff82, 2261 0xffffffffffffff82, 2262 0xffffffffffffff82, 2263 0xffffffffffffff82, 2264 0xffffffffffffff82, 2265 0xffffffffffffff82, 2266 0xffffffffffffff82, 2267 0xffffffffffffff82, 2268 0xffffffffffffff82, 2269 0xffffffffffffff82, 2270 0xffffffffffffff82, 2271 0xffffffffffffff82, 2272 0xffffffffffffff82, 2273 0xffffffffffffff82, 2274 0xffffffffffffff82, 2275 0xffffffffffffff82, 2276 0xffffffffffffff82, 2277 0xffffffffffffff82, 2278 0xffffffffffffffc1, 2279 0xffffffffffffffa2, 2280 0xffffffffffffff92, 2281 0xffffffffffffff8a, 2282 0xffffffffffffff86, 2283 0xffffffffffffff84, 2284 0xffffffffffffff83, 2285 0xffffffffffffff83, 2286 0xffffffffffffff83, 2287 0xffffffffffffff83, 2288 0xffffffffffffff83, 2289 0xffffffffffffff83, 2290 0xffffffffffffff83, 2291 0xffffffffffffff83, 2292 0xffffffffffffff83, 2293 0xffffffffffffff83, 2294 0xffffffffffffff83, 2295 0xffffffffffffff83, 2296 0xffffffffffffff83, 2297 0xffffffffffffff83, 2298 0xffffffffffffff83, 2299 0xffffffffffffff83, 2300 0xffffffffffffff83, 2301 0xffffffffffffff83, 2302 0xffffffffffffff83, 2303 0xffffffffffffff83, 2304 0xffffffffffffff83, 2305 0xffffffffffffff83, 2306 0xffffffffffffff83, 2307 0xffffffffffffff83, 2308 0xffffffffffffff83, 2309 0xffffffffffffff83, 2310 0xffffffffffffff83, 2311 0xffffffffffffff83, 2312 0xffffffffffffff83, 2313 0xffffffffffffff83, 2314 0xffffffffffffff83, 2315 0xffffffffffffff83, 2316 0xffffffffffffff83, 2317 0xffffffffffffff83, 2318 0xffffffffffffff83, 2319 0xffffffffffffff83, 2320 0xffffffffffffff83, 2321 0xffffffffffffff83, 2322 0xffffffffffffff83, 2323 0xffffffffffffff83, 2324 0xffffffffffffff83, 2325 0xffffffffffffff83, 2326 0xffffffffffffff83, 2327 0xffffffffffffff83, 2328 0xffffffffffffff83, 2329 0xffffffffffffff83, 2330 0xffffffffffffff83, 2331 0xffffffffffffff83, 2332 0xffffffffffffff83, 2333 0xffffffffffffff83, 2334 0xffffffffffffff83, 2335 0xffffffffffffff83, 2336 0xffffffffffffff83, 2337 0xffffffffffffff83, 2338 0xffffffffffffff83, 2339 0xffffffffffffff83, 2340 0xffffffffffffff83, 2341 0xffffffffffffff83, 2342 0xffffffffffffffc2, 2343 0xffffffffffffffa3, 2344 0xffffffffffffff93, 2345 0xffffffffffffff8b, 2346 0xffffffffffffff87, 2347 0xffffffffffffff85, 2348 0xffffffffffffff84, 2349 0xffffffffffffff84, 2350 0xffffffffffffff84, 2351 0xffffffffffffff84, 2352 0xffffffffffffff84, 2353 0xffffffffffffff84, 2354 0xffffffffffffff84, 2355 0xffffffffffffff84, 2356 0xffffffffffffff84, 2357 0xffffffffffffff84, 2358 0xffffffffffffff84, 2359 0xffffffffffffff84, 2360 0xffffffffffffff84, 2361 0xffffffffffffff84, 2362 0xffffffffffffff84, 2363 0xffffffffffffff84, 2364 0xffffffffffffff84, 2365 0xffffffffffffff84, 2366 0xffffffffffffff84, 2367 0xffffffffffffff84, 2368 0xffffffffffffff84, 2369 0xffffffffffffff84, 2370 0xffffffffffffff84, 2371 0xffffffffffffff84, 2372 0xffffffffffffff84, 2373 0xffffffffffffff84, 2374 0xffffffffffffff84, 2375 0xffffffffffffff84, 2376 0xffffffffffffff84, 2377 0xffffffffffffff84, 2378 0xffffffffffffff84, 2379 0xffffffffffffff84, 2380 0xffffffffffffff84, 2381 0xffffffffffffff84, 2382 0xffffffffffffff84, 2383 0xffffffffffffff84, 2384 0xffffffffffffff84, 2385 0xffffffffffffff84, 2386 0xffffffffffffff84, 2387 0xffffffffffffff84, 2388 0xffffffffffffff84, 2389 0xffffffffffffff84, 2390 0xffffffffffffff84, 2391 0xffffffffffffff84, 2392 0xffffffffffffff84, 2393 0xffffffffffffff84, 2394 0xffffffffffffff84, 2395 0xffffffffffffff84, 2396 0xffffffffffffff84, 2397 0xffffffffffffff84, 2398 0xffffffffffffff84, 2399 0xffffffffffffff84, 2400 0xffffffffffffff84, 2401 0xffffffffffffff84, 2402 0xffffffffffffff84, 2403 0xffffffffffffff84, 2404 0xffffffffffffff84, 2405 0xffffffffffffff84, 2406 0xffffffffffffffe0, 2407 0xffffffffffffffd0, 2408 0xffffffffffffffc8, 2409 0xffffffffffffffc4, 2410 0xffffffffffffffc2, 2411 0xffffffffffffffc1, 2412 0xffffffffffffffc1, 2413 0xffffffffffffffc1, 2414 0xffffffffffffffc1, 2415 0xffffffffffffffc1, 2416 0xffffffffffffffc1, 2417 0xffffffffffffffc1, 2418 0xffffffffffffffc1, 2419 0xffffffffffffffc1, 2420 0xffffffffffffffc1, 2421 0xffffffffffffffc1, 2422 0xffffffffffffffc1, 2423 0xffffffffffffffc1, 2424 0xffffffffffffffc1, 2425 0xffffffffffffffc1, 2426 0xffffffffffffffc1, 2427 0xffffffffffffffc1, 2428 0xffffffffffffffc1, 2429 0xffffffffffffffc1, 2430 0xffffffffffffffc1, 2431 0xffffffffffffffc1, 2432 0xffffffffffffffc1, 2433 0xffffffffffffffc1, 2434 0xffffffffffffffc1, 2435 0xffffffffffffffc1, 2436 0xffffffffffffffc1, 2437 0xffffffffffffffc1, 2438 0xffffffffffffffc1, 2439 0xffffffffffffffc1, 2440 0xffffffffffffffc1, 2441 0xffffffffffffffc1, 2442 0xffffffffffffffc1, 2443 0xffffffffffffffc1, 2444 0xffffffffffffffc1, 2445 0xffffffffffffffc1, 2446 0xffffffffffffffc1, 2447 0xffffffffffffffc1, 2448 0xffffffffffffffc1, 2449 0xffffffffffffffc1, 2450 0xffffffffffffffc1, 2451 0xffffffffffffffc1, 2452 0xffffffffffffffc1, 2453 0xffffffffffffffc1, 2454 0xffffffffffffffc1, 2455 0xffffffffffffffc1, 2456 0xffffffffffffffc1, 2457 0xffffffffffffffc1, 2458 0xffffffffffffffc1, 2459 0xffffffffffffffc1, 2460 0xffffffffffffffc1, 2461 0xffffffffffffffc1, 2462 0xffffffffffffffc1, 2463 0xffffffffffffffc1, 2464 0xffffffffffffffc1, 2465 0xffffffffffffffc1, 2466 0xffffffffffffffc1, 2467 0xffffffffffffffc1, 2468 0xffffffffffffffc1, 2469 0xffffffffffffffc1, 2470 0xffffffffffffffff, 2471 0xfffffffffffffffe, 2472 0xfffffffffffffffe, 2473 0xfffffffffffffffe, 2474 0xfffffffffffffffe, 2475 0xfffffffffffffffe, 2476 0xfffffffffffffffe, 2477 0xfffffffffffffffe, 2478 0xfffffffffffffffe, 2479 0xfffffffffffffffe, 2480 0xfffffffffffffffe, 2481 0xfffffffffffffffe, 2482 0xfffffffffffffffe, 2483 0xfffffffffffffffe, 2484 0xfffffffffffffffe, 2485 0xfffffffffffffffe, 2486 0xfffffffffffffffe, 2487 0xfffffffffffffffe, 2488 0xfffffffffffffffe, 2489 0xfffffffffffffffe, 2490 0xfffffffffffffffe, 2491 0xfffffffffffffffe, 2492 0xfffffffffffffffe, 2493 0xfffffffffffffffe, 2494 0xfffffffffffffffe, 2495 0xfffffffffffffffe, 2496 0xfffffffffffffffe, 2497 0xfffffffffffffffe, 2498 0xfffffffffffffffe, 2499 0xfffffffffffffffe, 2500 0xfffffffffffffffe, 2501 0xfffffffffffffffe, 2502 0xfffffffffffffffe, 2503 0xfffffffffffffffe, 2504 0xfffffffffffffffe, 2505 0xfffffffffffffffe, 2506 0xfffffffffffffffe, 2507 0xfffffffffffffffe, 2508 0xfffffffffffffffe, 2509 0xfffffffffffffffe, 2510 0xfffffffffffffffe, 2511 0xfffffffffffffffe, 2512 0xfffffffffffffffe, 2513 0xfffffffffffffffe, 2514 0xfffffffffffffffe, 2515 0xfffffffffffffffe, 2516 0xfffffffffffffffe, 2517 0xfffffffffffffffe, 2518 0xfffffffffffffffe, 2519 0xfffffffffffffffe, 2520 0xfffffffffffffffe, 2521 0xfffffffffffffffe, 2522 0xfffffffffffffffe, 2523 0xfffffffffffffffe, 2524 0xfffffffffffffffe, 2525 0xfffffffffffffffe, 2526 0xfffffffffffffffe, 2527 0xfffffffffffffffe, 2528 0xfffffffffffffffe, 2529 0xfffffffffffffffe, 2530 0xfffffffffffffffe, 2531 0xfffffffffffffffe, 2532 0xfffffffffffffffe, 2533 0xfffffffffffffffe, 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 }; 2599 const unsigned kExpectedCount_NEON_srsra_D_2OPIMM = 2560; 2600 2601 #endif // VIXL_SIM_SRSRA_D_2OPIMM_TRACE_AARCH64_H_ 2602