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_SRSHR_D_2OPIMM_TRACE_AARCH64_H_ 35 #define VIXL_SIM_SRSHR_D_2OPIMM_TRACE_AARCH64_H_ 36 37 const uint64_t kExpected_NEON_srshr_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 0x0000000000000000, 168 0x0000000000000000, 169 0x0000000000000000, 170 0x0000000000000000, 171 0x0000000000000000, 172 0x0000000000000000, 173 0x0000000000000000, 174 0x0000000000000000, 175 0x0000000000000000, 176 0x0000000000000000, 177 0x0000000000000000, 178 0x0000000000000000, 179 0x0000000000000000, 180 0x0000000000000000, 181 0x0000000000000000, 182 0x0000000000000000, 183 0x0000000000000000, 184 0x0000000000000000, 185 0x0000000000000000, 186 0x0000000000000000, 187 0x0000000000000000, 188 0x0000000000000000, 189 0x0000000000000000, 190 0x0000000000000000, 191 0x0000000000000000, 192 0x0000000000000000, 193 0x0000000000000000, 194 0x0000000000000000, 195 0x0000000000000000, 196 0x0000000000000000, 197 0x0000000000000000, 198 0x0000000000000000, 199 0x0000000000000000, 200 0x0000000000000000, 201 0x0000000000000000, 202 0x0000000000000000, 203 0x0000000000000000, 204 0x0000000000000000, 205 0x0000000000000000, 206 0x0000000000000000, 207 0x0000000000000000, 208 0x0000000000000000, 209 0x0000000000000000, 210 0x0000000000000000, 211 0x0000000000000000, 212 0x0000000000000000, 213 0x0000000000000000, 214 0x0000000000000000, 215 0x0000000000000000, 216 0x0000000000000000, 217 0x0000000000000000, 218 0x0000000000000000, 219 0x0000000000000000, 220 0x0000000000000000, 221 0x0000000000000000, 222 0x0000000000000000, 223 0x0000000000000000, 224 0x0000000000000000, 225 0x0000000000000000, 226 0x0000000000000000, 227 0x0000000000000000, 228 0x0000000000000000, 229 0x0000000000000000, 230 0x0000000000000001, 231 0x0000000000000001, 232 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 0x0000000000000001, 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 0x000000000000003f, 359 0x000000000000001f, 360 0x0000000000000010, 361 0x0000000000000008, 362 0x0000000000000004, 363 0x0000000000000002, 364 0x0000000000000001, 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 0x0000000000000020, 424 0x0000000000000010, 425 0x0000000000000008, 426 0x0000000000000004, 427 0x0000000000000002, 428 0x0000000000000001, 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 0x0000000000000040, 487 0x0000000000000020, 488 0x0000000000000010, 489 0x0000000000000008, 490 0x0000000000000004, 491 0x0000000000000002, 492 0x0000000000000001, 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 0x0000000000003fff, 551 0x0000000000001fff, 552 0x0000000000001000, 553 0x0000000000000800, 554 0x0000000000000400, 555 0x0000000000000200, 556 0x0000000000000100, 557 0x0000000000000080, 558 0x0000000000000040, 559 0x0000000000000020, 560 0x0000000000000010, 561 0x0000000000000008, 562 0x0000000000000004, 563 0x0000000000000002, 564 0x0000000000000001, 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 0x0000000000002000, 616 0x0000000000001000, 617 0x0000000000000800, 618 0x0000000000000400, 619 0x0000000000000200, 620 0x0000000000000100, 621 0x0000000000000080, 622 0x0000000000000040, 623 0x0000000000000020, 624 0x0000000000000010, 625 0x0000000000000008, 626 0x0000000000000004, 627 0x0000000000000002, 628 0x0000000000000001, 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 0x0000000000004000, 679 0x0000000000002000, 680 0x0000000000001000, 681 0x0000000000000800, 682 0x0000000000000400, 683 0x0000000000000200, 684 0x0000000000000100, 685 0x0000000000000080, 686 0x0000000000000040, 687 0x0000000000000020, 688 0x0000000000000010, 689 0x0000000000000008, 690 0x0000000000000004, 691 0x0000000000000002, 692 0x0000000000000001, 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 0x000000003fffffff, 743 0x000000001fffffff, 744 0x0000000010000000, 745 0x0000000008000000, 746 0x0000000004000000, 747 0x0000000002000000, 748 0x0000000001000000, 749 0x0000000000800000, 750 0x0000000000400000, 751 0x0000000000200000, 752 0x0000000000100000, 753 0x0000000000080000, 754 0x0000000000040000, 755 0x0000000000020000, 756 0x0000000000010000, 757 0x0000000000008000, 758 0x0000000000004000, 759 0x0000000000002000, 760 0x0000000000001000, 761 0x0000000000000800, 762 0x0000000000000400, 763 0x0000000000000200, 764 0x0000000000000100, 765 0x0000000000000080, 766 0x0000000000000040, 767 0x0000000000000020, 768 0x0000000000000010, 769 0x0000000000000008, 770 0x0000000000000004, 771 0x0000000000000002, 772 0x0000000000000001, 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 0x0000000020000000, 808 0x0000000010000000, 809 0x0000000008000000, 810 0x0000000004000000, 811 0x0000000002000000, 812 0x0000000001000000, 813 0x0000000000800000, 814 0x0000000000400000, 815 0x0000000000200000, 816 0x0000000000100000, 817 0x0000000000080000, 818 0x0000000000040000, 819 0x0000000000020000, 820 0x0000000000010000, 821 0x0000000000008000, 822 0x0000000000004000, 823 0x0000000000002000, 824 0x0000000000001000, 825 0x0000000000000800, 826 0x0000000000000400, 827 0x0000000000000200, 828 0x0000000000000100, 829 0x0000000000000080, 830 0x0000000000000040, 831 0x0000000000000020, 832 0x0000000000000010, 833 0x0000000000000008, 834 0x0000000000000004, 835 0x0000000000000002, 836 0x0000000000000001, 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 0x0000000040000000, 871 0x0000000020000000, 872 0x0000000010000000, 873 0x0000000008000000, 874 0x0000000004000000, 875 0x0000000002000000, 876 0x0000000001000000, 877 0x0000000000800000, 878 0x0000000000400000, 879 0x0000000000200000, 880 0x0000000000100000, 881 0x0000000000080000, 882 0x0000000000040000, 883 0x0000000000020000, 884 0x0000000000010000, 885 0x0000000000008000, 886 0x0000000000004000, 887 0x0000000000002000, 888 0x0000000000001000, 889 0x0000000000000800, 890 0x0000000000000400, 891 0x0000000000000200, 892 0x0000000000000100, 893 0x0000000000000080, 894 0x0000000000000040, 895 0x0000000000000020, 896 0x0000000000000010, 897 0x0000000000000008, 898 0x0000000000000004, 899 0x0000000000000002, 900 0x0000000000000001, 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 0x199999999999999a, 935 0x0ccccccccccccccd, 936 0x0666666666666666, 937 0x0333333333333333, 938 0x019999999999999a, 939 0x00cccccccccccccd, 940 0x0066666666666666, 941 0x0033333333333333, 942 0x001999999999999a, 943 0x000ccccccccccccd, 944 0x0006666666666666, 945 0x0003333333333333, 946 0x000199999999999a, 947 0x0000cccccccccccd, 948 0x0000666666666666, 949 0x0000333333333333, 950 0x000019999999999a, 951 0x00000ccccccccccd, 952 0x0000066666666666, 953 0x0000033333333333, 954 0x000001999999999a, 955 0x000000cccccccccd, 956 0x0000006666666666, 957 0x0000003333333333, 958 0x000000199999999a, 959 0x0000000ccccccccd, 960 0x0000000666666666, 961 0x0000000333333333, 962 0x000000019999999a, 963 0x00000000cccccccd, 964 0x0000000066666666, 965 0x0000000033333333, 966 0x000000001999999a, 967 0x000000000ccccccd, 968 0x0000000006666666, 969 0x0000000003333333, 970 0x000000000199999a, 971 0x0000000000cccccd, 972 0x0000000000666666, 973 0x0000000000333333, 974 0x000000000019999a, 975 0x00000000000ccccd, 976 0x0000000000066666, 977 0x0000000000033333, 978 0x000000000001999a, 979 0x000000000000cccd, 980 0x0000000000006666, 981 0x0000000000003333, 982 0x000000000000199a, 983 0x0000000000000ccd, 984 0x0000000000000666, 985 0x0000000000000333, 986 0x000000000000019a, 987 0x00000000000000cd, 988 0x0000000000000066, 989 0x0000000000000033, 990 0x000000000000001a, 991 0x000000000000000d, 992 0x0000000000000006, 993 0x0000000000000003, 994 0x0000000000000002, 995 0x0000000000000001, 996 0x0000000000000000, 997 0x0000000000000000, 998 0x2aaaaaaaaaaaaaab, 999 0x1555555555555555, 1000 0x0aaaaaaaaaaaaaab, 1001 0x0555555555555555, 1002 0x02aaaaaaaaaaaaab, 1003 0x0155555555555555, 1004 0x00aaaaaaaaaaaaab, 1005 0x0055555555555555, 1006 0x002aaaaaaaaaaaab, 1007 0x0015555555555555, 1008 0x000aaaaaaaaaaaab, 1009 0x0005555555555555, 1010 0x0002aaaaaaaaaaab, 1011 0x0001555555555555, 1012 0x0000aaaaaaaaaaab, 1013 0x0000555555555555, 1014 0x00002aaaaaaaaaab, 1015 0x0000155555555555, 1016 0x00000aaaaaaaaaab, 1017 0x0000055555555555, 1018 0x000002aaaaaaaaab, 1019 0x0000015555555555, 1020 0x000000aaaaaaaaab, 1021 0x0000005555555555, 1022 0x0000002aaaaaaaab, 1023 0x0000001555555555, 1024 0x0000000aaaaaaaab, 1025 0x0000000555555555, 1026 0x00000002aaaaaaab, 1027 0x0000000155555555, 1028 0x00000000aaaaaaab, 1029 0x0000000055555555, 1030 0x000000002aaaaaab, 1031 0x0000000015555555, 1032 0x000000000aaaaaab, 1033 0x0000000005555555, 1034 0x0000000002aaaaab, 1035 0x0000000001555555, 1036 0x0000000000aaaaab, 1037 0x0000000000555555, 1038 0x00000000002aaaab, 1039 0x0000000000155555, 1040 0x00000000000aaaab, 1041 0x0000000000055555, 1042 0x000000000002aaab, 1043 0x0000000000015555, 1044 0x000000000000aaab, 1045 0x0000000000005555, 1046 0x0000000000002aab, 1047 0x0000000000001555, 1048 0x0000000000000aab, 1049 0x0000000000000555, 1050 0x00000000000002ab, 1051 0x0000000000000155, 1052 0x00000000000000ab, 1053 0x0000000000000055, 1054 0x000000000000002b, 1055 0x0000000000000015, 1056 0x000000000000000b, 1057 0x0000000000000005, 1058 0x0000000000000003, 1059 0x0000000000000001, 1060 0x0000000000000001, 1061 0x0000000000000000, 1062 0x3fffffffffffffff, 1063 0x1fffffffffffffff, 1064 0x1000000000000000, 1065 0x0800000000000000, 1066 0x0400000000000000, 1067 0x0200000000000000, 1068 0x0100000000000000, 1069 0x0080000000000000, 1070 0x0040000000000000, 1071 0x0020000000000000, 1072 0x0010000000000000, 1073 0x0008000000000000, 1074 0x0004000000000000, 1075 0x0002000000000000, 1076 0x0001000000000000, 1077 0x0000800000000000, 1078 0x0000400000000000, 1079 0x0000200000000000, 1080 0x0000100000000000, 1081 0x0000080000000000, 1082 0x0000040000000000, 1083 0x0000020000000000, 1084 0x0000010000000000, 1085 0x0000008000000000, 1086 0x0000004000000000, 1087 0x0000002000000000, 1088 0x0000001000000000, 1089 0x0000000800000000, 1090 0x0000000400000000, 1091 0x0000000200000000, 1092 0x0000000100000000, 1093 0x0000000080000000, 1094 0x0000000040000000, 1095 0x0000000020000000, 1096 0x0000000010000000, 1097 0x0000000008000000, 1098 0x0000000004000000, 1099 0x0000000002000000, 1100 0x0000000001000000, 1101 0x0000000000800000, 1102 0x0000000000400000, 1103 0x0000000000200000, 1104 0x0000000000100000, 1105 0x0000000000080000, 1106 0x0000000000040000, 1107 0x0000000000020000, 1108 0x0000000000010000, 1109 0x0000000000008000, 1110 0x0000000000004000, 1111 0x0000000000002000, 1112 0x0000000000001000, 1113 0x0000000000000800, 1114 0x0000000000000400, 1115 0x0000000000000200, 1116 0x0000000000000100, 1117 0x0000000000000080, 1118 0x0000000000000040, 1119 0x0000000000000020, 1120 0x0000000000000010, 1121 0x0000000000000008, 1122 0x0000000000000004, 1123 0x0000000000000002, 1124 0x0000000000000001, 1125 0x0000000000000000, 1126 0x3fffffffffffffff, 1127 0x2000000000000000, 1128 0x1000000000000000, 1129 0x0800000000000000, 1130 0x0400000000000000, 1131 0x0200000000000000, 1132 0x0100000000000000, 1133 0x0080000000000000, 1134 0x0040000000000000, 1135 0x0020000000000000, 1136 0x0010000000000000, 1137 0x0008000000000000, 1138 0x0004000000000000, 1139 0x0002000000000000, 1140 0x0001000000000000, 1141 0x0000800000000000, 1142 0x0000400000000000, 1143 0x0000200000000000, 1144 0x0000100000000000, 1145 0x0000080000000000, 1146 0x0000040000000000, 1147 0x0000020000000000, 1148 0x0000010000000000, 1149 0x0000008000000000, 1150 0x0000004000000000, 1151 0x0000002000000000, 1152 0x0000001000000000, 1153 0x0000000800000000, 1154 0x0000000400000000, 1155 0x0000000200000000, 1156 0x0000000100000000, 1157 0x0000000080000000, 1158 0x0000000040000000, 1159 0x0000000020000000, 1160 0x0000000010000000, 1161 0x0000000008000000, 1162 0x0000000004000000, 1163 0x0000000002000000, 1164 0x0000000001000000, 1165 0x0000000000800000, 1166 0x0000000000400000, 1167 0x0000000000200000, 1168 0x0000000000100000, 1169 0x0000000000080000, 1170 0x0000000000040000, 1171 0x0000000000020000, 1172 0x0000000000010000, 1173 0x0000000000008000, 1174 0x0000000000004000, 1175 0x0000000000002000, 1176 0x0000000000001000, 1177 0x0000000000000800, 1178 0x0000000000000400, 1179 0x0000000000000200, 1180 0x0000000000000100, 1181 0x0000000000000080, 1182 0x0000000000000040, 1183 0x0000000000000020, 1184 0x0000000000000010, 1185 0x0000000000000008, 1186 0x0000000000000004, 1187 0x0000000000000002, 1188 0x0000000000000001, 1189 0x0000000000000000, 1190 0x4000000000000000, 1191 0x2000000000000000, 1192 0x1000000000000000, 1193 0x0800000000000000, 1194 0x0400000000000000, 1195 0x0200000000000000, 1196 0x0100000000000000, 1197 0x0080000000000000, 1198 0x0040000000000000, 1199 0x0020000000000000, 1200 0x0010000000000000, 1201 0x0008000000000000, 1202 0x0004000000000000, 1203 0x0002000000000000, 1204 0x0001000000000000, 1205 0x0000800000000000, 1206 0x0000400000000000, 1207 0x0000200000000000, 1208 0x0000100000000000, 1209 0x0000080000000000, 1210 0x0000040000000000, 1211 0x0000020000000000, 1212 0x0000010000000000, 1213 0x0000008000000000, 1214 0x0000004000000000, 1215 0x0000002000000000, 1216 0x0000001000000000, 1217 0x0000000800000000, 1218 0x0000000400000000, 1219 0x0000000200000000, 1220 0x0000000100000000, 1221 0x0000000080000000, 1222 0x0000000040000000, 1223 0x0000000020000000, 1224 0x0000000010000000, 1225 0x0000000008000000, 1226 0x0000000004000000, 1227 0x0000000002000000, 1228 0x0000000001000000, 1229 0x0000000000800000, 1230 0x0000000000400000, 1231 0x0000000000200000, 1232 0x0000000000100000, 1233 0x0000000000080000, 1234 0x0000000000040000, 1235 0x0000000000020000, 1236 0x0000000000010000, 1237 0x0000000000008000, 1238 0x0000000000004000, 1239 0x0000000000002000, 1240 0x0000000000001000, 1241 0x0000000000000800, 1242 0x0000000000000400, 1243 0x0000000000000200, 1244 0x0000000000000100, 1245 0x0000000000000080, 1246 0x0000000000000040, 1247 0x0000000000000020, 1248 0x0000000000000010, 1249 0x0000000000000008, 1250 0x0000000000000004, 1251 0x0000000000000002, 1252 0x0000000000000001, 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 0x0000000000000000, 1318 0xc000000000000001, 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 0x0000000000000000, 1382 0xc000000000000001, 1383 0xe000000000000001, 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 0x0000000000000000, 1446 0xc000000000000002, 1447 0xe000000000000001, 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 0x0000000000000000, 1510 0xd555555555555555, 1511 0xeaaaaaaaaaaaaaab, 1512 0xf555555555555555, 1513 0xfaaaaaaaaaaaaaab, 1514 0xfd55555555555555, 1515 0xfeaaaaaaaaaaaaab, 1516 0xff55555555555555, 1517 0xffaaaaaaaaaaaaab, 1518 0xffd5555555555555, 1519 0xffeaaaaaaaaaaaab, 1520 0xfff5555555555555, 1521 0xfffaaaaaaaaaaaab, 1522 0xfffd555555555555, 1523 0xfffeaaaaaaaaaaab, 1524 0xffff555555555555, 1525 0xffffaaaaaaaaaaab, 1526 0xffffd55555555555, 1527 0xffffeaaaaaaaaaab, 1528 0xfffff55555555555, 1529 0xfffffaaaaaaaaaab, 1530 0xfffffd5555555555, 1531 0xfffffeaaaaaaaaab, 1532 0xffffff5555555555, 1533 0xffffffaaaaaaaaab, 1534 0xffffffd555555555, 1535 0xffffffeaaaaaaaab, 1536 0xfffffff555555555, 1537 0xfffffffaaaaaaaab, 1538 0xfffffffd55555555, 1539 0xfffffffeaaaaaaab, 1540 0xffffffff55555555, 1541 0xffffffffaaaaaaab, 1542 0xffffffffd5555555, 1543 0xffffffffeaaaaaab, 1544 0xfffffffff5555555, 1545 0xfffffffffaaaaaab, 1546 0xfffffffffd555555, 1547 0xfffffffffeaaaaab, 1548 0xffffffffff555555, 1549 0xffffffffffaaaaab, 1550 0xffffffffffd55555, 1551 0xffffffffffeaaaab, 1552 0xfffffffffff55555, 1553 0xfffffffffffaaaab, 1554 0xfffffffffffd5555, 1555 0xfffffffffffeaaab, 1556 0xffffffffffff5555, 1557 0xffffffffffffaaab, 1558 0xffffffffffffd555, 1559 0xffffffffffffeaab, 1560 0xfffffffffffff555, 1561 0xfffffffffffffaab, 1562 0xfffffffffffffd55, 1563 0xfffffffffffffeab, 1564 0xffffffffffffff55, 1565 0xffffffffffffffab, 1566 0xffffffffffffffd5, 1567 0xffffffffffffffeb, 1568 0xfffffffffffffff5, 1569 0xfffffffffffffffb, 1570 0xfffffffffffffffd, 1571 0xffffffffffffffff, 1572 0xffffffffffffffff, 1573 0x0000000000000000, 1574 0xe666666666666666, 1575 0xf333333333333333, 1576 0xf99999999999999a, 1577 0xfccccccccccccccd, 1578 0xfe66666666666666, 1579 0xff33333333333333, 1580 0xff9999999999999a, 1581 0xffcccccccccccccd, 1582 0xffe6666666666666, 1583 0xfff3333333333333, 1584 0xfff999999999999a, 1585 0xfffccccccccccccd, 1586 0xfffe666666666666, 1587 0xffff333333333333, 1588 0xffff99999999999a, 1589 0xffffcccccccccccd, 1590 0xffffe66666666666, 1591 0xfffff33333333333, 1592 0xfffff9999999999a, 1593 0xfffffccccccccccd, 1594 0xfffffe6666666666, 1595 0xffffff3333333333, 1596 0xffffff999999999a, 1597 0xffffffcccccccccd, 1598 0xffffffe666666666, 1599 0xfffffff333333333, 1600 0xfffffff99999999a, 1601 0xfffffffccccccccd, 1602 0xfffffffe66666666, 1603 0xffffffff33333333, 1604 0xffffffff9999999a, 1605 0xffffffffcccccccd, 1606 0xffffffffe6666666, 1607 0xfffffffff3333333, 1608 0xfffffffff999999a, 1609 0xfffffffffccccccd, 1610 0xfffffffffe666666, 1611 0xffffffffff333333, 1612 0xffffffffff99999a, 1613 0xffffffffffcccccd, 1614 0xffffffffffe66666, 1615 0xfffffffffff33333, 1616 0xfffffffffff9999a, 1617 0xfffffffffffccccd, 1618 0xfffffffffffe6666, 1619 0xffffffffffff3333, 1620 0xffffffffffff999a, 1621 0xffffffffffffcccd, 1622 0xffffffffffffe666, 1623 0xfffffffffffff333, 1624 0xfffffffffffff99a, 1625 0xfffffffffffffccd, 1626 0xfffffffffffffe66, 1627 0xffffffffffffff33, 1628 0xffffffffffffff9a, 1629 0xffffffffffffffcd, 1630 0xffffffffffffffe6, 1631 0xfffffffffffffff3, 1632 0xfffffffffffffffa, 1633 0xfffffffffffffffd, 1634 0xfffffffffffffffe, 1635 0xffffffffffffffff, 1636 0x0000000000000000, 1637 0x0000000000000000, 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 0x0000000000000000, 1670 0x0000000000000000, 1671 0x0000000000000000, 1672 0x0000000000000000, 1673 0x0000000000000000, 1674 0x0000000000000000, 1675 0x0000000000000000, 1676 0x0000000000000000, 1677 0x0000000000000000, 1678 0x0000000000000000, 1679 0x0000000000000000, 1680 0x0000000000000000, 1681 0x0000000000000000, 1682 0x0000000000000000, 1683 0x0000000000000000, 1684 0x0000000000000000, 1685 0x0000000000000000, 1686 0x0000000000000000, 1687 0x0000000000000000, 1688 0x0000000000000000, 1689 0x0000000000000000, 1690 0x0000000000000000, 1691 0x0000000000000000, 1692 0x0000000000000000, 1693 0x0000000000000000, 1694 0x0000000000000000, 1695 0x0000000000000000, 1696 0x0000000000000000, 1697 0x0000000000000000, 1698 0x0000000000000000, 1699 0x0000000000000000, 1700 0x0000000000000000, 1701 0x0000000000000000, 1702 0xffffffffc0000001, 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 0x0000000000000000, 1734 0x0000000000000000, 1735 0x0000000000000000, 1736 0x0000000000000000, 1737 0x0000000000000000, 1738 0x0000000000000000, 1739 0x0000000000000000, 1740 0x0000000000000000, 1741 0x0000000000000000, 1742 0x0000000000000000, 1743 0x0000000000000000, 1744 0x0000000000000000, 1745 0x0000000000000000, 1746 0x0000000000000000, 1747 0x0000000000000000, 1748 0x0000000000000000, 1749 0x0000000000000000, 1750 0x0000000000000000, 1751 0x0000000000000000, 1752 0x0000000000000000, 1753 0x0000000000000000, 1754 0x0000000000000000, 1755 0x0000000000000000, 1756 0x0000000000000000, 1757 0x0000000000000000, 1758 0x0000000000000000, 1759 0x0000000000000000, 1760 0x0000000000000000, 1761 0x0000000000000000, 1762 0x0000000000000000, 1763 0x0000000000000000, 1764 0x0000000000000000, 1765 0x0000000000000000, 1766 0xffffffffc0000001, 1767 0xffffffffe0000001, 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 0x0000000000000000, 1798 0x0000000000000000, 1799 0x0000000000000000, 1800 0x0000000000000000, 1801 0x0000000000000000, 1802 0x0000000000000000, 1803 0x0000000000000000, 1804 0x0000000000000000, 1805 0x0000000000000000, 1806 0x0000000000000000, 1807 0x0000000000000000, 1808 0x0000000000000000, 1809 0x0000000000000000, 1810 0x0000000000000000, 1811 0x0000000000000000, 1812 0x0000000000000000, 1813 0x0000000000000000, 1814 0x0000000000000000, 1815 0x0000000000000000, 1816 0x0000000000000000, 1817 0x0000000000000000, 1818 0x0000000000000000, 1819 0x0000000000000000, 1820 0x0000000000000000, 1821 0x0000000000000000, 1822 0x0000000000000000, 1823 0x0000000000000000, 1824 0x0000000000000000, 1825 0x0000000000000000, 1826 0x0000000000000000, 1827 0x0000000000000000, 1828 0x0000000000000000, 1829 0x0000000000000000, 1830 0xffffffffc0000002, 1831 0xffffffffe0000001, 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 0x0000000000000000, 1862 0x0000000000000000, 1863 0x0000000000000000, 1864 0x0000000000000000, 1865 0x0000000000000000, 1866 0x0000000000000000, 1867 0x0000000000000000, 1868 0x0000000000000000, 1869 0x0000000000000000, 1870 0x0000000000000000, 1871 0x0000000000000000, 1872 0x0000000000000000, 1873 0x0000000000000000, 1874 0x0000000000000000, 1875 0x0000000000000000, 1876 0x0000000000000000, 1877 0x0000000000000000, 1878 0x0000000000000000, 1879 0x0000000000000000, 1880 0x0000000000000000, 1881 0x0000000000000000, 1882 0x0000000000000000, 1883 0x0000000000000000, 1884 0x0000000000000000, 1885 0x0000000000000000, 1886 0x0000000000000000, 1887 0x0000000000000000, 1888 0x0000000000000000, 1889 0x0000000000000000, 1890 0x0000000000000000, 1891 0x0000000000000000, 1892 0x0000000000000000, 1893 0x0000000000000000, 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 0x0000000000000000, 1910 0x0000000000000000, 1911 0x0000000000000000, 1912 0x0000000000000000, 1913 0x0000000000000000, 1914 0x0000000000000000, 1915 0x0000000000000000, 1916 0x0000000000000000, 1917 0x0000000000000000, 1918 0x0000000000000000, 1919 0x0000000000000000, 1920 0x0000000000000000, 1921 0x0000000000000000, 1922 0x0000000000000000, 1923 0x0000000000000000, 1924 0x0000000000000000, 1925 0x0000000000000000, 1926 0x0000000000000000, 1927 0x0000000000000000, 1928 0x0000000000000000, 1929 0x0000000000000000, 1930 0x0000000000000000, 1931 0x0000000000000000, 1932 0x0000000000000000, 1933 0x0000000000000000, 1934 0x0000000000000000, 1935 0x0000000000000000, 1936 0x0000000000000000, 1937 0x0000000000000000, 1938 0x0000000000000000, 1939 0x0000000000000000, 1940 0x0000000000000000, 1941 0x0000000000000000, 1942 0x0000000000000000, 1943 0x0000000000000000, 1944 0x0000000000000000, 1945 0x0000000000000000, 1946 0x0000000000000000, 1947 0x0000000000000000, 1948 0x0000000000000000, 1949 0x0000000000000000, 1950 0x0000000000000000, 1951 0x0000000000000000, 1952 0x0000000000000000, 1953 0x0000000000000000, 1954 0x0000000000000000, 1955 0x0000000000000000, 1956 0x0000000000000000, 1957 0x0000000000000000, 1958 0xffffffffffffc001, 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 0x0000000000000000, 1974 0x0000000000000000, 1975 0x0000000000000000, 1976 0x0000000000000000, 1977 0x0000000000000000, 1978 0x0000000000000000, 1979 0x0000000000000000, 1980 0x0000000000000000, 1981 0x0000000000000000, 1982 0x0000000000000000, 1983 0x0000000000000000, 1984 0x0000000000000000, 1985 0x0000000000000000, 1986 0x0000000000000000, 1987 0x0000000000000000, 1988 0x0000000000000000, 1989 0x0000000000000000, 1990 0x0000000000000000, 1991 0x0000000000000000, 1992 0x0000000000000000, 1993 0x0000000000000000, 1994 0x0000000000000000, 1995 0x0000000000000000, 1996 0x0000000000000000, 1997 0x0000000000000000, 1998 0x0000000000000000, 1999 0x0000000000000000, 2000 0x0000000000000000, 2001 0x0000000000000000, 2002 0x0000000000000000, 2003 0x0000000000000000, 2004 0x0000000000000000, 2005 0x0000000000000000, 2006 0x0000000000000000, 2007 0x0000000000000000, 2008 0x0000000000000000, 2009 0x0000000000000000, 2010 0x0000000000000000, 2011 0x0000000000000000, 2012 0x0000000000000000, 2013 0x0000000000000000, 2014 0x0000000000000000, 2015 0x0000000000000000, 2016 0x0000000000000000, 2017 0x0000000000000000, 2018 0x0000000000000000, 2019 0x0000000000000000, 2020 0x0000000000000000, 2021 0x0000000000000000, 2022 0xffffffffffffc001, 2023 0xffffffffffffe001, 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 0x0000000000000000, 2038 0x0000000000000000, 2039 0x0000000000000000, 2040 0x0000000000000000, 2041 0x0000000000000000, 2042 0x0000000000000000, 2043 0x0000000000000000, 2044 0x0000000000000000, 2045 0x0000000000000000, 2046 0x0000000000000000, 2047 0x0000000000000000, 2048 0x0000000000000000, 2049 0x0000000000000000, 2050 0x0000000000000000, 2051 0x0000000000000000, 2052 0x0000000000000000, 2053 0x0000000000000000, 2054 0x0000000000000000, 2055 0x0000000000000000, 2056 0x0000000000000000, 2057 0x0000000000000000, 2058 0x0000000000000000, 2059 0x0000000000000000, 2060 0x0000000000000000, 2061 0x0000000000000000, 2062 0x0000000000000000, 2063 0x0000000000000000, 2064 0x0000000000000000, 2065 0x0000000000000000, 2066 0x0000000000000000, 2067 0x0000000000000000, 2068 0x0000000000000000, 2069 0x0000000000000000, 2070 0x0000000000000000, 2071 0x0000000000000000, 2072 0x0000000000000000, 2073 0x0000000000000000, 2074 0x0000000000000000, 2075 0x0000000000000000, 2076 0x0000000000000000, 2077 0x0000000000000000, 2078 0x0000000000000000, 2079 0x0000000000000000, 2080 0x0000000000000000, 2081 0x0000000000000000, 2082 0x0000000000000000, 2083 0x0000000000000000, 2084 0x0000000000000000, 2085 0x0000000000000000, 2086 0xffffffffffffc002, 2087 0xffffffffffffe001, 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 0x0000000000000000, 2102 0x0000000000000000, 2103 0x0000000000000000, 2104 0x0000000000000000, 2105 0x0000000000000000, 2106 0x0000000000000000, 2107 0x0000000000000000, 2108 0x0000000000000000, 2109 0x0000000000000000, 2110 0x0000000000000000, 2111 0x0000000000000000, 2112 0x0000000000000000, 2113 0x0000000000000000, 2114 0x0000000000000000, 2115 0x0000000000000000, 2116 0x0000000000000000, 2117 0x0000000000000000, 2118 0x0000000000000000, 2119 0x0000000000000000, 2120 0x0000000000000000, 2121 0x0000000000000000, 2122 0x0000000000000000, 2123 0x0000000000000000, 2124 0x0000000000000000, 2125 0x0000000000000000, 2126 0x0000000000000000, 2127 0x0000000000000000, 2128 0x0000000000000000, 2129 0x0000000000000000, 2130 0x0000000000000000, 2131 0x0000000000000000, 2132 0x0000000000000000, 2133 0x0000000000000000, 2134 0x0000000000000000, 2135 0x0000000000000000, 2136 0x0000000000000000, 2137 0x0000000000000000, 2138 0x0000000000000000, 2139 0x0000000000000000, 2140 0x0000000000000000, 2141 0x0000000000000000, 2142 0x0000000000000000, 2143 0x0000000000000000, 2144 0x0000000000000000, 2145 0x0000000000000000, 2146 0x0000000000000000, 2147 0x0000000000000000, 2148 0x0000000000000000, 2149 0x0000000000000000, 2150 0xffffffffffffffc0, 2151 0xffffffffffffffe0, 2152 0xfffffffffffffff0, 2153 0xfffffffffffffff8, 2154 0xfffffffffffffffc, 2155 0xfffffffffffffffe, 2156 0xffffffffffffffff, 2157 0x0000000000000000, 2158 0x0000000000000000, 2159 0x0000000000000000, 2160 0x0000000000000000, 2161 0x0000000000000000, 2162 0x0000000000000000, 2163 0x0000000000000000, 2164 0x0000000000000000, 2165 0x0000000000000000, 2166 0x0000000000000000, 2167 0x0000000000000000, 2168 0x0000000000000000, 2169 0x0000000000000000, 2170 0x0000000000000000, 2171 0x0000000000000000, 2172 0x0000000000000000, 2173 0x0000000000000000, 2174 0x0000000000000000, 2175 0x0000000000000000, 2176 0x0000000000000000, 2177 0x0000000000000000, 2178 0x0000000000000000, 2179 0x0000000000000000, 2180 0x0000000000000000, 2181 0x0000000000000000, 2182 0x0000000000000000, 2183 0x0000000000000000, 2184 0x0000000000000000, 2185 0x0000000000000000, 2186 0x0000000000000000, 2187 0x0000000000000000, 2188 0x0000000000000000, 2189 0x0000000000000000, 2190 0x0000000000000000, 2191 0x0000000000000000, 2192 0x0000000000000000, 2193 0x0000000000000000, 2194 0x0000000000000000, 2195 0x0000000000000000, 2196 0x0000000000000000, 2197 0x0000000000000000, 2198 0x0000000000000000, 2199 0x0000000000000000, 2200 0x0000000000000000, 2201 0x0000000000000000, 2202 0x0000000000000000, 2203 0x0000000000000000, 2204 0x0000000000000000, 2205 0x0000000000000000, 2206 0x0000000000000000, 2207 0x0000000000000000, 2208 0x0000000000000000, 2209 0x0000000000000000, 2210 0x0000000000000000, 2211 0x0000000000000000, 2212 0x0000000000000000, 2213 0x0000000000000000, 2214 0xffffffffffffffc1, 2215 0xffffffffffffffe0, 2216 0xfffffffffffffff0, 2217 0xfffffffffffffff8, 2218 0xfffffffffffffffc, 2219 0xfffffffffffffffe, 2220 0xffffffffffffffff, 2221 0x0000000000000000, 2222 0x0000000000000000, 2223 0x0000000000000000, 2224 0x0000000000000000, 2225 0x0000000000000000, 2226 0x0000000000000000, 2227 0x0000000000000000, 2228 0x0000000000000000, 2229 0x0000000000000000, 2230 0x0000000000000000, 2231 0x0000000000000000, 2232 0x0000000000000000, 2233 0x0000000000000000, 2234 0x0000000000000000, 2235 0x0000000000000000, 2236 0x0000000000000000, 2237 0x0000000000000000, 2238 0x0000000000000000, 2239 0x0000000000000000, 2240 0x0000000000000000, 2241 0x0000000000000000, 2242 0x0000000000000000, 2243 0x0000000000000000, 2244 0x0000000000000000, 2245 0x0000000000000000, 2246 0x0000000000000000, 2247 0x0000000000000000, 2248 0x0000000000000000, 2249 0x0000000000000000, 2250 0x0000000000000000, 2251 0x0000000000000000, 2252 0x0000000000000000, 2253 0x0000000000000000, 2254 0x0000000000000000, 2255 0x0000000000000000, 2256 0x0000000000000000, 2257 0x0000000000000000, 2258 0x0000000000000000, 2259 0x0000000000000000, 2260 0x0000000000000000, 2261 0x0000000000000000, 2262 0x0000000000000000, 2263 0x0000000000000000, 2264 0x0000000000000000, 2265 0x0000000000000000, 2266 0x0000000000000000, 2267 0x0000000000000000, 2268 0x0000000000000000, 2269 0x0000000000000000, 2270 0x0000000000000000, 2271 0x0000000000000000, 2272 0x0000000000000000, 2273 0x0000000000000000, 2274 0x0000000000000000, 2275 0x0000000000000000, 2276 0x0000000000000000, 2277 0x0000000000000000, 2278 0xffffffffffffffc1, 2279 0xffffffffffffffe1, 2280 0xfffffffffffffff0, 2281 0xfffffffffffffff8, 2282 0xfffffffffffffffc, 2283 0xfffffffffffffffe, 2284 0xffffffffffffffff, 2285 0x0000000000000000, 2286 0x0000000000000000, 2287 0x0000000000000000, 2288 0x0000000000000000, 2289 0x0000000000000000, 2290 0x0000000000000000, 2291 0x0000000000000000, 2292 0x0000000000000000, 2293 0x0000000000000000, 2294 0x0000000000000000, 2295 0x0000000000000000, 2296 0x0000000000000000, 2297 0x0000000000000000, 2298 0x0000000000000000, 2299 0x0000000000000000, 2300 0x0000000000000000, 2301 0x0000000000000000, 2302 0x0000000000000000, 2303 0x0000000000000000, 2304 0x0000000000000000, 2305 0x0000000000000000, 2306 0x0000000000000000, 2307 0x0000000000000000, 2308 0x0000000000000000, 2309 0x0000000000000000, 2310 0x0000000000000000, 2311 0x0000000000000000, 2312 0x0000000000000000, 2313 0x0000000000000000, 2314 0x0000000000000000, 2315 0x0000000000000000, 2316 0x0000000000000000, 2317 0x0000000000000000, 2318 0x0000000000000000, 2319 0x0000000000000000, 2320 0x0000000000000000, 2321 0x0000000000000000, 2322 0x0000000000000000, 2323 0x0000000000000000, 2324 0x0000000000000000, 2325 0x0000000000000000, 2326 0x0000000000000000, 2327 0x0000000000000000, 2328 0x0000000000000000, 2329 0x0000000000000000, 2330 0x0000000000000000, 2331 0x0000000000000000, 2332 0x0000000000000000, 2333 0x0000000000000000, 2334 0x0000000000000000, 2335 0x0000000000000000, 2336 0x0000000000000000, 2337 0x0000000000000000, 2338 0x0000000000000000, 2339 0x0000000000000000, 2340 0x0000000000000000, 2341 0x0000000000000000, 2342 0xffffffffffffffc2, 2343 0xffffffffffffffe1, 2344 0xfffffffffffffff0, 2345 0xfffffffffffffff8, 2346 0xfffffffffffffffc, 2347 0xfffffffffffffffe, 2348 0xffffffffffffffff, 2349 0x0000000000000000, 2350 0x0000000000000000, 2351 0x0000000000000000, 2352 0x0000000000000000, 2353 0x0000000000000000, 2354 0x0000000000000000, 2355 0x0000000000000000, 2356 0x0000000000000000, 2357 0x0000000000000000, 2358 0x0000000000000000, 2359 0x0000000000000000, 2360 0x0000000000000000, 2361 0x0000000000000000, 2362 0x0000000000000000, 2363 0x0000000000000000, 2364 0x0000000000000000, 2365 0x0000000000000000, 2366 0x0000000000000000, 2367 0x0000000000000000, 2368 0x0000000000000000, 2369 0x0000000000000000, 2370 0x0000000000000000, 2371 0x0000000000000000, 2372 0x0000000000000000, 2373 0x0000000000000000, 2374 0x0000000000000000, 2375 0x0000000000000000, 2376 0x0000000000000000, 2377 0x0000000000000000, 2378 0x0000000000000000, 2379 0x0000000000000000, 2380 0x0000000000000000, 2381 0x0000000000000000, 2382 0x0000000000000000, 2383 0x0000000000000000, 2384 0x0000000000000000, 2385 0x0000000000000000, 2386 0x0000000000000000, 2387 0x0000000000000000, 2388 0x0000000000000000, 2389 0x0000000000000000, 2390 0x0000000000000000, 2391 0x0000000000000000, 2392 0x0000000000000000, 2393 0x0000000000000000, 2394 0x0000000000000000, 2395 0x0000000000000000, 2396 0x0000000000000000, 2397 0x0000000000000000, 2398 0x0000000000000000, 2399 0x0000000000000000, 2400 0x0000000000000000, 2401 0x0000000000000000, 2402 0x0000000000000000, 2403 0x0000000000000000, 2404 0x0000000000000000, 2405 0x0000000000000000, 2406 0xffffffffffffffe0, 2407 0xfffffffffffffff0, 2408 0xfffffffffffffff8, 2409 0xfffffffffffffffc, 2410 0xfffffffffffffffe, 2411 0xffffffffffffffff, 2412 0x0000000000000000, 2413 0x0000000000000000, 2414 0x0000000000000000, 2415 0x0000000000000000, 2416 0x0000000000000000, 2417 0x0000000000000000, 2418 0x0000000000000000, 2419 0x0000000000000000, 2420 0x0000000000000000, 2421 0x0000000000000000, 2422 0x0000000000000000, 2423 0x0000000000000000, 2424 0x0000000000000000, 2425 0x0000000000000000, 2426 0x0000000000000000, 2427 0x0000000000000000, 2428 0x0000000000000000, 2429 0x0000000000000000, 2430 0x0000000000000000, 2431 0x0000000000000000, 2432 0x0000000000000000, 2433 0x0000000000000000, 2434 0x0000000000000000, 2435 0x0000000000000000, 2436 0x0000000000000000, 2437 0x0000000000000000, 2438 0x0000000000000000, 2439 0x0000000000000000, 2440 0x0000000000000000, 2441 0x0000000000000000, 2442 0x0000000000000000, 2443 0x0000000000000000, 2444 0x0000000000000000, 2445 0x0000000000000000, 2446 0x0000000000000000, 2447 0x0000000000000000, 2448 0x0000000000000000, 2449 0x0000000000000000, 2450 0x0000000000000000, 2451 0x0000000000000000, 2452 0x0000000000000000, 2453 0x0000000000000000, 2454 0x0000000000000000, 2455 0x0000000000000000, 2456 0x0000000000000000, 2457 0x0000000000000000, 2458 0x0000000000000000, 2459 0x0000000000000000, 2460 0x0000000000000000, 2461 0x0000000000000000, 2462 0x0000000000000000, 2463 0x0000000000000000, 2464 0x0000000000000000, 2465 0x0000000000000000, 2466 0x0000000000000000, 2467 0x0000000000000000, 2468 0x0000000000000000, 2469 0x0000000000000000, 2470 0xffffffffffffffff, 2471 0xffffffffffffffff, 2472 0x0000000000000000, 2473 0x0000000000000000, 2474 0x0000000000000000, 2475 0x0000000000000000, 2476 0x0000000000000000, 2477 0x0000000000000000, 2478 0x0000000000000000, 2479 0x0000000000000000, 2480 0x0000000000000000, 2481 0x0000000000000000, 2482 0x0000000000000000, 2483 0x0000000000000000, 2484 0x0000000000000000, 2485 0x0000000000000000, 2486 0x0000000000000000, 2487 0x0000000000000000, 2488 0x0000000000000000, 2489 0x0000000000000000, 2490 0x0000000000000000, 2491 0x0000000000000000, 2492 0x0000000000000000, 2493 0x0000000000000000, 2494 0x0000000000000000, 2495 0x0000000000000000, 2496 0x0000000000000000, 2497 0x0000000000000000, 2498 0x0000000000000000, 2499 0x0000000000000000, 2500 0x0000000000000000, 2501 0x0000000000000000, 2502 0x0000000000000000, 2503 0x0000000000000000, 2504 0x0000000000000000, 2505 0x0000000000000000, 2506 0x0000000000000000, 2507 0x0000000000000000, 2508 0x0000000000000000, 2509 0x0000000000000000, 2510 0x0000000000000000, 2511 0x0000000000000000, 2512 0x0000000000000000, 2513 0x0000000000000000, 2514 0x0000000000000000, 2515 0x0000000000000000, 2516 0x0000000000000000, 2517 0x0000000000000000, 2518 0x0000000000000000, 2519 0x0000000000000000, 2520 0x0000000000000000, 2521 0x0000000000000000, 2522 0x0000000000000000, 2523 0x0000000000000000, 2524 0x0000000000000000, 2525 0x0000000000000000, 2526 0x0000000000000000, 2527 0x0000000000000000, 2528 0x0000000000000000, 2529 0x0000000000000000, 2530 0x0000000000000000, 2531 0x0000000000000000, 2532 0x0000000000000000, 2533 0x0000000000000000, 2534 0xffffffffffffffff, 2535 0x0000000000000000, 2536 0x0000000000000000, 2537 0x0000000000000000, 2538 0x0000000000000000, 2539 0x0000000000000000, 2540 0x0000000000000000, 2541 0x0000000000000000, 2542 0x0000000000000000, 2543 0x0000000000000000, 2544 0x0000000000000000, 2545 0x0000000000000000, 2546 0x0000000000000000, 2547 0x0000000000000000, 2548 0x0000000000000000, 2549 0x0000000000000000, 2550 0x0000000000000000, 2551 0x0000000000000000, 2552 0x0000000000000000, 2553 0x0000000000000000, 2554 0x0000000000000000, 2555 0x0000000000000000, 2556 0x0000000000000000, 2557 0x0000000000000000, 2558 0x0000000000000000, 2559 0x0000000000000000, 2560 0x0000000000000000, 2561 0x0000000000000000, 2562 0x0000000000000000, 2563 0x0000000000000000, 2564 0x0000000000000000, 2565 0x0000000000000000, 2566 0x0000000000000000, 2567 0x0000000000000000, 2568 0x0000000000000000, 2569 0x0000000000000000, 2570 0x0000000000000000, 2571 0x0000000000000000, 2572 0x0000000000000000, 2573 0x0000000000000000, 2574 0x0000000000000000, 2575 0x0000000000000000, 2576 0x0000000000000000, 2577 0x0000000000000000, 2578 0x0000000000000000, 2579 0x0000000000000000, 2580 0x0000000000000000, 2581 0x0000000000000000, 2582 0x0000000000000000, 2583 0x0000000000000000, 2584 0x0000000000000000, 2585 0x0000000000000000, 2586 0x0000000000000000, 2587 0x0000000000000000, 2588 0x0000000000000000, 2589 0x0000000000000000, 2590 0x0000000000000000, 2591 0x0000000000000000, 2592 0x0000000000000000, 2593 0x0000000000000000, 2594 0x0000000000000000, 2595 0x0000000000000000, 2596 0x0000000000000000, 2597 0x0000000000000000, 2598 }; 2599 const unsigned kExpectedCount_NEON_srshr_D_2OPIMM = 2560; 2600 2601 #endif // VIXL_SIM_SRSHR_D_2OPIMM_TRACE_AARCH64_H_ 2602
