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_FCVTZS_WH_TRACE_AARCH64_H_ 35 #define VIXL_SIM_FCVTZS_WH_TRACE_AARCH64_H_ 36 37 const int32_t kExpected_fcvtzs_wh[] = { 38 INT32_C(0), 39 INT32_C(0), 40 INT32_C(0), 41 INT32_C(0), 42 INT32_C(0), 43 INT32_C(0), 44 INT32_C(0), 45 INT32_C(0), 46 INT32_C(0), 47 INT32_C(0), 48 INT32_C(0), 49 INT32_C(0), 50 INT32_C(0), 51 INT32_C(0), 52 INT32_C(0), 53 INT32_C(0), 54 INT32_C(0), 55 INT32_C(0), 56 INT32_C(0), 57 INT32_C(0), 58 INT32_C(0), 59 INT32_C(0), 60 INT32_C(0), 61 INT32_C(0), 62 INT32_C(0), 63 INT32_C(0), 64 INT32_C(0), 65 INT32_C(0), 66 INT32_C(0), 67 INT32_C(0), 68 INT32_C(0), 69 INT32_C(0), 70 INT32_C(0), 71 INT32_C(0), 72 INT32_C(0), 73 INT32_C(0), 74 INT32_C(0), 75 INT32_C(0), 76 INT32_C(0), 77 INT32_C(0), 78 INT32_C(0), 79 INT32_C(0), 80 INT32_C(0), 81 INT32_C(0), 82 INT32_C(0), 83 INT32_C(0), 84 INT32_C(0), 85 INT32_C(1), 86 INT32_C(2), 87 INT32_C(4), 88 INT32_C(8), 89 INT32_C(16), 90 INT32_C(32), 91 INT32_C(64), 92 INT32_C(128), 93 INT32_C(256), 94 INT32_C(512), 95 INT32_C(1024), 96 INT32_C(2048), 97 INT32_C(4096), 98 INT32_C(8192), 99 INT32_C(16384), 100 INT32_C(32768), 101 INT32_C(65536), 102 INT32_C(131072), 103 INT32_C(262144), 104 INT32_C(0), 105 INT32_C(0), 106 INT32_C(1), 107 INT32_C(3), 108 INT32_C(7), 109 INT32_C(15), 110 INT32_C(31), 111 INT32_C(63), 112 INT32_C(127), 113 INT32_C(255), 114 INT32_C(511), 115 INT32_C(1023), 116 INT32_C(2047), 117 INT32_C(4094), 118 INT32_C(8188), 119 INT32_C(16376), 120 INT32_C(32752), 121 INT32_C(65504), 122 INT32_C(131008), 123 INT32_C(262016), 124 INT32_C(524032), 125 INT32_C(1048064), 126 INT32_C(2096128), 127 INT32_C(4192256), 128 INT32_C(8384512), 129 INT32_C(16769024), 130 INT32_C(33538048), 131 INT32_C(67076096), 132 INT32_C(134152192), 133 INT32_C(268304384), 134 INT32_C(536608768), 135 INT32_C(1073217536), 136 INT32_C(2146435072), 137 INT32_C(0), 138 INT32_C(1), 139 INT32_C(2), 140 INT32_C(4), 141 INT32_C(8), 142 INT32_C(16), 143 INT32_C(32), 144 INT32_C(64), 145 INT32_C(128), 146 INT32_C(256), 147 INT32_C(512), 148 INT32_C(1024), 149 INT32_C(2048), 150 INT32_C(4096), 151 INT32_C(8192), 152 INT32_C(16384), 153 INT32_C(32768), 154 INT32_C(65536), 155 INT32_C(131072), 156 INT32_C(262144), 157 INT32_C(524288), 158 INT32_C(1048576), 159 INT32_C(2097152), 160 INT32_C(4194304), 161 INT32_C(8388608), 162 INT32_C(16777216), 163 INT32_C(33554432), 164 INT32_C(67108864), 165 INT32_C(134217728), 166 INT32_C(268435456), 167 INT32_C(536870912), 168 INT32_C(1073741824), 169 INT32_C(2147483647), 170 INT32_C(0), 171 INT32_C(1), 172 INT32_C(2), 173 INT32_C(4), 174 INT32_C(8), 175 INT32_C(16), 176 INT32_C(32), 177 INT32_C(64), 178 INT32_C(128), 179 INT32_C(256), 180 INT32_C(512), 181 INT32_C(1025), 182 INT32_C(2050), 183 INT32_C(4100), 184 INT32_C(8200), 185 INT32_C(16400), 186 INT32_C(32800), 187 INT32_C(65600), 188 INT32_C(131200), 189 INT32_C(262400), 190 INT32_C(524800), 191 INT32_C(1049600), 192 INT32_C(2099200), 193 INT32_C(4198400), 194 INT32_C(8396800), 195 INT32_C(16793600), 196 INT32_C(33587200), 197 INT32_C(67174400), 198 INT32_C(134348800), 199 INT32_C(268697600), 200 INT32_C(537395200), 201 INT32_C(1074790400), 202 INT32_C(2147483647), 203 INT32_C(0), 204 INT32_C(1), 205 INT32_C(3), 206 INT32_C(7), 207 INT32_C(15), 208 INT32_C(31), 209 INT32_C(63), 210 INT32_C(127), 211 INT32_C(255), 212 INT32_C(511), 213 INT32_C(1023), 214 INT32_C(2047), 215 INT32_C(4094), 216 INT32_C(8188), 217 INT32_C(16376), 218 INT32_C(32752), 219 INT32_C(65504), 220 INT32_C(131008), 221 INT32_C(262016), 222 INT32_C(524032), 223 INT32_C(1048064), 224 INT32_C(2096128), 225 INT32_C(4192256), 226 INT32_C(8384512), 227 INT32_C(16769024), 228 INT32_C(33538048), 229 INT32_C(67076096), 230 INT32_C(134152192), 231 INT32_C(268304384), 232 INT32_C(536608768), 233 INT32_C(1073217536), 234 INT32_C(2146435072), 235 INT32_C(2147483647), 236 INT32_C(1), 237 INT32_C(2), 238 INT32_C(4), 239 INT32_C(8), 240 INT32_C(16), 241 INT32_C(32), 242 INT32_C(64), 243 INT32_C(128), 244 INT32_C(256), 245 INT32_C(512), 246 INT32_C(1024), 247 INT32_C(2048), 248 INT32_C(4096), 249 INT32_C(8192), 250 INT32_C(16384), 251 INT32_C(32768), 252 INT32_C(65536), 253 INT32_C(131072), 254 INT32_C(262144), 255 INT32_C(524288), 256 INT32_C(1048576), 257 INT32_C(2097152), 258 INT32_C(4194304), 259 INT32_C(8388608), 260 INT32_C(16777216), 261 INT32_C(33554432), 262 INT32_C(67108864), 263 INT32_C(134217728), 264 INT32_C(268435456), 265 INT32_C(536870912), 266 INT32_C(1073741824), 267 INT32_C(2147483647), 268 INT32_C(2147483647), 269 INT32_C(1), 270 INT32_C(2), 271 INT32_C(4), 272 INT32_C(8), 273 INT32_C(16), 274 INT32_C(32), 275 INT32_C(64), 276 INT32_C(128), 277 INT32_C(256), 278 INT32_C(512), 279 INT32_C(1025), 280 INT32_C(2050), 281 INT32_C(4100), 282 INT32_C(8200), 283 INT32_C(16400), 284 INT32_C(32800), 285 INT32_C(65600), 286 INT32_C(131200), 287 INT32_C(262400), 288 INT32_C(524800), 289 INT32_C(1049600), 290 INT32_C(2099200), 291 INT32_C(4198400), 292 INT32_C(8396800), 293 INT32_C(16793600), 294 INT32_C(33587200), 295 INT32_C(67174400), 296 INT32_C(134348800), 297 INT32_C(268697600), 298 INT32_C(537395200), 299 INT32_C(1074790400), 300 INT32_C(2147483647), 301 INT32_C(2147483647), 302 INT32_C(1), 303 INT32_C(3), 304 INT32_C(6), 305 INT32_C(12), 306 INT32_C(24), 307 INT32_C(48), 308 INT32_C(96), 309 INT32_C(192), 310 INT32_C(384), 311 INT32_C(768), 312 INT32_C(1536), 313 INT32_C(3072), 314 INT32_C(6144), 315 INT32_C(12288), 316 INT32_C(24576), 317 INT32_C(49152), 318 INT32_C(98304), 319 INT32_C(196608), 320 INT32_C(393216), 321 INT32_C(786432), 322 INT32_C(1572864), 323 INT32_C(3145728), 324 INT32_C(6291456), 325 INT32_C(12582912), 326 INT32_C(25165824), 327 INT32_C(50331648), 328 INT32_C(100663296), 329 INT32_C(201326592), 330 INT32_C(402653184), 331 INT32_C(805306368), 332 INT32_C(1610612736), 333 INT32_C(2147483647), 334 INT32_C(2147483647), 335 INT32_C(10), 336 INT32_C(20), 337 INT32_C(40), 338 INT32_C(80), 339 INT32_C(160), 340 INT32_C(320), 341 INT32_C(640), 342 INT32_C(1280), 343 INT32_C(2560), 344 INT32_C(5120), 345 INT32_C(10240), 346 INT32_C(20480), 347 INT32_C(40960), 348 INT32_C(81920), 349 INT32_C(163840), 350 INT32_C(327680), 351 INT32_C(655360), 352 INT32_C(1310720), 353 INT32_C(2621440), 354 INT32_C(5242880), 355 INT32_C(10485760), 356 INT32_C(20971520), 357 INT32_C(41943040), 358 INT32_C(83886080), 359 INT32_C(167772160), 360 INT32_C(335544320), 361 INT32_C(671088640), 362 INT32_C(1342177280), 363 INT32_C(2147483647), 364 INT32_C(2147483647), 365 INT32_C(2147483647), 366 INT32_C(2147483647), 367 INT32_C(2147483647), 368 INT32_C(65504), 369 INT32_C(131008), 370 INT32_C(262016), 371 INT32_C(524032), 372 INT32_C(1048064), 373 INT32_C(2096128), 374 INT32_C(4192256), 375 INT32_C(8384512), 376 INT32_C(16769024), 377 INT32_C(33538048), 378 INT32_C(67076096), 379 INT32_C(134152192), 380 INT32_C(268304384), 381 INT32_C(536608768), 382 INT32_C(1073217536), 383 INT32_C(2146435072), 384 INT32_C(2147483647), 385 INT32_C(2147483647), 386 INT32_C(2147483647), 387 INT32_C(2147483647), 388 INT32_C(2147483647), 389 INT32_C(2147483647), 390 INT32_C(2147483647), 391 INT32_C(2147483647), 392 INT32_C(2147483647), 393 INT32_C(2147483647), 394 INT32_C(2147483647), 395 INT32_C(2147483647), 396 INT32_C(2147483647), 397 INT32_C(2147483647), 398 INT32_C(2147483647), 399 INT32_C(2147483647), 400 INT32_C(2147483647), 401 INT32_C(2147483647), 402 INT32_C(2147483647), 403 INT32_C(2147483647), 404 INT32_C(2147483647), 405 INT32_C(2147483647), 406 INT32_C(2147483647), 407 INT32_C(2147483647), 408 INT32_C(2147483647), 409 INT32_C(2147483647), 410 INT32_C(2147483647), 411 INT32_C(2147483647), 412 INT32_C(2147483647), 413 INT32_C(2147483647), 414 INT32_C(2147483647), 415 INT32_C(2147483647), 416 INT32_C(2147483647), 417 INT32_C(2147483647), 418 INT32_C(2147483647), 419 INT32_C(2147483647), 420 INT32_C(2147483647), 421 INT32_C(2147483647), 422 INT32_C(2147483647), 423 INT32_C(2147483647), 424 INT32_C(2147483647), 425 INT32_C(2147483647), 426 INT32_C(2147483647), 427 INT32_C(2147483647), 428 INT32_C(2147483647), 429 INT32_C(2147483647), 430 INT32_C(2147483647), 431 INT32_C(2147483647), 432 INT32_C(2147483647), 433 INT32_C(2147483647), 434 INT32_C(0), 435 INT32_C(0), 436 INT32_C(0), 437 INT32_C(0), 438 INT32_C(0), 439 INT32_C(0), 440 INT32_C(0), 441 INT32_C(0), 442 INT32_C(0), 443 INT32_C(0), 444 INT32_C(0), 445 INT32_C(0), 446 INT32_C(0), 447 INT32_C(0), 448 INT32_C(0), 449 INT32_C(0), 450 INT32_C(0), 451 INT32_C(0), 452 INT32_C(0), 453 INT32_C(0), 454 INT32_C(0), 455 INT32_C(0), 456 INT32_C(0), 457 INT32_C(0), 458 INT32_C(0), 459 INT32_C(0), 460 INT32_C(0), 461 INT32_C(0), 462 INT32_C(0), 463 INT32_C(0), 464 INT32_C(0), 465 INT32_C(0), 466 INT32_C(0), 467 INT32_C(0), 468 INT32_C(0), 469 INT32_C(0), 470 INT32_C(0), 471 INT32_C(0), 472 INT32_C(0), 473 INT32_C(0), 474 INT32_C(0), 475 INT32_C(0), 476 INT32_C(0), 477 INT32_C(0), 478 INT32_C(0), 479 INT32_C(0), 480 INT32_C(0), 481 INT32_C(0), 482 INT32_C(0), 483 INT32_C(0), 484 INT32_C(0), 485 INT32_C(0), 486 INT32_C(0), 487 INT32_C(0), 488 INT32_C(0), 489 INT32_C(0), 490 INT32_C(0), 491 INT32_C(0), 492 INT32_C(0), 493 INT32_C(0), 494 INT32_C(0), 495 INT32_C(0), 496 INT32_C(0), 497 INT32_C(0), 498 INT32_C(0), 499 INT32_C(0), 500 INT32_C(0), 501 INT32_C(0), 502 INT32_C(0), 503 INT32_C(0), 504 INT32_C(0), 505 INT32_C(0), 506 INT32_C(0), 507 INT32_C(0), 508 INT32_C(0), 509 INT32_C(0), 510 INT32_C(0), 511 INT32_C(0), 512 INT32_C(0), 513 INT32_C(0), 514 INT32_C(0), 515 INT32_C(0), 516 INT32_C(0), 517 INT32_C(0), 518 INT32_C(0), 519 INT32_C(0), 520 INT32_C(0), 521 INT32_C(0), 522 INT32_C(0), 523 INT32_C(0), 524 INT32_C(0), 525 INT32_C(0), 526 INT32_C(0), 527 INT32_C(0), 528 INT32_C(0), 529 INT32_C(0), 530 INT32_C(0), 531 INT32_C(0), 532 INT32_C(0), 533 INT32_C(0), 534 INT32_C(0), 535 INT32_C(0), 536 INT32_C(0), 537 INT32_C(0), 538 INT32_C(0), 539 INT32_C(0), 540 INT32_C(0), 541 INT32_C(0), 542 INT32_C(0), 543 INT32_C(0), 544 INT32_C(0), 545 INT32_C(0), 546 INT32_C(0), 547 INT32_C(0), 548 INT32_C(0), 549 INT32_C(0), 550 INT32_C(0), 551 INT32_C(0), 552 INT32_C(0), 553 INT32_C(0), 554 INT32_C(0), 555 INT32_C(0), 556 INT32_C(0), 557 INT32_C(0), 558 INT32_C(0), 559 INT32_C(0), 560 INT32_C(0), 561 INT32_C(0), 562 INT32_C(0), 563 INT32_C(0), 564 INT32_C(0), 565 INT32_C(0), 566 INT32_C(0), 567 INT32_C(0), 568 INT32_C(0), 569 INT32_C(0), 570 INT32_C(0), 571 INT32_C(0), 572 INT32_C(0), 573 INT32_C(0), 574 INT32_C(0), 575 INT32_C(0), 576 INT32_C(0), 577 INT32_C(0), 578 INT32_C(0), 579 INT32_C(0), 580 INT32_C(0), 581 INT32_C(0), 582 INT32_C(0), 583 INT32_C(0), 584 INT32_C(0), 585 INT32_C(0), 586 INT32_C(1), 587 INT32_C(2), 588 INT32_C(4), 589 INT32_C(9), 590 INT32_C(18), 591 INT32_C(36), 592 INT32_C(72), 593 INT32_C(144), 594 INT32_C(288), 595 INT32_C(576), 596 INT32_C(1152), 597 INT32_C(2304), 598 INT32_C(4608), 599 INT32_C(0), 600 INT32_C(0), 601 INT32_C(0), 602 INT32_C(0), 603 INT32_C(0), 604 INT32_C(0), 605 INT32_C(0), 606 INT32_C(0), 607 INT32_C(0), 608 INT32_C(0), 609 INT32_C(0), 610 INT32_C(0), 611 INT32_C(0), 612 INT32_C(0), 613 INT32_C(0), 614 INT32_C(1), 615 INT32_C(3), 616 INT32_C(7), 617 INT32_C(15), 618 INT32_C(31), 619 INT32_C(63), 620 INT32_C(127), 621 INT32_C(255), 622 INT32_C(511), 623 INT32_C(1023), 624 INT32_C(2046), 625 INT32_C(4092), 626 INT32_C(8184), 627 INT32_C(16368), 628 INT32_C(32736), 629 INT32_C(65472), 630 INT32_C(130944), 631 INT32_C(261888), 632 INT32_C(0), 633 INT32_C(0), 634 INT32_C(0), 635 INT32_C(0), 636 INT32_C(0), 637 INT32_C(0), 638 INT32_C(0), 639 INT32_C(0), 640 INT32_C(0), 641 INT32_C(0), 642 INT32_C(0), 643 INT32_C(0), 644 INT32_C(0), 645 INT32_C(0), 646 INT32_C(0), 647 INT32_C(0), 648 INT32_C(0), 649 INT32_C(0), 650 INT32_C(0), 651 INT32_C(0), 652 INT32_C(0), 653 INT32_C(0), 654 INT32_C(0), 655 INT32_C(0), 656 INT32_C(1), 657 INT32_C(2), 658 INT32_C(4), 659 INT32_C(8), 660 INT32_C(16), 661 INT32_C(32), 662 INT32_C(64), 663 INT32_C(128), 664 INT32_C(256), 665 INT32_C(0), 666 INT32_C(0), 667 INT32_C(0), 668 INT32_C(0), 669 INT32_C(0), 670 INT32_C(0), 671 INT32_C(0), 672 INT32_C(0), 673 INT32_C(0), 674 INT32_C(0), 675 INT32_C(0), 676 INT32_C(0), 677 INT32_C(0), 678 INT32_C(0), 679 INT32_C(0), 680 INT32_C(0), 681 INT32_C(0), 682 INT32_C(0), 683 INT32_C(0), 684 INT32_C(0), 685 INT32_C(0), 686 INT32_C(0), 687 INT32_C(0), 688 INT32_C(0), 689 INT32_C(0), 690 INT32_C(0), 691 INT32_C(0), 692 INT32_C(0), 693 INT32_C(0), 694 INT32_C(0), 695 INT32_C(0), 696 INT32_C(0), 697 INT32_C(0), 698 INT32_C(0), 699 INT32_C(0), 700 INT32_C(0), 701 INT32_C(0), 702 INT32_C(0), 703 INT32_C(0), 704 INT32_C(0), 705 INT32_C(0), 706 INT32_C(0), 707 INT32_C(0), 708 INT32_C(0), 709 INT32_C(0), 710 INT32_C(0), 711 INT32_C(0), 712 -INT32_C(1), 713 -INT32_C(2), 714 -INT32_C(4), 715 -INT32_C(8), 716 -INT32_C(16), 717 -INT32_C(32), 718 -INT32_C(64), 719 -INT32_C(128), 720 -INT32_C(256), 721 -INT32_C(512), 722 -INT32_C(1024), 723 -INT32_C(2048), 724 -INT32_C(4096), 725 -INT32_C(8192), 726 -INT32_C(16384), 727 -INT32_C(32768), 728 -INT32_C(65536), 729 -INT32_C(131072), 730 -INT32_C(262144), 731 INT32_C(0), 732 INT32_C(0), 733 -INT32_C(1), 734 -INT32_C(3), 735 -INT32_C(7), 736 -INT32_C(15), 737 -INT32_C(31), 738 -INT32_C(63), 739 -INT32_C(127), 740 -INT32_C(255), 741 -INT32_C(511), 742 -INT32_C(1023), 743 -INT32_C(2047), 744 -INT32_C(4094), 745 -INT32_C(8188), 746 -INT32_C(16376), 747 -INT32_C(32752), 748 -INT32_C(65504), 749 -INT32_C(131008), 750 -INT32_C(262016), 751 -INT32_C(524032), 752 -INT32_C(1048064), 753 -INT32_C(2096128), 754 -INT32_C(4192256), 755 -INT32_C(8384512), 756 -INT32_C(16769024), 757 -INT32_C(33538048), 758 -INT32_C(67076096), 759 -INT32_C(134152192), 760 -INT32_C(268304384), 761 -INT32_C(536608768), 762 -INT32_C(1073217536), 763 -INT32_C(2146435072), 764 INT32_C(0), 765 -INT32_C(1), 766 -INT32_C(2), 767 -INT32_C(4), 768 -INT32_C(8), 769 -INT32_C(16), 770 -INT32_C(32), 771 -INT32_C(64), 772 -INT32_C(128), 773 -INT32_C(256), 774 -INT32_C(512), 775 -INT32_C(1024), 776 -INT32_C(2048), 777 -INT32_C(4096), 778 -INT32_C(8192), 779 -INT32_C(16384), 780 -INT32_C(32768), 781 -INT32_C(65536), 782 -INT32_C(131072), 783 -INT32_C(262144), 784 -INT32_C(524288), 785 -INT32_C(1048576), 786 -INT32_C(2097152), 787 -INT32_C(4194304), 788 -INT32_C(8388608), 789 -INT32_C(16777216), 790 -INT32_C(33554432), 791 -INT32_C(67108864), 792 -INT32_C(134217728), 793 -INT32_C(268435456), 794 -INT32_C(536870912), 795 -INT32_C(1073741824), 796 -INT32_C(2147483647) - 1, 797 INT32_C(0), 798 -INT32_C(1), 799 -INT32_C(2), 800 -INT32_C(4), 801 -INT32_C(8), 802 -INT32_C(16), 803 -INT32_C(32), 804 -INT32_C(64), 805 -INT32_C(128), 806 -INT32_C(256), 807 -INT32_C(512), 808 -INT32_C(1025), 809 -INT32_C(2050), 810 -INT32_C(4100), 811 -INT32_C(8200), 812 -INT32_C(16400), 813 -INT32_C(32800), 814 -INT32_C(65600), 815 -INT32_C(131200), 816 -INT32_C(262400), 817 -INT32_C(524800), 818 -INT32_C(1049600), 819 -INT32_C(2099200), 820 -INT32_C(4198400), 821 -INT32_C(8396800), 822 -INT32_C(16793600), 823 -INT32_C(33587200), 824 -INT32_C(67174400), 825 -INT32_C(134348800), 826 -INT32_C(268697600), 827 -INT32_C(537395200), 828 -INT32_C(1074790400), 829 -INT32_C(2147483647) - 1, 830 INT32_C(0), 831 -INT32_C(1), 832 -INT32_C(3), 833 -INT32_C(7), 834 -INT32_C(15), 835 -INT32_C(31), 836 -INT32_C(63), 837 -INT32_C(127), 838 -INT32_C(255), 839 -INT32_C(511), 840 -INT32_C(1023), 841 -INT32_C(2047), 842 -INT32_C(4094), 843 -INT32_C(8188), 844 -INT32_C(16376), 845 -INT32_C(32752), 846 -INT32_C(65504), 847 -INT32_C(131008), 848 -INT32_C(262016), 849 -INT32_C(524032), 850 -INT32_C(1048064), 851 -INT32_C(2096128), 852 -INT32_C(4192256), 853 -INT32_C(8384512), 854 -INT32_C(16769024), 855 -INT32_C(33538048), 856 -INT32_C(67076096), 857 -INT32_C(134152192), 858 -INT32_C(268304384), 859 -INT32_C(536608768), 860 -INT32_C(1073217536), 861 -INT32_C(2146435072), 862 -INT32_C(2147483647) - 1, 863 -INT32_C(1), 864 -INT32_C(2), 865 -INT32_C(4), 866 -INT32_C(8), 867 -INT32_C(16), 868 -INT32_C(32), 869 -INT32_C(64), 870 -INT32_C(128), 871 -INT32_C(256), 872 -INT32_C(512), 873 -INT32_C(1024), 874 -INT32_C(2048), 875 -INT32_C(4096), 876 -INT32_C(8192), 877 -INT32_C(16384), 878 -INT32_C(32768), 879 -INT32_C(65536), 880 -INT32_C(131072), 881 -INT32_C(262144), 882 -INT32_C(524288), 883 -INT32_C(1048576), 884 -INT32_C(2097152), 885 -INT32_C(4194304), 886 -INT32_C(8388608), 887 -INT32_C(16777216), 888 -INT32_C(33554432), 889 -INT32_C(67108864), 890 -INT32_C(134217728), 891 -INT32_C(268435456), 892 -INT32_C(536870912), 893 -INT32_C(1073741824), 894 -INT32_C(2147483647) - 1, 895 -INT32_C(2147483647) - 1, 896 -INT32_C(1), 897 -INT32_C(2), 898 -INT32_C(4), 899 -INT32_C(8), 900 -INT32_C(16), 901 -INT32_C(32), 902 -INT32_C(64), 903 -INT32_C(128), 904 -INT32_C(256), 905 -INT32_C(512), 906 -INT32_C(1025), 907 -INT32_C(2050), 908 -INT32_C(4100), 909 -INT32_C(8200), 910 -INT32_C(16400), 911 -INT32_C(32800), 912 -INT32_C(65600), 913 -INT32_C(131200), 914 -INT32_C(262400), 915 -INT32_C(524800), 916 -INT32_C(1049600), 917 -INT32_C(2099200), 918 -INT32_C(4198400), 919 -INT32_C(8396800), 920 -INT32_C(16793600), 921 -INT32_C(33587200), 922 -INT32_C(67174400), 923 -INT32_C(134348800), 924 -INT32_C(268697600), 925 -INT32_C(537395200), 926 -INT32_C(1074790400), 927 -INT32_C(2147483647) - 1, 928 -INT32_C(2147483647) - 1, 929 -INT32_C(1), 930 -INT32_C(3), 931 -INT32_C(6), 932 -INT32_C(12), 933 -INT32_C(24), 934 -INT32_C(48), 935 -INT32_C(96), 936 -INT32_C(192), 937 -INT32_C(384), 938 -INT32_C(768), 939 -INT32_C(1536), 940 -INT32_C(3072), 941 -INT32_C(6144), 942 -INT32_C(12288), 943 -INT32_C(24576), 944 -INT32_C(49152), 945 -INT32_C(98304), 946 -INT32_C(196608), 947 -INT32_C(393216), 948 -INT32_C(786432), 949 -INT32_C(1572864), 950 -INT32_C(3145728), 951 -INT32_C(6291456), 952 -INT32_C(12582912), 953 -INT32_C(25165824), 954 -INT32_C(50331648), 955 -INT32_C(100663296), 956 -INT32_C(201326592), 957 -INT32_C(402653184), 958 -INT32_C(805306368), 959 -INT32_C(1610612736), 960 -INT32_C(2147483647) - 1, 961 -INT32_C(2147483647) - 1, 962 -INT32_C(10), 963 -INT32_C(20), 964 -INT32_C(40), 965 -INT32_C(80), 966 -INT32_C(160), 967 -INT32_C(320), 968 -INT32_C(640), 969 -INT32_C(1280), 970 -INT32_C(2560), 971 -INT32_C(5120), 972 -INT32_C(10240), 973 -INT32_C(20480), 974 -INT32_C(40960), 975 -INT32_C(81920), 976 -INT32_C(163840), 977 -INT32_C(327680), 978 -INT32_C(655360), 979 -INT32_C(1310720), 980 -INT32_C(2621440), 981 -INT32_C(5242880), 982 -INT32_C(10485760), 983 -INT32_C(20971520), 984 -INT32_C(41943040), 985 -INT32_C(83886080), 986 -INT32_C(167772160), 987 -INT32_C(335544320), 988 -INT32_C(671088640), 989 -INT32_C(1342177280), 990 -INT32_C(2147483647) - 1, 991 -INT32_C(2147483647) - 1, 992 -INT32_C(2147483647) - 1, 993 -INT32_C(2147483647) - 1, 994 -INT32_C(2147483647) - 1, 995 -INT32_C(65504), 996 -INT32_C(131008), 997 -INT32_C(262016), 998 -INT32_C(524032), 999 -INT32_C(1048064), 1000 -INT32_C(2096128), 1001 -INT32_C(4192256), 1002 -INT32_C(8384512), 1003 -INT32_C(16769024), 1004 -INT32_C(33538048), 1005 -INT32_C(67076096), 1006 -INT32_C(134152192), 1007 -INT32_C(268304384), 1008 -INT32_C(536608768), 1009 -INT32_C(1073217536), 1010 -INT32_C(2146435072), 1011 -INT32_C(2147483647) - 1, 1012 -INT32_C(2147483647) - 1, 1013 -INT32_C(2147483647) - 1, 1014 -INT32_C(2147483647) - 1, 1015 -INT32_C(2147483647) - 1, 1016 -INT32_C(2147483647) - 1, 1017 -INT32_C(2147483647) - 1, 1018 -INT32_C(2147483647) - 1, 1019 -INT32_C(2147483647) - 1, 1020 -INT32_C(2147483647) - 1, 1021 -INT32_C(2147483647) - 1, 1022 -INT32_C(2147483647) - 1, 1023 -INT32_C(2147483647) - 1, 1024 -INT32_C(2147483647) - 1, 1025 -INT32_C(2147483647) - 1, 1026 -INT32_C(2147483647) - 1, 1027 -INT32_C(2147483647) - 1, 1028 -INT32_C(2147483647) - 1, 1029 -INT32_C(2147483647) - 1, 1030 -INT32_C(2147483647) - 1, 1031 -INT32_C(2147483647) - 1, 1032 -INT32_C(2147483647) - 1, 1033 -INT32_C(2147483647) - 1, 1034 -INT32_C(2147483647) - 1, 1035 -INT32_C(2147483647) - 1, 1036 -INT32_C(2147483647) - 1, 1037 -INT32_C(2147483647) - 1, 1038 -INT32_C(2147483647) - 1, 1039 -INT32_C(2147483647) - 1, 1040 -INT32_C(2147483647) - 1, 1041 -INT32_C(2147483647) - 1, 1042 -INT32_C(2147483647) - 1, 1043 -INT32_C(2147483647) - 1, 1044 -INT32_C(2147483647) - 1, 1045 -INT32_C(2147483647) - 1, 1046 -INT32_C(2147483647) - 1, 1047 -INT32_C(2147483647) - 1, 1048 -INT32_C(2147483647) - 1, 1049 -INT32_C(2147483647) - 1, 1050 -INT32_C(2147483647) - 1, 1051 -INT32_C(2147483647) - 1, 1052 -INT32_C(2147483647) - 1, 1053 -INT32_C(2147483647) - 1, 1054 -INT32_C(2147483647) - 1, 1055 -INT32_C(2147483647) - 1, 1056 -INT32_C(2147483647) - 1, 1057 -INT32_C(2147483647) - 1, 1058 -INT32_C(2147483647) - 1, 1059 -INT32_C(2147483647) - 1, 1060 -INT32_C(2147483647) - 1, 1061 INT32_C(0), 1062 INT32_C(0), 1063 INT32_C(0), 1064 INT32_C(0), 1065 INT32_C(0), 1066 INT32_C(0), 1067 INT32_C(0), 1068 INT32_C(0), 1069 INT32_C(0), 1070 INT32_C(0), 1071 INT32_C(0), 1072 INT32_C(0), 1073 INT32_C(0), 1074 INT32_C(0), 1075 INT32_C(0), 1076 INT32_C(0), 1077 INT32_C(0), 1078 INT32_C(0), 1079 INT32_C(0), 1080 INT32_C(0), 1081 INT32_C(0), 1082 INT32_C(0), 1083 INT32_C(0), 1084 INT32_C(0), 1085 INT32_C(0), 1086 INT32_C(0), 1087 INT32_C(0), 1088 INT32_C(0), 1089 INT32_C(0), 1090 INT32_C(0), 1091 INT32_C(0), 1092 INT32_C(0), 1093 INT32_C(0), 1094 INT32_C(0), 1095 INT32_C(0), 1096 INT32_C(0), 1097 INT32_C(0), 1098 INT32_C(0), 1099 INT32_C(0), 1100 INT32_C(0), 1101 INT32_C(0), 1102 INT32_C(0), 1103 INT32_C(0), 1104 INT32_C(0), 1105 INT32_C(0), 1106 INT32_C(0), 1107 INT32_C(0), 1108 INT32_C(0), 1109 INT32_C(0), 1110 INT32_C(0), 1111 INT32_C(0), 1112 INT32_C(0), 1113 INT32_C(0), 1114 INT32_C(0), 1115 INT32_C(0), 1116 INT32_C(0), 1117 INT32_C(0), 1118 INT32_C(0), 1119 INT32_C(0), 1120 INT32_C(0), 1121 INT32_C(0), 1122 INT32_C(0), 1123 INT32_C(0), 1124 INT32_C(0), 1125 INT32_C(0), 1126 INT32_C(0), 1127 INT32_C(0), 1128 INT32_C(0), 1129 INT32_C(0), 1130 INT32_C(0), 1131 INT32_C(0), 1132 INT32_C(0), 1133 INT32_C(0), 1134 INT32_C(0), 1135 INT32_C(0), 1136 INT32_C(0), 1137 INT32_C(0), 1138 INT32_C(0), 1139 INT32_C(0), 1140 INT32_C(0), 1141 INT32_C(0), 1142 INT32_C(0), 1143 INT32_C(0), 1144 INT32_C(0), 1145 INT32_C(0), 1146 INT32_C(0), 1147 INT32_C(0), 1148 INT32_C(0), 1149 INT32_C(0), 1150 INT32_C(0), 1151 INT32_C(0), 1152 INT32_C(0), 1153 INT32_C(0), 1154 INT32_C(0), 1155 INT32_C(0), 1156 INT32_C(0), 1157 INT32_C(0), 1158 INT32_C(0), 1159 INT32_C(0), 1160 INT32_C(0), 1161 INT32_C(0), 1162 INT32_C(0), 1163 INT32_C(0), 1164 INT32_C(0), 1165 INT32_C(0), 1166 INT32_C(0), 1167 INT32_C(0), 1168 INT32_C(0), 1169 INT32_C(0), 1170 INT32_C(0), 1171 INT32_C(0), 1172 INT32_C(0), 1173 INT32_C(0), 1174 INT32_C(0), 1175 INT32_C(0), 1176 INT32_C(0), 1177 INT32_C(0), 1178 INT32_C(0), 1179 INT32_C(0), 1180 INT32_C(0), 1181 INT32_C(0), 1182 INT32_C(0), 1183 INT32_C(0), 1184 INT32_C(0), 1185 INT32_C(0), 1186 INT32_C(0), 1187 INT32_C(0), 1188 INT32_C(0), 1189 INT32_C(0), 1190 INT32_C(0), 1191 INT32_C(0), 1192 INT32_C(0), 1193 INT32_C(0), 1194 INT32_C(0), 1195 INT32_C(0), 1196 INT32_C(0), 1197 INT32_C(0), 1198 INT32_C(0), 1199 INT32_C(0), 1200 INT32_C(0), 1201 INT32_C(0), 1202 INT32_C(0), 1203 INT32_C(0), 1204 INT32_C(0), 1205 INT32_C(0), 1206 INT32_C(0), 1207 INT32_C(0), 1208 INT32_C(0), 1209 INT32_C(0), 1210 INT32_C(0), 1211 INT32_C(0), 1212 INT32_C(0), 1213 -INT32_C(1), 1214 -INT32_C(2), 1215 -INT32_C(4), 1216 -INT32_C(9), 1217 -INT32_C(18), 1218 -INT32_C(36), 1219 -INT32_C(72), 1220 -INT32_C(144), 1221 -INT32_C(288), 1222 -INT32_C(576), 1223 -INT32_C(1152), 1224 -INT32_C(2304), 1225 -INT32_C(4608), 1226 INT32_C(0), 1227 INT32_C(0), 1228 INT32_C(0), 1229 INT32_C(0), 1230 INT32_C(0), 1231 INT32_C(0), 1232 INT32_C(0), 1233 INT32_C(0), 1234 INT32_C(0), 1235 INT32_C(0), 1236 INT32_C(0), 1237 INT32_C(0), 1238 INT32_C(0), 1239 INT32_C(0), 1240 INT32_C(0), 1241 -INT32_C(1), 1242 -INT32_C(3), 1243 -INT32_C(7), 1244 -INT32_C(15), 1245 -INT32_C(31), 1246 -INT32_C(63), 1247 -INT32_C(127), 1248 -INT32_C(255), 1249 -INT32_C(511), 1250 -INT32_C(1023), 1251 -INT32_C(2046), 1252 -INT32_C(4092), 1253 -INT32_C(8184), 1254 -INT32_C(16368), 1255 -INT32_C(32736), 1256 -INT32_C(65472), 1257 -INT32_C(130944), 1258 -INT32_C(261888), 1259 INT32_C(0), 1260 INT32_C(0), 1261 INT32_C(0), 1262 INT32_C(0), 1263 INT32_C(0), 1264 INT32_C(0), 1265 INT32_C(0), 1266 INT32_C(0), 1267 INT32_C(0), 1268 INT32_C(0), 1269 INT32_C(0), 1270 INT32_C(0), 1271 INT32_C(0), 1272 INT32_C(0), 1273 INT32_C(0), 1274 INT32_C(0), 1275 INT32_C(0), 1276 INT32_C(0), 1277 INT32_C(0), 1278 INT32_C(0), 1279 INT32_C(0), 1280 INT32_C(0), 1281 INT32_C(0), 1282 INT32_C(0), 1283 -INT32_C(1), 1284 -INT32_C(2), 1285 -INT32_C(4), 1286 -INT32_C(8), 1287 -INT32_C(16), 1288 -INT32_C(32), 1289 -INT32_C(64), 1290 -INT32_C(128), 1291 -INT32_C(256), 1292 INT32_C(1024), 1293 INT32_C(2048), 1294 INT32_C(4096), 1295 INT32_C(8192), 1296 INT32_C(16384), 1297 INT32_C(32768), 1298 INT32_C(65536), 1299 INT32_C(131072), 1300 INT32_C(262144), 1301 INT32_C(524288), 1302 INT32_C(1048576), 1303 INT32_C(2097152), 1304 INT32_C(4194304), 1305 INT32_C(8388608), 1306 INT32_C(16777216), 1307 INT32_C(33554432), 1308 INT32_C(67108864), 1309 INT32_C(134217728), 1310 INT32_C(268435456), 1311 INT32_C(536870912), 1312 INT32_C(1073741824), 1313 INT32_C(2147483647), 1314 INT32_C(2147483647), 1315 INT32_C(2147483647), 1316 INT32_C(2147483647), 1317 INT32_C(2147483647), 1318 INT32_C(2147483647), 1319 INT32_C(2147483647), 1320 INT32_C(2147483647), 1321 INT32_C(2147483647), 1322 INT32_C(2147483647), 1323 INT32_C(2147483647), 1324 INT32_C(2147483647), 1325 INT32_C(1025), 1326 INT32_C(2050), 1327 INT32_C(4100), 1328 INT32_C(8200), 1329 INT32_C(16400), 1330 INT32_C(32800), 1331 INT32_C(65600), 1332 INT32_C(131200), 1333 INT32_C(262400), 1334 INT32_C(524800), 1335 INT32_C(1049600), 1336 INT32_C(2099200), 1337 INT32_C(4198400), 1338 INT32_C(8396800), 1339 INT32_C(16793600), 1340 INT32_C(33587200), 1341 INT32_C(67174400), 1342 INT32_C(134348800), 1343 INT32_C(268697600), 1344 INT32_C(537395200), 1345 INT32_C(1074790400), 1346 INT32_C(2147483647), 1347 INT32_C(2147483647), 1348 INT32_C(2147483647), 1349 INT32_C(2147483647), 1350 INT32_C(2147483647), 1351 INT32_C(2147483647), 1352 INT32_C(2147483647), 1353 INT32_C(2147483647), 1354 INT32_C(2147483647), 1355 INT32_C(2147483647), 1356 INT32_C(2147483647), 1357 INT32_C(2147483647), 1358 INT32_C(1026), 1359 INT32_C(2052), 1360 INT32_C(4104), 1361 INT32_C(8208), 1362 INT32_C(16416), 1363 INT32_C(32832), 1364 INT32_C(65664), 1365 INT32_C(131328), 1366 INT32_C(262656), 1367 INT32_C(525312), 1368 INT32_C(1050624), 1369 INT32_C(2101248), 1370 INT32_C(4202496), 1371 INT32_C(8404992), 1372 INT32_C(16809984), 1373 INT32_C(33619968), 1374 INT32_C(67239936), 1375 INT32_C(134479872), 1376 INT32_C(268959744), 1377 INT32_C(537919488), 1378 INT32_C(1075838976), 1379 INT32_C(2147483647), 1380 INT32_C(2147483647), 1381 INT32_C(2147483647), 1382 INT32_C(2147483647), 1383 INT32_C(2147483647), 1384 INT32_C(2147483647), 1385 INT32_C(2147483647), 1386 INT32_C(2147483647), 1387 INT32_C(2147483647), 1388 INT32_C(2147483647), 1389 INT32_C(2147483647), 1390 INT32_C(2147483647), 1391 INT32_C(1027), 1392 INT32_C(2054), 1393 INT32_C(4108), 1394 INT32_C(8216), 1395 INT32_C(16432), 1396 INT32_C(32864), 1397 INT32_C(65728), 1398 INT32_C(131456), 1399 INT32_C(262912), 1400 INT32_C(525824), 1401 INT32_C(1051648), 1402 INT32_C(2103296), 1403 INT32_C(4206592), 1404 INT32_C(8413184), 1405 INT32_C(16826368), 1406 INT32_C(33652736), 1407 INT32_C(67305472), 1408 INT32_C(134610944), 1409 INT32_C(269221888), 1410 INT32_C(538443776), 1411 INT32_C(1076887552), 1412 INT32_C(2147483647), 1413 INT32_C(2147483647), 1414 INT32_C(2147483647), 1415 INT32_C(2147483647), 1416 INT32_C(2147483647), 1417 INT32_C(2147483647), 1418 INT32_C(2147483647), 1419 INT32_C(2147483647), 1420 INT32_C(2147483647), 1421 INT32_C(2147483647), 1422 INT32_C(2147483647), 1423 INT32_C(2147483647), 1424 INT32_C(1347), 1425 INT32_C(2694), 1426 INT32_C(5388), 1427 INT32_C(10776), 1428 INT32_C(21552), 1429 INT32_C(43104), 1430 INT32_C(86208), 1431 INT32_C(172416), 1432 INT32_C(344832), 1433 INT32_C(689664), 1434 INT32_C(1379328), 1435 INT32_C(2758656), 1436 INT32_C(5517312), 1437 INT32_C(11034624), 1438 INT32_C(22069248), 1439 INT32_C(44138496), 1440 INT32_C(88276992), 1441 INT32_C(176553984), 1442 INT32_C(353107968), 1443 INT32_C(706215936), 1444 INT32_C(1412431872), 1445 INT32_C(2147483647), 1446 INT32_C(2147483647), 1447 INT32_C(2147483647), 1448 INT32_C(2147483647), 1449 INT32_C(2147483647), 1450 INT32_C(2147483647), 1451 INT32_C(2147483647), 1452 INT32_C(2147483647), 1453 INT32_C(2147483647), 1454 INT32_C(2147483647), 1455 INT32_C(2147483647), 1456 INT32_C(2147483647), 1457 INT32_C(2044), 1458 INT32_C(4088), 1459 INT32_C(8176), 1460 INT32_C(16352), 1461 INT32_C(32704), 1462 INT32_C(65408), 1463 INT32_C(130816), 1464 INT32_C(261632), 1465 INT32_C(523264), 1466 INT32_C(1046528), 1467 INT32_C(2093056), 1468 INT32_C(4186112), 1469 INT32_C(8372224), 1470 INT32_C(16744448), 1471 INT32_C(33488896), 1472 INT32_C(66977792), 1473 INT32_C(133955584), 1474 INT32_C(267911168), 1475 INT32_C(535822336), 1476 INT32_C(1071644672), 1477 INT32_C(2143289344), 1478 INT32_C(2147483647), 1479 INT32_C(2147483647), 1480 INT32_C(2147483647), 1481 INT32_C(2147483647), 1482 INT32_C(2147483647), 1483 INT32_C(2147483647), 1484 INT32_C(2147483647), 1485 INT32_C(2147483647), 1486 INT32_C(2147483647), 1487 INT32_C(2147483647), 1488 INT32_C(2147483647), 1489 INT32_C(2147483647), 1490 INT32_C(2045), 1491 INT32_C(4090), 1492 INT32_C(8180), 1493 INT32_C(16360), 1494 INT32_C(32720), 1495 INT32_C(65440), 1496 INT32_C(130880), 1497 INT32_C(261760), 1498 INT32_C(523520), 1499 INT32_C(1047040), 1500 INT32_C(2094080), 1501 INT32_C(4188160), 1502 INT32_C(8376320), 1503 INT32_C(16752640), 1504 INT32_C(33505280), 1505 INT32_C(67010560), 1506 INT32_C(134021120), 1507 INT32_C(268042240), 1508 INT32_C(536084480), 1509 INT32_C(1072168960), 1510 INT32_C(2144337920), 1511 INT32_C(2147483647), 1512 INT32_C(2147483647), 1513 INT32_C(2147483647), 1514 INT32_C(2147483647), 1515 INT32_C(2147483647), 1516 INT32_C(2147483647), 1517 INT32_C(2147483647), 1518 INT32_C(2147483647), 1519 INT32_C(2147483647), 1520 INT32_C(2147483647), 1521 INT32_C(2147483647), 1522 INT32_C(2147483647), 1523 INT32_C(2046), 1524 INT32_C(4092), 1525 INT32_C(8184), 1526 INT32_C(16368), 1527 INT32_C(32736), 1528 INT32_C(65472), 1529 INT32_C(130944), 1530 INT32_C(261888), 1531 INT32_C(523776), 1532 INT32_C(1047552), 1533 INT32_C(2095104), 1534 INT32_C(4190208), 1535 INT32_C(8380416), 1536 INT32_C(16760832), 1537 INT32_C(33521664), 1538 INT32_C(67043328), 1539 INT32_C(134086656), 1540 INT32_C(268173312), 1541 INT32_C(536346624), 1542 INT32_C(1072693248), 1543 INT32_C(2145386496), 1544 INT32_C(2147483647), 1545 INT32_C(2147483647), 1546 INT32_C(2147483647), 1547 INT32_C(2147483647), 1548 INT32_C(2147483647), 1549 INT32_C(2147483647), 1550 INT32_C(2147483647), 1551 INT32_C(2147483647), 1552 INT32_C(2147483647), 1553 INT32_C(2147483647), 1554 INT32_C(2147483647), 1555 INT32_C(2147483647), 1556 INT32_C(2047), 1557 INT32_C(4094), 1558 INT32_C(8188), 1559 INT32_C(16376), 1560 INT32_C(32752), 1561 INT32_C(65504), 1562 INT32_C(131008), 1563 INT32_C(262016), 1564 INT32_C(524032), 1565 INT32_C(1048064), 1566 INT32_C(2096128), 1567 INT32_C(4192256), 1568 INT32_C(8384512), 1569 INT32_C(16769024), 1570 INT32_C(33538048), 1571 INT32_C(67076096), 1572 INT32_C(134152192), 1573 INT32_C(268304384), 1574 INT32_C(536608768), 1575 INT32_C(1073217536), 1576 INT32_C(2146435072), 1577 INT32_C(2147483647), 1578 INT32_C(2147483647), 1579 INT32_C(2147483647), 1580 INT32_C(2147483647), 1581 INT32_C(2147483647), 1582 INT32_C(2147483647), 1583 INT32_C(2147483647), 1584 INT32_C(2147483647), 1585 INT32_C(2147483647), 1586 INT32_C(2147483647), 1587 INT32_C(2147483647), 1588 INT32_C(2147483647), 1589 INT32_C(512), 1590 INT32_C(1024), 1591 INT32_C(2048), 1592 INT32_C(4096), 1593 INT32_C(8192), 1594 INT32_C(16384), 1595 INT32_C(32768), 1596 INT32_C(65536), 1597 INT32_C(131072), 1598 INT32_C(262144), 1599 INT32_C(524288), 1600 INT32_C(1048576), 1601 INT32_C(2097152), 1602 INT32_C(4194304), 1603 INT32_C(8388608), 1604 INT32_C(16777216), 1605 INT32_C(33554432), 1606 INT32_C(67108864), 1607 INT32_C(134217728), 1608 INT32_C(268435456), 1609 INT32_C(536870912), 1610 INT32_C(1073741824), 1611 INT32_C(2147483647), 1612 INT32_C(2147483647), 1613 INT32_C(2147483647), 1614 INT32_C(2147483647), 1615 INT32_C(2147483647), 1616 INT32_C(2147483647), 1617 INT32_C(2147483647), 1618 INT32_C(2147483647), 1619 INT32_C(2147483647), 1620 INT32_C(2147483647), 1621 INT32_C(2147483647), 1622 INT32_C(512), 1623 INT32_C(1025), 1624 INT32_C(2050), 1625 INT32_C(4100), 1626 INT32_C(8200), 1627 INT32_C(16400), 1628 INT32_C(32800), 1629 INT32_C(65600), 1630 INT32_C(131200), 1631 INT32_C(262400), 1632 INT32_C(524800), 1633 INT32_C(1049600), 1634 INT32_C(2099200), 1635 INT32_C(4198400), 1636 INT32_C(8396800), 1637 INT32_C(16793600), 1638 INT32_C(33587200), 1639 INT32_C(67174400), 1640 INT32_C(134348800), 1641 INT32_C(268697600), 1642 INT32_C(537395200), 1643 INT32_C(1074790400), 1644 INT32_C(2147483647), 1645 INT32_C(2147483647), 1646 INT32_C(2147483647), 1647 INT32_C(2147483647), 1648 INT32_C(2147483647), 1649 INT32_C(2147483647), 1650 INT32_C(2147483647), 1651 INT32_C(2147483647), 1652 INT32_C(2147483647), 1653 INT32_C(2147483647), 1654 INT32_C(2147483647), 1655 INT32_C(513), 1656 INT32_C(1026), 1657 INT32_C(2052), 1658 INT32_C(4104), 1659 INT32_C(8208), 1660 INT32_C(16416), 1661 INT32_C(32832), 1662 INT32_C(65664), 1663 INT32_C(131328), 1664 INT32_C(262656), 1665 INT32_C(525312), 1666 INT32_C(1050624), 1667 INT32_C(2101248), 1668 INT32_C(4202496), 1669 INT32_C(8404992), 1670 INT32_C(16809984), 1671 INT32_C(33619968), 1672 INT32_C(67239936), 1673 INT32_C(134479872), 1674 INT32_C(268959744), 1675 INT32_C(537919488), 1676 INT32_C(1075838976), 1677 INT32_C(2147483647), 1678 INT32_C(2147483647), 1679 INT32_C(2147483647), 1680 INT32_C(2147483647), 1681 INT32_C(2147483647), 1682 INT32_C(2147483647), 1683 INT32_C(2147483647), 1684 INT32_C(2147483647), 1685 INT32_C(2147483647), 1686 INT32_C(2147483647), 1687 INT32_C(2147483647), 1688 INT32_C(513), 1689 INT32_C(1027), 1690 INT32_C(2054), 1691 INT32_C(4108), 1692 INT32_C(8216), 1693 INT32_C(16432), 1694 INT32_C(32864), 1695 INT32_C(65728), 1696 INT32_C(131456), 1697 INT32_C(262912), 1698 INT32_C(525824), 1699 INT32_C(1051648), 1700 INT32_C(2103296), 1701 INT32_C(4206592), 1702 INT32_C(8413184), 1703 INT32_C(16826368), 1704 INT32_C(33652736), 1705 INT32_C(67305472), 1706 INT32_C(134610944), 1707 INT32_C(269221888), 1708 INT32_C(538443776), 1709 INT32_C(1076887552), 1710 INT32_C(2147483647), 1711 INT32_C(2147483647), 1712 INT32_C(2147483647), 1713 INT32_C(2147483647), 1714 INT32_C(2147483647), 1715 INT32_C(2147483647), 1716 INT32_C(2147483647), 1717 INT32_C(2147483647), 1718 INT32_C(2147483647), 1719 INT32_C(2147483647), 1720 INT32_C(2147483647), 1721 INT32_C(912), 1722 INT32_C(1825), 1723 INT32_C(3650), 1724 INT32_C(7300), 1725 INT32_C(14600), 1726 INT32_C(29200), 1727 INT32_C(58400), 1728 INT32_C(116800), 1729 INT32_C(233600), 1730 INT32_C(467200), 1731 INT32_C(934400), 1732 INT32_C(1868800), 1733 INT32_C(3737600), 1734 INT32_C(7475200), 1735 INT32_C(14950400), 1736 INT32_C(29900800), 1737 INT32_C(59801600), 1738 INT32_C(119603200), 1739 INT32_C(239206400), 1740 INT32_C(478412800), 1741 INT32_C(956825600), 1742 INT32_C(1913651200), 1743 INT32_C(2147483647), 1744 INT32_C(2147483647), 1745 INT32_C(2147483647), 1746 INT32_C(2147483647), 1747 INT32_C(2147483647), 1748 INT32_C(2147483647), 1749 INT32_C(2147483647), 1750 INT32_C(2147483647), 1751 INT32_C(2147483647), 1752 INT32_C(2147483647), 1753 INT32_C(2147483647), 1754 INT32_C(1022), 1755 INT32_C(2044), 1756 INT32_C(4088), 1757 INT32_C(8176), 1758 INT32_C(16352), 1759 INT32_C(32704), 1760 INT32_C(65408), 1761 INT32_C(130816), 1762 INT32_C(261632), 1763 INT32_C(523264), 1764 INT32_C(1046528), 1765 INT32_C(2093056), 1766 INT32_C(4186112), 1767 INT32_C(8372224), 1768 INT32_C(16744448), 1769 INT32_C(33488896), 1770 INT32_C(66977792), 1771 INT32_C(133955584), 1772 INT32_C(267911168), 1773 INT32_C(535822336), 1774 INT32_C(1071644672), 1775 INT32_C(2143289344), 1776 INT32_C(2147483647), 1777 INT32_C(2147483647), 1778 INT32_C(2147483647), 1779 INT32_C(2147483647), 1780 INT32_C(2147483647), 1781 INT32_C(2147483647), 1782 INT32_C(2147483647), 1783 INT32_C(2147483647), 1784 INT32_C(2147483647), 1785 INT32_C(2147483647), 1786 INT32_C(2147483647), 1787 INT32_C(1022), 1788 INT32_C(2045), 1789 INT32_C(4090), 1790 INT32_C(8180), 1791 INT32_C(16360), 1792 INT32_C(32720), 1793 INT32_C(65440), 1794 INT32_C(130880), 1795 INT32_C(261760), 1796 INT32_C(523520), 1797 INT32_C(1047040), 1798 INT32_C(2094080), 1799 INT32_C(4188160), 1800 INT32_C(8376320), 1801 INT32_C(16752640), 1802 INT32_C(33505280), 1803 INT32_C(67010560), 1804 INT32_C(134021120), 1805 INT32_C(268042240), 1806 INT32_C(536084480), 1807 INT32_C(1072168960), 1808 INT32_C(2144337920), 1809 INT32_C(2147483647), 1810 INT32_C(2147483647), 1811 INT32_C(2147483647), 1812 INT32_C(2147483647), 1813 INT32_C(2147483647), 1814 INT32_C(2147483647), 1815 INT32_C(2147483647), 1816 INT32_C(2147483647), 1817 INT32_C(2147483647), 1818 INT32_C(2147483647), 1819 INT32_C(2147483647), 1820 INT32_C(1023), 1821 INT32_C(2046), 1822 INT32_C(4092), 1823 INT32_C(8184), 1824 INT32_C(16368), 1825 INT32_C(32736), 1826 INT32_C(65472), 1827 INT32_C(130944), 1828 INT32_C(261888), 1829 INT32_C(523776), 1830 INT32_C(1047552), 1831 INT32_C(2095104), 1832 INT32_C(4190208), 1833 INT32_C(8380416), 1834 INT32_C(16760832), 1835 INT32_C(33521664), 1836 INT32_C(67043328), 1837 INT32_C(134086656), 1838 INT32_C(268173312), 1839 INT32_C(536346624), 1840 INT32_C(1072693248), 1841 INT32_C(2145386496), 1842 INT32_C(2147483647), 1843 INT32_C(2147483647), 1844 INT32_C(2147483647), 1845 INT32_C(2147483647), 1846 INT32_C(2147483647), 1847 INT32_C(2147483647), 1848 INT32_C(2147483647), 1849 INT32_C(2147483647), 1850 INT32_C(2147483647), 1851 INT32_C(2147483647), 1852 INT32_C(2147483647), 1853 INT32_C(1023), 1854 INT32_C(2047), 1855 INT32_C(4094), 1856 INT32_C(8188), 1857 INT32_C(16376), 1858 INT32_C(32752), 1859 INT32_C(65504), 1860 INT32_C(131008), 1861 INT32_C(262016), 1862 INT32_C(524032), 1863 INT32_C(1048064), 1864 INT32_C(2096128), 1865 INT32_C(4192256), 1866 INT32_C(8384512), 1867 INT32_C(16769024), 1868 INT32_C(33538048), 1869 INT32_C(67076096), 1870 INT32_C(134152192), 1871 INT32_C(268304384), 1872 INT32_C(536608768), 1873 INT32_C(1073217536), 1874 INT32_C(2146435072), 1875 INT32_C(2147483647), 1876 INT32_C(2147483647), 1877 INT32_C(2147483647), 1878 INT32_C(2147483647), 1879 INT32_C(2147483647), 1880 INT32_C(2147483647), 1881 INT32_C(2147483647), 1882 INT32_C(2147483647), 1883 INT32_C(2147483647), 1884 INT32_C(2147483647), 1885 INT32_C(2147483647), 1886 INT32_C(256), 1887 INT32_C(512), 1888 INT32_C(1024), 1889 INT32_C(2048), 1890 INT32_C(4096), 1891 INT32_C(8192), 1892 INT32_C(16384), 1893 INT32_C(32768), 1894 INT32_C(65536), 1895 INT32_C(131072), 1896 INT32_C(262144), 1897 INT32_C(524288), 1898 INT32_C(1048576), 1899 INT32_C(2097152), 1900 INT32_C(4194304), 1901 INT32_C(8388608), 1902 INT32_C(16777216), 1903 INT32_C(33554432), 1904 INT32_C(67108864), 1905 INT32_C(134217728), 1906 INT32_C(268435456), 1907 INT32_C(536870912), 1908 INT32_C(1073741824), 1909 INT32_C(2147483647), 1910 INT32_C(2147483647), 1911 INT32_C(2147483647), 1912 INT32_C(2147483647), 1913 INT32_C(2147483647), 1914 INT32_C(2147483647), 1915 INT32_C(2147483647), 1916 INT32_C(2147483647), 1917 INT32_C(2147483647), 1918 INT32_C(2147483647), 1919 INT32_C(256), 1920 INT32_C(512), 1921 INT32_C(1025), 1922 INT32_C(2050), 1923 INT32_C(4100), 1924 INT32_C(8200), 1925 INT32_C(16400), 1926 INT32_C(32800), 1927 INT32_C(65600), 1928 INT32_C(131200), 1929 INT32_C(262400), 1930 INT32_C(524800), 1931 INT32_C(1049600), 1932 INT32_C(2099200), 1933 INT32_C(4198400), 1934 INT32_C(8396800), 1935 INT32_C(16793600), 1936 INT32_C(33587200), 1937 INT32_C(67174400), 1938 INT32_C(134348800), 1939 INT32_C(268697600), 1940 INT32_C(537395200), 1941 INT32_C(1074790400), 1942 INT32_C(2147483647), 1943 INT32_C(2147483647), 1944 INT32_C(2147483647), 1945 INT32_C(2147483647), 1946 INT32_C(2147483647), 1947 INT32_C(2147483647), 1948 INT32_C(2147483647), 1949 INT32_C(2147483647), 1950 INT32_C(2147483647), 1951 INT32_C(2147483647), 1952 INT32_C(256), 1953 INT32_C(513), 1954 INT32_C(1026), 1955 INT32_C(2052), 1956 INT32_C(4104), 1957 INT32_C(8208), 1958 INT32_C(16416), 1959 INT32_C(32832), 1960 INT32_C(65664), 1961 INT32_C(131328), 1962 INT32_C(262656), 1963 INT32_C(525312), 1964 INT32_C(1050624), 1965 INT32_C(2101248), 1966 INT32_C(4202496), 1967 INT32_C(8404992), 1968 INT32_C(16809984), 1969 INT32_C(33619968), 1970 INT32_C(67239936), 1971 INT32_C(134479872), 1972 INT32_C(268959744), 1973 INT32_C(537919488), 1974 INT32_C(1075838976), 1975 INT32_C(2147483647), 1976 INT32_C(2147483647), 1977 INT32_C(2147483647), 1978 INT32_C(2147483647), 1979 INT32_C(2147483647), 1980 INT32_C(2147483647), 1981 INT32_C(2147483647), 1982 INT32_C(2147483647), 1983 INT32_C(2147483647), 1984 INT32_C(2147483647), 1985 INT32_C(256), 1986 INT32_C(513), 1987 INT32_C(1027), 1988 INT32_C(2054), 1989 INT32_C(4108), 1990 INT32_C(8216), 1991 INT32_C(16432), 1992 INT32_C(32864), 1993 INT32_C(65728), 1994 INT32_C(131456), 1995 INT32_C(262912), 1996 INT32_C(525824), 1997 INT32_C(1051648), 1998 INT32_C(2103296), 1999 INT32_C(4206592), 2000 INT32_C(8413184), 2001 INT32_C(16826368), 2002 INT32_C(33652736), 2003 INT32_C(67305472), 2004 INT32_C(134610944), 2005 INT32_C(269221888), 2006 INT32_C(538443776), 2007 INT32_C(1076887552), 2008 INT32_C(2147483647), 2009 INT32_C(2147483647), 2010 INT32_C(2147483647), 2011 INT32_C(2147483647), 2012 INT32_C(2147483647), 2013 INT32_C(2147483647), 2014 INT32_C(2147483647), 2015 INT32_C(2147483647), 2016 INT32_C(2147483647), 2017 INT32_C(2147483647), 2018 INT32_C(332), 2019 INT32_C(665), 2020 INT32_C(1330), 2021 INT32_C(2660), 2022 INT32_C(5320), 2023 INT32_C(10640), 2024 INT32_C(21280), 2025 INT32_C(42560), 2026 INT32_C(85120), 2027 INT32_C(170240), 2028 INT32_C(340480), 2029 INT32_C(680960), 2030 INT32_C(1361920), 2031 INT32_C(2723840), 2032 INT32_C(5447680), 2033 INT32_C(10895360), 2034 INT32_C(21790720), 2035 INT32_C(43581440), 2036 INT32_C(87162880), 2037 INT32_C(174325760), 2038 INT32_C(348651520), 2039 INT32_C(697303040), 2040 INT32_C(1394606080), 2041 INT32_C(2147483647), 2042 INT32_C(2147483647), 2043 INT32_C(2147483647), 2044 INT32_C(2147483647), 2045 INT32_C(2147483647), 2046 INT32_C(2147483647), 2047 INT32_C(2147483647), 2048 INT32_C(2147483647), 2049 INT32_C(2147483647), 2050 INT32_C(2147483647), 2051 INT32_C(511), 2052 INT32_C(1022), 2053 INT32_C(2044), 2054 INT32_C(4088), 2055 INT32_C(8176), 2056 INT32_C(16352), 2057 INT32_C(32704), 2058 INT32_C(65408), 2059 INT32_C(130816), 2060 INT32_C(261632), 2061 INT32_C(523264), 2062 INT32_C(1046528), 2063 INT32_C(2093056), 2064 INT32_C(4186112), 2065 INT32_C(8372224), 2066 INT32_C(16744448), 2067 INT32_C(33488896), 2068 INT32_C(66977792), 2069 INT32_C(133955584), 2070 INT32_C(267911168), 2071 INT32_C(535822336), 2072 INT32_C(1071644672), 2073 INT32_C(2143289344), 2074 INT32_C(2147483647), 2075 INT32_C(2147483647), 2076 INT32_C(2147483647), 2077 INT32_C(2147483647), 2078 INT32_C(2147483647), 2079 INT32_C(2147483647), 2080 INT32_C(2147483647), 2081 INT32_C(2147483647), 2082 INT32_C(2147483647), 2083 INT32_C(2147483647), 2084 INT32_C(511), 2085 INT32_C(1022), 2086 INT32_C(2045), 2087 INT32_C(4090), 2088 INT32_C(8180), 2089 INT32_C(16360), 2090 INT32_C(32720), 2091 INT32_C(65440), 2092 INT32_C(130880), 2093 INT32_C(261760), 2094 INT32_C(523520), 2095 INT32_C(1047040), 2096 INT32_C(2094080), 2097 INT32_C(4188160), 2098 INT32_C(8376320), 2099 INT32_C(16752640), 2100 INT32_C(33505280), 2101 INT32_C(67010560), 2102 INT32_C(134021120), 2103 INT32_C(268042240), 2104 INT32_C(536084480), 2105 INT32_C(1072168960), 2106 INT32_C(2144337920), 2107 INT32_C(2147483647), 2108 INT32_C(2147483647), 2109 INT32_C(2147483647), 2110 INT32_C(2147483647), 2111 INT32_C(2147483647), 2112 INT32_C(2147483647), 2113 INT32_C(2147483647), 2114 INT32_C(2147483647), 2115 INT32_C(2147483647), 2116 INT32_C(2147483647), 2117 INT32_C(511), 2118 INT32_C(1023), 2119 INT32_C(2046), 2120 INT32_C(4092), 2121 INT32_C(8184), 2122 INT32_C(16368), 2123 INT32_C(32736), 2124 INT32_C(65472), 2125 INT32_C(130944), 2126 INT32_C(261888), 2127 INT32_C(523776), 2128 INT32_C(1047552), 2129 INT32_C(2095104), 2130 INT32_C(4190208), 2131 INT32_C(8380416), 2132 INT32_C(16760832), 2133 INT32_C(33521664), 2134 INT32_C(67043328), 2135 INT32_C(134086656), 2136 INT32_C(268173312), 2137 INT32_C(536346624), 2138 INT32_C(1072693248), 2139 INT32_C(2145386496), 2140 INT32_C(2147483647), 2141 INT32_C(2147483647), 2142 INT32_C(2147483647), 2143 INT32_C(2147483647), 2144 INT32_C(2147483647), 2145 INT32_C(2147483647), 2146 INT32_C(2147483647), 2147 INT32_C(2147483647), 2148 INT32_C(2147483647), 2149 INT32_C(2147483647), 2150 INT32_C(511), 2151 INT32_C(1023), 2152 INT32_C(2047), 2153 INT32_C(4094), 2154 INT32_C(8188), 2155 INT32_C(16376), 2156 INT32_C(32752), 2157 INT32_C(65504), 2158 INT32_C(131008), 2159 INT32_C(262016), 2160 INT32_C(524032), 2161 INT32_C(1048064), 2162 INT32_C(2096128), 2163 INT32_C(4192256), 2164 INT32_C(8384512), 2165 INT32_C(16769024), 2166 INT32_C(33538048), 2167 INT32_C(67076096), 2168 INT32_C(134152192), 2169 INT32_C(268304384), 2170 INT32_C(536608768), 2171 INT32_C(1073217536), 2172 INT32_C(2146435072), 2173 INT32_C(2147483647), 2174 INT32_C(2147483647), 2175 INT32_C(2147483647), 2176 INT32_C(2147483647), 2177 INT32_C(2147483647), 2178 INT32_C(2147483647), 2179 INT32_C(2147483647), 2180 INT32_C(2147483647), 2181 INT32_C(2147483647), 2182 INT32_C(2147483647), 2183 -INT32_C(1024), 2184 -INT32_C(2048), 2185 -INT32_C(4096), 2186 -INT32_C(8192), 2187 -INT32_C(16384), 2188 -INT32_C(32768), 2189 -INT32_C(65536), 2190 -INT32_C(131072), 2191 -INT32_C(262144), 2192 -INT32_C(524288), 2193 -INT32_C(1048576), 2194 -INT32_C(2097152), 2195 -INT32_C(4194304), 2196 -INT32_C(8388608), 2197 -INT32_C(16777216), 2198 -INT32_C(33554432), 2199 -INT32_C(67108864), 2200 -INT32_C(134217728), 2201 -INT32_C(268435456), 2202 -INT32_C(536870912), 2203 -INT32_C(1073741824), 2204 -INT32_C(2147483647) - 1, 2205 -INT32_C(2147483647) - 1, 2206 -INT32_C(2147483647) - 1, 2207 -INT32_C(2147483647) - 1, 2208 -INT32_C(2147483647) - 1, 2209 -INT32_C(2147483647) - 1, 2210 -INT32_C(2147483647) - 1, 2211 -INT32_C(2147483647) - 1, 2212 -INT32_C(2147483647) - 1, 2213 -INT32_C(2147483647) - 1, 2214 -INT32_C(2147483647) - 1, 2215 -INT32_C(2147483647) - 1, 2216 -INT32_C(1025), 2217 -INT32_C(2050), 2218 -INT32_C(4100), 2219 -INT32_C(8200), 2220 -INT32_C(16400), 2221 -INT32_C(32800), 2222 -INT32_C(65600), 2223 -INT32_C(131200), 2224 -INT32_C(262400), 2225 -INT32_C(524800), 2226 -INT32_C(1049600), 2227 -INT32_C(2099200), 2228 -INT32_C(4198400), 2229 -INT32_C(8396800), 2230 -INT32_C(16793600), 2231 -INT32_C(33587200), 2232 -INT32_C(67174400), 2233 -INT32_C(134348800), 2234 -INT32_C(268697600), 2235 -INT32_C(537395200), 2236 -INT32_C(1074790400), 2237 -INT32_C(2147483647) - 1, 2238 -INT32_C(2147483647) - 1, 2239 -INT32_C(2147483647) - 1, 2240 -INT32_C(2147483647) - 1, 2241 -INT32_C(2147483647) - 1, 2242 -INT32_C(2147483647) - 1, 2243 -INT32_C(2147483647) - 1, 2244 -INT32_C(2147483647) - 1, 2245 -INT32_C(2147483647) - 1, 2246 -INT32_C(2147483647) - 1, 2247 -INT32_C(2147483647) - 1, 2248 -INT32_C(2147483647) - 1, 2249 -INT32_C(1026), 2250 -INT32_C(2052), 2251 -INT32_C(4104), 2252 -INT32_C(8208), 2253 -INT32_C(16416), 2254 -INT32_C(32832), 2255 -INT32_C(65664), 2256 -INT32_C(131328), 2257 -INT32_C(262656), 2258 -INT32_C(525312), 2259 -INT32_C(1050624), 2260 -INT32_C(2101248), 2261 -INT32_C(4202496), 2262 -INT32_C(8404992), 2263 -INT32_C(16809984), 2264 -INT32_C(33619968), 2265 -INT32_C(67239936), 2266 -INT32_C(134479872), 2267 -INT32_C(268959744), 2268 -INT32_C(537919488), 2269 -INT32_C(1075838976), 2270 -INT32_C(2147483647) - 1, 2271 -INT32_C(2147483647) - 1, 2272 -INT32_C(2147483647) - 1, 2273 -INT32_C(2147483647) - 1, 2274 -INT32_C(2147483647) - 1, 2275 -INT32_C(2147483647) - 1, 2276 -INT32_C(2147483647) - 1, 2277 -INT32_C(2147483647) - 1, 2278 -INT32_C(2147483647) - 1, 2279 -INT32_C(2147483647) - 1, 2280 -INT32_C(2147483647) - 1, 2281 -INT32_C(2147483647) - 1, 2282 -INT32_C(1027), 2283 -INT32_C(2054), 2284 -INT32_C(4108), 2285 -INT32_C(8216), 2286 -INT32_C(16432), 2287 -INT32_C(32864), 2288 -INT32_C(65728), 2289 -INT32_C(131456), 2290 -INT32_C(262912), 2291 -INT32_C(525824), 2292 -INT32_C(1051648), 2293 -INT32_C(2103296), 2294 -INT32_C(4206592), 2295 -INT32_C(8413184), 2296 -INT32_C(16826368), 2297 -INT32_C(33652736), 2298 -INT32_C(67305472), 2299 -INT32_C(134610944), 2300 -INT32_C(269221888), 2301 -INT32_C(538443776), 2302 -INT32_C(1076887552), 2303 -INT32_C(2147483647) - 1, 2304 -INT32_C(2147483647) - 1, 2305 -INT32_C(2147483647) - 1, 2306 -INT32_C(2147483647) - 1, 2307 -INT32_C(2147483647) - 1, 2308 -INT32_C(2147483647) - 1, 2309 -INT32_C(2147483647) - 1, 2310 -INT32_C(2147483647) - 1, 2311 -INT32_C(2147483647) - 1, 2312 -INT32_C(2147483647) - 1, 2313 -INT32_C(2147483647) - 1, 2314 -INT32_C(2147483647) - 1, 2315 -INT32_C(1347), 2316 -INT32_C(2694), 2317 -INT32_C(5388), 2318 -INT32_C(10776), 2319 -INT32_C(21552), 2320 -INT32_C(43104), 2321 -INT32_C(86208), 2322 -INT32_C(172416), 2323 -INT32_C(344832), 2324 -INT32_C(689664), 2325 -INT32_C(1379328), 2326 -INT32_C(2758656), 2327 -INT32_C(5517312), 2328 -INT32_C(11034624), 2329 -INT32_C(22069248), 2330 -INT32_C(44138496), 2331 -INT32_C(88276992), 2332 -INT32_C(176553984), 2333 -INT32_C(353107968), 2334 -INT32_C(706215936), 2335 -INT32_C(1412431872), 2336 -INT32_C(2147483647) - 1, 2337 -INT32_C(2147483647) - 1, 2338 -INT32_C(2147483647) - 1, 2339 -INT32_C(2147483647) - 1, 2340 -INT32_C(2147483647) - 1, 2341 -INT32_C(2147483647) - 1, 2342 -INT32_C(2147483647) - 1, 2343 -INT32_C(2147483647) - 1, 2344 -INT32_C(2147483647) - 1, 2345 -INT32_C(2147483647) - 1, 2346 -INT32_C(2147483647) - 1, 2347 -INT32_C(2147483647) - 1, 2348 -INT32_C(2044), 2349 -INT32_C(4088), 2350 -INT32_C(8176), 2351 -INT32_C(16352), 2352 -INT32_C(32704), 2353 -INT32_C(65408), 2354 -INT32_C(130816), 2355 -INT32_C(261632), 2356 -INT32_C(523264), 2357 -INT32_C(1046528), 2358 -INT32_C(2093056), 2359 -INT32_C(4186112), 2360 -INT32_C(8372224), 2361 -INT32_C(16744448), 2362 -INT32_C(33488896), 2363 -INT32_C(66977792), 2364 -INT32_C(133955584), 2365 -INT32_C(267911168), 2366 -INT32_C(535822336), 2367 -INT32_C(1071644672), 2368 -INT32_C(2143289344), 2369 -INT32_C(2147483647) - 1, 2370 -INT32_C(2147483647) - 1, 2371 -INT32_C(2147483647) - 1, 2372 -INT32_C(2147483647) - 1, 2373 -INT32_C(2147483647) - 1, 2374 -INT32_C(2147483647) - 1, 2375 -INT32_C(2147483647) - 1, 2376 -INT32_C(2147483647) - 1, 2377 -INT32_C(2147483647) - 1, 2378 -INT32_C(2147483647) - 1, 2379 -INT32_C(2147483647) - 1, 2380 -INT32_C(2147483647) - 1, 2381 -INT32_C(2045), 2382 -INT32_C(4090), 2383 -INT32_C(8180), 2384 -INT32_C(16360), 2385 -INT32_C(32720), 2386 -INT32_C(65440), 2387 -INT32_C(130880), 2388 -INT32_C(261760), 2389 -INT32_C(523520), 2390 -INT32_C(1047040), 2391 -INT32_C(2094080), 2392 -INT32_C(4188160), 2393 -INT32_C(8376320), 2394 -INT32_C(16752640), 2395 -INT32_C(33505280), 2396 -INT32_C(67010560), 2397 -INT32_C(134021120), 2398 -INT32_C(268042240), 2399 -INT32_C(536084480), 2400 -INT32_C(1072168960), 2401 -INT32_C(2144337920), 2402 -INT32_C(2147483647) - 1, 2403 -INT32_C(2147483647) - 1, 2404 -INT32_C(2147483647) - 1, 2405 -INT32_C(2147483647) - 1, 2406 -INT32_C(2147483647) - 1, 2407 -INT32_C(2147483647) - 1, 2408 -INT32_C(2147483647) - 1, 2409 -INT32_C(2147483647) - 1, 2410 -INT32_C(2147483647) - 1, 2411 -INT32_C(2147483647) - 1, 2412 -INT32_C(2147483647) - 1, 2413 -INT32_C(2147483647) - 1, 2414 -INT32_C(2046), 2415 -INT32_C(4092), 2416 -INT32_C(8184), 2417 -INT32_C(16368), 2418 -INT32_C(32736), 2419 -INT32_C(65472), 2420 -INT32_C(130944), 2421 -INT32_C(261888), 2422 -INT32_C(523776), 2423 -INT32_C(1047552), 2424 -INT32_C(2095104), 2425 -INT32_C(4190208), 2426 -INT32_C(8380416), 2427 -INT32_C(16760832), 2428 -INT32_C(33521664), 2429 -INT32_C(67043328), 2430 -INT32_C(134086656), 2431 -INT32_C(268173312), 2432 -INT32_C(536346624), 2433 -INT32_C(1072693248), 2434 -INT32_C(2145386496), 2435 -INT32_C(2147483647) - 1, 2436 -INT32_C(2147483647) - 1, 2437 -INT32_C(2147483647) - 1, 2438 -INT32_C(2147483647) - 1, 2439 -INT32_C(2147483647) - 1, 2440 -INT32_C(2147483647) - 1, 2441 -INT32_C(2147483647) - 1, 2442 -INT32_C(2147483647) - 1, 2443 -INT32_C(2147483647) - 1, 2444 -INT32_C(2147483647) - 1, 2445 -INT32_C(2147483647) - 1, 2446 -INT32_C(2147483647) - 1, 2447 -INT32_C(2047), 2448 -INT32_C(4094), 2449 -INT32_C(8188), 2450 -INT32_C(16376), 2451 -INT32_C(32752), 2452 -INT32_C(65504), 2453 -INT32_C(131008), 2454 -INT32_C(262016), 2455 -INT32_C(524032), 2456 -INT32_C(1048064), 2457 -INT32_C(2096128), 2458 -INT32_C(4192256), 2459 -INT32_C(8384512), 2460 -INT32_C(16769024), 2461 -INT32_C(33538048), 2462 -INT32_C(67076096), 2463 -INT32_C(134152192), 2464 -INT32_C(268304384), 2465 -INT32_C(536608768), 2466 -INT32_C(1073217536), 2467 -INT32_C(2146435072), 2468 -INT32_C(2147483647) - 1, 2469 -INT32_C(2147483647) - 1, 2470 -INT32_C(2147483647) - 1, 2471 -INT32_C(2147483647) - 1, 2472 -INT32_C(2147483647) - 1, 2473 -INT32_C(2147483647) - 1, 2474 -INT32_C(2147483647) - 1, 2475 -INT32_C(2147483647) - 1, 2476 -INT32_C(2147483647) - 1, 2477 -INT32_C(2147483647) - 1, 2478 -INT32_C(2147483647) - 1, 2479 -INT32_C(2147483647) - 1, 2480 -INT32_C(512), 2481 -INT32_C(1024), 2482 -INT32_C(2048), 2483 -INT32_C(4096), 2484 -INT32_C(8192), 2485 -INT32_C(16384), 2486 -INT32_C(32768), 2487 -INT32_C(65536), 2488 -INT32_C(131072), 2489 -INT32_C(262144), 2490 -INT32_C(524288), 2491 -INT32_C(1048576), 2492 -INT32_C(2097152), 2493 -INT32_C(4194304), 2494 -INT32_C(8388608), 2495 -INT32_C(16777216), 2496 -INT32_C(33554432), 2497 -INT32_C(67108864), 2498 -INT32_C(134217728), 2499 -INT32_C(268435456), 2500 -INT32_C(536870912), 2501 -INT32_C(1073741824), 2502 -INT32_C(2147483647) - 1, 2503 -INT32_C(2147483647) - 1, 2504 -INT32_C(2147483647) - 1, 2505 -INT32_C(2147483647) - 1, 2506 -INT32_C(2147483647) - 1, 2507 -INT32_C(2147483647) - 1, 2508 -INT32_C(2147483647) - 1, 2509 -INT32_C(2147483647) - 1, 2510 -INT32_C(2147483647) - 1, 2511 -INT32_C(2147483647) - 1, 2512 -INT32_C(2147483647) - 1, 2513 -INT32_C(512), 2514 -INT32_C(1025), 2515 -INT32_C(2050), 2516 -INT32_C(4100), 2517 -INT32_C(8200), 2518 -INT32_C(16400), 2519 -INT32_C(32800), 2520 -INT32_C(65600), 2521 -INT32_C(131200), 2522 -INT32_C(262400), 2523 -INT32_C(524800), 2524 -INT32_C(1049600), 2525 -INT32_C(2099200), 2526 -INT32_C(4198400), 2527 -INT32_C(8396800), 2528 -INT32_C(16793600), 2529 -INT32_C(33587200), 2530 -INT32_C(67174400), 2531 -INT32_C(134348800), 2532 -INT32_C(268697600), 2533 -INT32_C(537395200), 2534 -INT32_C(1074790400), 2535 -INT32_C(2147483647) - 1, 2536 -INT32_C(2147483647) - 1, 2537 -INT32_C(2147483647) - 1, 2538 -INT32_C(2147483647) - 1, 2539 -INT32_C(2147483647) - 1, 2540 -INT32_C(2147483647) - 1, 2541 -INT32_C(2147483647) - 1, 2542 -INT32_C(2147483647) - 1, 2543 -INT32_C(2147483647) - 1, 2544 -INT32_C(2147483647) - 1, 2545 -INT32_C(2147483647) - 1, 2546 -INT32_C(513), 2547 -INT32_C(1026), 2548 -INT32_C(2052), 2549 -INT32_C(4104), 2550 -INT32_C(8208), 2551 -INT32_C(16416), 2552 -INT32_C(32832), 2553 -INT32_C(65664), 2554 -INT32_C(131328), 2555 -INT32_C(262656), 2556 -INT32_C(525312), 2557 -INT32_C(1050624), 2558 -INT32_C(2101248), 2559 -INT32_C(4202496), 2560 -INT32_C(8404992), 2561 -INT32_C(16809984), 2562 -INT32_C(33619968), 2563 -INT32_C(67239936), 2564 -INT32_C(134479872), 2565 -INT32_C(268959744), 2566 -INT32_C(537919488), 2567 -INT32_C(1075838976), 2568 -INT32_C(2147483647) - 1, 2569 -INT32_C(2147483647) - 1, 2570 -INT32_C(2147483647) - 1, 2571 -INT32_C(2147483647) - 1, 2572 -INT32_C(2147483647) - 1, 2573 -INT32_C(2147483647) - 1, 2574 -INT32_C(2147483647) - 1, 2575 -INT32_C(2147483647) - 1, 2576 -INT32_C(2147483647) - 1, 2577 -INT32_C(2147483647) - 1, 2578 -INT32_C(2147483647) - 1, 2579 -INT32_C(513), 2580 -INT32_C(1027), 2581 -INT32_C(2054), 2582 -INT32_C(4108), 2583 -INT32_C(8216), 2584 -INT32_C(16432), 2585 -INT32_C(32864), 2586 -INT32_C(65728), 2587 -INT32_C(131456), 2588 -INT32_C(262912), 2589 -INT32_C(525824), 2590 -INT32_C(1051648), 2591 -INT32_C(2103296), 2592 -INT32_C(4206592), 2593 -INT32_C(8413184), 2594 -INT32_C(16826368), 2595 -INT32_C(33652736), 2596 -INT32_C(67305472), 2597 -INT32_C(134610944), 2598 -INT32_C(269221888), 2599 -INT32_C(538443776), 2600 -INT32_C(1076887552), 2601 -INT32_C(2147483647) - 1, 2602 -INT32_C(2147483647) - 1, 2603 -INT32_C(2147483647) - 1, 2604 -INT32_C(2147483647) - 1, 2605 -INT32_C(2147483647) - 1, 2606 -INT32_C(2147483647) - 1, 2607 -INT32_C(2147483647) - 1, 2608 -INT32_C(2147483647) - 1, 2609 -INT32_C(2147483647) - 1, 2610 -INT32_C(2147483647) - 1, 2611 -INT32_C(2147483647) - 1, 2612 -INT32_C(912), 2613 -INT32_C(1825), 2614 -INT32_C(3650), 2615 -INT32_C(7300), 2616 -INT32_C(14600), 2617 -INT32_C(29200), 2618 -INT32_C(58400), 2619 -INT32_C(116800), 2620 -INT32_C(233600), 2621 -INT32_C(467200), 2622 -INT32_C(934400), 2623 -INT32_C(1868800), 2624 -INT32_C(3737600), 2625 -INT32_C(7475200), 2626 -INT32_C(14950400), 2627 -INT32_C(29900800), 2628 -INT32_C(59801600), 2629 -INT32_C(119603200), 2630 -INT32_C(239206400), 2631 -INT32_C(478412800), 2632 -INT32_C(956825600), 2633 -INT32_C(1913651200), 2634 -INT32_C(2147483647) - 1, 2635 -INT32_C(2147483647) - 1, 2636 -INT32_C(2147483647) - 1, 2637 -INT32_C(2147483647) - 1, 2638 -INT32_C(2147483647) - 1, 2639 -INT32_C(2147483647) - 1, 2640 -INT32_C(2147483647) - 1, 2641 -INT32_C(2147483647) - 1, 2642 -INT32_C(2147483647) - 1, 2643 -INT32_C(2147483647) - 1, 2644 -INT32_C(2147483647) - 1, 2645 -INT32_C(1022), 2646 -INT32_C(2044), 2647 -INT32_C(4088), 2648 -INT32_C(8176), 2649 -INT32_C(16352), 2650 -INT32_C(32704), 2651 -INT32_C(65408), 2652 -INT32_C(130816), 2653 -INT32_C(261632), 2654 -INT32_C(523264), 2655 -INT32_C(1046528), 2656 -INT32_C(2093056), 2657 -INT32_C(4186112), 2658 -INT32_C(8372224), 2659 -INT32_C(16744448), 2660 -INT32_C(33488896), 2661 -INT32_C(66977792), 2662 -INT32_C(133955584), 2663 -INT32_C(267911168), 2664 -INT32_C(535822336), 2665 -INT32_C(1071644672), 2666 -INT32_C(2143289344), 2667 -INT32_C(2147483647) - 1, 2668 -INT32_C(2147483647) - 1, 2669 -INT32_C(2147483647) - 1, 2670 -INT32_C(2147483647) - 1, 2671 -INT32_C(2147483647) - 1, 2672 -INT32_C(2147483647) - 1, 2673 -INT32_C(2147483647) - 1, 2674 -INT32_C(2147483647) - 1, 2675 -INT32_C(2147483647) - 1, 2676 -INT32_C(2147483647) - 1, 2677 -INT32_C(2147483647) - 1, 2678 -INT32_C(1022), 2679 -INT32_C(2045), 2680 -INT32_C(4090), 2681 -INT32_C(8180), 2682 -INT32_C(16360), 2683 -INT32_C(32720), 2684 -INT32_C(65440), 2685 -INT32_C(130880), 2686 -INT32_C(261760), 2687 -INT32_C(523520), 2688 -INT32_C(1047040), 2689 -INT32_C(2094080), 2690 -INT32_C(4188160), 2691 -INT32_C(8376320), 2692 -INT32_C(16752640), 2693 -INT32_C(33505280), 2694 -INT32_C(67010560), 2695 -INT32_C(134021120), 2696 -INT32_C(268042240), 2697 -INT32_C(536084480), 2698 -INT32_C(1072168960), 2699 -INT32_C(2144337920), 2700 -INT32_C(2147483647) - 1, 2701 -INT32_C(2147483647) - 1, 2702 -INT32_C(2147483647) - 1, 2703 -INT32_C(2147483647) - 1, 2704 -INT32_C(2147483647) - 1, 2705 -INT32_C(2147483647) - 1, 2706 -INT32_C(2147483647) - 1, 2707 -INT32_C(2147483647) - 1, 2708 -INT32_C(2147483647) - 1, 2709 -INT32_C(2147483647) - 1, 2710 -INT32_C(2147483647) - 1, 2711 -INT32_C(1023), 2712 -INT32_C(2046), 2713 -INT32_C(4092), 2714 -INT32_C(8184), 2715 -INT32_C(16368), 2716 -INT32_C(32736), 2717 -INT32_C(65472), 2718 -INT32_C(130944), 2719 -INT32_C(261888), 2720 -INT32_C(523776), 2721 -INT32_C(1047552), 2722 -INT32_C(2095104), 2723 -INT32_C(4190208), 2724 -INT32_C(8380416), 2725 -INT32_C(16760832), 2726 -INT32_C(33521664), 2727 -INT32_C(67043328), 2728 -INT32_C(134086656), 2729 -INT32_C(268173312), 2730 -INT32_C(536346624), 2731 -INT32_C(1072693248), 2732 -INT32_C(2145386496), 2733 -INT32_C(2147483647) - 1, 2734 -INT32_C(2147483647) - 1, 2735 -INT32_C(2147483647) - 1, 2736 -INT32_C(2147483647) - 1, 2737 -INT32_C(2147483647) - 1, 2738 -INT32_C(2147483647) - 1, 2739 -INT32_C(2147483647) - 1, 2740 -INT32_C(2147483647) - 1, 2741 -INT32_C(2147483647) - 1, 2742 -INT32_C(2147483647) - 1, 2743 -INT32_C(2147483647) - 1, 2744 -INT32_C(1023), 2745 -INT32_C(2047), 2746 -INT32_C(4094), 2747 -INT32_C(8188), 2748 -INT32_C(16376), 2749 -INT32_C(32752), 2750 -INT32_C(65504), 2751 -INT32_C(131008), 2752 -INT32_C(262016), 2753 -INT32_C(524032), 2754 -INT32_C(1048064), 2755 -INT32_C(2096128), 2756 -INT32_C(4192256), 2757 -INT32_C(8384512), 2758 -INT32_C(16769024), 2759 -INT32_C(33538048), 2760 -INT32_C(67076096), 2761 -INT32_C(134152192), 2762 -INT32_C(268304384), 2763 -INT32_C(536608768), 2764 -INT32_C(1073217536), 2765 -INT32_C(2146435072), 2766 -INT32_C(2147483647) - 1, 2767 -INT32_C(2147483647) - 1, 2768 -INT32_C(2147483647) - 1, 2769 -INT32_C(2147483647) - 1, 2770 -INT32_C(2147483647) - 1, 2771 -INT32_C(2147483647) - 1, 2772 -INT32_C(2147483647) - 1, 2773 -INT32_C(2147483647) - 1, 2774 -INT32_C(2147483647) - 1, 2775 -INT32_C(2147483647) - 1, 2776 -INT32_C(2147483647) - 1, 2777 -INT32_C(256), 2778 -INT32_C(512), 2779 -INT32_C(1024), 2780 -INT32_C(2048), 2781 -INT32_C(4096), 2782 -INT32_C(8192), 2783 -INT32_C(16384), 2784 -INT32_C(32768), 2785 -INT32_C(65536), 2786 -INT32_C(131072), 2787 -INT32_C(262144), 2788 -INT32_C(524288), 2789 -INT32_C(1048576), 2790 -INT32_C(2097152), 2791 -INT32_C(4194304), 2792 -INT32_C(8388608), 2793 -INT32_C(16777216), 2794 -INT32_C(33554432), 2795 -INT32_C(67108864), 2796 -INT32_C(134217728), 2797 -INT32_C(268435456), 2798 -INT32_C(536870912), 2799 -INT32_C(1073741824), 2800 -INT32_C(2147483647) - 1, 2801 -INT32_C(2147483647) - 1, 2802 -INT32_C(2147483647) - 1, 2803 -INT32_C(2147483647) - 1, 2804 -INT32_C(2147483647) - 1, 2805 -INT32_C(2147483647) - 1, 2806 -INT32_C(2147483647) - 1, 2807 -INT32_C(2147483647) - 1, 2808 -INT32_C(2147483647) - 1, 2809 -INT32_C(2147483647) - 1, 2810 -INT32_C(256), 2811 -INT32_C(512), 2812 -INT32_C(1025), 2813 -INT32_C(2050), 2814 -INT32_C(4100), 2815 -INT32_C(8200), 2816 -INT32_C(16400), 2817 -INT32_C(32800), 2818 -INT32_C(65600), 2819 -INT32_C(131200), 2820 -INT32_C(262400), 2821 -INT32_C(524800), 2822 -INT32_C(1049600), 2823 -INT32_C(2099200), 2824 -INT32_C(4198400), 2825 -INT32_C(8396800), 2826 -INT32_C(16793600), 2827 -INT32_C(33587200), 2828 -INT32_C(67174400), 2829 -INT32_C(134348800), 2830 -INT32_C(268697600), 2831 -INT32_C(537395200), 2832 -INT32_C(1074790400), 2833 -INT32_C(2147483647) - 1, 2834 -INT32_C(2147483647) - 1, 2835 -INT32_C(2147483647) - 1, 2836 -INT32_C(2147483647) - 1, 2837 -INT32_C(2147483647) - 1, 2838 -INT32_C(2147483647) - 1, 2839 -INT32_C(2147483647) - 1, 2840 -INT32_C(2147483647) - 1, 2841 -INT32_C(2147483647) - 1, 2842 -INT32_C(2147483647) - 1, 2843 -INT32_C(256), 2844 -INT32_C(513), 2845 -INT32_C(1026), 2846 -INT32_C(2052), 2847 -INT32_C(4104), 2848 -INT32_C(8208), 2849 -INT32_C(16416), 2850 -INT32_C(32832), 2851 -INT32_C(65664), 2852 -INT32_C(131328), 2853 -INT32_C(262656), 2854 -INT32_C(525312), 2855 -INT32_C(1050624), 2856 -INT32_C(2101248), 2857 -INT32_C(4202496), 2858 -INT32_C(8404992), 2859 -INT32_C(16809984), 2860 -INT32_C(33619968), 2861 -INT32_C(67239936), 2862 -INT32_C(134479872), 2863 -INT32_C(268959744), 2864 -INT32_C(537919488), 2865 -INT32_C(1075838976), 2866 -INT32_C(2147483647) - 1, 2867 -INT32_C(2147483647) - 1, 2868 -INT32_C(2147483647) - 1, 2869 -INT32_C(2147483647) - 1, 2870 -INT32_C(2147483647) - 1, 2871 -INT32_C(2147483647) - 1, 2872 -INT32_C(2147483647) - 1, 2873 -INT32_C(2147483647) - 1, 2874 -INT32_C(2147483647) - 1, 2875 -INT32_C(2147483647) - 1, 2876 -INT32_C(256), 2877 -INT32_C(513), 2878 -INT32_C(1027), 2879 -INT32_C(2054), 2880 -INT32_C(4108), 2881 -INT32_C(8216), 2882 -INT32_C(16432), 2883 -INT32_C(32864), 2884 -INT32_C(65728), 2885 -INT32_C(131456), 2886 -INT32_C(262912), 2887 -INT32_C(525824), 2888 -INT32_C(1051648), 2889 -INT32_C(2103296), 2890 -INT32_C(4206592), 2891 -INT32_C(8413184), 2892 -INT32_C(16826368), 2893 -INT32_C(33652736), 2894 -INT32_C(67305472), 2895 -INT32_C(134610944), 2896 -INT32_C(269221888), 2897 -INT32_C(538443776), 2898 -INT32_C(1076887552), 2899 -INT32_C(2147483647) - 1, 2900 -INT32_C(2147483647) - 1, 2901 -INT32_C(2147483647) - 1, 2902 -INT32_C(2147483647) - 1, 2903 -INT32_C(2147483647) - 1, 2904 -INT32_C(2147483647) - 1, 2905 -INT32_C(2147483647) - 1, 2906 -INT32_C(2147483647) - 1, 2907 -INT32_C(2147483647) - 1, 2908 -INT32_C(2147483647) - 1, 2909 -INT32_C(332), 2910 -INT32_C(665), 2911 -INT32_C(1330), 2912 -INT32_C(2660), 2913 -INT32_C(5320), 2914 -INT32_C(10640), 2915 -INT32_C(21280), 2916 -INT32_C(42560), 2917 -INT32_C(85120), 2918 -INT32_C(170240), 2919 -INT32_C(340480), 2920 -INT32_C(680960), 2921 -INT32_C(1361920), 2922 -INT32_C(2723840), 2923 -INT32_C(5447680), 2924 -INT32_C(10895360), 2925 -INT32_C(21790720), 2926 -INT32_C(43581440), 2927 -INT32_C(87162880), 2928 -INT32_C(174325760), 2929 -INT32_C(348651520), 2930 -INT32_C(697303040), 2931 -INT32_C(1394606080), 2932 -INT32_C(2147483647) - 1, 2933 -INT32_C(2147483647) - 1, 2934 -INT32_C(2147483647) - 1, 2935 -INT32_C(2147483647) - 1, 2936 -INT32_C(2147483647) - 1, 2937 -INT32_C(2147483647) - 1, 2938 -INT32_C(2147483647) - 1, 2939 -INT32_C(2147483647) - 1, 2940 -INT32_C(2147483647) - 1, 2941 -INT32_C(2147483647) - 1, 2942 -INT32_C(511), 2943 -INT32_C(1022), 2944 -INT32_C(2044), 2945 -INT32_C(4088), 2946 -INT32_C(8176), 2947 -INT32_C(16352), 2948 -INT32_C(32704), 2949 -INT32_C(65408), 2950 -INT32_C(130816), 2951 -INT32_C(261632), 2952 -INT32_C(523264), 2953 -INT32_C(1046528), 2954 -INT32_C(2093056), 2955 -INT32_C(4186112), 2956 -INT32_C(8372224), 2957 -INT32_C(16744448), 2958 -INT32_C(33488896), 2959 -INT32_C(66977792), 2960 -INT32_C(133955584), 2961 -INT32_C(267911168), 2962 -INT32_C(535822336), 2963 -INT32_C(1071644672), 2964 -INT32_C(2143289344), 2965 -INT32_C(2147483647) - 1, 2966 -INT32_C(2147483647) - 1, 2967 -INT32_C(2147483647) - 1, 2968 -INT32_C(2147483647) - 1, 2969 -INT32_C(2147483647) - 1, 2970 -INT32_C(2147483647) - 1, 2971 -INT32_C(2147483647) - 1, 2972 -INT32_C(2147483647) - 1, 2973 -INT32_C(2147483647) - 1, 2974 -INT32_C(2147483647) - 1, 2975 -INT32_C(511), 2976 -INT32_C(1022), 2977 -INT32_C(2045), 2978 -INT32_C(4090), 2979 -INT32_C(8180), 2980 -INT32_C(16360), 2981 -INT32_C(32720), 2982 -INT32_C(65440), 2983 -INT32_C(130880), 2984 -INT32_C(261760), 2985 -INT32_C(523520), 2986 -INT32_C(1047040), 2987 -INT32_C(2094080), 2988 -INT32_C(4188160), 2989 -INT32_C(8376320), 2990 -INT32_C(16752640), 2991 -INT32_C(33505280), 2992 -INT32_C(67010560), 2993 -INT32_C(134021120), 2994 -INT32_C(268042240), 2995 -INT32_C(536084480), 2996 -INT32_C(1072168960), 2997 -INT32_C(2144337920), 2998 -INT32_C(2147483647) - 1, 2999 -INT32_C(2147483647) - 1, 3000 -INT32_C(2147483647) - 1, 3001 -INT32_C(2147483647) - 1, 3002 -INT32_C(2147483647) - 1, 3003 -INT32_C(2147483647) - 1, 3004 -INT32_C(2147483647) - 1, 3005 -INT32_C(2147483647) - 1, 3006 -INT32_C(2147483647) - 1, 3007 -INT32_C(2147483647) - 1, 3008 -INT32_C(511), 3009 -INT32_C(1023), 3010 -INT32_C(2046), 3011 -INT32_C(4092), 3012 -INT32_C(8184), 3013 -INT32_C(16368), 3014 -INT32_C(32736), 3015 -INT32_C(65472), 3016 -INT32_C(130944), 3017 -INT32_C(261888), 3018 -INT32_C(523776), 3019 -INT32_C(1047552), 3020 -INT32_C(2095104), 3021 -INT32_C(4190208), 3022 -INT32_C(8380416), 3023 -INT32_C(16760832), 3024 -INT32_C(33521664), 3025 -INT32_C(67043328), 3026 -INT32_C(134086656), 3027 -INT32_C(268173312), 3028 -INT32_C(536346624), 3029 -INT32_C(1072693248), 3030 -INT32_C(2145386496), 3031 -INT32_C(2147483647) - 1, 3032 -INT32_C(2147483647) - 1, 3033 -INT32_C(2147483647) - 1, 3034 -INT32_C(2147483647) - 1, 3035 -INT32_C(2147483647) - 1, 3036 -INT32_C(2147483647) - 1, 3037 -INT32_C(2147483647) - 1, 3038 -INT32_C(2147483647) - 1, 3039 -INT32_C(2147483647) - 1, 3040 -INT32_C(2147483647) - 1, 3041 -INT32_C(511), 3042 -INT32_C(1023), 3043 -INT32_C(2047), 3044 -INT32_C(4094), 3045 -INT32_C(8188), 3046 -INT32_C(16376), 3047 -INT32_C(32752), 3048 -INT32_C(65504), 3049 -INT32_C(131008), 3050 -INT32_C(262016), 3051 -INT32_C(524032), 3052 -INT32_C(1048064), 3053 -INT32_C(2096128), 3054 -INT32_C(4192256), 3055 -INT32_C(8384512), 3056 -INT32_C(16769024), 3057 -INT32_C(33538048), 3058 -INT32_C(67076096), 3059 -INT32_C(134152192), 3060 -INT32_C(268304384), 3061 -INT32_C(536608768), 3062 -INT32_C(1073217536), 3063 -INT32_C(2146435072), 3064 -INT32_C(2147483647) - 1, 3065 -INT32_C(2147483647) - 1, 3066 -INT32_C(2147483647) - 1, 3067 -INT32_C(2147483647) - 1, 3068 -INT32_C(2147483647) - 1, 3069 -INT32_C(2147483647) - 1, 3070 -INT32_C(2147483647) - 1, 3071 -INT32_C(2147483647) - 1, 3072 -INT32_C(2147483647) - 1, 3073 -INT32_C(2147483647) - 1, 3074 INT32_C(0), 3075 INT32_C(0), 3076 INT32_C(0), 3077 INT32_C(0), 3078 INT32_C(0), 3079 INT32_C(0), 3080 INT32_C(0), 3081 INT32_C(0), 3082 INT32_C(0), 3083 INT32_C(0), 3084 INT32_C(0), 3085 INT32_C(0), 3086 INT32_C(0), 3087 INT32_C(0), 3088 INT32_C(0), 3089 INT32_C(0), 3090 INT32_C(0), 3091 INT32_C(0), 3092 INT32_C(0), 3093 INT32_C(0), 3094 INT32_C(0), 3095 INT32_C(0), 3096 INT32_C(0), 3097 INT32_C(0), 3098 INT32_C(0), 3099 INT32_C(0), 3100 INT32_C(0), 3101 INT32_C(0), 3102 INT32_C(0), 3103 INT32_C(0), 3104 INT32_C(0), 3105 INT32_C(0), 3106 INT32_C(0), 3107 INT32_C(0), 3108 INT32_C(0), 3109 INT32_C(0), 3110 INT32_C(0), 3111 INT32_C(0), 3112 INT32_C(0), 3113 INT32_C(0), 3114 INT32_C(0), 3115 INT32_C(0), 3116 INT32_C(0), 3117 INT32_C(0), 3118 INT32_C(0), 3119 INT32_C(0), 3120 INT32_C(0), 3121 INT32_C(0), 3122 INT32_C(0), 3123 INT32_C(0), 3124 INT32_C(0), 3125 INT32_C(0), 3126 INT32_C(0), 3127 INT32_C(0), 3128 INT32_C(0), 3129 INT32_C(0), 3130 INT32_C(0), 3131 INT32_C(0), 3132 INT32_C(0), 3133 INT32_C(0), 3134 INT32_C(0), 3135 INT32_C(0), 3136 INT32_C(0), 3137 INT32_C(0), 3138 INT32_C(0), 3139 INT32_C(0), 3140 INT32_C(0), 3141 INT32_C(0), 3142 INT32_C(0), 3143 INT32_C(0), 3144 INT32_C(0), 3145 INT32_C(0), 3146 INT32_C(0), 3147 INT32_C(0), 3148 INT32_C(0), 3149 INT32_C(0), 3150 INT32_C(0), 3151 INT32_C(0), 3152 INT32_C(0), 3153 INT32_C(0), 3154 INT32_C(0), 3155 INT32_C(0), 3156 INT32_C(0), 3157 INT32_C(0), 3158 INT32_C(0), 3159 INT32_C(0), 3160 INT32_C(0), 3161 INT32_C(0), 3162 INT32_C(0), 3163 INT32_C(0), 3164 INT32_C(0), 3165 INT32_C(0), 3166 INT32_C(0), 3167 INT32_C(0), 3168 INT32_C(0), 3169 INT32_C(0), 3170 INT32_C(0), 3171 INT32_C(0), 3172 INT32_C(0), 3173 INT32_C(0), 3174 INT32_C(0), 3175 INT32_C(0), 3176 INT32_C(0), 3177 INT32_C(0), 3178 INT32_C(0), 3179 INT32_C(0), 3180 INT32_C(0), 3181 INT32_C(0), 3182 INT32_C(0), 3183 INT32_C(0), 3184 INT32_C(0), 3185 INT32_C(0), 3186 INT32_C(0), 3187 INT32_C(0), 3188 INT32_C(0), 3189 INT32_C(0), 3190 INT32_C(0), 3191 INT32_C(0), 3192 INT32_C(0), 3193 INT32_C(0), 3194 INT32_C(0), 3195 INT32_C(0), 3196 INT32_C(0), 3197 INT32_C(0), 3198 INT32_C(0), 3199 INT32_C(0), 3200 INT32_C(0), 3201 INT32_C(0), 3202 INT32_C(0), 3203 INT32_C(0), 3204 INT32_C(0), 3205 INT32_C(0), 3206 INT32_C(0), 3207 INT32_C(0), 3208 INT32_C(0), 3209 INT32_C(0), 3210 INT32_C(0), 3211 INT32_C(0), 3212 INT32_C(0), 3213 INT32_C(0), 3214 INT32_C(0), 3215 INT32_C(0), 3216 INT32_C(0), 3217 INT32_C(0), 3218 INT32_C(0), 3219 INT32_C(0), 3220 INT32_C(0), 3221 INT32_C(0), 3222 INT32_C(0), 3223 INT32_C(0), 3224 INT32_C(0), 3225 INT32_C(0), 3226 INT32_C(0), 3227 INT32_C(0), 3228 INT32_C(0), 3229 INT32_C(0), 3230 INT32_C(0), 3231 INT32_C(0), 3232 INT32_C(0), 3233 INT32_C(0), 3234 INT32_C(0), 3235 INT32_C(0), 3236 INT32_C(0), 3237 INT32_C(0), 3238 INT32_C(0), 3239 INT32_C(0), 3240 INT32_C(0), 3241 INT32_C(0), 3242 INT32_C(0), 3243 INT32_C(0), 3244 INT32_C(0), 3245 INT32_C(0), 3246 INT32_C(0), 3247 INT32_C(0), 3248 INT32_C(0), 3249 INT32_C(0), 3250 INT32_C(0), 3251 INT32_C(0), 3252 INT32_C(0), 3253 INT32_C(0), 3254 INT32_C(0), 3255 INT32_C(0), 3256 INT32_C(0), 3257 INT32_C(0), 3258 INT32_C(0), 3259 INT32_C(0), 3260 INT32_C(0), 3261 INT32_C(0), 3262 INT32_C(0), 3263 INT32_C(0), 3264 INT32_C(0), 3265 INT32_C(0), 3266 INT32_C(0), 3267 INT32_C(0), 3268 INT32_C(0), 3269 INT32_C(0), 3270 INT32_C(0), 3271 INT32_C(0), 3272 INT32_C(0), 3273 INT32_C(0), 3274 INT32_C(0), 3275 INT32_C(0), 3276 INT32_C(0), 3277 INT32_C(0), 3278 INT32_C(0), 3279 INT32_C(0), 3280 INT32_C(0), 3281 INT32_C(0), 3282 INT32_C(0), 3283 INT32_C(0), 3284 INT32_C(0), 3285 INT32_C(0), 3286 INT32_C(0), 3287 INT32_C(0), 3288 INT32_C(0), 3289 INT32_C(0), 3290 INT32_C(0), 3291 INT32_C(0), 3292 INT32_C(0), 3293 INT32_C(0), 3294 INT32_C(0), 3295 INT32_C(0), 3296 INT32_C(0), 3297 INT32_C(0), 3298 INT32_C(0), 3299 INT32_C(0), 3300 INT32_C(0), 3301 INT32_C(0), 3302 INT32_C(0), 3303 INT32_C(0), 3304 INT32_C(0), 3305 INT32_C(0), 3306 INT32_C(0), 3307 INT32_C(0), 3308 INT32_C(0), 3309 INT32_C(0), 3310 INT32_C(0), 3311 INT32_C(0), 3312 INT32_C(0), 3313 INT32_C(0), 3314 INT32_C(0), 3315 INT32_C(0), 3316 INT32_C(0), 3317 INT32_C(0), 3318 INT32_C(0), 3319 INT32_C(0), 3320 INT32_C(0), 3321 INT32_C(0), 3322 INT32_C(0), 3323 INT32_C(0), 3324 INT32_C(0), 3325 INT32_C(0), 3326 INT32_C(0), 3327 INT32_C(0), 3328 INT32_C(0), 3329 INT32_C(0), 3330 INT32_C(0), 3331 INT32_C(0), 3332 INT32_C(0), 3333 INT32_C(0), 3334 INT32_C(0), 3335 INT32_C(0), 3336 INT32_C(0), 3337 INT32_C(0), 3338 INT32_C(0), 3339 INT32_C(0), 3340 INT32_C(0), 3341 INT32_C(0), 3342 INT32_C(0), 3343 INT32_C(0), 3344 INT32_C(0), 3345 INT32_C(0), 3346 INT32_C(0), 3347 INT32_C(0), 3348 INT32_C(0), 3349 INT32_C(0), 3350 INT32_C(0), 3351 INT32_C(0), 3352 INT32_C(0), 3353 INT32_C(0), 3354 INT32_C(0), 3355 INT32_C(0), 3356 INT32_C(0), 3357 INT32_C(0), 3358 INT32_C(0), 3359 INT32_C(0), 3360 INT32_C(0), 3361 INT32_C(0), 3362 INT32_C(0), 3363 INT32_C(0), 3364 INT32_C(0), 3365 INT32_C(0), 3366 INT32_C(0), 3367 INT32_C(0), 3368 INT32_C(0), 3369 INT32_C(0), 3370 INT32_C(0), 3371 }; 3372 const unsigned kExpectedCount_fcvtzs_wh = 3333; 3373 3374 #endif // VIXL_SIM_FCVTZS_WH_TRACE_AARCH64_H_ 3375