Home | History | Annotate | Download | only in traces 
      1 // Copyright 2015, VIXL authors
      2 // All rights reserved.
      3 //
      4 // Redistribution and use in source and binary forms, with or without
      5 // modification, are permitted provided that the following conditions are met:
      6 //
      7 //   * Redistributions of source code must retain the above copyright notice,
      8 //     this list of conditions and the following disclaimer.
      9 //   * Redistributions in binary form must reproduce the above copyright notice,
     10 //     this list of conditions and the following disclaimer in the documentation
     11 //     and/or other materials provided with the distribution.
     12 //   * Neither the name of ARM Limited nor the names of its contributors may be
     13 //     used to endorse or promote products derived from this software without
     14 //     specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
     17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
     20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
     23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     26 
     27 
     28 // ---------------------------------------------------------------------
     29 // This file is auto generated using tools/generate_simulator_traces.py.
     30 //
     31 // PLEASE DO NOT EDIT.
     32 // ---------------------------------------------------------------------
     33 
     34 #ifndef VIXL_SIM_URSRA_2D_2OPIMM_TRACE_AARCH64_H_
     35 #define VIXL_SIM_URSRA_2D_2OPIMM_TRACE_AARCH64_H_
     36 
     37 const uint64_t kExpected_NEON_ursra_2D_2OPIMM[] = {
     38   0x8000000000000000, 0x0000000000000000,
     39   0xc000000000000000, 0x0000000000000000,
     40   0xe000000000000000, 0x0000000000000000,
     41   0xf000000000000000, 0x0000000000000000,
     42   0xf800000000000000, 0x0000000000000000,
     43   0xfc00000000000000, 0x0000000000000000,
     44   0xfe00000000000000, 0x0000000000000000,
     45   0xff00000000000000, 0x0000000000000000,
     46   0xff80000000000000, 0x0000000000000000,
     47   0xffc0000000000000, 0x0000000000000000,
     48   0xffe0000000000000, 0x0000000000000000,
     49   0xfff0000000000000, 0x0000000000000000,
     50   0xfff8000000000000, 0x0000000000000000,
     51   0xfffc000000000000, 0x0000000000000000,
     52   0xfffe000000000000, 0x0000000000000000,
     53   0xffff000000000000, 0x0000000000000000,
     54   0xffff800000000000, 0x0000000000000000,
     55   0xffffc00000000000, 0x0000000000000000,
     56   0xffffe00000000000, 0x0000000000000000,
     57   0xfffff00000000000, 0x0000000000000000,
     58   0xfffff80000000000, 0x0000000000000000,
     59   0xfffffc0000000000, 0x0000000000000000,
     60   0xfffffe0000000000, 0x0000000000000000,
     61   0xffffff0000000000, 0x0000000000000000,
     62   0xffffff8000000000, 0x0000000000000000,
     63   0xffffffc000000000, 0x0000000000000000,
     64   0xffffffe000000000, 0x0000000000000000,
     65   0xfffffff000000000, 0x0000000000000000,
     66   0xfffffff800000000, 0x0000000000000000,
     67   0xfffffffc00000000, 0x0000000000000000,
     68   0xfffffffe00000000, 0x0000000000000000,
     69   0xffffffff00000000, 0x0000000000000000,
     70   0xffffffff80000000, 0x0000000000000000,
     71   0xffffffffc0000000, 0x0000000000000000,
     72   0xffffffffe0000000, 0x0000000000000000,
     73   0xfffffffff0000000, 0x0000000000000000,
     74   0xfffffffff8000000, 0x0000000000000000,
     75   0xfffffffffc000000, 0x0000000000000000,
     76   0xfffffffffe000000, 0x0000000000000000,
     77   0xffffffffff000000, 0x0000000000000000,
     78   0xffffffffff800000, 0x0000000000000000,
     79   0xffffffffffc00000, 0x0000000000000000,
     80   0xffffffffffe00000, 0x0000000000000000,
     81   0xfffffffffff00000, 0x0000000000000000,
     82   0xfffffffffff80000, 0x0000000000000000,
     83   0xfffffffffffc0000, 0x0000000000000000,
     84   0xfffffffffffe0000, 0x0000000000000000,
     85   0xffffffffffff0000, 0x0000000000000000,
     86   0xffffffffffff8000, 0x0000000000000000,
     87   0xffffffffffffc000, 0x0000000000000000,
     88   0xffffffffffffe000, 0x0000000000000000,
     89   0xfffffffffffff000, 0x0000000000000000,
     90   0xfffffffffffff800, 0x0000000000000000,
     91   0xfffffffffffffc00, 0x0000000000000000,
     92   0xfffffffffffffe00, 0x0000000000000000,
     93   0xffffffffffffff00, 0x0000000000000000,
     94   0xffffffffffffff80, 0x0000000000000000,
     95   0xffffffffffffffc0, 0x0000000000000000,
     96   0xffffffffffffffe0, 0x0000000000000000,
     97   0xfffffffffffffff0, 0x0000000000000000,
     98   0xfffffffffffffff8, 0x0000000000000000,
     99   0xfffffffffffffffc, 0x0000000000000000,
    100   0xfffffffffffffffe, 0x0000000000000000,
    101   0xffffffffffffffff, 0x0000000000000000,
    102   0x0000000000000000, 0x0000000000000001,
    103   0x0000000000000000, 0x0000000000000001,
    104   0x0000000000000000, 0x0000000000000001,
    105   0x0000000000000000, 0x0000000000000001,
    106   0x0000000000000000, 0x0000000000000001,
    107   0x0000000000000000, 0x0000000000000001,
    108   0x0000000000000000, 0x0000000000000001,
    109   0x0000000000000000, 0x0000000000000001,
    110   0x0000000000000000, 0x0000000000000001,
    111   0x0000000000000000, 0x0000000000000001,
    112   0x0000000000000000, 0x0000000000000001,
    113   0x0000000000000000, 0x0000000000000001,
    114   0x0000000000000000, 0x0000000000000001,
    115   0x0000000000000000, 0x0000000000000001,
    116   0x0000000000000000, 0x0000000000000001,
    117   0x0000000000000000, 0x0000000000000001,
    118   0x0000000000000000, 0x0000000000000001,
    119   0x0000000000000000, 0x0000000000000001,
    120   0x0000000000000000, 0x0000000000000001,
    121   0x0000000000000000, 0x0000000000000001,
    122   0x0000000000000000, 0x0000000000000001,
    123   0x0000000000000000, 0x0000000000000001,
    124   0x0000000000000000, 0x0000000000000001,
    125   0x0000000000000000, 0x0000000000000001,
    126   0x0000000000000000, 0x0000000000000001,
    127   0x0000000000000000, 0x0000000000000001,
    128   0x0000000000000000, 0x0000000000000001,
    129   0x0000000000000000, 0x0000000000000001,
    130   0x0000000000000000, 0x0000000000000001,
    131   0x0000000000000000, 0x0000000000000001,
    132   0x0000000000000000, 0x0000000000000001,
    133   0x0000000000000000, 0x0000000000000001,
    134   0x0000000000000000, 0x0000000000000001,
    135   0x0000000000000000, 0x0000000000000001,
    136   0x0000000000000000, 0x0000000000000001,
    137   0x0000000000000000, 0x0000000000000001,
    138   0x0000000000000000, 0x0000000000000001,
    139   0x0000000000000000, 0x0000000000000001,
    140   0x0000000000000000, 0x0000000000000001,
    141   0x0000000000000000, 0x0000000000000001,
    142   0x0000000000000000, 0x0000000000000001,
    143   0x0000000000000000, 0x0000000000000001,
    144   0x0000000000000000, 0x0000000000000001,
    145   0x0000000000000000, 0x0000000000000001,
    146   0x0000000000000000, 0x0000000000000001,
    147   0x0000000000000000, 0x0000000000000001,
    148   0x0000000000000000, 0x0000000000000001,
    149   0x0000000000000000, 0x0000000000000001,
    150   0x0000000000000000, 0x0000000000000001,
    151   0x0000000000000000, 0x0000000000000001,
    152   0x0000000000000000, 0x0000000000000001,
    153   0x0000000000000000, 0x0000000000000001,
    154   0x0000000000000000, 0x0000000000000001,
    155   0x0000000000000000, 0x0000000000000001,
    156   0x0000000000000000, 0x0000000000000001,
    157   0x0000000000000000, 0x0000000000000001,
    158   0x0000000000000000, 0x0000000000000001,
    159   0x0000000000000000, 0x0000000000000001,
    160   0x0000000000000000, 0x0000000000000001,
    161   0x0000000000000000, 0x0000000000000001,
    162   0x0000000000000000, 0x0000000000000001,
    163   0x0000000000000000, 0x0000000000000001,
    164   0x0000000000000000, 0x0000000000000001,
    165   0x0000000000000000, 0x0000000000000001,
    166   0x0000000000000001, 0x0000000000000001,
    167   0x0000000000000001, 0x0000000000000002,
    168   0x0000000000000001, 0x0000000000000002,
    169   0x0000000000000001, 0x0000000000000002,
    170   0x0000000000000001, 0x0000000000000002,
    171   0x0000000000000001, 0x0000000000000002,
    172   0x0000000000000001, 0x0000000000000002,
    173   0x0000000000000001, 0x0000000000000002,
    174   0x0000000000000001, 0x0000000000000002,
    175   0x0000000000000001, 0x0000000000000002,
    176   0x0000000000000001, 0x0000000000000002,
    177   0x0000000000000001, 0x0000000000000002,
    178   0x0000000000000001, 0x0000000000000002,
    179   0x0000000000000001, 0x0000000000000002,
    180   0x0000000000000001, 0x0000000000000002,
    181   0x0000000000000001, 0x0000000000000002,
    182   0x0000000000000001, 0x0000000000000002,
    183   0x0000000000000001, 0x0000000000000002,
    184   0x0000000000000001, 0x0000000000000002,
    185   0x0000000000000001, 0x0000000000000002,
    186   0x0000000000000001, 0x0000000000000002,
    187   0x0000000000000001, 0x0000000000000002,
    188   0x0000000000000001, 0x0000000000000002,
    189   0x0000000000000001, 0x0000000000000002,
    190   0x0000000000000001, 0x0000000000000002,
    191   0x0000000000000001, 0x0000000000000002,
    192   0x0000000000000001, 0x0000000000000002,
    193   0x0000000000000001, 0x0000000000000002,
    194   0x0000000000000001, 0x0000000000000002,
    195   0x0000000000000001, 0x0000000000000002,
    196   0x0000000000000001, 0x0000000000000002,
    197   0x0000000000000001, 0x0000000000000002,
    198   0x0000000000000001, 0x0000000000000002,
    199   0x0000000000000001, 0x0000000000000002,
    200   0x0000000000000001, 0x0000000000000002,
    201   0x0000000000000001, 0x0000000000000002,
    202   0x0000000000000001, 0x0000000000000002,
    203   0x0000000000000001, 0x0000000000000002,
    204   0x0000000000000001, 0x0000000000000002,
    205   0x0000000000000001, 0x0000000000000002,
    206   0x0000000000000001, 0x0000000000000002,
    207   0x0000000000000001, 0x0000000000000002,
    208   0x0000000000000001, 0x0000000000000002,
    209   0x0000000000000001, 0x0000000000000002,
    210   0x0000000000000001, 0x0000000000000002,
    211   0x0000000000000001, 0x0000000000000002,
    212   0x0000000000000001, 0x0000000000000002,
    213   0x0000000000000001, 0x0000000000000002,
    214   0x0000000000000001, 0x0000000000000002,
    215   0x0000000000000001, 0x0000000000000002,
    216   0x0000000000000001, 0x0000000000000002,
    217   0x0000000000000001, 0x0000000000000002,
    218   0x0000000000000001, 0x0000000000000002,
    219   0x0000000000000001, 0x0000000000000002,
    220   0x0000000000000001, 0x0000000000000002,
    221   0x0000000000000001, 0x0000000000000002,
    222   0x0000000000000001, 0x0000000000000002,
    223   0x0000000000000001, 0x0000000000000002,
    224   0x0000000000000001, 0x0000000000000002,
    225   0x0000000000000001, 0x0000000000000002,
    226   0x0000000000000001, 0x0000000000000002,
    227   0x0000000000000001, 0x0000000000000002,
    228   0x0000000000000001, 0x0000000000000002,
    229   0x0000000000000001, 0x0000000000000002,
    230   0x0000000000000001, 0x0000000000000020,
    231   0x0000000000000002, 0x0000000000000030,
    232   0x0000000000000002, 0x0000000000000038,
    233   0x0000000000000002, 0x000000000000003c,
    234   0x0000000000000002, 0x000000000000003e,
    235   0x0000000000000002, 0x000000000000003f,
    236   0x0000000000000002, 0x0000000000000040,
    237   0x0000000000000002, 0x0000000000000040,
    238   0x0000000000000002, 0x0000000000000040,
    239   0x0000000000000002, 0x0000000000000040,
    240   0x0000000000000002, 0x0000000000000040,
    241   0x0000000000000002, 0x0000000000000040,
    242   0x0000000000000002, 0x0000000000000040,
    243   0x0000000000000002, 0x0000000000000040,
    244   0x0000000000000002, 0x0000000000000040,
    245   0x0000000000000002, 0x0000000000000040,
    246   0x0000000000000002, 0x0000000000000040,
    247   0x0000000000000002, 0x0000000000000040,
    248   0x0000000000000002, 0x0000000000000040,
    249   0x0000000000000002, 0x0000000000000040,
    250   0x0000000000000002, 0x0000000000000040,
    251   0x0000000000000002, 0x0000000000000040,
    252   0x0000000000000002, 0x0000000000000040,
    253   0x0000000000000002, 0x0000000000000040,
    254   0x0000000000000002, 0x0000000000000040,
    255   0x0000000000000002, 0x0000000000000040,
    256   0x0000000000000002, 0x0000000000000040,
    257   0x0000000000000002, 0x0000000000000040,
    258   0x0000000000000002, 0x0000000000000040,
    259   0x0000000000000002, 0x0000000000000040,
    260   0x0000000000000002, 0x0000000000000040,
    261   0x0000000000000002, 0x0000000000000040,
    262   0x0000000000000002, 0x0000000000000040,
    263   0x0000000000000002, 0x0000000000000040,
    264   0x0000000000000002, 0x0000000000000040,
    265   0x0000000000000002, 0x0000000000000040,
    266   0x0000000000000002, 0x0000000000000040,
    267   0x0000000000000002, 0x0000000000000040,
    268   0x0000000000000002, 0x0000000000000040,
    269   0x0000000000000002, 0x0000000000000040,
    270   0x0000000000000002, 0x0000000000000040,
    271   0x0000000000000002, 0x0000000000000040,
    272   0x0000000000000002, 0x0000000000000040,
    273   0x0000000000000002, 0x0000000000000040,
    274   0x0000000000000002, 0x0000000000000040,
    275   0x0000000000000002, 0x0000000000000040,
    276   0x0000000000000002, 0x0000000000000040,
    277   0x0000000000000002, 0x0000000000000040,
    278   0x0000000000000002, 0x0000000000000040,
    279   0x0000000000000002, 0x0000000000000040,
    280   0x0000000000000002, 0x0000000000000040,
    281   0x0000000000000002, 0x0000000000000040,
    282   0x0000000000000002, 0x0000000000000040,
    283   0x0000000000000002, 0x0000000000000040,
    284   0x0000000000000002, 0x0000000000000040,
    285   0x0000000000000002, 0x0000000000000040,
    286   0x0000000000000002, 0x0000000000000040,
    287   0x0000000000000002, 0x0000000000000040,
    288   0x0000000000000002, 0x0000000000000040,
    289   0x0000000000000002, 0x0000000000000040,
    290   0x0000000000000002, 0x0000000000000040,
    291   0x0000000000000002, 0x0000000000000040,
    292   0x0000000000000002, 0x0000000000000040,
    293   0x0000000000000002, 0x0000000000000040,
    294   0x0000000000000020, 0x000000000000003f,
    295   0x0000000000000030, 0x000000000000005e,
    296   0x0000000000000038, 0x000000000000006e,
    297   0x000000000000003c, 0x0000000000000076,
    298   0x000000000000003e, 0x000000000000007a,
    299   0x000000000000003f, 0x000000000000007c,
    300   0x0000000000000040, 0x000000000000007d,
    301   0x0000000000000040, 0x000000000000007d,
    302   0x0000000000000040, 0x000000000000007d,
    303   0x0000000000000040, 0x000000000000007d,
    304   0x0000000000000040, 0x000000000000007d,
    305   0x0000000000000040, 0x000000000000007d,
    306   0x0000000000000040, 0x000000000000007d,
    307   0x0000000000000040, 0x000000000000007d,
    308   0x0000000000000040, 0x000000000000007d,
    309   0x0000000000000040, 0x000000000000007d,
    310   0x0000000000000040, 0x000000000000007d,
    311   0x0000000000000040, 0x000000000000007d,
    312   0x0000000000000040, 0x000000000000007d,
    313   0x0000000000000040, 0x000000000000007d,
    314   0x0000000000000040, 0x000000000000007d,
    315   0x0000000000000040, 0x000000000000007d,
    316   0x0000000000000040, 0x000000000000007d,
    317   0x0000000000000040, 0x000000000000007d,
    318   0x0000000000000040, 0x000000000000007d,
    319   0x0000000000000040, 0x000000000000007d,
    320   0x0000000000000040, 0x000000000000007d,
    321   0x0000000000000040, 0x000000000000007d,
    322   0x0000000000000040, 0x000000000000007d,
    323   0x0000000000000040, 0x000000000000007d,
    324   0x0000000000000040, 0x000000000000007d,
    325   0x0000000000000040, 0x000000000000007d,
    326   0x0000000000000040, 0x000000000000007d,
    327   0x0000000000000040, 0x000000000000007d,
    328   0x0000000000000040, 0x000000000000007d,
    329   0x0000000000000040, 0x000000000000007d,
    330   0x0000000000000040, 0x000000000000007d,
    331   0x0000000000000040, 0x000000000000007d,
    332   0x0000000000000040, 0x000000000000007d,
    333   0x0000000000000040, 0x000000000000007d,
    334   0x0000000000000040, 0x000000000000007d,
    335   0x0000000000000040, 0x000000000000007d,
    336   0x0000000000000040, 0x000000000000007d,
    337   0x0000000000000040, 0x000000000000007d,
    338   0x0000000000000040, 0x000000000000007d,
    339   0x0000000000000040, 0x000000000000007d,
    340   0x0000000000000040, 0x000000000000007d,
    341   0x0000000000000040, 0x000000000000007d,
    342   0x0000000000000040, 0x000000000000007d,
    343   0x0000000000000040, 0x000000000000007d,
    344   0x0000000000000040, 0x000000000000007d,
    345   0x0000000000000040, 0x000000000000007d,
    346   0x0000000000000040, 0x000000000000007d,
    347   0x0000000000000040, 0x000000000000007d,
    348   0x0000000000000040, 0x000000000000007d,
    349   0x0000000000000040, 0x000000000000007d,
    350   0x0000000000000040, 0x000000000000007d,
    351   0x0000000000000040, 0x000000000000007d,
    352   0x0000000000000040, 0x000000000000007d,
    353   0x0000000000000040, 0x000000000000007d,
    354   0x0000000000000040, 0x000000000000007d,
    355   0x0000000000000040, 0x000000000000007d,
    356   0x0000000000000040, 0x000000000000007d,
    357   0x0000000000000040, 0x000000000000007d,
    358   0x000000000000003f, 0x000000000000003f,
    359   0x000000000000005e, 0x000000000000005f,
    360   0x000000000000006e, 0x000000000000006f,
    361   0x0000000000000076, 0x0000000000000077,
    362   0x000000000000007a, 0x000000000000007b,
    363   0x000000000000007c, 0x000000000000007d,
    364   0x000000000000007d, 0x000000000000007e,
    365   0x000000000000007d, 0x000000000000007e,
    366   0x000000000000007d, 0x000000000000007e,
    367   0x000000000000007d, 0x000000000000007e,
    368   0x000000000000007d, 0x000000000000007e,
    369   0x000000000000007d, 0x000000000000007e,
    370   0x000000000000007d, 0x000000000000007e,
    371   0x000000000000007d, 0x000000000000007e,
    372   0x000000000000007d, 0x000000000000007e,
    373   0x000000000000007d, 0x000000000000007e,
    374   0x000000000000007d, 0x000000000000007e,
    375   0x000000000000007d, 0x000000000000007e,
    376   0x000000000000007d, 0x000000000000007e,
    377   0x000000000000007d, 0x000000000000007e,
    378   0x000000000000007d, 0x000000000000007e,
    379   0x000000000000007d, 0x000000000000007e,
    380   0x000000000000007d, 0x000000000000007e,
    381   0x000000000000007d, 0x000000000000007e,
    382   0x000000000000007d, 0x000000000000007e,
    383   0x000000000000007d, 0x000000000000007e,
    384   0x000000000000007d, 0x000000000000007e,
    385   0x000000000000007d, 0x000000000000007e,
    386   0x000000000000007d, 0x000000000000007e,
    387   0x000000000000007d, 0x000000000000007e,
    388   0x000000000000007d, 0x000000000000007e,
    389   0x000000000000007d, 0x000000000000007e,
    390   0x000000000000007d, 0x000000000000007e,
    391   0x000000000000007d, 0x000000000000007e,
    392   0x000000000000007d, 0x000000000000007e,
    393   0x000000000000007d, 0x000000000000007e,
    394   0x000000000000007d, 0x000000000000007e,
    395   0x000000000000007d, 0x000000000000007e,
    396   0x000000000000007d, 0x000000000000007e,
    397   0x000000000000007d, 0x000000000000007e,
    398   0x000000000000007d, 0x000000000000007e,
    399   0x000000000000007d, 0x000000000000007e,
    400   0x000000000000007d, 0x000000000000007e,
    401   0x000000000000007d, 0x000000000000007e,
    402   0x000000000000007d, 0x000000000000007e,
    403   0x000000000000007d, 0x000000000000007e,
    404   0x000000000000007d, 0x000000000000007e,
    405   0x000000000000007d, 0x000000000000007e,
    406   0x000000000000007d, 0x000000000000007e,
    407   0x000000000000007d, 0x000000000000007e,
    408   0x000000000000007d, 0x000000000000007e,
    409   0x000000000000007d, 0x000000000000007e,
    410   0x000000000000007d, 0x000000000000007e,
    411   0x000000000000007d, 0x000000000000007e,
    412   0x000000000000007d, 0x000000000000007e,
    413   0x000000000000007d, 0x000000000000007e,
    414   0x000000000000007d, 0x000000000000007e,
    415   0x000000000000007d, 0x000000000000007e,
    416   0x000000000000007d, 0x000000000000007e,
    417   0x000000000000007d, 0x000000000000007e,
    418   0x000000000000007d, 0x000000000000007e,
    419   0x000000000000007d, 0x000000000000007e,
    420   0x000000000000007d, 0x000000000000007e,
    421   0x000000000000007d, 0x000000000000007e,
    422   0x000000000000003f, 0x0000000000000040,
    423   0x000000000000005f, 0x0000000000000060,
    424   0x000000000000006f, 0x0000000000000070,
    425   0x0000000000000077, 0x0000000000000078,
    426   0x000000000000007b, 0x000000000000007c,
    427   0x000000000000007d, 0x000000000000007e,
    428   0x000000000000007e, 0x000000000000007f,
    429   0x000000000000007e, 0x000000000000007f,
    430   0x000000000000007e, 0x000000000000007f,
    431   0x000000000000007e, 0x000000000000007f,
    432   0x000000000000007e, 0x000000000000007f,
    433   0x000000000000007e, 0x000000000000007f,
    434   0x000000000000007e, 0x000000000000007f,
    435   0x000000000000007e, 0x000000000000007f,
    436   0x000000000000007e, 0x000000000000007f,
    437   0x000000000000007e, 0x000000000000007f,
    438   0x000000000000007e, 0x000000000000007f,
    439   0x000000000000007e, 0x000000000000007f,
    440   0x000000000000007e, 0x000000000000007f,
    441   0x000000000000007e, 0x000000000000007f,
    442   0x000000000000007e, 0x000000000000007f,
    443   0x000000000000007e, 0x000000000000007f,
    444   0x000000000000007e, 0x000000000000007f,
    445   0x000000000000007e, 0x000000000000007f,
    446   0x000000000000007e, 0x000000000000007f,
    447   0x000000000000007e, 0x000000000000007f,
    448   0x000000000000007e, 0x000000000000007f,
    449   0x000000000000007e, 0x000000000000007f,
    450   0x000000000000007e, 0x000000000000007f,
    451   0x000000000000007e, 0x000000000000007f,
    452   0x000000000000007e, 0x000000000000007f,
    453   0x000000000000007e, 0x000000000000007f,
    454   0x000000000000007e, 0x000000000000007f,
    455   0x000000000000007e, 0x000000000000007f,
    456   0x000000000000007e, 0x000000000000007f,
    457   0x000000000000007e, 0x000000000000007f,
    458   0x000000000000007e, 0x000000000000007f,
    459   0x000000000000007e, 0x000000000000007f,
    460   0x000000000000007e, 0x000000000000007f,
    461   0x000000000000007e, 0x000000000000007f,
    462   0x000000000000007e, 0x000000000000007f,
    463   0x000000000000007e, 0x000000000000007f,
    464   0x000000000000007e, 0x000000000000007f,
    465   0x000000000000007e, 0x000000000000007f,
    466   0x000000000000007e, 0x000000000000007f,
    467   0x000000000000007e, 0x000000000000007f,
    468   0x000000000000007e, 0x000000000000007f,
    469   0x000000000000007e, 0x000000000000007f,
    470   0x000000000000007e, 0x000000000000007f,
    471   0x000000000000007e, 0x000000000000007f,
    472   0x000000000000007e, 0x000000000000007f,
    473   0x000000000000007e, 0x000000000000007f,
    474   0x000000000000007e, 0x000000000000007f,
    475   0x000000000000007e, 0x000000000000007f,
    476   0x000000000000007e, 0x000000000000007f,
    477   0x000000000000007e, 0x000000000000007f,
    478   0x000000000000007e, 0x000000000000007f,
    479   0x000000000000007e, 0x000000000000007f,
    480   0x000000000000007e, 0x000000000000007f,
    481   0x000000000000007e, 0x000000000000007f,
    482   0x000000000000007e, 0x000000000000007f,
    483   0x000000000000007e, 0x000000000000007f,
    484   0x000000000000007e, 0x000000000000007f,
    485   0x000000000000007e, 0x000000000000007f,
    486   0x0000000000000040, 0x0000000000003fff,
    487   0x0000000000000060, 0x0000000000005ffe,
    488   0x0000000000000070, 0x0000000000006ffe,
    489   0x0000000000000078, 0x00000000000077fe,
    490   0x000000000000007c, 0x0000000000007bfe,
    491   0x000000000000007e, 0x0000000000007dfe,
    492   0x000000000000007f, 0x0000000000007efe,
    493   0x000000000000007f, 0x0000000000007f7e,
    494   0x000000000000007f, 0x0000000000007fbe,
    495   0x000000000000007f, 0x0000000000007fde,
    496   0x000000000000007f, 0x0000000000007fee,
    497   0x000000000000007f, 0x0000000000007ff6,
    498   0x000000000000007f, 0x0000000000007ffa,
    499   0x000000000000007f, 0x0000000000007ffc,
    500   0x000000000000007f, 0x0000000000007ffd,
    501   0x000000000000007f, 0x0000000000007ffd,
    502   0x000000000000007f, 0x0000000000007ffd,
    503   0x000000000000007f, 0x0000000000007ffd,
    504   0x000000000000007f, 0x0000000000007ffd,
    505   0x000000000000007f, 0x0000000000007ffd,
    506   0x000000000000007f, 0x0000000000007ffd,
    507   0x000000000000007f, 0x0000000000007ffd,
    508   0x000000000000007f, 0x0000000000007ffd,
    509   0x000000000000007f, 0x0000000000007ffd,
    510   0x000000000000007f, 0x0000000000007ffd,
    511   0x000000000000007f, 0x0000000000007ffd,
    512   0x000000000000007f, 0x0000000000007ffd,
    513   0x000000000000007f, 0x0000000000007ffd,
    514   0x000000000000007f, 0x0000000000007ffd,
    515   0x000000000000007f, 0x0000000000007ffd,
    516   0x000000000000007f, 0x0000000000007ffd,
    517   0x000000000000007f, 0x0000000000007ffd,
    518   0x000000000000007f, 0x0000000000007ffd,
    519   0x000000000000007f, 0x0000000000007ffd,
    520   0x000000000000007f, 0x0000000000007ffd,
    521   0x000000000000007f, 0x0000000000007ffd,
    522   0x000000000000007f, 0x0000000000007ffd,
    523   0x000000000000007f, 0x0000000000007ffd,
    524   0x000000000000007f, 0x0000000000007ffd,
    525   0x000000000000007f, 0x0000000000007ffd,
    526   0x000000000000007f, 0x0000000000007ffd,
    527   0x000000000000007f, 0x0000000000007ffd,
    528   0x000000000000007f, 0x0000000000007ffd,
    529   0x000000000000007f, 0x0000000000007ffd,
    530   0x000000000000007f, 0x0000000000007ffd,
    531   0x000000000000007f, 0x0000000000007ffd,
    532   0x000000000000007f, 0x0000000000007ffd,
    533   0x000000000000007f, 0x0000000000007ffd,
    534   0x000000000000007f, 0x0000000000007ffd,
    535   0x000000000000007f, 0x0000000000007ffd,
    536   0x000000000000007f, 0x0000000000007ffd,
    537   0x000000000000007f, 0x0000000000007ffd,
    538   0x000000000000007f, 0x0000000000007ffd,
    539   0x000000000000007f, 0x0000000000007ffd,
    540   0x000000000000007f, 0x0000000000007ffd,
    541   0x000000000000007f, 0x0000000000007ffd,
    542   0x000000000000007f, 0x0000000000007ffd,
    543   0x000000000000007f, 0x0000000000007ffd,
    544   0x000000000000007f, 0x0000000000007ffd,
    545   0x000000000000007f, 0x0000000000007ffd,
    546   0x000000000000007f, 0x0000000000007ffd,
    547   0x000000000000007f, 0x0000000000007ffd,
    548   0x000000000000007f, 0x0000000000007ffd,
    549   0x000000000000007f, 0x0000000000007ffd,
    550   0x0000000000003fff, 0x0000000000003fff,
    551   0x0000000000005ffe, 0x0000000000005fff,
    552   0x0000000000006ffe, 0x0000000000006fff,
    553   0x00000000000077fe, 0x00000000000077ff,
    554   0x0000000000007bfe, 0x0000000000007bff,
    555   0x0000000000007dfe, 0x0000000000007dff,
    556   0x0000000000007efe, 0x0000000000007eff,
    557   0x0000000000007f7e, 0x0000000000007f7f,
    558   0x0000000000007fbe, 0x0000000000007fbf,
    559   0x0000000000007fde, 0x0000000000007fdf,
    560   0x0000000000007fee, 0x0000000000007fef,
    561   0x0000000000007ff6, 0x0000000000007ff7,
    562   0x0000000000007ffa, 0x0000000000007ffb,
    563   0x0000000000007ffc, 0x0000000000007ffd,
    564   0x0000000000007ffd, 0x0000000000007ffe,
    565   0x0000000000007ffd, 0x0000000000007ffe,
    566   0x0000000000007ffd, 0x0000000000007ffe,
    567   0x0000000000007ffd, 0x0000000000007ffe,
    568   0x0000000000007ffd, 0x0000000000007ffe,
    569   0x0000000000007ffd, 0x0000000000007ffe,
    570   0x0000000000007ffd, 0x0000000000007ffe,
    571   0x0000000000007ffd, 0x0000000000007ffe,
    572   0x0000000000007ffd, 0x0000000000007ffe,
    573   0x0000000000007ffd, 0x0000000000007ffe,
    574   0x0000000000007ffd, 0x0000000000007ffe,
    575   0x0000000000007ffd, 0x0000000000007ffe,
    576   0x0000000000007ffd, 0x0000000000007ffe,
    577   0x0000000000007ffd, 0x0000000000007ffe,
    578   0x0000000000007ffd, 0x0000000000007ffe,
    579   0x0000000000007ffd, 0x0000000000007ffe,
    580   0x0000000000007ffd, 0x0000000000007ffe,
    581   0x0000000000007ffd, 0x0000000000007ffe,
    582   0x0000000000007ffd, 0x0000000000007ffe,
    583   0x0000000000007ffd, 0x0000000000007ffe,
    584   0x0000000000007ffd, 0x0000000000007ffe,
    585   0x0000000000007ffd, 0x0000000000007ffe,
    586   0x0000000000007ffd, 0x0000000000007ffe,
    587   0x0000000000007ffd, 0x0000000000007ffe,
    588   0x0000000000007ffd, 0x0000000000007ffe,
    589   0x0000000000007ffd, 0x0000000000007ffe,
    590   0x0000000000007ffd, 0x0000000000007ffe,
    591   0x0000000000007ffd, 0x0000000000007ffe,
    592   0x0000000000007ffd, 0x0000000000007ffe,
    593   0x0000000000007ffd, 0x0000000000007ffe,
    594   0x0000000000007ffd, 0x0000000000007ffe,
    595   0x0000000000007ffd, 0x0000000000007ffe,
    596   0x0000000000007ffd, 0x0000000000007ffe,
    597   0x0000000000007ffd, 0x0000000000007ffe,
    598   0x0000000000007ffd, 0x0000000000007ffe,
    599   0x0000000000007ffd, 0x0000000000007ffe,
    600   0x0000000000007ffd, 0x0000000000007ffe,
    601   0x0000000000007ffd, 0x0000000000007ffe,
    602   0x0000000000007ffd, 0x0000000000007ffe,
    603   0x0000000000007ffd, 0x0000000000007ffe,
    604   0x0000000000007ffd, 0x0000000000007ffe,
    605   0x0000000000007ffd, 0x0000000000007ffe,
    606   0x0000000000007ffd, 0x0000000000007ffe,
    607   0x0000000000007ffd, 0x0000000000007ffe,
    608   0x0000000000007ffd, 0x0000000000007ffe,
    609   0x0000000000007ffd, 0x0000000000007ffe,
    610   0x0000000000007ffd, 0x0000000000007ffe,
    611   0x0000000000007ffd, 0x0000000000007ffe,
    612   0x0000000000007ffd, 0x0000000000007ffe,
    613   0x0000000000007ffd, 0x0000000000007ffe,
    614   0x0000000000003fff, 0x0000000000004000,
    615   0x0000000000005fff, 0x0000000000006000,
    616   0x0000000000006fff, 0x0000000000007000,
    617   0x00000000000077ff, 0x0000000000007800,
    618   0x0000000000007bff, 0x0000000000007c00,
    619   0x0000000000007dff, 0x0000000000007e00,
    620   0x0000000000007eff, 0x0000000000007f00,
    621   0x0000000000007f7f, 0x0000000000007f80,
    622   0x0000000000007fbf, 0x0000000000007fc0,
    623   0x0000000000007fdf, 0x0000000000007fe0,
    624   0x0000000000007fef, 0x0000000000007ff0,
    625   0x0000000000007ff7, 0x0000000000007ff8,
    626   0x0000000000007ffb, 0x0000000000007ffc,
    627   0x0000000000007ffd, 0x0000000000007ffe,
    628   0x0000000000007ffe, 0x0000000000007fff,
    629   0x0000000000007ffe, 0x0000000000007fff,
    630   0x0000000000007ffe, 0x0000000000007fff,
    631   0x0000000000007ffe, 0x0000000000007fff,
    632   0x0000000000007ffe, 0x0000000000007fff,
    633   0x0000000000007ffe, 0x0000000000007fff,
    634   0x0000000000007ffe, 0x0000000000007fff,
    635   0x0000000000007ffe, 0x0000000000007fff,
    636   0x0000000000007ffe, 0x0000000000007fff,
    637   0x0000000000007ffe, 0x0000000000007fff,
    638   0x0000000000007ffe, 0x0000000000007fff,
    639   0x0000000000007ffe, 0x0000000000007fff,
    640   0x0000000000007ffe, 0x0000000000007fff,
    641   0x0000000000007ffe, 0x0000000000007fff,
    642   0x0000000000007ffe, 0x0000000000007fff,
    643   0x0000000000007ffe, 0x0000000000007fff,
    644   0x0000000000007ffe, 0x0000000000007fff,
    645   0x0000000000007ffe, 0x0000000000007fff,
    646   0x0000000000007ffe, 0x0000000000007fff,
    647   0x0000000000007ffe, 0x0000000000007fff,
    648   0x0000000000007ffe, 0x0000000000007fff,
    649   0x0000000000007ffe, 0x0000000000007fff,
    650   0x0000000000007ffe, 0x0000000000007fff,
    651   0x0000000000007ffe, 0x0000000000007fff,
    652   0x0000000000007ffe, 0x0000000000007fff,
    653   0x0000000000007ffe, 0x0000000000007fff,
    654   0x0000000000007ffe, 0x0000000000007fff,
    655   0x0000000000007ffe, 0x0000000000007fff,
    656   0x0000000000007ffe, 0x0000000000007fff,
    657   0x0000000000007ffe, 0x0000000000007fff,
    658   0x0000000000007ffe, 0x0000000000007fff,
    659   0x0000000000007ffe, 0x0000000000007fff,
    660   0x0000000000007ffe, 0x0000000000007fff,
    661   0x0000000000007ffe, 0x0000000000007fff,
    662   0x0000000000007ffe, 0x0000000000007fff,
    663   0x0000000000007ffe, 0x0000000000007fff,
    664   0x0000000000007ffe, 0x0000000000007fff,
    665   0x0000000000007ffe, 0x0000000000007fff,
    666   0x0000000000007ffe, 0x0000000000007fff,
    667   0x0000000000007ffe, 0x0000000000007fff,
    668   0x0000000000007ffe, 0x0000000000007fff,
    669   0x0000000000007ffe, 0x0000000000007fff,
    670   0x0000000000007ffe, 0x0000000000007fff,
    671   0x0000000000007ffe, 0x0000000000007fff,
    672   0x0000000000007ffe, 0x0000000000007fff,
    673   0x0000000000007ffe, 0x0000000000007fff,
    674   0x0000000000007ffe, 0x0000000000007fff,
    675   0x0000000000007ffe, 0x0000000000007fff,
    676   0x0000000000007ffe, 0x0000000000007fff,
    677   0x0000000000007ffe, 0x0000000000007fff,
    678   0x0000000000004000, 0x000000003fffffff,
    679   0x0000000000006000, 0x000000005ffffffe,
    680   0x0000000000007000, 0x000000006ffffffe,
    681   0x0000000000007800, 0x0000000077fffffe,
    682   0x0000000000007c00, 0x000000007bfffffe,
    683   0x0000000000007e00, 0x000000007dfffffe,
    684   0x0000000000007f00, 0x000000007efffffe,
    685   0x0000000000007f80, 0x000000007f7ffffe,
    686   0x0000000000007fc0, 0x000000007fbffffe,
    687   0x0000000000007fe0, 0x000000007fdffffe,
    688   0x0000000000007ff0, 0x000000007feffffe,
    689   0x0000000000007ff8, 0x000000007ff7fffe,
    690   0x0000000000007ffc, 0x000000007ffbfffe,
    691   0x0000000000007ffe, 0x000000007ffdfffe,
    692   0x0000000000007fff, 0x000000007ffefffe,
    693   0x0000000000007fff, 0x000000007fff7ffe,
    694   0x0000000000007fff, 0x000000007fffbffe,
    695   0x0000000000007fff, 0x000000007fffdffe,
    696   0x0000000000007fff, 0x000000007fffeffe,
    697   0x0000000000007fff, 0x000000007ffff7fe,
    698   0x0000000000007fff, 0x000000007ffffbfe,
    699   0x0000000000007fff, 0x000000007ffffdfe,
    700   0x0000000000007fff, 0x000000007ffffefe,
    701   0x0000000000007fff, 0x000000007fffff7e,
    702   0x0000000000007fff, 0x000000007fffffbe,
    703   0x0000000000007fff, 0x000000007fffffde,
    704   0x0000000000007fff, 0x000000007fffffee,
    705   0x0000000000007fff, 0x000000007ffffff6,
    706   0x0000000000007fff, 0x000000007ffffffa,
    707   0x0000000000007fff, 0x000000007ffffffc,
    708   0x0000000000007fff, 0x000000007ffffffd,
    709   0x0000000000007fff, 0x000000007ffffffd,
    710   0x0000000000007fff, 0x000000007ffffffd,
    711   0x0000000000007fff, 0x000000007ffffffd,
    712   0x0000000000007fff, 0x000000007ffffffd,
    713   0x0000000000007fff, 0x000000007ffffffd,
    714   0x0000000000007fff, 0x000000007ffffffd,
    715   0x0000000000007fff, 0x000000007ffffffd,
    716   0x0000000000007fff, 0x000000007ffffffd,
    717   0x0000000000007fff, 0x000000007ffffffd,
    718   0x0000000000007fff, 0x000000007ffffffd,
    719   0x0000000000007fff, 0x000000007ffffffd,
    720   0x0000000000007fff, 0x000000007ffffffd,
    721   0x0000000000007fff, 0x000000007ffffffd,
    722   0x0000000000007fff, 0x000000007ffffffd,
    723   0x0000000000007fff, 0x000000007ffffffd,
    724   0x0000000000007fff, 0x000000007ffffffd,
    725   0x0000000000007fff, 0x000000007ffffffd,
    726   0x0000000000007fff, 0x000000007ffffffd,
    727   0x0000000000007fff, 0x000000007ffffffd,
    728   0x0000000000007fff, 0x000000007ffffffd,
    729   0x0000000000007fff, 0x000000007ffffffd,
    730   0x0000000000007fff, 0x000000007ffffffd,
    731   0x0000000000007fff, 0x000000007ffffffd,
    732   0x0000000000007fff, 0x000000007ffffffd,
    733   0x0000000000007fff, 0x000000007ffffffd,
    734   0x0000000000007fff, 0x000000007ffffffd,
    735   0x0000000000007fff, 0x000000007ffffffd,
    736   0x0000000000007fff, 0x000000007ffffffd,
    737   0x0000000000007fff, 0x000000007ffffffd,
    738   0x0000000000007fff, 0x000000007ffffffd,
    739   0x0000000000007fff, 0x000000007ffffffd,
    740   0x0000000000007fff, 0x000000007ffffffd,
    741   0x0000000000007fff, 0x000000007ffffffd,
    742   0x000000003fffffff, 0x000000003fffffff,
    743   0x000000005ffffffe, 0x000000005fffffff,
    744   0x000000006ffffffe, 0x000000006fffffff,
    745   0x0000000077fffffe, 0x0000000077ffffff,
    746   0x000000007bfffffe, 0x000000007bffffff,
    747   0x000000007dfffffe, 0x000000007dffffff,
    748   0x000000007efffffe, 0x000000007effffff,
    749   0x000000007f7ffffe, 0x000000007f7fffff,
    750   0x000000007fbffffe, 0x000000007fbfffff,
    751   0x000000007fdffffe, 0x000000007fdfffff,
    752   0x000000007feffffe, 0x000000007fefffff,
    753   0x000000007ff7fffe, 0x000000007ff7ffff,
    754   0x000000007ffbfffe, 0x000000007ffbffff,
    755   0x000000007ffdfffe, 0x000000007ffdffff,
    756   0x000000007ffefffe, 0x000000007ffeffff,
    757   0x000000007fff7ffe, 0x000000007fff7fff,
    758   0x000000007fffbffe, 0x000000007fffbfff,
    759   0x000000007fffdffe, 0x000000007fffdfff,
    760   0x000000007fffeffe, 0x000000007fffefff,
    761   0x000000007ffff7fe, 0x000000007ffff7ff,
    762   0x000000007ffffbfe, 0x000000007ffffbff,
    763   0x000000007ffffdfe, 0x000000007ffffdff,
    764   0x000000007ffffefe, 0x000000007ffffeff,
    765   0x000000007fffff7e, 0x000000007fffff7f,
    766   0x000000007fffffbe, 0x000000007fffffbf,
    767   0x000000007fffffde, 0x000000007fffffdf,
    768   0x000000007fffffee, 0x000000007fffffef,
    769   0x000000007ffffff6, 0x000000007ffffff7,
    770   0x000000007ffffffa, 0x000000007ffffffb,
    771   0x000000007ffffffc, 0x000000007ffffffd,
    772   0x000000007ffffffd, 0x000000007ffffffe,
    773   0x000000007ffffffd, 0x000000007ffffffe,
    774   0x000000007ffffffd, 0x000000007ffffffe,
    775   0x000000007ffffffd, 0x000000007ffffffe,
    776   0x000000007ffffffd, 0x000000007ffffffe,
    777   0x000000007ffffffd, 0x000000007ffffffe,
    778   0x000000007ffffffd, 0x000000007ffffffe,
    779   0x000000007ffffffd, 0x000000007ffffffe,
    780   0x000000007ffffffd, 0x000000007ffffffe,
    781   0x000000007ffffffd, 0x000000007ffffffe,
    782   0x000000007ffffffd, 0x000000007ffffffe,
    783   0x000000007ffffffd, 0x000000007ffffffe,
    784   0x000000007ffffffd, 0x000000007ffffffe,
    785   0x000000007ffffffd, 0x000000007ffffffe,
    786   0x000000007ffffffd, 0x000000007ffffffe,
    787   0x000000007ffffffd, 0x000000007ffffffe,
    788   0x000000007ffffffd, 0x000000007ffffffe,
    789   0x000000007ffffffd, 0x000000007ffffffe,
    790   0x000000007ffffffd, 0x000000007ffffffe,
    791   0x000000007ffffffd, 0x000000007ffffffe,
    792   0x000000007ffffffd, 0x000000007ffffffe,
    793   0x000000007ffffffd, 0x000000007ffffffe,
    794   0x000000007ffffffd, 0x000000007ffffffe,
    795   0x000000007ffffffd, 0x000000007ffffffe,
    796   0x000000007ffffffd, 0x000000007ffffffe,
    797   0x000000007ffffffd, 0x000000007ffffffe,
    798   0x000000007ffffffd, 0x000000007ffffffe,
    799   0x000000007ffffffd, 0x000000007ffffffe,
    800   0x000000007ffffffd, 0x000000007ffffffe,
    801   0x000000007ffffffd, 0x000000007ffffffe,
    802   0x000000007ffffffd, 0x000000007ffffffe,
    803   0x000000007ffffffd, 0x000000007ffffffe,
    804   0x000000007ffffffd, 0x000000007ffffffe,
    805   0x000000007ffffffd, 0x000000007ffffffe,
    806   0x000000003fffffff, 0x0000000040000000,
    807   0x000000005fffffff, 0x0000000060000000,
    808   0x000000006fffffff, 0x0000000070000000,
    809   0x0000000077ffffff, 0x0000000078000000,
    810   0x000000007bffffff, 0x000000007c000000,
    811   0x000000007dffffff, 0x000000007e000000,
    812   0x000000007effffff, 0x000000007f000000,
    813   0x000000007f7fffff, 0x000000007f800000,
    814   0x000000007fbfffff, 0x000000007fc00000,
    815   0x000000007fdfffff, 0x000000007fe00000,
    816   0x000000007fefffff, 0x000000007ff00000,
    817   0x000000007ff7ffff, 0x000000007ff80000,
    818   0x000000007ffbffff, 0x000000007ffc0000,
    819   0x000000007ffdffff, 0x000000007ffe0000,
    820   0x000000007ffeffff, 0x000000007fff0000,
    821   0x000000007fff7fff, 0x000000007fff8000,
    822   0x000000007fffbfff, 0x000000007fffc000,
    823   0x000000007fffdfff, 0x000000007fffe000,
    824   0x000000007fffefff, 0x000000007ffff000,
    825   0x000000007ffff7ff, 0x000000007ffff800,
    826   0x000000007ffffbff, 0x000000007ffffc00,
    827   0x000000007ffffdff, 0x000000007ffffe00,
    828   0x000000007ffffeff, 0x000000007fffff00,
    829   0x000000007fffff7f, 0x000000007fffff80,
    830   0x000000007fffffbf, 0x000000007fffffc0,
    831   0x000000007fffffdf, 0x000000007fffffe0,
    832   0x000000007fffffef, 0x000000007ffffff0,
    833   0x000000007ffffff7, 0x000000007ffffff8,
    834   0x000000007ffffffb, 0x000000007ffffffc,
    835   0x000000007ffffffd, 0x000000007ffffffe,
    836   0x000000007ffffffe, 0x000000007fffffff,
    837   0x000000007ffffffe, 0x000000007fffffff,
    838   0x000000007ffffffe, 0x000000007fffffff,
    839   0x000000007ffffffe, 0x000000007fffffff,
    840   0x000000007ffffffe, 0x000000007fffffff,
    841   0x000000007ffffffe, 0x000000007fffffff,
    842   0x000000007ffffffe, 0x000000007fffffff,
    843   0x000000007ffffffe, 0x000000007fffffff,
    844   0x000000007ffffffe, 0x000000007fffffff,
    845   0x000000007ffffffe, 0x000000007fffffff,
    846   0x000000007ffffffe, 0x000000007fffffff,
    847   0x000000007ffffffe, 0x000000007fffffff,
    848   0x000000007ffffffe, 0x000000007fffffff,
    849   0x000000007ffffffe, 0x000000007fffffff,
    850   0x000000007ffffffe, 0x000000007fffffff,
    851   0x000000007ffffffe, 0x000000007fffffff,
    852   0x000000007ffffffe, 0x000000007fffffff,
    853   0x000000007ffffffe, 0x000000007fffffff,
    854   0x000000007ffffffe, 0x000000007fffffff,
    855   0x000000007ffffffe, 0x000000007fffffff,
    856   0x000000007ffffffe, 0x000000007fffffff,
    857   0x000000007ffffffe, 0x000000007fffffff,
    858   0x000000007ffffffe, 0x000000007fffffff,
    859   0x000000007ffffffe, 0x000000007fffffff,
    860   0x000000007ffffffe, 0x000000007fffffff,
    861   0x000000007ffffffe, 0x000000007fffffff,
    862   0x000000007ffffffe, 0x000000007fffffff,
    863   0x000000007ffffffe, 0x000000007fffffff,
    864   0x000000007ffffffe, 0x000000007fffffff,
    865   0x000000007ffffffe, 0x000000007fffffff,
    866   0x000000007ffffffe, 0x000000007fffffff,
    867   0x000000007ffffffe, 0x000000007fffffff,
    868   0x000000007ffffffe, 0x000000007fffffff,
    869   0x000000007ffffffe, 0x000000007fffffff,
    870   0x0000000040000000, 0x199999999999999a,
    871   0x0000000060000000, 0x2666666666666667,
    872   0x0000000070000000, 0x2ccccccccccccccd,
    873   0x0000000078000000, 0x3000000000000000,
    874   0x000000007c000000, 0x319999999999999a,
    875   0x000000007e000000, 0x3266666666666667,
    876   0x000000007f000000, 0x32cccccccccccccd,
    877   0x000000007f800000, 0x3300000000000000,
    878   0x000000007fc00000, 0x331999999999999a,
    879   0x000000007fe00000, 0x3326666666666667,
    880   0x000000007ff00000, 0x332ccccccccccccd,
    881   0x000000007ff80000, 0x3330000000000000,
    882   0x000000007ffc0000, 0x333199999999999a,
    883   0x000000007ffe0000, 0x3332666666666667,
    884   0x000000007fff0000, 0x3332cccccccccccd,
    885   0x000000007fff8000, 0x3333000000000000,
    886   0x000000007fffc000, 0x333319999999999a,
    887   0x000000007fffe000, 0x3333266666666667,
    888   0x000000007ffff000, 0x33332ccccccccccd,
    889   0x000000007ffff800, 0x3333300000000000,
    890   0x000000007ffffc00, 0x333331999999999a,
    891   0x000000007ffffe00, 0x3333326666666667,
    892   0x000000007fffff00, 0x333332cccccccccd,
    893   0x000000007fffff80, 0x3333330000000000,
    894   0x000000007fffffc0, 0x333333199999999a,
    895   0x000000007fffffe0, 0x3333332666666667,
    896   0x000000007ffffff0, 0x3333332ccccccccd,
    897   0x000000007ffffff8, 0x3333333000000000,
    898   0x000000007ffffffc, 0x333333319999999a,
    899   0x000000007ffffffe, 0x3333333266666667,
    900   0x000000007fffffff, 0x33333332cccccccd,
    901   0x000000007fffffff, 0x3333333300000000,
    902   0x000000007fffffff, 0x333333331999999a,
    903   0x000000007fffffff, 0x3333333326666667,
    904   0x000000007fffffff, 0x333333332ccccccd,
    905   0x000000007fffffff, 0x3333333330000000,
    906   0x000000007fffffff, 0x333333333199999a,
    907   0x000000007fffffff, 0x3333333332666667,
    908   0x000000007fffffff, 0x3333333332cccccd,
    909   0x000000007fffffff, 0x3333333333000000,
    910   0x000000007fffffff, 0x333333333319999a,
    911   0x000000007fffffff, 0x3333333333266667,
    912   0x000000007fffffff, 0x33333333332ccccd,
    913   0x000000007fffffff, 0x3333333333300000,
    914   0x000000007fffffff, 0x333333333331999a,
    915   0x000000007fffffff, 0x3333333333326667,
    916   0x000000007fffffff, 0x333333333332cccd,
    917   0x000000007fffffff, 0x3333333333330000,
    918   0x000000007fffffff, 0x333333333333199a,
    919   0x000000007fffffff, 0x3333333333332667,
    920   0x000000007fffffff, 0x3333333333332ccd,
    921   0x000000007fffffff, 0x3333333333333000,
    922   0x000000007fffffff, 0x333333333333319a,
    923   0x000000007fffffff, 0x3333333333333267,
    924   0x000000007fffffff, 0x33333333333332cd,
    925   0x000000007fffffff, 0x3333333333333300,
    926   0x000000007fffffff, 0x333333333333331a,
    927   0x000000007fffffff, 0x3333333333333327,
    928   0x000000007fffffff, 0x333333333333332d,
    929   0x000000007fffffff, 0x3333333333333330,
    930   0x000000007fffffff, 0x3333333333333332,
    931   0x000000007fffffff, 0x3333333333333333,
    932   0x000000007fffffff, 0x3333333333333333,
    933   0x000000007fffffff, 0x3333333333333333,
    934   0x199999999999999a, 0x2aaaaaaaaaaaaaab,
    935   0x2666666666666667, 0x4000000000000000,
    936   0x2ccccccccccccccd, 0x4aaaaaaaaaaaaaab,
    937   0x3000000000000000, 0x5000000000000000,
    938   0x319999999999999a, 0x52aaaaaaaaaaaaab,
    939   0x3266666666666667, 0x5400000000000000,
    940   0x32cccccccccccccd, 0x54aaaaaaaaaaaaab,
    941   0x3300000000000000, 0x5500000000000000,
    942   0x331999999999999a, 0x552aaaaaaaaaaaab,
    943   0x3326666666666667, 0x5540000000000000,
    944   0x332ccccccccccccd, 0x554aaaaaaaaaaaab,
    945   0x3330000000000000, 0x5550000000000000,
    946   0x333199999999999a, 0x5552aaaaaaaaaaab,
    947   0x3332666666666667, 0x5554000000000000,
    948   0x3332cccccccccccd, 0x5554aaaaaaaaaaab,
    949   0x3333000000000000, 0x5555000000000000,
    950   0x333319999999999a, 0x55552aaaaaaaaaab,
    951   0x3333266666666667, 0x5555400000000000,
    952   0x33332ccccccccccd, 0x55554aaaaaaaaaab,
    953   0x3333300000000000, 0x5555500000000000,
    954   0x333331999999999a, 0x555552aaaaaaaaab,
    955   0x3333326666666667, 0x5555540000000000,
    956   0x333332cccccccccd, 0x555554aaaaaaaaab,
    957   0x3333330000000000, 0x5555550000000000,
    958   0x333333199999999a, 0x5555552aaaaaaaab,
    959   0x3333332666666667, 0x5555554000000000,
    960   0x3333332ccccccccd, 0x5555554aaaaaaaab,
    961   0x3333333000000000, 0x5555555000000000,
    962   0x333333319999999a, 0x55555552aaaaaaab,
    963   0x3333333266666667, 0x5555555400000000,
    964   0x33333332cccccccd, 0x55555554aaaaaaab,
    965   0x3333333300000000, 0x5555555500000000,
    966   0x333333331999999a, 0x555555552aaaaaab,
    967   0x3333333326666667, 0x5555555540000000,
    968   0x333333332ccccccd, 0x555555554aaaaaab,
    969   0x3333333330000000, 0x5555555550000000,
    970   0x333333333199999a, 0x5555555552aaaaab,
    971   0x3333333332666667, 0x5555555554000000,
    972   0x3333333332cccccd, 0x5555555554aaaaab,
    973   0x3333333333000000, 0x5555555555000000,
    974   0x333333333319999a, 0x55555555552aaaab,
    975   0x3333333333266667, 0x5555555555400000,
    976   0x33333333332ccccd, 0x55555555554aaaab,
    977   0x3333333333300000, 0x5555555555500000,
    978   0x333333333331999a, 0x555555555552aaab,
    979   0x3333333333326667, 0x5555555555540000,
    980   0x333333333332cccd, 0x555555555554aaab,
    981   0x3333333333330000, 0x5555555555550000,
    982   0x333333333333199a, 0x5555555555552aab,
    983   0x3333333333332667, 0x5555555555554000,
    984   0x3333333333332ccd, 0x5555555555554aab,
    985   0x3333333333333000, 0x5555555555555000,
    986   0x333333333333319a, 0x55555555555552ab,
    987   0x3333333333333267, 0x5555555555555400,
    988   0x33333333333332cd, 0x55555555555554ab,
    989   0x3333333333333300, 0x5555555555555500,
    990   0x333333333333331a, 0x555555555555552b,
    991   0x3333333333333327, 0x5555555555555540,
    992   0x333333333333332d, 0x555555555555554b,
    993   0x3333333333333330, 0x5555555555555550,
    994   0x3333333333333332, 0x5555555555555553,
    995   0x3333333333333333, 0x5555555555555554,
    996   0x3333333333333333, 0x5555555555555555,
    997   0x3333333333333333, 0x5555555555555555,
    998   0x2aaaaaaaaaaaaaab, 0x3fffffffffffffff,
    999   0x4000000000000000, 0x5ffffffffffffffe,
   1000   0x4aaaaaaaaaaaaaab, 0x6ffffffffffffffe,
   1001   0x5000000000000000, 0x77fffffffffffffe,
   1002   0x52aaaaaaaaaaaaab, 0x7bfffffffffffffe,
   1003   0x5400000000000000, 0x7dfffffffffffffe,
   1004   0x54aaaaaaaaaaaaab, 0x7efffffffffffffe,
   1005   0x5500000000000000, 0x7f7ffffffffffffe,
   1006   0x552aaaaaaaaaaaab, 0x7fbffffffffffffe,
   1007   0x5540000000000000, 0x7fdffffffffffffe,
   1008   0x554aaaaaaaaaaaab, 0x7feffffffffffffe,
   1009   0x5550000000000000, 0x7ff7fffffffffffe,
   1010   0x5552aaaaaaaaaaab, 0x7ffbfffffffffffe,
   1011   0x5554000000000000, 0x7ffdfffffffffffe,
   1012   0x5554aaaaaaaaaaab, 0x7ffefffffffffffe,
   1013   0x5555000000000000, 0x7fff7ffffffffffe,
   1014   0x55552aaaaaaaaaab, 0x7fffbffffffffffe,
   1015   0x5555400000000000, 0x7fffdffffffffffe,
   1016   0x55554aaaaaaaaaab, 0x7fffeffffffffffe,
   1017   0x5555500000000000, 0x7ffff7fffffffffe,
   1018   0x555552aaaaaaaaab, 0x7ffffbfffffffffe,
   1019   0x5555540000000000, 0x7ffffdfffffffffe,
   1020   0x555554aaaaaaaaab, 0x7ffffefffffffffe,
   1021   0x5555550000000000, 0x7fffff7ffffffffe,
   1022   0x5555552aaaaaaaab, 0x7fffffbffffffffe,
   1023   0x5555554000000000, 0x7fffffdffffffffe,
   1024   0x5555554aaaaaaaab, 0x7fffffeffffffffe,
   1025   0x5555555000000000, 0x7ffffff7fffffffe,
   1026   0x55555552aaaaaaab, 0x7ffffffbfffffffe,
   1027   0x5555555400000000, 0x7ffffffdfffffffe,
   1028   0x55555554aaaaaaab, 0x7ffffffefffffffe,
   1029   0x5555555500000000, 0x7fffffff7ffffffe,
   1030   0x555555552aaaaaab, 0x7fffffffbffffffe,
   1031   0x5555555540000000, 0x7fffffffdffffffe,
   1032   0x555555554aaaaaab, 0x7fffffffeffffffe,
   1033   0x5555555550000000, 0x7ffffffff7fffffe,
   1034   0x5555555552aaaaab, 0x7ffffffffbfffffe,
   1035   0x5555555554000000, 0x7ffffffffdfffffe,
   1036   0x5555555554aaaaab, 0x7ffffffffefffffe,
   1037   0x5555555555000000, 0x7fffffffff7ffffe,
   1038   0x55555555552aaaab, 0x7fffffffffbffffe,
   1039   0x5555555555400000, 0x7fffffffffdffffe,
   1040   0x55555555554aaaab, 0x7fffffffffeffffe,
   1041   0x5555555555500000, 0x7ffffffffff7fffe,
   1042   0x555555555552aaab, 0x7ffffffffffbfffe,
   1043   0x5555555555540000, 0x7ffffffffffdfffe,
   1044   0x555555555554aaab, 0x7ffffffffffefffe,
   1045   0x5555555555550000, 0x7fffffffffff7ffe,
   1046   0x5555555555552aab, 0x7fffffffffffbffe,
   1047   0x5555555555554000, 0x7fffffffffffdffe,
   1048   0x5555555555554aab, 0x7fffffffffffeffe,
   1049   0x5555555555555000, 0x7ffffffffffff7fe,
   1050   0x55555555555552ab, 0x7ffffffffffffbfe,
   1051   0x5555555555555400, 0x7ffffffffffffdfe,
   1052   0x55555555555554ab, 0x7ffffffffffffefe,
   1053   0x5555555555555500, 0x7fffffffffffff7e,
   1054   0x555555555555552b, 0x7fffffffffffffbe,
   1055   0x5555555555555540, 0x7fffffffffffffde,
   1056   0x555555555555554b, 0x7fffffffffffffee,
   1057   0x5555555555555550, 0x7ffffffffffffff6,
   1058   0x5555555555555553, 0x7ffffffffffffffa,
   1059   0x5555555555555554, 0x7ffffffffffffffc,
   1060   0x5555555555555555, 0x7ffffffffffffffd,
   1061   0x5555555555555555, 0x7ffffffffffffffd,
   1062   0x3fffffffffffffff, 0x3fffffffffffffff,
   1063   0x5ffffffffffffffe, 0x5fffffffffffffff,
   1064   0x6ffffffffffffffe, 0x6fffffffffffffff,
   1065   0x77fffffffffffffe, 0x77ffffffffffffff,
   1066   0x7bfffffffffffffe, 0x7bffffffffffffff,
   1067   0x7dfffffffffffffe, 0x7dffffffffffffff,
   1068   0x7efffffffffffffe, 0x7effffffffffffff,
   1069   0x7f7ffffffffffffe, 0x7f7fffffffffffff,
   1070   0x7fbffffffffffffe, 0x7fbfffffffffffff,
   1071   0x7fdffffffffffffe, 0x7fdfffffffffffff,
   1072   0x7feffffffffffffe, 0x7fefffffffffffff,
   1073   0x7ff7fffffffffffe, 0x7ff7ffffffffffff,
   1074   0x7ffbfffffffffffe, 0x7ffbffffffffffff,
   1075   0x7ffdfffffffffffe, 0x7ffdffffffffffff,
   1076   0x7ffefffffffffffe, 0x7ffeffffffffffff,
   1077   0x7fff7ffffffffffe, 0x7fff7fffffffffff,
   1078   0x7fffbffffffffffe, 0x7fffbfffffffffff,
   1079   0x7fffdffffffffffe, 0x7fffdfffffffffff,
   1080   0x7fffeffffffffffe, 0x7fffefffffffffff,
   1081   0x7ffff7fffffffffe, 0x7ffff7ffffffffff,
   1082   0x7ffffbfffffffffe, 0x7ffffbffffffffff,
   1083   0x7ffffdfffffffffe, 0x7ffffdffffffffff,
   1084   0x7ffffefffffffffe, 0x7ffffeffffffffff,
   1085   0x7fffff7ffffffffe, 0x7fffff7fffffffff,
   1086   0x7fffffbffffffffe, 0x7fffffbfffffffff,
   1087   0x7fffffdffffffffe, 0x7fffffdfffffffff,
   1088   0x7fffffeffffffffe, 0x7fffffefffffffff,
   1089   0x7ffffff7fffffffe, 0x7ffffff7ffffffff,
   1090   0x7ffffffbfffffffe, 0x7ffffffbffffffff,
   1091   0x7ffffffdfffffffe, 0x7ffffffdffffffff,
   1092   0x7ffffffefffffffe, 0x7ffffffeffffffff,
   1093   0x7fffffff7ffffffe, 0x7fffffff7fffffff,
   1094   0x7fffffffbffffffe, 0x7fffffffbfffffff,
   1095   0x7fffffffdffffffe, 0x7fffffffdfffffff,
   1096   0x7fffffffeffffffe, 0x7fffffffefffffff,
   1097   0x7ffffffff7fffffe, 0x7ffffffff7ffffff,
   1098   0x7ffffffffbfffffe, 0x7ffffffffbffffff,
   1099   0x7ffffffffdfffffe, 0x7ffffffffdffffff,
   1100   0x7ffffffffefffffe, 0x7ffffffffeffffff,
   1101   0x7fffffffff7ffffe, 0x7fffffffff7fffff,
   1102   0x7fffffffffbffffe, 0x7fffffffffbfffff,
   1103   0x7fffffffffdffffe, 0x7fffffffffdfffff,
   1104   0x7fffffffffeffffe, 0x7fffffffffefffff,
   1105   0x7ffffffffff7fffe, 0x7ffffffffff7ffff,
   1106   0x7ffffffffffbfffe, 0x7ffffffffffbffff,
   1107   0x7ffffffffffdfffe, 0x7ffffffffffdffff,
   1108   0x7ffffffffffefffe, 0x7ffffffffffeffff,
   1109   0x7fffffffffff7ffe, 0x7fffffffffff7fff,
   1110   0x7fffffffffffbffe, 0x7fffffffffffbfff,
   1111   0x7fffffffffffdffe, 0x7fffffffffffdfff,
   1112   0x7fffffffffffeffe, 0x7fffffffffffefff,
   1113   0x7ffffffffffff7fe, 0x7ffffffffffff7ff,
   1114   0x7ffffffffffffbfe, 0x7ffffffffffffbff,
   1115   0x7ffffffffffffdfe, 0x7ffffffffffffdff,
   1116   0x7ffffffffffffefe, 0x7ffffffffffffeff,
   1117   0x7fffffffffffff7e, 0x7fffffffffffff7f,
   1118   0x7fffffffffffffbe, 0x7fffffffffffffbf,
   1119   0x7fffffffffffffde, 0x7fffffffffffffdf,
   1120   0x7fffffffffffffee, 0x7fffffffffffffef,
   1121   0x7ffffffffffffff6, 0x7ffffffffffffff7,
   1122   0x7ffffffffffffffa, 0x7ffffffffffffffb,
   1123   0x7ffffffffffffffc, 0x7ffffffffffffffd,
   1124   0x7ffffffffffffffd, 0x7ffffffffffffffe,
   1125   0x7ffffffffffffffd, 0x7ffffffffffffffe,
   1126   0x3fffffffffffffff, 0x4000000000000000,
   1127   0x5fffffffffffffff, 0x6000000000000000,
   1128   0x6fffffffffffffff, 0x7000000000000000,
   1129   0x77ffffffffffffff, 0x7800000000000000,
   1130   0x7bffffffffffffff, 0x7c00000000000000,
   1131   0x7dffffffffffffff, 0x7e00000000000000,
   1132   0x7effffffffffffff, 0x7f00000000000000,
   1133   0x7f7fffffffffffff, 0x7f80000000000000,
   1134   0x7fbfffffffffffff, 0x7fc0000000000000,
   1135   0x7fdfffffffffffff, 0x7fe0000000000000,
   1136   0x7fefffffffffffff, 0x7ff0000000000000,
   1137   0x7ff7ffffffffffff, 0x7ff8000000000000,
   1138   0x7ffbffffffffffff, 0x7ffc000000000000,
   1139   0x7ffdffffffffffff, 0x7ffe000000000000,
   1140   0x7ffeffffffffffff, 0x7fff000000000000,
   1141   0x7fff7fffffffffff, 0x7fff800000000000,
   1142   0x7fffbfffffffffff, 0x7fffc00000000000,
   1143   0x7fffdfffffffffff, 0x7fffe00000000000,
   1144   0x7fffefffffffffff, 0x7ffff00000000000,
   1145   0x7ffff7ffffffffff, 0x7ffff80000000000,
   1146   0x7ffffbffffffffff, 0x7ffffc0000000000,
   1147   0x7ffffdffffffffff, 0x7ffffe0000000000,
   1148   0x7ffffeffffffffff, 0x7fffff0000000000,
   1149   0x7fffff7fffffffff, 0x7fffff8000000000,
   1150   0x7fffffbfffffffff, 0x7fffffc000000000,
   1151   0x7fffffdfffffffff, 0x7fffffe000000000,
   1152   0x7fffffefffffffff, 0x7ffffff000000000,
   1153   0x7ffffff7ffffffff, 0x7ffffff800000000,
   1154   0x7ffffffbffffffff, 0x7ffffffc00000000,
   1155   0x7ffffffdffffffff, 0x7ffffffe00000000,
   1156   0x7ffffffeffffffff, 0x7fffffff00000000,
   1157   0x7fffffff7fffffff, 0x7fffffff80000000,
   1158   0x7fffffffbfffffff, 0x7fffffffc0000000,
   1159   0x7fffffffdfffffff, 0x7fffffffe0000000,
   1160   0x7fffffffefffffff, 0x7ffffffff0000000,
   1161   0x7ffffffff7ffffff, 0x7ffffffff8000000,
   1162   0x7ffffffffbffffff, 0x7ffffffffc000000,
   1163   0x7ffffffffdffffff, 0x7ffffffffe000000,
   1164   0x7ffffffffeffffff, 0x7fffffffff000000,
   1165   0x7fffffffff7fffff, 0x7fffffffff800000,
   1166   0x7fffffffffbfffff, 0x7fffffffffc00000,
   1167   0x7fffffffffdfffff, 0x7fffffffffe00000,
   1168   0x7fffffffffefffff, 0x7ffffffffff00000,
   1169   0x7ffffffffff7ffff, 0x7ffffffffff80000,
   1170   0x7ffffffffffbffff, 0x7ffffffffffc0000,
   1171   0x7ffffffffffdffff, 0x7ffffffffffe0000,
   1172   0x7ffffffffffeffff, 0x7fffffffffff0000,
   1173   0x7fffffffffff7fff, 0x7fffffffffff8000,
   1174   0x7fffffffffffbfff, 0x7fffffffffffc000,
   1175   0x7fffffffffffdfff, 0x7fffffffffffe000,
   1176   0x7fffffffffffefff, 0x7ffffffffffff000,
   1177   0x7ffffffffffff7ff, 0x7ffffffffffff800,
   1178   0x7ffffffffffffbff, 0x7ffffffffffffc00,
   1179   0x7ffffffffffffdff, 0x7ffffffffffffe00,
   1180   0x7ffffffffffffeff, 0x7fffffffffffff00,
   1181   0x7fffffffffffff7f, 0x7fffffffffffff80,
   1182   0x7fffffffffffffbf, 0x7fffffffffffffc0,
   1183   0x7fffffffffffffdf, 0x7fffffffffffffe0,
   1184   0x7fffffffffffffef, 0x7ffffffffffffff0,
   1185   0x7ffffffffffffff7, 0x7ffffffffffffff8,
   1186   0x7ffffffffffffffb, 0x7ffffffffffffffc,
   1187   0x7ffffffffffffffd, 0x7ffffffffffffffe,
   1188   0x7ffffffffffffffe, 0x7fffffffffffffff,
   1189   0x7ffffffffffffffe, 0x7fffffffffffffff,
   1190   0x4000000000000000, 0x4000000000000000,
   1191   0x6000000000000000, 0x6000000000000000,
   1192   0x7000000000000000, 0x7000000000000000,
   1193   0x7800000000000000, 0x7800000000000000,
   1194   0x7c00000000000000, 0x7c00000000000000,
   1195   0x7e00000000000000, 0x7e00000000000000,
   1196   0x7f00000000000000, 0x7f00000000000000,
   1197   0x7f80000000000000, 0x7f80000000000000,
   1198   0x7fc0000000000000, 0x7fc0000000000000,
   1199   0x7fe0000000000000, 0x7fe0000000000000,
   1200   0x7ff0000000000000, 0x7ff0000000000000,
   1201   0x7ff8000000000000, 0x7ff8000000000000,
   1202   0x7ffc000000000000, 0x7ffc000000000000,
   1203   0x7ffe000000000000, 0x7ffe000000000000,
   1204   0x7fff000000000000, 0x7fff000000000000,
   1205   0x7fff800000000000, 0x7fff800000000000,
   1206   0x7fffc00000000000, 0x7fffc00000000000,
   1207   0x7fffe00000000000, 0x7fffe00000000000,
   1208   0x7ffff00000000000, 0x7ffff00000000000,
   1209   0x7ffff80000000000, 0x7ffff80000000000,
   1210   0x7ffffc0000000000, 0x7ffffc0000000000,
   1211   0x7ffffe0000000000, 0x7ffffe0000000000,
   1212   0x7fffff0000000000, 0x7fffff0000000000,
   1213   0x7fffff8000000000, 0x7fffff8000000000,
   1214   0x7fffffc000000000, 0x7fffffc000000000,
   1215   0x7fffffe000000000, 0x7fffffe000000000,
   1216   0x7ffffff000000000, 0x7ffffff000000000,
   1217   0x7ffffff800000000, 0x7ffffff800000000,
   1218   0x7ffffffc00000000, 0x7ffffffc00000000,
   1219   0x7ffffffe00000000, 0x7ffffffe00000000,
   1220   0x7fffffff00000000, 0x7fffffff00000000,
   1221   0x7fffffff80000000, 0x7fffffff80000000,
   1222   0x7fffffffc0000000, 0x7fffffffc0000000,
   1223   0x7fffffffe0000000, 0x7fffffffe0000000,
   1224   0x7ffffffff0000000, 0x7ffffffff0000000,
   1225   0x7ffffffff8000000, 0x7ffffffff8000000,
   1226   0x7ffffffffc000000, 0x7ffffffffc000000,
   1227   0x7ffffffffe000000, 0x7ffffffffe000000,
   1228   0x7fffffffff000000, 0x7fffffffff000000,
   1229   0x7fffffffff800000, 0x7fffffffff800000,
   1230   0x7fffffffffc00000, 0x7fffffffffc00000,
   1231   0x7fffffffffe00000, 0x7fffffffffe00000,
   1232   0x7ffffffffff00000, 0x7ffffffffff00000,
   1233   0x7ffffffffff80000, 0x7ffffffffff80000,
   1234   0x7ffffffffffc0000, 0x7ffffffffffc0000,
   1235   0x7ffffffffffe0000, 0x7ffffffffffe0000,
   1236   0x7fffffffffff0000, 0x7fffffffffff0000,
   1237   0x7fffffffffff8000, 0x7fffffffffff8000,
   1238   0x7fffffffffffc000, 0x7fffffffffffc000,
   1239   0x7fffffffffffe000, 0x7fffffffffffe000,
   1240   0x7ffffffffffff000, 0x7ffffffffffff000,
   1241   0x7ffffffffffff800, 0x7ffffffffffff800,
   1242   0x7ffffffffffffc00, 0x7ffffffffffffc00,
   1243   0x7ffffffffffffe00, 0x7ffffffffffffe00,
   1244   0x7fffffffffffff00, 0x7fffffffffffff00,
   1245   0x7fffffffffffff80, 0x7fffffffffffff80,
   1246   0x7fffffffffffffc0, 0x7fffffffffffffc0,
   1247   0x7fffffffffffffe0, 0x7fffffffffffffe0,
   1248   0x7ffffffffffffff0, 0x7ffffffffffffff0,
   1249   0x7ffffffffffffff8, 0x7ffffffffffffff8,
   1250   0x7ffffffffffffffc, 0x7ffffffffffffffc,
   1251   0x7ffffffffffffffe, 0x7ffffffffffffffe,
   1252   0x7fffffffffffffff, 0x7fffffffffffffff,
   1253   0x7fffffffffffffff, 0x8000000000000000,
   1254   0x4000000000000000, 0x4000000000000001,
   1255   0x6000000000000000, 0x6000000000000001,
   1256   0x7000000000000000, 0x7000000000000001,
   1257   0x7800000000000000, 0x7800000000000001,
   1258   0x7c00000000000000, 0x7c00000000000001,
   1259   0x7e00000000000000, 0x7e00000000000001,
   1260   0x7f00000000000000, 0x7f00000000000001,
   1261   0x7f80000000000000, 0x7f80000000000001,
   1262   0x7fc0000000000000, 0x7fc0000000000001,
   1263   0x7fe0000000000000, 0x7fe0000000000001,
   1264   0x7ff0000000000000, 0x7ff0000000000001,
   1265   0x7ff8000000000000, 0x7ff8000000000001,
   1266   0x7ffc000000000000, 0x7ffc000000000001,
   1267   0x7ffe000000000000, 0x7ffe000000000001,
   1268   0x7fff000000000000, 0x7fff000000000001,
   1269   0x7fff800000000000, 0x7fff800000000001,
   1270   0x7fffc00000000000, 0x7fffc00000000001,
   1271   0x7fffe00000000000, 0x7fffe00000000001,
   1272   0x7ffff00000000000, 0x7ffff00000000001,
   1273   0x7ffff80000000000, 0x7ffff80000000001,
   1274   0x7ffffc0000000000, 0x7ffffc0000000001,
   1275   0x7ffffe0000000000, 0x7ffffe0000000001,
   1276   0x7fffff0000000000, 0x7fffff0000000001,
   1277   0x7fffff8000000000, 0x7fffff8000000001,
   1278   0x7fffffc000000000, 0x7fffffc000000001,
   1279   0x7fffffe000000000, 0x7fffffe000000001,
   1280   0x7ffffff000000000, 0x7ffffff000000001,
   1281   0x7ffffff800000000, 0x7ffffff800000001,
   1282   0x7ffffffc00000000, 0x7ffffffc00000001,
   1283   0x7ffffffe00000000, 0x7ffffffe00000001,
   1284   0x7fffffff00000000, 0x7fffffff00000001,
   1285   0x7fffffff80000000, 0x7fffffff80000001,
   1286   0x7fffffffc0000000, 0x7fffffffc0000001,
   1287   0x7fffffffe0000000, 0x7fffffffe0000001,
   1288   0x7ffffffff0000000, 0x7ffffffff0000001,
   1289   0x7ffffffff8000000, 0x7ffffffff8000001,
   1290   0x7ffffffffc000000, 0x7ffffffffc000001,
   1291   0x7ffffffffe000000, 0x7ffffffffe000001,
   1292   0x7fffffffff000000, 0x7fffffffff000001,
   1293   0x7fffffffff800000, 0x7fffffffff800001,
   1294   0x7fffffffffc00000, 0x7fffffffffc00001,
   1295   0x7fffffffffe00000, 0x7fffffffffe00001,
   1296   0x7ffffffffff00000, 0x7ffffffffff00001,
   1297   0x7ffffffffff80000, 0x7ffffffffff80001,
   1298   0x7ffffffffffc0000, 0x7ffffffffffc0001,
   1299   0x7ffffffffffe0000, 0x7ffffffffffe0001,
   1300   0x7fffffffffff0000, 0x7fffffffffff0001,
   1301   0x7fffffffffff8000, 0x7fffffffffff8001,
   1302   0x7fffffffffffc000, 0x7fffffffffffc001,
   1303   0x7fffffffffffe000, 0x7fffffffffffe001,
   1304   0x7ffffffffffff000, 0x7ffffffffffff001,
   1305   0x7ffffffffffff800, 0x7ffffffffffff801,
   1306   0x7ffffffffffffc00, 0x7ffffffffffffc01,
   1307   0x7ffffffffffffe00, 0x7ffffffffffffe01,
   1308   0x7fffffffffffff00, 0x7fffffffffffff01,
   1309   0x7fffffffffffff80, 0x7fffffffffffff81,
   1310   0x7fffffffffffffc0, 0x7fffffffffffffc1,
   1311   0x7fffffffffffffe0, 0x7fffffffffffffe1,
   1312   0x7ffffffffffffff0, 0x7ffffffffffffff1,
   1313   0x7ffffffffffffff8, 0x7ffffffffffffff9,
   1314   0x7ffffffffffffffc, 0x7ffffffffffffffd,
   1315   0x7ffffffffffffffe, 0x7fffffffffffffff,
   1316   0x7fffffffffffffff, 0x8000000000000000,
   1317   0x8000000000000000, 0x8000000000000001,
   1318   0x4000000000000001, 0x4000000000000001,
   1319   0x6000000000000001, 0x6000000000000002,
   1320   0x7000000000000001, 0x7000000000000002,
   1321   0x7800000000000001, 0x7800000000000002,
   1322   0x7c00000000000001, 0x7c00000000000002,
   1323   0x7e00000000000001, 0x7e00000000000002,
   1324   0x7f00000000000001, 0x7f00000000000002,
   1325   0x7f80000000000001, 0x7f80000000000002,
   1326   0x7fc0000000000001, 0x7fc0000000000002,
   1327   0x7fe0000000000001, 0x7fe0000000000002,
   1328   0x7ff0000000000001, 0x7ff0000000000002,
   1329   0x7ff8000000000001, 0x7ff8000000000002,
   1330   0x7ffc000000000001, 0x7ffc000000000002,
   1331   0x7ffe000000000001, 0x7ffe000000000002,
   1332   0x7fff000000000001, 0x7fff000000000002,
   1333   0x7fff800000000001, 0x7fff800000000002,
   1334   0x7fffc00000000001, 0x7fffc00000000002,
   1335   0x7fffe00000000001, 0x7fffe00000000002,
   1336   0x7ffff00000000001, 0x7ffff00000000002,
   1337   0x7ffff80000000001, 0x7ffff80000000002,
   1338   0x7ffffc0000000001, 0x7ffffc0000000002,
   1339   0x7ffffe0000000001, 0x7ffffe0000000002,
   1340   0x7fffff0000000001, 0x7fffff0000000002,
   1341   0x7fffff8000000001, 0x7fffff8000000002,
   1342   0x7fffffc000000001, 0x7fffffc000000002,
   1343   0x7fffffe000000001, 0x7fffffe000000002,
   1344   0x7ffffff000000001, 0x7ffffff000000002,
   1345   0x7ffffff800000001, 0x7ffffff800000002,
   1346   0x7ffffffc00000001, 0x7ffffffc00000002,
   1347   0x7ffffffe00000001, 0x7ffffffe00000002,
   1348   0x7fffffff00000001, 0x7fffffff00000002,
   1349   0x7fffffff80000001, 0x7fffffff80000002,
   1350   0x7fffffffc0000001, 0x7fffffffc0000002,
   1351   0x7fffffffe0000001, 0x7fffffffe0000002,
   1352   0x7ffffffff0000001, 0x7ffffffff0000002,
   1353   0x7ffffffff8000001, 0x7ffffffff8000002,
   1354   0x7ffffffffc000001, 0x7ffffffffc000002,
   1355   0x7ffffffffe000001, 0x7ffffffffe000002,
   1356   0x7fffffffff000001, 0x7fffffffff000002,
   1357   0x7fffffffff800001, 0x7fffffffff800002,
   1358   0x7fffffffffc00001, 0x7fffffffffc00002,
   1359   0x7fffffffffe00001, 0x7fffffffffe00002,
   1360   0x7ffffffffff00001, 0x7ffffffffff00002,
   1361   0x7ffffffffff80001, 0x7ffffffffff80002,
   1362   0x7ffffffffffc0001, 0x7ffffffffffc0002,
   1363   0x7ffffffffffe0001, 0x7ffffffffffe0002,
   1364   0x7fffffffffff0001, 0x7fffffffffff0002,
   1365   0x7fffffffffff8001, 0x7fffffffffff8002,
   1366   0x7fffffffffffc001, 0x7fffffffffffc002,
   1367   0x7fffffffffffe001, 0x7fffffffffffe002,
   1368   0x7ffffffffffff001, 0x7ffffffffffff002,
   1369   0x7ffffffffffff801, 0x7ffffffffffff802,
   1370   0x7ffffffffffffc01, 0x7ffffffffffffc02,
   1371   0x7ffffffffffffe01, 0x7ffffffffffffe02,
   1372   0x7fffffffffffff01, 0x7fffffffffffff02,
   1373   0x7fffffffffffff81, 0x7fffffffffffff82,
   1374   0x7fffffffffffffc1, 0x7fffffffffffffc2,
   1375   0x7fffffffffffffe1, 0x7fffffffffffffe2,
   1376   0x7ffffffffffffff1, 0x7ffffffffffffff2,
   1377   0x7ffffffffffffff9, 0x7ffffffffffffffa,
   1378   0x7ffffffffffffffd, 0x7ffffffffffffffe,
   1379   0x7fffffffffffffff, 0x8000000000000000,
   1380   0x8000000000000000, 0x8000000000000001,
   1381   0x8000000000000001, 0x8000000000000002,
   1382   0x4000000000000001, 0x4000000000000002,
   1383   0x6000000000000002, 0x6000000000000003,
   1384   0x7000000000000002, 0x7000000000000003,
   1385   0x7800000000000002, 0x7800000000000003,
   1386   0x7c00000000000002, 0x7c00000000000003,
   1387   0x7e00000000000002, 0x7e00000000000003,
   1388   0x7f00000000000002, 0x7f00000000000003,
   1389   0x7f80000000000002, 0x7f80000000000003,
   1390   0x7fc0000000000002, 0x7fc0000000000003,
   1391   0x7fe0000000000002, 0x7fe0000000000003,
   1392   0x7ff0000000000002, 0x7ff0000000000003,
   1393   0x7ff8000000000002, 0x7ff8000000000003,
   1394   0x7ffc000000000002, 0x7ffc000000000003,
   1395   0x7ffe000000000002, 0x7ffe000000000003,
   1396   0x7fff000000000002, 0x7fff000000000003,
   1397   0x7fff800000000002, 0x7fff800000000003,
   1398   0x7fffc00000000002, 0x7fffc00000000003,
   1399   0x7fffe00000000002, 0x7fffe00000000003,
   1400   0x7ffff00000000002, 0x7ffff00000000003,
   1401   0x7ffff80000000002, 0x7ffff80000000003,
   1402   0x7ffffc0000000002, 0x7ffffc0000000003,
   1403   0x7ffffe0000000002, 0x7ffffe0000000003,
   1404   0x7fffff0000000002, 0x7fffff0000000003,
   1405   0x7fffff8000000002, 0x7fffff8000000003,
   1406   0x7fffffc000000002, 0x7fffffc000000003,
   1407   0x7fffffe000000002, 0x7fffffe000000003,
   1408   0x7ffffff000000002, 0x7ffffff000000003,
   1409   0x7ffffff800000002, 0x7ffffff800000003,
   1410   0x7ffffffc00000002, 0x7ffffffc00000003,
   1411   0x7ffffffe00000002, 0x7ffffffe00000003,
   1412   0x7fffffff00000002, 0x7fffffff00000003,
   1413   0x7fffffff80000002, 0x7fffffff80000003,
   1414   0x7fffffffc0000002, 0x7fffffffc0000003,
   1415   0x7fffffffe0000002, 0x7fffffffe0000003,
   1416   0x7ffffffff0000002, 0x7ffffffff0000003,
   1417   0x7ffffffff8000002, 0x7ffffffff8000003,
   1418   0x7ffffffffc000002, 0x7ffffffffc000003,
   1419   0x7ffffffffe000002, 0x7ffffffffe000003,
   1420   0x7fffffffff000002, 0x7fffffffff000003,
   1421   0x7fffffffff800002, 0x7fffffffff800003,
   1422   0x7fffffffffc00002, 0x7fffffffffc00003,
   1423   0x7fffffffffe00002, 0x7fffffffffe00003,
   1424   0x7ffffffffff00002, 0x7ffffffffff00003,
   1425   0x7ffffffffff80002, 0x7ffffffffff80003,
   1426   0x7ffffffffffc0002, 0x7ffffffffffc0003,
   1427   0x7ffffffffffe0002, 0x7ffffffffffe0003,
   1428   0x7fffffffffff0002, 0x7fffffffffff0003,
   1429   0x7fffffffffff8002, 0x7fffffffffff8003,
   1430   0x7fffffffffffc002, 0x7fffffffffffc003,
   1431   0x7fffffffffffe002, 0x7fffffffffffe003,
   1432   0x7ffffffffffff002, 0x7ffffffffffff003,
   1433   0x7ffffffffffff802, 0x7ffffffffffff803,
   1434   0x7ffffffffffffc02, 0x7ffffffffffffc03,
   1435   0x7ffffffffffffe02, 0x7ffffffffffffe03,
   1436   0x7fffffffffffff02, 0x7fffffffffffff03,
   1437   0x7fffffffffffff82, 0x7fffffffffffff83,
   1438   0x7fffffffffffffc2, 0x7fffffffffffffc3,
   1439   0x7fffffffffffffe2, 0x7fffffffffffffe3,
   1440   0x7ffffffffffffff2, 0x7ffffffffffffff3,
   1441   0x7ffffffffffffffa, 0x7ffffffffffffffb,
   1442   0x7ffffffffffffffe, 0x7fffffffffffffff,
   1443   0x8000000000000000, 0x8000000000000001,
   1444   0x8000000000000001, 0x8000000000000002,
   1445   0x8000000000000002, 0x8000000000000003,
   1446   0x4000000000000002, 0x5555555555555555,
   1447   0x6000000000000003, 0x8000000000000000,
   1448   0x7000000000000003, 0x9555555555555555,
   1449   0x7800000000000003, 0xa000000000000000,
   1450   0x7c00000000000003, 0xa555555555555555,
   1451   0x7e00000000000003, 0xa800000000000000,
   1452   0x7f00000000000003, 0xa955555555555555,
   1453   0x7f80000000000003, 0xaa00000000000000,
   1454   0x7fc0000000000003, 0xaa55555555555555,
   1455   0x7fe0000000000003, 0xaa80000000000000,
   1456   0x7ff0000000000003, 0xaa95555555555555,
   1457   0x7ff8000000000003, 0xaaa0000000000000,
   1458   0x7ffc000000000003, 0xaaa5555555555555,
   1459   0x7ffe000000000003, 0xaaa8000000000000,
   1460   0x7fff000000000003, 0xaaa9555555555555,
   1461   0x7fff800000000003, 0xaaaa000000000000,
   1462   0x7fffc00000000003, 0xaaaa555555555555,
   1463   0x7fffe00000000003, 0xaaaa800000000000,
   1464   0x7ffff00000000003, 0xaaaa955555555555,
   1465   0x7ffff80000000003, 0xaaaaa00000000000,
   1466   0x7ffffc0000000003, 0xaaaaa55555555555,
   1467   0x7ffffe0000000003, 0xaaaaa80000000000,
   1468   0x7fffff0000000003, 0xaaaaa95555555555,
   1469   0x7fffff8000000003, 0xaaaaaa0000000000,
   1470   0x7fffffc000000003, 0xaaaaaa5555555555,
   1471   0x7fffffe000000003, 0xaaaaaa8000000000,
   1472   0x7ffffff000000003, 0xaaaaaa9555555555,
   1473   0x7ffffff800000003, 0xaaaaaaa000000000,
   1474   0x7ffffffc00000003, 0xaaaaaaa555555555,
   1475   0x7ffffffe00000003, 0xaaaaaaa800000000,
   1476   0x7fffffff00000003, 0xaaaaaaa955555555,
   1477   0x7fffffff80000003, 0xaaaaaaaa00000000,
   1478   0x7fffffffc0000003, 0xaaaaaaaa55555555,
   1479   0x7fffffffe0000003, 0xaaaaaaaa80000000,
   1480   0x7ffffffff0000003, 0xaaaaaaaa95555555,
   1481   0x7ffffffff8000003, 0xaaaaaaaaa0000000,
   1482   0x7ffffffffc000003, 0xaaaaaaaaa5555555,
   1483   0x7ffffffffe000003, 0xaaaaaaaaa8000000,
   1484   0x7fffffffff000003, 0xaaaaaaaaa9555555,
   1485   0x7fffffffff800003, 0xaaaaaaaaaa000000,
   1486   0x7fffffffffc00003, 0xaaaaaaaaaa555555,
   1487   0x7fffffffffe00003, 0xaaaaaaaaaa800000,
   1488   0x7ffffffffff00003, 0xaaaaaaaaaa955555,
   1489   0x7ffffffffff80003, 0xaaaaaaaaaaa00000,
   1490   0x7ffffffffffc0003, 0xaaaaaaaaaaa55555,
   1491   0x7ffffffffffe0003, 0xaaaaaaaaaaa80000,
   1492   0x7fffffffffff0003, 0xaaaaaaaaaaa95555,
   1493   0x7fffffffffff8003, 0xaaaaaaaaaaaa0000,
   1494   0x7fffffffffffc003, 0xaaaaaaaaaaaa5555,
   1495   0x7fffffffffffe003, 0xaaaaaaaaaaaa8000,
   1496   0x7ffffffffffff003, 0xaaaaaaaaaaaa9555,
   1497   0x7ffffffffffff803, 0xaaaaaaaaaaaaa000,
   1498   0x7ffffffffffffc03, 0xaaaaaaaaaaaaa555,
   1499   0x7ffffffffffffe03, 0xaaaaaaaaaaaaa800,
   1500   0x7fffffffffffff03, 0xaaaaaaaaaaaaa955,
   1501   0x7fffffffffffff83, 0xaaaaaaaaaaaaaa00,
   1502   0x7fffffffffffffc3, 0xaaaaaaaaaaaaaa55,
   1503   0x7fffffffffffffe3, 0xaaaaaaaaaaaaaa80,
   1504   0x7ffffffffffffff3, 0xaaaaaaaaaaaaaa95,
   1505   0x7ffffffffffffffb, 0xaaaaaaaaaaaaaaa0,
   1506   0x7fffffffffffffff, 0xaaaaaaaaaaaaaaa5,
   1507   0x8000000000000001, 0xaaaaaaaaaaaaaaa8,
   1508   0x8000000000000002, 0xaaaaaaaaaaaaaaa9,
   1509   0x8000000000000003, 0xaaaaaaaaaaaaaaaa,
   1510   0x5555555555555555, 0x6666666666666666,
   1511   0x8000000000000000, 0x9999999999999999,
   1512   0x9555555555555555, 0xb333333333333333,
   1513   0xa000000000000000, 0xc000000000000000,
   1514   0xa555555555555555, 0xc666666666666666,
   1515   0xa800000000000000, 0xc999999999999999,
   1516   0xa955555555555555, 0xcb33333333333333,
   1517   0xaa00000000000000, 0xcc00000000000000,
   1518   0xaa55555555555555, 0xcc66666666666666,
   1519   0xaa80000000000000, 0xcc99999999999999,
   1520   0xaa95555555555555, 0xccb3333333333333,
   1521   0xaaa0000000000000, 0xccc0000000000000,
   1522   0xaaa5555555555555, 0xccc6666666666666,
   1523   0xaaa8000000000000, 0xccc9999999999999,
   1524   0xaaa9555555555555, 0xcccb333333333333,
   1525   0xaaaa000000000000, 0xcccc000000000000,
   1526   0xaaaa555555555555, 0xcccc666666666666,
   1527   0xaaaa800000000000, 0xcccc999999999999,
   1528   0xaaaa955555555555, 0xccccb33333333333,
   1529   0xaaaaa00000000000, 0xccccc00000000000,
   1530   0xaaaaa55555555555, 0xccccc66666666666,
   1531   0xaaaaa80000000000, 0xccccc99999999999,
   1532   0xaaaaa95555555555, 0xcccccb3333333333,
   1533   0xaaaaaa0000000000, 0xcccccc0000000000,
   1534   0xaaaaaa5555555555, 0xcccccc6666666666,
   1535   0xaaaaaa8000000000, 0xcccccc9999999999,
   1536   0xaaaaaa9555555555, 0xccccccb333333333,
   1537   0xaaaaaaa000000000, 0xccccccc000000000,
   1538   0xaaaaaaa555555555, 0xccccccc666666666,
   1539   0xaaaaaaa800000000, 0xccccccc999999999,
   1540   0xaaaaaaa955555555, 0xcccccccb33333333,
   1541   0xaaaaaaaa00000000, 0xcccccccc00000000,
   1542   0xaaaaaaaa55555555, 0xcccccccc66666666,
   1543   0xaaaaaaaa80000000, 0xcccccccc99999999,
   1544   0xaaaaaaaa95555555, 0xccccccccb3333333,
   1545   0xaaaaaaaaa0000000, 0xccccccccc0000000,
   1546   0xaaaaaaaaa5555555, 0xccccccccc6666666,
   1547   0xaaaaaaaaa8000000, 0xccccccccc9999999,
   1548   0xaaaaaaaaa9555555, 0xcccccccccb333333,
   1549   0xaaaaaaaaaa000000, 0xcccccccccc000000,
   1550   0xaaaaaaaaaa555555, 0xcccccccccc666666,
   1551   0xaaaaaaaaaa800000, 0xcccccccccc999999,
   1552   0xaaaaaaaaaa955555, 0xccccccccccb33333,
   1553   0xaaaaaaaaaaa00000, 0xccccccccccc00000,
   1554   0xaaaaaaaaaaa55555, 0xccccccccccc66666,
   1555   0xaaaaaaaaaaa80000, 0xccccccccccc99999,
   1556   0xaaaaaaaaaaa95555, 0xcccccccccccb3333,
   1557   0xaaaaaaaaaaaa0000, 0xcccccccccccc0000,
   1558   0xaaaaaaaaaaaa5555, 0xcccccccccccc6666,
   1559   0xaaaaaaaaaaaa8000, 0xcccccccccccc9999,
   1560   0xaaaaaaaaaaaa9555, 0xccccccccccccb333,
   1561   0xaaaaaaaaaaaaa000, 0xccccccccccccc000,
   1562   0xaaaaaaaaaaaaa555, 0xccccccccccccc666,
   1563   0xaaaaaaaaaaaaa800, 0xccccccccccccc999,
   1564   0xaaaaaaaaaaaaa955, 0xcccccccccccccb33,
   1565   0xaaaaaaaaaaaaaa00, 0xcccccccccccccc00,
   1566   0xaaaaaaaaaaaaaa55, 0xcccccccccccccc66,
   1567   0xaaaaaaaaaaaaaa80, 0xcccccccccccccc99,
   1568   0xaaaaaaaaaaaaaa95, 0xccccccccccccccb3,
   1569   0xaaaaaaaaaaaaaaa0, 0xccccccccccccccc0,
   1570   0xaaaaaaaaaaaaaaa5, 0xccccccccccccccc6,
   1571   0xaaaaaaaaaaaaaaa8, 0xccccccccccccccc9,
   1572   0xaaaaaaaaaaaaaaa9, 0xcccccccccccccccb,
   1573   0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccc,
   1574   0x6666666666666666, 0x7fffffffc0000000,
   1575   0x9999999999999999, 0xbfffffffa0000000,
   1576   0xb333333333333333, 0xdfffffff90000000,
   1577   0xc000000000000000, 0xefffffff88000000,
   1578   0xc666666666666666, 0xf7ffffff84000000,
   1579   0xc999999999999999, 0xfbffffff82000000,
   1580   0xcb33333333333333, 0xfdffffff81000000,
   1581   0xcc00000000000000, 0xfeffffff80800000,
   1582   0xcc66666666666666, 0xff7fffff80400000,
   1583   0xcc99999999999999, 0xffbfffff80200000,
   1584   0xccb3333333333333, 0xffdfffff80100000,
   1585   0xccc0000000000000, 0xffefffff80080000,
   1586   0xccc6666666666666, 0xfff7ffff80040000,
   1587   0xccc9999999999999, 0xfffbffff80020000,
   1588   0xcccb333333333333, 0xfffdffff80010000,
   1589   0xcccc000000000000, 0xfffeffff80008000,
   1590   0xcccc666666666666, 0xffff7fff80004000,
   1591   0xcccc999999999999, 0xffffbfff80002000,
   1592   0xccccb33333333333, 0xffffdfff80001000,
   1593   0xccccc00000000000, 0xffffefff80000800,
   1594   0xccccc66666666666, 0xfffff7ff80000400,
   1595   0xccccc99999999999, 0xfffffbff80000200,
   1596   0xcccccb3333333333, 0xfffffdff80000100,
   1597   0xcccccc0000000000, 0xfffffeff80000080,
   1598   0xcccccc6666666666, 0xffffff7f80000040,
   1599   0xcccccc9999999999, 0xffffffbf80000020,
   1600   0xccccccb333333333, 0xffffffdf80000010,
   1601   0xccccccc000000000, 0xffffffef80000008,
   1602   0xccccccc666666666, 0xfffffff780000004,
   1603   0xccccccc999999999, 0xfffffffb80000002,
   1604   0xcccccccb33333333, 0xfffffffd80000001,
   1605   0xcccccccc00000000, 0xfffffffe80000001,
   1606   0xcccccccc66666666, 0xffffffff00000001,
   1607   0xcccccccc99999999, 0xffffffff40000001,
   1608   0xccccccccb3333333, 0xffffffff60000001,
   1609   0xccccccccc0000000, 0xffffffff70000001,
   1610   0xccccccccc6666666, 0xffffffff78000001,
   1611   0xccccccccc9999999, 0xffffffff7c000001,
   1612   0xcccccccccb333333, 0xffffffff7e000001,
   1613   0xcccccccccc000000, 0xffffffff7f000001,
   1614   0xcccccccccc666666, 0xffffffff7f800001,
   1615   0xcccccccccc999999, 0xffffffff7fc00001,
   1616   0xccccccccccb33333, 0xffffffff7fe00001,
   1617   0xccccccccccc00000, 0xffffffff7ff00001,
   1618   0xccccccccccc66666, 0xffffffff7ff80001,
   1619   0xccccccccccc99999, 0xffffffff7ffc0001,
   1620   0xcccccccccccb3333, 0xffffffff7ffe0001,
   1621   0xcccccccccccc0000, 0xffffffff7fff0001,
   1622   0xcccccccccccc6666, 0xffffffff7fff8001,
   1623   0xcccccccccccc9999, 0xffffffff7fffc001,
   1624   0xccccccccccccb333, 0xffffffff7fffe001,
   1625   0xccccccccccccc000, 0xffffffff7ffff001,
   1626   0xccccccccccccc666, 0xffffffff7ffff801,
   1627   0xccccccccccccc999, 0xffffffff7ffffc01,
   1628   0xcccccccccccccb33, 0xffffffff7ffffe01,
   1629   0xcccccccccccccc00, 0xffffffff7fffff01,
   1630   0xcccccccccccccc66, 0xffffffff7fffff81,
   1631   0xcccccccccccccc99, 0xffffffff7fffffc1,
   1632   0xccccccccccccccb3, 0xffffffff7fffffe1,
   1633   0xccccccccccccccc0, 0xffffffff7ffffff1,
   1634   0xccccccccccccccc6, 0xffffffff7ffffff9,
   1635   0xccccccccccccccc9, 0xffffffff7ffffffd,
   1636   0xcccccccccccccccb, 0xffffffff7fffffff,
   1637   0xcccccccccccccccc, 0xffffffff80000000,
   1638   0x7fffffffc0000000, 0x7fffffffc0000001,
   1639   0xbfffffffa0000000, 0xbfffffffa0000001,
   1640   0xdfffffff90000000, 0xdfffffff90000001,
   1641   0xefffffff88000000, 0xefffffff88000001,
   1642   0xf7ffffff84000000, 0xf7ffffff84000001,
   1643   0xfbffffff82000000, 0xfbffffff82000001,
   1644   0xfdffffff81000000, 0xfdffffff81000001,
   1645   0xfeffffff80800000, 0xfeffffff80800001,
   1646   0xff7fffff80400000, 0xff7fffff80400001,
   1647   0xffbfffff80200000, 0xffbfffff80200001,
   1648   0xffdfffff80100000, 0xffdfffff80100001,
   1649   0xffefffff80080000, 0xffefffff80080001,
   1650   0xfff7ffff80040000, 0xfff7ffff80040001,
   1651   0xfffbffff80020000, 0xfffbffff80020001,
   1652   0xfffdffff80010000, 0xfffdffff80010001,
   1653   0xfffeffff80008000, 0xfffeffff80008001,
   1654   0xffff7fff80004000, 0xffff7fff80004001,
   1655   0xffffbfff80002000, 0xffffbfff80002001,
   1656   0xffffdfff80001000, 0xffffdfff80001001,
   1657   0xffffefff80000800, 0xffffefff80000801,
   1658   0xfffff7ff80000400, 0xfffff7ff80000401,
   1659   0xfffffbff80000200, 0xfffffbff80000201,
   1660   0xfffffdff80000100, 0xfffffdff80000101,
   1661   0xfffffeff80000080, 0xfffffeff80000081,
   1662   0xffffff7f80000040, 0xffffff7f80000041,
   1663   0xffffffbf80000020, 0xffffffbf80000021,
   1664   0xffffffdf80000010, 0xffffffdf80000011,
   1665   0xffffffef80000008, 0xffffffef80000009,
   1666   0xfffffff780000004, 0xfffffff780000005,
   1667   0xfffffffb80000002, 0xfffffffb80000003,
   1668   0xfffffffd80000001, 0xfffffffd80000002,
   1669   0xfffffffe80000001, 0xfffffffe80000002,
   1670   0xffffffff00000001, 0xffffffff00000002,
   1671   0xffffffff40000001, 0xffffffff40000002,
   1672   0xffffffff60000001, 0xffffffff60000002,
   1673   0xffffffff70000001, 0xffffffff70000002,
   1674   0xffffffff78000001, 0xffffffff78000002,
   1675   0xffffffff7c000001, 0xffffffff7c000002,
   1676   0xffffffff7e000001, 0xffffffff7e000002,
   1677   0xffffffff7f000001, 0xffffffff7f000002,
   1678   0xffffffff7f800001, 0xffffffff7f800002,
   1679   0xffffffff7fc00001, 0xffffffff7fc00002,
   1680   0xffffffff7fe00001, 0xffffffff7fe00002,
   1681   0xffffffff7ff00001, 0xffffffff7ff00002,
   1682   0xffffffff7ff80001, 0xffffffff7ff80002,
   1683   0xffffffff7ffc0001, 0xffffffff7ffc0002,
   1684   0xffffffff7ffe0001, 0xffffffff7ffe0002,
   1685   0xffffffff7fff0001, 0xffffffff7fff0002,
   1686   0xffffffff7fff8001, 0xffffffff7fff8002,
   1687   0xffffffff7fffc001, 0xffffffff7fffc002,
   1688   0xffffffff7fffe001, 0xffffffff7fffe002,
   1689   0xffffffff7ffff001, 0xffffffff7ffff002,
   1690   0xffffffff7ffff801, 0xffffffff7ffff802,
   1691   0xffffffff7ffffc01, 0xffffffff7ffffc02,
   1692   0xffffffff7ffffe01, 0xffffffff7ffffe02,
   1693   0xffffffff7fffff01, 0xffffffff7fffff02,
   1694   0xffffffff7fffff81, 0xffffffff7fffff82,
   1695   0xffffffff7fffffc1, 0xffffffff7fffffc2,
   1696   0xffffffff7fffffe1, 0xffffffff7fffffe2,
   1697   0xffffffff7ffffff1, 0xffffffff7ffffff2,
   1698   0xffffffff7ffffff9, 0xffffffff7ffffffa,
   1699   0xffffffff7ffffffd, 0xffffffff7ffffffe,
   1700   0xffffffff7fffffff, 0xffffffff80000000,
   1701   0xffffffff80000000, 0xffffffff80000001,
   1702   0x7fffffffc0000001, 0x7fffffffc0000001,
   1703   0xbfffffffa0000001, 0xbfffffffa0000002,
   1704   0xdfffffff90000001, 0xdfffffff90000002,
   1705   0xefffffff88000001, 0xefffffff88000002,
   1706   0xf7ffffff84000001, 0xf7ffffff84000002,
   1707   0xfbffffff82000001, 0xfbffffff82000002,
   1708   0xfdffffff81000001, 0xfdffffff81000002,
   1709   0xfeffffff80800001, 0xfeffffff80800002,
   1710   0xff7fffff80400001, 0xff7fffff80400002,
   1711   0xffbfffff80200001, 0xffbfffff80200002,
   1712   0xffdfffff80100001, 0xffdfffff80100002,
   1713   0xffefffff80080001, 0xffefffff80080002,
   1714   0xfff7ffff80040001, 0xfff7ffff80040002,
   1715   0xfffbffff80020001, 0xfffbffff80020002,
   1716   0xfffdffff80010001, 0xfffdffff80010002,
   1717   0xfffeffff80008001, 0xfffeffff80008002,
   1718   0xffff7fff80004001, 0xffff7fff80004002,
   1719   0xffffbfff80002001, 0xffffbfff80002002,
   1720   0xffffdfff80001001, 0xffffdfff80001002,
   1721   0xffffefff80000801, 0xffffefff80000802,
   1722   0xfffff7ff80000401, 0xfffff7ff80000402,
   1723   0xfffffbff80000201, 0xfffffbff80000202,
   1724   0xfffffdff80000101, 0xfffffdff80000102,
   1725   0xfffffeff80000081, 0xfffffeff80000082,
   1726   0xffffff7f80000041, 0xffffff7f80000042,
   1727   0xffffffbf80000021, 0xffffffbf80000022,
   1728   0xffffffdf80000011, 0xffffffdf80000012,
   1729   0xffffffef80000009, 0xffffffef8000000a,
   1730   0xfffffff780000005, 0xfffffff780000006,
   1731   0xfffffffb80000003, 0xfffffffb80000004,
   1732   0xfffffffd80000002, 0xfffffffd80000003,
   1733   0xfffffffe80000002, 0xfffffffe80000003,
   1734   0xffffffff00000002, 0xffffffff00000003,
   1735   0xffffffff40000002, 0xffffffff40000003,
   1736   0xffffffff60000002, 0xffffffff60000003,
   1737   0xffffffff70000002, 0xffffffff70000003,
   1738   0xffffffff78000002, 0xffffffff78000003,
   1739   0xffffffff7c000002, 0xffffffff7c000003,
   1740   0xffffffff7e000002, 0xffffffff7e000003,
   1741   0xffffffff7f000002, 0xffffffff7f000003,
   1742   0xffffffff7f800002, 0xffffffff7f800003,
   1743   0xffffffff7fc00002, 0xffffffff7fc00003,
   1744   0xffffffff7fe00002, 0xffffffff7fe00003,
   1745   0xffffffff7ff00002, 0xffffffff7ff00003,
   1746   0xffffffff7ff80002, 0xffffffff7ff80003,
   1747   0xffffffff7ffc0002, 0xffffffff7ffc0003,
   1748   0xffffffff7ffe0002, 0xffffffff7ffe0003,
   1749   0xffffffff7fff0002, 0xffffffff7fff0003,
   1750   0xffffffff7fff8002, 0xffffffff7fff8003,
   1751   0xffffffff7fffc002, 0xffffffff7fffc003,
   1752   0xffffffff7fffe002, 0xffffffff7fffe003,
   1753   0xffffffff7ffff002, 0xffffffff7ffff003,
   1754   0xffffffff7ffff802, 0xffffffff7ffff803,
   1755   0xffffffff7ffffc02, 0xffffffff7ffffc03,
   1756   0xffffffff7ffffe02, 0xffffffff7ffffe03,
   1757   0xffffffff7fffff02, 0xffffffff7fffff03,
   1758   0xffffffff7fffff82, 0xffffffff7fffff83,
   1759   0xffffffff7fffffc2, 0xffffffff7fffffc3,
   1760   0xffffffff7fffffe2, 0xffffffff7fffffe3,
   1761   0xffffffff7ffffff2, 0xffffffff7ffffff3,
   1762   0xffffffff7ffffffa, 0xffffffff7ffffffb,
   1763   0xffffffff7ffffffe, 0xffffffff7fffffff,
   1764   0xffffffff80000000, 0xffffffff80000001,
   1765   0xffffffff80000001, 0xffffffff80000002,
   1766   0x7fffffffc0000001, 0x7fffffffc0000002,
   1767   0xbfffffffa0000002, 0xbfffffffa0000003,
   1768   0xdfffffff90000002, 0xdfffffff90000003,
   1769   0xefffffff88000002, 0xefffffff88000003,
   1770   0xf7ffffff84000002, 0xf7ffffff84000003,
   1771   0xfbffffff82000002, 0xfbffffff82000003,
   1772   0xfdffffff81000002, 0xfdffffff81000003,
   1773   0xfeffffff80800002, 0xfeffffff80800003,
   1774   0xff7fffff80400002, 0xff7fffff80400003,
   1775   0xffbfffff80200002, 0xffbfffff80200003,
   1776   0xffdfffff80100002, 0xffdfffff80100003,
   1777   0xffefffff80080002, 0xffefffff80080003,
   1778   0xfff7ffff80040002, 0xfff7ffff80040003,
   1779   0xfffbffff80020002, 0xfffbffff80020003,
   1780   0xfffdffff80010002, 0xfffdffff80010003,
   1781   0xfffeffff80008002, 0xfffeffff80008003,
   1782   0xffff7fff80004002, 0xffff7fff80004003,
   1783   0xffffbfff80002002, 0xffffbfff80002003,
   1784   0xffffdfff80001002, 0xffffdfff80001003,
   1785   0xffffefff80000802, 0xffffefff80000803,
   1786   0xfffff7ff80000402, 0xfffff7ff80000403,
   1787   0xfffffbff80000202, 0xfffffbff80000203,
   1788   0xfffffdff80000102, 0xfffffdff80000103,
   1789   0xfffffeff80000082, 0xfffffeff80000083,
   1790   0xffffff7f80000042, 0xffffff7f80000043,
   1791   0xffffffbf80000022, 0xffffffbf80000023,
   1792   0xffffffdf80000012, 0xffffffdf80000013,
   1793   0xffffffef8000000a, 0xffffffef8000000b,
   1794   0xfffffff780000006, 0xfffffff780000007,
   1795   0xfffffffb80000004, 0xfffffffb80000005,
   1796   0xfffffffd80000003, 0xfffffffd80000004,
   1797   0xfffffffe80000003, 0xfffffffe80000004,
   1798   0xffffffff00000003, 0xffffffff00000004,
   1799   0xffffffff40000003, 0xffffffff40000004,
   1800   0xffffffff60000003, 0xffffffff60000004,
   1801   0xffffffff70000003, 0xffffffff70000004,
   1802   0xffffffff78000003, 0xffffffff78000004,
   1803   0xffffffff7c000003, 0xffffffff7c000004,
   1804   0xffffffff7e000003, 0xffffffff7e000004,
   1805   0xffffffff7f000003, 0xffffffff7f000004,
   1806   0xffffffff7f800003, 0xffffffff7f800004,
   1807   0xffffffff7fc00003, 0xffffffff7fc00004,
   1808   0xffffffff7fe00003, 0xffffffff7fe00004,
   1809   0xffffffff7ff00003, 0xffffffff7ff00004,
   1810   0xffffffff7ff80003, 0xffffffff7ff80004,
   1811   0xffffffff7ffc0003, 0xffffffff7ffc0004,
   1812   0xffffffff7ffe0003, 0xffffffff7ffe0004,
   1813   0xffffffff7fff0003, 0xffffffff7fff0004,
   1814   0xffffffff7fff8003, 0xffffffff7fff8004,
   1815   0xffffffff7fffc003, 0xffffffff7fffc004,
   1816   0xffffffff7fffe003, 0xffffffff7fffe004,
   1817   0xffffffff7ffff003, 0xffffffff7ffff004,
   1818   0xffffffff7ffff803, 0xffffffff7ffff804,
   1819   0xffffffff7ffffc03, 0xffffffff7ffffc04,
   1820   0xffffffff7ffffe03, 0xffffffff7ffffe04,
   1821   0xffffffff7fffff03, 0xffffffff7fffff04,
   1822   0xffffffff7fffff83, 0xffffffff7fffff84,
   1823   0xffffffff7fffffc3, 0xffffffff7fffffc4,
   1824   0xffffffff7fffffe3, 0xffffffff7fffffe4,
   1825   0xffffffff7ffffff3, 0xffffffff7ffffff4,
   1826   0xffffffff7ffffffb, 0xffffffff7ffffffc,
   1827   0xffffffff7fffffff, 0xffffffff80000000,
   1828   0xffffffff80000001, 0xffffffff80000002,
   1829   0xffffffff80000002, 0xffffffff80000003,
   1830   0x7fffffffc0000002, 0x7fffffffffffc000,
   1831   0xbfffffffa0000003, 0xbfffffffffffa000,
   1832   0xdfffffff90000003, 0xdfffffffffff9000,
   1833   0xefffffff88000003, 0xefffffffffff8800,
   1834   0xf7ffffff84000003, 0xf7ffffffffff8400,
   1835   0xfbffffff82000003, 0xfbffffffffff8200,
   1836   0xfdffffff81000003, 0xfdffffffffff8100,
   1837   0xfeffffff80800003, 0xfeffffffffff8080,
   1838   0xff7fffff80400003, 0xff7fffffffff8040,
   1839   0xffbfffff80200003, 0xffbfffffffff8020,
   1840   0xffdfffff80100003, 0xffdfffffffff8010,
   1841   0xffefffff80080003, 0xffefffffffff8008,
   1842   0xfff7ffff80040003, 0xfff7ffffffff8004,
   1843   0xfffbffff80020003, 0xfffbffffffff8002,
   1844   0xfffdffff80010003, 0xfffdffffffff8001,
   1845   0xfffeffff80008003, 0xfffeffffffff8001,
   1846   0xffff7fff80004003, 0xffff7fffffff8001,
   1847   0xffffbfff80002003, 0xffffbfffffff8001,
   1848   0xffffdfff80001003, 0xffffdfffffff8001,
   1849   0xffffefff80000803, 0xffffefffffff8001,
   1850   0xfffff7ff80000403, 0xfffff7ffffff8001,
   1851   0xfffffbff80000203, 0xfffffbffffff8001,
   1852   0xfffffdff80000103, 0xfffffdffffff8001,
   1853   0xfffffeff80000083, 0xfffffeffffff8001,
   1854   0xffffff7f80000043, 0xffffff7fffff8001,
   1855   0xffffffbf80000023, 0xffffffbfffff8001,
   1856   0xffffffdf80000013, 0xffffffdfffff8001,
   1857   0xffffffef8000000b, 0xffffffefffff8001,
   1858   0xfffffff780000007, 0xfffffff7ffff8001,
   1859   0xfffffffb80000005, 0xfffffffbffff8001,
   1860   0xfffffffd80000004, 0xfffffffdffff8001,
   1861   0xfffffffe80000004, 0xfffffffeffff8001,
   1862   0xffffffff00000004, 0xffffffff7fff8001,
   1863   0xffffffff40000004, 0xffffffffbfff8001,
   1864   0xffffffff60000004, 0xffffffffdfff8001,
   1865   0xffffffff70000004, 0xffffffffefff8001,
   1866   0xffffffff78000004, 0xfffffffff7ff8001,
   1867   0xffffffff7c000004, 0xfffffffffbff8001,
   1868   0xffffffff7e000004, 0xfffffffffdff8001,
   1869   0xffffffff7f000004, 0xfffffffffeff8001,
   1870   0xffffffff7f800004, 0xffffffffff7f8001,
   1871   0xffffffff7fc00004, 0xffffffffffbf8001,
   1872   0xffffffff7fe00004, 0xffffffffffdf8001,
   1873   0xffffffff7ff00004, 0xffffffffffef8001,
   1874   0xffffffff7ff80004, 0xfffffffffff78001,
   1875   0xffffffff7ffc0004, 0xfffffffffffb8001,
   1876   0xffffffff7ffe0004, 0xfffffffffffd8001,
   1877   0xffffffff7fff0004, 0xfffffffffffe8001,
   1878   0xffffffff7fff8004, 0xffffffffffff0001,
   1879   0xffffffff7fffc004, 0xffffffffffff4001,
   1880   0xffffffff7fffe004, 0xffffffffffff6001,
   1881   0xffffffff7ffff004, 0xffffffffffff7001,
   1882   0xffffffff7ffff804, 0xffffffffffff7801,
   1883   0xffffffff7ffffc04, 0xffffffffffff7c01,
   1884   0xffffffff7ffffe04, 0xffffffffffff7e01,
   1885   0xffffffff7fffff04, 0xffffffffffff7f01,
   1886   0xffffffff7fffff84, 0xffffffffffff7f81,
   1887   0xffffffff7fffffc4, 0xffffffffffff7fc1,
   1888   0xffffffff7fffffe4, 0xffffffffffff7fe1,
   1889   0xffffffff7ffffff4, 0xffffffffffff7ff1,
   1890   0xffffffff7ffffffc, 0xffffffffffff7ff9,
   1891   0xffffffff80000000, 0xffffffffffff7ffd,
   1892   0xffffffff80000002, 0xffffffffffff7fff,
   1893   0xffffffff80000003, 0xffffffffffff8000,
   1894   0x7fffffffffffc000, 0x7fffffffffffc001,
   1895   0xbfffffffffffa000, 0xbfffffffffffa001,
   1896   0xdfffffffffff9000, 0xdfffffffffff9001,
   1897   0xefffffffffff8800, 0xefffffffffff8801,
   1898   0xf7ffffffffff8400, 0xf7ffffffffff8401,
   1899   0xfbffffffffff8200, 0xfbffffffffff8201,
   1900   0xfdffffffffff8100, 0xfdffffffffff8101,
   1901   0xfeffffffffff8080, 0xfeffffffffff8081,
   1902   0xff7fffffffff8040, 0xff7fffffffff8041,
   1903   0xffbfffffffff8020, 0xffbfffffffff8021,
   1904   0xffdfffffffff8010, 0xffdfffffffff8011,
   1905   0xffefffffffff8008, 0xffefffffffff8009,
   1906   0xfff7ffffffff8004, 0xfff7ffffffff8005,
   1907   0xfffbffffffff8002, 0xfffbffffffff8003,
   1908   0xfffdffffffff8001, 0xfffdffffffff8002,
   1909   0xfffeffffffff8001, 0xfffeffffffff8002,
   1910   0xffff7fffffff8001, 0xffff7fffffff8002,
   1911   0xffffbfffffff8001, 0xffffbfffffff8002,
   1912   0xffffdfffffff8001, 0xffffdfffffff8002,
   1913   0xffffefffffff8001, 0xffffefffffff8002,
   1914   0xfffff7ffffff8001, 0xfffff7ffffff8002,
   1915   0xfffffbffffff8001, 0xfffffbffffff8002,
   1916   0xfffffdffffff8001, 0xfffffdffffff8002,
   1917   0xfffffeffffff8001, 0xfffffeffffff8002,
   1918   0xffffff7fffff8001, 0xffffff7fffff8002,
   1919   0xffffffbfffff8001, 0xffffffbfffff8002,
   1920   0xffffffdfffff8001, 0xffffffdfffff8002,
   1921   0xffffffefffff8001, 0xffffffefffff8002,
   1922   0xfffffff7ffff8001, 0xfffffff7ffff8002,
   1923   0xfffffffbffff8001, 0xfffffffbffff8002,
   1924   0xfffffffdffff8001, 0xfffffffdffff8002,
   1925   0xfffffffeffff8001, 0xfffffffeffff8002,
   1926   0xffffffff7fff8001, 0xffffffff7fff8002,
   1927   0xffffffffbfff8001, 0xffffffffbfff8002,
   1928   0xffffffffdfff8001, 0xffffffffdfff8002,
   1929   0xffffffffefff8001, 0xffffffffefff8002,
   1930   0xfffffffff7ff8001, 0xfffffffff7ff8002,
   1931   0xfffffffffbff8001, 0xfffffffffbff8002,
   1932   0xfffffffffdff8001, 0xfffffffffdff8002,
   1933   0xfffffffffeff8001, 0xfffffffffeff8002,
   1934   0xffffffffff7f8001, 0xffffffffff7f8002,
   1935   0xffffffffffbf8001, 0xffffffffffbf8002,
   1936   0xffffffffffdf8001, 0xffffffffffdf8002,
   1937   0xffffffffffef8001, 0xffffffffffef8002,
   1938   0xfffffffffff78001, 0xfffffffffff78002,
   1939   0xfffffffffffb8001, 0xfffffffffffb8002,
   1940   0xfffffffffffd8001, 0xfffffffffffd8002,
   1941   0xfffffffffffe8001, 0xfffffffffffe8002,
   1942   0xffffffffffff0001, 0xffffffffffff0002,
   1943   0xffffffffffff4001, 0xffffffffffff4002,
   1944   0xffffffffffff6001, 0xffffffffffff6002,
   1945   0xffffffffffff7001, 0xffffffffffff7002,
   1946   0xffffffffffff7801, 0xffffffffffff7802,
   1947   0xffffffffffff7c01, 0xffffffffffff7c02,
   1948   0xffffffffffff7e01, 0xffffffffffff7e02,
   1949   0xffffffffffff7f01, 0xffffffffffff7f02,
   1950   0xffffffffffff7f81, 0xffffffffffff7f82,
   1951   0xffffffffffff7fc1, 0xffffffffffff7fc2,
   1952   0xffffffffffff7fe1, 0xffffffffffff7fe2,
   1953   0xffffffffffff7ff1, 0xffffffffffff7ff2,
   1954   0xffffffffffff7ff9, 0xffffffffffff7ffa,
   1955   0xffffffffffff7ffd, 0xffffffffffff7ffe,
   1956   0xffffffffffff7fff, 0xffffffffffff8000,
   1957   0xffffffffffff8000, 0xffffffffffff8001,
   1958   0x7fffffffffffc001, 0x7fffffffffffc001,
   1959   0xbfffffffffffa001, 0xbfffffffffffa002,
   1960   0xdfffffffffff9001, 0xdfffffffffff9002,
   1961   0xefffffffffff8801, 0xefffffffffff8802,
   1962   0xf7ffffffffff8401, 0xf7ffffffffff8402,
   1963   0xfbffffffffff8201, 0xfbffffffffff8202,
   1964   0xfdffffffffff8101, 0xfdffffffffff8102,
   1965   0xfeffffffffff8081, 0xfeffffffffff8082,
   1966   0xff7fffffffff8041, 0xff7fffffffff8042,
   1967   0xffbfffffffff8021, 0xffbfffffffff8022,
   1968   0xffdfffffffff8011, 0xffdfffffffff8012,
   1969   0xffefffffffff8009, 0xffefffffffff800a,
   1970   0xfff7ffffffff8005, 0xfff7ffffffff8006,
   1971   0xfffbffffffff8003, 0xfffbffffffff8004,
   1972   0xfffdffffffff8002, 0xfffdffffffff8003,
   1973   0xfffeffffffff8002, 0xfffeffffffff8003,
   1974   0xffff7fffffff8002, 0xffff7fffffff8003,
   1975   0xffffbfffffff8002, 0xffffbfffffff8003,
   1976   0xffffdfffffff8002, 0xffffdfffffff8003,
   1977   0xffffefffffff8002, 0xffffefffffff8003,
   1978   0xfffff7ffffff8002, 0xfffff7ffffff8003,
   1979   0xfffffbffffff8002, 0xfffffbffffff8003,
   1980   0xfffffdffffff8002, 0xfffffdffffff8003,
   1981   0xfffffeffffff8002, 0xfffffeffffff8003,
   1982   0xffffff7fffff8002, 0xffffff7fffff8003,
   1983   0xffffffbfffff8002, 0xffffffbfffff8003,
   1984   0xffffffdfffff8002, 0xffffffdfffff8003,
   1985   0xffffffefffff8002, 0xffffffefffff8003,
   1986   0xfffffff7ffff8002, 0xfffffff7ffff8003,
   1987   0xfffffffbffff8002, 0xfffffffbffff8003,
   1988   0xfffffffdffff8002, 0xfffffffdffff8003,
   1989   0xfffffffeffff8002, 0xfffffffeffff8003,
   1990   0xffffffff7fff8002, 0xffffffff7fff8003,
   1991   0xffffffffbfff8002, 0xffffffffbfff8003,
   1992   0xffffffffdfff8002, 0xffffffffdfff8003,
   1993   0xffffffffefff8002, 0xffffffffefff8003,
   1994   0xfffffffff7ff8002, 0xfffffffff7ff8003,
   1995   0xfffffffffbff8002, 0xfffffffffbff8003,
   1996   0xfffffffffdff8002, 0xfffffffffdff8003,
   1997   0xfffffffffeff8002, 0xfffffffffeff8003,
   1998   0xffffffffff7f8002, 0xffffffffff7f8003,
   1999   0xffffffffffbf8002, 0xffffffffffbf8003,
   2000   0xffffffffffdf8002, 0xffffffffffdf8003,
   2001   0xffffffffffef8002, 0xffffffffffef8003,
   2002   0xfffffffffff78002, 0xfffffffffff78003,
   2003   0xfffffffffffb8002, 0xfffffffffffb8003,
   2004   0xfffffffffffd8002, 0xfffffffffffd8003,
   2005   0xfffffffffffe8002, 0xfffffffffffe8003,
   2006   0xffffffffffff0002, 0xffffffffffff0003,
   2007   0xffffffffffff4002, 0xffffffffffff4003,
   2008   0xffffffffffff6002, 0xffffffffffff6003,
   2009   0xffffffffffff7002, 0xffffffffffff7003,
   2010   0xffffffffffff7802, 0xffffffffffff7803,
   2011   0xffffffffffff7c02, 0xffffffffffff7c03,
   2012   0xffffffffffff7e02, 0xffffffffffff7e03,
   2013   0xffffffffffff7f02, 0xffffffffffff7f03,
   2014   0xffffffffffff7f82, 0xffffffffffff7f83,
   2015   0xffffffffffff7fc2, 0xffffffffffff7fc3,
   2016   0xffffffffffff7fe2, 0xffffffffffff7fe3,
   2017   0xffffffffffff7ff2, 0xffffffffffff7ff3,
   2018   0xffffffffffff7ffa, 0xffffffffffff7ffb,
   2019   0xffffffffffff7ffe, 0xffffffffffff7fff,
   2020   0xffffffffffff8000, 0xffffffffffff8001,
   2021   0xffffffffffff8001, 0xffffffffffff8002,
   2022   0x7fffffffffffc001, 0x7fffffffffffc002,
   2023   0xbfffffffffffa002, 0xbfffffffffffa003,
   2024   0xdfffffffffff9002, 0xdfffffffffff9003,
   2025   0xefffffffffff8802, 0xefffffffffff8803,
   2026   0xf7ffffffffff8402, 0xf7ffffffffff8403,
   2027   0xfbffffffffff8202, 0xfbffffffffff8203,
   2028   0xfdffffffffff8102, 0xfdffffffffff8103,
   2029   0xfeffffffffff8082, 0xfeffffffffff8083,
   2030   0xff7fffffffff8042, 0xff7fffffffff8043,
   2031   0xffbfffffffff8022, 0xffbfffffffff8023,
   2032   0xffdfffffffff8012, 0xffdfffffffff8013,
   2033   0xffefffffffff800a, 0xffefffffffff800b,
   2034   0xfff7ffffffff8006, 0xfff7ffffffff8007,
   2035   0xfffbffffffff8004, 0xfffbffffffff8005,
   2036   0xfffdffffffff8003, 0xfffdffffffff8004,
   2037   0xfffeffffffff8003, 0xfffeffffffff8004,
   2038   0xffff7fffffff8003, 0xffff7fffffff8004,
   2039   0xffffbfffffff8003, 0xffffbfffffff8004,
   2040   0xffffdfffffff8003, 0xffffdfffffff8004,
   2041   0xffffefffffff8003, 0xffffefffffff8004,
   2042   0xfffff7ffffff8003, 0xfffff7ffffff8004,
   2043   0xfffffbffffff8003, 0xfffffbffffff8004,
   2044   0xfffffdffffff8003, 0xfffffdffffff8004,
   2045   0xfffffeffffff8003, 0xfffffeffffff8004,
   2046   0xffffff7fffff8003, 0xffffff7fffff8004,
   2047   0xffffffbfffff8003, 0xffffffbfffff8004,
   2048   0xffffffdfffff8003, 0xffffffdfffff8004,
   2049   0xffffffefffff8003, 0xffffffefffff8004,
   2050   0xfffffff7ffff8003, 0xfffffff7ffff8004,
   2051   0xfffffffbffff8003, 0xfffffffbffff8004,
   2052   0xfffffffdffff8003, 0xfffffffdffff8004,
   2053   0xfffffffeffff8003, 0xfffffffeffff8004,
   2054   0xffffffff7fff8003, 0xffffffff7fff8004,
   2055   0xffffffffbfff8003, 0xffffffffbfff8004,
   2056   0xffffffffdfff8003, 0xffffffffdfff8004,
   2057   0xffffffffefff8003, 0xffffffffefff8004,
   2058   0xfffffffff7ff8003, 0xfffffffff7ff8004,
   2059   0xfffffffffbff8003, 0xfffffffffbff8004,
   2060   0xfffffffffdff8003, 0xfffffffffdff8004,
   2061   0xfffffffffeff8003, 0xfffffffffeff8004,
   2062   0xffffffffff7f8003, 0xffffffffff7f8004,
   2063   0xffffffffffbf8003, 0xffffffffffbf8004,
   2064   0xffffffffffdf8003, 0xffffffffffdf8004,
   2065   0xffffffffffef8003, 0xffffffffffef8004,
   2066   0xfffffffffff78003, 0xfffffffffff78004,
   2067   0xfffffffffffb8003, 0xfffffffffffb8004,
   2068   0xfffffffffffd8003, 0xfffffffffffd8004,
   2069   0xfffffffffffe8003, 0xfffffffffffe8004,
   2070   0xffffffffffff0003, 0xffffffffffff0004,
   2071   0xffffffffffff4003, 0xffffffffffff4004,
   2072   0xffffffffffff6003, 0xffffffffffff6004,
   2073   0xffffffffffff7003, 0xffffffffffff7004,
   2074   0xffffffffffff7803, 0xffffffffffff7804,
   2075   0xffffffffffff7c03, 0xffffffffffff7c04,
   2076   0xffffffffffff7e03, 0xffffffffffff7e04,
   2077   0xffffffffffff7f03, 0xffffffffffff7f04,
   2078   0xffffffffffff7f83, 0xffffffffffff7f84,
   2079   0xffffffffffff7fc3, 0xffffffffffff7fc4,
   2080   0xffffffffffff7fe3, 0xffffffffffff7fe4,
   2081   0xffffffffffff7ff3, 0xffffffffffff7ff4,
   2082   0xffffffffffff7ffb, 0xffffffffffff7ffc,
   2083   0xffffffffffff7fff, 0xffffffffffff8000,
   2084   0xffffffffffff8001, 0xffffffffffff8002,
   2085   0xffffffffffff8002, 0xffffffffffff8003,
   2086   0x7fffffffffffc002, 0x7fffffffffffffc0,
   2087   0xbfffffffffffa003, 0xbfffffffffffffa0,
   2088   0xdfffffffffff9003, 0xdfffffffffffff90,
   2089   0xefffffffffff8803, 0xefffffffffffff88,
   2090   0xf7ffffffffff8403, 0xf7ffffffffffff84,
   2091   0xfbffffffffff8203, 0xfbffffffffffff82,
   2092   0xfdffffffffff8103, 0xfdffffffffffff81,
   2093   0xfeffffffffff8083, 0xfeffffffffffff81,
   2094   0xff7fffffffff8043, 0xff7fffffffffff81,
   2095   0xffbfffffffff8023, 0xffbfffffffffff81,
   2096   0xffdfffffffff8013, 0xffdfffffffffff81,
   2097   0xffefffffffff800b, 0xffefffffffffff81,
   2098   0xfff7ffffffff8007, 0xfff7ffffffffff81,
   2099   0xfffbffffffff8005, 0xfffbffffffffff81,
   2100   0xfffdffffffff8004, 0xfffdffffffffff81,
   2101   0xfffeffffffff8004, 0xfffeffffffffff81,
   2102   0xffff7fffffff8004, 0xffff7fffffffff81,
   2103   0xffffbfffffff8004, 0xffffbfffffffff81,
   2104   0xffffdfffffff8004, 0xffffdfffffffff81,
   2105   0xffffefffffff8004, 0xffffefffffffff81,
   2106   0xfffff7ffffff8004, 0xfffff7ffffffff81,
   2107   0xfffffbffffff8004, 0xfffffbffffffff81,
   2108   0xfffffdffffff8004, 0xfffffdffffffff81,
   2109   0xfffffeffffff8004, 0xfffffeffffffff81,
   2110   0xffffff7fffff8004, 0xffffff7fffffff81,
   2111   0xffffffbfffff8004, 0xffffffbfffffff81,
   2112   0xffffffdfffff8004, 0xffffffdfffffff81,
   2113   0xffffffefffff8004, 0xffffffefffffff81,
   2114   0xfffffff7ffff8004, 0xfffffff7ffffff81,
   2115   0xfffffffbffff8004, 0xfffffffbffffff81,
   2116   0xfffffffdffff8004, 0xfffffffdffffff81,
   2117   0xfffffffeffff8004, 0xfffffffeffffff81,
   2118   0xffffffff7fff8004, 0xffffffff7fffff81,
   2119   0xffffffffbfff8004, 0xffffffffbfffff81,
   2120   0xffffffffdfff8004, 0xffffffffdfffff81,
   2121   0xffffffffefff8004, 0xffffffffefffff81,
   2122   0xfffffffff7ff8004, 0xfffffffff7ffff81,
   2123   0xfffffffffbff8004, 0xfffffffffbffff81,
   2124   0xfffffffffdff8004, 0xfffffffffdffff81,
   2125   0xfffffffffeff8004, 0xfffffffffeffff81,
   2126   0xffffffffff7f8004, 0xffffffffff7fff81,
   2127   0xffffffffffbf8004, 0xffffffffffbfff81,
   2128   0xffffffffffdf8004, 0xffffffffffdfff81,
   2129   0xffffffffffef8004, 0xffffffffffefff81,
   2130   0xfffffffffff78004, 0xfffffffffff7ff81,
   2131   0xfffffffffffb8004, 0xfffffffffffbff81,
   2132   0xfffffffffffd8004, 0xfffffffffffdff81,
   2133   0xfffffffffffe8004, 0xfffffffffffeff81,
   2134   0xffffffffffff0004, 0xffffffffffff7f81,
   2135   0xffffffffffff4004, 0xffffffffffffbf81,
   2136   0xffffffffffff6004, 0xffffffffffffdf81,
   2137   0xffffffffffff7004, 0xffffffffffffef81,
   2138   0xffffffffffff7804, 0xfffffffffffff781,
   2139   0xffffffffffff7c04, 0xfffffffffffffb81,
   2140   0xffffffffffff7e04, 0xfffffffffffffd81,
   2141   0xffffffffffff7f04, 0xfffffffffffffe81,
   2142   0xffffffffffff7f84, 0xffffffffffffff01,
   2143   0xffffffffffff7fc4, 0xffffffffffffff41,
   2144   0xffffffffffff7fe4, 0xffffffffffffff61,
   2145   0xffffffffffff7ff4, 0xffffffffffffff71,
   2146   0xffffffffffff7ffc, 0xffffffffffffff79,
   2147   0xffffffffffff8000, 0xffffffffffffff7d,
   2148   0xffffffffffff8002, 0xffffffffffffff7f,
   2149   0xffffffffffff8003, 0xffffffffffffff80,
   2150   0x7fffffffffffffc0, 0x7fffffffffffffc1,
   2151   0xbfffffffffffffa0, 0xbfffffffffffffa1,
   2152   0xdfffffffffffff90, 0xdfffffffffffff91,
   2153   0xefffffffffffff88, 0xefffffffffffff89,
   2154   0xf7ffffffffffff84, 0xf7ffffffffffff85,
   2155   0xfbffffffffffff82, 0xfbffffffffffff83,
   2156   0xfdffffffffffff81, 0xfdffffffffffff82,
   2157   0xfeffffffffffff81, 0xfeffffffffffff82,
   2158   0xff7fffffffffff81, 0xff7fffffffffff82,
   2159   0xffbfffffffffff81, 0xffbfffffffffff82,
   2160   0xffdfffffffffff81, 0xffdfffffffffff82,
   2161   0xffefffffffffff81, 0xffefffffffffff82,
   2162   0xfff7ffffffffff81, 0xfff7ffffffffff82,
   2163   0xfffbffffffffff81, 0xfffbffffffffff82,
   2164   0xfffdffffffffff81, 0xfffdffffffffff82,
   2165   0xfffeffffffffff81, 0xfffeffffffffff82,
   2166   0xffff7fffffffff81, 0xffff7fffffffff82,
   2167   0xffffbfffffffff81, 0xffffbfffffffff82,
   2168   0xffffdfffffffff81, 0xffffdfffffffff82,
   2169   0xffffefffffffff81, 0xffffefffffffff82,
   2170   0xfffff7ffffffff81, 0xfffff7ffffffff82,
   2171   0xfffffbffffffff81, 0xfffffbffffffff82,
   2172   0xfffffdffffffff81, 0xfffffdffffffff82,
   2173   0xfffffeffffffff81, 0xfffffeffffffff82,
   2174   0xffffff7fffffff81, 0xffffff7fffffff82,
   2175   0xffffffbfffffff81, 0xffffffbfffffff82,
   2176   0xffffffdfffffff81, 0xffffffdfffffff82,
   2177   0xffffffefffffff81, 0xffffffefffffff82,
   2178   0xfffffff7ffffff81, 0xfffffff7ffffff82,
   2179   0xfffffffbffffff81, 0xfffffffbffffff82,
   2180   0xfffffffdffffff81, 0xfffffffdffffff82,
   2181   0xfffffffeffffff81, 0xfffffffeffffff82,
   2182   0xffffffff7fffff81, 0xffffffff7fffff82,
   2183   0xffffffffbfffff81, 0xffffffffbfffff82,
   2184   0xffffffffdfffff81, 0xffffffffdfffff82,
   2185   0xffffffffefffff81, 0xffffffffefffff82,
   2186   0xfffffffff7ffff81, 0xfffffffff7ffff82,
   2187   0xfffffffffbffff81, 0xfffffffffbffff82,
   2188   0xfffffffffdffff81, 0xfffffffffdffff82,
   2189   0xfffffffffeffff81, 0xfffffffffeffff82,
   2190   0xffffffffff7fff81, 0xffffffffff7fff82,
   2191   0xffffffffffbfff81, 0xffffffffffbfff82,
   2192   0xffffffffffdfff81, 0xffffffffffdfff82,
   2193   0xffffffffffefff81, 0xffffffffffefff82,
   2194   0xfffffffffff7ff81, 0xfffffffffff7ff82,
   2195   0xfffffffffffbff81, 0xfffffffffffbff82,
   2196   0xfffffffffffdff81, 0xfffffffffffdff82,
   2197   0xfffffffffffeff81, 0xfffffffffffeff82,
   2198   0xffffffffffff7f81, 0xffffffffffff7f82,
   2199   0xffffffffffffbf81, 0xffffffffffffbf82,
   2200   0xffffffffffffdf81, 0xffffffffffffdf82,
   2201   0xffffffffffffef81, 0xffffffffffffef82,
   2202   0xfffffffffffff781, 0xfffffffffffff782,
   2203   0xfffffffffffffb81, 0xfffffffffffffb82,
   2204   0xfffffffffffffd81, 0xfffffffffffffd82,
   2205   0xfffffffffffffe81, 0xfffffffffffffe82,
   2206   0xffffffffffffff01, 0xffffffffffffff02,
   2207   0xffffffffffffff41, 0xffffffffffffff42,
   2208   0xffffffffffffff61, 0xffffffffffffff62,
   2209   0xffffffffffffff71, 0xffffffffffffff72,
   2210   0xffffffffffffff79, 0xffffffffffffff7a,
   2211   0xffffffffffffff7d, 0xffffffffffffff7e,
   2212   0xffffffffffffff7f, 0xffffffffffffff80,
   2213   0xffffffffffffff80, 0xffffffffffffff81,
   2214   0x7fffffffffffffc1, 0x7fffffffffffffc1,
   2215   0xbfffffffffffffa1, 0xbfffffffffffffa2,
   2216   0xdfffffffffffff91, 0xdfffffffffffff92,
   2217   0xefffffffffffff89, 0xefffffffffffff8a,
   2218   0xf7ffffffffffff85, 0xf7ffffffffffff86,
   2219   0xfbffffffffffff83, 0xfbffffffffffff84,
   2220   0xfdffffffffffff82, 0xfdffffffffffff83,
   2221   0xfeffffffffffff82, 0xfeffffffffffff83,
   2222   0xff7fffffffffff82, 0xff7fffffffffff83,
   2223   0xffbfffffffffff82, 0xffbfffffffffff83,
   2224   0xffdfffffffffff82, 0xffdfffffffffff83,
   2225   0xffefffffffffff82, 0xffefffffffffff83,
   2226   0xfff7ffffffffff82, 0xfff7ffffffffff83,
   2227   0xfffbffffffffff82, 0xfffbffffffffff83,
   2228   0xfffdffffffffff82, 0xfffdffffffffff83,
   2229   0xfffeffffffffff82, 0xfffeffffffffff83,
   2230   0xffff7fffffffff82, 0xffff7fffffffff83,
   2231   0xffffbfffffffff82, 0xffffbfffffffff83,
   2232   0xffffdfffffffff82, 0xffffdfffffffff83,
   2233   0xffffefffffffff82, 0xffffefffffffff83,
   2234   0xfffff7ffffffff82, 0xfffff7ffffffff83,
   2235   0xfffffbffffffff82, 0xfffffbffffffff83,
   2236   0xfffffdffffffff82, 0xfffffdffffffff83,
   2237   0xfffffeffffffff82, 0xfffffeffffffff83,
   2238   0xffffff7fffffff82, 0xffffff7fffffff83,
   2239   0xffffffbfffffff82, 0xffffffbfffffff83,
   2240   0xffffffdfffffff82, 0xffffffdfffffff83,
   2241   0xffffffefffffff82, 0xffffffefffffff83,
   2242   0xfffffff7ffffff82, 0xfffffff7ffffff83,
   2243   0xfffffffbffffff82, 0xfffffffbffffff83,
   2244   0xfffffffdffffff82, 0xfffffffdffffff83,
   2245   0xfffffffeffffff82, 0xfffffffeffffff83,
   2246   0xffffffff7fffff82, 0xffffffff7fffff83,
   2247   0xffffffffbfffff82, 0xffffffffbfffff83,
   2248   0xffffffffdfffff82, 0xffffffffdfffff83,
   2249   0xffffffffefffff82, 0xffffffffefffff83,
   2250   0xfffffffff7ffff82, 0xfffffffff7ffff83,
   2251   0xfffffffffbffff82, 0xfffffffffbffff83,
   2252   0xfffffffffdffff82, 0xfffffffffdffff83,
   2253   0xfffffffffeffff82, 0xfffffffffeffff83,
   2254   0xffffffffff7fff82, 0xffffffffff7fff83,
   2255   0xffffffffffbfff82, 0xffffffffffbfff83,
   2256   0xffffffffffdfff82, 0xffffffffffdfff83,
   2257   0xffffffffffefff82, 0xffffffffffefff83,
   2258   0xfffffffffff7ff82, 0xfffffffffff7ff83,
   2259   0xfffffffffffbff82, 0xfffffffffffbff83,
   2260   0xfffffffffffdff82, 0xfffffffffffdff83,
   2261   0xfffffffffffeff82, 0xfffffffffffeff83,
   2262   0xffffffffffff7f82, 0xffffffffffff7f83,
   2263   0xffffffffffffbf82, 0xffffffffffffbf83,
   2264   0xffffffffffffdf82, 0xffffffffffffdf83,
   2265   0xffffffffffffef82, 0xffffffffffffef83,
   2266   0xfffffffffffff782, 0xfffffffffffff783,
   2267   0xfffffffffffffb82, 0xfffffffffffffb83,
   2268   0xfffffffffffffd82, 0xfffffffffffffd83,
   2269   0xfffffffffffffe82, 0xfffffffffffffe83,
   2270   0xffffffffffffff02, 0xffffffffffffff03,
   2271   0xffffffffffffff42, 0xffffffffffffff43,
   2272   0xffffffffffffff62, 0xffffffffffffff63,
   2273   0xffffffffffffff72, 0xffffffffffffff73,
   2274   0xffffffffffffff7a, 0xffffffffffffff7b,
   2275   0xffffffffffffff7e, 0xffffffffffffff7f,
   2276   0xffffffffffffff80, 0xffffffffffffff81,
   2277   0xffffffffffffff81, 0xffffffffffffff82,
   2278   0x7fffffffffffffc1, 0x7fffffffffffffc2,
   2279   0xbfffffffffffffa2, 0xbfffffffffffffa3,
   2280   0xdfffffffffffff92, 0xdfffffffffffff93,
   2281   0xefffffffffffff8a, 0xefffffffffffff8b,
   2282   0xf7ffffffffffff86, 0xf7ffffffffffff87,
   2283   0xfbffffffffffff84, 0xfbffffffffffff85,
   2284   0xfdffffffffffff83, 0xfdffffffffffff84,
   2285   0xfeffffffffffff83, 0xfeffffffffffff84,
   2286   0xff7fffffffffff83, 0xff7fffffffffff84,
   2287   0xffbfffffffffff83, 0xffbfffffffffff84,
   2288   0xffdfffffffffff83, 0xffdfffffffffff84,
   2289   0xffefffffffffff83, 0xffefffffffffff84,
   2290   0xfff7ffffffffff83, 0xfff7ffffffffff84,
   2291   0xfffbffffffffff83, 0xfffbffffffffff84,
   2292   0xfffdffffffffff83, 0xfffdffffffffff84,
   2293   0xfffeffffffffff83, 0xfffeffffffffff84,
   2294   0xffff7fffffffff83, 0xffff7fffffffff84,
   2295   0xffffbfffffffff83, 0xffffbfffffffff84,
   2296   0xffffdfffffffff83, 0xffffdfffffffff84,
   2297   0xffffefffffffff83, 0xffffefffffffff84,
   2298   0xfffff7ffffffff83, 0xfffff7ffffffff84,
   2299   0xfffffbffffffff83, 0xfffffbffffffff84,
   2300   0xfffffdffffffff83, 0xfffffdffffffff84,
   2301   0xfffffeffffffff83, 0xfffffeffffffff84,
   2302   0xffffff7fffffff83, 0xffffff7fffffff84,
   2303   0xffffffbfffffff83, 0xffffffbfffffff84,
   2304   0xffffffdfffffff83, 0xffffffdfffffff84,
   2305   0xffffffefffffff83, 0xffffffefffffff84,
   2306   0xfffffff7ffffff83, 0xfffffff7ffffff84,
   2307   0xfffffffbffffff83, 0xfffffffbffffff84,
   2308   0xfffffffdffffff83, 0xfffffffdffffff84,
   2309   0xfffffffeffffff83, 0xfffffffeffffff84,
   2310   0xffffffff7fffff83, 0xffffffff7fffff84,
   2311   0xffffffffbfffff83, 0xffffffffbfffff84,
   2312   0xffffffffdfffff83, 0xffffffffdfffff84,
   2313   0xffffffffefffff83, 0xffffffffefffff84,
   2314   0xfffffffff7ffff83, 0xfffffffff7ffff84,
   2315   0xfffffffffbffff83, 0xfffffffffbffff84,
   2316   0xfffffffffdffff83, 0xfffffffffdffff84,
   2317   0xfffffffffeffff83, 0xfffffffffeffff84,
   2318   0xffffffffff7fff83, 0xffffffffff7fff84,
   2319   0xffffffffffbfff83, 0xffffffffffbfff84,
   2320   0xffffffffffdfff83, 0xffffffffffdfff84,
   2321   0xffffffffffefff83, 0xffffffffffefff84,
   2322   0xfffffffffff7ff83, 0xfffffffffff7ff84,
   2323   0xfffffffffffbff83, 0xfffffffffffbff84,
   2324   0xfffffffffffdff83, 0xfffffffffffdff84,
   2325   0xfffffffffffeff83, 0xfffffffffffeff84,
   2326   0xffffffffffff7f83, 0xffffffffffff7f84,
   2327   0xffffffffffffbf83, 0xffffffffffffbf84,
   2328   0xffffffffffffdf83, 0xffffffffffffdf84,
   2329   0xffffffffffffef83, 0xffffffffffffef84,
   2330   0xfffffffffffff783, 0xfffffffffffff784,
   2331   0xfffffffffffffb83, 0xfffffffffffffb84,
   2332   0xfffffffffffffd83, 0xfffffffffffffd84,
   2333   0xfffffffffffffe83, 0xfffffffffffffe84,
   2334   0xffffffffffffff03, 0xffffffffffffff04,
   2335   0xffffffffffffff43, 0xffffffffffffff44,
   2336   0xffffffffffffff63, 0xffffffffffffff64,
   2337   0xffffffffffffff73, 0xffffffffffffff74,
   2338   0xffffffffffffff7b, 0xffffffffffffff7c,
   2339   0xffffffffffffff7f, 0xffffffffffffff80,
   2340   0xffffffffffffff81, 0xffffffffffffff82,
   2341   0xffffffffffffff82, 0xffffffffffffff83,
   2342   0x7fffffffffffffc2, 0x7fffffffffffffe0,
   2343   0xbfffffffffffffa3, 0xbfffffffffffffd0,
   2344   0xdfffffffffffff93, 0xdfffffffffffffc8,
   2345   0xefffffffffffff8b, 0xefffffffffffffc4,
   2346   0xf7ffffffffffff87, 0xf7ffffffffffffc2,
   2347   0xfbffffffffffff85, 0xfbffffffffffffc1,
   2348   0xfdffffffffffff84, 0xfdffffffffffffc1,
   2349   0xfeffffffffffff84, 0xfeffffffffffffc1,
   2350   0xff7fffffffffff84, 0xff7fffffffffffc1,
   2351   0xffbfffffffffff84, 0xffbfffffffffffc1,
   2352   0xffdfffffffffff84, 0xffdfffffffffffc1,
   2353   0xffefffffffffff84, 0xffefffffffffffc1,
   2354   0xfff7ffffffffff84, 0xfff7ffffffffffc1,
   2355   0xfffbffffffffff84, 0xfffbffffffffffc1,
   2356   0xfffdffffffffff84, 0xfffdffffffffffc1,
   2357   0xfffeffffffffff84, 0xfffeffffffffffc1,
   2358   0xffff7fffffffff84, 0xffff7fffffffffc1,
   2359   0xffffbfffffffff84, 0xffffbfffffffffc1,
   2360   0xffffdfffffffff84, 0xffffdfffffffffc1,
   2361   0xffffefffffffff84, 0xffffefffffffffc1,
   2362   0xfffff7ffffffff84, 0xfffff7ffffffffc1,
   2363   0xfffffbffffffff84, 0xfffffbffffffffc1,
   2364   0xfffffdffffffff84, 0xfffffdffffffffc1,
   2365   0xfffffeffffffff84, 0xfffffeffffffffc1,
   2366   0xffffff7fffffff84, 0xffffff7fffffffc1,
   2367   0xffffffbfffffff84, 0xffffffbfffffffc1,
   2368   0xffffffdfffffff84, 0xffffffdfffffffc1,
   2369   0xffffffefffffff84, 0xffffffefffffffc1,
   2370   0xfffffff7ffffff84, 0xfffffff7ffffffc1,
   2371   0xfffffffbffffff84, 0xfffffffbffffffc1,
   2372   0xfffffffdffffff84, 0xfffffffdffffffc1,
   2373   0xfffffffeffffff84, 0xfffffffeffffffc1,
   2374   0xffffffff7fffff84, 0xffffffff7fffffc1,
   2375   0xffffffffbfffff84, 0xffffffffbfffffc1,
   2376   0xffffffffdfffff84, 0xffffffffdfffffc1,
   2377   0xffffffffefffff84, 0xffffffffefffffc1,
   2378   0xfffffffff7ffff84, 0xfffffffff7ffffc1,
   2379   0xfffffffffbffff84, 0xfffffffffbffffc1,
   2380   0xfffffffffdffff84, 0xfffffffffdffffc1,
   2381   0xfffffffffeffff84, 0xfffffffffeffffc1,
   2382   0xffffffffff7fff84, 0xffffffffff7fffc1,
   2383   0xffffffffffbfff84, 0xffffffffffbfffc1,
   2384   0xffffffffffdfff84, 0xffffffffffdfffc1,
   2385   0xffffffffffefff84, 0xffffffffffefffc1,
   2386   0xfffffffffff7ff84, 0xfffffffffff7ffc1,
   2387   0xfffffffffffbff84, 0xfffffffffffbffc1,
   2388   0xfffffffffffdff84, 0xfffffffffffdffc1,
   2389   0xfffffffffffeff84, 0xfffffffffffeffc1,
   2390   0xffffffffffff7f84, 0xffffffffffff7fc1,
   2391   0xffffffffffffbf84, 0xffffffffffffbfc1,
   2392   0xffffffffffffdf84, 0xffffffffffffdfc1,
   2393   0xffffffffffffef84, 0xffffffffffffefc1,
   2394   0xfffffffffffff784, 0xfffffffffffff7c1,
   2395   0xfffffffffffffb84, 0xfffffffffffffbc1,
   2396   0xfffffffffffffd84, 0xfffffffffffffdc1,
   2397   0xfffffffffffffe84, 0xfffffffffffffec1,
   2398   0xffffffffffffff04, 0xffffffffffffff41,
   2399   0xffffffffffffff44, 0xffffffffffffff81,
   2400   0xffffffffffffff64, 0xffffffffffffffa1,
   2401   0xffffffffffffff74, 0xffffffffffffffb1,
   2402   0xffffffffffffff7c, 0xffffffffffffffb9,
   2403   0xffffffffffffff80, 0xffffffffffffffbd,
   2404   0xffffffffffffff82, 0xffffffffffffffbf,
   2405   0xffffffffffffff83, 0xffffffffffffffc0,
   2406   0x7fffffffffffffe0, 0x7fffffffffffffff,
   2407   0xbfffffffffffffd0, 0xbffffffffffffffe,
   2408   0xdfffffffffffffc8, 0xdffffffffffffffe,
   2409   0xefffffffffffffc4, 0xeffffffffffffffe,
   2410   0xf7ffffffffffffc2, 0xf7fffffffffffffe,
   2411   0xfbffffffffffffc1, 0xfbfffffffffffffe,
   2412   0xfdffffffffffffc1, 0xfdfffffffffffffe,
   2413   0xfeffffffffffffc1, 0xfefffffffffffffe,
   2414   0xff7fffffffffffc1, 0xff7ffffffffffffe,
   2415   0xffbfffffffffffc1, 0xffbffffffffffffe,
   2416   0xffdfffffffffffc1, 0xffdffffffffffffe,
   2417   0xffefffffffffffc1, 0xffeffffffffffffe,
   2418   0xfff7ffffffffffc1, 0xfff7fffffffffffe,
   2419   0xfffbffffffffffc1, 0xfffbfffffffffffe,
   2420   0xfffdffffffffffc1, 0xfffdfffffffffffe,
   2421   0xfffeffffffffffc1, 0xfffefffffffffffe,
   2422   0xffff7fffffffffc1, 0xffff7ffffffffffe,
   2423   0xffffbfffffffffc1, 0xffffbffffffffffe,
   2424   0xffffdfffffffffc1, 0xffffdffffffffffe,
   2425   0xffffefffffffffc1, 0xffffeffffffffffe,
   2426   0xfffff7ffffffffc1, 0xfffff7fffffffffe,
   2427   0xfffffbffffffffc1, 0xfffffbfffffffffe,
   2428   0xfffffdffffffffc1, 0xfffffdfffffffffe,
   2429   0xfffffeffffffffc1, 0xfffffefffffffffe,
   2430   0xffffff7fffffffc1, 0xffffff7ffffffffe,
   2431   0xffffffbfffffffc1, 0xffffffbffffffffe,
   2432   0xffffffdfffffffc1, 0xffffffdffffffffe,
   2433   0xffffffefffffffc1, 0xffffffeffffffffe,
   2434   0xfffffff7ffffffc1, 0xfffffff7fffffffe,
   2435   0xfffffffbffffffc1, 0xfffffffbfffffffe,
   2436   0xfffffffdffffffc1, 0xfffffffdfffffffe,
   2437   0xfffffffeffffffc1, 0xfffffffefffffffe,
   2438   0xffffffff7fffffc1, 0xffffffff7ffffffe,
   2439   0xffffffffbfffffc1, 0xffffffffbffffffe,
   2440   0xffffffffdfffffc1, 0xffffffffdffffffe,
   2441   0xffffffffefffffc1, 0xffffffffeffffffe,
   2442   0xfffffffff7ffffc1, 0xfffffffff7fffffe,
   2443   0xfffffffffbffffc1, 0xfffffffffbfffffe,
   2444   0xfffffffffdffffc1, 0xfffffffffdfffffe,
   2445   0xfffffffffeffffc1, 0xfffffffffefffffe,
   2446   0xffffffffff7fffc1, 0xffffffffff7ffffe,
   2447   0xffffffffffbfffc1, 0xffffffffffbffffe,
   2448   0xffffffffffdfffc1, 0xffffffffffdffffe,
   2449   0xffffffffffefffc1, 0xffffffffffeffffe,
   2450   0xfffffffffff7ffc1, 0xfffffffffff7fffe,
   2451   0xfffffffffffbffc1, 0xfffffffffffbfffe,
   2452   0xfffffffffffdffc1, 0xfffffffffffdfffe,
   2453   0xfffffffffffeffc1, 0xfffffffffffefffe,
   2454   0xffffffffffff7fc1, 0xffffffffffff7ffe,
   2455   0xffffffffffffbfc1, 0xffffffffffffbffe,
   2456   0xffffffffffffdfc1, 0xffffffffffffdffe,
   2457   0xffffffffffffefc1, 0xffffffffffffeffe,
   2458   0xfffffffffffff7c1, 0xfffffffffffff7fe,
   2459   0xfffffffffffffbc1, 0xfffffffffffffbfe,
   2460   0xfffffffffffffdc1, 0xfffffffffffffdfe,
   2461   0xfffffffffffffec1, 0xfffffffffffffefe,
   2462   0xffffffffffffff41, 0xffffffffffffff7e,
   2463   0xffffffffffffff81, 0xffffffffffffffbe,
   2464   0xffffffffffffffa1, 0xffffffffffffffde,
   2465   0xffffffffffffffb1, 0xffffffffffffffee,
   2466   0xffffffffffffffb9, 0xfffffffffffffff6,
   2467   0xffffffffffffffbd, 0xfffffffffffffffa,
   2468   0xffffffffffffffbf, 0xfffffffffffffffc,
   2469   0xffffffffffffffc0, 0xfffffffffffffffd,
   2470   0x7fffffffffffffff, 0x7fffffffffffffff,
   2471   0xbffffffffffffffe, 0xbfffffffffffffff,
   2472   0xdffffffffffffffe, 0xdfffffffffffffff,
   2473   0xeffffffffffffffe, 0xefffffffffffffff,
   2474   0xf7fffffffffffffe, 0xf7ffffffffffffff,
   2475   0xfbfffffffffffffe, 0xfbffffffffffffff,
   2476   0xfdfffffffffffffe, 0xfdffffffffffffff,
   2477   0xfefffffffffffffe, 0xfeffffffffffffff,
   2478   0xff7ffffffffffffe, 0xff7fffffffffffff,
   2479   0xffbffffffffffffe, 0xffbfffffffffffff,
   2480   0xffdffffffffffffe, 0xffdfffffffffffff,
   2481   0xffeffffffffffffe, 0xffefffffffffffff,
   2482   0xfff7fffffffffffe, 0xfff7ffffffffffff,
   2483   0xfffbfffffffffffe, 0xfffbffffffffffff,
   2484   0xfffdfffffffffffe, 0xfffdffffffffffff,
   2485   0xfffefffffffffffe, 0xfffeffffffffffff,
   2486   0xffff7ffffffffffe, 0xffff7fffffffffff,
   2487   0xffffbffffffffffe, 0xffffbfffffffffff,
   2488   0xffffdffffffffffe, 0xffffdfffffffffff,
   2489   0xffffeffffffffffe, 0xffffefffffffffff,
   2490   0xfffff7fffffffffe, 0xfffff7ffffffffff,
   2491   0xfffffbfffffffffe, 0xfffffbffffffffff,
   2492   0xfffffdfffffffffe, 0xfffffdffffffffff,
   2493   0xfffffefffffffffe, 0xfffffeffffffffff,
   2494   0xffffff7ffffffffe, 0xffffff7fffffffff,
   2495   0xffffffbffffffffe, 0xffffffbfffffffff,
   2496   0xffffffdffffffffe, 0xffffffdfffffffff,
   2497   0xffffffeffffffffe, 0xffffffefffffffff,
   2498   0xfffffff7fffffffe, 0xfffffff7ffffffff,
   2499   0xfffffffbfffffffe, 0xfffffffbffffffff,
   2500   0xfffffffdfffffffe, 0xfffffffdffffffff,
   2501   0xfffffffefffffffe, 0xfffffffeffffffff,
   2502   0xffffffff7ffffffe, 0xffffffff7fffffff,
   2503   0xffffffffbffffffe, 0xffffffffbfffffff,
   2504   0xffffffffdffffffe, 0xffffffffdfffffff,
   2505   0xffffffffeffffffe, 0xffffffffefffffff,
   2506   0xfffffffff7fffffe, 0xfffffffff7ffffff,
   2507   0xfffffffffbfffffe, 0xfffffffffbffffff,
   2508   0xfffffffffdfffffe, 0xfffffffffdffffff,
   2509   0xfffffffffefffffe, 0xfffffffffeffffff,
   2510   0xffffffffff7ffffe, 0xffffffffff7fffff,
   2511   0xffffffffffbffffe, 0xffffffffffbfffff,
   2512   0xffffffffffdffffe, 0xffffffffffdfffff,
   2513   0xffffffffffeffffe, 0xffffffffffefffff,
   2514   0xfffffffffff7fffe, 0xfffffffffff7ffff,
   2515   0xfffffffffffbfffe, 0xfffffffffffbffff,
   2516   0xfffffffffffdfffe, 0xfffffffffffdffff,
   2517   0xfffffffffffefffe, 0xfffffffffffeffff,
   2518   0xffffffffffff7ffe, 0xffffffffffff7fff,
   2519   0xffffffffffffbffe, 0xffffffffffffbfff,
   2520   0xffffffffffffdffe, 0xffffffffffffdfff,
   2521   0xffffffffffffeffe, 0xffffffffffffefff,
   2522   0xfffffffffffff7fe, 0xfffffffffffff7ff,
   2523   0xfffffffffffffbfe, 0xfffffffffffffbff,
   2524   0xfffffffffffffdfe, 0xfffffffffffffdff,
   2525   0xfffffffffffffefe, 0xfffffffffffffeff,
   2526   0xffffffffffffff7e, 0xffffffffffffff7f,
   2527   0xffffffffffffffbe, 0xffffffffffffffbf,
   2528   0xffffffffffffffde, 0xffffffffffffffdf,
   2529   0xffffffffffffffee, 0xffffffffffffffef,
   2530   0xfffffffffffffff6, 0xfffffffffffffff7,
   2531   0xfffffffffffffffa, 0xfffffffffffffffb,
   2532   0xfffffffffffffffc, 0xfffffffffffffffd,
   2533   0xfffffffffffffffd, 0xfffffffffffffffe,
   2534   0x7fffffffffffffff, 0x8000000000000000,
   2535   0xbfffffffffffffff, 0xc000000000000000,
   2536   0xdfffffffffffffff, 0xe000000000000000,
   2537   0xefffffffffffffff, 0xf000000000000000,
   2538   0xf7ffffffffffffff, 0xf800000000000000,
   2539   0xfbffffffffffffff, 0xfc00000000000000,
   2540   0xfdffffffffffffff, 0xfe00000000000000,
   2541   0xfeffffffffffffff, 0xff00000000000000,
   2542   0xff7fffffffffffff, 0xff80000000000000,
   2543   0xffbfffffffffffff, 0xffc0000000000000,
   2544   0xffdfffffffffffff, 0xffe0000000000000,
   2545   0xffefffffffffffff, 0xfff0000000000000,
   2546   0xfff7ffffffffffff, 0xfff8000000000000,
   2547   0xfffbffffffffffff, 0xfffc000000000000,
   2548   0xfffdffffffffffff, 0xfffe000000000000,
   2549   0xfffeffffffffffff, 0xffff000000000000,
   2550   0xffff7fffffffffff, 0xffff800000000000,
   2551   0xffffbfffffffffff, 0xffffc00000000000,
   2552   0xffffdfffffffffff, 0xffffe00000000000,
   2553   0xffffefffffffffff, 0xfffff00000000000,
   2554   0xfffff7ffffffffff, 0xfffff80000000000,
   2555   0xfffffbffffffffff, 0xfffffc0000000000,
   2556   0xfffffdffffffffff, 0xfffffe0000000000,
   2557   0xfffffeffffffffff, 0xffffff0000000000,
   2558   0xffffff7fffffffff, 0xffffff8000000000,
   2559   0xffffffbfffffffff, 0xffffffc000000000,
   2560   0xffffffdfffffffff, 0xffffffe000000000,
   2561   0xffffffefffffffff, 0xfffffff000000000,
   2562   0xfffffff7ffffffff, 0xfffffff800000000,
   2563   0xfffffffbffffffff, 0xfffffffc00000000,
   2564   0xfffffffdffffffff, 0xfffffffe00000000,
   2565   0xfffffffeffffffff, 0xffffffff00000000,
   2566   0xffffffff7fffffff, 0xffffffff80000000,
   2567   0xffffffffbfffffff, 0xffffffffc0000000,
   2568   0xffffffffdfffffff, 0xffffffffe0000000,
   2569   0xffffffffefffffff, 0xfffffffff0000000,
   2570   0xfffffffff7ffffff, 0xfffffffff8000000,
   2571   0xfffffffffbffffff, 0xfffffffffc000000,
   2572   0xfffffffffdffffff, 0xfffffffffe000000,
   2573   0xfffffffffeffffff, 0xffffffffff000000,
   2574   0xffffffffff7fffff, 0xffffffffff800000,
   2575   0xffffffffffbfffff, 0xffffffffffc00000,
   2576   0xffffffffffdfffff, 0xffffffffffe00000,
   2577   0xffffffffffefffff, 0xfffffffffff00000,
   2578   0xfffffffffff7ffff, 0xfffffffffff80000,
   2579   0xfffffffffffbffff, 0xfffffffffffc0000,
   2580   0xfffffffffffdffff, 0xfffffffffffe0000,
   2581   0xfffffffffffeffff, 0xffffffffffff0000,
   2582   0xffffffffffff7fff, 0xffffffffffff8000,
   2583   0xffffffffffffbfff, 0xffffffffffffc000,
   2584   0xffffffffffffdfff, 0xffffffffffffe000,
   2585   0xffffffffffffefff, 0xfffffffffffff000,
   2586   0xfffffffffffff7ff, 0xfffffffffffff800,
   2587   0xfffffffffffffbff, 0xfffffffffffffc00,
   2588   0xfffffffffffffdff, 0xfffffffffffffe00,
   2589   0xfffffffffffffeff, 0xffffffffffffff00,
   2590   0xffffffffffffff7f, 0xffffffffffffff80,
   2591   0xffffffffffffffbf, 0xffffffffffffffc0,
   2592   0xffffffffffffffdf, 0xffffffffffffffe0,
   2593   0xffffffffffffffef, 0xfffffffffffffff0,
   2594   0xfffffffffffffff7, 0xfffffffffffffff8,
   2595   0xfffffffffffffffb, 0xfffffffffffffffc,
   2596   0xfffffffffffffffd, 0xfffffffffffffffe,
   2597   0xfffffffffffffffe, 0xffffffffffffffff,
   2598 };
   2599 const unsigned kExpectedCount_NEON_ursra_2D_2OPIMM = 2560;
   2600 
   2601 #endif  // VIXL_SIM_URSRA_2D_2OPIMM_TRACE_AARCH64_H_
   2602