// 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_UMLAL2_2D_4S_S_TRACE_A64_H_
#define VIXL_SIM_UMLAL2_2D_4S_S_TRACE_A64_H_

const uint64_t kExpected_NEON_umlal2_2D_4S_S[] = {
  0x0000003efe860000, 0x0000000000000001,
  0x0000007e7d090000, 0x0000000000000001,
  0x0000407b7d120000, 0x0000000000000001,
  0x0000407b7d120000, 0x0000000000000001,
  0x0000003f7e830000, 0x0000000000000001,
  0x0000403c7e8c0000, 0x0000000000000001,
  0x0000403c7e8c0000, 0x0000000000000001,
  0x0000403c7f0bfd00, 0x0000000000000001,
  0x00003ffd00090000, 0x0000000000000001,
  0x00003ffd00090000, 0x0000000000000001,
  0x00003ffd0088fd00, 0x0000000000000001,
  0x00003ffd0188f700, 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,
  0x00fff9fffd001200, 0x0000000000000001,
  0x003ffe7fff000600, 0x0000000000000001,
  0x007ffcfffe800900, 0x0000000000000001,
  0x00bffb7ffe800900, 0x0000000000000001,
  0x00fff9ffff000600, 0x0000000000000001,
  0x003ffe7fff800300, 0x0000000000000001,
  0x007ffcffff800300, 0x0000000000000001,
  0x00bffb8000000000, 0x0000000000000001,
  0x01154ed555000200, 0x0000000000000001,
  0x003ffe8000000000, 0x0000000000000001,
  0x007ffd00007ffd00, 0x0000000000000001,
  0x00d55055557fff00, 0x0000000000000001,
  0x013bb45555199b00, 0x0000000000000001,
  0x003ffe80007ffd00, 0x0000000000000001,
  0x009551d5557fff00, 0x0000000000000001,
  0x00fbb5d555199b00, 0x0000000000000001,
  0x017bb29556999b00, 0x0000000000000001,
  0x0055535555000200, 0x0000000000000001,
  0x00bbb75554999e00, 0x0000000000000001,
  0x013bb41556199e00, 0x0000000000000001,
  0x01bbb0d558199b00, 0x0000000000000001,
  0x006663ffff999c00, 0x0000000000000001,
  0x00e660c001199c00, 0x0000000000000001,
  0x01665d8003199900, 0x0000000000000001,
  0x01e65a4005999300, 0x0000000000000001,
  0x007ffcc001800000, 0x0000000000000001,
  0x00fff980037ffd00, 0x0000000000000001,
  0x017ff64005fff700, 0x0000000000000001,
  0x01fff30008ffee00, 0x0000000000000001,
  0x007ffcc001fffd00, 0x0000000000000001,
  0x00fff980047ff700, 0x0000000000000001,
  0x017ff640077fee00, 0x0000000000000001,
  0x01fff33fc7816e00, 0x0000000000000001,
  0x007ffcc0027ffa00, 0x0000000000000001,
  0x00fff980057ff100, 0x0000000000000001,
  0x017ff67fc5817100, 0x0000000000000001,
  0x01fff37f8602ee00, 0x0000000000000001,
  0x007ffcc002fff700, 0x0000000000000001,
  0x00fff9bfc3017700, 0x0000000000000001,
  0x017ff6bf8382f400, 0x0000000000000001,
  0x01fff3bf44846e00, 0x0000000000000001,
  0x007ffcffc0018000, 0x0000000000000001,
  0x00fff9ff8082fd00, 0x0000000000000001,
  0x017ff6ff41847700, 0x0000000000000001,
  0x01fff3ff0305ee00, 0x0000000000000001,
  0x007ffcffc0817d00, 0x0000000000000001,
  0x00fff9ff8182f700, 0x0000000000000001,
  0x017ff6ff43046e00, 0x0000000000000001,
  0x01fff3ff3304ce00, 0x0000000000000001,
  0x007ffcffc1017a00, 0x0000000000000001,
  0x00fff9ff8282f100, 0x0000000000000001,
  0x017ff6ff72835100, 0x0000000000000001,
  0x01fff3ff71035a00, 0x0000000000000001,
  0x007ffcffc1817700, 0x0000000000000001,
  0x00fff9ffb181d700, 0x0000000000000001,
  0x017ff6ffb001e000, 0x0000000000000001,
  0x01fff3ffaf01e600, 0x0000000000000001,
  0x007ffcfff0006000, 0x0000000000000001,
  0x00fff9ffee806900, 0x0000000000000001,
  0x017ff6ffed806f00, 0x0000000000000001,
  0x01fff3ffed007200, 0x0000000000000001,
  0x0000000000000000, 0x00000000fffffffe,
  0x0000000000000000, 0x00000001fffffffc,
  0x0000000000000000, 0x00000002fffffffb,
  0x0000000000000000, 0x00000002fffffffb,
  0x0000000000000000, 0x00000000ffffffff,
  0x0000000000000000, 0x00000001fffffffe,
  0x0000000000000000, 0x00000001fffffffe,
  0x0000000000000000, 0x00000001ffffffff,
  0x0000000000000000, 0x0000000100000000,
  0x0000000000000000, 0x0000000100000000,
  0x0000000000000000, 0x0000000100000001,
  0x0000000000000000, 0x0000000100000003,
  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, 0x00000001fffffffb,
  0x0000000000000000, 0x000000007fffffff,
  0x0000000000000000, 0x00000000fffffffe,
  0x0000000000000000, 0x000000017ffffffe,
  0x0000000000000000, 0x00000001ffffffff,
  0x0000000000000000, 0x0000000080000000,
  0x0000000000000000, 0x0000000100000000,
  0x0000000000000000, 0x0000000180000001,
  0x0000000000000000, 0x000000022aaaaaab,
  0x0000000000000000, 0x0000000080000001,
  0x0000000000000000, 0x0000000100000002,
  0x0000000000000000, 0x00000001aaaaaaac,
  0x0000000000000000, 0x0000000277777778,
  0x0000000000000000, 0x0000000080000002,
  0x0000000000000000, 0x000000012aaaaaac,
  0x0000000000000000, 0x00000001f7777778,
  0x0000000000000000, 0x00000002f776f778,
  0x0000000000000000, 0x00000000aaaaaaab,
  0x0000000000000000, 0x0000000177777777,
  0x0000000000000000, 0x000000027776f777,
  0x0000000000000000, 0x0000000377767778,
  0x0000000000000000, 0x00000000cccccccd,
  0x0000000000000000, 0x00000001cccc4ccd,
  0x0000000000000000, 0x00000002cccbccce,
  0x0000000000000000, 0x00000003cccb4cd0,
  0x0000000000000000, 0x00000000ffff8001,
  0x0000000000000000, 0x00000001ffff0002,
  0x0000000000000000, 0x00000002fffe8004,
  0x0000000000000000, 0x00000003fffe0007,
  0x0000000000000000, 0x00000000ffff8002,
  0x0000000000000000, 0x00000001ffff0004,
  0x0000000000000000, 0x00000002fffe8007,
  0x0000000000000000, 0x00000003fffe7f87,
  0x0000000000000000, 0x00000000ffff8003,
  0x0000000000000000, 0x00000001ffff0006,
  0x0000000000000000, 0x00000002fffeff86,
  0x0000000000000000, 0x00000003fffeff07,
  0x0000000000000000, 0x00000000ffff8004,
  0x0000000000000000, 0x00000001ffff7f84,
  0x0000000000000000, 0x00000002ffff7f05,
  0x0000000000000000, 0x00000003ffff7e87,
  0x0000000000000000, 0x00000000ffffff81,
  0x0000000000000000, 0x00000001ffffff02,
  0x0000000000000000, 0x00000002fffffe84,
  0x0000000000000000, 0x00000003fffffe07,
  0x0000000000000000, 0x00000000ffffff82,
  0x0000000000000000, 0x00000001ffffff04,
  0x0000000000000000, 0x00000002fffffe87,
  0x0000000000000000, 0x00000003fffffe67,
  0x0000000000000000, 0x00000000ffffff83,
  0x0000000000000000, 0x00000001ffffff06,
  0x0000000000000000, 0x00000002fffffee6,
  0x0000000000000000, 0x00000003fffffee3,
  0x0000000000000000, 0x00000000ffffff84,
  0x0000000000000000, 0x00000001ffffff64,
  0x0000000000000000, 0x00000002ffffff61,
  0x0000000000000000, 0x00000003ffffff5f,
  0x0000000000000000, 0x00000000ffffffe1,
  0x0000000000000000, 0x00000001ffffffde,
  0x0000000000000000, 0x00000002ffffffdc,
  0x0000000000000000, 0x00000003ffffffdb,
  0x00000000fffffffd, 0x00000001fffffffb,
  0x00000001fffffffb, 0x00000003fffffff7,
  0x00000002fffffffa, 0x00000005fffffff5,
  0x00000002fffffffa, 0x00000005fffffff5,
  0x00000000fffffffe, 0x00000001fffffffd,
  0x00000001fffffffd, 0x00000003fffffffb,
  0x00000001fffffffd, 0x00000003fffffffb,
  0x00000001fffffffe, 0x00000003fffffffd,
  0x00000000ffffffff, 0x00000001ffffffff,
  0x00000000ffffffff, 0x00000001ffffffff,
  0x0000000100000000, 0x0000000200000001,
  0x0000000100000002, 0x0000000200000005,
  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,
  0x00000001fffffffa, 0x00000003fffffff5,
  0x000000007ffffffe, 0x00000000fffffffd,
  0x00000000fffffffd, 0x00000001fffffffb,
  0x000000017ffffffd, 0x00000002fffffffb,
  0x00000001fffffffe, 0x00000003fffffffd,
  0x000000007fffffff, 0x00000000ffffffff,
  0x00000000ffffffff, 0x00000001ffffffff,
  0x0000000180000000, 0x0000000300000001,
  0x000000022aaaaaaa, 0x0000000455555555,
  0x0000000080000000, 0x0000000100000001,
  0x0000000100000001, 0x0000000200000003,
  0x00000001aaaaaaab, 0x0000000355555557,
  0x0000000277777777, 0x00000004eeeeeeef,
  0x0000000080000001, 0x0000000100000003,
  0x000000012aaaaaab, 0x0000000255555557,
  0x00000001f7777777, 0x00000003eeeeeeef,
  0x00000002f776f777, 0x00000005eeedeeef,
  0x00000000aaaaaaaa, 0x0000000155555555,
  0x0000000177777776, 0x00000002eeeeeeed,
  0x000000027776f776, 0x00000004eeedeeed,
  0x0000000377767777, 0x00000006eeeceeef,
  0x00000000cccccccc, 0x0000000199999999,
  0x00000001cccc4ccc, 0x0000000399989999,
  0x00000002cccbcccd, 0x000000059997999b,
  0x00000003cccb4ccf, 0x000000079996999f,
  0x00000000ffff8000, 0x00000001ffff0001,
  0x00000001ffff0001, 0x00000003fffe0003,
  0x00000002fffe8003, 0x00000005fffd0007,
  0x00000003fffe0006, 0x00000007fffc000d,
  0x00000000ffff8001, 0x00000001ffff0003,
  0x00000001ffff0003, 0x00000003fffe0007,
  0x00000002fffe8006, 0x00000005fffd000d,
  0x00000003fffe7f86, 0x00000007fffcff0d,
  0x00000000ffff8002, 0x00000001ffff0005,
  0x00000001ffff0005, 0x00000003fffe000b,
  0x00000002fffeff85, 0x00000005fffdff0b,
  0x00000003fffeff06, 0x00000007fffdfe0d,
  0x00000000ffff8003, 0x00000001ffff0007,
  0x00000001ffff7f83, 0x00000003fffeff07,
  0x00000002ffff7f04, 0x00000005fffefe09,
  0x00000003ffff7e86, 0x00000007fffefd0d,
  0x00000000ffffff80, 0x00000001ffffff01,
  0x00000001ffffff01, 0x00000003fffffe03,
  0x00000002fffffe83, 0x00000005fffffd07,
  0x00000003fffffe06, 0x00000007fffffc0d,
  0x00000000ffffff81, 0x00000001ffffff03,
  0x00000001ffffff03, 0x00000003fffffe07,
  0x00000002fffffe86, 0x00000005fffffd0d,
  0x00000003fffffe66, 0x00000007fffffccd,
  0x00000000ffffff82, 0x00000001ffffff05,
  0x00000001ffffff05, 0x00000003fffffe0b,
  0x00000002fffffee5, 0x00000005fffffdcb,
  0x00000003fffffee2, 0x00000007fffffdc5,
  0x00000000ffffff83, 0x00000001ffffff07,
  0x00000001ffffff63, 0x00000003fffffec7,
  0x00000002ffffff60, 0x00000005fffffec1,
  0x00000003ffffff5e, 0x00000007fffffebd,
  0x00000000ffffffe0, 0x00000001ffffffc1,
  0x00000001ffffffdd, 0x00000003ffffffbb,
  0x00000002ffffffdb, 0x00000005ffffffb7,
  0x00000003ffffffda, 0x00000007ffffffb5,
  0x00000001fffffffa, 0x0000001fffffffa1,
  0x00000003fffffff6, 0x0000003fffffff61,
  0x00000005fffffff4, 0x0000005fffffff41,
  0x00000005fffffff4, 0x0000005fffffff41,
  0x00000001fffffffc, 0x0000001fffffffc1,
  0x00000003fffffffa, 0x0000003fffffffa1,
  0x00000003fffffffa, 0x0000003fffffffa1,
  0x00000003fffffffc, 0x0000003fffffffc1,
  0x00000001fffffffe, 0x0000001fffffffe1,
  0x00000001fffffffe, 0x0000001fffffffe1,
  0x0000000200000000, 0x0000002000000001,
  0x0000000200000004, 0x0000002000000041,
  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,
  0x00000003fffffff4, 0x0000003fffffff41,
  0x00000000fffffffc, 0x0000000fffffffc1,
  0x00000001fffffffa, 0x0000001fffffffa1,
  0x00000002fffffffa, 0x0000002fffffffa1,
  0x00000003fffffffc, 0x0000003fffffffc1,
  0x00000000fffffffe, 0x0000000fffffffe1,
  0x00000001fffffffe, 0x0000001fffffffe1,
  0x0000000300000000, 0x0000003000000001,
  0x0000000455555554, 0x0000004555555541,
  0x0000000100000000, 0x0000001000000001,
  0x0000000200000002, 0x0000002000000021,
  0x0000000355555556, 0x0000003555555561,
  0x00000004eeeeeeee, 0x0000004eeeeeeee1,
  0x0000000100000002, 0x0000001000000021,
  0x0000000255555556, 0x0000002555555561,
  0x00000003eeeeeeee, 0x0000003eeeeeeee1,
  0x00000005eeedeeee, 0x0000005eeedeeee1,
  0x0000000155555554, 0x0000001555555541,
  0x00000002eeeeeeec, 0x0000002eeeeeeec1,
  0x00000004eeedeeec, 0x0000004eeedeeec1,
  0x00000006eeeceeee, 0x0000006eeeceeee1,
  0x0000000199999998, 0x0000001999999981,
  0x0000000399989998, 0x0000003999899981,
  0x000000059997999a, 0x00000059997999a1,
  0x000000079996999e, 0x00000079996999e1,
  0x00000001ffff0000, 0x0000001ffff00001,
  0x00000003fffe0002, 0x0000003fffe00021,
  0x00000005fffd0006, 0x0000005fffd00061,
  0x00000007fffc000c, 0x0000007fffc000c1,
  0x00000001ffff0002, 0x0000001ffff00021,
  0x00000003fffe0006, 0x0000003fffe00061,
  0x00000005fffd000c, 0x0000005fffd000c1,
  0x00000007fffcff0c, 0x0000007fffcff0c1,
  0x00000001ffff0004, 0x0000001ffff00041,
  0x00000003fffe000a, 0x0000003fffe000a1,
  0x00000005fffdff0a, 0x0000005fffdff0a1,
  0x00000007fffdfe0c, 0x0000007fffdfe0c1,
  0x00000001ffff0006, 0x0000001ffff00061,
  0x00000003fffeff06, 0x0000003fffeff061,
  0x00000005fffefe08, 0x0000005fffefe081,
  0x00000007fffefd0c, 0x0000007fffefd0c1,
  0x00000001ffffff00, 0x0000001ffffff001,
  0x00000003fffffe02, 0x0000003fffffe021,
  0x00000005fffffd06, 0x0000005fffffd061,
  0x00000007fffffc0c, 0x0000007fffffc0c1,
  0x00000001ffffff02, 0x0000001ffffff021,
  0x00000003fffffe06, 0x0000003fffffe061,
  0x00000005fffffd0c, 0x0000005fffffd0c1,
  0x00000007fffffccc, 0x0000007fffffccc1,
  0x00000001ffffff04, 0x0000001ffffff041,
  0x00000003fffffe0a, 0x0000003fffffe0a1,
  0x00000005fffffdca, 0x0000005fffffdca1,
  0x00000007fffffdc4, 0x0000007fffffdc41,
  0x00000001ffffff06, 0x0000001ffffff061,
  0x00000003fffffec6, 0x0000003fffffec61,
  0x00000005fffffec0, 0x0000005fffffec01,
  0x00000007fffffebc, 0x0000007fffffebc1,
  0x00000001ffffffc0, 0x0000001ffffffc01,
  0x00000003ffffffba, 0x0000003ffffffba1,
  0x00000005ffffffb6, 0x0000005ffffffb61,
  0x00000007ffffffb4, 0x0000007ffffffb41,
  0x0000001fffffffa0, 0x0000007cfffffe8a,
  0x0000003fffffff60, 0x000000f9fffffd90,
  0x0000005fffffff40, 0x00000176fffffd13,
  0x0000005fffffff40, 0x00000176fffffd13,
  0x0000001fffffffc0, 0x0000007cffffff07,
  0x0000003fffffffa0, 0x000000f9fffffe8a,
  0x0000003fffffffa0, 0x000000f9fffffe8a,
  0x0000003fffffffc0, 0x000000f9ffffff07,
  0x0000001fffffffe0, 0x0000007cffffff84,
  0x0000001fffffffe0, 0x0000007cffffff84,
  0x0000002000000000, 0x0000007d00000001,
  0x0000002000000040, 0x0000007d000000fb,
  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,
  0x0000003fffffff40, 0x000000f9fffffd13,
  0x0000000fffffffc0, 0x0000003e7fffff07,
  0x0000001fffffffa0, 0x0000007cfffffe8a,
  0x0000002fffffffa0, 0x000000bb7ffffe8a,
  0x0000003fffffffc0, 0x000000f9ffffff07,
  0x0000000fffffffe0, 0x0000003e7fffff84,
  0x0000001fffffffe0, 0x0000007cffffff84,
  0x0000003000000000, 0x000000bb80000001,
  0x0000004555555540, 0x0000010ed5555503,
  0x0000001000000000, 0x0000003e80000001,
  0x0000002000000020, 0x0000007d0000007e,
  0x0000003555555560, 0x000000d055555580,
  0x0000004eeeeeeee0, 0x000001345555551c,
  0x0000001000000020, 0x0000003e8000007e,
  0x0000002555555560, 0x00000091d5555580,
  0x0000003eeeeeeee0, 0x000000f5d555551c,
  0x0000005eeedeeee0, 0x00000172d516d51c,
  0x0000001555555540, 0x0000005355555503,
  0x0000002eeeeeeec0, 0x000000b75555549f,
  0x0000004eeedeeec0, 0x000001345516d49f,
  0x0000006eeeceeee0, 0x000001b154d8551c,
  0x0000001999999980, 0x00000063ffffff9d,
  0x0000003999899980, 0x000000e0ffc17f9d,
  0x00000059997999a0, 0x0000015dff83001a,
  0x00000079996999e0, 0x000001daff448114,
  0x0000001ffff00000, 0x0000007cffc18001,
  0x0000003fffe00020, 0x000000f9ff83007e,
  0x0000005fffd00060, 0x00000176ff448178,
  0x0000007fffc000c0, 0x000001f3ff0602ef,
  0x0000001ffff00020, 0x0000007cffc1807e,
  0x0000003fffe00060, 0x000000f9ff830178,
  0x0000005fffd000c0, 0x00000176ff4482ef,
  0x0000007fffcff0c0, 0x000001f3ff44446f,
  0x0000001ffff00040, 0x0000007cffc180fb,
  0x0000003fffe000a0, 0x000000f9ff830272,
  0x0000005fffdff0a0, 0x00000176ff82c3f2,
  0x0000007fffdfe0c0, 0x000001f3ff8285ef,
  0x0000001ffff00060, 0x0000007cffc18178,
  0x0000003fffeff060, 0x000000f9ffc142f8,
  0x0000005fffefe080, 0x00000176ffc104f5,
  0x0000007fffefd0c0, 0x000001f3ffc0c76f,
  0x0000001ffffff000, 0x0000007cffffc181,
  0x0000003fffffe020, 0x000000f9ffff837e,
  0x0000005fffffd060, 0x00000176ffff45f8,
  0x0000007fffffc0c0, 0x000001f3ffff08ef,
  0x0000001ffffff020, 0x0000007cffffc1fe,
  0x0000003fffffe060, 0x000000f9ffff8478,
  0x0000005fffffd0c0, 0x00000176ffff476f,
  0x0000007fffffccc0, 0x000001f3ffff37cf,
  0x0000001ffffff040, 0x0000007cffffc27b,
  0x0000003fffffe0a0, 0x000000f9ffff8572,
  0x0000005fffffdca0, 0x00000176ffff75d2,
  0x0000007fffffdc40, 0x000001f3ffff745b,
  0x0000001ffffff060, 0x0000007cffffc2f8,
  0x0000003fffffec60, 0x000000f9ffffb358,
  0x0000005fffffec00, 0x00000176ffffb1e1,
  0x0000007fffffebc0, 0x000001f3ffffb0e7,
  0x0000001ffffffc00, 0x0000007cfffff061,
  0x0000003ffffffba0, 0x000000f9ffffeeea,
  0x0000005ffffffb60, 0x00000176ffffedf0,
  0x0000007ffffffb40, 0x000001f3ffffed73,
  0x0000007cfffffe89, 0x0000007dfffffe87,
  0x000000f9fffffd8f, 0x000000fbfffffd8b,
  0x00000176fffffd12, 0x00000179fffffd0d,
  0x00000176fffffd12, 0x00000179fffffd0d,
  0x0000007cffffff06, 0x0000007dffffff05,
  0x000000f9fffffe89, 0x000000fbfffffe87,
  0x000000f9fffffe89, 0x000000fbfffffe87,
  0x000000f9ffffff06, 0x000000fbffffff05,
  0x0000007cffffff83, 0x0000007dffffff83,
  0x0000007cffffff83, 0x0000007dffffff83,
  0x0000007d00000000, 0x0000007e00000001,
  0x0000007d000000fa, 0x0000007e000000fd,
  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,
  0x000000f9fffffd12, 0x000000fbfffffd0d,
  0x0000003e7fffff06, 0x0000003effffff05,
  0x0000007cfffffe89, 0x0000007dfffffe87,
  0x000000bb7ffffe89, 0x000000bcfffffe87,
  0x000000f9ffffff06, 0x000000fbffffff05,
  0x0000003e7fffff83, 0x0000003effffff83,
  0x0000007cffffff83, 0x0000007dffffff83,
  0x000000bb80000000, 0x000000bd00000001,
  0x0000010ed5555502, 0x00000110ffffffad,
  0x0000003e80000000, 0x0000003f00000001,
  0x0000007d0000007d, 0x0000007e0000007f,
  0x000000d05555557f, 0x000000d20000002b,
  0x000001345555551b, 0x00000136cccccc93,
  0x0000003e8000007d, 0x0000003f0000007f,
  0x00000091d555557f, 0x000000930000002b,
  0x000000f5d555551b, 0x000000f7cccccc93,
  0x00000172d516d51b, 0x00000175cc8dcc93,
  0x0000005355555502, 0x00000053ffffffad,
  0x000000b75555549e, 0x000000b8cccccc15,
  0x000001345516d49e, 0x00000136cc8dcc15,
  0x000001b154d8551b, 0x000001b4cc4ecc93,
  0x00000063ffffff9c, 0x00000064cccccc69,
  0x000000e0ffc17f9c, 0x000000e2cc8dcc69,
  0x0000015dff830019, 0x00000160cc4ecce7,
  0x000001daff448113, 0x000001decc0fcde3,
  0x0000007cffc18000, 0x0000007dffc10001,
  0x000000f9ff83007d, 0x000000fbff82007f,
  0x00000176ff448177, 0x00000179ff43017b,
  0x000001f3ff0602ee, 0x000001f7ff0402f5,
  0x0000007cffc1807d, 0x0000007dffc1007f,
  0x000000f9ff830177, 0x000000fbff82017b,
  0x00000176ff4482ee, 0x00000179ff4302f5,
  0x000001f3ff44446e, 0x000001f7ff42c3f5,
  0x0000007cffc180fa, 0x0000007dffc100fd,
  0x000000f9ff830271, 0x000000fbff820277,
  0x00000176ff82c3f1, 0x00000179ff81c377,
  0x000001f3ff8285ee, 0x000001f7ff8184f5,
  0x0000007cffc18177, 0x0000007dffc1017b,
  0x000000f9ffc142f7, 0x000000fbffc0c27b,
  0x00000176ffc104f4, 0x00000179ffc083f9,
  0x000001f3ffc0c76e, 0x000001f7ffc045f5,
  0x0000007cffffc180, 0x0000007dffffc101,
  0x000000f9ffff837d, 0x000000fbffff827f,
  0x00000176ffff45f7, 0x00000179ffff447b,
  0x000001f3ffff08ee, 0x000001f7ffff06f5,
  0x0000007cffffc1fd, 0x0000007dffffc17f,
  0x000000f9ffff8477, 0x000000fbffff837b,
  0x00000176ffff476e, 0x00000179ffff45f5,
  0x000001f3ffff37ce, 0x000001f7ffff3635,
  0x0000007cffffc27a, 0x0000007dffffc1fd,
  0x000000f9ffff8571, 0x000000fbffff8477,
  0x00000176ffff75d1, 0x00000179ffff74b7,
  0x000001f3ffff745a, 0x000001f7ffff733d,
  0x0000007cffffc2f7, 0x0000007dffffc27b,
  0x000000f9ffffb357, 0x000000fbffffb2bb,
  0x00000176ffffb1e0, 0x00000179ffffb141,
  0x000001f3ffffb0e6, 0x000001f7ffffb045,
  0x0000007cfffff060, 0x0000007dfffff041,
  0x000000f9ffffeee9, 0x000000fbffffeec7,
  0x00000176ffffedef, 0x00000179ffffedcb,
  0x000001f3ffffed72, 0x000001f7ffffed4d,
  0x0000007dfffffe86, 0x0000007efffffe84,
  0x000000fbfffffd8a, 0x000000fdfffffd86,
  0x00000179fffffd0c, 0x0000017cfffffd07,
  0x00000179fffffd0c, 0x0000017cfffffd07,
  0x0000007dffffff04, 0x0000007effffff03,
  0x000000fbfffffe86, 0x000000fdfffffe84,
  0x000000fbfffffe86, 0x000000fdfffffe84,
  0x000000fbffffff04, 0x000000fdffffff03,
  0x0000007dffffff82, 0x0000007effffff82,
  0x0000007dffffff82, 0x0000007effffff82,
  0x0000007e00000000, 0x0000007f00000001,
  0x0000007e000000fc, 0x0000007f000000ff,
  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,
  0x000000fbfffffd0c, 0x000000fdfffffd07,
  0x0000003effffff04, 0x0000003f7fffff03,
  0x0000007dfffffe86, 0x0000007efffffe84,
  0x000000bcfffffe86, 0x000000be7ffffe84,
  0x000000fbffffff04, 0x000000fdffffff03,
  0x0000003effffff82, 0x0000003f7fffff82,
  0x0000007dffffff82, 0x0000007effffff82,
  0x000000bd00000000, 0x000000be80000001,
  0x00000110ffffffac, 0x000001132aaaaa57,
  0x0000003f00000000, 0x0000003f80000001,
  0x0000007e0000007e, 0x0000007f00000080,
  0x000000d20000002a, 0x000000d3aaaaaad6,
  0x00000136cccccc92, 0x000001394444440a,
  0x0000003f0000007e, 0x0000003f80000080,
  0x000000930000002a, 0x000000942aaaaad6,
  0x000000f7cccccc92, 0x000000f9c444440a,
  0x00000175cc8dcc92, 0x00000178c404c40a,
  0x00000053ffffffac, 0x00000054aaaaaa57,
  0x000000b8cccccc14, 0x000000ba4444438b,
  0x00000136cc8dcc14, 0x000001394404c38b,
  0x000001b4cc4ecc92, 0x000001b843c5440a,
  0x00000064cccccc68, 0x0000006599999935,
  0x000000e2cc8dcc68, 0x000000e4995a1935,
  0x00000160cc4ecce6, 0x00000163991a99b4,
  0x000001decc0fcde2, 0x000001e298db1ab2,
  0x0000007dffc10000, 0x0000007effc08001,
  0x000000fbff82007e, 0x000000fdff810080,
  0x00000179ff43017a, 0x0000017cff41817e,
  0x000001f7ff0402f4, 0x000001fbff0202fb,
  0x0000007dffc1007e, 0x0000007effc08080,
  0x000000fbff82017a, 0x000000fdff81017e,
  0x00000179ff4302f4, 0x0000017cff4182fb,
  0x000001f7ff42c3f4, 0x000001fbff41437b,
  0x0000007dffc100fc, 0x0000007effc080ff,
  0x000000fbff820276, 0x000000fdff81027c,
  0x00000179ff81c376, 0x0000017cff80c2fc,
  0x000001f7ff8184f4, 0x000001fbff8083fb,
  0x0000007dffc1017a, 0x0000007effc0817e,
  0x000000fbffc0c27a, 0x000000fdffc041fe,
  0x00000179ffc083f8, 0x0000017cffc002fd,
  0x000001f7ffc045f4, 0x000001fbffbfc47b,
  0x0000007dffffc100, 0x0000007effffc081,
  0x000000fbffff827e, 0x000000fdffff8180,
  0x00000179ffff447a, 0x0000017cffff42fe,
  0x000001f7ffff06f4, 0x000001fbffff04fb,
  0x0000007dffffc17e, 0x0000007effffc100,
  0x000000fbffff837a, 0x000000fdffff827e,
  0x00000179ffff45f4, 0x0000017cffff447b,
  0x000001f7ffff3634, 0x000001fbffff349b,
  0x0000007dffffc1fc, 0x0000007effffc17f,
  0x000000fbffff8476, 0x000000fdffff837c,
  0x00000179ffff74b6, 0x0000017cffff739c,
  0x000001f7ffff733c, 0x000001fbffff721f,
  0x0000007dffffc27a, 0x0000007effffc1fe,
  0x000000fbffffb2ba, 0x000000fdffffb21e,
  0x00000179ffffb140, 0x0000017cffffb0a1,
  0x000001f7ffffb044, 0x000001fbffffafa3,
  0x0000007dfffff040, 0x0000007efffff021,
  0x000000fbffffeec6, 0x000000fdffffeea4,
  0x00000179ffffedca, 0x0000017cffffeda6,
  0x000001f7ffffed4c, 0x000001fbffffed27,
  0x0000007efffffe83, 0x00007ffcfffe800a,
  0x000000fdfffffd85, 0x0000fff9fffd8010,
  0x0000017cfffffd06, 0x00017ff6fffd0013,
  0x0000017cfffffd06, 0x00017ff6fffd0013,
  0x0000007effffff02, 0x00007ffcffff0007,
  0x000000fdfffffe83, 0x0000fff9fffe800a,
  0x000000fdfffffe83, 0x0000fff9fffe800a,
  0x000000fdffffff02, 0x0000fff9ffff0007,
  0x0000007effffff81, 0x00007ffcffff8004,
  0x0000007effffff81, 0x00007ffcffff8004,
  0x0000007f00000000, 0x00007ffd00000001,
  0x0000007f000000fe, 0x00007ffd0000fffb,
  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,
  0x000000fdfffffd06, 0x0000fff9fffd0013,
  0x0000003f7fffff02, 0x00003ffe7fff0007,
  0x0000007efffffe83, 0x00007ffcfffe800a,
  0x000000be7ffffe83, 0x0000bffb7ffe800a,
  0x000000fdffffff02, 0x0000fff9ffff0007,
  0x0000003f7fffff81, 0x00003ffe7fff8004,
  0x0000007effffff81, 0x00007ffcffff8004,
  0x000000be80000000, 0x0000bffb80000001,
  0x000001132aaaaa56, 0x0001154ed5550003,
  0x0000003f80000000, 0x00003ffe80000001,
  0x0000007f0000007f, 0x00007ffd00007ffe,
  0x000000d3aaaaaad5, 0x0000d55055558000,
  0x0000013944444409, 0x00013bb45555199c,
  0x0000003f8000007f, 0x00003ffe80007ffe,
  0x000000942aaaaad5, 0x00009551d5558000,
  0x000000f9c4444409, 0x0000fbb5d555199c,
  0x00000178c404c409, 0x00017bb29556999c,
  0x00000054aaaaaa56, 0x0000555355550003,
  0x000000ba4444438a, 0x0000bbb75554999f,
  0x000001394404c38a, 0x00013bb41556199f,
  0x000001b843c54409, 0x0001bbb0d558199c,
  0x0000006599999934, 0x00006663ffff999d,
  0x000000e4995a1934, 0x0000e660c001199d,
  0x00000163991a99b3, 0x0001665d8003199a,
  0x000001e298db1ab1, 0x0001e65a40059994,
  0x0000007effc08000, 0x00007ffcc0018001,
  0x000000fdff81007f, 0x0000fff980037ffe,
  0x0000017cff41817d, 0x00017ff64005fff8,
  0x000001fbff0202fa, 0x0001fff30008ffef,
  0x0000007effc0807f, 0x00007ffcc001fffe,
  0x000000fdff81017d, 0x0000fff980047ff8,
  0x0000017cff4182fa, 0x00017ff640077fef,
  0x000001fbff41437a, 0x0001fff33fc7816f,
  0x0000007effc080fe, 0x00007ffcc0027ffb,
  0x000000fdff81027b, 0x0000fff980057ff2,
  0x0000017cff80c2fb, 0x00017ff67fc58172,
  0x000001fbff8083fa, 0x0001fff37f8602ef,
  0x0000007effc0817d, 0x00007ffcc002fff8,
  0x000000fdffc041fd, 0x0000fff9bfc30178,
  0x0000017cffc002fc, 0x00017ff6bf8382f5,
  0x000001fbffbfc47a, 0x0001fff3bf44846f,
  0x0000007effffc080, 0x00007ffcffc00181,
  0x000000fdffff817f, 0x0000fff9ff8082fe,
  0x0000017cffff42fd, 0x00017ff6ff418478,
  0x000001fbffff04fa, 0x0001fff3ff0305ef,
  0x0000007effffc0ff, 0x00007ffcffc0817e,
  0x000000fdffff827d, 0x0000fff9ff8182f8,
  0x0000017cffff447a, 0x00017ff6ff43046f,
  0x000001fbffff349a, 0x0001fff3ff3304cf,
  0x0000007effffc17e, 0x00007ffcffc1017b,
  0x000000fdffff837b, 0x0000fff9ff8282f2,
  0x0000017cffff739b, 0x00017ff6ff728352,
  0x000001fbffff721e, 0x0001fff3ff71035b,
  0x0000007effffc1fd, 0x00007ffcffc18178,
  0x000000fdffffb21d, 0x0000fff9ffb181d8,
  0x0000017cffffb0a0, 0x00017ff6ffb001e1,
  0x000001fbffffafa2, 0x0001fff3ffaf01e7,
  0x0000007efffff020, 0x00007ffcfff00061,
  0x000000fdffffeea3, 0x0000fff9ffee806a,
  0x0000017cffffeda5, 0x00017ff6ffed8070,
  0x000001fbffffed26, 0x0001fff3ffed0073,
  0x00007ffcfffe8009, 0x00007ffdfffe8007,
  0x0000fff9fffd800f, 0x0000fffbfffd800b,
  0x00017ff6fffd0012, 0x00017ff9fffd000d,
  0x00017ff6fffd0012, 0x00017ff9fffd000d,
  0x00007ffcffff0006, 0x00007ffdffff0005,
  0x0000fff9fffe8009, 0x0000fffbfffe8007,
  0x0000fff9fffe8009, 0x0000fffbfffe8007,
  0x0000fff9ffff0006, 0x0000fffbffff0005,
  0x00007ffcffff8003, 0x00007ffdffff8003,
  0x00007ffcffff8003, 0x00007ffdffff8003,
  0x00007ffd00000000, 0x00007ffe00000001,
  0x00007ffd0000fffa, 0x00007ffe0000fffd,
  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,
  0x0000fff9fffd0012, 0x0000fffbfffd000d,
  0x00003ffe7fff0006, 0x00003ffeffff0005,
  0x00007ffcfffe8009, 0x00007ffdfffe8007,
  0x0000bffb7ffe8009, 0x0000bffcfffe8007,
  0x0000fff9ffff0006, 0x0000fffbffff0005,
  0x00003ffe7fff8003, 0x00003ffeffff8003,
  0x00007ffcffff8003, 0x00007ffdffff8003,
  0x0000bffb80000000, 0x0000bffd00000001,
  0x0001154ed5550002, 0x00011550ffffaaad,
  0x00003ffe80000000, 0x00003fff00000001,
  0x00007ffd00007ffd, 0x00007ffe00007fff,
  0x0000d55055557fff, 0x0000d55200002aab,
  0x00013bb45555199b, 0x00013bb6cccc9113,
  0x00003ffe80007ffd, 0x00003fff00007fff,
  0x00009551d5557fff, 0x0000955300002aab,
  0x0000fbb5d555199b, 0x0000fbb7cccc9113,
  0x00017bb29556999b, 0x00017bb58ccd9113,
  0x0000555355550002, 0x00005553ffffaaad,
  0x0000bbb75554999e, 0x0000bbb8cccc1115,
  0x00013bb41556199e, 0x00013bb68ccd1115,
  0x0001bbb0d558199b, 0x0001bbb44cce9113,
  0x00006663ffff999c, 0x00006664cccc6669,
  0x0000e660c001199c, 0x0000e6628ccd6669,
  0x0001665d80031999, 0x000166604ccee667,
  0x0001e65a40059993, 0x0001e65e0cd0e663,
  0x00007ffcc0018000, 0x00007ffdc0010001,
  0x0000fff980037ffd, 0x0000fffb80027fff,
  0x00017ff64005fff7, 0x00017ff940047ffb,
  0x0001fff30008ffee, 0x0001fff70006fff5,
  0x00007ffcc001fffd, 0x00007ffdc0017fff,
  0x0000fff980047ff7, 0x0000fffb80037ffb,
  0x00017ff640077fee, 0x00017ff94005fff5,
  0x0001fff33fc7816e, 0x0001fff73fc600f5,
  0x00007ffcc0027ffa, 0x00007ffdc001fffd,
  0x0000fff980057ff1, 0x0000fffb80047ff7,
  0x00017ff67fc58171, 0x00017ff97fc480f7,
  0x0001fff37f8602ee, 0x0001fff77f8501f5,
  0x00007ffcc002fff7, 0x00007ffdc0027ffb,
  0x0000fff9bfc30177, 0x0000fffbbfc280fb,
  0x00017ff6bf8382f4, 0x00017ff9bf8301f9,
  0x0001fff3bf44846e, 0x0001fff7bf4402f5,
  0x00007ffcffc00180, 0x00007ffdffc00101,
  0x0000fff9ff8082fd, 0x0000fffbff8081ff,
  0x00017ff6ff418477, 0x00017ff9ff4182fb,
  0x0001fff3ff0305ee, 0x0001fff7ff0303f5,
  0x00007ffcffc0817d, 0x00007ffdffc080ff,
  0x0000fff9ff8182f7, 0x0000fffbff8181fb,
  0x00017ff6ff43046e, 0x00017ff9ff4302f5,
  0x0001fff3ff3304ce, 0x0001fff7ff330335,
  0x00007ffcffc1017a, 0x00007ffdffc100fd,
  0x0000fff9ff8282f1, 0x0000fffbff8281f7,
  0x00017ff6ff728351, 0x00017ff9ff728237,
  0x0001fff3ff71035a, 0x0001fff7ff71023d,
  0x00007ffcffc18177, 0x00007ffdffc180fb,
  0x0000fff9ffb181d7, 0x0000fffbffb1813b,
  0x00017ff6ffb001e0, 0x00017ff9ffb00141,
  0x0001fff3ffaf01e6, 0x0001fff7ffaf0145,
  0x00007ffcfff00060, 0x00007ffdfff00041,
  0x0000fff9ffee8069, 0x0000fffbffee8047,
  0x00017ff6ffed806f, 0x00017ff9ffed804b,
  0x0001fff3ffed0072, 0x0001fff7ffed004d,
  0x00007ffdfffe8006, 0x00007ffefffe8004,
  0x0000fffbfffd800a, 0x0000fffdfffd8006,
  0x00017ff9fffd000c, 0x00017ffcfffd0007,
  0x00017ff9fffd000c, 0x00017ffcfffd0007,
  0x00007ffdffff0004, 0x00007ffeffff0003,
  0x0000fffbfffe8006, 0x0000fffdfffe8004,
  0x0000fffbfffe8006, 0x0000fffdfffe8004,
  0x0000fffbffff0004, 0x0000fffdffff0003,
  0x00007ffdffff8002, 0x00007ffeffff8002,
  0x00007ffdffff8002, 0x00007ffeffff8002,
  0x00007ffe00000000, 0x00007fff00000001,
  0x00007ffe0000fffc, 0x00007fff0000ffff,
  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,
  0x0000fffbfffd000c, 0x0000fffdfffd0007,
  0x00003ffeffff0004, 0x00003fff7fff0003,
  0x00007ffdfffe8006, 0x00007ffefffe8004,
  0x0000bffcfffe8006, 0x0000bffe7ffe8004,
  0x0000fffbffff0004, 0x0000fffdffff0003,
  0x00003ffeffff8002, 0x00003fff7fff8002,
  0x00007ffdffff8002, 0x00007ffeffff8002,
  0x0000bffd00000000, 0x0000bffe80000001,
  0x00011550ffffaaac, 0x000115532aaa5557,
  0x00003fff00000000, 0x00003fff80000001,
  0x00007ffe00007ffe, 0x00007fff00008000,
  0x0000d55200002aaa, 0x0000d553aaaad556,
  0x00013bb6cccc9112, 0x00013bb94444088a,
  0x00003fff00007ffe, 0x00003fff80008000,
  0x0000955300002aaa, 0x000095542aaad556,
  0x0000fbb7cccc9112, 0x0000fbb9c444088a,
  0x00017bb58ccd9112, 0x00017bb88444888a,
  0x00005553ffffaaac, 0x00005554aaaa5557,
  0x0000bbb8cccc1114, 0x0000bbba4443888b,
  0x00013bb68ccd1114, 0x00013bb90444088b,
  0x0001bbb44cce9112, 0x0001bbb7c445088a,
  0x00006664cccc6668, 0x0000666599993335,
  0x0000e6628ccd6668, 0x0000e6645999b335,
  0x000166604ccee666, 0x00016663199ab334,
  0x0001e65e0cd0e662, 0x0001e661d99c3332,
  0x00007ffdc0010000, 0x00007ffec0008001,
  0x0000fffb80027ffe, 0x0000fffd80018000,
  0x00017ff940047ffa, 0x00017ffc4002fffe,
  0x0001fff70006fff4, 0x0001fffb0004fffb,
  0x00007ffdc0017ffe, 0x00007ffec0010000,
  0x0000fffb80037ffa, 0x0000fffd80027ffe,
  0x00017ff94005fff4, 0x00017ffc40047ffb,
  0x0001fff73fc600f4, 0x0001fffb3fc4807b,
  0x00007ffdc001fffc, 0x00007ffec0017fff,
  0x0000fffb80047ff6, 0x0000fffd80037ffc,
  0x00017ff97fc480f6, 0x00017ffc7fc3807c,
  0x0001fff77f8501f4, 0x0001fffb7f8400fb,
  0x00007ffdc0027ffa, 0x00007ffec001fffe,
  0x0000fffbbfc280fa, 0x0000fffdbfc2007e,
  0x00017ff9bf8301f8, 0x00017ffcbf8280fd,
  0x0001fff7bf4402f4, 0x0001fffbbf43817b,
  0x00007ffdffc00100, 0x00007ffeffc00081,
  0x0000fffbff8081fe, 0x0000fffdff808100,
  0x00017ff9ff4182fa, 0x00017ffcff41817e,
  0x0001fff7ff0303f4, 0x0001fffbff0301fb,
  0x00007ffdffc080fe, 0x00007ffeffc08080,
  0x0000fffbff8181fa, 0x0000fffdff8180fe,
  0x00017ff9ff4302f4, 0x00017ffcff43017b,
  0x0001fff7ff330334, 0x0001fffbff33019b,
  0x00007ffdffc100fc, 0x00007ffeffc1007f,
  0x0000fffbff8281f6, 0x0000fffdff8280fc,
  0x00017ff9ff728236, 0x00017ffcff72811c,
  0x0001fff7ff71023c, 0x0001fffbff71011f,
  0x00007ffdffc180fa, 0x00007ffeffc1807e,
  0x0000fffbffb1813a, 0x0000fffdffb1809e,
  0x00017ff9ffb00140, 0x00017ffcffb000a1,
  0x0001fff7ffaf0144, 0x0001fffbffaf00a3,
  0x00007ffdfff00040, 0x00007ffefff00021,
  0x0000fffbffee8046, 0x0000fffdffee8024,
  0x00017ff9ffed804a, 0x00017ffcffed8026,
  0x0001fff7ffed004c, 0x0001fffbffed0027,
  0x00007ffefffe8003, 0x3333333266666668,
  0x0000fffdfffd8005, 0x6666666500000002,
  0x00017ffcfffd0006, 0x99999997cccccccf,
  0x00017ffcfffd0006, 0x99999997cccccccf,
  0x00007ffeffff0002, 0x333333329999999b,
  0x0000fffdfffe8003, 0x6666666566666668,
  0x0000fffdfffe8003, 0x6666666566666668,
  0x0000fffdffff0002, 0x666666659999999b,
  0x00007ffeffff8001, 0x33333332ccccccce,
  0x00007ffeffff8001, 0x33333332ccccccce,
  0x00007fff00000000, 0x3333333300000001,
  0x00007fff0000fffe, 0x3333333366666667,
  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,
  0x0000fffdfffd0006, 0x66666664cccccccf,
  0x00003fff7fff0002, 0x199999991999999b,
  0x00007ffefffe8003, 0x3333333266666668,
  0x0000bffe7ffe8003, 0x4ccccccbe6666668,
  0x0000fffdffff0002, 0x666666659999999b,
  0x00003fff7fff8001, 0x199999994cccccce,
  0x00007ffeffff8001, 0x33333332ccccccce,
  0x0000bffe80000000, 0x4ccccccc80000001,
  0x000115532aaa5556, 0x6eeeeeee5ddddddf,
  0x00003fff80000000, 0x1999999980000001,
  0x00007fff00007fff, 0x3333333333333334,
  0x0000d553aaaad555, 0x5555555511111112,
  0x00013bb944440889, 0x7e4b17e41b4e81b6,
  0x00003fff80007fff, 0x19999999b3333334,
  0x000095542aaad555, 0x3bbbbbbb91111112,
  0x0000fbb9c4440889, 0x64b17e4a9b4e81b6,
  0x00017bb884448889, 0x97e497e401b501b6,
  0x00005554aaaa5556, 0x22222221dddddddf,
  0x0000bbba4443888a, 0x4b17e4b0e81b4e83,
  0x00013bb90444088a, 0x7e4afe4a4e81ce83,
  0x0001bbb7c4450889, 0xb17e17e3e81b81b6,
  0x0000666599993334, 0x28f5c28f0a3d70a5,
  0x0000e6645999b334, 0x5c28dc2870a3f0a5,
  0x00016663199ab333, 0x8f5bf5c20a3da3d8,
  0x0001e661d99c3331, 0xc28f0f5bd70a8a3e,
  0x00007ffec0008000, 0x3333199966668001,
  0x0000fffd80017fff, 0x6666333300003334,
  0x00017ffc4002fffd, 0x99994ccccccd199a,
  0x0001fffb0004fffa, 0xcccc6666cccd3333,
  0x00007ffec000ffff, 0x333319999999b334,
  0x0000fffd80027ffd, 0x666633336666999a,
  0x00017ffc40047ffa, 0x99994ccd6666b333,
  0x0001fffb3fc4807a, 0xcccc7fe6cccd19b3,
  0x00007ffec0017ffe, 0x33331999cccce667,
  0x0000fffd80037ffb, 0x66663333cccd0000,
  0x00017ffc7fc3807b, 0x9999664d33336680,
  0x0001fffb7f8400fa, 0xcccc9966cccd0033,
  0x00007ffec001fffd, 0x3333199a0000199a,
  0x0000fffdbfc2007d, 0x66664cb36666801a,
  0x00017ffcbf8280fc, 0x99997fcd000019cd,
  0x0001fffbbf43817a, 0xccccb2e6cccce6b3,
  0x00007ffeffc00080, 0x3333331966666681,
  0x0000fffdff8080ff, 0x6666663300000034,
  0x00017ffcff41817d, 0x9999994ccccccd1a,
  0x0001fffbff0301fa, 0xcccccc66cccccd33,
  0x00007ffeffc0807f, 0x33333319999999b4,
  0x0000fffdff8180fd, 0x666666336666669a,
  0x00017ffcff43017a, 0x9999994d666666b3,
  0x0001fffbff33019a, 0xcccccc7a00000053,
  0x00007ffeffc1007e, 0x33333319cccccce7,
  0x0000fffdff8280fb, 0x66666633cccccd00,
  0x00017ffcff72811b, 0x99999960666666a0,
  0x0001fffbff71011e, 0xcccccc92cccccd07,
  0x00007ffeffc1807d, 0x3333331a0000001a,
  0x0000fffdffb1809d, 0x66666646999999ba,
  0x00017ffcffb000a0, 0x9999997900000021,
  0x0001fffbffaf00a2, 0xccccccab999999bb,
  0x00007ffefff00020, 0x3333332c999999a1,
  0x0000fffdffee8023, 0x6666665f00000008,
  0x00017ffcffed8025, 0x99999991999999a2,
  0x0001fffbffed0026, 0xccccccc46666666f,
  0x3333333266666667, 0x5555555400000002,
  0x6666666500000001, 0xaaaaaaa855555558,
  0x99999997ccccccce, 0xfffffffd00000003,
  0x99999997ccccccce, 0xfffffffd00000003,
  0x333333329999999a, 0x5555555455555557,
  0x6666666566666667, 0xaaaaaaa900000002,
  0x6666666566666667, 0xaaaaaaa900000002,
  0x666666659999999a, 0xaaaaaaa955555557,
  0x33333332cccccccd, 0x55555554aaaaaaac,
  0x33333332cccccccd, 0x55555554aaaaaaac,
  0x3333333300000000, 0x5555555500000001,
  0x3333333366666666, 0x55555555aaaaaaab,
  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,
  0x66666664ccccccce, 0xaaaaaaa800000003,
  0x199999991999999a, 0x2aaaaaa9d5555557,
  0x3333333266666667, 0x5555555400000002,
  0x4ccccccbe6666667, 0x7ffffffe80000002,
  0x666666659999999a, 0xaaaaaaa955555557,
  0x199999994ccccccd, 0x2aaaaaaa2aaaaaac,
  0x33333332cccccccd, 0x55555554aaaaaaac,
  0x4ccccccc80000000, 0x7fffffff80000001,
  0x6eeeeeee5dddddde, 0xb8e38e37f1c71c73,
  0x1999999980000000, 0x2aaaaaaa80000001,
  0x3333333333333333, 0x5555555555555556,
  0x5555555511111111, 0x8e38e38dc71c71c8,
  0x7e4b17e41b4e81b5, 0xd27d27d182d82d84,
  0x19999999b3333333, 0x2aaaaaaad5555556,
  0x3bbbbbbb91111111, 0x638e38e3471c71c8,
  0x64b17e4a9b4e81b5, 0xa7d27d2702d82d84,
  0x97e497e401b501b5, 0xfd27a7d1582dad84,
  0x22222221ddddddde, 0x38e38e3871c71c73,
  0x4b17e4b0e81b4e82, 0x7d27d27c2d82d82f,
  0x7e4afe4a4e81ce82, 0xd27cfd2682d8582f,
  0xb17e17e3e81b81b5, 0x27d227d12d832d84,
  0x28f5c28f0a3d70a4, 0x44444443bbbbbbbd,
  0x5c28dc2870a3f0a4, 0x99996eee11113bbd,
  0x8f5bf5c20a3da3d7, 0xeeee9998bbbc1112,
  0xc28f0f5bd70a8a3d, 0x4443c443bbbc3bbc,
  0x3333199966668000, 0x55552aaa55558001,
  0x6666333300003333, 0xaaaa555500005556,
  0x99994ccccccd1999, 0xffff800000008000,
  0xcccc6666cccd3332, 0x5554aaab5555ffff,
  0x333319999999b333, 0x55552aaaaaaad556,
  0x6666333366669999, 0xaaaa5555aaab0000,
  0x99994ccd6666b332, 0xffff800100007fff,
  0xcccc7fe6cccd19b2, 0x5554d52b5555d57f,
  0x33331999cccce666, 0x55552aab00002aab,
  0x66663333ccccffff, 0xaaaa55565555aaaa,
  0x9999664d3333667f, 0xffffaa80aaab002a,
  0xcccc9966cccd0032, 0x5554ffab5555aaff,
  0x3333199a00001999, 0x55552aab55558000,
  0x66664cb366668019, 0xaaaa7fd5aaaad580,
  0x99997fcd000019cc, 0xffffd50055558055,
  0xccccb2e6cccce6b2, 0x55552a2b5555807f,
  0x3333331966666680, 0x5555552a55555581,
  0x6666663300000033, 0xaaaaaa5500000056,
  0x9999994ccccccd19, 0xffffff8000000080,
  0xcccccc66cccccd32, 0x555554ab555555ff,
  0x33333319999999b3, 0x5555552aaaaaaad6,
  0x6666663366666699, 0xaaaaaa55aaaaab00,
  0x9999994d666666b2, 0xffffff810000007f,
  0xcccccc7a00000052, 0x555554cb555555df,
  0x33333319cccccce6, 0x5555552b0000002b,
  0x66666633ccccccff, 0xaaaaaa56555555aa,
  0x999999606666669f, 0xffffffa0aaaaab0a,
  0xcccccc92cccccd06, 0x555554f4aaaaab0b,
  0x3333331a00000019, 0x5555552b55555580,
  0x66666646999999b9, 0xaaaaaa75aaaaaae0,
  0x9999997900000020, 0xffffffc9aaaaaae1,
  0xccccccab999999ba, 0x5555551e00000037,
  0x3333332c999999a0, 0x5555554a55555561,
  0x6666665f00000007, 0xaaaaaa9e55555562,
  0x99999991999999a1, 0xfffffff2aaaaaab8,
  0xccccccc46666666e, 0x5555554755555563,
  0x5555555400000001, 0x7ffffffb8000000a,
  0xaaaaaaa855555557, 0xfffffff780000010,
  0xfffffffd00000002, 0x7ffffff400000013,
  0xfffffffd00000002, 0x7ffffff400000013,
  0x5555555455555556, 0x7ffffffc00000007,
  0xaaaaaaa900000001, 0xfffffff88000000a,
  0xaaaaaaa900000001, 0xfffffff88000000a,
  0xaaaaaaa955555556, 0xfffffff900000007,
  0x55555554aaaaaaab, 0x7ffffffc80000004,
  0x55555554aaaaaaab, 0x7ffffffc80000004,
  0x5555555500000000, 0x7ffffffd00000001,
  0x55555555aaaaaaaa, 0x7ffffffdfffffffb,
  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,
  0xaaaaaaa800000002, 0xfffffff700000013,
  0x2aaaaaa9d5555556, 0x3ffffffd80000007,
  0x5555555400000001, 0x7ffffffb8000000a,
  0x7ffffffe80000001, 0xbffffffa0000000a,
  0xaaaaaaa955555556, 0xfffffff900000007,
  0x2aaaaaaa2aaaaaab, 0x3ffffffe00000004,
  0x55555554aaaaaaab, 0x7ffffffc80000004,
  0x7fffffff80000000, 0xbffffffb80000001,
  0xb8e38e37f1c71c72, 0x1555554e80000003,
  0x2aaaaaaa80000000, 0x3ffffffe80000001,
  0x5555555555555555, 0x7ffffffd7ffffffe,
  0x8e38e38dc71c71c7, 0xd555555080000000,
  0xd27d27d182d82d83, 0x3bbbbbb41999999c,
  0x2aaaaaaad5555555, 0x3ffffffefffffffe,
  0x638e38e3471c71c7, 0x9555555200000000,
  0xa7d27d2702d82d83, 0xfbbbbbb59999999c,
  0xfd27a7d1582dad83, 0x7bbb7bb2999b199c,
  0x38e38e3871c71c72, 0x5555555300000003,
  0x7d27d27c2d82d82e, 0xbbbbbbb69999999f,
  0xd27cfd2682d8582e, 0x3bbb7bb3999b199f,
  0x27d227d12d832d83, 0xbbbb3bb1199c999c,
  0x44444443bbbbbbbc, 0x666666639999999d,
  0x99996eee11113bbc, 0xe6662660999b199d,
  0xeeee9998bbbc1111, 0x6665e65e199c999a,
  0x4443c443bbbc3bbb, 0xe665a65c199e1994,
  0x55552aaa55558000, 0x7fffbffd00018001,
  0xaaaa555500005555, 0xffff7ffa8002fffe,
  0xffff800000007fff, 0x7fff3ff880047ff8,
  0x5554aaab5555fffe, 0xfffefff70005ffef,
  0x55552aaaaaaad555, 0x7fffbffd80017ffe,
  0xaaaa5555aaaaffff, 0xffff7ffb8002fff8,
  0xffff800100007ffe, 0x7fff3ffa00047fef,
  0x5554d52b5555d57e, 0xffff3fb70004816f,
  0x55552aab00002aaa, 0x7fffbffe00017ffb,
  0xaaaa55565555aaa9, 0xffff7ffc8002fff2,
  0xffffaa80aaab0029, 0x7fff7fb980030172,
  0x5554ffab5555aafe, 0xffff7f77000302ef,
  0x55552aab55557fff, 0x7fffbffe80017ff8,
  0xaaaa7fd5aaaad57f, 0xffffbfbb80018178,
  0xffffd50055558054, 0x7fffbf79000182f5,
  0x55552a2b5555807e, 0xffffbf370001846f,
  0x5555552a55555580, 0x7fffffbd00000181,
  0xaaaaaa5500000055, 0xffffff7a800002fe,
  0xffffff800000007f, 0x7fffff3880000478,
  0x555554ab555555fe, 0xfffffef7000005ef,
  0x5555552aaaaaaad5, 0x7fffffbd8000017e,
  0xaaaaaa55aaaaaaff, 0xffffff7b800002f8,
  0xffffff810000007e, 0x7fffff3a0000046f,
  0x555554cb555555de, 0xffffff27000004cf,
  0x5555552b0000002a, 0x7fffffbe0000017b,
  0xaaaaaa56555555a9, 0xffffff7c800002f2,
  0xffffffa0aaaaab09, 0x7fffff6980000352,
  0x555554f4aaaaab0a, 0xffffff650000035b,
  0x5555552b5555557f, 0x7fffffbe80000178,
  0xaaaaaa75aaaaaadf, 0xffffffab800001d8,
  0xffffffc9aaaaaae0, 0x7fffffa7000001e1,
  0x5555551e00000036, 0xffffffa3000001e7,
  0x5555554a55555560, 0x7fffffed00000061,
  0xaaaaaa9e55555561, 0xffffffe88000006a,
  0xfffffff2aaaaaab7, 0x7fffffe480000070,
  0x5555554755555562, 0xffffffe100000073,
  0x7ffffffb80000009, 0x7ffffffc80000007,
  0xfffffff78000000f, 0xfffffff98000000b,
  0x7ffffff400000012, 0x7ffffff70000000d,
  0x7ffffff400000012, 0x7ffffff70000000d,
  0x7ffffffc00000006, 0x7ffffffd00000005,
  0xfffffff880000009, 0xfffffffa80000007,
  0xfffffff880000009, 0xfffffffa80000007,
  0xfffffff900000006, 0xfffffffb00000005,
  0x7ffffffc80000003, 0x7ffffffd80000003,
  0x7ffffffc80000003, 0x7ffffffd80000003,
  0x7ffffffd00000000, 0x7ffffffe00000001,
  0x7ffffffdfffffffa, 0x7ffffffefffffffd,
  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,
  0xfffffff700000012, 0xfffffff90000000d,
  0x3ffffffd80000006, 0x3ffffffe00000005,
  0x7ffffffb80000009, 0x7ffffffc80000007,
  0xbffffffa00000009, 0xbffffffb80000007,
  0xfffffff900000006, 0xfffffffb00000005,
  0x3ffffffe00000003, 0x3ffffffe80000003,
  0x7ffffffc80000003, 0x7ffffffd80000003,
  0xbffffffb80000000, 0xbffffffd00000001,
  0x1555554e80000002, 0x15555550aaaaaaad,
  0x3ffffffe80000000, 0x3fffffff00000001,
  0x7ffffffd7ffffffd, 0x7ffffffe7fffffff,
  0xd55555507fffffff, 0xd55555522aaaaaab,
  0x3bbbbbb41999999b, 0x3bbbbbb691111113,
  0x3ffffffefffffffd, 0x3fffffff7fffffff,
  0x95555551ffffffff, 0x955555532aaaaaab,
  0xfbbbbbb59999999b, 0xfbbbbbb791111113,
  0x7bbb7bb2999b199b, 0x7bbb7bb591121113,
  0x5555555300000002, 0x55555553aaaaaaad,
  0xbbbbbbb69999999e, 0xbbbbbbb811111115,
  0x3bbb7bb3999b199e, 0x3bbb7bb611121115,
  0xbbbb3bb1199c999b, 0xbbbb3bb491131113,
  0x666666639999999c, 0x6666666466666669,
  0xe6662660999b199c, 0xe666266266676669,
  0x6665e65e199c9999, 0x6665e660e6686667,
  0xe665a65c199e1993, 0xe665a65fe6696663,
  0x7fffbffd00018000, 0x7fffbffe00010001,
  0xffff7ffa8002fffd, 0xffff7ffc8001ffff,
  0x7fff3ff880047ff7, 0x7fff3ffb8002fffb,
  0xfffefff70005ffee, 0xfffefffb0003fff5,
  0x7fffbffd80017ffd, 0x7fffbffe8000ffff,
  0xffff7ffb8002fff7, 0xffff7ffd8001fffb,
  0x7fff3ffa00047fee, 0x7fff3ffd0002fff5,
  0xffff3fb70004816e, 0xffff3fbb000300f5,
  0x7fffbffe00017ffa, 0x7fffbfff0000fffd,
  0xffff7ffc8002fff1, 0xffff7ffe8001fff7,
  0x7fff7fb980030171, 0x7fff7fbc800200f7,
  0xffff7f77000302ee, 0xffff7f7b000201f5,
  0x7fffbffe80017ff7, 0x7fffbfff8000fffb,
  0xffffbfbb80018177, 0xffffbfbd800100fb,
  0x7fffbf79000182f4, 0x7fffbf7c000101f9,
  0xffffbf370001846e, 0xffffbf3b000102f5,
  0x7fffffbd00000180, 0x7fffffbe00000101,
  0xffffff7a800002fd, 0xffffff7c800001ff,
  0x7fffff3880000477, 0x7fffff3b800002fb,
  0xfffffef7000005ee, 0xfffffefb000003f5,
  0x7fffffbd8000017d, 0x7fffffbe800000ff,
  0xffffff7b800002f7, 0xffffff7d800001fb,
  0x7fffff3a0000046e, 0x7fffff3d000002f5,
  0xffffff27000004ce, 0xffffff2b00000335,
  0x7fffffbe0000017a, 0x7fffffbf000000fd,
  0xffffff7c800002f1, 0xffffff7e800001f7,
  0x7fffff6980000351, 0x7fffff6c80000237,
  0xffffff650000035a, 0xffffff690000023d,
  0x7fffffbe80000177, 0x7fffffbf800000fb,
  0xffffffab800001d7, 0xffffffad8000013b,
  0x7fffffa7000001e0, 0x7fffffaa00000141,
  0xffffffa3000001e6, 0xffffffa700000145,
  0x7fffffed00000060, 0x7fffffee00000041,
  0xffffffe880000069, 0xffffffea80000047,
  0x7fffffe48000006f, 0x7fffffe78000004b,
  0xffffffe100000072, 0xffffffe50000004d,
  0x7ffffffc80000006, 0x7ffffffd80000004,
  0xfffffff98000000a, 0xfffffffb80000006,
  0x7ffffff70000000c, 0x7ffffffa00000007,
  0x7ffffff70000000c, 0x7ffffffa00000007,
  0x7ffffffd00000004, 0x7ffffffe00000003,
  0xfffffffa80000006, 0xfffffffc80000004,
  0xfffffffa80000006, 0xfffffffc80000004,
  0xfffffffb00000004, 0xfffffffd00000003,
  0x7ffffffd80000002, 0x7ffffffe80000002,
  0x7ffffffd80000002, 0x7ffffffe80000002,
  0x7ffffffe00000000, 0x7fffffff00000001,
  0x7ffffffefffffffc, 0x7fffffffffffffff,
  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,
  0xfffffff90000000c, 0xfffffffb00000007,
  0x3ffffffe00000004, 0x3ffffffe80000003,
  0x7ffffffc80000006, 0x7ffffffd80000004,
  0xbffffffb80000006, 0xbffffffd00000004,
  0xfffffffb00000004, 0xfffffffd00000003,
  0x3ffffffe80000002, 0x3fffffff00000002,
  0x7ffffffd80000002, 0x7ffffffe80000002,
  0xbffffffd00000000, 0xbffffffe80000001,
  0x15555550aaaaaaac, 0x15555552d5555557,
  0x3fffffff00000000, 0x3fffffff80000001,
  0x7ffffffe7ffffffe, 0x7fffffff80000000,
  0xd55555522aaaaaaa, 0xd5555553d5555556,
  0x3bbbbbb691111112, 0x3bbbbbb90888888a,
  0x3fffffff7ffffffe, 0x4000000000000000,
  0x955555532aaaaaaa, 0x9555555455555556,
  0xfbbbbbb791111112, 0xfbbbbbb98888888a,
  0x7bbb7bb591121112, 0x7bbb7bb88889088a,
  0x55555553aaaaaaac, 0x5555555455555557,
  0xbbbbbbb811111114, 0xbbbbbbb98888888b,
  0x3bbb7bb611121114, 0x3bbb7bb88889088b,
  0xbbbb3bb491131112, 0xbbbb3bb80889888a,
  0x6666666466666668, 0x6666666533333335,
  0xe666266266676668, 0xe66626643333b335,
  0x6665e660e6686666, 0x6665e663b3343334,
  0xe665a65fe6696662, 0xe665a663b334b332,
  0x7fffbffe00010000, 0x7fffbfff00008001,
  0xffff7ffc8001fffe, 0xffff7ffe80010000,
  0x7fff3ffb8002fffa, 0x7fff3ffe80017ffe,
  0xfffefffb0003fff4, 0xfffeffff0001fffb,
  0x7fffbffe8000fffe, 0x7fffbfff80008000,
  0xffff7ffd8001fffa, 0xffff7fff8000fffe,
  0x7fff3ffd0002fff4, 0x7fff400000017ffb,
  0xffff3fbb000300f4, 0xffff3fbf0001807b,
  0x7fffbfff0000fffc, 0x7fffc00000007fff,
  0xffff7ffe8001fff6, 0xffff80008000fffc,
  0x7fff7fbc800200f6, 0x7fff7fbf8001007c,
  0xffff7f7b000201f4, 0xffff7f7f000100fb,
  0x7fffbfff8000fffa, 0x7fffc00080007ffe,
  0xffffbfbd800100fa, 0xffffbfbf8000807e,
  0x7fffbf7c000101f8, 0x7fffbf7f000080fd,
  0xffffbf3b000102f4, 0xffffbf3f0000817b,
  0x7fffffbe00000100, 0x7fffffbf00000081,
  0xffffff7c800001fe, 0xffffff7e80000100,
  0x7fffff3b800002fa, 0x7fffff3e8000017e,
  0xfffffefb000003f4, 0xfffffeff000001fb,
  0x7fffffbe800000fe, 0x7fffffbf80000080,
  0xffffff7d800001fa, 0xffffff7f800000fe,
  0x7fffff3d000002f4, 0x7fffff400000017b,
  0xffffff2b00000334, 0xffffff2f0000019b,
  0x7fffffbf000000fc, 0x7fffffc00000007f,
  0xffffff7e800001f6, 0xffffff80800000fc,
  0x7fffff6c80000236, 0x7fffff6f8000011c,
  0xffffff690000023c, 0xffffff6d0000011f,
  0x7fffffbf800000fa, 0x7fffffc08000007e,
  0xffffffad8000013a, 0xffffffaf8000009e,
  0x7fffffaa00000140, 0x7fffffad000000a1,
  0xffffffa700000144, 0xffffffab000000a3,
  0x7fffffee00000040, 0x7fffffef00000021,
  0xffffffea80000046, 0xffffffec80000024,
  0x7fffffe78000004a, 0x7fffffea80000026,
  0xffffffe50000004c, 0xffffffe900000027,
  0x7ffffffd80000003, 0x7ffffffe80000001,
  0xfffffffb80000005, 0xfffffffd80000001,
  0x7ffffffa00000006, 0x7ffffffd00000001,
  0x7ffffffa00000006, 0x7ffffffd00000001,
  0x7ffffffe00000002, 0x7fffffff00000001,
  0xfffffffc80000003, 0xfffffffe80000001,
  0xfffffffc80000003, 0xfffffffe80000001,
  0xfffffffd00000002, 0xffffffff00000001,
  0x7ffffffe80000001, 0x7fffffff80000001,
  0x7ffffffe80000001, 0x7fffffff80000001,
  0x7fffffff00000000, 0x8000000000000001,
  0x7ffffffffffffffe, 0x8000000100000001,
  0x0000000000000000, 0x0000000000000001,
  0x000000007fffffff, 0x0000000080000001,
  0x000000017ffffffd, 0x0000000180000001,
  0x000000117fffffdd, 0x0000001180000001,
  0x000000007fffffff, 0x0000000080000001,
  0x000000017ffffffd, 0x0000000180000001,
  0x000000117fffffdd, 0x0000001180000001,
  0x0000004fffffff60, 0x0000005000000001,
  0x00000000fffffffe, 0x0000000100000001,
  0x00000010ffffffde, 0x0000001100000001,
  0x0000004f7fffff61, 0x0000004f80000001,
  0x0000008e7ffffee3, 0x0000008e80000001,
  0x0000000fffffffe0, 0x0000001000000001,
  0x0000004e7fffff63, 0x0000004e80000001,
  0x0000008d7ffffee5, 0x0000008d80000001,
  0x000000ccfffffe66, 0x000000cd00000001,
  0x0000003e7fffff83, 0x0000003e80000001,
  0x0000007d7fffff05, 0x0000007d80000001,
  0x000000bcfffffe86, 0x000000bd00000001,
  0x000040bb7fff7e89, 0x000040bb80000001,
  0x0000003effffff82, 0x0000003f00000001,
  0x0000007e7fffff03, 0x0000007e80000001,
  0x0000407cffff7f06, 0x0000407d00000001,
  0x0000807bfffeff08, 0x0000807c00000001,
  0x0000003f7fffff81, 0x0000003f80000001,
  0x0000403dffff7f84, 0x0000403e00000001,
  0x0000803cfffeff86, 0x0000803d00000001,
  0x0000c03c7ffe7f87, 0x0000c03c80000001,
  0x00003ffe7fff8003, 0x00003ffe80000001,
  0x00007ffd7fff0005, 0x00007ffd80000001,
  0x0000bffcfffe8006, 0x0000bffd00000001,
  0x199a59964ccb4cd3, 0x199a599680000001,
  0x00003ffeffff8002, 0x00003fff00000001,
  0x00007ffe7fff0003, 0x00007ffe80000001,
  0x199a1997cccbccd0, 0x199a199800000001,
  0x4444c441f776777b, 0x4444c44280000001,
  0x00003fff7fff8001, 0x00003fff80000001,
  0x1999d998cccc4cce, 0x1999d99900000001,
  0x44448442f776f779, 0x4444844380000001,
  0x84448440f776f77c, 0x8444844200000001,
  0x199999994ccccccd, 0x1999999980000001,
  0x4444444377777778, 0x4444444400000001,
  0x844444417777777b, 0x8444444280000001,
  0xc444443ff777777d, 0xc444444180000001,
  0x2aaaaaaa2aaaaaab, 0x2aaaaaaa80000001,
  0x6aaaaaa82aaaaaae, 0x6aaaaaa900000001,
  0xaaaaaaa6aaaaaab0, 0xaaaaaaa800000001,
  0xeaaaaaa5aaaaaab1, 0xeaaaaaa780000001,
  0x3ffffffe00000003, 0x3ffffffe80000001,
  0x7ffffffc80000005, 0x7ffffffd80000001,
  0xbffffffb80000006, 0xbffffffd00000001,
  0xfffffffb00000006, 0xfffffffd00000001,
  0x3ffffffe80000002, 0x3fffffff00000001,
  0x7ffffffd80000003, 0x7ffffffe80000001,
  0xbffffffd00000003, 0xbffffffe80000001,
  0xfffffffd00000002, 0xffffffff00000001,
  0x3fffffff00000001, 0x3fffffff80000001,
  0x7ffffffe80000001, 0x7fffffff80000001,
  0xbffffffe80000000, 0xc000000000000001,
  0x15555552d5555556, 0x1555555500000001,
  0x3fffffff80000000, 0x4000000000000001,
  0x7fffffff7fffffff, 0x8000000080000001,
  0xd5555553d5555555, 0xd555555580000001,
  0x3bbbbbb908888889, 0x3bbbbbbb80000001,
  0x3fffffffffffffff, 0x4000000080000001,
  0x9555555455555555, 0x9555555580000001,
  0xfbbbbbb988888889, 0xfbbbbbbb80000001,
  0x7bbb7bb888890889, 0x7bbb7bbb80000001,
  0x5555555455555556, 0x5555555500000001,
  0xbbbbbbb98888888a, 0xbbbbbbbb00000001,
  0x3bbb7bb88889088a, 0x3bbb7bbb00000001,
  0xbbbb3bb808898889, 0xbbbb3bbb80000001,
  0x6666666533333334, 0x6666666600000001,
  0xe66626643333b334, 0xe666266600000001,
  0x6665e663b3343333, 0x6665e66680000001,
  0xe665a663b334b331, 0xe665a66780000001,
  0x7fffbfff00008000, 0x7fffc00000000001,
  0xffff7ffe8000ffff, 0xffff800080000001,
  0x7fff3ffe80017ffd, 0x7fff400180000001,
  0xfffeffff0001fffa, 0xffff000300000001,
  0x7fffbfff80007fff, 0x7fffc00080000001,
  0xffff7fff8000fffd, 0xffff800180000001,
  0x7fff400000017ffa, 0x7fff400300000001,
  0xffff3fbf0001807a, 0xffff3fc300000001,
  0x7fffc00000007ffe, 0x7fffc00100000001,
  0xffff80008000fffb, 0xffff800280000001,
  0x7fff7fbf8001007b, 0x7fff7fc280000001,
  0xffff7f7f000100fa, 0xffff7f8300000001,
  0x7fffc00080007ffd, 0x7fffc00180000001,
  0xffffbfbf8000807d, 0xffffbfc180000001,
  0x7fffbf7f000080fc, 0x7fffbf8200000001,
  0xffffbf3f0000817a, 0xffffbf4300000001,
  0x7fffffbf00000080, 0x7fffffc000000001,
  0xffffff7e800000ff, 0xffffff8080000001,
  0x7fffff3e8000017d, 0x7fffff4180000001,
  0xfffffeff000001fa, 0xffffff0300000001,
  0x7fffffbf8000007f, 0x7fffffc080000001,
  0xffffff7f800000fd, 0xffffff8180000001,
  0x7fffff400000017a, 0x7fffff4300000001,
  0xffffff2f0000019a, 0xffffff3300000001,
  0x7fffffc00000007e, 0x7fffffc100000001,
  0xffffff80800000fb, 0xffffff8280000001,
  0x7fffff6f8000011b, 0x7fffff7280000001,
  0xffffff6d0000011e, 0xffffff7100000001,
  0x7fffffc08000007d, 0x7fffffc180000001,
  0xffffffaf8000009d, 0xffffffb180000001,
  0x7fffffad000000a0, 0x7fffffb000000001,
  0xffffffab000000a2, 0xffffffaf00000001,
  0x7fffffef00000020, 0x7ffffff000000001,
  0xffffffec80000023, 0xffffffee80000001,
  0x7fffffea80000025, 0x7fffffed80000001,
  0xffffffe900000026, 0xffffffed00000001,
  0x7ffffffe80000000, 0x7fffffff7ffffffe,
  0xfffffffd80000000, 0xffffffff7ffffffc,
  0x7ffffffd00000000, 0x7ffffffffffffffb,
  0x7ffffffd00000000, 0x7ffffffffffffffb,
  0x7fffffff00000000, 0x7fffffffffffffff,
  0xfffffffe80000000, 0x000000007ffffffe,
  0xfffffffe80000000, 0x000000007ffffffe,
  0xffffffff00000000, 0x00000000ffffffff,
  0x7fffffff80000000, 0x8000000080000000,
  0x7fffffff80000000, 0x8000000080000000,
  0x8000000000000000, 0x8000000100000001,
  0x8000000100000000, 0x8000000200000003,
  0x0000000000000000, 0x0000000000000001,
  0x0000000080000000, 0x0000000080000002,
  0x0000000180000000, 0x0000000180000004,
  0x0000001180000000, 0x0000001180000024,
  0x0000000080000000, 0x0000000080000002,
  0x0000000180000000, 0x0000000180000004,
  0x0000001180000000, 0x0000001180000024,
  0x0000005000000000, 0x00000050000000a1,
  0x0000000100000000, 0x0000000100000003,
  0x0000001100000000, 0x0000001100000023,
  0x0000004f80000000, 0x0000004f800000a0,
  0x0000008e80000000, 0x0000008e8000011e,
  0x0000001000000000, 0x0000001000000021,
  0x0000004e80000000, 0x0000004e8000009e,
  0x0000008d80000000, 0x0000008d8000011c,
  0x000000cd00000000, 0x000000cd0000019b,
  0x0000003e80000000, 0x0000003e8000007e,
  0x0000007d80000000, 0x0000007d800000fc,
  0x000000bd00000000, 0x000000bd0000017b,
  0x000040bb80000000, 0x000040bb80008178,
  0x0000003f00000000, 0x0000003f0000007f,
  0x0000007e80000000, 0x0000007e800000fe,
  0x0000407d00000000, 0x0000407d000080fb,
  0x0000807c00000000, 0x0000807c000100f9,
  0x0000003f80000000, 0x0000003f80000080,
  0x0000403e00000000, 0x0000403e0000807d,
  0x0000803d00000000, 0x0000803d0001007b,
  0x0000c03c80000000, 0x0000c03c8001807a,
  0x00003ffe80000000, 0x00003ffe80007ffe,
  0x00007ffd80000000, 0x00007ffd8000fffc,
  0x0000bffd00000000, 0x0000bffd00017ffb,
  0x199a599680000000, 0x199a5996b334b32e,
  0x00003fff00000000, 0x00003fff00007fff,
  0x00007ffe80000000, 0x00007ffe8000fffe,
  0x199a199800000000, 0x199a199833343331,
  0x4444c44280000000, 0x4444c44308898886,
  0x00003fff80000000, 0x00003fff80008000,
  0x1999d99900000000, 0x1999d9993333b333,
  0x4444844380000000, 0x4444844408890888,
  0x8444844200000000, 0x8444844308890885,
  0x1999999980000000, 0x19999999b3333334,
  0x4444444400000000, 0x4444444488888889,
  0x8444444280000000, 0x8444444388888886,
  0xc444444180000000, 0xc444444308888884,
  0x2aaaaaaa80000000, 0x2aaaaaaad5555556,
  0x6aaaaaa900000000, 0x6aaaaaa9d5555553,
  0xaaaaaaa800000000, 0xaaaaaaa955555551,
  0xeaaaaaa780000000, 0xeaaaaaa955555550,
  0x3ffffffe80000000, 0x3ffffffefffffffe,
  0x7ffffffd80000000, 0x7ffffffe7ffffffc,
  0xbffffffd00000000, 0xbffffffe7ffffffb,
  0xfffffffd00000000, 0xfffffffefffffffb,
  0x3fffffff00000000, 0x3fffffff7fffffff,
  0x7ffffffe80000000, 0x7fffffff7ffffffe,
  0xbffffffe80000000, 0xbffffffffffffffe,
  0xffffffff00000000, 0x00000000ffffffff,
  0x3fffffff80000000, 0x4000000000000000,
  0x7fffffff80000000, 0x8000000080000000,
  0xc000000000000000, 0xc000000180000001,
  0x1555555500000000, 0x155555572aaaaaab,
  0x4000000000000000, 0x4000000080000001,
  0x8000000080000000, 0x8000000180000002,
  0xd555555580000000, 0xd55555572aaaaaac,
  0x3bbbbbbb80000000, 0x3bbbbbbdf7777778,
  0x4000000080000000, 0x4000000100000002,
  0x9555555580000000, 0x95555556aaaaaaac,
  0xfbbbbbbb80000000, 0xfbbbbbbd77777778,
  0x7bbb7bbb80000000, 0x7bbb7bbe7776f778,
  0x5555555500000000, 0x55555555aaaaaaab,
  0xbbbbbbbb00000000, 0xbbbbbbbc77777777,
  0x3bbb7bbb00000000, 0x3bbb7bbd7776f777,
  0xbbbb3bbb80000000, 0xbbbb3bbef7767778,
  0x6666666600000000, 0x66666666cccccccd,
  0xe666266600000000, 0xe6662667cccc4ccd,
  0x6665e66680000000, 0x6665e6694ccbccce,
  0xe665a66780000000, 0xe665a66b4ccb4cd0,
  0x7fffc00000000000, 0x7fffc000ffff8001,
  0xffff800080000000, 0xffff80027fff0002,
  0x7fff400180000000, 0x7fff40047ffe8004,
  0xffff000300000000, 0xffff0006fffe0007,
  0x7fffc00080000000, 0x7fffc0017fff8002,
  0xffff800180000000, 0xffff80037fff0004,
  0x7fff400300000000, 0x7fff4005fffe8007,
  0xffff3fc300000000, 0xffff3fc6fffe7f87,
  0x7fffc00100000000, 0x7fffc001ffff8003,
  0xffff800280000000, 0xffff80047fff0006,
  0x7fff7fc280000000, 0x7fff7fc57ffeff86,
  0xffff7f8300000000, 0xffff7f86fffeff07,
  0x7fffc00180000000, 0x7fffc0027fff8004,
  0xffffbfc180000000, 0xffffbfc37fff7f84,
  0x7fffbf8200000000, 0x7fffbf84ffff7f05,
  0xffffbf4300000000, 0xffffbf46ffff7e87,
  0x7fffffc000000000, 0x7fffffc0ffffff81,
  0xffffff8080000000, 0xffffff827fffff02,
  0x7fffff4180000000, 0x7fffff447ffffe84,
  0xffffff0300000000, 0xffffff06fffffe07,
  0x7fffffc080000000, 0x7fffffc17fffff82,
  0xffffff8180000000, 0xffffff837fffff04,
  0x7fffff4300000000, 0x7fffff45fffffe87,
  0xffffff3300000000, 0xffffff36fffffe67,
  0x7fffffc100000000, 0x7fffffc1ffffff83,
  0xffffff8280000000, 0xffffff847fffff06,
  0x7fffff7280000000, 0x7fffff757ffffee6,
  0xffffff7100000000, 0xffffff74fffffee3,
  0x7fffffc180000000, 0x7fffffc27fffff84,
  0xffffffb180000000, 0xffffffb37fffff64,
  0x7fffffb000000000, 0x7fffffb2ffffff61,
  0xffffffaf00000000, 0xffffffb2ffffff5f,
  0x7ffffff000000000, 0x7ffffff0ffffffe1,
  0xffffffee80000000, 0xfffffff07fffffde,
  0x7fffffed80000000, 0x7ffffff07fffffdc,
  0xffffffed00000000, 0xfffffff0ffffffdb,
  0x7fffffff7ffffffd, 0xaaaaaaa800000003,
  0xffffffff7ffffffb, 0x55555550aaaaaaaf,
  0x7ffffffffffffffa, 0xfffffffa00000005,
  0x7ffffffffffffffa, 0xfffffffa00000005,
  0x7ffffffffffffffe, 0xaaaaaaa8aaaaaaad,
  0x000000007ffffffd, 0x5555555200000003,
  0x000000007ffffffd, 0x5555555200000003,
  0x00000000fffffffe, 0x55555552aaaaaaad,
  0x800000007fffffff, 0xaaaaaaa955555557,
  0x800000007fffffff, 0xaaaaaaa955555557,
  0x8000000100000000, 0xaaaaaaaa00000001,
  0x8000000200000002, 0xaaaaaaab55555555,
  0x0000000000000000, 0x0000000000000001,
  0x0000000080000001, 0x00000000aaaaaaab,
  0x0000000180000003, 0x00000001ffffffff,
  0x0000001180000023, 0x000000175555553f,
  0x0000000080000001, 0x00000000aaaaaaab,
  0x0000000180000003, 0x00000001ffffffff,
  0x0000001180000023, 0x000000175555553f,
  0x00000050000000a0, 0x0000006aaaaaaa41,
  0x0000000100000002, 0x0000000155555555,
  0x0000001100000022, 0x00000016aaaaaa95,
  0x0000004f8000009f, 0x00000069ffffff97,
  0x0000008e8000011d, 0x000000bdffffff43,
  0x0000001000000020, 0x0000001555555541,
  0x0000004e8000009d, 0x00000068aaaaaa43,
  0x0000008d8000011b, 0x000000bcaaaaa9ef,
  0x000000cd0000019a, 0x0000011155555445,
  0x0000003e8000007d, 0x0000005355555503,
  0x0000007d800000fb, 0x000000a7555554af,
  0x000000bd0000017a, 0x000000fbffffff05,
  0x000040bb80008177, 0x0000564f5554ff07,
  0x0000003f0000007e, 0x00000053ffffffad,
  0x0000007e800000fd, 0x000000a8aaaaaa03,
  0x0000407d000080fa, 0x000055fbffffaa05,
  0x0000807c000100f8, 0x0000ab4fffff54b1,
  0x0000003f8000007f, 0x00000054aaaaaa57,
  0x0000403e0000807c, 0x000055a7ffffaa59,
  0x0000803d0001007a, 0x0000aafbffff5505,
  0x0000c03c80018079, 0x00010050aaa9aa5b,
  0x00003ffe80007ffd, 0x0000555355550003,
  0x00007ffd8000fffb, 0x0000aaa75554aaaf,
  0x0000bffd00017ffa, 0x0000fffbffff0005,
  0x199a5996b334b32d, 0x2223221ddddcdde3,
  0x00003fff00007ffe, 0x00005553ffffaaad,
  0x00007ffe8000fffd, 0x0000aaa8aaaa0003,
  0x199a199833343330, 0x2222ccca8887dde1,
  0x4444c44308898885, 0x5b065b02fa4efa53,
  0x00003fff80007fff, 0x00005554aaaa5557,
  0x1999d9993333b332, 0x2222777688883335,
  0x4444844408890887, 0x5b0605aefa4f4fa7,
  0x8444844308890884, 0xb05b5b01fa4f4fa9,
  0x19999999b3333333, 0x22222221dddddddf,
  0x4444444488888888, 0x5b05b05a4fa4fa51,
  0x8444444388888885, 0xb05b05ad4fa4fa53,
  0xc444444308888883, 0x05b05b00fa4fa4ff,
  0x2aaaaaaad5555555, 0x38e38e3871c71c73,
  0x6aaaaaa9d5555552, 0x8e38e38b71c71c75,
  0xaaaaaaa955555550, 0xe38e38df1c71c721,
  0xeaaaaaa95555554f, 0x38e38e3371c71c77,
  0x3ffffffefffffffd, 0x5555555300000003,
  0x7ffffffe7ffffffb, 0xaaaaaaa6aaaaaaaf,
  0xbffffffe7ffffffa, 0xfffffffb00000005,
  0xfffffffefffffffa, 0x5555555000000005,
  0x3fffffff7ffffffe, 0x55555553aaaaaaad,
  0x7fffffff7ffffffd, 0xaaaaaaa800000003,
  0xbffffffffffffffd, 0xfffffffd00000003,
  0x00000000fffffffe, 0x55555552aaaaaaad,
  0x3fffffffffffffff, 0x5555555455555557,
  0x800000007fffffff, 0xaaaaaaa955555557,
  0xc000000180000000, 0xffffffff00000001,
  0x155555572aaaaaaa, 0x71c71c6fe38e38e5,
  0x4000000080000000, 0x5555555500000001,
  0x8000000180000001, 0xaaaaaaaaaaaaaaab,
  0xd55555572aaaaaab, 0x1c71c71b8e38e38f,
  0x3bbbbbbdf7777777, 0xa4fa4fa305b05b07,
  0x4000000100000001, 0x55555555aaaaaaab,
  0x95555556aaaaaaab, 0xc71c71c68e38e38f,
  0xfbbbbbbd77777777, 0x4fa4fa4e05b05b07,
  0x7bbb7bbe7776f777, 0xfa4f4fa2b05b5b07,
  0x55555555aaaaaaaa, 0x71c71c70e38e38e5,
  0xbbbbbbbc77777776, 0xfa4fa4f85b05b05d,
  0x3bbb7bbd7776f776, 0xa4f9fa4d05b0b05d,
  0xbbbb3bbef7767777, 0x4fa44fa25b065b07,
  0x66666666cccccccc, 0x8888888777777779,
  0xe6662667cccc4ccc, 0x3332dddc22227779,
  0x6665e6694ccbcccd, 0xdddd333177782223,
  0xe665a66b4ccb4ccf, 0x8887888777787777,
  0x7fffc000ffff8000, 0xaaaa5554aaab0001,
  0xffff80027fff0001, 0x5554aaaa0000aaab,
  0x7fff40047ffe8003, 0xffff00000000ffff,
  0xffff0006fffe0006, 0xaaa95556aaabfffd,
  0x7fffc0017fff8001, 0xaaaa55555555aaab,
  0xffff80037fff0003, 0x5554aaab5555ffff,
  0x7fff4005fffe8006, 0xffff00020000fffd,
  0xffff3fc6fffe7f86, 0xaaa9aa56aaabaafd,
  0x7fffc001ffff8002, 0xaaaa555600005555,
  0xffff80047fff0005, 0x5554aaacaaab5553,
  0x7fff7fc57ffeff85, 0xffff550155560053,
  0xffff7f86fffeff06, 0xaaa9ff56aaab55fd,
  0x7fffc0027fff8003, 0xaaaa5556aaaaffff,
  0xffffbfc37fff7f83, 0x5554ffab5555aaff,
  0x7fffbf84ffff7f04, 0xffffaa00aaab00a9,
  0xffffbf46ffff7e86, 0xaaaa5456aaab00fd,
  0x7fffffc0ffffff80, 0xaaaaaa54aaaaab01,
  0xffffff827fffff01, 0x555554aa000000ab,
  0x7fffff447ffffe83, 0xffffff00000000ff,
  0xffffff06fffffe06, 0xaaaaa956aaaaabfd,
  0x7fffffc17fffff81, 0xaaaaaa55555555ab,
  0xffffff837fffff03, 0x555554ab555555ff,
  0x7fffff45fffffe86, 0xffffff02000000fd,
  0xffffff36fffffe66, 0xaaaaa996aaaaabbd,
  0x7fffffc1ffffff82, 0xaaaaaa5600000055,
  0xffffff847fffff05, 0x555554acaaaaab53,
  0x7fffff757ffffee5, 0xffffff4155555613,
  0xffffff74fffffee2, 0xaaaaa9e955555615,
  0x7fffffc27fffff83, 0xaaaaaa56aaaaaaff,
  0xffffffb37fffff63, 0x555554eb555555bf,
  0x7fffffb2ffffff60, 0xffffff93555555c1,
  0xffffffb2ffffff5e, 0xaaaaaa3c0000006d,
  0x7ffffff0ffffffe0, 0xaaaaaa94aaaaaac1,
  0xfffffff07fffffdd, 0x5555553caaaaaac3,
  0x7ffffff07fffffdb, 0xffffffe55555556f,
  0xfffffff0ffffffda, 0xaaaaaa8eaaaaaac5,
  0xaaaaaaa800000002, 0xccccccc99999999d,
  0x55555550aaaaaaae, 0x9999999400000005,
  0xfffffffa00000004, 0x6666665f33333339,
  0xfffffffa00000004, 0x6666665f33333339,
  0xaaaaaaa8aaaaaaac, 0xccccccca66666669,
  0x5555555200000002, 0x999999959999999d,
  0x5555555200000002, 0x999999959999999d,
  0x55555552aaaaaaac, 0x9999999666666669,
  0xaaaaaaa955555556, 0xcccccccb33333335,
  0xaaaaaaa955555556, 0xcccccccb33333335,
  0xaaaaaaaa00000000, 0xcccccccc00000001,
  0xaaaaaaab55555554, 0xcccccccd99999999,
  0x0000000000000000, 0x0000000000000001,
  0x00000000aaaaaaaa, 0x00000000cccccccd,
  0x00000001fffffffe, 0x0000000266666665,
  0x000000175555553e, 0x0000001bffffffe5,
  0x00000000aaaaaaaa, 0x00000000cccccccd,
  0x00000001fffffffe, 0x0000000266666665,
  0x000000175555553e, 0x0000001bffffffe5,
  0x0000006aaaaaaa40, 0x0000007fffffff81,
  0x0000000155555554, 0x0000000199999999,
  0x00000016aaaaaa94, 0x0000001b33333319,
  0x00000069ffffff96, 0x0000007f333332b5,
  0x000000bdffffff42, 0x000000e3ffffff1d,
  0x0000001555555540, 0x0000001999999981,
  0x00000068aaaaaa42, 0x0000007d9999991d,
  0x000000bcaaaaa9ee, 0x000000e266666585,
  0x0000011155555444, 0x00000147fffffeb9,
  0x0000005355555502, 0x00000063ffffff9d,
  0x000000a7555554ae, 0x000000c8cccccc05,
  0x000000fbffffff04, 0x0000012e66666539,
  0x0000564f5554ff06, 0x000067926665fed5,
  0x00000053ffffffac, 0x00000064cccccc69,
  0x000000a8aaaaaa02, 0x000000ca6666659d,
  0x000055fbffffaa04, 0x0000672e6665ff39,
  0x0000ab4fffff54b0, 0x0000cd93333265a1,
  0x00000054aaaaaa56, 0x0000006599999935,
  0x000055a7ffffaa58, 0x000066c9999932d1,
  0x0000aafbffff5504, 0x0000cd2e66659939,
  0x00010050aaa9aa5a, 0x00013393fffecc6d,
  0x0000555355550002, 0x00006663ffff999d,
  0x0000aaa75554aaae, 0x0000ccc8cccc0005,
  0x0000fffbffff0004, 0x0001332e66653339,
  0x2223221ddddcdde2, 0x28f6f5bd70a2a3dd,
  0x00005553ffffaaac, 0x00006664cccc6669,
  0x0000aaa8aaaa0002, 0x0000ccca6665999d,
  0x2222ccca8887dde0, 0x28f68f5970a30a41,
  0x5b065b02fa4efa52, 0x6d3ad39d2c5ec5fd,
  0x00005554aaaa5556, 0x0000666599993335,
  0x2222777688883334, 0x28f628f4a3d6a3d9,
  0x5b0605aefa4f4fa6, 0x6d3a6d385f925f95,
  0xb05b5b01fa4f4fa8, 0xd3a0d39bf92bf931,
  0x22222221ddddddde, 0x28f5c28f0a3d70a5,
  0x5b05b05a4fa4fa50, 0x6d3a06d2c5f92c61,
  0xb05b05ad4fa4fa52, 0xd3a06d365f92c5fd,
  0x05b05b00fa4fa4fe, 0x3a06d39ac5f92c65,
  0x38e38e3871c71c72, 0x44444443bbbbbbbd,
  0x8e38e38b71c71c74, 0xaaaaaaa755555559,
  0xe38e38df1c71c720, 0x1111110bbbbbbbc1,
  0x38e38e3371c71c76, 0x77777770eeeeeef5,
  0x5555555300000002, 0x666666639999999d,
  0xaaaaaaa6aaaaaaae, 0xccccccc800000005,
  0xfffffffb00000004, 0x3333332d33333339,
  0x5555555000000004, 0x9999999333333339,
  0x55555553aaaaaaac, 0x6666666466666669,
  0xaaaaaaa800000002, 0xccccccc99999999d,
  0xfffffffd00000002, 0x3333332f9999999d,
  0x55555552aaaaaaac, 0x9999999666666669,
  0x5555555455555556, 0x6666666533333335,
  0xaaaaaaa955555556, 0xcccccccb33333335,
  0xffffffff00000000, 0x3333333200000001,
  0x71c71c6fe38e38e4, 0xbbbbbbb977777779,
  0x5555555500000000, 0x6666666600000001,
  0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccd,
  0x1c71c71b8e38e38e, 0x5555555444444445,
  0xa4fa4fa305b05b06, 0xf92c5f906d3a06d5,
  0x55555555aaaaaaaa, 0x66666666cccccccd,
  0xc71c71c68e38e38e, 0xeeeeeeee44444445,
  0x4fa4fa4e05b05b06, 0x92c5f92a6d3a06d5,
  0xfa4f4fa2b05b5b06, 0x5f925f9006d406d5,
  0x71c71c70e38e38e4, 0x8888888777777779,
  0xfa4fa4f85b05b05c, 0x2c5f92c3a06d3a09,
  0xa4f9fa4d05b0b05c, 0xf92bf9293a073a09,
  0x4fa44fa25b065b06, 0xc5f85f8fa06e06d5,
  0x8888888777777778, 0xa3d70a3c28f5c291,
  0x3332dddc22227778, 0x70a370a1c28fc291,
  0xdddd333177782222, 0x3d6fd70828f68f5d,
  0x8887888777787776, 0x0a3c3d6f5c2a28f5,
  0xaaaa5554aaab0000, 0xcccc6665999a0001,
  0x5554aaaa0000aaaa, 0x9998cccc0000cccd,
  0xffff00000000fffe, 0x6665333333346665,
  0xaaa95556aaabfffc, 0x3331999b3334ccc9,
  0xaaaa55555555aaaa, 0xcccc66666666cccd,
  0x5554aaab5555fffe, 0x9998cccd999a6665,
  0xffff00020000fffc, 0x66653335999accc9,
  0xaaa9aa56aaabaafc, 0x3331ff9b333466c9,
  0xaaaa555600005554, 0xcccc666733339999,
  0x5554aaacaaab5552, 0x9998cccf3333fffd,
  0xffff550155560052, 0x66659934cccd99fd,
  0xaaa9ff56aaab55fc, 0x3332659b333400c9,
  0xaaaa5556aaaafffe, 0xcccc666800006665,
  0x5554ffab5555aafe, 0x999932cd999a0065,
  0xffffaa00aaab00a8, 0x6665ff3400006731,
  0xaaaa5456aaab00fc, 0x3332cb9b33339ac9,
  0xaaaaaa54aaaaab00, 0xcccccc6599999a01,
  0x555554aa000000aa, 0x999998cc000000cd,
  0xffffff00000000fe, 0x6666653333333465,
  0xaaaaa956aaaaabfc, 0x3333319b333334c9,
  0xaaaaaa55555555aa, 0xcccccc66666666cd,
  0x555554ab555555fe, 0x999998cd99999a65,
  0xffffff02000000fc, 0x6666653599999ac9,
  0xaaaaa996aaaaabbc, 0x333331e800000149,
  0xaaaaaa5600000054, 0xcccccc6733333399,
  0x555554acaaaaab52, 0x999998cf333333fd,
  0xffffff4155555612, 0x6666658199999a7d,
  0xaaaaa9e955555614, 0x3333324b33333419,
  0xaaaaaa56aaaaaafe, 0xcccccc6800000065,
  0x555554eb555555be, 0x9999991a666666e5,
  0xffffff93555555c0, 0x666665e400000081,
  0xaaaaaa3c0000006c, 0x333332ae666666e9,
  0xaaaaaa94aaaaaac0, 0xccccccb266666681,
  0x5555553caaaaaac2, 0x9999997c0000001d,
  0xffffffe55555556e, 0x6666664666666685,
  0xaaaaaa8eaaaaaac4, 0x33333311999999b9,
  0xccccccc99999999c, 0xffff7ffd00018001,
  0x9999999400000004, 0xfffefffb00028001,
  0x6666665f33333338, 0xfffe7ffa00030001,
  0x6666665f33333338, 0xfffe7ffa00030001,
  0xccccccca66666668, 0xffff7ffe00010001,
  0x999999959999999c, 0xfffefffd00018001,
  0x999999959999999c, 0xfffefffd00018001,
  0x9999999666666668, 0xfffefffe00010001,
  0xcccccccb33333334, 0xffff7fff00008001,
  0xcccccccb33333334, 0xffff7fff00008001,
  0xcccccccc00000000, 0xffff800000000001,
  0xcccccccd99999998, 0xffff8001ffff0001,
  0x0000000000000000, 0x0000000000000001,
  0x00000000cccccccc, 0x00000000ffff8001,
  0x0000000266666664, 0x00000002fffe8001,
  0x0000001bffffffe4, 0x00000022ffee8001,
  0x00000000cccccccc, 0x00000000ffff8001,
  0x0000000266666664, 0x00000002fffe8001,
  0x0000001bffffffe4, 0x00000022ffee8001,
  0x0000007fffffff80, 0x0000009fffb00001,
  0x0000000199999998, 0x00000001ffff0001,
  0x0000001b33333318, 0x00000021ffef0001,
  0x0000007f333332b4, 0x0000009effb08001,
  0x000000e3ffffff1c, 0x0000011cff718001,
  0x0000001999999980, 0x0000001ffff00001,
  0x0000007d9999991c, 0x0000009cffb18001,
  0x000000e266666584, 0x0000011aff728001,
  0x00000147fffffeb8, 0x00000199ff330001,
  0x00000063ffffff9c, 0x0000007cffc18001,
  0x000000c8cccccc04, 0x000000faff828001,
  0x0000012e66666538, 0x00000179ff430001,
  0x000067926665fed4, 0x00008176bf448001,
  0x00000064cccccc68, 0x0000007dffc10001,
  0x000000ca6666659c, 0x000000fcff818001,
  0x0000672e6665ff38, 0x000080f9bf830001,
  0x0000cd93333265a0, 0x000100f77f840001,
  0x0000006599999934, 0x0000007effc08001,
  0x000066c9999932d0, 0x0000807bbfc20001,
  0x0000cd2e66659938, 0x000100797fc30001,
  0x00013393fffecc6c, 0x000180783fc38001,
  0x00006663ffff999c, 0x00007ffcc0018001,
  0x0000ccc8cccc0004, 0x0000fffa80028001,
  0x0001332e66653338, 0x00017ff940030001,
  0x28f6f5bd70a2a3dc, 0x33349992a6698001,
  0x00006664cccc6668, 0x00007ffdc0010001,
  0x0000ccca6665999c, 0x0000fffc80018001,
  0x28f68f5970a30a40, 0x33341995e6680001,
  0x6d3ad39d2c5ec5fc, 0x888944403bbd8001,
  0x0000666599993334, 0x00007ffec0008001,
  0x28f628f4a3d6a3d8, 0x3333999826670001,
  0x6d3a6d385f925f94, 0x8888c4427bbc8001,
  0xd3a0d39bf92bf930, 0x0888843f7bbe0001,
  0x28f5c28f0a3d70a4, 0x3333199966668001,
  0x6d3a06d2c5f92c60, 0x88884443bbbc0001,
  0xd3a06d365f92c5fc, 0x08880440bbbd8001,
  0x3a06d39ac5f92c64, 0x8887c43ebbbe8001,
  0x44444443bbbbbbbc, 0x55552aaa55558001,
  0xaaaaaaa755555558, 0xd554eaa755570001,
  0x1111110bbbbbbbc0, 0x5554aaa555580001,
  0x77777770eeeeeef4, 0xd5546aa455588001,
  0x666666639999999c, 0x7fffbffd00018001,
  0xccccccc800000004, 0xffff7ffb00028001,
  0x3333332d33333338, 0x7fff3ffa00030001,
  0x9999999333333338, 0xfffefffa00030001,
  0x6666666466666668, 0x7fffbffe00010001,
  0xccccccc99999999c, 0xffff7ffd00018001,
  0x3333332f9999999c, 0x7fff3ffd00018001,
  0x9999999666666668, 0xfffefffe00010001,
  0x6666666533333334, 0x7fffbfff00008001,
  0xcccccccb33333334, 0xffff7fff00008001,
  0x3333333200000000, 0x7fff400000000001,
  0xbbbbbbb977777778, 0x2aa99554aaab0001,
  0x6666666600000000, 0x7fffc00000000001,
  0xcccccccccccccccc, 0xffff8000ffff8001,
  0x5555555444444444, 0xaaa9d555aaaa8001,
  0xf92c5f906d3a06d4, 0x77763bbb44448001,
  0x66666666cccccccc, 0x7fffc000ffff8001,
  0xeeeeeeee44444444, 0x2aaa1555aaaa8001,
  0x92c5f92a6d3a06d4, 0xf7767bbb44448001,
  0x5f925f9006d406d4, 0xf7757bbb84448001,
  0x8888888777777778, 0xaaaa5554aaab0001,
  0x2c5f92c3a06d3a08, 0x7776bbba44450001,
  0xf92bf9293a073a08, 0x7775bbba84450001,
  0xc5f85f8fa06e06d4, 0x7774bbbbc4448001,
  0xa3d70a3c28f5c290, 0xcccc6665999a0001,
  0x70a370a1c28fc290, 0xcccb6665d99a0001,
  0x3d6fd70828f68f5c, 0xccca666719998001,
  0x0a3c3d6f5c2a28f4, 0xccc9666959988001,
  0xcccc6665999a0000, 0xffff000040000001,
  0x9998cccc0000cccc, 0xfffe00017fff8001,
  0x6665333333346664, 0xfffd0003bffe8001,
  0x3331999b3334ccc8, 0xfffc0006fffd0001,
  0xcccc66666666cccc, 0xffff00013fff8001,
  0x9998cccd999a6664, 0xfffe00037ffe8001,
  0x66653335999accc8, 0xfffd0006bffd0001,
  0x3331ff9b333466c8, 0xfffc7f86c03d0001,
  0xcccc666733339998, 0xffff00023fff0001,
  0x9998cccf3333fffc, 0xfffe00057ffd8001,
  0x66659934cccd99fc, 0xfffd7f85803d8001,
  0x3332659b333400c8, 0xfffcff06807d0001,
  0xcccc666800006664, 0xffff00033ffe8001,
  0x999932cd999a0064, 0xfffe7f83403e8001,
  0x6665ff3400006730, 0xfffdff04407e0001,
  0x3332cb9b33339ac8, 0xfffd7e8640bd0001,
  0xcccccc6599999a00, 0xffff7f8000400001,
  0x999998cc000000cc, 0xfffeff01007f8001,
  0x6666653333333464, 0xfffe7e8300be8001,
  0x3333319b333334c8, 0xfffdfe0600fd0001,
  0xcccccc66666666cc, 0xffff7f81003f8001,
  0x999998cd99999a64, 0xfffeff03007e8001,
  0x6666653599999ac8, 0xfffe7e8600bd0001,
  0x333331e800000148, 0xfffdfe6600cd0001,
  0xcccccc6733333398, 0xffff7f82003f0001,
  0x999998cf333333fc, 0xfffeff05007d8001,
  0x6666658199999a7c, 0xfffe7ee5008d8001,
  0x3333324b33333418, 0xfffdfee2008f0001,
  0xcccccc6800000064, 0xffff7f83003e8001,
  0x9999991a666666e4, 0xfffeff63004e8001,
  0x666665e400000080, 0xfffe7f6000500001,
  0x333332ae666666e8, 0xfffdff5e00510001,
  0xccccccb266666680, 0xffff7fe000100001,
  0x9999997c0000001c, 0xfffeffdd00118001,
  0x6666664666666684, 0xfffe7fdb00128001,
  0x33333311999999b8, 0xfffdffda00130001,
  0xffff7ffd00018000, 0xffff7ffe00017ffe,
  0xfffefffb00028000, 0xfffefffd00027ffc,
  0xfffe7ffa00030000, 0xfffe7ffd0002fffb,
  0xfffe7ffa00030000, 0xfffe7ffd0002fffb,
  0xffff7ffe00010000, 0xffff7fff0000ffff,
  0xfffefffd00018000, 0xfffeffff00017ffe,
  0xfffefffd00018000, 0xfffeffff00017ffe,
  0xfffefffe00010000, 0xffff00000000ffff,
  0xffff7fff00008000, 0xffff800000008000,
  0xffff7fff00008000, 0xffff800000008000,
  0xffff800000000000, 0xffff800100000001,
  0xffff8001ffff0000, 0xffff8002ffff0003,
  0x0000000000000000, 0x0000000000000001,
  0x00000000ffff8000, 0x00000000ffff8002,
  0x00000002fffe8000, 0x00000002fffe8004,
  0x00000022ffee8000, 0x00000022ffee8024,
  0x00000000ffff8000, 0x00000000ffff8002,
  0x00000002fffe8000, 0x00000002fffe8004,
  0x00000022ffee8000, 0x00000022ffee8024,
  0x0000009fffb00000, 0x0000009fffb000a1,
  0x00000001ffff0000, 0x00000001ffff0003,
  0x00000021ffef0000, 0x00000021ffef0023,
  0x0000009effb08000, 0x0000009effb080a0,
  0x0000011cff718000, 0x0000011cff71811e,
  0x0000001ffff00000, 0x0000001ffff00021,
  0x0000009cffb18000, 0x0000009cffb1809e,
  0x0000011aff728000, 0x0000011aff72811c,
  0x00000199ff330000, 0x00000199ff33019b,
  0x0000007cffc18000, 0x0000007cffc1807e,
  0x000000faff828000, 0x000000faff8280fc,
  0x00000179ff430000, 0x00000179ff43017b,
  0x00008176bf448000, 0x00008176bf450178,
  0x0000007dffc10000, 0x0000007dffc1007f,
  0x000000fcff818000, 0x000000fcff8180fe,
  0x000080f9bf830000, 0x000080f9bf8380fb,
  0x000100f77f840000, 0x000100f77f8500f9,
  0x0000007effc08000, 0x0000007effc08080,
  0x0000807bbfc20000, 0x0000807bbfc2807d,
  0x000100797fc30000, 0x000100797fc4007b,
  0x000180783fc38000, 0x000180783fc5007a,
  0x00007ffcc0018000, 0x00007ffcc001fffe,
  0x0000fffa80028000, 0x0000fffa80037ffc,
  0x00017ff940030000, 0x00017ff940047ffb,
  0x33349992a6698000, 0x33349992d99e332e,
  0x00007ffdc0010000, 0x00007ffdc0017fff,
  0x0000fffc80018000, 0x0000fffc80027ffe,
  0x33341995e6680000, 0x33341996199c3331,
  0x888944403bbd8000, 0x88894440c4470886,
  0x00007ffec0008000, 0x00007ffec0010000,
  0x3333999826670000, 0x33339998599ab333,
  0x8888c4427bbc8000, 0x8888c44304458888,
  0x0888843f7bbe0000, 0x0888844084470885,
  0x3333199966668000, 0x333319999999b334,
  0x88884443bbbc0000, 0x8888444444448889,
  0x08880440bbbd8000, 0x08880441c4460886,
  0x8887c43ebbbe8000, 0x8887c44044470884,
  0x55552aaa55558000, 0x55552aaaaaaad556,
  0xd554eaa755570000, 0xd554eaa82aac5553,
  0x5554aaa555580000, 0x5554aaa6aaad5551,
  0xd5546aa455588000, 0xd5546aa62aadd550,
  0x7fffbffd00018000, 0x7fffbffd80017ffe,
  0xffff7ffb00028000, 0xffff7ffc00027ffc,
  0x7fff3ffa00030000, 0x7fff3ffb8002fffb,
  0xfffefffa00030000, 0xfffefffc0002fffb,
  0x7fffbffe00010000, 0x7fffbffe8000ffff,
  0xffff7ffd00018000, 0xffff7ffe00017ffe,
  0x7fff3ffd00018000, 0x7fff3ffe80017ffe,
  0xfffefffe00010000, 0xffff00000000ffff,
  0x7fffbfff00008000, 0x7fffbfff80008000,
  0xffff7fff00008000, 0xffff800000008000,
  0x7fff400000000000, 0x7fff400180000001,
  0x2aa99554aaab0000, 0x2aa99556d555aaab,
  0x7fffc00000000000, 0x7fffc00080000001,
  0xffff8000ffff8000, 0xffff8001ffff8002,
  0xaaa9d555aaaa8000, 0xaaa9d55755552aac,
  0x77763bbb44448000, 0x77763bbdbbbbf778,
  0x7fffc000ffff8000, 0x7fffc0017fff8002,
  0x2aaa1555aaaa8000, 0x2aaa1556d5552aac,
  0xf7767bbb44448000, 0xf7767bbd3bbbf778,
  0xf7757bbb84448000, 0xf7757bbe7bbb7778,
  0xaaaa5554aaab0000, 0xaaaa55555555aaab,
  0x7776bbba44450000, 0x7776bbbbbbbc7777,
  0x7775bbba84450000, 0x7775bbbcfbbbf777,
  0x7774bbbbc4448000, 0x7774bbbf3bbaf778,
  0xcccc6665999a0000, 0xcccc66666666cccd,
  0xcccb6665d99a0000, 0xcccb6667a6664ccd,
  0xccca666719998000, 0xccca6669e6654cce,
  0xccc9666959988000, 0xccc9666d2663ccd0,
  0xffff000040000000, 0xffff00013fff8001,
  0xfffe00017fff8000, 0xfffe00037ffe8002,
  0xfffd0003bffe8000, 0xfffd0006bffd0004,
  0xfffc0006fffd0000, 0xfffc000afffb0007,
  0xffff00013fff8000, 0xffff00023fff0002,
  0xfffe00037ffe8000, 0xfffe00057ffd8004,
  0xfffd0006bffd0000, 0xfffd0009bffb8007,
  0xfffc7f86c03d0000, 0xfffc7f8ac03b7f87,
  0xffff00023fff0000, 0xffff00033ffe8003,
  0xfffe00057ffd8000, 0xfffe00077ffc8006,
  0xfffd7f85803d8000, 0xfffd7f88803c7f86,
  0xfffcff06807d0000, 0xfffcff0a807bff07,
  0xffff00033ffe8000, 0xffff00043ffe0004,
  0xfffe7f83403e8000, 0xfffe7f85403dff84,
  0xfffdff04407e0000, 0xfffdff07407d7f05,
  0xfffd7e8640bd0000, 0xfffd7e8a40bc7e87,
  0xffff7f8000400000, 0xffff7f81003fff81,
  0xfffeff01007f8000, 0xfffeff03007f7f02,
  0xfffe7e8300be8000, 0xfffe7e8600be7e84,
  0xfffdfe0600fd0000, 0xfffdfe0a00fcfe07,
  0xffff7f81003f8000, 0xffff7f82003f7f82,
  0xfffeff03007e8000, 0xfffeff05007e7f04,
  0xfffe7e8600bd0000, 0xfffe7e8900bcfe87,
  0xfffdfe6600cd0000, 0xfffdfe6a00ccfe67,
  0xffff7f82003f0000, 0xffff7f83003eff83,
  0xfffeff05007d8000, 0xfffeff07007d7f06,
  0xfffe7ee5008d8000, 0xfffe7ee8008d7ee6,
  0xfffdfee2008f0000, 0xfffdfee6008efee3,
  0xffff7f83003e8000, 0xffff7f84003e7f84,
  0xfffeff63004e8000, 0xfffeff65004e7f64,
  0xfffe7f6000500000, 0xfffe7f63004fff61,
  0xfffdff5e00510000, 0xfffdff620050ff5f,
  0xffff7fe000100000, 0xffff7fe1000fffe1,
  0xfffeffdd00118000, 0xfffeffdf00117fde,
  0xfffe7fdb00128000, 0xfffe7fde00127fdc,
  0xfffdffda00130000, 0xfffdffde0012ffdb,
  0xffff7ffe00017ffd, 0xffff7fff00017ffb,
  0xfffefffd00027ffb, 0xfffeffff00027ff7,
  0xfffe7ffd0002fffa, 0xfffe80000002fff5,
  0xfffe7ffd0002fffa, 0xfffe80000002fff5,
  0xffff7fff0000fffe, 0xffff80000000fffd,
  0xfffeffff00017ffd, 0xffff000100017ffb,
  0xfffeffff00017ffd, 0xffff000100017ffb,
  0xffff00000000fffe, 0xffff00020000fffd,
  0xffff800000007fff, 0xffff800100007fff,
  0xffff800000007fff, 0xffff800100007fff,
  0xffff800100000000, 0xffff800200000001,
  0xffff8002ffff0002, 0xffff8003ffff0005,
  0x0000000000000000, 0x0000000000000001,
  0x00000000ffff8001, 0x00000000ffff8003,
  0x00000002fffe8003, 0x00000002fffe8007,
  0x00000022ffee8023, 0x00000022ffee8047,
  0x00000000ffff8001, 0x00000000ffff8003,
  0x00000002fffe8003, 0x00000002fffe8007,
  0x00000022ffee8023, 0x00000022ffee8047,
  0x0000009fffb000a0, 0x0000009fffb00141,
  0x00000001ffff0002, 0x00000001ffff0005,
  0x00000021ffef0022, 0x00000021ffef0045,
  0x0000009effb0809f, 0x0000009effb0813f,
  0x0000011cff71811d, 0x0000011cff71823b,
  0x0000001ffff00020, 0x0000001ffff00041,
  0x0000009cffb1809d, 0x0000009cffb1813b,
  0x0000011aff72811b, 0x0000011aff728237,
  0x00000199ff33019a, 0x00000199ff330335,
  0x0000007cffc1807d, 0x0000007cffc180fb,
  0x000000faff8280fb, 0x000000faff8281f7,
  0x00000179ff43017a, 0x00000179ff4302f5,
  0x00008176bf450177, 0x00008176bf4582ef,
  0x0000007dffc1007e, 0x0000007dffc100fd,
  0x000000fcff8180fd, 0x000000fcff8181fb,
  0x000080f9bf8380fa, 0x000080f9bf8401f5,
  0x000100f77f8500f8, 0x000100f77f8601f1,
  0x0000007effc0807f, 0x0000007effc080ff,
  0x0000807bbfc2807c, 0x0000807bbfc300f9,
  0x000100797fc4007a, 0x000100797fc500f5,
  0x000180783fc50079, 0x000180783fc680f3,
  0x00007ffcc001fffd, 0x00007ffcc0027ffb,
  0x0000fffa80037ffb, 0x0000fffa80047ff7,
  0x00017ff940047ffa, 0x00017ff94005fff5,
  0x33349992d99e332d, 0x333499930cd2e65b,
  0x00007ffdc0017ffe, 0x00007ffdc001fffd,
  0x0000fffc80027ffd, 0x0000fffc80037ffb,
  0x33341996199c3330, 0x333419964cd06661,
  0x88894440c4470885, 0x888944414cd0910b,
  0x00007ffec000ffff, 0x00007ffec0017fff,
  0x33339998599ab332, 0x333399988cce6665,
  0x8888c44304458887, 0x8888c4438cce910f,
  0x0888844084470884, 0x088884418cd01109,
  0x333319999999b333, 0x33331999cccce667,
  0x8888444444448888, 0x88884444cccd1111,
  0x08880441c4460885, 0x08880442ccce910b,
  0x8887c44044470883, 0x8887c441cccf9107,
  0x55552aaaaaaad555, 0x55552aab00002aab,
  0xd554eaa82aac5552, 0xd554eaa90001aaa5,
  0x5554aaa6aaad5550, 0x5554aaa80002aaa1,
  0xd5546aa62aadd54f, 0xd5546aa800032a9f,
  0x7fffbffd80017ffd, 0x7fffbffe00017ffb,
  0xffff7ffc00027ffb, 0xffff7ffd00027ff7,
  0x7fff3ffb8002fffa, 0x7fff3ffd0002fff5,
  0xfffefffc0002fffa, 0xfffefffe0002fff5,
  0x7fffbffe8000fffe, 0x7fffbfff0000fffd,
  0xffff7ffe00017ffd, 0xffff7fff00017ffb,
  0x7fff3ffe80017ffd, 0x7fff400000017ffb,
  0xffff00000000fffe, 0xffff00020000fffd,
  0x7fffbfff80007fff, 0x7fffc00000007fff,
  0xffff800000007fff, 0xffff800100007fff,
  0x7fff400180000000, 0x7fff400300000001,
  0x2aa99556d555aaaa, 0x2aa9955900005555,
  0x7fffc00080000000, 0x7fffc00100000001,
  0xffff8001ffff8001, 0xffff8002ffff8003,
  0xaaa9d55755552aab, 0xaaa9d558ffffd557,
  0x77763bbdbbbbf777, 0x77763bc033336eef,
  0x7fffc0017fff8001, 0x7fffc001ffff8003,
  0x2aaa1556d5552aab, 0x2aaa1557ffffd557,
  0xf7767bbd3bbbf777, 0xf7767bbf33336eef,
  0xf7757bbe7bbb7777, 0xf7757bc173326eef,
  0xaaaa55555555aaaa, 0xaaaa555600005555,
  0x7776bbbbbbbc7776, 0x7776bbbd3333eeed,
  0x7775bbbcfbbbf776, 0x7775bbbf7332eeed,
  0x7774bbbf3bbaf777, 0x7774bbc2b3316eef,
  0xcccc66666666cccc, 0xcccc666733339999,
  0xcccb6667a6664ccc, 0xcccb666973329999,
  0xccca6669e6654ccd, 0xccca666cb331199b,
  0xccc9666d2663cccf, 0xccc96670f32f199f,
  0xffff00013fff8000, 0xffff00023fff0001,
  0xfffe00037ffe8001, 0xfffe00057ffd8003,
  0xfffd0006bffd0003, 0xfffd0009bffb8007,
  0xfffc000afffb0006, 0xfffc000efff9000d,
  0xffff00023fff0001, 0xffff00033ffe8003,
  0xfffe00057ffd8003, 0xfffe00077ffc8007,
  0xfffd0009bffb8006, 0xfffd000cbffa000d,
  0xfffc7f8ac03b7f86, 0xfffc7f8ec039ff0d,
  0xffff00033ffe8002, 0xffff00043ffe0005,
  0xfffe00077ffc8005, 0xfffe00097ffb800b,
  0xfffd7f88803c7f85, 0xfffd7f8b803b7f0b,
  0xfffcff0a807bff06, 0xfffcff0e807afe0d,
  0xffff00043ffe0003, 0xffff00053ffd8007,
  0xfffe7f85403dff83, 0xfffe7f87403d7f07,
  0xfffdff07407d7f04, 0xfffdff0a407cfe09,
  0xfffd7e8a40bc7e86, 0xfffd7e8e40bbfd0d,
  0xffff7f81003fff80, 0xffff7f82003fff01,
  0xfffeff03007f7f01, 0xfffeff05007f7e03,
  0xfffe7e8600be7e83, 0xfffe7e8900be7d07,
  0xfffdfe0a00fcfe06, 0xfffdfe0e00fcfc0d,
  0xffff7f82003f7f81, 0xffff7f83003f7f03,
  0xfffeff05007e7f03, 0xfffeff07007e7e07,
  0xfffe7e8900bcfe86, 0xfffe7e8c00bcfd0d,
  0xfffdfe6a00ccfe66, 0xfffdfe6e00ccfccd,
  0xffff7f83003eff82, 0xffff7f84003eff05,
  0xfffeff07007d7f05, 0xfffeff09007d7e0b,
  0xfffe7ee8008d7ee5, 0xfffe7eeb008d7dcb,
  0xfffdfee6008efee2, 0xfffdfeea008efdc5,
  0xffff7f84003e7f83, 0xffff7f85003e7f07,
  0xfffeff65004e7f63, 0xfffeff67004e7ec7,
  0xfffe7f63004fff60, 0xfffe7f66004ffec1,
  0xfffdff620050ff5e, 0xfffdff660050febd,
  0xffff7fe1000fffe0, 0xffff7fe2000fffc1,
  0xfffeffdf00117fdd, 0xfffeffe100117fbb,
  0xfffe7fde00127fdb, 0xfffe7fe100127fb7,
  0xfffdffde0012ffda, 0xfffdffe20012ffb5,
  0xffff7fff00017ffa, 0xffff800000017ff8,
  0xfffeffff00027ff6, 0xffff000100027ff2,
  0xfffe80000002fff4, 0xfffe80030002ffef,
  0xfffe80000002fff4, 0xfffe80030002ffef,
  0xffff80000000fffc, 0xffff80010000fffb,
  0xffff000100017ffa, 0xffff000300017ff8,
  0xffff000100017ffa, 0xffff000300017ff8,
  0xffff00020000fffc, 0xffff00040000fffb,
  0xffff800100007ffe, 0xffff800200007ffe,
  0xffff800100007ffe, 0xffff800200007ffe,
  0xffff800200000000, 0xffff800300000001,
  0xffff8003ffff0004, 0xffff8004ffff0007,
  0x0000000000000000, 0x0000000000000001,
  0x00000000ffff8002, 0x00000000ffff8004,
  0x00000002fffe8006, 0x00000002fffe800a,
  0x00000022ffee8046, 0x00000022ffee806a,
  0x00000000ffff8002, 0x00000000ffff8004,
  0x00000002fffe8006, 0x00000002fffe800a,
  0x00000022ffee8046, 0x00000022ffee806a,
  0x0000009fffb00140, 0x0000009fffb001e1,
  0x00000001ffff0004, 0x00000001ffff0007,
  0x00000021ffef0044, 0x00000021ffef0067,
  0x0000009effb0813e, 0x0000009effb081de,
  0x0000011cff71823a, 0x0000011cff718358,
  0x0000001ffff00040, 0x0000001ffff00061,
  0x0000009cffb1813a, 0x0000009cffb181d8,
  0x0000011aff728236, 0x0000011aff728352,
  0x00000199ff330334, 0x00000199ff3304cf,
  0x0000007cffc180fa, 0x0000007cffc18178,
  0x000000faff8281f6, 0x000000faff8282f2,
  0x00000179ff4302f4, 0x00000179ff43046f,
  0x00008176bf4582ee, 0x00008176bf460466,
  0x0000007dffc100fc, 0x0000007dffc1017b,
  0x000000fcff8181fa, 0x000000fcff8182f8,
  0x000080f9bf8401f4, 0x000080f9bf8482ef,
  0x000100f77f8601f0, 0x000100f77f8702e9,
  0x0000007effc080fe, 0x0000007effc0817e,
  0x0000807bbfc300f8, 0x0000807bbfc38175,
  0x000100797fc500f4, 0x000100797fc6016f,
  0x000180783fc680f2, 0x000180783fc8016c,
  0x00007ffcc0027ffa, 0x00007ffcc002fff8,
  0x0000fffa80047ff6, 0x0000fffa80057ff2,
  0x00017ff94005fff4, 0x00017ff940077fef,
  0x333499930cd2e65a, 0x3334999340079988,
  0x00007ffdc001fffc, 0x00007ffdc0027ffb,
  0x0000fffc80037ffa, 0x0000fffc80047ff8,
  0x333419964cd06660, 0x3334199680049991,
  0x888944414cd0910a, 0x88894441d55a1990,
  0x00007ffec0017ffe, 0x00007ffec001fffe,
  0x333399988cce6664, 0x33339998c0021997,
  0x8888c4438cce910e, 0x8888c44415579996,
  0x088884418cd01108, 0x088884429559198d,
  0x33331999cccce666, 0x3333199a0000199a,
  0x88884444cccd1110, 0x8888444555559999,
  0x08880442ccce910a, 0x08880443d5571990,
  0x8887c441cccf9106, 0x8887c4435558198a,
  0x55552aab00002aaa, 0x55552aab55558000,
  0xd554eaa90001aaa4, 0xd554eaa9d556fff7,
  0x5554aaa80002aaa0, 0x5554aaa95557fff1,
  0xd5546aa800032a9e, 0xd5546aa9d5587fee,
  0x7fffbffe00017ffa, 0x7fffbffe80017ff8,
  0xffff7ffd00027ff6, 0xffff7ffe00027ff2,
  0x7fff3ffd0002fff4, 0x7fff3ffe8002ffef,
  0xfffefffe0002fff4, 0xffff00000002ffef,
  0x7fffbfff0000fffc, 0x7fffbfff8000fffb,
  0xffff7fff00017ffa, 0xffff800000017ff8,
  0x7fff400000017ffa, 0x7fff400180017ff8,
  0xffff00020000fffc, 0xffff00040000fffb,
  0x7fffc00000007ffe, 0x7fffc00080007ffe,
  0xffff800100007ffe, 0xffff800200007ffe,
  0x7fff400300000000, 0x7fff400480000001,
  0x2aa9955900005554, 0x2aa9955b2aaaffff,
  0x7fffc00100000000, 0x7fffc00180000001,
  0xffff8002ffff8002, 0xffff8003ffff8004,
  0xaaa9d558ffffd556, 0xaaa9d55aaaaa8002,
  0x77763bc033336eee, 0x77763bc2aaaae666,
  0x7fffc001ffff8002, 0x7fffc0027fff8004,
  0x2aaa1557ffffd556, 0x2aaa15592aaa8002,
  0xf7767bbf33336eee, 0xf7767bc12aaae666,
  0xf7757bc173326eee, 0xf7757bc46aa96666,
  0xaaaa555600005554, 0xaaaa5556aaaaffff,
  0x7776bbbd3333eeec, 0x7776bbbeaaab6663,
  0x7775bbbf7332eeec, 0x7775bbc1eaa9e663,
  0x7774bbc2b3316eee, 0x7774bbc62aa7e666,
  0xcccc666733339998, 0xcccc666800006665,
  0xcccb666973329998, 0xcccb666b3ffee665,
  0xccca666cb331199a, 0xccca666f7ffce668,
  0xccc96670f32f199e, 0xccc96674bffa666e,
  0xffff00023fff0000, 0xffff00033ffe8001,
  0xfffe00057ffd8002, 0xfffe00077ffc8004,
  0xfffd0009bffb8006, 0xfffd000cbffa000a,
  0xfffc000efff9000c, 0xfffc0012fff70013,
  0xffff00033ffe8002, 0xffff00043ffe0004,
  0xfffe00077ffc8006, 0xfffe00097ffb800a,
  0xfffd000cbffa000c, 0xfffd000fbff88013,
  0xfffc7f8ec039ff0c, 0xfffc7f92c0387e93,
  0xffff00043ffe0004, 0xffff00053ffd8007,
  0xfffe00097ffb800a, 0xfffe000b7ffa8010,
  0xfffd7f8b803b7f0a, 0xfffd7f8e803a7e90,
  0xfffcff0e807afe0c, 0xfffcff128079fd13,
  0xffff00053ffd8006, 0xffff00063ffd000a,
  0xfffe7f87403d7f06, 0xfffe7f89403cfe8a,
  0xfffdff0a407cfe08, 0xfffdff0d407c7d0d,
  0xfffd7e8e40bbfd0c, 0xfffd7e9240bb7b93,
  0xffff7f82003fff00, 0xffff7f83003ffe81,
  0xfffeff05007f7e02, 0xfffeff07007f7d04,
  0xfffe7e8900be7d06, 0xfffe7e8c00be7b8a,
  0xfffdfe0e00fcfc0c, 0xfffdfe1200fcfa13,
  0xffff7f83003f7f02, 0xffff7f84003f7e84,
  0xfffeff07007e7e06, 0xfffeff09007e7d0a,
  0xfffe7e8c00bcfd0c, 0xfffe7e8f00bcfb93,
  0xfffdfe6e00ccfccc, 0xfffdfe7200ccfb33,
  0xffff7f84003eff04, 0xffff7f85003efe87,
  0xfffeff09007d7e0a, 0xfffeff0b007d7d10,
  0xfffe7eeb008d7dca, 0xfffe7eee008d7cb0,
  0xfffdfeea008efdc4, 0xfffdfeee008efca7,
  0xffff7f85003e7f06, 0xffff7f86003e7e8a,
  0xfffeff67004e7ec6, 0xfffeff69004e7e2a,
  0xfffe7f66004ffec0, 0xfffe7f69004ffe21,
  0xfffdff660050febc, 0xfffdff6a0050fe1b,
  0xffff7fe2000fffc0, 0xffff7fe3000fffa1,
  0xfffeffe100117fba, 0xfffeffe300117f98,
  0xfffe7fe100127fb6, 0xfffe7fe400127f92,
  0xfffdffe20012ffb4, 0xfffdffe60012ff8f,
  0xffff800000017ff7, 0xffffff7d00000181,
  0xffff000100027ff1, 0xfffffefb00000281,
  0xfffe80030002ffee, 0xfffffe7a00000301,
  0xfffe80030002ffee, 0xfffffe7a00000301,
  0xffff80010000fffa, 0xffffff7e00000101,
  0xffff000300017ff7, 0xfffffefd00000181,
  0xffff000300017ff7, 0xfffffefd00000181,
  0xffff00040000fffa, 0xfffffefe00000101,
  0xffff800200007ffd, 0xffffff7f00000081,
  0xffff800200007ffd, 0xffffff7f00000081,
  0xffff800300000000, 0xffffff8000000001,
  0xffff8004ffff0006, 0xffffff81ffffff01,
  0x0000000000000000, 0x0000000000000001,
  0x00000000ffff8003, 0x00000000ffffff81,
  0x00000002fffe8009, 0x00000002fffffe81,
  0x00000022ffee8069, 0x00000022ffffee81,
  0x00000000ffff8003, 0x00000000ffffff81,
  0x00000002fffe8009, 0x00000002fffffe81,
  0x00000022ffee8069, 0x00000022ffffee81,
  0x0000009fffb001e0, 0x0000009fffffb001,
  0x00000001ffff0006, 0x00000001ffffff01,
  0x00000021ffef0066, 0x00000021ffffef01,
  0x0000009effb081dd, 0x0000009effffb081,
  0x0000011cff718357, 0x0000011cffff7181,
  0x0000001ffff00060, 0x0000001ffffff001,
  0x0000009cffb181d7, 0x0000009cffffb181,
  0x0000011aff728351, 0x0000011affff7281,
  0x00000199ff3304ce, 0x00000199ffff3301,
  0x0000007cffc18177, 0x0000007cffffc181,
  0x000000faff8282f1, 0x000000faffff8281,
  0x00000179ff43046e, 0x00000179ffff4301,
  0x00008176bf460465, 0x00008176ffbf4481,
  0x0000007dffc1017a, 0x0000007dffffc101,
  0x000000fcff8182f7, 0x000000fcffff8181,
  0x000080f9bf8482ee, 0x000080f9ffbf8301,
  0x000100f77f8702e8, 0x000100f7ff7f8401,
  0x0000007effc0817d, 0x0000007effffc081,
  0x0000807bbfc38174, 0x0000807bffbfc201,
  0x000100797fc6016e, 0x00010079ff7fc301,
  0x000180783fc8016b, 0x00018078ff3fc381,
  0x00007ffcc002fff7, 0x00007ffcffc00181,
  0x0000fffa80057ff1, 0x0000fffaff800281,
  0x00017ff940077fee, 0x00017ff9ff400301,
  0x3334999340079987, 0x3334b31365a66981,
  0x00007ffdc0027ffa, 0x00007ffdffc00101,
  0x0000fffc80047ff7, 0x0000fffcff800181,
  0x3334199680049990, 0x3334331665e66801,
  0x88894441d55a198f, 0x88898840bb3bbd81,
  0x00007ffec001fffd, 0x00007ffeffc00081,
  0x33339998c0021996, 0x3333b31866266701,
  0x8888c44415579995, 0x88890842bb7bbc81,
  0x088884429559198c, 0x088907ffbb7bbe01,
  0x3333199a00001999, 0x3333331966666681,
  0x8888444555559998, 0x88888843bbbbbc01,
  0x08880443d557198f, 0x08888800bbbbbd81,
  0x8887c44355581989, 0x888887bebbbbbe81,
  0x55552aab55557fff, 0x5555552a55555581,
  0xd554eaa9d556fff6, 0xd55554e755555701,
  0x5554aaa95557fff0, 0x555554a555555801,
  0xd5546aa9d5587fed, 0xd555546455555881,
  0x7fffbffe80017ff7, 0x7fffffbd00000181,
  0xffff7ffe00027ff1, 0xffffff7b00000281,
  0x7fff3ffe8002ffee, 0x7fffff3a00000301,
  0xffff00000002ffee, 0xfffffefa00000301,
  0x7fffbfff8000fffa, 0x7fffffbe00000101,
  0xffff800000017ff7, 0xffffff7d00000181,
  0x7fff400180017ff7, 0x7fffff3d00000181,
  0xffff00040000fffa, 0xfffffefe00000101,
  0x7fffc00080007ffd, 0x7fffffbf00000081,
  0xffff800200007ffd, 0xffffff7f00000081,
  0x7fff400480000000, 0x7fffff4000000001,
  0x2aa9955b2aaafffe, 0x2aaaa994aaaaab01,
  0x7fffc00180000000, 0x7fffffc000000001,
  0xffff8003ffff8003, 0xffffff80ffffff81,
  0xaaa9d55aaaaa8001, 0xaaaaa9d5aaaaaa81,
  0x77763bc2aaaae665, 0x7777763b44444481,
  0x7fffc0027fff8003, 0x7fffffc0ffffff81,
  0x2aaa15592aaa8001, 0x2aaaaa15aaaaaa81,
  0xf7767bc12aaae665, 0xf777767b44444481,
  0xf7757bc46aa96665, 0xf776f5fb44844481,
  0xaaaa5556aaaafffe, 0xaaaaaa54aaaaab01,
  0x7776bbbeaaab6662, 0x777776ba44444501,
  0x7775bbc1eaa9e662, 0x7776f63a44844501,
  0x7774bbc62aa7e665, 0x777675bb44c44481,
  0xcccc666800006664, 0xcccccc6599999a01,
  0xcccb666b3ffee664, 0xcccc4be599d99a01,
  0xccca666f7ffce667, 0xcccbcb669a199981,
  0xccc96674bffa666d, 0xcccb4ae89a599881,
  0xffff00033ffe8000, 0xffff7f8000400001,
  0xfffe00077ffc8003, 0xfffeff01007fff81,
  0xfffd000cbffa0009, 0xfffe7e8300bffe81,
  0xfffc0012fff70012, 0xfffdfe0600fffd01,
  0xffff00043ffe0003, 0xffff7f81003fff81,
  0xfffe00097ffb8009, 0xfffeff03007ffe81,
  0xfffd000fbff88012, 0xfffe7e8600bffd01,
  0xfffc7f92c0387e92, 0xfffe7d8600c03d01,
  0xffff00053ffd8006, 0xffff7f82003fff01,
  0xfffe000b7ffa800f, 0xfffeff05007ffd81,
  0xfffd7f8e803a7e8f, 0xfffefe0500803d81,
  0xfffcff128079fd12, 0xfffefd0600807d01,
  0xffff00063ffd0009, 0xffff7f83003ffe81,
  0xfffe7f89403cfe89, 0xffff7e8300403e81,
  0xfffdff0d407c7d0c, 0xffff7d8400407e01,
  0xfffd7e9240bb7b92, 0xffff7c860040bd01,
  0xffff7f83003ffe80, 0xffffff0000004001,
  0xfffeff07007f7d03, 0xfffffe0100007f81,
  0xfffe7e8c00be7b89, 0xfffffd030000be81,
  0xfffdfe1200fcfa12, 0xfffffc060000fd01,
  0xffff7f84003f7e83, 0xffffff0100003f81,
  0xfffeff09007e7d09, 0xfffffe0300007e81,
  0xfffe7e8f00bcfb92, 0xfffffd060000bd01,
  0xfffdfe7200ccfb32, 0xfffffc660000cd01,
  0xffff7f85003efe86, 0xffffff0200003f01,
  0xfffeff0b007d7d0f, 0xfffffe0500007d81,
  0xfffe7eee008d7caf, 0xfffffd6500008d81,
  0xfffdfeee008efca6, 0xfffffce200008f01,
  0xffff7f86003e7e89, 0xffffff0300003e81,
  0xfffeff69004e7e29, 0xfffffe6300004e81,
  0xfffe7f69004ffe20, 0xfffffde000005001,
  0xfffdff6a0050fe1a, 0xfffffd5e00005101,
  0xffff7fe3000fffa0, 0xffffff6000001001,
  0xfffeffe300117f97, 0xfffffedd00001181,
  0xfffe7fe400127f91, 0xfffffe5b00001281,
  0xfffdffe60012ff8e, 0xfffffdda00001301,
  0xffffff7d00000180, 0xffffff7e0000017e,
  0xfffffefb00000280, 0xfffffefd0000027c,
  0xfffffe7a00000300, 0xfffffe7d000002fb,
  0xfffffe7a00000300, 0xfffffe7d000002fb,
  0xffffff7e00000100, 0xffffff7f000000ff,
  0xfffffefd00000180, 0xfffffeff0000017e,
  0xfffffefd00000180, 0xfffffeff0000017e,
  0xfffffefe00000100, 0xffffff00000000ff,
  0xffffff7f00000080, 0xffffff8000000080,
  0xffffff7f00000080, 0xffffff8000000080,
  0xffffff8000000000, 0xffffff8100000001,
  0xffffff81ffffff00, 0xffffff82ffffff03,
  0x0000000000000000, 0x0000000000000001,
  0x00000000ffffff80, 0x00000000ffffff82,
  0x00000002fffffe80, 0x00000002fffffe84,
  0x00000022ffffee80, 0x00000022ffffeea4,
  0x00000000ffffff80, 0x00000000ffffff82,
  0x00000002fffffe80, 0x00000002fffffe84,
  0x00000022ffffee80, 0x00000022ffffeea4,
  0x0000009fffffb000, 0x0000009fffffb0a1,
  0x00000001ffffff00, 0x00000001ffffff03,
  0x00000021ffffef00, 0x00000021ffffef23,
  0x0000009effffb080, 0x0000009effffb120,
  0x0000011cffff7180, 0x0000011cffff729e,
  0x0000001ffffff000, 0x0000001ffffff021,
  0x0000009cffffb180, 0x0000009cffffb21e,
  0x0000011affff7280, 0x0000011affff739c,
  0x00000199ffff3300, 0x00000199ffff349b,
  0x0000007cffffc180, 0x0000007cffffc1fe,
  0x000000faffff8280, 0x000000faffff837c,
  0x00000179ffff4300, 0x00000179ffff447b,
  0x00008176ffbf4480, 0x00008176ffbfc5f8,
  0x0000007dffffc100, 0x0000007dffffc17f,
  0x000000fcffff8180, 0x000000fcffff827e,
  0x000080f9ffbf8300, 0x000080f9ffc003fb,
  0x000100f7ff7f8400, 0x000100f7ff8084f9,
  0x0000007effffc080, 0x0000007effffc100,
  0x0000807bffbfc200, 0x0000807bffc0427d,
  0x00010079ff7fc300, 0x00010079ff80c37b,
  0x00018078ff3fc380, 0x00018078ff4143fa,
  0x00007ffcffc00180, 0x00007ffcffc0817e,
  0x0000fffaff800280, 0x0000fffaff81027c,
  0x00017ff9ff400300, 0x00017ff9ff4182fb,
  0x3334b31365a66980, 0x3334b31398db1cae,
  0x00007ffdffc00100, 0x00007ffdffc080ff,
  0x0000fffcff800180, 0x0000fffcff81017e,
  0x3334331665e66800, 0x33343316991a9b31,
  0x88898840bb3bbd80, 0x8889884143c54606,
  0x00007ffeffc00080, 0x00007ffeffc08080,
  0x3333b31866266700, 0x3333b318995a1a33,
  0x88890842bb7bbc80, 0x888908434404c508,
  0x088907ffbb7bbe00, 0x08890800c404c685,
  0x3333331966666680, 0x33333319999999b4,
  0x88888843bbbbbc00, 0x8888884444444489,
  0x08888800bbbbbd80, 0x08888801c4444606,
  0x888887bebbbbbe80, 0x888887c044444704,
  0x5555552a55555580, 0x5555552aaaaaaad6,
  0xd55554e755555700, 0xd55554e82aaaac53,
  0x555554a555555800, 0x555554a6aaaaad51,
  0xd555546455555880, 0xd55554662aaaadd0,
  0x7fffffbd00000180, 0x7fffffbd8000017e,
  0xffffff7b00000280, 0xffffff7c0000027c,
  0x7fffff3a00000300, 0x7fffff3b800002fb,
  0xfffffefa00000300, 0xfffffefc000002fb,
  0x7fffffbe00000100, 0x7fffffbe800000ff,
  0xffffff7d00000180, 0xffffff7e0000017e,
  0x7fffff3d00000180, 0x7fffff3e8000017e,
  0xfffffefe00000100, 0xffffff00000000ff,
  0x7fffffbf00000080, 0x7fffffbf80000080,
  0xffffff7f00000080, 0xffffff8000000080,
  0x7fffff4000000000, 0x7fffff4180000001,
  0x2aaaa994aaaaab00, 0x2aaaa996d55555ab,
  0x7fffffc000000000, 0x7fffffc080000001,
  0xffffff80ffffff80, 0xffffff81ffffff82,
  0xaaaaa9d5aaaaaa80, 0xaaaaa9d75555552c,
  0x7777763b44444480, 0x7777763dbbbbbbf8,
  0x7fffffc0ffffff80, 0x7fffffc17fffff82,
  0x2aaaaa15aaaaaa80, 0x2aaaaa16d555552c,
  0xf777767b44444480, 0xf777767d3bbbbbf8,
  0xf776f5fb44844480, 0xf776f5fe3bfb3bf8,
  0xaaaaaa54aaaaab00, 0xaaaaaa55555555ab,
  0x777776ba44444500, 0x777776bbbbbbbc77,
  0x7776f63a44844500, 0x7776f63cbbfb3c77,
  0x777675bb44c44480, 0x777675bebc3abbf8,
  0xcccccc6599999a00, 0xcccccc66666666cd,
  0xcccc4be599d99a00, 0xcccc4be766a5e6cd,
  0xcccbcb669a199980, 0xcccbcb6966e5664e,
  0xcccb4ae89a599880, 0xcccb4aec6724e550,
  0xffff7f8000400000, 0xffff7f81003f8001,
  0xfffeff01007fff80, 0xfffeff03007eff82,
  0xfffe7e8300bffe80, 0xfffe7e8600be7e84,
  0xfffdfe0600fffd00, 0xfffdfe0a00fdfd07,
  0xffff7f81003fff80, 0xffff7f82003f7f82,
  0xfffeff03007ffe80, 0xfffeff05007efe84,
  0xfffe7e8600bffd00, 0xfffe7e8900be7d07,
  0xfffe7d8600c03d00, 0xfffe7d8a00bebc87,
  0xffff7f82003fff00, 0xffff7f83003f7f03,
  0xfffeff05007ffd80, 0xfffeff07007efd86,
  0xfffefe0500803d80, 0xfffefe08007f3d06,
  0xfffefd0600807d00, 0xfffefd0a007f7c07,
  0xffff7f83003ffe80, 0xffff7f84003f7e84,
  0xffff7e8300403e80, 0xffff7e85003fbe04,
  0xffff7d8400407e00, 0xffff7d87003ffd05,
  0xffff7c860040bd00, 0xffff7c8a00403b87,
  0xffffff0000004000, 0xffffff0100003f81,
  0xfffffe0100007f80, 0xfffffe0300007e82,
  0xfffffd030000be80, 0xfffffd060000bd04,
  0xfffffc060000fd00, 0xfffffc0a0000fb07,
  0xffffff0100003f80, 0xffffff0200003f02,
  0xfffffe0300007e80, 0xfffffe0500007d84,
  0xfffffd060000bd00, 0xfffffd090000bb87,
  0xfffffc660000cd00, 0xfffffc6a0000cb67,
  0xffffff0200003f00, 0xffffff0300003e83,
  0xfffffe0500007d80, 0xfffffe0700007c86,
  0xfffffd6500008d80, 0xfffffd6800008c66,
  0xfffffce200008f00, 0xfffffce600008de3,
  0xffffff0300003e80, 0xffffff0400003e04,
  0xfffffe6300004e80, 0xfffffe6500004de4,
  0xfffffde000005000, 0xfffffde300004f61,
  0xfffffd5e00005100, 0xfffffd620000505f,
  0xffffff6000001000, 0xffffff6100000fe1,
  0xfffffedd00001180, 0xfffffedf0000115e,
  0xfffffe5b00001280, 0xfffffe5e0000125c,
  0xfffffdda00001300, 0xfffffdde000012db,
  0xffffff7e0000017d, 0xffffff7f0000017b,
  0xfffffefd0000027b, 0xfffffeff00000277,
  0xfffffe7d000002fa, 0xfffffe80000002f5,
  0xfffffe7d000002fa, 0xfffffe80000002f5,
  0xffffff7f000000fe, 0xffffff80000000fd,
  0xfffffeff0000017d, 0xffffff010000017b,
  0xfffffeff0000017d, 0xffffff010000017b,
  0xffffff00000000fe, 0xffffff02000000fd,
  0xffffff800000007f, 0xffffff810000007f,
  0xffffff800000007f, 0xffffff810000007f,
  0xffffff8100000000, 0xffffff8200000001,
  0xffffff82ffffff02, 0xffffff83ffffff05,
  0x0000000000000000, 0x0000000000000001,
  0x00000000ffffff81, 0x00000000ffffff83,
  0x00000002fffffe83, 0x00000002fffffe87,
  0x00000022ffffeea3, 0x00000022ffffeec7,
  0x00000000ffffff81, 0x00000000ffffff83,
  0x00000002fffffe83, 0x00000002fffffe87,
  0x00000022ffffeea3, 0x00000022ffffeec7,
  0x0000009fffffb0a0, 0x0000009fffffb141,
  0x00000001ffffff02, 0x00000001ffffff05,
  0x00000021ffffef22, 0x00000021ffffef45,
  0x0000009effffb11f, 0x0000009effffb1bf,
  0x0000011cffff729d, 0x0000011cffff73bb,
  0x0000001ffffff020, 0x0000001ffffff041,
  0x0000009cffffb21d, 0x0000009cffffb2bb,
  0x0000011affff739b, 0x0000011affff74b7,
  0x00000199ffff349a, 0x00000199ffff3635,
  0x0000007cffffc1fd, 0x0000007cffffc27b,
  0x000000faffff837b, 0x000000faffff8477,
  0x00000179ffff447a, 0x00000179ffff45f5,
  0x00008176ffbfc5f7, 0x00008176ffc0476f,
  0x0000007dffffc17e, 0x0000007dffffc1fd,
  0x000000fcffff827d, 0x000000fcffff837b,
  0x000080f9ffc003fa, 0x000080f9ffc084f5,
  0x000100f7ff8084f8, 0x000100f7ff8185f1,
  0x0000007effffc0ff, 0x0000007effffc17f,
  0x0000807bffc0427c, 0x0000807bffc0c2f9,
  0x00010079ff80c37a, 0x00010079ff81c3f5,
  0x00018078ff4143f9, 0x00018078ff42c473,
  0x00007ffcffc0817d, 0x00007ffcffc1017b,
  0x0000fffaff81027b, 0x0000fffaff820277,
  0x00017ff9ff4182fa, 0x00017ff9ff4302f5,
  0x3334b31398db1cad, 0x3334b313cc0fcfdb,
  0x00007ffdffc080fe, 0x00007ffdffc100fd,
  0x0000fffcff81017d, 0x0000fffcff82017b,
  0x33343316991a9b30, 0x33343316cc4ece61,
  0x8889884143c54605, 0x88898841cc4ece8b,
  0x00007ffeffc0807f, 0x00007ffeffc1007f,
  0x3333b318995a1a32, 0x3333b318cc8dcd65,
  0x888908434404c507, 0x88890843cc8dcd8f,
  0x08890800c404c684, 0x08890801cc8dcf09,
  0x33333319999999b3, 0x33333319cccccce7,
  0x8888884444444488, 0x88888844cccccd11,
  0x08888801c4444605, 0x08888802ccccce8b,
  0x888887c044444703, 0x888887c1cccccf87,
  0x5555552aaaaaaad5, 0x5555552b0000002b,
  0xd55554e82aaaac52, 0xd55554e9000001a5,
  0x555554a6aaaaad50, 0x555554a8000002a1,
  0xd55554662aaaadcf, 0xd55554680000031f,
  0x7fffffbd8000017d, 0x7fffffbe0000017b,
  0xffffff7c0000027b, 0xffffff7d00000277,
  0x7fffff3b800002fa, 0x7fffff3d000002f5,
  0xfffffefc000002fa, 0xfffffefe000002f5,
  0x7fffffbe800000fe, 0x7fffffbf000000fd,
  0xffffff7e0000017d, 0xffffff7f0000017b,
  0x7fffff3e8000017d, 0x7fffff400000017b,
  0xffffff00000000fe, 0xffffff02000000fd,
  0x7fffffbf8000007f, 0x7fffffc00000007f,
  0xffffff800000007f, 0xffffff810000007f,
  0x7fffff4180000000, 0x7fffff4300000001,
  0x2aaaa996d55555aa, 0x2aaaa99900000055,
  0x7fffffc080000000, 0x7fffffc100000001,
  0xffffff81ffffff81, 0xffffff82ffffff83,
  0xaaaaa9d75555552b, 0xaaaaa9d8ffffffd7,
  0x7777763dbbbbbbf7, 0x777776403333336f,
  0x7fffffc17fffff81, 0x7fffffc1ffffff83,
  0x2aaaaa16d555552b, 0x2aaaaa17ffffffd7,
  0xf777767d3bbbbbf7, 0xf777767f3333336f,
  0xf776f5fe3bfb3bf7, 0xf776f6013372336f,
  0xaaaaaa55555555aa, 0xaaaaaa5600000055,
  0x777776bbbbbbbc76, 0x777776bd333333ed,
  0x7776f63cbbfb3c76, 0x7776f63f337233ed,
  0x777675bebc3abbf7, 0x777675c233b1336f,
  0xcccccc66666666cc, 0xcccccc6733333399,
  0xcccc4be766a5e6cc, 0xcccc4be933723399,
  0xcccbcb6966e5664d, 0xcccbcb6c33b1331b,
  0xcccb4aec6724e54f, 0xcccb4af033f0321f,
  0xffff7f81003f8000, 0xffff7f82003f0001,
  0xfffeff03007eff81, 0xfffeff05007dff83,
  0xfffe7e8600be7e83, 0xfffe7e8900bcfe87,
  0xfffdfe0a00fdfd06, 0xfffdfe0e00fbfd0d,
  0xffff7f82003f7f81, 0xffff7f83003eff83,
  0xfffeff05007efe83, 0xfffeff07007dfe87,
  0xfffe7e8900be7d06, 0xfffe7e8c00bcfd0d,
  0xfffe7d8a00bebc86, 0xfffe7d8e00bd3c0d,
  0xffff7f83003f7f02, 0xffff7f84003eff05,
  0xfffeff07007efd85, 0xfffeff09007dfd8b,
  0xfffefe08007f3d05, 0xfffefe0b007e3c8b,
  0xfffefd0a007f7c06, 0xfffefd0e007e7b0d,
  0xffff7f84003f7e83, 0xffff7f85003efe87,
  0xffff7e85003fbe03, 0xffff7e87003f3d87,
  0xffff7d87003ffd04, 0xffff7d8a003f7c09,
  0xffff7c8a00403b86, 0xffff7c8e003fba0d,
  0xffffff0100003f80, 0xffffff0200003f01,
  0xfffffe0300007e81, 0xfffffe0500007d83,
  0xfffffd060000bd03, 0xfffffd090000bb87,
  0xfffffc0a0000fb06, 0xfffffc0e0000f90d,
  0xffffff0200003f01, 0xffffff0300003e83,
  0xfffffe0500007d83, 0xfffffe0700007c87,
  0xfffffd090000bb86, 0xfffffd0c0000ba0d,
  0xfffffc6a0000cb66, 0xfffffc6e0000c9cd,
  0xffffff0300003e82, 0xffffff0400003e05,
  0xfffffe0700007c85, 0xfffffe0900007b8b,
  0xfffffd6800008c65, 0xfffffd6b00008b4b,
  0xfffffce600008de2, 0xfffffcea00008cc5,
  0xffffff0400003e03, 0xffffff0500003d87,
  0xfffffe6500004de3, 0xfffffe6700004d47,
  0xfffffde300004f60, 0xfffffde600004ec1,
  0xfffffd620000505e, 0xfffffd6600004fbd,
  0xffffff6100000fe0, 0xffffff6200000fc1,
  0xfffffedf0000115d, 0xfffffee10000113b,
  0xfffffe5e0000125b, 0xfffffe6100001237,
  0xfffffdde000012da, 0xfffffde2000012b5,
  0xffffff7f0000017a, 0xffffff8000000178,
  0xfffffeff00000276, 0xffffff0100000272,
  0xfffffe80000002f4, 0xfffffe83000002ef,
  0xfffffe80000002f4, 0xfffffe83000002ef,
  0xffffff80000000fc, 0xffffff81000000fb,
  0xffffff010000017a, 0xffffff0300000178,
  0xffffff010000017a, 0xffffff0300000178,
  0xffffff02000000fc, 0xffffff04000000fb,
  0xffffff810000007e, 0xffffff820000007e,
  0xffffff810000007e, 0xffffff820000007e,
  0xffffff8200000000, 0xffffff8300000001,
  0xffffff83ffffff04, 0xffffff84ffffff07,
  0x0000000000000000, 0x0000000000000001,
  0x00000000ffffff82, 0x00000000ffffff84,
  0x00000002fffffe86, 0x00000002fffffe8a,
  0x00000022ffffeec6, 0x00000022ffffeeea,
  0x00000000ffffff82, 0x00000000ffffff84,
  0x00000002fffffe86, 0x00000002fffffe8a,
  0x00000022ffffeec6, 0x00000022ffffeeea,
  0x0000009fffffb140, 0x0000009fffffb1e1,
  0x00000001ffffff04, 0x00000001ffffff07,
  0x00000021ffffef44, 0x00000021ffffef67,
  0x0000009effffb1be, 0x0000009effffb25e,
  0x0000011cffff73ba, 0x0000011cffff74d8,
  0x0000001ffffff040, 0x0000001ffffff061,
  0x0000009cffffb2ba, 0x0000009cffffb358,
  0x0000011affff74b6, 0x0000011affff75d2,
  0x00000199ffff3634, 0x00000199ffff37cf,
  0x0000007cffffc27a, 0x0000007cffffc2f8,
  0x000000faffff8476, 0x000000faffff8572,
  0x00000179ffff45f4, 0x00000179ffff476f,
  0x00008176ffc0476e, 0x00008176ffc0c8e6,
  0x0000007dffffc1fc, 0x0000007dffffc27b,
  0x000000fcffff837a, 0x000000fcffff8478,
  0x000080f9ffc084f4, 0x000080f9ffc105ef,
  0x000100f7ff8185f0, 0x000100f7ff8286e9,
  0x0000007effffc17e, 0x0000007effffc1fe,
  0x0000807bffc0c2f8, 0x0000807bffc14375,
  0x00010079ff81c3f4, 0x00010079ff82c46f,
  0x00018078ff42c472, 0x00018078ff4444ec,
  0x00007ffcffc1017a, 0x00007ffcffc18178,
  0x0000fffaff820276, 0x0000fffaff830272,
  0x00017ff9ff4302f4, 0x00017ff9ff4482ef,
  0x3334b313cc0fcfda, 0x3334b313ff448308,
  0x00007ffdffc100fc, 0x00007ffdffc180fb,
  0x0000fffcff82017a, 0x0000fffcff830178,
  0x33343316cc4ece60, 0x33343316ff830191,
  0x88898841cc4ece8a, 0x8889884254d85710,
  0x00007ffeffc1007e, 0x00007ffeffc1807e,
  0x3333b318cc8dcd64, 0x3333b318ffc18097,
  0x88890843cc8dcd8e, 0x888908445516d616,
  0x08890801cc8dcf08, 0x08890802d516d78d,
  0x33333319cccccce6, 0x3333331a0000001a,
  0x88888844cccccd10, 0x8888884555555599,
  0x08888802ccccce8a, 0x08888803d5555710,
  0x888887c1cccccf86, 0x888887c35555580a,
  0x5555552b0000002a, 0x5555552b55555580,
  0xd55554e9000001a4, 0xd55554e9d55556f7,
  0x555554a8000002a0, 0x555554a9555557f1,
  0xd55554680000031e, 0xd5555469d555586e,
  0x7fffffbe0000017a, 0x7fffffbe80000178,
  0xffffff7d00000276, 0xffffff7e00000272,
  0x7fffff3d000002f4, 0x7fffff3e800002ef,
  0xfffffefe000002f4, 0xffffff00000002ef,
  0x7fffffbf000000fc, 0x7fffffbf800000fb,
  0xffffff7f0000017a, 0xffffff8000000178,
  0x7fffff400000017a, 0x7fffff4180000178,
  0xffffff02000000fc, 0xffffff04000000fb,
  0x7fffffc00000007e, 0x7fffffc08000007e,
  0xffffff810000007e, 0xffffff820000007e,
  0x7fffff4300000000, 0x7fffff4480000001,
  0x2aaaa99900000054, 0x2aaaa99b2aaaaaff,
  0x7fffffc100000000, 0x7fffffc180000001,
  0xffffff82ffffff82, 0xffffff83ffffff84,
  0xaaaaa9d8ffffffd6, 0xaaaaa9daaaaaaa82,
  0x777776403333336e, 0x77777642aaaaaae6,
  0x7fffffc1ffffff82, 0x7fffffc27fffff84,
  0x2aaaaa17ffffffd6, 0x2aaaaa192aaaaa82,
  0xf777767f3333336e, 0xf77776812aaaaae6,
  0xf776f6013372336e, 0xf776f6042ae92ae6,
  0xaaaaaa5600000054, 0xaaaaaa56aaaaaaff,
  0x777776bd333333ec, 0x777776beaaaaab63,
  0x7776f63f337233ec, 0x7776f641aae92b63,
  0x777675c233b1336e, 0x777675c5ab27aae6,
  0xcccccc6733333398, 0xcccccc6800000065,
  0xcccc4be933723398, 0xcccc4beb003e8065,
  0xcccbcb6c33b1331a, 0xcccbcb6f007cffe8,
  0xcccb4af033f0321e, 0xcccb4af400bb7eee,
  0xffff7f82003f0000, 0xffff7f83003e8001,
  0xfffeff05007dff82, 0xfffeff07007cff84,
  0xfffe7e8900bcfe86, 0xfffe7e8c00bb7e8a,
  0xfffdfe0e00fbfd0c, 0xfffdfe1200f9fd13,
  0xffff7f83003eff82, 0xffff7f84003e7f84,
  0xfffeff07007dfe86, 0xfffeff09007cfe8a,
  0xfffe7e8c00bcfd0c, 0xfffe7e8f00bb7d13,
  0xfffe7d8e00bd3c0c, 0xfffe7d9200bbbb93,
  0xffff7f84003eff04, 0xffff7f85003e7f07,
  0xfffeff09007dfd8a, 0xfffeff0b007cfd90,
  0xfffefe0b007e3c8a, 0xfffefe0e007d3c10,
  0xfffefd0e007e7b0c, 0xfffefd12007d7a13,
  0xffff7f85003efe86, 0xffff7f86003e7e8a,
  0xffff7e87003f3d86, 0xffff7e89003ebd0a,
  0xffff7d8a003f7c08, 0xffff7d8d003efb0d,
  0xffff7c8e003fba0c, 0xffff7c92003f3893,
  0xffffff0200003f00, 0xffffff0300003e81,
  0xfffffe0500007d82, 0xfffffe0700007c84,
  0xfffffd090000bb86, 0xfffffd0c0000ba0a,
  0xfffffc0e0000f90c, 0xfffffc120000f713,
  0xffffff0300003e82, 0xffffff0400003e04,
  0xfffffe0700007c86, 0xfffffe0900007b8a,
  0xfffffd0c0000ba0c, 0xfffffd0f0000b893,
  0xfffffc6e0000c9cc, 0xfffffc720000c833,
  0xffffff0400003e04, 0xffffff0500003d87,
  0xfffffe0900007b8a, 0xfffffe0b00007a90,
  0xfffffd6b00008b4a, 0xfffffd6e00008a30,
  0xfffffcea00008cc4, 0xfffffcee00008ba7,
  0xffffff0500003d86, 0xffffff0600003d0a,
  0xfffffe6700004d46, 0xfffffe6900004caa,
  0xfffffde600004ec0, 0xfffffde900004e21,
  0xfffffd6600004fbc, 0xfffffd6a00004f1b,
  0xffffff6200000fc0, 0xffffff6300000fa1,
  0xfffffee10000113a, 0xfffffee300001118,
  0xfffffe6100001236, 0xfffffe6400001212,
  0xfffffde2000012b4, 0xfffffde60000128f,
  0xffffff8000000177, 0xffffffdd00000061,
  0xffffff0100000271, 0xffffffbb000000a1,
  0xfffffe83000002ee, 0xffffff9a000000c1,
  0xfffffe83000002ee, 0xffffff9a000000c1,
  0xffffff81000000fa, 0xffffffde00000041,
  0xffffff0300000177, 0xffffffbd00000061,
  0xffffff0300000177, 0xffffffbd00000061,
  0xffffff04000000fa, 0xffffffbe00000041,
  0xffffff820000007d, 0xffffffdf00000021,
  0xffffff820000007d, 0xffffffdf00000021,
  0xffffff8300000000, 0xffffffe000000001,
  0xffffff84ffffff06, 0xffffffe1ffffffc1,
  0x0000000000000000, 0x0000000000000001,
  0x00000000ffffff83, 0x00000000ffffffe1,
  0x00000002fffffe89, 0x00000002ffffffa1,
  0x00000022ffffeee9, 0x00000022fffffba1,
  0x00000000ffffff83, 0x00000000ffffffe1,
  0x00000002fffffe89, 0x00000002ffffffa1,
  0x00000022ffffeee9, 0x00000022fffffba1,
  0x0000009fffffb1e0, 0x0000009fffffec01,
  0x00000001ffffff06, 0x00000001ffffffc1,
  0x00000021ffffef66, 0x00000021fffffbc1,
  0x0000009effffb25d, 0x0000009effffec21,
  0x0000011cffff74d7, 0x0000011cffffdc61,
  0x0000001ffffff060, 0x0000001ffffffc01,
  0x0000009cffffb357, 0x0000009cffffec61,
  0x0000011affff75d1, 0x0000011affffdca1,
  0x00000199ffff37ce, 0x00000199ffffccc1,
  0x0000007cffffc2f7, 0x0000007cfffff061,
  0x000000faffff8571, 0x000000faffffe0a1,
  0x00000179ffff476e, 0x00000179ffffd0c1,
  0x00008176ffc0c8e5, 0x00008176ffefd121,
  0x0000007dffffc27a, 0x0000007dfffff041,
  0x000000fcffff8477, 0x000000fcffffe061,
  0x000080f9ffc105ee, 0x000080f9ffefe0c1,
  0x000100f7ff8286e8, 0x000100f7ffdfe101,
  0x0000007effffc1fd, 0x0000007efffff021,
  0x0000807bffc14374, 0x0000807bffeff081,
  0x00010079ff82c46e, 0x00010079ffdff0c1,
  0x00018078ff4444eb, 0x00018078ffcff0e1,
  0x00007ffcffc18177, 0x00007ffcfff00061,
  0x0000fffaff830271, 0x0000fffaffe000a1,
  0x00017ff9ff4482ee, 0x00017ff9ffd000c1,
  0x3334b313ff448307, 0x3334b32699699a61,
  0x00007ffdffc180fa, 0x00007ffdfff00041,
  0x0000fffcff830177, 0x0000fffcffe00061,
  0x33343316ff830190, 0x3334332999799a01,
  0x8889884254d8570f, 0x88898873eeceef61,
  0x00007ffeffc1807d, 0x00007ffefff00021,
  0x3333b318ffc18096, 0x3333b32b998999c1,
  0x888908445516d615, 0x88890875eedeef21,
  0x08890802d516d78c, 0x08890862eedeef81,
  0x3333331a00000019, 0x3333332c999999a1,
  0x8888884555555598, 0x88888876eeeeef01,
  0x08888803d555570f, 0x08888863eeeeef61,
  0x888887c355555809, 0x88888851eeeeefa1,
  0x5555552b5555557f, 0x5555554a55555561,
  0xd55554e9d55556f6, 0xd5555537555555c1,
  0x555554a9555557f0, 0x5555552555555601,
  0xd5555469d555586d, 0xd555551455555621,
  0x7fffffbe80000177, 0x7fffffed00000061,
  0xffffff7e00000271, 0xffffffdb000000a1,
  0x7fffff3e800002ee, 0x7fffffca000000c1,
  0xffffff00000002ee, 0xffffffba000000c1,
  0x7fffffbf800000fa, 0x7fffffee00000041,
  0xffffff8000000177, 0xffffffdd00000061,
  0x7fffff4180000177, 0x7fffffcd00000061,
  0xffffff04000000fa, 0xffffffbe00000041,
  0x7fffffc08000007d, 0x7fffffef00000021,
  0xffffff820000007d, 0xffffffdf00000021,
  0x7fffff4480000000, 0x7fffffd000000001,
  0x2aaaa99b2aaaaafe, 0x2aaaaa64aaaaaac1,
  0x7fffffc180000000, 0x7ffffff000000001,
  0xffffff83ffffff83, 0xffffffe0ffffffe1,
  0xaaaaa9daaaaaaa81, 0xaaaaaa75aaaaaaa1,
  0x77777642aaaaaae5, 0x7777772811111121,
  0x7fffffc27fffff83, 0x7ffffff0ffffffe1,
  0x2aaaaa192aaaaa81, 0x2aaaaa85aaaaaaa1,
  0xf77776812aaaaae5, 0xf777773811111121,
  0xf776f6042ae92ae5, 0xf776f71811211121,
  0xaaaaaa56aaaaaafe, 0xaaaaaa94aaaaaac1,
  0x777776beaaaaab62, 0x7777774711111141,
  0x7776f641aae92b62, 0x7776f72711211141,
  0x777675c5ab27aae5, 0x7776770811311121,
  0xcccccc6800000064, 0xccccccb266666681,
  0xcccc4beb003e8064, 0xcccc4c9266766681,
  0xcccbcb6f007cffe7, 0xcccbcc7366866661,
  0xcccb4af400bb7eed, 0xcccb4c5566966621,
  0xffff7f83003e8000, 0xffff7fe000100001,
  0xfffeff07007cff83, 0xfffeffc1001fffe1,
  0xfffe7e8c00bb7e89, 0xfffe7fa3002fffa1,
  0xfffdfe1200f9fd12, 0xfffdff86003fff41,
  0xffff7f84003e7f83, 0xffff7fe1000fffe1,
  0xfffeff09007cfe89, 0xfffeffc3001fffa1,
  0xfffe7e8f00bb7d12, 0xfffe7fa6002fff41,
  0xfffe7d9200bbbb92, 0xfffe7f0600300f41,
  0xffff7f85003e7f06, 0xffff7fe2000fffc1,
  0xfffeff0b007cfd8f, 0xfffeffc5001fff61,
  0xfffefe0e007d3c0f, 0xfffeff2500200f61,
  0xfffefd12007d7a12, 0xfffefe8600201f41,
  0xffff7f86003e7e89, 0xffff7fe3000fffa1,
  0xffff7e89003ebd09, 0xffff7f4300100fa1,
  0xffff7d8d003efb0c, 0xffff7ea400101f81,
  0xffff7c92003f3892, 0xffff7e0600102f41,
  0xffffff0300003e80, 0xffffff6000001001,
  0xfffffe0700007c83, 0xfffffec100001fe1,
  0xfffffd0c0000ba09, 0xfffffe2300002fa1,
  0xfffffc120000f712, 0xfffffd8600003f41,
  0xffffff0400003e03, 0xffffff6100000fe1,
  0xfffffe0900007b89, 0xfffffec300001fa1,
  0xfffffd0f0000b892, 0xfffffe2600002f41,
  0xfffffc720000c832, 0xfffffde600003341,
  0xffffff0500003d86, 0xffffff6200000fc1,
  0xfffffe0b00007a8f, 0xfffffec500001f61,
  0xfffffd6e00008a2f, 0xfffffe8500002361,
  0xfffffcee00008ba6, 0xfffffe62000023c1,
  0xffffff0600003d09, 0xffffff6300000fa1,
  0xfffffe6900004ca9, 0xffffff23000013a1,
  0xfffffde900004e20, 0xffffff0000001401,
  0xfffffd6a00004f1a, 0xfffffede00001441,
  0xffffff6300000fa0, 0xffffffc000000401,
  0xfffffee300001117, 0xffffff9d00000461,
  0xfffffe6400001211, 0xffffff7b000004a1,
  0xfffffde60000128e, 0xffffff5a000004c1,
  0xffffffdd00000060, 0xfffffffa0000000a,
  0xffffffbb000000a0, 0xfffffff500000010,
  0xffffff9a000000c0, 0xfffffff100000013,
  0xffffff9a000000c0, 0xfffffff100000013,
  0xffffffde00000040, 0xfffffffb00000007,
  0xffffffbd00000060, 0xfffffff70000000a,
  0xffffffbd00000060, 0xfffffff70000000a,
  0xffffffbe00000040, 0xfffffff800000007,
  0xffffffdf00000020, 0xfffffffc00000004,
  0xffffffdf00000020, 0xfffffffc00000004,
  0xffffffe000000000, 0xfffffffd00000001,
  0xffffffe1ffffffc0, 0xfffffffefffffffb,
  0x0000000000000000, 0x0000000000000001,
  0x00000000ffffffe0, 0x00000000fffffffe,
  0x00000002ffffffa0, 0x00000002fffffff8,
  0x00000022fffffba0, 0x00000022ffffff98,
  0x00000000ffffffe0, 0x00000000fffffffe,
  0x00000002ffffffa0, 0x00000002fffffff8,
  0x00000022fffffba0, 0x00000022ffffff98,
  0x0000009fffffec00, 0x0000009ffffffe21,
  0x00000001ffffffc0, 0x00000001fffffffb,
  0x00000021fffffbc0, 0x00000021ffffff9b,
  0x0000009effffec20, 0x0000009efffffe24,
  0x0000011cffffdc60, 0x0000011cfffffcaa,
  0x0000001ffffffc00, 0x0000001fffffffa1,
  0x0000009cffffec60, 0x0000009cfffffe2a,
  0x0000011affffdca0, 0x0000011afffffcb0,
  0x00000199ffffccc0, 0x00000199fffffb33,
  0x0000007cfffff060, 0x0000007cfffffe8a,
  0x000000faffffe0a0, 0x000000fafffffd10,
  0x00000179ffffd0c0, 0x00000179fffffb93,
  0x00008176ffefd120, 0x00008176fffe7b9c,
  0x0000007dfffff040, 0x0000007dfffffe87,
  0x000000fcffffe060, 0x000000fcfffffd0a,
  0x000080f9ffefe0c0, 0x000080f9fffe7d13,
  0x000100f7ffdfe100, 0x000100f7fffcfd19,
  0x0000007efffff020, 0x0000007efffffe84,
  0x0000807bffeff080, 0x0000807bfffe7e8d,
  0x00010079ffdff0c0, 0x00010079fffcfe93,
  0x00018078ffcff0e0, 0x00018078fffb7e96,
  0x00007ffcfff00060, 0x00007ffcfffe800a,
  0x0000fffaffe000a0, 0x0000fffafffd0010,
  0x00017ff9ffd000c0, 0x00017ff9fffb8013,
  0x3334b32699699a60, 0x3334b32c6661e67a,
  0x00007ffdfff00040, 0x00007ffdfffe8007,
  0x0000fffcffe00060, 0x0000fffcfffd000a,
  0x3334332999799a00, 0x3334332f66636671,
  0x88898873eeceef60, 0x8889888366636672,
  0x00007ffefff00020, 0x00007ffefffe8004,
  0x3333b32b998999c0, 0x3333b3316664e66b,
  0x88890875eedeef20, 0x888908856664e66c,
  0x08890862eedeef80, 0x08890880e664e675,
  0x3333332c999999a0, 0x3333333266666668,
  0x88888876eeeeef00, 0x8888888666666669,
  0x08888863eeeeef60, 0x08888881e6666672,
  0x88888851eeeeefa0, 0x8888887e66666678,
  0x5555554a55555560, 0x5555555400000002,
  0xd5555537555555c0, 0xd555554f8000000b,
  0x5555552555555600, 0x5555554c00000011,
  0xd555551455555620, 0xd555554980000014,
  0x7fffffed00000060, 0x7ffffffb8000000a,
  0xffffffdb000000a0, 0xfffffff800000010,
  0x7fffffca000000c0, 0x7ffffff580000013,
  0xffffffba000000c0, 0xfffffff400000013,
  0x7fffffee00000040, 0x7ffffffc80000007,
  0xffffffdd00000060, 0xfffffffa0000000a,
  0x7fffffcd00000060, 0x7ffffff88000000a,
  0xffffffbe00000040, 0xfffffff800000007,
  0x7fffffef00000020, 0x7ffffffd80000004,
  0xffffffdf00000020, 0xfffffffc00000004,
  0x7fffffd000000000, 0x7ffffffb80000001,
  0x2aaaaa64aaaaaac0, 0x2aaaaaa380000003,
  0x7ffffff000000000, 0x7ffffffe80000001,
  0xffffffe0ffffffe0, 0xfffffffdfffffffe,
  0xaaaaaa75aaaaaaa0, 0xaaaaaaa600000000,
  0x7777772811111120, 0x7777776f9999999c,
  0x7ffffff0ffffffe0, 0x7fffffff7ffffffe,
  0x2aaaaa85aaaaaaa0, 0x2aaaaaa780000000,
  0xf777773811111120, 0xf77777711999999c,
  0xf776f71811211120, 0xf776f76e199b199c,
  0xaaaaaa94aaaaaac0, 0xaaaaaaa800000003,
  0x7777774711111140, 0x777777719999999f,
  0x7776f72711211140, 0x7776f76e999b199f,
  0x7776770811311120, 0x7776776c999c999c,
  0xccccccb266666680, 0xccccccc99999999d,
  0xcccc4c9266766680, 0xcccc4cc6999b199d,
  0xcccbcc7366866660, 0xcccbccc4999c999a,
  0xcccb4c5566966620, 0xcccb4cc3999e1994,
  0xffff7fe000100000, 0xffff7ffd00018001,
  0xfffeffc1001fffe0, 0xfffefffb0002fffe,
  0xfffe7fa3002fffa0, 0xfffe7ffa00047ff8,
  0xfffdff86003fff40, 0xfffdfffa0005ffef,
  0xffff7fe1000fffe0, 0xffff7ffe00017ffe,
  0xfffeffc3001fffa0, 0xfffefffd0002fff8,
  0xfffe7fa6002fff40, 0xfffe7ffd00047fef,
  0xfffe7f0600300f40, 0xfffe7f7a0004816f,
  0xffff7fe2000fffc0, 0xffff7fff00017ffb,
  0xfffeffc5001fff60, 0xfffeffff0002fff2,
  0xfffeff2500200f60, 0xfffeff7c00030172,
  0xfffefe8600201f40, 0xfffefefa000302ef,
  0xffff7fe3000fffa0, 0xffff800000017ff8,
  0xffff7f4300100fa0, 0xffff7f7d00018178,
  0xffff7ea400101f80, 0xffff7efb000182f5,
  0xffff7e0600102f40, 0xffff7e7a0001846f,
  0xffffff6000001000, 0xffffff7d00000181,
  0xfffffec100001fe0, 0xfffffefb000002fe,
  0xfffffe2300002fa0, 0xfffffe7a00000478,
  0xfffffd8600003f40, 0xfffffdfa000005ef,
  0xffffff6100000fe0, 0xffffff7e0000017e,
  0xfffffec300001fa0, 0xfffffefd000002f8,
  0xfffffe2600002f40, 0xfffffe7d0000046f,
  0xfffffde600003340, 0xfffffe5a000004cf,
  0xffffff6200000fc0, 0xffffff7f0000017b,
  0xfffffec500001f60, 0xfffffeff000002f2,
  0xfffffe8500002360, 0xfffffedc00000352,
  0xfffffe62000023c0, 0xfffffed60000035b,
  0xffffff6300000fa0, 0xffffff8000000178,
  0xffffff23000013a0, 0xffffff5d000001d8,
  0xffffff0000001400, 0xffffff57000001e1,
  0xfffffede00001440, 0xffffff52000001e7,
  0xffffffc000000400, 0xffffffdd00000061,
  0xffffff9d00000460, 0xffffffd70000006a,
  0xffffff7b000004a0, 0xffffffd200000070,
  0xffffff5a000004c0, 0xffffffce00000073,
  0xfffffffa00000009, 0xfffffffb00000007,
  0xfffffff50000000f, 0xfffffff70000000b,
  0xfffffff100000012, 0xfffffff40000000d,
  0xfffffff100000012, 0xfffffff40000000d,
  0xfffffffb00000006, 0xfffffffc00000005,
  0xfffffff700000009, 0xfffffff900000007,
  0xfffffff700000009, 0xfffffff900000007,
  0xfffffff800000006, 0xfffffffa00000005,
  0xfffffffc00000003, 0xfffffffd00000003,
  0xfffffffc00000003, 0xfffffffd00000003,
  0xfffffffd00000000, 0xfffffffe00000001,
  0xfffffffefffffffa, 0xfffffffffffffffd,
  0x0000000000000000, 0x0000000000000001,
  0x00000000fffffffd, 0x00000000ffffffff,
  0x00000002fffffff7, 0x00000002fffffffb,
  0x00000022ffffff97, 0x00000022ffffffbb,
  0x00000000fffffffd, 0x00000000ffffffff,
  0x00000002fffffff7, 0x00000002fffffffb,
  0x00000022ffffff97, 0x00000022ffffffbb,
  0x0000009ffffffe20, 0x0000009ffffffec1,
  0x00000001fffffffa, 0x00000001fffffffd,
  0x00000021ffffff9a, 0x00000021ffffffbd,
  0x0000009efffffe23, 0x0000009efffffec3,
  0x0000011cfffffca9, 0x0000011cfffffdc7,
  0x0000001fffffffa0, 0x0000001fffffffc1,
  0x0000009cfffffe29, 0x0000009cfffffec7,
  0x0000011afffffcaf, 0x0000011afffffdcb,
  0x00000199fffffb32, 0x00000199fffffccd,
  0x0000007cfffffe89, 0x0000007cffffff07,
  0x000000fafffffd0f, 0x000000fafffffe0b,
  0x00000179fffffb92, 0x00000179fffffd0d,
  0x00008176fffe7b9b, 0x00008176fffefd13,
  0x0000007dfffffe86, 0x0000007dffffff05,
  0x000000fcfffffd09, 0x000000fcfffffe07,
  0x000080f9fffe7d12, 0x000080f9fffefe0d,
  0x000100f7fffcfd18, 0x000100f7fffdfe11,
  0x0000007efffffe83, 0x0000007effffff03,
  0x0000807bfffe7e8c, 0x0000807bfffeff09,
  0x00010079fffcfe92, 0x00010079fffdff0d,
  0x00018078fffb7e95, 0x00018078fffcff0f,
  0x00007ffcfffe8009, 0x00007ffcffff0007,
  0x0000fffafffd000f, 0x0000fffafffe000b,
  0x00017ff9fffb8012, 0x00017ff9fffd000d,
  0x3334b32c6661e679, 0x3334b32c999699a7,
  0x00007ffdfffe8006, 0x00007ffdffff0005,
  0x0000fffcfffd0009, 0x0000fffcfffe0007,
  0x3334332f66636670, 0x3334332f999799a1,
  0x8889888366636671, 0x88898883eeeceef7,
  0x00007ffefffe8003, 0x00007ffeffff0003,
  0x3333b3316664e66a, 0x3333b3319998999d,
  0x888908856664e66b, 0x88890885eeedeef3,
  0x08890880e664e674, 0x08890881eeedeef9,
  0x3333333266666667, 0x333333329999999b,
  0x8888888666666668, 0x88888886eeeeeef1,
  0x08888881e6666671, 0x08888882eeeeeef7,
  0x8888887e66666677, 0x8888887feeeeeefb,
  0x5555555400000001, 0x5555555455555557,
  0xd555554f8000000a, 0xd55555505555555d,
  0x5555554c00000010, 0x5555554d55555561,
  0xd555554980000013, 0xd555554b55555563,
  0x7ffffffb80000009, 0x7ffffffc00000007,
  0xfffffff80000000f, 0xfffffff90000000b,
  0x7ffffff580000012, 0x7ffffff70000000d,
  0xfffffff400000012, 0xfffffff60000000d,
  0x7ffffffc80000006, 0x7ffffffd00000005,
  0xfffffffa00000009, 0xfffffffb00000007,
  0x7ffffff880000009, 0x7ffffffa00000007,
  0xfffffff800000006, 0xfffffffa00000005,
  0x7ffffffd80000003, 0x7ffffffe00000003,
  0xfffffffc00000003, 0xfffffffd00000003,
  0x7ffffffb80000000, 0x7ffffffd00000001,
  0x2aaaaaa380000002, 0x2aaaaaa5aaaaaaad,
  0x7ffffffe80000000, 0x7fffffff00000001,
  0xfffffffdfffffffd, 0xfffffffeffffffff,
  0xaaaaaaa5ffffffff, 0xaaaaaaa7aaaaaaab,
  0x7777776f9999999b, 0x7777777211111113,
  0x7fffffff7ffffffd, 0x7fffffffffffffff,
  0x2aaaaaa77fffffff, 0x2aaaaaa8aaaaaaab,
  0xf77777711999999b, 0xf777777311111113,
  0xf776f76e199b199b, 0xf776f77111121113,
  0xaaaaaaa800000002, 0xaaaaaaa8aaaaaaad,
  0x777777719999999e, 0x7777777311111115,
  0x7776f76e999b199e, 0x7776f77111121115,
  0x7776776c999c999b, 0x7776777011131113,
  0xccccccc99999999c, 0xccccccca66666669,
  0xcccc4cc6999b199c, 0xcccc4cc866676669,
  0xcccbccc4999c9999, 0xcccbccc766686667,
  0xcccb4cc3999e1993, 0xcccb4cc766696663,
  0xffff7ffd00018000, 0xffff7ffe00010001,
  0xfffefffb0002fffd, 0xfffefffd0001ffff,
  0xfffe7ffa00047ff7, 0xfffe7ffd0002fffb,
  0xfffdfffa0005ffee, 0xfffdfffe0003fff5,
  0xffff7ffe00017ffd, 0xffff7fff0000ffff,
  0xfffefffd0002fff7, 0xfffeffff0001fffb,
  0xfffe7ffd00047fee, 0xfffe80000002fff5,
  0xfffe7f7a0004816e, 0xfffe7f7e000300f5,
  0xffff7fff00017ffa, 0xffff80000000fffd,
  0xfffeffff0002fff1, 0xffff00010001fff7,
  0xfffeff7c00030171, 0xfffeff7f000200f7,
  0xfffefefa000302ee, 0xfffefefe000201f5,
  0xffff800000017ff7, 0xffff80010000fffb,
  0xffff7f7d00018177, 0xffff7f7f000100fb,
  0xffff7efb000182f4, 0xffff7efe000101f9,
  0xffff7e7a0001846e, 0xffff7e7e000102f5,
  0xffffff7d00000180, 0xffffff7e00000101,
  0xfffffefb000002fd, 0xfffffefd000001ff,
  0xfffffe7a00000477, 0xfffffe7d000002fb,
  0xfffffdfa000005ee, 0xfffffdfe000003f5,
  0xffffff7e0000017d, 0xffffff7f000000ff,
  0xfffffefd000002f7, 0xfffffeff000001fb,
  0xfffffe7d0000046e, 0xfffffe80000002f5,
  0xfffffe5a000004ce, 0xfffffe5e00000335,
  0xffffff7f0000017a, 0xffffff80000000fd,
  0xfffffeff000002f1, 0xffffff01000001f7,
  0xfffffedc00000351, 0xfffffedf00000237,
  0xfffffed60000035a, 0xfffffeda0000023d,
  0xffffff8000000177, 0xffffff81000000fb,
  0xffffff5d000001d7, 0xffffff5f0000013b,
  0xffffff57000001e0, 0xffffff5a00000141,
  0xffffff52000001e6, 0xffffff5600000145,
  0xffffffdd00000060, 0xffffffde00000041,
  0xffffffd700000069, 0xffffffd900000047,
  0xffffffd20000006f, 0xffffffd50000004b,
  0xffffffce00000072, 0xffffffd20000004d,
  0xfffffffb00000006, 0xfffffffc00000004,
  0xfffffff70000000a, 0xfffffff900000006,
  0xfffffff40000000c, 0xfffffff700000007,
  0xfffffff40000000c, 0xfffffff700000007,
  0xfffffffc00000004, 0xfffffffd00000003,
  0xfffffff900000006, 0xfffffffb00000004,
  0xfffffff900000006, 0xfffffffb00000004,
  0xfffffffa00000004, 0xfffffffc00000003,
  0xfffffffd00000002, 0xfffffffe00000002,
  0xfffffffd00000002, 0xfffffffe00000002,
  0xfffffffe00000000, 0xffffffff00000001,
  0xfffffffffffffffc, 0x00000000ffffffff,
  0x0000000000000000, 0x0000000000000001,
  0x00000000fffffffe, 0x0000000100000000,
  0x00000002fffffffa, 0x00000002fffffffe,
  0x00000022ffffffba, 0x00000022ffffffde,
  0x00000000fffffffe, 0x0000000100000000,
  0x00000002fffffffa, 0x00000002fffffffe,
  0x00000022ffffffba, 0x00000022ffffffde,
  0x0000009ffffffec0, 0x0000009fffffff61,
  0x00000001fffffffc, 0x00000001ffffffff,
  0x00000021ffffffbc, 0x00000021ffffffdf,
  0x0000009efffffec2, 0x0000009effffff62,
  0x0000011cfffffdc6, 0x0000011cfffffee4,
  0x0000001fffffffc0, 0x0000001fffffffe1,
  0x0000009cfffffec6, 0x0000009cffffff64,
  0x0000011afffffdca, 0x0000011afffffee6,
  0x00000199fffffccc, 0x00000199fffffe67,
  0x0000007cffffff06, 0x0000007cffffff84,
  0x000000fafffffe0a, 0x000000faffffff06,
  0x00000179fffffd0c, 0x00000179fffffe87,
  0x00008176fffefd12, 0x00008176ffff7e8a,
  0x0000007dffffff04, 0x0000007dffffff83,
  0x000000fcfffffe06, 0x000000fcffffff04,
  0x000080f9fffefe0c, 0x000080f9ffff7f07,
  0x000100f7fffdfe10, 0x000100f7fffeff09,
  0x0000007effffff02, 0x0000007effffff82,
  0x0000807bfffeff08, 0x0000807bffff7f85,
  0x00010079fffdff0c, 0x00010079fffeff87,
  0x00018078fffcff0e, 0x00018078fffe7f88,
  0x00007ffcffff0006, 0x00007ffcffff8004,
  0x0000fffafffe000a, 0x0000fffaffff0006,
  0x00017ff9fffd000c, 0x00017ff9fffe8007,
  0x3334b32c999699a6, 0x3334b32ccccb4cd4,
  0x00007ffdffff0004, 0x00007ffdffff8003,
  0x0000fffcfffe0006, 0x0000fffcffff0004,
  0x3334332f999799a0, 0x3334332fcccbccd1,
  0x88898883eeeceef6, 0x888988847776777c,
  0x00007ffeffff0002, 0x00007ffeffff8002,
  0x3333b3319998999c, 0x3333b331cccc4ccf,
  0x88890885eeedeef2, 0x888908867776f77a,
  0x08890881eeedeef8, 0x08890882f776f77d,
  0x333333329999999a, 0x33333332ccccccce,
  0x88888886eeeeeef0, 0x8888888777777779,
  0x08888882eeeeeef6, 0x08888883f777777c,
  0x8888887feeeeeefa, 0x888888817777777e,
  0x5555555455555556, 0x55555554aaaaaaac,
  0xd55555505555555c, 0xd55555512aaaaaaf,
  0x5555554d55555560, 0x5555554eaaaaaab1,
  0xd555554b55555562, 0xd555554d2aaaaab2,
  0x7ffffffc00000006, 0x7ffffffc80000004,
  0xfffffff90000000a, 0xfffffffa00000006,
  0x7ffffff70000000c, 0x7ffffff880000007,
  0xfffffff60000000c, 0xfffffff800000007,
  0x7ffffffd00000004, 0x7ffffffd80000003,
  0xfffffffb00000006, 0xfffffffc00000004,
  0x7ffffffa00000006, 0x7ffffffb80000004,
  0xfffffffa00000004, 0xfffffffc00000003,
  0x7ffffffe00000002, 0x7ffffffe80000002,
  0xfffffffd00000002, 0xfffffffe00000002,
  0x7ffffffd00000000, 0x7ffffffe80000001,
  0x2aaaaaa5aaaaaaac, 0x2aaaaaa7d5555557,
  0x7fffffff00000000, 0x7fffffff80000001,
  0xfffffffefffffffe, 0x0000000000000000,
  0xaaaaaaa7aaaaaaaa, 0xaaaaaaa955555556,
  0x7777777211111112, 0x777777748888888a,
  0x7ffffffffffffffe, 0x8000000080000000,
  0x2aaaaaa8aaaaaaaa, 0x2aaaaaa9d5555556,
  0xf777777311111112, 0xf77777750888888a,
  0xf776f77111121112, 0xf776f7740889088a,
  0xaaaaaaa8aaaaaaac, 0xaaaaaaa955555557,
  0x7777777311111114, 0x777777748888888b,
  0x7776f77111121114, 0x7776f7738889088b,
  0x7776777011131112, 0x777677738889888a,
  0xccccccca66666668, 0xcccccccb33333335,
  0xcccc4cc866676668, 0xcccc4cca3333b335,
  0xcccbccc766686666, 0xcccbccca33343334,
  0xcccb4cc766696662, 0xcccb4ccb3334b332,
  0xffff7ffe00010000, 0xffff7fff00008001,
  0xfffefffd0001fffe, 0xfffeffff00010000,
  0xfffe7ffd0002fffa, 0xfffe800000017ffe,
  0xfffdfffe0003fff4, 0xfffe00020001fffb,
  0xffff7fff0000fffe, 0xffff800000008000,
  0xfffeffff0001fffa, 0xffff00010000fffe,
  0xfffe80000002fff4, 0xfffe800300017ffb,
  0xfffe7f7e000300f4, 0xfffe7f820001807b,
  0xffff80000000fffc, 0xffff800100007fff,
  0xffff00010001fff6, 0xffff00030000fffc,
  0xfffeff7f000200f6, 0xfffeff820001007c,
  0xfffefefe000201f4, 0xfffeff02000100fb,
  0xffff80010000fffa, 0xffff800200007ffe,
  0xffff7f7f000100fa, 0xffff7f810000807e,
  0xffff7efe000101f8, 0xffff7f01000080fd,
  0xffff7e7e000102f4, 0xffff7e820000817b,
  0xffffff7e00000100, 0xffffff7f00000081,
  0xfffffefd000001fe, 0xfffffeff00000100,
  0xfffffe7d000002fa, 0xfffffe800000017e,
  0xfffffdfe000003f4, 0xfffffe02000001fb,
  0xffffff7f000000fe, 0xffffff8000000080,
  0xfffffeff000001fa, 0xffffff01000000fe,
  0xfffffe80000002f4, 0xfffffe830000017b,
  0xfffffe5e00000334, 0xfffffe620000019b,
  0xffffff80000000fc, 0xffffff810000007f,
  0xffffff01000001f6, 0xffffff03000000fc,
  0xfffffedf00000236, 0xfffffee20000011c,
  0xfffffeda0000023c, 0xfffffede0000011f,
  0xffffff81000000fa, 0xffffff820000007e,
  0xffffff5f0000013a, 0xffffff610000009e,
  0xffffff5a00000140, 0xffffff5d000000a1,
  0xffffff5600000144, 0xffffff5a000000a3,
  0xffffffde00000040, 0xffffffdf00000021,
  0xffffffd900000046, 0xffffffdb00000024,
  0xffffffd50000004a, 0xffffffd800000026,
  0xffffffd20000004c, 0xffffffd600000027,
};
const unsigned kExpectedCount_NEON_umlal2_2D_4S_S = 3844;

#endif  // VIXL_SIM_UMLAL2_2D_4S_S_TRACE_A64_H_