C++程序  |  2602行  |  57 KB

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


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

#ifndef VIXL_SIM_SLI_D_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_SLI_D_2OPIMM_TRACE_A64_H_

const uint64_t kExpected_NEON_sli_D_2OPIMM[] = {
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  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,
  0x0000000000000003,
  0x0000000000000007,
  0x000000000000000f,
  0x000000000000001f,
  0x000000000000003f,
  0x000000000000007f,
  0x00000000000000ff,
  0x00000000000001ff,
  0x00000000000003ff,
  0x00000000000007ff,
  0x0000000000000fff,
  0x0000000000001fff,
  0x0000000000003fff,
  0x0000000000007fff,
  0x000000000000ffff,
  0x000000000001ffff,
  0x000000000003ffff,
  0x000000000007ffff,
  0x00000000000fffff,
  0x00000000001fffff,
  0x00000000003fffff,
  0x00000000007fffff,
  0x0000000000ffffff,
  0x0000000001ffffff,
  0x0000000003ffffff,
  0x0000000007ffffff,
  0x000000000fffffff,
  0x000000001fffffff,
  0x000000003fffffff,
  0x000000007fffffff,
  0x00000000ffffffff,
  0x00000001ffffffff,
  0x00000003ffffffff,
  0x00000007ffffffff,
  0x0000000fffffffff,
  0x0000001fffffffff,
  0x0000003fffffffff,
  0x0000007fffffffff,
  0x000000ffffffffff,
  0x000001ffffffffff,
  0x000003ffffffffff,
  0x000007ffffffffff,
  0x00000fffffffffff,
  0x00001fffffffffff,
  0x00003fffffffffff,
  0x00007fffffffffff,
  0x0000ffffffffffff,
  0x0001ffffffffffff,
  0x0003ffffffffffff,
  0x0007ffffffffffff,
  0x000fffffffffffff,
  0x001fffffffffffff,
  0x003fffffffffffff,
  0x007fffffffffffff,
  0x00ffffffffffffff,
  0x01ffffffffffffff,
  0x03ffffffffffffff,
  0x07ffffffffffffff,
  0x0fffffffffffffff,
  0x1fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  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,
  0x8000000000000000,
  0x0000000000000000,
  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,
  0x8000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x000000000000007d,
  0x00000000000000fb,
  0x00000000000001f7,
  0x00000000000003ef,
  0x00000000000007df,
  0x0000000000000fbf,
  0x0000000000001f7f,
  0x0000000000003eff,
  0x0000000000007dff,
  0x000000000000fbff,
  0x000000000001f7ff,
  0x000000000003efff,
  0x000000000007dfff,
  0x00000000000fbfff,
  0x00000000001f7fff,
  0x00000000003effff,
  0x00000000007dffff,
  0x0000000000fbffff,
  0x0000000001f7ffff,
  0x0000000003efffff,
  0x0000000007dfffff,
  0x000000000fbfffff,
  0x000000001f7fffff,
  0x000000003effffff,
  0x000000007dffffff,
  0x00000000fbffffff,
  0x00000001f7ffffff,
  0x00000003efffffff,
  0x00000007dfffffff,
  0x0000000fbfffffff,
  0x0000001f7fffffff,
  0x0000003effffffff,
  0x0000007dffffffff,
  0x000000fbffffffff,
  0x000001f7ffffffff,
  0x000003efffffffff,
  0x000007dfffffffff,
  0x00000fbfffffffff,
  0x00001f7fffffffff,
  0x00003effffffffff,
  0x00007dffffffffff,
  0x0000fbffffffffff,
  0x0001f7ffffffffff,
  0x0003efffffffffff,
  0x0007dfffffffffff,
  0x000fbfffffffffff,
  0x001f7fffffffffff,
  0x003effffffffffff,
  0x007dffffffffffff,
  0x00fbffffffffffff,
  0x01f7ffffffffffff,
  0x03efffffffffffff,
  0x07dfffffffffffff,
  0x0fbfffffffffffff,
  0x1f7fffffffffffff,
  0x3effffffffffffff,
  0x7dffffffffffffff,
  0xfbffffffffffffff,
  0xf7ffffffffffffff,
  0xefffffffffffffff,
  0xdfffffffffffffff,
  0xbfffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  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,
  0xfc00000000000000,
  0xf800000000000000,
  0xf000000000000000,
  0xe000000000000000,
  0xc000000000000000,
  0x8000000000000000,
  0x0000000000000000,
  0x000000000000007f,
  0x00000000000000ff,
  0x00000000000001ff,
  0x00000000000003ff,
  0x00000000000007ff,
  0x0000000000000fff,
  0x0000000000001fff,
  0x0000000000003fff,
  0x0000000000007fff,
  0x000000000000ffff,
  0x000000000001ffff,
  0x000000000003ffff,
  0x000000000007ffff,
  0x00000000000fffff,
  0x00000000001fffff,
  0x00000000003fffff,
  0x00000000007fffff,
  0x0000000000ffffff,
  0x0000000001ffffff,
  0x0000000003ffffff,
  0x0000000007ffffff,
  0x000000000fffffff,
  0x000000001fffffff,
  0x000000003fffffff,
  0x000000007fffffff,
  0x00000000ffffffff,
  0x00000001ffffffff,
  0x00000003ffffffff,
  0x00000007ffffffff,
  0x0000000fffffffff,
  0x0000001fffffffff,
  0x0000003fffffffff,
  0x0000007fffffffff,
  0x000000ffffffffff,
  0x000001ffffffffff,
  0x000003ffffffffff,
  0x000007ffffffffff,
  0x00000fffffffffff,
  0x00001fffffffffff,
  0x00003fffffffffff,
  0x00007fffffffffff,
  0x0000ffffffffffff,
  0x0001ffffffffffff,
  0x0003ffffffffffff,
  0x0007ffffffffffff,
  0x000fffffffffffff,
  0x001fffffffffffff,
  0x003fffffffffffff,
  0x007fffffffffffff,
  0x00ffffffffffffff,
  0x01ffffffffffffff,
  0x03ffffffffffffff,
  0x07ffffffffffffff,
  0x0fffffffffffffff,
  0x1fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0x0000000000007ffd,
  0x000000000000fffb,
  0x000000000001fff7,
  0x000000000003ffef,
  0x000000000007ffdf,
  0x00000000000fffbf,
  0x00000000001fff7f,
  0x00000000003ffeff,
  0x00000000007ffdff,
  0x0000000000fffbff,
  0x0000000001fff7ff,
  0x0000000003ffefff,
  0x0000000007ffdfff,
  0x000000000fffbfff,
  0x000000001fff7fff,
  0x000000003ffeffff,
  0x000000007ffdffff,
  0x00000000fffbffff,
  0x00000001fff7ffff,
  0x00000003ffefffff,
  0x00000007ffdfffff,
  0x0000000fffbfffff,
  0x0000001fff7fffff,
  0x0000003ffeffffff,
  0x0000007ffdffffff,
  0x000000fffbffffff,
  0x000001fff7ffffff,
  0x000003ffefffffff,
  0x000007ffdfffffff,
  0x00000fffbfffffff,
  0x00001fff7fffffff,
  0x00003ffeffffffff,
  0x00007ffdffffffff,
  0x0000fffbffffffff,
  0x0001fff7ffffffff,
  0x0003ffefffffffff,
  0x0007ffdfffffffff,
  0x000fffbfffffffff,
  0x001fff7fffffffff,
  0x003ffeffffffffff,
  0x007ffdffffffffff,
  0x00fffbffffffffff,
  0x01fff7ffffffffff,
  0x03ffefffffffffff,
  0x07ffdfffffffffff,
  0x0fffbfffffffffff,
  0x1fff7fffffffffff,
  0x3ffeffffffffffff,
  0x7ffdffffffffffff,
  0xfffbffffffffffff,
  0xfff7ffffffffffff,
  0xffefffffffffffff,
  0xffdfffffffffffff,
  0xffbfffffffffffff,
  0xff7fffffffffffff,
  0xfeffffffffffffff,
  0xfdffffffffffffff,
  0xfbffffffffffffff,
  0xf7ffffffffffffff,
  0xefffffffffffffff,
  0xdfffffffffffffff,
  0xbfffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  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,
  0xfffc000000000000,
  0xfff8000000000000,
  0xfff0000000000000,
  0xffe0000000000000,
  0xffc0000000000000,
  0xff80000000000000,
  0xff00000000000000,
  0xfe00000000000000,
  0xfc00000000000000,
  0xf800000000000000,
  0xf000000000000000,
  0xe000000000000000,
  0xc000000000000000,
  0x8000000000000000,
  0x0000000000000000,
  0x0000000000007fff,
  0x000000000000ffff,
  0x000000000001ffff,
  0x000000000003ffff,
  0x000000000007ffff,
  0x00000000000fffff,
  0x00000000001fffff,
  0x00000000003fffff,
  0x00000000007fffff,
  0x0000000000ffffff,
  0x0000000001ffffff,
  0x0000000003ffffff,
  0x0000000007ffffff,
  0x000000000fffffff,
  0x000000001fffffff,
  0x000000003fffffff,
  0x000000007fffffff,
  0x00000000ffffffff,
  0x00000001ffffffff,
  0x00000003ffffffff,
  0x00000007ffffffff,
  0x0000000fffffffff,
  0x0000001fffffffff,
  0x0000003fffffffff,
  0x0000007fffffffff,
  0x000000ffffffffff,
  0x000001ffffffffff,
  0x000003ffffffffff,
  0x000007ffffffffff,
  0x00000fffffffffff,
  0x00001fffffffffff,
  0x00003fffffffffff,
  0x00007fffffffffff,
  0x0000ffffffffffff,
  0x0001ffffffffffff,
  0x0003ffffffffffff,
  0x0007ffffffffffff,
  0x000fffffffffffff,
  0x001fffffffffffff,
  0x003fffffffffffff,
  0x007fffffffffffff,
  0x00ffffffffffffff,
  0x01ffffffffffffff,
  0x03ffffffffffffff,
  0x07ffffffffffffff,
  0x0fffffffffffffff,
  0x1fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0x000000007ffffffd,
  0x00000000fffffffb,
  0x00000001fffffff7,
  0x00000003ffffffef,
  0x00000007ffffffdf,
  0x0000000fffffffbf,
  0x0000001fffffff7f,
  0x0000003ffffffeff,
  0x0000007ffffffdff,
  0x000000fffffffbff,
  0x000001fffffff7ff,
  0x000003ffffffefff,
  0x000007ffffffdfff,
  0x00000fffffffbfff,
  0x00001fffffff7fff,
  0x00003ffffffeffff,
  0x00007ffffffdffff,
  0x0000fffffffbffff,
  0x0001fffffff7ffff,
  0x0003ffffffefffff,
  0x0007ffffffdfffff,
  0x000fffffffbfffff,
  0x001fffffff7fffff,
  0x003ffffffeffffff,
  0x007ffffffdffffff,
  0x00fffffffbffffff,
  0x01fffffff7ffffff,
  0x03ffffffefffffff,
  0x07ffffffdfffffff,
  0x0fffffffbfffffff,
  0x1fffffff7fffffff,
  0x3ffffffeffffffff,
  0x7ffffffdffffffff,
  0xfffffffbffffffff,
  0xfffffff7ffffffff,
  0xffffffefffffffff,
  0xffffffdfffffffff,
  0xffffffbfffffffff,
  0xffffff7fffffffff,
  0xfffffeffffffffff,
  0xfffffdffffffffff,
  0xfffffbffffffffff,
  0xfffff7ffffffffff,
  0xffffefffffffffff,
  0xffffdfffffffffff,
  0xffffbfffffffffff,
  0xffff7fffffffffff,
  0xfffeffffffffffff,
  0xfffdffffffffffff,
  0xfffbffffffffffff,
  0xfff7ffffffffffff,
  0xffefffffffffffff,
  0xffdfffffffffffff,
  0xffbfffffffffffff,
  0xff7fffffffffffff,
  0xfeffffffffffffff,
  0xfdffffffffffffff,
  0xfbffffffffffffff,
  0xf7ffffffffffffff,
  0xefffffffffffffff,
  0xdfffffffffffffff,
  0xbfffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  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,
  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,
  0x000000007fffffff,
  0x00000000ffffffff,
  0x00000001ffffffff,
  0x00000003ffffffff,
  0x00000007ffffffff,
  0x0000000fffffffff,
  0x0000001fffffffff,
  0x0000003fffffffff,
  0x0000007fffffffff,
  0x000000ffffffffff,
  0x000001ffffffffff,
  0x000003ffffffffff,
  0x000007ffffffffff,
  0x00000fffffffffff,
  0x00001fffffffffff,
  0x00003fffffffffff,
  0x00007fffffffffff,
  0x0000ffffffffffff,
  0x0001ffffffffffff,
  0x0003ffffffffffff,
  0x0007ffffffffffff,
  0x000fffffffffffff,
  0x001fffffffffffff,
  0x003fffffffffffff,
  0x007fffffffffffff,
  0x00ffffffffffffff,
  0x01ffffffffffffff,
  0x03ffffffffffffff,
  0x07ffffffffffffff,
  0x0fffffffffffffff,
  0x1fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0x3333333333333333,
  0x6666666666666667,
  0xcccccccccccccccf,
  0x999999999999999f,
  0x333333333333333f,
  0x666666666666667f,
  0xccccccccccccccff,
  0x99999999999999ff,
  0x33333333333333ff,
  0x66666666666667ff,
  0xcccccccccccccfff,
  0x9999999999999fff,
  0x3333333333333fff,
  0x6666666666667fff,
  0xccccccccccccffff,
  0x999999999999ffff,
  0x333333333333ffff,
  0x666666666667ffff,
  0xcccccccccccfffff,
  0x99999999999fffff,
  0x33333333333fffff,
  0x66666666667fffff,
  0xccccccccccffffff,
  0x9999999999ffffff,
  0x3333333333ffffff,
  0x6666666667ffffff,
  0xcccccccccfffffff,
  0x999999999fffffff,
  0x333333333fffffff,
  0x666666667fffffff,
  0xccccccccffffffff,
  0x99999999ffffffff,
  0x33333333ffffffff,
  0x66666667ffffffff,
  0xcccccccfffffffff,
  0x9999999fffffffff,
  0x3333333fffffffff,
  0x6666667fffffffff,
  0xccccccffffffffff,
  0x999999ffffffffff,
  0x333333ffffffffff,
  0x666667ffffffffff,
  0xcccccfffffffffff,
  0x99999fffffffffff,
  0x33333fffffffffff,
  0x66667fffffffffff,
  0xccccffffffffffff,
  0x9999ffffffffffff,
  0x3333ffffffffffff,
  0x6667ffffffffffff,
  0xcccfffffffffffff,
  0x999fffffffffffff,
  0x333fffffffffffff,
  0x667fffffffffffff,
  0xccffffffffffffff,
  0x99ffffffffffffff,
  0x33ffffffffffffff,
  0x67ffffffffffffff,
  0xcfffffffffffffff,
  0x9fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0x5555555555555555,
  0xaaaaaaaaaaaaaaab,
  0x5555555555555557,
  0xaaaaaaaaaaaaaaaf,
  0x555555555555555f,
  0xaaaaaaaaaaaaaabf,
  0x555555555555557f,
  0xaaaaaaaaaaaaaaff,
  0x55555555555555ff,
  0xaaaaaaaaaaaaabff,
  0x55555555555557ff,
  0xaaaaaaaaaaaaafff,
  0x5555555555555fff,
  0xaaaaaaaaaaaabfff,
  0x5555555555557fff,
  0xaaaaaaaaaaaaffff,
  0x555555555555ffff,
  0xaaaaaaaaaaabffff,
  0x555555555557ffff,
  0xaaaaaaaaaaafffff,
  0x55555555555fffff,
  0xaaaaaaaaaabfffff,
  0x55555555557fffff,
  0xaaaaaaaaaaffffff,
  0x5555555555ffffff,
  0xaaaaaaaaabffffff,
  0x5555555557ffffff,
  0xaaaaaaaaafffffff,
  0x555555555fffffff,
  0xaaaaaaaabfffffff,
  0x555555557fffffff,
  0xaaaaaaaaffffffff,
  0x55555555ffffffff,
  0xaaaaaaabffffffff,
  0x55555557ffffffff,
  0xaaaaaaafffffffff,
  0x5555555fffffffff,
  0xaaaaaabfffffffff,
  0x5555557fffffffff,
  0xaaaaaaffffffffff,
  0x555555ffffffffff,
  0xaaaaabffffffffff,
  0x555557ffffffffff,
  0xaaaaafffffffffff,
  0x55555fffffffffff,
  0xaaaabfffffffffff,
  0x55557fffffffffff,
  0xaaaaffffffffffff,
  0x5555ffffffffffff,
  0xaaabffffffffffff,
  0x5557ffffffffffff,
  0xaaafffffffffffff,
  0x555fffffffffffff,
  0xaabfffffffffffff,
  0x557fffffffffffff,
  0xaaffffffffffffff,
  0x55ffffffffffffff,
  0xabffffffffffffff,
  0x57ffffffffffffff,
  0xafffffffffffffff,
  0x5fffffffffffffff,
  0xbfffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  0x7ffffffffffffffd,
  0xfffffffffffffffb,
  0xfffffffffffffff7,
  0xffffffffffffffef,
  0xffffffffffffffdf,
  0xffffffffffffffbf,
  0xffffffffffffff7f,
  0xfffffffffffffeff,
  0xfffffffffffffdff,
  0xfffffffffffffbff,
  0xfffffffffffff7ff,
  0xffffffffffffefff,
  0xffffffffffffdfff,
  0xffffffffffffbfff,
  0xffffffffffff7fff,
  0xfffffffffffeffff,
  0xfffffffffffdffff,
  0xfffffffffffbffff,
  0xfffffffffff7ffff,
  0xffffffffffefffff,
  0xffffffffffdfffff,
  0xffffffffffbfffff,
  0xffffffffff7fffff,
  0xfffffffffeffffff,
  0xfffffffffdffffff,
  0xfffffffffbffffff,
  0xfffffffff7ffffff,
  0xffffffffefffffff,
  0xffffffffdfffffff,
  0xffffffffbfffffff,
  0xffffffff7fffffff,
  0xfffffffeffffffff,
  0xfffffffdffffffff,
  0xfffffffbffffffff,
  0xfffffff7ffffffff,
  0xffffffefffffffff,
  0xffffffdfffffffff,
  0xffffffbfffffffff,
  0xffffff7fffffffff,
  0xfffffeffffffffff,
  0xfffffdffffffffff,
  0xfffffbffffffffff,
  0xfffff7ffffffffff,
  0xffffefffffffffff,
  0xffffdfffffffffff,
  0xffffbfffffffffff,
  0xffff7fffffffffff,
  0xfffeffffffffffff,
  0xfffdffffffffffff,
  0xfffbffffffffffff,
  0xfff7ffffffffffff,
  0xffefffffffffffff,
  0xffdfffffffffffff,
  0xffbfffffffffffff,
  0xff7fffffffffffff,
  0xfeffffffffffffff,
  0xfdffffffffffffff,
  0xfbffffffffffffff,
  0xf7ffffffffffffff,
  0xefffffffffffffff,
  0xdfffffffffffffff,
  0xbfffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  0x7ffffffffffffffe,
  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,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  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,
  0x8000000000000001,
  0x0000000000000003,
  0x0000000000000007,
  0x000000000000000f,
  0x000000000000001f,
  0x000000000000003f,
  0x000000000000007f,
  0x00000000000000ff,
  0x00000000000001ff,
  0x00000000000003ff,
  0x00000000000007ff,
  0x0000000000000fff,
  0x0000000000001fff,
  0x0000000000003fff,
  0x0000000000007fff,
  0x000000000000ffff,
  0x000000000001ffff,
  0x000000000003ffff,
  0x000000000007ffff,
  0x00000000000fffff,
  0x00000000001fffff,
  0x00000000003fffff,
  0x00000000007fffff,
  0x0000000000ffffff,
  0x0000000001ffffff,
  0x0000000003ffffff,
  0x0000000007ffffff,
  0x000000000fffffff,
  0x000000001fffffff,
  0x000000003fffffff,
  0x000000007fffffff,
  0x00000000ffffffff,
  0x00000001ffffffff,
  0x00000003ffffffff,
  0x00000007ffffffff,
  0x0000000fffffffff,
  0x0000001fffffffff,
  0x0000003fffffffff,
  0x0000007fffffffff,
  0x000000ffffffffff,
  0x000001ffffffffff,
  0x000003ffffffffff,
  0x000007ffffffffff,
  0x00000fffffffffff,
  0x00001fffffffffff,
  0x00003fffffffffff,
  0x00007fffffffffff,
  0x0000ffffffffffff,
  0x0001ffffffffffff,
  0x0003ffffffffffff,
  0x0007ffffffffffff,
  0x000fffffffffffff,
  0x001fffffffffffff,
  0x003fffffffffffff,
  0x007fffffffffffff,
  0x00ffffffffffffff,
  0x01ffffffffffffff,
  0x03ffffffffffffff,
  0x07ffffffffffffff,
  0x0fffffffffffffff,
  0x1fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  0x8000000000000002,
  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,
  0x8000000000000000,
  0x0000000000000000,
  0x8000000000000003,
  0x0000000000000007,
  0x000000000000000f,
  0x000000000000001f,
  0x000000000000003f,
  0x000000000000007f,
  0x00000000000000ff,
  0x00000000000001ff,
  0x00000000000003ff,
  0x00000000000007ff,
  0x0000000000000fff,
  0x0000000000001fff,
  0x0000000000003fff,
  0x0000000000007fff,
  0x000000000000ffff,
  0x000000000001ffff,
  0x000000000003ffff,
  0x000000000007ffff,
  0x00000000000fffff,
  0x00000000001fffff,
  0x00000000003fffff,
  0x00000000007fffff,
  0x0000000000ffffff,
  0x0000000001ffffff,
  0x0000000003ffffff,
  0x0000000007ffffff,
  0x000000000fffffff,
  0x000000001fffffff,
  0x000000003fffffff,
  0x000000007fffffff,
  0x00000000ffffffff,
  0x00000001ffffffff,
  0x00000003ffffffff,
  0x00000007ffffffff,
  0x0000000fffffffff,
  0x0000001fffffffff,
  0x0000003fffffffff,
  0x0000007fffffffff,
  0x000000ffffffffff,
  0x000001ffffffffff,
  0x000003ffffffffff,
  0x000007ffffffffff,
  0x00000fffffffffff,
  0x00001fffffffffff,
  0x00003fffffffffff,
  0x00007fffffffffff,
  0x0000ffffffffffff,
  0x0001ffffffffffff,
  0x0003ffffffffffff,
  0x0007ffffffffffff,
  0x000fffffffffffff,
  0x001fffffffffffff,
  0x003fffffffffffff,
  0x007fffffffffffff,
  0x00ffffffffffffff,
  0x01ffffffffffffff,
  0x03ffffffffffffff,
  0x07ffffffffffffff,
  0x0fffffffffffffff,
  0x1fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  0xaaaaaaaaaaaaaaaa,
  0x5555555555555554,
  0xaaaaaaaaaaaaaaa8,
  0x5555555555555550,
  0xaaaaaaaaaaaaaaa0,
  0x5555555555555540,
  0xaaaaaaaaaaaaaa80,
  0x5555555555555500,
  0xaaaaaaaaaaaaaa00,
  0x5555555555555400,
  0xaaaaaaaaaaaaa800,
  0x5555555555555000,
  0xaaaaaaaaaaaaa000,
  0x5555555555554000,
  0xaaaaaaaaaaaa8000,
  0x5555555555550000,
  0xaaaaaaaaaaaa0000,
  0x5555555555540000,
  0xaaaaaaaaaaa80000,
  0x5555555555500000,
  0xaaaaaaaaaaa00000,
  0x5555555555400000,
  0xaaaaaaaaaa800000,
  0x5555555555000000,
  0xaaaaaaaaaa000000,
  0x5555555554000000,
  0xaaaaaaaaa8000000,
  0x5555555550000000,
  0xaaaaaaaaa0000000,
  0x5555555540000000,
  0xaaaaaaaa80000000,
  0x5555555500000000,
  0xaaaaaaaa00000000,
  0x5555555400000000,
  0xaaaaaaa800000000,
  0x5555555000000000,
  0xaaaaaaa000000000,
  0x5555554000000000,
  0xaaaaaa8000000000,
  0x5555550000000000,
  0xaaaaaa0000000000,
  0x5555540000000000,
  0xaaaaa80000000000,
  0x5555500000000000,
  0xaaaaa00000000000,
  0x5555400000000000,
  0xaaaa800000000000,
  0x5555000000000000,
  0xaaaa000000000000,
  0x5554000000000000,
  0xaaa8000000000000,
  0x5550000000000000,
  0xaaa0000000000000,
  0x5540000000000000,
  0xaa80000000000000,
  0x5500000000000000,
  0xaa00000000000000,
  0x5400000000000000,
  0xa800000000000000,
  0x5000000000000000,
  0xa000000000000000,
  0x4000000000000000,
  0x8000000000000000,
  0x0000000000000000,
  0xcccccccccccccccc,
  0x9999999999999998,
  0x3333333333333330,
  0x6666666666666660,
  0xccccccccccccccc0,
  0x9999999999999980,
  0x3333333333333300,
  0x6666666666666600,
  0xcccccccccccccc00,
  0x9999999999999800,
  0x3333333333333000,
  0x6666666666666000,
  0xccccccccccccc000,
  0x9999999999998000,
  0x3333333333330000,
  0x6666666666660000,
  0xcccccccccccc0000,
  0x9999999999980000,
  0x3333333333300000,
  0x6666666666600000,
  0xccccccccccc00000,
  0x9999999999800000,
  0x3333333333000000,
  0x6666666666000000,
  0xcccccccccc000000,
  0x9999999998000000,
  0x3333333330000000,
  0x6666666660000000,
  0xccccccccc0000000,
  0x9999999980000000,
  0x3333333300000000,
  0x6666666600000000,
  0xcccccccc00000000,
  0x9999999800000000,
  0x3333333000000000,
  0x6666666000000000,
  0xccccccc000000000,
  0x9999998000000000,
  0x3333330000000000,
  0x6666660000000000,
  0xcccccc0000000000,
  0x9999980000000000,
  0x3333300000000000,
  0x6666600000000000,
  0xccccc00000000000,
  0x9999800000000000,
  0x3333000000000000,
  0x6666000000000000,
  0xcccc000000000000,
  0x9998000000000000,
  0x3330000000000000,
  0x6660000000000000,
  0xccc0000000000000,
  0x9980000000000000,
  0x3300000000000000,
  0x6600000000000000,
  0xcc00000000000000,
  0x9800000000000000,
  0x3000000000000000,
  0x6000000000000000,
  0xc000000000000000,
  0x8000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  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,
  0xffffffff80000001,
  0xffffffff00000003,
  0xfffffffe00000007,
  0xfffffffc0000000f,
  0xfffffff80000001f,
  0xfffffff00000003f,
  0xffffffe00000007f,
  0xffffffc0000000ff,
  0xffffff80000001ff,
  0xffffff00000003ff,
  0xfffffe00000007ff,
  0xfffffc0000000fff,
  0xfffff80000001fff,
  0xfffff00000003fff,
  0xffffe00000007fff,
  0xffffc0000000ffff,
  0xffff80000001ffff,
  0xffff00000003ffff,
  0xfffe00000007ffff,
  0xfffc0000000fffff,
  0xfff80000001fffff,
  0xfff00000003fffff,
  0xffe00000007fffff,
  0xffc0000000ffffff,
  0xff80000001ffffff,
  0xff00000003ffffff,
  0xfe00000007ffffff,
  0xfc0000000fffffff,
  0xf80000001fffffff,
  0xf00000003fffffff,
  0xe00000007fffffff,
  0xc0000000ffffffff,
  0x80000001ffffffff,
  0x00000003ffffffff,
  0x00000007ffffffff,
  0x0000000fffffffff,
  0x0000001fffffffff,
  0x0000003fffffffff,
  0x0000007fffffffff,
  0x000000ffffffffff,
  0x000001ffffffffff,
  0x000003ffffffffff,
  0x000007ffffffffff,
  0x00000fffffffffff,
  0x00001fffffffffff,
  0x00003fffffffffff,
  0x00007fffffffffff,
  0x0000ffffffffffff,
  0x0001ffffffffffff,
  0x0003ffffffffffff,
  0x0007ffffffffffff,
  0x000fffffffffffff,
  0x001fffffffffffff,
  0x003fffffffffffff,
  0x007fffffffffffff,
  0x00ffffffffffffff,
  0x01ffffffffffffff,
  0x03ffffffffffffff,
  0x07ffffffffffffff,
  0x0fffffffffffffff,
  0x1fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  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,
  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,
  0x8000000000000000,
  0x0000000000000000,
  0xffffffff80000003,
  0xffffffff00000007,
  0xfffffffe0000000f,
  0xfffffffc0000001f,
  0xfffffff80000003f,
  0xfffffff00000007f,
  0xffffffe0000000ff,
  0xffffffc0000001ff,
  0xffffff80000003ff,
  0xffffff00000007ff,
  0xfffffe0000000fff,
  0xfffffc0000001fff,
  0xfffff80000003fff,
  0xfffff00000007fff,
  0xffffe0000000ffff,
  0xffffc0000001ffff,
  0xffff80000003ffff,
  0xffff00000007ffff,
  0xfffe0000000fffff,
  0xfffc0000001fffff,
  0xfff80000003fffff,
  0xfff00000007fffff,
  0xffe0000000ffffff,
  0xffc0000001ffffff,
  0xff80000003ffffff,
  0xff00000007ffffff,
  0xfe0000000fffffff,
  0xfc0000001fffffff,
  0xf80000003fffffff,
  0xf00000007fffffff,
  0xe0000000ffffffff,
  0xc0000001ffffffff,
  0x80000003ffffffff,
  0x00000007ffffffff,
  0x0000000fffffffff,
  0x0000001fffffffff,
  0x0000003fffffffff,
  0x0000007fffffffff,
  0x000000ffffffffff,
  0x000001ffffffffff,
  0x000003ffffffffff,
  0x000007ffffffffff,
  0x00000fffffffffff,
  0x00001fffffffffff,
  0x00003fffffffffff,
  0x00007fffffffffff,
  0x0000ffffffffffff,
  0x0001ffffffffffff,
  0x0003ffffffffffff,
  0x0007ffffffffffff,
  0x000fffffffffffff,
  0x001fffffffffffff,
  0x003fffffffffffff,
  0x007fffffffffffff,
  0x00ffffffffffffff,
  0x01ffffffffffffff,
  0x03ffffffffffffff,
  0x07ffffffffffffff,
  0x0fffffffffffffff,
  0x1fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  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,
  0xffffffffffff8001,
  0xffffffffffff0003,
  0xfffffffffffe0007,
  0xfffffffffffc000f,
  0xfffffffffff8001f,
  0xfffffffffff0003f,
  0xffffffffffe0007f,
  0xffffffffffc000ff,
  0xffffffffff8001ff,
  0xffffffffff0003ff,
  0xfffffffffe0007ff,
  0xfffffffffc000fff,
  0xfffffffff8001fff,
  0xfffffffff0003fff,
  0xffffffffe0007fff,
  0xffffffffc000ffff,
  0xffffffff8001ffff,
  0xffffffff0003ffff,
  0xfffffffe0007ffff,
  0xfffffffc000fffff,
  0xfffffff8001fffff,
  0xfffffff0003fffff,
  0xffffffe0007fffff,
  0xffffffc000ffffff,
  0xffffff8001ffffff,
  0xffffff0003ffffff,
  0xfffffe0007ffffff,
  0xfffffc000fffffff,
  0xfffff8001fffffff,
  0xfffff0003fffffff,
  0xffffe0007fffffff,
  0xffffc000ffffffff,
  0xffff8001ffffffff,
  0xffff0003ffffffff,
  0xfffe0007ffffffff,
  0xfffc000fffffffff,
  0xfff8001fffffffff,
  0xfff0003fffffffff,
  0xffe0007fffffffff,
  0xffc000ffffffffff,
  0xff8001ffffffffff,
  0xff0003ffffffffff,
  0xfe0007ffffffffff,
  0xfc000fffffffffff,
  0xf8001fffffffffff,
  0xf0003fffffffffff,
  0xe0007fffffffffff,
  0xc000ffffffffffff,
  0x8001ffffffffffff,
  0x0003ffffffffffff,
  0x0007ffffffffffff,
  0x000fffffffffffff,
  0x001fffffffffffff,
  0x003fffffffffffff,
  0x007fffffffffffff,
  0x00ffffffffffffff,
  0x01ffffffffffffff,
  0x03ffffffffffffff,
  0x07ffffffffffffff,
  0x0fffffffffffffff,
  0x1fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  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,
  0x0004000000000000,
  0x0008000000000000,
  0x0010000000000000,
  0x0020000000000000,
  0x0040000000000000,
  0x0080000000000000,
  0x0100000000000000,
  0x0200000000000000,
  0x0400000000000000,
  0x0800000000000000,
  0x1000000000000000,
  0x2000000000000000,
  0x4000000000000000,
  0x8000000000000000,
  0x0000000000000000,
  0xffffffffffff8003,
  0xffffffffffff0007,
  0xfffffffffffe000f,
  0xfffffffffffc001f,
  0xfffffffffff8003f,
  0xfffffffffff0007f,
  0xffffffffffe000ff,
  0xffffffffffc001ff,
  0xffffffffff8003ff,
  0xffffffffff0007ff,
  0xfffffffffe000fff,
  0xfffffffffc001fff,
  0xfffffffff8003fff,
  0xfffffffff0007fff,
  0xffffffffe000ffff,
  0xffffffffc001ffff,
  0xffffffff8003ffff,
  0xffffffff0007ffff,
  0xfffffffe000fffff,
  0xfffffffc001fffff,
  0xfffffff8003fffff,
  0xfffffff0007fffff,
  0xffffffe000ffffff,
  0xffffffc001ffffff,
  0xffffff8003ffffff,
  0xffffff0007ffffff,
  0xfffffe000fffffff,
  0xfffffc001fffffff,
  0xfffff8003fffffff,
  0xfffff0007fffffff,
  0xffffe000ffffffff,
  0xffffc001ffffffff,
  0xffff8003ffffffff,
  0xffff0007ffffffff,
  0xfffe000fffffffff,
  0xfffc001fffffffff,
  0xfff8003fffffffff,
  0xfff0007fffffffff,
  0xffe000ffffffffff,
  0xffc001ffffffffff,
  0xff8003ffffffffff,
  0xff0007ffffffffff,
  0xfe000fffffffffff,
  0xfc001fffffffffff,
  0xf8003fffffffffff,
  0xf0007fffffffffff,
  0xe000ffffffffffff,
  0xc001ffffffffffff,
  0x8003ffffffffffff,
  0x0007ffffffffffff,
  0x000fffffffffffff,
  0x001fffffffffffff,
  0x003fffffffffffff,
  0x007fffffffffffff,
  0x00ffffffffffffff,
  0x01ffffffffffffff,
  0x03ffffffffffffff,
  0x07ffffffffffffff,
  0x0fffffffffffffff,
  0x1fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  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,
  0xffffffffffffff81,
  0xffffffffffffff03,
  0xfffffffffffffe07,
  0xfffffffffffffc0f,
  0xfffffffffffff81f,
  0xfffffffffffff03f,
  0xffffffffffffe07f,
  0xffffffffffffc0ff,
  0xffffffffffff81ff,
  0xffffffffffff03ff,
  0xfffffffffffe07ff,
  0xfffffffffffc0fff,
  0xfffffffffff81fff,
  0xfffffffffff03fff,
  0xffffffffffe07fff,
  0xffffffffffc0ffff,
  0xffffffffff81ffff,
  0xffffffffff03ffff,
  0xfffffffffe07ffff,
  0xfffffffffc0fffff,
  0xfffffffff81fffff,
  0xfffffffff03fffff,
  0xffffffffe07fffff,
  0xffffffffc0ffffff,
  0xffffffff81ffffff,
  0xffffffff03ffffff,
  0xfffffffe07ffffff,
  0xfffffffc0fffffff,
  0xfffffff81fffffff,
  0xfffffff03fffffff,
  0xffffffe07fffffff,
  0xffffffc0ffffffff,
  0xffffff81ffffffff,
  0xffffff03ffffffff,
  0xfffffe07ffffffff,
  0xfffffc0fffffffff,
  0xfffff81fffffffff,
  0xfffff03fffffffff,
  0xffffe07fffffffff,
  0xffffc0ffffffffff,
  0xffff81ffffffffff,
  0xffff03ffffffffff,
  0xfffe07ffffffffff,
  0xfffc0fffffffffff,
  0xfff81fffffffffff,
  0xfff03fffffffffff,
  0xffe07fffffffffff,
  0xffc0ffffffffffff,
  0xff81ffffffffffff,
  0xff03ffffffffffff,
  0xfe07ffffffffffff,
  0xfc0fffffffffffff,
  0xf81fffffffffffff,
  0xf03fffffffffffff,
  0xe07fffffffffffff,
  0xc0ffffffffffffff,
  0x81ffffffffffffff,
  0x03ffffffffffffff,
  0x07ffffffffffffff,
  0x0fffffffffffffff,
  0x1fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  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,
  0x0400000000000000,
  0x0800000000000000,
  0x1000000000000000,
  0x2000000000000000,
  0x4000000000000000,
  0x8000000000000000,
  0x0000000000000000,
  0xffffffffffffff83,
  0xffffffffffffff07,
  0xfffffffffffffe0f,
  0xfffffffffffffc1f,
  0xfffffffffffff83f,
  0xfffffffffffff07f,
  0xffffffffffffe0ff,
  0xffffffffffffc1ff,
  0xffffffffffff83ff,
  0xffffffffffff07ff,
  0xfffffffffffe0fff,
  0xfffffffffffc1fff,
  0xfffffffffff83fff,
  0xfffffffffff07fff,
  0xffffffffffe0ffff,
  0xffffffffffc1ffff,
  0xffffffffff83ffff,
  0xffffffffff07ffff,
  0xfffffffffe0fffff,
  0xfffffffffc1fffff,
  0xfffffffff83fffff,
  0xfffffffff07fffff,
  0xffffffffe0ffffff,
  0xffffffffc1ffffff,
  0xffffffff83ffffff,
  0xffffffff07ffffff,
  0xfffffffe0fffffff,
  0xfffffffc1fffffff,
  0xfffffff83fffffff,
  0xfffffff07fffffff,
  0xffffffe0ffffffff,
  0xffffffc1ffffffff,
  0xffffff83ffffffff,
  0xffffff07ffffffff,
  0xfffffe0fffffffff,
  0xfffffc1fffffffff,
  0xfffff83fffffffff,
  0xfffff07fffffffff,
  0xffffe0ffffffffff,
  0xffffc1ffffffffff,
  0xffff83ffffffffff,
  0xffff07ffffffffff,
  0xfffe0fffffffffff,
  0xfffc1fffffffffff,
  0xfff83fffffffffff,
  0xfff07fffffffffff,
  0xffe0ffffffffffff,
  0xffc1ffffffffffff,
  0xff83ffffffffffff,
  0xff07ffffffffffff,
  0xfe0fffffffffffff,
  0xfc1fffffffffffff,
  0xf83fffffffffffff,
  0xf07fffffffffffff,
  0xe0ffffffffffffff,
  0xc1ffffffffffffff,
  0x83ffffffffffffff,
  0x07ffffffffffffff,
  0x0fffffffffffffff,
  0x1fffffffffffffff,
  0x3fffffffffffffff,
  0x7fffffffffffffff,
  0xffffffffffffffff,
  0xffffffffffffffff,
  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,
  0xfffffffffffffffd,
  0xfffffffffffffffb,
  0xfffffffffffffff7,
  0xffffffffffffffef,
  0xffffffffffffffdf,
  0xffffffffffffffbf,
  0xffffffffffffff7f,
  0xfffffffffffffeff,
  0xfffffffffffffdff,
  0xfffffffffffffbff,
  0xfffffffffffff7ff,
  0xffffffffffffefff,
  0xffffffffffffdfff,
  0xffffffffffffbfff,
  0xffffffffffff7fff,
  0xfffffffffffeffff,
  0xfffffffffffdffff,
  0xfffffffffffbffff,
  0xfffffffffff7ffff,
  0xffffffffffefffff,
  0xffffffffffdfffff,
  0xffffffffffbfffff,
  0xffffffffff7fffff,
  0xfffffffffeffffff,
  0xfffffffffdffffff,
  0xfffffffffbffffff,
  0xfffffffff7ffffff,
  0xffffffffefffffff,
  0xffffffffdfffffff,
  0xffffffffbfffffff,
  0xffffffff7fffffff,
  0xfffffffeffffffff,
  0xfffffffdffffffff,
  0xfffffffbffffffff,
  0xfffffff7ffffffff,
  0xffffffefffffffff,
  0xffffffdfffffffff,
  0xffffffbfffffffff,
  0xffffff7fffffffff,
  0xfffffeffffffffff,
  0xfffffdffffffffff,
  0xfffffbffffffffff,
  0xfffff7ffffffffff,
  0xffffefffffffffff,
  0xffffdfffffffffff,
  0xffffbfffffffffff,
  0xffff7fffffffffff,
  0xfffeffffffffffff,
  0xfffdffffffffffff,
  0xfffbffffffffffff,
  0xfff7ffffffffffff,
  0xffefffffffffffff,
  0xffdfffffffffffff,
  0xffbfffffffffffff,
  0xff7fffffffffffff,
  0xfeffffffffffffff,
  0xfdffffffffffffff,
  0xfbffffffffffffff,
  0xf7ffffffffffffff,
  0xefffffffffffffff,
  0xdfffffffffffffff,
  0xbfffffffffffffff,
  0x7fffffffffffffff,
  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,
};
const unsigned kExpectedCount_NEON_sli_D_2OPIMM = 2560;

#endif  // VIXL_SIM_SLI_D_2OPIMM_TRACE_A64_H_