Home | History | Annotate | Download | only in traces 
      1 // Copyright 2015, VIXL authors
      2 // All rights reserved.
      3 //
      4 // Redistribution and use in source and binary forms, with or without
      5 // modification, are permitted provided that the following conditions are met:
      6 //
      7 //   * Redistributions of source code must retain the above copyright notice,
      8 //     this list of conditions and the following disclaimer.
      9 //   * Redistributions in binary form must reproduce the above copyright notice,
     10 //     this list of conditions and the following disclaimer in the documentation
     11 //     and/or other materials provided with the distribution.
     12 //   * Neither the name of ARM Limited nor the names of its contributors may be
     13 //     used to endorse or promote products derived from this software without
     14 //     specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
     17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
     20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
     23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     26 
     27 
     28 // ---------------------------------------------------------------------
     29 // This file is auto generated using tools/generate_simulator_traces.py.
     30 //
     31 // PLEASE DO NOT EDIT.
     32 // ---------------------------------------------------------------------
     33 
     34 #ifndef VIXL_SIM_UMLSL_2D_2S_S_TRACE_AARCH64_H_
     35 #define VIXL_SIM_UMLSL_2D_2S_S_TRACE_AARCH64_H_
     36 
     37 const uint64_t kExpected_NEON_umlsl_2D_2S_S[] = {
     38   0xffffffffc1fc0000, 0xffffffffc17e0001,
     39   0xffffffff837a0000, 0xffffffff827d0001,
     40   0xffffffc084f40000, 0xffffffc003fa0001,
     41   0xffffffc084f40000, 0xffffffc003fa0001,
     42   0xffffffffc17e0000, 0xffffffffc0ff0001,
     43   0xffffffc0c2f80000, 0xffffffc0427c0001,
     44   0xffffffc0c2f80000, 0xffffffc0427c0001,
     45   0xffffffc0c2f78200, 0xffffffc0427b8101,
     46   0xffffffc1017a0000, 0xffffffc0817d0001,
     47   0xffffffc1017a0000, 0xffffffc0817d0001,
     48   0xffffffc101798200, 0xffffffc0817c8101,
     49   0xffffffc101788600, 0xffffffc0817b8301,
     50   0x0000000000000000, 0x0000000000000001,
     51   0xffffffffffff8200, 0xffffffffffff8101,
     52   0xfffffffffffe8600, 0xfffffffffffe8301,
     53   0xffffffffffeec600, 0xffffffffffeea301,
     54   0xffffffffffff8200, 0xffffffffffff8101,
     55   0xfffffffffffe8600, 0xfffffffffffe8301,
     56   0xffffffffffeec600, 0xffffffffffeea301,
     57   0xffffffffffb14000, 0xffffffffffb0a001,
     58   0xffffffffffff0400, 0xffffffffffff0201,
     59   0xffffffffffef4400, 0xffffffffffef2201,
     60   0xffffffffffb1be00, 0xffffffffffb11f01,
     61   0xffffffffff73ba00, 0xffffffffff729d01,
     62   0xfffffffffff04000, 0xfffffffffff02001,
     63   0xffffffffffb2ba00, 0xffffffffffb21d01,
     64   0xffffffffff74b600, 0xffffffffff739b01,
     65   0xffffffffff363400, 0xffffffffff349a01,
     66   0xffffffffffc27a00, 0xffffffffffc1fd01,
     67   0xffffffffff847600, 0xffffffffff837b01,
     68   0xffffffffff45f400, 0xffffffffff447a01,
     69   0xffffffffc0476e00, 0xffffffffbfc5f701,
     70   0xffffffffffc1fc00, 0xffffffffffc17e01,
     71   0xffffffffff837a00, 0xffffffffff827d01,
     72   0xffffffffc084f400, 0xffffffffc003fa01,
     73   0xffffffff8185f000, 0xffffffff8084f801,
     74   0xffffffffffc17e00, 0xffffffffffc0ff01,
     75   0xffffffffc0c2f800, 0xffffffffc0427c01,
     76   0xffffffff81c3f400, 0xffffffff80c37a01,
     77   0xffffffff42c47200, 0xffffffff4143f901,
     78   0xffffffffc1017a00, 0xffffffffc0817d01,
     79   0xffffffff82027600, 0xffffffff81027b01,
     80   0xffffffff4302f400, 0xffffffff4182fa01,
     81   0xffffe6cc0fcfda00, 0xffffe698db1cad01,
     82   0xffffffffc100fc00, 0xffffffffc080fe01,
     83   0xffffffff82017a00, 0xffffffff81017d01,
     84   0xffffe6cc4ece6000, 0xffffe6991a9b3001,
     85   0xffffbccc4ece8a00, 0xffffbc43c5460501,
     86   0xffffffffc1007e00, 0xffffffffc0807f01,
     87   0xffffe6cc8dcd6400, 0xffffe6995a1a3201,
     88   0xffffbccc8dcd8e00, 0xffffbc4404c50701,
     89   0xffff7dcc8dcf0800, 0xffff7cc404c68401,
     90   0xffffe6cccccce600, 0xffffe6999999b301,
     91   0xffffbccccccd1000, 0xffffbc4444448801,
     92   0xffff7dccccce8a00, 0xffff7cc444460501,
     93   0xffff3ecccccf8600, 0xffff3d4444470301,
     94   0xffffd60000002a00, 0xffffd5aaaaaad501,
     95   0xffff97000001a400, 0xffff962aaaac5201,
     96   0xffff58000002a000, 0xffff56aaaaad5001,
     97   0xffff190000031e00, 0xffff172aaaadcf01,
     98   0xffffc10000017a00, 0xffffc08000017d01,
     99   0xffff820000027600, 0xffff810000027b01,
    100   0xffff43000002f400, 0xffff41800002fa01,
    101   0xffff04000002f400, 0xffff02000002fa01,
    102   0xffffc1000000fc00, 0xffffc0800000fe01,
    103   0xffff820000017a00, 0xffff810000017d01,
    104   0xffff430000017a00, 0xffff418000017d01,
    105   0xffff04000000fc00, 0xffff02000000fe01,
    106   0xffffc10000007e00, 0xffffc08000007f01,
    107   0xffff820000007e00, 0xffff810000007f01,
    108   0xffff430000000000, 0xffff418000000001,
    109   0xfffeef0000005400, 0xfffeecd55555aa01,
    110   0xffffc10000000000, 0xffffc08000000001,
    111   0xffff81ffffff8200, 0xffff80ffffff8101,
    112   0xffff2dffffffd600, 0xffff2c5555552b01,
    113   0xfffec93333336e00, 0xfffec6bbbbbbf701,
    114   0xffffc0ffffff8200, 0xffffc07fffff8101,
    115   0xffff6cffffffd600, 0xffff6bd555552b01,
    116   0xffff083333336e00, 0xffff063bbbbbf701,
    117   0xfffe8a3372336e00, 0xfffe873bfb3bf701,
    118   0xffffac0000005400, 0xffffab555555aa01,
    119   0xffff47333333ec00, 0xffff45bbbbbc7601,
    120   0xfffec9337233ec00, 0xfffec6bbfb3c7601,
    121   0xfffe4b33b1336e00, 0xfffe47bc3abbf701,
    122   0xffff9b3333339800, 0xffff9a666666cc01,
    123   0xffff1d3372339800, 0xffff1b66a5e6cc01,
    124   0xfffe9f33b1331a00, 0xfffe9c66e5664d01,
    125   0xfffe2133f0321e00, 0xfffe1d6724e54f01,
    126   0xffff82003f000000, 0xffff81003f800001,
    127   0xffff04007dff8200, 0xffff02007eff8101,
    128   0xfffe8600bcfe8600, 0xfffe8300be7e8301,
    129   0xfffe0800fbfd0c00, 0xfffe0400fdfd0601,
    130   0xffff82003eff8200, 0xffff81003f7f8101,
    131   0xffff04007dfe8600, 0xffff02007efe8301,
    132   0xfffe8600bcfd0c00, 0xfffe8300be7d0601,
    133   0xfffe0800bd3c0c00, 0xfffe0400bebc8601,
    134   0xffff82003eff0400, 0xffff81003f7f0201,
    135   0xffff04007dfd8a00, 0xffff02007efd8501,
    136   0xfffe86007e3c8a00, 0xfffe83007f3d0501,
    137   0xfffe08007e7b0c00, 0xfffe04007f7c0601,
    138   0xffff82003efe8600, 0xffff81003f7e8301,
    139   0xffff04003f3d8600, 0xffff02003fbe0301,
    140   0xfffe86003f7c0800, 0xfffe83003ffd0401,
    141   0xfffe08003fba0c00, 0xfffe0400403b8601,
    142   0xffff8200003f0000, 0xffff8100003f8001,
    143   0xffff0400007d8200, 0xffff0200007e8101,
    144   0xfffe860000bb8600, 0xfffe830000bd0301,
    145   0xfffe080000f90c00, 0xfffe040000fb0601,
    146   0xffff8200003e8200, 0xffff8100003f0101,
    147   0xffff0400007c8600, 0xffff0200007d8301,
    148   0xfffe860000ba0c00, 0xfffe830000bb8601,
    149   0xfffe080000c9cc00, 0xfffe040000cb6601,
    150   0xffff8200003e0400, 0xffff8100003e8201,
    151   0xffff0400007b8a00, 0xffff0200007c8501,
    152   0xfffe8600008b4a00, 0xfffe8300008c6501,
    153   0xfffe0800008cc400, 0xfffe0400008de201,
    154   0xffff8200003d8600, 0xffff8100003e0301,
    155   0xffff0400004d4600, 0xffff0200004de301,
    156   0xfffe8600004ec000, 0xfffe8300004f6001,
    157   0xfffe0800004fbc00, 0xfffe040000505e01,
    158   0xffff8200000fc000, 0xffff8100000fe001,
    159   0xffff040000113a00, 0xffff020000115d01,
    160   0xfffe860000123600, 0xfffe830000125b01,
    161   0xfffe08000012b400, 0xfffe04000012da01,
    162   0xffff810000017d00, 0xff800300017ff701,
    163   0xffff020000027b00, 0xff000600027ff101,
    164   0xfffe83000002fa00, 0xfe80090002ffee01,
    165   0xfffe83000002fa00, 0xfe80090002ffee01,
    166   0xffff81000000fe00, 0xff80030000fffa01,
    167   0xffff020000017d00, 0xff000600017ff701,
    168   0xffff020000017d00, 0xff000600017ff701,
    169   0xffff02000000fe00, 0xff00060000fffa01,
    170   0xffff810000007f00, 0xff800300007ffd01,
    171   0xffff810000007f00, 0xff800300007ffd01,
    172   0xffff810000000000, 0xff80030000000001,
    173   0xffff80ffffff0200, 0xff8002ffff000601,
    174   0x0000000000000000, 0x0000000000000001,
    175   0xffffffffffff8100, 0xffffffffff800301,
    176   0xfffffffffffe8300, 0xfffffffffe800901,
    177   0xffffffffffeea300, 0xffffffffee806901,
    178   0xffffffffffff8100, 0xffffffffff800301,
    179   0xfffffffffffe8300, 0xfffffffffe800901,
    180   0xffffffffffeea300, 0xffffffffee806901,
    181   0xffffffffffb0a000, 0xffffffffb001e001,
    182   0xffffffffffff0200, 0xffffffffff000601,
    183   0xffffffffffef2200, 0xffffffffef006601,
    184   0xffffffffffb11f00, 0xffffffffb081dd01,
    185   0xffffffffff729d00, 0xffffffff71835701,
    186   0xfffffffffff02000, 0xfffffffff0006001,
    187   0xffffffffffb21d00, 0xffffffffb181d701,
    188   0xffffffffff739b00, 0xffffffff72835101,
    189   0xffffffffff349a00, 0xffffffff3304ce01,
    190   0xffffffffffc1fd00, 0xffffffffc1817701,
    191   0xffffffffff837b00, 0xffffffff8282f101,
    192   0xffffffffff447a00, 0xffffffff43046e01,
    193   0xffffffffbfc5f700, 0xffffffbf46046501,
    194   0xffffffffffc17e00, 0xffffffffc1017a01,
    195   0xffffffffff827d00, 0xffffffff8182f701,
    196   0xffffffffc003fa00, 0xffffffbf8482ee01,
    197   0xffffffff8084f800, 0xffffff7f8702e801,
    198   0xffffffffffc0ff00, 0xffffffffc0817d01,
    199   0xffffffffc0427c00, 0xffffffbfc3817401,
    200   0xffffffff80c37a00, 0xffffff7fc6016e01,
    201   0xffffffff4143f900, 0xffffff3fc8016b01,
    202   0xffffffffc0817d00, 0xffffffc002fff701,
    203   0xffffffff81027b00, 0xffffff80057ff101,
    204   0xffffffff4182fa00, 0xffffff40077fee01,
    205   0xffffe698db1cad00, 0xffe6664007998701,
    206   0xffffffffc080fe00, 0xffffffc0027ffa01,
    207   0xffffffff81017d00, 0xffffff80047ff701,
    208   0xffffe6991a9b3000, 0xffe6668004999001,
    209   0xffffbc43c5460500, 0xffbbbcd55a198f01,
    210   0xffffffffc0807f00, 0xffffffc001fffd01,
    211   0xffffe6995a1a3200, 0xffe666c002199601,
    212   0xffffbc4404c50700, 0xffbbbd1557999501,
    213   0xffff7cc404c68400, 0xff7bbe9559198c01,
    214   0xffffe6999999b300, 0xffe6670000199901,
    215   0xffffbc4444448800, 0xffbbbd5555999801,
    216   0xffff7cc444460500, 0xff7bbed557198f01,
    217   0xffff3d4444470300, 0xff3bc05558198901,
    218   0xffffd5aaaaaad500, 0xffd55655557fff01,
    219   0xffff962aaaac5200, 0xff9557d556fff601,
    220   0xffff56aaaaad5000, 0xff55595557fff001,
    221   0xffff172aaaadcf00, 0xff155ad5587fed01,
    222   0xffffc08000017d00, 0xffc00180017ff701,
    223   0xffff810000027b00, 0xff800300027ff101,
    224   0xffff41800002fa00, 0xff40048002ffee01,
    225   0xffff02000002fa00, 0xff00060002ffee01,
    226   0xffffc0800000fe00, 0xffc0018000fffa01,
    227   0xffff810000017d00, 0xff800300017ff701,
    228   0xffff418000017d00, 0xff400480017ff701,
    229   0xffff02000000fe00, 0xff00060000fffa01,
    230   0xffffc08000007f00, 0xffc00180007ffd01,
    231   0xffff810000007f00, 0xff800300007ffd01,
    232   0xffff418000000000, 0xff40048000000001,
    233   0xfffeecd55555aa00, 0xfeeab12aaafffe01,
    234   0xffffc08000000000, 0xffc0018000000001,
    235   0xffff80ffffff8100, 0xff8002ffff800301,
    236   0xffff2c5555552b00, 0xff2aafaaaa800101,
    237   0xfffec6bbbbbbf700, 0xfec44baaaae66501,
    238   0xffffc07fffff8100, 0xffc0017fff800301,
    239   0xffff6bd555552b00, 0xff6aae2aaa800101,
    240   0xffff063bbbbbf700, 0xff044a2aaae66501,
    241   0xfffe873bfb3bf700, 0xfe844d6aa9666501,
    242   0xffffab555555aa00, 0xffaaacaaaafffe01,
    243   0xffff45bbbbbc7600, 0xff4448aaab666201,
    244   0xfffec6bbfb3c7600, 0xfec44beaa9e66201,
    245   0xfffe47bc3abbf700, 0xfe444f2aa7e66501,
    246   0xffff9a666666cc00, 0xff999c0000666401,
    247   0xffff1b66a5e6cc00, 0xff199f3ffee66401,
    248   0xfffe9c66e5664d00, 0xfe99a27ffce66701,
    249   0xfffe1d6724e54f00, 0xfe19a5bffa666d01,
    250   0xffff81003f800000, 0xff80033ffe800001,
    251   0xffff02007eff8100, 0xff00067ffc800301,
    252   0xfffe8300be7e8300, 0xfe8009bffa000901,
    253   0xfffe0400fdfd0600, 0xfe000cfff7001201,
    254   0xffff81003f7f8100, 0xff80033ffe000301,
    255   0xffff02007efe8300, 0xff00067ffb800901,
    256   0xfffe8300be7d0600, 0xfe8009bff8801201,
    257   0xfffe0400bebc8600, 0xfe000cc0387e9201,
    258   0xffff81003f7f0200, 0xff80033ffd800601,
    259   0xffff02007efd8500, 0xff00067ffa800f01,
    260   0xfffe83007f3d0500, 0xfe8009803a7e8f01,
    261   0xfffe04007f7c0600, 0xfe000c8079fd1201,
    262   0xffff81003f7e8300, 0xff80033ffd000901,
    263   0xffff02003fbe0300, 0xff0006403cfe8901,
    264   0xfffe83003ffd0400, 0xfe8009407c7d0c01,
    265   0xfffe0400403b8600, 0xfe000c40bb7b9201,
    266   0xffff8100003f8000, 0xff8003003ffe8001,
    267   0xffff0200007e8100, 0xff0006007f7d0301,
    268   0xfffe830000bd0300, 0xfe800900be7b8901,
    269   0xfffe040000fb0600, 0xfe000c00fcfa1201,
    270   0xffff8100003f0100, 0xff8003003f7e8301,
    271   0xffff0200007d8300, 0xff0006007e7d0901,
    272   0xfffe830000bb8600, 0xfe800900bcfb9201,
    273   0xfffe040000cb6600, 0xfe000c00ccfb3201,
    274   0xffff8100003e8200, 0xff8003003efe8601,
    275   0xffff0200007c8500, 0xff0006007d7d0f01,
    276   0xfffe8300008c6500, 0xfe8009008d7caf01,
    277   0xfffe0400008de200, 0xfe000c008efca601,
    278   0xffff8100003e0300, 0xff8003003e7e8901,
    279   0xffff0200004de300, 0xff0006004e7e2901,
    280   0xfffe8300004f6000, 0xfe8009004ffe2001,
    281   0xfffe040000505e00, 0xfe000c0050fe1a01,
    282   0xffff8100000fe000, 0xff8003000fffa001,
    283   0xffff020000115d00, 0xff000600117f9701,
    284   0xfffe830000125b00, 0xfe800900127f9101,
    285   0xfffe04000012da00, 0xfe000c0012ff8e01,
    286   0xff800300017ff700, 0x0000000000000001,
    287   0xff000600027ff100, 0x0000000000000001,
    288   0xfe80090002ffee00, 0x0000000000000001,
    289   0xfe80090002ffee00, 0x0000000000000001,
    290   0xff80030000fffa00, 0x0000000000000001,
    291   0xff000600017ff700, 0x0000000000000001,
    292   0xff000600017ff700, 0x0000000000000001,
    293   0xff00060000fffa00, 0x0000000000000001,
    294   0xff800300007ffd00, 0x0000000000000001,
    295   0xff800300007ffd00, 0x0000000000000001,
    296   0xff80030000000000, 0x0000000000000001,
    297   0xff8002ffff000600, 0x0000000000000001,
    298   0x0000000000000000, 0x0000000000000001,
    299   0xffffffffff800300, 0x0000000000000001,
    300   0xfffffffffe800900, 0x0000000000000001,
    301   0xffffffffee806900, 0x0000000000000001,
    302   0xffffffffff800300, 0x0000000000000001,
    303   0xfffffffffe800900, 0x0000000000000001,
    304   0xffffffffee806900, 0x0000000000000001,
    305   0xffffffffb001e000, 0x0000000000000001,
    306   0xffffffffff000600, 0x0000000000000001,
    307   0xffffffffef006600, 0x0000000000000001,
    308   0xffffffffb081dd00, 0x0000000000000001,
    309   0xffffffff71835700, 0x0000000000000001,
    310   0xfffffffff0006000, 0x0000000000000001,
    311   0xffffffffb181d700, 0x0000000000000001,
    312   0xffffffff72835100, 0x0000000000000001,
    313   0xffffffff3304ce00, 0x0000000000000001,
    314   0xffffffffc1817700, 0x0000000000000001,
    315   0xffffffff8282f100, 0x0000000000000001,
    316   0xffffffff43046e00, 0x0000000000000001,
    317   0xffffffbf46046500, 0x0000000000000001,
    318   0xffffffffc1017a00, 0x0000000000000001,
    319   0xffffffff8182f700, 0x0000000000000001,
    320   0xffffffbf8482ee00, 0x0000000000000001,
    321   0xffffff7f8702e800, 0x0000000000000001,
    322   0xffffffffc0817d00, 0x0000000000000001,
    323   0xffffffbfc3817400, 0x0000000000000001,
    324   0xffffff7fc6016e00, 0x0000000000000001,
    325   0xffffff3fc8016b00, 0x0000000000000001,
    326   0xffffffc002fff700, 0x0000000000000001,
    327   0xffffff80057ff100, 0x0000000000000001,
    328   0xffffff40077fee00, 0x0000000000000001,
    329   0xffe6664007998700, 0x0000000000000001,
    330   0xffffffc0027ffa00, 0x0000000000000001,
    331   0xffffff80047ff700, 0x0000000000000001,
    332   0xffe6668004999000, 0x0000000000000001,
    333   0xffbbbcd55a198f00, 0x0000000000000001,
    334   0xffffffc001fffd00, 0x0000000000000001,
    335   0xffe666c002199600, 0x0000000000000001,
    336   0xffbbbd1557999500, 0x0000000000000001,
    337   0xff7bbe9559198c00, 0x0000000000000001,
    338   0xffe6670000199900, 0x0000000000000001,
    339   0xffbbbd5555999800, 0x0000000000000001,
    340   0xff7bbed557198f00, 0x0000000000000001,
    341   0xff3bc05558198900, 0x0000000000000001,
    342   0xffd55655557fff00, 0x0000000000000001,
    343   0xff9557d556fff600, 0x0000000000000001,
    344   0xff55595557fff000, 0x0000000000000001,
    345   0xff155ad5587fed00, 0x0000000000000001,
    346   0xffc00180017ff700, 0x0000000000000001,
    347   0xff800300027ff100, 0x0000000000000001,
    348   0xff40048002ffee00, 0x0000000000000001,
    349   0xff00060002ffee00, 0x0000000000000001,
    350   0xffc0018000fffa00, 0x0000000000000001,
    351   0xff800300017ff700, 0x0000000000000001,
    352   0xff400480017ff700, 0x0000000000000001,
    353   0xff00060000fffa00, 0x0000000000000001,
    354   0xffc00180007ffd00, 0x0000000000000001,
    355   0xff800300007ffd00, 0x0000000000000001,
    356   0xff40048000000000, 0x0000000000000001,
    357   0xfeeab12aaafffe00, 0x0000000000000001,
    358   0xffc0018000000000, 0x0000000000000001,
    359   0xff8002ffff800300, 0x0000000000000001,
    360   0xff2aafaaaa800100, 0x0000000000000001,
    361   0xfec44baaaae66500, 0x0000000000000001,
    362   0xffc0017fff800300, 0x0000000000000001,
    363   0xff6aae2aaa800100, 0x0000000000000001,
    364   0xff044a2aaae66500, 0x0000000000000001,
    365   0xfe844d6aa9666500, 0x0000000000000001,
    366   0xffaaacaaaafffe00, 0x0000000000000001,
    367   0xff4448aaab666200, 0x0000000000000001,
    368   0xfec44beaa9e66200, 0x0000000000000001,
    369   0xfe444f2aa7e66500, 0x0000000000000001,
    370   0xff999c0000666400, 0x0000000000000001,
    371   0xff199f3ffee66400, 0x0000000000000001,
    372   0xfe99a27ffce66700, 0x0000000000000001,
    373   0xfe19a5bffa666d00, 0x0000000000000001,
    374   0xff80033ffe800000, 0x0000000000000001,
    375   0xff00067ffc800300, 0x0000000000000001,
    376   0xfe8009bffa000900, 0x0000000000000001,
    377   0xfe000cfff7001200, 0x0000000000000001,
    378   0xff80033ffe000300, 0x0000000000000001,
    379   0xff00067ffb800900, 0x0000000000000001,
    380   0xfe8009bff8801200, 0x0000000000000001,
    381   0xfe000cc0387e9200, 0x0000000000000001,
    382   0xff80033ffd800600, 0x0000000000000001,
    383   0xff00067ffa800f00, 0x0000000000000001,
    384   0xfe8009803a7e8f00, 0x0000000000000001,
    385   0xfe000c8079fd1200, 0x0000000000000001,
    386   0xff80033ffd000900, 0x0000000000000001,
    387   0xff0006403cfe8900, 0x0000000000000001,
    388   0xfe8009407c7d0c00, 0x0000000000000001,
    389   0xfe000c40bb7b9200, 0x0000000000000001,
    390   0xff8003003ffe8000, 0x0000000000000001,
    391   0xff0006007f7d0300, 0x0000000000000001,
    392   0xfe800900be7b8900, 0x0000000000000001,
    393   0xfe000c00fcfa1200, 0x0000000000000001,
    394   0xff8003003f7e8300, 0x0000000000000001,
    395   0xff0006007e7d0900, 0x0000000000000001,
    396   0xfe800900bcfb9200, 0x0000000000000001,
    397   0xfe000c00ccfb3200, 0x0000000000000001,
    398   0xff8003003efe8600, 0x0000000000000001,
    399   0xff0006007d7d0f00, 0x0000000000000001,
    400   0xfe8009008d7caf00, 0x0000000000000001,
    401   0xfe000c008efca600, 0x0000000000000001,
    402   0xff8003003e7e8900, 0x0000000000000001,
    403   0xff0006004e7e2900, 0x0000000000000001,
    404   0xfe8009004ffe2000, 0x0000000000000001,
    405   0xfe000c0050fe1a00, 0x0000000000000001,
    406   0xff8003000fffa000, 0x0000000000000001,
    407   0xff000600117f9700, 0x0000000000000001,
    408   0xfe800900127f9100, 0x0000000000000001,
    409   0xfe000c0012ff8e00, 0x0000000000000001,
    410   0x0000000000000000, 0xffffffff00000004,
    411   0x0000000000000000, 0xfffffffe00000006,
    412   0x0000000000000000, 0xfffffffd00000007,
    413   0x0000000000000000, 0xfffffffd00000007,
    414   0x0000000000000000, 0xffffffff00000003,
    415   0x0000000000000000, 0xfffffffe00000004,
    416   0x0000000000000000, 0xfffffffe00000004,
    417   0x0000000000000000, 0xfffffffe00000003,
    418   0x0000000000000000, 0xffffffff00000002,
    419   0x0000000000000000, 0xffffffff00000002,
    420   0x0000000000000000, 0xffffffff00000001,
    421   0x0000000000000000, 0xfffffffeffffffff,
    422   0x0000000000000000, 0x0000000000000001,
    423   0x0000000000000000, 0x0000000000000000,
    424   0x0000000000000000, 0xfffffffffffffffe,
    425   0x0000000000000000, 0xffffffffffffffde,
    426   0x0000000000000000, 0x0000000000000000,
    427   0x0000000000000000, 0xfffffffffffffffe,
    428   0x0000000000000000, 0xffffffffffffffde,
    429   0x0000000000000000, 0xffffffffffffff61,
    430   0x0000000000000000, 0xffffffffffffffff,
    431   0x0000000000000000, 0xffffffffffffffdf,
    432   0x0000000000000000, 0xffffffffffffff62,
    433   0x0000000000000000, 0xfffffffffffffee4,
    434   0x0000000000000000, 0xffffffffffffffe1,
    435   0x0000000000000000, 0xffffffffffffff64,
    436   0x0000000000000000, 0xfffffffffffffee6,
    437   0x0000000000000000, 0xfffffffffffffe67,
    438   0x0000000000000000, 0xffffffffffffff84,
    439   0x0000000000000000, 0xffffffffffffff06,
    440   0x0000000000000000, 0xfffffffffffffe87,
    441   0x0000000000000000, 0xffffffffffff7e8a,
    442   0x0000000000000000, 0xffffffffffffff83,
    443   0x0000000000000000, 0xffffffffffffff04,
    444   0x0000000000000000, 0xffffffffffff7f07,
    445   0x0000000000000000, 0xfffffffffffeff09,
    446   0x0000000000000000, 0xffffffffffffff82,
    447   0x0000000000000000, 0xffffffffffff7f85,
    448   0x0000000000000000, 0xfffffffffffeff87,
    449   0x0000000000000000, 0xfffffffffffe7f88,
    450   0x0000000000000000, 0xffffffffffff8004,
    451   0x0000000000000000, 0xffffffffffff0006,
    452   0x0000000000000000, 0xfffffffffffe8007,
    453   0x0000000000000000, 0xffffffffcccb4cd4,
    454   0x0000000000000000, 0xffffffffffff8003,
    455   0x0000000000000000, 0xffffffffffff0004,
    456   0x0000000000000000, 0xffffffffcccbccd1,
    457   0x0000000000000000, 0xffffffff7776777c,
    458   0x0000000000000000, 0xffffffffffff8002,
    459   0x0000000000000000, 0xffffffffcccc4ccf,
    460   0x0000000000000000, 0xffffffff7776f77a,
    461   0x0000000000000000, 0xfffffffef776f77d,
    462   0x0000000000000000, 0xffffffffccccccce,
    463   0x0000000000000000, 0xffffffff77777779,
    464   0x0000000000000000, 0xfffffffef777777c,
    465   0x0000000000000000, 0xfffffffe7777777e,
    466   0x0000000000000000, 0xffffffffaaaaaaac,
    467   0x0000000000000000, 0xffffffff2aaaaaaf,
    468   0x0000000000000000, 0xfffffffeaaaaaab1,
    469   0x0000000000000000, 0xfffffffe2aaaaab2,
    470   0x0000000000000000, 0xffffffff80000004,
    471   0x0000000000000000, 0xffffffff00000006,
    472   0x0000000000000000, 0xfffffffe80000007,
    473   0x0000000000000000, 0xfffffffe00000007,
    474   0x0000000000000000, 0xffffffff80000003,
    475   0x0000000000000000, 0xffffffff00000004,
    476   0x0000000000000000, 0xfffffffe80000004,
    477   0x0000000000000000, 0xfffffffe00000003,
    478   0x0000000000000000, 0xffffffff80000002,
    479   0x0000000000000000, 0xffffffff00000002,
    480   0x0000000000000000, 0xfffffffe80000001,
    481   0x0000000000000000, 0xfffffffdd5555557,
    482   0x0000000000000000, 0xffffffff80000001,
    483   0x0000000000000000, 0xffffffff00000000,
    484   0x0000000000000000, 0xfffffffe55555556,
    485   0x0000000000000000, 0xfffffffd8888888a,
    486   0x0000000000000000, 0xffffffff80000000,
    487   0x0000000000000000, 0xfffffffed5555556,
    488   0x0000000000000000, 0xfffffffe0888888a,
    489   0x0000000000000000, 0xfffffffd0889088a,
    490   0x0000000000000000, 0xffffffff55555557,
    491   0x0000000000000000, 0xfffffffe8888888b,
    492   0x0000000000000000, 0xfffffffd8889088b,
    493   0x0000000000000000, 0xfffffffc8889888a,
    494   0x0000000000000000, 0xffffffff33333335,
    495   0x0000000000000000, 0xfffffffe3333b335,
    496   0x0000000000000000, 0xfffffffd33343334,
    497   0x0000000000000000, 0xfffffffc3334b332,
    498   0x0000000000000000, 0xffffffff00008001,
    499   0x0000000000000000, 0xfffffffe00010000,
    500   0x0000000000000000, 0xfffffffd00017ffe,
    501   0x0000000000000000, 0xfffffffc0001fffb,
    502   0x0000000000000000, 0xffffffff00008000,
    503   0x0000000000000000, 0xfffffffe0000fffe,
    504   0x0000000000000000, 0xfffffffd00017ffb,
    505   0x0000000000000000, 0xfffffffc0001807b,
    506   0x0000000000000000, 0xffffffff00007fff,
    507   0x0000000000000000, 0xfffffffe0000fffc,
    508   0x0000000000000000, 0xfffffffd0001007c,
    509   0x0000000000000000, 0xfffffffc000100fb,
    510   0x0000000000000000, 0xffffffff00007ffe,
    511   0x0000000000000000, 0xfffffffe0000807e,
    512   0x0000000000000000, 0xfffffffd000080fd,
    513   0x0000000000000000, 0xfffffffc0000817b,
    514   0x0000000000000000, 0xffffffff00000081,
    515   0x0000000000000000, 0xfffffffe00000100,
    516   0x0000000000000000, 0xfffffffd0000017e,
    517   0x0000000000000000, 0xfffffffc000001fb,
    518   0x0000000000000000, 0xffffffff00000080,
    519   0x0000000000000000, 0xfffffffe000000fe,
    520   0x0000000000000000, 0xfffffffd0000017b,
    521   0x0000000000000000, 0xfffffffc0000019b,
    522   0x0000000000000000, 0xffffffff0000007f,
    523   0x0000000000000000, 0xfffffffe000000fc,
    524   0x0000000000000000, 0xfffffffd0000011c,
    525   0x0000000000000000, 0xfffffffc0000011f,
    526   0x0000000000000000, 0xffffffff0000007e,
    527   0x0000000000000000, 0xfffffffe0000009e,
    528   0x0000000000000000, 0xfffffffd000000a1,
    529   0x0000000000000000, 0xfffffffc000000a3,
    530   0x0000000000000000, 0xffffffff00000021,
    531   0x0000000000000000, 0xfffffffe00000024,
    532   0x0000000000000000, 0xfffffffd00000026,
    533   0x0000000000000000, 0xfffffffc00000027,
    534   0xffffffff00000003, 0xfffffffe00000007,
    535   0xfffffffe00000005, 0xfffffffc0000000b,
    536   0xfffffffd00000006, 0xfffffffa0000000d,
    537   0xfffffffd00000006, 0xfffffffa0000000d,
    538   0xffffffff00000002, 0xfffffffe00000005,
    539   0xfffffffe00000003, 0xfffffffc00000007,
    540   0xfffffffe00000003, 0xfffffffc00000007,
    541   0xfffffffe00000002, 0xfffffffc00000005,
    542   0xffffffff00000001, 0xfffffffe00000003,
    543   0xffffffff00000001, 0xfffffffe00000003,
    544   0xffffffff00000000, 0xfffffffe00000001,
    545   0xfffffffefffffffe, 0xfffffffdfffffffd,
    546   0x0000000000000000, 0x0000000000000001,
    547   0xffffffffffffffff, 0xffffffffffffffff,
    548   0xfffffffffffffffd, 0xfffffffffffffffb,
    549   0xffffffffffffffdd, 0xffffffffffffffbb,
    550   0xffffffffffffffff, 0xffffffffffffffff,
    551   0xfffffffffffffffd, 0xfffffffffffffffb,
    552   0xffffffffffffffdd, 0xffffffffffffffbb,
    553   0xffffffffffffff60, 0xfffffffffffffec1,
    554   0xfffffffffffffffe, 0xfffffffffffffffd,
    555   0xffffffffffffffde, 0xffffffffffffffbd,
    556   0xffffffffffffff61, 0xfffffffffffffec3,
    557   0xfffffffffffffee3, 0xfffffffffffffdc7,
    558   0xffffffffffffffe0, 0xffffffffffffffc1,
    559   0xffffffffffffff63, 0xfffffffffffffec7,
    560   0xfffffffffffffee5, 0xfffffffffffffdcb,
    561   0xfffffffffffffe66, 0xfffffffffffffccd,
    562   0xffffffffffffff83, 0xffffffffffffff07,
    563   0xffffffffffffff05, 0xfffffffffffffe0b,
    564   0xfffffffffffffe86, 0xfffffffffffffd0d,
    565   0xffffffffffff7e89, 0xfffffffffffefd13,
    566   0xffffffffffffff82, 0xffffffffffffff05,
    567   0xffffffffffffff03, 0xfffffffffffffe07,
    568   0xffffffffffff7f06, 0xfffffffffffefe0d,
    569   0xfffffffffffeff08, 0xfffffffffffdfe11,
    570   0xffffffffffffff81, 0xffffffffffffff03,
    571   0xffffffffffff7f84, 0xfffffffffffeff09,
    572   0xfffffffffffeff86, 0xfffffffffffdff0d,
    573   0xfffffffffffe7f87, 0xfffffffffffcff0f,
    574   0xffffffffffff8003, 0xffffffffffff0007,
    575   0xffffffffffff0005, 0xfffffffffffe000b,
    576   0xfffffffffffe8006, 0xfffffffffffd000d,
    577   0xffffffffcccb4cd3, 0xffffffff999699a7,
    578   0xffffffffffff8002, 0xffffffffffff0005,
    579   0xffffffffffff0003, 0xfffffffffffe0007,
    580   0xffffffffcccbccd0, 0xffffffff999799a1,
    581   0xffffffff7776777b, 0xfffffffeeeeceef7,
    582   0xffffffffffff8001, 0xffffffffffff0003,
    583   0xffffffffcccc4cce, 0xffffffff9998999d,
    584   0xffffffff7776f779, 0xfffffffeeeedeef3,
    585   0xfffffffef776f77c, 0xfffffffdeeedeef9,
    586   0xffffffffcccccccd, 0xffffffff9999999b,
    587   0xffffffff77777778, 0xfffffffeeeeeeef1,
    588   0xfffffffef777777b, 0xfffffffdeeeeeef7,
    589   0xfffffffe7777777d, 0xfffffffceeeeeefb,
    590   0xffffffffaaaaaaab, 0xffffffff55555557,
    591   0xffffffff2aaaaaae, 0xfffffffe5555555d,
    592   0xfffffffeaaaaaab0, 0xfffffffd55555561,
    593   0xfffffffe2aaaaab1, 0xfffffffc55555563,
    594   0xffffffff80000003, 0xffffffff00000007,
    595   0xffffffff00000005, 0xfffffffe0000000b,
    596   0xfffffffe80000006, 0xfffffffd0000000d,
    597   0xfffffffe00000006, 0xfffffffc0000000d,
    598   0xffffffff80000002, 0xffffffff00000005,
    599   0xffffffff00000003, 0xfffffffe00000007,
    600   0xfffffffe80000003, 0xfffffffd00000007,
    601   0xfffffffe00000002, 0xfffffffc00000005,
    602   0xffffffff80000001, 0xffffffff00000003,
    603   0xffffffff00000001, 0xfffffffe00000003,
    604   0xfffffffe80000000, 0xfffffffd00000001,
    605   0xfffffffdd5555556, 0xfffffffbaaaaaaad,
    606   0xffffffff80000000, 0xffffffff00000001,
    607   0xfffffffeffffffff, 0xfffffffdffffffff,
    608   0xfffffffe55555555, 0xfffffffcaaaaaaab,
    609   0xfffffffd88888889, 0xfffffffb11111113,
    610   0xffffffff7fffffff, 0xfffffffeffffffff,
    611   0xfffffffed5555555, 0xfffffffdaaaaaaab,
    612   0xfffffffe08888889, 0xfffffffc11111113,
    613   0xfffffffd08890889, 0xfffffffa11121113,
    614   0xffffffff55555556, 0xfffffffeaaaaaaad,
    615   0xfffffffe8888888a, 0xfffffffd11111115,
    616   0xfffffffd8889088a, 0xfffffffb11121115,
    617   0xfffffffc88898889, 0xfffffff911131113,
    618   0xffffffff33333334, 0xfffffffe66666669,
    619   0xfffffffe3333b334, 0xfffffffc66676669,
    620   0xfffffffd33343333, 0xfffffffa66686667,
    621   0xfffffffc3334b331, 0xfffffff866696663,
    622   0xffffffff00008000, 0xfffffffe00010001,
    623   0xfffffffe0000ffff, 0xfffffffc0001ffff,
    624   0xfffffffd00017ffd, 0xfffffffa0002fffb,
    625   0xfffffffc0001fffa, 0xfffffff80003fff5,
    626   0xffffffff00007fff, 0xfffffffe0000ffff,
    627   0xfffffffe0000fffd, 0xfffffffc0001fffb,
    628   0xfffffffd00017ffa, 0xfffffffa0002fff5,
    629   0xfffffffc0001807a, 0xfffffff8000300f5,
    630   0xffffffff00007ffe, 0xfffffffe0000fffd,
    631   0xfffffffe0000fffb, 0xfffffffc0001fff7,
    632   0xfffffffd0001007b, 0xfffffffa000200f7,
    633   0xfffffffc000100fa, 0xfffffff8000201f5,
    634   0xffffffff00007ffd, 0xfffffffe0000fffb,
    635   0xfffffffe0000807d, 0xfffffffc000100fb,
    636   0xfffffffd000080fc, 0xfffffffa000101f9,
    637   0xfffffffc0000817a, 0xfffffff8000102f5,
    638   0xffffffff00000080, 0xfffffffe00000101,
    639   0xfffffffe000000ff, 0xfffffffc000001ff,
    640   0xfffffffd0000017d, 0xfffffffa000002fb,
    641   0xfffffffc000001fa, 0xfffffff8000003f5,
    642   0xffffffff0000007f, 0xfffffffe000000ff,
    643   0xfffffffe000000fd, 0xfffffffc000001fb,
    644   0xfffffffd0000017a, 0xfffffffa000002f5,
    645   0xfffffffc0000019a, 0xfffffff800000335,
    646   0xffffffff0000007e, 0xfffffffe000000fd,
    647   0xfffffffe000000fb, 0xfffffffc000001f7,
    648   0xfffffffd0000011b, 0xfffffffa00000237,
    649   0xfffffffc0000011e, 0xfffffff80000023d,
    650   0xffffffff0000007d, 0xfffffffe000000fb,
    651   0xfffffffe0000009d, 0xfffffffc0000013b,
    652   0xfffffffd000000a0, 0xfffffffa00000141,
    653   0xfffffffc000000a2, 0xfffffff800000145,
    654   0xffffffff00000020, 0xfffffffe00000041,
    655   0xfffffffe00000023, 0xfffffffc00000047,
    656   0xfffffffd00000025, 0xfffffffa0000004b,
    657   0xfffffffc00000026, 0xfffffff80000004d,
    658   0xfffffffe00000006, 0xffffffe000000061,
    659   0xfffffffc0000000a, 0xffffffc0000000a1,
    660   0xfffffffa0000000c, 0xffffffa0000000c1,
    661   0xfffffffa0000000c, 0xffffffa0000000c1,
    662   0xfffffffe00000004, 0xffffffe000000041,
    663   0xfffffffc00000006, 0xffffffc000000061,
    664   0xfffffffc00000006, 0xffffffc000000061,
    665   0xfffffffc00000004, 0xffffffc000000041,
    666   0xfffffffe00000002, 0xffffffe000000021,
    667   0xfffffffe00000002, 0xffffffe000000021,
    668   0xfffffffe00000000, 0xffffffe000000001,
    669   0xfffffffdfffffffc, 0xffffffdfffffffc1,
    670   0x0000000000000000, 0x0000000000000001,
    671   0xfffffffffffffffe, 0xffffffffffffffe1,
    672   0xfffffffffffffffa, 0xffffffffffffffa1,
    673   0xffffffffffffffba, 0xfffffffffffffba1,
    674   0xfffffffffffffffe, 0xffffffffffffffe1,
    675   0xfffffffffffffffa, 0xffffffffffffffa1,
    676   0xffffffffffffffba, 0xfffffffffffffba1,
    677   0xfffffffffffffec0, 0xffffffffffffec01,
    678   0xfffffffffffffffc, 0xffffffffffffffc1,
    679   0xffffffffffffffbc, 0xfffffffffffffbc1,
    680   0xfffffffffffffec2, 0xffffffffffffec21,
    681   0xfffffffffffffdc6, 0xffffffffffffdc61,
    682   0xffffffffffffffc0, 0xfffffffffffffc01,
    683   0xfffffffffffffec6, 0xffffffffffffec61,
    684   0xfffffffffffffdca, 0xffffffffffffdca1,
    685   0xfffffffffffffccc, 0xffffffffffffccc1,
    686   0xffffffffffffff06, 0xfffffffffffff061,
    687   0xfffffffffffffe0a, 0xffffffffffffe0a1,
    688   0xfffffffffffffd0c, 0xffffffffffffd0c1,
    689   0xfffffffffffefd12, 0xffffffffffefd121,
    690   0xffffffffffffff04, 0xfffffffffffff041,
    691   0xfffffffffffffe06, 0xffffffffffffe061,
    692   0xfffffffffffefe0c, 0xffffffffffefe0c1,
    693   0xfffffffffffdfe10, 0xffffffffffdfe101,
    694   0xffffffffffffff02, 0xfffffffffffff021,
    695   0xfffffffffffeff08, 0xffffffffffeff081,
    696   0xfffffffffffdff0c, 0xffffffffffdff0c1,
    697   0xfffffffffffcff0e, 0xffffffffffcff0e1,
    698   0xffffffffffff0006, 0xfffffffffff00061,
    699   0xfffffffffffe000a, 0xffffffffffe000a1,
    700   0xfffffffffffd000c, 0xffffffffffd000c1,
    701   0xffffffff999699a6, 0xfffffff999699a61,
    702   0xffffffffffff0004, 0xfffffffffff00041,
    703   0xfffffffffffe0006, 0xffffffffffe00061,
    704   0xffffffff999799a0, 0xfffffff999799a01,
    705   0xfffffffeeeeceef6, 0xffffffeeeeceef61,
    706   0xffffffffffff0002, 0xfffffffffff00021,
    707   0xffffffff9998999c, 0xfffffff9998999c1,
    708   0xfffffffeeeedeef2, 0xffffffeeeedeef21,
    709   0xfffffffdeeedeef8, 0xffffffdeeedeef81,
    710   0xffffffff9999999a, 0xfffffff9999999a1,
    711   0xfffffffeeeeeeef0, 0xffffffeeeeeeef01,
    712   0xfffffffdeeeeeef6, 0xffffffdeeeeeef61,
    713   0xfffffffceeeeeefa, 0xffffffceeeeeefa1,
    714   0xffffffff55555556, 0xfffffff555555561,
    715   0xfffffffe5555555c, 0xffffffe5555555c1,
    716   0xfffffffd55555560, 0xffffffd555555601,
    717   0xfffffffc55555562, 0xffffffc555555621,
    718   0xffffffff00000006, 0xfffffff000000061,
    719   0xfffffffe0000000a, 0xffffffe0000000a1,
    720   0xfffffffd0000000c, 0xffffffd0000000c1,
    721   0xfffffffc0000000c, 0xffffffc0000000c1,
    722   0xffffffff00000004, 0xfffffff000000041,
    723   0xfffffffe00000006, 0xffffffe000000061,
    724   0xfffffffd00000006, 0xffffffd000000061,
    725   0xfffffffc00000004, 0xffffffc000000041,
    726   0xffffffff00000002, 0xfffffff000000021,
    727   0xfffffffe00000002, 0xffffffe000000021,
    728   0xfffffffd00000000, 0xffffffd000000001,
    729   0xfffffffbaaaaaaac, 0xffffffbaaaaaaac1,
    730   0xffffffff00000000, 0xfffffff000000001,
    731   0xfffffffdfffffffe, 0xffffffdfffffffe1,
    732   0xfffffffcaaaaaaaa, 0xffffffcaaaaaaaa1,
    733   0xfffffffb11111112, 0xffffffb111111121,
    734   0xfffffffefffffffe, 0xffffffefffffffe1,
    735   0xfffffffdaaaaaaaa, 0xffffffdaaaaaaaa1,
    736   0xfffffffc11111112, 0xffffffc111111121,
    737   0xfffffffa11121112, 0xffffffa111211121,
    738   0xfffffffeaaaaaaac, 0xffffffeaaaaaaac1,
    739   0xfffffffd11111114, 0xffffffd111111141,
    740   0xfffffffb11121114, 0xffffffb111211141,
    741   0xfffffff911131112, 0xffffff9111311121,
    742   0xfffffffe66666668, 0xffffffe666666681,
    743   0xfffffffc66676668, 0xffffffc666766681,
    744   0xfffffffa66686666, 0xffffffa666866661,
    745   0xfffffff866696662, 0xffffff8666966621,
    746   0xfffffffe00010000, 0xffffffe000100001,
    747   0xfffffffc0001fffe, 0xffffffc0001fffe1,
    748   0xfffffffa0002fffa, 0xffffffa0002fffa1,
    749   0xfffffff80003fff4, 0xffffff80003fff41,
    750   0xfffffffe0000fffe, 0xffffffe0000fffe1,
    751   0xfffffffc0001fffa, 0xffffffc0001fffa1,
    752   0xfffffffa0002fff4, 0xffffffa0002fff41,
    753   0xfffffff8000300f4, 0xffffff8000300f41,
    754   0xfffffffe0000fffc, 0xffffffe0000fffc1,
    755   0xfffffffc0001fff6, 0xffffffc0001fff61,
    756   0xfffffffa000200f6, 0xffffffa000200f61,
    757   0xfffffff8000201f4, 0xffffff8000201f41,
    758   0xfffffffe0000fffa, 0xffffffe0000fffa1,
    759   0xfffffffc000100fa, 0xffffffc000100fa1,
    760   0xfffffffa000101f8, 0xffffffa000101f81,
    761   0xfffffff8000102f4, 0xffffff8000102f41,
    762   0xfffffffe00000100, 0xffffffe000001001,
    763   0xfffffffc000001fe, 0xffffffc000001fe1,
    764   0xfffffffa000002fa, 0xffffffa000002fa1,
    765   0xfffffff8000003f4, 0xffffff8000003f41,
    766   0xfffffffe000000fe, 0xffffffe000000fe1,
    767   0xfffffffc000001fa, 0xffffffc000001fa1,
    768   0xfffffffa000002f4, 0xffffffa000002f41,
    769   0xfffffff800000334, 0xffffff8000003341,
    770   0xfffffffe000000fc, 0xffffffe000000fc1,
    771   0xfffffffc000001f6, 0xffffffc000001f61,
    772   0xfffffffa00000236, 0xffffffa000002361,
    773   0xfffffff80000023c, 0xffffff80000023c1,
    774   0xfffffffe000000fa, 0xffffffe000000fa1,
    775   0xfffffffc0000013a, 0xffffffc0000013a1,
    776   0xfffffffa00000140, 0xffffffa000001401,
    777   0xfffffff800000144, 0xffffff8000001441,
    778   0xfffffffe00000040, 0xffffffe000000401,
    779   0xfffffffc00000046, 0xffffffc000000461,
    780   0xfffffffa0000004a, 0xffffffa0000004a1,
    781   0xfffffff80000004c, 0xffffff80000004c1,
    782   0xffffffe000000060, 0xffffff8300000178,
    783   0xffffffc0000000a0, 0xffffff0600000272,
    784   0xffffffa0000000c0, 0xfffffe89000002ef,
    785   0xffffffa0000000c0, 0xfffffe89000002ef,
    786   0xffffffe000000040, 0xffffff83000000fb,
    787   0xffffffc000000060, 0xffffff0600000178,
    788   0xffffffc000000060, 0xffffff0600000178,
    789   0xffffffc000000040, 0xffffff06000000fb,
    790   0xffffffe000000020, 0xffffff830000007e,
    791   0xffffffe000000020, 0xffffff830000007e,
    792   0xffffffe000000000, 0xffffff8300000001,
    793   0xffffffdfffffffc0, 0xffffff82ffffff07,
    794   0x0000000000000000, 0x0000000000000001,
    795   0xffffffffffffffe0, 0xffffffffffffff84,
    796   0xffffffffffffffa0, 0xfffffffffffffe8a,
    797   0xfffffffffffffba0, 0xffffffffffffeeea,
    798   0xffffffffffffffe0, 0xffffffffffffff84,
    799   0xffffffffffffffa0, 0xfffffffffffffe8a,
    800   0xfffffffffffffba0, 0xffffffffffffeeea,
    801   0xffffffffffffec00, 0xffffffffffffb1e1,
    802   0xffffffffffffffc0, 0xffffffffffffff07,
    803   0xfffffffffffffbc0, 0xffffffffffffef67,
    804   0xffffffffffffec20, 0xffffffffffffb25e,
    805   0xffffffffffffdc60, 0xffffffffffff74d8,
    806   0xfffffffffffffc00, 0xfffffffffffff061,
    807   0xffffffffffffec60, 0xffffffffffffb358,
    808   0xffffffffffffdca0, 0xffffffffffff75d2,
    809   0xffffffffffffccc0, 0xffffffffffff37cf,
    810   0xfffffffffffff060, 0xffffffffffffc2f8,
    811   0xffffffffffffe0a0, 0xffffffffffff8572,
    812   0xffffffffffffd0c0, 0xffffffffffff476f,
    813   0xffffffffffefd120, 0xffffffffffc0c8e6,
    814   0xfffffffffffff040, 0xffffffffffffc27b,
    815   0xffffffffffffe060, 0xffffffffffff8478,
    816   0xffffffffffefe0c0, 0xffffffffffc105ef,
    817   0xffffffffffdfe100, 0xffffffffff8286e9,
    818   0xfffffffffffff020, 0xffffffffffffc1fe,
    819   0xffffffffffeff080, 0xffffffffffc14375,
    820   0xffffffffffdff0c0, 0xffffffffff82c46f,
    821   0xffffffffffcff0e0, 0xffffffffff4444ec,
    822   0xfffffffffff00060, 0xffffffffffc18178,
    823   0xffffffffffe000a0, 0xffffffffff830272,
    824   0xffffffffffd000c0, 0xffffffffff4482ef,
    825   0xfffffff999699a60, 0xffffffe6ff448308,
    826   0xfffffffffff00040, 0xffffffffffc180fb,
    827   0xffffffffffe00060, 0xffffffffff830178,
    828   0xfffffff999799a00, 0xffffffe6ff830191,
    829   0xffffffeeeeceef60, 0xffffffbd54d85710,
    830   0xfffffffffff00020, 0xffffffffffc1807e,
    831   0xfffffff9998999c0, 0xffffffe6ffc18097,
    832   0xffffffeeeedeef20, 0xffffffbd5516d616,
    833   0xffffffdeeedeef80, 0xffffff7ed516d78d,
    834   0xfffffff9999999a0, 0xffffffe70000001a,
    835   0xffffffeeeeeeef00, 0xffffffbd55555599,
    836   0xffffffdeeeeeef60, 0xffffff7ed5555710,
    837   0xffffffceeeeeefa0, 0xffffff405555580a,
    838   0xfffffff555555560, 0xffffffd655555580,
    839   0xffffffe5555555c0, 0xffffff97d55556f7,
    840   0xffffffd555555600, 0xffffff59555557f1,
    841   0xffffffc555555620, 0xffffff1ad555586e,
    842   0xfffffff000000060, 0xffffffc180000178,
    843   0xffffffe0000000a0, 0xffffff8300000272,
    844   0xffffffd0000000c0, 0xffffff44800002ef,
    845   0xffffffc0000000c0, 0xffffff06000002ef,
    846   0xfffffff000000040, 0xffffffc1800000fb,
    847   0xffffffe000000060, 0xffffff8300000178,
    848   0xffffffd000000060, 0xffffff4480000178,
    849   0xffffffc000000040, 0xffffff06000000fb,
    850   0xfffffff000000020, 0xffffffc18000007e,
    851   0xffffffe000000020, 0xffffff830000007e,
    852   0xffffffd000000000, 0xffffff4480000001,
    853   0xffffffbaaaaaaac0, 0xfffffef12aaaaaff,
    854   0xfffffff000000000, 0xffffffc180000001,
    855   0xffffffdfffffffe0, 0xffffff82ffffff84,
    856   0xffffffcaaaaaaaa0, 0xffffff2faaaaaa82,
    857   0xffffffb111111120, 0xfffffecbaaaaaae6,
    858   0xffffffefffffffe0, 0xffffffc17fffff84,
    859   0xffffffdaaaaaaaa0, 0xffffff6e2aaaaa82,
    860   0xffffffc111111120, 0xffffff0a2aaaaae6,
    861   0xffffffa111211120, 0xfffffe8d2ae92ae6,
    862   0xffffffeaaaaaaac0, 0xffffffacaaaaaaff,
    863   0xffffffd111111140, 0xffffff48aaaaab63,
    864   0xffffffb111211140, 0xfffffecbaae92b63,
    865   0xffffff9111311120, 0xfffffe4eab27aae6,
    866   0xffffffe666666680, 0xffffff9c00000065,
    867   0xffffffc666766680, 0xffffff1f003e8065,
    868   0xffffffa666866660, 0xfffffea2007cffe8,
    869   0xffffff8666966620, 0xfffffe2500bb7eee,
    870   0xffffffe000100000, 0xffffff83003e8001,
    871   0xffffffc0001fffe0, 0xffffff06007cff84,
    872   0xffffffa0002fffa0, 0xfffffe8900bb7e8a,
    873   0xffffff80003fff40, 0xfffffe0c00f9fd13,
    874   0xffffffe0000fffe0, 0xffffff83003e7f84,
    875   0xffffffc0001fffa0, 0xffffff06007cfe8a,
    876   0xffffffa0002fff40, 0xfffffe8900bb7d13,
    877   0xffffff8000300f40, 0xfffffe0c00bbbb93,
    878   0xffffffe0000fffc0, 0xffffff83003e7f07,
    879   0xffffffc0001fff60, 0xffffff06007cfd90,
    880   0xffffffa000200f60, 0xfffffe89007d3c10,
    881   0xffffff8000201f40, 0xfffffe0c007d7a13,
    882   0xffffffe0000fffa0, 0xffffff83003e7e8a,
    883   0xffffffc000100fa0, 0xffffff06003ebd0a,
    884   0xffffffa000101f80, 0xfffffe89003efb0d,
    885   0xffffff8000102f40, 0xfffffe0c003f3893,
    886   0xffffffe000001000, 0xffffff8300003e81,
    887   0xffffffc000001fe0, 0xffffff0600007c84,
    888   0xffffffa000002fa0, 0xfffffe890000ba0a,
    889   0xffffff8000003f40, 0xfffffe0c0000f713,
    890   0xffffffe000000fe0, 0xffffff8300003e04,
    891   0xffffffc000001fa0, 0xffffff0600007b8a,
    892   0xffffffa000002f40, 0xfffffe890000b893,
    893   0xffffff8000003340, 0xfffffe0c0000c833,
    894   0xffffffe000000fc0, 0xffffff8300003d87,
    895   0xffffffc000001f60, 0xffffff0600007a90,
    896   0xffffffa000002360, 0xfffffe8900008a30,
    897   0xffffff80000023c0, 0xfffffe0c00008ba7,
    898   0xffffffe000000fa0, 0xffffff8300003d0a,
    899   0xffffffc0000013a0, 0xffffff0600004caa,
    900   0xffffffa000001400, 0xfffffe8900004e21,
    901   0xffffff8000001440, 0xfffffe0c00004f1b,
    902   0xffffffe000000400, 0xffffff8300000fa1,
    903   0xffffffc000000460, 0xffffff0600001118,
    904   0xffffffa0000004a0, 0xfffffe8900001212,
    905   0xffffff80000004c0, 0xfffffe0c0000128f,
    906   0xffffff8300000177, 0xffffff820000017b,
    907   0xffffff0600000271, 0xffffff0400000277,
    908   0xfffffe89000002ee, 0xfffffe86000002f5,
    909   0xfffffe89000002ee, 0xfffffe86000002f5,
    910   0xffffff83000000fa, 0xffffff82000000fd,
    911   0xffffff0600000177, 0xffffff040000017b,
    912   0xffffff0600000177, 0xffffff040000017b,
    913   0xffffff06000000fa, 0xffffff04000000fd,
    914   0xffffff830000007d, 0xffffff820000007f,
    915   0xffffff830000007d, 0xffffff820000007f,
    916   0xffffff8300000000, 0xffffff8200000001,
    917   0xffffff82ffffff06, 0xffffff81ffffff05,
    918   0x0000000000000000, 0x0000000000000001,
    919   0xffffffffffffff83, 0xffffffffffffff83,
    920   0xfffffffffffffe89, 0xfffffffffffffe87,
    921   0xffffffffffffeee9, 0xffffffffffffeec7,
    922   0xffffffffffffff83, 0xffffffffffffff83,
    923   0xfffffffffffffe89, 0xfffffffffffffe87,
    924   0xffffffffffffeee9, 0xffffffffffffeec7,
    925   0xffffffffffffb1e0, 0xffffffffffffb141,
    926   0xffffffffffffff06, 0xffffffffffffff05,
    927   0xffffffffffffef66, 0xffffffffffffef45,
    928   0xffffffffffffb25d, 0xffffffffffffb1bf,
    929   0xffffffffffff74d7, 0xffffffffffff73bb,
    930   0xfffffffffffff060, 0xfffffffffffff041,
    931   0xffffffffffffb357, 0xffffffffffffb2bb,
    932   0xffffffffffff75d1, 0xffffffffffff74b7,
    933   0xffffffffffff37ce, 0xffffffffffff3635,
    934   0xffffffffffffc2f7, 0xffffffffffffc27b,
    935   0xffffffffffff8571, 0xffffffffffff8477,
    936   0xffffffffffff476e, 0xffffffffffff45f5,
    937   0xffffffffffc0c8e5, 0xffffffffffc0476f,
    938   0xffffffffffffc27a, 0xffffffffffffc1fd,
    939   0xffffffffffff8477, 0xffffffffffff837b,
    940   0xffffffffffc105ee, 0xffffffffffc084f5,
    941   0xffffffffff8286e8, 0xffffffffff8185f1,
    942   0xffffffffffffc1fd, 0xffffffffffffc17f,
    943   0xffffffffffc14374, 0xffffffffffc0c2f9,
    944   0xffffffffff82c46e, 0xffffffffff81c3f5,
    945   0xffffffffff4444eb, 0xffffffffff42c473,
    946   0xffffffffffc18177, 0xffffffffffc1017b,
    947   0xffffffffff830271, 0xffffffffff820277,
    948   0xffffffffff4482ee, 0xffffffffff4302f5,
    949   0xffffffe6ff448307, 0xffffffe6cc0fcfdb,
    950   0xffffffffffc180fa, 0xffffffffffc100fd,
    951   0xffffffffff830177, 0xffffffffff82017b,
    952   0xffffffe6ff830190, 0xffffffe6cc4ece61,
    953   0xffffffbd54d8570f, 0xffffffbccc4ece8b,
    954   0xffffffffffc1807d, 0xffffffffffc1007f,
    955   0xffffffe6ffc18096, 0xffffffe6cc8dcd65,
    956   0xffffffbd5516d615, 0xffffffbccc8dcd8f,
    957   0xffffff7ed516d78c, 0xffffff7dcc8dcf09,
    958   0xffffffe700000019, 0xffffffe6cccccce7,
    959   0xffffffbd55555598, 0xffffffbccccccd11,
    960   0xffffff7ed555570f, 0xffffff7dccccce8b,
    961   0xffffff4055555809, 0xffffff3ecccccf87,
    962   0xffffffd65555557f, 0xffffffd60000002b,
    963   0xffffff97d55556f6, 0xffffff97000001a5,
    964   0xffffff59555557f0, 0xffffff58000002a1,
    965   0xffffff1ad555586d, 0xffffff190000031f,
    966   0xffffffc180000177, 0xffffffc10000017b,
    967   0xffffff8300000271, 0xffffff8200000277,
    968   0xffffff44800002ee, 0xffffff43000002f5,
    969   0xffffff06000002ee, 0xffffff04000002f5,
    970   0xffffffc1800000fa, 0xffffffc1000000fd,
    971   0xffffff8300000177, 0xffffff820000017b,
    972   0xffffff4480000177, 0xffffff430000017b,
    973   0xffffff06000000fa, 0xffffff04000000fd,
    974   0xffffffc18000007d, 0xffffffc10000007f,
    975   0xffffff830000007d, 0xffffff820000007f,
    976   0xffffff4480000000, 0xffffff4300000001,
    977   0xfffffef12aaaaafe, 0xfffffeef00000055,
    978   0xffffffc180000000, 0xffffffc100000001,
    979   0xffffff82ffffff83, 0xffffff81ffffff83,
    980   0xffffff2faaaaaa81, 0xffffff2dffffffd7,
    981   0xfffffecbaaaaaae5, 0xfffffec93333336f,
    982   0xffffffc17fffff83, 0xffffffc0ffffff83,
    983   0xffffff6e2aaaaa81, 0xffffff6cffffffd7,
    984   0xffffff0a2aaaaae5, 0xffffff083333336f,
    985   0xfffffe8d2ae92ae5, 0xfffffe8a3372336f,
    986   0xffffffacaaaaaafe, 0xffffffac00000055,
    987   0xffffff48aaaaab62, 0xffffff47333333ed,
    988   0xfffffecbaae92b62, 0xfffffec9337233ed,
    989   0xfffffe4eab27aae5, 0xfffffe4b33b1336f,
    990   0xffffff9c00000064, 0xffffff9b33333399,
    991   0xffffff1f003e8064, 0xffffff1d33723399,
    992   0xfffffea2007cffe7, 0xfffffe9f33b1331b,
    993   0xfffffe2500bb7eed, 0xfffffe2133f0321f,
    994   0xffffff83003e8000, 0xffffff82003f0001,
    995   0xffffff06007cff83, 0xffffff04007dff83,
    996   0xfffffe8900bb7e89, 0xfffffe8600bcfe87,
    997   0xfffffe0c00f9fd12, 0xfffffe0800fbfd0d,
    998   0xffffff83003e7f83, 0xffffff82003eff83,
    999   0xffffff06007cfe89, 0xffffff04007dfe87,
   1000   0xfffffe8900bb7d12, 0xfffffe8600bcfd0d,
   1001   0xfffffe0c00bbbb92, 0xfffffe0800bd3c0d,
   1002   0xffffff83003e7f06, 0xffffff82003eff05,
   1003   0xffffff06007cfd8f, 0xffffff04007dfd8b,
   1004   0xfffffe89007d3c0f, 0xfffffe86007e3c8b,
   1005   0xfffffe0c007d7a12, 0xfffffe08007e7b0d,
   1006   0xffffff83003e7e89, 0xffffff82003efe87,
   1007   0xffffff06003ebd09, 0xffffff04003f3d87,
   1008   0xfffffe89003efb0c, 0xfffffe86003f7c09,
   1009   0xfffffe0c003f3892, 0xfffffe08003fba0d,
   1010   0xffffff8300003e80, 0xffffff8200003f01,
   1011   0xffffff0600007c83, 0xffffff0400007d83,
   1012   0xfffffe890000ba09, 0xfffffe860000bb87,
   1013   0xfffffe0c0000f712, 0xfffffe080000f90d,
   1014   0xffffff8300003e03, 0xffffff8200003e83,
   1015   0xffffff0600007b89, 0xffffff0400007c87,
   1016   0xfffffe890000b892, 0xfffffe860000ba0d,
   1017   0xfffffe0c0000c832, 0xfffffe080000c9cd,
   1018   0xffffff8300003d86, 0xffffff8200003e05,
   1019   0xffffff0600007a8f, 0xffffff0400007b8b,
   1020   0xfffffe8900008a2f, 0xfffffe8600008b4b,
   1021   0xfffffe0c00008ba6, 0xfffffe0800008cc5,
   1022   0xffffff8300003d09, 0xffffff8200003d87,
   1023   0xffffff0600004ca9, 0xffffff0400004d47,
   1024   0xfffffe8900004e20, 0xfffffe8600004ec1,
   1025   0xfffffe0c00004f1a, 0xfffffe0800004fbd,
   1026   0xffffff8300000fa0, 0xffffff8200000fc1,
   1027   0xffffff0600001117, 0xffffff040000113b,
   1028   0xfffffe8900001211, 0xfffffe8600001237,
   1029   0xfffffe0c0000128e, 0xfffffe08000012b5,
   1030   0xffffff820000017a, 0xffffff810000017e,
   1031   0xffffff0400000276, 0xffffff020000027c,
   1032   0xfffffe86000002f4, 0xfffffe83000002fb,
   1033   0xfffffe86000002f4, 0xfffffe83000002fb,
   1034   0xffffff82000000fc, 0xffffff81000000ff,
   1035   0xffffff040000017a, 0xffffff020000017e,
   1036   0xffffff040000017a, 0xffffff020000017e,
   1037   0xffffff04000000fc, 0xffffff02000000ff,
   1038   0xffffff820000007e, 0xffffff8100000080,
   1039   0xffffff820000007e, 0xffffff8100000080,
   1040   0xffffff8200000000, 0xffffff8100000001,
   1041   0xffffff81ffffff04, 0xffffff80ffffff03,
   1042   0x0000000000000000, 0x0000000000000001,
   1043   0xffffffffffffff82, 0xffffffffffffff82,
   1044   0xfffffffffffffe86, 0xfffffffffffffe84,
   1045   0xffffffffffffeec6, 0xffffffffffffeea4,
   1046   0xffffffffffffff82, 0xffffffffffffff82,
   1047   0xfffffffffffffe86, 0xfffffffffffffe84,
   1048   0xffffffffffffeec6, 0xffffffffffffeea4,
   1049   0xffffffffffffb140, 0xffffffffffffb0a1,
   1050   0xffffffffffffff04, 0xffffffffffffff03,
   1051   0xffffffffffffef44, 0xffffffffffffef23,
   1052   0xffffffffffffb1be, 0xffffffffffffb120,
   1053   0xffffffffffff73ba, 0xffffffffffff729e,
   1054   0xfffffffffffff040, 0xfffffffffffff021,
   1055   0xffffffffffffb2ba, 0xffffffffffffb21e,
   1056   0xffffffffffff74b6, 0xffffffffffff739c,
   1057   0xffffffffffff3634, 0xffffffffffff349b,
   1058   0xffffffffffffc27a, 0xffffffffffffc1fe,
   1059   0xffffffffffff8476, 0xffffffffffff837c,
   1060   0xffffffffffff45f4, 0xffffffffffff447b,
   1061   0xffffffffffc0476e, 0xffffffffffbfc5f8,
   1062   0xffffffffffffc1fc, 0xffffffffffffc17f,
   1063   0xffffffffffff837a, 0xffffffffffff827e,
   1064   0xffffffffffc084f4, 0xffffffffffc003fb,
   1065   0xffffffffff8185f0, 0xffffffffff8084f9,
   1066   0xffffffffffffc17e, 0xffffffffffffc100,
   1067   0xffffffffffc0c2f8, 0xffffffffffc0427d,
   1068   0xffffffffff81c3f4, 0xffffffffff80c37b,
   1069   0xffffffffff42c472, 0xffffffffff4143fa,
   1070   0xffffffffffc1017a, 0xffffffffffc0817e,
   1071   0xffffffffff820276, 0xffffffffff81027c,
   1072   0xffffffffff4302f4, 0xffffffffff4182fb,
   1073   0xffffffe6cc0fcfda, 0xffffffe698db1cae,
   1074   0xffffffffffc100fc, 0xffffffffffc080ff,
   1075   0xffffffffff82017a, 0xffffffffff81017e,
   1076   0xffffffe6cc4ece60, 0xffffffe6991a9b31,
   1077   0xffffffbccc4ece8a, 0xffffffbc43c54606,
   1078   0xffffffffffc1007e, 0xffffffffffc08080,
   1079   0xffffffe6cc8dcd64, 0xffffffe6995a1a33,
   1080   0xffffffbccc8dcd8e, 0xffffffbc4404c508,
   1081   0xffffff7dcc8dcf08, 0xffffff7cc404c685,
   1082   0xffffffe6cccccce6, 0xffffffe6999999b4,
   1083   0xffffffbccccccd10, 0xffffffbc44444489,
   1084   0xffffff7dccccce8a, 0xffffff7cc4444606,
   1085   0xffffff3ecccccf86, 0xffffff3d44444704,
   1086   0xffffffd60000002a, 0xffffffd5aaaaaad6,
   1087   0xffffff97000001a4, 0xffffff962aaaac53,
   1088   0xffffff58000002a0, 0xffffff56aaaaad51,
   1089   0xffffff190000031e, 0xffffff172aaaadd0,
   1090   0xffffffc10000017a, 0xffffffc08000017e,
   1091   0xffffff8200000276, 0xffffff810000027c,
   1092   0xffffff43000002f4, 0xffffff41800002fb,
   1093   0xffffff04000002f4, 0xffffff02000002fb,
   1094   0xffffffc1000000fc, 0xffffffc0800000ff,
   1095   0xffffff820000017a, 0xffffff810000017e,
   1096   0xffffff430000017a, 0xffffff418000017e,
   1097   0xffffff04000000fc, 0xffffff02000000ff,
   1098   0xffffffc10000007e, 0xffffffc080000080,
   1099   0xffffff820000007e, 0xffffff8100000080,
   1100   0xffffff4300000000, 0xffffff4180000001,
   1101   0xfffffeef00000054, 0xfffffeecd55555ab,
   1102   0xffffffc100000000, 0xffffffc080000001,
   1103   0xffffff81ffffff82, 0xffffff80ffffff82,
   1104   0xffffff2dffffffd6, 0xffffff2c5555552c,
   1105   0xfffffec93333336e, 0xfffffec6bbbbbbf8,
   1106   0xffffffc0ffffff82, 0xffffffc07fffff82,
   1107   0xffffff6cffffffd6, 0xffffff6bd555552c,
   1108   0xffffff083333336e, 0xffffff063bbbbbf8,
   1109   0xfffffe8a3372336e, 0xfffffe873bfb3bf8,
   1110   0xffffffac00000054, 0xffffffab555555ab,
   1111   0xffffff47333333ec, 0xffffff45bbbbbc77,
   1112   0xfffffec9337233ec, 0xfffffec6bbfb3c77,
   1113   0xfffffe4b33b1336e, 0xfffffe47bc3abbf8,
   1114   0xffffff9b33333398, 0xffffff9a666666cd,
   1115   0xffffff1d33723398, 0xffffff1b66a5e6cd,
   1116   0xfffffe9f33b1331a, 0xfffffe9c66e5664e,
   1117   0xfffffe2133f0321e, 0xfffffe1d6724e550,
   1118   0xffffff82003f0000, 0xffffff81003f8001,
   1119   0xffffff04007dff82, 0xffffff02007eff82,
   1120   0xfffffe8600bcfe86, 0xfffffe8300be7e84,
   1121   0xfffffe0800fbfd0c, 0xfffffe0400fdfd07,
   1122   0xffffff82003eff82, 0xffffff81003f7f82,
   1123   0xffffff04007dfe86, 0xffffff02007efe84,
   1124   0xfffffe8600bcfd0c, 0xfffffe8300be7d07,
   1125   0xfffffe0800bd3c0c, 0xfffffe0400bebc87,
   1126   0xffffff82003eff04, 0xffffff81003f7f03,
   1127   0xffffff04007dfd8a, 0xffffff02007efd86,
   1128   0xfffffe86007e3c8a, 0xfffffe83007f3d06,
   1129   0xfffffe08007e7b0c, 0xfffffe04007f7c07,
   1130   0xffffff82003efe86, 0xffffff81003f7e84,
   1131   0xffffff04003f3d86, 0xffffff02003fbe04,
   1132   0xfffffe86003f7c08, 0xfffffe83003ffd05,
   1133   0xfffffe08003fba0c, 0xfffffe0400403b87,
   1134   0xffffff8200003f00, 0xffffff8100003f81,
   1135   0xffffff0400007d82, 0xffffff0200007e82,
   1136   0xfffffe860000bb86, 0xfffffe830000bd04,
   1137   0xfffffe080000f90c, 0xfffffe040000fb07,
   1138   0xffffff8200003e82, 0xffffff8100003f02,
   1139   0xffffff0400007c86, 0xffffff0200007d84,
   1140   0xfffffe860000ba0c, 0xfffffe830000bb87,
   1141   0xfffffe080000c9cc, 0xfffffe040000cb67,
   1142   0xffffff8200003e04, 0xffffff8100003e83,
   1143   0xffffff0400007b8a, 0xffffff0200007c86,
   1144   0xfffffe8600008b4a, 0xfffffe8300008c66,
   1145   0xfffffe0800008cc4, 0xfffffe0400008de3,
   1146   0xffffff8200003d86, 0xffffff8100003e04,
   1147   0xffffff0400004d46, 0xffffff0200004de4,
   1148   0xfffffe8600004ec0, 0xfffffe8300004f61,
   1149   0xfffffe0800004fbc, 0xfffffe040000505f,
   1150   0xffffff8200000fc0, 0xffffff8100000fe1,
   1151   0xffffff040000113a, 0xffffff020000115e,
   1152   0xfffffe8600001236, 0xfffffe830000125c,
   1153   0xfffffe08000012b4, 0xfffffe04000012db,
   1154   0xffffff810000017d, 0xffff800300017ff8,
   1155   0xffffff020000027b, 0xffff000600027ff2,
   1156   0xfffffe83000002fa, 0xfffe80090002ffef,
   1157   0xfffffe83000002fa, 0xfffe80090002ffef,
   1158   0xffffff81000000fe, 0xffff80030000fffb,
   1159   0xffffff020000017d, 0xffff000600017ff8,
   1160   0xffffff020000017d, 0xffff000600017ff8,
   1161   0xffffff02000000fe, 0xffff00060000fffb,
   1162   0xffffff810000007f, 0xffff800300007ffe,
   1163   0xffffff810000007f, 0xffff800300007ffe,
   1164   0xffffff8100000000, 0xffff800300000001,
   1165   0xffffff80ffffff02, 0xffff8002ffff0007,
   1166   0x0000000000000000, 0x0000000000000001,
   1167   0xffffffffffffff81, 0xffffffffffff8004,
   1168   0xfffffffffffffe83, 0xfffffffffffe800a,
   1169   0xffffffffffffeea3, 0xffffffffffee806a,
   1170   0xffffffffffffff81, 0xffffffffffff8004,
   1171   0xfffffffffffffe83, 0xfffffffffffe800a,
   1172   0xffffffffffffeea3, 0xffffffffffee806a,
   1173   0xffffffffffffb0a0, 0xffffffffffb001e1,
   1174   0xffffffffffffff02, 0xffffffffffff0007,
   1175   0xffffffffffffef22, 0xffffffffffef0067,
   1176   0xffffffffffffb11f, 0xffffffffffb081de,
   1177   0xffffffffffff729d, 0xffffffffff718358,
   1178   0xfffffffffffff020, 0xfffffffffff00061,
   1179   0xffffffffffffb21d, 0xffffffffffb181d8,
   1180   0xffffffffffff739b, 0xffffffffff728352,
   1181   0xffffffffffff349a, 0xffffffffff3304cf,
   1182   0xffffffffffffc1fd, 0xffffffffffc18178,
   1183   0xffffffffffff837b, 0xffffffffff8282f2,
   1184   0xffffffffffff447a, 0xffffffffff43046f,
   1185   0xffffffffffbfc5f7, 0xffffffffbf460466,
   1186   0xffffffffffffc17e, 0xffffffffffc1017b,
   1187   0xffffffffffff827d, 0xffffffffff8182f8,
   1188   0xffffffffffc003fa, 0xffffffffbf8482ef,
   1189   0xffffffffff8084f8, 0xffffffff7f8702e9,
   1190   0xffffffffffffc0ff, 0xffffffffffc0817e,
   1191   0xffffffffffc0427c, 0xffffffffbfc38175,
   1192   0xffffffffff80c37a, 0xffffffff7fc6016f,
   1193   0xffffffffff4143f9, 0xffffffff3fc8016c,
   1194   0xffffffffffc0817d, 0xffffffffc002fff8,
   1195   0xffffffffff81027b, 0xffffffff80057ff2,
   1196   0xffffffffff4182fa, 0xffffffff40077fef,
   1197   0xffffffe698db1cad, 0xffffe66640079988,
   1198   0xffffffffffc080fe, 0xffffffffc0027ffb,
   1199   0xffffffffff81017d, 0xffffffff80047ff8,
   1200   0xffffffe6991a9b30, 0xffffe66680049991,
   1201   0xffffffbc43c54605, 0xffffbbbcd55a1990,
   1202   0xffffffffffc0807f, 0xffffffffc001fffe,
   1203   0xffffffe6995a1a32, 0xffffe666c0021997,
   1204   0xffffffbc4404c507, 0xffffbbbd15579996,
   1205   0xffffff7cc404c684, 0xffff7bbe9559198d,
   1206   0xffffffe6999999b3, 0xffffe6670000199a,
   1207   0xffffffbc44444488, 0xffffbbbd55559999,
   1208   0xffffff7cc4444605, 0xffff7bbed5571990,
   1209   0xffffff3d44444703, 0xffff3bc05558198a,
   1210   0xffffffd5aaaaaad5, 0xffffd55655558000,
   1211   0xffffff962aaaac52, 0xffff9557d556fff7,
   1212   0xffffff56aaaaad50, 0xffff55595557fff1,
   1213   0xffffff172aaaadcf, 0xffff155ad5587fee,
   1214   0xffffffc08000017d, 0xffffc00180017ff8,
   1215   0xffffff810000027b, 0xffff800300027ff2,
   1216   0xffffff41800002fa, 0xffff40048002ffef,
   1217   0xffffff02000002fa, 0xffff00060002ffef,
   1218   0xffffffc0800000fe, 0xffffc0018000fffb,
   1219   0xffffff810000017d, 0xffff800300017ff8,
   1220   0xffffff418000017d, 0xffff400480017ff8,
   1221   0xffffff02000000fe, 0xffff00060000fffb,
   1222   0xffffffc08000007f, 0xffffc00180007ffe,
   1223   0xffffff810000007f, 0xffff800300007ffe,
   1224   0xffffff4180000000, 0xffff400480000001,
   1225   0xfffffeecd55555aa, 0xfffeeab12aaaffff,
   1226   0xffffffc080000000, 0xffffc00180000001,
   1227   0xffffff80ffffff81, 0xffff8002ffff8004,
   1228   0xffffff2c5555552b, 0xffff2aafaaaa8002,
   1229   0xfffffec6bbbbbbf7, 0xfffec44baaaae666,
   1230   0xffffffc07fffff81, 0xffffc0017fff8004,
   1231   0xffffff6bd555552b, 0xffff6aae2aaa8002,
   1232   0xffffff063bbbbbf7, 0xffff044a2aaae666,
   1233   0xfffffe873bfb3bf7, 0xfffe844d6aa96666,
   1234   0xffffffab555555aa, 0xffffaaacaaaaffff,
   1235   0xffffff45bbbbbc76, 0xffff4448aaab6663,
   1236   0xfffffec6bbfb3c76, 0xfffec44beaa9e663,
   1237   0xfffffe47bc3abbf7, 0xfffe444f2aa7e666,
   1238   0xffffff9a666666cc, 0xffff999c00006665,
   1239   0xffffff1b66a5e6cc, 0xffff199f3ffee665,
   1240   0xfffffe9c66e5664d, 0xfffe99a27ffce668,
   1241   0xfffffe1d6724e54f, 0xfffe19a5bffa666e,
   1242   0xffffff81003f8000, 0xffff80033ffe8001,
   1243   0xffffff02007eff81, 0xffff00067ffc8004,
   1244   0xfffffe8300be7e83, 0xfffe8009bffa000a,
   1245   0xfffffe0400fdfd06, 0xfffe000cfff70013,
   1246   0xffffff81003f7f81, 0xffff80033ffe0004,
   1247   0xffffff02007efe83, 0xffff00067ffb800a,
   1248   0xfffffe8300be7d06, 0xfffe8009bff88013,
   1249   0xfffffe0400bebc86, 0xfffe000cc0387e93,
   1250   0xffffff81003f7f02, 0xffff80033ffd8007,
   1251   0xffffff02007efd85, 0xffff00067ffa8010,
   1252   0xfffffe83007f3d05, 0xfffe8009803a7e90,
   1253   0xfffffe04007f7c06, 0xfffe000c8079fd13,
   1254   0xffffff81003f7e83, 0xffff80033ffd000a,
   1255   0xffffff02003fbe03, 0xffff0006403cfe8a,
   1256   0xfffffe83003ffd04, 0xfffe8009407c7d0d,
   1257   0xfffffe0400403b86, 0xfffe000c40bb7b93,
   1258   0xffffff8100003f80, 0xffff8003003ffe81,
   1259   0xffffff0200007e81, 0xffff0006007f7d04,
   1260   0xfffffe830000bd03, 0xfffe800900be7b8a,
   1261   0xfffffe040000fb06, 0xfffe000c00fcfa13,
   1262   0xffffff8100003f01, 0xffff8003003f7e84,
   1263   0xffffff0200007d83, 0xffff0006007e7d0a,
   1264   0xfffffe830000bb86, 0xfffe800900bcfb93,
   1265   0xfffffe040000cb66, 0xfffe000c00ccfb33,
   1266   0xffffff8100003e82, 0xffff8003003efe87,
   1267   0xffffff0200007c85, 0xffff0006007d7d10,
   1268   0xfffffe8300008c65, 0xfffe8009008d7cb0,
   1269   0xfffffe0400008de2, 0xfffe000c008efca7,
   1270   0xffffff8100003e03, 0xffff8003003e7e8a,
   1271   0xffffff0200004de3, 0xffff0006004e7e2a,
   1272   0xfffffe8300004f60, 0xfffe8009004ffe21,
   1273   0xfffffe040000505e, 0xfffe000c0050fe1b,
   1274   0xffffff8100000fe0, 0xffff8003000fffa1,
   1275   0xffffff020000115d, 0xffff000600117f98,
   1276   0xfffffe830000125b, 0xfffe800900127f92,
   1277   0xfffffe04000012da, 0xfffe000c0012ff8f,
   1278   0xffff800300017ff7, 0xffff800200017ffb,
   1279   0xffff000600027ff1, 0xffff000400027ff7,
   1280   0xfffe80090002ffee, 0xfffe80060002fff5,
   1281   0xfffe80090002ffee, 0xfffe80060002fff5,
   1282   0xffff80030000fffa, 0xffff80020000fffd,
   1283   0xffff000600017ff7, 0xffff000400017ffb,
   1284   0xffff000600017ff7, 0xffff000400017ffb,
   1285   0xffff00060000fffa, 0xffff00040000fffd,
   1286   0xffff800300007ffd, 0xffff800200007fff,
   1287   0xffff800300007ffd, 0xffff800200007fff,
   1288   0xffff800300000000, 0xffff800200000001,
   1289   0xffff8002ffff0006, 0xffff8001ffff0005,
   1290   0x0000000000000000, 0x0000000000000001,
   1291   0xffffffffffff8003, 0xffffffffffff8003,
   1292   0xfffffffffffe8009, 0xfffffffffffe8007,
   1293   0xffffffffffee8069, 0xffffffffffee8047,
   1294   0xffffffffffff8003, 0xffffffffffff8003,
   1295   0xfffffffffffe8009, 0xfffffffffffe8007,
   1296   0xffffffffffee8069, 0xffffffffffee8047,
   1297   0xffffffffffb001e0, 0xffffffffffb00141,
   1298   0xffffffffffff0006, 0xffffffffffff0005,
   1299   0xffffffffffef0066, 0xffffffffffef0045,
   1300   0xffffffffffb081dd, 0xffffffffffb0813f,
   1301   0xffffffffff718357, 0xffffffffff71823b,
   1302   0xfffffffffff00060, 0xfffffffffff00041,
   1303   0xffffffffffb181d7, 0xffffffffffb1813b,
   1304   0xffffffffff728351, 0xffffffffff728237,
   1305   0xffffffffff3304ce, 0xffffffffff330335,
   1306   0xffffffffffc18177, 0xffffffffffc180fb,
   1307   0xffffffffff8282f1, 0xffffffffff8281f7,
   1308   0xffffffffff43046e, 0xffffffffff4302f5,
   1309   0xffffffffbf460465, 0xffffffffbf4582ef,
   1310   0xffffffffffc1017a, 0xffffffffffc100fd,
   1311   0xffffffffff8182f7, 0xffffffffff8181fb,
   1312   0xffffffffbf8482ee, 0xffffffffbf8401f5,
   1313   0xffffffff7f8702e8, 0xffffffff7f8601f1,
   1314   0xffffffffffc0817d, 0xffffffffffc080ff,
   1315   0xffffffffbfc38174, 0xffffffffbfc300f9,
   1316   0xffffffff7fc6016e, 0xffffffff7fc500f5,
   1317   0xffffffff3fc8016b, 0xffffffff3fc680f3,
   1318   0xffffffffc002fff7, 0xffffffffc0027ffb,
   1319   0xffffffff80057ff1, 0xffffffff80047ff7,
   1320   0xffffffff40077fee, 0xffffffff4005fff5,
   1321   0xffffe66640079987, 0xffffe6660cd2e65b,
   1322   0xffffffffc0027ffa, 0xffffffffc001fffd,
   1323   0xffffffff80047ff7, 0xffffffff80037ffb,
   1324   0xffffe66680049990, 0xffffe6664cd06661,
   1325   0xffffbbbcd55a198f, 0xffffbbbc4cd0910b,
   1326   0xffffffffc001fffd, 0xffffffffc0017fff,
   1327   0xffffe666c0021996, 0xffffe6668cce6665,
   1328   0xffffbbbd15579995, 0xffffbbbc8cce910f,
   1329   0xffff7bbe9559198c, 0xffff7bbd8cd01109,
   1330   0xffffe66700001999, 0xffffe666cccce667,
   1331   0xffffbbbd55559998, 0xffffbbbccccd1111,
   1332   0xffff7bbed557198f, 0xffff7bbdccce910b,
   1333   0xffff3bc055581989, 0xffff3bbecccf9107,
   1334   0xffffd55655557fff, 0xffffd55600002aab,
   1335   0xffff9557d556fff6, 0xffff95570001aaa5,
   1336   0xffff55595557fff0, 0xffff55580002aaa1,
   1337   0xffff155ad5587fed, 0xffff155900032a9f,
   1338   0xffffc00180017ff7, 0xffffc00100017ffb,
   1339   0xffff800300027ff1, 0xffff800200027ff7,
   1340   0xffff40048002ffee, 0xffff40030002fff5,
   1341   0xffff00060002ffee, 0xffff00040002fff5,
   1342   0xffffc0018000fffa, 0xffffc0010000fffd,
   1343   0xffff800300017ff7, 0xffff800200017ffb,
   1344   0xffff400480017ff7, 0xffff400300017ffb,
   1345   0xffff00060000fffa, 0xffff00040000fffd,
   1346   0xffffc00180007ffd, 0xffffc00100007fff,
   1347   0xffff800300007ffd, 0xffff800200007fff,
   1348   0xffff400480000000, 0xffff400300000001,
   1349   0xfffeeab12aaafffe, 0xfffeeaaf00005555,
   1350   0xffffc00180000000, 0xffffc00100000001,
   1351   0xffff8002ffff8003, 0xffff8001ffff8003,
   1352   0xffff2aafaaaa8001, 0xffff2aadffffd557,
   1353   0xfffec44baaaae665, 0xfffec44933336eef,
   1354   0xffffc0017fff8003, 0xffffc000ffff8003,
   1355   0xffff6aae2aaa8001, 0xffff6aacffffd557,
   1356   0xffff044a2aaae665, 0xffff044833336eef,
   1357   0xfffe844d6aa96665, 0xfffe844a73326eef,
   1358   0xffffaaacaaaafffe, 0xffffaaac00005555,
   1359   0xffff4448aaab6662, 0xffff44473333eeed,
   1360   0xfffec44beaa9e662, 0xfffec4497332eeed,
   1361   0xfffe444f2aa7e665, 0xfffe444bb3316eef,
   1362   0xffff999c00006664, 0xffff999b33339999,
   1363   0xffff199f3ffee664, 0xffff199d73329999,
   1364   0xfffe99a27ffce667, 0xfffe999fb331199b,
   1365   0xfffe19a5bffa666d, 0xfffe19a1f32f199f,
   1366   0xffff80033ffe8000, 0xffff80023fff0001,
   1367   0xffff00067ffc8003, 0xffff00047ffd8003,
   1368   0xfffe8009bffa0009, 0xfffe8006bffb8007,
   1369   0xfffe000cfff70012, 0xfffe0008fff9000d,
   1370   0xffff80033ffe0003, 0xffff80023ffe8003,
   1371   0xffff00067ffb8009, 0xffff00047ffc8007,
   1372   0xfffe8009bff88012, 0xfffe8006bffa000d,
   1373   0xfffe000cc0387e92, 0xfffe0008c039ff0d,
   1374   0xffff80033ffd8006, 0xffff80023ffe0005,
   1375   0xffff00067ffa800f, 0xffff00047ffb800b,
   1376   0xfffe8009803a7e8f, 0xfffe8006803b7f0b,
   1377   0xfffe000c8079fd12, 0xfffe0008807afe0d,
   1378   0xffff80033ffd0009, 0xffff80023ffd8007,
   1379   0xffff0006403cfe89, 0xffff0004403d7f07,
   1380   0xfffe8009407c7d0c, 0xfffe8006407cfe09,
   1381   0xfffe000c40bb7b92, 0xfffe000840bbfd0d,
   1382   0xffff8003003ffe80, 0xffff8002003fff01,
   1383   0xffff0006007f7d03, 0xffff0004007f7e03,
   1384   0xfffe800900be7b89, 0xfffe800600be7d07,
   1385   0xfffe000c00fcfa12, 0xfffe000800fcfc0d,
   1386   0xffff8003003f7e83, 0xffff8002003f7f03,
   1387   0xffff0006007e7d09, 0xffff0004007e7e07,
   1388   0xfffe800900bcfb92, 0xfffe800600bcfd0d,
   1389   0xfffe000c00ccfb32, 0xfffe000800ccfccd,
   1390   0xffff8003003efe86, 0xffff8002003eff05,
   1391   0xffff0006007d7d0f, 0xffff0004007d7e0b,
   1392   0xfffe8009008d7caf, 0xfffe8006008d7dcb,
   1393   0xfffe000c008efca6, 0xfffe0008008efdc5,
   1394   0xffff8003003e7e89, 0xffff8002003e7f07,
   1395   0xffff0006004e7e29, 0xffff0004004e7ec7,
   1396   0xfffe8009004ffe20, 0xfffe8006004ffec1,
   1397   0xfffe000c0050fe1a, 0xfffe00080050febd,
   1398   0xffff8003000fffa0, 0xffff8002000fffc1,
   1399   0xffff000600117f97, 0xffff000400117fbb,
   1400   0xfffe800900127f91, 0xfffe800600127fb7,
   1401   0xfffe000c0012ff8e, 0xfffe00080012ffb5,
   1402   0xffff800200017ffa, 0xffff800100017ffe,
   1403   0xffff000400027ff6, 0xffff000200027ffc,
   1404   0xfffe80060002fff4, 0xfffe80030002fffb,
   1405   0xfffe80060002fff4, 0xfffe80030002fffb,
   1406   0xffff80020000fffc, 0xffff80010000ffff,
   1407   0xffff000400017ffa, 0xffff000200017ffe,
   1408   0xffff000400017ffa, 0xffff000200017ffe,
   1409   0xffff00040000fffc, 0xffff00020000ffff,
   1410   0xffff800200007ffe, 0xffff800100008000,
   1411   0xffff800200007ffe, 0xffff800100008000,
   1412   0xffff800200000000, 0xffff800100000001,
   1413   0xffff8001ffff0004, 0xffff8000ffff0003,
   1414   0x0000000000000000, 0x0000000000000001,
   1415   0xffffffffffff8002, 0xffffffffffff8002,
   1416   0xfffffffffffe8006, 0xfffffffffffe8004,
   1417   0xffffffffffee8046, 0xffffffffffee8024,
   1418   0xffffffffffff8002, 0xffffffffffff8002,
   1419   0xfffffffffffe8006, 0xfffffffffffe8004,
   1420   0xffffffffffee8046, 0xffffffffffee8024,
   1421   0xffffffffffb00140, 0xffffffffffb000a1,
   1422   0xffffffffffff0004, 0xffffffffffff0003,
   1423   0xffffffffffef0044, 0xffffffffffef0023,
   1424   0xffffffffffb0813e, 0xffffffffffb080a0,
   1425   0xffffffffff71823a, 0xffffffffff71811e,
   1426   0xfffffffffff00040, 0xfffffffffff00021,
   1427   0xffffffffffb1813a, 0xffffffffffb1809e,
   1428   0xffffffffff728236, 0xffffffffff72811c,
   1429   0xffffffffff330334, 0xffffffffff33019b,
   1430   0xffffffffffc180fa, 0xffffffffffc1807e,
   1431   0xffffffffff8281f6, 0xffffffffff8280fc,
   1432   0xffffffffff4302f4, 0xffffffffff43017b,
   1433   0xffffffffbf4582ee, 0xffffffffbf450178,
   1434   0xffffffffffc100fc, 0xffffffffffc1007f,
   1435   0xffffffffff8181fa, 0xffffffffff8180fe,
   1436   0xffffffffbf8401f4, 0xffffffffbf8380fb,
   1437   0xffffffff7f8601f0, 0xffffffff7f8500f9,
   1438   0xffffffffffc080fe, 0xffffffffffc08080,
   1439   0xffffffffbfc300f8, 0xffffffffbfc2807d,
   1440   0xffffffff7fc500f4, 0xffffffff7fc4007b,
   1441   0xffffffff3fc680f2, 0xffffffff3fc5007a,
   1442   0xffffffffc0027ffa, 0xffffffffc001fffe,
   1443   0xffffffff80047ff6, 0xffffffff80037ffc,
   1444   0xffffffff4005fff4, 0xffffffff40047ffb,
   1445   0xffffe6660cd2e65a, 0xffffe665d99e332e,
   1446   0xffffffffc001fffc, 0xffffffffc0017fff,
   1447   0xffffffff80037ffa, 0xffffffff80027ffe,
   1448   0xffffe6664cd06660, 0xffffe666199c3331,
   1449   0xffffbbbc4cd0910a, 0xffffbbbbc4470886,
   1450   0xffffffffc0017ffe, 0xffffffffc0010000,
   1451   0xffffe6668cce6664, 0xffffe666599ab333,
   1452   0xffffbbbc8cce910e, 0xffffbbbc04458888,
   1453   0xffff7bbd8cd01108, 0xffff7bbc84470885,
   1454   0xffffe666cccce666, 0xffffe6669999b334,
   1455   0xffffbbbccccd1110, 0xffffbbbc44448889,
   1456   0xffff7bbdccce910a, 0xffff7bbcc4460886,
   1457   0xffff3bbecccf9106, 0xffff3bbd44470884,
   1458   0xffffd55600002aaa, 0xffffd555aaaad556,
   1459   0xffff95570001aaa4, 0xffff95562aac5553,
   1460   0xffff55580002aaa0, 0xffff5556aaad5551,
   1461   0xffff155900032a9e, 0xffff15572aadd550,
   1462   0xffffc00100017ffa, 0xffffc00080017ffe,
   1463   0xffff800200027ff6, 0xffff800100027ffc,
   1464   0xffff40030002fff4, 0xffff40018002fffb,
   1465   0xffff00040002fff4, 0xffff00020002fffb,
   1466   0xffffc0010000fffc, 0xffffc0008000ffff,
   1467   0xffff800200017ffa, 0xffff800100017ffe,
   1468   0xffff400300017ffa, 0xffff400180017ffe,
   1469   0xffff00040000fffc, 0xffff00020000ffff,
   1470   0xffffc00100007ffe, 0xffffc00080008000,
   1471   0xffff800200007ffe, 0xffff800100008000,
   1472   0xffff400300000000, 0xffff400180000001,
   1473   0xfffeeaaf00005554, 0xfffeeaacd555aaab,
   1474   0xffffc00100000000, 0xffffc00080000001,
   1475   0xffff8001ffff8002, 0xffff8000ffff8002,
   1476   0xffff2aadffffd556, 0xffff2aac55552aac,
   1477   0xfffec44933336eee, 0xfffec446bbbbf778,
   1478   0xffffc000ffff8002, 0xffffc0007fff8002,
   1479   0xffff6aacffffd556, 0xffff6aabd5552aac,
   1480   0xffff044833336eee, 0xffff04463bbbf778,
   1481   0xfffe844a73326eee, 0xfffe84477bbb7778,
   1482   0xffffaaac00005554, 0xffffaaab5555aaab,
   1483   0xffff44473333eeec, 0xffff4445bbbc7777,
   1484   0xfffec4497332eeec, 0xfffec446fbbbf777,
   1485   0xfffe444bb3316eee, 0xfffe44483bbaf778,
   1486   0xffff999b33339998, 0xffff999a6666cccd,
   1487   0xffff199d73329998, 0xffff199ba6664ccd,
   1488   0xfffe999fb331199a, 0xfffe999ce6654cce,
   1489   0xfffe19a1f32f199e, 0xfffe199e2663ccd0,
   1490   0xffff80023fff0000, 0xffff80013fff8001,
   1491   0xffff00047ffd8002, 0xffff00027ffe8002,
   1492   0xfffe8006bffb8006, 0xfffe8003bffd0004,
   1493   0xfffe0008fff9000c, 0xfffe0004fffb0007,
   1494   0xffff80023ffe8002, 0xffff80013fff0002,
   1495   0xffff00047ffc8006, 0xffff00027ffd8004,
   1496   0xfffe8006bffa000c, 0xfffe8003bffb8007,
   1497   0xfffe0008c039ff0c, 0xfffe0004c03b7f87,
   1498   0xffff80023ffe0004, 0xffff80013ffe8003,
   1499   0xffff00047ffb800a, 0xffff00027ffc8006,
   1500   0xfffe8006803b7f0a, 0xfffe8003803c7f86,
   1501   0xfffe0008807afe0c, 0xfffe0004807bff07,
   1502   0xffff80023ffd8006, 0xffff80013ffe0004,
   1503   0xffff0004403d7f06, 0xffff0002403dff84,
   1504   0xfffe8006407cfe08, 0xfffe8003407d7f05,
   1505   0xfffe000840bbfd0c, 0xfffe000440bc7e87,
   1506   0xffff8002003fff00, 0xffff8001003fff81,
   1507   0xffff0004007f7e02, 0xffff0002007f7f02,
   1508   0xfffe800600be7d06, 0xfffe800300be7e84,
   1509   0xfffe000800fcfc0c, 0xfffe000400fcfe07,
   1510   0xffff8002003f7f02, 0xffff8001003f7f82,
   1511   0xffff0004007e7e06, 0xffff0002007e7f04,
   1512   0xfffe800600bcfd0c, 0xfffe800300bcfe87,
   1513   0xfffe000800ccfccc, 0xfffe000400ccfe67,
   1514   0xffff8002003eff04, 0xffff8001003eff83,
   1515   0xffff0004007d7e0a, 0xffff0002007d7f06,
   1516   0xfffe8006008d7dca, 0xfffe8003008d7ee6,
   1517   0xfffe0008008efdc4, 0xfffe0004008efee3,
   1518   0xffff8002003e7f06, 0xffff8001003e7f84,
   1519   0xffff0004004e7ec6, 0xffff0002004e7f64,
   1520   0xfffe8006004ffec0, 0xfffe8003004fff61,
   1521   0xfffe00080050febc, 0xfffe00040050ff5f,
   1522   0xffff8002000fffc0, 0xffff8001000fffe1,
   1523   0xffff000400117fba, 0xffff000200117fde,
   1524   0xfffe800600127fb6, 0xfffe800300127fdc,
   1525   0xfffe00080012ffb4, 0xfffe00040012ffdb,
   1526   0xffff800100017ffd, 0xcccccccd9999999a,
   1527   0xffff000200027ffb, 0x9999999b00000000,
   1528   0xfffe80030002fffa, 0x6666666833333333,
   1529   0xfffe80030002fffa, 0x6666666833333333,
   1530   0xffff80010000fffe, 0xcccccccd66666667,
   1531   0xffff000200017ffd, 0x9999999a9999999a,
   1532   0xffff000200017ffd, 0x9999999a9999999a,
   1533   0xffff00020000fffe, 0x9999999a66666667,
   1534   0xffff800100007fff, 0xcccccccd33333334,
   1535   0xffff800100007fff, 0xcccccccd33333334,
   1536   0xffff800100000000, 0xcccccccd00000001,
   1537   0xffff8000ffff0002, 0xcccccccc9999999b,
   1538   0x0000000000000000, 0x0000000000000001,
   1539   0xffffffffffff8001, 0xffffffffccccccce,
   1540   0xfffffffffffe8003, 0xffffffff66666668,
   1541   0xffffffffffee8023, 0xfffffff900000008,
   1542   0xffffffffffff8001, 0xffffffffccccccce,
   1543   0xfffffffffffe8003, 0xffffffff66666668,
   1544   0xffffffffffee8023, 0xfffffff900000008,
   1545   0xffffffffffb000a0, 0xffffffe000000021,
   1546   0xffffffffffff0002, 0xffffffff9999999b,
   1547   0xffffffffffef0022, 0xfffffff93333333b,
   1548   0xffffffffffb0809f, 0xffffffe033333354,
   1549   0xffffffffff71811d, 0xffffffc70000003a,
   1550   0xfffffffffff00020, 0xfffffff9999999a1,
   1551   0xffffffffffb1809d, 0xffffffe0999999ba,
   1552   0xffffffffff72811b, 0xffffffc7666666a0,
   1553   0xffffffffff33019a, 0xffffffae00000053,
   1554   0xffffffffffc1807d, 0xffffffe70000001a,
   1555   0xffffffffff8280fb, 0xffffffcdcccccd00,
   1556   0xffffffffff43017a, 0xffffffb4666666b3,
   1557   0xffffffffbf450177, 0xffffe61b6666804c,
   1558   0xffffffffffc1007e, 0xffffffe6cccccce7,
   1559   0xffffffffff8180fd, 0xffffffcd6666669a,
   1560   0xffffffffbf8380fa, 0xffffe63466668033,
   1561   0xffffffff7f8500f8, 0xffffcc9b33336699,
   1562   0xffffffffffc0807f, 0xffffffe6999999b4,
   1563   0xffffffffbfc2807c, 0xffffe64d9999b34d,
   1564   0xffffffff7fc4007a, 0xffffccb4666699b3,
   1565   0xffffffff3fc50079, 0xffffb31b00004ce6,
   1566   0xffffffffc001fffd, 0xffffe6670000199a,
   1567   0xffffffff80037ffb, 0xffffcccdcccd0000,
   1568   0xffffffff40047ffa, 0xffffb3346666b333,
   1569   0xffffe665d99e332d, 0xf5c24290a3d7570a,
   1570   0xffffffffc0017ffe, 0xffffe666cccce667,
   1571   0xffffffff80027ffd, 0xffffcccd6666999a,
   1572   0xffffe666199c3330, 0xf5c25c29a3d73d71,
   1573   0xffffbbbbc4470885, 0xe4b14b18b4e84e82,
   1574   0xffffffffc000ffff, 0xffffe6669999b334,
   1575   0xffffe666599ab332, 0xf5c275c2d70a570b,
   1576   0xffffbbbc04458887, 0xe4b164b1e81b681c,
   1577   0xffff7bbc84470884, 0xcb17cb1901b501b5,
   1578   0xffffe6669999b333, 0xf5c28f5c3d70a3d8,
   1579   0xffffbbbc44448888, 0xe4b17e4b4e81b4e9,
   1580   0xffff7bbcc4460885, 0xcb17e4b2681b4e82,
   1581   0xffff3bbd44470883, 0xb17e4b194e81b4e8,
   1582   0xffffd555aaaad555, 0xeeeeeeef11111112,
   1583   0xffff95562aac5552, 0xd55555562aaaaaab,
   1584   0xffff5556aaad5550, 0xbbbbbbbd11111111,
   1585   0xffff15572aadd54f, 0xa2222223c4444444,
   1586   0xffffc00080017ffd, 0xe66666671999999a,
   1587   0xffff800100027ffb, 0xccccccce00000000,
   1588   0xffff40018002fffa, 0xb3333334b3333333,
   1589   0xffff00020002fffa, 0x9999999b33333333,
   1590   0xffffc0008000fffe, 0xe6666666e6666667,
   1591   0xffff800100017ffd, 0xcccccccd9999999a,
   1592   0xffff400180017ffd, 0xb33333341999999a,
   1593   0xffff00020000fffe, 0x9999999a66666667,
   1594   0xffffc00080007fff, 0xe6666666b3333334,
   1595   0xffff800100007fff, 0xcccccccd33333334,
   1596   0xffff400180000000, 0xb333333380000001,
   1597   0xfffeeaacd555aaaa, 0x91111111a2222223,
   1598   0xffffc00080000000, 0xe666666680000001,
   1599   0xffff8000ffff8001, 0xccccccccccccccce,
   1600   0xffff2aac55552aab, 0xaaaaaaaaeeeeeef0,
   1601   0xfffec446bbbbf777, 0x81b4e81be4b17e4c,
   1602   0xffffc0007fff8001, 0xe66666664cccccce,
   1603   0xffff6aabd5552aab, 0xc44444446eeeeef0,
   1604   0xffff04463bbbf777, 0x9b4e81b564b17e4c,
   1605   0xfffe84477bbb7777, 0x681b681bfe4afe4c,
   1606   0xffffaaab5555aaaa, 0xddddddde22222223,
   1607   0xffff4445bbbc7776, 0xb4e81b4f17e4b17f,
   1608   0xfffec446fbbbf776, 0x81b501b5b17e317f,
   1609   0xfffe44483bbaf777, 0x4e81e81c17e47e4c,
   1610   0xffff999a6666cccc, 0xd70a3d70f5c28f5d,
   1611   0xffff199ba6664ccc, 0xa3d723d78f5c0f5d,
   1612   0xfffe999ce6654ccd, 0x70a40a3df5c25c2a,
   1613   0xfffe199e2663cccf, 0x3d70f0a428f575c4,
   1614   0xffff80013fff8000, 0xcccce66699998001,
   1615   0xffff00027ffe8001, 0x9999ccccffffccce,
   1616   0xfffe8003bffd0003, 0x6666b3333332e668,
   1617   0xfffe0004fffb0006, 0x333399993332cccf,
   1618   0xffff80013fff0001, 0xcccce66666664cce,
   1619   0xffff00027ffd8003, 0x9999cccc99996668,
   1620   0xfffe8003bffb8006, 0x6666b33299994ccf,
   1621   0xfffe0004c03b7f86, 0x333380193332e64f,
   1622   0xffff80013ffe8002, 0xcccce6663333199b,
   1623   0xffff00027ffc8005, 0x9999cccc33330002,
   1624   0xfffe8003803c7f85, 0x666699b2cccc9982,
   1625   0xfffe0004807bff06, 0x333366993332ffcf,
   1626   0xffff80013ffe0003, 0xcccce665ffffe668,
   1627   0xffff0002403dff83, 0x9999b34c99997fe8,
   1628   0xfffe8003407d7f04, 0x66668032ffffe635,
   1629   0xfffe000440bc7e86, 0x33334d193333194f,
   1630   0xffff8001003fff80, 0xcccccce699999981,
   1631   0xffff0002007f7f01, 0x999999ccffffffce,
   1632   0xfffe800300be7e83, 0x666666b3333332e8,
   1633   0xfffe000400fcfe06, 0x33333399333332cf,
   1634   0xffff8001003f7f81, 0xcccccce66666664e,
   1635   0xffff0002007e7f03, 0x999999cc99999968,
   1636   0xfffe800300bcfe86, 0x666666b29999994f,
   1637   0xfffe000400ccfe66, 0x33333385ffffffaf,
   1638   0xffff8001003eff82, 0xcccccce63333331b,
   1639   0xffff0002007d7f05, 0x999999cc33333302,
   1640   0xfffe8003008d7ee5, 0x6666669f99999962,
   1641   0xfffe0004008efee2, 0x3333336d333332fb,
   1642   0xffff8001003e7f83, 0xcccccce5ffffffe8,
   1643   0xffff0002004e7f63, 0x999999b966666648,
   1644   0xfffe8003004fff60, 0x66666686ffffffe1,
   1645   0xfffe00040050ff5e, 0x3333335466666647,
   1646   0xffff8001000fffe0, 0xccccccd366666661,
   1647   0xffff000200117fdd, 0x999999a0fffffffa,
   1648   0xfffe800300127fdb, 0x6666666e66666660,
   1649   0xfffe00040012ffda, 0x3333333b99999993,
   1650   0xcccccccd99999999, 0xaaaaaaac00000000,
   1651   0x9999999affffffff, 0x55555557aaaaaaaa,
   1652   0x6666666833333332, 0x00000002ffffffff,
   1653   0x6666666833333332, 0x00000002ffffffff,
   1654   0xcccccccd66666666, 0xaaaaaaabaaaaaaab,
   1655   0x9999999a99999999, 0x5555555700000000,
   1656   0x9999999a99999999, 0x5555555700000000,
   1657   0x9999999a66666666, 0x55555556aaaaaaab,
   1658   0xcccccccd33333333, 0xaaaaaaab55555556,
   1659   0xcccccccd33333333, 0xaaaaaaab55555556,
   1660   0xcccccccd00000000, 0xaaaaaaab00000001,
   1661   0xcccccccc9999999a, 0xaaaaaaaa55555557,
   1662   0x0000000000000000, 0x0000000000000001,
   1663   0xffffffffcccccccd, 0xffffffffaaaaaaac,
   1664   0xffffffff66666667, 0xffffffff00000002,
   1665   0xfffffff900000007, 0xfffffff455555562,
   1666   0xffffffffcccccccd, 0xffffffffaaaaaaac,
   1667   0xffffffff66666667, 0xffffffff00000002,
   1668   0xfffffff900000007, 0xfffffff455555562,
   1669   0xffffffe000000020, 0xffffffcaaaaaaae1,
   1670   0xffffffff9999999a, 0xffffffff55555557,
   1671   0xfffffff93333333a, 0xfffffff4aaaaaab7,
   1672   0xffffffe033333353, 0xffffffcb00000036,
   1673   0xffffffc700000039, 0xffffffa100000060,
   1674   0xfffffff9999999a0, 0xfffffff555555561,
   1675   0xffffffe0999999b9, 0xffffffcbaaaaaae0,
   1676   0xffffffc76666669f, 0xffffffa1aaaaab0a,
   1677   0xffffffae00000052, 0xffffff77555555df,
   1678   0xffffffe700000019, 0xffffffd655555580,
   1679   0xffffffcdccccccff, 0xffffffac555555aa,
   1680   0xffffffb4666666b2, 0xffffff820000007f,
   1681   0xffffe61b6666804b, 0xffffd4d85555807e,
   1682   0xffffffe6cccccce6, 0xffffffd60000002b,
   1683   0xffffffcd66666699, 0xffffffabaaaaab00,
   1684   0xffffe63466668032, 0xffffd50200002aff,
   1685   0xffffcc9b33336698, 0xffffaa58000055a9,
   1686   0xffffffe6999999b3, 0xffffffd5aaaaaad6,
   1687   0xffffe64d9999b34c, 0xffffd52c00002ad5,
   1688   0xffffccb4666699b2, 0xffffaa820000557f,
   1689   0xffffb31b00004ce5, 0xffff7fd7aaab2ad4,
   1690   0xffffe66700001999, 0xffffd55655558000,
   1691   0xffffcccdccccffff, 0xffffaaac5555aaaa,
   1692   0xffffb3346666b332, 0xffff800200007fff,
   1693   0xf5c24290a3d75709, 0xeeee6ef111119110,
   1694   0xffffe666cccce666, 0xffffd55600002aab,
   1695   0xffffcccd66669999, 0xffffaaabaaab0000,
   1696   0xf5c25c29a3d73d70, 0xeeee999abbbc1111,
   1697   0xe4b14b18b4e84e81, 0xd27cd27e82d882d8,
   1698   0xffffe6669999b333, 0xffffd555aaaad556,
   1699   0xf5c275c2d70a570a, 0xeeeec444bbbbe667,
   1700   0xe4b164b1e81b681b, 0xd27cfd2882d8582e,
   1701   0xcb17cb1901b501b4, 0xa7d2527f02d8582d,
   1702   0xf5c28f5c3d70a3d7, 0xeeeeeeef11111112,
   1703   0xe4b17e4b4e81b4e8, 0xd27d27d2d82d82d9,
   1704   0xcb17e4b2681b4e81, 0xa7d27d29582d82d8,
   1705   0xb17e4b194e81b4e7, 0x7d27d27f82d82d82,
   1706   0xeeeeeeef11111111, 0xe38e38e3c71c71c8,
   1707   0xd55555562aaaaaaa, 0xb8e38e3a471c71c7,
   1708   0xbbbbbbbd11111110, 0x8e38e39071c71c71,
   1709   0xa2222223c4444443, 0x638e38e6471c71c6,
   1710   0xe666666719999999, 0xd555555680000000,
   1711   0xcccccccdffffffff, 0xaaaaaaacaaaaaaaa,
   1712   0xb3333334b3333332, 0x800000027fffffff,
   1713   0x9999999b33333332, 0x55555557ffffffff,
   1714   0xe6666666e6666666, 0xd55555562aaaaaab,
   1715   0xcccccccd99999999, 0xaaaaaaac00000000,
   1716   0xb333333419999999, 0x8000000180000000,
   1717   0x9999999a66666666, 0x55555556aaaaaaab,
   1718   0xe6666666b3333333, 0xd5555555d5555556,
   1719   0xcccccccd33333333, 0xaaaaaaab55555556,
   1720   0xb333333380000000, 0x8000000080000001,
   1721   0x91111111a2222222, 0x471c71c80e38e38f,
   1722   0xe666666680000000, 0xd555555580000001,
   1723   0xcccccccccccccccd, 0xaaaaaaaaaaaaaaac,
   1724   0xaaaaaaaaeeeeeeef, 0x71c71c7238e38e3a,
   1725   0x81b4e81be4b17e4b, 0x2d82d82e7d27d27e,
   1726   0xe66666664ccccccd, 0xd55555552aaaaaac,
   1727   0xc44444446eeeeeef, 0x9c71c71cb8e38e3a,
   1728   0x9b4e81b564b17e4b, 0x582d82d8fd27d27e,
   1729   0x681b681bfe4afe4b, 0x02d8582ea7d2527e,
   1730   0xddddddde22222222, 0xc71c71c78e38e38f,
   1731   0xb4e81b4f17e4b17e, 0x82d82d83d27d27d3,
   1732   0x81b501b5b17e317e, 0x2d8302d97d27a7d3,
   1733   0x4e81e81c17e47e4b, 0xd82dd82ed27cd27e,
   1734   0xd70a3d70f5c28f5c, 0xbbbbbbbc44444445,
   1735   0xa3d723d78f5c0f5c, 0x66669111eeeec445,
   1736   0x70a40a3df5c25c29, 0x111166674443eef0,
   1737   0x3d70f0a428f575c3, 0xbbbc3bbc4443c446,
   1738   0xcccce66699998000, 0xaaaad555aaaa8001,
   1739   0x9999ccccffffcccd, 0x5555aaaaffffaaac,
   1740   0x6666b3333332e667, 0x00007fffffff8002,
   1741   0x333399993332ccce, 0xaaab5554aaaa0003,
   1742   0xcccce66666664ccd, 0xaaaad55555552aac,
   1743   0x9999cccc99996667, 0x5555aaaa55550002,
   1744   0x6666b33299994cce, 0x00007ffeffff8003,
   1745   0x333380193332e64e, 0xaaab2ad4aaaa2a83,
   1746   0xcccce6663333199a, 0xaaaad554ffffd557,
   1747   0x9999cccc33330001, 0x5555aaa9aaaa5558,
   1748   0x666699b2cccc9981, 0x0000557f5554ffd8,
   1749   0x333366993332ffce, 0xaaab0054aaaa5503,
   1750   0xcccce665ffffe667, 0xaaaad554aaaa8002,
   1751   0x9999b34c99997fe7, 0x5555802a55552a82,
   1752   0x66668032ffffe634, 0x00002affaaaa7fad,
   1753   0x33334d193333194e, 0xaaaad5d4aaaa7f83,
   1754   0xcccccce699999980, 0xaaaaaad5aaaaaa81,
   1755   0x999999ccffffffcd, 0x555555aaffffffac,
   1756   0x666666b3333332e7, 0x0000007fffffff82,
   1757   0x33333399333332ce, 0xaaaaab54aaaaaa03,
   1758   0xcccccce66666664d, 0xaaaaaad55555552c,
   1759   0x999999cc99999967, 0x555555aa55555502,
   1760   0x666666b29999994e, 0x0000007effffff83,
   1761   0x33333385ffffffae, 0xaaaaab34aaaaaa23,
   1762   0xcccccce63333331a, 0xaaaaaad4ffffffd7,
   1763   0x999999cc33333301, 0x555555a9aaaaaa58,
   1764   0x6666669f99999961, 0x0000005f555554f8,
   1765   0x3333336d333332fa, 0xaaaaab0b555554f7,
   1766   0xcccccce5ffffffe7, 0xaaaaaad4aaaaaa82,
   1767   0x999999b966666647, 0x5555558a55555522,
   1768   0x66666686ffffffe0, 0x0000003655555521,
   1769   0x3333335466666646, 0xaaaaaae1ffffffcb,
   1770   0xccccccd366666660, 0xaaaaaab5aaaaaaa1,
   1771   0x999999a0fffffff9, 0x55555561aaaaaaa0,
   1772   0x6666666e6666665f, 0x0000000d5555554a,
   1773   0x3333333b99999992, 0xaaaaaab8aaaaaa9f,
   1774   0xaaaaaaabffffffff, 0x800000047ffffff8,
   1775   0x55555557aaaaaaa9, 0x000000087ffffff2,
   1776   0x00000002fffffffe, 0x8000000bffffffef,
   1777   0x00000002fffffffe, 0x8000000bffffffef,
   1778   0xaaaaaaabaaaaaaaa, 0x80000003fffffffb,
   1779   0x55555556ffffffff, 0x000000077ffffff8,
   1780   0x55555556ffffffff, 0x000000077ffffff8,
   1781   0x55555556aaaaaaaa, 0x00000006fffffffb,
   1782   0xaaaaaaab55555555, 0x800000037ffffffe,
   1783   0xaaaaaaab55555555, 0x800000037ffffffe,
   1784   0xaaaaaaab00000000, 0x8000000300000001,
   1785   0xaaaaaaaa55555556, 0x8000000200000007,
   1786   0x0000000000000000, 0x0000000000000001,
   1787   0xffffffffaaaaaaab, 0xffffffff80000004,
   1788   0xffffffff00000001, 0xfffffffe8000000a,
   1789   0xfffffff455555561, 0xffffffee8000006a,
   1790   0xffffffffaaaaaaab, 0xffffffff80000004,
   1791   0xffffffff00000001, 0xfffffffe8000000a,
   1792   0xfffffff455555561, 0xffffffee8000006a,
   1793   0xffffffcaaaaaaae0, 0xffffffb0000001e1,
   1794   0xffffffff55555556, 0xffffffff00000007,
   1795   0xfffffff4aaaaaab6, 0xffffffef00000067,
   1796   0xffffffcb00000035, 0xffffffb0800001de,
   1797   0xffffffa10000005f, 0xffffff7180000358,
   1798   0xfffffff555555560, 0xfffffff000000061,
   1799   0xffffffcbaaaaaadf, 0xffffffb1800001d8,
   1800   0xffffffa1aaaaab09, 0xffffff7280000352,
   1801   0xffffff77555555de, 0xffffff33000004cf,
   1802   0xffffffd65555557f, 0xffffffc180000178,
   1803   0xffffffac555555a9, 0xffffff82800002f2,
   1804   0xffffff820000007e, 0xffffff430000046f,
   1805   0xffffd4d85555807d, 0xffffbf4480018466,
   1806   0xffffffd60000002a, 0xffffffc10000017b,
   1807   0xffffffabaaaaaaff, 0xffffff81800002f8,
   1808   0xffffd50200002afe, 0xffffbf83000182ef,
   1809   0xffffaa58000055a8, 0xffff7f84000302e9,
   1810   0xffffffd5aaaaaad5, 0xffffffc08000017e,
   1811   0xffffd52c00002ad4, 0xffffbfc200018175,
   1812   0xffffaa820000557e, 0xffff7fc30003016f,
   1813   0xffff7fd7aaab2ad3, 0xffff3fc38004816c,
   1814   0xffffd55655557fff, 0xffffc00180017ff8,
   1815   0xffffaaac5555aaa9, 0xffff80028002fff2,
   1816   0xffff800200007ffe, 0xffff400300047fef,
   1817   0xeeee6ef11111910f, 0xe665a66a199e1988,
   1818   0xffffd55600002aaa, 0xffffc00100017ffb,
   1819   0xffffaaabaaaaffff, 0xffff80018002fff8,
   1820   0xeeee999abbbc1110, 0xe665e668999c9991,
   1821   0xd27cd27e82d882d7, 0xbbbb3bbf199c9990,
   1822   0xffffd555aaaad555, 0xffffc00080017ffe,
   1823   0xeeeec444bbbbe666, 0xe6662667999b1997,
   1824   0xd27cfd2882d8582d, 0xbbbb7bbe199b1996,
   1825   0xa7d2527f02d8582c, 0x7bbb7bc1199b198d,
   1826   0xeeeeeeef11111111, 0xe66666671999999a,
   1827   0xd27d27d2d82d82d8, 0xbbbbbbbd99999999,
   1828   0xa7d27d29582d82d7, 0x7bbbbbc099999990,
   1829   0x7d27d27f82d82d81, 0x3bbbbbc31999998a,
   1830   0xe38e38e3c71c71c7, 0xd555555680000000,
   1831   0xb8e38e3a471c71c6, 0x955555597ffffff7,
   1832   0x8e38e39071c71c70, 0x5555555bfffffff1,
   1833   0x638e38e6471c71c5, 0x1555555dffffffee,
   1834   0xd55555567fffffff, 0xc0000002fffffff8,
   1835   0xaaaaaaacaaaaaaa9, 0x800000057ffffff2,
   1836   0x800000027ffffffe, 0x400000077fffffef,
   1837   0x55555557fffffffe, 0x00000008ffffffef,
   1838   0xd55555562aaaaaaa, 0xc00000027ffffffb,
   1839   0xaaaaaaabffffffff, 0x800000047ffffff8,
   1840   0x800000017fffffff, 0x40000005fffffff8,
   1841   0x55555556aaaaaaaa, 0x00000006fffffffb,
   1842   0xd5555555d5555555, 0xc0000001fffffffe,
   1843   0xaaaaaaab55555555, 0x800000037ffffffe,
   1844   0x8000000080000000, 0x4000000480000001,
   1845   0x471c71c80e38e38e, 0xeaaaaab17fffffff,
   1846   0xd555555580000000, 0xc000000180000001,
   1847   0xaaaaaaaaaaaaaaab, 0x8000000280000004,
   1848   0x71c71c7238e38e39, 0x2aaaaaaf80000002,
   1849   0x2d82d82e7d27d27d, 0xc444444be6666666,
   1850   0xd55555552aaaaaab, 0xc000000100000004,
   1851   0x9c71c71cb8e38e39, 0x6aaaaaae00000002,
   1852   0x582d82d8fd27d27d, 0x0444444a66666666,
   1853   0x02d8582ea7d2527d, 0x8444844d6664e666,
   1854   0xc71c71c78e38e38e, 0xaaaaaaacffffffff,
   1855   0x82d82d83d27d27d2, 0x4444444966666663,
   1856   0x2d8302d97d27a7d2, 0xc444844c6664e663,
   1857   0xd82dd82ed27cd27d, 0x4444c44ee6636666,
   1858   0xbbbbbbbc44444444, 0x9999999c66666665,
   1859   0x66669111eeeec444, 0x1999d99f6664e665,
   1860   0x111166674443eeef, 0x999a19a1e6636668,
   1861   0xbbbc3bbc4443c445, 0x199a59a3e661e66e,
   1862   0xaaaad555aaaa8000, 0x80004002fffe8001,
   1863   0x5555aaaaffffaaab, 0x000080057ffd0004,
   1864   0x00007fffffff8001, 0x8000c0077ffb800a,
   1865   0xaaab5554aaaa0002, 0x00010008fffa0013,
   1866   0xaaaad55555552aab, 0x800040027ffe8004,
   1867   0x5555aaaa55550001, 0x000080047ffd000a,
   1868   0x00007ffeffff8002, 0x8000c005fffb8013,
   1869   0xaaab2ad4aaaa2a82, 0x0000c048fffb7e93,
   1870   0xaaaad554ffffd556, 0x80004001fffe8007,
   1871   0x5555aaa9aaaa5557, 0x000080037ffd0010,
   1872   0x0000557f5554ffd7, 0x800080467ffcfe90,
   1873   0xaaab0054aaaa5502, 0x00008088fffcfd13,
   1874   0xaaaad554aaaa8001, 0x800040017ffe800a,
   1875   0x5555802a55552a81, 0x000040447ffe7e8a,
   1876   0x00002affaaaa7fac, 0x80004086fffe7d0d,
   1877   0xaaaad5d4aaaa7f82, 0x000040c8fffe7b93,
   1878   0xaaaaaad5aaaaaa80, 0x80000042fffffe81,
   1879   0x555555aaffffffab, 0x000000857ffffd04,
   1880   0x0000007fffffff81, 0x800000c77ffffb8a,
   1881   0xaaaaab54aaaaaa02, 0x00000108fffffa13,
   1882   0xaaaaaad55555552b, 0x800000427ffffe84,
   1883   0x555555aa55555501, 0x000000847ffffd0a,
   1884   0x0000007effffff82, 0x800000c5fffffb93,
   1885   0xaaaaab34aaaaaa22, 0x000000d8fffffb33,
   1886   0xaaaaaad4ffffffd6, 0x80000041fffffe87,
   1887   0x555555a9aaaaaa57, 0x000000837ffffd10,
   1888   0x0000005f555554f7, 0x800000967ffffcb0,
   1889   0xaaaaab0b555554f6, 0x0000009afffffca7,
   1890   0xaaaaaad4aaaaaa81, 0x800000417ffffe8a,
   1891   0x5555558a55555521, 0x000000547ffffe2a,
   1892   0x0000003655555520, 0x80000058fffffe21,
   1893   0xaaaaaae1ffffffca, 0x0000005cfffffe1b,
   1894   0xaaaaaab5aaaaaaa0, 0x80000012ffffffa1,
   1895   0x55555561aaaaaa9f, 0x000000177fffff98,
   1896   0x0000000d55555549, 0x8000001b7fffff92,
   1897   0xaaaaaab8aaaaaa9e, 0x0000001effffff8f,
   1898   0x800000047ffffff7, 0x800000037ffffffb,
   1899   0x000000087ffffff1, 0x000000067ffffff7,
   1900   0x8000000bffffffee, 0x80000008fffffff5,
   1901   0x8000000bffffffee, 0x80000008fffffff5,
   1902   0x80000003fffffffa, 0x80000002fffffffd,
   1903   0x000000077ffffff7, 0x000000057ffffffb,
   1904   0x000000077ffffff7, 0x000000057ffffffb,
   1905   0x00000006fffffffa, 0x00000004fffffffd,
   1906   0x800000037ffffffd, 0x800000027fffffff,
   1907   0x800000037ffffffd, 0x800000027fffffff,
   1908   0x8000000300000000, 0x8000000200000001,
   1909   0x8000000200000006, 0x8000000100000005,
   1910   0x0000000000000000, 0x0000000000000001,
   1911   0xffffffff80000003, 0xffffffff80000003,
   1912   0xfffffffe80000009, 0xfffffffe80000007,
   1913   0xffffffee80000069, 0xffffffee80000047,
   1914   0xffffffff80000003, 0xffffffff80000003,
   1915   0xfffffffe80000009, 0xfffffffe80000007,
   1916   0xffffffee80000069, 0xffffffee80000047,
   1917   0xffffffb0000001e0, 0xffffffb000000141,
   1918   0xffffffff00000006, 0xffffffff00000005,
   1919   0xffffffef00000066, 0xffffffef00000045,
   1920   0xffffffb0800001dd, 0xffffffb08000013f,
   1921   0xffffff7180000357, 0xffffff718000023b,
   1922   0xfffffff000000060, 0xfffffff000000041,
   1923   0xffffffb1800001d7, 0xffffffb18000013b,
   1924   0xffffff7280000351, 0xffffff7280000237,
   1925   0xffffff33000004ce, 0xffffff3300000335,
   1926   0xffffffc180000177, 0xffffffc1800000fb,
   1927   0xffffff82800002f1, 0xffffff82800001f7,
   1928   0xffffff430000046e, 0xffffff43000002f5,
   1929   0xffffbf4480018465, 0xffffbf44800102ef,
   1930   0xffffffc10000017a, 0xffffffc1000000fd,
   1931   0xffffff81800002f7, 0xffffff81800001fb,
   1932   0xffffbf83000182ee, 0xffffbf83000101f5,
   1933   0xffff7f84000302e8, 0xffff7f84000201f1,
   1934   0xffffffc08000017d, 0xffffffc0800000ff,
   1935   0xffffbfc200018174, 0xffffbfc2000100f9,
   1936   0xffff7fc30003016e, 0xffff7fc3000200f5,
   1937   0xffff3fc38004816b, 0xffff3fc3800300f3,
   1938   0xffffc00180017ff7, 0xffffc0018000fffb,
   1939   0xffff80028002fff1, 0xffff80028001fff7,
   1940   0xffff400300047fee, 0xffff40030002fff5,
   1941   0xe665a66a199e1987, 0xe665a669e669665b,
   1942   0xffffc00100017ffa, 0xffffc0010000fffd,
   1943   0xffff80018002fff7, 0xffff80018001fffb,
   1944   0xe665e668999c9990, 0xe665e66866686661,
   1945   0xbbbb3bbf199c998f, 0xbbbb3bbe9113110b,
   1946   0xffffc00080017ffd, 0xffffc0008000ffff,
   1947   0xe6662667999b1996, 0xe666266766676665,
   1948   0xbbbb7bbe199b1995, 0xbbbb7bbd9112110f,
   1949   0x7bbb7bc1199b198c, 0x7bbb7bc011121109,
   1950   0xe666666719999999, 0xe6666666e6666667,
   1951   0xbbbbbbbd99999998, 0xbbbbbbbd11111111,
   1952   0x7bbbbbc09999998f, 0x7bbbbbbf9111110b,
   1953   0x3bbbbbc319999989, 0x3bbbbbc191111107,
   1954   0xd55555567fffffff, 0xd55555562aaaaaab,
   1955   0x955555597ffffff6, 0x95555558aaaaaaa5,
   1956   0x5555555bfffffff0, 0x5555555aaaaaaaa1,
   1957   0x1555555dffffffed, 0x1555555c2aaaaa9f,
   1958   0xc0000002fffffff7, 0xc00000027ffffffb,
   1959   0x800000057ffffff1, 0x800000047ffffff7,
   1960   0x400000077fffffee, 0x40000005fffffff5,
   1961   0x00000008ffffffee, 0x00000006fffffff5,
   1962   0xc00000027ffffffa, 0xc0000001fffffffd,
   1963   0x800000047ffffff7, 0x800000037ffffffb,
   1964   0x40000005fffffff7, 0x400000047ffffffb,
   1965   0x00000006fffffffa, 0x00000004fffffffd,
   1966   0xc0000001fffffffd, 0xc00000017fffffff,
   1967   0x800000037ffffffd, 0x800000027fffffff,
   1968   0x4000000480000000, 0x4000000300000001,
   1969   0xeaaaaab17ffffffe, 0xeaaaaaaf55555555,
   1970   0xc000000180000000, 0xc000000100000001,
   1971   0x8000000280000003, 0x8000000180000003,
   1972   0x2aaaaaaf80000001, 0x2aaaaaadd5555557,
   1973   0xc444444be6666665, 0xc44444496eeeeeef,
   1974   0xc000000100000003, 0xc000000080000003,
   1975   0x6aaaaaae00000001, 0x6aaaaaacd5555557,
   1976   0x0444444a66666665, 0x044444486eeeeeef,
   1977   0x8444844d6664e665, 0x8444844a6eedeeef,
   1978   0xaaaaaaacfffffffe, 0xaaaaaaac55555555,
   1979   0x4444444966666662, 0x44444447eeeeeeed,
   1980   0xc444844c6664e662, 0xc4448449eeedeeed,
   1981   0x4444c44ee6636665, 0x4444c44b6eeceeef,
   1982   0x9999999c66666664, 0x9999999b99999999,
   1983   0x1999d99f6664e664, 0x1999d99d99989999,
   1984   0x999a19a1e6636667, 0x999a199f1997999b,
   1985   0x199a59a3e661e66d, 0x199a59a01996999f,
   1986   0x80004002fffe8000, 0x80004001ffff0001,
   1987   0x000080057ffd0003, 0x000080037ffe0003,
   1988   0x8000c0077ffb8009, 0x8000c0047ffd0007,
   1989   0x00010008fffa0012, 0x00010004fffc000d,
   1990   0x800040027ffe8003, 0x800040017fff0003,
   1991   0x000080047ffd0009, 0x000080027ffe0007,
   1992   0x8000c005fffb8012, 0x8000c002fffd000d,
   1993   0x0000c048fffb7e92, 0x0000c044fffcff0d,
   1994   0x80004001fffe8006, 0x80004000ffff0005,
   1995   0x000080037ffd000f, 0x000080017ffe000b,
   1996   0x800080467ffcfe8f, 0x800080437ffdff0b,
   1997   0x00008088fffcfd12, 0x00008084fffdfe0d,
   1998   0x800040017ffe8009, 0x800040007fff0007,
   1999   0x000040447ffe7e89, 0x000040427ffeff07,
   2000   0x80004086fffe7d0c, 0x80004083fffefe09,
   2001   0x000040c8fffe7b92, 0x000040c4fffefd0d,
   2002   0x80000042fffffe80, 0x80000041ffffff01,
   2003   0x000000857ffffd03, 0x000000837ffffe03,
   2004   0x800000c77ffffb89, 0x800000c47ffffd07,
   2005   0x00000108fffffa12, 0x00000104fffffc0d,
   2006   0x800000427ffffe83, 0x800000417fffff03,
   2007   0x000000847ffffd09, 0x000000827ffffe07,
   2008   0x800000c5fffffb92, 0x800000c2fffffd0d,
   2009   0x000000d8fffffb32, 0x000000d4fffffccd,
   2010   0x80000041fffffe86, 0x80000040ffffff05,
   2011   0x000000837ffffd0f, 0x000000817ffffe0b,
   2012   0x800000967ffffcaf, 0x800000937ffffdcb,
   2013   0x0000009afffffca6, 0x00000096fffffdc5,
   2014   0x800000417ffffe89, 0x800000407fffff07,
   2015   0x000000547ffffe29, 0x000000527ffffec7,
   2016   0x80000058fffffe20, 0x80000055fffffec1,
   2017   0x0000005cfffffe1a, 0x00000058fffffebd,
   2018   0x80000012ffffffa0, 0x80000011ffffffc1,
   2019   0x000000177fffff97, 0x000000157fffffbb,
   2020   0x8000001b7fffff91, 0x800000187fffffb7,
   2021   0x0000001effffff8e, 0x0000001affffffb5,
   2022   0x800000037ffffffa, 0x800000027ffffffe,
   2023   0x000000067ffffff6, 0x000000047ffffffc,
   2024   0x80000008fffffff4, 0x80000005fffffffb,
   2025   0x80000008fffffff4, 0x80000005fffffffb,
   2026   0x80000002fffffffc, 0x80000001ffffffff,
   2027   0x000000057ffffffa, 0x000000037ffffffe,
   2028   0x000000057ffffffa, 0x000000037ffffffe,
   2029   0x00000004fffffffc, 0x00000002ffffffff,
   2030   0x800000027ffffffe, 0x8000000180000000,
   2031   0x800000027ffffffe, 0x8000000180000000,
   2032   0x8000000200000000, 0x8000000100000001,
   2033   0x8000000100000004, 0x8000000000000003,
   2034   0x0000000000000000, 0x0000000000000001,
   2035   0xffffffff80000002, 0xffffffff80000002,
   2036   0xfffffffe80000006, 0xfffffffe80000004,
   2037   0xffffffee80000046, 0xffffffee80000024,
   2038   0xffffffff80000002, 0xffffffff80000002,
   2039   0xfffffffe80000006, 0xfffffffe80000004,
   2040   0xffffffee80000046, 0xffffffee80000024,
   2041   0xffffffb000000140, 0xffffffb0000000a1,
   2042   0xffffffff00000004, 0xffffffff00000003,
   2043   0xffffffef00000044, 0xffffffef00000023,
   2044   0xffffffb08000013e, 0xffffffb0800000a0,
   2045   0xffffff718000023a, 0xffffff718000011e,
   2046   0xfffffff000000040, 0xfffffff000000021,
   2047   0xffffffb18000013a, 0xffffffb18000009e,
   2048   0xffffff7280000236, 0xffffff728000011c,
   2049   0xffffff3300000334, 0xffffff330000019b,
   2050   0xffffffc1800000fa, 0xffffffc18000007e,
   2051   0xffffff82800001f6, 0xffffff82800000fc,
   2052   0xffffff43000002f4, 0xffffff430000017b,
   2053   0xffffbf44800102ee, 0xffffbf4480008178,
   2054   0xffffffc1000000fc, 0xffffffc10000007f,
   2055   0xffffff81800001fa, 0xffffff81800000fe,
   2056   0xffffbf83000101f4, 0xffffbf83000080fb,
   2057   0xffff7f84000201f0, 0xffff7f84000100f9,
   2058   0xffffffc0800000fe, 0xffffffc080000080,
   2059   0xffffbfc2000100f8, 0xffffbfc20000807d,
   2060   0xffff7fc3000200f4, 0xffff7fc30001007b,
   2061   0xffff3fc3800300f2, 0xffff3fc38001807a,
   2062   0xffffc0018000fffa, 0xffffc00180007ffe,
   2063   0xffff80028001fff6, 0xffff80028000fffc,
   2064   0xffff40030002fff4, 0xffff400300017ffb,
   2065   0xe665a669e669665a, 0xe665a669b334b32e,
   2066   0xffffc0010000fffc, 0xffffc00100007fff,
   2067   0xffff80018001fffa, 0xffff80018000fffe,
   2068   0xe665e66866686660, 0xe665e66833343331,
   2069   0xbbbb3bbe9113110a, 0xbbbb3bbe08898886,
   2070   0xffffc0008000fffe, 0xffffc00080008000,
   2071   0xe666266766676664, 0xe66626673333b333,
   2072   0xbbbb7bbd9112110e, 0xbbbb7bbd08890888,
   2073   0x7bbb7bc011121108, 0x7bbb7bbf08890885,
   2074   0xe6666666e6666666, 0xe6666666b3333334,
   2075   0xbbbbbbbd11111110, 0xbbbbbbbc88888889,
   2076   0x7bbbbbbf9111110a, 0x7bbbbbbe88888886,
   2077   0x3bbbbbc191111106, 0x3bbbbbc008888884,
   2078   0xd55555562aaaaaaa, 0xd5555555d5555556,
   2079   0x95555558aaaaaaa4, 0x95555557d5555553,
   2080   0x5555555aaaaaaaa0, 0x5555555955555551,
   2081   0x1555555c2aaaaa9e, 0x1555555a55555550,
   2082   0xc00000027ffffffa, 0xc0000001fffffffe,
   2083   0x800000047ffffff6, 0x800000037ffffffc,
   2084   0x40000005fffffff4, 0x400000047ffffffb,
   2085   0x00000006fffffff4, 0x00000004fffffffb,
   2086   0xc0000001fffffffc, 0xc00000017fffffff,
   2087   0x800000037ffffffa, 0x800000027ffffffe,
   2088   0x400000047ffffffa, 0x40000002fffffffe,
   2089   0x00000004fffffffc, 0x00000002ffffffff,
   2090   0xc00000017ffffffe, 0xc000000100000000,
   2091   0x800000027ffffffe, 0x8000000180000000,
   2092   0x4000000300000000, 0x4000000180000001,
   2093   0xeaaaaaaf55555554, 0xeaaaaaad2aaaaaab,
   2094   0xc000000100000000, 0xc000000080000001,
   2095   0x8000000180000002, 0x8000000080000002,
   2096   0x2aaaaaadd5555556, 0x2aaaaaac2aaaaaac,
   2097   0xc44444496eeeeeee, 0xc4444446f7777778,
   2098   0xc000000080000002, 0xc000000000000002,
   2099   0x6aaaaaacd5555556, 0x6aaaaaabaaaaaaac,
   2100   0x044444486eeeeeee, 0x0444444677777778,
   2101   0x8444844a6eedeeee, 0x844484477776f778,
   2102   0xaaaaaaac55555554, 0xaaaaaaabaaaaaaab,
   2103   0x44444447eeeeeeec, 0x4444444677777777,
   2104   0xc4448449eeedeeec, 0xc44484477776f777,
   2105   0x4444c44b6eeceeee, 0x4444c447f7767778,
   2106   0x9999999b99999998, 0x9999999acccccccd,
   2107   0x1999d99d99989998, 0x1999d99bcccc4ccd,
   2108   0x999a199f1997999a, 0x999a199c4ccbccce,
   2109   0x199a59a01996999e, 0x199a599c4ccb4cd0,
   2110   0x80004001ffff0000, 0x80004000ffff8001,
   2111   0x000080037ffe0002, 0x000080017fff0002,
   2112   0x8000c0047ffd0006, 0x8000c0017ffe8004,
   2113   0x00010004fffc000c, 0x00010000fffe0007,
   2114   0x800040017fff0002, 0x800040007fff8002,
   2115   0x000080027ffe0006, 0x000080007fff0004,
   2116   0x8000c002fffd000c, 0x8000bffffffe8007,
   2117   0x0000c044fffcff0c, 0x0000c040fffe7f87,
   2118   0x80004000ffff0004, 0x80003fffffff8003,
   2119   0x000080017ffe000a, 0x00007fff7fff0006,
   2120   0x800080437ffdff0a, 0x800080407ffeff86,
   2121   0x00008084fffdfe0c, 0x00008080fffeff07,
   2122   0x800040007fff0006, 0x80003fff7fff8004,
   2123   0x000040427ffeff06, 0x000040407fff7f84,
   2124   0x80004083fffefe08, 0x80004080ffff7f05,
   2125   0x000040c4fffefd0c, 0x000040c0ffff7e87,
   2126   0x80000041ffffff00, 0x80000040ffffff81,
   2127   0x000000837ffffe02, 0x000000817fffff02,
   2128   0x800000c47ffffd06, 0x800000c17ffffe84,
   2129   0x00000104fffffc0c, 0x00000100fffffe07,
   2130   0x800000417fffff02, 0x800000407fffff82,
   2131   0x000000827ffffe06, 0x000000807fffff04,
   2132   0x800000c2fffffd0c, 0x800000bffffffe87,
   2133   0x000000d4fffffccc, 0x000000d0fffffe67,
   2134   0x80000040ffffff04, 0x8000003fffffff83,
   2135   0x000000817ffffe0a, 0x0000007f7fffff06,
   2136   0x800000937ffffdca, 0x800000907ffffee6,
   2137   0x00000096fffffdc4, 0x00000092fffffee3,
   2138   0x800000407fffff06, 0x8000003f7fffff84,
   2139   0x000000527ffffec6, 0x000000507fffff64,
   2140   0x80000055fffffec0, 0x80000052ffffff61,
   2141   0x00000058fffffebc, 0x00000054ffffff5f,
   2142   0x80000011ffffffc0, 0x80000010ffffffe1,
   2143   0x000000157fffffba, 0x000000137fffffde,
   2144   0x800000187fffffb6, 0x800000157fffffdc,
   2145   0x0000001affffffb4, 0x00000016ffffffdb,
   2146   0x800000027ffffffd, 0x8000000180000001,
   2147   0x000000047ffffffb, 0x0000000280000001,
   2148   0x80000005fffffffa, 0x8000000300000001,
   2149   0x80000005fffffffa, 0x8000000300000001,
   2150   0x80000001fffffffe, 0x8000000100000001,
   2151   0x000000037ffffffd, 0x0000000180000001,
   2152   0x000000037ffffffd, 0x0000000180000001,
   2153   0x00000002fffffffe, 0x0000000100000001,
   2154   0x800000017fffffff, 0x8000000080000001,
   2155   0x800000017fffffff, 0x8000000080000001,
   2156   0x8000000100000000, 0x8000000000000001,
   2157   0x8000000000000002, 0x7fffffff00000001,
   2158   0x0000000000000000, 0x0000000000000001,
   2159   0xffffffff80000001, 0xffffffff80000001,
   2160   0xfffffffe80000003, 0xfffffffe80000001,
   2161   0xffffffee80000023, 0xffffffee80000001,
   2162   0xffffffff80000001, 0xffffffff80000001,
   2163   0xfffffffe80000003, 0xfffffffe80000001,
   2164   0xffffffee80000023, 0xffffffee80000001,
   2165   0xffffffb0000000a0, 0xffffffb000000001,
   2166   0xffffffff00000002, 0xffffffff00000001,
   2167   0xffffffef00000022, 0xffffffef00000001,
   2168   0xffffffb08000009f, 0xffffffb080000001,
   2169   0xffffff718000011d, 0xffffff7180000001,
   2170   0xfffffff000000020, 0xfffffff000000001,
   2171   0xffffffb18000009d, 0xffffffb180000001,
   2172   0xffffff728000011b, 0xffffff7280000001,
   2173   0xffffff330000019a, 0xffffff3300000001,
   2174   0xffffffc18000007d, 0xffffffc180000001,
   2175   0xffffff82800000fb, 0xffffff8280000001,
   2176   0xffffff430000017a, 0xffffff4300000001,
   2177   0xffffbf4480008177, 0xffffbf4480000001,
   2178   0xffffffc10000007e, 0xffffffc100000001,
   2179   0xffffff81800000fd, 0xffffff8180000001,
   2180   0xffffbf83000080fa, 0xffffbf8300000001,
   2181   0xffff7f84000100f8, 0xffff7f8400000001,
   2182   0xffffffc08000007f, 0xffffffc080000001,
   2183   0xffffbfc20000807c, 0xffffbfc200000001,
   2184   0xffff7fc30001007a, 0xffff7fc300000001,
   2185   0xffff3fc380018079, 0xffff3fc380000001,
   2186   0xffffc00180007ffd, 0xffffc00180000001,
   2187   0xffff80028000fffb, 0xffff800280000001,
   2188   0xffff400300017ffa, 0xffff400300000001,
   2189   0xe665a669b334b32d, 0xe665a66980000001,
   2190   0xffffc00100007ffe, 0xffffc00100000001,
   2191   0xffff80018000fffd, 0xffff800180000001,
   2192   0xe665e66833343330, 0xe665e66800000001,
   2193   0xbbbb3bbe08898885, 0xbbbb3bbd80000001,
   2194   0xffffc00080007fff, 0xffffc00080000001,
   2195   0xe66626673333b332, 0xe666266700000001,
   2196   0xbbbb7bbd08890887, 0xbbbb7bbc80000001,
   2197   0x7bbb7bbf08890884, 0x7bbb7bbe00000001,
   2198   0xe6666666b3333333, 0xe666666680000001,
   2199   0xbbbbbbbc88888888, 0xbbbbbbbc00000001,
   2200   0x7bbbbbbe88888885, 0x7bbbbbbd80000001,
   2201   0x3bbbbbc008888883, 0x3bbbbbbe80000001,
   2202   0xd5555555d5555555, 0xd555555580000001,
   2203   0x95555557d5555552, 0x9555555700000001,
   2204   0x5555555955555550, 0x5555555800000001,
   2205   0x1555555a5555554f, 0x1555555880000001,
   2206   0xc0000001fffffffd, 0xc000000180000001,
   2207   0x800000037ffffffb, 0x8000000280000001,
   2208   0x400000047ffffffa, 0x4000000300000001,
   2209   0x00000004fffffffa, 0x0000000300000001,
   2210   0xc00000017ffffffe, 0xc000000100000001,
   2211   0x800000027ffffffd, 0x8000000180000001,
   2212   0x40000002fffffffd, 0x4000000180000001,
   2213   0x00000002fffffffe, 0x0000000100000001,
   2214   0xc0000000ffffffff, 0xc000000080000001,
   2215   0x800000017fffffff, 0x8000000080000001,
   2216   0x4000000180000000, 0x4000000000000001,
   2217   0xeaaaaaad2aaaaaaa, 0xeaaaaaab00000001,
   2218   0xc000000080000000, 0xc000000000000001,
   2219   0x8000000080000001, 0x7fffffff80000001,
   2220   0x2aaaaaac2aaaaaab, 0x2aaaaaaa80000001,
   2221   0xc4444446f7777777, 0xc444444480000001,
   2222   0xc000000000000001, 0xbfffffff80000001,
   2223   0x6aaaaaabaaaaaaab, 0x6aaaaaaa80000001,
   2224   0x0444444677777777, 0x0444444480000001,
   2225   0x844484477776f777, 0x8444844480000001,
   2226   0xaaaaaaabaaaaaaaa, 0xaaaaaaab00000001,
   2227   0x4444444677777776, 0x4444444500000001,
   2228   0xc44484477776f776, 0xc444844500000001,
   2229   0x4444c447f7767777, 0x4444c44480000001,
   2230   0x9999999acccccccc, 0x9999999a00000001,
   2231   0x1999d99bcccc4ccc, 0x1999d99a00000001,
   2232   0x999a199c4ccbcccd, 0x999a199980000001,
   2233   0x199a599c4ccb4ccf, 0x199a599880000001,
   2234   0x80004000ffff8000, 0x8000400000000001,
   2235   0x000080017fff0001, 0x00007fff80000001,
   2236   0x8000c0017ffe8003, 0x8000bffe80000001,
   2237   0x00010000fffe0006, 0x0000fffd00000001,
   2238   0x800040007fff8001, 0x80003fff80000001,
   2239   0x000080007fff0003, 0x00007ffe80000001,
   2240   0x8000bffffffe8006, 0x8000bffd00000001,
   2241   0x0000c040fffe7f86, 0x0000c03d00000001,
   2242   0x80003fffffff8002, 0x80003fff00000001,
   2243   0x00007fff7fff0005, 0x00007ffd80000001,
   2244   0x800080407ffeff85, 0x8000803d80000001,
   2245   0x00008080fffeff06, 0x0000807d00000001,
   2246   0x80003fff7fff8003, 0x80003ffe80000001,
   2247   0x000040407fff7f83, 0x0000403e80000001,
   2248   0x80004080ffff7f04, 0x8000407e00000001,
   2249   0x000040c0ffff7e86, 0x000040bd00000001,
   2250   0x80000040ffffff80, 0x8000004000000001,
   2251   0x000000817fffff01, 0x0000007f80000001,
   2252   0x800000c17ffffe83, 0x800000be80000001,
   2253   0x00000100fffffe06, 0x000000fd00000001,
   2254   0x800000407fffff81, 0x8000003f80000001,
   2255   0x000000807fffff03, 0x0000007e80000001,
   2256   0x800000bffffffe86, 0x800000bd00000001,
   2257   0x000000d0fffffe66, 0x000000cd00000001,
   2258   0x8000003fffffff82, 0x8000003f00000001,
   2259   0x0000007f7fffff05, 0x0000007d80000001,
   2260   0x800000907ffffee5, 0x8000008d80000001,
   2261   0x00000092fffffee2, 0x0000008f00000001,
   2262   0x8000003f7fffff83, 0x8000003e80000001,
   2263   0x000000507fffff63, 0x0000004e80000001,
   2264   0x80000052ffffff60, 0x8000005000000001,
   2265   0x00000054ffffff5e, 0x0000005100000001,
   2266   0x80000010ffffffe0, 0x8000001000000001,
   2267   0x000000137fffffdd, 0x0000001180000001,
   2268   0x800000157fffffdb, 0x8000001280000001,
   2269   0x00000016ffffffda, 0x0000001300000001,
   2270   0x8000000180000000, 0x8000000080000004,
   2271   0x0000000280000000, 0x0000000080000006,
   2272   0x8000000300000000, 0x8000000000000007,
   2273   0x8000000300000000, 0x8000000000000007,
   2274   0x8000000100000000, 0x8000000000000003,
   2275   0x0000000180000000, 0xffffffff80000004,
   2276   0x0000000180000000, 0xffffffff80000004,
   2277   0x0000000100000000, 0xffffffff00000003,
   2278   0x8000000080000000, 0x7fffffff80000002,
   2279   0x8000000080000000, 0x7fffffff80000002,
   2280   0x8000000000000000, 0x7fffffff00000001,
   2281   0x7fffffff00000000, 0x7ffffffdffffffff,
   2282   0x0000000000000000, 0x0000000000000001,
   2283   0xffffffff80000000, 0xffffffff80000000,
   2284   0xfffffffe80000000, 0xfffffffe7ffffffe,
   2285   0xffffffee80000000, 0xffffffee7fffffde,
   2286   0xffffffff80000000, 0xffffffff80000000,
   2287   0xfffffffe80000000, 0xfffffffe7ffffffe,
   2288   0xffffffee80000000, 0xffffffee7fffffde,
   2289   0xffffffb000000000, 0xffffffafffffff61,
   2290   0xffffffff00000000, 0xfffffffeffffffff,
   2291   0xffffffef00000000, 0xffffffeeffffffdf,
   2292   0xffffffb080000000, 0xffffffb07fffff62,
   2293   0xffffff7180000000, 0xffffff717ffffee4,
   2294   0xfffffff000000000, 0xffffffefffffffe1,
   2295   0xffffffb180000000, 0xffffffb17fffff64,
   2296   0xffffff7280000000, 0xffffff727ffffee6,
   2297   0xffffff3300000000, 0xffffff32fffffe67,
   2298   0xffffffc180000000, 0xffffffc17fffff84,
   2299   0xffffff8280000000, 0xffffff827fffff06,
   2300   0xffffff4300000000, 0xffffff42fffffe87,
   2301   0xffffbf4480000000, 0xffffbf447fff7e8a,
   2302   0xffffffc100000000, 0xffffffc0ffffff83,
   2303   0xffffff8180000000, 0xffffff817fffff04,
   2304   0xffffbf8300000000, 0xffffbf82ffff7f07,
   2305   0xffff7f8400000000, 0xffff7f83fffeff09,
   2306   0xffffffc080000000, 0xffffffc07fffff82,
   2307   0xffffbfc200000000, 0xffffbfc1ffff7f85,
   2308   0xffff7fc300000000, 0xffff7fc2fffeff87,
   2309   0xffff3fc380000000, 0xffff3fc37ffe7f88,
   2310   0xffffc00180000000, 0xffffc0017fff8004,
   2311   0xffff800280000000, 0xffff80027fff0006,
   2312   0xffff400300000000, 0xffff4002fffe8007,
   2313   0xe665a66980000000, 0xe665a6694ccb4cd4,
   2314   0xffffc00100000000, 0xffffc000ffff8003,
   2315   0xffff800180000000, 0xffff80017fff0004,
   2316   0xe665e66800000000, 0xe665e667cccbccd1,
   2317   0xbbbb3bbd80000000, 0xbbbb3bbcf776777c,
   2318   0xffffc00080000000, 0xffffc0007fff8002,
   2319   0xe666266700000000, 0xe6662666cccc4ccf,
   2320   0xbbbb7bbc80000000, 0xbbbb7bbbf776f77a,
   2321   0x7bbb7bbe00000000, 0x7bbb7bbcf776f77d,
   2322   0xe666666680000000, 0xe66666664cccccce,
   2323   0xbbbbbbbc00000000, 0xbbbbbbbb77777779,
   2324   0x7bbbbbbd80000000, 0x7bbbbbbc7777777c,
   2325   0x3bbbbbbe80000000, 0x3bbbbbbcf777777e,
   2326   0xd555555580000000, 0xd55555552aaaaaac,
   2327   0x9555555700000000, 0x955555562aaaaaaf,
   2328   0x5555555800000000, 0x55555556aaaaaab1,
   2329   0x1555555880000000, 0x15555556aaaaaab2,
   2330   0xc000000180000000, 0xc000000100000004,
   2331   0x8000000280000000, 0x8000000180000006,
   2332   0x4000000300000000, 0x4000000180000007,
   2333   0x0000000300000000, 0x0000000100000007,
   2334   0xc000000100000000, 0xc000000080000003,
   2335   0x8000000180000000, 0x8000000080000004,
   2336   0x4000000180000000, 0x4000000000000004,
   2337   0x0000000100000000, 0xffffffff00000003,
   2338   0xc000000080000000, 0xc000000000000002,
   2339   0x8000000080000000, 0x7fffffff80000002,
   2340   0x4000000000000000, 0x3ffffffe80000001,
   2341   0xeaaaaaab00000000, 0xeaaaaaa8d5555557,
   2342   0xc000000000000000, 0xbfffffff80000001,
   2343   0x7fffffff80000000, 0x7ffffffe80000000,
   2344   0x2aaaaaaa80000000, 0x2aaaaaa8d5555556,
   2345   0xc444444480000000, 0xc44444420888888a,
   2346   0xbfffffff80000000, 0xbfffffff00000000,
   2347   0x6aaaaaaa80000000, 0x6aaaaaa955555556,
   2348   0x0444444480000000, 0x044444428888888a,
   2349   0x8444844480000000, 0x844484418889088a,
   2350   0xaaaaaaab00000000, 0xaaaaaaaa55555557,
   2351   0x4444444500000000, 0x444444438888888b,
   2352   0xc444844500000000, 0xc44484428889088b,
   2353   0x4444c44480000000, 0x4444c4410889888a,
   2354   0x9999999a00000000, 0x9999999933333335,
   2355   0x1999d99a00000000, 0x1999d9983333b335,
   2356   0x999a199980000000, 0x999a1996b3343334,
   2357   0x199a599880000000, 0x199a5994b334b332,
   2358   0x8000400000000000, 0x80003fff00008001,
   2359   0x00007fff80000000, 0x00007ffd80010000,
   2360   0x8000bffe80000000, 0x8000bffb80017ffe,
   2361   0x0000fffd00000000, 0x0000fff90001fffb,
   2362   0x80003fff80000000, 0x80003ffe80008000,
   2363   0x00007ffe80000000, 0x00007ffc8000fffe,
   2364   0x8000bffd00000000, 0x8000bffa00017ffb,
   2365   0x0000c03d00000000, 0x0000c0390001807b,
   2366   0x80003fff00000000, 0x80003ffe00007fff,
   2367   0x00007ffd80000000, 0x00007ffb8000fffc,
   2368   0x8000803d80000000, 0x8000803a8001007c,
   2369   0x0000807d00000000, 0x00008079000100fb,
   2370   0x80003ffe80000000, 0x80003ffd80007ffe,
   2371   0x0000403e80000000, 0x0000403c8000807e,
   2372   0x8000407e00000000, 0x8000407b000080fd,
   2373   0x000040bd00000000, 0x000040b90000817b,
   2374   0x8000004000000000, 0x8000003f00000081,
   2375   0x0000007f80000000, 0x0000007d80000100,
   2376   0x800000be80000000, 0x800000bb8000017e,
   2377   0x000000fd00000000, 0x000000f9000001fb,
   2378   0x8000003f80000000, 0x8000003e80000080,
   2379   0x0000007e80000000, 0x0000007c800000fe,
   2380   0x800000bd00000000, 0x800000ba0000017b,
   2381   0x000000cd00000000, 0x000000c90000019b,
   2382   0x8000003f00000000, 0x8000003e0000007f,
   2383   0x0000007d80000000, 0x0000007b800000fc,
   2384   0x8000008d80000000, 0x8000008a8000011c,
   2385   0x0000008f00000000, 0x0000008b0000011f,
   2386   0x8000003e80000000, 0x8000003d8000007e,
   2387   0x0000004e80000000, 0x0000004c8000009e,
   2388   0x8000005000000000, 0x8000004d000000a1,
   2389   0x0000005100000000, 0x0000004d000000a3,
   2390   0x8000001000000000, 0x8000000f00000021,
   2391   0x0000001180000000, 0x0000000f80000024,
   2392   0x8000001280000000, 0x8000000f80000026,
   2393   0x0000001300000000, 0x0000000f00000027,
   2394   0x8000000080000003, 0x55555557ffffffff,
   2395   0x0000000080000005, 0xaaaaaaaf55555553,
   2396   0x8000000000000006, 0x00000005fffffffd,
   2397   0x8000000000000006, 0x00000005fffffffd,
   2398   0x8000000000000002, 0x5555555755555555,
   2399   0xffffffff80000003, 0xaaaaaaadffffffff,
   2400   0xffffffff80000003, 0xaaaaaaadffffffff,
   2401   0xffffffff00000002, 0xaaaaaaad55555555,
   2402   0x7fffffff80000001, 0x55555556aaaaaaab,
   2403   0x7fffffff80000001, 0x55555556aaaaaaab,
   2404   0x7fffffff00000000, 0x5555555600000001,
   2405   0x7ffffffdfffffffe, 0x55555554aaaaaaad,
   2406   0x0000000000000000, 0x0000000000000001,
   2407   0xffffffff7fffffff, 0xffffffff55555557,
   2408   0xfffffffe7ffffffd, 0xfffffffe00000003,
   2409   0xffffffee7fffffdd, 0xffffffe8aaaaaac3,
   2410   0xffffffff7fffffff, 0xffffffff55555557,
   2411   0xfffffffe7ffffffd, 0xfffffffe00000003,
   2412   0xffffffee7fffffdd, 0xffffffe8aaaaaac3,
   2413   0xffffffafffffff60, 0xffffff95555555c1,
   2414   0xfffffffefffffffe, 0xfffffffeaaaaaaad,
   2415   0xffffffeeffffffde, 0xffffffe95555556d,
   2416   0xffffffb07fffff61, 0xffffff960000006b,
   2417   0xffffff717ffffee3, 0xffffff42000000bf,
   2418   0xffffffefffffffe0, 0xffffffeaaaaaaac1,
   2419   0xffffffb17fffff63, 0xffffff97555555bf,
   2420   0xffffff727ffffee5, 0xffffff4355555613,
   2421   0xffffff32fffffe66, 0xfffffeeeaaaaabbd,
   2422   0xffffffc17fffff83, 0xffffffacaaaaaaff,
   2423   0xffffff827fffff05, 0xffffff58aaaaab53,
   2424   0xffffff42fffffe86, 0xffffff04000000fd,
   2425   0xffffbf447fff7e89, 0xffffa9b0aaab00fb,
   2426   0xffffffc0ffffff82, 0xffffffac00000055,
   2427   0xffffff817fffff03, 0xffffff57555555ff,
   2428   0xffffbf82ffff7f06, 0xffffaa04000055fd,
   2429   0xffff7f83fffeff08, 0xffff54b00000ab51,
   2430   0xffffffc07fffff81, 0xffffffab555555ab,
   2431   0xffffbfc1ffff7f84, 0xffffaa58000055a9,
   2432   0xffff7fc2fffeff86, 0xffff55040000aafd,
   2433   0xffff3fc37ffe7f87, 0xfffeffaf555655a7,
   2434   0xffffc0017fff8003, 0xffffaaacaaaaffff,
   2435   0xffff80027fff0005, 0xffff5558aaab5553,
   2436   0xffff4002fffe8006, 0xffff00040000fffd,
   2437   0xe665a6694ccb4cd3, 0xdddcdde22223221f,
   2438   0xffffc000ffff8002, 0xffffaaac00005555,
   2439   0xffff80017fff0003, 0xffff55575555ffff,
   2440   0xe665e667cccbccd0, 0xdddd333577782221,
   2441   0xbbbb3bbcf776777b, 0xa4f9a4fd05b105af,
   2442   0xffffc0007fff8001, 0xffffaaab5555aaab,
   2443   0xe6662666cccc4cce, 0xdddd88897777cccd,
   2444   0xbbbb7bbbf776f779, 0xa4f9fa5105b0b05b,
   2445   0x7bbb7bbcf776f77c, 0x4fa4a4fe05b0b059,
   2446   0xe66666664ccccccd, 0xddddddde22222223,
   2447   0xbbbbbbbb77777778, 0xa4fa4fa5b05b05b1,
   2448   0x7bbbbbbc7777777b, 0x4fa4fa52b05b05af,
   2449   0x3bbbbbbcf777777d, 0xfa4fa4ff05b05b03,
   2450   0xd55555552aaaaaab, 0xc71c71c78e38e38f,
   2451   0x955555562aaaaaae, 0x71c71c748e38e38d,
   2452   0x55555556aaaaaab0, 0x1c71c720e38e38e1,
   2453   0x15555556aaaaaab1, 0xc71c71cc8e38e38b,
   2454   0xc000000100000003, 0xaaaaaaacffffffff,
   2455   0x8000000180000005, 0x5555555955555553,
   2456   0x4000000180000006, 0x00000004fffffffd,
   2457   0x0000000100000006, 0xaaaaaaaffffffffd,
   2458   0xc000000080000002, 0xaaaaaaac55555555,
   2459   0x8000000080000003, 0x55555557ffffffff,
   2460   0x4000000000000003, 0x00000002ffffffff,
   2461   0xffffffff00000002, 0xaaaaaaad55555555,
   2462   0xc000000000000001, 0xaaaaaaabaaaaaaab,
   2463   0x7fffffff80000001, 0x55555556aaaaaaab,
   2464   0x3ffffffe80000000, 0x0000000100000001,
   2465   0xeaaaaaa8d5555556, 0x8e38e3901c71c71d,
   2466   0xbfffffff80000000, 0xaaaaaaab00000001,
   2467   0x7ffffffe7fffffff, 0x5555555555555557,
   2468   0x2aaaaaa8d5555555, 0xe38e38e471c71c73,
   2469   0xc444444208888889, 0x5b05b05cfa4fa4fb,
   2470   0xbffffffeffffffff, 0xaaaaaaaa55555557,
   2471   0x6aaaaaa955555555, 0x38e38e3971c71c73,
   2472   0x0444444288888889, 0xb05b05b1fa4fa4fb,
   2473   0x8444844188890889, 0x05b0b05d4fa4a4fb,
   2474   0xaaaaaaaa55555556, 0x8e38e38f1c71c71d,
   2475   0x444444438888888a, 0x05b05b07a4fa4fa5,
   2476   0xc44484428889088a, 0x5b0605b2fa4f4fa5,
   2477   0x4444c44108898889, 0xb05bb05da4f9a4fb,
   2478   0x9999999933333334, 0x7777777888888889,
   2479   0x1999d9983333b334, 0xcccd2223dddd8889,
   2480   0x999a1996b3343333, 0x2222ccce8887dddf,
   2481   0x199a5994b334b331, 0x777877788887888b,
   2482   0x80003fff00008000, 0x5555aaab55550001,
   2483   0x00007ffd8000ffff, 0xaaab5555ffff5557,
   2484   0x8000bffb80017ffd, 0x0000ffffffff0003,
   2485   0x0000fff90001fffa, 0x5556aaa955540005,
   2486   0x80003ffe80007fff, 0x5555aaaaaaaa5557,
   2487   0x00007ffc8000fffd, 0xaaab5554aaaa0003,
   2488   0x8000bffa00017ffa, 0x0000fffdffff0005,
   2489   0x0000c0390001807a, 0x555655a955545505,
   2490   0x80003ffe00007ffe, 0x5555aaa9ffffaaad,
   2491   0x00007ffb8000fffb, 0xaaab55535554aaaf,
   2492   0x8000803a8001007b, 0x0000aafeaaa9ffaf,
   2493   0x00008079000100fa, 0x555600a95554aa05,
   2494   0x80003ffd80007ffd, 0x5555aaa955550003,
   2495   0x0000403c8000807d, 0xaaab0054aaaa5503,
   2496   0x8000407b000080fc, 0x000055ff5554ff59,
   2497   0x000040b90000817a, 0x5555aba95554ff05,
   2498   0x8000003f00000080, 0x555555ab55555501,
   2499   0x0000007d800000ff, 0xaaaaab55ffffff57,
   2500   0x800000bb8000017d, 0x000000ffffffff03,
   2501   0x000000f9000001fa, 0x555556a955555405,
   2502   0x8000003e8000007f, 0x555555aaaaaaaa57,
   2503   0x0000007c800000fd, 0xaaaaab54aaaaaa03,
   2504   0x800000ba0000017a, 0x000000fdffffff05,
   2505   0x000000c90000019a, 0x5555566955555445,
   2506   0x8000003e0000007e, 0x555555a9ffffffad,
   2507   0x0000007b800000fb, 0xaaaaab53555554af,
   2508   0x8000008a8000011b, 0x000000beaaaaa9ef,
   2509   0x0000008b0000011e, 0x55555616aaaaa9ed,
   2510   0x8000003d8000007d, 0x555555a955555503,
   2511   0x0000004c8000009d, 0xaaaaab14aaaaaa43,
   2512   0x8000004d000000a0, 0x0000006caaaaaa41,
   2513   0x0000004d000000a2, 0x555555c3ffffff95,
   2514   0x8000000f00000020, 0x5555556b55555541,
   2515   0x0000000f80000023, 0xaaaaaac35555553f,
   2516   0x8000000f80000025, 0x0000001aaaaaaa93,
   2517   0x0000000f00000026, 0x555555715555553d,
   2518   0x55555557fffffffe, 0x3333333666666665,
   2519   0xaaaaaaaf55555552, 0x6666666bfffffffd,
   2520   0x00000005fffffffc, 0x999999a0ccccccc9,
   2521   0x00000005fffffffc, 0x999999a0ccccccc9,
   2522   0x5555555755555554, 0x3333333599999999,
   2523   0xaaaaaaadfffffffe, 0x6666666a66666665,
   2524   0xaaaaaaadfffffffe, 0x6666666a66666665,
   2525   0xaaaaaaad55555554, 0x6666666999999999,
   2526   0x55555556aaaaaaaa, 0x33333334cccccccd,
   2527   0x55555556aaaaaaaa, 0x33333334cccccccd,
   2528   0x5555555600000000, 0x3333333400000001,
   2529   0x55555554aaaaaaac, 0x3333333266666669,
   2530   0x0000000000000000, 0x0000000000000001,
   2531   0xffffffff55555556, 0xffffffff33333335,
   2532   0xfffffffe00000002, 0xfffffffd9999999d,
   2533   0xffffffe8aaaaaac2, 0xffffffe40000001d,
   2534   0xffffffff55555556, 0xffffffff33333335,
   2535   0xfffffffe00000002, 0xfffffffd9999999d,
   2536   0xffffffe8aaaaaac2, 0xffffffe40000001d,
   2537   0xffffff95555555c0, 0xffffff8000000081,
   2538   0xfffffffeaaaaaaac, 0xfffffffe66666669,
   2539   0xffffffe95555556c, 0xffffffe4cccccce9,
   2540   0xffffff960000006a, 0xffffff80cccccd4d,
   2541   0xffffff42000000be, 0xffffff1c000000e5,
   2542   0xffffffeaaaaaaac0, 0xffffffe666666681,
   2543   0xffffff97555555be, 0xffffff82666666e5,
   2544   0xffffff4355555612, 0xffffff1d99999a7d,
   2545   0xfffffeeeaaaaabbc, 0xfffffeb800000149,
   2546   0xffffffacaaaaaafe, 0xffffff9c00000065,
   2547   0xffffff58aaaaab52, 0xffffff37333333fd,
   2548   0xffffff04000000fc, 0xfffffed199999ac9,
   2549   0xffffa9b0aaab00fa, 0xffff986d999a012d,
   2550   0xffffffac00000054, 0xffffff9b33333399,
   2551   0xffffff57555555fe, 0xffffff3599999a65,
   2552   0xffffaa04000055fc, 0xffff98d1999a00c9,
   2553   0xffff54b00000ab50, 0xffff326ccccd9a61,
   2554   0xffffffab555555aa, 0xffffff9a666666cd,
   2555   0xffffaa58000055a8, 0xffff99366666cd31,
   2556   0xffff55040000aafc, 0xffff32d1999a66c9,
   2557   0xfffeffaf555655a6, 0xfffecc6c00013395,
   2558   0xffffaaacaaaafffe, 0xffff999c00006665,
   2559   0xffff5558aaab5552, 0xffff33373333fffd,
   2560   0xffff00040000fffc, 0xfffeccd1999accc9,
   2561   0xdddcdde22223221e, 0xd7090a428f5d5c25,
   2562   0xffffaaac00005554, 0xffff999b33339999,
   2563   0xffff55575555fffe, 0xffff3335999a6665,
   2564   0xdddd333577782220, 0xd70970a68f5cf5c1,
   2565   0xa4f9a4fd05b105ae, 0x92c52c62d3a13a05,
   2566   0xffffaaab5555aaaa, 0xffff999a6666cccd,
   2567   0xdddd88897777cccc, 0xd709d70b5c295c29,
   2568   0xa4f9fa5105b0b05a, 0x92c592c7a06da06d,
   2569   0x4fa4a4fe05b0b058, 0x2c5f2c6406d406d1,
   2570   0xddddddde22222222, 0xd70a3d70f5c28f5d,
   2571   0xa4fa4fa5b05b05b0, 0x92c5f92d3a06d3a1,
   2572   0x4fa4fa52b05b05ae, 0x2c5f92c9a06d3a05,
   2573   0xfa4fa4ff05b05b02, 0xc5f92c653a06d39d,
   2574   0xc71c71c78e38e38e, 0xbbbbbbbc44444445,
   2575   0x71c71c748e38e38c, 0x55555558aaaaaaa9,
   2576   0x1c71c720e38e38e0, 0xeeeeeef444444441,
   2577   0xc71c71cc8e38e38a, 0x8888888f1111110d,
   2578   0xaaaaaaacfffffffe, 0x9999999c66666665,
   2579   0x5555555955555552, 0x33333337fffffffd,
   2580   0x00000004fffffffc, 0xccccccd2ccccccc9,
   2581   0xaaaaaaaffffffffc, 0x6666666cccccccc9,
   2582   0xaaaaaaac55555554, 0x9999999b99999999,
   2583   0x55555557fffffffe, 0x3333333666666665,
   2584   0x00000002fffffffe, 0xccccccd066666665,
   2585   0xaaaaaaad55555554, 0x6666666999999999,
   2586   0xaaaaaaabaaaaaaaa, 0x9999999acccccccd,
   2587   0x55555556aaaaaaaa, 0x33333334cccccccd,
   2588   0x0000000100000000, 0xccccccce00000001,
   2589   0x8e38e3901c71c71c, 0x4444444688888889,
   2590   0xaaaaaaab00000000, 0x9999999a00000001,
   2591   0x5555555555555556, 0x3333333333333335,
   2592   0xe38e38e471c71c72, 0xaaaaaaabbbbbbbbd,
   2593   0x5b05b05cfa4fa4fa, 0x06d3a06f92c5f92d,
   2594   0xaaaaaaaa55555556, 0x9999999933333335,
   2595   0x38e38e3971c71c72, 0x11111111bbbbbbbd,
   2596   0xb05b05b1fa4fa4fa, 0x6d3a06d592c5f92d,
   2597   0x05b0b05d4fa4a4fa, 0xa06da06ff92bf92d,
   2598   0x8e38e38f1c71c71c, 0x7777777888888889,
   2599   0x05b05b07a4fa4fa4, 0xd3a06d3c5f92c5f9,
   2600   0x5b0605b2fa4f4fa4, 0x06d406d6c5f8c5f9,
   2601   0xb05bb05da4f9a4fa, 0x3a07a0705f91f92d,
   2602   0x7777777888888888, 0x5c28f5c3d70a3d71,
   2603   0xcccd2223dddd8888, 0x8f5c8f5e3d703d71,
   2604   0x2222ccce8887ddde, 0xc29028f7d70970a5,
   2605   0x777877788887888a, 0xf5c3c290a3d5d70d,
   2606   0x5555aaab55550000, 0x3333999a66660001,
   2607   0xaaab5555ffff5556, 0x66673333ffff3335,
   2608   0x0000ffffffff0002, 0x999acccccccb999d,
   2609   0x5556aaa955540004, 0xccce6664cccb3339,
   2610   0x5555aaaaaaaa5556, 0x3333999999993335,
   2611   0xaaab5554aaaa0002, 0x666733326665999d,
   2612   0x0000fffdffff0004, 0x999accca66653339,
   2613   0x555655a955545504, 0xccce0064cccb9939,
   2614   0x5555aaa9ffffaaac, 0x33339998cccc6669,
   2615   0xaaab55535554aaae, 0x66673330cccc0005,
   2616   0x0000aafeaaa9ffae, 0x999a66cb33326605,
   2617   0x555600a95554aa04, 0xcccd9a64cccbff39,
   2618   0x5555aaa955550002, 0x33339997ffff999d,
   2619   0xaaab0054aaaa5502, 0x6666cd326665ff9d,
   2620   0x000055ff5554ff58, 0x999a00cbffff98d1,
   2621   0x5555aba95554ff04, 0xcccd3464cccc6539,
   2622   0x555555ab55555500, 0x3333339a66666601,
   2623   0xaaaaab55ffffff56, 0x66666733ffffff35,
   2624   0x000000ffffffff02, 0x99999acccccccb9d,
   2625   0x555556a955555404, 0xccccce64cccccb39,
   2626   0x555555aaaaaaaa56, 0x3333339999999935,
   2627   0xaaaaab54aaaaaa02, 0x666667326666659d,
   2628   0x000000fdffffff04, 0x99999aca66666539,
   2629   0x5555566955555444, 0xccccce17fffffeb9,
   2630   0x555555a9ffffffac, 0x33333398cccccc69,
   2631   0xaaaaab53555554ae, 0x66666730cccccc05,
   2632   0x000000beaaaaa9ee, 0x99999a7e66666585,
   2633   0x55555616aaaaa9ec, 0xcccccdb4cccccbe9,
   2634   0x555555a955555502, 0x33333397ffffff9d,
   2635   0xaaaaab14aaaaaa42, 0x666666e59999991d,
   2636   0x0000006caaaaaa40, 0x99999a1bffffff81,
   2637   0x555555c3ffffff94, 0xcccccd5199999919,
   2638   0x5555556b55555540, 0x3333334d99999981,
   2639   0xaaaaaac35555553e, 0x66666683ffffffe5,
   2640   0x0000001aaaaaaa92, 0x999999b99999997d,
   2641   0x555555715555553c, 0xccccccee66666649,
   2642   0x3333333666666664, 0x00008002fffe8001,
   2643   0x6666666bfffffffc, 0x00010004fffd8001,
   2644   0x999999a0ccccccc8, 0x00018005fffd0001,
   2645   0x999999a0ccccccc8, 0x00018005fffd0001,
   2646   0x3333333599999998, 0x00008001ffff0001,
   2647   0x6666666a66666664, 0x00010002fffe8001,
   2648   0x6666666a66666664, 0x00010002fffe8001,
   2649   0x6666666999999998, 0x00010001ffff0001,
   2650   0x33333334cccccccc, 0x00008000ffff8001,
   2651   0x33333334cccccccc, 0x00008000ffff8001,
   2652   0x3333333400000000, 0x0000800000000001,
   2653   0x3333333266666668, 0x00007ffe00010001,
   2654   0x0000000000000000, 0x0000000000000001,
   2655   0xffffffff33333334, 0xffffffff00008001,
   2656   0xfffffffd9999999c, 0xfffffffd00018001,
   2657   0xffffffe40000001c, 0xffffffdd00118001,
   2658   0xffffffff33333334, 0xffffffff00008001,
   2659   0xfffffffd9999999c, 0xfffffffd00018001,
   2660   0xffffffe40000001c, 0xffffffdd00118001,
   2661   0xffffff8000000080, 0xffffff6000500001,
   2662   0xfffffffe66666668, 0xfffffffe00010001,
   2663   0xffffffe4cccccce8, 0xffffffde00110001,
   2664   0xffffff80cccccd4c, 0xffffff61004f8001,
   2665   0xffffff1c000000e4, 0xfffffee3008e8001,
   2666   0xffffffe666666680, 0xffffffe000100001,
   2667   0xffffff82666666e4, 0xffffff63004e8001,
   2668   0xffffff1d99999a7c, 0xfffffee5008d8001,
   2669   0xfffffeb800000148, 0xfffffe6600cd0001,
   2670   0xffffff9c00000064, 0xffffff83003e8001,
   2671   0xffffff37333333fc, 0xffffff05007d8001,
   2672   0xfffffed199999ac8, 0xfffffe8600bd0001,
   2673   0xffff986d999a012c, 0xffff7e8940bb8001,
   2674   0xffffff9b33333398, 0xffffff82003f0001,
   2675   0xffffff3599999a64, 0xffffff03007e8001,
   2676   0xffff98d1999a00c8, 0xffff7f06407d0001,
   2677   0xffff326ccccd9a60, 0xfffeff08807c0001,
   2678   0xffffff9a666666cc, 0xffffff81003f8001,
   2679   0xffff99366666cd30, 0xffff7f84403e0001,
   2680   0xffff32d1999a66c8, 0xfffeff86803d0001,
   2681   0xfffecc6c00013394, 0xfffe7f87c03c8001,
   2682   0xffff999c00006664, 0xffff80033ffe8001,
   2683   0xffff33373333fffc, 0xffff00057ffd8001,
   2684   0xfffeccd1999accc8, 0xfffe8006bffd0001,
   2685   0xd7090a428f5d5c24, 0xcccb666d59968001,
   2686   0xffff999b33339998, 0xffff80023fff0001,
   2687   0xffff3335999a6664, 0xffff00037ffe8001,
   2688   0xd70970a68f5cf5c0, 0xcccbe66a19980001,
   2689   0x92c52c62d3a13a04, 0x7776bbbfc4428001,
   2690   0xffff999a6666cccc, 0xffff80013fff8001,
   2691   0xd709d70b5c295c28, 0xcccc6667d9990001,
   2692   0x92c592c7a06da06c, 0x77773bbd84438001,
   2693   0x2c5f2c6406d406d0, 0xf7777bc084420001,
   2694   0xd70a3d70f5c28f5c, 0xcccce66699998001,
   2695   0x92c5f92d3a06d3a0, 0x7777bbbc44440001,
   2696   0x2c5f92c9a06d3a04, 0xf777fbbf44428001,
   2697   0xc5f92c653a06d39c, 0x77783bc144418001,
   2698   0xbbbbbbbc44444444, 0xaaaad555aaaa8001,
   2699   0x55555558aaaaaaa8, 0x2aab1558aaa90001,
   2700   0xeeeeeef444444440, 0xaaab555aaaa80001,
   2701   0x8888888f1111110c, 0x2aab955baaa78001,
   2702   0x9999999c66666664, 0x80004002fffe8001,
   2703   0x33333337fffffffc, 0x00008004fffd8001,
   2704   0xccccccd2ccccccc8, 0x8000c005fffd0001,
   2705   0x6666666cccccccc8, 0x00010005fffd0001,
   2706   0x9999999b99999998, 0x80004001ffff0001,
   2707   0x3333333666666664, 0x00008002fffe8001,
   2708   0xccccccd066666664, 0x8000c002fffe8001,
   2709   0x6666666999999998, 0x00010001ffff0001,
   2710   0x9999999acccccccc, 0x80004000ffff8001,
   2711   0x33333334cccccccc, 0x00008000ffff8001,
   2712   0xccccccce00000000, 0x8000c00000000001,
   2713   0x4444444688888888, 0xd5566aab55550001,
   2714   0x9999999a00000000, 0x8000400000000001,
   2715   0x3333333333333334, 0x00007fff00008001,
   2716   0xaaaaaaabbbbbbbbc, 0x55562aaa55558001,
   2717   0x06d3a06f92c5f92c, 0x8889c444bbbb8001,
   2718   0x9999999933333334, 0x80003fff00008001,
   2719   0x11111111bbbbbbbc, 0xd555eaaa55558001,
   2720   0x6d3a06d592c5f92c, 0x08898444bbbb8001,
   2721   0xa06da06ff92bf92c, 0x088a84447bbb8001,
   2722   0x7777777888888888, 0x5555aaab55550001,
   2723   0xd3a06d3c5f92c5f8, 0x88894445bbbb0001,
   2724   0x06d406d6c5f8c5f8, 0x888a44457bbb0001,
   2725   0x3a07a0705f91f92c, 0x888b44443bbb8001,
   2726   0x5c28f5c3d70a3d70, 0x3333999a66660001,
   2727   0x8f5c8f5e3d703d70, 0x3334999a26660001,
   2728   0xc29028f7d70970a4, 0x33359998e6668001,
   2729   0xf5c3c290a3d5d70c, 0x33369996a6678001,
   2730   0x3333999a66660000, 0x0000ffffc0000001,
   2731   0x66673333ffff3334, 0x0001fffe80008001,
   2732   0x999acccccccb999c, 0x0002fffc40018001,
   2733   0xccce6664cccb3338, 0x0003fff900030001,
   2734   0x3333999999993334, 0x0000fffec0008001,
   2735   0x666733326665999c, 0x0001fffc80018001,
   2736   0x999accca66653338, 0x0002fff940030001,
   2737   0xccce0064cccb9938, 0x000380793fc30001,
   2738   0x33339998cccc6668, 0x0000fffdc0010001,
   2739   0x66673330cccc0004, 0x0001fffa80028001,
   2740   0x999a66cb33326604, 0x0002807a7fc28001,
   2741   0xcccd9a64cccbff38, 0x000300f97f830001,
   2742   0x33339997ffff999c, 0x0000fffcc0018001,
   2743   0x6666cd326665ff9c, 0x0001807cbfc18001,
   2744   0x999a00cbffff98d0, 0x000200fbbf820001,
   2745   0xcccd3464cccc6538, 0x00028179bf430001,
   2746   0x3333339a66666600, 0x0000807fffc00001,
   2747   0x66666733ffffff34, 0x000100feff808001,
   2748   0x99999acccccccb9c, 0x0001817cff418001,
   2749   0xccccce64cccccb38, 0x000201f9ff030001,
   2750   0x3333339999999934, 0x0000807effc08001,
   2751   0x666667326666659c, 0x000100fcff818001,
   2752   0x99999aca66666538, 0x00018179ff430001,
   2753   0xccccce17fffffeb8, 0x00020199ff330001,
   2754   0x33333398cccccc68, 0x0000807dffc10001,
   2755   0x66666730cccccc04, 0x000100faff828001,
   2756   0x99999a7e66666584, 0x0001811aff728001,
   2757   0xcccccdb4cccccbe8, 0x0002011dff710001,
   2758   0x33333397ffffff9c, 0x0000807cffc18001,
   2759   0x666666e59999991c, 0x0001009cffb18001,
   2760   0x99999a1bffffff80, 0x0001809fffb00001,
   2761   0xcccccd5199999918, 0x000200a1ffaf0001,
   2762   0x3333334d99999980, 0x0000801ffff00001,
   2763   0x66666683ffffffe4, 0x00010022ffee8001,
   2764   0x999999b99999997c, 0x00018024ffed8001,
   2765   0xccccccee66666648, 0x00020025ffed0001,
   2766   0x00008002fffe8000, 0x00008001fffe8004,
   2767   0x00010004fffd8000, 0x00010002fffd8006,
   2768   0x00018005fffd0000, 0x00018002fffd0007,
   2769   0x00018005fffd0000, 0x00018002fffd0007,
   2770   0x00008001ffff0000, 0x00008000ffff0003,
   2771   0x00010002fffe8000, 0x00010000fffe8004,
   2772   0x00010002fffe8000, 0x00010000fffe8004,
   2773   0x00010001ffff0000, 0x0000ffffffff0003,
   2774   0x00008000ffff8000, 0x00007fffffff8002,
   2775   0x00008000ffff8000, 0x00007fffffff8002,
   2776   0x0000800000000000, 0x00007fff00000001,
   2777   0x00007ffe00010000, 0x00007ffd0000ffff,
   2778   0x0000000000000000, 0x0000000000000001,
   2779   0xffffffff00008000, 0xffffffff00008000,
   2780   0xfffffffd00018000, 0xfffffffd00017ffe,
   2781   0xffffffdd00118000, 0xffffffdd00117fde,
   2782   0xffffffff00008000, 0xffffffff00008000,
   2783   0xfffffffd00018000, 0xfffffffd00017ffe,
   2784   0xffffffdd00118000, 0xffffffdd00117fde,
   2785   0xffffff6000500000, 0xffffff60004fff61,
   2786   0xfffffffe00010000, 0xfffffffe0000ffff,
   2787   0xffffffde00110000, 0xffffffde0010ffdf,
   2788   0xffffff61004f8000, 0xffffff61004f7f62,
   2789   0xfffffee3008e8000, 0xfffffee3008e7ee4,
   2790   0xffffffe000100000, 0xffffffe0000fffe1,
   2791   0xffffff63004e8000, 0xffffff63004e7f64,
   2792   0xfffffee5008d8000, 0xfffffee5008d7ee6,
   2793   0xfffffe6600cd0000, 0xfffffe6600ccfe67,
   2794   0xffffff83003e8000, 0xffffff83003e7f84,
   2795   0xffffff05007d8000, 0xffffff05007d7f06,
   2796   0xfffffe8600bd0000, 0xfffffe8600bcfe87,
   2797   0xffff7e8940bb8000, 0xffff7e8940bafe8a,
   2798   0xffffff82003f0000, 0xffffff82003eff83,
   2799   0xffffff03007e8000, 0xffffff03007e7f04,
   2800   0xffff7f06407d0000, 0xffff7f06407c7f07,
   2801   0xfffeff08807c0000, 0xfffeff08807aff09,
   2802   0xffffff81003f8000, 0xffffff81003f7f82,
   2803   0xffff7f84403e0000, 0xffff7f84403d7f85,
   2804   0xfffeff86803d0000, 0xfffeff86803bff87,
   2805   0xfffe7f87c03c8000, 0xfffe7f87c03aff88,
   2806   0xffff80033ffe8000, 0xffff80033ffe0004,
   2807   0xffff00057ffd8000, 0xffff00057ffc8006,
   2808   0xfffe8006bffd0000, 0xfffe8006bffb8007,
   2809   0xcccb666d59968000, 0xcccb666d2661ccd4,
   2810   0xffff80023fff0000, 0xffff80023ffe8003,
   2811   0xffff00037ffe8000, 0xffff00037ffd8004,
   2812   0xcccbe66a19980000, 0xcccbe669e663ccd1,
   2813   0x7776bbbfc4428000, 0x7776bbbf3bb8f77c,
   2814   0xffff80013fff8000, 0xffff80013fff0002,
   2815   0xcccc6667d9990000, 0xcccc6667a6654ccf,
   2816   0x77773bbd84438000, 0x77773bbcfbba777a,
   2817   0xf7777bc084420000, 0xf7777bbf7bb8f77d,
   2818   0xcccce66699998000, 0xcccce66666664cce,
   2819   0x7777bbbc44440000, 0x7777bbbbbbbb7779,
   2820   0xf777fbbf44428000, 0xf777fbbe3bb9f77c,
   2821   0x77783bc144418000, 0x77783bbfbbb8f77e,
   2822   0xaaaad555aaaa8000, 0xaaaad55555552aac,
   2823   0x2aab1558aaa90000, 0x2aab1557d553aaaf,
   2824   0xaaab555aaaa80000, 0xaaab55595552aab1,
   2825   0x2aab955baaa78000, 0x2aab9559d5522ab2,
   2826   0x80004002fffe8000, 0x800040027ffe8004,
   2827   0x00008004fffd8000, 0x00008003fffd8006,
   2828   0x8000c005fffd0000, 0x8000c0047ffd0007,
   2829   0x00010005fffd0000, 0x00010003fffd0007,
   2830   0x80004001ffff0000, 0x800040017fff0003,
   2831   0x00008002fffe8000, 0x00008001fffe8004,
   2832   0x8000c002fffe8000, 0x8000c0017ffe8004,
   2833   0x00010001ffff0000, 0x0000ffffffff0003,
   2834   0x80004000ffff8000, 0x800040007fff8002,
   2835   0x00008000ffff8000, 0x00007fffffff8002,
   2836   0x8000c00000000000, 0x8000bffe80000001,
   2837   0xd5566aab55550000, 0xd5566aa92aaa5557,
   2838   0x8000400000000000, 0x80003fff80000001,
   2839   0x00007fff00008000, 0x00007ffe00008000,
   2840   0x55562aaa55558000, 0x55562aa8aaaad556,
   2841   0x8889c444bbbb8000, 0x8889c4424444088a,
   2842   0x80003fff00008000, 0x80003ffe80008000,
   2843   0xd555eaaa55558000, 0xd555eaa92aaad556,
   2844   0x08898444bbbb8000, 0x08898442c444088a,
   2845   0x088a84447bbb8000, 0x088a84418444888a,
   2846   0x5555aaab55550000, 0x5555aaaaaaaa5557,
   2847   0x88894445bbbb0000, 0x888944444443888b,
   2848   0x888a44457bbb0000, 0x888a44430444088b,
   2849   0x888b44443bbb8000, 0x888b4440c445088a,
   2850   0x3333999a66660000, 0x3333999999993335,
   2851   0x3334999a26660000, 0x333499985999b335,
   2852   0x33359998e6668000, 0x33359996199ab334,
   2853   0x33369996a6678000, 0x33369992d99c3332,
   2854   0x0000ffffc0000000, 0x0000fffec0008001,
   2855   0x0001fffe80008000, 0x0001fffc80018000,
   2856   0x0002fffc40018000, 0x0002fff94002fffe,
   2857   0x0003fff900030000, 0x0003fff50004fffb,
   2858   0x0000fffec0008000, 0x0000fffdc0010000,
   2859   0x0001fffc80018000, 0x0001fffa80027ffe,
   2860   0x0002fff940030000, 0x0002fff640047ffb,
   2861   0x000380793fc30000, 0x000380753fc4807b,
   2862   0x0000fffdc0010000, 0x0000fffcc0017fff,
   2863   0x0001fffa80028000, 0x0001fff880037ffc,
   2864   0x0002807a7fc28000, 0x000280777fc3807c,
   2865   0x000300f97f830000, 0x000300f57f8400fb,
   2866   0x0000fffcc0018000, 0x0000fffbc001fffe,
   2867   0x0001807cbfc18000, 0x0001807abfc2007e,
   2868   0x000200fbbf820000, 0x000200f8bf8280fd,
   2869   0x00028179bf430000, 0x00028175bf43817b,
   2870   0x0000807fffc00000, 0x0000807effc00081,
   2871   0x000100feff808000, 0x000100fcff808100,
   2872   0x0001817cff418000, 0x00018179ff41817e,
   2873   0x000201f9ff030000, 0x000201f5ff0301fb,
   2874   0x0000807effc08000, 0x0000807dffc08080,
   2875   0x000100fcff818000, 0x000100faff8180fe,
   2876   0x00018179ff430000, 0x00018176ff43017b,
   2877   0x00020199ff330000, 0x00020195ff33019b,
   2878   0x0000807dffc10000, 0x0000807cffc1007f,
   2879   0x000100faff828000, 0x000100f8ff8280fc,
   2880   0x0001811aff728000, 0x00018117ff72811c,
   2881   0x0002011dff710000, 0x00020119ff71011f,
   2882   0x0000807cffc18000, 0x0000807bffc1807e,
   2883   0x0001009cffb18000, 0x0001009affb1809e,
   2884   0x0001809fffb00000, 0x0001809cffb000a1,
   2885   0x000200a1ffaf0000, 0x0002009dffaf00a3,
   2886   0x0000801ffff00000, 0x0000801efff00021,
   2887   0x00010022ffee8000, 0x00010020ffee8024,
   2888   0x00018024ffed8000, 0x00018021ffed8026,
   2889   0x00020025ffed0000, 0x00020021ffed0027,
   2890   0x00008001fffe8003, 0x00008000fffe8007,
   2891   0x00010002fffd8005, 0x00010000fffd800b,
   2892   0x00018002fffd0006, 0x00017ffffffd000d,
   2893   0x00018002fffd0006, 0x00017ffffffd000d,
   2894   0x00008000ffff0002, 0x00007fffffff0005,
   2895   0x00010000fffe8003, 0x0000fffefffe8007,
   2896   0x00010000fffe8003, 0x0000fffefffe8007,
   2897   0x0000ffffffff0002, 0x0000fffdffff0005,
   2898   0x00007fffffff8001, 0x00007ffeffff8003,
   2899   0x00007fffffff8001, 0x00007ffeffff8003,
   2900   0x00007fff00000000, 0x00007ffe00000001,
   2901   0x00007ffd0000fffe, 0x00007ffc0000fffd,
   2902   0x0000000000000000, 0x0000000000000001,
   2903   0xffffffff00007fff, 0xffffffff00007fff,
   2904   0xfffffffd00017ffd, 0xfffffffd00017ffb,
   2905   0xffffffdd00117fdd, 0xffffffdd00117fbb,
   2906   0xffffffff00007fff, 0xffffffff00007fff,
   2907   0xfffffffd00017ffd, 0xfffffffd00017ffb,
   2908   0xffffffdd00117fdd, 0xffffffdd00117fbb,
   2909   0xffffff60004fff60, 0xffffff60004ffec1,
   2910   0xfffffffe0000fffe, 0xfffffffe0000fffd,
   2911   0xffffffde0010ffde, 0xffffffde0010ffbd,
   2912   0xffffff61004f7f61, 0xffffff61004f7ec3,
   2913   0xfffffee3008e7ee3, 0xfffffee3008e7dc7,
   2914   0xffffffe0000fffe0, 0xffffffe0000fffc1,
   2915   0xffffff63004e7f63, 0xffffff63004e7ec7,
   2916   0xfffffee5008d7ee5, 0xfffffee5008d7dcb,
   2917   0xfffffe6600ccfe66, 0xfffffe6600ccfccd,
   2918   0xffffff83003e7f83, 0xffffff83003e7f07,
   2919   0xffffff05007d7f05, 0xffffff05007d7e0b,
   2920   0xfffffe8600bcfe86, 0xfffffe8600bcfd0d,
   2921   0xffff7e8940bafe89, 0xffff7e8940ba7d13,
   2922   0xffffff82003eff82, 0xffffff82003eff05,
   2923   0xffffff03007e7f03, 0xffffff03007e7e07,
   2924   0xffff7f06407c7f06, 0xffff7f06407bfe0d,
   2925   0xfffeff08807aff08, 0xfffeff088079fe11,
   2926   0xffffff81003f7f81, 0xffffff81003f7f03,
   2927   0xffff7f84403d7f84, 0xffff7f84403cff09,
   2928   0xfffeff86803bff86, 0xfffeff86803aff0d,
   2929   0xfffe7f87c03aff87, 0xfffe7f87c0397f0f,
   2930   0xffff80033ffe0003, 0xffff80033ffd8007,
   2931   0xffff00057ffc8005, 0xffff00057ffb800b,
   2932   0xfffe8006bffb8006, 0xfffe8006bffa000d,
   2933   0xcccb666d2661ccd3, 0xcccb666cf32d19a7,
   2934   0xffff80023ffe8002, 0xffff80023ffe0005,
   2935   0xffff00037ffd8003, 0xffff00037ffc8007,
   2936   0xcccbe669e663ccd0, 0xcccbe669b32f99a1,
   2937   0x7776bbbf3bb8f77b, 0x7776bbbeb32f6ef7,
   2938   0xffff80013fff0001, 0xffff80013ffe8003,
   2939   0xcccc6667a6654cce, 0xcccc66677331999d,
   2940   0x77773bbcfbba7779, 0x77773bbc73316ef3,
   2941   0xf7777bbf7bb8f77c, 0xf7777bbe732feef9,
   2942   0xcccce66666664ccd, 0xcccce6663333199b,
   2943   0x7777bbbbbbbb7778, 0x7777bbbb3332eef1,
   2944   0xf777fbbe3bb9f77b, 0xf777fbbd33316ef7,
   2945   0x77783bbfbbb8f77d, 0x77783bbe33306efb,
   2946   0xaaaad55555552aab, 0xaaaad554ffffd557,
   2947   0x2aab1557d553aaae, 0x2aab1556fffe555d,
   2948   0xaaab55595552aab0, 0xaaab5557fffd5561,
   2949   0x2aab9559d5522ab1, 0x2aab9557fffcd563,
   2950   0x800040027ffe8003, 0x80004001fffe8007,
   2951   0x00008003fffd8005, 0x00008002fffd800b,
   2952   0x8000c0047ffd0006, 0x8000c002fffd000d,
   2953   0x00010003fffd0006, 0x00010001fffd000d,
   2954   0x800040017fff0002, 0x80004000ffff0005,
   2955   0x00008001fffe8003, 0x00008000fffe8007,
   2956   0x8000c0017ffe8003, 0x8000bffffffe8007,
   2957   0x0000ffffffff0002, 0x0000fffdffff0005,
   2958   0x800040007fff8001, 0x80003fffffff8003,
   2959   0x00007fffffff8001, 0x00007ffeffff8003,
   2960   0x8000bffe80000000, 0x8000bffd00000001,
   2961   0xd5566aa92aaa5556, 0xd5566aa6ffffaaad,
   2962   0x80003fff80000000, 0x80003fff00000001,
   2963   0x00007ffe00007fff, 0x00007ffd00007fff,
   2964   0x55562aa8aaaad555, 0x55562aa700002aab,
   2965   0x8889c44244440889, 0x8889c43fcccc9113,
   2966   0x80003ffe80007fff, 0x80003ffe00007fff,
   2967   0xd555eaa92aaad555, 0xd555eaa800002aab,
   2968   0x08898442c4440889, 0x08898440cccc9113,
   2969   0x088a844184448889, 0x088a843e8ccd9113,
   2970   0x5555aaaaaaaa5556, 0x5555aaa9ffffaaad,
   2971   0x888944444443888a, 0x88894442cccc1115,
   2972   0x888a44430444088a, 0x888a44408ccd1115,
   2973   0x888b4440c4450889, 0x888b443d4cce9113,
   2974   0x3333999999993334, 0x33339998cccc6669,
   2975   0x333499985999b334, 0x333499968ccd6669,
   2976   0x33359996199ab333, 0x333599934ccee667,
   2977   0x33369992d99c3331, 0x3336998f0cd0e663,
   2978   0x0000fffec0008000, 0x0000fffdc0010001,
   2979   0x0001fffc80017fff, 0x0001fffa80027fff,
   2980   0x0002fff94002fffd, 0x0002fff640047ffb,
   2981   0x0003fff50004fffa, 0x0003fff10006fff5,
   2982   0x0000fffdc000ffff, 0x0000fffcc0017fff,
   2983   0x0001fffa80027ffd, 0x0001fff880037ffb,
   2984   0x0002fff640047ffa, 0x0002fff34005fff5,
   2985   0x000380753fc4807a, 0x000380713fc600f5,
   2986   0x0000fffcc0017ffe, 0x0000fffbc001fffd,
   2987   0x0001fff880037ffb, 0x0001fff680047ff7,
   2988   0x000280777fc3807b, 0x000280747fc480f7,
   2989   0x000300f57f8400fa, 0x000300f17f8501f5,
   2990   0x0000fffbc001fffd, 0x0000fffac0027ffb,
   2991   0x0001807abfc2007d, 0x00018078bfc280fb,
   2992   0x000200f8bf8280fc, 0x000200f5bf8301f9,
   2993   0x00028175bf43817a, 0x00028171bf4402f5,
   2994   0x0000807effc00080, 0x0000807dffc00101,
   2995   0x000100fcff8080ff, 0x000100faff8081ff,
   2996   0x00018179ff41817d, 0x00018176ff4182fb,
   2997   0x000201f5ff0301fa, 0x000201f1ff0303f5,
   2998   0x0000807dffc0807f, 0x0000807cffc080ff,
   2999   0x000100faff8180fd, 0x000100f8ff8181fb,
   3000   0x00018176ff43017a, 0x00018173ff4302f5,
   3001   0x00020195ff33019a, 0x00020191ff330335,
   3002   0x0000807cffc1007e, 0x0000807bffc100fd,
   3003   0x000100f8ff8280fb, 0x000100f6ff8281f7,
   3004   0x00018117ff72811b, 0x00018114ff728237,
   3005   0x00020119ff71011e, 0x00020115ff71023d,
   3006   0x0000807bffc1807d, 0x0000807affc180fb,
   3007   0x0001009affb1809d, 0x00010098ffb1813b,
   3008   0x0001809cffb000a0, 0x00018099ffb00141,
   3009   0x0002009dffaf00a2, 0x00020099ffaf0145,
   3010   0x0000801efff00020, 0x0000801dfff00041,
   3011   0x00010020ffee8023, 0x0001001effee8047,
   3012   0x00018021ffed8025, 0x0001801effed804b,
   3013   0x00020021ffed0026, 0x0002001dffed004d,
   3014   0x00008000fffe8006, 0x00007ffffffe800a,
   3015   0x00010000fffd800a, 0x0000fffefffd8010,
   3016   0x00017ffffffd000c, 0x00017ffcfffd0013,
   3017   0x00017ffffffd000c, 0x00017ffcfffd0013,
   3018   0x00007fffffff0004, 0x00007ffeffff0007,
   3019   0x0000fffefffe8006, 0x0000fffcfffe800a,
   3020   0x0000fffefffe8006, 0x0000fffcfffe800a,
   3021   0x0000fffdffff0004, 0x0000fffbffff0007,
   3022   0x00007ffeffff8002, 0x00007ffdffff8004,
   3023   0x00007ffeffff8002, 0x00007ffdffff8004,
   3024   0x00007ffe00000000, 0x00007ffd00000001,
   3025   0x00007ffc0000fffc, 0x00007ffb0000fffb,
   3026   0x0000000000000000, 0x0000000000000001,
   3027   0xffffffff00007ffe, 0xffffffff00007ffe,
   3028   0xfffffffd00017ffa, 0xfffffffd00017ff8,
   3029   0xffffffdd00117fba, 0xffffffdd00117f98,
   3030   0xffffffff00007ffe, 0xffffffff00007ffe,
   3031   0xfffffffd00017ffa, 0xfffffffd00017ff8,
   3032   0xffffffdd00117fba, 0xffffffdd00117f98,
   3033   0xffffff60004ffec0, 0xffffff60004ffe21,
   3034   0xfffffffe0000fffc, 0xfffffffe0000fffb,
   3035   0xffffffde0010ffbc, 0xffffffde0010ff9b,
   3036   0xffffff61004f7ec2, 0xffffff61004f7e24,
   3037   0xfffffee3008e7dc6, 0xfffffee3008e7caa,
   3038   0xffffffe0000fffc0, 0xffffffe0000fffa1,
   3039   0xffffff63004e7ec6, 0xffffff63004e7e2a,
   3040   0xfffffee5008d7dca, 0xfffffee5008d7cb0,
   3041   0xfffffe6600ccfccc, 0xfffffe6600ccfb33,
   3042   0xffffff83003e7f06, 0xffffff83003e7e8a,
   3043   0xffffff05007d7e0a, 0xffffff05007d7d10,
   3044   0xfffffe8600bcfd0c, 0xfffffe8600bcfb93,
   3045   0xffff7e8940ba7d12, 0xffff7e8940b9fb9c,
   3046   0xffffff82003eff04, 0xffffff82003efe87,
   3047   0xffffff03007e7e06, 0xffffff03007e7d0a,
   3048   0xffff7f06407bfe0c, 0xffff7f06407b7d13,
   3049   0xfffeff088079fe10, 0xfffeff088078fd19,
   3050   0xffffff81003f7f02, 0xffffff81003f7e84,
   3051   0xffff7f84403cff08, 0xffff7f84403c7e8d,
   3052   0xfffeff86803aff0c, 0xfffeff868039fe93,
   3053   0xfffe7f87c0397f0e, 0xfffe7f87c037fe96,
   3054   0xffff80033ffd8006, 0xffff80033ffd000a,
   3055   0xffff00057ffb800a, 0xffff00057ffa8010,
   3056   0xfffe8006bffa000c, 0xfffe8006bff88013,
   3057   0xcccb666cf32d19a6, 0xcccb666cbff8667a,
   3058   0xffff80023ffe0004, 0xffff80023ffd8007,
   3059   0xffff00037ffc8006, 0xffff00037ffb800a,
   3060   0xcccbe669b32f99a0, 0xcccbe6697ffb6671,
   3061   0x7776bbbeb32f6ef6, 0x7776bbbe2aa5e672,
   3062   0xffff80013ffe8002, 0xffff80013ffe0004,
   3063   0xcccc66677331999c, 0xcccc66673ffde66b,
   3064   0x77773bbc73316ef2, 0x77773bbbeaa8666c,
   3065   0xf7777bbe732feef8, 0xf7777bbd6aa6e675,
   3066   0xcccce6663333199a, 0xcccce665ffffe668,
   3067   0x7777bbbb3332eef0, 0x7777bbbaaaaa6669,
   3068   0xf777fbbd33316ef6, 0xf777fbbc2aa8e672,
   3069   0x77783bbe33306efa, 0x77783bbcaaa7e678,
   3070   0xaaaad554ffffd556, 0xaaaad554aaaa8002,
   3071   0x2aab1556fffe555c, 0x2aab15562aa9000b,
   3072   0xaaab5557fffd5560, 0xaaab5556aaa80011,
   3073   0x2aab9557fffcd562, 0x2aab95562aa78014,
   3074   0x80004001fffe8006, 0x800040017ffe800a,
   3075   0x00008002fffd800a, 0x00008001fffd8010,
   3076   0x8000c002fffd000c, 0x8000c0017ffd0013,
   3077   0x00010001fffd000c, 0x0000fffffffd0013,
   3078   0x80004000ffff0004, 0x800040007fff0007,
   3079   0x00008000fffe8006, 0x00007ffffffe800a,
   3080   0x8000bffffffe8006, 0x8000bffe7ffe800a,
   3081   0x0000fffdffff0004, 0x0000fffbffff0007,
   3082   0x80003fffffff8002, 0x80003fff7fff8004,
   3083   0x00007ffeffff8002, 0x00007ffdffff8004,
   3084   0x8000bffd00000000, 0x8000bffb80000001,
   3085   0xd5566aa6ffffaaac, 0xd5566aa4d5550003,
   3086   0x80003fff00000000, 0x80003ffe80000001,
   3087   0x00007ffd00007ffe, 0x00007ffc00007ffe,
   3088   0x55562aa700002aaa, 0x55562aa555558000,
   3089   0x8889c43fcccc9112, 0x8889c43d5555199c,
   3090   0x80003ffe00007ffe, 0x80003ffd80007ffe,
   3091   0xd555eaa800002aaa, 0xd555eaa6d5558000,
   3092   0x08898440cccc9112, 0x0889843ed555199c,
   3093   0x088a843e8ccd9112, 0x088a843b9556999c,
   3094   0x5555aaa9ffffaaac, 0x5555aaa955550003,
   3095   0x88894442cccc1114, 0x888944415554999f,
   3096   0x888a44408ccd1114, 0x888a443e1556199f,
   3097   0x888b443d4cce9112, 0x888b4439d558199c,
   3098   0x33339998cccc6668, 0x33339997ffff999d,
   3099   0x333499968ccd6668, 0x33349994c001199d,
   3100   0x333599934ccee666, 0x333599908003199a,
   3101   0x3336998f0cd0e662, 0x3336998b40059994,
   3102   0x0000fffdc0010000, 0x0000fffcc0018001,
   3103   0x0001fffa80027ffe, 0x0001fff880037ffe,
   3104   0x0002fff640047ffa, 0x0002fff34005fff8,
   3105   0x0003fff10006fff4, 0x0003ffed0008ffef,
   3106   0x0000fffcc0017ffe, 0x0000fffbc001fffe,
   3107   0x0001fff880037ffa, 0x0001fff680047ff8,
   3108   0x0002fff34005fff4, 0x0002fff040077fef,
   3109   0x000380713fc600f4, 0x0003806d3fc7816f,
   3110   0x0000fffbc001fffc, 0x0000fffac0027ffb,
   3111   0x0001fff680047ff6, 0x0001fff480057ff2,
   3112   0x000280747fc480f6, 0x000280717fc58172,
   3113   0x000300f17f8501f4, 0x000300ed7f8602ef,
   3114   0x0000fffac0027ffa, 0x0000fff9c002fff8,
   3115   0x00018078bfc280fa, 0x00018076bfc30178,
   3116   0x000200f5bf8301f8, 0x000200f2bf8382f5,
   3117   0x00028171bf4402f4, 0x0002816dbf44846f,
   3118   0x0000807dffc00100, 0x0000807cffc00181,
   3119   0x000100faff8081fe, 0x000100f8ff8082fe,
   3120   0x00018176ff4182fa, 0x00018173ff418478,
   3121   0x000201f1ff0303f4, 0x000201edff0305ef,
   3122   0x0000807cffc080fe, 0x0000807bffc0817e,
   3123   0x000100f8ff8181fa, 0x000100f6ff8182f8,
   3124   0x00018173ff4302f4, 0x00018170ff43046f,
   3125   0x00020191ff330334, 0x0002018dff3304cf,
   3126   0x0000807bffc100fc, 0x0000807affc1017b,
   3127   0x000100f6ff8281f6, 0x000100f4ff8282f2,
   3128   0x00018114ff728236, 0x00018111ff728352,
   3129   0x00020115ff71023c, 0x00020111ff71035b,
   3130   0x0000807affc180fa, 0x00008079ffc18178,
   3131   0x00010098ffb1813a, 0x00010096ffb181d8,
   3132   0x00018099ffb00140, 0x00018096ffb001e1,
   3133   0x00020099ffaf0144, 0x00020095ffaf01e7,
   3134   0x0000801dfff00040, 0x0000801cfff00061,
   3135   0x0001001effee8046, 0x0001001cffee806a,
   3136   0x0001801effed804a, 0x0001801bffed8070,
   3137   0x0002001dffed004c, 0x00020019ffed0073,
   3138   0x00007ffffffe8009, 0x00000082fffffe81,
   3139   0x0000fffefffd800f, 0x00000104fffffd81,
   3140   0x00017ffcfffd0012, 0x00000185fffffd01,
   3141   0x00017ffcfffd0012, 0x00000185fffffd01,
   3142   0x00007ffeffff0006, 0x00000081ffffff01,
   3143   0x0000fffcfffe8009, 0x00000102fffffe81,
   3144   0x0000fffcfffe8009, 0x00000102fffffe81,
   3145   0x0000fffbffff0006, 0x00000101ffffff01,
   3146   0x00007ffdffff8003, 0x00000080ffffff81,
   3147   0x00007ffdffff8003, 0x00000080ffffff81,
   3148   0x00007ffd00000000, 0x0000008000000001,
   3149   0x00007ffb0000fffa, 0x0000007e00000101,
   3150   0x0000000000000000, 0x0000000000000001,
   3151   0xffffffff00007ffd, 0xffffffff00000081,
   3152   0xfffffffd00017ff7, 0xfffffffd00000181,
   3153   0xffffffdd00117f97, 0xffffffdd00001181,
   3154   0xffffffff00007ffd, 0xffffffff00000081,
   3155   0xfffffffd00017ff7, 0xfffffffd00000181,
   3156   0xffffffdd00117f97, 0xffffffdd00001181,
   3157   0xffffff60004ffe20, 0xffffff6000005001,
   3158   0xfffffffe0000fffa, 0xfffffffe00000101,
   3159   0xffffffde0010ff9a, 0xffffffde00001101,
   3160   0xffffff61004f7e23, 0xffffff6100004f81,
   3161   0xfffffee3008e7ca9, 0xfffffee300008e81,
   3162   0xffffffe0000fffa0, 0xffffffe000001001,
   3163   0xffffff63004e7e29, 0xffffff6300004e81,
   3164   0xfffffee5008d7caf, 0xfffffee500008d81,
   3165   0xfffffe6600ccfb32, 0xfffffe660000cd01,
   3166   0xffffff83003e7e89, 0xffffff8300003e81,
   3167   0xffffff05007d7d0f, 0xffffff0500007d81,
   3168   0xfffffe8600bcfb92, 0xfffffe860000bd01,
   3169   0xffff7e8940b9fb9b, 0xffff7e890040bb81,
   3170   0xffffff82003efe86, 0xffffff8200003f01,
   3171   0xffffff03007e7d09, 0xffffff0300007e81,
   3172   0xffff7f06407b7d12, 0xffff7f0600407d01,
   3173   0xfffeff088078fd18, 0xfffeff0800807c01,
   3174   0xffffff81003f7e83, 0xffffff8100003f81,
   3175   0xffff7f84403c7e8c, 0xffff7f8400403e01,
   3176   0xfffeff868039fe92, 0xfffeff8600803d01,
   3177   0xfffe7f87c037fe95, 0xfffe7f8700c03c81,
   3178   0xffff80033ffd0009, 0xffff8003003ffe81,
   3179   0xffff00057ffa800f, 0xffff0005007ffd81,
   3180   0xfffe8006bff88012, 0xfffe800600bffd01,
   3181   0xcccb666cbff86679, 0xcccb4cec9a599681,
   3182   0xffff80023ffd8006, 0xffff8002003fff01,
   3183   0xffff00037ffb8009, 0xffff0003007ffe81,
   3184   0xcccbe6697ffb6670, 0xcccbcce99a199801,
   3185   0x7776bbbe2aa5e671, 0x777677bf44c44281,
   3186   0xffff80013ffe0003, 0xffff8001003fff81,
   3187   0xcccc66673ffde66a, 0xcccc4ce799d99901,
   3188   0x77773bbbeaa8666b, 0x7776f7bd44844381,
   3189   0xf7777bbd6aa6e674, 0xf776f80044844201,
   3190   0xcccce665ffffe667, 0xcccccce699999981,
   3191   0x7777bbbaaaaa6668, 0x777777bc44444401,
   3192   0xf777fbbc2aa8e671, 0xf77777ff44444281,
   3193   0x77783bbcaaa7e677, 0x7777784144444181,
   3194   0xaaaad554aaaa8001, 0xaaaaaad5aaaaaa81,
   3195   0x2aab15562aa9000a, 0x2aaaab18aaaaa901,
   3196   0xaaab5556aaa80010, 0xaaaaab5aaaaaa801,
   3197   0x2aab95562aa78013, 0x2aaaab9baaaaa781,
   3198   0x800040017ffe8009, 0x80000042fffffe81,
   3199   0x00008001fffd800f, 0x00000084fffffd81,
   3200   0x8000c0017ffd0012, 0x800000c5fffffd01,
   3201   0x0000fffffffd0012, 0x00000105fffffd01,
   3202   0x800040007fff0006, 0x80000041ffffff01,
   3203   0x00007ffffffe8009, 0x00000082fffffe81,
   3204   0x8000bffe7ffe8009, 0x800000c2fffffe81,
   3205   0x0000fffbffff0006, 0x00000101ffffff01,
   3206   0x80003fff7fff8003, 0x80000040ffffff81,
   3207   0x00007ffdffff8003, 0x00000080ffffff81,
   3208   0x8000bffb80000000, 0x800000c000000001,
   3209   0xd5566aa4d5550002, 0xd555566b55555501,
   3210   0x80003ffe80000000, 0x8000004000000001,
   3211   0x00007ffc00007ffd, 0x0000007f00000081,
   3212   0x55562aa555557fff, 0x5555562a55555581,
   3213   0x8889c43d5555199b, 0x888889c4bbbbbb81,
   3214   0x80003ffd80007ffd, 0x8000003f00000081,
   3215   0xd555eaa6d5557fff, 0xd55555ea55555581,
   3216   0x0889843ed555199b, 0x08888984bbbbbb81,
   3217   0x088a843b9556999b, 0x08890a04bb7bbb81,
   3218   0x5555aaa955550002, 0x555555ab55555501,
   3219   0x888944415554999e, 0x88888945bbbbbb01,
   3220   0x888a443e1556199e, 0x888909c5bb7bbb01,
   3221   0x888b4439d558199b, 0x88898a44bb3bbb81,
   3222   0x33339997ffff999c, 0x3333339a66666601,
   3223   0x33349994c001199c, 0x3333b41a66266601,
   3224   0x3335999080031999, 0x3334349965e66681,
   3225   0x3336998b40059993, 0x3334b51765a66781,
   3226   0x0000fffcc0018000, 0x0000807fffc00001,
   3227   0x0001fff880037ffd, 0x000100feff800081,
   3228   0x0002fff34005fff7, 0x0001817cff400181,
   3229   0x0003ffed0008ffee, 0x000201f9ff000301,
   3230   0x0000fffbc001fffd, 0x0000807effc00081,
   3231   0x0001fff680047ff7, 0x000100fcff800181,
   3232   0x0002fff040077fee, 0x00018179ff400301,
   3233   0x0003806d3fc7816e, 0x00018279ff3fc301,
   3234   0x0000fffac0027ffa, 0x0000807dffc00101,
   3235   0x0001fff480057ff1, 0x000100faff800281,
   3236   0x000280717fc58171, 0x000101faff7fc281,
   3237   0x000300ed7f8602ee, 0x000102f9ff7f8301,
   3238   0x0000fff9c002fff7, 0x0000807cffc00181,
   3239   0x00018076bfc30177, 0x0000817cffbfc181,
   3240   0x000200f2bf8382f4, 0x0000827bffbf8201,
   3241   0x0002816dbf44846e, 0x00008379ffbf4301,
   3242   0x0000807cffc00180, 0x000000ffffffc001,
   3243   0x000100f8ff8082fd, 0x000001feffff8081,
   3244   0x00018173ff418477, 0x000002fcffff4181,
   3245   0x000201edff0305ee, 0x000003f9ffff0301,
   3246   0x0000807bffc0817d, 0x000000feffffc081,
   3247   0x000100f6ff8182f7, 0x000001fcffff8181,
   3248   0x00018170ff43046e, 0x000002f9ffff4301,
   3249   0x0002018dff3304ce, 0x00000399ffff3301,
   3250   0x0000807affc1017a, 0x000000fdffffc101,
   3251   0x000100f4ff8282f1, 0x000001faffff8281,
   3252   0x00018111ff728351, 0x0000029affff7281,
   3253   0x00020111ff71035a, 0x0000031dffff7101,
   3254   0x00008079ffc18177, 0x000000fcffffc181,
   3255   0x00010096ffb181d7, 0x0000019cffffb181,
   3256   0x00018096ffb001e0, 0x0000021fffffb001,
   3257   0x00020095ffaf01e6, 0x000002a1ffffaf01,
   3258   0x0000801cfff00060, 0x0000009ffffff001,
   3259   0x0001001cffee8069, 0x00000122ffffee81,
   3260   0x0001801bffed806f, 0x000001a4ffffed81,
   3261   0x00020019ffed0072, 0x00000225ffffed01,
   3262   0x00000082fffffe80, 0x00000081fffffe84,
   3263   0x00000104fffffd80, 0x00000102fffffd86,
   3264   0x00000185fffffd00, 0x00000182fffffd07,
   3265   0x00000185fffffd00, 0x00000182fffffd07,
   3266   0x00000081ffffff00, 0x00000080ffffff03,
   3267   0x00000102fffffe80, 0x00000100fffffe84,
   3268   0x00000102fffffe80, 0x00000100fffffe84,
   3269   0x00000101ffffff00, 0x000000ffffffff03,
   3270   0x00000080ffffff80, 0x0000007fffffff82,
   3271   0x00000080ffffff80, 0x0000007fffffff82,
   3272   0x0000008000000000, 0x0000007f00000001,
   3273   0x0000007e00000100, 0x0000007d000000ff,
   3274   0x0000000000000000, 0x0000000000000001,
   3275   0xffffffff00000080, 0xffffffff00000080,
   3276   0xfffffffd00000180, 0xfffffffd0000017e,
   3277   0xffffffdd00001180, 0xffffffdd0000115e,
   3278   0xffffffff00000080, 0xffffffff00000080,
   3279   0xfffffffd00000180, 0xfffffffd0000017e,
   3280   0xffffffdd00001180, 0xffffffdd0000115e,
   3281   0xffffff6000005000, 0xffffff6000004f61,
   3282   0xfffffffe00000100, 0xfffffffe000000ff,
   3283   0xffffffde00001100, 0xffffffde000010df,
   3284   0xffffff6100004f80, 0xffffff6100004ee2,
   3285   0xfffffee300008e80, 0xfffffee300008d64,
   3286   0xffffffe000001000, 0xffffffe000000fe1,
   3287   0xffffff6300004e80, 0xffffff6300004de4,
   3288   0xfffffee500008d80, 0xfffffee500008c66,
   3289   0xfffffe660000cd00, 0xfffffe660000cb67,
   3290   0xffffff8300003e80, 0xffffff8300003e04,
   3291   0xffffff0500007d80, 0xffffff0500007c86,
   3292   0xfffffe860000bd00, 0xfffffe860000bb87,
   3293   0xffff7e890040bb80, 0xffff7e8900403a0a,
   3294   0xffffff8200003f00, 0xffffff8200003e83,
   3295   0xffffff0300007e80, 0xffffff0300007d84,
   3296   0xffff7f0600407d00, 0xffff7f06003ffc07,
   3297   0xfffeff0800807c00, 0xfffeff08007f7b09,
   3298   0xffffff8100003f80, 0xffffff8100003f02,
   3299   0xffff7f8400403e00, 0xffff7f84003fbd85,
   3300   0xfffeff8600803d00, 0xfffeff86007f3c87,
   3301   0xfffe7f8700c03c80, 0xfffe7f8700bebc08,
   3302   0xffff8003003ffe80, 0xffff8003003f7e84,
   3303   0xffff0005007ffd80, 0xffff0005007efd86,
   3304   0xfffe800600bffd00, 0xfffe800600be7d07,
   3305   0xcccb4cec9a599680, 0xcccb4cec6724e354,
   3306   0xffff8002003fff00, 0xffff8002003f7f03,
   3307   0xffff0003007ffe80, 0xffff0003007efe84,
   3308   0xcccbcce99a199800, 0xcccbcce966e564d1,
   3309   0x777677bf44c44280, 0x777677bebc3ab9fc,
   3310   0xffff8001003fff80, 0xffff8001003f7f82,
   3311   0xcccc4ce799d99900, 0xcccc4ce766a5e5cf,
   3312   0x7776f7bd44844380, 0x7776f7bcbbfb3afa,
   3313   0xf776f80044844200, 0xf776f7ff3bfb397d,
   3314   0xcccccce699999980, 0xcccccce66666664e,
   3315   0x777777bc44444400, 0x777777bbbbbbbb79,
   3316   0xf77777ff44444280, 0xf77777fe3bbbb9fc,
   3317   0x7777784144444180, 0x7777783fbbbbb8fe,
   3318   0xaaaaaad5aaaaaa80, 0xaaaaaad55555552c,
   3319   0x2aaaab18aaaaa900, 0x2aaaab17d55553af,
   3320   0xaaaaab5aaaaaa800, 0xaaaaab59555552b1,
   3321   0x2aaaab9baaaaa780, 0x2aaaab99d5555232,
   3322   0x80000042fffffe80, 0x800000427ffffe84,
   3323   0x00000084fffffd80, 0x00000083fffffd86,
   3324   0x800000c5fffffd00, 0x800000c47ffffd07,
   3325   0x00000105fffffd00, 0x00000103fffffd07,
   3326   0x80000041ffffff00, 0x800000417fffff03,
   3327   0x00000082fffffe80, 0x00000081fffffe84,
   3328   0x800000c2fffffe80, 0x800000c17ffffe84,
   3329   0x00000101ffffff00, 0x000000ffffffff03,
   3330   0x80000040ffffff80, 0x800000407fffff82,
   3331   0x00000080ffffff80, 0x0000007fffffff82,
   3332   0x800000c000000000, 0x800000be80000001,
   3333   0xd555566b55555500, 0xd55556692aaaaa57,
   3334   0x8000004000000000, 0x8000003f80000001,
   3335   0x0000007f00000080, 0x0000007e00000080,
   3336   0x5555562a55555580, 0x55555628aaaaaad6,
   3337   0x888889c4bbbbbb80, 0x888889c24444440a,
   3338   0x8000003f00000080, 0x8000003e80000080,
   3339   0xd55555ea55555580, 0xd55555e92aaaaad6,
   3340   0x08888984bbbbbb80, 0x08888982c444440a,
   3341   0x08890a04bb7bbb80, 0x08890a01c404c40a,
   3342   0x555555ab55555500, 0x555555aaaaaaaa57,
   3343   0x88888945bbbbbb00, 0x888889444444438b,
   3344   0x888909c5bb7bbb00, 0x888909c34404c38b,
   3345   0x88898a44bb3bbb80, 0x88898a4143c5440a,
   3346   0x3333339a66666600, 0x3333339999999935,
   3347   0x3333b41a66266600, 0x3333b418995a1935,
   3348   0x3334349965e66680, 0x33343496991a99b4,
   3349   0x3334b51765a66780, 0x3334b51398db1ab2,
   3350   0x0000807fffc00000, 0x0000807effc08001,
   3351   0x000100feff800080, 0x000100fcff810080,
   3352   0x0001817cff400180, 0x00018179ff41817e,
   3353   0x000201f9ff000300, 0x000201f5ff0202fb,
   3354   0x0000807effc00080, 0x0000807dffc08080,
   3355   0x000100fcff800180, 0x000100faff81017e,
   3356   0x00018179ff400300, 0x00018176ff4182fb,
   3357   0x00018279ff3fc300, 0x00018275ff41437b,
   3358   0x0000807dffc00100, 0x0000807cffc080ff,
   3359   0x000100faff800280, 0x000100f8ff81027c,
   3360   0x000101faff7fc280, 0x000101f7ff80c2fc,
   3361   0x000102f9ff7f8300, 0x000102f5ff8083fb,
   3362   0x0000807cffc00180, 0x0000807bffc0817e,
   3363   0x0000817cffbfc180, 0x0000817affc041fe,
   3364   0x0000827bffbf8200, 0x00008278ffc002fd,
   3365   0x00008379ffbf4300, 0x00008375ffbfc47b,
   3366   0x000000ffffffc000, 0x000000feffffc081,
   3367   0x000001feffff8080, 0x000001fcffff8180,
   3368   0x000002fcffff4180, 0x000002f9ffff42fe,
   3369   0x000003f9ffff0300, 0x000003f5ffff04fb,
   3370   0x000000feffffc080, 0x000000fdffffc100,
   3371   0x000001fcffff8180, 0x000001faffff827e,
   3372   0x000002f9ffff4300, 0x000002f6ffff447b,
   3373   0x00000399ffff3300, 0x00000395ffff349b,
   3374   0x000000fdffffc100, 0x000000fcffffc17f,
   3375   0x000001faffff8280, 0x000001f8ffff837c,
   3376   0x0000029affff7280, 0x00000297ffff739c,
   3377   0x0000031dffff7100, 0x00000319ffff721f,
   3378   0x000000fcffffc180, 0x000000fbffffc1fe,
   3379   0x0000019cffffb180, 0x0000019affffb21e,
   3380   0x0000021fffffb000, 0x0000021cffffb0a1,
   3381   0x000002a1ffffaf00, 0x0000029dffffafa3,
   3382   0x0000009ffffff000, 0x0000009efffff021,
   3383   0x00000122ffffee80, 0x00000120ffffeea4,
   3384   0x000001a4ffffed80, 0x000001a1ffffeda6,
   3385   0x00000225ffffed00, 0x00000221ffffed27,
   3386   0x00000081fffffe83, 0x00000080fffffe87,
   3387   0x00000102fffffd85, 0x00000100fffffd8b,
   3388   0x00000182fffffd06, 0x0000017ffffffd0d,
   3389   0x00000182fffffd06, 0x0000017ffffffd0d,
   3390   0x00000080ffffff02, 0x0000007fffffff05,
   3391   0x00000100fffffe83, 0x000000fefffffe87,
   3392   0x00000100fffffe83, 0x000000fefffffe87,
   3393   0x000000ffffffff02, 0x000000fdffffff05,
   3394   0x0000007fffffff81, 0x0000007effffff83,
   3395   0x0000007fffffff81, 0x0000007effffff83,
   3396   0x0000007f00000000, 0x0000007e00000001,
   3397   0x0000007d000000fe, 0x0000007c000000fd,
   3398   0x0000000000000000, 0x0000000000000001,
   3399   0xffffffff0000007f, 0xffffffff0000007f,
   3400   0xfffffffd0000017d, 0xfffffffd0000017b,
   3401   0xffffffdd0000115d, 0xffffffdd0000113b,
   3402   0xffffffff0000007f, 0xffffffff0000007f,
   3403   0xfffffffd0000017d, 0xfffffffd0000017b,
   3404   0xffffffdd0000115d, 0xffffffdd0000113b,
   3405   0xffffff6000004f60, 0xffffff6000004ec1,
   3406   0xfffffffe000000fe, 0xfffffffe000000fd,
   3407   0xffffffde000010de, 0xffffffde000010bd,
   3408   0xffffff6100004ee1, 0xffffff6100004e43,
   3409   0xfffffee300008d63, 0xfffffee300008c47,
   3410   0xffffffe000000fe0, 0xffffffe000000fc1,
   3411   0xffffff6300004de3, 0xffffff6300004d47,
   3412   0xfffffee500008c65, 0xfffffee500008b4b,
   3413   0xfffffe660000cb66, 0xfffffe660000c9cd,
   3414   0xffffff8300003e03, 0xffffff8300003d87,
   3415   0xffffff0500007c85, 0xffffff0500007b8b,
   3416   0xfffffe860000bb86, 0xfffffe860000ba0d,
   3417   0xffff7e8900403a09, 0xffff7e89003fb893,
   3418   0xffffff8200003e82, 0xffffff8200003e05,
   3419   0xffffff0300007d83, 0xffffff0300007c87,
   3420   0xffff7f06003ffc06, 0xffff7f06003f7b0d,
   3421   0xfffeff08007f7b08, 0xfffeff08007e7a11,
   3422   0xffffff8100003f01, 0xffffff8100003e83,
   3423   0xffff7f84003fbd84, 0xffff7f84003f3d09,
   3424   0xfffeff86007f3c86, 0xfffeff86007e3c0d,
   3425   0xfffe7f8700bebc07, 0xfffe7f8700bd3b8f,
   3426   0xffff8003003f7e83, 0xffff8003003efe87,
   3427   0xffff0005007efd85, 0xffff0005007dfd8b,
   3428   0xfffe800600be7d06, 0xfffe800600bcfd0d,
   3429   0xcccb4cec6724e353, 0xcccb4cec33f03027,
   3430   0xffff8002003f7f02, 0xffff8002003eff05,
   3431   0xffff0003007efe83, 0xffff0003007dfe87,
   3432   0xcccbcce966e564d0, 0xcccbcce933b131a1,
   3433   0x777677bebc3ab9fb, 0x777677be33b13177,
   3434   0xffff8001003f7f81, 0xffff8001003eff83,
   3435   0xcccc4ce766a5e5ce, 0xcccc4ce73372329d,
   3436   0x7776f7bcbbfb3af9, 0x7776f7bc33723273,
   3437   0xf776f7ff3bfb397c, 0xf776f7fe337230f9,
   3438   0xcccccce66666664d, 0xcccccce63333331b,
   3439   0x777777bbbbbbbb78, 0x777777bb333332f1,
   3440   0xf77777fe3bbbb9fb, 0xf77777fd33333177,
   3441   0x7777783fbbbbb8fd, 0x7777783e3333307b,
   3442   0xaaaaaad55555552b, 0xaaaaaad4ffffffd7,
   3443   0x2aaaab17d55553ae, 0x2aaaab16fffffe5d,
   3444   0xaaaaab59555552b0, 0xaaaaab57fffffd61,
   3445   0x2aaaab99d5555231, 0x2aaaab97fffffce3,
   3446   0x800000427ffffe83, 0x80000041fffffe87,
   3447   0x00000083fffffd85, 0x00000082fffffd8b,
   3448   0x800000c47ffffd06, 0x800000c2fffffd0d,
   3449   0x00000103fffffd06, 0x00000101fffffd0d,
   3450   0x800000417fffff02, 0x80000040ffffff05,
   3451   0x00000081fffffe83, 0x00000080fffffe87,
   3452   0x800000c17ffffe83, 0x800000bffffffe87,
   3453   0x000000ffffffff02, 0x000000fdffffff05,
   3454   0x800000407fffff81, 0x8000003fffffff83,
   3455   0x0000007fffffff81, 0x0000007effffff83,
   3456   0x800000be80000000, 0x800000bd00000001,
   3457   0xd55556692aaaaa56, 0xd5555666ffffffad,
   3458   0x8000003f80000000, 0x8000003f00000001,
   3459   0x0000007e0000007f, 0x0000007d0000007f,
   3460   0x55555628aaaaaad5, 0x555556270000002b,
   3461   0x888889c244444409, 0x888889bfcccccc93,
   3462   0x8000003e8000007f, 0x8000003e0000007f,
   3463   0xd55555e92aaaaad5, 0xd55555e80000002b,
   3464   0x08888982c4444409, 0x08888980cccccc93,
   3465   0x08890a01c404c409, 0x088909fecc8dcc93,
   3466   0x555555aaaaaaaa56, 0x555555a9ffffffad,
   3467   0x888889444444438a, 0x88888942cccccc15,
   3468   0x888909c34404c38a, 0x888909c0cc8dcc15,
   3469   0x88898a4143c54409, 0x88898a3dcc4ecc93,
   3470   0x3333339999999934, 0x33333398cccccc69,
   3471   0x3333b418995a1934, 0x3333b416cc8dcc69,
   3472   0x33343496991a99b3, 0x33343493cc4ecce7,
   3473   0x3334b51398db1ab1, 0x3334b50fcc0fcde3,
   3474   0x0000807effc08000, 0x0000807dffc10001,
   3475   0x000100fcff81007f, 0x000100faff82007f,
   3476   0x00018179ff41817d, 0x00018176ff43017b,
   3477   0x000201f5ff0202fa, 0x000201f1ff0402f5,
   3478   0x0000807dffc0807f, 0x0000807cffc1007f,
   3479   0x000100faff81017d, 0x000100f8ff82017b,
   3480   0x00018176ff4182fa, 0x00018173ff4302f5,
   3481   0x00018275ff41437a, 0x00018271ff42c3f5,
   3482   0x0000807cffc080fe, 0x0000807bffc100fd,
   3483   0x000100f8ff81027b, 0x000100f6ff820277,
   3484   0x000101f7ff80c2fb, 0x000101f4ff81c377,
   3485   0x000102f5ff8083fa, 0x000102f1ff8184f5,
   3486   0x0000807bffc0817d, 0x0000807affc1017b,
   3487   0x0000817affc041fd, 0x00008178ffc0c27b,
   3488   0x00008278ffc002fc, 0x00008275ffc083f9,
   3489   0x00008375ffbfc47a, 0x00008371ffc045f5,
   3490   0x000000feffffc080, 0x000000fdffffc101,
   3491   0x000001fcffff817f, 0x000001faffff827f,
   3492   0x000002f9ffff42fd, 0x000002f6ffff447b,
   3493   0x000003f5ffff04fa, 0x000003f1ffff06f5,
   3494   0x000000fdffffc0ff, 0x000000fcffffc17f,
   3495   0x000001faffff827d, 0x000001f8ffff837b,
   3496   0x000002f6ffff447a, 0x000002f3ffff45f5,
   3497   0x00000395ffff349a, 0x00000391ffff3635,
   3498   0x000000fcffffc17e, 0x000000fbffffc1fd,
   3499   0x000001f8ffff837b, 0x000001f6ffff8477,
   3500   0x00000297ffff739b, 0x00000294ffff74b7,
   3501   0x00000319ffff721e, 0x00000315ffff733d,
   3502   0x000000fbffffc1fd, 0x000000faffffc27b,
   3503   0x0000019affffb21d, 0x00000198ffffb2bb,
   3504   0x0000021cffffb0a0, 0x00000219ffffb141,
   3505   0x0000029dffffafa2, 0x00000299ffffb045,
   3506   0x0000009efffff020, 0x0000009dfffff041,
   3507   0x00000120ffffeea3, 0x0000011effffeec7,
   3508   0x000001a1ffffeda5, 0x0000019effffedcb,
   3509   0x00000221ffffed26, 0x0000021dffffed4d,
   3510   0x00000080fffffe86, 0x0000007ffffffe8a,
   3511   0x00000100fffffd8a, 0x000000fefffffd90,
   3512   0x0000017ffffffd0c, 0x0000017cfffffd13,
   3513   0x0000017ffffffd0c, 0x0000017cfffffd13,
   3514   0x0000007fffffff04, 0x0000007effffff07,
   3515   0x000000fefffffe86, 0x000000fcfffffe8a,
   3516   0x000000fefffffe86, 0x000000fcfffffe8a,
   3517   0x000000fdffffff04, 0x000000fbffffff07,
   3518   0x0000007effffff82, 0x0000007dffffff84,
   3519   0x0000007effffff82, 0x0000007dffffff84,
   3520   0x0000007e00000000, 0x0000007d00000001,
   3521   0x0000007c000000fc, 0x0000007b000000fb,
   3522   0x0000000000000000, 0x0000000000000001,
   3523   0xffffffff0000007e, 0xffffffff0000007e,
   3524   0xfffffffd0000017a, 0xfffffffd00000178,
   3525   0xffffffdd0000113a, 0xffffffdd00001118,
   3526   0xffffffff0000007e, 0xffffffff0000007e,
   3527   0xfffffffd0000017a, 0xfffffffd00000178,
   3528   0xffffffdd0000113a, 0xffffffdd00001118,
   3529   0xffffff6000004ec0, 0xffffff6000004e21,
   3530   0xfffffffe000000fc, 0xfffffffe000000fb,
   3531   0xffffffde000010bc, 0xffffffde0000109b,
   3532   0xffffff6100004e42, 0xffffff6100004da4,
   3533   0xfffffee300008c46, 0xfffffee300008b2a,
   3534   0xffffffe000000fc0, 0xffffffe000000fa1,
   3535   0xffffff6300004d46, 0xffffff6300004caa,
   3536   0xfffffee500008b4a, 0xfffffee500008a30,
   3537   0xfffffe660000c9cc, 0xfffffe660000c833,
   3538   0xffffff8300003d86, 0xffffff8300003d0a,
   3539   0xffffff0500007b8a, 0xffffff0500007a90,
   3540   0xfffffe860000ba0c, 0xfffffe860000b893,
   3541   0xffff7e89003fb892, 0xffff7e89003f371c,
   3542   0xffffff8200003e04, 0xffffff8200003d87,
   3543   0xffffff0300007c86, 0xffffff0300007b8a,
   3544   0xffff7f06003f7b0c, 0xffff7f06003efa13,
   3545   0xfffeff08007e7a10, 0xfffeff08007d7919,
   3546   0xffffff8100003e82, 0xffffff8100003e04,
   3547   0xffff7f84003f3d08, 0xffff7f84003ebc8d,
   3548   0xfffeff86007e3c0c, 0xfffeff86007d3b93,
   3549   0xfffe7f8700bd3b8e, 0xfffe7f8700bbbb16,
   3550   0xffff8003003efe86, 0xffff8003003e7e8a,
   3551   0xffff0005007dfd8a, 0xffff0005007cfd90,
   3552   0xfffe800600bcfd0c, 0xfffe800600bb7d13,
   3553   0xcccb4cec33f03026, 0xcccb4cec00bb7cfa,
   3554   0xffff8002003eff04, 0xffff8002003e7f07,
   3555   0xffff0003007dfe86, 0xffff0003007cfe8a,
   3556   0xcccbcce933b131a0, 0xcccbcce9007cfe71,
   3557   0x777677be33b13176, 0x777677bdab27a8f2,
   3558   0xffff8001003eff82, 0xffff8001003e7f84,
   3559   0xcccc4ce73372329c, 0xcccc4ce7003e7f6b,
   3560   0x7776f7bc33723272, 0x7776f7bbaae929ec,
   3561   0xf776f7fe337230f8, 0xf776f7fd2ae92875,
   3562   0xcccccce63333331a, 0xcccccce5ffffffe8,
   3563   0x777777bb333332f0, 0x777777baaaaaaa69,
   3564   0xf77777fd33333176, 0xf77777fc2aaaa8f2,
   3565   0x7777783e3333307a, 0x7777783caaaaa7f8,
   3566   0xaaaaaad4ffffffd6, 0xaaaaaad4aaaaaa82,
   3567   0x2aaaab16fffffe5c, 0x2aaaab162aaaa90b,
   3568   0xaaaaab57fffffd60, 0xaaaaab56aaaaa811,
   3569   0x2aaaab97fffffce2, 0x2aaaab962aaaa794,
   3570   0x80000041fffffe86, 0x800000417ffffe8a,
   3571   0x00000082fffffd8a, 0x00000081fffffd90,
   3572   0x800000c2fffffd0c, 0x800000c17ffffd13,
   3573   0x00000101fffffd0c, 0x000000fffffffd13,
   3574   0x80000040ffffff04, 0x800000407fffff07,
   3575   0x00000080fffffe86, 0x0000007ffffffe8a,
   3576   0x800000bffffffe86, 0x800000be7ffffe8a,
   3577   0x000000fdffffff04, 0x000000fbffffff07,
   3578   0x8000003fffffff82, 0x8000003f7fffff84,
   3579   0x0000007effffff82, 0x0000007dffffff84,
   3580   0x800000bd00000000, 0x800000bb80000001,
   3581   0xd5555666ffffffac, 0xd5555664d5555503,
   3582   0x8000003f00000000, 0x8000003e80000001,
   3583   0x0000007d0000007e, 0x0000007c0000007e,
   3584   0x555556270000002a, 0x5555562555555580,
   3585   0x888889bfcccccc92, 0x888889bd5555551c,
   3586   0x8000003e0000007e, 0x8000003d8000007e,
   3587   0xd55555e80000002a, 0xd55555e6d5555580,
   3588   0x08888980cccccc92, 0x0888897ed555551c,
   3589   0x088909fecc8dcc92, 0x088909fbd516d51c,
   3590   0x555555a9ffffffac, 0x555555a955555503,
   3591   0x88888942cccccc14, 0x888889415555549f,
   3592   0x888909c0cc8dcc14, 0x888909be5516d49f,
   3593   0x88898a3dcc4ecc92, 0x88898a3a54d8551c,
   3594   0x33333398cccccc68, 0x33333397ffffff9d,
   3595   0x3333b416cc8dcc68, 0x3333b414ffc17f9d,
   3596   0x33343493cc4ecce6, 0x33343490ff83001a,
   3597   0x3334b50fcc0fcde2, 0x3334b50bff448114,
   3598   0x0000807dffc10000, 0x0000807cffc18001,
   3599   0x000100faff82007e, 0x000100f8ff83007e,
   3600   0x00018176ff43017a, 0x00018173ff448178,
   3601   0x000201f1ff0402f4, 0x000201edff0602ef,
   3602   0x0000807cffc1007e, 0x0000807bffc1807e,
   3603   0x000100f8ff82017a, 0x000100f6ff830178,
   3604   0x00018173ff4302f4, 0x00018170ff4482ef,
   3605   0x00018271ff42c3f4, 0x0001826dff44446f,
   3606   0x0000807bffc100fc, 0x0000807affc180fb,
   3607   0x000100f6ff820276, 0x000100f4ff830272,
   3608   0x000101f4ff81c376, 0x000101f1ff82c3f2,
   3609   0x000102f1ff8184f4, 0x000102edff8285ef,
   3610   0x0000807affc1017a, 0x00008079ffc18178,
   3611   0x00008178ffc0c27a, 0x00008176ffc142f8,
   3612   0x00008275ffc083f8, 0x00008272ffc104f5,
   3613   0x00008371ffc045f4, 0x0000836dffc0c76f,
   3614   0x000000fdffffc100, 0x000000fcffffc181,
   3615   0x000001faffff827e, 0x000001f8ffff837e,
   3616   0x000002f6ffff447a, 0x000002f3ffff45f8,
   3617   0x000003f1ffff06f4, 0x000003edffff08ef,
   3618   0x000000fcffffc17e, 0x000000fbffffc1fe,
   3619   0x000001f8ffff837a, 0x000001f6ffff8478,
   3620   0x000002f3ffff45f4, 0x000002f0ffff476f,
   3621   0x00000391ffff3634, 0x0000038dffff37cf,
   3622   0x000000fbffffc1fc, 0x000000faffffc27b,
   3623   0x000001f6ffff8476, 0x000001f4ffff8572,
   3624   0x00000294ffff74b6, 0x00000291ffff75d2,
   3625   0x00000315ffff733c, 0x00000311ffff745b,
   3626   0x000000faffffc27a, 0x000000f9ffffc2f8,
   3627   0x00000198ffffb2ba, 0x00000196ffffb358,
   3628   0x00000219ffffb140, 0x00000216ffffb1e1,
   3629   0x00000299ffffb044, 0x00000295ffffb0e7,
   3630   0x0000009dfffff040, 0x0000009cfffff061,
   3631   0x0000011effffeec6, 0x0000011cffffeeea,
   3632   0x0000019effffedca, 0x0000019bffffedf0,
   3633   0x0000021dffffed4c, 0x00000219ffffed73,
   3634   0x0000007ffffffe89, 0x00000022ffffffa1,
   3635   0x000000fefffffd8f, 0x00000044ffffff61,
   3636   0x0000017cfffffd12, 0x00000065ffffff41,
   3637   0x0000017cfffffd12, 0x00000065ffffff41,
   3638   0x0000007effffff06, 0x00000021ffffffc1,
   3639   0x000000fcfffffe89, 0x00000042ffffffa1,
   3640   0x000000fcfffffe89, 0x00000042ffffffa1,
   3641   0x000000fbffffff06, 0x00000041ffffffc1,
   3642   0x0000007dffffff83, 0x00000020ffffffe1,
   3643   0x0000007dffffff83, 0x00000020ffffffe1,
   3644   0x0000007d00000000, 0x0000002000000001,
   3645   0x0000007b000000fa, 0x0000001e00000041,
   3646   0x0000000000000000, 0x0000000000000001,
   3647   0xffffffff0000007d, 0xffffffff00000021,
   3648   0xfffffffd00000177, 0xfffffffd00000061,
   3649   0xffffffdd00001117, 0xffffffdd00000461,
   3650   0xffffffff0000007d, 0xffffffff00000021,
   3651   0xfffffffd00000177, 0xfffffffd00000061,
   3652   0xffffffdd00001117, 0xffffffdd00000461,
   3653   0xffffff6000004e20, 0xffffff6000001401,
   3654   0xfffffffe000000fa, 0xfffffffe00000041,
   3655   0xffffffde0000109a, 0xffffffde00000441,
   3656   0xffffff6100004da3, 0xffffff61000013e1,
   3657   0xfffffee300008b29, 0xfffffee3000023a1,
   3658   0xffffffe000000fa0, 0xffffffe000000401,
   3659   0xffffff6300004ca9, 0xffffff63000013a1,
   3660   0xfffffee500008a2f, 0xfffffee500002361,
   3661   0xfffffe660000c832, 0xfffffe6600003341,
   3662   0xffffff8300003d09, 0xffffff8300000fa1,
   3663   0xffffff0500007a8f, 0xffffff0500001f61,
   3664   0xfffffe860000b892, 0xfffffe8600002f41,
   3665   0xffff7e89003f371b, 0xffff7e8900102ee1,
   3666   0xffffff8200003d86, 0xffffff8200000fc1,
   3667   0xffffff0300007b89, 0xffffff0300001fa1,
   3668   0xffff7f06003efa12, 0xffff7f0600101f41,
   3669   0xfffeff08007d7918, 0xfffeff0800201f01,
   3670   0xffffff8100003e03, 0xffffff8100000fe1,
   3671   0xffff7f84003ebc8c, 0xffff7f8400100f81,
   3672   0xfffeff86007d3b92, 0xfffeff8600200f41,
   3673   0xfffe7f8700bbbb15, 0xfffe7f8700300f21,
   3674   0xffff8003003e7e89, 0xffff8003000fffa1,
   3675   0xffff0005007cfd8f, 0xffff0005001fff61,
   3676   0xfffe800600bb7d12, 0xfffe8006002fff41,
   3677   0xcccb4cec00bb7cf9, 0xcccb4cd9669665a1,
   3678   0xffff8002003e7f06, 0xffff8002000fffc1,
   3679   0xffff0003007cfe89, 0xffff0003001fffa1,
   3680   0xcccbcce9007cfe70, 0xcccbccd666866601,
   3681   0x777677bdab27a8f1, 0x7776778c113110a1,
   3682   0xffff8001003e7f83, 0xffff8001000fffe1,
   3683   0xcccc4ce7003e7f6a, 0xcccc4cd466766641,
   3684   0x7776f7bbaae929eb, 0x7776f78a112110e1,
   3685   0xf776f7fd2ae92874, 0xf776f79d11211081,
   3686   0xcccccce5ffffffe7, 0xccccccd366666661,
   3687   0x777777baaaaaaa68, 0x7777778911111101,
   3688   0xf77777fc2aaaa8f1, 0xf777779c111110a1,
   3689   0x7777783caaaaa7f7, 0x777777ae11111061,
   3690   0xaaaaaad4aaaaaa81, 0xaaaaaab5aaaaaaa1,
   3691   0x2aaaab162aaaa90a, 0x2aaaaac8aaaaaa41,
   3692   0xaaaaab56aaaaa810, 0xaaaaaadaaaaaaa01,
   3693   0x2aaaab962aaaa793, 0x2aaaaaebaaaaa9e1,
   3694   0x800000417ffffe89, 0x80000012ffffffa1,
   3695   0x00000081fffffd8f, 0x00000024ffffff61,
   3696   0x800000c17ffffd12, 0x80000035ffffff41,
   3697   0x000000fffffffd12, 0x00000045ffffff41,
   3698   0x800000407fffff06, 0x80000011ffffffc1,
   3699   0x0000007ffffffe89, 0x00000022ffffffa1,
   3700   0x800000be7ffffe89, 0x80000032ffffffa1,
   3701   0x000000fbffffff06, 0x00000041ffffffc1,
   3702   0x8000003f7fffff83, 0x80000010ffffffe1,
   3703   0x0000007dffffff83, 0x00000020ffffffe1,
   3704   0x800000bb80000000, 0x8000003000000001,
   3705   0xd5555664d5555502, 0xd555559b55555541,
   3706   0x8000003e80000000, 0x8000001000000001,
   3707   0x0000007c0000007d, 0x0000001f00000021,
   3708   0x555556255555557f, 0x5555558a55555561,
   3709   0x888889bd5555551b, 0x888888d7eeeeeee1,
   3710   0x8000003d8000007d, 0x8000000f00000021,
   3711   0xd55555e6d555557f, 0xd555557a55555561,
   3712   0x0888897ed555551b, 0x088888c7eeeeeee1,
   3713   0x088909fbd516d51b, 0x088908e7eedeeee1,
   3714   0x555555a955555502, 0x5555556b55555541,
   3715   0x888889415555549e, 0x888888b8eeeeeec1,
   3716   0x888909be5516d49e, 0x888908d8eedeeec1,
   3717   0x88898a3a54d8551b, 0x888988f7eeceeee1,
   3718   0x33333397ffffff9c, 0x3333334d99999981,
   3719   0x3333b414ffc17f9c, 0x3333b36d99899981,
   3720   0x33343490ff830019, 0x3334338c997999a1,
   3721   0x3334b50bff448113, 0x3334b3aa996999e1,
   3722   0x0000807cffc18000, 0x0000801ffff00001,
   3723   0x000100f8ff83007d, 0x0001003effe00021,
   3724   0x00018173ff448177, 0x0001805cffd00061,
   3725   0x000201edff0602ee, 0x00020079ffc000c1,
   3726   0x0000807bffc1807d, 0x0000801efff00021,
   3727   0x000100f6ff830177, 0x0001003cffe00061,
   3728   0x00018170ff4482ee, 0x00018059ffd000c1,
   3729   0x0001826dff44446e, 0x000180f9ffcff0c1,
   3730   0x0000807affc180fa, 0x0000801dfff00041,
   3731   0x000100f4ff830271, 0x0001003affe000a1,
   3732   0x000101f1ff82c3f1, 0x000100daffdff0a1,
   3733   0x000102edff8285ee, 0x00010179ffdfe0c1,
   3734   0x00008079ffc18177, 0x0000801cfff00061,
   3735   0x00008176ffc142f7, 0x000080bcffeff061,
   3736   0x00008272ffc104f4, 0x0000815bffefe081,
   3737   0x0000836dffc0c76e, 0x000081f9ffefd0c1,
   3738   0x000000fcffffc180, 0x0000009ffffff001,
   3739   0x000001f8ffff837d, 0x0000013effffe021,
   3740   0x000002f3ffff45f7, 0x000001dcffffd061,
   3741   0x000003edffff08ee, 0x00000279ffffc0c1,
   3742   0x000000fbffffc1fd, 0x0000009efffff021,
   3743   0x000001f6ffff8477, 0x0000013cffffe061,
   3744   0x000002f0ffff476e, 0x000001d9ffffd0c1,
   3745   0x0000038dffff37ce, 0x00000219ffffccc1,
   3746   0x000000faffffc27a, 0x0000009dfffff041,
   3747   0x000001f4ffff8571, 0x0000013affffe0a1,
   3748   0x00000291ffff75d1, 0x0000017affffdca1,
   3749   0x00000311ffff745a, 0x0000019dffffdc41,
   3750   0x000000f9ffffc2f7, 0x0000009cfffff061,
   3751   0x00000196ffffb357, 0x000000dcffffec61,
   3752   0x00000216ffffb1e0, 0x000000ffffffec01,
   3753   0x00000295ffffb0e6, 0x00000121ffffebc1,
   3754   0x0000009cfffff060, 0x0000003ffffffc01,
   3755   0x0000011cffffeee9, 0x00000062fffffba1,
   3756   0x0000019bffffedef, 0x00000084fffffb61,
   3757   0x00000219ffffed72, 0x000000a5fffffb41,
   3758   0x00000022ffffffa0, 0x00000005fffffff8,
   3759   0x00000044ffffff60, 0x0000000afffffff2,
   3760   0x00000065ffffff40, 0x0000000effffffef,
   3761   0x00000065ffffff40, 0x0000000effffffef,
   3762   0x00000021ffffffc0, 0x00000004fffffffb,
   3763   0x00000042ffffffa0, 0x00000008fffffff8,
   3764   0x00000042ffffffa0, 0x00000008fffffff8,
   3765   0x00000041ffffffc0, 0x00000007fffffffb,
   3766   0x00000020ffffffe0, 0x00000003fffffffe,
   3767   0x00000020ffffffe0, 0x00000003fffffffe,
   3768   0x0000002000000000, 0x0000000300000001,
   3769   0x0000001e00000040, 0x0000000100000007,
   3770   0x0000000000000000, 0x0000000000000001,
   3771   0xffffffff00000020, 0xffffffff00000004,
   3772   0xfffffffd00000060, 0xfffffffd0000000a,
   3773   0xffffffdd00000460, 0xffffffdd0000006a,
   3774   0xffffffff00000020, 0xffffffff00000004,
   3775   0xfffffffd00000060, 0xfffffffd0000000a,
   3776   0xffffffdd00000460, 0xffffffdd0000006a,
   3777   0xffffff6000001400, 0xffffff60000001e1,
   3778   0xfffffffe00000040, 0xfffffffe00000007,
   3779   0xffffffde00000440, 0xffffffde00000067,
   3780   0xffffff61000013e0, 0xffffff61000001de,
   3781   0xfffffee3000023a0, 0xfffffee300000358,
   3782   0xffffffe000000400, 0xffffffe000000061,
   3783   0xffffff63000013a0, 0xffffff63000001d8,
   3784   0xfffffee500002360, 0xfffffee500000352,
   3785   0xfffffe6600003340, 0xfffffe66000004cf,
   3786   0xffffff8300000fa0, 0xffffff8300000178,
   3787   0xffffff0500001f60, 0xffffff05000002f2,
   3788   0xfffffe8600002f40, 0xfffffe860000046f,
   3789   0xffff7e8900102ee0, 0xffff7e8900018466,
   3790   0xffffff8200000fc0, 0xffffff820000017b,
   3791   0xffffff0300001fa0, 0xffffff03000002f8,
   3792   0xffff7f0600101f40, 0xffff7f06000182ef,
   3793   0xfffeff0800201f00, 0xfffeff08000302e9,
   3794   0xffffff8100000fe0, 0xffffff810000017e,
   3795   0xffff7f8400100f80, 0xffff7f8400018175,
   3796   0xfffeff8600200f40, 0xfffeff860003016f,
   3797   0xfffe7f8700300f20, 0xfffe7f870004816c,
   3798   0xffff8003000fffa0, 0xffff800300017ff8,
   3799   0xffff0005001fff60, 0xffff00050002fff2,
   3800   0xfffe8006002fff40, 0xfffe800600047fef,
   3801   0xcccb4cd9669665a0, 0xcccb4cd3999e1988,
   3802   0xffff8002000fffc0, 0xffff800200017ffb,
   3803   0xffff0003001fffa0, 0xffff00030002fff8,
   3804   0xcccbccd666866600, 0xcccbccd0999c9991,
   3805   0x7776778c113110a0, 0x7776777c999c9990,
   3806   0xffff8001000fffe0, 0xffff800100017ffe,
   3807   0xcccc4cd466766640, 0xcccc4cce999b1997,
   3808   0x7776f78a112110e0, 0x7776f77a999b1996,
   3809   0xf776f79d11211080, 0xf776f77f199b198d,
   3810   0xccccccd366666660, 0xcccccccd9999999a,
   3811   0x7777778911111100, 0x7777777999999999,
   3812   0xf777779c111110a0, 0xf777777e19999990,
   3813   0x777777ae11111060, 0x777777819999998a,
   3814   0xaaaaaab5aaaaaaa0, 0xaaaaaaac00000000,
   3815   0x2aaaaac8aaaaaa40, 0x2aaaaab07ffffff7,
   3816   0xaaaaaadaaaaaaa00, 0xaaaaaab3fffffff1,
   3817   0x2aaaaaebaaaaa9e0, 0x2aaaaab67fffffee,
   3818   0x80000012ffffffa0, 0x800000047ffffff8,
   3819   0x00000024ffffff60, 0x00000007fffffff2,
   3820   0x80000035ffffff40, 0x8000000a7fffffef,
   3821   0x00000045ffffff40, 0x0000000bffffffef,
   3822   0x80000011ffffffc0, 0x800000037ffffffb,
   3823   0x00000022ffffffa0, 0x00000005fffffff8,
   3824   0x80000032ffffffa0, 0x800000077ffffff8,
   3825   0x00000041ffffffc0, 0x00000007fffffffb,
   3826   0x80000010ffffffe0, 0x800000027ffffffe,
   3827   0x00000020ffffffe0, 0x00000003fffffffe,
   3828   0x8000003000000000, 0x8000000480000001,
   3829   0xd555559b55555540, 0xd555555c7fffffff,
   3830   0x8000001000000000, 0x8000000180000001,
   3831   0x0000001f00000020, 0x0000000200000004,
   3832   0x5555558a55555560, 0x5555555a00000002,
   3833   0x888888d7eeeeeee0, 0x8888889066666666,
   3834   0x8000000f00000020, 0x8000000080000004,
   3835   0xd555557a55555560, 0xd555555880000002,
   3836   0x088888c7eeeeeee0, 0x0888888ee6666666,
   3837   0x088908e7eedeeee0, 0x08890891e664e666,
   3838   0x5555556b55555540, 0x55555557ffffffff,
   3839   0x888888b8eeeeeec0, 0x8888888e66666663,
   3840   0x888908d8eedeeec0, 0x888908916664e663,
   3841   0x888988f7eeceeee0, 0x8889889366636666,
   3842   0x3333334d99999980, 0x3333333666666665,
   3843   0x3333b36d99899980, 0x3333b3396664e665,
   3844   0x3334338c997999a0, 0x3334333b66636668,
   3845   0x3334b3aa996999e0, 0x3334b33c6661e66e,
   3846   0x0000801ffff00000, 0x00008002fffe8001,
   3847   0x0001003effe00020, 0x00010004fffd0004,
   3848   0x0001805cffd00060, 0x00018005fffb800a,
   3849   0x00020079ffc000c0, 0x00020005fffa0013,
   3850   0x0000801efff00020, 0x00008001fffe8004,
   3851   0x0001003cffe00060, 0x00010002fffd000a,
   3852   0x00018059ffd000c0, 0x00018002fffb8013,
   3853   0x000180f9ffcff0c0, 0x00018085fffb7e93,
   3854   0x0000801dfff00040, 0x00008000fffe8007,
   3855   0x0001003affe000a0, 0x00010000fffd0010,
   3856   0x000100daffdff0a0, 0x00010083fffcfe90,
   3857   0x00010179ffdfe0c0, 0x00010105fffcfd13,
   3858   0x0000801cfff00060, 0x00007ffffffe800a,
   3859   0x000080bcffeff060, 0x00008082fffe7e8a,
   3860   0x0000815bffefe080, 0x00008104fffe7d0d,
   3861   0x000081f9ffefd0c0, 0x00008185fffe7b93,
   3862   0x0000009ffffff000, 0x00000082fffffe81,
   3863   0x0000013effffe020, 0x00000104fffffd04,
   3864   0x000001dcffffd060, 0x00000185fffffb8a,
   3865   0x00000279ffffc0c0, 0x00000205fffffa13,
   3866   0x0000009efffff020, 0x00000081fffffe84,
   3867   0x0000013cffffe060, 0x00000102fffffd0a,
   3868   0x000001d9ffffd0c0, 0x00000182fffffb93,
   3869   0x00000219ffffccc0, 0x000001a5fffffb33,
   3870   0x0000009dfffff040, 0x00000080fffffe87,
   3871   0x0000013affffe0a0, 0x00000100fffffd10,
   3872   0x0000017affffdca0, 0x00000123fffffcb0,
   3873   0x0000019dffffdc40, 0x00000129fffffca7,
   3874   0x0000009cfffff060, 0x0000007ffffffe8a,
   3875   0x000000dcffffec60, 0x000000a2fffffe2a,
   3876   0x000000ffffffec00, 0x000000a8fffffe21,
   3877   0x00000121ffffebc0, 0x000000adfffffe1b,
   3878   0x0000003ffffffc00, 0x00000022ffffffa1,
   3879   0x00000062fffffba0, 0x00000028ffffff98,
   3880   0x00000084fffffb60, 0x0000002dffffff92,
   3881   0x000000a5fffffb40, 0x00000031ffffff8f,
   3882 };
   3883 const unsigned kExpectedCount_NEON_umlsl_2D_2S_S = 3844;
   3884 
   3885 #endif  // VIXL_SIM_UMLSL_2D_2S_S_TRACE_AARCH64_H_
   3886