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_SMLSL2_2D_4S_S_TRACE_A64_H_
     35 #define VIXL_SIM_SMLSL2_2D_4S_S_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_smlsl2_2D_4S_S[] = {
     38   0xffffffc1017a0000, 0x0000000000000001,
     39   0xffffff8182f70000, 0x0000000000000001,
     40   0xffffbf8482ee0000, 0x0000000000000001,
     41   0xffffbf8482ee0000, 0x0000000000000001,
     42   0xffffffc0817d0000, 0x0000000000000001,
     43   0xffffbfc381740000, 0x0000000000000001,
     44   0xffffbfc381740000, 0x0000000000000001,
     45   0xffffbfc380f40300, 0x0000000000000001,
     46   0xffffc002fff70000, 0x0000000000000001,
     47   0xffffc002fff70000, 0x0000000000000001,
     48   0xffffc002ff770300, 0x0000000000000001,
     49   0xffffc002fe770900, 0x0000000000000001,
     50   0x0000000000000000, 0x0000000000000001,
     51   0xffffffffff800300, 0x0000000000000001,
     52   0xfffffffffe800900, 0x0000000000000001,
     53   0xffffffffee806900, 0x0000000000000001,
     54   0xffffffffff800300, 0x0000000000000001,
     55   0xfffffffffe800900, 0x0000000000000001,
     56   0xffffffffee806900, 0x0000000000000001,
     57   0xffffffffb001e000, 0x0000000000000001,
     58   0xffffffffff000600, 0x0000000000000001,
     59   0xffffffffef006600, 0x0000000000000001,
     60   0xffffffffb081dd00, 0x0000000000000001,
     61   0xffffffff71835700, 0x0000000000000001,
     62   0xfffffffff0006000, 0x0000000000000001,
     63   0xffffffffb181d700, 0x0000000000000001,
     64   0xffffffff72835100, 0x0000000000000001,
     65   0xffffffff3304ce00, 0x0000000000000001,
     66   0xffffffffc1817700, 0x0000000000000001,
     67   0xffffffff8282f100, 0x0000000000000001,
     68   0xffffffff43046e00, 0x0000000000000001,
     69   0xffffffbf46046500, 0x0000000000000001,
     70   0xffffffffc1017a00, 0x0000000000000001,
     71   0xffffffff8182f700, 0x0000000000000001,
     72   0xffffffbf8482ee00, 0x0000000000000001,
     73   0xffffff7f8702e800, 0x0000000000000001,
     74   0xffffffffc0817d00, 0x0000000000000001,
     75   0xffffffbfc3817400, 0x0000000000000001,
     76   0xffffff7fc6016e00, 0x0000000000000001,
     77   0xffffff3fc8016b00, 0x0000000000000001,
     78   0xffffffc002fff700, 0x0000000000000001,
     79   0xffffff80057ff100, 0x0000000000000001,
     80   0xffffff40077fee00, 0x0000000000000001,
     81   0xffe6664007998700, 0x0000000000000001,
     82   0xffffffc0027ffa00, 0x0000000000000001,
     83   0xffffff80047ff700, 0x0000000000000001,
     84   0xffe6668004999000, 0x0000000000000001,
     85   0xffbbbcd55a198f00, 0x0000000000000001,
     86   0xffffffc001fffd00, 0x0000000000000001,
     87   0xffe666c002199600, 0x0000000000000001,
     88   0xffbbbd1557999500, 0x0000000000000001,
     89   0xff7bbe9559198c00, 0x0000000000000001,
     90   0xffe6670000199900, 0x0000000000000001,
     91   0xffbbbd5555999800, 0x0000000000000001,
     92   0xff7bbed557198f00, 0x0000000000000001,
     93   0xff3bc05558198900, 0x0000000000000001,
     94   0xffd55655557fff00, 0x0000000000000001,
     95   0xff9557d556fff600, 0x0000000000000001,
     96   0xff55595557fff000, 0x0000000000000001,
     97   0xff155ad5587fed00, 0x0000000000000001,
     98   0xffc00180017ff700, 0x0000000000000001,
     99   0xff800300027ff100, 0x0000000000000001,
    100   0xff40048002ffee00, 0x0000000000000001,
    101   0xff80030002ffee00, 0x0000000000000001,
    102   0xffc0018000fffa00, 0x0000000000000001,
    103   0xff800300017ff700, 0x0000000000000001,
    104   0xffc00180017ff700, 0x0000000000000001,
    105   0x0000000000fffa00, 0x0000000000000001,
    106   0xffc00180007ffd00, 0x0000000000000001,
    107   0x00000000007ffd00, 0x0000000000000001,
    108   0x003ffe8000000000, 0x0000000000000001,
    109   0x006aa82aaafffe00, 0x0000000000000001,
    110   0x003ffe8000000000, 0x0000000000000001,
    111   0x007ffcffff800300, 0x0000000000000001,
    112   0x00aaa6aaaa800100, 0x0000000000000001,
    113   0x00c43faaaae66500, 0x0000000000000001,
    114   0x003ffe7fff800300, 0x0000000000000001,
    115   0x006aa82aaa800100, 0x0000000000000001,
    116   0x0084412aaae66500, 0x0000000000000001,
    117   0x0084416aa9666500, 0x0000000000000001,
    118   0x002aa9aaaafffe00, 0x0000000000000001,
    119   0x004442aaab666200, 0x0000000000000001,
    120   0x004442eaa9e66200, 0x0000000000000001,
    121   0x0044432aa7e66500, 0x0000000000000001,
    122   0x0019990000666400, 0x0000000000000001,
    123   0x0019993ffee66400, 0x0000000000000001,
    124   0x0019997ffce66700, 0x0000000000000001,
    125   0x001999bffa666d00, 0x0000000000000001,
    126   0x0000003ffe800000, 0x0000000000000001,
    127   0x0000007ffc800300, 0x0000000000000001,
    128   0x000000bffa000900, 0x0000000000000001,
    129   0x000000fff7001200, 0x0000000000000001,
    130   0x0000003ffe000300, 0x0000000000000001,
    131   0x0000007ffb800900, 0x0000000000000001,
    132   0x000000bff8801200, 0x0000000000000001,
    133   0x000000c0387e9200, 0x0000000000000001,
    134   0x0000003ffd800600, 0x0000000000000001,
    135   0x0000007ffa800f00, 0x0000000000000001,
    136   0x000000803a7e8f00, 0x0000000000000001,
    137   0x0000008079fd1200, 0x0000000000000001,
    138   0x0000003ffd000900, 0x0000000000000001,
    139   0x000000403cfe8900, 0x0000000000000001,
    140   0x000000407c7d0c00, 0x0000000000000001,
    141   0x00000040bb7b9200, 0x0000000000000001,
    142   0x000000003ffe8000, 0x0000000000000001,
    143   0x000000007f7d0300, 0x0000000000000001,
    144   0x00000000be7b8900, 0x0000000000000001,
    145   0x00000000fcfa1200, 0x0000000000000001,
    146   0x000000003f7e8300, 0x0000000000000001,
    147   0x000000007e7d0900, 0x0000000000000001,
    148   0x00000000bcfb9200, 0x0000000000000001,
    149   0x00000000ccfb3200, 0x0000000000000001,
    150   0x000000003efe8600, 0x0000000000000001,
    151   0x000000007d7d0f00, 0x0000000000000001,
    152   0x000000008d7caf00, 0x0000000000000001,
    153   0x000000008efca600, 0x0000000000000001,
    154   0x000000003e7e8900, 0x0000000000000001,
    155   0x000000004e7e2900, 0x0000000000000001,
    156   0x000000004ffe2000, 0x0000000000000001,
    157   0x0000000050fe1a00, 0x0000000000000001,
    158   0x000000000fffa000, 0x0000000000000001,
    159   0x00000000117f9700, 0x0000000000000001,
    160   0x00000000127f9100, 0x0000000000000001,
    161   0x0000000012ff8e00, 0x0000000000000001,
    162   0x0000000000000000, 0x0000000000000004,
    163   0x0000000000000000, 0x0000000000000006,
    164   0x0000000000000000, 0x0000000000000007,
    165   0x0000000000000000, 0x0000000000000007,
    166   0x0000000000000000, 0x0000000000000003,
    167   0x0000000000000000, 0x0000000000000004,
    168   0x0000000000000000, 0x0000000000000004,
    169   0x0000000000000000, 0x0000000000000003,
    170   0x0000000000000000, 0x0000000000000002,
    171   0x0000000000000000, 0x0000000000000002,
    172   0x0000000000000000, 0x0000000000000001,
    173   0x0000000000000000, 0xffffffffffffffff,
    174   0x0000000000000000, 0x0000000000000001,
    175   0x0000000000000000, 0x0000000000000000,
    176   0x0000000000000000, 0xfffffffffffffffe,
    177   0x0000000000000000, 0xffffffffffffffde,
    178   0x0000000000000000, 0x0000000000000000,
    179   0x0000000000000000, 0xfffffffffffffffe,
    180   0x0000000000000000, 0xffffffffffffffde,
    181   0x0000000000000000, 0xffffffffffffff61,
    182   0x0000000000000000, 0xffffffffffffffff,
    183   0x0000000000000000, 0xffffffffffffffdf,
    184   0x0000000000000000, 0xffffffffffffff62,
    185   0x0000000000000000, 0xfffffffffffffee4,
    186   0x0000000000000000, 0xffffffffffffffe1,
    187   0x0000000000000000, 0xffffffffffffff64,
    188   0x0000000000000000, 0xfffffffffffffee6,
    189   0x0000000000000000, 0xfffffffffffffe67,
    190   0x0000000000000000, 0xffffffffffffff84,
    191   0x0000000000000000, 0xffffffffffffff06,
    192   0x0000000000000000, 0xfffffffffffffe87,
    193   0x0000000000000000, 0xffffffffffff7e8a,
    194   0x0000000000000000, 0xffffffffffffff83,
    195   0x0000000000000000, 0xffffffffffffff04,
    196   0x0000000000000000, 0xffffffffffff7f07,
    197   0x0000000000000000, 0xfffffffffffeff09,
    198   0x0000000000000000, 0xffffffffffffff82,
    199   0x0000000000000000, 0xffffffffffff7f85,
    200   0x0000000000000000, 0xfffffffffffeff87,
    201   0x0000000000000000, 0xfffffffffffe7f88,
    202   0x0000000000000000, 0xffffffffffff8004,
    203   0x0000000000000000, 0xffffffffffff0006,
    204   0x0000000000000000, 0xfffffffffffe8007,
    205   0x0000000000000000, 0xffffffffcccb4cd4,
    206   0x0000000000000000, 0xffffffffffff8003,
    207   0x0000000000000000, 0xffffffffffff0004,
    208   0x0000000000000000, 0xffffffffcccbccd1,
    209   0x0000000000000000, 0xffffffff7776777c,
    210   0x0000000000000000, 0xffffffffffff8002,
    211   0x0000000000000000, 0xffffffffcccc4ccf,
    212   0x0000000000000000, 0xffffffff7776f77a,
    213   0x0000000000000000, 0xfffffffef776f77d,
    214   0x0000000000000000, 0xffffffffccccccce,
    215   0x0000000000000000, 0xffffffff77777779,
    216   0x0000000000000000, 0xfffffffef777777c,
    217   0x0000000000000000, 0xfffffffe7777777e,
    218   0x0000000000000000, 0xffffffffaaaaaaac,
    219   0x0000000000000000, 0xffffffff2aaaaaaf,
    220   0x0000000000000000, 0xfffffffeaaaaaab1,
    221   0x0000000000000000, 0xfffffffe2aaaaab2,
    222   0x0000000000000000, 0xffffffff80000004,
    223   0x0000000000000000, 0xffffffff00000006,
    224   0x0000000000000000, 0xfffffffe80000007,
    225   0x0000000000000000, 0xffffffff00000007,
    226   0x0000000000000000, 0xffffffff80000003,
    227   0x0000000000000000, 0xffffffff00000004,
    228   0x0000000000000000, 0xffffffff80000004,
    229   0x0000000000000000, 0x0000000000000003,
    230   0x0000000000000000, 0xffffffff80000002,
    231   0x0000000000000000, 0x0000000000000002,
    232   0x0000000000000000, 0x0000000080000001,
    233   0x0000000000000000, 0x00000000d5555557,
    234   0x0000000000000000, 0x0000000080000001,
    235   0x0000000000000000, 0x0000000100000000,
    236   0x0000000000000000, 0x0000000155555556,
    237   0x0000000000000000, 0x000000018888888a,
    238   0x0000000000000000, 0x0000000080000000,
    239   0x0000000000000000, 0x00000000d5555556,
    240   0x0000000000000000, 0x000000010888888a,
    241   0x0000000000000000, 0x000000010889088a,
    242   0x0000000000000000, 0x0000000055555557,
    243   0x0000000000000000, 0x000000008888888b,
    244   0x0000000000000000, 0x000000008889088b,
    245   0x0000000000000000, 0x000000008889888a,
    246   0x0000000000000000, 0x0000000033333335,
    247   0x0000000000000000, 0x000000003333b335,
    248   0x0000000000000000, 0x0000000033343334,
    249   0x0000000000000000, 0x000000003334b332,
    250   0x0000000000000000, 0x0000000000008001,
    251   0x0000000000000000, 0x0000000000010000,
    252   0x0000000000000000, 0x0000000000017ffe,
    253   0x0000000000000000, 0x000000000001fffb,
    254   0x0000000000000000, 0x0000000000008000,
    255   0x0000000000000000, 0x000000000000fffe,
    256   0x0000000000000000, 0x0000000000017ffb,
    257   0x0000000000000000, 0x000000000001807b,
    258   0x0000000000000000, 0x0000000000007fff,
    259   0x0000000000000000, 0x000000000000fffc,
    260   0x0000000000000000, 0x000000000001007c,
    261   0x0000000000000000, 0x00000000000100fb,
    262   0x0000000000000000, 0x0000000000007ffe,
    263   0x0000000000000000, 0x000000000000807e,
    264   0x0000000000000000, 0x00000000000080fd,
    265   0x0000000000000000, 0x000000000000817b,
    266   0x0000000000000000, 0x0000000000000081,
    267   0x0000000000000000, 0x0000000000000100,
    268   0x0000000000000000, 0x000000000000017e,
    269   0x0000000000000000, 0x00000000000001fb,
    270   0x0000000000000000, 0x0000000000000080,
    271   0x0000000000000000, 0x00000000000000fe,
    272   0x0000000000000000, 0x000000000000017b,
    273   0x0000000000000000, 0x000000000000019b,
    274   0x0000000000000000, 0x000000000000007f,
    275   0x0000000000000000, 0x00000000000000fc,
    276   0x0000000000000000, 0x000000000000011c,
    277   0x0000000000000000, 0x000000000000011f,
    278   0x0000000000000000, 0x000000000000007e,
    279   0x0000000000000000, 0x000000000000009e,
    280   0x0000000000000000, 0x00000000000000a1,
    281   0x0000000000000000, 0x00000000000000a3,
    282   0x0000000000000000, 0x0000000000000021,
    283   0x0000000000000000, 0x0000000000000024,
    284   0x0000000000000000, 0x0000000000000026,
    285   0x0000000000000000, 0x0000000000000027,
    286   0x0000000000000003, 0x0000000000000007,
    287   0x0000000000000005, 0x000000000000000b,
    288   0x0000000000000006, 0x000000000000000d,
    289   0x0000000000000006, 0x000000000000000d,
    290   0x0000000000000002, 0x0000000000000005,
    291   0x0000000000000003, 0x0000000000000007,
    292   0x0000000000000003, 0x0000000000000007,
    293   0x0000000000000002, 0x0000000000000005,
    294   0x0000000000000001, 0x0000000000000003,
    295   0x0000000000000001, 0x0000000000000003,
    296   0x0000000000000000, 0x0000000000000001,
    297   0xfffffffffffffffe, 0xfffffffffffffffd,
    298   0x0000000000000000, 0x0000000000000001,
    299   0xffffffffffffffff, 0xffffffffffffffff,
    300   0xfffffffffffffffd, 0xfffffffffffffffb,
    301   0xffffffffffffffdd, 0xffffffffffffffbb,
    302   0xffffffffffffffff, 0xffffffffffffffff,
    303   0xfffffffffffffffd, 0xfffffffffffffffb,
    304   0xffffffffffffffdd, 0xffffffffffffffbb,
    305   0xffffffffffffff60, 0xfffffffffffffec1,
    306   0xfffffffffffffffe, 0xfffffffffffffffd,
    307   0xffffffffffffffde, 0xffffffffffffffbd,
    308   0xffffffffffffff61, 0xfffffffffffffec3,
    309   0xfffffffffffffee3, 0xfffffffffffffdc7,
    310   0xffffffffffffffe0, 0xffffffffffffffc1,
    311   0xffffffffffffff63, 0xfffffffffffffec7,
    312   0xfffffffffffffee5, 0xfffffffffffffdcb,
    313   0xfffffffffffffe66, 0xfffffffffffffccd,
    314   0xffffffffffffff83, 0xffffffffffffff07,
    315   0xffffffffffffff05, 0xfffffffffffffe0b,
    316   0xfffffffffffffe86, 0xfffffffffffffd0d,
    317   0xffffffffffff7e89, 0xfffffffffffefd13,
    318   0xffffffffffffff82, 0xffffffffffffff05,
    319   0xffffffffffffff03, 0xfffffffffffffe07,
    320   0xffffffffffff7f06, 0xfffffffffffefe0d,
    321   0xfffffffffffeff08, 0xfffffffffffdfe11,
    322   0xffffffffffffff81, 0xffffffffffffff03,
    323   0xffffffffffff7f84, 0xfffffffffffeff09,
    324   0xfffffffffffeff86, 0xfffffffffffdff0d,
    325   0xfffffffffffe7f87, 0xfffffffffffcff0f,
    326   0xffffffffffff8003, 0xffffffffffff0007,
    327   0xffffffffffff0005, 0xfffffffffffe000b,
    328   0xfffffffffffe8006, 0xfffffffffffd000d,
    329   0xffffffffcccb4cd3, 0xffffffff999699a7,
    330   0xffffffffffff8002, 0xffffffffffff0005,
    331   0xffffffffffff0003, 0xfffffffffffe0007,
    332   0xffffffffcccbccd0, 0xffffffff999799a1,
    333   0xffffffff7776777b, 0xfffffffeeeeceef7,
    334   0xffffffffffff8001, 0xffffffffffff0003,
    335   0xffffffffcccc4cce, 0xffffffff9998999d,
    336   0xffffffff7776f779, 0xfffffffeeeedeef3,
    337   0xfffffffef776f77c, 0xfffffffdeeedeef9,
    338   0xffffffffcccccccd, 0xffffffff9999999b,
    339   0xffffffff77777778, 0xfffffffeeeeeeef1,
    340   0xfffffffef777777b, 0xfffffffdeeeeeef7,
    341   0xfffffffe7777777d, 0xfffffffceeeeeefb,
    342   0xffffffffaaaaaaab, 0xffffffff55555557,
    343   0xffffffff2aaaaaae, 0xfffffffe5555555d,
    344   0xfffffffeaaaaaab0, 0xfffffffd55555561,
    345   0xfffffffe2aaaaab1, 0xfffffffc55555563,
    346   0xffffffff80000003, 0xffffffff00000007,
    347   0xffffffff00000005, 0xfffffffe0000000b,
    348   0xfffffffe80000006, 0xfffffffd0000000d,
    349   0xffffffff00000006, 0xfffffffe0000000d,
    350   0xffffffff80000002, 0xffffffff00000005,
    351   0xffffffff00000003, 0xfffffffe00000007,
    352   0xffffffff80000003, 0xffffffff00000007,
    353   0x0000000000000002, 0x0000000000000005,
    354   0xffffffff80000001, 0xffffffff00000003,
    355   0x0000000000000001, 0x0000000000000003,
    356   0x0000000080000000, 0x0000000100000001,
    357   0x00000000d5555556, 0x00000001aaaaaaad,
    358   0x0000000080000000, 0x0000000100000001,
    359   0x00000000ffffffff, 0x00000001ffffffff,
    360   0x0000000155555555, 0x00000002aaaaaaab,
    361   0x0000000188888889, 0x0000000311111113,
    362   0x000000007fffffff, 0x00000000ffffffff,
    363   0x00000000d5555555, 0x00000001aaaaaaab,
    364   0x0000000108888889, 0x0000000211111113,
    365   0x0000000108890889, 0x0000000211121113,
    366   0x0000000055555556, 0x00000000aaaaaaad,
    367   0x000000008888888a, 0x0000000111111115,
    368   0x000000008889088a, 0x0000000111121115,
    369   0x0000000088898889, 0x0000000111131113,
    370   0x0000000033333334, 0x0000000066666669,
    371   0x000000003333b334, 0x0000000066676669,
    372   0x0000000033343333, 0x0000000066686667,
    373   0x000000003334b331, 0x0000000066696663,
    374   0x0000000000008000, 0x0000000000010001,
    375   0x000000000000ffff, 0x000000000001ffff,
    376   0x0000000000017ffd, 0x000000000002fffb,
    377   0x000000000001fffa, 0x000000000003fff5,
    378   0x0000000000007fff, 0x000000000000ffff,
    379   0x000000000000fffd, 0x000000000001fffb,
    380   0x0000000000017ffa, 0x000000000002fff5,
    381   0x000000000001807a, 0x00000000000300f5,
    382   0x0000000000007ffe, 0x000000000000fffd,
    383   0x000000000000fffb, 0x000000000001fff7,
    384   0x000000000001007b, 0x00000000000200f7,
    385   0x00000000000100fa, 0x00000000000201f5,
    386   0x0000000000007ffd, 0x000000000000fffb,
    387   0x000000000000807d, 0x00000000000100fb,
    388   0x00000000000080fc, 0x00000000000101f9,
    389   0x000000000000817a, 0x00000000000102f5,
    390   0x0000000000000080, 0x0000000000000101,
    391   0x00000000000000ff, 0x00000000000001ff,
    392   0x000000000000017d, 0x00000000000002fb,
    393   0x00000000000001fa, 0x00000000000003f5,
    394   0x000000000000007f, 0x00000000000000ff,
    395   0x00000000000000fd, 0x00000000000001fb,
    396   0x000000000000017a, 0x00000000000002f5,
    397   0x000000000000019a, 0x0000000000000335,
    398   0x000000000000007e, 0x00000000000000fd,
    399   0x00000000000000fb, 0x00000000000001f7,
    400   0x000000000000011b, 0x0000000000000237,
    401   0x000000000000011e, 0x000000000000023d,
    402   0x000000000000007d, 0x00000000000000fb,
    403   0x000000000000009d, 0x000000000000013b,
    404   0x00000000000000a0, 0x0000000000000141,
    405   0x00000000000000a2, 0x0000000000000145,
    406   0x0000000000000020, 0x0000000000000041,
    407   0x0000000000000023, 0x0000000000000047,
    408   0x0000000000000025, 0x000000000000004b,
    409   0x0000000000000026, 0x000000000000004d,
    410   0x0000000000000006, 0x0000000000000061,
    411   0x000000000000000a, 0x00000000000000a1,
    412   0x000000000000000c, 0x00000000000000c1,
    413   0x000000000000000c, 0x00000000000000c1,
    414   0x0000000000000004, 0x0000000000000041,
    415   0x0000000000000006, 0x0000000000000061,
    416   0x0000000000000006, 0x0000000000000061,
    417   0x0000000000000004, 0x0000000000000041,
    418   0x0000000000000002, 0x0000000000000021,
    419   0x0000000000000002, 0x0000000000000021,
    420   0x0000000000000000, 0x0000000000000001,
    421   0xfffffffffffffffc, 0xffffffffffffffc1,
    422   0x0000000000000000, 0x0000000000000001,
    423   0xfffffffffffffffe, 0xffffffffffffffe1,
    424   0xfffffffffffffffa, 0xffffffffffffffa1,
    425   0xffffffffffffffba, 0xfffffffffffffba1,
    426   0xfffffffffffffffe, 0xffffffffffffffe1,
    427   0xfffffffffffffffa, 0xffffffffffffffa1,
    428   0xffffffffffffffba, 0xfffffffffffffba1,
    429   0xfffffffffffffec0, 0xffffffffffffec01,
    430   0xfffffffffffffffc, 0xffffffffffffffc1,
    431   0xffffffffffffffbc, 0xfffffffffffffbc1,
    432   0xfffffffffffffec2, 0xffffffffffffec21,
    433   0xfffffffffffffdc6, 0xffffffffffffdc61,
    434   0xffffffffffffffc0, 0xfffffffffffffc01,
    435   0xfffffffffffffec6, 0xffffffffffffec61,
    436   0xfffffffffffffdca, 0xffffffffffffdca1,
    437   0xfffffffffffffccc, 0xffffffffffffccc1,
    438   0xffffffffffffff06, 0xfffffffffffff061,
    439   0xfffffffffffffe0a, 0xffffffffffffe0a1,
    440   0xfffffffffffffd0c, 0xffffffffffffd0c1,
    441   0xfffffffffffefd12, 0xffffffffffefd121,
    442   0xffffffffffffff04, 0xfffffffffffff041,
    443   0xfffffffffffffe06, 0xffffffffffffe061,
    444   0xfffffffffffefe0c, 0xffffffffffefe0c1,
    445   0xfffffffffffdfe10, 0xffffffffffdfe101,
    446   0xffffffffffffff02, 0xfffffffffffff021,
    447   0xfffffffffffeff08, 0xffffffffffeff081,
    448   0xfffffffffffdff0c, 0xffffffffffdff0c1,
    449   0xfffffffffffcff0e, 0xffffffffffcff0e1,
    450   0xffffffffffff0006, 0xfffffffffff00061,
    451   0xfffffffffffe000a, 0xffffffffffe000a1,
    452   0xfffffffffffd000c, 0xffffffffffd000c1,
    453   0xffffffff999699a6, 0xfffffff999699a61,
    454   0xffffffffffff0004, 0xfffffffffff00041,
    455   0xfffffffffffe0006, 0xffffffffffe00061,
    456   0xffffffff999799a0, 0xfffffff999799a01,
    457   0xfffffffeeeeceef6, 0xffffffeeeeceef61,
    458   0xffffffffffff0002, 0xfffffffffff00021,
    459   0xffffffff9998999c, 0xfffffff9998999c1,
    460   0xfffffffeeeedeef2, 0xffffffeeeedeef21,
    461   0xfffffffdeeedeef8, 0xffffffdeeedeef81,
    462   0xffffffff9999999a, 0xfffffff9999999a1,
    463   0xfffffffeeeeeeef0, 0xffffffeeeeeeef01,
    464   0xfffffffdeeeeeef6, 0xffffffdeeeeeef61,
    465   0xfffffffceeeeeefa, 0xffffffceeeeeefa1,
    466   0xffffffff55555556, 0xfffffff555555561,
    467   0xfffffffe5555555c, 0xffffffe5555555c1,
    468   0xfffffffd55555560, 0xffffffd555555601,
    469   0xfffffffc55555562, 0xffffffc555555621,
    470   0xffffffff00000006, 0xfffffff000000061,
    471   0xfffffffe0000000a, 0xffffffe0000000a1,
    472   0xfffffffd0000000c, 0xffffffd0000000c1,
    473   0xfffffffe0000000c, 0xffffffe0000000c1,
    474   0xffffffff00000004, 0xfffffff000000041,
    475   0xfffffffe00000006, 0xffffffe000000061,
    476   0xffffffff00000006, 0xfffffff000000061,
    477   0x0000000000000004, 0x0000000000000041,
    478   0xffffffff00000002, 0xfffffff000000021,
    479   0x0000000000000002, 0x0000000000000021,
    480   0x0000000100000000, 0x0000001000000001,
    481   0x00000001aaaaaaac, 0x0000001aaaaaaac1,
    482   0x0000000100000000, 0x0000001000000001,
    483   0x00000001fffffffe, 0x0000001fffffffe1,
    484   0x00000002aaaaaaaa, 0x0000002aaaaaaaa1,
    485   0x0000000311111112, 0x0000003111111121,
    486   0x00000000fffffffe, 0x0000000fffffffe1,
    487   0x00000001aaaaaaaa, 0x0000001aaaaaaaa1,
    488   0x0000000211111112, 0x0000002111111121,
    489   0x0000000211121112, 0x0000002111211121,
    490   0x00000000aaaaaaac, 0x0000000aaaaaaac1,
    491   0x0000000111111114, 0x0000001111111141,
    492   0x0000000111121114, 0x0000001111211141,
    493   0x0000000111131112, 0x0000001111311121,
    494   0x0000000066666668, 0x0000000666666681,
    495   0x0000000066676668, 0x0000000666766681,
    496   0x0000000066686666, 0x0000000666866661,
    497   0x0000000066696662, 0x0000000666966621,
    498   0x0000000000010000, 0x0000000000100001,
    499   0x000000000001fffe, 0x00000000001fffe1,
    500   0x000000000002fffa, 0x00000000002fffa1,
    501   0x000000000003fff4, 0x00000000003fff41,
    502   0x000000000000fffe, 0x00000000000fffe1,
    503   0x000000000001fffa, 0x00000000001fffa1,
    504   0x000000000002fff4, 0x00000000002fff41,
    505   0x00000000000300f4, 0x0000000000300f41,
    506   0x000000000000fffc, 0x00000000000fffc1,
    507   0x000000000001fff6, 0x00000000001fff61,
    508   0x00000000000200f6, 0x0000000000200f61,
    509   0x00000000000201f4, 0x0000000000201f41,
    510   0x000000000000fffa, 0x00000000000fffa1,
    511   0x00000000000100fa, 0x0000000000100fa1,
    512   0x00000000000101f8, 0x0000000000101f81,
    513   0x00000000000102f4, 0x0000000000102f41,
    514   0x0000000000000100, 0x0000000000001001,
    515   0x00000000000001fe, 0x0000000000001fe1,
    516   0x00000000000002fa, 0x0000000000002fa1,
    517   0x00000000000003f4, 0x0000000000003f41,
    518   0x00000000000000fe, 0x0000000000000fe1,
    519   0x00000000000001fa, 0x0000000000001fa1,
    520   0x00000000000002f4, 0x0000000000002f41,
    521   0x0000000000000334, 0x0000000000003341,
    522   0x00000000000000fc, 0x0000000000000fc1,
    523   0x00000000000001f6, 0x0000000000001f61,
    524   0x0000000000000236, 0x0000000000002361,
    525   0x000000000000023c, 0x00000000000023c1,
    526   0x00000000000000fa, 0x0000000000000fa1,
    527   0x000000000000013a, 0x00000000000013a1,
    528   0x0000000000000140, 0x0000000000001401,
    529   0x0000000000000144, 0x0000000000001441,
    530   0x0000000000000040, 0x0000000000000401,
    531   0x0000000000000046, 0x0000000000000461,
    532   0x000000000000004a, 0x00000000000004a1,
    533   0x000000000000004c, 0x00000000000004c1,
    534   0x0000000000000060, 0x0000000000000178,
    535   0x00000000000000a0, 0x0000000000000272,
    536   0x00000000000000c0, 0x00000000000002ef,
    537   0x00000000000000c0, 0x00000000000002ef,
    538   0x0000000000000040, 0x00000000000000fb,
    539   0x0000000000000060, 0x0000000000000178,
    540   0x0000000000000060, 0x0000000000000178,
    541   0x0000000000000040, 0x00000000000000fb,
    542   0x0000000000000020, 0x000000000000007e,
    543   0x0000000000000020, 0x000000000000007e,
    544   0x0000000000000000, 0x0000000000000001,
    545   0xffffffffffffffc0, 0xffffffffffffff07,
    546   0x0000000000000000, 0x0000000000000001,
    547   0xffffffffffffffe0, 0xffffffffffffff84,
    548   0xffffffffffffffa0, 0xfffffffffffffe8a,
    549   0xfffffffffffffba0, 0xffffffffffffeeea,
    550   0xffffffffffffffe0, 0xffffffffffffff84,
    551   0xffffffffffffffa0, 0xfffffffffffffe8a,
    552   0xfffffffffffffba0, 0xffffffffffffeeea,
    553   0xffffffffffffec00, 0xffffffffffffb1e1,
    554   0xffffffffffffffc0, 0xffffffffffffff07,
    555   0xfffffffffffffbc0, 0xffffffffffffef67,
    556   0xffffffffffffec20, 0xffffffffffffb25e,
    557   0xffffffffffffdc60, 0xffffffffffff74d8,
    558   0xfffffffffffffc00, 0xfffffffffffff061,
    559   0xffffffffffffec60, 0xffffffffffffb358,
    560   0xffffffffffffdca0, 0xffffffffffff75d2,
    561   0xffffffffffffccc0, 0xffffffffffff37cf,
    562   0xfffffffffffff060, 0xffffffffffffc2f8,
    563   0xffffffffffffe0a0, 0xffffffffffff8572,
    564   0xffffffffffffd0c0, 0xffffffffffff476f,
    565   0xffffffffffefd120, 0xffffffffffc0c8e6,
    566   0xfffffffffffff040, 0xffffffffffffc27b,
    567   0xffffffffffffe060, 0xffffffffffff8478,
    568   0xffffffffffefe0c0, 0xffffffffffc105ef,
    569   0xffffffffffdfe100, 0xffffffffff8286e9,
    570   0xfffffffffffff020, 0xffffffffffffc1fe,
    571   0xffffffffffeff080, 0xffffffffffc14375,
    572   0xffffffffffdff0c0, 0xffffffffff82c46f,
    573   0xffffffffffcff0e0, 0xffffffffff4444ec,
    574   0xfffffffffff00060, 0xffffffffffc18178,
    575   0xffffffffffe000a0, 0xffffffffff830272,
    576   0xffffffffffd000c0, 0xffffffffff4482ef,
    577   0xfffffff999699a60, 0xffffffe6ff448308,
    578   0xfffffffffff00040, 0xffffffffffc180fb,
    579   0xffffffffffe00060, 0xffffffffff830178,
    580   0xfffffff999799a00, 0xffffffe6ff830191,
    581   0xffffffeeeeceef60, 0xffffffbd54d85710,
    582   0xfffffffffff00020, 0xffffffffffc1807e,
    583   0xfffffff9998999c0, 0xffffffe6ffc18097,
    584   0xffffffeeeedeef20, 0xffffffbd5516d616,
    585   0xffffffdeeedeef80, 0xffffff7ed516d78d,
    586   0xfffffff9999999a0, 0xffffffe70000001a,
    587   0xffffffeeeeeeef00, 0xffffffbd55555599,
    588   0xffffffdeeeeeef60, 0xffffff7ed5555710,
    589   0xffffffceeeeeefa0, 0xffffff405555580a,
    590   0xfffffff555555560, 0xffffffd655555580,
    591   0xffffffe5555555c0, 0xffffff97d55556f7,
    592   0xffffffd555555600, 0xffffff59555557f1,
    593   0xffffffc555555620, 0xffffff1ad555586e,
    594   0xfffffff000000060, 0xffffffc180000178,
    595   0xffffffe0000000a0, 0xffffff8300000272,
    596   0xffffffd0000000c0, 0xffffff44800002ef,
    597   0xffffffe0000000c0, 0xffffff83000002ef,
    598   0xfffffff000000040, 0xffffffc1800000fb,
    599   0xffffffe000000060, 0xffffff8300000178,
    600   0xfffffff000000060, 0xffffffc180000178,
    601   0x0000000000000040, 0x00000000000000fb,
    602   0xfffffff000000020, 0xffffffc18000007e,
    603   0x0000000000000020, 0x000000000000007e,
    604   0x0000001000000000, 0x0000003e80000001,
    605   0x0000001aaaaaaac0, 0x000000682aaaaaff,
    606   0x0000001000000000, 0x0000003e80000001,
    607   0x0000001fffffffe0, 0x0000007cffffff84,
    608   0x0000002aaaaaaaa0, 0x000000a6aaaaaa82,
    609   0x0000003111111120, 0x000000bfaaaaaae6,
    610   0x0000000fffffffe0, 0x0000003e7fffff84,
    611   0x0000001aaaaaaaa0, 0x000000682aaaaa82,
    612   0x0000002111111120, 0x000000812aaaaae6,
    613   0x0000002111211120, 0x000000812ae92ae6,
    614   0x0000000aaaaaaac0, 0x00000029aaaaaaff,
    615   0x0000001111111140, 0x00000042aaaaab63,
    616   0x0000001111211140, 0x00000042aae92b63,
    617   0x0000001111311120, 0x00000042ab27aae6,
    618   0x0000000666666680, 0x0000001900000065,
    619   0x0000000666766680, 0x00000019003e8065,
    620   0x0000000666866660, 0x00000019007cffe8,
    621   0x0000000666966620, 0x0000001900bb7eee,
    622   0x0000000000100000, 0x00000000003e8001,
    623   0x00000000001fffe0, 0x00000000007cff84,
    624   0x00000000002fffa0, 0x0000000000bb7e8a,
    625   0x00000000003fff40, 0x0000000000f9fd13,
    626   0x00000000000fffe0, 0x00000000003e7f84,
    627   0x00000000001fffa0, 0x00000000007cfe8a,
    628   0x00000000002fff40, 0x0000000000bb7d13,
    629   0x0000000000300f40, 0x0000000000bbbb93,
    630   0x00000000000fffc0, 0x00000000003e7f07,
    631   0x00000000001fff60, 0x00000000007cfd90,
    632   0x0000000000200f60, 0x00000000007d3c10,
    633   0x0000000000201f40, 0x00000000007d7a13,
    634   0x00000000000fffa0, 0x00000000003e7e8a,
    635   0x0000000000100fa0, 0x00000000003ebd0a,
    636   0x0000000000101f80, 0x00000000003efb0d,
    637   0x0000000000102f40, 0x00000000003f3893,
    638   0x0000000000001000, 0x0000000000003e81,
    639   0x0000000000001fe0, 0x0000000000007c84,
    640   0x0000000000002fa0, 0x000000000000ba0a,
    641   0x0000000000003f40, 0x000000000000f713,
    642   0x0000000000000fe0, 0x0000000000003e04,
    643   0x0000000000001fa0, 0x0000000000007b8a,
    644   0x0000000000002f40, 0x000000000000b893,
    645   0x0000000000003340, 0x000000000000c833,
    646   0x0000000000000fc0, 0x0000000000003d87,
    647   0x0000000000001f60, 0x0000000000007a90,
    648   0x0000000000002360, 0x0000000000008a30,
    649   0x00000000000023c0, 0x0000000000008ba7,
    650   0x0000000000000fa0, 0x0000000000003d0a,
    651   0x00000000000013a0, 0x0000000000004caa,
    652   0x0000000000001400, 0x0000000000004e21,
    653   0x0000000000001440, 0x0000000000004f1b,
    654   0x0000000000000400, 0x0000000000000fa1,
    655   0x0000000000000460, 0x0000000000001118,
    656   0x00000000000004a0, 0x0000000000001212,
    657   0x00000000000004c0, 0x000000000000128f,
    658   0x0000000000000177, 0x000000000000017b,
    659   0x0000000000000271, 0x0000000000000277,
    660   0x00000000000002ee, 0x00000000000002f5,
    661   0x00000000000002ee, 0x00000000000002f5,
    662   0x00000000000000fa, 0x00000000000000fd,
    663   0x0000000000000177, 0x000000000000017b,
    664   0x0000000000000177, 0x000000000000017b,
    665   0x00000000000000fa, 0x00000000000000fd,
    666   0x000000000000007d, 0x000000000000007f,
    667   0x000000000000007d, 0x000000000000007f,
    668   0x0000000000000000, 0x0000000000000001,
    669   0xffffffffffffff06, 0xffffffffffffff05,
    670   0x0000000000000000, 0x0000000000000001,
    671   0xffffffffffffff83, 0xffffffffffffff83,
    672   0xfffffffffffffe89, 0xfffffffffffffe87,
    673   0xffffffffffffeee9, 0xffffffffffffeec7,
    674   0xffffffffffffff83, 0xffffffffffffff83,
    675   0xfffffffffffffe89, 0xfffffffffffffe87,
    676   0xffffffffffffeee9, 0xffffffffffffeec7,
    677   0xffffffffffffb1e0, 0xffffffffffffb141,
    678   0xffffffffffffff06, 0xffffffffffffff05,
    679   0xffffffffffffef66, 0xffffffffffffef45,
    680   0xffffffffffffb25d, 0xffffffffffffb1bf,
    681   0xffffffffffff74d7, 0xffffffffffff73bb,
    682   0xfffffffffffff060, 0xfffffffffffff041,
    683   0xffffffffffffb357, 0xffffffffffffb2bb,
    684   0xffffffffffff75d1, 0xffffffffffff74b7,
    685   0xffffffffffff37ce, 0xffffffffffff3635,
    686   0xffffffffffffc2f7, 0xffffffffffffc27b,
    687   0xffffffffffff8571, 0xffffffffffff8477,
    688   0xffffffffffff476e, 0xffffffffffff45f5,
    689   0xffffffffffc0c8e5, 0xffffffffffc0476f,
    690   0xffffffffffffc27a, 0xffffffffffffc1fd,
    691   0xffffffffffff8477, 0xffffffffffff837b,
    692   0xffffffffffc105ee, 0xffffffffffc084f5,
    693   0xffffffffff8286e8, 0xffffffffff8185f1,
    694   0xffffffffffffc1fd, 0xffffffffffffc17f,
    695   0xffffffffffc14374, 0xffffffffffc0c2f9,
    696   0xffffffffff82c46e, 0xffffffffff81c3f5,
    697   0xffffffffff4444eb, 0xffffffffff42c473,
    698   0xffffffffffc18177, 0xffffffffffc1017b,
    699   0xffffffffff830271, 0xffffffffff820277,
    700   0xffffffffff4482ee, 0xffffffffff4302f5,
    701   0xffffffe6ff448307, 0xffffffe6cc0fcfdb,
    702   0xffffffffffc180fa, 0xffffffffffc100fd,
    703   0xffffffffff830177, 0xffffffffff82017b,
    704   0xffffffe6ff830190, 0xffffffe6cc4ece61,
    705   0xffffffbd54d8570f, 0xffffffbccc4ece8b,
    706   0xffffffffffc1807d, 0xffffffffffc1007f,
    707   0xffffffe6ffc18096, 0xffffffe6cc8dcd65,
    708   0xffffffbd5516d615, 0xffffffbccc8dcd8f,
    709   0xffffff7ed516d78c, 0xffffff7dcc8dcf09,
    710   0xffffffe700000019, 0xffffffe6cccccce7,
    711   0xffffffbd55555598, 0xffffffbccccccd11,
    712   0xffffff7ed555570f, 0xffffff7dccccce8b,
    713   0xffffff4055555809, 0xffffff3ecccccf87,
    714   0xffffffd65555557f, 0xffffffd60000002b,
    715   0xffffff97d55556f6, 0xffffff97000001a5,
    716   0xffffff59555557f0, 0xffffff58000002a1,
    717   0xffffff1ad555586d, 0xffffff190000031f,
    718   0xffffffc180000177, 0xffffffc10000017b,
    719   0xffffff8300000271, 0xffffff8200000277,
    720   0xffffff44800002ee, 0xffffff43000002f5,
    721   0xffffff83000002ee, 0xffffff82000002f5,
    722   0xffffffc1800000fa, 0xffffffc1000000fd,
    723   0xffffff8300000177, 0xffffff820000017b,
    724   0xffffffc180000177, 0xffffffc10000017b,
    725   0x00000000000000fa, 0x00000000000000fd,
    726   0xffffffc18000007d, 0xffffffc10000007f,
    727   0x000000000000007d, 0x000000000000007f,
    728   0x0000003e80000000, 0x0000003f00000001,
    729   0x000000682aaaaafe, 0x0000006900000055,
    730   0x0000003e80000000, 0x0000003f00000001,
    731   0x0000007cffffff83, 0x0000007dffffff83,
    732   0x000000a6aaaaaa81, 0x000000a7ffffffd7,
    733   0x000000bfaaaaaae5, 0x000000c13333336f,
    734   0x0000003e7fffff83, 0x0000003effffff83,
    735   0x000000682aaaaa81, 0x00000068ffffffd7,
    736   0x000000812aaaaae5, 0x000000823333336f,
    737   0x000000812ae92ae5, 0x000000823372336f,
    738   0x00000029aaaaaafe, 0x0000002a00000055,
    739   0x00000042aaaaab62, 0x00000043333333ed,
    740   0x00000042aae92b62, 0x00000043337233ed,
    741   0x00000042ab27aae5, 0x0000004333b1336f,
    742   0x0000001900000064, 0x0000001933333399,
    743   0x00000019003e8064, 0x0000001933723399,
    744   0x00000019007cffe7, 0x0000001933b1331b,
    745   0x0000001900bb7eed, 0x0000001933f0321f,
    746   0x00000000003e8000, 0x00000000003f0001,
    747   0x00000000007cff83, 0x00000000007dff83,
    748   0x0000000000bb7e89, 0x0000000000bcfe87,
    749   0x0000000000f9fd12, 0x0000000000fbfd0d,
    750   0x00000000003e7f83, 0x00000000003eff83,
    751   0x00000000007cfe89, 0x00000000007dfe87,
    752   0x0000000000bb7d12, 0x0000000000bcfd0d,
    753   0x0000000000bbbb92, 0x0000000000bd3c0d,
    754   0x00000000003e7f06, 0x00000000003eff05,
    755   0x00000000007cfd8f, 0x00000000007dfd8b,
    756   0x00000000007d3c0f, 0x00000000007e3c8b,
    757   0x00000000007d7a12, 0x00000000007e7b0d,
    758   0x00000000003e7e89, 0x00000000003efe87,
    759   0x00000000003ebd09, 0x00000000003f3d87,
    760   0x00000000003efb0c, 0x00000000003f7c09,
    761   0x00000000003f3892, 0x00000000003fba0d,
    762   0x0000000000003e80, 0x0000000000003f01,
    763   0x0000000000007c83, 0x0000000000007d83,
    764   0x000000000000ba09, 0x000000000000bb87,
    765   0x000000000000f712, 0x000000000000f90d,
    766   0x0000000000003e03, 0x0000000000003e83,
    767   0x0000000000007b89, 0x0000000000007c87,
    768   0x000000000000b892, 0x000000000000ba0d,
    769   0x000000000000c832, 0x000000000000c9cd,
    770   0x0000000000003d86, 0x0000000000003e05,
    771   0x0000000000007a8f, 0x0000000000007b8b,
    772   0x0000000000008a2f, 0x0000000000008b4b,
    773   0x0000000000008ba6, 0x0000000000008cc5,
    774   0x0000000000003d09, 0x0000000000003d87,
    775   0x0000000000004ca9, 0x0000000000004d47,
    776   0x0000000000004e20, 0x0000000000004ec1,
    777   0x0000000000004f1a, 0x0000000000004fbd,
    778   0x0000000000000fa0, 0x0000000000000fc1,
    779   0x0000000000001117, 0x000000000000113b,
    780   0x0000000000001211, 0x0000000000001237,
    781   0x000000000000128e, 0x00000000000012b5,
    782   0x000000000000017a, 0x000000000000017e,
    783   0x0000000000000276, 0x000000000000027c,
    784   0x00000000000002f4, 0x00000000000002fb,
    785   0x00000000000002f4, 0x00000000000002fb,
    786   0x00000000000000fc, 0x00000000000000ff,
    787   0x000000000000017a, 0x000000000000017e,
    788   0x000000000000017a, 0x000000000000017e,
    789   0x00000000000000fc, 0x00000000000000ff,
    790   0x000000000000007e, 0x0000000000000080,
    791   0x000000000000007e, 0x0000000000000080,
    792   0x0000000000000000, 0x0000000000000001,
    793   0xffffffffffffff04, 0xffffffffffffff03,
    794   0x0000000000000000, 0x0000000000000001,
    795   0xffffffffffffff82, 0xffffffffffffff82,
    796   0xfffffffffffffe86, 0xfffffffffffffe84,
    797   0xffffffffffffeec6, 0xffffffffffffeea4,
    798   0xffffffffffffff82, 0xffffffffffffff82,
    799   0xfffffffffffffe86, 0xfffffffffffffe84,
    800   0xffffffffffffeec6, 0xffffffffffffeea4,
    801   0xffffffffffffb140, 0xffffffffffffb0a1,
    802   0xffffffffffffff04, 0xffffffffffffff03,
    803   0xffffffffffffef44, 0xffffffffffffef23,
    804   0xffffffffffffb1be, 0xffffffffffffb120,
    805   0xffffffffffff73ba, 0xffffffffffff729e,
    806   0xfffffffffffff040, 0xfffffffffffff021,
    807   0xffffffffffffb2ba, 0xffffffffffffb21e,
    808   0xffffffffffff74b6, 0xffffffffffff739c,
    809   0xffffffffffff3634, 0xffffffffffff349b,
    810   0xffffffffffffc27a, 0xffffffffffffc1fe,
    811   0xffffffffffff8476, 0xffffffffffff837c,
    812   0xffffffffffff45f4, 0xffffffffffff447b,
    813   0xffffffffffc0476e, 0xffffffffffbfc5f8,
    814   0xffffffffffffc1fc, 0xffffffffffffc17f,
    815   0xffffffffffff837a, 0xffffffffffff827e,
    816   0xffffffffffc084f4, 0xffffffffffc003fb,
    817   0xffffffffff8185f0, 0xffffffffff8084f9,
    818   0xffffffffffffc17e, 0xffffffffffffc100,
    819   0xffffffffffc0c2f8, 0xffffffffffc0427d,
    820   0xffffffffff81c3f4, 0xffffffffff80c37b,
    821   0xffffffffff42c472, 0xffffffffff4143fa,
    822   0xffffffffffc1017a, 0xffffffffffc0817e,
    823   0xffffffffff820276, 0xffffffffff81027c,
    824   0xffffffffff4302f4, 0xffffffffff4182fb,
    825   0xffffffe6cc0fcfda, 0xffffffe698db1cae,
    826   0xffffffffffc100fc, 0xffffffffffc080ff,
    827   0xffffffffff82017a, 0xffffffffff81017e,
    828   0xffffffe6cc4ece60, 0xffffffe6991a9b31,
    829   0xffffffbccc4ece8a, 0xffffffbc43c54606,
    830   0xffffffffffc1007e, 0xffffffffffc08080,
    831   0xffffffe6cc8dcd64, 0xffffffe6995a1a33,
    832   0xffffffbccc8dcd8e, 0xffffffbc4404c508,
    833   0xffffff7dcc8dcf08, 0xffffff7cc404c685,
    834   0xffffffe6cccccce6, 0xffffffe6999999b4,
    835   0xffffffbccccccd10, 0xffffffbc44444489,
    836   0xffffff7dccccce8a, 0xffffff7cc4444606,
    837   0xffffff3ecccccf86, 0xffffff3d44444704,
    838   0xffffffd60000002a, 0xffffffd5aaaaaad6,
    839   0xffffff97000001a4, 0xffffff962aaaac53,
    840   0xffffff58000002a0, 0xffffff56aaaaad51,
    841   0xffffff190000031e, 0xffffff172aaaadd0,
    842   0xffffffc10000017a, 0xffffffc08000017e,
    843   0xffffff8200000276, 0xffffff810000027c,
    844   0xffffff43000002f4, 0xffffff41800002fb,
    845   0xffffff82000002f4, 0xffffff81000002fb,
    846   0xffffffc1000000fc, 0xffffffc0800000ff,
    847   0xffffff820000017a, 0xffffff810000017e,
    848   0xffffffc10000017a, 0xffffffc08000017e,
    849   0x00000000000000fc, 0x00000000000000ff,
    850   0xffffffc10000007e, 0xffffffc080000080,
    851   0x000000000000007e, 0x0000000000000080,
    852   0x0000003f00000000, 0x0000003f80000001,
    853   0x0000006900000054, 0x00000069d55555ab,
    854   0x0000003f00000000, 0x0000003f80000001,
    855   0x0000007dffffff82, 0x0000007effffff82,
    856   0x000000a7ffffffd6, 0x000000a95555552c,
    857   0x000000c13333336e, 0x000000c2bbbbbbf8,
    858   0x0000003effffff82, 0x0000003f7fffff82,
    859   0x00000068ffffffd6, 0x00000069d555552c,
    860   0x000000823333336e, 0x000000833bbbbbf8,
    861   0x000000823372336e, 0x000000833bfb3bf8,
    862   0x0000002a00000054, 0x0000002a555555ab,
    863   0x00000043333333ec, 0x00000043bbbbbc77,
    864   0x00000043337233ec, 0x00000043bbfb3c77,
    865   0x0000004333b1336e, 0x00000043bc3abbf8,
    866   0x0000001933333398, 0x00000019666666cd,
    867   0x0000001933723398, 0x0000001966a5e6cd,
    868   0x0000001933b1331a, 0x0000001966e5664e,
    869   0x0000001933f0321e, 0x000000196724e550,
    870   0x00000000003f0000, 0x00000000003f8001,
    871   0x00000000007dff82, 0x00000000007eff82,
    872   0x0000000000bcfe86, 0x0000000000be7e84,
    873   0x0000000000fbfd0c, 0x0000000000fdfd07,
    874   0x00000000003eff82, 0x00000000003f7f82,
    875   0x00000000007dfe86, 0x00000000007efe84,
    876   0x0000000000bcfd0c, 0x0000000000be7d07,
    877   0x0000000000bd3c0c, 0x0000000000bebc87,
    878   0x00000000003eff04, 0x00000000003f7f03,
    879   0x00000000007dfd8a, 0x00000000007efd86,
    880   0x00000000007e3c8a, 0x00000000007f3d06,
    881   0x00000000007e7b0c, 0x00000000007f7c07,
    882   0x00000000003efe86, 0x00000000003f7e84,
    883   0x00000000003f3d86, 0x00000000003fbe04,
    884   0x00000000003f7c08, 0x00000000003ffd05,
    885   0x00000000003fba0c, 0x0000000000403b87,
    886   0x0000000000003f00, 0x0000000000003f81,
    887   0x0000000000007d82, 0x0000000000007e82,
    888   0x000000000000bb86, 0x000000000000bd04,
    889   0x000000000000f90c, 0x000000000000fb07,
    890   0x0000000000003e82, 0x0000000000003f02,
    891   0x0000000000007c86, 0x0000000000007d84,
    892   0x000000000000ba0c, 0x000000000000bb87,
    893   0x000000000000c9cc, 0x000000000000cb67,
    894   0x0000000000003e04, 0x0000000000003e83,
    895   0x0000000000007b8a, 0x0000000000007c86,
    896   0x0000000000008b4a, 0x0000000000008c66,
    897   0x0000000000008cc4, 0x0000000000008de3,
    898   0x0000000000003d86, 0x0000000000003e04,
    899   0x0000000000004d46, 0x0000000000004de4,
    900   0x0000000000004ec0, 0x0000000000004f61,
    901   0x0000000000004fbc, 0x000000000000505f,
    902   0x0000000000000fc0, 0x0000000000000fe1,
    903   0x000000000000113a, 0x000000000000115e,
    904   0x0000000000001236, 0x000000000000125c,
    905   0x00000000000012b4, 0x00000000000012db,
    906   0x000000000000017d, 0x0000000000017ff8,
    907   0x000000000000027b, 0x0000000000027ff2,
    908   0x00000000000002fa, 0x000000000002ffef,
    909   0x00000000000002fa, 0x000000000002ffef,
    910   0x00000000000000fe, 0x000000000000fffb,
    911   0x000000000000017d, 0x0000000000017ff8,
    912   0x000000000000017d, 0x0000000000017ff8,
    913   0x00000000000000fe, 0x000000000000fffb,
    914   0x000000000000007f, 0x0000000000007ffe,
    915   0x000000000000007f, 0x0000000000007ffe,
    916   0x0000000000000000, 0x0000000000000001,
    917   0xffffffffffffff02, 0xffffffffffff0007,
    918   0x0000000000000000, 0x0000000000000001,
    919   0xffffffffffffff81, 0xffffffffffff8004,
    920   0xfffffffffffffe83, 0xfffffffffffe800a,
    921   0xffffffffffffeea3, 0xffffffffffee806a,
    922   0xffffffffffffff81, 0xffffffffffff8004,
    923   0xfffffffffffffe83, 0xfffffffffffe800a,
    924   0xffffffffffffeea3, 0xffffffffffee806a,
    925   0xffffffffffffb0a0, 0xffffffffffb001e1,
    926   0xffffffffffffff02, 0xffffffffffff0007,
    927   0xffffffffffffef22, 0xffffffffffef0067,
    928   0xffffffffffffb11f, 0xffffffffffb081de,
    929   0xffffffffffff729d, 0xffffffffff718358,
    930   0xfffffffffffff020, 0xfffffffffff00061,
    931   0xffffffffffffb21d, 0xffffffffffb181d8,
    932   0xffffffffffff739b, 0xffffffffff728352,
    933   0xffffffffffff349a, 0xffffffffff3304cf,
    934   0xffffffffffffc1fd, 0xffffffffffc18178,
    935   0xffffffffffff837b, 0xffffffffff8282f2,
    936   0xffffffffffff447a, 0xffffffffff43046f,
    937   0xffffffffffbfc5f7, 0xffffffffbf460466,
    938   0xffffffffffffc17e, 0xffffffffffc1017b,
    939   0xffffffffffff827d, 0xffffffffff8182f8,
    940   0xffffffffffc003fa, 0xffffffffbf8482ef,
    941   0xffffffffff8084f8, 0xffffffff7f8702e9,
    942   0xffffffffffffc0ff, 0xffffffffffc0817e,
    943   0xffffffffffc0427c, 0xffffffffbfc38175,
    944   0xffffffffff80c37a, 0xffffffff7fc6016f,
    945   0xffffffffff4143f9, 0xffffffff3fc8016c,
    946   0xffffffffffc0817d, 0xffffffffc002fff8,
    947   0xffffffffff81027b, 0xffffffff80057ff2,
    948   0xffffffffff4182fa, 0xffffffff40077fef,
    949   0xffffffe698db1cad, 0xffffe66640079988,
    950   0xffffffffffc080fe, 0xffffffffc0027ffb,
    951   0xffffffffff81017d, 0xffffffff80047ff8,
    952   0xffffffe6991a9b30, 0xffffe66680049991,
    953   0xffffffbc43c54605, 0xffffbbbcd55a1990,
    954   0xffffffffffc0807f, 0xffffffffc001fffe,
    955   0xffffffe6995a1a32, 0xffffe666c0021997,
    956   0xffffffbc4404c507, 0xffffbbbd15579996,
    957   0xffffff7cc404c684, 0xffff7bbe9559198d,
    958   0xffffffe6999999b3, 0xffffe6670000199a,
    959   0xffffffbc44444488, 0xffffbbbd55559999,
    960   0xffffff7cc4444605, 0xffff7bbed5571990,
    961   0xffffff3d44444703, 0xffff3bc05558198a,
    962   0xffffffd5aaaaaad5, 0xffffd55655558000,
    963   0xffffff962aaaac52, 0xffff9557d556fff7,
    964   0xffffff56aaaaad50, 0xffff55595557fff1,
    965   0xffffff172aaaadcf, 0xffff155ad5587fee,
    966   0xffffffc08000017d, 0xffffc00180017ff8,
    967   0xffffff810000027b, 0xffff800300027ff2,
    968   0xffffff41800002fa, 0xffff40048002ffef,
    969   0xffffff81000002fa, 0xffff80030002ffef,
    970   0xffffffc0800000fe, 0xffffc0018000fffb,
    971   0xffffff810000017d, 0xffff800300017ff8,
    972   0xffffffc08000017d, 0xffffc00180017ff8,
    973   0x00000000000000fe, 0x000000000000fffb,
    974   0xffffffc08000007f, 0xffffc00180007ffe,
    975   0x000000000000007f, 0x0000000000007ffe,
    976   0x0000003f80000000, 0x00003ffe80000001,
    977   0x00000069d55555aa, 0x00006aa82aaaffff,
    978   0x0000003f80000000, 0x00003ffe80000001,
    979   0x0000007effffff81, 0x00007ffcffff8004,
    980   0x000000a95555552b, 0x0000aaa6aaaa8002,
    981   0x000000c2bbbbbbf7, 0x0000c43faaaae666,
    982   0x0000003f7fffff81, 0x00003ffe7fff8004,
    983   0x00000069d555552b, 0x00006aa82aaa8002,
    984   0x000000833bbbbbf7, 0x000084412aaae666,
    985   0x000000833bfb3bf7, 0x000084416aa96666,
    986   0x0000002a555555aa, 0x00002aa9aaaaffff,
    987   0x00000043bbbbbc76, 0x00004442aaab6663,
    988   0x00000043bbfb3c76, 0x00004442eaa9e663,
    989   0x00000043bc3abbf7, 0x000044432aa7e666,
    990   0x00000019666666cc, 0x0000199900006665,
    991   0x0000001966a5e6cc, 0x000019993ffee665,
    992   0x0000001966e5664d, 0x000019997ffce668,
    993   0x000000196724e54f, 0x00001999bffa666e,
    994   0x00000000003f8000, 0x000000003ffe8001,
    995   0x00000000007eff81, 0x000000007ffc8004,
    996   0x0000000000be7e83, 0x00000000bffa000a,
    997   0x0000000000fdfd06, 0x00000000fff70013,
    998   0x00000000003f7f81, 0x000000003ffe0004,
    999   0x00000000007efe83, 0x000000007ffb800a,
   1000   0x0000000000be7d06, 0x00000000bff88013,
   1001   0x0000000000bebc86, 0x00000000c0387e93,
   1002   0x00000000003f7f02, 0x000000003ffd8007,
   1003   0x00000000007efd85, 0x000000007ffa8010,
   1004   0x00000000007f3d05, 0x00000000803a7e90,
   1005   0x00000000007f7c06, 0x000000008079fd13,
   1006   0x00000000003f7e83, 0x000000003ffd000a,
   1007   0x00000000003fbe03, 0x00000000403cfe8a,
   1008   0x00000000003ffd04, 0x00000000407c7d0d,
   1009   0x0000000000403b86, 0x0000000040bb7b93,
   1010   0x0000000000003f80, 0x00000000003ffe81,
   1011   0x0000000000007e81, 0x00000000007f7d04,
   1012   0x000000000000bd03, 0x0000000000be7b8a,
   1013   0x000000000000fb06, 0x0000000000fcfa13,
   1014   0x0000000000003f01, 0x00000000003f7e84,
   1015   0x0000000000007d83, 0x00000000007e7d0a,
   1016   0x000000000000bb86, 0x0000000000bcfb93,
   1017   0x000000000000cb66, 0x0000000000ccfb33,
   1018   0x0000000000003e82, 0x00000000003efe87,
   1019   0x0000000000007c85, 0x00000000007d7d10,
   1020   0x0000000000008c65, 0x00000000008d7cb0,
   1021   0x0000000000008de2, 0x00000000008efca7,
   1022   0x0000000000003e03, 0x00000000003e7e8a,
   1023   0x0000000000004de3, 0x00000000004e7e2a,
   1024   0x0000000000004f60, 0x00000000004ffe21,
   1025   0x000000000000505e, 0x000000000050fe1b,
   1026   0x0000000000000fe0, 0x00000000000fffa1,
   1027   0x000000000000115d, 0x0000000000117f98,
   1028   0x000000000000125b, 0x0000000000127f92,
   1029   0x00000000000012da, 0x000000000012ff8f,
   1030   0x0000000000017ff7, 0x0000000000017ffb,
   1031   0x0000000000027ff1, 0x0000000000027ff7,
   1032   0x000000000002ffee, 0x000000000002fff5,
   1033   0x000000000002ffee, 0x000000000002fff5,
   1034   0x000000000000fffa, 0x000000000000fffd,
   1035   0x0000000000017ff7, 0x0000000000017ffb,
   1036   0x0000000000017ff7, 0x0000000000017ffb,
   1037   0x000000000000fffa, 0x000000000000fffd,
   1038   0x0000000000007ffd, 0x0000000000007fff,
   1039   0x0000000000007ffd, 0x0000000000007fff,
   1040   0x0000000000000000, 0x0000000000000001,
   1041   0xffffffffffff0006, 0xffffffffffff0005,
   1042   0x0000000000000000, 0x0000000000000001,
   1043   0xffffffffffff8003, 0xffffffffffff8003,
   1044   0xfffffffffffe8009, 0xfffffffffffe8007,
   1045   0xffffffffffee8069, 0xffffffffffee8047,
   1046   0xffffffffffff8003, 0xffffffffffff8003,
   1047   0xfffffffffffe8009, 0xfffffffffffe8007,
   1048   0xffffffffffee8069, 0xffffffffffee8047,
   1049   0xffffffffffb001e0, 0xffffffffffb00141,
   1050   0xffffffffffff0006, 0xffffffffffff0005,
   1051   0xffffffffffef0066, 0xffffffffffef0045,
   1052   0xffffffffffb081dd, 0xffffffffffb0813f,
   1053   0xffffffffff718357, 0xffffffffff71823b,
   1054   0xfffffffffff00060, 0xfffffffffff00041,
   1055   0xffffffffffb181d7, 0xffffffffffb1813b,
   1056   0xffffffffff728351, 0xffffffffff728237,
   1057   0xffffffffff3304ce, 0xffffffffff330335,
   1058   0xffffffffffc18177, 0xffffffffffc180fb,
   1059   0xffffffffff8282f1, 0xffffffffff8281f7,
   1060   0xffffffffff43046e, 0xffffffffff4302f5,
   1061   0xffffffffbf460465, 0xffffffffbf4582ef,
   1062   0xffffffffffc1017a, 0xffffffffffc100fd,
   1063   0xffffffffff8182f7, 0xffffffffff8181fb,
   1064   0xffffffffbf8482ee, 0xffffffffbf8401f5,
   1065   0xffffffff7f8702e8, 0xffffffff7f8601f1,
   1066   0xffffffffffc0817d, 0xffffffffffc080ff,
   1067   0xffffffffbfc38174, 0xffffffffbfc300f9,
   1068   0xffffffff7fc6016e, 0xffffffff7fc500f5,
   1069   0xffffffff3fc8016b, 0xffffffff3fc680f3,
   1070   0xffffffffc002fff7, 0xffffffffc0027ffb,
   1071   0xffffffff80057ff1, 0xffffffff80047ff7,
   1072   0xffffffff40077fee, 0xffffffff4005fff5,
   1073   0xffffe66640079987, 0xffffe6660cd2e65b,
   1074   0xffffffffc0027ffa, 0xffffffffc001fffd,
   1075   0xffffffff80047ff7, 0xffffffff80037ffb,
   1076   0xffffe66680049990, 0xffffe6664cd06661,
   1077   0xffffbbbcd55a198f, 0xffffbbbc4cd0910b,
   1078   0xffffffffc001fffd, 0xffffffffc0017fff,
   1079   0xffffe666c0021996, 0xffffe6668cce6665,
   1080   0xffffbbbd15579995, 0xffffbbbc8cce910f,
   1081   0xffff7bbe9559198c, 0xffff7bbd8cd01109,
   1082   0xffffe66700001999, 0xffffe666cccce667,
   1083   0xffffbbbd55559998, 0xffffbbbccccd1111,
   1084   0xffff7bbed557198f, 0xffff7bbdccce910b,
   1085   0xffff3bc055581989, 0xffff3bbecccf9107,
   1086   0xffffd55655557fff, 0xffffd55600002aab,
   1087   0xffff9557d556fff6, 0xffff95570001aaa5,
   1088   0xffff55595557fff0, 0xffff55580002aaa1,
   1089   0xffff155ad5587fed, 0xffff155900032a9f,
   1090   0xffffc00180017ff7, 0xffffc00100017ffb,
   1091   0xffff800300027ff1, 0xffff800200027ff7,
   1092   0xffff40048002ffee, 0xffff40030002fff5,
   1093   0xffff80030002ffee, 0xffff80020002fff5,
   1094   0xffffc0018000fffa, 0xffffc0010000fffd,
   1095   0xffff800300017ff7, 0xffff800200017ffb,
   1096   0xffffc00180017ff7, 0xffffc00100017ffb,
   1097   0x000000000000fffa, 0x000000000000fffd,
   1098   0xffffc00180007ffd, 0xffffc00100007fff,
   1099   0x0000000000007ffd, 0x0000000000007fff,
   1100   0x00003ffe80000000, 0x00003fff00000001,
   1101   0x00006aa82aaafffe, 0x00006aa900005555,
   1102   0x00003ffe80000000, 0x00003fff00000001,
   1103   0x00007ffcffff8003, 0x00007ffdffff8003,
   1104   0x0000aaa6aaaa8001, 0x0000aaa7ffffd557,
   1105   0x0000c43faaaae665, 0x0000c44133336eef,
   1106   0x00003ffe7fff8003, 0x00003ffeffff8003,
   1107   0x00006aa82aaa8001, 0x00006aa8ffffd557,
   1108   0x000084412aaae665, 0x0000844233336eef,
   1109   0x000084416aa96665, 0x0000844273326eef,
   1110   0x00002aa9aaaafffe, 0x00002aaa00005555,
   1111   0x00004442aaab6662, 0x000044433333eeed,
   1112   0x00004442eaa9e662, 0x000044437332eeed,
   1113   0x000044432aa7e665, 0x00004443b3316eef,
   1114   0x0000199900006664, 0x0000199933339999,
   1115   0x000019993ffee664, 0x0000199973329999,
   1116   0x000019997ffce667, 0x00001999b331199b,
   1117   0x00001999bffa666d, 0x00001999f32f199f,
   1118   0x000000003ffe8000, 0x000000003fff0001,
   1119   0x000000007ffc8003, 0x000000007ffd8003,
   1120   0x00000000bffa0009, 0x00000000bffb8007,
   1121   0x00000000fff70012, 0x00000000fff9000d,
   1122   0x000000003ffe0003, 0x000000003ffe8003,
   1123   0x000000007ffb8009, 0x000000007ffc8007,
   1124   0x00000000bff88012, 0x00000000bffa000d,
   1125   0x00000000c0387e92, 0x00000000c039ff0d,
   1126   0x000000003ffd8006, 0x000000003ffe0005,
   1127   0x000000007ffa800f, 0x000000007ffb800b,
   1128   0x00000000803a7e8f, 0x00000000803b7f0b,
   1129   0x000000008079fd12, 0x00000000807afe0d,
   1130   0x000000003ffd0009, 0x000000003ffd8007,
   1131   0x00000000403cfe89, 0x00000000403d7f07,
   1132   0x00000000407c7d0c, 0x00000000407cfe09,
   1133   0x0000000040bb7b92, 0x0000000040bbfd0d,
   1134   0x00000000003ffe80, 0x00000000003fff01,
   1135   0x00000000007f7d03, 0x00000000007f7e03,
   1136   0x0000000000be7b89, 0x0000000000be7d07,
   1137   0x0000000000fcfa12, 0x0000000000fcfc0d,
   1138   0x00000000003f7e83, 0x00000000003f7f03,
   1139   0x00000000007e7d09, 0x00000000007e7e07,
   1140   0x0000000000bcfb92, 0x0000000000bcfd0d,
   1141   0x0000000000ccfb32, 0x0000000000ccfccd,
   1142   0x00000000003efe86, 0x00000000003eff05,
   1143   0x00000000007d7d0f, 0x00000000007d7e0b,
   1144   0x00000000008d7caf, 0x00000000008d7dcb,
   1145   0x00000000008efca6, 0x00000000008efdc5,
   1146   0x00000000003e7e89, 0x00000000003e7f07,
   1147   0x00000000004e7e29, 0x00000000004e7ec7,
   1148   0x00000000004ffe20, 0x00000000004ffec1,
   1149   0x000000000050fe1a, 0x000000000050febd,
   1150   0x00000000000fffa0, 0x00000000000fffc1,
   1151   0x0000000000117f97, 0x0000000000117fbb,
   1152   0x0000000000127f91, 0x0000000000127fb7,
   1153   0x000000000012ff8e, 0x000000000012ffb5,
   1154   0x0000000000017ffa, 0x0000000000017ffe,
   1155   0x0000000000027ff6, 0x0000000000027ffc,
   1156   0x000000000002fff4, 0x000000000002fffb,
   1157   0x000000000002fff4, 0x000000000002fffb,
   1158   0x000000000000fffc, 0x000000000000ffff,
   1159   0x0000000000017ffa, 0x0000000000017ffe,
   1160   0x0000000000017ffa, 0x0000000000017ffe,
   1161   0x000000000000fffc, 0x000000000000ffff,
   1162   0x0000000000007ffe, 0x0000000000008000,
   1163   0x0000000000007ffe, 0x0000000000008000,
   1164   0x0000000000000000, 0x0000000000000001,
   1165   0xffffffffffff0004, 0xffffffffffff0003,
   1166   0x0000000000000000, 0x0000000000000001,
   1167   0xffffffffffff8002, 0xffffffffffff8002,
   1168   0xfffffffffffe8006, 0xfffffffffffe8004,
   1169   0xffffffffffee8046, 0xffffffffffee8024,
   1170   0xffffffffffff8002, 0xffffffffffff8002,
   1171   0xfffffffffffe8006, 0xfffffffffffe8004,
   1172   0xffffffffffee8046, 0xffffffffffee8024,
   1173   0xffffffffffb00140, 0xffffffffffb000a1,
   1174   0xffffffffffff0004, 0xffffffffffff0003,
   1175   0xffffffffffef0044, 0xffffffffffef0023,
   1176   0xffffffffffb0813e, 0xffffffffffb080a0,
   1177   0xffffffffff71823a, 0xffffffffff71811e,
   1178   0xfffffffffff00040, 0xfffffffffff00021,
   1179   0xffffffffffb1813a, 0xffffffffffb1809e,
   1180   0xffffffffff728236, 0xffffffffff72811c,
   1181   0xffffffffff330334, 0xffffffffff33019b,
   1182   0xffffffffffc180fa, 0xffffffffffc1807e,
   1183   0xffffffffff8281f6, 0xffffffffff8280fc,
   1184   0xffffffffff4302f4, 0xffffffffff43017b,
   1185   0xffffffffbf4582ee, 0xffffffffbf450178,
   1186   0xffffffffffc100fc, 0xffffffffffc1007f,
   1187   0xffffffffff8181fa, 0xffffffffff8180fe,
   1188   0xffffffffbf8401f4, 0xffffffffbf8380fb,
   1189   0xffffffff7f8601f0, 0xffffffff7f8500f9,
   1190   0xffffffffffc080fe, 0xffffffffffc08080,
   1191   0xffffffffbfc300f8, 0xffffffffbfc2807d,
   1192   0xffffffff7fc500f4, 0xffffffff7fc4007b,
   1193   0xffffffff3fc680f2, 0xffffffff3fc5007a,
   1194   0xffffffffc0027ffa, 0xffffffffc001fffe,
   1195   0xffffffff80047ff6, 0xffffffff80037ffc,
   1196   0xffffffff4005fff4, 0xffffffff40047ffb,
   1197   0xffffe6660cd2e65a, 0xffffe665d99e332e,
   1198   0xffffffffc001fffc, 0xffffffffc0017fff,
   1199   0xffffffff80037ffa, 0xffffffff80027ffe,
   1200   0xffffe6664cd06660, 0xffffe666199c3331,
   1201   0xffffbbbc4cd0910a, 0xffffbbbbc4470886,
   1202   0xffffffffc0017ffe, 0xffffffffc0010000,
   1203   0xffffe6668cce6664, 0xffffe666599ab333,
   1204   0xffffbbbc8cce910e, 0xffffbbbc04458888,
   1205   0xffff7bbd8cd01108, 0xffff7bbc84470885,
   1206   0xffffe666cccce666, 0xffffe6669999b334,
   1207   0xffffbbbccccd1110, 0xffffbbbc44448889,
   1208   0xffff7bbdccce910a, 0xffff7bbcc4460886,
   1209   0xffff3bbecccf9106, 0xffff3bbd44470884,
   1210   0xffffd55600002aaa, 0xffffd555aaaad556,
   1211   0xffff95570001aaa4, 0xffff95562aac5553,
   1212   0xffff55580002aaa0, 0xffff5556aaad5551,
   1213   0xffff155900032a9e, 0xffff15572aadd550,
   1214   0xffffc00100017ffa, 0xffffc00080017ffe,
   1215   0xffff800200027ff6, 0xffff800100027ffc,
   1216   0xffff40030002fff4, 0xffff40018002fffb,
   1217   0xffff80020002fff4, 0xffff80010002fffb,
   1218   0xffffc0010000fffc, 0xffffc0008000ffff,
   1219   0xffff800200017ffa, 0xffff800100017ffe,
   1220   0xffffc00100017ffa, 0xffffc00080017ffe,
   1221   0x000000000000fffc, 0x000000000000ffff,
   1222   0xffffc00100007ffe, 0xffffc00080008000,
   1223   0x0000000000007ffe, 0x0000000000008000,
   1224   0x00003fff00000000, 0x00003fff80000001,
   1225   0x00006aa900005554, 0x00006aa9d555aaab,
   1226   0x00003fff00000000, 0x00003fff80000001,
   1227   0x00007ffdffff8002, 0x00007ffeffff8002,
   1228   0x0000aaa7ffffd556, 0x0000aaa955552aac,
   1229   0x0000c44133336eee, 0x0000c442bbbbf778,
   1230   0x00003ffeffff8002, 0x00003fff7fff8002,
   1231   0x00006aa8ffffd556, 0x00006aa9d5552aac,
   1232   0x0000844233336eee, 0x000084433bbbf778,
   1233   0x0000844273326eee, 0x000084437bbb7778,
   1234   0x00002aaa00005554, 0x00002aaa5555aaab,
   1235   0x000044433333eeec, 0x00004443bbbc7777,
   1236   0x000044437332eeec, 0x00004443fbbbf777,
   1237   0x00004443b3316eee, 0x000044443bbaf778,
   1238   0x0000199933339998, 0x000019996666cccd,
   1239   0x0000199973329998, 0x00001999a6664ccd,
   1240   0x00001999b331199a, 0x00001999e6654cce,
   1241   0x00001999f32f199e, 0x0000199a2663ccd0,
   1242   0x000000003fff0000, 0x000000003fff8001,
   1243   0x000000007ffd8002, 0x000000007ffe8002,
   1244   0x00000000bffb8006, 0x00000000bffd0004,
   1245   0x00000000fff9000c, 0x00000000fffb0007,
   1246   0x000000003ffe8002, 0x000000003fff0002,
   1247   0x000000007ffc8006, 0x000000007ffd8004,
   1248   0x00000000bffa000c, 0x00000000bffb8007,
   1249   0x00000000c039ff0c, 0x00000000c03b7f87,
   1250   0x000000003ffe0004, 0x000000003ffe8003,
   1251   0x000000007ffb800a, 0x000000007ffc8006,
   1252   0x00000000803b7f0a, 0x00000000803c7f86,
   1253   0x00000000807afe0c, 0x00000000807bff07,
   1254   0x000000003ffd8006, 0x000000003ffe0004,
   1255   0x00000000403d7f06, 0x00000000403dff84,
   1256   0x00000000407cfe08, 0x00000000407d7f05,
   1257   0x0000000040bbfd0c, 0x0000000040bc7e87,
   1258   0x00000000003fff00, 0x00000000003fff81,
   1259   0x00000000007f7e02, 0x00000000007f7f02,
   1260   0x0000000000be7d06, 0x0000000000be7e84,
   1261   0x0000000000fcfc0c, 0x0000000000fcfe07,
   1262   0x00000000003f7f02, 0x00000000003f7f82,
   1263   0x00000000007e7e06, 0x00000000007e7f04,
   1264   0x0000000000bcfd0c, 0x0000000000bcfe87,
   1265   0x0000000000ccfccc, 0x0000000000ccfe67,
   1266   0x00000000003eff04, 0x00000000003eff83,
   1267   0x00000000007d7e0a, 0x00000000007d7f06,
   1268   0x00000000008d7dca, 0x00000000008d7ee6,
   1269   0x00000000008efdc4, 0x00000000008efee3,
   1270   0x00000000003e7f06, 0x00000000003e7f84,
   1271   0x00000000004e7ec6, 0x00000000004e7f64,
   1272   0x00000000004ffec0, 0x00000000004fff61,
   1273   0x000000000050febc, 0x000000000050ff5f,
   1274   0x00000000000fffc0, 0x00000000000fffe1,
   1275   0x0000000000117fba, 0x0000000000117fde,
   1276   0x0000000000127fb6, 0x0000000000127fdc,
   1277   0x000000000012ffb4, 0x000000000012ffdb,
   1278   0x0000000000017ffd, 0x000000009999999a,
   1279   0x0000000000027ffb, 0x0000000100000000,
   1280   0x000000000002fffa, 0x0000000133333333,
   1281   0x000000000002fffa, 0x0000000133333333,
   1282   0x000000000000fffe, 0x0000000066666667,
   1283   0x0000000000017ffd, 0x000000009999999a,
   1284   0x0000000000017ffd, 0x000000009999999a,
   1285   0x000000000000fffe, 0x0000000066666667,
   1286   0x0000000000007fff, 0x0000000033333334,
   1287   0x0000000000007fff, 0x0000000033333334,
   1288   0x0000000000000000, 0x0000000000000001,
   1289   0xffffffffffff0002, 0xffffffff9999999b,
   1290   0x0000000000000000, 0x0000000000000001,
   1291   0xffffffffffff8001, 0xffffffffccccccce,
   1292   0xfffffffffffe8003, 0xffffffff66666668,
   1293   0xffffffffffee8023, 0xfffffff900000008,
   1294   0xffffffffffff8001, 0xffffffffccccccce,
   1295   0xfffffffffffe8003, 0xffffffff66666668,
   1296   0xffffffffffee8023, 0xfffffff900000008,
   1297   0xffffffffffb000a0, 0xffffffe000000021,
   1298   0xffffffffffff0002, 0xffffffff9999999b,
   1299   0xffffffffffef0022, 0xfffffff93333333b,
   1300   0xffffffffffb0809f, 0xffffffe033333354,
   1301   0xffffffffff71811d, 0xffffffc70000003a,
   1302   0xfffffffffff00020, 0xfffffff9999999a1,
   1303   0xffffffffffb1809d, 0xffffffe0999999ba,
   1304   0xffffffffff72811b, 0xffffffc7666666a0,
   1305   0xffffffffff33019a, 0xffffffae00000053,
   1306   0xffffffffffc1807d, 0xffffffe70000001a,
   1307   0xffffffffff8280fb, 0xffffffcdcccccd00,
   1308   0xffffffffff43017a, 0xffffffb4666666b3,
   1309   0xffffffffbf450177, 0xffffe61b6666804c,
   1310   0xffffffffffc1007e, 0xffffffe6cccccce7,
   1311   0xffffffffff8180fd, 0xffffffcd6666669a,
   1312   0xffffffffbf8380fa, 0xffffe63466668033,
   1313   0xffffffff7f8500f8, 0xffffcc9b33336699,
   1314   0xffffffffffc0807f, 0xffffffe6999999b4,
   1315   0xffffffffbfc2807c, 0xffffe64d9999b34d,
   1316   0xffffffff7fc4007a, 0xffffccb4666699b3,
   1317   0xffffffff3fc50079, 0xffffb31b00004ce6,
   1318   0xffffffffc001fffd, 0xffffe6670000199a,
   1319   0xffffffff80037ffb, 0xffffcccdcccd0000,
   1320   0xffffffff40047ffa, 0xffffb3346666b333,
   1321   0xffffe665d99e332d, 0xf5c24290a3d7570a,
   1322   0xffffffffc0017ffe, 0xffffe666cccce667,
   1323   0xffffffff80027ffd, 0xffffcccd6666999a,
   1324   0xffffe666199c3330, 0xf5c25c29a3d73d71,
   1325   0xffffbbbbc4470885, 0xe4b14b18b4e84e82,
   1326   0xffffffffc000ffff, 0xffffe6669999b334,
   1327   0xffffe666599ab332, 0xf5c275c2d70a570b,
   1328   0xffffbbbc04458887, 0xe4b164b1e81b681c,
   1329   0xffff7bbc84470884, 0xcb17cb1901b501b5,
   1330   0xffffe6669999b333, 0xf5c28f5c3d70a3d8,
   1331   0xffffbbbc44448888, 0xe4b17e4b4e81b4e9,
   1332   0xffff7bbcc4460885, 0xcb17e4b2681b4e82,
   1333   0xffff3bbd44470883, 0xb17e4b194e81b4e8,
   1334   0xffffd555aaaad555, 0xeeeeeeef11111112,
   1335   0xffff95562aac5552, 0xd55555562aaaaaab,
   1336   0xffff5556aaad5550, 0xbbbbbbbd11111111,
   1337   0xffff15572aadd54f, 0xa2222223c4444444,
   1338   0xffffc00080017ffd, 0xe66666671999999a,
   1339   0xffff800100027ffb, 0xccccccce00000000,
   1340   0xffff40018002fffa, 0xb3333334b3333333,
   1341   0xffff80010002fffa, 0xccccccce33333333,
   1342   0xffffc0008000fffe, 0xe6666666e6666667,
   1343   0xffff800100017ffd, 0xcccccccd9999999a,
   1344   0xffffc00080017ffd, 0xe66666671999999a,
   1345   0x000000000000fffe, 0x0000000066666667,
   1346   0xffffc00080007fff, 0xe6666666b3333334,
   1347   0x0000000000007fff, 0x0000000033333334,
   1348   0x00003fff80000000, 0x1999999980000001,
   1349   0x00006aa9d555aaaa, 0x2aaaaaaaa2222223,
   1350   0x00003fff80000000, 0x1999999980000001,
   1351   0x00007ffeffff8001, 0x33333332ccccccce,
   1352   0x0000aaa955552aab, 0x44444443eeeeeef0,
   1353   0x0000c442bbbbf777, 0x4e81b4e7e4b17e4c,
   1354   0x00003fff7fff8001, 0x199999994cccccce,
   1355   0x00006aa9d5552aab, 0x2aaaaaaa6eeeeef0,
   1356   0x000084433bbbf777, 0x34e81b4e64b17e4c,
   1357   0x000084437bbb7777, 0x34e834e7fe4afe4c,
   1358   0x00002aaa5555aaaa, 0x1111111122222223,
   1359   0x00004443bbbc7776, 0x1b4e81b517e4b17f,
   1360   0x00004443fbbbf776, 0x1b4e9b4eb17e317f,
   1361   0x000044443bbaf777, 0x1b4eb4e817e47e4c,
   1362   0x000019996666cccc, 0x0a3d70a3f5c28f5d,
   1363   0x00001999a6664ccc, 0x0a3d8a3d8f5c0f5d,
   1364   0x00001999e6654ccd, 0x0a3da3d6f5c25c2a,
   1365   0x0000199a2663cccf, 0x0a3dbd7028f575c4,
   1366   0x000000003fff8000, 0x0000199999998001,
   1367   0x000000007ffe8001, 0x00003332ffffccce,
   1368   0x00000000bffd0003, 0x00004ccc3332e668,
   1369   0x00000000fffb0006, 0x000066653332cccf,
   1370   0x000000003fff0001, 0x0000199966664cce,
   1371   0x000000007ffd8003, 0x0000333299996668,
   1372   0x00000000bffb8006, 0x00004ccb99994ccf,
   1373   0x00000000c03b7f86, 0x00004ce53332e64f,
   1374   0x000000003ffe8002, 0x000019993333199b,
   1375   0x000000007ffc8005, 0x0000333233330002,
   1376   0x00000000803c7f85, 0x0000334bcccc9982,
   1377   0x00000000807bff06, 0x000033653332ffcf,
   1378   0x000000003ffe0003, 0x00001998ffffe668,
   1379   0x00000000403dff83, 0x000019b299997fe8,
   1380   0x00000000407d7f04, 0x000019cbffffe635,
   1381   0x0000000040bc7e86, 0x000019e53333194f,
   1382   0x00000000003fff80, 0x0000001999999981,
   1383   0x00000000007f7f01, 0x00000032ffffffce,
   1384   0x0000000000be7e83, 0x0000004c333332e8,
   1385   0x0000000000fcfe06, 0x00000065333332cf,
   1386   0x00000000003f7f81, 0x000000196666664e,
   1387   0x00000000007e7f03, 0x0000003299999968,
   1388   0x0000000000bcfe86, 0x0000004b9999994f,
   1389   0x0000000000ccfe66, 0x00000051ffffffaf,
   1390   0x00000000003eff82, 0x000000193333331b,
   1391   0x00000000007d7f05, 0x0000003233333302,
   1392   0x00000000008d7ee5, 0x0000003899999962,
   1393   0x00000000008efee2, 0x00000039333332fb,
   1394   0x00000000003e7f83, 0x00000018ffffffe8,
   1395   0x00000000004e7f63, 0x0000001f66666648,
   1396   0x00000000004fff60, 0x0000001fffffffe1,
   1397   0x000000000050ff5e, 0x0000002066666647,
   1398   0x00000000000fffe0, 0x0000000666666661,
   1399   0x0000000000117fdd, 0x00000006fffffffa,
   1400   0x0000000000127fdb, 0x0000000766666660,
   1401   0x000000000012ffda, 0x0000000799999993,
   1402   0x0000000099999999, 0x0000000100000000,
   1403   0x00000000ffffffff, 0x00000001aaaaaaaa,
   1404   0x0000000133333332, 0x00000001ffffffff,
   1405   0x0000000133333332, 0x00000001ffffffff,
   1406   0x0000000066666666, 0x00000000aaaaaaab,
   1407   0x0000000099999999, 0x0000000100000000,
   1408   0x0000000099999999, 0x0000000100000000,
   1409   0x0000000066666666, 0x00000000aaaaaaab,
   1410   0x0000000033333333, 0x0000000055555556,
   1411   0x0000000033333333, 0x0000000055555556,
   1412   0x0000000000000000, 0x0000000000000001,
   1413   0xffffffff9999999a, 0xffffffff55555557,
   1414   0x0000000000000000, 0x0000000000000001,
   1415   0xffffffffcccccccd, 0xffffffffaaaaaaac,
   1416   0xffffffff66666667, 0xffffffff00000002,
   1417   0xfffffff900000007, 0xfffffff455555562,
   1418   0xffffffffcccccccd, 0xffffffffaaaaaaac,
   1419   0xffffffff66666667, 0xffffffff00000002,
   1420   0xfffffff900000007, 0xfffffff455555562,
   1421   0xffffffe000000020, 0xffffffcaaaaaaae1,
   1422   0xffffffff9999999a, 0xffffffff55555557,
   1423   0xfffffff93333333a, 0xfffffff4aaaaaab7,
   1424   0xffffffe033333353, 0xffffffcb00000036,
   1425   0xffffffc700000039, 0xffffffa100000060,
   1426   0xfffffff9999999a0, 0xfffffff555555561,
   1427   0xffffffe0999999b9, 0xffffffcbaaaaaae0,
   1428   0xffffffc76666669f, 0xffffffa1aaaaab0a,
   1429   0xffffffae00000052, 0xffffff77555555df,
   1430   0xffffffe700000019, 0xffffffd655555580,
   1431   0xffffffcdccccccff, 0xffffffac555555aa,
   1432   0xffffffb4666666b2, 0xffffff820000007f,
   1433   0xffffe61b6666804b, 0xffffd4d85555807e,
   1434   0xffffffe6cccccce6, 0xffffffd60000002b,
   1435   0xffffffcd66666699, 0xffffffabaaaaab00,
   1436   0xffffe63466668032, 0xffffd50200002aff,
   1437   0xffffcc9b33336698, 0xffffaa58000055a9,
   1438   0xffffffe6999999b3, 0xffffffd5aaaaaad6,
   1439   0xffffe64d9999b34c, 0xffffd52c00002ad5,
   1440   0xffffccb4666699b2, 0xffffaa820000557f,
   1441   0xffffb31b00004ce5, 0xffff7fd7aaab2ad4,
   1442   0xffffe66700001999, 0xffffd55655558000,
   1443   0xffffcccdccccffff, 0xffffaaac5555aaaa,
   1444   0xffffb3346666b332, 0xffff800200007fff,
   1445   0xf5c24290a3d75709, 0xeeee6ef111119110,
   1446   0xffffe666cccce666, 0xffffd55600002aab,
   1447   0xffffcccd66669999, 0xffffaaabaaab0000,
   1448   0xf5c25c29a3d73d70, 0xeeee999abbbc1111,
   1449   0xe4b14b18b4e84e81, 0xd27cd27e82d882d8,
   1450   0xffffe6669999b333, 0xffffd555aaaad556,
   1451   0xf5c275c2d70a570a, 0xeeeec444bbbbe667,
   1452   0xe4b164b1e81b681b, 0xd27cfd2882d8582e,
   1453   0xcb17cb1901b501b4, 0xa7d2527f02d8582d,
   1454   0xf5c28f5c3d70a3d7, 0xeeeeeeef11111112,
   1455   0xe4b17e4b4e81b4e8, 0xd27d27d2d82d82d9,
   1456   0xcb17e4b2681b4e81, 0xa7d27d29582d82d8,
   1457   0xb17e4b194e81b4e7, 0x7d27d27f82d82d82,
   1458   0xeeeeeeef11111111, 0xe38e38e3c71c71c8,
   1459   0xd55555562aaaaaaa, 0xb8e38e3a471c71c7,
   1460   0xbbbbbbbd11111110, 0x8e38e39071c71c71,
   1461   0xa2222223c4444443, 0x638e38e6471c71c6,
   1462   0xe666666719999999, 0xd555555680000000,
   1463   0xcccccccdffffffff, 0xaaaaaaacaaaaaaaa,
   1464   0xb3333334b3333332, 0x800000027fffffff,
   1465   0xccccccce33333332, 0xaaaaaaacffffffff,
   1466   0xe6666666e6666666, 0xd55555562aaaaaab,
   1467   0xcccccccd99999999, 0xaaaaaaac00000000,
   1468   0xe666666719999999, 0xd555555680000000,
   1469   0x0000000066666666, 0x00000000aaaaaaab,
   1470   0xe6666666b3333333, 0xd5555555d5555556,
   1471   0x0000000033333333, 0x0000000055555556,
   1472   0x1999999980000000, 0x2aaaaaaa80000001,
   1473   0x2aaaaaaaa2222222, 0x471c71c70e38e38f,
   1474   0x1999999980000000, 0x2aaaaaaa80000001,
   1475   0x33333332cccccccd, 0x55555554aaaaaaac,
   1476   0x44444443eeeeeeef, 0x71c71c7138e38e3a,
   1477   0x4e81b4e7e4b17e4b, 0x82d82d827d27d27e,
   1478   0x199999994ccccccd, 0x2aaaaaaa2aaaaaac,
   1479   0x2aaaaaaa6eeeeeef, 0x471c71c6b8e38e3a,
   1480   0x34e81b4e64b17e4b, 0x582d82d7fd27d27e,
   1481   0x34e834e7fe4afe4b, 0x582dad82a7d2527e,
   1482   0x1111111122222222, 0x1c71c71c8e38e38f,
   1483   0x1b4e81b517e4b17e, 0x2d82d82dd27d27d3,
   1484   0x1b4e9b4eb17e317e, 0x2d8302d87d27a7d3,
   1485   0x1b4eb4e817e47e4b, 0x2d832d82d27cd27e,
   1486   0x0a3d70a3f5c28f5c, 0x1111111144444445,
   1487   0x0a3d8a3d8f5c0f5c, 0x11113bbbeeeec445,
   1488   0x0a3da3d6f5c25c29, 0x111166664443eef0,
   1489   0x0a3dbd7028f575c3, 0x111191104443c446,
   1490   0x0000199999998000, 0x00002aaaaaaa8001,
   1491   0x00003332ffffcccd, 0x00005554ffffaaac,
   1492   0x00004ccc3332e667, 0x00007ffeffff8002,
   1493   0x000066653332ccce, 0x0000aaa8aaaa0003,
   1494   0x0000199966664ccd, 0x00002aaa55552aac,
   1495   0x0000333299996667, 0x0000555455550002,
   1496   0x00004ccb99994cce, 0x00007ffdffff8003,
   1497   0x00004ce53332e64e, 0x00008028aaaa2a83,
   1498   0x000019993333199a, 0x00002aa9ffffd557,
   1499   0x0000333233330001, 0x00005553aaaa5558,
   1500   0x0000334bcccc9981, 0x0000557e5554ffd8,
   1501   0x000033653332ffce, 0x000055a8aaaa5503,
   1502   0x00001998ffffe667, 0x00002aa9aaaa8002,
   1503   0x000019b299997fe7, 0x00002ad455552a82,
   1504   0x000019cbffffe634, 0x00002afeaaaa7fad,
   1505   0x000019e53333194e, 0x00002b28aaaa7f83,
   1506   0x0000001999999980, 0x0000002aaaaaaa81,
   1507   0x00000032ffffffcd, 0x00000054ffffffac,
   1508   0x0000004c333332e7, 0x0000007effffff82,
   1509   0x00000065333332ce, 0x000000a8aaaaaa03,
   1510   0x000000196666664d, 0x0000002a5555552c,
   1511   0x0000003299999967, 0x0000005455555502,
   1512   0x0000004b9999994e, 0x0000007dffffff83,
   1513   0x00000051ffffffae, 0x00000088aaaaaa23,
   1514   0x000000193333331a, 0x00000029ffffffd7,
   1515   0x0000003233333301, 0x00000053aaaaaa58,
   1516   0x0000003899999961, 0x0000005e555554f8,
   1517   0x00000039333332fa, 0x0000005f555554f7,
   1518   0x00000018ffffffe7, 0x00000029aaaaaa82,
   1519   0x0000001f66666647, 0x0000003455555522,
   1520   0x0000001fffffffe0, 0x0000003555555521,
   1521   0x0000002066666646, 0x00000035ffffffcb,
   1522   0x0000000666666660, 0x0000000aaaaaaaa1,
   1523   0x00000006fffffff9, 0x0000000baaaaaaa0,
   1524   0x000000076666665f, 0x0000000c5555554a,
   1525   0x0000000799999992, 0x0000000caaaaaa9f,
   1526   0x00000000ffffffff, 0x000000017ffffff8,
   1527   0x00000001aaaaaaa9, 0x000000027ffffff2,
   1528   0x00000001fffffffe, 0x00000002ffffffef,
   1529   0x00000001fffffffe, 0x00000002ffffffef,
   1530   0x00000000aaaaaaaa, 0x00000000fffffffb,
   1531   0x00000000ffffffff, 0x000000017ffffff8,
   1532   0x00000000ffffffff, 0x000000017ffffff8,
   1533   0x00000000aaaaaaaa, 0x00000000fffffffb,
   1534   0x0000000055555555, 0x000000007ffffffe,
   1535   0x0000000055555555, 0x000000007ffffffe,
   1536   0x0000000000000000, 0x0000000000000001,
   1537   0xffffffff55555556, 0xffffffff00000007,
   1538   0x0000000000000000, 0x0000000000000001,
   1539   0xffffffffaaaaaaab, 0xffffffff80000004,
   1540   0xffffffff00000001, 0xfffffffe8000000a,
   1541   0xfffffff455555561, 0xffffffee8000006a,
   1542   0xffffffffaaaaaaab, 0xffffffff80000004,
   1543   0xffffffff00000001, 0xfffffffe8000000a,
   1544   0xfffffff455555561, 0xffffffee8000006a,
   1545   0xffffffcaaaaaaae0, 0xffffffb0000001e1,
   1546   0xffffffff55555556, 0xffffffff00000007,
   1547   0xfffffff4aaaaaab6, 0xffffffef00000067,
   1548   0xffffffcb00000035, 0xffffffb0800001de,
   1549   0xffffffa10000005f, 0xffffff7180000358,
   1550   0xfffffff555555560, 0xfffffff000000061,
   1551   0xffffffcbaaaaaadf, 0xffffffb1800001d8,
   1552   0xffffffa1aaaaab09, 0xffffff7280000352,
   1553   0xffffff77555555de, 0xffffff33000004cf,
   1554   0xffffffd65555557f, 0xffffffc180000178,
   1555   0xffffffac555555a9, 0xffffff82800002f2,
   1556   0xffffff820000007e, 0xffffff430000046f,
   1557   0xffffd4d85555807d, 0xffffbf4480018466,
   1558   0xffffffd60000002a, 0xffffffc10000017b,
   1559   0xffffffabaaaaaaff, 0xffffff81800002f8,
   1560   0xffffd50200002afe, 0xffffbf83000182ef,
   1561   0xffffaa58000055a8, 0xffff7f84000302e9,
   1562   0xffffffd5aaaaaad5, 0xffffffc08000017e,
   1563   0xffffd52c00002ad4, 0xffffbfc200018175,
   1564   0xffffaa820000557e, 0xffff7fc30003016f,
   1565   0xffff7fd7aaab2ad3, 0xffff3fc38004816c,
   1566   0xffffd55655557fff, 0xffffc00180017ff8,
   1567   0xffffaaac5555aaa9, 0xffff80028002fff2,
   1568   0xffff800200007ffe, 0xffff400300047fef,
   1569   0xeeee6ef11111910f, 0xe665a66a199e1988,
   1570   0xffffd55600002aaa, 0xffffc00100017ffb,
   1571   0xffffaaabaaaaffff, 0xffff80018002fff8,
   1572   0xeeee999abbbc1110, 0xe665e668999c9991,
   1573   0xd27cd27e82d882d7, 0xbbbb3bbf199c9990,
   1574   0xffffd555aaaad555, 0xffffc00080017ffe,
   1575   0xeeeec444bbbbe666, 0xe6662667999b1997,
   1576   0xd27cfd2882d8582d, 0xbbbb7bbe199b1996,
   1577   0xa7d2527f02d8582c, 0x7bbb7bc1199b198d,
   1578   0xeeeeeeef11111111, 0xe66666671999999a,
   1579   0xd27d27d2d82d82d8, 0xbbbbbbbd99999999,
   1580   0xa7d27d29582d82d7, 0x7bbbbbc099999990,
   1581   0x7d27d27f82d82d81, 0x3bbbbbc31999998a,
   1582   0xe38e38e3c71c71c7, 0xd555555680000000,
   1583   0xb8e38e3a471c71c6, 0x955555597ffffff7,
   1584   0x8e38e39071c71c70, 0x5555555bfffffff1,
   1585   0x638e38e6471c71c5, 0x1555555dffffffee,
   1586   0xd55555567fffffff, 0xc0000002fffffff8,
   1587   0xaaaaaaacaaaaaaa9, 0x800000057ffffff2,
   1588   0x800000027ffffffe, 0x400000077fffffef,
   1589   0xaaaaaaacfffffffe, 0x80000005ffffffef,
   1590   0xd55555562aaaaaaa, 0xc00000027ffffffb,
   1591   0xaaaaaaabffffffff, 0x800000047ffffff8,
   1592   0xd55555567fffffff, 0xc0000002fffffff8,
   1593   0x00000000aaaaaaaa, 0x00000000fffffffb,
   1594   0xd5555555d5555555, 0xc0000001fffffffe,
   1595   0x0000000055555555, 0x000000007ffffffe,
   1596   0x2aaaaaaa80000000, 0x3ffffffe80000001,
   1597   0x471c71c70e38e38e, 0x6aaaaaa87fffffff,
   1598   0x2aaaaaaa80000000, 0x3ffffffe80000001,
   1599   0x55555554aaaaaaab, 0x7ffffffc80000004,
   1600   0x71c71c7138e38e39, 0xaaaaaaa680000002,
   1601   0x82d82d827d27d27d, 0xc444443fe6666666,
   1602   0x2aaaaaaa2aaaaaab, 0x3ffffffe00000004,
   1603   0x471c71c6b8e38e39, 0x6aaaaaa800000002,
   1604   0x582d82d7fd27d27d, 0x8444444166666666,
   1605   0x582dad82a7d2527d, 0x844484416664e666,
   1606   0x1c71c71c8e38e38e, 0x2aaaaaa9ffffffff,
   1607   0x2d82d82dd27d27d2, 0x4444444366666663,
   1608   0x2d8302d87d27a7d2, 0x444484436664e663,
   1609   0x2d832d82d27cd27d, 0x4444c442e6636666,
   1610   0x1111111144444444, 0x1999999966666665,
   1611   0x11113bbbeeeec444, 0x1999d9996664e665,
   1612   0x111166664443eeef, 0x199a1998e6636668,
   1613   0x111191104443c445, 0x199a5997e661e66e,
   1614   0x00002aaaaaaa8000, 0x00003ffffffe8001,
   1615   0x00005554ffffaaab, 0x00007fff7ffd0004,
   1616   0x00007ffeffff8001, 0x0000bffe7ffb800a,
   1617   0x0000aaa8aaaa0002, 0x0000fffcfffa0013,
   1618   0x00002aaa55552aab, 0x00003fff7ffe8004,
   1619   0x0000555455550001, 0x00007ffe7ffd000a,
   1620   0x00007ffdffff8002, 0x0000bffcfffb8013,
   1621   0x00008028aaaa2a82, 0x0000c03cfffb7e93,
   1622   0x00002aa9ffffd556, 0x00003ffefffe8007,
   1623   0x00005553aaaa5557, 0x00007ffd7ffd0010,
   1624   0x0000557e5554ffd7, 0x0000803d7ffcfe90,
   1625   0x000055a8aaaa5502, 0x0000807cfffcfd13,
   1626   0x00002aa9aaaa8001, 0x00003ffe7ffe800a,
   1627   0x00002ad455552a81, 0x0000403e7ffe7e8a,
   1628   0x00002afeaaaa7fac, 0x0000407dfffe7d0d,
   1629   0x00002b28aaaa7f82, 0x000040bcfffe7b93,
   1630   0x0000002aaaaaaa80, 0x0000003ffffffe81,
   1631   0x00000054ffffffab, 0x0000007f7ffffd04,
   1632   0x0000007effffff81, 0x000000be7ffffb8a,
   1633   0x000000a8aaaaaa02, 0x000000fcfffffa13,
   1634   0x0000002a5555552b, 0x0000003f7ffffe84,
   1635   0x0000005455555501, 0x0000007e7ffffd0a,
   1636   0x0000007dffffff82, 0x000000bcfffffb93,
   1637   0x00000088aaaaaa22, 0x000000ccfffffb33,
   1638   0x00000029ffffffd6, 0x0000003efffffe87,
   1639   0x00000053aaaaaa57, 0x0000007d7ffffd10,
   1640   0x0000005e555554f7, 0x0000008d7ffffcb0,
   1641   0x0000005f555554f6, 0x0000008efffffca7,
   1642   0x00000029aaaaaa81, 0x0000003e7ffffe8a,
   1643   0x0000003455555521, 0x0000004e7ffffe2a,
   1644   0x0000003555555520, 0x0000004ffffffe21,
   1645   0x00000035ffffffca, 0x00000050fffffe1b,
   1646   0x0000000aaaaaaaa0, 0x0000000fffffffa1,
   1647   0x0000000baaaaaa9f, 0x000000117fffff98,
   1648   0x0000000c55555549, 0x000000127fffff92,
   1649   0x0000000caaaaaa9e, 0x00000012ffffff8f,
   1650   0x000000017ffffff7, 0x000000017ffffffb,
   1651   0x000000027ffffff1, 0x000000027ffffff7,
   1652   0x00000002ffffffee, 0x00000002fffffff5,
   1653   0x00000002ffffffee, 0x00000002fffffff5,
   1654   0x00000000fffffffa, 0x00000000fffffffd,
   1655   0x000000017ffffff7, 0x000000017ffffffb,
   1656   0x000000017ffffff7, 0x000000017ffffffb,
   1657   0x00000000fffffffa, 0x00000000fffffffd,
   1658   0x000000007ffffffd, 0x000000007fffffff,
   1659   0x000000007ffffffd, 0x000000007fffffff,
   1660   0x0000000000000000, 0x0000000000000001,
   1661   0xffffffff00000006, 0xffffffff00000005,
   1662   0x0000000000000000, 0x0000000000000001,
   1663   0xffffffff80000003, 0xffffffff80000003,
   1664   0xfffffffe80000009, 0xfffffffe80000007,
   1665   0xffffffee80000069, 0xffffffee80000047,
   1666   0xffffffff80000003, 0xffffffff80000003,
   1667   0xfffffffe80000009, 0xfffffffe80000007,
   1668   0xffffffee80000069, 0xffffffee80000047,
   1669   0xffffffb0000001e0, 0xffffffb000000141,
   1670   0xffffffff00000006, 0xffffffff00000005,
   1671   0xffffffef00000066, 0xffffffef00000045,
   1672   0xffffffb0800001dd, 0xffffffb08000013f,
   1673   0xffffff7180000357, 0xffffff718000023b,
   1674   0xfffffff000000060, 0xfffffff000000041,
   1675   0xffffffb1800001d7, 0xffffffb18000013b,
   1676   0xffffff7280000351, 0xffffff7280000237,
   1677   0xffffff33000004ce, 0xffffff3300000335,
   1678   0xffffffc180000177, 0xffffffc1800000fb,
   1679   0xffffff82800002f1, 0xffffff82800001f7,
   1680   0xffffff430000046e, 0xffffff43000002f5,
   1681   0xffffbf4480018465, 0xffffbf44800102ef,
   1682   0xffffffc10000017a, 0xffffffc1000000fd,
   1683   0xffffff81800002f7, 0xffffff81800001fb,
   1684   0xffffbf83000182ee, 0xffffbf83000101f5,
   1685   0xffff7f84000302e8, 0xffff7f84000201f1,
   1686   0xffffffc08000017d, 0xffffffc0800000ff,
   1687   0xffffbfc200018174, 0xffffbfc2000100f9,
   1688   0xffff7fc30003016e, 0xffff7fc3000200f5,
   1689   0xffff3fc38004816b, 0xffff3fc3800300f3,
   1690   0xffffc00180017ff7, 0xffffc0018000fffb,
   1691   0xffff80028002fff1, 0xffff80028001fff7,
   1692   0xffff400300047fee, 0xffff40030002fff5,
   1693   0xe665a66a199e1987, 0xe665a669e669665b,
   1694   0xffffc00100017ffa, 0xffffc0010000fffd,
   1695   0xffff80018002fff7, 0xffff80018001fffb,
   1696   0xe665e668999c9990, 0xe665e66866686661,
   1697   0xbbbb3bbf199c998f, 0xbbbb3bbe9113110b,
   1698   0xffffc00080017ffd, 0xffffc0008000ffff,
   1699   0xe6662667999b1996, 0xe666266766676665,
   1700   0xbbbb7bbe199b1995, 0xbbbb7bbd9112110f,
   1701   0x7bbb7bc1199b198c, 0x7bbb7bc011121109,
   1702   0xe666666719999999, 0xe6666666e6666667,
   1703   0xbbbbbbbd99999998, 0xbbbbbbbd11111111,
   1704   0x7bbbbbc09999998f, 0x7bbbbbbf9111110b,
   1705   0x3bbbbbc319999989, 0x3bbbbbc191111107,
   1706   0xd55555567fffffff, 0xd55555562aaaaaab,
   1707   0x955555597ffffff6, 0x95555558aaaaaaa5,
   1708   0x5555555bfffffff0, 0x5555555aaaaaaaa1,
   1709   0x1555555dffffffed, 0x1555555c2aaaaa9f,
   1710   0xc0000002fffffff7, 0xc00000027ffffffb,
   1711   0x800000057ffffff1, 0x800000047ffffff7,
   1712   0x400000077fffffee, 0x40000005fffffff5,
   1713   0x80000005ffffffee, 0x80000004fffffff5,
   1714   0xc00000027ffffffa, 0xc0000001fffffffd,
   1715   0x800000047ffffff7, 0x800000037ffffffb,
   1716   0xc0000002fffffff7, 0xc00000027ffffffb,
   1717   0x00000000fffffffa, 0x00000000fffffffd,
   1718   0xc0000001fffffffd, 0xc00000017fffffff,
   1719   0x000000007ffffffd, 0x000000007fffffff,
   1720   0x3ffffffe80000000, 0x3fffffff00000001,
   1721   0x6aaaaaa87ffffffe, 0x6aaaaaa955555555,
   1722   0x3ffffffe80000000, 0x3fffffff00000001,
   1723   0x7ffffffc80000003, 0x7ffffffd80000003,
   1724   0xaaaaaaa680000001, 0xaaaaaaa7d5555557,
   1725   0xc444443fe6666665, 0xc44444416eeeeeef,
   1726   0x3ffffffe00000003, 0x3ffffffe80000003,
   1727   0x6aaaaaa800000001, 0x6aaaaaa8d5555557,
   1728   0x8444444166666665, 0x844444426eeeeeef,
   1729   0x844484416664e665, 0x844484426eedeeef,
   1730   0x2aaaaaa9fffffffe, 0x2aaaaaaa55555555,
   1731   0x4444444366666662, 0x44444443eeeeeeed,
   1732   0x444484436664e662, 0x44448443eeedeeed,
   1733   0x4444c442e6636665, 0x4444c4436eeceeef,
   1734   0x1999999966666664, 0x1999999999999999,
   1735   0x1999d9996664e664, 0x1999d99999989999,
   1736   0x199a1998e6636667, 0x199a19991997999b,
   1737   0x199a5997e661e66d, 0x199a59981996999f,
   1738   0x00003ffffffe8000, 0x00003fffffff0001,
   1739   0x00007fff7ffd0003, 0x00007fff7ffe0003,
   1740   0x0000bffe7ffb8009, 0x0000bffe7ffd0007,
   1741   0x0000fffcfffa0012, 0x0000fffcfffc000d,
   1742   0x00003fff7ffe8003, 0x00003fff7fff0003,
   1743   0x00007ffe7ffd0009, 0x00007ffe7ffe0007,
   1744   0x0000bffcfffb8012, 0x0000bffcfffd000d,
   1745   0x0000c03cfffb7e92, 0x0000c03cfffcff0d,
   1746   0x00003ffefffe8006, 0x00003ffeffff0005,
   1747   0x00007ffd7ffd000f, 0x00007ffd7ffe000b,
   1748   0x0000803d7ffcfe8f, 0x0000803d7ffdff0b,
   1749   0x0000807cfffcfd12, 0x0000807cfffdfe0d,
   1750   0x00003ffe7ffe8009, 0x00003ffe7fff0007,
   1751   0x0000403e7ffe7e89, 0x0000403e7ffeff07,
   1752   0x0000407dfffe7d0c, 0x0000407dfffefe09,
   1753   0x000040bcfffe7b92, 0x000040bcfffefd0d,
   1754   0x0000003ffffffe80, 0x0000003fffffff01,
   1755   0x0000007f7ffffd03, 0x0000007f7ffffe03,
   1756   0x000000be7ffffb89, 0x000000be7ffffd07,
   1757   0x000000fcfffffa12, 0x000000fcfffffc0d,
   1758   0x0000003f7ffffe83, 0x0000003f7fffff03,
   1759   0x0000007e7ffffd09, 0x0000007e7ffffe07,
   1760   0x000000bcfffffb92, 0x000000bcfffffd0d,
   1761   0x000000ccfffffb32, 0x000000ccfffffccd,
   1762   0x0000003efffffe86, 0x0000003effffff05,
   1763   0x0000007d7ffffd0f, 0x0000007d7ffffe0b,
   1764   0x0000008d7ffffcaf, 0x0000008d7ffffdcb,
   1765   0x0000008efffffca6, 0x0000008efffffdc5,
   1766   0x0000003e7ffffe89, 0x0000003e7fffff07,
   1767   0x0000004e7ffffe29, 0x0000004e7ffffec7,
   1768   0x0000004ffffffe20, 0x0000004ffffffec1,
   1769   0x00000050fffffe1a, 0x00000050fffffebd,
   1770   0x0000000fffffffa0, 0x0000000fffffffc1,
   1771   0x000000117fffff97, 0x000000117fffffbb,
   1772   0x000000127fffff91, 0x000000127fffffb7,
   1773   0x00000012ffffff8e, 0x00000012ffffffb5,
   1774   0x000000017ffffffa, 0x000000017ffffffe,
   1775   0x000000027ffffff6, 0x000000027ffffffc,
   1776   0x00000002fffffff4, 0x00000002fffffffb,
   1777   0x00000002fffffff4, 0x00000002fffffffb,
   1778   0x00000000fffffffc, 0x00000000ffffffff,
   1779   0x000000017ffffffa, 0x000000017ffffffe,
   1780   0x000000017ffffffa, 0x000000017ffffffe,
   1781   0x00000000fffffffc, 0x00000000ffffffff,
   1782   0x000000007ffffffe, 0x0000000080000000,
   1783   0x000000007ffffffe, 0x0000000080000000,
   1784   0x0000000000000000, 0x0000000000000001,
   1785   0xffffffff00000004, 0xffffffff00000003,
   1786   0x0000000000000000, 0x0000000000000001,
   1787   0xffffffff80000002, 0xffffffff80000002,
   1788   0xfffffffe80000006, 0xfffffffe80000004,
   1789   0xffffffee80000046, 0xffffffee80000024,
   1790   0xffffffff80000002, 0xffffffff80000002,
   1791   0xfffffffe80000006, 0xfffffffe80000004,
   1792   0xffffffee80000046, 0xffffffee80000024,
   1793   0xffffffb000000140, 0xffffffb0000000a1,
   1794   0xffffffff00000004, 0xffffffff00000003,
   1795   0xffffffef00000044, 0xffffffef00000023,
   1796   0xffffffb08000013e, 0xffffffb0800000a0,
   1797   0xffffff718000023a, 0xffffff718000011e,
   1798   0xfffffff000000040, 0xfffffff000000021,
   1799   0xffffffb18000013a, 0xffffffb18000009e,
   1800   0xffffff7280000236, 0xffffff728000011c,
   1801   0xffffff3300000334, 0xffffff330000019b,
   1802   0xffffffc1800000fa, 0xffffffc18000007e,
   1803   0xffffff82800001f6, 0xffffff82800000fc,
   1804   0xffffff43000002f4, 0xffffff430000017b,
   1805   0xffffbf44800102ee, 0xffffbf4480008178,
   1806   0xffffffc1000000fc, 0xffffffc10000007f,
   1807   0xffffff81800001fa, 0xffffff81800000fe,
   1808   0xffffbf83000101f4, 0xffffbf83000080fb,
   1809   0xffff7f84000201f0, 0xffff7f84000100f9,
   1810   0xffffffc0800000fe, 0xffffffc080000080,
   1811   0xffffbfc2000100f8, 0xffffbfc20000807d,
   1812   0xffff7fc3000200f4, 0xffff7fc30001007b,
   1813   0xffff3fc3800300f2, 0xffff3fc38001807a,
   1814   0xffffc0018000fffa, 0xffffc00180007ffe,
   1815   0xffff80028001fff6, 0xffff80028000fffc,
   1816   0xffff40030002fff4, 0xffff400300017ffb,
   1817   0xe665a669e669665a, 0xe665a669b334b32e,
   1818   0xffffc0010000fffc, 0xffffc00100007fff,
   1819   0xffff80018001fffa, 0xffff80018000fffe,
   1820   0xe665e66866686660, 0xe665e66833343331,
   1821   0xbbbb3bbe9113110a, 0xbbbb3bbe08898886,
   1822   0xffffc0008000fffe, 0xffffc00080008000,
   1823   0xe666266766676664, 0xe66626673333b333,
   1824   0xbbbb7bbd9112110e, 0xbbbb7bbd08890888,
   1825   0x7bbb7bc011121108, 0x7bbb7bbf08890885,
   1826   0xe6666666e6666666, 0xe6666666b3333334,
   1827   0xbbbbbbbd11111110, 0xbbbbbbbc88888889,
   1828   0x7bbbbbbf9111110a, 0x7bbbbbbe88888886,
   1829   0x3bbbbbc191111106, 0x3bbbbbc008888884,
   1830   0xd55555562aaaaaaa, 0xd5555555d5555556,
   1831   0x95555558aaaaaaa4, 0x95555557d5555553,
   1832   0x5555555aaaaaaaa0, 0x5555555955555551,
   1833   0x1555555c2aaaaa9e, 0x1555555a55555550,
   1834   0xc00000027ffffffa, 0xc0000001fffffffe,
   1835   0x800000047ffffff6, 0x800000037ffffffc,
   1836   0x40000005fffffff4, 0x400000047ffffffb,
   1837   0x80000004fffffff4, 0x80000003fffffffb,
   1838   0xc0000001fffffffc, 0xc00000017fffffff,
   1839   0x800000037ffffffa, 0x800000027ffffffe,
   1840   0xc00000027ffffffa, 0xc0000001fffffffe,
   1841   0x00000000fffffffc, 0x00000000ffffffff,
   1842   0xc00000017ffffffe, 0xc000000100000000,
   1843   0x000000007ffffffe, 0x0000000080000000,
   1844   0x3fffffff00000000, 0x3fffffff80000001,
   1845   0x6aaaaaa955555554, 0x6aaaaaaa2aaaaaab,
   1846   0x3fffffff00000000, 0x3fffffff80000001,
   1847   0x7ffffffd80000002, 0x7ffffffe80000002,
   1848   0xaaaaaaa7d5555556, 0xaaaaaaa92aaaaaac,
   1849   0xc44444416eeeeeee, 0xc4444442f7777778,
   1850   0x3ffffffe80000002, 0x3fffffff00000002,
   1851   0x6aaaaaa8d5555556, 0x6aaaaaa9aaaaaaac,
   1852   0x844444426eeeeeee, 0x8444444377777778,
   1853   0x844484426eedeeee, 0x844484437776f778,
   1854   0x2aaaaaaa55555554, 0x2aaaaaaaaaaaaaab,
   1855   0x44444443eeeeeeec, 0x4444444477777777,
   1856   0x44448443eeedeeec, 0x444484447776f777,
   1857   0x4444c4436eeceeee, 0x4444c443f7767778,
   1858   0x1999999999999998, 0x19999999cccccccd,
   1859   0x1999d99999989998, 0x1999d999cccc4ccd,
   1860   0x199a19991997999a, 0x199a19994ccbccce,
   1861   0x199a59981996999e, 0x199a59984ccb4cd0,
   1862   0x00003fffffff0000, 0x00003fffffff8001,
   1863   0x00007fff7ffe0002, 0x00007fff7fff0002,
   1864   0x0000bffe7ffd0006, 0x0000bffe7ffe8004,
   1865   0x0000fffcfffc000c, 0x0000fffcfffe0007,
   1866   0x00003fff7fff0002, 0x00003fff7fff8002,
   1867   0x00007ffe7ffe0006, 0x00007ffe7fff0004,
   1868   0x0000bffcfffd000c, 0x0000bffcfffe8007,
   1869   0x0000c03cfffcff0c, 0x0000c03cfffe7f87,
   1870   0x00003ffeffff0004, 0x00003ffeffff8003,
   1871   0x00007ffd7ffe000a, 0x00007ffd7fff0006,
   1872   0x0000803d7ffdff0a, 0x0000803d7ffeff86,
   1873   0x0000807cfffdfe0c, 0x0000807cfffeff07,
   1874   0x00003ffe7fff0006, 0x00003ffe7fff8004,
   1875   0x0000403e7ffeff06, 0x0000403e7fff7f84,
   1876   0x0000407dfffefe08, 0x0000407dffff7f05,
   1877   0x000040bcfffefd0c, 0x000040bcffff7e87,
   1878   0x0000003fffffff00, 0x0000003fffffff81,
   1879   0x0000007f7ffffe02, 0x0000007f7fffff02,
   1880   0x000000be7ffffd06, 0x000000be7ffffe84,
   1881   0x000000fcfffffc0c, 0x000000fcfffffe07,
   1882   0x0000003f7fffff02, 0x0000003f7fffff82,
   1883   0x0000007e7ffffe06, 0x0000007e7fffff04,
   1884   0x000000bcfffffd0c, 0x000000bcfffffe87,
   1885   0x000000ccfffffccc, 0x000000ccfffffe67,
   1886   0x0000003effffff04, 0x0000003effffff83,
   1887   0x0000007d7ffffe0a, 0x0000007d7fffff06,
   1888   0x0000008d7ffffdca, 0x0000008d7ffffee6,
   1889   0x0000008efffffdc4, 0x0000008efffffee3,
   1890   0x0000003e7fffff06, 0x0000003e7fffff84,
   1891   0x0000004e7ffffec6, 0x0000004e7fffff64,
   1892   0x0000004ffffffec0, 0x0000004fffffff61,
   1893   0x00000050fffffebc, 0x00000050ffffff5f,
   1894   0x0000000fffffffc0, 0x0000000fffffffe1,
   1895   0x000000117fffffba, 0x000000117fffffde,
   1896   0x000000127fffffb6, 0x000000127fffffdc,
   1897   0x00000012ffffffb4, 0x00000012ffffffdb,
   1898   0x000000017ffffffd, 0xfffffffe80000001,
   1899   0x000000027ffffffb, 0xfffffffd80000001,
   1900   0x00000002fffffffa, 0xfffffffd00000001,
   1901   0x00000002fffffffa, 0xfffffffd00000001,
   1902   0x00000000fffffffe, 0xffffffff00000001,
   1903   0x000000017ffffffd, 0xfffffffe80000001,
   1904   0x000000017ffffffd, 0xfffffffe80000001,
   1905   0x00000000fffffffe, 0xffffffff00000001,
   1906   0x000000007fffffff, 0xffffffff80000001,
   1907   0x000000007fffffff, 0xffffffff80000001,
   1908   0x0000000000000000, 0x0000000000000001,
   1909   0xffffffff00000002, 0x0000000100000001,
   1910   0x0000000000000000, 0x0000000000000001,
   1911   0xffffffff80000001, 0x0000000080000001,
   1912   0xfffffffe80000003, 0x0000000180000001,
   1913   0xffffffee80000023, 0x0000001180000001,
   1914   0xffffffff80000001, 0x0000000080000001,
   1915   0xfffffffe80000003, 0x0000000180000001,
   1916   0xffffffee80000023, 0x0000001180000001,
   1917   0xffffffb0000000a0, 0x0000005000000001,
   1918   0xffffffff00000002, 0x0000000100000001,
   1919   0xffffffef00000022, 0x0000001100000001,
   1920   0xffffffb08000009f, 0x0000004f80000001,
   1921   0xffffff718000011d, 0x0000008e80000001,
   1922   0xfffffff000000020, 0x0000001000000001,
   1923   0xffffffb18000009d, 0x0000004e80000001,
   1924   0xffffff728000011b, 0x0000008d80000001,
   1925   0xffffff330000019a, 0x000000cd00000001,
   1926   0xffffffc18000007d, 0x0000003e80000001,
   1927   0xffffff82800000fb, 0x0000007d80000001,
   1928   0xffffff430000017a, 0x000000bd00000001,
   1929   0xffffbf4480008177, 0x000040bb80000001,
   1930   0xffffffc10000007e, 0x0000003f00000001,
   1931   0xffffff81800000fd, 0x0000007e80000001,
   1932   0xffffbf83000080fa, 0x0000407d00000001,
   1933   0xffff7f84000100f8, 0x0000807c00000001,
   1934   0xffffffc08000007f, 0x0000003f80000001,
   1935   0xffffbfc20000807c, 0x0000403e00000001,
   1936   0xffff7fc30001007a, 0x0000803d00000001,
   1937   0xffff3fc380018079, 0x0000c03c80000001,
   1938   0xffffc00180007ffd, 0x00003ffe80000001,
   1939   0xffff80028000fffb, 0x00007ffd80000001,
   1940   0xffff400300017ffa, 0x0000bffd00000001,
   1941   0xe665a669b334b32d, 0x199a599680000001,
   1942   0xffffc00100007ffe, 0x00003fff00000001,
   1943   0xffff80018000fffd, 0x00007ffe80000001,
   1944   0xe665e66833343330, 0x199a199800000001,
   1945   0xbbbb3bbe08898885, 0x4444c44280000001,
   1946   0xffffc00080007fff, 0x00003fff80000001,
   1947   0xe66626673333b332, 0x1999d99900000001,
   1948   0xbbbb7bbd08890887, 0x4444844380000001,
   1949   0x7bbb7bbf08890884, 0x8444844200000001,
   1950   0xe6666666b3333333, 0x1999999980000001,
   1951   0xbbbbbbbc88888888, 0x4444444400000001,
   1952   0x7bbbbbbe88888885, 0x8444444280000001,
   1953   0x3bbbbbc008888883, 0xc444444180000001,
   1954   0xd5555555d5555555, 0x2aaaaaaa80000001,
   1955   0x95555557d5555552, 0x6aaaaaa900000001,
   1956   0x5555555955555550, 0xaaaaaaa800000001,
   1957   0x1555555a5555554f, 0xeaaaaaa780000001,
   1958   0xc0000001fffffffd, 0x3ffffffe80000001,
   1959   0x800000037ffffffb, 0x7ffffffd80000001,
   1960   0x400000047ffffffa, 0xbffffffd00000001,
   1961   0x80000003fffffffa, 0x7ffffffd00000001,
   1962   0xc00000017ffffffe, 0x3fffffff00000001,
   1963   0x800000027ffffffd, 0x7ffffffe80000001,
   1964   0xc0000001fffffffd, 0x3ffffffe80000001,
   1965   0x00000000fffffffe, 0xffffffff00000001,
   1966   0xc0000000ffffffff, 0x3fffffff80000001,
   1967   0x000000007fffffff, 0xffffffff80000001,
   1968   0x3fffffff80000000, 0xc000000000000001,
   1969   0x6aaaaaaa2aaaaaaa, 0x9555555500000001,
   1970   0x3fffffff80000000, 0xc000000000000001,
   1971   0x7ffffffe80000001, 0x8000000080000001,
   1972   0xaaaaaaa92aaaaaab, 0x5555555580000001,
   1973   0xc4444442f7777777, 0x3bbbbbbb80000001,
   1974   0x3fffffff00000001, 0xc000000080000001,
   1975   0x6aaaaaa9aaaaaaab, 0x9555555580000001,
   1976   0x8444444377777777, 0x7bbbbbbb80000001,
   1977   0x844484437776f777, 0x7bbb7bbb80000001,
   1978   0x2aaaaaaaaaaaaaaa, 0xd555555500000001,
   1979   0x4444444477777776, 0xbbbbbbbb00000001,
   1980   0x444484447776f776, 0xbbbb7bbb00000001,
   1981   0x4444c443f7767777, 0xbbbb3bbb80000001,
   1982   0x19999999cccccccc, 0xe666666600000001,
   1983   0x1999d999cccc4ccc, 0xe666266600000001,
   1984   0x199a19994ccbcccd, 0xe665e66680000001,
   1985   0x199a59984ccb4ccf, 0xe665a66780000001,
   1986   0x00003fffffff8000, 0xffffc00000000001,
   1987   0x00007fff7fff0001, 0xffff800080000001,
   1988   0x0000bffe7ffe8003, 0xffff400180000001,
   1989   0x0000fffcfffe0006, 0xffff000300000001,
   1990   0x00003fff7fff8001, 0xffffc00080000001,
   1991   0x00007ffe7fff0003, 0xffff800180000001,
   1992   0x0000bffcfffe8006, 0xffff400300000001,
   1993   0x0000c03cfffe7f86, 0xffff3fc300000001,
   1994   0x00003ffeffff8002, 0xffffc00100000001,
   1995   0x00007ffd7fff0005, 0xffff800280000001,
   1996   0x0000803d7ffeff85, 0xffff7fc280000001,
   1997   0x0000807cfffeff06, 0xffff7f8300000001,
   1998   0x00003ffe7fff8003, 0xffffc00180000001,
   1999   0x0000403e7fff7f83, 0xffffbfc180000001,
   2000   0x0000407dffff7f04, 0xffffbf8200000001,
   2001   0x000040bcffff7e86, 0xffffbf4300000001,
   2002   0x0000003fffffff80, 0xffffffc000000001,
   2003   0x0000007f7fffff01, 0xffffff8080000001,
   2004   0x000000be7ffffe83, 0xffffff4180000001,
   2005   0x000000fcfffffe06, 0xffffff0300000001,
   2006   0x0000003f7fffff81, 0xffffffc080000001,
   2007   0x0000007e7fffff03, 0xffffff8180000001,
   2008   0x000000bcfffffe86, 0xffffff4300000001,
   2009   0x000000ccfffffe66, 0xffffff3300000001,
   2010   0x0000003effffff82, 0xffffffc100000001,
   2011   0x0000007d7fffff05, 0xffffff8280000001,
   2012   0x0000008d7ffffee5, 0xffffff7280000001,
   2013   0x0000008efffffee2, 0xffffff7100000001,
   2014   0x0000003e7fffff83, 0xffffffc180000001,
   2015   0x0000004e7fffff63, 0xffffffb180000001,
   2016   0x0000004fffffff60, 0xffffffb000000001,
   2017   0x00000050ffffff5e, 0xffffffaf00000001,
   2018   0x0000000fffffffe0, 0xfffffff000000001,
   2019   0x000000117fffffdd, 0xffffffee80000001,
   2020   0x000000127fffffdb, 0xffffffed80000001,
   2021   0x00000012ffffffda, 0xffffffed00000001,
   2022   0xfffffffe80000000, 0xfffffffe80000004,
   2023   0xfffffffd80000000, 0xfffffffd80000006,
   2024   0xfffffffd00000000, 0xfffffffd00000007,
   2025   0xfffffffd00000000, 0xfffffffd00000007,
   2026   0xffffffff00000000, 0xffffffff00000003,
   2027   0xfffffffe80000000, 0xfffffffe80000004,
   2028   0xfffffffe80000000, 0xfffffffe80000004,
   2029   0xffffffff00000000, 0xffffffff00000003,
   2030   0xffffffff80000000, 0xffffffff80000002,
   2031   0xffffffff80000000, 0xffffffff80000002,
   2032   0x0000000000000000, 0x0000000000000001,
   2033   0x0000000100000000, 0x00000000ffffffff,
   2034   0x0000000000000000, 0x0000000000000001,
   2035   0x0000000080000000, 0x0000000080000000,
   2036   0x0000000180000000, 0x000000017ffffffe,
   2037   0x0000001180000000, 0x000000117fffffde,
   2038   0x0000000080000000, 0x0000000080000000,
   2039   0x0000000180000000, 0x000000017ffffffe,
   2040   0x0000001180000000, 0x000000117fffffde,
   2041   0x0000005000000000, 0x0000004fffffff61,
   2042   0x0000000100000000, 0x00000000ffffffff,
   2043   0x0000001100000000, 0x00000010ffffffdf,
   2044   0x0000004f80000000, 0x0000004f7fffff62,
   2045   0x0000008e80000000, 0x0000008e7ffffee4,
   2046   0x0000001000000000, 0x0000000fffffffe1,
   2047   0x0000004e80000000, 0x0000004e7fffff64,
   2048   0x0000008d80000000, 0x0000008d7ffffee6,
   2049   0x000000cd00000000, 0x000000ccfffffe67,
   2050   0x0000003e80000000, 0x0000003e7fffff84,
   2051   0x0000007d80000000, 0x0000007d7fffff06,
   2052   0x000000bd00000000, 0x000000bcfffffe87,
   2053   0x000040bb80000000, 0x000040bb7fff7e8a,
   2054   0x0000003f00000000, 0x0000003effffff83,
   2055   0x0000007e80000000, 0x0000007e7fffff04,
   2056   0x0000407d00000000, 0x0000407cffff7f07,
   2057   0x0000807c00000000, 0x0000807bfffeff09,
   2058   0x0000003f80000000, 0x0000003f7fffff82,
   2059   0x0000403e00000000, 0x0000403dffff7f85,
   2060   0x0000803d00000000, 0x0000803cfffeff87,
   2061   0x0000c03c80000000, 0x0000c03c7ffe7f88,
   2062   0x00003ffe80000000, 0x00003ffe7fff8004,
   2063   0x00007ffd80000000, 0x00007ffd7fff0006,
   2064   0x0000bffd00000000, 0x0000bffcfffe8007,
   2065   0x199a599680000000, 0x199a59964ccb4cd4,
   2066   0x00003fff00000000, 0x00003ffeffff8003,
   2067   0x00007ffe80000000, 0x00007ffe7fff0004,
   2068   0x199a199800000000, 0x199a1997cccbccd1,
   2069   0x4444c44280000000, 0x4444c441f776777c,
   2070   0x00003fff80000000, 0x00003fff7fff8002,
   2071   0x1999d99900000000, 0x1999d998cccc4ccf,
   2072   0x4444844380000000, 0x44448442f776f77a,
   2073   0x8444844200000000, 0x84448440f776f77d,
   2074   0x1999999980000000, 0x199999994cccccce,
   2075   0x4444444400000000, 0x4444444377777779,
   2076   0x8444444280000000, 0x844444417777777c,
   2077   0xc444444180000000, 0xc444443ff777777e,
   2078   0x2aaaaaaa80000000, 0x2aaaaaaa2aaaaaac,
   2079   0x6aaaaaa900000000, 0x6aaaaaa82aaaaaaf,
   2080   0xaaaaaaa800000000, 0xaaaaaaa6aaaaaab1,
   2081   0xeaaaaaa780000000, 0xeaaaaaa5aaaaaab2,
   2082   0x3ffffffe80000000, 0x3ffffffe00000004,
   2083   0x7ffffffd80000000, 0x7ffffffc80000006,
   2084   0xbffffffd00000000, 0xbffffffb80000007,
   2085   0x7ffffffd00000000, 0x7ffffffc00000007,
   2086   0x3fffffff00000000, 0x3ffffffe80000003,
   2087   0x7ffffffe80000000, 0x7ffffffd80000004,
   2088   0x3ffffffe80000000, 0x3ffffffe00000004,
   2089   0xffffffff00000000, 0xffffffff00000003,
   2090   0x3fffffff80000000, 0x3fffffff00000002,
   2091   0xffffffff80000000, 0xffffffff80000002,
   2092   0xc000000000000000, 0xc000000080000001,
   2093   0x9555555500000000, 0x95555555d5555557,
   2094   0xc000000000000000, 0xc000000080000001,
   2095   0x8000000080000000, 0x8000000180000000,
   2096   0x5555555580000000, 0x55555556d5555556,
   2097   0x3bbbbbbb80000000, 0x3bbbbbbd0888888a,
   2098   0xc000000080000000, 0xc000000100000000,
   2099   0x9555555580000000, 0x9555555655555556,
   2100   0x7bbbbbbb80000000, 0x7bbbbbbc8888888a,
   2101   0x7bbb7bbb80000000, 0x7bbb7bbc8889088a,
   2102   0xd555555500000000, 0xd555555555555557,
   2103   0xbbbbbbbb00000000, 0xbbbbbbbb8888888b,
   2104   0xbbbb7bbb00000000, 0xbbbb7bbb8889088b,
   2105   0xbbbb3bbb80000000, 0xbbbb3bbc0889888a,
   2106   0xe666666600000000, 0xe666666633333335,
   2107   0xe666266600000000, 0xe66626663333b335,
   2108   0xe665e66680000000, 0xe665e666b3343334,
   2109   0xe665a66780000000, 0xe665a667b334b332,
   2110   0xffffc00000000000, 0xffffc00000008001,
   2111   0xffff800080000000, 0xffff800080010000,
   2112   0xffff400180000000, 0xffff400180017ffe,
   2113   0xffff000300000000, 0xffff00030001fffb,
   2114   0xffffc00080000000, 0xffffc00080008000,
   2115   0xffff800180000000, 0xffff80018000fffe,
   2116   0xffff400300000000, 0xffff400300017ffb,
   2117   0xffff3fc300000000, 0xffff3fc30001807b,
   2118   0xffffc00100000000, 0xffffc00100007fff,
   2119   0xffff800280000000, 0xffff80028000fffc,
   2120   0xffff7fc280000000, 0xffff7fc28001007c,
   2121   0xffff7f8300000000, 0xffff7f83000100fb,
   2122   0xffffc00180000000, 0xffffc00180007ffe,
   2123   0xffffbfc180000000, 0xffffbfc18000807e,
   2124   0xffffbf8200000000, 0xffffbf82000080fd,
   2125   0xffffbf4300000000, 0xffffbf430000817b,
   2126   0xffffffc000000000, 0xffffffc000000081,
   2127   0xffffff8080000000, 0xffffff8080000100,
   2128   0xffffff4180000000, 0xffffff418000017e,
   2129   0xffffff0300000000, 0xffffff03000001fb,
   2130   0xffffffc080000000, 0xffffffc080000080,
   2131   0xffffff8180000000, 0xffffff81800000fe,
   2132   0xffffff4300000000, 0xffffff430000017b,
   2133   0xffffff3300000000, 0xffffff330000019b,
   2134   0xffffffc100000000, 0xffffffc10000007f,
   2135   0xffffff8280000000, 0xffffff82800000fc,
   2136   0xffffff7280000000, 0xffffff728000011c,
   2137   0xffffff7100000000, 0xffffff710000011f,
   2138   0xffffffc180000000, 0xffffffc18000007e,
   2139   0xffffffb180000000, 0xffffffb18000009e,
   2140   0xffffffb000000000, 0xffffffb0000000a1,
   2141   0xffffffaf00000000, 0xffffffaf000000a3,
   2142   0xfffffff000000000, 0xfffffff000000021,
   2143   0xffffffee80000000, 0xffffffee80000024,
   2144   0xffffffed80000000, 0xffffffed80000026,
   2145   0xffffffed00000000, 0xffffffed00000027,
   2146   0xfffffffe80000003, 0xfffffffeffffffff,
   2147   0xfffffffd80000005, 0xfffffffe55555553,
   2148   0xfffffffd00000006, 0xfffffffdfffffffd,
   2149   0xfffffffd00000006, 0xfffffffdfffffffd,
   2150   0xffffffff00000002, 0xffffffff55555555,
   2151   0xfffffffe80000003, 0xfffffffeffffffff,
   2152   0xfffffffe80000003, 0xfffffffeffffffff,
   2153   0xffffffff00000002, 0xffffffff55555555,
   2154   0xffffffff80000001, 0xffffffffaaaaaaab,
   2155   0xffffffff80000001, 0xffffffffaaaaaaab,
   2156   0x0000000000000000, 0x0000000000000001,
   2157   0x00000000fffffffe, 0x00000000aaaaaaad,
   2158   0x0000000000000000, 0x0000000000000001,
   2159   0x000000007fffffff, 0x0000000055555557,
   2160   0x000000017ffffffd, 0x0000000100000003,
   2161   0x000000117fffffdd, 0x0000000baaaaaac3,
   2162   0x000000007fffffff, 0x0000000055555557,
   2163   0x000000017ffffffd, 0x0000000100000003,
   2164   0x000000117fffffdd, 0x0000000baaaaaac3,
   2165   0x0000004fffffff60, 0x00000035555555c1,
   2166   0x00000000fffffffe, 0x00000000aaaaaaad,
   2167   0x00000010ffffffde, 0x0000000b5555556d,
   2168   0x0000004f7fffff61, 0x000000350000006b,
   2169   0x0000008e7ffffee3, 0x0000005f000000bf,
   2170   0x0000000fffffffe0, 0x0000000aaaaaaac1,
   2171   0x0000004e7fffff63, 0x00000034555555bf,
   2172   0x0000008d7ffffee5, 0x0000005e55555613,
   2173   0x000000ccfffffe66, 0x00000088aaaaabbd,
   2174   0x0000003e7fffff83, 0x00000029aaaaaaff,
   2175   0x0000007d7fffff05, 0x00000053aaaaab53,
   2176   0x000000bcfffffe86, 0x0000007e000000fd,
   2177   0x000040bb7fff7e89, 0x00002b27aaab00fb,
   2178   0x0000003effffff82, 0x0000002a00000055,
   2179   0x0000007e7fffff03, 0x00000054555555ff,
   2180   0x0000407cffff7f06, 0x00002afe000055fd,
   2181   0x0000807bfffeff08, 0x000055a80000ab51,
   2182   0x0000003f7fffff81, 0x0000002a555555ab,
   2183   0x0000403dffff7f84, 0x00002ad4000055a9,
   2184   0x0000803cfffeff86, 0x0000557e0000aafd,
   2185   0x0000c03c7ffe7f87, 0x00008028555655a7,
   2186   0x00003ffe7fff8003, 0x00002aa9aaaaffff,
   2187   0x00007ffd7fff0005, 0x00005553aaab5553,
   2188   0x0000bffcfffe8006, 0x00007ffe0000fffd,
   2189   0x199a59964ccb4cd3, 0x1111910f2223221f,
   2190   0x00003ffeffff8002, 0x00002aaa00005555,
   2191   0x00007ffe7fff0003, 0x000055545555ffff,
   2192   0x199a1997cccbccd0, 0x1111666577782221,
   2193   0x4444c441f776777b, 0x2d832d8205b105af,
   2194   0x00003fff7fff8001, 0x00002aaa5555aaab,
   2195   0x1999d998cccc4cce, 0x11113bbb7777cccd,
   2196   0x44448442f776f779, 0x2d8302d805b0b05b,
   2197   0x84448440f776f77c, 0x582dad8205b0b059,
   2198   0x199999994ccccccd, 0x1111111122222223,
   2199   0x4444444377777778, 0x2d82d82db05b05b1,
   2200   0x844444417777777b, 0x582d82d7b05b05af,
   2201   0xc444443ff777777d, 0x82d82d8205b05b03,
   2202   0x2aaaaaaa2aaaaaab, 0x1c71c71c8e38e38f,
   2203   0x6aaaaaa82aaaaaae, 0x471c71c68e38e38d,
   2204   0xaaaaaaa6aaaaaab0, 0x71c71c70e38e38e1,
   2205   0xeaaaaaa5aaaaaab1, 0x9c71c71b8e38e38b,
   2206   0x3ffffffe00000003, 0x2aaaaaa9ffffffff,
   2207   0x7ffffffc80000005, 0x5555555455555553,
   2208   0xbffffffb80000006, 0x7ffffffefffffffd,
   2209   0x7ffffffc00000006, 0x55555553fffffffd,
   2210   0x3ffffffe80000002, 0x2aaaaaaa55555555,
   2211   0x7ffffffd80000003, 0x55555554ffffffff,
   2212   0x3ffffffe00000003, 0x2aaaaaa9ffffffff,
   2213   0xffffffff00000002, 0xffffffff55555555,
   2214   0x3fffffff00000001, 0x2aaaaaaaaaaaaaab,
   2215   0xffffffff80000001, 0xffffffffaaaaaaab,
   2216   0xc000000080000000, 0xd555555500000001,
   2217   0x95555555d5555556, 0xb8e38e381c71c71d,
   2218   0xc000000080000000, 0xd555555500000001,
   2219   0x800000017fffffff, 0xaaaaaaaa55555557,
   2220   0x55555556d5555555, 0x8e38e38d71c71c73,
   2221   0x3bbbbbbd08888889, 0x7d27d27bfa4fa4fb,
   2222   0xc0000000ffffffff, 0xd555555555555557,
   2223   0x9555555655555555, 0xb8e38e3871c71c73,
   2224   0x7bbbbbbc88888889, 0xa7d27d26fa4fa4fb,
   2225   0x7bbb7bbc88890889, 0xa7d2527c4fa4a4fb,
   2226   0xd555555555555556, 0xe38e38e31c71c71d,
   2227   0xbbbbbbbb8888888a, 0xd27d27d1a4fa4fa5,
   2228   0xbbbb7bbb8889088a, 0xd27cfd26fa4f4fa5,
   2229   0xbbbb3bbc08898889, 0xd27cd27ca4f9a4fb,
   2230   0xe666666633333334, 0xeeeeeeee88888889,
   2231   0xe66626663333b334, 0xeeeec443dddd8889,
   2232   0xe665e666b3343333, 0xeeee99998887dddf,
   2233   0xe665a667b334b331, 0xeeee6eef8887888b,
   2234   0xffffc00000008000, 0xffffd55555550001,
   2235   0xffff80008000ffff, 0xffffaaaaffff5557,
   2236   0xffff400180017ffd, 0xffff8000ffff0003,
   2237   0xffff00030001fffa, 0xffff555755540005,
   2238   0xffffc00080007fff, 0xffffd555aaaa5557,
   2239   0xffff80018000fffd, 0xffffaaabaaaa0003,
   2240   0xffff400300017ffa, 0xffff8001ffff0005,
   2241   0xffff3fc30001807a, 0xffff7fd755545505,
   2242   0xffffc00100007ffe, 0xffffd555ffffaaad,
   2243   0xffff80028000fffb, 0xffffaaac5554aaaf,
   2244   0xffff7fc28001007b, 0xffffaa81aaa9ffaf,
   2245   0xffff7f83000100fa, 0xffffaa575554aa05,
   2246   0xffffc00180007ffd, 0xffffd55655550003,
   2247   0xffffbfc18000807d, 0xffffd52baaaa5503,
   2248   0xffffbf82000080fc, 0xffffd5015554ff59,
   2249   0xffffbf430000817a, 0xffffd4d75554ff05,
   2250   0xffffffc000000080, 0xffffffd555555501,
   2251   0xffffff80800000ff, 0xffffffaaffffff57,
   2252   0xffffff418000017d, 0xffffff80ffffff03,
   2253   0xffffff03000001fa, 0xffffff5755555405,
   2254   0xffffffc08000007f, 0xffffffd5aaaaaa57,
   2255   0xffffff81800000fd, 0xffffffabaaaaaa03,
   2256   0xffffff430000017a, 0xffffff81ffffff05,
   2257   0xffffff330000019a, 0xffffff7755555445,
   2258   0xffffffc10000007e, 0xffffffd5ffffffad,
   2259   0xffffff82800000fb, 0xffffffac555554af,
   2260   0xffffff728000011b, 0xffffffa1aaaaa9ef,
   2261   0xffffff710000011e, 0xffffffa0aaaaa9ed,
   2262   0xffffffc18000007d, 0xffffffd655555503,
   2263   0xffffffb18000009d, 0xffffffcbaaaaaa43,
   2264   0xffffffb0000000a0, 0xffffffcaaaaaaa41,
   2265   0xffffffaf000000a2, 0xffffffc9ffffff95,
   2266   0xfffffff000000020, 0xfffffff555555541,
   2267   0xffffffee80000023, 0xfffffff45555553f,
   2268   0xffffffed80000025, 0xfffffff3aaaaaa93,
   2269   0xffffffed00000026, 0xfffffff35555553d,
   2270   0xfffffffefffffffe, 0xffffffff66666665,
   2271   0xfffffffe55555552, 0xfffffffefffffffd,
   2272   0xfffffffdfffffffc, 0xfffffffeccccccc9,
   2273   0xfffffffdfffffffc, 0xfffffffeccccccc9,
   2274   0xffffffff55555554, 0xffffffff99999999,
   2275   0xfffffffefffffffe, 0xffffffff66666665,
   2276   0xfffffffefffffffe, 0xffffffff66666665,
   2277   0xffffffff55555554, 0xffffffff99999999,
   2278   0xffffffffaaaaaaaa, 0xffffffffcccccccd,
   2279   0xffffffffaaaaaaaa, 0xffffffffcccccccd,
   2280   0x0000000000000000, 0x0000000000000001,
   2281   0x00000000aaaaaaac, 0x0000000066666669,
   2282   0x0000000000000000, 0x0000000000000001,
   2283   0x0000000055555556, 0x0000000033333335,
   2284   0x0000000100000002, 0x000000009999999d,
   2285   0x0000000baaaaaac2, 0x000000070000001d,
   2286   0x0000000055555556, 0x0000000033333335,
   2287   0x0000000100000002, 0x000000009999999d,
   2288   0x0000000baaaaaac2, 0x000000070000001d,
   2289   0x00000035555555c0, 0x0000002000000081,
   2290   0x00000000aaaaaaac, 0x0000000066666669,
   2291   0x0000000b5555556c, 0x00000006cccccce9,
   2292   0x000000350000006a, 0x0000001fcccccd4d,
   2293   0x0000005f000000be, 0x00000039000000e5,
   2294   0x0000000aaaaaaac0, 0x0000000666666681,
   2295   0x00000034555555be, 0x0000001f666666e5,
   2296   0x0000005e55555612, 0x0000003899999a7d,
   2297   0x00000088aaaaabbc, 0x0000005200000149,
   2298   0x00000029aaaaaafe, 0x0000001900000065,
   2299   0x00000053aaaaab52, 0x00000032333333fd,
   2300   0x0000007e000000fc, 0x0000004b99999ac9,
   2301   0x00002b27aaab00fa, 0x000019e4999a012d,
   2302   0x0000002a00000054, 0x0000001933333399,
   2303   0x00000054555555fe, 0x0000003299999a65,
   2304   0x00002afe000055fc, 0x000019cb999a00c9,
   2305   0x000055a80000ab50, 0x00003364cccd9a61,
   2306   0x0000002a555555aa, 0x00000019666666cd,
   2307   0x00002ad4000055a8, 0x000019b26666cd31,
   2308   0x0000557e0000aafc, 0x0000334b999a66c9,
   2309   0x00008028555655a6, 0x00004ce500013395,
   2310   0x00002aa9aaaafffe, 0x0000199900006665,
   2311   0x00005553aaab5552, 0x000033323333fffd,
   2312   0x00007ffe0000fffc, 0x00004ccb999accc9,
   2313   0x1111910f2223221e, 0x0a3dbd6f8f5d5c25,
   2314   0x00002aaa00005554, 0x0000199933339999,
   2315   0x000055545555fffe, 0x00003332999a6665,
   2316   0x1111666577782220, 0x0a3da3d68f5cf5c1,
   2317   0x2d832d8205b105ae, 0x1b4eb4e7d3a13a05,
   2318   0x00002aaa5555aaaa, 0x000019996666cccd,
   2319   0x11113bbb7777cccc, 0x0a3d8a3d5c295c29,
   2320   0x2d8302d805b0b05a, 0x1b4e9b4ea06da06d,
   2321   0x582dad8205b0b058, 0x34e834e806d406d1,
   2322   0x1111111122222222, 0x0a3d70a3f5c28f5d,
   2323   0x2d82d82db05b05b0, 0x1b4e81b53a06d3a1,
   2324   0x582d82d7b05b05ae, 0x34e81b4ea06d3a05,
   2325   0x82d82d8205b05b02, 0x4e81b4e83a06d39d,
   2326   0x1c71c71c8e38e38e, 0x1111111144444445,
   2327   0x471c71c68e38e38c, 0x2aaaaaaaaaaaaaa9,
   2328   0x71c71c70e38e38e0, 0x4444444444444441,
   2329   0x9c71c71b8e38e38a, 0x5dddddde1111110d,
   2330   0x2aaaaaa9fffffffe, 0x1999999966666665,
   2331   0x5555555455555552, 0x33333332fffffffd,
   2332   0x7ffffffefffffffc, 0x4cccccccccccccc9,
   2333   0x55555553fffffffc, 0x33333332ccccccc9,
   2334   0x2aaaaaaa55555554, 0x1999999999999999,
   2335   0x55555554fffffffe, 0x3333333366666665,
   2336   0x2aaaaaa9fffffffe, 0x1999999966666665,
   2337   0xffffffff55555554, 0xffffffff99999999,
   2338   0x2aaaaaaaaaaaaaaa, 0x19999999cccccccd,
   2339   0xffffffffaaaaaaaa, 0xffffffffcccccccd,
   2340   0xd555555500000000, 0xe666666600000001,
   2341   0xb8e38e381c71c71c, 0xd555555488888889,
   2342   0xd555555500000000, 0xe666666600000001,
   2343   0xaaaaaaaa55555556, 0xcccccccc33333335,
   2344   0x8e38e38d71c71c72, 0xbbbbbbbabbbbbbbd,
   2345   0x7d27d27bfa4fa4fa, 0xb17e4b1692c5f92d,
   2346   0xd555555555555556, 0xe666666633333335,
   2347   0xb8e38e3871c71c72, 0xd5555554bbbbbbbd,
   2348   0xa7d27d26fa4fa4fa, 0xcb17e4b092c5f92d,
   2349   0xa7d2527c4fa4a4fa, 0xcb17cb16f92bf92d,
   2350   0xe38e38e31c71c71c, 0xeeeeeeee88888889,
   2351   0xd27d27d1a4fa4fa4, 0xe4b17e4a5f92c5f9,
   2352   0xd27cfd26fa4f4fa4, 0xe4b164b0c5f8c5f9,
   2353   0xd27cd27ca4f9a4fa, 0xe4b14b175f91f92d,
   2354   0xeeeeeeee88888888, 0xf5c28f5bd70a3d71,
   2355   0xeeeec443dddd8888, 0xf5c275c23d703d71,
   2356   0xeeee99998887ddde, 0xf5c25c28d70970a5,
   2357   0xeeee6eef8887888a, 0xf5c2428fa3d5d70d,
   2358   0xffffd55555550000, 0xffffe66666660001,
   2359   0xffffaaaaffff5556, 0xffffccccffff3335,
   2360   0xffff8000ffff0002, 0xffffb333cccb999d,
   2361   0xffff555755540004, 0xffff999acccb3339,
   2362   0xffffd555aaaa5556, 0xffffe66699993335,
   2363   0xffffaaabaaaa0002, 0xffffcccd6665999d,
   2364   0xffff8001ffff0004, 0xffffb33466653339,
   2365   0xffff7fd755545504, 0xffffb31acccb9939,
   2366   0xffffd555ffffaaac, 0xffffe666cccc6669,
   2367   0xffffaaac5554aaae, 0xffffcccdcccc0005,
   2368   0xffffaa81aaa9ffae, 0xffffccb433326605,
   2369   0xffffaa575554aa04, 0xffffcc9acccbff39,
   2370   0xffffd55655550002, 0xffffe666ffff999d,
   2371   0xffffd52baaaa5502, 0xffffe64d6665ff9d,
   2372   0xffffd5015554ff58, 0xffffe633ffff98d1,
   2373   0xffffd4d75554ff04, 0xffffe61acccc6539,
   2374   0xffffffd555555500, 0xffffffe666666601,
   2375   0xffffffaaffffff56, 0xffffffccffffff35,
   2376   0xffffff80ffffff02, 0xffffffb3cccccb9d,
   2377   0xffffff5755555404, 0xffffff9acccccb39,
   2378   0xffffffd5aaaaaa56, 0xffffffe699999935,
   2379   0xffffffabaaaaaa02, 0xffffffcd6666659d,
   2380   0xffffff81ffffff04, 0xffffffb466666539,
   2381   0xffffff7755555444, 0xffffffadfffffeb9,
   2382   0xffffffd5ffffffac, 0xffffffe6cccccc69,
   2383   0xffffffac555554ae, 0xffffffcdcccccc05,
   2384   0xffffffa1aaaaa9ee, 0xffffffc766666585,
   2385   0xffffffa0aaaaa9ec, 0xffffffc6cccccbe9,
   2386   0xffffffd655555502, 0xffffffe6ffffff9d,
   2387   0xffffffcbaaaaaa42, 0xffffffe09999991d,
   2388   0xffffffcaaaaaaa40, 0xffffffdfffffff81,
   2389   0xffffffc9ffffff94, 0xffffffdf99999919,
   2390   0xfffffff555555540, 0xfffffff999999981,
   2391   0xfffffff45555553e, 0xfffffff8ffffffe5,
   2392   0xfffffff3aaaaaa92, 0xfffffff89999997d,
   2393   0xfffffff35555553c, 0xfffffff866666649,
   2394   0xffffffff66666664, 0xfffffffffffe8001,
   2395   0xfffffffefffffffc, 0xfffffffffffd8001,
   2396   0xfffffffeccccccc8, 0xfffffffffffd0001,
   2397   0xfffffffeccccccc8, 0xfffffffffffd0001,
   2398   0xffffffff99999998, 0xffffffffffff0001,
   2399   0xffffffff66666664, 0xfffffffffffe8001,
   2400   0xffffffff66666664, 0xfffffffffffe8001,
   2401   0xffffffff99999998, 0xffffffffffff0001,
   2402   0xffffffffcccccccc, 0xffffffffffff8001,
   2403   0xffffffffcccccccc, 0xffffffffffff8001,
   2404   0x0000000000000000, 0x0000000000000001,
   2405   0x0000000066666668, 0x0000000000010001,
   2406   0x0000000000000000, 0x0000000000000001,
   2407   0x0000000033333334, 0x0000000000008001,
   2408   0x000000009999999c, 0x0000000000018001,
   2409   0x000000070000001c, 0x0000000000118001,
   2410   0x0000000033333334, 0x0000000000008001,
   2411   0x000000009999999c, 0x0000000000018001,
   2412   0x000000070000001c, 0x0000000000118001,
   2413   0x0000002000000080, 0x0000000000500001,
   2414   0x0000000066666668, 0x0000000000010001,
   2415   0x00000006cccccce8, 0x0000000000110001,
   2416   0x0000001fcccccd4c, 0x00000000004f8001,
   2417   0x00000039000000e4, 0x00000000008e8001,
   2418   0x0000000666666680, 0x0000000000100001,
   2419   0x0000001f666666e4, 0x00000000004e8001,
   2420   0x0000003899999a7c, 0x00000000008d8001,
   2421   0x0000005200000148, 0x0000000000cd0001,
   2422   0x0000001900000064, 0x00000000003e8001,
   2423   0x00000032333333fc, 0x00000000007d8001,
   2424   0x0000004b99999ac8, 0x0000000000bd0001,
   2425   0x000019e4999a012c, 0x0000000040bb8001,
   2426   0x0000001933333398, 0x00000000003f0001,
   2427   0x0000003299999a64, 0x00000000007e8001,
   2428   0x000019cb999a00c8, 0x00000000407d0001,
   2429   0x00003364cccd9a60, 0x00000000807c0001,
   2430   0x00000019666666cc, 0x00000000003f8001,
   2431   0x000019b26666cd30, 0x00000000403e0001,
   2432   0x0000334b999a66c8, 0x00000000803d0001,
   2433   0x00004ce500013394, 0x00000000c03c8001,
   2434   0x0000199900006664, 0x000000003ffe8001,
   2435   0x000033323333fffc, 0x000000007ffd8001,
   2436   0x00004ccb999accc8, 0x00000000bffd0001,
   2437   0x0a3dbd6f8f5d5c24, 0x0000199a59968001,
   2438   0x0000199933339998, 0x000000003fff0001,
   2439   0x00003332999a6664, 0x000000007ffe8001,
   2440   0x0a3da3d68f5cf5c0, 0x0000199a19980001,
   2441   0x1b4eb4e7d3a13a04, 0x00004444c4428001,
   2442   0x000019996666cccc, 0x000000003fff8001,
   2443   0x0a3d8a3d5c295c28, 0x00001999d9990001,
   2444   0x1b4e9b4ea06da06c, 0x0000444484438001,
   2445   0x34e834e806d406d0, 0x0000844484420001,
   2446   0x0a3d70a3f5c28f5c, 0x0000199999998001,
   2447   0x1b4e81b53a06d3a0, 0x0000444444440001,
   2448   0x34e81b4ea06d3a04, 0x0000844444428001,
   2449   0x4e81b4e83a06d39c, 0x0000c44444418001,
   2450   0x1111111144444444, 0x00002aaaaaaa8001,
   2451   0x2aaaaaaaaaaaaaa8, 0x00006aaaaaa90001,
   2452   0x4444444444444440, 0x0000aaaaaaa80001,
   2453   0x5dddddde1111110c, 0x0000eaaaaaa78001,
   2454   0x1999999966666664, 0x00003ffffffe8001,
   2455   0x33333332fffffffc, 0x00007ffffffd8001,
   2456   0x4cccccccccccccc8, 0x0000bffffffd0001,
   2457   0x33333332ccccccc8, 0x00007ffffffd0001,
   2458   0x1999999999999998, 0x00003fffffff0001,
   2459   0x3333333366666664, 0x00007ffffffe8001,
   2460   0x1999999966666664, 0x00003ffffffe8001,
   2461   0xffffffff99999998, 0xffffffffffff0001,
   2462   0x19999999cccccccc, 0x00003fffffff8001,
   2463   0xffffffffcccccccc, 0xffffffffffff8001,
   2464   0xe666666600000000, 0xffffc00000000001,
   2465   0xd555555488888888, 0xffff955555550001,
   2466   0xe666666600000000, 0xffffc00000000001,
   2467   0xcccccccc33333334, 0xffff800000008001,
   2468   0xbbbbbbbabbbbbbbc, 0xffff555555558001,
   2469   0xb17e4b1692c5f92c, 0xffff3bbbbbbb8001,
   2470   0xe666666633333334, 0xffffc00000008001,
   2471   0xd5555554bbbbbbbc, 0xffff955555558001,
   2472   0xcb17e4b092c5f92c, 0xffff7bbbbbbb8001,
   2473   0xcb17cb16f92bf92c, 0xffff7bbb7bbb8001,
   2474   0xeeeeeeee88888888, 0xffffd55555550001,
   2475   0xe4b17e4a5f92c5f8, 0xffffbbbbbbbb0001,
   2476   0xe4b164b0c5f8c5f8, 0xffffbbbb7bbb0001,
   2477   0xe4b14b175f91f92c, 0xffffbbbb3bbb8001,
   2478   0xf5c28f5bd70a3d70, 0xffffe66666660001,
   2479   0xf5c275c23d703d70, 0xffffe66626660001,
   2480   0xf5c25c28d70970a4, 0xffffe665e6668001,
   2481   0xf5c2428fa3d5d70c, 0xffffe665a6678001,
   2482   0xffffe66666660000, 0xffffffffc0000001,
   2483   0xffffccccffff3334, 0xffffffff80008001,
   2484   0xffffb333cccb999c, 0xffffffff40018001,
   2485   0xffff999acccb3338, 0xffffffff00030001,
   2486   0xffffe66699993334, 0xffffffffc0008001,
   2487   0xffffcccd6665999c, 0xffffffff80018001,
   2488   0xffffb33466653338, 0xffffffff40030001,
   2489   0xffffb31acccb9938, 0xffffffff3fc30001,
   2490   0xffffe666cccc6668, 0xffffffffc0010001,
   2491   0xffffcccdcccc0004, 0xffffffff80028001,
   2492   0xffffccb433326604, 0xffffffff7fc28001,
   2493   0xffffcc9acccbff38, 0xffffffff7f830001,
   2494   0xffffe666ffff999c, 0xffffffffc0018001,
   2495   0xffffe64d6665ff9c, 0xffffffffbfc18001,
   2496   0xffffe633ffff98d0, 0xffffffffbf820001,
   2497   0xffffe61acccc6538, 0xffffffffbf430001,
   2498   0xffffffe666666600, 0xffffffffffc00001,
   2499   0xffffffccffffff34, 0xffffffffff808001,
   2500   0xffffffb3cccccb9c, 0xffffffffff418001,
   2501   0xffffff9acccccb38, 0xffffffffff030001,
   2502   0xffffffe699999934, 0xffffffffffc08001,
   2503   0xffffffcd6666659c, 0xffffffffff818001,
   2504   0xffffffb466666538, 0xffffffffff430001,
   2505   0xffffffadfffffeb8, 0xffffffffff330001,
   2506   0xffffffe6cccccc68, 0xffffffffffc10001,
   2507   0xffffffcdcccccc04, 0xffffffffff828001,
   2508   0xffffffc766666584, 0xffffffffff728001,
   2509   0xffffffc6cccccbe8, 0xffffffffff710001,
   2510   0xffffffe6ffffff9c, 0xffffffffffc18001,
   2511   0xffffffe09999991c, 0xffffffffffb18001,
   2512   0xffffffdfffffff80, 0xffffffffffb00001,
   2513   0xffffffdf99999918, 0xffffffffffaf0001,
   2514   0xfffffff999999980, 0xfffffffffff00001,
   2515   0xfffffff8ffffffe4, 0xffffffffffee8001,
   2516   0xfffffff89999997c, 0xffffffffffed8001,
   2517   0xfffffff866666648, 0xffffffffffed0001,
   2518   0xfffffffffffe8000, 0xfffffffffffe8004,
   2519   0xfffffffffffd8000, 0xfffffffffffd8006,
   2520   0xfffffffffffd0000, 0xfffffffffffd0007,
   2521   0xfffffffffffd0000, 0xfffffffffffd0007,
   2522   0xffffffffffff0000, 0xffffffffffff0003,
   2523   0xfffffffffffe8000, 0xfffffffffffe8004,
   2524   0xfffffffffffe8000, 0xfffffffffffe8004,
   2525   0xffffffffffff0000, 0xffffffffffff0003,
   2526   0xffffffffffff8000, 0xffffffffffff8002,
   2527   0xffffffffffff8000, 0xffffffffffff8002,
   2528   0x0000000000000000, 0x0000000000000001,
   2529   0x0000000000010000, 0x000000000000ffff,
   2530   0x0000000000000000, 0x0000000000000001,
   2531   0x0000000000008000, 0x0000000000008000,
   2532   0x0000000000018000, 0x0000000000017ffe,
   2533   0x0000000000118000, 0x0000000000117fde,
   2534   0x0000000000008000, 0x0000000000008000,
   2535   0x0000000000018000, 0x0000000000017ffe,
   2536   0x0000000000118000, 0x0000000000117fde,
   2537   0x0000000000500000, 0x00000000004fff61,
   2538   0x0000000000010000, 0x000000000000ffff,
   2539   0x0000000000110000, 0x000000000010ffdf,
   2540   0x00000000004f8000, 0x00000000004f7f62,
   2541   0x00000000008e8000, 0x00000000008e7ee4,
   2542   0x0000000000100000, 0x00000000000fffe1,
   2543   0x00000000004e8000, 0x00000000004e7f64,
   2544   0x00000000008d8000, 0x00000000008d7ee6,
   2545   0x0000000000cd0000, 0x0000000000ccfe67,
   2546   0x00000000003e8000, 0x00000000003e7f84,
   2547   0x00000000007d8000, 0x00000000007d7f06,
   2548   0x0000000000bd0000, 0x0000000000bcfe87,
   2549   0x0000000040bb8000, 0x0000000040bafe8a,
   2550   0x00000000003f0000, 0x00000000003eff83,
   2551   0x00000000007e8000, 0x00000000007e7f04,
   2552   0x00000000407d0000, 0x00000000407c7f07,
   2553   0x00000000807c0000, 0x00000000807aff09,
   2554   0x00000000003f8000, 0x00000000003f7f82,
   2555   0x00000000403e0000, 0x00000000403d7f85,
   2556   0x00000000803d0000, 0x00000000803bff87,
   2557   0x00000000c03c8000, 0x00000000c03aff88,
   2558   0x000000003ffe8000, 0x000000003ffe0004,
   2559   0x000000007ffd8000, 0x000000007ffc8006,
   2560   0x00000000bffd0000, 0x00000000bffb8007,
   2561   0x0000199a59968000, 0x0000199a2661ccd4,
   2562   0x000000003fff0000, 0x000000003ffe8003,
   2563   0x000000007ffe8000, 0x000000007ffd8004,
   2564   0x0000199a19980000, 0x00001999e663ccd1,
   2565   0x00004444c4428000, 0x000044443bb8f77c,
   2566   0x000000003fff8000, 0x000000003fff0002,
   2567   0x00001999d9990000, 0x00001999a6654ccf,
   2568   0x0000444484438000, 0x00004443fbba777a,
   2569   0x0000844484420000, 0x000084437bb8f77d,
   2570   0x0000199999998000, 0x0000199966664cce,
   2571   0x0000444444440000, 0x00004443bbbb7779,
   2572   0x0000844444428000, 0x000084433bb9f77c,
   2573   0x0000c44444418000, 0x0000c442bbb8f77e,
   2574   0x00002aaaaaaa8000, 0x00002aaa55552aac,
   2575   0x00006aaaaaa90000, 0x00006aa9d553aaaf,
   2576   0x0000aaaaaaa80000, 0x0000aaa95552aab1,
   2577   0x0000eaaaaaa78000, 0x0000eaa8d5522ab2,
   2578   0x00003ffffffe8000, 0x00003fff7ffe8004,
   2579   0x00007ffffffd8000, 0x00007ffefffd8006,
   2580   0x0000bffffffd0000, 0x0000bffe7ffd0007,
   2581   0x00007ffffffd0000, 0x00007ffefffd0007,
   2582   0x00003fffffff0000, 0x00003fff7fff0003,
   2583   0x00007ffffffe8000, 0x00007ffefffe8004,
   2584   0x00003ffffffe8000, 0x00003fff7ffe8004,
   2585   0xffffffffffff0000, 0xffffffffffff0003,
   2586   0x00003fffffff8000, 0x00003fff7fff8002,
   2587   0xffffffffffff8000, 0xffffffffffff8002,
   2588   0xffffc00000000000, 0xffffc00080000001,
   2589   0xffff955555550000, 0xffff95562aaa5557,
   2590   0xffffc00000000000, 0xffffc00080000001,
   2591   0xffff800000008000, 0xffff800100008000,
   2592   0xffff555555558000, 0xffff5556aaaad556,
   2593   0xffff3bbbbbbb8000, 0xffff3bbd4444088a,
   2594   0xffffc00000008000, 0xffffc00080008000,
   2595   0xffff955555558000, 0xffff95562aaad556,
   2596   0xffff7bbbbbbb8000, 0xffff7bbcc444088a,
   2597   0xffff7bbb7bbb8000, 0xffff7bbc8444888a,
   2598   0xffffd55555550000, 0xffffd555aaaa5557,
   2599   0xffffbbbbbbbb0000, 0xffffbbbc4443888b,
   2600   0xffffbbbb7bbb0000, 0xffffbbbc0444088b,
   2601   0xffffbbbb3bbb8000, 0xffffbbbbc445088a,
   2602   0xffffe66666660000, 0xffffe66699993335,
   2603   0xffffe66626660000, 0xffffe6665999b335,
   2604   0xffffe665e6668000, 0xffffe666199ab334,
   2605   0xffffe665a6678000, 0xffffe665d99c3332,
   2606   0xffffffffc0000000, 0xffffffffc0008001,
   2607   0xffffffff80008000, 0xffffffff80018000,
   2608   0xffffffff40018000, 0xffffffff4002fffe,
   2609   0xffffffff00030000, 0xffffffff0004fffb,
   2610   0xffffffffc0008000, 0xffffffffc0010000,
   2611   0xffffffff80018000, 0xffffffff80027ffe,
   2612   0xffffffff40030000, 0xffffffff40047ffb,
   2613   0xffffffff3fc30000, 0xffffffff3fc4807b,
   2614   0xffffffffc0010000, 0xffffffffc0017fff,
   2615   0xffffffff80028000, 0xffffffff80037ffc,
   2616   0xffffffff7fc28000, 0xffffffff7fc3807c,
   2617   0xffffffff7f830000, 0xffffffff7f8400fb,
   2618   0xffffffffc0018000, 0xffffffffc001fffe,
   2619   0xffffffffbfc18000, 0xffffffffbfc2007e,
   2620   0xffffffffbf820000, 0xffffffffbf8280fd,
   2621   0xffffffffbf430000, 0xffffffffbf43817b,
   2622   0xffffffffffc00000, 0xffffffffffc00081,
   2623   0xffffffffff808000, 0xffffffffff808100,
   2624   0xffffffffff418000, 0xffffffffff41817e,
   2625   0xffffffffff030000, 0xffffffffff0301fb,
   2626   0xffffffffffc08000, 0xffffffffffc08080,
   2627   0xffffffffff818000, 0xffffffffff8180fe,
   2628   0xffffffffff430000, 0xffffffffff43017b,
   2629   0xffffffffff330000, 0xffffffffff33019b,
   2630   0xffffffffffc10000, 0xffffffffffc1007f,
   2631   0xffffffffff828000, 0xffffffffff8280fc,
   2632   0xffffffffff728000, 0xffffffffff72811c,
   2633   0xffffffffff710000, 0xffffffffff71011f,
   2634   0xffffffffffc18000, 0xffffffffffc1807e,
   2635   0xffffffffffb18000, 0xffffffffffb1809e,
   2636   0xffffffffffb00000, 0xffffffffffb000a1,
   2637   0xffffffffffaf0000, 0xffffffffffaf00a3,
   2638   0xfffffffffff00000, 0xfffffffffff00021,
   2639   0xffffffffffee8000, 0xffffffffffee8024,
   2640   0xffffffffffed8000, 0xffffffffffed8026,
   2641   0xffffffffffed0000, 0xffffffffffed0027,
   2642   0xfffffffffffe8003, 0xfffffffffffe8007,
   2643   0xfffffffffffd8005, 0xfffffffffffd800b,
   2644   0xfffffffffffd0006, 0xfffffffffffd000d,
   2645   0xfffffffffffd0006, 0xfffffffffffd000d,
   2646   0xffffffffffff0002, 0xffffffffffff0005,
   2647   0xfffffffffffe8003, 0xfffffffffffe8007,
   2648   0xfffffffffffe8003, 0xfffffffffffe8007,
   2649   0xffffffffffff0002, 0xffffffffffff0005,
   2650   0xffffffffffff8001, 0xffffffffffff8003,
   2651   0xffffffffffff8001, 0xffffffffffff8003,
   2652   0x0000000000000000, 0x0000000000000001,
   2653   0x000000000000fffe, 0x000000000000fffd,
   2654   0x0000000000000000, 0x0000000000000001,
   2655   0x0000000000007fff, 0x0000000000007fff,
   2656   0x0000000000017ffd, 0x0000000000017ffb,
   2657   0x0000000000117fdd, 0x0000000000117fbb,
   2658   0x0000000000007fff, 0x0000000000007fff,
   2659   0x0000000000017ffd, 0x0000000000017ffb,
   2660   0x0000000000117fdd, 0x0000000000117fbb,
   2661   0x00000000004fff60, 0x00000000004ffec1,
   2662   0x000000000000fffe, 0x000000000000fffd,
   2663   0x000000000010ffde, 0x000000000010ffbd,
   2664   0x00000000004f7f61, 0x00000000004f7ec3,
   2665   0x00000000008e7ee3, 0x00000000008e7dc7,
   2666   0x00000000000fffe0, 0x00000000000fffc1,
   2667   0x00000000004e7f63, 0x00000000004e7ec7,
   2668   0x00000000008d7ee5, 0x00000000008d7dcb,
   2669   0x0000000000ccfe66, 0x0000000000ccfccd,
   2670   0x00000000003e7f83, 0x00000000003e7f07,
   2671   0x00000000007d7f05, 0x00000000007d7e0b,
   2672   0x0000000000bcfe86, 0x0000000000bcfd0d,
   2673   0x0000000040bafe89, 0x0000000040ba7d13,
   2674   0x00000000003eff82, 0x00000000003eff05,
   2675   0x00000000007e7f03, 0x00000000007e7e07,
   2676   0x00000000407c7f06, 0x00000000407bfe0d,
   2677   0x00000000807aff08, 0x000000008079fe11,
   2678   0x00000000003f7f81, 0x00000000003f7f03,
   2679   0x00000000403d7f84, 0x00000000403cff09,
   2680   0x00000000803bff86, 0x00000000803aff0d,
   2681   0x00000000c03aff87, 0x00000000c0397f0f,
   2682   0x000000003ffe0003, 0x000000003ffd8007,
   2683   0x000000007ffc8005, 0x000000007ffb800b,
   2684   0x00000000bffb8006, 0x00000000bffa000d,
   2685   0x0000199a2661ccd3, 0x00001999f32d19a7,
   2686   0x000000003ffe8002, 0x000000003ffe0005,
   2687   0x000000007ffd8003, 0x000000007ffc8007,
   2688   0x00001999e663ccd0, 0x00001999b32f99a1,
   2689   0x000044443bb8f77b, 0x00004443b32f6ef7,
   2690   0x000000003fff0001, 0x000000003ffe8003,
   2691   0x00001999a6654cce, 0x000019997331999d,
   2692   0x00004443fbba7779, 0x0000444373316ef3,
   2693   0x000084437bb8f77c, 0x00008442732feef9,
   2694   0x0000199966664ccd, 0x000019993333199b,
   2695   0x00004443bbbb7778, 0x000044433332eef1,
   2696   0x000084433bb9f77b, 0x0000844233316ef7,
   2697   0x0000c442bbb8f77d, 0x0000c44133306efb,
   2698   0x00002aaa55552aab, 0x00002aa9ffffd557,
   2699   0x00006aa9d553aaae, 0x00006aa8fffe555d,
   2700   0x0000aaa95552aab0, 0x0000aaa7fffd5561,
   2701   0x0000eaa8d5522ab1, 0x0000eaa6fffcd563,
   2702   0x00003fff7ffe8003, 0x00003ffefffe8007,
   2703   0x00007ffefffd8005, 0x00007ffdfffd800b,
   2704   0x0000bffe7ffd0006, 0x0000bffcfffd000d,
   2705   0x00007ffefffd0006, 0x00007ffdfffd000d,
   2706   0x00003fff7fff0002, 0x00003ffeffff0005,
   2707   0x00007ffefffe8003, 0x00007ffdfffe8007,
   2708   0x00003fff7ffe8003, 0x00003ffefffe8007,
   2709   0xffffffffffff0002, 0xffffffffffff0005,
   2710   0x00003fff7fff8001, 0x00003ffeffff8003,
   2711   0xffffffffffff8001, 0xffffffffffff8003,
   2712   0xffffc00080000000, 0xffffc00100000001,
   2713   0xffff95562aaa5556, 0xffff9556ffffaaad,
   2714   0xffffc00080000000, 0xffffc00100000001,
   2715   0xffff800100007fff, 0xffff800200007fff,
   2716   0xffff5556aaaad555, 0xffff555800002aab,
   2717   0xffff3bbd44440889, 0xffff3bbecccc9113,
   2718   0xffffc00080007fff, 0xffffc00100007fff,
   2719   0xffff95562aaad555, 0xffff955700002aab,
   2720   0xffff7bbcc4440889, 0xffff7bbdcccc9113,
   2721   0xffff7bbc84448889, 0xffff7bbd8ccd9113,
   2722   0xffffd555aaaa5556, 0xffffd555ffffaaad,
   2723   0xffffbbbc4443888a, 0xffffbbbccccc1115,
   2724   0xffffbbbc0444088a, 0xffffbbbc8ccd1115,
   2725   0xffffbbbbc4450889, 0xffffbbbc4cce9113,
   2726   0xffffe66699993334, 0xffffe666cccc6669,
   2727   0xffffe6665999b334, 0xffffe6668ccd6669,
   2728   0xffffe666199ab333, 0xffffe6664ccee667,
   2729   0xffffe665d99c3331, 0xffffe6660cd0e663,
   2730   0xffffffffc0008000, 0xffffffffc0010001,
   2731   0xffffffff80017fff, 0xffffffff80027fff,
   2732   0xffffffff4002fffd, 0xffffffff40047ffb,
   2733   0xffffffff0004fffa, 0xffffffff0006fff5,
   2734   0xffffffffc000ffff, 0xffffffffc0017fff,
   2735   0xffffffff80027ffd, 0xffffffff80037ffb,
   2736   0xffffffff40047ffa, 0xffffffff4005fff5,
   2737   0xffffffff3fc4807a, 0xffffffff3fc600f5,
   2738   0xffffffffc0017ffe, 0xffffffffc001fffd,
   2739   0xffffffff80037ffb, 0xffffffff80047ff7,
   2740   0xffffffff7fc3807b, 0xffffffff7fc480f7,
   2741   0xffffffff7f8400fa, 0xffffffff7f8501f5,
   2742   0xffffffffc001fffd, 0xffffffffc0027ffb,
   2743   0xffffffffbfc2007d, 0xffffffffbfc280fb,
   2744   0xffffffffbf8280fc, 0xffffffffbf8301f9,
   2745   0xffffffffbf43817a, 0xffffffffbf4402f5,
   2746   0xffffffffffc00080, 0xffffffffffc00101,
   2747   0xffffffffff8080ff, 0xffffffffff8081ff,
   2748   0xffffffffff41817d, 0xffffffffff4182fb,
   2749   0xffffffffff0301fa, 0xffffffffff0303f5,
   2750   0xffffffffffc0807f, 0xffffffffffc080ff,
   2751   0xffffffffff8180fd, 0xffffffffff8181fb,
   2752   0xffffffffff43017a, 0xffffffffff4302f5,
   2753   0xffffffffff33019a, 0xffffffffff330335,
   2754   0xffffffffffc1007e, 0xffffffffffc100fd,
   2755   0xffffffffff8280fb, 0xffffffffff8281f7,
   2756   0xffffffffff72811b, 0xffffffffff728237,
   2757   0xffffffffff71011e, 0xffffffffff71023d,
   2758   0xffffffffffc1807d, 0xffffffffffc180fb,
   2759   0xffffffffffb1809d, 0xffffffffffb1813b,
   2760   0xffffffffffb000a0, 0xffffffffffb00141,
   2761   0xffffffffffaf00a2, 0xffffffffffaf0145,
   2762   0xfffffffffff00020, 0xfffffffffff00041,
   2763   0xffffffffffee8023, 0xffffffffffee8047,
   2764   0xffffffffffed8025, 0xffffffffffed804b,
   2765   0xffffffffffed0026, 0xffffffffffed004d,
   2766   0xfffffffffffe8006, 0xfffffffffffe800a,
   2767   0xfffffffffffd800a, 0xfffffffffffd8010,
   2768   0xfffffffffffd000c, 0xfffffffffffd0013,
   2769   0xfffffffffffd000c, 0xfffffffffffd0013,
   2770   0xffffffffffff0004, 0xffffffffffff0007,
   2771   0xfffffffffffe8006, 0xfffffffffffe800a,
   2772   0xfffffffffffe8006, 0xfffffffffffe800a,
   2773   0xffffffffffff0004, 0xffffffffffff0007,
   2774   0xffffffffffff8002, 0xffffffffffff8004,
   2775   0xffffffffffff8002, 0xffffffffffff8004,
   2776   0x0000000000000000, 0x0000000000000001,
   2777   0x000000000000fffc, 0x000000000000fffb,
   2778   0x0000000000000000, 0x0000000000000001,
   2779   0x0000000000007ffe, 0x0000000000007ffe,
   2780   0x0000000000017ffa, 0x0000000000017ff8,
   2781   0x0000000000117fba, 0x0000000000117f98,
   2782   0x0000000000007ffe, 0x0000000000007ffe,
   2783   0x0000000000017ffa, 0x0000000000017ff8,
   2784   0x0000000000117fba, 0x0000000000117f98,
   2785   0x00000000004ffec0, 0x00000000004ffe21,
   2786   0x000000000000fffc, 0x000000000000fffb,
   2787   0x000000000010ffbc, 0x000000000010ff9b,
   2788   0x00000000004f7ec2, 0x00000000004f7e24,
   2789   0x00000000008e7dc6, 0x00000000008e7caa,
   2790   0x00000000000fffc0, 0x00000000000fffa1,
   2791   0x00000000004e7ec6, 0x00000000004e7e2a,
   2792   0x00000000008d7dca, 0x00000000008d7cb0,
   2793   0x0000000000ccfccc, 0x0000000000ccfb33,
   2794   0x00000000003e7f06, 0x00000000003e7e8a,
   2795   0x00000000007d7e0a, 0x00000000007d7d10,
   2796   0x0000000000bcfd0c, 0x0000000000bcfb93,
   2797   0x0000000040ba7d12, 0x0000000040b9fb9c,
   2798   0x00000000003eff04, 0x00000000003efe87,
   2799   0x00000000007e7e06, 0x00000000007e7d0a,
   2800   0x00000000407bfe0c, 0x00000000407b7d13,
   2801   0x000000008079fe10, 0x000000008078fd19,
   2802   0x00000000003f7f02, 0x00000000003f7e84,
   2803   0x00000000403cff08, 0x00000000403c7e8d,
   2804   0x00000000803aff0c, 0x000000008039fe93,
   2805   0x00000000c0397f0e, 0x00000000c037fe96,
   2806   0x000000003ffd8006, 0x000000003ffd000a,
   2807   0x000000007ffb800a, 0x000000007ffa8010,
   2808   0x00000000bffa000c, 0x00000000bff88013,
   2809   0x00001999f32d19a6, 0x00001999bff8667a,
   2810   0x000000003ffe0004, 0x000000003ffd8007,
   2811   0x000000007ffc8006, 0x000000007ffb800a,
   2812   0x00001999b32f99a0, 0x000019997ffb6671,
   2813   0x00004443b32f6ef6, 0x000044432aa5e672,
   2814   0x000000003ffe8002, 0x000000003ffe0004,
   2815   0x000019997331999c, 0x000019993ffde66b,
   2816   0x0000444373316ef2, 0x00004442eaa8666c,
   2817   0x00008442732feef8, 0x000084416aa6e675,
   2818   0x000019993333199a, 0x00001998ffffe668,
   2819   0x000044433332eef0, 0x00004442aaaa6669,
   2820   0x0000844233316ef6, 0x000084412aa8e672,
   2821   0x0000c44133306efa, 0x0000c43faaa7e678,
   2822   0x00002aa9ffffd556, 0x00002aa9aaaa8002,
   2823   0x00006aa8fffe555c, 0x00006aa82aa9000b,
   2824   0x0000aaa7fffd5560, 0x0000aaa6aaa80011,
   2825   0x0000eaa6fffcd562, 0x0000eaa52aa78014,
   2826   0x00003ffefffe8006, 0x00003ffe7ffe800a,
   2827   0x00007ffdfffd800a, 0x00007ffcfffd8010,
   2828   0x0000bffcfffd000c, 0x0000bffb7ffd0013,
   2829   0x00007ffdfffd000c, 0x00007ffcfffd0013,
   2830   0x00003ffeffff0004, 0x00003ffe7fff0007,
   2831   0x00007ffdfffe8006, 0x00007ffcfffe800a,
   2832   0x00003ffefffe8006, 0x00003ffe7ffe800a,
   2833   0xffffffffffff0004, 0xffffffffffff0007,
   2834   0x00003ffeffff8002, 0x00003ffe7fff8004,
   2835   0xffffffffffff8002, 0xffffffffffff8004,
   2836   0xffffc00100000000, 0xffffc00180000001,
   2837   0xffff9556ffffaaac, 0xffff9557d5550003,
   2838   0xffffc00100000000, 0xffffc00180000001,
   2839   0xffff800200007ffe, 0xffff800300007ffe,
   2840   0xffff555800002aaa, 0xffff555955558000,
   2841   0xffff3bbecccc9112, 0xffff3bc05555199c,
   2842   0xffffc00100007ffe, 0xffffc00180007ffe,
   2843   0xffff955700002aaa, 0xffff9557d5558000,
   2844   0xffff7bbdcccc9112, 0xffff7bbed555199c,
   2845   0xffff7bbd8ccd9112, 0xffff7bbe9556999c,
   2846   0xffffd555ffffaaac, 0xffffd55655550003,
   2847   0xffffbbbccccc1114, 0xffffbbbd5554999f,
   2848   0xffffbbbc8ccd1114, 0xffffbbbd1556199f,
   2849   0xffffbbbc4cce9112, 0xffffbbbcd558199c,
   2850   0xffffe666cccc6668, 0xffffe666ffff999d,
   2851   0xffffe6668ccd6668, 0xffffe666c001199d,
   2852   0xffffe6664ccee666, 0xffffe6668003199a,
   2853   0xffffe6660cd0e662, 0xffffe66640059994,
   2854   0xffffffffc0010000, 0xffffffffc0018001,
   2855   0xffffffff80027ffe, 0xffffffff80037ffe,
   2856   0xffffffff40047ffa, 0xffffffff4005fff8,
   2857   0xffffffff0006fff4, 0xffffffff0008ffef,
   2858   0xffffffffc0017ffe, 0xffffffffc001fffe,
   2859   0xffffffff80037ffa, 0xffffffff80047ff8,
   2860   0xffffffff4005fff4, 0xffffffff40077fef,
   2861   0xffffffff3fc600f4, 0xffffffff3fc7816f,
   2862   0xffffffffc001fffc, 0xffffffffc0027ffb,
   2863   0xffffffff80047ff6, 0xffffffff80057ff2,
   2864   0xffffffff7fc480f6, 0xffffffff7fc58172,
   2865   0xffffffff7f8501f4, 0xffffffff7f8602ef,
   2866   0xffffffffc0027ffa, 0xffffffffc002fff8,
   2867   0xffffffffbfc280fa, 0xffffffffbfc30178,
   2868   0xffffffffbf8301f8, 0xffffffffbf8382f5,
   2869   0xffffffffbf4402f4, 0xffffffffbf44846f,
   2870   0xffffffffffc00100, 0xffffffffffc00181,
   2871   0xffffffffff8081fe, 0xffffffffff8082fe,
   2872   0xffffffffff4182fa, 0xffffffffff418478,
   2873   0xffffffffff0303f4, 0xffffffffff0305ef,
   2874   0xffffffffffc080fe, 0xffffffffffc0817e,
   2875   0xffffffffff8181fa, 0xffffffffff8182f8,
   2876   0xffffffffff4302f4, 0xffffffffff43046f,
   2877   0xffffffffff330334, 0xffffffffff3304cf,
   2878   0xffffffffffc100fc, 0xffffffffffc1017b,
   2879   0xffffffffff8281f6, 0xffffffffff8282f2,
   2880   0xffffffffff728236, 0xffffffffff728352,
   2881   0xffffffffff71023c, 0xffffffffff71035b,
   2882   0xffffffffffc180fa, 0xffffffffffc18178,
   2883   0xffffffffffb1813a, 0xffffffffffb181d8,
   2884   0xffffffffffb00140, 0xffffffffffb001e1,
   2885   0xffffffffffaf0144, 0xffffffffffaf01e7,
   2886   0xfffffffffff00040, 0xfffffffffff00061,
   2887   0xffffffffffee8046, 0xffffffffffee806a,
   2888   0xffffffffffed804a, 0xffffffffffed8070,
   2889   0xffffffffffed004c, 0xffffffffffed0073,
   2890   0xfffffffffffe8009, 0xfffffffffffffe81,
   2891   0xfffffffffffd800f, 0xfffffffffffffd81,
   2892   0xfffffffffffd0012, 0xfffffffffffffd01,
   2893   0xfffffffffffd0012, 0xfffffffffffffd01,
   2894   0xffffffffffff0006, 0xffffffffffffff01,
   2895   0xfffffffffffe8009, 0xfffffffffffffe81,
   2896   0xfffffffffffe8009, 0xfffffffffffffe81,
   2897   0xffffffffffff0006, 0xffffffffffffff01,
   2898   0xffffffffffff8003, 0xffffffffffffff81,
   2899   0xffffffffffff8003, 0xffffffffffffff81,
   2900   0x0000000000000000, 0x0000000000000001,
   2901   0x000000000000fffa, 0x0000000000000101,
   2902   0x0000000000000000, 0x0000000000000001,
   2903   0x0000000000007ffd, 0x0000000000000081,
   2904   0x0000000000017ff7, 0x0000000000000181,
   2905   0x0000000000117f97, 0x0000000000001181,
   2906   0x0000000000007ffd, 0x0000000000000081,
   2907   0x0000000000017ff7, 0x0000000000000181,
   2908   0x0000000000117f97, 0x0000000000001181,
   2909   0x00000000004ffe20, 0x0000000000005001,
   2910   0x000000000000fffa, 0x0000000000000101,
   2911   0x000000000010ff9a, 0x0000000000001101,
   2912   0x00000000004f7e23, 0x0000000000004f81,
   2913   0x00000000008e7ca9, 0x0000000000008e81,
   2914   0x00000000000fffa0, 0x0000000000001001,
   2915   0x00000000004e7e29, 0x0000000000004e81,
   2916   0x00000000008d7caf, 0x0000000000008d81,
   2917   0x0000000000ccfb32, 0x000000000000cd01,
   2918   0x00000000003e7e89, 0x0000000000003e81,
   2919   0x00000000007d7d0f, 0x0000000000007d81,
   2920   0x0000000000bcfb92, 0x000000000000bd01,
   2921   0x0000000040b9fb9b, 0x000000000040bb81,
   2922   0x00000000003efe86, 0x0000000000003f01,
   2923   0x00000000007e7d09, 0x0000000000007e81,
   2924   0x00000000407b7d12, 0x0000000000407d01,
   2925   0x000000008078fd18, 0x0000000000807c01,
   2926   0x00000000003f7e83, 0x0000000000003f81,
   2927   0x00000000403c7e8c, 0x0000000000403e01,
   2928   0x000000008039fe92, 0x0000000000803d01,
   2929   0x00000000c037fe95, 0x0000000000c03c81,
   2930   0x000000003ffd0009, 0x00000000003ffe81,
   2931   0x000000007ffa800f, 0x00000000007ffd81,
   2932   0x00000000bff88012, 0x0000000000bffd01,
   2933   0x00001999bff86679, 0x000000199a599681,
   2934   0x000000003ffd8006, 0x00000000003fff01,
   2935   0x000000007ffb8009, 0x00000000007ffe81,
   2936   0x000019997ffb6670, 0x000000199a199801,
   2937   0x000044432aa5e671, 0x0000004444c44281,
   2938   0x000000003ffe0003, 0x00000000003fff81,
   2939   0x000019993ffde66a, 0x0000001999d99901,
   2940   0x00004442eaa8666b, 0x0000004444844381,
   2941   0x000084416aa6e674, 0x0000008444844201,
   2942   0x00001998ffffe667, 0x0000001999999981,
   2943   0x00004442aaaa6668, 0x0000004444444401,
   2944   0x000084412aa8e671, 0x0000008444444281,
   2945   0x0000c43faaa7e677, 0x000000c444444181,
   2946   0x00002aa9aaaa8001, 0x0000002aaaaaaa81,
   2947   0x00006aa82aa9000a, 0x0000006aaaaaa901,
   2948   0x0000aaa6aaa80010, 0x000000aaaaaaa801,
   2949   0x0000eaa52aa78013, 0x000000eaaaaaa781,
   2950   0x00003ffe7ffe8009, 0x0000003ffffffe81,
   2951   0x00007ffcfffd800f, 0x0000007ffffffd81,
   2952   0x0000bffb7ffd0012, 0x000000bffffffd01,
   2953   0x00007ffcfffd0012, 0x0000007ffffffd01,
   2954   0x00003ffe7fff0006, 0x0000003fffffff01,
   2955   0x00007ffcfffe8009, 0x0000007ffffffe81,
   2956   0x00003ffe7ffe8009, 0x0000003ffffffe81,
   2957   0xffffffffffff0006, 0xffffffffffffff01,
   2958   0x00003ffe7fff8003, 0x0000003fffffff81,
   2959   0xffffffffffff8003, 0xffffffffffffff81,
   2960   0xffffc00180000000, 0xffffffc000000001,
   2961   0xffff9557d5550002, 0xffffff9555555501,
   2962   0xffffc00180000000, 0xffffffc000000001,
   2963   0xffff800300007ffd, 0xffffff8000000081,
   2964   0xffff555955557fff, 0xffffff5555555581,
   2965   0xffff3bc05555199b, 0xffffff3bbbbbbb81,
   2966   0xffffc00180007ffd, 0xffffffc000000081,
   2967   0xffff9557d5557fff, 0xffffff9555555581,
   2968   0xffff7bbed555199b, 0xffffff7bbbbbbb81,
   2969   0xffff7bbe9556999b, 0xffffff7bbb7bbb81,
   2970   0xffffd55655550002, 0xffffffd555555501,
   2971   0xffffbbbd5554999e, 0xffffffbbbbbbbb01,
   2972   0xffffbbbd1556199e, 0xffffffbbbb7bbb01,
   2973   0xffffbbbcd558199b, 0xffffffbbbb3bbb81,
   2974   0xffffe666ffff999c, 0xffffffe666666601,
   2975   0xffffe666c001199c, 0xffffffe666266601,
   2976   0xffffe66680031999, 0xffffffe665e66681,
   2977   0xffffe66640059993, 0xffffffe665a66781,
   2978   0xffffffffc0018000, 0xffffffffffc00001,
   2979   0xffffffff80037ffd, 0xffffffffff800081,
   2980   0xffffffff4005fff7, 0xffffffffff400181,
   2981   0xffffffff0008ffee, 0xffffffffff000301,
   2982   0xffffffffc001fffd, 0xffffffffffc00081,
   2983   0xffffffff80047ff7, 0xffffffffff800181,
   2984   0xffffffff40077fee, 0xffffffffff400301,
   2985   0xffffffff3fc7816e, 0xffffffffff3fc301,
   2986   0xffffffffc0027ffa, 0xffffffffffc00101,
   2987   0xffffffff80057ff1, 0xffffffffff800281,
   2988   0xffffffff7fc58171, 0xffffffffff7fc281,
   2989   0xffffffff7f8602ee, 0xffffffffff7f8301,
   2990   0xffffffffc002fff7, 0xffffffffffc00181,
   2991   0xffffffffbfc30177, 0xffffffffffbfc181,
   2992   0xffffffffbf8382f4, 0xffffffffffbf8201,
   2993   0xffffffffbf44846e, 0xffffffffffbf4301,
   2994   0xffffffffffc00180, 0xffffffffffffc001,
   2995   0xffffffffff8082fd, 0xffffffffffff8081,
   2996   0xffffffffff418477, 0xffffffffffff4181,
   2997   0xffffffffff0305ee, 0xffffffffffff0301,
   2998   0xffffffffffc0817d, 0xffffffffffffc081,
   2999   0xffffffffff8182f7, 0xffffffffffff8181,
   3000   0xffffffffff43046e, 0xffffffffffff4301,
   3001   0xffffffffff3304ce, 0xffffffffffff3301,
   3002   0xffffffffffc1017a, 0xffffffffffffc101,
   3003   0xffffffffff8282f1, 0xffffffffffff8281,
   3004   0xffffffffff728351, 0xffffffffffff7281,
   3005   0xffffffffff71035a, 0xffffffffffff7101,
   3006   0xffffffffffc18177, 0xffffffffffffc181,
   3007   0xffffffffffb181d7, 0xffffffffffffb181,
   3008   0xffffffffffb001e0, 0xffffffffffffb001,
   3009   0xffffffffffaf01e6, 0xffffffffffffaf01,
   3010   0xfffffffffff00060, 0xfffffffffffff001,
   3011   0xffffffffffee8069, 0xffffffffffffee81,
   3012   0xffffffffffed806f, 0xffffffffffffed81,
   3013   0xffffffffffed0072, 0xffffffffffffed01,
   3014   0xfffffffffffffe80, 0xfffffffffffffe84,
   3015   0xfffffffffffffd80, 0xfffffffffffffd86,
   3016   0xfffffffffffffd00, 0xfffffffffffffd07,
   3017   0xfffffffffffffd00, 0xfffffffffffffd07,
   3018   0xffffffffffffff00, 0xffffffffffffff03,
   3019   0xfffffffffffffe80, 0xfffffffffffffe84,
   3020   0xfffffffffffffe80, 0xfffffffffffffe84,
   3021   0xffffffffffffff00, 0xffffffffffffff03,
   3022   0xffffffffffffff80, 0xffffffffffffff82,
   3023   0xffffffffffffff80, 0xffffffffffffff82,
   3024   0x0000000000000000, 0x0000000000000001,
   3025   0x0000000000000100, 0x00000000000000ff,
   3026   0x0000000000000000, 0x0000000000000001,
   3027   0x0000000000000080, 0x0000000000000080,
   3028   0x0000000000000180, 0x000000000000017e,
   3029   0x0000000000001180, 0x000000000000115e,
   3030   0x0000000000000080, 0x0000000000000080,
   3031   0x0000000000000180, 0x000000000000017e,
   3032   0x0000000000001180, 0x000000000000115e,
   3033   0x0000000000005000, 0x0000000000004f61,
   3034   0x0000000000000100, 0x00000000000000ff,
   3035   0x0000000000001100, 0x00000000000010df,
   3036   0x0000000000004f80, 0x0000000000004ee2,
   3037   0x0000000000008e80, 0x0000000000008d64,
   3038   0x0000000000001000, 0x0000000000000fe1,
   3039   0x0000000000004e80, 0x0000000000004de4,
   3040   0x0000000000008d80, 0x0000000000008c66,
   3041   0x000000000000cd00, 0x000000000000cb67,
   3042   0x0000000000003e80, 0x0000000000003e04,
   3043   0x0000000000007d80, 0x0000000000007c86,
   3044   0x000000000000bd00, 0x000000000000bb87,
   3045   0x000000000040bb80, 0x0000000000403a0a,
   3046   0x0000000000003f00, 0x0000000000003e83,
   3047   0x0000000000007e80, 0x0000000000007d84,
   3048   0x0000000000407d00, 0x00000000003ffc07,
   3049   0x0000000000807c00, 0x00000000007f7b09,
   3050   0x0000000000003f80, 0x0000000000003f02,
   3051   0x0000000000403e00, 0x00000000003fbd85,
   3052   0x0000000000803d00, 0x00000000007f3c87,
   3053   0x0000000000c03c80, 0x0000000000bebc08,
   3054   0x00000000003ffe80, 0x00000000003f7e84,
   3055   0x00000000007ffd80, 0x00000000007efd86,
   3056   0x0000000000bffd00, 0x0000000000be7d07,
   3057   0x000000199a599680, 0x000000196724e354,
   3058   0x00000000003fff00, 0x00000000003f7f03,
   3059   0x00000000007ffe80, 0x00000000007efe84,
   3060   0x000000199a199800, 0x0000001966e564d1,
   3061   0x0000004444c44280, 0x00000043bc3ab9fc,
   3062   0x00000000003fff80, 0x00000000003f7f82,
   3063   0x0000001999d99900, 0x0000001966a5e5cf,
   3064   0x0000004444844380, 0x00000043bbfb3afa,
   3065   0x0000008444844200, 0x000000833bfb397d,
   3066   0x0000001999999980, 0x000000196666664e,
   3067   0x0000004444444400, 0x00000043bbbbbb79,
   3068   0x0000008444444280, 0x000000833bbbb9fc,
   3069   0x000000c444444180, 0x000000c2bbbbb8fe,
   3070   0x0000002aaaaaaa80, 0x0000002a5555552c,
   3071   0x0000006aaaaaa900, 0x00000069d55553af,
   3072   0x000000aaaaaaa800, 0x000000a9555552b1,
   3073   0x000000eaaaaaa780, 0x000000e8d5555232,
   3074   0x0000003ffffffe80, 0x0000003f7ffffe84,
   3075   0x0000007ffffffd80, 0x0000007efffffd86,
   3076   0x000000bffffffd00, 0x000000be7ffffd07,
   3077   0x0000007ffffffd00, 0x0000007efffffd07,
   3078   0x0000003fffffff00, 0x0000003f7fffff03,
   3079   0x0000007ffffffe80, 0x0000007efffffe84,
   3080   0x0000003ffffffe80, 0x0000003f7ffffe84,
   3081   0xffffffffffffff00, 0xffffffffffffff03,
   3082   0x0000003fffffff80, 0x0000003f7fffff82,
   3083   0xffffffffffffff80, 0xffffffffffffff82,
   3084   0xffffffc000000000, 0xffffffc080000001,
   3085   0xffffff9555555500, 0xffffff962aaaaa57,
   3086   0xffffffc000000000, 0xffffffc080000001,
   3087   0xffffff8000000080, 0xffffff8100000080,
   3088   0xffffff5555555580, 0xffffff56aaaaaad6,
   3089   0xffffff3bbbbbbb80, 0xffffff3d4444440a,
   3090   0xffffffc000000080, 0xffffffc080000080,
   3091   0xffffff9555555580, 0xffffff962aaaaad6,
   3092   0xffffff7bbbbbbb80, 0xffffff7cc444440a,
   3093   0xffffff7bbb7bbb80, 0xffffff7cc404c40a,
   3094   0xffffffd555555500, 0xffffffd5aaaaaa57,
   3095   0xffffffbbbbbbbb00, 0xffffffbc4444438b,
   3096   0xffffffbbbb7bbb00, 0xffffffbc4404c38b,
   3097   0xffffffbbbb3bbb80, 0xffffffbc43c5440a,
   3098   0xffffffe666666600, 0xffffffe699999935,
   3099   0xffffffe666266600, 0xffffffe6995a1935,
   3100   0xffffffe665e66680, 0xffffffe6991a99b4,
   3101   0xffffffe665a66780, 0xffffffe698db1ab2,
   3102   0xffffffffffc00000, 0xffffffffffc08001,
   3103   0xffffffffff800080, 0xffffffffff810080,
   3104   0xffffffffff400180, 0xffffffffff41817e,
   3105   0xffffffffff000300, 0xffffffffff0202fb,
   3106   0xffffffffffc00080, 0xffffffffffc08080,
   3107   0xffffffffff800180, 0xffffffffff81017e,
   3108   0xffffffffff400300, 0xffffffffff4182fb,
   3109   0xffffffffff3fc300, 0xffffffffff41437b,
   3110   0xffffffffffc00100, 0xffffffffffc080ff,
   3111   0xffffffffff800280, 0xffffffffff81027c,
   3112   0xffffffffff7fc280, 0xffffffffff80c2fc,
   3113   0xffffffffff7f8300, 0xffffffffff8083fb,
   3114   0xffffffffffc00180, 0xffffffffffc0817e,
   3115   0xffffffffffbfc180, 0xffffffffffc041fe,
   3116   0xffffffffffbf8200, 0xffffffffffc002fd,
   3117   0xffffffffffbf4300, 0xffffffffffbfc47b,
   3118   0xffffffffffffc000, 0xffffffffffffc081,
   3119   0xffffffffffff8080, 0xffffffffffff8180,
   3120   0xffffffffffff4180, 0xffffffffffff42fe,
   3121   0xffffffffffff0300, 0xffffffffffff04fb,
   3122   0xffffffffffffc080, 0xffffffffffffc100,
   3123   0xffffffffffff8180, 0xffffffffffff827e,
   3124   0xffffffffffff4300, 0xffffffffffff447b,
   3125   0xffffffffffff3300, 0xffffffffffff349b,
   3126   0xffffffffffffc100, 0xffffffffffffc17f,
   3127   0xffffffffffff8280, 0xffffffffffff837c,
   3128   0xffffffffffff7280, 0xffffffffffff739c,
   3129   0xffffffffffff7100, 0xffffffffffff721f,
   3130   0xffffffffffffc180, 0xffffffffffffc1fe,
   3131   0xffffffffffffb180, 0xffffffffffffb21e,
   3132   0xffffffffffffb000, 0xffffffffffffb0a1,
   3133   0xffffffffffffaf00, 0xffffffffffffafa3,
   3134   0xfffffffffffff000, 0xfffffffffffff021,
   3135   0xffffffffffffee80, 0xffffffffffffeea4,
   3136   0xffffffffffffed80, 0xffffffffffffeda6,
   3137   0xffffffffffffed00, 0xffffffffffffed27,
   3138   0xfffffffffffffe83, 0xfffffffffffffe87,
   3139   0xfffffffffffffd85, 0xfffffffffffffd8b,
   3140   0xfffffffffffffd06, 0xfffffffffffffd0d,
   3141   0xfffffffffffffd06, 0xfffffffffffffd0d,
   3142   0xffffffffffffff02, 0xffffffffffffff05,
   3143   0xfffffffffffffe83, 0xfffffffffffffe87,
   3144   0xfffffffffffffe83, 0xfffffffffffffe87,
   3145   0xffffffffffffff02, 0xffffffffffffff05,
   3146   0xffffffffffffff81, 0xffffffffffffff83,
   3147   0xffffffffffffff81, 0xffffffffffffff83,
   3148   0x0000000000000000, 0x0000000000000001,
   3149   0x00000000000000fe, 0x00000000000000fd,
   3150   0x0000000000000000, 0x0000000000000001,
   3151   0x000000000000007f, 0x000000000000007f,
   3152   0x000000000000017d, 0x000000000000017b,
   3153   0x000000000000115d, 0x000000000000113b,
   3154   0x000000000000007f, 0x000000000000007f,
   3155   0x000000000000017d, 0x000000000000017b,
   3156   0x000000000000115d, 0x000000000000113b,
   3157   0x0000000000004f60, 0x0000000000004ec1,
   3158   0x00000000000000fe, 0x00000000000000fd,
   3159   0x00000000000010de, 0x00000000000010bd,
   3160   0x0000000000004ee1, 0x0000000000004e43,
   3161   0x0000000000008d63, 0x0000000000008c47,
   3162   0x0000000000000fe0, 0x0000000000000fc1,
   3163   0x0000000000004de3, 0x0000000000004d47,
   3164   0x0000000000008c65, 0x0000000000008b4b,
   3165   0x000000000000cb66, 0x000000000000c9cd,
   3166   0x0000000000003e03, 0x0000000000003d87,
   3167   0x0000000000007c85, 0x0000000000007b8b,
   3168   0x000000000000bb86, 0x000000000000ba0d,
   3169   0x0000000000403a09, 0x00000000003fb893,
   3170   0x0000000000003e82, 0x0000000000003e05,
   3171   0x0000000000007d83, 0x0000000000007c87,
   3172   0x00000000003ffc06, 0x00000000003f7b0d,
   3173   0x00000000007f7b08, 0x00000000007e7a11,
   3174   0x0000000000003f01, 0x0000000000003e83,
   3175   0x00000000003fbd84, 0x00000000003f3d09,
   3176   0x00000000007f3c86, 0x00000000007e3c0d,
   3177   0x0000000000bebc07, 0x0000000000bd3b8f,
   3178   0x00000000003f7e83, 0x00000000003efe87,
   3179   0x00000000007efd85, 0x00000000007dfd8b,
   3180   0x0000000000be7d06, 0x0000000000bcfd0d,
   3181   0x000000196724e353, 0x0000001933f03027,
   3182   0x00000000003f7f02, 0x00000000003eff05,
   3183   0x00000000007efe83, 0x00000000007dfe87,
   3184   0x0000001966e564d0, 0x0000001933b131a1,
   3185   0x00000043bc3ab9fb, 0x0000004333b13177,
   3186   0x00000000003f7f81, 0x00000000003eff83,
   3187   0x0000001966a5e5ce, 0x000000193372329d,
   3188   0x00000043bbfb3af9, 0x0000004333723273,
   3189   0x000000833bfb397c, 0x00000082337230f9,
   3190   0x000000196666664d, 0x000000193333331b,
   3191   0x00000043bbbbbb78, 0x00000043333332f1,
   3192   0x000000833bbbb9fb, 0x0000008233333177,
   3193   0x000000c2bbbbb8fd, 0x000000c13333307b,
   3194   0x0000002a5555552b, 0x00000029ffffffd7,
   3195   0x00000069d55553ae, 0x00000068fffffe5d,
   3196   0x000000a9555552b0, 0x000000a7fffffd61,
   3197   0x000000e8d5555231, 0x000000e6fffffce3,
   3198   0x0000003f7ffffe83, 0x0000003efffffe87,
   3199   0x0000007efffffd85, 0x0000007dfffffd8b,
   3200   0x000000be7ffffd06, 0x000000bcfffffd0d,
   3201   0x0000007efffffd06, 0x0000007dfffffd0d,
   3202   0x0000003f7fffff02, 0x0000003effffff05,
   3203   0x0000007efffffe83, 0x0000007dfffffe87,
   3204   0x0000003f7ffffe83, 0x0000003efffffe87,
   3205   0xffffffffffffff02, 0xffffffffffffff05,
   3206   0x0000003f7fffff81, 0x0000003effffff83,
   3207   0xffffffffffffff81, 0xffffffffffffff83,
   3208   0xffffffc080000000, 0xffffffc100000001,
   3209   0xffffff962aaaaa56, 0xffffff96ffffffad,
   3210   0xffffffc080000000, 0xffffffc100000001,
   3211   0xffffff810000007f, 0xffffff820000007f,
   3212   0xffffff56aaaaaad5, 0xffffff580000002b,
   3213   0xffffff3d44444409, 0xffffff3ecccccc93,
   3214   0xffffffc08000007f, 0xffffffc10000007f,
   3215   0xffffff962aaaaad5, 0xffffff970000002b,
   3216   0xffffff7cc4444409, 0xffffff7dcccccc93,
   3217   0xffffff7cc404c409, 0xffffff7dcc8dcc93,
   3218   0xffffffd5aaaaaa56, 0xffffffd5ffffffad,
   3219   0xffffffbc4444438a, 0xffffffbccccccc15,
   3220   0xffffffbc4404c38a, 0xffffffbccc8dcc15,
   3221   0xffffffbc43c54409, 0xffffffbccc4ecc93,
   3222   0xffffffe699999934, 0xffffffe6cccccc69,
   3223   0xffffffe6995a1934, 0xffffffe6cc8dcc69,
   3224   0xffffffe6991a99b3, 0xffffffe6cc4ecce7,
   3225   0xffffffe698db1ab1, 0xffffffe6cc0fcde3,
   3226   0xffffffffffc08000, 0xffffffffffc10001,
   3227   0xffffffffff81007f, 0xffffffffff82007f,
   3228   0xffffffffff41817d, 0xffffffffff43017b,
   3229   0xffffffffff0202fa, 0xffffffffff0402f5,
   3230   0xffffffffffc0807f, 0xffffffffffc1007f,
   3231   0xffffffffff81017d, 0xffffffffff82017b,
   3232   0xffffffffff4182fa, 0xffffffffff4302f5,
   3233   0xffffffffff41437a, 0xffffffffff42c3f5,
   3234   0xffffffffffc080fe, 0xffffffffffc100fd,
   3235   0xffffffffff81027b, 0xffffffffff820277,
   3236   0xffffffffff80c2fb, 0xffffffffff81c377,
   3237   0xffffffffff8083fa, 0xffffffffff8184f5,
   3238   0xffffffffffc0817d, 0xffffffffffc1017b,
   3239   0xffffffffffc041fd, 0xffffffffffc0c27b,
   3240   0xffffffffffc002fc, 0xffffffffffc083f9,
   3241   0xffffffffffbfc47a, 0xffffffffffc045f5,
   3242   0xffffffffffffc080, 0xffffffffffffc101,
   3243   0xffffffffffff817f, 0xffffffffffff827f,
   3244   0xffffffffffff42fd, 0xffffffffffff447b,
   3245   0xffffffffffff04fa, 0xffffffffffff06f5,
   3246   0xffffffffffffc0ff, 0xffffffffffffc17f,
   3247   0xffffffffffff827d, 0xffffffffffff837b,
   3248   0xffffffffffff447a, 0xffffffffffff45f5,
   3249   0xffffffffffff349a, 0xffffffffffff3635,
   3250   0xffffffffffffc17e, 0xffffffffffffc1fd,
   3251   0xffffffffffff837b, 0xffffffffffff8477,
   3252   0xffffffffffff739b, 0xffffffffffff74b7,
   3253   0xffffffffffff721e, 0xffffffffffff733d,
   3254   0xffffffffffffc1fd, 0xffffffffffffc27b,
   3255   0xffffffffffffb21d, 0xffffffffffffb2bb,
   3256   0xffffffffffffb0a0, 0xffffffffffffb141,
   3257   0xffffffffffffafa2, 0xffffffffffffb045,
   3258   0xfffffffffffff020, 0xfffffffffffff041,
   3259   0xffffffffffffeea3, 0xffffffffffffeec7,
   3260   0xffffffffffffeda5, 0xffffffffffffedcb,
   3261   0xffffffffffffed26, 0xffffffffffffed4d,
   3262   0xfffffffffffffe86, 0xfffffffffffffe8a,
   3263   0xfffffffffffffd8a, 0xfffffffffffffd90,
   3264   0xfffffffffffffd0c, 0xfffffffffffffd13,
   3265   0xfffffffffffffd0c, 0xfffffffffffffd13,
   3266   0xffffffffffffff04, 0xffffffffffffff07,
   3267   0xfffffffffffffe86, 0xfffffffffffffe8a,
   3268   0xfffffffffffffe86, 0xfffffffffffffe8a,
   3269   0xffffffffffffff04, 0xffffffffffffff07,
   3270   0xffffffffffffff82, 0xffffffffffffff84,
   3271   0xffffffffffffff82, 0xffffffffffffff84,
   3272   0x0000000000000000, 0x0000000000000001,
   3273   0x00000000000000fc, 0x00000000000000fb,
   3274   0x0000000000000000, 0x0000000000000001,
   3275   0x000000000000007e, 0x000000000000007e,
   3276   0x000000000000017a, 0x0000000000000178,
   3277   0x000000000000113a, 0x0000000000001118,
   3278   0x000000000000007e, 0x000000000000007e,
   3279   0x000000000000017a, 0x0000000000000178,
   3280   0x000000000000113a, 0x0000000000001118,
   3281   0x0000000000004ec0, 0x0000000000004e21,
   3282   0x00000000000000fc, 0x00000000000000fb,
   3283   0x00000000000010bc, 0x000000000000109b,
   3284   0x0000000000004e42, 0x0000000000004da4,
   3285   0x0000000000008c46, 0x0000000000008b2a,
   3286   0x0000000000000fc0, 0x0000000000000fa1,
   3287   0x0000000000004d46, 0x0000000000004caa,
   3288   0x0000000000008b4a, 0x0000000000008a30,
   3289   0x000000000000c9cc, 0x000000000000c833,
   3290   0x0000000000003d86, 0x0000000000003d0a,
   3291   0x0000000000007b8a, 0x0000000000007a90,
   3292   0x000000000000ba0c, 0x000000000000b893,
   3293   0x00000000003fb892, 0x00000000003f371c,
   3294   0x0000000000003e04, 0x0000000000003d87,
   3295   0x0000000000007c86, 0x0000000000007b8a,
   3296   0x00000000003f7b0c, 0x00000000003efa13,
   3297   0x00000000007e7a10, 0x00000000007d7919,
   3298   0x0000000000003e82, 0x0000000000003e04,
   3299   0x00000000003f3d08, 0x00000000003ebc8d,
   3300   0x00000000007e3c0c, 0x00000000007d3b93,
   3301   0x0000000000bd3b8e, 0x0000000000bbbb16,
   3302   0x00000000003efe86, 0x00000000003e7e8a,
   3303   0x00000000007dfd8a, 0x00000000007cfd90,
   3304   0x0000000000bcfd0c, 0x0000000000bb7d13,
   3305   0x0000001933f03026, 0x0000001900bb7cfa,
   3306   0x00000000003eff04, 0x00000000003e7f07,
   3307   0x00000000007dfe86, 0x00000000007cfe8a,
   3308   0x0000001933b131a0, 0x00000019007cfe71,
   3309   0x0000004333b13176, 0x00000042ab27a8f2,
   3310   0x00000000003eff82, 0x00000000003e7f84,
   3311   0x000000193372329c, 0x00000019003e7f6b,
   3312   0x0000004333723272, 0x00000042aae929ec,
   3313   0x00000082337230f8, 0x000000812ae92875,
   3314   0x000000193333331a, 0x00000018ffffffe8,
   3315   0x00000043333332f0, 0x00000042aaaaaa69,
   3316   0x0000008233333176, 0x000000812aaaa8f2,
   3317   0x000000c13333307a, 0x000000bfaaaaa7f8,
   3318   0x00000029ffffffd6, 0x00000029aaaaaa82,
   3319   0x00000068fffffe5c, 0x000000682aaaa90b,
   3320   0x000000a7fffffd60, 0x000000a6aaaaa811,
   3321   0x000000e6fffffce2, 0x000000e52aaaa794,
   3322   0x0000003efffffe86, 0x0000003e7ffffe8a,
   3323   0x0000007dfffffd8a, 0x0000007cfffffd90,
   3324   0x000000bcfffffd0c, 0x000000bb7ffffd13,
   3325   0x0000007dfffffd0c, 0x0000007cfffffd13,
   3326   0x0000003effffff04, 0x0000003e7fffff07,
   3327   0x0000007dfffffe86, 0x0000007cfffffe8a,
   3328   0x0000003efffffe86, 0x0000003e7ffffe8a,
   3329   0xffffffffffffff04, 0xffffffffffffff07,
   3330   0x0000003effffff82, 0x0000003e7fffff84,
   3331   0xffffffffffffff82, 0xffffffffffffff84,
   3332   0xffffffc100000000, 0xffffffc180000001,
   3333   0xffffff96ffffffac, 0xffffff97d5555503,
   3334   0xffffffc100000000, 0xffffffc180000001,
   3335   0xffffff820000007e, 0xffffff830000007e,
   3336   0xffffff580000002a, 0xffffff5955555580,
   3337   0xffffff3ecccccc92, 0xffffff405555551c,
   3338   0xffffffc10000007e, 0xffffffc18000007e,
   3339   0xffffff970000002a, 0xffffff97d5555580,
   3340   0xffffff7dcccccc92, 0xffffff7ed555551c,
   3341   0xffffff7dcc8dcc92, 0xffffff7ed516d51c,
   3342   0xffffffd5ffffffac, 0xffffffd655555503,
   3343   0xffffffbccccccc14, 0xffffffbd5555549f,
   3344   0xffffffbccc8dcc14, 0xffffffbd5516d49f,
   3345   0xffffffbccc4ecc92, 0xffffffbd54d8551c,
   3346   0xffffffe6cccccc68, 0xffffffe6ffffff9d,
   3347   0xffffffe6cc8dcc68, 0xffffffe6ffc17f9d,
   3348   0xffffffe6cc4ecce6, 0xffffffe6ff83001a,
   3349   0xffffffe6cc0fcde2, 0xffffffe6ff448114,
   3350   0xffffffffffc10000, 0xffffffffffc18001,
   3351   0xffffffffff82007e, 0xffffffffff83007e,
   3352   0xffffffffff43017a, 0xffffffffff448178,
   3353   0xffffffffff0402f4, 0xffffffffff0602ef,
   3354   0xffffffffffc1007e, 0xffffffffffc1807e,
   3355   0xffffffffff82017a, 0xffffffffff830178,
   3356   0xffffffffff4302f4, 0xffffffffff4482ef,
   3357   0xffffffffff42c3f4, 0xffffffffff44446f,
   3358   0xffffffffffc100fc, 0xffffffffffc180fb,
   3359   0xffffffffff820276, 0xffffffffff830272,
   3360   0xffffffffff81c376, 0xffffffffff82c3f2,
   3361   0xffffffffff8184f4, 0xffffffffff8285ef,
   3362   0xffffffffffc1017a, 0xffffffffffc18178,
   3363   0xffffffffffc0c27a, 0xffffffffffc142f8,
   3364   0xffffffffffc083f8, 0xffffffffffc104f5,
   3365   0xffffffffffc045f4, 0xffffffffffc0c76f,
   3366   0xffffffffffffc100, 0xffffffffffffc181,
   3367   0xffffffffffff827e, 0xffffffffffff837e,
   3368   0xffffffffffff447a, 0xffffffffffff45f8,
   3369   0xffffffffffff06f4, 0xffffffffffff08ef,
   3370   0xffffffffffffc17e, 0xffffffffffffc1fe,
   3371   0xffffffffffff837a, 0xffffffffffff8478,
   3372   0xffffffffffff45f4, 0xffffffffffff476f,
   3373   0xffffffffffff3634, 0xffffffffffff37cf,
   3374   0xffffffffffffc1fc, 0xffffffffffffc27b,
   3375   0xffffffffffff8476, 0xffffffffffff8572,
   3376   0xffffffffffff74b6, 0xffffffffffff75d2,
   3377   0xffffffffffff733c, 0xffffffffffff745b,
   3378   0xffffffffffffc27a, 0xffffffffffffc2f8,
   3379   0xffffffffffffb2ba, 0xffffffffffffb358,
   3380   0xffffffffffffb140, 0xffffffffffffb1e1,
   3381   0xffffffffffffb044, 0xffffffffffffb0e7,
   3382   0xfffffffffffff040, 0xfffffffffffff061,
   3383   0xffffffffffffeec6, 0xffffffffffffeeea,
   3384   0xffffffffffffedca, 0xffffffffffffedf0,
   3385   0xffffffffffffed4c, 0xffffffffffffed73,
   3386   0xfffffffffffffe89, 0xffffffffffffffa1,
   3387   0xfffffffffffffd8f, 0xffffffffffffff61,
   3388   0xfffffffffffffd12, 0xffffffffffffff41,
   3389   0xfffffffffffffd12, 0xffffffffffffff41,
   3390   0xffffffffffffff06, 0xffffffffffffffc1,
   3391   0xfffffffffffffe89, 0xffffffffffffffa1,
   3392   0xfffffffffffffe89, 0xffffffffffffffa1,
   3393   0xffffffffffffff06, 0xffffffffffffffc1,
   3394   0xffffffffffffff83, 0xffffffffffffffe1,
   3395   0xffffffffffffff83, 0xffffffffffffffe1,
   3396   0x0000000000000000, 0x0000000000000001,
   3397   0x00000000000000fa, 0x0000000000000041,
   3398   0x0000000000000000, 0x0000000000000001,
   3399   0x000000000000007d, 0x0000000000000021,
   3400   0x0000000000000177, 0x0000000000000061,
   3401   0x0000000000001117, 0x0000000000000461,
   3402   0x000000000000007d, 0x0000000000000021,
   3403   0x0000000000000177, 0x0000000000000061,
   3404   0x0000000000001117, 0x0000000000000461,
   3405   0x0000000000004e20, 0x0000000000001401,
   3406   0x00000000000000fa, 0x0000000000000041,
   3407   0x000000000000109a, 0x0000000000000441,
   3408   0x0000000000004da3, 0x00000000000013e1,
   3409   0x0000000000008b29, 0x00000000000023a1,
   3410   0x0000000000000fa0, 0x0000000000000401,
   3411   0x0000000000004ca9, 0x00000000000013a1,
   3412   0x0000000000008a2f, 0x0000000000002361,
   3413   0x000000000000c832, 0x0000000000003341,
   3414   0x0000000000003d09, 0x0000000000000fa1,
   3415   0x0000000000007a8f, 0x0000000000001f61,
   3416   0x000000000000b892, 0x0000000000002f41,
   3417   0x00000000003f371b, 0x0000000000102ee1,
   3418   0x0000000000003d86, 0x0000000000000fc1,
   3419   0x0000000000007b89, 0x0000000000001fa1,
   3420   0x00000000003efa12, 0x0000000000101f41,
   3421   0x00000000007d7918, 0x0000000000201f01,
   3422   0x0000000000003e03, 0x0000000000000fe1,
   3423   0x00000000003ebc8c, 0x0000000000100f81,
   3424   0x00000000007d3b92, 0x0000000000200f41,
   3425   0x0000000000bbbb15, 0x0000000000300f21,
   3426   0x00000000003e7e89, 0x00000000000fffa1,
   3427   0x00000000007cfd8f, 0x00000000001fff61,
   3428   0x0000000000bb7d12, 0x00000000002fff41,
   3429   0x0000001900bb7cf9, 0x00000006669665a1,
   3430   0x00000000003e7f06, 0x00000000000fffc1,
   3431   0x00000000007cfe89, 0x00000000001fffa1,
   3432   0x00000019007cfe70, 0x0000000666866601,
   3433   0x00000042ab27a8f1, 0x00000011113110a1,
   3434   0x00000000003e7f83, 0x00000000000fffe1,
   3435   0x00000019003e7f6a, 0x0000000666766641,
   3436   0x00000042aae929eb, 0x00000011112110e1,
   3437   0x000000812ae92874, 0x0000002111211081,
   3438   0x00000018ffffffe7, 0x0000000666666661,
   3439   0x00000042aaaaaa68, 0x0000001111111101,
   3440   0x000000812aaaa8f1, 0x00000021111110a1,
   3441   0x000000bfaaaaa7f7, 0x0000003111111061,
   3442   0x00000029aaaaaa81, 0x0000000aaaaaaaa1,
   3443   0x000000682aaaa90a, 0x0000001aaaaaaa41,
   3444   0x000000a6aaaaa810, 0x0000002aaaaaaa01,
   3445   0x000000e52aaaa793, 0x0000003aaaaaa9e1,
   3446   0x0000003e7ffffe89, 0x0000000fffffffa1,
   3447   0x0000007cfffffd8f, 0x0000001fffffff61,
   3448   0x000000bb7ffffd12, 0x0000002fffffff41,
   3449   0x0000007cfffffd12, 0x0000001fffffff41,
   3450   0x0000003e7fffff06, 0x0000000fffffffc1,
   3451   0x0000007cfffffe89, 0x0000001fffffffa1,
   3452   0x0000003e7ffffe89, 0x0000000fffffffa1,
   3453   0xffffffffffffff06, 0xffffffffffffffc1,
   3454   0x0000003e7fffff83, 0x0000000fffffffe1,
   3455   0xffffffffffffff83, 0xffffffffffffffe1,
   3456   0xffffffc180000000, 0xfffffff000000001,
   3457   0xffffff97d5555502, 0xffffffe555555541,
   3458   0xffffffc180000000, 0xfffffff000000001,
   3459   0xffffff830000007d, 0xffffffe000000021,
   3460   0xffffff595555557f, 0xffffffd555555561,
   3461   0xffffff405555551b, 0xffffffceeeeeeee1,
   3462   0xffffffc18000007d, 0xfffffff000000021,
   3463   0xffffff97d555557f, 0xffffffe555555561,
   3464   0xffffff7ed555551b, 0xffffffdeeeeeeee1,
   3465   0xffffff7ed516d51b, 0xffffffdeeedeeee1,
   3466   0xffffffd655555502, 0xfffffff555555541,
   3467   0xffffffbd5555549e, 0xffffffeeeeeeeec1,
   3468   0xffffffbd5516d49e, 0xffffffeeeedeeec1,
   3469   0xffffffbd54d8551b, 0xffffffeeeeceeee1,
   3470   0xffffffe6ffffff9c, 0xfffffff999999981,
   3471   0xffffffe6ffc17f9c, 0xfffffff999899981,
   3472   0xffffffe6ff830019, 0xfffffff9997999a1,
   3473   0xffffffe6ff448113, 0xfffffff9996999e1,
   3474   0xffffffffffc18000, 0xfffffffffff00001,
   3475   0xffffffffff83007d, 0xffffffffffe00021,
   3476   0xffffffffff448177, 0xffffffffffd00061,
   3477   0xffffffffff0602ee, 0xffffffffffc000c1,
   3478   0xffffffffffc1807d, 0xfffffffffff00021,
   3479   0xffffffffff830177, 0xffffffffffe00061,
   3480   0xffffffffff4482ee, 0xffffffffffd000c1,
   3481   0xffffffffff44446e, 0xffffffffffcff0c1,
   3482   0xffffffffffc180fa, 0xfffffffffff00041,
   3483   0xffffffffff830271, 0xffffffffffe000a1,
   3484   0xffffffffff82c3f1, 0xffffffffffdff0a1,
   3485   0xffffffffff8285ee, 0xffffffffffdfe0c1,
   3486   0xffffffffffc18177, 0xfffffffffff00061,
   3487   0xffffffffffc142f7, 0xffffffffffeff061,
   3488   0xffffffffffc104f4, 0xffffffffffefe081,
   3489   0xffffffffffc0c76e, 0xffffffffffefd0c1,
   3490   0xffffffffffffc180, 0xfffffffffffff001,
   3491   0xffffffffffff837d, 0xffffffffffffe021,
   3492   0xffffffffffff45f7, 0xffffffffffffd061,
   3493   0xffffffffffff08ee, 0xffffffffffffc0c1,
   3494   0xffffffffffffc1fd, 0xfffffffffffff021,
   3495   0xffffffffffff8477, 0xffffffffffffe061,
   3496   0xffffffffffff476e, 0xffffffffffffd0c1,
   3497   0xffffffffffff37ce, 0xffffffffffffccc1,
   3498   0xffffffffffffc27a, 0xfffffffffffff041,
   3499   0xffffffffffff8571, 0xffffffffffffe0a1,
   3500   0xffffffffffff75d1, 0xffffffffffffdca1,
   3501   0xffffffffffff745a, 0xffffffffffffdc41,
   3502   0xffffffffffffc2f7, 0xfffffffffffff061,
   3503   0xffffffffffffb357, 0xffffffffffffec61,
   3504   0xffffffffffffb1e0, 0xffffffffffffec01,
   3505   0xffffffffffffb0e6, 0xffffffffffffebc1,
   3506   0xfffffffffffff060, 0xfffffffffffffc01,
   3507   0xffffffffffffeee9, 0xfffffffffffffba1,
   3508   0xffffffffffffedef, 0xfffffffffffffb61,
   3509   0xffffffffffffed72, 0xfffffffffffffb41,
   3510   0xffffffffffffffa0, 0xfffffffffffffff8,
   3511   0xffffffffffffff60, 0xfffffffffffffff2,
   3512   0xffffffffffffff40, 0xffffffffffffffef,
   3513   0xffffffffffffff40, 0xffffffffffffffef,
   3514   0xffffffffffffffc0, 0xfffffffffffffffb,
   3515   0xffffffffffffffa0, 0xfffffffffffffff8,
   3516   0xffffffffffffffa0, 0xfffffffffffffff8,
   3517   0xffffffffffffffc0, 0xfffffffffffffffb,
   3518   0xffffffffffffffe0, 0xfffffffffffffffe,
   3519   0xffffffffffffffe0, 0xfffffffffffffffe,
   3520   0x0000000000000000, 0x0000000000000001,
   3521   0x0000000000000040, 0x0000000000000007,
   3522   0x0000000000000000, 0x0000000000000001,
   3523   0x0000000000000020, 0x0000000000000004,
   3524   0x0000000000000060, 0x000000000000000a,
   3525   0x0000000000000460, 0x000000000000006a,
   3526   0x0000000000000020, 0x0000000000000004,
   3527   0x0000000000000060, 0x000000000000000a,
   3528   0x0000000000000460, 0x000000000000006a,
   3529   0x0000000000001400, 0x00000000000001e1,
   3530   0x0000000000000040, 0x0000000000000007,
   3531   0x0000000000000440, 0x0000000000000067,
   3532   0x00000000000013e0, 0x00000000000001de,
   3533   0x00000000000023a0, 0x0000000000000358,
   3534   0x0000000000000400, 0x0000000000000061,
   3535   0x00000000000013a0, 0x00000000000001d8,
   3536   0x0000000000002360, 0x0000000000000352,
   3537   0x0000000000003340, 0x00000000000004cf,
   3538   0x0000000000000fa0, 0x0000000000000178,
   3539   0x0000000000001f60, 0x00000000000002f2,
   3540   0x0000000000002f40, 0x000000000000046f,
   3541   0x0000000000102ee0, 0x0000000000018466,
   3542   0x0000000000000fc0, 0x000000000000017b,
   3543   0x0000000000001fa0, 0x00000000000002f8,
   3544   0x0000000000101f40, 0x00000000000182ef,
   3545   0x0000000000201f00, 0x00000000000302e9,
   3546   0x0000000000000fe0, 0x000000000000017e,
   3547   0x0000000000100f80, 0x0000000000018175,
   3548   0x0000000000200f40, 0x000000000003016f,
   3549   0x0000000000300f20, 0x000000000004816c,
   3550   0x00000000000fffa0, 0x0000000000017ff8,
   3551   0x00000000001fff60, 0x000000000002fff2,
   3552   0x00000000002fff40, 0x0000000000047fef,
   3553   0x00000006669665a0, 0x00000000999e1988,
   3554   0x00000000000fffc0, 0x0000000000017ffb,
   3555   0x00000000001fffa0, 0x000000000002fff8,
   3556   0x0000000666866600, 0x00000000999c9991,
   3557   0x00000011113110a0, 0x00000001999c9990,
   3558   0x00000000000fffe0, 0x0000000000017ffe,
   3559   0x0000000666766640, 0x00000000999b1997,
   3560   0x00000011112110e0, 0x00000001999b1996,
   3561   0x0000002111211080, 0x00000003199b198d,
   3562   0x0000000666666660, 0x000000009999999a,
   3563   0x0000001111111100, 0x0000000199999999,
   3564   0x00000021111110a0, 0x0000000319999990,
   3565   0x0000003111111060, 0x000000049999998a,
   3566   0x0000000aaaaaaaa0, 0x0000000100000000,
   3567   0x0000001aaaaaaa40, 0x000000027ffffff7,
   3568   0x0000002aaaaaaa00, 0x00000003fffffff1,
   3569   0x0000003aaaaaa9e0, 0x000000057fffffee,
   3570   0x0000000fffffffa0, 0x000000017ffffff8,
   3571   0x0000001fffffff60, 0x00000002fffffff2,
   3572   0x0000002fffffff40, 0x000000047fffffef,
   3573   0x0000001fffffff40, 0x00000002ffffffef,
   3574   0x0000000fffffffc0, 0x000000017ffffffb,
   3575   0x0000001fffffffa0, 0x00000002fffffff8,
   3576   0x0000000fffffffa0, 0x000000017ffffff8,
   3577   0xffffffffffffffc0, 0xfffffffffffffffb,
   3578   0x0000000fffffffe0, 0x000000017ffffffe,
   3579   0xffffffffffffffe0, 0xfffffffffffffffe,
   3580   0xfffffff000000000, 0xfffffffe80000001,
   3581   0xffffffe555555540, 0xfffffffd7fffffff,
   3582   0xfffffff000000000, 0xfffffffe80000001,
   3583   0xffffffe000000020, 0xfffffffd00000004,
   3584   0xffffffd555555560, 0xfffffffc00000002,
   3585   0xffffffceeeeeeee0, 0xfffffffb66666666,
   3586   0xfffffff000000020, 0xfffffffe80000004,
   3587   0xffffffe555555560, 0xfffffffd80000002,
   3588   0xffffffdeeeeeeee0, 0xfffffffce6666666,
   3589   0xffffffdeeedeeee0, 0xfffffffce664e666,
   3590   0xfffffff555555540, 0xfffffffeffffffff,
   3591   0xffffffeeeeeeeec0, 0xfffffffe66666663,
   3592   0xffffffeeeedeeec0, 0xfffffffe6664e663,
   3593   0xffffffeeeeceeee0, 0xfffffffe66636666,
   3594   0xfffffff999999980, 0xffffffff66666665,
   3595   0xfffffff999899980, 0xffffffff6664e665,
   3596   0xfffffff9997999a0, 0xffffffff66636668,
   3597   0xfffffff9996999e0, 0xffffffff6661e66e,
   3598   0xfffffffffff00000, 0xfffffffffffe8001,
   3599   0xffffffffffe00020, 0xfffffffffffd0004,
   3600   0xffffffffffd00060, 0xfffffffffffb800a,
   3601   0xffffffffffc000c0, 0xfffffffffffa0013,
   3602   0xfffffffffff00020, 0xfffffffffffe8004,
   3603   0xffffffffffe00060, 0xfffffffffffd000a,
   3604   0xffffffffffd000c0, 0xfffffffffffb8013,
   3605   0xffffffffffcff0c0, 0xfffffffffffb7e93,
   3606   0xfffffffffff00040, 0xfffffffffffe8007,
   3607   0xffffffffffe000a0, 0xfffffffffffd0010,
   3608   0xffffffffffdff0a0, 0xfffffffffffcfe90,
   3609   0xffffffffffdfe0c0, 0xfffffffffffcfd13,
   3610   0xfffffffffff00060, 0xfffffffffffe800a,
   3611   0xffffffffffeff060, 0xfffffffffffe7e8a,
   3612   0xffffffffffefe080, 0xfffffffffffe7d0d,
   3613   0xffffffffffefd0c0, 0xfffffffffffe7b93,
   3614   0xfffffffffffff000, 0xfffffffffffffe81,
   3615   0xffffffffffffe020, 0xfffffffffffffd04,
   3616   0xffffffffffffd060, 0xfffffffffffffb8a,
   3617   0xffffffffffffc0c0, 0xfffffffffffffa13,
   3618   0xfffffffffffff020, 0xfffffffffffffe84,
   3619   0xffffffffffffe060, 0xfffffffffffffd0a,
   3620   0xffffffffffffd0c0, 0xfffffffffffffb93,
   3621   0xffffffffffffccc0, 0xfffffffffffffb33,
   3622   0xfffffffffffff040, 0xfffffffffffffe87,
   3623   0xffffffffffffe0a0, 0xfffffffffffffd10,
   3624   0xffffffffffffdca0, 0xfffffffffffffcb0,
   3625   0xffffffffffffdc40, 0xfffffffffffffca7,
   3626   0xfffffffffffff060, 0xfffffffffffffe8a,
   3627   0xffffffffffffec60, 0xfffffffffffffe2a,
   3628   0xffffffffffffec00, 0xfffffffffffffe21,
   3629   0xffffffffffffebc0, 0xfffffffffffffe1b,
   3630   0xfffffffffffffc00, 0xffffffffffffffa1,
   3631   0xfffffffffffffba0, 0xffffffffffffff98,
   3632   0xfffffffffffffb60, 0xffffffffffffff92,
   3633   0xfffffffffffffb40, 0xffffffffffffff8f,
   3634   0xfffffffffffffff7, 0xfffffffffffffffb,
   3635   0xfffffffffffffff1, 0xfffffffffffffff7,
   3636   0xffffffffffffffee, 0xfffffffffffffff5,
   3637   0xffffffffffffffee, 0xfffffffffffffff5,
   3638   0xfffffffffffffffa, 0xfffffffffffffffd,
   3639   0xfffffffffffffff7, 0xfffffffffffffffb,
   3640   0xfffffffffffffff7, 0xfffffffffffffffb,
   3641   0xfffffffffffffffa, 0xfffffffffffffffd,
   3642   0xfffffffffffffffd, 0xffffffffffffffff,
   3643   0xfffffffffffffffd, 0xffffffffffffffff,
   3644   0x0000000000000000, 0x0000000000000001,
   3645   0x0000000000000006, 0x0000000000000005,
   3646   0x0000000000000000, 0x0000000000000001,
   3647   0x0000000000000003, 0x0000000000000003,
   3648   0x0000000000000009, 0x0000000000000007,
   3649   0x0000000000000069, 0x0000000000000047,
   3650   0x0000000000000003, 0x0000000000000003,
   3651   0x0000000000000009, 0x0000000000000007,
   3652   0x0000000000000069, 0x0000000000000047,
   3653   0x00000000000001e0, 0x0000000000000141,
   3654   0x0000000000000006, 0x0000000000000005,
   3655   0x0000000000000066, 0x0000000000000045,
   3656   0x00000000000001dd, 0x000000000000013f,
   3657   0x0000000000000357, 0x000000000000023b,
   3658   0x0000000000000060, 0x0000000000000041,
   3659   0x00000000000001d7, 0x000000000000013b,
   3660   0x0000000000000351, 0x0000000000000237,
   3661   0x00000000000004ce, 0x0000000000000335,
   3662   0x0000000000000177, 0x00000000000000fb,
   3663   0x00000000000002f1, 0x00000000000001f7,
   3664   0x000000000000046e, 0x00000000000002f5,
   3665   0x0000000000018465, 0x00000000000102ef,
   3666   0x000000000000017a, 0x00000000000000fd,
   3667   0x00000000000002f7, 0x00000000000001fb,
   3668   0x00000000000182ee, 0x00000000000101f5,
   3669   0x00000000000302e8, 0x00000000000201f1,
   3670   0x000000000000017d, 0x00000000000000ff,
   3671   0x0000000000018174, 0x00000000000100f9,
   3672   0x000000000003016e, 0x00000000000200f5,
   3673   0x000000000004816b, 0x00000000000300f3,
   3674   0x0000000000017ff7, 0x000000000000fffb,
   3675   0x000000000002fff1, 0x000000000001fff7,
   3676   0x0000000000047fee, 0x000000000002fff5,
   3677   0x00000000999e1987, 0x000000006669665b,
   3678   0x0000000000017ffa, 0x000000000000fffd,
   3679   0x000000000002fff7, 0x000000000001fffb,
   3680   0x00000000999c9990, 0x0000000066686661,
   3681   0x00000001999c998f, 0x000000011113110b,
   3682   0x0000000000017ffd, 0x000000000000ffff,
   3683   0x00000000999b1996, 0x0000000066676665,
   3684   0x00000001999b1995, 0x000000011112110f,
   3685   0x00000003199b198c, 0x0000000211121109,
   3686   0x0000000099999999, 0x0000000066666667,
   3687   0x0000000199999998, 0x0000000111111111,
   3688   0x000000031999998f, 0x000000021111110b,
   3689   0x0000000499999989, 0x0000000311111107,
   3690   0x00000000ffffffff, 0x00000000aaaaaaab,
   3691   0x000000027ffffff6, 0x00000001aaaaaaa5,
   3692   0x00000003fffffff0, 0x00000002aaaaaaa1,
   3693   0x000000057fffffed, 0x00000003aaaaaa9f,
   3694   0x000000017ffffff7, 0x00000000fffffffb,
   3695   0x00000002fffffff1, 0x00000001fffffff7,
   3696   0x000000047fffffee, 0x00000002fffffff5,
   3697   0x00000002ffffffee, 0x00000001fffffff5,
   3698   0x000000017ffffffa, 0x00000000fffffffd,
   3699   0x00000002fffffff7, 0x00000001fffffffb,
   3700   0x000000017ffffff7, 0x00000000fffffffb,
   3701   0xfffffffffffffffa, 0xfffffffffffffffd,
   3702   0x000000017ffffffd, 0x00000000ffffffff,
   3703   0xfffffffffffffffd, 0xffffffffffffffff,
   3704   0xfffffffe80000000, 0xffffffff00000001,
   3705   0xfffffffd7ffffffe, 0xfffffffe55555555,
   3706   0xfffffffe80000000, 0xffffffff00000001,
   3707   0xfffffffd00000003, 0xfffffffe00000003,
   3708   0xfffffffc00000001, 0xfffffffd55555557,
   3709   0xfffffffb66666665, 0xfffffffceeeeeeef,
   3710   0xfffffffe80000003, 0xffffffff00000003,
   3711   0xfffffffd80000001, 0xfffffffe55555557,
   3712   0xfffffffce6666665, 0xfffffffdeeeeeeef,
   3713   0xfffffffce664e665, 0xfffffffdeeedeeef,
   3714   0xfffffffefffffffe, 0xffffffff55555555,
   3715   0xfffffffe66666662, 0xfffffffeeeeeeeed,
   3716   0xfffffffe6664e662, 0xfffffffeeeedeeed,
   3717   0xfffffffe66636665, 0xfffffffeeeeceeef,
   3718   0xffffffff66666664, 0xffffffff99999999,
   3719   0xffffffff6664e664, 0xffffffff99989999,
   3720   0xffffffff66636667, 0xffffffff9997999b,
   3721   0xffffffff6661e66d, 0xffffffff9996999f,
   3722   0xfffffffffffe8000, 0xffffffffffff0001,
   3723   0xfffffffffffd0003, 0xfffffffffffe0003,
   3724   0xfffffffffffb8009, 0xfffffffffffd0007,
   3725   0xfffffffffffa0012, 0xfffffffffffc000d,
   3726   0xfffffffffffe8003, 0xffffffffffff0003,
   3727   0xfffffffffffd0009, 0xfffffffffffe0007,
   3728   0xfffffffffffb8012, 0xfffffffffffd000d,
   3729   0xfffffffffffb7e92, 0xfffffffffffcff0d,
   3730   0xfffffffffffe8006, 0xffffffffffff0005,
   3731   0xfffffffffffd000f, 0xfffffffffffe000b,
   3732   0xfffffffffffcfe8f, 0xfffffffffffdff0b,
   3733   0xfffffffffffcfd12, 0xfffffffffffdfe0d,
   3734   0xfffffffffffe8009, 0xffffffffffff0007,
   3735   0xfffffffffffe7e89, 0xfffffffffffeff07,
   3736   0xfffffffffffe7d0c, 0xfffffffffffefe09,
   3737   0xfffffffffffe7b92, 0xfffffffffffefd0d,
   3738   0xfffffffffffffe80, 0xffffffffffffff01,
   3739   0xfffffffffffffd03, 0xfffffffffffffe03,
   3740   0xfffffffffffffb89, 0xfffffffffffffd07,
   3741   0xfffffffffffffa12, 0xfffffffffffffc0d,
   3742   0xfffffffffffffe83, 0xffffffffffffff03,
   3743   0xfffffffffffffd09, 0xfffffffffffffe07,
   3744   0xfffffffffffffb92, 0xfffffffffffffd0d,
   3745   0xfffffffffffffb32, 0xfffffffffffffccd,
   3746   0xfffffffffffffe86, 0xffffffffffffff05,
   3747   0xfffffffffffffd0f, 0xfffffffffffffe0b,
   3748   0xfffffffffffffcaf, 0xfffffffffffffdcb,
   3749   0xfffffffffffffca6, 0xfffffffffffffdc5,
   3750   0xfffffffffffffe89, 0xffffffffffffff07,
   3751   0xfffffffffffffe29, 0xfffffffffffffec7,
   3752   0xfffffffffffffe20, 0xfffffffffffffec1,
   3753   0xfffffffffffffe1a, 0xfffffffffffffebd,
   3754   0xffffffffffffffa0, 0xffffffffffffffc1,
   3755   0xffffffffffffff97, 0xffffffffffffffbb,
   3756   0xffffffffffffff91, 0xffffffffffffffb7,
   3757   0xffffffffffffff8e, 0xffffffffffffffb5,
   3758   0xfffffffffffffffa, 0xfffffffffffffffe,
   3759   0xfffffffffffffff6, 0xfffffffffffffffc,
   3760   0xfffffffffffffff4, 0xfffffffffffffffb,
   3761   0xfffffffffffffff4, 0xfffffffffffffffb,
   3762   0xfffffffffffffffc, 0xffffffffffffffff,
   3763   0xfffffffffffffffa, 0xfffffffffffffffe,
   3764   0xfffffffffffffffa, 0xfffffffffffffffe,
   3765   0xfffffffffffffffc, 0xffffffffffffffff,
   3766   0xfffffffffffffffe, 0x0000000000000000,
   3767   0xfffffffffffffffe, 0x0000000000000000,
   3768   0x0000000000000000, 0x0000000000000001,
   3769   0x0000000000000004, 0x0000000000000003,
   3770   0x0000000000000000, 0x0000000000000001,
   3771   0x0000000000000002, 0x0000000000000002,
   3772   0x0000000000000006, 0x0000000000000004,
   3773   0x0000000000000046, 0x0000000000000024,
   3774   0x0000000000000002, 0x0000000000000002,
   3775   0x0000000000000006, 0x0000000000000004,
   3776   0x0000000000000046, 0x0000000000000024,
   3777   0x0000000000000140, 0x00000000000000a1,
   3778   0x0000000000000004, 0x0000000000000003,
   3779   0x0000000000000044, 0x0000000000000023,
   3780   0x000000000000013e, 0x00000000000000a0,
   3781   0x000000000000023a, 0x000000000000011e,
   3782   0x0000000000000040, 0x0000000000000021,
   3783   0x000000000000013a, 0x000000000000009e,
   3784   0x0000000000000236, 0x000000000000011c,
   3785   0x0000000000000334, 0x000000000000019b,
   3786   0x00000000000000fa, 0x000000000000007e,
   3787   0x00000000000001f6, 0x00000000000000fc,
   3788   0x00000000000002f4, 0x000000000000017b,
   3789   0x00000000000102ee, 0x0000000000008178,
   3790   0x00000000000000fc, 0x000000000000007f,
   3791   0x00000000000001fa, 0x00000000000000fe,
   3792   0x00000000000101f4, 0x00000000000080fb,
   3793   0x00000000000201f0, 0x00000000000100f9,
   3794   0x00000000000000fe, 0x0000000000000080,
   3795   0x00000000000100f8, 0x000000000000807d,
   3796   0x00000000000200f4, 0x000000000001007b,
   3797   0x00000000000300f2, 0x000000000001807a,
   3798   0x000000000000fffa, 0x0000000000007ffe,
   3799   0x000000000001fff6, 0x000000000000fffc,
   3800   0x000000000002fff4, 0x0000000000017ffb,
   3801   0x000000006669665a, 0x000000003334b32e,
   3802   0x000000000000fffc, 0x0000000000007fff,
   3803   0x000000000001fffa, 0x000000000000fffe,
   3804   0x0000000066686660, 0x0000000033343331,
   3805   0x000000011113110a, 0x0000000088898886,
   3806   0x000000000000fffe, 0x0000000000008000,
   3807   0x0000000066676664, 0x000000003333b333,
   3808   0x000000011112110e, 0x0000000088890888,
   3809   0x0000000211121108, 0x0000000108890885,
   3810   0x0000000066666666, 0x0000000033333334,
   3811   0x0000000111111110, 0x0000000088888889,
   3812   0x000000021111110a, 0x0000000108888886,
   3813   0x0000000311111106, 0x0000000188888884,
   3814   0x00000000aaaaaaaa, 0x0000000055555556,
   3815   0x00000001aaaaaaa4, 0x00000000d5555553,
   3816   0x00000002aaaaaaa0, 0x0000000155555551,
   3817   0x00000003aaaaaa9e, 0x00000001d5555550,
   3818   0x00000000fffffffa, 0x000000007ffffffe,
   3819   0x00000001fffffff6, 0x00000000fffffffc,
   3820   0x00000002fffffff4, 0x000000017ffffffb,
   3821   0x00000001fffffff4, 0x00000000fffffffb,
   3822   0x00000000fffffffc, 0x000000007fffffff,
   3823   0x00000001fffffffa, 0x00000000fffffffe,
   3824   0x00000000fffffffa, 0x000000007ffffffe,
   3825   0xfffffffffffffffc, 0xffffffffffffffff,
   3826   0x00000000fffffffe, 0x0000000080000000,
   3827   0xfffffffffffffffe, 0x0000000000000000,
   3828   0xffffffff00000000, 0xffffffff80000001,
   3829   0xfffffffe55555554, 0xffffffff2aaaaaab,
   3830   0xffffffff00000000, 0xffffffff80000001,
   3831   0xfffffffe00000002, 0xffffffff00000002,
   3832   0xfffffffd55555556, 0xfffffffeaaaaaaac,
   3833   0xfffffffceeeeeeee, 0xfffffffe77777778,
   3834   0xffffffff00000002, 0xffffffff80000002,
   3835   0xfffffffe55555556, 0xffffffff2aaaaaac,
   3836   0xfffffffdeeeeeeee, 0xfffffffef7777778,
   3837   0xfffffffdeeedeeee, 0xfffffffef776f778,
   3838   0xffffffff55555554, 0xffffffffaaaaaaab,
   3839   0xfffffffeeeeeeeec, 0xffffffff77777777,
   3840   0xfffffffeeeedeeec, 0xffffffff7776f777,
   3841   0xfffffffeeeeceeee, 0xffffffff77767778,
   3842   0xffffffff99999998, 0xffffffffcccccccd,
   3843   0xffffffff99989998, 0xffffffffcccc4ccd,
   3844   0xffffffff9997999a, 0xffffffffcccbccce,
   3845   0xffffffff9996999e, 0xffffffffcccb4cd0,
   3846   0xffffffffffff0000, 0xffffffffffff8001,
   3847   0xfffffffffffe0002, 0xffffffffffff0002,
   3848   0xfffffffffffd0006, 0xfffffffffffe8004,
   3849   0xfffffffffffc000c, 0xfffffffffffe0007,
   3850   0xffffffffffff0002, 0xffffffffffff8002,
   3851   0xfffffffffffe0006, 0xffffffffffff0004,
   3852   0xfffffffffffd000c, 0xfffffffffffe8007,
   3853   0xfffffffffffcff0c, 0xfffffffffffe7f87,
   3854   0xffffffffffff0004, 0xffffffffffff8003,
   3855   0xfffffffffffe000a, 0xffffffffffff0006,
   3856   0xfffffffffffdff0a, 0xfffffffffffeff86,
   3857   0xfffffffffffdfe0c, 0xfffffffffffeff07,
   3858   0xffffffffffff0006, 0xffffffffffff8004,
   3859   0xfffffffffffeff06, 0xffffffffffff7f84,
   3860   0xfffffffffffefe08, 0xffffffffffff7f05,
   3861   0xfffffffffffefd0c, 0xffffffffffff7e87,
   3862   0xffffffffffffff00, 0xffffffffffffff81,
   3863   0xfffffffffffffe02, 0xffffffffffffff02,
   3864   0xfffffffffffffd06, 0xfffffffffffffe84,
   3865   0xfffffffffffffc0c, 0xfffffffffffffe07,
   3866   0xffffffffffffff02, 0xffffffffffffff82,
   3867   0xfffffffffffffe06, 0xffffffffffffff04,
   3868   0xfffffffffffffd0c, 0xfffffffffffffe87,
   3869   0xfffffffffffffccc, 0xfffffffffffffe67,
   3870   0xffffffffffffff04, 0xffffffffffffff83,
   3871   0xfffffffffffffe0a, 0xffffffffffffff06,
   3872   0xfffffffffffffdca, 0xfffffffffffffee6,
   3873   0xfffffffffffffdc4, 0xfffffffffffffee3,
   3874   0xffffffffffffff06, 0xffffffffffffff84,
   3875   0xfffffffffffffec6, 0xffffffffffffff64,
   3876   0xfffffffffffffec0, 0xffffffffffffff61,
   3877   0xfffffffffffffebc, 0xffffffffffffff5f,
   3878   0xffffffffffffffc0, 0xffffffffffffffe1,
   3879   0xffffffffffffffba, 0xffffffffffffffde,
   3880   0xffffffffffffffb6, 0xffffffffffffffdc,
   3881   0xffffffffffffffb4, 0xffffffffffffffdb,
   3882 };
   3883 const unsigned kExpectedCount_NEON_smlsl2_2D_4S_S = 3844;
   3884 
   3885 #endif  // VIXL_SIM_SMLSL2_2D_4S_S_TRACE_A64_H_
   3886