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_SQSHL_D_2OPIMM_TRACE_AARCH64_H_ 35#define VIXL_SIM_SQSHL_D_2OPIMM_TRACE_AARCH64_H_ 36 37const uint64_t kExpected_NEON_sqshl_D_2OPIMM[] = { 38 0xffffffffffffffff, 39 0xfffffffffffffffe, 40 0xfffffffffffffffc, 41 0xfffffffffffffff8, 42 0xfffffffffffffff0, 43 0xffffffffffffffe0, 44 0xffffffffffffffc0, 45 0xffffffffffffff80, 46 0xffffffffffffff00, 47 0xfffffffffffffe00, 48 0xfffffffffffffc00, 49 0xfffffffffffff800, 50 0xfffffffffffff000, 51 0xffffffffffffe000, 52 0xffffffffffffc000, 53 0xffffffffffff8000, 54 0xffffffffffff0000, 55 0xfffffffffffe0000, 56 0xfffffffffffc0000, 57 0xfffffffffff80000, 58 0xfffffffffff00000, 59 0xffffffffffe00000, 60 0xffffffffffc00000, 61 0xffffffffff800000, 62 0xffffffffff000000, 63 0xfffffffffe000000, 64 0xfffffffffc000000, 65 0xfffffffff8000000, 66 0xfffffffff0000000, 67 0xffffffffe0000000, 68 0xffffffffc0000000, 69 0xffffffff80000000, 70 0xffffffff00000000, 71 0xfffffffe00000000, 72 0xfffffffc00000000, 73 0xfffffff800000000, 74 0xfffffff000000000, 75 0xffffffe000000000, 76 0xffffffc000000000, 77 0xffffff8000000000, 78 0xffffff0000000000, 79 0xfffffe0000000000, 80 0xfffffc0000000000, 81 0xfffff80000000000, 82 0xfffff00000000000, 83 0xffffe00000000000, 84 0xffffc00000000000, 85 0xffff800000000000, 86 0xffff000000000000, 87 0xfffe000000000000, 88 0xfffc000000000000, 89 0xfff8000000000000, 90 0xfff0000000000000, 91 0xffe0000000000000, 92 0xffc0000000000000, 93 0xff80000000000000, 94 0xff00000000000000, 95 0xfe00000000000000, 96 0xfc00000000000000, 97 0xf800000000000000, 98 0xf000000000000000, 99 0xe000000000000000, 100 0xc000000000000000, 101 0x8000000000000000, 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 0x0000000000000002, 168 0x0000000000000004, 169 0x0000000000000008, 170 0x0000000000000010, 171 0x0000000000000020, 172 0x0000000000000040, 173 0x0000000000000080, 174 0x0000000000000100, 175 0x0000000000000200, 176 0x0000000000000400, 177 0x0000000000000800, 178 0x0000000000001000, 179 0x0000000000002000, 180 0x0000000000004000, 181 0x0000000000008000, 182 0x0000000000010000, 183 0x0000000000020000, 184 0x0000000000040000, 185 0x0000000000080000, 186 0x0000000000100000, 187 0x0000000000200000, 188 0x0000000000400000, 189 0x0000000000800000, 190 0x0000000001000000, 191 0x0000000002000000, 192 0x0000000004000000, 193 0x0000000008000000, 194 0x0000000010000000, 195 0x0000000020000000, 196 0x0000000040000000, 197 0x0000000080000000, 198 0x0000000100000000, 199 0x0000000200000000, 200 0x0000000400000000, 201 0x0000000800000000, 202 0x0000001000000000, 203 0x0000002000000000, 204 0x0000004000000000, 205 0x0000008000000000, 206 0x0000010000000000, 207 0x0000020000000000, 208 0x0000040000000000, 209 0x0000080000000000, 210 0x0000100000000000, 211 0x0000200000000000, 212 0x0000400000000000, 213 0x0000800000000000, 214 0x0001000000000000, 215 0x0002000000000000, 216 0x0004000000000000, 217 0x0008000000000000, 218 0x0010000000000000, 219 0x0020000000000000, 220 0x0040000000000000, 221 0x0080000000000000, 222 0x0100000000000000, 223 0x0200000000000000, 224 0x0400000000000000, 225 0x0800000000000000, 226 0x1000000000000000, 227 0x2000000000000000, 228 0x4000000000000000, 229 0x7fffffffffffffff, 230 0x0000000000000002, 231 0x0000000000000004, 232 0x0000000000000008, 233 0x0000000000000010, 234 0x0000000000000020, 235 0x0000000000000040, 236 0x0000000000000080, 237 0x0000000000000100, 238 0x0000000000000200, 239 0x0000000000000400, 240 0x0000000000000800, 241 0x0000000000001000, 242 0x0000000000002000, 243 0x0000000000004000, 244 0x0000000000008000, 245 0x0000000000010000, 246 0x0000000000020000, 247 0x0000000000040000, 248 0x0000000000080000, 249 0x0000000000100000, 250 0x0000000000200000, 251 0x0000000000400000, 252 0x0000000000800000, 253 0x0000000001000000, 254 0x0000000002000000, 255 0x0000000004000000, 256 0x0000000008000000, 257 0x0000000010000000, 258 0x0000000020000000, 259 0x0000000040000000, 260 0x0000000080000000, 261 0x0000000100000000, 262 0x0000000200000000, 263 0x0000000400000000, 264 0x0000000800000000, 265 0x0000001000000000, 266 0x0000002000000000, 267 0x0000004000000000, 268 0x0000008000000000, 269 0x0000010000000000, 270 0x0000020000000000, 271 0x0000040000000000, 272 0x0000080000000000, 273 0x0000100000000000, 274 0x0000200000000000, 275 0x0000400000000000, 276 0x0000800000000000, 277 0x0001000000000000, 278 0x0002000000000000, 279 0x0004000000000000, 280 0x0008000000000000, 281 0x0010000000000000, 282 0x0020000000000000, 283 0x0040000000000000, 284 0x0080000000000000, 285 0x0100000000000000, 286 0x0200000000000000, 287 0x0400000000000000, 288 0x0800000000000000, 289 0x1000000000000000, 290 0x2000000000000000, 291 0x4000000000000000, 292 0x7fffffffffffffff, 293 0x7fffffffffffffff, 294 0x0000000000000040, 295 0x0000000000000080, 296 0x0000000000000100, 297 0x0000000000000200, 298 0x0000000000000400, 299 0x0000000000000800, 300 0x0000000000001000, 301 0x0000000000002000, 302 0x0000000000004000, 303 0x0000000000008000, 304 0x0000000000010000, 305 0x0000000000020000, 306 0x0000000000040000, 307 0x0000000000080000, 308 0x0000000000100000, 309 0x0000000000200000, 310 0x0000000000400000, 311 0x0000000000800000, 312 0x0000000001000000, 313 0x0000000002000000, 314 0x0000000004000000, 315 0x0000000008000000, 316 0x0000000010000000, 317 0x0000000020000000, 318 0x0000000040000000, 319 0x0000000080000000, 320 0x0000000100000000, 321 0x0000000200000000, 322 0x0000000400000000, 323 0x0000000800000000, 324 0x0000001000000000, 325 0x0000002000000000, 326 0x0000004000000000, 327 0x0000008000000000, 328 0x0000010000000000, 329 0x0000020000000000, 330 0x0000040000000000, 331 0x0000080000000000, 332 0x0000100000000000, 333 0x0000200000000000, 334 0x0000400000000000, 335 0x0000800000000000, 336 0x0001000000000000, 337 0x0002000000000000, 338 0x0004000000000000, 339 0x0008000000000000, 340 0x0010000000000000, 341 0x0020000000000000, 342 0x0040000000000000, 343 0x0080000000000000, 344 0x0100000000000000, 345 0x0200000000000000, 346 0x0400000000000000, 347 0x0800000000000000, 348 0x1000000000000000, 349 0x2000000000000000, 350 0x4000000000000000, 351 0x7fffffffffffffff, 352 0x7fffffffffffffff, 353 0x7fffffffffffffff, 354 0x7fffffffffffffff, 355 0x7fffffffffffffff, 356 0x7fffffffffffffff, 357 0x7fffffffffffffff, 358 0x000000000000007d, 359 0x00000000000000fa, 360 0x00000000000001f4, 361 0x00000000000003e8, 362 0x00000000000007d0, 363 0x0000000000000fa0, 364 0x0000000000001f40, 365 0x0000000000003e80, 366 0x0000000000007d00, 367 0x000000000000fa00, 368 0x000000000001f400, 369 0x000000000003e800, 370 0x000000000007d000, 371 0x00000000000fa000, 372 0x00000000001f4000, 373 0x00000000003e8000, 374 0x00000000007d0000, 375 0x0000000000fa0000, 376 0x0000000001f40000, 377 0x0000000003e80000, 378 0x0000000007d00000, 379 0x000000000fa00000, 380 0x000000001f400000, 381 0x000000003e800000, 382 0x000000007d000000, 383 0x00000000fa000000, 384 0x00000001f4000000, 385 0x00000003e8000000, 386 0x00000007d0000000, 387 0x0000000fa0000000, 388 0x0000001f40000000, 389 0x0000003e80000000, 390 0x0000007d00000000, 391 0x000000fa00000000, 392 0x000001f400000000, 393 0x000003e800000000, 394 0x000007d000000000, 395 0x00000fa000000000, 396 0x00001f4000000000, 397 0x00003e8000000000, 398 0x00007d0000000000, 399 0x0000fa0000000000, 400 0x0001f40000000000, 401 0x0003e80000000000, 402 0x0007d00000000000, 403 0x000fa00000000000, 404 0x001f400000000000, 405 0x003e800000000000, 406 0x007d000000000000, 407 0x00fa000000000000, 408 0x01f4000000000000, 409 0x03e8000000000000, 410 0x07d0000000000000, 411 0x0fa0000000000000, 412 0x1f40000000000000, 413 0x3e80000000000000, 414 0x7d00000000000000, 415 0x7fffffffffffffff, 416 0x7fffffffffffffff, 417 0x7fffffffffffffff, 418 0x7fffffffffffffff, 419 0x7fffffffffffffff, 420 0x7fffffffffffffff, 421 0x7fffffffffffffff, 422 0x000000000000007e, 423 0x00000000000000fc, 424 0x00000000000001f8, 425 0x00000000000003f0, 426 0x00000000000007e0, 427 0x0000000000000fc0, 428 0x0000000000001f80, 429 0x0000000000003f00, 430 0x0000000000007e00, 431 0x000000000000fc00, 432 0x000000000001f800, 433 0x000000000003f000, 434 0x000000000007e000, 435 0x00000000000fc000, 436 0x00000000001f8000, 437 0x00000000003f0000, 438 0x00000000007e0000, 439 0x0000000000fc0000, 440 0x0000000001f80000, 441 0x0000000003f00000, 442 0x0000000007e00000, 443 0x000000000fc00000, 444 0x000000001f800000, 445 0x000000003f000000, 446 0x000000007e000000, 447 0x00000000fc000000, 448 0x00000001f8000000, 449 0x00000003f0000000, 450 0x00000007e0000000, 451 0x0000000fc0000000, 452 0x0000001f80000000, 453 0x0000003f00000000, 454 0x0000007e00000000, 455 0x000000fc00000000, 456 0x000001f800000000, 457 0x000003f000000000, 458 0x000007e000000000, 459 0x00000fc000000000, 460 0x00001f8000000000, 461 0x00003f0000000000, 462 0x00007e0000000000, 463 0x0000fc0000000000, 464 0x0001f80000000000, 465 0x0003f00000000000, 466 0x0007e00000000000, 467 0x000fc00000000000, 468 0x001f800000000000, 469 0x003f000000000000, 470 0x007e000000000000, 471 0x00fc000000000000, 472 0x01f8000000000000, 473 0x03f0000000000000, 474 0x07e0000000000000, 475 0x0fc0000000000000, 476 0x1f80000000000000, 477 0x3f00000000000000, 478 0x7e00000000000000, 479 0x7fffffffffffffff, 480 0x7fffffffffffffff, 481 0x7fffffffffffffff, 482 0x7fffffffffffffff, 483 0x7fffffffffffffff, 484 0x7fffffffffffffff, 485 0x7fffffffffffffff, 486 0x000000000000007f, 487 0x00000000000000fe, 488 0x00000000000001fc, 489 0x00000000000003f8, 490 0x00000000000007f0, 491 0x0000000000000fe0, 492 0x0000000000001fc0, 493 0x0000000000003f80, 494 0x0000000000007f00, 495 0x000000000000fe00, 496 0x000000000001fc00, 497 0x000000000003f800, 498 0x000000000007f000, 499 0x00000000000fe000, 500 0x00000000001fc000, 501 0x00000000003f8000, 502 0x00000000007f0000, 503 0x0000000000fe0000, 504 0x0000000001fc0000, 505 0x0000000003f80000, 506 0x0000000007f00000, 507 0x000000000fe00000, 508 0x000000001fc00000, 509 0x000000003f800000, 510 0x000000007f000000, 511 0x00000000fe000000, 512 0x00000001fc000000, 513 0x00000003f8000000, 514 0x00000007f0000000, 515 0x0000000fe0000000, 516 0x0000001fc0000000, 517 0x0000003f80000000, 518 0x0000007f00000000, 519 0x000000fe00000000, 520 0x000001fc00000000, 521 0x000003f800000000, 522 0x000007f000000000, 523 0x00000fe000000000, 524 0x00001fc000000000, 525 0x00003f8000000000, 526 0x00007f0000000000, 527 0x0000fe0000000000, 528 0x0001fc0000000000, 529 0x0003f80000000000, 530 0x0007f00000000000, 531 0x000fe00000000000, 532 0x001fc00000000000, 533 0x003f800000000000, 534 0x007f000000000000, 535 0x00fe000000000000, 536 0x01fc000000000000, 537 0x03f8000000000000, 538 0x07f0000000000000, 539 0x0fe0000000000000, 540 0x1fc0000000000000, 541 0x3f80000000000000, 542 0x7f00000000000000, 543 0x7fffffffffffffff, 544 0x7fffffffffffffff, 545 0x7fffffffffffffff, 546 0x7fffffffffffffff, 547 0x7fffffffffffffff, 548 0x7fffffffffffffff, 549 0x7fffffffffffffff, 550 0x0000000000007ffd, 551 0x000000000000fffa, 552 0x000000000001fff4, 553 0x000000000003ffe8, 554 0x000000000007ffd0, 555 0x00000000000fffa0, 556 0x00000000001fff40, 557 0x00000000003ffe80, 558 0x00000000007ffd00, 559 0x0000000000fffa00, 560 0x0000000001fff400, 561 0x0000000003ffe800, 562 0x0000000007ffd000, 563 0x000000000fffa000, 564 0x000000001fff4000, 565 0x000000003ffe8000, 566 0x000000007ffd0000, 567 0x00000000fffa0000, 568 0x00000001fff40000, 569 0x00000003ffe80000, 570 0x00000007ffd00000, 571 0x0000000fffa00000, 572 0x0000001fff400000, 573 0x0000003ffe800000, 574 0x0000007ffd000000, 575 0x000000fffa000000, 576 0x000001fff4000000, 577 0x000003ffe8000000, 578 0x000007ffd0000000, 579 0x00000fffa0000000, 580 0x00001fff40000000, 581 0x00003ffe80000000, 582 0x00007ffd00000000, 583 0x0000fffa00000000, 584 0x0001fff400000000, 585 0x0003ffe800000000, 586 0x0007ffd000000000, 587 0x000fffa000000000, 588 0x001fff4000000000, 589 0x003ffe8000000000, 590 0x007ffd0000000000, 591 0x00fffa0000000000, 592 0x01fff40000000000, 593 0x03ffe80000000000, 594 0x07ffd00000000000, 595 0x0fffa00000000000, 596 0x1fff400000000000, 597 0x3ffe800000000000, 598 0x7ffd000000000000, 599 0x7fffffffffffffff, 600 0x7fffffffffffffff, 601 0x7fffffffffffffff, 602 0x7fffffffffffffff, 603 0x7fffffffffffffff, 604 0x7fffffffffffffff, 605 0x7fffffffffffffff, 606 0x7fffffffffffffff, 607 0x7fffffffffffffff, 608 0x7fffffffffffffff, 609 0x7fffffffffffffff, 610 0x7fffffffffffffff, 611 0x7fffffffffffffff, 612 0x7fffffffffffffff, 613 0x7fffffffffffffff, 614 0x0000000000007ffe, 615 0x000000000000fffc, 616 0x000000000001fff8, 617 0x000000000003fff0, 618 0x000000000007ffe0, 619 0x00000000000fffc0, 620 0x00000000001fff80, 621 0x00000000003fff00, 622 0x00000000007ffe00, 623 0x0000000000fffc00, 624 0x0000000001fff800, 625 0x0000000003fff000, 626 0x0000000007ffe000, 627 0x000000000fffc000, 628 0x000000001fff8000, 629 0x000000003fff0000, 630 0x000000007ffe0000, 631 0x00000000fffc0000, 632 0x00000001fff80000, 633 0x00000003fff00000, 634 0x00000007ffe00000, 635 0x0000000fffc00000, 636 0x0000001fff800000, 637 0x0000003fff000000, 638 0x0000007ffe000000, 639 0x000000fffc000000, 640 0x000001fff8000000, 641 0x000003fff0000000, 642 0x000007ffe0000000, 643 0x00000fffc0000000, 644 0x00001fff80000000, 645 0x00003fff00000000, 646 0x00007ffe00000000, 647 0x0000fffc00000000, 648 0x0001fff800000000, 649 0x0003fff000000000, 650 0x0007ffe000000000, 651 0x000fffc000000000, 652 0x001fff8000000000, 653 0x003fff0000000000, 654 0x007ffe0000000000, 655 0x00fffc0000000000, 656 0x01fff80000000000, 657 0x03fff00000000000, 658 0x07ffe00000000000, 659 0x0fffc00000000000, 660 0x1fff800000000000, 661 0x3fff000000000000, 662 0x7ffe000000000000, 663 0x7fffffffffffffff, 664 0x7fffffffffffffff, 665 0x7fffffffffffffff, 666 0x7fffffffffffffff, 667 0x7fffffffffffffff, 668 0x7fffffffffffffff, 669 0x7fffffffffffffff, 670 0x7fffffffffffffff, 671 0x7fffffffffffffff, 672 0x7fffffffffffffff, 673 0x7fffffffffffffff, 674 0x7fffffffffffffff, 675 0x7fffffffffffffff, 676 0x7fffffffffffffff, 677 0x7fffffffffffffff, 678 0x0000000000007fff, 679 0x000000000000fffe, 680 0x000000000001fffc, 681 0x000000000003fff8, 682 0x000000000007fff0, 683 0x00000000000fffe0, 684 0x00000000001fffc0, 685 0x00000000003fff80, 686 0x00000000007fff00, 687 0x0000000000fffe00, 688 0x0000000001fffc00, 689 0x0000000003fff800, 690 0x0000000007fff000, 691 0x000000000fffe000, 692 0x000000001fffc000, 693 0x000000003fff8000, 694 0x000000007fff0000, 695 0x00000000fffe0000, 696 0x00000001fffc0000, 697 0x00000003fff80000, 698 0x00000007fff00000, 699 0x0000000fffe00000, 700 0x0000001fffc00000, 701 0x0000003fff800000, 702 0x0000007fff000000, 703 0x000000fffe000000, 704 0x000001fffc000000, 705 0x000003fff8000000, 706 0x000007fff0000000, 707 0x00000fffe0000000, 708 0x00001fffc0000000, 709 0x00003fff80000000, 710 0x00007fff00000000, 711 0x0000fffe00000000, 712 0x0001fffc00000000, 713 0x0003fff800000000, 714 0x0007fff000000000, 715 0x000fffe000000000, 716 0x001fffc000000000, 717 0x003fff8000000000, 718 0x007fff0000000000, 719 0x00fffe0000000000, 720 0x01fffc0000000000, 721 0x03fff80000000000, 722 0x07fff00000000000, 723 0x0fffe00000000000, 724 0x1fffc00000000000, 725 0x3fff800000000000, 726 0x7fff000000000000, 727 0x7fffffffffffffff, 728 0x7fffffffffffffff, 729 0x7fffffffffffffff, 730 0x7fffffffffffffff, 731 0x7fffffffffffffff, 732 0x7fffffffffffffff, 733 0x7fffffffffffffff, 734 0x7fffffffffffffff, 735 0x7fffffffffffffff, 736 0x7fffffffffffffff, 737 0x7fffffffffffffff, 738 0x7fffffffffffffff, 739 0x7fffffffffffffff, 740 0x7fffffffffffffff, 741 0x7fffffffffffffff, 742 0x000000007ffffffd, 743 0x00000000fffffffa, 744 0x00000001fffffff4, 745 0x00000003ffffffe8, 746 0x00000007ffffffd0, 747 0x0000000fffffffa0, 748 0x0000001fffffff40, 749 0x0000003ffffffe80, 750 0x0000007ffffffd00, 751 0x000000fffffffa00, 752 0x000001fffffff400, 753 0x000003ffffffe800, 754 0x000007ffffffd000, 755 0x00000fffffffa000, 756 0x00001fffffff4000, 757 0x00003ffffffe8000, 758 0x00007ffffffd0000, 759 0x0000fffffffa0000, 760 0x0001fffffff40000, 761 0x0003ffffffe80000, 762 0x0007ffffffd00000, 763 0x000fffffffa00000, 764 0x001fffffff400000, 765 0x003ffffffe800000, 766 0x007ffffffd000000, 767 0x00fffffffa000000, 768 0x01fffffff4000000, 769 0x03ffffffe8000000, 770 0x07ffffffd0000000, 771 0x0fffffffa0000000, 772 0x1fffffff40000000, 773 0x3ffffffe80000000, 774 0x7ffffffd00000000, 775 0x7fffffffffffffff, 776 0x7fffffffffffffff, 777 0x7fffffffffffffff, 778 0x7fffffffffffffff, 779 0x7fffffffffffffff, 780 0x7fffffffffffffff, 781 0x7fffffffffffffff, 782 0x7fffffffffffffff, 783 0x7fffffffffffffff, 784 0x7fffffffffffffff, 785 0x7fffffffffffffff, 786 0x7fffffffffffffff, 787 0x7fffffffffffffff, 788 0x7fffffffffffffff, 789 0x7fffffffffffffff, 790 0x7fffffffffffffff, 791 0x7fffffffffffffff, 792 0x7fffffffffffffff, 793 0x7fffffffffffffff, 794 0x7fffffffffffffff, 795 0x7fffffffffffffff, 796 0x7fffffffffffffff, 797 0x7fffffffffffffff, 798 0x7fffffffffffffff, 799 0x7fffffffffffffff, 800 0x7fffffffffffffff, 801 0x7fffffffffffffff, 802 0x7fffffffffffffff, 803 0x7fffffffffffffff, 804 0x7fffffffffffffff, 805 0x7fffffffffffffff, 806 0x000000007ffffffe, 807 0x00000000fffffffc, 808 0x00000001fffffff8, 809 0x00000003fffffff0, 810 0x00000007ffffffe0, 811 0x0000000fffffffc0, 812 0x0000001fffffff80, 813 0x0000003fffffff00, 814 0x0000007ffffffe00, 815 0x000000fffffffc00, 816 0x000001fffffff800, 817 0x000003fffffff000, 818 0x000007ffffffe000, 819 0x00000fffffffc000, 820 0x00001fffffff8000, 821 0x00003fffffff0000, 822 0x00007ffffffe0000, 823 0x0000fffffffc0000, 824 0x0001fffffff80000, 825 0x0003fffffff00000, 826 0x0007ffffffe00000, 827 0x000fffffffc00000, 828 0x001fffffff800000, 829 0x003fffffff000000, 830 0x007ffffffe000000, 831 0x00fffffffc000000, 832 0x01fffffff8000000, 833 0x03fffffff0000000, 834 0x07ffffffe0000000, 835 0x0fffffffc0000000, 836 0x1fffffff80000000, 837 0x3fffffff00000000, 838 0x7ffffffe00000000, 839 0x7fffffffffffffff, 840 0x7fffffffffffffff, 841 0x7fffffffffffffff, 842 0x7fffffffffffffff, 843 0x7fffffffffffffff, 844 0x7fffffffffffffff, 845 0x7fffffffffffffff, 846 0x7fffffffffffffff, 847 0x7fffffffffffffff, 848 0x7fffffffffffffff, 849 0x7fffffffffffffff, 850 0x7fffffffffffffff, 851 0x7fffffffffffffff, 852 0x7fffffffffffffff, 853 0x7fffffffffffffff, 854 0x7fffffffffffffff, 855 0x7fffffffffffffff, 856 0x7fffffffffffffff, 857 0x7fffffffffffffff, 858 0x7fffffffffffffff, 859 0x7fffffffffffffff, 860 0x7fffffffffffffff, 861 0x7fffffffffffffff, 862 0x7fffffffffffffff, 863 0x7fffffffffffffff, 864 0x7fffffffffffffff, 865 0x7fffffffffffffff, 866 0x7fffffffffffffff, 867 0x7fffffffffffffff, 868 0x7fffffffffffffff, 869 0x7fffffffffffffff, 870 0x000000007fffffff, 871 0x00000000fffffffe, 872 0x00000001fffffffc, 873 0x00000003fffffff8, 874 0x00000007fffffff0, 875 0x0000000fffffffe0, 876 0x0000001fffffffc0, 877 0x0000003fffffff80, 878 0x0000007fffffff00, 879 0x000000fffffffe00, 880 0x000001fffffffc00, 881 0x000003fffffff800, 882 0x000007fffffff000, 883 0x00000fffffffe000, 884 0x00001fffffffc000, 885 0x00003fffffff8000, 886 0x00007fffffff0000, 887 0x0000fffffffe0000, 888 0x0001fffffffc0000, 889 0x0003fffffff80000, 890 0x0007fffffff00000, 891 0x000fffffffe00000, 892 0x001fffffffc00000, 893 0x003fffffff800000, 894 0x007fffffff000000, 895 0x00fffffffe000000, 896 0x01fffffffc000000, 897 0x03fffffff8000000, 898 0x07fffffff0000000, 899 0x0fffffffe0000000, 900 0x1fffffffc0000000, 901 0x3fffffff80000000, 902 0x7fffffff00000000, 903 0x7fffffffffffffff, 904 0x7fffffffffffffff, 905 0x7fffffffffffffff, 906 0x7fffffffffffffff, 907 0x7fffffffffffffff, 908 0x7fffffffffffffff, 909 0x7fffffffffffffff, 910 0x7fffffffffffffff, 911 0x7fffffffffffffff, 912 0x7fffffffffffffff, 913 0x7fffffffffffffff, 914 0x7fffffffffffffff, 915 0x7fffffffffffffff, 916 0x7fffffffffffffff, 917 0x7fffffffffffffff, 918 0x7fffffffffffffff, 919 0x7fffffffffffffff, 920 0x7fffffffffffffff, 921 0x7fffffffffffffff, 922 0x7fffffffffffffff, 923 0x7fffffffffffffff, 924 0x7fffffffffffffff, 925 0x7fffffffffffffff, 926 0x7fffffffffffffff, 927 0x7fffffffffffffff, 928 0x7fffffffffffffff, 929 0x7fffffffffffffff, 930 0x7fffffffffffffff, 931 0x7fffffffffffffff, 932 0x7fffffffffffffff, 933 0x7fffffffffffffff, 934 0x3333333333333333, 935 0x6666666666666666, 936 0x7fffffffffffffff, 937 0x7fffffffffffffff, 938 0x7fffffffffffffff, 939 0x7fffffffffffffff, 940 0x7fffffffffffffff, 941 0x7fffffffffffffff, 942 0x7fffffffffffffff, 943 0x7fffffffffffffff, 944 0x7fffffffffffffff, 945 0x7fffffffffffffff, 946 0x7fffffffffffffff, 947 0x7fffffffffffffff, 948 0x7fffffffffffffff, 949 0x7fffffffffffffff, 950 0x7fffffffffffffff, 951 0x7fffffffffffffff, 952 0x7fffffffffffffff, 953 0x7fffffffffffffff, 954 0x7fffffffffffffff, 955 0x7fffffffffffffff, 956 0x7fffffffffffffff, 957 0x7fffffffffffffff, 958 0x7fffffffffffffff, 959 0x7fffffffffffffff, 960 0x7fffffffffffffff, 961 0x7fffffffffffffff, 962 0x7fffffffffffffff, 963 0x7fffffffffffffff, 964 0x7fffffffffffffff, 965 0x7fffffffffffffff, 966 0x7fffffffffffffff, 967 0x7fffffffffffffff, 968 0x7fffffffffffffff, 969 0x7fffffffffffffff, 970 0x7fffffffffffffff, 971 0x7fffffffffffffff, 972 0x7fffffffffffffff, 973 0x7fffffffffffffff, 974 0x7fffffffffffffff, 975 0x7fffffffffffffff, 976 0x7fffffffffffffff, 977 0x7fffffffffffffff, 978 0x7fffffffffffffff, 979 0x7fffffffffffffff, 980 0x7fffffffffffffff, 981 0x7fffffffffffffff, 982 0x7fffffffffffffff, 983 0x7fffffffffffffff, 984 0x7fffffffffffffff, 985 0x7fffffffffffffff, 986 0x7fffffffffffffff, 987 0x7fffffffffffffff, 988 0x7fffffffffffffff, 989 0x7fffffffffffffff, 990 0x7fffffffffffffff, 991 0x7fffffffffffffff, 992 0x7fffffffffffffff, 993 0x7fffffffffffffff, 994 0x7fffffffffffffff, 995 0x7fffffffffffffff, 996 0x7fffffffffffffff, 997 0x7fffffffffffffff, 998 0x5555555555555555, 999 0x7fffffffffffffff, 1000 0x7fffffffffffffff, 1001 0x7fffffffffffffff, 1002 0x7fffffffffffffff, 1003 0x7fffffffffffffff, 1004 0x7fffffffffffffff, 1005 0x7fffffffffffffff, 1006 0x7fffffffffffffff, 1007 0x7fffffffffffffff, 1008 0x7fffffffffffffff, 1009 0x7fffffffffffffff, 1010 0x7fffffffffffffff, 1011 0x7fffffffffffffff, 1012 0x7fffffffffffffff, 1013 0x7fffffffffffffff, 1014 0x7fffffffffffffff, 1015 0x7fffffffffffffff, 1016 0x7fffffffffffffff, 1017 0x7fffffffffffffff, 1018 0x7fffffffffffffff, 1019 0x7fffffffffffffff, 1020 0x7fffffffffffffff, 1021 0x7fffffffffffffff, 1022 0x7fffffffffffffff, 1023 0x7fffffffffffffff, 1024 0x7fffffffffffffff, 1025 0x7fffffffffffffff, 1026 0x7fffffffffffffff, 1027 0x7fffffffffffffff, 1028 0x7fffffffffffffff, 1029 0x7fffffffffffffff, 1030 0x7fffffffffffffff, 1031 0x7fffffffffffffff, 1032 0x7fffffffffffffff, 1033 0x7fffffffffffffff, 1034 0x7fffffffffffffff, 1035 0x7fffffffffffffff, 1036 0x7fffffffffffffff, 1037 0x7fffffffffffffff, 1038 0x7fffffffffffffff, 1039 0x7fffffffffffffff, 1040 0x7fffffffffffffff, 1041 0x7fffffffffffffff, 1042 0x7fffffffffffffff, 1043 0x7fffffffffffffff, 1044 0x7fffffffffffffff, 1045 0x7fffffffffffffff, 1046 0x7fffffffffffffff, 1047 0x7fffffffffffffff, 1048 0x7fffffffffffffff, 1049 0x7fffffffffffffff, 1050 0x7fffffffffffffff, 1051 0x7fffffffffffffff, 1052 0x7fffffffffffffff, 1053 0x7fffffffffffffff, 1054 0x7fffffffffffffff, 1055 0x7fffffffffffffff, 1056 0x7fffffffffffffff, 1057 0x7fffffffffffffff, 1058 0x7fffffffffffffff, 1059 0x7fffffffffffffff, 1060 0x7fffffffffffffff, 1061 0x7fffffffffffffff, 1062 0x7ffffffffffffffd, 1063 0x7fffffffffffffff, 1064 0x7fffffffffffffff, 1065 0x7fffffffffffffff, 1066 0x7fffffffffffffff, 1067 0x7fffffffffffffff, 1068 0x7fffffffffffffff, 1069 0x7fffffffffffffff, 1070 0x7fffffffffffffff, 1071 0x7fffffffffffffff, 1072 0x7fffffffffffffff, 1073 0x7fffffffffffffff, 1074 0x7fffffffffffffff, 1075 0x7fffffffffffffff, 1076 0x7fffffffffffffff, 1077 0x7fffffffffffffff, 1078 0x7fffffffffffffff, 1079 0x7fffffffffffffff, 1080 0x7fffffffffffffff, 1081 0x7fffffffffffffff, 1082 0x7fffffffffffffff, 1083 0x7fffffffffffffff, 1084 0x7fffffffffffffff, 1085 0x7fffffffffffffff, 1086 0x7fffffffffffffff, 1087 0x7fffffffffffffff, 1088 0x7fffffffffffffff, 1089 0x7fffffffffffffff, 1090 0x7fffffffffffffff, 1091 0x7fffffffffffffff, 1092 0x7fffffffffffffff, 1093 0x7fffffffffffffff, 1094 0x7fffffffffffffff, 1095 0x7fffffffffffffff, 1096 0x7fffffffffffffff, 1097 0x7fffffffffffffff, 1098 0x7fffffffffffffff, 1099 0x7fffffffffffffff, 1100 0x7fffffffffffffff, 1101 0x7fffffffffffffff, 1102 0x7fffffffffffffff, 1103 0x7fffffffffffffff, 1104 0x7fffffffffffffff, 1105 0x7fffffffffffffff, 1106 0x7fffffffffffffff, 1107 0x7fffffffffffffff, 1108 0x7fffffffffffffff, 1109 0x7fffffffffffffff, 1110 0x7fffffffffffffff, 1111 0x7fffffffffffffff, 1112 0x7fffffffffffffff, 1113 0x7fffffffffffffff, 1114 0x7fffffffffffffff, 1115 0x7fffffffffffffff, 1116 0x7fffffffffffffff, 1117 0x7fffffffffffffff, 1118 0x7fffffffffffffff, 1119 0x7fffffffffffffff, 1120 0x7fffffffffffffff, 1121 0x7fffffffffffffff, 1122 0x7fffffffffffffff, 1123 0x7fffffffffffffff, 1124 0x7fffffffffffffff, 1125 0x7fffffffffffffff, 1126 0x7ffffffffffffffe, 1127 0x7fffffffffffffff, 1128 0x7fffffffffffffff, 1129 0x7fffffffffffffff, 1130 0x7fffffffffffffff, 1131 0x7fffffffffffffff, 1132 0x7fffffffffffffff, 1133 0x7fffffffffffffff, 1134 0x7fffffffffffffff, 1135 0x7fffffffffffffff, 1136 0x7fffffffffffffff, 1137 0x7fffffffffffffff, 1138 0x7fffffffffffffff, 1139 0x7fffffffffffffff, 1140 0x7fffffffffffffff, 1141 0x7fffffffffffffff, 1142 0x7fffffffffffffff, 1143 0x7fffffffffffffff, 1144 0x7fffffffffffffff, 1145 0x7fffffffffffffff, 1146 0x7fffffffffffffff, 1147 0x7fffffffffffffff, 1148 0x7fffffffffffffff, 1149 0x7fffffffffffffff, 1150 0x7fffffffffffffff, 1151 0x7fffffffffffffff, 1152 0x7fffffffffffffff, 1153 0x7fffffffffffffff, 1154 0x7fffffffffffffff, 1155 0x7fffffffffffffff, 1156 0x7fffffffffffffff, 1157 0x7fffffffffffffff, 1158 0x7fffffffffffffff, 1159 0x7fffffffffffffff, 1160 0x7fffffffffffffff, 1161 0x7fffffffffffffff, 1162 0x7fffffffffffffff, 1163 0x7fffffffffffffff, 1164 0x7fffffffffffffff, 1165 0x7fffffffffffffff, 1166 0x7fffffffffffffff, 1167 0x7fffffffffffffff, 1168 0x7fffffffffffffff, 1169 0x7fffffffffffffff, 1170 0x7fffffffffffffff, 1171 0x7fffffffffffffff, 1172 0x7fffffffffffffff, 1173 0x7fffffffffffffff, 1174 0x7fffffffffffffff, 1175 0x7fffffffffffffff, 1176 0x7fffffffffffffff, 1177 0x7fffffffffffffff, 1178 0x7fffffffffffffff, 1179 0x7fffffffffffffff, 1180 0x7fffffffffffffff, 1181 0x7fffffffffffffff, 1182 0x7fffffffffffffff, 1183 0x7fffffffffffffff, 1184 0x7fffffffffffffff, 1185 0x7fffffffffffffff, 1186 0x7fffffffffffffff, 1187 0x7fffffffffffffff, 1188 0x7fffffffffffffff, 1189 0x7fffffffffffffff, 1190 0x7fffffffffffffff, 1191 0x7fffffffffffffff, 1192 0x7fffffffffffffff, 1193 0x7fffffffffffffff, 1194 0x7fffffffffffffff, 1195 0x7fffffffffffffff, 1196 0x7fffffffffffffff, 1197 0x7fffffffffffffff, 1198 0x7fffffffffffffff, 1199 0x7fffffffffffffff, 1200 0x7fffffffffffffff, 1201 0x7fffffffffffffff, 1202 0x7fffffffffffffff, 1203 0x7fffffffffffffff, 1204 0x7fffffffffffffff, 1205 0x7fffffffffffffff, 1206 0x7fffffffffffffff, 1207 0x7fffffffffffffff, 1208 0x7fffffffffffffff, 1209 0x7fffffffffffffff, 1210 0x7fffffffffffffff, 1211 0x7fffffffffffffff, 1212 0x7fffffffffffffff, 1213 0x7fffffffffffffff, 1214 0x7fffffffffffffff, 1215 0x7fffffffffffffff, 1216 0x7fffffffffffffff, 1217 0x7fffffffffffffff, 1218 0x7fffffffffffffff, 1219 0x7fffffffffffffff, 1220 0x7fffffffffffffff, 1221 0x7fffffffffffffff, 1222 0x7fffffffffffffff, 1223 0x7fffffffffffffff, 1224 0x7fffffffffffffff, 1225 0x7fffffffffffffff, 1226 0x7fffffffffffffff, 1227 0x7fffffffffffffff, 1228 0x7fffffffffffffff, 1229 0x7fffffffffffffff, 1230 0x7fffffffffffffff, 1231 0x7fffffffffffffff, 1232 0x7fffffffffffffff, 1233 0x7fffffffffffffff, 1234 0x7fffffffffffffff, 1235 0x7fffffffffffffff, 1236 0x7fffffffffffffff, 1237 0x7fffffffffffffff, 1238 0x7fffffffffffffff, 1239 0x7fffffffffffffff, 1240 0x7fffffffffffffff, 1241 0x7fffffffffffffff, 1242 0x7fffffffffffffff, 1243 0x7fffffffffffffff, 1244 0x7fffffffffffffff, 1245 0x7fffffffffffffff, 1246 0x7fffffffffffffff, 1247 0x7fffffffffffffff, 1248 0x7fffffffffffffff, 1249 0x7fffffffffffffff, 1250 0x7fffffffffffffff, 1251 0x7fffffffffffffff, 1252 0x7fffffffffffffff, 1253 0x7fffffffffffffff, 1254 0x8000000000000000, 1255 0x8000000000000000, 1256 0x8000000000000000, 1257 0x8000000000000000, 1258 0x8000000000000000, 1259 0x8000000000000000, 1260 0x8000000000000000, 1261 0x8000000000000000, 1262 0x8000000000000000, 1263 0x8000000000000000, 1264 0x8000000000000000, 1265 0x8000000000000000, 1266 0x8000000000000000, 1267 0x8000000000000000, 1268 0x8000000000000000, 1269 0x8000000000000000, 1270 0x8000000000000000, 1271 0x8000000000000000, 1272 0x8000000000000000, 1273 0x8000000000000000, 1274 0x8000000000000000, 1275 0x8000000000000000, 1276 0x8000000000000000, 1277 0x8000000000000000, 1278 0x8000000000000000, 1279 0x8000000000000000, 1280 0x8000000000000000, 1281 0x8000000000000000, 1282 0x8000000000000000, 1283 0x8000000000000000, 1284 0x8000000000000000, 1285 0x8000000000000000, 1286 0x8000000000000000, 1287 0x8000000000000000, 1288 0x8000000000000000, 1289 0x8000000000000000, 1290 0x8000000000000000, 1291 0x8000000000000000, 1292 0x8000000000000000, 1293 0x8000000000000000, 1294 0x8000000000000000, 1295 0x8000000000000000, 1296 0x8000000000000000, 1297 0x8000000000000000, 1298 0x8000000000000000, 1299 0x8000000000000000, 1300 0x8000000000000000, 1301 0x8000000000000000, 1302 0x8000000000000000, 1303 0x8000000000000000, 1304 0x8000000000000000, 1305 0x8000000000000000, 1306 0x8000000000000000, 1307 0x8000000000000000, 1308 0x8000000000000000, 1309 0x8000000000000000, 1310 0x8000000000000000, 1311 0x8000000000000000, 1312 0x8000000000000000, 1313 0x8000000000000000, 1314 0x8000000000000000, 1315 0x8000000000000000, 1316 0x8000000000000000, 1317 0x8000000000000000, 1318 0x8000000000000001, 1319 0x8000000000000000, 1320 0x8000000000000000, 1321 0x8000000000000000, 1322 0x8000000000000000, 1323 0x8000000000000000, 1324 0x8000000000000000, 1325 0x8000000000000000, 1326 0x8000000000000000, 1327 0x8000000000000000, 1328 0x8000000000000000, 1329 0x8000000000000000, 1330 0x8000000000000000, 1331 0x8000000000000000, 1332 0x8000000000000000, 1333 0x8000000000000000, 1334 0x8000000000000000, 1335 0x8000000000000000, 1336 0x8000000000000000, 1337 0x8000000000000000, 1338 0x8000000000000000, 1339 0x8000000000000000, 1340 0x8000000000000000, 1341 0x8000000000000000, 1342 0x8000000000000000, 1343 0x8000000000000000, 1344 0x8000000000000000, 1345 0x8000000000000000, 1346 0x8000000000000000, 1347 0x8000000000000000, 1348 0x8000000000000000, 1349 0x8000000000000000, 1350 0x8000000000000000, 1351 0x8000000000000000, 1352 0x8000000000000000, 1353 0x8000000000000000, 1354 0x8000000000000000, 1355 0x8000000000000000, 1356 0x8000000000000000, 1357 0x8000000000000000, 1358 0x8000000000000000, 1359 0x8000000000000000, 1360 0x8000000000000000, 1361 0x8000000000000000, 1362 0x8000000000000000, 1363 0x8000000000000000, 1364 0x8000000000000000, 1365 0x8000000000000000, 1366 0x8000000000000000, 1367 0x8000000000000000, 1368 0x8000000000000000, 1369 0x8000000000000000, 1370 0x8000000000000000, 1371 0x8000000000000000, 1372 0x8000000000000000, 1373 0x8000000000000000, 1374 0x8000000000000000, 1375 0x8000000000000000, 1376 0x8000000000000000, 1377 0x8000000000000000, 1378 0x8000000000000000, 1379 0x8000000000000000, 1380 0x8000000000000000, 1381 0x8000000000000000, 1382 0x8000000000000002, 1383 0x8000000000000000, 1384 0x8000000000000000, 1385 0x8000000000000000, 1386 0x8000000000000000, 1387 0x8000000000000000, 1388 0x8000000000000000, 1389 0x8000000000000000, 1390 0x8000000000000000, 1391 0x8000000000000000, 1392 0x8000000000000000, 1393 0x8000000000000000, 1394 0x8000000000000000, 1395 0x8000000000000000, 1396 0x8000000000000000, 1397 0x8000000000000000, 1398 0x8000000000000000, 1399 0x8000000000000000, 1400 0x8000000000000000, 1401 0x8000000000000000, 1402 0x8000000000000000, 1403 0x8000000000000000, 1404 0x8000000000000000, 1405 0x8000000000000000, 1406 0x8000000000000000, 1407 0x8000000000000000, 1408 0x8000000000000000, 1409 0x8000000000000000, 1410 0x8000000000000000, 1411 0x8000000000000000, 1412 0x8000000000000000, 1413 0x8000000000000000, 1414 0x8000000000000000, 1415 0x8000000000000000, 1416 0x8000000000000000, 1417 0x8000000000000000, 1418 0x8000000000000000, 1419 0x8000000000000000, 1420 0x8000000000000000, 1421 0x8000000000000000, 1422 0x8000000000000000, 1423 0x8000000000000000, 1424 0x8000000000000000, 1425 0x8000000000000000, 1426 0x8000000000000000, 1427 0x8000000000000000, 1428 0x8000000000000000, 1429 0x8000000000000000, 1430 0x8000000000000000, 1431 0x8000000000000000, 1432 0x8000000000000000, 1433 0x8000000000000000, 1434 0x8000000000000000, 1435 0x8000000000000000, 1436 0x8000000000000000, 1437 0x8000000000000000, 1438 0x8000000000000000, 1439 0x8000000000000000, 1440 0x8000000000000000, 1441 0x8000000000000000, 1442 0x8000000000000000, 1443 0x8000000000000000, 1444 0x8000000000000000, 1445 0x8000000000000000, 1446 0x8000000000000003, 1447 0x8000000000000000, 1448 0x8000000000000000, 1449 0x8000000000000000, 1450 0x8000000000000000, 1451 0x8000000000000000, 1452 0x8000000000000000, 1453 0x8000000000000000, 1454 0x8000000000000000, 1455 0x8000000000000000, 1456 0x8000000000000000, 1457 0x8000000000000000, 1458 0x8000000000000000, 1459 0x8000000000000000, 1460 0x8000000000000000, 1461 0x8000000000000000, 1462 0x8000000000000000, 1463 0x8000000000000000, 1464 0x8000000000000000, 1465 0x8000000000000000, 1466 0x8000000000000000, 1467 0x8000000000000000, 1468 0x8000000000000000, 1469 0x8000000000000000, 1470 0x8000000000000000, 1471 0x8000000000000000, 1472 0x8000000000000000, 1473 0x8000000000000000, 1474 0x8000000000000000, 1475 0x8000000000000000, 1476 0x8000000000000000, 1477 0x8000000000000000, 1478 0x8000000000000000, 1479 0x8000000000000000, 1480 0x8000000000000000, 1481 0x8000000000000000, 1482 0x8000000000000000, 1483 0x8000000000000000, 1484 0x8000000000000000, 1485 0x8000000000000000, 1486 0x8000000000000000, 1487 0x8000000000000000, 1488 0x8000000000000000, 1489 0x8000000000000000, 1490 0x8000000000000000, 1491 0x8000000000000000, 1492 0x8000000000000000, 1493 0x8000000000000000, 1494 0x8000000000000000, 1495 0x8000000000000000, 1496 0x8000000000000000, 1497 0x8000000000000000, 1498 0x8000000000000000, 1499 0x8000000000000000, 1500 0x8000000000000000, 1501 0x8000000000000000, 1502 0x8000000000000000, 1503 0x8000000000000000, 1504 0x8000000000000000, 1505 0x8000000000000000, 1506 0x8000000000000000, 1507 0x8000000000000000, 1508 0x8000000000000000, 1509 0x8000000000000000, 1510 0xaaaaaaaaaaaaaaaa, 1511 0x8000000000000000, 1512 0x8000000000000000, 1513 0x8000000000000000, 1514 0x8000000000000000, 1515 0x8000000000000000, 1516 0x8000000000000000, 1517 0x8000000000000000, 1518 0x8000000000000000, 1519 0x8000000000000000, 1520 0x8000000000000000, 1521 0x8000000000000000, 1522 0x8000000000000000, 1523 0x8000000000000000, 1524 0x8000000000000000, 1525 0x8000000000000000, 1526 0x8000000000000000, 1527 0x8000000000000000, 1528 0x8000000000000000, 1529 0x8000000000000000, 1530 0x8000000000000000, 1531 0x8000000000000000, 1532 0x8000000000000000, 1533 0x8000000000000000, 1534 0x8000000000000000, 1535 0x8000000000000000, 1536 0x8000000000000000, 1537 0x8000000000000000, 1538 0x8000000000000000, 1539 0x8000000000000000, 1540 0x8000000000000000, 1541 0x8000000000000000, 1542 0x8000000000000000, 1543 0x8000000000000000, 1544 0x8000000000000000, 1545 0x8000000000000000, 1546 0x8000000000000000, 1547 0x8000000000000000, 1548 0x8000000000000000, 1549 0x8000000000000000, 1550 0x8000000000000000, 1551 0x8000000000000000, 1552 0x8000000000000000, 1553 0x8000000000000000, 1554 0x8000000000000000, 1555 0x8000000000000000, 1556 0x8000000000000000, 1557 0x8000000000000000, 1558 0x8000000000000000, 1559 0x8000000000000000, 1560 0x8000000000000000, 1561 0x8000000000000000, 1562 0x8000000000000000, 1563 0x8000000000000000, 1564 0x8000000000000000, 1565 0x8000000000000000, 1566 0x8000000000000000, 1567 0x8000000000000000, 1568 0x8000000000000000, 1569 0x8000000000000000, 1570 0x8000000000000000, 1571 0x8000000000000000, 1572 0x8000000000000000, 1573 0x8000000000000000, 1574 0xcccccccccccccccc, 1575 0x9999999999999998, 1576 0x8000000000000000, 1577 0x8000000000000000, 1578 0x8000000000000000, 1579 0x8000000000000000, 1580 0x8000000000000000, 1581 0x8000000000000000, 1582 0x8000000000000000, 1583 0x8000000000000000, 1584 0x8000000000000000, 1585 0x8000000000000000, 1586 0x8000000000000000, 1587 0x8000000000000000, 1588 0x8000000000000000, 1589 0x8000000000000000, 1590 0x8000000000000000, 1591 0x8000000000000000, 1592 0x8000000000000000, 1593 0x8000000000000000, 1594 0x8000000000000000, 1595 0x8000000000000000, 1596 0x8000000000000000, 1597 0x8000000000000000, 1598 0x8000000000000000, 1599 0x8000000000000000, 1600 0x8000000000000000, 1601 0x8000000000000000, 1602 0x8000000000000000, 1603 0x8000000000000000, 1604 0x8000000000000000, 1605 0x8000000000000000, 1606 0x8000000000000000, 1607 0x8000000000000000, 1608 0x8000000000000000, 1609 0x8000000000000000, 1610 0x8000000000000000, 1611 0x8000000000000000, 1612 0x8000000000000000, 1613 0x8000000000000000, 1614 0x8000000000000000, 1615 0x8000000000000000, 1616 0x8000000000000000, 1617 0x8000000000000000, 1618 0x8000000000000000, 1619 0x8000000000000000, 1620 0x8000000000000000, 1621 0x8000000000000000, 1622 0x8000000000000000, 1623 0x8000000000000000, 1624 0x8000000000000000, 1625 0x8000000000000000, 1626 0x8000000000000000, 1627 0x8000000000000000, 1628 0x8000000000000000, 1629 0x8000000000000000, 1630 0x8000000000000000, 1631 0x8000000000000000, 1632 0x8000000000000000, 1633 0x8000000000000000, 1634 0x8000000000000000, 1635 0x8000000000000000, 1636 0x8000000000000000, 1637 0x8000000000000000, 1638 0xffffffff80000000, 1639 0xffffffff00000000, 1640 0xfffffffe00000000, 1641 0xfffffffc00000000, 1642 0xfffffff800000000, 1643 0xfffffff000000000, 1644 0xffffffe000000000, 1645 0xffffffc000000000, 1646 0xffffff8000000000, 1647 0xffffff0000000000, 1648 0xfffffe0000000000, 1649 0xfffffc0000000000, 1650 0xfffff80000000000, 1651 0xfffff00000000000, 1652 0xffffe00000000000, 1653 0xffffc00000000000, 1654 0xffff800000000000, 1655 0xffff000000000000, 1656 0xfffe000000000000, 1657 0xfffc000000000000, 1658 0xfff8000000000000, 1659 0xfff0000000000000, 1660 0xffe0000000000000, 1661 0xffc0000000000000, 1662 0xff80000000000000, 1663 0xff00000000000000, 1664 0xfe00000000000000, 1665 0xfc00000000000000, 1666 0xf800000000000000, 1667 0xf000000000000000, 1668 0xe000000000000000, 1669 0xc000000000000000, 1670 0x8000000000000000, 1671 0x8000000000000000, 1672 0x8000000000000000, 1673 0x8000000000000000, 1674 0x8000000000000000, 1675 0x8000000000000000, 1676 0x8000000000000000, 1677 0x8000000000000000, 1678 0x8000000000000000, 1679 0x8000000000000000, 1680 0x8000000000000000, 1681 0x8000000000000000, 1682 0x8000000000000000, 1683 0x8000000000000000, 1684 0x8000000000000000, 1685 0x8000000000000000, 1686 0x8000000000000000, 1687 0x8000000000000000, 1688 0x8000000000000000, 1689 0x8000000000000000, 1690 0x8000000000000000, 1691 0x8000000000000000, 1692 0x8000000000000000, 1693 0x8000000000000000, 1694 0x8000000000000000, 1695 0x8000000000000000, 1696 0x8000000000000000, 1697 0x8000000000000000, 1698 0x8000000000000000, 1699 0x8000000000000000, 1700 0x8000000000000000, 1701 0x8000000000000000, 1702 0xffffffff80000001, 1703 0xffffffff00000002, 1704 0xfffffffe00000004, 1705 0xfffffffc00000008, 1706 0xfffffff800000010, 1707 0xfffffff000000020, 1708 0xffffffe000000040, 1709 0xffffffc000000080, 1710 0xffffff8000000100, 1711 0xffffff0000000200, 1712 0xfffffe0000000400, 1713 0xfffffc0000000800, 1714 0xfffff80000001000, 1715 0xfffff00000002000, 1716 0xffffe00000004000, 1717 0xffffc00000008000, 1718 0xffff800000010000, 1719 0xffff000000020000, 1720 0xfffe000000040000, 1721 0xfffc000000080000, 1722 0xfff8000000100000, 1723 0xfff0000000200000, 1724 0xffe0000000400000, 1725 0xffc0000000800000, 1726 0xff80000001000000, 1727 0xff00000002000000, 1728 0xfe00000004000000, 1729 0xfc00000008000000, 1730 0xf800000010000000, 1731 0xf000000020000000, 1732 0xe000000040000000, 1733 0xc000000080000000, 1734 0x8000000100000000, 1735 0x8000000000000000, 1736 0x8000000000000000, 1737 0x8000000000000000, 1738 0x8000000000000000, 1739 0x8000000000000000, 1740 0x8000000000000000, 1741 0x8000000000000000, 1742 0x8000000000000000, 1743 0x8000000000000000, 1744 0x8000000000000000, 1745 0x8000000000000000, 1746 0x8000000000000000, 1747 0x8000000000000000, 1748 0x8000000000000000, 1749 0x8000000000000000, 1750 0x8000000000000000, 1751 0x8000000000000000, 1752 0x8000000000000000, 1753 0x8000000000000000, 1754 0x8000000000000000, 1755 0x8000000000000000, 1756 0x8000000000000000, 1757 0x8000000000000000, 1758 0x8000000000000000, 1759 0x8000000000000000, 1760 0x8000000000000000, 1761 0x8000000000000000, 1762 0x8000000000000000, 1763 0x8000000000000000, 1764 0x8000000000000000, 1765 0x8000000000000000, 1766 0xffffffff80000002, 1767 0xffffffff00000004, 1768 0xfffffffe00000008, 1769 0xfffffffc00000010, 1770 0xfffffff800000020, 1771 0xfffffff000000040, 1772 0xffffffe000000080, 1773 0xffffffc000000100, 1774 0xffffff8000000200, 1775 0xffffff0000000400, 1776 0xfffffe0000000800, 1777 0xfffffc0000001000, 1778 0xfffff80000002000, 1779 0xfffff00000004000, 1780 0xffffe00000008000, 1781 0xffffc00000010000, 1782 0xffff800000020000, 1783 0xffff000000040000, 1784 0xfffe000000080000, 1785 0xfffc000000100000, 1786 0xfff8000000200000, 1787 0xfff0000000400000, 1788 0xffe0000000800000, 1789 0xffc0000001000000, 1790 0xff80000002000000, 1791 0xff00000004000000, 1792 0xfe00000008000000, 1793 0xfc00000010000000, 1794 0xf800000020000000, 1795 0xf000000040000000, 1796 0xe000000080000000, 1797 0xc000000100000000, 1798 0x8000000200000000, 1799 0x8000000000000000, 1800 0x8000000000000000, 1801 0x8000000000000000, 1802 0x8000000000000000, 1803 0x8000000000000000, 1804 0x8000000000000000, 1805 0x8000000000000000, 1806 0x8000000000000000, 1807 0x8000000000000000, 1808 0x8000000000000000, 1809 0x8000000000000000, 1810 0x8000000000000000, 1811 0x8000000000000000, 1812 0x8000000000000000, 1813 0x8000000000000000, 1814 0x8000000000000000, 1815 0x8000000000000000, 1816 0x8000000000000000, 1817 0x8000000000000000, 1818 0x8000000000000000, 1819 0x8000000000000000, 1820 0x8000000000000000, 1821 0x8000000000000000, 1822 0x8000000000000000, 1823 0x8000000000000000, 1824 0x8000000000000000, 1825 0x8000000000000000, 1826 0x8000000000000000, 1827 0x8000000000000000, 1828 0x8000000000000000, 1829 0x8000000000000000, 1830 0xffffffff80000003, 1831 0xffffffff00000006, 1832 0xfffffffe0000000c, 1833 0xfffffffc00000018, 1834 0xfffffff800000030, 1835 0xfffffff000000060, 1836 0xffffffe0000000c0, 1837 0xffffffc000000180, 1838 0xffffff8000000300, 1839 0xffffff0000000600, 1840 0xfffffe0000000c00, 1841 0xfffffc0000001800, 1842 0xfffff80000003000, 1843 0xfffff00000006000, 1844 0xffffe0000000c000, 1845 0xffffc00000018000, 1846 0xffff800000030000, 1847 0xffff000000060000, 1848 0xfffe0000000c0000, 1849 0xfffc000000180000, 1850 0xfff8000000300000, 1851 0xfff0000000600000, 1852 0xffe0000000c00000, 1853 0xffc0000001800000, 1854 0xff80000003000000, 1855 0xff00000006000000, 1856 0xfe0000000c000000, 1857 0xfc00000018000000, 1858 0xf800000030000000, 1859 0xf000000060000000, 1860 0xe0000000c0000000, 1861 0xc000000180000000, 1862 0x8000000300000000, 1863 0x8000000000000000, 1864 0x8000000000000000, 1865 0x8000000000000000, 1866 0x8000000000000000, 1867 0x8000000000000000, 1868 0x8000000000000000, 1869 0x8000000000000000, 1870 0x8000000000000000, 1871 0x8000000000000000, 1872 0x8000000000000000, 1873 0x8000000000000000, 1874 0x8000000000000000, 1875 0x8000000000000000, 1876 0x8000000000000000, 1877 0x8000000000000000, 1878 0x8000000000000000, 1879 0x8000000000000000, 1880 0x8000000000000000, 1881 0x8000000000000000, 1882 0x8000000000000000, 1883 0x8000000000000000, 1884 0x8000000000000000, 1885 0x8000000000000000, 1886 0x8000000000000000, 1887 0x8000000000000000, 1888 0x8000000000000000, 1889 0x8000000000000000, 1890 0x8000000000000000, 1891 0x8000000000000000, 1892 0x8000000000000000, 1893 0x8000000000000000, 1894 0xffffffffffff8000, 1895 0xffffffffffff0000, 1896 0xfffffffffffe0000, 1897 0xfffffffffffc0000, 1898 0xfffffffffff80000, 1899 0xfffffffffff00000, 1900 0xffffffffffe00000, 1901 0xffffffffffc00000, 1902 0xffffffffff800000, 1903 0xffffffffff000000, 1904 0xfffffffffe000000, 1905 0xfffffffffc000000, 1906 0xfffffffff8000000, 1907 0xfffffffff0000000, 1908 0xffffffffe0000000, 1909 0xffffffffc0000000, 1910 0xffffffff80000000, 1911 0xffffffff00000000, 1912 0xfffffffe00000000, 1913 0xfffffffc00000000, 1914 0xfffffff800000000, 1915 0xfffffff000000000, 1916 0xffffffe000000000, 1917 0xffffffc000000000, 1918 0xffffff8000000000, 1919 0xffffff0000000000, 1920 0xfffffe0000000000, 1921 0xfffffc0000000000, 1922 0xfffff80000000000, 1923 0xfffff00000000000, 1924 0xffffe00000000000, 1925 0xffffc00000000000, 1926 0xffff800000000000, 1927 0xffff000000000000, 1928 0xfffe000000000000, 1929 0xfffc000000000000, 1930 0xfff8000000000000, 1931 0xfff0000000000000, 1932 0xffe0000000000000, 1933 0xffc0000000000000, 1934 0xff80000000000000, 1935 0xff00000000000000, 1936 0xfe00000000000000, 1937 0xfc00000000000000, 1938 0xf800000000000000, 1939 0xf000000000000000, 1940 0xe000000000000000, 1941 0xc000000000000000, 1942 0x8000000000000000, 1943 0x8000000000000000, 1944 0x8000000000000000, 1945 0x8000000000000000, 1946 0x8000000000000000, 1947 0x8000000000000000, 1948 0x8000000000000000, 1949 0x8000000000000000, 1950 0x8000000000000000, 1951 0x8000000000000000, 1952 0x8000000000000000, 1953 0x8000000000000000, 1954 0x8000000000000000, 1955 0x8000000000000000, 1956 0x8000000000000000, 1957 0x8000000000000000, 1958 0xffffffffffff8001, 1959 0xffffffffffff0002, 1960 0xfffffffffffe0004, 1961 0xfffffffffffc0008, 1962 0xfffffffffff80010, 1963 0xfffffffffff00020, 1964 0xffffffffffe00040, 1965 0xffffffffffc00080, 1966 0xffffffffff800100, 1967 0xffffffffff000200, 1968 0xfffffffffe000400, 1969 0xfffffffffc000800, 1970 0xfffffffff8001000, 1971 0xfffffffff0002000, 1972 0xffffffffe0004000, 1973 0xffffffffc0008000, 1974 0xffffffff80010000, 1975 0xffffffff00020000, 1976 0xfffffffe00040000, 1977 0xfffffffc00080000, 1978 0xfffffff800100000, 1979 0xfffffff000200000, 1980 0xffffffe000400000, 1981 0xffffffc000800000, 1982 0xffffff8001000000, 1983 0xffffff0002000000, 1984 0xfffffe0004000000, 1985 0xfffffc0008000000, 1986 0xfffff80010000000, 1987 0xfffff00020000000, 1988 0xffffe00040000000, 1989 0xffffc00080000000, 1990 0xffff800100000000, 1991 0xffff000200000000, 1992 0xfffe000400000000, 1993 0xfffc000800000000, 1994 0xfff8001000000000, 1995 0xfff0002000000000, 1996 0xffe0004000000000, 1997 0xffc0008000000000, 1998 0xff80010000000000, 1999 0xff00020000000000, 2000 0xfe00040000000000, 2001 0xfc00080000000000, 2002 0xf800100000000000, 2003 0xf000200000000000, 2004 0xe000400000000000, 2005 0xc000800000000000, 2006 0x8001000000000000, 2007 0x8000000000000000, 2008 0x8000000000000000, 2009 0x8000000000000000, 2010 0x8000000000000000, 2011 0x8000000000000000, 2012 0x8000000000000000, 2013 0x8000000000000000, 2014 0x8000000000000000, 2015 0x8000000000000000, 2016 0x8000000000000000, 2017 0x8000000000000000, 2018 0x8000000000000000, 2019 0x8000000000000000, 2020 0x8000000000000000, 2021 0x8000000000000000, 2022 0xffffffffffff8002, 2023 0xffffffffffff0004, 2024 0xfffffffffffe0008, 2025 0xfffffffffffc0010, 2026 0xfffffffffff80020, 2027 0xfffffffffff00040, 2028 0xffffffffffe00080, 2029 0xffffffffffc00100, 2030 0xffffffffff800200, 2031 0xffffffffff000400, 2032 0xfffffffffe000800, 2033 0xfffffffffc001000, 2034 0xfffffffff8002000, 2035 0xfffffffff0004000, 2036 0xffffffffe0008000, 2037 0xffffffffc0010000, 2038 0xffffffff80020000, 2039 0xffffffff00040000, 2040 0xfffffffe00080000, 2041 0xfffffffc00100000, 2042 0xfffffff800200000, 2043 0xfffffff000400000, 2044 0xffffffe000800000, 2045 0xffffffc001000000, 2046 0xffffff8002000000, 2047 0xffffff0004000000, 2048 0xfffffe0008000000, 2049 0xfffffc0010000000, 2050 0xfffff80020000000, 2051 0xfffff00040000000, 2052 0xffffe00080000000, 2053 0xffffc00100000000, 2054 0xffff800200000000, 2055 0xffff000400000000, 2056 0xfffe000800000000, 2057 0xfffc001000000000, 2058 0xfff8002000000000, 2059 0xfff0004000000000, 2060 0xffe0008000000000, 2061 0xffc0010000000000, 2062 0xff80020000000000, 2063 0xff00040000000000, 2064 0xfe00080000000000, 2065 0xfc00100000000000, 2066 0xf800200000000000, 2067 0xf000400000000000, 2068 0xe000800000000000, 2069 0xc001000000000000, 2070 0x8002000000000000, 2071 0x8000000000000000, 2072 0x8000000000000000, 2073 0x8000000000000000, 2074 0x8000000000000000, 2075 0x8000000000000000, 2076 0x8000000000000000, 2077 0x8000000000000000, 2078 0x8000000000000000, 2079 0x8000000000000000, 2080 0x8000000000000000, 2081 0x8000000000000000, 2082 0x8000000000000000, 2083 0x8000000000000000, 2084 0x8000000000000000, 2085 0x8000000000000000, 2086 0xffffffffffff8003, 2087 0xffffffffffff0006, 2088 0xfffffffffffe000c, 2089 0xfffffffffffc0018, 2090 0xfffffffffff80030, 2091 0xfffffffffff00060, 2092 0xffffffffffe000c0, 2093 0xffffffffffc00180, 2094 0xffffffffff800300, 2095 0xffffffffff000600, 2096 0xfffffffffe000c00, 2097 0xfffffffffc001800, 2098 0xfffffffff8003000, 2099 0xfffffffff0006000, 2100 0xffffffffe000c000, 2101 0xffffffffc0018000, 2102 0xffffffff80030000, 2103 0xffffffff00060000, 2104 0xfffffffe000c0000, 2105 0xfffffffc00180000, 2106 0xfffffff800300000, 2107 0xfffffff000600000, 2108 0xffffffe000c00000, 2109 0xffffffc001800000, 2110 0xffffff8003000000, 2111 0xffffff0006000000, 2112 0xfffffe000c000000, 2113 0xfffffc0018000000, 2114 0xfffff80030000000, 2115 0xfffff00060000000, 2116 0xffffe000c0000000, 2117 0xffffc00180000000, 2118 0xffff800300000000, 2119 0xffff000600000000, 2120 0xfffe000c00000000, 2121 0xfffc001800000000, 2122 0xfff8003000000000, 2123 0xfff0006000000000, 2124 0xffe000c000000000, 2125 0xffc0018000000000, 2126 0xff80030000000000, 2127 0xff00060000000000, 2128 0xfe000c0000000000, 2129 0xfc00180000000000, 2130 0xf800300000000000, 2131 0xf000600000000000, 2132 0xe000c00000000000, 2133 0xc001800000000000, 2134 0x8003000000000000, 2135 0x8000000000000000, 2136 0x8000000000000000, 2137 0x8000000000000000, 2138 0x8000000000000000, 2139 0x8000000000000000, 2140 0x8000000000000000, 2141 0x8000000000000000, 2142 0x8000000000000000, 2143 0x8000000000000000, 2144 0x8000000000000000, 2145 0x8000000000000000, 2146 0x8000000000000000, 2147 0x8000000000000000, 2148 0x8000000000000000, 2149 0x8000000000000000, 2150 0xffffffffffffff80, 2151 0xffffffffffffff00, 2152 0xfffffffffffffe00, 2153 0xfffffffffffffc00, 2154 0xfffffffffffff800, 2155 0xfffffffffffff000, 2156 0xffffffffffffe000, 2157 0xffffffffffffc000, 2158 0xffffffffffff8000, 2159 0xffffffffffff0000, 2160 0xfffffffffffe0000, 2161 0xfffffffffffc0000, 2162 0xfffffffffff80000, 2163 0xfffffffffff00000, 2164 0xffffffffffe00000, 2165 0xffffffffffc00000, 2166 0xffffffffff800000, 2167 0xffffffffff000000, 2168 0xfffffffffe000000, 2169 0xfffffffffc000000, 2170 0xfffffffff8000000, 2171 0xfffffffff0000000, 2172 0xffffffffe0000000, 2173 0xffffffffc0000000, 2174 0xffffffff80000000, 2175 0xffffffff00000000, 2176 0xfffffffe00000000, 2177 0xfffffffc00000000, 2178 0xfffffff800000000, 2179 0xfffffff000000000, 2180 0xffffffe000000000, 2181 0xffffffc000000000, 2182 0xffffff8000000000, 2183 0xffffff0000000000, 2184 0xfffffe0000000000, 2185 0xfffffc0000000000, 2186 0xfffff80000000000, 2187 0xfffff00000000000, 2188 0xffffe00000000000, 2189 0xffffc00000000000, 2190 0xffff800000000000, 2191 0xffff000000000000, 2192 0xfffe000000000000, 2193 0xfffc000000000000, 2194 0xfff8000000000000, 2195 0xfff0000000000000, 2196 0xffe0000000000000, 2197 0xffc0000000000000, 2198 0xff80000000000000, 2199 0xff00000000000000, 2200 0xfe00000000000000, 2201 0xfc00000000000000, 2202 0xf800000000000000, 2203 0xf000000000000000, 2204 0xe000000000000000, 2205 0xc000000000000000, 2206 0x8000000000000000, 2207 0x8000000000000000, 2208 0x8000000000000000, 2209 0x8000000000000000, 2210 0x8000000000000000, 2211 0x8000000000000000, 2212 0x8000000000000000, 2213 0x8000000000000000, 2214 0xffffffffffffff81, 2215 0xffffffffffffff02, 2216 0xfffffffffffffe04, 2217 0xfffffffffffffc08, 2218 0xfffffffffffff810, 2219 0xfffffffffffff020, 2220 0xffffffffffffe040, 2221 0xffffffffffffc080, 2222 0xffffffffffff8100, 2223 0xffffffffffff0200, 2224 0xfffffffffffe0400, 2225 0xfffffffffffc0800, 2226 0xfffffffffff81000, 2227 0xfffffffffff02000, 2228 0xffffffffffe04000, 2229 0xffffffffffc08000, 2230 0xffffffffff810000, 2231 0xffffffffff020000, 2232 0xfffffffffe040000, 2233 0xfffffffffc080000, 2234 0xfffffffff8100000, 2235 0xfffffffff0200000, 2236 0xffffffffe0400000, 2237 0xffffffffc0800000, 2238 0xffffffff81000000, 2239 0xffffffff02000000, 2240 0xfffffffe04000000, 2241 0xfffffffc08000000, 2242 0xfffffff810000000, 2243 0xfffffff020000000, 2244 0xffffffe040000000, 2245 0xffffffc080000000, 2246 0xffffff8100000000, 2247 0xffffff0200000000, 2248 0xfffffe0400000000, 2249 0xfffffc0800000000, 2250 0xfffff81000000000, 2251 0xfffff02000000000, 2252 0xffffe04000000000, 2253 0xffffc08000000000, 2254 0xffff810000000000, 2255 0xffff020000000000, 2256 0xfffe040000000000, 2257 0xfffc080000000000, 2258 0xfff8100000000000, 2259 0xfff0200000000000, 2260 0xffe0400000000000, 2261 0xffc0800000000000, 2262 0xff81000000000000, 2263 0xff02000000000000, 2264 0xfe04000000000000, 2265 0xfc08000000000000, 2266 0xf810000000000000, 2267 0xf020000000000000, 2268 0xe040000000000000, 2269 0xc080000000000000, 2270 0x8100000000000000, 2271 0x8000000000000000, 2272 0x8000000000000000, 2273 0x8000000000000000, 2274 0x8000000000000000, 2275 0x8000000000000000, 2276 0x8000000000000000, 2277 0x8000000000000000, 2278 0xffffffffffffff82, 2279 0xffffffffffffff04, 2280 0xfffffffffffffe08, 2281 0xfffffffffffffc10, 2282 0xfffffffffffff820, 2283 0xfffffffffffff040, 2284 0xffffffffffffe080, 2285 0xffffffffffffc100, 2286 0xffffffffffff8200, 2287 0xffffffffffff0400, 2288 0xfffffffffffe0800, 2289 0xfffffffffffc1000, 2290 0xfffffffffff82000, 2291 0xfffffffffff04000, 2292 0xffffffffffe08000, 2293 0xffffffffffc10000, 2294 0xffffffffff820000, 2295 0xffffffffff040000, 2296 0xfffffffffe080000, 2297 0xfffffffffc100000, 2298 0xfffffffff8200000, 2299 0xfffffffff0400000, 2300 0xffffffffe0800000, 2301 0xffffffffc1000000, 2302 0xffffffff82000000, 2303 0xffffffff04000000, 2304 0xfffffffe08000000, 2305 0xfffffffc10000000, 2306 0xfffffff820000000, 2307 0xfffffff040000000, 2308 0xffffffe080000000, 2309 0xffffffc100000000, 2310 0xffffff8200000000, 2311 0xffffff0400000000, 2312 0xfffffe0800000000, 2313 0xfffffc1000000000, 2314 0xfffff82000000000, 2315 0xfffff04000000000, 2316 0xffffe08000000000, 2317 0xffffc10000000000, 2318 0xffff820000000000, 2319 0xffff040000000000, 2320 0xfffe080000000000, 2321 0xfffc100000000000, 2322 0xfff8200000000000, 2323 0xfff0400000000000, 2324 0xffe0800000000000, 2325 0xffc1000000000000, 2326 0xff82000000000000, 2327 0xff04000000000000, 2328 0xfe08000000000000, 2329 0xfc10000000000000, 2330 0xf820000000000000, 2331 0xf040000000000000, 2332 0xe080000000000000, 2333 0xc100000000000000, 2334 0x8200000000000000, 2335 0x8000000000000000, 2336 0x8000000000000000, 2337 0x8000000000000000, 2338 0x8000000000000000, 2339 0x8000000000000000, 2340 0x8000000000000000, 2341 0x8000000000000000, 2342 0xffffffffffffff83, 2343 0xffffffffffffff06, 2344 0xfffffffffffffe0c, 2345 0xfffffffffffffc18, 2346 0xfffffffffffff830, 2347 0xfffffffffffff060, 2348 0xffffffffffffe0c0, 2349 0xffffffffffffc180, 2350 0xffffffffffff8300, 2351 0xffffffffffff0600, 2352 0xfffffffffffe0c00, 2353 0xfffffffffffc1800, 2354 0xfffffffffff83000, 2355 0xfffffffffff06000, 2356 0xffffffffffe0c000, 2357 0xffffffffffc18000, 2358 0xffffffffff830000, 2359 0xffffffffff060000, 2360 0xfffffffffe0c0000, 2361 0xfffffffffc180000, 2362 0xfffffffff8300000, 2363 0xfffffffff0600000, 2364 0xffffffffe0c00000, 2365 0xffffffffc1800000, 2366 0xffffffff83000000, 2367 0xffffffff06000000, 2368 0xfffffffe0c000000, 2369 0xfffffffc18000000, 2370 0xfffffff830000000, 2371 0xfffffff060000000, 2372 0xffffffe0c0000000, 2373 0xffffffc180000000, 2374 0xffffff8300000000, 2375 0xffffff0600000000, 2376 0xfffffe0c00000000, 2377 0xfffffc1800000000, 2378 0xfffff83000000000, 2379 0xfffff06000000000, 2380 0xffffe0c000000000, 2381 0xffffc18000000000, 2382 0xffff830000000000, 2383 0xffff060000000000, 2384 0xfffe0c0000000000, 2385 0xfffc180000000000, 2386 0xfff8300000000000, 2387 0xfff0600000000000, 2388 0xffe0c00000000000, 2389 0xffc1800000000000, 2390 0xff83000000000000, 2391 0xff06000000000000, 2392 0xfe0c000000000000, 2393 0xfc18000000000000, 2394 0xf830000000000000, 2395 0xf060000000000000, 2396 0xe0c0000000000000, 2397 0xc180000000000000, 2398 0x8300000000000000, 2399 0x8000000000000000, 2400 0x8000000000000000, 2401 0x8000000000000000, 2402 0x8000000000000000, 2403 0x8000000000000000, 2404 0x8000000000000000, 2405 0x8000000000000000, 2406 0xffffffffffffffc0, 2407 0xffffffffffffff80, 2408 0xffffffffffffff00, 2409 0xfffffffffffffe00, 2410 0xfffffffffffffc00, 2411 0xfffffffffffff800, 2412 0xfffffffffffff000, 2413 0xffffffffffffe000, 2414 0xffffffffffffc000, 2415 0xffffffffffff8000, 2416 0xffffffffffff0000, 2417 0xfffffffffffe0000, 2418 0xfffffffffffc0000, 2419 0xfffffffffff80000, 2420 0xfffffffffff00000, 2421 0xffffffffffe00000, 2422 0xffffffffffc00000, 2423 0xffffffffff800000, 2424 0xffffffffff000000, 2425 0xfffffffffe000000, 2426 0xfffffffffc000000, 2427 0xfffffffff8000000, 2428 0xfffffffff0000000, 2429 0xffffffffe0000000, 2430 0xffffffffc0000000, 2431 0xffffffff80000000, 2432 0xffffffff00000000, 2433 0xfffffffe00000000, 2434 0xfffffffc00000000, 2435 0xfffffff800000000, 2436 0xfffffff000000000, 2437 0xffffffe000000000, 2438 0xffffffc000000000, 2439 0xffffff8000000000, 2440 0xffffff0000000000, 2441 0xfffffe0000000000, 2442 0xfffffc0000000000, 2443 0xfffff80000000000, 2444 0xfffff00000000000, 2445 0xffffe00000000000, 2446 0xffffc00000000000, 2447 0xffff800000000000, 2448 0xffff000000000000, 2449 0xfffe000000000000, 2450 0xfffc000000000000, 2451 0xfff8000000000000, 2452 0xfff0000000000000, 2453 0xffe0000000000000, 2454 0xffc0000000000000, 2455 0xff80000000000000, 2456 0xff00000000000000, 2457 0xfe00000000000000, 2458 0xfc00000000000000, 2459 0xf800000000000000, 2460 0xf000000000000000, 2461 0xe000000000000000, 2462 0xc000000000000000, 2463 0x8000000000000000, 2464 0x8000000000000000, 2465 0x8000000000000000, 2466 0x8000000000000000, 2467 0x8000000000000000, 2468 0x8000000000000000, 2469 0x8000000000000000, 2470 0xfffffffffffffffd, 2471 0xfffffffffffffffa, 2472 0xfffffffffffffff4, 2473 0xffffffffffffffe8, 2474 0xffffffffffffffd0, 2475 0xffffffffffffffa0, 2476 0xffffffffffffff40, 2477 0xfffffffffffffe80, 2478 0xfffffffffffffd00, 2479 0xfffffffffffffa00, 2480 0xfffffffffffff400, 2481 0xffffffffffffe800, 2482 0xffffffffffffd000, 2483 0xffffffffffffa000, 2484 0xffffffffffff4000, 2485 0xfffffffffffe8000, 2486 0xfffffffffffd0000, 2487 0xfffffffffffa0000, 2488 0xfffffffffff40000, 2489 0xffffffffffe80000, 2490 0xffffffffffd00000, 2491 0xffffffffffa00000, 2492 0xffffffffff400000, 2493 0xfffffffffe800000, 2494 0xfffffffffd000000, 2495 0xfffffffffa000000, 2496 0xfffffffff4000000, 2497 0xffffffffe8000000, 2498 0xffffffffd0000000, 2499 0xffffffffa0000000, 2500 0xffffffff40000000, 2501 0xfffffffe80000000, 2502 0xfffffffd00000000, 2503 0xfffffffa00000000, 2504 0xfffffff400000000, 2505 0xffffffe800000000, 2506 0xffffffd000000000, 2507 0xffffffa000000000, 2508 0xffffff4000000000, 2509 0xfffffe8000000000, 2510 0xfffffd0000000000, 2511 0xfffffa0000000000, 2512 0xfffff40000000000, 2513 0xffffe80000000000, 2514 0xffffd00000000000, 2515 0xffffa00000000000, 2516 0xffff400000000000, 2517 0xfffe800000000000, 2518 0xfffd000000000000, 2519 0xfffa000000000000, 2520 0xfff4000000000000, 2521 0xffe8000000000000, 2522 0xffd0000000000000, 2523 0xffa0000000000000, 2524 0xff40000000000000, 2525 0xfe80000000000000, 2526 0xfd00000000000000, 2527 0xfa00000000000000, 2528 0xf400000000000000, 2529 0xe800000000000000, 2530 0xd000000000000000, 2531 0xa000000000000000, 2532 0x8000000000000000, 2533 0x8000000000000000, 2534 0xfffffffffffffffe, 2535 0xfffffffffffffffc, 2536 0xfffffffffffffff8, 2537 0xfffffffffffffff0, 2538 0xffffffffffffffe0, 2539 0xffffffffffffffc0, 2540 0xffffffffffffff80, 2541 0xffffffffffffff00, 2542 0xfffffffffffffe00, 2543 0xfffffffffffffc00, 2544 0xfffffffffffff800, 2545 0xfffffffffffff000, 2546 0xffffffffffffe000, 2547 0xffffffffffffc000, 2548 0xffffffffffff8000, 2549 0xffffffffffff0000, 2550 0xfffffffffffe0000, 2551 0xfffffffffffc0000, 2552 0xfffffffffff80000, 2553 0xfffffffffff00000, 2554 0xffffffffffe00000, 2555 0xffffffffffc00000, 2556 0xffffffffff800000, 2557 0xffffffffff000000, 2558 0xfffffffffe000000, 2559 0xfffffffffc000000, 2560 0xfffffffff8000000, 2561 0xfffffffff0000000, 2562 0xffffffffe0000000, 2563 0xffffffffc0000000, 2564 0xffffffff80000000, 2565 0xffffffff00000000, 2566 0xfffffffe00000000, 2567 0xfffffffc00000000, 2568 0xfffffff800000000, 2569 0xfffffff000000000, 2570 0xffffffe000000000, 2571 0xffffffc000000000, 2572 0xffffff8000000000, 2573 0xffffff0000000000, 2574 0xfffffe0000000000, 2575 0xfffffc0000000000, 2576 0xfffff80000000000, 2577 0xfffff00000000000, 2578 0xffffe00000000000, 2579 0xffffc00000000000, 2580 0xffff800000000000, 2581 0xffff000000000000, 2582 0xfffe000000000000, 2583 0xfffc000000000000, 2584 0xfff8000000000000, 2585 0xfff0000000000000, 2586 0xffe0000000000000, 2587 0xffc0000000000000, 2588 0xff80000000000000, 2589 0xff00000000000000, 2590 0xfe00000000000000, 2591 0xfc00000000000000, 2592 0xf800000000000000, 2593 0xf000000000000000, 2594 0xe000000000000000, 2595 0xc000000000000000, 2596 0x8000000000000000, 2597 0x8000000000000000, 2598}; 2599const unsigned kExpectedCount_NEON_sqshl_D_2OPIMM = 2560; 2600 2601#endif // VIXL_SIM_SQSHL_D_2OPIMM_TRACE_AARCH64_H_ 2602