C++程序  |  2602行  |  57.02 KB

// 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_SQSHL_D_2OPIMM_TRACE_AARCH64_H_
#define VIXL_SIM_SQSHL_D_2OPIMM_TRACE_AARCH64_H_

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

#endif  // VIXL_SIM_SQSHL_D_2OPIMM_TRACE_AARCH64_H_