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_SLI_2D_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_SLI_2D_2OPIMM_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_sli_2D_2OPIMM[] = {
     38   0xffffffffffffffff, 0x0000000000000000,
     39   0xffffffffffffffff, 0x0000000000000000,
     40   0xffffffffffffffff, 0x0000000000000000,
     41   0xffffffffffffffff, 0x0000000000000000,
     42   0xffffffffffffffff, 0x0000000000000000,
     43   0xffffffffffffffff, 0x0000000000000000,
     44   0xffffffffffffffff, 0x0000000000000000,
     45   0xffffffffffffffff, 0x0000000000000000,
     46   0xffffffffffffffff, 0x0000000000000000,
     47   0xffffffffffffffff, 0x0000000000000000,
     48   0xffffffffffffffff, 0x0000000000000000,
     49   0xffffffffffffffff, 0x0000000000000000,
     50   0xffffffffffffffff, 0x0000000000000000,
     51   0xffffffffffffffff, 0x0000000000000000,
     52   0xffffffffffffffff, 0x0000000000000000,
     53   0xffffffffffffffff, 0x0000000000000000,
     54   0xffffffffffffffff, 0x0000000000000000,
     55   0xffffffffffffffff, 0x0000000000000000,
     56   0xffffffffffffffff, 0x0000000000000000,
     57   0xffffffffffffffff, 0x0000000000000000,
     58   0xffffffffffffffff, 0x0000000000000000,
     59   0xffffffffffffffff, 0x0000000000000000,
     60   0xffffffffffffffff, 0x0000000000000000,
     61   0xffffffffffffffff, 0x0000000000000000,
     62   0xffffffffffffffff, 0x0000000000000000,
     63   0xffffffffffffffff, 0x0000000000000000,
     64   0xffffffffffffffff, 0x0000000000000000,
     65   0xffffffffffffffff, 0x0000000000000000,
     66   0xffffffffffffffff, 0x0000000000000000,
     67   0xffffffffffffffff, 0x0000000000000000,
     68   0xffffffffffffffff, 0x0000000000000000,
     69   0xffffffffffffffff, 0x0000000000000000,
     70   0xffffffffffffffff, 0x0000000000000000,
     71   0xffffffffffffffff, 0x0000000000000000,
     72   0xffffffffffffffff, 0x0000000000000000,
     73   0xffffffffffffffff, 0x0000000000000000,
     74   0xffffffffffffffff, 0x0000000000000000,
     75   0xffffffffffffffff, 0x0000000000000000,
     76   0xffffffffffffffff, 0x0000000000000000,
     77   0xffffffffffffffff, 0x0000000000000000,
     78   0xffffffffffffffff, 0x0000000000000000,
     79   0xffffffffffffffff, 0x0000000000000000,
     80   0xffffffffffffffff, 0x0000000000000000,
     81   0xffffffffffffffff, 0x0000000000000000,
     82   0xffffffffffffffff, 0x0000000000000000,
     83   0xffffffffffffffff, 0x0000000000000000,
     84   0xffffffffffffffff, 0x0000000000000000,
     85   0xffffffffffffffff, 0x0000000000000000,
     86   0xffffffffffffffff, 0x0000000000000000,
     87   0xffffffffffffffff, 0x0000000000000000,
     88   0xffffffffffffffff, 0x0000000000000000,
     89   0xffffffffffffffff, 0x0000000000000000,
     90   0xffffffffffffffff, 0x0000000000000000,
     91   0xffffffffffffffff, 0x0000000000000000,
     92   0xffffffffffffffff, 0x0000000000000000,
     93   0xffffffffffffffff, 0x0000000000000000,
     94   0xffffffffffffffff, 0x0000000000000000,
     95   0xffffffffffffffff, 0x0000000000000000,
     96   0xffffffffffffffff, 0x0000000000000000,
     97   0xffffffffffffffff, 0x0000000000000000,
     98   0xffffffffffffffff, 0x0000000000000000,
     99   0xffffffffffffffff, 0x0000000000000000,
    100   0xffffffffffffffff, 0x0000000000000000,
    101   0xffffffffffffffff, 0x0000000000000000,
    102   0x0000000000000000, 0x0000000000000001,
    103   0x0000000000000000, 0x0000000000000003,
    104   0x0000000000000000, 0x0000000000000007,
    105   0x0000000000000000, 0x000000000000000f,
    106   0x0000000000000000, 0x000000000000001f,
    107   0x0000000000000000, 0x000000000000003f,
    108   0x0000000000000000, 0x000000000000007f,
    109   0x0000000000000000, 0x00000000000000ff,
    110   0x0000000000000000, 0x00000000000001ff,
    111   0x0000000000000000, 0x00000000000003ff,
    112   0x0000000000000000, 0x00000000000007ff,
    113   0x0000000000000000, 0x0000000000000fff,
    114   0x0000000000000000, 0x0000000000001fff,
    115   0x0000000000000000, 0x0000000000003fff,
    116   0x0000000000000000, 0x0000000000007fff,
    117   0x0000000000000000, 0x000000000000ffff,
    118   0x0000000000000000, 0x000000000001ffff,
    119   0x0000000000000000, 0x000000000003ffff,
    120   0x0000000000000000, 0x000000000007ffff,
    121   0x0000000000000000, 0x00000000000fffff,
    122   0x0000000000000000, 0x00000000001fffff,
    123   0x0000000000000000, 0x00000000003fffff,
    124   0x0000000000000000, 0x00000000007fffff,
    125   0x0000000000000000, 0x0000000000ffffff,
    126   0x0000000000000000, 0x0000000001ffffff,
    127   0x0000000000000000, 0x0000000003ffffff,
    128   0x0000000000000000, 0x0000000007ffffff,
    129   0x0000000000000000, 0x000000000fffffff,
    130   0x0000000000000000, 0x000000001fffffff,
    131   0x0000000000000000, 0x000000003fffffff,
    132   0x0000000000000000, 0x000000007fffffff,
    133   0x0000000000000000, 0x00000000ffffffff,
    134   0x0000000000000000, 0x00000001ffffffff,
    135   0x0000000000000000, 0x00000003ffffffff,
    136   0x0000000000000000, 0x00000007ffffffff,
    137   0x0000000000000000, 0x0000000fffffffff,
    138   0x0000000000000000, 0x0000001fffffffff,
    139   0x0000000000000000, 0x0000003fffffffff,
    140   0x0000000000000000, 0x0000007fffffffff,
    141   0x0000000000000000, 0x000000ffffffffff,
    142   0x0000000000000000, 0x000001ffffffffff,
    143   0x0000000000000000, 0x000003ffffffffff,
    144   0x0000000000000000, 0x000007ffffffffff,
    145   0x0000000000000000, 0x00000fffffffffff,
    146   0x0000000000000000, 0x00001fffffffffff,
    147   0x0000000000000000, 0x00003fffffffffff,
    148   0x0000000000000000, 0x00007fffffffffff,
    149   0x0000000000000000, 0x0000ffffffffffff,
    150   0x0000000000000000, 0x0001ffffffffffff,
    151   0x0000000000000000, 0x0003ffffffffffff,
    152   0x0000000000000000, 0x0007ffffffffffff,
    153   0x0000000000000000, 0x000fffffffffffff,
    154   0x0000000000000000, 0x001fffffffffffff,
    155   0x0000000000000000, 0x003fffffffffffff,
    156   0x0000000000000000, 0x007fffffffffffff,
    157   0x0000000000000000, 0x00ffffffffffffff,
    158   0x0000000000000000, 0x01ffffffffffffff,
    159   0x0000000000000000, 0x03ffffffffffffff,
    160   0x0000000000000000, 0x07ffffffffffffff,
    161   0x0000000000000000, 0x0fffffffffffffff,
    162   0x0000000000000000, 0x1fffffffffffffff,
    163   0x0000000000000000, 0x3fffffffffffffff,
    164   0x0000000000000000, 0x7fffffffffffffff,
    165   0x0000000000000000, 0xffffffffffffffff,
    166   0x0000000000000001, 0x0000000000000002,
    167   0x0000000000000003, 0x0000000000000004,
    168   0x0000000000000007, 0x0000000000000008,
    169   0x000000000000000f, 0x0000000000000010,
    170   0x000000000000001f, 0x0000000000000020,
    171   0x000000000000003f, 0x0000000000000040,
    172   0x000000000000007f, 0x0000000000000080,
    173   0x00000000000000ff, 0x0000000000000100,
    174   0x00000000000001ff, 0x0000000000000200,
    175   0x00000000000003ff, 0x0000000000000400,
    176   0x00000000000007ff, 0x0000000000000800,
    177   0x0000000000000fff, 0x0000000000001000,
    178   0x0000000000001fff, 0x0000000000002000,
    179   0x0000000000003fff, 0x0000000000004000,
    180   0x0000000000007fff, 0x0000000000008000,
    181   0x000000000000ffff, 0x0000000000010000,
    182   0x000000000001ffff, 0x0000000000020000,
    183   0x000000000003ffff, 0x0000000000040000,
    184   0x000000000007ffff, 0x0000000000080000,
    185   0x00000000000fffff, 0x0000000000100000,
    186   0x00000000001fffff, 0x0000000000200000,
    187   0x00000000003fffff, 0x0000000000400000,
    188   0x00000000007fffff, 0x0000000000800000,
    189   0x0000000000ffffff, 0x0000000001000000,
    190   0x0000000001ffffff, 0x0000000002000000,
    191   0x0000000003ffffff, 0x0000000004000000,
    192   0x0000000007ffffff, 0x0000000008000000,
    193   0x000000000fffffff, 0x0000000010000000,
    194   0x000000001fffffff, 0x0000000020000000,
    195   0x000000003fffffff, 0x0000000040000000,
    196   0x000000007fffffff, 0x0000000080000000,
    197   0x00000000ffffffff, 0x0000000100000000,
    198   0x00000001ffffffff, 0x0000000200000000,
    199   0x00000003ffffffff, 0x0000000400000000,
    200   0x00000007ffffffff, 0x0000000800000000,
    201   0x0000000fffffffff, 0x0000001000000000,
    202   0x0000001fffffffff, 0x0000002000000000,
    203   0x0000003fffffffff, 0x0000004000000000,
    204   0x0000007fffffffff, 0x0000008000000000,
    205   0x000000ffffffffff, 0x0000010000000000,
    206   0x000001ffffffffff, 0x0000020000000000,
    207   0x000003ffffffffff, 0x0000040000000000,
    208   0x000007ffffffffff, 0x0000080000000000,
    209   0x00000fffffffffff, 0x0000100000000000,
    210   0x00001fffffffffff, 0x0000200000000000,
    211   0x00003fffffffffff, 0x0000400000000000,
    212   0x00007fffffffffff, 0x0000800000000000,
    213   0x0000ffffffffffff, 0x0001000000000000,
    214   0x0001ffffffffffff, 0x0002000000000000,
    215   0x0003ffffffffffff, 0x0004000000000000,
    216   0x0007ffffffffffff, 0x0008000000000000,
    217   0x000fffffffffffff, 0x0010000000000000,
    218   0x001fffffffffffff, 0x0020000000000000,
    219   0x003fffffffffffff, 0x0040000000000000,
    220   0x007fffffffffffff, 0x0080000000000000,
    221   0x00ffffffffffffff, 0x0100000000000000,
    222   0x01ffffffffffffff, 0x0200000000000000,
    223   0x03ffffffffffffff, 0x0400000000000000,
    224   0x07ffffffffffffff, 0x0800000000000000,
    225   0x0fffffffffffffff, 0x1000000000000000,
    226   0x1fffffffffffffff, 0x2000000000000000,
    227   0x3fffffffffffffff, 0x4000000000000000,
    228   0x7fffffffffffffff, 0x8000000000000000,
    229   0xffffffffffffffff, 0x0000000000000000,
    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, 0x8000000000000000,
    288   0x0800000000000000, 0x0000000000000000,
    289   0x1000000000000000, 0x0000000000000000,
    290   0x2000000000000000, 0x0000000000000000,
    291   0x4000000000000000, 0x0000000000000000,
    292   0x8000000000000000, 0x0000000000000000,
    293   0x0000000000000000, 0x0000000000000000,
    294   0x0000000000000040, 0x000000000000007d,
    295   0x0000000000000080, 0x00000000000000fb,
    296   0x0000000000000100, 0x00000000000001f7,
    297   0x0000000000000200, 0x00000000000003ef,
    298   0x0000000000000400, 0x00000000000007df,
    299   0x0000000000000800, 0x0000000000000fbf,
    300   0x0000000000001000, 0x0000000000001f7f,
    301   0x0000000000002000, 0x0000000000003eff,
    302   0x0000000000004000, 0x0000000000007dff,
    303   0x0000000000008000, 0x000000000000fbff,
    304   0x0000000000010000, 0x000000000001f7ff,
    305   0x0000000000020000, 0x000000000003efff,
    306   0x0000000000040000, 0x000000000007dfff,
    307   0x0000000000080000, 0x00000000000fbfff,
    308   0x0000000000100000, 0x00000000001f7fff,
    309   0x0000000000200000, 0x00000000003effff,
    310   0x0000000000400000, 0x00000000007dffff,
    311   0x0000000000800000, 0x0000000000fbffff,
    312   0x0000000001000000, 0x0000000001f7ffff,
    313   0x0000000002000000, 0x0000000003efffff,
    314   0x0000000004000000, 0x0000000007dfffff,
    315   0x0000000008000000, 0x000000000fbfffff,
    316   0x0000000010000000, 0x000000001f7fffff,
    317   0x0000000020000000, 0x000000003effffff,
    318   0x0000000040000000, 0x000000007dffffff,
    319   0x0000000080000000, 0x00000000fbffffff,
    320   0x0000000100000000, 0x00000001f7ffffff,
    321   0x0000000200000000, 0x00000003efffffff,
    322   0x0000000400000000, 0x00000007dfffffff,
    323   0x0000000800000000, 0x0000000fbfffffff,
    324   0x0000001000000000, 0x0000001f7fffffff,
    325   0x0000002000000000, 0x0000003effffffff,
    326   0x0000004000000000, 0x0000007dffffffff,
    327   0x0000008000000000, 0x000000fbffffffff,
    328   0x0000010000000000, 0x000001f7ffffffff,
    329   0x0000020000000000, 0x000003efffffffff,
    330   0x0000040000000000, 0x000007dfffffffff,
    331   0x0000080000000000, 0x00000fbfffffffff,
    332   0x0000100000000000, 0x00001f7fffffffff,
    333   0x0000200000000000, 0x00003effffffffff,
    334   0x0000400000000000, 0x00007dffffffffff,
    335   0x0000800000000000, 0x0000fbffffffffff,
    336   0x0001000000000000, 0x0001f7ffffffffff,
    337   0x0002000000000000, 0x0003efffffffffff,
    338   0x0004000000000000, 0x0007dfffffffffff,
    339   0x0008000000000000, 0x000fbfffffffffff,
    340   0x0010000000000000, 0x001f7fffffffffff,
    341   0x0020000000000000, 0x003effffffffffff,
    342   0x0040000000000000, 0x007dffffffffffff,
    343   0x0080000000000000, 0x00fbffffffffffff,
    344   0x0100000000000000, 0x01f7ffffffffffff,
    345   0x0200000000000000, 0x03efffffffffffff,
    346   0x0400000000000000, 0x07dfffffffffffff,
    347   0x0800000000000000, 0x0fbfffffffffffff,
    348   0x1000000000000000, 0x1f7fffffffffffff,
    349   0x2000000000000000, 0x3effffffffffffff,
    350   0x4000000000000000, 0x7dffffffffffffff,
    351   0x8000000000000000, 0xfbffffffffffffff,
    352   0x0000000000000000, 0xf7ffffffffffffff,
    353   0x0000000000000000, 0xefffffffffffffff,
    354   0x0000000000000000, 0xdfffffffffffffff,
    355   0x0000000000000000, 0xbfffffffffffffff,
    356   0x0000000000000000, 0x7fffffffffffffff,
    357   0x0000000000000000, 0xffffffffffffffff,
    358   0x000000000000007d, 0x000000000000007e,
    359   0x00000000000000fb, 0x00000000000000fc,
    360   0x00000000000001f7, 0x00000000000001f8,
    361   0x00000000000003ef, 0x00000000000003f0,
    362   0x00000000000007df, 0x00000000000007e0,
    363   0x0000000000000fbf, 0x0000000000000fc0,
    364   0x0000000000001f7f, 0x0000000000001f80,
    365   0x0000000000003eff, 0x0000000000003f00,
    366   0x0000000000007dff, 0x0000000000007e00,
    367   0x000000000000fbff, 0x000000000000fc00,
    368   0x000000000001f7ff, 0x000000000001f800,
    369   0x000000000003efff, 0x000000000003f000,
    370   0x000000000007dfff, 0x000000000007e000,
    371   0x00000000000fbfff, 0x00000000000fc000,
    372   0x00000000001f7fff, 0x00000000001f8000,
    373   0x00000000003effff, 0x00000000003f0000,
    374   0x00000000007dffff, 0x00000000007e0000,
    375   0x0000000000fbffff, 0x0000000000fc0000,
    376   0x0000000001f7ffff, 0x0000000001f80000,
    377   0x0000000003efffff, 0x0000000003f00000,
    378   0x0000000007dfffff, 0x0000000007e00000,
    379   0x000000000fbfffff, 0x000000000fc00000,
    380   0x000000001f7fffff, 0x000000001f800000,
    381   0x000000003effffff, 0x000000003f000000,
    382   0x000000007dffffff, 0x000000007e000000,
    383   0x00000000fbffffff, 0x00000000fc000000,
    384   0x00000001f7ffffff, 0x00000001f8000000,
    385   0x00000003efffffff, 0x00000003f0000000,
    386   0x00000007dfffffff, 0x00000007e0000000,
    387   0x0000000fbfffffff, 0x0000000fc0000000,
    388   0x0000001f7fffffff, 0x0000001f80000000,
    389   0x0000003effffffff, 0x0000003f00000000,
    390   0x0000007dffffffff, 0x0000007e00000000,
    391   0x000000fbffffffff, 0x000000fc00000000,
    392   0x000001f7ffffffff, 0x000001f800000000,
    393   0x000003efffffffff, 0x000003f000000000,
    394   0x000007dfffffffff, 0x000007e000000000,
    395   0x00000fbfffffffff, 0x00000fc000000000,
    396   0x00001f7fffffffff, 0x00001f8000000000,
    397   0x00003effffffffff, 0x00003f0000000000,
    398   0x00007dffffffffff, 0x00007e0000000000,
    399   0x0000fbffffffffff, 0x0000fc0000000000,
    400   0x0001f7ffffffffff, 0x0001f80000000000,
    401   0x0003efffffffffff, 0x0003f00000000000,
    402   0x0007dfffffffffff, 0x0007e00000000000,
    403   0x000fbfffffffffff, 0x000fc00000000000,
    404   0x001f7fffffffffff, 0x001f800000000000,
    405   0x003effffffffffff, 0x003f000000000000,
    406   0x007dffffffffffff, 0x007e000000000000,
    407   0x00fbffffffffffff, 0x00fc000000000000,
    408   0x01f7ffffffffffff, 0x01f8000000000000,
    409   0x03efffffffffffff, 0x03f0000000000000,
    410   0x07dfffffffffffff, 0x07e0000000000000,
    411   0x0fbfffffffffffff, 0x0fc0000000000000,
    412   0x1f7fffffffffffff, 0x1f80000000000000,
    413   0x3effffffffffffff, 0x3f00000000000000,
    414   0x7dffffffffffffff, 0x7e00000000000000,
    415   0xfbffffffffffffff, 0xfc00000000000000,
    416   0xf7ffffffffffffff, 0xf800000000000000,
    417   0xefffffffffffffff, 0xf000000000000000,
    418   0xdfffffffffffffff, 0xe000000000000000,
    419   0xbfffffffffffffff, 0xc000000000000000,
    420   0x7fffffffffffffff, 0x8000000000000000,
    421   0xffffffffffffffff, 0x0000000000000000,
    422   0x000000000000007e, 0x000000000000007f,
    423   0x00000000000000fc, 0x00000000000000ff,
    424   0x00000000000001f8, 0x00000000000001ff,
    425   0x00000000000003f0, 0x00000000000003ff,
    426   0x00000000000007e0, 0x00000000000007ff,
    427   0x0000000000000fc0, 0x0000000000000fff,
    428   0x0000000000001f80, 0x0000000000001fff,
    429   0x0000000000003f00, 0x0000000000003fff,
    430   0x0000000000007e00, 0x0000000000007fff,
    431   0x000000000000fc00, 0x000000000000ffff,
    432   0x000000000001f800, 0x000000000001ffff,
    433   0x000000000003f000, 0x000000000003ffff,
    434   0x000000000007e000, 0x000000000007ffff,
    435   0x00000000000fc000, 0x00000000000fffff,
    436   0x00000000001f8000, 0x00000000001fffff,
    437   0x00000000003f0000, 0x00000000003fffff,
    438   0x00000000007e0000, 0x00000000007fffff,
    439   0x0000000000fc0000, 0x0000000000ffffff,
    440   0x0000000001f80000, 0x0000000001ffffff,
    441   0x0000000003f00000, 0x0000000003ffffff,
    442   0x0000000007e00000, 0x0000000007ffffff,
    443   0x000000000fc00000, 0x000000000fffffff,
    444   0x000000001f800000, 0x000000001fffffff,
    445   0x000000003f000000, 0x000000003fffffff,
    446   0x000000007e000000, 0x000000007fffffff,
    447   0x00000000fc000000, 0x00000000ffffffff,
    448   0x00000001f8000000, 0x00000001ffffffff,
    449   0x00000003f0000000, 0x00000003ffffffff,
    450   0x00000007e0000000, 0x00000007ffffffff,
    451   0x0000000fc0000000, 0x0000000fffffffff,
    452   0x0000001f80000000, 0x0000001fffffffff,
    453   0x0000003f00000000, 0x0000003fffffffff,
    454   0x0000007e00000000, 0x0000007fffffffff,
    455   0x000000fc00000000, 0x000000ffffffffff,
    456   0x000001f800000000, 0x000001ffffffffff,
    457   0x000003f000000000, 0x000003ffffffffff,
    458   0x000007e000000000, 0x000007ffffffffff,
    459   0x00000fc000000000, 0x00000fffffffffff,
    460   0x00001f8000000000, 0x00001fffffffffff,
    461   0x00003f0000000000, 0x00003fffffffffff,
    462   0x00007e0000000000, 0x00007fffffffffff,
    463   0x0000fc0000000000, 0x0000ffffffffffff,
    464   0x0001f80000000000, 0x0001ffffffffffff,
    465   0x0003f00000000000, 0x0003ffffffffffff,
    466   0x0007e00000000000, 0x0007ffffffffffff,
    467   0x000fc00000000000, 0x000fffffffffffff,
    468   0x001f800000000000, 0x001fffffffffffff,
    469   0x003f000000000000, 0x003fffffffffffff,
    470   0x007e000000000000, 0x007fffffffffffff,
    471   0x00fc000000000000, 0x00ffffffffffffff,
    472   0x01f8000000000000, 0x01ffffffffffffff,
    473   0x03f0000000000000, 0x03ffffffffffffff,
    474   0x07e0000000000000, 0x07ffffffffffffff,
    475   0x0fc0000000000000, 0x0fffffffffffffff,
    476   0x1f80000000000000, 0x1fffffffffffffff,
    477   0x3f00000000000000, 0x3fffffffffffffff,
    478   0x7e00000000000000, 0x7fffffffffffffff,
    479   0xfc00000000000000, 0xffffffffffffffff,
    480   0xf800000000000000, 0xffffffffffffffff,
    481   0xf000000000000000, 0xffffffffffffffff,
    482   0xe000000000000000, 0xffffffffffffffff,
    483   0xc000000000000000, 0xffffffffffffffff,
    484   0x8000000000000000, 0xffffffffffffffff,
    485   0x0000000000000000, 0xffffffffffffffff,
    486   0x000000000000007f, 0x0000000000007ffd,
    487   0x00000000000000ff, 0x000000000000fffb,
    488   0x00000000000001ff, 0x000000000001fff7,
    489   0x00000000000003ff, 0x000000000003ffef,
    490   0x00000000000007ff, 0x000000000007ffdf,
    491   0x0000000000000fff, 0x00000000000fffbf,
    492   0x0000000000001fff, 0x00000000001fff7f,
    493   0x0000000000003fff, 0x00000000003ffeff,
    494   0x0000000000007fff, 0x00000000007ffdff,
    495   0x000000000000ffff, 0x0000000000fffbff,
    496   0x000000000001ffff, 0x0000000001fff7ff,
    497   0x000000000003ffff, 0x0000000003ffefff,
    498   0x000000000007ffff, 0x0000000007ffdfff,
    499   0x00000000000fffff, 0x000000000fffbfff,
    500   0x00000000001fffff, 0x000000001fff7fff,
    501   0x00000000003fffff, 0x000000003ffeffff,
    502   0x00000000007fffff, 0x000000007ffdffff,
    503   0x0000000000ffffff, 0x00000000fffbffff,
    504   0x0000000001ffffff, 0x00000001fff7ffff,
    505   0x0000000003ffffff, 0x00000003ffefffff,
    506   0x0000000007ffffff, 0x00000007ffdfffff,
    507   0x000000000fffffff, 0x0000000fffbfffff,
    508   0x000000001fffffff, 0x0000001fff7fffff,
    509   0x000000003fffffff, 0x0000003ffeffffff,
    510   0x000000007fffffff, 0x0000007ffdffffff,
    511   0x00000000ffffffff, 0x000000fffbffffff,
    512   0x00000001ffffffff, 0x000001fff7ffffff,
    513   0x00000003ffffffff, 0x000003ffefffffff,
    514   0x00000007ffffffff, 0x000007ffdfffffff,
    515   0x0000000fffffffff, 0x00000fffbfffffff,
    516   0x0000001fffffffff, 0x00001fff7fffffff,
    517   0x0000003fffffffff, 0x00003ffeffffffff,
    518   0x0000007fffffffff, 0x00007ffdffffffff,
    519   0x000000ffffffffff, 0x0000fffbffffffff,
    520   0x000001ffffffffff, 0x0001fff7ffffffff,
    521   0x000003ffffffffff, 0x0003ffefffffffff,
    522   0x000007ffffffffff, 0x0007ffdfffffffff,
    523   0x00000fffffffffff, 0x000fffbfffffffff,
    524   0x00001fffffffffff, 0x001fff7fffffffff,
    525   0x00003fffffffffff, 0x003ffeffffffffff,
    526   0x00007fffffffffff, 0x007ffdffffffffff,
    527   0x0000ffffffffffff, 0x00fffbffffffffff,
    528   0x0001ffffffffffff, 0x01fff7ffffffffff,
    529   0x0003ffffffffffff, 0x03ffefffffffffff,
    530   0x0007ffffffffffff, 0x07ffdfffffffffff,
    531   0x000fffffffffffff, 0x0fffbfffffffffff,
    532   0x001fffffffffffff, 0x1fff7fffffffffff,
    533   0x003fffffffffffff, 0x3ffeffffffffffff,
    534   0x007fffffffffffff, 0x7ffdffffffffffff,
    535   0x00ffffffffffffff, 0xfffbffffffffffff,
    536   0x01ffffffffffffff, 0xfff7ffffffffffff,
    537   0x03ffffffffffffff, 0xffefffffffffffff,
    538   0x07ffffffffffffff, 0xffdfffffffffffff,
    539   0x0fffffffffffffff, 0xffbfffffffffffff,
    540   0x1fffffffffffffff, 0xff7fffffffffffff,
    541   0x3fffffffffffffff, 0xfeffffffffffffff,
    542   0x7fffffffffffffff, 0xfdffffffffffffff,
    543   0xffffffffffffffff, 0xfbffffffffffffff,
    544   0xffffffffffffffff, 0xf7ffffffffffffff,
    545   0xffffffffffffffff, 0xefffffffffffffff,
    546   0xffffffffffffffff, 0xdfffffffffffffff,
    547   0xffffffffffffffff, 0xbfffffffffffffff,
    548   0xffffffffffffffff, 0x7fffffffffffffff,
    549   0xffffffffffffffff, 0xffffffffffffffff,
    550   0x0000000000007ffd, 0x0000000000007ffe,
    551   0x000000000000fffb, 0x000000000000fffc,
    552   0x000000000001fff7, 0x000000000001fff8,
    553   0x000000000003ffef, 0x000000000003fff0,
    554   0x000000000007ffdf, 0x000000000007ffe0,
    555   0x00000000000fffbf, 0x00000000000fffc0,
    556   0x00000000001fff7f, 0x00000000001fff80,
    557   0x00000000003ffeff, 0x00000000003fff00,
    558   0x00000000007ffdff, 0x00000000007ffe00,
    559   0x0000000000fffbff, 0x0000000000fffc00,
    560   0x0000000001fff7ff, 0x0000000001fff800,
    561   0x0000000003ffefff, 0x0000000003fff000,
    562   0x0000000007ffdfff, 0x0000000007ffe000,
    563   0x000000000fffbfff, 0x000000000fffc000,
    564   0x000000001fff7fff, 0x000000001fff8000,
    565   0x000000003ffeffff, 0x000000003fff0000,
    566   0x000000007ffdffff, 0x000000007ffe0000,
    567   0x00000000fffbffff, 0x00000000fffc0000,
    568   0x00000001fff7ffff, 0x00000001fff80000,
    569   0x00000003ffefffff, 0x00000003fff00000,
    570   0x00000007ffdfffff, 0x00000007ffe00000,
    571   0x0000000fffbfffff, 0x0000000fffc00000,
    572   0x0000001fff7fffff, 0x0000001fff800000,
    573   0x0000003ffeffffff, 0x0000003fff000000,
    574   0x0000007ffdffffff, 0x0000007ffe000000,
    575   0x000000fffbffffff, 0x000000fffc000000,
    576   0x000001fff7ffffff, 0x000001fff8000000,
    577   0x000003ffefffffff, 0x000003fff0000000,
    578   0x000007ffdfffffff, 0x000007ffe0000000,
    579   0x00000fffbfffffff, 0x00000fffc0000000,
    580   0x00001fff7fffffff, 0x00001fff80000000,
    581   0x00003ffeffffffff, 0x00003fff00000000,
    582   0x00007ffdffffffff, 0x00007ffe00000000,
    583   0x0000fffbffffffff, 0x0000fffc00000000,
    584   0x0001fff7ffffffff, 0x0001fff800000000,
    585   0x0003ffefffffffff, 0x0003fff000000000,
    586   0x0007ffdfffffffff, 0x0007ffe000000000,
    587   0x000fffbfffffffff, 0x000fffc000000000,
    588   0x001fff7fffffffff, 0x001fff8000000000,
    589   0x003ffeffffffffff, 0x003fff0000000000,
    590   0x007ffdffffffffff, 0x007ffe0000000000,
    591   0x00fffbffffffffff, 0x00fffc0000000000,
    592   0x01fff7ffffffffff, 0x01fff80000000000,
    593   0x03ffefffffffffff, 0x03fff00000000000,
    594   0x07ffdfffffffffff, 0x07ffe00000000000,
    595   0x0fffbfffffffffff, 0x0fffc00000000000,
    596   0x1fff7fffffffffff, 0x1fff800000000000,
    597   0x3ffeffffffffffff, 0x3fff000000000000,
    598   0x7ffdffffffffffff, 0x7ffe000000000000,
    599   0xfffbffffffffffff, 0xfffc000000000000,
    600   0xfff7ffffffffffff, 0xfff8000000000000,
    601   0xffefffffffffffff, 0xfff0000000000000,
    602   0xffdfffffffffffff, 0xffe0000000000000,
    603   0xffbfffffffffffff, 0xffc0000000000000,
    604   0xff7fffffffffffff, 0xff80000000000000,
    605   0xfeffffffffffffff, 0xff00000000000000,
    606   0xfdffffffffffffff, 0xfe00000000000000,
    607   0xfbffffffffffffff, 0xfc00000000000000,
    608   0xf7ffffffffffffff, 0xf800000000000000,
    609   0xefffffffffffffff, 0xf000000000000000,
    610   0xdfffffffffffffff, 0xe000000000000000,
    611   0xbfffffffffffffff, 0xc000000000000000,
    612   0x7fffffffffffffff, 0x8000000000000000,
    613   0xffffffffffffffff, 0x0000000000000000,
    614   0x0000000000007ffe, 0x0000000000007fff,
    615   0x000000000000fffc, 0x000000000000ffff,
    616   0x000000000001fff8, 0x000000000001ffff,
    617   0x000000000003fff0, 0x000000000003ffff,
    618   0x000000000007ffe0, 0x000000000007ffff,
    619   0x00000000000fffc0, 0x00000000000fffff,
    620   0x00000000001fff80, 0x00000000001fffff,
    621   0x00000000003fff00, 0x00000000003fffff,
    622   0x00000000007ffe00, 0x00000000007fffff,
    623   0x0000000000fffc00, 0x0000000000ffffff,
    624   0x0000000001fff800, 0x0000000001ffffff,
    625   0x0000000003fff000, 0x0000000003ffffff,
    626   0x0000000007ffe000, 0x0000000007ffffff,
    627   0x000000000fffc000, 0x000000000fffffff,
    628   0x000000001fff8000, 0x000000001fffffff,
    629   0x000000003fff0000, 0x000000003fffffff,
    630   0x000000007ffe0000, 0x000000007fffffff,
    631   0x00000000fffc0000, 0x00000000ffffffff,
    632   0x00000001fff80000, 0x00000001ffffffff,
    633   0x00000003fff00000, 0x00000003ffffffff,
    634   0x00000007ffe00000, 0x00000007ffffffff,
    635   0x0000000fffc00000, 0x0000000fffffffff,
    636   0x0000001fff800000, 0x0000001fffffffff,
    637   0x0000003fff000000, 0x0000003fffffffff,
    638   0x0000007ffe000000, 0x0000007fffffffff,
    639   0x000000fffc000000, 0x000000ffffffffff,
    640   0x000001fff8000000, 0x000001ffffffffff,
    641   0x000003fff0000000, 0x000003ffffffffff,
    642   0x000007ffe0000000, 0x000007ffffffffff,
    643   0x00000fffc0000000, 0x00000fffffffffff,
    644   0x00001fff80000000, 0x00001fffffffffff,
    645   0x00003fff00000000, 0x00003fffffffffff,
    646   0x00007ffe00000000, 0x00007fffffffffff,
    647   0x0000fffc00000000, 0x0000ffffffffffff,
    648   0x0001fff800000000, 0x0001ffffffffffff,
    649   0x0003fff000000000, 0x0003ffffffffffff,
    650   0x0007ffe000000000, 0x0007ffffffffffff,
    651   0x000fffc000000000, 0x000fffffffffffff,
    652   0x001fff8000000000, 0x001fffffffffffff,
    653   0x003fff0000000000, 0x003fffffffffffff,
    654   0x007ffe0000000000, 0x007fffffffffffff,
    655   0x00fffc0000000000, 0x00ffffffffffffff,
    656   0x01fff80000000000, 0x01ffffffffffffff,
    657   0x03fff00000000000, 0x03ffffffffffffff,
    658   0x07ffe00000000000, 0x07ffffffffffffff,
    659   0x0fffc00000000000, 0x0fffffffffffffff,
    660   0x1fff800000000000, 0x1fffffffffffffff,
    661   0x3fff000000000000, 0x3fffffffffffffff,
    662   0x7ffe000000000000, 0x7fffffffffffffff,
    663   0xfffc000000000000, 0xffffffffffffffff,
    664   0xfff8000000000000, 0xffffffffffffffff,
    665   0xfff0000000000000, 0xffffffffffffffff,
    666   0xffe0000000000000, 0xffffffffffffffff,
    667   0xffc0000000000000, 0xffffffffffffffff,
    668   0xff80000000000000, 0xffffffffffffffff,
    669   0xff00000000000000, 0xffffffffffffffff,
    670   0xfe00000000000000, 0xffffffffffffffff,
    671   0xfc00000000000000, 0xffffffffffffffff,
    672   0xf800000000000000, 0xffffffffffffffff,
    673   0xf000000000000000, 0xffffffffffffffff,
    674   0xe000000000000000, 0xffffffffffffffff,
    675   0xc000000000000000, 0xffffffffffffffff,
    676   0x8000000000000000, 0xffffffffffffffff,
    677   0x0000000000000000, 0xffffffffffffffff,
    678   0x0000000000007fff, 0x000000007ffffffd,
    679   0x000000000000ffff, 0x00000000fffffffb,
    680   0x000000000001ffff, 0x00000001fffffff7,
    681   0x000000000003ffff, 0x00000003ffffffef,
    682   0x000000000007ffff, 0x00000007ffffffdf,
    683   0x00000000000fffff, 0x0000000fffffffbf,
    684   0x00000000001fffff, 0x0000001fffffff7f,
    685   0x00000000003fffff, 0x0000003ffffffeff,
    686   0x00000000007fffff, 0x0000007ffffffdff,
    687   0x0000000000ffffff, 0x000000fffffffbff,
    688   0x0000000001ffffff, 0x000001fffffff7ff,
    689   0x0000000003ffffff, 0x000003ffffffefff,
    690   0x0000000007ffffff, 0x000007ffffffdfff,
    691   0x000000000fffffff, 0x00000fffffffbfff,
    692   0x000000001fffffff, 0x00001fffffff7fff,
    693   0x000000003fffffff, 0x00003ffffffeffff,
    694   0x000000007fffffff, 0x00007ffffffdffff,
    695   0x00000000ffffffff, 0x0000fffffffbffff,
    696   0x00000001ffffffff, 0x0001fffffff7ffff,
    697   0x00000003ffffffff, 0x0003ffffffefffff,
    698   0x00000007ffffffff, 0x0007ffffffdfffff,
    699   0x0000000fffffffff, 0x000fffffffbfffff,
    700   0x0000001fffffffff, 0x001fffffff7fffff,
    701   0x0000003fffffffff, 0x003ffffffeffffff,
    702   0x0000007fffffffff, 0x007ffffffdffffff,
    703   0x000000ffffffffff, 0x00fffffffbffffff,
    704   0x000001ffffffffff, 0x01fffffff7ffffff,
    705   0x000003ffffffffff, 0x03ffffffefffffff,
    706   0x000007ffffffffff, 0x07ffffffdfffffff,
    707   0x00000fffffffffff, 0x0fffffffbfffffff,
    708   0x00001fffffffffff, 0x1fffffff7fffffff,
    709   0x00003fffffffffff, 0x3ffffffeffffffff,
    710   0x00007fffffffffff, 0x7ffffffdffffffff,
    711   0x0000ffffffffffff, 0xfffffffbffffffff,
    712   0x0001ffffffffffff, 0xfffffff7ffffffff,
    713   0x0003ffffffffffff, 0xffffffefffffffff,
    714   0x0007ffffffffffff, 0xffffffdfffffffff,
    715   0x000fffffffffffff, 0xffffffbfffffffff,
    716   0x001fffffffffffff, 0xffffff7fffffffff,
    717   0x003fffffffffffff, 0xfffffeffffffffff,
    718   0x007fffffffffffff, 0xfffffdffffffffff,
    719   0x00ffffffffffffff, 0xfffffbffffffffff,
    720   0x01ffffffffffffff, 0xfffff7ffffffffff,
    721   0x03ffffffffffffff, 0xffffefffffffffff,
    722   0x07ffffffffffffff, 0xffffdfffffffffff,
    723   0x0fffffffffffffff, 0xffffbfffffffffff,
    724   0x1fffffffffffffff, 0xffff7fffffffffff,
    725   0x3fffffffffffffff, 0xfffeffffffffffff,
    726   0x7fffffffffffffff, 0xfffdffffffffffff,
    727   0xffffffffffffffff, 0xfffbffffffffffff,
    728   0xffffffffffffffff, 0xfff7ffffffffffff,
    729   0xffffffffffffffff, 0xffefffffffffffff,
    730   0xffffffffffffffff, 0xffdfffffffffffff,
    731   0xffffffffffffffff, 0xffbfffffffffffff,
    732   0xffffffffffffffff, 0xff7fffffffffffff,
    733   0xffffffffffffffff, 0xfeffffffffffffff,
    734   0xffffffffffffffff, 0xfdffffffffffffff,
    735   0xffffffffffffffff, 0xfbffffffffffffff,
    736   0xffffffffffffffff, 0xf7ffffffffffffff,
    737   0xffffffffffffffff, 0xefffffffffffffff,
    738   0xffffffffffffffff, 0xdfffffffffffffff,
    739   0xffffffffffffffff, 0xbfffffffffffffff,
    740   0xffffffffffffffff, 0x7fffffffffffffff,
    741   0xffffffffffffffff, 0xffffffffffffffff,
    742   0x000000007ffffffd, 0x000000007ffffffe,
    743   0x00000000fffffffb, 0x00000000fffffffc,
    744   0x00000001fffffff7, 0x00000001fffffff8,
    745   0x00000003ffffffef, 0x00000003fffffff0,
    746   0x00000007ffffffdf, 0x00000007ffffffe0,
    747   0x0000000fffffffbf, 0x0000000fffffffc0,
    748   0x0000001fffffff7f, 0x0000001fffffff80,
    749   0x0000003ffffffeff, 0x0000003fffffff00,
    750   0x0000007ffffffdff, 0x0000007ffffffe00,
    751   0x000000fffffffbff, 0x000000fffffffc00,
    752   0x000001fffffff7ff, 0x000001fffffff800,
    753   0x000003ffffffefff, 0x000003fffffff000,
    754   0x000007ffffffdfff, 0x000007ffffffe000,
    755   0x00000fffffffbfff, 0x00000fffffffc000,
    756   0x00001fffffff7fff, 0x00001fffffff8000,
    757   0x00003ffffffeffff, 0x00003fffffff0000,
    758   0x00007ffffffdffff, 0x00007ffffffe0000,
    759   0x0000fffffffbffff, 0x0000fffffffc0000,
    760   0x0001fffffff7ffff, 0x0001fffffff80000,
    761   0x0003ffffffefffff, 0x0003fffffff00000,
    762   0x0007ffffffdfffff, 0x0007ffffffe00000,
    763   0x000fffffffbfffff, 0x000fffffffc00000,
    764   0x001fffffff7fffff, 0x001fffffff800000,
    765   0x003ffffffeffffff, 0x003fffffff000000,
    766   0x007ffffffdffffff, 0x007ffffffe000000,
    767   0x00fffffffbffffff, 0x00fffffffc000000,
    768   0x01fffffff7ffffff, 0x01fffffff8000000,
    769   0x03ffffffefffffff, 0x03fffffff0000000,
    770   0x07ffffffdfffffff, 0x07ffffffe0000000,
    771   0x0fffffffbfffffff, 0x0fffffffc0000000,
    772   0x1fffffff7fffffff, 0x1fffffff80000000,
    773   0x3ffffffeffffffff, 0x3fffffff00000000,
    774   0x7ffffffdffffffff, 0x7ffffffe00000000,
    775   0xfffffffbffffffff, 0xfffffffc00000000,
    776   0xfffffff7ffffffff, 0xfffffff800000000,
    777   0xffffffefffffffff, 0xfffffff000000000,
    778   0xffffffdfffffffff, 0xffffffe000000000,
    779   0xffffffbfffffffff, 0xffffffc000000000,
    780   0xffffff7fffffffff, 0xffffff8000000000,
    781   0xfffffeffffffffff, 0xffffff0000000000,
    782   0xfffffdffffffffff, 0xfffffe0000000000,
    783   0xfffffbffffffffff, 0xfffffc0000000000,
    784   0xfffff7ffffffffff, 0xfffff80000000000,
    785   0xffffefffffffffff, 0xfffff00000000000,
    786   0xffffdfffffffffff, 0xffffe00000000000,
    787   0xffffbfffffffffff, 0xffffc00000000000,
    788   0xffff7fffffffffff, 0xffff800000000000,
    789   0xfffeffffffffffff, 0xffff000000000000,
    790   0xfffdffffffffffff, 0xfffe000000000000,
    791   0xfffbffffffffffff, 0xfffc000000000000,
    792   0xfff7ffffffffffff, 0xfff8000000000000,
    793   0xffefffffffffffff, 0xfff0000000000000,
    794   0xffdfffffffffffff, 0xffe0000000000000,
    795   0xffbfffffffffffff, 0xffc0000000000000,
    796   0xff7fffffffffffff, 0xff80000000000000,
    797   0xfeffffffffffffff, 0xff00000000000000,
    798   0xfdffffffffffffff, 0xfe00000000000000,
    799   0xfbffffffffffffff, 0xfc00000000000000,
    800   0xf7ffffffffffffff, 0xf800000000000000,
    801   0xefffffffffffffff, 0xf000000000000000,
    802   0xdfffffffffffffff, 0xe000000000000000,
    803   0xbfffffffffffffff, 0xc000000000000000,
    804   0x7fffffffffffffff, 0x8000000000000000,
    805   0xffffffffffffffff, 0x0000000000000000,
    806   0x000000007ffffffe, 0x000000007fffffff,
    807   0x00000000fffffffc, 0x00000000ffffffff,
    808   0x00000001fffffff8, 0x00000001ffffffff,
    809   0x00000003fffffff0, 0x00000003ffffffff,
    810   0x00000007ffffffe0, 0x00000007ffffffff,
    811   0x0000000fffffffc0, 0x0000000fffffffff,
    812   0x0000001fffffff80, 0x0000001fffffffff,
    813   0x0000003fffffff00, 0x0000003fffffffff,
    814   0x0000007ffffffe00, 0x0000007fffffffff,
    815   0x000000fffffffc00, 0x000000ffffffffff,
    816   0x000001fffffff800, 0x000001ffffffffff,
    817   0x000003fffffff000, 0x000003ffffffffff,
    818   0x000007ffffffe000, 0x000007ffffffffff,
    819   0x00000fffffffc000, 0x00000fffffffffff,
    820   0x00001fffffff8000, 0x00001fffffffffff,
    821   0x00003fffffff0000, 0x00003fffffffffff,
    822   0x00007ffffffe0000, 0x00007fffffffffff,
    823   0x0000fffffffc0000, 0x0000ffffffffffff,
    824   0x0001fffffff80000, 0x0001ffffffffffff,
    825   0x0003fffffff00000, 0x0003ffffffffffff,
    826   0x0007ffffffe00000, 0x0007ffffffffffff,
    827   0x000fffffffc00000, 0x000fffffffffffff,
    828   0x001fffffff800000, 0x001fffffffffffff,
    829   0x003fffffff000000, 0x003fffffffffffff,
    830   0x007ffffffe000000, 0x007fffffffffffff,
    831   0x00fffffffc000000, 0x00ffffffffffffff,
    832   0x01fffffff8000000, 0x01ffffffffffffff,
    833   0x03fffffff0000000, 0x03ffffffffffffff,
    834   0x07ffffffe0000000, 0x07ffffffffffffff,
    835   0x0fffffffc0000000, 0x0fffffffffffffff,
    836   0x1fffffff80000000, 0x1fffffffffffffff,
    837   0x3fffffff00000000, 0x3fffffffffffffff,
    838   0x7ffffffe00000000, 0x7fffffffffffffff,
    839   0xfffffffc00000000, 0xffffffffffffffff,
    840   0xfffffff800000000, 0xffffffffffffffff,
    841   0xfffffff000000000, 0xffffffffffffffff,
    842   0xffffffe000000000, 0xffffffffffffffff,
    843   0xffffffc000000000, 0xffffffffffffffff,
    844   0xffffff8000000000, 0xffffffffffffffff,
    845   0xffffff0000000000, 0xffffffffffffffff,
    846   0xfffffe0000000000, 0xffffffffffffffff,
    847   0xfffffc0000000000, 0xffffffffffffffff,
    848   0xfffff80000000000, 0xffffffffffffffff,
    849   0xfffff00000000000, 0xffffffffffffffff,
    850   0xffffe00000000000, 0xffffffffffffffff,
    851   0xffffc00000000000, 0xffffffffffffffff,
    852   0xffff800000000000, 0xffffffffffffffff,
    853   0xffff000000000000, 0xffffffffffffffff,
    854   0xfffe000000000000, 0xffffffffffffffff,
    855   0xfffc000000000000, 0xffffffffffffffff,
    856   0xfff8000000000000, 0xffffffffffffffff,
    857   0xfff0000000000000, 0xffffffffffffffff,
    858   0xffe0000000000000, 0xffffffffffffffff,
    859   0xffc0000000000000, 0xffffffffffffffff,
    860   0xff80000000000000, 0xffffffffffffffff,
    861   0xff00000000000000, 0xffffffffffffffff,
    862   0xfe00000000000000, 0xffffffffffffffff,
    863   0xfc00000000000000, 0xffffffffffffffff,
    864   0xf800000000000000, 0xffffffffffffffff,
    865   0xf000000000000000, 0xffffffffffffffff,
    866   0xe000000000000000, 0xffffffffffffffff,
    867   0xc000000000000000, 0xffffffffffffffff,
    868   0x8000000000000000, 0xffffffffffffffff,
    869   0x0000000000000000, 0xffffffffffffffff,
    870   0x000000007fffffff, 0x3333333333333333,
    871   0x00000000ffffffff, 0x6666666666666667,
    872   0x00000001ffffffff, 0xcccccccccccccccf,
    873   0x00000003ffffffff, 0x999999999999999f,
    874   0x00000007ffffffff, 0x333333333333333f,
    875   0x0000000fffffffff, 0x666666666666667f,
    876   0x0000001fffffffff, 0xccccccccccccccff,
    877   0x0000003fffffffff, 0x99999999999999ff,
    878   0x0000007fffffffff, 0x33333333333333ff,
    879   0x000000ffffffffff, 0x66666666666667ff,
    880   0x000001ffffffffff, 0xcccccccccccccfff,
    881   0x000003ffffffffff, 0x9999999999999fff,
    882   0x000007ffffffffff, 0x3333333333333fff,
    883   0x00000fffffffffff, 0x6666666666667fff,
    884   0x00001fffffffffff, 0xccccccccccccffff,
    885   0x00003fffffffffff, 0x999999999999ffff,
    886   0x00007fffffffffff, 0x333333333333ffff,
    887   0x0000ffffffffffff, 0x666666666667ffff,
    888   0x0001ffffffffffff, 0xcccccccccccfffff,
    889   0x0003ffffffffffff, 0x99999999999fffff,
    890   0x0007ffffffffffff, 0x33333333333fffff,
    891   0x000fffffffffffff, 0x66666666667fffff,
    892   0x001fffffffffffff, 0xccccccccccffffff,
    893   0x003fffffffffffff, 0x9999999999ffffff,
    894   0x007fffffffffffff, 0x3333333333ffffff,
    895   0x00ffffffffffffff, 0x6666666667ffffff,
    896   0x01ffffffffffffff, 0xcccccccccfffffff,
    897   0x03ffffffffffffff, 0x999999999fffffff,
    898   0x07ffffffffffffff, 0x333333333fffffff,
    899   0x0fffffffffffffff, 0x666666667fffffff,
    900   0x1fffffffffffffff, 0xccccccccffffffff,
    901   0x3fffffffffffffff, 0x99999999ffffffff,
    902   0x7fffffffffffffff, 0x33333333ffffffff,
    903   0xffffffffffffffff, 0x66666667ffffffff,
    904   0xffffffffffffffff, 0xcccccccfffffffff,
    905   0xffffffffffffffff, 0x9999999fffffffff,
    906   0xffffffffffffffff, 0x3333333fffffffff,
    907   0xffffffffffffffff, 0x6666667fffffffff,
    908   0xffffffffffffffff, 0xccccccffffffffff,
    909   0xffffffffffffffff, 0x999999ffffffffff,
    910   0xffffffffffffffff, 0x333333ffffffffff,
    911   0xffffffffffffffff, 0x666667ffffffffff,
    912   0xffffffffffffffff, 0xcccccfffffffffff,
    913   0xffffffffffffffff, 0x99999fffffffffff,
    914   0xffffffffffffffff, 0x33333fffffffffff,
    915   0xffffffffffffffff, 0x66667fffffffffff,
    916   0xffffffffffffffff, 0xccccffffffffffff,
    917   0xffffffffffffffff, 0x9999ffffffffffff,
    918   0xffffffffffffffff, 0x3333ffffffffffff,
    919   0xffffffffffffffff, 0x6667ffffffffffff,
    920   0xffffffffffffffff, 0xcccfffffffffffff,
    921   0xffffffffffffffff, 0x999fffffffffffff,
    922   0xffffffffffffffff, 0x333fffffffffffff,
    923   0xffffffffffffffff, 0x667fffffffffffff,
    924   0xffffffffffffffff, 0xccffffffffffffff,
    925   0xffffffffffffffff, 0x99ffffffffffffff,
    926   0xffffffffffffffff, 0x33ffffffffffffff,
    927   0xffffffffffffffff, 0x67ffffffffffffff,
    928   0xffffffffffffffff, 0xcfffffffffffffff,
    929   0xffffffffffffffff, 0x9fffffffffffffff,
    930   0xffffffffffffffff, 0x3fffffffffffffff,
    931   0xffffffffffffffff, 0x7fffffffffffffff,
    932   0xffffffffffffffff, 0xffffffffffffffff,
    933   0xffffffffffffffff, 0xffffffffffffffff,
    934   0x3333333333333333, 0x5555555555555555,
    935   0x6666666666666667, 0xaaaaaaaaaaaaaaab,
    936   0xcccccccccccccccf, 0x5555555555555557,
    937   0x999999999999999f, 0xaaaaaaaaaaaaaaaf,
    938   0x333333333333333f, 0x555555555555555f,
    939   0x666666666666667f, 0xaaaaaaaaaaaaaabf,
    940   0xccccccccccccccff, 0x555555555555557f,
    941   0x99999999999999ff, 0xaaaaaaaaaaaaaaff,
    942   0x33333333333333ff, 0x55555555555555ff,
    943   0x66666666666667ff, 0xaaaaaaaaaaaaabff,
    944   0xcccccccccccccfff, 0x55555555555557ff,
    945   0x9999999999999fff, 0xaaaaaaaaaaaaafff,
    946   0x3333333333333fff, 0x5555555555555fff,
    947   0x6666666666667fff, 0xaaaaaaaaaaaabfff,
    948   0xccccccccccccffff, 0x5555555555557fff,
    949   0x999999999999ffff, 0xaaaaaaaaaaaaffff,
    950   0x333333333333ffff, 0x555555555555ffff,
    951   0x666666666667ffff, 0xaaaaaaaaaaabffff,
    952   0xcccccccccccfffff, 0x555555555557ffff,
    953   0x99999999999fffff, 0xaaaaaaaaaaafffff,
    954   0x33333333333fffff, 0x55555555555fffff,
    955   0x66666666667fffff, 0xaaaaaaaaaabfffff,
    956   0xccccccccccffffff, 0x55555555557fffff,
    957   0x9999999999ffffff, 0xaaaaaaaaaaffffff,
    958   0x3333333333ffffff, 0x5555555555ffffff,
    959   0x6666666667ffffff, 0xaaaaaaaaabffffff,
    960   0xcccccccccfffffff, 0x5555555557ffffff,
    961   0x999999999fffffff, 0xaaaaaaaaafffffff,
    962   0x333333333fffffff, 0x555555555fffffff,
    963   0x666666667fffffff, 0xaaaaaaaabfffffff,
    964   0xccccccccffffffff, 0x555555557fffffff,
    965   0x99999999ffffffff, 0xaaaaaaaaffffffff,
    966   0x33333333ffffffff, 0x55555555ffffffff,
    967   0x66666667ffffffff, 0xaaaaaaabffffffff,
    968   0xcccccccfffffffff, 0x55555557ffffffff,
    969   0x9999999fffffffff, 0xaaaaaaafffffffff,
    970   0x3333333fffffffff, 0x5555555fffffffff,
    971   0x6666667fffffffff, 0xaaaaaabfffffffff,
    972   0xccccccffffffffff, 0x5555557fffffffff,
    973   0x999999ffffffffff, 0xaaaaaaffffffffff,
    974   0x333333ffffffffff, 0x555555ffffffffff,
    975   0x666667ffffffffff, 0xaaaaabffffffffff,
    976   0xcccccfffffffffff, 0x555557ffffffffff,
    977   0x99999fffffffffff, 0xaaaaafffffffffff,
    978   0x33333fffffffffff, 0x55555fffffffffff,
    979   0x66667fffffffffff, 0xaaaabfffffffffff,
    980   0xccccffffffffffff, 0x55557fffffffffff,
    981   0x9999ffffffffffff, 0xaaaaffffffffffff,
    982   0x3333ffffffffffff, 0x5555ffffffffffff,
    983   0x6667ffffffffffff, 0xaaabffffffffffff,
    984   0xcccfffffffffffff, 0x5557ffffffffffff,
    985   0x999fffffffffffff, 0xaaafffffffffffff,
    986   0x333fffffffffffff, 0x555fffffffffffff,
    987   0x667fffffffffffff, 0xaabfffffffffffff,
    988   0xccffffffffffffff, 0x557fffffffffffff,
    989   0x99ffffffffffffff, 0xaaffffffffffffff,
    990   0x33ffffffffffffff, 0x55ffffffffffffff,
    991   0x67ffffffffffffff, 0xabffffffffffffff,
    992   0xcfffffffffffffff, 0x57ffffffffffffff,
    993   0x9fffffffffffffff, 0xafffffffffffffff,
    994   0x3fffffffffffffff, 0x5fffffffffffffff,
    995   0x7fffffffffffffff, 0xbfffffffffffffff,
    996   0xffffffffffffffff, 0x7fffffffffffffff,
    997   0xffffffffffffffff, 0xffffffffffffffff,
    998   0x5555555555555555, 0x7ffffffffffffffd,
    999   0xaaaaaaaaaaaaaaab, 0xfffffffffffffffb,
   1000   0x5555555555555557, 0xfffffffffffffff7,
   1001   0xaaaaaaaaaaaaaaaf, 0xffffffffffffffef,
   1002   0x555555555555555f, 0xffffffffffffffdf,
   1003   0xaaaaaaaaaaaaaabf, 0xffffffffffffffbf,
   1004   0x555555555555557f, 0xffffffffffffff7f,
   1005   0xaaaaaaaaaaaaaaff, 0xfffffffffffffeff,
   1006   0x55555555555555ff, 0xfffffffffffffdff,
   1007   0xaaaaaaaaaaaaabff, 0xfffffffffffffbff,
   1008   0x55555555555557ff, 0xfffffffffffff7ff,
   1009   0xaaaaaaaaaaaaafff, 0xffffffffffffefff,
   1010   0x5555555555555fff, 0xffffffffffffdfff,
   1011   0xaaaaaaaaaaaabfff, 0xffffffffffffbfff,
   1012   0x5555555555557fff, 0xffffffffffff7fff,
   1013   0xaaaaaaaaaaaaffff, 0xfffffffffffeffff,
   1014   0x555555555555ffff, 0xfffffffffffdffff,
   1015   0xaaaaaaaaaaabffff, 0xfffffffffffbffff,
   1016   0x555555555557ffff, 0xfffffffffff7ffff,
   1017   0xaaaaaaaaaaafffff, 0xffffffffffefffff,
   1018   0x55555555555fffff, 0xffffffffffdfffff,
   1019   0xaaaaaaaaaabfffff, 0xffffffffffbfffff,
   1020   0x55555555557fffff, 0xffffffffff7fffff,
   1021   0xaaaaaaaaaaffffff, 0xfffffffffeffffff,
   1022   0x5555555555ffffff, 0xfffffffffdffffff,
   1023   0xaaaaaaaaabffffff, 0xfffffffffbffffff,
   1024   0x5555555557ffffff, 0xfffffffff7ffffff,
   1025   0xaaaaaaaaafffffff, 0xffffffffefffffff,
   1026   0x555555555fffffff, 0xffffffffdfffffff,
   1027   0xaaaaaaaabfffffff, 0xffffffffbfffffff,
   1028   0x555555557fffffff, 0xffffffff7fffffff,
   1029   0xaaaaaaaaffffffff, 0xfffffffeffffffff,
   1030   0x55555555ffffffff, 0xfffffffdffffffff,
   1031   0xaaaaaaabffffffff, 0xfffffffbffffffff,
   1032   0x55555557ffffffff, 0xfffffff7ffffffff,
   1033   0xaaaaaaafffffffff, 0xffffffefffffffff,
   1034   0x5555555fffffffff, 0xffffffdfffffffff,
   1035   0xaaaaaabfffffffff, 0xffffffbfffffffff,
   1036   0x5555557fffffffff, 0xffffff7fffffffff,
   1037   0xaaaaaaffffffffff, 0xfffffeffffffffff,
   1038   0x555555ffffffffff, 0xfffffdffffffffff,
   1039   0xaaaaabffffffffff, 0xfffffbffffffffff,
   1040   0x555557ffffffffff, 0xfffff7ffffffffff,
   1041   0xaaaaafffffffffff, 0xffffefffffffffff,
   1042   0x55555fffffffffff, 0xffffdfffffffffff,
   1043   0xaaaabfffffffffff, 0xffffbfffffffffff,
   1044   0x55557fffffffffff, 0xffff7fffffffffff,
   1045   0xaaaaffffffffffff, 0xfffeffffffffffff,
   1046   0x5555ffffffffffff, 0xfffdffffffffffff,
   1047   0xaaabffffffffffff, 0xfffbffffffffffff,
   1048   0x5557ffffffffffff, 0xfff7ffffffffffff,
   1049   0xaaafffffffffffff, 0xffefffffffffffff,
   1050   0x555fffffffffffff, 0xffdfffffffffffff,
   1051   0xaabfffffffffffff, 0xffbfffffffffffff,
   1052   0x557fffffffffffff, 0xff7fffffffffffff,
   1053   0xaaffffffffffffff, 0xfeffffffffffffff,
   1054   0x55ffffffffffffff, 0xfdffffffffffffff,
   1055   0xabffffffffffffff, 0xfbffffffffffffff,
   1056   0x57ffffffffffffff, 0xf7ffffffffffffff,
   1057   0xafffffffffffffff, 0xefffffffffffffff,
   1058   0x5fffffffffffffff, 0xdfffffffffffffff,
   1059   0xbfffffffffffffff, 0xbfffffffffffffff,
   1060   0x7fffffffffffffff, 0x7fffffffffffffff,
   1061   0xffffffffffffffff, 0xffffffffffffffff,
   1062   0x7ffffffffffffffd, 0x7ffffffffffffffe,
   1063   0xfffffffffffffffb, 0xfffffffffffffffc,
   1064   0xfffffffffffffff7, 0xfffffffffffffff8,
   1065   0xffffffffffffffef, 0xfffffffffffffff0,
   1066   0xffffffffffffffdf, 0xffffffffffffffe0,
   1067   0xffffffffffffffbf, 0xffffffffffffffc0,
   1068   0xffffffffffffff7f, 0xffffffffffffff80,
   1069   0xfffffffffffffeff, 0xffffffffffffff00,
   1070   0xfffffffffffffdff, 0xfffffffffffffe00,
   1071   0xfffffffffffffbff, 0xfffffffffffffc00,
   1072   0xfffffffffffff7ff, 0xfffffffffffff800,
   1073   0xffffffffffffefff, 0xfffffffffffff000,
   1074   0xffffffffffffdfff, 0xffffffffffffe000,
   1075   0xffffffffffffbfff, 0xffffffffffffc000,
   1076   0xffffffffffff7fff, 0xffffffffffff8000,
   1077   0xfffffffffffeffff, 0xffffffffffff0000,
   1078   0xfffffffffffdffff, 0xfffffffffffe0000,
   1079   0xfffffffffffbffff, 0xfffffffffffc0000,
   1080   0xfffffffffff7ffff, 0xfffffffffff80000,
   1081   0xffffffffffefffff, 0xfffffffffff00000,
   1082   0xffffffffffdfffff, 0xffffffffffe00000,
   1083   0xffffffffffbfffff, 0xffffffffffc00000,
   1084   0xffffffffff7fffff, 0xffffffffff800000,
   1085   0xfffffffffeffffff, 0xffffffffff000000,
   1086   0xfffffffffdffffff, 0xfffffffffe000000,
   1087   0xfffffffffbffffff, 0xfffffffffc000000,
   1088   0xfffffffff7ffffff, 0xfffffffff8000000,
   1089   0xffffffffefffffff, 0xfffffffff0000000,
   1090   0xffffffffdfffffff, 0xffffffffe0000000,
   1091   0xffffffffbfffffff, 0xffffffffc0000000,
   1092   0xffffffff7fffffff, 0xffffffff80000000,
   1093   0xfffffffeffffffff, 0xffffffff00000000,
   1094   0xfffffffdffffffff, 0xfffffffe00000000,
   1095   0xfffffffbffffffff, 0xfffffffc00000000,
   1096   0xfffffff7ffffffff, 0xfffffff800000000,
   1097   0xffffffefffffffff, 0xfffffff000000000,
   1098   0xffffffdfffffffff, 0xffffffe000000000,
   1099   0xffffffbfffffffff, 0xffffffc000000000,
   1100   0xffffff7fffffffff, 0xffffff8000000000,
   1101   0xfffffeffffffffff, 0xffffff0000000000,
   1102   0xfffffdffffffffff, 0xfffffe0000000000,
   1103   0xfffffbffffffffff, 0xfffffc0000000000,
   1104   0xfffff7ffffffffff, 0xfffff80000000000,
   1105   0xffffefffffffffff, 0xfffff00000000000,
   1106   0xffffdfffffffffff, 0xffffe00000000000,
   1107   0xffffbfffffffffff, 0xffffc00000000000,
   1108   0xffff7fffffffffff, 0xffff800000000000,
   1109   0xfffeffffffffffff, 0xffff000000000000,
   1110   0xfffdffffffffffff, 0xfffe000000000000,
   1111   0xfffbffffffffffff, 0xfffc000000000000,
   1112   0xfff7ffffffffffff, 0xfff8000000000000,
   1113   0xffefffffffffffff, 0xfff0000000000000,
   1114   0xffdfffffffffffff, 0xffe0000000000000,
   1115   0xffbfffffffffffff, 0xffc0000000000000,
   1116   0xff7fffffffffffff, 0xff80000000000000,
   1117   0xfeffffffffffffff, 0xff00000000000000,
   1118   0xfdffffffffffffff, 0xfe00000000000000,
   1119   0xfbffffffffffffff, 0xfc00000000000000,
   1120   0xf7ffffffffffffff, 0xf800000000000000,
   1121   0xefffffffffffffff, 0xf000000000000000,
   1122   0xdfffffffffffffff, 0xe000000000000000,
   1123   0xbfffffffffffffff, 0xc000000000000000,
   1124   0x7fffffffffffffff, 0x8000000000000000,
   1125   0xffffffffffffffff, 0x0000000000000000,
   1126   0x7ffffffffffffffe, 0x7fffffffffffffff,
   1127   0xfffffffffffffffc, 0xffffffffffffffff,
   1128   0xfffffffffffffff8, 0xffffffffffffffff,
   1129   0xfffffffffffffff0, 0xffffffffffffffff,
   1130   0xffffffffffffffe0, 0xffffffffffffffff,
   1131   0xffffffffffffffc0, 0xffffffffffffffff,
   1132   0xffffffffffffff80, 0xffffffffffffffff,
   1133   0xffffffffffffff00, 0xffffffffffffffff,
   1134   0xfffffffffffffe00, 0xffffffffffffffff,
   1135   0xfffffffffffffc00, 0xffffffffffffffff,
   1136   0xfffffffffffff800, 0xffffffffffffffff,
   1137   0xfffffffffffff000, 0xffffffffffffffff,
   1138   0xffffffffffffe000, 0xffffffffffffffff,
   1139   0xffffffffffffc000, 0xffffffffffffffff,
   1140   0xffffffffffff8000, 0xffffffffffffffff,
   1141   0xffffffffffff0000, 0xffffffffffffffff,
   1142   0xfffffffffffe0000, 0xffffffffffffffff,
   1143   0xfffffffffffc0000, 0xffffffffffffffff,
   1144   0xfffffffffff80000, 0xffffffffffffffff,
   1145   0xfffffffffff00000, 0xffffffffffffffff,
   1146   0xffffffffffe00000, 0xffffffffffffffff,
   1147   0xffffffffffc00000, 0xffffffffffffffff,
   1148   0xffffffffff800000, 0xffffffffffffffff,
   1149   0xffffffffff000000, 0xffffffffffffffff,
   1150   0xfffffffffe000000, 0xffffffffffffffff,
   1151   0xfffffffffc000000, 0xffffffffffffffff,
   1152   0xfffffffff8000000, 0xffffffffffffffff,
   1153   0xfffffffff0000000, 0xffffffffffffffff,
   1154   0xffffffffe0000000, 0xffffffffffffffff,
   1155   0xffffffffc0000000, 0xffffffffffffffff,
   1156   0xffffffff80000000, 0xffffffffffffffff,
   1157   0xffffffff00000000, 0xffffffffffffffff,
   1158   0xfffffffe00000000, 0xffffffffffffffff,
   1159   0xfffffffc00000000, 0xffffffffffffffff,
   1160   0xfffffff800000000, 0xffffffffffffffff,
   1161   0xfffffff000000000, 0xffffffffffffffff,
   1162   0xffffffe000000000, 0xffffffffffffffff,
   1163   0xffffffc000000000, 0xffffffffffffffff,
   1164   0xffffff8000000000, 0xffffffffffffffff,
   1165   0xffffff0000000000, 0xffffffffffffffff,
   1166   0xfffffe0000000000, 0xffffffffffffffff,
   1167   0xfffffc0000000000, 0xffffffffffffffff,
   1168   0xfffff80000000000, 0xffffffffffffffff,
   1169   0xfffff00000000000, 0xffffffffffffffff,
   1170   0xffffe00000000000, 0xffffffffffffffff,
   1171   0xffffc00000000000, 0xffffffffffffffff,
   1172   0xffff800000000000, 0xffffffffffffffff,
   1173   0xffff000000000000, 0xffffffffffffffff,
   1174   0xfffe000000000000, 0xffffffffffffffff,
   1175   0xfffc000000000000, 0xffffffffffffffff,
   1176   0xfff8000000000000, 0xffffffffffffffff,
   1177   0xfff0000000000000, 0xffffffffffffffff,
   1178   0xffe0000000000000, 0xffffffffffffffff,
   1179   0xffc0000000000000, 0xffffffffffffffff,
   1180   0xff80000000000000, 0xffffffffffffffff,
   1181   0xff00000000000000, 0xffffffffffffffff,
   1182   0xfe00000000000000, 0xffffffffffffffff,
   1183   0xfc00000000000000, 0xffffffffffffffff,
   1184   0xf800000000000000, 0xffffffffffffffff,
   1185   0xf000000000000000, 0xffffffffffffffff,
   1186   0xe000000000000000, 0xffffffffffffffff,
   1187   0xc000000000000000, 0xffffffffffffffff,
   1188   0x8000000000000000, 0xffffffffffffffff,
   1189   0x0000000000000000, 0xffffffffffffffff,
   1190   0x7fffffffffffffff, 0x8000000000000000,
   1191   0xffffffffffffffff, 0x0000000000000000,
   1192   0xffffffffffffffff, 0x0000000000000000,
   1193   0xffffffffffffffff, 0x0000000000000000,
   1194   0xffffffffffffffff, 0x0000000000000000,
   1195   0xffffffffffffffff, 0x0000000000000000,
   1196   0xffffffffffffffff, 0x0000000000000000,
   1197   0xffffffffffffffff, 0x0000000000000000,
   1198   0xffffffffffffffff, 0x0000000000000000,
   1199   0xffffffffffffffff, 0x0000000000000000,
   1200   0xffffffffffffffff, 0x0000000000000000,
   1201   0xffffffffffffffff, 0x0000000000000000,
   1202   0xffffffffffffffff, 0x0000000000000000,
   1203   0xffffffffffffffff, 0x0000000000000000,
   1204   0xffffffffffffffff, 0x0000000000000000,
   1205   0xffffffffffffffff, 0x0000000000000000,
   1206   0xffffffffffffffff, 0x0000000000000000,
   1207   0xffffffffffffffff, 0x0000000000000000,
   1208   0xffffffffffffffff, 0x0000000000000000,
   1209   0xffffffffffffffff, 0x0000000000000000,
   1210   0xffffffffffffffff, 0x0000000000000000,
   1211   0xffffffffffffffff, 0x0000000000000000,
   1212   0xffffffffffffffff, 0x0000000000000000,
   1213   0xffffffffffffffff, 0x0000000000000000,
   1214   0xffffffffffffffff, 0x0000000000000000,
   1215   0xffffffffffffffff, 0x0000000000000000,
   1216   0xffffffffffffffff, 0x0000000000000000,
   1217   0xffffffffffffffff, 0x0000000000000000,
   1218   0xffffffffffffffff, 0x0000000000000000,
   1219   0xffffffffffffffff, 0x0000000000000000,
   1220   0xffffffffffffffff, 0x0000000000000000,
   1221   0xffffffffffffffff, 0x0000000000000000,
   1222   0xffffffffffffffff, 0x0000000000000000,
   1223   0xffffffffffffffff, 0x0000000000000000,
   1224   0xffffffffffffffff, 0x0000000000000000,
   1225   0xffffffffffffffff, 0x0000000000000000,
   1226   0xffffffffffffffff, 0x0000000000000000,
   1227   0xffffffffffffffff, 0x0000000000000000,
   1228   0xffffffffffffffff, 0x0000000000000000,
   1229   0xffffffffffffffff, 0x0000000000000000,
   1230   0xffffffffffffffff, 0x0000000000000000,
   1231   0xffffffffffffffff, 0x0000000000000000,
   1232   0xffffffffffffffff, 0x0000000000000000,
   1233   0xffffffffffffffff, 0x0000000000000000,
   1234   0xffffffffffffffff, 0x0000000000000000,
   1235   0xffffffffffffffff, 0x0000000000000000,
   1236   0xffffffffffffffff, 0x0000000000000000,
   1237   0xffffffffffffffff, 0x0000000000000000,
   1238   0xffffffffffffffff, 0x0000000000000000,
   1239   0xffffffffffffffff, 0x0000000000000000,
   1240   0xffffffffffffffff, 0x0000000000000000,
   1241   0xffffffffffffffff, 0x0000000000000000,
   1242   0xffffffffffffffff, 0x0000000000000000,
   1243   0xffffffffffffffff, 0x0000000000000000,
   1244   0xffffffffffffffff, 0x0000000000000000,
   1245   0xffffffffffffffff, 0x0000000000000000,
   1246   0xffffffffffffffff, 0x0000000000000000,
   1247   0xffffffffffffffff, 0x0000000000000000,
   1248   0xffffffffffffffff, 0x0000000000000000,
   1249   0xffffffffffffffff, 0x0000000000000000,
   1250   0xffffffffffffffff, 0x0000000000000000,
   1251   0xffffffffffffffff, 0x0000000000000000,
   1252   0xffffffffffffffff, 0x0000000000000000,
   1253   0xffffffffffffffff, 0x0000000000000000,
   1254   0x8000000000000000, 0x8000000000000001,
   1255   0x0000000000000000, 0x0000000000000003,
   1256   0x0000000000000000, 0x0000000000000007,
   1257   0x0000000000000000, 0x000000000000000f,
   1258   0x0000000000000000, 0x000000000000001f,
   1259   0x0000000000000000, 0x000000000000003f,
   1260   0x0000000000000000, 0x000000000000007f,
   1261   0x0000000000000000, 0x00000000000000ff,
   1262   0x0000000000000000, 0x00000000000001ff,
   1263   0x0000000000000000, 0x00000000000003ff,
   1264   0x0000000000000000, 0x00000000000007ff,
   1265   0x0000000000000000, 0x0000000000000fff,
   1266   0x0000000000000000, 0x0000000000001fff,
   1267   0x0000000000000000, 0x0000000000003fff,
   1268   0x0000000000000000, 0x0000000000007fff,
   1269   0x0000000000000000, 0x000000000000ffff,
   1270   0x0000000000000000, 0x000000000001ffff,
   1271   0x0000000000000000, 0x000000000003ffff,
   1272   0x0000000000000000, 0x000000000007ffff,
   1273   0x0000000000000000, 0x00000000000fffff,
   1274   0x0000000000000000, 0x00000000001fffff,
   1275   0x0000000000000000, 0x00000000003fffff,
   1276   0x0000000000000000, 0x00000000007fffff,
   1277   0x0000000000000000, 0x0000000000ffffff,
   1278   0x0000000000000000, 0x0000000001ffffff,
   1279   0x0000000000000000, 0x0000000003ffffff,
   1280   0x0000000000000000, 0x0000000007ffffff,
   1281   0x0000000000000000, 0x000000000fffffff,
   1282   0x0000000000000000, 0x000000001fffffff,
   1283   0x0000000000000000, 0x000000003fffffff,
   1284   0x0000000000000000, 0x000000007fffffff,
   1285   0x0000000000000000, 0x00000000ffffffff,
   1286   0x0000000000000000, 0x00000001ffffffff,
   1287   0x0000000000000000, 0x00000003ffffffff,
   1288   0x0000000000000000, 0x00000007ffffffff,
   1289   0x0000000000000000, 0x0000000fffffffff,
   1290   0x0000000000000000, 0x0000001fffffffff,
   1291   0x0000000000000000, 0x0000003fffffffff,
   1292   0x0000000000000000, 0x0000007fffffffff,
   1293   0x0000000000000000, 0x000000ffffffffff,
   1294   0x0000000000000000, 0x000001ffffffffff,
   1295   0x0000000000000000, 0x000003ffffffffff,
   1296   0x0000000000000000, 0x000007ffffffffff,
   1297   0x0000000000000000, 0x00000fffffffffff,
   1298   0x0000000000000000, 0x00001fffffffffff,
   1299   0x0000000000000000, 0x00003fffffffffff,
   1300   0x0000000000000000, 0x00007fffffffffff,
   1301   0x0000000000000000, 0x0000ffffffffffff,
   1302   0x0000000000000000, 0x0001ffffffffffff,
   1303   0x0000000000000000, 0x0003ffffffffffff,
   1304   0x0000000000000000, 0x0007ffffffffffff,
   1305   0x0000000000000000, 0x000fffffffffffff,
   1306   0x0000000000000000, 0x001fffffffffffff,
   1307   0x0000000000000000, 0x003fffffffffffff,
   1308   0x0000000000000000, 0x007fffffffffffff,
   1309   0x0000000000000000, 0x00ffffffffffffff,
   1310   0x0000000000000000, 0x01ffffffffffffff,
   1311   0x0000000000000000, 0x03ffffffffffffff,
   1312   0x0000000000000000, 0x07ffffffffffffff,
   1313   0x0000000000000000, 0x0fffffffffffffff,
   1314   0x0000000000000000, 0x1fffffffffffffff,
   1315   0x0000000000000000, 0x3fffffffffffffff,
   1316   0x0000000000000000, 0x7fffffffffffffff,
   1317   0x0000000000000000, 0xffffffffffffffff,
   1318   0x8000000000000001, 0x8000000000000002,
   1319   0x0000000000000003, 0x0000000000000004,
   1320   0x0000000000000007, 0x0000000000000008,
   1321   0x000000000000000f, 0x0000000000000010,
   1322   0x000000000000001f, 0x0000000000000020,
   1323   0x000000000000003f, 0x0000000000000040,
   1324   0x000000000000007f, 0x0000000000000080,
   1325   0x00000000000000ff, 0x0000000000000100,
   1326   0x00000000000001ff, 0x0000000000000200,
   1327   0x00000000000003ff, 0x0000000000000400,
   1328   0x00000000000007ff, 0x0000000000000800,
   1329   0x0000000000000fff, 0x0000000000001000,
   1330   0x0000000000001fff, 0x0000000000002000,
   1331   0x0000000000003fff, 0x0000000000004000,
   1332   0x0000000000007fff, 0x0000000000008000,
   1333   0x000000000000ffff, 0x0000000000010000,
   1334   0x000000000001ffff, 0x0000000000020000,
   1335   0x000000000003ffff, 0x0000000000040000,
   1336   0x000000000007ffff, 0x0000000000080000,
   1337   0x00000000000fffff, 0x0000000000100000,
   1338   0x00000000001fffff, 0x0000000000200000,
   1339   0x00000000003fffff, 0x0000000000400000,
   1340   0x00000000007fffff, 0x0000000000800000,
   1341   0x0000000000ffffff, 0x0000000001000000,
   1342   0x0000000001ffffff, 0x0000000002000000,
   1343   0x0000000003ffffff, 0x0000000004000000,
   1344   0x0000000007ffffff, 0x0000000008000000,
   1345   0x000000000fffffff, 0x0000000010000000,
   1346   0x000000001fffffff, 0x0000000020000000,
   1347   0x000000003fffffff, 0x0000000040000000,
   1348   0x000000007fffffff, 0x0000000080000000,
   1349   0x00000000ffffffff, 0x0000000100000000,
   1350   0x00000001ffffffff, 0x0000000200000000,
   1351   0x00000003ffffffff, 0x0000000400000000,
   1352   0x00000007ffffffff, 0x0000000800000000,
   1353   0x0000000fffffffff, 0x0000001000000000,
   1354   0x0000001fffffffff, 0x0000002000000000,
   1355   0x0000003fffffffff, 0x0000004000000000,
   1356   0x0000007fffffffff, 0x0000008000000000,
   1357   0x000000ffffffffff, 0x0000010000000000,
   1358   0x000001ffffffffff, 0x0000020000000000,
   1359   0x000003ffffffffff, 0x0000040000000000,
   1360   0x000007ffffffffff, 0x0000080000000000,
   1361   0x00000fffffffffff, 0x0000100000000000,
   1362   0x00001fffffffffff, 0x0000200000000000,
   1363   0x00003fffffffffff, 0x0000400000000000,
   1364   0x00007fffffffffff, 0x0000800000000000,
   1365   0x0000ffffffffffff, 0x0001000000000000,
   1366   0x0001ffffffffffff, 0x0002000000000000,
   1367   0x0003ffffffffffff, 0x0004000000000000,
   1368   0x0007ffffffffffff, 0x0008000000000000,
   1369   0x000fffffffffffff, 0x0010000000000000,
   1370   0x001fffffffffffff, 0x0020000000000000,
   1371   0x003fffffffffffff, 0x0040000000000000,
   1372   0x007fffffffffffff, 0x0080000000000000,
   1373   0x00ffffffffffffff, 0x0100000000000000,
   1374   0x01ffffffffffffff, 0x0200000000000000,
   1375   0x03ffffffffffffff, 0x0400000000000000,
   1376   0x07ffffffffffffff, 0x0800000000000000,
   1377   0x0fffffffffffffff, 0x1000000000000000,
   1378   0x1fffffffffffffff, 0x2000000000000000,
   1379   0x3fffffffffffffff, 0x4000000000000000,
   1380   0x7fffffffffffffff, 0x8000000000000000,
   1381   0xffffffffffffffff, 0x0000000000000000,
   1382   0x8000000000000002, 0x8000000000000003,
   1383   0x0000000000000004, 0x0000000000000007,
   1384   0x0000000000000008, 0x000000000000000f,
   1385   0x0000000000000010, 0x000000000000001f,
   1386   0x0000000000000020, 0x000000000000003f,
   1387   0x0000000000000040, 0x000000000000007f,
   1388   0x0000000000000080, 0x00000000000000ff,
   1389   0x0000000000000100, 0x00000000000001ff,
   1390   0x0000000000000200, 0x00000000000003ff,
   1391   0x0000000000000400, 0x00000000000007ff,
   1392   0x0000000000000800, 0x0000000000000fff,
   1393   0x0000000000001000, 0x0000000000001fff,
   1394   0x0000000000002000, 0x0000000000003fff,
   1395   0x0000000000004000, 0x0000000000007fff,
   1396   0x0000000000008000, 0x000000000000ffff,
   1397   0x0000000000010000, 0x000000000001ffff,
   1398   0x0000000000020000, 0x000000000003ffff,
   1399   0x0000000000040000, 0x000000000007ffff,
   1400   0x0000000000080000, 0x00000000000fffff,
   1401   0x0000000000100000, 0x00000000001fffff,
   1402   0x0000000000200000, 0x00000000003fffff,
   1403   0x0000000000400000, 0x00000000007fffff,
   1404   0x0000000000800000, 0x0000000000ffffff,
   1405   0x0000000001000000, 0x0000000001ffffff,
   1406   0x0000000002000000, 0x0000000003ffffff,
   1407   0x0000000004000000, 0x0000000007ffffff,
   1408   0x0000000008000000, 0x000000000fffffff,
   1409   0x0000000010000000, 0x000000001fffffff,
   1410   0x0000000020000000, 0x000000003fffffff,
   1411   0x0000000040000000, 0x000000007fffffff,
   1412   0x0000000080000000, 0x00000000ffffffff,
   1413   0x0000000100000000, 0x00000001ffffffff,
   1414   0x0000000200000000, 0x00000003ffffffff,
   1415   0x0000000400000000, 0x00000007ffffffff,
   1416   0x0000000800000000, 0x0000000fffffffff,
   1417   0x0000001000000000, 0x0000001fffffffff,
   1418   0x0000002000000000, 0x0000003fffffffff,
   1419   0x0000004000000000, 0x0000007fffffffff,
   1420   0x0000008000000000, 0x000000ffffffffff,
   1421   0x0000010000000000, 0x000001ffffffffff,
   1422   0x0000020000000000, 0x000003ffffffffff,
   1423   0x0000040000000000, 0x000007ffffffffff,
   1424   0x0000080000000000, 0x00000fffffffffff,
   1425   0x0000100000000000, 0x00001fffffffffff,
   1426   0x0000200000000000, 0x00003fffffffffff,
   1427   0x0000400000000000, 0x00007fffffffffff,
   1428   0x0000800000000000, 0x0000ffffffffffff,
   1429   0x0001000000000000, 0x0001ffffffffffff,
   1430   0x0002000000000000, 0x0003ffffffffffff,
   1431   0x0004000000000000, 0x0007ffffffffffff,
   1432   0x0008000000000000, 0x000fffffffffffff,
   1433   0x0010000000000000, 0x001fffffffffffff,
   1434   0x0020000000000000, 0x003fffffffffffff,
   1435   0x0040000000000000, 0x007fffffffffffff,
   1436   0x0080000000000000, 0x00ffffffffffffff,
   1437   0x0100000000000000, 0x01ffffffffffffff,
   1438   0x0200000000000000, 0x03ffffffffffffff,
   1439   0x0400000000000000, 0x07ffffffffffffff,
   1440   0x0800000000000000, 0x0fffffffffffffff,
   1441   0x1000000000000000, 0x1fffffffffffffff,
   1442   0x2000000000000000, 0x3fffffffffffffff,
   1443   0x4000000000000000, 0x7fffffffffffffff,
   1444   0x8000000000000000, 0xffffffffffffffff,
   1445   0x0000000000000000, 0xffffffffffffffff,
   1446   0x8000000000000003, 0xaaaaaaaaaaaaaaaa,
   1447   0x0000000000000007, 0x5555555555555554,
   1448   0x000000000000000f, 0xaaaaaaaaaaaaaaa8,
   1449   0x000000000000001f, 0x5555555555555550,
   1450   0x000000000000003f, 0xaaaaaaaaaaaaaaa0,
   1451   0x000000000000007f, 0x5555555555555540,
   1452   0x00000000000000ff, 0xaaaaaaaaaaaaaa80,
   1453   0x00000000000001ff, 0x5555555555555500,
   1454   0x00000000000003ff, 0xaaaaaaaaaaaaaa00,
   1455   0x00000000000007ff, 0x5555555555555400,
   1456   0x0000000000000fff, 0xaaaaaaaaaaaaa800,
   1457   0x0000000000001fff, 0x5555555555555000,
   1458   0x0000000000003fff, 0xaaaaaaaaaaaaa000,
   1459   0x0000000000007fff, 0x5555555555554000,
   1460   0x000000000000ffff, 0xaaaaaaaaaaaa8000,
   1461   0x000000000001ffff, 0x5555555555550000,
   1462   0x000000000003ffff, 0xaaaaaaaaaaaa0000,
   1463   0x000000000007ffff, 0x5555555555540000,
   1464   0x00000000000fffff, 0xaaaaaaaaaaa80000,
   1465   0x00000000001fffff, 0x5555555555500000,
   1466   0x00000000003fffff, 0xaaaaaaaaaaa00000,
   1467   0x00000000007fffff, 0x5555555555400000,
   1468   0x0000000000ffffff, 0xaaaaaaaaaa800000,
   1469   0x0000000001ffffff, 0x5555555555000000,
   1470   0x0000000003ffffff, 0xaaaaaaaaaa000000,
   1471   0x0000000007ffffff, 0x5555555554000000,
   1472   0x000000000fffffff, 0xaaaaaaaaa8000000,
   1473   0x000000001fffffff, 0x5555555550000000,
   1474   0x000000003fffffff, 0xaaaaaaaaa0000000,
   1475   0x000000007fffffff, 0x5555555540000000,
   1476   0x00000000ffffffff, 0xaaaaaaaa80000000,
   1477   0x00000001ffffffff, 0x5555555500000000,
   1478   0x00000003ffffffff, 0xaaaaaaaa00000000,
   1479   0x00000007ffffffff, 0x5555555400000000,
   1480   0x0000000fffffffff, 0xaaaaaaa800000000,
   1481   0x0000001fffffffff, 0x5555555000000000,
   1482   0x0000003fffffffff, 0xaaaaaaa000000000,
   1483   0x0000007fffffffff, 0x5555554000000000,
   1484   0x000000ffffffffff, 0xaaaaaa8000000000,
   1485   0x000001ffffffffff, 0x5555550000000000,
   1486   0x000003ffffffffff, 0xaaaaaa0000000000,
   1487   0x000007ffffffffff, 0x5555540000000000,
   1488   0x00000fffffffffff, 0xaaaaa80000000000,
   1489   0x00001fffffffffff, 0x5555500000000000,
   1490   0x00003fffffffffff, 0xaaaaa00000000000,
   1491   0x00007fffffffffff, 0x5555400000000000,
   1492   0x0000ffffffffffff, 0xaaaa800000000000,
   1493   0x0001ffffffffffff, 0x5555000000000000,
   1494   0x0003ffffffffffff, 0xaaaa000000000000,
   1495   0x0007ffffffffffff, 0x5554000000000000,
   1496   0x000fffffffffffff, 0xaaa8000000000000,
   1497   0x001fffffffffffff, 0x5550000000000000,
   1498   0x003fffffffffffff, 0xaaa0000000000000,
   1499   0x007fffffffffffff, 0x5540000000000000,
   1500   0x00ffffffffffffff, 0xaa80000000000000,
   1501   0x01ffffffffffffff, 0x5500000000000000,
   1502   0x03ffffffffffffff, 0xaa00000000000000,
   1503   0x07ffffffffffffff, 0x5400000000000000,
   1504   0x0fffffffffffffff, 0xa800000000000000,
   1505   0x1fffffffffffffff, 0x5000000000000000,
   1506   0x3fffffffffffffff, 0xa000000000000000,
   1507   0x7fffffffffffffff, 0x4000000000000000,
   1508   0xffffffffffffffff, 0x8000000000000000,
   1509   0xffffffffffffffff, 0x0000000000000000,
   1510   0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccc,
   1511   0x5555555555555554, 0x9999999999999998,
   1512   0xaaaaaaaaaaaaaaa8, 0x3333333333333330,
   1513   0x5555555555555550, 0x6666666666666660,
   1514   0xaaaaaaaaaaaaaaa0, 0xccccccccccccccc0,
   1515   0x5555555555555540, 0x9999999999999980,
   1516   0xaaaaaaaaaaaaaa80, 0x3333333333333300,
   1517   0x5555555555555500, 0x6666666666666600,
   1518   0xaaaaaaaaaaaaaa00, 0xcccccccccccccc00,
   1519   0x5555555555555400, 0x9999999999999800,
   1520   0xaaaaaaaaaaaaa800, 0x3333333333333000,
   1521   0x5555555555555000, 0x6666666666666000,
   1522   0xaaaaaaaaaaaaa000, 0xccccccccccccc000,
   1523   0x5555555555554000, 0x9999999999998000,
   1524   0xaaaaaaaaaaaa8000, 0x3333333333330000,
   1525   0x5555555555550000, 0x6666666666660000,
   1526   0xaaaaaaaaaaaa0000, 0xcccccccccccc0000,
   1527   0x5555555555540000, 0x9999999999980000,
   1528   0xaaaaaaaaaaa80000, 0x3333333333300000,
   1529   0x5555555555500000, 0x6666666666600000,
   1530   0xaaaaaaaaaaa00000, 0xccccccccccc00000,
   1531   0x5555555555400000, 0x9999999999800000,
   1532   0xaaaaaaaaaa800000, 0x3333333333000000,
   1533   0x5555555555000000, 0x6666666666000000,
   1534   0xaaaaaaaaaa000000, 0xcccccccccc000000,
   1535   0x5555555554000000, 0x9999999998000000,
   1536   0xaaaaaaaaa8000000, 0x3333333330000000,
   1537   0x5555555550000000, 0x6666666660000000,
   1538   0xaaaaaaaaa0000000, 0xccccccccc0000000,
   1539   0x5555555540000000, 0x9999999980000000,
   1540   0xaaaaaaaa80000000, 0x3333333300000000,
   1541   0x5555555500000000, 0x6666666600000000,
   1542   0xaaaaaaaa00000000, 0xcccccccc00000000,
   1543   0x5555555400000000, 0x9999999800000000,
   1544   0xaaaaaaa800000000, 0x3333333000000000,
   1545   0x5555555000000000, 0x6666666000000000,
   1546   0xaaaaaaa000000000, 0xccccccc000000000,
   1547   0x5555554000000000, 0x9999998000000000,
   1548   0xaaaaaa8000000000, 0x3333330000000000,
   1549   0x5555550000000000, 0x6666660000000000,
   1550   0xaaaaaa0000000000, 0xcccccc0000000000,
   1551   0x5555540000000000, 0x9999980000000000,
   1552   0xaaaaa80000000000, 0x3333300000000000,
   1553   0x5555500000000000, 0x6666600000000000,
   1554   0xaaaaa00000000000, 0xccccc00000000000,
   1555   0x5555400000000000, 0x9999800000000000,
   1556   0xaaaa800000000000, 0x3333000000000000,
   1557   0x5555000000000000, 0x6666000000000000,
   1558   0xaaaa000000000000, 0xcccc000000000000,
   1559   0x5554000000000000, 0x9998000000000000,
   1560   0xaaa8000000000000, 0x3330000000000000,
   1561   0x5550000000000000, 0x6660000000000000,
   1562   0xaaa0000000000000, 0xccc0000000000000,
   1563   0x5540000000000000, 0x9980000000000000,
   1564   0xaa80000000000000, 0x3300000000000000,
   1565   0x5500000000000000, 0x6600000000000000,
   1566   0xaa00000000000000, 0xcc00000000000000,
   1567   0x5400000000000000, 0x9800000000000000,
   1568   0xa800000000000000, 0x3000000000000000,
   1569   0x5000000000000000, 0x6000000000000000,
   1570   0xa000000000000000, 0xc000000000000000,
   1571   0x4000000000000000, 0x8000000000000000,
   1572   0x8000000000000000, 0x0000000000000000,
   1573   0x0000000000000000, 0x0000000000000000,
   1574   0xcccccccccccccccc, 0xffffffff80000000,
   1575   0x9999999999999998, 0xffffffff00000000,
   1576   0x3333333333333330, 0xfffffffe00000000,
   1577   0x6666666666666660, 0xfffffffc00000000,
   1578   0xccccccccccccccc0, 0xfffffff800000000,
   1579   0x9999999999999980, 0xfffffff000000000,
   1580   0x3333333333333300, 0xffffffe000000000,
   1581   0x6666666666666600, 0xffffffc000000000,
   1582   0xcccccccccccccc00, 0xffffff8000000000,
   1583   0x9999999999999800, 0xffffff0000000000,
   1584   0x3333333333333000, 0xfffffe0000000000,
   1585   0x6666666666666000, 0xfffffc0000000000,
   1586   0xccccccccccccc000, 0xfffff80000000000,
   1587   0x9999999999998000, 0xfffff00000000000,
   1588   0x3333333333330000, 0xffffe00000000000,
   1589   0x6666666666660000, 0xffffc00000000000,
   1590   0xcccccccccccc0000, 0xffff800000000000,
   1591   0x9999999999980000, 0xffff000000000000,
   1592   0x3333333333300000, 0xfffe000000000000,
   1593   0x6666666666600000, 0xfffc000000000000,
   1594   0xccccccccccc00000, 0xfff8000000000000,
   1595   0x9999999999800000, 0xfff0000000000000,
   1596   0x3333333333000000, 0xffe0000000000000,
   1597   0x6666666666000000, 0xffc0000000000000,
   1598   0xcccccccccc000000, 0xff80000000000000,
   1599   0x9999999998000000, 0xff00000000000000,
   1600   0x3333333330000000, 0xfe00000000000000,
   1601   0x6666666660000000, 0xfc00000000000000,
   1602   0xccccccccc0000000, 0xf800000000000000,
   1603   0x9999999980000000, 0xf000000000000000,
   1604   0x3333333300000000, 0xe000000000000000,
   1605   0x6666666600000000, 0xc000000000000000,
   1606   0xcccccccc00000000, 0x8000000000000000,
   1607   0x9999999800000000, 0x0000000000000000,
   1608   0x3333333000000000, 0x0000000000000000,
   1609   0x6666666000000000, 0x0000000000000000,
   1610   0xccccccc000000000, 0x0000000000000000,
   1611   0x9999998000000000, 0x0000000000000000,
   1612   0x3333330000000000, 0x0000000000000000,
   1613   0x6666660000000000, 0x0000000000000000,
   1614   0xcccccc0000000000, 0x0000000000000000,
   1615   0x9999980000000000, 0x0000000000000000,
   1616   0x3333300000000000, 0x0000000000000000,
   1617   0x6666600000000000, 0x0000000000000000,
   1618   0xccccc00000000000, 0x0000000000000000,
   1619   0x9999800000000000, 0x0000000000000000,
   1620   0x3333000000000000, 0x0000000000000000,
   1621   0x6666000000000000, 0x0000000000000000,
   1622   0xcccc000000000000, 0x0000000000000000,
   1623   0x9998000000000000, 0x0000000000000000,
   1624   0x3330000000000000, 0x0000000000000000,
   1625   0x6660000000000000, 0x0000000000000000,
   1626   0xccc0000000000000, 0x0000000000000000,
   1627   0x9980000000000000, 0x0000000000000000,
   1628   0x3300000000000000, 0x0000000000000000,
   1629   0x6600000000000000, 0x0000000000000000,
   1630   0xcc00000000000000, 0x0000000000000000,
   1631   0x9800000000000000, 0x0000000000000000,
   1632   0x3000000000000000, 0x0000000000000000,
   1633   0x6000000000000000, 0x0000000000000000,
   1634   0xc000000000000000, 0x0000000000000000,
   1635   0x8000000000000000, 0x0000000000000000,
   1636   0x0000000000000000, 0x0000000000000000,
   1637   0x0000000000000000, 0x0000000000000000,
   1638   0xffffffff80000000, 0xffffffff80000001,
   1639   0xffffffff00000000, 0xffffffff00000003,
   1640   0xfffffffe00000000, 0xfffffffe00000007,
   1641   0xfffffffc00000000, 0xfffffffc0000000f,
   1642   0xfffffff800000000, 0xfffffff80000001f,
   1643   0xfffffff000000000, 0xfffffff00000003f,
   1644   0xffffffe000000000, 0xffffffe00000007f,
   1645   0xffffffc000000000, 0xffffffc0000000ff,
   1646   0xffffff8000000000, 0xffffff80000001ff,
   1647   0xffffff0000000000, 0xffffff00000003ff,
   1648   0xfffffe0000000000, 0xfffffe00000007ff,
   1649   0xfffffc0000000000, 0xfffffc0000000fff,
   1650   0xfffff80000000000, 0xfffff80000001fff,
   1651   0xfffff00000000000, 0xfffff00000003fff,
   1652   0xffffe00000000000, 0xffffe00000007fff,
   1653   0xffffc00000000000, 0xffffc0000000ffff,
   1654   0xffff800000000000, 0xffff80000001ffff,
   1655   0xffff000000000000, 0xffff00000003ffff,
   1656   0xfffe000000000000, 0xfffe00000007ffff,
   1657   0xfffc000000000000, 0xfffc0000000fffff,
   1658   0xfff8000000000000, 0xfff80000001fffff,
   1659   0xfff0000000000000, 0xfff00000003fffff,
   1660   0xffe0000000000000, 0xffe00000007fffff,
   1661   0xffc0000000000000, 0xffc0000000ffffff,
   1662   0xff80000000000000, 0xff80000001ffffff,
   1663   0xff00000000000000, 0xff00000003ffffff,
   1664   0xfe00000000000000, 0xfe00000007ffffff,
   1665   0xfc00000000000000, 0xfc0000000fffffff,
   1666   0xf800000000000000, 0xf80000001fffffff,
   1667   0xf000000000000000, 0xf00000003fffffff,
   1668   0xe000000000000000, 0xe00000007fffffff,
   1669   0xc000000000000000, 0xc0000000ffffffff,
   1670   0x8000000000000000, 0x80000001ffffffff,
   1671   0x0000000000000000, 0x00000003ffffffff,
   1672   0x0000000000000000, 0x00000007ffffffff,
   1673   0x0000000000000000, 0x0000000fffffffff,
   1674   0x0000000000000000, 0x0000001fffffffff,
   1675   0x0000000000000000, 0x0000003fffffffff,
   1676   0x0000000000000000, 0x0000007fffffffff,
   1677   0x0000000000000000, 0x000000ffffffffff,
   1678   0x0000000000000000, 0x000001ffffffffff,
   1679   0x0000000000000000, 0x000003ffffffffff,
   1680   0x0000000000000000, 0x000007ffffffffff,
   1681   0x0000000000000000, 0x00000fffffffffff,
   1682   0x0000000000000000, 0x00001fffffffffff,
   1683   0x0000000000000000, 0x00003fffffffffff,
   1684   0x0000000000000000, 0x00007fffffffffff,
   1685   0x0000000000000000, 0x0000ffffffffffff,
   1686   0x0000000000000000, 0x0001ffffffffffff,
   1687   0x0000000000000000, 0x0003ffffffffffff,
   1688   0x0000000000000000, 0x0007ffffffffffff,
   1689   0x0000000000000000, 0x000fffffffffffff,
   1690   0x0000000000000000, 0x001fffffffffffff,
   1691   0x0000000000000000, 0x003fffffffffffff,
   1692   0x0000000000000000, 0x007fffffffffffff,
   1693   0x0000000000000000, 0x00ffffffffffffff,
   1694   0x0000000000000000, 0x01ffffffffffffff,
   1695   0x0000000000000000, 0x03ffffffffffffff,
   1696   0x0000000000000000, 0x07ffffffffffffff,
   1697   0x0000000000000000, 0x0fffffffffffffff,
   1698   0x0000000000000000, 0x1fffffffffffffff,
   1699   0x0000000000000000, 0x3fffffffffffffff,
   1700   0x0000000000000000, 0x7fffffffffffffff,
   1701   0x0000000000000000, 0xffffffffffffffff,
   1702   0xffffffff80000001, 0xffffffff80000002,
   1703   0xffffffff00000003, 0xffffffff00000004,
   1704   0xfffffffe00000007, 0xfffffffe00000008,
   1705   0xfffffffc0000000f, 0xfffffffc00000010,
   1706   0xfffffff80000001f, 0xfffffff800000020,
   1707   0xfffffff00000003f, 0xfffffff000000040,
   1708   0xffffffe00000007f, 0xffffffe000000080,
   1709   0xffffffc0000000ff, 0xffffffc000000100,
   1710   0xffffff80000001ff, 0xffffff8000000200,
   1711   0xffffff00000003ff, 0xffffff0000000400,
   1712   0xfffffe00000007ff, 0xfffffe0000000800,
   1713   0xfffffc0000000fff, 0xfffffc0000001000,
   1714   0xfffff80000001fff, 0xfffff80000002000,
   1715   0xfffff00000003fff, 0xfffff00000004000,
   1716   0xffffe00000007fff, 0xffffe00000008000,
   1717   0xffffc0000000ffff, 0xffffc00000010000,
   1718   0xffff80000001ffff, 0xffff800000020000,
   1719   0xffff00000003ffff, 0xffff000000040000,
   1720   0xfffe00000007ffff, 0xfffe000000080000,
   1721   0xfffc0000000fffff, 0xfffc000000100000,
   1722   0xfff80000001fffff, 0xfff8000000200000,
   1723   0xfff00000003fffff, 0xfff0000000400000,
   1724   0xffe00000007fffff, 0xffe0000000800000,
   1725   0xffc0000000ffffff, 0xffc0000001000000,
   1726   0xff80000001ffffff, 0xff80000002000000,
   1727   0xff00000003ffffff, 0xff00000004000000,
   1728   0xfe00000007ffffff, 0xfe00000008000000,
   1729   0xfc0000000fffffff, 0xfc00000010000000,
   1730   0xf80000001fffffff, 0xf800000020000000,
   1731   0xf00000003fffffff, 0xf000000040000000,
   1732   0xe00000007fffffff, 0xe000000080000000,
   1733   0xc0000000ffffffff, 0xc000000100000000,
   1734   0x80000001ffffffff, 0x8000000200000000,
   1735   0x00000003ffffffff, 0x0000000400000000,
   1736   0x00000007ffffffff, 0x0000000800000000,
   1737   0x0000000fffffffff, 0x0000001000000000,
   1738   0x0000001fffffffff, 0x0000002000000000,
   1739   0x0000003fffffffff, 0x0000004000000000,
   1740   0x0000007fffffffff, 0x0000008000000000,
   1741   0x000000ffffffffff, 0x0000010000000000,
   1742   0x000001ffffffffff, 0x0000020000000000,
   1743   0x000003ffffffffff, 0x0000040000000000,
   1744   0x000007ffffffffff, 0x0000080000000000,
   1745   0x00000fffffffffff, 0x0000100000000000,
   1746   0x00001fffffffffff, 0x0000200000000000,
   1747   0x00003fffffffffff, 0x0000400000000000,
   1748   0x00007fffffffffff, 0x0000800000000000,
   1749   0x0000ffffffffffff, 0x0001000000000000,
   1750   0x0001ffffffffffff, 0x0002000000000000,
   1751   0x0003ffffffffffff, 0x0004000000000000,
   1752   0x0007ffffffffffff, 0x0008000000000000,
   1753   0x000fffffffffffff, 0x0010000000000000,
   1754   0x001fffffffffffff, 0x0020000000000000,
   1755   0x003fffffffffffff, 0x0040000000000000,
   1756   0x007fffffffffffff, 0x0080000000000000,
   1757   0x00ffffffffffffff, 0x0100000000000000,
   1758   0x01ffffffffffffff, 0x0200000000000000,
   1759   0x03ffffffffffffff, 0x0400000000000000,
   1760   0x07ffffffffffffff, 0x0800000000000000,
   1761   0x0fffffffffffffff, 0x1000000000000000,
   1762   0x1fffffffffffffff, 0x2000000000000000,
   1763   0x3fffffffffffffff, 0x4000000000000000,
   1764   0x7fffffffffffffff, 0x8000000000000000,
   1765   0xffffffffffffffff, 0x0000000000000000,
   1766   0xffffffff80000002, 0xffffffff80000003,
   1767   0xffffffff00000004, 0xffffffff00000007,
   1768   0xfffffffe00000008, 0xfffffffe0000000f,
   1769   0xfffffffc00000010, 0xfffffffc0000001f,
   1770   0xfffffff800000020, 0xfffffff80000003f,
   1771   0xfffffff000000040, 0xfffffff00000007f,
   1772   0xffffffe000000080, 0xffffffe0000000ff,
   1773   0xffffffc000000100, 0xffffffc0000001ff,
   1774   0xffffff8000000200, 0xffffff80000003ff,
   1775   0xffffff0000000400, 0xffffff00000007ff,
   1776   0xfffffe0000000800, 0xfffffe0000000fff,
   1777   0xfffffc0000001000, 0xfffffc0000001fff,
   1778   0xfffff80000002000, 0xfffff80000003fff,
   1779   0xfffff00000004000, 0xfffff00000007fff,
   1780   0xffffe00000008000, 0xffffe0000000ffff,
   1781   0xffffc00000010000, 0xffffc0000001ffff,
   1782   0xffff800000020000, 0xffff80000003ffff,
   1783   0xffff000000040000, 0xffff00000007ffff,
   1784   0xfffe000000080000, 0xfffe0000000fffff,
   1785   0xfffc000000100000, 0xfffc0000001fffff,
   1786   0xfff8000000200000, 0xfff80000003fffff,
   1787   0xfff0000000400000, 0xfff00000007fffff,
   1788   0xffe0000000800000, 0xffe0000000ffffff,
   1789   0xffc0000001000000, 0xffc0000001ffffff,
   1790   0xff80000002000000, 0xff80000003ffffff,
   1791   0xff00000004000000, 0xff00000007ffffff,
   1792   0xfe00000008000000, 0xfe0000000fffffff,
   1793   0xfc00000010000000, 0xfc0000001fffffff,
   1794   0xf800000020000000, 0xf80000003fffffff,
   1795   0xf000000040000000, 0xf00000007fffffff,
   1796   0xe000000080000000, 0xe0000000ffffffff,
   1797   0xc000000100000000, 0xc0000001ffffffff,
   1798   0x8000000200000000, 0x80000003ffffffff,
   1799   0x0000000400000000, 0x00000007ffffffff,
   1800   0x0000000800000000, 0x0000000fffffffff,
   1801   0x0000001000000000, 0x0000001fffffffff,
   1802   0x0000002000000000, 0x0000003fffffffff,
   1803   0x0000004000000000, 0x0000007fffffffff,
   1804   0x0000008000000000, 0x000000ffffffffff,
   1805   0x0000010000000000, 0x000001ffffffffff,
   1806   0x0000020000000000, 0x000003ffffffffff,
   1807   0x0000040000000000, 0x000007ffffffffff,
   1808   0x0000080000000000, 0x00000fffffffffff,
   1809   0x0000100000000000, 0x00001fffffffffff,
   1810   0x0000200000000000, 0x00003fffffffffff,
   1811   0x0000400000000000, 0x00007fffffffffff,
   1812   0x0000800000000000, 0x0000ffffffffffff,
   1813   0x0001000000000000, 0x0001ffffffffffff,
   1814   0x0002000000000000, 0x0003ffffffffffff,
   1815   0x0004000000000000, 0x0007ffffffffffff,
   1816   0x0008000000000000, 0x000fffffffffffff,
   1817   0x0010000000000000, 0x001fffffffffffff,
   1818   0x0020000000000000, 0x003fffffffffffff,
   1819   0x0040000000000000, 0x007fffffffffffff,
   1820   0x0080000000000000, 0x00ffffffffffffff,
   1821   0x0100000000000000, 0x01ffffffffffffff,
   1822   0x0200000000000000, 0x03ffffffffffffff,
   1823   0x0400000000000000, 0x07ffffffffffffff,
   1824   0x0800000000000000, 0x0fffffffffffffff,
   1825   0x1000000000000000, 0x1fffffffffffffff,
   1826   0x2000000000000000, 0x3fffffffffffffff,
   1827   0x4000000000000000, 0x7fffffffffffffff,
   1828   0x8000000000000000, 0xffffffffffffffff,
   1829   0x0000000000000000, 0xffffffffffffffff,
   1830   0xffffffff80000003, 0xffffffffffff8000,
   1831   0xffffffff00000007, 0xffffffffffff0000,
   1832   0xfffffffe0000000f, 0xfffffffffffe0000,
   1833   0xfffffffc0000001f, 0xfffffffffffc0000,
   1834   0xfffffff80000003f, 0xfffffffffff80000,
   1835   0xfffffff00000007f, 0xfffffffffff00000,
   1836   0xffffffe0000000ff, 0xffffffffffe00000,
   1837   0xffffffc0000001ff, 0xffffffffffc00000,
   1838   0xffffff80000003ff, 0xffffffffff800000,
   1839   0xffffff00000007ff, 0xffffffffff000000,
   1840   0xfffffe0000000fff, 0xfffffffffe000000,
   1841   0xfffffc0000001fff, 0xfffffffffc000000,
   1842   0xfffff80000003fff, 0xfffffffff8000000,
   1843   0xfffff00000007fff, 0xfffffffff0000000,
   1844   0xffffe0000000ffff, 0xffffffffe0000000,
   1845   0xffffc0000001ffff, 0xffffffffc0000000,
   1846   0xffff80000003ffff, 0xffffffff80000000,
   1847   0xffff00000007ffff, 0xffffffff00000000,
   1848   0xfffe0000000fffff, 0xfffffffe00000000,
   1849   0xfffc0000001fffff, 0xfffffffc00000000,
   1850   0xfff80000003fffff, 0xfffffff800000000,
   1851   0xfff00000007fffff, 0xfffffff000000000,
   1852   0xffe0000000ffffff, 0xffffffe000000000,
   1853   0xffc0000001ffffff, 0xffffffc000000000,
   1854   0xff80000003ffffff, 0xffffff8000000000,
   1855   0xff00000007ffffff, 0xffffff0000000000,
   1856   0xfe0000000fffffff, 0xfffffe0000000000,
   1857   0xfc0000001fffffff, 0xfffffc0000000000,
   1858   0xf80000003fffffff, 0xfffff80000000000,
   1859   0xf00000007fffffff, 0xfffff00000000000,
   1860   0xe0000000ffffffff, 0xffffe00000000000,
   1861   0xc0000001ffffffff, 0xffffc00000000000,
   1862   0x80000003ffffffff, 0xffff800000000000,
   1863   0x00000007ffffffff, 0xffff000000000000,
   1864   0x0000000fffffffff, 0xfffe000000000000,
   1865   0x0000001fffffffff, 0xfffc000000000000,
   1866   0x0000003fffffffff, 0xfff8000000000000,
   1867   0x0000007fffffffff, 0xfff0000000000000,
   1868   0x000000ffffffffff, 0xffe0000000000000,
   1869   0x000001ffffffffff, 0xffc0000000000000,
   1870   0x000003ffffffffff, 0xff80000000000000,
   1871   0x000007ffffffffff, 0xff00000000000000,
   1872   0x00000fffffffffff, 0xfe00000000000000,
   1873   0x00001fffffffffff, 0xfc00000000000000,
   1874   0x00003fffffffffff, 0xf800000000000000,
   1875   0x00007fffffffffff, 0xf000000000000000,
   1876   0x0000ffffffffffff, 0xe000000000000000,
   1877   0x0001ffffffffffff, 0xc000000000000000,
   1878   0x0003ffffffffffff, 0x8000000000000000,
   1879   0x0007ffffffffffff, 0x0000000000000000,
   1880   0x000fffffffffffff, 0x0000000000000000,
   1881   0x001fffffffffffff, 0x0000000000000000,
   1882   0x003fffffffffffff, 0x0000000000000000,
   1883   0x007fffffffffffff, 0x0000000000000000,
   1884   0x00ffffffffffffff, 0x0000000000000000,
   1885   0x01ffffffffffffff, 0x0000000000000000,
   1886   0x03ffffffffffffff, 0x0000000000000000,
   1887   0x07ffffffffffffff, 0x0000000000000000,
   1888   0x0fffffffffffffff, 0x0000000000000000,
   1889   0x1fffffffffffffff, 0x0000000000000000,
   1890   0x3fffffffffffffff, 0x0000000000000000,
   1891   0x7fffffffffffffff, 0x0000000000000000,
   1892   0xffffffffffffffff, 0x0000000000000000,
   1893   0xffffffffffffffff, 0x0000000000000000,
   1894   0xffffffffffff8000, 0xffffffffffff8001,
   1895   0xffffffffffff0000, 0xffffffffffff0003,
   1896   0xfffffffffffe0000, 0xfffffffffffe0007,
   1897   0xfffffffffffc0000, 0xfffffffffffc000f,
   1898   0xfffffffffff80000, 0xfffffffffff8001f,
   1899   0xfffffffffff00000, 0xfffffffffff0003f,
   1900   0xffffffffffe00000, 0xffffffffffe0007f,
   1901   0xffffffffffc00000, 0xffffffffffc000ff,
   1902   0xffffffffff800000, 0xffffffffff8001ff,
   1903   0xffffffffff000000, 0xffffffffff0003ff,
   1904   0xfffffffffe000000, 0xfffffffffe0007ff,
   1905   0xfffffffffc000000, 0xfffffffffc000fff,
   1906   0xfffffffff8000000, 0xfffffffff8001fff,
   1907   0xfffffffff0000000, 0xfffffffff0003fff,
   1908   0xffffffffe0000000, 0xffffffffe0007fff,
   1909   0xffffffffc0000000, 0xffffffffc000ffff,
   1910   0xffffffff80000000, 0xffffffff8001ffff,
   1911   0xffffffff00000000, 0xffffffff0003ffff,
   1912   0xfffffffe00000000, 0xfffffffe0007ffff,
   1913   0xfffffffc00000000, 0xfffffffc000fffff,
   1914   0xfffffff800000000, 0xfffffff8001fffff,
   1915   0xfffffff000000000, 0xfffffff0003fffff,
   1916   0xffffffe000000000, 0xffffffe0007fffff,
   1917   0xffffffc000000000, 0xffffffc000ffffff,
   1918   0xffffff8000000000, 0xffffff8001ffffff,
   1919   0xffffff0000000000, 0xffffff0003ffffff,
   1920   0xfffffe0000000000, 0xfffffe0007ffffff,
   1921   0xfffffc0000000000, 0xfffffc000fffffff,
   1922   0xfffff80000000000, 0xfffff8001fffffff,
   1923   0xfffff00000000000, 0xfffff0003fffffff,
   1924   0xffffe00000000000, 0xffffe0007fffffff,
   1925   0xffffc00000000000, 0xffffc000ffffffff,
   1926   0xffff800000000000, 0xffff8001ffffffff,
   1927   0xffff000000000000, 0xffff0003ffffffff,
   1928   0xfffe000000000000, 0xfffe0007ffffffff,
   1929   0xfffc000000000000, 0xfffc000fffffffff,
   1930   0xfff8000000000000, 0xfff8001fffffffff,
   1931   0xfff0000000000000, 0xfff0003fffffffff,
   1932   0xffe0000000000000, 0xffe0007fffffffff,
   1933   0xffc0000000000000, 0xffc000ffffffffff,
   1934   0xff80000000000000, 0xff8001ffffffffff,
   1935   0xff00000000000000, 0xff0003ffffffffff,
   1936   0xfe00000000000000, 0xfe0007ffffffffff,
   1937   0xfc00000000000000, 0xfc000fffffffffff,
   1938   0xf800000000000000, 0xf8001fffffffffff,
   1939   0xf000000000000000, 0xf0003fffffffffff,
   1940   0xe000000000000000, 0xe0007fffffffffff,
   1941   0xc000000000000000, 0xc000ffffffffffff,
   1942   0x8000000000000000, 0x8001ffffffffffff,
   1943   0x0000000000000000, 0x0003ffffffffffff,
   1944   0x0000000000000000, 0x0007ffffffffffff,
   1945   0x0000000000000000, 0x000fffffffffffff,
   1946   0x0000000000000000, 0x001fffffffffffff,
   1947   0x0000000000000000, 0x003fffffffffffff,
   1948   0x0000000000000000, 0x007fffffffffffff,
   1949   0x0000000000000000, 0x00ffffffffffffff,
   1950   0x0000000000000000, 0x01ffffffffffffff,
   1951   0x0000000000000000, 0x03ffffffffffffff,
   1952   0x0000000000000000, 0x07ffffffffffffff,
   1953   0x0000000000000000, 0x0fffffffffffffff,
   1954   0x0000000000000000, 0x1fffffffffffffff,
   1955   0x0000000000000000, 0x3fffffffffffffff,
   1956   0x0000000000000000, 0x7fffffffffffffff,
   1957   0x0000000000000000, 0xffffffffffffffff,
   1958   0xffffffffffff8001, 0xffffffffffff8002,
   1959   0xffffffffffff0003, 0xffffffffffff0004,
   1960   0xfffffffffffe0007, 0xfffffffffffe0008,
   1961   0xfffffffffffc000f, 0xfffffffffffc0010,
   1962   0xfffffffffff8001f, 0xfffffffffff80020,
   1963   0xfffffffffff0003f, 0xfffffffffff00040,
   1964   0xffffffffffe0007f, 0xffffffffffe00080,
   1965   0xffffffffffc000ff, 0xffffffffffc00100,
   1966   0xffffffffff8001ff, 0xffffffffff800200,
   1967   0xffffffffff0003ff, 0xffffffffff000400,
   1968   0xfffffffffe0007ff, 0xfffffffffe000800,
   1969   0xfffffffffc000fff, 0xfffffffffc001000,
   1970   0xfffffffff8001fff, 0xfffffffff8002000,
   1971   0xfffffffff0003fff, 0xfffffffff0004000,
   1972   0xffffffffe0007fff, 0xffffffffe0008000,
   1973   0xffffffffc000ffff, 0xffffffffc0010000,
   1974   0xffffffff8001ffff, 0xffffffff80020000,
   1975   0xffffffff0003ffff, 0xffffffff00040000,
   1976   0xfffffffe0007ffff, 0xfffffffe00080000,
   1977   0xfffffffc000fffff, 0xfffffffc00100000,
   1978   0xfffffff8001fffff, 0xfffffff800200000,
   1979   0xfffffff0003fffff, 0xfffffff000400000,
   1980   0xffffffe0007fffff, 0xffffffe000800000,
   1981   0xffffffc000ffffff, 0xffffffc001000000,
   1982   0xffffff8001ffffff, 0xffffff8002000000,
   1983   0xffffff0003ffffff, 0xffffff0004000000,
   1984   0xfffffe0007ffffff, 0xfffffe0008000000,
   1985   0xfffffc000fffffff, 0xfffffc0010000000,
   1986   0xfffff8001fffffff, 0xfffff80020000000,
   1987   0xfffff0003fffffff, 0xfffff00040000000,
   1988   0xffffe0007fffffff, 0xffffe00080000000,
   1989   0xffffc000ffffffff, 0xffffc00100000000,
   1990   0xffff8001ffffffff, 0xffff800200000000,
   1991   0xffff0003ffffffff, 0xffff000400000000,
   1992   0xfffe0007ffffffff, 0xfffe000800000000,
   1993   0xfffc000fffffffff, 0xfffc001000000000,
   1994   0xfff8001fffffffff, 0xfff8002000000000,
   1995   0xfff0003fffffffff, 0xfff0004000000000,
   1996   0xffe0007fffffffff, 0xffe0008000000000,
   1997   0xffc000ffffffffff, 0xffc0010000000000,
   1998   0xff8001ffffffffff, 0xff80020000000000,
   1999   0xff0003ffffffffff, 0xff00040000000000,
   2000   0xfe0007ffffffffff, 0xfe00080000000000,
   2001   0xfc000fffffffffff, 0xfc00100000000000,
   2002   0xf8001fffffffffff, 0xf800200000000000,
   2003   0xf0003fffffffffff, 0xf000400000000000,
   2004   0xe0007fffffffffff, 0xe000800000000000,
   2005   0xc000ffffffffffff, 0xc001000000000000,
   2006   0x8001ffffffffffff, 0x8002000000000000,
   2007   0x0003ffffffffffff, 0x0004000000000000,
   2008   0x0007ffffffffffff, 0x0008000000000000,
   2009   0x000fffffffffffff, 0x0010000000000000,
   2010   0x001fffffffffffff, 0x0020000000000000,
   2011   0x003fffffffffffff, 0x0040000000000000,
   2012   0x007fffffffffffff, 0x0080000000000000,
   2013   0x00ffffffffffffff, 0x0100000000000000,
   2014   0x01ffffffffffffff, 0x0200000000000000,
   2015   0x03ffffffffffffff, 0x0400000000000000,
   2016   0x07ffffffffffffff, 0x0800000000000000,
   2017   0x0fffffffffffffff, 0x1000000000000000,
   2018   0x1fffffffffffffff, 0x2000000000000000,
   2019   0x3fffffffffffffff, 0x4000000000000000,
   2020   0x7fffffffffffffff, 0x8000000000000000,
   2021   0xffffffffffffffff, 0x0000000000000000,
   2022   0xffffffffffff8002, 0xffffffffffff8003,
   2023   0xffffffffffff0004, 0xffffffffffff0007,
   2024   0xfffffffffffe0008, 0xfffffffffffe000f,
   2025   0xfffffffffffc0010, 0xfffffffffffc001f,
   2026   0xfffffffffff80020, 0xfffffffffff8003f,
   2027   0xfffffffffff00040, 0xfffffffffff0007f,
   2028   0xffffffffffe00080, 0xffffffffffe000ff,
   2029   0xffffffffffc00100, 0xffffffffffc001ff,
   2030   0xffffffffff800200, 0xffffffffff8003ff,
   2031   0xffffffffff000400, 0xffffffffff0007ff,
   2032   0xfffffffffe000800, 0xfffffffffe000fff,
   2033   0xfffffffffc001000, 0xfffffffffc001fff,
   2034   0xfffffffff8002000, 0xfffffffff8003fff,
   2035   0xfffffffff0004000, 0xfffffffff0007fff,
   2036   0xffffffffe0008000, 0xffffffffe000ffff,
   2037   0xffffffffc0010000, 0xffffffffc001ffff,
   2038   0xffffffff80020000, 0xffffffff8003ffff,
   2039   0xffffffff00040000, 0xffffffff0007ffff,
   2040   0xfffffffe00080000, 0xfffffffe000fffff,
   2041   0xfffffffc00100000, 0xfffffffc001fffff,
   2042   0xfffffff800200000, 0xfffffff8003fffff,
   2043   0xfffffff000400000, 0xfffffff0007fffff,
   2044   0xffffffe000800000, 0xffffffe000ffffff,
   2045   0xffffffc001000000, 0xffffffc001ffffff,
   2046   0xffffff8002000000, 0xffffff8003ffffff,
   2047   0xffffff0004000000, 0xffffff0007ffffff,
   2048   0xfffffe0008000000, 0xfffffe000fffffff,
   2049   0xfffffc0010000000, 0xfffffc001fffffff,
   2050   0xfffff80020000000, 0xfffff8003fffffff,
   2051   0xfffff00040000000, 0xfffff0007fffffff,
   2052   0xffffe00080000000, 0xffffe000ffffffff,
   2053   0xffffc00100000000, 0xffffc001ffffffff,
   2054   0xffff800200000000, 0xffff8003ffffffff,
   2055   0xffff000400000000, 0xffff0007ffffffff,
   2056   0xfffe000800000000, 0xfffe000fffffffff,
   2057   0xfffc001000000000, 0xfffc001fffffffff,
   2058   0xfff8002000000000, 0xfff8003fffffffff,
   2059   0xfff0004000000000, 0xfff0007fffffffff,
   2060   0xffe0008000000000, 0xffe000ffffffffff,
   2061   0xffc0010000000000, 0xffc001ffffffffff,
   2062   0xff80020000000000, 0xff8003ffffffffff,
   2063   0xff00040000000000, 0xff0007ffffffffff,
   2064   0xfe00080000000000, 0xfe000fffffffffff,
   2065   0xfc00100000000000, 0xfc001fffffffffff,
   2066   0xf800200000000000, 0xf8003fffffffffff,
   2067   0xf000400000000000, 0xf0007fffffffffff,
   2068   0xe000800000000000, 0xe000ffffffffffff,
   2069   0xc001000000000000, 0xc001ffffffffffff,
   2070   0x8002000000000000, 0x8003ffffffffffff,
   2071   0x0004000000000000, 0x0007ffffffffffff,
   2072   0x0008000000000000, 0x000fffffffffffff,
   2073   0x0010000000000000, 0x001fffffffffffff,
   2074   0x0020000000000000, 0x003fffffffffffff,
   2075   0x0040000000000000, 0x007fffffffffffff,
   2076   0x0080000000000000, 0x00ffffffffffffff,
   2077   0x0100000000000000, 0x01ffffffffffffff,
   2078   0x0200000000000000, 0x03ffffffffffffff,
   2079   0x0400000000000000, 0x07ffffffffffffff,
   2080   0x0800000000000000, 0x0fffffffffffffff,
   2081   0x1000000000000000, 0x1fffffffffffffff,
   2082   0x2000000000000000, 0x3fffffffffffffff,
   2083   0x4000000000000000, 0x7fffffffffffffff,
   2084   0x8000000000000000, 0xffffffffffffffff,
   2085   0x0000000000000000, 0xffffffffffffffff,
   2086   0xffffffffffff8003, 0xffffffffffffff80,
   2087   0xffffffffffff0007, 0xffffffffffffff00,
   2088   0xfffffffffffe000f, 0xfffffffffffffe00,
   2089   0xfffffffffffc001f, 0xfffffffffffffc00,
   2090   0xfffffffffff8003f, 0xfffffffffffff800,
   2091   0xfffffffffff0007f, 0xfffffffffffff000,
   2092   0xffffffffffe000ff, 0xffffffffffffe000,
   2093   0xffffffffffc001ff, 0xffffffffffffc000,
   2094   0xffffffffff8003ff, 0xffffffffffff8000,
   2095   0xffffffffff0007ff, 0xffffffffffff0000,
   2096   0xfffffffffe000fff, 0xfffffffffffe0000,
   2097   0xfffffffffc001fff, 0xfffffffffffc0000,
   2098   0xfffffffff8003fff, 0xfffffffffff80000,
   2099   0xfffffffff0007fff, 0xfffffffffff00000,
   2100   0xffffffffe000ffff, 0xffffffffffe00000,
   2101   0xffffffffc001ffff, 0xffffffffffc00000,
   2102   0xffffffff8003ffff, 0xffffffffff800000,
   2103   0xffffffff0007ffff, 0xffffffffff000000,
   2104   0xfffffffe000fffff, 0xfffffffffe000000,
   2105   0xfffffffc001fffff, 0xfffffffffc000000,
   2106   0xfffffff8003fffff, 0xfffffffff8000000,
   2107   0xfffffff0007fffff, 0xfffffffff0000000,
   2108   0xffffffe000ffffff, 0xffffffffe0000000,
   2109   0xffffffc001ffffff, 0xffffffffc0000000,
   2110   0xffffff8003ffffff, 0xffffffff80000000,
   2111   0xffffff0007ffffff, 0xffffffff00000000,
   2112   0xfffffe000fffffff, 0xfffffffe00000000,
   2113   0xfffffc001fffffff, 0xfffffffc00000000,
   2114   0xfffff8003fffffff, 0xfffffff800000000,
   2115   0xfffff0007fffffff, 0xfffffff000000000,
   2116   0xffffe000ffffffff, 0xffffffe000000000,
   2117   0xffffc001ffffffff, 0xffffffc000000000,
   2118   0xffff8003ffffffff, 0xffffff8000000000,
   2119   0xffff0007ffffffff, 0xffffff0000000000,
   2120   0xfffe000fffffffff, 0xfffffe0000000000,
   2121   0xfffc001fffffffff, 0xfffffc0000000000,
   2122   0xfff8003fffffffff, 0xfffff80000000000,
   2123   0xfff0007fffffffff, 0xfffff00000000000,
   2124   0xffe000ffffffffff, 0xffffe00000000000,
   2125   0xffc001ffffffffff, 0xffffc00000000000,
   2126   0xff8003ffffffffff, 0xffff800000000000,
   2127   0xff0007ffffffffff, 0xffff000000000000,
   2128   0xfe000fffffffffff, 0xfffe000000000000,
   2129   0xfc001fffffffffff, 0xfffc000000000000,
   2130   0xf8003fffffffffff, 0xfff8000000000000,
   2131   0xf0007fffffffffff, 0xfff0000000000000,
   2132   0xe000ffffffffffff, 0xffe0000000000000,
   2133   0xc001ffffffffffff, 0xffc0000000000000,
   2134   0x8003ffffffffffff, 0xff80000000000000,
   2135   0x0007ffffffffffff, 0xff00000000000000,
   2136   0x000fffffffffffff, 0xfe00000000000000,
   2137   0x001fffffffffffff, 0xfc00000000000000,
   2138   0x003fffffffffffff, 0xf800000000000000,
   2139   0x007fffffffffffff, 0xf000000000000000,
   2140   0x00ffffffffffffff, 0xe000000000000000,
   2141   0x01ffffffffffffff, 0xc000000000000000,
   2142   0x03ffffffffffffff, 0x8000000000000000,
   2143   0x07ffffffffffffff, 0x0000000000000000,
   2144   0x0fffffffffffffff, 0x0000000000000000,
   2145   0x1fffffffffffffff, 0x0000000000000000,
   2146   0x3fffffffffffffff, 0x0000000000000000,
   2147   0x7fffffffffffffff, 0x0000000000000000,
   2148   0xffffffffffffffff, 0x0000000000000000,
   2149   0xffffffffffffffff, 0x0000000000000000,
   2150   0xffffffffffffff80, 0xffffffffffffff81,
   2151   0xffffffffffffff00, 0xffffffffffffff03,
   2152   0xfffffffffffffe00, 0xfffffffffffffe07,
   2153   0xfffffffffffffc00, 0xfffffffffffffc0f,
   2154   0xfffffffffffff800, 0xfffffffffffff81f,
   2155   0xfffffffffffff000, 0xfffffffffffff03f,
   2156   0xffffffffffffe000, 0xffffffffffffe07f,
   2157   0xffffffffffffc000, 0xffffffffffffc0ff,
   2158   0xffffffffffff8000, 0xffffffffffff81ff,
   2159   0xffffffffffff0000, 0xffffffffffff03ff,
   2160   0xfffffffffffe0000, 0xfffffffffffe07ff,
   2161   0xfffffffffffc0000, 0xfffffffffffc0fff,
   2162   0xfffffffffff80000, 0xfffffffffff81fff,
   2163   0xfffffffffff00000, 0xfffffffffff03fff,
   2164   0xffffffffffe00000, 0xffffffffffe07fff,
   2165   0xffffffffffc00000, 0xffffffffffc0ffff,
   2166   0xffffffffff800000, 0xffffffffff81ffff,
   2167   0xffffffffff000000, 0xffffffffff03ffff,
   2168   0xfffffffffe000000, 0xfffffffffe07ffff,
   2169   0xfffffffffc000000, 0xfffffffffc0fffff,
   2170   0xfffffffff8000000, 0xfffffffff81fffff,
   2171   0xfffffffff0000000, 0xfffffffff03fffff,
   2172   0xffffffffe0000000, 0xffffffffe07fffff,
   2173   0xffffffffc0000000, 0xffffffffc0ffffff,
   2174   0xffffffff80000000, 0xffffffff81ffffff,
   2175   0xffffffff00000000, 0xffffffff03ffffff,
   2176   0xfffffffe00000000, 0xfffffffe07ffffff,
   2177   0xfffffffc00000000, 0xfffffffc0fffffff,
   2178   0xfffffff800000000, 0xfffffff81fffffff,
   2179   0xfffffff000000000, 0xfffffff03fffffff,
   2180   0xffffffe000000000, 0xffffffe07fffffff,
   2181   0xffffffc000000000, 0xffffffc0ffffffff,
   2182   0xffffff8000000000, 0xffffff81ffffffff,
   2183   0xffffff0000000000, 0xffffff03ffffffff,
   2184   0xfffffe0000000000, 0xfffffe07ffffffff,
   2185   0xfffffc0000000000, 0xfffffc0fffffffff,
   2186   0xfffff80000000000, 0xfffff81fffffffff,
   2187   0xfffff00000000000, 0xfffff03fffffffff,
   2188   0xffffe00000000000, 0xffffe07fffffffff,
   2189   0xffffc00000000000, 0xffffc0ffffffffff,
   2190   0xffff800000000000, 0xffff81ffffffffff,
   2191   0xffff000000000000, 0xffff03ffffffffff,
   2192   0xfffe000000000000, 0xfffe07ffffffffff,
   2193   0xfffc000000000000, 0xfffc0fffffffffff,
   2194   0xfff8000000000000, 0xfff81fffffffffff,
   2195   0xfff0000000000000, 0xfff03fffffffffff,
   2196   0xffe0000000000000, 0xffe07fffffffffff,
   2197   0xffc0000000000000, 0xffc0ffffffffffff,
   2198   0xff80000000000000, 0xff81ffffffffffff,
   2199   0xff00000000000000, 0xff03ffffffffffff,
   2200   0xfe00000000000000, 0xfe07ffffffffffff,
   2201   0xfc00000000000000, 0xfc0fffffffffffff,
   2202   0xf800000000000000, 0xf81fffffffffffff,
   2203   0xf000000000000000, 0xf03fffffffffffff,
   2204   0xe000000000000000, 0xe07fffffffffffff,
   2205   0xc000000000000000, 0xc0ffffffffffffff,
   2206   0x8000000000000000, 0x81ffffffffffffff,
   2207   0x0000000000000000, 0x03ffffffffffffff,
   2208   0x0000000000000000, 0x07ffffffffffffff,
   2209   0x0000000000000000, 0x0fffffffffffffff,
   2210   0x0000000000000000, 0x1fffffffffffffff,
   2211   0x0000000000000000, 0x3fffffffffffffff,
   2212   0x0000000000000000, 0x7fffffffffffffff,
   2213   0x0000000000000000, 0xffffffffffffffff,
   2214   0xffffffffffffff81, 0xffffffffffffff82,
   2215   0xffffffffffffff03, 0xffffffffffffff04,
   2216   0xfffffffffffffe07, 0xfffffffffffffe08,
   2217   0xfffffffffffffc0f, 0xfffffffffffffc10,
   2218   0xfffffffffffff81f, 0xfffffffffffff820,
   2219   0xfffffffffffff03f, 0xfffffffffffff040,
   2220   0xffffffffffffe07f, 0xffffffffffffe080,
   2221   0xffffffffffffc0ff, 0xffffffffffffc100,
   2222   0xffffffffffff81ff, 0xffffffffffff8200,
   2223   0xffffffffffff03ff, 0xffffffffffff0400,
   2224   0xfffffffffffe07ff, 0xfffffffffffe0800,
   2225   0xfffffffffffc0fff, 0xfffffffffffc1000,
   2226   0xfffffffffff81fff, 0xfffffffffff82000,
   2227   0xfffffffffff03fff, 0xfffffffffff04000,
   2228   0xffffffffffe07fff, 0xffffffffffe08000,
   2229   0xffffffffffc0ffff, 0xffffffffffc10000,
   2230   0xffffffffff81ffff, 0xffffffffff820000,
   2231   0xffffffffff03ffff, 0xffffffffff040000,
   2232   0xfffffffffe07ffff, 0xfffffffffe080000,
   2233   0xfffffffffc0fffff, 0xfffffffffc100000,
   2234   0xfffffffff81fffff, 0xfffffffff8200000,
   2235   0xfffffffff03fffff, 0xfffffffff0400000,
   2236   0xffffffffe07fffff, 0xffffffffe0800000,
   2237   0xffffffffc0ffffff, 0xffffffffc1000000,
   2238   0xffffffff81ffffff, 0xffffffff82000000,
   2239   0xffffffff03ffffff, 0xffffffff04000000,
   2240   0xfffffffe07ffffff, 0xfffffffe08000000,
   2241   0xfffffffc0fffffff, 0xfffffffc10000000,
   2242   0xfffffff81fffffff, 0xfffffff820000000,
   2243   0xfffffff03fffffff, 0xfffffff040000000,
   2244   0xffffffe07fffffff, 0xffffffe080000000,
   2245   0xffffffc0ffffffff, 0xffffffc100000000,
   2246   0xffffff81ffffffff, 0xffffff8200000000,
   2247   0xffffff03ffffffff, 0xffffff0400000000,
   2248   0xfffffe07ffffffff, 0xfffffe0800000000,
   2249   0xfffffc0fffffffff, 0xfffffc1000000000,
   2250   0xfffff81fffffffff, 0xfffff82000000000,
   2251   0xfffff03fffffffff, 0xfffff04000000000,
   2252   0xffffe07fffffffff, 0xffffe08000000000,
   2253   0xffffc0ffffffffff, 0xffffc10000000000,
   2254   0xffff81ffffffffff, 0xffff820000000000,
   2255   0xffff03ffffffffff, 0xffff040000000000,
   2256   0xfffe07ffffffffff, 0xfffe080000000000,
   2257   0xfffc0fffffffffff, 0xfffc100000000000,
   2258   0xfff81fffffffffff, 0xfff8200000000000,
   2259   0xfff03fffffffffff, 0xfff0400000000000,
   2260   0xffe07fffffffffff, 0xffe0800000000000,
   2261   0xffc0ffffffffffff, 0xffc1000000000000,
   2262   0xff81ffffffffffff, 0xff82000000000000,
   2263   0xff03ffffffffffff, 0xff04000000000000,
   2264   0xfe07ffffffffffff, 0xfe08000000000000,
   2265   0xfc0fffffffffffff, 0xfc10000000000000,
   2266   0xf81fffffffffffff, 0xf820000000000000,
   2267   0xf03fffffffffffff, 0xf040000000000000,
   2268   0xe07fffffffffffff, 0xe080000000000000,
   2269   0xc0ffffffffffffff, 0xc100000000000000,
   2270   0x81ffffffffffffff, 0x8200000000000000,
   2271   0x03ffffffffffffff, 0x0400000000000000,
   2272   0x07ffffffffffffff, 0x0800000000000000,
   2273   0x0fffffffffffffff, 0x1000000000000000,
   2274   0x1fffffffffffffff, 0x2000000000000000,
   2275   0x3fffffffffffffff, 0x4000000000000000,
   2276   0x7fffffffffffffff, 0x8000000000000000,
   2277   0xffffffffffffffff, 0x0000000000000000,
   2278   0xffffffffffffff82, 0xffffffffffffff83,
   2279   0xffffffffffffff04, 0xffffffffffffff07,
   2280   0xfffffffffffffe08, 0xfffffffffffffe0f,
   2281   0xfffffffffffffc10, 0xfffffffffffffc1f,
   2282   0xfffffffffffff820, 0xfffffffffffff83f,
   2283   0xfffffffffffff040, 0xfffffffffffff07f,
   2284   0xffffffffffffe080, 0xffffffffffffe0ff,
   2285   0xffffffffffffc100, 0xffffffffffffc1ff,
   2286   0xffffffffffff8200, 0xffffffffffff83ff,
   2287   0xffffffffffff0400, 0xffffffffffff07ff,
   2288   0xfffffffffffe0800, 0xfffffffffffe0fff,
   2289   0xfffffffffffc1000, 0xfffffffffffc1fff,
   2290   0xfffffffffff82000, 0xfffffffffff83fff,
   2291   0xfffffffffff04000, 0xfffffffffff07fff,
   2292   0xffffffffffe08000, 0xffffffffffe0ffff,
   2293   0xffffffffffc10000, 0xffffffffffc1ffff,
   2294   0xffffffffff820000, 0xffffffffff83ffff,
   2295   0xffffffffff040000, 0xffffffffff07ffff,
   2296   0xfffffffffe080000, 0xfffffffffe0fffff,
   2297   0xfffffffffc100000, 0xfffffffffc1fffff,
   2298   0xfffffffff8200000, 0xfffffffff83fffff,
   2299   0xfffffffff0400000, 0xfffffffff07fffff,
   2300   0xffffffffe0800000, 0xffffffffe0ffffff,
   2301   0xffffffffc1000000, 0xffffffffc1ffffff,
   2302   0xffffffff82000000, 0xffffffff83ffffff,
   2303   0xffffffff04000000, 0xffffffff07ffffff,
   2304   0xfffffffe08000000, 0xfffffffe0fffffff,
   2305   0xfffffffc10000000, 0xfffffffc1fffffff,
   2306   0xfffffff820000000, 0xfffffff83fffffff,
   2307   0xfffffff040000000, 0xfffffff07fffffff,
   2308   0xffffffe080000000, 0xffffffe0ffffffff,
   2309   0xffffffc100000000, 0xffffffc1ffffffff,
   2310   0xffffff8200000000, 0xffffff83ffffffff,
   2311   0xffffff0400000000, 0xffffff07ffffffff,
   2312   0xfffffe0800000000, 0xfffffe0fffffffff,
   2313   0xfffffc1000000000, 0xfffffc1fffffffff,
   2314   0xfffff82000000000, 0xfffff83fffffffff,
   2315   0xfffff04000000000, 0xfffff07fffffffff,
   2316   0xffffe08000000000, 0xffffe0ffffffffff,
   2317   0xffffc10000000000, 0xffffc1ffffffffff,
   2318   0xffff820000000000, 0xffff83ffffffffff,
   2319   0xffff040000000000, 0xffff07ffffffffff,
   2320   0xfffe080000000000, 0xfffe0fffffffffff,
   2321   0xfffc100000000000, 0xfffc1fffffffffff,
   2322   0xfff8200000000000, 0xfff83fffffffffff,
   2323   0xfff0400000000000, 0xfff07fffffffffff,
   2324   0xffe0800000000000, 0xffe0ffffffffffff,
   2325   0xffc1000000000000, 0xffc1ffffffffffff,
   2326   0xff82000000000000, 0xff83ffffffffffff,
   2327   0xff04000000000000, 0xff07ffffffffffff,
   2328   0xfe08000000000000, 0xfe0fffffffffffff,
   2329   0xfc10000000000000, 0xfc1fffffffffffff,
   2330   0xf820000000000000, 0xf83fffffffffffff,
   2331   0xf040000000000000, 0xf07fffffffffffff,
   2332   0xe080000000000000, 0xe0ffffffffffffff,
   2333   0xc100000000000000, 0xc1ffffffffffffff,
   2334   0x8200000000000000, 0x83ffffffffffffff,
   2335   0x0400000000000000, 0x07ffffffffffffff,
   2336   0x0800000000000000, 0x0fffffffffffffff,
   2337   0x1000000000000000, 0x1fffffffffffffff,
   2338   0x2000000000000000, 0x3fffffffffffffff,
   2339   0x4000000000000000, 0x7fffffffffffffff,
   2340   0x8000000000000000, 0xffffffffffffffff,
   2341   0x0000000000000000, 0xffffffffffffffff,
   2342   0xffffffffffffff83, 0xffffffffffffffc0,
   2343   0xffffffffffffff07, 0xffffffffffffff80,
   2344   0xfffffffffffffe0f, 0xffffffffffffff00,
   2345   0xfffffffffffffc1f, 0xfffffffffffffe00,
   2346   0xfffffffffffff83f, 0xfffffffffffffc00,
   2347   0xfffffffffffff07f, 0xfffffffffffff800,
   2348   0xffffffffffffe0ff, 0xfffffffffffff000,
   2349   0xffffffffffffc1ff, 0xffffffffffffe000,
   2350   0xffffffffffff83ff, 0xffffffffffffc000,
   2351   0xffffffffffff07ff, 0xffffffffffff8000,
   2352   0xfffffffffffe0fff, 0xffffffffffff0000,
   2353   0xfffffffffffc1fff, 0xfffffffffffe0000,
   2354   0xfffffffffff83fff, 0xfffffffffffc0000,
   2355   0xfffffffffff07fff, 0xfffffffffff80000,
   2356   0xffffffffffe0ffff, 0xfffffffffff00000,
   2357   0xffffffffffc1ffff, 0xffffffffffe00000,
   2358   0xffffffffff83ffff, 0xffffffffffc00000,
   2359   0xffffffffff07ffff, 0xffffffffff800000,
   2360   0xfffffffffe0fffff, 0xffffffffff000000,
   2361   0xfffffffffc1fffff, 0xfffffffffe000000,
   2362   0xfffffffff83fffff, 0xfffffffffc000000,
   2363   0xfffffffff07fffff, 0xfffffffff8000000,
   2364   0xffffffffe0ffffff, 0xfffffffff0000000,
   2365   0xffffffffc1ffffff, 0xffffffffe0000000,
   2366   0xffffffff83ffffff, 0xffffffffc0000000,
   2367   0xffffffff07ffffff, 0xffffffff80000000,
   2368   0xfffffffe0fffffff, 0xffffffff00000000,
   2369   0xfffffffc1fffffff, 0xfffffffe00000000,
   2370   0xfffffff83fffffff, 0xfffffffc00000000,
   2371   0xfffffff07fffffff, 0xfffffff800000000,
   2372   0xffffffe0ffffffff, 0xfffffff000000000,
   2373   0xffffffc1ffffffff, 0xffffffe000000000,
   2374   0xffffff83ffffffff, 0xffffffc000000000,
   2375   0xffffff07ffffffff, 0xffffff8000000000,
   2376   0xfffffe0fffffffff, 0xffffff0000000000,
   2377   0xfffffc1fffffffff, 0xfffffe0000000000,
   2378   0xfffff83fffffffff, 0xfffffc0000000000,
   2379   0xfffff07fffffffff, 0xfffff80000000000,
   2380   0xffffe0ffffffffff, 0xfffff00000000000,
   2381   0xffffc1ffffffffff, 0xffffe00000000000,
   2382   0xffff83ffffffffff, 0xffffc00000000000,
   2383   0xffff07ffffffffff, 0xffff800000000000,
   2384   0xfffe0fffffffffff, 0xffff000000000000,
   2385   0xfffc1fffffffffff, 0xfffe000000000000,
   2386   0xfff83fffffffffff, 0xfffc000000000000,
   2387   0xfff07fffffffffff, 0xfff8000000000000,
   2388   0xffe0ffffffffffff, 0xfff0000000000000,
   2389   0xffc1ffffffffffff, 0xffe0000000000000,
   2390   0xff83ffffffffffff, 0xffc0000000000000,
   2391   0xff07ffffffffffff, 0xff80000000000000,
   2392   0xfe0fffffffffffff, 0xff00000000000000,
   2393   0xfc1fffffffffffff, 0xfe00000000000000,
   2394   0xf83fffffffffffff, 0xfc00000000000000,
   2395   0xf07fffffffffffff, 0xf800000000000000,
   2396   0xe0ffffffffffffff, 0xf000000000000000,
   2397   0xc1ffffffffffffff, 0xe000000000000000,
   2398   0x83ffffffffffffff, 0xc000000000000000,
   2399   0x07ffffffffffffff, 0x8000000000000000,
   2400   0x0fffffffffffffff, 0x0000000000000000,
   2401   0x1fffffffffffffff, 0x0000000000000000,
   2402   0x3fffffffffffffff, 0x0000000000000000,
   2403   0x7fffffffffffffff, 0x0000000000000000,
   2404   0xffffffffffffffff, 0x0000000000000000,
   2405   0xffffffffffffffff, 0x0000000000000000,
   2406   0xffffffffffffffc0, 0xfffffffffffffffd,
   2407   0xffffffffffffff80, 0xfffffffffffffffb,
   2408   0xffffffffffffff00, 0xfffffffffffffff7,
   2409   0xfffffffffffffe00, 0xffffffffffffffef,
   2410   0xfffffffffffffc00, 0xffffffffffffffdf,
   2411   0xfffffffffffff800, 0xffffffffffffffbf,
   2412   0xfffffffffffff000, 0xffffffffffffff7f,
   2413   0xffffffffffffe000, 0xfffffffffffffeff,
   2414   0xffffffffffffc000, 0xfffffffffffffdff,
   2415   0xffffffffffff8000, 0xfffffffffffffbff,
   2416   0xffffffffffff0000, 0xfffffffffffff7ff,
   2417   0xfffffffffffe0000, 0xffffffffffffefff,
   2418   0xfffffffffffc0000, 0xffffffffffffdfff,
   2419   0xfffffffffff80000, 0xffffffffffffbfff,
   2420   0xfffffffffff00000, 0xffffffffffff7fff,
   2421   0xffffffffffe00000, 0xfffffffffffeffff,
   2422   0xffffffffffc00000, 0xfffffffffffdffff,
   2423   0xffffffffff800000, 0xfffffffffffbffff,
   2424   0xffffffffff000000, 0xfffffffffff7ffff,
   2425   0xfffffffffe000000, 0xffffffffffefffff,
   2426   0xfffffffffc000000, 0xffffffffffdfffff,
   2427   0xfffffffff8000000, 0xffffffffffbfffff,
   2428   0xfffffffff0000000, 0xffffffffff7fffff,
   2429   0xffffffffe0000000, 0xfffffffffeffffff,
   2430   0xffffffffc0000000, 0xfffffffffdffffff,
   2431   0xffffffff80000000, 0xfffffffffbffffff,
   2432   0xffffffff00000000, 0xfffffffff7ffffff,
   2433   0xfffffffe00000000, 0xffffffffefffffff,
   2434   0xfffffffc00000000, 0xffffffffdfffffff,
   2435   0xfffffff800000000, 0xffffffffbfffffff,
   2436   0xfffffff000000000, 0xffffffff7fffffff,
   2437   0xffffffe000000000, 0xfffffffeffffffff,
   2438   0xffffffc000000000, 0xfffffffdffffffff,
   2439   0xffffff8000000000, 0xfffffffbffffffff,
   2440   0xffffff0000000000, 0xfffffff7ffffffff,
   2441   0xfffffe0000000000, 0xffffffefffffffff,
   2442   0xfffffc0000000000, 0xffffffdfffffffff,
   2443   0xfffff80000000000, 0xffffffbfffffffff,
   2444   0xfffff00000000000, 0xffffff7fffffffff,
   2445   0xffffe00000000000, 0xfffffeffffffffff,
   2446   0xffffc00000000000, 0xfffffdffffffffff,
   2447   0xffff800000000000, 0xfffffbffffffffff,
   2448   0xffff000000000000, 0xfffff7ffffffffff,
   2449   0xfffe000000000000, 0xffffefffffffffff,
   2450   0xfffc000000000000, 0xffffdfffffffffff,
   2451   0xfff8000000000000, 0xffffbfffffffffff,
   2452   0xfff0000000000000, 0xffff7fffffffffff,
   2453   0xffe0000000000000, 0xfffeffffffffffff,
   2454   0xffc0000000000000, 0xfffdffffffffffff,
   2455   0xff80000000000000, 0xfffbffffffffffff,
   2456   0xff00000000000000, 0xfff7ffffffffffff,
   2457   0xfe00000000000000, 0xffefffffffffffff,
   2458   0xfc00000000000000, 0xffdfffffffffffff,
   2459   0xf800000000000000, 0xffbfffffffffffff,
   2460   0xf000000000000000, 0xff7fffffffffffff,
   2461   0xe000000000000000, 0xfeffffffffffffff,
   2462   0xc000000000000000, 0xfdffffffffffffff,
   2463   0x8000000000000000, 0xfbffffffffffffff,
   2464   0x0000000000000000, 0xf7ffffffffffffff,
   2465   0x0000000000000000, 0xefffffffffffffff,
   2466   0x0000000000000000, 0xdfffffffffffffff,
   2467   0x0000000000000000, 0xbfffffffffffffff,
   2468   0x0000000000000000, 0x7fffffffffffffff,
   2469   0x0000000000000000, 0xffffffffffffffff,
   2470   0xfffffffffffffffd, 0xfffffffffffffffe,
   2471   0xfffffffffffffffb, 0xfffffffffffffffc,
   2472   0xfffffffffffffff7, 0xfffffffffffffff8,
   2473   0xffffffffffffffef, 0xfffffffffffffff0,
   2474   0xffffffffffffffdf, 0xffffffffffffffe0,
   2475   0xffffffffffffffbf, 0xffffffffffffffc0,
   2476   0xffffffffffffff7f, 0xffffffffffffff80,
   2477   0xfffffffffffffeff, 0xffffffffffffff00,
   2478   0xfffffffffffffdff, 0xfffffffffffffe00,
   2479   0xfffffffffffffbff, 0xfffffffffffffc00,
   2480   0xfffffffffffff7ff, 0xfffffffffffff800,
   2481   0xffffffffffffefff, 0xfffffffffffff000,
   2482   0xffffffffffffdfff, 0xffffffffffffe000,
   2483   0xffffffffffffbfff, 0xffffffffffffc000,
   2484   0xffffffffffff7fff, 0xffffffffffff8000,
   2485   0xfffffffffffeffff, 0xffffffffffff0000,
   2486   0xfffffffffffdffff, 0xfffffffffffe0000,
   2487   0xfffffffffffbffff, 0xfffffffffffc0000,
   2488   0xfffffffffff7ffff, 0xfffffffffff80000,
   2489   0xffffffffffefffff, 0xfffffffffff00000,
   2490   0xffffffffffdfffff, 0xffffffffffe00000,
   2491   0xffffffffffbfffff, 0xffffffffffc00000,
   2492   0xffffffffff7fffff, 0xffffffffff800000,
   2493   0xfffffffffeffffff, 0xffffffffff000000,
   2494   0xfffffffffdffffff, 0xfffffffffe000000,
   2495   0xfffffffffbffffff, 0xfffffffffc000000,
   2496   0xfffffffff7ffffff, 0xfffffffff8000000,
   2497   0xffffffffefffffff, 0xfffffffff0000000,
   2498   0xffffffffdfffffff, 0xffffffffe0000000,
   2499   0xffffffffbfffffff, 0xffffffffc0000000,
   2500   0xffffffff7fffffff, 0xffffffff80000000,
   2501   0xfffffffeffffffff, 0xffffffff00000000,
   2502   0xfffffffdffffffff, 0xfffffffe00000000,
   2503   0xfffffffbffffffff, 0xfffffffc00000000,
   2504   0xfffffff7ffffffff, 0xfffffff800000000,
   2505   0xffffffefffffffff, 0xfffffff000000000,
   2506   0xffffffdfffffffff, 0xffffffe000000000,
   2507   0xffffffbfffffffff, 0xffffffc000000000,
   2508   0xffffff7fffffffff, 0xffffff8000000000,
   2509   0xfffffeffffffffff, 0xffffff0000000000,
   2510   0xfffffdffffffffff, 0xfffffe0000000000,
   2511   0xfffffbffffffffff, 0xfffffc0000000000,
   2512   0xfffff7ffffffffff, 0xfffff80000000000,
   2513   0xffffefffffffffff, 0xfffff00000000000,
   2514   0xffffdfffffffffff, 0xffffe00000000000,
   2515   0xffffbfffffffffff, 0xffffc00000000000,
   2516   0xffff7fffffffffff, 0xffff800000000000,
   2517   0xfffeffffffffffff, 0xffff000000000000,
   2518   0xfffdffffffffffff, 0xfffe000000000000,
   2519   0xfffbffffffffffff, 0xfffc000000000000,
   2520   0xfff7ffffffffffff, 0xfff8000000000000,
   2521   0xffefffffffffffff, 0xfff0000000000000,
   2522   0xffdfffffffffffff, 0xffe0000000000000,
   2523   0xffbfffffffffffff, 0xffc0000000000000,
   2524   0xff7fffffffffffff, 0xff80000000000000,
   2525   0xfeffffffffffffff, 0xff00000000000000,
   2526   0xfdffffffffffffff, 0xfe00000000000000,
   2527   0xfbffffffffffffff, 0xfc00000000000000,
   2528   0xf7ffffffffffffff, 0xf800000000000000,
   2529   0xefffffffffffffff, 0xf000000000000000,
   2530   0xdfffffffffffffff, 0xe000000000000000,
   2531   0xbfffffffffffffff, 0xc000000000000000,
   2532   0x7fffffffffffffff, 0x8000000000000000,
   2533   0xffffffffffffffff, 0x0000000000000000,
   2534   0xfffffffffffffffe, 0xffffffffffffffff,
   2535   0xfffffffffffffffc, 0xffffffffffffffff,
   2536   0xfffffffffffffff8, 0xffffffffffffffff,
   2537   0xfffffffffffffff0, 0xffffffffffffffff,
   2538   0xffffffffffffffe0, 0xffffffffffffffff,
   2539   0xffffffffffffffc0, 0xffffffffffffffff,
   2540   0xffffffffffffff80, 0xffffffffffffffff,
   2541   0xffffffffffffff00, 0xffffffffffffffff,
   2542   0xfffffffffffffe00, 0xffffffffffffffff,
   2543   0xfffffffffffffc00, 0xffffffffffffffff,
   2544   0xfffffffffffff800, 0xffffffffffffffff,
   2545   0xfffffffffffff000, 0xffffffffffffffff,
   2546   0xffffffffffffe000, 0xffffffffffffffff,
   2547   0xffffffffffffc000, 0xffffffffffffffff,
   2548   0xffffffffffff8000, 0xffffffffffffffff,
   2549   0xffffffffffff0000, 0xffffffffffffffff,
   2550   0xfffffffffffe0000, 0xffffffffffffffff,
   2551   0xfffffffffffc0000, 0xffffffffffffffff,
   2552   0xfffffffffff80000, 0xffffffffffffffff,
   2553   0xfffffffffff00000, 0xffffffffffffffff,
   2554   0xffffffffffe00000, 0xffffffffffffffff,
   2555   0xffffffffffc00000, 0xffffffffffffffff,
   2556   0xffffffffff800000, 0xffffffffffffffff,
   2557   0xffffffffff000000, 0xffffffffffffffff,
   2558   0xfffffffffe000000, 0xffffffffffffffff,
   2559   0xfffffffffc000000, 0xffffffffffffffff,
   2560   0xfffffffff8000000, 0xffffffffffffffff,
   2561   0xfffffffff0000000, 0xffffffffffffffff,
   2562   0xffffffffe0000000, 0xffffffffffffffff,
   2563   0xffffffffc0000000, 0xffffffffffffffff,
   2564   0xffffffff80000000, 0xffffffffffffffff,
   2565   0xffffffff00000000, 0xffffffffffffffff,
   2566   0xfffffffe00000000, 0xffffffffffffffff,
   2567   0xfffffffc00000000, 0xffffffffffffffff,
   2568   0xfffffff800000000, 0xffffffffffffffff,
   2569   0xfffffff000000000, 0xffffffffffffffff,
   2570   0xffffffe000000000, 0xffffffffffffffff,
   2571   0xffffffc000000000, 0xffffffffffffffff,
   2572   0xffffff8000000000, 0xffffffffffffffff,
   2573   0xffffff0000000000, 0xffffffffffffffff,
   2574   0xfffffe0000000000, 0xffffffffffffffff,
   2575   0xfffffc0000000000, 0xffffffffffffffff,
   2576   0xfffff80000000000, 0xffffffffffffffff,
   2577   0xfffff00000000000, 0xffffffffffffffff,
   2578   0xffffe00000000000, 0xffffffffffffffff,
   2579   0xffffc00000000000, 0xffffffffffffffff,
   2580   0xffff800000000000, 0xffffffffffffffff,
   2581   0xffff000000000000, 0xffffffffffffffff,
   2582   0xfffe000000000000, 0xffffffffffffffff,
   2583   0xfffc000000000000, 0xffffffffffffffff,
   2584   0xfff8000000000000, 0xffffffffffffffff,
   2585   0xfff0000000000000, 0xffffffffffffffff,
   2586   0xffe0000000000000, 0xffffffffffffffff,
   2587   0xffc0000000000000, 0xffffffffffffffff,
   2588   0xff80000000000000, 0xffffffffffffffff,
   2589   0xff00000000000000, 0xffffffffffffffff,
   2590   0xfe00000000000000, 0xffffffffffffffff,
   2591   0xfc00000000000000, 0xffffffffffffffff,
   2592   0xf800000000000000, 0xffffffffffffffff,
   2593   0xf000000000000000, 0xffffffffffffffff,
   2594   0xe000000000000000, 0xffffffffffffffff,
   2595   0xc000000000000000, 0xffffffffffffffff,
   2596   0x8000000000000000, 0xffffffffffffffff,
   2597   0x0000000000000000, 0xffffffffffffffff,
   2598 };
   2599 const unsigned kExpectedCount_NEON_sli_2D_2OPIMM = 2560;
   2600 
   2601 #endif  // VIXL_SIM_SLI_2D_2OPIMM_TRACE_A64_H_
   2602