Home | History | Annotate | Download | only in a64 
      1 // Copyright 2015, ARM Limited
      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_WS_TRACE_A64_H_
     35 #define VIXL_SIM_FCVTZS_WS_TRACE_A64_H_
     36 
     37 const int32_t kExpected_fcvtzs_ws[] = {
     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(0),
     86   INT32_C(0),
     87   INT32_C(0),
     88   INT32_C(0),
     89   INT32_C(0),
     90   INT32_C(0),
     91   INT32_C(0),
     92   INT32_C(0),
     93   INT32_C(0),
     94   INT32_C(0),
     95   INT32_C(0),
     96   INT32_C(0),
     97   INT32_C(0),
     98   INT32_C(0),
     99   INT32_C(0),
    100   INT32_C(0),
    101   INT32_C(0),
    102   INT32_C(0),
    103   INT32_C(0),
    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(4095),
    118   INT32_C(8191),
    119   INT32_C(16383),
    120   INT32_C(32767),
    121   INT32_C(65535),
    122   INT32_C(131071),
    123   INT32_C(262143),
    124   INT32_C(524287),
    125   INT32_C(1048575),
    126   INT32_C(2097151),
    127   INT32_C(4194303),
    128   INT32_C(8388607),
    129   INT32_C(16777215),
    130   INT32_C(33554430),
    131   INT32_C(67108860),
    132   INT32_C(134217720),
    133   INT32_C(268435440),
    134   INT32_C(536870880),
    135   INT32_C(1073741760),
    136   INT32_C(2147483520),
    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(1024),
    182   INT32_C(2048),
    183   INT32_C(4096),
    184   INT32_C(8192),
    185   INT32_C(16384),
    186   INT32_C(32768),
    187   INT32_C(65536),
    188   INT32_C(131072),
    189   INT32_C(262144),
    190   INT32_C(524288),
    191   INT32_C(1048576),
    192   INT32_C(2097152),
    193   INT32_C(4194304),
    194   INT32_C(8388609),
    195   INT32_C(16777218),
    196   INT32_C(33554436),
    197   INT32_C(67108872),
    198   INT32_C(134217744),
    199   INT32_C(268435488),
    200   INT32_C(536870976),
    201   INT32_C(1073741952),
    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(4095),
    216   INT32_C(8191),
    217   INT32_C(16383),
    218   INT32_C(32767),
    219   INT32_C(65535),
    220   INT32_C(131071),
    221   INT32_C(262143),
    222   INT32_C(524287),
    223   INT32_C(1048575),
    224   INT32_C(2097151),
    225   INT32_C(4194303),
    226   INT32_C(8388607),
    227   INT32_C(16777215),
    228   INT32_C(33554430),
    229   INT32_C(67108860),
    230   INT32_C(134217720),
    231   INT32_C(268435440),
    232   INT32_C(536870880),
    233   INT32_C(1073741760),
    234   INT32_C(2147483520),
    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(1024),
    280   INT32_C(2048),
    281   INT32_C(4096),
    282   INT32_C(8192),
    283   INT32_C(16384),
    284   INT32_C(32768),
    285   INT32_C(65536),
    286   INT32_C(131072),
    287   INT32_C(262144),
    288   INT32_C(524288),
    289   INT32_C(1048576),
    290   INT32_C(2097152),
    291   INT32_C(4194304),
    292   INT32_C(8388609),
    293   INT32_C(16777218),
    294   INT32_C(33554436),
    295   INT32_C(67108872),
    296   INT32_C(134217744),
    297   INT32_C(268435488),
    298   INT32_C(536870976),
    299   INT32_C(1073741952),
    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(0),
    369   INT32_C(0),
    370   INT32_C(0),
    371   INT32_C(0),
    372   INT32_C(0),
    373   INT32_C(0),
    374   INT32_C(0),
    375   INT32_C(0),
    376   INT32_C(0),
    377   INT32_C(0),
    378   INT32_C(0),
    379   INT32_C(0),
    380   INT32_C(0),
    381   INT32_C(0),
    382   INT32_C(0),
    383   INT32_C(0),
    384   INT32_C(0),
    385   INT32_C(0),
    386   INT32_C(0),
    387   INT32_C(0),
    388   INT32_C(0),
    389   INT32_C(0),
    390   INT32_C(0),
    391   INT32_C(0),
    392   INT32_C(0),
    393   INT32_C(0),
    394   INT32_C(0),
    395   INT32_C(0),
    396   INT32_C(0),
    397   INT32_C(0),
    398   INT32_C(0),
    399   INT32_C(0),
    400   INT32_C(0),
    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(0),
    587   INT32_C(0),
    588   INT32_C(0),
    589   INT32_C(0),
    590   INT32_C(0),
    591   INT32_C(0),
    592   INT32_C(0),
    593   INT32_C(0),
    594   INT32_C(0),
    595   INT32_C(0),
    596   INT32_C(0),
    597   INT32_C(0),
    598   INT32_C(0),
    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(0),
    615   INT32_C(0),
    616   INT32_C(0),
    617   INT32_C(0),
    618   INT32_C(0),
    619   INT32_C(0),
    620   INT32_C(0),
    621   INT32_C(0),
    622   INT32_C(0),
    623   INT32_C(0),
    624   INT32_C(0),
    625   INT32_C(0),
    626   INT32_C(0),
    627   INT32_C(0),
    628   INT32_C(0),
    629   INT32_C(0),
    630   INT32_C(0),
    631   INT32_C(0),
    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(0),
    657   INT32_C(0),
    658   INT32_C(0),
    659   INT32_C(0),
    660   INT32_C(0),
    661   INT32_C(0),
    662   INT32_C(0),
    663   INT32_C(0),
    664   INT32_C(0),
    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(0),
    713   INT32_C(0),
    714   INT32_C(0),
    715   INT32_C(0),
    716   INT32_C(0),
    717   INT32_C(0),
    718   INT32_C(0),
    719   INT32_C(0),
    720   INT32_C(0),
    721   INT32_C(0),
    722   INT32_C(0),
    723   INT32_C(0),
    724   INT32_C(0),
    725   INT32_C(0),
    726   INT32_C(0),
    727   INT32_C(0),
    728   INT32_C(0),
    729   INT32_C(0),
    730   INT32_C(0),
    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(4095),
    745   -INT32_C(8191),
    746   -INT32_C(16383),
    747   -INT32_C(32767),
    748   -INT32_C(65535),
    749   -INT32_C(131071),
    750   -INT32_C(262143),
    751   -INT32_C(524287),
    752   -INT32_C(1048575),
    753   -INT32_C(2097151),
    754   -INT32_C(4194303),
    755   -INT32_C(8388607),
    756   -INT32_C(16777215),
    757   -INT32_C(33554430),
    758   -INT32_C(67108860),
    759   -INT32_C(134217720),
    760   -INT32_C(268435440),
    761   -INT32_C(536870880),
    762   -INT32_C(1073741760),
    763   -INT32_C(2147483520),
    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(1024),
    809   -INT32_C(2048),
    810   -INT32_C(4096),
    811   -INT32_C(8192),
    812   -INT32_C(16384),
    813   -INT32_C(32768),
    814   -INT32_C(65536),
    815   -INT32_C(131072),
    816   -INT32_C(262144),
    817   -INT32_C(524288),
    818   -INT32_C(1048576),
    819   -INT32_C(2097152),
    820   -INT32_C(4194304),
    821   -INT32_C(8388609),
    822   -INT32_C(16777218),
    823   -INT32_C(33554436),
    824   -INT32_C(67108872),
    825   -INT32_C(134217744),
    826   -INT32_C(268435488),
    827   -INT32_C(536870976),
    828   -INT32_C(1073741952),
    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(4095),
    843   -INT32_C(8191),
    844   -INT32_C(16383),
    845   -INT32_C(32767),
    846   -INT32_C(65535),
    847   -INT32_C(131071),
    848   -INT32_C(262143),
    849   -INT32_C(524287),
    850   -INT32_C(1048575),
    851   -INT32_C(2097151),
    852   -INT32_C(4194303),
    853   -INT32_C(8388607),
    854   -INT32_C(16777215),
    855   -INT32_C(33554430),
    856   -INT32_C(67108860),
    857   -INT32_C(134217720),
    858   -INT32_C(268435440),
    859   -INT32_C(536870880),
    860   -INT32_C(1073741760),
    861   -INT32_C(2147483520),
    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(1024),
    907   -INT32_C(2048),
    908   -INT32_C(4096),
    909   -INT32_C(8192),
    910   -INT32_C(16384),
    911   -INT32_C(32768),
    912   -INT32_C(65536),
    913   -INT32_C(131072),
    914   -INT32_C(262144),
    915   -INT32_C(524288),
    916   -INT32_C(1048576),
    917   -INT32_C(2097152),
    918   -INT32_C(4194304),
    919   -INT32_C(8388609),
    920   -INT32_C(16777218),
    921   -INT32_C(33554436),
    922   -INT32_C(67108872),
    923   -INT32_C(134217744),
    924   -INT32_C(268435488),
    925   -INT32_C(536870976),
    926   -INT32_C(1073741952),
    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(0),
    996   INT32_C(0),
    997   INT32_C(0),
    998   INT32_C(0),
    999   INT32_C(0),
   1000   INT32_C(0),
   1001   INT32_C(0),
   1002   INT32_C(0),
   1003   INT32_C(0),
   1004   INT32_C(0),
   1005   INT32_C(0),
   1006   INT32_C(0),
   1007   INT32_C(0),
   1008   INT32_C(0),
   1009   INT32_C(0),
   1010   INT32_C(0),
   1011   INT32_C(0),
   1012   INT32_C(0),
   1013   INT32_C(0),
   1014   INT32_C(0),
   1015   INT32_C(0),
   1016   INT32_C(0),
   1017   INT32_C(0),
   1018   INT32_C(0),
   1019   INT32_C(0),
   1020   INT32_C(0),
   1021   INT32_C(0),
   1022   INT32_C(0),
   1023   INT32_C(0),
   1024   INT32_C(0),
   1025   INT32_C(0),
   1026   INT32_C(0),
   1027   INT32_C(0),
   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(0),
   1214   INT32_C(0),
   1215   INT32_C(0),
   1216   INT32_C(0),
   1217   INT32_C(0),
   1218   INT32_C(0),
   1219   INT32_C(0),
   1220   INT32_C(0),
   1221   INT32_C(0),
   1222   INT32_C(0),
   1223   INT32_C(0),
   1224   INT32_C(0),
   1225   INT32_C(0),
   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(0),
   1242   INT32_C(0),
   1243   INT32_C(0),
   1244   INT32_C(0),
   1245   INT32_C(0),
   1246   INT32_C(0),
   1247   INT32_C(0),
   1248   INT32_C(0),
   1249   INT32_C(0),
   1250   INT32_C(0),
   1251   INT32_C(0),
   1252   INT32_C(0),
   1253   INT32_C(0),
   1254   INT32_C(0),
   1255   INT32_C(0),
   1256   INT32_C(0),
   1257   INT32_C(0),
   1258   INT32_C(0),
   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(0),
   1284   INT32_C(0),
   1285   INT32_C(0),
   1286   INT32_C(0),
   1287   INT32_C(0),
   1288   INT32_C(0),
   1289   INT32_C(0),
   1290   INT32_C(0),
   1291   INT32_C(0),
   1292   INT32_C(8388608),
   1293   INT32_C(16777216),
   1294   INT32_C(33554432),
   1295   INT32_C(67108864),
   1296   INT32_C(134217728),
   1297   INT32_C(268435456),
   1298   INT32_C(536870912),
   1299   INT32_C(1073741824),
   1300   INT32_C(2147483647),
   1301   INT32_C(2147483647),
   1302   INT32_C(2147483647),
   1303   INT32_C(2147483647),
   1304   INT32_C(2147483647),
   1305   INT32_C(2147483647),
   1306   INT32_C(2147483647),
   1307   INT32_C(2147483647),
   1308   INT32_C(2147483647),
   1309   INT32_C(2147483647),
   1310   INT32_C(2147483647),
   1311   INT32_C(2147483647),
   1312   INT32_C(2147483647),
   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(8388609),
   1326   INT32_C(16777218),
   1327   INT32_C(33554436),
   1328   INT32_C(67108872),
   1329   INT32_C(134217744),
   1330   INT32_C(268435488),
   1331   INT32_C(536870976),
   1332   INT32_C(1073741952),
   1333   INT32_C(2147483647),
   1334   INT32_C(2147483647),
   1335   INT32_C(2147483647),
   1336   INT32_C(2147483647),
   1337   INT32_C(2147483647),
   1338   INT32_C(2147483647),
   1339   INT32_C(2147483647),
   1340   INT32_C(2147483647),
   1341   INT32_C(2147483647),
   1342   INT32_C(2147483647),
   1343   INT32_C(2147483647),
   1344   INT32_C(2147483647),
   1345   INT32_C(2147483647),
   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(8388610),
   1359   INT32_C(16777220),
   1360   INT32_C(33554440),
   1361   INT32_C(67108880),
   1362   INT32_C(134217760),
   1363   INT32_C(268435520),
   1364   INT32_C(536871040),
   1365   INT32_C(1073742080),
   1366   INT32_C(2147483647),
   1367   INT32_C(2147483647),
   1368   INT32_C(2147483647),
   1369   INT32_C(2147483647),
   1370   INT32_C(2147483647),
   1371   INT32_C(2147483647),
   1372   INT32_C(2147483647),
   1373   INT32_C(2147483647),
   1374   INT32_C(2147483647),
   1375   INT32_C(2147483647),
   1376   INT32_C(2147483647),
   1377   INT32_C(2147483647),
   1378   INT32_C(2147483647),
   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(8388611),
   1392   INT32_C(16777222),
   1393   INT32_C(33554444),
   1394   INT32_C(67108888),
   1395   INT32_C(134217776),
   1396   INT32_C(268435552),
   1397   INT32_C(536871104),
   1398   INT32_C(1073742208),
   1399   INT32_C(2147483647),
   1400   INT32_C(2147483647),
   1401   INT32_C(2147483647),
   1402   INT32_C(2147483647),
   1403   INT32_C(2147483647),
   1404   INT32_C(2147483647),
   1405   INT32_C(2147483647),
   1406   INT32_C(2147483647),
   1407   INT32_C(2147483647),
   1408   INT32_C(2147483647),
   1409   INT32_C(2147483647),
   1410   INT32_C(2147483647),
   1411   INT32_C(2147483647),
   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(16143410),
   1425   INT32_C(32286820),
   1426   INT32_C(64573640),
   1427   INT32_C(129147280),
   1428   INT32_C(258294560),
   1429   INT32_C(516589120),
   1430   INT32_C(1033178240),
   1431   INT32_C(2066356480),
   1432   INT32_C(2147483647),
   1433   INT32_C(2147483647),
   1434   INT32_C(2147483647),
   1435   INT32_C(2147483647),
   1436   INT32_C(2147483647),
   1437   INT32_C(2147483647),
   1438   INT32_C(2147483647),
   1439   INT32_C(2147483647),
   1440   INT32_C(2147483647),
   1441   INT32_C(2147483647),
   1442   INT32_C(2147483647),
   1443   INT32_C(2147483647),
   1444   INT32_C(2147483647),
   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(16777212),
   1458   INT32_C(33554424),
   1459   INT32_C(67108848),
   1460   INT32_C(134217696),
   1461   INT32_C(268435392),
   1462   INT32_C(536870784),
   1463   INT32_C(1073741568),
   1464   INT32_C(2147483136),
   1465   INT32_C(2147483647),
   1466   INT32_C(2147483647),
   1467   INT32_C(2147483647),
   1468   INT32_C(2147483647),
   1469   INT32_C(2147483647),
   1470   INT32_C(2147483647),
   1471   INT32_C(2147483647),
   1472   INT32_C(2147483647),
   1473   INT32_C(2147483647),
   1474   INT32_C(2147483647),
   1475   INT32_C(2147483647),
   1476   INT32_C(2147483647),
   1477   INT32_C(2147483647),
   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(16777213),
   1491   INT32_C(33554426),
   1492   INT32_C(67108852),
   1493   INT32_C(134217704),
   1494   INT32_C(268435408),
   1495   INT32_C(536870816),
   1496   INT32_C(1073741632),
   1497   INT32_C(2147483264),
   1498   INT32_C(2147483647),
   1499   INT32_C(2147483647),
   1500   INT32_C(2147483647),
   1501   INT32_C(2147483647),
   1502   INT32_C(2147483647),
   1503   INT32_C(2147483647),
   1504   INT32_C(2147483647),
   1505   INT32_C(2147483647),
   1506   INT32_C(2147483647),
   1507   INT32_C(2147483647),
   1508   INT32_C(2147483647),
   1509   INT32_C(2147483647),
   1510   INT32_C(2147483647),
   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(16777214),
   1524   INT32_C(33554428),
   1525   INT32_C(67108856),
   1526   INT32_C(134217712),
   1527   INT32_C(268435424),
   1528   INT32_C(536870848),
   1529   INT32_C(1073741696),
   1530   INT32_C(2147483392),
   1531   INT32_C(2147483647),
   1532   INT32_C(2147483647),
   1533   INT32_C(2147483647),
   1534   INT32_C(2147483647),
   1535   INT32_C(2147483647),
   1536   INT32_C(2147483647),
   1537   INT32_C(2147483647),
   1538   INT32_C(2147483647),
   1539   INT32_C(2147483647),
   1540   INT32_C(2147483647),
   1541   INT32_C(2147483647),
   1542   INT32_C(2147483647),
   1543   INT32_C(2147483647),
   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(16777215),
   1557   INT32_C(33554430),
   1558   INT32_C(67108860),
   1559   INT32_C(134217720),
   1560   INT32_C(268435440),
   1561   INT32_C(536870880),
   1562   INT32_C(1073741760),
   1563   INT32_C(2147483520),
   1564   INT32_C(2147483647),
   1565   INT32_C(2147483647),
   1566   INT32_C(2147483647),
   1567   INT32_C(2147483647),
   1568   INT32_C(2147483647),
   1569   INT32_C(2147483647),
   1570   INT32_C(2147483647),
   1571   INT32_C(2147483647),
   1572   INT32_C(2147483647),
   1573   INT32_C(2147483647),
   1574   INT32_C(2147483647),
   1575   INT32_C(2147483647),
   1576   INT32_C(2147483647),
   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(4194304),
   1590   INT32_C(8388608),
   1591   INT32_C(16777216),
   1592   INT32_C(33554432),
   1593   INT32_C(67108864),
   1594   INT32_C(134217728),
   1595   INT32_C(268435456),
   1596   INT32_C(536870912),
   1597   INT32_C(1073741824),
   1598   INT32_C(2147483647),
   1599   INT32_C(2147483647),
   1600   INT32_C(2147483647),
   1601   INT32_C(2147483647),
   1602   INT32_C(2147483647),
   1603   INT32_C(2147483647),
   1604   INT32_C(2147483647),
   1605   INT32_C(2147483647),
   1606   INT32_C(2147483647),
   1607   INT32_C(2147483647),
   1608   INT32_C(2147483647),
   1609   INT32_C(2147483647),
   1610   INT32_C(2147483647),
   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(4194304),
   1623   INT32_C(8388609),
   1624   INT32_C(16777218),
   1625   INT32_C(33554436),
   1626   INT32_C(67108872),
   1627   INT32_C(134217744),
   1628   INT32_C(268435488),
   1629   INT32_C(536870976),
   1630   INT32_C(1073741952),
   1631   INT32_C(2147483647),
   1632   INT32_C(2147483647),
   1633   INT32_C(2147483647),
   1634   INT32_C(2147483647),
   1635   INT32_C(2147483647),
   1636   INT32_C(2147483647),
   1637   INT32_C(2147483647),
   1638   INT32_C(2147483647),
   1639   INT32_C(2147483647),
   1640   INT32_C(2147483647),
   1641   INT32_C(2147483647),
   1642   INT32_C(2147483647),
   1643   INT32_C(2147483647),
   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(4194305),
   1656   INT32_C(8388610),
   1657   INT32_C(16777220),
   1658   INT32_C(33554440),
   1659   INT32_C(67108880),
   1660   INT32_C(134217760),
   1661   INT32_C(268435520),
   1662   INT32_C(536871040),
   1663   INT32_C(1073742080),
   1664   INT32_C(2147483647),
   1665   INT32_C(2147483647),
   1666   INT32_C(2147483647),
   1667   INT32_C(2147483647),
   1668   INT32_C(2147483647),
   1669   INT32_C(2147483647),
   1670   INT32_C(2147483647),
   1671   INT32_C(2147483647),
   1672   INT32_C(2147483647),
   1673   INT32_C(2147483647),
   1674   INT32_C(2147483647),
   1675   INT32_C(2147483647),
   1676   INT32_C(2147483647),
   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(4194305),
   1689   INT32_C(8388611),
   1690   INT32_C(16777222),
   1691   INT32_C(33554444),
   1692   INT32_C(67108888),
   1693   INT32_C(134217776),
   1694   INT32_C(268435552),
   1695   INT32_C(536871104),
   1696   INT32_C(1073742208),
   1697   INT32_C(2147483647),
   1698   INT32_C(2147483647),
   1699   INT32_C(2147483647),
   1700   INT32_C(2147483647),
   1701   INT32_C(2147483647),
   1702   INT32_C(2147483647),
   1703   INT32_C(2147483647),
   1704   INT32_C(2147483647),
   1705   INT32_C(2147483647),
   1706   INT32_C(2147483647),
   1707   INT32_C(2147483647),
   1708   INT32_C(2147483647),
   1709   INT32_C(2147483647),
   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(8071705),
   1722   INT32_C(16143410),
   1723   INT32_C(32286820),
   1724   INT32_C(64573640),
   1725   INT32_C(129147280),
   1726   INT32_C(258294560),
   1727   INT32_C(516589120),
   1728   INT32_C(1033178240),
   1729   INT32_C(2066356480),
   1730   INT32_C(2147483647),
   1731   INT32_C(2147483647),
   1732   INT32_C(2147483647),
   1733   INT32_C(2147483647),
   1734   INT32_C(2147483647),
   1735   INT32_C(2147483647),
   1736   INT32_C(2147483647),
   1737   INT32_C(2147483647),
   1738   INT32_C(2147483647),
   1739   INT32_C(2147483647),
   1740   INT32_C(2147483647),
   1741   INT32_C(2147483647),
   1742   INT32_C(2147483647),
   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(8388606),
   1755   INT32_C(16777212),
   1756   INT32_C(33554424),
   1757   INT32_C(67108848),
   1758   INT32_C(134217696),
   1759   INT32_C(268435392),
   1760   INT32_C(536870784),
   1761   INT32_C(1073741568),
   1762   INT32_C(2147483136),
   1763   INT32_C(2147483647),
   1764   INT32_C(2147483647),
   1765   INT32_C(2147483647),
   1766   INT32_C(2147483647),
   1767   INT32_C(2147483647),
   1768   INT32_C(2147483647),
   1769   INT32_C(2147483647),
   1770   INT32_C(2147483647),
   1771   INT32_C(2147483647),
   1772   INT32_C(2147483647),
   1773   INT32_C(2147483647),
   1774   INT32_C(2147483647),
   1775   INT32_C(2147483647),
   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(8388606),
   1788   INT32_C(16777213),
   1789   INT32_C(33554426),
   1790   INT32_C(67108852),
   1791   INT32_C(134217704),
   1792   INT32_C(268435408),
   1793   INT32_C(536870816),
   1794   INT32_C(1073741632),
   1795   INT32_C(2147483264),
   1796   INT32_C(2147483647),
   1797   INT32_C(2147483647),
   1798   INT32_C(2147483647),
   1799   INT32_C(2147483647),
   1800   INT32_C(2147483647),
   1801   INT32_C(2147483647),
   1802   INT32_C(2147483647),
   1803   INT32_C(2147483647),
   1804   INT32_C(2147483647),
   1805   INT32_C(2147483647),
   1806   INT32_C(2147483647),
   1807   INT32_C(2147483647),
   1808   INT32_C(2147483647),
   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(8388607),
   1821   INT32_C(16777214),
   1822   INT32_C(33554428),
   1823   INT32_C(67108856),
   1824   INT32_C(134217712),
   1825   INT32_C(268435424),
   1826   INT32_C(536870848),
   1827   INT32_C(1073741696),
   1828   INT32_C(2147483392),
   1829   INT32_C(2147483647),
   1830   INT32_C(2147483647),
   1831   INT32_C(2147483647),
   1832   INT32_C(2147483647),
   1833   INT32_C(2147483647),
   1834   INT32_C(2147483647),
   1835   INT32_C(2147483647),
   1836   INT32_C(2147483647),
   1837   INT32_C(2147483647),
   1838   INT32_C(2147483647),
   1839   INT32_C(2147483647),
   1840   INT32_C(2147483647),
   1841   INT32_C(2147483647),
   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(8388607),
   1854   INT32_C(16777215),
   1855   INT32_C(33554430),
   1856   INT32_C(67108860),
   1857   INT32_C(134217720),
   1858   INT32_C(268435440),
   1859   INT32_C(536870880),
   1860   INT32_C(1073741760),
   1861   INT32_C(2147483520),
   1862   INT32_C(2147483647),
   1863   INT32_C(2147483647),
   1864   INT32_C(2147483647),
   1865   INT32_C(2147483647),
   1866   INT32_C(2147483647),
   1867   INT32_C(2147483647),
   1868   INT32_C(2147483647),
   1869   INT32_C(2147483647),
   1870   INT32_C(2147483647),
   1871   INT32_C(2147483647),
   1872   INT32_C(2147483647),
   1873   INT32_C(2147483647),
   1874   INT32_C(2147483647),
   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(2097152),
   1887   INT32_C(4194304),
   1888   INT32_C(8388608),
   1889   INT32_C(16777216),
   1890   INT32_C(33554432),
   1891   INT32_C(67108864),
   1892   INT32_C(134217728),
   1893   INT32_C(268435456),
   1894   INT32_C(536870912),
   1895   INT32_C(1073741824),
   1896   INT32_C(2147483647),
   1897   INT32_C(2147483647),
   1898   INT32_C(2147483647),
   1899   INT32_C(2147483647),
   1900   INT32_C(2147483647),
   1901   INT32_C(2147483647),
   1902   INT32_C(2147483647),
   1903   INT32_C(2147483647),
   1904   INT32_C(2147483647),
   1905   INT32_C(2147483647),
   1906   INT32_C(2147483647),
   1907   INT32_C(2147483647),
   1908   INT32_C(2147483647),
   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(2097152),
   1920   INT32_C(4194304),
   1921   INT32_C(8388609),
   1922   INT32_C(16777218),
   1923   INT32_C(33554436),
   1924   INT32_C(67108872),
   1925   INT32_C(134217744),
   1926   INT32_C(268435488),
   1927   INT32_C(536870976),
   1928   INT32_C(1073741952),
   1929   INT32_C(2147483647),
   1930   INT32_C(2147483647),
   1931   INT32_C(2147483647),
   1932   INT32_C(2147483647),
   1933   INT32_C(2147483647),
   1934   INT32_C(2147483647),
   1935   INT32_C(2147483647),
   1936   INT32_C(2147483647),
   1937   INT32_C(2147483647),
   1938   INT32_C(2147483647),
   1939   INT32_C(2147483647),
   1940   INT32_C(2147483647),
   1941   INT32_C(2147483647),
   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(2097152),
   1953   INT32_C(4194305),
   1954   INT32_C(8388610),
   1955   INT32_C(16777220),
   1956   INT32_C(33554440),
   1957   INT32_C(67108880),
   1958   INT32_C(134217760),
   1959   INT32_C(268435520),
   1960   INT32_C(536871040),
   1961   INT32_C(1073742080),
   1962   INT32_C(2147483647),
   1963   INT32_C(2147483647),
   1964   INT32_C(2147483647),
   1965   INT32_C(2147483647),
   1966   INT32_C(2147483647),
   1967   INT32_C(2147483647),
   1968   INT32_C(2147483647),
   1969   INT32_C(2147483647),
   1970   INT32_C(2147483647),
   1971   INT32_C(2147483647),
   1972   INT32_C(2147483647),
   1973   INT32_C(2147483647),
   1974   INT32_C(2147483647),
   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(2097152),
   1986   INT32_C(4194305),
   1987   INT32_C(8388611),
   1988   INT32_C(16777222),
   1989   INT32_C(33554444),
   1990   INT32_C(67108888),
   1991   INT32_C(134217776),
   1992   INT32_C(268435552),
   1993   INT32_C(536871104),
   1994   INT32_C(1073742208),
   1995   INT32_C(2147483647),
   1996   INT32_C(2147483647),
   1997   INT32_C(2147483647),
   1998   INT32_C(2147483647),
   1999   INT32_C(2147483647),
   2000   INT32_C(2147483647),
   2001   INT32_C(2147483647),
   2002   INT32_C(2147483647),
   2003   INT32_C(2147483647),
   2004   INT32_C(2147483647),
   2005   INT32_C(2147483647),
   2006   INT32_C(2147483647),
   2007   INT32_C(2147483647),
   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(4035852),
   2019   INT32_C(8071705),
   2020   INT32_C(16143410),
   2021   INT32_C(32286820),
   2022   INT32_C(64573640),
   2023   INT32_C(129147280),
   2024   INT32_C(258294560),
   2025   INT32_C(516589120),
   2026   INT32_C(1033178240),
   2027   INT32_C(2066356480),
   2028   INT32_C(2147483647),
   2029   INT32_C(2147483647),
   2030   INT32_C(2147483647),
   2031   INT32_C(2147483647),
   2032   INT32_C(2147483647),
   2033   INT32_C(2147483647),
   2034   INT32_C(2147483647),
   2035   INT32_C(2147483647),
   2036   INT32_C(2147483647),
   2037   INT32_C(2147483647),
   2038   INT32_C(2147483647),
   2039   INT32_C(2147483647),
   2040   INT32_C(2147483647),
   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(4194303),
   2052   INT32_C(8388606),
   2053   INT32_C(16777212),
   2054   INT32_C(33554424),
   2055   INT32_C(67108848),
   2056   INT32_C(134217696),
   2057   INT32_C(268435392),
   2058   INT32_C(536870784),
   2059   INT32_C(1073741568),
   2060   INT32_C(2147483136),
   2061   INT32_C(2147483647),
   2062   INT32_C(2147483647),
   2063   INT32_C(2147483647),
   2064   INT32_C(2147483647),
   2065   INT32_C(2147483647),
   2066   INT32_C(2147483647),
   2067   INT32_C(2147483647),
   2068   INT32_C(2147483647),
   2069   INT32_C(2147483647),
   2070   INT32_C(2147483647),
   2071   INT32_C(2147483647),
   2072   INT32_C(2147483647),
   2073   INT32_C(2147483647),
   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(4194303),
   2085   INT32_C(8388606),
   2086   INT32_C(16777213),
   2087   INT32_C(33554426),
   2088   INT32_C(67108852),
   2089   INT32_C(134217704),
   2090   INT32_C(268435408),
   2091   INT32_C(536870816),
   2092   INT32_C(1073741632),
   2093   INT32_C(2147483264),
   2094   INT32_C(2147483647),
   2095   INT32_C(2147483647),
   2096   INT32_C(2147483647),
   2097   INT32_C(2147483647),
   2098   INT32_C(2147483647),
   2099   INT32_C(2147483647),
   2100   INT32_C(2147483647),
   2101   INT32_C(2147483647),
   2102   INT32_C(2147483647),
   2103   INT32_C(2147483647),
   2104   INT32_C(2147483647),
   2105   INT32_C(2147483647),
   2106   INT32_C(2147483647),
   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(4194303),
   2118   INT32_C(8388607),
   2119   INT32_C(16777214),
   2120   INT32_C(33554428),
   2121   INT32_C(67108856),
   2122   INT32_C(134217712),
   2123   INT32_C(268435424),
   2124   INT32_C(536870848),
   2125   INT32_C(1073741696),
   2126   INT32_C(2147483392),
   2127   INT32_C(2147483647),
   2128   INT32_C(2147483647),
   2129   INT32_C(2147483647),
   2130   INT32_C(2147483647),
   2131   INT32_C(2147483647),
   2132   INT32_C(2147483647),
   2133   INT32_C(2147483647),
   2134   INT32_C(2147483647),
   2135   INT32_C(2147483647),
   2136   INT32_C(2147483647),
   2137   INT32_C(2147483647),
   2138   INT32_C(2147483647),
   2139   INT32_C(2147483647),
   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(4194303),
   2151   INT32_C(8388607),
   2152   INT32_C(16777215),
   2153   INT32_C(33554430),
   2154   INT32_C(67108860),
   2155   INT32_C(134217720),
   2156   INT32_C(268435440),
   2157   INT32_C(536870880),
   2158   INT32_C(1073741760),
   2159   INT32_C(2147483520),
   2160   INT32_C(2147483647),
   2161   INT32_C(2147483647),
   2162   INT32_C(2147483647),
   2163   INT32_C(2147483647),
   2164   INT32_C(2147483647),
   2165   INT32_C(2147483647),
   2166   INT32_C(2147483647),
   2167   INT32_C(2147483647),
   2168   INT32_C(2147483647),
   2169   INT32_C(2147483647),
   2170   INT32_C(2147483647),
   2171   INT32_C(2147483647),
   2172   INT32_C(2147483647),
   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(8388608),
   2184   -INT32_C(16777216),
   2185   -INT32_C(33554432),
   2186   -INT32_C(67108864),
   2187   -INT32_C(134217728),
   2188   -INT32_C(268435456),
   2189   -INT32_C(536870912),
   2190   -INT32_C(1073741824),
   2191   -INT32_C(2147483647) - 1,
   2192   -INT32_C(2147483647) - 1,
   2193   -INT32_C(2147483647) - 1,
   2194   -INT32_C(2147483647) - 1,
   2195   -INT32_C(2147483647) - 1,
   2196   -INT32_C(2147483647) - 1,
   2197   -INT32_C(2147483647) - 1,
   2198   -INT32_C(2147483647) - 1,
   2199   -INT32_C(2147483647) - 1,
   2200   -INT32_C(2147483647) - 1,
   2201   -INT32_C(2147483647) - 1,
   2202   -INT32_C(2147483647) - 1,
   2203   -INT32_C(2147483647) - 1,
   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(8388609),
   2217   -INT32_C(16777218),
   2218   -INT32_C(33554436),
   2219   -INT32_C(67108872),
   2220   -INT32_C(134217744),
   2221   -INT32_C(268435488),
   2222   -INT32_C(536870976),
   2223   -INT32_C(1073741952),
   2224   -INT32_C(2147483647) - 1,
   2225   -INT32_C(2147483647) - 1,
   2226   -INT32_C(2147483647) - 1,
   2227   -INT32_C(2147483647) - 1,
   2228   -INT32_C(2147483647) - 1,
   2229   -INT32_C(2147483647) - 1,
   2230   -INT32_C(2147483647) - 1,
   2231   -INT32_C(2147483647) - 1,
   2232   -INT32_C(2147483647) - 1,
   2233   -INT32_C(2147483647) - 1,
   2234   -INT32_C(2147483647) - 1,
   2235   -INT32_C(2147483647) - 1,
   2236   -INT32_C(2147483647) - 1,
   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(8388610),
   2250   -INT32_C(16777220),
   2251   -INT32_C(33554440),
   2252   -INT32_C(67108880),
   2253   -INT32_C(134217760),
   2254   -INT32_C(268435520),
   2255   -INT32_C(536871040),
   2256   -INT32_C(1073742080),
   2257   -INT32_C(2147483647) - 1,
   2258   -INT32_C(2147483647) - 1,
   2259   -INT32_C(2147483647) - 1,
   2260   -INT32_C(2147483647) - 1,
   2261   -INT32_C(2147483647) - 1,
   2262   -INT32_C(2147483647) - 1,
   2263   -INT32_C(2147483647) - 1,
   2264   -INT32_C(2147483647) - 1,
   2265   -INT32_C(2147483647) - 1,
   2266   -INT32_C(2147483647) - 1,
   2267   -INT32_C(2147483647) - 1,
   2268   -INT32_C(2147483647) - 1,
   2269   -INT32_C(2147483647) - 1,
   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(8388611),
   2283   -INT32_C(16777222),
   2284   -INT32_C(33554444),
   2285   -INT32_C(67108888),
   2286   -INT32_C(134217776),
   2287   -INT32_C(268435552),
   2288   -INT32_C(536871104),
   2289   -INT32_C(1073742208),
   2290   -INT32_C(2147483647) - 1,
   2291   -INT32_C(2147483647) - 1,
   2292   -INT32_C(2147483647) - 1,
   2293   -INT32_C(2147483647) - 1,
   2294   -INT32_C(2147483647) - 1,
   2295   -INT32_C(2147483647) - 1,
   2296   -INT32_C(2147483647) - 1,
   2297   -INT32_C(2147483647) - 1,
   2298   -INT32_C(2147483647) - 1,
   2299   -INT32_C(2147483647) - 1,
   2300   -INT32_C(2147483647) - 1,
   2301   -INT32_C(2147483647) - 1,
   2302   -INT32_C(2147483647) - 1,
   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(16143410),
   2316   -INT32_C(32286820),
   2317   -INT32_C(64573640),
   2318   -INT32_C(129147280),
   2319   -INT32_C(258294560),
   2320   -INT32_C(516589120),
   2321   -INT32_C(1033178240),
   2322   -INT32_C(2066356480),
   2323   -INT32_C(2147483647) - 1,
   2324   -INT32_C(2147483647) - 1,
   2325   -INT32_C(2147483647) - 1,
   2326   -INT32_C(2147483647) - 1,
   2327   -INT32_C(2147483647) - 1,
   2328   -INT32_C(2147483647) - 1,
   2329   -INT32_C(2147483647) - 1,
   2330   -INT32_C(2147483647) - 1,
   2331   -INT32_C(2147483647) - 1,
   2332   -INT32_C(2147483647) - 1,
   2333   -INT32_C(2147483647) - 1,
   2334   -INT32_C(2147483647) - 1,
   2335   -INT32_C(2147483647) - 1,
   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(16777212),
   2349   -INT32_C(33554424),
   2350   -INT32_C(67108848),
   2351   -INT32_C(134217696),
   2352   -INT32_C(268435392),
   2353   -INT32_C(536870784),
   2354   -INT32_C(1073741568),
   2355   -INT32_C(2147483136),
   2356   -INT32_C(2147483647) - 1,
   2357   -INT32_C(2147483647) - 1,
   2358   -INT32_C(2147483647) - 1,
   2359   -INT32_C(2147483647) - 1,
   2360   -INT32_C(2147483647) - 1,
   2361   -INT32_C(2147483647) - 1,
   2362   -INT32_C(2147483647) - 1,
   2363   -INT32_C(2147483647) - 1,
   2364   -INT32_C(2147483647) - 1,
   2365   -INT32_C(2147483647) - 1,
   2366   -INT32_C(2147483647) - 1,
   2367   -INT32_C(2147483647) - 1,
   2368   -INT32_C(2147483647) - 1,
   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(16777213),
   2382   -INT32_C(33554426),
   2383   -INT32_C(67108852),
   2384   -INT32_C(134217704),
   2385   -INT32_C(268435408),
   2386   -INT32_C(536870816),
   2387   -INT32_C(1073741632),
   2388   -INT32_C(2147483264),
   2389   -INT32_C(2147483647) - 1,
   2390   -INT32_C(2147483647) - 1,
   2391   -INT32_C(2147483647) - 1,
   2392   -INT32_C(2147483647) - 1,
   2393   -INT32_C(2147483647) - 1,
   2394   -INT32_C(2147483647) - 1,
   2395   -INT32_C(2147483647) - 1,
   2396   -INT32_C(2147483647) - 1,
   2397   -INT32_C(2147483647) - 1,
   2398   -INT32_C(2147483647) - 1,
   2399   -INT32_C(2147483647) - 1,
   2400   -INT32_C(2147483647) - 1,
   2401   -INT32_C(2147483647) - 1,
   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(16777214),
   2415   -INT32_C(33554428),
   2416   -INT32_C(67108856),
   2417   -INT32_C(134217712),
   2418   -INT32_C(268435424),
   2419   -INT32_C(536870848),
   2420   -INT32_C(1073741696),
   2421   -INT32_C(2147483392),
   2422   -INT32_C(2147483647) - 1,
   2423   -INT32_C(2147483647) - 1,
   2424   -INT32_C(2147483647) - 1,
   2425   -INT32_C(2147483647) - 1,
   2426   -INT32_C(2147483647) - 1,
   2427   -INT32_C(2147483647) - 1,
   2428   -INT32_C(2147483647) - 1,
   2429   -INT32_C(2147483647) - 1,
   2430   -INT32_C(2147483647) - 1,
   2431   -INT32_C(2147483647) - 1,
   2432   -INT32_C(2147483647) - 1,
   2433   -INT32_C(2147483647) - 1,
   2434   -INT32_C(2147483647) - 1,
   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(16777215),
   2448   -INT32_C(33554430),
   2449   -INT32_C(67108860),
   2450   -INT32_C(134217720),
   2451   -INT32_C(268435440),
   2452   -INT32_C(536870880),
   2453   -INT32_C(1073741760),
   2454   -INT32_C(2147483520),
   2455   -INT32_C(2147483647) - 1,
   2456   -INT32_C(2147483647) - 1,
   2457   -INT32_C(2147483647) - 1,
   2458   -INT32_C(2147483647) - 1,
   2459   -INT32_C(2147483647) - 1,
   2460   -INT32_C(2147483647) - 1,
   2461   -INT32_C(2147483647) - 1,
   2462   -INT32_C(2147483647) - 1,
   2463   -INT32_C(2147483647) - 1,
   2464   -INT32_C(2147483647) - 1,
   2465   -INT32_C(2147483647) - 1,
   2466   -INT32_C(2147483647) - 1,
   2467   -INT32_C(2147483647) - 1,
   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(4194304),
   2481   -INT32_C(8388608),
   2482   -INT32_C(16777216),
   2483   -INT32_C(33554432),
   2484   -INT32_C(67108864),
   2485   -INT32_C(134217728),
   2486   -INT32_C(268435456),
   2487   -INT32_C(536870912),
   2488   -INT32_C(1073741824),
   2489   -INT32_C(2147483647) - 1,
   2490   -INT32_C(2147483647) - 1,
   2491   -INT32_C(2147483647) - 1,
   2492   -INT32_C(2147483647) - 1,
   2493   -INT32_C(2147483647) - 1,
   2494   -INT32_C(2147483647) - 1,
   2495   -INT32_C(2147483647) - 1,
   2496   -INT32_C(2147483647) - 1,
   2497   -INT32_C(2147483647) - 1,
   2498   -INT32_C(2147483647) - 1,
   2499   -INT32_C(2147483647) - 1,
   2500   -INT32_C(2147483647) - 1,
   2501   -INT32_C(2147483647) - 1,
   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(4194304),
   2514   -INT32_C(8388609),
   2515   -INT32_C(16777218),
   2516   -INT32_C(33554436),
   2517   -INT32_C(67108872),
   2518   -INT32_C(134217744),
   2519   -INT32_C(268435488),
   2520   -INT32_C(536870976),
   2521   -INT32_C(1073741952),
   2522   -INT32_C(2147483647) - 1,
   2523   -INT32_C(2147483647) - 1,
   2524   -INT32_C(2147483647) - 1,
   2525   -INT32_C(2147483647) - 1,
   2526   -INT32_C(2147483647) - 1,
   2527   -INT32_C(2147483647) - 1,
   2528   -INT32_C(2147483647) - 1,
   2529   -INT32_C(2147483647) - 1,
   2530   -INT32_C(2147483647) - 1,
   2531   -INT32_C(2147483647) - 1,
   2532   -INT32_C(2147483647) - 1,
   2533   -INT32_C(2147483647) - 1,
   2534   -INT32_C(2147483647) - 1,
   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(4194305),
   2547   -INT32_C(8388610),
   2548   -INT32_C(16777220),
   2549   -INT32_C(33554440),
   2550   -INT32_C(67108880),
   2551   -INT32_C(134217760),
   2552   -INT32_C(268435520),
   2553   -INT32_C(536871040),
   2554   -INT32_C(1073742080),
   2555   -INT32_C(2147483647) - 1,
   2556   -INT32_C(2147483647) - 1,
   2557   -INT32_C(2147483647) - 1,
   2558   -INT32_C(2147483647) - 1,
   2559   -INT32_C(2147483647) - 1,
   2560   -INT32_C(2147483647) - 1,
   2561   -INT32_C(2147483647) - 1,
   2562   -INT32_C(2147483647) - 1,
   2563   -INT32_C(2147483647) - 1,
   2564   -INT32_C(2147483647) - 1,
   2565   -INT32_C(2147483647) - 1,
   2566   -INT32_C(2147483647) - 1,
   2567   -INT32_C(2147483647) - 1,
   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(4194305),
   2580   -INT32_C(8388611),
   2581   -INT32_C(16777222),
   2582   -INT32_C(33554444),
   2583   -INT32_C(67108888),
   2584   -INT32_C(134217776),
   2585   -INT32_C(268435552),
   2586   -INT32_C(536871104),
   2587   -INT32_C(1073742208),
   2588   -INT32_C(2147483647) - 1,
   2589   -INT32_C(2147483647) - 1,
   2590   -INT32_C(2147483647) - 1,
   2591   -INT32_C(2147483647) - 1,
   2592   -INT32_C(2147483647) - 1,
   2593   -INT32_C(2147483647) - 1,
   2594   -INT32_C(2147483647) - 1,
   2595   -INT32_C(2147483647) - 1,
   2596   -INT32_C(2147483647) - 1,
   2597   -INT32_C(2147483647) - 1,
   2598   -INT32_C(2147483647) - 1,
   2599   -INT32_C(2147483647) - 1,
   2600   -INT32_C(2147483647) - 1,
   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(8071705),
   2613   -INT32_C(16143410),
   2614   -INT32_C(32286820),
   2615   -INT32_C(64573640),
   2616   -INT32_C(129147280),
   2617   -INT32_C(258294560),
   2618   -INT32_C(516589120),
   2619   -INT32_C(1033178240),
   2620   -INT32_C(2066356480),
   2621   -INT32_C(2147483647) - 1,
   2622   -INT32_C(2147483647) - 1,
   2623   -INT32_C(2147483647) - 1,
   2624   -INT32_C(2147483647) - 1,
   2625   -INT32_C(2147483647) - 1,
   2626   -INT32_C(2147483647) - 1,
   2627   -INT32_C(2147483647) - 1,
   2628   -INT32_C(2147483647) - 1,
   2629   -INT32_C(2147483647) - 1,
   2630   -INT32_C(2147483647) - 1,
   2631   -INT32_C(2147483647) - 1,
   2632   -INT32_C(2147483647) - 1,
   2633   -INT32_C(2147483647) - 1,
   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(8388606),
   2646   -INT32_C(16777212),
   2647   -INT32_C(33554424),
   2648   -INT32_C(67108848),
   2649   -INT32_C(134217696),
   2650   -INT32_C(268435392),
   2651   -INT32_C(536870784),
   2652   -INT32_C(1073741568),
   2653   -INT32_C(2147483136),
   2654   -INT32_C(2147483647) - 1,
   2655   -INT32_C(2147483647) - 1,
   2656   -INT32_C(2147483647) - 1,
   2657   -INT32_C(2147483647) - 1,
   2658   -INT32_C(2147483647) - 1,
   2659   -INT32_C(2147483647) - 1,
   2660   -INT32_C(2147483647) - 1,
   2661   -INT32_C(2147483647) - 1,
   2662   -INT32_C(2147483647) - 1,
   2663   -INT32_C(2147483647) - 1,
   2664   -INT32_C(2147483647) - 1,
   2665   -INT32_C(2147483647) - 1,
   2666   -INT32_C(2147483647) - 1,
   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(8388606),
   2679   -INT32_C(16777213),
   2680   -INT32_C(33554426),
   2681   -INT32_C(67108852),
   2682   -INT32_C(134217704),
   2683   -INT32_C(268435408),
   2684   -INT32_C(536870816),
   2685   -INT32_C(1073741632),
   2686   -INT32_C(2147483264),
   2687   -INT32_C(2147483647) - 1,
   2688   -INT32_C(2147483647) - 1,
   2689   -INT32_C(2147483647) - 1,
   2690   -INT32_C(2147483647) - 1,
   2691   -INT32_C(2147483647) - 1,
   2692   -INT32_C(2147483647) - 1,
   2693   -INT32_C(2147483647) - 1,
   2694   -INT32_C(2147483647) - 1,
   2695   -INT32_C(2147483647) - 1,
   2696   -INT32_C(2147483647) - 1,
   2697   -INT32_C(2147483647) - 1,
   2698   -INT32_C(2147483647) - 1,
   2699   -INT32_C(2147483647) - 1,
   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(8388607),
   2712   -INT32_C(16777214),
   2713   -INT32_C(33554428),
   2714   -INT32_C(67108856),
   2715   -INT32_C(134217712),
   2716   -INT32_C(268435424),
   2717   -INT32_C(536870848),
   2718   -INT32_C(1073741696),
   2719   -INT32_C(2147483392),
   2720   -INT32_C(2147483647) - 1,
   2721   -INT32_C(2147483647) - 1,
   2722   -INT32_C(2147483647) - 1,
   2723   -INT32_C(2147483647) - 1,
   2724   -INT32_C(2147483647) - 1,
   2725   -INT32_C(2147483647) - 1,
   2726   -INT32_C(2147483647) - 1,
   2727   -INT32_C(2147483647) - 1,
   2728   -INT32_C(2147483647) - 1,
   2729   -INT32_C(2147483647) - 1,
   2730   -INT32_C(2147483647) - 1,
   2731   -INT32_C(2147483647) - 1,
   2732   -INT32_C(2147483647) - 1,
   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(8388607),
   2745   -INT32_C(16777215),
   2746   -INT32_C(33554430),
   2747   -INT32_C(67108860),
   2748   -INT32_C(134217720),
   2749   -INT32_C(268435440),
   2750   -INT32_C(536870880),
   2751   -INT32_C(1073741760),
   2752   -INT32_C(2147483520),
   2753   -INT32_C(2147483647) - 1,
   2754   -INT32_C(2147483647) - 1,
   2755   -INT32_C(2147483647) - 1,
   2756   -INT32_C(2147483647) - 1,
   2757   -INT32_C(2147483647) - 1,
   2758   -INT32_C(2147483647) - 1,
   2759   -INT32_C(2147483647) - 1,
   2760   -INT32_C(2147483647) - 1,
   2761   -INT32_C(2147483647) - 1,
   2762   -INT32_C(2147483647) - 1,
   2763   -INT32_C(2147483647) - 1,
   2764   -INT32_C(2147483647) - 1,
   2765   -INT32_C(2147483647) - 1,
   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(2097152),
   2778   -INT32_C(4194304),
   2779   -INT32_C(8388608),
   2780   -INT32_C(16777216),
   2781   -INT32_C(33554432),
   2782   -INT32_C(67108864),
   2783   -INT32_C(134217728),
   2784   -INT32_C(268435456),
   2785   -INT32_C(536870912),
   2786   -INT32_C(1073741824),
   2787   -INT32_C(2147483647) - 1,
   2788   -INT32_C(2147483647) - 1,
   2789   -INT32_C(2147483647) - 1,
   2790   -INT32_C(2147483647) - 1,
   2791   -INT32_C(2147483647) - 1,
   2792   -INT32_C(2147483647) - 1,
   2793   -INT32_C(2147483647) - 1,
   2794   -INT32_C(2147483647) - 1,
   2795   -INT32_C(2147483647) - 1,
   2796   -INT32_C(2147483647) - 1,
   2797   -INT32_C(2147483647) - 1,
   2798   -INT32_C(2147483647) - 1,
   2799   -INT32_C(2147483647) - 1,
   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(2097152),
   2811   -INT32_C(4194304),
   2812   -INT32_C(8388609),
   2813   -INT32_C(16777218),
   2814   -INT32_C(33554436),
   2815   -INT32_C(67108872),
   2816   -INT32_C(134217744),
   2817   -INT32_C(268435488),
   2818   -INT32_C(536870976),
   2819   -INT32_C(1073741952),
   2820   -INT32_C(2147483647) - 1,
   2821   -INT32_C(2147483647) - 1,
   2822   -INT32_C(2147483647) - 1,
   2823   -INT32_C(2147483647) - 1,
   2824   -INT32_C(2147483647) - 1,
   2825   -INT32_C(2147483647) - 1,
   2826   -INT32_C(2147483647) - 1,
   2827   -INT32_C(2147483647) - 1,
   2828   -INT32_C(2147483647) - 1,
   2829   -INT32_C(2147483647) - 1,
   2830   -INT32_C(2147483647) - 1,
   2831   -INT32_C(2147483647) - 1,
   2832   -INT32_C(2147483647) - 1,
   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(2097152),
   2844   -INT32_C(4194305),
   2845   -INT32_C(8388610),
   2846   -INT32_C(16777220),
   2847   -INT32_C(33554440),
   2848   -INT32_C(67108880),
   2849   -INT32_C(134217760),
   2850   -INT32_C(268435520),
   2851   -INT32_C(536871040),
   2852   -INT32_C(1073742080),
   2853   -INT32_C(2147483647) - 1,
   2854   -INT32_C(2147483647) - 1,
   2855   -INT32_C(2147483647) - 1,
   2856   -INT32_C(2147483647) - 1,
   2857   -INT32_C(2147483647) - 1,
   2858   -INT32_C(2147483647) - 1,
   2859   -INT32_C(2147483647) - 1,
   2860   -INT32_C(2147483647) - 1,
   2861   -INT32_C(2147483647) - 1,
   2862   -INT32_C(2147483647) - 1,
   2863   -INT32_C(2147483647) - 1,
   2864   -INT32_C(2147483647) - 1,
   2865   -INT32_C(2147483647) - 1,
   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(2097152),
   2877   -INT32_C(4194305),
   2878   -INT32_C(8388611),
   2879   -INT32_C(16777222),
   2880   -INT32_C(33554444),
   2881   -INT32_C(67108888),
   2882   -INT32_C(134217776),
   2883   -INT32_C(268435552),
   2884   -INT32_C(536871104),
   2885   -INT32_C(1073742208),
   2886   -INT32_C(2147483647) - 1,
   2887   -INT32_C(2147483647) - 1,
   2888   -INT32_C(2147483647) - 1,
   2889   -INT32_C(2147483647) - 1,
   2890   -INT32_C(2147483647) - 1,
   2891   -INT32_C(2147483647) - 1,
   2892   -INT32_C(2147483647) - 1,
   2893   -INT32_C(2147483647) - 1,
   2894   -INT32_C(2147483647) - 1,
   2895   -INT32_C(2147483647) - 1,
   2896   -INT32_C(2147483647) - 1,
   2897   -INT32_C(2147483647) - 1,
   2898   -INT32_C(2147483647) - 1,
   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(4035852),
   2910   -INT32_C(8071705),
   2911   -INT32_C(16143410),
   2912   -INT32_C(32286820),
   2913   -INT32_C(64573640),
   2914   -INT32_C(129147280),
   2915   -INT32_C(258294560),
   2916   -INT32_C(516589120),
   2917   -INT32_C(1033178240),
   2918   -INT32_C(2066356480),
   2919   -INT32_C(2147483647) - 1,
   2920   -INT32_C(2147483647) - 1,
   2921   -INT32_C(2147483647) - 1,
   2922   -INT32_C(2147483647) - 1,
   2923   -INT32_C(2147483647) - 1,
   2924   -INT32_C(2147483647) - 1,
   2925   -INT32_C(2147483647) - 1,
   2926   -INT32_C(2147483647) - 1,
   2927   -INT32_C(2147483647) - 1,
   2928   -INT32_C(2147483647) - 1,
   2929   -INT32_C(2147483647) - 1,
   2930   -INT32_C(2147483647) - 1,
   2931   -INT32_C(2147483647) - 1,
   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(4194303),
   2943   -INT32_C(8388606),
   2944   -INT32_C(16777212),
   2945   -INT32_C(33554424),
   2946   -INT32_C(67108848),
   2947   -INT32_C(134217696),
   2948   -INT32_C(268435392),
   2949   -INT32_C(536870784),
   2950   -INT32_C(1073741568),
   2951   -INT32_C(2147483136),
   2952   -INT32_C(2147483647) - 1,
   2953   -INT32_C(2147483647) - 1,
   2954   -INT32_C(2147483647) - 1,
   2955   -INT32_C(2147483647) - 1,
   2956   -INT32_C(2147483647) - 1,
   2957   -INT32_C(2147483647) - 1,
   2958   -INT32_C(2147483647) - 1,
   2959   -INT32_C(2147483647) - 1,
   2960   -INT32_C(2147483647) - 1,
   2961   -INT32_C(2147483647) - 1,
   2962   -INT32_C(2147483647) - 1,
   2963   -INT32_C(2147483647) - 1,
   2964   -INT32_C(2147483647) - 1,
   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(4194303),
   2976   -INT32_C(8388606),
   2977   -INT32_C(16777213),
   2978   -INT32_C(33554426),
   2979   -INT32_C(67108852),
   2980   -INT32_C(134217704),
   2981   -INT32_C(268435408),
   2982   -INT32_C(536870816),
   2983   -INT32_C(1073741632),
   2984   -INT32_C(2147483264),
   2985   -INT32_C(2147483647) - 1,
   2986   -INT32_C(2147483647) - 1,
   2987   -INT32_C(2147483647) - 1,
   2988   -INT32_C(2147483647) - 1,
   2989   -INT32_C(2147483647) - 1,
   2990   -INT32_C(2147483647) - 1,
   2991   -INT32_C(2147483647) - 1,
   2992   -INT32_C(2147483647) - 1,
   2993   -INT32_C(2147483647) - 1,
   2994   -INT32_C(2147483647) - 1,
   2995   -INT32_C(2147483647) - 1,
   2996   -INT32_C(2147483647) - 1,
   2997   -INT32_C(2147483647) - 1,
   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(4194303),
   3009   -INT32_C(8388607),
   3010   -INT32_C(16777214),
   3011   -INT32_C(33554428),
   3012   -INT32_C(67108856),
   3013   -INT32_C(134217712),
   3014   -INT32_C(268435424),
   3015   -INT32_C(536870848),
   3016   -INT32_C(1073741696),
   3017   -INT32_C(2147483392),
   3018   -INT32_C(2147483647) - 1,
   3019   -INT32_C(2147483647) - 1,
   3020   -INT32_C(2147483647) - 1,
   3021   -INT32_C(2147483647) - 1,
   3022   -INT32_C(2147483647) - 1,
   3023   -INT32_C(2147483647) - 1,
   3024   -INT32_C(2147483647) - 1,
   3025   -INT32_C(2147483647) - 1,
   3026   -INT32_C(2147483647) - 1,
   3027   -INT32_C(2147483647) - 1,
   3028   -INT32_C(2147483647) - 1,
   3029   -INT32_C(2147483647) - 1,
   3030   -INT32_C(2147483647) - 1,
   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(4194303),
   3042   -INT32_C(8388607),
   3043   -INT32_C(16777215),
   3044   -INT32_C(33554430),
   3045   -INT32_C(67108860),
   3046   -INT32_C(134217720),
   3047   -INT32_C(268435440),
   3048   -INT32_C(536870880),
   3049   -INT32_C(1073741760),
   3050   -INT32_C(2147483520),
   3051   -INT32_C(2147483647) - 1,
   3052   -INT32_C(2147483647) - 1,
   3053   -INT32_C(2147483647) - 1,
   3054   -INT32_C(2147483647) - 1,
   3055   -INT32_C(2147483647) - 1,
   3056   -INT32_C(2147483647) - 1,
   3057   -INT32_C(2147483647) - 1,
   3058   -INT32_C(2147483647) - 1,
   3059   -INT32_C(2147483647) - 1,
   3060   -INT32_C(2147483647) - 1,
   3061   -INT32_C(2147483647) - 1,
   3062   -INT32_C(2147483647) - 1,
   3063   -INT32_C(2147483647) - 1,
   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(2147483647) - 1,
   3075   -INT32_C(2147483647) - 1,
   3076   -INT32_C(2147483647) - 1,
   3077   -INT32_C(2147483647) - 1,
   3078   -INT32_C(2147483647) - 1,
   3079   -INT32_C(2147483647) - 1,
   3080   -INT32_C(2147483647) - 1,
   3081   -INT32_C(2147483647) - 1,
   3082   -INT32_C(2147483647) - 1,
   3083   -INT32_C(2147483647) - 1,
   3084   -INT32_C(2147483647) - 1,
   3085   -INT32_C(2147483647) - 1,
   3086   -INT32_C(2147483647) - 1,
   3087   -INT32_C(2147483647) - 1,
   3088   -INT32_C(2147483647) - 1,
   3089   -INT32_C(2147483647) - 1,
   3090   -INT32_C(2147483647) - 1,
   3091   -INT32_C(2147483647) - 1,
   3092   -INT32_C(2147483647) - 1,
   3093   -INT32_C(2147483647) - 1,
   3094   -INT32_C(2147483647) - 1,
   3095   -INT32_C(2147483647) - 1,
   3096   -INT32_C(2147483647) - 1,
   3097   -INT32_C(2147483647) - 1,
   3098   -INT32_C(2147483647) - 1,
   3099   -INT32_C(2147483647) - 1,
   3100   -INT32_C(2147483647) - 1,
   3101   -INT32_C(2147483647) - 1,
   3102   -INT32_C(2147483647) - 1,
   3103   -INT32_C(2147483647) - 1,
   3104   -INT32_C(2147483647) - 1,
   3105   -INT32_C(2147483647) - 1,
   3106   -INT32_C(2147483647) - 1,
   3107   -INT32_C(2147483647) - 1,
   3108   -INT32_C(2147483647) - 1,
   3109   -INT32_C(2147483647) - 1,
   3110   -INT32_C(2147483647) - 1,
   3111   -INT32_C(2147483647) - 1,
   3112   -INT32_C(2147483647) - 1,
   3113   -INT32_C(2147483647) - 1,
   3114   -INT32_C(2147483647) - 1,
   3115   -INT32_C(2147483647) - 1,
   3116   -INT32_C(2147483647) - 1,
   3117   -INT32_C(2147483647) - 1,
   3118   -INT32_C(2147483647) - 1,
   3119   -INT32_C(2147483647) - 1,
   3120   -INT32_C(2147483647) - 1,
   3121   -INT32_C(2147483647) - 1,
   3122   -INT32_C(2147483647) - 1,
   3123   -INT32_C(2147483647) - 1,
   3124   -INT32_C(2147483647) - 1,
   3125   -INT32_C(2147483647) - 1,
   3126   -INT32_C(2147483647) - 1,
   3127   -INT32_C(2147483647) - 1,
   3128   -INT32_C(2147483647) - 1,
   3129   -INT32_C(2147483647) - 1,
   3130   -INT32_C(2147483647) - 1,
   3131   -INT32_C(2147483647) - 1,
   3132   -INT32_C(2147483647) - 1,
   3133   -INT32_C(2147483647) - 1,
   3134   -INT32_C(2147483647) - 1,
   3135   -INT32_C(2147483647) - 1,
   3136   -INT32_C(2147483647) - 1,
   3137   -INT32_C(2147483647) - 1,
   3138   -INT32_C(2147483647) - 1,
   3139   -INT32_C(2147483647) - 1,
   3140   -INT32_C(2147483647) - 1,
   3141   -INT32_C(2147483647) - 1,
   3142   -INT32_C(2147483647) - 1,
   3143   -INT32_C(2147483647) - 1,
   3144   -INT32_C(2147483647) - 1,
   3145   -INT32_C(2147483647) - 1,
   3146   -INT32_C(2147483647) - 1,
   3147   -INT32_C(2147483647) - 1,
   3148   -INT32_C(2147483647) - 1,
   3149   -INT32_C(2147483647) - 1,
   3150   -INT32_C(2147483647) - 1,
   3151   -INT32_C(2147483647) - 1,
   3152   -INT32_C(2147483647) - 1,
   3153   -INT32_C(2147483647) - 1,
   3154   -INT32_C(2147483647) - 1,
   3155   -INT32_C(2147483647) - 1,
   3156   -INT32_C(2147483647) - 1,
   3157   -INT32_C(2147483647) - 1,
   3158   -INT32_C(2147483647) - 1,
   3159   -INT32_C(2147483647) - 1,
   3160   -INT32_C(2147483647) - 1,
   3161   -INT32_C(2147483647) - 1,
   3162   -INT32_C(2147483647) - 1,
   3163   -INT32_C(2147483647) - 1,
   3164   -INT32_C(2147483647) - 1,
   3165   -INT32_C(2147483647) - 1,
   3166   -INT32_C(2147483647) - 1,
   3167   -INT32_C(2147483647) - 1,
   3168   -INT32_C(2147483647) - 1,
   3169   -INT32_C(2147483647) - 1,
   3170   -INT32_C(2147483647) - 1,
   3171   -INT32_C(2147483647) - 1,
   3172   -INT32_C(2147483647) - 1,
   3173   INT32_C(2147483647),
   3174   INT32_C(2147483647),
   3175   INT32_C(2147483647),
   3176   INT32_C(2147483647),
   3177   INT32_C(2147483647),
   3178   INT32_C(2147483647),
   3179   INT32_C(2147483647),
   3180   INT32_C(2147483647),
   3181   INT32_C(2147483647),
   3182   INT32_C(2147483647),
   3183   INT32_C(2147483647),
   3184   INT32_C(2147483647),
   3185   INT32_C(2147483647),
   3186   INT32_C(2147483647),
   3187   INT32_C(2147483647),
   3188   INT32_C(2147483647),
   3189   INT32_C(2147483647),
   3190   INT32_C(2147483647),
   3191   INT32_C(2147483647),
   3192   INT32_C(2147483647),
   3193   INT32_C(2147483647),
   3194   INT32_C(2147483647),
   3195   INT32_C(2147483647),
   3196   INT32_C(2147483647),
   3197   INT32_C(2147483647),
   3198   INT32_C(2147483647),
   3199   INT32_C(2147483647),
   3200   INT32_C(2147483647),
   3201   INT32_C(2147483647),
   3202   INT32_C(2147483647),
   3203   INT32_C(2147483647),
   3204   INT32_C(2147483647),
   3205   INT32_C(2147483647),
   3206   INT32_C(2147483647),
   3207   INT32_C(2147483647),
   3208   INT32_C(2147483647),
   3209   INT32_C(2147483647),
   3210   INT32_C(2147483647),
   3211   INT32_C(2147483647),
   3212   INT32_C(2147483647),
   3213   INT32_C(2147483647),
   3214   INT32_C(2147483647),
   3215   INT32_C(2147483647),
   3216   INT32_C(2147483647),
   3217   INT32_C(2147483647),
   3218   INT32_C(2147483647),
   3219   INT32_C(2147483647),
   3220   INT32_C(2147483647),
   3221   INT32_C(2147483647),
   3222   INT32_C(2147483647),
   3223   INT32_C(2147483647),
   3224   INT32_C(2147483647),
   3225   INT32_C(2147483647),
   3226   INT32_C(2147483647),
   3227   INT32_C(2147483647),
   3228   INT32_C(2147483647),
   3229   INT32_C(2147483647),
   3230   INT32_C(2147483647),
   3231   INT32_C(2147483647),
   3232   INT32_C(2147483647),
   3233   INT32_C(2147483647),
   3234   INT32_C(2147483647),
   3235   INT32_C(2147483647),
   3236   INT32_C(2147483647),
   3237   INT32_C(2147483647),
   3238   INT32_C(2147483647),
   3239   INT32_C(2147483647),
   3240   INT32_C(2147483647),
   3241   INT32_C(2147483647),
   3242   INT32_C(2147483647),
   3243   INT32_C(2147483647),
   3244   INT32_C(2147483647),
   3245   INT32_C(2147483647),
   3246   INT32_C(2147483647),
   3247   INT32_C(2147483647),
   3248   INT32_C(2147483647),
   3249   INT32_C(2147483647),
   3250   INT32_C(2147483647),
   3251   INT32_C(2147483647),
   3252   INT32_C(2147483647),
   3253   INT32_C(2147483647),
   3254   INT32_C(2147483647),
   3255   INT32_C(2147483647),
   3256   INT32_C(2147483647),
   3257   INT32_C(2147483647),
   3258   INT32_C(2147483647),
   3259   INT32_C(2147483647),
   3260   INT32_C(2147483647),
   3261   INT32_C(2147483647),
   3262   INT32_C(2147483647),
   3263   INT32_C(2147483647),
   3264   INT32_C(2147483647),
   3265   INT32_C(2147483647),
   3266   INT32_C(2147483647),
   3267   INT32_C(2147483647),
   3268   INT32_C(2147483647),
   3269   INT32_C(2147483647),
   3270   INT32_C(2147483647),
   3271   INT32_C(2147483647),
   3272   INT32_C(2147483647),
   3273   INT32_C(2147483647),
   3274   INT32_C(2147483647),
   3275   INT32_C(2147483647),
   3276   INT32_C(2147483647),
   3277   INT32_C(2147483647),
   3278   INT32_C(2147483647),
   3279   INT32_C(2147483647),
   3280   INT32_C(2147483647),
   3281   INT32_C(2147483647),
   3282   INT32_C(2147483647),
   3283   INT32_C(2147483647),
   3284   INT32_C(2147483647),
   3285   INT32_C(2147483647),
   3286   INT32_C(2147483647),
   3287   INT32_C(2147483647),
   3288   INT32_C(2147483647),
   3289   INT32_C(2147483647),
   3290   INT32_C(2147483647),
   3291   INT32_C(2147483647),
   3292   INT32_C(2147483647),
   3293   INT32_C(2147483647),
   3294   INT32_C(2147483647),
   3295   INT32_C(2147483647),
   3296   INT32_C(2147483647),
   3297   INT32_C(2147483647),
   3298   INT32_C(2147483647),
   3299   INT32_C(2147483647),
   3300   INT32_C(2147483647),
   3301   INT32_C(2147483647),
   3302   INT32_C(2147483647),
   3303   INT32_C(2147483647),
   3304   INT32_C(2147483647),
   3305   -INT32_C(2147483647) - 1,
   3306   -INT32_C(2147483647) - 1,
   3307   -INT32_C(2147483647) - 1,
   3308   -INT32_C(2147483647) - 1,
   3309   -INT32_C(2147483647) - 1,
   3310   -INT32_C(2147483647) - 1,
   3311   -INT32_C(2147483647) - 1,
   3312   -INT32_C(2147483647) - 1,
   3313   -INT32_C(2147483647) - 1,
   3314   -INT32_C(2147483647) - 1,
   3315   -INT32_C(2147483647) - 1,
   3316   -INT32_C(2147483647) - 1,
   3317   -INT32_C(2147483647) - 1,
   3318   -INT32_C(2147483647) - 1,
   3319   -INT32_C(2147483647) - 1,
   3320   -INT32_C(2147483647) - 1,
   3321   -INT32_C(2147483647) - 1,
   3322   -INT32_C(2147483647) - 1,
   3323   -INT32_C(2147483647) - 1,
   3324   -INT32_C(2147483647) - 1,
   3325   -INT32_C(2147483647) - 1,
   3326   -INT32_C(2147483647) - 1,
   3327   -INT32_C(2147483647) - 1,
   3328   -INT32_C(2147483647) - 1,
   3329   -INT32_C(2147483647) - 1,
   3330   -INT32_C(2147483647) - 1,
   3331   -INT32_C(2147483647) - 1,
   3332   -INT32_C(2147483647) - 1,
   3333   -INT32_C(2147483647) - 1,
   3334   -INT32_C(2147483647) - 1,
   3335   -INT32_C(2147483647) - 1,
   3336   -INT32_C(2147483647) - 1,
   3337   -INT32_C(2147483647) - 1,
   3338   -INT32_C(2147483647) - 1,
   3339   -INT32_C(2147483647) - 1,
   3340   -INT32_C(2147483647) - 1,
   3341   -INT32_C(2147483647) - 1,
   3342   -INT32_C(2147483647) - 1,
   3343   -INT32_C(2147483647) - 1,
   3344   -INT32_C(2147483647) - 1,
   3345   -INT32_C(2147483647) - 1,
   3346   -INT32_C(2147483647) - 1,
   3347   -INT32_C(2147483647) - 1,
   3348   -INT32_C(2147483647) - 1,
   3349   -INT32_C(2147483647) - 1,
   3350   -INT32_C(2147483647) - 1,
   3351   -INT32_C(2147483647) - 1,
   3352   -INT32_C(2147483647) - 1,
   3353   -INT32_C(2147483647) - 1,
   3354   -INT32_C(2147483647) - 1,
   3355   -INT32_C(2147483647) - 1,
   3356   -INT32_C(2147483647) - 1,
   3357   -INT32_C(2147483647) - 1,
   3358   -INT32_C(2147483647) - 1,
   3359   -INT32_C(2147483647) - 1,
   3360   -INT32_C(2147483647) - 1,
   3361   -INT32_C(2147483647) - 1,
   3362   -INT32_C(2147483647) - 1,
   3363   -INT32_C(2147483647) - 1,
   3364   -INT32_C(2147483647) - 1,
   3365   -INT32_C(2147483647) - 1,
   3366   -INT32_C(2147483647) - 1,
   3367   -INT32_C(2147483647) - 1,
   3368   -INT32_C(2147483647) - 1,
   3369   -INT32_C(2147483647) - 1,
   3370   -INT32_C(2147483647) - 1,
   3371   -INT32_C(2147483520),
   3372   -INT32_C(2147483647) - 1,
   3373   -INT32_C(2147483647) - 1,
   3374   -INT32_C(2147483647) - 1,
   3375   -INT32_C(2147483647) - 1,
   3376   -INT32_C(2147483647) - 1,
   3377   -INT32_C(2147483647) - 1,
   3378   -INT32_C(2147483647) - 1,
   3379   -INT32_C(2147483647) - 1,
   3380   -INT32_C(2147483647) - 1,
   3381   -INT32_C(2147483647) - 1,
   3382   -INT32_C(2147483647) - 1,
   3383   -INT32_C(2147483647) - 1,
   3384   -INT32_C(2147483647) - 1,
   3385   -INT32_C(2147483647) - 1,
   3386   -INT32_C(2147483647) - 1,
   3387   -INT32_C(2147483647) - 1,
   3388   -INT32_C(2147483647) - 1,
   3389   -INT32_C(2147483647) - 1,
   3390   -INT32_C(2147483647) - 1,
   3391   -INT32_C(2147483647) - 1,
   3392   -INT32_C(2147483647) - 1,
   3393   -INT32_C(2147483647) - 1,
   3394   -INT32_C(2147483647) - 1,
   3395   -INT32_C(2147483647) - 1,
   3396   -INT32_C(2147483647) - 1,
   3397   -INT32_C(2147483647) - 1,
   3398   -INT32_C(2147483647) - 1,
   3399   -INT32_C(2147483647) - 1,
   3400   -INT32_C(2147483647) - 1,
   3401   -INT32_C(2147483647) - 1,
   3402   -INT32_C(2147483647) - 1,
   3403   -INT32_C(2147483647) - 1,
   3404   INT32_C(2147483520),
   3405   INT32_C(2147483647),
   3406   INT32_C(2147483647),
   3407   INT32_C(2147483647),
   3408   INT32_C(2147483647),
   3409   INT32_C(2147483647),
   3410   INT32_C(2147483647),
   3411   INT32_C(2147483647),
   3412   INT32_C(2147483647),
   3413   INT32_C(2147483647),
   3414   INT32_C(2147483647),
   3415   INT32_C(2147483647),
   3416   INT32_C(2147483647),
   3417   INT32_C(2147483647),
   3418   INT32_C(2147483647),
   3419   INT32_C(2147483647),
   3420   INT32_C(2147483647),
   3421   INT32_C(2147483647),
   3422   INT32_C(2147483647),
   3423   INT32_C(2147483647),
   3424   INT32_C(2147483647),
   3425   INT32_C(2147483647),
   3426   INT32_C(2147483647),
   3427   INT32_C(2147483647),
   3428   INT32_C(2147483647),
   3429   INT32_C(2147483647),
   3430   INT32_C(2147483647),
   3431   INT32_C(2147483647),
   3432   INT32_C(2147483647),
   3433   INT32_C(2147483647),
   3434   INT32_C(2147483647),
   3435   INT32_C(2147483647),
   3436   INT32_C(2147483647),
   3437   INT32_C(2147483647),
   3438   INT32_C(2147483647),
   3439   INT32_C(2147483647),
   3440   INT32_C(2147483647),
   3441   INT32_C(2147483647),
   3442   INT32_C(2147483647),
   3443   INT32_C(2147483647),
   3444   INT32_C(2147483647),
   3445   INT32_C(2147483647),
   3446   INT32_C(2147483647),
   3447   INT32_C(2147483647),
   3448   INT32_C(2147483647),
   3449   INT32_C(2147483647),
   3450   INT32_C(2147483647),
   3451   INT32_C(2147483647),
   3452   INT32_C(2147483647),
   3453   INT32_C(2147483647),
   3454   INT32_C(2147483647),
   3455   INT32_C(2147483647),
   3456   INT32_C(2147483647),
   3457   INT32_C(2147483647),
   3458   INT32_C(2147483647),
   3459   INT32_C(2147483647),
   3460   INT32_C(2147483647),
   3461   INT32_C(2147483647),
   3462   INT32_C(2147483647),
   3463   INT32_C(2147483647),
   3464   INT32_C(2147483647),
   3465   INT32_C(2147483647),
   3466   INT32_C(2147483647),
   3467   INT32_C(2147483647),
   3468   INT32_C(2147483647),
   3469   INT32_C(2147483647),
   3470 };
   3471 const unsigned kExpectedCount_fcvtzs_ws = 3432;
   3472 
   3473 #endif  // VIXL_SIM_FCVTZS_WS_TRACE_A64_H_
   3474