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_SQSUB_D_TRACE_AARCH64_H_
     35 #define VIXL_SIM_SQSUB_D_TRACE_AARCH64_H_
     36 
     37 const uint64_t kExpected_NEON_sqsub_D[] = {
     38   0x0000000000000000, 0x0000000000000000,
     39   0x000000000000007d, 0x0000000000000000,
     40   0x000000000000007c, 0x0000000000000000,
     41   0x000000000000007b, 0x0000000000000000,
     42   0x000000000000003d, 0x0000000000000000,
     43   0x0000000000000000, 0x0000000000000000,
     44   0xffffffffffffffff, 0x0000000000000000,
     45   0xfffffffffffffffe, 0x0000000000000000,
     46   0xffffffffffff8080, 0x0000000000000000,
     47   0xffffffffffff807f, 0x0000000000000000,
     48   0xffffffffffff807e, 0x0000000000000000,
     49   0xffffffff80000080, 0x0000000000000000,
     50   0xffffffff8000007f, 0x0000000000000000,
     51   0xffffffff8000007e, 0x0000000000000000,
     52   0xcccccccccccccd4a, 0x0000000000000000,
     53   0xaaaaaaaaaaaaab28, 0x0000000000000000,
     54   0x8000000000000080, 0x0000000000000000,
     55   0x800000000000007f, 0x0000000000000000,
     56   0x800000000000007e, 0x0000000000000000,
     57   0x7fffffffffffffff, 0x0000000000000000,
     58   0x7fffffffffffffff, 0x0000000000000000,
     59   0x7fffffffffffffff, 0x0000000000000000,
     60   0x7fffffffffffffff, 0x0000000000000000,
     61   0x55555555555555d3, 0x0000000000000000,
     62   0x33333333333333b1, 0x0000000000000000,
     63   0x000000008000007d, 0x0000000000000000,
     64   0x000000008000007c, 0x0000000000000000,
     65   0x000000008000007b, 0x0000000000000000,
     66   0x000000008000007a, 0x0000000000000000,
     67   0x000000000000807d, 0x0000000000000000,
     68   0x000000000000807c, 0x0000000000000000,
     69   0x000000000000807b, 0x0000000000000000,
     70   0x000000000000807a, 0x0000000000000000,
     71   0x00000000000000fd, 0x0000000000000000,
     72   0x00000000000000fc, 0x0000000000000000,
     73   0x00000000000000fb, 0x0000000000000000,
     74   0x00000000000000fa, 0x0000000000000000,
     75   0x00000000000000bd, 0x0000000000000000,
     76   0x0000000000000080, 0x0000000000000000,
     77   0x000000000000007f, 0x0000000000000000,
     78   0x0000000000000001, 0x0000000000000000,
     79   0x0000000000000000, 0x0000000000000000,
     80   0xffffffffffffffff, 0x0000000000000000,
     81   0xfffffffffffffffe, 0x0000000000000000,
     82   0xffffffffffffffc0, 0x0000000000000000,
     83   0xffffffffffffff83, 0x0000000000000000,
     84   0xffffffffffffff82, 0x0000000000000000,
     85   0xffffffffffffff81, 0x0000000000000000,
     86   0xffffffffffff8003, 0x0000000000000000,
     87   0xffffffffffff8002, 0x0000000000000000,
     88   0xffffffffffff8001, 0x0000000000000000,
     89   0xffffffff80000003, 0x0000000000000000,
     90   0xffffffff80000002, 0x0000000000000000,
     91   0xffffffff80000001, 0x0000000000000000,
     92   0xcccccccccccccccd, 0x0000000000000000,
     93   0xaaaaaaaaaaaaaaab, 0x0000000000000000,
     94   0x8000000000000003, 0x0000000000000000,
     95   0x8000000000000002, 0x0000000000000000,
     96   0x8000000000000001, 0x0000000000000000,
     97   0x7fffffffffffffff, 0x0000000000000000,
     98   0x7fffffffffffffff, 0x0000000000000000,
     99   0x7ffffffffffffffe, 0x0000000000000000,
    100   0x7ffffffffffffffd, 0x0000000000000000,
    101   0x5555555555555556, 0x0000000000000000,
    102   0x3333333333333334, 0x0000000000000000,
    103   0x0000000080000000, 0x0000000000000000,
    104   0x000000007fffffff, 0x0000000000000000,
    105   0x000000007ffffffe, 0x0000000000000000,
    106   0x000000007ffffffd, 0x0000000000000000,
    107   0x0000000000008000, 0x0000000000000000,
    108   0x0000000000007fff, 0x0000000000000000,
    109   0x0000000000007ffe, 0x0000000000000000,
    110   0x0000000000007ffd, 0x0000000000000000,
    111   0x0000000000000080, 0x0000000000000000,
    112   0x000000000000007f, 0x0000000000000000,
    113   0x000000000000007e, 0x0000000000000000,
    114   0x000000000000007d, 0x0000000000000000,
    115   0x0000000000000040, 0x0000000000000000,
    116   0x0000000000000003, 0x0000000000000000,
    117   0x0000000000000002, 0x0000000000000000,
    118   0x0000000000000002, 0x0000000000000000,
    119   0x0000000000000001, 0x0000000000000000,
    120   0x0000000000000000, 0x0000000000000000,
    121   0xffffffffffffffff, 0x0000000000000000,
    122   0xffffffffffffffc1, 0x0000000000000000,
    123   0xffffffffffffff84, 0x0000000000000000,
    124   0xffffffffffffff83, 0x0000000000000000,
    125   0xffffffffffffff82, 0x0000000000000000,
    126   0xffffffffffff8004, 0x0000000000000000,
    127   0xffffffffffff8003, 0x0000000000000000,
    128   0xffffffffffff8002, 0x0000000000000000,
    129   0xffffffff80000004, 0x0000000000000000,
    130   0xffffffff80000003, 0x0000000000000000,
    131   0xffffffff80000002, 0x0000000000000000,
    132   0xccccccccccccccce, 0x0000000000000000,
    133   0xaaaaaaaaaaaaaaac, 0x0000000000000000,
    134   0x8000000000000004, 0x0000000000000000,
    135   0x8000000000000003, 0x0000000000000000,
    136   0x8000000000000002, 0x0000000000000000,
    137   0x7fffffffffffffff, 0x0000000000000000,
    138   0x7fffffffffffffff, 0x0000000000000000,
    139   0x7fffffffffffffff, 0x0000000000000000,
    140   0x7ffffffffffffffe, 0x0000000000000000,
    141   0x5555555555555557, 0x0000000000000000,
    142   0x3333333333333335, 0x0000000000000000,
    143   0x0000000080000001, 0x0000000000000000,
    144   0x0000000080000000, 0x0000000000000000,
    145   0x000000007fffffff, 0x0000000000000000,
    146   0x000000007ffffffe, 0x0000000000000000,
    147   0x0000000000008001, 0x0000000000000000,
    148   0x0000000000008000, 0x0000000000000000,
    149   0x0000000000007fff, 0x0000000000000000,
    150   0x0000000000007ffe, 0x0000000000000000,
    151   0x0000000000000081, 0x0000000000000000,
    152   0x0000000000000080, 0x0000000000000000,
    153   0x000000000000007f, 0x0000000000000000,
    154   0x000000000000007e, 0x0000000000000000,
    155   0x0000000000000041, 0x0000000000000000,
    156   0x0000000000000004, 0x0000000000000000,
    157   0x0000000000000003, 0x0000000000000000,
    158   0x0000000000000003, 0x0000000000000000,
    159   0x0000000000000002, 0x0000000000000000,
    160   0x0000000000000001, 0x0000000000000000,
    161   0x0000000000000000, 0x0000000000000000,
    162   0xffffffffffffffc2, 0x0000000000000000,
    163   0xffffffffffffff85, 0x0000000000000000,
    164   0xffffffffffffff84, 0x0000000000000000,
    165   0xffffffffffffff83, 0x0000000000000000,
    166   0xffffffffffff8005, 0x0000000000000000,
    167   0xffffffffffff8004, 0x0000000000000000,
    168   0xffffffffffff8003, 0x0000000000000000,
    169   0xffffffff80000005, 0x0000000000000000,
    170   0xffffffff80000004, 0x0000000000000000,
    171   0xffffffff80000003, 0x0000000000000000,
    172   0xcccccccccccccccf, 0x0000000000000000,
    173   0xaaaaaaaaaaaaaaad, 0x0000000000000000,
    174   0x8000000000000005, 0x0000000000000000,
    175   0x8000000000000004, 0x0000000000000000,
    176   0x8000000000000003, 0x0000000000000000,
    177   0x7fffffffffffffff, 0x0000000000000000,
    178   0x7fffffffffffffff, 0x0000000000000000,
    179   0x7fffffffffffffff, 0x0000000000000000,
    180   0x7fffffffffffffff, 0x0000000000000000,
    181   0x5555555555555558, 0x0000000000000000,
    182   0x3333333333333336, 0x0000000000000000,
    183   0x0000000080000002, 0x0000000000000000,
    184   0x0000000080000001, 0x0000000000000000,
    185   0x0000000080000000, 0x0000000000000000,
    186   0x000000007fffffff, 0x0000000000000000,
    187   0x0000000000008002, 0x0000000000000000,
    188   0x0000000000008001, 0x0000000000000000,
    189   0x0000000000008000, 0x0000000000000000,
    190   0x0000000000007fff, 0x0000000000000000,
    191   0x0000000000000082, 0x0000000000000000,
    192   0x0000000000000081, 0x0000000000000000,
    193   0x0000000000000080, 0x0000000000000000,
    194   0x000000000000007f, 0x0000000000000000,
    195   0x0000000000000042, 0x0000000000000000,
    196   0x0000000000000005, 0x0000000000000000,
    197   0x0000000000000004, 0x0000000000000000,
    198   0x0000000000000041, 0x0000000000000000,
    199   0x0000000000000040, 0x0000000000000000,
    200   0x000000000000003f, 0x0000000000000000,
    201   0x000000000000003e, 0x0000000000000000,
    202   0x0000000000000000, 0x0000000000000000,
    203   0xffffffffffffffc3, 0x0000000000000000,
    204   0xffffffffffffffc2, 0x0000000000000000,
    205   0xffffffffffffffc1, 0x0000000000000000,
    206   0xffffffffffff8043, 0x0000000000000000,
    207   0xffffffffffff8042, 0x0000000000000000,
    208   0xffffffffffff8041, 0x0000000000000000,
    209   0xffffffff80000043, 0x0000000000000000,
    210   0xffffffff80000042, 0x0000000000000000,
    211   0xffffffff80000041, 0x0000000000000000,
    212   0xcccccccccccccd0d, 0x0000000000000000,
    213   0xaaaaaaaaaaaaaaeb, 0x0000000000000000,
    214   0x8000000000000043, 0x0000000000000000,
    215   0x8000000000000042, 0x0000000000000000,
    216   0x8000000000000041, 0x0000000000000000,
    217   0x7fffffffffffffff, 0x0000000000000000,
    218   0x7fffffffffffffff, 0x0000000000000000,
    219   0x7fffffffffffffff, 0x0000000000000000,
    220   0x7fffffffffffffff, 0x0000000000000000,
    221   0x5555555555555596, 0x0000000000000000,
    222   0x3333333333333374, 0x0000000000000000,
    223   0x0000000080000040, 0x0000000000000000,
    224   0x000000008000003f, 0x0000000000000000,
    225   0x000000008000003e, 0x0000000000000000,
    226   0x000000008000003d, 0x0000000000000000,
    227   0x0000000000008040, 0x0000000000000000,
    228   0x000000000000803f, 0x0000000000000000,
    229   0x000000000000803e, 0x0000000000000000,
    230   0x000000000000803d, 0x0000000000000000,
    231   0x00000000000000c0, 0x0000000000000000,
    232   0x00000000000000bf, 0x0000000000000000,
    233   0x00000000000000be, 0x0000000000000000,
    234   0x00000000000000bd, 0x0000000000000000,
    235   0x0000000000000080, 0x0000000000000000,
    236   0x0000000000000043, 0x0000000000000000,
    237   0x0000000000000042, 0x0000000000000000,
    238   0x000000000000007e, 0x0000000000000000,
    239   0x000000000000007d, 0x0000000000000000,
    240   0x000000000000007c, 0x0000000000000000,
    241   0x000000000000007b, 0x0000000000000000,
    242   0x000000000000003d, 0x0000000000000000,
    243   0x0000000000000000, 0x0000000000000000,
    244   0xffffffffffffffff, 0x0000000000000000,
    245   0xfffffffffffffffe, 0x0000000000000000,
    246   0xffffffffffff8080, 0x0000000000000000,
    247   0xffffffffffff807f, 0x0000000000000000,
    248   0xffffffffffff807e, 0x0000000000000000,
    249   0xffffffff80000080, 0x0000000000000000,
    250   0xffffffff8000007f, 0x0000000000000000,
    251   0xffffffff8000007e, 0x0000000000000000,
    252   0xcccccccccccccd4a, 0x0000000000000000,
    253   0xaaaaaaaaaaaaab28, 0x0000000000000000,
    254   0x8000000000000080, 0x0000000000000000,
    255   0x800000000000007f, 0x0000000000000000,
    256   0x800000000000007e, 0x0000000000000000,
    257   0x7fffffffffffffff, 0x0000000000000000,
    258   0x7fffffffffffffff, 0x0000000000000000,
    259   0x7fffffffffffffff, 0x0000000000000000,
    260   0x7fffffffffffffff, 0x0000000000000000,
    261   0x55555555555555d3, 0x0000000000000000,
    262   0x33333333333333b1, 0x0000000000000000,
    263   0x000000008000007d, 0x0000000000000000,
    264   0x000000008000007c, 0x0000000000000000,
    265   0x000000008000007b, 0x0000000000000000,
    266   0x000000008000007a, 0x0000000000000000,
    267   0x000000000000807d, 0x0000000000000000,
    268   0x000000000000807c, 0x0000000000000000,
    269   0x000000000000807b, 0x0000000000000000,
    270   0x000000000000807a, 0x0000000000000000,
    271   0x00000000000000fd, 0x0000000000000000,
    272   0x00000000000000fc, 0x0000000000000000,
    273   0x00000000000000fb, 0x0000000000000000,
    274   0x00000000000000fa, 0x0000000000000000,
    275   0x00000000000000bd, 0x0000000000000000,
    276   0x0000000000000080, 0x0000000000000000,
    277   0x000000000000007f, 0x0000000000000000,
    278   0x000000000000007f, 0x0000000000000000,
    279   0x000000000000007e, 0x0000000000000000,
    280   0x000000000000007d, 0x0000000000000000,
    281   0x000000000000007c, 0x0000000000000000,
    282   0x000000000000003e, 0x0000000000000000,
    283   0x0000000000000001, 0x0000000000000000,
    284   0x0000000000000000, 0x0000000000000000,
    285   0xffffffffffffffff, 0x0000000000000000,
    286   0xffffffffffff8081, 0x0000000000000000,
    287   0xffffffffffff8080, 0x0000000000000000,
    288   0xffffffffffff807f, 0x0000000000000000,
    289   0xffffffff80000081, 0x0000000000000000,
    290   0xffffffff80000080, 0x0000000000000000,
    291   0xffffffff8000007f, 0x0000000000000000,
    292   0xcccccccccccccd4b, 0x0000000000000000,
    293   0xaaaaaaaaaaaaab29, 0x0000000000000000,
    294   0x8000000000000081, 0x0000000000000000,
    295   0x8000000000000080, 0x0000000000000000,
    296   0x800000000000007f, 0x0000000000000000,
    297   0x7fffffffffffffff, 0x0000000000000000,
    298   0x7fffffffffffffff, 0x0000000000000000,
    299   0x7fffffffffffffff, 0x0000000000000000,
    300   0x7fffffffffffffff, 0x0000000000000000,
    301   0x55555555555555d4, 0x0000000000000000,
    302   0x33333333333333b2, 0x0000000000000000,
    303   0x000000008000007e, 0x0000000000000000,
    304   0x000000008000007d, 0x0000000000000000,
    305   0x000000008000007c, 0x0000000000000000,
    306   0x000000008000007b, 0x0000000000000000,
    307   0x000000000000807e, 0x0000000000000000,
    308   0x000000000000807d, 0x0000000000000000,
    309   0x000000000000807c, 0x0000000000000000,
    310   0x000000000000807b, 0x0000000000000000,
    311   0x00000000000000fe, 0x0000000000000000,
    312   0x00000000000000fd, 0x0000000000000000,
    313   0x00000000000000fc, 0x0000000000000000,
    314   0x00000000000000fb, 0x0000000000000000,
    315   0x00000000000000be, 0x0000000000000000,
    316   0x0000000000000081, 0x0000000000000000,
    317   0x0000000000000080, 0x0000000000000000,
    318   0x0000000000000080, 0x0000000000000000,
    319   0x000000000000007f, 0x0000000000000000,
    320   0x000000000000007e, 0x0000000000000000,
    321   0x000000000000007d, 0x0000000000000000,
    322   0x000000000000003f, 0x0000000000000000,
    323   0x0000000000000002, 0x0000000000000000,
    324   0x0000000000000001, 0x0000000000000000,
    325   0x0000000000000000, 0x0000000000000000,
    326   0xffffffffffff8082, 0x0000000000000000,
    327   0xffffffffffff8081, 0x0000000000000000,
    328   0xffffffffffff8080, 0x0000000000000000,
    329   0xffffffff80000082, 0x0000000000000000,
    330   0xffffffff80000081, 0x0000000000000000,
    331   0xffffffff80000080, 0x0000000000000000,
    332   0xcccccccccccccd4c, 0x0000000000000000,
    333   0xaaaaaaaaaaaaab2a, 0x0000000000000000,
    334   0x8000000000000082, 0x0000000000000000,
    335   0x8000000000000081, 0x0000000000000000,
    336   0x8000000000000080, 0x0000000000000000,
    337   0x7fffffffffffffff, 0x0000000000000000,
    338   0x7fffffffffffffff, 0x0000000000000000,
    339   0x7fffffffffffffff, 0x0000000000000000,
    340   0x7fffffffffffffff, 0x0000000000000000,
    341   0x55555555555555d5, 0x0000000000000000,
    342   0x33333333333333b3, 0x0000000000000000,
    343   0x000000008000007f, 0x0000000000000000,
    344   0x000000008000007e, 0x0000000000000000,
    345   0x000000008000007d, 0x0000000000000000,
    346   0x000000008000007c, 0x0000000000000000,
    347   0x000000000000807f, 0x0000000000000000,
    348   0x000000000000807e, 0x0000000000000000,
    349   0x000000000000807d, 0x0000000000000000,
    350   0x000000000000807c, 0x0000000000000000,
    351   0x00000000000000ff, 0x0000000000000000,
    352   0x00000000000000fe, 0x0000000000000000,
    353   0x00000000000000fd, 0x0000000000000000,
    354   0x00000000000000fc, 0x0000000000000000,
    355   0x00000000000000bf, 0x0000000000000000,
    356   0x0000000000000082, 0x0000000000000000,
    357   0x0000000000000081, 0x0000000000000000,
    358   0x0000000000007ffe, 0x0000000000000000,
    359   0x0000000000007ffd, 0x0000000000000000,
    360   0x0000000000007ffc, 0x0000000000000000,
    361   0x0000000000007ffb, 0x0000000000000000,
    362   0x0000000000007fbd, 0x0000000000000000,
    363   0x0000000000007f80, 0x0000000000000000,
    364   0x0000000000007f7f, 0x0000000000000000,
    365   0x0000000000007f7e, 0x0000000000000000,
    366   0x0000000000000000, 0x0000000000000000,
    367   0xffffffffffffffff, 0x0000000000000000,
    368   0xfffffffffffffffe, 0x0000000000000000,
    369   0xffffffff80008000, 0x0000000000000000,
    370   0xffffffff80007fff, 0x0000000000000000,
    371   0xffffffff80007ffe, 0x0000000000000000,
    372   0xcccccccccccd4cca, 0x0000000000000000,
    373   0xaaaaaaaaaaab2aa8, 0x0000000000000000,
    374   0x8000000000008000, 0x0000000000000000,
    375   0x8000000000007fff, 0x0000000000000000,
    376   0x8000000000007ffe, 0x0000000000000000,
    377   0x7fffffffffffffff, 0x0000000000000000,
    378   0x7fffffffffffffff, 0x0000000000000000,
    379   0x7fffffffffffffff, 0x0000000000000000,
    380   0x7fffffffffffffff, 0x0000000000000000,
    381   0x555555555555d553, 0x0000000000000000,
    382   0x333333333333b331, 0x0000000000000000,
    383   0x0000000080007ffd, 0x0000000000000000,
    384   0x0000000080007ffc, 0x0000000000000000,
    385   0x0000000080007ffb, 0x0000000000000000,
    386   0x0000000080007ffa, 0x0000000000000000,
    387   0x000000000000fffd, 0x0000000000000000,
    388   0x000000000000fffc, 0x0000000000000000,
    389   0x000000000000fffb, 0x0000000000000000,
    390   0x000000000000fffa, 0x0000000000000000,
    391   0x000000000000807d, 0x0000000000000000,
    392   0x000000000000807c, 0x0000000000000000,
    393   0x000000000000807b, 0x0000000000000000,
    394   0x000000000000807a, 0x0000000000000000,
    395   0x000000000000803d, 0x0000000000000000,
    396   0x0000000000008000, 0x0000000000000000,
    397   0x0000000000007fff, 0x0000000000000000,
    398   0x0000000000007fff, 0x0000000000000000,
    399   0x0000000000007ffe, 0x0000000000000000,
    400   0x0000000000007ffd, 0x0000000000000000,
    401   0x0000000000007ffc, 0x0000000000000000,
    402   0x0000000000007fbe, 0x0000000000000000,
    403   0x0000000000007f81, 0x0000000000000000,
    404   0x0000000000007f80, 0x0000000000000000,
    405   0x0000000000007f7f, 0x0000000000000000,
    406   0x0000000000000001, 0x0000000000000000,
    407   0x0000000000000000, 0x0000000000000000,
    408   0xffffffffffffffff, 0x0000000000000000,
    409   0xffffffff80008001, 0x0000000000000000,
    410   0xffffffff80008000, 0x0000000000000000,
    411   0xffffffff80007fff, 0x0000000000000000,
    412   0xcccccccccccd4ccb, 0x0000000000000000,
    413   0xaaaaaaaaaaab2aa9, 0x0000000000000000,
    414   0x8000000000008001, 0x0000000000000000,
    415   0x8000000000008000, 0x0000000000000000,
    416   0x8000000000007fff, 0x0000000000000000,
    417   0x7fffffffffffffff, 0x0000000000000000,
    418   0x7fffffffffffffff, 0x0000000000000000,
    419   0x7fffffffffffffff, 0x0000000000000000,
    420   0x7fffffffffffffff, 0x0000000000000000,
    421   0x555555555555d554, 0x0000000000000000,
    422   0x333333333333b332, 0x0000000000000000,
    423   0x0000000080007ffe, 0x0000000000000000,
    424   0x0000000080007ffd, 0x0000000000000000,
    425   0x0000000080007ffc, 0x0000000000000000,
    426   0x0000000080007ffb, 0x0000000000000000,
    427   0x000000000000fffe, 0x0000000000000000,
    428   0x000000000000fffd, 0x0000000000000000,
    429   0x000000000000fffc, 0x0000000000000000,
    430   0x000000000000fffb, 0x0000000000000000,
    431   0x000000000000807e, 0x0000000000000000,
    432   0x000000000000807d, 0x0000000000000000,
    433   0x000000000000807c, 0x0000000000000000,
    434   0x000000000000807b, 0x0000000000000000,
    435   0x000000000000803e, 0x0000000000000000,
    436   0x0000000000008001, 0x0000000000000000,
    437   0x0000000000008000, 0x0000000000000000,
    438   0x0000000000008000, 0x0000000000000000,
    439   0x0000000000007fff, 0x0000000000000000,
    440   0x0000000000007ffe, 0x0000000000000000,
    441   0x0000000000007ffd, 0x0000000000000000,
    442   0x0000000000007fbf, 0x0000000000000000,
    443   0x0000000000007f82, 0x0000000000000000,
    444   0x0000000000007f81, 0x0000000000000000,
    445   0x0000000000007f80, 0x0000000000000000,
    446   0x0000000000000002, 0x0000000000000000,
    447   0x0000000000000001, 0x0000000000000000,
    448   0x0000000000000000, 0x0000000000000000,
    449   0xffffffff80008002, 0x0000000000000000,
    450   0xffffffff80008001, 0x0000000000000000,
    451   0xffffffff80008000, 0x0000000000000000,
    452   0xcccccccccccd4ccc, 0x0000000000000000,
    453   0xaaaaaaaaaaab2aaa, 0x0000000000000000,
    454   0x8000000000008002, 0x0000000000000000,
    455   0x8000000000008001, 0x0000000000000000,
    456   0x8000000000008000, 0x0000000000000000,
    457   0x7fffffffffffffff, 0x0000000000000000,
    458   0x7fffffffffffffff, 0x0000000000000000,
    459   0x7fffffffffffffff, 0x0000000000000000,
    460   0x7fffffffffffffff, 0x0000000000000000,
    461   0x555555555555d555, 0x0000000000000000,
    462   0x333333333333b333, 0x0000000000000000,
    463   0x0000000080007fff, 0x0000000000000000,
    464   0x0000000080007ffe, 0x0000000000000000,
    465   0x0000000080007ffd, 0x0000000000000000,
    466   0x0000000080007ffc, 0x0000000000000000,
    467   0x000000000000ffff, 0x0000000000000000,
    468   0x000000000000fffe, 0x0000000000000000,
    469   0x000000000000fffd, 0x0000000000000000,
    470   0x000000000000fffc, 0x0000000000000000,
    471   0x000000000000807f, 0x0000000000000000,
    472   0x000000000000807e, 0x0000000000000000,
    473   0x000000000000807d, 0x0000000000000000,
    474   0x000000000000807c, 0x0000000000000000,
    475   0x000000000000803f, 0x0000000000000000,
    476   0x0000000000008002, 0x0000000000000000,
    477   0x0000000000008001, 0x0000000000000000,
    478   0x000000007ffffffe, 0x0000000000000000,
    479   0x000000007ffffffd, 0x0000000000000000,
    480   0x000000007ffffffc, 0x0000000000000000,
    481   0x000000007ffffffb, 0x0000000000000000,
    482   0x000000007fffffbd, 0x0000000000000000,
    483   0x000000007fffff80, 0x0000000000000000,
    484   0x000000007fffff7f, 0x0000000000000000,
    485   0x000000007fffff7e, 0x0000000000000000,
    486   0x000000007fff8000, 0x0000000000000000,
    487   0x000000007fff7fff, 0x0000000000000000,
    488   0x000000007fff7ffe, 0x0000000000000000,
    489   0x0000000000000000, 0x0000000000000000,
    490   0xffffffffffffffff, 0x0000000000000000,
    491   0xfffffffffffffffe, 0x0000000000000000,
    492   0xcccccccd4cccccca, 0x0000000000000000,
    493   0xaaaaaaab2aaaaaa8, 0x0000000000000000,
    494   0x8000000080000000, 0x0000000000000000,
    495   0x800000007fffffff, 0x0000000000000000,
    496   0x800000007ffffffe, 0x0000000000000000,
    497   0x7fffffffffffffff, 0x0000000000000000,
    498   0x7fffffffffffffff, 0x0000000000000000,
    499   0x7fffffffffffffff, 0x0000000000000000,
    500   0x7fffffffffffffff, 0x0000000000000000,
    501   0x55555555d5555553, 0x0000000000000000,
    502   0x33333333b3333331, 0x0000000000000000,
    503   0x00000000fffffffd, 0x0000000000000000,
    504   0x00000000fffffffc, 0x0000000000000000,
    505   0x00000000fffffffb, 0x0000000000000000,
    506   0x00000000fffffffa, 0x0000000000000000,
    507   0x0000000080007ffd, 0x0000000000000000,
    508   0x0000000080007ffc, 0x0000000000000000,
    509   0x0000000080007ffb, 0x0000000000000000,
    510   0x0000000080007ffa, 0x0000000000000000,
    511   0x000000008000007d, 0x0000000000000000,
    512   0x000000008000007c, 0x0000000000000000,
    513   0x000000008000007b, 0x0000000000000000,
    514   0x000000008000007a, 0x0000000000000000,
    515   0x000000008000003d, 0x0000000000000000,
    516   0x0000000080000000, 0x0000000000000000,
    517   0x000000007fffffff, 0x0000000000000000,
    518   0x000000007fffffff, 0x0000000000000000,
    519   0x000000007ffffffe, 0x0000000000000000,
    520   0x000000007ffffffd, 0x0000000000000000,
    521   0x000000007ffffffc, 0x0000000000000000,
    522   0x000000007fffffbe, 0x0000000000000000,
    523   0x000000007fffff81, 0x0000000000000000,
    524   0x000000007fffff80, 0x0000000000000000,
    525   0x000000007fffff7f, 0x0000000000000000,
    526   0x000000007fff8001, 0x0000000000000000,
    527   0x000000007fff8000, 0x0000000000000000,
    528   0x000000007fff7fff, 0x0000000000000000,
    529   0x0000000000000001, 0x0000000000000000,
    530   0x0000000000000000, 0x0000000000000000,
    531   0xffffffffffffffff, 0x0000000000000000,
    532   0xcccccccd4ccccccb, 0x0000000000000000,
    533   0xaaaaaaab2aaaaaa9, 0x0000000000000000,
    534   0x8000000080000001, 0x0000000000000000,
    535   0x8000000080000000, 0x0000000000000000,
    536   0x800000007fffffff, 0x0000000000000000,
    537   0x7fffffffffffffff, 0x0000000000000000,
    538   0x7fffffffffffffff, 0x0000000000000000,
    539   0x7fffffffffffffff, 0x0000000000000000,
    540   0x7fffffffffffffff, 0x0000000000000000,
    541   0x55555555d5555554, 0x0000000000000000,
    542   0x33333333b3333332, 0x0000000000000000,
    543   0x00000000fffffffe, 0x0000000000000000,
    544   0x00000000fffffffd, 0x0000000000000000,
    545   0x00000000fffffffc, 0x0000000000000000,
    546   0x00000000fffffffb, 0x0000000000000000,
    547   0x0000000080007ffe, 0x0000000000000000,
    548   0x0000000080007ffd, 0x0000000000000000,
    549   0x0000000080007ffc, 0x0000000000000000,
    550   0x0000000080007ffb, 0x0000000000000000,
    551   0x000000008000007e, 0x0000000000000000,
    552   0x000000008000007d, 0x0000000000000000,
    553   0x000000008000007c, 0x0000000000000000,
    554   0x000000008000007b, 0x0000000000000000,
    555   0x000000008000003e, 0x0000000000000000,
    556   0x0000000080000001, 0x0000000000000000,
    557   0x0000000080000000, 0x0000000000000000,
    558   0x0000000080000000, 0x0000000000000000,
    559   0x000000007fffffff, 0x0000000000000000,
    560   0x000000007ffffffe, 0x0000000000000000,
    561   0x000000007ffffffd, 0x0000000000000000,
    562   0x000000007fffffbf, 0x0000000000000000,
    563   0x000000007fffff82, 0x0000000000000000,
    564   0x000000007fffff81, 0x0000000000000000,
    565   0x000000007fffff80, 0x0000000000000000,
    566   0x000000007fff8002, 0x0000000000000000,
    567   0x000000007fff8001, 0x0000000000000000,
    568   0x000000007fff8000, 0x0000000000000000,
    569   0x0000000000000002, 0x0000000000000000,
    570   0x0000000000000001, 0x0000000000000000,
    571   0x0000000000000000, 0x0000000000000000,
    572   0xcccccccd4ccccccc, 0x0000000000000000,
    573   0xaaaaaaab2aaaaaaa, 0x0000000000000000,
    574   0x8000000080000002, 0x0000000000000000,
    575   0x8000000080000001, 0x0000000000000000,
    576   0x8000000080000000, 0x0000000000000000,
    577   0x7fffffffffffffff, 0x0000000000000000,
    578   0x7fffffffffffffff, 0x0000000000000000,
    579   0x7fffffffffffffff, 0x0000000000000000,
    580   0x7fffffffffffffff, 0x0000000000000000,
    581   0x55555555d5555555, 0x0000000000000000,
    582   0x33333333b3333333, 0x0000000000000000,
    583   0x00000000ffffffff, 0x0000000000000000,
    584   0x00000000fffffffe, 0x0000000000000000,
    585   0x00000000fffffffd, 0x0000000000000000,
    586   0x00000000fffffffc, 0x0000000000000000,
    587   0x0000000080007fff, 0x0000000000000000,
    588   0x0000000080007ffe, 0x0000000000000000,
    589   0x0000000080007ffd, 0x0000000000000000,
    590   0x0000000080007ffc, 0x0000000000000000,
    591   0x000000008000007f, 0x0000000000000000,
    592   0x000000008000007e, 0x0000000000000000,
    593   0x000000008000007d, 0x0000000000000000,
    594   0x000000008000007c, 0x0000000000000000,
    595   0x000000008000003f, 0x0000000000000000,
    596   0x0000000080000002, 0x0000000000000000,
    597   0x0000000080000001, 0x0000000000000000,
    598   0x3333333333333334, 0x0000000000000000,
    599   0x3333333333333333, 0x0000000000000000,
    600   0x3333333333333332, 0x0000000000000000,
    601   0x3333333333333331, 0x0000000000000000,
    602   0x33333333333332f3, 0x0000000000000000,
    603   0x33333333333332b6, 0x0000000000000000,
    604   0x33333333333332b5, 0x0000000000000000,
    605   0x33333333333332b4, 0x0000000000000000,
    606   0x333333333332b336, 0x0000000000000000,
    607   0x333333333332b335, 0x0000000000000000,
    608   0x333333333332b334, 0x0000000000000000,
    609   0x33333332b3333336, 0x0000000000000000,
    610   0x33333332b3333335, 0x0000000000000000,
    611   0x33333332b3333334, 0x0000000000000000,
    612   0x0000000000000000, 0x0000000000000000,
    613   0xddddddddddddddde, 0x0000000000000000,
    614   0xb333333333333336, 0x0000000000000000,
    615   0xb333333333333335, 0x0000000000000000,
    616   0xb333333333333334, 0x0000000000000000,
    617   0x7fffffffffffffff, 0x0000000000000000,
    618   0x7fffffffffffffff, 0x0000000000000000,
    619   0x7fffffffffffffff, 0x0000000000000000,
    620   0x7fffffffffffffff, 0x0000000000000000,
    621   0x7fffffffffffffff, 0x0000000000000000,
    622   0x6666666666666667, 0x0000000000000000,
    623   0x33333333b3333333, 0x0000000000000000,
    624   0x33333333b3333332, 0x0000000000000000,
    625   0x33333333b3333331, 0x0000000000000000,
    626   0x33333333b3333330, 0x0000000000000000,
    627   0x333333333333b333, 0x0000000000000000,
    628   0x333333333333b332, 0x0000000000000000,
    629   0x333333333333b331, 0x0000000000000000,
    630   0x333333333333b330, 0x0000000000000000,
    631   0x33333333333333b3, 0x0000000000000000,
    632   0x33333333333333b2, 0x0000000000000000,
    633   0x33333333333333b1, 0x0000000000000000,
    634   0x33333333333333b0, 0x0000000000000000,
    635   0x3333333333333373, 0x0000000000000000,
    636   0x3333333333333336, 0x0000000000000000,
    637   0x3333333333333335, 0x0000000000000000,
    638   0x5555555555555556, 0x0000000000000000,
    639   0x5555555555555555, 0x0000000000000000,
    640   0x5555555555555554, 0x0000000000000000,
    641   0x5555555555555553, 0x0000000000000000,
    642   0x5555555555555515, 0x0000000000000000,
    643   0x55555555555554d8, 0x0000000000000000,
    644   0x55555555555554d7, 0x0000000000000000,
    645   0x55555555555554d6, 0x0000000000000000,
    646   0x555555555554d558, 0x0000000000000000,
    647   0x555555555554d557, 0x0000000000000000,
    648   0x555555555554d556, 0x0000000000000000,
    649   0x55555554d5555558, 0x0000000000000000,
    650   0x55555554d5555557, 0x0000000000000000,
    651   0x55555554d5555556, 0x0000000000000000,
    652   0x2222222222222222, 0x0000000000000000,
    653   0x0000000000000000, 0x0000000000000000,
    654   0xd555555555555558, 0x0000000000000000,
    655   0xd555555555555557, 0x0000000000000000,
    656   0xd555555555555556, 0x0000000000000000,
    657   0x7fffffffffffffff, 0x0000000000000000,
    658   0x7fffffffffffffff, 0x0000000000000000,
    659   0x7fffffffffffffff, 0x0000000000000000,
    660   0x7fffffffffffffff, 0x0000000000000000,
    661   0x7fffffffffffffff, 0x0000000000000000,
    662   0x7fffffffffffffff, 0x0000000000000000,
    663   0x55555555d5555555, 0x0000000000000000,
    664   0x55555555d5555554, 0x0000000000000000,
    665   0x55555555d5555553, 0x0000000000000000,
    666   0x55555555d5555552, 0x0000000000000000,
    667   0x555555555555d555, 0x0000000000000000,
    668   0x555555555555d554, 0x0000000000000000,
    669   0x555555555555d553, 0x0000000000000000,
    670   0x555555555555d552, 0x0000000000000000,
    671   0x55555555555555d5, 0x0000000000000000,
    672   0x55555555555555d4, 0x0000000000000000,
    673   0x55555555555555d3, 0x0000000000000000,
    674   0x55555555555555d2, 0x0000000000000000,
    675   0x5555555555555595, 0x0000000000000000,
    676   0x5555555555555558, 0x0000000000000000,
    677   0x5555555555555557, 0x0000000000000000,
    678   0x7ffffffffffffffe, 0x0000000000000000,
    679   0x7ffffffffffffffd, 0x0000000000000000,
    680   0x7ffffffffffffffc, 0x0000000000000000,
    681   0x7ffffffffffffffb, 0x0000000000000000,
    682   0x7fffffffffffffbd, 0x0000000000000000,
    683   0x7fffffffffffff80, 0x0000000000000000,
    684   0x7fffffffffffff7f, 0x0000000000000000,
    685   0x7fffffffffffff7e, 0x0000000000000000,
    686   0x7fffffffffff8000, 0x0000000000000000,
    687   0x7fffffffffff7fff, 0x0000000000000000,
    688   0x7fffffffffff7ffe, 0x0000000000000000,
    689   0x7fffffff80000000, 0x0000000000000000,
    690   0x7fffffff7fffffff, 0x0000000000000000,
    691   0x7fffffff7ffffffe, 0x0000000000000000,
    692   0x4cccccccccccccca, 0x0000000000000000,
    693   0x2aaaaaaaaaaaaaa8, 0x0000000000000000,
    694   0x0000000000000000, 0x0000000000000000,
    695   0xffffffffffffffff, 0x0000000000000000,
    696   0xfffffffffffffffe, 0x0000000000000000,
    697   0x7fffffffffffffff, 0x0000000000000000,
    698   0x7fffffffffffffff, 0x0000000000000000,
    699   0x7fffffffffffffff, 0x0000000000000000,
    700   0x7fffffffffffffff, 0x0000000000000000,
    701   0x7fffffffffffffff, 0x0000000000000000,
    702   0x7fffffffffffffff, 0x0000000000000000,
    703   0x7fffffffffffffff, 0x0000000000000000,
    704   0x7fffffffffffffff, 0x0000000000000000,
    705   0x7fffffffffffffff, 0x0000000000000000,
    706   0x7fffffffffffffff, 0x0000000000000000,
    707   0x7fffffffffffffff, 0x0000000000000000,
    708   0x7fffffffffffffff, 0x0000000000000000,
    709   0x7fffffffffffffff, 0x0000000000000000,
    710   0x7fffffffffffffff, 0x0000000000000000,
    711   0x7fffffffffffffff, 0x0000000000000000,
    712   0x7fffffffffffffff, 0x0000000000000000,
    713   0x7fffffffffffffff, 0x0000000000000000,
    714   0x7fffffffffffffff, 0x0000000000000000,
    715   0x7fffffffffffffff, 0x0000000000000000,
    716   0x7fffffffffffffff, 0x0000000000000000,
    717   0x7fffffffffffffff, 0x0000000000000000,
    718   0x7fffffffffffffff, 0x0000000000000000,
    719   0x7ffffffffffffffe, 0x0000000000000000,
    720   0x7ffffffffffffffd, 0x0000000000000000,
    721   0x7ffffffffffffffc, 0x0000000000000000,
    722   0x7fffffffffffffbe, 0x0000000000000000,
    723   0x7fffffffffffff81, 0x0000000000000000,
    724   0x7fffffffffffff80, 0x0000000000000000,
    725   0x7fffffffffffff7f, 0x0000000000000000,
    726   0x7fffffffffff8001, 0x0000000000000000,
    727   0x7fffffffffff8000, 0x0000000000000000,
    728   0x7fffffffffff7fff, 0x0000000000000000,
    729   0x7fffffff80000001, 0x0000000000000000,
    730   0x7fffffff80000000, 0x0000000000000000,
    731   0x7fffffff7fffffff, 0x0000000000000000,
    732   0x4ccccccccccccccb, 0x0000000000000000,
    733   0x2aaaaaaaaaaaaaa9, 0x0000000000000000,
    734   0x0000000000000001, 0x0000000000000000,
    735   0x0000000000000000, 0x0000000000000000,
    736   0xffffffffffffffff, 0x0000000000000000,
    737   0x7fffffffffffffff, 0x0000000000000000,
    738   0x7fffffffffffffff, 0x0000000000000000,
    739   0x7fffffffffffffff, 0x0000000000000000,
    740   0x7fffffffffffffff, 0x0000000000000000,
    741   0x7fffffffffffffff, 0x0000000000000000,
    742   0x7fffffffffffffff, 0x0000000000000000,
    743   0x7fffffffffffffff, 0x0000000000000000,
    744   0x7fffffffffffffff, 0x0000000000000000,
    745   0x7fffffffffffffff, 0x0000000000000000,
    746   0x7fffffffffffffff, 0x0000000000000000,
    747   0x7fffffffffffffff, 0x0000000000000000,
    748   0x7fffffffffffffff, 0x0000000000000000,
    749   0x7fffffffffffffff, 0x0000000000000000,
    750   0x7fffffffffffffff, 0x0000000000000000,
    751   0x7fffffffffffffff, 0x0000000000000000,
    752   0x7fffffffffffffff, 0x0000000000000000,
    753   0x7fffffffffffffff, 0x0000000000000000,
    754   0x7fffffffffffffff, 0x0000000000000000,
    755   0x7fffffffffffffff, 0x0000000000000000,
    756   0x7fffffffffffffff, 0x0000000000000000,
    757   0x7fffffffffffffff, 0x0000000000000000,
    758   0x7fffffffffffffff, 0x0000000000000000,
    759   0x7fffffffffffffff, 0x0000000000000000,
    760   0x7ffffffffffffffe, 0x0000000000000000,
    761   0x7ffffffffffffffd, 0x0000000000000000,
    762   0x7fffffffffffffbf, 0x0000000000000000,
    763   0x7fffffffffffff82, 0x0000000000000000,
    764   0x7fffffffffffff81, 0x0000000000000000,
    765   0x7fffffffffffff80, 0x0000000000000000,
    766   0x7fffffffffff8002, 0x0000000000000000,
    767   0x7fffffffffff8001, 0x0000000000000000,
    768   0x7fffffffffff8000, 0x0000000000000000,
    769   0x7fffffff80000002, 0x0000000000000000,
    770   0x7fffffff80000001, 0x0000000000000000,
    771   0x7fffffff80000000, 0x0000000000000000,
    772   0x4ccccccccccccccc, 0x0000000000000000,
    773   0x2aaaaaaaaaaaaaaa, 0x0000000000000000,
    774   0x0000000000000002, 0x0000000000000000,
    775   0x0000000000000001, 0x0000000000000000,
    776   0x0000000000000000, 0x0000000000000000,
    777   0x7fffffffffffffff, 0x0000000000000000,
    778   0x7fffffffffffffff, 0x0000000000000000,
    779   0x7fffffffffffffff, 0x0000000000000000,
    780   0x7fffffffffffffff, 0x0000000000000000,
    781   0x7fffffffffffffff, 0x0000000000000000,
    782   0x7fffffffffffffff, 0x0000000000000000,
    783   0x7fffffffffffffff, 0x0000000000000000,
    784   0x7fffffffffffffff, 0x0000000000000000,
    785   0x7fffffffffffffff, 0x0000000000000000,
    786   0x7fffffffffffffff, 0x0000000000000000,
    787   0x7fffffffffffffff, 0x0000000000000000,
    788   0x7fffffffffffffff, 0x0000000000000000,
    789   0x7fffffffffffffff, 0x0000000000000000,
    790   0x7fffffffffffffff, 0x0000000000000000,
    791   0x7fffffffffffffff, 0x0000000000000000,
    792   0x7fffffffffffffff, 0x0000000000000000,
    793   0x7fffffffffffffff, 0x0000000000000000,
    794   0x7fffffffffffffff, 0x0000000000000000,
    795   0x7fffffffffffffff, 0x0000000000000000,
    796   0x7fffffffffffffff, 0x0000000000000000,
    797   0x7fffffffffffffff, 0x0000000000000000,
    798   0x8000000000000001, 0x0000000000000000,
    799   0x8000000000000000, 0x0000000000000000,
    800   0x8000000000000000, 0x0000000000000000,
    801   0x8000000000000000, 0x0000000000000000,
    802   0x8000000000000000, 0x0000000000000000,
    803   0x8000000000000000, 0x0000000000000000,
    804   0x8000000000000000, 0x0000000000000000,
    805   0x8000000000000000, 0x0000000000000000,
    806   0x8000000000000000, 0x0000000000000000,
    807   0x8000000000000000, 0x0000000000000000,
    808   0x8000000000000000, 0x0000000000000000,
    809   0x8000000000000000, 0x0000000000000000,
    810   0x8000000000000000, 0x0000000000000000,
    811   0x8000000000000000, 0x0000000000000000,
    812   0x8000000000000000, 0x0000000000000000,
    813   0x8000000000000000, 0x0000000000000000,
    814   0x8000000000000000, 0x0000000000000000,
    815   0x8000000000000000, 0x0000000000000000,
    816   0x8000000000000000, 0x0000000000000000,
    817   0x0000000000000000, 0x0000000000000000,
    818   0xffffffffffffffff, 0x0000000000000000,
    819   0xfffffffffffffffe, 0x0000000000000000,
    820   0xfffffffffffffffd, 0x0000000000000000,
    821   0xd555555555555556, 0x0000000000000000,
    822   0xb333333333333334, 0x0000000000000000,
    823   0x8000000080000000, 0x0000000000000000,
    824   0x800000007fffffff, 0x0000000000000000,
    825   0x800000007ffffffe, 0x0000000000000000,
    826   0x800000007ffffffd, 0x0000000000000000,
    827   0x8000000000008000, 0x0000000000000000,
    828   0x8000000000007fff, 0x0000000000000000,
    829   0x8000000000007ffe, 0x0000000000000000,
    830   0x8000000000007ffd, 0x0000000000000000,
    831   0x8000000000000080, 0x0000000000000000,
    832   0x800000000000007f, 0x0000000000000000,
    833   0x800000000000007e, 0x0000000000000000,
    834   0x800000000000007d, 0x0000000000000000,
    835   0x8000000000000040, 0x0000000000000000,
    836   0x8000000000000003, 0x0000000000000000,
    837   0x8000000000000002, 0x0000000000000000,
    838   0x8000000000000002, 0x0000000000000000,
    839   0x8000000000000001, 0x0000000000000000,
    840   0x8000000000000000, 0x0000000000000000,
    841   0x8000000000000000, 0x0000000000000000,
    842   0x8000000000000000, 0x0000000000000000,
    843   0x8000000000000000, 0x0000000000000000,
    844   0x8000000000000000, 0x0000000000000000,
    845   0x8000000000000000, 0x0000000000000000,
    846   0x8000000000000000, 0x0000000000000000,
    847   0x8000000000000000, 0x0000000000000000,
    848   0x8000000000000000, 0x0000000000000000,
    849   0x8000000000000000, 0x0000000000000000,
    850   0x8000000000000000, 0x0000000000000000,
    851   0x8000000000000000, 0x0000000000000000,
    852   0x8000000000000000, 0x0000000000000000,
    853   0x8000000000000000, 0x0000000000000000,
    854   0x8000000000000000, 0x0000000000000000,
    855   0x8000000000000000, 0x0000000000000000,
    856   0x8000000000000000, 0x0000000000000000,
    857   0x0000000000000001, 0x0000000000000000,
    858   0x0000000000000000, 0x0000000000000000,
    859   0xffffffffffffffff, 0x0000000000000000,
    860   0xfffffffffffffffe, 0x0000000000000000,
    861   0xd555555555555557, 0x0000000000000000,
    862   0xb333333333333335, 0x0000000000000000,
    863   0x8000000080000001, 0x0000000000000000,
    864   0x8000000080000000, 0x0000000000000000,
    865   0x800000007fffffff, 0x0000000000000000,
    866   0x800000007ffffffe, 0x0000000000000000,
    867   0x8000000000008001, 0x0000000000000000,
    868   0x8000000000008000, 0x0000000000000000,
    869   0x8000000000007fff, 0x0000000000000000,
    870   0x8000000000007ffe, 0x0000000000000000,
    871   0x8000000000000081, 0x0000000000000000,
    872   0x8000000000000080, 0x0000000000000000,
    873   0x800000000000007f, 0x0000000000000000,
    874   0x800000000000007e, 0x0000000000000000,
    875   0x8000000000000041, 0x0000000000000000,
    876   0x8000000000000004, 0x0000000000000000,
    877   0x8000000000000003, 0x0000000000000000,
    878   0x8000000000000003, 0x0000000000000000,
    879   0x8000000000000002, 0x0000000000000000,
    880   0x8000000000000001, 0x0000000000000000,
    881   0x8000000000000000, 0x0000000000000000,
    882   0x8000000000000000, 0x0000000000000000,
    883   0x8000000000000000, 0x0000000000000000,
    884   0x8000000000000000, 0x0000000000000000,
    885   0x8000000000000000, 0x0000000000000000,
    886   0x8000000000000000, 0x0000000000000000,
    887   0x8000000000000000, 0x0000000000000000,
    888   0x8000000000000000, 0x0000000000000000,
    889   0x8000000000000000, 0x0000000000000000,
    890   0x8000000000000000, 0x0000000000000000,
    891   0x8000000000000000, 0x0000000000000000,
    892   0x8000000000000000, 0x0000000000000000,
    893   0x8000000000000000, 0x0000000000000000,
    894   0x8000000000000000, 0x0000000000000000,
    895   0x8000000000000000, 0x0000000000000000,
    896   0x8000000000000000, 0x0000000000000000,
    897   0x0000000000000002, 0x0000000000000000,
    898   0x0000000000000001, 0x0000000000000000,
    899   0x0000000000000000, 0x0000000000000000,
    900   0xffffffffffffffff, 0x0000000000000000,
    901   0xd555555555555558, 0x0000000000000000,
    902   0xb333333333333336, 0x0000000000000000,
    903   0x8000000080000002, 0x0000000000000000,
    904   0x8000000080000001, 0x0000000000000000,
    905   0x8000000080000000, 0x0000000000000000,
    906   0x800000007fffffff, 0x0000000000000000,
    907   0x8000000000008002, 0x0000000000000000,
    908   0x8000000000008001, 0x0000000000000000,
    909   0x8000000000008000, 0x0000000000000000,
    910   0x8000000000007fff, 0x0000000000000000,
    911   0x8000000000000082, 0x0000000000000000,
    912   0x8000000000000081, 0x0000000000000000,
    913   0x8000000000000080, 0x0000000000000000,
    914   0x800000000000007f, 0x0000000000000000,
    915   0x8000000000000042, 0x0000000000000000,
    916   0x8000000000000005, 0x0000000000000000,
    917   0x8000000000000004, 0x0000000000000000,
    918   0x8000000000000004, 0x0000000000000000,
    919   0x8000000000000003, 0x0000000000000000,
    920   0x8000000000000002, 0x0000000000000000,
    921   0x8000000000000001, 0x0000000000000000,
    922   0x8000000000000000, 0x0000000000000000,
    923   0x8000000000000000, 0x0000000000000000,
    924   0x8000000000000000, 0x0000000000000000,
    925   0x8000000000000000, 0x0000000000000000,
    926   0x8000000000000000, 0x0000000000000000,
    927   0x8000000000000000, 0x0000000000000000,
    928   0x8000000000000000, 0x0000000000000000,
    929   0x8000000000000000, 0x0000000000000000,
    930   0x8000000000000000, 0x0000000000000000,
    931   0x8000000000000000, 0x0000000000000000,
    932   0x8000000000000000, 0x0000000000000000,
    933   0x8000000000000000, 0x0000000000000000,
    934   0x8000000000000000, 0x0000000000000000,
    935   0x8000000000000000, 0x0000000000000000,
    936   0x8000000000000000, 0x0000000000000000,
    937   0x0000000000000003, 0x0000000000000000,
    938   0x0000000000000002, 0x0000000000000000,
    939   0x0000000000000001, 0x0000000000000000,
    940   0x0000000000000000, 0x0000000000000000,
    941   0xd555555555555559, 0x0000000000000000,
    942   0xb333333333333337, 0x0000000000000000,
    943   0x8000000080000003, 0x0000000000000000,
    944   0x8000000080000002, 0x0000000000000000,
    945   0x8000000080000001, 0x0000000000000000,
    946   0x8000000080000000, 0x0000000000000000,
    947   0x8000000000008003, 0x0000000000000000,
    948   0x8000000000008002, 0x0000000000000000,
    949   0x8000000000008001, 0x0000000000000000,
    950   0x8000000000008000, 0x0000000000000000,
    951   0x8000000000000083, 0x0000000000000000,
    952   0x8000000000000082, 0x0000000000000000,
    953   0x8000000000000081, 0x0000000000000000,
    954   0x8000000000000080, 0x0000000000000000,
    955   0x8000000000000043, 0x0000000000000000,
    956   0x8000000000000006, 0x0000000000000000,
    957   0x8000000000000005, 0x0000000000000000,
    958   0xaaaaaaaaaaaaaaab, 0x0000000000000000,
    959   0xaaaaaaaaaaaaaaaa, 0x0000000000000000,
    960   0xaaaaaaaaaaaaaaa9, 0x0000000000000000,
    961   0xaaaaaaaaaaaaaaa8, 0x0000000000000000,
    962   0xaaaaaaaaaaaaaa6a, 0x0000000000000000,
    963   0xaaaaaaaaaaaaaa2d, 0x0000000000000000,
    964   0xaaaaaaaaaaaaaa2c, 0x0000000000000000,
    965   0xaaaaaaaaaaaaaa2b, 0x0000000000000000,
    966   0xaaaaaaaaaaaa2aad, 0x0000000000000000,
    967   0xaaaaaaaaaaaa2aac, 0x0000000000000000,
    968   0xaaaaaaaaaaaa2aab, 0x0000000000000000,
    969   0xaaaaaaaa2aaaaaad, 0x0000000000000000,
    970   0xaaaaaaaa2aaaaaac, 0x0000000000000000,
    971   0xaaaaaaaa2aaaaaab, 0x0000000000000000,
    972   0x8000000000000000, 0x0000000000000000,
    973   0x8000000000000000, 0x0000000000000000,
    974   0x8000000000000000, 0x0000000000000000,
    975   0x8000000000000000, 0x0000000000000000,
    976   0x8000000000000000, 0x0000000000000000,
    977   0x2aaaaaaaaaaaaaaa, 0x0000000000000000,
    978   0x2aaaaaaaaaaaaaa9, 0x0000000000000000,
    979   0x2aaaaaaaaaaaaaa8, 0x0000000000000000,
    980   0x2aaaaaaaaaaaaaa7, 0x0000000000000000,
    981   0x0000000000000000, 0x0000000000000000,
    982   0xddddddddddddddde, 0x0000000000000000,
    983   0xaaaaaaab2aaaaaaa, 0x0000000000000000,
    984   0xaaaaaaab2aaaaaa9, 0x0000000000000000,
    985   0xaaaaaaab2aaaaaa8, 0x0000000000000000,
    986   0xaaaaaaab2aaaaaa7, 0x0000000000000000,
    987   0xaaaaaaaaaaab2aaa, 0x0000000000000000,
    988   0xaaaaaaaaaaab2aa9, 0x0000000000000000,
    989   0xaaaaaaaaaaab2aa8, 0x0000000000000000,
    990   0xaaaaaaaaaaab2aa7, 0x0000000000000000,
    991   0xaaaaaaaaaaaaab2a, 0x0000000000000000,
    992   0xaaaaaaaaaaaaab29, 0x0000000000000000,
    993   0xaaaaaaaaaaaaab28, 0x0000000000000000,
    994   0xaaaaaaaaaaaaab27, 0x0000000000000000,
    995   0xaaaaaaaaaaaaaaea, 0x0000000000000000,
    996   0xaaaaaaaaaaaaaaad, 0x0000000000000000,
    997   0xaaaaaaaaaaaaaaac, 0x0000000000000000,
    998   0xcccccccccccccccd, 0x0000000000000000,
    999   0xcccccccccccccccc, 0x0000000000000000,
   1000   0xcccccccccccccccb, 0x0000000000000000,
   1001   0xccccccccccccccca, 0x0000000000000000,
   1002   0xcccccccccccccc8c, 0x0000000000000000,
   1003   0xcccccccccccccc4f, 0x0000000000000000,
   1004   0xcccccccccccccc4e, 0x0000000000000000,
   1005   0xcccccccccccccc4d, 0x0000000000000000,
   1006   0xcccccccccccc4ccf, 0x0000000000000000,
   1007   0xcccccccccccc4cce, 0x0000000000000000,
   1008   0xcccccccccccc4ccd, 0x0000000000000000,
   1009   0xcccccccc4ccccccf, 0x0000000000000000,
   1010   0xcccccccc4cccccce, 0x0000000000000000,
   1011   0xcccccccc4ccccccd, 0x0000000000000000,
   1012   0x9999999999999999, 0x0000000000000000,
   1013   0x8000000000000000, 0x0000000000000000,
   1014   0x8000000000000000, 0x0000000000000000,
   1015   0x8000000000000000, 0x0000000000000000,
   1016   0x8000000000000000, 0x0000000000000000,
   1017   0x4ccccccccccccccc, 0x0000000000000000,
   1018   0x4ccccccccccccccb, 0x0000000000000000,
   1019   0x4cccccccccccccca, 0x0000000000000000,
   1020   0x4cccccccccccccc9, 0x0000000000000000,
   1021   0x2222222222222222, 0x0000000000000000,
   1022   0x0000000000000000, 0x0000000000000000,
   1023   0xcccccccd4ccccccc, 0x0000000000000000,
   1024   0xcccccccd4ccccccb, 0x0000000000000000,
   1025   0xcccccccd4cccccca, 0x0000000000000000,
   1026   0xcccccccd4cccccc9, 0x0000000000000000,
   1027   0xcccccccccccd4ccc, 0x0000000000000000,
   1028   0xcccccccccccd4ccb, 0x0000000000000000,
   1029   0xcccccccccccd4cca, 0x0000000000000000,
   1030   0xcccccccccccd4cc9, 0x0000000000000000,
   1031   0xcccccccccccccd4c, 0x0000000000000000,
   1032   0xcccccccccccccd4b, 0x0000000000000000,
   1033   0xcccccccccccccd4a, 0x0000000000000000,
   1034   0xcccccccccccccd49, 0x0000000000000000,
   1035   0xcccccccccccccd0c, 0x0000000000000000,
   1036   0xcccccccccccccccf, 0x0000000000000000,
   1037   0xccccccccccccccce, 0x0000000000000000,
   1038   0xffffffff80000001, 0x0000000000000000,
   1039   0xffffffff80000000, 0x0000000000000000,
   1040   0xffffffff7fffffff, 0x0000000000000000,
   1041   0xffffffff7ffffffe, 0x0000000000000000,
   1042   0xffffffff7fffffc0, 0x0000000000000000,
   1043   0xffffffff7fffff83, 0x0000000000000000,
   1044   0xffffffff7fffff82, 0x0000000000000000,
   1045   0xffffffff7fffff81, 0x0000000000000000,
   1046   0xffffffff7fff8003, 0x0000000000000000,
   1047   0xffffffff7fff8002, 0x0000000000000000,
   1048   0xffffffff7fff8001, 0x0000000000000000,
   1049   0xffffffff00000003, 0x0000000000000000,
   1050   0xffffffff00000002, 0x0000000000000000,
   1051   0xffffffff00000001, 0x0000000000000000,
   1052   0xcccccccc4ccccccd, 0x0000000000000000,
   1053   0xaaaaaaaa2aaaaaab, 0x0000000000000000,
   1054   0x8000000000000000, 0x0000000000000000,
   1055   0x8000000000000000, 0x0000000000000000,
   1056   0x8000000000000000, 0x0000000000000000,
   1057   0x7fffffff80000000, 0x0000000000000000,
   1058   0x7fffffff7fffffff, 0x0000000000000000,
   1059   0x7fffffff7ffffffe, 0x0000000000000000,
   1060   0x7fffffff7ffffffd, 0x0000000000000000,
   1061   0x55555554d5555556, 0x0000000000000000,
   1062   0x33333332b3333334, 0x0000000000000000,
   1063   0x0000000000000000, 0x0000000000000000,
   1064   0xffffffffffffffff, 0x0000000000000000,
   1065   0xfffffffffffffffe, 0x0000000000000000,
   1066   0xfffffffffffffffd, 0x0000000000000000,
   1067   0xffffffff80008000, 0x0000000000000000,
   1068   0xffffffff80007fff, 0x0000000000000000,
   1069   0xffffffff80007ffe, 0x0000000000000000,
   1070   0xffffffff80007ffd, 0x0000000000000000,
   1071   0xffffffff80000080, 0x0000000000000000,
   1072   0xffffffff8000007f, 0x0000000000000000,
   1073   0xffffffff8000007e, 0x0000000000000000,
   1074   0xffffffff8000007d, 0x0000000000000000,
   1075   0xffffffff80000040, 0x0000000000000000,
   1076   0xffffffff80000003, 0x0000000000000000,
   1077   0xffffffff80000002, 0x0000000000000000,
   1078   0xffffffff80000002, 0x0000000000000000,
   1079   0xffffffff80000001, 0x0000000000000000,
   1080   0xffffffff80000000, 0x0000000000000000,
   1081   0xffffffff7fffffff, 0x0000000000000000,
   1082   0xffffffff7fffffc1, 0x0000000000000000,
   1083   0xffffffff7fffff84, 0x0000000000000000,
   1084   0xffffffff7fffff83, 0x0000000000000000,
   1085   0xffffffff7fffff82, 0x0000000000000000,
   1086   0xffffffff7fff8004, 0x0000000000000000,
   1087   0xffffffff7fff8003, 0x0000000000000000,
   1088   0xffffffff7fff8002, 0x0000000000000000,
   1089   0xffffffff00000004, 0x0000000000000000,
   1090   0xffffffff00000003, 0x0000000000000000,
   1091   0xffffffff00000002, 0x0000000000000000,
   1092   0xcccccccc4cccccce, 0x0000000000000000,
   1093   0xaaaaaaaa2aaaaaac, 0x0000000000000000,
   1094   0x8000000000000000, 0x0000000000000000,
   1095   0x8000000000000000, 0x0000000000000000,
   1096   0x8000000000000000, 0x0000000000000000,
   1097   0x7fffffff80000001, 0x0000000000000000,
   1098   0x7fffffff80000000, 0x0000000000000000,
   1099   0x7fffffff7fffffff, 0x0000000000000000,
   1100   0x7fffffff7ffffffe, 0x0000000000000000,
   1101   0x55555554d5555557, 0x0000000000000000,
   1102   0x33333332b3333335, 0x0000000000000000,
   1103   0x0000000000000001, 0x0000000000000000,
   1104   0x0000000000000000, 0x0000000000000000,
   1105   0xffffffffffffffff, 0x0000000000000000,
   1106   0xfffffffffffffffe, 0x0000000000000000,
   1107   0xffffffff80008001, 0x0000000000000000,
   1108   0xffffffff80008000, 0x0000000000000000,
   1109   0xffffffff80007fff, 0x0000000000000000,
   1110   0xffffffff80007ffe, 0x0000000000000000,
   1111   0xffffffff80000081, 0x0000000000000000,
   1112   0xffffffff80000080, 0x0000000000000000,
   1113   0xffffffff8000007f, 0x0000000000000000,
   1114   0xffffffff8000007e, 0x0000000000000000,
   1115   0xffffffff80000041, 0x0000000000000000,
   1116   0xffffffff80000004, 0x0000000000000000,
   1117   0xffffffff80000003, 0x0000000000000000,
   1118   0xffffffff80000003, 0x0000000000000000,
   1119   0xffffffff80000002, 0x0000000000000000,
   1120   0xffffffff80000001, 0x0000000000000000,
   1121   0xffffffff80000000, 0x0000000000000000,
   1122   0xffffffff7fffffc2, 0x0000000000000000,
   1123   0xffffffff7fffff85, 0x0000000000000000,
   1124   0xffffffff7fffff84, 0x0000000000000000,
   1125   0xffffffff7fffff83, 0x0000000000000000,
   1126   0xffffffff7fff8005, 0x0000000000000000,
   1127   0xffffffff7fff8004, 0x0000000000000000,
   1128   0xffffffff7fff8003, 0x0000000000000000,
   1129   0xffffffff00000005, 0x0000000000000000,
   1130   0xffffffff00000004, 0x0000000000000000,
   1131   0xffffffff00000003, 0x0000000000000000,
   1132   0xcccccccc4ccccccf, 0x0000000000000000,
   1133   0xaaaaaaaa2aaaaaad, 0x0000000000000000,
   1134   0x8000000000000000, 0x0000000000000000,
   1135   0x8000000000000000, 0x0000000000000000,
   1136   0x8000000000000000, 0x0000000000000000,
   1137   0x7fffffff80000002, 0x0000000000000000,
   1138   0x7fffffff80000001, 0x0000000000000000,
   1139   0x7fffffff80000000, 0x0000000000000000,
   1140   0x7fffffff7fffffff, 0x0000000000000000,
   1141   0x55555554d5555558, 0x0000000000000000,
   1142   0x33333332b3333336, 0x0000000000000000,
   1143   0x0000000000000002, 0x0000000000000000,
   1144   0x0000000000000001, 0x0000000000000000,
   1145   0x0000000000000000, 0x0000000000000000,
   1146   0xffffffffffffffff, 0x0000000000000000,
   1147   0xffffffff80008002, 0x0000000000000000,
   1148   0xffffffff80008001, 0x0000000000000000,
   1149   0xffffffff80008000, 0x0000000000000000,
   1150   0xffffffff80007fff, 0x0000000000000000,
   1151   0xffffffff80000082, 0x0000000000000000,
   1152   0xffffffff80000081, 0x0000000000000000,
   1153   0xffffffff80000080, 0x0000000000000000,
   1154   0xffffffff8000007f, 0x0000000000000000,
   1155   0xffffffff80000042, 0x0000000000000000,
   1156   0xffffffff80000005, 0x0000000000000000,
   1157   0xffffffff80000004, 0x0000000000000000,
   1158   0xffffffff80000004, 0x0000000000000000,
   1159   0xffffffff80000003, 0x0000000000000000,
   1160   0xffffffff80000002, 0x0000000000000000,
   1161   0xffffffff80000001, 0x0000000000000000,
   1162   0xffffffff7fffffc3, 0x0000000000000000,
   1163   0xffffffff7fffff86, 0x0000000000000000,
   1164   0xffffffff7fffff85, 0x0000000000000000,
   1165   0xffffffff7fffff84, 0x0000000000000000,
   1166   0xffffffff7fff8006, 0x0000000000000000,
   1167   0xffffffff7fff8005, 0x0000000000000000,
   1168   0xffffffff7fff8004, 0x0000000000000000,
   1169   0xffffffff00000006, 0x0000000000000000,
   1170   0xffffffff00000005, 0x0000000000000000,
   1171   0xffffffff00000004, 0x0000000000000000,
   1172   0xcccccccc4cccccd0, 0x0000000000000000,
   1173   0xaaaaaaaa2aaaaaae, 0x0000000000000000,
   1174   0x8000000000000000, 0x0000000000000000,
   1175   0x8000000000000000, 0x0000000000000000,
   1176   0x8000000000000000, 0x0000000000000000,
   1177   0x7fffffff80000003, 0x0000000000000000,
   1178   0x7fffffff80000002, 0x0000000000000000,
   1179   0x7fffffff80000001, 0x0000000000000000,
   1180   0x7fffffff80000000, 0x0000000000000000,
   1181   0x55555554d5555559, 0x0000000000000000,
   1182   0x33333332b3333337, 0x0000000000000000,
   1183   0x0000000000000003, 0x0000000000000000,
   1184   0x0000000000000002, 0x0000000000000000,
   1185   0x0000000000000001, 0x0000000000000000,
   1186   0x0000000000000000, 0x0000000000000000,
   1187   0xffffffff80008003, 0x0000000000000000,
   1188   0xffffffff80008002, 0x0000000000000000,
   1189   0xffffffff80008001, 0x0000000000000000,
   1190   0xffffffff80008000, 0x0000000000000000,
   1191   0xffffffff80000083, 0x0000000000000000,
   1192   0xffffffff80000082, 0x0000000000000000,
   1193   0xffffffff80000081, 0x0000000000000000,
   1194   0xffffffff80000080, 0x0000000000000000,
   1195   0xffffffff80000043, 0x0000000000000000,
   1196   0xffffffff80000006, 0x0000000000000000,
   1197   0xffffffff80000005, 0x0000000000000000,
   1198   0xffffffffffff8001, 0x0000000000000000,
   1199   0xffffffffffff8000, 0x0000000000000000,
   1200   0xffffffffffff7fff, 0x0000000000000000,
   1201   0xffffffffffff7ffe, 0x0000000000000000,
   1202   0xffffffffffff7fc0, 0x0000000000000000,
   1203   0xffffffffffff7f83, 0x0000000000000000,
   1204   0xffffffffffff7f82, 0x0000000000000000,
   1205   0xffffffffffff7f81, 0x0000000000000000,
   1206   0xffffffffffff0003, 0x0000000000000000,
   1207   0xffffffffffff0002, 0x0000000000000000,
   1208   0xffffffffffff0001, 0x0000000000000000,
   1209   0xffffffff7fff8003, 0x0000000000000000,
   1210   0xffffffff7fff8002, 0x0000000000000000,
   1211   0xffffffff7fff8001, 0x0000000000000000,
   1212   0xcccccccccccc4ccd, 0x0000000000000000,
   1213   0xaaaaaaaaaaaa2aab, 0x0000000000000000,
   1214   0x8000000000000000, 0x0000000000000000,
   1215   0x8000000000000000, 0x0000000000000000,
   1216   0x8000000000000000, 0x0000000000000000,
   1217   0x7fffffffffff8000, 0x0000000000000000,
   1218   0x7fffffffffff7fff, 0x0000000000000000,
   1219   0x7fffffffffff7ffe, 0x0000000000000000,
   1220   0x7fffffffffff7ffd, 0x0000000000000000,
   1221   0x555555555554d556, 0x0000000000000000,
   1222   0x333333333332b334, 0x0000000000000000,
   1223   0x000000007fff8000, 0x0000000000000000,
   1224   0x000000007fff7fff, 0x0000000000000000,
   1225   0x000000007fff7ffe, 0x0000000000000000,
   1226   0x000000007fff7ffd, 0x0000000000000000,
   1227   0x0000000000000000, 0x0000000000000000,
   1228   0xffffffffffffffff, 0x0000000000000000,
   1229   0xfffffffffffffffe, 0x0000000000000000,
   1230   0xfffffffffffffffd, 0x0000000000000000,
   1231   0xffffffffffff8080, 0x0000000000000000,
   1232   0xffffffffffff807f, 0x0000000000000000,
   1233   0xffffffffffff807e, 0x0000000000000000,
   1234   0xffffffffffff807d, 0x0000000000000000,
   1235   0xffffffffffff8040, 0x0000000000000000,
   1236   0xffffffffffff8003, 0x0000000000000000,
   1237   0xffffffffffff8002, 0x0000000000000000,
   1238   0xffffffffffff8002, 0x0000000000000000,
   1239   0xffffffffffff8001, 0x0000000000000000,
   1240   0xffffffffffff8000, 0x0000000000000000,
   1241   0xffffffffffff7fff, 0x0000000000000000,
   1242   0xffffffffffff7fc1, 0x0000000000000000,
   1243   0xffffffffffff7f84, 0x0000000000000000,
   1244   0xffffffffffff7f83, 0x0000000000000000,
   1245   0xffffffffffff7f82, 0x0000000000000000,
   1246   0xffffffffffff0004, 0x0000000000000000,
   1247   0xffffffffffff0003, 0x0000000000000000,
   1248   0xffffffffffff0002, 0x0000000000000000,
   1249   0xffffffff7fff8004, 0x0000000000000000,
   1250   0xffffffff7fff8003, 0x0000000000000000,
   1251   0xffffffff7fff8002, 0x0000000000000000,
   1252   0xcccccccccccc4cce, 0x0000000000000000,
   1253   0xaaaaaaaaaaaa2aac, 0x0000000000000000,
   1254   0x8000000000000000, 0x0000000000000000,
   1255   0x8000000000000000, 0x0000000000000000,
   1256   0x8000000000000000, 0x0000000000000000,
   1257   0x7fffffffffff8001, 0x0000000000000000,
   1258   0x7fffffffffff8000, 0x0000000000000000,
   1259   0x7fffffffffff7fff, 0x0000000000000000,
   1260   0x7fffffffffff7ffe, 0x0000000000000000,
   1261   0x555555555554d557, 0x0000000000000000,
   1262   0x333333333332b335, 0x0000000000000000,
   1263   0x000000007fff8001, 0x0000000000000000,
   1264   0x000000007fff8000, 0x0000000000000000,
   1265   0x000000007fff7fff, 0x0000000000000000,
   1266   0x000000007fff7ffe, 0x0000000000000000,
   1267   0x0000000000000001, 0x0000000000000000,
   1268   0x0000000000000000, 0x0000000000000000,
   1269   0xffffffffffffffff, 0x0000000000000000,
   1270   0xfffffffffffffffe, 0x0000000000000000,
   1271   0xffffffffffff8081, 0x0000000000000000,
   1272   0xffffffffffff8080, 0x0000000000000000,
   1273   0xffffffffffff807f, 0x0000000000000000,
   1274   0xffffffffffff807e, 0x0000000000000000,
   1275   0xffffffffffff8041, 0x0000000000000000,
   1276   0xffffffffffff8004, 0x0000000000000000,
   1277   0xffffffffffff8003, 0x0000000000000000,
   1278   0xffffffffffff8003, 0x0000000000000000,
   1279   0xffffffffffff8002, 0x0000000000000000,
   1280   0xffffffffffff8001, 0x0000000000000000,
   1281   0xffffffffffff8000, 0x0000000000000000,
   1282   0xffffffffffff7fc2, 0x0000000000000000,
   1283   0xffffffffffff7f85, 0x0000000000000000,
   1284   0xffffffffffff7f84, 0x0000000000000000,
   1285   0xffffffffffff7f83, 0x0000000000000000,
   1286   0xffffffffffff0005, 0x0000000000000000,
   1287   0xffffffffffff0004, 0x0000000000000000,
   1288   0xffffffffffff0003, 0x0000000000000000,
   1289   0xffffffff7fff8005, 0x0000000000000000,
   1290   0xffffffff7fff8004, 0x0000000000000000,
   1291   0xffffffff7fff8003, 0x0000000000000000,
   1292   0xcccccccccccc4ccf, 0x0000000000000000,
   1293   0xaaaaaaaaaaaa2aad, 0x0000000000000000,
   1294   0x8000000000000000, 0x0000000000000000,
   1295   0x8000000000000000, 0x0000000000000000,
   1296   0x8000000000000000, 0x0000000000000000,
   1297   0x7fffffffffff8002, 0x0000000000000000,
   1298   0x7fffffffffff8001, 0x0000000000000000,
   1299   0x7fffffffffff8000, 0x0000000000000000,
   1300   0x7fffffffffff7fff, 0x0000000000000000,
   1301   0x555555555554d558, 0x0000000000000000,
   1302   0x333333333332b336, 0x0000000000000000,
   1303   0x000000007fff8002, 0x0000000000000000,
   1304   0x000000007fff8001, 0x0000000000000000,
   1305   0x000000007fff8000, 0x0000000000000000,
   1306   0x000000007fff7fff, 0x0000000000000000,
   1307   0x0000000000000002, 0x0000000000000000,
   1308   0x0000000000000001, 0x0000000000000000,
   1309   0x0000000000000000, 0x0000000000000000,
   1310   0xffffffffffffffff, 0x0000000000000000,
   1311   0xffffffffffff8082, 0x0000000000000000,
   1312   0xffffffffffff8081, 0x0000000000000000,
   1313   0xffffffffffff8080, 0x0000000000000000,
   1314   0xffffffffffff807f, 0x0000000000000000,
   1315   0xffffffffffff8042, 0x0000000000000000,
   1316   0xffffffffffff8005, 0x0000000000000000,
   1317   0xffffffffffff8004, 0x0000000000000000,
   1318   0xffffffffffff8004, 0x0000000000000000,
   1319   0xffffffffffff8003, 0x0000000000000000,
   1320   0xffffffffffff8002, 0x0000000000000000,
   1321   0xffffffffffff8001, 0x0000000000000000,
   1322   0xffffffffffff7fc3, 0x0000000000000000,
   1323   0xffffffffffff7f86, 0x0000000000000000,
   1324   0xffffffffffff7f85, 0x0000000000000000,
   1325   0xffffffffffff7f84, 0x0000000000000000,
   1326   0xffffffffffff0006, 0x0000000000000000,
   1327   0xffffffffffff0005, 0x0000000000000000,
   1328   0xffffffffffff0004, 0x0000000000000000,
   1329   0xffffffff7fff8006, 0x0000000000000000,
   1330   0xffffffff7fff8005, 0x0000000000000000,
   1331   0xffffffff7fff8004, 0x0000000000000000,
   1332   0xcccccccccccc4cd0, 0x0000000000000000,
   1333   0xaaaaaaaaaaaa2aae, 0x0000000000000000,
   1334   0x8000000000000000, 0x0000000000000000,
   1335   0x8000000000000000, 0x0000000000000000,
   1336   0x8000000000000000, 0x0000000000000000,
   1337   0x7fffffffffff8003, 0x0000000000000000,
   1338   0x7fffffffffff8002, 0x0000000000000000,
   1339   0x7fffffffffff8001, 0x0000000000000000,
   1340   0x7fffffffffff8000, 0x0000000000000000,
   1341   0x555555555554d559, 0x0000000000000000,
   1342   0x333333333332b337, 0x0000000000000000,
   1343   0x000000007fff8003, 0x0000000000000000,
   1344   0x000000007fff8002, 0x0000000000000000,
   1345   0x000000007fff8001, 0x0000000000000000,
   1346   0x000000007fff8000, 0x0000000000000000,
   1347   0x0000000000000003, 0x0000000000000000,
   1348   0x0000000000000002, 0x0000000000000000,
   1349   0x0000000000000001, 0x0000000000000000,
   1350   0x0000000000000000, 0x0000000000000000,
   1351   0xffffffffffff8083, 0x0000000000000000,
   1352   0xffffffffffff8082, 0x0000000000000000,
   1353   0xffffffffffff8081, 0x0000000000000000,
   1354   0xffffffffffff8080, 0x0000000000000000,
   1355   0xffffffffffff8043, 0x0000000000000000,
   1356   0xffffffffffff8006, 0x0000000000000000,
   1357   0xffffffffffff8005, 0x0000000000000000,
   1358   0xffffffffffffff81, 0x0000000000000000,
   1359   0xffffffffffffff80, 0x0000000000000000,
   1360   0xffffffffffffff7f, 0x0000000000000000,
   1361   0xffffffffffffff7e, 0x0000000000000000,
   1362   0xffffffffffffff40, 0x0000000000000000,
   1363   0xffffffffffffff03, 0x0000000000000000,
   1364   0xffffffffffffff02, 0x0000000000000000,
   1365   0xffffffffffffff01, 0x0000000000000000,
   1366   0xffffffffffff7f83, 0x0000000000000000,
   1367   0xffffffffffff7f82, 0x0000000000000000,
   1368   0xffffffffffff7f81, 0x0000000000000000,
   1369   0xffffffff7fffff83, 0x0000000000000000,
   1370   0xffffffff7fffff82, 0x0000000000000000,
   1371   0xffffffff7fffff81, 0x0000000000000000,
   1372   0xcccccccccccccc4d, 0x0000000000000000,
   1373   0xaaaaaaaaaaaaaa2b, 0x0000000000000000,
   1374   0x8000000000000000, 0x0000000000000000,
   1375   0x8000000000000000, 0x0000000000000000,
   1376   0x8000000000000000, 0x0000000000000000,
   1377   0x7fffffffffffff80, 0x0000000000000000,
   1378   0x7fffffffffffff7f, 0x0000000000000000,
   1379   0x7fffffffffffff7e, 0x0000000000000000,
   1380   0x7fffffffffffff7d, 0x0000000000000000,
   1381   0x55555555555554d6, 0x0000000000000000,
   1382   0x33333333333332b4, 0x0000000000000000,
   1383   0x000000007fffff80, 0x0000000000000000,
   1384   0x000000007fffff7f, 0x0000000000000000,
   1385   0x000000007fffff7e, 0x0000000000000000,
   1386   0x000000007fffff7d, 0x0000000000000000,
   1387   0x0000000000007f80, 0x0000000000000000,
   1388   0x0000000000007f7f, 0x0000000000000000,
   1389   0x0000000000007f7e, 0x0000000000000000,
   1390   0x0000000000007f7d, 0x0000000000000000,
   1391   0x0000000000000000, 0x0000000000000000,
   1392   0xffffffffffffffff, 0x0000000000000000,
   1393   0xfffffffffffffffe, 0x0000000000000000,
   1394   0xfffffffffffffffd, 0x0000000000000000,
   1395   0xffffffffffffffc0, 0x0000000000000000,
   1396   0xffffffffffffff83, 0x0000000000000000,
   1397   0xffffffffffffff82, 0x0000000000000000,
   1398   0xffffffffffffff82, 0x0000000000000000,
   1399   0xffffffffffffff81, 0x0000000000000000,
   1400   0xffffffffffffff80, 0x0000000000000000,
   1401   0xffffffffffffff7f, 0x0000000000000000,
   1402   0xffffffffffffff41, 0x0000000000000000,
   1403   0xffffffffffffff04, 0x0000000000000000,
   1404   0xffffffffffffff03, 0x0000000000000000,
   1405   0xffffffffffffff02, 0x0000000000000000,
   1406   0xffffffffffff7f84, 0x0000000000000000,
   1407   0xffffffffffff7f83, 0x0000000000000000,
   1408   0xffffffffffff7f82, 0x0000000000000000,
   1409   0xffffffff7fffff84, 0x0000000000000000,
   1410   0xffffffff7fffff83, 0x0000000000000000,
   1411   0xffffffff7fffff82, 0x0000000000000000,
   1412   0xcccccccccccccc4e, 0x0000000000000000,
   1413   0xaaaaaaaaaaaaaa2c, 0x0000000000000000,
   1414   0x8000000000000000, 0x0000000000000000,
   1415   0x8000000000000000, 0x0000000000000000,
   1416   0x8000000000000000, 0x0000000000000000,
   1417   0x7fffffffffffff81, 0x0000000000000000,
   1418   0x7fffffffffffff80, 0x0000000000000000,
   1419   0x7fffffffffffff7f, 0x0000000000000000,
   1420   0x7fffffffffffff7e, 0x0000000000000000,
   1421   0x55555555555554d7, 0x0000000000000000,
   1422   0x33333333333332b5, 0x0000000000000000,
   1423   0x000000007fffff81, 0x0000000000000000,
   1424   0x000000007fffff80, 0x0000000000000000,
   1425   0x000000007fffff7f, 0x0000000000000000,
   1426   0x000000007fffff7e, 0x0000000000000000,
   1427   0x0000000000007f81, 0x0000000000000000,
   1428   0x0000000000007f80, 0x0000000000000000,
   1429   0x0000000000007f7f, 0x0000000000000000,
   1430   0x0000000000007f7e, 0x0000000000000000,
   1431   0x0000000000000001, 0x0000000000000000,
   1432   0x0000000000000000, 0x0000000000000000,
   1433   0xffffffffffffffff, 0x0000000000000000,
   1434   0xfffffffffffffffe, 0x0000000000000000,
   1435   0xffffffffffffffc1, 0x0000000000000000,
   1436   0xffffffffffffff84, 0x0000000000000000,
   1437   0xffffffffffffff83, 0x0000000000000000,
   1438   0xffffffffffffff83, 0x0000000000000000,
   1439   0xffffffffffffff82, 0x0000000000000000,
   1440   0xffffffffffffff81, 0x0000000000000000,
   1441   0xffffffffffffff80, 0x0000000000000000,
   1442   0xffffffffffffff42, 0x0000000000000000,
   1443   0xffffffffffffff05, 0x0000000000000000,
   1444   0xffffffffffffff04, 0x0000000000000000,
   1445   0xffffffffffffff03, 0x0000000000000000,
   1446   0xffffffffffff7f85, 0x0000000000000000,
   1447   0xffffffffffff7f84, 0x0000000000000000,
   1448   0xffffffffffff7f83, 0x0000000000000000,
   1449   0xffffffff7fffff85, 0x0000000000000000,
   1450   0xffffffff7fffff84, 0x0000000000000000,
   1451   0xffffffff7fffff83, 0x0000000000000000,
   1452   0xcccccccccccccc4f, 0x0000000000000000,
   1453   0xaaaaaaaaaaaaaa2d, 0x0000000000000000,
   1454   0x8000000000000000, 0x0000000000000000,
   1455   0x8000000000000000, 0x0000000000000000,
   1456   0x8000000000000000, 0x0000000000000000,
   1457   0x7fffffffffffff82, 0x0000000000000000,
   1458   0x7fffffffffffff81, 0x0000000000000000,
   1459   0x7fffffffffffff80, 0x0000000000000000,
   1460   0x7fffffffffffff7f, 0x0000000000000000,
   1461   0x55555555555554d8, 0x0000000000000000,
   1462   0x33333333333332b6, 0x0000000000000000,
   1463   0x000000007fffff82, 0x0000000000000000,
   1464   0x000000007fffff81, 0x0000000000000000,
   1465   0x000000007fffff80, 0x0000000000000000,
   1466   0x000000007fffff7f, 0x0000000000000000,
   1467   0x0000000000007f82, 0x0000000000000000,
   1468   0x0000000000007f81, 0x0000000000000000,
   1469   0x0000000000007f80, 0x0000000000000000,
   1470   0x0000000000007f7f, 0x0000000000000000,
   1471   0x0000000000000002, 0x0000000000000000,
   1472   0x0000000000000001, 0x0000000000000000,
   1473   0x0000000000000000, 0x0000000000000000,
   1474   0xffffffffffffffff, 0x0000000000000000,
   1475   0xffffffffffffffc2, 0x0000000000000000,
   1476   0xffffffffffffff85, 0x0000000000000000,
   1477   0xffffffffffffff84, 0x0000000000000000,
   1478   0xffffffffffffff84, 0x0000000000000000,
   1479   0xffffffffffffff83, 0x0000000000000000,
   1480   0xffffffffffffff82, 0x0000000000000000,
   1481   0xffffffffffffff81, 0x0000000000000000,
   1482   0xffffffffffffff43, 0x0000000000000000,
   1483   0xffffffffffffff06, 0x0000000000000000,
   1484   0xffffffffffffff05, 0x0000000000000000,
   1485   0xffffffffffffff04, 0x0000000000000000,
   1486   0xffffffffffff7f86, 0x0000000000000000,
   1487   0xffffffffffff7f85, 0x0000000000000000,
   1488   0xffffffffffff7f84, 0x0000000000000000,
   1489   0xffffffff7fffff86, 0x0000000000000000,
   1490   0xffffffff7fffff85, 0x0000000000000000,
   1491   0xffffffff7fffff84, 0x0000000000000000,
   1492   0xcccccccccccccc50, 0x0000000000000000,
   1493   0xaaaaaaaaaaaaaa2e, 0x0000000000000000,
   1494   0x8000000000000000, 0x0000000000000000,
   1495   0x8000000000000000, 0x0000000000000000,
   1496   0x8000000000000000, 0x0000000000000000,
   1497   0x7fffffffffffff83, 0x0000000000000000,
   1498   0x7fffffffffffff82, 0x0000000000000000,
   1499   0x7fffffffffffff81, 0x0000000000000000,
   1500   0x7fffffffffffff80, 0x0000000000000000,
   1501   0x55555555555554d9, 0x0000000000000000,
   1502   0x33333333333332b7, 0x0000000000000000,
   1503   0x000000007fffff83, 0x0000000000000000,
   1504   0x000000007fffff82, 0x0000000000000000,
   1505   0x000000007fffff81, 0x0000000000000000,
   1506   0x000000007fffff80, 0x0000000000000000,
   1507   0x0000000000007f83, 0x0000000000000000,
   1508   0x0000000000007f82, 0x0000000000000000,
   1509   0x0000000000007f81, 0x0000000000000000,
   1510   0x0000000000007f80, 0x0000000000000000,
   1511   0x0000000000000003, 0x0000000000000000,
   1512   0x0000000000000002, 0x0000000000000000,
   1513   0x0000000000000001, 0x0000000000000000,
   1514   0x0000000000000000, 0x0000000000000000,
   1515   0xffffffffffffffc3, 0x0000000000000000,
   1516   0xffffffffffffff86, 0x0000000000000000,
   1517   0xffffffffffffff85, 0x0000000000000000,
   1518   0xffffffffffffffc1, 0x0000000000000000,
   1519   0xffffffffffffffc0, 0x0000000000000000,
   1520   0xffffffffffffffbf, 0x0000000000000000,
   1521   0xffffffffffffffbe, 0x0000000000000000,
   1522   0xffffffffffffff80, 0x0000000000000000,
   1523   0xffffffffffffff43, 0x0000000000000000,
   1524   0xffffffffffffff42, 0x0000000000000000,
   1525   0xffffffffffffff41, 0x0000000000000000,
   1526   0xffffffffffff7fc3, 0x0000000000000000,
   1527   0xffffffffffff7fc2, 0x0000000000000000,
   1528   0xffffffffffff7fc1, 0x0000000000000000,
   1529   0xffffffff7fffffc3, 0x0000000000000000,
   1530   0xffffffff7fffffc2, 0x0000000000000000,
   1531   0xffffffff7fffffc1, 0x0000000000000000,
   1532   0xcccccccccccccc8d, 0x0000000000000000,
   1533   0xaaaaaaaaaaaaaa6b, 0x0000000000000000,
   1534   0x8000000000000000, 0x0000000000000000,
   1535   0x8000000000000000, 0x0000000000000000,
   1536   0x8000000000000000, 0x0000000000000000,
   1537   0x7fffffffffffffc0, 0x0000000000000000,
   1538   0x7fffffffffffffbf, 0x0000000000000000,
   1539   0x7fffffffffffffbe, 0x0000000000000000,
   1540   0x7fffffffffffffbd, 0x0000000000000000,
   1541   0x5555555555555516, 0x0000000000000000,
   1542   0x33333333333332f4, 0x0000000000000000,
   1543   0x000000007fffffc0, 0x0000000000000000,
   1544   0x000000007fffffbf, 0x0000000000000000,
   1545   0x000000007fffffbe, 0x0000000000000000,
   1546   0x000000007fffffbd, 0x0000000000000000,
   1547   0x0000000000007fc0, 0x0000000000000000,
   1548   0x0000000000007fbf, 0x0000000000000000,
   1549   0x0000000000007fbe, 0x0000000000000000,
   1550   0x0000000000007fbd, 0x0000000000000000,
   1551   0x0000000000000040, 0x0000000000000000,
   1552   0x000000000000003f, 0x0000000000000000,
   1553   0x000000000000003e, 0x0000000000000000,
   1554   0x000000000000003d, 0x0000000000000000,
   1555   0x0000000000000000, 0x0000000000000000,
   1556   0xffffffffffffffc3, 0x0000000000000000,
   1557   0xffffffffffffffc2, 0x0000000000000000,
   1558   0xfffffffffffffffe, 0x0000000000000000,
   1559   0xfffffffffffffffd, 0x0000000000000000,
   1560   0xfffffffffffffffc, 0x0000000000000000,
   1561   0xfffffffffffffffb, 0x0000000000000000,
   1562   0xffffffffffffffbd, 0x0000000000000000,
   1563   0xffffffffffffff80, 0x0000000000000000,
   1564   0xffffffffffffff7f, 0x0000000000000000,
   1565   0xffffffffffffff7e, 0x0000000000000000,
   1566   0xffffffffffff8000, 0x0000000000000000,
   1567   0xffffffffffff7fff, 0x0000000000000000,
   1568   0xffffffffffff7ffe, 0x0000000000000000,
   1569   0xffffffff80000000, 0x0000000000000000,
   1570   0xffffffff7fffffff, 0x0000000000000000,
   1571   0xffffffff7ffffffe, 0x0000000000000000,
   1572   0xccccccccccccccca, 0x0000000000000000,
   1573   0xaaaaaaaaaaaaaaa8, 0x0000000000000000,
   1574   0x8000000000000000, 0x0000000000000000,
   1575   0x8000000000000000, 0x0000000000000000,
   1576   0x8000000000000000, 0x0000000000000000,
   1577   0x7ffffffffffffffd, 0x0000000000000000,
   1578   0x7ffffffffffffffc, 0x0000000000000000,
   1579   0x7ffffffffffffffb, 0x0000000000000000,
   1580   0x7ffffffffffffffa, 0x0000000000000000,
   1581   0x5555555555555553, 0x0000000000000000,
   1582   0x3333333333333331, 0x0000000000000000,
   1583   0x000000007ffffffd, 0x0000000000000000,
   1584   0x000000007ffffffc, 0x0000000000000000,
   1585   0x000000007ffffffb, 0x0000000000000000,
   1586   0x000000007ffffffa, 0x0000000000000000,
   1587   0x0000000000007ffd, 0x0000000000000000,
   1588   0x0000000000007ffc, 0x0000000000000000,
   1589   0x0000000000007ffb, 0x0000000000000000,
   1590   0x0000000000007ffa, 0x0000000000000000,
   1591   0x000000000000007d, 0x0000000000000000,
   1592   0x000000000000007c, 0x0000000000000000,
   1593   0x000000000000007b, 0x0000000000000000,
   1594   0x000000000000007a, 0x0000000000000000,
   1595   0x000000000000003d, 0x0000000000000000,
   1596   0x0000000000000000, 0x0000000000000000,
   1597   0xffffffffffffffff, 0x0000000000000000,
   1598   0xffffffffffffffff, 0x0000000000000000,
   1599   0xfffffffffffffffe, 0x0000000000000000,
   1600   0xfffffffffffffffd, 0x0000000000000000,
   1601   0xfffffffffffffffc, 0x0000000000000000,
   1602   0xffffffffffffffbe, 0x0000000000000000,
   1603   0xffffffffffffff81, 0x0000000000000000,
   1604   0xffffffffffffff80, 0x0000000000000000,
   1605   0xffffffffffffff7f, 0x0000000000000000,
   1606   0xffffffffffff8001, 0x0000000000000000,
   1607   0xffffffffffff8000, 0x0000000000000000,
   1608   0xffffffffffff7fff, 0x0000000000000000,
   1609   0xffffffff80000001, 0x0000000000000000,
   1610   0xffffffff80000000, 0x0000000000000000,
   1611   0xffffffff7fffffff, 0x0000000000000000,
   1612   0xcccccccccccccccb, 0x0000000000000000,
   1613   0xaaaaaaaaaaaaaaa9, 0x0000000000000000,
   1614   0x8000000000000001, 0x0000000000000000,
   1615   0x8000000000000000, 0x0000000000000000,
   1616   0x8000000000000000, 0x0000000000000000,
   1617   0x7ffffffffffffffe, 0x0000000000000000,
   1618   0x7ffffffffffffffd, 0x0000000000000000,
   1619   0x7ffffffffffffffc, 0x0000000000000000,
   1620   0x7ffffffffffffffb, 0x0000000000000000,
   1621   0x5555555555555554, 0x0000000000000000,
   1622   0x3333333333333332, 0x0000000000000000,
   1623   0x000000007ffffffe, 0x0000000000000000,
   1624   0x000000007ffffffd, 0x0000000000000000,
   1625   0x000000007ffffffc, 0x0000000000000000,
   1626   0x000000007ffffffb, 0x0000000000000000,
   1627   0x0000000000007ffe, 0x0000000000000000,
   1628   0x0000000000007ffd, 0x0000000000000000,
   1629   0x0000000000007ffc, 0x0000000000000000,
   1630   0x0000000000007ffb, 0x0000000000000000,
   1631   0x000000000000007e, 0x0000000000000000,
   1632   0x000000000000007d, 0x0000000000000000,
   1633   0x000000000000007c, 0x0000000000000000,
   1634   0x000000000000007b, 0x0000000000000000,
   1635   0x000000000000003e, 0x0000000000000000,
   1636   0x0000000000000001, 0x0000000000000000,
   1637   0x0000000000000000, 0x0000000000000000,
   1638 };
   1639 const unsigned kExpectedCount_NEON_sqsub_D = 1600;
   1640 
   1641 #endif  // VIXL_SIM_SQSUB_D_TRACE_AARCH64_H_
   1642