Home | History | Annotate | Download | only in a64 
      1 // Copyright 2015, ARM Limited
      2 // All rights reserved.
      3 //
      4 // Redistribution and use in source and binary forms, with or without
      5 // modification, are permitted provided that the following conditions are met:
      6 //
      7 //   * Redistributions of source code must retain the above copyright notice,
      8 //     this list of conditions and the following disclaimer.
      9 //   * Redistributions in binary form must reproduce the above copyright notice,
     10 //     this list of conditions and the following disclaimer in the documentation
     11 //     and/or other materials provided with the distribution.
     12 //   * Neither the name of ARM Limited nor the names of its contributors may be
     13 //     used to endorse or promote products derived from this software without
     14 //     specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
     17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
     20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
     23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     26 
     27 
     28 // ---------------------------------------------------------------------
     29 // This file is auto generated using tools/generate_simulator_traces.py.
     30 //
     31 // PLEASE DO NOT EDIT.
     32 // ---------------------------------------------------------------------
     33 
     34 #ifndef VIXL_SIM_SMLAL_2D_2S_S_TRACE_A64_H_
     35 #define VIXL_SIM_SMLAL_2D_2S_S_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_smlal_2D_2S_S[] = {
     38   0x000000003e040000, 0x000000003e820001,
     39   0x000000007c860000, 0x000000007d830001,
     40   0x0000003f7b0c0000, 0x0000003ffc060001,
     41   0x0000003f7b0c0000, 0x0000003ffc060001,
     42   0x000000003e820000, 0x000000003f010001,
     43   0x0000003f3d080000, 0x0000003fbd840001,
     44   0x0000003f3d080000, 0x0000003fbd840001,
     45   0x0000003f3d087e00, 0x0000003fbd847f01,
     46   0x0000003efe860000, 0x0000003f7e830001,
     47   0x0000003efe860000, 0x0000003f7e830001,
     48   0x0000003efe867e00, 0x0000003f7e837f01,
     49   0x0000003efe877a00, 0x0000003f7e847d01,
     50   0x0000000000000000, 0x0000000000000001,
     51   0x0000000000007e00, 0x0000000000007f01,
     52   0x0000000000017a00, 0x0000000000017d01,
     53   0x0000000000113a00, 0x0000000000115d01,
     54   0x0000000000007e00, 0x0000000000007f01,
     55   0x0000000000017a00, 0x0000000000017d01,
     56   0x0000000000113a00, 0x0000000000115d01,
     57   0x00000000004ec000, 0x00000000004f6001,
     58   0x000000000000fc00, 0x000000000000fe01,
     59   0x000000000010bc00, 0x000000000010de01,
     60   0x00000000004e4200, 0x00000000004ee101,
     61   0x00000000008c4600, 0x00000000008d6301,
     62   0x00000000000fc000, 0x00000000000fe001,
     63   0x00000000004d4600, 0x00000000004de301,
     64   0x00000000008b4a00, 0x00000000008c6501,
     65   0x0000000000c9cc00, 0x0000000000cb6601,
     66   0x00000000003d8600, 0x00000000003e0301,
     67   0x00000000007b8a00, 0x00000000007c8501,
     68   0x0000000000ba0c00, 0x0000000000bb8601,
     69   0x000000003fb89200, 0x00000000403a0901,
     70   0x00000000003e0400, 0x00000000003e8201,
     71   0x00000000007c8600, 0x00000000007d8301,
     72   0x000000003f7b0c00, 0x000000003ffc0601,
     73   0x000000007e7a1000, 0x000000007f7b0801,
     74   0x00000000003e8200, 0x00000000003f0101,
     75   0x000000003f3d0800, 0x000000003fbd8401,
     76   0x000000007e3c0c00, 0x000000007f3c8601,
     77   0x00000000bd3b8e00, 0x00000000bebc0701,
     78   0x000000003efe8600, 0x000000003f7e8301,
     79   0x000000007dfd8a00, 0x000000007efd8501,
     80   0x00000000bcfd0c00, 0x00000000be7d0601,
     81   0x00001933f0302600, 0x0000196724e35301,
     82   0x000000003eff0400, 0x000000003f7f0201,
     83   0x000000007dfe8600, 0x000000007efe8301,
     84   0x00001933b131a000, 0x00001966e564d001,
     85   0x00004333b1317600, 0x000043bc3ab9fb01,
     86   0x000000003eff8200, 0x000000003f7f8101,
     87   0x0000193372329c00, 0x00001966a5e5ce01,
     88   0x0000433372327200, 0x000043bbfb3af901,
     89   0x000082337230f800, 0x0000833bfb397c01,
     90   0x0000193333331a00, 0x0000196666664d01,
     91   0x000043333332f000, 0x000043bbbbbb7801,
     92   0x0000823333317600, 0x0000833bbbb9fb01,
     93   0x0000c13333307a00, 0x0000c2bbbbb8fd01,
     94   0x000029ffffffd600, 0x00002a5555552b01,
     95   0x000068fffffe5c00, 0x000069d55553ae01,
     96   0x0000a7fffffd6000, 0x0000a9555552b001,
     97   0x0000e6fffffce200, 0x0000e8d555523101,
     98   0x00003efffffe8600, 0x00003f7ffffe8301,
     99   0x00007dfffffd8a00, 0x00007efffffd8501,
    100   0x0000bcfffffd0c00, 0x0000be7ffffd0601,
    101   0x00007dfffffd0c00, 0x00007efffffd0601,
    102   0x00003effffff0400, 0x00003f7fffff0201,
    103   0x00007dfffffe8600, 0x00007efffffe8301,
    104   0x00003efffffe8600, 0x00003f7ffffe8301,
    105   0xffffffffffff0400, 0xffffffffffff0201,
    106   0x00003effffff8200, 0x00003f7fffff8101,
    107   0xffffffffffff8200, 0xffffffffffff8101,
    108   0xffffc10000000000, 0xffffc08000000001,
    109   0xffff96ffffffac00, 0xffff962aaaaa5601,
    110   0xffffc10000000000, 0xffffc08000000001,
    111   0xffff820000007e00, 0xffff810000007f01,
    112   0xffff580000002a00, 0xffff56aaaaaad501,
    113   0xffff3ecccccc9200, 0xffff3d4444440901,
    114   0xffffc10000007e00, 0xffffc08000007f01,
    115   0xffff970000002a00, 0xffff962aaaaad501,
    116   0xffff7dcccccc9200, 0xffff7cc444440901,
    117   0xffff7dcc8dcc9200, 0xffff7cc404c40901,
    118   0xffffd5ffffffac00, 0xffffd5aaaaaa5601,
    119   0xffffbccccccc1400, 0xffffbc4444438a01,
    120   0xffffbccc8dcc1400, 0xffffbc4404c38a01,
    121   0xffffbccc4ecc9200, 0xffffbc43c5440901,
    122   0xffffe6cccccc6800, 0xffffe69999993401,
    123   0xffffe6cc8dcc6800, 0xffffe6995a193401,
    124   0xffffe6cc4ecce600, 0xffffe6991a99b301,
    125   0xffffe6cc0fcde200, 0xffffe698db1ab101,
    126   0xffffffffc1000000, 0xffffffffc0800001,
    127   0xffffffff82007e00, 0xffffffff81007f01,
    128   0xffffffff43017a00, 0xffffffff41817d01,
    129   0xffffffff0402f400, 0xffffffff0202fa01,
    130   0xffffffffc1007e00, 0xffffffffc0807f01,
    131   0xffffffff82017a00, 0xffffffff81017d01,
    132   0xffffffff4302f400, 0xffffffff4182fa01,
    133   0xffffffff42c3f400, 0xffffffff41437a01,
    134   0xffffffffc100fc00, 0xffffffffc080fe01,
    135   0xffffffff82027600, 0xffffffff81027b01,
    136   0xffffffff81c37600, 0xffffffff80c2fb01,
    137   0xffffffff8184f400, 0xffffffff8083fa01,
    138   0xffffffffc1017a00, 0xffffffffc0817d01,
    139   0xffffffffc0c27a00, 0xffffffffc041fd01,
    140   0xffffffffc083f800, 0xffffffffc002fc01,
    141   0xffffffffc045f400, 0xffffffffbfc47a01,
    142   0xffffffffffc10000, 0xffffffffffc08001,
    143   0xffffffffff827e00, 0xffffffffff817f01,
    144   0xffffffffff447a00, 0xffffffffff42fd01,
    145   0xffffffffff06f400, 0xffffffffff04fa01,
    146   0xffffffffffc17e00, 0xffffffffffc0ff01,
    147   0xffffffffff837a00, 0xffffffffff827d01,
    148   0xffffffffff45f400, 0xffffffffff447a01,
    149   0xffffffffff363400, 0xffffffffff349a01,
    150   0xffffffffffc1fc00, 0xffffffffffc17e01,
    151   0xffffffffff847600, 0xffffffffff837b01,
    152   0xffffffffff74b600, 0xffffffffff739b01,
    153   0xffffffffff733c00, 0xffffffffff721e01,
    154   0xffffffffffc27a00, 0xffffffffffc1fd01,
    155   0xffffffffffb2ba00, 0xffffffffffb21d01,
    156   0xffffffffffb14000, 0xffffffffffb0a001,
    157   0xffffffffffb04400, 0xffffffffffafa201,
    158   0xfffffffffff04000, 0xfffffffffff02001,
    159   0xffffffffffeec600, 0xffffffffffeea301,
    160   0xffffffffffedca00, 0xffffffffffeda501,
    161   0xffffffffffed4c00, 0xffffffffffed2601,
    162   0xfffffffffffe8300, 0xfffffffffe800901,
    163   0xfffffffffffd8500, 0xfffffffffd800f01,
    164   0xfffffffffffd0600, 0xfffffffffd001201,
    165   0xfffffffffffd0600, 0xfffffffffd001201,
    166   0xffffffffffff0200, 0xffffffffff000601,
    167   0xfffffffffffe8300, 0xfffffffffe800901,
    168   0xfffffffffffe8300, 0xfffffffffe800901,
    169   0xffffffffffff0200, 0xffffffffff000601,
    170   0xffffffffffff8100, 0xffffffffff800301,
    171   0xffffffffffff8100, 0xffffffffff800301,
    172   0x0000000000000000, 0x0000000000000001,
    173   0x000000000000fe00, 0x0000000000fffa01,
    174   0x0000000000000000, 0x0000000000000001,
    175   0x0000000000007f00, 0x00000000007ffd01,
    176   0x0000000000017d00, 0x00000000017ff701,
    177   0x0000000000115d00, 0x00000000117f9701,
    178   0x0000000000007f00, 0x00000000007ffd01,
    179   0x0000000000017d00, 0x00000000017ff701,
    180   0x0000000000115d00, 0x00000000117f9701,
    181   0x00000000004f6000, 0x000000004ffe2001,
    182   0x000000000000fe00, 0x0000000000fffa01,
    183   0x000000000010de00, 0x0000000010ff9a01,
    184   0x00000000004ee100, 0x000000004f7e2301,
    185   0x00000000008d6300, 0x000000008e7ca901,
    186   0x00000000000fe000, 0x000000000fffa001,
    187   0x00000000004de300, 0x000000004e7e2901,
    188   0x00000000008c6500, 0x000000008d7caf01,
    189   0x0000000000cb6600, 0x00000000ccfb3201,
    190   0x00000000003e0300, 0x000000003e7e8901,
    191   0x00000000007c8500, 0x000000007d7d0f01,
    192   0x0000000000bb8600, 0x00000000bcfb9201,
    193   0x00000000403a0900, 0x00000040b9fb9b01,
    194   0x00000000003e8200, 0x000000003efe8601,
    195   0x00000000007d8300, 0x000000007e7d0901,
    196   0x000000003ffc0600, 0x000000407b7d1201,
    197   0x000000007f7b0800, 0x0000008078fd1801,
    198   0x00000000003f0100, 0x000000003f7e8301,
    199   0x000000003fbd8400, 0x000000403c7e8c01,
    200   0x000000007f3c8600, 0x0000008039fe9201,
    201   0x00000000bebc0700, 0x000000c037fe9501,
    202   0x000000003f7e8300, 0x0000003ffd000901,
    203   0x000000007efd8500, 0x0000007ffa800f01,
    204   0x00000000be7d0600, 0x000000bff8801201,
    205   0x0000196724e35300, 0x001999bff8667901,
    206   0x000000003f7f0200, 0x0000003ffd800601,
    207   0x000000007efe8300, 0x0000007ffb800901,
    208   0x00001966e564d000, 0x0019997ffb667001,
    209   0x000043bc3ab9fb00, 0x0044432aa5e67101,
    210   0x000000003f7f8100, 0x0000003ffe000301,
    211   0x00001966a5e5ce00, 0x0019993ffde66a01,
    212   0x000043bbfb3af900, 0x004442eaa8666b01,
    213   0x0000833bfb397c00, 0x0084416aa6e67401,
    214   0x0000196666664d00, 0x001998ffffe66701,
    215   0x000043bbbbbb7800, 0x004442aaaa666801,
    216   0x0000833bbbb9fb00, 0x0084412aa8e67101,
    217   0x0000c2bbbbb8fd00, 0x00c43faaa7e67701,
    218   0x00002a5555552b00, 0x002aa9aaaa800101,
    219   0x000069d55553ae00, 0x006aa82aa9000a01,
    220   0x0000a9555552b000, 0x00aaa6aaa8001001,
    221   0x0000e8d555523100, 0x00eaa52aa7801301,
    222   0x00003f7ffffe8300, 0x003ffe7ffe800901,
    223   0x00007efffffd8500, 0x007ffcfffd800f01,
    224   0x0000be7ffffd0600, 0x00bffb7ffd001201,
    225   0x00007efffffd0600, 0x007ffcfffd001201,
    226   0x00003f7fffff0200, 0x003ffe7fff000601,
    227   0x00007efffffe8300, 0x007ffcfffe800901,
    228   0x00003f7ffffe8300, 0x003ffe7ffe800901,
    229   0xffffffffffff0200, 0xffffffffff000601,
    230   0x00003f7fffff8100, 0x003ffe7fff800301,
    231   0xffffffffffff8100, 0xffffffffff800301,
    232   0xffffc08000000000, 0xffc0018000000001,
    233   0xffff962aaaaa5600, 0xff9557d555000201,
    234   0xffffc08000000000, 0xffc0018000000001,
    235   0xffff810000007f00, 0xff800300007ffd01,
    236   0xffff56aaaaaad500, 0xff555955557fff01,
    237   0xffff3d4444440900, 0xff3bc05555199b01,
    238   0xffffc08000007f00, 0xffc00180007ffd01,
    239   0xffff962aaaaad500, 0xff9557d5557fff01,
    240   0xffff7cc444440900, 0xff7bbed555199b01,
    241   0xffff7cc404c40900, 0xff7bbe9556999b01,
    242   0xffffd5aaaaaa5600, 0xffd5565555000201,
    243   0xffffbc4444438a00, 0xffbbbd5554999e01,
    244   0xffffbc4404c38a00, 0xffbbbd1556199e01,
    245   0xffffbc43c5440900, 0xffbbbcd558199b01,
    246   0xffffe69999993400, 0xffe666ffff999c01,
    247   0xffffe6995a193400, 0xffe666c001199c01,
    248   0xffffe6991a99b300, 0xffe6668003199901,
    249   0xffffe698db1ab100, 0xffe6664005999301,
    250   0xffffffffc0800000, 0xffffffc001800001,
    251   0xffffffff81007f00, 0xffffff80037ffd01,
    252   0xffffffff41817d00, 0xffffff4005fff701,
    253   0xffffffff0202fa00, 0xffffff0008ffee01,
    254   0xffffffffc0807f00, 0xffffffc001fffd01,
    255   0xffffffff81017d00, 0xffffff80047ff701,
    256   0xffffffff4182fa00, 0xffffff40077fee01,
    257   0xffffffff41437a00, 0xffffff3fc7816e01,
    258   0xffffffffc080fe00, 0xffffffc0027ffa01,
    259   0xffffffff81027b00, 0xffffff80057ff101,
    260   0xffffffff80c2fb00, 0xffffff7fc5817101,
    261   0xffffffff8083fa00, 0xffffff7f8602ee01,
    262   0xffffffffc0817d00, 0xffffffc002fff701,
    263   0xffffffffc041fd00, 0xffffffbfc3017701,
    264   0xffffffffc002fc00, 0xffffffbf8382f401,
    265   0xffffffffbfc47a00, 0xffffffbf44846e01,
    266   0xffffffffffc08000, 0xffffffffc0018001,
    267   0xffffffffff817f00, 0xffffffff8082fd01,
    268   0xffffffffff42fd00, 0xffffffff41847701,
    269   0xffffffffff04fa00, 0xffffffff0305ee01,
    270   0xffffffffffc0ff00, 0xffffffffc0817d01,
    271   0xffffffffff827d00, 0xffffffff8182f701,
    272   0xffffffffff447a00, 0xffffffff43046e01,
    273   0xffffffffff349a00, 0xffffffff3304ce01,
    274   0xffffffffffc17e00, 0xffffffffc1017a01,
    275   0xffffffffff837b00, 0xffffffff8282f101,
    276   0xffffffffff739b00, 0xffffffff72835101,
    277   0xffffffffff721e00, 0xffffffff71035a01,
    278   0xffffffffffc1fd00, 0xffffffffc1817701,
    279   0xffffffffffb21d00, 0xffffffffb181d701,
    280   0xffffffffffb0a000, 0xffffffffb001e001,
    281   0xffffffffffafa200, 0xffffffffaf01e601,
    282   0xfffffffffff02000, 0xfffffffff0006001,
    283   0xffffffffffeea300, 0xffffffffee806901,
    284   0xffffffffffeda500, 0xffffffffed806f01,
    285   0xffffffffffed2600, 0xffffffffed007201,
    286   0xfffffffffe800900, 0x0000000000000001,
    287   0xfffffffffd800f00, 0x0000000000000001,
    288   0xfffffffffd001200, 0x0000000000000001,
    289   0xfffffffffd001200, 0x0000000000000001,
    290   0xffffffffff000600, 0x0000000000000001,
    291   0xfffffffffe800900, 0x0000000000000001,
    292   0xfffffffffe800900, 0x0000000000000001,
    293   0xffffffffff000600, 0x0000000000000001,
    294   0xffffffffff800300, 0x0000000000000001,
    295   0xffffffffff800300, 0x0000000000000001,
    296   0x0000000000000000, 0x0000000000000001,
    297   0x0000000000fffa00, 0x0000000000000001,
    298   0x0000000000000000, 0x0000000000000001,
    299   0x00000000007ffd00, 0x0000000000000001,
    300   0x00000000017ff700, 0x0000000000000001,
    301   0x00000000117f9700, 0x0000000000000001,
    302   0x00000000007ffd00, 0x0000000000000001,
    303   0x00000000017ff700, 0x0000000000000001,
    304   0x00000000117f9700, 0x0000000000000001,
    305   0x000000004ffe2000, 0x0000000000000001,
    306   0x0000000000fffa00, 0x0000000000000001,
    307   0x0000000010ff9a00, 0x0000000000000001,
    308   0x000000004f7e2300, 0x0000000000000001,
    309   0x000000008e7ca900, 0x0000000000000001,
    310   0x000000000fffa000, 0x0000000000000001,
    311   0x000000004e7e2900, 0x0000000000000001,
    312   0x000000008d7caf00, 0x0000000000000001,
    313   0x00000000ccfb3200, 0x0000000000000001,
    314   0x000000003e7e8900, 0x0000000000000001,
    315   0x000000007d7d0f00, 0x0000000000000001,
    316   0x00000000bcfb9200, 0x0000000000000001,
    317   0x00000040b9fb9b00, 0x0000000000000001,
    318   0x000000003efe8600, 0x0000000000000001,
    319   0x000000007e7d0900, 0x0000000000000001,
    320   0x000000407b7d1200, 0x0000000000000001,
    321   0x0000008078fd1800, 0x0000000000000001,
    322   0x000000003f7e8300, 0x0000000000000001,
    323   0x000000403c7e8c00, 0x0000000000000001,
    324   0x0000008039fe9200, 0x0000000000000001,
    325   0x000000c037fe9500, 0x0000000000000001,
    326   0x0000003ffd000900, 0x0000000000000001,
    327   0x0000007ffa800f00, 0x0000000000000001,
    328   0x000000bff8801200, 0x0000000000000001,
    329   0x001999bff8667900, 0x0000000000000001,
    330   0x0000003ffd800600, 0x0000000000000001,
    331   0x0000007ffb800900, 0x0000000000000001,
    332   0x0019997ffb667000, 0x0000000000000001,
    333   0x0044432aa5e67100, 0x0000000000000001,
    334   0x0000003ffe000300, 0x0000000000000001,
    335   0x0019993ffde66a00, 0x0000000000000001,
    336   0x004442eaa8666b00, 0x0000000000000001,
    337   0x0084416aa6e67400, 0x0000000000000001,
    338   0x001998ffffe66700, 0x0000000000000001,
    339   0x004442aaaa666800, 0x0000000000000001,
    340   0x0084412aa8e67100, 0x0000000000000001,
    341   0x00c43faaa7e67700, 0x0000000000000001,
    342   0x002aa9aaaa800100, 0x0000000000000001,
    343   0x006aa82aa9000a00, 0x0000000000000001,
    344   0x00aaa6aaa8001000, 0x0000000000000001,
    345   0x00eaa52aa7801300, 0x0000000000000001,
    346   0x003ffe7ffe800900, 0x0000000000000001,
    347   0x007ffcfffd800f00, 0x0000000000000001,
    348   0x00bffb7ffd001200, 0x0000000000000001,
    349   0x007ffcfffd001200, 0x0000000000000001,
    350   0x003ffe7fff000600, 0x0000000000000001,
    351   0x007ffcfffe800900, 0x0000000000000001,
    352   0x003ffe7ffe800900, 0x0000000000000001,
    353   0xffffffffff000600, 0x0000000000000001,
    354   0x003ffe7fff800300, 0x0000000000000001,
    355   0xffffffffff800300, 0x0000000000000001,
    356   0xffc0018000000000, 0x0000000000000001,
    357   0xff9557d555000200, 0x0000000000000001,
    358   0xffc0018000000000, 0x0000000000000001,
    359   0xff800300007ffd00, 0x0000000000000001,
    360   0xff555955557fff00, 0x0000000000000001,
    361   0xff3bc05555199b00, 0x0000000000000001,
    362   0xffc00180007ffd00, 0x0000000000000001,
    363   0xff9557d5557fff00, 0x0000000000000001,
    364   0xff7bbed555199b00, 0x0000000000000001,
    365   0xff7bbe9556999b00, 0x0000000000000001,
    366   0xffd5565555000200, 0x0000000000000001,
    367   0xffbbbd5554999e00, 0x0000000000000001,
    368   0xffbbbd1556199e00, 0x0000000000000001,
    369   0xffbbbcd558199b00, 0x0000000000000001,
    370   0xffe666ffff999c00, 0x0000000000000001,
    371   0xffe666c001199c00, 0x0000000000000001,
    372   0xffe6668003199900, 0x0000000000000001,
    373   0xffe6664005999300, 0x0000000000000001,
    374   0xffffffc001800000, 0x0000000000000001,
    375   0xffffff80037ffd00, 0x0000000000000001,
    376   0xffffff4005fff700, 0x0000000000000001,
    377   0xffffff0008ffee00, 0x0000000000000001,
    378   0xffffffc001fffd00, 0x0000000000000001,
    379   0xffffff80047ff700, 0x0000000000000001,
    380   0xffffff40077fee00, 0x0000000000000001,
    381   0xffffff3fc7816e00, 0x0000000000000001,
    382   0xffffffc0027ffa00, 0x0000000000000001,
    383   0xffffff80057ff100, 0x0000000000000001,
    384   0xffffff7fc5817100, 0x0000000000000001,
    385   0xffffff7f8602ee00, 0x0000000000000001,
    386   0xffffffc002fff700, 0x0000000000000001,
    387   0xffffffbfc3017700, 0x0000000000000001,
    388   0xffffffbf8382f400, 0x0000000000000001,
    389   0xffffffbf44846e00, 0x0000000000000001,
    390   0xffffffffc0018000, 0x0000000000000001,
    391   0xffffffff8082fd00, 0x0000000000000001,
    392   0xffffffff41847700, 0x0000000000000001,
    393   0xffffffff0305ee00, 0x0000000000000001,
    394   0xffffffffc0817d00, 0x0000000000000001,
    395   0xffffffff8182f700, 0x0000000000000001,
    396   0xffffffff43046e00, 0x0000000000000001,
    397   0xffffffff3304ce00, 0x0000000000000001,
    398   0xffffffffc1017a00, 0x0000000000000001,
    399   0xffffffff8282f100, 0x0000000000000001,
    400   0xffffffff72835100, 0x0000000000000001,
    401   0xffffffff71035a00, 0x0000000000000001,
    402   0xffffffffc1817700, 0x0000000000000001,
    403   0xffffffffb181d700, 0x0000000000000001,
    404   0xffffffffb001e000, 0x0000000000000001,
    405   0xffffffffaf01e600, 0x0000000000000001,
    406   0xfffffffff0006000, 0x0000000000000001,
    407   0xffffffffee806900, 0x0000000000000001,
    408   0xffffffffed806f00, 0x0000000000000001,
    409   0xffffffffed007200, 0x0000000000000001,
    410   0x0000000000000000, 0xfffffffffffffffe,
    411   0x0000000000000000, 0xfffffffffffffffc,
    412   0x0000000000000000, 0xfffffffffffffffb,
    413   0x0000000000000000, 0xfffffffffffffffb,
    414   0x0000000000000000, 0xffffffffffffffff,
    415   0x0000000000000000, 0xfffffffffffffffe,
    416   0x0000000000000000, 0xfffffffffffffffe,
    417   0x0000000000000000, 0xffffffffffffffff,
    418   0x0000000000000000, 0x0000000000000000,
    419   0x0000000000000000, 0x0000000000000000,
    420   0x0000000000000000, 0x0000000000000001,
    421   0x0000000000000000, 0x0000000000000003,
    422   0x0000000000000000, 0x0000000000000001,
    423   0x0000000000000000, 0x0000000000000002,
    424   0x0000000000000000, 0x0000000000000004,
    425   0x0000000000000000, 0x0000000000000024,
    426   0x0000000000000000, 0x0000000000000002,
    427   0x0000000000000000, 0x0000000000000004,
    428   0x0000000000000000, 0x0000000000000024,
    429   0x0000000000000000, 0x00000000000000a1,
    430   0x0000000000000000, 0x0000000000000003,
    431   0x0000000000000000, 0x0000000000000023,
    432   0x0000000000000000, 0x00000000000000a0,
    433   0x0000000000000000, 0x000000000000011e,
    434   0x0000000000000000, 0x0000000000000021,
    435   0x0000000000000000, 0x000000000000009e,
    436   0x0000000000000000, 0x000000000000011c,
    437   0x0000000000000000, 0x000000000000019b,
    438   0x0000000000000000, 0x000000000000007e,
    439   0x0000000000000000, 0x00000000000000fc,
    440   0x0000000000000000, 0x000000000000017b,
    441   0x0000000000000000, 0x0000000000008178,
    442   0x0000000000000000, 0x000000000000007f,
    443   0x0000000000000000, 0x00000000000000fe,
    444   0x0000000000000000, 0x00000000000080fb,
    445   0x0000000000000000, 0x00000000000100f9,
    446   0x0000000000000000, 0x0000000000000080,
    447   0x0000000000000000, 0x000000000000807d,
    448   0x0000000000000000, 0x000000000001007b,
    449   0x0000000000000000, 0x000000000001807a,
    450   0x0000000000000000, 0x0000000000007ffe,
    451   0x0000000000000000, 0x000000000000fffc,
    452   0x0000000000000000, 0x0000000000017ffb,
    453   0x0000000000000000, 0x000000003334b32e,
    454   0x0000000000000000, 0x0000000000007fff,
    455   0x0000000000000000, 0x000000000000fffe,
    456   0x0000000000000000, 0x0000000033343331,
    457   0x0000000000000000, 0x0000000088898886,
    458   0x0000000000000000, 0x0000000000008000,
    459   0x0000000000000000, 0x000000003333b333,
    460   0x0000000000000000, 0x0000000088890888,
    461   0x0000000000000000, 0x0000000108890885,
    462   0x0000000000000000, 0x0000000033333334,
    463   0x0000000000000000, 0x0000000088888889,
    464   0x0000000000000000, 0x0000000108888886,
    465   0x0000000000000000, 0x0000000188888884,
    466   0x0000000000000000, 0x0000000055555556,
    467   0x0000000000000000, 0x00000000d5555553,
    468   0x0000000000000000, 0x0000000155555551,
    469   0x0000000000000000, 0x00000001d5555550,
    470   0x0000000000000000, 0x000000007ffffffe,
    471   0x0000000000000000, 0x00000000fffffffc,
    472   0x0000000000000000, 0x000000017ffffffb,
    473   0x0000000000000000, 0x00000000fffffffb,
    474   0x0000000000000000, 0x000000007fffffff,
    475   0x0000000000000000, 0x00000000fffffffe,
    476   0x0000000000000000, 0x000000007ffffffe,
    477   0x0000000000000000, 0xffffffffffffffff,
    478   0x0000000000000000, 0x0000000080000000,
    479   0x0000000000000000, 0x0000000000000000,
    480   0x0000000000000000, 0xffffffff80000001,
    481   0x0000000000000000, 0xffffffff2aaaaaab,
    482   0x0000000000000000, 0xffffffff80000001,
    483   0x0000000000000000, 0xffffffff00000002,
    484   0x0000000000000000, 0xfffffffeaaaaaaac,
    485   0x0000000000000000, 0xfffffffe77777778,
    486   0x0000000000000000, 0xffffffff80000002,
    487   0x0000000000000000, 0xffffffff2aaaaaac,
    488   0x0000000000000000, 0xfffffffef7777778,
    489   0x0000000000000000, 0xfffffffef776f778,
    490   0x0000000000000000, 0xffffffffaaaaaaab,
    491   0x0000000000000000, 0xffffffff77777777,
    492   0x0000000000000000, 0xffffffff7776f777,
    493   0x0000000000000000, 0xffffffff77767778,
    494   0x0000000000000000, 0xffffffffcccccccd,
    495   0x0000000000000000, 0xffffffffcccc4ccd,
    496   0x0000000000000000, 0xffffffffcccbccce,
    497   0x0000000000000000, 0xffffffffcccb4cd0,
    498   0x0000000000000000, 0xffffffffffff8001,
    499   0x0000000000000000, 0xffffffffffff0002,
    500   0x0000000000000000, 0xfffffffffffe8004,
    501   0x0000000000000000, 0xfffffffffffe0007,
    502   0x0000000000000000, 0xffffffffffff8002,
    503   0x0000000000000000, 0xffffffffffff0004,
    504   0x0000000000000000, 0xfffffffffffe8007,
    505   0x0000000000000000, 0xfffffffffffe7f87,
    506   0x0000000000000000, 0xffffffffffff8003,
    507   0x0000000000000000, 0xffffffffffff0006,
    508   0x0000000000000000, 0xfffffffffffeff86,
    509   0x0000000000000000, 0xfffffffffffeff07,
    510   0x0000000000000000, 0xffffffffffff8004,
    511   0x0000000000000000, 0xffffffffffff7f84,
    512   0x0000000000000000, 0xffffffffffff7f05,
    513   0x0000000000000000, 0xffffffffffff7e87,
    514   0x0000000000000000, 0xffffffffffffff81,
    515   0x0000000000000000, 0xffffffffffffff02,
    516   0x0000000000000000, 0xfffffffffffffe84,
    517   0x0000000000000000, 0xfffffffffffffe07,
    518   0x0000000000000000, 0xffffffffffffff82,
    519   0x0000000000000000, 0xffffffffffffff04,
    520   0x0000000000000000, 0xfffffffffffffe87,
    521   0x0000000000000000, 0xfffffffffffffe67,
    522   0x0000000000000000, 0xffffffffffffff83,
    523   0x0000000000000000, 0xffffffffffffff06,
    524   0x0000000000000000, 0xfffffffffffffee6,
    525   0x0000000000000000, 0xfffffffffffffee3,
    526   0x0000000000000000, 0xffffffffffffff84,
    527   0x0000000000000000, 0xffffffffffffff64,
    528   0x0000000000000000, 0xffffffffffffff61,
    529   0x0000000000000000, 0xffffffffffffff5f,
    530   0x0000000000000000, 0xffffffffffffffe1,
    531   0x0000000000000000, 0xffffffffffffffde,
    532   0x0000000000000000, 0xffffffffffffffdc,
    533   0x0000000000000000, 0xffffffffffffffdb,
    534   0xfffffffffffffffd, 0xfffffffffffffffb,
    535   0xfffffffffffffffb, 0xfffffffffffffff7,
    536   0xfffffffffffffffa, 0xfffffffffffffff5,
    537   0xfffffffffffffffa, 0xfffffffffffffff5,
    538   0xfffffffffffffffe, 0xfffffffffffffffd,
    539   0xfffffffffffffffd, 0xfffffffffffffffb,
    540   0xfffffffffffffffd, 0xfffffffffffffffb,
    541   0xfffffffffffffffe, 0xfffffffffffffffd,
    542   0xffffffffffffffff, 0xffffffffffffffff,
    543   0xffffffffffffffff, 0xffffffffffffffff,
    544   0x0000000000000000, 0x0000000000000001,
    545   0x0000000000000002, 0x0000000000000005,
    546   0x0000000000000000, 0x0000000000000001,
    547   0x0000000000000001, 0x0000000000000003,
    548   0x0000000000000003, 0x0000000000000007,
    549   0x0000000000000023, 0x0000000000000047,
    550   0x0000000000000001, 0x0000000000000003,
    551   0x0000000000000003, 0x0000000000000007,
    552   0x0000000000000023, 0x0000000000000047,
    553   0x00000000000000a0, 0x0000000000000141,
    554   0x0000000000000002, 0x0000000000000005,
    555   0x0000000000000022, 0x0000000000000045,
    556   0x000000000000009f, 0x000000000000013f,
    557   0x000000000000011d, 0x000000000000023b,
    558   0x0000000000000020, 0x0000000000000041,
    559   0x000000000000009d, 0x000000000000013b,
    560   0x000000000000011b, 0x0000000000000237,
    561   0x000000000000019a, 0x0000000000000335,
    562   0x000000000000007d, 0x00000000000000fb,
    563   0x00000000000000fb, 0x00000000000001f7,
    564   0x000000000000017a, 0x00000000000002f5,
    565   0x0000000000008177, 0x00000000000102ef,
    566   0x000000000000007e, 0x00000000000000fd,
    567   0x00000000000000fd, 0x00000000000001fb,
    568   0x00000000000080fa, 0x00000000000101f5,
    569   0x00000000000100f8, 0x00000000000201f1,
    570   0x000000000000007f, 0x00000000000000ff,
    571   0x000000000000807c, 0x00000000000100f9,
    572   0x000000000001007a, 0x00000000000200f5,
    573   0x0000000000018079, 0x00000000000300f3,
    574   0x0000000000007ffd, 0x000000000000fffb,
    575   0x000000000000fffb, 0x000000000001fff7,
    576   0x0000000000017ffa, 0x000000000002fff5,
    577   0x000000003334b32d, 0x000000006669665b,
    578   0x0000000000007ffe, 0x000000000000fffd,
    579   0x000000000000fffd, 0x000000000001fffb,
    580   0x0000000033343330, 0x0000000066686661,
    581   0x0000000088898885, 0x000000011113110b,
    582   0x0000000000007fff, 0x000000000000ffff,
    583   0x000000003333b332, 0x0000000066676665,
    584   0x0000000088890887, 0x000000011112110f,
    585   0x0000000108890884, 0x0000000211121109,
    586   0x0000000033333333, 0x0000000066666667,
    587   0x0000000088888888, 0x0000000111111111,
    588   0x0000000108888885, 0x000000021111110b,
    589   0x0000000188888883, 0x0000000311111107,
    590   0x0000000055555555, 0x00000000aaaaaaab,
    591   0x00000000d5555552, 0x00000001aaaaaaa5,
    592   0x0000000155555550, 0x00000002aaaaaaa1,
    593   0x00000001d555554f, 0x00000003aaaaaa9f,
    594   0x000000007ffffffd, 0x00000000fffffffb,
    595   0x00000000fffffffb, 0x00000001fffffff7,
    596   0x000000017ffffffa, 0x00000002fffffff5,
    597   0x00000000fffffffa, 0x00000001fffffff5,
    598   0x000000007ffffffe, 0x00000000fffffffd,
    599   0x00000000fffffffd, 0x00000001fffffffb,
    600   0x000000007ffffffd, 0x00000000fffffffb,
    601   0xfffffffffffffffe, 0xfffffffffffffffd,
    602   0x000000007fffffff, 0x00000000ffffffff,
    603   0xffffffffffffffff, 0xffffffffffffffff,
    604   0xffffffff80000000, 0xffffffff00000001,
    605   0xffffffff2aaaaaaa, 0xfffffffe55555555,
    606   0xffffffff80000000, 0xffffffff00000001,
    607   0xffffffff00000001, 0xfffffffe00000003,
    608   0xfffffffeaaaaaaab, 0xfffffffd55555557,
    609   0xfffffffe77777777, 0xfffffffceeeeeeef,
    610   0xffffffff80000001, 0xffffffff00000003,
    611   0xffffffff2aaaaaab, 0xfffffffe55555557,
    612   0xfffffffef7777777, 0xfffffffdeeeeeeef,
    613   0xfffffffef776f777, 0xfffffffdeeedeeef,
    614   0xffffffffaaaaaaaa, 0xffffffff55555555,
    615   0xffffffff77777776, 0xfffffffeeeeeeeed,
    616   0xffffffff7776f776, 0xfffffffeeeedeeed,
    617   0xffffffff77767777, 0xfffffffeeeeceeef,
    618   0xffffffffcccccccc, 0xffffffff99999999,
    619   0xffffffffcccc4ccc, 0xffffffff99989999,
    620   0xffffffffcccbcccd, 0xffffffff9997999b,
    621   0xffffffffcccb4ccf, 0xffffffff9996999f,
    622   0xffffffffffff8000, 0xffffffffffff0001,
    623   0xffffffffffff0001, 0xfffffffffffe0003,
    624   0xfffffffffffe8003, 0xfffffffffffd0007,
    625   0xfffffffffffe0006, 0xfffffffffffc000d,
    626   0xffffffffffff8001, 0xffffffffffff0003,
    627   0xffffffffffff0003, 0xfffffffffffe0007,
    628   0xfffffffffffe8006, 0xfffffffffffd000d,
    629   0xfffffffffffe7f86, 0xfffffffffffcff0d,
    630   0xffffffffffff8002, 0xffffffffffff0005,
    631   0xffffffffffff0005, 0xfffffffffffe000b,
    632   0xfffffffffffeff85, 0xfffffffffffdff0b,
    633   0xfffffffffffeff06, 0xfffffffffffdfe0d,
    634   0xffffffffffff8003, 0xffffffffffff0007,
    635   0xffffffffffff7f83, 0xfffffffffffeff07,
    636   0xffffffffffff7f04, 0xfffffffffffefe09,
    637   0xffffffffffff7e86, 0xfffffffffffefd0d,
    638   0xffffffffffffff80, 0xffffffffffffff01,
    639   0xffffffffffffff01, 0xfffffffffffffe03,
    640   0xfffffffffffffe83, 0xfffffffffffffd07,
    641   0xfffffffffffffe06, 0xfffffffffffffc0d,
    642   0xffffffffffffff81, 0xffffffffffffff03,
    643   0xffffffffffffff03, 0xfffffffffffffe07,
    644   0xfffffffffffffe86, 0xfffffffffffffd0d,
    645   0xfffffffffffffe66, 0xfffffffffffffccd,
    646   0xffffffffffffff82, 0xffffffffffffff05,
    647   0xffffffffffffff05, 0xfffffffffffffe0b,
    648   0xfffffffffffffee5, 0xfffffffffffffdcb,
    649   0xfffffffffffffee2, 0xfffffffffffffdc5,
    650   0xffffffffffffff83, 0xffffffffffffff07,
    651   0xffffffffffffff63, 0xfffffffffffffec7,
    652   0xffffffffffffff60, 0xfffffffffffffec1,
    653   0xffffffffffffff5e, 0xfffffffffffffebd,
    654   0xffffffffffffffe0, 0xffffffffffffffc1,
    655   0xffffffffffffffdd, 0xffffffffffffffbb,
    656   0xffffffffffffffdb, 0xffffffffffffffb7,
    657   0xffffffffffffffda, 0xffffffffffffffb5,
    658   0xfffffffffffffffa, 0xffffffffffffffa1,
    659   0xfffffffffffffff6, 0xffffffffffffff61,
    660   0xfffffffffffffff4, 0xffffffffffffff41,
    661   0xfffffffffffffff4, 0xffffffffffffff41,
    662   0xfffffffffffffffc, 0xffffffffffffffc1,
    663   0xfffffffffffffffa, 0xffffffffffffffa1,
    664   0xfffffffffffffffa, 0xffffffffffffffa1,
    665   0xfffffffffffffffc, 0xffffffffffffffc1,
    666   0xfffffffffffffffe, 0xffffffffffffffe1,
    667   0xfffffffffffffffe, 0xffffffffffffffe1,
    668   0x0000000000000000, 0x0000000000000001,
    669   0x0000000000000004, 0x0000000000000041,
    670   0x0000000000000000, 0x0000000000000001,
    671   0x0000000000000002, 0x0000000000000021,
    672   0x0000000000000006, 0x0000000000000061,
    673   0x0000000000000046, 0x0000000000000461,
    674   0x0000000000000002, 0x0000000000000021,
    675   0x0000000000000006, 0x0000000000000061,
    676   0x0000000000000046, 0x0000000000000461,
    677   0x0000000000000140, 0x0000000000001401,
    678   0x0000000000000004, 0x0000000000000041,
    679   0x0000000000000044, 0x0000000000000441,
    680   0x000000000000013e, 0x00000000000013e1,
    681   0x000000000000023a, 0x00000000000023a1,
    682   0x0000000000000040, 0x0000000000000401,
    683   0x000000000000013a, 0x00000000000013a1,
    684   0x0000000000000236, 0x0000000000002361,
    685   0x0000000000000334, 0x0000000000003341,
    686   0x00000000000000fa, 0x0000000000000fa1,
    687   0x00000000000001f6, 0x0000000000001f61,
    688   0x00000000000002f4, 0x0000000000002f41,
    689   0x00000000000102ee, 0x0000000000102ee1,
    690   0x00000000000000fc, 0x0000000000000fc1,
    691   0x00000000000001fa, 0x0000000000001fa1,
    692   0x00000000000101f4, 0x0000000000101f41,
    693   0x00000000000201f0, 0x0000000000201f01,
    694   0x00000000000000fe, 0x0000000000000fe1,
    695   0x00000000000100f8, 0x0000000000100f81,
    696   0x00000000000200f4, 0x0000000000200f41,
    697   0x00000000000300f2, 0x0000000000300f21,
    698   0x000000000000fffa, 0x00000000000fffa1,
    699   0x000000000001fff6, 0x00000000001fff61,
    700   0x000000000002fff4, 0x00000000002fff41,
    701   0x000000006669665a, 0x00000006669665a1,
    702   0x000000000000fffc, 0x00000000000fffc1,
    703   0x000000000001fffa, 0x00000000001fffa1,
    704   0x0000000066686660, 0x0000000666866601,
    705   0x000000011113110a, 0x00000011113110a1,
    706   0x000000000000fffe, 0x00000000000fffe1,
    707   0x0000000066676664, 0x0000000666766641,
    708   0x000000011112110e, 0x00000011112110e1,
    709   0x0000000211121108, 0x0000002111211081,
    710   0x0000000066666666, 0x0000000666666661,
    711   0x0000000111111110, 0x0000001111111101,
    712   0x000000021111110a, 0x00000021111110a1,
    713   0x0000000311111106, 0x0000003111111061,
    714   0x00000000aaaaaaaa, 0x0000000aaaaaaaa1,
    715   0x00000001aaaaaaa4, 0x0000001aaaaaaa41,
    716   0x00000002aaaaaaa0, 0x0000002aaaaaaa01,
    717   0x00000003aaaaaa9e, 0x0000003aaaaaa9e1,
    718   0x00000000fffffffa, 0x0000000fffffffa1,
    719   0x00000001fffffff6, 0x0000001fffffff61,
    720   0x00000002fffffff4, 0x0000002fffffff41,
    721   0x00000001fffffff4, 0x0000001fffffff41,
    722   0x00000000fffffffc, 0x0000000fffffffc1,
    723   0x00000001fffffffa, 0x0000001fffffffa1,
    724   0x00000000fffffffa, 0x0000000fffffffa1,
    725   0xfffffffffffffffc, 0xffffffffffffffc1,
    726   0x00000000fffffffe, 0x0000000fffffffe1,
    727   0xfffffffffffffffe, 0xffffffffffffffe1,
    728   0xffffffff00000000, 0xfffffff000000001,
    729   0xfffffffe55555554, 0xffffffe555555541,
    730   0xffffffff00000000, 0xfffffff000000001,
    731   0xfffffffe00000002, 0xffffffe000000021,
    732   0xfffffffd55555556, 0xffffffd555555561,
    733   0xfffffffceeeeeeee, 0xffffffceeeeeeee1,
    734   0xffffffff00000002, 0xfffffff000000021,
    735   0xfffffffe55555556, 0xffffffe555555561,
    736   0xfffffffdeeeeeeee, 0xffffffdeeeeeeee1,
    737   0xfffffffdeeedeeee, 0xffffffdeeedeeee1,
    738   0xffffffff55555554, 0xfffffff555555541,
    739   0xfffffffeeeeeeeec, 0xffffffeeeeeeeec1,
    740   0xfffffffeeeedeeec, 0xffffffeeeedeeec1,
    741   0xfffffffeeeeceeee, 0xffffffeeeeceeee1,
    742   0xffffffff99999998, 0xfffffff999999981,
    743   0xffffffff99989998, 0xfffffff999899981,
    744   0xffffffff9997999a, 0xfffffff9997999a1,
    745   0xffffffff9996999e, 0xfffffff9996999e1,
    746   0xffffffffffff0000, 0xfffffffffff00001,
    747   0xfffffffffffe0002, 0xffffffffffe00021,
    748   0xfffffffffffd0006, 0xffffffffffd00061,
    749   0xfffffffffffc000c, 0xffffffffffc000c1,
    750   0xffffffffffff0002, 0xfffffffffff00021,
    751   0xfffffffffffe0006, 0xffffffffffe00061,
    752   0xfffffffffffd000c, 0xffffffffffd000c1,
    753   0xfffffffffffcff0c, 0xffffffffffcff0c1,
    754   0xffffffffffff0004, 0xfffffffffff00041,
    755   0xfffffffffffe000a, 0xffffffffffe000a1,
    756   0xfffffffffffdff0a, 0xffffffffffdff0a1,
    757   0xfffffffffffdfe0c, 0xffffffffffdfe0c1,
    758   0xffffffffffff0006, 0xfffffffffff00061,
    759   0xfffffffffffeff06, 0xffffffffffeff061,
    760   0xfffffffffffefe08, 0xffffffffffefe081,
    761   0xfffffffffffefd0c, 0xffffffffffefd0c1,
    762   0xffffffffffffff00, 0xfffffffffffff001,
    763   0xfffffffffffffe02, 0xffffffffffffe021,
    764   0xfffffffffffffd06, 0xffffffffffffd061,
    765   0xfffffffffffffc0c, 0xffffffffffffc0c1,
    766   0xffffffffffffff02, 0xfffffffffffff021,
    767   0xfffffffffffffe06, 0xffffffffffffe061,
    768   0xfffffffffffffd0c, 0xffffffffffffd0c1,
    769   0xfffffffffffffccc, 0xffffffffffffccc1,
    770   0xffffffffffffff04, 0xfffffffffffff041,
    771   0xfffffffffffffe0a, 0xffffffffffffe0a1,
    772   0xfffffffffffffdca, 0xffffffffffffdca1,
    773   0xfffffffffffffdc4, 0xffffffffffffdc41,
    774   0xffffffffffffff06, 0xfffffffffffff061,
    775   0xfffffffffffffec6, 0xffffffffffffec61,
    776   0xfffffffffffffec0, 0xffffffffffffec01,
    777   0xfffffffffffffebc, 0xffffffffffffebc1,
    778   0xffffffffffffffc0, 0xfffffffffffffc01,
    779   0xffffffffffffffba, 0xfffffffffffffba1,
    780   0xffffffffffffffb6, 0xfffffffffffffb61,
    781   0xffffffffffffffb4, 0xfffffffffffffb41,
    782   0xffffffffffffffa0, 0xfffffffffffffe8a,
    783   0xffffffffffffff60, 0xfffffffffffffd90,
    784   0xffffffffffffff40, 0xfffffffffffffd13,
    785   0xffffffffffffff40, 0xfffffffffffffd13,
    786   0xffffffffffffffc0, 0xffffffffffffff07,
    787   0xffffffffffffffa0, 0xfffffffffffffe8a,
    788   0xffffffffffffffa0, 0xfffffffffffffe8a,
    789   0xffffffffffffffc0, 0xffffffffffffff07,
    790   0xffffffffffffffe0, 0xffffffffffffff84,
    791   0xffffffffffffffe0, 0xffffffffffffff84,
    792   0x0000000000000000, 0x0000000000000001,
    793   0x0000000000000040, 0x00000000000000fb,
    794   0x0000000000000000, 0x0000000000000001,
    795   0x0000000000000020, 0x000000000000007e,
    796   0x0000000000000060, 0x0000000000000178,
    797   0x0000000000000460, 0x0000000000001118,
    798   0x0000000000000020, 0x000000000000007e,
    799   0x0000000000000060, 0x0000000000000178,
    800   0x0000000000000460, 0x0000000000001118,
    801   0x0000000000001400, 0x0000000000004e21,
    802   0x0000000000000040, 0x00000000000000fb,
    803   0x0000000000000440, 0x000000000000109b,
    804   0x00000000000013e0, 0x0000000000004da4,
    805   0x00000000000023a0, 0x0000000000008b2a,
    806   0x0000000000000400, 0x0000000000000fa1,
    807   0x00000000000013a0, 0x0000000000004caa,
    808   0x0000000000002360, 0x0000000000008a30,
    809   0x0000000000003340, 0x000000000000c833,
    810   0x0000000000000fa0, 0x0000000000003d0a,
    811   0x0000000000001f60, 0x0000000000007a90,
    812   0x0000000000002f40, 0x000000000000b893,
    813   0x0000000000102ee0, 0x00000000003f371c,
    814   0x0000000000000fc0, 0x0000000000003d87,
    815   0x0000000000001fa0, 0x0000000000007b8a,
    816   0x0000000000101f40, 0x00000000003efa13,
    817   0x0000000000201f00, 0x00000000007d7919,
    818   0x0000000000000fe0, 0x0000000000003e04,
    819   0x0000000000100f80, 0x00000000003ebc8d,
    820   0x0000000000200f40, 0x00000000007d3b93,
    821   0x0000000000300f20, 0x0000000000bbbb16,
    822   0x00000000000fffa0, 0x00000000003e7e8a,
    823   0x00000000001fff60, 0x00000000007cfd90,
    824   0x00000000002fff40, 0x0000000000bb7d13,
    825   0x00000006669665a0, 0x0000001900bb7cfa,
    826   0x00000000000fffc0, 0x00000000003e7f07,
    827   0x00000000001fffa0, 0x00000000007cfe8a,
    828   0x0000000666866600, 0x00000019007cfe71,
    829   0x00000011113110a0, 0x00000042ab27a8f2,
    830   0x00000000000fffe0, 0x00000000003e7f84,
    831   0x0000000666766640, 0x00000019003e7f6b,
    832   0x00000011112110e0, 0x00000042aae929ec,
    833   0x0000002111211080, 0x000000812ae92875,
    834   0x0000000666666660, 0x00000018ffffffe8,
    835   0x0000001111111100, 0x00000042aaaaaa69,
    836   0x00000021111110a0, 0x000000812aaaa8f2,
    837   0x0000003111111060, 0x000000bfaaaaa7f8,
    838   0x0000000aaaaaaaa0, 0x00000029aaaaaa82,
    839   0x0000001aaaaaaa40, 0x000000682aaaa90b,
    840   0x0000002aaaaaaa00, 0x000000a6aaaaa811,
    841   0x0000003aaaaaa9e0, 0x000000e52aaaa794,
    842   0x0000000fffffffa0, 0x0000003e7ffffe8a,
    843   0x0000001fffffff60, 0x0000007cfffffd90,
    844   0x0000002fffffff40, 0x000000bb7ffffd13,
    845   0x0000001fffffff40, 0x0000007cfffffd13,
    846   0x0000000fffffffc0, 0x0000003e7fffff07,
    847   0x0000001fffffffa0, 0x0000007cfffffe8a,
    848   0x0000000fffffffa0, 0x0000003e7ffffe8a,
    849   0xffffffffffffffc0, 0xffffffffffffff07,
    850   0x0000000fffffffe0, 0x0000003e7fffff84,
    851   0xffffffffffffffe0, 0xffffffffffffff84,
    852   0xfffffff000000000, 0xffffffc180000001,
    853   0xffffffe555555540, 0xffffff97d5555503,
    854   0xfffffff000000000, 0xffffffc180000001,
    855   0xffffffe000000020, 0xffffff830000007e,
    856   0xffffffd555555560, 0xffffff5955555580,
    857   0xffffffceeeeeeee0, 0xffffff405555551c,
    858   0xfffffff000000020, 0xffffffc18000007e,
    859   0xffffffe555555560, 0xffffff97d5555580,
    860   0xffffffdeeeeeeee0, 0xffffff7ed555551c,
    861   0xffffffdeeedeeee0, 0xffffff7ed516d51c,
    862   0xfffffff555555540, 0xffffffd655555503,
    863   0xffffffeeeeeeeec0, 0xffffffbd5555549f,
    864   0xffffffeeeedeeec0, 0xffffffbd5516d49f,
    865   0xffffffeeeeceeee0, 0xffffffbd54d8551c,
    866   0xfffffff999999980, 0xffffffe6ffffff9d,
    867   0xfffffff999899980, 0xffffffe6ffc17f9d,
    868   0xfffffff9997999a0, 0xffffffe6ff83001a,
    869   0xfffffff9996999e0, 0xffffffe6ff448114,
    870   0xfffffffffff00000, 0xffffffffffc18001,
    871   0xffffffffffe00020, 0xffffffffff83007e,
    872   0xffffffffffd00060, 0xffffffffff448178,
    873   0xffffffffffc000c0, 0xffffffffff0602ef,
    874   0xfffffffffff00020, 0xffffffffffc1807e,
    875   0xffffffffffe00060, 0xffffffffff830178,
    876   0xffffffffffd000c0, 0xffffffffff4482ef,
    877   0xffffffffffcff0c0, 0xffffffffff44446f,
    878   0xfffffffffff00040, 0xffffffffffc180fb,
    879   0xffffffffffe000a0, 0xffffffffff830272,
    880   0xffffffffffdff0a0, 0xffffffffff82c3f2,
    881   0xffffffffffdfe0c0, 0xffffffffff8285ef,
    882   0xfffffffffff00060, 0xffffffffffc18178,
    883   0xffffffffffeff060, 0xffffffffffc142f8,
    884   0xffffffffffefe080, 0xffffffffffc104f5,
    885   0xffffffffffefd0c0, 0xffffffffffc0c76f,
    886   0xfffffffffffff000, 0xffffffffffffc181,
    887   0xffffffffffffe020, 0xffffffffffff837e,
    888   0xffffffffffffd060, 0xffffffffffff45f8,
    889   0xffffffffffffc0c0, 0xffffffffffff08ef,
    890   0xfffffffffffff020, 0xffffffffffffc1fe,
    891   0xffffffffffffe060, 0xffffffffffff8478,
    892   0xffffffffffffd0c0, 0xffffffffffff476f,
    893   0xffffffffffffccc0, 0xffffffffffff37cf,
    894   0xfffffffffffff040, 0xffffffffffffc27b,
    895   0xffffffffffffe0a0, 0xffffffffffff8572,
    896   0xffffffffffffdca0, 0xffffffffffff75d2,
    897   0xffffffffffffdc40, 0xffffffffffff745b,
    898   0xfffffffffffff060, 0xffffffffffffc2f8,
    899   0xffffffffffffec60, 0xffffffffffffb358,
    900   0xffffffffffffec00, 0xffffffffffffb1e1,
    901   0xffffffffffffebc0, 0xffffffffffffb0e7,
    902   0xfffffffffffffc00, 0xfffffffffffff061,
    903   0xfffffffffffffba0, 0xffffffffffffeeea,
    904   0xfffffffffffffb60, 0xffffffffffffedf0,
    905   0xfffffffffffffb40, 0xffffffffffffed73,
    906   0xfffffffffffffe89, 0xfffffffffffffe87,
    907   0xfffffffffffffd8f, 0xfffffffffffffd8b,
    908   0xfffffffffffffd12, 0xfffffffffffffd0d,
    909   0xfffffffffffffd12, 0xfffffffffffffd0d,
    910   0xffffffffffffff06, 0xffffffffffffff05,
    911   0xfffffffffffffe89, 0xfffffffffffffe87,
    912   0xfffffffffffffe89, 0xfffffffffffffe87,
    913   0xffffffffffffff06, 0xffffffffffffff05,
    914   0xffffffffffffff83, 0xffffffffffffff83,
    915   0xffffffffffffff83, 0xffffffffffffff83,
    916   0x0000000000000000, 0x0000000000000001,
    917   0x00000000000000fa, 0x00000000000000fd,
    918   0x0000000000000000, 0x0000000000000001,
    919   0x000000000000007d, 0x000000000000007f,
    920   0x0000000000000177, 0x000000000000017b,
    921   0x0000000000001117, 0x000000000000113b,
    922   0x000000000000007d, 0x000000000000007f,
    923   0x0000000000000177, 0x000000000000017b,
    924   0x0000000000001117, 0x000000000000113b,
    925   0x0000000000004e20, 0x0000000000004ec1,
    926   0x00000000000000fa, 0x00000000000000fd,
    927   0x000000000000109a, 0x00000000000010bd,
    928   0x0000000000004da3, 0x0000000000004e43,
    929   0x0000000000008b29, 0x0000000000008c47,
    930   0x0000000000000fa0, 0x0000000000000fc1,
    931   0x0000000000004ca9, 0x0000000000004d47,
    932   0x0000000000008a2f, 0x0000000000008b4b,
    933   0x000000000000c832, 0x000000000000c9cd,
    934   0x0000000000003d09, 0x0000000000003d87,
    935   0x0000000000007a8f, 0x0000000000007b8b,
    936   0x000000000000b892, 0x000000000000ba0d,
    937   0x00000000003f371b, 0x00000000003fb893,
    938   0x0000000000003d86, 0x0000000000003e05,
    939   0x0000000000007b89, 0x0000000000007c87,
    940   0x00000000003efa12, 0x00000000003f7b0d,
    941   0x00000000007d7918, 0x00000000007e7a11,
    942   0x0000000000003e03, 0x0000000000003e83,
    943   0x00000000003ebc8c, 0x00000000003f3d09,
    944   0x00000000007d3b92, 0x00000000007e3c0d,
    945   0x0000000000bbbb15, 0x0000000000bd3b8f,
    946   0x00000000003e7e89, 0x00000000003efe87,
    947   0x00000000007cfd8f, 0x00000000007dfd8b,
    948   0x0000000000bb7d12, 0x0000000000bcfd0d,
    949   0x0000001900bb7cf9, 0x0000001933f03027,
    950   0x00000000003e7f06, 0x00000000003eff05,
    951   0x00000000007cfe89, 0x00000000007dfe87,
    952   0x00000019007cfe70, 0x0000001933b131a1,
    953   0x00000042ab27a8f1, 0x0000004333b13177,
    954   0x00000000003e7f83, 0x00000000003eff83,
    955   0x00000019003e7f6a, 0x000000193372329d,
    956   0x00000042aae929eb, 0x0000004333723273,
    957   0x000000812ae92874, 0x00000082337230f9,
    958   0x00000018ffffffe7, 0x000000193333331b,
    959   0x00000042aaaaaa68, 0x00000043333332f1,
    960   0x000000812aaaa8f1, 0x0000008233333177,
    961   0x000000bfaaaaa7f7, 0x000000c13333307b,
    962   0x00000029aaaaaa81, 0x00000029ffffffd7,
    963   0x000000682aaaa90a, 0x00000068fffffe5d,
    964   0x000000a6aaaaa810, 0x000000a7fffffd61,
    965   0x000000e52aaaa793, 0x000000e6fffffce3,
    966   0x0000003e7ffffe89, 0x0000003efffffe87,
    967   0x0000007cfffffd8f, 0x0000007dfffffd8b,
    968   0x000000bb7ffffd12, 0x000000bcfffffd0d,
    969   0x0000007cfffffd12, 0x0000007dfffffd0d,
    970   0x0000003e7fffff06, 0x0000003effffff05,
    971   0x0000007cfffffe89, 0x0000007dfffffe87,
    972   0x0000003e7ffffe89, 0x0000003efffffe87,
    973   0xffffffffffffff06, 0xffffffffffffff05,
    974   0x0000003e7fffff83, 0x0000003effffff83,
    975   0xffffffffffffff83, 0xffffffffffffff83,
    976   0xffffffc180000000, 0xffffffc100000001,
    977   0xffffff97d5555502, 0xffffff96ffffffad,
    978   0xffffffc180000000, 0xffffffc100000001,
    979   0xffffff830000007d, 0xffffff820000007f,
    980   0xffffff595555557f, 0xffffff580000002b,
    981   0xffffff405555551b, 0xffffff3ecccccc93,
    982   0xffffffc18000007d, 0xffffffc10000007f,
    983   0xffffff97d555557f, 0xffffff970000002b,
    984   0xffffff7ed555551b, 0xffffff7dcccccc93,
    985   0xffffff7ed516d51b, 0xffffff7dcc8dcc93,
    986   0xffffffd655555502, 0xffffffd5ffffffad,
    987   0xffffffbd5555549e, 0xffffffbccccccc15,
    988   0xffffffbd5516d49e, 0xffffffbccc8dcc15,
    989   0xffffffbd54d8551b, 0xffffffbccc4ecc93,
    990   0xffffffe6ffffff9c, 0xffffffe6cccccc69,
    991   0xffffffe6ffc17f9c, 0xffffffe6cc8dcc69,
    992   0xffffffe6ff830019, 0xffffffe6cc4ecce7,
    993   0xffffffe6ff448113, 0xffffffe6cc0fcde3,
    994   0xffffffffffc18000, 0xffffffffffc10001,
    995   0xffffffffff83007d, 0xffffffffff82007f,
    996   0xffffffffff448177, 0xffffffffff43017b,
    997   0xffffffffff0602ee, 0xffffffffff0402f5,
    998   0xffffffffffc1807d, 0xffffffffffc1007f,
    999   0xffffffffff830177, 0xffffffffff82017b,
   1000   0xffffffffff4482ee, 0xffffffffff4302f5,
   1001   0xffffffffff44446e, 0xffffffffff42c3f5,
   1002   0xffffffffffc180fa, 0xffffffffffc100fd,
   1003   0xffffffffff830271, 0xffffffffff820277,
   1004   0xffffffffff82c3f1, 0xffffffffff81c377,
   1005   0xffffffffff8285ee, 0xffffffffff8184f5,
   1006   0xffffffffffc18177, 0xffffffffffc1017b,
   1007   0xffffffffffc142f7, 0xffffffffffc0c27b,
   1008   0xffffffffffc104f4, 0xffffffffffc083f9,
   1009   0xffffffffffc0c76e, 0xffffffffffc045f5,
   1010   0xffffffffffffc180, 0xffffffffffffc101,
   1011   0xffffffffffff837d, 0xffffffffffff827f,
   1012   0xffffffffffff45f7, 0xffffffffffff447b,
   1013   0xffffffffffff08ee, 0xffffffffffff06f5,
   1014   0xffffffffffffc1fd, 0xffffffffffffc17f,
   1015   0xffffffffffff8477, 0xffffffffffff837b,
   1016   0xffffffffffff476e, 0xffffffffffff45f5,
   1017   0xffffffffffff37ce, 0xffffffffffff3635,
   1018   0xffffffffffffc27a, 0xffffffffffffc1fd,
   1019   0xffffffffffff8571, 0xffffffffffff8477,
   1020   0xffffffffffff75d1, 0xffffffffffff74b7,
   1021   0xffffffffffff745a, 0xffffffffffff733d,
   1022   0xffffffffffffc2f7, 0xffffffffffffc27b,
   1023   0xffffffffffffb357, 0xffffffffffffb2bb,
   1024   0xffffffffffffb1e0, 0xffffffffffffb141,
   1025   0xffffffffffffb0e6, 0xffffffffffffb045,
   1026   0xfffffffffffff060, 0xfffffffffffff041,
   1027   0xffffffffffffeee9, 0xffffffffffffeec7,
   1028   0xffffffffffffedef, 0xffffffffffffedcb,
   1029   0xffffffffffffed72, 0xffffffffffffed4d,
   1030   0xfffffffffffffe86, 0xfffffffffffffe84,
   1031   0xfffffffffffffd8a, 0xfffffffffffffd86,
   1032   0xfffffffffffffd0c, 0xfffffffffffffd07,
   1033   0xfffffffffffffd0c, 0xfffffffffffffd07,
   1034   0xffffffffffffff04, 0xffffffffffffff03,
   1035   0xfffffffffffffe86, 0xfffffffffffffe84,
   1036   0xfffffffffffffe86, 0xfffffffffffffe84,
   1037   0xffffffffffffff04, 0xffffffffffffff03,
   1038   0xffffffffffffff82, 0xffffffffffffff82,
   1039   0xffffffffffffff82, 0xffffffffffffff82,
   1040   0x0000000000000000, 0x0000000000000001,
   1041   0x00000000000000fc, 0x00000000000000ff,
   1042   0x0000000000000000, 0x0000000000000001,
   1043   0x000000000000007e, 0x0000000000000080,
   1044   0x000000000000017a, 0x000000000000017e,
   1045   0x000000000000113a, 0x000000000000115e,
   1046   0x000000000000007e, 0x0000000000000080,
   1047   0x000000000000017a, 0x000000000000017e,
   1048   0x000000000000113a, 0x000000000000115e,
   1049   0x0000000000004ec0, 0x0000000000004f61,
   1050   0x00000000000000fc, 0x00000000000000ff,
   1051   0x00000000000010bc, 0x00000000000010df,
   1052   0x0000000000004e42, 0x0000000000004ee2,
   1053   0x0000000000008c46, 0x0000000000008d64,
   1054   0x0000000000000fc0, 0x0000000000000fe1,
   1055   0x0000000000004d46, 0x0000000000004de4,
   1056   0x0000000000008b4a, 0x0000000000008c66,
   1057   0x000000000000c9cc, 0x000000000000cb67,
   1058   0x0000000000003d86, 0x0000000000003e04,
   1059   0x0000000000007b8a, 0x0000000000007c86,
   1060   0x000000000000ba0c, 0x000000000000bb87,
   1061   0x00000000003fb892, 0x0000000000403a0a,
   1062   0x0000000000003e04, 0x0000000000003e83,
   1063   0x0000000000007c86, 0x0000000000007d84,
   1064   0x00000000003f7b0c, 0x00000000003ffc07,
   1065   0x00000000007e7a10, 0x00000000007f7b09,
   1066   0x0000000000003e82, 0x0000000000003f02,
   1067   0x00000000003f3d08, 0x00000000003fbd85,
   1068   0x00000000007e3c0c, 0x00000000007f3c87,
   1069   0x0000000000bd3b8e, 0x0000000000bebc08,
   1070   0x00000000003efe86, 0x00000000003f7e84,
   1071   0x00000000007dfd8a, 0x00000000007efd86,
   1072   0x0000000000bcfd0c, 0x0000000000be7d07,
   1073   0x0000001933f03026, 0x000000196724e354,
   1074   0x00000000003eff04, 0x00000000003f7f03,
   1075   0x00000000007dfe86, 0x00000000007efe84,
   1076   0x0000001933b131a0, 0x0000001966e564d1,
   1077   0x0000004333b13176, 0x00000043bc3ab9fc,
   1078   0x00000000003eff82, 0x00000000003f7f82,
   1079   0x000000193372329c, 0x0000001966a5e5cf,
   1080   0x0000004333723272, 0x00000043bbfb3afa,
   1081   0x00000082337230f8, 0x000000833bfb397d,
   1082   0x000000193333331a, 0x000000196666664e,
   1083   0x00000043333332f0, 0x00000043bbbbbb79,
   1084   0x0000008233333176, 0x000000833bbbb9fc,
   1085   0x000000c13333307a, 0x000000c2bbbbb8fe,
   1086   0x00000029ffffffd6, 0x0000002a5555552c,
   1087   0x00000068fffffe5c, 0x00000069d55553af,
   1088   0x000000a7fffffd60, 0x000000a9555552b1,
   1089   0x000000e6fffffce2, 0x000000e8d5555232,
   1090   0x0000003efffffe86, 0x0000003f7ffffe84,
   1091   0x0000007dfffffd8a, 0x0000007efffffd86,
   1092   0x000000bcfffffd0c, 0x000000be7ffffd07,
   1093   0x0000007dfffffd0c, 0x0000007efffffd07,
   1094   0x0000003effffff04, 0x0000003f7fffff03,
   1095   0x0000007dfffffe86, 0x0000007efffffe84,
   1096   0x0000003efffffe86, 0x0000003f7ffffe84,
   1097   0xffffffffffffff04, 0xffffffffffffff03,
   1098   0x0000003effffff82, 0x0000003f7fffff82,
   1099   0xffffffffffffff82, 0xffffffffffffff82,
   1100   0xffffffc100000000, 0xffffffc080000001,
   1101   0xffffff96ffffffac, 0xffffff962aaaaa57,
   1102   0xffffffc100000000, 0xffffffc080000001,
   1103   0xffffff820000007e, 0xffffff8100000080,
   1104   0xffffff580000002a, 0xffffff56aaaaaad6,
   1105   0xffffff3ecccccc92, 0xffffff3d4444440a,
   1106   0xffffffc10000007e, 0xffffffc080000080,
   1107   0xffffff970000002a, 0xffffff962aaaaad6,
   1108   0xffffff7dcccccc92, 0xffffff7cc444440a,
   1109   0xffffff7dcc8dcc92, 0xffffff7cc404c40a,
   1110   0xffffffd5ffffffac, 0xffffffd5aaaaaa57,
   1111   0xffffffbccccccc14, 0xffffffbc4444438b,
   1112   0xffffffbccc8dcc14, 0xffffffbc4404c38b,
   1113   0xffffffbccc4ecc92, 0xffffffbc43c5440a,
   1114   0xffffffe6cccccc68, 0xffffffe699999935,
   1115   0xffffffe6cc8dcc68, 0xffffffe6995a1935,
   1116   0xffffffe6cc4ecce6, 0xffffffe6991a99b4,
   1117   0xffffffe6cc0fcde2, 0xffffffe698db1ab2,
   1118   0xffffffffffc10000, 0xffffffffffc08001,
   1119   0xffffffffff82007e, 0xffffffffff810080,
   1120   0xffffffffff43017a, 0xffffffffff41817e,
   1121   0xffffffffff0402f4, 0xffffffffff0202fb,
   1122   0xffffffffffc1007e, 0xffffffffffc08080,
   1123   0xffffffffff82017a, 0xffffffffff81017e,
   1124   0xffffffffff4302f4, 0xffffffffff4182fb,
   1125   0xffffffffff42c3f4, 0xffffffffff41437b,
   1126   0xffffffffffc100fc, 0xffffffffffc080ff,
   1127   0xffffffffff820276, 0xffffffffff81027c,
   1128   0xffffffffff81c376, 0xffffffffff80c2fc,
   1129   0xffffffffff8184f4, 0xffffffffff8083fb,
   1130   0xffffffffffc1017a, 0xffffffffffc0817e,
   1131   0xffffffffffc0c27a, 0xffffffffffc041fe,
   1132   0xffffffffffc083f8, 0xffffffffffc002fd,
   1133   0xffffffffffc045f4, 0xffffffffffbfc47b,
   1134   0xffffffffffffc100, 0xffffffffffffc081,
   1135   0xffffffffffff827e, 0xffffffffffff8180,
   1136   0xffffffffffff447a, 0xffffffffffff42fe,
   1137   0xffffffffffff06f4, 0xffffffffffff04fb,
   1138   0xffffffffffffc17e, 0xffffffffffffc100,
   1139   0xffffffffffff837a, 0xffffffffffff827e,
   1140   0xffffffffffff45f4, 0xffffffffffff447b,
   1141   0xffffffffffff3634, 0xffffffffffff349b,
   1142   0xffffffffffffc1fc, 0xffffffffffffc17f,
   1143   0xffffffffffff8476, 0xffffffffffff837c,
   1144   0xffffffffffff74b6, 0xffffffffffff739c,
   1145   0xffffffffffff733c, 0xffffffffffff721f,
   1146   0xffffffffffffc27a, 0xffffffffffffc1fe,
   1147   0xffffffffffffb2ba, 0xffffffffffffb21e,
   1148   0xffffffffffffb140, 0xffffffffffffb0a1,
   1149   0xffffffffffffb044, 0xffffffffffffafa3,
   1150   0xfffffffffffff040, 0xfffffffffffff021,
   1151   0xffffffffffffeec6, 0xffffffffffffeea4,
   1152   0xffffffffffffedca, 0xffffffffffffeda6,
   1153   0xffffffffffffed4c, 0xffffffffffffed27,
   1154   0xfffffffffffffe83, 0xfffffffffffe800a,
   1155   0xfffffffffffffd85, 0xfffffffffffd8010,
   1156   0xfffffffffffffd06, 0xfffffffffffd0013,
   1157   0xfffffffffffffd06, 0xfffffffffffd0013,
   1158   0xffffffffffffff02, 0xffffffffffff0007,
   1159   0xfffffffffffffe83, 0xfffffffffffe800a,
   1160   0xfffffffffffffe83, 0xfffffffffffe800a,
   1161   0xffffffffffffff02, 0xffffffffffff0007,
   1162   0xffffffffffffff81, 0xffffffffffff8004,
   1163   0xffffffffffffff81, 0xffffffffffff8004,
   1164   0x0000000000000000, 0x0000000000000001,
   1165   0x00000000000000fe, 0x000000000000fffb,
   1166   0x0000000000000000, 0x0000000000000001,
   1167   0x000000000000007f, 0x0000000000007ffe,
   1168   0x000000000000017d, 0x0000000000017ff8,
   1169   0x000000000000115d, 0x0000000000117f98,
   1170   0x000000000000007f, 0x0000000000007ffe,
   1171   0x000000000000017d, 0x0000000000017ff8,
   1172   0x000000000000115d, 0x0000000000117f98,
   1173   0x0000000000004f60, 0x00000000004ffe21,
   1174   0x00000000000000fe, 0x000000000000fffb,
   1175   0x00000000000010de, 0x000000000010ff9b,
   1176   0x0000000000004ee1, 0x00000000004f7e24,
   1177   0x0000000000008d63, 0x00000000008e7caa,
   1178   0x0000000000000fe0, 0x00000000000fffa1,
   1179   0x0000000000004de3, 0x00000000004e7e2a,
   1180   0x0000000000008c65, 0x00000000008d7cb0,
   1181   0x000000000000cb66, 0x0000000000ccfb33,
   1182   0x0000000000003e03, 0x00000000003e7e8a,
   1183   0x0000000000007c85, 0x00000000007d7d10,
   1184   0x000000000000bb86, 0x0000000000bcfb93,
   1185   0x0000000000403a09, 0x0000000040b9fb9c,
   1186   0x0000000000003e82, 0x00000000003efe87,
   1187   0x0000000000007d83, 0x00000000007e7d0a,
   1188   0x00000000003ffc06, 0x00000000407b7d13,
   1189   0x00000000007f7b08, 0x000000008078fd19,
   1190   0x0000000000003f01, 0x00000000003f7e84,
   1191   0x00000000003fbd84, 0x00000000403c7e8d,
   1192   0x00000000007f3c86, 0x000000008039fe93,
   1193   0x0000000000bebc07, 0x00000000c037fe96,
   1194   0x00000000003f7e83, 0x000000003ffd000a,
   1195   0x00000000007efd85, 0x000000007ffa8010,
   1196   0x0000000000be7d06, 0x00000000bff88013,
   1197   0x000000196724e353, 0x00001999bff8667a,
   1198   0x00000000003f7f02, 0x000000003ffd8007,
   1199   0x00000000007efe83, 0x000000007ffb800a,
   1200   0x0000001966e564d0, 0x000019997ffb6671,
   1201   0x00000043bc3ab9fb, 0x000044432aa5e672,
   1202   0x00000000003f7f81, 0x000000003ffe0004,
   1203   0x0000001966a5e5ce, 0x000019993ffde66b,
   1204   0x00000043bbfb3af9, 0x00004442eaa8666c,
   1205   0x000000833bfb397c, 0x000084416aa6e675,
   1206   0x000000196666664d, 0x00001998ffffe668,
   1207   0x00000043bbbbbb78, 0x00004442aaaa6669,
   1208   0x000000833bbbb9fb, 0x000084412aa8e672,
   1209   0x000000c2bbbbb8fd, 0x0000c43faaa7e678,
   1210   0x0000002a5555552b, 0x00002aa9aaaa8002,
   1211   0x00000069d55553ae, 0x00006aa82aa9000b,
   1212   0x000000a9555552b0, 0x0000aaa6aaa80011,
   1213   0x000000e8d5555231, 0x0000eaa52aa78014,
   1214   0x0000003f7ffffe83, 0x00003ffe7ffe800a,
   1215   0x0000007efffffd85, 0x00007ffcfffd8010,
   1216   0x000000be7ffffd06, 0x0000bffb7ffd0013,
   1217   0x0000007efffffd06, 0x00007ffcfffd0013,
   1218   0x0000003f7fffff02, 0x00003ffe7fff0007,
   1219   0x0000007efffffe83, 0x00007ffcfffe800a,
   1220   0x0000003f7ffffe83, 0x00003ffe7ffe800a,
   1221   0xffffffffffffff02, 0xffffffffffff0007,
   1222   0x0000003f7fffff81, 0x00003ffe7fff8004,
   1223   0xffffffffffffff81, 0xffffffffffff8004,
   1224   0xffffffc080000000, 0xffffc00180000001,
   1225   0xffffff962aaaaa56, 0xffff9557d5550003,
   1226   0xffffffc080000000, 0xffffc00180000001,
   1227   0xffffff810000007f, 0xffff800300007ffe,
   1228   0xffffff56aaaaaad5, 0xffff555955558000,
   1229   0xffffff3d44444409, 0xffff3bc05555199c,
   1230   0xffffffc08000007f, 0xffffc00180007ffe,
   1231   0xffffff962aaaaad5, 0xffff9557d5558000,
   1232   0xffffff7cc4444409, 0xffff7bbed555199c,
   1233   0xffffff7cc404c409, 0xffff7bbe9556999c,
   1234   0xffffffd5aaaaaa56, 0xffffd55655550003,
   1235   0xffffffbc4444438a, 0xffffbbbd5554999f,
   1236   0xffffffbc4404c38a, 0xffffbbbd1556199f,
   1237   0xffffffbc43c54409, 0xffffbbbcd558199c,
   1238   0xffffffe699999934, 0xffffe666ffff999d,
   1239   0xffffffe6995a1934, 0xffffe666c001199d,
   1240   0xffffffe6991a99b3, 0xffffe6668003199a,
   1241   0xffffffe698db1ab1, 0xffffe66640059994,
   1242   0xffffffffffc08000, 0xffffffffc0018001,
   1243   0xffffffffff81007f, 0xffffffff80037ffe,
   1244   0xffffffffff41817d, 0xffffffff4005fff8,
   1245   0xffffffffff0202fa, 0xffffffff0008ffef,
   1246   0xffffffffffc0807f, 0xffffffffc001fffe,
   1247   0xffffffffff81017d, 0xffffffff80047ff8,
   1248   0xffffffffff4182fa, 0xffffffff40077fef,
   1249   0xffffffffff41437a, 0xffffffff3fc7816f,
   1250   0xffffffffffc080fe, 0xffffffffc0027ffb,
   1251   0xffffffffff81027b, 0xffffffff80057ff2,
   1252   0xffffffffff80c2fb, 0xffffffff7fc58172,
   1253   0xffffffffff8083fa, 0xffffffff7f8602ef,
   1254   0xffffffffffc0817d, 0xffffffffc002fff8,
   1255   0xffffffffffc041fd, 0xffffffffbfc30178,
   1256   0xffffffffffc002fc, 0xffffffffbf8382f5,
   1257   0xffffffffffbfc47a, 0xffffffffbf44846f,
   1258   0xffffffffffffc080, 0xffffffffffc00181,
   1259   0xffffffffffff817f, 0xffffffffff8082fe,
   1260   0xffffffffffff42fd, 0xffffffffff418478,
   1261   0xffffffffffff04fa, 0xffffffffff0305ef,
   1262   0xffffffffffffc0ff, 0xffffffffffc0817e,
   1263   0xffffffffffff827d, 0xffffffffff8182f8,
   1264   0xffffffffffff447a, 0xffffffffff43046f,
   1265   0xffffffffffff349a, 0xffffffffff3304cf,
   1266   0xffffffffffffc17e, 0xffffffffffc1017b,
   1267   0xffffffffffff837b, 0xffffffffff8282f2,
   1268   0xffffffffffff739b, 0xffffffffff728352,
   1269   0xffffffffffff721e, 0xffffffffff71035b,
   1270   0xffffffffffffc1fd, 0xffffffffffc18178,
   1271   0xffffffffffffb21d, 0xffffffffffb181d8,
   1272   0xffffffffffffb0a0, 0xffffffffffb001e1,
   1273   0xffffffffffffafa2, 0xffffffffffaf01e7,
   1274   0xfffffffffffff020, 0xfffffffffff00061,
   1275   0xffffffffffffeea3, 0xffffffffffee806a,
   1276   0xffffffffffffeda5, 0xffffffffffed8070,
   1277   0xffffffffffffed26, 0xffffffffffed0073,
   1278   0xfffffffffffe8009, 0xfffffffffffe8007,
   1279   0xfffffffffffd800f, 0xfffffffffffd800b,
   1280   0xfffffffffffd0012, 0xfffffffffffd000d,
   1281   0xfffffffffffd0012, 0xfffffffffffd000d,
   1282   0xffffffffffff0006, 0xffffffffffff0005,
   1283   0xfffffffffffe8009, 0xfffffffffffe8007,
   1284   0xfffffffffffe8009, 0xfffffffffffe8007,
   1285   0xffffffffffff0006, 0xffffffffffff0005,
   1286   0xffffffffffff8003, 0xffffffffffff8003,
   1287   0xffffffffffff8003, 0xffffffffffff8003,
   1288   0x0000000000000000, 0x0000000000000001,
   1289   0x000000000000fffa, 0x000000000000fffd,
   1290   0x0000000000000000, 0x0000000000000001,
   1291   0x0000000000007ffd, 0x0000000000007fff,
   1292   0x0000000000017ff7, 0x0000000000017ffb,
   1293   0x0000000000117f97, 0x0000000000117fbb,
   1294   0x0000000000007ffd, 0x0000000000007fff,
   1295   0x0000000000017ff7, 0x0000000000017ffb,
   1296   0x0000000000117f97, 0x0000000000117fbb,
   1297   0x00000000004ffe20, 0x00000000004ffec1,
   1298   0x000000000000fffa, 0x000000000000fffd,
   1299   0x000000000010ff9a, 0x000000000010ffbd,
   1300   0x00000000004f7e23, 0x00000000004f7ec3,
   1301   0x00000000008e7ca9, 0x00000000008e7dc7,
   1302   0x00000000000fffa0, 0x00000000000fffc1,
   1303   0x00000000004e7e29, 0x00000000004e7ec7,
   1304   0x00000000008d7caf, 0x00000000008d7dcb,
   1305   0x0000000000ccfb32, 0x0000000000ccfccd,
   1306   0x00000000003e7e89, 0x00000000003e7f07,
   1307   0x00000000007d7d0f, 0x00000000007d7e0b,
   1308   0x0000000000bcfb92, 0x0000000000bcfd0d,
   1309   0x0000000040b9fb9b, 0x0000000040ba7d13,
   1310   0x00000000003efe86, 0x00000000003eff05,
   1311   0x00000000007e7d09, 0x00000000007e7e07,
   1312   0x00000000407b7d12, 0x00000000407bfe0d,
   1313   0x000000008078fd18, 0x000000008079fe11,
   1314   0x00000000003f7e83, 0x00000000003f7f03,
   1315   0x00000000403c7e8c, 0x00000000403cff09,
   1316   0x000000008039fe92, 0x00000000803aff0d,
   1317   0x00000000c037fe95, 0x00000000c0397f0f,
   1318   0x000000003ffd0009, 0x000000003ffd8007,
   1319   0x000000007ffa800f, 0x000000007ffb800b,
   1320   0x00000000bff88012, 0x00000000bffa000d,
   1321   0x00001999bff86679, 0x00001999f32d19a7,
   1322   0x000000003ffd8006, 0x000000003ffe0005,
   1323   0x000000007ffb8009, 0x000000007ffc8007,
   1324   0x000019997ffb6670, 0x00001999b32f99a1,
   1325   0x000044432aa5e671, 0x00004443b32f6ef7,
   1326   0x000000003ffe0003, 0x000000003ffe8003,
   1327   0x000019993ffde66a, 0x000019997331999d,
   1328   0x00004442eaa8666b, 0x0000444373316ef3,
   1329   0x000084416aa6e674, 0x00008442732feef9,
   1330   0x00001998ffffe667, 0x000019993333199b,
   1331   0x00004442aaaa6668, 0x000044433332eef1,
   1332   0x000084412aa8e671, 0x0000844233316ef7,
   1333   0x0000c43faaa7e677, 0x0000c44133306efb,
   1334   0x00002aa9aaaa8001, 0x00002aa9ffffd557,
   1335   0x00006aa82aa9000a, 0x00006aa8fffe555d,
   1336   0x0000aaa6aaa80010, 0x0000aaa7fffd5561,
   1337   0x0000eaa52aa78013, 0x0000eaa6fffcd563,
   1338   0x00003ffe7ffe8009, 0x00003ffefffe8007,
   1339   0x00007ffcfffd800f, 0x00007ffdfffd800b,
   1340   0x0000bffb7ffd0012, 0x0000bffcfffd000d,
   1341   0x00007ffcfffd0012, 0x00007ffdfffd000d,
   1342   0x00003ffe7fff0006, 0x00003ffeffff0005,
   1343   0x00007ffcfffe8009, 0x00007ffdfffe8007,
   1344   0x00003ffe7ffe8009, 0x00003ffefffe8007,
   1345   0xffffffffffff0006, 0xffffffffffff0005,
   1346   0x00003ffe7fff8003, 0x00003ffeffff8003,
   1347   0xffffffffffff8003, 0xffffffffffff8003,
   1348   0xffffc00180000000, 0xffffc00100000001,
   1349   0xffff9557d5550002, 0xffff9556ffffaaad,
   1350   0xffffc00180000000, 0xffffc00100000001,
   1351   0xffff800300007ffd, 0xffff800200007fff,
   1352   0xffff555955557fff, 0xffff555800002aab,
   1353   0xffff3bc05555199b, 0xffff3bbecccc9113,
   1354   0xffffc00180007ffd, 0xffffc00100007fff,
   1355   0xffff9557d5557fff, 0xffff955700002aab,
   1356   0xffff7bbed555199b, 0xffff7bbdcccc9113,
   1357   0xffff7bbe9556999b, 0xffff7bbd8ccd9113,
   1358   0xffffd55655550002, 0xffffd555ffffaaad,
   1359   0xffffbbbd5554999e, 0xffffbbbccccc1115,
   1360   0xffffbbbd1556199e, 0xffffbbbc8ccd1115,
   1361   0xffffbbbcd558199b, 0xffffbbbc4cce9113,
   1362   0xffffe666ffff999c, 0xffffe666cccc6669,
   1363   0xffffe666c001199c, 0xffffe6668ccd6669,
   1364   0xffffe66680031999, 0xffffe6664ccee667,
   1365   0xffffe66640059993, 0xffffe6660cd0e663,
   1366   0xffffffffc0018000, 0xffffffffc0010001,
   1367   0xffffffff80037ffd, 0xffffffff80027fff,
   1368   0xffffffff4005fff7, 0xffffffff40047ffb,
   1369   0xffffffff0008ffee, 0xffffffff0006fff5,
   1370   0xffffffffc001fffd, 0xffffffffc0017fff,
   1371   0xffffffff80047ff7, 0xffffffff80037ffb,
   1372   0xffffffff40077fee, 0xffffffff4005fff5,
   1373   0xffffffff3fc7816e, 0xffffffff3fc600f5,
   1374   0xffffffffc0027ffa, 0xffffffffc001fffd,
   1375   0xffffffff80057ff1, 0xffffffff80047ff7,
   1376   0xffffffff7fc58171, 0xffffffff7fc480f7,
   1377   0xffffffff7f8602ee, 0xffffffff7f8501f5,
   1378   0xffffffffc002fff7, 0xffffffffc0027ffb,
   1379   0xffffffffbfc30177, 0xffffffffbfc280fb,
   1380   0xffffffffbf8382f4, 0xffffffffbf8301f9,
   1381   0xffffffffbf44846e, 0xffffffffbf4402f5,
   1382   0xffffffffffc00180, 0xffffffffffc00101,
   1383   0xffffffffff8082fd, 0xffffffffff8081ff,
   1384   0xffffffffff418477, 0xffffffffff4182fb,
   1385   0xffffffffff0305ee, 0xffffffffff0303f5,
   1386   0xffffffffffc0817d, 0xffffffffffc080ff,
   1387   0xffffffffff8182f7, 0xffffffffff8181fb,
   1388   0xffffffffff43046e, 0xffffffffff4302f5,
   1389   0xffffffffff3304ce, 0xffffffffff330335,
   1390   0xffffffffffc1017a, 0xffffffffffc100fd,
   1391   0xffffffffff8282f1, 0xffffffffff8281f7,
   1392   0xffffffffff728351, 0xffffffffff728237,
   1393   0xffffffffff71035a, 0xffffffffff71023d,
   1394   0xffffffffffc18177, 0xffffffffffc180fb,
   1395   0xffffffffffb181d7, 0xffffffffffb1813b,
   1396   0xffffffffffb001e0, 0xffffffffffb00141,
   1397   0xffffffffffaf01e6, 0xffffffffffaf0145,
   1398   0xfffffffffff00060, 0xfffffffffff00041,
   1399   0xffffffffffee8069, 0xffffffffffee8047,
   1400   0xffffffffffed806f, 0xffffffffffed804b,
   1401   0xffffffffffed0072, 0xffffffffffed004d,
   1402   0xfffffffffffe8006, 0xfffffffffffe8004,
   1403   0xfffffffffffd800a, 0xfffffffffffd8006,
   1404   0xfffffffffffd000c, 0xfffffffffffd0007,
   1405   0xfffffffffffd000c, 0xfffffffffffd0007,
   1406   0xffffffffffff0004, 0xffffffffffff0003,
   1407   0xfffffffffffe8006, 0xfffffffffffe8004,
   1408   0xfffffffffffe8006, 0xfffffffffffe8004,
   1409   0xffffffffffff0004, 0xffffffffffff0003,
   1410   0xffffffffffff8002, 0xffffffffffff8002,
   1411   0xffffffffffff8002, 0xffffffffffff8002,
   1412   0x0000000000000000, 0x0000000000000001,
   1413   0x000000000000fffc, 0x000000000000ffff,
   1414   0x0000000000000000, 0x0000000000000001,
   1415   0x0000000000007ffe, 0x0000000000008000,
   1416   0x0000000000017ffa, 0x0000000000017ffe,
   1417   0x0000000000117fba, 0x0000000000117fde,
   1418   0x0000000000007ffe, 0x0000000000008000,
   1419   0x0000000000017ffa, 0x0000000000017ffe,
   1420   0x0000000000117fba, 0x0000000000117fde,
   1421   0x00000000004ffec0, 0x00000000004fff61,
   1422   0x000000000000fffc, 0x000000000000ffff,
   1423   0x000000000010ffbc, 0x000000000010ffdf,
   1424   0x00000000004f7ec2, 0x00000000004f7f62,
   1425   0x00000000008e7dc6, 0x00000000008e7ee4,
   1426   0x00000000000fffc0, 0x00000000000fffe1,
   1427   0x00000000004e7ec6, 0x00000000004e7f64,
   1428   0x00000000008d7dca, 0x00000000008d7ee6,
   1429   0x0000000000ccfccc, 0x0000000000ccfe67,
   1430   0x00000000003e7f06, 0x00000000003e7f84,
   1431   0x00000000007d7e0a, 0x00000000007d7f06,
   1432   0x0000000000bcfd0c, 0x0000000000bcfe87,
   1433   0x0000000040ba7d12, 0x0000000040bafe8a,
   1434   0x00000000003eff04, 0x00000000003eff83,
   1435   0x00000000007e7e06, 0x00000000007e7f04,
   1436   0x00000000407bfe0c, 0x00000000407c7f07,
   1437   0x000000008079fe10, 0x00000000807aff09,
   1438   0x00000000003f7f02, 0x00000000003f7f82,
   1439   0x00000000403cff08, 0x00000000403d7f85,
   1440   0x00000000803aff0c, 0x00000000803bff87,
   1441   0x00000000c0397f0e, 0x00000000c03aff88,
   1442   0x000000003ffd8006, 0x000000003ffe0004,
   1443   0x000000007ffb800a, 0x000000007ffc8006,
   1444   0x00000000bffa000c, 0x00000000bffb8007,
   1445   0x00001999f32d19a6, 0x0000199a2661ccd4,
   1446   0x000000003ffe0004, 0x000000003ffe8003,
   1447   0x000000007ffc8006, 0x000000007ffd8004,
   1448   0x00001999b32f99a0, 0x00001999e663ccd1,
   1449   0x00004443b32f6ef6, 0x000044443bb8f77c,
   1450   0x000000003ffe8002, 0x000000003fff0002,
   1451   0x000019997331999c, 0x00001999a6654ccf,
   1452   0x0000444373316ef2, 0x00004443fbba777a,
   1453   0x00008442732feef8, 0x000084437bb8f77d,
   1454   0x000019993333199a, 0x0000199966664cce,
   1455   0x000044433332eef0, 0x00004443bbbb7779,
   1456   0x0000844233316ef6, 0x000084433bb9f77c,
   1457   0x0000c44133306efa, 0x0000c442bbb8f77e,
   1458   0x00002aa9ffffd556, 0x00002aaa55552aac,
   1459   0x00006aa8fffe555c, 0x00006aa9d553aaaf,
   1460   0x0000aaa7fffd5560, 0x0000aaa95552aab1,
   1461   0x0000eaa6fffcd562, 0x0000eaa8d5522ab2,
   1462   0x00003ffefffe8006, 0x00003fff7ffe8004,
   1463   0x00007ffdfffd800a, 0x00007ffefffd8006,
   1464   0x0000bffcfffd000c, 0x0000bffe7ffd0007,
   1465   0x00007ffdfffd000c, 0x00007ffefffd0007,
   1466   0x00003ffeffff0004, 0x00003fff7fff0003,
   1467   0x00007ffdfffe8006, 0x00007ffefffe8004,
   1468   0x00003ffefffe8006, 0x00003fff7ffe8004,
   1469   0xffffffffffff0004, 0xffffffffffff0003,
   1470   0x00003ffeffff8002, 0x00003fff7fff8002,
   1471   0xffffffffffff8002, 0xffffffffffff8002,
   1472   0xffffc00100000000, 0xffffc00080000001,
   1473   0xffff9556ffffaaac, 0xffff95562aaa5557,
   1474   0xffffc00100000000, 0xffffc00080000001,
   1475   0xffff800200007ffe, 0xffff800100008000,
   1476   0xffff555800002aaa, 0xffff5556aaaad556,
   1477   0xffff3bbecccc9112, 0xffff3bbd4444088a,
   1478   0xffffc00100007ffe, 0xffffc00080008000,
   1479   0xffff955700002aaa, 0xffff95562aaad556,
   1480   0xffff7bbdcccc9112, 0xffff7bbcc444088a,
   1481   0xffff7bbd8ccd9112, 0xffff7bbc8444888a,
   1482   0xffffd555ffffaaac, 0xffffd555aaaa5557,
   1483   0xffffbbbccccc1114, 0xffffbbbc4443888b,
   1484   0xffffbbbc8ccd1114, 0xffffbbbc0444088b,
   1485   0xffffbbbc4cce9112, 0xffffbbbbc445088a,
   1486   0xffffe666cccc6668, 0xffffe66699993335,
   1487   0xffffe6668ccd6668, 0xffffe6665999b335,
   1488   0xffffe6664ccee666, 0xffffe666199ab334,
   1489   0xffffe6660cd0e662, 0xffffe665d99c3332,
   1490   0xffffffffc0010000, 0xffffffffc0008001,
   1491   0xffffffff80027ffe, 0xffffffff80018000,
   1492   0xffffffff40047ffa, 0xffffffff4002fffe,
   1493   0xffffffff0006fff4, 0xffffffff0004fffb,
   1494   0xffffffffc0017ffe, 0xffffffffc0010000,
   1495   0xffffffff80037ffa, 0xffffffff80027ffe,
   1496   0xffffffff4005fff4, 0xffffffff40047ffb,
   1497   0xffffffff3fc600f4, 0xffffffff3fc4807b,
   1498   0xffffffffc001fffc, 0xffffffffc0017fff,
   1499   0xffffffff80047ff6, 0xffffffff80037ffc,
   1500   0xffffffff7fc480f6, 0xffffffff7fc3807c,
   1501   0xffffffff7f8501f4, 0xffffffff7f8400fb,
   1502   0xffffffffc0027ffa, 0xffffffffc001fffe,
   1503   0xffffffffbfc280fa, 0xffffffffbfc2007e,
   1504   0xffffffffbf8301f8, 0xffffffffbf8280fd,
   1505   0xffffffffbf4402f4, 0xffffffffbf43817b,
   1506   0xffffffffffc00100, 0xffffffffffc00081,
   1507   0xffffffffff8081fe, 0xffffffffff808100,
   1508   0xffffffffff4182fa, 0xffffffffff41817e,
   1509   0xffffffffff0303f4, 0xffffffffff0301fb,
   1510   0xffffffffffc080fe, 0xffffffffffc08080,
   1511   0xffffffffff8181fa, 0xffffffffff8180fe,
   1512   0xffffffffff4302f4, 0xffffffffff43017b,
   1513   0xffffffffff330334, 0xffffffffff33019b,
   1514   0xffffffffffc100fc, 0xffffffffffc1007f,
   1515   0xffffffffff8281f6, 0xffffffffff8280fc,
   1516   0xffffffffff728236, 0xffffffffff72811c,
   1517   0xffffffffff71023c, 0xffffffffff71011f,
   1518   0xffffffffffc180fa, 0xffffffffffc1807e,
   1519   0xffffffffffb1813a, 0xffffffffffb1809e,
   1520   0xffffffffffb00140, 0xffffffffffb000a1,
   1521   0xffffffffffaf0144, 0xffffffffffaf00a3,
   1522   0xfffffffffff00040, 0xfffffffffff00021,
   1523   0xffffffffffee8046, 0xffffffffffee8024,
   1524   0xffffffffffed804a, 0xffffffffffed8026,
   1525   0xffffffffffed004c, 0xffffffffffed0027,
   1526   0xfffffffffffe8003, 0xffffffff66666668,
   1527   0xfffffffffffd8005, 0xffffffff00000002,
   1528   0xfffffffffffd0006, 0xfffffffecccccccf,
   1529   0xfffffffffffd0006, 0xfffffffecccccccf,
   1530   0xffffffffffff0002, 0xffffffff9999999b,
   1531   0xfffffffffffe8003, 0xffffffff66666668,
   1532   0xfffffffffffe8003, 0xffffffff66666668,
   1533   0xffffffffffff0002, 0xffffffff9999999b,
   1534   0xffffffffffff8001, 0xffffffffccccccce,
   1535   0xffffffffffff8001, 0xffffffffccccccce,
   1536   0x0000000000000000, 0x0000000000000001,
   1537   0x000000000000fffe, 0x0000000066666667,
   1538   0x0000000000000000, 0x0000000000000001,
   1539   0x0000000000007fff, 0x0000000033333334,
   1540   0x0000000000017ffd, 0x000000009999999a,
   1541   0x0000000000117fdd, 0x00000006fffffffa,
   1542   0x0000000000007fff, 0x0000000033333334,
   1543   0x0000000000017ffd, 0x000000009999999a,
   1544   0x0000000000117fdd, 0x00000006fffffffa,
   1545   0x00000000004fff60, 0x0000001fffffffe1,
   1546   0x000000000000fffe, 0x0000000066666667,
   1547   0x000000000010ffde, 0x00000006ccccccc7,
   1548   0x00000000004f7f61, 0x0000001fccccccae,
   1549   0x00000000008e7ee3, 0x00000038ffffffc8,
   1550   0x00000000000fffe0, 0x0000000666666661,
   1551   0x00000000004e7f63, 0x0000001f66666648,
   1552   0x00000000008d7ee5, 0x0000003899999962,
   1553   0x0000000000ccfe66, 0x00000051ffffffaf,
   1554   0x00000000003e7f83, 0x00000018ffffffe8,
   1555   0x00000000007d7f05, 0x0000003233333302,
   1556   0x0000000000bcfe86, 0x0000004b9999994f,
   1557   0x0000000040bafe89, 0x000019e499997fb6,
   1558   0x00000000003eff82, 0x000000193333331b,
   1559   0x00000000007e7f03, 0x0000003299999968,
   1560   0x00000000407c7f06, 0x000019cb99997fcf,
   1561   0x00000000807aff08, 0x00003364cccc9969,
   1562   0x00000000003f7f81, 0x000000196666664e,
   1563   0x00000000403d7f84, 0x000019b266664cb5,
   1564   0x00000000803bff86, 0x0000334b9999664f,
   1565   0x00000000c03aff87, 0x00004ce4ffffb31c,
   1566   0x000000003ffe0003, 0x00001998ffffe668,
   1567   0x000000007ffc8005, 0x0000333233330002,
   1568   0x00000000bffb8006, 0x00004ccb99994ccf,
   1569   0x0000199a2661ccd3, 0x0a3dbd6f5c28a8f8,
   1570   0x000000003ffe8002, 0x000019993333199b,
   1571   0x000000007ffd8003, 0x0000333299996668,
   1572   0x00001999e663ccd0, 0x0a3da3d65c28c291,
   1573   0x000044443bb8f77b, 0x1b4eb4e74b17b180,
   1574   0x000000003fff0001, 0x0000199966664cce,
   1575   0x00001999a6654cce, 0x0a3d8a3d28f5a8f7,
   1576   0x00004443fbba7779, 0x1b4e9b4e17e497e6,
   1577   0x000084437bb8f77c, 0x34e834e6fe4afe4d,
   1578   0x0000199966664ccd, 0x0a3d70a3c28f5c2a,
   1579   0x00004443bbbb7778, 0x1b4e81b4b17e4b19,
   1580   0x000084433bb9f77b, 0x34e81b4d97e4b180,
   1581   0x0000c442bbb8f77d, 0x4e81b4e6b17e4b1a,
   1582   0x00002aaa55552aab, 0x11111110eeeeeef0,
   1583   0x00006aa9d553aaae, 0x2aaaaaa9d5555557,
   1584   0x0000aaa95552aab0, 0x44444442eeeeeef1,
   1585   0x0000eaa8d5522ab1, 0x5ddddddc3bbbbbbe,
   1586   0x00003fff7ffe8003, 0x19999998e6666668,
   1587   0x00007ffefffd8005, 0x3333333200000002,
   1588   0x0000bffe7ffd0006, 0x4ccccccb4ccccccf,
   1589   0x00007ffefffd0006, 0x33333331cccccccf,
   1590   0x00003fff7fff0002, 0x199999991999999b,
   1591   0x00007ffefffe8003, 0x3333333266666668,
   1592   0x00003fff7ffe8003, 0x19999998e6666668,
   1593   0xffffffffffff0002, 0xffffffff9999999b,
   1594   0x00003fff7fff8001, 0x199999994cccccce,
   1595   0xffffffffffff8001, 0xffffffffccccccce,
   1596   0xffffc00080000000, 0xe666666680000001,
   1597   0xffff95562aaa5556, 0xd55555555ddddddf,
   1598   0xffffc00080000000, 0xe666666680000001,
   1599   0xffff800100007fff, 0xcccccccd33333334,
   1600   0xffff5556aaaad555, 0xbbbbbbbc11111112,
   1601   0xffff3bbd44440889, 0xb17e4b181b4e81b6,
   1602   0xffffc00080007fff, 0xe6666666b3333334,
   1603   0xffff95562aaad555, 0xd555555591111112,
   1604   0xffff7bbcc4440889, 0xcb17e4b19b4e81b6,
   1605   0xffff7bbc84448889, 0xcb17cb1801b501b6,
   1606   0xffffd555aaaa5556, 0xeeeeeeeedddddddf,
   1607   0xffffbbbc4443888a, 0xe4b17e4ae81b4e83,
   1608   0xffffbbbc0444088a, 0xe4b164b14e81ce83,
   1609   0xffffbbbbc4450889, 0xe4b14b17e81b81b6,
   1610   0xffffe66699993334, 0xf5c28f5c0a3d70a5,
   1611   0xffffe6665999b334, 0xf5c275c270a3f0a5,
   1612   0xffffe666199ab333, 0xf5c25c290a3da3d8,
   1613   0xffffe665d99c3331, 0xf5c2428fd70a8a3e,
   1614   0xffffffffc0008000, 0xffffe66666668001,
   1615   0xffffffff80017fff, 0xffffcccd00003334,
   1616   0xffffffff4002fffd, 0xffffb333cccd199a,
   1617   0xffffffff0004fffa, 0xffff999acccd3333,
   1618   0xffffffffc000ffff, 0xffffe6669999b334,
   1619   0xffffffff80027ffd, 0xffffcccd6666999a,
   1620   0xffffffff40047ffa, 0xffffb3346666b333,
   1621   0xffffffff3fc4807a, 0xffffb31acccd19b3,
   1622   0xffffffffc0017ffe, 0xffffe666cccce667,
   1623   0xffffffff80037ffb, 0xffffcccdcccd0000,
   1624   0xffffffff7fc3807b, 0xffffccb433336680,
   1625   0xffffffff7f8400fa, 0xffffcc9acccd0033,
   1626   0xffffffffc001fffd, 0xffffe6670000199a,
   1627   0xffffffffbfc2007d, 0xffffe64d6666801a,
   1628   0xffffffffbf8280fc, 0xffffe634000019cd,
   1629   0xffffffffbf43817a, 0xffffe61acccce6b3,
   1630   0xffffffffffc00080, 0xffffffe666666681,
   1631   0xffffffffff8080ff, 0xffffffcd00000034,
   1632   0xffffffffff41817d, 0xffffffb3cccccd1a,
   1633   0xffffffffff0301fa, 0xffffff9acccccd33,
   1634   0xffffffffffc0807f, 0xffffffe6999999b4,
   1635   0xffffffffff8180fd, 0xffffffcd6666669a,
   1636   0xffffffffff43017a, 0xffffffb4666666b3,
   1637   0xffffffffff33019a, 0xffffffae00000053,
   1638   0xffffffffffc1007e, 0xffffffe6cccccce7,
   1639   0xffffffffff8280fb, 0xffffffcdcccccd00,
   1640   0xffffffffff72811b, 0xffffffc7666666a0,
   1641   0xffffffffff71011e, 0xffffffc6cccccd07,
   1642   0xffffffffffc1807d, 0xffffffe70000001a,
   1643   0xffffffffffb1809d, 0xffffffe0999999ba,
   1644   0xffffffffffb000a0, 0xffffffe000000021,
   1645   0xffffffffffaf00a2, 0xffffffdf999999bb,
   1646   0xfffffffffff00020, 0xfffffff9999999a1,
   1647   0xffffffffffee8023, 0xfffffff900000008,
   1648   0xffffffffffed8025, 0xfffffff8999999a2,
   1649   0xffffffffffed0026, 0xfffffff86666666f,
   1650   0xffffffff66666667, 0xffffffff00000002,
   1651   0xffffffff00000001, 0xfffffffe55555558,
   1652   0xfffffffeccccccce, 0xfffffffe00000003,
   1653   0xfffffffeccccccce, 0xfffffffe00000003,
   1654   0xffffffff9999999a, 0xffffffff55555557,
   1655   0xffffffff66666667, 0xffffffff00000002,
   1656   0xffffffff66666667, 0xffffffff00000002,
   1657   0xffffffff9999999a, 0xffffffff55555557,
   1658   0xffffffffcccccccd, 0xffffffffaaaaaaac,
   1659   0xffffffffcccccccd, 0xffffffffaaaaaaac,
   1660   0x0000000000000000, 0x0000000000000001,
   1661   0x0000000066666666, 0x00000000aaaaaaab,
   1662   0x0000000000000000, 0x0000000000000001,
   1663   0x0000000033333333, 0x0000000055555556,
   1664   0x0000000099999999, 0x0000000100000000,
   1665   0x00000006fffffff9, 0x0000000baaaaaaa0,
   1666   0x0000000033333333, 0x0000000055555556,
   1667   0x0000000099999999, 0x0000000100000000,
   1668   0x00000006fffffff9, 0x0000000baaaaaaa0,
   1669   0x0000001fffffffe0, 0x0000003555555521,
   1670   0x0000000066666666, 0x00000000aaaaaaab,
   1671   0x00000006ccccccc6, 0x0000000b5555554b,
   1672   0x0000001fccccccad, 0x00000034ffffffcc,
   1673   0x00000038ffffffc7, 0x0000005effffffa2,
   1674   0x0000000666666660, 0x0000000aaaaaaaa1,
   1675   0x0000001f66666647, 0x0000003455555522,
   1676   0x0000003899999961, 0x0000005e555554f8,
   1677   0x00000051ffffffae, 0x00000088aaaaaa23,
   1678   0x00000018ffffffe7, 0x00000029aaaaaa82,
   1679   0x0000003233333301, 0x00000053aaaaaa58,
   1680   0x0000004b9999994e, 0x0000007dffffff83,
   1681   0x000019e499997fb5, 0x00002b27aaaa7f84,
   1682   0x000000193333331a, 0x00000029ffffffd7,
   1683   0x0000003299999967, 0x0000005455555502,
   1684   0x000019cb99997fce, 0x00002afdffffd503,
   1685   0x00003364cccc9968, 0x000055a7ffffaa59,
   1686   0x000000196666664d, 0x0000002a5555552c,
   1687   0x000019b266664cb4, 0x00002ad3ffffd52d,
   1688   0x0000334b9999664e, 0x0000557dffffaa83,
   1689   0x00004ce4ffffb31b, 0x000080285554d52e,
   1690   0x00001998ffffe667, 0x00002aa9aaaa8002,
   1691   0x0000333233330001, 0x00005553aaaa5558,
   1692   0x00004ccb99994cce, 0x00007ffdffff8003,
   1693   0x0a3dbd6f5c28a8f7, 0x1111910eeeee6ef2,
   1694   0x000019993333199a, 0x00002aa9ffffd557,
   1695   0x0000333299996667, 0x0000555455550002,
   1696   0x0a3da3d65c28c290, 0x111166654443eef1,
   1697   0x1b4eb4e74b17b17f, 0x2d832d817d277d2a,
   1698   0x0000199966664ccd, 0x00002aaa55552aac,
   1699   0x0a3d8a3d28f5a8f6, 0x11113bbb4444199b,
   1700   0x1b4e9b4e17e497e5, 0x2d8302d77d27a7d4,
   1701   0x34e834e6fe4afe4c, 0x582dad80fd27a7d5,
   1702   0x0a3d70a3c28f5c29, 0x11111110eeeeeef0,
   1703   0x1b4e81b4b17e4b18, 0x2d82d82d27d27d29,
   1704   0x34e81b4d97e4b17f, 0x582d82d6a7d27d2a,
   1705   0x4e81b4e6b17e4b19, 0x82d82d807d27d280,
   1706   0x11111110eeeeeeef, 0x1c71c71c38e38e3a,
   1707   0x2aaaaaa9d5555556, 0x471c71c5b8e38e3b,
   1708   0x44444442eeeeeef0, 0x71c71c6f8e38e391,
   1709   0x5ddddddc3bbbbbbd, 0x9c71c719b8e38e3c,
   1710   0x19999998e6666667, 0x2aaaaaa980000002,
   1711   0x3333333200000001, 0x5555555355555558,
   1712   0x4ccccccb4cccccce, 0x7ffffffd80000003,
   1713   0x33333331ccccccce, 0x5555555300000003,
   1714   0x199999991999999a, 0x2aaaaaa9d5555557,
   1715   0x3333333266666667, 0x5555555400000002,
   1716   0x19999998e6666667, 0x2aaaaaa980000002,
   1717   0xffffffff9999999a, 0xffffffff55555557,
   1718   0x199999994ccccccd, 0x2aaaaaaa2aaaaaac,
   1719   0xffffffffcccccccd, 0xffffffffaaaaaaac,
   1720   0xe666666680000000, 0xd555555580000001,
   1721   0xd55555555dddddde, 0xb8e38e38f1c71c73,
   1722   0xe666666680000000, 0xd555555580000001,
   1723   0xcccccccd33333333, 0xaaaaaaab55555556,
   1724   0xbbbbbbbc11111111, 0x8e38e38ec71c71c8,
   1725   0xb17e4b181b4e81b5, 0x7d27d27d82d82d84,
   1726   0xe6666666b3333333, 0xd5555555d5555556,
   1727   0xd555555591111111, 0xb8e38e39471c71c8,
   1728   0xcb17e4b19b4e81b5, 0xa7d27d2802d82d84,
   1729   0xcb17cb1801b501b5, 0xa7d2527d582dad84,
   1730   0xeeeeeeeeddddddde, 0xe38e38e371c71c73,
   1731   0xe4b17e4ae81b4e82, 0xd27d27d22d82d82f,
   1732   0xe4b164b14e81ce82, 0xd27cfd2782d8582f,
   1733   0xe4b14b17e81b81b5, 0xd27cd27d2d832d84,
   1734   0xf5c28f5c0a3d70a4, 0xeeeeeeeebbbbbbbd,
   1735   0xf5c275c270a3f0a4, 0xeeeec44411113bbd,
   1736   0xf5c25c290a3da3d7, 0xeeee9999bbbc1112,
   1737   0xf5c2428fd70a8a3d, 0xeeee6eefbbbc3bbc,
   1738   0xffffe66666668000, 0xffffd55555558001,
   1739   0xffffcccd00003333, 0xffffaaab00005556,
   1740   0xffffb333cccd1999, 0xffff800100008000,
   1741   0xffff999acccd3332, 0xffff55575555ffff,
   1742   0xffffe6669999b333, 0xffffd555aaaad556,
   1743   0xffffcccd66669999, 0xffffaaabaaab0000,
   1744   0xffffb3346666b332, 0xffff800200007fff,
   1745   0xffffb31acccd19b2, 0xffff7fd75555d57f,
   1746   0xffffe666cccce666, 0xffffd55600002aab,
   1747   0xffffcccdccccffff, 0xffffaaac5555aaaa,
   1748   0xffffccb43333667f, 0xffffaa81aaab002a,
   1749   0xffffcc9acccd0032, 0xffffaa575555aaff,
   1750   0xffffe66700001999, 0xffffd55655558000,
   1751   0xffffe64d66668019, 0xffffd52baaaad580,
   1752   0xffffe634000019cc, 0xffffd50155558055,
   1753   0xffffe61acccce6b2, 0xffffd4d75555807f,
   1754   0xffffffe666666680, 0xffffffd555555581,
   1755   0xffffffcd00000033, 0xffffffab00000056,
   1756   0xffffffb3cccccd19, 0xffffff8100000080,
   1757   0xffffff9acccccd32, 0xffffff57555555ff,
   1758   0xffffffe6999999b3, 0xffffffd5aaaaaad6,
   1759   0xffffffcd66666699, 0xffffffabaaaaab00,
   1760   0xffffffb4666666b2, 0xffffff820000007f,
   1761   0xffffffae00000052, 0xffffff77555555df,
   1762   0xffffffe6cccccce6, 0xffffffd60000002b,
   1763   0xffffffcdccccccff, 0xffffffac555555aa,
   1764   0xffffffc76666669f, 0xffffffa1aaaaab0a,
   1765   0xffffffc6cccccd06, 0xffffffa0aaaaab0b,
   1766   0xffffffe700000019, 0xffffffd655555580,
   1767   0xffffffe0999999b9, 0xffffffcbaaaaaae0,
   1768   0xffffffe000000020, 0xffffffcaaaaaaae1,
   1769   0xffffffdf999999ba, 0xffffffca00000037,
   1770   0xfffffff9999999a0, 0xfffffff555555561,
   1771   0xfffffff900000007, 0xfffffff455555562,
   1772   0xfffffff8999999a1, 0xfffffff3aaaaaab8,
   1773   0xfffffff86666666e, 0xfffffff355555563,
   1774   0xffffffff00000001, 0xfffffffe8000000a,
   1775   0xfffffffe55555557, 0xfffffffd80000010,
   1776   0xfffffffe00000002, 0xfffffffd00000013,
   1777   0xfffffffe00000002, 0xfffffffd00000013,
   1778   0xffffffff55555556, 0xffffffff00000007,
   1779   0xffffffff00000001, 0xfffffffe8000000a,
   1780   0xffffffff00000001, 0xfffffffe8000000a,
   1781   0xffffffff55555556, 0xffffffff00000007,
   1782   0xffffffffaaaaaaab, 0xffffffff80000004,
   1783   0xffffffffaaaaaaab, 0xffffffff80000004,
   1784   0x0000000000000000, 0x0000000000000001,
   1785   0x00000000aaaaaaaa, 0x00000000fffffffb,
   1786   0x0000000000000000, 0x0000000000000001,
   1787   0x0000000055555555, 0x000000007ffffffe,
   1788   0x00000000ffffffff, 0x000000017ffffff8,
   1789   0x0000000baaaaaa9f, 0x000000117fffff98,
   1790   0x0000000055555555, 0x000000007ffffffe,
   1791   0x00000000ffffffff, 0x000000017ffffff8,
   1792   0x0000000baaaaaa9f, 0x000000117fffff98,
   1793   0x0000003555555520, 0x0000004ffffffe21,
   1794   0x00000000aaaaaaaa, 0x00000000fffffffb,
   1795   0x0000000b5555554a, 0x00000010ffffff9b,
   1796   0x00000034ffffffcb, 0x0000004f7ffffe24,
   1797   0x0000005effffffa1, 0x0000008e7ffffcaa,
   1798   0x0000000aaaaaaaa0, 0x0000000fffffffa1,
   1799   0x0000003455555521, 0x0000004e7ffffe2a,
   1800   0x0000005e555554f7, 0x0000008d7ffffcb0,
   1801   0x00000088aaaaaa22, 0x000000ccfffffb33,
   1802   0x00000029aaaaaa81, 0x0000003e7ffffe8a,
   1803   0x00000053aaaaaa57, 0x0000007d7ffffd10,
   1804   0x0000007dffffff82, 0x000000bcfffffb93,
   1805   0x00002b27aaaa7f83, 0x000040bb7ffe7b9c,
   1806   0x00000029ffffffd6, 0x0000003efffffe87,
   1807   0x0000005455555501, 0x0000007e7ffffd0a,
   1808   0x00002afdffffd502, 0x0000407cfffe7d13,
   1809   0x000055a7ffffaa58, 0x0000807bfffcfd19,
   1810   0x0000002a5555552b, 0x0000003f7ffffe84,
   1811   0x00002ad3ffffd52c, 0x0000403dfffe7e8d,
   1812   0x0000557dffffaa82, 0x0000803cfffcfe93,
   1813   0x000080285554d52d, 0x0000c03c7ffb7e96,
   1814   0x00002aa9aaaa8001, 0x00003ffe7ffe800a,
   1815   0x00005553aaaa5557, 0x00007ffd7ffd0010,
   1816   0x00007ffdffff8002, 0x0000bffcfffb8013,
   1817   0x1111910eeeee6ef1, 0x199a5995e661e67a,
   1818   0x00002aa9ffffd556, 0x00003ffefffe8007,
   1819   0x0000555455550001, 0x00007ffe7ffd000a,
   1820   0x111166654443eef0, 0x199a199766636671,
   1821   0x2d832d817d277d29, 0x4444c440e6636672,
   1822   0x00002aaa55552aab, 0x00003fff7ffe8004,
   1823   0x11113bbb4444199a, 0x1999d9986664e66b,
   1824   0x2d8302d77d27a7d3, 0x44448441e664e66c,
   1825   0x582dad80fd27a7d4, 0x8444843ee664e675,
   1826   0x11111110eeeeeeef, 0x19999998e6666668,
   1827   0x2d82d82d27d27d28, 0x4444444266666669,
   1828   0x582d82d6a7d27d29, 0x8444443f66666672,
   1829   0x82d82d807d27d27f, 0xc444443ce6666678,
   1830   0x1c71c71c38e38e39, 0x2aaaaaa980000002,
   1831   0x471c71c5b8e38e3a, 0x6aaaaaa68000000b,
   1832   0x71c71c6f8e38e390, 0xaaaaaaa400000011,
   1833   0x9c71c719b8e38e3b, 0xeaaaaaa200000014,
   1834   0x2aaaaaa980000001, 0x3ffffffd0000000a,
   1835   0x5555555355555557, 0x7ffffffa80000010,
   1836   0x7ffffffd80000002, 0xbffffff880000013,
   1837   0x5555555300000002, 0x7ffffffa00000013,
   1838   0x2aaaaaa9d5555556, 0x3ffffffd80000007,
   1839   0x5555555400000001, 0x7ffffffb8000000a,
   1840   0x2aaaaaa980000001, 0x3ffffffd0000000a,
   1841   0xffffffff55555556, 0xffffffff00000007,
   1842   0x2aaaaaaa2aaaaaab, 0x3ffffffe00000004,
   1843   0xffffffffaaaaaaab, 0xffffffff80000004,
   1844   0xd555555580000000, 0xc000000180000001,
   1845   0xb8e38e38f1c71c72, 0x9555555780000003,
   1846   0xd555555580000000, 0xc000000180000001,
   1847   0xaaaaaaab55555555, 0x800000037ffffffe,
   1848   0x8e38e38ec71c71c7, 0x5555555980000000,
   1849   0x7d27d27d82d82d83, 0x3bbbbbc01999999c,
   1850   0xd5555555d5555555, 0xc0000001fffffffe,
   1851   0xb8e38e39471c71c7, 0x9555555800000000,
   1852   0xa7d27d2802d82d83, 0x7bbbbbbe9999999c,
   1853   0xa7d2527d582dad83, 0x7bbb7bbe999b199c,
   1854   0xe38e38e371c71c72, 0xd555555600000003,
   1855   0xd27d27d22d82d82e, 0xbbbbbbbc9999999f,
   1856   0xd27cfd2782d8582e, 0xbbbb7bbc999b199f,
   1857   0xd27cd27d2d832d83, 0xbbbb3bbd199c999c,
   1858   0xeeeeeeeebbbbbbbc, 0xe66666669999999d,
   1859   0xeeeec44411113bbc, 0xe6662666999b199d,
   1860   0xeeee9999bbbc1111, 0xe665e667199c999a,
   1861   0xeeee6eefbbbc3bbb, 0xe665a668199e1994,
   1862   0xffffd55555558000, 0xffffc00000018001,
   1863   0xffffaaab00005555, 0xffff80008002fffe,
   1864   0xffff800100007fff, 0xffff400180047ff8,
   1865   0xffff55575555fffe, 0xffff00030005ffef,
   1866   0xffffd555aaaad555, 0xffffc00080017ffe,
   1867   0xffffaaabaaaaffff, 0xffff80018002fff8,
   1868   0xffff800200007ffe, 0xffff400300047fef,
   1869   0xffff7fd75555d57e, 0xffff3fc30004816f,
   1870   0xffffd55600002aaa, 0xffffc00100017ffb,
   1871   0xffffaaac5555aaa9, 0xffff80028002fff2,
   1872   0xffffaa81aaab0029, 0xffff7fc280030172,
   1873   0xffffaa575555aafe, 0xffff7f83000302ef,
   1874   0xffffd55655557fff, 0xffffc00180017ff8,
   1875   0xffffd52baaaad57f, 0xffffbfc180018178,
   1876   0xffffd50155558054, 0xffffbf82000182f5,
   1877   0xffffd4d75555807e, 0xffffbf430001846f,
   1878   0xffffffd555555580, 0xffffffc000000181,
   1879   0xffffffab00000055, 0xffffff80800002fe,
   1880   0xffffff810000007f, 0xffffff4180000478,
   1881   0xffffff57555555fe, 0xffffff03000005ef,
   1882   0xffffffd5aaaaaad5, 0xffffffc08000017e,
   1883   0xffffffabaaaaaaff, 0xffffff81800002f8,
   1884   0xffffff820000007e, 0xffffff430000046f,
   1885   0xffffff77555555de, 0xffffff33000004cf,
   1886   0xffffffd60000002a, 0xffffffc10000017b,
   1887   0xffffffac555555a9, 0xffffff82800002f2,
   1888   0xffffffa1aaaaab09, 0xffffff7280000352,
   1889   0xffffffa0aaaaab0a, 0xffffff710000035b,
   1890   0xffffffd65555557f, 0xffffffc180000178,
   1891   0xffffffcbaaaaaadf, 0xffffffb1800001d8,
   1892   0xffffffcaaaaaaae0, 0xffffffb0000001e1,
   1893   0xffffffca00000036, 0xffffffaf000001e7,
   1894   0xfffffff555555560, 0xfffffff000000061,
   1895   0xfffffff455555561, 0xffffffee8000006a,
   1896   0xfffffff3aaaaaab7, 0xffffffed80000070,
   1897   0xfffffff355555562, 0xffffffed00000073,
   1898   0xfffffffe80000009, 0xfffffffe80000007,
   1899   0xfffffffd8000000f, 0xfffffffd8000000b,
   1900   0xfffffffd00000012, 0xfffffffd0000000d,
   1901   0xfffffffd00000012, 0xfffffffd0000000d,
   1902   0xffffffff00000006, 0xffffffff00000005,
   1903   0xfffffffe80000009, 0xfffffffe80000007,
   1904   0xfffffffe80000009, 0xfffffffe80000007,
   1905   0xffffffff00000006, 0xffffffff00000005,
   1906   0xffffffff80000003, 0xffffffff80000003,
   1907   0xffffffff80000003, 0xffffffff80000003,
   1908   0x0000000000000000, 0x0000000000000001,
   1909   0x00000000fffffffa, 0x00000000fffffffd,
   1910   0x0000000000000000, 0x0000000000000001,
   1911   0x000000007ffffffd, 0x000000007fffffff,
   1912   0x000000017ffffff7, 0x000000017ffffffb,
   1913   0x000000117fffff97, 0x000000117fffffbb,
   1914   0x000000007ffffffd, 0x000000007fffffff,
   1915   0x000000017ffffff7, 0x000000017ffffffb,
   1916   0x000000117fffff97, 0x000000117fffffbb,
   1917   0x0000004ffffffe20, 0x0000004ffffffec1,
   1918   0x00000000fffffffa, 0x00000000fffffffd,
   1919   0x00000010ffffff9a, 0x00000010ffffffbd,
   1920   0x0000004f7ffffe23, 0x0000004f7ffffec3,
   1921   0x0000008e7ffffca9, 0x0000008e7ffffdc7,
   1922   0x0000000fffffffa0, 0x0000000fffffffc1,
   1923   0x0000004e7ffffe29, 0x0000004e7ffffec7,
   1924   0x0000008d7ffffcaf, 0x0000008d7ffffdcb,
   1925   0x000000ccfffffb32, 0x000000ccfffffccd,
   1926   0x0000003e7ffffe89, 0x0000003e7fffff07,
   1927   0x0000007d7ffffd0f, 0x0000007d7ffffe0b,
   1928   0x000000bcfffffb92, 0x000000bcfffffd0d,
   1929   0x000040bb7ffe7b9b, 0x000040bb7ffefd13,
   1930   0x0000003efffffe86, 0x0000003effffff05,
   1931   0x0000007e7ffffd09, 0x0000007e7ffffe07,
   1932   0x0000407cfffe7d12, 0x0000407cfffefe0d,
   1933   0x0000807bfffcfd18, 0x0000807bfffdfe11,
   1934   0x0000003f7ffffe83, 0x0000003f7fffff03,
   1935   0x0000403dfffe7e8c, 0x0000403dfffeff09,
   1936   0x0000803cfffcfe92, 0x0000803cfffdff0d,
   1937   0x0000c03c7ffb7e95, 0x0000c03c7ffcff0f,
   1938   0x00003ffe7ffe8009, 0x00003ffe7fff0007,
   1939   0x00007ffd7ffd000f, 0x00007ffd7ffe000b,
   1940   0x0000bffcfffb8012, 0x0000bffcfffd000d,
   1941   0x199a5995e661e679, 0x199a5996199699a7,
   1942   0x00003ffefffe8006, 0x00003ffeffff0005,
   1943   0x00007ffe7ffd0009, 0x00007ffe7ffe0007,
   1944   0x199a199766636670, 0x199a1997999799a1,
   1945   0x4444c440e6636671, 0x4444c4416eeceef7,
   1946   0x00003fff7ffe8003, 0x00003fff7fff0003,
   1947   0x1999d9986664e66a, 0x1999d9989998999d,
   1948   0x44448441e664e66b, 0x444484426eedeef3,
   1949   0x8444843ee664e674, 0x8444843feeedeef9,
   1950   0x19999998e6666667, 0x199999991999999b,
   1951   0x4444444266666668, 0x44444442eeeeeef1,
   1952   0x8444443f66666671, 0x844444406eeeeef7,
   1953   0xc444443ce6666677, 0xc444443e6eeeeefb,
   1954   0x2aaaaaa980000001, 0x2aaaaaa9d5555557,
   1955   0x6aaaaaa68000000a, 0x6aaaaaa75555555d,
   1956   0xaaaaaaa400000010, 0xaaaaaaa555555561,
   1957   0xeaaaaaa200000013, 0xeaaaaaa3d5555563,
   1958   0x3ffffffd00000009, 0x3ffffffd80000007,
   1959   0x7ffffffa8000000f, 0x7ffffffb8000000b,
   1960   0xbffffff880000012, 0xbffffffa0000000d,
   1961   0x7ffffffa00000012, 0x7ffffffb0000000d,
   1962   0x3ffffffd80000006, 0x3ffffffe00000005,
   1963   0x7ffffffb80000009, 0x7ffffffc80000007,
   1964   0x3ffffffd00000009, 0x3ffffffd80000007,
   1965   0xffffffff00000006, 0xffffffff00000005,
   1966   0x3ffffffe00000003, 0x3ffffffe80000003,
   1967   0xffffffff80000003, 0xffffffff80000003,
   1968   0xc000000180000000, 0xc000000100000001,
   1969   0x9555555780000002, 0x95555556aaaaaaad,
   1970   0xc000000180000000, 0xc000000100000001,
   1971   0x800000037ffffffd, 0x800000027fffffff,
   1972   0x555555597fffffff, 0x555555582aaaaaab,
   1973   0x3bbbbbc01999999b, 0x3bbbbbbe91111113,
   1974   0xc0000001fffffffd, 0xc00000017fffffff,
   1975   0x95555557ffffffff, 0x955555572aaaaaab,
   1976   0x7bbbbbbe9999999b, 0x7bbbbbbd91111113,
   1977   0x7bbb7bbe999b199b, 0x7bbb7bbd91121113,
   1978   0xd555555600000002, 0xd5555555aaaaaaad,
   1979   0xbbbbbbbc9999999e, 0xbbbbbbbc11111115,
   1980   0xbbbb7bbc999b199e, 0xbbbb7bbc11121115,
   1981   0xbbbb3bbd199c999b, 0xbbbb3bbc91131113,
   1982   0xe66666669999999c, 0xe666666666666669,
   1983   0xe6662666999b199c, 0xe666266666676669,
   1984   0xe665e667199c9999, 0xe665e666e6686667,
   1985   0xe665a668199e1993, 0xe665a667e6696663,
   1986   0xffffc00000018000, 0xffffc00000010001,
   1987   0xffff80008002fffd, 0xffff80008001ffff,
   1988   0xffff400180047ff7, 0xffff40018002fffb,
   1989   0xffff00030005ffee, 0xffff00030003fff5,
   1990   0xffffc00080017ffd, 0xffffc0008000ffff,
   1991   0xffff80018002fff7, 0xffff80018001fffb,
   1992   0xffff400300047fee, 0xffff40030002fff5,
   1993   0xffff3fc30004816e, 0xffff3fc3000300f5,
   1994   0xffffc00100017ffa, 0xffffc0010000fffd,
   1995   0xffff80028002fff1, 0xffff80028001fff7,
   1996   0xffff7fc280030171, 0xffff7fc2800200f7,
   1997   0xffff7f83000302ee, 0xffff7f83000201f5,
   1998   0xffffc00180017ff7, 0xffffc0018000fffb,
   1999   0xffffbfc180018177, 0xffffbfc1800100fb,
   2000   0xffffbf82000182f4, 0xffffbf82000101f9,
   2001   0xffffbf430001846e, 0xffffbf43000102f5,
   2002   0xffffffc000000180, 0xffffffc000000101,
   2003   0xffffff80800002fd, 0xffffff80800001ff,
   2004   0xffffff4180000477, 0xffffff41800002fb,
   2005   0xffffff03000005ee, 0xffffff03000003f5,
   2006   0xffffffc08000017d, 0xffffffc0800000ff,
   2007   0xffffff81800002f7, 0xffffff81800001fb,
   2008   0xffffff430000046e, 0xffffff43000002f5,
   2009   0xffffff33000004ce, 0xffffff3300000335,
   2010   0xffffffc10000017a, 0xffffffc1000000fd,
   2011   0xffffff82800002f1, 0xffffff82800001f7,
   2012   0xffffff7280000351, 0xffffff7280000237,
   2013   0xffffff710000035a, 0xffffff710000023d,
   2014   0xffffffc180000177, 0xffffffc1800000fb,
   2015   0xffffffb1800001d7, 0xffffffb18000013b,
   2016   0xffffffb0000001e0, 0xffffffb000000141,
   2017   0xffffffaf000001e6, 0xffffffaf00000145,
   2018   0xfffffff000000060, 0xfffffff000000041,
   2019   0xffffffee80000069, 0xffffffee80000047,
   2020   0xffffffed8000006f, 0xffffffed8000004b,
   2021   0xffffffed00000072, 0xffffffed0000004d,
   2022   0xfffffffe80000006, 0xfffffffe80000004,
   2023   0xfffffffd8000000a, 0xfffffffd80000006,
   2024   0xfffffffd0000000c, 0xfffffffd00000007,
   2025   0xfffffffd0000000c, 0xfffffffd00000007,
   2026   0xffffffff00000004, 0xffffffff00000003,
   2027   0xfffffffe80000006, 0xfffffffe80000004,
   2028   0xfffffffe80000006, 0xfffffffe80000004,
   2029   0xffffffff00000004, 0xffffffff00000003,
   2030   0xffffffff80000002, 0xffffffff80000002,
   2031   0xffffffff80000002, 0xffffffff80000002,
   2032   0x0000000000000000, 0x0000000000000001,
   2033   0x00000000fffffffc, 0x00000000ffffffff,
   2034   0x0000000000000000, 0x0000000000000001,
   2035   0x000000007ffffffe, 0x0000000080000000,
   2036   0x000000017ffffffa, 0x000000017ffffffe,
   2037   0x000000117fffffba, 0x000000117fffffde,
   2038   0x000000007ffffffe, 0x0000000080000000,
   2039   0x000000017ffffffa, 0x000000017ffffffe,
   2040   0x000000117fffffba, 0x000000117fffffde,
   2041   0x0000004ffffffec0, 0x0000004fffffff61,
   2042   0x00000000fffffffc, 0x00000000ffffffff,
   2043   0x00000010ffffffbc, 0x00000010ffffffdf,
   2044   0x0000004f7ffffec2, 0x0000004f7fffff62,
   2045   0x0000008e7ffffdc6, 0x0000008e7ffffee4,
   2046   0x0000000fffffffc0, 0x0000000fffffffe1,
   2047   0x0000004e7ffffec6, 0x0000004e7fffff64,
   2048   0x0000008d7ffffdca, 0x0000008d7ffffee6,
   2049   0x000000ccfffffccc, 0x000000ccfffffe67,
   2050   0x0000003e7fffff06, 0x0000003e7fffff84,
   2051   0x0000007d7ffffe0a, 0x0000007d7fffff06,
   2052   0x000000bcfffffd0c, 0x000000bcfffffe87,
   2053   0x000040bb7ffefd12, 0x000040bb7fff7e8a,
   2054   0x0000003effffff04, 0x0000003effffff83,
   2055   0x0000007e7ffffe06, 0x0000007e7fffff04,
   2056   0x0000407cfffefe0c, 0x0000407cffff7f07,
   2057   0x0000807bfffdfe10, 0x0000807bfffeff09,
   2058   0x0000003f7fffff02, 0x0000003f7fffff82,
   2059   0x0000403dfffeff08, 0x0000403dffff7f85,
   2060   0x0000803cfffdff0c, 0x0000803cfffeff87,
   2061   0x0000c03c7ffcff0e, 0x0000c03c7ffe7f88,
   2062   0x00003ffe7fff0006, 0x00003ffe7fff8004,
   2063   0x00007ffd7ffe000a, 0x00007ffd7fff0006,
   2064   0x0000bffcfffd000c, 0x0000bffcfffe8007,
   2065   0x199a5996199699a6, 0x199a59964ccb4cd4,
   2066   0x00003ffeffff0004, 0x00003ffeffff8003,
   2067   0x00007ffe7ffe0006, 0x00007ffe7fff0004,
   2068   0x199a1997999799a0, 0x199a1997cccbccd1,
   2069   0x4444c4416eeceef6, 0x4444c441f776777c,
   2070   0x00003fff7fff0002, 0x00003fff7fff8002,
   2071   0x1999d9989998999c, 0x1999d998cccc4ccf,
   2072   0x444484426eedeef2, 0x44448442f776f77a,
   2073   0x8444843feeedeef8, 0x84448440f776f77d,
   2074   0x199999991999999a, 0x199999994cccccce,
   2075   0x44444442eeeeeef0, 0x4444444377777779,
   2076   0x844444406eeeeef6, 0x844444417777777c,
   2077   0xc444443e6eeeeefa, 0xc444443ff777777e,
   2078   0x2aaaaaa9d5555556, 0x2aaaaaaa2aaaaaac,
   2079   0x6aaaaaa75555555c, 0x6aaaaaa82aaaaaaf,
   2080   0xaaaaaaa555555560, 0xaaaaaaa6aaaaaab1,
   2081   0xeaaaaaa3d5555562, 0xeaaaaaa5aaaaaab2,
   2082   0x3ffffffd80000006, 0x3ffffffe00000004,
   2083   0x7ffffffb8000000a, 0x7ffffffc80000006,
   2084   0xbffffffa0000000c, 0xbffffffb80000007,
   2085   0x7ffffffb0000000c, 0x7ffffffc00000007,
   2086   0x3ffffffe00000004, 0x3ffffffe80000003,
   2087   0x7ffffffc80000006, 0x7ffffffd80000004,
   2088   0x3ffffffd80000006, 0x3ffffffe00000004,
   2089   0xffffffff00000004, 0xffffffff00000003,
   2090   0x3ffffffe80000002, 0x3fffffff00000002,
   2091   0xffffffff80000002, 0xffffffff80000002,
   2092   0xc000000100000000, 0xc000000080000001,
   2093   0x95555556aaaaaaac, 0x95555555d5555557,
   2094   0xc000000100000000, 0xc000000080000001,
   2095   0x800000027ffffffe, 0x8000000180000000,
   2096   0x555555582aaaaaaa, 0x55555556d5555556,
   2097   0x3bbbbbbe91111112, 0x3bbbbbbd0888888a,
   2098   0xc00000017ffffffe, 0xc000000100000000,
   2099   0x955555572aaaaaaa, 0x9555555655555556,
   2100   0x7bbbbbbd91111112, 0x7bbbbbbc8888888a,
   2101   0x7bbb7bbd91121112, 0x7bbb7bbc8889088a,
   2102   0xd5555555aaaaaaac, 0xd555555555555557,
   2103   0xbbbbbbbc11111114, 0xbbbbbbbb8888888b,
   2104   0xbbbb7bbc11121114, 0xbbbb7bbb8889088b,
   2105   0xbbbb3bbc91131112, 0xbbbb3bbc0889888a,
   2106   0xe666666666666668, 0xe666666633333335,
   2107   0xe666266666676668, 0xe66626663333b335,
   2108   0xe665e666e6686666, 0xe665e666b3343334,
   2109   0xe665a667e6696662, 0xe665a667b334b332,
   2110   0xffffc00000010000, 0xffffc00000008001,
   2111   0xffff80008001fffe, 0xffff800080010000,
   2112   0xffff40018002fffa, 0xffff400180017ffe,
   2113   0xffff00030003fff4, 0xffff00030001fffb,
   2114   0xffffc0008000fffe, 0xffffc00080008000,
   2115   0xffff80018001fffa, 0xffff80018000fffe,
   2116   0xffff40030002fff4, 0xffff400300017ffb,
   2117   0xffff3fc3000300f4, 0xffff3fc30001807b,
   2118   0xffffc0010000fffc, 0xffffc00100007fff,
   2119   0xffff80028001fff6, 0xffff80028000fffc,
   2120   0xffff7fc2800200f6, 0xffff7fc28001007c,
   2121   0xffff7f83000201f4, 0xffff7f83000100fb,
   2122   0xffffc0018000fffa, 0xffffc00180007ffe,
   2123   0xffffbfc1800100fa, 0xffffbfc18000807e,
   2124   0xffffbf82000101f8, 0xffffbf82000080fd,
   2125   0xffffbf43000102f4, 0xffffbf430000817b,
   2126   0xffffffc000000100, 0xffffffc000000081,
   2127   0xffffff80800001fe, 0xffffff8080000100,
   2128   0xffffff41800002fa, 0xffffff418000017e,
   2129   0xffffff03000003f4, 0xffffff03000001fb,
   2130   0xffffffc0800000fe, 0xffffffc080000080,
   2131   0xffffff81800001fa, 0xffffff81800000fe,
   2132   0xffffff43000002f4, 0xffffff430000017b,
   2133   0xffffff3300000334, 0xffffff330000019b,
   2134   0xffffffc1000000fc, 0xffffffc10000007f,
   2135   0xffffff82800001f6, 0xffffff82800000fc,
   2136   0xffffff7280000236, 0xffffff728000011c,
   2137   0xffffff710000023c, 0xffffff710000011f,
   2138   0xffffffc1800000fa, 0xffffffc18000007e,
   2139   0xffffffb18000013a, 0xffffffb18000009e,
   2140   0xffffffb000000140, 0xffffffb0000000a1,
   2141   0xffffffaf00000144, 0xffffffaf000000a3,
   2142   0xfffffff000000040, 0xfffffff000000021,
   2143   0xffffffee80000046, 0xffffffee80000024,
   2144   0xffffffed8000004a, 0xffffffed80000026,
   2145   0xffffffed0000004c, 0xffffffed00000027,
   2146   0xfffffffe80000003, 0x0000000180000001,
   2147   0xfffffffd80000005, 0x0000000280000001,
   2148   0xfffffffd00000006, 0x0000000300000001,
   2149   0xfffffffd00000006, 0x0000000300000001,
   2150   0xffffffff00000002, 0x0000000100000001,
   2151   0xfffffffe80000003, 0x0000000180000001,
   2152   0xfffffffe80000003, 0x0000000180000001,
   2153   0xffffffff00000002, 0x0000000100000001,
   2154   0xffffffff80000001, 0x0000000080000001,
   2155   0xffffffff80000001, 0x0000000080000001,
   2156   0x0000000000000000, 0x0000000000000001,
   2157   0x00000000fffffffe, 0xffffffff00000001,
   2158   0x0000000000000000, 0x0000000000000001,
   2159   0x000000007fffffff, 0xffffffff80000001,
   2160   0x000000017ffffffd, 0xfffffffe80000001,
   2161   0x000000117fffffdd, 0xffffffee80000001,
   2162   0x000000007fffffff, 0xffffffff80000001,
   2163   0x000000017ffffffd, 0xfffffffe80000001,
   2164   0x000000117fffffdd, 0xffffffee80000001,
   2165   0x0000004fffffff60, 0xffffffb000000001,
   2166   0x00000000fffffffe, 0xffffffff00000001,
   2167   0x00000010ffffffde, 0xffffffef00000001,
   2168   0x0000004f7fffff61, 0xffffffb080000001,
   2169   0x0000008e7ffffee3, 0xffffff7180000001,
   2170   0x0000000fffffffe0, 0xfffffff000000001,
   2171   0x0000004e7fffff63, 0xffffffb180000001,
   2172   0x0000008d7ffffee5, 0xffffff7280000001,
   2173   0x000000ccfffffe66, 0xffffff3300000001,
   2174   0x0000003e7fffff83, 0xffffffc180000001,
   2175   0x0000007d7fffff05, 0xffffff8280000001,
   2176   0x000000bcfffffe86, 0xffffff4300000001,
   2177   0x000040bb7fff7e89, 0xffffbf4480000001,
   2178   0x0000003effffff82, 0xffffffc100000001,
   2179   0x0000007e7fffff03, 0xffffff8180000001,
   2180   0x0000407cffff7f06, 0xffffbf8300000001,
   2181   0x0000807bfffeff08, 0xffff7f8400000001,
   2182   0x0000003f7fffff81, 0xffffffc080000001,
   2183   0x0000403dffff7f84, 0xffffbfc200000001,
   2184   0x0000803cfffeff86, 0xffff7fc300000001,
   2185   0x0000c03c7ffe7f87, 0xffff3fc380000001,
   2186   0x00003ffe7fff8003, 0xffffc00180000001,
   2187   0x00007ffd7fff0005, 0xffff800280000001,
   2188   0x0000bffcfffe8006, 0xffff400300000001,
   2189   0x199a59964ccb4cd3, 0xe665a66980000001,
   2190   0x00003ffeffff8002, 0xffffc00100000001,
   2191   0x00007ffe7fff0003, 0xffff800180000001,
   2192   0x199a1997cccbccd0, 0xe665e66800000001,
   2193   0x4444c441f776777b, 0xbbbb3bbd80000001,
   2194   0x00003fff7fff8001, 0xffffc00080000001,
   2195   0x1999d998cccc4cce, 0xe666266700000001,
   2196   0x44448442f776f779, 0xbbbb7bbc80000001,
   2197   0x84448440f776f77c, 0x7bbb7bbe00000001,
   2198   0x199999994ccccccd, 0xe666666680000001,
   2199   0x4444444377777778, 0xbbbbbbbc00000001,
   2200   0x844444417777777b, 0x7bbbbbbd80000001,
   2201   0xc444443ff777777d, 0x3bbbbbbe80000001,
   2202   0x2aaaaaaa2aaaaaab, 0xd555555580000001,
   2203   0x6aaaaaa82aaaaaae, 0x9555555700000001,
   2204   0xaaaaaaa6aaaaaab0, 0x5555555800000001,
   2205   0xeaaaaaa5aaaaaab1, 0x1555555880000001,
   2206   0x3ffffffe00000003, 0xc000000180000001,
   2207   0x7ffffffc80000005, 0x8000000280000001,
   2208   0xbffffffb80000006, 0x4000000300000001,
   2209   0x7ffffffc00000006, 0x8000000300000001,
   2210   0x3ffffffe80000002, 0xc000000100000001,
   2211   0x7ffffffd80000003, 0x8000000180000001,
   2212   0x3ffffffe00000003, 0xc000000180000001,
   2213   0xffffffff00000002, 0x0000000100000001,
   2214   0x3fffffff00000001, 0xc000000080000001,
   2215   0xffffffff80000001, 0x0000000080000001,
   2216   0xc000000080000000, 0x4000000000000001,
   2217   0x95555555d5555556, 0x6aaaaaab00000001,
   2218   0xc000000080000000, 0x4000000000000001,
   2219   0x800000017fffffff, 0x7fffffff80000001,
   2220   0x55555556d5555555, 0xaaaaaaaa80000001,
   2221   0x3bbbbbbd08888889, 0xc444444480000001,
   2222   0xc0000000ffffffff, 0x3fffffff80000001,
   2223   0x9555555655555555, 0x6aaaaaaa80000001,
   2224   0x7bbbbbbc88888889, 0x8444444480000001,
   2225   0x7bbb7bbc88890889, 0x8444844480000001,
   2226   0xd555555555555556, 0x2aaaaaab00000001,
   2227   0xbbbbbbbb8888888a, 0x4444444500000001,
   2228   0xbbbb7bbb8889088a, 0x4444844500000001,
   2229   0xbbbb3bbc08898889, 0x4444c44480000001,
   2230   0xe666666633333334, 0x1999999a00000001,
   2231   0xe66626663333b334, 0x1999d99a00000001,
   2232   0xe665e666b3343333, 0x199a199980000001,
   2233   0xe665a667b334b331, 0x199a599880000001,
   2234   0xffffc00000008000, 0x0000400000000001,
   2235   0xffff80008000ffff, 0x00007fff80000001,
   2236   0xffff400180017ffd, 0x0000bffe80000001,
   2237   0xffff00030001fffa, 0x0000fffd00000001,
   2238   0xffffc00080007fff, 0x00003fff80000001,
   2239   0xffff80018000fffd, 0x00007ffe80000001,
   2240   0xffff400300017ffa, 0x0000bffd00000001,
   2241   0xffff3fc30001807a, 0x0000c03d00000001,
   2242   0xffffc00100007ffe, 0x00003fff00000001,
   2243   0xffff80028000fffb, 0x00007ffd80000001,
   2244   0xffff7fc28001007b, 0x0000803d80000001,
   2245   0xffff7f83000100fa, 0x0000807d00000001,
   2246   0xffffc00180007ffd, 0x00003ffe80000001,
   2247   0xffffbfc18000807d, 0x0000403e80000001,
   2248   0xffffbf82000080fc, 0x0000407e00000001,
   2249   0xffffbf430000817a, 0x000040bd00000001,
   2250   0xffffffc000000080, 0x0000004000000001,
   2251   0xffffff80800000ff, 0x0000007f80000001,
   2252   0xffffff418000017d, 0x000000be80000001,
   2253   0xffffff03000001fa, 0x000000fd00000001,
   2254   0xffffffc08000007f, 0x0000003f80000001,
   2255   0xffffff81800000fd, 0x0000007e80000001,
   2256   0xffffff430000017a, 0x000000bd00000001,
   2257   0xffffff330000019a, 0x000000cd00000001,
   2258   0xffffffc10000007e, 0x0000003f00000001,
   2259   0xffffff82800000fb, 0x0000007d80000001,
   2260   0xffffff728000011b, 0x0000008d80000001,
   2261   0xffffff710000011e, 0x0000008f00000001,
   2262   0xffffffc18000007d, 0x0000003e80000001,
   2263   0xffffffb18000009d, 0x0000004e80000001,
   2264   0xffffffb0000000a0, 0x0000005000000001,
   2265   0xffffffaf000000a2, 0x0000005100000001,
   2266   0xfffffff000000020, 0x0000001000000001,
   2267   0xffffffee80000023, 0x0000001180000001,
   2268   0xffffffed80000025, 0x0000001280000001,
   2269   0xffffffed00000026, 0x0000001300000001,
   2270   0x0000000180000000, 0x000000017ffffffe,
   2271   0x0000000280000000, 0x000000027ffffffc,
   2272   0x0000000300000000, 0x00000002fffffffb,
   2273   0x0000000300000000, 0x00000002fffffffb,
   2274   0x0000000100000000, 0x00000000ffffffff,
   2275   0x0000000180000000, 0x000000017ffffffe,
   2276   0x0000000180000000, 0x000000017ffffffe,
   2277   0x0000000100000000, 0x00000000ffffffff,
   2278   0x0000000080000000, 0x0000000080000000,
   2279   0x0000000080000000, 0x0000000080000000,
   2280   0x0000000000000000, 0x0000000000000001,
   2281   0xffffffff00000000, 0xffffffff00000003,
   2282   0x0000000000000000, 0x0000000000000001,
   2283   0xffffffff80000000, 0xffffffff80000002,
   2284   0xfffffffe80000000, 0xfffffffe80000004,
   2285   0xffffffee80000000, 0xffffffee80000024,
   2286   0xffffffff80000000, 0xffffffff80000002,
   2287   0xfffffffe80000000, 0xfffffffe80000004,
   2288   0xffffffee80000000, 0xffffffee80000024,
   2289   0xffffffb000000000, 0xffffffb0000000a1,
   2290   0xffffffff00000000, 0xffffffff00000003,
   2291   0xffffffef00000000, 0xffffffef00000023,
   2292   0xffffffb080000000, 0xffffffb0800000a0,
   2293   0xffffff7180000000, 0xffffff718000011e,
   2294   0xfffffff000000000, 0xfffffff000000021,
   2295   0xffffffb180000000, 0xffffffb18000009e,
   2296   0xffffff7280000000, 0xffffff728000011c,
   2297   0xffffff3300000000, 0xffffff330000019b,
   2298   0xffffffc180000000, 0xffffffc18000007e,
   2299   0xffffff8280000000, 0xffffff82800000fc,
   2300   0xffffff4300000000, 0xffffff430000017b,
   2301   0xffffbf4480000000, 0xffffbf4480008178,
   2302   0xffffffc100000000, 0xffffffc10000007f,
   2303   0xffffff8180000000, 0xffffff81800000fe,
   2304   0xffffbf8300000000, 0xffffbf83000080fb,
   2305   0xffff7f8400000000, 0xffff7f84000100f9,
   2306   0xffffffc080000000, 0xffffffc080000080,
   2307   0xffffbfc200000000, 0xffffbfc20000807d,
   2308   0xffff7fc300000000, 0xffff7fc30001007b,
   2309   0xffff3fc380000000, 0xffff3fc38001807a,
   2310   0xffffc00180000000, 0xffffc00180007ffe,
   2311   0xffff800280000000, 0xffff80028000fffc,
   2312   0xffff400300000000, 0xffff400300017ffb,
   2313   0xe665a66980000000, 0xe665a669b334b32e,
   2314   0xffffc00100000000, 0xffffc00100007fff,
   2315   0xffff800180000000, 0xffff80018000fffe,
   2316   0xe665e66800000000, 0xe665e66833343331,
   2317   0xbbbb3bbd80000000, 0xbbbb3bbe08898886,
   2318   0xffffc00080000000, 0xffffc00080008000,
   2319   0xe666266700000000, 0xe66626673333b333,
   2320   0xbbbb7bbc80000000, 0xbbbb7bbd08890888,
   2321   0x7bbb7bbe00000000, 0x7bbb7bbf08890885,
   2322   0xe666666680000000, 0xe6666666b3333334,
   2323   0xbbbbbbbc00000000, 0xbbbbbbbc88888889,
   2324   0x7bbbbbbd80000000, 0x7bbbbbbe88888886,
   2325   0x3bbbbbbe80000000, 0x3bbbbbc008888884,
   2326   0xd555555580000000, 0xd5555555d5555556,
   2327   0x9555555700000000, 0x95555557d5555553,
   2328   0x5555555800000000, 0x5555555955555551,
   2329   0x1555555880000000, 0x1555555a55555550,
   2330   0xc000000180000000, 0xc0000001fffffffe,
   2331   0x8000000280000000, 0x800000037ffffffc,
   2332   0x4000000300000000, 0x400000047ffffffb,
   2333   0x8000000300000000, 0x80000003fffffffb,
   2334   0xc000000100000000, 0xc00000017fffffff,
   2335   0x8000000180000000, 0x800000027ffffffe,
   2336   0xc000000180000000, 0xc0000001fffffffe,
   2337   0x0000000100000000, 0x00000000ffffffff,
   2338   0xc000000080000000, 0xc000000100000000,
   2339   0x0000000080000000, 0x0000000080000000,
   2340   0x4000000000000000, 0x3fffffff80000001,
   2341   0x6aaaaaab00000000, 0x6aaaaaaa2aaaaaab,
   2342   0x4000000000000000, 0x3fffffff80000001,
   2343   0x7fffffff80000000, 0x7ffffffe80000002,
   2344   0xaaaaaaaa80000000, 0xaaaaaaa92aaaaaac,
   2345   0xc444444480000000, 0xc4444442f7777778,
   2346   0x3fffffff80000000, 0x3fffffff00000002,
   2347   0x6aaaaaaa80000000, 0x6aaaaaa9aaaaaaac,
   2348   0x8444444480000000, 0x8444444377777778,
   2349   0x8444844480000000, 0x844484437776f778,
   2350   0x2aaaaaab00000000, 0x2aaaaaaaaaaaaaab,
   2351   0x4444444500000000, 0x4444444477777777,
   2352   0x4444844500000000, 0x444484447776f777,
   2353   0x4444c44480000000, 0x4444c443f7767778,
   2354   0x1999999a00000000, 0x19999999cccccccd,
   2355   0x1999d99a00000000, 0x1999d999cccc4ccd,
   2356   0x199a199980000000, 0x199a19994ccbccce,
   2357   0x199a599880000000, 0x199a59984ccb4cd0,
   2358   0x0000400000000000, 0x00003fffffff8001,
   2359   0x00007fff80000000, 0x00007fff7fff0002,
   2360   0x0000bffe80000000, 0x0000bffe7ffe8004,
   2361   0x0000fffd00000000, 0x0000fffcfffe0007,
   2362   0x00003fff80000000, 0x00003fff7fff8002,
   2363   0x00007ffe80000000, 0x00007ffe7fff0004,
   2364   0x0000bffd00000000, 0x0000bffcfffe8007,
   2365   0x0000c03d00000000, 0x0000c03cfffe7f87,
   2366   0x00003fff00000000, 0x00003ffeffff8003,
   2367   0x00007ffd80000000, 0x00007ffd7fff0006,
   2368   0x0000803d80000000, 0x0000803d7ffeff86,
   2369   0x0000807d00000000, 0x0000807cfffeff07,
   2370   0x00003ffe80000000, 0x00003ffe7fff8004,
   2371   0x0000403e80000000, 0x0000403e7fff7f84,
   2372   0x0000407e00000000, 0x0000407dffff7f05,
   2373   0x000040bd00000000, 0x000040bcffff7e87,
   2374   0x0000004000000000, 0x0000003fffffff81,
   2375   0x0000007f80000000, 0x0000007f7fffff02,
   2376   0x000000be80000000, 0x000000be7ffffe84,
   2377   0x000000fd00000000, 0x000000fcfffffe07,
   2378   0x0000003f80000000, 0x0000003f7fffff82,
   2379   0x0000007e80000000, 0x0000007e7fffff04,
   2380   0x000000bd00000000, 0x000000bcfffffe87,
   2381   0x000000cd00000000, 0x000000ccfffffe67,
   2382   0x0000003f00000000, 0x0000003effffff83,
   2383   0x0000007d80000000, 0x0000007d7fffff06,
   2384   0x0000008d80000000, 0x0000008d7ffffee6,
   2385   0x0000008f00000000, 0x0000008efffffee3,
   2386   0x0000003e80000000, 0x0000003e7fffff84,
   2387   0x0000004e80000000, 0x0000004e7fffff64,
   2388   0x0000005000000000, 0x0000004fffffff61,
   2389   0x0000005100000000, 0x00000050ffffff5f,
   2390   0x0000001000000000, 0x0000000fffffffe1,
   2391   0x0000001180000000, 0x000000117fffffde,
   2392   0x0000001280000000, 0x000000127fffffdc,
   2393   0x0000001300000000, 0x00000012ffffffdb,
   2394   0x000000017ffffffd, 0x0000000100000003,
   2395   0x000000027ffffffb, 0x00000001aaaaaaaf,
   2396   0x00000002fffffffa, 0x0000000200000005,
   2397   0x00000002fffffffa, 0x0000000200000005,
   2398   0x00000000fffffffe, 0x00000000aaaaaaad,
   2399   0x000000017ffffffd, 0x0000000100000003,
   2400   0x000000017ffffffd, 0x0000000100000003,
   2401   0x00000000fffffffe, 0x00000000aaaaaaad,
   2402   0x000000007fffffff, 0x0000000055555557,
   2403   0x000000007fffffff, 0x0000000055555557,
   2404   0x0000000000000000, 0x0000000000000001,
   2405   0xffffffff00000002, 0xffffffff55555555,
   2406   0x0000000000000000, 0x0000000000000001,
   2407   0xffffffff80000001, 0xffffffffaaaaaaab,
   2408   0xfffffffe80000003, 0xfffffffeffffffff,
   2409   0xffffffee80000023, 0xfffffff45555553f,
   2410   0xffffffff80000001, 0xffffffffaaaaaaab,
   2411   0xfffffffe80000003, 0xfffffffeffffffff,
   2412   0xffffffee80000023, 0xfffffff45555553f,
   2413   0xffffffb0000000a0, 0xffffffcaaaaaaa41,
   2414   0xffffffff00000002, 0xffffffff55555555,
   2415   0xffffffef00000022, 0xfffffff4aaaaaa95,
   2416   0xffffffb08000009f, 0xffffffcaffffff97,
   2417   0xffffff718000011d, 0xffffffa0ffffff43,
   2418   0xfffffff000000020, 0xfffffff555555541,
   2419   0xffffffb18000009d, 0xffffffcbaaaaaa43,
   2420   0xffffff728000011b, 0xffffffa1aaaaa9ef,
   2421   0xffffff330000019a, 0xffffff7755555445,
   2422   0xffffffc18000007d, 0xffffffd655555503,
   2423   0xffffff82800000fb, 0xffffffac555554af,
   2424   0xffffff430000017a, 0xffffff81ffffff05,
   2425   0xffffbf4480008177, 0xffffd4d85554ff07,
   2426   0xffffffc10000007e, 0xffffffd5ffffffad,
   2427   0xffffff81800000fd, 0xffffffabaaaaaa03,
   2428   0xffffbf83000080fa, 0xffffd501ffffaa05,
   2429   0xffff7f84000100f8, 0xffffaa57ffff54b1,
   2430   0xffffffc08000007f, 0xffffffd5aaaaaa57,
   2431   0xffffbfc20000807c, 0xffffd52bffffaa59,
   2432   0xffff7fc30001007a, 0xffffaa81ffff5505,
   2433   0xffff3fc380018079, 0xffff7fd7aaa9aa5b,
   2434   0xffffc00180007ffd, 0xffffd55655550003,
   2435   0xffff80028000fffb, 0xffffaaac5554aaaf,
   2436   0xffff400300017ffa, 0xffff8001ffff0005,
   2437   0xe665a669b334b32d, 0xeeee6ef0dddcdde3,
   2438   0xffffc00100007ffe, 0xffffd555ffffaaad,
   2439   0xffff80018000fffd, 0xffffaaabaaaa0003,
   2440   0xe665e66833343330, 0xeeee999a8887dde1,
   2441   0xbbbb3bbe08898885, 0xd27cd27dfa4efa53,
   2442   0xffffc00080007fff, 0xffffd555aaaa5557,
   2443   0xe66626673333b332, 0xeeeec44488883335,
   2444   0xbbbb7bbd08890887, 0xd27cfd27fa4f4fa7,
   2445   0x7bbb7bbf08890884, 0xa7d2527dfa4f4fa9,
   2446   0xe6666666b3333333, 0xeeeeeeeedddddddf,
   2447   0xbbbbbbbc88888888, 0xd27d27d24fa4fa51,
   2448   0x7bbbbbbe88888885, 0xa7d27d284fa4fa53,
   2449   0x3bbbbbc008888883, 0x7d27d27dfa4fa4ff,
   2450   0xd5555555d5555555, 0xe38e38e371c71c73,
   2451   0x95555557d5555552, 0xb8e38e3971c71c75,
   2452   0x5555555955555550, 0x8e38e38f1c71c721,
   2453   0x1555555a5555554f, 0x638e38e471c71c77,
   2454   0xc0000001fffffffd, 0xd555555600000003,
   2455   0x800000037ffffffb, 0xaaaaaaabaaaaaaaf,
   2456   0x400000047ffffffa, 0x8000000100000005,
   2457   0x80000003fffffffa, 0xaaaaaaac00000005,
   2458   0xc00000017ffffffe, 0xd5555555aaaaaaad,
   2459   0x800000027ffffffd, 0xaaaaaaab00000003,
   2460   0xc0000001fffffffd, 0xd555555600000003,
   2461   0x00000000fffffffe, 0x00000000aaaaaaad,
   2462   0xc0000000ffffffff, 0xd555555555555557,
   2463   0x000000007fffffff, 0x0000000055555557,
   2464   0x3fffffff80000000, 0x2aaaaaab00000001,
   2465   0x6aaaaaaa2aaaaaaa, 0x471c71c7e38e38e5,
   2466   0x3fffffff80000000, 0x2aaaaaab00000001,
   2467   0x7ffffffe80000001, 0x55555555aaaaaaab,
   2468   0xaaaaaaa92aaaaaab, 0x71c71c728e38e38f,
   2469   0xc4444442f7777777, 0x82d82d8405b05b07,
   2470   0x3fffffff00000001, 0x2aaaaaaaaaaaaaab,
   2471   0x6aaaaaa9aaaaaaab, 0x471c71c78e38e38f,
   2472   0x8444444377777777, 0x582d82d905b05b07,
   2473   0x844484437776f777, 0x582dad83b05b5b07,
   2474   0x2aaaaaaaaaaaaaaa, 0x1c71c71ce38e38e5,
   2475   0x4444444477777776, 0x2d82d82e5b05b05d,
   2476   0x444484447776f776, 0x2d8302d905b0b05d,
   2477   0x4444c443f7767777, 0x2d832d835b065b07,
   2478   0x19999999cccccccc, 0x1111111177777779,
   2479   0x1999d999cccc4ccc, 0x11113bbc22227779,
   2480   0x199a19994ccbcccd, 0x1111666677782223,
   2481   0x199a59984ccb4ccf, 0x1111911077787777,
   2482   0x00003fffffff8000, 0x00002aaaaaab0001,
   2483   0x00007fff7fff0001, 0x000055550000aaab,
   2484   0x0000bffe7ffe8003, 0x00007fff0000ffff,
   2485   0x0000fffcfffe0006, 0x0000aaa8aaabfffd,
   2486   0x00003fff7fff8001, 0x00002aaa5555aaab,
   2487   0x00007ffe7fff0003, 0x000055545555ffff,
   2488   0x0000bffcfffe8006, 0x00007ffe0000fffd,
   2489   0x0000c03cfffe7f86, 0x00008028aaabaafd,
   2490   0x00003ffeffff8002, 0x00002aaa00005555,
   2491   0x00007ffd7fff0005, 0x00005553aaab5553,
   2492   0x0000803d7ffeff85, 0x0000557e55560053,
   2493   0x0000807cfffeff06, 0x000055a8aaab55fd,
   2494   0x00003ffe7fff8003, 0x00002aa9aaaaffff,
   2495   0x0000403e7fff7f83, 0x00002ad45555aaff,
   2496   0x0000407dffff7f04, 0x00002afeaaab00a9,
   2497   0x000040bcffff7e86, 0x00002b28aaab00fd,
   2498   0x0000003fffffff80, 0x0000002aaaaaab01,
   2499   0x0000007f7fffff01, 0x00000055000000ab,
   2500   0x000000be7ffffe83, 0x0000007f000000ff,
   2501   0x000000fcfffffe06, 0x000000a8aaaaabfd,
   2502   0x0000003f7fffff81, 0x0000002a555555ab,
   2503   0x0000007e7fffff03, 0x00000054555555ff,
   2504   0x000000bcfffffe86, 0x0000007e000000fd,
   2505   0x000000ccfffffe66, 0x00000088aaaaabbd,
   2506   0x0000003effffff82, 0x0000002a00000055,
   2507   0x0000007d7fffff05, 0x00000053aaaaab53,
   2508   0x0000008d7ffffee5, 0x0000005e55555613,
   2509   0x0000008efffffee2, 0x0000005f55555615,
   2510   0x0000003e7fffff83, 0x00000029aaaaaaff,
   2511   0x0000004e7fffff63, 0x00000034555555bf,
   2512   0x0000004fffffff60, 0x00000035555555c1,
   2513   0x00000050ffffff5e, 0x000000360000006d,
   2514   0x0000000fffffffe0, 0x0000000aaaaaaac1,
   2515   0x000000117fffffdd, 0x0000000baaaaaac3,
   2516   0x000000127fffffdb, 0x0000000c5555556f,
   2517   0x00000012ffffffda, 0x0000000caaaaaac5,
   2518   0x0000000100000002, 0x000000009999999d,
   2519   0x00000001aaaaaaae, 0x0000000100000005,
   2520   0x0000000200000004, 0x0000000133333339,
   2521   0x0000000200000004, 0x0000000133333339,
   2522   0x00000000aaaaaaac, 0x0000000066666669,
   2523   0x0000000100000002, 0x000000009999999d,
   2524   0x0000000100000002, 0x000000009999999d,
   2525   0x00000000aaaaaaac, 0x0000000066666669,
   2526   0x0000000055555556, 0x0000000033333335,
   2527   0x0000000055555556, 0x0000000033333335,
   2528   0x0000000000000000, 0x0000000000000001,
   2529   0xffffffff55555554, 0xffffffff99999999,
   2530   0x0000000000000000, 0x0000000000000001,
   2531   0xffffffffaaaaaaaa, 0xffffffffcccccccd,
   2532   0xfffffffefffffffe, 0xffffffff66666665,
   2533   0xfffffff45555553e, 0xfffffff8ffffffe5,
   2534   0xffffffffaaaaaaaa, 0xffffffffcccccccd,
   2535   0xfffffffefffffffe, 0xffffffff66666665,
   2536   0xfffffff45555553e, 0xfffffff8ffffffe5,
   2537   0xffffffcaaaaaaa40, 0xffffffdfffffff81,
   2538   0xffffffff55555554, 0xffffffff99999999,
   2539   0xfffffff4aaaaaa94, 0xfffffff933333319,
   2540   0xffffffcaffffff96, 0xffffffe0333332b5,
   2541   0xffffffa0ffffff42, 0xffffffc6ffffff1d,
   2542   0xfffffff555555540, 0xfffffff999999981,
   2543   0xffffffcbaaaaaa42, 0xffffffe09999991d,
   2544   0xffffffa1aaaaa9ee, 0xffffffc766666585,
   2545   0xffffff7755555444, 0xffffffadfffffeb9,
   2546   0xffffffd655555502, 0xffffffe6ffffff9d,
   2547   0xffffffac555554ae, 0xffffffcdcccccc05,
   2548   0xffffff81ffffff04, 0xffffffb466666539,
   2549   0xffffd4d85554ff06, 0xffffe61b6665fed5,
   2550   0xffffffd5ffffffac, 0xffffffe6cccccc69,
   2551   0xffffffabaaaaaa02, 0xffffffcd6666659d,
   2552   0xffffd501ffffaa04, 0xffffe6346665ff39,
   2553   0xffffaa57ffff54b0, 0xffffcc9b333265a1,
   2554   0xffffffd5aaaaaa56, 0xffffffe699999935,
   2555   0xffffd52bffffaa58, 0xffffe64d999932d1,
   2556   0xffffaa81ffff5504, 0xffffccb466659939,
   2557   0xffff7fd7aaa9aa5a, 0xffffb31afffecc6d,
   2558   0xffffd55655550002, 0xffffe666ffff999d,
   2559   0xffffaaac5554aaae, 0xffffcccdcccc0005,
   2560   0xffff8001ffff0004, 0xffffb33466653339,
   2561   0xeeee6ef0dddcdde2, 0xf5c2429070a2a3dd,
   2562   0xffffd555ffffaaac, 0xffffe666cccc6669,
   2563   0xffffaaabaaaa0002, 0xffffcccd6665999d,
   2564   0xeeee999a8887dde0, 0xf5c25c2970a30a41,
   2565   0xd27cd27dfa4efa52, 0xe4b14b182c5ec5fd,
   2566   0xffffd555aaaa5556, 0xffffe66699993335,
   2567   0xeeeec44488883334, 0xf5c275c2a3d6a3d9,
   2568   0xd27cfd27fa4f4fa6, 0xe4b164b15f925f95,
   2569   0xa7d2527dfa4f4fa8, 0xcb17cb17f92bf931,
   2570   0xeeeeeeeeddddddde, 0xf5c28f5c0a3d70a5,
   2571   0xd27d27d24fa4fa50, 0xe4b17e4ac5f92c61,
   2572   0xa7d27d284fa4fa52, 0xcb17e4b15f92c5fd,
   2573   0x7d27d27dfa4fa4fe, 0xb17e4b17c5f92c65,
   2574   0xe38e38e371c71c72, 0xeeeeeeeebbbbbbbd,
   2575   0xb8e38e3971c71c74, 0xd555555555555559,
   2576   0x8e38e38f1c71c720, 0xbbbbbbbbbbbbbbc1,
   2577   0x638e38e471c71c76, 0xa2222221eeeeeef5,
   2578   0xd555555600000002, 0xe66666669999999d,
   2579   0xaaaaaaabaaaaaaae, 0xcccccccd00000005,
   2580   0x8000000100000004, 0xb333333333333339,
   2581   0xaaaaaaac00000004, 0xcccccccd33333339,
   2582   0xd5555555aaaaaaac, 0xe666666666666669,
   2583   0xaaaaaaab00000002, 0xcccccccc9999999d,
   2584   0xd555555600000002, 0xe66666669999999d,
   2585   0x00000000aaaaaaac, 0x0000000066666669,
   2586   0xd555555555555556, 0xe666666633333335,
   2587   0x0000000055555556, 0x0000000033333335,
   2588   0x2aaaaaab00000000, 0x1999999a00000001,
   2589   0x471c71c7e38e38e4, 0x2aaaaaab77777779,
   2590   0x2aaaaaab00000000, 0x1999999a00000001,
   2591   0x55555555aaaaaaaa, 0x33333333cccccccd,
   2592   0x71c71c728e38e38e, 0x4444444544444445,
   2593   0x82d82d8405b05b06, 0x4e81b4e96d3a06d5,
   2594   0x2aaaaaaaaaaaaaaa, 0x19999999cccccccd,
   2595   0x471c71c78e38e38e, 0x2aaaaaab44444445,
   2596   0x582d82d905b05b06, 0x34e81b4f6d3a06d5,
   2597   0x582dad83b05b5b06, 0x34e834e906d406d5,
   2598   0x1c71c71ce38e38e4, 0x1111111177777779,
   2599   0x2d82d82e5b05b05c, 0x1b4e81b5a06d3a09,
   2600   0x2d8302d905b0b05c, 0x1b4e9b4f3a073a09,
   2601   0x2d832d835b065b06, 0x1b4eb4e8a06e06d5,
   2602   0x1111111177777778, 0x0a3d70a428f5c291,
   2603   0x11113bbc22227778, 0x0a3d8a3dc28fc291,
   2604   0x1111666677782222, 0x0a3da3d728f68f5d,
   2605   0x1111911077787776, 0x0a3dbd705c2a28f5,
   2606   0x00002aaaaaab0000, 0x00001999999a0001,
   2607   0x000055550000aaaa, 0x000033330000cccd,
   2608   0x00007fff0000fffe, 0x00004ccc33346665,
   2609   0x0000aaa8aaabfffc, 0x000066653334ccc9,
   2610   0x00002aaa5555aaaa, 0x000019996666cccd,
   2611   0x000055545555fffe, 0x00003332999a6665,
   2612   0x00007ffe0000fffc, 0x00004ccb999accc9,
   2613   0x00008028aaabaafc, 0x00004ce5333466c9,
   2614   0x00002aaa00005554, 0x0000199933339999,
   2615   0x00005553aaab5552, 0x000033323333fffd,
   2616   0x0000557e55560052, 0x0000334bcccd99fd,
   2617   0x000055a8aaab55fc, 0x00003365333400c9,
   2618   0x00002aa9aaaafffe, 0x0000199900006665,
   2619   0x00002ad45555aafe, 0x000019b2999a0065,
   2620   0x00002afeaaab00a8, 0x000019cc00006731,
   2621   0x00002b28aaab00fc, 0x000019e533339ac9,
   2622   0x0000002aaaaaab00, 0x0000001999999a01,
   2623   0x00000055000000aa, 0x00000033000000cd,
   2624   0x0000007f000000fe, 0x0000004c33333465,
   2625   0x000000a8aaaaabfc, 0x00000065333334c9,
   2626   0x0000002a555555aa, 0x00000019666666cd,
   2627   0x00000054555555fe, 0x0000003299999a65,
   2628   0x0000007e000000fc, 0x0000004b99999ac9,
   2629   0x00000088aaaaabbc, 0x0000005200000149,
   2630   0x0000002a00000054, 0x0000001933333399,
   2631   0x00000053aaaaab52, 0x00000032333333fd,
   2632   0x0000005e55555612, 0x0000003899999a7d,
   2633   0x0000005f55555614, 0x0000003933333419,
   2634   0x00000029aaaaaafe, 0x0000001900000065,
   2635   0x00000034555555be, 0x0000001f666666e5,
   2636   0x00000035555555c0, 0x0000002000000081,
   2637   0x000000360000006c, 0x00000020666666e9,
   2638   0x0000000aaaaaaac0, 0x0000000666666681,
   2639   0x0000000baaaaaac2, 0x000000070000001d,
   2640   0x0000000c5555556e, 0x0000000766666685,
   2641   0x0000000caaaaaac4, 0x00000007999999b9,
   2642   0x000000009999999c, 0x0000000000018001,
   2643   0x0000000100000004, 0x0000000000028001,
   2644   0x0000000133333338, 0x0000000000030001,
   2645   0x0000000133333338, 0x0000000000030001,
   2646   0x0000000066666668, 0x0000000000010001,
   2647   0x000000009999999c, 0x0000000000018001,
   2648   0x000000009999999c, 0x0000000000018001,
   2649   0x0000000066666668, 0x0000000000010001,
   2650   0x0000000033333334, 0x0000000000008001,
   2651   0x0000000033333334, 0x0000000000008001,
   2652   0x0000000000000000, 0x0000000000000001,
   2653   0xffffffff99999998, 0xffffffffffff0001,
   2654   0x0000000000000000, 0x0000000000000001,
   2655   0xffffffffcccccccc, 0xffffffffffff8001,
   2656   0xffffffff66666664, 0xfffffffffffe8001,
   2657   0xfffffff8ffffffe4, 0xffffffffffee8001,
   2658   0xffffffffcccccccc, 0xffffffffffff8001,
   2659   0xffffffff66666664, 0xfffffffffffe8001,
   2660   0xfffffff8ffffffe4, 0xffffffffffee8001,
   2661   0xffffffdfffffff80, 0xffffffffffb00001,
   2662   0xffffffff99999998, 0xffffffffffff0001,
   2663   0xfffffff933333318, 0xffffffffffef0001,
   2664   0xffffffe0333332b4, 0xffffffffffb08001,
   2665   0xffffffc6ffffff1c, 0xffffffffff718001,
   2666   0xfffffff999999980, 0xfffffffffff00001,
   2667   0xffffffe09999991c, 0xffffffffffb18001,
   2668   0xffffffc766666584, 0xffffffffff728001,
   2669   0xffffffadfffffeb8, 0xffffffffff330001,
   2670   0xffffffe6ffffff9c, 0xffffffffffc18001,
   2671   0xffffffcdcccccc04, 0xffffffffff828001,
   2672   0xffffffb466666538, 0xffffffffff430001,
   2673   0xffffe61b6665fed4, 0xffffffffbf448001,
   2674   0xffffffe6cccccc68, 0xffffffffffc10001,
   2675   0xffffffcd6666659c, 0xffffffffff818001,
   2676   0xffffe6346665ff38, 0xffffffffbf830001,
   2677   0xffffcc9b333265a0, 0xffffffff7f840001,
   2678   0xffffffe699999934, 0xffffffffffc08001,
   2679   0xffffe64d999932d0, 0xffffffffbfc20001,
   2680   0xffffccb466659938, 0xffffffff7fc30001,
   2681   0xffffb31afffecc6c, 0xffffffff3fc38001,
   2682   0xffffe666ffff999c, 0xffffffffc0018001,
   2683   0xffffcccdcccc0004, 0xffffffff80028001,
   2684   0xffffb33466653338, 0xffffffff40030001,
   2685   0xf5c2429070a2a3dc, 0xffffe665a6698001,
   2686   0xffffe666cccc6668, 0xffffffffc0010001,
   2687   0xffffcccd6665999c, 0xffffffff80018001,
   2688   0xf5c25c2970a30a40, 0xffffe665e6680001,
   2689   0xe4b14b182c5ec5fc, 0xffffbbbb3bbd8001,
   2690   0xffffe66699993334, 0xffffffffc0008001,
   2691   0xf5c275c2a3d6a3d8, 0xffffe66626670001,
   2692   0xe4b164b15f925f94, 0xffffbbbb7bbc8001,
   2693   0xcb17cb17f92bf930, 0xffff7bbb7bbe0001,
   2694   0xf5c28f5c0a3d70a4, 0xffffe66666668001,
   2695   0xe4b17e4ac5f92c60, 0xffffbbbbbbbc0001,
   2696   0xcb17e4b15f92c5fc, 0xffff7bbbbbbd8001,
   2697   0xb17e4b17c5f92c64, 0xffff3bbbbbbe8001,
   2698   0xeeeeeeeebbbbbbbc, 0xffffd55555558001,
   2699   0xd555555555555558, 0xffff955555570001,
   2700   0xbbbbbbbbbbbbbbc0, 0xffff555555580001,
   2701   0xa2222221eeeeeef4, 0xffff155555588001,
   2702   0xe66666669999999c, 0xffffc00000018001,
   2703   0xcccccccd00000004, 0xffff800000028001,
   2704   0xb333333333333338, 0xffff400000030001,
   2705   0xcccccccd33333338, 0xffff800000030001,
   2706   0xe666666666666668, 0xffffc00000010001,
   2707   0xcccccccc9999999c, 0xffff800000018001,
   2708   0xe66666669999999c, 0xffffc00000018001,
   2709   0x0000000066666668, 0x0000000000010001,
   2710   0xe666666633333334, 0xffffc00000008001,
   2711   0x0000000033333334, 0x0000000000008001,
   2712   0x1999999a00000000, 0x0000400000000001,
   2713   0x2aaaaaab77777778, 0x00006aaaaaab0001,
   2714   0x1999999a00000000, 0x0000400000000001,
   2715   0x33333333cccccccc, 0x00007fffffff8001,
   2716   0x4444444544444444, 0x0000aaaaaaaa8001,
   2717   0x4e81b4e96d3a06d4, 0x0000c44444448001,
   2718   0x19999999cccccccc, 0x00003fffffff8001,
   2719   0x2aaaaaab44444444, 0x00006aaaaaaa8001,
   2720   0x34e81b4f6d3a06d4, 0x0000844444448001,
   2721   0x34e834e906d406d4, 0x0000844484448001,
   2722   0x1111111177777778, 0x00002aaaaaab0001,
   2723   0x1b4e81b5a06d3a08, 0x0000444444450001,
   2724   0x1b4e9b4f3a073a08, 0x0000444484450001,
   2725   0x1b4eb4e8a06e06d4, 0x00004444c4448001,
   2726   0x0a3d70a428f5c290, 0x00001999999a0001,
   2727   0x0a3d8a3dc28fc290, 0x00001999d99a0001,
   2728   0x0a3da3d728f68f5c, 0x0000199a19998001,
   2729   0x0a3dbd705c2a28f4, 0x0000199a59988001,
   2730   0x00001999999a0000, 0x0000000040000001,
   2731   0x000033330000cccc, 0x000000007fff8001,
   2732   0x00004ccc33346664, 0x00000000bffe8001,
   2733   0x000066653334ccc8, 0x00000000fffd0001,
   2734   0x000019996666cccc, 0x000000003fff8001,
   2735   0x00003332999a6664, 0x000000007ffe8001,
   2736   0x00004ccb999accc8, 0x00000000bffd0001,
   2737   0x00004ce5333466c8, 0x00000000c03d0001,
   2738   0x0000199933339998, 0x000000003fff0001,
   2739   0x000033323333fffc, 0x000000007ffd8001,
   2740   0x0000334bcccd99fc, 0x00000000803d8001,
   2741   0x00003365333400c8, 0x00000000807d0001,
   2742   0x0000199900006664, 0x000000003ffe8001,
   2743   0x000019b2999a0064, 0x00000000403e8001,
   2744   0x000019cc00006730, 0x00000000407e0001,
   2745   0x000019e533339ac8, 0x0000000040bd0001,
   2746   0x0000001999999a00, 0x0000000000400001,
   2747   0x00000033000000cc, 0x00000000007f8001,
   2748   0x0000004c33333464, 0x0000000000be8001,
   2749   0x00000065333334c8, 0x0000000000fd0001,
   2750   0x00000019666666cc, 0x00000000003f8001,
   2751   0x0000003299999a64, 0x00000000007e8001,
   2752   0x0000004b99999ac8, 0x0000000000bd0001,
   2753   0x0000005200000148, 0x0000000000cd0001,
   2754   0x0000001933333398, 0x00000000003f0001,
   2755   0x00000032333333fc, 0x00000000007d8001,
   2756   0x0000003899999a7c, 0x00000000008d8001,
   2757   0x0000003933333418, 0x00000000008f0001,
   2758   0x0000001900000064, 0x00000000003e8001,
   2759   0x0000001f666666e4, 0x00000000004e8001,
   2760   0x0000002000000080, 0x0000000000500001,
   2761   0x00000020666666e8, 0x0000000000510001,
   2762   0x0000000666666680, 0x0000000000100001,
   2763   0x000000070000001c, 0x0000000000118001,
   2764   0x0000000766666684, 0x0000000000128001,
   2765   0x00000007999999b8, 0x0000000000130001,
   2766   0x0000000000018000, 0x0000000000017ffe,
   2767   0x0000000000028000, 0x0000000000027ffc,
   2768   0x0000000000030000, 0x000000000002fffb,
   2769   0x0000000000030000, 0x000000000002fffb,
   2770   0x0000000000010000, 0x000000000000ffff,
   2771   0x0000000000018000, 0x0000000000017ffe,
   2772   0x0000000000018000, 0x0000000000017ffe,
   2773   0x0000000000010000, 0x000000000000ffff,
   2774   0x0000000000008000, 0x0000000000008000,
   2775   0x0000000000008000, 0x0000000000008000,
   2776   0x0000000000000000, 0x0000000000000001,
   2777   0xffffffffffff0000, 0xffffffffffff0003,
   2778   0x0000000000000000, 0x0000000000000001,
   2779   0xffffffffffff8000, 0xffffffffffff8002,
   2780   0xfffffffffffe8000, 0xfffffffffffe8004,
   2781   0xffffffffffee8000, 0xffffffffffee8024,
   2782   0xffffffffffff8000, 0xffffffffffff8002,
   2783   0xfffffffffffe8000, 0xfffffffffffe8004,
   2784   0xffffffffffee8000, 0xffffffffffee8024,
   2785   0xffffffffffb00000, 0xffffffffffb000a1,
   2786   0xffffffffffff0000, 0xffffffffffff0003,
   2787   0xffffffffffef0000, 0xffffffffffef0023,
   2788   0xffffffffffb08000, 0xffffffffffb080a0,
   2789   0xffffffffff718000, 0xffffffffff71811e,
   2790   0xfffffffffff00000, 0xfffffffffff00021,
   2791   0xffffffffffb18000, 0xffffffffffb1809e,
   2792   0xffffffffff728000, 0xffffffffff72811c,
   2793   0xffffffffff330000, 0xffffffffff33019b,
   2794   0xffffffffffc18000, 0xffffffffffc1807e,
   2795   0xffffffffff828000, 0xffffffffff8280fc,
   2796   0xffffffffff430000, 0xffffffffff43017b,
   2797   0xffffffffbf448000, 0xffffffffbf450178,
   2798   0xffffffffffc10000, 0xffffffffffc1007f,
   2799   0xffffffffff818000, 0xffffffffff8180fe,
   2800   0xffffffffbf830000, 0xffffffffbf8380fb,
   2801   0xffffffff7f840000, 0xffffffff7f8500f9,
   2802   0xffffffffffc08000, 0xffffffffffc08080,
   2803   0xffffffffbfc20000, 0xffffffffbfc2807d,
   2804   0xffffffff7fc30000, 0xffffffff7fc4007b,
   2805   0xffffffff3fc38000, 0xffffffff3fc5007a,
   2806   0xffffffffc0018000, 0xffffffffc001fffe,
   2807   0xffffffff80028000, 0xffffffff80037ffc,
   2808   0xffffffff40030000, 0xffffffff40047ffb,
   2809   0xffffe665a6698000, 0xffffe665d99e332e,
   2810   0xffffffffc0010000, 0xffffffffc0017fff,
   2811   0xffffffff80018000, 0xffffffff80027ffe,
   2812   0xffffe665e6680000, 0xffffe666199c3331,
   2813   0xffffbbbb3bbd8000, 0xffffbbbbc4470886,
   2814   0xffffffffc0008000, 0xffffffffc0010000,
   2815   0xffffe66626670000, 0xffffe666599ab333,
   2816   0xffffbbbb7bbc8000, 0xffffbbbc04458888,
   2817   0xffff7bbb7bbe0000, 0xffff7bbc84470885,
   2818   0xffffe66666668000, 0xffffe6669999b334,
   2819   0xffffbbbbbbbc0000, 0xffffbbbc44448889,
   2820   0xffff7bbbbbbd8000, 0xffff7bbcc4460886,
   2821   0xffff3bbbbbbe8000, 0xffff3bbd44470884,
   2822   0xffffd55555558000, 0xffffd555aaaad556,
   2823   0xffff955555570000, 0xffff95562aac5553,
   2824   0xffff555555580000, 0xffff5556aaad5551,
   2825   0xffff155555588000, 0xffff15572aadd550,
   2826   0xffffc00000018000, 0xffffc00080017ffe,
   2827   0xffff800000028000, 0xffff800100027ffc,
   2828   0xffff400000030000, 0xffff40018002fffb,
   2829   0xffff800000030000, 0xffff80010002fffb,
   2830   0xffffc00000010000, 0xffffc0008000ffff,
   2831   0xffff800000018000, 0xffff800100017ffe,
   2832   0xffffc00000018000, 0xffffc00080017ffe,
   2833   0x0000000000010000, 0x000000000000ffff,
   2834   0xffffc00000008000, 0xffffc00080008000,
   2835   0x0000000000008000, 0x0000000000008000,
   2836   0x0000400000000000, 0x00003fff80000001,
   2837   0x00006aaaaaab0000, 0x00006aa9d555aaab,
   2838   0x0000400000000000, 0x00003fff80000001,
   2839   0x00007fffffff8000, 0x00007ffeffff8002,
   2840   0x0000aaaaaaaa8000, 0x0000aaa955552aac,
   2841   0x0000c44444448000, 0x0000c442bbbbf778,
   2842   0x00003fffffff8000, 0x00003fff7fff8002,
   2843   0x00006aaaaaaa8000, 0x00006aa9d5552aac,
   2844   0x0000844444448000, 0x000084433bbbf778,
   2845   0x0000844484448000, 0x000084437bbb7778,
   2846   0x00002aaaaaab0000, 0x00002aaa5555aaab,
   2847   0x0000444444450000, 0x00004443bbbc7777,
   2848   0x0000444484450000, 0x00004443fbbbf777,
   2849   0x00004444c4448000, 0x000044443bbaf778,
   2850   0x00001999999a0000, 0x000019996666cccd,
   2851   0x00001999d99a0000, 0x00001999a6664ccd,
   2852   0x0000199a19998000, 0x00001999e6654cce,
   2853   0x0000199a59988000, 0x0000199a2663ccd0,
   2854   0x0000000040000000, 0x000000003fff8001,
   2855   0x000000007fff8000, 0x000000007ffe8002,
   2856   0x00000000bffe8000, 0x00000000bffd0004,
   2857   0x00000000fffd0000, 0x00000000fffb0007,
   2858   0x000000003fff8000, 0x000000003fff0002,
   2859   0x000000007ffe8000, 0x000000007ffd8004,
   2860   0x00000000bffd0000, 0x00000000bffb8007,
   2861   0x00000000c03d0000, 0x00000000c03b7f87,
   2862   0x000000003fff0000, 0x000000003ffe8003,
   2863   0x000000007ffd8000, 0x000000007ffc8006,
   2864   0x00000000803d8000, 0x00000000803c7f86,
   2865   0x00000000807d0000, 0x00000000807bff07,
   2866   0x000000003ffe8000, 0x000000003ffe0004,
   2867   0x00000000403e8000, 0x00000000403dff84,
   2868   0x00000000407e0000, 0x00000000407d7f05,
   2869   0x0000000040bd0000, 0x0000000040bc7e87,
   2870   0x0000000000400000, 0x00000000003fff81,
   2871   0x00000000007f8000, 0x00000000007f7f02,
   2872   0x0000000000be8000, 0x0000000000be7e84,
   2873   0x0000000000fd0000, 0x0000000000fcfe07,
   2874   0x00000000003f8000, 0x00000000003f7f82,
   2875   0x00000000007e8000, 0x00000000007e7f04,
   2876   0x0000000000bd0000, 0x0000000000bcfe87,
   2877   0x0000000000cd0000, 0x0000000000ccfe67,
   2878   0x00000000003f0000, 0x00000000003eff83,
   2879   0x00000000007d8000, 0x00000000007d7f06,
   2880   0x00000000008d8000, 0x00000000008d7ee6,
   2881   0x00000000008f0000, 0x00000000008efee3,
   2882   0x00000000003e8000, 0x00000000003e7f84,
   2883   0x00000000004e8000, 0x00000000004e7f64,
   2884   0x0000000000500000, 0x00000000004fff61,
   2885   0x0000000000510000, 0x000000000050ff5f,
   2886   0x0000000000100000, 0x00000000000fffe1,
   2887   0x0000000000118000, 0x0000000000117fde,
   2888   0x0000000000128000, 0x0000000000127fdc,
   2889   0x0000000000130000, 0x000000000012ffdb,
   2890   0x0000000000017ffd, 0x0000000000017ffb,
   2891   0x0000000000027ffb, 0x0000000000027ff7,
   2892   0x000000000002fffa, 0x000000000002fff5,
   2893   0x000000000002fffa, 0x000000000002fff5,
   2894   0x000000000000fffe, 0x000000000000fffd,
   2895   0x0000000000017ffd, 0x0000000000017ffb,
   2896   0x0000000000017ffd, 0x0000000000017ffb,
   2897   0x000000000000fffe, 0x000000000000fffd,
   2898   0x0000000000007fff, 0x0000000000007fff,
   2899   0x0000000000007fff, 0x0000000000007fff,
   2900   0x0000000000000000, 0x0000000000000001,
   2901   0xffffffffffff0002, 0xffffffffffff0005,
   2902   0x0000000000000000, 0x0000000000000001,
   2903   0xffffffffffff8001, 0xffffffffffff8003,
   2904   0xfffffffffffe8003, 0xfffffffffffe8007,
   2905   0xffffffffffee8023, 0xffffffffffee8047,
   2906   0xffffffffffff8001, 0xffffffffffff8003,
   2907   0xfffffffffffe8003, 0xfffffffffffe8007,
   2908   0xffffffffffee8023, 0xffffffffffee8047,
   2909   0xffffffffffb000a0, 0xffffffffffb00141,
   2910   0xffffffffffff0002, 0xffffffffffff0005,
   2911   0xffffffffffef0022, 0xffffffffffef0045,
   2912   0xffffffffffb0809f, 0xffffffffffb0813f,
   2913   0xffffffffff71811d, 0xffffffffff71823b,
   2914   0xfffffffffff00020, 0xfffffffffff00041,
   2915   0xffffffffffb1809d, 0xffffffffffb1813b,
   2916   0xffffffffff72811b, 0xffffffffff728237,
   2917   0xffffffffff33019a, 0xffffffffff330335,
   2918   0xffffffffffc1807d, 0xffffffffffc180fb,
   2919   0xffffffffff8280fb, 0xffffffffff8281f7,
   2920   0xffffffffff43017a, 0xffffffffff4302f5,
   2921   0xffffffffbf450177, 0xffffffffbf4582ef,
   2922   0xffffffffffc1007e, 0xffffffffffc100fd,
   2923   0xffffffffff8180fd, 0xffffffffff8181fb,
   2924   0xffffffffbf8380fa, 0xffffffffbf8401f5,
   2925   0xffffffff7f8500f8, 0xffffffff7f8601f1,
   2926   0xffffffffffc0807f, 0xffffffffffc080ff,
   2927   0xffffffffbfc2807c, 0xffffffffbfc300f9,
   2928   0xffffffff7fc4007a, 0xffffffff7fc500f5,
   2929   0xffffffff3fc50079, 0xffffffff3fc680f3,
   2930   0xffffffffc001fffd, 0xffffffffc0027ffb,
   2931   0xffffffff80037ffb, 0xffffffff80047ff7,
   2932   0xffffffff40047ffa, 0xffffffff4005fff5,
   2933   0xffffe665d99e332d, 0xffffe6660cd2e65b,
   2934   0xffffffffc0017ffe, 0xffffffffc001fffd,
   2935   0xffffffff80027ffd, 0xffffffff80037ffb,
   2936   0xffffe666199c3330, 0xffffe6664cd06661,
   2937   0xffffbbbbc4470885, 0xffffbbbc4cd0910b,
   2938   0xffffffffc000ffff, 0xffffffffc0017fff,
   2939   0xffffe666599ab332, 0xffffe6668cce6665,
   2940   0xffffbbbc04458887, 0xffffbbbc8cce910f,
   2941   0xffff7bbc84470884, 0xffff7bbd8cd01109,
   2942   0xffffe6669999b333, 0xffffe666cccce667,
   2943   0xffffbbbc44448888, 0xffffbbbccccd1111,
   2944   0xffff7bbcc4460885, 0xffff7bbdccce910b,
   2945   0xffff3bbd44470883, 0xffff3bbecccf9107,
   2946   0xffffd555aaaad555, 0xffffd55600002aab,
   2947   0xffff95562aac5552, 0xffff95570001aaa5,
   2948   0xffff5556aaad5550, 0xffff55580002aaa1,
   2949   0xffff15572aadd54f, 0xffff155900032a9f,
   2950   0xffffc00080017ffd, 0xffffc00100017ffb,
   2951   0xffff800100027ffb, 0xffff800200027ff7,
   2952   0xffff40018002fffa, 0xffff40030002fff5,
   2953   0xffff80010002fffa, 0xffff80020002fff5,
   2954   0xffffc0008000fffe, 0xffffc0010000fffd,
   2955   0xffff800100017ffd, 0xffff800200017ffb,
   2956   0xffffc00080017ffd, 0xffffc00100017ffb,
   2957   0x000000000000fffe, 0x000000000000fffd,
   2958   0xffffc00080007fff, 0xffffc00100007fff,
   2959   0x0000000000007fff, 0x0000000000007fff,
   2960   0x00003fff80000000, 0x00003fff00000001,
   2961   0x00006aa9d555aaaa, 0x00006aa900005555,
   2962   0x00003fff80000000, 0x00003fff00000001,
   2963   0x00007ffeffff8001, 0x00007ffdffff8003,
   2964   0x0000aaa955552aab, 0x0000aaa7ffffd557,
   2965   0x0000c442bbbbf777, 0x0000c44133336eef,
   2966   0x00003fff7fff8001, 0x00003ffeffff8003,
   2967   0x00006aa9d5552aab, 0x00006aa8ffffd557,
   2968   0x000084433bbbf777, 0x0000844233336eef,
   2969   0x000084437bbb7777, 0x0000844273326eef,
   2970   0x00002aaa5555aaaa, 0x00002aaa00005555,
   2971   0x00004443bbbc7776, 0x000044433333eeed,
   2972   0x00004443fbbbf776, 0x000044437332eeed,
   2973   0x000044443bbaf777, 0x00004443b3316eef,
   2974   0x000019996666cccc, 0x0000199933339999,
   2975   0x00001999a6664ccc, 0x0000199973329999,
   2976   0x00001999e6654ccd, 0x00001999b331199b,
   2977   0x0000199a2663cccf, 0x00001999f32f199f,
   2978   0x000000003fff8000, 0x000000003fff0001,
   2979   0x000000007ffe8001, 0x000000007ffd8003,
   2980   0x00000000bffd0003, 0x00000000bffb8007,
   2981   0x00000000fffb0006, 0x00000000fff9000d,
   2982   0x000000003fff0001, 0x000000003ffe8003,
   2983   0x000000007ffd8003, 0x000000007ffc8007,
   2984   0x00000000bffb8006, 0x00000000bffa000d,
   2985   0x00000000c03b7f86, 0x00000000c039ff0d,
   2986   0x000000003ffe8002, 0x000000003ffe0005,
   2987   0x000000007ffc8005, 0x000000007ffb800b,
   2988   0x00000000803c7f85, 0x00000000803b7f0b,
   2989   0x00000000807bff06, 0x00000000807afe0d,
   2990   0x000000003ffe0003, 0x000000003ffd8007,
   2991   0x00000000403dff83, 0x00000000403d7f07,
   2992   0x00000000407d7f04, 0x00000000407cfe09,
   2993   0x0000000040bc7e86, 0x0000000040bbfd0d,
   2994   0x00000000003fff80, 0x00000000003fff01,
   2995   0x00000000007f7f01, 0x00000000007f7e03,
   2996   0x0000000000be7e83, 0x0000000000be7d07,
   2997   0x0000000000fcfe06, 0x0000000000fcfc0d,
   2998   0x00000000003f7f81, 0x00000000003f7f03,
   2999   0x00000000007e7f03, 0x00000000007e7e07,
   3000   0x0000000000bcfe86, 0x0000000000bcfd0d,
   3001   0x0000000000ccfe66, 0x0000000000ccfccd,
   3002   0x00000000003eff82, 0x00000000003eff05,
   3003   0x00000000007d7f05, 0x00000000007d7e0b,
   3004   0x00000000008d7ee5, 0x00000000008d7dcb,
   3005   0x00000000008efee2, 0x00000000008efdc5,
   3006   0x00000000003e7f83, 0x00000000003e7f07,
   3007   0x00000000004e7f63, 0x00000000004e7ec7,
   3008   0x00000000004fff60, 0x00000000004ffec1,
   3009   0x000000000050ff5e, 0x000000000050febd,
   3010   0x00000000000fffe0, 0x00000000000fffc1,
   3011   0x0000000000117fdd, 0x0000000000117fbb,
   3012   0x0000000000127fdb, 0x0000000000127fb7,
   3013   0x000000000012ffda, 0x000000000012ffb5,
   3014   0x0000000000017ffa, 0x0000000000017ff8,
   3015   0x0000000000027ff6, 0x0000000000027ff2,
   3016   0x000000000002fff4, 0x000000000002ffef,
   3017   0x000000000002fff4, 0x000000000002ffef,
   3018   0x000000000000fffc, 0x000000000000fffb,
   3019   0x0000000000017ffa, 0x0000000000017ff8,
   3020   0x0000000000017ffa, 0x0000000000017ff8,
   3021   0x000000000000fffc, 0x000000000000fffb,
   3022   0x0000000000007ffe, 0x0000000000007ffe,
   3023   0x0000000000007ffe, 0x0000000000007ffe,
   3024   0x0000000000000000, 0x0000000000000001,
   3025   0xffffffffffff0004, 0xffffffffffff0007,
   3026   0x0000000000000000, 0x0000000000000001,
   3027   0xffffffffffff8002, 0xffffffffffff8004,
   3028   0xfffffffffffe8006, 0xfffffffffffe800a,
   3029   0xffffffffffee8046, 0xffffffffffee806a,
   3030   0xffffffffffff8002, 0xffffffffffff8004,
   3031   0xfffffffffffe8006, 0xfffffffffffe800a,
   3032   0xffffffffffee8046, 0xffffffffffee806a,
   3033   0xffffffffffb00140, 0xffffffffffb001e1,
   3034   0xffffffffffff0004, 0xffffffffffff0007,
   3035   0xffffffffffef0044, 0xffffffffffef0067,
   3036   0xffffffffffb0813e, 0xffffffffffb081de,
   3037   0xffffffffff71823a, 0xffffffffff718358,
   3038   0xfffffffffff00040, 0xfffffffffff00061,
   3039   0xffffffffffb1813a, 0xffffffffffb181d8,
   3040   0xffffffffff728236, 0xffffffffff728352,
   3041   0xffffffffff330334, 0xffffffffff3304cf,
   3042   0xffffffffffc180fa, 0xffffffffffc18178,
   3043   0xffffffffff8281f6, 0xffffffffff8282f2,
   3044   0xffffffffff4302f4, 0xffffffffff43046f,
   3045   0xffffffffbf4582ee, 0xffffffffbf460466,
   3046   0xffffffffffc100fc, 0xffffffffffc1017b,
   3047   0xffffffffff8181fa, 0xffffffffff8182f8,
   3048   0xffffffffbf8401f4, 0xffffffffbf8482ef,
   3049   0xffffffff7f8601f0, 0xffffffff7f8702e9,
   3050   0xffffffffffc080fe, 0xffffffffffc0817e,
   3051   0xffffffffbfc300f8, 0xffffffffbfc38175,
   3052   0xffffffff7fc500f4, 0xffffffff7fc6016f,
   3053   0xffffffff3fc680f2, 0xffffffff3fc8016c,
   3054   0xffffffffc0027ffa, 0xffffffffc002fff8,
   3055   0xffffffff80047ff6, 0xffffffff80057ff2,
   3056   0xffffffff4005fff4, 0xffffffff40077fef,
   3057   0xffffe6660cd2e65a, 0xffffe66640079988,
   3058   0xffffffffc001fffc, 0xffffffffc0027ffb,
   3059   0xffffffff80037ffa, 0xffffffff80047ff8,
   3060   0xffffe6664cd06660, 0xffffe66680049991,
   3061   0xffffbbbc4cd0910a, 0xffffbbbcd55a1990,
   3062   0xffffffffc0017ffe, 0xffffffffc001fffe,
   3063   0xffffe6668cce6664, 0xffffe666c0021997,
   3064   0xffffbbbc8cce910e, 0xffffbbbd15579996,
   3065   0xffff7bbd8cd01108, 0xffff7bbe9559198d,
   3066   0xffffe666cccce666, 0xffffe6670000199a,
   3067   0xffffbbbccccd1110, 0xffffbbbd55559999,
   3068   0xffff7bbdccce910a, 0xffff7bbed5571990,
   3069   0xffff3bbecccf9106, 0xffff3bc05558198a,
   3070   0xffffd55600002aaa, 0xffffd55655558000,
   3071   0xffff95570001aaa4, 0xffff9557d556fff7,
   3072   0xffff55580002aaa0, 0xffff55595557fff1,
   3073   0xffff155900032a9e, 0xffff155ad5587fee,
   3074   0xffffc00100017ffa, 0xffffc00180017ff8,
   3075   0xffff800200027ff6, 0xffff800300027ff2,
   3076   0xffff40030002fff4, 0xffff40048002ffef,
   3077   0xffff80020002fff4, 0xffff80030002ffef,
   3078   0xffffc0010000fffc, 0xffffc0018000fffb,
   3079   0xffff800200017ffa, 0xffff800300017ff8,
   3080   0xffffc00100017ffa, 0xffffc00180017ff8,
   3081   0x000000000000fffc, 0x000000000000fffb,
   3082   0xffffc00100007ffe, 0xffffc00180007ffe,
   3083   0x0000000000007ffe, 0x0000000000007ffe,
   3084   0x00003fff00000000, 0x00003ffe80000001,
   3085   0x00006aa900005554, 0x00006aa82aaaffff,
   3086   0x00003fff00000000, 0x00003ffe80000001,
   3087   0x00007ffdffff8002, 0x00007ffcffff8004,
   3088   0x0000aaa7ffffd556, 0x0000aaa6aaaa8002,
   3089   0x0000c44133336eee, 0x0000c43faaaae666,
   3090   0x00003ffeffff8002, 0x00003ffe7fff8004,
   3091   0x00006aa8ffffd556, 0x00006aa82aaa8002,
   3092   0x0000844233336eee, 0x000084412aaae666,
   3093   0x0000844273326eee, 0x000084416aa96666,
   3094   0x00002aaa00005554, 0x00002aa9aaaaffff,
   3095   0x000044433333eeec, 0x00004442aaab6663,
   3096   0x000044437332eeec, 0x00004442eaa9e663,
   3097   0x00004443b3316eee, 0x000044432aa7e666,
   3098   0x0000199933339998, 0x0000199900006665,
   3099   0x0000199973329998, 0x000019993ffee665,
   3100   0x00001999b331199a, 0x000019997ffce668,
   3101   0x00001999f32f199e, 0x00001999bffa666e,
   3102   0x000000003fff0000, 0x000000003ffe8001,
   3103   0x000000007ffd8002, 0x000000007ffc8004,
   3104   0x00000000bffb8006, 0x00000000bffa000a,
   3105   0x00000000fff9000c, 0x00000000fff70013,
   3106   0x000000003ffe8002, 0x000000003ffe0004,
   3107   0x000000007ffc8006, 0x000000007ffb800a,
   3108   0x00000000bffa000c, 0x00000000bff88013,
   3109   0x00000000c039ff0c, 0x00000000c0387e93,
   3110   0x000000003ffe0004, 0x000000003ffd8007,
   3111   0x000000007ffb800a, 0x000000007ffa8010,
   3112   0x00000000803b7f0a, 0x00000000803a7e90,
   3113   0x00000000807afe0c, 0x000000008079fd13,
   3114   0x000000003ffd8006, 0x000000003ffd000a,
   3115   0x00000000403d7f06, 0x00000000403cfe8a,
   3116   0x00000000407cfe08, 0x00000000407c7d0d,
   3117   0x0000000040bbfd0c, 0x0000000040bb7b93,
   3118   0x00000000003fff00, 0x00000000003ffe81,
   3119   0x00000000007f7e02, 0x00000000007f7d04,
   3120   0x0000000000be7d06, 0x0000000000be7b8a,
   3121   0x0000000000fcfc0c, 0x0000000000fcfa13,
   3122   0x00000000003f7f02, 0x00000000003f7e84,
   3123   0x00000000007e7e06, 0x00000000007e7d0a,
   3124   0x0000000000bcfd0c, 0x0000000000bcfb93,
   3125   0x0000000000ccfccc, 0x0000000000ccfb33,
   3126   0x00000000003eff04, 0x00000000003efe87,
   3127   0x00000000007d7e0a, 0x00000000007d7d10,
   3128   0x00000000008d7dca, 0x00000000008d7cb0,
   3129   0x00000000008efdc4, 0x00000000008efca7,
   3130   0x00000000003e7f06, 0x00000000003e7e8a,
   3131   0x00000000004e7ec6, 0x00000000004e7e2a,
   3132   0x00000000004ffec0, 0x00000000004ffe21,
   3133   0x000000000050febc, 0x000000000050fe1b,
   3134   0x00000000000fffc0, 0x00000000000fffa1,
   3135   0x0000000000117fba, 0x0000000000117f98,
   3136   0x0000000000127fb6, 0x0000000000127f92,
   3137   0x000000000012ffb4, 0x000000000012ff8f,
   3138   0x0000000000017ff7, 0x0000000000000181,
   3139   0x0000000000027ff1, 0x0000000000000281,
   3140   0x000000000002ffee, 0x0000000000000301,
   3141   0x000000000002ffee, 0x0000000000000301,
   3142   0x000000000000fffa, 0x0000000000000101,
   3143   0x0000000000017ff7, 0x0000000000000181,
   3144   0x0000000000017ff7, 0x0000000000000181,
   3145   0x000000000000fffa, 0x0000000000000101,
   3146   0x0000000000007ffd, 0x0000000000000081,
   3147   0x0000000000007ffd, 0x0000000000000081,
   3148   0x0000000000000000, 0x0000000000000001,
   3149   0xffffffffffff0006, 0xffffffffffffff01,
   3150   0x0000000000000000, 0x0000000000000001,
   3151   0xffffffffffff8003, 0xffffffffffffff81,
   3152   0xfffffffffffe8009, 0xfffffffffffffe81,
   3153   0xffffffffffee8069, 0xffffffffffffee81,
   3154   0xffffffffffff8003, 0xffffffffffffff81,
   3155   0xfffffffffffe8009, 0xfffffffffffffe81,
   3156   0xffffffffffee8069, 0xffffffffffffee81,
   3157   0xffffffffffb001e0, 0xffffffffffffb001,
   3158   0xffffffffffff0006, 0xffffffffffffff01,
   3159   0xffffffffffef0066, 0xffffffffffffef01,
   3160   0xffffffffffb081dd, 0xffffffffffffb081,
   3161   0xffffffffff718357, 0xffffffffffff7181,
   3162   0xfffffffffff00060, 0xfffffffffffff001,
   3163   0xffffffffffb181d7, 0xffffffffffffb181,
   3164   0xffffffffff728351, 0xffffffffffff7281,
   3165   0xffffffffff3304ce, 0xffffffffffff3301,
   3166   0xffffffffffc18177, 0xffffffffffffc181,
   3167   0xffffffffff8282f1, 0xffffffffffff8281,
   3168   0xffffffffff43046e, 0xffffffffffff4301,
   3169   0xffffffffbf460465, 0xffffffffffbf4481,
   3170   0xffffffffffc1017a, 0xffffffffffffc101,
   3171   0xffffffffff8182f7, 0xffffffffffff8181,
   3172   0xffffffffbf8482ee, 0xffffffffffbf8301,
   3173   0xffffffff7f8702e8, 0xffffffffff7f8401,
   3174   0xffffffffffc0817d, 0xffffffffffffc081,
   3175   0xffffffffbfc38174, 0xffffffffffbfc201,
   3176   0xffffffff7fc6016e, 0xffffffffff7fc301,
   3177   0xffffffff3fc8016b, 0xffffffffff3fc381,
   3178   0xffffffffc002fff7, 0xffffffffffc00181,
   3179   0xffffffff80057ff1, 0xffffffffff800281,
   3180   0xffffffff40077fee, 0xffffffffff400301,
   3181   0xffffe66640079987, 0xffffffe665a66981,
   3182   0xffffffffc0027ffa, 0xffffffffffc00101,
   3183   0xffffffff80047ff7, 0xffffffffff800181,
   3184   0xffffe66680049990, 0xffffffe665e66801,
   3185   0xffffbbbcd55a198f, 0xffffffbbbb3bbd81,
   3186   0xffffffffc001fffd, 0xffffffffffc00081,
   3187   0xffffe666c0021996, 0xffffffe666266701,
   3188   0xffffbbbd15579995, 0xffffffbbbb7bbc81,
   3189   0xffff7bbe9559198c, 0xffffff7bbb7bbe01,
   3190   0xffffe66700001999, 0xffffffe666666681,
   3191   0xffffbbbd55559998, 0xffffffbbbbbbbc01,
   3192   0xffff7bbed557198f, 0xffffff7bbbbbbd81,
   3193   0xffff3bc055581989, 0xffffff3bbbbbbe81,
   3194   0xffffd55655557fff, 0xffffffd555555581,
   3195   0xffff9557d556fff6, 0xffffff9555555701,
   3196   0xffff55595557fff0, 0xffffff5555555801,
   3197   0xffff155ad5587fed, 0xffffff1555555881,
   3198   0xffffc00180017ff7, 0xffffffc000000181,
   3199   0xffff800300027ff1, 0xffffff8000000281,
   3200   0xffff40048002ffee, 0xffffff4000000301,
   3201   0xffff80030002ffee, 0xffffff8000000301,
   3202   0xffffc0018000fffa, 0xffffffc000000101,
   3203   0xffff800300017ff7, 0xffffff8000000181,
   3204   0xffffc00180017ff7, 0xffffffc000000181,
   3205   0x000000000000fffa, 0x0000000000000101,
   3206   0xffffc00180007ffd, 0xffffffc000000081,
   3207   0x0000000000007ffd, 0x0000000000000081,
   3208   0x00003ffe80000000, 0x0000004000000001,
   3209   0x00006aa82aaafffe, 0x0000006aaaaaab01,
   3210   0x00003ffe80000000, 0x0000004000000001,
   3211   0x00007ffcffff8003, 0x0000007fffffff81,
   3212   0x0000aaa6aaaa8001, 0x000000aaaaaaaa81,
   3213   0x0000c43faaaae665, 0x000000c444444481,
   3214   0x00003ffe7fff8003, 0x0000003fffffff81,
   3215   0x00006aa82aaa8001, 0x0000006aaaaaaa81,
   3216   0x000084412aaae665, 0x0000008444444481,
   3217   0x000084416aa96665, 0x0000008444844481,
   3218   0x00002aa9aaaafffe, 0x0000002aaaaaab01,
   3219   0x00004442aaab6662, 0x0000004444444501,
   3220   0x00004442eaa9e662, 0x0000004444844501,
   3221   0x000044432aa7e665, 0x0000004444c44481,
   3222   0x0000199900006664, 0x0000001999999a01,
   3223   0x000019993ffee664, 0x0000001999d99a01,
   3224   0x000019997ffce667, 0x000000199a199981,
   3225   0x00001999bffa666d, 0x000000199a599881,
   3226   0x000000003ffe8000, 0x0000000000400001,
   3227   0x000000007ffc8003, 0x00000000007fff81,
   3228   0x00000000bffa0009, 0x0000000000bffe81,
   3229   0x00000000fff70012, 0x0000000000fffd01,
   3230   0x000000003ffe0003, 0x00000000003fff81,
   3231   0x000000007ffb8009, 0x00000000007ffe81,
   3232   0x00000000bff88012, 0x0000000000bffd01,
   3233   0x00000000c0387e92, 0x0000000000c03d01,
   3234   0x000000003ffd8006, 0x00000000003fff01,
   3235   0x000000007ffa800f, 0x00000000007ffd81,
   3236   0x00000000803a7e8f, 0x0000000000803d81,
   3237   0x000000008079fd12, 0x0000000000807d01,
   3238   0x000000003ffd0009, 0x00000000003ffe81,
   3239   0x00000000403cfe89, 0x0000000000403e81,
   3240   0x00000000407c7d0c, 0x0000000000407e01,
   3241   0x0000000040bb7b92, 0x000000000040bd01,
   3242   0x00000000003ffe80, 0x0000000000004001,
   3243   0x00000000007f7d03, 0x0000000000007f81,
   3244   0x0000000000be7b89, 0x000000000000be81,
   3245   0x0000000000fcfa12, 0x000000000000fd01,
   3246   0x00000000003f7e83, 0x0000000000003f81,
   3247   0x00000000007e7d09, 0x0000000000007e81,
   3248   0x0000000000bcfb92, 0x000000000000bd01,
   3249   0x0000000000ccfb32, 0x000000000000cd01,
   3250   0x00000000003efe86, 0x0000000000003f01,
   3251   0x00000000007d7d0f, 0x0000000000007d81,
   3252   0x00000000008d7caf, 0x0000000000008d81,
   3253   0x00000000008efca6, 0x0000000000008f01,
   3254   0x00000000003e7e89, 0x0000000000003e81,
   3255   0x00000000004e7e29, 0x0000000000004e81,
   3256   0x00000000004ffe20, 0x0000000000005001,
   3257   0x000000000050fe1a, 0x0000000000005101,
   3258   0x00000000000fffa0, 0x0000000000001001,
   3259   0x0000000000117f97, 0x0000000000001181,
   3260   0x0000000000127f91, 0x0000000000001281,
   3261   0x000000000012ff8e, 0x0000000000001301,
   3262   0x0000000000000180, 0x000000000000017e,
   3263   0x0000000000000280, 0x000000000000027c,
   3264   0x0000000000000300, 0x00000000000002fb,
   3265   0x0000000000000300, 0x00000000000002fb,
   3266   0x0000000000000100, 0x00000000000000ff,
   3267   0x0000000000000180, 0x000000000000017e,
   3268   0x0000000000000180, 0x000000000000017e,
   3269   0x0000000000000100, 0x00000000000000ff,
   3270   0x0000000000000080, 0x0000000000000080,
   3271   0x0000000000000080, 0x0000000000000080,
   3272   0x0000000000000000, 0x0000000000000001,
   3273   0xffffffffffffff00, 0xffffffffffffff03,
   3274   0x0000000000000000, 0x0000000000000001,
   3275   0xffffffffffffff80, 0xffffffffffffff82,
   3276   0xfffffffffffffe80, 0xfffffffffffffe84,
   3277   0xffffffffffffee80, 0xffffffffffffeea4,
   3278   0xffffffffffffff80, 0xffffffffffffff82,
   3279   0xfffffffffffffe80, 0xfffffffffffffe84,
   3280   0xffffffffffffee80, 0xffffffffffffeea4,
   3281   0xffffffffffffb000, 0xffffffffffffb0a1,
   3282   0xffffffffffffff00, 0xffffffffffffff03,
   3283   0xffffffffffffef00, 0xffffffffffffef23,
   3284   0xffffffffffffb080, 0xffffffffffffb120,
   3285   0xffffffffffff7180, 0xffffffffffff729e,
   3286   0xfffffffffffff000, 0xfffffffffffff021,
   3287   0xffffffffffffb180, 0xffffffffffffb21e,
   3288   0xffffffffffff7280, 0xffffffffffff739c,
   3289   0xffffffffffff3300, 0xffffffffffff349b,
   3290   0xffffffffffffc180, 0xffffffffffffc1fe,
   3291   0xffffffffffff8280, 0xffffffffffff837c,
   3292   0xffffffffffff4300, 0xffffffffffff447b,
   3293   0xffffffffffbf4480, 0xffffffffffbfc5f8,
   3294   0xffffffffffffc100, 0xffffffffffffc17f,
   3295   0xffffffffffff8180, 0xffffffffffff827e,
   3296   0xffffffffffbf8300, 0xffffffffffc003fb,
   3297   0xffffffffff7f8400, 0xffffffffff8084f9,
   3298   0xffffffffffffc080, 0xffffffffffffc100,
   3299   0xffffffffffbfc200, 0xffffffffffc0427d,
   3300   0xffffffffff7fc300, 0xffffffffff80c37b,
   3301   0xffffffffff3fc380, 0xffffffffff4143fa,
   3302   0xffffffffffc00180, 0xffffffffffc0817e,
   3303   0xffffffffff800280, 0xffffffffff81027c,
   3304   0xffffffffff400300, 0xffffffffff4182fb,
   3305   0xffffffe665a66980, 0xffffffe698db1cae,
   3306   0xffffffffffc00100, 0xffffffffffc080ff,
   3307   0xffffffffff800180, 0xffffffffff81017e,
   3308   0xffffffe665e66800, 0xffffffe6991a9b31,
   3309   0xffffffbbbb3bbd80, 0xffffffbc43c54606,
   3310   0xffffffffffc00080, 0xffffffffffc08080,
   3311   0xffffffe666266700, 0xffffffe6995a1a33,
   3312   0xffffffbbbb7bbc80, 0xffffffbc4404c508,
   3313   0xffffff7bbb7bbe00, 0xffffff7cc404c685,
   3314   0xffffffe666666680, 0xffffffe6999999b4,
   3315   0xffffffbbbbbbbc00, 0xffffffbc44444489,
   3316   0xffffff7bbbbbbd80, 0xffffff7cc4444606,
   3317   0xffffff3bbbbbbe80, 0xffffff3d44444704,
   3318   0xffffffd555555580, 0xffffffd5aaaaaad6,
   3319   0xffffff9555555700, 0xffffff962aaaac53,
   3320   0xffffff5555555800, 0xffffff56aaaaad51,
   3321   0xffffff1555555880, 0xffffff172aaaadd0,
   3322   0xffffffc000000180, 0xffffffc08000017e,
   3323   0xffffff8000000280, 0xffffff810000027c,
   3324   0xffffff4000000300, 0xffffff41800002fb,
   3325   0xffffff8000000300, 0xffffff81000002fb,
   3326   0xffffffc000000100, 0xffffffc0800000ff,
   3327   0xffffff8000000180, 0xffffff810000017e,
   3328   0xffffffc000000180, 0xffffffc08000017e,
   3329   0x0000000000000100, 0x00000000000000ff,
   3330   0xffffffc000000080, 0xffffffc080000080,
   3331   0x0000000000000080, 0x0000000000000080,
   3332   0x0000004000000000, 0x0000003f80000001,
   3333   0x0000006aaaaaab00, 0x00000069d55555ab,
   3334   0x0000004000000000, 0x0000003f80000001,
   3335   0x0000007fffffff80, 0x0000007effffff82,
   3336   0x000000aaaaaaaa80, 0x000000a95555552c,
   3337   0x000000c444444480, 0x000000c2bbbbbbf8,
   3338   0x0000003fffffff80, 0x0000003f7fffff82,
   3339   0x0000006aaaaaaa80, 0x00000069d555552c,
   3340   0x0000008444444480, 0x000000833bbbbbf8,
   3341   0x0000008444844480, 0x000000833bfb3bf8,
   3342   0x0000002aaaaaab00, 0x0000002a555555ab,
   3343   0x0000004444444500, 0x00000043bbbbbc77,
   3344   0x0000004444844500, 0x00000043bbfb3c77,
   3345   0x0000004444c44480, 0x00000043bc3abbf8,
   3346   0x0000001999999a00, 0x00000019666666cd,
   3347   0x0000001999d99a00, 0x0000001966a5e6cd,
   3348   0x000000199a199980, 0x0000001966e5664e,
   3349   0x000000199a599880, 0x000000196724e550,
   3350   0x0000000000400000, 0x00000000003f8001,
   3351   0x00000000007fff80, 0x00000000007eff82,
   3352   0x0000000000bffe80, 0x0000000000be7e84,
   3353   0x0000000000fffd00, 0x0000000000fdfd07,
   3354   0x00000000003fff80, 0x00000000003f7f82,
   3355   0x00000000007ffe80, 0x00000000007efe84,
   3356   0x0000000000bffd00, 0x0000000000be7d07,
   3357   0x0000000000c03d00, 0x0000000000bebc87,
   3358   0x00000000003fff00, 0x00000000003f7f03,
   3359   0x00000000007ffd80, 0x00000000007efd86,
   3360   0x0000000000803d80, 0x00000000007f3d06,
   3361   0x0000000000807d00, 0x00000000007f7c07,
   3362   0x00000000003ffe80, 0x00000000003f7e84,
   3363   0x0000000000403e80, 0x00000000003fbe04,
   3364   0x0000000000407e00, 0x00000000003ffd05,
   3365   0x000000000040bd00, 0x0000000000403b87,
   3366   0x0000000000004000, 0x0000000000003f81,
   3367   0x0000000000007f80, 0x0000000000007e82,
   3368   0x000000000000be80, 0x000000000000bd04,
   3369   0x000000000000fd00, 0x000000000000fb07,
   3370   0x0000000000003f80, 0x0000000000003f02,
   3371   0x0000000000007e80, 0x0000000000007d84,
   3372   0x000000000000bd00, 0x000000000000bb87,
   3373   0x000000000000cd00, 0x000000000000cb67,
   3374   0x0000000000003f00, 0x0000000000003e83,
   3375   0x0000000000007d80, 0x0000000000007c86,
   3376   0x0000000000008d80, 0x0000000000008c66,
   3377   0x0000000000008f00, 0x0000000000008de3,
   3378   0x0000000000003e80, 0x0000000000003e04,
   3379   0x0000000000004e80, 0x0000000000004de4,
   3380   0x0000000000005000, 0x0000000000004f61,
   3381   0x0000000000005100, 0x000000000000505f,
   3382   0x0000000000001000, 0x0000000000000fe1,
   3383   0x0000000000001180, 0x000000000000115e,
   3384   0x0000000000001280, 0x000000000000125c,
   3385   0x0000000000001300, 0x00000000000012db,
   3386   0x000000000000017d, 0x000000000000017b,
   3387   0x000000000000027b, 0x0000000000000277,
   3388   0x00000000000002fa, 0x00000000000002f5,
   3389   0x00000000000002fa, 0x00000000000002f5,
   3390   0x00000000000000fe, 0x00000000000000fd,
   3391   0x000000000000017d, 0x000000000000017b,
   3392   0x000000000000017d, 0x000000000000017b,
   3393   0x00000000000000fe, 0x00000000000000fd,
   3394   0x000000000000007f, 0x000000000000007f,
   3395   0x000000000000007f, 0x000000000000007f,
   3396   0x0000000000000000, 0x0000000000000001,
   3397   0xffffffffffffff02, 0xffffffffffffff05,
   3398   0x0000000000000000, 0x0000000000000001,
   3399   0xffffffffffffff81, 0xffffffffffffff83,
   3400   0xfffffffffffffe83, 0xfffffffffffffe87,
   3401   0xffffffffffffeea3, 0xffffffffffffeec7,
   3402   0xffffffffffffff81, 0xffffffffffffff83,
   3403   0xfffffffffffffe83, 0xfffffffffffffe87,
   3404   0xffffffffffffeea3, 0xffffffffffffeec7,
   3405   0xffffffffffffb0a0, 0xffffffffffffb141,
   3406   0xffffffffffffff02, 0xffffffffffffff05,
   3407   0xffffffffffffef22, 0xffffffffffffef45,
   3408   0xffffffffffffb11f, 0xffffffffffffb1bf,
   3409   0xffffffffffff729d, 0xffffffffffff73bb,
   3410   0xfffffffffffff020, 0xfffffffffffff041,
   3411   0xffffffffffffb21d, 0xffffffffffffb2bb,
   3412   0xffffffffffff739b, 0xffffffffffff74b7,
   3413   0xffffffffffff349a, 0xffffffffffff3635,
   3414   0xffffffffffffc1fd, 0xffffffffffffc27b,
   3415   0xffffffffffff837b, 0xffffffffffff8477,
   3416   0xffffffffffff447a, 0xffffffffffff45f5,
   3417   0xffffffffffbfc5f7, 0xffffffffffc0476f,
   3418   0xffffffffffffc17e, 0xffffffffffffc1fd,
   3419   0xffffffffffff827d, 0xffffffffffff837b,
   3420   0xffffffffffc003fa, 0xffffffffffc084f5,
   3421   0xffffffffff8084f8, 0xffffffffff8185f1,
   3422   0xffffffffffffc0ff, 0xffffffffffffc17f,
   3423   0xffffffffffc0427c, 0xffffffffffc0c2f9,
   3424   0xffffffffff80c37a, 0xffffffffff81c3f5,
   3425   0xffffffffff4143f9, 0xffffffffff42c473,
   3426   0xffffffffffc0817d, 0xffffffffffc1017b,
   3427   0xffffffffff81027b, 0xffffffffff820277,
   3428   0xffffffffff4182fa, 0xffffffffff4302f5,
   3429   0xffffffe698db1cad, 0xffffffe6cc0fcfdb,
   3430   0xffffffffffc080fe, 0xffffffffffc100fd,
   3431   0xffffffffff81017d, 0xffffffffff82017b,
   3432   0xffffffe6991a9b30, 0xffffffe6cc4ece61,
   3433   0xffffffbc43c54605, 0xffffffbccc4ece8b,
   3434   0xffffffffffc0807f, 0xffffffffffc1007f,
   3435   0xffffffe6995a1a32, 0xffffffe6cc8dcd65,
   3436   0xffffffbc4404c507, 0xffffffbccc8dcd8f,
   3437   0xffffff7cc404c684, 0xffffff7dcc8dcf09,
   3438   0xffffffe6999999b3, 0xffffffe6cccccce7,
   3439   0xffffffbc44444488, 0xffffffbccccccd11,
   3440   0xffffff7cc4444605, 0xffffff7dccccce8b,
   3441   0xffffff3d44444703, 0xffffff3ecccccf87,
   3442   0xffffffd5aaaaaad5, 0xffffffd60000002b,
   3443   0xffffff962aaaac52, 0xffffff97000001a5,
   3444   0xffffff56aaaaad50, 0xffffff58000002a1,
   3445   0xffffff172aaaadcf, 0xffffff190000031f,
   3446   0xffffffc08000017d, 0xffffffc10000017b,
   3447   0xffffff810000027b, 0xffffff8200000277,
   3448   0xffffff41800002fa, 0xffffff43000002f5,
   3449   0xffffff81000002fa, 0xffffff82000002f5,
   3450   0xffffffc0800000fe, 0xffffffc1000000fd,
   3451   0xffffff810000017d, 0xffffff820000017b,
   3452   0xffffffc08000017d, 0xffffffc10000017b,
   3453   0x00000000000000fe, 0x00000000000000fd,
   3454   0xffffffc08000007f, 0xffffffc10000007f,
   3455   0x000000000000007f, 0x000000000000007f,
   3456   0x0000003f80000000, 0x0000003f00000001,
   3457   0x00000069d55555aa, 0x0000006900000055,
   3458   0x0000003f80000000, 0x0000003f00000001,
   3459   0x0000007effffff81, 0x0000007dffffff83,
   3460   0x000000a95555552b, 0x000000a7ffffffd7,
   3461   0x000000c2bbbbbbf7, 0x000000c13333336f,
   3462   0x0000003f7fffff81, 0x0000003effffff83,
   3463   0x00000069d555552b, 0x00000068ffffffd7,
   3464   0x000000833bbbbbf7, 0x000000823333336f,
   3465   0x000000833bfb3bf7, 0x000000823372336f,
   3466   0x0000002a555555aa, 0x0000002a00000055,
   3467   0x00000043bbbbbc76, 0x00000043333333ed,
   3468   0x00000043bbfb3c76, 0x00000043337233ed,
   3469   0x00000043bc3abbf7, 0x0000004333b1336f,
   3470   0x00000019666666cc, 0x0000001933333399,
   3471   0x0000001966a5e6cc, 0x0000001933723399,
   3472   0x0000001966e5664d, 0x0000001933b1331b,
   3473   0x000000196724e54f, 0x0000001933f0321f,
   3474   0x00000000003f8000, 0x00000000003f0001,
   3475   0x00000000007eff81, 0x00000000007dff83,
   3476   0x0000000000be7e83, 0x0000000000bcfe87,
   3477   0x0000000000fdfd06, 0x0000000000fbfd0d,
   3478   0x00000000003f7f81, 0x00000000003eff83,
   3479   0x00000000007efe83, 0x00000000007dfe87,
   3480   0x0000000000be7d06, 0x0000000000bcfd0d,
   3481   0x0000000000bebc86, 0x0000000000bd3c0d,
   3482   0x00000000003f7f02, 0x00000000003eff05,
   3483   0x00000000007efd85, 0x00000000007dfd8b,
   3484   0x00000000007f3d05, 0x00000000007e3c8b,
   3485   0x00000000007f7c06, 0x00000000007e7b0d,
   3486   0x00000000003f7e83, 0x00000000003efe87,
   3487   0x00000000003fbe03, 0x00000000003f3d87,
   3488   0x00000000003ffd04, 0x00000000003f7c09,
   3489   0x0000000000403b86, 0x00000000003fba0d,
   3490   0x0000000000003f80, 0x0000000000003f01,
   3491   0x0000000000007e81, 0x0000000000007d83,
   3492   0x000000000000bd03, 0x000000000000bb87,
   3493   0x000000000000fb06, 0x000000000000f90d,
   3494   0x0000000000003f01, 0x0000000000003e83,
   3495   0x0000000000007d83, 0x0000000000007c87,
   3496   0x000000000000bb86, 0x000000000000ba0d,
   3497   0x000000000000cb66, 0x000000000000c9cd,
   3498   0x0000000000003e82, 0x0000000000003e05,
   3499   0x0000000000007c85, 0x0000000000007b8b,
   3500   0x0000000000008c65, 0x0000000000008b4b,
   3501   0x0000000000008de2, 0x0000000000008cc5,
   3502   0x0000000000003e03, 0x0000000000003d87,
   3503   0x0000000000004de3, 0x0000000000004d47,
   3504   0x0000000000004f60, 0x0000000000004ec1,
   3505   0x000000000000505e, 0x0000000000004fbd,
   3506   0x0000000000000fe0, 0x0000000000000fc1,
   3507   0x000000000000115d, 0x000000000000113b,
   3508   0x000000000000125b, 0x0000000000001237,
   3509   0x00000000000012da, 0x00000000000012b5,
   3510   0x000000000000017a, 0x0000000000000178,
   3511   0x0000000000000276, 0x0000000000000272,
   3512   0x00000000000002f4, 0x00000000000002ef,
   3513   0x00000000000002f4, 0x00000000000002ef,
   3514   0x00000000000000fc, 0x00000000000000fb,
   3515   0x000000000000017a, 0x0000000000000178,
   3516   0x000000000000017a, 0x0000000000000178,
   3517   0x00000000000000fc, 0x00000000000000fb,
   3518   0x000000000000007e, 0x000000000000007e,
   3519   0x000000000000007e, 0x000000000000007e,
   3520   0x0000000000000000, 0x0000000000000001,
   3521   0xffffffffffffff04, 0xffffffffffffff07,
   3522   0x0000000000000000, 0x0000000000000001,
   3523   0xffffffffffffff82, 0xffffffffffffff84,
   3524   0xfffffffffffffe86, 0xfffffffffffffe8a,
   3525   0xffffffffffffeec6, 0xffffffffffffeeea,
   3526   0xffffffffffffff82, 0xffffffffffffff84,
   3527   0xfffffffffffffe86, 0xfffffffffffffe8a,
   3528   0xffffffffffffeec6, 0xffffffffffffeeea,
   3529   0xffffffffffffb140, 0xffffffffffffb1e1,
   3530   0xffffffffffffff04, 0xffffffffffffff07,
   3531   0xffffffffffffef44, 0xffffffffffffef67,
   3532   0xffffffffffffb1be, 0xffffffffffffb25e,
   3533   0xffffffffffff73ba, 0xffffffffffff74d8,
   3534   0xfffffffffffff040, 0xfffffffffffff061,
   3535   0xffffffffffffb2ba, 0xffffffffffffb358,
   3536   0xffffffffffff74b6, 0xffffffffffff75d2,
   3537   0xffffffffffff3634, 0xffffffffffff37cf,
   3538   0xffffffffffffc27a, 0xffffffffffffc2f8,
   3539   0xffffffffffff8476, 0xffffffffffff8572,
   3540   0xffffffffffff45f4, 0xffffffffffff476f,
   3541   0xffffffffffc0476e, 0xffffffffffc0c8e6,
   3542   0xffffffffffffc1fc, 0xffffffffffffc27b,
   3543   0xffffffffffff837a, 0xffffffffffff8478,
   3544   0xffffffffffc084f4, 0xffffffffffc105ef,
   3545   0xffffffffff8185f0, 0xffffffffff8286e9,
   3546   0xffffffffffffc17e, 0xffffffffffffc1fe,
   3547   0xffffffffffc0c2f8, 0xffffffffffc14375,
   3548   0xffffffffff81c3f4, 0xffffffffff82c46f,
   3549   0xffffffffff42c472, 0xffffffffff4444ec,
   3550   0xffffffffffc1017a, 0xffffffffffc18178,
   3551   0xffffffffff820276, 0xffffffffff830272,
   3552   0xffffffffff4302f4, 0xffffffffff4482ef,
   3553   0xffffffe6cc0fcfda, 0xffffffe6ff448308,
   3554   0xffffffffffc100fc, 0xffffffffffc180fb,
   3555   0xffffffffff82017a, 0xffffffffff830178,
   3556   0xffffffe6cc4ece60, 0xffffffe6ff830191,
   3557   0xffffffbccc4ece8a, 0xffffffbd54d85710,
   3558   0xffffffffffc1007e, 0xffffffffffc1807e,
   3559   0xffffffe6cc8dcd64, 0xffffffe6ffc18097,
   3560   0xffffffbccc8dcd8e, 0xffffffbd5516d616,
   3561   0xffffff7dcc8dcf08, 0xffffff7ed516d78d,
   3562   0xffffffe6cccccce6, 0xffffffe70000001a,
   3563   0xffffffbccccccd10, 0xffffffbd55555599,
   3564   0xffffff7dccccce8a, 0xffffff7ed5555710,
   3565   0xffffff3ecccccf86, 0xffffff405555580a,
   3566   0xffffffd60000002a, 0xffffffd655555580,
   3567   0xffffff97000001a4, 0xffffff97d55556f7,
   3568   0xffffff58000002a0, 0xffffff59555557f1,
   3569   0xffffff190000031e, 0xffffff1ad555586e,
   3570   0xffffffc10000017a, 0xffffffc180000178,
   3571   0xffffff8200000276, 0xffffff8300000272,
   3572   0xffffff43000002f4, 0xffffff44800002ef,
   3573   0xffffff82000002f4, 0xffffff83000002ef,
   3574   0xffffffc1000000fc, 0xffffffc1800000fb,
   3575   0xffffff820000017a, 0xffffff8300000178,
   3576   0xffffffc10000017a, 0xffffffc180000178,
   3577   0x00000000000000fc, 0x00000000000000fb,
   3578   0xffffffc10000007e, 0xffffffc18000007e,
   3579   0x000000000000007e, 0x000000000000007e,
   3580   0x0000003f00000000, 0x0000003e80000001,
   3581   0x0000006900000054, 0x000000682aaaaaff,
   3582   0x0000003f00000000, 0x0000003e80000001,
   3583   0x0000007dffffff82, 0x0000007cffffff84,
   3584   0x000000a7ffffffd6, 0x000000a6aaaaaa82,
   3585   0x000000c13333336e, 0x000000bfaaaaaae6,
   3586   0x0000003effffff82, 0x0000003e7fffff84,
   3587   0x00000068ffffffd6, 0x000000682aaaaa82,
   3588   0x000000823333336e, 0x000000812aaaaae6,
   3589   0x000000823372336e, 0x000000812ae92ae6,
   3590   0x0000002a00000054, 0x00000029aaaaaaff,
   3591   0x00000043333333ec, 0x00000042aaaaab63,
   3592   0x00000043337233ec, 0x00000042aae92b63,
   3593   0x0000004333b1336e, 0x00000042ab27aae6,
   3594   0x0000001933333398, 0x0000001900000065,
   3595   0x0000001933723398, 0x00000019003e8065,
   3596   0x0000001933b1331a, 0x00000019007cffe8,
   3597   0x0000001933f0321e, 0x0000001900bb7eee,
   3598   0x00000000003f0000, 0x00000000003e8001,
   3599   0x00000000007dff82, 0x00000000007cff84,
   3600   0x0000000000bcfe86, 0x0000000000bb7e8a,
   3601   0x0000000000fbfd0c, 0x0000000000f9fd13,
   3602   0x00000000003eff82, 0x00000000003e7f84,
   3603   0x00000000007dfe86, 0x00000000007cfe8a,
   3604   0x0000000000bcfd0c, 0x0000000000bb7d13,
   3605   0x0000000000bd3c0c, 0x0000000000bbbb93,
   3606   0x00000000003eff04, 0x00000000003e7f07,
   3607   0x00000000007dfd8a, 0x00000000007cfd90,
   3608   0x00000000007e3c8a, 0x00000000007d3c10,
   3609   0x00000000007e7b0c, 0x00000000007d7a13,
   3610   0x00000000003efe86, 0x00000000003e7e8a,
   3611   0x00000000003f3d86, 0x00000000003ebd0a,
   3612   0x00000000003f7c08, 0x00000000003efb0d,
   3613   0x00000000003fba0c, 0x00000000003f3893,
   3614   0x0000000000003f00, 0x0000000000003e81,
   3615   0x0000000000007d82, 0x0000000000007c84,
   3616   0x000000000000bb86, 0x000000000000ba0a,
   3617   0x000000000000f90c, 0x000000000000f713,
   3618   0x0000000000003e82, 0x0000000000003e04,
   3619   0x0000000000007c86, 0x0000000000007b8a,
   3620   0x000000000000ba0c, 0x000000000000b893,
   3621   0x000000000000c9cc, 0x000000000000c833,
   3622   0x0000000000003e04, 0x0000000000003d87,
   3623   0x0000000000007b8a, 0x0000000000007a90,
   3624   0x0000000000008b4a, 0x0000000000008a30,
   3625   0x0000000000008cc4, 0x0000000000008ba7,
   3626   0x0000000000003d86, 0x0000000000003d0a,
   3627   0x0000000000004d46, 0x0000000000004caa,
   3628   0x0000000000004ec0, 0x0000000000004e21,
   3629   0x0000000000004fbc, 0x0000000000004f1b,
   3630   0x0000000000000fc0, 0x0000000000000fa1,
   3631   0x000000000000113a, 0x0000000000001118,
   3632   0x0000000000001236, 0x0000000000001212,
   3633   0x00000000000012b4, 0x000000000000128f,
   3634   0x0000000000000177, 0x0000000000000061,
   3635   0x0000000000000271, 0x00000000000000a1,
   3636   0x00000000000002ee, 0x00000000000000c1,
   3637   0x00000000000002ee, 0x00000000000000c1,
   3638   0x00000000000000fa, 0x0000000000000041,
   3639   0x0000000000000177, 0x0000000000000061,
   3640   0x0000000000000177, 0x0000000000000061,
   3641   0x00000000000000fa, 0x0000000000000041,
   3642   0x000000000000007d, 0x0000000000000021,
   3643   0x000000000000007d, 0x0000000000000021,
   3644   0x0000000000000000, 0x0000000000000001,
   3645   0xffffffffffffff06, 0xffffffffffffffc1,
   3646   0x0000000000000000, 0x0000000000000001,
   3647   0xffffffffffffff83, 0xffffffffffffffe1,
   3648   0xfffffffffffffe89, 0xffffffffffffffa1,
   3649   0xffffffffffffeee9, 0xfffffffffffffba1,
   3650   0xffffffffffffff83, 0xffffffffffffffe1,
   3651   0xfffffffffffffe89, 0xffffffffffffffa1,
   3652   0xffffffffffffeee9, 0xfffffffffffffba1,
   3653   0xffffffffffffb1e0, 0xffffffffffffec01,
   3654   0xffffffffffffff06, 0xffffffffffffffc1,
   3655   0xffffffffffffef66, 0xfffffffffffffbc1,
   3656   0xffffffffffffb25d, 0xffffffffffffec21,
   3657   0xffffffffffff74d7, 0xffffffffffffdc61,
   3658   0xfffffffffffff060, 0xfffffffffffffc01,
   3659   0xffffffffffffb357, 0xffffffffffffec61,
   3660   0xffffffffffff75d1, 0xffffffffffffdca1,
   3661   0xffffffffffff37ce, 0xffffffffffffccc1,
   3662   0xffffffffffffc2f7, 0xfffffffffffff061,
   3663   0xffffffffffff8571, 0xffffffffffffe0a1,
   3664   0xffffffffffff476e, 0xffffffffffffd0c1,
   3665   0xffffffffffc0c8e5, 0xffffffffffefd121,
   3666   0xffffffffffffc27a, 0xfffffffffffff041,
   3667   0xffffffffffff8477, 0xffffffffffffe061,
   3668   0xffffffffffc105ee, 0xffffffffffefe0c1,
   3669   0xffffffffff8286e8, 0xffffffffffdfe101,
   3670   0xffffffffffffc1fd, 0xfffffffffffff021,
   3671   0xffffffffffc14374, 0xffffffffffeff081,
   3672   0xffffffffff82c46e, 0xffffffffffdff0c1,
   3673   0xffffffffff4444eb, 0xffffffffffcff0e1,
   3674   0xffffffffffc18177, 0xfffffffffff00061,
   3675   0xffffffffff830271, 0xffffffffffe000a1,
   3676   0xffffffffff4482ee, 0xffffffffffd000c1,
   3677   0xffffffe6ff448307, 0xfffffff999699a61,
   3678   0xffffffffffc180fa, 0xfffffffffff00041,
   3679   0xffffffffff830177, 0xffffffffffe00061,
   3680   0xffffffe6ff830190, 0xfffffff999799a01,
   3681   0xffffffbd54d8570f, 0xffffffeeeeceef61,
   3682   0xffffffffffc1807d, 0xfffffffffff00021,
   3683   0xffffffe6ffc18096, 0xfffffff9998999c1,
   3684   0xffffffbd5516d615, 0xffffffeeeedeef21,
   3685   0xffffff7ed516d78c, 0xffffffdeeedeef81,
   3686   0xffffffe700000019, 0xfffffff9999999a1,
   3687   0xffffffbd55555598, 0xffffffeeeeeeef01,
   3688   0xffffff7ed555570f, 0xffffffdeeeeeef61,
   3689   0xffffff4055555809, 0xffffffceeeeeefa1,
   3690   0xffffffd65555557f, 0xfffffff555555561,
   3691   0xffffff97d55556f6, 0xffffffe5555555c1,
   3692   0xffffff59555557f0, 0xffffffd555555601,
   3693   0xffffff1ad555586d, 0xffffffc555555621,
   3694   0xffffffc180000177, 0xfffffff000000061,
   3695   0xffffff8300000271, 0xffffffe0000000a1,
   3696   0xffffff44800002ee, 0xffffffd0000000c1,
   3697   0xffffff83000002ee, 0xffffffe0000000c1,
   3698   0xffffffc1800000fa, 0xfffffff000000041,
   3699   0xffffff8300000177, 0xffffffe000000061,
   3700   0xffffffc180000177, 0xfffffff000000061,
   3701   0x00000000000000fa, 0x0000000000000041,
   3702   0xffffffc18000007d, 0xfffffff000000021,
   3703   0x000000000000007d, 0x0000000000000021,
   3704   0x0000003e80000000, 0x0000001000000001,
   3705   0x000000682aaaaafe, 0x0000001aaaaaaac1,
   3706   0x0000003e80000000, 0x0000001000000001,
   3707   0x0000007cffffff83, 0x0000001fffffffe1,
   3708   0x000000a6aaaaaa81, 0x0000002aaaaaaaa1,
   3709   0x000000bfaaaaaae5, 0x0000003111111121,
   3710   0x0000003e7fffff83, 0x0000000fffffffe1,
   3711   0x000000682aaaaa81, 0x0000001aaaaaaaa1,
   3712   0x000000812aaaaae5, 0x0000002111111121,
   3713   0x000000812ae92ae5, 0x0000002111211121,
   3714   0x00000029aaaaaafe, 0x0000000aaaaaaac1,
   3715   0x00000042aaaaab62, 0x0000001111111141,
   3716   0x00000042aae92b62, 0x0000001111211141,
   3717   0x00000042ab27aae5, 0x0000001111311121,
   3718   0x0000001900000064, 0x0000000666666681,
   3719   0x00000019003e8064, 0x0000000666766681,
   3720   0x00000019007cffe7, 0x0000000666866661,
   3721   0x0000001900bb7eed, 0x0000000666966621,
   3722   0x00000000003e8000, 0x0000000000100001,
   3723   0x00000000007cff83, 0x00000000001fffe1,
   3724   0x0000000000bb7e89, 0x00000000002fffa1,
   3725   0x0000000000f9fd12, 0x00000000003fff41,
   3726   0x00000000003e7f83, 0x00000000000fffe1,
   3727   0x00000000007cfe89, 0x00000000001fffa1,
   3728   0x0000000000bb7d12, 0x00000000002fff41,
   3729   0x0000000000bbbb92, 0x0000000000300f41,
   3730   0x00000000003e7f06, 0x00000000000fffc1,
   3731   0x00000000007cfd8f, 0x00000000001fff61,
   3732   0x00000000007d3c0f, 0x0000000000200f61,
   3733   0x00000000007d7a12, 0x0000000000201f41,
   3734   0x00000000003e7e89, 0x00000000000fffa1,
   3735   0x00000000003ebd09, 0x0000000000100fa1,
   3736   0x00000000003efb0c, 0x0000000000101f81,
   3737   0x00000000003f3892, 0x0000000000102f41,
   3738   0x0000000000003e80, 0x0000000000001001,
   3739   0x0000000000007c83, 0x0000000000001fe1,
   3740   0x000000000000ba09, 0x0000000000002fa1,
   3741   0x000000000000f712, 0x0000000000003f41,
   3742   0x0000000000003e03, 0x0000000000000fe1,
   3743   0x0000000000007b89, 0x0000000000001fa1,
   3744   0x000000000000b892, 0x0000000000002f41,
   3745   0x000000000000c832, 0x0000000000003341,
   3746   0x0000000000003d86, 0x0000000000000fc1,
   3747   0x0000000000007a8f, 0x0000000000001f61,
   3748   0x0000000000008a2f, 0x0000000000002361,
   3749   0x0000000000008ba6, 0x00000000000023c1,
   3750   0x0000000000003d09, 0x0000000000000fa1,
   3751   0x0000000000004ca9, 0x00000000000013a1,
   3752   0x0000000000004e20, 0x0000000000001401,
   3753   0x0000000000004f1a, 0x0000000000001441,
   3754   0x0000000000000fa0, 0x0000000000000401,
   3755   0x0000000000001117, 0x0000000000000461,
   3756   0x0000000000001211, 0x00000000000004a1,
   3757   0x000000000000128e, 0x00000000000004c1,
   3758   0x0000000000000060, 0x000000000000000a,
   3759   0x00000000000000a0, 0x0000000000000010,
   3760   0x00000000000000c0, 0x0000000000000013,
   3761   0x00000000000000c0, 0x0000000000000013,
   3762   0x0000000000000040, 0x0000000000000007,
   3763   0x0000000000000060, 0x000000000000000a,
   3764   0x0000000000000060, 0x000000000000000a,
   3765   0x0000000000000040, 0x0000000000000007,
   3766   0x0000000000000020, 0x0000000000000004,
   3767   0x0000000000000020, 0x0000000000000004,
   3768   0x0000000000000000, 0x0000000000000001,
   3769   0xffffffffffffffc0, 0xfffffffffffffffb,
   3770   0x0000000000000000, 0x0000000000000001,
   3771   0xffffffffffffffe0, 0xfffffffffffffffe,
   3772   0xffffffffffffffa0, 0xfffffffffffffff8,
   3773   0xfffffffffffffba0, 0xffffffffffffff98,
   3774   0xffffffffffffffe0, 0xfffffffffffffffe,
   3775   0xffffffffffffffa0, 0xfffffffffffffff8,
   3776   0xfffffffffffffba0, 0xffffffffffffff98,
   3777   0xffffffffffffec00, 0xfffffffffffffe21,
   3778   0xffffffffffffffc0, 0xfffffffffffffffb,
   3779   0xfffffffffffffbc0, 0xffffffffffffff9b,
   3780   0xffffffffffffec20, 0xfffffffffffffe24,
   3781   0xffffffffffffdc60, 0xfffffffffffffcaa,
   3782   0xfffffffffffffc00, 0xffffffffffffffa1,
   3783   0xffffffffffffec60, 0xfffffffffffffe2a,
   3784   0xffffffffffffdca0, 0xfffffffffffffcb0,
   3785   0xffffffffffffccc0, 0xfffffffffffffb33,
   3786   0xfffffffffffff060, 0xfffffffffffffe8a,
   3787   0xffffffffffffe0a0, 0xfffffffffffffd10,
   3788   0xffffffffffffd0c0, 0xfffffffffffffb93,
   3789   0xffffffffffefd120, 0xfffffffffffe7b9c,
   3790   0xfffffffffffff040, 0xfffffffffffffe87,
   3791   0xffffffffffffe060, 0xfffffffffffffd0a,
   3792   0xffffffffffefe0c0, 0xfffffffffffe7d13,
   3793   0xffffffffffdfe100, 0xfffffffffffcfd19,
   3794   0xfffffffffffff020, 0xfffffffffffffe84,
   3795   0xffffffffffeff080, 0xfffffffffffe7e8d,
   3796   0xffffffffffdff0c0, 0xfffffffffffcfe93,
   3797   0xffffffffffcff0e0, 0xfffffffffffb7e96,
   3798   0xfffffffffff00060, 0xfffffffffffe800a,
   3799   0xffffffffffe000a0, 0xfffffffffffd0010,
   3800   0xffffffffffd000c0, 0xfffffffffffb8013,
   3801   0xfffffff999699a60, 0xffffffff6661e67a,
   3802   0xfffffffffff00040, 0xfffffffffffe8007,
   3803   0xffffffffffe00060, 0xfffffffffffd000a,
   3804   0xfffffff999799a00, 0xffffffff66636671,
   3805   0xffffffeeeeceef60, 0xfffffffe66636672,
   3806   0xfffffffffff00020, 0xfffffffffffe8004,
   3807   0xfffffff9998999c0, 0xffffffff6664e66b,
   3808   0xffffffeeeedeef20, 0xfffffffe6664e66c,
   3809   0xffffffdeeedeef80, 0xfffffffce664e675,
   3810   0xfffffff9999999a0, 0xffffffff66666668,
   3811   0xffffffeeeeeeef00, 0xfffffffe66666669,
   3812   0xffffffdeeeeeef60, 0xfffffffce6666672,
   3813   0xffffffceeeeeefa0, 0xfffffffb66666678,
   3814   0xfffffff555555560, 0xffffffff00000002,
   3815   0xffffffe5555555c0, 0xfffffffd8000000b,
   3816   0xffffffd555555600, 0xfffffffc00000011,
   3817   0xffffffc555555620, 0xfffffffa80000014,
   3818   0xfffffff000000060, 0xfffffffe8000000a,
   3819   0xffffffe0000000a0, 0xfffffffd00000010,
   3820   0xffffffd0000000c0, 0xfffffffb80000013,
   3821   0xffffffe0000000c0, 0xfffffffd00000013,
   3822   0xfffffff000000040, 0xfffffffe80000007,
   3823   0xffffffe000000060, 0xfffffffd0000000a,
   3824   0xfffffff000000060, 0xfffffffe8000000a,
   3825   0x0000000000000040, 0x0000000000000007,
   3826   0xfffffff000000020, 0xfffffffe80000004,
   3827   0x0000000000000020, 0x0000000000000004,
   3828   0x0000001000000000, 0x0000000180000001,
   3829   0x0000001aaaaaaac0, 0x0000000280000003,
   3830   0x0000001000000000, 0x0000000180000001,
   3831   0x0000001fffffffe0, 0x00000002fffffffe,
   3832   0x0000002aaaaaaaa0, 0x0000000400000000,
   3833   0x0000003111111120, 0x000000049999999c,
   3834   0x0000000fffffffe0, 0x000000017ffffffe,
   3835   0x0000001aaaaaaaa0, 0x0000000280000000,
   3836   0x0000002111111120, 0x000000031999999c,
   3837   0x0000002111211120, 0x00000003199b199c,
   3838   0x0000000aaaaaaac0, 0x0000000100000003,
   3839   0x0000001111111140, 0x000000019999999f,
   3840   0x0000001111211140, 0x00000001999b199f,
   3841   0x0000001111311120, 0x00000001999c999c,
   3842   0x0000000666666680, 0x000000009999999d,
   3843   0x0000000666766680, 0x00000000999b199d,
   3844   0x0000000666866660, 0x00000000999c999a,
   3845   0x0000000666966620, 0x00000000999e1994,
   3846   0x0000000000100000, 0x0000000000018001,
   3847   0x00000000001fffe0, 0x000000000002fffe,
   3848   0x00000000002fffa0, 0x0000000000047ff8,
   3849   0x00000000003fff40, 0x000000000005ffef,
   3850   0x00000000000fffe0, 0x0000000000017ffe,
   3851   0x00000000001fffa0, 0x000000000002fff8,
   3852   0x00000000002fff40, 0x0000000000047fef,
   3853   0x0000000000300f40, 0x000000000004816f,
   3854   0x00000000000fffc0, 0x0000000000017ffb,
   3855   0x00000000001fff60, 0x000000000002fff2,
   3856   0x0000000000200f60, 0x0000000000030172,
   3857   0x0000000000201f40, 0x00000000000302ef,
   3858   0x00000000000fffa0, 0x0000000000017ff8,
   3859   0x0000000000100fa0, 0x0000000000018178,
   3860   0x0000000000101f80, 0x00000000000182f5,
   3861   0x0000000000102f40, 0x000000000001846f,
   3862   0x0000000000001000, 0x0000000000000181,
   3863   0x0000000000001fe0, 0x00000000000002fe,
   3864   0x0000000000002fa0, 0x0000000000000478,
   3865   0x0000000000003f40, 0x00000000000005ef,
   3866   0x0000000000000fe0, 0x000000000000017e,
   3867   0x0000000000001fa0, 0x00000000000002f8,
   3868   0x0000000000002f40, 0x000000000000046f,
   3869   0x0000000000003340, 0x00000000000004cf,
   3870   0x0000000000000fc0, 0x000000000000017b,
   3871   0x0000000000001f60, 0x00000000000002f2,
   3872   0x0000000000002360, 0x0000000000000352,
   3873   0x00000000000023c0, 0x000000000000035b,
   3874   0x0000000000000fa0, 0x0000000000000178,
   3875   0x00000000000013a0, 0x00000000000001d8,
   3876   0x0000000000001400, 0x00000000000001e1,
   3877   0x0000000000001440, 0x00000000000001e7,
   3878   0x0000000000000400, 0x0000000000000061,
   3879   0x0000000000000460, 0x000000000000006a,
   3880   0x00000000000004a0, 0x0000000000000070,
   3881   0x00000000000004c0, 0x0000000000000073,
   3882 };
   3883 const unsigned kExpectedCount_NEON_smlal_2D_2S_S = 3844;
   3884 
   3885 #endif  // VIXL_SIM_SMLAL_2D_2S_S_TRACE_A64_H_
   3886