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