// Copyright 2015, ARM Limited
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//   * Redistributions of source code must retain the above copyright notice,
//     this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation
//     and/or other materials provided with the distribution.
//   * Neither the name of ARM Limited nor the names of its contributors may be
//     used to endorse or promote products derived from this software without
//     specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// ---------------------------------------------------------------------
// This file is auto generated using tools/generate_simulator_traces.py.
//
// PLEASE DO NOT EDIT.
// ---------------------------------------------------------------------

#ifndef VIXL_SIM_SMLAL_2D_2S_S_TRACE_A64_H_
#define VIXL_SIM_SMLAL_2D_2S_S_TRACE_A64_H_

const uint64_t kExpected_NEON_smlal_2D_2S_S[] = {
  0x000000003e040000, 0x000000003e820001,
  0x000000007c860000, 0x000000007d830001,
  0x0000003f7b0c0000, 0x0000003ffc060001,
  0x0000003f7b0c0000, 0x0000003ffc060001,
  0x000000003e820000, 0x000000003f010001,
  0x0000003f3d080000, 0x0000003fbd840001,
  0x0000003f3d080000, 0x0000003fbd840001,
  0x0000003f3d087e00, 0x0000003fbd847f01,
  0x0000003efe860000, 0x0000003f7e830001,
  0x0000003efe860000, 0x0000003f7e830001,
  0x0000003efe867e00, 0x0000003f7e837f01,
  0x0000003efe877a00, 0x0000003f7e847d01,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000007e00, 0x0000000000007f01,
  0x0000000000017a00, 0x0000000000017d01,
  0x0000000000113a00, 0x0000000000115d01,
  0x0000000000007e00, 0x0000000000007f01,
  0x0000000000017a00, 0x0000000000017d01,
  0x0000000000113a00, 0x0000000000115d01,
  0x00000000004ec000, 0x00000000004f6001,
  0x000000000000fc00, 0x000000000000fe01,
  0x000000000010bc00, 0x000000000010de01,
  0x00000000004e4200, 0x00000000004ee101,
  0x00000000008c4600, 0x00000000008d6301,
  0x00000000000fc000, 0x00000000000fe001,
  0x00000000004d4600, 0x00000000004de301,
  0x00000000008b4a00, 0x00000000008c6501,
  0x0000000000c9cc00, 0x0000000000cb6601,
  0x00000000003d8600, 0x00000000003e0301,
  0x00000000007b8a00, 0x00000000007c8501,
  0x0000000000ba0c00, 0x0000000000bb8601,
  0x000000003fb89200, 0x00000000403a0901,
  0x00000000003e0400, 0x00000000003e8201,
  0x00000000007c8600, 0x00000000007d8301,
  0x000000003f7b0c00, 0x000000003ffc0601,
  0x000000007e7a1000, 0x000000007f7b0801,
  0x00000000003e8200, 0x00000000003f0101,
  0x000000003f3d0800, 0x000000003fbd8401,
  0x000000007e3c0c00, 0x000000007f3c8601,
  0x00000000bd3b8e00, 0x00000000bebc0701,
  0x000000003efe8600, 0x000000003f7e8301,
  0x000000007dfd8a00, 0x000000007efd8501,
  0x00000000bcfd0c00, 0x00000000be7d0601,
  0x00001933f0302600, 0x0000196724e35301,
  0x000000003eff0400, 0x000000003f7f0201,
  0x000000007dfe8600, 0x000000007efe8301,
  0x00001933b131a000, 0x00001966e564d001,
  0x00004333b1317600, 0x000043bc3ab9fb01,
  0x000000003eff8200, 0x000000003f7f8101,
  0x0000193372329c00, 0x00001966a5e5ce01,
  0x0000433372327200, 0x000043bbfb3af901,
  0x000082337230f800, 0x0000833bfb397c01,
  0x0000193333331a00, 0x0000196666664d01,
  0x000043333332f000, 0x000043bbbbbb7801,
  0x0000823333317600, 0x0000833bbbb9fb01,
  0x0000c13333307a00, 0x0000c2bbbbb8fd01,
  0x000029ffffffd600, 0x00002a5555552b01,
  0x000068fffffe5c00, 0x000069d55553ae01,
  0x0000a7fffffd6000, 0x0000a9555552b001,
  0x0000e6fffffce200, 0x0000e8d555523101,
  0x00003efffffe8600, 0x00003f7ffffe8301,
  0x00007dfffffd8a00, 0x00007efffffd8501,
  0x0000bcfffffd0c00, 0x0000be7ffffd0601,
  0x00007dfffffd0c00, 0x00007efffffd0601,
  0x00003effffff0400, 0x00003f7fffff0201,
  0x00007dfffffe8600, 0x00007efffffe8301,
  0x00003efffffe8600, 0x00003f7ffffe8301,
  0xffffffffffff0400, 0xffffffffffff0201,
  0x00003effffff8200, 0x00003f7fffff8101,
  0xffffffffffff8200, 0xffffffffffff8101,
  0xffffc10000000000, 0xffffc08000000001,
  0xffff96ffffffac00, 0xffff962aaaaa5601,
  0xffffc10000000000, 0xffffc08000000001,
  0xffff820000007e00, 0xffff810000007f01,
  0xffff580000002a00, 0xffff56aaaaaad501,
  0xffff3ecccccc9200, 0xffff3d4444440901,
  0xffffc10000007e00, 0xffffc08000007f01,
  0xffff970000002a00, 0xffff962aaaaad501,
  0xffff7dcccccc9200, 0xffff7cc444440901,
  0xffff7dcc8dcc9200, 0xffff7cc404c40901,
  0xffffd5ffffffac00, 0xffffd5aaaaaa5601,
  0xffffbccccccc1400, 0xffffbc4444438a01,
  0xffffbccc8dcc1400, 0xffffbc4404c38a01,
  0xffffbccc4ecc9200, 0xffffbc43c5440901,
  0xffffe6cccccc6800, 0xffffe69999993401,
  0xffffe6cc8dcc6800, 0xffffe6995a193401,
  0xffffe6cc4ecce600, 0xffffe6991a99b301,
  0xffffe6cc0fcde200, 0xffffe698db1ab101,
  0xffffffffc1000000, 0xffffffffc0800001,
  0xffffffff82007e00, 0xffffffff81007f01,
  0xffffffff43017a00, 0xffffffff41817d01,
  0xffffffff0402f400, 0xffffffff0202fa01,
  0xffffffffc1007e00, 0xffffffffc0807f01,
  0xffffffff82017a00, 0xffffffff81017d01,
  0xffffffff4302f400, 0xffffffff4182fa01,
  0xffffffff42c3f400, 0xffffffff41437a01,
  0xffffffffc100fc00, 0xffffffffc080fe01,
  0xffffffff82027600, 0xffffffff81027b01,
  0xffffffff81c37600, 0xffffffff80c2fb01,
  0xffffffff8184f400, 0xffffffff8083fa01,
  0xffffffffc1017a00, 0xffffffffc0817d01,
  0xffffffffc0c27a00, 0xffffffffc041fd01,
  0xffffffffc083f800, 0xffffffffc002fc01,
  0xffffffffc045f400, 0xffffffffbfc47a01,
  0xffffffffffc10000, 0xffffffffffc08001,
  0xffffffffff827e00, 0xffffffffff817f01,
  0xffffffffff447a00, 0xffffffffff42fd01,
  0xffffffffff06f400, 0xffffffffff04fa01,
  0xffffffffffc17e00, 0xffffffffffc0ff01,
  0xffffffffff837a00, 0xffffffffff827d01,
  0xffffffffff45f400, 0xffffffffff447a01,
  0xffffffffff363400, 0xffffffffff349a01,
  0xffffffffffc1fc00, 0xffffffffffc17e01,
  0xffffffffff847600, 0xffffffffff837b01,
  0xffffffffff74b600, 0xffffffffff739b01,
  0xffffffffff733c00, 0xffffffffff721e01,
  0xffffffffffc27a00, 0xffffffffffc1fd01,
  0xffffffffffb2ba00, 0xffffffffffb21d01,
  0xffffffffffb14000, 0xffffffffffb0a001,
  0xffffffffffb04400, 0xffffffffffafa201,
  0xfffffffffff04000, 0xfffffffffff02001,
  0xffffffffffeec600, 0xffffffffffeea301,
  0xffffffffffedca00, 0xffffffffffeda501,
  0xffffffffffed4c00, 0xffffffffffed2601,
  0xfffffffffffe8300, 0xfffffffffe800901,
  0xfffffffffffd8500, 0xfffffffffd800f01,
  0xfffffffffffd0600, 0xfffffffffd001201,
  0xfffffffffffd0600, 0xfffffffffd001201,
  0xffffffffffff0200, 0xffffffffff000601,
  0xfffffffffffe8300, 0xfffffffffe800901,
  0xfffffffffffe8300, 0xfffffffffe800901,
  0xffffffffffff0200, 0xffffffffff000601,
  0xffffffffffff8100, 0xffffffffff800301,
  0xffffffffffff8100, 0xffffffffff800301,
  0x0000000000000000, 0x0000000000000001,
  0x000000000000fe00, 0x0000000000fffa01,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000007f00, 0x00000000007ffd01,
  0x0000000000017d00, 0x00000000017ff701,
  0x0000000000115d00, 0x00000000117f9701,
  0x0000000000007f00, 0x00000000007ffd01,
  0x0000000000017d00, 0x00000000017ff701,
  0x0000000000115d00, 0x00000000117f9701,
  0x00000000004f6000, 0x000000004ffe2001,
  0x000000000000fe00, 0x0000000000fffa01,
  0x000000000010de00, 0x0000000010ff9a01,
  0x00000000004ee100, 0x000000004f7e2301,
  0x00000000008d6300, 0x000000008e7ca901,
  0x00000000000fe000, 0x000000000fffa001,
  0x00000000004de300, 0x000000004e7e2901,
  0x00000000008c6500, 0x000000008d7caf01,
  0x0000000000cb6600, 0x00000000ccfb3201,
  0x00000000003e0300, 0x000000003e7e8901,
  0x00000000007c8500, 0x000000007d7d0f01,
  0x0000000000bb8600, 0x00000000bcfb9201,
  0x00000000403a0900, 0x00000040b9fb9b01,
  0x00000000003e8200, 0x000000003efe8601,
  0x00000000007d8300, 0x000000007e7d0901,
  0x000000003ffc0600, 0x000000407b7d1201,
  0x000000007f7b0800, 0x0000008078fd1801,
  0x00000000003f0100, 0x000000003f7e8301,
  0x000000003fbd8400, 0x000000403c7e8c01,
  0x000000007f3c8600, 0x0000008039fe9201,
  0x00000000bebc0700, 0x000000c037fe9501,
  0x000000003f7e8300, 0x0000003ffd000901,
  0x000000007efd8500, 0x0000007ffa800f01,
  0x00000000be7d0600, 0x000000bff8801201,
  0x0000196724e35300, 0x001999bff8667901,
  0x000000003f7f0200, 0x0000003ffd800601,
  0x000000007efe8300, 0x0000007ffb800901,
  0x00001966e564d000, 0x0019997ffb667001,
  0x000043bc3ab9fb00, 0x0044432aa5e67101,
  0x000000003f7f8100, 0x0000003ffe000301,
  0x00001966a5e5ce00, 0x0019993ffde66a01,
  0x000043bbfb3af900, 0x004442eaa8666b01,
  0x0000833bfb397c00, 0x0084416aa6e67401,
  0x0000196666664d00, 0x001998ffffe66701,
  0x000043bbbbbb7800, 0x004442aaaa666801,
  0x0000833bbbb9fb00, 0x0084412aa8e67101,
  0x0000c2bbbbb8fd00, 0x00c43faaa7e67701,
  0x00002a5555552b00, 0x002aa9aaaa800101,
  0x000069d55553ae00, 0x006aa82aa9000a01,
  0x0000a9555552b000, 0x00aaa6aaa8001001,
  0x0000e8d555523100, 0x00eaa52aa7801301,
  0x00003f7ffffe8300, 0x003ffe7ffe800901,
  0x00007efffffd8500, 0x007ffcfffd800f01,
  0x0000be7ffffd0600, 0x00bffb7ffd001201,
  0x00007efffffd0600, 0x007ffcfffd001201,
  0x00003f7fffff0200, 0x003ffe7fff000601,
  0x00007efffffe8300, 0x007ffcfffe800901,
  0x00003f7ffffe8300, 0x003ffe7ffe800901,
  0xffffffffffff0200, 0xffffffffff000601,
  0x00003f7fffff8100, 0x003ffe7fff800301,
  0xffffffffffff8100, 0xffffffffff800301,
  0xffffc08000000000, 0xffc0018000000001,
  0xffff962aaaaa5600, 0xff9557d555000201,
  0xffffc08000000000, 0xffc0018000000001,
  0xffff810000007f00, 0xff800300007ffd01,
  0xffff56aaaaaad500, 0xff555955557fff01,
  0xffff3d4444440900, 0xff3bc05555199b01,
  0xffffc08000007f00, 0xffc00180007ffd01,
  0xffff962aaaaad500, 0xff9557d5557fff01,
  0xffff7cc444440900, 0xff7bbed555199b01,
  0xffff7cc404c40900, 0xff7bbe9556999b01,
  0xffffd5aaaaaa5600, 0xffd5565555000201,
  0xffffbc4444438a00, 0xffbbbd5554999e01,
  0xffffbc4404c38a00, 0xffbbbd1556199e01,
  0xffffbc43c5440900, 0xffbbbcd558199b01,
  0xffffe69999993400, 0xffe666ffff999c01,
  0xffffe6995a193400, 0xffe666c001199c01,
  0xffffe6991a99b300, 0xffe6668003199901,
  0xffffe698db1ab100, 0xffe6664005999301,
  0xffffffffc0800000, 0xffffffc001800001,
  0xffffffff81007f00, 0xffffff80037ffd01,
  0xffffffff41817d00, 0xffffff4005fff701,
  0xffffffff0202fa00, 0xffffff0008ffee01,
  0xffffffffc0807f00, 0xffffffc001fffd01,
  0xffffffff81017d00, 0xffffff80047ff701,
  0xffffffff4182fa00, 0xffffff40077fee01,
  0xffffffff41437a00, 0xffffff3fc7816e01,
  0xffffffffc080fe00, 0xffffffc0027ffa01,
  0xffffffff81027b00, 0xffffff80057ff101,
  0xffffffff80c2fb00, 0xffffff7fc5817101,
  0xffffffff8083fa00, 0xffffff7f8602ee01,
  0xffffffffc0817d00, 0xffffffc002fff701,
  0xffffffffc041fd00, 0xffffffbfc3017701,
  0xffffffffc002fc00, 0xffffffbf8382f401,
  0xffffffffbfc47a00, 0xffffffbf44846e01,
  0xffffffffffc08000, 0xffffffffc0018001,
  0xffffffffff817f00, 0xffffffff8082fd01,
  0xffffffffff42fd00, 0xffffffff41847701,
  0xffffffffff04fa00, 0xffffffff0305ee01,
  0xffffffffffc0ff00, 0xffffffffc0817d01,
  0xffffffffff827d00, 0xffffffff8182f701,
  0xffffffffff447a00, 0xffffffff43046e01,
  0xffffffffff349a00, 0xffffffff3304ce01,
  0xffffffffffc17e00, 0xffffffffc1017a01,
  0xffffffffff837b00, 0xffffffff8282f101,
  0xffffffffff739b00, 0xffffffff72835101,
  0xffffffffff721e00, 0xffffffff71035a01,
  0xffffffffffc1fd00, 0xffffffffc1817701,
  0xffffffffffb21d00, 0xffffffffb181d701,
  0xffffffffffb0a000, 0xffffffffb001e001,
  0xffffffffffafa200, 0xffffffffaf01e601,
  0xfffffffffff02000, 0xfffffffff0006001,
  0xffffffffffeea300, 0xffffffffee806901,
  0xffffffffffeda500, 0xffffffffed806f01,
  0xffffffffffed2600, 0xffffffffed007201,
  0xfffffffffe800900, 0x0000000000000001,
  0xfffffffffd800f00, 0x0000000000000001,
  0xfffffffffd001200, 0x0000000000000001,
  0xfffffffffd001200, 0x0000000000000001,
  0xffffffffff000600, 0x0000000000000001,
  0xfffffffffe800900, 0x0000000000000001,
  0xfffffffffe800900, 0x0000000000000001,
  0xffffffffff000600, 0x0000000000000001,
  0xffffffffff800300, 0x0000000000000001,
  0xffffffffff800300, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000fffa00, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000001,
  0x00000000007ffd00, 0x0000000000000001,
  0x00000000017ff700, 0x0000000000000001,
  0x00000000117f9700, 0x0000000000000001,
  0x00000000007ffd00, 0x0000000000000001,
  0x00000000017ff700, 0x0000000000000001,
  0x00000000117f9700, 0x0000000000000001,
  0x000000004ffe2000, 0x0000000000000001,
  0x0000000000fffa00, 0x0000000000000001,
  0x0000000010ff9a00, 0x0000000000000001,
  0x000000004f7e2300, 0x0000000000000001,
  0x000000008e7ca900, 0x0000000000000001,
  0x000000000fffa000, 0x0000000000000001,
  0x000000004e7e2900, 0x0000000000000001,
  0x000000008d7caf00, 0x0000000000000001,
  0x00000000ccfb3200, 0x0000000000000001,
  0x000000003e7e8900, 0x0000000000000001,
  0x000000007d7d0f00, 0x0000000000000001,
  0x00000000bcfb9200, 0x0000000000000001,
  0x00000040b9fb9b00, 0x0000000000000001,
  0x000000003efe8600, 0x0000000000000001,
  0x000000007e7d0900, 0x0000000000000001,
  0x000000407b7d1200, 0x0000000000000001,
  0x0000008078fd1800, 0x0000000000000001,
  0x000000003f7e8300, 0x0000000000000001,
  0x000000403c7e8c00, 0x0000000000000001,
  0x0000008039fe9200, 0x0000000000000001,
  0x000000c037fe9500, 0x0000000000000001,
  0x0000003ffd000900, 0x0000000000000001,
  0x0000007ffa800f00, 0x0000000000000001,
  0x000000bff8801200, 0x0000000000000001,
  0x001999bff8667900, 0x0000000000000001,
  0x0000003ffd800600, 0x0000000000000001,
  0x0000007ffb800900, 0x0000000000000001,
  0x0019997ffb667000, 0x0000000000000001,
  0x0044432aa5e67100, 0x0000000000000001,
  0x0000003ffe000300, 0x0000000000000001,
  0x0019993ffde66a00, 0x0000000000000001,
  0x004442eaa8666b00, 0x0000000000000001,
  0x0084416aa6e67400, 0x0000000000000001,
  0x001998ffffe66700, 0x0000000000000001,
  0x004442aaaa666800, 0x0000000000000001,
  0x0084412aa8e67100, 0x0000000000000001,
  0x00c43faaa7e67700, 0x0000000000000001,
  0x002aa9aaaa800100, 0x0000000000000001,
  0x006aa82aa9000a00, 0x0000000000000001,
  0x00aaa6aaa8001000, 0x0000000000000001,
  0x00eaa52aa7801300, 0x0000000000000001,
  0x003ffe7ffe800900, 0x0000000000000001,
  0x007ffcfffd800f00, 0x0000000000000001,
  0x00bffb7ffd001200, 0x0000000000000001,
  0x007ffcfffd001200, 0x0000000000000001,
  0x003ffe7fff000600, 0x0000000000000001,
  0x007ffcfffe800900, 0x0000000000000001,
  0x003ffe7ffe800900, 0x0000000000000001,
  0xffffffffff000600, 0x0000000000000001,
  0x003ffe7fff800300, 0x0000000000000001,
  0xffffffffff800300, 0x0000000000000001,
  0xffc0018000000000, 0x0000000000000001,
  0xff9557d555000200, 0x0000000000000001,
  0xffc0018000000000, 0x0000000000000001,
  0xff800300007ffd00, 0x0000000000000001,
  0xff555955557fff00, 0x0000000000000001,
  0xff3bc05555199b00, 0x0000000000000001,
  0xffc00180007ffd00, 0x0000000000000001,
  0xff9557d5557fff00, 0x0000000000000001,
  0xff7bbed555199b00, 0x0000000000000001,
  0xff7bbe9556999b00, 0x0000000000000001,
  0xffd5565555000200, 0x0000000000000001,
  0xffbbbd5554999e00, 0x0000000000000001,
  0xffbbbd1556199e00, 0x0000000000000001,
  0xffbbbcd558199b00, 0x0000000000000001,
  0xffe666ffff999c00, 0x0000000000000001,
  0xffe666c001199c00, 0x0000000000000001,
  0xffe6668003199900, 0x0000000000000001,
  0xffe6664005999300, 0x0000000000000001,
  0xffffffc001800000, 0x0000000000000001,
  0xffffff80037ffd00, 0x0000000000000001,
  0xffffff4005fff700, 0x0000000000000001,
  0xffffff0008ffee00, 0x0000000000000001,
  0xffffffc001fffd00, 0x0000000000000001,
  0xffffff80047ff700, 0x0000000000000001,
  0xffffff40077fee00, 0x0000000000000001,
  0xffffff3fc7816e00, 0x0000000000000001,
  0xffffffc0027ffa00, 0x0000000000000001,
  0xffffff80057ff100, 0x0000000000000001,
  0xffffff7fc5817100, 0x0000000000000001,
  0xffffff7f8602ee00, 0x0000000000000001,
  0xffffffc002fff700, 0x0000000000000001,
  0xffffffbfc3017700, 0x0000000000000001,
  0xffffffbf8382f400, 0x0000000000000001,
  0xffffffbf44846e00, 0x0000000000000001,
  0xffffffffc0018000, 0x0000000000000001,
  0xffffffff8082fd00, 0x0000000000000001,
  0xffffffff41847700, 0x0000000000000001,
  0xffffffff0305ee00, 0x0000000000000001,
  0xffffffffc0817d00, 0x0000000000000001,
  0xffffffff8182f700, 0x0000000000000001,
  0xffffffff43046e00, 0x0000000000000001,
  0xffffffff3304ce00, 0x0000000000000001,
  0xffffffffc1017a00, 0x0000000000000001,
  0xffffffff8282f100, 0x0000000000000001,
  0xffffffff72835100, 0x0000000000000001,
  0xffffffff71035a00, 0x0000000000000001,
  0xffffffffc1817700, 0x0000000000000001,
  0xffffffffb181d700, 0x0000000000000001,
  0xffffffffb001e000, 0x0000000000000001,
  0xffffffffaf01e600, 0x0000000000000001,
  0xfffffffff0006000, 0x0000000000000001,
  0xffffffffee806900, 0x0000000000000001,
  0xffffffffed806f00, 0x0000000000000001,
  0xffffffffed007200, 0x0000000000000001,
  0x0000000000000000, 0xfffffffffffffffe,
  0x0000000000000000, 0xfffffffffffffffc,
  0x0000000000000000, 0xfffffffffffffffb,
  0x0000000000000000, 0xfffffffffffffffb,
  0x0000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0xfffffffffffffffe,
  0x0000000000000000, 0xfffffffffffffffe,
  0x0000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000003,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000002,
  0x0000000000000000, 0x0000000000000004,
  0x0000000000000000, 0x0000000000000024,
  0x0000000000000000, 0x0000000000000002,
  0x0000000000000000, 0x0000000000000004,
  0x0000000000000000, 0x0000000000000024,
  0x0000000000000000, 0x00000000000000a1,
  0x0000000000000000, 0x0000000000000003,
  0x0000000000000000, 0x0000000000000023,
  0x0000000000000000, 0x00000000000000a0,
  0x0000000000000000, 0x000000000000011e,
  0x0000000000000000, 0x0000000000000021,
  0x0000000000000000, 0x000000000000009e,
  0x0000000000000000, 0x000000000000011c,
  0x0000000000000000, 0x000000000000019b,
  0x0000000000000000, 0x000000000000007e,
  0x0000000000000000, 0x00000000000000fc,
  0x0000000000000000, 0x000000000000017b,
  0x0000000000000000, 0x0000000000008178,
  0x0000000000000000, 0x000000000000007f,
  0x0000000000000000, 0x00000000000000fe,
  0x0000000000000000, 0x00000000000080fb,
  0x0000000000000000, 0x00000000000100f9,
  0x0000000000000000, 0x0000000000000080,
  0x0000000000000000, 0x000000000000807d,
  0x0000000000000000, 0x000000000001007b,
  0x0000000000000000, 0x000000000001807a,
  0x0000000000000000, 0x0000000000007ffe,
  0x0000000000000000, 0x000000000000fffc,
  0x0000000000000000, 0x0000000000017ffb,
  0x0000000000000000, 0x000000003334b32e,
  0x0000000000000000, 0x0000000000007fff,
  0x0000000000000000, 0x000000000000fffe,
  0x0000000000000000, 0x0000000033343331,
  0x0000000000000000, 0x0000000088898886,
  0x0000000000000000, 0x0000000000008000,
  0x0000000000000000, 0x000000003333b333,
  0x0000000000000000, 0x0000000088890888,
  0x0000000000000000, 0x0000000108890885,
  0x0000000000000000, 0x0000000033333334,
  0x0000000000000000, 0x0000000088888889,
  0x0000000000000000, 0x0000000108888886,
  0x0000000000000000, 0x0000000188888884,
  0x0000000000000000, 0x0000000055555556,
  0x0000000000000000, 0x00000000d5555553,
  0x0000000000000000, 0x0000000155555551,
  0x0000000000000000, 0x00000001d5555550,
  0x0000000000000000, 0x000000007ffffffe,
  0x0000000000000000, 0x00000000fffffffc,
  0x0000000000000000, 0x000000017ffffffb,
  0x0000000000000000, 0x00000000fffffffb,
  0x0000000000000000, 0x000000007fffffff,
  0x0000000000000000, 0x00000000fffffffe,
  0x0000000000000000, 0x000000007ffffffe,
  0x0000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000080000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0xffffffff80000001,
  0x0000000000000000, 0xffffffff2aaaaaab,
  0x0000000000000000, 0xffffffff80000001,
  0x0000000000000000, 0xffffffff00000002,
  0x0000000000000000, 0xfffffffeaaaaaaac,
  0x0000000000000000, 0xfffffffe77777778,
  0x0000000000000000, 0xffffffff80000002,
  0x0000000000000000, 0xffffffff2aaaaaac,
  0x0000000000000000, 0xfffffffef7777778,
  0x0000000000000000, 0xfffffffef776f778,
  0x0000000000000000, 0xffffffffaaaaaaab,
  0x0000000000000000, 0xffffffff77777777,
  0x0000000000000000, 0xffffffff7776f777,
  0x0000000000000000, 0xffffffff77767778,
  0x0000000000000000, 0xffffffffcccccccd,
  0x0000000000000000, 0xffffffffcccc4ccd,
  0x0000000000000000, 0xffffffffcccbccce,
  0x0000000000000000, 0xffffffffcccb4cd0,
  0x0000000000000000, 0xffffffffffff8001,
  0x0000000000000000, 0xffffffffffff0002,
  0x0000000000000000, 0xfffffffffffe8004,
  0x0000000000000000, 0xfffffffffffe0007,
  0x0000000000000000, 0xffffffffffff8002,
  0x0000000000000000, 0xffffffffffff0004,
  0x0000000000000000, 0xfffffffffffe8007,
  0x0000000000000000, 0xfffffffffffe7f87,
  0x0000000000000000, 0xffffffffffff8003,
  0x0000000000000000, 0xffffffffffff0006,
  0x0000000000000000, 0xfffffffffffeff86,
  0x0000000000000000, 0xfffffffffffeff07,
  0x0000000000000000, 0xffffffffffff8004,
  0x0000000000000000, 0xffffffffffff7f84,
  0x0000000000000000, 0xffffffffffff7f05,
  0x0000000000000000, 0xffffffffffff7e87,
  0x0000000000000000, 0xffffffffffffff81,
  0x0000000000000000, 0xffffffffffffff02,
  0x0000000000000000, 0xfffffffffffffe84,
  0x0000000000000000, 0xfffffffffffffe07,
  0x0000000000000000, 0xffffffffffffff82,
  0x0000000000000000, 0xffffffffffffff04,
  0x0000000000000000, 0xfffffffffffffe87,
  0x0000000000000000, 0xfffffffffffffe67,
  0x0000000000000000, 0xffffffffffffff83,
  0x0000000000000000, 0xffffffffffffff06,
  0x0000000000000000, 0xfffffffffffffee6,
  0x0000000000000000, 0xfffffffffffffee3,
  0x0000000000000000, 0xffffffffffffff84,
  0x0000000000000000, 0xffffffffffffff64,
  0x0000000000000000, 0xffffffffffffff61,
  0x0000000000000000, 0xffffffffffffff5f,
  0x0000000000000000, 0xffffffffffffffe1,
  0x0000000000000000, 0xffffffffffffffde,
  0x0000000000000000, 0xffffffffffffffdc,
  0x0000000000000000, 0xffffffffffffffdb,
  0xfffffffffffffffd, 0xfffffffffffffffb,
  0xfffffffffffffffb, 0xfffffffffffffff7,
  0xfffffffffffffffa, 0xfffffffffffffff5,
  0xfffffffffffffffa, 0xfffffffffffffff5,
  0xfffffffffffffffe, 0xfffffffffffffffd,
  0xfffffffffffffffd, 0xfffffffffffffffb,
  0xfffffffffffffffd, 0xfffffffffffffffb,
  0xfffffffffffffffe, 0xfffffffffffffffd,
  0xffffffffffffffff, 0xffffffffffffffff,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000002, 0x0000000000000005,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000001, 0x0000000000000003,
  0x0000000000000003, 0x0000000000000007,
  0x0000000000000023, 0x0000000000000047,
  0x0000000000000001, 0x0000000000000003,
  0x0000000000000003, 0x0000000000000007,
  0x0000000000000023, 0x0000000000000047,
  0x00000000000000a0, 0x0000000000000141,
  0x0000000000000002, 0x0000000000000005,
  0x0000000000000022, 0x0000000000000045,
  0x000000000000009f, 0x000000000000013f,
  0x000000000000011d, 0x000000000000023b,
  0x0000000000000020, 0x0000000000000041,
  0x000000000000009d, 0x000000000000013b,
  0x000000000000011b, 0x0000000000000237,
  0x000000000000019a, 0x0000000000000335,
  0x000000000000007d, 0x00000000000000fb,
  0x00000000000000fb, 0x00000000000001f7,
  0x000000000000017a, 0x00000000000002f5,
  0x0000000000008177, 0x00000000000102ef,
  0x000000000000007e, 0x00000000000000fd,
  0x00000000000000fd, 0x00000000000001fb,
  0x00000000000080fa, 0x00000000000101f5,
  0x00000000000100f8, 0x00000000000201f1,
  0x000000000000007f, 0x00000000000000ff,
  0x000000000000807c, 0x00000000000100f9,
  0x000000000001007a, 0x00000000000200f5,
  0x0000000000018079, 0x00000000000300f3,
  0x0000000000007ffd, 0x000000000000fffb,
  0x000000000000fffb, 0x000000000001fff7,
  0x0000000000017ffa, 0x000000000002fff5,
  0x000000003334b32d, 0x000000006669665b,
  0x0000000000007ffe, 0x000000000000fffd,
  0x000000000000fffd, 0x000000000001fffb,
  0x0000000033343330, 0x0000000066686661,
  0x0000000088898885, 0x000000011113110b,
  0x0000000000007fff, 0x000000000000ffff,
  0x000000003333b332, 0x0000000066676665,
  0x0000000088890887, 0x000000011112110f,
  0x0000000108890884, 0x0000000211121109,
  0x0000000033333333, 0x0000000066666667,
  0x0000000088888888, 0x0000000111111111,
  0x0000000108888885, 0x000000021111110b,
  0x0000000188888883, 0x0000000311111107,
  0x0000000055555555, 0x00000000aaaaaaab,
  0x00000000d5555552, 0x00000001aaaaaaa5,
  0x0000000155555550, 0x00000002aaaaaaa1,
  0x00000001d555554f, 0x00000003aaaaaa9f,
  0x000000007ffffffd, 0x00000000fffffffb,
  0x00000000fffffffb, 0x00000001fffffff7,
  0x000000017ffffffa, 0x00000002fffffff5,
  0x00000000fffffffa, 0x00000001fffffff5,
  0x000000007ffffffe, 0x00000000fffffffd,
  0x00000000fffffffd, 0x00000001fffffffb,
  0x000000007ffffffd, 0x00000000fffffffb,
  0xfffffffffffffffe, 0xfffffffffffffffd,
  0x000000007fffffff, 0x00000000ffffffff,
  0xffffffffffffffff, 0xffffffffffffffff,
  0xffffffff80000000, 0xffffffff00000001,
  0xffffffff2aaaaaaa, 0xfffffffe55555555,
  0xffffffff80000000, 0xffffffff00000001,
  0xffffffff00000001, 0xfffffffe00000003,
  0xfffffffeaaaaaaab, 0xfffffffd55555557,
  0xfffffffe77777777, 0xfffffffceeeeeeef,
  0xffffffff80000001, 0xffffffff00000003,
  0xffffffff2aaaaaab, 0xfffffffe55555557,
  0xfffffffef7777777, 0xfffffffdeeeeeeef,
  0xfffffffef776f777, 0xfffffffdeeedeeef,
  0xffffffffaaaaaaaa, 0xffffffff55555555,
  0xffffffff77777776, 0xfffffffeeeeeeeed,
  0xffffffff7776f776, 0xfffffffeeeedeeed,
  0xffffffff77767777, 0xfffffffeeeeceeef,
  0xffffffffcccccccc, 0xffffffff99999999,
  0xffffffffcccc4ccc, 0xffffffff99989999,
  0xffffffffcccbcccd, 0xffffffff9997999b,
  0xffffffffcccb4ccf, 0xffffffff9996999f,
  0xffffffffffff8000, 0xffffffffffff0001,
  0xffffffffffff0001, 0xfffffffffffe0003,
  0xfffffffffffe8003, 0xfffffffffffd0007,
  0xfffffffffffe0006, 0xfffffffffffc000d,
  0xffffffffffff8001, 0xffffffffffff0003,
  0xffffffffffff0003, 0xfffffffffffe0007,
  0xfffffffffffe8006, 0xfffffffffffd000d,
  0xfffffffffffe7f86, 0xfffffffffffcff0d,
  0xffffffffffff8002, 0xffffffffffff0005,
  0xffffffffffff0005, 0xfffffffffffe000b,
  0xfffffffffffeff85, 0xfffffffffffdff0b,
  0xfffffffffffeff06, 0xfffffffffffdfe0d,
  0xffffffffffff8003, 0xffffffffffff0007,
  0xffffffffffff7f83, 0xfffffffffffeff07,
  0xffffffffffff7f04, 0xfffffffffffefe09,
  0xffffffffffff7e86, 0xfffffffffffefd0d,
  0xffffffffffffff80, 0xffffffffffffff01,
  0xffffffffffffff01, 0xfffffffffffffe03,
  0xfffffffffffffe83, 0xfffffffffffffd07,
  0xfffffffffffffe06, 0xfffffffffffffc0d,
  0xffffffffffffff81, 0xffffffffffffff03,
  0xffffffffffffff03, 0xfffffffffffffe07,
  0xfffffffffffffe86, 0xfffffffffffffd0d,
  0xfffffffffffffe66, 0xfffffffffffffccd,
  0xffffffffffffff82, 0xffffffffffffff05,
  0xffffffffffffff05, 0xfffffffffffffe0b,
  0xfffffffffffffee5, 0xfffffffffffffdcb,
  0xfffffffffffffee2, 0xfffffffffffffdc5,
  0xffffffffffffff83, 0xffffffffffffff07,
  0xffffffffffffff63, 0xfffffffffffffec7,
  0xffffffffffffff60, 0xfffffffffffffec1,
  0xffffffffffffff5e, 0xfffffffffffffebd,
  0xffffffffffffffe0, 0xffffffffffffffc1,
  0xffffffffffffffdd, 0xffffffffffffffbb,
  0xffffffffffffffdb, 0xffffffffffffffb7,
  0xffffffffffffffda, 0xffffffffffffffb5,
  0xfffffffffffffffa, 0xffffffffffffffa1,
  0xfffffffffffffff6, 0xffffffffffffff61,
  0xfffffffffffffff4, 0xffffffffffffff41,
  0xfffffffffffffff4, 0xffffffffffffff41,
  0xfffffffffffffffc, 0xffffffffffffffc1,
  0xfffffffffffffffa, 0xffffffffffffffa1,
  0xfffffffffffffffa, 0xffffffffffffffa1,
  0xfffffffffffffffc, 0xffffffffffffffc1,
  0xfffffffffffffffe, 0xffffffffffffffe1,
  0xfffffffffffffffe, 0xffffffffffffffe1,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000004, 0x0000000000000041,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000002, 0x0000000000000021,
  0x0000000000000006, 0x0000000000000061,
  0x0000000000000046, 0x0000000000000461,
  0x0000000000000002, 0x0000000000000021,
  0x0000000000000006, 0x0000000000000061,
  0x0000000000000046, 0x0000000000000461,
  0x0000000000000140, 0x0000000000001401,
  0x0000000000000004, 0x0000000000000041,
  0x0000000000000044, 0x0000000000000441,
  0x000000000000013e, 0x00000000000013e1,
  0x000000000000023a, 0x00000000000023a1,
  0x0000000000000040, 0x0000000000000401,
  0x000000000000013a, 0x00000000000013a1,
  0x0000000000000236, 0x0000000000002361,
  0x0000000000000334, 0x0000000000003341,
  0x00000000000000fa, 0x0000000000000fa1,
  0x00000000000001f6, 0x0000000000001f61,
  0x00000000000002f4, 0x0000000000002f41,
  0x00000000000102ee, 0x0000000000102ee1,
  0x00000000000000fc, 0x0000000000000fc1,
  0x00000000000001fa, 0x0000000000001fa1,
  0x00000000000101f4, 0x0000000000101f41,
  0x00000000000201f0, 0x0000000000201f01,
  0x00000000000000fe, 0x0000000000000fe1,
  0x00000000000100f8, 0x0000000000100f81,
  0x00000000000200f4, 0x0000000000200f41,
  0x00000000000300f2, 0x0000000000300f21,
  0x000000000000fffa, 0x00000000000fffa1,
  0x000000000001fff6, 0x00000000001fff61,
  0x000000000002fff4, 0x00000000002fff41,
  0x000000006669665a, 0x00000006669665a1,
  0x000000000000fffc, 0x00000000000fffc1,
  0x000000000001fffa, 0x00000000001fffa1,
  0x0000000066686660, 0x0000000666866601,
  0x000000011113110a, 0x00000011113110a1,
  0x000000000000fffe, 0x00000000000fffe1,
  0x0000000066676664, 0x0000000666766641,
  0x000000011112110e, 0x00000011112110e1,
  0x0000000211121108, 0x0000002111211081,
  0x0000000066666666, 0x0000000666666661,
  0x0000000111111110, 0x0000001111111101,
  0x000000021111110a, 0x00000021111110a1,
  0x0000000311111106, 0x0000003111111061,
  0x00000000aaaaaaaa, 0x0000000aaaaaaaa1,
  0x00000001aaaaaaa4, 0x0000001aaaaaaa41,
  0x00000002aaaaaaa0, 0x0000002aaaaaaa01,
  0x00000003aaaaaa9e, 0x0000003aaaaaa9e1,
  0x00000000fffffffa, 0x0000000fffffffa1,
  0x00000001fffffff6, 0x0000001fffffff61,
  0x00000002fffffff4, 0x0000002fffffff41,
  0x00000001fffffff4, 0x0000001fffffff41,
  0x00000000fffffffc, 0x0000000fffffffc1,
  0x00000001fffffffa, 0x0000001fffffffa1,
  0x00000000fffffffa, 0x0000000fffffffa1,
  0xfffffffffffffffc, 0xffffffffffffffc1,
  0x00000000fffffffe, 0x0000000fffffffe1,
  0xfffffffffffffffe, 0xffffffffffffffe1,
  0xffffffff00000000, 0xfffffff000000001,
  0xfffffffe55555554, 0xffffffe555555541,
  0xffffffff00000000, 0xfffffff000000001,
  0xfffffffe00000002, 0xffffffe000000021,
  0xfffffffd55555556, 0xffffffd555555561,
  0xfffffffceeeeeeee, 0xffffffceeeeeeee1,
  0xffffffff00000002, 0xfffffff000000021,
  0xfffffffe55555556, 0xffffffe555555561,
  0xfffffffdeeeeeeee, 0xffffffdeeeeeeee1,
  0xfffffffdeeedeeee, 0xffffffdeeedeeee1,
  0xffffffff55555554, 0xfffffff555555541,
  0xfffffffeeeeeeeec, 0xffffffeeeeeeeec1,
  0xfffffffeeeedeeec, 0xffffffeeeedeeec1,
  0xfffffffeeeeceeee, 0xffffffeeeeceeee1,
  0xffffffff99999998, 0xfffffff999999981,
  0xffffffff99989998, 0xfffffff999899981,
  0xffffffff9997999a, 0xfffffff9997999a1,
  0xffffffff9996999e, 0xfffffff9996999e1,
  0xffffffffffff0000, 0xfffffffffff00001,
  0xfffffffffffe0002, 0xffffffffffe00021,
  0xfffffffffffd0006, 0xffffffffffd00061,
  0xfffffffffffc000c, 0xffffffffffc000c1,
  0xffffffffffff0002, 0xfffffffffff00021,
  0xfffffffffffe0006, 0xffffffffffe00061,
  0xfffffffffffd000c, 0xffffffffffd000c1,
  0xfffffffffffcff0c, 0xffffffffffcff0c1,
  0xffffffffffff0004, 0xfffffffffff00041,
  0xfffffffffffe000a, 0xffffffffffe000a1,
  0xfffffffffffdff0a, 0xffffffffffdff0a1,
  0xfffffffffffdfe0c, 0xffffffffffdfe0c1,
  0xffffffffffff0006, 0xfffffffffff00061,
  0xfffffffffffeff06, 0xffffffffffeff061,
  0xfffffffffffefe08, 0xffffffffffefe081,
  0xfffffffffffefd0c, 0xffffffffffefd0c1,
  0xffffffffffffff00, 0xfffffffffffff001,
  0xfffffffffffffe02, 0xffffffffffffe021,
  0xfffffffffffffd06, 0xffffffffffffd061,
  0xfffffffffffffc0c, 0xffffffffffffc0c1,
  0xffffffffffffff02, 0xfffffffffffff021,
  0xfffffffffffffe06, 0xffffffffffffe061,
  0xfffffffffffffd0c, 0xffffffffffffd0c1,
  0xfffffffffffffccc, 0xffffffffffffccc1,
  0xffffffffffffff04, 0xfffffffffffff041,
  0xfffffffffffffe0a, 0xffffffffffffe0a1,
  0xfffffffffffffdca, 0xffffffffffffdca1,
  0xfffffffffffffdc4, 0xffffffffffffdc41,
  0xffffffffffffff06, 0xfffffffffffff061,
  0xfffffffffffffec6, 0xffffffffffffec61,
  0xfffffffffffffec0, 0xffffffffffffec01,
  0xfffffffffffffebc, 0xffffffffffffebc1,
  0xffffffffffffffc0, 0xfffffffffffffc01,
  0xffffffffffffffba, 0xfffffffffffffba1,
  0xffffffffffffffb6, 0xfffffffffffffb61,
  0xffffffffffffffb4, 0xfffffffffffffb41,
  0xffffffffffffffa0, 0xfffffffffffffe8a,
  0xffffffffffffff60, 0xfffffffffffffd90,
  0xffffffffffffff40, 0xfffffffffffffd13,
  0xffffffffffffff40, 0xfffffffffffffd13,
  0xffffffffffffffc0, 0xffffffffffffff07,
  0xffffffffffffffa0, 0xfffffffffffffe8a,
  0xffffffffffffffa0, 0xfffffffffffffe8a,
  0xffffffffffffffc0, 0xffffffffffffff07,
  0xffffffffffffffe0, 0xffffffffffffff84,
  0xffffffffffffffe0, 0xffffffffffffff84,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000040, 0x00000000000000fb,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000020, 0x000000000000007e,
  0x0000000000000060, 0x0000000000000178,
  0x0000000000000460, 0x0000000000001118,
  0x0000000000000020, 0x000000000000007e,
  0x0000000000000060, 0x0000000000000178,
  0x0000000000000460, 0x0000000000001118,
  0x0000000000001400, 0x0000000000004e21,
  0x0000000000000040, 0x00000000000000fb,
  0x0000000000000440, 0x000000000000109b,
  0x00000000000013e0, 0x0000000000004da4,
  0x00000000000023a0, 0x0000000000008b2a,
  0x0000000000000400, 0x0000000000000fa1,
  0x00000000000013a0, 0x0000000000004caa,
  0x0000000000002360, 0x0000000000008a30,
  0x0000000000003340, 0x000000000000c833,
  0x0000000000000fa0, 0x0000000000003d0a,
  0x0000000000001f60, 0x0000000000007a90,
  0x0000000000002f40, 0x000000000000b893,
  0x0000000000102ee0, 0x00000000003f371c,
  0x0000000000000fc0, 0x0000000000003d87,
  0x0000000000001fa0, 0x0000000000007b8a,
  0x0000000000101f40, 0x00000000003efa13,
  0x0000000000201f00, 0x00000000007d7919,
  0x0000000000000fe0, 0x0000000000003e04,
  0x0000000000100f80, 0x00000000003ebc8d,
  0x0000000000200f40, 0x00000000007d3b93,
  0x0000000000300f20, 0x0000000000bbbb16,
  0x00000000000fffa0, 0x00000000003e7e8a,
  0x00000000001fff60, 0x00000000007cfd90,
  0x00000000002fff40, 0x0000000000bb7d13,
  0x00000006669665a0, 0x0000001900bb7cfa,
  0x00000000000fffc0, 0x00000000003e7f07,
  0x00000000001fffa0, 0x00000000007cfe8a,
  0x0000000666866600, 0x00000019007cfe71,
  0x00000011113110a0, 0x00000042ab27a8f2,
  0x00000000000fffe0, 0x00000000003e7f84,
  0x0000000666766640, 0x00000019003e7f6b,
  0x00000011112110e0, 0x00000042aae929ec,
  0x0000002111211080, 0x000000812ae92875,
  0x0000000666666660, 0x00000018ffffffe8,
  0x0000001111111100, 0x00000042aaaaaa69,
  0x00000021111110a0, 0x000000812aaaa8f2,
  0x0000003111111060, 0x000000bfaaaaa7f8,
  0x0000000aaaaaaaa0, 0x00000029aaaaaa82,
  0x0000001aaaaaaa40, 0x000000682aaaa90b,
  0x0000002aaaaaaa00, 0x000000a6aaaaa811,
  0x0000003aaaaaa9e0, 0x000000e52aaaa794,
  0x0000000fffffffa0, 0x0000003e7ffffe8a,
  0x0000001fffffff60, 0x0000007cfffffd90,
  0x0000002fffffff40, 0x000000bb7ffffd13,
  0x0000001fffffff40, 0x0000007cfffffd13,
  0x0000000fffffffc0, 0x0000003e7fffff07,
  0x0000001fffffffa0, 0x0000007cfffffe8a,
  0x0000000fffffffa0, 0x0000003e7ffffe8a,
  0xffffffffffffffc0, 0xffffffffffffff07,
  0x0000000fffffffe0, 0x0000003e7fffff84,
  0xffffffffffffffe0, 0xffffffffffffff84,
  0xfffffff000000000, 0xffffffc180000001,
  0xffffffe555555540, 0xffffff97d5555503,
  0xfffffff000000000, 0xffffffc180000001,
  0xffffffe000000020, 0xffffff830000007e,
  0xffffffd555555560, 0xffffff5955555580,
  0xffffffceeeeeeee0, 0xffffff405555551c,
  0xfffffff000000020, 0xffffffc18000007e,
  0xffffffe555555560, 0xffffff97d5555580,
  0xffffffdeeeeeeee0, 0xffffff7ed555551c,
  0xffffffdeeedeeee0, 0xffffff7ed516d51c,
  0xfffffff555555540, 0xffffffd655555503,
  0xffffffeeeeeeeec0, 0xffffffbd5555549f,
  0xffffffeeeedeeec0, 0xffffffbd5516d49f,
  0xffffffeeeeceeee0, 0xffffffbd54d8551c,
  0xfffffff999999980, 0xffffffe6ffffff9d,
  0xfffffff999899980, 0xffffffe6ffc17f9d,
  0xfffffff9997999a0, 0xffffffe6ff83001a,
  0xfffffff9996999e0, 0xffffffe6ff448114,
  0xfffffffffff00000, 0xffffffffffc18001,
  0xffffffffffe00020, 0xffffffffff83007e,
  0xffffffffffd00060, 0xffffffffff448178,
  0xffffffffffc000c0, 0xffffffffff0602ef,
  0xfffffffffff00020, 0xffffffffffc1807e,
  0xffffffffffe00060, 0xffffffffff830178,
  0xffffffffffd000c0, 0xffffffffff4482ef,
  0xffffffffffcff0c0, 0xffffffffff44446f,
  0xfffffffffff00040, 0xffffffffffc180fb,
  0xffffffffffe000a0, 0xffffffffff830272,
  0xffffffffffdff0a0, 0xffffffffff82c3f2,
  0xffffffffffdfe0c0, 0xffffffffff8285ef,
  0xfffffffffff00060, 0xffffffffffc18178,
  0xffffffffffeff060, 0xffffffffffc142f8,
  0xffffffffffefe080, 0xffffffffffc104f5,
  0xffffffffffefd0c0, 0xffffffffffc0c76f,
  0xfffffffffffff000, 0xffffffffffffc181,
  0xffffffffffffe020, 0xffffffffffff837e,
  0xffffffffffffd060, 0xffffffffffff45f8,
  0xffffffffffffc0c0, 0xffffffffffff08ef,
  0xfffffffffffff020, 0xffffffffffffc1fe,
  0xffffffffffffe060, 0xffffffffffff8478,
  0xffffffffffffd0c0, 0xffffffffffff476f,
  0xffffffffffffccc0, 0xffffffffffff37cf,
  0xfffffffffffff040, 0xffffffffffffc27b,
  0xffffffffffffe0a0, 0xffffffffffff8572,
  0xffffffffffffdca0, 0xffffffffffff75d2,
  0xffffffffffffdc40, 0xffffffffffff745b,
  0xfffffffffffff060, 0xffffffffffffc2f8,
  0xffffffffffffec60, 0xffffffffffffb358,
  0xffffffffffffec00, 0xffffffffffffb1e1,
  0xffffffffffffebc0, 0xffffffffffffb0e7,
  0xfffffffffffffc00, 0xfffffffffffff061,
  0xfffffffffffffba0, 0xffffffffffffeeea,
  0xfffffffffffffb60, 0xffffffffffffedf0,
  0xfffffffffffffb40, 0xffffffffffffed73,
  0xfffffffffffffe89, 0xfffffffffffffe87,
  0xfffffffffffffd8f, 0xfffffffffffffd8b,
  0xfffffffffffffd12, 0xfffffffffffffd0d,
  0xfffffffffffffd12, 0xfffffffffffffd0d,
  0xffffffffffffff06, 0xffffffffffffff05,
  0xfffffffffffffe89, 0xfffffffffffffe87,
  0xfffffffffffffe89, 0xfffffffffffffe87,
  0xffffffffffffff06, 0xffffffffffffff05,
  0xffffffffffffff83, 0xffffffffffffff83,
  0xffffffffffffff83, 0xffffffffffffff83,
  0x0000000000000000, 0x0000000000000001,
  0x00000000000000fa, 0x00000000000000fd,
  0x0000000000000000, 0x0000000000000001,
  0x000000000000007d, 0x000000000000007f,
  0x0000000000000177, 0x000000000000017b,
  0x0000000000001117, 0x000000000000113b,
  0x000000000000007d, 0x000000000000007f,
  0x0000000000000177, 0x000000000000017b,
  0x0000000000001117, 0x000000000000113b,
  0x0000000000004e20, 0x0000000000004ec1,
  0x00000000000000fa, 0x00000000000000fd,
  0x000000000000109a, 0x00000000000010bd,
  0x0000000000004da3, 0x0000000000004e43,
  0x0000000000008b29, 0x0000000000008c47,
  0x0000000000000fa0, 0x0000000000000fc1,
  0x0000000000004ca9, 0x0000000000004d47,
  0x0000000000008a2f, 0x0000000000008b4b,
  0x000000000000c832, 0x000000000000c9cd,
  0x0000000000003d09, 0x0000000000003d87,
  0x0000000000007a8f, 0x0000000000007b8b,
  0x000000000000b892, 0x000000000000ba0d,
  0x00000000003f371b, 0x00000000003fb893,
  0x0000000000003d86, 0x0000000000003e05,
  0x0000000000007b89, 0x0000000000007c87,
  0x00000000003efa12, 0x00000000003f7b0d,
  0x00000000007d7918, 0x00000000007e7a11,
  0x0000000000003e03, 0x0000000000003e83,
  0x00000000003ebc8c, 0x00000000003f3d09,
  0x00000000007d3b92, 0x00000000007e3c0d,
  0x0000000000bbbb15, 0x0000000000bd3b8f,
  0x00000000003e7e89, 0x00000000003efe87,
  0x00000000007cfd8f, 0x00000000007dfd8b,
  0x0000000000bb7d12, 0x0000000000bcfd0d,
  0x0000001900bb7cf9, 0x0000001933f03027,
  0x00000000003e7f06, 0x00000000003eff05,
  0x00000000007cfe89, 0x00000000007dfe87,
  0x00000019007cfe70, 0x0000001933b131a1,
  0x00000042ab27a8f1, 0x0000004333b13177,
  0x00000000003e7f83, 0x00000000003eff83,
  0x00000019003e7f6a, 0x000000193372329d,
  0x00000042aae929eb, 0x0000004333723273,
  0x000000812ae92874, 0x00000082337230f9,
  0x00000018ffffffe7, 0x000000193333331b,
  0x00000042aaaaaa68, 0x00000043333332f1,
  0x000000812aaaa8f1, 0x0000008233333177,
  0x000000bfaaaaa7f7, 0x000000c13333307b,
  0x00000029aaaaaa81, 0x00000029ffffffd7,
  0x000000682aaaa90a, 0x00000068fffffe5d,
  0x000000a6aaaaa810, 0x000000a7fffffd61,
  0x000000e52aaaa793, 0x000000e6fffffce3,
  0x0000003e7ffffe89, 0x0000003efffffe87,
  0x0000007cfffffd8f, 0x0000007dfffffd8b,
  0x000000bb7ffffd12, 0x000000bcfffffd0d,
  0x0000007cfffffd12, 0x0000007dfffffd0d,
  0x0000003e7fffff06, 0x0000003effffff05,
  0x0000007cfffffe89, 0x0000007dfffffe87,
  0x0000003e7ffffe89, 0x0000003efffffe87,
  0xffffffffffffff06, 0xffffffffffffff05,
  0x0000003e7fffff83, 0x0000003effffff83,
  0xffffffffffffff83, 0xffffffffffffff83,
  0xffffffc180000000, 0xffffffc100000001,
  0xffffff97d5555502, 0xffffff96ffffffad,
  0xffffffc180000000, 0xffffffc100000001,
  0xffffff830000007d, 0xffffff820000007f,
  0xffffff595555557f, 0xffffff580000002b,
  0xffffff405555551b, 0xffffff3ecccccc93,
  0xffffffc18000007d, 0xffffffc10000007f,
  0xffffff97d555557f, 0xffffff970000002b,
  0xffffff7ed555551b, 0xffffff7dcccccc93,
  0xffffff7ed516d51b, 0xffffff7dcc8dcc93,
  0xffffffd655555502, 0xffffffd5ffffffad,
  0xffffffbd5555549e, 0xffffffbccccccc15,
  0xffffffbd5516d49e, 0xffffffbccc8dcc15,
  0xffffffbd54d8551b, 0xffffffbccc4ecc93,
  0xffffffe6ffffff9c, 0xffffffe6cccccc69,
  0xffffffe6ffc17f9c, 0xffffffe6cc8dcc69,
  0xffffffe6ff830019, 0xffffffe6cc4ecce7,
  0xffffffe6ff448113, 0xffffffe6cc0fcde3,
  0xffffffffffc18000, 0xffffffffffc10001,
  0xffffffffff83007d, 0xffffffffff82007f,
  0xffffffffff448177, 0xffffffffff43017b,
  0xffffffffff0602ee, 0xffffffffff0402f5,
  0xffffffffffc1807d, 0xffffffffffc1007f,
  0xffffffffff830177, 0xffffffffff82017b,
  0xffffffffff4482ee, 0xffffffffff4302f5,
  0xffffffffff44446e, 0xffffffffff42c3f5,
  0xffffffffffc180fa, 0xffffffffffc100fd,
  0xffffffffff830271, 0xffffffffff820277,
  0xffffffffff82c3f1, 0xffffffffff81c377,
  0xffffffffff8285ee, 0xffffffffff8184f5,
  0xffffffffffc18177, 0xffffffffffc1017b,
  0xffffffffffc142f7, 0xffffffffffc0c27b,
  0xffffffffffc104f4, 0xffffffffffc083f9,
  0xffffffffffc0c76e, 0xffffffffffc045f5,
  0xffffffffffffc180, 0xffffffffffffc101,
  0xffffffffffff837d, 0xffffffffffff827f,
  0xffffffffffff45f7, 0xffffffffffff447b,
  0xffffffffffff08ee, 0xffffffffffff06f5,
  0xffffffffffffc1fd, 0xffffffffffffc17f,
  0xffffffffffff8477, 0xffffffffffff837b,
  0xffffffffffff476e, 0xffffffffffff45f5,
  0xffffffffffff37ce, 0xffffffffffff3635,
  0xffffffffffffc27a, 0xffffffffffffc1fd,
  0xffffffffffff8571, 0xffffffffffff8477,
  0xffffffffffff75d1, 0xffffffffffff74b7,
  0xffffffffffff745a, 0xffffffffffff733d,
  0xffffffffffffc2f7, 0xffffffffffffc27b,
  0xffffffffffffb357, 0xffffffffffffb2bb,
  0xffffffffffffb1e0, 0xffffffffffffb141,
  0xffffffffffffb0e6, 0xffffffffffffb045,
  0xfffffffffffff060, 0xfffffffffffff041,
  0xffffffffffffeee9, 0xffffffffffffeec7,
  0xffffffffffffedef, 0xffffffffffffedcb,
  0xffffffffffffed72, 0xffffffffffffed4d,
  0xfffffffffffffe86, 0xfffffffffffffe84,
  0xfffffffffffffd8a, 0xfffffffffffffd86,
  0xfffffffffffffd0c, 0xfffffffffffffd07,
  0xfffffffffffffd0c, 0xfffffffffffffd07,
  0xffffffffffffff04, 0xffffffffffffff03,
  0xfffffffffffffe86, 0xfffffffffffffe84,
  0xfffffffffffffe86, 0xfffffffffffffe84,
  0xffffffffffffff04, 0xffffffffffffff03,
  0xffffffffffffff82, 0xffffffffffffff82,
  0xffffffffffffff82, 0xffffffffffffff82,
  0x0000000000000000, 0x0000000000000001,
  0x00000000000000fc, 0x00000000000000ff,
  0x0000000000000000, 0x0000000000000001,
  0x000000000000007e, 0x0000000000000080,
  0x000000000000017a, 0x000000000000017e,
  0x000000000000113a, 0x000000000000115e,
  0x000000000000007e, 0x0000000000000080,
  0x000000000000017a, 0x000000000000017e,
  0x000000000000113a, 0x000000000000115e,
  0x0000000000004ec0, 0x0000000000004f61,
  0x00000000000000fc, 0x00000000000000ff,
  0x00000000000010bc, 0x00000000000010df,
  0x0000000000004e42, 0x0000000000004ee2,
  0x0000000000008c46, 0x0000000000008d64,
  0x0000000000000fc0, 0x0000000000000fe1,
  0x0000000000004d46, 0x0000000000004de4,
  0x0000000000008b4a, 0x0000000000008c66,
  0x000000000000c9cc, 0x000000000000cb67,
  0x0000000000003d86, 0x0000000000003e04,
  0x0000000000007b8a, 0x0000000000007c86,
  0x000000000000ba0c, 0x000000000000bb87,
  0x00000000003fb892, 0x0000000000403a0a,
  0x0000000000003e04, 0x0000000000003e83,
  0x0000000000007c86, 0x0000000000007d84,
  0x00000000003f7b0c, 0x00000000003ffc07,
  0x00000000007e7a10, 0x00000000007f7b09,
  0x0000000000003e82, 0x0000000000003f02,
  0x00000000003f3d08, 0x00000000003fbd85,
  0x00000000007e3c0c, 0x00000000007f3c87,
  0x0000000000bd3b8e, 0x0000000000bebc08,
  0x00000000003efe86, 0x00000000003f7e84,
  0x00000000007dfd8a, 0x00000000007efd86,
  0x0000000000bcfd0c, 0x0000000000be7d07,
  0x0000001933f03026, 0x000000196724e354,
  0x00000000003eff04, 0x00000000003f7f03,
  0x00000000007dfe86, 0x00000000007efe84,
  0x0000001933b131a0, 0x0000001966e564d1,
  0x0000004333b13176, 0x00000043bc3ab9fc,
  0x00000000003eff82, 0x00000000003f7f82,
  0x000000193372329c, 0x0000001966a5e5cf,
  0x0000004333723272, 0x00000043bbfb3afa,
  0x00000082337230f8, 0x000000833bfb397d,
  0x000000193333331a, 0x000000196666664e,
  0x00000043333332f0, 0x00000043bbbbbb79,
  0x0000008233333176, 0x000000833bbbb9fc,
  0x000000c13333307a, 0x000000c2bbbbb8fe,
  0x00000029ffffffd6, 0x0000002a5555552c,
  0x00000068fffffe5c, 0x00000069d55553af,
  0x000000a7fffffd60, 0x000000a9555552b1,
  0x000000e6fffffce2, 0x000000e8d5555232,
  0x0000003efffffe86, 0x0000003f7ffffe84,
  0x0000007dfffffd8a, 0x0000007efffffd86,
  0x000000bcfffffd0c, 0x000000be7ffffd07,
  0x0000007dfffffd0c, 0x0000007efffffd07,
  0x0000003effffff04, 0x0000003f7fffff03,
  0x0000007dfffffe86, 0x0000007efffffe84,
  0x0000003efffffe86, 0x0000003f7ffffe84,
  0xffffffffffffff04, 0xffffffffffffff03,
  0x0000003effffff82, 0x0000003f7fffff82,
  0xffffffffffffff82, 0xffffffffffffff82,
  0xffffffc100000000, 0xffffffc080000001,
  0xffffff96ffffffac, 0xffffff962aaaaa57,
  0xffffffc100000000, 0xffffffc080000001,
  0xffffff820000007e, 0xffffff8100000080,
  0xffffff580000002a, 0xffffff56aaaaaad6,
  0xffffff3ecccccc92, 0xffffff3d4444440a,
  0xffffffc10000007e, 0xffffffc080000080,
  0xffffff970000002a, 0xffffff962aaaaad6,
  0xffffff7dcccccc92, 0xffffff7cc444440a,
  0xffffff7dcc8dcc92, 0xffffff7cc404c40a,
  0xffffffd5ffffffac, 0xffffffd5aaaaaa57,
  0xffffffbccccccc14, 0xffffffbc4444438b,
  0xffffffbccc8dcc14, 0xffffffbc4404c38b,
  0xffffffbccc4ecc92, 0xffffffbc43c5440a,
  0xffffffe6cccccc68, 0xffffffe699999935,
  0xffffffe6cc8dcc68, 0xffffffe6995a1935,
  0xffffffe6cc4ecce6, 0xffffffe6991a99b4,
  0xffffffe6cc0fcde2, 0xffffffe698db1ab2,
  0xffffffffffc10000, 0xffffffffffc08001,
  0xffffffffff82007e, 0xffffffffff810080,
  0xffffffffff43017a, 0xffffffffff41817e,
  0xffffffffff0402f4, 0xffffffffff0202fb,
  0xffffffffffc1007e, 0xffffffffffc08080,
  0xffffffffff82017a, 0xffffffffff81017e,
  0xffffffffff4302f4, 0xffffffffff4182fb,
  0xffffffffff42c3f4, 0xffffffffff41437b,
  0xffffffffffc100fc, 0xffffffffffc080ff,
  0xffffffffff820276, 0xffffffffff81027c,
  0xffffffffff81c376, 0xffffffffff80c2fc,
  0xffffffffff8184f4, 0xffffffffff8083fb,
  0xffffffffffc1017a, 0xffffffffffc0817e,
  0xffffffffffc0c27a, 0xffffffffffc041fe,
  0xffffffffffc083f8, 0xffffffffffc002fd,
  0xffffffffffc045f4, 0xffffffffffbfc47b,
  0xffffffffffffc100, 0xffffffffffffc081,
  0xffffffffffff827e, 0xffffffffffff8180,
  0xffffffffffff447a, 0xffffffffffff42fe,
  0xffffffffffff06f4, 0xffffffffffff04fb,
  0xffffffffffffc17e, 0xffffffffffffc100,
  0xffffffffffff837a, 0xffffffffffff827e,
  0xffffffffffff45f4, 0xffffffffffff447b,
  0xffffffffffff3634, 0xffffffffffff349b,
  0xffffffffffffc1fc, 0xffffffffffffc17f,
  0xffffffffffff8476, 0xffffffffffff837c,
  0xffffffffffff74b6, 0xffffffffffff739c,
  0xffffffffffff733c, 0xffffffffffff721f,
  0xffffffffffffc27a, 0xffffffffffffc1fe,
  0xffffffffffffb2ba, 0xffffffffffffb21e,
  0xffffffffffffb140, 0xffffffffffffb0a1,
  0xffffffffffffb044, 0xffffffffffffafa3,
  0xfffffffffffff040, 0xfffffffffffff021,
  0xffffffffffffeec6, 0xffffffffffffeea4,
  0xffffffffffffedca, 0xffffffffffffeda6,
  0xffffffffffffed4c, 0xffffffffffffed27,
  0xfffffffffffffe83, 0xfffffffffffe800a,
  0xfffffffffffffd85, 0xfffffffffffd8010,
  0xfffffffffffffd06, 0xfffffffffffd0013,
  0xfffffffffffffd06, 0xfffffffffffd0013,
  0xffffffffffffff02, 0xffffffffffff0007,
  0xfffffffffffffe83, 0xfffffffffffe800a,
  0xfffffffffffffe83, 0xfffffffffffe800a,
  0xffffffffffffff02, 0xffffffffffff0007,
  0xffffffffffffff81, 0xffffffffffff8004,
  0xffffffffffffff81, 0xffffffffffff8004,
  0x0000000000000000, 0x0000000000000001,
  0x00000000000000fe, 0x000000000000fffb,
  0x0000000000000000, 0x0000000000000001,
  0x000000000000007f, 0x0000000000007ffe,
  0x000000000000017d, 0x0000000000017ff8,
  0x000000000000115d, 0x0000000000117f98,
  0x000000000000007f, 0x0000000000007ffe,
  0x000000000000017d, 0x0000000000017ff8,
  0x000000000000115d, 0x0000000000117f98,
  0x0000000000004f60, 0x00000000004ffe21,
  0x00000000000000fe, 0x000000000000fffb,
  0x00000000000010de, 0x000000000010ff9b,
  0x0000000000004ee1, 0x00000000004f7e24,
  0x0000000000008d63, 0x00000000008e7caa,
  0x0000000000000fe0, 0x00000000000fffa1,
  0x0000000000004de3, 0x00000000004e7e2a,
  0x0000000000008c65, 0x00000000008d7cb0,
  0x000000000000cb66, 0x0000000000ccfb33,
  0x0000000000003e03, 0x00000000003e7e8a,
  0x0000000000007c85, 0x00000000007d7d10,
  0x000000000000bb86, 0x0000000000bcfb93,
  0x0000000000403a09, 0x0000000040b9fb9c,
  0x0000000000003e82, 0x00000000003efe87,
  0x0000000000007d83, 0x00000000007e7d0a,
  0x00000000003ffc06, 0x00000000407b7d13,
  0x00000000007f7b08, 0x000000008078fd19,
  0x0000000000003f01, 0x00000000003f7e84,
  0x00000000003fbd84, 0x00000000403c7e8d,
  0x00000000007f3c86, 0x000000008039fe93,
  0x0000000000bebc07, 0x00000000c037fe96,
  0x00000000003f7e83, 0x000000003ffd000a,
  0x00000000007efd85, 0x000000007ffa8010,
  0x0000000000be7d06, 0x00000000bff88013,
  0x000000196724e353, 0x00001999bff8667a,
  0x00000000003f7f02, 0x000000003ffd8007,
  0x00000000007efe83, 0x000000007ffb800a,
  0x0000001966e564d0, 0x000019997ffb6671,
  0x00000043bc3ab9fb, 0x000044432aa5e672,
  0x00000000003f7f81, 0x000000003ffe0004,
  0x0000001966a5e5ce, 0x000019993ffde66b,
  0x00000043bbfb3af9, 0x00004442eaa8666c,
  0x000000833bfb397c, 0x000084416aa6e675,
  0x000000196666664d, 0x00001998ffffe668,
  0x00000043bbbbbb78, 0x00004442aaaa6669,
  0x000000833bbbb9fb, 0x000084412aa8e672,
  0x000000c2bbbbb8fd, 0x0000c43faaa7e678,
  0x0000002a5555552b, 0x00002aa9aaaa8002,
  0x00000069d55553ae, 0x00006aa82aa9000b,
  0x000000a9555552b0, 0x0000aaa6aaa80011,
  0x000000e8d5555231, 0x0000eaa52aa78014,
  0x0000003f7ffffe83, 0x00003ffe7ffe800a,
  0x0000007efffffd85, 0x00007ffcfffd8010,
  0x000000be7ffffd06, 0x0000bffb7ffd0013,
  0x0000007efffffd06, 0x00007ffcfffd0013,
  0x0000003f7fffff02, 0x00003ffe7fff0007,
  0x0000007efffffe83, 0x00007ffcfffe800a,
  0x0000003f7ffffe83, 0x00003ffe7ffe800a,
  0xffffffffffffff02, 0xffffffffffff0007,
  0x0000003f7fffff81, 0x00003ffe7fff8004,
  0xffffffffffffff81, 0xffffffffffff8004,
  0xffffffc080000000, 0xffffc00180000001,
  0xffffff962aaaaa56, 0xffff9557d5550003,
  0xffffffc080000000, 0xffffc00180000001,
  0xffffff810000007f, 0xffff800300007ffe,
  0xffffff56aaaaaad5, 0xffff555955558000,
  0xffffff3d44444409, 0xffff3bc05555199c,
  0xffffffc08000007f, 0xffffc00180007ffe,
  0xffffff962aaaaad5, 0xffff9557d5558000,
  0xffffff7cc4444409, 0xffff7bbed555199c,
  0xffffff7cc404c409, 0xffff7bbe9556999c,
  0xffffffd5aaaaaa56, 0xffffd55655550003,
  0xffffffbc4444438a, 0xffffbbbd5554999f,
  0xffffffbc4404c38a, 0xffffbbbd1556199f,
  0xffffffbc43c54409, 0xffffbbbcd558199c,
  0xffffffe699999934, 0xffffe666ffff999d,
  0xffffffe6995a1934, 0xffffe666c001199d,
  0xffffffe6991a99b3, 0xffffe6668003199a,
  0xffffffe698db1ab1, 0xffffe66640059994,
  0xffffffffffc08000, 0xffffffffc0018001,
  0xffffffffff81007f, 0xffffffff80037ffe,
  0xffffffffff41817d, 0xffffffff4005fff8,
  0xffffffffff0202fa, 0xffffffff0008ffef,
  0xffffffffffc0807f, 0xffffffffc001fffe,
  0xffffffffff81017d, 0xffffffff80047ff8,
  0xffffffffff4182fa, 0xffffffff40077fef,
  0xffffffffff41437a, 0xffffffff3fc7816f,
  0xffffffffffc080fe, 0xffffffffc0027ffb,
  0xffffffffff81027b, 0xffffffff80057ff2,
  0xffffffffff80c2fb, 0xffffffff7fc58172,
  0xffffffffff8083fa, 0xffffffff7f8602ef,
  0xffffffffffc0817d, 0xffffffffc002fff8,
  0xffffffffffc041fd, 0xffffffffbfc30178,
  0xffffffffffc002fc, 0xffffffffbf8382f5,
  0xffffffffffbfc47a, 0xffffffffbf44846f,
  0xffffffffffffc080, 0xffffffffffc00181,
  0xffffffffffff817f, 0xffffffffff8082fe,
  0xffffffffffff42fd, 0xffffffffff418478,
  0xffffffffffff04fa, 0xffffffffff0305ef,
  0xffffffffffffc0ff, 0xffffffffffc0817e,
  0xffffffffffff827d, 0xffffffffff8182f8,
  0xffffffffffff447a, 0xffffffffff43046f,
  0xffffffffffff349a, 0xffffffffff3304cf,
  0xffffffffffffc17e, 0xffffffffffc1017b,
  0xffffffffffff837b, 0xffffffffff8282f2,
  0xffffffffffff739b, 0xffffffffff728352,
  0xffffffffffff721e, 0xffffffffff71035b,
  0xffffffffffffc1fd, 0xffffffffffc18178,
  0xffffffffffffb21d, 0xffffffffffb181d8,
  0xffffffffffffb0a0, 0xffffffffffb001e1,
  0xffffffffffffafa2, 0xffffffffffaf01e7,
  0xfffffffffffff020, 0xfffffffffff00061,
  0xffffffffffffeea3, 0xffffffffffee806a,
  0xffffffffffffeda5, 0xffffffffffed8070,
  0xffffffffffffed26, 0xffffffffffed0073,
  0xfffffffffffe8009, 0xfffffffffffe8007,
  0xfffffffffffd800f, 0xfffffffffffd800b,
  0xfffffffffffd0012, 0xfffffffffffd000d,
  0xfffffffffffd0012, 0xfffffffffffd000d,
  0xffffffffffff0006, 0xffffffffffff0005,
  0xfffffffffffe8009, 0xfffffffffffe8007,
  0xfffffffffffe8009, 0xfffffffffffe8007,
  0xffffffffffff0006, 0xffffffffffff0005,
  0xffffffffffff8003, 0xffffffffffff8003,
  0xffffffffffff8003, 0xffffffffffff8003,
  0x0000000000000000, 0x0000000000000001,
  0x000000000000fffa, 0x000000000000fffd,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000007ffd, 0x0000000000007fff,
  0x0000000000017ff7, 0x0000000000017ffb,
  0x0000000000117f97, 0x0000000000117fbb,
  0x0000000000007ffd, 0x0000000000007fff,
  0x0000000000017ff7, 0x0000000000017ffb,
  0x0000000000117f97, 0x0000000000117fbb,
  0x00000000004ffe20, 0x00000000004ffec1,
  0x000000000000fffa, 0x000000000000fffd,
  0x000000000010ff9a, 0x000000000010ffbd,
  0x00000000004f7e23, 0x00000000004f7ec3,
  0x00000000008e7ca9, 0x00000000008e7dc7,
  0x00000000000fffa0, 0x00000000000fffc1,
  0x00000000004e7e29, 0x00000000004e7ec7,
  0x00000000008d7caf, 0x00000000008d7dcb,
  0x0000000000ccfb32, 0x0000000000ccfccd,
  0x00000000003e7e89, 0x00000000003e7f07,
  0x00000000007d7d0f, 0x00000000007d7e0b,
  0x0000000000bcfb92, 0x0000000000bcfd0d,
  0x0000000040b9fb9b, 0x0000000040ba7d13,
  0x00000000003efe86, 0x00000000003eff05,
  0x00000000007e7d09, 0x00000000007e7e07,
  0x00000000407b7d12, 0x00000000407bfe0d,
  0x000000008078fd18, 0x000000008079fe11,
  0x00000000003f7e83, 0x00000000003f7f03,
  0x00000000403c7e8c, 0x00000000403cff09,
  0x000000008039fe92, 0x00000000803aff0d,
  0x00000000c037fe95, 0x00000000c0397f0f,
  0x000000003ffd0009, 0x000000003ffd8007,
  0x000000007ffa800f, 0x000000007ffb800b,
  0x00000000bff88012, 0x00000000bffa000d,
  0x00001999bff86679, 0x00001999f32d19a7,
  0x000000003ffd8006, 0x000000003ffe0005,
  0x000000007ffb8009, 0x000000007ffc8007,
  0x000019997ffb6670, 0x00001999b32f99a1,
  0x000044432aa5e671, 0x00004443b32f6ef7,
  0x000000003ffe0003, 0x000000003ffe8003,
  0x000019993ffde66a, 0x000019997331999d,
  0x00004442eaa8666b, 0x0000444373316ef3,
  0x000084416aa6e674, 0x00008442732feef9,
  0x00001998ffffe667, 0x000019993333199b,
  0x00004442aaaa6668, 0x000044433332eef1,
  0x000084412aa8e671, 0x0000844233316ef7,
  0x0000c43faaa7e677, 0x0000c44133306efb,
  0x00002aa9aaaa8001, 0x00002aa9ffffd557,
  0x00006aa82aa9000a, 0x00006aa8fffe555d,
  0x0000aaa6aaa80010, 0x0000aaa7fffd5561,
  0x0000eaa52aa78013, 0x0000eaa6fffcd563,
  0x00003ffe7ffe8009, 0x00003ffefffe8007,
  0x00007ffcfffd800f, 0x00007ffdfffd800b,
  0x0000bffb7ffd0012, 0x0000bffcfffd000d,
  0x00007ffcfffd0012, 0x00007ffdfffd000d,
  0x00003ffe7fff0006, 0x00003ffeffff0005,
  0x00007ffcfffe8009, 0x00007ffdfffe8007,
  0x00003ffe7ffe8009, 0x00003ffefffe8007,
  0xffffffffffff0006, 0xffffffffffff0005,
  0x00003ffe7fff8003, 0x00003ffeffff8003,
  0xffffffffffff8003, 0xffffffffffff8003,
  0xffffc00180000000, 0xffffc00100000001,
  0xffff9557d5550002, 0xffff9556ffffaaad,
  0xffffc00180000000, 0xffffc00100000001,
  0xffff800300007ffd, 0xffff800200007fff,
  0xffff555955557fff, 0xffff555800002aab,
  0xffff3bc05555199b, 0xffff3bbecccc9113,
  0xffffc00180007ffd, 0xffffc00100007fff,
  0xffff9557d5557fff, 0xffff955700002aab,
  0xffff7bbed555199b, 0xffff7bbdcccc9113,
  0xffff7bbe9556999b, 0xffff7bbd8ccd9113,
  0xffffd55655550002, 0xffffd555ffffaaad,
  0xffffbbbd5554999e, 0xffffbbbccccc1115,
  0xffffbbbd1556199e, 0xffffbbbc8ccd1115,
  0xffffbbbcd558199b, 0xffffbbbc4cce9113,
  0xffffe666ffff999c, 0xffffe666cccc6669,
  0xffffe666c001199c, 0xffffe6668ccd6669,
  0xffffe66680031999, 0xffffe6664ccee667,
  0xffffe66640059993, 0xffffe6660cd0e663,
  0xffffffffc0018000, 0xffffffffc0010001,
  0xffffffff80037ffd, 0xffffffff80027fff,
  0xffffffff4005fff7, 0xffffffff40047ffb,
  0xffffffff0008ffee, 0xffffffff0006fff5,
  0xffffffffc001fffd, 0xffffffffc0017fff,
  0xffffffff80047ff7, 0xffffffff80037ffb,
  0xffffffff40077fee, 0xffffffff4005fff5,
  0xffffffff3fc7816e, 0xffffffff3fc600f5,
  0xffffffffc0027ffa, 0xffffffffc001fffd,
  0xffffffff80057ff1, 0xffffffff80047ff7,
  0xffffffff7fc58171, 0xffffffff7fc480f7,
  0xffffffff7f8602ee, 0xffffffff7f8501f5,
  0xffffffffc002fff7, 0xffffffffc0027ffb,
  0xffffffffbfc30177, 0xffffffffbfc280fb,
  0xffffffffbf8382f4, 0xffffffffbf8301f9,
  0xffffffffbf44846e, 0xffffffffbf4402f5,
  0xffffffffffc00180, 0xffffffffffc00101,
  0xffffffffff8082fd, 0xffffffffff8081ff,
  0xffffffffff418477, 0xffffffffff4182fb,
  0xffffffffff0305ee, 0xffffffffff0303f5,
  0xffffffffffc0817d, 0xffffffffffc080ff,
  0xffffffffff8182f7, 0xffffffffff8181fb,
  0xffffffffff43046e, 0xffffffffff4302f5,
  0xffffffffff3304ce, 0xffffffffff330335,
  0xffffffffffc1017a, 0xffffffffffc100fd,
  0xffffffffff8282f1, 0xffffffffff8281f7,
  0xffffffffff728351, 0xffffffffff728237,
  0xffffffffff71035a, 0xffffffffff71023d,
  0xffffffffffc18177, 0xffffffffffc180fb,
  0xffffffffffb181d7, 0xffffffffffb1813b,
  0xffffffffffb001e0, 0xffffffffffb00141,
  0xffffffffffaf01e6, 0xffffffffffaf0145,
  0xfffffffffff00060, 0xfffffffffff00041,
  0xffffffffffee8069, 0xffffffffffee8047,
  0xffffffffffed806f, 0xffffffffffed804b,
  0xffffffffffed0072, 0xffffffffffed004d,
  0xfffffffffffe8006, 0xfffffffffffe8004,
  0xfffffffffffd800a, 0xfffffffffffd8006,
  0xfffffffffffd000c, 0xfffffffffffd0007,
  0xfffffffffffd000c, 0xfffffffffffd0007,
  0xffffffffffff0004, 0xffffffffffff0003,
  0xfffffffffffe8006, 0xfffffffffffe8004,
  0xfffffffffffe8006, 0xfffffffffffe8004,
  0xffffffffffff0004, 0xffffffffffff0003,
  0xffffffffffff8002, 0xffffffffffff8002,
  0xffffffffffff8002, 0xffffffffffff8002,
  0x0000000000000000, 0x0000000000000001,
  0x000000000000fffc, 0x000000000000ffff,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000007ffe, 0x0000000000008000,
  0x0000000000017ffa, 0x0000000000017ffe,
  0x0000000000117fba, 0x0000000000117fde,
  0x0000000000007ffe, 0x0000000000008000,
  0x0000000000017ffa, 0x0000000000017ffe,
  0x0000000000117fba, 0x0000000000117fde,
  0x00000000004ffec0, 0x00000000004fff61,
  0x000000000000fffc, 0x000000000000ffff,
  0x000000000010ffbc, 0x000000000010ffdf,
  0x00000000004f7ec2, 0x00000000004f7f62,
  0x00000000008e7dc6, 0x00000000008e7ee4,
  0x00000000000fffc0, 0x00000000000fffe1,
  0x00000000004e7ec6, 0x00000000004e7f64,
  0x00000000008d7dca, 0x00000000008d7ee6,
  0x0000000000ccfccc, 0x0000000000ccfe67,
  0x00000000003e7f06, 0x00000000003e7f84,
  0x00000000007d7e0a, 0x00000000007d7f06,
  0x0000000000bcfd0c, 0x0000000000bcfe87,
  0x0000000040ba7d12, 0x0000000040bafe8a,
  0x00000000003eff04, 0x00000000003eff83,
  0x00000000007e7e06, 0x00000000007e7f04,
  0x00000000407bfe0c, 0x00000000407c7f07,
  0x000000008079fe10, 0x00000000807aff09,
  0x00000000003f7f02, 0x00000000003f7f82,
  0x00000000403cff08, 0x00000000403d7f85,
  0x00000000803aff0c, 0x00000000803bff87,
  0x00000000c0397f0e, 0x00000000c03aff88,
  0x000000003ffd8006, 0x000000003ffe0004,
  0x000000007ffb800a, 0x000000007ffc8006,
  0x00000000bffa000c, 0x00000000bffb8007,
  0x00001999f32d19a6, 0x0000199a2661ccd4,
  0x000000003ffe0004, 0x000000003ffe8003,
  0x000000007ffc8006, 0x000000007ffd8004,
  0x00001999b32f99a0, 0x00001999e663ccd1,
  0x00004443b32f6ef6, 0x000044443bb8f77c,
  0x000000003ffe8002, 0x000000003fff0002,
  0x000019997331999c, 0x00001999a6654ccf,
  0x0000444373316ef2, 0x00004443fbba777a,
  0x00008442732feef8, 0x000084437bb8f77d,
  0x000019993333199a, 0x0000199966664cce,
  0x000044433332eef0, 0x00004443bbbb7779,
  0x0000844233316ef6, 0x000084433bb9f77c,
  0x0000c44133306efa, 0x0000c442bbb8f77e,
  0x00002aa9ffffd556, 0x00002aaa55552aac,
  0x00006aa8fffe555c, 0x00006aa9d553aaaf,
  0x0000aaa7fffd5560, 0x0000aaa95552aab1,
  0x0000eaa6fffcd562, 0x0000eaa8d5522ab2,
  0x00003ffefffe8006, 0x00003fff7ffe8004,
  0x00007ffdfffd800a, 0x00007ffefffd8006,
  0x0000bffcfffd000c, 0x0000bffe7ffd0007,
  0x00007ffdfffd000c, 0x00007ffefffd0007,
  0x00003ffeffff0004, 0x00003fff7fff0003,
  0x00007ffdfffe8006, 0x00007ffefffe8004,
  0x00003ffefffe8006, 0x00003fff7ffe8004,
  0xffffffffffff0004, 0xffffffffffff0003,
  0x00003ffeffff8002, 0x00003fff7fff8002,
  0xffffffffffff8002, 0xffffffffffff8002,
  0xffffc00100000000, 0xffffc00080000001,
  0xffff9556ffffaaac, 0xffff95562aaa5557,
  0xffffc00100000000, 0xffffc00080000001,
  0xffff800200007ffe, 0xffff800100008000,
  0xffff555800002aaa, 0xffff5556aaaad556,
  0xffff3bbecccc9112, 0xffff3bbd4444088a,
  0xffffc00100007ffe, 0xffffc00080008000,
  0xffff955700002aaa, 0xffff95562aaad556,
  0xffff7bbdcccc9112, 0xffff7bbcc444088a,
  0xffff7bbd8ccd9112, 0xffff7bbc8444888a,
  0xffffd555ffffaaac, 0xffffd555aaaa5557,
  0xffffbbbccccc1114, 0xffffbbbc4443888b,
  0xffffbbbc8ccd1114, 0xffffbbbc0444088b,
  0xffffbbbc4cce9112, 0xffffbbbbc445088a,
  0xffffe666cccc6668, 0xffffe66699993335,
  0xffffe6668ccd6668, 0xffffe6665999b335,
  0xffffe6664ccee666, 0xffffe666199ab334,
  0xffffe6660cd0e662, 0xffffe665d99c3332,
  0xffffffffc0010000, 0xffffffffc0008001,
  0xffffffff80027ffe, 0xffffffff80018000,
  0xffffffff40047ffa, 0xffffffff4002fffe,
  0xffffffff0006fff4, 0xffffffff0004fffb,
  0xffffffffc0017ffe, 0xffffffffc0010000,
  0xffffffff80037ffa, 0xffffffff80027ffe,
  0xffffffff4005fff4, 0xffffffff40047ffb,
  0xffffffff3fc600f4, 0xffffffff3fc4807b,
  0xffffffffc001fffc, 0xffffffffc0017fff,
  0xffffffff80047ff6, 0xffffffff80037ffc,
  0xffffffff7fc480f6, 0xffffffff7fc3807c,
  0xffffffff7f8501f4, 0xffffffff7f8400fb,
  0xffffffffc0027ffa, 0xffffffffc001fffe,
  0xffffffffbfc280fa, 0xffffffffbfc2007e,
  0xffffffffbf8301f8, 0xffffffffbf8280fd,
  0xffffffffbf4402f4, 0xffffffffbf43817b,
  0xffffffffffc00100, 0xffffffffffc00081,
  0xffffffffff8081fe, 0xffffffffff808100,
  0xffffffffff4182fa, 0xffffffffff41817e,
  0xffffffffff0303f4, 0xffffffffff0301fb,
  0xffffffffffc080fe, 0xffffffffffc08080,
  0xffffffffff8181fa, 0xffffffffff8180fe,
  0xffffffffff4302f4, 0xffffffffff43017b,
  0xffffffffff330334, 0xffffffffff33019b,
  0xffffffffffc100fc, 0xffffffffffc1007f,
  0xffffffffff8281f6, 0xffffffffff8280fc,
  0xffffffffff728236, 0xffffffffff72811c,
  0xffffffffff71023c, 0xffffffffff71011f,
  0xffffffffffc180fa, 0xffffffffffc1807e,
  0xffffffffffb1813a, 0xffffffffffb1809e,
  0xffffffffffb00140, 0xffffffffffb000a1,
  0xffffffffffaf0144, 0xffffffffffaf00a3,
  0xfffffffffff00040, 0xfffffffffff00021,
  0xffffffffffee8046, 0xffffffffffee8024,
  0xffffffffffed804a, 0xffffffffffed8026,
  0xffffffffffed004c, 0xffffffffffed0027,
  0xfffffffffffe8003, 0xffffffff66666668,
  0xfffffffffffd8005, 0xffffffff00000002,
  0xfffffffffffd0006, 0xfffffffecccccccf,
  0xfffffffffffd0006, 0xfffffffecccccccf,
  0xffffffffffff0002, 0xffffffff9999999b,
  0xfffffffffffe8003, 0xffffffff66666668,
  0xfffffffffffe8003, 0xffffffff66666668,
  0xffffffffffff0002, 0xffffffff9999999b,
  0xffffffffffff8001, 0xffffffffccccccce,
  0xffffffffffff8001, 0xffffffffccccccce,
  0x0000000000000000, 0x0000000000000001,
  0x000000000000fffe, 0x0000000066666667,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000007fff, 0x0000000033333334,
  0x0000000000017ffd, 0x000000009999999a,
  0x0000000000117fdd, 0x00000006fffffffa,
  0x0000000000007fff, 0x0000000033333334,
  0x0000000000017ffd, 0x000000009999999a,
  0x0000000000117fdd, 0x00000006fffffffa,
  0x00000000004fff60, 0x0000001fffffffe1,
  0x000000000000fffe, 0x0000000066666667,
  0x000000000010ffde, 0x00000006ccccccc7,
  0x00000000004f7f61, 0x0000001fccccccae,
  0x00000000008e7ee3, 0x00000038ffffffc8,
  0x00000000000fffe0, 0x0000000666666661,
  0x00000000004e7f63, 0x0000001f66666648,
  0x00000000008d7ee5, 0x0000003899999962,
  0x0000000000ccfe66, 0x00000051ffffffaf,
  0x00000000003e7f83, 0x00000018ffffffe8,
  0x00000000007d7f05, 0x0000003233333302,
  0x0000000000bcfe86, 0x0000004b9999994f,
  0x0000000040bafe89, 0x000019e499997fb6,
  0x00000000003eff82, 0x000000193333331b,
  0x00000000007e7f03, 0x0000003299999968,
  0x00000000407c7f06, 0x000019cb99997fcf,
  0x00000000807aff08, 0x00003364cccc9969,
  0x00000000003f7f81, 0x000000196666664e,
  0x00000000403d7f84, 0x000019b266664cb5,
  0x00000000803bff86, 0x0000334b9999664f,
  0x00000000c03aff87, 0x00004ce4ffffb31c,
  0x000000003ffe0003, 0x00001998ffffe668,
  0x000000007ffc8005, 0x0000333233330002,
  0x00000000bffb8006, 0x00004ccb99994ccf,
  0x0000199a2661ccd3, 0x0a3dbd6f5c28a8f8,
  0x000000003ffe8002, 0x000019993333199b,
  0x000000007ffd8003, 0x0000333299996668,
  0x00001999e663ccd0, 0x0a3da3d65c28c291,
  0x000044443bb8f77b, 0x1b4eb4e74b17b180,
  0x000000003fff0001, 0x0000199966664cce,
  0x00001999a6654cce, 0x0a3d8a3d28f5a8f7,
  0x00004443fbba7779, 0x1b4e9b4e17e497e6,
  0x000084437bb8f77c, 0x34e834e6fe4afe4d,
  0x0000199966664ccd, 0x0a3d70a3c28f5c2a,
  0x00004443bbbb7778, 0x1b4e81b4b17e4b19,
  0x000084433bb9f77b, 0x34e81b4d97e4b180,
  0x0000c442bbb8f77d, 0x4e81b4e6b17e4b1a,
  0x00002aaa55552aab, 0x11111110eeeeeef0,
  0x00006aa9d553aaae, 0x2aaaaaa9d5555557,
  0x0000aaa95552aab0, 0x44444442eeeeeef1,
  0x0000eaa8d5522ab1, 0x5ddddddc3bbbbbbe,
  0x00003fff7ffe8003, 0x19999998e6666668,
  0x00007ffefffd8005, 0x3333333200000002,
  0x0000bffe7ffd0006, 0x4ccccccb4ccccccf,
  0x00007ffefffd0006, 0x33333331cccccccf,
  0x00003fff7fff0002, 0x199999991999999b,
  0x00007ffefffe8003, 0x3333333266666668,
  0x00003fff7ffe8003, 0x19999998e6666668,
  0xffffffffffff0002, 0xffffffff9999999b,
  0x00003fff7fff8001, 0x199999994cccccce,
  0xffffffffffff8001, 0xffffffffccccccce,
  0xffffc00080000000, 0xe666666680000001,
  0xffff95562aaa5556, 0xd55555555ddddddf,
  0xffffc00080000000, 0xe666666680000001,
  0xffff800100007fff, 0xcccccccd33333334,
  0xffff5556aaaad555, 0xbbbbbbbc11111112,
  0xffff3bbd44440889, 0xb17e4b181b4e81b6,
  0xffffc00080007fff, 0xe6666666b3333334,
  0xffff95562aaad555, 0xd555555591111112,
  0xffff7bbcc4440889, 0xcb17e4b19b4e81b6,
  0xffff7bbc84448889, 0xcb17cb1801b501b6,
  0xffffd555aaaa5556, 0xeeeeeeeedddddddf,
  0xffffbbbc4443888a, 0xe4b17e4ae81b4e83,
  0xffffbbbc0444088a, 0xe4b164b14e81ce83,
  0xffffbbbbc4450889, 0xe4b14b17e81b81b6,
  0xffffe66699993334, 0xf5c28f5c0a3d70a5,
  0xffffe6665999b334, 0xf5c275c270a3f0a5,
  0xffffe666199ab333, 0xf5c25c290a3da3d8,
  0xffffe665d99c3331, 0xf5c2428fd70a8a3e,
  0xffffffffc0008000, 0xffffe66666668001,
  0xffffffff80017fff, 0xffffcccd00003334,
  0xffffffff4002fffd, 0xffffb333cccd199a,
  0xffffffff0004fffa, 0xffff999acccd3333,
  0xffffffffc000ffff, 0xffffe6669999b334,
  0xffffffff80027ffd, 0xffffcccd6666999a,
  0xffffffff40047ffa, 0xffffb3346666b333,
  0xffffffff3fc4807a, 0xffffb31acccd19b3,
  0xffffffffc0017ffe, 0xffffe666cccce667,
  0xffffffff80037ffb, 0xffffcccdcccd0000,
  0xffffffff7fc3807b, 0xffffccb433336680,
  0xffffffff7f8400fa, 0xffffcc9acccd0033,
  0xffffffffc001fffd, 0xffffe6670000199a,
  0xffffffffbfc2007d, 0xffffe64d6666801a,
  0xffffffffbf8280fc, 0xffffe634000019cd,
  0xffffffffbf43817a, 0xffffe61acccce6b3,
  0xffffffffffc00080, 0xffffffe666666681,
  0xffffffffff8080ff, 0xffffffcd00000034,
  0xffffffffff41817d, 0xffffffb3cccccd1a,
  0xffffffffff0301fa, 0xffffff9acccccd33,
  0xffffffffffc0807f, 0xffffffe6999999b4,
  0xffffffffff8180fd, 0xffffffcd6666669a,
  0xffffffffff43017a, 0xffffffb4666666b3,
  0xffffffffff33019a, 0xffffffae00000053,
  0xffffffffffc1007e, 0xffffffe6cccccce7,
  0xffffffffff8280fb, 0xffffffcdcccccd00,
  0xffffffffff72811b, 0xffffffc7666666a0,
  0xffffffffff71011e, 0xffffffc6cccccd07,
  0xffffffffffc1807d, 0xffffffe70000001a,
  0xffffffffffb1809d, 0xffffffe0999999ba,
  0xffffffffffb000a0, 0xffffffe000000021,
  0xffffffffffaf00a2, 0xffffffdf999999bb,
  0xfffffffffff00020, 0xfffffff9999999a1,
  0xffffffffffee8023, 0xfffffff900000008,
  0xffffffffffed8025, 0xfffffff8999999a2,
  0xffffffffffed0026, 0xfffffff86666666f,
  0xffffffff66666667, 0xffffffff00000002,
  0xffffffff00000001, 0xfffffffe55555558,
  0xfffffffeccccccce, 0xfffffffe00000003,
  0xfffffffeccccccce, 0xfffffffe00000003,
  0xffffffff9999999a, 0xffffffff55555557,
  0xffffffff66666667, 0xffffffff00000002,
  0xffffffff66666667, 0xffffffff00000002,
  0xffffffff9999999a, 0xffffffff55555557,
  0xffffffffcccccccd, 0xffffffffaaaaaaac,
  0xffffffffcccccccd, 0xffffffffaaaaaaac,
  0x0000000000000000, 0x0000000000000001,
  0x0000000066666666, 0x00000000aaaaaaab,
  0x0000000000000000, 0x0000000000000001,
  0x0000000033333333, 0x0000000055555556,
  0x0000000099999999, 0x0000000100000000,
  0x00000006fffffff9, 0x0000000baaaaaaa0,
  0x0000000033333333, 0x0000000055555556,
  0x0000000099999999, 0x0000000100000000,
  0x00000006fffffff9, 0x0000000baaaaaaa0,
  0x0000001fffffffe0, 0x0000003555555521,
  0x0000000066666666, 0x00000000aaaaaaab,
  0x00000006ccccccc6, 0x0000000b5555554b,
  0x0000001fccccccad, 0x00000034ffffffcc,
  0x00000038ffffffc7, 0x0000005effffffa2,
  0x0000000666666660, 0x0000000aaaaaaaa1,
  0x0000001f66666647, 0x0000003455555522,
  0x0000003899999961, 0x0000005e555554f8,
  0x00000051ffffffae, 0x00000088aaaaaa23,
  0x00000018ffffffe7, 0x00000029aaaaaa82,
  0x0000003233333301, 0x00000053aaaaaa58,
  0x0000004b9999994e, 0x0000007dffffff83,
  0x000019e499997fb5, 0x00002b27aaaa7f84,
  0x000000193333331a, 0x00000029ffffffd7,
  0x0000003299999967, 0x0000005455555502,
  0x000019cb99997fce, 0x00002afdffffd503,
  0x00003364cccc9968, 0x000055a7ffffaa59,
  0x000000196666664d, 0x0000002a5555552c,
  0x000019b266664cb4, 0x00002ad3ffffd52d,
  0x0000334b9999664e, 0x0000557dffffaa83,
  0x00004ce4ffffb31b, 0x000080285554d52e,
  0x00001998ffffe667, 0x00002aa9aaaa8002,
  0x0000333233330001, 0x00005553aaaa5558,
  0x00004ccb99994cce, 0x00007ffdffff8003,
  0x0a3dbd6f5c28a8f7, 0x1111910eeeee6ef2,
  0x000019993333199a, 0x00002aa9ffffd557,
  0x0000333299996667, 0x0000555455550002,
  0x0a3da3d65c28c290, 0x111166654443eef1,
  0x1b4eb4e74b17b17f, 0x2d832d817d277d2a,
  0x0000199966664ccd, 0x00002aaa55552aac,
  0x0a3d8a3d28f5a8f6, 0x11113bbb4444199b,
  0x1b4e9b4e17e497e5, 0x2d8302d77d27a7d4,
  0x34e834e6fe4afe4c, 0x582dad80fd27a7d5,
  0x0a3d70a3c28f5c29, 0x11111110eeeeeef0,
  0x1b4e81b4b17e4b18, 0x2d82d82d27d27d29,
  0x34e81b4d97e4b17f, 0x582d82d6a7d27d2a,
  0x4e81b4e6b17e4b19, 0x82d82d807d27d280,
  0x11111110eeeeeeef, 0x1c71c71c38e38e3a,
  0x2aaaaaa9d5555556, 0x471c71c5b8e38e3b,
  0x44444442eeeeeef0, 0x71c71c6f8e38e391,
  0x5ddddddc3bbbbbbd, 0x9c71c719b8e38e3c,
  0x19999998e6666667, 0x2aaaaaa980000002,
  0x3333333200000001, 0x5555555355555558,
  0x4ccccccb4cccccce, 0x7ffffffd80000003,
  0x33333331ccccccce, 0x5555555300000003,
  0x199999991999999a, 0x2aaaaaa9d5555557,
  0x3333333266666667, 0x5555555400000002,
  0x19999998e6666667, 0x2aaaaaa980000002,
  0xffffffff9999999a, 0xffffffff55555557,
  0x199999994ccccccd, 0x2aaaaaaa2aaaaaac,
  0xffffffffcccccccd, 0xffffffffaaaaaaac,
  0xe666666680000000, 0xd555555580000001,
  0xd55555555dddddde, 0xb8e38e38f1c71c73,
  0xe666666680000000, 0xd555555580000001,
  0xcccccccd33333333, 0xaaaaaaab55555556,
  0xbbbbbbbc11111111, 0x8e38e38ec71c71c8,
  0xb17e4b181b4e81b5, 0x7d27d27d82d82d84,
  0xe6666666b3333333, 0xd5555555d5555556,
  0xd555555591111111, 0xb8e38e39471c71c8,
  0xcb17e4b19b4e81b5, 0xa7d27d2802d82d84,
  0xcb17cb1801b501b5, 0xa7d2527d582dad84,
  0xeeeeeeeeddddddde, 0xe38e38e371c71c73,
  0xe4b17e4ae81b4e82, 0xd27d27d22d82d82f,
  0xe4b164b14e81ce82, 0xd27cfd2782d8582f,
  0xe4b14b17e81b81b5, 0xd27cd27d2d832d84,
  0xf5c28f5c0a3d70a4, 0xeeeeeeeebbbbbbbd,
  0xf5c275c270a3f0a4, 0xeeeec44411113bbd,
  0xf5c25c290a3da3d7, 0xeeee9999bbbc1112,
  0xf5c2428fd70a8a3d, 0xeeee6eefbbbc3bbc,
  0xffffe66666668000, 0xffffd55555558001,
  0xffffcccd00003333, 0xffffaaab00005556,
  0xffffb333cccd1999, 0xffff800100008000,
  0xffff999acccd3332, 0xffff55575555ffff,
  0xffffe6669999b333, 0xffffd555aaaad556,
  0xffffcccd66669999, 0xffffaaabaaab0000,
  0xffffb3346666b332, 0xffff800200007fff,
  0xffffb31acccd19b2, 0xffff7fd75555d57f,
  0xffffe666cccce666, 0xffffd55600002aab,
  0xffffcccdccccffff, 0xffffaaac5555aaaa,
  0xffffccb43333667f, 0xffffaa81aaab002a,
  0xffffcc9acccd0032, 0xffffaa575555aaff,
  0xffffe66700001999, 0xffffd55655558000,
  0xffffe64d66668019, 0xffffd52baaaad580,
  0xffffe634000019cc, 0xffffd50155558055,
  0xffffe61acccce6b2, 0xffffd4d75555807f,
  0xffffffe666666680, 0xffffffd555555581,
  0xffffffcd00000033, 0xffffffab00000056,
  0xffffffb3cccccd19, 0xffffff8100000080,
  0xffffff9acccccd32, 0xffffff57555555ff,
  0xffffffe6999999b3, 0xffffffd5aaaaaad6,
  0xffffffcd66666699, 0xffffffabaaaaab00,
  0xffffffb4666666b2, 0xffffff820000007f,
  0xffffffae00000052, 0xffffff77555555df,
  0xffffffe6cccccce6, 0xffffffd60000002b,
  0xffffffcdccccccff, 0xffffffac555555aa,
  0xffffffc76666669f, 0xffffffa1aaaaab0a,
  0xffffffc6cccccd06, 0xffffffa0aaaaab0b,
  0xffffffe700000019, 0xffffffd655555580,
  0xffffffe0999999b9, 0xffffffcbaaaaaae0,
  0xffffffe000000020, 0xffffffcaaaaaaae1,
  0xffffffdf999999ba, 0xffffffca00000037,
  0xfffffff9999999a0, 0xfffffff555555561,
  0xfffffff900000007, 0xfffffff455555562,
  0xfffffff8999999a1, 0xfffffff3aaaaaab8,
  0xfffffff86666666e, 0xfffffff355555563,
  0xffffffff00000001, 0xfffffffe8000000a,
  0xfffffffe55555557, 0xfffffffd80000010,
  0xfffffffe00000002, 0xfffffffd00000013,
  0xfffffffe00000002, 0xfffffffd00000013,
  0xffffffff55555556, 0xffffffff00000007,
  0xffffffff00000001, 0xfffffffe8000000a,
  0xffffffff00000001, 0xfffffffe8000000a,
  0xffffffff55555556, 0xffffffff00000007,
  0xffffffffaaaaaaab, 0xffffffff80000004,
  0xffffffffaaaaaaab, 0xffffffff80000004,
  0x0000000000000000, 0x0000000000000001,
  0x00000000aaaaaaaa, 0x00000000fffffffb,
  0x0000000000000000, 0x0000000000000001,
  0x0000000055555555, 0x000000007ffffffe,
  0x00000000ffffffff, 0x000000017ffffff8,
  0x0000000baaaaaa9f, 0x000000117fffff98,
  0x0000000055555555, 0x000000007ffffffe,
  0x00000000ffffffff, 0x000000017ffffff8,
  0x0000000baaaaaa9f, 0x000000117fffff98,
  0x0000003555555520, 0x0000004ffffffe21,
  0x00000000aaaaaaaa, 0x00000000fffffffb,
  0x0000000b5555554a, 0x00000010ffffff9b,
  0x00000034ffffffcb, 0x0000004f7ffffe24,
  0x0000005effffffa1, 0x0000008e7ffffcaa,
  0x0000000aaaaaaaa0, 0x0000000fffffffa1,
  0x0000003455555521, 0x0000004e7ffffe2a,
  0x0000005e555554f7, 0x0000008d7ffffcb0,
  0x00000088aaaaaa22, 0x000000ccfffffb33,
  0x00000029aaaaaa81, 0x0000003e7ffffe8a,
  0x00000053aaaaaa57, 0x0000007d7ffffd10,
  0x0000007dffffff82, 0x000000bcfffffb93,
  0x00002b27aaaa7f83, 0x000040bb7ffe7b9c,
  0x00000029ffffffd6, 0x0000003efffffe87,
  0x0000005455555501, 0x0000007e7ffffd0a,
  0x00002afdffffd502, 0x0000407cfffe7d13,
  0x000055a7ffffaa58, 0x0000807bfffcfd19,
  0x0000002a5555552b, 0x0000003f7ffffe84,
  0x00002ad3ffffd52c, 0x0000403dfffe7e8d,
  0x0000557dffffaa82, 0x0000803cfffcfe93,
  0x000080285554d52d, 0x0000c03c7ffb7e96,
  0x00002aa9aaaa8001, 0x00003ffe7ffe800a,
  0x00005553aaaa5557, 0x00007ffd7ffd0010,
  0x00007ffdffff8002, 0x0000bffcfffb8013,
  0x1111910eeeee6ef1, 0x199a5995e661e67a,
  0x00002aa9ffffd556, 0x00003ffefffe8007,
  0x0000555455550001, 0x00007ffe7ffd000a,
  0x111166654443eef0, 0x199a199766636671,
  0x2d832d817d277d29, 0x4444c440e6636672,
  0x00002aaa55552aab, 0x00003fff7ffe8004,
  0x11113bbb4444199a, 0x1999d9986664e66b,
  0x2d8302d77d27a7d3, 0x44448441e664e66c,
  0x582dad80fd27a7d4, 0x8444843ee664e675,
  0x11111110eeeeeeef, 0x19999998e6666668,
  0x2d82d82d27d27d28, 0x4444444266666669,
  0x582d82d6a7d27d29, 0x8444443f66666672,
  0x82d82d807d27d27f, 0xc444443ce6666678,
  0x1c71c71c38e38e39, 0x2aaaaaa980000002,
  0x471c71c5b8e38e3a, 0x6aaaaaa68000000b,
  0x71c71c6f8e38e390, 0xaaaaaaa400000011,
  0x9c71c719b8e38e3b, 0xeaaaaaa200000014,
  0x2aaaaaa980000001, 0x3ffffffd0000000a,
  0x5555555355555557, 0x7ffffffa80000010,
  0x7ffffffd80000002, 0xbffffff880000013,
  0x5555555300000002, 0x7ffffffa00000013,
  0x2aaaaaa9d5555556, 0x3ffffffd80000007,
  0x5555555400000001, 0x7ffffffb8000000a,
  0x2aaaaaa980000001, 0x3ffffffd0000000a,
  0xffffffff55555556, 0xffffffff00000007,
  0x2aaaaaaa2aaaaaab, 0x3ffffffe00000004,
  0xffffffffaaaaaaab, 0xffffffff80000004,
  0xd555555580000000, 0xc000000180000001,
  0xb8e38e38f1c71c72, 0x9555555780000003,
  0xd555555580000000, 0xc000000180000001,
  0xaaaaaaab55555555, 0x800000037ffffffe,
  0x8e38e38ec71c71c7, 0x5555555980000000,
  0x7d27d27d82d82d83, 0x3bbbbbc01999999c,
  0xd5555555d5555555, 0xc0000001fffffffe,
  0xb8e38e39471c71c7, 0x9555555800000000,
  0xa7d27d2802d82d83, 0x7bbbbbbe9999999c,
  0xa7d2527d582dad83, 0x7bbb7bbe999b199c,
  0xe38e38e371c71c72, 0xd555555600000003,
  0xd27d27d22d82d82e, 0xbbbbbbbc9999999f,
  0xd27cfd2782d8582e, 0xbbbb7bbc999b199f,
  0xd27cd27d2d832d83, 0xbbbb3bbd199c999c,
  0xeeeeeeeebbbbbbbc, 0xe66666669999999d,
  0xeeeec44411113bbc, 0xe6662666999b199d,
  0xeeee9999bbbc1111, 0xe665e667199c999a,
  0xeeee6eefbbbc3bbb, 0xe665a668199e1994,
  0xffffd55555558000, 0xffffc00000018001,
  0xffffaaab00005555, 0xffff80008002fffe,
  0xffff800100007fff, 0xffff400180047ff8,
  0xffff55575555fffe, 0xffff00030005ffef,
  0xffffd555aaaad555, 0xffffc00080017ffe,
  0xffffaaabaaaaffff, 0xffff80018002fff8,
  0xffff800200007ffe, 0xffff400300047fef,
  0xffff7fd75555d57e, 0xffff3fc30004816f,
  0xffffd55600002aaa, 0xffffc00100017ffb,
  0xffffaaac5555aaa9, 0xffff80028002fff2,
  0xffffaa81aaab0029, 0xffff7fc280030172,
  0xffffaa575555aafe, 0xffff7f83000302ef,
  0xffffd55655557fff, 0xffffc00180017ff8,
  0xffffd52baaaad57f, 0xffffbfc180018178,
  0xffffd50155558054, 0xffffbf82000182f5,
  0xffffd4d75555807e, 0xffffbf430001846f,
  0xffffffd555555580, 0xffffffc000000181,
  0xffffffab00000055, 0xffffff80800002fe,
  0xffffff810000007f, 0xffffff4180000478,
  0xffffff57555555fe, 0xffffff03000005ef,
  0xffffffd5aaaaaad5, 0xffffffc08000017e,
  0xffffffabaaaaaaff, 0xffffff81800002f8,
  0xffffff820000007e, 0xffffff430000046f,
  0xffffff77555555de, 0xffffff33000004cf,
  0xffffffd60000002a, 0xffffffc10000017b,
  0xffffffac555555a9, 0xffffff82800002f2,
  0xffffffa1aaaaab09, 0xffffff7280000352,
  0xffffffa0aaaaab0a, 0xffffff710000035b,
  0xffffffd65555557f, 0xffffffc180000178,
  0xffffffcbaaaaaadf, 0xffffffb1800001d8,
  0xffffffcaaaaaaae0, 0xffffffb0000001e1,
  0xffffffca00000036, 0xffffffaf000001e7,
  0xfffffff555555560, 0xfffffff000000061,
  0xfffffff455555561, 0xffffffee8000006a,
  0xfffffff3aaaaaab7, 0xffffffed80000070,
  0xfffffff355555562, 0xffffffed00000073,
  0xfffffffe80000009, 0xfffffffe80000007,
  0xfffffffd8000000f, 0xfffffffd8000000b,
  0xfffffffd00000012, 0xfffffffd0000000d,
  0xfffffffd00000012, 0xfffffffd0000000d,
  0xffffffff00000006, 0xffffffff00000005,
  0xfffffffe80000009, 0xfffffffe80000007,
  0xfffffffe80000009, 0xfffffffe80000007,
  0xffffffff00000006, 0xffffffff00000005,
  0xffffffff80000003, 0xffffffff80000003,
  0xffffffff80000003, 0xffffffff80000003,
  0x0000000000000000, 0x0000000000000001,
  0x00000000fffffffa, 0x00000000fffffffd,
  0x0000000000000000, 0x0000000000000001,
  0x000000007ffffffd, 0x000000007fffffff,
  0x000000017ffffff7, 0x000000017ffffffb,
  0x000000117fffff97, 0x000000117fffffbb,
  0x000000007ffffffd, 0x000000007fffffff,
  0x000000017ffffff7, 0x000000017ffffffb,
  0x000000117fffff97, 0x000000117fffffbb,
  0x0000004ffffffe20, 0x0000004ffffffec1,
  0x00000000fffffffa, 0x00000000fffffffd,
  0x00000010ffffff9a, 0x00000010ffffffbd,
  0x0000004f7ffffe23, 0x0000004f7ffffec3,
  0x0000008e7ffffca9, 0x0000008e7ffffdc7,
  0x0000000fffffffa0, 0x0000000fffffffc1,
  0x0000004e7ffffe29, 0x0000004e7ffffec7,
  0x0000008d7ffffcaf, 0x0000008d7ffffdcb,
  0x000000ccfffffb32, 0x000000ccfffffccd,
  0x0000003e7ffffe89, 0x0000003e7fffff07,
  0x0000007d7ffffd0f, 0x0000007d7ffffe0b,
  0x000000bcfffffb92, 0x000000bcfffffd0d,
  0x000040bb7ffe7b9b, 0x000040bb7ffefd13,
  0x0000003efffffe86, 0x0000003effffff05,
  0x0000007e7ffffd09, 0x0000007e7ffffe07,
  0x0000407cfffe7d12, 0x0000407cfffefe0d,
  0x0000807bfffcfd18, 0x0000807bfffdfe11,
  0x0000003f7ffffe83, 0x0000003f7fffff03,
  0x0000403dfffe7e8c, 0x0000403dfffeff09,
  0x0000803cfffcfe92, 0x0000803cfffdff0d,
  0x0000c03c7ffb7e95, 0x0000c03c7ffcff0f,
  0x00003ffe7ffe8009, 0x00003ffe7fff0007,
  0x00007ffd7ffd000f, 0x00007ffd7ffe000b,
  0x0000bffcfffb8012, 0x0000bffcfffd000d,
  0x199a5995e661e679, 0x199a5996199699a7,
  0x00003ffefffe8006, 0x00003ffeffff0005,
  0x00007ffe7ffd0009, 0x00007ffe7ffe0007,
  0x199a199766636670, 0x199a1997999799a1,
  0x4444c440e6636671, 0x4444c4416eeceef7,
  0x00003fff7ffe8003, 0x00003fff7fff0003,
  0x1999d9986664e66a, 0x1999d9989998999d,
  0x44448441e664e66b, 0x444484426eedeef3,
  0x8444843ee664e674, 0x8444843feeedeef9,
  0x19999998e6666667, 0x199999991999999b,
  0x4444444266666668, 0x44444442eeeeeef1,
  0x8444443f66666671, 0x844444406eeeeef7,
  0xc444443ce6666677, 0xc444443e6eeeeefb,
  0x2aaaaaa980000001, 0x2aaaaaa9d5555557,
  0x6aaaaaa68000000a, 0x6aaaaaa75555555d,
  0xaaaaaaa400000010, 0xaaaaaaa555555561,
  0xeaaaaaa200000013, 0xeaaaaaa3d5555563,
  0x3ffffffd00000009, 0x3ffffffd80000007,
  0x7ffffffa8000000f, 0x7ffffffb8000000b,
  0xbffffff880000012, 0xbffffffa0000000d,
  0x7ffffffa00000012, 0x7ffffffb0000000d,
  0x3ffffffd80000006, 0x3ffffffe00000005,
  0x7ffffffb80000009, 0x7ffffffc80000007,
  0x3ffffffd00000009, 0x3ffffffd80000007,
  0xffffffff00000006, 0xffffffff00000005,
  0x3ffffffe00000003, 0x3ffffffe80000003,
  0xffffffff80000003, 0xffffffff80000003,
  0xc000000180000000, 0xc000000100000001,
  0x9555555780000002, 0x95555556aaaaaaad,
  0xc000000180000000, 0xc000000100000001,
  0x800000037ffffffd, 0x800000027fffffff,
  0x555555597fffffff, 0x555555582aaaaaab,
  0x3bbbbbc01999999b, 0x3bbbbbbe91111113,
  0xc0000001fffffffd, 0xc00000017fffffff,
  0x95555557ffffffff, 0x955555572aaaaaab,
  0x7bbbbbbe9999999b, 0x7bbbbbbd91111113,
  0x7bbb7bbe999b199b, 0x7bbb7bbd91121113,
  0xd555555600000002, 0xd5555555aaaaaaad,
  0xbbbbbbbc9999999e, 0xbbbbbbbc11111115,
  0xbbbb7bbc999b199e, 0xbbbb7bbc11121115,
  0xbbbb3bbd199c999b, 0xbbbb3bbc91131113,
  0xe66666669999999c, 0xe666666666666669,
  0xe6662666999b199c, 0xe666266666676669,
  0xe665e667199c9999, 0xe665e666e6686667,
  0xe665a668199e1993, 0xe665a667e6696663,
  0xffffc00000018000, 0xffffc00000010001,
  0xffff80008002fffd, 0xffff80008001ffff,
  0xffff400180047ff7, 0xffff40018002fffb,
  0xffff00030005ffee, 0xffff00030003fff5,
  0xffffc00080017ffd, 0xffffc0008000ffff,
  0xffff80018002fff7, 0xffff80018001fffb,
  0xffff400300047fee, 0xffff40030002fff5,
  0xffff3fc30004816e, 0xffff3fc3000300f5,
  0xffffc00100017ffa, 0xffffc0010000fffd,
  0xffff80028002fff1, 0xffff80028001fff7,
  0xffff7fc280030171, 0xffff7fc2800200f7,
  0xffff7f83000302ee, 0xffff7f83000201f5,
  0xffffc00180017ff7, 0xffffc0018000fffb,
  0xffffbfc180018177, 0xffffbfc1800100fb,
  0xffffbf82000182f4, 0xffffbf82000101f9,
  0xffffbf430001846e, 0xffffbf43000102f5,
  0xffffffc000000180, 0xffffffc000000101,
  0xffffff80800002fd, 0xffffff80800001ff,
  0xffffff4180000477, 0xffffff41800002fb,
  0xffffff03000005ee, 0xffffff03000003f5,
  0xffffffc08000017d, 0xffffffc0800000ff,
  0xffffff81800002f7, 0xffffff81800001fb,
  0xffffff430000046e, 0xffffff43000002f5,
  0xffffff33000004ce, 0xffffff3300000335,
  0xffffffc10000017a, 0xffffffc1000000fd,
  0xffffff82800002f1, 0xffffff82800001f7,
  0xffffff7280000351, 0xffffff7280000237,
  0xffffff710000035a, 0xffffff710000023d,
  0xffffffc180000177, 0xffffffc1800000fb,
  0xffffffb1800001d7, 0xffffffb18000013b,
  0xffffffb0000001e0, 0xffffffb000000141,
  0xffffffaf000001e6, 0xffffffaf00000145,
  0xfffffff000000060, 0xfffffff000000041,
  0xffffffee80000069, 0xffffffee80000047,
  0xffffffed8000006f, 0xffffffed8000004b,
  0xffffffed00000072, 0xffffffed0000004d,
  0xfffffffe80000006, 0xfffffffe80000004,
  0xfffffffd8000000a, 0xfffffffd80000006,
  0xfffffffd0000000c, 0xfffffffd00000007,
  0xfffffffd0000000c, 0xfffffffd00000007,
  0xffffffff00000004, 0xffffffff00000003,
  0xfffffffe80000006, 0xfffffffe80000004,
  0xfffffffe80000006, 0xfffffffe80000004,
  0xffffffff00000004, 0xffffffff00000003,
  0xffffffff80000002, 0xffffffff80000002,
  0xffffffff80000002, 0xffffffff80000002,
  0x0000000000000000, 0x0000000000000001,
  0x00000000fffffffc, 0x00000000ffffffff,
  0x0000000000000000, 0x0000000000000001,
  0x000000007ffffffe, 0x0000000080000000,
  0x000000017ffffffa, 0x000000017ffffffe,
  0x000000117fffffba, 0x000000117fffffde,
  0x000000007ffffffe, 0x0000000080000000,
  0x000000017ffffffa, 0x000000017ffffffe,
  0x000000117fffffba, 0x000000117fffffde,
  0x0000004ffffffec0, 0x0000004fffffff61,
  0x00000000fffffffc, 0x00000000ffffffff,
  0x00000010ffffffbc, 0x00000010ffffffdf,
  0x0000004f7ffffec2, 0x0000004f7fffff62,
  0x0000008e7ffffdc6, 0x0000008e7ffffee4,
  0x0000000fffffffc0, 0x0000000fffffffe1,
  0x0000004e7ffffec6, 0x0000004e7fffff64,
  0x0000008d7ffffdca, 0x0000008d7ffffee6,
  0x000000ccfffffccc, 0x000000ccfffffe67,
  0x0000003e7fffff06, 0x0000003e7fffff84,
  0x0000007d7ffffe0a, 0x0000007d7fffff06,
  0x000000bcfffffd0c, 0x000000bcfffffe87,
  0x000040bb7ffefd12, 0x000040bb7fff7e8a,
  0x0000003effffff04, 0x0000003effffff83,
  0x0000007e7ffffe06, 0x0000007e7fffff04,
  0x0000407cfffefe0c, 0x0000407cffff7f07,
  0x0000807bfffdfe10, 0x0000807bfffeff09,
  0x0000003f7fffff02, 0x0000003f7fffff82,
  0x0000403dfffeff08, 0x0000403dffff7f85,
  0x0000803cfffdff0c, 0x0000803cfffeff87,
  0x0000c03c7ffcff0e, 0x0000c03c7ffe7f88,
  0x00003ffe7fff0006, 0x00003ffe7fff8004,
  0x00007ffd7ffe000a, 0x00007ffd7fff0006,
  0x0000bffcfffd000c, 0x0000bffcfffe8007,
  0x199a5996199699a6, 0x199a59964ccb4cd4,
  0x00003ffeffff0004, 0x00003ffeffff8003,
  0x00007ffe7ffe0006, 0x00007ffe7fff0004,
  0x199a1997999799a0, 0x199a1997cccbccd1,
  0x4444c4416eeceef6, 0x4444c441f776777c,
  0x00003fff7fff0002, 0x00003fff7fff8002,
  0x1999d9989998999c, 0x1999d998cccc4ccf,
  0x444484426eedeef2, 0x44448442f776f77a,
  0x8444843feeedeef8, 0x84448440f776f77d,
  0x199999991999999a, 0x199999994cccccce,
  0x44444442eeeeeef0, 0x4444444377777779,
  0x844444406eeeeef6, 0x844444417777777c,
  0xc444443e6eeeeefa, 0xc444443ff777777e,
  0x2aaaaaa9d5555556, 0x2aaaaaaa2aaaaaac,
  0x6aaaaaa75555555c, 0x6aaaaaa82aaaaaaf,
  0xaaaaaaa555555560, 0xaaaaaaa6aaaaaab1,
  0xeaaaaaa3d5555562, 0xeaaaaaa5aaaaaab2,
  0x3ffffffd80000006, 0x3ffffffe00000004,
  0x7ffffffb8000000a, 0x7ffffffc80000006,
  0xbffffffa0000000c, 0xbffffffb80000007,
  0x7ffffffb0000000c, 0x7ffffffc00000007,
  0x3ffffffe00000004, 0x3ffffffe80000003,
  0x7ffffffc80000006, 0x7ffffffd80000004,
  0x3ffffffd80000006, 0x3ffffffe00000004,
  0xffffffff00000004, 0xffffffff00000003,
  0x3ffffffe80000002, 0x3fffffff00000002,
  0xffffffff80000002, 0xffffffff80000002,
  0xc000000100000000, 0xc000000080000001,
  0x95555556aaaaaaac, 0x95555555d5555557,
  0xc000000100000000, 0xc000000080000001,
  0x800000027ffffffe, 0x8000000180000000,
  0x555555582aaaaaaa, 0x55555556d5555556,
  0x3bbbbbbe91111112, 0x3bbbbbbd0888888a,
  0xc00000017ffffffe, 0xc000000100000000,
  0x955555572aaaaaaa, 0x9555555655555556,
  0x7bbbbbbd91111112, 0x7bbbbbbc8888888a,
  0x7bbb7bbd91121112, 0x7bbb7bbc8889088a,
  0xd5555555aaaaaaac, 0xd555555555555557,
  0xbbbbbbbc11111114, 0xbbbbbbbb8888888b,
  0xbbbb7bbc11121114, 0xbbbb7bbb8889088b,
  0xbbbb3bbc91131112, 0xbbbb3bbc0889888a,
  0xe666666666666668, 0xe666666633333335,
  0xe666266666676668, 0xe66626663333b335,
  0xe665e666e6686666, 0xe665e666b3343334,
  0xe665a667e6696662, 0xe665a667b334b332,
  0xffffc00000010000, 0xffffc00000008001,
  0xffff80008001fffe, 0xffff800080010000,
  0xffff40018002fffa, 0xffff400180017ffe,
  0xffff00030003fff4, 0xffff00030001fffb,
  0xffffc0008000fffe, 0xffffc00080008000,
  0xffff80018001fffa, 0xffff80018000fffe,
  0xffff40030002fff4, 0xffff400300017ffb,
  0xffff3fc3000300f4, 0xffff3fc30001807b,
  0xffffc0010000fffc, 0xffffc00100007fff,
  0xffff80028001fff6, 0xffff80028000fffc,
  0xffff7fc2800200f6, 0xffff7fc28001007c,
  0xffff7f83000201f4, 0xffff7f83000100fb,
  0xffffc0018000fffa, 0xffffc00180007ffe,
  0xffffbfc1800100fa, 0xffffbfc18000807e,
  0xffffbf82000101f8, 0xffffbf82000080fd,
  0xffffbf43000102f4, 0xffffbf430000817b,
  0xffffffc000000100, 0xffffffc000000081,
  0xffffff80800001fe, 0xffffff8080000100,
  0xffffff41800002fa, 0xffffff418000017e,
  0xffffff03000003f4, 0xffffff03000001fb,
  0xffffffc0800000fe, 0xffffffc080000080,
  0xffffff81800001fa, 0xffffff81800000fe,
  0xffffff43000002f4, 0xffffff430000017b,
  0xffffff3300000334, 0xffffff330000019b,
  0xffffffc1000000fc, 0xffffffc10000007f,
  0xffffff82800001f6, 0xffffff82800000fc,
  0xffffff7280000236, 0xffffff728000011c,
  0xffffff710000023c, 0xffffff710000011f,
  0xffffffc1800000fa, 0xffffffc18000007e,
  0xffffffb18000013a, 0xffffffb18000009e,
  0xffffffb000000140, 0xffffffb0000000a1,
  0xffffffaf00000144, 0xffffffaf000000a3,
  0xfffffff000000040, 0xfffffff000000021,
  0xffffffee80000046, 0xffffffee80000024,
  0xffffffed8000004a, 0xffffffed80000026,
  0xffffffed0000004c, 0xffffffed00000027,
  0xfffffffe80000003, 0x0000000180000001,
  0xfffffffd80000005, 0x0000000280000001,
  0xfffffffd00000006, 0x0000000300000001,
  0xfffffffd00000006, 0x0000000300000001,
  0xffffffff00000002, 0x0000000100000001,
  0xfffffffe80000003, 0x0000000180000001,
  0xfffffffe80000003, 0x0000000180000001,
  0xffffffff00000002, 0x0000000100000001,
  0xffffffff80000001, 0x0000000080000001,
  0xffffffff80000001, 0x0000000080000001,
  0x0000000000000000, 0x0000000000000001,
  0x00000000fffffffe, 0xffffffff00000001,
  0x0000000000000000, 0x0000000000000001,
  0x000000007fffffff, 0xffffffff80000001,
  0x000000017ffffffd, 0xfffffffe80000001,
  0x000000117fffffdd, 0xffffffee80000001,
  0x000000007fffffff, 0xffffffff80000001,
  0x000000017ffffffd, 0xfffffffe80000001,
  0x000000117fffffdd, 0xffffffee80000001,
  0x0000004fffffff60, 0xffffffb000000001,
  0x00000000fffffffe, 0xffffffff00000001,
  0x00000010ffffffde, 0xffffffef00000001,
  0x0000004f7fffff61, 0xffffffb080000001,
  0x0000008e7ffffee3, 0xffffff7180000001,
  0x0000000fffffffe0, 0xfffffff000000001,
  0x0000004e7fffff63, 0xffffffb180000001,
  0x0000008d7ffffee5, 0xffffff7280000001,
  0x000000ccfffffe66, 0xffffff3300000001,
  0x0000003e7fffff83, 0xffffffc180000001,
  0x0000007d7fffff05, 0xffffff8280000001,
  0x000000bcfffffe86, 0xffffff4300000001,
  0x000040bb7fff7e89, 0xffffbf4480000001,
  0x0000003effffff82, 0xffffffc100000001,
  0x0000007e7fffff03, 0xffffff8180000001,
  0x0000407cffff7f06, 0xffffbf8300000001,
  0x0000807bfffeff08, 0xffff7f8400000001,
  0x0000003f7fffff81, 0xffffffc080000001,
  0x0000403dffff7f84, 0xffffbfc200000001,
  0x0000803cfffeff86, 0xffff7fc300000001,
  0x0000c03c7ffe7f87, 0xffff3fc380000001,
  0x00003ffe7fff8003, 0xffffc00180000001,
  0x00007ffd7fff0005, 0xffff800280000001,
  0x0000bffcfffe8006, 0xffff400300000001,
  0x199a59964ccb4cd3, 0xe665a66980000001,
  0x00003ffeffff8002, 0xffffc00100000001,
  0x00007ffe7fff0003, 0xffff800180000001,
  0x199a1997cccbccd0, 0xe665e66800000001,
  0x4444c441f776777b, 0xbbbb3bbd80000001,
  0x00003fff7fff8001, 0xffffc00080000001,
  0x1999d998cccc4cce, 0xe666266700000001,
  0x44448442f776f779, 0xbbbb7bbc80000001,
  0x84448440f776f77c, 0x7bbb7bbe00000001,
  0x199999994ccccccd, 0xe666666680000001,
  0x4444444377777778, 0xbbbbbbbc00000001,
  0x844444417777777b, 0x7bbbbbbd80000001,
  0xc444443ff777777d, 0x3bbbbbbe80000001,
  0x2aaaaaaa2aaaaaab, 0xd555555580000001,
  0x6aaaaaa82aaaaaae, 0x9555555700000001,
  0xaaaaaaa6aaaaaab0, 0x5555555800000001,
  0xeaaaaaa5aaaaaab1, 0x1555555880000001,
  0x3ffffffe00000003, 0xc000000180000001,
  0x7ffffffc80000005, 0x8000000280000001,
  0xbffffffb80000006, 0x4000000300000001,
  0x7ffffffc00000006, 0x8000000300000001,
  0x3ffffffe80000002, 0xc000000100000001,
  0x7ffffffd80000003, 0x8000000180000001,
  0x3ffffffe00000003, 0xc000000180000001,
  0xffffffff00000002, 0x0000000100000001,
  0x3fffffff00000001, 0xc000000080000001,
  0xffffffff80000001, 0x0000000080000001,
  0xc000000080000000, 0x4000000000000001,
  0x95555555d5555556, 0x6aaaaaab00000001,
  0xc000000080000000, 0x4000000000000001,
  0x800000017fffffff, 0x7fffffff80000001,
  0x55555556d5555555, 0xaaaaaaaa80000001,
  0x3bbbbbbd08888889, 0xc444444480000001,
  0xc0000000ffffffff, 0x3fffffff80000001,
  0x9555555655555555, 0x6aaaaaaa80000001,
  0x7bbbbbbc88888889, 0x8444444480000001,
  0x7bbb7bbc88890889, 0x8444844480000001,
  0xd555555555555556, 0x2aaaaaab00000001,
  0xbbbbbbbb8888888a, 0x4444444500000001,
  0xbbbb7bbb8889088a, 0x4444844500000001,
  0xbbbb3bbc08898889, 0x4444c44480000001,
  0xe666666633333334, 0x1999999a00000001,
  0xe66626663333b334, 0x1999d99a00000001,
  0xe665e666b3343333, 0x199a199980000001,
  0xe665a667b334b331, 0x199a599880000001,
  0xffffc00000008000, 0x0000400000000001,
  0xffff80008000ffff, 0x00007fff80000001,
  0xffff400180017ffd, 0x0000bffe80000001,
  0xffff00030001fffa, 0x0000fffd00000001,
  0xffffc00080007fff, 0x00003fff80000001,
  0xffff80018000fffd, 0x00007ffe80000001,
  0xffff400300017ffa, 0x0000bffd00000001,
  0xffff3fc30001807a, 0x0000c03d00000001,
  0xffffc00100007ffe, 0x00003fff00000001,
  0xffff80028000fffb, 0x00007ffd80000001,
  0xffff7fc28001007b, 0x0000803d80000001,
  0xffff7f83000100fa, 0x0000807d00000001,
  0xffffc00180007ffd, 0x00003ffe80000001,
  0xffffbfc18000807d, 0x0000403e80000001,
  0xffffbf82000080fc, 0x0000407e00000001,
  0xffffbf430000817a, 0x000040bd00000001,
  0xffffffc000000080, 0x0000004000000001,
  0xffffff80800000ff, 0x0000007f80000001,
  0xffffff418000017d, 0x000000be80000001,
  0xffffff03000001fa, 0x000000fd00000001,
  0xffffffc08000007f, 0x0000003f80000001,
  0xffffff81800000fd, 0x0000007e80000001,
  0xffffff430000017a, 0x000000bd00000001,
  0xffffff330000019a, 0x000000cd00000001,
  0xffffffc10000007e, 0x0000003f00000001,
  0xffffff82800000fb, 0x0000007d80000001,
  0xffffff728000011b, 0x0000008d80000001,
  0xffffff710000011e, 0x0000008f00000001,
  0xffffffc18000007d, 0x0000003e80000001,
  0xffffffb18000009d, 0x0000004e80000001,
  0xffffffb0000000a0, 0x0000005000000001,
  0xffffffaf000000a2, 0x0000005100000001,
  0xfffffff000000020, 0x0000001000000001,
  0xffffffee80000023, 0x0000001180000001,
  0xffffffed80000025, 0x0000001280000001,
  0xffffffed00000026, 0x0000001300000001,
  0x0000000180000000, 0x000000017ffffffe,
  0x0000000280000000, 0x000000027ffffffc,
  0x0000000300000000, 0x00000002fffffffb,
  0x0000000300000000, 0x00000002fffffffb,
  0x0000000100000000, 0x00000000ffffffff,
  0x0000000180000000, 0x000000017ffffffe,
  0x0000000180000000, 0x000000017ffffffe,
  0x0000000100000000, 0x00000000ffffffff,
  0x0000000080000000, 0x0000000080000000,
  0x0000000080000000, 0x0000000080000000,
  0x0000000000000000, 0x0000000000000001,
  0xffffffff00000000, 0xffffffff00000003,
  0x0000000000000000, 0x0000000000000001,
  0xffffffff80000000, 0xffffffff80000002,
  0xfffffffe80000000, 0xfffffffe80000004,
  0xffffffee80000000, 0xffffffee80000024,
  0xffffffff80000000, 0xffffffff80000002,
  0xfffffffe80000000, 0xfffffffe80000004,
  0xffffffee80000000, 0xffffffee80000024,
  0xffffffb000000000, 0xffffffb0000000a1,
  0xffffffff00000000, 0xffffffff00000003,
  0xffffffef00000000, 0xffffffef00000023,
  0xffffffb080000000, 0xffffffb0800000a0,
  0xffffff7180000000, 0xffffff718000011e,
  0xfffffff000000000, 0xfffffff000000021,
  0xffffffb180000000, 0xffffffb18000009e,
  0xffffff7280000000, 0xffffff728000011c,
  0xffffff3300000000, 0xffffff330000019b,
  0xffffffc180000000, 0xffffffc18000007e,
  0xffffff8280000000, 0xffffff82800000fc,
  0xffffff4300000000, 0xffffff430000017b,
  0xffffbf4480000000, 0xffffbf4480008178,
  0xffffffc100000000, 0xffffffc10000007f,
  0xffffff8180000000, 0xffffff81800000fe,
  0xffffbf8300000000, 0xffffbf83000080fb,
  0xffff7f8400000000, 0xffff7f84000100f9,
  0xffffffc080000000, 0xffffffc080000080,
  0xffffbfc200000000, 0xffffbfc20000807d,
  0xffff7fc300000000, 0xffff7fc30001007b,
  0xffff3fc380000000, 0xffff3fc38001807a,
  0xffffc00180000000, 0xffffc00180007ffe,
  0xffff800280000000, 0xffff80028000fffc,
  0xffff400300000000, 0xffff400300017ffb,
  0xe665a66980000000, 0xe665a669b334b32e,
  0xffffc00100000000, 0xffffc00100007fff,
  0xffff800180000000, 0xffff80018000fffe,
  0xe665e66800000000, 0xe665e66833343331,
  0xbbbb3bbd80000000, 0xbbbb3bbe08898886,
  0xffffc00080000000, 0xffffc00080008000,
  0xe666266700000000, 0xe66626673333b333,
  0xbbbb7bbc80000000, 0xbbbb7bbd08890888,
  0x7bbb7bbe00000000, 0x7bbb7bbf08890885,
  0xe666666680000000, 0xe6666666b3333334,
  0xbbbbbbbc00000000, 0xbbbbbbbc88888889,
  0x7bbbbbbd80000000, 0x7bbbbbbe88888886,
  0x3bbbbbbe80000000, 0x3bbbbbc008888884,
  0xd555555580000000, 0xd5555555d5555556,
  0x9555555700000000, 0x95555557d5555553,
  0x5555555800000000, 0x5555555955555551,
  0x1555555880000000, 0x1555555a55555550,
  0xc000000180000000, 0xc0000001fffffffe,
  0x8000000280000000, 0x800000037ffffffc,
  0x4000000300000000, 0x400000047ffffffb,
  0x8000000300000000, 0x80000003fffffffb,
  0xc000000100000000, 0xc00000017fffffff,
  0x8000000180000000, 0x800000027ffffffe,
  0xc000000180000000, 0xc0000001fffffffe,
  0x0000000100000000, 0x00000000ffffffff,
  0xc000000080000000, 0xc000000100000000,
  0x0000000080000000, 0x0000000080000000,
  0x4000000000000000, 0x3fffffff80000001,
  0x6aaaaaab00000000, 0x6aaaaaaa2aaaaaab,
  0x4000000000000000, 0x3fffffff80000001,
  0x7fffffff80000000, 0x7ffffffe80000002,
  0xaaaaaaaa80000000, 0xaaaaaaa92aaaaaac,
  0xc444444480000000, 0xc4444442f7777778,
  0x3fffffff80000000, 0x3fffffff00000002,
  0x6aaaaaaa80000000, 0x6aaaaaa9aaaaaaac,
  0x8444444480000000, 0x8444444377777778,
  0x8444844480000000, 0x844484437776f778,
  0x2aaaaaab00000000, 0x2aaaaaaaaaaaaaab,
  0x4444444500000000, 0x4444444477777777,
  0x4444844500000000, 0x444484447776f777,
  0x4444c44480000000, 0x4444c443f7767778,
  0x1999999a00000000, 0x19999999cccccccd,
  0x1999d99a00000000, 0x1999d999cccc4ccd,
  0x199a199980000000, 0x199a19994ccbccce,
  0x199a599880000000, 0x199a59984ccb4cd0,
  0x0000400000000000, 0x00003fffffff8001,
  0x00007fff80000000, 0x00007fff7fff0002,
  0x0000bffe80000000, 0x0000bffe7ffe8004,
  0x0000fffd00000000, 0x0000fffcfffe0007,
  0x00003fff80000000, 0x00003fff7fff8002,
  0x00007ffe80000000, 0x00007ffe7fff0004,
  0x0000bffd00000000, 0x0000bffcfffe8007,
  0x0000c03d00000000, 0x0000c03cfffe7f87,
  0x00003fff00000000, 0x00003ffeffff8003,
  0x00007ffd80000000, 0x00007ffd7fff0006,
  0x0000803d80000000, 0x0000803d7ffeff86,
  0x0000807d00000000, 0x0000807cfffeff07,
  0x00003ffe80000000, 0x00003ffe7fff8004,
  0x0000403e80000000, 0x0000403e7fff7f84,
  0x0000407e00000000, 0x0000407dffff7f05,
  0x000040bd00000000, 0x000040bcffff7e87,
  0x0000004000000000, 0x0000003fffffff81,
  0x0000007f80000000, 0x0000007f7fffff02,
  0x000000be80000000, 0x000000be7ffffe84,
  0x000000fd00000000, 0x000000fcfffffe07,
  0x0000003f80000000, 0x0000003f7fffff82,
  0x0000007e80000000, 0x0000007e7fffff04,
  0x000000bd00000000, 0x000000bcfffffe87,
  0x000000cd00000000, 0x000000ccfffffe67,
  0x0000003f00000000, 0x0000003effffff83,
  0x0000007d80000000, 0x0000007d7fffff06,
  0x0000008d80000000, 0x0000008d7ffffee6,
  0x0000008f00000000, 0x0000008efffffee3,
  0x0000003e80000000, 0x0000003e7fffff84,
  0x0000004e80000000, 0x0000004e7fffff64,
  0x0000005000000000, 0x0000004fffffff61,
  0x0000005100000000, 0x00000050ffffff5f,
  0x0000001000000000, 0x0000000fffffffe1,
  0x0000001180000000, 0x000000117fffffde,
  0x0000001280000000, 0x000000127fffffdc,
  0x0000001300000000, 0x00000012ffffffdb,
  0x000000017ffffffd, 0x0000000100000003,
  0x000000027ffffffb, 0x00000001aaaaaaaf,
  0x00000002fffffffa, 0x0000000200000005,
  0x00000002fffffffa, 0x0000000200000005,
  0x00000000fffffffe, 0x00000000aaaaaaad,
  0x000000017ffffffd, 0x0000000100000003,
  0x000000017ffffffd, 0x0000000100000003,
  0x00000000fffffffe, 0x00000000aaaaaaad,
  0x000000007fffffff, 0x0000000055555557,
  0x000000007fffffff, 0x0000000055555557,
  0x0000000000000000, 0x0000000000000001,
  0xffffffff00000002, 0xffffffff55555555,
  0x0000000000000000, 0x0000000000000001,
  0xffffffff80000001, 0xffffffffaaaaaaab,
  0xfffffffe80000003, 0xfffffffeffffffff,
  0xffffffee80000023, 0xfffffff45555553f,
  0xffffffff80000001, 0xffffffffaaaaaaab,
  0xfffffffe80000003, 0xfffffffeffffffff,
  0xffffffee80000023, 0xfffffff45555553f,
  0xffffffb0000000a0, 0xffffffcaaaaaaa41,
  0xffffffff00000002, 0xffffffff55555555,
  0xffffffef00000022, 0xfffffff4aaaaaa95,
  0xffffffb08000009f, 0xffffffcaffffff97,
  0xffffff718000011d, 0xffffffa0ffffff43,
  0xfffffff000000020, 0xfffffff555555541,
  0xffffffb18000009d, 0xffffffcbaaaaaa43,
  0xffffff728000011b, 0xffffffa1aaaaa9ef,
  0xffffff330000019a, 0xffffff7755555445,
  0xffffffc18000007d, 0xffffffd655555503,
  0xffffff82800000fb, 0xffffffac555554af,
  0xffffff430000017a, 0xffffff81ffffff05,
  0xffffbf4480008177, 0xffffd4d85554ff07,
  0xffffffc10000007e, 0xffffffd5ffffffad,
  0xffffff81800000fd, 0xffffffabaaaaaa03,
  0xffffbf83000080fa, 0xffffd501ffffaa05,
  0xffff7f84000100f8, 0xffffaa57ffff54b1,
  0xffffffc08000007f, 0xffffffd5aaaaaa57,
  0xffffbfc20000807c, 0xffffd52bffffaa59,
  0xffff7fc30001007a, 0xffffaa81ffff5505,
  0xffff3fc380018079, 0xffff7fd7aaa9aa5b,
  0xffffc00180007ffd, 0xffffd55655550003,
  0xffff80028000fffb, 0xffffaaac5554aaaf,
  0xffff400300017ffa, 0xffff8001ffff0005,
  0xe665a669b334b32d, 0xeeee6ef0dddcdde3,
  0xffffc00100007ffe, 0xffffd555ffffaaad,
  0xffff80018000fffd, 0xffffaaabaaaa0003,
  0xe665e66833343330, 0xeeee999a8887dde1,
  0xbbbb3bbe08898885, 0xd27cd27dfa4efa53,
  0xffffc00080007fff, 0xffffd555aaaa5557,
  0xe66626673333b332, 0xeeeec44488883335,
  0xbbbb7bbd08890887, 0xd27cfd27fa4f4fa7,
  0x7bbb7bbf08890884, 0xa7d2527dfa4f4fa9,
  0xe6666666b3333333, 0xeeeeeeeedddddddf,
  0xbbbbbbbc88888888, 0xd27d27d24fa4fa51,
  0x7bbbbbbe88888885, 0xa7d27d284fa4fa53,
  0x3bbbbbc008888883, 0x7d27d27dfa4fa4ff,
  0xd5555555d5555555, 0xe38e38e371c71c73,
  0x95555557d5555552, 0xb8e38e3971c71c75,
  0x5555555955555550, 0x8e38e38f1c71c721,
  0x1555555a5555554f, 0x638e38e471c71c77,
  0xc0000001fffffffd, 0xd555555600000003,
  0x800000037ffffffb, 0xaaaaaaabaaaaaaaf,
  0x400000047ffffffa, 0x8000000100000005,
  0x80000003fffffffa, 0xaaaaaaac00000005,
  0xc00000017ffffffe, 0xd5555555aaaaaaad,
  0x800000027ffffffd, 0xaaaaaaab00000003,
  0xc0000001fffffffd, 0xd555555600000003,
  0x00000000fffffffe, 0x00000000aaaaaaad,
  0xc0000000ffffffff, 0xd555555555555557,
  0x000000007fffffff, 0x0000000055555557,
  0x3fffffff80000000, 0x2aaaaaab00000001,
  0x6aaaaaaa2aaaaaaa, 0x471c71c7e38e38e5,
  0x3fffffff80000000, 0x2aaaaaab00000001,
  0x7ffffffe80000001, 0x55555555aaaaaaab,
  0xaaaaaaa92aaaaaab, 0x71c71c728e38e38f,
  0xc4444442f7777777, 0x82d82d8405b05b07,
  0x3fffffff00000001, 0x2aaaaaaaaaaaaaab,
  0x6aaaaaa9aaaaaaab, 0x471c71c78e38e38f,
  0x8444444377777777, 0x582d82d905b05b07,
  0x844484437776f777, 0x582dad83b05b5b07,
  0x2aaaaaaaaaaaaaaa, 0x1c71c71ce38e38e5,
  0x4444444477777776, 0x2d82d82e5b05b05d,
  0x444484447776f776, 0x2d8302d905b0b05d,
  0x4444c443f7767777, 0x2d832d835b065b07,
  0x19999999cccccccc, 0x1111111177777779,
  0x1999d999cccc4ccc, 0x11113bbc22227779,
  0x199a19994ccbcccd, 0x1111666677782223,
  0x199a59984ccb4ccf, 0x1111911077787777,
  0x00003fffffff8000, 0x00002aaaaaab0001,
  0x00007fff7fff0001, 0x000055550000aaab,
  0x0000bffe7ffe8003, 0x00007fff0000ffff,
  0x0000fffcfffe0006, 0x0000aaa8aaabfffd,
  0x00003fff7fff8001, 0x00002aaa5555aaab,
  0x00007ffe7fff0003, 0x000055545555ffff,
  0x0000bffcfffe8006, 0x00007ffe0000fffd,
  0x0000c03cfffe7f86, 0x00008028aaabaafd,
  0x00003ffeffff8002, 0x00002aaa00005555,
  0x00007ffd7fff0005, 0x00005553aaab5553,
  0x0000803d7ffeff85, 0x0000557e55560053,
  0x0000807cfffeff06, 0x000055a8aaab55fd,
  0x00003ffe7fff8003, 0x00002aa9aaaaffff,
  0x0000403e7fff7f83, 0x00002ad45555aaff,
  0x0000407dffff7f04, 0x00002afeaaab00a9,
  0x000040bcffff7e86, 0x00002b28aaab00fd,
  0x0000003fffffff80, 0x0000002aaaaaab01,
  0x0000007f7fffff01, 0x00000055000000ab,
  0x000000be7ffffe83, 0x0000007f000000ff,
  0x000000fcfffffe06, 0x000000a8aaaaabfd,
  0x0000003f7fffff81, 0x0000002a555555ab,
  0x0000007e7fffff03, 0x00000054555555ff,
  0x000000bcfffffe86, 0x0000007e000000fd,
  0x000000ccfffffe66, 0x00000088aaaaabbd,
  0x0000003effffff82, 0x0000002a00000055,
  0x0000007d7fffff05, 0x00000053aaaaab53,
  0x0000008d7ffffee5, 0x0000005e55555613,
  0x0000008efffffee2, 0x0000005f55555615,
  0x0000003e7fffff83, 0x00000029aaaaaaff,
  0x0000004e7fffff63, 0x00000034555555bf,
  0x0000004fffffff60, 0x00000035555555c1,
  0x00000050ffffff5e, 0x000000360000006d,
  0x0000000fffffffe0, 0x0000000aaaaaaac1,
  0x000000117fffffdd, 0x0000000baaaaaac3,
  0x000000127fffffdb, 0x0000000c5555556f,
  0x00000012ffffffda, 0x0000000caaaaaac5,
  0x0000000100000002, 0x000000009999999d,
  0x00000001aaaaaaae, 0x0000000100000005,
  0x0000000200000004, 0x0000000133333339,
  0x0000000200000004, 0x0000000133333339,
  0x00000000aaaaaaac, 0x0000000066666669,
  0x0000000100000002, 0x000000009999999d,
  0x0000000100000002, 0x000000009999999d,
  0x00000000aaaaaaac, 0x0000000066666669,
  0x0000000055555556, 0x0000000033333335,
  0x0000000055555556, 0x0000000033333335,
  0x0000000000000000, 0x0000000000000001,
  0xffffffff55555554, 0xffffffff99999999,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffaaaaaaaa, 0xffffffffcccccccd,
  0xfffffffefffffffe, 0xffffffff66666665,
  0xfffffff45555553e, 0xfffffff8ffffffe5,
  0xffffffffaaaaaaaa, 0xffffffffcccccccd,
  0xfffffffefffffffe, 0xffffffff66666665,
  0xfffffff45555553e, 0xfffffff8ffffffe5,
  0xffffffcaaaaaaa40, 0xffffffdfffffff81,
  0xffffffff55555554, 0xffffffff99999999,
  0xfffffff4aaaaaa94, 0xfffffff933333319,
  0xffffffcaffffff96, 0xffffffe0333332b5,
  0xffffffa0ffffff42, 0xffffffc6ffffff1d,
  0xfffffff555555540, 0xfffffff999999981,
  0xffffffcbaaaaaa42, 0xffffffe09999991d,
  0xffffffa1aaaaa9ee, 0xffffffc766666585,
  0xffffff7755555444, 0xffffffadfffffeb9,
  0xffffffd655555502, 0xffffffe6ffffff9d,
  0xffffffac555554ae, 0xffffffcdcccccc05,
  0xffffff81ffffff04, 0xffffffb466666539,
  0xffffd4d85554ff06, 0xffffe61b6665fed5,
  0xffffffd5ffffffac, 0xffffffe6cccccc69,
  0xffffffabaaaaaa02, 0xffffffcd6666659d,
  0xffffd501ffffaa04, 0xffffe6346665ff39,
  0xffffaa57ffff54b0, 0xffffcc9b333265a1,
  0xffffffd5aaaaaa56, 0xffffffe699999935,
  0xffffd52bffffaa58, 0xffffe64d999932d1,
  0xffffaa81ffff5504, 0xffffccb466659939,
  0xffff7fd7aaa9aa5a, 0xffffb31afffecc6d,
  0xffffd55655550002, 0xffffe666ffff999d,
  0xffffaaac5554aaae, 0xffffcccdcccc0005,
  0xffff8001ffff0004, 0xffffb33466653339,
  0xeeee6ef0dddcdde2, 0xf5c2429070a2a3dd,
  0xffffd555ffffaaac, 0xffffe666cccc6669,
  0xffffaaabaaaa0002, 0xffffcccd6665999d,
  0xeeee999a8887dde0, 0xf5c25c2970a30a41,
  0xd27cd27dfa4efa52, 0xe4b14b182c5ec5fd,
  0xffffd555aaaa5556, 0xffffe66699993335,
  0xeeeec44488883334, 0xf5c275c2a3d6a3d9,
  0xd27cfd27fa4f4fa6, 0xe4b164b15f925f95,
  0xa7d2527dfa4f4fa8, 0xcb17cb17f92bf931,
  0xeeeeeeeeddddddde, 0xf5c28f5c0a3d70a5,
  0xd27d27d24fa4fa50, 0xe4b17e4ac5f92c61,
  0xa7d27d284fa4fa52, 0xcb17e4b15f92c5fd,
  0x7d27d27dfa4fa4fe, 0xb17e4b17c5f92c65,
  0xe38e38e371c71c72, 0xeeeeeeeebbbbbbbd,
  0xb8e38e3971c71c74, 0xd555555555555559,
  0x8e38e38f1c71c720, 0xbbbbbbbbbbbbbbc1,
  0x638e38e471c71c76, 0xa2222221eeeeeef5,
  0xd555555600000002, 0xe66666669999999d,
  0xaaaaaaabaaaaaaae, 0xcccccccd00000005,
  0x8000000100000004, 0xb333333333333339,
  0xaaaaaaac00000004, 0xcccccccd33333339,
  0xd5555555aaaaaaac, 0xe666666666666669,
  0xaaaaaaab00000002, 0xcccccccc9999999d,
  0xd555555600000002, 0xe66666669999999d,
  0x00000000aaaaaaac, 0x0000000066666669,
  0xd555555555555556, 0xe666666633333335,
  0x0000000055555556, 0x0000000033333335,
  0x2aaaaaab00000000, 0x1999999a00000001,
  0x471c71c7e38e38e4, 0x2aaaaaab77777779,
  0x2aaaaaab00000000, 0x1999999a00000001,
  0x55555555aaaaaaaa, 0x33333333cccccccd,
  0x71c71c728e38e38e, 0x4444444544444445,
  0x82d82d8405b05b06, 0x4e81b4e96d3a06d5,
  0x2aaaaaaaaaaaaaaa, 0x19999999cccccccd,
  0x471c71c78e38e38e, 0x2aaaaaab44444445,
  0x582d82d905b05b06, 0x34e81b4f6d3a06d5,
  0x582dad83b05b5b06, 0x34e834e906d406d5,
  0x1c71c71ce38e38e4, 0x1111111177777779,
  0x2d82d82e5b05b05c, 0x1b4e81b5a06d3a09,
  0x2d8302d905b0b05c, 0x1b4e9b4f3a073a09,
  0x2d832d835b065b06, 0x1b4eb4e8a06e06d5,
  0x1111111177777778, 0x0a3d70a428f5c291,
  0x11113bbc22227778, 0x0a3d8a3dc28fc291,
  0x1111666677782222, 0x0a3da3d728f68f5d,
  0x1111911077787776, 0x0a3dbd705c2a28f5,
  0x00002aaaaaab0000, 0x00001999999a0001,
  0x000055550000aaaa, 0x000033330000cccd,
  0x00007fff0000fffe, 0x00004ccc33346665,
  0x0000aaa8aaabfffc, 0x000066653334ccc9,
  0x00002aaa5555aaaa, 0x000019996666cccd,
  0x000055545555fffe, 0x00003332999a6665,
  0x00007ffe0000fffc, 0x00004ccb999accc9,
  0x00008028aaabaafc, 0x00004ce5333466c9,
  0x00002aaa00005554, 0x0000199933339999,
  0x00005553aaab5552, 0x000033323333fffd,
  0x0000557e55560052, 0x0000334bcccd99fd,
  0x000055a8aaab55fc, 0x00003365333400c9,
  0x00002aa9aaaafffe, 0x0000199900006665,
  0x00002ad45555aafe, 0x000019b2999a0065,
  0x00002afeaaab00a8, 0x000019cc00006731,
  0x00002b28aaab00fc, 0x000019e533339ac9,
  0x0000002aaaaaab00, 0x0000001999999a01,
  0x00000055000000aa, 0x00000033000000cd,
  0x0000007f000000fe, 0x0000004c33333465,
  0x000000a8aaaaabfc, 0x00000065333334c9,
  0x0000002a555555aa, 0x00000019666666cd,
  0x00000054555555fe, 0x0000003299999a65,
  0x0000007e000000fc, 0x0000004b99999ac9,
  0x00000088aaaaabbc, 0x0000005200000149,
  0x0000002a00000054, 0x0000001933333399,
  0x00000053aaaaab52, 0x00000032333333fd,
  0x0000005e55555612, 0x0000003899999a7d,
  0x0000005f55555614, 0x0000003933333419,
  0x00000029aaaaaafe, 0x0000001900000065,
  0x00000034555555be, 0x0000001f666666e5,
  0x00000035555555c0, 0x0000002000000081,
  0x000000360000006c, 0x00000020666666e9,
  0x0000000aaaaaaac0, 0x0000000666666681,
  0x0000000baaaaaac2, 0x000000070000001d,
  0x0000000c5555556e, 0x0000000766666685,
  0x0000000caaaaaac4, 0x00000007999999b9,
  0x000000009999999c, 0x0000000000018001,
  0x0000000100000004, 0x0000000000028001,
  0x0000000133333338, 0x0000000000030001,
  0x0000000133333338, 0x0000000000030001,
  0x0000000066666668, 0x0000000000010001,
  0x000000009999999c, 0x0000000000018001,
  0x000000009999999c, 0x0000000000018001,
  0x0000000066666668, 0x0000000000010001,
  0x0000000033333334, 0x0000000000008001,
  0x0000000033333334, 0x0000000000008001,
  0x0000000000000000, 0x0000000000000001,
  0xffffffff99999998, 0xffffffffffff0001,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffcccccccc, 0xffffffffffff8001,
  0xffffffff66666664, 0xfffffffffffe8001,
  0xfffffff8ffffffe4, 0xffffffffffee8001,
  0xffffffffcccccccc, 0xffffffffffff8001,
  0xffffffff66666664, 0xfffffffffffe8001,
  0xfffffff8ffffffe4, 0xffffffffffee8001,
  0xffffffdfffffff80, 0xffffffffffb00001,
  0xffffffff99999998, 0xffffffffffff0001,
  0xfffffff933333318, 0xffffffffffef0001,
  0xffffffe0333332b4, 0xffffffffffb08001,
  0xffffffc6ffffff1c, 0xffffffffff718001,
  0xfffffff999999980, 0xfffffffffff00001,
  0xffffffe09999991c, 0xffffffffffb18001,
  0xffffffc766666584, 0xffffffffff728001,
  0xffffffadfffffeb8, 0xffffffffff330001,
  0xffffffe6ffffff9c, 0xffffffffffc18001,
  0xffffffcdcccccc04, 0xffffffffff828001,
  0xffffffb466666538, 0xffffffffff430001,
  0xffffe61b6665fed4, 0xffffffffbf448001,
  0xffffffe6cccccc68, 0xffffffffffc10001,
  0xffffffcd6666659c, 0xffffffffff818001,
  0xffffe6346665ff38, 0xffffffffbf830001,
  0xffffcc9b333265a0, 0xffffffff7f840001,
  0xffffffe699999934, 0xffffffffffc08001,
  0xffffe64d999932d0, 0xffffffffbfc20001,
  0xffffccb466659938, 0xffffffff7fc30001,
  0xffffb31afffecc6c, 0xffffffff3fc38001,
  0xffffe666ffff999c, 0xffffffffc0018001,
  0xffffcccdcccc0004, 0xffffffff80028001,
  0xffffb33466653338, 0xffffffff40030001,
  0xf5c2429070a2a3dc, 0xffffe665a6698001,
  0xffffe666cccc6668, 0xffffffffc0010001,
  0xffffcccd6665999c, 0xffffffff80018001,
  0xf5c25c2970a30a40, 0xffffe665e6680001,
  0xe4b14b182c5ec5fc, 0xffffbbbb3bbd8001,
  0xffffe66699993334, 0xffffffffc0008001,
  0xf5c275c2a3d6a3d8, 0xffffe66626670001,
  0xe4b164b15f925f94, 0xffffbbbb7bbc8001,
  0xcb17cb17f92bf930, 0xffff7bbb7bbe0001,
  0xf5c28f5c0a3d70a4, 0xffffe66666668001,
  0xe4b17e4ac5f92c60, 0xffffbbbbbbbc0001,
  0xcb17e4b15f92c5fc, 0xffff7bbbbbbd8001,
  0xb17e4b17c5f92c64, 0xffff3bbbbbbe8001,
  0xeeeeeeeebbbbbbbc, 0xffffd55555558001,
  0xd555555555555558, 0xffff955555570001,
  0xbbbbbbbbbbbbbbc0, 0xffff555555580001,
  0xa2222221eeeeeef4, 0xffff155555588001,
  0xe66666669999999c, 0xffffc00000018001,
  0xcccccccd00000004, 0xffff800000028001,
  0xb333333333333338, 0xffff400000030001,
  0xcccccccd33333338, 0xffff800000030001,
  0xe666666666666668, 0xffffc00000010001,
  0xcccccccc9999999c, 0xffff800000018001,
  0xe66666669999999c, 0xffffc00000018001,
  0x0000000066666668, 0x0000000000010001,
  0xe666666633333334, 0xffffc00000008001,
  0x0000000033333334, 0x0000000000008001,
  0x1999999a00000000, 0x0000400000000001,
  0x2aaaaaab77777778, 0x00006aaaaaab0001,
  0x1999999a00000000, 0x0000400000000001,
  0x33333333cccccccc, 0x00007fffffff8001,
  0x4444444544444444, 0x0000aaaaaaaa8001,
  0x4e81b4e96d3a06d4, 0x0000c44444448001,
  0x19999999cccccccc, 0x00003fffffff8001,
  0x2aaaaaab44444444, 0x00006aaaaaaa8001,
  0x34e81b4f6d3a06d4, 0x0000844444448001,
  0x34e834e906d406d4, 0x0000844484448001,
  0x1111111177777778, 0x00002aaaaaab0001,
  0x1b4e81b5a06d3a08, 0x0000444444450001,
  0x1b4e9b4f3a073a08, 0x0000444484450001,
  0x1b4eb4e8a06e06d4, 0x00004444c4448001,
  0x0a3d70a428f5c290, 0x00001999999a0001,
  0x0a3d8a3dc28fc290, 0x00001999d99a0001,
  0x0a3da3d728f68f5c, 0x0000199a19998001,
  0x0a3dbd705c2a28f4, 0x0000199a59988001,
  0x00001999999a0000, 0x0000000040000001,
  0x000033330000cccc, 0x000000007fff8001,
  0x00004ccc33346664, 0x00000000bffe8001,
  0x000066653334ccc8, 0x00000000fffd0001,
  0x000019996666cccc, 0x000000003fff8001,
  0x00003332999a6664, 0x000000007ffe8001,
  0x00004ccb999accc8, 0x00000000bffd0001,
  0x00004ce5333466c8, 0x00000000c03d0001,
  0x0000199933339998, 0x000000003fff0001,
  0x000033323333fffc, 0x000000007ffd8001,
  0x0000334bcccd99fc, 0x00000000803d8001,
  0x00003365333400c8, 0x00000000807d0001,
  0x0000199900006664, 0x000000003ffe8001,
  0x000019b2999a0064, 0x00000000403e8001,
  0x000019cc00006730, 0x00000000407e0001,
  0x000019e533339ac8, 0x0000000040bd0001,
  0x0000001999999a00, 0x0000000000400001,
  0x00000033000000cc, 0x00000000007f8001,
  0x0000004c33333464, 0x0000000000be8001,
  0x00000065333334c8, 0x0000000000fd0001,
  0x00000019666666cc, 0x00000000003f8001,
  0x0000003299999a64, 0x00000000007e8001,
  0x0000004b99999ac8, 0x0000000000bd0001,
  0x0000005200000148, 0x0000000000cd0001,
  0x0000001933333398, 0x00000000003f0001,
  0x00000032333333fc, 0x00000000007d8001,
  0x0000003899999a7c, 0x00000000008d8001,
  0x0000003933333418, 0x00000000008f0001,
  0x0000001900000064, 0x00000000003e8001,
  0x0000001f666666e4, 0x00000000004e8001,
  0x0000002000000080, 0x0000000000500001,
  0x00000020666666e8, 0x0000000000510001,
  0x0000000666666680, 0x0000000000100001,
  0x000000070000001c, 0x0000000000118001,
  0x0000000766666684, 0x0000000000128001,
  0x00000007999999b8, 0x0000000000130001,
  0x0000000000018000, 0x0000000000017ffe,
  0x0000000000028000, 0x0000000000027ffc,
  0x0000000000030000, 0x000000000002fffb,
  0x0000000000030000, 0x000000000002fffb,
  0x0000000000010000, 0x000000000000ffff,
  0x0000000000018000, 0x0000000000017ffe,
  0x0000000000018000, 0x0000000000017ffe,
  0x0000000000010000, 0x000000000000ffff,
  0x0000000000008000, 0x0000000000008000,
  0x0000000000008000, 0x0000000000008000,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffff0000, 0xffffffffffff0003,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffff8000, 0xffffffffffff8002,
  0xfffffffffffe8000, 0xfffffffffffe8004,
  0xffffffffffee8000, 0xffffffffffee8024,
  0xffffffffffff8000, 0xffffffffffff8002,
  0xfffffffffffe8000, 0xfffffffffffe8004,
  0xffffffffffee8000, 0xffffffffffee8024,
  0xffffffffffb00000, 0xffffffffffb000a1,
  0xffffffffffff0000, 0xffffffffffff0003,
  0xffffffffffef0000, 0xffffffffffef0023,
  0xffffffffffb08000, 0xffffffffffb080a0,
  0xffffffffff718000, 0xffffffffff71811e,
  0xfffffffffff00000, 0xfffffffffff00021,
  0xffffffffffb18000, 0xffffffffffb1809e,
  0xffffffffff728000, 0xffffffffff72811c,
  0xffffffffff330000, 0xffffffffff33019b,
  0xffffffffffc18000, 0xffffffffffc1807e,
  0xffffffffff828000, 0xffffffffff8280fc,
  0xffffffffff430000, 0xffffffffff43017b,
  0xffffffffbf448000, 0xffffffffbf450178,
  0xffffffffffc10000, 0xffffffffffc1007f,
  0xffffffffff818000, 0xffffffffff8180fe,
  0xffffffffbf830000, 0xffffffffbf8380fb,
  0xffffffff7f840000, 0xffffffff7f8500f9,
  0xffffffffffc08000, 0xffffffffffc08080,
  0xffffffffbfc20000, 0xffffffffbfc2807d,
  0xffffffff7fc30000, 0xffffffff7fc4007b,
  0xffffffff3fc38000, 0xffffffff3fc5007a,
  0xffffffffc0018000, 0xffffffffc001fffe,
  0xffffffff80028000, 0xffffffff80037ffc,
  0xffffffff40030000, 0xffffffff40047ffb,
  0xffffe665a6698000, 0xffffe665d99e332e,
  0xffffffffc0010000, 0xffffffffc0017fff,
  0xffffffff80018000, 0xffffffff80027ffe,
  0xffffe665e6680000, 0xffffe666199c3331,
  0xffffbbbb3bbd8000, 0xffffbbbbc4470886,
  0xffffffffc0008000, 0xffffffffc0010000,
  0xffffe66626670000, 0xffffe666599ab333,
  0xffffbbbb7bbc8000, 0xffffbbbc04458888,
  0xffff7bbb7bbe0000, 0xffff7bbc84470885,
  0xffffe66666668000, 0xffffe6669999b334,
  0xffffbbbbbbbc0000, 0xffffbbbc44448889,
  0xffff7bbbbbbd8000, 0xffff7bbcc4460886,
  0xffff3bbbbbbe8000, 0xffff3bbd44470884,
  0xffffd55555558000, 0xffffd555aaaad556,
  0xffff955555570000, 0xffff95562aac5553,
  0xffff555555580000, 0xffff5556aaad5551,
  0xffff155555588000, 0xffff15572aadd550,
  0xffffc00000018000, 0xffffc00080017ffe,
  0xffff800000028000, 0xffff800100027ffc,
  0xffff400000030000, 0xffff40018002fffb,
  0xffff800000030000, 0xffff80010002fffb,
  0xffffc00000010000, 0xffffc0008000ffff,
  0xffff800000018000, 0xffff800100017ffe,
  0xffffc00000018000, 0xffffc00080017ffe,
  0x0000000000010000, 0x000000000000ffff,
  0xffffc00000008000, 0xffffc00080008000,
  0x0000000000008000, 0x0000000000008000,
  0x0000400000000000, 0x00003fff80000001,
  0x00006aaaaaab0000, 0x00006aa9d555aaab,
  0x0000400000000000, 0x00003fff80000001,
  0x00007fffffff8000, 0x00007ffeffff8002,
  0x0000aaaaaaaa8000, 0x0000aaa955552aac,
  0x0000c44444448000, 0x0000c442bbbbf778,
  0x00003fffffff8000, 0x00003fff7fff8002,
  0x00006aaaaaaa8000, 0x00006aa9d5552aac,
  0x0000844444448000, 0x000084433bbbf778,
  0x0000844484448000, 0x000084437bbb7778,
  0x00002aaaaaab0000, 0x00002aaa5555aaab,
  0x0000444444450000, 0x00004443bbbc7777,
  0x0000444484450000, 0x00004443fbbbf777,
  0x00004444c4448000, 0x000044443bbaf778,
  0x00001999999a0000, 0x000019996666cccd,
  0x00001999d99a0000, 0x00001999a6664ccd,
  0x0000199a19998000, 0x00001999e6654cce,
  0x0000199a59988000, 0x0000199a2663ccd0,
  0x0000000040000000, 0x000000003fff8001,
  0x000000007fff8000, 0x000000007ffe8002,
  0x00000000bffe8000, 0x00000000bffd0004,
  0x00000000fffd0000, 0x00000000fffb0007,
  0x000000003fff8000, 0x000000003fff0002,
  0x000000007ffe8000, 0x000000007ffd8004,
  0x00000000bffd0000, 0x00000000bffb8007,
  0x00000000c03d0000, 0x00000000c03b7f87,
  0x000000003fff0000, 0x000000003ffe8003,
  0x000000007ffd8000, 0x000000007ffc8006,
  0x00000000803d8000, 0x00000000803c7f86,
  0x00000000807d0000, 0x00000000807bff07,
  0x000000003ffe8000, 0x000000003ffe0004,
  0x00000000403e8000, 0x00000000403dff84,
  0x00000000407e0000, 0x00000000407d7f05,
  0x0000000040bd0000, 0x0000000040bc7e87,
  0x0000000000400000, 0x00000000003fff81,
  0x00000000007f8000, 0x00000000007f7f02,
  0x0000000000be8000, 0x0000000000be7e84,
  0x0000000000fd0000, 0x0000000000fcfe07,
  0x00000000003f8000, 0x00000000003f7f82,
  0x00000000007e8000, 0x00000000007e7f04,
  0x0000000000bd0000, 0x0000000000bcfe87,
  0x0000000000cd0000, 0x0000000000ccfe67,
  0x00000000003f0000, 0x00000000003eff83,
  0x00000000007d8000, 0x00000000007d7f06,
  0x00000000008d8000, 0x00000000008d7ee6,
  0x00000000008f0000, 0x00000000008efee3,
  0x00000000003e8000, 0x00000000003e7f84,
  0x00000000004e8000, 0x00000000004e7f64,
  0x0000000000500000, 0x00000000004fff61,
  0x0000000000510000, 0x000000000050ff5f,
  0x0000000000100000, 0x00000000000fffe1,
  0x0000000000118000, 0x0000000000117fde,
  0x0000000000128000, 0x0000000000127fdc,
  0x0000000000130000, 0x000000000012ffdb,
  0x0000000000017ffd, 0x0000000000017ffb,
  0x0000000000027ffb, 0x0000000000027ff7,
  0x000000000002fffa, 0x000000000002fff5,
  0x000000000002fffa, 0x000000000002fff5,
  0x000000000000fffe, 0x000000000000fffd,
  0x0000000000017ffd, 0x0000000000017ffb,
  0x0000000000017ffd, 0x0000000000017ffb,
  0x000000000000fffe, 0x000000000000fffd,
  0x0000000000007fff, 0x0000000000007fff,
  0x0000000000007fff, 0x0000000000007fff,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffff0002, 0xffffffffffff0005,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffff8001, 0xffffffffffff8003,
  0xfffffffffffe8003, 0xfffffffffffe8007,
  0xffffffffffee8023, 0xffffffffffee8047,
  0xffffffffffff8001, 0xffffffffffff8003,
  0xfffffffffffe8003, 0xfffffffffffe8007,
  0xffffffffffee8023, 0xffffffffffee8047,
  0xffffffffffb000a0, 0xffffffffffb00141,
  0xffffffffffff0002, 0xffffffffffff0005,
  0xffffffffffef0022, 0xffffffffffef0045,
  0xffffffffffb0809f, 0xffffffffffb0813f,
  0xffffffffff71811d, 0xffffffffff71823b,
  0xfffffffffff00020, 0xfffffffffff00041,
  0xffffffffffb1809d, 0xffffffffffb1813b,
  0xffffffffff72811b, 0xffffffffff728237,
  0xffffffffff33019a, 0xffffffffff330335,
  0xffffffffffc1807d, 0xffffffffffc180fb,
  0xffffffffff8280fb, 0xffffffffff8281f7,
  0xffffffffff43017a, 0xffffffffff4302f5,
  0xffffffffbf450177, 0xffffffffbf4582ef,
  0xffffffffffc1007e, 0xffffffffffc100fd,
  0xffffffffff8180fd, 0xffffffffff8181fb,
  0xffffffffbf8380fa, 0xffffffffbf8401f5,
  0xffffffff7f8500f8, 0xffffffff7f8601f1,
  0xffffffffffc0807f, 0xffffffffffc080ff,
  0xffffffffbfc2807c, 0xffffffffbfc300f9,
  0xffffffff7fc4007a, 0xffffffff7fc500f5,
  0xffffffff3fc50079, 0xffffffff3fc680f3,
  0xffffffffc001fffd, 0xffffffffc0027ffb,
  0xffffffff80037ffb, 0xffffffff80047ff7,
  0xffffffff40047ffa, 0xffffffff4005fff5,
  0xffffe665d99e332d, 0xffffe6660cd2e65b,
  0xffffffffc0017ffe, 0xffffffffc001fffd,
  0xffffffff80027ffd, 0xffffffff80037ffb,
  0xffffe666199c3330, 0xffffe6664cd06661,
  0xffffbbbbc4470885, 0xffffbbbc4cd0910b,
  0xffffffffc000ffff, 0xffffffffc0017fff,
  0xffffe666599ab332, 0xffffe6668cce6665,
  0xffffbbbc04458887, 0xffffbbbc8cce910f,
  0xffff7bbc84470884, 0xffff7bbd8cd01109,
  0xffffe6669999b333, 0xffffe666cccce667,
  0xffffbbbc44448888, 0xffffbbbccccd1111,
  0xffff7bbcc4460885, 0xffff7bbdccce910b,
  0xffff3bbd44470883, 0xffff3bbecccf9107,
  0xffffd555aaaad555, 0xffffd55600002aab,
  0xffff95562aac5552, 0xffff95570001aaa5,
  0xffff5556aaad5550, 0xffff55580002aaa1,
  0xffff15572aadd54f, 0xffff155900032a9f,
  0xffffc00080017ffd, 0xffffc00100017ffb,
  0xffff800100027ffb, 0xffff800200027ff7,
  0xffff40018002fffa, 0xffff40030002fff5,
  0xffff80010002fffa, 0xffff80020002fff5,
  0xffffc0008000fffe, 0xffffc0010000fffd,
  0xffff800100017ffd, 0xffff800200017ffb,
  0xffffc00080017ffd, 0xffffc00100017ffb,
  0x000000000000fffe, 0x000000000000fffd,
  0xffffc00080007fff, 0xffffc00100007fff,
  0x0000000000007fff, 0x0000000000007fff,
  0x00003fff80000000, 0x00003fff00000001,
  0x00006aa9d555aaaa, 0x00006aa900005555,
  0x00003fff80000000, 0x00003fff00000001,
  0x00007ffeffff8001, 0x00007ffdffff8003,
  0x0000aaa955552aab, 0x0000aaa7ffffd557,
  0x0000c442bbbbf777, 0x0000c44133336eef,
  0x00003fff7fff8001, 0x00003ffeffff8003,
  0x00006aa9d5552aab, 0x00006aa8ffffd557,
  0x000084433bbbf777, 0x0000844233336eef,
  0x000084437bbb7777, 0x0000844273326eef,
  0x00002aaa5555aaaa, 0x00002aaa00005555,
  0x00004443bbbc7776, 0x000044433333eeed,
  0x00004443fbbbf776, 0x000044437332eeed,
  0x000044443bbaf777, 0x00004443b3316eef,
  0x000019996666cccc, 0x0000199933339999,
  0x00001999a6664ccc, 0x0000199973329999,
  0x00001999e6654ccd, 0x00001999b331199b,
  0x0000199a2663cccf, 0x00001999f32f199f,
  0x000000003fff8000, 0x000000003fff0001,
  0x000000007ffe8001, 0x000000007ffd8003,
  0x00000000bffd0003, 0x00000000bffb8007,
  0x00000000fffb0006, 0x00000000fff9000d,
  0x000000003fff0001, 0x000000003ffe8003,
  0x000000007ffd8003, 0x000000007ffc8007,
  0x00000000bffb8006, 0x00000000bffa000d,
  0x00000000c03b7f86, 0x00000000c039ff0d,
  0x000000003ffe8002, 0x000000003ffe0005,
  0x000000007ffc8005, 0x000000007ffb800b,
  0x00000000803c7f85, 0x00000000803b7f0b,
  0x00000000807bff06, 0x00000000807afe0d,
  0x000000003ffe0003, 0x000000003ffd8007,
  0x00000000403dff83, 0x00000000403d7f07,
  0x00000000407d7f04, 0x00000000407cfe09,
  0x0000000040bc7e86, 0x0000000040bbfd0d,
  0x00000000003fff80, 0x00000000003fff01,
  0x00000000007f7f01, 0x00000000007f7e03,
  0x0000000000be7e83, 0x0000000000be7d07,
  0x0000000000fcfe06, 0x0000000000fcfc0d,
  0x00000000003f7f81, 0x00000000003f7f03,
  0x00000000007e7f03, 0x00000000007e7e07,
  0x0000000000bcfe86, 0x0000000000bcfd0d,
  0x0000000000ccfe66, 0x0000000000ccfccd,
  0x00000000003eff82, 0x00000000003eff05,
  0x00000000007d7f05, 0x00000000007d7e0b,
  0x00000000008d7ee5, 0x00000000008d7dcb,
  0x00000000008efee2, 0x00000000008efdc5,
  0x00000000003e7f83, 0x00000000003e7f07,
  0x00000000004e7f63, 0x00000000004e7ec7,
  0x00000000004fff60, 0x00000000004ffec1,
  0x000000000050ff5e, 0x000000000050febd,
  0x00000000000fffe0, 0x00000000000fffc1,
  0x0000000000117fdd, 0x0000000000117fbb,
  0x0000000000127fdb, 0x0000000000127fb7,
  0x000000000012ffda, 0x000000000012ffb5,
  0x0000000000017ffa, 0x0000000000017ff8,
  0x0000000000027ff6, 0x0000000000027ff2,
  0x000000000002fff4, 0x000000000002ffef,
  0x000000000002fff4, 0x000000000002ffef,
  0x000000000000fffc, 0x000000000000fffb,
  0x0000000000017ffa, 0x0000000000017ff8,
  0x0000000000017ffa, 0x0000000000017ff8,
  0x000000000000fffc, 0x000000000000fffb,
  0x0000000000007ffe, 0x0000000000007ffe,
  0x0000000000007ffe, 0x0000000000007ffe,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffff0004, 0xffffffffffff0007,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffff8002, 0xffffffffffff8004,
  0xfffffffffffe8006, 0xfffffffffffe800a,
  0xffffffffffee8046, 0xffffffffffee806a,
  0xffffffffffff8002, 0xffffffffffff8004,
  0xfffffffffffe8006, 0xfffffffffffe800a,
  0xffffffffffee8046, 0xffffffffffee806a,
  0xffffffffffb00140, 0xffffffffffb001e1,
  0xffffffffffff0004, 0xffffffffffff0007,
  0xffffffffffef0044, 0xffffffffffef0067,
  0xffffffffffb0813e, 0xffffffffffb081de,
  0xffffffffff71823a, 0xffffffffff718358,
  0xfffffffffff00040, 0xfffffffffff00061,
  0xffffffffffb1813a, 0xffffffffffb181d8,
  0xffffffffff728236, 0xffffffffff728352,
  0xffffffffff330334, 0xffffffffff3304cf,
  0xffffffffffc180fa, 0xffffffffffc18178,
  0xffffffffff8281f6, 0xffffffffff8282f2,
  0xffffffffff4302f4, 0xffffffffff43046f,
  0xffffffffbf4582ee, 0xffffffffbf460466,
  0xffffffffffc100fc, 0xffffffffffc1017b,
  0xffffffffff8181fa, 0xffffffffff8182f8,
  0xffffffffbf8401f4, 0xffffffffbf8482ef,
  0xffffffff7f8601f0, 0xffffffff7f8702e9,
  0xffffffffffc080fe, 0xffffffffffc0817e,
  0xffffffffbfc300f8, 0xffffffffbfc38175,
  0xffffffff7fc500f4, 0xffffffff7fc6016f,
  0xffffffff3fc680f2, 0xffffffff3fc8016c,
  0xffffffffc0027ffa, 0xffffffffc002fff8,
  0xffffffff80047ff6, 0xffffffff80057ff2,
  0xffffffff4005fff4, 0xffffffff40077fef,
  0xffffe6660cd2e65a, 0xffffe66640079988,
  0xffffffffc001fffc, 0xffffffffc0027ffb,
  0xffffffff80037ffa, 0xffffffff80047ff8,
  0xffffe6664cd06660, 0xffffe66680049991,
  0xffffbbbc4cd0910a, 0xffffbbbcd55a1990,
  0xffffffffc0017ffe, 0xffffffffc001fffe,
  0xffffe6668cce6664, 0xffffe666c0021997,
  0xffffbbbc8cce910e, 0xffffbbbd15579996,
  0xffff7bbd8cd01108, 0xffff7bbe9559198d,
  0xffffe666cccce666, 0xffffe6670000199a,
  0xffffbbbccccd1110, 0xffffbbbd55559999,
  0xffff7bbdccce910a, 0xffff7bbed5571990,
  0xffff3bbecccf9106, 0xffff3bc05558198a,
  0xffffd55600002aaa, 0xffffd55655558000,
  0xffff95570001aaa4, 0xffff9557d556fff7,
  0xffff55580002aaa0, 0xffff55595557fff1,
  0xffff155900032a9e, 0xffff155ad5587fee,
  0xffffc00100017ffa, 0xffffc00180017ff8,
  0xffff800200027ff6, 0xffff800300027ff2,
  0xffff40030002fff4, 0xffff40048002ffef,
  0xffff80020002fff4, 0xffff80030002ffef,
  0xffffc0010000fffc, 0xffffc0018000fffb,
  0xffff800200017ffa, 0xffff800300017ff8,
  0xffffc00100017ffa, 0xffffc00180017ff8,
  0x000000000000fffc, 0x000000000000fffb,
  0xffffc00100007ffe, 0xffffc00180007ffe,
  0x0000000000007ffe, 0x0000000000007ffe,
  0x00003fff00000000, 0x00003ffe80000001,
  0x00006aa900005554, 0x00006aa82aaaffff,
  0x00003fff00000000, 0x00003ffe80000001,
  0x00007ffdffff8002, 0x00007ffcffff8004,
  0x0000aaa7ffffd556, 0x0000aaa6aaaa8002,
  0x0000c44133336eee, 0x0000c43faaaae666,
  0x00003ffeffff8002, 0x00003ffe7fff8004,
  0x00006aa8ffffd556, 0x00006aa82aaa8002,
  0x0000844233336eee, 0x000084412aaae666,
  0x0000844273326eee, 0x000084416aa96666,
  0x00002aaa00005554, 0x00002aa9aaaaffff,
  0x000044433333eeec, 0x00004442aaab6663,
  0x000044437332eeec, 0x00004442eaa9e663,
  0x00004443b3316eee, 0x000044432aa7e666,
  0x0000199933339998, 0x0000199900006665,
  0x0000199973329998, 0x000019993ffee665,
  0x00001999b331199a, 0x000019997ffce668,
  0x00001999f32f199e, 0x00001999bffa666e,
  0x000000003fff0000, 0x000000003ffe8001,
  0x000000007ffd8002, 0x000000007ffc8004,
  0x00000000bffb8006, 0x00000000bffa000a,
  0x00000000fff9000c, 0x00000000fff70013,
  0x000000003ffe8002, 0x000000003ffe0004,
  0x000000007ffc8006, 0x000000007ffb800a,
  0x00000000bffa000c, 0x00000000bff88013,
  0x00000000c039ff0c, 0x00000000c0387e93,
  0x000000003ffe0004, 0x000000003ffd8007,
  0x000000007ffb800a, 0x000000007ffa8010,
  0x00000000803b7f0a, 0x00000000803a7e90,
  0x00000000807afe0c, 0x000000008079fd13,
  0x000000003ffd8006, 0x000000003ffd000a,
  0x00000000403d7f06, 0x00000000403cfe8a,
  0x00000000407cfe08, 0x00000000407c7d0d,
  0x0000000040bbfd0c, 0x0000000040bb7b93,
  0x00000000003fff00, 0x00000000003ffe81,
  0x00000000007f7e02, 0x00000000007f7d04,
  0x0000000000be7d06, 0x0000000000be7b8a,
  0x0000000000fcfc0c, 0x0000000000fcfa13,
  0x00000000003f7f02, 0x00000000003f7e84,
  0x00000000007e7e06, 0x00000000007e7d0a,
  0x0000000000bcfd0c, 0x0000000000bcfb93,
  0x0000000000ccfccc, 0x0000000000ccfb33,
  0x00000000003eff04, 0x00000000003efe87,
  0x00000000007d7e0a, 0x00000000007d7d10,
  0x00000000008d7dca, 0x00000000008d7cb0,
  0x00000000008efdc4, 0x00000000008efca7,
  0x00000000003e7f06, 0x00000000003e7e8a,
  0x00000000004e7ec6, 0x00000000004e7e2a,
  0x00000000004ffec0, 0x00000000004ffe21,
  0x000000000050febc, 0x000000000050fe1b,
  0x00000000000fffc0, 0x00000000000fffa1,
  0x0000000000117fba, 0x0000000000117f98,
  0x0000000000127fb6, 0x0000000000127f92,
  0x000000000012ffb4, 0x000000000012ff8f,
  0x0000000000017ff7, 0x0000000000000181,
  0x0000000000027ff1, 0x0000000000000281,
  0x000000000002ffee, 0x0000000000000301,
  0x000000000002ffee, 0x0000000000000301,
  0x000000000000fffa, 0x0000000000000101,
  0x0000000000017ff7, 0x0000000000000181,
  0x0000000000017ff7, 0x0000000000000181,
  0x000000000000fffa, 0x0000000000000101,
  0x0000000000007ffd, 0x0000000000000081,
  0x0000000000007ffd, 0x0000000000000081,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffff0006, 0xffffffffffffff01,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffff8003, 0xffffffffffffff81,
  0xfffffffffffe8009, 0xfffffffffffffe81,
  0xffffffffffee8069, 0xffffffffffffee81,
  0xffffffffffff8003, 0xffffffffffffff81,
  0xfffffffffffe8009, 0xfffffffffffffe81,
  0xffffffffffee8069, 0xffffffffffffee81,
  0xffffffffffb001e0, 0xffffffffffffb001,
  0xffffffffffff0006, 0xffffffffffffff01,
  0xffffffffffef0066, 0xffffffffffffef01,
  0xffffffffffb081dd, 0xffffffffffffb081,
  0xffffffffff718357, 0xffffffffffff7181,
  0xfffffffffff00060, 0xfffffffffffff001,
  0xffffffffffb181d7, 0xffffffffffffb181,
  0xffffffffff728351, 0xffffffffffff7281,
  0xffffffffff3304ce, 0xffffffffffff3301,
  0xffffffffffc18177, 0xffffffffffffc181,
  0xffffffffff8282f1, 0xffffffffffff8281,
  0xffffffffff43046e, 0xffffffffffff4301,
  0xffffffffbf460465, 0xffffffffffbf4481,
  0xffffffffffc1017a, 0xffffffffffffc101,
  0xffffffffff8182f7, 0xffffffffffff8181,
  0xffffffffbf8482ee, 0xffffffffffbf8301,
  0xffffffff7f8702e8, 0xffffffffff7f8401,
  0xffffffffffc0817d, 0xffffffffffffc081,
  0xffffffffbfc38174, 0xffffffffffbfc201,
  0xffffffff7fc6016e, 0xffffffffff7fc301,
  0xffffffff3fc8016b, 0xffffffffff3fc381,
  0xffffffffc002fff7, 0xffffffffffc00181,
  0xffffffff80057ff1, 0xffffffffff800281,
  0xffffffff40077fee, 0xffffffffff400301,
  0xffffe66640079987, 0xffffffe665a66981,
  0xffffffffc0027ffa, 0xffffffffffc00101,
  0xffffffff80047ff7, 0xffffffffff800181,
  0xffffe66680049990, 0xffffffe665e66801,
  0xffffbbbcd55a198f, 0xffffffbbbb3bbd81,
  0xffffffffc001fffd, 0xffffffffffc00081,
  0xffffe666c0021996, 0xffffffe666266701,
  0xffffbbbd15579995, 0xffffffbbbb7bbc81,
  0xffff7bbe9559198c, 0xffffff7bbb7bbe01,
  0xffffe66700001999, 0xffffffe666666681,
  0xffffbbbd55559998, 0xffffffbbbbbbbc01,
  0xffff7bbed557198f, 0xffffff7bbbbbbd81,
  0xffff3bc055581989, 0xffffff3bbbbbbe81,
  0xffffd55655557fff, 0xffffffd555555581,
  0xffff9557d556fff6, 0xffffff9555555701,
  0xffff55595557fff0, 0xffffff5555555801,
  0xffff155ad5587fed, 0xffffff1555555881,
  0xffffc00180017ff7, 0xffffffc000000181,
  0xffff800300027ff1, 0xffffff8000000281,
  0xffff40048002ffee, 0xffffff4000000301,
  0xffff80030002ffee, 0xffffff8000000301,
  0xffffc0018000fffa, 0xffffffc000000101,
  0xffff800300017ff7, 0xffffff8000000181,
  0xffffc00180017ff7, 0xffffffc000000181,
  0x000000000000fffa, 0x0000000000000101,
  0xffffc00180007ffd, 0xffffffc000000081,
  0x0000000000007ffd, 0x0000000000000081,
  0x00003ffe80000000, 0x0000004000000001,
  0x00006aa82aaafffe, 0x0000006aaaaaab01,
  0x00003ffe80000000, 0x0000004000000001,
  0x00007ffcffff8003, 0x0000007fffffff81,
  0x0000aaa6aaaa8001, 0x000000aaaaaaaa81,
  0x0000c43faaaae665, 0x000000c444444481,
  0x00003ffe7fff8003, 0x0000003fffffff81,
  0x00006aa82aaa8001, 0x0000006aaaaaaa81,
  0x000084412aaae665, 0x0000008444444481,
  0x000084416aa96665, 0x0000008444844481,
  0x00002aa9aaaafffe, 0x0000002aaaaaab01,
  0x00004442aaab6662, 0x0000004444444501,
  0x00004442eaa9e662, 0x0000004444844501,
  0x000044432aa7e665, 0x0000004444c44481,
  0x0000199900006664, 0x0000001999999a01,
  0x000019993ffee664, 0x0000001999d99a01,
  0x000019997ffce667, 0x000000199a199981,
  0x00001999bffa666d, 0x000000199a599881,
  0x000000003ffe8000, 0x0000000000400001,
  0x000000007ffc8003, 0x00000000007fff81,
  0x00000000bffa0009, 0x0000000000bffe81,
  0x00000000fff70012, 0x0000000000fffd01,
  0x000000003ffe0003, 0x00000000003fff81,
  0x000000007ffb8009, 0x00000000007ffe81,
  0x00000000bff88012, 0x0000000000bffd01,
  0x00000000c0387e92, 0x0000000000c03d01,
  0x000000003ffd8006, 0x00000000003fff01,
  0x000000007ffa800f, 0x00000000007ffd81,
  0x00000000803a7e8f, 0x0000000000803d81,
  0x000000008079fd12, 0x0000000000807d01,
  0x000000003ffd0009, 0x00000000003ffe81,
  0x00000000403cfe89, 0x0000000000403e81,
  0x00000000407c7d0c, 0x0000000000407e01,
  0x0000000040bb7b92, 0x000000000040bd01,
  0x00000000003ffe80, 0x0000000000004001,
  0x00000000007f7d03, 0x0000000000007f81,
  0x0000000000be7b89, 0x000000000000be81,
  0x0000000000fcfa12, 0x000000000000fd01,
  0x00000000003f7e83, 0x0000000000003f81,
  0x00000000007e7d09, 0x0000000000007e81,
  0x0000000000bcfb92, 0x000000000000bd01,
  0x0000000000ccfb32, 0x000000000000cd01,
  0x00000000003efe86, 0x0000000000003f01,
  0x00000000007d7d0f, 0x0000000000007d81,
  0x00000000008d7caf, 0x0000000000008d81,
  0x00000000008efca6, 0x0000000000008f01,
  0x00000000003e7e89, 0x0000000000003e81,
  0x00000000004e7e29, 0x0000000000004e81,
  0x00000000004ffe20, 0x0000000000005001,
  0x000000000050fe1a, 0x0000000000005101,
  0x00000000000fffa0, 0x0000000000001001,
  0x0000000000117f97, 0x0000000000001181,
  0x0000000000127f91, 0x0000000000001281,
  0x000000000012ff8e, 0x0000000000001301,
  0x0000000000000180, 0x000000000000017e,
  0x0000000000000280, 0x000000000000027c,
  0x0000000000000300, 0x00000000000002fb,
  0x0000000000000300, 0x00000000000002fb,
  0x0000000000000100, 0x00000000000000ff,
  0x0000000000000180, 0x000000000000017e,
  0x0000000000000180, 0x000000000000017e,
  0x0000000000000100, 0x00000000000000ff,
  0x0000000000000080, 0x0000000000000080,
  0x0000000000000080, 0x0000000000000080,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffffff00, 0xffffffffffffff03,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffffff80, 0xffffffffffffff82,
  0xfffffffffffffe80, 0xfffffffffffffe84,
  0xffffffffffffee80, 0xffffffffffffeea4,
  0xffffffffffffff80, 0xffffffffffffff82,
  0xfffffffffffffe80, 0xfffffffffffffe84,
  0xffffffffffffee80, 0xffffffffffffeea4,
  0xffffffffffffb000, 0xffffffffffffb0a1,
  0xffffffffffffff00, 0xffffffffffffff03,
  0xffffffffffffef00, 0xffffffffffffef23,
  0xffffffffffffb080, 0xffffffffffffb120,
  0xffffffffffff7180, 0xffffffffffff729e,
  0xfffffffffffff000, 0xfffffffffffff021,
  0xffffffffffffb180, 0xffffffffffffb21e,
  0xffffffffffff7280, 0xffffffffffff739c,
  0xffffffffffff3300, 0xffffffffffff349b,
  0xffffffffffffc180, 0xffffffffffffc1fe,
  0xffffffffffff8280, 0xffffffffffff837c,
  0xffffffffffff4300, 0xffffffffffff447b,
  0xffffffffffbf4480, 0xffffffffffbfc5f8,
  0xffffffffffffc100, 0xffffffffffffc17f,
  0xffffffffffff8180, 0xffffffffffff827e,
  0xffffffffffbf8300, 0xffffffffffc003fb,
  0xffffffffff7f8400, 0xffffffffff8084f9,
  0xffffffffffffc080, 0xffffffffffffc100,
  0xffffffffffbfc200, 0xffffffffffc0427d,
  0xffffffffff7fc300, 0xffffffffff80c37b,
  0xffffffffff3fc380, 0xffffffffff4143fa,
  0xffffffffffc00180, 0xffffffffffc0817e,
  0xffffffffff800280, 0xffffffffff81027c,
  0xffffffffff400300, 0xffffffffff4182fb,
  0xffffffe665a66980, 0xffffffe698db1cae,
  0xffffffffffc00100, 0xffffffffffc080ff,
  0xffffffffff800180, 0xffffffffff81017e,
  0xffffffe665e66800, 0xffffffe6991a9b31,
  0xffffffbbbb3bbd80, 0xffffffbc43c54606,
  0xffffffffffc00080, 0xffffffffffc08080,
  0xffffffe666266700, 0xffffffe6995a1a33,
  0xffffffbbbb7bbc80, 0xffffffbc4404c508,
  0xffffff7bbb7bbe00, 0xffffff7cc404c685,
  0xffffffe666666680, 0xffffffe6999999b4,
  0xffffffbbbbbbbc00, 0xffffffbc44444489,
  0xffffff7bbbbbbd80, 0xffffff7cc4444606,
  0xffffff3bbbbbbe80, 0xffffff3d44444704,
  0xffffffd555555580, 0xffffffd5aaaaaad6,
  0xffffff9555555700, 0xffffff962aaaac53,
  0xffffff5555555800, 0xffffff56aaaaad51,
  0xffffff1555555880, 0xffffff172aaaadd0,
  0xffffffc000000180, 0xffffffc08000017e,
  0xffffff8000000280, 0xffffff810000027c,
  0xffffff4000000300, 0xffffff41800002fb,
  0xffffff8000000300, 0xffffff81000002fb,
  0xffffffc000000100, 0xffffffc0800000ff,
  0xffffff8000000180, 0xffffff810000017e,
  0xffffffc000000180, 0xffffffc08000017e,
  0x0000000000000100, 0x00000000000000ff,
  0xffffffc000000080, 0xffffffc080000080,
  0x0000000000000080, 0x0000000000000080,
  0x0000004000000000, 0x0000003f80000001,
  0x0000006aaaaaab00, 0x00000069d55555ab,
  0x0000004000000000, 0x0000003f80000001,
  0x0000007fffffff80, 0x0000007effffff82,
  0x000000aaaaaaaa80, 0x000000a95555552c,
  0x000000c444444480, 0x000000c2bbbbbbf8,
  0x0000003fffffff80, 0x0000003f7fffff82,
  0x0000006aaaaaaa80, 0x00000069d555552c,
  0x0000008444444480, 0x000000833bbbbbf8,
  0x0000008444844480, 0x000000833bfb3bf8,
  0x0000002aaaaaab00, 0x0000002a555555ab,
  0x0000004444444500, 0x00000043bbbbbc77,
  0x0000004444844500, 0x00000043bbfb3c77,
  0x0000004444c44480, 0x00000043bc3abbf8,
  0x0000001999999a00, 0x00000019666666cd,
  0x0000001999d99a00, 0x0000001966a5e6cd,
  0x000000199a199980, 0x0000001966e5664e,
  0x000000199a599880, 0x000000196724e550,
  0x0000000000400000, 0x00000000003f8001,
  0x00000000007fff80, 0x00000000007eff82,
  0x0000000000bffe80, 0x0000000000be7e84,
  0x0000000000fffd00, 0x0000000000fdfd07,
  0x00000000003fff80, 0x00000000003f7f82,
  0x00000000007ffe80, 0x00000000007efe84,
  0x0000000000bffd00, 0x0000000000be7d07,
  0x0000000000c03d00, 0x0000000000bebc87,
  0x00000000003fff00, 0x00000000003f7f03,
  0x00000000007ffd80, 0x00000000007efd86,
  0x0000000000803d80, 0x00000000007f3d06,
  0x0000000000807d00, 0x00000000007f7c07,
  0x00000000003ffe80, 0x00000000003f7e84,
  0x0000000000403e80, 0x00000000003fbe04,
  0x0000000000407e00, 0x00000000003ffd05,
  0x000000000040bd00, 0x0000000000403b87,
  0x0000000000004000, 0x0000000000003f81,
  0x0000000000007f80, 0x0000000000007e82,
  0x000000000000be80, 0x000000000000bd04,
  0x000000000000fd00, 0x000000000000fb07,
  0x0000000000003f80, 0x0000000000003f02,
  0x0000000000007e80, 0x0000000000007d84,
  0x000000000000bd00, 0x000000000000bb87,
  0x000000000000cd00, 0x000000000000cb67,
  0x0000000000003f00, 0x0000000000003e83,
  0x0000000000007d80, 0x0000000000007c86,
  0x0000000000008d80, 0x0000000000008c66,
  0x0000000000008f00, 0x0000000000008de3,
  0x0000000000003e80, 0x0000000000003e04,
  0x0000000000004e80, 0x0000000000004de4,
  0x0000000000005000, 0x0000000000004f61,
  0x0000000000005100, 0x000000000000505f,
  0x0000000000001000, 0x0000000000000fe1,
  0x0000000000001180, 0x000000000000115e,
  0x0000000000001280, 0x000000000000125c,
  0x0000000000001300, 0x00000000000012db,
  0x000000000000017d, 0x000000000000017b,
  0x000000000000027b, 0x0000000000000277,
  0x00000000000002fa, 0x00000000000002f5,
  0x00000000000002fa, 0x00000000000002f5,
  0x00000000000000fe, 0x00000000000000fd,
  0x000000000000017d, 0x000000000000017b,
  0x000000000000017d, 0x000000000000017b,
  0x00000000000000fe, 0x00000000000000fd,
  0x000000000000007f, 0x000000000000007f,
  0x000000000000007f, 0x000000000000007f,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffffff02, 0xffffffffffffff05,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffffff81, 0xffffffffffffff83,
  0xfffffffffffffe83, 0xfffffffffffffe87,
  0xffffffffffffeea3, 0xffffffffffffeec7,
  0xffffffffffffff81, 0xffffffffffffff83,
  0xfffffffffffffe83, 0xfffffffffffffe87,
  0xffffffffffffeea3, 0xffffffffffffeec7,
  0xffffffffffffb0a0, 0xffffffffffffb141,
  0xffffffffffffff02, 0xffffffffffffff05,
  0xffffffffffffef22, 0xffffffffffffef45,
  0xffffffffffffb11f, 0xffffffffffffb1bf,
  0xffffffffffff729d, 0xffffffffffff73bb,
  0xfffffffffffff020, 0xfffffffffffff041,
  0xffffffffffffb21d, 0xffffffffffffb2bb,
  0xffffffffffff739b, 0xffffffffffff74b7,
  0xffffffffffff349a, 0xffffffffffff3635,
  0xffffffffffffc1fd, 0xffffffffffffc27b,
  0xffffffffffff837b, 0xffffffffffff8477,
  0xffffffffffff447a, 0xffffffffffff45f5,
  0xffffffffffbfc5f7, 0xffffffffffc0476f,
  0xffffffffffffc17e, 0xffffffffffffc1fd,
  0xffffffffffff827d, 0xffffffffffff837b,
  0xffffffffffc003fa, 0xffffffffffc084f5,
  0xffffffffff8084f8, 0xffffffffff8185f1,
  0xffffffffffffc0ff, 0xffffffffffffc17f,
  0xffffffffffc0427c, 0xffffffffffc0c2f9,
  0xffffffffff80c37a, 0xffffffffff81c3f5,
  0xffffffffff4143f9, 0xffffffffff42c473,
  0xffffffffffc0817d, 0xffffffffffc1017b,
  0xffffffffff81027b, 0xffffffffff820277,
  0xffffffffff4182fa, 0xffffffffff4302f5,
  0xffffffe698db1cad, 0xffffffe6cc0fcfdb,
  0xffffffffffc080fe, 0xffffffffffc100fd,
  0xffffffffff81017d, 0xffffffffff82017b,
  0xffffffe6991a9b30, 0xffffffe6cc4ece61,
  0xffffffbc43c54605, 0xffffffbccc4ece8b,
  0xffffffffffc0807f, 0xffffffffffc1007f,
  0xffffffe6995a1a32, 0xffffffe6cc8dcd65,
  0xffffffbc4404c507, 0xffffffbccc8dcd8f,
  0xffffff7cc404c684, 0xffffff7dcc8dcf09,
  0xffffffe6999999b3, 0xffffffe6cccccce7,
  0xffffffbc44444488, 0xffffffbccccccd11,
  0xffffff7cc4444605, 0xffffff7dccccce8b,
  0xffffff3d44444703, 0xffffff3ecccccf87,
  0xffffffd5aaaaaad5, 0xffffffd60000002b,
  0xffffff962aaaac52, 0xffffff97000001a5,
  0xffffff56aaaaad50, 0xffffff58000002a1,
  0xffffff172aaaadcf, 0xffffff190000031f,
  0xffffffc08000017d, 0xffffffc10000017b,
  0xffffff810000027b, 0xffffff8200000277,
  0xffffff41800002fa, 0xffffff43000002f5,
  0xffffff81000002fa, 0xffffff82000002f5,
  0xffffffc0800000fe, 0xffffffc1000000fd,
  0xffffff810000017d, 0xffffff820000017b,
  0xffffffc08000017d, 0xffffffc10000017b,
  0x00000000000000fe, 0x00000000000000fd,
  0xffffffc08000007f, 0xffffffc10000007f,
  0x000000000000007f, 0x000000000000007f,
  0x0000003f80000000, 0x0000003f00000001,
  0x00000069d55555aa, 0x0000006900000055,
  0x0000003f80000000, 0x0000003f00000001,
  0x0000007effffff81, 0x0000007dffffff83,
  0x000000a95555552b, 0x000000a7ffffffd7,
  0x000000c2bbbbbbf7, 0x000000c13333336f,
  0x0000003f7fffff81, 0x0000003effffff83,
  0x00000069d555552b, 0x00000068ffffffd7,
  0x000000833bbbbbf7, 0x000000823333336f,
  0x000000833bfb3bf7, 0x000000823372336f,
  0x0000002a555555aa, 0x0000002a00000055,
  0x00000043bbbbbc76, 0x00000043333333ed,
  0x00000043bbfb3c76, 0x00000043337233ed,
  0x00000043bc3abbf7, 0x0000004333b1336f,
  0x00000019666666cc, 0x0000001933333399,
  0x0000001966a5e6cc, 0x0000001933723399,
  0x0000001966e5664d, 0x0000001933b1331b,
  0x000000196724e54f, 0x0000001933f0321f,
  0x00000000003f8000, 0x00000000003f0001,
  0x00000000007eff81, 0x00000000007dff83,
  0x0000000000be7e83, 0x0000000000bcfe87,
  0x0000000000fdfd06, 0x0000000000fbfd0d,
  0x00000000003f7f81, 0x00000000003eff83,
  0x00000000007efe83, 0x00000000007dfe87,
  0x0000000000be7d06, 0x0000000000bcfd0d,
  0x0000000000bebc86, 0x0000000000bd3c0d,
  0x00000000003f7f02, 0x00000000003eff05,
  0x00000000007efd85, 0x00000000007dfd8b,
  0x00000000007f3d05, 0x00000000007e3c8b,
  0x00000000007f7c06, 0x00000000007e7b0d,
  0x00000000003f7e83, 0x00000000003efe87,
  0x00000000003fbe03, 0x00000000003f3d87,
  0x00000000003ffd04, 0x00000000003f7c09,
  0x0000000000403b86, 0x00000000003fba0d,
  0x0000000000003f80, 0x0000000000003f01,
  0x0000000000007e81, 0x0000000000007d83,
  0x000000000000bd03, 0x000000000000bb87,
  0x000000000000fb06, 0x000000000000f90d,
  0x0000000000003f01, 0x0000000000003e83,
  0x0000000000007d83, 0x0000000000007c87,
  0x000000000000bb86, 0x000000000000ba0d,
  0x000000000000cb66, 0x000000000000c9cd,
  0x0000000000003e82, 0x0000000000003e05,
  0x0000000000007c85, 0x0000000000007b8b,
  0x0000000000008c65, 0x0000000000008b4b,
  0x0000000000008de2, 0x0000000000008cc5,
  0x0000000000003e03, 0x0000000000003d87,
  0x0000000000004de3, 0x0000000000004d47,
  0x0000000000004f60, 0x0000000000004ec1,
  0x000000000000505e, 0x0000000000004fbd,
  0x0000000000000fe0, 0x0000000000000fc1,
  0x000000000000115d, 0x000000000000113b,
  0x000000000000125b, 0x0000000000001237,
  0x00000000000012da, 0x00000000000012b5,
  0x000000000000017a, 0x0000000000000178,
  0x0000000000000276, 0x0000000000000272,
  0x00000000000002f4, 0x00000000000002ef,
  0x00000000000002f4, 0x00000000000002ef,
  0x00000000000000fc, 0x00000000000000fb,
  0x000000000000017a, 0x0000000000000178,
  0x000000000000017a, 0x0000000000000178,
  0x00000000000000fc, 0x00000000000000fb,
  0x000000000000007e, 0x000000000000007e,
  0x000000000000007e, 0x000000000000007e,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffffff04, 0xffffffffffffff07,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffffff82, 0xffffffffffffff84,
  0xfffffffffffffe86, 0xfffffffffffffe8a,
  0xffffffffffffeec6, 0xffffffffffffeeea,
  0xffffffffffffff82, 0xffffffffffffff84,
  0xfffffffffffffe86, 0xfffffffffffffe8a,
  0xffffffffffffeec6, 0xffffffffffffeeea,
  0xffffffffffffb140, 0xffffffffffffb1e1,
  0xffffffffffffff04, 0xffffffffffffff07,
  0xffffffffffffef44, 0xffffffffffffef67,
  0xffffffffffffb1be, 0xffffffffffffb25e,
  0xffffffffffff73ba, 0xffffffffffff74d8,
  0xfffffffffffff040, 0xfffffffffffff061,
  0xffffffffffffb2ba, 0xffffffffffffb358,
  0xffffffffffff74b6, 0xffffffffffff75d2,
  0xffffffffffff3634, 0xffffffffffff37cf,
  0xffffffffffffc27a, 0xffffffffffffc2f8,
  0xffffffffffff8476, 0xffffffffffff8572,
  0xffffffffffff45f4, 0xffffffffffff476f,
  0xffffffffffc0476e, 0xffffffffffc0c8e6,
  0xffffffffffffc1fc, 0xffffffffffffc27b,
  0xffffffffffff837a, 0xffffffffffff8478,
  0xffffffffffc084f4, 0xffffffffffc105ef,
  0xffffffffff8185f0, 0xffffffffff8286e9,
  0xffffffffffffc17e, 0xffffffffffffc1fe,
  0xffffffffffc0c2f8, 0xffffffffffc14375,
  0xffffffffff81c3f4, 0xffffffffff82c46f,
  0xffffffffff42c472, 0xffffffffff4444ec,
  0xffffffffffc1017a, 0xffffffffffc18178,
  0xffffffffff820276, 0xffffffffff830272,
  0xffffffffff4302f4, 0xffffffffff4482ef,
  0xffffffe6cc0fcfda, 0xffffffe6ff448308,
  0xffffffffffc100fc, 0xffffffffffc180fb,
  0xffffffffff82017a, 0xffffffffff830178,
  0xffffffe6cc4ece60, 0xffffffe6ff830191,
  0xffffffbccc4ece8a, 0xffffffbd54d85710,
  0xffffffffffc1007e, 0xffffffffffc1807e,
  0xffffffe6cc8dcd64, 0xffffffe6ffc18097,
  0xffffffbccc8dcd8e, 0xffffffbd5516d616,
  0xffffff7dcc8dcf08, 0xffffff7ed516d78d,
  0xffffffe6cccccce6, 0xffffffe70000001a,
  0xffffffbccccccd10, 0xffffffbd55555599,
  0xffffff7dccccce8a, 0xffffff7ed5555710,
  0xffffff3ecccccf86, 0xffffff405555580a,
  0xffffffd60000002a, 0xffffffd655555580,
  0xffffff97000001a4, 0xffffff97d55556f7,
  0xffffff58000002a0, 0xffffff59555557f1,
  0xffffff190000031e, 0xffffff1ad555586e,
  0xffffffc10000017a, 0xffffffc180000178,
  0xffffff8200000276, 0xffffff8300000272,
  0xffffff43000002f4, 0xffffff44800002ef,
  0xffffff82000002f4, 0xffffff83000002ef,
  0xffffffc1000000fc, 0xffffffc1800000fb,
  0xffffff820000017a, 0xffffff8300000178,
  0xffffffc10000017a, 0xffffffc180000178,
  0x00000000000000fc, 0x00000000000000fb,
  0xffffffc10000007e, 0xffffffc18000007e,
  0x000000000000007e, 0x000000000000007e,
  0x0000003f00000000, 0x0000003e80000001,
  0x0000006900000054, 0x000000682aaaaaff,
  0x0000003f00000000, 0x0000003e80000001,
  0x0000007dffffff82, 0x0000007cffffff84,
  0x000000a7ffffffd6, 0x000000a6aaaaaa82,
  0x000000c13333336e, 0x000000bfaaaaaae6,
  0x0000003effffff82, 0x0000003e7fffff84,
  0x00000068ffffffd6, 0x000000682aaaaa82,
  0x000000823333336e, 0x000000812aaaaae6,
  0x000000823372336e, 0x000000812ae92ae6,
  0x0000002a00000054, 0x00000029aaaaaaff,
  0x00000043333333ec, 0x00000042aaaaab63,
  0x00000043337233ec, 0x00000042aae92b63,
  0x0000004333b1336e, 0x00000042ab27aae6,
  0x0000001933333398, 0x0000001900000065,
  0x0000001933723398, 0x00000019003e8065,
  0x0000001933b1331a, 0x00000019007cffe8,
  0x0000001933f0321e, 0x0000001900bb7eee,
  0x00000000003f0000, 0x00000000003e8001,
  0x00000000007dff82, 0x00000000007cff84,
  0x0000000000bcfe86, 0x0000000000bb7e8a,
  0x0000000000fbfd0c, 0x0000000000f9fd13,
  0x00000000003eff82, 0x00000000003e7f84,
  0x00000000007dfe86, 0x00000000007cfe8a,
  0x0000000000bcfd0c, 0x0000000000bb7d13,
  0x0000000000bd3c0c, 0x0000000000bbbb93,
  0x00000000003eff04, 0x00000000003e7f07,
  0x00000000007dfd8a, 0x00000000007cfd90,
  0x00000000007e3c8a, 0x00000000007d3c10,
  0x00000000007e7b0c, 0x00000000007d7a13,
  0x00000000003efe86, 0x00000000003e7e8a,
  0x00000000003f3d86, 0x00000000003ebd0a,
  0x00000000003f7c08, 0x00000000003efb0d,
  0x00000000003fba0c, 0x00000000003f3893,
  0x0000000000003f00, 0x0000000000003e81,
  0x0000000000007d82, 0x0000000000007c84,
  0x000000000000bb86, 0x000000000000ba0a,
  0x000000000000f90c, 0x000000000000f713,
  0x0000000000003e82, 0x0000000000003e04,
  0x0000000000007c86, 0x0000000000007b8a,
  0x000000000000ba0c, 0x000000000000b893,
  0x000000000000c9cc, 0x000000000000c833,
  0x0000000000003e04, 0x0000000000003d87,
  0x0000000000007b8a, 0x0000000000007a90,
  0x0000000000008b4a, 0x0000000000008a30,
  0x0000000000008cc4, 0x0000000000008ba7,
  0x0000000000003d86, 0x0000000000003d0a,
  0x0000000000004d46, 0x0000000000004caa,
  0x0000000000004ec0, 0x0000000000004e21,
  0x0000000000004fbc, 0x0000000000004f1b,
  0x0000000000000fc0, 0x0000000000000fa1,
  0x000000000000113a, 0x0000000000001118,
  0x0000000000001236, 0x0000000000001212,
  0x00000000000012b4, 0x000000000000128f,
  0x0000000000000177, 0x0000000000000061,
  0x0000000000000271, 0x00000000000000a1,
  0x00000000000002ee, 0x00000000000000c1,
  0x00000000000002ee, 0x00000000000000c1,
  0x00000000000000fa, 0x0000000000000041,
  0x0000000000000177, 0x0000000000000061,
  0x0000000000000177, 0x0000000000000061,
  0x00000000000000fa, 0x0000000000000041,
  0x000000000000007d, 0x0000000000000021,
  0x000000000000007d, 0x0000000000000021,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffffff06, 0xffffffffffffffc1,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffffff83, 0xffffffffffffffe1,
  0xfffffffffffffe89, 0xffffffffffffffa1,
  0xffffffffffffeee9, 0xfffffffffffffba1,
  0xffffffffffffff83, 0xffffffffffffffe1,
  0xfffffffffffffe89, 0xffffffffffffffa1,
  0xffffffffffffeee9, 0xfffffffffffffba1,
  0xffffffffffffb1e0, 0xffffffffffffec01,
  0xffffffffffffff06, 0xffffffffffffffc1,
  0xffffffffffffef66, 0xfffffffffffffbc1,
  0xffffffffffffb25d, 0xffffffffffffec21,
  0xffffffffffff74d7, 0xffffffffffffdc61,
  0xfffffffffffff060, 0xfffffffffffffc01,
  0xffffffffffffb357, 0xffffffffffffec61,
  0xffffffffffff75d1, 0xffffffffffffdca1,
  0xffffffffffff37ce, 0xffffffffffffccc1,
  0xffffffffffffc2f7, 0xfffffffffffff061,
  0xffffffffffff8571, 0xffffffffffffe0a1,
  0xffffffffffff476e, 0xffffffffffffd0c1,
  0xffffffffffc0c8e5, 0xffffffffffefd121,
  0xffffffffffffc27a, 0xfffffffffffff041,
  0xffffffffffff8477, 0xffffffffffffe061,
  0xffffffffffc105ee, 0xffffffffffefe0c1,
  0xffffffffff8286e8, 0xffffffffffdfe101,
  0xffffffffffffc1fd, 0xfffffffffffff021,
  0xffffffffffc14374, 0xffffffffffeff081,
  0xffffffffff82c46e, 0xffffffffffdff0c1,
  0xffffffffff4444eb, 0xffffffffffcff0e1,
  0xffffffffffc18177, 0xfffffffffff00061,
  0xffffffffff830271, 0xffffffffffe000a1,
  0xffffffffff4482ee, 0xffffffffffd000c1,
  0xffffffe6ff448307, 0xfffffff999699a61,
  0xffffffffffc180fa, 0xfffffffffff00041,
  0xffffffffff830177, 0xffffffffffe00061,
  0xffffffe6ff830190, 0xfffffff999799a01,
  0xffffffbd54d8570f, 0xffffffeeeeceef61,
  0xffffffffffc1807d, 0xfffffffffff00021,
  0xffffffe6ffc18096, 0xfffffff9998999c1,
  0xffffffbd5516d615, 0xffffffeeeedeef21,
  0xffffff7ed516d78c, 0xffffffdeeedeef81,
  0xffffffe700000019, 0xfffffff9999999a1,
  0xffffffbd55555598, 0xffffffeeeeeeef01,
  0xffffff7ed555570f, 0xffffffdeeeeeef61,
  0xffffff4055555809, 0xffffffceeeeeefa1,
  0xffffffd65555557f, 0xfffffff555555561,
  0xffffff97d55556f6, 0xffffffe5555555c1,
  0xffffff59555557f0, 0xffffffd555555601,
  0xffffff1ad555586d, 0xffffffc555555621,
  0xffffffc180000177, 0xfffffff000000061,
  0xffffff8300000271, 0xffffffe0000000a1,
  0xffffff44800002ee, 0xffffffd0000000c1,
  0xffffff83000002ee, 0xffffffe0000000c1,
  0xffffffc1800000fa, 0xfffffff000000041,
  0xffffff8300000177, 0xffffffe000000061,
  0xffffffc180000177, 0xfffffff000000061,
  0x00000000000000fa, 0x0000000000000041,
  0xffffffc18000007d, 0xfffffff000000021,
  0x000000000000007d, 0x0000000000000021,
  0x0000003e80000000, 0x0000001000000001,
  0x000000682aaaaafe, 0x0000001aaaaaaac1,
  0x0000003e80000000, 0x0000001000000001,
  0x0000007cffffff83, 0x0000001fffffffe1,
  0x000000a6aaaaaa81, 0x0000002aaaaaaaa1,
  0x000000bfaaaaaae5, 0x0000003111111121,
  0x0000003e7fffff83, 0x0000000fffffffe1,
  0x000000682aaaaa81, 0x0000001aaaaaaaa1,
  0x000000812aaaaae5, 0x0000002111111121,
  0x000000812ae92ae5, 0x0000002111211121,
  0x00000029aaaaaafe, 0x0000000aaaaaaac1,
  0x00000042aaaaab62, 0x0000001111111141,
  0x00000042aae92b62, 0x0000001111211141,
  0x00000042ab27aae5, 0x0000001111311121,
  0x0000001900000064, 0x0000000666666681,
  0x00000019003e8064, 0x0000000666766681,
  0x00000019007cffe7, 0x0000000666866661,
  0x0000001900bb7eed, 0x0000000666966621,
  0x00000000003e8000, 0x0000000000100001,
  0x00000000007cff83, 0x00000000001fffe1,
  0x0000000000bb7e89, 0x00000000002fffa1,
  0x0000000000f9fd12, 0x00000000003fff41,
  0x00000000003e7f83, 0x00000000000fffe1,
  0x00000000007cfe89, 0x00000000001fffa1,
  0x0000000000bb7d12, 0x00000000002fff41,
  0x0000000000bbbb92, 0x0000000000300f41,
  0x00000000003e7f06, 0x00000000000fffc1,
  0x00000000007cfd8f, 0x00000000001fff61,
  0x00000000007d3c0f, 0x0000000000200f61,
  0x00000000007d7a12, 0x0000000000201f41,
  0x00000000003e7e89, 0x00000000000fffa1,
  0x00000000003ebd09, 0x0000000000100fa1,
  0x00000000003efb0c, 0x0000000000101f81,
  0x00000000003f3892, 0x0000000000102f41,
  0x0000000000003e80, 0x0000000000001001,
  0x0000000000007c83, 0x0000000000001fe1,
  0x000000000000ba09, 0x0000000000002fa1,
  0x000000000000f712, 0x0000000000003f41,
  0x0000000000003e03, 0x0000000000000fe1,
  0x0000000000007b89, 0x0000000000001fa1,
  0x000000000000b892, 0x0000000000002f41,
  0x000000000000c832, 0x0000000000003341,
  0x0000000000003d86, 0x0000000000000fc1,
  0x0000000000007a8f, 0x0000000000001f61,
  0x0000000000008a2f, 0x0000000000002361,
  0x0000000000008ba6, 0x00000000000023c1,
  0x0000000000003d09, 0x0000000000000fa1,
  0x0000000000004ca9, 0x00000000000013a1,
  0x0000000000004e20, 0x0000000000001401,
  0x0000000000004f1a, 0x0000000000001441,
  0x0000000000000fa0, 0x0000000000000401,
  0x0000000000001117, 0x0000000000000461,
  0x0000000000001211, 0x00000000000004a1,
  0x000000000000128e, 0x00000000000004c1,
  0x0000000000000060, 0x000000000000000a,
  0x00000000000000a0, 0x0000000000000010,
  0x00000000000000c0, 0x0000000000000013,
  0x00000000000000c0, 0x0000000000000013,
  0x0000000000000040, 0x0000000000000007,
  0x0000000000000060, 0x000000000000000a,
  0x0000000000000060, 0x000000000000000a,
  0x0000000000000040, 0x0000000000000007,
  0x0000000000000020, 0x0000000000000004,
  0x0000000000000020, 0x0000000000000004,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffffffc0, 0xfffffffffffffffb,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffffffffe0, 0xfffffffffffffffe,
  0xffffffffffffffa0, 0xfffffffffffffff8,
  0xfffffffffffffba0, 0xffffffffffffff98,
  0xffffffffffffffe0, 0xfffffffffffffffe,
  0xffffffffffffffa0, 0xfffffffffffffff8,
  0xfffffffffffffba0, 0xffffffffffffff98,
  0xffffffffffffec00, 0xfffffffffffffe21,
  0xffffffffffffffc0, 0xfffffffffffffffb,
  0xfffffffffffffbc0, 0xffffffffffffff9b,
  0xffffffffffffec20, 0xfffffffffffffe24,
  0xffffffffffffdc60, 0xfffffffffffffcaa,
  0xfffffffffffffc00, 0xffffffffffffffa1,
  0xffffffffffffec60, 0xfffffffffffffe2a,
  0xffffffffffffdca0, 0xfffffffffffffcb0,
  0xffffffffffffccc0, 0xfffffffffffffb33,
  0xfffffffffffff060, 0xfffffffffffffe8a,
  0xffffffffffffe0a0, 0xfffffffffffffd10,
  0xffffffffffffd0c0, 0xfffffffffffffb93,
  0xffffffffffefd120, 0xfffffffffffe7b9c,
  0xfffffffffffff040, 0xfffffffffffffe87,
  0xffffffffffffe060, 0xfffffffffffffd0a,
  0xffffffffffefe0c0, 0xfffffffffffe7d13,
  0xffffffffffdfe100, 0xfffffffffffcfd19,
  0xfffffffffffff020, 0xfffffffffffffe84,
  0xffffffffffeff080, 0xfffffffffffe7e8d,
  0xffffffffffdff0c0, 0xfffffffffffcfe93,
  0xffffffffffcff0e0, 0xfffffffffffb7e96,
  0xfffffffffff00060, 0xfffffffffffe800a,
  0xffffffffffe000a0, 0xfffffffffffd0010,
  0xffffffffffd000c0, 0xfffffffffffb8013,
  0xfffffff999699a60, 0xffffffff6661e67a,
  0xfffffffffff00040, 0xfffffffffffe8007,
  0xffffffffffe00060, 0xfffffffffffd000a,
  0xfffffff999799a00, 0xffffffff66636671,
  0xffffffeeeeceef60, 0xfffffffe66636672,
  0xfffffffffff00020, 0xfffffffffffe8004,
  0xfffffff9998999c0, 0xffffffff6664e66b,
  0xffffffeeeedeef20, 0xfffffffe6664e66c,
  0xffffffdeeedeef80, 0xfffffffce664e675,
  0xfffffff9999999a0, 0xffffffff66666668,
  0xffffffeeeeeeef00, 0xfffffffe66666669,
  0xffffffdeeeeeef60, 0xfffffffce6666672,
  0xffffffceeeeeefa0, 0xfffffffb66666678,
  0xfffffff555555560, 0xffffffff00000002,
  0xffffffe5555555c0, 0xfffffffd8000000b,
  0xffffffd555555600, 0xfffffffc00000011,
  0xffffffc555555620, 0xfffffffa80000014,
  0xfffffff000000060, 0xfffffffe8000000a,
  0xffffffe0000000a0, 0xfffffffd00000010,
  0xffffffd0000000c0, 0xfffffffb80000013,
  0xffffffe0000000c0, 0xfffffffd00000013,
  0xfffffff000000040, 0xfffffffe80000007,
  0xffffffe000000060, 0xfffffffd0000000a,
  0xfffffff000000060, 0xfffffffe8000000a,
  0x0000000000000040, 0x0000000000000007,
  0xfffffff000000020, 0xfffffffe80000004,
  0x0000000000000020, 0x0000000000000004,
  0x0000001000000000, 0x0000000180000001,
  0x0000001aaaaaaac0, 0x0000000280000003,
  0x0000001000000000, 0x0000000180000001,
  0x0000001fffffffe0, 0x00000002fffffffe,
  0x0000002aaaaaaaa0, 0x0000000400000000,
  0x0000003111111120, 0x000000049999999c,
  0x0000000fffffffe0, 0x000000017ffffffe,
  0x0000001aaaaaaaa0, 0x0000000280000000,
  0x0000002111111120, 0x000000031999999c,
  0x0000002111211120, 0x00000003199b199c,
  0x0000000aaaaaaac0, 0x0000000100000003,
  0x0000001111111140, 0x000000019999999f,
  0x0000001111211140, 0x00000001999b199f,
  0x0000001111311120, 0x00000001999c999c,
  0x0000000666666680, 0x000000009999999d,
  0x0000000666766680, 0x00000000999b199d,
  0x0000000666866660, 0x00000000999c999a,
  0x0000000666966620, 0x00000000999e1994,
  0x0000000000100000, 0x0000000000018001,
  0x00000000001fffe0, 0x000000000002fffe,
  0x00000000002fffa0, 0x0000000000047ff8,
  0x00000000003fff40, 0x000000000005ffef,
  0x00000000000fffe0, 0x0000000000017ffe,
  0x00000000001fffa0, 0x000000000002fff8,
  0x00000000002fff40, 0x0000000000047fef,
  0x0000000000300f40, 0x000000000004816f,
  0x00000000000fffc0, 0x0000000000017ffb,
  0x00000000001fff60, 0x000000000002fff2,
  0x0000000000200f60, 0x0000000000030172,
  0x0000000000201f40, 0x00000000000302ef,
  0x00000000000fffa0, 0x0000000000017ff8,
  0x0000000000100fa0, 0x0000000000018178,
  0x0000000000101f80, 0x00000000000182f5,
  0x0000000000102f40, 0x000000000001846f,
  0x0000000000001000, 0x0000000000000181,
  0x0000000000001fe0, 0x00000000000002fe,
  0x0000000000002fa0, 0x0000000000000478,
  0x0000000000003f40, 0x00000000000005ef,
  0x0000000000000fe0, 0x000000000000017e,
  0x0000000000001fa0, 0x00000000000002f8,
  0x0000000000002f40, 0x000000000000046f,
  0x0000000000003340, 0x00000000000004cf,
  0x0000000000000fc0, 0x000000000000017b,
  0x0000000000001f60, 0x00000000000002f2,
  0x0000000000002360, 0x0000000000000352,
  0x00000000000023c0, 0x000000000000035b,
  0x0000000000000fa0, 0x0000000000000178,
  0x00000000000013a0, 0x00000000000001d8,
  0x0000000000001400, 0x00000000000001e1,
  0x0000000000001440, 0x00000000000001e7,
  0x0000000000000400, 0x0000000000000061,
  0x0000000000000460, 0x000000000000006a,
  0x00000000000004a0, 0x0000000000000070,
  0x00000000000004c0, 0x0000000000000073,
};
const unsigned kExpectedCount_NEON_smlal_2D_2S_S = 3844;

#endif  // VIXL_SIM_SMLAL_2D_2S_S_TRACE_A64_H_