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