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_USRA_2D_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_USRA_2D_2OPIMM_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_usra_2D_2OPIMM[] = {
     38   0x7fffffffffffffff, 0x0000000000000000,
     39   0xbffffffffffffffe, 0x0000000000000000,
     40   0xdffffffffffffffd, 0x0000000000000000,
     41   0xeffffffffffffffc, 0x0000000000000000,
     42   0xf7fffffffffffffb, 0x0000000000000000,
     43   0xfbfffffffffffffa, 0x0000000000000000,
     44   0xfdfffffffffffff9, 0x0000000000000000,
     45   0xfefffffffffffff8, 0x0000000000000000,
     46   0xff7ffffffffffff7, 0x0000000000000000,
     47   0xffbffffffffffff6, 0x0000000000000000,
     48   0xffdffffffffffff5, 0x0000000000000000,
     49   0xffeffffffffffff4, 0x0000000000000000,
     50   0xfff7fffffffffff3, 0x0000000000000000,
     51   0xfffbfffffffffff2, 0x0000000000000000,
     52   0xfffdfffffffffff1, 0x0000000000000000,
     53   0xfffefffffffffff0, 0x0000000000000000,
     54   0xffff7fffffffffef, 0x0000000000000000,
     55   0xffffbfffffffffee, 0x0000000000000000,
     56   0xffffdfffffffffed, 0x0000000000000000,
     57   0xffffefffffffffec, 0x0000000000000000,
     58   0xfffff7ffffffffeb, 0x0000000000000000,
     59   0xfffffbffffffffea, 0x0000000000000000,
     60   0xfffffdffffffffe9, 0x0000000000000000,
     61   0xfffffeffffffffe8, 0x0000000000000000,
     62   0xffffff7fffffffe7, 0x0000000000000000,
     63   0xffffffbfffffffe6, 0x0000000000000000,
     64   0xffffffdfffffffe5, 0x0000000000000000,
     65   0xffffffefffffffe4, 0x0000000000000000,
     66   0xfffffff7ffffffe3, 0x0000000000000000,
     67   0xfffffffbffffffe2, 0x0000000000000000,
     68   0xfffffffdffffffe1, 0x0000000000000000,
     69   0xfffffffeffffffe0, 0x0000000000000000,
     70   0xffffffff7fffffdf, 0x0000000000000000,
     71   0xffffffffbfffffde, 0x0000000000000000,
     72   0xffffffffdfffffdd, 0x0000000000000000,
     73   0xffffffffefffffdc, 0x0000000000000000,
     74   0xfffffffff7ffffdb, 0x0000000000000000,
     75   0xfffffffffbffffda, 0x0000000000000000,
     76   0xfffffffffdffffd9, 0x0000000000000000,
     77   0xfffffffffeffffd8, 0x0000000000000000,
     78   0xffffffffff7fffd7, 0x0000000000000000,
     79   0xffffffffffbfffd6, 0x0000000000000000,
     80   0xffffffffffdfffd5, 0x0000000000000000,
     81   0xffffffffffefffd4, 0x0000000000000000,
     82   0xfffffffffff7ffd3, 0x0000000000000000,
     83   0xfffffffffffbffd2, 0x0000000000000000,
     84   0xfffffffffffdffd1, 0x0000000000000000,
     85   0xfffffffffffeffd0, 0x0000000000000000,
     86   0xffffffffffff7fcf, 0x0000000000000000,
     87   0xffffffffffffbfce, 0x0000000000000000,
     88   0xffffffffffffdfcd, 0x0000000000000000,
     89   0xffffffffffffefcc, 0x0000000000000000,
     90   0xfffffffffffff7cb, 0x0000000000000000,
     91   0xfffffffffffffbca, 0x0000000000000000,
     92   0xfffffffffffffdc9, 0x0000000000000000,
     93   0xfffffffffffffec8, 0x0000000000000000,
     94   0xffffffffffffff47, 0x0000000000000000,
     95   0xffffffffffffff86, 0x0000000000000000,
     96   0xffffffffffffffa5, 0x0000000000000000,
     97   0xffffffffffffffb4, 0x0000000000000000,
     98   0xffffffffffffffbb, 0x0000000000000000,
     99   0xffffffffffffffbe, 0x0000000000000000,
    100   0xffffffffffffffbf, 0x0000000000000000,
    101   0xffffffffffffffbf, 0x0000000000000000,
    102   0x0000000000000000, 0x0000000000000000,
    103   0x0000000000000000, 0x0000000000000000,
    104   0x0000000000000000, 0x0000000000000000,
    105   0x0000000000000000, 0x0000000000000000,
    106   0x0000000000000000, 0x0000000000000000,
    107   0x0000000000000000, 0x0000000000000000,
    108   0x0000000000000000, 0x0000000000000000,
    109   0x0000000000000000, 0x0000000000000000,
    110   0x0000000000000000, 0x0000000000000000,
    111   0x0000000000000000, 0x0000000000000000,
    112   0x0000000000000000, 0x0000000000000000,
    113   0x0000000000000000, 0x0000000000000000,
    114   0x0000000000000000, 0x0000000000000000,
    115   0x0000000000000000, 0x0000000000000000,
    116   0x0000000000000000, 0x0000000000000000,
    117   0x0000000000000000, 0x0000000000000000,
    118   0x0000000000000000, 0x0000000000000000,
    119   0x0000000000000000, 0x0000000000000000,
    120   0x0000000000000000, 0x0000000000000000,
    121   0x0000000000000000, 0x0000000000000000,
    122   0x0000000000000000, 0x0000000000000000,
    123   0x0000000000000000, 0x0000000000000000,
    124   0x0000000000000000, 0x0000000000000000,
    125   0x0000000000000000, 0x0000000000000000,
    126   0x0000000000000000, 0x0000000000000000,
    127   0x0000000000000000, 0x0000000000000000,
    128   0x0000000000000000, 0x0000000000000000,
    129   0x0000000000000000, 0x0000000000000000,
    130   0x0000000000000000, 0x0000000000000000,
    131   0x0000000000000000, 0x0000000000000000,
    132   0x0000000000000000, 0x0000000000000000,
    133   0x0000000000000000, 0x0000000000000000,
    134   0x0000000000000000, 0x0000000000000000,
    135   0x0000000000000000, 0x0000000000000000,
    136   0x0000000000000000, 0x0000000000000000,
    137   0x0000000000000000, 0x0000000000000000,
    138   0x0000000000000000, 0x0000000000000000,
    139   0x0000000000000000, 0x0000000000000000,
    140   0x0000000000000000, 0x0000000000000000,
    141   0x0000000000000000, 0x0000000000000000,
    142   0x0000000000000000, 0x0000000000000000,
    143   0x0000000000000000, 0x0000000000000000,
    144   0x0000000000000000, 0x0000000000000000,
    145   0x0000000000000000, 0x0000000000000000,
    146   0x0000000000000000, 0x0000000000000000,
    147   0x0000000000000000, 0x0000000000000000,
    148   0x0000000000000000, 0x0000000000000000,
    149   0x0000000000000000, 0x0000000000000000,
    150   0x0000000000000000, 0x0000000000000000,
    151   0x0000000000000000, 0x0000000000000000,
    152   0x0000000000000000, 0x0000000000000000,
    153   0x0000000000000000, 0x0000000000000000,
    154   0x0000000000000000, 0x0000000000000000,
    155   0x0000000000000000, 0x0000000000000000,
    156   0x0000000000000000, 0x0000000000000000,
    157   0x0000000000000000, 0x0000000000000000,
    158   0x0000000000000000, 0x0000000000000000,
    159   0x0000000000000000, 0x0000000000000000,
    160   0x0000000000000000, 0x0000000000000000,
    161   0x0000000000000000, 0x0000000000000000,
    162   0x0000000000000000, 0x0000000000000000,
    163   0x0000000000000000, 0x0000000000000000,
    164   0x0000000000000000, 0x0000000000000000,
    165   0x0000000000000000, 0x0000000000000000,
    166   0x0000000000000000, 0x0000000000000001,
    167   0x0000000000000000, 0x0000000000000001,
    168   0x0000000000000000, 0x0000000000000001,
    169   0x0000000000000000, 0x0000000000000001,
    170   0x0000000000000000, 0x0000000000000001,
    171   0x0000000000000000, 0x0000000000000001,
    172   0x0000000000000000, 0x0000000000000001,
    173   0x0000000000000000, 0x0000000000000001,
    174   0x0000000000000000, 0x0000000000000001,
    175   0x0000000000000000, 0x0000000000000001,
    176   0x0000000000000000, 0x0000000000000001,
    177   0x0000000000000000, 0x0000000000000001,
    178   0x0000000000000000, 0x0000000000000001,
    179   0x0000000000000000, 0x0000000000000001,
    180   0x0000000000000000, 0x0000000000000001,
    181   0x0000000000000000, 0x0000000000000001,
    182   0x0000000000000000, 0x0000000000000001,
    183   0x0000000000000000, 0x0000000000000001,
    184   0x0000000000000000, 0x0000000000000001,
    185   0x0000000000000000, 0x0000000000000001,
    186   0x0000000000000000, 0x0000000000000001,
    187   0x0000000000000000, 0x0000000000000001,
    188   0x0000000000000000, 0x0000000000000001,
    189   0x0000000000000000, 0x0000000000000001,
    190   0x0000000000000000, 0x0000000000000001,
    191   0x0000000000000000, 0x0000000000000001,
    192   0x0000000000000000, 0x0000000000000001,
    193   0x0000000000000000, 0x0000000000000001,
    194   0x0000000000000000, 0x0000000000000001,
    195   0x0000000000000000, 0x0000000000000001,
    196   0x0000000000000000, 0x0000000000000001,
    197   0x0000000000000000, 0x0000000000000001,
    198   0x0000000000000000, 0x0000000000000001,
    199   0x0000000000000000, 0x0000000000000001,
    200   0x0000000000000000, 0x0000000000000001,
    201   0x0000000000000000, 0x0000000000000001,
    202   0x0000000000000000, 0x0000000000000001,
    203   0x0000000000000000, 0x0000000000000001,
    204   0x0000000000000000, 0x0000000000000001,
    205   0x0000000000000000, 0x0000000000000001,
    206   0x0000000000000000, 0x0000000000000001,
    207   0x0000000000000000, 0x0000000000000001,
    208   0x0000000000000000, 0x0000000000000001,
    209   0x0000000000000000, 0x0000000000000001,
    210   0x0000000000000000, 0x0000000000000001,
    211   0x0000000000000000, 0x0000000000000001,
    212   0x0000000000000000, 0x0000000000000001,
    213   0x0000000000000000, 0x0000000000000001,
    214   0x0000000000000000, 0x0000000000000001,
    215   0x0000000000000000, 0x0000000000000001,
    216   0x0000000000000000, 0x0000000000000001,
    217   0x0000000000000000, 0x0000000000000001,
    218   0x0000000000000000, 0x0000000000000001,
    219   0x0000000000000000, 0x0000000000000001,
    220   0x0000000000000000, 0x0000000000000001,
    221   0x0000000000000000, 0x0000000000000001,
    222   0x0000000000000000, 0x0000000000000001,
    223   0x0000000000000000, 0x0000000000000001,
    224   0x0000000000000000, 0x0000000000000001,
    225   0x0000000000000000, 0x0000000000000001,
    226   0x0000000000000000, 0x0000000000000001,
    227   0x0000000000000000, 0x0000000000000001,
    228   0x0000000000000000, 0x0000000000000001,
    229   0x0000000000000000, 0x0000000000000001,
    230   0x0000000000000001, 0x0000000000000020,
    231   0x0000000000000001, 0x0000000000000030,
    232   0x0000000000000001, 0x0000000000000038,
    233   0x0000000000000001, 0x000000000000003c,
    234   0x0000000000000001, 0x000000000000003e,
    235   0x0000000000000001, 0x000000000000003f,
    236   0x0000000000000001, 0x000000000000003f,
    237   0x0000000000000001, 0x000000000000003f,
    238   0x0000000000000001, 0x000000000000003f,
    239   0x0000000000000001, 0x000000000000003f,
    240   0x0000000000000001, 0x000000000000003f,
    241   0x0000000000000001, 0x000000000000003f,
    242   0x0000000000000001, 0x000000000000003f,
    243   0x0000000000000001, 0x000000000000003f,
    244   0x0000000000000001, 0x000000000000003f,
    245   0x0000000000000001, 0x000000000000003f,
    246   0x0000000000000001, 0x000000000000003f,
    247   0x0000000000000001, 0x000000000000003f,
    248   0x0000000000000001, 0x000000000000003f,
    249   0x0000000000000001, 0x000000000000003f,
    250   0x0000000000000001, 0x000000000000003f,
    251   0x0000000000000001, 0x000000000000003f,
    252   0x0000000000000001, 0x000000000000003f,
    253   0x0000000000000001, 0x000000000000003f,
    254   0x0000000000000001, 0x000000000000003f,
    255   0x0000000000000001, 0x000000000000003f,
    256   0x0000000000000001, 0x000000000000003f,
    257   0x0000000000000001, 0x000000000000003f,
    258   0x0000000000000001, 0x000000000000003f,
    259   0x0000000000000001, 0x000000000000003f,
    260   0x0000000000000001, 0x000000000000003f,
    261   0x0000000000000001, 0x000000000000003f,
    262   0x0000000000000001, 0x000000000000003f,
    263   0x0000000000000001, 0x000000000000003f,
    264   0x0000000000000001, 0x000000000000003f,
    265   0x0000000000000001, 0x000000000000003f,
    266   0x0000000000000001, 0x000000000000003f,
    267   0x0000000000000001, 0x000000000000003f,
    268   0x0000000000000001, 0x000000000000003f,
    269   0x0000000000000001, 0x000000000000003f,
    270   0x0000000000000001, 0x000000000000003f,
    271   0x0000000000000001, 0x000000000000003f,
    272   0x0000000000000001, 0x000000000000003f,
    273   0x0000000000000001, 0x000000000000003f,
    274   0x0000000000000001, 0x000000000000003f,
    275   0x0000000000000001, 0x000000000000003f,
    276   0x0000000000000001, 0x000000000000003f,
    277   0x0000000000000001, 0x000000000000003f,
    278   0x0000000000000001, 0x000000000000003f,
    279   0x0000000000000001, 0x000000000000003f,
    280   0x0000000000000001, 0x000000000000003f,
    281   0x0000000000000001, 0x000000000000003f,
    282   0x0000000000000001, 0x000000000000003f,
    283   0x0000000000000001, 0x000000000000003f,
    284   0x0000000000000001, 0x000000000000003f,
    285   0x0000000000000001, 0x000000000000003f,
    286   0x0000000000000001, 0x000000000000003f,
    287   0x0000000000000001, 0x000000000000003f,
    288   0x0000000000000001, 0x000000000000003f,
    289   0x0000000000000001, 0x000000000000003f,
    290   0x0000000000000001, 0x000000000000003f,
    291   0x0000000000000001, 0x000000000000003f,
    292   0x0000000000000001, 0x000000000000003f,
    293   0x0000000000000001, 0x000000000000003f,
    294   0x0000000000000020, 0x000000000000003e,
    295   0x0000000000000030, 0x000000000000005d,
    296   0x0000000000000038, 0x000000000000006c,
    297   0x000000000000003c, 0x0000000000000073,
    298   0x000000000000003e, 0x0000000000000076,
    299   0x000000000000003f, 0x0000000000000077,
    300   0x000000000000003f, 0x0000000000000077,
    301   0x000000000000003f, 0x0000000000000077,
    302   0x000000000000003f, 0x0000000000000077,
    303   0x000000000000003f, 0x0000000000000077,
    304   0x000000000000003f, 0x0000000000000077,
    305   0x000000000000003f, 0x0000000000000077,
    306   0x000000000000003f, 0x0000000000000077,
    307   0x000000000000003f, 0x0000000000000077,
    308   0x000000000000003f, 0x0000000000000077,
    309   0x000000000000003f, 0x0000000000000077,
    310   0x000000000000003f, 0x0000000000000077,
    311   0x000000000000003f, 0x0000000000000077,
    312   0x000000000000003f, 0x0000000000000077,
    313   0x000000000000003f, 0x0000000000000077,
    314   0x000000000000003f, 0x0000000000000077,
    315   0x000000000000003f, 0x0000000000000077,
    316   0x000000000000003f, 0x0000000000000077,
    317   0x000000000000003f, 0x0000000000000077,
    318   0x000000000000003f, 0x0000000000000077,
    319   0x000000000000003f, 0x0000000000000077,
    320   0x000000000000003f, 0x0000000000000077,
    321   0x000000000000003f, 0x0000000000000077,
    322   0x000000000000003f, 0x0000000000000077,
    323   0x000000000000003f, 0x0000000000000077,
    324   0x000000000000003f, 0x0000000000000077,
    325   0x000000000000003f, 0x0000000000000077,
    326   0x000000000000003f, 0x0000000000000077,
    327   0x000000000000003f, 0x0000000000000077,
    328   0x000000000000003f, 0x0000000000000077,
    329   0x000000000000003f, 0x0000000000000077,
    330   0x000000000000003f, 0x0000000000000077,
    331   0x000000000000003f, 0x0000000000000077,
    332   0x000000000000003f, 0x0000000000000077,
    333   0x000000000000003f, 0x0000000000000077,
    334   0x000000000000003f, 0x0000000000000077,
    335   0x000000000000003f, 0x0000000000000077,
    336   0x000000000000003f, 0x0000000000000077,
    337   0x000000000000003f, 0x0000000000000077,
    338   0x000000000000003f, 0x0000000000000077,
    339   0x000000000000003f, 0x0000000000000077,
    340   0x000000000000003f, 0x0000000000000077,
    341   0x000000000000003f, 0x0000000000000077,
    342   0x000000000000003f, 0x0000000000000077,
    343   0x000000000000003f, 0x0000000000000077,
    344   0x000000000000003f, 0x0000000000000077,
    345   0x000000000000003f, 0x0000000000000077,
    346   0x000000000000003f, 0x0000000000000077,
    347   0x000000000000003f, 0x0000000000000077,
    348   0x000000000000003f, 0x0000000000000077,
    349   0x000000000000003f, 0x0000000000000077,
    350   0x000000000000003f, 0x0000000000000077,
    351   0x000000000000003f, 0x0000000000000077,
    352   0x000000000000003f, 0x0000000000000077,
    353   0x000000000000003f, 0x0000000000000077,
    354   0x000000000000003f, 0x0000000000000077,
    355   0x000000000000003f, 0x0000000000000077,
    356   0x000000000000003f, 0x0000000000000077,
    357   0x000000000000003f, 0x0000000000000077,
    358   0x000000000000003e, 0x000000000000003f,
    359   0x000000000000005d, 0x000000000000005e,
    360   0x000000000000006c, 0x000000000000006d,
    361   0x0000000000000073, 0x0000000000000074,
    362   0x0000000000000076, 0x0000000000000077,
    363   0x0000000000000077, 0x0000000000000078,
    364   0x0000000000000077, 0x0000000000000078,
    365   0x0000000000000077, 0x0000000000000078,
    366   0x0000000000000077, 0x0000000000000078,
    367   0x0000000000000077, 0x0000000000000078,
    368   0x0000000000000077, 0x0000000000000078,
    369   0x0000000000000077, 0x0000000000000078,
    370   0x0000000000000077, 0x0000000000000078,
    371   0x0000000000000077, 0x0000000000000078,
    372   0x0000000000000077, 0x0000000000000078,
    373   0x0000000000000077, 0x0000000000000078,
    374   0x0000000000000077, 0x0000000000000078,
    375   0x0000000000000077, 0x0000000000000078,
    376   0x0000000000000077, 0x0000000000000078,
    377   0x0000000000000077, 0x0000000000000078,
    378   0x0000000000000077, 0x0000000000000078,
    379   0x0000000000000077, 0x0000000000000078,
    380   0x0000000000000077, 0x0000000000000078,
    381   0x0000000000000077, 0x0000000000000078,
    382   0x0000000000000077, 0x0000000000000078,
    383   0x0000000000000077, 0x0000000000000078,
    384   0x0000000000000077, 0x0000000000000078,
    385   0x0000000000000077, 0x0000000000000078,
    386   0x0000000000000077, 0x0000000000000078,
    387   0x0000000000000077, 0x0000000000000078,
    388   0x0000000000000077, 0x0000000000000078,
    389   0x0000000000000077, 0x0000000000000078,
    390   0x0000000000000077, 0x0000000000000078,
    391   0x0000000000000077, 0x0000000000000078,
    392   0x0000000000000077, 0x0000000000000078,
    393   0x0000000000000077, 0x0000000000000078,
    394   0x0000000000000077, 0x0000000000000078,
    395   0x0000000000000077, 0x0000000000000078,
    396   0x0000000000000077, 0x0000000000000078,
    397   0x0000000000000077, 0x0000000000000078,
    398   0x0000000000000077, 0x0000000000000078,
    399   0x0000000000000077, 0x0000000000000078,
    400   0x0000000000000077, 0x0000000000000078,
    401   0x0000000000000077, 0x0000000000000078,
    402   0x0000000000000077, 0x0000000000000078,
    403   0x0000000000000077, 0x0000000000000078,
    404   0x0000000000000077, 0x0000000000000078,
    405   0x0000000000000077, 0x0000000000000078,
    406   0x0000000000000077, 0x0000000000000078,
    407   0x0000000000000077, 0x0000000000000078,
    408   0x0000000000000077, 0x0000000000000078,
    409   0x0000000000000077, 0x0000000000000078,
    410   0x0000000000000077, 0x0000000000000078,
    411   0x0000000000000077, 0x0000000000000078,
    412   0x0000000000000077, 0x0000000000000078,
    413   0x0000000000000077, 0x0000000000000078,
    414   0x0000000000000077, 0x0000000000000078,
    415   0x0000000000000077, 0x0000000000000078,
    416   0x0000000000000077, 0x0000000000000078,
    417   0x0000000000000077, 0x0000000000000078,
    418   0x0000000000000077, 0x0000000000000078,
    419   0x0000000000000077, 0x0000000000000078,
    420   0x0000000000000077, 0x0000000000000078,
    421   0x0000000000000077, 0x0000000000000078,
    422   0x000000000000003f, 0x000000000000003f,
    423   0x000000000000005e, 0x000000000000005e,
    424   0x000000000000006d, 0x000000000000006d,
    425   0x0000000000000074, 0x0000000000000074,
    426   0x0000000000000077, 0x0000000000000077,
    427   0x0000000000000078, 0x0000000000000078,
    428   0x0000000000000078, 0x0000000000000078,
    429   0x0000000000000078, 0x0000000000000078,
    430   0x0000000000000078, 0x0000000000000078,
    431   0x0000000000000078, 0x0000000000000078,
    432   0x0000000000000078, 0x0000000000000078,
    433   0x0000000000000078, 0x0000000000000078,
    434   0x0000000000000078, 0x0000000000000078,
    435   0x0000000000000078, 0x0000000000000078,
    436   0x0000000000000078, 0x0000000000000078,
    437   0x0000000000000078, 0x0000000000000078,
    438   0x0000000000000078, 0x0000000000000078,
    439   0x0000000000000078, 0x0000000000000078,
    440   0x0000000000000078, 0x0000000000000078,
    441   0x0000000000000078, 0x0000000000000078,
    442   0x0000000000000078, 0x0000000000000078,
    443   0x0000000000000078, 0x0000000000000078,
    444   0x0000000000000078, 0x0000000000000078,
    445   0x0000000000000078, 0x0000000000000078,
    446   0x0000000000000078, 0x0000000000000078,
    447   0x0000000000000078, 0x0000000000000078,
    448   0x0000000000000078, 0x0000000000000078,
    449   0x0000000000000078, 0x0000000000000078,
    450   0x0000000000000078, 0x0000000000000078,
    451   0x0000000000000078, 0x0000000000000078,
    452   0x0000000000000078, 0x0000000000000078,
    453   0x0000000000000078, 0x0000000000000078,
    454   0x0000000000000078, 0x0000000000000078,
    455   0x0000000000000078, 0x0000000000000078,
    456   0x0000000000000078, 0x0000000000000078,
    457   0x0000000000000078, 0x0000000000000078,
    458   0x0000000000000078, 0x0000000000000078,
    459   0x0000000000000078, 0x0000000000000078,
    460   0x0000000000000078, 0x0000000000000078,
    461   0x0000000000000078, 0x0000000000000078,
    462   0x0000000000000078, 0x0000000000000078,
    463   0x0000000000000078, 0x0000000000000078,
    464   0x0000000000000078, 0x0000000000000078,
    465   0x0000000000000078, 0x0000000000000078,
    466   0x0000000000000078, 0x0000000000000078,
    467   0x0000000000000078, 0x0000000000000078,
    468   0x0000000000000078, 0x0000000000000078,
    469   0x0000000000000078, 0x0000000000000078,
    470   0x0000000000000078, 0x0000000000000078,
    471   0x0000000000000078, 0x0000000000000078,
    472   0x0000000000000078, 0x0000000000000078,
    473   0x0000000000000078, 0x0000000000000078,
    474   0x0000000000000078, 0x0000000000000078,
    475   0x0000000000000078, 0x0000000000000078,
    476   0x0000000000000078, 0x0000000000000078,
    477   0x0000000000000078, 0x0000000000000078,
    478   0x0000000000000078, 0x0000000000000078,
    479   0x0000000000000078, 0x0000000000000078,
    480   0x0000000000000078, 0x0000000000000078,
    481   0x0000000000000078, 0x0000000000000078,
    482   0x0000000000000078, 0x0000000000000078,
    483   0x0000000000000078, 0x0000000000000078,
    484   0x0000000000000078, 0x0000000000000078,
    485   0x0000000000000078, 0x0000000000000078,
    486   0x000000000000003f, 0x0000000000003ffe,
    487   0x000000000000005e, 0x0000000000005ffd,
    488   0x000000000000006d, 0x0000000000006ffc,
    489   0x0000000000000074, 0x00000000000077fb,
    490   0x0000000000000077, 0x0000000000007bfa,
    491   0x0000000000000078, 0x0000000000007df9,
    492   0x0000000000000078, 0x0000000000007ef8,
    493   0x0000000000000078, 0x0000000000007f77,
    494   0x0000000000000078, 0x0000000000007fb6,
    495   0x0000000000000078, 0x0000000000007fd5,
    496   0x0000000000000078, 0x0000000000007fe4,
    497   0x0000000000000078, 0x0000000000007feb,
    498   0x0000000000000078, 0x0000000000007fee,
    499   0x0000000000000078, 0x0000000000007fef,
    500   0x0000000000000078, 0x0000000000007fef,
    501   0x0000000000000078, 0x0000000000007fef,
    502   0x0000000000000078, 0x0000000000007fef,
    503   0x0000000000000078, 0x0000000000007fef,
    504   0x0000000000000078, 0x0000000000007fef,
    505   0x0000000000000078, 0x0000000000007fef,
    506   0x0000000000000078, 0x0000000000007fef,
    507   0x0000000000000078, 0x0000000000007fef,
    508   0x0000000000000078, 0x0000000000007fef,
    509   0x0000000000000078, 0x0000000000007fef,
    510   0x0000000000000078, 0x0000000000007fef,
    511   0x0000000000000078, 0x0000000000007fef,
    512   0x0000000000000078, 0x0000000000007fef,
    513   0x0000000000000078, 0x0000000000007fef,
    514   0x0000000000000078, 0x0000000000007fef,
    515   0x0000000000000078, 0x0000000000007fef,
    516   0x0000000000000078, 0x0000000000007fef,
    517   0x0000000000000078, 0x0000000000007fef,
    518   0x0000000000000078, 0x0000000000007fef,
    519   0x0000000000000078, 0x0000000000007fef,
    520   0x0000000000000078, 0x0000000000007fef,
    521   0x0000000000000078, 0x0000000000007fef,
    522   0x0000000000000078, 0x0000000000007fef,
    523   0x0000000000000078, 0x0000000000007fef,
    524   0x0000000000000078, 0x0000000000007fef,
    525   0x0000000000000078, 0x0000000000007fef,
    526   0x0000000000000078, 0x0000000000007fef,
    527   0x0000000000000078, 0x0000000000007fef,
    528   0x0000000000000078, 0x0000000000007fef,
    529   0x0000000000000078, 0x0000000000007fef,
    530   0x0000000000000078, 0x0000000000007fef,
    531   0x0000000000000078, 0x0000000000007fef,
    532   0x0000000000000078, 0x0000000000007fef,
    533   0x0000000000000078, 0x0000000000007fef,
    534   0x0000000000000078, 0x0000000000007fef,
    535   0x0000000000000078, 0x0000000000007fef,
    536   0x0000000000000078, 0x0000000000007fef,
    537   0x0000000000000078, 0x0000000000007fef,
    538   0x0000000000000078, 0x0000000000007fef,
    539   0x0000000000000078, 0x0000000000007fef,
    540   0x0000000000000078, 0x0000000000007fef,
    541   0x0000000000000078, 0x0000000000007fef,
    542   0x0000000000000078, 0x0000000000007fef,
    543   0x0000000000000078, 0x0000000000007fef,
    544   0x0000000000000078, 0x0000000000007fef,
    545   0x0000000000000078, 0x0000000000007fef,
    546   0x0000000000000078, 0x0000000000007fef,
    547   0x0000000000000078, 0x0000000000007fef,
    548   0x0000000000000078, 0x0000000000007fef,
    549   0x0000000000000078, 0x0000000000007fef,
    550   0x0000000000003ffe, 0x0000000000003fff,
    551   0x0000000000005ffd, 0x0000000000005ffe,
    552   0x0000000000006ffc, 0x0000000000006ffd,
    553   0x00000000000077fb, 0x00000000000077fc,
    554   0x0000000000007bfa, 0x0000000000007bfb,
    555   0x0000000000007df9, 0x0000000000007dfa,
    556   0x0000000000007ef8, 0x0000000000007ef9,
    557   0x0000000000007f77, 0x0000000000007f78,
    558   0x0000000000007fb6, 0x0000000000007fb7,
    559   0x0000000000007fd5, 0x0000000000007fd6,
    560   0x0000000000007fe4, 0x0000000000007fe5,
    561   0x0000000000007feb, 0x0000000000007fec,
    562   0x0000000000007fee, 0x0000000000007fef,
    563   0x0000000000007fef, 0x0000000000007ff0,
    564   0x0000000000007fef, 0x0000000000007ff0,
    565   0x0000000000007fef, 0x0000000000007ff0,
    566   0x0000000000007fef, 0x0000000000007ff0,
    567   0x0000000000007fef, 0x0000000000007ff0,
    568   0x0000000000007fef, 0x0000000000007ff0,
    569   0x0000000000007fef, 0x0000000000007ff0,
    570   0x0000000000007fef, 0x0000000000007ff0,
    571   0x0000000000007fef, 0x0000000000007ff0,
    572   0x0000000000007fef, 0x0000000000007ff0,
    573   0x0000000000007fef, 0x0000000000007ff0,
    574   0x0000000000007fef, 0x0000000000007ff0,
    575   0x0000000000007fef, 0x0000000000007ff0,
    576   0x0000000000007fef, 0x0000000000007ff0,
    577   0x0000000000007fef, 0x0000000000007ff0,
    578   0x0000000000007fef, 0x0000000000007ff0,
    579   0x0000000000007fef, 0x0000000000007ff0,
    580   0x0000000000007fef, 0x0000000000007ff0,
    581   0x0000000000007fef, 0x0000000000007ff0,
    582   0x0000000000007fef, 0x0000000000007ff0,
    583   0x0000000000007fef, 0x0000000000007ff0,
    584   0x0000000000007fef, 0x0000000000007ff0,
    585   0x0000000000007fef, 0x0000000000007ff0,
    586   0x0000000000007fef, 0x0000000000007ff0,
    587   0x0000000000007fef, 0x0000000000007ff0,
    588   0x0000000000007fef, 0x0000000000007ff0,
    589   0x0000000000007fef, 0x0000000000007ff0,
    590   0x0000000000007fef, 0x0000000000007ff0,
    591   0x0000000000007fef, 0x0000000000007ff0,
    592   0x0000000000007fef, 0x0000000000007ff0,
    593   0x0000000000007fef, 0x0000000000007ff0,
    594   0x0000000000007fef, 0x0000000000007ff0,
    595   0x0000000000007fef, 0x0000000000007ff0,
    596   0x0000000000007fef, 0x0000000000007ff0,
    597   0x0000000000007fef, 0x0000000000007ff0,
    598   0x0000000000007fef, 0x0000000000007ff0,
    599   0x0000000000007fef, 0x0000000000007ff0,
    600   0x0000000000007fef, 0x0000000000007ff0,
    601   0x0000000000007fef, 0x0000000000007ff0,
    602   0x0000000000007fef, 0x0000000000007ff0,
    603   0x0000000000007fef, 0x0000000000007ff0,
    604   0x0000000000007fef, 0x0000000000007ff0,
    605   0x0000000000007fef, 0x0000000000007ff0,
    606   0x0000000000007fef, 0x0000000000007ff0,
    607   0x0000000000007fef, 0x0000000000007ff0,
    608   0x0000000000007fef, 0x0000000000007ff0,
    609   0x0000000000007fef, 0x0000000000007ff0,
    610   0x0000000000007fef, 0x0000000000007ff0,
    611   0x0000000000007fef, 0x0000000000007ff0,
    612   0x0000000000007fef, 0x0000000000007ff0,
    613   0x0000000000007fef, 0x0000000000007ff0,
    614   0x0000000000003fff, 0x0000000000003fff,
    615   0x0000000000005ffe, 0x0000000000005ffe,
    616   0x0000000000006ffd, 0x0000000000006ffd,
    617   0x00000000000077fc, 0x00000000000077fc,
    618   0x0000000000007bfb, 0x0000000000007bfb,
    619   0x0000000000007dfa, 0x0000000000007dfa,
    620   0x0000000000007ef9, 0x0000000000007ef9,
    621   0x0000000000007f78, 0x0000000000007f78,
    622   0x0000000000007fb7, 0x0000000000007fb7,
    623   0x0000000000007fd6, 0x0000000000007fd6,
    624   0x0000000000007fe5, 0x0000000000007fe5,
    625   0x0000000000007fec, 0x0000000000007fec,
    626   0x0000000000007fef, 0x0000000000007fef,
    627   0x0000000000007ff0, 0x0000000000007ff0,
    628   0x0000000000007ff0, 0x0000000000007ff0,
    629   0x0000000000007ff0, 0x0000000000007ff0,
    630   0x0000000000007ff0, 0x0000000000007ff0,
    631   0x0000000000007ff0, 0x0000000000007ff0,
    632   0x0000000000007ff0, 0x0000000000007ff0,
    633   0x0000000000007ff0, 0x0000000000007ff0,
    634   0x0000000000007ff0, 0x0000000000007ff0,
    635   0x0000000000007ff0, 0x0000000000007ff0,
    636   0x0000000000007ff0, 0x0000000000007ff0,
    637   0x0000000000007ff0, 0x0000000000007ff0,
    638   0x0000000000007ff0, 0x0000000000007ff0,
    639   0x0000000000007ff0, 0x0000000000007ff0,
    640   0x0000000000007ff0, 0x0000000000007ff0,
    641   0x0000000000007ff0, 0x0000000000007ff0,
    642   0x0000000000007ff0, 0x0000000000007ff0,
    643   0x0000000000007ff0, 0x0000000000007ff0,
    644   0x0000000000007ff0, 0x0000000000007ff0,
    645   0x0000000000007ff0, 0x0000000000007ff0,
    646   0x0000000000007ff0, 0x0000000000007ff0,
    647   0x0000000000007ff0, 0x0000000000007ff0,
    648   0x0000000000007ff0, 0x0000000000007ff0,
    649   0x0000000000007ff0, 0x0000000000007ff0,
    650   0x0000000000007ff0, 0x0000000000007ff0,
    651   0x0000000000007ff0, 0x0000000000007ff0,
    652   0x0000000000007ff0, 0x0000000000007ff0,
    653   0x0000000000007ff0, 0x0000000000007ff0,
    654   0x0000000000007ff0, 0x0000000000007ff0,
    655   0x0000000000007ff0, 0x0000000000007ff0,
    656   0x0000000000007ff0, 0x0000000000007ff0,
    657   0x0000000000007ff0, 0x0000000000007ff0,
    658   0x0000000000007ff0, 0x0000000000007ff0,
    659   0x0000000000007ff0, 0x0000000000007ff0,
    660   0x0000000000007ff0, 0x0000000000007ff0,
    661   0x0000000000007ff0, 0x0000000000007ff0,
    662   0x0000000000007ff0, 0x0000000000007ff0,
    663   0x0000000000007ff0, 0x0000000000007ff0,
    664   0x0000000000007ff0, 0x0000000000007ff0,
    665   0x0000000000007ff0, 0x0000000000007ff0,
    666   0x0000000000007ff0, 0x0000000000007ff0,
    667   0x0000000000007ff0, 0x0000000000007ff0,
    668   0x0000000000007ff0, 0x0000000000007ff0,
    669   0x0000000000007ff0, 0x0000000000007ff0,
    670   0x0000000000007ff0, 0x0000000000007ff0,
    671   0x0000000000007ff0, 0x0000000000007ff0,
    672   0x0000000000007ff0, 0x0000000000007ff0,
    673   0x0000000000007ff0, 0x0000000000007ff0,
    674   0x0000000000007ff0, 0x0000000000007ff0,
    675   0x0000000000007ff0, 0x0000000000007ff0,
    676   0x0000000000007ff0, 0x0000000000007ff0,
    677   0x0000000000007ff0, 0x0000000000007ff0,
    678   0x0000000000003fff, 0x000000003ffffffe,
    679   0x0000000000005ffe, 0x000000005ffffffd,
    680   0x0000000000006ffd, 0x000000006ffffffc,
    681   0x00000000000077fc, 0x0000000077fffffb,
    682   0x0000000000007bfb, 0x000000007bfffffa,
    683   0x0000000000007dfa, 0x000000007dfffff9,
    684   0x0000000000007ef9, 0x000000007efffff8,
    685   0x0000000000007f78, 0x000000007f7ffff7,
    686   0x0000000000007fb7, 0x000000007fbffff6,
    687   0x0000000000007fd6, 0x000000007fdffff5,
    688   0x0000000000007fe5, 0x000000007feffff4,
    689   0x0000000000007fec, 0x000000007ff7fff3,
    690   0x0000000000007fef, 0x000000007ffbfff2,
    691   0x0000000000007ff0, 0x000000007ffdfff1,
    692   0x0000000000007ff0, 0x000000007ffefff0,
    693   0x0000000000007ff0, 0x000000007fff7fef,
    694   0x0000000000007ff0, 0x000000007fffbfee,
    695   0x0000000000007ff0, 0x000000007fffdfed,
    696   0x0000000000007ff0, 0x000000007fffefec,
    697   0x0000000000007ff0, 0x000000007ffff7eb,
    698   0x0000000000007ff0, 0x000000007ffffbea,
    699   0x0000000000007ff0, 0x000000007ffffde9,
    700   0x0000000000007ff0, 0x000000007ffffee8,
    701   0x0000000000007ff0, 0x000000007fffff67,
    702   0x0000000000007ff0, 0x000000007fffffa6,
    703   0x0000000000007ff0, 0x000000007fffffc5,
    704   0x0000000000007ff0, 0x000000007fffffd4,
    705   0x0000000000007ff0, 0x000000007fffffdb,
    706   0x0000000000007ff0, 0x000000007fffffde,
    707   0x0000000000007ff0, 0x000000007fffffdf,
    708   0x0000000000007ff0, 0x000000007fffffdf,
    709   0x0000000000007ff0, 0x000000007fffffdf,
    710   0x0000000000007ff0, 0x000000007fffffdf,
    711   0x0000000000007ff0, 0x000000007fffffdf,
    712   0x0000000000007ff0, 0x000000007fffffdf,
    713   0x0000000000007ff0, 0x000000007fffffdf,
    714   0x0000000000007ff0, 0x000000007fffffdf,
    715   0x0000000000007ff0, 0x000000007fffffdf,
    716   0x0000000000007ff0, 0x000000007fffffdf,
    717   0x0000000000007ff0, 0x000000007fffffdf,
    718   0x0000000000007ff0, 0x000000007fffffdf,
    719   0x0000000000007ff0, 0x000000007fffffdf,
    720   0x0000000000007ff0, 0x000000007fffffdf,
    721   0x0000000000007ff0, 0x000000007fffffdf,
    722   0x0000000000007ff0, 0x000000007fffffdf,
    723   0x0000000000007ff0, 0x000000007fffffdf,
    724   0x0000000000007ff0, 0x000000007fffffdf,
    725   0x0000000000007ff0, 0x000000007fffffdf,
    726   0x0000000000007ff0, 0x000000007fffffdf,
    727   0x0000000000007ff0, 0x000000007fffffdf,
    728   0x0000000000007ff0, 0x000000007fffffdf,
    729   0x0000000000007ff0, 0x000000007fffffdf,
    730   0x0000000000007ff0, 0x000000007fffffdf,
    731   0x0000000000007ff0, 0x000000007fffffdf,
    732   0x0000000000007ff0, 0x000000007fffffdf,
    733   0x0000000000007ff0, 0x000000007fffffdf,
    734   0x0000000000007ff0, 0x000000007fffffdf,
    735   0x0000000000007ff0, 0x000000007fffffdf,
    736   0x0000000000007ff0, 0x000000007fffffdf,
    737   0x0000000000007ff0, 0x000000007fffffdf,
    738   0x0000000000007ff0, 0x000000007fffffdf,
    739   0x0000000000007ff0, 0x000000007fffffdf,
    740   0x0000000000007ff0, 0x000000007fffffdf,
    741   0x0000000000007ff0, 0x000000007fffffdf,
    742   0x000000003ffffffe, 0x000000003fffffff,
    743   0x000000005ffffffd, 0x000000005ffffffe,
    744   0x000000006ffffffc, 0x000000006ffffffd,
    745   0x0000000077fffffb, 0x0000000077fffffc,
    746   0x000000007bfffffa, 0x000000007bfffffb,
    747   0x000000007dfffff9, 0x000000007dfffffa,
    748   0x000000007efffff8, 0x000000007efffff9,
    749   0x000000007f7ffff7, 0x000000007f7ffff8,
    750   0x000000007fbffff6, 0x000000007fbffff7,
    751   0x000000007fdffff5, 0x000000007fdffff6,
    752   0x000000007feffff4, 0x000000007feffff5,
    753   0x000000007ff7fff3, 0x000000007ff7fff4,
    754   0x000000007ffbfff2, 0x000000007ffbfff3,
    755   0x000000007ffdfff1, 0x000000007ffdfff2,
    756   0x000000007ffefff0, 0x000000007ffefff1,
    757   0x000000007fff7fef, 0x000000007fff7ff0,
    758   0x000000007fffbfee, 0x000000007fffbfef,
    759   0x000000007fffdfed, 0x000000007fffdfee,
    760   0x000000007fffefec, 0x000000007fffefed,
    761   0x000000007ffff7eb, 0x000000007ffff7ec,
    762   0x000000007ffffbea, 0x000000007ffffbeb,
    763   0x000000007ffffde9, 0x000000007ffffdea,
    764   0x000000007ffffee8, 0x000000007ffffee9,
    765   0x000000007fffff67, 0x000000007fffff68,
    766   0x000000007fffffa6, 0x000000007fffffa7,
    767   0x000000007fffffc5, 0x000000007fffffc6,
    768   0x000000007fffffd4, 0x000000007fffffd5,
    769   0x000000007fffffdb, 0x000000007fffffdc,
    770   0x000000007fffffde, 0x000000007fffffdf,
    771   0x000000007fffffdf, 0x000000007fffffe0,
    772   0x000000007fffffdf, 0x000000007fffffe0,
    773   0x000000007fffffdf, 0x000000007fffffe0,
    774   0x000000007fffffdf, 0x000000007fffffe0,
    775   0x000000007fffffdf, 0x000000007fffffe0,
    776   0x000000007fffffdf, 0x000000007fffffe0,
    777   0x000000007fffffdf, 0x000000007fffffe0,
    778   0x000000007fffffdf, 0x000000007fffffe0,
    779   0x000000007fffffdf, 0x000000007fffffe0,
    780   0x000000007fffffdf, 0x000000007fffffe0,
    781   0x000000007fffffdf, 0x000000007fffffe0,
    782   0x000000007fffffdf, 0x000000007fffffe0,
    783   0x000000007fffffdf, 0x000000007fffffe0,
    784   0x000000007fffffdf, 0x000000007fffffe0,
    785   0x000000007fffffdf, 0x000000007fffffe0,
    786   0x000000007fffffdf, 0x000000007fffffe0,
    787   0x000000007fffffdf, 0x000000007fffffe0,
    788   0x000000007fffffdf, 0x000000007fffffe0,
    789   0x000000007fffffdf, 0x000000007fffffe0,
    790   0x000000007fffffdf, 0x000000007fffffe0,
    791   0x000000007fffffdf, 0x000000007fffffe0,
    792   0x000000007fffffdf, 0x000000007fffffe0,
    793   0x000000007fffffdf, 0x000000007fffffe0,
    794   0x000000007fffffdf, 0x000000007fffffe0,
    795   0x000000007fffffdf, 0x000000007fffffe0,
    796   0x000000007fffffdf, 0x000000007fffffe0,
    797   0x000000007fffffdf, 0x000000007fffffe0,
    798   0x000000007fffffdf, 0x000000007fffffe0,
    799   0x000000007fffffdf, 0x000000007fffffe0,
    800   0x000000007fffffdf, 0x000000007fffffe0,
    801   0x000000007fffffdf, 0x000000007fffffe0,
    802   0x000000007fffffdf, 0x000000007fffffe0,
    803   0x000000007fffffdf, 0x000000007fffffe0,
    804   0x000000007fffffdf, 0x000000007fffffe0,
    805   0x000000007fffffdf, 0x000000007fffffe0,
    806   0x000000003fffffff, 0x000000003fffffff,
    807   0x000000005ffffffe, 0x000000005ffffffe,
    808   0x000000006ffffffd, 0x000000006ffffffd,
    809   0x0000000077fffffc, 0x0000000077fffffc,
    810   0x000000007bfffffb, 0x000000007bfffffb,
    811   0x000000007dfffffa, 0x000000007dfffffa,
    812   0x000000007efffff9, 0x000000007efffff9,
    813   0x000000007f7ffff8, 0x000000007f7ffff8,
    814   0x000000007fbffff7, 0x000000007fbffff7,
    815   0x000000007fdffff6, 0x000000007fdffff6,
    816   0x000000007feffff5, 0x000000007feffff5,
    817   0x000000007ff7fff4, 0x000000007ff7fff4,
    818   0x000000007ffbfff3, 0x000000007ffbfff3,
    819   0x000000007ffdfff2, 0x000000007ffdfff2,
    820   0x000000007ffefff1, 0x000000007ffefff1,
    821   0x000000007fff7ff0, 0x000000007fff7ff0,
    822   0x000000007fffbfef, 0x000000007fffbfef,
    823   0x000000007fffdfee, 0x000000007fffdfee,
    824   0x000000007fffefed, 0x000000007fffefed,
    825   0x000000007ffff7ec, 0x000000007ffff7ec,
    826   0x000000007ffffbeb, 0x000000007ffffbeb,
    827   0x000000007ffffdea, 0x000000007ffffdea,
    828   0x000000007ffffee9, 0x000000007ffffee9,
    829   0x000000007fffff68, 0x000000007fffff68,
    830   0x000000007fffffa7, 0x000000007fffffa7,
    831   0x000000007fffffc6, 0x000000007fffffc6,
    832   0x000000007fffffd5, 0x000000007fffffd5,
    833   0x000000007fffffdc, 0x000000007fffffdc,
    834   0x000000007fffffdf, 0x000000007fffffdf,
    835   0x000000007fffffe0, 0x000000007fffffe0,
    836   0x000000007fffffe0, 0x000000007fffffe0,
    837   0x000000007fffffe0, 0x000000007fffffe0,
    838   0x000000007fffffe0, 0x000000007fffffe0,
    839   0x000000007fffffe0, 0x000000007fffffe0,
    840   0x000000007fffffe0, 0x000000007fffffe0,
    841   0x000000007fffffe0, 0x000000007fffffe0,
    842   0x000000007fffffe0, 0x000000007fffffe0,
    843   0x000000007fffffe0, 0x000000007fffffe0,
    844   0x000000007fffffe0, 0x000000007fffffe0,
    845   0x000000007fffffe0, 0x000000007fffffe0,
    846   0x000000007fffffe0, 0x000000007fffffe0,
    847   0x000000007fffffe0, 0x000000007fffffe0,
    848   0x000000007fffffe0, 0x000000007fffffe0,
    849   0x000000007fffffe0, 0x000000007fffffe0,
    850   0x000000007fffffe0, 0x000000007fffffe0,
    851   0x000000007fffffe0, 0x000000007fffffe0,
    852   0x000000007fffffe0, 0x000000007fffffe0,
    853   0x000000007fffffe0, 0x000000007fffffe0,
    854   0x000000007fffffe0, 0x000000007fffffe0,
    855   0x000000007fffffe0, 0x000000007fffffe0,
    856   0x000000007fffffe0, 0x000000007fffffe0,
    857   0x000000007fffffe0, 0x000000007fffffe0,
    858   0x000000007fffffe0, 0x000000007fffffe0,
    859   0x000000007fffffe0, 0x000000007fffffe0,
    860   0x000000007fffffe0, 0x000000007fffffe0,
    861   0x000000007fffffe0, 0x000000007fffffe0,
    862   0x000000007fffffe0, 0x000000007fffffe0,
    863   0x000000007fffffe0, 0x000000007fffffe0,
    864   0x000000007fffffe0, 0x000000007fffffe0,
    865   0x000000007fffffe0, 0x000000007fffffe0,
    866   0x000000007fffffe0, 0x000000007fffffe0,
    867   0x000000007fffffe0, 0x000000007fffffe0,
    868   0x000000007fffffe0, 0x000000007fffffe0,
    869   0x000000007fffffe0, 0x000000007fffffe0,
    870   0x000000003fffffff, 0x1999999999999999,
    871   0x000000005ffffffe, 0x2666666666666665,
    872   0x000000006ffffffd, 0x2ccccccccccccccb,
    873   0x0000000077fffffc, 0x2ffffffffffffffe,
    874   0x000000007bfffffb, 0x3199999999999997,
    875   0x000000007dfffffa, 0x3266666666666663,
    876   0x000000007efffff9, 0x32ccccccccccccc9,
    877   0x000000007f7ffff8, 0x32fffffffffffffc,
    878   0x000000007fbffff7, 0x3319999999999995,
    879   0x000000007fdffff6, 0x3326666666666661,
    880   0x000000007feffff5, 0x332cccccccccccc7,
    881   0x000000007ff7fff4, 0x332ffffffffffffa,
    882   0x000000007ffbfff3, 0x3331999999999993,
    883   0x000000007ffdfff2, 0x333266666666665f,
    884   0x000000007ffefff1, 0x3332ccccccccccc5,
    885   0x000000007fff7ff0, 0x3332fffffffffff8,
    886   0x000000007fffbfef, 0x3333199999999991,
    887   0x000000007fffdfee, 0x333326666666665d,
    888   0x000000007fffefed, 0x33332cccccccccc3,
    889   0x000000007ffff7ec, 0x33332ffffffffff6,
    890   0x000000007ffffbeb, 0x333331999999998f,
    891   0x000000007ffffdea, 0x333332666666665b,
    892   0x000000007ffffee9, 0x333332ccccccccc1,
    893   0x000000007fffff68, 0x333332fffffffff4,
    894   0x000000007fffffa7, 0x333333199999998d,
    895   0x000000007fffffc6, 0x3333332666666659,
    896   0x000000007fffffd5, 0x3333332cccccccbf,
    897   0x000000007fffffdc, 0x3333332ffffffff2,
    898   0x000000007fffffdf, 0x333333319999998b,
    899   0x000000007fffffe0, 0x3333333266666657,
    900   0x000000007fffffe0, 0x33333332ccccccbd,
    901   0x000000007fffffe0, 0x33333332fffffff0,
    902   0x000000007fffffe0, 0x3333333319999989,
    903   0x000000007fffffe0, 0x3333333326666655,
    904   0x000000007fffffe0, 0x333333332cccccbb,
    905   0x000000007fffffe0, 0x333333332fffffee,
    906   0x000000007fffffe0, 0x3333333331999987,
    907   0x000000007fffffe0, 0x3333333332666653,
    908   0x000000007fffffe0, 0x3333333332ccccb9,
    909   0x000000007fffffe0, 0x3333333332ffffec,
    910   0x000000007fffffe0, 0x3333333333199985,
    911   0x000000007fffffe0, 0x3333333333266651,
    912   0x000000007fffffe0, 0x33333333332cccb7,
    913   0x000000007fffffe0, 0x33333333332fffea,
    914   0x000000007fffffe0, 0x3333333333319983,
    915   0x000000007fffffe0, 0x333333333332664f,
    916   0x000000007fffffe0, 0x333333333332ccb5,
    917   0x000000007fffffe0, 0x333333333332ffe8,
    918   0x000000007fffffe0, 0x3333333333331981,
    919   0x000000007fffffe0, 0x333333333333264d,
    920   0x000000007fffffe0, 0x3333333333332cb3,
    921   0x000000007fffffe0, 0x3333333333332fe6,
    922   0x000000007fffffe0, 0x333333333333317f,
    923   0x000000007fffffe0, 0x333333333333324b,
    924   0x000000007fffffe0, 0x33333333333332b1,
    925   0x000000007fffffe0, 0x33333333333332e4,
    926   0x000000007fffffe0, 0x33333333333332fd,
    927   0x000000007fffffe0, 0x3333333333333309,
    928   0x000000007fffffe0, 0x333333333333330f,
    929   0x000000007fffffe0, 0x3333333333333312,
    930   0x000000007fffffe0, 0x3333333333333313,
    931   0x000000007fffffe0, 0x3333333333333313,
    932   0x000000007fffffe0, 0x3333333333333313,
    933   0x000000007fffffe0, 0x3333333333333313,
    934   0x1999999999999999, 0x2aaaaaaaaaaaaaaa,
    935   0x2666666666666665, 0x3fffffffffffffff,
    936   0x2ccccccccccccccb, 0x4aaaaaaaaaaaaaa9,
    937   0x2ffffffffffffffe, 0x4ffffffffffffffe,
    938   0x3199999999999997, 0x52aaaaaaaaaaaaa8,
    939   0x3266666666666663, 0x53fffffffffffffd,
    940   0x32ccccccccccccc9, 0x54aaaaaaaaaaaaa7,
    941   0x32fffffffffffffc, 0x54fffffffffffffc,
    942   0x3319999999999995, 0x552aaaaaaaaaaaa6,
    943   0x3326666666666661, 0x553ffffffffffffb,
    944   0x332cccccccccccc7, 0x554aaaaaaaaaaaa5,
    945   0x332ffffffffffffa, 0x554ffffffffffffa,
    946   0x3331999999999993, 0x5552aaaaaaaaaaa4,
    947   0x333266666666665f, 0x5553fffffffffff9,
    948   0x3332ccccccccccc5, 0x5554aaaaaaaaaaa3,
    949   0x3332fffffffffff8, 0x5554fffffffffff8,
    950   0x3333199999999991, 0x55552aaaaaaaaaa2,
    951   0x333326666666665d, 0x55553ffffffffff7,
    952   0x33332cccccccccc3, 0x55554aaaaaaaaaa1,
    953   0x33332ffffffffff6, 0x55554ffffffffff6,
    954   0x333331999999998f, 0x555552aaaaaaaaa0,
    955   0x333332666666665b, 0x555553fffffffff5,
    956   0x333332ccccccccc1, 0x555554aaaaaaaa9f,
    957   0x333332fffffffff4, 0x555554fffffffff4,
    958   0x333333199999998d, 0x5555552aaaaaaa9e,
    959   0x3333332666666659, 0x5555553ffffffff3,
    960   0x3333332cccccccbf, 0x5555554aaaaaaa9d,
    961   0x3333332ffffffff2, 0x5555554ffffffff2,
    962   0x333333319999998b, 0x55555552aaaaaa9c,
    963   0x3333333266666657, 0x55555553fffffff1,
    964   0x33333332ccccccbd, 0x55555554aaaaaa9b,
    965   0x33333332fffffff0, 0x55555554fffffff0,
    966   0x3333333319999989, 0x555555552aaaaa9a,
    967   0x3333333326666655, 0x555555553fffffef,
    968   0x333333332cccccbb, 0x555555554aaaaa99,
    969   0x333333332fffffee, 0x555555554fffffee,
    970   0x3333333331999987, 0x5555555552aaaa98,
    971   0x3333333332666653, 0x5555555553ffffed,
    972   0x3333333332ccccb9, 0x5555555554aaaa97,
    973   0x3333333332ffffec, 0x5555555554ffffec,
    974   0x3333333333199985, 0x55555555552aaa96,
    975   0x3333333333266651, 0x55555555553fffeb,
    976   0x33333333332cccb7, 0x55555555554aaa95,
    977   0x33333333332fffea, 0x55555555554fffea,
    978   0x3333333333319983, 0x555555555552aa94,
    979   0x333333333332664f, 0x555555555553ffe9,
    980   0x333333333332ccb5, 0x555555555554aa93,
    981   0x333333333332ffe8, 0x555555555554ffe8,
    982   0x3333333333331981, 0x5555555555552a92,
    983   0x333333333333264d, 0x5555555555553fe7,
    984   0x3333333333332cb3, 0x5555555555554a91,
    985   0x3333333333332fe6, 0x5555555555554fe6,
    986   0x333333333333317f, 0x5555555555555290,
    987   0x333333333333324b, 0x55555555555553e5,
    988   0x33333333333332b1, 0x555555555555548f,
    989   0x33333333333332e4, 0x55555555555554e4,
    990   0x33333333333332fd, 0x555555555555550e,
    991   0x3333333333333309, 0x5555555555555523,
    992   0x333333333333330f, 0x555555555555552d,
    993   0x3333333333333312, 0x5555555555555532,
    994   0x3333333333333313, 0x5555555555555534,
    995   0x3333333333333313, 0x5555555555555535,
    996   0x3333333333333313, 0x5555555555555535,
    997   0x3333333333333313, 0x5555555555555535,
    998   0x2aaaaaaaaaaaaaaa, 0x3ffffffffffffffe,
    999   0x3fffffffffffffff, 0x5ffffffffffffffd,
   1000   0x4aaaaaaaaaaaaaa9, 0x6ffffffffffffffc,
   1001   0x4ffffffffffffffe, 0x77fffffffffffffb,
   1002   0x52aaaaaaaaaaaaa8, 0x7bfffffffffffffa,
   1003   0x53fffffffffffffd, 0x7dfffffffffffff9,
   1004   0x54aaaaaaaaaaaaa7, 0x7efffffffffffff8,
   1005   0x54fffffffffffffc, 0x7f7ffffffffffff7,
   1006   0x552aaaaaaaaaaaa6, 0x7fbffffffffffff6,
   1007   0x553ffffffffffffb, 0x7fdffffffffffff5,
   1008   0x554aaaaaaaaaaaa5, 0x7feffffffffffff4,
   1009   0x554ffffffffffffa, 0x7ff7fffffffffff3,
   1010   0x5552aaaaaaaaaaa4, 0x7ffbfffffffffff2,
   1011   0x5553fffffffffff9, 0x7ffdfffffffffff1,
   1012   0x5554aaaaaaaaaaa3, 0x7ffefffffffffff0,
   1013   0x5554fffffffffff8, 0x7fff7fffffffffef,
   1014   0x55552aaaaaaaaaa2, 0x7fffbfffffffffee,
   1015   0x55553ffffffffff7, 0x7fffdfffffffffed,
   1016   0x55554aaaaaaaaaa1, 0x7fffefffffffffec,
   1017   0x55554ffffffffff6, 0x7ffff7ffffffffeb,
   1018   0x555552aaaaaaaaa0, 0x7ffffbffffffffea,
   1019   0x555553fffffffff5, 0x7ffffdffffffffe9,
   1020   0x555554aaaaaaaa9f, 0x7ffffeffffffffe8,
   1021   0x555554fffffffff4, 0x7fffff7fffffffe7,
   1022   0x5555552aaaaaaa9e, 0x7fffffbfffffffe6,
   1023   0x5555553ffffffff3, 0x7fffffdfffffffe5,
   1024   0x5555554aaaaaaa9d, 0x7fffffefffffffe4,
   1025   0x5555554ffffffff2, 0x7ffffff7ffffffe3,
   1026   0x55555552aaaaaa9c, 0x7ffffffbffffffe2,
   1027   0x55555553fffffff1, 0x7ffffffdffffffe1,
   1028   0x55555554aaaaaa9b, 0x7ffffffeffffffe0,
   1029   0x55555554fffffff0, 0x7fffffff7fffffdf,
   1030   0x555555552aaaaa9a, 0x7fffffffbfffffde,
   1031   0x555555553fffffef, 0x7fffffffdfffffdd,
   1032   0x555555554aaaaa99, 0x7fffffffefffffdc,
   1033   0x555555554fffffee, 0x7ffffffff7ffffdb,
   1034   0x5555555552aaaa98, 0x7ffffffffbffffda,
   1035   0x5555555553ffffed, 0x7ffffffffdffffd9,
   1036   0x5555555554aaaa97, 0x7ffffffffeffffd8,
   1037   0x5555555554ffffec, 0x7fffffffff7fffd7,
   1038   0x55555555552aaa96, 0x7fffffffffbfffd6,
   1039   0x55555555553fffeb, 0x7fffffffffdfffd5,
   1040   0x55555555554aaa95, 0x7fffffffffefffd4,
   1041   0x55555555554fffea, 0x7ffffffffff7ffd3,
   1042   0x555555555552aa94, 0x7ffffffffffbffd2,
   1043   0x555555555553ffe9, 0x7ffffffffffdffd1,
   1044   0x555555555554aa93, 0x7ffffffffffeffd0,
   1045   0x555555555554ffe8, 0x7fffffffffff7fcf,
   1046   0x5555555555552a92, 0x7fffffffffffbfce,
   1047   0x5555555555553fe7, 0x7fffffffffffdfcd,
   1048   0x5555555555554a91, 0x7fffffffffffefcc,
   1049   0x5555555555554fe6, 0x7ffffffffffff7cb,
   1050   0x5555555555555290, 0x7ffffffffffffbca,
   1051   0x55555555555553e5, 0x7ffffffffffffdc9,
   1052   0x555555555555548f, 0x7ffffffffffffec8,
   1053   0x55555555555554e4, 0x7fffffffffffff47,
   1054   0x555555555555550e, 0x7fffffffffffff86,
   1055   0x5555555555555523, 0x7fffffffffffffa5,
   1056   0x555555555555552d, 0x7fffffffffffffb4,
   1057   0x5555555555555532, 0x7fffffffffffffbb,
   1058   0x5555555555555534, 0x7fffffffffffffbe,
   1059   0x5555555555555535, 0x7fffffffffffffbf,
   1060   0x5555555555555535, 0x7fffffffffffffbf,
   1061   0x5555555555555535, 0x7fffffffffffffbf,
   1062   0x3ffffffffffffffe, 0x3fffffffffffffff,
   1063   0x5ffffffffffffffd, 0x5ffffffffffffffe,
   1064   0x6ffffffffffffffc, 0x6ffffffffffffffd,
   1065   0x77fffffffffffffb, 0x77fffffffffffffc,
   1066   0x7bfffffffffffffa, 0x7bfffffffffffffb,
   1067   0x7dfffffffffffff9, 0x7dfffffffffffffa,
   1068   0x7efffffffffffff8, 0x7efffffffffffff9,
   1069   0x7f7ffffffffffff7, 0x7f7ffffffffffff8,
   1070   0x7fbffffffffffff6, 0x7fbffffffffffff7,
   1071   0x7fdffffffffffff5, 0x7fdffffffffffff6,
   1072   0x7feffffffffffff4, 0x7feffffffffffff5,
   1073   0x7ff7fffffffffff3, 0x7ff7fffffffffff4,
   1074   0x7ffbfffffffffff2, 0x7ffbfffffffffff3,
   1075   0x7ffdfffffffffff1, 0x7ffdfffffffffff2,
   1076   0x7ffefffffffffff0, 0x7ffefffffffffff1,
   1077   0x7fff7fffffffffef, 0x7fff7ffffffffff0,
   1078   0x7fffbfffffffffee, 0x7fffbfffffffffef,
   1079   0x7fffdfffffffffed, 0x7fffdfffffffffee,
   1080   0x7fffefffffffffec, 0x7fffefffffffffed,
   1081   0x7ffff7ffffffffeb, 0x7ffff7ffffffffec,
   1082   0x7ffffbffffffffea, 0x7ffffbffffffffeb,
   1083   0x7ffffdffffffffe9, 0x7ffffdffffffffea,
   1084   0x7ffffeffffffffe8, 0x7ffffeffffffffe9,
   1085   0x7fffff7fffffffe7, 0x7fffff7fffffffe8,
   1086   0x7fffffbfffffffe6, 0x7fffffbfffffffe7,
   1087   0x7fffffdfffffffe5, 0x7fffffdfffffffe6,
   1088   0x7fffffefffffffe4, 0x7fffffefffffffe5,
   1089   0x7ffffff7ffffffe3, 0x7ffffff7ffffffe4,
   1090   0x7ffffffbffffffe2, 0x7ffffffbffffffe3,
   1091   0x7ffffffdffffffe1, 0x7ffffffdffffffe2,
   1092   0x7ffffffeffffffe0, 0x7ffffffeffffffe1,
   1093   0x7fffffff7fffffdf, 0x7fffffff7fffffe0,
   1094   0x7fffffffbfffffde, 0x7fffffffbfffffdf,
   1095   0x7fffffffdfffffdd, 0x7fffffffdfffffde,
   1096   0x7fffffffefffffdc, 0x7fffffffefffffdd,
   1097   0x7ffffffff7ffffdb, 0x7ffffffff7ffffdc,
   1098   0x7ffffffffbffffda, 0x7ffffffffbffffdb,
   1099   0x7ffffffffdffffd9, 0x7ffffffffdffffda,
   1100   0x7ffffffffeffffd8, 0x7ffffffffeffffd9,
   1101   0x7fffffffff7fffd7, 0x7fffffffff7fffd8,
   1102   0x7fffffffffbfffd6, 0x7fffffffffbfffd7,
   1103   0x7fffffffffdfffd5, 0x7fffffffffdfffd6,
   1104   0x7fffffffffefffd4, 0x7fffffffffefffd5,
   1105   0x7ffffffffff7ffd3, 0x7ffffffffff7ffd4,
   1106   0x7ffffffffffbffd2, 0x7ffffffffffbffd3,
   1107   0x7ffffffffffdffd1, 0x7ffffffffffdffd2,
   1108   0x7ffffffffffeffd0, 0x7ffffffffffeffd1,
   1109   0x7fffffffffff7fcf, 0x7fffffffffff7fd0,
   1110   0x7fffffffffffbfce, 0x7fffffffffffbfcf,
   1111   0x7fffffffffffdfcd, 0x7fffffffffffdfce,
   1112   0x7fffffffffffefcc, 0x7fffffffffffefcd,
   1113   0x7ffffffffffff7cb, 0x7ffffffffffff7cc,
   1114   0x7ffffffffffffbca, 0x7ffffffffffffbcb,
   1115   0x7ffffffffffffdc9, 0x7ffffffffffffdca,
   1116   0x7ffffffffffffec8, 0x7ffffffffffffec9,
   1117   0x7fffffffffffff47, 0x7fffffffffffff48,
   1118   0x7fffffffffffff86, 0x7fffffffffffff87,
   1119   0x7fffffffffffffa5, 0x7fffffffffffffa6,
   1120   0x7fffffffffffffb4, 0x7fffffffffffffb5,
   1121   0x7fffffffffffffbb, 0x7fffffffffffffbc,
   1122   0x7fffffffffffffbe, 0x7fffffffffffffbf,
   1123   0x7fffffffffffffbf, 0x7fffffffffffffc0,
   1124   0x7fffffffffffffbf, 0x7fffffffffffffc0,
   1125   0x7fffffffffffffbf, 0x7fffffffffffffc0,
   1126   0x3fffffffffffffff, 0x3fffffffffffffff,
   1127   0x5ffffffffffffffe, 0x5ffffffffffffffe,
   1128   0x6ffffffffffffffd, 0x6ffffffffffffffd,
   1129   0x77fffffffffffffc, 0x77fffffffffffffc,
   1130   0x7bfffffffffffffb, 0x7bfffffffffffffb,
   1131   0x7dfffffffffffffa, 0x7dfffffffffffffa,
   1132   0x7efffffffffffff9, 0x7efffffffffffff9,
   1133   0x7f7ffffffffffff8, 0x7f7ffffffffffff8,
   1134   0x7fbffffffffffff7, 0x7fbffffffffffff7,
   1135   0x7fdffffffffffff6, 0x7fdffffffffffff6,
   1136   0x7feffffffffffff5, 0x7feffffffffffff5,
   1137   0x7ff7fffffffffff4, 0x7ff7fffffffffff4,
   1138   0x7ffbfffffffffff3, 0x7ffbfffffffffff3,
   1139   0x7ffdfffffffffff2, 0x7ffdfffffffffff2,
   1140   0x7ffefffffffffff1, 0x7ffefffffffffff1,
   1141   0x7fff7ffffffffff0, 0x7fff7ffffffffff0,
   1142   0x7fffbfffffffffef, 0x7fffbfffffffffef,
   1143   0x7fffdfffffffffee, 0x7fffdfffffffffee,
   1144   0x7fffefffffffffed, 0x7fffefffffffffed,
   1145   0x7ffff7ffffffffec, 0x7ffff7ffffffffec,
   1146   0x7ffffbffffffffeb, 0x7ffffbffffffffeb,
   1147   0x7ffffdffffffffea, 0x7ffffdffffffffea,
   1148   0x7ffffeffffffffe9, 0x7ffffeffffffffe9,
   1149   0x7fffff7fffffffe8, 0x7fffff7fffffffe8,
   1150   0x7fffffbfffffffe7, 0x7fffffbfffffffe7,
   1151   0x7fffffdfffffffe6, 0x7fffffdfffffffe6,
   1152   0x7fffffefffffffe5, 0x7fffffefffffffe5,
   1153   0x7ffffff7ffffffe4, 0x7ffffff7ffffffe4,
   1154   0x7ffffffbffffffe3, 0x7ffffffbffffffe3,
   1155   0x7ffffffdffffffe2, 0x7ffffffdffffffe2,
   1156   0x7ffffffeffffffe1, 0x7ffffffeffffffe1,
   1157   0x7fffffff7fffffe0, 0x7fffffff7fffffe0,
   1158   0x7fffffffbfffffdf, 0x7fffffffbfffffdf,
   1159   0x7fffffffdfffffde, 0x7fffffffdfffffde,
   1160   0x7fffffffefffffdd, 0x7fffffffefffffdd,
   1161   0x7ffffffff7ffffdc, 0x7ffffffff7ffffdc,
   1162   0x7ffffffffbffffdb, 0x7ffffffffbffffdb,
   1163   0x7ffffffffdffffda, 0x7ffffffffdffffda,
   1164   0x7ffffffffeffffd9, 0x7ffffffffeffffd9,
   1165   0x7fffffffff7fffd8, 0x7fffffffff7fffd8,
   1166   0x7fffffffffbfffd7, 0x7fffffffffbfffd7,
   1167   0x7fffffffffdfffd6, 0x7fffffffffdfffd6,
   1168   0x7fffffffffefffd5, 0x7fffffffffefffd5,
   1169   0x7ffffffffff7ffd4, 0x7ffffffffff7ffd4,
   1170   0x7ffffffffffbffd3, 0x7ffffffffffbffd3,
   1171   0x7ffffffffffdffd2, 0x7ffffffffffdffd2,
   1172   0x7ffffffffffeffd1, 0x7ffffffffffeffd1,
   1173   0x7fffffffffff7fd0, 0x7fffffffffff7fd0,
   1174   0x7fffffffffffbfcf, 0x7fffffffffffbfcf,
   1175   0x7fffffffffffdfce, 0x7fffffffffffdfce,
   1176   0x7fffffffffffefcd, 0x7fffffffffffefcd,
   1177   0x7ffffffffffff7cc, 0x7ffffffffffff7cc,
   1178   0x7ffffffffffffbcb, 0x7ffffffffffffbcb,
   1179   0x7ffffffffffffdca, 0x7ffffffffffffdca,
   1180   0x7ffffffffffffec9, 0x7ffffffffffffec9,
   1181   0x7fffffffffffff48, 0x7fffffffffffff48,
   1182   0x7fffffffffffff87, 0x7fffffffffffff87,
   1183   0x7fffffffffffffa6, 0x7fffffffffffffa6,
   1184   0x7fffffffffffffb5, 0x7fffffffffffffb5,
   1185   0x7fffffffffffffbc, 0x7fffffffffffffbc,
   1186   0x7fffffffffffffbf, 0x7fffffffffffffbf,
   1187   0x7fffffffffffffc0, 0x7fffffffffffffc0,
   1188   0x7fffffffffffffc0, 0x7fffffffffffffc0,
   1189   0x7fffffffffffffc0, 0x7fffffffffffffc0,
   1190   0x3fffffffffffffff, 0x4000000000000000,
   1191   0x5ffffffffffffffe, 0x6000000000000000,
   1192   0x6ffffffffffffffd, 0x7000000000000000,
   1193   0x77fffffffffffffc, 0x7800000000000000,
   1194   0x7bfffffffffffffb, 0x7c00000000000000,
   1195   0x7dfffffffffffffa, 0x7e00000000000000,
   1196   0x7efffffffffffff9, 0x7f00000000000000,
   1197   0x7f7ffffffffffff8, 0x7f80000000000000,
   1198   0x7fbffffffffffff7, 0x7fc0000000000000,
   1199   0x7fdffffffffffff6, 0x7fe0000000000000,
   1200   0x7feffffffffffff5, 0x7ff0000000000000,
   1201   0x7ff7fffffffffff4, 0x7ff8000000000000,
   1202   0x7ffbfffffffffff3, 0x7ffc000000000000,
   1203   0x7ffdfffffffffff2, 0x7ffe000000000000,
   1204   0x7ffefffffffffff1, 0x7fff000000000000,
   1205   0x7fff7ffffffffff0, 0x7fff800000000000,
   1206   0x7fffbfffffffffef, 0x7fffc00000000000,
   1207   0x7fffdfffffffffee, 0x7fffe00000000000,
   1208   0x7fffefffffffffed, 0x7ffff00000000000,
   1209   0x7ffff7ffffffffec, 0x7ffff80000000000,
   1210   0x7ffffbffffffffeb, 0x7ffffc0000000000,
   1211   0x7ffffdffffffffea, 0x7ffffe0000000000,
   1212   0x7ffffeffffffffe9, 0x7fffff0000000000,
   1213   0x7fffff7fffffffe8, 0x7fffff8000000000,
   1214   0x7fffffbfffffffe7, 0x7fffffc000000000,
   1215   0x7fffffdfffffffe6, 0x7fffffe000000000,
   1216   0x7fffffefffffffe5, 0x7ffffff000000000,
   1217   0x7ffffff7ffffffe4, 0x7ffffff800000000,
   1218   0x7ffffffbffffffe3, 0x7ffffffc00000000,
   1219   0x7ffffffdffffffe2, 0x7ffffffe00000000,
   1220   0x7ffffffeffffffe1, 0x7fffffff00000000,
   1221   0x7fffffff7fffffe0, 0x7fffffff80000000,
   1222   0x7fffffffbfffffdf, 0x7fffffffc0000000,
   1223   0x7fffffffdfffffde, 0x7fffffffe0000000,
   1224   0x7fffffffefffffdd, 0x7ffffffff0000000,
   1225   0x7ffffffff7ffffdc, 0x7ffffffff8000000,
   1226   0x7ffffffffbffffdb, 0x7ffffffffc000000,
   1227   0x7ffffffffdffffda, 0x7ffffffffe000000,
   1228   0x7ffffffffeffffd9, 0x7fffffffff000000,
   1229   0x7fffffffff7fffd8, 0x7fffffffff800000,
   1230   0x7fffffffffbfffd7, 0x7fffffffffc00000,
   1231   0x7fffffffffdfffd6, 0x7fffffffffe00000,
   1232   0x7fffffffffefffd5, 0x7ffffffffff00000,
   1233   0x7ffffffffff7ffd4, 0x7ffffffffff80000,
   1234   0x7ffffffffffbffd3, 0x7ffffffffffc0000,
   1235   0x7ffffffffffdffd2, 0x7ffffffffffe0000,
   1236   0x7ffffffffffeffd1, 0x7fffffffffff0000,
   1237   0x7fffffffffff7fd0, 0x7fffffffffff8000,
   1238   0x7fffffffffffbfcf, 0x7fffffffffffc000,
   1239   0x7fffffffffffdfce, 0x7fffffffffffe000,
   1240   0x7fffffffffffefcd, 0x7ffffffffffff000,
   1241   0x7ffffffffffff7cc, 0x7ffffffffffff800,
   1242   0x7ffffffffffffbcb, 0x7ffffffffffffc00,
   1243   0x7ffffffffffffdca, 0x7ffffffffffffe00,
   1244   0x7ffffffffffffec9, 0x7fffffffffffff00,
   1245   0x7fffffffffffff48, 0x7fffffffffffff80,
   1246   0x7fffffffffffff87, 0x7fffffffffffffc0,
   1247   0x7fffffffffffffa6, 0x7fffffffffffffe0,
   1248   0x7fffffffffffffb5, 0x7ffffffffffffff0,
   1249   0x7fffffffffffffbc, 0x7ffffffffffffff8,
   1250   0x7fffffffffffffbf, 0x7ffffffffffffffc,
   1251   0x7fffffffffffffc0, 0x7ffffffffffffffe,
   1252   0x7fffffffffffffc0, 0x7fffffffffffffff,
   1253   0x7fffffffffffffc0, 0x7fffffffffffffff,
   1254   0x4000000000000000, 0x4000000000000000,
   1255   0x6000000000000000, 0x6000000000000000,
   1256   0x7000000000000000, 0x7000000000000000,
   1257   0x7800000000000000, 0x7800000000000000,
   1258   0x7c00000000000000, 0x7c00000000000000,
   1259   0x7e00000000000000, 0x7e00000000000000,
   1260   0x7f00000000000000, 0x7f00000000000000,
   1261   0x7f80000000000000, 0x7f80000000000000,
   1262   0x7fc0000000000000, 0x7fc0000000000000,
   1263   0x7fe0000000000000, 0x7fe0000000000000,
   1264   0x7ff0000000000000, 0x7ff0000000000000,
   1265   0x7ff8000000000000, 0x7ff8000000000000,
   1266   0x7ffc000000000000, 0x7ffc000000000000,
   1267   0x7ffe000000000000, 0x7ffe000000000000,
   1268   0x7fff000000000000, 0x7fff000000000000,
   1269   0x7fff800000000000, 0x7fff800000000000,
   1270   0x7fffc00000000000, 0x7fffc00000000000,
   1271   0x7fffe00000000000, 0x7fffe00000000000,
   1272   0x7ffff00000000000, 0x7ffff00000000000,
   1273   0x7ffff80000000000, 0x7ffff80000000000,
   1274   0x7ffffc0000000000, 0x7ffffc0000000000,
   1275   0x7ffffe0000000000, 0x7ffffe0000000000,
   1276   0x7fffff0000000000, 0x7fffff0000000000,
   1277   0x7fffff8000000000, 0x7fffff8000000000,
   1278   0x7fffffc000000000, 0x7fffffc000000000,
   1279   0x7fffffe000000000, 0x7fffffe000000000,
   1280   0x7ffffff000000000, 0x7ffffff000000000,
   1281   0x7ffffff800000000, 0x7ffffff800000000,
   1282   0x7ffffffc00000000, 0x7ffffffc00000000,
   1283   0x7ffffffe00000000, 0x7ffffffe00000000,
   1284   0x7fffffff00000000, 0x7fffffff00000000,
   1285   0x7fffffff80000000, 0x7fffffff80000000,
   1286   0x7fffffffc0000000, 0x7fffffffc0000000,
   1287   0x7fffffffe0000000, 0x7fffffffe0000000,
   1288   0x7ffffffff0000000, 0x7ffffffff0000000,
   1289   0x7ffffffff8000000, 0x7ffffffff8000000,
   1290   0x7ffffffffc000000, 0x7ffffffffc000000,
   1291   0x7ffffffffe000000, 0x7ffffffffe000000,
   1292   0x7fffffffff000000, 0x7fffffffff000000,
   1293   0x7fffffffff800000, 0x7fffffffff800000,
   1294   0x7fffffffffc00000, 0x7fffffffffc00000,
   1295   0x7fffffffffe00000, 0x7fffffffffe00000,
   1296   0x7ffffffffff00000, 0x7ffffffffff00000,
   1297   0x7ffffffffff80000, 0x7ffffffffff80000,
   1298   0x7ffffffffffc0000, 0x7ffffffffffc0000,
   1299   0x7ffffffffffe0000, 0x7ffffffffffe0000,
   1300   0x7fffffffffff0000, 0x7fffffffffff0000,
   1301   0x7fffffffffff8000, 0x7fffffffffff8000,
   1302   0x7fffffffffffc000, 0x7fffffffffffc000,
   1303   0x7fffffffffffe000, 0x7fffffffffffe000,
   1304   0x7ffffffffffff000, 0x7ffffffffffff000,
   1305   0x7ffffffffffff800, 0x7ffffffffffff800,
   1306   0x7ffffffffffffc00, 0x7ffffffffffffc00,
   1307   0x7ffffffffffffe00, 0x7ffffffffffffe00,
   1308   0x7fffffffffffff00, 0x7fffffffffffff00,
   1309   0x7fffffffffffff80, 0x7fffffffffffff80,
   1310   0x7fffffffffffffc0, 0x7fffffffffffffc0,
   1311   0x7fffffffffffffe0, 0x7fffffffffffffe0,
   1312   0x7ffffffffffffff0, 0x7ffffffffffffff0,
   1313   0x7ffffffffffffff8, 0x7ffffffffffffff8,
   1314   0x7ffffffffffffffc, 0x7ffffffffffffffc,
   1315   0x7ffffffffffffffe, 0x7ffffffffffffffe,
   1316   0x7fffffffffffffff, 0x7fffffffffffffff,
   1317   0x7fffffffffffffff, 0x7fffffffffffffff,
   1318   0x4000000000000000, 0x4000000000000001,
   1319   0x6000000000000000, 0x6000000000000001,
   1320   0x7000000000000000, 0x7000000000000001,
   1321   0x7800000000000000, 0x7800000000000001,
   1322   0x7c00000000000000, 0x7c00000000000001,
   1323   0x7e00000000000000, 0x7e00000000000001,
   1324   0x7f00000000000000, 0x7f00000000000001,
   1325   0x7f80000000000000, 0x7f80000000000001,
   1326   0x7fc0000000000000, 0x7fc0000000000001,
   1327   0x7fe0000000000000, 0x7fe0000000000001,
   1328   0x7ff0000000000000, 0x7ff0000000000001,
   1329   0x7ff8000000000000, 0x7ff8000000000001,
   1330   0x7ffc000000000000, 0x7ffc000000000001,
   1331   0x7ffe000000000000, 0x7ffe000000000001,
   1332   0x7fff000000000000, 0x7fff000000000001,
   1333   0x7fff800000000000, 0x7fff800000000001,
   1334   0x7fffc00000000000, 0x7fffc00000000001,
   1335   0x7fffe00000000000, 0x7fffe00000000001,
   1336   0x7ffff00000000000, 0x7ffff00000000001,
   1337   0x7ffff80000000000, 0x7ffff80000000001,
   1338   0x7ffffc0000000000, 0x7ffffc0000000001,
   1339   0x7ffffe0000000000, 0x7ffffe0000000001,
   1340   0x7fffff0000000000, 0x7fffff0000000001,
   1341   0x7fffff8000000000, 0x7fffff8000000001,
   1342   0x7fffffc000000000, 0x7fffffc000000001,
   1343   0x7fffffe000000000, 0x7fffffe000000001,
   1344   0x7ffffff000000000, 0x7ffffff000000001,
   1345   0x7ffffff800000000, 0x7ffffff800000001,
   1346   0x7ffffffc00000000, 0x7ffffffc00000001,
   1347   0x7ffffffe00000000, 0x7ffffffe00000001,
   1348   0x7fffffff00000000, 0x7fffffff00000001,
   1349   0x7fffffff80000000, 0x7fffffff80000001,
   1350   0x7fffffffc0000000, 0x7fffffffc0000001,
   1351   0x7fffffffe0000000, 0x7fffffffe0000001,
   1352   0x7ffffffff0000000, 0x7ffffffff0000001,
   1353   0x7ffffffff8000000, 0x7ffffffff8000001,
   1354   0x7ffffffffc000000, 0x7ffffffffc000001,
   1355   0x7ffffffffe000000, 0x7ffffffffe000001,
   1356   0x7fffffffff000000, 0x7fffffffff000001,
   1357   0x7fffffffff800000, 0x7fffffffff800001,
   1358   0x7fffffffffc00000, 0x7fffffffffc00001,
   1359   0x7fffffffffe00000, 0x7fffffffffe00001,
   1360   0x7ffffffffff00000, 0x7ffffffffff00001,
   1361   0x7ffffffffff80000, 0x7ffffffffff80001,
   1362   0x7ffffffffffc0000, 0x7ffffffffffc0001,
   1363   0x7ffffffffffe0000, 0x7ffffffffffe0001,
   1364   0x7fffffffffff0000, 0x7fffffffffff0001,
   1365   0x7fffffffffff8000, 0x7fffffffffff8001,
   1366   0x7fffffffffffc000, 0x7fffffffffffc001,
   1367   0x7fffffffffffe000, 0x7fffffffffffe001,
   1368   0x7ffffffffffff000, 0x7ffffffffffff001,
   1369   0x7ffffffffffff800, 0x7ffffffffffff801,
   1370   0x7ffffffffffffc00, 0x7ffffffffffffc01,
   1371   0x7ffffffffffffe00, 0x7ffffffffffffe01,
   1372   0x7fffffffffffff00, 0x7fffffffffffff01,
   1373   0x7fffffffffffff80, 0x7fffffffffffff81,
   1374   0x7fffffffffffffc0, 0x7fffffffffffffc1,
   1375   0x7fffffffffffffe0, 0x7fffffffffffffe1,
   1376   0x7ffffffffffffff0, 0x7ffffffffffffff1,
   1377   0x7ffffffffffffff8, 0x7ffffffffffffff9,
   1378   0x7ffffffffffffffc, 0x7ffffffffffffffd,
   1379   0x7ffffffffffffffe, 0x7fffffffffffffff,
   1380   0x7fffffffffffffff, 0x8000000000000000,
   1381   0x7fffffffffffffff, 0x8000000000000000,
   1382   0x4000000000000001, 0x4000000000000001,
   1383   0x6000000000000001, 0x6000000000000001,
   1384   0x7000000000000001, 0x7000000000000001,
   1385   0x7800000000000001, 0x7800000000000001,
   1386   0x7c00000000000001, 0x7c00000000000001,
   1387   0x7e00000000000001, 0x7e00000000000001,
   1388   0x7f00000000000001, 0x7f00000000000001,
   1389   0x7f80000000000001, 0x7f80000000000001,
   1390   0x7fc0000000000001, 0x7fc0000000000001,
   1391   0x7fe0000000000001, 0x7fe0000000000001,
   1392   0x7ff0000000000001, 0x7ff0000000000001,
   1393   0x7ff8000000000001, 0x7ff8000000000001,
   1394   0x7ffc000000000001, 0x7ffc000000000001,
   1395   0x7ffe000000000001, 0x7ffe000000000001,
   1396   0x7fff000000000001, 0x7fff000000000001,
   1397   0x7fff800000000001, 0x7fff800000000001,
   1398   0x7fffc00000000001, 0x7fffc00000000001,
   1399   0x7fffe00000000001, 0x7fffe00000000001,
   1400   0x7ffff00000000001, 0x7ffff00000000001,
   1401   0x7ffff80000000001, 0x7ffff80000000001,
   1402   0x7ffffc0000000001, 0x7ffffc0000000001,
   1403   0x7ffffe0000000001, 0x7ffffe0000000001,
   1404   0x7fffff0000000001, 0x7fffff0000000001,
   1405   0x7fffff8000000001, 0x7fffff8000000001,
   1406   0x7fffffc000000001, 0x7fffffc000000001,
   1407   0x7fffffe000000001, 0x7fffffe000000001,
   1408   0x7ffffff000000001, 0x7ffffff000000001,
   1409   0x7ffffff800000001, 0x7ffffff800000001,
   1410   0x7ffffffc00000001, 0x7ffffffc00000001,
   1411   0x7ffffffe00000001, 0x7ffffffe00000001,
   1412   0x7fffffff00000001, 0x7fffffff00000001,
   1413   0x7fffffff80000001, 0x7fffffff80000001,
   1414   0x7fffffffc0000001, 0x7fffffffc0000001,
   1415   0x7fffffffe0000001, 0x7fffffffe0000001,
   1416   0x7ffffffff0000001, 0x7ffffffff0000001,
   1417   0x7ffffffff8000001, 0x7ffffffff8000001,
   1418   0x7ffffffffc000001, 0x7ffffffffc000001,
   1419   0x7ffffffffe000001, 0x7ffffffffe000001,
   1420   0x7fffffffff000001, 0x7fffffffff000001,
   1421   0x7fffffffff800001, 0x7fffffffff800001,
   1422   0x7fffffffffc00001, 0x7fffffffffc00001,
   1423   0x7fffffffffe00001, 0x7fffffffffe00001,
   1424   0x7ffffffffff00001, 0x7ffffffffff00001,
   1425   0x7ffffffffff80001, 0x7ffffffffff80001,
   1426   0x7ffffffffffc0001, 0x7ffffffffffc0001,
   1427   0x7ffffffffffe0001, 0x7ffffffffffe0001,
   1428   0x7fffffffffff0001, 0x7fffffffffff0001,
   1429   0x7fffffffffff8001, 0x7fffffffffff8001,
   1430   0x7fffffffffffc001, 0x7fffffffffffc001,
   1431   0x7fffffffffffe001, 0x7fffffffffffe001,
   1432   0x7ffffffffffff001, 0x7ffffffffffff001,
   1433   0x7ffffffffffff801, 0x7ffffffffffff801,
   1434   0x7ffffffffffffc01, 0x7ffffffffffffc01,
   1435   0x7ffffffffffffe01, 0x7ffffffffffffe01,
   1436   0x7fffffffffffff01, 0x7fffffffffffff01,
   1437   0x7fffffffffffff81, 0x7fffffffffffff81,
   1438   0x7fffffffffffffc1, 0x7fffffffffffffc1,
   1439   0x7fffffffffffffe1, 0x7fffffffffffffe1,
   1440   0x7ffffffffffffff1, 0x7ffffffffffffff1,
   1441   0x7ffffffffffffff9, 0x7ffffffffffffff9,
   1442   0x7ffffffffffffffd, 0x7ffffffffffffffd,
   1443   0x7fffffffffffffff, 0x7fffffffffffffff,
   1444   0x8000000000000000, 0x8000000000000000,
   1445   0x8000000000000000, 0x8000000000000000,
   1446   0x4000000000000001, 0x5555555555555555,
   1447   0x6000000000000001, 0x7fffffffffffffff,
   1448   0x7000000000000001, 0x9555555555555554,
   1449   0x7800000000000001, 0x9ffffffffffffffe,
   1450   0x7c00000000000001, 0xa555555555555553,
   1451   0x7e00000000000001, 0xa7fffffffffffffd,
   1452   0x7f00000000000001, 0xa955555555555552,
   1453   0x7f80000000000001, 0xa9fffffffffffffc,
   1454   0x7fc0000000000001, 0xaa55555555555551,
   1455   0x7fe0000000000001, 0xaa7ffffffffffffb,
   1456   0x7ff0000000000001, 0xaa95555555555550,
   1457   0x7ff8000000000001, 0xaa9ffffffffffffa,
   1458   0x7ffc000000000001, 0xaaa555555555554f,
   1459   0x7ffe000000000001, 0xaaa7fffffffffff9,
   1460   0x7fff000000000001, 0xaaa955555555554e,
   1461   0x7fff800000000001, 0xaaa9fffffffffff8,
   1462   0x7fffc00000000001, 0xaaaa55555555554d,
   1463   0x7fffe00000000001, 0xaaaa7ffffffffff7,
   1464   0x7ffff00000000001, 0xaaaa95555555554c,
   1465   0x7ffff80000000001, 0xaaaa9ffffffffff6,
   1466   0x7ffffc0000000001, 0xaaaaa5555555554b,
   1467   0x7ffffe0000000001, 0xaaaaa7fffffffff5,
   1468   0x7fffff0000000001, 0xaaaaa9555555554a,
   1469   0x7fffff8000000001, 0xaaaaa9fffffffff4,
   1470   0x7fffffc000000001, 0xaaaaaa5555555549,
   1471   0x7fffffe000000001, 0xaaaaaa7ffffffff3,
   1472   0x7ffffff000000001, 0xaaaaaa9555555548,
   1473   0x7ffffff800000001, 0xaaaaaa9ffffffff2,
   1474   0x7ffffffc00000001, 0xaaaaaaa555555547,
   1475   0x7ffffffe00000001, 0xaaaaaaa7fffffff1,
   1476   0x7fffffff00000001, 0xaaaaaaa955555546,
   1477   0x7fffffff80000001, 0xaaaaaaa9fffffff0,
   1478   0x7fffffffc0000001, 0xaaaaaaaa55555545,
   1479   0x7fffffffe0000001, 0xaaaaaaaa7fffffef,
   1480   0x7ffffffff0000001, 0xaaaaaaaa95555544,
   1481   0x7ffffffff8000001, 0xaaaaaaaa9fffffee,
   1482   0x7ffffffffc000001, 0xaaaaaaaaa5555543,
   1483   0x7ffffffffe000001, 0xaaaaaaaaa7ffffed,
   1484   0x7fffffffff000001, 0xaaaaaaaaa9555542,
   1485   0x7fffffffff800001, 0xaaaaaaaaa9ffffec,
   1486   0x7fffffffffc00001, 0xaaaaaaaaaa555541,
   1487   0x7fffffffffe00001, 0xaaaaaaaaaa7fffeb,
   1488   0x7ffffffffff00001, 0xaaaaaaaaaa955540,
   1489   0x7ffffffffff80001, 0xaaaaaaaaaa9fffea,
   1490   0x7ffffffffffc0001, 0xaaaaaaaaaaa5553f,
   1491   0x7ffffffffffe0001, 0xaaaaaaaaaaa7ffe9,
   1492   0x7fffffffffff0001, 0xaaaaaaaaaaa9553e,
   1493   0x7fffffffffff8001, 0xaaaaaaaaaaa9ffe8,
   1494   0x7fffffffffffc001, 0xaaaaaaaaaaaa553d,
   1495   0x7fffffffffffe001, 0xaaaaaaaaaaaa7fe7,
   1496   0x7ffffffffffff001, 0xaaaaaaaaaaaa953c,
   1497   0x7ffffffffffff801, 0xaaaaaaaaaaaa9fe6,
   1498   0x7ffffffffffffc01, 0xaaaaaaaaaaaaa53b,
   1499   0x7ffffffffffffe01, 0xaaaaaaaaaaaaa7e5,
   1500   0x7fffffffffffff01, 0xaaaaaaaaaaaaa93a,
   1501   0x7fffffffffffff81, 0xaaaaaaaaaaaaa9e4,
   1502   0x7fffffffffffffc1, 0xaaaaaaaaaaaaaa39,
   1503   0x7fffffffffffffe1, 0xaaaaaaaaaaaaaa63,
   1504   0x7ffffffffffffff1, 0xaaaaaaaaaaaaaa78,
   1505   0x7ffffffffffffff9, 0xaaaaaaaaaaaaaa82,
   1506   0x7ffffffffffffffd, 0xaaaaaaaaaaaaaa87,
   1507   0x7fffffffffffffff, 0xaaaaaaaaaaaaaa89,
   1508   0x8000000000000000, 0xaaaaaaaaaaaaaa8a,
   1509   0x8000000000000000, 0xaaaaaaaaaaaaaa8a,
   1510   0x5555555555555555, 0x6666666666666666,
   1511   0x7fffffffffffffff, 0x9999999999999999,
   1512   0x9555555555555554, 0xb333333333333332,
   1513   0x9ffffffffffffffe, 0xbffffffffffffffe,
   1514   0xa555555555555553, 0xc666666666666664,
   1515   0xa7fffffffffffffd, 0xc999999999999997,
   1516   0xa955555555555552, 0xcb33333333333330,
   1517   0xa9fffffffffffffc, 0xcbfffffffffffffc,
   1518   0xaa55555555555551, 0xcc66666666666662,
   1519   0xaa7ffffffffffffb, 0xcc99999999999995,
   1520   0xaa95555555555550, 0xccb333333333332e,
   1521   0xaa9ffffffffffffa, 0xccbffffffffffffa,
   1522   0xaaa555555555554f, 0xccc6666666666660,
   1523   0xaaa7fffffffffff9, 0xccc9999999999993,
   1524   0xaaa955555555554e, 0xcccb33333333332c,
   1525   0xaaa9fffffffffff8, 0xcccbfffffffffff8,
   1526   0xaaaa55555555554d, 0xcccc66666666665e,
   1527   0xaaaa7ffffffffff7, 0xcccc999999999991,
   1528   0xaaaa95555555554c, 0xccccb3333333332a,
   1529   0xaaaa9ffffffffff6, 0xccccbffffffffff6,
   1530   0xaaaaa5555555554b, 0xccccc6666666665c,
   1531   0xaaaaa7fffffffff5, 0xccccc9999999998f,
   1532   0xaaaaa9555555554a, 0xcccccb3333333328,
   1533   0xaaaaa9fffffffff4, 0xcccccbfffffffff4,
   1534   0xaaaaaa5555555549, 0xcccccc666666665a,
   1535   0xaaaaaa7ffffffff3, 0xcccccc999999998d,
   1536   0xaaaaaa9555555548, 0xccccccb333333326,
   1537   0xaaaaaa9ffffffff2, 0xccccccbffffffff2,
   1538   0xaaaaaaa555555547, 0xccccccc666666658,
   1539   0xaaaaaaa7fffffff1, 0xccccccc99999998b,
   1540   0xaaaaaaa955555546, 0xcccccccb33333324,
   1541   0xaaaaaaa9fffffff0, 0xcccccccbfffffff0,
   1542   0xaaaaaaaa55555545, 0xcccccccc66666656,
   1543   0xaaaaaaaa7fffffef, 0xcccccccc99999989,
   1544   0xaaaaaaaa95555544, 0xccccccccb3333322,
   1545   0xaaaaaaaa9fffffee, 0xccccccccbfffffee,
   1546   0xaaaaaaaaa5555543, 0xccccccccc6666654,
   1547   0xaaaaaaaaa7ffffed, 0xccccccccc9999987,
   1548   0xaaaaaaaaa9555542, 0xcccccccccb333320,
   1549   0xaaaaaaaaa9ffffec, 0xcccccccccbffffec,
   1550   0xaaaaaaaaaa555541, 0xcccccccccc666652,
   1551   0xaaaaaaaaaa7fffeb, 0xcccccccccc999985,
   1552   0xaaaaaaaaaa955540, 0xccccccccccb3331e,
   1553   0xaaaaaaaaaa9fffea, 0xccccccccccbfffea,
   1554   0xaaaaaaaaaaa5553f, 0xccccccccccc66650,
   1555   0xaaaaaaaaaaa7ffe9, 0xccccccccccc99983,
   1556   0xaaaaaaaaaaa9553e, 0xcccccccccccb331c,
   1557   0xaaaaaaaaaaa9ffe8, 0xcccccccccccbffe8,
   1558   0xaaaaaaaaaaaa553d, 0xcccccccccccc664e,
   1559   0xaaaaaaaaaaaa7fe7, 0xcccccccccccc9981,
   1560   0xaaaaaaaaaaaa953c, 0xccccccccccccb31a,
   1561   0xaaaaaaaaaaaa9fe6, 0xccccccccccccbfe6,
   1562   0xaaaaaaaaaaaaa53b, 0xccccccccccccc64c,
   1563   0xaaaaaaaaaaaaa7e5, 0xccccccccccccc97f,
   1564   0xaaaaaaaaaaaaa93a, 0xcccccccccccccb18,
   1565   0xaaaaaaaaaaaaa9e4, 0xcccccccccccccbe4,
   1566   0xaaaaaaaaaaaaaa39, 0xcccccccccccccc4a,
   1567   0xaaaaaaaaaaaaaa63, 0xcccccccccccccc7d,
   1568   0xaaaaaaaaaaaaaa78, 0xcccccccccccccc96,
   1569   0xaaaaaaaaaaaaaa82, 0xcccccccccccccca2,
   1570   0xaaaaaaaaaaaaaa87, 0xcccccccccccccca8,
   1571   0xaaaaaaaaaaaaaa89, 0xccccccccccccccab,
   1572   0xaaaaaaaaaaaaaa8a, 0xccccccccccccccac,
   1573   0xaaaaaaaaaaaaaa8a, 0xccccccccccccccac,
   1574   0x6666666666666666, 0x7fffffffc0000000,
   1575   0x9999999999999999, 0xbfffffffa0000000,
   1576   0xb333333333333332, 0xdfffffff90000000,
   1577   0xbffffffffffffffe, 0xefffffff88000000,
   1578   0xc666666666666664, 0xf7ffffff84000000,
   1579   0xc999999999999997, 0xfbffffff82000000,
   1580   0xcb33333333333330, 0xfdffffff81000000,
   1581   0xcbfffffffffffffc, 0xfeffffff80800000,
   1582   0xcc66666666666662, 0xff7fffff80400000,
   1583   0xcc99999999999995, 0xffbfffff80200000,
   1584   0xccb333333333332e, 0xffdfffff80100000,
   1585   0xccbffffffffffffa, 0xffefffff80080000,
   1586   0xccc6666666666660, 0xfff7ffff80040000,
   1587   0xccc9999999999993, 0xfffbffff80020000,
   1588   0xcccb33333333332c, 0xfffdffff80010000,
   1589   0xcccbfffffffffff8, 0xfffeffff80008000,
   1590   0xcccc66666666665e, 0xffff7fff80004000,
   1591   0xcccc999999999991, 0xffffbfff80002000,
   1592   0xccccb3333333332a, 0xffffdfff80001000,
   1593   0xccccbffffffffff6, 0xffffefff80000800,
   1594   0xccccc6666666665c, 0xfffff7ff80000400,
   1595   0xccccc9999999998f, 0xfffffbff80000200,
   1596   0xcccccb3333333328, 0xfffffdff80000100,
   1597   0xcccccbfffffffff4, 0xfffffeff80000080,
   1598   0xcccccc666666665a, 0xffffff7f80000040,
   1599   0xcccccc999999998d, 0xffffffbf80000020,
   1600   0xccccccb333333326, 0xffffffdf80000010,
   1601   0xccccccbffffffff2, 0xffffffef80000008,
   1602   0xccccccc666666658, 0xfffffff780000004,
   1603   0xccccccc99999998b, 0xfffffffb80000002,
   1604   0xcccccccb33333324, 0xfffffffd80000001,
   1605   0xcccccccbfffffff0, 0xfffffffe80000000,
   1606   0xcccccccc66666656, 0xfffffffeffffffff,
   1607   0xcccccccc99999989, 0xffffffff3ffffffe,
   1608   0xccccccccb3333322, 0xffffffff5ffffffd,
   1609   0xccccccccbfffffee, 0xffffffff6ffffffc,
   1610   0xccccccccc6666654, 0xffffffff77fffffb,
   1611   0xccccccccc9999987, 0xffffffff7bfffffa,
   1612   0xcccccccccb333320, 0xffffffff7dfffff9,
   1613   0xcccccccccbffffec, 0xffffffff7efffff8,
   1614   0xcccccccccc666652, 0xffffffff7f7ffff7,
   1615   0xcccccccccc999985, 0xffffffff7fbffff6,
   1616   0xccccccccccb3331e, 0xffffffff7fdffff5,
   1617   0xccccccccccbfffea, 0xffffffff7feffff4,
   1618   0xccccccccccc66650, 0xffffffff7ff7fff3,
   1619   0xccccccccccc99983, 0xffffffff7ffbfff2,
   1620   0xcccccccccccb331c, 0xffffffff7ffdfff1,
   1621   0xcccccccccccbffe8, 0xffffffff7ffefff0,
   1622   0xcccccccccccc664e, 0xffffffff7fff7fef,
   1623   0xcccccccccccc9981, 0xffffffff7fffbfee,
   1624   0xccccccccccccb31a, 0xffffffff7fffdfed,
   1625   0xccccccccccccbfe6, 0xffffffff7fffefec,
   1626   0xccccccccccccc64c, 0xffffffff7ffff7eb,
   1627   0xccccccccccccc97f, 0xffffffff7ffffbea,
   1628   0xcccccccccccccb18, 0xffffffff7ffffde9,
   1629   0xcccccccccccccbe4, 0xffffffff7ffffee8,
   1630   0xcccccccccccccc4a, 0xffffffff7fffff67,
   1631   0xcccccccccccccc7d, 0xffffffff7fffffa6,
   1632   0xcccccccccccccc96, 0xffffffff7fffffc5,
   1633   0xcccccccccccccca2, 0xffffffff7fffffd4,
   1634   0xcccccccccccccca8, 0xffffffff7fffffdb,
   1635   0xccccccccccccccab, 0xffffffff7fffffde,
   1636   0xccccccccccccccac, 0xffffffff7fffffdf,
   1637   0xccccccccccccccac, 0xffffffff7fffffdf,
   1638   0x7fffffffc0000000, 0x7fffffffc0000000,
   1639   0xbfffffffa0000000, 0xbfffffffa0000000,
   1640   0xdfffffff90000000, 0xdfffffff90000000,
   1641   0xefffffff88000000, 0xefffffff88000000,
   1642   0xf7ffffff84000000, 0xf7ffffff84000000,
   1643   0xfbffffff82000000, 0xfbffffff82000000,
   1644   0xfdffffff81000000, 0xfdffffff81000000,
   1645   0xfeffffff80800000, 0xfeffffff80800000,
   1646   0xff7fffff80400000, 0xff7fffff80400000,
   1647   0xffbfffff80200000, 0xffbfffff80200000,
   1648   0xffdfffff80100000, 0xffdfffff80100000,
   1649   0xffefffff80080000, 0xffefffff80080000,
   1650   0xfff7ffff80040000, 0xfff7ffff80040000,
   1651   0xfffbffff80020000, 0xfffbffff80020000,
   1652   0xfffdffff80010000, 0xfffdffff80010000,
   1653   0xfffeffff80008000, 0xfffeffff80008000,
   1654   0xffff7fff80004000, 0xffff7fff80004000,
   1655   0xffffbfff80002000, 0xffffbfff80002000,
   1656   0xffffdfff80001000, 0xffffdfff80001000,
   1657   0xffffefff80000800, 0xffffefff80000800,
   1658   0xfffff7ff80000400, 0xfffff7ff80000400,
   1659   0xfffffbff80000200, 0xfffffbff80000200,
   1660   0xfffffdff80000100, 0xfffffdff80000100,
   1661   0xfffffeff80000080, 0xfffffeff80000080,
   1662   0xffffff7f80000040, 0xffffff7f80000040,
   1663   0xffffffbf80000020, 0xffffffbf80000020,
   1664   0xffffffdf80000010, 0xffffffdf80000010,
   1665   0xffffffef80000008, 0xffffffef80000008,
   1666   0xfffffff780000004, 0xfffffff780000004,
   1667   0xfffffffb80000002, 0xfffffffb80000002,
   1668   0xfffffffd80000001, 0xfffffffd80000001,
   1669   0xfffffffe80000000, 0xfffffffe80000000,
   1670   0xfffffffeffffffff, 0xfffffffeffffffff,
   1671   0xffffffff3ffffffe, 0xffffffff3ffffffe,
   1672   0xffffffff5ffffffd, 0xffffffff5ffffffd,
   1673   0xffffffff6ffffffc, 0xffffffff6ffffffc,
   1674   0xffffffff77fffffb, 0xffffffff77fffffb,
   1675   0xffffffff7bfffffa, 0xffffffff7bfffffa,
   1676   0xffffffff7dfffff9, 0xffffffff7dfffff9,
   1677   0xffffffff7efffff8, 0xffffffff7efffff8,
   1678   0xffffffff7f7ffff7, 0xffffffff7f7ffff7,
   1679   0xffffffff7fbffff6, 0xffffffff7fbffff6,
   1680   0xffffffff7fdffff5, 0xffffffff7fdffff5,
   1681   0xffffffff7feffff4, 0xffffffff7feffff4,
   1682   0xffffffff7ff7fff3, 0xffffffff7ff7fff3,
   1683   0xffffffff7ffbfff2, 0xffffffff7ffbfff2,
   1684   0xffffffff7ffdfff1, 0xffffffff7ffdfff1,
   1685   0xffffffff7ffefff0, 0xffffffff7ffefff0,
   1686   0xffffffff7fff7fef, 0xffffffff7fff7fef,
   1687   0xffffffff7fffbfee, 0xffffffff7fffbfee,
   1688   0xffffffff7fffdfed, 0xffffffff7fffdfed,
   1689   0xffffffff7fffefec, 0xffffffff7fffefec,
   1690   0xffffffff7ffff7eb, 0xffffffff7ffff7eb,
   1691   0xffffffff7ffffbea, 0xffffffff7ffffbea,
   1692   0xffffffff7ffffde9, 0xffffffff7ffffde9,
   1693   0xffffffff7ffffee8, 0xffffffff7ffffee8,
   1694   0xffffffff7fffff67, 0xffffffff7fffff67,
   1695   0xffffffff7fffffa6, 0xffffffff7fffffa6,
   1696   0xffffffff7fffffc5, 0xffffffff7fffffc5,
   1697   0xffffffff7fffffd4, 0xffffffff7fffffd4,
   1698   0xffffffff7fffffdb, 0xffffffff7fffffdb,
   1699   0xffffffff7fffffde, 0xffffffff7fffffde,
   1700   0xffffffff7fffffdf, 0xffffffff7fffffdf,
   1701   0xffffffff7fffffdf, 0xffffffff7fffffdf,
   1702   0x7fffffffc0000000, 0x7fffffffc0000001,
   1703   0xbfffffffa0000000, 0xbfffffffa0000001,
   1704   0xdfffffff90000000, 0xdfffffff90000001,
   1705   0xefffffff88000000, 0xefffffff88000001,
   1706   0xf7ffffff84000000, 0xf7ffffff84000001,
   1707   0xfbffffff82000000, 0xfbffffff82000001,
   1708   0xfdffffff81000000, 0xfdffffff81000001,
   1709   0xfeffffff80800000, 0xfeffffff80800001,
   1710   0xff7fffff80400000, 0xff7fffff80400001,
   1711   0xffbfffff80200000, 0xffbfffff80200001,
   1712   0xffdfffff80100000, 0xffdfffff80100001,
   1713   0xffefffff80080000, 0xffefffff80080001,
   1714   0xfff7ffff80040000, 0xfff7ffff80040001,
   1715   0xfffbffff80020000, 0xfffbffff80020001,
   1716   0xfffdffff80010000, 0xfffdffff80010001,
   1717   0xfffeffff80008000, 0xfffeffff80008001,
   1718   0xffff7fff80004000, 0xffff7fff80004001,
   1719   0xffffbfff80002000, 0xffffbfff80002001,
   1720   0xffffdfff80001000, 0xffffdfff80001001,
   1721   0xffffefff80000800, 0xffffefff80000801,
   1722   0xfffff7ff80000400, 0xfffff7ff80000401,
   1723   0xfffffbff80000200, 0xfffffbff80000201,
   1724   0xfffffdff80000100, 0xfffffdff80000101,
   1725   0xfffffeff80000080, 0xfffffeff80000081,
   1726   0xffffff7f80000040, 0xffffff7f80000041,
   1727   0xffffffbf80000020, 0xffffffbf80000021,
   1728   0xffffffdf80000010, 0xffffffdf80000011,
   1729   0xffffffef80000008, 0xffffffef80000009,
   1730   0xfffffff780000004, 0xfffffff780000005,
   1731   0xfffffffb80000002, 0xfffffffb80000003,
   1732   0xfffffffd80000001, 0xfffffffd80000002,
   1733   0xfffffffe80000000, 0xfffffffe80000001,
   1734   0xfffffffeffffffff, 0xffffffff00000000,
   1735   0xffffffff3ffffffe, 0xffffffff3fffffff,
   1736   0xffffffff5ffffffd, 0xffffffff5ffffffe,
   1737   0xffffffff6ffffffc, 0xffffffff6ffffffd,
   1738   0xffffffff77fffffb, 0xffffffff77fffffc,
   1739   0xffffffff7bfffffa, 0xffffffff7bfffffb,
   1740   0xffffffff7dfffff9, 0xffffffff7dfffffa,
   1741   0xffffffff7efffff8, 0xffffffff7efffff9,
   1742   0xffffffff7f7ffff7, 0xffffffff7f7ffff8,
   1743   0xffffffff7fbffff6, 0xffffffff7fbffff7,
   1744   0xffffffff7fdffff5, 0xffffffff7fdffff6,
   1745   0xffffffff7feffff4, 0xffffffff7feffff5,
   1746   0xffffffff7ff7fff3, 0xffffffff7ff7fff4,
   1747   0xffffffff7ffbfff2, 0xffffffff7ffbfff3,
   1748   0xffffffff7ffdfff1, 0xffffffff7ffdfff2,
   1749   0xffffffff7ffefff0, 0xffffffff7ffefff1,
   1750   0xffffffff7fff7fef, 0xffffffff7fff7ff0,
   1751   0xffffffff7fffbfee, 0xffffffff7fffbfef,
   1752   0xffffffff7fffdfed, 0xffffffff7fffdfee,
   1753   0xffffffff7fffefec, 0xffffffff7fffefed,
   1754   0xffffffff7ffff7eb, 0xffffffff7ffff7ec,
   1755   0xffffffff7ffffbea, 0xffffffff7ffffbeb,
   1756   0xffffffff7ffffde9, 0xffffffff7ffffdea,
   1757   0xffffffff7ffffee8, 0xffffffff7ffffee9,
   1758   0xffffffff7fffff67, 0xffffffff7fffff68,
   1759   0xffffffff7fffffa6, 0xffffffff7fffffa7,
   1760   0xffffffff7fffffc5, 0xffffffff7fffffc6,
   1761   0xffffffff7fffffd4, 0xffffffff7fffffd5,
   1762   0xffffffff7fffffdb, 0xffffffff7fffffdc,
   1763   0xffffffff7fffffde, 0xffffffff7fffffdf,
   1764   0xffffffff7fffffdf, 0xffffffff7fffffe0,
   1765   0xffffffff7fffffdf, 0xffffffff7fffffe0,
   1766   0x7fffffffc0000001, 0x7fffffffc0000001,
   1767   0xbfffffffa0000001, 0xbfffffffa0000001,
   1768   0xdfffffff90000001, 0xdfffffff90000001,
   1769   0xefffffff88000001, 0xefffffff88000001,
   1770   0xf7ffffff84000001, 0xf7ffffff84000001,
   1771   0xfbffffff82000001, 0xfbffffff82000001,
   1772   0xfdffffff81000001, 0xfdffffff81000001,
   1773   0xfeffffff80800001, 0xfeffffff80800001,
   1774   0xff7fffff80400001, 0xff7fffff80400001,
   1775   0xffbfffff80200001, 0xffbfffff80200001,
   1776   0xffdfffff80100001, 0xffdfffff80100001,
   1777   0xffefffff80080001, 0xffefffff80080001,
   1778   0xfff7ffff80040001, 0xfff7ffff80040001,
   1779   0xfffbffff80020001, 0xfffbffff80020001,
   1780   0xfffdffff80010001, 0xfffdffff80010001,
   1781   0xfffeffff80008001, 0xfffeffff80008001,
   1782   0xffff7fff80004001, 0xffff7fff80004001,
   1783   0xffffbfff80002001, 0xffffbfff80002001,
   1784   0xffffdfff80001001, 0xffffdfff80001001,
   1785   0xffffefff80000801, 0xffffefff80000801,
   1786   0xfffff7ff80000401, 0xfffff7ff80000401,
   1787   0xfffffbff80000201, 0xfffffbff80000201,
   1788   0xfffffdff80000101, 0xfffffdff80000101,
   1789   0xfffffeff80000081, 0xfffffeff80000081,
   1790   0xffffff7f80000041, 0xffffff7f80000041,
   1791   0xffffffbf80000021, 0xffffffbf80000021,
   1792   0xffffffdf80000011, 0xffffffdf80000011,
   1793   0xffffffef80000009, 0xffffffef80000009,
   1794   0xfffffff780000005, 0xfffffff780000005,
   1795   0xfffffffb80000003, 0xfffffffb80000003,
   1796   0xfffffffd80000002, 0xfffffffd80000002,
   1797   0xfffffffe80000001, 0xfffffffe80000001,
   1798   0xffffffff00000000, 0xffffffff00000000,
   1799   0xffffffff3fffffff, 0xffffffff3fffffff,
   1800   0xffffffff5ffffffe, 0xffffffff5ffffffe,
   1801   0xffffffff6ffffffd, 0xffffffff6ffffffd,
   1802   0xffffffff77fffffc, 0xffffffff77fffffc,
   1803   0xffffffff7bfffffb, 0xffffffff7bfffffb,
   1804   0xffffffff7dfffffa, 0xffffffff7dfffffa,
   1805   0xffffffff7efffff9, 0xffffffff7efffff9,
   1806   0xffffffff7f7ffff8, 0xffffffff7f7ffff8,
   1807   0xffffffff7fbffff7, 0xffffffff7fbffff7,
   1808   0xffffffff7fdffff6, 0xffffffff7fdffff6,
   1809   0xffffffff7feffff5, 0xffffffff7feffff5,
   1810   0xffffffff7ff7fff4, 0xffffffff7ff7fff4,
   1811   0xffffffff7ffbfff3, 0xffffffff7ffbfff3,
   1812   0xffffffff7ffdfff2, 0xffffffff7ffdfff2,
   1813   0xffffffff7ffefff1, 0xffffffff7ffefff1,
   1814   0xffffffff7fff7ff0, 0xffffffff7fff7ff0,
   1815   0xffffffff7fffbfef, 0xffffffff7fffbfef,
   1816   0xffffffff7fffdfee, 0xffffffff7fffdfee,
   1817   0xffffffff7fffefed, 0xffffffff7fffefed,
   1818   0xffffffff7ffff7ec, 0xffffffff7ffff7ec,
   1819   0xffffffff7ffffbeb, 0xffffffff7ffffbeb,
   1820   0xffffffff7ffffdea, 0xffffffff7ffffdea,
   1821   0xffffffff7ffffee9, 0xffffffff7ffffee9,
   1822   0xffffffff7fffff68, 0xffffffff7fffff68,
   1823   0xffffffff7fffffa7, 0xffffffff7fffffa7,
   1824   0xffffffff7fffffc6, 0xffffffff7fffffc6,
   1825   0xffffffff7fffffd5, 0xffffffff7fffffd5,
   1826   0xffffffff7fffffdc, 0xffffffff7fffffdc,
   1827   0xffffffff7fffffdf, 0xffffffff7fffffdf,
   1828   0xffffffff7fffffe0, 0xffffffff7fffffe0,
   1829   0xffffffff7fffffe0, 0xffffffff7fffffe0,
   1830   0x7fffffffc0000001, 0x7fffffffffffc000,
   1831   0xbfffffffa0000001, 0xbfffffffffffa000,
   1832   0xdfffffff90000001, 0xdfffffffffff9000,
   1833   0xefffffff88000001, 0xefffffffffff8800,
   1834   0xf7ffffff84000001, 0xf7ffffffffff8400,
   1835   0xfbffffff82000001, 0xfbffffffffff8200,
   1836   0xfdffffff81000001, 0xfdffffffffff8100,
   1837   0xfeffffff80800001, 0xfeffffffffff8080,
   1838   0xff7fffff80400001, 0xff7fffffffff8040,
   1839   0xffbfffff80200001, 0xffbfffffffff8020,
   1840   0xffdfffff80100001, 0xffdfffffffff8010,
   1841   0xffefffff80080001, 0xffefffffffff8008,
   1842   0xfff7ffff80040001, 0xfff7ffffffff8004,
   1843   0xfffbffff80020001, 0xfffbffffffff8002,
   1844   0xfffdffff80010001, 0xfffdffffffff8001,
   1845   0xfffeffff80008001, 0xfffeffffffff8000,
   1846   0xffff7fff80004001, 0xffff7fffffff7fff,
   1847   0xffffbfff80002001, 0xffffbfffffff7ffe,
   1848   0xffffdfff80001001, 0xffffdfffffff7ffd,
   1849   0xffffefff80000801, 0xffffefffffff7ffc,
   1850   0xfffff7ff80000401, 0xfffff7ffffff7ffb,
   1851   0xfffffbff80000201, 0xfffffbffffff7ffa,
   1852   0xfffffdff80000101, 0xfffffdffffff7ff9,
   1853   0xfffffeff80000081, 0xfffffeffffff7ff8,
   1854   0xffffff7f80000041, 0xffffff7fffff7ff7,
   1855   0xffffffbf80000021, 0xffffffbfffff7ff6,
   1856   0xffffffdf80000011, 0xffffffdfffff7ff5,
   1857   0xffffffef80000009, 0xffffffefffff7ff4,
   1858   0xfffffff780000005, 0xfffffff7ffff7ff3,
   1859   0xfffffffb80000003, 0xfffffffbffff7ff2,
   1860   0xfffffffd80000002, 0xfffffffdffff7ff1,
   1861   0xfffffffe80000001, 0xfffffffeffff7ff0,
   1862   0xffffffff00000000, 0xffffffff7fff7fef,
   1863   0xffffffff3fffffff, 0xffffffffbfff7fee,
   1864   0xffffffff5ffffffe, 0xffffffffdfff7fed,
   1865   0xffffffff6ffffffd, 0xffffffffefff7fec,
   1866   0xffffffff77fffffc, 0xfffffffff7ff7feb,
   1867   0xffffffff7bfffffb, 0xfffffffffbff7fea,
   1868   0xffffffff7dfffffa, 0xfffffffffdff7fe9,
   1869   0xffffffff7efffff9, 0xfffffffffeff7fe8,
   1870   0xffffffff7f7ffff8, 0xffffffffff7f7fe7,
   1871   0xffffffff7fbffff7, 0xffffffffffbf7fe6,
   1872   0xffffffff7fdffff6, 0xffffffffffdf7fe5,
   1873   0xffffffff7feffff5, 0xffffffffffef7fe4,
   1874   0xffffffff7ff7fff4, 0xfffffffffff77fe3,
   1875   0xffffffff7ffbfff3, 0xfffffffffffb7fe2,
   1876   0xffffffff7ffdfff2, 0xfffffffffffd7fe1,
   1877   0xffffffff7ffefff1, 0xfffffffffffe7fe0,
   1878   0xffffffff7fff7ff0, 0xfffffffffffeffdf,
   1879   0xffffffff7fffbfef, 0xffffffffffff3fde,
   1880   0xffffffff7fffdfee, 0xffffffffffff5fdd,
   1881   0xffffffff7fffefed, 0xffffffffffff6fdc,
   1882   0xffffffff7ffff7ec, 0xffffffffffff77db,
   1883   0xffffffff7ffffbeb, 0xffffffffffff7bda,
   1884   0xffffffff7ffffdea, 0xffffffffffff7dd9,
   1885   0xffffffff7ffffee9, 0xffffffffffff7ed8,
   1886   0xffffffff7fffff68, 0xffffffffffff7f57,
   1887   0xffffffff7fffffa7, 0xffffffffffff7f96,
   1888   0xffffffff7fffffc6, 0xffffffffffff7fb5,
   1889   0xffffffff7fffffd5, 0xffffffffffff7fc4,
   1890   0xffffffff7fffffdc, 0xffffffffffff7fcb,
   1891   0xffffffff7fffffdf, 0xffffffffffff7fce,
   1892   0xffffffff7fffffe0, 0xffffffffffff7fcf,
   1893   0xffffffff7fffffe0, 0xffffffffffff7fcf,
   1894   0x7fffffffffffc000, 0x7fffffffffffc000,
   1895   0xbfffffffffffa000, 0xbfffffffffffa000,
   1896   0xdfffffffffff9000, 0xdfffffffffff9000,
   1897   0xefffffffffff8800, 0xefffffffffff8800,
   1898   0xf7ffffffffff8400, 0xf7ffffffffff8400,
   1899   0xfbffffffffff8200, 0xfbffffffffff8200,
   1900   0xfdffffffffff8100, 0xfdffffffffff8100,
   1901   0xfeffffffffff8080, 0xfeffffffffff8080,
   1902   0xff7fffffffff8040, 0xff7fffffffff8040,
   1903   0xffbfffffffff8020, 0xffbfffffffff8020,
   1904   0xffdfffffffff8010, 0xffdfffffffff8010,
   1905   0xffefffffffff8008, 0xffefffffffff8008,
   1906   0xfff7ffffffff8004, 0xfff7ffffffff8004,
   1907   0xfffbffffffff8002, 0xfffbffffffff8002,
   1908   0xfffdffffffff8001, 0xfffdffffffff8001,
   1909   0xfffeffffffff8000, 0xfffeffffffff8000,
   1910   0xffff7fffffff7fff, 0xffff7fffffff7fff,
   1911   0xffffbfffffff7ffe, 0xffffbfffffff7ffe,
   1912   0xffffdfffffff7ffd, 0xffffdfffffff7ffd,
   1913   0xffffefffffff7ffc, 0xffffefffffff7ffc,
   1914   0xfffff7ffffff7ffb, 0xfffff7ffffff7ffb,
   1915   0xfffffbffffff7ffa, 0xfffffbffffff7ffa,
   1916   0xfffffdffffff7ff9, 0xfffffdffffff7ff9,
   1917   0xfffffeffffff7ff8, 0xfffffeffffff7ff8,
   1918   0xffffff7fffff7ff7, 0xffffff7fffff7ff7,
   1919   0xffffffbfffff7ff6, 0xffffffbfffff7ff6,
   1920   0xffffffdfffff7ff5, 0xffffffdfffff7ff5,
   1921   0xffffffefffff7ff4, 0xffffffefffff7ff4,
   1922   0xfffffff7ffff7ff3, 0xfffffff7ffff7ff3,
   1923   0xfffffffbffff7ff2, 0xfffffffbffff7ff2,
   1924   0xfffffffdffff7ff1, 0xfffffffdffff7ff1,
   1925   0xfffffffeffff7ff0, 0xfffffffeffff7ff0,
   1926   0xffffffff7fff7fef, 0xffffffff7fff7fef,
   1927   0xffffffffbfff7fee, 0xffffffffbfff7fee,
   1928   0xffffffffdfff7fed, 0xffffffffdfff7fed,
   1929   0xffffffffefff7fec, 0xffffffffefff7fec,
   1930   0xfffffffff7ff7feb, 0xfffffffff7ff7feb,
   1931   0xfffffffffbff7fea, 0xfffffffffbff7fea,
   1932   0xfffffffffdff7fe9, 0xfffffffffdff7fe9,
   1933   0xfffffffffeff7fe8, 0xfffffffffeff7fe8,
   1934   0xffffffffff7f7fe7, 0xffffffffff7f7fe7,
   1935   0xffffffffffbf7fe6, 0xffffffffffbf7fe6,
   1936   0xffffffffffdf7fe5, 0xffffffffffdf7fe5,
   1937   0xffffffffffef7fe4, 0xffffffffffef7fe4,
   1938   0xfffffffffff77fe3, 0xfffffffffff77fe3,
   1939   0xfffffffffffb7fe2, 0xfffffffffffb7fe2,
   1940   0xfffffffffffd7fe1, 0xfffffffffffd7fe1,
   1941   0xfffffffffffe7fe0, 0xfffffffffffe7fe0,
   1942   0xfffffffffffeffdf, 0xfffffffffffeffdf,
   1943   0xffffffffffff3fde, 0xffffffffffff3fde,
   1944   0xffffffffffff5fdd, 0xffffffffffff5fdd,
   1945   0xffffffffffff6fdc, 0xffffffffffff6fdc,
   1946   0xffffffffffff77db, 0xffffffffffff77db,
   1947   0xffffffffffff7bda, 0xffffffffffff7bda,
   1948   0xffffffffffff7dd9, 0xffffffffffff7dd9,
   1949   0xffffffffffff7ed8, 0xffffffffffff7ed8,
   1950   0xffffffffffff7f57, 0xffffffffffff7f57,
   1951   0xffffffffffff7f96, 0xffffffffffff7f96,
   1952   0xffffffffffff7fb5, 0xffffffffffff7fb5,
   1953   0xffffffffffff7fc4, 0xffffffffffff7fc4,
   1954   0xffffffffffff7fcb, 0xffffffffffff7fcb,
   1955   0xffffffffffff7fce, 0xffffffffffff7fce,
   1956   0xffffffffffff7fcf, 0xffffffffffff7fcf,
   1957   0xffffffffffff7fcf, 0xffffffffffff7fcf,
   1958   0x7fffffffffffc000, 0x7fffffffffffc001,
   1959   0xbfffffffffffa000, 0xbfffffffffffa001,
   1960   0xdfffffffffff9000, 0xdfffffffffff9001,
   1961   0xefffffffffff8800, 0xefffffffffff8801,
   1962   0xf7ffffffffff8400, 0xf7ffffffffff8401,
   1963   0xfbffffffffff8200, 0xfbffffffffff8201,
   1964   0xfdffffffffff8100, 0xfdffffffffff8101,
   1965   0xfeffffffffff8080, 0xfeffffffffff8081,
   1966   0xff7fffffffff8040, 0xff7fffffffff8041,
   1967   0xffbfffffffff8020, 0xffbfffffffff8021,
   1968   0xffdfffffffff8010, 0xffdfffffffff8011,
   1969   0xffefffffffff8008, 0xffefffffffff8009,
   1970   0xfff7ffffffff8004, 0xfff7ffffffff8005,
   1971   0xfffbffffffff8002, 0xfffbffffffff8003,
   1972   0xfffdffffffff8001, 0xfffdffffffff8002,
   1973   0xfffeffffffff8000, 0xfffeffffffff8001,
   1974   0xffff7fffffff7fff, 0xffff7fffffff8000,
   1975   0xffffbfffffff7ffe, 0xffffbfffffff7fff,
   1976   0xffffdfffffff7ffd, 0xffffdfffffff7ffe,
   1977   0xffffefffffff7ffc, 0xffffefffffff7ffd,
   1978   0xfffff7ffffff7ffb, 0xfffff7ffffff7ffc,
   1979   0xfffffbffffff7ffa, 0xfffffbffffff7ffb,
   1980   0xfffffdffffff7ff9, 0xfffffdffffff7ffa,
   1981   0xfffffeffffff7ff8, 0xfffffeffffff7ff9,
   1982   0xffffff7fffff7ff7, 0xffffff7fffff7ff8,
   1983   0xffffffbfffff7ff6, 0xffffffbfffff7ff7,
   1984   0xffffffdfffff7ff5, 0xffffffdfffff7ff6,
   1985   0xffffffefffff7ff4, 0xffffffefffff7ff5,
   1986   0xfffffff7ffff7ff3, 0xfffffff7ffff7ff4,
   1987   0xfffffffbffff7ff2, 0xfffffffbffff7ff3,
   1988   0xfffffffdffff7ff1, 0xfffffffdffff7ff2,
   1989   0xfffffffeffff7ff0, 0xfffffffeffff7ff1,
   1990   0xffffffff7fff7fef, 0xffffffff7fff7ff0,
   1991   0xffffffffbfff7fee, 0xffffffffbfff7fef,
   1992   0xffffffffdfff7fed, 0xffffffffdfff7fee,
   1993   0xffffffffefff7fec, 0xffffffffefff7fed,
   1994   0xfffffffff7ff7feb, 0xfffffffff7ff7fec,
   1995   0xfffffffffbff7fea, 0xfffffffffbff7feb,
   1996   0xfffffffffdff7fe9, 0xfffffffffdff7fea,
   1997   0xfffffffffeff7fe8, 0xfffffffffeff7fe9,
   1998   0xffffffffff7f7fe7, 0xffffffffff7f7fe8,
   1999   0xffffffffffbf7fe6, 0xffffffffffbf7fe7,
   2000   0xffffffffffdf7fe5, 0xffffffffffdf7fe6,
   2001   0xffffffffffef7fe4, 0xffffffffffef7fe5,
   2002   0xfffffffffff77fe3, 0xfffffffffff77fe4,
   2003   0xfffffffffffb7fe2, 0xfffffffffffb7fe3,
   2004   0xfffffffffffd7fe1, 0xfffffffffffd7fe2,
   2005   0xfffffffffffe7fe0, 0xfffffffffffe7fe1,
   2006   0xfffffffffffeffdf, 0xfffffffffffeffe0,
   2007   0xffffffffffff3fde, 0xffffffffffff3fdf,
   2008   0xffffffffffff5fdd, 0xffffffffffff5fde,
   2009   0xffffffffffff6fdc, 0xffffffffffff6fdd,
   2010   0xffffffffffff77db, 0xffffffffffff77dc,
   2011   0xffffffffffff7bda, 0xffffffffffff7bdb,
   2012   0xffffffffffff7dd9, 0xffffffffffff7dda,
   2013   0xffffffffffff7ed8, 0xffffffffffff7ed9,
   2014   0xffffffffffff7f57, 0xffffffffffff7f58,
   2015   0xffffffffffff7f96, 0xffffffffffff7f97,
   2016   0xffffffffffff7fb5, 0xffffffffffff7fb6,
   2017   0xffffffffffff7fc4, 0xffffffffffff7fc5,
   2018   0xffffffffffff7fcb, 0xffffffffffff7fcc,
   2019   0xffffffffffff7fce, 0xffffffffffff7fcf,
   2020   0xffffffffffff7fcf, 0xffffffffffff7fd0,
   2021   0xffffffffffff7fcf, 0xffffffffffff7fd0,
   2022   0x7fffffffffffc001, 0x7fffffffffffc001,
   2023   0xbfffffffffffa001, 0xbfffffffffffa001,
   2024   0xdfffffffffff9001, 0xdfffffffffff9001,
   2025   0xefffffffffff8801, 0xefffffffffff8801,
   2026   0xf7ffffffffff8401, 0xf7ffffffffff8401,
   2027   0xfbffffffffff8201, 0xfbffffffffff8201,
   2028   0xfdffffffffff8101, 0xfdffffffffff8101,
   2029   0xfeffffffffff8081, 0xfeffffffffff8081,
   2030   0xff7fffffffff8041, 0xff7fffffffff8041,
   2031   0xffbfffffffff8021, 0xffbfffffffff8021,
   2032   0xffdfffffffff8011, 0xffdfffffffff8011,
   2033   0xffefffffffff8009, 0xffefffffffff8009,
   2034   0xfff7ffffffff8005, 0xfff7ffffffff8005,
   2035   0xfffbffffffff8003, 0xfffbffffffff8003,
   2036   0xfffdffffffff8002, 0xfffdffffffff8002,
   2037   0xfffeffffffff8001, 0xfffeffffffff8001,
   2038   0xffff7fffffff8000, 0xffff7fffffff8000,
   2039   0xffffbfffffff7fff, 0xffffbfffffff7fff,
   2040   0xffffdfffffff7ffe, 0xffffdfffffff7ffe,
   2041   0xffffefffffff7ffd, 0xffffefffffff7ffd,
   2042   0xfffff7ffffff7ffc, 0xfffff7ffffff7ffc,
   2043   0xfffffbffffff7ffb, 0xfffffbffffff7ffb,
   2044   0xfffffdffffff7ffa, 0xfffffdffffff7ffa,
   2045   0xfffffeffffff7ff9, 0xfffffeffffff7ff9,
   2046   0xffffff7fffff7ff8, 0xffffff7fffff7ff8,
   2047   0xffffffbfffff7ff7, 0xffffffbfffff7ff7,
   2048   0xffffffdfffff7ff6, 0xffffffdfffff7ff6,
   2049   0xffffffefffff7ff5, 0xffffffefffff7ff5,
   2050   0xfffffff7ffff7ff4, 0xfffffff7ffff7ff4,
   2051   0xfffffffbffff7ff3, 0xfffffffbffff7ff3,
   2052   0xfffffffdffff7ff2, 0xfffffffdffff7ff2,
   2053   0xfffffffeffff7ff1, 0xfffffffeffff7ff1,
   2054   0xffffffff7fff7ff0, 0xffffffff7fff7ff0,
   2055   0xffffffffbfff7fef, 0xffffffffbfff7fef,
   2056   0xffffffffdfff7fee, 0xffffffffdfff7fee,
   2057   0xffffffffefff7fed, 0xffffffffefff7fed,
   2058   0xfffffffff7ff7fec, 0xfffffffff7ff7fec,
   2059   0xfffffffffbff7feb, 0xfffffffffbff7feb,
   2060   0xfffffffffdff7fea, 0xfffffffffdff7fea,
   2061   0xfffffffffeff7fe9, 0xfffffffffeff7fe9,
   2062   0xffffffffff7f7fe8, 0xffffffffff7f7fe8,
   2063   0xffffffffffbf7fe7, 0xffffffffffbf7fe7,
   2064   0xffffffffffdf7fe6, 0xffffffffffdf7fe6,
   2065   0xffffffffffef7fe5, 0xffffffffffef7fe5,
   2066   0xfffffffffff77fe4, 0xfffffffffff77fe4,
   2067   0xfffffffffffb7fe3, 0xfffffffffffb7fe3,
   2068   0xfffffffffffd7fe2, 0xfffffffffffd7fe2,
   2069   0xfffffffffffe7fe1, 0xfffffffffffe7fe1,
   2070   0xfffffffffffeffe0, 0xfffffffffffeffe0,
   2071   0xffffffffffff3fdf, 0xffffffffffff3fdf,
   2072   0xffffffffffff5fde, 0xffffffffffff5fde,
   2073   0xffffffffffff6fdd, 0xffffffffffff6fdd,
   2074   0xffffffffffff77dc, 0xffffffffffff77dc,
   2075   0xffffffffffff7bdb, 0xffffffffffff7bdb,
   2076   0xffffffffffff7dda, 0xffffffffffff7dda,
   2077   0xffffffffffff7ed9, 0xffffffffffff7ed9,
   2078   0xffffffffffff7f58, 0xffffffffffff7f58,
   2079   0xffffffffffff7f97, 0xffffffffffff7f97,
   2080   0xffffffffffff7fb6, 0xffffffffffff7fb6,
   2081   0xffffffffffff7fc5, 0xffffffffffff7fc5,
   2082   0xffffffffffff7fcc, 0xffffffffffff7fcc,
   2083   0xffffffffffff7fcf, 0xffffffffffff7fcf,
   2084   0xffffffffffff7fd0, 0xffffffffffff7fd0,
   2085   0xffffffffffff7fd0, 0xffffffffffff7fd0,
   2086   0x7fffffffffffc001, 0x7fffffffffffffc0,
   2087   0xbfffffffffffa001, 0xbfffffffffffffa0,
   2088   0xdfffffffffff9001, 0xdfffffffffffff90,
   2089   0xefffffffffff8801, 0xefffffffffffff88,
   2090   0xf7ffffffffff8401, 0xf7ffffffffffff84,
   2091   0xfbffffffffff8201, 0xfbffffffffffff82,
   2092   0xfdffffffffff8101, 0xfdffffffffffff81,
   2093   0xfeffffffffff8081, 0xfeffffffffffff80,
   2094   0xff7fffffffff8041, 0xff7fffffffffff7f,
   2095   0xffbfffffffff8021, 0xffbfffffffffff7e,
   2096   0xffdfffffffff8011, 0xffdfffffffffff7d,
   2097   0xffefffffffff8009, 0xffefffffffffff7c,
   2098   0xfff7ffffffff8005, 0xfff7ffffffffff7b,
   2099   0xfffbffffffff8003, 0xfffbffffffffff7a,
   2100   0xfffdffffffff8002, 0xfffdffffffffff79,
   2101   0xfffeffffffff8001, 0xfffeffffffffff78,
   2102   0xffff7fffffff8000, 0xffff7fffffffff77,
   2103   0xffffbfffffff7fff, 0xffffbfffffffff76,
   2104   0xffffdfffffff7ffe, 0xffffdfffffffff75,
   2105   0xffffefffffff7ffd, 0xffffefffffffff74,
   2106   0xfffff7ffffff7ffc, 0xfffff7ffffffff73,
   2107   0xfffffbffffff7ffb, 0xfffffbffffffff72,
   2108   0xfffffdffffff7ffa, 0xfffffdffffffff71,
   2109   0xfffffeffffff7ff9, 0xfffffeffffffff70,
   2110   0xffffff7fffff7ff8, 0xffffff7fffffff6f,
   2111   0xffffffbfffff7ff7, 0xffffffbfffffff6e,
   2112   0xffffffdfffff7ff6, 0xffffffdfffffff6d,
   2113   0xffffffefffff7ff5, 0xffffffefffffff6c,
   2114   0xfffffff7ffff7ff4, 0xfffffff7ffffff6b,
   2115   0xfffffffbffff7ff3, 0xfffffffbffffff6a,
   2116   0xfffffffdffff7ff2, 0xfffffffdffffff69,
   2117   0xfffffffeffff7ff1, 0xfffffffeffffff68,
   2118   0xffffffff7fff7ff0, 0xffffffff7fffff67,
   2119   0xffffffffbfff7fef, 0xffffffffbfffff66,
   2120   0xffffffffdfff7fee, 0xffffffffdfffff65,
   2121   0xffffffffefff7fed, 0xffffffffefffff64,
   2122   0xfffffffff7ff7fec, 0xfffffffff7ffff63,
   2123   0xfffffffffbff7feb, 0xfffffffffbffff62,
   2124   0xfffffffffdff7fea, 0xfffffffffdffff61,
   2125   0xfffffffffeff7fe9, 0xfffffffffeffff60,
   2126   0xffffffffff7f7fe8, 0xffffffffff7fff5f,
   2127   0xffffffffffbf7fe7, 0xffffffffffbfff5e,
   2128   0xffffffffffdf7fe6, 0xffffffffffdfff5d,
   2129   0xffffffffffef7fe5, 0xffffffffffefff5c,
   2130   0xfffffffffff77fe4, 0xfffffffffff7ff5b,
   2131   0xfffffffffffb7fe3, 0xfffffffffffbff5a,
   2132   0xfffffffffffd7fe2, 0xfffffffffffdff59,
   2133   0xfffffffffffe7fe1, 0xfffffffffffeff58,
   2134   0xfffffffffffeffe0, 0xffffffffffff7f57,
   2135   0xffffffffffff3fdf, 0xffffffffffffbf56,
   2136   0xffffffffffff5fde, 0xffffffffffffdf55,
   2137   0xffffffffffff6fdd, 0xffffffffffffef54,
   2138   0xffffffffffff77dc, 0xfffffffffffff753,
   2139   0xffffffffffff7bdb, 0xfffffffffffffb52,
   2140   0xffffffffffff7dda, 0xfffffffffffffd51,
   2141   0xffffffffffff7ed9, 0xfffffffffffffe50,
   2142   0xffffffffffff7f58, 0xfffffffffffffecf,
   2143   0xffffffffffff7f97, 0xffffffffffffff0e,
   2144   0xffffffffffff7fb6, 0xffffffffffffff2d,
   2145   0xffffffffffff7fc5, 0xffffffffffffff3c,
   2146   0xffffffffffff7fcc, 0xffffffffffffff43,
   2147   0xffffffffffff7fcf, 0xffffffffffffff46,
   2148   0xffffffffffff7fd0, 0xffffffffffffff47,
   2149   0xffffffffffff7fd0, 0xffffffffffffff47,
   2150   0x7fffffffffffffc0, 0x7fffffffffffffc0,
   2151   0xbfffffffffffffa0, 0xbfffffffffffffa0,
   2152   0xdfffffffffffff90, 0xdfffffffffffff90,
   2153   0xefffffffffffff88, 0xefffffffffffff88,
   2154   0xf7ffffffffffff84, 0xf7ffffffffffff84,
   2155   0xfbffffffffffff82, 0xfbffffffffffff82,
   2156   0xfdffffffffffff81, 0xfdffffffffffff81,
   2157   0xfeffffffffffff80, 0xfeffffffffffff80,
   2158   0xff7fffffffffff7f, 0xff7fffffffffff7f,
   2159   0xffbfffffffffff7e, 0xffbfffffffffff7e,
   2160   0xffdfffffffffff7d, 0xffdfffffffffff7d,
   2161   0xffefffffffffff7c, 0xffefffffffffff7c,
   2162   0xfff7ffffffffff7b, 0xfff7ffffffffff7b,
   2163   0xfffbffffffffff7a, 0xfffbffffffffff7a,
   2164   0xfffdffffffffff79, 0xfffdffffffffff79,
   2165   0xfffeffffffffff78, 0xfffeffffffffff78,
   2166   0xffff7fffffffff77, 0xffff7fffffffff77,
   2167   0xffffbfffffffff76, 0xffffbfffffffff76,
   2168   0xffffdfffffffff75, 0xffffdfffffffff75,
   2169   0xffffefffffffff74, 0xffffefffffffff74,
   2170   0xfffff7ffffffff73, 0xfffff7ffffffff73,
   2171   0xfffffbffffffff72, 0xfffffbffffffff72,
   2172   0xfffffdffffffff71, 0xfffffdffffffff71,
   2173   0xfffffeffffffff70, 0xfffffeffffffff70,
   2174   0xffffff7fffffff6f, 0xffffff7fffffff6f,
   2175   0xffffffbfffffff6e, 0xffffffbfffffff6e,
   2176   0xffffffdfffffff6d, 0xffffffdfffffff6d,
   2177   0xffffffefffffff6c, 0xffffffefffffff6c,
   2178   0xfffffff7ffffff6b, 0xfffffff7ffffff6b,
   2179   0xfffffffbffffff6a, 0xfffffffbffffff6a,
   2180   0xfffffffdffffff69, 0xfffffffdffffff69,
   2181   0xfffffffeffffff68, 0xfffffffeffffff68,
   2182   0xffffffff7fffff67, 0xffffffff7fffff67,
   2183   0xffffffffbfffff66, 0xffffffffbfffff66,
   2184   0xffffffffdfffff65, 0xffffffffdfffff65,
   2185   0xffffffffefffff64, 0xffffffffefffff64,
   2186   0xfffffffff7ffff63, 0xfffffffff7ffff63,
   2187   0xfffffffffbffff62, 0xfffffffffbffff62,
   2188   0xfffffffffdffff61, 0xfffffffffdffff61,
   2189   0xfffffffffeffff60, 0xfffffffffeffff60,
   2190   0xffffffffff7fff5f, 0xffffffffff7fff5f,
   2191   0xffffffffffbfff5e, 0xffffffffffbfff5e,
   2192   0xffffffffffdfff5d, 0xffffffffffdfff5d,
   2193   0xffffffffffefff5c, 0xffffffffffefff5c,
   2194   0xfffffffffff7ff5b, 0xfffffffffff7ff5b,
   2195   0xfffffffffffbff5a, 0xfffffffffffbff5a,
   2196   0xfffffffffffdff59, 0xfffffffffffdff59,
   2197   0xfffffffffffeff58, 0xfffffffffffeff58,
   2198   0xffffffffffff7f57, 0xffffffffffff7f57,
   2199   0xffffffffffffbf56, 0xffffffffffffbf56,
   2200   0xffffffffffffdf55, 0xffffffffffffdf55,
   2201   0xffffffffffffef54, 0xffffffffffffef54,
   2202   0xfffffffffffff753, 0xfffffffffffff753,
   2203   0xfffffffffffffb52, 0xfffffffffffffb52,
   2204   0xfffffffffffffd51, 0xfffffffffffffd51,
   2205   0xfffffffffffffe50, 0xfffffffffffffe50,
   2206   0xfffffffffffffecf, 0xfffffffffffffecf,
   2207   0xffffffffffffff0e, 0xffffffffffffff0e,
   2208   0xffffffffffffff2d, 0xffffffffffffff2d,
   2209   0xffffffffffffff3c, 0xffffffffffffff3c,
   2210   0xffffffffffffff43, 0xffffffffffffff43,
   2211   0xffffffffffffff46, 0xffffffffffffff46,
   2212   0xffffffffffffff47, 0xffffffffffffff47,
   2213   0xffffffffffffff47, 0xffffffffffffff47,
   2214   0x7fffffffffffffc0, 0x7fffffffffffffc1,
   2215   0xbfffffffffffffa0, 0xbfffffffffffffa1,
   2216   0xdfffffffffffff90, 0xdfffffffffffff91,
   2217   0xefffffffffffff88, 0xefffffffffffff89,
   2218   0xf7ffffffffffff84, 0xf7ffffffffffff85,
   2219   0xfbffffffffffff82, 0xfbffffffffffff83,
   2220   0xfdffffffffffff81, 0xfdffffffffffff82,
   2221   0xfeffffffffffff80, 0xfeffffffffffff81,
   2222   0xff7fffffffffff7f, 0xff7fffffffffff80,
   2223   0xffbfffffffffff7e, 0xffbfffffffffff7f,
   2224   0xffdfffffffffff7d, 0xffdfffffffffff7e,
   2225   0xffefffffffffff7c, 0xffefffffffffff7d,
   2226   0xfff7ffffffffff7b, 0xfff7ffffffffff7c,
   2227   0xfffbffffffffff7a, 0xfffbffffffffff7b,
   2228   0xfffdffffffffff79, 0xfffdffffffffff7a,
   2229   0xfffeffffffffff78, 0xfffeffffffffff79,
   2230   0xffff7fffffffff77, 0xffff7fffffffff78,
   2231   0xffffbfffffffff76, 0xffffbfffffffff77,
   2232   0xffffdfffffffff75, 0xffffdfffffffff76,
   2233   0xffffefffffffff74, 0xffffefffffffff75,
   2234   0xfffff7ffffffff73, 0xfffff7ffffffff74,
   2235   0xfffffbffffffff72, 0xfffffbffffffff73,
   2236   0xfffffdffffffff71, 0xfffffdffffffff72,
   2237   0xfffffeffffffff70, 0xfffffeffffffff71,
   2238   0xffffff7fffffff6f, 0xffffff7fffffff70,
   2239   0xffffffbfffffff6e, 0xffffffbfffffff6f,
   2240   0xffffffdfffffff6d, 0xffffffdfffffff6e,
   2241   0xffffffefffffff6c, 0xffffffefffffff6d,
   2242   0xfffffff7ffffff6b, 0xfffffff7ffffff6c,
   2243   0xfffffffbffffff6a, 0xfffffffbffffff6b,
   2244   0xfffffffdffffff69, 0xfffffffdffffff6a,
   2245   0xfffffffeffffff68, 0xfffffffeffffff69,
   2246   0xffffffff7fffff67, 0xffffffff7fffff68,
   2247   0xffffffffbfffff66, 0xffffffffbfffff67,
   2248   0xffffffffdfffff65, 0xffffffffdfffff66,
   2249   0xffffffffefffff64, 0xffffffffefffff65,
   2250   0xfffffffff7ffff63, 0xfffffffff7ffff64,
   2251   0xfffffffffbffff62, 0xfffffffffbffff63,
   2252   0xfffffffffdffff61, 0xfffffffffdffff62,
   2253   0xfffffffffeffff60, 0xfffffffffeffff61,
   2254   0xffffffffff7fff5f, 0xffffffffff7fff60,
   2255   0xffffffffffbfff5e, 0xffffffffffbfff5f,
   2256   0xffffffffffdfff5d, 0xffffffffffdfff5e,
   2257   0xffffffffffefff5c, 0xffffffffffefff5d,
   2258   0xfffffffffff7ff5b, 0xfffffffffff7ff5c,
   2259   0xfffffffffffbff5a, 0xfffffffffffbff5b,
   2260   0xfffffffffffdff59, 0xfffffffffffdff5a,
   2261   0xfffffffffffeff58, 0xfffffffffffeff59,
   2262   0xffffffffffff7f57, 0xffffffffffff7f58,
   2263   0xffffffffffffbf56, 0xffffffffffffbf57,
   2264   0xffffffffffffdf55, 0xffffffffffffdf56,
   2265   0xffffffffffffef54, 0xffffffffffffef55,
   2266   0xfffffffffffff753, 0xfffffffffffff754,
   2267   0xfffffffffffffb52, 0xfffffffffffffb53,
   2268   0xfffffffffffffd51, 0xfffffffffffffd52,
   2269   0xfffffffffffffe50, 0xfffffffffffffe51,
   2270   0xfffffffffffffecf, 0xfffffffffffffed0,
   2271   0xffffffffffffff0e, 0xffffffffffffff0f,
   2272   0xffffffffffffff2d, 0xffffffffffffff2e,
   2273   0xffffffffffffff3c, 0xffffffffffffff3d,
   2274   0xffffffffffffff43, 0xffffffffffffff44,
   2275   0xffffffffffffff46, 0xffffffffffffff47,
   2276   0xffffffffffffff47, 0xffffffffffffff48,
   2277   0xffffffffffffff47, 0xffffffffffffff48,
   2278   0x7fffffffffffffc1, 0x7fffffffffffffc1,
   2279   0xbfffffffffffffa1, 0xbfffffffffffffa1,
   2280   0xdfffffffffffff91, 0xdfffffffffffff91,
   2281   0xefffffffffffff89, 0xefffffffffffff89,
   2282   0xf7ffffffffffff85, 0xf7ffffffffffff85,
   2283   0xfbffffffffffff83, 0xfbffffffffffff83,
   2284   0xfdffffffffffff82, 0xfdffffffffffff82,
   2285   0xfeffffffffffff81, 0xfeffffffffffff81,
   2286   0xff7fffffffffff80, 0xff7fffffffffff80,
   2287   0xffbfffffffffff7f, 0xffbfffffffffff7f,
   2288   0xffdfffffffffff7e, 0xffdfffffffffff7e,
   2289   0xffefffffffffff7d, 0xffefffffffffff7d,
   2290   0xfff7ffffffffff7c, 0xfff7ffffffffff7c,
   2291   0xfffbffffffffff7b, 0xfffbffffffffff7b,
   2292   0xfffdffffffffff7a, 0xfffdffffffffff7a,
   2293   0xfffeffffffffff79, 0xfffeffffffffff79,
   2294   0xffff7fffffffff78, 0xffff7fffffffff78,
   2295   0xffffbfffffffff77, 0xffffbfffffffff77,
   2296   0xffffdfffffffff76, 0xffffdfffffffff76,
   2297   0xffffefffffffff75, 0xffffefffffffff75,
   2298   0xfffff7ffffffff74, 0xfffff7ffffffff74,
   2299   0xfffffbffffffff73, 0xfffffbffffffff73,
   2300   0xfffffdffffffff72, 0xfffffdffffffff72,
   2301   0xfffffeffffffff71, 0xfffffeffffffff71,
   2302   0xffffff7fffffff70, 0xffffff7fffffff70,
   2303   0xffffffbfffffff6f, 0xffffffbfffffff6f,
   2304   0xffffffdfffffff6e, 0xffffffdfffffff6e,
   2305   0xffffffefffffff6d, 0xffffffefffffff6d,
   2306   0xfffffff7ffffff6c, 0xfffffff7ffffff6c,
   2307   0xfffffffbffffff6b, 0xfffffffbffffff6b,
   2308   0xfffffffdffffff6a, 0xfffffffdffffff6a,
   2309   0xfffffffeffffff69, 0xfffffffeffffff69,
   2310   0xffffffff7fffff68, 0xffffffff7fffff68,
   2311   0xffffffffbfffff67, 0xffffffffbfffff67,
   2312   0xffffffffdfffff66, 0xffffffffdfffff66,
   2313   0xffffffffefffff65, 0xffffffffefffff65,
   2314   0xfffffffff7ffff64, 0xfffffffff7ffff64,
   2315   0xfffffffffbffff63, 0xfffffffffbffff63,
   2316   0xfffffffffdffff62, 0xfffffffffdffff62,
   2317   0xfffffffffeffff61, 0xfffffffffeffff61,
   2318   0xffffffffff7fff60, 0xffffffffff7fff60,
   2319   0xffffffffffbfff5f, 0xffffffffffbfff5f,
   2320   0xffffffffffdfff5e, 0xffffffffffdfff5e,
   2321   0xffffffffffefff5d, 0xffffffffffefff5d,
   2322   0xfffffffffff7ff5c, 0xfffffffffff7ff5c,
   2323   0xfffffffffffbff5b, 0xfffffffffffbff5b,
   2324   0xfffffffffffdff5a, 0xfffffffffffdff5a,
   2325   0xfffffffffffeff59, 0xfffffffffffeff59,
   2326   0xffffffffffff7f58, 0xffffffffffff7f58,
   2327   0xffffffffffffbf57, 0xffffffffffffbf57,
   2328   0xffffffffffffdf56, 0xffffffffffffdf56,
   2329   0xffffffffffffef55, 0xffffffffffffef55,
   2330   0xfffffffffffff754, 0xfffffffffffff754,
   2331   0xfffffffffffffb53, 0xfffffffffffffb53,
   2332   0xfffffffffffffd52, 0xfffffffffffffd52,
   2333   0xfffffffffffffe51, 0xfffffffffffffe51,
   2334   0xfffffffffffffed0, 0xfffffffffffffed0,
   2335   0xffffffffffffff0f, 0xffffffffffffff0f,
   2336   0xffffffffffffff2e, 0xffffffffffffff2e,
   2337   0xffffffffffffff3d, 0xffffffffffffff3d,
   2338   0xffffffffffffff44, 0xffffffffffffff44,
   2339   0xffffffffffffff47, 0xffffffffffffff47,
   2340   0xffffffffffffff48, 0xffffffffffffff48,
   2341   0xffffffffffffff48, 0xffffffffffffff48,
   2342   0x7fffffffffffffc1, 0x7fffffffffffffe0,
   2343   0xbfffffffffffffa1, 0xbfffffffffffffd0,
   2344   0xdfffffffffffff91, 0xdfffffffffffffc8,
   2345   0xefffffffffffff89, 0xefffffffffffffc4,
   2346   0xf7ffffffffffff85, 0xf7ffffffffffffc2,
   2347   0xfbffffffffffff83, 0xfbffffffffffffc1,
   2348   0xfdffffffffffff82, 0xfdffffffffffffc0,
   2349   0xfeffffffffffff81, 0xfeffffffffffffbf,
   2350   0xff7fffffffffff80, 0xff7fffffffffffbe,
   2351   0xffbfffffffffff7f, 0xffbfffffffffffbd,
   2352   0xffdfffffffffff7e, 0xffdfffffffffffbc,
   2353   0xffefffffffffff7d, 0xffefffffffffffbb,
   2354   0xfff7ffffffffff7c, 0xfff7ffffffffffba,
   2355   0xfffbffffffffff7b, 0xfffbffffffffffb9,
   2356   0xfffdffffffffff7a, 0xfffdffffffffffb8,
   2357   0xfffeffffffffff79, 0xfffeffffffffffb7,
   2358   0xffff7fffffffff78, 0xffff7fffffffffb6,
   2359   0xffffbfffffffff77, 0xffffbfffffffffb5,
   2360   0xffffdfffffffff76, 0xffffdfffffffffb4,
   2361   0xffffefffffffff75, 0xffffefffffffffb3,
   2362   0xfffff7ffffffff74, 0xfffff7ffffffffb2,
   2363   0xfffffbffffffff73, 0xfffffbffffffffb1,
   2364   0xfffffdffffffff72, 0xfffffdffffffffb0,
   2365   0xfffffeffffffff71, 0xfffffeffffffffaf,
   2366   0xffffff7fffffff70, 0xffffff7fffffffae,
   2367   0xffffffbfffffff6f, 0xffffffbfffffffad,
   2368   0xffffffdfffffff6e, 0xffffffdfffffffac,
   2369   0xffffffefffffff6d, 0xffffffefffffffab,
   2370   0xfffffff7ffffff6c, 0xfffffff7ffffffaa,
   2371   0xfffffffbffffff6b, 0xfffffffbffffffa9,
   2372   0xfffffffdffffff6a, 0xfffffffdffffffa8,
   2373   0xfffffffeffffff69, 0xfffffffeffffffa7,
   2374   0xffffffff7fffff68, 0xffffffff7fffffa6,
   2375   0xffffffffbfffff67, 0xffffffffbfffffa5,
   2376   0xffffffffdfffff66, 0xffffffffdfffffa4,
   2377   0xffffffffefffff65, 0xffffffffefffffa3,
   2378   0xfffffffff7ffff64, 0xfffffffff7ffffa2,
   2379   0xfffffffffbffff63, 0xfffffffffbffffa1,
   2380   0xfffffffffdffff62, 0xfffffffffdffffa0,
   2381   0xfffffffffeffff61, 0xfffffffffeffff9f,
   2382   0xffffffffff7fff60, 0xffffffffff7fff9e,
   2383   0xffffffffffbfff5f, 0xffffffffffbfff9d,
   2384   0xffffffffffdfff5e, 0xffffffffffdfff9c,
   2385   0xffffffffffefff5d, 0xffffffffffefff9b,
   2386   0xfffffffffff7ff5c, 0xfffffffffff7ff9a,
   2387   0xfffffffffffbff5b, 0xfffffffffffbff99,
   2388   0xfffffffffffdff5a, 0xfffffffffffdff98,
   2389   0xfffffffffffeff59, 0xfffffffffffeff97,
   2390   0xffffffffffff7f58, 0xffffffffffff7f96,
   2391   0xffffffffffffbf57, 0xffffffffffffbf95,
   2392   0xffffffffffffdf56, 0xffffffffffffdf94,
   2393   0xffffffffffffef55, 0xffffffffffffef93,
   2394   0xfffffffffffff754, 0xfffffffffffff792,
   2395   0xfffffffffffffb53, 0xfffffffffffffb91,
   2396   0xfffffffffffffd52, 0xfffffffffffffd90,
   2397   0xfffffffffffffe51, 0xfffffffffffffe8f,
   2398   0xfffffffffffffed0, 0xffffffffffffff0e,
   2399   0xffffffffffffff0f, 0xffffffffffffff4d,
   2400   0xffffffffffffff2e, 0xffffffffffffff6c,
   2401   0xffffffffffffff3d, 0xffffffffffffff7b,
   2402   0xffffffffffffff44, 0xffffffffffffff82,
   2403   0xffffffffffffff47, 0xffffffffffffff85,
   2404   0xffffffffffffff48, 0xffffffffffffff86,
   2405   0xffffffffffffff48, 0xffffffffffffff86,
   2406   0x7fffffffffffffe0, 0x7ffffffffffffffe,
   2407   0xbfffffffffffffd0, 0xbffffffffffffffd,
   2408   0xdfffffffffffffc8, 0xdffffffffffffffc,
   2409   0xefffffffffffffc4, 0xeffffffffffffffb,
   2410   0xf7ffffffffffffc2, 0xf7fffffffffffffa,
   2411   0xfbffffffffffffc1, 0xfbfffffffffffff9,
   2412   0xfdffffffffffffc0, 0xfdfffffffffffff8,
   2413   0xfeffffffffffffbf, 0xfefffffffffffff7,
   2414   0xff7fffffffffffbe, 0xff7ffffffffffff6,
   2415   0xffbfffffffffffbd, 0xffbffffffffffff5,
   2416   0xffdfffffffffffbc, 0xffdffffffffffff4,
   2417   0xffefffffffffffbb, 0xffeffffffffffff3,
   2418   0xfff7ffffffffffba, 0xfff7fffffffffff2,
   2419   0xfffbffffffffffb9, 0xfffbfffffffffff1,
   2420   0xfffdffffffffffb8, 0xfffdfffffffffff0,
   2421   0xfffeffffffffffb7, 0xfffeffffffffffef,
   2422   0xffff7fffffffffb6, 0xffff7fffffffffee,
   2423   0xffffbfffffffffb5, 0xffffbfffffffffed,
   2424   0xffffdfffffffffb4, 0xffffdfffffffffec,
   2425   0xffffefffffffffb3, 0xffffefffffffffeb,
   2426   0xfffff7ffffffffb2, 0xfffff7ffffffffea,
   2427   0xfffffbffffffffb1, 0xfffffbffffffffe9,
   2428   0xfffffdffffffffb0, 0xfffffdffffffffe8,
   2429   0xfffffeffffffffaf, 0xfffffeffffffffe7,
   2430   0xffffff7fffffffae, 0xffffff7fffffffe6,
   2431   0xffffffbfffffffad, 0xffffffbfffffffe5,
   2432   0xffffffdfffffffac, 0xffffffdfffffffe4,
   2433   0xffffffefffffffab, 0xffffffefffffffe3,
   2434   0xfffffff7ffffffaa, 0xfffffff7ffffffe2,
   2435   0xfffffffbffffffa9, 0xfffffffbffffffe1,
   2436   0xfffffffdffffffa8, 0xfffffffdffffffe0,
   2437   0xfffffffeffffffa7, 0xfffffffeffffffdf,
   2438   0xffffffff7fffffa6, 0xffffffff7fffffde,
   2439   0xffffffffbfffffa5, 0xffffffffbfffffdd,
   2440   0xffffffffdfffffa4, 0xffffffffdfffffdc,
   2441   0xffffffffefffffa3, 0xffffffffefffffdb,
   2442   0xfffffffff7ffffa2, 0xfffffffff7ffffda,
   2443   0xfffffffffbffffa1, 0xfffffffffbffffd9,
   2444   0xfffffffffdffffa0, 0xfffffffffdffffd8,
   2445   0xfffffffffeffff9f, 0xfffffffffeffffd7,
   2446   0xffffffffff7fff9e, 0xffffffffff7fffd6,
   2447   0xffffffffffbfff9d, 0xffffffffffbfffd5,
   2448   0xffffffffffdfff9c, 0xffffffffffdfffd4,
   2449   0xffffffffffefff9b, 0xffffffffffefffd3,
   2450   0xfffffffffff7ff9a, 0xfffffffffff7ffd2,
   2451   0xfffffffffffbff99, 0xfffffffffffbffd1,
   2452   0xfffffffffffdff98, 0xfffffffffffdffd0,
   2453   0xfffffffffffeff97, 0xfffffffffffeffcf,
   2454   0xffffffffffff7f96, 0xffffffffffff7fce,
   2455   0xffffffffffffbf95, 0xffffffffffffbfcd,
   2456   0xffffffffffffdf94, 0xffffffffffffdfcc,
   2457   0xffffffffffffef93, 0xffffffffffffefcb,
   2458   0xfffffffffffff792, 0xfffffffffffff7ca,
   2459   0xfffffffffffffb91, 0xfffffffffffffbc9,
   2460   0xfffffffffffffd90, 0xfffffffffffffdc8,
   2461   0xfffffffffffffe8f, 0xfffffffffffffec7,
   2462   0xffffffffffffff0e, 0xffffffffffffff46,
   2463   0xffffffffffffff4d, 0xffffffffffffff85,
   2464   0xffffffffffffff6c, 0xffffffffffffffa4,
   2465   0xffffffffffffff7b, 0xffffffffffffffb3,
   2466   0xffffffffffffff82, 0xffffffffffffffba,
   2467   0xffffffffffffff85, 0xffffffffffffffbd,
   2468   0xffffffffffffff86, 0xffffffffffffffbe,
   2469   0xffffffffffffff86, 0xffffffffffffffbe,
   2470   0x7ffffffffffffffe, 0x7fffffffffffffff,
   2471   0xbffffffffffffffd, 0xbffffffffffffffe,
   2472   0xdffffffffffffffc, 0xdffffffffffffffd,
   2473   0xeffffffffffffffb, 0xeffffffffffffffc,
   2474   0xf7fffffffffffffa, 0xf7fffffffffffffb,
   2475   0xfbfffffffffffff9, 0xfbfffffffffffffa,
   2476   0xfdfffffffffffff8, 0xfdfffffffffffff9,
   2477   0xfefffffffffffff7, 0xfefffffffffffff8,
   2478   0xff7ffffffffffff6, 0xff7ffffffffffff7,
   2479   0xffbffffffffffff5, 0xffbffffffffffff6,
   2480   0xffdffffffffffff4, 0xffdffffffffffff5,
   2481   0xffeffffffffffff3, 0xffeffffffffffff4,
   2482   0xfff7fffffffffff2, 0xfff7fffffffffff3,
   2483   0xfffbfffffffffff1, 0xfffbfffffffffff2,
   2484   0xfffdfffffffffff0, 0xfffdfffffffffff1,
   2485   0xfffeffffffffffef, 0xfffefffffffffff0,
   2486   0xffff7fffffffffee, 0xffff7fffffffffef,
   2487   0xffffbfffffffffed, 0xffffbfffffffffee,
   2488   0xffffdfffffffffec, 0xffffdfffffffffed,
   2489   0xffffefffffffffeb, 0xffffefffffffffec,
   2490   0xfffff7ffffffffea, 0xfffff7ffffffffeb,
   2491   0xfffffbffffffffe9, 0xfffffbffffffffea,
   2492   0xfffffdffffffffe8, 0xfffffdffffffffe9,
   2493   0xfffffeffffffffe7, 0xfffffeffffffffe8,
   2494   0xffffff7fffffffe6, 0xffffff7fffffffe7,
   2495   0xffffffbfffffffe5, 0xffffffbfffffffe6,
   2496   0xffffffdfffffffe4, 0xffffffdfffffffe5,
   2497   0xffffffefffffffe3, 0xffffffefffffffe4,
   2498   0xfffffff7ffffffe2, 0xfffffff7ffffffe3,
   2499   0xfffffffbffffffe1, 0xfffffffbffffffe2,
   2500   0xfffffffdffffffe0, 0xfffffffdffffffe1,
   2501   0xfffffffeffffffdf, 0xfffffffeffffffe0,
   2502   0xffffffff7fffffde, 0xffffffff7fffffdf,
   2503   0xffffffffbfffffdd, 0xffffffffbfffffde,
   2504   0xffffffffdfffffdc, 0xffffffffdfffffdd,
   2505   0xffffffffefffffdb, 0xffffffffefffffdc,
   2506   0xfffffffff7ffffda, 0xfffffffff7ffffdb,
   2507   0xfffffffffbffffd9, 0xfffffffffbffffda,
   2508   0xfffffffffdffffd8, 0xfffffffffdffffd9,
   2509   0xfffffffffeffffd7, 0xfffffffffeffffd8,
   2510   0xffffffffff7fffd6, 0xffffffffff7fffd7,
   2511   0xffffffffffbfffd5, 0xffffffffffbfffd6,
   2512   0xffffffffffdfffd4, 0xffffffffffdfffd5,
   2513   0xffffffffffefffd3, 0xffffffffffefffd4,
   2514   0xfffffffffff7ffd2, 0xfffffffffff7ffd3,
   2515   0xfffffffffffbffd1, 0xfffffffffffbffd2,
   2516   0xfffffffffffdffd0, 0xfffffffffffdffd1,
   2517   0xfffffffffffeffcf, 0xfffffffffffeffd0,
   2518   0xffffffffffff7fce, 0xffffffffffff7fcf,
   2519   0xffffffffffffbfcd, 0xffffffffffffbfce,
   2520   0xffffffffffffdfcc, 0xffffffffffffdfcd,
   2521   0xffffffffffffefcb, 0xffffffffffffefcc,
   2522   0xfffffffffffff7ca, 0xfffffffffffff7cb,
   2523   0xfffffffffffffbc9, 0xfffffffffffffbca,
   2524   0xfffffffffffffdc8, 0xfffffffffffffdc9,
   2525   0xfffffffffffffec7, 0xfffffffffffffec8,
   2526   0xffffffffffffff46, 0xffffffffffffff47,
   2527   0xffffffffffffff85, 0xffffffffffffff86,
   2528   0xffffffffffffffa4, 0xffffffffffffffa5,
   2529   0xffffffffffffffb3, 0xffffffffffffffb4,
   2530   0xffffffffffffffba, 0xffffffffffffffbb,
   2531   0xffffffffffffffbd, 0xffffffffffffffbe,
   2532   0xffffffffffffffbe, 0xffffffffffffffbf,
   2533   0xffffffffffffffbe, 0xffffffffffffffbf,
   2534   0x7fffffffffffffff, 0x7fffffffffffffff,
   2535   0xbffffffffffffffe, 0xbffffffffffffffe,
   2536   0xdffffffffffffffd, 0xdffffffffffffffd,
   2537   0xeffffffffffffffc, 0xeffffffffffffffc,
   2538   0xf7fffffffffffffb, 0xf7fffffffffffffb,
   2539   0xfbfffffffffffffa, 0xfbfffffffffffffa,
   2540   0xfdfffffffffffff9, 0xfdfffffffffffff9,
   2541   0xfefffffffffffff8, 0xfefffffffffffff8,
   2542   0xff7ffffffffffff7, 0xff7ffffffffffff7,
   2543   0xffbffffffffffff6, 0xffbffffffffffff6,
   2544   0xffdffffffffffff5, 0xffdffffffffffff5,
   2545   0xffeffffffffffff4, 0xffeffffffffffff4,
   2546   0xfff7fffffffffff3, 0xfff7fffffffffff3,
   2547   0xfffbfffffffffff2, 0xfffbfffffffffff2,
   2548   0xfffdfffffffffff1, 0xfffdfffffffffff1,
   2549   0xfffefffffffffff0, 0xfffefffffffffff0,
   2550   0xffff7fffffffffef, 0xffff7fffffffffef,
   2551   0xffffbfffffffffee, 0xffffbfffffffffee,
   2552   0xffffdfffffffffed, 0xffffdfffffffffed,
   2553   0xffffefffffffffec, 0xffffefffffffffec,
   2554   0xfffff7ffffffffeb, 0xfffff7ffffffffeb,
   2555   0xfffffbffffffffea, 0xfffffbffffffffea,
   2556   0xfffffdffffffffe9, 0xfffffdffffffffe9,
   2557   0xfffffeffffffffe8, 0xfffffeffffffffe8,
   2558   0xffffff7fffffffe7, 0xffffff7fffffffe7,
   2559   0xffffffbfffffffe6, 0xffffffbfffffffe6,
   2560   0xffffffdfffffffe5, 0xffffffdfffffffe5,
   2561   0xffffffefffffffe4, 0xffffffefffffffe4,
   2562   0xfffffff7ffffffe3, 0xfffffff7ffffffe3,
   2563   0xfffffffbffffffe2, 0xfffffffbffffffe2,
   2564   0xfffffffdffffffe1, 0xfffffffdffffffe1,
   2565   0xfffffffeffffffe0, 0xfffffffeffffffe0,
   2566   0xffffffff7fffffdf, 0xffffffff7fffffdf,
   2567   0xffffffffbfffffde, 0xffffffffbfffffde,
   2568   0xffffffffdfffffdd, 0xffffffffdfffffdd,
   2569   0xffffffffefffffdc, 0xffffffffefffffdc,
   2570   0xfffffffff7ffffdb, 0xfffffffff7ffffdb,
   2571   0xfffffffffbffffda, 0xfffffffffbffffda,
   2572   0xfffffffffdffffd9, 0xfffffffffdffffd9,
   2573   0xfffffffffeffffd8, 0xfffffffffeffffd8,
   2574   0xffffffffff7fffd7, 0xffffffffff7fffd7,
   2575   0xffffffffffbfffd6, 0xffffffffffbfffd6,
   2576   0xffffffffffdfffd5, 0xffffffffffdfffd5,
   2577   0xffffffffffefffd4, 0xffffffffffefffd4,
   2578   0xfffffffffff7ffd3, 0xfffffffffff7ffd3,
   2579   0xfffffffffffbffd2, 0xfffffffffffbffd2,
   2580   0xfffffffffffdffd1, 0xfffffffffffdffd1,
   2581   0xfffffffffffeffd0, 0xfffffffffffeffd0,
   2582   0xffffffffffff7fcf, 0xffffffffffff7fcf,
   2583   0xffffffffffffbfce, 0xffffffffffffbfce,
   2584   0xffffffffffffdfcd, 0xffffffffffffdfcd,
   2585   0xffffffffffffefcc, 0xffffffffffffefcc,
   2586   0xfffffffffffff7cb, 0xfffffffffffff7cb,
   2587   0xfffffffffffffbca, 0xfffffffffffffbca,
   2588   0xfffffffffffffdc9, 0xfffffffffffffdc9,
   2589   0xfffffffffffffec8, 0xfffffffffffffec8,
   2590   0xffffffffffffff47, 0xffffffffffffff47,
   2591   0xffffffffffffff86, 0xffffffffffffff86,
   2592   0xffffffffffffffa5, 0xffffffffffffffa5,
   2593   0xffffffffffffffb4, 0xffffffffffffffb4,
   2594   0xffffffffffffffbb, 0xffffffffffffffbb,
   2595   0xffffffffffffffbe, 0xffffffffffffffbe,
   2596   0xffffffffffffffbf, 0xffffffffffffffbf,
   2597   0xffffffffffffffbf, 0xffffffffffffffbf,
   2598 };
   2599 const unsigned kExpectedCount_NEON_usra_2D_2OPIMM = 2560;
   2600 
   2601 #endif  // VIXL_SIM_USRA_2D_2OPIMM_TRACE_A64_H_
   2602