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_SQDMLAL2_2D_4S_S_TRACE_A64_H_
     35 #define VIXL_SIM_SQDMLAL2_2D_4S_S_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_sqdmlal2_2D_4S_S[] = {
     38   0x0000007dfd0c0000, 0x0000000000000001,
     39   0x000000fcfa120000, 0x0000000000000001,
     40   0x000080f6fa240000, 0x0000000000000001,
     41   0x000080f6fa240000, 0x0000000000000001,
     42   0x0000007efd060000, 0x0000000000000001,
     43   0x00008078fd180000, 0x0000000000000001,
     44   0x00008078fd180000, 0x0000000000000001,
     45   0x00008078fe17fa00, 0x0000000000000001,
     46   0x00007ffa00120000, 0x0000000000000001,
     47   0x00007ffa00120000, 0x0000000000000001,
     48   0x00007ffa0111fa00, 0x0000000000000001,
     49   0x00007ffa0311ee00, 0x0000000000000001,
     50   0x0000000000000000, 0x0000000000000001,
     51   0x0000000000fffa00, 0x0000000000000001,
     52   0x0000000002ffee00, 0x0000000000000001,
     53   0x0000000022ff2e00, 0x0000000000000001,
     54   0x0000000000fffa00, 0x0000000000000001,
     55   0x0000000002ffee00, 0x0000000000000001,
     56   0x0000000022ff2e00, 0x0000000000000001,
     57   0x000000009ffc4000, 0x0000000000000001,
     58   0x0000000001fff400, 0x0000000000000001,
     59   0x0000000021ff3400, 0x0000000000000001,
     60   0x000000009efc4600, 0x0000000000000001,
     61   0x000000011cf95200, 0x0000000000000001,
     62   0x000000001fff4000, 0x0000000000000001,
     63   0x000000009cfc5200, 0x0000000000000001,
     64   0x000000011af95e00, 0x0000000000000001,
     65   0x0000000199f66400, 0x0000000000000001,
     66   0x000000007cfd1200, 0x0000000000000001,
     67   0x00000000fafa1e00, 0x0000000000000001,
     68   0x0000000179f72400, 0x0000000000000001,
     69   0x0000008173f73600, 0x0000000000000001,
     70   0x000000007dfd0c00, 0x0000000000000001,
     71   0x00000000fcfa1200, 0x0000000000000001,
     72   0x00000080f6fa2400, 0x0000000000000001,
     73   0x00000100f1fa3000, 0x0000000000000001,
     74   0x000000007efd0600, 0x0000000000000001,
     75   0x0000008078fd1800, 0x0000000000000001,
     76   0x0000010073fd2400, 0x0000000000000001,
     77   0x000001806ffd2a00, 0x0000000000000001,
     78   0x0000007ffa001200, 0x0000000000000001,
     79   0x000000fff5001e00, 0x0000000000000001,
     80   0x0000017ff1002400, 0x0000000000000001,
     81   0x0033337ff0ccf200, 0x0000000000000001,
     82   0x0000007ffb000c00, 0x0000000000000001,
     83   0x000000fff7001200, 0x0000000000000001,
     84   0x003332fff6cce000, 0x0000000000000001,
     85   0x008886554bcce200, 0x0000000000000001,
     86   0x0000007ffc000600, 0x0000000000000001,
     87   0x0033327ffbccd400, 0x0000000000000001,
     88   0x008885d550ccd600, 0x0000000000000001,
     89   0x010882d54dcce800, 0x0000000000000001,
     90   0x003331ffffccce00, 0x0000000000000001,
     91   0x0088855554ccd000, 0x0000000000000001,
     92   0x0108825551cce200, 0x0000000000000001,
     93   0x01887f554fccee00, 0x0000000000000001,
     94   0x0055535555000200, 0x0000000000000001,
     95   0x00d5505552001400, 0x0000000000000001,
     96   0x01554d5550002000, 0x0000000000000001,
     97   0x01d54a554f002600, 0x0000000000000001,
     98   0x007ffcfffd001200, 0x0000000000000001,
     99   0x00fff9fffb001e00, 0x0000000000000001,
    100   0x017ff6fffa002400, 0x0000000000000001,
    101   0x00fff9fffa002400, 0x0000000000000001,
    102   0x007ffcfffe000c00, 0x0000000000000001,
    103   0x00fff9fffd001200, 0x0000000000000001,
    104   0x007ffcfffd001200, 0x0000000000000001,
    105   0xfffffffffe000c00, 0x0000000000000001,
    106   0x007ffcffff000600, 0x0000000000000001,
    107   0xffffffffff000600, 0x0000000000000001,
    108   0xff80030000000000, 0x0000000000000001,
    109   0xff2aafaaaa000400, 0x0000000000000001,
    110   0xff80030000000000, 0x0000000000000001,
    111   0xff00060000fffa00, 0x0000000000000001,
    112   0xfeaab2aaaafffe00, 0x0000000000000001,
    113   0xfe7780aaaa333600, 0x0000000000000001,
    114   0xff80030000fffa00, 0x0000000000000001,
    115   0xff2aafaaaafffe00, 0x0000000000000001,
    116   0xfef77daaaa333600, 0x0000000000000001,
    117   0xfef77d2aad333600, 0x0000000000000001,
    118   0xffaaacaaaa000400, 0x0000000000000001,
    119   0xff777aaaa9333c00, 0x0000000000000001,
    120   0xff777a2aac333c00, 0x0000000000000001,
    121   0xff7779aab0333600, 0x0000000000000001,
    122   0xffcccdffff333800, 0x0000000000000001,
    123   0xffcccd8002333800, 0x0000000000000001,
    124   0xffcccd0006333200, 0x0000000000000001,
    125   0xffcccc800b332600, 0x0000000000000001,
    126   0xffffff8003000000, 0x0000000000000001,
    127   0xffffff0006fffa00, 0x0000000000000001,
    128   0xfffffe800bffee00, 0x0000000000000001,
    129   0xfffffe0011ffdc00, 0x0000000000000001,
    130   0xffffff8003fffa00, 0x0000000000000001,
    131   0xffffff0008ffee00, 0x0000000000000001,
    132   0xfffffe800effdc00, 0x0000000000000001,
    133   0xfffffe7f8f02dc00, 0x0000000000000001,
    134   0xffffff8004fff400, 0x0000000000000001,
    135   0xffffff000affe200, 0x0000000000000001,
    136   0xfffffeff8b02e200, 0x0000000000000001,
    137   0xfffffeff0c05dc00, 0x0000000000000001,
    138   0xffffff8005ffee00, 0x0000000000000001,
    139   0xffffff7f8602ee00, 0x0000000000000001,
    140   0xffffff7f0705e800, 0x0000000000000001,
    141   0xffffff7e8908dc00, 0x0000000000000001,
    142   0xffffffff80030000, 0x0000000000000001,
    143   0xffffffff0105fa00, 0x0000000000000001,
    144   0xfffffffe8308ee00, 0x0000000000000001,
    145   0xfffffffe060bdc00, 0x0000000000000001,
    146   0xffffffff8102fa00, 0x0000000000000001,
    147   0xffffffff0305ee00, 0x0000000000000001,
    148   0xfffffffe8608dc00, 0x0000000000000001,
    149   0xfffffffe66099c00, 0x0000000000000001,
    150   0xffffffff8202f400, 0x0000000000000001,
    151   0xffffffff0505e200, 0x0000000000000001,
    152   0xfffffffee506a200, 0x0000000000000001,
    153   0xfffffffee206b400, 0x0000000000000001,
    154   0xffffffff8302ee00, 0x0000000000000001,
    155   0xffffffff6303ae00, 0x0000000000000001,
    156   0xffffffff6003c000, 0x0000000000000001,
    157   0xffffffff5e03cc00, 0x0000000000000001,
    158   0xffffffffe000c000, 0x0000000000000001,
    159   0xffffffffdd00d200, 0x0000000000000001,
    160   0xffffffffdb00de00, 0x0000000000000001,
    161   0xffffffffda00e400, 0x0000000000000001,
    162   0x0000000000000000, 0xfffffffffffffffb,
    163   0x0000000000000000, 0xfffffffffffffff7,
    164   0x0000000000000000, 0xfffffffffffffff5,
    165   0x0000000000000000, 0xfffffffffffffff5,
    166   0x0000000000000000, 0xfffffffffffffffd,
    167   0x0000000000000000, 0xfffffffffffffffb,
    168   0x0000000000000000, 0xfffffffffffffffb,
    169   0x0000000000000000, 0xfffffffffffffffd,
    170   0x0000000000000000, 0xffffffffffffffff,
    171   0x0000000000000000, 0xffffffffffffffff,
    172   0x0000000000000000, 0x0000000000000001,
    173   0x0000000000000000, 0x0000000000000005,
    174   0x0000000000000000, 0x0000000000000001,
    175   0x0000000000000000, 0x0000000000000003,
    176   0x0000000000000000, 0x0000000000000007,
    177   0x0000000000000000, 0x0000000000000047,
    178   0x0000000000000000, 0x0000000000000003,
    179   0x0000000000000000, 0x0000000000000007,
    180   0x0000000000000000, 0x0000000000000047,
    181   0x0000000000000000, 0x0000000000000141,
    182   0x0000000000000000, 0x0000000000000005,
    183   0x0000000000000000, 0x0000000000000045,
    184   0x0000000000000000, 0x000000000000013f,
    185   0x0000000000000000, 0x000000000000023b,
    186   0x0000000000000000, 0x0000000000000041,
    187   0x0000000000000000, 0x000000000000013b,
    188   0x0000000000000000, 0x0000000000000237,
    189   0x0000000000000000, 0x0000000000000335,
    190   0x0000000000000000, 0x00000000000000fb,
    191   0x0000000000000000, 0x00000000000001f7,
    192   0x0000000000000000, 0x00000000000002f5,
    193   0x0000000000000000, 0x00000000000102ef,
    194   0x0000000000000000, 0x00000000000000fd,
    195   0x0000000000000000, 0x00000000000001fb,
    196   0x0000000000000000, 0x00000000000101f5,
    197   0x0000000000000000, 0x00000000000201f1,
    198   0x0000000000000000, 0x00000000000000ff,
    199   0x0000000000000000, 0x00000000000100f9,
    200   0x0000000000000000, 0x00000000000200f5,
    201   0x0000000000000000, 0x00000000000300f3,
    202   0x0000000000000000, 0x000000000000fffb,
    203   0x0000000000000000, 0x000000000001fff7,
    204   0x0000000000000000, 0x000000000002fff5,
    205   0x0000000000000000, 0x000000006669665b,
    206   0x0000000000000000, 0x000000000000fffd,
    207   0x0000000000000000, 0x000000000001fffb,
    208   0x0000000000000000, 0x0000000066686661,
    209   0x0000000000000000, 0x000000011113110b,
    210   0x0000000000000000, 0x000000000000ffff,
    211   0x0000000000000000, 0x0000000066676665,
    212   0x0000000000000000, 0x000000011112110f,
    213   0x0000000000000000, 0x0000000211121109,
    214   0x0000000000000000, 0x0000000066666667,
    215   0x0000000000000000, 0x0000000111111111,
    216   0x0000000000000000, 0x000000021111110b,
    217   0x0000000000000000, 0x0000000311111107,
    218   0x0000000000000000, 0x00000000aaaaaaab,
    219   0x0000000000000000, 0x00000001aaaaaaa5,
    220   0x0000000000000000, 0x00000002aaaaaaa1,
    221   0x0000000000000000, 0x00000003aaaaaa9f,
    222   0x0000000000000000, 0x00000000fffffffb,
    223   0x0000000000000000, 0x00000001fffffff7,
    224   0x0000000000000000, 0x00000002fffffff5,
    225   0x0000000000000000, 0x00000001fffffff5,
    226   0x0000000000000000, 0x00000000fffffffd,
    227   0x0000000000000000, 0x00000001fffffffb,
    228   0x0000000000000000, 0x00000000fffffffb,
    229   0x0000000000000000, 0xfffffffffffffffd,
    230   0x0000000000000000, 0x00000000ffffffff,
    231   0x0000000000000000, 0xffffffffffffffff,
    232   0x0000000000000000, 0xffffffff00000001,
    233   0x0000000000000000, 0xfffffffe55555555,
    234   0x0000000000000000, 0xffffffff00000001,
    235   0x0000000000000000, 0xfffffffe00000003,
    236   0x0000000000000000, 0xfffffffd55555557,
    237   0x0000000000000000, 0xfffffffceeeeeeef,
    238   0x0000000000000000, 0xffffffff00000003,
    239   0x0000000000000000, 0xfffffffe55555557,
    240   0x0000000000000000, 0xfffffffdeeeeeeef,
    241   0x0000000000000000, 0xfffffffdeeedeeef,
    242   0x0000000000000000, 0xffffffff55555555,
    243   0x0000000000000000, 0xfffffffeeeeeeeed,
    244   0x0000000000000000, 0xfffffffeeeedeeed,
    245   0x0000000000000000, 0xfffffffeeeeceeef,
    246   0x0000000000000000, 0xffffffff99999999,
    247   0x0000000000000000, 0xffffffff99989999,
    248   0x0000000000000000, 0xffffffff9997999b,
    249   0x0000000000000000, 0xffffffff9996999f,
    250   0x0000000000000000, 0xffffffffffff0001,
    251   0x0000000000000000, 0xfffffffffffe0003,
    252   0x0000000000000000, 0xfffffffffffd0007,
    253   0x0000000000000000, 0xfffffffffffc000d,
    254   0x0000000000000000, 0xffffffffffff0003,
    255   0x0000000000000000, 0xfffffffffffe0007,
    256   0x0000000000000000, 0xfffffffffffd000d,
    257   0x0000000000000000, 0xfffffffffffcff0d,
    258   0x0000000000000000, 0xffffffffffff0005,
    259   0x0000000000000000, 0xfffffffffffe000b,
    260   0x0000000000000000, 0xfffffffffffdff0b,
    261   0x0000000000000000, 0xfffffffffffdfe0d,
    262   0x0000000000000000, 0xffffffffffff0007,
    263   0x0000000000000000, 0xfffffffffffeff07,
    264   0x0000000000000000, 0xfffffffffffefe09,
    265   0x0000000000000000, 0xfffffffffffefd0d,
    266   0x0000000000000000, 0xffffffffffffff01,
    267   0x0000000000000000, 0xfffffffffffffe03,
    268   0x0000000000000000, 0xfffffffffffffd07,
    269   0x0000000000000000, 0xfffffffffffffc0d,
    270   0x0000000000000000, 0xffffffffffffff03,
    271   0x0000000000000000, 0xfffffffffffffe07,
    272   0x0000000000000000, 0xfffffffffffffd0d,
    273   0x0000000000000000, 0xfffffffffffffccd,
    274   0x0000000000000000, 0xffffffffffffff05,
    275   0x0000000000000000, 0xfffffffffffffe0b,
    276   0x0000000000000000, 0xfffffffffffffdcb,
    277   0x0000000000000000, 0xfffffffffffffdc5,
    278   0x0000000000000000, 0xffffffffffffff07,
    279   0x0000000000000000, 0xfffffffffffffec7,
    280   0x0000000000000000, 0xfffffffffffffec1,
    281   0x0000000000000000, 0xfffffffffffffebd,
    282   0x0000000000000000, 0xffffffffffffffc1,
    283   0x0000000000000000, 0xffffffffffffffbb,
    284   0x0000000000000000, 0xffffffffffffffb7,
    285   0x0000000000000000, 0xffffffffffffffb5,
    286   0xfffffffffffffffa, 0xfffffffffffffff5,
    287   0xfffffffffffffff6, 0xffffffffffffffed,
    288   0xfffffffffffffff4, 0xffffffffffffffe9,
    289   0xfffffffffffffff4, 0xffffffffffffffe9,
    290   0xfffffffffffffffc, 0xfffffffffffffff9,
    291   0xfffffffffffffffa, 0xfffffffffffffff5,
    292   0xfffffffffffffffa, 0xfffffffffffffff5,
    293   0xfffffffffffffffc, 0xfffffffffffffff9,
    294   0xfffffffffffffffe, 0xfffffffffffffffd,
    295   0xfffffffffffffffe, 0xfffffffffffffffd,
    296   0x0000000000000000, 0x0000000000000001,
    297   0x0000000000000004, 0x0000000000000009,
    298   0x0000000000000000, 0x0000000000000001,
    299   0x0000000000000002, 0x0000000000000005,
    300   0x0000000000000006, 0x000000000000000d,
    301   0x0000000000000046, 0x000000000000008d,
    302   0x0000000000000002, 0x0000000000000005,
    303   0x0000000000000006, 0x000000000000000d,
    304   0x0000000000000046, 0x000000000000008d,
    305   0x0000000000000140, 0x0000000000000281,
    306   0x0000000000000004, 0x0000000000000009,
    307   0x0000000000000044, 0x0000000000000089,
    308   0x000000000000013e, 0x000000000000027d,
    309   0x000000000000023a, 0x0000000000000475,
    310   0x0000000000000040, 0x0000000000000081,
    311   0x000000000000013a, 0x0000000000000275,
    312   0x0000000000000236, 0x000000000000046d,
    313   0x0000000000000334, 0x0000000000000669,
    314   0x00000000000000fa, 0x00000000000001f5,
    315   0x00000000000001f6, 0x00000000000003ed,
    316   0x00000000000002f4, 0x00000000000005e9,
    317   0x00000000000102ee, 0x00000000000205dd,
    318   0x00000000000000fc, 0x00000000000001f9,
    319   0x00000000000001fa, 0x00000000000003f5,
    320   0x00000000000101f4, 0x00000000000203e9,
    321   0x00000000000201f0, 0x00000000000403e1,
    322   0x00000000000000fe, 0x00000000000001fd,
    323   0x00000000000100f8, 0x00000000000201f1,
    324   0x00000000000200f4, 0x00000000000401e9,
    325   0x00000000000300f2, 0x00000000000601e5,
    326   0x000000000000fffa, 0x000000000001fff5,
    327   0x000000000001fff6, 0x000000000003ffed,
    328   0x000000000002fff4, 0x000000000005ffe9,
    329   0x000000006669665a, 0x00000000ccd2ccb5,
    330   0x000000000000fffc, 0x000000000001fff9,
    331   0x000000000001fffa, 0x000000000003fff5,
    332   0x0000000066686660, 0x00000000ccd0ccc1,
    333   0x000000011113110a, 0x0000000222262215,
    334   0x000000000000fffe, 0x000000000001fffd,
    335   0x0000000066676664, 0x00000000ccceccc9,
    336   0x000000011112110e, 0x000000022224221d,
    337   0x0000000211121108, 0x0000000422242211,
    338   0x0000000066666666, 0x00000000cccccccd,
    339   0x0000000111111110, 0x0000000222222221,
    340   0x000000021111110a, 0x0000000422222215,
    341   0x0000000311111106, 0x000000062222220d,
    342   0x00000000aaaaaaaa, 0x0000000155555555,
    343   0x00000001aaaaaaa4, 0x0000000355555549,
    344   0x00000002aaaaaaa0, 0x0000000555555541,
    345   0x00000003aaaaaa9e, 0x000000075555553d,
    346   0x00000000fffffffa, 0x00000001fffffff5,
    347   0x00000001fffffff6, 0x00000003ffffffed,
    348   0x00000002fffffff4, 0x00000005ffffffe9,
    349   0x00000001fffffff4, 0x00000003ffffffe9,
    350   0x00000000fffffffc, 0x00000001fffffff9,
    351   0x00000001fffffffa, 0x00000003fffffff5,
    352   0x00000000fffffffa, 0x00000001fffffff5,
    353   0xfffffffffffffffc, 0xfffffffffffffff9,
    354   0x00000000fffffffe, 0x00000001fffffffd,
    355   0xfffffffffffffffe, 0xfffffffffffffffd,
    356   0xffffffff00000000, 0xfffffffe00000001,
    357   0xfffffffe55555554, 0xfffffffcaaaaaaa9,
    358   0xffffffff00000000, 0xfffffffe00000001,
    359   0xfffffffe00000002, 0xfffffffc00000005,
    360   0xfffffffd55555556, 0xfffffffaaaaaaaad,
    361   0xfffffffceeeeeeee, 0xfffffff9dddddddd,
    362   0xffffffff00000002, 0xfffffffe00000005,
    363   0xfffffffe55555556, 0xfffffffcaaaaaaad,
    364   0xfffffffdeeeeeeee, 0xfffffffbdddddddd,
    365   0xfffffffdeeedeeee, 0xfffffffbdddbdddd,
    366   0xffffffff55555554, 0xfffffffeaaaaaaa9,
    367   0xfffffffeeeeeeeec, 0xfffffffdddddddd9,
    368   0xfffffffeeeedeeec, 0xfffffffddddbddd9,
    369   0xfffffffeeeeceeee, 0xfffffffdddd9dddd,
    370   0xffffffff99999998, 0xffffffff33333331,
    371   0xffffffff99989998, 0xffffffff33313331,
    372   0xffffffff9997999a, 0xffffffff332f3335,
    373   0xffffffff9996999e, 0xffffffff332d333d,
    374   0xffffffffffff0000, 0xfffffffffffe0001,
    375   0xfffffffffffe0002, 0xfffffffffffc0005,
    376   0xfffffffffffd0006, 0xfffffffffffa000d,
    377   0xfffffffffffc000c, 0xfffffffffff80019,
    378   0xffffffffffff0002, 0xfffffffffffe0005,
    379   0xfffffffffffe0006, 0xfffffffffffc000d,
    380   0xfffffffffffd000c, 0xfffffffffffa0019,
    381   0xfffffffffffcff0c, 0xfffffffffff9fe19,
    382   0xffffffffffff0004, 0xfffffffffffe0009,
    383   0xfffffffffffe000a, 0xfffffffffffc0015,
    384   0xfffffffffffdff0a, 0xfffffffffffbfe15,
    385   0xfffffffffffdfe0c, 0xfffffffffffbfc19,
    386   0xffffffffffff0006, 0xfffffffffffe000d,
    387   0xfffffffffffeff06, 0xfffffffffffdfe0d,
    388   0xfffffffffffefe08, 0xfffffffffffdfc11,
    389   0xfffffffffffefd0c, 0xfffffffffffdfa19,
    390   0xffffffffffffff00, 0xfffffffffffffe01,
    391   0xfffffffffffffe02, 0xfffffffffffffc05,
    392   0xfffffffffffffd06, 0xfffffffffffffa0d,
    393   0xfffffffffffffc0c, 0xfffffffffffff819,
    394   0xffffffffffffff02, 0xfffffffffffffe05,
    395   0xfffffffffffffe06, 0xfffffffffffffc0d,
    396   0xfffffffffffffd0c, 0xfffffffffffffa19,
    397   0xfffffffffffffccc, 0xfffffffffffff999,
    398   0xffffffffffffff04, 0xfffffffffffffe09,
    399   0xfffffffffffffe0a, 0xfffffffffffffc15,
    400   0xfffffffffffffdca, 0xfffffffffffffb95,
    401   0xfffffffffffffdc4, 0xfffffffffffffb89,
    402   0xffffffffffffff06, 0xfffffffffffffe0d,
    403   0xfffffffffffffec6, 0xfffffffffffffd8d,
    404   0xfffffffffffffec0, 0xfffffffffffffd81,
    405   0xfffffffffffffebc, 0xfffffffffffffd79,
    406   0xffffffffffffffc0, 0xffffffffffffff81,
    407   0xffffffffffffffba, 0xffffffffffffff75,
    408   0xffffffffffffffb6, 0xffffffffffffff6d,
    409   0xffffffffffffffb4, 0xffffffffffffff69,
    410   0xfffffffffffffff4, 0xffffffffffffff41,
    411   0xffffffffffffffec, 0xfffffffffffffec1,
    412   0xffffffffffffffe8, 0xfffffffffffffe81,
    413   0xffffffffffffffe8, 0xfffffffffffffe81,
    414   0xfffffffffffffff8, 0xffffffffffffff81,
    415   0xfffffffffffffff4, 0xffffffffffffff41,
    416   0xfffffffffffffff4, 0xffffffffffffff41,
    417   0xfffffffffffffff8, 0xffffffffffffff81,
    418   0xfffffffffffffffc, 0xffffffffffffffc1,
    419   0xfffffffffffffffc, 0xffffffffffffffc1,
    420   0x0000000000000000, 0x0000000000000001,
    421   0x0000000000000008, 0x0000000000000081,
    422   0x0000000000000000, 0x0000000000000001,
    423   0x0000000000000004, 0x0000000000000041,
    424   0x000000000000000c, 0x00000000000000c1,
    425   0x000000000000008c, 0x00000000000008c1,
    426   0x0000000000000004, 0x0000000000000041,
    427   0x000000000000000c, 0x00000000000000c1,
    428   0x000000000000008c, 0x00000000000008c1,
    429   0x0000000000000280, 0x0000000000002801,
    430   0x0000000000000008, 0x0000000000000081,
    431   0x0000000000000088, 0x0000000000000881,
    432   0x000000000000027c, 0x00000000000027c1,
    433   0x0000000000000474, 0x0000000000004741,
    434   0x0000000000000080, 0x0000000000000801,
    435   0x0000000000000274, 0x0000000000002741,
    436   0x000000000000046c, 0x00000000000046c1,
    437   0x0000000000000668, 0x0000000000006681,
    438   0x00000000000001f4, 0x0000000000001f41,
    439   0x00000000000003ec, 0x0000000000003ec1,
    440   0x00000000000005e8, 0x0000000000005e81,
    441   0x00000000000205dc, 0x0000000000205dc1,
    442   0x00000000000001f8, 0x0000000000001f81,
    443   0x00000000000003f4, 0x0000000000003f41,
    444   0x00000000000203e8, 0x0000000000203e81,
    445   0x00000000000403e0, 0x0000000000403e01,
    446   0x00000000000001fc, 0x0000000000001fc1,
    447   0x00000000000201f0, 0x0000000000201f01,
    448   0x00000000000401e8, 0x0000000000401e81,
    449   0x00000000000601e4, 0x0000000000601e41,
    450   0x000000000001fff4, 0x00000000001fff41,
    451   0x000000000003ffec, 0x00000000003ffec1,
    452   0x000000000005ffe8, 0x00000000005ffe81,
    453   0x00000000ccd2ccb4, 0x0000000ccd2ccb41,
    454   0x000000000001fff8, 0x00000000001fff81,
    455   0x000000000003fff4, 0x00000000003fff41,
    456   0x00000000ccd0ccc0, 0x0000000ccd0ccc01,
    457   0x0000000222262214, 0x0000002222622141,
    458   0x000000000001fffc, 0x00000000001fffc1,
    459   0x00000000ccceccc8, 0x0000000ccceccc81,
    460   0x000000022224221c, 0x00000022224221c1,
    461   0x0000000422242210, 0x0000004222422101,
    462   0x00000000cccccccc, 0x0000000cccccccc1,
    463   0x0000000222222220, 0x0000002222222201,
    464   0x0000000422222214, 0x0000004222222141,
    465   0x000000062222220c, 0x00000062222220c1,
    466   0x0000000155555554, 0x0000001555555541,
    467   0x0000000355555548, 0x0000003555555481,
    468   0x0000000555555540, 0x0000005555555401,
    469   0x000000075555553c, 0x00000075555553c1,
    470   0x00000001fffffff4, 0x0000001fffffff41,
    471   0x00000003ffffffec, 0x0000003ffffffec1,
    472   0x00000005ffffffe8, 0x0000005ffffffe81,
    473   0x00000003ffffffe8, 0x0000003ffffffe81,
    474   0x00000001fffffff8, 0x0000001fffffff81,
    475   0x00000003fffffff4, 0x0000003fffffff41,
    476   0x00000001fffffff4, 0x0000001fffffff41,
    477   0xfffffffffffffff8, 0xffffffffffffff81,
    478   0x00000001fffffffc, 0x0000001fffffffc1,
    479   0xfffffffffffffffc, 0xffffffffffffffc1,
    480   0xfffffffe00000000, 0xffffffe000000001,
    481   0xfffffffcaaaaaaa8, 0xffffffcaaaaaaa81,
    482   0xfffffffe00000000, 0xffffffe000000001,
    483   0xfffffffc00000004, 0xffffffc000000041,
    484   0xfffffffaaaaaaaac, 0xffffffaaaaaaaac1,
    485   0xfffffff9dddddddc, 0xffffff9dddddddc1,
    486   0xfffffffe00000004, 0xffffffe000000041,
    487   0xfffffffcaaaaaaac, 0xffffffcaaaaaaac1,
    488   0xfffffffbdddddddc, 0xffffffbdddddddc1,
    489   0xfffffffbdddbdddc, 0xffffffbdddbdddc1,
    490   0xfffffffeaaaaaaa8, 0xffffffeaaaaaaa81,
    491   0xfffffffdddddddd8, 0xffffffdddddddd81,
    492   0xfffffffddddbddd8, 0xffffffddddbddd81,
    493   0xfffffffdddd9dddc, 0xffffffdddd9dddc1,
    494   0xffffffff33333330, 0xfffffff333333301,
    495   0xffffffff33313330, 0xfffffff333133301,
    496   0xffffffff332f3334, 0xfffffff332f33341,
    497   0xffffffff332d333c, 0xfffffff332d333c1,
    498   0xfffffffffffe0000, 0xffffffffffe00001,
    499   0xfffffffffffc0004, 0xffffffffffc00041,
    500   0xfffffffffffa000c, 0xffffffffffa000c1,
    501   0xfffffffffff80018, 0xffffffffff800181,
    502   0xfffffffffffe0004, 0xffffffffffe00041,
    503   0xfffffffffffc000c, 0xffffffffffc000c1,
    504   0xfffffffffffa0018, 0xffffffffffa00181,
    505   0xfffffffffff9fe18, 0xffffffffff9fe181,
    506   0xfffffffffffe0008, 0xffffffffffe00081,
    507   0xfffffffffffc0014, 0xffffffffffc00141,
    508   0xfffffffffffbfe14, 0xffffffffffbfe141,
    509   0xfffffffffffbfc18, 0xffffffffffbfc181,
    510   0xfffffffffffe000c, 0xffffffffffe000c1,
    511   0xfffffffffffdfe0c, 0xffffffffffdfe0c1,
    512   0xfffffffffffdfc10, 0xffffffffffdfc101,
    513   0xfffffffffffdfa18, 0xffffffffffdfa181,
    514   0xfffffffffffffe00, 0xffffffffffffe001,
    515   0xfffffffffffffc04, 0xffffffffffffc041,
    516   0xfffffffffffffa0c, 0xffffffffffffa0c1,
    517   0xfffffffffffff818, 0xffffffffffff8181,
    518   0xfffffffffffffe04, 0xffffffffffffe041,
    519   0xfffffffffffffc0c, 0xffffffffffffc0c1,
    520   0xfffffffffffffa18, 0xffffffffffffa181,
    521   0xfffffffffffff998, 0xffffffffffff9981,
    522   0xfffffffffffffe08, 0xffffffffffffe081,
    523   0xfffffffffffffc14, 0xffffffffffffc141,
    524   0xfffffffffffffb94, 0xffffffffffffb941,
    525   0xfffffffffffffb88, 0xffffffffffffb881,
    526   0xfffffffffffffe0c, 0xffffffffffffe0c1,
    527   0xfffffffffffffd8c, 0xffffffffffffd8c1,
    528   0xfffffffffffffd80, 0xffffffffffffd801,
    529   0xfffffffffffffd78, 0xffffffffffffd781,
    530   0xffffffffffffff80, 0xfffffffffffff801,
    531   0xffffffffffffff74, 0xfffffffffffff741,
    532   0xffffffffffffff6c, 0xfffffffffffff6c1,
    533   0xffffffffffffff68, 0xfffffffffffff681,
    534   0xffffffffffffff40, 0xfffffffffffffd13,
    535   0xfffffffffffffec0, 0xfffffffffffffb1f,
    536   0xfffffffffffffe80, 0xfffffffffffffa25,
    537   0xfffffffffffffe80, 0xfffffffffffffa25,
    538   0xffffffffffffff80, 0xfffffffffffffe0d,
    539   0xffffffffffffff40, 0xfffffffffffffd13,
    540   0xffffffffffffff40, 0xfffffffffffffd13,
    541   0xffffffffffffff80, 0xfffffffffffffe0d,
    542   0xffffffffffffffc0, 0xffffffffffffff07,
    543   0xffffffffffffffc0, 0xffffffffffffff07,
    544   0x0000000000000000, 0x0000000000000001,
    545   0x0000000000000080, 0x00000000000001f5,
    546   0x0000000000000000, 0x0000000000000001,
    547   0x0000000000000040, 0x00000000000000fb,
    548   0x00000000000000c0, 0x00000000000002ef,
    549   0x00000000000008c0, 0x000000000000222f,
    550   0x0000000000000040, 0x00000000000000fb,
    551   0x00000000000000c0, 0x00000000000002ef,
    552   0x00000000000008c0, 0x000000000000222f,
    553   0x0000000000002800, 0x0000000000009c41,
    554   0x0000000000000080, 0x00000000000001f5,
    555   0x0000000000000880, 0x0000000000002135,
    556   0x00000000000027c0, 0x0000000000009b47,
    557   0x0000000000004740, 0x0000000000011653,
    558   0x0000000000000800, 0x0000000000001f41,
    559   0x0000000000002740, 0x0000000000009953,
    560   0x00000000000046c0, 0x000000000001145f,
    561   0x0000000000006680, 0x0000000000019065,
    562   0x0000000000001f40, 0x0000000000007a13,
    563   0x0000000000003ec0, 0x000000000000f51f,
    564   0x0000000000005e80, 0x0000000000017125,
    565   0x0000000000205dc0, 0x00000000007e6e37,
    566   0x0000000000001f80, 0x0000000000007b0d,
    567   0x0000000000003f40, 0x000000000000f713,
    568   0x0000000000203e80, 0x00000000007df425,
    569   0x0000000000403e00, 0x0000000000faf231,
    570   0x0000000000001fc0, 0x0000000000007c07,
    571   0x0000000000201f00, 0x00000000007d7919,
    572   0x0000000000401e80, 0x0000000000fa7725,
    573   0x0000000000601e40, 0x000000000177762b,
    574   0x00000000001fff40, 0x00000000007cfd13,
    575   0x00000000003ffec0, 0x0000000000f9fb1f,
    576   0x00000000005ffe80, 0x000000000176fa25,
    577   0x0000000ccd2ccb40, 0x000000320176f9f3,
    578   0x00000000001fff80, 0x00000000007cfe0d,
    579   0x00000000003fff40, 0x0000000000f9fd13,
    580   0x0000000ccd0ccc00, 0x0000003200f9fce1,
    581   0x0000002222622140, 0x00000085564f51e3,
    582   0x00000000001fffc0, 0x00000000007cff07,
    583   0x0000000ccceccc80, 0x00000032007cfed5,
    584   0x00000022224221c0, 0x0000008555d253d7,
    585   0x0000004222422100, 0x0000010255d250e9,
    586   0x0000000cccccccc0, 0x00000031ffffffcf,
    587   0x0000002222222200, 0x00000085555554d1,
    588   0x0000004222222140, 0x00000102555551e3,
    589   0x00000062222220c0, 0x0000017f55554fef,
    590   0x0000001555555540, 0x0000005355555503,
    591   0x0000003555555480, 0x000000d055555215,
    592   0x0000005555555400, 0x0000014d55555021,
    593   0x00000075555553c0, 0x000001ca55554f27,
    594   0x0000001fffffff40, 0x0000007cfffffd13,
    595   0x0000003ffffffec0, 0x000000f9fffffb1f,
    596   0x0000005ffffffe80, 0x00000176fffffa25,
    597   0x0000003ffffffe80, 0x000000f9fffffa25,
    598   0x0000001fffffff80, 0x0000007cfffffe0d,
    599   0x0000003fffffff40, 0x000000f9fffffd13,
    600   0x0000001fffffff40, 0x0000007cfffffd13,
    601   0xffffffffffffff80, 0xfffffffffffffe0d,
    602   0x0000001fffffffc0, 0x0000007cffffff07,
    603   0xffffffffffffffc0, 0xffffffffffffff07,
    604   0xffffffe000000000, 0xffffff8300000001,
    605   0xffffffcaaaaaaa80, 0xffffff2faaaaaa05,
    606   0xffffffe000000000, 0xffffff8300000001,
    607   0xffffffc000000040, 0xffffff06000000fb,
    608   0xffffffaaaaaaaac0, 0xfffffeb2aaaaaaff,
    609   0xffffff9dddddddc0, 0xfffffe80aaaaaa37,
    610   0xffffffe000000040, 0xffffff83000000fb,
    611   0xffffffcaaaaaaac0, 0xffffff2faaaaaaff,
    612   0xffffffbdddddddc0, 0xfffffefdaaaaaa37,
    613   0xffffffbdddbdddc0, 0xfffffefdaa2daa37,
    614   0xffffffeaaaaaaa80, 0xffffffacaaaaaa05,
    615   0xffffffdddddddd80, 0xffffff7aaaaaa93d,
    616   0xffffffddddbddd80, 0xffffff7aaa2da93d,
    617   0xffffffdddd9dddc0, 0xffffff7aa9b0aa37,
    618   0xfffffff333333300, 0xffffffcdffffff39,
    619   0xfffffff333133300, 0xffffffcdff82ff39,
    620   0xfffffff332f33340, 0xffffffcdff060033,
    621   0xfffffff332d333c0, 0xffffffcdfe890227,
    622   0xffffffffffe00000, 0xffffffffff830001,
    623   0xffffffffffc00040, 0xffffffffff0600fb,
    624   0xffffffffffa000c0, 0xfffffffffe8902ef,
    625   0xffffffffff800180, 0xfffffffffe0c05dd,
    626   0xffffffffffe00040, 0xffffffffff8300fb,
    627   0xffffffffffc000c0, 0xffffffffff0602ef,
    628   0xffffffffffa00180, 0xfffffffffe8905dd,
    629   0xffffffffff9fe180, 0xfffffffffe8888dd,
    630   0xffffffffffe00080, 0xffffffffff8301f5,
    631   0xffffffffffc00140, 0xffffffffff0604e3,
    632   0xffffffffffbfe140, 0xffffffffff0587e3,
    633   0xffffffffffbfc180, 0xffffffffff050bdd,
    634   0xffffffffffe000c0, 0xffffffffff8302ef,
    635   0xffffffffffdfe0c0, 0xffffffffff8285ef,
    636   0xffffffffffdfc100, 0xffffffffff8209e9,
    637   0xffffffffffdfa180, 0xffffffffff818edd,
    638   0xffffffffffffe000, 0xffffffffffff8301,
    639   0xffffffffffffc040, 0xffffffffffff06fb,
    640   0xffffffffffffa0c0, 0xfffffffffffe8bef,
    641   0xffffffffffff8180, 0xfffffffffffe11dd,
    642   0xffffffffffffe040, 0xffffffffffff83fb,
    643   0xffffffffffffc0c0, 0xffffffffffff08ef,
    644   0xffffffffffffa180, 0xfffffffffffe8edd,
    645   0xffffffffffff9980, 0xfffffffffffe6f9d,
    646   0xffffffffffffe080, 0xffffffffffff84f5,
    647   0xffffffffffffc140, 0xffffffffffff0ae3,
    648   0xffffffffffffb940, 0xfffffffffffeeba3,
    649   0xffffffffffffb880, 0xfffffffffffee8b5,
    650   0xffffffffffffe0c0, 0xffffffffffff85ef,
    651   0xffffffffffffd8c0, 0xffffffffffff66af,
    652   0xffffffffffffd800, 0xffffffffffff63c1,
    653   0xffffffffffffd780, 0xffffffffffff61cd,
    654   0xfffffffffffff800, 0xffffffffffffe0c1,
    655   0xfffffffffffff740, 0xffffffffffffddd3,
    656   0xfffffffffffff6c0, 0xffffffffffffdbdf,
    657   0xfffffffffffff680, 0xffffffffffffdae5,
    658   0xfffffffffffffd12, 0xfffffffffffffd0d,
    659   0xfffffffffffffb1e, 0xfffffffffffffb15,
    660   0xfffffffffffffa24, 0xfffffffffffffa19,
    661   0xfffffffffffffa24, 0xfffffffffffffa19,
    662   0xfffffffffffffe0c, 0xfffffffffffffe09,
    663   0xfffffffffffffd12, 0xfffffffffffffd0d,
    664   0xfffffffffffffd12, 0xfffffffffffffd0d,
    665   0xfffffffffffffe0c, 0xfffffffffffffe09,
    666   0xffffffffffffff06, 0xffffffffffffff05,
    667   0xffffffffffffff06, 0xffffffffffffff05,
    668   0x0000000000000000, 0x0000000000000001,
    669   0x00000000000001f4, 0x00000000000001f9,
    670   0x0000000000000000, 0x0000000000000001,
    671   0x00000000000000fa, 0x00000000000000fd,
    672   0x00000000000002ee, 0x00000000000002f5,
    673   0x000000000000222e, 0x0000000000002275,
    674   0x00000000000000fa, 0x00000000000000fd,
    675   0x00000000000002ee, 0x00000000000002f5,
    676   0x000000000000222e, 0x0000000000002275,
    677   0x0000000000009c40, 0x0000000000009d81,
    678   0x00000000000001f4, 0x00000000000001f9,
    679   0x0000000000002134, 0x0000000000002179,
    680   0x0000000000009b46, 0x0000000000009c85,
    681   0x0000000000011652, 0x000000000001188d,
    682   0x0000000000001f40, 0x0000000000001f81,
    683   0x0000000000009952, 0x0000000000009a8d,
    684   0x000000000001145e, 0x0000000000011695,
    685   0x0000000000019064, 0x0000000000019399,
    686   0x0000000000007a12, 0x0000000000007b0d,
    687   0x000000000000f51e, 0x000000000000f715,
    688   0x0000000000017124, 0x0000000000017419,
    689   0x00000000007e6e36, 0x00000000007f7125,
    690   0x0000000000007b0c, 0x0000000000007c09,
    691   0x000000000000f712, 0x000000000000f90d,
    692   0x00000000007df424, 0x00000000007ef619,
    693   0x0000000000faf230, 0x0000000000fcf421,
    694   0x0000000000007c06, 0x0000000000007d05,
    695   0x00000000007d7918, 0x00000000007e7a11,
    696   0x0000000000fa7724, 0x0000000000fc7819,
    697   0x000000000177762a, 0x00000000017a771d,
    698   0x00000000007cfd12, 0x00000000007dfd0d,
    699   0x0000000000f9fb1e, 0x0000000000fbfb15,
    700   0x000000000176fa24, 0x000000000179fa19,
    701   0x000000320176f9f2, 0x0000003267e0604d,
    702   0x00000000007cfe0c, 0x00000000007dfe09,
    703   0x0000000000f9fd12, 0x0000000000fbfd0d,
    704   0x0000003200f9fce0, 0x0000003267626341,
    705   0x00000085564f51e2, 0x00000086676262ed,
    706   0x00000000007cff06, 0x00000000007dff05,
    707   0x00000032007cfed4, 0x0000003266e46539,
    708   0x0000008555d253d6, 0x0000008666e464e5,
    709   0x0000010255d250e8, 0x0000010466e461f1,
    710   0x00000031ffffffce, 0x0000003266666635,
    711   0x00000085555554d0, 0x00000086666665e1,
    712   0x00000102555551e2, 0x00000104666662ed,
    713   0x0000017f55554fee, 0x00000182666660f5,
    714   0x0000005355555502, 0x00000053ffffffad,
    715   0x000000d055555214, 0x000000d1fffffcb9,
    716   0x0000014d55555020, 0x0000014ffffffac1,
    717   0x000001ca55554f26, 0x000001cdfffff9c5,
    718   0x0000007cfffffd12, 0x0000007dfffffd0d,
    719   0x000000f9fffffb1e, 0x000000fbfffffb15,
    720   0x00000176fffffa24, 0x00000179fffffa19,
    721   0x000000f9fffffa24, 0x000000fbfffffa19,
    722   0x0000007cfffffe0c, 0x0000007dfffffe09,
    723   0x000000f9fffffd12, 0x000000fbfffffd0d,
    724   0x0000007cfffffd12, 0x0000007dfffffd0d,
    725   0xfffffffffffffe0c, 0xfffffffffffffe09,
    726   0x0000007cffffff06, 0x0000007dffffff05,
    727   0xffffffffffffff06, 0xffffffffffffff05,
    728   0xffffff8300000000, 0xffffff8200000001,
    729   0xffffff2faaaaaa04, 0xffffff2dffffff59,
    730   0xffffff8300000000, 0xffffff8200000001,
    731   0xffffff06000000fa, 0xffffff04000000fd,
    732   0xfffffeb2aaaaaafe, 0xfffffeb000000055,
    733   0xfffffe80aaaaaa36, 0xfffffe7d99999925,
    734   0xffffff83000000fa, 0xffffff82000000fd,
    735   0xffffff2faaaaaafe, 0xffffff2e00000055,
    736   0xfffffefdaaaaaa36, 0xfffffefb99999925,
    737   0xfffffefdaa2daa36, 0xfffffefb991b9925,
    738   0xffffffacaaaaaa04, 0xffffffabffffff59,
    739   0xffffff7aaaaaa93c, 0xffffff7999999829,
    740   0xffffff7aaa2da93c, 0xffffff79991b9829,
    741   0xffffff7aa9b0aa36, 0xffffff79989d9925,
    742   0xffffffcdffffff38, 0xffffffcd999998d1,
    743   0xffffffcdff82ff38, 0xffffffcd991b98d1,
    744   0xffffffcdff060032, 0xffffffcd989d99cd,
    745   0xffffffcdfe890226, 0xffffffcd981f9bc5,
    746   0xffffffffff830000, 0xffffffffff820001,
    747   0xffffffffff0600fa, 0xffffffffff0400fd,
    748   0xfffffffffe8902ee, 0xfffffffffe8602f5,
    749   0xfffffffffe0c05dc, 0xfffffffffe0805e9,
    750   0xffffffffff8300fa, 0xffffffffff8200fd,
    751   0xffffffffff0602ee, 0xffffffffff0402f5,
    752   0xfffffffffe8905dc, 0xfffffffffe8605e9,
    753   0xfffffffffe8888dc, 0xfffffffffe8587e9,
    754   0xffffffffff8301f4, 0xffffffffff8201f9,
    755   0xffffffffff0604e2, 0xffffffffff0404ed,
    756   0xffffffffff0587e2, 0xffffffffff0386ed,
    757   0xffffffffff050bdc, 0xffffffffff0309e9,
    758   0xffffffffff8302ee, 0xffffffffff8202f5,
    759   0xffffffffff8285ee, 0xffffffffff8184f5,
    760   0xffffffffff8209e8, 0xffffffffff8107f1,
    761   0xffffffffff818edc, 0xffffffffff808be9,
    762   0xffffffffffff8300, 0xffffffffffff8201,
    763   0xffffffffffff06fa, 0xffffffffffff04fd,
    764   0xfffffffffffe8bee, 0xfffffffffffe88f5,
    765   0xfffffffffffe11dc, 0xfffffffffffe0de9,
    766   0xffffffffffff83fa, 0xffffffffffff82fd,
    767   0xffffffffffff08ee, 0xffffffffffff06f5,
    768   0xfffffffffffe8edc, 0xfffffffffffe8be9,
    769   0xfffffffffffe6f9c, 0xfffffffffffe6c69,
    770   0xffffffffffff84f4, 0xffffffffffff83f9,
    771   0xffffffffffff0ae2, 0xffffffffffff08ed,
    772   0xfffffffffffeeba2, 0xfffffffffffee96d,
    773   0xfffffffffffee8b4, 0xfffffffffffee679,
    774   0xffffffffffff85ee, 0xffffffffffff84f5,
    775   0xffffffffffff66ae, 0xffffffffffff6575,
    776   0xffffffffffff63c0, 0xffffffffffff6281,
    777   0xffffffffffff61cc, 0xffffffffffff6089,
    778   0xffffffffffffe0c0, 0xffffffffffffe081,
    779   0xffffffffffffddd2, 0xffffffffffffdd8d,
    780   0xffffffffffffdbde, 0xffffffffffffdb95,
    781   0xffffffffffffdae4, 0xffffffffffffda99,
    782   0xfffffffffffffd0c, 0xfffffffffffffd07,
    783   0xfffffffffffffb14, 0xfffffffffffffb0b,
    784   0xfffffffffffffa18, 0xfffffffffffffa0d,
    785   0xfffffffffffffa18, 0xfffffffffffffa0d,
    786   0xfffffffffffffe08, 0xfffffffffffffe05,
    787   0xfffffffffffffd0c, 0xfffffffffffffd07,
    788   0xfffffffffffffd0c, 0xfffffffffffffd07,
    789   0xfffffffffffffe08, 0xfffffffffffffe05,
    790   0xffffffffffffff04, 0xffffffffffffff03,
    791   0xffffffffffffff04, 0xffffffffffffff03,
    792   0x0000000000000000, 0x0000000000000001,
    793   0x00000000000001f8, 0x00000000000001fd,
    794   0x0000000000000000, 0x0000000000000001,
    795   0x00000000000000fc, 0x00000000000000ff,
    796   0x00000000000002f4, 0x00000000000002fb,
    797   0x0000000000002274, 0x00000000000022bb,
    798   0x00000000000000fc, 0x00000000000000ff,
    799   0x00000000000002f4, 0x00000000000002fb,
    800   0x0000000000002274, 0x00000000000022bb,
    801   0x0000000000009d80, 0x0000000000009ec1,
    802   0x00000000000001f8, 0x00000000000001fd,
    803   0x0000000000002178, 0x00000000000021bd,
    804   0x0000000000009c84, 0x0000000000009dc3,
    805   0x000000000001188c, 0x0000000000011ac7,
    806   0x0000000000001f80, 0x0000000000001fc1,
    807   0x0000000000009a8c, 0x0000000000009bc7,
    808   0x0000000000011694, 0x00000000000118cb,
    809   0x0000000000019398, 0x00000000000196cd,
    810   0x0000000000007b0c, 0x0000000000007c07,
    811   0x000000000000f714, 0x000000000000f90b,
    812   0x0000000000017418, 0x000000000001770d,
    813   0x00000000007f7124, 0x0000000000807413,
    814   0x0000000000007c08, 0x0000000000007d05,
    815   0x000000000000f90c, 0x000000000000fb07,
    816   0x00000000007ef618, 0x00000000007ff80d,
    817   0x0000000000fcf420, 0x0000000000fef611,
    818   0x0000000000007d04, 0x0000000000007e03,
    819   0x00000000007e7a10, 0x00000000007f7b09,
    820   0x0000000000fc7818, 0x0000000000fe790d,
    821   0x00000000017a771c, 0x00000000017d780f,
    822   0x00000000007dfd0c, 0x00000000007efd07,
    823   0x0000000000fbfb14, 0x0000000000fdfb0b,
    824   0x000000000179fa18, 0x00000000017cfa0d,
    825   0x0000003267e0604c, 0x00000032ce49c6a7,
    826   0x00000000007dfe08, 0x00000000007efe05,
    827   0x0000000000fbfd0c, 0x0000000000fdfd07,
    828   0x0000003267626340, 0x00000032cdcac9a1,
    829   0x00000086676262ec, 0x00000087787573f7,
    830   0x00000000007dff04, 0x00000000007eff03,
    831   0x0000003266e46538, 0x00000032cd4bcb9d,
    832   0x0000008666e464e4, 0x0000008777f675f3,
    833   0x0000010466e461f0, 0x0000010677f672f9,
    834   0x0000003266666634, 0x00000032cccccc9b,
    835   0x00000086666665e0, 0x00000087777776f1,
    836   0x00000104666662ec, 0x00000106777773f7,
    837   0x00000182666660f4, 0x00000185777771fb,
    838   0x00000053ffffffac, 0x00000054aaaaaa57,
    839   0x000000d1fffffcb8, 0x000000d3aaaaa75d,
    840   0x0000014ffffffac0, 0x00000152aaaaa561,
    841   0x000001cdfffff9c4, 0x000001d1aaaaa463,
    842   0x0000007dfffffd0c, 0x0000007efffffd07,
    843   0x000000fbfffffb14, 0x000000fdfffffb0b,
    844   0x00000179fffffa18, 0x0000017cfffffa0d,
    845   0x000000fbfffffa18, 0x000000fdfffffa0d,
    846   0x0000007dfffffe08, 0x0000007efffffe05,
    847   0x000000fbfffffd0c, 0x000000fdfffffd07,
    848   0x0000007dfffffd0c, 0x0000007efffffd07,
    849   0xfffffffffffffe08, 0xfffffffffffffe05,
    850   0x0000007dffffff04, 0x0000007effffff03,
    851   0xffffffffffffff04, 0xffffffffffffff03,
    852   0xffffff8200000000, 0xffffff8100000001,
    853   0xffffff2dffffff58, 0xffffff2c555554ad,
    854   0xffffff8200000000, 0xffffff8100000001,
    855   0xffffff04000000fc, 0xffffff02000000ff,
    856   0xfffffeb000000054, 0xfffffead555555ab,
    857   0xfffffe7d99999924, 0xfffffe7a88888813,
    858   0xffffff82000000fc, 0xffffff81000000ff,
    859   0xffffff2e00000054, 0xffffff2c555555ab,
    860   0xfffffefb99999924, 0xfffffef988888813,
    861   0xfffffefb991b9924, 0xfffffef988098813,
    862   0xffffffabffffff58, 0xffffffab555554ad,
    863   0xffffff7999999828, 0xffffff7888888715,
    864   0xffffff79991b9828, 0xffffff7888098715,
    865   0xffffff79989d9924, 0xffffff78878a8813,
    866   0xffffffcd999998d0, 0xffffffcd33333269,
    867   0xffffffcd991b98d0, 0xffffffcd32b43269,
    868   0xffffffcd989d99cc, 0xffffffcd32353367,
    869   0xffffffcd981f9bc4, 0xffffffcd31b63563,
    870   0xffffffffff820000, 0xffffffffff810001,
    871   0xffffffffff0400fc, 0xffffffffff0200ff,
    872   0xfffffffffe8602f4, 0xfffffffffe8302fb,
    873   0xfffffffffe0805e8, 0xfffffffffe0405f5,
    874   0xffffffffff8200fc, 0xffffffffff8100ff,
    875   0xffffffffff0402f4, 0xffffffffff0202fb,
    876   0xfffffffffe8605e8, 0xfffffffffe8305f5,
    877   0xfffffffffe8587e8, 0xfffffffffe8286f5,
    878   0xffffffffff8201f8, 0xffffffffff8101fd,
    879   0xffffffffff0404ec, 0xffffffffff0204f7,
    880   0xffffffffff0386ec, 0xffffffffff0185f7,
    881   0xffffffffff0309e8, 0xffffffffff0107f5,
    882   0xffffffffff8202f4, 0xffffffffff8102fb,
    883   0xffffffffff8184f4, 0xffffffffff8083fb,
    884   0xffffffffff8107f0, 0xffffffffff8005f9,
    885   0xffffffffff808be8, 0xffffffffff7f88f5,
    886   0xffffffffffff8200, 0xffffffffffff8101,
    887   0xffffffffffff04fc, 0xffffffffffff02ff,
    888   0xfffffffffffe88f4, 0xfffffffffffe85fb,
    889   0xfffffffffffe0de8, 0xfffffffffffe09f5,
    890   0xffffffffffff82fc, 0xffffffffffff81ff,
    891   0xffffffffffff06f4, 0xffffffffffff04fb,
    892   0xfffffffffffe8be8, 0xfffffffffffe88f5,
    893   0xfffffffffffe6c68, 0xfffffffffffe6935,
    894   0xffffffffffff83f8, 0xffffffffffff82fd,
    895   0xffffffffffff08ec, 0xffffffffffff06f7,
    896   0xfffffffffffee96c, 0xfffffffffffee737,
    897   0xfffffffffffee678, 0xfffffffffffee43d,
    898   0xffffffffffff84f4, 0xffffffffffff83fb,
    899   0xffffffffffff6574, 0xffffffffffff643b,
    900   0xffffffffffff6280, 0xffffffffffff6141,
    901   0xffffffffffff6088, 0xffffffffffff5f45,
    902   0xffffffffffffe080, 0xffffffffffffe041,
    903   0xffffffffffffdd8c, 0xffffffffffffdd47,
    904   0xffffffffffffdb94, 0xffffffffffffdb4b,
    905   0xffffffffffffda98, 0xffffffffffffda4d,
    906   0xfffffffffffffd06, 0xfffffffffffd0013,
    907   0xfffffffffffffb0a, 0xfffffffffffb001f,
    908   0xfffffffffffffa0c, 0xfffffffffffa0025,
    909   0xfffffffffffffa0c, 0xfffffffffffa0025,
    910   0xfffffffffffffe04, 0xfffffffffffe000d,
    911   0xfffffffffffffd06, 0xfffffffffffd0013,
    912   0xfffffffffffffd06, 0xfffffffffffd0013,
    913   0xfffffffffffffe04, 0xfffffffffffe000d,
    914   0xffffffffffffff02, 0xffffffffffff0007,
    915   0xffffffffffffff02, 0xffffffffffff0007,
    916   0x0000000000000000, 0x0000000000000001,
    917   0x00000000000001fc, 0x000000000001fff5,
    918   0x0000000000000000, 0x0000000000000001,
    919   0x00000000000000fe, 0x000000000000fffb,
    920   0x00000000000002fa, 0x000000000002ffef,
    921   0x00000000000022ba, 0x000000000022ff2f,
    922   0x00000000000000fe, 0x000000000000fffb,
    923   0x00000000000002fa, 0x000000000002ffef,
    924   0x00000000000022ba, 0x000000000022ff2f,
    925   0x0000000000009ec0, 0x00000000009ffc41,
    926   0x00000000000001fc, 0x000000000001fff5,
    927   0x00000000000021bc, 0x000000000021ff35,
    928   0x0000000000009dc2, 0x00000000009efc47,
    929   0x0000000000011ac6, 0x00000000011cf953,
    930   0x0000000000001fc0, 0x00000000001fff41,
    931   0x0000000000009bc6, 0x00000000009cfc53,
    932   0x00000000000118ca, 0x00000000011af95f,
    933   0x00000000000196cc, 0x000000000199f665,
    934   0x0000000000007c06, 0x00000000007cfd13,
    935   0x000000000000f90a, 0x0000000000fafa1f,
    936   0x000000000001770c, 0x000000000179f725,
    937   0x0000000000807412, 0x000000008173f737,
    938   0x0000000000007d04, 0x00000000007dfd0d,
    939   0x000000000000fb06, 0x0000000000fcfa13,
    940   0x00000000007ff80c, 0x0000000080f6fa25,
    941   0x0000000000fef610, 0x0000000100f1fa31,
    942   0x0000000000007e02, 0x00000000007efd07,
    943   0x00000000007f7b08, 0x000000008078fd19,
    944   0x0000000000fe790c, 0x000000010073fd25,
    945   0x00000000017d780e, 0x00000001806ffd2b,
    946   0x00000000007efd06, 0x000000007ffa0013,
    947   0x0000000000fdfb0a, 0x00000000fff5001f,
    948   0x00000000017cfa0c, 0x000000017ff10025,
    949   0x00000032ce49c6a6, 0x000033337ff0ccf3,
    950   0x00000000007efe04, 0x000000007ffb000d,
    951   0x0000000000fdfd06, 0x00000000fff70013,
    952   0x00000032cdcac9a0, 0x00003332fff6cce1,
    953   0x00000087787573f6, 0x00008886554bcce3,
    954   0x00000000007eff02, 0x000000007ffc0007,
    955   0x00000032cd4bcb9c, 0x000033327ffbccd5,
    956   0x0000008777f675f2, 0x00008885d550ccd7,
    957   0x0000010677f672f8, 0x00010882d54dcce9,
    958   0x00000032cccccc9a, 0x00003331ffffcccf,
    959   0x00000087777776f0, 0x000088855554ccd1,
    960   0x00000106777773f6, 0x000108825551cce3,
    961   0x00000185777771fa, 0x0001887f554fccef,
    962   0x00000054aaaaaa56, 0x0000555355550003,
    963   0x000000d3aaaaa75c, 0x0000d55055520015,
    964   0x00000152aaaaa560, 0x0001554d55500021,
    965   0x000001d1aaaaa462, 0x0001d54a554f0027,
    966   0x0000007efffffd06, 0x00007ffcfffd0013,
    967   0x000000fdfffffb0a, 0x0000fff9fffb001f,
    968   0x0000017cfffffa0c, 0x00017ff6fffa0025,
    969   0x000000fdfffffa0c, 0x0000fff9fffa0025,
    970   0x0000007efffffe04, 0x00007ffcfffe000d,
    971   0x000000fdfffffd06, 0x0000fff9fffd0013,
    972   0x0000007efffffd06, 0x00007ffcfffd0013,
    973   0xfffffffffffffe04, 0xfffffffffffe000d,
    974   0x0000007effffff02, 0x00007ffcffff0007,
    975   0xffffffffffffff02, 0xffffffffffff0007,
    976   0xffffff8100000000, 0xffff800300000001,
    977   0xffffff2c555554ac, 0xffff2aafaaaa0005,
    978   0xffffff8100000000, 0xffff800300000001,
    979   0xffffff02000000fe, 0xffff00060000fffb,
    980   0xfffffead555555aa, 0xfffeaab2aaaaffff,
    981   0xfffffe7a88888812, 0xfffe7780aaaa3337,
    982   0xffffff81000000fe, 0xffff80030000fffb,
    983   0xffffff2c555555aa, 0xffff2aafaaaaffff,
    984   0xfffffef988888812, 0xfffef77daaaa3337,
    985   0xfffffef988098812, 0xfffef77d2aad3337,
    986   0xffffffab555554ac, 0xffffaaacaaaa0005,
    987   0xffffff7888888714, 0xffff777aaaa9333d,
    988   0xffffff7888098714, 0xffff777a2aac333d,
    989   0xffffff78878a8812, 0xffff7779aab03337,
    990   0xffffffcd33333268, 0xffffcccdffff3339,
    991   0xffffffcd32b43268, 0xffffcccd80023339,
    992   0xffffffcd32353366, 0xffffcccd00063333,
    993   0xffffffcd31b63562, 0xffffcccc800b3327,
    994   0xffffffffff810000, 0xffffffff80030001,
    995   0xffffffffff0200fe, 0xffffffff0006fffb,
    996   0xfffffffffe8302fa, 0xfffffffe800bffef,
    997   0xfffffffffe0405f4, 0xfffffffe0011ffdd,
    998   0xffffffffff8100fe, 0xffffffff8003fffb,
    999   0xffffffffff0202fa, 0xffffffff0008ffef,
   1000   0xfffffffffe8305f4, 0xfffffffe800effdd,
   1001   0xfffffffffe8286f4, 0xfffffffe7f8f02dd,
   1002   0xffffffffff8101fc, 0xffffffff8004fff5,
   1003   0xffffffffff0204f6, 0xffffffff000affe3,
   1004   0xffffffffff0185f6, 0xfffffffeff8b02e3,
   1005   0xffffffffff0107f4, 0xfffffffeff0c05dd,
   1006   0xffffffffff8102fa, 0xffffffff8005ffef,
   1007   0xffffffffff8083fa, 0xffffffff7f8602ef,
   1008   0xffffffffff8005f8, 0xffffffff7f0705e9,
   1009   0xffffffffff7f88f4, 0xffffffff7e8908dd,
   1010   0xffffffffffff8100, 0xffffffffff800301,
   1011   0xffffffffffff02fe, 0xffffffffff0105fb,
   1012   0xfffffffffffe85fa, 0xfffffffffe8308ef,
   1013   0xfffffffffffe09f4, 0xfffffffffe060bdd,
   1014   0xffffffffffff81fe, 0xffffffffff8102fb,
   1015   0xffffffffffff04fa, 0xffffffffff0305ef,
   1016   0xfffffffffffe88f4, 0xfffffffffe8608dd,
   1017   0xfffffffffffe6934, 0xfffffffffe66099d,
   1018   0xffffffffffff82fc, 0xffffffffff8202f5,
   1019   0xffffffffffff06f6, 0xffffffffff0505e3,
   1020   0xfffffffffffee736, 0xfffffffffee506a3,
   1021   0xfffffffffffee43c, 0xfffffffffee206b5,
   1022   0xffffffffffff83fa, 0xffffffffff8302ef,
   1023   0xffffffffffff643a, 0xffffffffff6303af,
   1024   0xffffffffffff6140, 0xffffffffff6003c1,
   1025   0xffffffffffff5f44, 0xffffffffff5e03cd,
   1026   0xffffffffffffe040, 0xffffffffffe000c1,
   1027   0xffffffffffffdd46, 0xffffffffffdd00d3,
   1028   0xffffffffffffdb4a, 0xffffffffffdb00df,
   1029   0xffffffffffffda4c, 0xffffffffffda00e5,
   1030   0xfffffffffffd0012, 0xfffffffffffd000d,
   1031   0xfffffffffffb001e, 0xfffffffffffb0015,
   1032   0xfffffffffffa0024, 0xfffffffffffa0019,
   1033   0xfffffffffffa0024, 0xfffffffffffa0019,
   1034   0xfffffffffffe000c, 0xfffffffffffe0009,
   1035   0xfffffffffffd0012, 0xfffffffffffd000d,
   1036   0xfffffffffffd0012, 0xfffffffffffd000d,
   1037   0xfffffffffffe000c, 0xfffffffffffe0009,
   1038   0xffffffffffff0006, 0xffffffffffff0005,
   1039   0xffffffffffff0006, 0xffffffffffff0005,
   1040   0x0000000000000000, 0x0000000000000001,
   1041   0x000000000001fff4, 0x000000000001fff9,
   1042   0x0000000000000000, 0x0000000000000001,
   1043   0x000000000000fffa, 0x000000000000fffd,
   1044   0x000000000002ffee, 0x000000000002fff5,
   1045   0x000000000022ff2e, 0x000000000022ff75,
   1046   0x000000000000fffa, 0x000000000000fffd,
   1047   0x000000000002ffee, 0x000000000002fff5,
   1048   0x000000000022ff2e, 0x000000000022ff75,
   1049   0x00000000009ffc40, 0x00000000009ffd81,
   1050   0x000000000001fff4, 0x000000000001fff9,
   1051   0x000000000021ff34, 0x000000000021ff79,
   1052   0x00000000009efc46, 0x00000000009efd85,
   1053   0x00000000011cf952, 0x00000000011cfb8d,
   1054   0x00000000001fff40, 0x00000000001fff81,
   1055   0x00000000009cfc52, 0x00000000009cfd8d,
   1056   0x00000000011af95e, 0x00000000011afb95,
   1057   0x000000000199f664, 0x000000000199f999,
   1058   0x00000000007cfd12, 0x00000000007cfe0d,
   1059   0x0000000000fafa1e, 0x0000000000fafc15,
   1060   0x000000000179f724, 0x000000000179fa19,
   1061   0x000000008173f736, 0x000000008174fa25,
   1062   0x00000000007dfd0c, 0x00000000007dfe09,
   1063   0x0000000000fcfa12, 0x0000000000fcfc0d,
   1064   0x0000000080f6fa24, 0x0000000080f7fc19,
   1065   0x0000000100f1fa30, 0x0000000100f3fc21,
   1066   0x00000000007efd06, 0x00000000007efe05,
   1067   0x000000008078fd18, 0x000000008079fe11,
   1068   0x000000010073fd24, 0x000000010075fe19,
   1069   0x00000001806ffd2a, 0x000000018072fe1d,
   1070   0x000000007ffa0012, 0x000000007ffb000d,
   1071   0x00000000fff5001e, 0x00000000fff70015,
   1072   0x000000017ff10024, 0x000000017ff40019,
   1073   0x000033337ff0ccf2, 0x00003333e65a334d,
   1074   0x000000007ffb000c, 0x000000007ffc0009,
   1075   0x00000000fff70012, 0x00000000fff9000d,
   1076   0x00003332fff6cce0, 0x00003333665f3341,
   1077   0x00008886554bcce2, 0x00008887665edded,
   1078   0x000000007ffc0006, 0x000000007ffd0005,
   1079   0x000033327ffbccd4, 0x00003332e6633339,
   1080   0x00008885d550ccd6, 0x00008886e662dde5,
   1081   0x00010882d54dcce8, 0x00010884e65fddf1,
   1082   0x00003331ffffccce, 0x0000333266663335,
   1083   0x000088855554ccd0, 0x000088866665dde1,
   1084   0x000108825551cce2, 0x000108846662dded,
   1085   0x0001887f554fccee, 0x000188826660ddf5,
   1086   0x0000555355550002, 0x00005553ffffaaad,
   1087   0x0000d55055520014, 0x0000d551fffcaab9,
   1088   0x0001554d55500020, 0x0001554ffffaaac1,
   1089   0x0001d54a554f0026, 0x0001d54dfff9aac5,
   1090   0x00007ffcfffd0012, 0x00007ffdfffd000d,
   1091   0x0000fff9fffb001e, 0x0000fffbfffb0015,
   1092   0x00017ff6fffa0024, 0x00017ff9fffa0019,
   1093   0x0000fff9fffa0024, 0x0000fffbfffa0019,
   1094   0x00007ffcfffe000c, 0x00007ffdfffe0009,
   1095   0x0000fff9fffd0012, 0x0000fffbfffd000d,
   1096   0x00007ffcfffd0012, 0x00007ffdfffd000d,
   1097   0xfffffffffffe000c, 0xfffffffffffe0009,
   1098   0x00007ffcffff0006, 0x00007ffdffff0005,
   1099   0xffffffffffff0006, 0xffffffffffff0005,
   1100   0xffff800300000000, 0xffff800200000001,
   1101   0xffff2aafaaaa0004, 0xffff2aadffff5559,
   1102   0xffff800300000000, 0xffff800200000001,
   1103   0xffff00060000fffa, 0xffff00040000fffd,
   1104   0xfffeaab2aaaafffe, 0xfffeaab000005555,
   1105   0xfffe7780aaaa3336, 0xfffe777d99992225,
   1106   0xffff80030000fffa, 0xffff80020000fffd,
   1107   0xffff2aafaaaafffe, 0xffff2aae00005555,
   1108   0xfffef77daaaa3336, 0xfffef77b99992225,
   1109   0xfffef77d2aad3336, 0xfffef77b199b2225,
   1110   0xffffaaacaaaa0004, 0xffffaaabffff5559,
   1111   0xffff777aaaa9333c, 0xffff777999982229,
   1112   0xffff777a2aac333c, 0xffff7779199a2229,
   1113   0xffff7779aab03336, 0xffff7778999d2225,
   1114   0xffffcccdffff3338, 0xffffcccd9998ccd1,
   1115   0xffffcccd80023338, 0xffffcccd199accd1,
   1116   0xffffcccd00063332, 0xffffcccc999dcccd,
   1117   0xffffcccc800b3326, 0xffffcccc19a1ccc5,
   1118   0xffffffff80030000, 0xffffffff80020001,
   1119   0xffffffff0006fffa, 0xffffffff0004fffd,
   1120   0xfffffffe800bffee, 0xfffffffe8008fff5,
   1121   0xfffffffe0011ffdc, 0xfffffffe000dffe9,
   1122   0xffffffff8003fffa, 0xffffffff8002fffd,
   1123   0xffffffff0008ffee, 0xffffffff0006fff5,
   1124   0xfffffffe800effdc, 0xfffffffe800bffe9,
   1125   0xfffffffe7f8f02dc, 0xfffffffe7f8c01e9,
   1126   0xffffffff8004fff4, 0xffffffff8003fff9,
   1127   0xffffffff000affe2, 0xffffffff0008ffed,
   1128   0xfffffffeff8b02e2, 0xfffffffeff8901ed,
   1129   0xfffffffeff0c05dc, 0xfffffffeff0a03e9,
   1130   0xffffffff8005ffee, 0xffffffff8004fff5,
   1131   0xffffffff7f8602ee, 0xffffffff7f8501f5,
   1132   0xffffffff7f0705e8, 0xffffffff7f0603f1,
   1133   0xffffffff7e8908dc, 0xffffffff7e8805e9,
   1134   0xffffffffff800300, 0xffffffffff800201,
   1135   0xffffffffff0105fa, 0xffffffffff0103fd,
   1136   0xfffffffffe8308ee, 0xfffffffffe8305f5,
   1137   0xfffffffffe060bdc, 0xfffffffffe0607e9,
   1138   0xffffffffff8102fa, 0xffffffffff8101fd,
   1139   0xffffffffff0305ee, 0xffffffffff0303f5,
   1140   0xfffffffffe8608dc, 0xfffffffffe8605e9,
   1141   0xfffffffffe66099c, 0xfffffffffe660669,
   1142   0xffffffffff8202f4, 0xffffffffff8201f9,
   1143   0xffffffffff0505e2, 0xffffffffff0503ed,
   1144   0xfffffffffee506a2, 0xfffffffffee5046d,
   1145   0xfffffffffee206b4, 0xfffffffffee20479,
   1146   0xffffffffff8302ee, 0xffffffffff8301f5,
   1147   0xffffffffff6303ae, 0xffffffffff630275,
   1148   0xffffffffff6003c0, 0xffffffffff600281,
   1149   0xffffffffff5e03cc, 0xffffffffff5e0289,
   1150   0xffffffffffe000c0, 0xffffffffffe00081,
   1151   0xffffffffffdd00d2, 0xffffffffffdd008d,
   1152   0xffffffffffdb00de, 0xffffffffffdb0095,
   1153   0xffffffffffda00e4, 0xffffffffffda0099,
   1154   0xfffffffffffd000c, 0xfffffffffffd0007,
   1155   0xfffffffffffb0014, 0xfffffffffffb000b,
   1156   0xfffffffffffa0018, 0xfffffffffffa000d,
   1157   0xfffffffffffa0018, 0xfffffffffffa000d,
   1158   0xfffffffffffe0008, 0xfffffffffffe0005,
   1159   0xfffffffffffd000c, 0xfffffffffffd0007,
   1160   0xfffffffffffd000c, 0xfffffffffffd0007,
   1161   0xfffffffffffe0008, 0xfffffffffffe0005,
   1162   0xffffffffffff0004, 0xffffffffffff0003,
   1163   0xffffffffffff0004, 0xffffffffffff0003,
   1164   0x0000000000000000, 0x0000000000000001,
   1165   0x000000000001fff8, 0x000000000001fffd,
   1166   0x0000000000000000, 0x0000000000000001,
   1167   0x000000000000fffc, 0x000000000000ffff,
   1168   0x000000000002fff4, 0x000000000002fffb,
   1169   0x000000000022ff74, 0x000000000022ffbb,
   1170   0x000000000000fffc, 0x000000000000ffff,
   1171   0x000000000002fff4, 0x000000000002fffb,
   1172   0x000000000022ff74, 0x000000000022ffbb,
   1173   0x00000000009ffd80, 0x00000000009ffec1,
   1174   0x000000000001fff8, 0x000000000001fffd,
   1175   0x000000000021ff78, 0x000000000021ffbd,
   1176   0x00000000009efd84, 0x00000000009efec3,
   1177   0x00000000011cfb8c, 0x00000000011cfdc7,
   1178   0x00000000001fff80, 0x00000000001fffc1,
   1179   0x00000000009cfd8c, 0x00000000009cfec7,
   1180   0x00000000011afb94, 0x00000000011afdcb,
   1181   0x000000000199f998, 0x000000000199fccd,
   1182   0x00000000007cfe0c, 0x00000000007cff07,
   1183   0x0000000000fafc14, 0x0000000000fafe0b,
   1184   0x000000000179fa18, 0x000000000179fd0d,
   1185   0x000000008174fa24, 0x000000008175fd13,
   1186   0x00000000007dfe08, 0x00000000007dff05,
   1187   0x0000000000fcfc0c, 0x0000000000fcfe07,
   1188   0x0000000080f7fc18, 0x0000000080f8fe0d,
   1189   0x0000000100f3fc20, 0x0000000100f5fe11,
   1190   0x00000000007efe04, 0x00000000007eff03,
   1191   0x000000008079fe10, 0x00000000807aff09,
   1192   0x000000010075fe18, 0x000000010077ff0d,
   1193   0x000000018072fe1c, 0x000000018075ff0f,
   1194   0x000000007ffb000c, 0x000000007ffc0007,
   1195   0x00000000fff70014, 0x00000000fff9000b,
   1196   0x000000017ff40018, 0x000000017ff7000d,
   1197   0x00003333e65a334c, 0x000033344cc399a7,
   1198   0x000000007ffc0008, 0x000000007ffd0005,
   1199   0x00000000fff9000c, 0x00000000fffb0007,
   1200   0x00003333665f3340, 0x00003333ccc799a1,
   1201   0x00008887665eddec, 0x000088887771eef7,
   1202   0x000000007ffd0004, 0x000000007ffe0003,
   1203   0x00003332e6633338, 0x000033334cca999d,
   1204   0x00008886e662dde4, 0x00008887f774eef3,
   1205   0x00010884e65fddf0, 0x00010886f771eef9,
   1206   0x0000333266663334, 0x00003332cccc999b,
   1207   0x000088866665dde0, 0x000088877776eef1,
   1208   0x000108846662ddec, 0x000108867773eef7,
   1209   0x000188826660ddf4, 0x000188857771eefb,
   1210   0x00005553ffffaaac, 0x00005554aaaa5557,
   1211   0x0000d551fffcaab8, 0x0000d553aaa7555d,
   1212   0x0001554ffffaaac0, 0x00015552aaa55561,
   1213   0x0001d54dfff9aac4, 0x0001d551aaa45563,
   1214   0x00007ffdfffd000c, 0x00007ffefffd0007,
   1215   0x0000fffbfffb0014, 0x0000fffdfffb000b,
   1216   0x00017ff9fffa0018, 0x00017ffcfffa000d,
   1217   0x0000fffbfffa0018, 0x0000fffdfffa000d,
   1218   0x00007ffdfffe0008, 0x00007ffefffe0005,
   1219   0x0000fffbfffd000c, 0x0000fffdfffd0007,
   1220   0x00007ffdfffd000c, 0x00007ffefffd0007,
   1221   0xfffffffffffe0008, 0xfffffffffffe0005,
   1222   0x00007ffdffff0004, 0x00007ffeffff0003,
   1223   0xffffffffffff0004, 0xffffffffffff0003,
   1224   0xffff800200000000, 0xffff800100000001,
   1225   0xffff2aadffff5558, 0xffff2aac5554aaad,
   1226   0xffff800200000000, 0xffff800100000001,
   1227   0xffff00040000fffc, 0xffff00020000ffff,
   1228   0xfffeaab000005554, 0xfffeaaad5555aaab,
   1229   0xfffe777d99992224, 0xfffe777a88881113,
   1230   0xffff80020000fffc, 0xffff80010000ffff,
   1231   0xffff2aae00005554, 0xffff2aac5555aaab,
   1232   0xfffef77b99992224, 0xfffef77988881113,
   1233   0xfffef77b199b2224, 0xfffef77908891113,
   1234   0xffffaaabffff5558, 0xffffaaab5554aaad,
   1235   0xffff777999982228, 0xffff777888871115,
   1236   0xffff7779199a2228, 0xffff777808881115,
   1237   0xffff7778999d2224, 0xffff7777888a1113,
   1238   0xffffcccd9998ccd0, 0xffffcccd33326669,
   1239   0xffffcccd199accd0, 0xffffccccb3336669,
   1240   0xffffcccc999dcccc, 0xffffcccc33356667,
   1241   0xffffcccc19a1ccc4, 0xffffcccbb3386663,
   1242   0xffffffff80020000, 0xffffffff80010001,
   1243   0xffffffff0004fffc, 0xffffffff0002ffff,
   1244   0xfffffffe8008fff4, 0xfffffffe8005fffb,
   1245   0xfffffffe000dffe8, 0xfffffffe0009fff5,
   1246   0xffffffff8002fffc, 0xffffffff8001ffff,
   1247   0xffffffff0006fff4, 0xffffffff0004fffb,
   1248   0xfffffffe800bffe8, 0xfffffffe8008fff5,
   1249   0xfffffffe7f8c01e8, 0xfffffffe7f8900f5,
   1250   0xffffffff8003fff8, 0xffffffff8002fffd,
   1251   0xffffffff0008ffec, 0xffffffff0006fff7,
   1252   0xfffffffeff8901ec, 0xfffffffeff8700f7,
   1253   0xfffffffeff0a03e8, 0xfffffffeff0801f5,
   1254   0xffffffff8004fff4, 0xffffffff8003fffb,
   1255   0xffffffff7f8501f4, 0xffffffff7f8400fb,
   1256   0xffffffff7f0603f0, 0xffffffff7f0501f9,
   1257   0xffffffff7e8805e8, 0xffffffff7e8702f5,
   1258   0xffffffffff800200, 0xffffffffff800101,
   1259   0xffffffffff0103fc, 0xffffffffff0101ff,
   1260   0xfffffffffe8305f4, 0xfffffffffe8302fb,
   1261   0xfffffffffe0607e8, 0xfffffffffe0603f5,
   1262   0xffffffffff8101fc, 0xffffffffff8100ff,
   1263   0xffffffffff0303f4, 0xffffffffff0301fb,
   1264   0xfffffffffe8605e8, 0xfffffffffe8602f5,
   1265   0xfffffffffe660668, 0xfffffffffe660335,
   1266   0xffffffffff8201f8, 0xffffffffff8200fd,
   1267   0xffffffffff0503ec, 0xffffffffff0501f7,
   1268   0xfffffffffee5046c, 0xfffffffffee50237,
   1269   0xfffffffffee20478, 0xfffffffffee2023d,
   1270   0xffffffffff8301f4, 0xffffffffff8300fb,
   1271   0xffffffffff630274, 0xffffffffff63013b,
   1272   0xffffffffff600280, 0xffffffffff600141,
   1273   0xffffffffff5e0288, 0xffffffffff5e0145,
   1274   0xffffffffffe00080, 0xffffffffffe00041,
   1275   0xffffffffffdd008c, 0xffffffffffdd0047,
   1276   0xffffffffffdb0094, 0xffffffffffdb004b,
   1277   0xffffffffffda0098, 0xffffffffffda004d,
   1278   0xfffffffffffd0006, 0xfffffffecccccccf,
   1279   0xfffffffffffb000a, 0xfffffffe00000003,
   1280   0xfffffffffffa000c, 0xfffffffd9999999d,
   1281   0xfffffffffffa000c, 0xfffffffd9999999d,
   1282   0xfffffffffffe0004, 0xffffffff33333335,
   1283   0xfffffffffffd0006, 0xfffffffecccccccf,
   1284   0xfffffffffffd0006, 0xfffffffecccccccf,
   1285   0xfffffffffffe0004, 0xffffffff33333335,
   1286   0xffffffffffff0002, 0xffffffff9999999b,
   1287   0xffffffffffff0002, 0xffffffff9999999b,
   1288   0x0000000000000000, 0x0000000000000001,
   1289   0x000000000001fffc, 0x00000000cccccccd,
   1290   0x0000000000000000, 0x0000000000000001,
   1291   0x000000000000fffe, 0x0000000066666667,
   1292   0x000000000002fffa, 0x0000000133333333,
   1293   0x000000000022ffba, 0x0000000dfffffff3,
   1294   0x000000000000fffe, 0x0000000066666667,
   1295   0x000000000002fffa, 0x0000000133333333,
   1296   0x000000000022ffba, 0x0000000dfffffff3,
   1297   0x00000000009ffec0, 0x0000003fffffffc1,
   1298   0x000000000001fffc, 0x00000000cccccccd,
   1299   0x000000000021ffbc, 0x0000000d9999998d,
   1300   0x00000000009efec2, 0x0000003f9999995b,
   1301   0x00000000011cfdc6, 0x00000071ffffff8f,
   1302   0x00000000001fffc0, 0x0000000cccccccc1,
   1303   0x00000000009cfec6, 0x0000003ecccccc8f,
   1304   0x00000000011afdca, 0x00000071333332c3,
   1305   0x000000000199fccc, 0x000000a3ffffff5d,
   1306   0x00000000007cff06, 0x00000031ffffffcf,
   1307   0x0000000000fafe0a, 0x0000006466666603,
   1308   0x000000000179fd0c, 0x000000973333329d,
   1309   0x000000008175fd12, 0x000033c93332ff6b,
   1310   0x00000000007dff04, 0x0000003266666635,
   1311   0x0000000000fcfe06, 0x00000065333332cf,
   1312   0x0000000080f8fe0c, 0x000033973332ff9d,
   1313   0x0000000100f5fe10, 0x000066c9999932d1,
   1314   0x00000000007eff02, 0x00000032cccccc9b,
   1315   0x00000000807aff08, 0x00003364cccc9969,
   1316   0x000000010077ff0c, 0x000066973332cc9d,
   1317   0x000000018075ff0e, 0x000099c9ffff6637,
   1318   0x000000007ffc0006, 0x00003331ffffcccf,
   1319   0x00000000fff9000a, 0x0000666466660003,
   1320   0x000000017ff7000c, 0x000099973332999d,
   1321   0x000033344cc399a6, 0x147b7adeb85151ef,
   1322   0x000000007ffd0004, 0x0000333266663335,
   1323   0x00000000fffb0006, 0x000066653332cccf,
   1324   0x00003333ccc799a0, 0x147b47acb8518521,
   1325   0x000088887771eef6, 0x369d69ce962f62ff,
   1326   0x000000007ffe0002, 0x00003332cccc999b,
   1327   0x000033334cca999c, 0x147b147a51eb51ed,
   1328   0x00008887f774eef2, 0x369d369c2fc92fcb,
   1329   0x00010886f771eef8, 0x69d069cdfc95fc99,
   1330   0x00003332cccc999a, 0x147ae147851eb853,
   1331   0x000088877776eef0, 0x369d036962fc9631,
   1332   0x000108867773eef6, 0x69d0369b2fc962ff,
   1333   0x000188857771eefa, 0x7fffffffffffffff,
   1334   0x00005554aaaa5556, 0x22222221dddddddf,
   1335   0x0000d553aaa7555c, 0x55555553aaaaaaad,
   1336   0x00015552aaa55560, 0x7fffffffffffffff,
   1337   0x0001d551aaa45562, 0x7fffffffffffffff,
   1338   0x00007ffefffd0006, 0x33333331cccccccf,
   1339   0x0000fffdfffb000a, 0x6666666400000003,
   1340   0x00017ffcfffa000c, 0x7fffffffffffffff,
   1341   0x0000fffdfffa000c, 0x4cccccccffffffff,
   1342   0x00007ffefffe0004, 0x3333333233333335,
   1343   0x0000fffdfffd0006, 0x66666664cccccccf,
   1344   0x00007ffefffd0006, 0x33333331cccccccf,
   1345   0xfffffffffffe0004, 0xffffffff33333335,
   1346   0x00007ffeffff0002, 0x333333329999999b,
   1347   0xffffffffffff0002, 0xffffffff9999999b,
   1348   0xffff800100000000, 0xcccccccd00000001,
   1349   0xffff2aac5554aaac, 0xaaaaaaaabbbbbbbd,
   1350   0xffff800100000000, 0xcccccccd00000001,
   1351   0xffff00020000fffe, 0x9999999a66666667,
   1352   0xfffeaaad5555aaaa, 0x8000000000000000,
   1353   0xfffe777a88881112, 0x8000000000000000,
   1354   0xffff80010000fffe, 0xcccccccd66666667,
   1355   0xffff2aac5555aaaa, 0xaaaaaaab22222223,
   1356   0xfffef77988881112, 0x962fc963369d036b,
   1357   0xfffef77908891112, 0x962f9630036a036b,
   1358   0xffffaaab5554aaac, 0xddddddddbbbbbbbd,
   1359   0xffff777888871114, 0xc962fc95d0369d05,
   1360   0xffff777808881114, 0xc962c9629d039d05,
   1361   0xffff7777888a1112, 0xc962962fd037036b,
   1362   0xffffcccd33326668, 0xeb851eb8147ae149,
   1363   0xffffccccb3336668, 0xeb84eb84e147e149,
   1364   0xffffcccc33356666, 0xeb84b852147b47af,
   1365   0xffffcccbb3386662, 0xeb84851fae15147b,
   1366   0xffffffff80010000, 0xffffcccccccd0001,
   1367   0xffffffff0002fffe, 0xffff999a00006667,
   1368   0xfffffffe8005fffa, 0xffff6667999a3333,
   1369   0xfffffffe0009fff4, 0xffff3335999a6665,
   1370   0xffffffff8001fffe, 0xffffcccd33336667,
   1371   0xffffffff0004fffa, 0xffff999acccd3333,
   1372   0xfffffffe8008fff4, 0xffff6668cccd6665,
   1373   0xfffffffe7f8900f4, 0xffff6635999a3365,
   1374   0xffffffff8002fffc, 0xffffcccd9999cccd,
   1375   0xffffffff0006fff6, 0xffff999b9999ffff,
   1376   0xfffffffeff8700f6, 0xffff99686666ccff,
   1377   0xfffffffeff0801f4, 0xffff9935999a0065,
   1378   0xffffffff8003fffa, 0xffffccce00003333,
   1379   0xffffffff7f8400fa, 0xffffcc9acccd0033,
   1380   0xffffffff7f0501f8, 0xffffcc6800003399,
   1381   0xffffffff7e8702f4, 0xffffcc359999cd65,
   1382   0xffffffffff800100, 0xffffffcccccccd01,
   1383   0xffffffffff0101fe, 0xffffff9a00000067,
   1384   0xfffffffffe8302fa, 0xffffff6799999a33,
   1385   0xfffffffffe0603f4, 0xffffff3599999a65,
   1386   0xffffffffff8100fe, 0xffffffcd33333367,
   1387   0xffffffffff0301fa, 0xffffff9acccccd33,
   1388   0xfffffffffe8602f4, 0xffffff68cccccd65,
   1389   0xfffffffffe660334, 0xffffff5c000000a5,
   1390   0xffffffffff8200fc, 0xffffffcd999999cd,
   1391   0xffffffffff0501f6, 0xffffff9b999999ff,
   1392   0xfffffffffee50236, 0xffffff8ecccccd3f,
   1393   0xfffffffffee2023c, 0xffffff8d99999a0d,
   1394   0xffffffffff8300fa, 0xffffffce00000033,
   1395   0xffffffffff63013a, 0xffffffc133333373,
   1396   0xffffffffff600140, 0xffffffc000000041,
   1397   0xffffffffff5e0144, 0xffffffbf33333375,
   1398   0xffffffffffe00040, 0xfffffff333333341,
   1399   0xffffffffffdd0046, 0xfffffff20000000f,
   1400   0xffffffffffdb004a, 0xfffffff133333343,
   1401   0xffffffffffda004c, 0xfffffff0ccccccdd,
   1402   0xfffffffeccccccce, 0xfffffffe00000003,
   1403   0xfffffffe00000002, 0xfffffffcaaaaaaaf,
   1404   0xfffffffd9999999c, 0xfffffffc00000005,
   1405   0xfffffffd9999999c, 0xfffffffc00000005,
   1406   0xffffffff33333334, 0xfffffffeaaaaaaad,
   1407   0xfffffffeccccccce, 0xfffffffe00000003,
   1408   0xfffffffeccccccce, 0xfffffffe00000003,
   1409   0xffffffff33333334, 0xfffffffeaaaaaaad,
   1410   0xffffffff9999999a, 0xffffffff55555557,
   1411   0xffffffff9999999a, 0xffffffff55555557,
   1412   0x0000000000000000, 0x0000000000000001,
   1413   0x00000000cccccccc, 0x0000000155555555,
   1414   0x0000000000000000, 0x0000000000000001,
   1415   0x0000000066666666, 0x00000000aaaaaaab,
   1416   0x0000000133333332, 0x00000001ffffffff,
   1417   0x0000000dfffffff2, 0x000000175555553f,
   1418   0x0000000066666666, 0x00000000aaaaaaab,
   1419   0x0000000133333332, 0x00000001ffffffff,
   1420   0x0000000dfffffff2, 0x000000175555553f,
   1421   0x0000003fffffffc0, 0x0000006aaaaaaa41,
   1422   0x00000000cccccccc, 0x0000000155555555,
   1423   0x0000000d9999998c, 0x00000016aaaaaa95,
   1424   0x0000003f9999995a, 0x00000069ffffff97,
   1425   0x00000071ffffff8e, 0x000000bdffffff43,
   1426   0x0000000cccccccc0, 0x0000001555555541,
   1427   0x0000003ecccccc8e, 0x00000068aaaaaa43,
   1428   0x00000071333332c2, 0x000000bcaaaaa9ef,
   1429   0x000000a3ffffff5c, 0x0000011155555445,
   1430   0x00000031ffffffce, 0x0000005355555503,
   1431   0x0000006466666602, 0x000000a7555554af,
   1432   0x000000973333329c, 0x000000fbffffff05,
   1433   0x000033c93332ff6a, 0x0000564f5554ff07,
   1434   0x0000003266666634, 0x00000053ffffffad,
   1435   0x00000065333332ce, 0x000000a8aaaaaa03,
   1436   0x000033973332ff9c, 0x000055fbffffaa05,
   1437   0x000066c9999932d0, 0x0000ab4fffff54b1,
   1438   0x00000032cccccc9a, 0x00000054aaaaaa57,
   1439   0x00003364cccc9968, 0x000055a7ffffaa59,
   1440   0x000066973332cc9c, 0x0000aafbffff5505,
   1441   0x000099c9ffff6636, 0x00010050aaa9aa5b,
   1442   0x00003331ffffccce, 0x0000555355550003,
   1443   0x0000666466660002, 0x0000aaa75554aaaf,
   1444   0x000099973332999c, 0x0000fffbffff0005,
   1445   0x147b7adeb85151ee, 0x2223221ddddcdde3,
   1446   0x0000333266663334, 0x00005553ffffaaad,
   1447   0x000066653332ccce, 0x0000aaa8aaaa0003,
   1448   0x147b47acb8518520, 0x2222ccca8887dde1,
   1449   0x369d69ce962f62fe, 0x5b065b02fa4efa53,
   1450   0x00003332cccc999a, 0x00005554aaaa5557,
   1451   0x147b147a51eb51ec, 0x2222777688883335,
   1452   0x369d369c2fc92fca, 0x5b0605aefa4f4fa7,
   1453   0x69d069cdfc95fc98, 0x7fffffffffffffff,
   1454   0x147ae147851eb852, 0x22222221dddddddf,
   1455   0x369d036962fc9630, 0x5b05b05a4fa4fa51,
   1456   0x69d0369b2fc962fe, 0x7fffffffffffffff,
   1457   0x7fffffffffffffff, 0x7fffffffffffffff,
   1458   0x22222221ddddddde, 0x38e38e3871c71c73,
   1459   0x55555553aaaaaaac, 0x7fffffffffffffff,
   1460   0x7fffffffffffffff, 0x7fffffffffffffff,
   1461   0x7fffffffffffffff, 0x7fffffffffffffff,
   1462   0x33333331ccccccce, 0x5555555300000003,
   1463   0x6666666400000002, 0x7fffffffffffffff,
   1464   0x7fffffffffffffff, 0x7fffffffffffffff,
   1465   0x4cccccccffffffff, 0x2aaaaaaaffffffff,
   1466   0x3333333233333334, 0x55555553aaaaaaad,
   1467   0x66666664ccccccce, 0x7fffffffffffffff,
   1468   0x33333331ccccccce, 0x2aaaaaaaffffffff,
   1469   0xffffffff33333334, 0xd5555556aaaaaaa9,
   1470   0x333333329999999a, 0x5555555455555557,
   1471   0xffffffff9999999a, 0xffffffff55555557,
   1472   0xcccccccd00000000, 0xaaaaaaab00000001,
   1473   0xaaaaaaaabbbbbbbc, 0x8000000000000000,
   1474   0xcccccccd00000000, 0xaaaaaaab00000001,
   1475   0x9999999a66666666, 0x8000000000000000,
   1476   0x8000000000000000, 0x8000000000000000,
   1477   0x8000000000000000, 0x8000000000000000,
   1478   0xcccccccd66666666, 0xaaaaaaabaaaaaaab,
   1479   0xaaaaaaab22222222, 0x8000000000000000,
   1480   0x962fc963369d036a, 0x8000000000000000,
   1481   0x962f9630036a036a, 0x8000000000000000,
   1482   0xddddddddbbbbbbbc, 0xc71c71c6e38e38e5,
   1483   0xc962fc95d0369d04, 0xa4fa4fa45b05b05d,
   1484   0xc962c9629d039d04, 0xa4f9fa4f05b0b05d,
   1485   0xc962962fd037036a, 0xa4f9a4fa5b065b07,
   1486   0xeb851eb8147ae148, 0xdddddddd77777779,
   1487   0xeb84eb84e147e148, 0xdddd888822227779,
   1488   0xeb84b852147b47ae, 0xdddd333377782223,
   1489   0xeb84851fae15147a, 0xdddcdddf77787777,
   1490   0xffffcccccccd0000, 0xffffaaaaaaab0001,
   1491   0xffff999a00006666, 0xffff55560000aaab,
   1492   0xffff6667999a3332, 0xffff00020000ffff,
   1493   0xffff3335999a6664, 0xfffeaaaeaaabfffd,
   1494   0xffffcccd33336666, 0xffffaaab5555aaab,
   1495   0xffff999acccd3332, 0xffff55575555ffff,
   1496   0xffff6668cccd6664, 0xffff00040000fffd,
   1497   0xffff6635999a3364, 0xfffeffaeaaabaafd,
   1498   0xffffcccd9999cccc, 0xffffaaac00005555,
   1499   0xffff999b9999fffe, 0xffff5558aaab5553,
   1500   0xffff99686666ccfe, 0xffff550355560053,
   1501   0xffff9935999a0064, 0xffff54aeaaab55fd,
   1502   0xffffccce00003332, 0xffffaaacaaaaffff,
   1503   0xffffcc9acccd0032, 0xffffaa575555aaff,
   1504   0xffffcc6800003398, 0xffffaa02aaab00a9,
   1505   0xffffcc359999cd64, 0xffffa9aeaaab00fd,
   1506   0xffffffcccccccd00, 0xffffffaaaaaaab01,
   1507   0xffffff9a00000066, 0xffffff56000000ab,
   1508   0xffffff6799999a32, 0xffffff02000000ff,
   1509   0xffffff3599999a64, 0xfffffeaeaaaaabfd,
   1510   0xffffffcd33333366, 0xffffffab555555ab,
   1511   0xffffff9acccccd32, 0xffffff57555555ff,
   1512   0xffffff68cccccd64, 0xffffff04000000fd,
   1513   0xffffff5c000000a4, 0xfffffeeeaaaaabbd,
   1514   0xffffffcd999999cc, 0xffffffac00000055,
   1515   0xffffff9b999999fe, 0xffffff58aaaaab53,
   1516   0xffffff8ecccccd3e, 0xffffff4355555613,
   1517   0xffffff8d99999a0c, 0xffffff4155555615,
   1518   0xffffffce00000032, 0xffffffacaaaaaaff,
   1519   0xffffffc133333372, 0xffffff97555555bf,
   1520   0xffffffc000000040, 0xffffff95555555c1,
   1521   0xffffffbf33333374, 0xffffff940000006d,
   1522   0xfffffff333333340, 0xffffffeaaaaaaac1,
   1523   0xfffffff20000000e, 0xffffffe8aaaaaac3,
   1524   0xfffffff133333342, 0xffffffe75555556f,
   1525   0xfffffff0ccccccdc, 0xffffffe6aaaaaac5,
   1526   0xfffffffe00000002, 0xfffffffd00000013,
   1527   0xfffffffcaaaaaaae, 0xfffffffb0000001f,
   1528   0xfffffffc00000004, 0xfffffffa00000025,
   1529   0xfffffffc00000004, 0xfffffffa00000025,
   1530   0xfffffffeaaaaaaac, 0xfffffffe0000000d,
   1531   0xfffffffe00000002, 0xfffffffd00000013,
   1532   0xfffffffe00000002, 0xfffffffd00000013,
   1533   0xfffffffeaaaaaaac, 0xfffffffe0000000d,
   1534   0xffffffff55555556, 0xffffffff00000007,
   1535   0xffffffff55555556, 0xffffffff00000007,
   1536   0x0000000000000000, 0x0000000000000001,
   1537   0x0000000155555554, 0x00000001fffffff5,
   1538   0x0000000000000000, 0x0000000000000001,
   1539   0x00000000aaaaaaaa, 0x00000000fffffffb,
   1540   0x00000001fffffffe, 0x00000002ffffffef,
   1541   0x000000175555553e, 0x00000022ffffff2f,
   1542   0x00000000aaaaaaaa, 0x00000000fffffffb,
   1543   0x00000001fffffffe, 0x00000002ffffffef,
   1544   0x000000175555553e, 0x00000022ffffff2f,
   1545   0x0000006aaaaaaa40, 0x0000009ffffffc41,
   1546   0x0000000155555554, 0x00000001fffffff5,
   1547   0x00000016aaaaaa94, 0x00000021ffffff35,
   1548   0x00000069ffffff96, 0x0000009efffffc47,
   1549   0x000000bdffffff42, 0x0000011cfffff953,
   1550   0x0000001555555540, 0x0000001fffffff41,
   1551   0x00000068aaaaaa42, 0x0000009cfffffc53,
   1552   0x000000bcaaaaa9ee, 0x0000011afffff95f,
   1553   0x0000011155555444, 0x00000199fffff665,
   1554   0x0000005355555502, 0x0000007cfffffd13,
   1555   0x000000a7555554ae, 0x000000fafffffa1f,
   1556   0x000000fbffffff04, 0x00000179fffff725,
   1557   0x0000564f5554ff06, 0x00008176fffcf737,
   1558   0x00000053ffffffac, 0x0000007dfffffd0d,
   1559   0x000000a8aaaaaa02, 0x000000fcfffffa13,
   1560   0x000055fbffffaa04, 0x000080f9fffcfa25,
   1561   0x0000ab4fffff54b0, 0x000100f7fff9fa31,
   1562   0x00000054aaaaaa56, 0x0000007efffffd07,
   1563   0x000055a7ffffaa58, 0x0000807bfffcfd19,
   1564   0x0000aafbffff5504, 0x00010079fff9fd25,
   1565   0x00010050aaa9aa5a, 0x00018078fff6fd2b,
   1566   0x0000555355550002, 0x00007ffcfffd0013,
   1567   0x0000aaa75554aaae, 0x0000fffafffa001f,
   1568   0x0000fffbffff0004, 0x00017ff9fff70025,
   1569   0x2223221ddddcdde2, 0x3334b32bccc3ccf3,
   1570   0x00005553ffffaaac, 0x00007ffdfffd000d,
   1571   0x0000aaa8aaaa0002, 0x0000fffcfffa0013,
   1572   0x2222ccca8887dde0, 0x3334332eccc6cce1,
   1573   0x5b065b02fa4efa52, 0x7fffffffffffffff,
   1574   0x00005554aaaa5556, 0x00007ffefffd0007,
   1575   0x2222777688883334, 0x3333b330ccc9ccd5,
   1576   0x5b0605aefa4f4fa6, 0x7fffffffffffffff,
   1577   0x7fffffffffffffff, 0x7fffffffffffffff,
   1578   0x22222221ddddddde, 0x33333331cccccccf,
   1579   0x5b05b05a4fa4fa50, 0x7fffffffffffffff,
   1580   0x7fffffffffffffff, 0x7fffffffffffffff,
   1581   0x7fffffffffffffff, 0x7fffffffffffffff,
   1582   0x38e38e3871c71c72, 0x5555555300000003,
   1583   0x7fffffffffffffff, 0x7fffffffffffffff,
   1584   0x7fffffffffffffff, 0x7fffffffffffffff,
   1585   0x7fffffffffffffff, 0x7fffffffffffffff,
   1586   0x5555555300000002, 0x7ffffffa00000013,
   1587   0x7fffffffffffffff, 0x7fffffffffffffff,
   1588   0x7fffffffffffffff, 0x7fffffffffffffff,
   1589   0x2aaaaaaaffffffff, 0x00000002ffffffff,
   1590   0x55555553aaaaaaac, 0x7ffffffb0000000d,
   1591   0x7fffffffffffffff, 0x7fffffffffffffff,
   1592   0x2aaaaaaaffffffff, 0x00000002ffffffff,
   1593   0xd5555556aaaaaaa9, 0x80000006fffffff9,
   1594   0x5555555455555556, 0x7ffffffc00000007,
   1595   0xffffffff55555556, 0xffffffff00000007,
   1596   0xaaaaaaab00000000, 0x8000000300000001,
   1597   0x8000000000000000, 0x8000000000000000,
   1598   0xaaaaaaab00000000, 0x8000000300000001,
   1599   0x8000000000000000, 0x8000000000000000,
   1600   0x8000000000000000, 0x8000000000000000,
   1601   0x8000000000000000, 0x8000000000000000,
   1602   0xaaaaaaabaaaaaaaa, 0x80000003fffffffb,
   1603   0x8000000000000000, 0x8000000000000000,
   1604   0x8000000000000000, 0x8000000000000000,
   1605   0x8000000000000000, 0x8000000000000000,
   1606   0xc71c71c6e38e38e4, 0xaaaaaaac00000005,
   1607   0xa4fa4fa45b05b05c, 0x8000000000000000,
   1608   0xa4f9fa4f05b0b05c, 0x8000000000000000,
   1609   0xa4f9a4fa5b065b06, 0x8000000000000000,
   1610   0xdddddddd77777778, 0xcccccccd33333339,
   1611   0xdddd888822227778, 0xcccc4ccd33363339,
   1612   0xdddd333377782222, 0xcccbccce33393333,
   1613   0xdddcdddf77787776, 0xcccb4cd0333c3327,
   1614   0xffffaaaaaaab0000, 0xffff800000030001,
   1615   0xffff55560000aaaa, 0xffff00010005fffb,
   1616   0xffff00020000fffe, 0xfffe80030008ffef,
   1617   0xfffeaaaeaaabfffc, 0xfffe0006000bffdd,
   1618   0xffffaaab5555aaaa, 0xffff80010002fffb,
   1619   0xffff55575555fffe, 0xffff00030005ffef,
   1620   0xffff00040000fffc, 0xfffe80060008ffdd,
   1621   0xfffeffaeaaabaafc, 0xfffe7f86000902dd,
   1622   0xffffaaac00005554, 0xffff80020002fff5,
   1623   0xffff5558aaab5552, 0xffff00050005ffe3,
   1624   0xffff550355560052, 0xfffeff85000602e3,
   1625   0xffff54aeaaab55fc, 0xfffeff06000605dd,
   1626   0xffffaaacaaaafffe, 0xffff80030002ffef,
   1627   0xffffaa575555aafe, 0xffff7f83000302ef,
   1628   0xffffaa02aaab00a8, 0xffff7f04000305e9,
   1629   0xffffa9aeaaab00fc, 0xffff7e86000308dd,
   1630   0xffffffaaaaaaab00, 0xffffff8000000301,
   1631   0xffffff56000000aa, 0xffffff01000005fb,
   1632   0xffffff02000000fe, 0xfffffe83000008ef,
   1633   0xfffffeaeaaaaabfc, 0xfffffe0600000bdd,
   1634   0xffffffab555555aa, 0xffffff81000002fb,
   1635   0xffffff57555555fe, 0xffffff03000005ef,
   1636   0xffffff04000000fc, 0xfffffe86000008dd,
   1637   0xfffffeeeaaaaabbc, 0xfffffe660000099d,
   1638   0xffffffac00000054, 0xffffff82000002f5,
   1639   0xffffff58aaaaab52, 0xffffff05000005e3,
   1640   0xffffff4355555612, 0xfffffee5000006a3,
   1641   0xffffff4155555614, 0xfffffee2000006b5,
   1642   0xffffffacaaaaaafe, 0xffffff83000002ef,
   1643   0xffffff97555555be, 0xffffff63000003af,
   1644   0xffffff95555555c0, 0xffffff60000003c1,
   1645   0xffffff940000006c, 0xffffff5e000003cd,
   1646   0xffffffeaaaaaaac0, 0xffffffe0000000c1,
   1647   0xffffffe8aaaaaac2, 0xffffffdd000000d3,
   1648   0xffffffe75555556e, 0xffffffdb000000df,
   1649   0xffffffe6aaaaaac4, 0xffffffda000000e5,
   1650   0xfffffffd00000012, 0xfffffffd0000000d,
   1651   0xfffffffb0000001e, 0xfffffffb00000015,
   1652   0xfffffffa00000024, 0xfffffffa00000019,
   1653   0xfffffffa00000024, 0xfffffffa00000019,
   1654   0xfffffffe0000000c, 0xfffffffe00000009,
   1655   0xfffffffd00000012, 0xfffffffd0000000d,
   1656   0xfffffffd00000012, 0xfffffffd0000000d,
   1657   0xfffffffe0000000c, 0xfffffffe00000009,
   1658   0xffffffff00000006, 0xffffffff00000005,
   1659   0xffffffff00000006, 0xffffffff00000005,
   1660   0x0000000000000000, 0x0000000000000001,
   1661   0x00000001fffffff4, 0x00000001fffffff9,
   1662   0x0000000000000000, 0x0000000000000001,
   1663   0x00000000fffffffa, 0x00000000fffffffd,
   1664   0x00000002ffffffee, 0x00000002fffffff5,
   1665   0x00000022ffffff2e, 0x00000022ffffff75,
   1666   0x00000000fffffffa, 0x00000000fffffffd,
   1667   0x00000002ffffffee, 0x00000002fffffff5,
   1668   0x00000022ffffff2e, 0x00000022ffffff75,
   1669   0x0000009ffffffc40, 0x0000009ffffffd81,
   1670   0x00000001fffffff4, 0x00000001fffffff9,
   1671   0x00000021ffffff34, 0x00000021ffffff79,
   1672   0x0000009efffffc46, 0x0000009efffffd85,
   1673   0x0000011cfffff952, 0x0000011cfffffb8d,
   1674   0x0000001fffffff40, 0x0000001fffffff81,
   1675   0x0000009cfffffc52, 0x0000009cfffffd8d,
   1676   0x0000011afffff95e, 0x0000011afffffb95,
   1677   0x00000199fffff664, 0x00000199fffff999,
   1678   0x0000007cfffffd12, 0x0000007cfffffe0d,
   1679   0x000000fafffffa1e, 0x000000fafffffc15,
   1680   0x00000179fffff724, 0x00000179fffffa19,
   1681   0x00008176fffcf736, 0x00008176fffdfa25,
   1682   0x0000007dfffffd0c, 0x0000007dfffffe09,
   1683   0x000000fcfffffa12, 0x000000fcfffffc0d,
   1684   0x000080f9fffcfa24, 0x000080f9fffdfc19,
   1685   0x000100f7fff9fa30, 0x000100f7fffbfc21,
   1686   0x0000007efffffd06, 0x0000007efffffe05,
   1687   0x0000807bfffcfd18, 0x0000807bfffdfe11,
   1688   0x00010079fff9fd24, 0x00010079fffbfe19,
   1689   0x00018078fff6fd2a, 0x00018078fff9fe1d,
   1690   0x00007ffcfffd0012, 0x00007ffcfffe000d,
   1691   0x0000fffafffa001e, 0x0000fffafffc0015,
   1692   0x00017ff9fff70024, 0x00017ff9fffa0019,
   1693   0x3334b32bccc3ccf2, 0x3334b32c332d334d,
   1694   0x00007ffdfffd000c, 0x00007ffdfffe0009,
   1695   0x0000fffcfffa0012, 0x0000fffcfffc000d,
   1696   0x3334332eccc6cce0, 0x3334332f332f3341,
   1697   0x7fffffffffffffff, 0x7fffffffffffffff,
   1698   0x00007ffefffd0006, 0x00007ffefffe0005,
   1699   0x3333b330ccc9ccd4, 0x3333b33133313339,
   1700   0x7fffffffffffffff, 0x7fffffffffffffff,
   1701   0x7fffffffffffffff, 0x7fffffffffffffff,
   1702   0x33333331ccccccce, 0x3333333233333335,
   1703   0x7fffffffffffffff, 0x7fffffffffffffff,
   1704   0x7fffffffffffffff, 0x7fffffffffffffff,
   1705   0x7fffffffffffffff, 0x7fffffffffffffff,
   1706   0x5555555300000002, 0x55555553aaaaaaad,
   1707   0x7fffffffffffffff, 0x7fffffffffffffff,
   1708   0x7fffffffffffffff, 0x7fffffffffffffff,
   1709   0x7fffffffffffffff, 0x7fffffffffffffff,
   1710   0x7ffffffa00000012, 0x7ffffffb0000000d,
   1711   0x7fffffffffffffff, 0x7fffffffffffffff,
   1712   0x7fffffffffffffff, 0x7fffffffffffffff,
   1713   0x00000002ffffffff, 0x00000001ffffffff,
   1714   0x7ffffffb0000000c, 0x7ffffffc00000009,
   1715   0x7fffffffffffffff, 0x7fffffffffffffff,
   1716   0x00000002ffffffff, 0x00000001ffffffff,
   1717   0x80000006fffffff9, 0x80000004fffffffb,
   1718   0x7ffffffc00000006, 0x7ffffffd00000005,
   1719   0xffffffff00000006, 0xffffffff00000005,
   1720   0x8000000300000000, 0x8000000200000001,
   1721   0x8000000000000000, 0x8000000000000000,
   1722   0x8000000300000000, 0x8000000200000001,
   1723   0x8000000000000000, 0x8000000000000000,
   1724   0x8000000000000000, 0x8000000000000000,
   1725   0x8000000000000000, 0x8000000000000000,
   1726   0x80000003fffffffa, 0x80000002fffffffd,
   1727   0x8000000000000000, 0x8000000000000000,
   1728   0x8000000000000000, 0x8000000000000000,
   1729   0x8000000000000000, 0x8000000000000000,
   1730   0xaaaaaaac00000004, 0xaaaaaaab55555559,
   1731   0x8000000000000000, 0x8000000000000000,
   1732   0x8000000000000000, 0x8000000000000000,
   1733   0x8000000000000000, 0x8000000000000000,
   1734   0xcccccccd33333338, 0xccccccccccccccd1,
   1735   0xcccc4ccd33363338, 0xcccc4cccccceccd1,
   1736   0xcccbccce33393332, 0xcccbcccdccd0cccd,
   1737   0xcccb4cd0333c3326, 0xcccb4ccfccd2ccc5,
   1738   0xffff800000030000, 0xffff800000020001,
   1739   0xffff00010005fffa, 0xffff00010003fffd,
   1740   0xfffe80030008ffee, 0xfffe80030005fff5,
   1741   0xfffe0006000bffdc, 0xfffe00060007ffe9,
   1742   0xffff80010002fffa, 0xffff80010001fffd,
   1743   0xffff00030005ffee, 0xffff00030003fff5,
   1744   0xfffe80060008ffdc, 0xfffe80060005ffe9,
   1745   0xfffe7f86000902dc, 0xfffe7f86000601e9,
   1746   0xffff80020002fff4, 0xffff80020001fff9,
   1747   0xffff00050005ffe2, 0xffff00050003ffed,
   1748   0xfffeff85000602e2, 0xfffeff85000401ed,
   1749   0xfffeff06000605dc, 0xfffeff06000403e9,
   1750   0xffff80030002ffee, 0xffff80030001fff5,
   1751   0xffff7f83000302ee, 0xffff7f83000201f5,
   1752   0xffff7f04000305e8, 0xffff7f04000203f1,
   1753   0xffff7e86000308dc, 0xffff7e86000205e9,
   1754   0xffffff8000000300, 0xffffff8000000201,
   1755   0xffffff01000005fa, 0xffffff01000003fd,
   1756   0xfffffe83000008ee, 0xfffffe83000005f5,
   1757   0xfffffe0600000bdc, 0xfffffe06000007e9,
   1758   0xffffff81000002fa, 0xffffff81000001fd,
   1759   0xffffff03000005ee, 0xffffff03000003f5,
   1760   0xfffffe86000008dc, 0xfffffe86000005e9,
   1761   0xfffffe660000099c, 0xfffffe6600000669,
   1762   0xffffff82000002f4, 0xffffff82000001f9,
   1763   0xffffff05000005e2, 0xffffff05000003ed,
   1764   0xfffffee5000006a2, 0xfffffee50000046d,
   1765   0xfffffee2000006b4, 0xfffffee200000479,
   1766   0xffffff83000002ee, 0xffffff83000001f5,
   1767   0xffffff63000003ae, 0xffffff6300000275,
   1768   0xffffff60000003c0, 0xffffff6000000281,
   1769   0xffffff5e000003cc, 0xffffff5e00000289,
   1770   0xffffffe0000000c0, 0xffffffe000000081,
   1771   0xffffffdd000000d2, 0xffffffdd0000008d,
   1772   0xffffffdb000000de, 0xffffffdb00000095,
   1773   0xffffffda000000e4, 0xffffffda00000099,
   1774   0xfffffffd0000000c, 0xfffffffd00000007,
   1775   0xfffffffb00000014, 0xfffffffb0000000b,
   1776   0xfffffffa00000018, 0xfffffffa0000000d,
   1777   0xfffffffa00000018, 0xfffffffa0000000d,
   1778   0xfffffffe00000008, 0xfffffffe00000005,
   1779   0xfffffffd0000000c, 0xfffffffd00000007,
   1780   0xfffffffd0000000c, 0xfffffffd00000007,
   1781   0xfffffffe00000008, 0xfffffffe00000005,
   1782   0xffffffff00000004, 0xffffffff00000003,
   1783   0xffffffff00000004, 0xffffffff00000003,
   1784   0x0000000000000000, 0x0000000000000001,
   1785   0x00000001fffffff8, 0x00000001fffffffd,
   1786   0x0000000000000000, 0x0000000000000001,
   1787   0x00000000fffffffc, 0x00000000ffffffff,
   1788   0x00000002fffffff4, 0x00000002fffffffb,
   1789   0x00000022ffffff74, 0x00000022ffffffbb,
   1790   0x00000000fffffffc, 0x00000000ffffffff,
   1791   0x00000002fffffff4, 0x00000002fffffffb,
   1792   0x00000022ffffff74, 0x00000022ffffffbb,
   1793   0x0000009ffffffd80, 0x0000009ffffffec1,
   1794   0x00000001fffffff8, 0x00000001fffffffd,
   1795   0x00000021ffffff78, 0x00000021ffffffbd,
   1796   0x0000009efffffd84, 0x0000009efffffec3,
   1797   0x0000011cfffffb8c, 0x0000011cfffffdc7,
   1798   0x0000001fffffff80, 0x0000001fffffffc1,
   1799   0x0000009cfffffd8c, 0x0000009cfffffec7,
   1800   0x0000011afffffb94, 0x0000011afffffdcb,
   1801   0x00000199fffff998, 0x00000199fffffccd,
   1802   0x0000007cfffffe0c, 0x0000007cffffff07,
   1803   0x000000fafffffc14, 0x000000fafffffe0b,
   1804   0x00000179fffffa18, 0x00000179fffffd0d,
   1805   0x00008176fffdfa24, 0x00008176fffefd13,
   1806   0x0000007dfffffe08, 0x0000007dffffff05,
   1807   0x000000fcfffffc0c, 0x000000fcfffffe07,
   1808   0x000080f9fffdfc18, 0x000080f9fffefe0d,
   1809   0x000100f7fffbfc20, 0x000100f7fffdfe11,
   1810   0x0000007efffffe04, 0x0000007effffff03,
   1811   0x0000807bfffdfe10, 0x0000807bfffeff09,
   1812   0x00010079fffbfe18, 0x00010079fffdff0d,
   1813   0x00018078fff9fe1c, 0x00018078fffcff0f,
   1814   0x00007ffcfffe000c, 0x00007ffcffff0007,
   1815   0x0000fffafffc0014, 0x0000fffafffe000b,
   1816   0x00017ff9fffa0018, 0x00017ff9fffd000d,
   1817   0x3334b32c332d334c, 0x3334b32c999699a7,
   1818   0x00007ffdfffe0008, 0x00007ffdffff0005,
   1819   0x0000fffcfffc000c, 0x0000fffcfffe0007,
   1820   0x3334332f332f3340, 0x3334332f999799a1,
   1821   0x7fffffffffffffff, 0x7fffffffffffffff,
   1822   0x00007ffefffe0004, 0x00007ffeffff0003,
   1823   0x3333b33133313338, 0x3333b3319998999d,
   1824   0x7fffffffffffffff, 0x7fffffffffffffff,
   1825   0x7fffffffffffffff, 0x7fffffffffffffff,
   1826   0x3333333233333334, 0x333333329999999b,
   1827   0x7fffffffffffffff, 0x7fffffffffffffff,
   1828   0x7fffffffffffffff, 0x7fffffffffffffff,
   1829   0x7fffffffffffffff, 0x7fffffffffffffff,
   1830   0x55555553aaaaaaac, 0x5555555455555557,
   1831   0x7fffffffffffffff, 0x7fffffffffffffff,
   1832   0x7fffffffffffffff, 0x7fffffffffffffff,
   1833   0x7fffffffffffffff, 0x7fffffffffffffff,
   1834   0x7ffffffb0000000c, 0x7ffffffc00000007,
   1835   0x7fffffffffffffff, 0x7fffffffffffffff,
   1836   0x7fffffffffffffff, 0x7fffffffffffffff,
   1837   0x00000001ffffffff, 0x00000000ffffffff,
   1838   0x7ffffffc00000008, 0x7ffffffd00000005,
   1839   0x7fffffffffffffff, 0x7fffffffffffffff,
   1840   0x00000001ffffffff, 0x00000000ffffffff,
   1841   0x80000004fffffffb, 0x80000002fffffffd,
   1842   0x7ffffffd00000004, 0x7ffffffe00000003,
   1843   0xffffffff00000004, 0xffffffff00000003,
   1844   0x8000000200000000, 0x8000000100000001,
   1845   0x8000000000000000, 0x8000000000000000,
   1846   0x8000000200000000, 0x8000000100000001,
   1847   0x8000000000000000, 0x8000000000000000,
   1848   0x8000000000000000, 0x8000000000000000,
   1849   0x8000000000000000, 0x8000000000000000,
   1850   0x80000002fffffffc, 0x80000001ffffffff,
   1851   0x8000000000000000, 0x8000000000000000,
   1852   0x8000000000000000, 0x8000000000000000,
   1853   0x8000000000000000, 0x8000000000000000,
   1854   0xaaaaaaab55555558, 0xaaaaaaaaaaaaaaad,
   1855   0x8000000000000000, 0x8000000000000000,
   1856   0x8000000000000000, 0x8000000000000000,
   1857   0x8000000000000000, 0x8000000000000000,
   1858   0xccccccccccccccd0, 0xcccccccc66666669,
   1859   0xcccc4cccccceccd0, 0xcccc4ccc66676669,
   1860   0xcccbcccdccd0cccc, 0xcccbcccd66686667,
   1861   0xcccb4ccfccd2ccc4, 0xcccb4ccf66696663,
   1862   0xffff800000020000, 0xffff800000010001,
   1863   0xffff00010003fffc, 0xffff00010001ffff,
   1864   0xfffe80030005fff4, 0xfffe80030002fffb,
   1865   0xfffe00060007ffe8, 0xfffe00060003fff5,
   1866   0xffff80010001fffc, 0xffff80010000ffff,
   1867   0xffff00030003fff4, 0xffff00030001fffb,
   1868   0xfffe80060005ffe8, 0xfffe80060002fff5,
   1869   0xfffe7f86000601e8, 0xfffe7f86000300f5,
   1870   0xffff80020001fff8, 0xffff80020000fffd,
   1871   0xffff00050003ffec, 0xffff00050001fff7,
   1872   0xfffeff85000401ec, 0xfffeff85000200f7,
   1873   0xfffeff06000403e8, 0xfffeff06000201f5,
   1874   0xffff80030001fff4, 0xffff80030000fffb,
   1875   0xffff7f83000201f4, 0xffff7f83000100fb,
   1876   0xffff7f04000203f0, 0xffff7f04000101f9,
   1877   0xffff7e86000205e8, 0xffff7e86000102f5,
   1878   0xffffff8000000200, 0xffffff8000000101,
   1879   0xffffff01000003fc, 0xffffff01000001ff,
   1880   0xfffffe83000005f4, 0xfffffe83000002fb,
   1881   0xfffffe06000007e8, 0xfffffe06000003f5,
   1882   0xffffff81000001fc, 0xffffff81000000ff,
   1883   0xffffff03000003f4, 0xffffff03000001fb,
   1884   0xfffffe86000005e8, 0xfffffe86000002f5,
   1885   0xfffffe6600000668, 0xfffffe6600000335,
   1886   0xffffff82000001f8, 0xffffff82000000fd,
   1887   0xffffff05000003ec, 0xffffff05000001f7,
   1888   0xfffffee50000046c, 0xfffffee500000237,
   1889   0xfffffee200000478, 0xfffffee20000023d,
   1890   0xffffff83000001f4, 0xffffff83000000fb,
   1891   0xffffff6300000274, 0xffffff630000013b,
   1892   0xffffff6000000280, 0xffffff6000000141,
   1893   0xffffff5e00000288, 0xffffff5e00000145,
   1894   0xffffffe000000080, 0xffffffe000000041,
   1895   0xffffffdd0000008c, 0xffffffdd00000047,
   1896   0xffffffdb00000094, 0xffffffdb0000004b,
   1897   0xffffffda00000098, 0xffffffda0000004d,
   1898   0xfffffffd00000006, 0x0000000300000001,
   1899   0xfffffffb0000000a, 0x0000000500000001,
   1900   0xfffffffa0000000c, 0x0000000600000001,
   1901   0xfffffffa0000000c, 0x0000000600000001,
   1902   0xfffffffe00000004, 0x0000000200000001,
   1903   0xfffffffd00000006, 0x0000000300000001,
   1904   0xfffffffd00000006, 0x0000000300000001,
   1905   0xfffffffe00000004, 0x0000000200000001,
   1906   0xffffffff00000002, 0x0000000100000001,
   1907   0xffffffff00000002, 0x0000000100000001,
   1908   0x0000000000000000, 0x0000000000000001,
   1909   0x00000001fffffffc, 0xfffffffe00000001,
   1910   0x0000000000000000, 0x0000000000000001,
   1911   0x00000000fffffffe, 0xffffffff00000001,
   1912   0x00000002fffffffa, 0xfffffffd00000001,
   1913   0x00000022ffffffba, 0xffffffdd00000001,
   1914   0x00000000fffffffe, 0xffffffff00000001,
   1915   0x00000002fffffffa, 0xfffffffd00000001,
   1916   0x00000022ffffffba, 0xffffffdd00000001,
   1917   0x0000009ffffffec0, 0xffffff6000000001,
   1918   0x00000001fffffffc, 0xfffffffe00000001,
   1919   0x00000021ffffffbc, 0xffffffde00000001,
   1920   0x0000009efffffec2, 0xffffff6100000001,
   1921   0x0000011cfffffdc6, 0xfffffee300000001,
   1922   0x0000001fffffffc0, 0xffffffe000000001,
   1923   0x0000009cfffffec6, 0xffffff6300000001,
   1924   0x0000011afffffdca, 0xfffffee500000001,
   1925   0x00000199fffffccc, 0xfffffe6600000001,
   1926   0x0000007cffffff06, 0xffffff8300000001,
   1927   0x000000fafffffe0a, 0xffffff0500000001,
   1928   0x00000179fffffd0c, 0xfffffe8600000001,
   1929   0x00008176fffefd12, 0xffff7e8900000001,
   1930   0x0000007dffffff04, 0xffffff8200000001,
   1931   0x000000fcfffffe06, 0xffffff0300000001,
   1932   0x000080f9fffefe0c, 0xffff7f0600000001,
   1933   0x000100f7fffdfe10, 0xfffeff0800000001,
   1934   0x0000007effffff02, 0xffffff8100000001,
   1935   0x0000807bfffeff08, 0xffff7f8400000001,
   1936   0x00010079fffdff0c, 0xfffeff8600000001,
   1937   0x00018078fffcff0e, 0xfffe7f8700000001,
   1938   0x00007ffcffff0006, 0xffff800300000001,
   1939   0x0000fffafffe000a, 0xffff000500000001,
   1940   0x00017ff9fffd000c, 0xfffe800600000001,
   1941   0x3334b32c999699a6, 0xcccb4cd300000001,
   1942   0x00007ffdffff0004, 0xffff800200000001,
   1943   0x0000fffcfffe0006, 0xffff000300000001,
   1944   0x3334332f999799a0, 0xcccbccd000000001,
   1945   0x7fffffffffffffff, 0x8000000000000000,
   1946   0x00007ffeffff0002, 0xffff800100000001,
   1947   0x3333b3319998999c, 0xcccc4cce00000001,
   1948   0x7fffffffffffffff, 0x8000000000000000,
   1949   0x7fffffffffffffff, 0x8000000000000000,
   1950   0x333333329999999a, 0xcccccccd00000001,
   1951   0x7fffffffffffffff, 0x8000000000000000,
   1952   0x7fffffffffffffff, 0x8000000000000000,
   1953   0x7fffffffffffffff, 0x8000000000000000,
   1954   0x5555555455555556, 0xaaaaaaab00000001,
   1955   0x7fffffffffffffff, 0x8000000000000000,
   1956   0x7fffffffffffffff, 0x8000000000000000,
   1957   0x7fffffffffffffff, 0x8000000000000000,
   1958   0x7ffffffc00000006, 0x8000000300000001,
   1959   0x7fffffffffffffff, 0x8000000000000000,
   1960   0x7fffffffffffffff, 0x8000000000000000,
   1961   0x00000000ffffffff, 0xffffffffffffffff,
   1962   0x7ffffffd00000004, 0x8000000200000001,
   1963   0x7fffffffffffffff, 0x8000000000000000,
   1964   0x00000000ffffffff, 0xffffffffffffffff,
   1965   0x80000002fffffffd, 0x7ffffffeffffffff,
   1966   0x7ffffffe00000002, 0x8000000100000001,
   1967   0xffffffff00000002, 0x0000000100000000,
   1968   0x8000000100000000, 0x7fffffffffffffff,
   1969   0x8000000000000000, 0x7fffffffffffffff,
   1970   0x8000000100000000, 0x7fffffffffffffff,
   1971   0x8000000000000000, 0x7fffffffffffffff,
   1972   0x8000000000000000, 0x7fffffffffffffff,
   1973   0x8000000000000000, 0x7fffffffffffffff,
   1974   0x80000001fffffffe, 0x7fffffff00000001,
   1975   0x8000000000000000, 0x7fffffffffffffff,
   1976   0x8000000000000000, 0x7fffffffffffffff,
   1977   0x8000000000000000, 0x7fffffffffffffff,
   1978   0xaaaaaaaaaaaaaaac, 0x5555555600000001,
   1979   0x8000000000000000, 0x7fffffffffffffff,
   1980   0x8000000000000000, 0x7fffffffffffffff,
   1981   0x8000000000000000, 0x7fffffffffffffff,
   1982   0xcccccccc66666668, 0x3333333400000001,
   1983   0xcccc4ccc66676668, 0x3333b33400000001,
   1984   0xcccbcccd66686666, 0x3334333300000001,
   1985   0xcccb4ccf66696662, 0x3334b33100000001,
   1986   0xffff800000010000, 0x0000800000000001,
   1987   0xffff00010001fffe, 0x0000ffff00000001,
   1988   0xfffe80030002fffa, 0x00017ffd00000001,
   1989   0xfffe00060003fff4, 0x0001fffa00000001,
   1990   0xffff80010000fffe, 0x00007fff00000001,
   1991   0xffff00030001fffa, 0x0000fffd00000001,
   1992   0xfffe80060002fff4, 0x00017ffa00000001,
   1993   0xfffe7f86000300f4, 0x0001807a00000001,
   1994   0xffff80020000fffc, 0x00007ffe00000001,
   1995   0xffff00050001fff6, 0x0000fffb00000001,
   1996   0xfffeff85000200f6, 0x0001007b00000001,
   1997   0xfffeff06000201f4, 0x000100fa00000001,
   1998   0xffff80030000fffa, 0x00007ffd00000001,
   1999   0xffff7f83000100fa, 0x0000807d00000001,
   2000   0xffff7f04000101f8, 0x000080fc00000001,
   2001   0xffff7e86000102f4, 0x0000817a00000001,
   2002   0xffffff8000000100, 0x0000008000000001,
   2003   0xffffff01000001fe, 0x000000ff00000001,
   2004   0xfffffe83000002fa, 0x0000017d00000001,
   2005   0xfffffe06000003f4, 0x000001fa00000001,
   2006   0xffffff81000000fe, 0x0000007f00000001,
   2007   0xffffff03000001fa, 0x000000fd00000001,
   2008   0xfffffe86000002f4, 0x0000017a00000001,
   2009   0xfffffe6600000334, 0x0000019a00000001,
   2010   0xffffff82000000fc, 0x0000007e00000001,
   2011   0xffffff05000001f6, 0x000000fb00000001,
   2012   0xfffffee500000236, 0x0000011b00000001,
   2013   0xfffffee20000023c, 0x0000011e00000001,
   2014   0xffffff83000000fa, 0x0000007d00000001,
   2015   0xffffff630000013a, 0x0000009d00000001,
   2016   0xffffff6000000140, 0x000000a000000001,
   2017   0xffffff5e00000144, 0x000000a200000001,
   2018   0xffffffe000000040, 0x0000002000000001,
   2019   0xffffffdd00000046, 0x0000002300000001,
   2020   0xffffffdb0000004a, 0x0000002500000001,
   2021   0xffffffda0000004c, 0x0000002600000001,
   2022   0x0000000300000000, 0x00000002fffffffb,
   2023   0x0000000500000000, 0x00000004fffffff7,
   2024   0x0000000600000000, 0x00000005fffffff5,
   2025   0x0000000600000000, 0x00000005fffffff5,
   2026   0x0000000200000000, 0x00000001fffffffd,
   2027   0x0000000300000000, 0x00000002fffffffb,
   2028   0x0000000300000000, 0x00000002fffffffb,
   2029   0x0000000200000000, 0x00000001fffffffd,
   2030   0x0000000100000000, 0x00000000ffffffff,
   2031   0x0000000100000000, 0x00000000ffffffff,
   2032   0x0000000000000000, 0x0000000000000001,
   2033   0xfffffffe00000000, 0xfffffffe00000005,
   2034   0x0000000000000000, 0x0000000000000001,
   2035   0xffffffff00000000, 0xffffffff00000003,
   2036   0xfffffffd00000000, 0xfffffffd00000007,
   2037   0xffffffdd00000000, 0xffffffdd00000047,
   2038   0xffffffff00000000, 0xffffffff00000003,
   2039   0xfffffffd00000000, 0xfffffffd00000007,
   2040   0xffffffdd00000000, 0xffffffdd00000047,
   2041   0xffffff6000000000, 0xffffff6000000141,
   2042   0xfffffffe00000000, 0xfffffffe00000005,
   2043   0xffffffde00000000, 0xffffffde00000045,
   2044   0xffffff6100000000, 0xffffff610000013f,
   2045   0xfffffee300000000, 0xfffffee30000023b,
   2046   0xffffffe000000000, 0xffffffe000000041,
   2047   0xffffff6300000000, 0xffffff630000013b,
   2048   0xfffffee500000000, 0xfffffee500000237,
   2049   0xfffffe6600000000, 0xfffffe6600000335,
   2050   0xffffff8300000000, 0xffffff83000000fb,
   2051   0xffffff0500000000, 0xffffff05000001f7,
   2052   0xfffffe8600000000, 0xfffffe86000002f5,
   2053   0xffff7e8900000000, 0xffff7e89000102ef,
   2054   0xffffff8200000000, 0xffffff82000000fd,
   2055   0xffffff0300000000, 0xffffff03000001fb,
   2056   0xffff7f0600000000, 0xffff7f06000101f5,
   2057   0xfffeff0800000000, 0xfffeff08000201f1,
   2058   0xffffff8100000000, 0xffffff81000000ff,
   2059   0xffff7f8400000000, 0xffff7f84000100f9,
   2060   0xfffeff8600000000, 0xfffeff86000200f5,
   2061   0xfffe7f8700000000, 0xfffe7f87000300f3,
   2062   0xffff800300000000, 0xffff80030000fffb,
   2063   0xffff000500000000, 0xffff00050001fff7,
   2064   0xfffe800600000000, 0xfffe80060002fff5,
   2065   0xcccb4cd300000000, 0xcccb4cd36669665b,
   2066   0xffff800200000000, 0xffff80020000fffd,
   2067   0xffff000300000000, 0xffff00030001fffb,
   2068   0xcccbccd000000000, 0xcccbccd066686661,
   2069   0x8000000000000000, 0x8000000000000000,
   2070   0xffff800100000000, 0xffff80010000ffff,
   2071   0xcccc4cce00000000, 0xcccc4cce66676665,
   2072   0x8000000000000000, 0x8000000000000000,
   2073   0x8000000000000000, 0x8000000000000000,
   2074   0xcccccccd00000000, 0xcccccccd66666667,
   2075   0x8000000000000000, 0x8000000000000000,
   2076   0x8000000000000000, 0x8000000000000000,
   2077   0x8000000000000000, 0x8000000000000000,
   2078   0xaaaaaaab00000000, 0xaaaaaaabaaaaaaab,
   2079   0x8000000000000000, 0x8000000000000000,
   2080   0x8000000000000000, 0x8000000000000000,
   2081   0x8000000000000000, 0x8000000000000000,
   2082   0x8000000300000000, 0x80000003fffffffb,
   2083   0x8000000000000000, 0x8000000000000000,
   2084   0x8000000000000000, 0x8000000000000000,
   2085   0xffffffffffffffff, 0xffffffff00000000,
   2086   0x8000000200000000, 0x80000002fffffffd,
   2087   0x8000000000000000, 0x8000000000000000,
   2088   0xffffffffffffffff, 0xffffffff00000000,
   2089   0x7ffffffeffffffff, 0x7ffffffd00000002,
   2090   0x8000000100000000, 0x80000001ffffffff,
   2091   0x00000000ffffffff, 0x00000000ffffffff,
   2092   0x7fffffffffffffff, 0x7fffffff00000001,
   2093   0x7fffffffffffffff, 0x7fffffffffffffff,
   2094   0x7fffffffffffffff, 0x7fffffff00000001,
   2095   0x7fffffffffffffff, 0x7fffffffffffffff,
   2096   0x7fffffffffffffff, 0x7fffffffffffffff,
   2097   0x7fffffffffffffff, 0x7fffffffffffffff,
   2098   0x7fffffff00000000, 0x7ffffffe00000003,
   2099   0x7fffffffffffffff, 0x7fffffffffffffff,
   2100   0x7fffffffffffffff, 0x7fffffffffffffff,
   2101   0x7fffffffffffffff, 0x7fffffffffffffff,
   2102   0x5555555600000000, 0x5555555555555555,
   2103   0x7fffffffffffffff, 0x7fffffffffffffff,
   2104   0x7fffffffffffffff, 0x7fffffffffffffff,
   2105   0x7fffffffffffffff, 0x7fffffffffffffff,
   2106   0x3333333400000000, 0x3333333399999999,
   2107   0x3333b33400000000, 0x3333b33399989999,
   2108   0x3334333300000000, 0x333433329997999b,
   2109   0x3334b33100000000, 0x3334b3309996999f,
   2110   0x0000800000000000, 0x00007fffffff0001,
   2111   0x0000ffff00000000, 0x0000fffefffe0003,
   2112   0x00017ffd00000000, 0x00017ffcfffd0007,
   2113   0x0001fffa00000000, 0x0001fff9fffc000d,
   2114   0x00007fff00000000, 0x00007ffeffff0003,
   2115   0x0000fffd00000000, 0x0000fffcfffe0007,
   2116   0x00017ffa00000000, 0x00017ff9fffd000d,
   2117   0x0001807a00000000, 0x00018079fffcff0d,
   2118   0x00007ffe00000000, 0x00007ffdffff0005,
   2119   0x0000fffb00000000, 0x0000fffafffe000b,
   2120   0x0001007b00000000, 0x0001007afffdff0b,
   2121   0x000100fa00000000, 0x000100f9fffdfe0d,
   2122   0x00007ffd00000000, 0x00007ffcffff0007,
   2123   0x0000807d00000000, 0x0000807cfffeff07,
   2124   0x000080fc00000000, 0x000080fbfffefe09,
   2125   0x0000817a00000000, 0x00008179fffefd0d,
   2126   0x0000008000000000, 0x0000007fffffff01,
   2127   0x000000ff00000000, 0x000000fefffffe03,
   2128   0x0000017d00000000, 0x0000017cfffffd07,
   2129   0x000001fa00000000, 0x000001f9fffffc0d,
   2130   0x0000007f00000000, 0x0000007effffff03,
   2131   0x000000fd00000000, 0x000000fcfffffe07,
   2132   0x0000017a00000000, 0x00000179fffffd0d,
   2133   0x0000019a00000000, 0x00000199fffffccd,
   2134   0x0000007e00000000, 0x0000007dffffff05,
   2135   0x000000fb00000000, 0x000000fafffffe0b,
   2136   0x0000011b00000000, 0x0000011afffffdcb,
   2137   0x0000011e00000000, 0x0000011dfffffdc5,
   2138   0x0000007d00000000, 0x0000007cffffff07,
   2139   0x0000009d00000000, 0x0000009cfffffec7,
   2140   0x000000a000000000, 0x0000009ffffffec1,
   2141   0x000000a200000000, 0x000000a1fffffebd,
   2142   0x0000002000000000, 0x0000001fffffffc1,
   2143   0x0000002300000000, 0x00000022ffffffbb,
   2144   0x0000002500000000, 0x00000024ffffffb7,
   2145   0x0000002600000000, 0x00000025ffffffb5,
   2146   0x00000002fffffffa, 0x0000000200000005,
   2147   0x00000004fffffff6, 0x000000035555555d,
   2148   0x00000005fffffff4, 0x0000000400000009,
   2149   0x00000005fffffff4, 0x0000000400000009,
   2150   0x00000001fffffffc, 0x0000000155555559,
   2151   0x00000002fffffffa, 0x0000000200000005,
   2152   0x00000002fffffffa, 0x0000000200000005,
   2153   0x00000001fffffffc, 0x0000000155555559,
   2154   0x00000000fffffffe, 0x00000000aaaaaaad,
   2155   0x00000000fffffffe, 0x00000000aaaaaaad,
   2156   0x0000000000000000, 0x0000000000000001,
   2157   0xfffffffe00000004, 0xfffffffeaaaaaaa9,
   2158   0x0000000000000000, 0x0000000000000001,
   2159   0xffffffff00000002, 0xffffffff55555555,
   2160   0xfffffffd00000006, 0xfffffffdfffffffd,
   2161   0xffffffdd00000046, 0xffffffe8aaaaaa7d,
   2162   0xffffffff00000002, 0xffffffff55555555,
   2163   0xfffffffd00000006, 0xfffffffdfffffffd,
   2164   0xffffffdd00000046, 0xffffffe8aaaaaa7d,
   2165   0xffffff6000000140, 0xffffff9555555481,
   2166   0xfffffffe00000004, 0xfffffffeaaaaaaa9,
   2167   0xffffffde00000044, 0xffffffe955555529,
   2168   0xffffff610000013e, 0xffffff95ffffff2d,
   2169   0xfffffee30000023a, 0xffffff41fffffe85,
   2170   0xffffffe000000040, 0xffffffeaaaaaaa81,
   2171   0xffffff630000013a, 0xffffff9755555485,
   2172   0xfffffee500000236, 0xffffff43555553dd,
   2173   0xfffffe6600000334, 0xfffffeeeaaaaa889,
   2174   0xffffff83000000fa, 0xffffffacaaaaaa05,
   2175   0xffffff05000001f6, 0xffffff58aaaaa95d,
   2176   0xfffffe86000002f4, 0xffffff03fffffe09,
   2177   0xffff7e89000102ee, 0xffffa9b0aaa9fe0d,
   2178   0xffffff82000000fc, 0xffffffabffffff59,
   2179   0xffffff03000001fa, 0xffffff5755555405,
   2180   0xffff7f06000101f4, 0xffffaa03ffff5409,
   2181   0xfffeff08000201f0, 0xffff54affffea961,
   2182   0xffffff81000000fe, 0xffffffab555554ad,
   2183   0xffff7f84000100f8, 0xffffaa57ffff54b1,
   2184   0xfffeff86000200f4, 0xffff5503fffeaa09,
   2185   0xfffe7f87000300f2, 0xfffeffaf555354b5,
   2186   0xffff80030000fffa, 0xffffaaacaaaa0005,
   2187   0xffff00050001fff6, 0xffff5558aaa9555d,
   2188   0xfffe80060002fff4, 0xffff0003fffe0009,
   2189   0xcccb4cd36669665a, 0xdddcdde1bbb9bbc5,
   2190   0xffff80020000fffc, 0xffffaaabffff5559,
   2191   0xffff00030001fffa, 0xffff555755540005,
   2192   0xcccbccd066686660, 0xdddd3335110fbbc1,
   2193   0x8000000000000000, 0xa4f9a4fbf49df4a5,
   2194   0xffff80010000fffe, 0xffffaaab5554aaad,
   2195   0xcccc4cce66676664, 0xdddd888911106669,
   2196   0x8000000000000000, 0xa4f9fa4ff49e9f4d,
   2197   0x8000000000000000, 0x8000000000000000,
   2198   0xcccccccd66666666, 0xddddddddbbbbbbbd,
   2199   0x8000000000000000, 0xa4fa4fa49f49f4a1,
   2200   0x8000000000000000, 0x8000000000000000,
   2201   0x8000000000000000, 0x8000000000000000,
   2202   0xaaaaaaabaaaaaaaa, 0xc71c71c6e38e38e5,
   2203   0x8000000000000000, 0x8000000000000000,
   2204   0x8000000000000000, 0x8000000000000000,
   2205   0x8000000000000000, 0x8000000000000000,
   2206   0x80000003fffffffa, 0xaaaaaaac00000005,
   2207   0x8000000000000000, 0x8000000000000000,
   2208   0x8000000000000000, 0x8000000000000000,
   2209   0xffffffff00000000, 0xd555555600000000,
   2210   0x80000002fffffffc, 0xaaaaaaab55555559,
   2211   0x8000000000000000, 0x8000000000000000,
   2212   0xffffffff00000000, 0xd555555600000000,
   2213   0x7ffffffd00000002, 0x2aaaaaab55555554,
   2214   0x80000001fffffffe, 0xaaaaaaaaaaaaaaad,
   2215   0x00000000fffffffe, 0x00000000aaaaaaad,
   2216   0x7fffffff00000000, 0x5555555600000001,
   2217   0x7fffffffffffffff, 0x7fffffffffffffff,
   2218   0x7fffffff00000000, 0x5555555600000001,
   2219   0x7fffffffffffffff, 0x7fffffffffffffff,
   2220   0x7fffffffffffffff, 0x7fffffffffffffff,
   2221   0x7fffffffffffffff, 0x7fffffffffffffff,
   2222   0x7ffffffe00000002, 0x5555555555555555,
   2223   0x7fffffffffffffff, 0x7fffffffffffffff,
   2224   0x7fffffffffffffff, 0x7fffffffffffffff,
   2225   0x7fffffffffffffff, 0x7fffffffffffffff,
   2226   0x5555555555555554, 0x38e38e39c71c71c9,
   2227   0x7fffffffffffffff, 0x5b05b05cb60b60b9,
   2228   0x7fffffffffffffff, 0x5b0605b20b6160b9,
   2229   0x7fffffffffffffff, 0x5b065b06b60cb60d,
   2230   0x3333333399999998, 0x22222222eeeeeef1,
   2231   0x3333b33399989998, 0x222277784444eef1,
   2232   0x333433329997999a, 0x2222cccceef04445,
   2233   0x3334b3309996999e, 0x22232220eef0eeed,
   2234   0x00007fffffff0000, 0x0000555555560001,
   2235   0x0000fffefffe0002, 0x0000aaaa00015555,
   2236   0x00017ffcfffd0006, 0x0000fffe0001fffd,
   2237   0x0001fff9fffc000c, 0x000155515557fff9,
   2238   0x00007ffeffff0002, 0x00005554aaab5555,
   2239   0x0000fffcfffe0006, 0x0000aaa8aaabfffd,
   2240   0x00017ff9fffd000c, 0x0000fffc0001fff9,
   2241   0x00018079fffcff0c, 0x00010051555755f9,
   2242   0x00007ffdffff0004, 0x000055540000aaa9,
   2243   0x0000fffafffe000a, 0x0000aaa75556aaa5,
   2244   0x0001007afffdff0a, 0x0000aafcaaac00a5,
   2245   0x000100f9fffdfe0c, 0x0000ab515556abf9,
   2246   0x00007ffcffff0006, 0x000055535555fffd,
   2247   0x0000807cfffeff06, 0x000055a8aaab55fd,
   2248   0x000080fbfffefe08, 0x000055fd55560151,
   2249   0x00008179fffefd0c, 0x00005651555601f9,
   2250   0x0000007fffffff00, 0x0000005555555601,
   2251   0x000000fefffffe02, 0x000000aa00000155,
   2252   0x0000017cfffffd06, 0x000000fe000001fd,
   2253   0x000001f9fffffc0c, 0x00000151555557f9,
   2254   0x0000007effffff02, 0x00000054aaaaab55,
   2255   0x000000fcfffffe06, 0x000000a8aaaaabfd,
   2256   0x00000179fffffd0c, 0x000000fc000001f9,
   2257   0x00000199fffffccc, 0x0000011155555779,
   2258   0x0000007dffffff04, 0x00000054000000a9,
   2259   0x000000fafffffe0a, 0x000000a7555556a5,
   2260   0x0000011afffffdca, 0x000000bcaaaaac25,
   2261   0x0000011dfffffdc4, 0x000000beaaaaac29,
   2262   0x0000007cffffff06, 0x00000053555555fd,
   2263   0x0000009cfffffec6, 0x00000068aaaaab7d,
   2264   0x0000009ffffffec0, 0x0000006aaaaaab81,
   2265   0x000000a1fffffebc, 0x0000006c000000d9,
   2266   0x0000001fffffffc0, 0x0000001555555581,
   2267   0x00000022ffffffba, 0x0000001755555585,
   2268   0x00000024ffffffb6, 0x00000018aaaaaadd,
   2269   0x00000025ffffffb4, 0x0000001955555589,
   2270   0x0000000200000004, 0x0000000133333339,
   2271   0x000000035555555c, 0x0000000200000009,
   2272   0x0000000400000008, 0x0000000266666671,
   2273   0x0000000400000008, 0x0000000266666671,
   2274   0x0000000155555558, 0x00000000ccccccd1,
   2275   0x0000000200000004, 0x0000000133333339,
   2276   0x0000000200000004, 0x0000000133333339,
   2277   0x0000000155555558, 0x00000000ccccccd1,
   2278   0x00000000aaaaaaac, 0x0000000066666669,
   2279   0x00000000aaaaaaac, 0x0000000066666669,
   2280   0x0000000000000000, 0x0000000000000001,
   2281   0xfffffffeaaaaaaa8, 0xffffffff33333331,
   2282   0x0000000000000000, 0x0000000000000001,
   2283   0xffffffff55555554, 0xffffffff99999999,
   2284   0xfffffffdfffffffc, 0xfffffffeccccccc9,
   2285   0xffffffe8aaaaaa7c, 0xfffffff1ffffffc9,
   2286   0xffffffff55555554, 0xffffffff99999999,
   2287   0xfffffffdfffffffc, 0xfffffffeccccccc9,
   2288   0xffffffe8aaaaaa7c, 0xfffffff1ffffffc9,
   2289   0xffffff9555555480, 0xffffffbfffffff01,
   2290   0xfffffffeaaaaaaa8, 0xffffffff33333331,
   2291   0xffffffe955555528, 0xfffffff266666631,
   2292   0xffffff95ffffff2c, 0xffffffc066666569,
   2293   0xffffff41fffffe84, 0xffffff8dfffffe39,
   2294   0xffffffeaaaaaaa80, 0xfffffff333333301,
   2295   0xffffff9755555484, 0xffffffc133333239,
   2296   0xffffff43555553dc, 0xffffff8ecccccb09,
   2297   0xfffffeeeaaaaa888, 0xffffff5bfffffd71,
   2298   0xffffffacaaaaaa04, 0xffffffcdffffff39,
   2299   0xffffff58aaaaa95c, 0xffffff9b99999809,
   2300   0xffffff03fffffe08, 0xffffff68ccccca71,
   2301   0xffffa9b0aaa9fe0c, 0xffffcc36cccbfda9,
   2302   0xffffffabffffff58, 0xffffffcd999998d1,
   2303   0xffffff5755555404, 0xffffff9acccccb39,
   2304   0xffffaa03ffff5408, 0xffffcc68cccbfe71,
   2305   0xffff54affffea960, 0xffff99366664cb41,
   2306   0xffffffab555554ac, 0xffffffcd33333269,
   2307   0xffffaa57ffff54b0, 0xffffcc9b333265a1,
   2308   0xffff5503fffeaa08, 0xffff9968cccb3271,
   2309   0xfffeffaf555354b4, 0xffff6635fffd98d9,
   2310   0xffffaaacaaaa0004, 0xffffcccdffff3339,
   2311   0xffff5558aaa9555c, 0xffff999b99980009,
   2312   0xffff0003fffe0008, 0xffff6668ccca6671,
   2313   0xdddcdde1bbb9bbc4, 0xeb848520e14547b9,
   2314   0xffffaaabffff5558, 0xffffcccd9998ccd1,
   2315   0xffff555755540004, 0xffff999acccb3339,
   2316   0xdddd3335110fbbc0, 0xeb84b852e1461481,
   2317   0xa4f9a4fbf49df4a4, 0xc962963058bd8bf9,
   2318   0xffffaaab5554aaac, 0xffffcccd33326669,
   2319   0xdddd888911106668, 0xeb84eb8547ad47b1,
   2320   0xa4f9fa4ff49e9f4c, 0xc962c962bf24bf29,
   2321   0x8000000000000000, 0x962f962ff257f261,
   2322   0xddddddddbbbbbbbc, 0xeb851eb8147ae149,
   2323   0xa4fa4fa49f49f4a0, 0xc962fc958bf258c1,
   2324   0x8000000000000000, 0x962fc962bf258bf9,
   2325   0x8000000000000000, 0x8000000000000000,
   2326   0xc71c71c6e38e38e4, 0xdddddddd77777779,
   2327   0x8000000000000000, 0xaaaaaaaaaaaaaab1,
   2328   0x8000000000000000, 0x8000000000000000,
   2329   0x8000000000000000, 0x8000000000000000,
   2330   0xaaaaaaac00000004, 0xcccccccd33333339,
   2331   0x8000000000000000, 0x9999999a00000009,
   2332   0x8000000000000000, 0x8000000000000000,
   2333   0xd555555600000000, 0xb333333400000000,
   2334   0xaaaaaaab55555558, 0xccccccccccccccd1,
   2335   0x8000000000000000, 0x9999999933333339,
   2336   0xd555555600000000, 0xcccccccd33333339,
   2337   0x2aaaaaab55555554, 0x00000000ccccccd1,
   2338   0xaaaaaaaaaaaaaaac, 0xcccccccc66666669,
   2339   0x00000000aaaaaaac, 0x0000000066666669,
   2340   0x5555555600000000, 0x3333333400000001,
   2341   0x7fffffffffffffff, 0x55555556eeeeeef1,
   2342   0x5555555600000000, 0x3333333400000001,
   2343   0x7fffffffffffffff, 0x6666666799999999,
   2344   0x7fffffffffffffff, 0x7fffffffffffffff,
   2345   0x7fffffffffffffff, 0x7fffffffffffffff,
   2346   0x5555555555555554, 0x3333333399999999,
   2347   0x7fffffffffffffff, 0x5555555688888889,
   2348   0x7fffffffffffffff, 0x69d0369eda740da9,
   2349   0x7fffffffffffffff, 0x69d069d20da80da9,
   2350   0x38e38e39c71c71c8, 0x22222222eeeeeef1,
   2351   0x5b05b05cb60b60b8, 0x369d036b40da7411,
   2352   0x5b0605b20b6160b8, 0x369d369e740e7411,
   2353   0x5b065b06b60cb60c, 0x369d69d140dc0da9,
   2354   0x22222222eeeeeef0, 0x147ae14851eb8521,
   2355   0x222277784444eef0, 0x147b147b851f8521,
   2356   0x2222cccceef04444, 0x147b47ae51ed1eb9,
   2357   0x22232220eef0eeec, 0x147b7ae0b85451e9,
   2358   0x0000555555560000, 0x0000333333340001,
   2359   0x0000aaaa00015554, 0x0000666600019999,
   2360   0x0000fffe0001fffc, 0x000099986668ccc9,
   2361   0x000155515557fff8, 0x0000ccca66699991,
   2362   0x00005554aaab5554, 0x00003332cccd9999,
   2363   0x0000aaa8aaabfffc, 0x000066653334ccc9,
   2364   0x0000fffc0001fff8, 0x0000999733359991,
   2365   0x00010051555755f8, 0x000099ca6668cd91,
   2366   0x000055540000aaa8, 0x0000333266673331,
   2367   0x0000aaa75556aaa4, 0x000066646667fff9,
   2368   0x0000aafcaaac00a4, 0x00006697999b33f9,
   2369   0x0000ab515556abf8, 0x000066ca66680191,
   2370   0x000055535555fffc, 0x000033320000ccc9,
   2371   0x000055a8aaab55fc, 0x00003365333400c9,
   2372   0x000055fd55560150, 0x000033980000ce61,
   2373   0x00005651555601f8, 0x000033ca66673591,
   2374   0x0000005555555600, 0x0000003333333401,
   2375   0x000000aa00000154, 0x0000006600000199,
   2376   0x000000fe000001fc, 0x00000098666668c9,
   2377   0x00000151555557f8, 0x000000ca66666991,
   2378   0x00000054aaaaab54, 0x00000032cccccd99,
   2379   0x000000a8aaaaabfc, 0x00000065333334c9,
   2380   0x000000fc000001f8, 0x0000009733333591,
   2381   0x0000011155555778, 0x000000a400000291,
   2382   0x00000054000000a8, 0x0000003266666731,
   2383   0x000000a7555556a4, 0x00000064666667f9,
   2384   0x000000bcaaaaac24, 0x00000071333334f9,
   2385   0x000000beaaaaac28, 0x0000007266666831,
   2386   0x00000053555555fc, 0x00000032000000c9,
   2387   0x00000068aaaaab7c, 0x0000003ecccccdc9,
   2388   0x0000006aaaaaab80, 0x0000004000000101,
   2389   0x0000006c000000d8, 0x00000040cccccdd1,
   2390   0x0000001555555580, 0x0000000ccccccd01,
   2391   0x0000001755555584, 0x0000000e00000039,
   2392   0x00000018aaaaaadc, 0x0000000ecccccd09,
   2393   0x0000001955555588, 0x0000000f33333371,
   2394   0x0000000133333338, 0x0000000000030001,
   2395   0x0000000200000008, 0x0000000000050001,
   2396   0x0000000266666670, 0x0000000000060001,
   2397   0x0000000266666670, 0x0000000000060001,
   2398   0x00000000ccccccd0, 0x0000000000020001,
   2399   0x0000000133333338, 0x0000000000030001,
   2400   0x0000000133333338, 0x0000000000030001,
   2401   0x00000000ccccccd0, 0x0000000000020001,
   2402   0x0000000066666668, 0x0000000000010001,
   2403   0x0000000066666668, 0x0000000000010001,
   2404   0x0000000000000000, 0x0000000000000001,
   2405   0xffffffff33333330, 0xfffffffffffe0001,
   2406   0x0000000000000000, 0x0000000000000001,
   2407   0xffffffff99999998, 0xffffffffffff0001,
   2408   0xfffffffeccccccc8, 0xfffffffffffd0001,
   2409   0xfffffff1ffffffc8, 0xffffffffffdd0001,
   2410   0xffffffff99999998, 0xffffffffffff0001,
   2411   0xfffffffeccccccc8, 0xfffffffffffd0001,
   2412   0xfffffff1ffffffc8, 0xffffffffffdd0001,
   2413   0xffffffbfffffff00, 0xffffffffff600001,
   2414   0xffffffff33333330, 0xfffffffffffe0001,
   2415   0xfffffff266666630, 0xffffffffffde0001,
   2416   0xffffffc066666568, 0xffffffffff610001,
   2417   0xffffff8dfffffe38, 0xfffffffffee30001,
   2418   0xfffffff333333300, 0xffffffffffe00001,
   2419   0xffffffc133333238, 0xffffffffff630001,
   2420   0xffffff8ecccccb08, 0xfffffffffee50001,
   2421   0xffffff5bfffffd70, 0xfffffffffe660001,
   2422   0xffffffcdffffff38, 0xffffffffff830001,
   2423   0xffffff9b99999808, 0xffffffffff050001,
   2424   0xffffff68ccccca70, 0xfffffffffe860001,
   2425   0xffffcc36cccbfda8, 0xffffffff7e890001,
   2426   0xffffffcd999998d0, 0xffffffffff820001,
   2427   0xffffff9acccccb38, 0xffffffffff030001,
   2428   0xffffcc68cccbfe70, 0xffffffff7f060001,
   2429   0xffff99366664cb40, 0xfffffffeff080001,
   2430   0xffffffcd33333268, 0xffffffffff810001,
   2431   0xffffcc9b333265a0, 0xffffffff7f840001,
   2432   0xffff9968cccb3270, 0xfffffffeff860001,
   2433   0xffff6635fffd98d8, 0xfffffffe7f870001,
   2434   0xffffcccdffff3338, 0xffffffff80030001,
   2435   0xffff999b99980008, 0xffffffff00050001,
   2436   0xffff6668ccca6670, 0xfffffffe80060001,
   2437   0xeb848520e14547b8, 0xffffcccb4cd30001,
   2438   0xffffcccd9998ccd0, 0xffffffff80020001,
   2439   0xffff999acccb3338, 0xffffffff00030001,
   2440   0xeb84b852e1461480, 0xffffcccbccd00001,
   2441   0xc962963058bd8bf8, 0xffff7776777b0001,
   2442   0xffffcccd33326668, 0xffffffff80010001,
   2443   0xeb84eb8547ad47b0, 0xffffcccc4cce0001,
   2444   0xc962c962bf24bf28, 0xffff7776f7790001,
   2445   0x962f962ff257f260, 0xfffef776f77c0001,
   2446   0xeb851eb8147ae148, 0xffffcccccccd0001,
   2447   0xc962fc958bf258c0, 0xffff777777780001,
   2448   0x962fc962bf258bf8, 0xfffef777777b0001,
   2449   0x8000000000000000, 0xfffe7777777d0001,
   2450   0xdddddddd77777778, 0xffffaaaaaaab0001,
   2451   0xaaaaaaaaaaaaaab0, 0xffff2aaaaaae0001,
   2452   0x8000000000000000, 0xfffeaaaaaab00001,
   2453   0x8000000000000000, 0xfffe2aaaaab10001,
   2454   0xcccccccd33333338, 0xffff800000030001,
   2455   0x9999999a00000008, 0xffff000000050001,
   2456   0x8000000000000000, 0xfffe800000060001,
   2457   0xb333333400000000, 0xffff000000060001,
   2458   0xccccccccccccccd0, 0xffff800000020001,
   2459   0x9999999933333338, 0xffff000000030001,
   2460   0xcccccccd33333338, 0xffff800000030001,
   2461   0x00000000ccccccd0, 0x0000000000020001,
   2462   0xcccccccc66666668, 0xffff800000010001,
   2463   0x0000000066666668, 0x0000000000010001,
   2464   0x3333333400000000, 0x0000800000000001,
   2465   0x55555556eeeeeef0, 0x0000d55555560001,
   2466   0x3333333400000000, 0x0000800000000001,
   2467   0x6666666799999998, 0x0000ffffffff0001,
   2468   0x7fffffffffffffff, 0x0001555555550001,
   2469   0x7fffffffffffffff, 0x0001888888890001,
   2470   0x3333333399999998, 0x00007fffffff0001,
   2471   0x5555555688888888, 0x0000d55555550001,
   2472   0x69d0369eda740da8, 0x0001088888890001,
   2473   0x69d069d20da80da8, 0x0001088908890001,
   2474   0x22222222eeeeeef0, 0x0000555555560001,
   2475   0x369d036b40da7410, 0x00008888888a0001,
   2476   0x369d369e740e7410, 0x00008889088a0001,
   2477   0x369d69d140dc0da8, 0x0000888988890001,
   2478   0x147ae14851eb8520, 0x0000333333340001,
   2479   0x147b147b851f8520, 0x00003333b3340001,
   2480   0x147b47ae51ed1eb8, 0x0000333433330001,
   2481   0x147b7ae0b85451e8, 0x00003334b3310001,
   2482   0x0000333333340000, 0x0000000080000001,
   2483   0x0000666600019998, 0x00000000ffff0001,
   2484   0x000099986668ccc8, 0x000000017ffd0001,
   2485   0x0000ccca66699990, 0x00000001fffa0001,
   2486   0x00003332cccd9998, 0x000000007fff0001,
   2487   0x000066653334ccc8, 0x00000000fffd0001,
   2488   0x0000999733359990, 0x000000017ffa0001,
   2489   0x000099ca6668cd90, 0x00000001807a0001,
   2490   0x0000333266673330, 0x000000007ffe0001,
   2491   0x000066646667fff8, 0x00000000fffb0001,
   2492   0x00006697999b33f8, 0x00000001007b0001,
   2493   0x000066ca66680190, 0x0000000100fa0001,
   2494   0x000033320000ccc8, 0x000000007ffd0001,
   2495   0x00003365333400c8, 0x00000000807d0001,
   2496   0x000033980000ce60, 0x0000000080fc0001,
   2497   0x000033ca66673590, 0x00000000817a0001,
   2498   0x0000003333333400, 0x0000000000800001,
   2499   0x0000006600000198, 0x0000000000ff0001,
   2500   0x00000098666668c8, 0x00000000017d0001,
   2501   0x000000ca66666990, 0x0000000001fa0001,
   2502   0x00000032cccccd98, 0x00000000007f0001,
   2503   0x00000065333334c8, 0x0000000000fd0001,
   2504   0x0000009733333590, 0x00000000017a0001,
   2505   0x000000a400000290, 0x00000000019a0001,
   2506   0x0000003266666730, 0x00000000007e0001,
   2507   0x00000064666667f8, 0x0000000000fb0001,
   2508   0x00000071333334f8, 0x00000000011b0001,
   2509   0x0000007266666830, 0x00000000011e0001,
   2510   0x00000032000000c8, 0x00000000007d0001,
   2511   0x0000003ecccccdc8, 0x00000000009d0001,
   2512   0x0000004000000100, 0x0000000000a00001,
   2513   0x00000040cccccdd0, 0x0000000000a20001,
   2514   0x0000000ccccccd00, 0x0000000000200001,
   2515   0x0000000e00000038, 0x0000000000230001,
   2516   0x0000000ecccccd08, 0x0000000000250001,
   2517   0x0000000f33333370, 0x0000000000260001,
   2518   0x0000000000030000, 0x000000000002fffb,
   2519   0x0000000000050000, 0x000000000004fff7,
   2520   0x0000000000060000, 0x000000000005fff5,
   2521   0x0000000000060000, 0x000000000005fff5,
   2522   0x0000000000020000, 0x000000000001fffd,
   2523   0x0000000000030000, 0x000000000002fffb,
   2524   0x0000000000030000, 0x000000000002fffb,
   2525   0x0000000000020000, 0x000000000001fffd,
   2526   0x0000000000010000, 0x000000000000ffff,
   2527   0x0000000000010000, 0x000000000000ffff,
   2528   0x0000000000000000, 0x0000000000000001,
   2529   0xfffffffffffe0000, 0xfffffffffffe0005,
   2530   0x0000000000000000, 0x0000000000000001,
   2531   0xffffffffffff0000, 0xffffffffffff0003,
   2532   0xfffffffffffd0000, 0xfffffffffffd0007,
   2533   0xffffffffffdd0000, 0xffffffffffdd0047,
   2534   0xffffffffffff0000, 0xffffffffffff0003,
   2535   0xfffffffffffd0000, 0xfffffffffffd0007,
   2536   0xffffffffffdd0000, 0xffffffffffdd0047,
   2537   0xffffffffff600000, 0xffffffffff600141,
   2538   0xfffffffffffe0000, 0xfffffffffffe0005,
   2539   0xffffffffffde0000, 0xffffffffffde0045,
   2540   0xffffffffff610000, 0xffffffffff61013f,
   2541   0xfffffffffee30000, 0xfffffffffee3023b,
   2542   0xffffffffffe00000, 0xffffffffffe00041,
   2543   0xffffffffff630000, 0xffffffffff63013b,
   2544   0xfffffffffee50000, 0xfffffffffee50237,
   2545   0xfffffffffe660000, 0xfffffffffe660335,
   2546   0xffffffffff830000, 0xffffffffff8300fb,
   2547   0xffffffffff050000, 0xffffffffff0501f7,
   2548   0xfffffffffe860000, 0xfffffffffe8602f5,
   2549   0xffffffff7e890000, 0xffffffff7e8a02ef,
   2550   0xffffffffff820000, 0xffffffffff8200fd,
   2551   0xffffffffff030000, 0xffffffffff0301fb,
   2552   0xffffffff7f060000, 0xffffffff7f0701f5,
   2553   0xfffffffeff080000, 0xfffffffeff0a01f1,
   2554   0xffffffffff810000, 0xffffffffff8100ff,
   2555   0xffffffff7f840000, 0xffffffff7f8500f9,
   2556   0xfffffffeff860000, 0xfffffffeff8800f5,
   2557   0xfffffffe7f870000, 0xfffffffe7f8a00f3,
   2558   0xffffffff80030000, 0xffffffff8003fffb,
   2559   0xffffffff00050000, 0xffffffff0006fff7,
   2560   0xfffffffe80060000, 0xfffffffe8008fff5,
   2561   0xffffcccb4cd30000, 0xffffcccbb33c665b,
   2562   0xffffffff80020000, 0xffffffff8002fffd,
   2563   0xffffffff00030000, 0xffffffff0004fffb,
   2564   0xffffcccbccd00000, 0xffffcccc33386661,
   2565   0xffff7776777b0000, 0xffff7777888e110b,
   2566   0xffffffff80010000, 0xffffffff8001ffff,
   2567   0xffffcccc4cce0000, 0xffffccccb3356665,
   2568   0xffff7776f7790000, 0xffff7778088b110f,
   2569   0xfffef776f77c0000, 0xfffef779088e1109,
   2570   0xffffcccccccd0000, 0xffffcccd33336667,
   2571   0xffff777777780000, 0xffff777888891111,
   2572   0xfffef777777b0000, 0xfffef779888c110b,
   2573   0xfffe7777777d0000, 0xfffe777a888e1107,
   2574   0xffffaaaaaaab0000, 0xffffaaab5555aaab,
   2575   0xffff2aaaaaae0000, 0xffff2aac5558aaa5,
   2576   0xfffeaaaaaab00000, 0xfffeaaad555aaaa1,
   2577   0xfffe2aaaaab10000, 0xfffe2aae555baa9f,
   2578   0xffff800000030000, 0xffff80010002fffb,
   2579   0xffff000000050000, 0xffff00020004fff7,
   2580   0xfffe800000060000, 0xfffe80030005fff5,
   2581   0xffff000000060000, 0xffff00020005fff5,
   2582   0xffff800000020000, 0xffff80010001fffd,
   2583   0xffff000000030000, 0xffff00020002fffb,
   2584   0xffff800000030000, 0xffff80010002fffb,
   2585   0x0000000000020000, 0x000000000001fffd,
   2586   0xffff800000010000, 0xffff80010000ffff,
   2587   0x0000000000010000, 0x000000000000ffff,
   2588   0x0000800000000000, 0x00007fff00000001,
   2589   0x0000d55555560000, 0x0000d553aaab5555,
   2590   0x0000800000000000, 0x00007fff00000001,
   2591   0x0000ffffffff0000, 0x0000fffdffff0003,
   2592   0x0001555555550000, 0x00015552aaaa5557,
   2593   0x0001888888890000, 0x000188857777eeef,
   2594   0x00007fffffff0000, 0x00007ffeffff0003,
   2595   0x0000d55555550000, 0x0000d553aaaa5557,
   2596   0x0001088888890000, 0x000108867777eeef,
   2597   0x0001088908890000, 0x00010886f776eeef,
   2598   0x0000555555560000, 0x00005554aaab5555,
   2599   0x00008888888a0000, 0x000088877778eeed,
   2600   0x00008889088a0000, 0x00008887f777eeed,
   2601   0x0000888988890000, 0x000088887775eeef,
   2602   0x0000333333340000, 0x00003332cccd9999,
   2603   0x00003333b3340000, 0x000033334ccc9999,
   2604   0x0000333433330000, 0x00003333ccca999b,
   2605   0x00003334b3310000, 0x000033344cc7999f,
   2606   0x0000000080000000, 0x000000007fff0001,
   2607   0x00000000ffff0000, 0x00000000fffd0003,
   2608   0x000000017ffd0000, 0x000000017ffa0007,
   2609   0x00000001fffa0000, 0x00000001fff6000d,
   2610   0x000000007fff0000, 0x000000007ffe0003,
   2611   0x00000000fffd0000, 0x00000000fffb0007,
   2612   0x000000017ffa0000, 0x000000017ff7000d,
   2613   0x00000001807a0000, 0x000000018076ff0d,
   2614   0x000000007ffe0000, 0x000000007ffd0005,
   2615   0x00000000fffb0000, 0x00000000fff9000b,
   2616   0x00000001007b0000, 0x000000010078ff0b,
   2617   0x0000000100fa0000, 0x0000000100f7fe0d,
   2618   0x000000007ffd0000, 0x000000007ffc0007,
   2619   0x00000000807d0000, 0x00000000807bff07,
   2620   0x0000000080fc0000, 0x0000000080fafe09,
   2621   0x00000000817a0000, 0x000000008178fd0d,
   2622   0x0000000000800000, 0x00000000007fff01,
   2623   0x0000000000ff0000, 0x0000000000fefe03,
   2624   0x00000000017d0000, 0x00000000017cfd07,
   2625   0x0000000001fa0000, 0x0000000001f9fc0d,
   2626   0x00000000007f0000, 0x00000000007eff03,
   2627   0x0000000000fd0000, 0x0000000000fcfe07,
   2628   0x00000000017a0000, 0x000000000179fd0d,
   2629   0x00000000019a0000, 0x000000000199fccd,
   2630   0x00000000007e0000, 0x00000000007dff05,
   2631   0x0000000000fb0000, 0x0000000000fafe0b,
   2632   0x00000000011b0000, 0x00000000011afdcb,
   2633   0x00000000011e0000, 0x00000000011dfdc5,
   2634   0x00000000007d0000, 0x00000000007cff07,
   2635   0x00000000009d0000, 0x00000000009cfec7,
   2636   0x0000000000a00000, 0x00000000009ffec1,
   2637   0x0000000000a20000, 0x0000000000a1febd,
   2638   0x0000000000200000, 0x00000000001fffc1,
   2639   0x0000000000230000, 0x000000000022ffbb,
   2640   0x0000000000250000, 0x000000000024ffb7,
   2641   0x0000000000260000, 0x000000000025ffb5,
   2642   0x000000000002fffa, 0x000000000002fff5,
   2643   0x000000000004fff6, 0x000000000004ffed,
   2644   0x000000000005fff4, 0x000000000005ffe9,
   2645   0x000000000005fff4, 0x000000000005ffe9,
   2646   0x000000000001fffc, 0x000000000001fff9,
   2647   0x000000000002fffa, 0x000000000002fff5,
   2648   0x000000000002fffa, 0x000000000002fff5,
   2649   0x000000000001fffc, 0x000000000001fff9,
   2650   0x000000000000fffe, 0x000000000000fffd,
   2651   0x000000000000fffe, 0x000000000000fffd,
   2652   0x0000000000000000, 0x0000000000000001,
   2653   0xfffffffffffe0004, 0xfffffffffffe0009,
   2654   0x0000000000000000, 0x0000000000000001,
   2655   0xffffffffffff0002, 0xffffffffffff0005,
   2656   0xfffffffffffd0006, 0xfffffffffffd000d,
   2657   0xffffffffffdd0046, 0xffffffffffdd008d,
   2658   0xffffffffffff0002, 0xffffffffffff0005,
   2659   0xfffffffffffd0006, 0xfffffffffffd000d,
   2660   0xffffffffffdd0046, 0xffffffffffdd008d,
   2661   0xffffffffff600140, 0xffffffffff600281,
   2662   0xfffffffffffe0004, 0xfffffffffffe0009,
   2663   0xffffffffffde0044, 0xffffffffffde0089,
   2664   0xffffffffff61013e, 0xffffffffff61027d,
   2665   0xfffffffffee3023a, 0xfffffffffee30475,
   2666   0xffffffffffe00040, 0xffffffffffe00081,
   2667   0xffffffffff63013a, 0xffffffffff630275,
   2668   0xfffffffffee50236, 0xfffffffffee5046d,
   2669   0xfffffffffe660334, 0xfffffffffe660669,
   2670   0xffffffffff8300fa, 0xffffffffff8301f5,
   2671   0xffffffffff0501f6, 0xffffffffff0503ed,
   2672   0xfffffffffe8602f4, 0xfffffffffe8605e9,
   2673   0xffffffff7e8a02ee, 0xffffffff7e8b05dd,
   2674   0xffffffffff8200fc, 0xffffffffff8201f9,
   2675   0xffffffffff0301fa, 0xffffffffff0303f5,
   2676   0xffffffff7f0701f4, 0xffffffff7f0803e9,
   2677   0xfffffffeff0a01f0, 0xfffffffeff0c03e1,
   2678   0xffffffffff8100fe, 0xffffffffff8101fd,
   2679   0xffffffff7f8500f8, 0xffffffff7f8601f1,
   2680   0xfffffffeff8800f4, 0xfffffffeff8a01e9,
   2681   0xfffffffe7f8a00f2, 0xfffffffe7f8d01e5,
   2682   0xffffffff8003fffa, 0xffffffff8004fff5,
   2683   0xffffffff0006fff6, 0xffffffff0008ffed,
   2684   0xfffffffe8008fff4, 0xfffffffe800bffe9,
   2685   0xffffcccbb33c665a, 0xffffcccc19a5ccb5,
   2686   0xffffffff8002fffc, 0xffffffff8003fff9,
   2687   0xffffffff0004fffa, 0xffffffff0006fff5,
   2688   0xffffcccc33386660, 0xffffcccc99a0ccc1,
   2689   0xffff7777888e110a, 0xffff777899a12215,
   2690   0xffffffff8001fffe, 0xffffffff8002fffd,
   2691   0xffffccccb3356664, 0xffffcccd199cccc9,
   2692   0xffff7778088b110e, 0xffff7779199d221d,
   2693   0xfffef779088e1108, 0xfffef77b19a02211,
   2694   0xffffcccd33336666, 0xffffcccd9999cccd,
   2695   0xffff777888891110, 0xffff7779999a2221,
   2696   0xfffef779888c110a, 0xfffef77b999d2215,
   2697   0xfffe777a888e1106, 0xfffe777d999f220d,
   2698   0xffffaaab5555aaaa, 0xffffaaac00005555,
   2699   0xffff2aac5558aaa4, 0xffff2aae00035549,
   2700   0xfffeaaad555aaaa0, 0xfffeaab000055541,
   2701   0xfffe2aae555baa9e, 0xfffe2ab20006553d,
   2702   0xffff80010002fffa, 0xffff80020002fff5,
   2703   0xffff00020004fff6, 0xffff00040004ffed,
   2704   0xfffe80030005fff4, 0xfffe80060005ffe9,
   2705   0xffff00020005fff4, 0xffff00040005ffe9,
   2706   0xffff80010001fffc, 0xffff80020001fff9,
   2707   0xffff00020002fffa, 0xffff00040002fff5,
   2708   0xffff80010002fffa, 0xffff80020002fff5,
   2709   0x000000000001fffc, 0x000000000001fff9,
   2710   0xffff80010000fffe, 0xffff80020000fffd,
   2711   0x000000000000fffe, 0x000000000000fffd,
   2712   0x00007fff00000000, 0x00007ffe00000001,
   2713   0x0000d553aaab5554, 0x0000d5520000aaa9,
   2714   0x00007fff00000000, 0x00007ffe00000001,
   2715   0x0000fffdffff0002, 0x0000fffbffff0005,
   2716   0x00015552aaaa5556, 0x0001554fffffaaad,
   2717   0x000188857777eeee, 0x000188826666dddd,
   2718   0x00007ffeffff0002, 0x00007ffdffff0005,
   2719   0x0000d553aaaa5556, 0x0000d551ffffaaad,
   2720   0x000108867777eeee, 0x000108846666dddd,
   2721   0x00010886f776eeee, 0x00010884e664dddd,
   2722   0x00005554aaab5554, 0x000055540000aaa9,
   2723   0x000088877778eeec, 0x000088866667ddd9,
   2724   0x00008887f777eeec, 0x00008886e665ddd9,
   2725   0x000088887775eeee, 0x000088876662dddd,
   2726   0x00003332cccd9998, 0x0000333266673331,
   2727   0x000033334ccc9998, 0x00003332e6653331,
   2728   0x00003333ccca999a, 0x0000333366623335,
   2729   0x000033344cc7999e, 0x00003333e65e333d,
   2730   0x000000007fff0000, 0x000000007ffe0001,
   2731   0x00000000fffd0002, 0x00000000fffb0005,
   2732   0x000000017ffa0006, 0x000000017ff7000d,
   2733   0x00000001fff6000c, 0x00000001fff20019,
   2734   0x000000007ffe0002, 0x000000007ffd0005,
   2735   0x00000000fffb0006, 0x00000000fff9000d,
   2736   0x000000017ff7000c, 0x000000017ff40019,
   2737   0x000000018076ff0c, 0x000000018073fe19,
   2738   0x000000007ffd0004, 0x000000007ffc0009,
   2739   0x00000000fff9000a, 0x00000000fff70015,
   2740   0x000000010078ff0a, 0x000000010076fe15,
   2741   0x0000000100f7fe0c, 0x0000000100f5fc19,
   2742   0x000000007ffc0006, 0x000000007ffb000d,
   2743   0x00000000807bff06, 0x00000000807afe0d,
   2744   0x0000000080fafe08, 0x0000000080f9fc11,
   2745   0x000000008178fd0c, 0x000000008177fa19,
   2746   0x00000000007fff00, 0x00000000007ffe01,
   2747   0x0000000000fefe02, 0x0000000000fefc05,
   2748   0x00000000017cfd06, 0x00000000017cfa0d,
   2749   0x0000000001f9fc0c, 0x0000000001f9f819,
   2750   0x00000000007eff02, 0x00000000007efe05,
   2751   0x0000000000fcfe06, 0x0000000000fcfc0d,
   2752   0x000000000179fd0c, 0x000000000179fa19,
   2753   0x000000000199fccc, 0x000000000199f999,
   2754   0x00000000007dff04, 0x00000000007dfe09,
   2755   0x0000000000fafe0a, 0x0000000000fafc15,
   2756   0x00000000011afdca, 0x00000000011afb95,
   2757   0x00000000011dfdc4, 0x00000000011dfb89,
   2758   0x00000000007cff06, 0x00000000007cfe0d,
   2759   0x00000000009cfec6, 0x00000000009cfd8d,
   2760   0x00000000009ffec0, 0x00000000009ffd81,
   2761   0x0000000000a1febc, 0x0000000000a1fd79,
   2762   0x00000000001fffc0, 0x00000000001fff81,
   2763   0x000000000022ffba, 0x000000000022ff75,
   2764   0x000000000024ffb6, 0x000000000024ff6d,
   2765   0x000000000025ffb4, 0x000000000025ff69,
   2766   0x000000000002fff4, 0x000000000002ffef,
   2767   0x000000000004ffec, 0x000000000004ffe3,
   2768   0x000000000005ffe8, 0x000000000005ffdd,
   2769   0x000000000005ffe8, 0x000000000005ffdd,
   2770   0x000000000001fff8, 0x000000000001fff5,
   2771   0x000000000002fff4, 0x000000000002ffef,
   2772   0x000000000002fff4, 0x000000000002ffef,
   2773   0x000000000001fff8, 0x000000000001fff5,
   2774   0x000000000000fffc, 0x000000000000fffb,
   2775   0x000000000000fffc, 0x000000000000fffb,
   2776   0x0000000000000000, 0x0000000000000001,
   2777   0xfffffffffffe0008, 0xfffffffffffe000d,
   2778   0x0000000000000000, 0x0000000000000001,
   2779   0xffffffffffff0004, 0xffffffffffff0007,
   2780   0xfffffffffffd000c, 0xfffffffffffd0013,
   2781   0xffffffffffdd008c, 0xffffffffffdd00d3,
   2782   0xffffffffffff0004, 0xffffffffffff0007,
   2783   0xfffffffffffd000c, 0xfffffffffffd0013,
   2784   0xffffffffffdd008c, 0xffffffffffdd00d3,
   2785   0xffffffffff600280, 0xffffffffff6003c1,
   2786   0xfffffffffffe0008, 0xfffffffffffe000d,
   2787   0xffffffffffde0088, 0xffffffffffde00cd,
   2788   0xffffffffff61027c, 0xffffffffff6103bb,
   2789   0xfffffffffee30474, 0xfffffffffee306af,
   2790   0xffffffffffe00080, 0xffffffffffe000c1,
   2791   0xffffffffff630274, 0xffffffffff6303af,
   2792   0xfffffffffee5046c, 0xfffffffffee506a3,
   2793   0xfffffffffe660668, 0xfffffffffe66099d,
   2794   0xffffffffff8301f4, 0xffffffffff8302ef,
   2795   0xffffffffff0503ec, 0xffffffffff0505e3,
   2796   0xfffffffffe8605e8, 0xfffffffffe8608dd,
   2797   0xffffffff7e8b05dc, 0xffffffff7e8c08cb,
   2798   0xffffffffff8201f8, 0xffffffffff8202f5,
   2799   0xffffffffff0303f4, 0xffffffffff0305ef,
   2800   0xffffffff7f0803e8, 0xffffffff7f0905dd,
   2801   0xfffffffeff0c03e0, 0xfffffffeff0e05d1,
   2802   0xffffffffff8101fc, 0xffffffffff8102fb,
   2803   0xffffffff7f8601f0, 0xffffffff7f8702e9,
   2804   0xfffffffeff8a01e8, 0xfffffffeff8c02dd,
   2805   0xfffffffe7f8d01e4, 0xfffffffe7f9002d7,
   2806   0xffffffff8004fff4, 0xffffffff8005ffef,
   2807   0xffffffff0008ffec, 0xffffffff000affe3,
   2808   0xfffffffe800bffe8, 0xfffffffe800effdd,
   2809   0xffffcccc19a5ccb4, 0xffffcccc800f330f,
   2810   0xffffffff8003fff8, 0xffffffff8004fff5,
   2811   0xffffffff0006fff4, 0xffffffff0008ffef,
   2812   0xffffcccc99a0ccc0, 0xffffcccd00093321,
   2813   0xffff777899a12214, 0xffff7779aab4331f,
   2814   0xffffffff8002fffc, 0xffffffff8003fffb,
   2815   0xffffcccd199cccc8, 0xffffcccd8004332d,
   2816   0xffff7779199d221c, 0xffff777a2aaf332b,
   2817   0xfffef77b19a02210, 0xfffef77d2ab23319,
   2818   0xffffcccd9999cccc, 0xffffccce00003333,
   2819   0xffff7779999a2220, 0xffff777aaaab3331,
   2820   0xfffef77b999d2214, 0xfffef77daaae331f,
   2821   0xfffe777d999f220c, 0xfffe7780aab03313,
   2822   0xffffaaac00005554, 0xffffaaacaaaaffff,
   2823   0xffff2aae00035548, 0xffff2aafaaadffed,
   2824   0xfffeaab000055540, 0xfffeaab2aaafffe1,
   2825   0xfffe2ab20006553c, 0xfffe2ab5aab0ffdb,
   2826   0xffff80020002fff4, 0xffff80030002ffef,
   2827   0xffff00040004ffec, 0xffff00060004ffe3,
   2828   0xfffe80060005ffe8, 0xfffe80090005ffdd,
   2829   0xffff00040005ffe8, 0xffff00060005ffdd,
   2830   0xffff80020001fff8, 0xffff80030001fff5,
   2831   0xffff00040002fff4, 0xffff00060002ffef,
   2832   0xffff80020002fff4, 0xffff80030002ffef,
   2833   0x000000000001fff8, 0x000000000001fff5,
   2834   0xffff80020000fffc, 0xffff80030000fffb,
   2835   0x000000000000fffc, 0x000000000000fffb,
   2836   0x00007ffe00000000, 0x00007ffd00000001,
   2837   0x0000d5520000aaa8, 0x0000d5505555fffd,
   2838   0x00007ffe00000000, 0x00007ffd00000001,
   2839   0x0000fffbffff0004, 0x0000fff9ffff0007,
   2840   0x0001554fffffaaac, 0x0001554d55550003,
   2841   0x000188826666dddc, 0x0001887f5555cccb,
   2842   0x00007ffdffff0004, 0x00007ffcffff0007,
   2843   0x0000d551ffffaaac, 0x0000d55055550003,
   2844   0x000108846666dddc, 0x000108825555cccb,
   2845   0x00010884e664dddc, 0x00010882d552cccb,
   2846   0x000055540000aaa8, 0x000055535555fffd,
   2847   0x000088866667ddd8, 0x000088855556ccc5,
   2848   0x00008886e665ddd8, 0x00008885d553ccc5,
   2849   0x000088876662dddc, 0x00008886554fcccb,
   2850   0x0000333266673330, 0x000033320000ccc9,
   2851   0x00003332e6653330, 0x000033327ffdccc9,
   2852   0x0000333366623334, 0x00003332fff9cccf,
   2853   0x00003333e65e333c, 0x000033337ff4ccdb,
   2854   0x000000007ffe0000, 0x000000007ffd0001,
   2855   0x00000000fffb0004, 0x00000000fff90007,
   2856   0x000000017ff7000c, 0x000000017ff40013,
   2857   0x00000001fff20018, 0x00000001ffee0025,
   2858   0x000000007ffd0004, 0x000000007ffc0007,
   2859   0x00000000fff9000c, 0x00000000fff70013,
   2860   0x000000017ff40018, 0x000000017ff10025,
   2861   0x000000018073fe18, 0x000000018070fd25,
   2862   0x000000007ffc0008, 0x000000007ffb000d,
   2863   0x00000000fff70014, 0x00000000fff5001f,
   2864   0x000000010076fe14, 0x000000010074fd1f,
   2865   0x0000000100f5fc18, 0x0000000100f3fa25,
   2866   0x000000007ffb000c, 0x000000007ffa0013,
   2867   0x00000000807afe0c, 0x000000008079fd13,
   2868   0x0000000080f9fc10, 0x0000000080f8fa19,
   2869   0x000000008177fa18, 0x000000008176f725,
   2870   0x00000000007ffe00, 0x00000000007ffd01,
   2871   0x0000000000fefc04, 0x0000000000fefa07,
   2872   0x00000000017cfa0c, 0x00000000017cf713,
   2873   0x0000000001f9f818, 0x0000000001f9f425,
   2874   0x00000000007efe04, 0x00000000007efd07,
   2875   0x0000000000fcfc0c, 0x0000000000fcfa13,
   2876   0x000000000179fa18, 0x000000000179f725,
   2877   0x000000000199f998, 0x000000000199f665,
   2878   0x00000000007dfe08, 0x00000000007dfd0d,
   2879   0x0000000000fafc14, 0x0000000000fafa1f,
   2880   0x00000000011afb94, 0x00000000011af95f,
   2881   0x00000000011dfb88, 0x00000000011df94d,
   2882   0x00000000007cfe0c, 0x00000000007cfd13,
   2883   0x00000000009cfd8c, 0x00000000009cfc53,
   2884   0x00000000009ffd80, 0x00000000009ffc41,
   2885   0x0000000000a1fd78, 0x0000000000a1fc35,
   2886   0x00000000001fff80, 0x00000000001fff41,
   2887   0x000000000022ff74, 0x000000000022ff2f,
   2888   0x000000000024ff6c, 0x000000000024ff23,
   2889   0x000000000025ff68, 0x000000000025ff1d,
   2890   0x000000000002ffee, 0x0000000000000301,
   2891   0x000000000004ffe2, 0x0000000000000501,
   2892   0x000000000005ffdc, 0x0000000000000601,
   2893   0x000000000005ffdc, 0x0000000000000601,
   2894   0x000000000001fff4, 0x0000000000000201,
   2895   0x000000000002ffee, 0x0000000000000301,
   2896   0x000000000002ffee, 0x0000000000000301,
   2897   0x000000000001fff4, 0x0000000000000201,
   2898   0x000000000000fffa, 0x0000000000000101,
   2899   0x000000000000fffa, 0x0000000000000101,
   2900   0x0000000000000000, 0x0000000000000001,
   2901   0xfffffffffffe000c, 0xfffffffffffffe01,
   2902   0x0000000000000000, 0x0000000000000001,
   2903   0xffffffffffff0006, 0xffffffffffffff01,
   2904   0xfffffffffffd0012, 0xfffffffffffffd01,
   2905   0xffffffffffdd00d2, 0xffffffffffffdd01,
   2906   0xffffffffffff0006, 0xffffffffffffff01,
   2907   0xfffffffffffd0012, 0xfffffffffffffd01,
   2908   0xffffffffffdd00d2, 0xffffffffffffdd01,
   2909   0xffffffffff6003c0, 0xffffffffffff6001,
   2910   0xfffffffffffe000c, 0xfffffffffffffe01,
   2911   0xffffffffffde00cc, 0xffffffffffffde01,
   2912   0xffffffffff6103ba, 0xffffffffffff6101,
   2913   0xfffffffffee306ae, 0xfffffffffffee301,
   2914   0xffffffffffe000c0, 0xffffffffffffe001,
   2915   0xffffffffff6303ae, 0xffffffffffff6301,
   2916   0xfffffffffee506a2, 0xfffffffffffee501,
   2917   0xfffffffffe66099c, 0xfffffffffffe6601,
   2918   0xffffffffff8302ee, 0xffffffffffff8301,
   2919   0xffffffffff0505e2, 0xffffffffffff0501,
   2920   0xfffffffffe8608dc, 0xfffffffffffe8601,
   2921   0xffffffff7e8c08ca, 0xffffffffff7e8901,
   2922   0xffffffffff8202f4, 0xffffffffffff8201,
   2923   0xffffffffff0305ee, 0xffffffffffff0301,
   2924   0xffffffff7f0905dc, 0xffffffffff7f0601,
   2925   0xfffffffeff0e05d0, 0xfffffffffeff0801,
   2926   0xffffffffff8102fa, 0xffffffffffff8101,
   2927   0xffffffff7f8702e8, 0xffffffffff7f8401,
   2928   0xfffffffeff8c02dc, 0xfffffffffeff8601,
   2929   0xfffffffe7f9002d6, 0xfffffffffe7f8701,
   2930   0xffffffff8005ffee, 0xffffffffff800301,
   2931   0xffffffff000affe2, 0xffffffffff000501,
   2932   0xfffffffe800effdc, 0xfffffffffe800601,
   2933   0xffffcccc800f330e, 0xffffffcccb4cd301,
   2934   0xffffffff8004fff4, 0xffffffffff800201,
   2935   0xffffffff0008ffee, 0xffffffffff000301,
   2936   0xffffcccd00093320, 0xffffffcccbccd001,
   2937   0xffff7779aab4331e, 0xffffff7776777b01,
   2938   0xffffffff8003fffa, 0xffffffffff800101,
   2939   0xffffcccd8004332c, 0xffffffcccc4cce01,
   2940   0xffff777a2aaf332a, 0xffffff7776f77901,
   2941   0xfffef77d2ab23318, 0xfffffef776f77c01,
   2942   0xffffccce00003332, 0xffffffcccccccd01,
   2943   0xffff777aaaab3330, 0xffffff7777777801,
   2944   0xfffef77daaae331e, 0xfffffef777777b01,
   2945   0xfffe7780aab03312, 0xfffffe7777777d01,
   2946   0xffffaaacaaaafffe, 0xffffffaaaaaaab01,
   2947   0xffff2aafaaadffec, 0xffffff2aaaaaae01,
   2948   0xfffeaab2aaafffe0, 0xfffffeaaaaaab001,
   2949   0xfffe2ab5aab0ffda, 0xfffffe2aaaaab101,
   2950   0xffff80030002ffee, 0xffffff8000000301,
   2951   0xffff00060004ffe2, 0xffffff0000000501,
   2952   0xfffe80090005ffdc, 0xfffffe8000000601,
   2953   0xffff00060005ffdc, 0xffffff0000000601,
   2954   0xffff80030001fff4, 0xffffff8000000201,
   2955   0xffff00060002ffee, 0xffffff0000000301,
   2956   0xffff80030002ffee, 0xffffff8000000301,
   2957   0x000000000001fff4, 0x0000000000000201,
   2958   0xffff80030000fffa, 0xffffff8000000101,
   2959   0x000000000000fffa, 0x0000000000000101,
   2960   0x00007ffd00000000, 0x0000008000000001,
   2961   0x0000d5505555fffc, 0x000000d555555601,
   2962   0x00007ffd00000000, 0x0000008000000001,
   2963   0x0000fff9ffff0006, 0x000000ffffffff01,
   2964   0x0001554d55550002, 0x0000015555555501,
   2965   0x0001887f5555ccca, 0x0000018888888901,
   2966   0x00007ffcffff0006, 0x0000007fffffff01,
   2967   0x0000d55055550002, 0x000000d555555501,
   2968   0x000108825555ccca, 0x0000010888888901,
   2969   0x00010882d552ccca, 0x0000010889088901,
   2970   0x000055535555fffc, 0x0000005555555601,
   2971   0x000088855556ccc4, 0x0000008888888a01,
   2972   0x00008885d553ccc4, 0x0000008889088a01,
   2973   0x00008886554fccca, 0x0000008889888901,
   2974   0x000033320000ccc8, 0x0000003333333401,
   2975   0x000033327ffdccc8, 0x0000003333b33401,
   2976   0x00003332fff9ccce, 0x0000003334333301,
   2977   0x000033337ff4ccda, 0x0000003334b33101,
   2978   0x000000007ffd0000, 0x0000000000800001,
   2979   0x00000000fff90006, 0x0000000000ffff01,
   2980   0x000000017ff40012, 0x00000000017ffd01,
   2981   0x00000001ffee0024, 0x0000000001fffa01,
   2982   0x000000007ffc0006, 0x00000000007fff01,
   2983   0x00000000fff70012, 0x0000000000fffd01,
   2984   0x000000017ff10024, 0x00000000017ffa01,
   2985   0x000000018070fd24, 0x0000000001807a01,
   2986   0x000000007ffb000c, 0x00000000007ffe01,
   2987   0x00000000fff5001e, 0x0000000000fffb01,
   2988   0x000000010074fd1e, 0x0000000001007b01,
   2989   0x0000000100f3fa24, 0x000000000100fa01,
   2990   0x000000007ffa0012, 0x00000000007ffd01,
   2991   0x000000008079fd12, 0x0000000000807d01,
   2992   0x0000000080f8fa18, 0x000000000080fc01,
   2993   0x000000008176f724, 0x0000000000817a01,
   2994   0x00000000007ffd00, 0x0000000000008001,
   2995   0x0000000000fefa06, 0x000000000000ff01,
   2996   0x00000000017cf712, 0x0000000000017d01,
   2997   0x0000000001f9f424, 0x000000000001fa01,
   2998   0x00000000007efd06, 0x0000000000007f01,
   2999   0x0000000000fcfa12, 0x000000000000fd01,
   3000   0x000000000179f724, 0x0000000000017a01,
   3001   0x000000000199f664, 0x0000000000019a01,
   3002   0x00000000007dfd0c, 0x0000000000007e01,
   3003   0x0000000000fafa1e, 0x000000000000fb01,
   3004   0x00000000011af95e, 0x0000000000011b01,
   3005   0x00000000011df94c, 0x0000000000011e01,
   3006   0x00000000007cfd12, 0x0000000000007d01,
   3007   0x00000000009cfc52, 0x0000000000009d01,
   3008   0x00000000009ffc40, 0x000000000000a001,
   3009   0x0000000000a1fc34, 0x000000000000a201,
   3010   0x00000000001fff40, 0x0000000000002001,
   3011   0x000000000022ff2e, 0x0000000000002301,
   3012   0x000000000024ff22, 0x0000000000002501,
   3013   0x000000000025ff1c, 0x0000000000002601,
   3014   0x0000000000000300, 0x00000000000002fb,
   3015   0x0000000000000500, 0x00000000000004f7,
   3016   0x0000000000000600, 0x00000000000005f5,
   3017   0x0000000000000600, 0x00000000000005f5,
   3018   0x0000000000000200, 0x00000000000001fd,
   3019   0x0000000000000300, 0x00000000000002fb,
   3020   0x0000000000000300, 0x00000000000002fb,
   3021   0x0000000000000200, 0x00000000000001fd,
   3022   0x0000000000000100, 0x00000000000000ff,
   3023   0x0000000000000100, 0x00000000000000ff,
   3024   0x0000000000000000, 0x0000000000000001,
   3025   0xfffffffffffffe00, 0xfffffffffffffe05,
   3026   0x0000000000000000, 0x0000000000000001,
   3027   0xffffffffffffff00, 0xffffffffffffff03,
   3028   0xfffffffffffffd00, 0xfffffffffffffd07,
   3029   0xffffffffffffdd00, 0xffffffffffffdd47,
   3030   0xffffffffffffff00, 0xffffffffffffff03,
   3031   0xfffffffffffffd00, 0xfffffffffffffd07,
   3032   0xffffffffffffdd00, 0xffffffffffffdd47,
   3033   0xffffffffffff6000, 0xffffffffffff6141,
   3034   0xfffffffffffffe00, 0xfffffffffffffe05,
   3035   0xffffffffffffde00, 0xffffffffffffde45,
   3036   0xffffffffffff6100, 0xffffffffffff623f,
   3037   0xfffffffffffee300, 0xfffffffffffee53b,
   3038   0xffffffffffffe000, 0xffffffffffffe041,
   3039   0xffffffffffff6300, 0xffffffffffff643b,
   3040   0xfffffffffffee500, 0xfffffffffffee737,
   3041   0xfffffffffffe6600, 0xfffffffffffe6935,
   3042   0xffffffffffff8300, 0xffffffffffff83fb,
   3043   0xffffffffffff0500, 0xffffffffffff06f7,
   3044   0xfffffffffffe8600, 0xfffffffffffe88f5,
   3045   0xffffffffff7e8900, 0xffffffffff7f8bef,
   3046   0xffffffffffff8200, 0xffffffffffff82fd,
   3047   0xffffffffffff0300, 0xffffffffffff04fb,
   3048   0xffffffffff7f0600, 0xffffffffff8007f5,
   3049   0xfffffffffeff0800, 0xffffffffff0109f1,
   3050   0xffffffffffff8100, 0xffffffffffff81ff,
   3051   0xffffffffff7f8400, 0xffffffffff8084f9,
   3052   0xfffffffffeff8600, 0xffffffffff0186f5,
   3053   0xfffffffffe7f8700, 0xfffffffffe8287f3,
   3054   0xffffffffff800300, 0xffffffffff8102fb,
   3055   0xffffffffff000500, 0xffffffffff0204f7,
   3056   0xfffffffffe800600, 0xfffffffffe8305f5,
   3057   0xffffffcccb4cd300, 0xffffffcd31b6395b,
   3058   0xffffffffff800200, 0xffffffffff8101fd,
   3059   0xffffffffff000300, 0xffffffffff0202fb,
   3060   0xffffffcccbccd000, 0xffffffcd32353661,
   3061   0xffffff7776777b00, 0xffffff78878a8c0b,
   3062   0xffffffffff800100, 0xffffffffff8100ff,
   3063   0xffffffcccc4cce00, 0xffffffcd32b43465,
   3064   0xffffff7776f77900, 0xffffff7888098a0f,
   3065   0xfffffef776f77c00, 0xfffffef988098d09,
   3066   0xffffffcccccccd00, 0xffffffcd33333367,
   3067   0xffffff7777777800, 0xffffff7888888911,
   3068   0xfffffef777777b00, 0xfffffef988888c0b,
   3069   0xfffffe7777777d00, 0xfffffe7a88888e07,
   3070   0xffffffaaaaaaab00, 0xffffffab555555ab,
   3071   0xffffff2aaaaaae00, 0xffffff2c555558a5,
   3072   0xfffffeaaaaaab000, 0xfffffead55555aa1,
   3073   0xfffffe2aaaaab100, 0xfffffe2e55555b9f,
   3074   0xffffff8000000300, 0xffffff81000002fb,
   3075   0xffffff0000000500, 0xffffff02000004f7,
   3076   0xfffffe8000000600, 0xfffffe83000005f5,
   3077   0xffffff0000000600, 0xffffff02000005f5,
   3078   0xffffff8000000200, 0xffffff81000001fd,
   3079   0xffffff0000000300, 0xffffff02000002fb,
   3080   0xffffff8000000300, 0xffffff81000002fb,
   3081   0x0000000000000200, 0x00000000000001fd,
   3082   0xffffff8000000100, 0xffffff81000000ff,
   3083   0x0000000000000100, 0x00000000000000ff,
   3084   0x0000008000000000, 0x0000007f00000001,
   3085   0x000000d555555600, 0x000000d3aaaaab55,
   3086   0x0000008000000000, 0x0000007f00000001,
   3087   0x000000ffffffff00, 0x000000fdffffff03,
   3088   0x0000015555555500, 0x00000152aaaaaa57,
   3089   0x0000018888888900, 0x00000185777777ef,
   3090   0x0000007fffffff00, 0x0000007effffff03,
   3091   0x000000d555555500, 0x000000d3aaaaaa57,
   3092   0x0000010888888900, 0x00000106777777ef,
   3093   0x0000010889088900, 0x0000010677f677ef,
   3094   0x0000005555555600, 0x00000054aaaaab55,
   3095   0x0000008888888a00, 0x00000087777778ed,
   3096   0x0000008889088a00, 0x0000008777f678ed,
   3097   0x0000008889888900, 0x00000087787577ef,
   3098   0x0000003333333400, 0x00000032cccccd99,
   3099   0x0000003333b33400, 0x00000032cd4bcd99,
   3100   0x0000003334333300, 0x00000032cdcacc9b,
   3101   0x0000003334b33100, 0x00000032ce49ca9f,
   3102   0x0000000000800000, 0x00000000007f0001,
   3103   0x0000000000ffff00, 0x0000000000fdff03,
   3104   0x00000000017ffd00, 0x00000000017cfd07,
   3105   0x0000000001fffa00, 0x0000000001fbfa0d,
   3106   0x00000000007fff00, 0x00000000007eff03,
   3107   0x0000000000fffd00, 0x0000000000fdfd07,
   3108   0x00000000017ffa00, 0x00000000017cfa0d,
   3109   0x0000000001807a00, 0x00000000017d790d,
   3110   0x00000000007ffe00, 0x00000000007efe05,
   3111   0x0000000000fffb00, 0x0000000000fdfb0b,
   3112   0x0000000001007b00, 0x0000000000fe7a0b,
   3113   0x000000000100fa00, 0x0000000000fef80d,
   3114   0x00000000007ffd00, 0x00000000007efd07,
   3115   0x0000000000807d00, 0x00000000007f7c07,
   3116   0x000000000080fc00, 0x00000000007ffa09,
   3117   0x0000000000817a00, 0x000000000080770d,
   3118   0x0000000000008000, 0x0000000000007f01,
   3119   0x000000000000ff00, 0x000000000000fd03,
   3120   0x0000000000017d00, 0x0000000000017a07,
   3121   0x000000000001fa00, 0x000000000001f60d,
   3122   0x0000000000007f00, 0x0000000000007e03,
   3123   0x000000000000fd00, 0x000000000000fb07,
   3124   0x0000000000017a00, 0x000000000001770d,
   3125   0x0000000000019a00, 0x00000000000196cd,
   3126   0x0000000000007e00, 0x0000000000007d05,
   3127   0x000000000000fb00, 0x000000000000f90b,
   3128   0x0000000000011b00, 0x00000000000118cb,
   3129   0x0000000000011e00, 0x0000000000011bc5,
   3130   0x0000000000007d00, 0x0000000000007c07,
   3131   0x0000000000009d00, 0x0000000000009bc7,
   3132   0x000000000000a000, 0x0000000000009ec1,
   3133   0x000000000000a200, 0x000000000000a0bd,
   3134   0x0000000000002000, 0x0000000000001fc1,
   3135   0x0000000000002300, 0x00000000000022bb,
   3136   0x0000000000002500, 0x00000000000024b7,
   3137   0x0000000000002600, 0x00000000000025b5,
   3138   0x00000000000002fa, 0x00000000000002f5,
   3139   0x00000000000004f6, 0x00000000000004ed,
   3140   0x00000000000005f4, 0x00000000000005e9,
   3141   0x00000000000005f4, 0x00000000000005e9,
   3142   0x00000000000001fc, 0x00000000000001f9,
   3143   0x00000000000002fa, 0x00000000000002f5,
   3144   0x00000000000002fa, 0x00000000000002f5,
   3145   0x00000000000001fc, 0x00000000000001f9,
   3146   0x00000000000000fe, 0x00000000000000fd,
   3147   0x00000000000000fe, 0x00000000000000fd,
   3148   0x0000000000000000, 0x0000000000000001,
   3149   0xfffffffffffffe04, 0xfffffffffffffe09,
   3150   0x0000000000000000, 0x0000000000000001,
   3151   0xffffffffffffff02, 0xffffffffffffff05,
   3152   0xfffffffffffffd06, 0xfffffffffffffd0d,
   3153   0xffffffffffffdd46, 0xffffffffffffdd8d,
   3154   0xffffffffffffff02, 0xffffffffffffff05,
   3155   0xfffffffffffffd06, 0xfffffffffffffd0d,
   3156   0xffffffffffffdd46, 0xffffffffffffdd8d,
   3157   0xffffffffffff6140, 0xffffffffffff6281,
   3158   0xfffffffffffffe04, 0xfffffffffffffe09,
   3159   0xffffffffffffde44, 0xffffffffffffde89,
   3160   0xffffffffffff623e, 0xffffffffffff637d,
   3161   0xfffffffffffee53a, 0xfffffffffffee775,
   3162   0xffffffffffffe040, 0xffffffffffffe081,
   3163   0xffffffffffff643a, 0xffffffffffff6575,
   3164   0xfffffffffffee736, 0xfffffffffffee96d,
   3165   0xfffffffffffe6934, 0xfffffffffffe6c69,
   3166   0xffffffffffff83fa, 0xffffffffffff84f5,
   3167   0xffffffffffff06f6, 0xffffffffffff08ed,
   3168   0xfffffffffffe88f4, 0xfffffffffffe8be9,
   3169   0xffffffffff7f8bee, 0xffffffffff808edd,
   3170   0xffffffffffff82fc, 0xffffffffffff83f9,
   3171   0xffffffffffff04fa, 0xffffffffffff06f5,
   3172   0xffffffffff8007f4, 0xffffffffff8109e9,
   3173   0xffffffffff0109f0, 0xffffffffff030be1,
   3174   0xffffffffffff81fe, 0xffffffffffff82fd,
   3175   0xffffffffff8084f8, 0xffffffffff8185f1,
   3176   0xffffffffff0186f4, 0xffffffffff0387e9,
   3177   0xfffffffffe8287f2, 0xfffffffffe8588e5,
   3178   0xffffffffff8102fa, 0xffffffffff8202f5,
   3179   0xffffffffff0204f6, 0xffffffffff0404ed,
   3180   0xfffffffffe8305f4, 0xfffffffffe8605e9,
   3181   0xffffffcd31b6395a, 0xffffffcd981f9fb5,
   3182   0xffffffffff8101fc, 0xffffffffff8201f9,
   3183   0xffffffffff0202fa, 0xffffffffff0402f5,
   3184   0xffffffcd32353660, 0xffffffcd989d9cc1,
   3185   0xffffff78878a8c0a, 0xffffff79989d9d15,
   3186   0xffffffffff8100fe, 0xffffffffff8200fd,
   3187   0xffffffcd32b43464, 0xffffffcd991b9ac9,
   3188   0xffffff7888098a0e, 0xffffff79991b9b1d,
   3189   0xfffffef988098d08, 0xfffffefb991b9e11,
   3190   0xffffffcd33333366, 0xffffffcd999999cd,
   3191   0xffffff7888888910, 0xffffff7999999a21,
   3192   0xfffffef988888c0a, 0xfffffefb99999d15,
   3193   0xfffffe7a88888e06, 0xfffffe7d99999f0d,
   3194   0xffffffab555555aa, 0xffffffac00000055,
   3195   0xffffff2c555558a4, 0xffffff2e00000349,
   3196   0xfffffead55555aa0, 0xfffffeb000000541,
   3197   0xfffffe2e55555b9e, 0xfffffe320000063d,
   3198   0xffffff81000002fa, 0xffffff82000002f5,
   3199   0xffffff02000004f6, 0xffffff04000004ed,
   3200   0xfffffe83000005f4, 0xfffffe86000005e9,
   3201   0xffffff02000005f4, 0xffffff04000005e9,
   3202   0xffffff81000001fc, 0xffffff82000001f9,
   3203   0xffffff02000002fa, 0xffffff04000002f5,
   3204   0xffffff81000002fa, 0xffffff82000002f5,
   3205   0x00000000000001fc, 0x00000000000001f9,
   3206   0xffffff81000000fe, 0xffffff82000000fd,
   3207   0x00000000000000fe, 0x00000000000000fd,
   3208   0x0000007f00000000, 0x0000007e00000001,
   3209   0x000000d3aaaaab54, 0x000000d2000000a9,
   3210   0x0000007f00000000, 0x0000007e00000001,
   3211   0x000000fdffffff02, 0x000000fbffffff05,
   3212   0x00000152aaaaaa56, 0x0000014fffffffad,
   3213   0x00000185777777ee, 0x00000182666666dd,
   3214   0x0000007effffff02, 0x0000007dffffff05,
   3215   0x000000d3aaaaaa56, 0x000000d1ffffffad,
   3216   0x00000106777777ee, 0x00000104666666dd,
   3217   0x0000010677f677ee, 0x0000010466e466dd,
   3218   0x00000054aaaaab54, 0x00000054000000a9,
   3219   0x00000087777778ec, 0x00000086666667d9,
   3220   0x0000008777f678ec, 0x0000008666e467d9,
   3221   0x00000087787577ee, 0x00000086676266dd,
   3222   0x00000032cccccd98, 0x0000003266666731,
   3223   0x00000032cd4bcd98, 0x0000003266e46731,
   3224   0x00000032cdcacc9a, 0x0000003267626635,
   3225   0x00000032ce49ca9e, 0x0000003267e0643d,
   3226   0x00000000007f0000, 0x00000000007e0001,
   3227   0x0000000000fdff02, 0x0000000000fbff05,
   3228   0x00000000017cfd06, 0x000000000179fd0d,
   3229   0x0000000001fbfa0c, 0x0000000001f7fa19,
   3230   0x00000000007eff02, 0x00000000007dff05,
   3231   0x0000000000fdfd06, 0x0000000000fbfd0d,
   3232   0x00000000017cfa0c, 0x000000000179fa19,
   3233   0x00000000017d790c, 0x00000000017a7819,
   3234   0x00000000007efe04, 0x00000000007dfe09,
   3235   0x0000000000fdfb0a, 0x0000000000fbfb15,
   3236   0x0000000000fe7a0a, 0x0000000000fc7915,
   3237   0x0000000000fef80c, 0x0000000000fcf619,
   3238   0x00000000007efd06, 0x00000000007dfd0d,
   3239   0x00000000007f7c06, 0x00000000007e7b0d,
   3240   0x00000000007ffa08, 0x00000000007ef811,
   3241   0x000000000080770c, 0x00000000007f7419,
   3242   0x0000000000007f00, 0x0000000000007e01,
   3243   0x000000000000fd02, 0x000000000000fb05,
   3244   0x0000000000017a06, 0x000000000001770d,
   3245   0x000000000001f60c, 0x000000000001f219,
   3246   0x0000000000007e02, 0x0000000000007d05,
   3247   0x000000000000fb06, 0x000000000000f90d,
   3248   0x000000000001770c, 0x0000000000017419,
   3249   0x00000000000196cc, 0x0000000000019399,
   3250   0x0000000000007d04, 0x0000000000007c09,
   3251   0x000000000000f90a, 0x000000000000f715,
   3252   0x00000000000118ca, 0x0000000000011695,
   3253   0x0000000000011bc4, 0x0000000000011989,
   3254   0x0000000000007c06, 0x0000000000007b0d,
   3255   0x0000000000009bc6, 0x0000000000009a8d,
   3256   0x0000000000009ec0, 0x0000000000009d81,
   3257   0x000000000000a0bc, 0x0000000000009f79,
   3258   0x0000000000001fc0, 0x0000000000001f81,
   3259   0x00000000000022ba, 0x0000000000002275,
   3260   0x00000000000024b6, 0x000000000000246d,
   3261   0x00000000000025b4, 0x0000000000002569,
   3262   0x00000000000002f4, 0x00000000000002ef,
   3263   0x00000000000004ec, 0x00000000000004e3,
   3264   0x00000000000005e8, 0x00000000000005dd,
   3265   0x00000000000005e8, 0x00000000000005dd,
   3266   0x00000000000001f8, 0x00000000000001f5,
   3267   0x00000000000002f4, 0x00000000000002ef,
   3268   0x00000000000002f4, 0x00000000000002ef,
   3269   0x00000000000001f8, 0x00000000000001f5,
   3270   0x00000000000000fc, 0x00000000000000fb,
   3271   0x00000000000000fc, 0x00000000000000fb,
   3272   0x0000000000000000, 0x0000000000000001,
   3273   0xfffffffffffffe08, 0xfffffffffffffe0d,
   3274   0x0000000000000000, 0x0000000000000001,
   3275   0xffffffffffffff04, 0xffffffffffffff07,
   3276   0xfffffffffffffd0c, 0xfffffffffffffd13,
   3277   0xffffffffffffdd8c, 0xffffffffffffddd3,
   3278   0xffffffffffffff04, 0xffffffffffffff07,
   3279   0xfffffffffffffd0c, 0xfffffffffffffd13,
   3280   0xffffffffffffdd8c, 0xffffffffffffddd3,
   3281   0xffffffffffff6280, 0xffffffffffff63c1,
   3282   0xfffffffffffffe08, 0xfffffffffffffe0d,
   3283   0xffffffffffffde88, 0xffffffffffffdecd,
   3284   0xffffffffffff637c, 0xffffffffffff64bb,
   3285   0xfffffffffffee774, 0xfffffffffffee9af,
   3286   0xffffffffffffe080, 0xffffffffffffe0c1,
   3287   0xffffffffffff6574, 0xffffffffffff66af,
   3288   0xfffffffffffee96c, 0xfffffffffffeeba3,
   3289   0xfffffffffffe6c68, 0xfffffffffffe6f9d,
   3290   0xffffffffffff84f4, 0xffffffffffff85ef,
   3291   0xffffffffffff08ec, 0xffffffffffff0ae3,
   3292   0xfffffffffffe8be8, 0xfffffffffffe8edd,
   3293   0xffffffffff808edc, 0xffffffffff8191cb,
   3294   0xffffffffffff83f8, 0xffffffffffff84f5,
   3295   0xffffffffffff06f4, 0xffffffffffff08ef,
   3296   0xffffffffff8109e8, 0xffffffffff820bdd,
   3297   0xffffffffff030be0, 0xffffffffff050dd1,
   3298   0xffffffffffff82fc, 0xffffffffffff83fb,
   3299   0xffffffffff8185f0, 0xffffffffff8286e9,
   3300   0xffffffffff0387e8, 0xffffffffff0588dd,
   3301   0xfffffffffe8588e4, 0xfffffffffe8889d7,
   3302   0xffffffffff8202f4, 0xffffffffff8302ef,
   3303   0xffffffffff0404ec, 0xffffffffff0604e3,
   3304   0xfffffffffe8605e8, 0xfffffffffe8905dd,
   3305   0xffffffcd981f9fb4, 0xffffffcdfe89060f,
   3306   0xffffffffff8201f8, 0xffffffffff8301f5,
   3307   0xffffffffff0402f4, 0xffffffffff0602ef,
   3308   0xffffffcd989d9cc0, 0xffffffcdff060321,
   3309   0xffffff79989d9d14, 0xffffff7aa9b0ae1f,
   3310   0xffffffffff8200fc, 0xffffffffff8300fb,
   3311   0xffffffcd991b9ac8, 0xffffffcdff83012d,
   3312   0xffffff79991b9b1c, 0xffffff7aaa2dac2b,
   3313   0xfffffefb991b9e10, 0xfffffefdaa2daf19,
   3314   0xffffffcd999999cc, 0xffffffce00000033,
   3315   0xffffff7999999a20, 0xffffff7aaaaaab31,
   3316   0xfffffefb99999d14, 0xfffffefdaaaaae1f,
   3317   0xfffffe7d99999f0c, 0xfffffe80aaaab013,
   3318   0xffffffac00000054, 0xffffffacaaaaaaff,
   3319   0xffffff2e00000348, 0xffffff2faaaaaded,
   3320   0xfffffeb000000540, 0xfffffeb2aaaaafe1,
   3321   0xfffffe320000063c, 0xfffffe35aaaab0db,
   3322   0xffffff82000002f4, 0xffffff83000002ef,
   3323   0xffffff04000004ec, 0xffffff06000004e3,
   3324   0xfffffe86000005e8, 0xfffffe89000005dd,
   3325   0xffffff04000005e8, 0xffffff06000005dd,
   3326   0xffffff82000001f8, 0xffffff83000001f5,
   3327   0xffffff04000002f4, 0xffffff06000002ef,
   3328   0xffffff82000002f4, 0xffffff83000002ef,
   3329   0x00000000000001f8, 0x00000000000001f5,
   3330   0xffffff82000000fc, 0xffffff83000000fb,
   3331   0x00000000000000fc, 0x00000000000000fb,
   3332   0x0000007e00000000, 0x0000007d00000001,
   3333   0x000000d2000000a8, 0x000000d0555555fd,
   3334   0x0000007e00000000, 0x0000007d00000001,
   3335   0x000000fbffffff04, 0x000000f9ffffff07,
   3336   0x0000014fffffffac, 0x0000014d55555503,
   3337   0x00000182666666dc, 0x0000017f555555cb,
   3338   0x0000007dffffff04, 0x0000007cffffff07,
   3339   0x000000d1ffffffac, 0x000000d055555503,
   3340   0x00000104666666dc, 0x00000102555555cb,
   3341   0x0000010466e466dc, 0x0000010255d255cb,
   3342   0x00000054000000a8, 0x00000053555555fd,
   3343   0x00000086666667d8, 0x00000085555556c5,
   3344   0x0000008666e467d8, 0x0000008555d256c5,
   3345   0x00000086676266dc, 0x00000085564f55cb,
   3346   0x0000003266666730, 0x00000032000000c9,
   3347   0x0000003266e46730, 0x00000032007d00c9,
   3348   0x0000003267626634, 0x0000003200f9ffcf,
   3349   0x0000003267e0643c, 0x000000320176fddb,
   3350   0x00000000007e0000, 0x00000000007d0001,
   3351   0x0000000000fbff04, 0x0000000000f9ff07,
   3352   0x000000000179fd0c, 0x000000000176fd13,
   3353   0x0000000001f7fa18, 0x0000000001f3fa25,
   3354   0x00000000007dff04, 0x00000000007cff07,
   3355   0x0000000000fbfd0c, 0x0000000000f9fd13,
   3356   0x000000000179fa18, 0x000000000176fa25,
   3357   0x00000000017a7818, 0x0000000001777725,
   3358   0x00000000007dfe08, 0x00000000007cfe0d,
   3359   0x0000000000fbfb14, 0x0000000000f9fb1f,
   3360   0x0000000000fc7914, 0x0000000000fa781f,
   3361   0x0000000000fcf618, 0x0000000000faf425,
   3362   0x00000000007dfd0c, 0x00000000007cfd13,
   3363   0x00000000007e7b0c, 0x00000000007d7a13,
   3364   0x00000000007ef810, 0x00000000007df619,
   3365   0x00000000007f7418, 0x00000000007e7125,
   3366   0x0000000000007e00, 0x0000000000007d01,
   3367   0x000000000000fb04, 0x000000000000f907,
   3368   0x000000000001770c, 0x0000000000017413,
   3369   0x000000000001f218, 0x000000000001ee25,
   3370   0x0000000000007d04, 0x0000000000007c07,
   3371   0x000000000000f90c, 0x000000000000f713,
   3372   0x0000000000017418, 0x0000000000017125,
   3373   0x0000000000019398, 0x0000000000019065,
   3374   0x0000000000007c08, 0x0000000000007b0d,
   3375   0x000000000000f714, 0x000000000000f51f,
   3376   0x0000000000011694, 0x000000000001145f,
   3377   0x0000000000011988, 0x000000000001174d,
   3378   0x0000000000007b0c, 0x0000000000007a13,
   3379   0x0000000000009a8c, 0x0000000000009953,
   3380   0x0000000000009d80, 0x0000000000009c41,
   3381   0x0000000000009f78, 0x0000000000009e35,
   3382   0x0000000000001f80, 0x0000000000001f41,
   3383   0x0000000000002274, 0x000000000000222f,
   3384   0x000000000000246c, 0x0000000000002423,
   3385   0x0000000000002568, 0x000000000000251d,
   3386   0x00000000000002ee, 0x00000000000000c1,
   3387   0x00000000000004e2, 0x0000000000000141,
   3388   0x00000000000005dc, 0x0000000000000181,
   3389   0x00000000000005dc, 0x0000000000000181,
   3390   0x00000000000001f4, 0x0000000000000081,
   3391   0x00000000000002ee, 0x00000000000000c1,
   3392   0x00000000000002ee, 0x00000000000000c1,
   3393   0x00000000000001f4, 0x0000000000000081,
   3394   0x00000000000000fa, 0x0000000000000041,
   3395   0x00000000000000fa, 0x0000000000000041,
   3396   0x0000000000000000, 0x0000000000000001,
   3397   0xfffffffffffffe0c, 0xffffffffffffff81,
   3398   0x0000000000000000, 0x0000000000000001,
   3399   0xffffffffffffff06, 0xffffffffffffffc1,
   3400   0xfffffffffffffd12, 0xffffffffffffff41,
   3401   0xffffffffffffddd2, 0xfffffffffffff741,
   3402   0xffffffffffffff06, 0xffffffffffffffc1,
   3403   0xfffffffffffffd12, 0xffffffffffffff41,
   3404   0xffffffffffffddd2, 0xfffffffffffff741,
   3405   0xffffffffffff63c0, 0xffffffffffffd801,
   3406   0xfffffffffffffe0c, 0xffffffffffffff81,
   3407   0xffffffffffffdecc, 0xfffffffffffff781,
   3408   0xffffffffffff64ba, 0xffffffffffffd841,
   3409   0xfffffffffffee9ae, 0xffffffffffffb8c1,
   3410   0xffffffffffffe0c0, 0xfffffffffffff801,
   3411   0xffffffffffff66ae, 0xffffffffffffd8c1,
   3412   0xfffffffffffeeba2, 0xffffffffffffb941,
   3413   0xfffffffffffe6f9c, 0xffffffffffff9981,
   3414   0xffffffffffff85ee, 0xffffffffffffe0c1,
   3415   0xffffffffffff0ae2, 0xffffffffffffc141,
   3416   0xfffffffffffe8edc, 0xffffffffffffa181,
   3417   0xffffffffff8191ca, 0xffffffffffdfa241,
   3418   0xffffffffffff84f4, 0xffffffffffffe081,
   3419   0xffffffffffff08ee, 0xffffffffffffc0c1,
   3420   0xffffffffff820bdc, 0xffffffffffdfc181,
   3421   0xffffffffff050dd0, 0xffffffffffbfc201,
   3422   0xffffffffffff83fa, 0xffffffffffffe041,
   3423   0xffffffffff8286e8, 0xffffffffffdfe101,
   3424   0xffffffffff0588dc, 0xffffffffffbfe181,
   3425   0xfffffffffe8889d6, 0xffffffffff9fe1c1,
   3426   0xffffffffff8302ee, 0xffffffffffe000c1,
   3427   0xffffffffff0604e2, 0xffffffffffc00141,
   3428   0xfffffffffe8905dc, 0xffffffffffa00181,
   3429   0xffffffcdfe89060e, 0xfffffff332d334c1,
   3430   0xffffffffff8301f4, 0xffffffffffe00081,
   3431   0xffffffffff0602ee, 0xffffffffffc000c1,
   3432   0xffffffcdff060320, 0xfffffff332f33401,
   3433   0xffffff7aa9b0ae1e, 0xffffffdddd9ddec1,
   3434   0xffffffffff8300fa, 0xffffffffffe00041,
   3435   0xffffffcdff83012c, 0xfffffff333133381,
   3436   0xffffff7aaa2dac2a, 0xffffffddddbdde41,
   3437   0xfffffefdaa2daf18, 0xffffffbdddbddf01,
   3438   0xffffffce00000032, 0xfffffff333333341,
   3439   0xffffff7aaaaaab30, 0xffffffddddddde01,
   3440   0xfffffefdaaaaae1e, 0xffffffbddddddec1,
   3441   0xfffffe80aaaab012, 0xffffff9ddddddf41,
   3442   0xffffffacaaaaaafe, 0xffffffeaaaaaaac1,
   3443   0xffffff2faaaaadec, 0xffffffcaaaaaab81,
   3444   0xfffffeb2aaaaafe0, 0xffffffaaaaaaac01,
   3445   0xfffffe35aaaab0da, 0xffffff8aaaaaac41,
   3446   0xffffff83000002ee, 0xffffffe0000000c1,
   3447   0xffffff06000004e2, 0xffffffc000000141,
   3448   0xfffffe89000005dc, 0xffffffa000000181,
   3449   0xffffff06000005dc, 0xffffffc000000181,
   3450   0xffffff83000001f4, 0xffffffe000000081,
   3451   0xffffff06000002ee, 0xffffffc0000000c1,
   3452   0xffffff83000002ee, 0xffffffe0000000c1,
   3453   0x00000000000001f4, 0x0000000000000081,
   3454   0xffffff83000000fa, 0xffffffe000000041,
   3455   0x00000000000000fa, 0x0000000000000041,
   3456   0x0000007d00000000, 0x0000002000000001,
   3457   0x000000d0555555fc, 0x0000003555555581,
   3458   0x0000007d00000000, 0x0000002000000001,
   3459   0x000000f9ffffff06, 0x0000003fffffffc1,
   3460   0x0000014d55555502, 0x0000005555555541,
   3461   0x0000017f555555ca, 0x0000006222222241,
   3462   0x0000007cffffff06, 0x0000001fffffffc1,
   3463   0x000000d055555502, 0x0000003555555541,
   3464   0x00000102555555ca, 0x0000004222222241,
   3465   0x0000010255d255ca, 0x0000004222422241,
   3466   0x00000053555555fc, 0x0000001555555581,
   3467   0x00000085555556c4, 0x0000002222222281,
   3468   0x0000008555d256c4, 0x0000002222422281,
   3469   0x00000085564f55ca, 0x0000002222622241,
   3470   0x00000032000000c8, 0x0000000ccccccd01,
   3471   0x00000032007d00c8, 0x0000000ccceccd01,
   3472   0x0000003200f9ffce, 0x0000000ccd0cccc1,
   3473   0x000000320176fdda, 0x0000000ccd2ccc41,
   3474   0x00000000007d0000, 0x0000000000200001,
   3475   0x0000000000f9ff06, 0x00000000003fffc1,
   3476   0x000000000176fd12, 0x00000000005fff41,
   3477   0x0000000001f3fa24, 0x00000000007ffe81,
   3478   0x00000000007cff06, 0x00000000001fffc1,
   3479   0x0000000000f9fd12, 0x00000000003fff41,
   3480   0x000000000176fa24, 0x00000000005ffe81,
   3481   0x0000000001777724, 0x0000000000601e81,
   3482   0x00000000007cfe0c, 0x00000000001fff81,
   3483   0x0000000000f9fb1e, 0x00000000003ffec1,
   3484   0x0000000000fa781e, 0x0000000000401ec1,
   3485   0x0000000000faf424, 0x0000000000403e81,
   3486   0x00000000007cfd12, 0x00000000001fff41,
   3487   0x00000000007d7a12, 0x0000000000201f41,
   3488   0x00000000007df618, 0x0000000000203f01,
   3489   0x00000000007e7124, 0x0000000000205e81,
   3490   0x0000000000007d00, 0x0000000000002001,
   3491   0x000000000000f906, 0x0000000000003fc1,
   3492   0x0000000000017412, 0x0000000000005f41,
   3493   0x000000000001ee24, 0x0000000000007e81,
   3494   0x0000000000007c06, 0x0000000000001fc1,
   3495   0x000000000000f712, 0x0000000000003f41,
   3496   0x0000000000017124, 0x0000000000005e81,
   3497   0x0000000000019064, 0x0000000000006681,
   3498   0x0000000000007b0c, 0x0000000000001f81,
   3499   0x000000000000f51e, 0x0000000000003ec1,
   3500   0x000000000001145e, 0x00000000000046c1,
   3501   0x000000000001174c, 0x0000000000004781,
   3502   0x0000000000007a12, 0x0000000000001f41,
   3503   0x0000000000009952, 0x0000000000002741,
   3504   0x0000000000009c40, 0x0000000000002801,
   3505   0x0000000000009e34, 0x0000000000002881,
   3506   0x0000000000001f40, 0x0000000000000801,
   3507   0x000000000000222e, 0x00000000000008c1,
   3508   0x0000000000002422, 0x0000000000000941,
   3509   0x000000000000251c, 0x0000000000000981,
   3510   0x00000000000000c0, 0x0000000000000013,
   3511   0x0000000000000140, 0x000000000000001f,
   3512   0x0000000000000180, 0x0000000000000025,
   3513   0x0000000000000180, 0x0000000000000025,
   3514   0x0000000000000080, 0x000000000000000d,
   3515   0x00000000000000c0, 0x0000000000000013,
   3516   0x00000000000000c0, 0x0000000000000013,
   3517   0x0000000000000080, 0x000000000000000d,
   3518   0x0000000000000040, 0x0000000000000007,
   3519   0x0000000000000040, 0x0000000000000007,
   3520   0x0000000000000000, 0x0000000000000001,
   3521   0xffffffffffffff80, 0xfffffffffffffff5,
   3522   0x0000000000000000, 0x0000000000000001,
   3523   0xffffffffffffffc0, 0xfffffffffffffffb,
   3524   0xffffffffffffff40, 0xffffffffffffffef,
   3525   0xfffffffffffff740, 0xffffffffffffff2f,
   3526   0xffffffffffffffc0, 0xfffffffffffffffb,
   3527   0xffffffffffffff40, 0xffffffffffffffef,
   3528   0xfffffffffffff740, 0xffffffffffffff2f,
   3529   0xffffffffffffd800, 0xfffffffffffffc41,
   3530   0xffffffffffffff80, 0xfffffffffffffff5,
   3531   0xfffffffffffff780, 0xffffffffffffff35,
   3532   0xffffffffffffd840, 0xfffffffffffffc47,
   3533   0xffffffffffffb8c0, 0xfffffffffffff953,
   3534   0xfffffffffffff800, 0xffffffffffffff41,
   3535   0xffffffffffffd8c0, 0xfffffffffffffc53,
   3536   0xffffffffffffb940, 0xfffffffffffff95f,
   3537   0xffffffffffff9980, 0xfffffffffffff665,
   3538   0xffffffffffffe0c0, 0xfffffffffffffd13,
   3539   0xffffffffffffc140, 0xfffffffffffffa1f,
   3540   0xffffffffffffa180, 0xfffffffffffff725,
   3541   0xffffffffffdfa240, 0xfffffffffffcf737,
   3542   0xffffffffffffe080, 0xfffffffffffffd0d,
   3543   0xffffffffffffc0c0, 0xfffffffffffffa13,
   3544   0xffffffffffdfc180, 0xfffffffffffcfa25,
   3545   0xffffffffffbfc200, 0xfffffffffff9fa31,
   3546   0xffffffffffffe040, 0xfffffffffffffd07,
   3547   0xffffffffffdfe100, 0xfffffffffffcfd19,
   3548   0xffffffffffbfe180, 0xfffffffffff9fd25,
   3549   0xffffffffff9fe1c0, 0xfffffffffff6fd2b,
   3550   0xffffffffffe000c0, 0xfffffffffffd0013,
   3551   0xffffffffffc00140, 0xfffffffffffa001f,
   3552   0xffffffffffa00180, 0xfffffffffff70025,
   3553   0xfffffff332d334c0, 0xfffffffeccc3ccf3,
   3554   0xffffffffffe00080, 0xfffffffffffd000d,
   3555   0xffffffffffc000c0, 0xfffffffffffa0013,
   3556   0xfffffff332f33400, 0xfffffffeccc6cce1,
   3557   0xffffffdddd9ddec0, 0xfffffffcccc6cce3,
   3558   0xffffffffffe00040, 0xfffffffffffd0007,
   3559   0xfffffff333133380, 0xfffffffeccc9ccd5,
   3560   0xffffffddddbdde40, 0xfffffffcccc9ccd7,
   3561   0xffffffbdddbddf00, 0xfffffff9ccc9cce9,
   3562   0xfffffff333333340, 0xfffffffecccccccf,
   3563   0xffffffddddddde00, 0xfffffffcccccccd1,
   3564   0xffffffbddddddec0, 0xfffffff9cccccce3,
   3565   0xffffff9ddddddf40, 0xfffffff6ccccccef,
   3566   0xffffffeaaaaaaac0, 0xfffffffe00000003,
   3567   0xffffffcaaaaaab80, 0xfffffffb00000015,
   3568   0xffffffaaaaaaac00, 0xfffffff800000021,
   3569   0xffffff8aaaaaac40, 0xfffffff500000027,
   3570   0xffffffe0000000c0, 0xfffffffd00000013,
   3571   0xffffffc000000140, 0xfffffffa0000001f,
   3572   0xffffffa000000180, 0xfffffff700000025,
   3573   0xffffffc000000180, 0xfffffffa00000025,
   3574   0xffffffe000000080, 0xfffffffd0000000d,
   3575   0xffffffc0000000c0, 0xfffffffa00000013,
   3576   0xffffffe0000000c0, 0xfffffffd00000013,
   3577   0x0000000000000080, 0x000000000000000d,
   3578   0xffffffe000000040, 0xfffffffd00000007,
   3579   0x0000000000000040, 0x0000000000000007,
   3580   0x0000002000000000, 0x0000000300000001,
   3581   0x0000003555555580, 0x0000000500000005,
   3582   0x0000002000000000, 0x0000000300000001,
   3583   0x0000003fffffffc0, 0x00000005fffffffb,
   3584   0x0000005555555540, 0x00000007ffffffff,
   3585   0x0000006222222240, 0x0000000933333337,
   3586   0x0000001fffffffc0, 0x00000002fffffffb,
   3587   0x0000003555555540, 0x00000004ffffffff,
   3588   0x0000004222222240, 0x0000000633333337,
   3589   0x0000004222422240, 0x0000000633363337,
   3590   0x0000001555555580, 0x0000000200000005,
   3591   0x0000002222222280, 0x000000033333333d,
   3592   0x0000002222422280, 0x000000033336333d,
   3593   0x0000002222622240, 0x0000000333393337,
   3594   0x0000000ccccccd00, 0x0000000133333339,
   3595   0x0000000ccceccd00, 0x0000000133363339,
   3596   0x0000000ccd0cccc0, 0x0000000133393333,
   3597   0x0000000ccd2ccc40, 0x00000001333c3327,
   3598   0x0000000000200000, 0x0000000000030001,
   3599   0x00000000003fffc0, 0x000000000005fffb,
   3600   0x00000000005fff40, 0x000000000008ffef,
   3601   0x00000000007ffe80, 0x00000000000bffdd,
   3602   0x00000000001fffc0, 0x000000000002fffb,
   3603   0x00000000003fff40, 0x000000000005ffef,
   3604   0x00000000005ffe80, 0x000000000008ffdd,
   3605   0x0000000000601e80, 0x00000000000902dd,
   3606   0x00000000001fff80, 0x000000000002fff5,
   3607   0x00000000003ffec0, 0x000000000005ffe3,
   3608   0x0000000000401ec0, 0x00000000000602e3,
   3609   0x0000000000403e80, 0x00000000000605dd,
   3610   0x00000000001fff40, 0x000000000002ffef,
   3611   0x0000000000201f40, 0x00000000000302ef,
   3612   0x0000000000203f00, 0x00000000000305e9,
   3613   0x0000000000205e80, 0x00000000000308dd,
   3614   0x0000000000002000, 0x0000000000000301,
   3615   0x0000000000003fc0, 0x00000000000005fb,
   3616   0x0000000000005f40, 0x00000000000008ef,
   3617   0x0000000000007e80, 0x0000000000000bdd,
   3618   0x0000000000001fc0, 0x00000000000002fb,
   3619   0x0000000000003f40, 0x00000000000005ef,
   3620   0x0000000000005e80, 0x00000000000008dd,
   3621   0x0000000000006680, 0x000000000000099d,
   3622   0x0000000000001f80, 0x00000000000002f5,
   3623   0x0000000000003ec0, 0x00000000000005e3,
   3624   0x00000000000046c0, 0x00000000000006a3,
   3625   0x0000000000004780, 0x00000000000006b5,
   3626   0x0000000000001f40, 0x00000000000002ef,
   3627   0x0000000000002740, 0x00000000000003af,
   3628   0x0000000000002800, 0x00000000000003c1,
   3629   0x0000000000002880, 0x00000000000003cd,
   3630   0x0000000000000800, 0x00000000000000c1,
   3631   0x00000000000008c0, 0x00000000000000d3,
   3632   0x0000000000000940, 0x00000000000000df,
   3633   0x0000000000000980, 0x00000000000000e5,
   3634   0x0000000000000012, 0x000000000000000d,
   3635   0x000000000000001e, 0x0000000000000015,
   3636   0x0000000000000024, 0x0000000000000019,
   3637   0x0000000000000024, 0x0000000000000019,
   3638   0x000000000000000c, 0x0000000000000009,
   3639   0x0000000000000012, 0x000000000000000d,
   3640   0x0000000000000012, 0x000000000000000d,
   3641   0x000000000000000c, 0x0000000000000009,
   3642   0x0000000000000006, 0x0000000000000005,
   3643   0x0000000000000006, 0x0000000000000005,
   3644   0x0000000000000000, 0x0000000000000001,
   3645   0xfffffffffffffff4, 0xfffffffffffffff9,
   3646   0x0000000000000000, 0x0000000000000001,
   3647   0xfffffffffffffffa, 0xfffffffffffffffd,
   3648   0xffffffffffffffee, 0xfffffffffffffff5,
   3649   0xffffffffffffff2e, 0xffffffffffffff75,
   3650   0xfffffffffffffffa, 0xfffffffffffffffd,
   3651   0xffffffffffffffee, 0xfffffffffffffff5,
   3652   0xffffffffffffff2e, 0xffffffffffffff75,
   3653   0xfffffffffffffc40, 0xfffffffffffffd81,
   3654   0xfffffffffffffff4, 0xfffffffffffffff9,
   3655   0xffffffffffffff34, 0xffffffffffffff79,
   3656   0xfffffffffffffc46, 0xfffffffffffffd85,
   3657   0xfffffffffffff952, 0xfffffffffffffb8d,
   3658   0xffffffffffffff40, 0xffffffffffffff81,
   3659   0xfffffffffffffc52, 0xfffffffffffffd8d,
   3660   0xfffffffffffff95e, 0xfffffffffffffb95,
   3661   0xfffffffffffff664, 0xfffffffffffff999,
   3662   0xfffffffffffffd12, 0xfffffffffffffe0d,
   3663   0xfffffffffffffa1e, 0xfffffffffffffc15,
   3664   0xfffffffffffff724, 0xfffffffffffffa19,
   3665   0xfffffffffffcf736, 0xfffffffffffdfa25,
   3666   0xfffffffffffffd0c, 0xfffffffffffffe09,
   3667   0xfffffffffffffa12, 0xfffffffffffffc0d,
   3668   0xfffffffffffcfa24, 0xfffffffffffdfc19,
   3669   0xfffffffffff9fa30, 0xfffffffffffbfc21,
   3670   0xfffffffffffffd06, 0xfffffffffffffe05,
   3671   0xfffffffffffcfd18, 0xfffffffffffdfe11,
   3672   0xfffffffffff9fd24, 0xfffffffffffbfe19,
   3673   0xfffffffffff6fd2a, 0xfffffffffff9fe1d,
   3674   0xfffffffffffd0012, 0xfffffffffffe000d,
   3675   0xfffffffffffa001e, 0xfffffffffffc0015,
   3676   0xfffffffffff70024, 0xfffffffffffa0019,
   3677   0xfffffffeccc3ccf2, 0xffffffff332d334d,
   3678   0xfffffffffffd000c, 0xfffffffffffe0009,
   3679   0xfffffffffffa0012, 0xfffffffffffc000d,
   3680   0xfffffffeccc6cce0, 0xffffffff332f3341,
   3681   0xfffffffcccc6cce2, 0xfffffffdddd9dded,
   3682   0xfffffffffffd0006, 0xfffffffffffe0005,
   3683   0xfffffffeccc9ccd4, 0xffffffff33313339,
   3684   0xfffffffcccc9ccd6, 0xfffffffddddbdde5,
   3685   0xfffffff9ccc9cce8, 0xfffffffbdddbddf1,
   3686   0xfffffffeccccccce, 0xffffffff33333335,
   3687   0xfffffffcccccccd0, 0xfffffffddddddde1,
   3688   0xfffffff9cccccce2, 0xfffffffbdddddded,
   3689   0xfffffff6ccccccee, 0xfffffff9ddddddf5,
   3690   0xfffffffe00000002, 0xfffffffeaaaaaaad,
   3691   0xfffffffb00000014, 0xfffffffcaaaaaab9,
   3692   0xfffffff800000020, 0xfffffffaaaaaaac1,
   3693   0xfffffff500000026, 0xfffffff8aaaaaac5,
   3694   0xfffffffd00000012, 0xfffffffe0000000d,
   3695   0xfffffffa0000001e, 0xfffffffc00000015,
   3696   0xfffffff700000024, 0xfffffffa00000019,
   3697   0xfffffffa00000024, 0xfffffffc00000019,
   3698   0xfffffffd0000000c, 0xfffffffe00000009,
   3699   0xfffffffa00000012, 0xfffffffc0000000d,
   3700   0xfffffffd00000012, 0xfffffffe0000000d,
   3701   0x000000000000000c, 0x0000000000000009,
   3702   0xfffffffd00000006, 0xfffffffe00000005,
   3703   0x0000000000000006, 0x0000000000000005,
   3704   0x0000000300000000, 0x0000000200000001,
   3705   0x0000000500000004, 0x0000000355555559,
   3706   0x0000000300000000, 0x0000000200000001,
   3707   0x00000005fffffffa, 0x00000003fffffffd,
   3708   0x00000007fffffffe, 0x0000000555555555,
   3709   0x0000000933333336, 0x0000000622222225,
   3710   0x00000002fffffffa, 0x00000001fffffffd,
   3711   0x00000004fffffffe, 0x0000000355555555,
   3712   0x0000000633333336, 0x0000000422222225,
   3713   0x0000000633363336, 0x0000000422242225,
   3714   0x0000000200000004, 0x0000000155555559,
   3715   0x000000033333333c, 0x0000000222222229,
   3716   0x000000033336333c, 0x0000000222242229,
   3717   0x0000000333393336, 0x0000000222262225,
   3718   0x0000000133333338, 0x00000000ccccccd1,
   3719   0x0000000133363338, 0x00000000ccceccd1,
   3720   0x0000000133393332, 0x00000000ccd0cccd,
   3721   0x00000001333c3326, 0x00000000ccd2ccc5,
   3722   0x0000000000030000, 0x0000000000020001,
   3723   0x000000000005fffa, 0x000000000003fffd,
   3724   0x000000000008ffee, 0x000000000005fff5,
   3725   0x00000000000bffdc, 0x000000000007ffe9,
   3726   0x000000000002fffa, 0x000000000001fffd,
   3727   0x000000000005ffee, 0x000000000003fff5,
   3728   0x000000000008ffdc, 0x000000000005ffe9,
   3729   0x00000000000902dc, 0x00000000000601e9,
   3730   0x000000000002fff4, 0x000000000001fff9,
   3731   0x000000000005ffe2, 0x000000000003ffed,
   3732   0x00000000000602e2, 0x00000000000401ed,
   3733   0x00000000000605dc, 0x00000000000403e9,
   3734   0x000000000002ffee, 0x000000000001fff5,
   3735   0x00000000000302ee, 0x00000000000201f5,
   3736   0x00000000000305e8, 0x00000000000203f1,
   3737   0x00000000000308dc, 0x00000000000205e9,
   3738   0x0000000000000300, 0x0000000000000201,
   3739   0x00000000000005fa, 0x00000000000003fd,
   3740   0x00000000000008ee, 0x00000000000005f5,
   3741   0x0000000000000bdc, 0x00000000000007e9,
   3742   0x00000000000002fa, 0x00000000000001fd,
   3743   0x00000000000005ee, 0x00000000000003f5,
   3744   0x00000000000008dc, 0x00000000000005e9,
   3745   0x000000000000099c, 0x0000000000000669,
   3746   0x00000000000002f4, 0x00000000000001f9,
   3747   0x00000000000005e2, 0x00000000000003ed,
   3748   0x00000000000006a2, 0x000000000000046d,
   3749   0x00000000000006b4, 0x0000000000000479,
   3750   0x00000000000002ee, 0x00000000000001f5,
   3751   0x00000000000003ae, 0x0000000000000275,
   3752   0x00000000000003c0, 0x0000000000000281,
   3753   0x00000000000003cc, 0x0000000000000289,
   3754   0x00000000000000c0, 0x0000000000000081,
   3755   0x00000000000000d2, 0x000000000000008d,
   3756   0x00000000000000de, 0x0000000000000095,
   3757   0x00000000000000e4, 0x0000000000000099,
   3758   0x000000000000000c, 0x0000000000000007,
   3759   0x0000000000000014, 0x000000000000000b,
   3760   0x0000000000000018, 0x000000000000000d,
   3761   0x0000000000000018, 0x000000000000000d,
   3762   0x0000000000000008, 0x0000000000000005,
   3763   0x000000000000000c, 0x0000000000000007,
   3764   0x000000000000000c, 0x0000000000000007,
   3765   0x0000000000000008, 0x0000000000000005,
   3766   0x0000000000000004, 0x0000000000000003,
   3767   0x0000000000000004, 0x0000000000000003,
   3768   0x0000000000000000, 0x0000000000000001,
   3769   0xfffffffffffffff8, 0xfffffffffffffffd,
   3770   0x0000000000000000, 0x0000000000000001,
   3771   0xfffffffffffffffc, 0xffffffffffffffff,
   3772   0xfffffffffffffff4, 0xfffffffffffffffb,
   3773   0xffffffffffffff74, 0xffffffffffffffbb,
   3774   0xfffffffffffffffc, 0xffffffffffffffff,
   3775   0xfffffffffffffff4, 0xfffffffffffffffb,
   3776   0xffffffffffffff74, 0xffffffffffffffbb,
   3777   0xfffffffffffffd80, 0xfffffffffffffec1,
   3778   0xfffffffffffffff8, 0xfffffffffffffffd,
   3779   0xffffffffffffff78, 0xffffffffffffffbd,
   3780   0xfffffffffffffd84, 0xfffffffffffffec3,
   3781   0xfffffffffffffb8c, 0xfffffffffffffdc7,
   3782   0xffffffffffffff80, 0xffffffffffffffc1,
   3783   0xfffffffffffffd8c, 0xfffffffffffffec7,
   3784   0xfffffffffffffb94, 0xfffffffffffffdcb,
   3785   0xfffffffffffff998, 0xfffffffffffffccd,
   3786   0xfffffffffffffe0c, 0xffffffffffffff07,
   3787   0xfffffffffffffc14, 0xfffffffffffffe0b,
   3788   0xfffffffffffffa18, 0xfffffffffffffd0d,
   3789   0xfffffffffffdfa24, 0xfffffffffffefd13,
   3790   0xfffffffffffffe08, 0xffffffffffffff05,
   3791   0xfffffffffffffc0c, 0xfffffffffffffe07,
   3792   0xfffffffffffdfc18, 0xfffffffffffefe0d,
   3793   0xfffffffffffbfc20, 0xfffffffffffdfe11,
   3794   0xfffffffffffffe04, 0xffffffffffffff03,
   3795   0xfffffffffffdfe10, 0xfffffffffffeff09,
   3796   0xfffffffffffbfe18, 0xfffffffffffdff0d,
   3797   0xfffffffffff9fe1c, 0xfffffffffffcff0f,
   3798   0xfffffffffffe000c, 0xffffffffffff0007,
   3799   0xfffffffffffc0014, 0xfffffffffffe000b,
   3800   0xfffffffffffa0018, 0xfffffffffffd000d,
   3801   0xffffffff332d334c, 0xffffffff999699a7,
   3802   0xfffffffffffe0008, 0xffffffffffff0005,
   3803   0xfffffffffffc000c, 0xfffffffffffe0007,
   3804   0xffffffff332f3340, 0xffffffff999799a1,
   3805   0xfffffffdddd9ddec, 0xfffffffeeeeceef7,
   3806   0xfffffffffffe0004, 0xffffffffffff0003,
   3807   0xffffffff33313338, 0xffffffff9998999d,
   3808   0xfffffffddddbdde4, 0xfffffffeeeedeef3,
   3809   0xfffffffbdddbddf0, 0xfffffffdeeedeef9,
   3810   0xffffffff33333334, 0xffffffff9999999b,
   3811   0xfffffffddddddde0, 0xfffffffeeeeeeef1,
   3812   0xfffffffbddddddec, 0xfffffffdeeeeeef7,
   3813   0xfffffff9ddddddf4, 0xfffffffceeeeeefb,
   3814   0xfffffffeaaaaaaac, 0xffffffff55555557,
   3815   0xfffffffcaaaaaab8, 0xfffffffe5555555d,
   3816   0xfffffffaaaaaaac0, 0xfffffffd55555561,
   3817   0xfffffff8aaaaaac4, 0xfffffffc55555563,
   3818   0xfffffffe0000000c, 0xffffffff00000007,
   3819   0xfffffffc00000014, 0xfffffffe0000000b,
   3820   0xfffffffa00000018, 0xfffffffd0000000d,
   3821   0xfffffffc00000018, 0xfffffffe0000000d,
   3822   0xfffffffe00000008, 0xffffffff00000005,
   3823   0xfffffffc0000000c, 0xfffffffe00000007,
   3824   0xfffffffe0000000c, 0xffffffff00000007,
   3825   0x0000000000000008, 0x0000000000000005,
   3826   0xfffffffe00000004, 0xffffffff00000003,
   3827   0x0000000000000004, 0x0000000000000003,
   3828   0x0000000200000000, 0x0000000100000001,
   3829   0x0000000355555558, 0x00000001aaaaaaad,
   3830   0x0000000200000000, 0x0000000100000001,
   3831   0x00000003fffffffc, 0x00000001ffffffff,
   3832   0x0000000555555554, 0x00000002aaaaaaab,
   3833   0x0000000622222224, 0x0000000311111113,
   3834   0x00000001fffffffc, 0x00000000ffffffff,
   3835   0x0000000355555554, 0x00000001aaaaaaab,
   3836   0x0000000422222224, 0x0000000211111113,
   3837   0x0000000422242224, 0x0000000211121113,
   3838   0x0000000155555558, 0x00000000aaaaaaad,
   3839   0x0000000222222228, 0x0000000111111115,
   3840   0x0000000222242228, 0x0000000111121115,
   3841   0x0000000222262224, 0x0000000111131113,
   3842   0x00000000ccccccd0, 0x0000000066666669,
   3843   0x00000000ccceccd0, 0x0000000066676669,
   3844   0x00000000ccd0cccc, 0x0000000066686667,
   3845   0x00000000ccd2ccc4, 0x0000000066696663,
   3846   0x0000000000020000, 0x0000000000010001,
   3847   0x000000000003fffc, 0x000000000001ffff,
   3848   0x000000000005fff4, 0x000000000002fffb,
   3849   0x000000000007ffe8, 0x000000000003fff5,
   3850   0x000000000001fffc, 0x000000000000ffff,
   3851   0x000000000003fff4, 0x000000000001fffb,
   3852   0x000000000005ffe8, 0x000000000002fff5,
   3853   0x00000000000601e8, 0x00000000000300f5,
   3854   0x000000000001fff8, 0x000000000000fffd,
   3855   0x000000000003ffec, 0x000000000001fff7,
   3856   0x00000000000401ec, 0x00000000000200f7,
   3857   0x00000000000403e8, 0x00000000000201f5,
   3858   0x000000000001fff4, 0x000000000000fffb,
   3859   0x00000000000201f4, 0x00000000000100fb,
   3860   0x00000000000203f0, 0x00000000000101f9,
   3861   0x00000000000205e8, 0x00000000000102f5,
   3862   0x0000000000000200, 0x0000000000000101,
   3863   0x00000000000003fc, 0x00000000000001ff,
   3864   0x00000000000005f4, 0x00000000000002fb,
   3865   0x00000000000007e8, 0x00000000000003f5,
   3866   0x00000000000001fc, 0x00000000000000ff,
   3867   0x00000000000003f4, 0x00000000000001fb,
   3868   0x00000000000005e8, 0x00000000000002f5,
   3869   0x0000000000000668, 0x0000000000000335,
   3870   0x00000000000001f8, 0x00000000000000fd,
   3871   0x00000000000003ec, 0x00000000000001f7,
   3872   0x000000000000046c, 0x0000000000000237,
   3873   0x0000000000000478, 0x000000000000023d,
   3874   0x00000000000001f4, 0x00000000000000fb,
   3875   0x0000000000000274, 0x000000000000013b,
   3876   0x0000000000000280, 0x0000000000000141,
   3877   0x0000000000000288, 0x0000000000000145,
   3878   0x0000000000000080, 0x0000000000000041,
   3879   0x000000000000008c, 0x0000000000000047,
   3880   0x0000000000000094, 0x000000000000004b,
   3881   0x0000000000000098, 0x000000000000004d,
   3882 };
   3883 const unsigned kExpectedCount_NEON_sqdmlal2_2D_4S_S = 3844;
   3884 
   3885 #endif  // VIXL_SIM_SQDMLAL2_2D_4S_S_TRACE_A64_H_
   3886