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