Home | History | Annotate | Download | only in traces 
      1 // Copyright 2015, VIXL authors
      2 // All rights reserved.
      3 //
      4 // Redistribution and use in source and binary forms, with or without
      5 // modification, are permitted provided that the following conditions are met:
      6 //
      7 //   * Redistributions of source code must retain the above copyright notice,
      8 //     this list of conditions and the following disclaimer.
      9 //   * Redistributions in binary form must reproduce the above copyright notice,
     10 //     this list of conditions and the following disclaimer in the documentation
     11 //     and/or other materials provided with the distribution.
     12 //   * Neither the name of ARM Limited nor the names of its contributors may be
     13 //     used to endorse or promote products derived from this software without
     14 //     specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
     17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
     20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
     23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     26 
     27 
     28 // ---------------------------------------------------------------------
     29 // This file is auto generated using tools/generate_simulator_traces.py.
     30 //
     31 // PLEASE DO NOT EDIT.
     32 // ---------------------------------------------------------------------
     33 
     34 #ifndef VIXL_SIM_URSHL_2D_TRACE_AARCH64_H_
     35 #define VIXL_SIM_URSHL_2D_TRACE_AARCH64_H_
     36 
     37 const uint64_t kExpected_NEON_urshl_2D[] = {
     38   0x0000000000000000, 0x0000000000000000,
     39   0x000000000000007d, 0x0000000000000000,
     40   0x00000000000000fa, 0x0000000000000000,
     41   0x00000000000001f4, 0x0000000000000000,
     42   0x0000000000000000, 0x0000000000000000,
     43   0x0000000000000000, 0x0000000000000000,
     44   0x0000000000000000, 0x0000000000000000,
     45   0x0000000000000000, 0x0000000000000000,
     46   0x0000000000000010, 0x0000000000000000,
     47   0x000000000000001f, 0x0000000000000000,
     48   0x000000000000003f, 0x0000000000000000,
     49   0x0000000000000010, 0x0000000000000000,
     50   0x000000000000001f, 0x0000000000000000,
     51   0x000000000000003f, 0x0000000000000000,
     52   0x03e8000000000000, 0x0000000000000000,
     53   0x0000000000000000, 0x0000000000000000,
     54   0x0000000000000010, 0x0000000000000000,
     55   0x000000000000001f, 0x0000000000000000,
     56   0x000000000000003f, 0x0000000000000000,
     57   0x000000000000007d, 0x0000000000000000,
     58   0x00000000000000fa, 0x0000000000000000,
     59   0x00000000000001f4, 0x0000000000000000,
     60   0x00000000000003e8, 0x0000000000000000,
     61   0x0000000000000000, 0x0000000000000000,
     62   0x0000000000000000, 0x0000000000000000,
     63   0x000000000000007d, 0x0000000000000000,
     64   0x00000000000000fa, 0x0000000000000000,
     65   0x00000000000001f4, 0x0000000000000000,
     66   0x00000000000003e8, 0x0000000000000000,
     67   0x000000000000007d, 0x0000000000000000,
     68   0x00000000000000fa, 0x0000000000000000,
     69   0x00000000000001f4, 0x0000000000000000,
     70   0x00000000000003e8, 0x0000000000000000,
     71   0x0000000000000000, 0x0000000000000000,
     72   0x0000000000000000, 0x0000000000000000,
     73   0x0000000000000000, 0x0000000000000000,
     74   0x0000000000000000, 0x0000000000000000,
     75   0x0000000000000000, 0x0000000000000000,
     76   0x0000000000000010, 0x0000000000000000,
     77   0x000000000000001f, 0x0000000000000000,
     78   0x0000000000000000, 0x0000000000000001,
     79   0x0000000000000000, 0x0000000000000002,
     80   0x0000000000000000, 0x0000000000000004,
     81   0x0000000000000000, 0x0000000000000000,
     82   0x0000000000000000, 0x0000000000000000,
     83   0x0000000000000000, 0x0000000000000000,
     84   0x0000000000000000, 0x0000000000000000,
     85   0x0000000000000000, 0x0000000000000000,
     86   0x0000000000000000, 0x0000000000000000,
     87   0x0000000000000000, 0x0000000000000001,
     88   0x0000000000000000, 0x0000000000000000,
     89   0x0000000000000000, 0x0000000000000000,
     90   0x0000000000000000, 0x0000000000000001,
     91   0x0000000000000000, 0x0008000000000000,
     92   0x0000000000000000, 0x0000000000000000,
     93   0x0000000000000000, 0x0000000000000000,
     94   0x0000000000000000, 0x0000000000000000,
     95   0x0000000000000000, 0x0000000000000001,
     96   0x0000000000000000, 0x0000000000000001,
     97   0x0000000000000000, 0x0000000000000002,
     98   0x0000000000000000, 0x0000000000000004,
     99   0x0000000000000000, 0x0000000000000008,
    100   0x0000000000000000, 0x0000000000000000,
    101   0x0000000000000000, 0x0000000000000000,
    102   0x0000000000000000, 0x0000000000000001,
    103   0x0000000000000000, 0x0000000000000002,
    104   0x0000000000000000, 0x0000000000000004,
    105   0x0000000000000000, 0x0000000000000008,
    106   0x0000000000000000, 0x0000000000000001,
    107   0x0000000000000000, 0x0000000000000002,
    108   0x0000000000000000, 0x0000000000000004,
    109   0x0000000000000000, 0x0000000000000008,
    110   0x0000000000000000, 0x0000000000000000,
    111   0x0000000000000000, 0x0000000000000000,
    112   0x0000000000000000, 0x0000000000000000,
    113   0x0000000000000000, 0x0000000000000000,
    114   0x0000000000000000, 0x0000000000000000,
    115   0x0000000000000000, 0x0000000000000000,
    116   0x0000000000000000, 0x0000000000000000,
    117   0x0000000000000000, 0x0000000000000001,
    118   0x0000000000000001, 0x0000000000000002,
    119   0x0000000000000001, 0x0000000000000004,
    120   0x0000000000000002, 0x0000000000000008,
    121   0x0000000000000004, 0x0000000000000000,
    122   0x0000000000000000, 0x0000000000000000,
    123   0x0000000000000000, 0x0000000000000000,
    124   0x0000000000000000, 0x0000000000000000,
    125   0x0000000000000000, 0x0000000000000000,
    126   0x0000000000000000, 0x0000000000000001,
    127   0x0000000000000000, 0x0000000000000001,
    128   0x0000000000000001, 0x0000000000000000,
    129   0x0000000000000000, 0x0000000000000001,
    130   0x0000000000000000, 0x0000000000000001,
    131   0x0000000000000001, 0x0010000000000000,
    132   0x0008000000000000, 0x0000000000000000,
    133   0x0000000000000000, 0x0000000000000000,
    134   0x0000000000000000, 0x0000000000000001,
    135   0x0000000000000000, 0x0000000000000001,
    136   0x0000000000000001, 0x0000000000000002,
    137   0x0000000000000001, 0x0000000000000004,
    138   0x0000000000000002, 0x0000000000000008,
    139   0x0000000000000004, 0x0000000000000010,
    140   0x0000000000000008, 0x0000000000000000,
    141   0x0000000000000000, 0x0000000000000000,
    142   0x0000000000000000, 0x0000000000000002,
    143   0x0000000000000001, 0x0000000000000004,
    144   0x0000000000000002, 0x0000000000000008,
    145   0x0000000000000004, 0x0000000000000010,
    146   0x0000000000000008, 0x0000000000000002,
    147   0x0000000000000001, 0x0000000000000004,
    148   0x0000000000000002, 0x0000000000000008,
    149   0x0000000000000004, 0x0000000000000010,
    150   0x0000000000000008, 0x0000000000000000,
    151   0x0000000000000000, 0x0000000000000000,
    152   0x0000000000000000, 0x0000000000000000,
    153   0x0000000000000000, 0x0000000000000000,
    154   0x0000000000000000, 0x0000000000000000,
    155   0x0000000000000000, 0x0000000000000000,
    156   0x0000000000000000, 0x0000000000000001,
    157   0x0000000000000000, 0x0000000000000001,
    158   0x0000000000000001, 0x0000000000000040,
    159   0x0000000000000002, 0x0000000000000080,
    160   0x0000000000000004, 0x0000000000000100,
    161   0x0000000000000008, 0x0000000000000000,
    162   0x0000000000000000, 0x0000000000000000,
    163   0x0000000000000000, 0x0000000000000000,
    164   0x0000000000000000, 0x0000000000000000,
    165   0x0000000000000000, 0x0000000000000008,
    166   0x0000000000000000, 0x0000000000000010,
    167   0x0000000000000001, 0x0000000000000020,
    168   0x0000000000000001, 0x0000000000000008,
    169   0x0000000000000000, 0x0000000000000010,
    170   0x0000000000000001, 0x0000000000000020,
    171   0x0000000000000001, 0x0200000000000000,
    172   0x0010000000000000, 0x0000000000000000,
    173   0x0000000000000000, 0x0000000000000008,
    174   0x0000000000000000, 0x0000000000000010,
    175   0x0000000000000001, 0x0000000000000020,
    176   0x0000000000000001, 0x0000000000000040,
    177   0x0000000000000002, 0x0000000000000080,
    178   0x0000000000000004, 0x0000000000000100,
    179   0x0000000000000008, 0x0000000000000200,
    180   0x0000000000000010, 0x0000000000000000,
    181   0x0000000000000000, 0x0000000000000000,
    182   0x0000000000000000, 0x0000000000000040,
    183   0x0000000000000002, 0x0000000000000080,
    184   0x0000000000000004, 0x0000000000000100,
    185   0x0000000000000008, 0x0000000000000200,
    186   0x0000000000000010, 0x0000000000000040,
    187   0x0000000000000002, 0x0000000000000080,
    188   0x0000000000000004, 0x0000000000000100,
    189   0x0000000000000008, 0x0000000000000200,
    190   0x0000000000000010, 0x0000000000000000,
    191   0x0000000000000000, 0x0000000000000000,
    192   0x0000000000000000, 0x0000000000000000,
    193   0x0000000000000000, 0x0000000000000000,
    194   0x0000000000000000, 0x0000000000000000,
    195   0x0000000000000000, 0x0000000000000008,
    196   0x0000000000000000, 0x0000000000000010,
    197   0x0000000000000001, 0x0000000000000020,
    198   0x0000000000000020, 0x000000000000007d,
    199   0x0000000000000040, 0x00000000000000fa,
    200   0x0000000000000080, 0x00000000000001f4,
    201   0x0000000000000100, 0x0000000000000000,
    202   0x0000000000000000, 0x0000000000000000,
    203   0x0000000000000000, 0x0000000000000000,
    204   0x0000000000000000, 0x0000000000000000,
    205   0x0000000000000000, 0x0000000000000010,
    206   0x0000000000000008, 0x000000000000001f,
    207   0x0000000000000010, 0x000000000000003f,
    208   0x0000000000000020, 0x0000000000000010,
    209   0x0000000000000008, 0x000000000000001f,
    210   0x0000000000000010, 0x000000000000003f,
    211   0x0000000000000020, 0x03e8000000000000,
    212   0x0200000000000000, 0x0000000000000000,
    213   0x0000000000000000, 0x0000000000000010,
    214   0x0000000000000008, 0x000000000000001f,
    215   0x0000000000000010, 0x000000000000003f,
    216   0x0000000000000020, 0x000000000000007d,
    217   0x0000000000000040, 0x00000000000000fa,
    218   0x0000000000000080, 0x00000000000001f4,
    219   0x0000000000000100, 0x00000000000003e8,
    220   0x0000000000000200, 0x0000000000000000,
    221   0x0000000000000000, 0x0000000000000000,
    222   0x0000000000000000, 0x000000000000007d,
    223   0x0000000000000040, 0x00000000000000fa,
    224   0x0000000000000080, 0x00000000000001f4,
    225   0x0000000000000100, 0x00000000000003e8,
    226   0x0000000000000200, 0x000000000000007d,
    227   0x0000000000000040, 0x00000000000000fa,
    228   0x0000000000000080, 0x00000000000001f4,
    229   0x0000000000000100, 0x00000000000003e8,
    230   0x0000000000000200, 0x0000000000000000,
    231   0x0000000000000000, 0x0000000000000000,
    232   0x0000000000000000, 0x0000000000000000,
    233   0x0000000000000000, 0x0000000000000000,
    234   0x0000000000000000, 0x0000000000000000,
    235   0x0000000000000000, 0x0000000000000010,
    236   0x0000000000000008, 0x000000000000001f,
    237   0x0000000000000010, 0x000000000000003f,
    238   0x000000000000003f, 0x000000000000007e,
    239   0x000000000000007d, 0x00000000000000fc,
    240   0x00000000000000fa, 0x00000000000001f8,
    241   0x00000000000001f4, 0x0000000000000000,
    242   0x0000000000000000, 0x0000000000000000,
    243   0x0000000000000000, 0x0000000000000000,
    244   0x0000000000000000, 0x0000000000000000,
    245   0x0000000000000000, 0x0000000000000010,
    246   0x0000000000000010, 0x0000000000000020,
    247   0x000000000000001f, 0x000000000000003f,
    248   0x000000000000003f, 0x0000000000000010,
    249   0x0000000000000010, 0x0000000000000020,
    250   0x000000000000001f, 0x000000000000003f,
    251   0x000000000000003f, 0x03f0000000000000,
    252   0x03e8000000000000, 0x0000000000000000,
    253   0x0000000000000000, 0x0000000000000010,
    254   0x0000000000000010, 0x0000000000000020,
    255   0x000000000000001f, 0x000000000000003f,
    256   0x000000000000003f, 0x000000000000007e,
    257   0x000000000000007d, 0x00000000000000fc,
    258   0x00000000000000fa, 0x00000000000001f8,
    259   0x00000000000001f4, 0x00000000000003f0,
    260   0x00000000000003e8, 0x0000000000000000,
    261   0x0000000000000000, 0x0000000000000000,
    262   0x0000000000000000, 0x000000000000007e,
    263   0x000000000000007d, 0x00000000000000fc,
    264   0x00000000000000fa, 0x00000000000001f8,
    265   0x00000000000001f4, 0x00000000000003f0,
    266   0x00000000000003e8, 0x000000000000007e,
    267   0x000000000000007d, 0x00000000000000fc,
    268   0x00000000000000fa, 0x00000000000001f8,
    269   0x00000000000001f4, 0x00000000000003f0,
    270   0x00000000000003e8, 0x0000000000000000,
    271   0x0000000000000000, 0x0000000000000000,
    272   0x0000000000000000, 0x0000000000000000,
    273   0x0000000000000000, 0x0000000000000000,
    274   0x0000000000000000, 0x0000000000000000,
    275   0x0000000000000000, 0x0000000000000010,
    276   0x0000000000000010, 0x0000000000000020,
    277   0x000000000000001f, 0x000000000000003f,
    278   0x000000000000003f, 0x000000000000007f,
    279   0x000000000000007e, 0x00000000000000fe,
    280   0x00000000000000fc, 0x00000000000001fc,
    281   0x00000000000001f8, 0x0000000000000000,
    282   0x0000000000000000, 0x0000000000000000,
    283   0x0000000000000000, 0x0000000000000000,
    284   0x0000000000000000, 0x0000000000000000,
    285   0x0000000000000000, 0x0000000000000010,
    286   0x0000000000000010, 0x0000000000000020,
    287   0x0000000000000020, 0x0000000000000040,
    288   0x000000000000003f, 0x0000000000000010,
    289   0x0000000000000010, 0x0000000000000020,
    290   0x0000000000000020, 0x0000000000000040,
    291   0x000000000000003f, 0x03f8000000000000,
    292   0x03f0000000000000, 0x0000000000000000,
    293   0x0000000000000000, 0x0000000000000010,
    294   0x0000000000000010, 0x0000000000000020,
    295   0x0000000000000020, 0x0000000000000040,
    296   0x000000000000003f, 0x000000000000007f,
    297   0x000000000000007e, 0x00000000000000fe,
    298   0x00000000000000fc, 0x00000000000001fc,
    299   0x00000000000001f8, 0x00000000000003f8,
    300   0x00000000000003f0, 0x0000000000000000,
    301   0x0000000000000000, 0x0000000000000000,
    302   0x0000000000000000, 0x000000000000007f,
    303   0x000000000000007e, 0x00000000000000fe,
    304   0x00000000000000fc, 0x00000000000001fc,
    305   0x00000000000001f8, 0x00000000000003f8,
    306   0x00000000000003f0, 0x000000000000007f,
    307   0x000000000000007e, 0x00000000000000fe,
    308   0x00000000000000fc, 0x00000000000001fc,
    309   0x00000000000001f8, 0x00000000000003f8,
    310   0x00000000000003f0, 0x0000000000000000,
    311   0x0000000000000000, 0x0000000000000000,
    312   0x0000000000000000, 0x0000000000000000,
    313   0x0000000000000000, 0x0000000000000000,
    314   0x0000000000000000, 0x0000000000000000,
    315   0x0000000000000000, 0x0000000000000010,
    316   0x0000000000000010, 0x0000000000000020,
    317   0x0000000000000020, 0x0000000000000040,
    318   0x0000000000000040, 0x0000000000007ffd,
    319   0x000000000000007f, 0x000000000000fffa,
    320   0x00000000000000fe, 0x000000000001fff4,
    321   0x00000000000001fc, 0x0000000000000000,
    322   0x0000000000000000, 0x0000000000000000,
    323   0x0000000000000000, 0x0000000000000000,
    324   0x0000000000000000, 0x0000000000000000,
    325   0x0000000000000000, 0x0000000000001000,
    326   0x0000000000000010, 0x0000000000001fff,
    327   0x0000000000000020, 0x0000000000003fff,
    328   0x0000000000000040, 0x0000000000001000,
    329   0x0000000000000010, 0x0000000000001fff,
    330   0x0000000000000020, 0x0000000000003fff,
    331   0x0000000000000040, 0xffe8000000000000,
    332   0x03f8000000000000, 0x0000000000000000,
    333   0x0000000000000000, 0x0000000000001000,
    334   0x0000000000000010, 0x0000000000001fff,
    335   0x0000000000000020, 0x0000000000003fff,
    336   0x0000000000000040, 0x0000000000007ffd,
    337   0x000000000000007f, 0x000000000000fffa,
    338   0x00000000000000fe, 0x000000000001fff4,
    339   0x00000000000001fc, 0x000000000003ffe8,
    340   0x00000000000003f8, 0x0000000000000000,
    341   0x0000000000000000, 0x0000000000000000,
    342   0x0000000000000000, 0x0000000000007ffd,
    343   0x000000000000007f, 0x000000000000fffa,
    344   0x00000000000000fe, 0x000000000001fff4,
    345   0x00000000000001fc, 0x000000000003ffe8,
    346   0x00000000000003f8, 0x0000000000007ffd,
    347   0x000000000000007f, 0x000000000000fffa,
    348   0x00000000000000fe, 0x000000000001fff4,
    349   0x00000000000001fc, 0x000000000003ffe8,
    350   0x00000000000003f8, 0x0000000000000000,
    351   0x0000000000000000, 0x0000000000000000,
    352   0x0000000000000000, 0x0000000000000000,
    353   0x0000000000000000, 0x0000000000000000,
    354   0x0000000000000000, 0x0000000000000000,
    355   0x0000000000000000, 0x0000000000001000,
    356   0x0000000000000010, 0x0000000000001fff,
    357   0x0000000000000020, 0x0000000000003fff,
    358   0x0000000000003fff, 0x0000000000007ffe,
    359   0x0000000000007ffd, 0x000000000000fffc,
    360   0x000000000000fffa, 0x000000000001fff8,
    361   0x000000000001fff4, 0x0000000000000000,
    362   0x0000000000000000, 0x0000000000000000,
    363   0x0000000000000000, 0x0000000000000000,
    364   0x0000000000000000, 0x0000000000000000,
    365   0x0000000000000000, 0x0000000000001000,
    366   0x0000000000001000, 0x0000000000002000,
    367   0x0000000000001fff, 0x0000000000003fff,
    368   0x0000000000003fff, 0x0000000000001000,
    369   0x0000000000001000, 0x0000000000002000,
    370   0x0000000000001fff, 0x0000000000003fff,
    371   0x0000000000003fff, 0xfff0000000000000,
    372   0xffe8000000000000, 0x0000000000000000,
    373   0x0000000000000000, 0x0000000000001000,
    374   0x0000000000001000, 0x0000000000002000,
    375   0x0000000000001fff, 0x0000000000003fff,
    376   0x0000000000003fff, 0x0000000000007ffe,
    377   0x0000000000007ffd, 0x000000000000fffc,
    378   0x000000000000fffa, 0x000000000001fff8,
    379   0x000000000001fff4, 0x000000000003fff0,
    380   0x000000000003ffe8, 0x0000000000000000,
    381   0x0000000000000000, 0x0000000000000000,
    382   0x0000000000000000, 0x0000000000007ffe,
    383   0x0000000000007ffd, 0x000000000000fffc,
    384   0x000000000000fffa, 0x000000000001fff8,
    385   0x000000000001fff4, 0x000000000003fff0,
    386   0x000000000003ffe8, 0x0000000000007ffe,
    387   0x0000000000007ffd, 0x000000000000fffc,
    388   0x000000000000fffa, 0x000000000001fff8,
    389   0x000000000001fff4, 0x000000000003fff0,
    390   0x000000000003ffe8, 0x0000000000000000,
    391   0x0000000000000000, 0x0000000000000000,
    392   0x0000000000000000, 0x0000000000000000,
    393   0x0000000000000000, 0x0000000000000000,
    394   0x0000000000000000, 0x0000000000000000,
    395   0x0000000000000000, 0x0000000000001000,
    396   0x0000000000001000, 0x0000000000002000,
    397   0x0000000000001fff, 0x0000000000003fff,
    398   0x0000000000003fff, 0x0000000000007fff,
    399   0x0000000000007ffe, 0x000000000000fffe,
    400   0x000000000000fffc, 0x000000000001fffc,
    401   0x000000000001fff8, 0x0000000000000000,
    402   0x0000000000000000, 0x0000000000000000,
    403   0x0000000000000000, 0x0000000000000000,
    404   0x0000000000000000, 0x0000000000000000,
    405   0x0000000000000000, 0x0000000000001000,
    406   0x0000000000001000, 0x0000000000002000,
    407   0x0000000000002000, 0x0000000000004000,
    408   0x0000000000003fff, 0x0000000000001000,
    409   0x0000000000001000, 0x0000000000002000,
    410   0x0000000000002000, 0x0000000000004000,
    411   0x0000000000003fff, 0xfff8000000000000,
    412   0xfff0000000000000, 0x0000000000000000,
    413   0x0000000000000000, 0x0000000000001000,
    414   0x0000000000001000, 0x0000000000002000,
    415   0x0000000000002000, 0x0000000000004000,
    416   0x0000000000003fff, 0x0000000000007fff,
    417   0x0000000000007ffe, 0x000000000000fffe,
    418   0x000000000000fffc, 0x000000000001fffc,
    419   0x000000000001fff8, 0x000000000003fff8,
    420   0x000000000003fff0, 0x0000000000000000,
    421   0x0000000000000000, 0x0000000000000000,
    422   0x0000000000000000, 0x0000000000007fff,
    423   0x0000000000007ffe, 0x000000000000fffe,
    424   0x000000000000fffc, 0x000000000001fffc,
    425   0x000000000001fff8, 0x000000000003fff8,
    426   0x000000000003fff0, 0x0000000000007fff,
    427   0x0000000000007ffe, 0x000000000000fffe,
    428   0x000000000000fffc, 0x000000000001fffc,
    429   0x000000000001fff8, 0x000000000003fff8,
    430   0x000000000003fff0, 0x0000000000000000,
    431   0x0000000000000000, 0x0000000000000000,
    432   0x0000000000000000, 0x0000000000000000,
    433   0x0000000000000000, 0x0000000000000000,
    434   0x0000000000000000, 0x0000000000000000,
    435   0x0000000000000000, 0x0000000000001000,
    436   0x0000000000001000, 0x0000000000002000,
    437   0x0000000000002000, 0x0000000000004000,
    438   0x0000000000004000, 0x000000007ffffffd,
    439   0x0000000000007fff, 0x00000000fffffffa,
    440   0x000000000000fffe, 0x00000001fffffff4,
    441   0x000000000001fffc, 0x0000000000000000,
    442   0x0000000000000000, 0x0000000000000000,
    443   0x0000000000000000, 0x0000000000000000,
    444   0x0000000000000000, 0x0000000000000000,
    445   0x0000000000000000, 0x0000000010000000,
    446   0x0000000000001000, 0x000000001fffffff,
    447   0x0000000000002000, 0x000000003fffffff,
    448   0x0000000000004000, 0x0000000010000000,
    449   0x0000000000001000, 0x000000001fffffff,
    450   0x0000000000002000, 0x000000003fffffff,
    451   0x0000000000004000, 0xffe8000000000000,
    452   0xfff8000000000000, 0x0000000000000000,
    453   0x0000000000000000, 0x0000000010000000,
    454   0x0000000000001000, 0x000000001fffffff,
    455   0x0000000000002000, 0x000000003fffffff,
    456   0x0000000000004000, 0x000000007ffffffd,
    457   0x0000000000007fff, 0x00000000fffffffa,
    458   0x000000000000fffe, 0x00000001fffffff4,
    459   0x000000000001fffc, 0x00000003ffffffe8,
    460   0x000000000003fff8, 0x0000000000000000,
    461   0x0000000000000000, 0x0000000000000000,
    462   0x0000000000000000, 0x000000007ffffffd,
    463   0x0000000000007fff, 0x00000000fffffffa,
    464   0x000000000000fffe, 0x00000001fffffff4,
    465   0x000000000001fffc, 0x00000003ffffffe8,
    466   0x000000000003fff8, 0x000000007ffffffd,
    467   0x0000000000007fff, 0x00000000fffffffa,
    468   0x000000000000fffe, 0x00000001fffffff4,
    469   0x000000000001fffc, 0x00000003ffffffe8,
    470   0x000000000003fff8, 0x0000000000000000,
    471   0x0000000000000000, 0x0000000000000000,
    472   0x0000000000000000, 0x0000000000000000,
    473   0x0000000000000000, 0x0000000000000000,
    474   0x0000000000000000, 0x0000000000000000,
    475   0x0000000000000000, 0x0000000010000000,
    476   0x0000000000001000, 0x000000001fffffff,
    477   0x0000000000002000, 0x000000003fffffff,
    478   0x000000003fffffff, 0x000000007ffffffe,
    479   0x000000007ffffffd, 0x00000000fffffffc,
    480   0x00000000fffffffa, 0x00000001fffffff8,
    481   0x00000001fffffff4, 0x0000000000000000,
    482   0x0000000000000000, 0x0000000000000000,
    483   0x0000000000000000, 0x0000000000000000,
    484   0x0000000000000000, 0x0000000000000000,
    485   0x0000000000000000, 0x0000000010000000,
    486   0x0000000010000000, 0x0000000020000000,
    487   0x000000001fffffff, 0x000000003fffffff,
    488   0x000000003fffffff, 0x0000000010000000,
    489   0x0000000010000000, 0x0000000020000000,
    490   0x000000001fffffff, 0x000000003fffffff,
    491   0x000000003fffffff, 0xfff0000000000000,
    492   0xffe8000000000000, 0x0000000000000000,
    493   0x0000000000000000, 0x0000000010000000,
    494   0x0000000010000000, 0x0000000020000000,
    495   0x000000001fffffff, 0x000000003fffffff,
    496   0x000000003fffffff, 0x000000007ffffffe,
    497   0x000000007ffffffd, 0x00000000fffffffc,
    498   0x00000000fffffffa, 0x00000001fffffff8,
    499   0x00000001fffffff4, 0x00000003fffffff0,
    500   0x00000003ffffffe8, 0x0000000000000000,
    501   0x0000000000000000, 0x0000000000000000,
    502   0x0000000000000000, 0x000000007ffffffe,
    503   0x000000007ffffffd, 0x00000000fffffffc,
    504   0x00000000fffffffa, 0x00000001fffffff8,
    505   0x00000001fffffff4, 0x00000003fffffff0,
    506   0x00000003ffffffe8, 0x000000007ffffffe,
    507   0x000000007ffffffd, 0x00000000fffffffc,
    508   0x00000000fffffffa, 0x00000001fffffff8,
    509   0x00000001fffffff4, 0x00000003fffffff0,
    510   0x00000003ffffffe8, 0x0000000000000000,
    511   0x0000000000000000, 0x0000000000000000,
    512   0x0000000000000000, 0x0000000000000000,
    513   0x0000000000000000, 0x0000000000000000,
    514   0x0000000000000000, 0x0000000000000000,
    515   0x0000000000000000, 0x0000000010000000,
    516   0x0000000010000000, 0x0000000020000000,
    517   0x000000001fffffff, 0x000000003fffffff,
    518   0x000000003fffffff, 0x000000007fffffff,
    519   0x000000007ffffffe, 0x00000000fffffffe,
    520   0x00000000fffffffc, 0x00000001fffffffc,
    521   0x00000001fffffff8, 0x0000000000000000,
    522   0x0000000000000000, 0x0000000000000000,
    523   0x0000000000000000, 0x0000000000000000,
    524   0x0000000000000000, 0x0000000000000000,
    525   0x0000000000000000, 0x0000000010000000,
    526   0x0000000010000000, 0x0000000020000000,
    527   0x0000000020000000, 0x0000000040000000,
    528   0x000000003fffffff, 0x0000000010000000,
    529   0x0000000010000000, 0x0000000020000000,
    530   0x0000000020000000, 0x0000000040000000,
    531   0x000000003fffffff, 0xfff8000000000000,
    532   0xfff0000000000000, 0x0000000000000000,
    533   0x0000000000000000, 0x0000000010000000,
    534   0x0000000010000000, 0x0000000020000000,
    535   0x0000000020000000, 0x0000000040000000,
    536   0x000000003fffffff, 0x000000007fffffff,
    537   0x000000007ffffffe, 0x00000000fffffffe,
    538   0x00000000fffffffc, 0x00000001fffffffc,
    539   0x00000001fffffff8, 0x00000003fffffff8,
    540   0x00000003fffffff0, 0x0000000000000000,
    541   0x0000000000000000, 0x0000000000000000,
    542   0x0000000000000000, 0x000000007fffffff,
    543   0x000000007ffffffe, 0x00000000fffffffe,
    544   0x00000000fffffffc, 0x00000001fffffffc,
    545   0x00000001fffffff8, 0x00000003fffffff8,
    546   0x00000003fffffff0, 0x000000007fffffff,
    547   0x000000007ffffffe, 0x00000000fffffffe,
    548   0x00000000fffffffc, 0x00000001fffffffc,
    549   0x00000001fffffff8, 0x00000003fffffff8,
    550   0x00000003fffffff0, 0x0000000000000000,
    551   0x0000000000000000, 0x0000000000000000,
    552   0x0000000000000000, 0x0000000000000000,
    553   0x0000000000000000, 0x0000000000000000,
    554   0x0000000000000000, 0x0000000000000000,
    555   0x0000000000000000, 0x0000000010000000,
    556   0x0000000010000000, 0x0000000020000000,
    557   0x0000000020000000, 0x0000000040000000,
    558   0x0000000040000000, 0x3333333333333333,
    559   0x000000007fffffff, 0x6666666666666666,
    560   0x00000000fffffffe, 0xcccccccccccccccc,
    561   0x00000001fffffffc, 0x0000000000000000,
    562   0x0000000000000000, 0x0000000000000000,
    563   0x0000000000000000, 0x0000000000000000,
    564   0x0000000000000000, 0x0000000000000000,
    565   0x0000000000000000, 0x0666666666666666,
    566   0x0000000010000000, 0x0ccccccccccccccd,
    567   0x0000000020000000, 0x199999999999999a,
    568   0x0000000040000000, 0x0666666666666666,
    569   0x0000000010000000, 0x0ccccccccccccccd,
    570   0x0000000020000000, 0x199999999999999a,
    571   0x0000000040000000, 0x9998000000000000,
    572   0xfff8000000000000, 0x0000000000000000,
    573   0x0000000000000000, 0x0666666666666666,
    574   0x0000000010000000, 0x0ccccccccccccccd,
    575   0x0000000020000000, 0x199999999999999a,
    576   0x0000000040000000, 0x3333333333333333,
    577   0x000000007fffffff, 0x6666666666666666,
    578   0x00000000fffffffe, 0xcccccccccccccccc,
    579   0x00000001fffffffc, 0x9999999999999998,
    580   0x00000003fffffff8, 0x0000000000000000,
    581   0x0000000000000000, 0x0000000000000333,
    582   0x0000000000000000, 0x3333333333333333,
    583   0x000000007fffffff, 0x6666666666666666,
    584   0x00000000fffffffe, 0xcccccccccccccccc,
    585   0x00000001fffffffc, 0x9999999999999998,
    586   0x00000003fffffff8, 0x3333333333333333,
    587   0x000000007fffffff, 0x6666666666666666,
    588   0x00000000fffffffe, 0xcccccccccccccccc,
    589   0x00000001fffffffc, 0x9999999999999998,
    590   0x00000003fffffff8, 0x0000000000000000,
    591   0x0000000000000000, 0x0000000000000000,
    592   0x0000000000000000, 0x0000000000000000,
    593   0x0000000000000000, 0x0000000000000000,
    594   0x0000000000000000, 0x0000000000000000,
    595   0x0000000000000000, 0x0666666666666666,
    596   0x0000000010000000, 0x0ccccccccccccccd,
    597   0x0000000020000000, 0x199999999999999a,
    598   0x199999999999999a, 0x5555555555555555,
    599   0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
    600   0x6666666666666666, 0x5555555555555554,
    601   0xcccccccccccccccc, 0x0000000000000000,
    602   0x0000000000000000, 0x0000000000000000,
    603   0x0000000000000000, 0x0000000000000000,
    604   0x0000000000000000, 0x0000000000000000,
    605   0x0000000000000000, 0x0aaaaaaaaaaaaaab,
    606   0x0666666666666666, 0x1555555555555555,
    607   0x0ccccccccccccccd, 0x2aaaaaaaaaaaaaab,
    608   0x199999999999999a, 0x0aaaaaaaaaaaaaab,
    609   0x0666666666666666, 0x1555555555555555,
    610   0x0ccccccccccccccd, 0x2aaaaaaaaaaaaaab,
    611   0x199999999999999a, 0xaaa8000000000000,
    612   0x9998000000000000, 0x0000000000000000,
    613   0x0000000000000000, 0x0aaaaaaaaaaaaaab,
    614   0x0666666666666666, 0x1555555555555555,
    615   0x0ccccccccccccccd, 0x2aaaaaaaaaaaaaab,
    616   0x199999999999999a, 0x5555555555555555,
    617   0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
    618   0x6666666666666666, 0x5555555555555554,
    619   0xcccccccccccccccc, 0xaaaaaaaaaaaaaaa8,
    620   0x9999999999999998, 0x0000000000000000,
    621   0x0000000000000000, 0x0000000000000555,
    622   0x0000000000000333, 0x5555555555555555,
    623   0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
    624   0x6666666666666666, 0x5555555555555554,
    625   0xcccccccccccccccc, 0xaaaaaaaaaaaaaaa8,
    626   0x9999999999999998, 0x5555555555555555,
    627   0x3333333333333333, 0xaaaaaaaaaaaaaaaa,
    628   0x6666666666666666, 0x5555555555555554,
    629   0xcccccccccccccccc, 0xaaaaaaaaaaaaaaa8,
    630   0x9999999999999998, 0x0000000000000000,
    631   0x0000000000000000, 0x0000000000000000,
    632   0x0000000000000000, 0x0000000000000000,
    633   0x0000000000000000, 0x0000000000000000,
    634   0x0000000000000000, 0x0000000000000000,
    635   0x0000000000000000, 0x0aaaaaaaaaaaaaab,
    636   0x0666666666666666, 0x1555555555555555,
    637   0x0ccccccccccccccd, 0x2aaaaaaaaaaaaaab,
    638   0x2aaaaaaaaaaaaaab, 0x7ffffffffffffffd,
    639   0x5555555555555555, 0xfffffffffffffffa,
    640   0xaaaaaaaaaaaaaaaa, 0xfffffffffffffff4,
    641   0x5555555555555554, 0x0000000000000000,
    642   0x0000000000000000, 0x0000000000000000,
    643   0x0000000000000000, 0x0000000000000000,
    644   0x0000000000000000, 0x0000000000000000,
    645   0x0000000000000000, 0x1000000000000000,
    646   0x0aaaaaaaaaaaaaab, 0x1fffffffffffffff,
    647   0x1555555555555555, 0x3fffffffffffffff,
    648   0x2aaaaaaaaaaaaaab, 0x1000000000000000,
    649   0x0aaaaaaaaaaaaaab, 0x1fffffffffffffff,
    650   0x1555555555555555, 0x3fffffffffffffff,
    651   0x2aaaaaaaaaaaaaab, 0xffe8000000000000,
    652   0xaaa8000000000000, 0x0000000000000000,
    653   0x0000000000000000, 0x1000000000000000,
    654   0x0aaaaaaaaaaaaaab, 0x1fffffffffffffff,
    655   0x1555555555555555, 0x3fffffffffffffff,
    656   0x2aaaaaaaaaaaaaab, 0x7ffffffffffffffd,
    657   0x5555555555555555, 0xfffffffffffffffa,
    658   0xaaaaaaaaaaaaaaaa, 0xfffffffffffffff4,
    659   0x5555555555555554, 0xffffffffffffffe8,
    660   0xaaaaaaaaaaaaaaa8, 0x0000000000000000,
    661   0x0000000000000000, 0x0000000000000800,
    662   0x0000000000000555, 0x7ffffffffffffffd,
    663   0x5555555555555555, 0xfffffffffffffffa,
    664   0xaaaaaaaaaaaaaaaa, 0xfffffffffffffff4,
    665   0x5555555555555554, 0xffffffffffffffe8,
    666   0xaaaaaaaaaaaaaaa8, 0x7ffffffffffffffd,
    667   0x5555555555555555, 0xfffffffffffffffa,
    668   0xaaaaaaaaaaaaaaaa, 0xfffffffffffffff4,
    669   0x5555555555555554, 0xffffffffffffffe8,
    670   0xaaaaaaaaaaaaaaa8, 0x0000000000000000,
    671   0x0000000000000000, 0x0000000000000000,
    672   0x0000000000000000, 0x0000000000000000,
    673   0x0000000000000000, 0x0000000000000000,
    674   0x0000000000000000, 0x0000000000000000,
    675   0x0000000000000000, 0x1000000000000000,
    676   0x0aaaaaaaaaaaaaab, 0x1fffffffffffffff,
    677   0x1555555555555555, 0x3fffffffffffffff,
    678   0x3fffffffffffffff, 0x7ffffffffffffffe,
    679   0x7ffffffffffffffd, 0xfffffffffffffffc,
    680   0xfffffffffffffffa, 0xfffffffffffffff8,
    681   0xfffffffffffffff4, 0x0000000000000000,
    682   0x0000000000000000, 0x0000000000000000,
    683   0x0000000000000000, 0x0000000000000000,
    684   0x0000000000000000, 0x0000000000000000,
    685   0x0000000000000000, 0x1000000000000000,
    686   0x1000000000000000, 0x2000000000000000,
    687   0x1fffffffffffffff, 0x3fffffffffffffff,
    688   0x3fffffffffffffff, 0x1000000000000000,
    689   0x1000000000000000, 0x2000000000000000,
    690   0x1fffffffffffffff, 0x3fffffffffffffff,
    691   0x3fffffffffffffff, 0xfff0000000000000,
    692   0xffe8000000000000, 0x0000000000000000,
    693   0x0000000000000000, 0x1000000000000000,
    694   0x1000000000000000, 0x2000000000000000,
    695   0x1fffffffffffffff, 0x3fffffffffffffff,
    696   0x3fffffffffffffff, 0x7ffffffffffffffe,
    697   0x7ffffffffffffffd, 0xfffffffffffffffc,
    698   0xfffffffffffffffa, 0xfffffffffffffff8,
    699   0xfffffffffffffff4, 0xfffffffffffffff0,
    700   0xffffffffffffffe8, 0x0000000000000000,
    701   0x0000000000000000, 0x0000000000000800,
    702   0x0000000000000800, 0x7ffffffffffffffe,
    703   0x7ffffffffffffffd, 0xfffffffffffffffc,
    704   0xfffffffffffffffa, 0xfffffffffffffff8,
    705   0xfffffffffffffff4, 0xfffffffffffffff0,
    706   0xffffffffffffffe8, 0x7ffffffffffffffe,
    707   0x7ffffffffffffffd, 0xfffffffffffffffc,
    708   0xfffffffffffffffa, 0xfffffffffffffff8,
    709   0xfffffffffffffff4, 0xfffffffffffffff0,
    710   0xffffffffffffffe8, 0x0000000000000000,
    711   0x0000000000000000, 0x0000000000000000,
    712   0x0000000000000000, 0x0000000000000000,
    713   0x0000000000000000, 0x0000000000000000,
    714   0x0000000000000000, 0x0000000000000000,
    715   0x0000000000000000, 0x1000000000000000,
    716   0x1000000000000000, 0x2000000000000000,
    717   0x1fffffffffffffff, 0x3fffffffffffffff,
    718   0x3fffffffffffffff, 0x7fffffffffffffff,
    719   0x7ffffffffffffffe, 0xfffffffffffffffe,
    720   0xfffffffffffffffc, 0xfffffffffffffffc,
    721   0xfffffffffffffff8, 0x0000000000000000,
    722   0x0000000000000000, 0x0000000000000000,
    723   0x0000000000000000, 0x0000000000000000,
    724   0x0000000000000000, 0x0000000000000000,
    725   0x0000000000000000, 0x1000000000000000,
    726   0x1000000000000000, 0x2000000000000000,
    727   0x2000000000000000, 0x4000000000000000,
    728   0x3fffffffffffffff, 0x1000000000000000,
    729   0x1000000000000000, 0x2000000000000000,
    730   0x2000000000000000, 0x4000000000000000,
    731   0x3fffffffffffffff, 0xfff8000000000000,
    732   0xfff0000000000000, 0x0000000000000000,
    733   0x0000000000000000, 0x1000000000000000,
    734   0x1000000000000000, 0x2000000000000000,
    735   0x2000000000000000, 0x4000000000000000,
    736   0x3fffffffffffffff, 0x7fffffffffffffff,
    737   0x7ffffffffffffffe, 0xfffffffffffffffe,
    738   0xfffffffffffffffc, 0xfffffffffffffffc,
    739   0xfffffffffffffff8, 0xfffffffffffffff8,
    740   0xfffffffffffffff0, 0x0000000000000000,
    741   0x0000000000000000, 0x0000000000000800,
    742   0x0000000000000800, 0x7fffffffffffffff,
    743   0x7ffffffffffffffe, 0xfffffffffffffffe,
    744   0xfffffffffffffffc, 0xfffffffffffffffc,
    745   0xfffffffffffffff8, 0xfffffffffffffff8,
    746   0xfffffffffffffff0, 0x7fffffffffffffff,
    747   0x7ffffffffffffffe, 0xfffffffffffffffe,
    748   0xfffffffffffffffc, 0xfffffffffffffffc,
    749   0xfffffffffffffff8, 0xfffffffffffffff8,
    750   0xfffffffffffffff0, 0x0000000000000000,
    751   0x0000000000000000, 0x0000000000000000,
    752   0x0000000000000000, 0x0000000000000000,
    753   0x0000000000000000, 0x0000000000000000,
    754   0x0000000000000000, 0x0000000000000000,
    755   0x0000000000000000, 0x1000000000000000,
    756   0x1000000000000000, 0x2000000000000000,
    757   0x2000000000000000, 0x4000000000000000,
    758   0x4000000000000000, 0x8000000000000000,
    759   0x7fffffffffffffff, 0x0000000000000000,
    760   0xfffffffffffffffe, 0x0000000000000000,
    761   0xfffffffffffffffc, 0x0000000000000000,
    762   0x0000000000000000, 0x0000000000000000,
    763   0x0000000000000000, 0x0000000000000000,
    764   0x0000000000000000, 0x0000000000000000,
    765   0x0000000000000000, 0x1000000000000000,
    766   0x1000000000000000, 0x2000000000000000,
    767   0x2000000000000000, 0x4000000000000000,
    768   0x4000000000000000, 0x1000000000000000,
    769   0x1000000000000000, 0x2000000000000000,
    770   0x2000000000000000, 0x4000000000000000,
    771   0x4000000000000000, 0x0000000000000000,
    772   0xfff8000000000000, 0x0000000000000000,
    773   0x0000000000000000, 0x1000000000000000,
    774   0x1000000000000000, 0x2000000000000000,
    775   0x2000000000000000, 0x4000000000000000,
    776   0x4000000000000000, 0x8000000000000000,
    777   0x7fffffffffffffff, 0x0000000000000000,
    778   0xfffffffffffffffe, 0x0000000000000000,
    779   0xfffffffffffffffc, 0x0000000000000000,
    780   0xfffffffffffffff8, 0x0000000000000000,
    781   0x0000000000000000, 0x0000000000000800,
    782   0x0000000000000800, 0x8000000000000000,
    783   0x7fffffffffffffff, 0x0000000000000000,
    784   0xfffffffffffffffe, 0x0000000000000000,
    785   0xfffffffffffffffc, 0x0000000000000000,
    786   0xfffffffffffffff8, 0x8000000000000000,
    787   0x7fffffffffffffff, 0x0000000000000000,
    788   0xfffffffffffffffe, 0x0000000000000000,
    789   0xfffffffffffffffc, 0x0000000000000000,
    790   0xfffffffffffffff8, 0x0000000000000000,
    791   0x0000000000000000, 0x0000000000000000,
    792   0x0000000000000000, 0x0000000000000000,
    793   0x0000000000000000, 0x0000000000000000,
    794   0x0000000000000000, 0x0000000000000001,
    795   0x0000000000000000, 0x1000000000000000,
    796   0x1000000000000000, 0x2000000000000000,
    797   0x2000000000000000, 0x4000000000000000,
    798   0x4000000000000000, 0x8000000000000001,
    799   0x8000000000000000, 0x0000000000000002,
    800   0x0000000000000000, 0x0000000000000004,
    801   0x0000000000000000, 0x0000000000000000,
    802   0x0000000000000000, 0x0000000000000000,
    803   0x0000000000000000, 0x0000000000000000,
    804   0x0000000000000000, 0x0000000000000000,
    805   0x0000000000000000, 0x1000000000000000,
    806   0x1000000000000000, 0x2000000000000000,
    807   0x2000000000000000, 0x4000000000000001,
    808   0x4000000000000000, 0x1000000000000000,
    809   0x1000000000000000, 0x2000000000000000,
    810   0x2000000000000000, 0x4000000000000001,
    811   0x4000000000000000, 0x0008000000000000,
    812   0x0000000000000000, 0x0000000000000000,
    813   0x0000000000000000, 0x1000000000000000,
    814   0x1000000000000000, 0x2000000000000000,
    815   0x2000000000000000, 0x4000000000000001,
    816   0x4000000000000000, 0x8000000000000001,
    817   0x8000000000000000, 0x0000000000000002,
    818   0x0000000000000000, 0x0000000000000004,
    819   0x0000000000000000, 0x0000000000000008,
    820   0x0000000000000000, 0x0000000000000000,
    821   0x0000000000000000, 0x0000000000000800,
    822   0x0000000000000800, 0x8000000000000001,
    823   0x8000000000000000, 0x0000000000000002,
    824   0x0000000000000000, 0x0000000000000004,
    825   0x0000000000000000, 0x0000000000000008,
    826   0x0000000000000000, 0x8000000000000001,
    827   0x8000000000000000, 0x0000000000000002,
    828   0x0000000000000000, 0x0000000000000004,
    829   0x0000000000000000, 0x0000000000000008,
    830   0x0000000000000000, 0x0000000000000000,
    831   0x0000000000000000, 0x0000000000000000,
    832   0x0000000000000000, 0x0000000000000000,
    833   0x0000000000000000, 0x0000000000000000,
    834   0x0000000000000000, 0x0000000000000001,
    835   0x0000000000000001, 0x1000000000000000,
    836   0x1000000000000000, 0x2000000000000000,
    837   0x2000000000000000, 0x4000000000000001,
    838   0x4000000000000001, 0x8000000000000002,
    839   0x8000000000000001, 0x0000000000000004,
    840   0x0000000000000002, 0x0000000000000008,
    841   0x0000000000000004, 0x0000000000000000,
    842   0x0000000000000000, 0x0000000000000000,
    843   0x0000000000000000, 0x0000000000000000,
    844   0x0000000000000000, 0x0000000000000000,
    845   0x0000000000000000, 0x1000000000000000,
    846   0x1000000000000000, 0x2000000000000001,
    847   0x2000000000000000, 0x4000000000000001,
    848   0x4000000000000001, 0x1000000000000000,
    849   0x1000000000000000, 0x2000000000000001,
    850   0x2000000000000000, 0x4000000000000001,
    851   0x4000000000000001, 0x0010000000000000,
    852   0x0008000000000000, 0x0000000000000000,
    853   0x0000000000000000, 0x1000000000000000,
    854   0x1000000000000000, 0x2000000000000001,
    855   0x2000000000000000, 0x4000000000000001,
    856   0x4000000000000001, 0x8000000000000002,
    857   0x8000000000000001, 0x0000000000000004,
    858   0x0000000000000002, 0x0000000000000008,
    859   0x0000000000000004, 0x0000000000000010,
    860   0x0000000000000008, 0x0000000000000000,
    861   0x0000000000000000, 0x0000000000000800,
    862   0x0000000000000800, 0x8000000000000002,
    863   0x8000000000000001, 0x0000000000000004,
    864   0x0000000000000002, 0x0000000000000008,
    865   0x0000000000000004, 0x0000000000000010,
    866   0x0000000000000008, 0x8000000000000002,
    867   0x8000000000000001, 0x0000000000000004,
    868   0x0000000000000002, 0x0000000000000008,
    869   0x0000000000000004, 0x0000000000000010,
    870   0x0000000000000008, 0x0000000000000000,
    871   0x0000000000000000, 0x0000000000000000,
    872   0x0000000000000000, 0x0000000000000000,
    873   0x0000000000000000, 0x0000000000000000,
    874   0x0000000000000000, 0x0000000000000001,
    875   0x0000000000000001, 0x1000000000000000,
    876   0x1000000000000000, 0x2000000000000001,
    877   0x2000000000000000, 0x4000000000000001,
    878   0x4000000000000001, 0x8000000000000003,
    879   0x8000000000000002, 0x0000000000000006,
    880   0x0000000000000004, 0x000000000000000c,
    881   0x0000000000000008, 0x0000000000000000,
    882   0x0000000000000000, 0x0000000000000000,
    883   0x0000000000000000, 0x0000000000000000,
    884   0x0000000000000000, 0x0000000000000000,
    885   0x0000000000000000, 0x1000000000000000,
    886   0x1000000000000000, 0x2000000000000001,
    887   0x2000000000000001, 0x4000000000000002,
    888   0x4000000000000001, 0x1000000000000000,
    889   0x1000000000000000, 0x2000000000000001,
    890   0x2000000000000001, 0x4000000000000002,
    891   0x4000000000000001, 0x0018000000000000,
    892   0x0010000000000000, 0x0000000000000000,
    893   0x0000000000000000, 0x1000000000000000,
    894   0x1000000000000000, 0x2000000000000001,
    895   0x2000000000000001, 0x4000000000000002,
    896   0x4000000000000001, 0x8000000000000003,
    897   0x8000000000000002, 0x0000000000000006,
    898   0x0000000000000004, 0x000000000000000c,
    899   0x0000000000000008, 0x0000000000000018,
    900   0x0000000000000010, 0x0000000000000000,
    901   0x0000000000000000, 0x0000000000000800,
    902   0x0000000000000800, 0x8000000000000003,
    903   0x8000000000000002, 0x0000000000000006,
    904   0x0000000000000004, 0x000000000000000c,
    905   0x0000000000000008, 0x0000000000000018,
    906   0x0000000000000010, 0x8000000000000003,
    907   0x8000000000000002, 0x0000000000000006,
    908   0x0000000000000004, 0x000000000000000c,
    909   0x0000000000000008, 0x0000000000000018,
    910   0x0000000000000010, 0x0000000000000000,
    911   0x0000000000000000, 0x0000000000000000,
    912   0x0000000000000000, 0x0000000000000000,
    913   0x0000000000000000, 0x0000000000000000,
    914   0x0000000000000000, 0x0000000000000001,
    915   0x0000000000000001, 0x1000000000000000,
    916   0x1000000000000000, 0x2000000000000001,
    917   0x2000000000000001, 0x4000000000000002,
    918   0x4000000000000002, 0xaaaaaaaaaaaaaaaa,
    919   0x8000000000000003, 0x5555555555555554,
    920   0x0000000000000006, 0xaaaaaaaaaaaaaaa8,
    921   0x000000000000000c, 0x0000000000000000,
    922   0x0000000000000000, 0x0000000000000000,
    923   0x0000000000000000, 0x0000000000000000,
    924   0x0000000000000000, 0x0000000000000000,
    925   0x0000000000000000, 0x1555555555555555,
    926   0x1000000000000000, 0x2aaaaaaaaaaaaaab,
    927   0x2000000000000001, 0x5555555555555555,
    928   0x4000000000000002, 0x1555555555555555,
    929   0x1000000000000000, 0x2aaaaaaaaaaaaaab,
    930   0x2000000000000001, 0x5555555555555555,
    931   0x4000000000000002, 0x5550000000000000,
    932   0x0018000000000000, 0x0000000000000000,
    933   0x0000000000000000, 0x1555555555555555,
    934   0x1000000000000000, 0x2aaaaaaaaaaaaaab,
    935   0x2000000000000001, 0x5555555555555555,
    936   0x4000000000000002, 0xaaaaaaaaaaaaaaaa,
    937   0x8000000000000003, 0x5555555555555554,
    938   0x0000000000000006, 0xaaaaaaaaaaaaaaa8,
    939   0x000000000000000c, 0x5555555555555550,
    940   0x0000000000000018, 0x0000000000000000,
    941   0x0000000000000000, 0x0000000000000aab,
    942   0x0000000000000800, 0xaaaaaaaaaaaaaaaa,
    943   0x8000000000000003, 0x5555555555555554,
    944   0x0000000000000006, 0xaaaaaaaaaaaaaaa8,
    945   0x000000000000000c, 0x5555555555555550,
    946   0x0000000000000018, 0xaaaaaaaaaaaaaaaa,
    947   0x8000000000000003, 0x5555555555555554,
    948   0x0000000000000006, 0xaaaaaaaaaaaaaaa8,
    949   0x000000000000000c, 0x5555555555555550,
    950   0x0000000000000018, 0x0000000000000000,
    951   0x0000000000000000, 0x0000000000000000,
    952   0x0000000000000000, 0x0000000000000000,
    953   0x0000000000000000, 0x0000000000000000,
    954   0x0000000000000000, 0x0000000000000001,
    955   0x0000000000000001, 0x1555555555555555,
    956   0x1000000000000000, 0x2aaaaaaaaaaaaaab,
    957   0x2000000000000001, 0x5555555555555555,
    958   0x5555555555555555, 0xcccccccccccccccc,
    959   0xaaaaaaaaaaaaaaaa, 0x9999999999999998,
    960   0x5555555555555554, 0x3333333333333330,
    961   0xaaaaaaaaaaaaaaa8, 0x0000000000000000,
    962   0x0000000000000000, 0x0000000000000000,
    963   0x0000000000000000, 0x0000000000000000,
    964   0x0000000000000000, 0x0000000000000000,
    965   0x0000000000000000, 0x199999999999999a,
    966   0x1555555555555555, 0x3333333333333333,
    967   0x2aaaaaaaaaaaaaab, 0x6666666666666666,
    968   0x5555555555555555, 0x199999999999999a,
    969   0x1555555555555555, 0x3333333333333333,
    970   0x2aaaaaaaaaaaaaab, 0x6666666666666666,
    971   0x5555555555555555, 0x6660000000000000,
    972   0x5550000000000000, 0x0000000000000000,
    973   0x0000000000000000, 0x199999999999999a,
    974   0x1555555555555555, 0x3333333333333333,
    975   0x2aaaaaaaaaaaaaab, 0x6666666666666666,
    976   0x5555555555555555, 0xcccccccccccccccc,
    977   0xaaaaaaaaaaaaaaaa, 0x9999999999999998,
    978   0x5555555555555554, 0x3333333333333330,
    979   0xaaaaaaaaaaaaaaa8, 0x6666666666666660,
    980   0x5555555555555550, 0x0000000000000000,
    981   0x0000000000000000, 0x0000000000000ccd,
    982   0x0000000000000aab, 0xcccccccccccccccc,
    983   0xaaaaaaaaaaaaaaaa, 0x9999999999999998,
    984   0x5555555555555554, 0x3333333333333330,
    985   0xaaaaaaaaaaaaaaa8, 0x6666666666666660,
    986   0x5555555555555550, 0xcccccccccccccccc,
    987   0xaaaaaaaaaaaaaaaa, 0x9999999999999998,
    988   0x5555555555555554, 0x3333333333333330,
    989   0xaaaaaaaaaaaaaaa8, 0x6666666666666660,
    990   0x5555555555555550, 0x0000000000000000,
    991   0x0000000000000000, 0x0000000000000000,
    992   0x0000000000000000, 0x0000000000000000,
    993   0x0000000000000000, 0x0000000000000000,
    994   0x0000000000000000, 0x0000000000000001,
    995   0x0000000000000001, 0x199999999999999a,
    996   0x1555555555555555, 0x3333333333333333,
    997   0x2aaaaaaaaaaaaaab, 0x6666666666666666,
    998   0x6666666666666666, 0xffffffff80000000,
    999   0xcccccccccccccccc, 0xffffffff00000000,
   1000   0x9999999999999998, 0xfffffffe00000000,
   1001   0x3333333333333330, 0x0000000000000000,
   1002   0x0000000000000000, 0x0000000000000000,
   1003   0x0000000000000000, 0x0000000000000000,
   1004   0x0000000000000000, 0x0000000000000000,
   1005   0x0000000000000000, 0x1ffffffff0000000,
   1006   0x199999999999999a, 0x3fffffffe0000000,
   1007   0x3333333333333333, 0x7fffffffc0000000,
   1008   0x6666666666666666, 0x1ffffffff0000000,
   1009   0x199999999999999a, 0x3fffffffe0000000,
   1010   0x3333333333333333, 0x7fffffffc0000000,
   1011   0x6666666666666666, 0x0000000000000000,
   1012   0x6660000000000000, 0x0000000000000000,
   1013   0x0000000000000000, 0x1ffffffff0000000,
   1014   0x199999999999999a, 0x3fffffffe0000000,
   1015   0x3333333333333333, 0x7fffffffc0000000,
   1016   0x6666666666666666, 0xffffffff80000000,
   1017   0xcccccccccccccccc, 0xffffffff00000000,
   1018   0x9999999999999998, 0xfffffffe00000000,
   1019   0x3333333333333330, 0xfffffffc00000000,
   1020   0x6666666666666660, 0x0000000000000000,
   1021   0x0000000000000000, 0x0000000000001000,
   1022   0x0000000000000ccd, 0xffffffff80000000,
   1023   0xcccccccccccccccc, 0xffffffff00000000,
   1024   0x9999999999999998, 0xfffffffe00000000,
   1025   0x3333333333333330, 0xfffffffc00000000,
   1026   0x6666666666666660, 0xffffffff80000000,
   1027   0xcccccccccccccccc, 0xffffffff00000000,
   1028   0x9999999999999998, 0xfffffffe00000000,
   1029   0x3333333333333330, 0xfffffffc00000000,
   1030   0x6666666666666660, 0x0000000000000000,
   1031   0x0000000000000000, 0x0000000000000000,
   1032   0x0000000000000000, 0x0000000000000000,
   1033   0x0000000000000000, 0x0000000000000000,
   1034   0x0000000000000000, 0x0000000000000001,
   1035   0x0000000000000001, 0x1ffffffff0000000,
   1036   0x199999999999999a, 0x3fffffffe0000000,
   1037   0x3333333333333333, 0x7fffffffc0000000,
   1038   0x7fffffffc0000000, 0xffffffff80000001,
   1039   0xffffffff80000000, 0xffffffff00000002,
   1040   0xffffffff00000000, 0xfffffffe00000004,
   1041   0xfffffffe00000000, 0x0000000000000000,
   1042   0x0000000000000000, 0x0000000000000000,
   1043   0x0000000000000000, 0x0000000000000000,
   1044   0x0000000000000000, 0x0000000000000000,
   1045   0x0000000000000000, 0x1ffffffff0000000,
   1046   0x1ffffffff0000000, 0x3fffffffe0000000,
   1047   0x3fffffffe0000000, 0x7fffffffc0000001,
   1048   0x7fffffffc0000000, 0x1ffffffff0000000,
   1049   0x1ffffffff0000000, 0x3fffffffe0000000,
   1050   0x3fffffffe0000000, 0x7fffffffc0000001,
   1051   0x7fffffffc0000000, 0x0008000000000000,
   1052   0x0000000000000000, 0x0000000000000000,
   1053   0x0000000000000000, 0x1ffffffff0000000,
   1054   0x1ffffffff0000000, 0x3fffffffe0000000,
   1055   0x3fffffffe0000000, 0x7fffffffc0000001,
   1056   0x7fffffffc0000000, 0xffffffff80000001,
   1057   0xffffffff80000000, 0xffffffff00000002,
   1058   0xffffffff00000000, 0xfffffffe00000004,
   1059   0xfffffffe00000000, 0xfffffffc00000008,
   1060   0xfffffffc00000000, 0x0000000000000000,
   1061   0x0000000000000000, 0x0000000000001000,
   1062   0x0000000000001000, 0xffffffff80000001,
   1063   0xffffffff80000000, 0xffffffff00000002,
   1064   0xffffffff00000000, 0xfffffffe00000004,
   1065   0xfffffffe00000000, 0xfffffffc00000008,
   1066   0xfffffffc00000000, 0xffffffff80000001,
   1067   0xffffffff80000000, 0xffffffff00000002,
   1068   0xffffffff00000000, 0xfffffffe00000004,
   1069   0xfffffffe00000000, 0xfffffffc00000008,
   1070   0xfffffffc00000000, 0x0000000000000000,
   1071   0x0000000000000000, 0x0000000000000000,
   1072   0x0000000000000000, 0x0000000000000000,
   1073   0x0000000000000000, 0x0000000000000000,
   1074   0x0000000000000000, 0x0000000000000001,
   1075   0x0000000000000001, 0x1ffffffff0000000,
   1076   0x1ffffffff0000000, 0x3fffffffe0000000,
   1077   0x3fffffffe0000000, 0x7fffffffc0000001,
   1078   0x7fffffffc0000001, 0xffffffff80000002,
   1079   0xffffffff80000001, 0xffffffff00000004,
   1080   0xffffffff00000002, 0xfffffffe00000008,
   1081   0xfffffffe00000004, 0x0000000000000000,
   1082   0x0000000000000000, 0x0000000000000000,
   1083   0x0000000000000000, 0x0000000000000000,
   1084   0x0000000000000000, 0x0000000000000000,
   1085   0x0000000000000000, 0x1ffffffff0000000,
   1086   0x1ffffffff0000000, 0x3fffffffe0000001,
   1087   0x3fffffffe0000000, 0x7fffffffc0000001,
   1088   0x7fffffffc0000001, 0x1ffffffff0000000,
   1089   0x1ffffffff0000000, 0x3fffffffe0000001,
   1090   0x3fffffffe0000000, 0x7fffffffc0000001,
   1091   0x7fffffffc0000001, 0x0010000000000000,
   1092   0x0008000000000000, 0x0000000000000000,
   1093   0x0000000000000000, 0x1ffffffff0000000,
   1094   0x1ffffffff0000000, 0x3fffffffe0000001,
   1095   0x3fffffffe0000000, 0x7fffffffc0000001,
   1096   0x7fffffffc0000001, 0xffffffff80000002,
   1097   0xffffffff80000001, 0xffffffff00000004,
   1098   0xffffffff00000002, 0xfffffffe00000008,
   1099   0xfffffffe00000004, 0xfffffffc00000010,
   1100   0xfffffffc00000008, 0x0000000000000000,
   1101   0x0000000000000000, 0x0000000000001000,
   1102   0x0000000000001000, 0xffffffff80000002,
   1103   0xffffffff80000001, 0xffffffff00000004,
   1104   0xffffffff00000002, 0xfffffffe00000008,
   1105   0xfffffffe00000004, 0xfffffffc00000010,
   1106   0xfffffffc00000008, 0xffffffff80000002,
   1107   0xffffffff80000001, 0xffffffff00000004,
   1108   0xffffffff00000002, 0xfffffffe00000008,
   1109   0xfffffffe00000004, 0xfffffffc00000010,
   1110   0xfffffffc00000008, 0x0000000000000000,
   1111   0x0000000000000000, 0x0000000000000000,
   1112   0x0000000000000000, 0x0000000000000000,
   1113   0x0000000000000000, 0x0000000000000000,
   1114   0x0000000000000000, 0x0000000000000001,
   1115   0x0000000000000001, 0x1ffffffff0000000,
   1116   0x1ffffffff0000000, 0x3fffffffe0000001,
   1117   0x3fffffffe0000000, 0x7fffffffc0000001,
   1118   0x7fffffffc0000001, 0xffffffff80000003,
   1119   0xffffffff80000002, 0xffffffff00000006,
   1120   0xffffffff00000004, 0xfffffffe0000000c,
   1121   0xfffffffe00000008, 0x0000000000000000,
   1122   0x0000000000000000, 0x0000000000000000,
   1123   0x0000000000000000, 0x0000000000000000,
   1124   0x0000000000000000, 0x0000000000000000,
   1125   0x0000000000000000, 0x1ffffffff0000000,
   1126   0x1ffffffff0000000, 0x3fffffffe0000001,
   1127   0x3fffffffe0000001, 0x7fffffffc0000002,
   1128   0x7fffffffc0000001, 0x1ffffffff0000000,
   1129   0x1ffffffff0000000, 0x3fffffffe0000001,
   1130   0x3fffffffe0000001, 0x7fffffffc0000002,
   1131   0x7fffffffc0000001, 0x0018000000000000,
   1132   0x0010000000000000, 0x0000000000000000,
   1133   0x0000000000000000, 0x1ffffffff0000000,
   1134   0x1ffffffff0000000, 0x3fffffffe0000001,
   1135   0x3fffffffe0000001, 0x7fffffffc0000002,
   1136   0x7fffffffc0000001, 0xffffffff80000003,
   1137   0xffffffff80000002, 0xffffffff00000006,
   1138   0xffffffff00000004, 0xfffffffe0000000c,
   1139   0xfffffffe00000008, 0xfffffffc00000018,
   1140   0xfffffffc00000010, 0x0000000000000000,
   1141   0x0000000000000000, 0x0000000000001000,
   1142   0x0000000000001000, 0xffffffff80000003,
   1143   0xffffffff80000002, 0xffffffff00000006,
   1144   0xffffffff00000004, 0xfffffffe0000000c,
   1145   0xfffffffe00000008, 0xfffffffc00000018,
   1146   0xfffffffc00000010, 0xffffffff80000003,
   1147   0xffffffff80000002, 0xffffffff00000006,
   1148   0xffffffff00000004, 0xfffffffe0000000c,
   1149   0xfffffffe00000008, 0xfffffffc00000018,
   1150   0xfffffffc00000010, 0x0000000000000000,
   1151   0x0000000000000000, 0x0000000000000000,
   1152   0x0000000000000000, 0x0000000000000000,
   1153   0x0000000000000000, 0x0000000000000000,
   1154   0x0000000000000000, 0x0000000000000001,
   1155   0x0000000000000001, 0x1ffffffff0000000,
   1156   0x1ffffffff0000000, 0x3fffffffe0000001,
   1157   0x3fffffffe0000001, 0x7fffffffc0000002,
   1158   0x7fffffffc0000002, 0xffffffffffff8000,
   1159   0xffffffff80000003, 0xffffffffffff0000,
   1160   0xffffffff00000006, 0xfffffffffffe0000,
   1161   0xfffffffe0000000c, 0x0000000000000000,
   1162   0x0000000000000000, 0x0000000000000000,
   1163   0x0000000000000000, 0x0000000000000000,
   1164   0x0000000000000000, 0x0000000000000000,
   1165   0x0000000000000000, 0x1ffffffffffff000,
   1166   0x1ffffffff0000000, 0x3fffffffffffe000,
   1167   0x3fffffffe0000001, 0x7fffffffffffc000,
   1168   0x7fffffffc0000002, 0x1ffffffffffff000,
   1169   0x1ffffffff0000000, 0x3fffffffffffe000,
   1170   0x3fffffffe0000001, 0x7fffffffffffc000,
   1171   0x7fffffffc0000002, 0x0000000000000000,
   1172   0x0018000000000000, 0x0000000000000000,
   1173   0x0000000000000000, 0x1ffffffffffff000,
   1174   0x1ffffffff0000000, 0x3fffffffffffe000,
   1175   0x3fffffffe0000001, 0x7fffffffffffc000,
   1176   0x7fffffffc0000002, 0xffffffffffff8000,
   1177   0xffffffff80000003, 0xffffffffffff0000,
   1178   0xffffffff00000006, 0xfffffffffffe0000,
   1179   0xfffffffe0000000c, 0xfffffffffffc0000,
   1180   0xfffffffc00000018, 0x0000000000000000,
   1181   0x0000000000000000, 0x0000000000001000,
   1182   0x0000000000001000, 0xffffffffffff8000,
   1183   0xffffffff80000003, 0xffffffffffff0000,
   1184   0xffffffff00000006, 0xfffffffffffe0000,
   1185   0xfffffffe0000000c, 0xfffffffffffc0000,
   1186   0xfffffffc00000018, 0xffffffffffff8000,
   1187   0xffffffff80000003, 0xffffffffffff0000,
   1188   0xffffffff00000006, 0xfffffffffffe0000,
   1189   0xfffffffe0000000c, 0xfffffffffffc0000,
   1190   0xfffffffc00000018, 0x0000000000000000,
   1191   0x0000000000000000, 0x0000000000000000,
   1192   0x0000000000000000, 0x0000000000000000,
   1193   0x0000000000000000, 0x0000000000000000,
   1194   0x0000000000000000, 0x0000000000000001,
   1195   0x0000000000000001, 0x1ffffffffffff000,
   1196   0x1ffffffff0000000, 0x3fffffffffffe000,
   1197   0x3fffffffe0000001, 0x7fffffffffffc000,
   1198   0x7fffffffffffc000, 0xffffffffffff8001,
   1199   0xffffffffffff8000, 0xffffffffffff0002,
   1200   0xffffffffffff0000, 0xfffffffffffe0004,
   1201   0xfffffffffffe0000, 0x0000000000000000,
   1202   0x0000000000000000, 0x0000000000000000,
   1203   0x0000000000000000, 0x0000000000000000,
   1204   0x0000000000000000, 0x0000000000000000,
   1205   0x0000000000000000, 0x1ffffffffffff000,
   1206   0x1ffffffffffff000, 0x3fffffffffffe000,
   1207   0x3fffffffffffe000, 0x7fffffffffffc001,
   1208   0x7fffffffffffc000, 0x1ffffffffffff000,
   1209   0x1ffffffffffff000, 0x3fffffffffffe000,
   1210   0x3fffffffffffe000, 0x7fffffffffffc001,
   1211   0x7fffffffffffc000, 0x0008000000000000,
   1212   0x0000000000000000, 0x0000000000000000,
   1213   0x0000000000000000, 0x1ffffffffffff000,
   1214   0x1ffffffffffff000, 0x3fffffffffffe000,
   1215   0x3fffffffffffe000, 0x7fffffffffffc001,
   1216   0x7fffffffffffc000, 0xffffffffffff8001,
   1217   0xffffffffffff8000, 0xffffffffffff0002,
   1218   0xffffffffffff0000, 0xfffffffffffe0004,
   1219   0xfffffffffffe0000, 0xfffffffffffc0008,
   1220   0xfffffffffffc0000, 0x0000000000000000,
   1221   0x0000000000000000, 0x0000000000001000,
   1222   0x0000000000001000, 0xffffffffffff8001,
   1223   0xffffffffffff8000, 0xffffffffffff0002,
   1224   0xffffffffffff0000, 0xfffffffffffe0004,
   1225   0xfffffffffffe0000, 0xfffffffffffc0008,
   1226   0xfffffffffffc0000, 0xffffffffffff8001,
   1227   0xffffffffffff8000, 0xffffffffffff0002,
   1228   0xffffffffffff0000, 0xfffffffffffe0004,
   1229   0xfffffffffffe0000, 0xfffffffffffc0008,
   1230   0xfffffffffffc0000, 0x0000000000000000,
   1231   0x0000000000000000, 0x0000000000000000,
   1232   0x0000000000000000, 0x0000000000000000,
   1233   0x0000000000000000, 0x0000000000000000,
   1234   0x0000000000000000, 0x0000000000000001,
   1235   0x0000000000000001, 0x1ffffffffffff000,
   1236   0x1ffffffffffff000, 0x3fffffffffffe000,
   1237   0x3fffffffffffe000, 0x7fffffffffffc001,
   1238   0x7fffffffffffc001, 0xffffffffffff8002,
   1239   0xffffffffffff8001, 0xffffffffffff0004,
   1240   0xffffffffffff0002, 0xfffffffffffe0008,
   1241   0xfffffffffffe0004, 0x0000000000000000,
   1242   0x0000000000000000, 0x0000000000000000,
   1243   0x0000000000000000, 0x0000000000000000,
   1244   0x0000000000000000, 0x0000000000000000,
   1245   0x0000000000000000, 0x1ffffffffffff000,
   1246   0x1ffffffffffff000, 0x3fffffffffffe001,
   1247   0x3fffffffffffe000, 0x7fffffffffffc001,
   1248   0x7fffffffffffc001, 0x1ffffffffffff000,
   1249   0x1ffffffffffff000, 0x3fffffffffffe001,
   1250   0x3fffffffffffe000, 0x7fffffffffffc001,
   1251   0x7fffffffffffc001, 0x0010000000000000,
   1252   0x0008000000000000, 0x0000000000000000,
   1253   0x0000000000000000, 0x1ffffffffffff000,
   1254   0x1ffffffffffff000, 0x3fffffffffffe001,
   1255   0x3fffffffffffe000, 0x7fffffffffffc001,
   1256   0x7fffffffffffc001, 0xffffffffffff8002,
   1257   0xffffffffffff8001, 0xffffffffffff0004,
   1258   0xffffffffffff0002, 0xfffffffffffe0008,
   1259   0xfffffffffffe0004, 0xfffffffffffc0010,
   1260   0xfffffffffffc0008, 0x0000000000000000,
   1261   0x0000000000000000, 0x0000000000001000,
   1262   0x0000000000001000, 0xffffffffffff8002,
   1263   0xffffffffffff8001, 0xffffffffffff0004,
   1264   0xffffffffffff0002, 0xfffffffffffe0008,
   1265   0xfffffffffffe0004, 0xfffffffffffc0010,
   1266   0xfffffffffffc0008, 0xffffffffffff8002,
   1267   0xffffffffffff8001, 0xffffffffffff0004,
   1268   0xffffffffffff0002, 0xfffffffffffe0008,
   1269   0xfffffffffffe0004, 0xfffffffffffc0010,
   1270   0xfffffffffffc0008, 0x0000000000000000,
   1271   0x0000000000000000, 0x0000000000000000,
   1272   0x0000000000000000, 0x0000000000000000,
   1273   0x0000000000000000, 0x0000000000000000,
   1274   0x0000000000000000, 0x0000000000000001,
   1275   0x0000000000000001, 0x1ffffffffffff000,
   1276   0x1ffffffffffff000, 0x3fffffffffffe001,
   1277   0x3fffffffffffe000, 0x7fffffffffffc001,
   1278   0x7fffffffffffc001, 0xffffffffffff8003,
   1279   0xffffffffffff8002, 0xffffffffffff0006,
   1280   0xffffffffffff0004, 0xfffffffffffe000c,
   1281   0xfffffffffffe0008, 0x0000000000000000,
   1282   0x0000000000000000, 0x0000000000000000,
   1283   0x0000000000000000, 0x0000000000000000,
   1284   0x0000000000000000, 0x0000000000000000,
   1285   0x0000000000000000, 0x1ffffffffffff000,
   1286   0x1ffffffffffff000, 0x3fffffffffffe001,
   1287   0x3fffffffffffe001, 0x7fffffffffffc002,
   1288   0x7fffffffffffc001, 0x1ffffffffffff000,
   1289   0x1ffffffffffff000, 0x3fffffffffffe001,
   1290   0x3fffffffffffe001, 0x7fffffffffffc002,
   1291   0x7fffffffffffc001, 0x0018000000000000,
   1292   0x0010000000000000, 0x0000000000000000,
   1293   0x0000000000000000, 0x1ffffffffffff000,
   1294   0x1ffffffffffff000, 0x3fffffffffffe001,
   1295   0x3fffffffffffe001, 0x7fffffffffffc002,
   1296   0x7fffffffffffc001, 0xffffffffffff8003,
   1297   0xffffffffffff8002, 0xffffffffffff0006,
   1298   0xffffffffffff0004, 0xfffffffffffe000c,
   1299   0xfffffffffffe0008, 0xfffffffffffc0018,
   1300   0xfffffffffffc0010, 0x0000000000000000,
   1301   0x0000000000000000, 0x0000000000001000,
   1302   0x0000000000001000, 0xffffffffffff8003,
   1303   0xffffffffffff8002, 0xffffffffffff0006,
   1304   0xffffffffffff0004, 0xfffffffffffe000c,
   1305   0xfffffffffffe0008, 0xfffffffffffc0018,
   1306   0xfffffffffffc0010, 0xffffffffffff8003,
   1307   0xffffffffffff8002, 0xffffffffffff0006,
   1308   0xffffffffffff0004, 0xfffffffffffe000c,
   1309   0xfffffffffffe0008, 0xfffffffffffc0018,
   1310   0xfffffffffffc0010, 0x0000000000000000,
   1311   0x0000000000000000, 0x0000000000000000,
   1312   0x0000000000000000, 0x0000000000000000,
   1313   0x0000000000000000, 0x0000000000000000,
   1314   0x0000000000000000, 0x0000000000000001,
   1315   0x0000000000000001, 0x1ffffffffffff000,
   1316   0x1ffffffffffff000, 0x3fffffffffffe001,
   1317   0x3fffffffffffe001, 0x7fffffffffffc002,
   1318   0x7fffffffffffc002, 0xffffffffffffff80,
   1319   0xffffffffffff8003, 0xffffffffffffff00,
   1320   0xffffffffffff0006, 0xfffffffffffffe00,
   1321   0xfffffffffffe000c, 0x0000000000000000,
   1322   0x0000000000000000, 0x0000000000000000,
   1323   0x0000000000000000, 0x0000000000000000,
   1324   0x0000000000000000, 0x0000000000000000,
   1325   0x0000000000000000, 0x1ffffffffffffff0,
   1326   0x1ffffffffffff000, 0x3fffffffffffffe0,
   1327   0x3fffffffffffe001, 0x7fffffffffffffc0,
   1328   0x7fffffffffffc002, 0x1ffffffffffffff0,
   1329   0x1ffffffffffff000, 0x3fffffffffffffe0,
   1330   0x3fffffffffffe001, 0x7fffffffffffffc0,
   1331   0x7fffffffffffc002, 0xfc00000000000000,
   1332   0x0018000000000000, 0x0000000000000000,
   1333   0x0000000000000000, 0x1ffffffffffffff0,
   1334   0x1ffffffffffff000, 0x3fffffffffffffe0,
   1335   0x3fffffffffffe001, 0x7fffffffffffffc0,
   1336   0x7fffffffffffc002, 0xffffffffffffff80,
   1337   0xffffffffffff8003, 0xffffffffffffff00,
   1338   0xffffffffffff0006, 0xfffffffffffffe00,
   1339   0xfffffffffffe000c, 0xfffffffffffffc00,
   1340   0xfffffffffffc0018, 0x0000000000000000,
   1341   0x0000000000000000, 0x0000000000001000,
   1342   0x0000000000001000, 0xffffffffffffff80,
   1343   0xffffffffffff8003, 0xffffffffffffff00,
   1344   0xffffffffffff0006, 0xfffffffffffffe00,
   1345   0xfffffffffffe000c, 0xfffffffffffffc00,
   1346   0xfffffffffffc0018, 0xffffffffffffff80,
   1347   0xffffffffffff8003, 0xffffffffffffff00,
   1348   0xffffffffffff0006, 0xfffffffffffffe00,
   1349   0xfffffffffffe000c, 0xfffffffffffffc00,
   1350   0xfffffffffffc0018, 0x0000000000000000,
   1351   0x0000000000000000, 0x0000000000000000,
   1352   0x0000000000000000, 0x0000000000000000,
   1353   0x0000000000000000, 0x0000000000000000,
   1354   0x0000000000000000, 0x0000000000000001,
   1355   0x0000000000000001, 0x1ffffffffffffff0,
   1356   0x1ffffffffffff000, 0x3fffffffffffffe0,
   1357   0x3fffffffffffe001, 0x7fffffffffffffc0,
   1358   0x7fffffffffffffc0, 0xffffffffffffff81,
   1359   0xffffffffffffff80, 0xffffffffffffff02,
   1360   0xffffffffffffff00, 0xfffffffffffffe04,
   1361   0xfffffffffffffe00, 0x0000000000000000,
   1362   0x0000000000000000, 0x0000000000000000,
   1363   0x0000000000000000, 0x0000000000000000,
   1364   0x0000000000000000, 0x0000000000000000,
   1365   0x0000000000000000, 0x1ffffffffffffff0,
   1366   0x1ffffffffffffff0, 0x3fffffffffffffe0,
   1367   0x3fffffffffffffe0, 0x7fffffffffffffc1,
   1368   0x7fffffffffffffc0, 0x1ffffffffffffff0,
   1369   0x1ffffffffffffff0, 0x3fffffffffffffe0,
   1370   0x3fffffffffffffe0, 0x7fffffffffffffc1,
   1371   0x7fffffffffffffc0, 0xfc08000000000000,
   1372   0xfc00000000000000, 0x0000000000000000,
   1373   0x0000000000000000, 0x1ffffffffffffff0,
   1374   0x1ffffffffffffff0, 0x3fffffffffffffe0,
   1375   0x3fffffffffffffe0, 0x7fffffffffffffc1,
   1376   0x7fffffffffffffc0, 0xffffffffffffff81,
   1377   0xffffffffffffff80, 0xffffffffffffff02,
   1378   0xffffffffffffff00, 0xfffffffffffffe04,
   1379   0xfffffffffffffe00, 0xfffffffffffffc08,
   1380   0xfffffffffffffc00, 0x0000000000000000,
   1381   0x0000000000000000, 0x0000000000001000,
   1382   0x0000000000001000, 0xffffffffffffff81,
   1383   0xffffffffffffff80, 0xffffffffffffff02,
   1384   0xffffffffffffff00, 0xfffffffffffffe04,
   1385   0xfffffffffffffe00, 0xfffffffffffffc08,
   1386   0xfffffffffffffc00, 0xffffffffffffff81,
   1387   0xffffffffffffff80, 0xffffffffffffff02,
   1388   0xffffffffffffff00, 0xfffffffffffffe04,
   1389   0xfffffffffffffe00, 0xfffffffffffffc08,
   1390   0xfffffffffffffc00, 0x0000000000000000,
   1391   0x0000000000000000, 0x0000000000000000,
   1392   0x0000000000000000, 0x0000000000000000,
   1393   0x0000000000000000, 0x0000000000000000,
   1394   0x0000000000000000, 0x0000000000000001,
   1395   0x0000000000000001, 0x1ffffffffffffff0,
   1396   0x1ffffffffffffff0, 0x3fffffffffffffe0,
   1397   0x3fffffffffffffe0, 0x7fffffffffffffc1,
   1398   0x7fffffffffffffc1, 0xffffffffffffff82,
   1399   0xffffffffffffff81, 0xffffffffffffff04,
   1400   0xffffffffffffff02, 0xfffffffffffffe08,
   1401   0xfffffffffffffe04, 0x0000000000000000,
   1402   0x0000000000000000, 0x0000000000000000,
   1403   0x0000000000000000, 0x0000000000000000,
   1404   0x0000000000000000, 0x0000000000000000,
   1405   0x0000000000000000, 0x1ffffffffffffff0,
   1406   0x1ffffffffffffff0, 0x3fffffffffffffe1,
   1407   0x3fffffffffffffe0, 0x7fffffffffffffc1,
   1408   0x7fffffffffffffc1, 0x1ffffffffffffff0,
   1409   0x1ffffffffffffff0, 0x3fffffffffffffe1,
   1410   0x3fffffffffffffe0, 0x7fffffffffffffc1,
   1411   0x7fffffffffffffc1, 0xfc10000000000000,
   1412   0xfc08000000000000, 0x0000000000000000,
   1413   0x0000000000000000, 0x1ffffffffffffff0,
   1414   0x1ffffffffffffff0, 0x3fffffffffffffe1,
   1415   0x3fffffffffffffe0, 0x7fffffffffffffc1,
   1416   0x7fffffffffffffc1, 0xffffffffffffff82,
   1417   0xffffffffffffff81, 0xffffffffffffff04,
   1418   0xffffffffffffff02, 0xfffffffffffffe08,
   1419   0xfffffffffffffe04, 0xfffffffffffffc10,
   1420   0xfffffffffffffc08, 0x0000000000000000,
   1421   0x0000000000000000, 0x0000000000001000,
   1422   0x0000000000001000, 0xffffffffffffff82,
   1423   0xffffffffffffff81, 0xffffffffffffff04,
   1424   0xffffffffffffff02, 0xfffffffffffffe08,
   1425   0xfffffffffffffe04, 0xfffffffffffffc10,
   1426   0xfffffffffffffc08, 0xffffffffffffff82,
   1427   0xffffffffffffff81, 0xffffffffffffff04,
   1428   0xffffffffffffff02, 0xfffffffffffffe08,
   1429   0xfffffffffffffe04, 0xfffffffffffffc10,
   1430   0xfffffffffffffc08, 0x0000000000000000,
   1431   0x0000000000000000, 0x0000000000000000,
   1432   0x0000000000000000, 0x0000000000000000,
   1433   0x0000000000000000, 0x0000000000000000,
   1434   0x0000000000000000, 0x0000000000000001,
   1435   0x0000000000000001, 0x1ffffffffffffff0,
   1436   0x1ffffffffffffff0, 0x3fffffffffffffe1,
   1437   0x3fffffffffffffe0, 0x7fffffffffffffc1,
   1438   0x7fffffffffffffc1, 0xffffffffffffff83,
   1439   0xffffffffffffff82, 0xffffffffffffff06,
   1440   0xffffffffffffff04, 0xfffffffffffffe0c,
   1441   0xfffffffffffffe08, 0x0000000000000000,
   1442   0x0000000000000000, 0x0000000000000000,
   1443   0x0000000000000000, 0x0000000000000000,
   1444   0x0000000000000000, 0x0000000000000000,
   1445   0x0000000000000000, 0x1ffffffffffffff0,
   1446   0x1ffffffffffffff0, 0x3fffffffffffffe1,
   1447   0x3fffffffffffffe1, 0x7fffffffffffffc2,
   1448   0x7fffffffffffffc1, 0x1ffffffffffffff0,
   1449   0x1ffffffffffffff0, 0x3fffffffffffffe1,
   1450   0x3fffffffffffffe1, 0x7fffffffffffffc2,
   1451   0x7fffffffffffffc1, 0xfc18000000000000,
   1452   0xfc10000000000000, 0x0000000000000000,
   1453   0x0000000000000000, 0x1ffffffffffffff0,
   1454   0x1ffffffffffffff0, 0x3fffffffffffffe1,
   1455   0x3fffffffffffffe1, 0x7fffffffffffffc2,
   1456   0x7fffffffffffffc1, 0xffffffffffffff83,
   1457   0xffffffffffffff82, 0xffffffffffffff06,
   1458   0xffffffffffffff04, 0xfffffffffffffe0c,
   1459   0xfffffffffffffe08, 0xfffffffffffffc18,
   1460   0xfffffffffffffc10, 0x0000000000000000,
   1461   0x0000000000000000, 0x0000000000001000,
   1462   0x0000000000001000, 0xffffffffffffff83,
   1463   0xffffffffffffff82, 0xffffffffffffff06,
   1464   0xffffffffffffff04, 0xfffffffffffffe0c,
   1465   0xfffffffffffffe08, 0xfffffffffffffc18,
   1466   0xfffffffffffffc10, 0xffffffffffffff83,
   1467   0xffffffffffffff82, 0xffffffffffffff06,
   1468   0xffffffffffffff04, 0xfffffffffffffe0c,
   1469   0xfffffffffffffe08, 0xfffffffffffffc18,
   1470   0xfffffffffffffc10, 0x0000000000000000,
   1471   0x0000000000000000, 0x0000000000000000,
   1472   0x0000000000000000, 0x0000000000000000,
   1473   0x0000000000000000, 0x0000000000000000,
   1474   0x0000000000000000, 0x0000000000000001,
   1475   0x0000000000000001, 0x1ffffffffffffff0,
   1476   0x1ffffffffffffff0, 0x3fffffffffffffe1,
   1477   0x3fffffffffffffe1, 0x7fffffffffffffc2,
   1478   0x7fffffffffffffc2, 0xffffffffffffffc0,
   1479   0xffffffffffffff83, 0xffffffffffffff80,
   1480   0xffffffffffffff06, 0xffffffffffffff00,
   1481   0xfffffffffffffe0c, 0x0000000000000000,
   1482   0x0000000000000000, 0x0000000000000000,
   1483   0x0000000000000000, 0x0000000000000000,
   1484   0x0000000000000000, 0x0000000000000000,
   1485   0x0000000000000000, 0x1ffffffffffffff8,
   1486   0x1ffffffffffffff0, 0x3ffffffffffffff0,
   1487   0x3fffffffffffffe1, 0x7fffffffffffffe0,
   1488   0x7fffffffffffffc2, 0x1ffffffffffffff8,
   1489   0x1ffffffffffffff0, 0x3ffffffffffffff0,
   1490   0x3fffffffffffffe1, 0x7fffffffffffffe0,
   1491   0x7fffffffffffffc2, 0xfe00000000000000,
   1492   0xfc18000000000000, 0x0000000000000000,
   1493   0x0000000000000000, 0x1ffffffffffffff8,
   1494   0x1ffffffffffffff0, 0x3ffffffffffffff0,
   1495   0x3fffffffffffffe1, 0x7fffffffffffffe0,
   1496   0x7fffffffffffffc2, 0xffffffffffffffc0,
   1497   0xffffffffffffff83, 0xffffffffffffff80,
   1498   0xffffffffffffff06, 0xffffffffffffff00,
   1499   0xfffffffffffffe0c, 0xfffffffffffffe00,
   1500   0xfffffffffffffc18, 0x0000000000000000,
   1501   0x0000000000000000, 0x0000000000001000,
   1502   0x0000000000001000, 0xffffffffffffffc0,
   1503   0xffffffffffffff83, 0xffffffffffffff80,
   1504   0xffffffffffffff06, 0xffffffffffffff00,
   1505   0xfffffffffffffe0c, 0xfffffffffffffe00,
   1506   0xfffffffffffffc18, 0xffffffffffffffc0,
   1507   0xffffffffffffff83, 0xffffffffffffff80,
   1508   0xffffffffffffff06, 0xffffffffffffff00,
   1509   0xfffffffffffffe0c, 0xfffffffffffffe00,
   1510   0xfffffffffffffc18, 0x0000000000000000,
   1511   0x0000000000000000, 0x0000000000000000,
   1512   0x0000000000000000, 0x0000000000000000,
   1513   0x0000000000000000, 0x0000000000000000,
   1514   0x0000000000000000, 0x0000000000000001,
   1515   0x0000000000000001, 0x1ffffffffffffff8,
   1516   0x1ffffffffffffff0, 0x3ffffffffffffff0,
   1517   0x3fffffffffffffe1, 0x7fffffffffffffe0,
   1518   0x7fffffffffffffe0, 0xfffffffffffffffd,
   1519   0xffffffffffffffc0, 0xfffffffffffffffa,
   1520   0xffffffffffffff80, 0xfffffffffffffff4,
   1521   0xffffffffffffff00, 0x0000000000000000,
   1522   0x0000000000000000, 0x0000000000000000,
   1523   0x0000000000000000, 0x0000000000000000,
   1524   0x0000000000000000, 0x0000000000000000,
   1525   0x0000000000000000, 0x2000000000000000,
   1526   0x1ffffffffffffff8, 0x3fffffffffffffff,
   1527   0x3ffffffffffffff0, 0x7fffffffffffffff,
   1528   0x7fffffffffffffe0, 0x2000000000000000,
   1529   0x1ffffffffffffff8, 0x3fffffffffffffff,
   1530   0x3ffffffffffffff0, 0x7fffffffffffffff,
   1531   0x7fffffffffffffe0, 0xffe8000000000000,
   1532   0xfe00000000000000, 0x0000000000000000,
   1533   0x0000000000000000, 0x2000000000000000,
   1534   0x1ffffffffffffff8, 0x3fffffffffffffff,
   1535   0x3ffffffffffffff0, 0x7fffffffffffffff,
   1536   0x7fffffffffffffe0, 0xfffffffffffffffd,
   1537   0xffffffffffffffc0, 0xfffffffffffffffa,
   1538   0xffffffffffffff80, 0xfffffffffffffff4,
   1539   0xffffffffffffff00, 0xffffffffffffffe8,
   1540   0xfffffffffffffe00, 0x0000000000000000,
   1541   0x0000000000000000, 0x0000000000001000,
   1542   0x0000000000001000, 0xfffffffffffffffd,
   1543   0xffffffffffffffc0, 0xfffffffffffffffa,
   1544   0xffffffffffffff80, 0xfffffffffffffff4,
   1545   0xffffffffffffff00, 0xffffffffffffffe8,
   1546   0xfffffffffffffe00, 0xfffffffffffffffd,
   1547   0xffffffffffffffc0, 0xfffffffffffffffa,
   1548   0xffffffffffffff80, 0xfffffffffffffff4,
   1549   0xffffffffffffff00, 0xffffffffffffffe8,
   1550   0xfffffffffffffe00, 0x0000000000000000,
   1551   0x0000000000000000, 0x0000000000000000,
   1552   0x0000000000000000, 0x0000000000000000,
   1553   0x0000000000000000, 0x0000000000000000,
   1554   0x0000000000000000, 0x0000000000000001,
   1555   0x0000000000000001, 0x2000000000000000,
   1556   0x1ffffffffffffff8, 0x3fffffffffffffff,
   1557   0x3ffffffffffffff0, 0x7fffffffffffffff,
   1558   0x7fffffffffffffff, 0xfffffffffffffffe,
   1559   0xfffffffffffffffd, 0xfffffffffffffffc,
   1560   0xfffffffffffffffa, 0xfffffffffffffff8,
   1561   0xfffffffffffffff4, 0x0000000000000000,
   1562   0x0000000000000000, 0x0000000000000000,
   1563   0x0000000000000000, 0x0000000000000000,
   1564   0x0000000000000000, 0x0000000000000000,
   1565   0x0000000000000000, 0x2000000000000000,
   1566   0x2000000000000000, 0x4000000000000000,
   1567   0x3fffffffffffffff, 0x7fffffffffffffff,
   1568   0x7fffffffffffffff, 0x2000000000000000,
   1569   0x2000000000000000, 0x4000000000000000,
   1570   0x3fffffffffffffff, 0x7fffffffffffffff,
   1571   0x7fffffffffffffff, 0xfff0000000000000,
   1572   0xffe8000000000000, 0x0000000000000000,
   1573   0x0000000000000000, 0x2000000000000000,
   1574   0x2000000000000000, 0x4000000000000000,
   1575   0x3fffffffffffffff, 0x7fffffffffffffff,
   1576   0x7fffffffffffffff, 0xfffffffffffffffe,
   1577   0xfffffffffffffffd, 0xfffffffffffffffc,
   1578   0xfffffffffffffffa, 0xfffffffffffffff8,
   1579   0xfffffffffffffff4, 0xfffffffffffffff0,
   1580   0xffffffffffffffe8, 0x0000000000000000,
   1581   0x0000000000000000, 0x0000000000001000,
   1582   0x0000000000001000, 0xfffffffffffffffe,
   1583   0xfffffffffffffffd, 0xfffffffffffffffc,
   1584   0xfffffffffffffffa, 0xfffffffffffffff8,
   1585   0xfffffffffffffff4, 0xfffffffffffffff0,
   1586   0xffffffffffffffe8, 0xfffffffffffffffe,
   1587   0xfffffffffffffffd, 0xfffffffffffffffc,
   1588   0xfffffffffffffffa, 0xfffffffffffffff8,
   1589   0xfffffffffffffff4, 0xfffffffffffffff0,
   1590   0xffffffffffffffe8, 0x0000000000000000,
   1591   0x0000000000000000, 0x0000000000000000,
   1592   0x0000000000000000, 0x0000000000000000,
   1593   0x0000000000000000, 0x0000000000000000,
   1594   0x0000000000000000, 0x0000000000000001,
   1595   0x0000000000000001, 0x2000000000000000,
   1596   0x2000000000000000, 0x4000000000000000,
   1597   0x3fffffffffffffff, 0x7fffffffffffffff,
   1598   0x7fffffffffffffff, 0xffffffffffffffff,
   1599   0xfffffffffffffffe, 0xfffffffffffffffe,
   1600   0xfffffffffffffffc, 0xfffffffffffffffc,
   1601   0xfffffffffffffff8, 0x0000000000000000,
   1602   0x0000000000000000, 0x0000000000000000,
   1603   0x0000000000000000, 0x0000000000000000,
   1604   0x0000000000000000, 0x0000000000000000,
   1605   0x0000000000000000, 0x2000000000000000,
   1606   0x2000000000000000, 0x4000000000000000,
   1607   0x4000000000000000, 0x8000000000000000,
   1608   0x7fffffffffffffff, 0x2000000000000000,
   1609   0x2000000000000000, 0x4000000000000000,
   1610   0x4000000000000000, 0x8000000000000000,
   1611   0x7fffffffffffffff, 0xfff8000000000000,
   1612   0xfff0000000000000, 0x0000000000000000,
   1613   0x0000000000000000, 0x2000000000000000,
   1614   0x2000000000000000, 0x4000000000000000,
   1615   0x4000000000000000, 0x8000000000000000,
   1616   0x7fffffffffffffff, 0xffffffffffffffff,
   1617   0xfffffffffffffffe, 0xfffffffffffffffe,
   1618   0xfffffffffffffffc, 0xfffffffffffffffc,
   1619   0xfffffffffffffff8, 0xfffffffffffffff8,
   1620   0xfffffffffffffff0, 0x0000000000000000,
   1621   0x0000000000000000, 0x0000000000001000,
   1622   0x0000000000001000, 0xffffffffffffffff,
   1623   0xfffffffffffffffe, 0xfffffffffffffffe,
   1624   0xfffffffffffffffc, 0xfffffffffffffffc,
   1625   0xfffffffffffffff8, 0xfffffffffffffff8,
   1626   0xfffffffffffffff0, 0xffffffffffffffff,
   1627   0xfffffffffffffffe, 0xfffffffffffffffe,
   1628   0xfffffffffffffffc, 0xfffffffffffffffc,
   1629   0xfffffffffffffff8, 0xfffffffffffffff8,
   1630   0xfffffffffffffff0, 0x0000000000000000,
   1631   0x0000000000000000, 0x0000000000000000,
   1632   0x0000000000000000, 0x0000000000000000,
   1633   0x0000000000000000, 0x0000000000000000,
   1634   0x0000000000000000, 0x0000000000000001,
   1635   0x0000000000000001, 0x2000000000000000,
   1636   0x2000000000000000, 0x4000000000000000,
   1637   0x4000000000000000, 0x8000000000000000,
   1638 };
   1639 const unsigned kExpectedCount_NEON_urshl_2D = 1600;
   1640 
   1641 #endif  // VIXL_SIM_URSHL_2D_TRACE_AARCH64_H_
   1642