diff options
Diffstat (limited to 'sim-shl-2d-2opimm-trace-arm64.h')
| -rw-r--r-- | sim-shl-2d-2opimm-trace-arm64.h | 2601 |
1 files changed, 2601 insertions, 0 deletions
diff --git a/sim-shl-2d-2opimm-trace-arm64.h b/sim-shl-2d-2opimm-trace-arm64.h new file mode 100644 index 0000000..94059f3 --- /dev/null +++ b/sim-shl-2d-2opimm-trace-arm64.h @@ -0,0 +1,2601 @@ +// Copyright 2015, VIXL authors +// 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_SHL_2D_2OPIMM_TRACE_AARCH64_H_ +#define VIXL_SIM_SHL_2D_2OPIMM_TRACE_AARCH64_H_ + +const uint64_t kExpected_NEON_shl_2D_2OPIMM[] = { + 0xffffffffffffffff, 0x0000000000000000, + 0xfffffffffffffffe, 0x0000000000000000, + 0xfffffffffffffffc, 0x0000000000000000, + 0xfffffffffffffff8, 0x0000000000000000, + 0xfffffffffffffff0, 0x0000000000000000, + 0xffffffffffffffe0, 0x0000000000000000, + 0xffffffffffffffc0, 0x0000000000000000, + 0xffffffffffffff80, 0x0000000000000000, + 0xffffffffffffff00, 0x0000000000000000, + 0xfffffffffffffe00, 0x0000000000000000, + 0xfffffffffffffc00, 0x0000000000000000, + 0xfffffffffffff800, 0x0000000000000000, + 0xfffffffffffff000, 0x0000000000000000, + 0xffffffffffffe000, 0x0000000000000000, + 0xffffffffffffc000, 0x0000000000000000, + 0xffffffffffff8000, 0x0000000000000000, + 0xffffffffffff0000, 0x0000000000000000, + 0xfffffffffffe0000, 0x0000000000000000, + 0xfffffffffffc0000, 0x0000000000000000, + 0xfffffffffff80000, 0x0000000000000000, + 0xfffffffffff00000, 0x0000000000000000, + 0xffffffffffe00000, 0x0000000000000000, + 0xffffffffffc00000, 0x0000000000000000, + 0xffffffffff800000, 0x0000000000000000, + 0xffffffffff000000, 0x0000000000000000, + 0xfffffffffe000000, 0x0000000000000000, + 0xfffffffffc000000, 0x0000000000000000, + 0xfffffffff8000000, 0x0000000000000000, + 0xfffffffff0000000, 0x0000000000000000, + 0xffffffffe0000000, 0x0000000000000000, + 0xffffffffc0000000, 0x0000000000000000, + 0xffffffff80000000, 0x0000000000000000, + 0xffffffff00000000, 0x0000000000000000, + 0xfffffffe00000000, 0x0000000000000000, + 0xfffffffc00000000, 0x0000000000000000, + 0xfffffff800000000, 0x0000000000000000, + 0xfffffff000000000, 0x0000000000000000, + 0xffffffe000000000, 0x0000000000000000, + 0xffffffc000000000, 0x0000000000000000, + 0xffffff8000000000, 0x0000000000000000, + 0xffffff0000000000, 0x0000000000000000, + 0xfffffe0000000000, 0x0000000000000000, + 0xfffffc0000000000, 0x0000000000000000, + 0xfffff80000000000, 0x0000000000000000, + 0xfffff00000000000, 0x0000000000000000, + 0xffffe00000000000, 0x0000000000000000, + 0xffffc00000000000, 0x0000000000000000, + 0xffff800000000000, 0x0000000000000000, + 0xffff000000000000, 0x0000000000000000, + 0xfffe000000000000, 0x0000000000000000, + 0xfffc000000000000, 0x0000000000000000, + 0xfff8000000000000, 0x0000000000000000, + 0xfff0000000000000, 0x0000000000000000, + 0xffe0000000000000, 0x0000000000000000, + 0xffc0000000000000, 0x0000000000000000, + 0xff80000000000000, 0x0000000000000000, + 0xff00000000000000, 0x0000000000000000, + 0xfe00000000000000, 0x0000000000000000, + 0xfc00000000000000, 0x0000000000000000, + 0xf800000000000000, 0x0000000000000000, + 0xf000000000000000, 0x0000000000000000, + 0xe000000000000000, 0x0000000000000000, + 0xc000000000000000, 0x0000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0x0000000000000000, 0x0000000000000001, + 0x0000000000000000, 0x0000000000000002, + 0x0000000000000000, 0x0000000000000004, + 0x0000000000000000, 0x0000000000000008, + 0x0000000000000000, 0x0000000000000010, + 0x0000000000000000, 0x0000000000000020, + 0x0000000000000000, 0x0000000000000040, + 0x0000000000000000, 0x0000000000000080, + 0x0000000000000000, 0x0000000000000100, + 0x0000000000000000, 0x0000000000000200, + 0x0000000000000000, 0x0000000000000400, + 0x0000000000000000, 0x0000000000000800, + 0x0000000000000000, 0x0000000000001000, + 0x0000000000000000, 0x0000000000002000, + 0x0000000000000000, 0x0000000000004000, + 0x0000000000000000, 0x0000000000008000, + 0x0000000000000000, 0x0000000000010000, + 0x0000000000000000, 0x0000000000020000, + 0x0000000000000000, 0x0000000000040000, + 0x0000000000000000, 0x0000000000080000, + 0x0000000000000000, 0x0000000000100000, + 0x0000000000000000, 0x0000000000200000, + 0x0000000000000000, 0x0000000000400000, + 0x0000000000000000, 0x0000000000800000, + 0x0000000000000000, 0x0000000001000000, + 0x0000000000000000, 0x0000000002000000, + 0x0000000000000000, 0x0000000004000000, + 0x0000000000000000, 0x0000000008000000, + 0x0000000000000000, 0x0000000010000000, + 0x0000000000000000, 0x0000000020000000, + 0x0000000000000000, 0x0000000040000000, + 0x0000000000000000, 0x0000000080000000, + 0x0000000000000000, 0x0000000100000000, + 0x0000000000000000, 0x0000000200000000, + 0x0000000000000000, 0x0000000400000000, + 0x0000000000000000, 0x0000000800000000, + 0x0000000000000000, 0x0000001000000000, + 0x0000000000000000, 0x0000002000000000, + 0x0000000000000000, 0x0000004000000000, + 0x0000000000000000, 0x0000008000000000, + 0x0000000000000000, 0x0000010000000000, + 0x0000000000000000, 0x0000020000000000, + 0x0000000000000000, 0x0000040000000000, + 0x0000000000000000, 0x0000080000000000, + 0x0000000000000000, 0x0000100000000000, + 0x0000000000000000, 0x0000200000000000, + 0x0000000000000000, 0x0000400000000000, + 0x0000000000000000, 0x0000800000000000, + 0x0000000000000000, 0x0001000000000000, + 0x0000000000000000, 0x0002000000000000, + 0x0000000000000000, 0x0004000000000000, + 0x0000000000000000, 0x0008000000000000, + 0x0000000000000000, 0x0010000000000000, + 0x0000000000000000, 0x0020000000000000, + 0x0000000000000000, 0x0040000000000000, + 0x0000000000000000, 0x0080000000000000, + 0x0000000000000000, 0x0100000000000000, + 0x0000000000000000, 0x0200000000000000, + 0x0000000000000000, 0x0400000000000000, + 0x0000000000000000, 0x0800000000000000, + 0x0000000000000000, 0x1000000000000000, + 0x0000000000000000, 0x2000000000000000, + 0x0000000000000000, 0x4000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0x0000000000000001, 0x0000000000000002, + 0x0000000000000002, 0x0000000000000004, + 0x0000000000000004, 0x0000000000000008, + 0x0000000000000008, 0x0000000000000010, + 0x0000000000000010, 0x0000000000000020, + 0x0000000000000020, 0x0000000000000040, + 0x0000000000000040, 0x0000000000000080, + 0x0000000000000080, 0x0000000000000100, + 0x0000000000000100, 0x0000000000000200, + 0x0000000000000200, 0x0000000000000400, + 0x0000000000000400, 0x0000000000000800, + 0x0000000000000800, 0x0000000000001000, + 0x0000000000001000, 0x0000000000002000, + 0x0000000000002000, 0x0000000000004000, + 0x0000000000004000, 0x0000000000008000, + 0x0000000000008000, 0x0000000000010000, + 0x0000000000010000, 0x0000000000020000, + 0x0000000000020000, 0x0000000000040000, + 0x0000000000040000, 0x0000000000080000, + 0x0000000000080000, 0x0000000000100000, + 0x0000000000100000, 0x0000000000200000, + 0x0000000000200000, 0x0000000000400000, + 0x0000000000400000, 0x0000000000800000, + 0x0000000000800000, 0x0000000001000000, + 0x0000000001000000, 0x0000000002000000, + 0x0000000002000000, 0x0000000004000000, + 0x0000000004000000, 0x0000000008000000, + 0x0000000008000000, 0x0000000010000000, + 0x0000000010000000, 0x0000000020000000, + 0x0000000020000000, 0x0000000040000000, + 0x0000000040000000, 0x0000000080000000, + 0x0000000080000000, 0x0000000100000000, + 0x0000000100000000, 0x0000000200000000, + 0x0000000200000000, 0x0000000400000000, + 0x0000000400000000, 0x0000000800000000, + 0x0000000800000000, 0x0000001000000000, + 0x0000001000000000, 0x0000002000000000, + 0x0000002000000000, 0x0000004000000000, + 0x0000004000000000, 0x0000008000000000, + 0x0000008000000000, 0x0000010000000000, + 0x0000010000000000, 0x0000020000000000, + 0x0000020000000000, 0x0000040000000000, + 0x0000040000000000, 0x0000080000000000, + 0x0000080000000000, 0x0000100000000000, + 0x0000100000000000, 0x0000200000000000, + 0x0000200000000000, 0x0000400000000000, + 0x0000400000000000, 0x0000800000000000, + 0x0000800000000000, 0x0001000000000000, + 0x0001000000000000, 0x0002000000000000, + 0x0002000000000000, 0x0004000000000000, + 0x0004000000000000, 0x0008000000000000, + 0x0008000000000000, 0x0010000000000000, + 0x0010000000000000, 0x0020000000000000, + 0x0020000000000000, 0x0040000000000000, + 0x0040000000000000, 0x0080000000000000, + 0x0080000000000000, 0x0100000000000000, + 0x0100000000000000, 0x0200000000000000, + 0x0200000000000000, 0x0400000000000000, + 0x0400000000000000, 0x0800000000000000, + 0x0800000000000000, 0x1000000000000000, + 0x1000000000000000, 0x2000000000000000, + 0x2000000000000000, 0x4000000000000000, + 0x4000000000000000, 0x8000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0x0000000000000002, 0x0000000000000040, + 0x0000000000000004, 0x0000000000000080, + 0x0000000000000008, 0x0000000000000100, + 0x0000000000000010, 0x0000000000000200, + 0x0000000000000020, 0x0000000000000400, + 0x0000000000000040, 0x0000000000000800, + 0x0000000000000080, 0x0000000000001000, + 0x0000000000000100, 0x0000000000002000, + 0x0000000000000200, 0x0000000000004000, + 0x0000000000000400, 0x0000000000008000, + 0x0000000000000800, 0x0000000000010000, + 0x0000000000001000, 0x0000000000020000, + 0x0000000000002000, 0x0000000000040000, + 0x0000000000004000, 0x0000000000080000, + 0x0000000000008000, 0x0000000000100000, + 0x0000000000010000, 0x0000000000200000, + 0x0000000000020000, 0x0000000000400000, + 0x0000000000040000, 0x0000000000800000, + 0x0000000000080000, 0x0000000001000000, + 0x0000000000100000, 0x0000000002000000, + 0x0000000000200000, 0x0000000004000000, + 0x0000000000400000, 0x0000000008000000, + 0x0000000000800000, 0x0000000010000000, + 0x0000000001000000, 0x0000000020000000, + 0x0000000002000000, 0x0000000040000000, + 0x0000000004000000, 0x0000000080000000, + 0x0000000008000000, 0x0000000100000000, + 0x0000000010000000, 0x0000000200000000, + 0x0000000020000000, 0x0000000400000000, + 0x0000000040000000, 0x0000000800000000, + 0x0000000080000000, 0x0000001000000000, + 0x0000000100000000, 0x0000002000000000, + 0x0000000200000000, 0x0000004000000000, + 0x0000000400000000, 0x0000008000000000, + 0x0000000800000000, 0x0000010000000000, + 0x0000001000000000, 0x0000020000000000, + 0x0000002000000000, 0x0000040000000000, + 0x0000004000000000, 0x0000080000000000, + 0x0000008000000000, 0x0000100000000000, + 0x0000010000000000, 0x0000200000000000, + 0x0000020000000000, 0x0000400000000000, + 0x0000040000000000, 0x0000800000000000, + 0x0000080000000000, 0x0001000000000000, + 0x0000100000000000, 0x0002000000000000, + 0x0000200000000000, 0x0004000000000000, + 0x0000400000000000, 0x0008000000000000, + 0x0000800000000000, 0x0010000000000000, + 0x0001000000000000, 0x0020000000000000, + 0x0002000000000000, 0x0040000000000000, + 0x0004000000000000, 0x0080000000000000, + 0x0008000000000000, 0x0100000000000000, + 0x0010000000000000, 0x0200000000000000, + 0x0020000000000000, 0x0400000000000000, + 0x0040000000000000, 0x0800000000000000, + 0x0080000000000000, 0x1000000000000000, + 0x0100000000000000, 0x2000000000000000, + 0x0200000000000000, 0x4000000000000000, + 0x0400000000000000, 0x8000000000000000, + 0x0800000000000000, 0x0000000000000000, + 0x1000000000000000, 0x0000000000000000, + 0x2000000000000000, 0x0000000000000000, + 0x4000000000000000, 0x0000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0x0000000000000000, 0x0000000000000000, + 0x0000000000000040, 0x000000000000007d, + 0x0000000000000080, 0x00000000000000fa, + 0x0000000000000100, 0x00000000000001f4, + 0x0000000000000200, 0x00000000000003e8, + 0x0000000000000400, 0x00000000000007d0, + 0x0000000000000800, 0x0000000000000fa0, + 0x0000000000001000, 0x0000000000001f40, + 0x0000000000002000, 0x0000000000003e80, + 0x0000000000004000, 0x0000000000007d00, + 0x0000000000008000, 0x000000000000fa00, + 0x0000000000010000, 0x000000000001f400, + 0x0000000000020000, 0x000000000003e800, + 0x0000000000040000, 0x000000000007d000, + 0x0000000000080000, 0x00000000000fa000, + 0x0000000000100000, 0x00000000001f4000, + 0x0000000000200000, 0x00000000003e8000, + 0x0000000000400000, 0x00000000007d0000, + 0x0000000000800000, 0x0000000000fa0000, + 0x0000000001000000, 0x0000000001f40000, + 0x0000000002000000, 0x0000000003e80000, + 0x0000000004000000, 0x0000000007d00000, + 0x0000000008000000, 0x000000000fa00000, + 0x0000000010000000, 0x000000001f400000, + 0x0000000020000000, 0x000000003e800000, + 0x0000000040000000, 0x000000007d000000, + 0x0000000080000000, 0x00000000fa000000, + 0x0000000100000000, 0x00000001f4000000, + 0x0000000200000000, 0x00000003e8000000, + 0x0000000400000000, 0x00000007d0000000, + 0x0000000800000000, 0x0000000fa0000000, + 0x0000001000000000, 0x0000001f40000000, + 0x0000002000000000, 0x0000003e80000000, + 0x0000004000000000, 0x0000007d00000000, + 0x0000008000000000, 0x000000fa00000000, + 0x0000010000000000, 0x000001f400000000, + 0x0000020000000000, 0x000003e800000000, + 0x0000040000000000, 0x000007d000000000, + 0x0000080000000000, 0x00000fa000000000, + 0x0000100000000000, 0x00001f4000000000, + 0x0000200000000000, 0x00003e8000000000, + 0x0000400000000000, 0x00007d0000000000, + 0x0000800000000000, 0x0000fa0000000000, + 0x0001000000000000, 0x0001f40000000000, + 0x0002000000000000, 0x0003e80000000000, + 0x0004000000000000, 0x0007d00000000000, + 0x0008000000000000, 0x000fa00000000000, + 0x0010000000000000, 0x001f400000000000, + 0x0020000000000000, 0x003e800000000000, + 0x0040000000000000, 0x007d000000000000, + 0x0080000000000000, 0x00fa000000000000, + 0x0100000000000000, 0x01f4000000000000, + 0x0200000000000000, 0x03e8000000000000, + 0x0400000000000000, 0x07d0000000000000, + 0x0800000000000000, 0x0fa0000000000000, + 0x1000000000000000, 0x1f40000000000000, + 0x2000000000000000, 0x3e80000000000000, + 0x4000000000000000, 0x7d00000000000000, + 0x8000000000000000, 0xfa00000000000000, + 0x0000000000000000, 0xf400000000000000, + 0x0000000000000000, 0xe800000000000000, + 0x0000000000000000, 0xd000000000000000, + 0x0000000000000000, 0xa000000000000000, + 0x0000000000000000, 0x4000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0x000000000000007d, 0x000000000000007e, + 0x00000000000000fa, 0x00000000000000fc, + 0x00000000000001f4, 0x00000000000001f8, + 0x00000000000003e8, 0x00000000000003f0, + 0x00000000000007d0, 0x00000000000007e0, + 0x0000000000000fa0, 0x0000000000000fc0, + 0x0000000000001f40, 0x0000000000001f80, + 0x0000000000003e80, 0x0000000000003f00, + 0x0000000000007d00, 0x0000000000007e00, + 0x000000000000fa00, 0x000000000000fc00, + 0x000000000001f400, 0x000000000001f800, + 0x000000000003e800, 0x000000000003f000, + 0x000000000007d000, 0x000000000007e000, + 0x00000000000fa000, 0x00000000000fc000, + 0x00000000001f4000, 0x00000000001f8000, + 0x00000000003e8000, 0x00000000003f0000, + 0x00000000007d0000, 0x00000000007e0000, + 0x0000000000fa0000, 0x0000000000fc0000, + 0x0000000001f40000, 0x0000000001f80000, + 0x0000000003e80000, 0x0000000003f00000, + 0x0000000007d00000, 0x0000000007e00000, + 0x000000000fa00000, 0x000000000fc00000, + 0x000000001f400000, 0x000000001f800000, + 0x000000003e800000, 0x000000003f000000, + 0x000000007d000000, 0x000000007e000000, + 0x00000000fa000000, 0x00000000fc000000, + 0x00000001f4000000, 0x00000001f8000000, + 0x00000003e8000000, 0x00000003f0000000, + 0x00000007d0000000, 0x00000007e0000000, + 0x0000000fa0000000, 0x0000000fc0000000, + 0x0000001f40000000, 0x0000001f80000000, + 0x0000003e80000000, 0x0000003f00000000, + 0x0000007d00000000, 0x0000007e00000000, + 0x000000fa00000000, 0x000000fc00000000, + 0x000001f400000000, 0x000001f800000000, + 0x000003e800000000, 0x000003f000000000, + 0x000007d000000000, 0x000007e000000000, + 0x00000fa000000000, 0x00000fc000000000, + 0x00001f4000000000, 0x00001f8000000000, + 0x00003e8000000000, 0x00003f0000000000, + 0x00007d0000000000, 0x00007e0000000000, + 0x0000fa0000000000, 0x0000fc0000000000, + 0x0001f40000000000, 0x0001f80000000000, + 0x0003e80000000000, 0x0003f00000000000, + 0x0007d00000000000, 0x0007e00000000000, + 0x000fa00000000000, 0x000fc00000000000, + 0x001f400000000000, 0x001f800000000000, + 0x003e800000000000, 0x003f000000000000, + 0x007d000000000000, 0x007e000000000000, + 0x00fa000000000000, 0x00fc000000000000, + 0x01f4000000000000, 0x01f8000000000000, + 0x03e8000000000000, 0x03f0000000000000, + 0x07d0000000000000, 0x07e0000000000000, + 0x0fa0000000000000, 0x0fc0000000000000, + 0x1f40000000000000, 0x1f80000000000000, + 0x3e80000000000000, 0x3f00000000000000, + 0x7d00000000000000, 0x7e00000000000000, + 0xfa00000000000000, 0xfc00000000000000, + 0xf400000000000000, 0xf800000000000000, + 0xe800000000000000, 0xf000000000000000, + 0xd000000000000000, 0xe000000000000000, + 0xa000000000000000, 0xc000000000000000, + 0x4000000000000000, 0x8000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0x000000000000007e, 0x000000000000007f, + 0x00000000000000fc, 0x00000000000000fe, + 0x00000000000001f8, 0x00000000000001fc, + 0x00000000000003f0, 0x00000000000003f8, + 0x00000000000007e0, 0x00000000000007f0, + 0x0000000000000fc0, 0x0000000000000fe0, + 0x0000000000001f80, 0x0000000000001fc0, + 0x0000000000003f00, 0x0000000000003f80, + 0x0000000000007e00, 0x0000000000007f00, + 0x000000000000fc00, 0x000000000000fe00, + 0x000000000001f800, 0x000000000001fc00, + 0x000000000003f000, 0x000000000003f800, + 0x000000000007e000, 0x000000000007f000, + 0x00000000000fc000, 0x00000000000fe000, + 0x00000000001f8000, 0x00000000001fc000, + 0x00000000003f0000, 0x00000000003f8000, + 0x00000000007e0000, 0x00000000007f0000, + 0x0000000000fc0000, 0x0000000000fe0000, + 0x0000000001f80000, 0x0000000001fc0000, + 0x0000000003f00000, 0x0000000003f80000, + 0x0000000007e00000, 0x0000000007f00000, + 0x000000000fc00000, 0x000000000fe00000, + 0x000000001f800000, 0x000000001fc00000, + 0x000000003f000000, 0x000000003f800000, + 0x000000007e000000, 0x000000007f000000, + 0x00000000fc000000, 0x00000000fe000000, + 0x00000001f8000000, 0x00000001fc000000, + 0x00000003f0000000, 0x00000003f8000000, + 0x00000007e0000000, 0x00000007f0000000, + 0x0000000fc0000000, 0x0000000fe0000000, + 0x0000001f80000000, 0x0000001fc0000000, + 0x0000003f00000000, 0x0000003f80000000, + 0x0000007e00000000, 0x0000007f00000000, + 0x000000fc00000000, 0x000000fe00000000, + 0x000001f800000000, 0x000001fc00000000, + 0x000003f000000000, 0x000003f800000000, + 0x000007e000000000, 0x000007f000000000, + 0x00000fc000000000, 0x00000fe000000000, + 0x00001f8000000000, 0x00001fc000000000, + 0x00003f0000000000, 0x00003f8000000000, + 0x00007e0000000000, 0x00007f0000000000, + 0x0000fc0000000000, 0x0000fe0000000000, + 0x0001f80000000000, 0x0001fc0000000000, + 0x0003f00000000000, 0x0003f80000000000, + 0x0007e00000000000, 0x0007f00000000000, + 0x000fc00000000000, 0x000fe00000000000, + 0x001f800000000000, 0x001fc00000000000, + 0x003f000000000000, 0x003f800000000000, + 0x007e000000000000, 0x007f000000000000, + 0x00fc000000000000, 0x00fe000000000000, + 0x01f8000000000000, 0x01fc000000000000, + 0x03f0000000000000, 0x03f8000000000000, + 0x07e0000000000000, 0x07f0000000000000, + 0x0fc0000000000000, 0x0fe0000000000000, + 0x1f80000000000000, 0x1fc0000000000000, + 0x3f00000000000000, 0x3f80000000000000, + 0x7e00000000000000, 0x7f00000000000000, + 0xfc00000000000000, 0xfe00000000000000, + 0xf800000000000000, 0xfc00000000000000, + 0xf000000000000000, 0xf800000000000000, + 0xe000000000000000, 0xf000000000000000, + 0xc000000000000000, 0xe000000000000000, + 0x8000000000000000, 0xc000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0x000000000000007f, 0x0000000000007ffd, + 0x00000000000000fe, 0x000000000000fffa, + 0x00000000000001fc, 0x000000000001fff4, + 0x00000000000003f8, 0x000000000003ffe8, + 0x00000000000007f0, 0x000000000007ffd0, + 0x0000000000000fe0, 0x00000000000fffa0, + 0x0000000000001fc0, 0x00000000001fff40, + 0x0000000000003f80, 0x00000000003ffe80, + 0x0000000000007f00, 0x00000000007ffd00, + 0x000000000000fe00, 0x0000000000fffa00, + 0x000000000001fc00, 0x0000000001fff400, + 0x000000000003f800, 0x0000000003ffe800, + 0x000000000007f000, 0x0000000007ffd000, + 0x00000000000fe000, 0x000000000fffa000, + 0x00000000001fc000, 0x000000001fff4000, + 0x00000000003f8000, 0x000000003ffe8000, + 0x00000000007f0000, 0x000000007ffd0000, + 0x0000000000fe0000, 0x00000000fffa0000, + 0x0000000001fc0000, 0x00000001fff40000, + 0x0000000003f80000, 0x00000003ffe80000, + 0x0000000007f00000, 0x00000007ffd00000, + 0x000000000fe00000, 0x0000000fffa00000, + 0x000000001fc00000, 0x0000001fff400000, + 0x000000003f800000, 0x0000003ffe800000, + 0x000000007f000000, 0x0000007ffd000000, + 0x00000000fe000000, 0x000000fffa000000, + 0x00000001fc000000, 0x000001fff4000000, + 0x00000003f8000000, 0x000003ffe8000000, + 0x00000007f0000000, 0x000007ffd0000000, + 0x0000000fe0000000, 0x00000fffa0000000, + 0x0000001fc0000000, 0x00001fff40000000, + 0x0000003f80000000, 0x00003ffe80000000, + 0x0000007f00000000, 0x00007ffd00000000, + 0x000000fe00000000, 0x0000fffa00000000, + 0x000001fc00000000, 0x0001fff400000000, + 0x000003f800000000, 0x0003ffe800000000, + 0x000007f000000000, 0x0007ffd000000000, + 0x00000fe000000000, 0x000fffa000000000, + 0x00001fc000000000, 0x001fff4000000000, + 0x00003f8000000000, 0x003ffe8000000000, + 0x00007f0000000000, 0x007ffd0000000000, + 0x0000fe0000000000, 0x00fffa0000000000, + 0x0001fc0000000000, 0x01fff40000000000, + 0x0003f80000000000, 0x03ffe80000000000, + 0x0007f00000000000, 0x07ffd00000000000, + 0x000fe00000000000, 0x0fffa00000000000, + 0x001fc00000000000, 0x1fff400000000000, + 0x003f800000000000, 0x3ffe800000000000, + 0x007f000000000000, 0x7ffd000000000000, + 0x00fe000000000000, 0xfffa000000000000, + 0x01fc000000000000, 0xfff4000000000000, + 0x03f8000000000000, 0xffe8000000000000, + 0x07f0000000000000, 0xffd0000000000000, + 0x0fe0000000000000, 0xffa0000000000000, + 0x1fc0000000000000, 0xff40000000000000, + 0x3f80000000000000, 0xfe80000000000000, + 0x7f00000000000000, 0xfd00000000000000, + 0xfe00000000000000, 0xfa00000000000000, + 0xfc00000000000000, 0xf400000000000000, + 0xf800000000000000, 0xe800000000000000, + 0xf000000000000000, 0xd000000000000000, + 0xe000000000000000, 0xa000000000000000, + 0xc000000000000000, 0x4000000000000000, + 0x8000000000000000, 0x8000000000000000, + 0x0000000000007ffd, 0x0000000000007ffe, + 0x000000000000fffa, 0x000000000000fffc, + 0x000000000001fff4, 0x000000000001fff8, + 0x000000000003ffe8, 0x000000000003fff0, + 0x000000000007ffd0, 0x000000000007ffe0, + 0x00000000000fffa0, 0x00000000000fffc0, + 0x00000000001fff40, 0x00000000001fff80, + 0x00000000003ffe80, 0x00000000003fff00, + 0x00000000007ffd00, 0x00000000007ffe00, + 0x0000000000fffa00, 0x0000000000fffc00, + 0x0000000001fff400, 0x0000000001fff800, + 0x0000000003ffe800, 0x0000000003fff000, + 0x0000000007ffd000, 0x0000000007ffe000, + 0x000000000fffa000, 0x000000000fffc000, + 0x000000001fff4000, 0x000000001fff8000, + 0x000000003ffe8000, 0x000000003fff0000, + 0x000000007ffd0000, 0x000000007ffe0000, + 0x00000000fffa0000, 0x00000000fffc0000, + 0x00000001fff40000, 0x00000001fff80000, + 0x00000003ffe80000, 0x00000003fff00000, + 0x00000007ffd00000, 0x00000007ffe00000, + 0x0000000fffa00000, 0x0000000fffc00000, + 0x0000001fff400000, 0x0000001fff800000, + 0x0000003ffe800000, 0x0000003fff000000, + 0x0000007ffd000000, 0x0000007ffe000000, + 0x000000fffa000000, 0x000000fffc000000, + 0x000001fff4000000, 0x000001fff8000000, + 0x000003ffe8000000, 0x000003fff0000000, + 0x000007ffd0000000, 0x000007ffe0000000, + 0x00000fffa0000000, 0x00000fffc0000000, + 0x00001fff40000000, 0x00001fff80000000, + 0x00003ffe80000000, 0x00003fff00000000, + 0x00007ffd00000000, 0x00007ffe00000000, + 0x0000fffa00000000, 0x0000fffc00000000, + 0x0001fff400000000, 0x0001fff800000000, + 0x0003ffe800000000, 0x0003fff000000000, + 0x0007ffd000000000, 0x0007ffe000000000, + 0x000fffa000000000, 0x000fffc000000000, + 0x001fff4000000000, 0x001fff8000000000, + 0x003ffe8000000000, 0x003fff0000000000, + 0x007ffd0000000000, 0x007ffe0000000000, + 0x00fffa0000000000, 0x00fffc0000000000, + 0x01fff40000000000, 0x01fff80000000000, + 0x03ffe80000000000, 0x03fff00000000000, + 0x07ffd00000000000, 0x07ffe00000000000, + 0x0fffa00000000000, 0x0fffc00000000000, + 0x1fff400000000000, 0x1fff800000000000, + 0x3ffe800000000000, 0x3fff000000000000, + 0x7ffd000000000000, 0x7ffe000000000000, + 0xfffa000000000000, 0xfffc000000000000, + 0xfff4000000000000, 0xfff8000000000000, + 0xffe8000000000000, 0xfff0000000000000, + 0xffd0000000000000, 0xffe0000000000000, + 0xffa0000000000000, 0xffc0000000000000, + 0xff40000000000000, 0xff80000000000000, + 0xfe80000000000000, 0xff00000000000000, + 0xfd00000000000000, 0xfe00000000000000, + 0xfa00000000000000, 0xfc00000000000000, + 0xf400000000000000, 0xf800000000000000, + 0xe800000000000000, 0xf000000000000000, + 0xd000000000000000, 0xe000000000000000, + 0xa000000000000000, 0xc000000000000000, + 0x4000000000000000, 0x8000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0x0000000000007ffe, 0x0000000000007fff, + 0x000000000000fffc, 0x000000000000fffe, + 0x000000000001fff8, 0x000000000001fffc, + 0x000000000003fff0, 0x000000000003fff8, + 0x000000000007ffe0, 0x000000000007fff0, + 0x00000000000fffc0, 0x00000000000fffe0, + 0x00000000001fff80, 0x00000000001fffc0, + 0x00000000003fff00, 0x00000000003fff80, + 0x00000000007ffe00, 0x00000000007fff00, + 0x0000000000fffc00, 0x0000000000fffe00, + 0x0000000001fff800, 0x0000000001fffc00, + 0x0000000003fff000, 0x0000000003fff800, + 0x0000000007ffe000, 0x0000000007fff000, + 0x000000000fffc000, 0x000000000fffe000, + 0x000000001fff8000, 0x000000001fffc000, + 0x000000003fff0000, 0x000000003fff8000, + 0x000000007ffe0000, 0x000000007fff0000, + 0x00000000fffc0000, 0x00000000fffe0000, + 0x00000001fff80000, 0x00000001fffc0000, + 0x00000003fff00000, 0x00000003fff80000, + 0x00000007ffe00000, 0x00000007fff00000, + 0x0000000fffc00000, 0x0000000fffe00000, + 0x0000001fff800000, 0x0000001fffc00000, + 0x0000003fff000000, 0x0000003fff800000, + 0x0000007ffe000000, 0x0000007fff000000, + 0x000000fffc000000, 0x000000fffe000000, + 0x000001fff8000000, 0x000001fffc000000, + 0x000003fff0000000, 0x000003fff8000000, + 0x000007ffe0000000, 0x000007fff0000000, + 0x00000fffc0000000, 0x00000fffe0000000, + 0x00001fff80000000, 0x00001fffc0000000, + 0x00003fff00000000, 0x00003fff80000000, + 0x00007ffe00000000, 0x00007fff00000000, + 0x0000fffc00000000, 0x0000fffe00000000, + 0x0001fff800000000, 0x0001fffc00000000, + 0x0003fff000000000, 0x0003fff800000000, + 0x0007ffe000000000, 0x0007fff000000000, + 0x000fffc000000000, 0x000fffe000000000, + 0x001fff8000000000, 0x001fffc000000000, + 0x003fff0000000000, 0x003fff8000000000, + 0x007ffe0000000000, 0x007fff0000000000, + 0x00fffc0000000000, 0x00fffe0000000000, + 0x01fff80000000000, 0x01fffc0000000000, + 0x03fff00000000000, 0x03fff80000000000, + 0x07ffe00000000000, 0x07fff00000000000, + 0x0fffc00000000000, 0x0fffe00000000000, + 0x1fff800000000000, 0x1fffc00000000000, + 0x3fff000000000000, 0x3fff800000000000, + 0x7ffe000000000000, 0x7fff000000000000, + 0xfffc000000000000, 0xfffe000000000000, + 0xfff8000000000000, 0xfffc000000000000, + 0xfff0000000000000, 0xfff8000000000000, + 0xffe0000000000000, 0xfff0000000000000, + 0xffc0000000000000, 0xffe0000000000000, + 0xff80000000000000, 0xffc0000000000000, + 0xff00000000000000, 0xff80000000000000, + 0xfe00000000000000, 0xff00000000000000, + 0xfc00000000000000, 0xfe00000000000000, + 0xf800000000000000, 0xfc00000000000000, + 0xf000000000000000, 0xf800000000000000, + 0xe000000000000000, 0xf000000000000000, + 0xc000000000000000, 0xe000000000000000, + 0x8000000000000000, 0xc000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0x0000000000007fff, 0x000000007ffffffd, + 0x000000000000fffe, 0x00000000fffffffa, + 0x000000000001fffc, 0x00000001fffffff4, + 0x000000000003fff8, 0x00000003ffffffe8, + 0x000000000007fff0, 0x00000007ffffffd0, + 0x00000000000fffe0, 0x0000000fffffffa0, + 0x00000000001fffc0, 0x0000001fffffff40, + 0x00000000003fff80, 0x0000003ffffffe80, + 0x00000000007fff00, 0x0000007ffffffd00, + 0x0000000000fffe00, 0x000000fffffffa00, + 0x0000000001fffc00, 0x000001fffffff400, + 0x0000000003fff800, 0x000003ffffffe800, + 0x0000000007fff000, 0x000007ffffffd000, + 0x000000000fffe000, 0x00000fffffffa000, + 0x000000001fffc000, 0x00001fffffff4000, + 0x000000003fff8000, 0x00003ffffffe8000, + 0x000000007fff0000, 0x00007ffffffd0000, + 0x00000000fffe0000, 0x0000fffffffa0000, + 0x00000001fffc0000, 0x0001fffffff40000, + 0x00000003fff80000, 0x0003ffffffe80000, + 0x00000007fff00000, 0x0007ffffffd00000, + 0x0000000fffe00000, 0x000fffffffa00000, + 0x0000001fffc00000, 0x001fffffff400000, + 0x0000003fff800000, 0x003ffffffe800000, + 0x0000007fff000000, 0x007ffffffd000000, + 0x000000fffe000000, 0x00fffffffa000000, + 0x000001fffc000000, 0x01fffffff4000000, + 0x000003fff8000000, 0x03ffffffe8000000, + 0x000007fff0000000, 0x07ffffffd0000000, + 0x00000fffe0000000, 0x0fffffffa0000000, + 0x00001fffc0000000, 0x1fffffff40000000, + 0x00003fff80000000, 0x3ffffffe80000000, + 0x00007fff00000000, 0x7ffffffd00000000, + 0x0000fffe00000000, 0xfffffffa00000000, + 0x0001fffc00000000, 0xfffffff400000000, + 0x0003fff800000000, 0xffffffe800000000, + 0x0007fff000000000, 0xffffffd000000000, + 0x000fffe000000000, 0xffffffa000000000, + 0x001fffc000000000, 0xffffff4000000000, + 0x003fff8000000000, 0xfffffe8000000000, + 0x007fff0000000000, 0xfffffd0000000000, + 0x00fffe0000000000, 0xfffffa0000000000, + 0x01fffc0000000000, 0xfffff40000000000, + 0x03fff80000000000, 0xffffe80000000000, + 0x07fff00000000000, 0xffffd00000000000, + 0x0fffe00000000000, 0xffffa00000000000, + 0x1fffc00000000000, 0xffff400000000000, + 0x3fff800000000000, 0xfffe800000000000, + 0x7fff000000000000, 0xfffd000000000000, + 0xfffe000000000000, 0xfffa000000000000, + 0xfffc000000000000, 0xfff4000000000000, + 0xfff8000000000000, 0xffe8000000000000, + 0xfff0000000000000, 0xffd0000000000000, + 0xffe0000000000000, 0xffa0000000000000, + 0xffc0000000000000, 0xff40000000000000, + 0xff80000000000000, 0xfe80000000000000, + 0xff00000000000000, 0xfd00000000000000, + 0xfe00000000000000, 0xfa00000000000000, + 0xfc00000000000000, 0xf400000000000000, + 0xf800000000000000, 0xe800000000000000, + 0xf000000000000000, 0xd000000000000000, + 0xe000000000000000, 0xa000000000000000, + 0xc000000000000000, 0x4000000000000000, + 0x8000000000000000, 0x8000000000000000, + 0x000000007ffffffd, 0x000000007ffffffe, + 0x00000000fffffffa, 0x00000000fffffffc, + 0x00000001fffffff4, 0x00000001fffffff8, + 0x00000003ffffffe8, 0x00000003fffffff0, + 0x00000007ffffffd0, 0x00000007ffffffe0, + 0x0000000fffffffa0, 0x0000000fffffffc0, + 0x0000001fffffff40, 0x0000001fffffff80, + 0x0000003ffffffe80, 0x0000003fffffff00, + 0x0000007ffffffd00, 0x0000007ffffffe00, + 0x000000fffffffa00, 0x000000fffffffc00, + 0x000001fffffff400, 0x000001fffffff800, + 0x000003ffffffe800, 0x000003fffffff000, + 0x000007ffffffd000, 0x000007ffffffe000, + 0x00000fffffffa000, 0x00000fffffffc000, + 0x00001fffffff4000, 0x00001fffffff8000, + 0x00003ffffffe8000, 0x00003fffffff0000, + 0x00007ffffffd0000, 0x00007ffffffe0000, + 0x0000fffffffa0000, 0x0000fffffffc0000, + 0x0001fffffff40000, 0x0001fffffff80000, + 0x0003ffffffe80000, 0x0003fffffff00000, + 0x0007ffffffd00000, 0x0007ffffffe00000, + 0x000fffffffa00000, 0x000fffffffc00000, + 0x001fffffff400000, 0x001fffffff800000, + 0x003ffffffe800000, 0x003fffffff000000, + 0x007ffffffd000000, 0x007ffffffe000000, + 0x00fffffffa000000, 0x00fffffffc000000, + 0x01fffffff4000000, 0x01fffffff8000000, + 0x03ffffffe8000000, 0x03fffffff0000000, + 0x07ffffffd0000000, 0x07ffffffe0000000, + 0x0fffffffa0000000, 0x0fffffffc0000000, + 0x1fffffff40000000, 0x1fffffff80000000, + 0x3ffffffe80000000, 0x3fffffff00000000, + 0x7ffffffd00000000, 0x7ffffffe00000000, + 0xfffffffa00000000, 0xfffffffc00000000, + 0xfffffff400000000, 0xfffffff800000000, + 0xffffffe800000000, 0xfffffff000000000, + 0xffffffd000000000, 0xffffffe000000000, + 0xffffffa000000000, 0xffffffc000000000, + 0xffffff4000000000, 0xffffff8000000000, + 0xfffffe8000000000, 0xffffff0000000000, + 0xfffffd0000000000, 0xfffffe0000000000, + 0xfffffa0000000000, 0xfffffc0000000000, + 0xfffff40000000000, 0xfffff80000000000, + 0xffffe80000000000, 0xfffff00000000000, + 0xffffd00000000000, 0xffffe00000000000, + 0xffffa00000000000, 0xffffc00000000000, + 0xffff400000000000, 0xffff800000000000, + 0xfffe800000000000, 0xffff000000000000, + 0xfffd000000000000, 0xfffe000000000000, + 0xfffa000000000000, 0xfffc000000000000, + 0xfff4000000000000, 0xfff8000000000000, + 0xffe8000000000000, 0xfff0000000000000, + 0xffd0000000000000, 0xffe0000000000000, + 0xffa0000000000000, 0xffc0000000000000, + 0xff40000000000000, 0xff80000000000000, + 0xfe80000000000000, 0xff00000000000000, + 0xfd00000000000000, 0xfe00000000000000, + 0xfa00000000000000, 0xfc00000000000000, + 0xf400000000000000, 0xf800000000000000, + 0xe800000000000000, 0xf000000000000000, + 0xd000000000000000, 0xe000000000000000, + 0xa000000000000000, 0xc000000000000000, + 0x4000000000000000, 0x8000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0x000000007ffffffe, 0x000000007fffffff, + 0x00000000fffffffc, 0x00000000fffffffe, + 0x00000001fffffff8, 0x00000001fffffffc, + 0x00000003fffffff0, 0x00000003fffffff8, + 0x00000007ffffffe0, 0x00000007fffffff0, + 0x0000000fffffffc0, 0x0000000fffffffe0, + 0x0000001fffffff80, 0x0000001fffffffc0, + 0x0000003fffffff00, 0x0000003fffffff80, + 0x0000007ffffffe00, 0x0000007fffffff00, + 0x000000fffffffc00, 0x000000fffffffe00, + 0x000001fffffff800, 0x000001fffffffc00, + 0x000003fffffff000, 0x000003fffffff800, + 0x000007ffffffe000, 0x000007fffffff000, + 0x00000fffffffc000, 0x00000fffffffe000, + 0x00001fffffff8000, 0x00001fffffffc000, + 0x00003fffffff0000, 0x00003fffffff8000, + 0x00007ffffffe0000, 0x00007fffffff0000, + 0x0000fffffffc0000, 0x0000fffffffe0000, + 0x0001fffffff80000, 0x0001fffffffc0000, + 0x0003fffffff00000, 0x0003fffffff80000, + 0x0007ffffffe00000, 0x0007fffffff00000, + 0x000fffffffc00000, 0x000fffffffe00000, + 0x001fffffff800000, 0x001fffffffc00000, + 0x003fffffff000000, 0x003fffffff800000, + 0x007ffffffe000000, 0x007fffffff000000, + 0x00fffffffc000000, 0x00fffffffe000000, + 0x01fffffff8000000, 0x01fffffffc000000, + 0x03fffffff0000000, 0x03fffffff8000000, + 0x07ffffffe0000000, 0x07fffffff0000000, + 0x0fffffffc0000000, 0x0fffffffe0000000, + 0x1fffffff80000000, 0x1fffffffc0000000, + 0x3fffffff00000000, 0x3fffffff80000000, + 0x7ffffffe00000000, 0x7fffffff00000000, + 0xfffffffc00000000, 0xfffffffe00000000, + 0xfffffff800000000, 0xfffffffc00000000, + 0xfffffff000000000, 0xfffffff800000000, + 0xffffffe000000000, 0xfffffff000000000, + 0xffffffc000000000, 0xffffffe000000000, + 0xffffff8000000000, 0xffffffc000000000, + 0xffffff0000000000, 0xffffff8000000000, + 0xfffffe0000000000, 0xffffff0000000000, + 0xfffffc0000000000, 0xfffffe0000000000, + 0xfffff80000000000, 0xfffffc0000000000, + 0xfffff00000000000, 0xfffff80000000000, + 0xffffe00000000000, 0xfffff00000000000, + 0xffffc00000000000, 0xffffe00000000000, + 0xffff800000000000, 0xffffc00000000000, + 0xffff000000000000, 0xffff800000000000, + 0xfffe000000000000, 0xffff000000000000, + 0xfffc000000000000, 0xfffe000000000000, + 0xfff8000000000000, 0xfffc000000000000, + 0xfff0000000000000, 0xfff8000000000000, + 0xffe0000000000000, 0xfff0000000000000, + 0xffc0000000000000, 0xffe0000000000000, + 0xff80000000000000, 0xffc0000000000000, + 0xff00000000000000, 0xff80000000000000, + 0xfe00000000000000, 0xff00000000000000, + 0xfc00000000000000, 0xfe00000000000000, + 0xf800000000000000, 0xfc00000000000000, + 0xf000000000000000, 0xf800000000000000, + 0xe000000000000000, 0xf000000000000000, + 0xc000000000000000, 0xe000000000000000, + 0x8000000000000000, 0xc000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0x000000007fffffff, 0x3333333333333333, + 0x00000000fffffffe, 0x6666666666666666, + 0x00000001fffffffc, 0xcccccccccccccccc, + 0x00000003fffffff8, 0x9999999999999998, + 0x00000007fffffff0, 0x3333333333333330, + 0x0000000fffffffe0, 0x6666666666666660, + 0x0000001fffffffc0, 0xccccccccccccccc0, + 0x0000003fffffff80, 0x9999999999999980, + 0x0000007fffffff00, 0x3333333333333300, + 0x000000fffffffe00, 0x6666666666666600, + 0x000001fffffffc00, 0xcccccccccccccc00, + 0x000003fffffff800, 0x9999999999999800, + 0x000007fffffff000, 0x3333333333333000, + 0x00000fffffffe000, 0x6666666666666000, + 0x00001fffffffc000, 0xccccccccccccc000, + 0x00003fffffff8000, 0x9999999999998000, + 0x00007fffffff0000, 0x3333333333330000, + 0x0000fffffffe0000, 0x6666666666660000, + 0x0001fffffffc0000, 0xcccccccccccc0000, + 0x0003fffffff80000, 0x9999999999980000, + 0x0007fffffff00000, 0x3333333333300000, + 0x000fffffffe00000, 0x6666666666600000, + 0x001fffffffc00000, 0xccccccccccc00000, + 0x003fffffff800000, 0x9999999999800000, + 0x007fffffff000000, 0x3333333333000000, + 0x00fffffffe000000, 0x6666666666000000, + 0x01fffffffc000000, 0xcccccccccc000000, + 0x03fffffff8000000, 0x9999999998000000, + 0x07fffffff0000000, 0x3333333330000000, + 0x0fffffffe0000000, 0x6666666660000000, + 0x1fffffffc0000000, 0xccccccccc0000000, + 0x3fffffff80000000, 0x9999999980000000, + 0x7fffffff00000000, 0x3333333300000000, + 0xfffffffe00000000, 0x6666666600000000, + 0xfffffffc00000000, 0xcccccccc00000000, + 0xfffffff800000000, 0x9999999800000000, + 0xfffffff000000000, 0x3333333000000000, + 0xffffffe000000000, 0x6666666000000000, + 0xffffffc000000000, 0xccccccc000000000, + 0xffffff8000000000, 0x9999998000000000, + 0xffffff0000000000, 0x3333330000000000, + 0xfffffe0000000000, 0x6666660000000000, + 0xfffffc0000000000, 0xcccccc0000000000, + 0xfffff80000000000, 0x9999980000000000, + 0xfffff00000000000, 0x3333300000000000, + 0xffffe00000000000, 0x6666600000000000, + 0xffffc00000000000, 0xccccc00000000000, + 0xffff800000000000, 0x9999800000000000, + 0xffff000000000000, 0x3333000000000000, + 0xfffe000000000000, 0x6666000000000000, + 0xfffc000000000000, 0xcccc000000000000, + 0xfff8000000000000, 0x9998000000000000, + 0xfff0000000000000, 0x3330000000000000, + 0xffe0000000000000, 0x6660000000000000, + 0xffc0000000000000, 0xccc0000000000000, + 0xff80000000000000, 0x9980000000000000, + 0xff00000000000000, 0x3300000000000000, + 0xfe00000000000000, 0x6600000000000000, + 0xfc00000000000000, 0xcc00000000000000, + 0xf800000000000000, 0x9800000000000000, + 0xf000000000000000, 0x3000000000000000, + 0xe000000000000000, 0x6000000000000000, + 0xc000000000000000, 0xc000000000000000, + 0x8000000000000000, 0x8000000000000000, + 0x3333333333333333, 0x5555555555555555, + 0x6666666666666666, 0xaaaaaaaaaaaaaaaa, + 0xcccccccccccccccc, 0x5555555555555554, + 0x9999999999999998, 0xaaaaaaaaaaaaaaa8, + 0x3333333333333330, 0x5555555555555550, + 0x6666666666666660, 0xaaaaaaaaaaaaaaa0, + 0xccccccccccccccc0, 0x5555555555555540, + 0x9999999999999980, 0xaaaaaaaaaaaaaa80, + 0x3333333333333300, 0x5555555555555500, + 0x6666666666666600, 0xaaaaaaaaaaaaaa00, + 0xcccccccccccccc00, 0x5555555555555400, + 0x9999999999999800, 0xaaaaaaaaaaaaa800, + 0x3333333333333000, 0x5555555555555000, + 0x6666666666666000, 0xaaaaaaaaaaaaa000, + 0xccccccccccccc000, 0x5555555555554000, + 0x9999999999998000, 0xaaaaaaaaaaaa8000, + 0x3333333333330000, 0x5555555555550000, + 0x6666666666660000, 0xaaaaaaaaaaaa0000, + 0xcccccccccccc0000, 0x5555555555540000, + 0x9999999999980000, 0xaaaaaaaaaaa80000, + 0x3333333333300000, 0x5555555555500000, + 0x6666666666600000, 0xaaaaaaaaaaa00000, + 0xccccccccccc00000, 0x5555555555400000, + 0x9999999999800000, 0xaaaaaaaaaa800000, + 0x3333333333000000, 0x5555555555000000, + 0x6666666666000000, 0xaaaaaaaaaa000000, + 0xcccccccccc000000, 0x5555555554000000, + 0x9999999998000000, 0xaaaaaaaaa8000000, + 0x3333333330000000, 0x5555555550000000, + 0x6666666660000000, 0xaaaaaaaaa0000000, + 0xccccccccc0000000, 0x5555555540000000, + 0x9999999980000000, 0xaaaaaaaa80000000, + 0x3333333300000000, 0x5555555500000000, + 0x6666666600000000, 0xaaaaaaaa00000000, + 0xcccccccc00000000, 0x5555555400000000, + 0x9999999800000000, 0xaaaaaaa800000000, + 0x3333333000000000, 0x5555555000000000, + 0x6666666000000000, 0xaaaaaaa000000000, + 0xccccccc000000000, 0x5555554000000000, + 0x9999998000000000, 0xaaaaaa8000000000, + 0x3333330000000000, 0x5555550000000000, + 0x6666660000000000, 0xaaaaaa0000000000, + 0xcccccc0000000000, 0x5555540000000000, + 0x9999980000000000, 0xaaaaa80000000000, + 0x3333300000000000, 0x5555500000000000, + 0x6666600000000000, 0xaaaaa00000000000, + 0xccccc00000000000, 0x5555400000000000, + 0x9999800000000000, 0xaaaa800000000000, + 0x3333000000000000, 0x5555000000000000, + 0x6666000000000000, 0xaaaa000000000000, + 0xcccc000000000000, 0x5554000000000000, + 0x9998000000000000, 0xaaa8000000000000, + 0x3330000000000000, 0x5550000000000000, + 0x6660000000000000, 0xaaa0000000000000, + 0xccc0000000000000, 0x5540000000000000, + 0x9980000000000000, 0xaa80000000000000, + 0x3300000000000000, 0x5500000000000000, + 0x6600000000000000, 0xaa00000000000000, + 0xcc00000000000000, 0x5400000000000000, + 0x9800000000000000, 0xa800000000000000, + 0x3000000000000000, 0x5000000000000000, + 0x6000000000000000, 0xa000000000000000, + 0xc000000000000000, 0x4000000000000000, + 0x8000000000000000, 0x8000000000000000, + 0x5555555555555555, 0x7ffffffffffffffd, + 0xaaaaaaaaaaaaaaaa, 0xfffffffffffffffa, + 0x5555555555555554, 0xfffffffffffffff4, + 0xaaaaaaaaaaaaaaa8, 0xffffffffffffffe8, + 0x5555555555555550, 0xffffffffffffffd0, + 0xaaaaaaaaaaaaaaa0, 0xffffffffffffffa0, + 0x5555555555555540, 0xffffffffffffff40, + 0xaaaaaaaaaaaaaa80, 0xfffffffffffffe80, + 0x5555555555555500, 0xfffffffffffffd00, + 0xaaaaaaaaaaaaaa00, 0xfffffffffffffa00, + 0x5555555555555400, 0xfffffffffffff400, + 0xaaaaaaaaaaaaa800, 0xffffffffffffe800, + 0x5555555555555000, 0xffffffffffffd000, + 0xaaaaaaaaaaaaa000, 0xffffffffffffa000, + 0x5555555555554000, 0xffffffffffff4000, + 0xaaaaaaaaaaaa8000, 0xfffffffffffe8000, + 0x5555555555550000, 0xfffffffffffd0000, + 0xaaaaaaaaaaaa0000, 0xfffffffffffa0000, + 0x5555555555540000, 0xfffffffffff40000, + 0xaaaaaaaaaaa80000, 0xffffffffffe80000, + 0x5555555555500000, 0xffffffffffd00000, + 0xaaaaaaaaaaa00000, 0xffffffffffa00000, + 0x5555555555400000, 0xffffffffff400000, + 0xaaaaaaaaaa800000, 0xfffffffffe800000, + 0x5555555555000000, 0xfffffffffd000000, + 0xaaaaaaaaaa000000, 0xfffffffffa000000, + 0x5555555554000000, 0xfffffffff4000000, + 0xaaaaaaaaa8000000, 0xffffffffe8000000, + 0x5555555550000000, 0xffffffffd0000000, + 0xaaaaaaaaa0000000, 0xffffffffa0000000, + 0x5555555540000000, 0xffffffff40000000, + 0xaaaaaaaa80000000, 0xfffffffe80000000, + 0x5555555500000000, 0xfffffffd00000000, + 0xaaaaaaaa00000000, 0xfffffffa00000000, + 0x5555555400000000, 0xfffffff400000000, + 0xaaaaaaa800000000, 0xffffffe800000000, + 0x5555555000000000, 0xffffffd000000000, + 0xaaaaaaa000000000, 0xffffffa000000000, + 0x5555554000000000, 0xffffff4000000000, + 0xaaaaaa8000000000, 0xfffffe8000000000, + 0x5555550000000000, 0xfffffd0000000000, + 0xaaaaaa0000000000, 0xfffffa0000000000, + 0x5555540000000000, 0xfffff40000000000, + 0xaaaaa80000000000, 0xffffe80000000000, + 0x5555500000000000, 0xffffd00000000000, + 0xaaaaa00000000000, 0xffffa00000000000, + 0x5555400000000000, 0xffff400000000000, + 0xaaaa800000000000, 0xfffe800000000000, + 0x5555000000000000, 0xfffd000000000000, + 0xaaaa000000000000, 0xfffa000000000000, + 0x5554000000000000, 0xfff4000000000000, + 0xaaa8000000000000, 0xffe8000000000000, + 0x5550000000000000, 0xffd0000000000000, + 0xaaa0000000000000, 0xffa0000000000000, + 0x5540000000000000, 0xff40000000000000, + 0xaa80000000000000, 0xfe80000000000000, + 0x5500000000000000, 0xfd00000000000000, + 0xaa00000000000000, 0xfa00000000000000, + 0x5400000000000000, 0xf400000000000000, + 0xa800000000000000, 0xe800000000000000, + 0x5000000000000000, 0xd000000000000000, + 0xa000000000000000, 0xa000000000000000, + 0x4000000000000000, 0x4000000000000000, + 0x8000000000000000, 0x8000000000000000, + 0x7ffffffffffffffd, 0x7ffffffffffffffe, + 0xfffffffffffffffa, 0xfffffffffffffffc, + 0xfffffffffffffff4, 0xfffffffffffffff8, + 0xffffffffffffffe8, 0xfffffffffffffff0, + 0xffffffffffffffd0, 0xffffffffffffffe0, + 0xffffffffffffffa0, 0xffffffffffffffc0, + 0xffffffffffffff40, 0xffffffffffffff80, + 0xfffffffffffffe80, 0xffffffffffffff00, + 0xfffffffffffffd00, 0xfffffffffffffe00, + 0xfffffffffffffa00, 0xfffffffffffffc00, + 0xfffffffffffff400, 0xfffffffffffff800, + 0xffffffffffffe800, 0xfffffffffffff000, + 0xffffffffffffd000, 0xffffffffffffe000, + 0xffffffffffffa000, 0xffffffffffffc000, + 0xffffffffffff4000, 0xffffffffffff8000, + 0xfffffffffffe8000, 0xffffffffffff0000, + 0xfffffffffffd0000, 0xfffffffffffe0000, + 0xfffffffffffa0000, 0xfffffffffffc0000, + 0xfffffffffff40000, 0xfffffffffff80000, + 0xffffffffffe80000, 0xfffffffffff00000, + 0xffffffffffd00000, 0xffffffffffe00000, + 0xffffffffffa00000, 0xffffffffffc00000, + 0xffffffffff400000, 0xffffffffff800000, + 0xfffffffffe800000, 0xffffffffff000000, + 0xfffffffffd000000, 0xfffffffffe000000, + 0xfffffffffa000000, 0xfffffffffc000000, + 0xfffffffff4000000, 0xfffffffff8000000, + 0xffffffffe8000000, 0xfffffffff0000000, + 0xffffffffd0000000, 0xffffffffe0000000, + 0xffffffffa0000000, 0xffffffffc0000000, + 0xffffffff40000000, 0xffffffff80000000, + 0xfffffffe80000000, 0xffffffff00000000, + 0xfffffffd00000000, 0xfffffffe00000000, + 0xfffffffa00000000, 0xfffffffc00000000, + 0xfffffff400000000, 0xfffffff800000000, + 0xffffffe800000000, 0xfffffff000000000, + 0xffffffd000000000, 0xffffffe000000000, + 0xffffffa000000000, 0xffffffc000000000, + 0xffffff4000000000, 0xffffff8000000000, + 0xfffffe8000000000, 0xffffff0000000000, + 0xfffffd0000000000, 0xfffffe0000000000, + 0xfffffa0000000000, 0xfffffc0000000000, + 0xfffff40000000000, 0xfffff80000000000, + 0xffffe80000000000, 0xfffff00000000000, + 0xffffd00000000000, 0xffffe00000000000, + 0xffffa00000000000, 0xffffc00000000000, + 0xffff400000000000, 0xffff800000000000, + 0xfffe800000000000, 0xffff000000000000, + 0xfffd000000000000, 0xfffe000000000000, + 0xfffa000000000000, 0xfffc000000000000, + 0xfff4000000000000, 0xfff8000000000000, + 0xffe8000000000000, 0xfff0000000000000, + 0xffd0000000000000, 0xffe0000000000000, + 0xffa0000000000000, 0xffc0000000000000, + 0xff40000000000000, 0xff80000000000000, + 0xfe80000000000000, 0xff00000000000000, + 0xfd00000000000000, 0xfe00000000000000, + 0xfa00000000000000, 0xfc00000000000000, + 0xf400000000000000, 0xf800000000000000, + 0xe800000000000000, 0xf000000000000000, + 0xd000000000000000, 0xe000000000000000, + 0xa000000000000000, 0xc000000000000000, + 0x4000000000000000, 0x8000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0x7ffffffffffffffe, 0x7fffffffffffffff, + 0xfffffffffffffffc, 0xfffffffffffffffe, + 0xfffffffffffffff8, 0xfffffffffffffffc, + 0xfffffffffffffff0, 0xfffffffffffffff8, + 0xffffffffffffffe0, 0xfffffffffffffff0, + 0xffffffffffffffc0, 0xffffffffffffffe0, + 0xffffffffffffff80, 0xffffffffffffffc0, + 0xffffffffffffff00, 0xffffffffffffff80, + 0xfffffffffffffe00, 0xffffffffffffff00, + 0xfffffffffffffc00, 0xfffffffffffffe00, + 0xfffffffffffff800, 0xfffffffffffffc00, + 0xfffffffffffff000, 0xfffffffffffff800, + 0xffffffffffffe000, 0xfffffffffffff000, + 0xffffffffffffc000, 0xffffffffffffe000, + 0xffffffffffff8000, 0xffffffffffffc000, + 0xffffffffffff0000, 0xffffffffffff8000, + 0xfffffffffffe0000, 0xffffffffffff0000, + 0xfffffffffffc0000, 0xfffffffffffe0000, + 0xfffffffffff80000, 0xfffffffffffc0000, + 0xfffffffffff00000, 0xfffffffffff80000, + 0xffffffffffe00000, 0xfffffffffff00000, + 0xffffffffffc00000, 0xffffffffffe00000, + 0xffffffffff800000, 0xffffffffffc00000, + 0xffffffffff000000, 0xffffffffff800000, + 0xfffffffffe000000, 0xffffffffff000000, + 0xfffffffffc000000, 0xfffffffffe000000, + 0xfffffffff8000000, 0xfffffffffc000000, + 0xfffffffff0000000, 0xfffffffff8000000, + 0xffffffffe0000000, 0xfffffffff0000000, + 0xffffffffc0000000, 0xffffffffe0000000, + 0xffffffff80000000, 0xffffffffc0000000, + 0xffffffff00000000, 0xffffffff80000000, + 0xfffffffe00000000, 0xffffffff00000000, + 0xfffffffc00000000, 0xfffffffe00000000, + 0xfffffff800000000, 0xfffffffc00000000, + 0xfffffff000000000, 0xfffffff800000000, + 0xffffffe000000000, 0xfffffff000000000, + 0xffffffc000000000, 0xffffffe000000000, + 0xffffff8000000000, 0xffffffc000000000, + 0xffffff0000000000, 0xffffff8000000000, + 0xfffffe0000000000, 0xffffff0000000000, + 0xfffffc0000000000, 0xfffffe0000000000, + 0xfffff80000000000, 0xfffffc0000000000, + 0xfffff00000000000, 0xfffff80000000000, + 0xffffe00000000000, 0xfffff00000000000, + 0xffffc00000000000, 0xffffe00000000000, + 0xffff800000000000, 0xffffc00000000000, + 0xffff000000000000, 0xffff800000000000, + 0xfffe000000000000, 0xffff000000000000, + 0xfffc000000000000, 0xfffe000000000000, + 0xfff8000000000000, 0xfffc000000000000, + 0xfff0000000000000, 0xfff8000000000000, + 0xffe0000000000000, 0xfff0000000000000, + 0xffc0000000000000, 0xffe0000000000000, + 0xff80000000000000, 0xffc0000000000000, + 0xff00000000000000, 0xff80000000000000, + 0xfe00000000000000, 0xff00000000000000, + 0xfc00000000000000, 0xfe00000000000000, + 0xf800000000000000, 0xfc00000000000000, + 0xf000000000000000, 0xf800000000000000, + 0xe000000000000000, 0xf000000000000000, + 0xc000000000000000, 0xe000000000000000, + 0x8000000000000000, 0xc000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0x7fffffffffffffff, 0x8000000000000000, + 0xfffffffffffffffe, 0x0000000000000000, + 0xfffffffffffffffc, 0x0000000000000000, + 0xfffffffffffffff8, 0x0000000000000000, + 0xfffffffffffffff0, 0x0000000000000000, + 0xffffffffffffffe0, 0x0000000000000000, + 0xffffffffffffffc0, 0x0000000000000000, + 0xffffffffffffff80, 0x0000000000000000, + 0xffffffffffffff00, 0x0000000000000000, + 0xfffffffffffffe00, 0x0000000000000000, + 0xfffffffffffffc00, 0x0000000000000000, + 0xfffffffffffff800, 0x0000000000000000, + 0xfffffffffffff000, 0x0000000000000000, + 0xffffffffffffe000, 0x0000000000000000, + 0xffffffffffffc000, 0x0000000000000000, + 0xffffffffffff8000, 0x0000000000000000, + 0xffffffffffff0000, 0x0000000000000000, + 0xfffffffffffe0000, 0x0000000000000000, + 0xfffffffffffc0000, 0x0000000000000000, + 0xfffffffffff80000, 0x0000000000000000, + 0xfffffffffff00000, 0x0000000000000000, + 0xffffffffffe00000, 0x0000000000000000, + 0xffffffffffc00000, 0x0000000000000000, + 0xffffffffff800000, 0x0000000000000000, + 0xffffffffff000000, 0x0000000000000000, + 0xfffffffffe000000, 0x0000000000000000, + 0xfffffffffc000000, 0x0000000000000000, + 0xfffffffff8000000, 0x0000000000000000, + 0xfffffffff0000000, 0x0000000000000000, + 0xffffffffe0000000, 0x0000000000000000, + 0xffffffffc0000000, 0x0000000000000000, + 0xffffffff80000000, 0x0000000000000000, + 0xffffffff00000000, 0x0000000000000000, + 0xfffffffe00000000, 0x0000000000000000, + 0xfffffffc00000000, 0x0000000000000000, + 0xfffffff800000000, 0x0000000000000000, + 0xfffffff000000000, 0x0000000000000000, + 0xffffffe000000000, 0x0000000000000000, + 0xffffffc000000000, 0x0000000000000000, + 0xffffff8000000000, 0x0000000000000000, + 0xffffff0000000000, 0x0000000000000000, + 0xfffffe0000000000, 0x0000000000000000, + 0xfffffc0000000000, 0x0000000000000000, + 0xfffff80000000000, 0x0000000000000000, + 0xfffff00000000000, 0x0000000000000000, + 0xffffe00000000000, 0x0000000000000000, + 0xffffc00000000000, 0x0000000000000000, + 0xffff800000000000, 0x0000000000000000, + 0xffff000000000000, 0x0000000000000000, + 0xfffe000000000000, 0x0000000000000000, + 0xfffc000000000000, 0x0000000000000000, + 0xfff8000000000000, 0x0000000000000000, + 0xfff0000000000000, 0x0000000000000000, + 0xffe0000000000000, 0x0000000000000000, + 0xffc0000000000000, 0x0000000000000000, + 0xff80000000000000, 0x0000000000000000, + 0xff00000000000000, 0x0000000000000000, + 0xfe00000000000000, 0x0000000000000000, + 0xfc00000000000000, 0x0000000000000000, + 0xf800000000000000, 0x0000000000000000, + 0xf000000000000000, 0x0000000000000000, + 0xe000000000000000, 0x0000000000000000, + 0xc000000000000000, 0x0000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0x8000000000000000, 0x8000000000000001, + 0x0000000000000000, 0x0000000000000002, + 0x0000000000000000, 0x0000000000000004, + 0x0000000000000000, 0x0000000000000008, + 0x0000000000000000, 0x0000000000000010, + 0x0000000000000000, 0x0000000000000020, + 0x0000000000000000, 0x0000000000000040, + 0x0000000000000000, 0x0000000000000080, + 0x0000000000000000, 0x0000000000000100, + 0x0000000000000000, 0x0000000000000200, + 0x0000000000000000, 0x0000000000000400, + 0x0000000000000000, 0x0000000000000800, + 0x0000000000000000, 0x0000000000001000, + 0x0000000000000000, 0x0000000000002000, + 0x0000000000000000, 0x0000000000004000, + 0x0000000000000000, 0x0000000000008000, + 0x0000000000000000, 0x0000000000010000, + 0x0000000000000000, 0x0000000000020000, + 0x0000000000000000, 0x0000000000040000, + 0x0000000000000000, 0x0000000000080000, + 0x0000000000000000, 0x0000000000100000, + 0x0000000000000000, 0x0000000000200000, + 0x0000000000000000, 0x0000000000400000, + 0x0000000000000000, 0x0000000000800000, + 0x0000000000000000, 0x0000000001000000, + 0x0000000000000000, 0x0000000002000000, + 0x0000000000000000, 0x0000000004000000, + 0x0000000000000000, 0x0000000008000000, + 0x0000000000000000, 0x0000000010000000, + 0x0000000000000000, 0x0000000020000000, + 0x0000000000000000, 0x0000000040000000, + 0x0000000000000000, 0x0000000080000000, + 0x0000000000000000, 0x0000000100000000, + 0x0000000000000000, 0x0000000200000000, + 0x0000000000000000, 0x0000000400000000, + 0x0000000000000000, 0x0000000800000000, + 0x0000000000000000, 0x0000001000000000, + 0x0000000000000000, 0x0000002000000000, + 0x0000000000000000, 0x0000004000000000, + 0x0000000000000000, 0x0000008000000000, + 0x0000000000000000, 0x0000010000000000, + 0x0000000000000000, 0x0000020000000000, + 0x0000000000000000, 0x0000040000000000, + 0x0000000000000000, 0x0000080000000000, + 0x0000000000000000, 0x0000100000000000, + 0x0000000000000000, 0x0000200000000000, + 0x0000000000000000, 0x0000400000000000, + 0x0000000000000000, 0x0000800000000000, + 0x0000000000000000, 0x0001000000000000, + 0x0000000000000000, 0x0002000000000000, + 0x0000000000000000, 0x0004000000000000, + 0x0000000000000000, 0x0008000000000000, + 0x0000000000000000, 0x0010000000000000, + 0x0000000000000000, 0x0020000000000000, + 0x0000000000000000, 0x0040000000000000, + 0x0000000000000000, 0x0080000000000000, + 0x0000000000000000, 0x0100000000000000, + 0x0000000000000000, 0x0200000000000000, + 0x0000000000000000, 0x0400000000000000, + 0x0000000000000000, 0x0800000000000000, + 0x0000000000000000, 0x1000000000000000, + 0x0000000000000000, 0x2000000000000000, + 0x0000000000000000, 0x4000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0x8000000000000001, 0x8000000000000002, + 0x0000000000000002, 0x0000000000000004, + 0x0000000000000004, 0x0000000000000008, + 0x0000000000000008, 0x0000000000000010, + 0x0000000000000010, 0x0000000000000020, + 0x0000000000000020, 0x0000000000000040, + 0x0000000000000040, 0x0000000000000080, + 0x0000000000000080, 0x0000000000000100, + 0x0000000000000100, 0x0000000000000200, + 0x0000000000000200, 0x0000000000000400, + 0x0000000000000400, 0x0000000000000800, + 0x0000000000000800, 0x0000000000001000, + 0x0000000000001000, 0x0000000000002000, + 0x0000000000002000, 0x0000000000004000, + 0x0000000000004000, 0x0000000000008000, + 0x0000000000008000, 0x0000000000010000, + 0x0000000000010000, 0x0000000000020000, + 0x0000000000020000, 0x0000000000040000, + 0x0000000000040000, 0x0000000000080000, + 0x0000000000080000, 0x0000000000100000, + 0x0000000000100000, 0x0000000000200000, + 0x0000000000200000, 0x0000000000400000, + 0x0000000000400000, 0x0000000000800000, + 0x0000000000800000, 0x0000000001000000, + 0x0000000001000000, 0x0000000002000000, + 0x0000000002000000, 0x0000000004000000, + 0x0000000004000000, 0x0000000008000000, + 0x0000000008000000, 0x0000000010000000, + 0x0000000010000000, 0x0000000020000000, + 0x0000000020000000, 0x0000000040000000, + 0x0000000040000000, 0x0000000080000000, + 0x0000000080000000, 0x0000000100000000, + 0x0000000100000000, 0x0000000200000000, + 0x0000000200000000, 0x0000000400000000, + 0x0000000400000000, 0x0000000800000000, + 0x0000000800000000, 0x0000001000000000, + 0x0000001000000000, 0x0000002000000000, + 0x0000002000000000, 0x0000004000000000, + 0x0000004000000000, 0x0000008000000000, + 0x0000008000000000, 0x0000010000000000, + 0x0000010000000000, 0x0000020000000000, + 0x0000020000000000, 0x0000040000000000, + 0x0000040000000000, 0x0000080000000000, + 0x0000080000000000, 0x0000100000000000, + 0x0000100000000000, 0x0000200000000000, + 0x0000200000000000, 0x0000400000000000, + 0x0000400000000000, 0x0000800000000000, + 0x0000800000000000, 0x0001000000000000, + 0x0001000000000000, 0x0002000000000000, + 0x0002000000000000, 0x0004000000000000, + 0x0004000000000000, 0x0008000000000000, + 0x0008000000000000, 0x0010000000000000, + 0x0010000000000000, 0x0020000000000000, + 0x0020000000000000, 0x0040000000000000, + 0x0040000000000000, 0x0080000000000000, + 0x0080000000000000, 0x0100000000000000, + 0x0100000000000000, 0x0200000000000000, + 0x0200000000000000, 0x0400000000000000, + 0x0400000000000000, 0x0800000000000000, + 0x0800000000000000, 0x1000000000000000, + 0x1000000000000000, 0x2000000000000000, + 0x2000000000000000, 0x4000000000000000, + 0x4000000000000000, 0x8000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0x8000000000000002, 0x8000000000000003, + 0x0000000000000004, 0x0000000000000006, + 0x0000000000000008, 0x000000000000000c, + 0x0000000000000010, 0x0000000000000018, + 0x0000000000000020, 0x0000000000000030, + 0x0000000000000040, 0x0000000000000060, + 0x0000000000000080, 0x00000000000000c0, + 0x0000000000000100, 0x0000000000000180, + 0x0000000000000200, 0x0000000000000300, + 0x0000000000000400, 0x0000000000000600, + 0x0000000000000800, 0x0000000000000c00, + 0x0000000000001000, 0x0000000000001800, + 0x0000000000002000, 0x0000000000003000, + 0x0000000000004000, 0x0000000000006000, + 0x0000000000008000, 0x000000000000c000, + 0x0000000000010000, 0x0000000000018000, + 0x0000000000020000, 0x0000000000030000, + 0x0000000000040000, 0x0000000000060000, + 0x0000000000080000, 0x00000000000c0000, + 0x0000000000100000, 0x0000000000180000, + 0x0000000000200000, 0x0000000000300000, + 0x0000000000400000, 0x0000000000600000, + 0x0000000000800000, 0x0000000000c00000, + 0x0000000001000000, 0x0000000001800000, + 0x0000000002000000, 0x0000000003000000, + 0x0000000004000000, 0x0000000006000000, + 0x0000000008000000, 0x000000000c000000, + 0x0000000010000000, 0x0000000018000000, + 0x0000000020000000, 0x0000000030000000, + 0x0000000040000000, 0x0000000060000000, + 0x0000000080000000, 0x00000000c0000000, + 0x0000000100000000, 0x0000000180000000, + 0x0000000200000000, 0x0000000300000000, + 0x0000000400000000, 0x0000000600000000, + 0x0000000800000000, 0x0000000c00000000, + 0x0000001000000000, 0x0000001800000000, + 0x0000002000000000, 0x0000003000000000, + 0x0000004000000000, 0x0000006000000000, + 0x0000008000000000, 0x000000c000000000, + 0x0000010000000000, 0x0000018000000000, + 0x0000020000000000, 0x0000030000000000, + 0x0000040000000000, 0x0000060000000000, + 0x0000080000000000, 0x00000c0000000000, + 0x0000100000000000, 0x0000180000000000, + 0x0000200000000000, 0x0000300000000000, + 0x0000400000000000, 0x0000600000000000, + 0x0000800000000000, 0x0000c00000000000, + 0x0001000000000000, 0x0001800000000000, + 0x0002000000000000, 0x0003000000000000, + 0x0004000000000000, 0x0006000000000000, + 0x0008000000000000, 0x000c000000000000, + 0x0010000000000000, 0x0018000000000000, + 0x0020000000000000, 0x0030000000000000, + 0x0040000000000000, 0x0060000000000000, + 0x0080000000000000, 0x00c0000000000000, + 0x0100000000000000, 0x0180000000000000, + 0x0200000000000000, 0x0300000000000000, + 0x0400000000000000, 0x0600000000000000, + 0x0800000000000000, 0x0c00000000000000, + 0x1000000000000000, 0x1800000000000000, + 0x2000000000000000, 0x3000000000000000, + 0x4000000000000000, 0x6000000000000000, + 0x8000000000000000, 0xc000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0x8000000000000003, 0xaaaaaaaaaaaaaaaa, + 0x0000000000000006, 0x5555555555555554, + 0x000000000000000c, 0xaaaaaaaaaaaaaaa8, + 0x0000000000000018, 0x5555555555555550, + 0x0000000000000030, 0xaaaaaaaaaaaaaaa0, + 0x0000000000000060, 0x5555555555555540, + 0x00000000000000c0, 0xaaaaaaaaaaaaaa80, + 0x0000000000000180, 0x5555555555555500, + 0x0000000000000300, 0xaaaaaaaaaaaaaa00, + 0x0000000000000600, 0x5555555555555400, + 0x0000000000000c00, 0xaaaaaaaaaaaaa800, + 0x0000000000001800, 0x5555555555555000, + 0x0000000000003000, 0xaaaaaaaaaaaaa000, + 0x0000000000006000, 0x5555555555554000, + 0x000000000000c000, 0xaaaaaaaaaaaa8000, + 0x0000000000018000, 0x5555555555550000, + 0x0000000000030000, 0xaaaaaaaaaaaa0000, + 0x0000000000060000, 0x5555555555540000, + 0x00000000000c0000, 0xaaaaaaaaaaa80000, + 0x0000000000180000, 0x5555555555500000, + 0x0000000000300000, 0xaaaaaaaaaaa00000, + 0x0000000000600000, 0x5555555555400000, + 0x0000000000c00000, 0xaaaaaaaaaa800000, + 0x0000000001800000, 0x5555555555000000, + 0x0000000003000000, 0xaaaaaaaaaa000000, + 0x0000000006000000, 0x5555555554000000, + 0x000000000c000000, 0xaaaaaaaaa8000000, + 0x0000000018000000, 0x5555555550000000, + 0x0000000030000000, 0xaaaaaaaaa0000000, + 0x0000000060000000, 0x5555555540000000, + 0x00000000c0000000, 0xaaaaaaaa80000000, + 0x0000000180000000, 0x5555555500000000, + 0x0000000300000000, 0xaaaaaaaa00000000, + 0x0000000600000000, 0x5555555400000000, + 0x0000000c00000000, 0xaaaaaaa800000000, + 0x0000001800000000, 0x5555555000000000, + 0x0000003000000000, 0xaaaaaaa000000000, + 0x0000006000000000, 0x5555554000000000, + 0x000000c000000000, 0xaaaaaa8000000000, + 0x0000018000000000, 0x5555550000000000, + 0x0000030000000000, 0xaaaaaa0000000000, + 0x0000060000000000, 0x5555540000000000, + 0x00000c0000000000, 0xaaaaa80000000000, + 0x0000180000000000, 0x5555500000000000, + 0x0000300000000000, 0xaaaaa00000000000, + 0x0000600000000000, 0x5555400000000000, + 0x0000c00000000000, 0xaaaa800000000000, + 0x0001800000000000, 0x5555000000000000, + 0x0003000000000000, 0xaaaa000000000000, + 0x0006000000000000, 0x5554000000000000, + 0x000c000000000000, 0xaaa8000000000000, + 0x0018000000000000, 0x5550000000000000, + 0x0030000000000000, 0xaaa0000000000000, + 0x0060000000000000, 0x5540000000000000, + 0x00c0000000000000, 0xaa80000000000000, + 0x0180000000000000, 0x5500000000000000, + 0x0300000000000000, 0xaa00000000000000, + 0x0600000000000000, 0x5400000000000000, + 0x0c00000000000000, 0xa800000000000000, + 0x1800000000000000, 0x5000000000000000, + 0x3000000000000000, 0xa000000000000000, + 0x6000000000000000, 0x4000000000000000, + 0xc000000000000000, 0x8000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccc, + 0x5555555555555554, 0x9999999999999998, + 0xaaaaaaaaaaaaaaa8, 0x3333333333333330, + 0x5555555555555550, 0x6666666666666660, + 0xaaaaaaaaaaaaaaa0, 0xccccccccccccccc0, + 0x5555555555555540, 0x9999999999999980, + 0xaaaaaaaaaaaaaa80, 0x3333333333333300, + 0x5555555555555500, 0x6666666666666600, + 0xaaaaaaaaaaaaaa00, 0xcccccccccccccc00, + 0x5555555555555400, 0x9999999999999800, + 0xaaaaaaaaaaaaa800, 0x3333333333333000, + 0x5555555555555000, 0x6666666666666000, + 0xaaaaaaaaaaaaa000, 0xccccccccccccc000, + 0x5555555555554000, 0x9999999999998000, + 0xaaaaaaaaaaaa8000, 0x3333333333330000, + 0x5555555555550000, 0x6666666666660000, + 0xaaaaaaaaaaaa0000, 0xcccccccccccc0000, + 0x5555555555540000, 0x9999999999980000, + 0xaaaaaaaaaaa80000, 0x3333333333300000, + 0x5555555555500000, 0x6666666666600000, + 0xaaaaaaaaaaa00000, 0xccccccccccc00000, + 0x5555555555400000, 0x9999999999800000, + 0xaaaaaaaaaa800000, 0x3333333333000000, + 0x5555555555000000, 0x6666666666000000, + 0xaaaaaaaaaa000000, 0xcccccccccc000000, + 0x5555555554000000, 0x9999999998000000, + 0xaaaaaaaaa8000000, 0x3333333330000000, + 0x5555555550000000, 0x6666666660000000, + 0xaaaaaaaaa0000000, 0xccccccccc0000000, + 0x5555555540000000, 0x9999999980000000, + 0xaaaaaaaa80000000, 0x3333333300000000, + 0x5555555500000000, 0x6666666600000000, + 0xaaaaaaaa00000000, 0xcccccccc00000000, + 0x5555555400000000, 0x9999999800000000, + 0xaaaaaaa800000000, 0x3333333000000000, + 0x5555555000000000, 0x6666666000000000, + 0xaaaaaaa000000000, 0xccccccc000000000, + 0x5555554000000000, 0x9999998000000000, + 0xaaaaaa8000000000, 0x3333330000000000, + 0x5555550000000000, 0x6666660000000000, + 0xaaaaaa0000000000, 0xcccccc0000000000, + 0x5555540000000000, 0x9999980000000000, + 0xaaaaa80000000000, 0x3333300000000000, + 0x5555500000000000, 0x6666600000000000, + 0xaaaaa00000000000, 0xccccc00000000000, + 0x5555400000000000, 0x9999800000000000, + 0xaaaa800000000000, 0x3333000000000000, + 0x5555000000000000, 0x6666000000000000, + 0xaaaa000000000000, 0xcccc000000000000, + 0x5554000000000000, 0x9998000000000000, + 0xaaa8000000000000, 0x3330000000000000, + 0x5550000000000000, 0x6660000000000000, + 0xaaa0000000000000, 0xccc0000000000000, + 0x5540000000000000, 0x9980000000000000, + 0xaa80000000000000, 0x3300000000000000, + 0x5500000000000000, 0x6600000000000000, + 0xaa00000000000000, 0xcc00000000000000, + 0x5400000000000000, 0x9800000000000000, + 0xa800000000000000, 0x3000000000000000, + 0x5000000000000000, 0x6000000000000000, + 0xa000000000000000, 0xc000000000000000, + 0x4000000000000000, 0x8000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0x0000000000000000, 0x0000000000000000, + 0xcccccccccccccccc, 0xffffffff80000000, + 0x9999999999999998, 0xffffffff00000000, + 0x3333333333333330, 0xfffffffe00000000, + 0x6666666666666660, 0xfffffffc00000000, + 0xccccccccccccccc0, 0xfffffff800000000, + 0x9999999999999980, 0xfffffff000000000, + 0x3333333333333300, 0xffffffe000000000, + 0x6666666666666600, 0xffffffc000000000, + 0xcccccccccccccc00, 0xffffff8000000000, + 0x9999999999999800, 0xffffff0000000000, + 0x3333333333333000, 0xfffffe0000000000, + 0x6666666666666000, 0xfffffc0000000000, + 0xccccccccccccc000, 0xfffff80000000000, + 0x9999999999998000, 0xfffff00000000000, + 0x3333333333330000, 0xffffe00000000000, + 0x6666666666660000, 0xffffc00000000000, + 0xcccccccccccc0000, 0xffff800000000000, + 0x9999999999980000, 0xffff000000000000, + 0x3333333333300000, 0xfffe000000000000, + 0x6666666666600000, 0xfffc000000000000, + 0xccccccccccc00000, 0xfff8000000000000, + 0x9999999999800000, 0xfff0000000000000, + 0x3333333333000000, 0xffe0000000000000, + 0x6666666666000000, 0xffc0000000000000, + 0xcccccccccc000000, 0xff80000000000000, + 0x9999999998000000, 0xff00000000000000, + 0x3333333330000000, 0xfe00000000000000, + 0x6666666660000000, 0xfc00000000000000, + 0xccccccccc0000000, 0xf800000000000000, + 0x9999999980000000, 0xf000000000000000, + 0x3333333300000000, 0xe000000000000000, + 0x6666666600000000, 0xc000000000000000, + 0xcccccccc00000000, 0x8000000000000000, + 0x9999999800000000, 0x0000000000000000, + 0x3333333000000000, 0x0000000000000000, + 0x6666666000000000, 0x0000000000000000, + 0xccccccc000000000, 0x0000000000000000, + 0x9999998000000000, 0x0000000000000000, + 0x3333330000000000, 0x0000000000000000, + 0x6666660000000000, 0x0000000000000000, + 0xcccccc0000000000, 0x0000000000000000, + 0x9999980000000000, 0x0000000000000000, + 0x3333300000000000, 0x0000000000000000, + 0x6666600000000000, 0x0000000000000000, + 0xccccc00000000000, 0x0000000000000000, + 0x9999800000000000, 0x0000000000000000, + 0x3333000000000000, 0x0000000000000000, + 0x6666000000000000, 0x0000000000000000, + 0xcccc000000000000, 0x0000000000000000, + 0x9998000000000000, 0x0000000000000000, + 0x3330000000000000, 0x0000000000000000, + 0x6660000000000000, 0x0000000000000000, + 0xccc0000000000000, 0x0000000000000000, + 0x9980000000000000, 0x0000000000000000, + 0x3300000000000000, 0x0000000000000000, + 0x6600000000000000, 0x0000000000000000, + 0xcc00000000000000, 0x0000000000000000, + 0x9800000000000000, 0x0000000000000000, + 0x3000000000000000, 0x0000000000000000, + 0x6000000000000000, 0x0000000000000000, + 0xc000000000000000, 0x0000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0x0000000000000000, 0x0000000000000000, + 0x0000000000000000, 0x0000000000000000, + 0xffffffff80000000, 0xffffffff80000001, + 0xffffffff00000000, 0xffffffff00000002, + 0xfffffffe00000000, 0xfffffffe00000004, + 0xfffffffc00000000, 0xfffffffc00000008, + 0xfffffff800000000, 0xfffffff800000010, + 0xfffffff000000000, 0xfffffff000000020, + 0xffffffe000000000, 0xffffffe000000040, + 0xffffffc000000000, 0xffffffc000000080, + 0xffffff8000000000, 0xffffff8000000100, + 0xffffff0000000000, 0xffffff0000000200, + 0xfffffe0000000000, 0xfffffe0000000400, + 0xfffffc0000000000, 0xfffffc0000000800, + 0xfffff80000000000, 0xfffff80000001000, + 0xfffff00000000000, 0xfffff00000002000, + 0xffffe00000000000, 0xffffe00000004000, + 0xffffc00000000000, 0xffffc00000008000, + 0xffff800000000000, 0xffff800000010000, + 0xffff000000000000, 0xffff000000020000, + 0xfffe000000000000, 0xfffe000000040000, + 0xfffc000000000000, 0xfffc000000080000, + 0xfff8000000000000, 0xfff8000000100000, + 0xfff0000000000000, 0xfff0000000200000, + 0xffe0000000000000, 0xffe0000000400000, + 0xffc0000000000000, 0xffc0000000800000, + 0xff80000000000000, 0xff80000001000000, + 0xff00000000000000, 0xff00000002000000, + 0xfe00000000000000, 0xfe00000004000000, + 0xfc00000000000000, 0xfc00000008000000, + 0xf800000000000000, 0xf800000010000000, + 0xf000000000000000, 0xf000000020000000, + 0xe000000000000000, 0xe000000040000000, + 0xc000000000000000, 0xc000000080000000, + 0x8000000000000000, 0x8000000100000000, + 0x0000000000000000, 0x0000000200000000, + 0x0000000000000000, 0x0000000400000000, + 0x0000000000000000, 0x0000000800000000, + 0x0000000000000000, 0x0000001000000000, + 0x0000000000000000, 0x0000002000000000, + 0x0000000000000000, 0x0000004000000000, + 0x0000000000000000, 0x0000008000000000, + 0x0000000000000000, 0x0000010000000000, + 0x0000000000000000, 0x0000020000000000, + 0x0000000000000000, 0x0000040000000000, + 0x0000000000000000, 0x0000080000000000, + 0x0000000000000000, 0x0000100000000000, + 0x0000000000000000, 0x0000200000000000, + 0x0000000000000000, 0x0000400000000000, + 0x0000000000000000, 0x0000800000000000, + 0x0000000000000000, 0x0001000000000000, + 0x0000000000000000, 0x0002000000000000, + 0x0000000000000000, 0x0004000000000000, + 0x0000000000000000, 0x0008000000000000, + 0x0000000000000000, 0x0010000000000000, + 0x0000000000000000, 0x0020000000000000, + 0x0000000000000000, 0x0040000000000000, + 0x0000000000000000, 0x0080000000000000, + 0x0000000000000000, 0x0100000000000000, + 0x0000000000000000, 0x0200000000000000, + 0x0000000000000000, 0x0400000000000000, + 0x0000000000000000, 0x0800000000000000, + 0x0000000000000000, 0x1000000000000000, + 0x0000000000000000, 0x2000000000000000, + 0x0000000000000000, 0x4000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0xffffffff80000001, 0xffffffff80000002, + 0xffffffff00000002, 0xffffffff00000004, + 0xfffffffe00000004, 0xfffffffe00000008, + 0xfffffffc00000008, 0xfffffffc00000010, + 0xfffffff800000010, 0xfffffff800000020, + 0xfffffff000000020, 0xfffffff000000040, + 0xffffffe000000040, 0xffffffe000000080, + 0xffffffc000000080, 0xffffffc000000100, + 0xffffff8000000100, 0xffffff8000000200, + 0xffffff0000000200, 0xffffff0000000400, + 0xfffffe0000000400, 0xfffffe0000000800, + 0xfffffc0000000800, 0xfffffc0000001000, + 0xfffff80000001000, 0xfffff80000002000, + 0xfffff00000002000, 0xfffff00000004000, + 0xffffe00000004000, 0xffffe00000008000, + 0xffffc00000008000, 0xffffc00000010000, + 0xffff800000010000, 0xffff800000020000, + 0xffff000000020000, 0xffff000000040000, + 0xfffe000000040000, 0xfffe000000080000, + 0xfffc000000080000, 0xfffc000000100000, + 0xfff8000000100000, 0xfff8000000200000, + 0xfff0000000200000, 0xfff0000000400000, + 0xffe0000000400000, 0xffe0000000800000, + 0xffc0000000800000, 0xffc0000001000000, + 0xff80000001000000, 0xff80000002000000, + 0xff00000002000000, 0xff00000004000000, + 0xfe00000004000000, 0xfe00000008000000, + 0xfc00000008000000, 0xfc00000010000000, + 0xf800000010000000, 0xf800000020000000, + 0xf000000020000000, 0xf000000040000000, + 0xe000000040000000, 0xe000000080000000, + 0xc000000080000000, 0xc000000100000000, + 0x8000000100000000, 0x8000000200000000, + 0x0000000200000000, 0x0000000400000000, + 0x0000000400000000, 0x0000000800000000, + 0x0000000800000000, 0x0000001000000000, + 0x0000001000000000, 0x0000002000000000, + 0x0000002000000000, 0x0000004000000000, + 0x0000004000000000, 0x0000008000000000, + 0x0000008000000000, 0x0000010000000000, + 0x0000010000000000, 0x0000020000000000, + 0x0000020000000000, 0x0000040000000000, + 0x0000040000000000, 0x0000080000000000, + 0x0000080000000000, 0x0000100000000000, + 0x0000100000000000, 0x0000200000000000, + 0x0000200000000000, 0x0000400000000000, + 0x0000400000000000, 0x0000800000000000, + 0x0000800000000000, 0x0001000000000000, + 0x0001000000000000, 0x0002000000000000, + 0x0002000000000000, 0x0004000000000000, + 0x0004000000000000, 0x0008000000000000, + 0x0008000000000000, 0x0010000000000000, + 0x0010000000000000, 0x0020000000000000, + 0x0020000000000000, 0x0040000000000000, + 0x0040000000000000, 0x0080000000000000, + 0x0080000000000000, 0x0100000000000000, + 0x0100000000000000, 0x0200000000000000, + 0x0200000000000000, 0x0400000000000000, + 0x0400000000000000, 0x0800000000000000, + 0x0800000000000000, 0x1000000000000000, + 0x1000000000000000, 0x2000000000000000, + 0x2000000000000000, 0x4000000000000000, + 0x4000000000000000, 0x8000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0xffffffff80000002, 0xffffffff80000003, + 0xffffffff00000004, 0xffffffff00000006, + 0xfffffffe00000008, 0xfffffffe0000000c, + 0xfffffffc00000010, 0xfffffffc00000018, + 0xfffffff800000020, 0xfffffff800000030, + 0xfffffff000000040, 0xfffffff000000060, + 0xffffffe000000080, 0xffffffe0000000c0, + 0xffffffc000000100, 0xffffffc000000180, + 0xffffff8000000200, 0xffffff8000000300, + 0xffffff0000000400, 0xffffff0000000600, + 0xfffffe0000000800, 0xfffffe0000000c00, + 0xfffffc0000001000, 0xfffffc0000001800, + 0xfffff80000002000, 0xfffff80000003000, + 0xfffff00000004000, 0xfffff00000006000, + 0xffffe00000008000, 0xffffe0000000c000, + 0xffffc00000010000, 0xffffc00000018000, + 0xffff800000020000, 0xffff800000030000, + 0xffff000000040000, 0xffff000000060000, + 0xfffe000000080000, 0xfffe0000000c0000, + 0xfffc000000100000, 0xfffc000000180000, + 0xfff8000000200000, 0xfff8000000300000, + 0xfff0000000400000, 0xfff0000000600000, + 0xffe0000000800000, 0xffe0000000c00000, + 0xffc0000001000000, 0xffc0000001800000, + 0xff80000002000000, 0xff80000003000000, + 0xff00000004000000, 0xff00000006000000, + 0xfe00000008000000, 0xfe0000000c000000, + 0xfc00000010000000, 0xfc00000018000000, + 0xf800000020000000, 0xf800000030000000, + 0xf000000040000000, 0xf000000060000000, + 0xe000000080000000, 0xe0000000c0000000, + 0xc000000100000000, 0xc000000180000000, + 0x8000000200000000, 0x8000000300000000, + 0x0000000400000000, 0x0000000600000000, + 0x0000000800000000, 0x0000000c00000000, + 0x0000001000000000, 0x0000001800000000, + 0x0000002000000000, 0x0000003000000000, + 0x0000004000000000, 0x0000006000000000, + 0x0000008000000000, 0x000000c000000000, + 0x0000010000000000, 0x0000018000000000, + 0x0000020000000000, 0x0000030000000000, + 0x0000040000000000, 0x0000060000000000, + 0x0000080000000000, 0x00000c0000000000, + 0x0000100000000000, 0x0000180000000000, + 0x0000200000000000, 0x0000300000000000, + 0x0000400000000000, 0x0000600000000000, + 0x0000800000000000, 0x0000c00000000000, + 0x0001000000000000, 0x0001800000000000, + 0x0002000000000000, 0x0003000000000000, + 0x0004000000000000, 0x0006000000000000, + 0x0008000000000000, 0x000c000000000000, + 0x0010000000000000, 0x0018000000000000, + 0x0020000000000000, 0x0030000000000000, + 0x0040000000000000, 0x0060000000000000, + 0x0080000000000000, 0x00c0000000000000, + 0x0100000000000000, 0x0180000000000000, + 0x0200000000000000, 0x0300000000000000, + 0x0400000000000000, 0x0600000000000000, + 0x0800000000000000, 0x0c00000000000000, + 0x1000000000000000, 0x1800000000000000, + 0x2000000000000000, 0x3000000000000000, + 0x4000000000000000, 0x6000000000000000, + 0x8000000000000000, 0xc000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0xffffffff80000003, 0xffffffffffff8000, + 0xffffffff00000006, 0xffffffffffff0000, + 0xfffffffe0000000c, 0xfffffffffffe0000, + 0xfffffffc00000018, 0xfffffffffffc0000, + 0xfffffff800000030, 0xfffffffffff80000, + 0xfffffff000000060, 0xfffffffffff00000, + 0xffffffe0000000c0, 0xffffffffffe00000, + 0xffffffc000000180, 0xffffffffffc00000, + 0xffffff8000000300, 0xffffffffff800000, + 0xffffff0000000600, 0xffffffffff000000, + 0xfffffe0000000c00, 0xfffffffffe000000, + 0xfffffc0000001800, 0xfffffffffc000000, + 0xfffff80000003000, 0xfffffffff8000000, + 0xfffff00000006000, 0xfffffffff0000000, + 0xffffe0000000c000, 0xffffffffe0000000, + 0xffffc00000018000, 0xffffffffc0000000, + 0xffff800000030000, 0xffffffff80000000, + 0xffff000000060000, 0xffffffff00000000, + 0xfffe0000000c0000, 0xfffffffe00000000, + 0xfffc000000180000, 0xfffffffc00000000, + 0xfff8000000300000, 0xfffffff800000000, + 0xfff0000000600000, 0xfffffff000000000, + 0xffe0000000c00000, 0xffffffe000000000, + 0xffc0000001800000, 0xffffffc000000000, + 0xff80000003000000, 0xffffff8000000000, + 0xff00000006000000, 0xffffff0000000000, + 0xfe0000000c000000, 0xfffffe0000000000, + 0xfc00000018000000, 0xfffffc0000000000, + 0xf800000030000000, 0xfffff80000000000, + 0xf000000060000000, 0xfffff00000000000, + 0xe0000000c0000000, 0xffffe00000000000, + 0xc000000180000000, 0xffffc00000000000, + 0x8000000300000000, 0xffff800000000000, + 0x0000000600000000, 0xffff000000000000, + 0x0000000c00000000, 0xfffe000000000000, + 0x0000001800000000, 0xfffc000000000000, + 0x0000003000000000, 0xfff8000000000000, + 0x0000006000000000, 0xfff0000000000000, + 0x000000c000000000, 0xffe0000000000000, + 0x0000018000000000, 0xffc0000000000000, + 0x0000030000000000, 0xff80000000000000, + 0x0000060000000000, 0xff00000000000000, + 0x00000c0000000000, 0xfe00000000000000, + 0x0000180000000000, 0xfc00000000000000, + 0x0000300000000000, 0xf800000000000000, + 0x0000600000000000, 0xf000000000000000, + 0x0000c00000000000, 0xe000000000000000, + 0x0001800000000000, 0xc000000000000000, + 0x0003000000000000, 0x8000000000000000, + 0x0006000000000000, 0x0000000000000000, + 0x000c000000000000, 0x0000000000000000, + 0x0018000000000000, 0x0000000000000000, + 0x0030000000000000, 0x0000000000000000, + 0x0060000000000000, 0x0000000000000000, + 0x00c0000000000000, 0x0000000000000000, + 0x0180000000000000, 0x0000000000000000, + 0x0300000000000000, 0x0000000000000000, + 0x0600000000000000, 0x0000000000000000, + 0x0c00000000000000, 0x0000000000000000, + 0x1800000000000000, 0x0000000000000000, + 0x3000000000000000, 0x0000000000000000, + 0x6000000000000000, 0x0000000000000000, + 0xc000000000000000, 0x0000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0xffffffffffff8000, 0xffffffffffff8001, + 0xffffffffffff0000, 0xffffffffffff0002, + 0xfffffffffffe0000, 0xfffffffffffe0004, + 0xfffffffffffc0000, 0xfffffffffffc0008, + 0xfffffffffff80000, 0xfffffffffff80010, + 0xfffffffffff00000, 0xfffffffffff00020, + 0xffffffffffe00000, 0xffffffffffe00040, + 0xffffffffffc00000, 0xffffffffffc00080, + 0xffffffffff800000, 0xffffffffff800100, + 0xffffffffff000000, 0xffffffffff000200, + 0xfffffffffe000000, 0xfffffffffe000400, + 0xfffffffffc000000, 0xfffffffffc000800, + 0xfffffffff8000000, 0xfffffffff8001000, + 0xfffffffff0000000, 0xfffffffff0002000, + 0xffffffffe0000000, 0xffffffffe0004000, + 0xffffffffc0000000, 0xffffffffc0008000, + 0xffffffff80000000, 0xffffffff80010000, + 0xffffffff00000000, 0xffffffff00020000, + 0xfffffffe00000000, 0xfffffffe00040000, + 0xfffffffc00000000, 0xfffffffc00080000, + 0xfffffff800000000, 0xfffffff800100000, + 0xfffffff000000000, 0xfffffff000200000, + 0xffffffe000000000, 0xffffffe000400000, + 0xffffffc000000000, 0xffffffc000800000, + 0xffffff8000000000, 0xffffff8001000000, + 0xffffff0000000000, 0xffffff0002000000, + 0xfffffe0000000000, 0xfffffe0004000000, + 0xfffffc0000000000, 0xfffffc0008000000, + 0xfffff80000000000, 0xfffff80010000000, + 0xfffff00000000000, 0xfffff00020000000, + 0xffffe00000000000, 0xffffe00040000000, + 0xffffc00000000000, 0xffffc00080000000, + 0xffff800000000000, 0xffff800100000000, + 0xffff000000000000, 0xffff000200000000, + 0xfffe000000000000, 0xfffe000400000000, + 0xfffc000000000000, 0xfffc000800000000, + 0xfff8000000000000, 0xfff8001000000000, + 0xfff0000000000000, 0xfff0002000000000, + 0xffe0000000000000, 0xffe0004000000000, + 0xffc0000000000000, 0xffc0008000000000, + 0xff80000000000000, 0xff80010000000000, + 0xff00000000000000, 0xff00020000000000, + 0xfe00000000000000, 0xfe00040000000000, + 0xfc00000000000000, 0xfc00080000000000, + 0xf800000000000000, 0xf800100000000000, + 0xf000000000000000, 0xf000200000000000, + 0xe000000000000000, 0xe000400000000000, + 0xc000000000000000, 0xc000800000000000, + 0x8000000000000000, 0x8001000000000000, + 0x0000000000000000, 0x0002000000000000, + 0x0000000000000000, 0x0004000000000000, + 0x0000000000000000, 0x0008000000000000, + 0x0000000000000000, 0x0010000000000000, + 0x0000000000000000, 0x0020000000000000, + 0x0000000000000000, 0x0040000000000000, + 0x0000000000000000, 0x0080000000000000, + 0x0000000000000000, 0x0100000000000000, + 0x0000000000000000, 0x0200000000000000, + 0x0000000000000000, 0x0400000000000000, + 0x0000000000000000, 0x0800000000000000, + 0x0000000000000000, 0x1000000000000000, + 0x0000000000000000, 0x2000000000000000, + 0x0000000000000000, 0x4000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0xffffffffffff8001, 0xffffffffffff8002, + 0xffffffffffff0002, 0xffffffffffff0004, + 0xfffffffffffe0004, 0xfffffffffffe0008, + 0xfffffffffffc0008, 0xfffffffffffc0010, + 0xfffffffffff80010, 0xfffffffffff80020, + 0xfffffffffff00020, 0xfffffffffff00040, + 0xffffffffffe00040, 0xffffffffffe00080, + 0xffffffffffc00080, 0xffffffffffc00100, + 0xffffffffff800100, 0xffffffffff800200, + 0xffffffffff000200, 0xffffffffff000400, + 0xfffffffffe000400, 0xfffffffffe000800, + 0xfffffffffc000800, 0xfffffffffc001000, + 0xfffffffff8001000, 0xfffffffff8002000, + 0xfffffffff0002000, 0xfffffffff0004000, + 0xffffffffe0004000, 0xffffffffe0008000, + 0xffffffffc0008000, 0xffffffffc0010000, + 0xffffffff80010000, 0xffffffff80020000, + 0xffffffff00020000, 0xffffffff00040000, + 0xfffffffe00040000, 0xfffffffe00080000, + 0xfffffffc00080000, 0xfffffffc00100000, + 0xfffffff800100000, 0xfffffff800200000, + 0xfffffff000200000, 0xfffffff000400000, + 0xffffffe000400000, 0xffffffe000800000, + 0xffffffc000800000, 0xffffffc001000000, + 0xffffff8001000000, 0xffffff8002000000, + 0xffffff0002000000, 0xffffff0004000000, + 0xfffffe0004000000, 0xfffffe0008000000, + 0xfffffc0008000000, 0xfffffc0010000000, + 0xfffff80010000000, 0xfffff80020000000, + 0xfffff00020000000, 0xfffff00040000000, + 0xffffe00040000000, 0xffffe00080000000, + 0xffffc00080000000, 0xffffc00100000000, + 0xffff800100000000, 0xffff800200000000, + 0xffff000200000000, 0xffff000400000000, + 0xfffe000400000000, 0xfffe000800000000, + 0xfffc000800000000, 0xfffc001000000000, + 0xfff8001000000000, 0xfff8002000000000, + 0xfff0002000000000, 0xfff0004000000000, + 0xffe0004000000000, 0xffe0008000000000, + 0xffc0008000000000, 0xffc0010000000000, + 0xff80010000000000, 0xff80020000000000, + 0xff00020000000000, 0xff00040000000000, + 0xfe00040000000000, 0xfe00080000000000, + 0xfc00080000000000, 0xfc00100000000000, + 0xf800100000000000, 0xf800200000000000, + 0xf000200000000000, 0xf000400000000000, + 0xe000400000000000, 0xe000800000000000, + 0xc000800000000000, 0xc001000000000000, + 0x8001000000000000, 0x8002000000000000, + 0x0002000000000000, 0x0004000000000000, + 0x0004000000000000, 0x0008000000000000, + 0x0008000000000000, 0x0010000000000000, + 0x0010000000000000, 0x0020000000000000, + 0x0020000000000000, 0x0040000000000000, + 0x0040000000000000, 0x0080000000000000, + 0x0080000000000000, 0x0100000000000000, + 0x0100000000000000, 0x0200000000000000, + 0x0200000000000000, 0x0400000000000000, + 0x0400000000000000, 0x0800000000000000, + 0x0800000000000000, 0x1000000000000000, + 0x1000000000000000, 0x2000000000000000, + 0x2000000000000000, 0x4000000000000000, + 0x4000000000000000, 0x8000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0xffffffffffff8002, 0xffffffffffff8003, + 0xffffffffffff0004, 0xffffffffffff0006, + 0xfffffffffffe0008, 0xfffffffffffe000c, + 0xfffffffffffc0010, 0xfffffffffffc0018, + 0xfffffffffff80020, 0xfffffffffff80030, + 0xfffffffffff00040, 0xfffffffffff00060, + 0xffffffffffe00080, 0xffffffffffe000c0, + 0xffffffffffc00100, 0xffffffffffc00180, + 0xffffffffff800200, 0xffffffffff800300, + 0xffffffffff000400, 0xffffffffff000600, + 0xfffffffffe000800, 0xfffffffffe000c00, + 0xfffffffffc001000, 0xfffffffffc001800, + 0xfffffffff8002000, 0xfffffffff8003000, + 0xfffffffff0004000, 0xfffffffff0006000, + 0xffffffffe0008000, 0xffffffffe000c000, + 0xffffffffc0010000, 0xffffffffc0018000, + 0xffffffff80020000, 0xffffffff80030000, + 0xffffffff00040000, 0xffffffff00060000, + 0xfffffffe00080000, 0xfffffffe000c0000, + 0xfffffffc00100000, 0xfffffffc00180000, + 0xfffffff800200000, 0xfffffff800300000, + 0xfffffff000400000, 0xfffffff000600000, + 0xffffffe000800000, 0xffffffe000c00000, + 0xffffffc001000000, 0xffffffc001800000, + 0xffffff8002000000, 0xffffff8003000000, + 0xffffff0004000000, 0xffffff0006000000, + 0xfffffe0008000000, 0xfffffe000c000000, + 0xfffffc0010000000, 0xfffffc0018000000, + 0xfffff80020000000, 0xfffff80030000000, + 0xfffff00040000000, 0xfffff00060000000, + 0xffffe00080000000, 0xffffe000c0000000, + 0xffffc00100000000, 0xffffc00180000000, + 0xffff800200000000, 0xffff800300000000, + 0xffff000400000000, 0xffff000600000000, + 0xfffe000800000000, 0xfffe000c00000000, + 0xfffc001000000000, 0xfffc001800000000, + 0xfff8002000000000, 0xfff8003000000000, + 0xfff0004000000000, 0xfff0006000000000, + 0xffe0008000000000, 0xffe000c000000000, + 0xffc0010000000000, 0xffc0018000000000, + 0xff80020000000000, 0xff80030000000000, + 0xff00040000000000, 0xff00060000000000, + 0xfe00080000000000, 0xfe000c0000000000, + 0xfc00100000000000, 0xfc00180000000000, + 0xf800200000000000, 0xf800300000000000, + 0xf000400000000000, 0xf000600000000000, + 0xe000800000000000, 0xe000c00000000000, + 0xc001000000000000, 0xc001800000000000, + 0x8002000000000000, 0x8003000000000000, + 0x0004000000000000, 0x0006000000000000, + 0x0008000000000000, 0x000c000000000000, + 0x0010000000000000, 0x0018000000000000, + 0x0020000000000000, 0x0030000000000000, + 0x0040000000000000, 0x0060000000000000, + 0x0080000000000000, 0x00c0000000000000, + 0x0100000000000000, 0x0180000000000000, + 0x0200000000000000, 0x0300000000000000, + 0x0400000000000000, 0x0600000000000000, + 0x0800000000000000, 0x0c00000000000000, + 0x1000000000000000, 0x1800000000000000, + 0x2000000000000000, 0x3000000000000000, + 0x4000000000000000, 0x6000000000000000, + 0x8000000000000000, 0xc000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0xffffffffffff8003, 0xffffffffffffff80, + 0xffffffffffff0006, 0xffffffffffffff00, + 0xfffffffffffe000c, 0xfffffffffffffe00, + 0xfffffffffffc0018, 0xfffffffffffffc00, + 0xfffffffffff80030, 0xfffffffffffff800, + 0xfffffffffff00060, 0xfffffffffffff000, + 0xffffffffffe000c0, 0xffffffffffffe000, + 0xffffffffffc00180, 0xffffffffffffc000, + 0xffffffffff800300, 0xffffffffffff8000, + 0xffffffffff000600, 0xffffffffffff0000, + 0xfffffffffe000c00, 0xfffffffffffe0000, + 0xfffffffffc001800, 0xfffffffffffc0000, + 0xfffffffff8003000, 0xfffffffffff80000, + 0xfffffffff0006000, 0xfffffffffff00000, + 0xffffffffe000c000, 0xffffffffffe00000, + 0xffffffffc0018000, 0xffffffffffc00000, + 0xffffffff80030000, 0xffffffffff800000, + 0xffffffff00060000, 0xffffffffff000000, + 0xfffffffe000c0000, 0xfffffffffe000000, + 0xfffffffc00180000, 0xfffffffffc000000, + 0xfffffff800300000, 0xfffffffff8000000, + 0xfffffff000600000, 0xfffffffff0000000, + 0xffffffe000c00000, 0xffffffffe0000000, + 0xffffffc001800000, 0xffffffffc0000000, + 0xffffff8003000000, 0xffffffff80000000, + 0xffffff0006000000, 0xffffffff00000000, + 0xfffffe000c000000, 0xfffffffe00000000, + 0xfffffc0018000000, 0xfffffffc00000000, + 0xfffff80030000000, 0xfffffff800000000, + 0xfffff00060000000, 0xfffffff000000000, + 0xffffe000c0000000, 0xffffffe000000000, + 0xffffc00180000000, 0xffffffc000000000, + 0xffff800300000000, 0xffffff8000000000, + 0xffff000600000000, 0xffffff0000000000, + 0xfffe000c00000000, 0xfffffe0000000000, + 0xfffc001800000000, 0xfffffc0000000000, + 0xfff8003000000000, 0xfffff80000000000, + 0xfff0006000000000, 0xfffff00000000000, + 0xffe000c000000000, 0xffffe00000000000, + 0xffc0018000000000, 0xffffc00000000000, + 0xff80030000000000, 0xffff800000000000, + 0xff00060000000000, 0xffff000000000000, + 0xfe000c0000000000, 0xfffe000000000000, + 0xfc00180000000000, 0xfffc000000000000, + 0xf800300000000000, 0xfff8000000000000, + 0xf000600000000000, 0xfff0000000000000, + 0xe000c00000000000, 0xffe0000000000000, + 0xc001800000000000, 0xffc0000000000000, + 0x8003000000000000, 0xff80000000000000, + 0x0006000000000000, 0xff00000000000000, + 0x000c000000000000, 0xfe00000000000000, + 0x0018000000000000, 0xfc00000000000000, + 0x0030000000000000, 0xf800000000000000, + 0x0060000000000000, 0xf000000000000000, + 0x00c0000000000000, 0xe000000000000000, + 0x0180000000000000, 0xc000000000000000, + 0x0300000000000000, 0x8000000000000000, + 0x0600000000000000, 0x0000000000000000, + 0x0c00000000000000, 0x0000000000000000, + 0x1800000000000000, 0x0000000000000000, + 0x3000000000000000, 0x0000000000000000, + 0x6000000000000000, 0x0000000000000000, + 0xc000000000000000, 0x0000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0xffffffffffffff80, 0xffffffffffffff81, + 0xffffffffffffff00, 0xffffffffffffff02, + 0xfffffffffffffe00, 0xfffffffffffffe04, + 0xfffffffffffffc00, 0xfffffffffffffc08, + 0xfffffffffffff800, 0xfffffffffffff810, + 0xfffffffffffff000, 0xfffffffffffff020, + 0xffffffffffffe000, 0xffffffffffffe040, + 0xffffffffffffc000, 0xffffffffffffc080, + 0xffffffffffff8000, 0xffffffffffff8100, + 0xffffffffffff0000, 0xffffffffffff0200, + 0xfffffffffffe0000, 0xfffffffffffe0400, + 0xfffffffffffc0000, 0xfffffffffffc0800, + 0xfffffffffff80000, 0xfffffffffff81000, + 0xfffffffffff00000, 0xfffffffffff02000, + 0xffffffffffe00000, 0xffffffffffe04000, + 0xffffffffffc00000, 0xffffffffffc08000, + 0xffffffffff800000, 0xffffffffff810000, + 0xffffffffff000000, 0xffffffffff020000, + 0xfffffffffe000000, 0xfffffffffe040000, + 0xfffffffffc000000, 0xfffffffffc080000, + 0xfffffffff8000000, 0xfffffffff8100000, + 0xfffffffff0000000, 0xfffffffff0200000, + 0xffffffffe0000000, 0xffffffffe0400000, + 0xffffffffc0000000, 0xffffffffc0800000, + 0xffffffff80000000, 0xffffffff81000000, + 0xffffffff00000000, 0xffffffff02000000, + 0xfffffffe00000000, 0xfffffffe04000000, + 0xfffffffc00000000, 0xfffffffc08000000, + 0xfffffff800000000, 0xfffffff810000000, + 0xfffffff000000000, 0xfffffff020000000, + 0xffffffe000000000, 0xffffffe040000000, + 0xffffffc000000000, 0xffffffc080000000, + 0xffffff8000000000, 0xffffff8100000000, + 0xffffff0000000000, 0xffffff0200000000, + 0xfffffe0000000000, 0xfffffe0400000000, + 0xfffffc0000000000, 0xfffffc0800000000, + 0xfffff80000000000, 0xfffff81000000000, + 0xfffff00000000000, 0xfffff02000000000, + 0xffffe00000000000, 0xffffe04000000000, + 0xffffc00000000000, 0xffffc08000000000, + 0xffff800000000000, 0xffff810000000000, + 0xffff000000000000, 0xffff020000000000, + 0xfffe000000000000, 0xfffe040000000000, + 0xfffc000000000000, 0xfffc080000000000, + 0xfff8000000000000, 0xfff8100000000000, + 0xfff0000000000000, 0xfff0200000000000, + 0xffe0000000000000, 0xffe0400000000000, + 0xffc0000000000000, 0xffc0800000000000, + 0xff80000000000000, 0xff81000000000000, + 0xff00000000000000, 0xff02000000000000, + 0xfe00000000000000, 0xfe04000000000000, + 0xfc00000000000000, 0xfc08000000000000, + 0xf800000000000000, 0xf810000000000000, + 0xf000000000000000, 0xf020000000000000, + 0xe000000000000000, 0xe040000000000000, + 0xc000000000000000, 0xc080000000000000, + 0x8000000000000000, 0x8100000000000000, + 0x0000000000000000, 0x0200000000000000, + 0x0000000000000000, 0x0400000000000000, + 0x0000000000000000, 0x0800000000000000, + 0x0000000000000000, 0x1000000000000000, + 0x0000000000000000, 0x2000000000000000, + 0x0000000000000000, 0x4000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0xffffffffffffff81, 0xffffffffffffff82, + 0xffffffffffffff02, 0xffffffffffffff04, + 0xfffffffffffffe04, 0xfffffffffffffe08, + 0xfffffffffffffc08, 0xfffffffffffffc10, + 0xfffffffffffff810, 0xfffffffffffff820, + 0xfffffffffffff020, 0xfffffffffffff040, + 0xffffffffffffe040, 0xffffffffffffe080, + 0xffffffffffffc080, 0xffffffffffffc100, + 0xffffffffffff8100, 0xffffffffffff8200, + 0xffffffffffff0200, 0xffffffffffff0400, + 0xfffffffffffe0400, 0xfffffffffffe0800, + 0xfffffffffffc0800, 0xfffffffffffc1000, + 0xfffffffffff81000, 0xfffffffffff82000, + 0xfffffffffff02000, 0xfffffffffff04000, + 0xffffffffffe04000, 0xffffffffffe08000, + 0xffffffffffc08000, 0xffffffffffc10000, + 0xffffffffff810000, 0xffffffffff820000, + 0xffffffffff020000, 0xffffffffff040000, + 0xfffffffffe040000, 0xfffffffffe080000, + 0xfffffffffc080000, 0xfffffffffc100000, + 0xfffffffff8100000, 0xfffffffff8200000, + 0xfffffffff0200000, 0xfffffffff0400000, + 0xffffffffe0400000, 0xffffffffe0800000, + 0xffffffffc0800000, 0xffffffffc1000000, + 0xffffffff81000000, 0xffffffff82000000, + 0xffffffff02000000, 0xffffffff04000000, + 0xfffffffe04000000, 0xfffffffe08000000, + 0xfffffffc08000000, 0xfffffffc10000000, + 0xfffffff810000000, 0xfffffff820000000, + 0xfffffff020000000, 0xfffffff040000000, + 0xffffffe040000000, 0xffffffe080000000, + 0xffffffc080000000, 0xffffffc100000000, + 0xffffff8100000000, 0xffffff8200000000, + 0xffffff0200000000, 0xffffff0400000000, + 0xfffffe0400000000, 0xfffffe0800000000, + 0xfffffc0800000000, 0xfffffc1000000000, + 0xfffff81000000000, 0xfffff82000000000, + 0xfffff02000000000, 0xfffff04000000000, + 0xffffe04000000000, 0xffffe08000000000, + 0xffffc08000000000, 0xffffc10000000000, + 0xffff810000000000, 0xffff820000000000, + 0xffff020000000000, 0xffff040000000000, + 0xfffe040000000000, 0xfffe080000000000, + 0xfffc080000000000, 0xfffc100000000000, + 0xfff8100000000000, 0xfff8200000000000, + 0xfff0200000000000, 0xfff0400000000000, + 0xffe0400000000000, 0xffe0800000000000, + 0xffc0800000000000, 0xffc1000000000000, + 0xff81000000000000, 0xff82000000000000, + 0xff02000000000000, 0xff04000000000000, + 0xfe04000000000000, 0xfe08000000000000, + 0xfc08000000000000, 0xfc10000000000000, + 0xf810000000000000, 0xf820000000000000, + 0xf020000000000000, 0xf040000000000000, + 0xe040000000000000, 0xe080000000000000, + 0xc080000000000000, 0xc100000000000000, + 0x8100000000000000, 0x8200000000000000, + 0x0200000000000000, 0x0400000000000000, + 0x0400000000000000, 0x0800000000000000, + 0x0800000000000000, 0x1000000000000000, + 0x1000000000000000, 0x2000000000000000, + 0x2000000000000000, 0x4000000000000000, + 0x4000000000000000, 0x8000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0xffffffffffffff82, 0xffffffffffffff83, + 0xffffffffffffff04, 0xffffffffffffff06, + 0xfffffffffffffe08, 0xfffffffffffffe0c, + 0xfffffffffffffc10, 0xfffffffffffffc18, + 0xfffffffffffff820, 0xfffffffffffff830, + 0xfffffffffffff040, 0xfffffffffffff060, + 0xffffffffffffe080, 0xffffffffffffe0c0, + 0xffffffffffffc100, 0xffffffffffffc180, + 0xffffffffffff8200, 0xffffffffffff8300, + 0xffffffffffff0400, 0xffffffffffff0600, + 0xfffffffffffe0800, 0xfffffffffffe0c00, + 0xfffffffffffc1000, 0xfffffffffffc1800, + 0xfffffffffff82000, 0xfffffffffff83000, + 0xfffffffffff04000, 0xfffffffffff06000, + 0xffffffffffe08000, 0xffffffffffe0c000, + 0xffffffffffc10000, 0xffffffffffc18000, + 0xffffffffff820000, 0xffffffffff830000, + 0xffffffffff040000, 0xffffffffff060000, + 0xfffffffffe080000, 0xfffffffffe0c0000, + 0xfffffffffc100000, 0xfffffffffc180000, + 0xfffffffff8200000, 0xfffffffff8300000, + 0xfffffffff0400000, 0xfffffffff0600000, + 0xffffffffe0800000, 0xffffffffe0c00000, + 0xffffffffc1000000, 0xffffffffc1800000, + 0xffffffff82000000, 0xffffffff83000000, + 0xffffffff04000000, 0xffffffff06000000, + 0xfffffffe08000000, 0xfffffffe0c000000, + 0xfffffffc10000000, 0xfffffffc18000000, + 0xfffffff820000000, 0xfffffff830000000, + 0xfffffff040000000, 0xfffffff060000000, + 0xffffffe080000000, 0xffffffe0c0000000, + 0xffffffc100000000, 0xffffffc180000000, + 0xffffff8200000000, 0xffffff8300000000, + 0xffffff0400000000, 0xffffff0600000000, + 0xfffffe0800000000, 0xfffffe0c00000000, + 0xfffffc1000000000, 0xfffffc1800000000, + 0xfffff82000000000, 0xfffff83000000000, + 0xfffff04000000000, 0xfffff06000000000, + 0xffffe08000000000, 0xffffe0c000000000, + 0xffffc10000000000, 0xffffc18000000000, + 0xffff820000000000, 0xffff830000000000, + 0xffff040000000000, 0xffff060000000000, + 0xfffe080000000000, 0xfffe0c0000000000, + 0xfffc100000000000, 0xfffc180000000000, + 0xfff8200000000000, 0xfff8300000000000, + 0xfff0400000000000, 0xfff0600000000000, + 0xffe0800000000000, 0xffe0c00000000000, + 0xffc1000000000000, 0xffc1800000000000, + 0xff82000000000000, 0xff83000000000000, + 0xff04000000000000, 0xff06000000000000, + 0xfe08000000000000, 0xfe0c000000000000, + 0xfc10000000000000, 0xfc18000000000000, + 0xf820000000000000, 0xf830000000000000, + 0xf040000000000000, 0xf060000000000000, + 0xe080000000000000, 0xe0c0000000000000, + 0xc100000000000000, 0xc180000000000000, + 0x8200000000000000, 0x8300000000000000, + 0x0400000000000000, 0x0600000000000000, + 0x0800000000000000, 0x0c00000000000000, + 0x1000000000000000, 0x1800000000000000, + 0x2000000000000000, 0x3000000000000000, + 0x4000000000000000, 0x6000000000000000, + 0x8000000000000000, 0xc000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0xffffffffffffff83, 0xffffffffffffffc0, + 0xffffffffffffff06, 0xffffffffffffff80, + 0xfffffffffffffe0c, 0xffffffffffffff00, + 0xfffffffffffffc18, 0xfffffffffffffe00, + 0xfffffffffffff830, 0xfffffffffffffc00, + 0xfffffffffffff060, 0xfffffffffffff800, + 0xffffffffffffe0c0, 0xfffffffffffff000, + 0xffffffffffffc180, 0xffffffffffffe000, + 0xffffffffffff8300, 0xffffffffffffc000, + 0xffffffffffff0600, 0xffffffffffff8000, + 0xfffffffffffe0c00, 0xffffffffffff0000, + 0xfffffffffffc1800, 0xfffffffffffe0000, + 0xfffffffffff83000, 0xfffffffffffc0000, + 0xfffffffffff06000, 0xfffffffffff80000, + 0xffffffffffe0c000, 0xfffffffffff00000, + 0xffffffffffc18000, 0xffffffffffe00000, + 0xffffffffff830000, 0xffffffffffc00000, + 0xffffffffff060000, 0xffffffffff800000, + 0xfffffffffe0c0000, 0xffffffffff000000, + 0xfffffffffc180000, 0xfffffffffe000000, + 0xfffffffff8300000, 0xfffffffffc000000, + 0xfffffffff0600000, 0xfffffffff8000000, + 0xffffffffe0c00000, 0xfffffffff0000000, + 0xffffffffc1800000, 0xffffffffe0000000, + 0xffffffff83000000, 0xffffffffc0000000, + 0xffffffff06000000, 0xffffffff80000000, + 0xfffffffe0c000000, 0xffffffff00000000, + 0xfffffffc18000000, 0xfffffffe00000000, + 0xfffffff830000000, 0xfffffffc00000000, + 0xfffffff060000000, 0xfffffff800000000, + 0xffffffe0c0000000, 0xfffffff000000000, + 0xffffffc180000000, 0xffffffe000000000, + 0xffffff8300000000, 0xffffffc000000000, + 0xffffff0600000000, 0xffffff8000000000, + 0xfffffe0c00000000, 0xffffff0000000000, + 0xfffffc1800000000, 0xfffffe0000000000, + 0xfffff83000000000, 0xfffffc0000000000, + 0xfffff06000000000, 0xfffff80000000000, + 0xffffe0c000000000, 0xfffff00000000000, + 0xffffc18000000000, 0xffffe00000000000, + 0xffff830000000000, 0xffffc00000000000, + 0xffff060000000000, 0xffff800000000000, + 0xfffe0c0000000000, 0xffff000000000000, + 0xfffc180000000000, 0xfffe000000000000, + 0xfff8300000000000, 0xfffc000000000000, + 0xfff0600000000000, 0xfff8000000000000, + 0xffe0c00000000000, 0xfff0000000000000, + 0xffc1800000000000, 0xffe0000000000000, + 0xff83000000000000, 0xffc0000000000000, + 0xff06000000000000, 0xff80000000000000, + 0xfe0c000000000000, 0xff00000000000000, + 0xfc18000000000000, 0xfe00000000000000, + 0xf830000000000000, 0xfc00000000000000, + 0xf060000000000000, 0xf800000000000000, + 0xe0c0000000000000, 0xf000000000000000, + 0xc180000000000000, 0xe000000000000000, + 0x8300000000000000, 0xc000000000000000, + 0x0600000000000000, 0x8000000000000000, + 0x0c00000000000000, 0x0000000000000000, + 0x1800000000000000, 0x0000000000000000, + 0x3000000000000000, 0x0000000000000000, + 0x6000000000000000, 0x0000000000000000, + 0xc000000000000000, 0x0000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0xffffffffffffffc0, 0xfffffffffffffffd, + 0xffffffffffffff80, 0xfffffffffffffffa, + 0xffffffffffffff00, 0xfffffffffffffff4, + 0xfffffffffffffe00, 0xffffffffffffffe8, + 0xfffffffffffffc00, 0xffffffffffffffd0, + 0xfffffffffffff800, 0xffffffffffffffa0, + 0xfffffffffffff000, 0xffffffffffffff40, + 0xffffffffffffe000, 0xfffffffffffffe80, + 0xffffffffffffc000, 0xfffffffffffffd00, + 0xffffffffffff8000, 0xfffffffffffffa00, + 0xffffffffffff0000, 0xfffffffffffff400, + 0xfffffffffffe0000, 0xffffffffffffe800, + 0xfffffffffffc0000, 0xffffffffffffd000, + 0xfffffffffff80000, 0xffffffffffffa000, + 0xfffffffffff00000, 0xffffffffffff4000, + 0xffffffffffe00000, 0xfffffffffffe8000, + 0xffffffffffc00000, 0xfffffffffffd0000, + 0xffffffffff800000, 0xfffffffffffa0000, + 0xffffffffff000000, 0xfffffffffff40000, + 0xfffffffffe000000, 0xffffffffffe80000, + 0xfffffffffc000000, 0xffffffffffd00000, + 0xfffffffff8000000, 0xffffffffffa00000, + 0xfffffffff0000000, 0xffffffffff400000, + 0xffffffffe0000000, 0xfffffffffe800000, + 0xffffffffc0000000, 0xfffffffffd000000, + 0xffffffff80000000, 0xfffffffffa000000, + 0xffffffff00000000, 0xfffffffff4000000, + 0xfffffffe00000000, 0xffffffffe8000000, + 0xfffffffc00000000, 0xffffffffd0000000, + 0xfffffff800000000, 0xffffffffa0000000, + 0xfffffff000000000, 0xffffffff40000000, + 0xffffffe000000000, 0xfffffffe80000000, + 0xffffffc000000000, 0xfffffffd00000000, + 0xffffff8000000000, 0xfffffffa00000000, + 0xffffff0000000000, 0xfffffff400000000, + 0xfffffe0000000000, 0xffffffe800000000, + 0xfffffc0000000000, 0xffffffd000000000, + 0xfffff80000000000, 0xffffffa000000000, + 0xfffff00000000000, 0xffffff4000000000, + 0xffffe00000000000, 0xfffffe8000000000, + 0xffffc00000000000, 0xfffffd0000000000, + 0xffff800000000000, 0xfffffa0000000000, + 0xffff000000000000, 0xfffff40000000000, + 0xfffe000000000000, 0xffffe80000000000, + 0xfffc000000000000, 0xffffd00000000000, + 0xfff8000000000000, 0xffffa00000000000, + 0xfff0000000000000, 0xffff400000000000, + 0xffe0000000000000, 0xfffe800000000000, + 0xffc0000000000000, 0xfffd000000000000, + 0xff80000000000000, 0xfffa000000000000, + 0xff00000000000000, 0xfff4000000000000, + 0xfe00000000000000, 0xffe8000000000000, + 0xfc00000000000000, 0xffd0000000000000, + 0xf800000000000000, 0xffa0000000000000, + 0xf000000000000000, 0xff40000000000000, + 0xe000000000000000, 0xfe80000000000000, + 0xc000000000000000, 0xfd00000000000000, + 0x8000000000000000, 0xfa00000000000000, + 0x0000000000000000, 0xf400000000000000, + 0x0000000000000000, 0xe800000000000000, + 0x0000000000000000, 0xd000000000000000, + 0x0000000000000000, 0xa000000000000000, + 0x0000000000000000, 0x4000000000000000, + 0x0000000000000000, 0x8000000000000000, + 0xfffffffffffffffd, 0xfffffffffffffffe, + 0xfffffffffffffffa, 0xfffffffffffffffc, + 0xfffffffffffffff4, 0xfffffffffffffff8, + 0xffffffffffffffe8, 0xfffffffffffffff0, + 0xffffffffffffffd0, 0xffffffffffffffe0, + 0xffffffffffffffa0, 0xffffffffffffffc0, + 0xffffffffffffff40, 0xffffffffffffff80, + 0xfffffffffffffe80, 0xffffffffffffff00, + 0xfffffffffffffd00, 0xfffffffffffffe00, + 0xfffffffffffffa00, 0xfffffffffffffc00, + 0xfffffffffffff400, 0xfffffffffffff800, + 0xffffffffffffe800, 0xfffffffffffff000, + 0xffffffffffffd000, 0xffffffffffffe000, + 0xffffffffffffa000, 0xffffffffffffc000, + 0xffffffffffff4000, 0xffffffffffff8000, + 0xfffffffffffe8000, 0xffffffffffff0000, + 0xfffffffffffd0000, 0xfffffffffffe0000, + 0xfffffffffffa0000, 0xfffffffffffc0000, + 0xfffffffffff40000, 0xfffffffffff80000, + 0xffffffffffe80000, 0xfffffffffff00000, + 0xffffffffffd00000, 0xffffffffffe00000, + 0xffffffffffa00000, 0xffffffffffc00000, + 0xffffffffff400000, 0xffffffffff800000, + 0xfffffffffe800000, 0xffffffffff000000, + 0xfffffffffd000000, 0xfffffffffe000000, + 0xfffffffffa000000, 0xfffffffffc000000, + 0xfffffffff4000000, 0xfffffffff8000000, + 0xffffffffe8000000, 0xfffffffff0000000, + 0xffffffffd0000000, 0xffffffffe0000000, + 0xffffffffa0000000, 0xffffffffc0000000, + 0xffffffff40000000, 0xffffffff80000000, + 0xfffffffe80000000, 0xffffffff00000000, + 0xfffffffd00000000, 0xfffffffe00000000, + 0xfffffffa00000000, 0xfffffffc00000000, + 0xfffffff400000000, 0xfffffff800000000, + 0xffffffe800000000, 0xfffffff000000000, + 0xffffffd000000000, 0xffffffe000000000, + 0xffffffa000000000, 0xffffffc000000000, + 0xffffff4000000000, 0xffffff8000000000, + 0xfffffe8000000000, 0xffffff0000000000, + 0xfffffd0000000000, 0xfffffe0000000000, + 0xfffffa0000000000, 0xfffffc0000000000, + 0xfffff40000000000, 0xfffff80000000000, + 0xffffe80000000000, 0xfffff00000000000, + 0xffffd00000000000, 0xffffe00000000000, + 0xffffa00000000000, 0xffffc00000000000, + 0xffff400000000000, 0xffff800000000000, + 0xfffe800000000000, 0xffff000000000000, + 0xfffd000000000000, 0xfffe000000000000, + 0xfffa000000000000, 0xfffc000000000000, + 0xfff4000000000000, 0xfff8000000000000, + 0xffe8000000000000, 0xfff0000000000000, + 0xffd0000000000000, 0xffe0000000000000, + 0xffa0000000000000, 0xffc0000000000000, + 0xff40000000000000, 0xff80000000000000, + 0xfe80000000000000, 0xff00000000000000, + 0xfd00000000000000, 0xfe00000000000000, + 0xfa00000000000000, 0xfc00000000000000, + 0xf400000000000000, 0xf800000000000000, + 0xe800000000000000, 0xf000000000000000, + 0xd000000000000000, 0xe000000000000000, + 0xa000000000000000, 0xc000000000000000, + 0x4000000000000000, 0x8000000000000000, + 0x8000000000000000, 0x0000000000000000, + 0xfffffffffffffffe, 0xffffffffffffffff, + 0xfffffffffffffffc, 0xfffffffffffffffe, + 0xfffffffffffffff8, 0xfffffffffffffffc, + 0xfffffffffffffff0, 0xfffffffffffffff8, + 0xffffffffffffffe0, 0xfffffffffffffff0, + 0xffffffffffffffc0, 0xffffffffffffffe0, + 0xffffffffffffff80, 0xffffffffffffffc0, + 0xffffffffffffff00, 0xffffffffffffff80, + 0xfffffffffffffe00, 0xffffffffffffff00, + 0xfffffffffffffc00, 0xfffffffffffffe00, + 0xfffffffffffff800, 0xfffffffffffffc00, + 0xfffffffffffff000, 0xfffffffffffff800, + 0xffffffffffffe000, 0xfffffffffffff000, + 0xffffffffffffc000, 0xffffffffffffe000, + 0xffffffffffff8000, 0xffffffffffffc000, + 0xffffffffffff0000, 0xffffffffffff8000, + 0xfffffffffffe0000, 0xffffffffffff0000, + 0xfffffffffffc0000, 0xfffffffffffe0000, + 0xfffffffffff80000, 0xfffffffffffc0000, + 0xfffffffffff00000, 0xfffffffffff80000, + 0xffffffffffe00000, 0xfffffffffff00000, + 0xffffffffffc00000, 0xffffffffffe00000, + 0xffffffffff800000, 0xffffffffffc00000, + 0xffffffffff000000, 0xffffffffff800000, + 0xfffffffffe000000, 0xffffffffff000000, + 0xfffffffffc000000, 0xfffffffffe000000, + 0xfffffffff8000000, 0xfffffffffc000000, + 0xfffffffff0000000, 0xfffffffff8000000, + 0xffffffffe0000000, 0xfffffffff0000000, + 0xffffffffc0000000, 0xffffffffe0000000, + 0xffffffff80000000, 0xffffffffc0000000, + 0xffffffff00000000, 0xffffffff80000000, + 0xfffffffe00000000, 0xffffffff00000000, + 0xfffffffc00000000, 0xfffffffe00000000, + 0xfffffff800000000, 0xfffffffc00000000, + 0xfffffff000000000, 0xfffffff800000000, + 0xffffffe000000000, 0xfffffff000000000, + 0xffffffc000000000, 0xffffffe000000000, + 0xffffff8000000000, 0xffffffc000000000, + 0xffffff0000000000, 0xffffff8000000000, + 0xfffffe0000000000, 0xffffff0000000000, + 0xfffffc0000000000, 0xfffffe0000000000, + 0xfffff80000000000, 0xfffffc0000000000, + 0xfffff00000000000, 0xfffff80000000000, + 0xffffe00000000000, 0xfffff00000000000, + 0xffffc00000000000, 0xffffe00000000000, + 0xffff800000000000, 0xffffc00000000000, + 0xffff000000000000, 0xffff800000000000, + 0xfffe000000000000, 0xffff000000000000, + 0xfffc000000000000, 0xfffe000000000000, + 0xfff8000000000000, 0xfffc000000000000, + 0xfff0000000000000, 0xfff8000000000000, + 0xffe0000000000000, 0xfff0000000000000, + 0xffc0000000000000, 0xffe0000000000000, + 0xff80000000000000, 0xffc0000000000000, + 0xff00000000000000, 0xff80000000000000, + 0xfe00000000000000, 0xff00000000000000, + 0xfc00000000000000, 0xfe00000000000000, + 0xf800000000000000, 0xfc00000000000000, + 0xf000000000000000, 0xf800000000000000, + 0xe000000000000000, 0xf000000000000000, + 0xc000000000000000, 0xe000000000000000, + 0x8000000000000000, 0xc000000000000000, + 0x0000000000000000, 0x8000000000000000, +}; +const unsigned kExpectedCount_NEON_shl_2D_2OPIMM = 2560; + +#endif // VIXL_SIM_SHL_2D_2OPIMM_TRACE_AARCH64_H_ |