C++程序  |  2602行  |  107 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_2D_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_SLI_2D_2OPIMM_TRACE_A64_H_

const uint64_t kExpected_NEON_sli_2D_2OPIMM[] = {
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000003,
  0x0000000000000000, 0x0000000000000007,
  0x0000000000000000, 0x000000000000000f,
  0x0000000000000000, 0x000000000000001f,
  0x0000000000000000, 0x000000000000003f,
  0x0000000000000000, 0x000000000000007f,
  0x0000000000000000, 0x00000000000000ff,
  0x0000000000000000, 0x00000000000001ff,
  0x0000000000000000, 0x00000000000003ff,
  0x0000000000000000, 0x00000000000007ff,
  0x0000000000000000, 0x0000000000000fff,
  0x0000000000000000, 0x0000000000001fff,
  0x0000000000000000, 0x0000000000003fff,
  0x0000000000000000, 0x0000000000007fff,
  0x0000000000000000, 0x000000000000ffff,
  0x0000000000000000, 0x000000000001ffff,
  0x0000000000000000, 0x000000000003ffff,
  0x0000000000000000, 0x000000000007ffff,
  0x0000000000000000, 0x00000000000fffff,
  0x0000000000000000, 0x00000000001fffff,
  0x0000000000000000, 0x00000000003fffff,
  0x0000000000000000, 0x00000000007fffff,
  0x0000000000000000, 0x0000000000ffffff,
  0x0000000000000000, 0x0000000001ffffff,
  0x0000000000000000, 0x0000000003ffffff,
  0x0000000000000000, 0x0000000007ffffff,
  0x0000000000000000, 0x000000000fffffff,
  0x0000000000000000, 0x000000001fffffff,
  0x0000000000000000, 0x000000003fffffff,
  0x0000000000000000, 0x000000007fffffff,
  0x0000000000000000, 0x00000000ffffffff,
  0x0000000000000000, 0x00000001ffffffff,
  0x0000000000000000, 0x00000003ffffffff,
  0x0000000000000000, 0x00000007ffffffff,
  0x0000000000000000, 0x0000000fffffffff,
  0x0000000000000000, 0x0000001fffffffff,
  0x0000000000000000, 0x0000003fffffffff,
  0x0000000000000000, 0x0000007fffffffff,
  0x0000000000000000, 0x000000ffffffffff,
  0x0000000000000000, 0x000001ffffffffff,
  0x0000000000000000, 0x000003ffffffffff,
  0x0000000000000000, 0x000007ffffffffff,
  0x0000000000000000, 0x00000fffffffffff,
  0x0000000000000000, 0x00001fffffffffff,
  0x0000000000000000, 0x00003fffffffffff,
  0x0000000000000000, 0x00007fffffffffff,
  0x0000000000000000, 0x0000ffffffffffff,
  0x0000000000000000, 0x0001ffffffffffff,
  0x0000000000000000, 0x0003ffffffffffff,
  0x0000000000000000, 0x0007ffffffffffff,
  0x0000000000000000, 0x000fffffffffffff,
  0x0000000000000000, 0x001fffffffffffff,
  0x0000000000000000, 0x003fffffffffffff,
  0x0000000000000000, 0x007fffffffffffff,
  0x0000000000000000, 0x00ffffffffffffff,
  0x0000000000000000, 0x01ffffffffffffff,
  0x0000000000000000, 0x03ffffffffffffff,
  0x0000000000000000, 0x07ffffffffffffff,
  0x0000000000000000, 0x0fffffffffffffff,
  0x0000000000000000, 0x1fffffffffffffff,
  0x0000000000000000, 0x3fffffffffffffff,
  0x0000000000000000, 0x7fffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0x0000000000000001, 0x0000000000000002,
  0x0000000000000003, 0x0000000000000004,
  0x0000000000000007, 0x0000000000000008,
  0x000000000000000f, 0x0000000000000010,
  0x000000000000001f, 0x0000000000000020,
  0x000000000000003f, 0x0000000000000040,
  0x000000000000007f, 0x0000000000000080,
  0x00000000000000ff, 0x0000000000000100,
  0x00000000000001ff, 0x0000000000000200,
  0x00000000000003ff, 0x0000000000000400,
  0x00000000000007ff, 0x0000000000000800,
  0x0000000000000fff, 0x0000000000001000,
  0x0000000000001fff, 0x0000000000002000,
  0x0000000000003fff, 0x0000000000004000,
  0x0000000000007fff, 0x0000000000008000,
  0x000000000000ffff, 0x0000000000010000,
  0x000000000001ffff, 0x0000000000020000,
  0x000000000003ffff, 0x0000000000040000,
  0x000000000007ffff, 0x0000000000080000,
  0x00000000000fffff, 0x0000000000100000,
  0x00000000001fffff, 0x0000000000200000,
  0x00000000003fffff, 0x0000000000400000,
  0x00000000007fffff, 0x0000000000800000,
  0x0000000000ffffff, 0x0000000001000000,
  0x0000000001ffffff, 0x0000000002000000,
  0x0000000003ffffff, 0x0000000004000000,
  0x0000000007ffffff, 0x0000000008000000,
  0x000000000fffffff, 0x0000000010000000,
  0x000000001fffffff, 0x0000000020000000,
  0x000000003fffffff, 0x0000000040000000,
  0x000000007fffffff, 0x0000000080000000,
  0x00000000ffffffff, 0x0000000100000000,
  0x00000001ffffffff, 0x0000000200000000,
  0x00000003ffffffff, 0x0000000400000000,
  0x00000007ffffffff, 0x0000000800000000,
  0x0000000fffffffff, 0x0000001000000000,
  0x0000001fffffffff, 0x0000002000000000,
  0x0000003fffffffff, 0x0000004000000000,
  0x0000007fffffffff, 0x0000008000000000,
  0x000000ffffffffff, 0x0000010000000000,
  0x000001ffffffffff, 0x0000020000000000,
  0x000003ffffffffff, 0x0000040000000000,
  0x000007ffffffffff, 0x0000080000000000,
  0x00000fffffffffff, 0x0000100000000000,
  0x00001fffffffffff, 0x0000200000000000,
  0x00003fffffffffff, 0x0000400000000000,
  0x00007fffffffffff, 0x0000800000000000,
  0x0000ffffffffffff, 0x0001000000000000,
  0x0001ffffffffffff, 0x0002000000000000,
  0x0003ffffffffffff, 0x0004000000000000,
  0x0007ffffffffffff, 0x0008000000000000,
  0x000fffffffffffff, 0x0010000000000000,
  0x001fffffffffffff, 0x0020000000000000,
  0x003fffffffffffff, 0x0040000000000000,
  0x007fffffffffffff, 0x0080000000000000,
  0x00ffffffffffffff, 0x0100000000000000,
  0x01ffffffffffffff, 0x0200000000000000,
  0x03ffffffffffffff, 0x0400000000000000,
  0x07ffffffffffffff, 0x0800000000000000,
  0x0fffffffffffffff, 0x1000000000000000,
  0x1fffffffffffffff, 0x2000000000000000,
  0x3fffffffffffffff, 0x4000000000000000,
  0x7fffffffffffffff, 0x8000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x0000000000000002, 0x0000000000000040,
  0x0000000000000004, 0x0000000000000080,
  0x0000000000000008, 0x0000000000000100,
  0x0000000000000010, 0x0000000000000200,
  0x0000000000000020, 0x0000000000000400,
  0x0000000000000040, 0x0000000000000800,
  0x0000000000000080, 0x0000000000001000,
  0x0000000000000100, 0x0000000000002000,
  0x0000000000000200, 0x0000000000004000,
  0x0000000000000400, 0x0000000000008000,
  0x0000000000000800, 0x0000000000010000,
  0x0000000000001000, 0x0000000000020000,
  0x0000000000002000, 0x0000000000040000,
  0x0000000000004000, 0x0000000000080000,
  0x0000000000008000, 0x0000000000100000,
  0x0000000000010000, 0x0000000000200000,
  0x0000000000020000, 0x0000000000400000,
  0x0000000000040000, 0x0000000000800000,
  0x0000000000080000, 0x0000000001000000,
  0x0000000000100000, 0x0000000002000000,
  0x0000000000200000, 0x0000000004000000,
  0x0000000000400000, 0x0000000008000000,
  0x0000000000800000, 0x0000000010000000,
  0x0000000001000000, 0x0000000020000000,
  0x0000000002000000, 0x0000000040000000,
  0x0000000004000000, 0x0000000080000000,
  0x0000000008000000, 0x0000000100000000,
  0x0000000010000000, 0x0000000200000000,
  0x0000000020000000, 0x0000000400000000,
  0x0000000040000000, 0x0000000800000000,
  0x0000000080000000, 0x0000001000000000,
  0x0000000100000000, 0x0000002000000000,
  0x0000000200000000, 0x0000004000000000,
  0x0000000400000000, 0x0000008000000000,
  0x0000000800000000, 0x0000010000000000,
  0x0000001000000000, 0x0000020000000000,
  0x0000002000000000, 0x0000040000000000,
  0x0000004000000000, 0x0000080000000000,
  0x0000008000000000, 0x0000100000000000,
  0x0000010000000000, 0x0000200000000000,
  0x0000020000000000, 0x0000400000000000,
  0x0000040000000000, 0x0000800000000000,
  0x0000080000000000, 0x0001000000000000,
  0x0000100000000000, 0x0002000000000000,
  0x0000200000000000, 0x0004000000000000,
  0x0000400000000000, 0x0008000000000000,
  0x0000800000000000, 0x0010000000000000,
  0x0001000000000000, 0x0020000000000000,
  0x0002000000000000, 0x0040000000000000,
  0x0004000000000000, 0x0080000000000000,
  0x0008000000000000, 0x0100000000000000,
  0x0010000000000000, 0x0200000000000000,
  0x0020000000000000, 0x0400000000000000,
  0x0040000000000000, 0x0800000000000000,
  0x0080000000000000, 0x1000000000000000,
  0x0100000000000000, 0x2000000000000000,
  0x0200000000000000, 0x4000000000000000,
  0x0400000000000000, 0x8000000000000000,
  0x0800000000000000, 0x0000000000000000,
  0x1000000000000000, 0x0000000000000000,
  0x2000000000000000, 0x0000000000000000,
  0x4000000000000000, 0x0000000000000000,
  0x8000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000040, 0x000000000000007d,
  0x0000000000000080, 0x00000000000000fb,
  0x0000000000000100, 0x00000000000001f7,
  0x0000000000000200, 0x00000000000003ef,
  0x0000000000000400, 0x00000000000007df,
  0x0000000000000800, 0x0000000000000fbf,
  0x0000000000001000, 0x0000000000001f7f,
  0x0000000000002000, 0x0000000000003eff,
  0x0000000000004000, 0x0000000000007dff,
  0x0000000000008000, 0x000000000000fbff,
  0x0000000000010000, 0x000000000001f7ff,
  0x0000000000020000, 0x000000000003efff,
  0x0000000000040000, 0x000000000007dfff,
  0x0000000000080000, 0x00000000000fbfff,
  0x0000000000100000, 0x00000000001f7fff,
  0x0000000000200000, 0x00000000003effff,
  0x0000000000400000, 0x00000000007dffff,
  0x0000000000800000, 0x0000000000fbffff,
  0x0000000001000000, 0x0000000001f7ffff,
  0x0000000002000000, 0x0000000003efffff,
  0x0000000004000000, 0x0000000007dfffff,
  0x0000000008000000, 0x000000000fbfffff,
  0x0000000010000000, 0x000000001f7fffff,
  0x0000000020000000, 0x000000003effffff,
  0x0000000040000000, 0x000000007dffffff,
  0x0000000080000000, 0x00000000fbffffff,
  0x0000000100000000, 0x00000001f7ffffff,
  0x0000000200000000, 0x00000003efffffff,
  0x0000000400000000, 0x00000007dfffffff,
  0x0000000800000000, 0x0000000fbfffffff,
  0x0000001000000000, 0x0000001f7fffffff,
  0x0000002000000000, 0x0000003effffffff,
  0x0000004000000000, 0x0000007dffffffff,
  0x0000008000000000, 0x000000fbffffffff,
  0x0000010000000000, 0x000001f7ffffffff,
  0x0000020000000000, 0x000003efffffffff,
  0x0000040000000000, 0x000007dfffffffff,
  0x0000080000000000, 0x00000fbfffffffff,
  0x0000100000000000, 0x00001f7fffffffff,
  0x0000200000000000, 0x00003effffffffff,
  0x0000400000000000, 0x00007dffffffffff,
  0x0000800000000000, 0x0000fbffffffffff,
  0x0001000000000000, 0x0001f7ffffffffff,
  0x0002000000000000, 0x0003efffffffffff,
  0x0004000000000000, 0x0007dfffffffffff,
  0x0008000000000000, 0x000fbfffffffffff,
  0x0010000000000000, 0x001f7fffffffffff,
  0x0020000000000000, 0x003effffffffffff,
  0x0040000000000000, 0x007dffffffffffff,
  0x0080000000000000, 0x00fbffffffffffff,
  0x0100000000000000, 0x01f7ffffffffffff,
  0x0200000000000000, 0x03efffffffffffff,
  0x0400000000000000, 0x07dfffffffffffff,
  0x0800000000000000, 0x0fbfffffffffffff,
  0x1000000000000000, 0x1f7fffffffffffff,
  0x2000000000000000, 0x3effffffffffffff,
  0x4000000000000000, 0x7dffffffffffffff,
  0x8000000000000000, 0xfbffffffffffffff,
  0x0000000000000000, 0xf7ffffffffffffff,
  0x0000000000000000, 0xefffffffffffffff,
  0x0000000000000000, 0xdfffffffffffffff,
  0x0000000000000000, 0xbfffffffffffffff,
  0x0000000000000000, 0x7fffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0x000000000000007d, 0x000000000000007e,
  0x00000000000000fb, 0x00000000000000fc,
  0x00000000000001f7, 0x00000000000001f8,
  0x00000000000003ef, 0x00000000000003f0,
  0x00000000000007df, 0x00000000000007e0,
  0x0000000000000fbf, 0x0000000000000fc0,
  0x0000000000001f7f, 0x0000000000001f80,
  0x0000000000003eff, 0x0000000000003f00,
  0x0000000000007dff, 0x0000000000007e00,
  0x000000000000fbff, 0x000000000000fc00,
  0x000000000001f7ff, 0x000000000001f800,
  0x000000000003efff, 0x000000000003f000,
  0x000000000007dfff, 0x000000000007e000,
  0x00000000000fbfff, 0x00000000000fc000,
  0x00000000001f7fff, 0x00000000001f8000,
  0x00000000003effff, 0x00000000003f0000,
  0x00000000007dffff, 0x00000000007e0000,
  0x0000000000fbffff, 0x0000000000fc0000,
  0x0000000001f7ffff, 0x0000000001f80000,
  0x0000000003efffff, 0x0000000003f00000,
  0x0000000007dfffff, 0x0000000007e00000,
  0x000000000fbfffff, 0x000000000fc00000,
  0x000000001f7fffff, 0x000000001f800000,
  0x000000003effffff, 0x000000003f000000,
  0x000000007dffffff, 0x000000007e000000,
  0x00000000fbffffff, 0x00000000fc000000,
  0x00000001f7ffffff, 0x00000001f8000000,
  0x00000003efffffff, 0x00000003f0000000,
  0x00000007dfffffff, 0x00000007e0000000,
  0x0000000fbfffffff, 0x0000000fc0000000,
  0x0000001f7fffffff, 0x0000001f80000000,
  0x0000003effffffff, 0x0000003f00000000,
  0x0000007dffffffff, 0x0000007e00000000,
  0x000000fbffffffff, 0x000000fc00000000,
  0x000001f7ffffffff, 0x000001f800000000,
  0x000003efffffffff, 0x000003f000000000,
  0x000007dfffffffff, 0x000007e000000000,
  0x00000fbfffffffff, 0x00000fc000000000,
  0x00001f7fffffffff, 0x00001f8000000000,
  0x00003effffffffff, 0x00003f0000000000,
  0x00007dffffffffff, 0x00007e0000000000,
  0x0000fbffffffffff, 0x0000fc0000000000,
  0x0001f7ffffffffff, 0x0001f80000000000,
  0x0003efffffffffff, 0x0003f00000000000,
  0x0007dfffffffffff, 0x0007e00000000000,
  0x000fbfffffffffff, 0x000fc00000000000,
  0x001f7fffffffffff, 0x001f800000000000,
  0x003effffffffffff, 0x003f000000000000,
  0x007dffffffffffff, 0x007e000000000000,
  0x00fbffffffffffff, 0x00fc000000000000,
  0x01f7ffffffffffff, 0x01f8000000000000,
  0x03efffffffffffff, 0x03f0000000000000,
  0x07dfffffffffffff, 0x07e0000000000000,
  0x0fbfffffffffffff, 0x0fc0000000000000,
  0x1f7fffffffffffff, 0x1f80000000000000,
  0x3effffffffffffff, 0x3f00000000000000,
  0x7dffffffffffffff, 0x7e00000000000000,
  0xfbffffffffffffff, 0xfc00000000000000,
  0xf7ffffffffffffff, 0xf800000000000000,
  0xefffffffffffffff, 0xf000000000000000,
  0xdfffffffffffffff, 0xe000000000000000,
  0xbfffffffffffffff, 0xc000000000000000,
  0x7fffffffffffffff, 0x8000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x000000000000007e, 0x000000000000007f,
  0x00000000000000fc, 0x00000000000000ff,
  0x00000000000001f8, 0x00000000000001ff,
  0x00000000000003f0, 0x00000000000003ff,
  0x00000000000007e0, 0x00000000000007ff,
  0x0000000000000fc0, 0x0000000000000fff,
  0x0000000000001f80, 0x0000000000001fff,
  0x0000000000003f00, 0x0000000000003fff,
  0x0000000000007e00, 0x0000000000007fff,
  0x000000000000fc00, 0x000000000000ffff,
  0x000000000001f800, 0x000000000001ffff,
  0x000000000003f000, 0x000000000003ffff,
  0x000000000007e000, 0x000000000007ffff,
  0x00000000000fc000, 0x00000000000fffff,
  0x00000000001f8000, 0x00000000001fffff,
  0x00000000003f0000, 0x00000000003fffff,
  0x00000000007e0000, 0x00000000007fffff,
  0x0000000000fc0000, 0x0000000000ffffff,
  0x0000000001f80000, 0x0000000001ffffff,
  0x0000000003f00000, 0x0000000003ffffff,
  0x0000000007e00000, 0x0000000007ffffff,
  0x000000000fc00000, 0x000000000fffffff,
  0x000000001f800000, 0x000000001fffffff,
  0x000000003f000000, 0x000000003fffffff,
  0x000000007e000000, 0x000000007fffffff,
  0x00000000fc000000, 0x00000000ffffffff,
  0x00000001f8000000, 0x00000001ffffffff,
  0x00000003f0000000, 0x00000003ffffffff,
  0x00000007e0000000, 0x00000007ffffffff,
  0x0000000fc0000000, 0x0000000fffffffff,
  0x0000001f80000000, 0x0000001fffffffff,
  0x0000003f00000000, 0x0000003fffffffff,
  0x0000007e00000000, 0x0000007fffffffff,
  0x000000fc00000000, 0x000000ffffffffff,
  0x000001f800000000, 0x000001ffffffffff,
  0x000003f000000000, 0x000003ffffffffff,
  0x000007e000000000, 0x000007ffffffffff,
  0x00000fc000000000, 0x00000fffffffffff,
  0x00001f8000000000, 0x00001fffffffffff,
  0x00003f0000000000, 0x00003fffffffffff,
  0x00007e0000000000, 0x00007fffffffffff,
  0x0000fc0000000000, 0x0000ffffffffffff,
  0x0001f80000000000, 0x0001ffffffffffff,
  0x0003f00000000000, 0x0003ffffffffffff,
  0x0007e00000000000, 0x0007ffffffffffff,
  0x000fc00000000000, 0x000fffffffffffff,
  0x001f800000000000, 0x001fffffffffffff,
  0x003f000000000000, 0x003fffffffffffff,
  0x007e000000000000, 0x007fffffffffffff,
  0x00fc000000000000, 0x00ffffffffffffff,
  0x01f8000000000000, 0x01ffffffffffffff,
  0x03f0000000000000, 0x03ffffffffffffff,
  0x07e0000000000000, 0x07ffffffffffffff,
  0x0fc0000000000000, 0x0fffffffffffffff,
  0x1f80000000000000, 0x1fffffffffffffff,
  0x3f00000000000000, 0x3fffffffffffffff,
  0x7e00000000000000, 0x7fffffffffffffff,
  0xfc00000000000000, 0xffffffffffffffff,
  0xf800000000000000, 0xffffffffffffffff,
  0xf000000000000000, 0xffffffffffffffff,
  0xe000000000000000, 0xffffffffffffffff,
  0xc000000000000000, 0xffffffffffffffff,
  0x8000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0x000000000000007f, 0x0000000000007ffd,
  0x00000000000000ff, 0x000000000000fffb,
  0x00000000000001ff, 0x000000000001fff7,
  0x00000000000003ff, 0x000000000003ffef,
  0x00000000000007ff, 0x000000000007ffdf,
  0x0000000000000fff, 0x00000000000fffbf,
  0x0000000000001fff, 0x00000000001fff7f,
  0x0000000000003fff, 0x00000000003ffeff,
  0x0000000000007fff, 0x00000000007ffdff,
  0x000000000000ffff, 0x0000000000fffbff,
  0x000000000001ffff, 0x0000000001fff7ff,
  0x000000000003ffff, 0x0000000003ffefff,
  0x000000000007ffff, 0x0000000007ffdfff,
  0x00000000000fffff, 0x000000000fffbfff,
  0x00000000001fffff, 0x000000001fff7fff,
  0x00000000003fffff, 0x000000003ffeffff,
  0x00000000007fffff, 0x000000007ffdffff,
  0x0000000000ffffff, 0x00000000fffbffff,
  0x0000000001ffffff, 0x00000001fff7ffff,
  0x0000000003ffffff, 0x00000003ffefffff,
  0x0000000007ffffff, 0x00000007ffdfffff,
  0x000000000fffffff, 0x0000000fffbfffff,
  0x000000001fffffff, 0x0000001fff7fffff,
  0x000000003fffffff, 0x0000003ffeffffff,
  0x000000007fffffff, 0x0000007ffdffffff,
  0x00000000ffffffff, 0x000000fffbffffff,
  0x00000001ffffffff, 0x000001fff7ffffff,
  0x00000003ffffffff, 0x000003ffefffffff,
  0x00000007ffffffff, 0x000007ffdfffffff,
  0x0000000fffffffff, 0x00000fffbfffffff,
  0x0000001fffffffff, 0x00001fff7fffffff,
  0x0000003fffffffff, 0x00003ffeffffffff,
  0x0000007fffffffff, 0x00007ffdffffffff,
  0x000000ffffffffff, 0x0000fffbffffffff,
  0x000001ffffffffff, 0x0001fff7ffffffff,
  0x000003ffffffffff, 0x0003ffefffffffff,
  0x000007ffffffffff, 0x0007ffdfffffffff,
  0x00000fffffffffff, 0x000fffbfffffffff,
  0x00001fffffffffff, 0x001fff7fffffffff,
  0x00003fffffffffff, 0x003ffeffffffffff,
  0x00007fffffffffff, 0x007ffdffffffffff,
  0x0000ffffffffffff, 0x00fffbffffffffff,
  0x0001ffffffffffff, 0x01fff7ffffffffff,
  0x0003ffffffffffff, 0x03ffefffffffffff,
  0x0007ffffffffffff, 0x07ffdfffffffffff,
  0x000fffffffffffff, 0x0fffbfffffffffff,
  0x001fffffffffffff, 0x1fff7fffffffffff,
  0x003fffffffffffff, 0x3ffeffffffffffff,
  0x007fffffffffffff, 0x7ffdffffffffffff,
  0x00ffffffffffffff, 0xfffbffffffffffff,
  0x01ffffffffffffff, 0xfff7ffffffffffff,
  0x03ffffffffffffff, 0xffefffffffffffff,
  0x07ffffffffffffff, 0xffdfffffffffffff,
  0x0fffffffffffffff, 0xffbfffffffffffff,
  0x1fffffffffffffff, 0xff7fffffffffffff,
  0x3fffffffffffffff, 0xfeffffffffffffff,
  0x7fffffffffffffff, 0xfdffffffffffffff,
  0xffffffffffffffff, 0xfbffffffffffffff,
  0xffffffffffffffff, 0xf7ffffffffffffff,
  0xffffffffffffffff, 0xefffffffffffffff,
  0xffffffffffffffff, 0xdfffffffffffffff,
  0xffffffffffffffff, 0xbfffffffffffffff,
  0xffffffffffffffff, 0x7fffffffffffffff,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000007ffd, 0x0000000000007ffe,
  0x000000000000fffb, 0x000000000000fffc,
  0x000000000001fff7, 0x000000000001fff8,
  0x000000000003ffef, 0x000000000003fff0,
  0x000000000007ffdf, 0x000000000007ffe0,
  0x00000000000fffbf, 0x00000000000fffc0,
  0x00000000001fff7f, 0x00000000001fff80,
  0x00000000003ffeff, 0x00000000003fff00,
  0x00000000007ffdff, 0x00000000007ffe00,
  0x0000000000fffbff, 0x0000000000fffc00,
  0x0000000001fff7ff, 0x0000000001fff800,
  0x0000000003ffefff, 0x0000000003fff000,
  0x0000000007ffdfff, 0x0000000007ffe000,
  0x000000000fffbfff, 0x000000000fffc000,
  0x000000001fff7fff, 0x000000001fff8000,
  0x000000003ffeffff, 0x000000003fff0000,
  0x000000007ffdffff, 0x000000007ffe0000,
  0x00000000fffbffff, 0x00000000fffc0000,
  0x00000001fff7ffff, 0x00000001fff80000,
  0x00000003ffefffff, 0x00000003fff00000,
  0x00000007ffdfffff, 0x00000007ffe00000,
  0x0000000fffbfffff, 0x0000000fffc00000,
  0x0000001fff7fffff, 0x0000001fff800000,
  0x0000003ffeffffff, 0x0000003fff000000,
  0x0000007ffdffffff, 0x0000007ffe000000,
  0x000000fffbffffff, 0x000000fffc000000,
  0x000001fff7ffffff, 0x000001fff8000000,
  0x000003ffefffffff, 0x000003fff0000000,
  0x000007ffdfffffff, 0x000007ffe0000000,
  0x00000fffbfffffff, 0x00000fffc0000000,
  0x00001fff7fffffff, 0x00001fff80000000,
  0x00003ffeffffffff, 0x00003fff00000000,
  0x00007ffdffffffff, 0x00007ffe00000000,
  0x0000fffbffffffff, 0x0000fffc00000000,
  0x0001fff7ffffffff, 0x0001fff800000000,
  0x0003ffefffffffff, 0x0003fff000000000,
  0x0007ffdfffffffff, 0x0007ffe000000000,
  0x000fffbfffffffff, 0x000fffc000000000,
  0x001fff7fffffffff, 0x001fff8000000000,
  0x003ffeffffffffff, 0x003fff0000000000,
  0x007ffdffffffffff, 0x007ffe0000000000,
  0x00fffbffffffffff, 0x00fffc0000000000,
  0x01fff7ffffffffff, 0x01fff80000000000,
  0x03ffefffffffffff, 0x03fff00000000000,
  0x07ffdfffffffffff, 0x07ffe00000000000,
  0x0fffbfffffffffff, 0x0fffc00000000000,
  0x1fff7fffffffffff, 0x1fff800000000000,
  0x3ffeffffffffffff, 0x3fff000000000000,
  0x7ffdffffffffffff, 0x7ffe000000000000,
  0xfffbffffffffffff, 0xfffc000000000000,
  0xfff7ffffffffffff, 0xfff8000000000000,
  0xffefffffffffffff, 0xfff0000000000000,
  0xffdfffffffffffff, 0xffe0000000000000,
  0xffbfffffffffffff, 0xffc0000000000000,
  0xff7fffffffffffff, 0xff80000000000000,
  0xfeffffffffffffff, 0xff00000000000000,
  0xfdffffffffffffff, 0xfe00000000000000,
  0xfbffffffffffffff, 0xfc00000000000000,
  0xf7ffffffffffffff, 0xf800000000000000,
  0xefffffffffffffff, 0xf000000000000000,
  0xdfffffffffffffff, 0xe000000000000000,
  0xbfffffffffffffff, 0xc000000000000000,
  0x7fffffffffffffff, 0x8000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x0000000000007ffe, 0x0000000000007fff,
  0x000000000000fffc, 0x000000000000ffff,
  0x000000000001fff8, 0x000000000001ffff,
  0x000000000003fff0, 0x000000000003ffff,
  0x000000000007ffe0, 0x000000000007ffff,
  0x00000000000fffc0, 0x00000000000fffff,
  0x00000000001fff80, 0x00000000001fffff,
  0x00000000003fff00, 0x00000000003fffff,
  0x00000000007ffe00, 0x00000000007fffff,
  0x0000000000fffc00, 0x0000000000ffffff,
  0x0000000001fff800, 0x0000000001ffffff,
  0x0000000003fff000, 0x0000000003ffffff,
  0x0000000007ffe000, 0x0000000007ffffff,
  0x000000000fffc000, 0x000000000fffffff,
  0x000000001fff8000, 0x000000001fffffff,
  0x000000003fff0000, 0x000000003fffffff,
  0x000000007ffe0000, 0x000000007fffffff,
  0x00000000fffc0000, 0x00000000ffffffff,
  0x00000001fff80000, 0x00000001ffffffff,
  0x00000003fff00000, 0x00000003ffffffff,
  0x00000007ffe00000, 0x00000007ffffffff,
  0x0000000fffc00000, 0x0000000fffffffff,
  0x0000001fff800000, 0x0000001fffffffff,
  0x0000003fff000000, 0x0000003fffffffff,
  0x0000007ffe000000, 0x0000007fffffffff,
  0x000000fffc000000, 0x000000ffffffffff,
  0x000001fff8000000, 0x000001ffffffffff,
  0x000003fff0000000, 0x000003ffffffffff,
  0x000007ffe0000000, 0x000007ffffffffff,
  0x00000fffc0000000, 0x00000fffffffffff,
  0x00001fff80000000, 0x00001fffffffffff,
  0x00003fff00000000, 0x00003fffffffffff,
  0x00007ffe00000000, 0x00007fffffffffff,
  0x0000fffc00000000, 0x0000ffffffffffff,
  0x0001fff800000000, 0x0001ffffffffffff,
  0x0003fff000000000, 0x0003ffffffffffff,
  0x0007ffe000000000, 0x0007ffffffffffff,
  0x000fffc000000000, 0x000fffffffffffff,
  0x001fff8000000000, 0x001fffffffffffff,
  0x003fff0000000000, 0x003fffffffffffff,
  0x007ffe0000000000, 0x007fffffffffffff,
  0x00fffc0000000000, 0x00ffffffffffffff,
  0x01fff80000000000, 0x01ffffffffffffff,
  0x03fff00000000000, 0x03ffffffffffffff,
  0x07ffe00000000000, 0x07ffffffffffffff,
  0x0fffc00000000000, 0x0fffffffffffffff,
  0x1fff800000000000, 0x1fffffffffffffff,
  0x3fff000000000000, 0x3fffffffffffffff,
  0x7ffe000000000000, 0x7fffffffffffffff,
  0xfffc000000000000, 0xffffffffffffffff,
  0xfff8000000000000, 0xffffffffffffffff,
  0xfff0000000000000, 0xffffffffffffffff,
  0xffe0000000000000, 0xffffffffffffffff,
  0xffc0000000000000, 0xffffffffffffffff,
  0xff80000000000000, 0xffffffffffffffff,
  0xff00000000000000, 0xffffffffffffffff,
  0xfe00000000000000, 0xffffffffffffffff,
  0xfc00000000000000, 0xffffffffffffffff,
  0xf800000000000000, 0xffffffffffffffff,
  0xf000000000000000, 0xffffffffffffffff,
  0xe000000000000000, 0xffffffffffffffff,
  0xc000000000000000, 0xffffffffffffffff,
  0x8000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0x0000000000007fff, 0x000000007ffffffd,
  0x000000000000ffff, 0x00000000fffffffb,
  0x000000000001ffff, 0x00000001fffffff7,
  0x000000000003ffff, 0x00000003ffffffef,
  0x000000000007ffff, 0x00000007ffffffdf,
  0x00000000000fffff, 0x0000000fffffffbf,
  0x00000000001fffff, 0x0000001fffffff7f,
  0x00000000003fffff, 0x0000003ffffffeff,
  0x00000000007fffff, 0x0000007ffffffdff,
  0x0000000000ffffff, 0x000000fffffffbff,
  0x0000000001ffffff, 0x000001fffffff7ff,
  0x0000000003ffffff, 0x000003ffffffefff,
  0x0000000007ffffff, 0x000007ffffffdfff,
  0x000000000fffffff, 0x00000fffffffbfff,
  0x000000001fffffff, 0x00001fffffff7fff,
  0x000000003fffffff, 0x00003ffffffeffff,
  0x000000007fffffff, 0x00007ffffffdffff,
  0x00000000ffffffff, 0x0000fffffffbffff,
  0x00000001ffffffff, 0x0001fffffff7ffff,
  0x00000003ffffffff, 0x0003ffffffefffff,
  0x00000007ffffffff, 0x0007ffffffdfffff,
  0x0000000fffffffff, 0x000fffffffbfffff,
  0x0000001fffffffff, 0x001fffffff7fffff,
  0x0000003fffffffff, 0x003ffffffeffffff,
  0x0000007fffffffff, 0x007ffffffdffffff,
  0x000000ffffffffff, 0x00fffffffbffffff,
  0x000001ffffffffff, 0x01fffffff7ffffff,
  0x000003ffffffffff, 0x03ffffffefffffff,
  0x000007ffffffffff, 0x07ffffffdfffffff,
  0x00000fffffffffff, 0x0fffffffbfffffff,
  0x00001fffffffffff, 0x1fffffff7fffffff,
  0x00003fffffffffff, 0x3ffffffeffffffff,
  0x00007fffffffffff, 0x7ffffffdffffffff,
  0x0000ffffffffffff, 0xfffffffbffffffff,
  0x0001ffffffffffff, 0xfffffff7ffffffff,
  0x0003ffffffffffff, 0xffffffefffffffff,
  0x0007ffffffffffff, 0xffffffdfffffffff,
  0x000fffffffffffff, 0xffffffbfffffffff,
  0x001fffffffffffff, 0xffffff7fffffffff,
  0x003fffffffffffff, 0xfffffeffffffffff,
  0x007fffffffffffff, 0xfffffdffffffffff,
  0x00ffffffffffffff, 0xfffffbffffffffff,
  0x01ffffffffffffff, 0xfffff7ffffffffff,
  0x03ffffffffffffff, 0xffffefffffffffff,
  0x07ffffffffffffff, 0xffffdfffffffffff,
  0x0fffffffffffffff, 0xffffbfffffffffff,
  0x1fffffffffffffff, 0xffff7fffffffffff,
  0x3fffffffffffffff, 0xfffeffffffffffff,
  0x7fffffffffffffff, 0xfffdffffffffffff,
  0xffffffffffffffff, 0xfffbffffffffffff,
  0xffffffffffffffff, 0xfff7ffffffffffff,
  0xffffffffffffffff, 0xffefffffffffffff,
  0xffffffffffffffff, 0xffdfffffffffffff,
  0xffffffffffffffff, 0xffbfffffffffffff,
  0xffffffffffffffff, 0xff7fffffffffffff,
  0xffffffffffffffff, 0xfeffffffffffffff,
  0xffffffffffffffff, 0xfdffffffffffffff,
  0xffffffffffffffff, 0xfbffffffffffffff,
  0xffffffffffffffff, 0xf7ffffffffffffff,
  0xffffffffffffffff, 0xefffffffffffffff,
  0xffffffffffffffff, 0xdfffffffffffffff,
  0xffffffffffffffff, 0xbfffffffffffffff,
  0xffffffffffffffff, 0x7fffffffffffffff,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x000000007ffffffd, 0x000000007ffffffe,
  0x00000000fffffffb, 0x00000000fffffffc,
  0x00000001fffffff7, 0x00000001fffffff8,
  0x00000003ffffffef, 0x00000003fffffff0,
  0x00000007ffffffdf, 0x00000007ffffffe0,
  0x0000000fffffffbf, 0x0000000fffffffc0,
  0x0000001fffffff7f, 0x0000001fffffff80,
  0x0000003ffffffeff, 0x0000003fffffff00,
  0x0000007ffffffdff, 0x0000007ffffffe00,
  0x000000fffffffbff, 0x000000fffffffc00,
  0x000001fffffff7ff, 0x000001fffffff800,
  0x000003ffffffefff, 0x000003fffffff000,
  0x000007ffffffdfff, 0x000007ffffffe000,
  0x00000fffffffbfff, 0x00000fffffffc000,
  0x00001fffffff7fff, 0x00001fffffff8000,
  0x00003ffffffeffff, 0x00003fffffff0000,
  0x00007ffffffdffff, 0x00007ffffffe0000,
  0x0000fffffffbffff, 0x0000fffffffc0000,
  0x0001fffffff7ffff, 0x0001fffffff80000,
  0x0003ffffffefffff, 0x0003fffffff00000,
  0x0007ffffffdfffff, 0x0007ffffffe00000,
  0x000fffffffbfffff, 0x000fffffffc00000,
  0x001fffffff7fffff, 0x001fffffff800000,
  0x003ffffffeffffff, 0x003fffffff000000,
  0x007ffffffdffffff, 0x007ffffffe000000,
  0x00fffffffbffffff, 0x00fffffffc000000,
  0x01fffffff7ffffff, 0x01fffffff8000000,
  0x03ffffffefffffff, 0x03fffffff0000000,
  0x07ffffffdfffffff, 0x07ffffffe0000000,
  0x0fffffffbfffffff, 0x0fffffffc0000000,
  0x1fffffff7fffffff, 0x1fffffff80000000,
  0x3ffffffeffffffff, 0x3fffffff00000000,
  0x7ffffffdffffffff, 0x7ffffffe00000000,
  0xfffffffbffffffff, 0xfffffffc00000000,
  0xfffffff7ffffffff, 0xfffffff800000000,
  0xffffffefffffffff, 0xfffffff000000000,
  0xffffffdfffffffff, 0xffffffe000000000,
  0xffffffbfffffffff, 0xffffffc000000000,
  0xffffff7fffffffff, 0xffffff8000000000,
  0xfffffeffffffffff, 0xffffff0000000000,
  0xfffffdffffffffff, 0xfffffe0000000000,
  0xfffffbffffffffff, 0xfffffc0000000000,
  0xfffff7ffffffffff, 0xfffff80000000000,
  0xffffefffffffffff, 0xfffff00000000000,
  0xffffdfffffffffff, 0xffffe00000000000,
  0xffffbfffffffffff, 0xffffc00000000000,
  0xffff7fffffffffff, 0xffff800000000000,
  0xfffeffffffffffff, 0xffff000000000000,
  0xfffdffffffffffff, 0xfffe000000000000,
  0xfffbffffffffffff, 0xfffc000000000000,
  0xfff7ffffffffffff, 0xfff8000000000000,
  0xffefffffffffffff, 0xfff0000000000000,
  0xffdfffffffffffff, 0xffe0000000000000,
  0xffbfffffffffffff, 0xffc0000000000000,
  0xff7fffffffffffff, 0xff80000000000000,
  0xfeffffffffffffff, 0xff00000000000000,
  0xfdffffffffffffff, 0xfe00000000000000,
  0xfbffffffffffffff, 0xfc00000000000000,
  0xf7ffffffffffffff, 0xf800000000000000,
  0xefffffffffffffff, 0xf000000000000000,
  0xdfffffffffffffff, 0xe000000000000000,
  0xbfffffffffffffff, 0xc000000000000000,
  0x7fffffffffffffff, 0x8000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x000000007ffffffe, 0x000000007fffffff,
  0x00000000fffffffc, 0x00000000ffffffff,
  0x00000001fffffff8, 0x00000001ffffffff,
  0x00000003fffffff0, 0x00000003ffffffff,
  0x00000007ffffffe0, 0x00000007ffffffff,
  0x0000000fffffffc0, 0x0000000fffffffff,
  0x0000001fffffff80, 0x0000001fffffffff,
  0x0000003fffffff00, 0x0000003fffffffff,
  0x0000007ffffffe00, 0x0000007fffffffff,
  0x000000fffffffc00, 0x000000ffffffffff,
  0x000001fffffff800, 0x000001ffffffffff,
  0x000003fffffff000, 0x000003ffffffffff,
  0x000007ffffffe000, 0x000007ffffffffff,
  0x00000fffffffc000, 0x00000fffffffffff,
  0x00001fffffff8000, 0x00001fffffffffff,
  0x00003fffffff0000, 0x00003fffffffffff,
  0x00007ffffffe0000, 0x00007fffffffffff,
  0x0000fffffffc0000, 0x0000ffffffffffff,
  0x0001fffffff80000, 0x0001ffffffffffff,
  0x0003fffffff00000, 0x0003ffffffffffff,
  0x0007ffffffe00000, 0x0007ffffffffffff,
  0x000fffffffc00000, 0x000fffffffffffff,
  0x001fffffff800000, 0x001fffffffffffff,
  0x003fffffff000000, 0x003fffffffffffff,
  0x007ffffffe000000, 0x007fffffffffffff,
  0x00fffffffc000000, 0x00ffffffffffffff,
  0x01fffffff8000000, 0x01ffffffffffffff,
  0x03fffffff0000000, 0x03ffffffffffffff,
  0x07ffffffe0000000, 0x07ffffffffffffff,
  0x0fffffffc0000000, 0x0fffffffffffffff,
  0x1fffffff80000000, 0x1fffffffffffffff,
  0x3fffffff00000000, 0x3fffffffffffffff,
  0x7ffffffe00000000, 0x7fffffffffffffff,
  0xfffffffc00000000, 0xffffffffffffffff,
  0xfffffff800000000, 0xffffffffffffffff,
  0xfffffff000000000, 0xffffffffffffffff,
  0xffffffe000000000, 0xffffffffffffffff,
  0xffffffc000000000, 0xffffffffffffffff,
  0xffffff8000000000, 0xffffffffffffffff,
  0xffffff0000000000, 0xffffffffffffffff,
  0xfffffe0000000000, 0xffffffffffffffff,
  0xfffffc0000000000, 0xffffffffffffffff,
  0xfffff80000000000, 0xffffffffffffffff,
  0xfffff00000000000, 0xffffffffffffffff,
  0xffffe00000000000, 0xffffffffffffffff,
  0xffffc00000000000, 0xffffffffffffffff,
  0xffff800000000000, 0xffffffffffffffff,
  0xffff000000000000, 0xffffffffffffffff,
  0xfffe000000000000, 0xffffffffffffffff,
  0xfffc000000000000, 0xffffffffffffffff,
  0xfff8000000000000, 0xffffffffffffffff,
  0xfff0000000000000, 0xffffffffffffffff,
  0xffe0000000000000, 0xffffffffffffffff,
  0xffc0000000000000, 0xffffffffffffffff,
  0xff80000000000000, 0xffffffffffffffff,
  0xff00000000000000, 0xffffffffffffffff,
  0xfe00000000000000, 0xffffffffffffffff,
  0xfc00000000000000, 0xffffffffffffffff,
  0xf800000000000000, 0xffffffffffffffff,
  0xf000000000000000, 0xffffffffffffffff,
  0xe000000000000000, 0xffffffffffffffff,
  0xc000000000000000, 0xffffffffffffffff,
  0x8000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0x000000007fffffff, 0x3333333333333333,
  0x00000000ffffffff, 0x6666666666666667,
  0x00000001ffffffff, 0xcccccccccccccccf,
  0x00000003ffffffff, 0x999999999999999f,
  0x00000007ffffffff, 0x333333333333333f,
  0x0000000fffffffff, 0x666666666666667f,
  0x0000001fffffffff, 0xccccccccccccccff,
  0x0000003fffffffff, 0x99999999999999ff,
  0x0000007fffffffff, 0x33333333333333ff,
  0x000000ffffffffff, 0x66666666666667ff,
  0x000001ffffffffff, 0xcccccccccccccfff,
  0x000003ffffffffff, 0x9999999999999fff,
  0x000007ffffffffff, 0x3333333333333fff,
  0x00000fffffffffff, 0x6666666666667fff,
  0x00001fffffffffff, 0xccccccccccccffff,
  0x00003fffffffffff, 0x999999999999ffff,
  0x00007fffffffffff, 0x333333333333ffff,
  0x0000ffffffffffff, 0x666666666667ffff,
  0x0001ffffffffffff, 0xcccccccccccfffff,
  0x0003ffffffffffff, 0x99999999999fffff,
  0x0007ffffffffffff, 0x33333333333fffff,
  0x000fffffffffffff, 0x66666666667fffff,
  0x001fffffffffffff, 0xccccccccccffffff,
  0x003fffffffffffff, 0x9999999999ffffff,
  0x007fffffffffffff, 0x3333333333ffffff,
  0x00ffffffffffffff, 0x6666666667ffffff,
  0x01ffffffffffffff, 0xcccccccccfffffff,
  0x03ffffffffffffff, 0x999999999fffffff,
  0x07ffffffffffffff, 0x333333333fffffff,
  0x0fffffffffffffff, 0x666666667fffffff,
  0x1fffffffffffffff, 0xccccccccffffffff,
  0x3fffffffffffffff, 0x99999999ffffffff,
  0x7fffffffffffffff, 0x33333333ffffffff,
  0xffffffffffffffff, 0x66666667ffffffff,
  0xffffffffffffffff, 0xcccccccfffffffff,
  0xffffffffffffffff, 0x9999999fffffffff,
  0xffffffffffffffff, 0x3333333fffffffff,
  0xffffffffffffffff, 0x6666667fffffffff,
  0xffffffffffffffff, 0xccccccffffffffff,
  0xffffffffffffffff, 0x999999ffffffffff,
  0xffffffffffffffff, 0x333333ffffffffff,
  0xffffffffffffffff, 0x666667ffffffffff,
  0xffffffffffffffff, 0xcccccfffffffffff,
  0xffffffffffffffff, 0x99999fffffffffff,
  0xffffffffffffffff, 0x33333fffffffffff,
  0xffffffffffffffff, 0x66667fffffffffff,
  0xffffffffffffffff, 0xccccffffffffffff,
  0xffffffffffffffff, 0x9999ffffffffffff,
  0xffffffffffffffff, 0x3333ffffffffffff,
  0xffffffffffffffff, 0x6667ffffffffffff,
  0xffffffffffffffff, 0xcccfffffffffffff,
  0xffffffffffffffff, 0x999fffffffffffff,
  0xffffffffffffffff, 0x333fffffffffffff,
  0xffffffffffffffff, 0x667fffffffffffff,
  0xffffffffffffffff, 0xccffffffffffffff,
  0xffffffffffffffff, 0x99ffffffffffffff,
  0xffffffffffffffff, 0x33ffffffffffffff,
  0xffffffffffffffff, 0x67ffffffffffffff,
  0xffffffffffffffff, 0xcfffffffffffffff,
  0xffffffffffffffff, 0x9fffffffffffffff,
  0xffffffffffffffff, 0x3fffffffffffffff,
  0xffffffffffffffff, 0x7fffffffffffffff,
  0xffffffffffffffff, 0xffffffffffffffff,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x3333333333333333, 0x5555555555555555,
  0x6666666666666667, 0xaaaaaaaaaaaaaaab,
  0xcccccccccccccccf, 0x5555555555555557,
  0x999999999999999f, 0xaaaaaaaaaaaaaaaf,
  0x333333333333333f, 0x555555555555555f,
  0x666666666666667f, 0xaaaaaaaaaaaaaabf,
  0xccccccccccccccff, 0x555555555555557f,
  0x99999999999999ff, 0xaaaaaaaaaaaaaaff,
  0x33333333333333ff, 0x55555555555555ff,
  0x66666666666667ff, 0xaaaaaaaaaaaaabff,
  0xcccccccccccccfff, 0x55555555555557ff,
  0x9999999999999fff, 0xaaaaaaaaaaaaafff,
  0x3333333333333fff, 0x5555555555555fff,
  0x6666666666667fff, 0xaaaaaaaaaaaabfff,
  0xccccccccccccffff, 0x5555555555557fff,
  0x999999999999ffff, 0xaaaaaaaaaaaaffff,
  0x333333333333ffff, 0x555555555555ffff,
  0x666666666667ffff, 0xaaaaaaaaaaabffff,
  0xcccccccccccfffff, 0x555555555557ffff,
  0x99999999999fffff, 0xaaaaaaaaaaafffff,
  0x33333333333fffff, 0x55555555555fffff,
  0x66666666667fffff, 0xaaaaaaaaaabfffff,
  0xccccccccccffffff, 0x55555555557fffff,
  0x9999999999ffffff, 0xaaaaaaaaaaffffff,
  0x3333333333ffffff, 0x5555555555ffffff,
  0x6666666667ffffff, 0xaaaaaaaaabffffff,
  0xcccccccccfffffff, 0x5555555557ffffff,
  0x999999999fffffff, 0xaaaaaaaaafffffff,
  0x333333333fffffff, 0x555555555fffffff,
  0x666666667fffffff, 0xaaaaaaaabfffffff,
  0xccccccccffffffff, 0x555555557fffffff,
  0x99999999ffffffff, 0xaaaaaaaaffffffff,
  0x33333333ffffffff, 0x55555555ffffffff,
  0x66666667ffffffff, 0xaaaaaaabffffffff,
  0xcccccccfffffffff, 0x55555557ffffffff,
  0x9999999fffffffff, 0xaaaaaaafffffffff,
  0x3333333fffffffff, 0x5555555fffffffff,
  0x6666667fffffffff, 0xaaaaaabfffffffff,
  0xccccccffffffffff, 0x5555557fffffffff,
  0x999999ffffffffff, 0xaaaaaaffffffffff,
  0x333333ffffffffff, 0x555555ffffffffff,
  0x666667ffffffffff, 0xaaaaabffffffffff,
  0xcccccfffffffffff, 0x555557ffffffffff,
  0x99999fffffffffff, 0xaaaaafffffffffff,
  0x33333fffffffffff, 0x55555fffffffffff,
  0x66667fffffffffff, 0xaaaabfffffffffff,
  0xccccffffffffffff, 0x55557fffffffffff,
  0x9999ffffffffffff, 0xaaaaffffffffffff,
  0x3333ffffffffffff, 0x5555ffffffffffff,
  0x6667ffffffffffff, 0xaaabffffffffffff,
  0xcccfffffffffffff, 0x5557ffffffffffff,
  0x999fffffffffffff, 0xaaafffffffffffff,
  0x333fffffffffffff, 0x555fffffffffffff,
  0x667fffffffffffff, 0xaabfffffffffffff,
  0xccffffffffffffff, 0x557fffffffffffff,
  0x99ffffffffffffff, 0xaaffffffffffffff,
  0x33ffffffffffffff, 0x55ffffffffffffff,
  0x67ffffffffffffff, 0xabffffffffffffff,
  0xcfffffffffffffff, 0x57ffffffffffffff,
  0x9fffffffffffffff, 0xafffffffffffffff,
  0x3fffffffffffffff, 0x5fffffffffffffff,
  0x7fffffffffffffff, 0xbfffffffffffffff,
  0xffffffffffffffff, 0x7fffffffffffffff,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x5555555555555555, 0x7ffffffffffffffd,
  0xaaaaaaaaaaaaaaab, 0xfffffffffffffffb,
  0x5555555555555557, 0xfffffffffffffff7,
  0xaaaaaaaaaaaaaaaf, 0xffffffffffffffef,
  0x555555555555555f, 0xffffffffffffffdf,
  0xaaaaaaaaaaaaaabf, 0xffffffffffffffbf,
  0x555555555555557f, 0xffffffffffffff7f,
  0xaaaaaaaaaaaaaaff, 0xfffffffffffffeff,
  0x55555555555555ff, 0xfffffffffffffdff,
  0xaaaaaaaaaaaaabff, 0xfffffffffffffbff,
  0x55555555555557ff, 0xfffffffffffff7ff,
  0xaaaaaaaaaaaaafff, 0xffffffffffffefff,
  0x5555555555555fff, 0xffffffffffffdfff,
  0xaaaaaaaaaaaabfff, 0xffffffffffffbfff,
  0x5555555555557fff, 0xffffffffffff7fff,
  0xaaaaaaaaaaaaffff, 0xfffffffffffeffff,
  0x555555555555ffff, 0xfffffffffffdffff,
  0xaaaaaaaaaaabffff, 0xfffffffffffbffff,
  0x555555555557ffff, 0xfffffffffff7ffff,
  0xaaaaaaaaaaafffff, 0xffffffffffefffff,
  0x55555555555fffff, 0xffffffffffdfffff,
  0xaaaaaaaaaabfffff, 0xffffffffffbfffff,
  0x55555555557fffff, 0xffffffffff7fffff,
  0xaaaaaaaaaaffffff, 0xfffffffffeffffff,
  0x5555555555ffffff, 0xfffffffffdffffff,
  0xaaaaaaaaabffffff, 0xfffffffffbffffff,
  0x5555555557ffffff, 0xfffffffff7ffffff,
  0xaaaaaaaaafffffff, 0xffffffffefffffff,
  0x555555555fffffff, 0xffffffffdfffffff,
  0xaaaaaaaabfffffff, 0xffffffffbfffffff,
  0x555555557fffffff, 0xffffffff7fffffff,
  0xaaaaaaaaffffffff, 0xfffffffeffffffff,
  0x55555555ffffffff, 0xfffffffdffffffff,
  0xaaaaaaabffffffff, 0xfffffffbffffffff,
  0x55555557ffffffff, 0xfffffff7ffffffff,
  0xaaaaaaafffffffff, 0xffffffefffffffff,
  0x5555555fffffffff, 0xffffffdfffffffff,
  0xaaaaaabfffffffff, 0xffffffbfffffffff,
  0x5555557fffffffff, 0xffffff7fffffffff,
  0xaaaaaaffffffffff, 0xfffffeffffffffff,
  0x555555ffffffffff, 0xfffffdffffffffff,
  0xaaaaabffffffffff, 0xfffffbffffffffff,
  0x555557ffffffffff, 0xfffff7ffffffffff,
  0xaaaaafffffffffff, 0xffffefffffffffff,
  0x55555fffffffffff, 0xffffdfffffffffff,
  0xaaaabfffffffffff, 0xffffbfffffffffff,
  0x55557fffffffffff, 0xffff7fffffffffff,
  0xaaaaffffffffffff, 0xfffeffffffffffff,
  0x5555ffffffffffff, 0xfffdffffffffffff,
  0xaaabffffffffffff, 0xfffbffffffffffff,
  0x5557ffffffffffff, 0xfff7ffffffffffff,
  0xaaafffffffffffff, 0xffefffffffffffff,
  0x555fffffffffffff, 0xffdfffffffffffff,
  0xaabfffffffffffff, 0xffbfffffffffffff,
  0x557fffffffffffff, 0xff7fffffffffffff,
  0xaaffffffffffffff, 0xfeffffffffffffff,
  0x55ffffffffffffff, 0xfdffffffffffffff,
  0xabffffffffffffff, 0xfbffffffffffffff,
  0x57ffffffffffffff, 0xf7ffffffffffffff,
  0xafffffffffffffff, 0xefffffffffffffff,
  0x5fffffffffffffff, 0xdfffffffffffffff,
  0xbfffffffffffffff, 0xbfffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x7ffffffffffffffd, 0x7ffffffffffffffe,
  0xfffffffffffffffb, 0xfffffffffffffffc,
  0xfffffffffffffff7, 0xfffffffffffffff8,
  0xffffffffffffffef, 0xfffffffffffffff0,
  0xffffffffffffffdf, 0xffffffffffffffe0,
  0xffffffffffffffbf, 0xffffffffffffffc0,
  0xffffffffffffff7f, 0xffffffffffffff80,
  0xfffffffffffffeff, 0xffffffffffffff00,
  0xfffffffffffffdff, 0xfffffffffffffe00,
  0xfffffffffffffbff, 0xfffffffffffffc00,
  0xfffffffffffff7ff, 0xfffffffffffff800,
  0xffffffffffffefff, 0xfffffffffffff000,
  0xffffffffffffdfff, 0xffffffffffffe000,
  0xffffffffffffbfff, 0xffffffffffffc000,
  0xffffffffffff7fff, 0xffffffffffff8000,
  0xfffffffffffeffff, 0xffffffffffff0000,
  0xfffffffffffdffff, 0xfffffffffffe0000,
  0xfffffffffffbffff, 0xfffffffffffc0000,
  0xfffffffffff7ffff, 0xfffffffffff80000,
  0xffffffffffefffff, 0xfffffffffff00000,
  0xffffffffffdfffff, 0xffffffffffe00000,
  0xffffffffffbfffff, 0xffffffffffc00000,
  0xffffffffff7fffff, 0xffffffffff800000,
  0xfffffffffeffffff, 0xffffffffff000000,
  0xfffffffffdffffff, 0xfffffffffe000000,
  0xfffffffffbffffff, 0xfffffffffc000000,
  0xfffffffff7ffffff, 0xfffffffff8000000,
  0xffffffffefffffff, 0xfffffffff0000000,
  0xffffffffdfffffff, 0xffffffffe0000000,
  0xffffffffbfffffff, 0xffffffffc0000000,
  0xffffffff7fffffff, 0xffffffff80000000,
  0xfffffffeffffffff, 0xffffffff00000000,
  0xfffffffdffffffff, 0xfffffffe00000000,
  0xfffffffbffffffff, 0xfffffffc00000000,
  0xfffffff7ffffffff, 0xfffffff800000000,
  0xffffffefffffffff, 0xfffffff000000000,
  0xffffffdfffffffff, 0xffffffe000000000,
  0xffffffbfffffffff, 0xffffffc000000000,
  0xffffff7fffffffff, 0xffffff8000000000,
  0xfffffeffffffffff, 0xffffff0000000000,
  0xfffffdffffffffff, 0xfffffe0000000000,
  0xfffffbffffffffff, 0xfffffc0000000000,
  0xfffff7ffffffffff, 0xfffff80000000000,
  0xffffefffffffffff, 0xfffff00000000000,
  0xffffdfffffffffff, 0xffffe00000000000,
  0xffffbfffffffffff, 0xffffc00000000000,
  0xffff7fffffffffff, 0xffff800000000000,
  0xfffeffffffffffff, 0xffff000000000000,
  0xfffdffffffffffff, 0xfffe000000000000,
  0xfffbffffffffffff, 0xfffc000000000000,
  0xfff7ffffffffffff, 0xfff8000000000000,
  0xffefffffffffffff, 0xfff0000000000000,
  0xffdfffffffffffff, 0xffe0000000000000,
  0xffbfffffffffffff, 0xffc0000000000000,
  0xff7fffffffffffff, 0xff80000000000000,
  0xfeffffffffffffff, 0xff00000000000000,
  0xfdffffffffffffff, 0xfe00000000000000,
  0xfbffffffffffffff, 0xfc00000000000000,
  0xf7ffffffffffffff, 0xf800000000000000,
  0xefffffffffffffff, 0xf000000000000000,
  0xdfffffffffffffff, 0xe000000000000000,
  0xbfffffffffffffff, 0xc000000000000000,
  0x7fffffffffffffff, 0x8000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x7ffffffffffffffe, 0x7fffffffffffffff,
  0xfffffffffffffffc, 0xffffffffffffffff,
  0xfffffffffffffff8, 0xffffffffffffffff,
  0xfffffffffffffff0, 0xffffffffffffffff,
  0xffffffffffffffe0, 0xffffffffffffffff,
  0xffffffffffffffc0, 0xffffffffffffffff,
  0xffffffffffffff80, 0xffffffffffffffff,
  0xffffffffffffff00, 0xffffffffffffffff,
  0xfffffffffffffe00, 0xffffffffffffffff,
  0xfffffffffffffc00, 0xffffffffffffffff,
  0xfffffffffffff800, 0xffffffffffffffff,
  0xfffffffffffff000, 0xffffffffffffffff,
  0xffffffffffffe000, 0xffffffffffffffff,
  0xffffffffffffc000, 0xffffffffffffffff,
  0xffffffffffff8000, 0xffffffffffffffff,
  0xffffffffffff0000, 0xffffffffffffffff,
  0xfffffffffffe0000, 0xffffffffffffffff,
  0xfffffffffffc0000, 0xffffffffffffffff,
  0xfffffffffff80000, 0xffffffffffffffff,
  0xfffffffffff00000, 0xffffffffffffffff,
  0xffffffffffe00000, 0xffffffffffffffff,
  0xffffffffffc00000, 0xffffffffffffffff,
  0xffffffffff800000, 0xffffffffffffffff,
  0xffffffffff000000, 0xffffffffffffffff,
  0xfffffffffe000000, 0xffffffffffffffff,
  0xfffffffffc000000, 0xffffffffffffffff,
  0xfffffffff8000000, 0xffffffffffffffff,
  0xfffffffff0000000, 0xffffffffffffffff,
  0xffffffffe0000000, 0xffffffffffffffff,
  0xffffffffc0000000, 0xffffffffffffffff,
  0xffffffff80000000, 0xffffffffffffffff,
  0xffffffff00000000, 0xffffffffffffffff,
  0xfffffffe00000000, 0xffffffffffffffff,
  0xfffffffc00000000, 0xffffffffffffffff,
  0xfffffff800000000, 0xffffffffffffffff,
  0xfffffff000000000, 0xffffffffffffffff,
  0xffffffe000000000, 0xffffffffffffffff,
  0xffffffc000000000, 0xffffffffffffffff,
  0xffffff8000000000, 0xffffffffffffffff,
  0xffffff0000000000, 0xffffffffffffffff,
  0xfffffe0000000000, 0xffffffffffffffff,
  0xfffffc0000000000, 0xffffffffffffffff,
  0xfffff80000000000, 0xffffffffffffffff,
  0xfffff00000000000, 0xffffffffffffffff,
  0xffffe00000000000, 0xffffffffffffffff,
  0xffffc00000000000, 0xffffffffffffffff,
  0xffff800000000000, 0xffffffffffffffff,
  0xffff000000000000, 0xffffffffffffffff,
  0xfffe000000000000, 0xffffffffffffffff,
  0xfffc000000000000, 0xffffffffffffffff,
  0xfff8000000000000, 0xffffffffffffffff,
  0xfff0000000000000, 0xffffffffffffffff,
  0xffe0000000000000, 0xffffffffffffffff,
  0xffc0000000000000, 0xffffffffffffffff,
  0xff80000000000000, 0xffffffffffffffff,
  0xff00000000000000, 0xffffffffffffffff,
  0xfe00000000000000, 0xffffffffffffffff,
  0xfc00000000000000, 0xffffffffffffffff,
  0xf800000000000000, 0xffffffffffffffff,
  0xf000000000000000, 0xffffffffffffffff,
  0xe000000000000000, 0xffffffffffffffff,
  0xc000000000000000, 0xffffffffffffffff,
  0x8000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0x7fffffffffffffff, 0x8000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x8000000000000000, 0x8000000000000001,
  0x0000000000000000, 0x0000000000000003,
  0x0000000000000000, 0x0000000000000007,
  0x0000000000000000, 0x000000000000000f,
  0x0000000000000000, 0x000000000000001f,
  0x0000000000000000, 0x000000000000003f,
  0x0000000000000000, 0x000000000000007f,
  0x0000000000000000, 0x00000000000000ff,
  0x0000000000000000, 0x00000000000001ff,
  0x0000000000000000, 0x00000000000003ff,
  0x0000000000000000, 0x00000000000007ff,
  0x0000000000000000, 0x0000000000000fff,
  0x0000000000000000, 0x0000000000001fff,
  0x0000000000000000, 0x0000000000003fff,
  0x0000000000000000, 0x0000000000007fff,
  0x0000000000000000, 0x000000000000ffff,
  0x0000000000000000, 0x000000000001ffff,
  0x0000000000000000, 0x000000000003ffff,
  0x0000000000000000, 0x000000000007ffff,
  0x0000000000000000, 0x00000000000fffff,
  0x0000000000000000, 0x00000000001fffff,
  0x0000000000000000, 0x00000000003fffff,
  0x0000000000000000, 0x00000000007fffff,
  0x0000000000000000, 0x0000000000ffffff,
  0x0000000000000000, 0x0000000001ffffff,
  0x0000000000000000, 0x0000000003ffffff,
  0x0000000000000000, 0x0000000007ffffff,
  0x0000000000000000, 0x000000000fffffff,
  0x0000000000000000, 0x000000001fffffff,
  0x0000000000000000, 0x000000003fffffff,
  0x0000000000000000, 0x000000007fffffff,
  0x0000000000000000, 0x00000000ffffffff,
  0x0000000000000000, 0x00000001ffffffff,
  0x0000000000000000, 0x00000003ffffffff,
  0x0000000000000000, 0x00000007ffffffff,
  0x0000000000000000, 0x0000000fffffffff,
  0x0000000000000000, 0x0000001fffffffff,
  0x0000000000000000, 0x0000003fffffffff,
  0x0000000000000000, 0x0000007fffffffff,
  0x0000000000000000, 0x000000ffffffffff,
  0x0000000000000000, 0x000001ffffffffff,
  0x0000000000000000, 0x000003ffffffffff,
  0x0000000000000000, 0x000007ffffffffff,
  0x0000000000000000, 0x00000fffffffffff,
  0x0000000000000000, 0x00001fffffffffff,
  0x0000000000000000, 0x00003fffffffffff,
  0x0000000000000000, 0x00007fffffffffff,
  0x0000000000000000, 0x0000ffffffffffff,
  0x0000000000000000, 0x0001ffffffffffff,
  0x0000000000000000, 0x0003ffffffffffff,
  0x0000000000000000, 0x0007ffffffffffff,
  0x0000000000000000, 0x000fffffffffffff,
  0x0000000000000000, 0x001fffffffffffff,
  0x0000000000000000, 0x003fffffffffffff,
  0x0000000000000000, 0x007fffffffffffff,
  0x0000000000000000, 0x00ffffffffffffff,
  0x0000000000000000, 0x01ffffffffffffff,
  0x0000000000000000, 0x03ffffffffffffff,
  0x0000000000000000, 0x07ffffffffffffff,
  0x0000000000000000, 0x0fffffffffffffff,
  0x0000000000000000, 0x1fffffffffffffff,
  0x0000000000000000, 0x3fffffffffffffff,
  0x0000000000000000, 0x7fffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0x8000000000000001, 0x8000000000000002,
  0x0000000000000003, 0x0000000000000004,
  0x0000000000000007, 0x0000000000000008,
  0x000000000000000f, 0x0000000000000010,
  0x000000000000001f, 0x0000000000000020,
  0x000000000000003f, 0x0000000000000040,
  0x000000000000007f, 0x0000000000000080,
  0x00000000000000ff, 0x0000000000000100,
  0x00000000000001ff, 0x0000000000000200,
  0x00000000000003ff, 0x0000000000000400,
  0x00000000000007ff, 0x0000000000000800,
  0x0000000000000fff, 0x0000000000001000,
  0x0000000000001fff, 0x0000000000002000,
  0x0000000000003fff, 0x0000000000004000,
  0x0000000000007fff, 0x0000000000008000,
  0x000000000000ffff, 0x0000000000010000,
  0x000000000001ffff, 0x0000000000020000,
  0x000000000003ffff, 0x0000000000040000,
  0x000000000007ffff, 0x0000000000080000,
  0x00000000000fffff, 0x0000000000100000,
  0x00000000001fffff, 0x0000000000200000,
  0x00000000003fffff, 0x0000000000400000,
  0x00000000007fffff, 0x0000000000800000,
  0x0000000000ffffff, 0x0000000001000000,
  0x0000000001ffffff, 0x0000000002000000,
  0x0000000003ffffff, 0x0000000004000000,
  0x0000000007ffffff, 0x0000000008000000,
  0x000000000fffffff, 0x0000000010000000,
  0x000000001fffffff, 0x0000000020000000,
  0x000000003fffffff, 0x0000000040000000,
  0x000000007fffffff, 0x0000000080000000,
  0x00000000ffffffff, 0x0000000100000000,
  0x00000001ffffffff, 0x0000000200000000,
  0x00000003ffffffff, 0x0000000400000000,
  0x00000007ffffffff, 0x0000000800000000,
  0x0000000fffffffff, 0x0000001000000000,
  0x0000001fffffffff, 0x0000002000000000,
  0x0000003fffffffff, 0x0000004000000000,
  0x0000007fffffffff, 0x0000008000000000,
  0x000000ffffffffff, 0x0000010000000000,
  0x000001ffffffffff, 0x0000020000000000,
  0x000003ffffffffff, 0x0000040000000000,
  0x000007ffffffffff, 0x0000080000000000,
  0x00000fffffffffff, 0x0000100000000000,
  0x00001fffffffffff, 0x0000200000000000,
  0x00003fffffffffff, 0x0000400000000000,
  0x00007fffffffffff, 0x0000800000000000,
  0x0000ffffffffffff, 0x0001000000000000,
  0x0001ffffffffffff, 0x0002000000000000,
  0x0003ffffffffffff, 0x0004000000000000,
  0x0007ffffffffffff, 0x0008000000000000,
  0x000fffffffffffff, 0x0010000000000000,
  0x001fffffffffffff, 0x0020000000000000,
  0x003fffffffffffff, 0x0040000000000000,
  0x007fffffffffffff, 0x0080000000000000,
  0x00ffffffffffffff, 0x0100000000000000,
  0x01ffffffffffffff, 0x0200000000000000,
  0x03ffffffffffffff, 0x0400000000000000,
  0x07ffffffffffffff, 0x0800000000000000,
  0x0fffffffffffffff, 0x1000000000000000,
  0x1fffffffffffffff, 0x2000000000000000,
  0x3fffffffffffffff, 0x4000000000000000,
  0x7fffffffffffffff, 0x8000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x8000000000000002, 0x8000000000000003,
  0x0000000000000004, 0x0000000000000007,
  0x0000000000000008, 0x000000000000000f,
  0x0000000000000010, 0x000000000000001f,
  0x0000000000000020, 0x000000000000003f,
  0x0000000000000040, 0x000000000000007f,
  0x0000000000000080, 0x00000000000000ff,
  0x0000000000000100, 0x00000000000001ff,
  0x0000000000000200, 0x00000000000003ff,
  0x0000000000000400, 0x00000000000007ff,
  0x0000000000000800, 0x0000000000000fff,
  0x0000000000001000, 0x0000000000001fff,
  0x0000000000002000, 0x0000000000003fff,
  0x0000000000004000, 0x0000000000007fff,
  0x0000000000008000, 0x000000000000ffff,
  0x0000000000010000, 0x000000000001ffff,
  0x0000000000020000, 0x000000000003ffff,
  0x0000000000040000, 0x000000000007ffff,
  0x0000000000080000, 0x00000000000fffff,
  0x0000000000100000, 0x00000000001fffff,
  0x0000000000200000, 0x00000000003fffff,
  0x0000000000400000, 0x00000000007fffff,
  0x0000000000800000, 0x0000000000ffffff,
  0x0000000001000000, 0x0000000001ffffff,
  0x0000000002000000, 0x0000000003ffffff,
  0x0000000004000000, 0x0000000007ffffff,
  0x0000000008000000, 0x000000000fffffff,
  0x0000000010000000, 0x000000001fffffff,
  0x0000000020000000, 0x000000003fffffff,
  0x0000000040000000, 0x000000007fffffff,
  0x0000000080000000, 0x00000000ffffffff,
  0x0000000100000000, 0x00000001ffffffff,
  0x0000000200000000, 0x00000003ffffffff,
  0x0000000400000000, 0x00000007ffffffff,
  0x0000000800000000, 0x0000000fffffffff,
  0x0000001000000000, 0x0000001fffffffff,
  0x0000002000000000, 0x0000003fffffffff,
  0x0000004000000000, 0x0000007fffffffff,
  0x0000008000000000, 0x000000ffffffffff,
  0x0000010000000000, 0x000001ffffffffff,
  0x0000020000000000, 0x000003ffffffffff,
  0x0000040000000000, 0x000007ffffffffff,
  0x0000080000000000, 0x00000fffffffffff,
  0x0000100000000000, 0x00001fffffffffff,
  0x0000200000000000, 0x00003fffffffffff,
  0x0000400000000000, 0x00007fffffffffff,
  0x0000800000000000, 0x0000ffffffffffff,
  0x0001000000000000, 0x0001ffffffffffff,
  0x0002000000000000, 0x0003ffffffffffff,
  0x0004000000000000, 0x0007ffffffffffff,
  0x0008000000000000, 0x000fffffffffffff,
  0x0010000000000000, 0x001fffffffffffff,
  0x0020000000000000, 0x003fffffffffffff,
  0x0040000000000000, 0x007fffffffffffff,
  0x0080000000000000, 0x00ffffffffffffff,
  0x0100000000000000, 0x01ffffffffffffff,
  0x0200000000000000, 0x03ffffffffffffff,
  0x0400000000000000, 0x07ffffffffffffff,
  0x0800000000000000, 0x0fffffffffffffff,
  0x1000000000000000, 0x1fffffffffffffff,
  0x2000000000000000, 0x3fffffffffffffff,
  0x4000000000000000, 0x7fffffffffffffff,
  0x8000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0x8000000000000003, 0xaaaaaaaaaaaaaaaa,
  0x0000000000000007, 0x5555555555555554,
  0x000000000000000f, 0xaaaaaaaaaaaaaaa8,
  0x000000000000001f, 0x5555555555555550,
  0x000000000000003f, 0xaaaaaaaaaaaaaaa0,
  0x000000000000007f, 0x5555555555555540,
  0x00000000000000ff, 0xaaaaaaaaaaaaaa80,
  0x00000000000001ff, 0x5555555555555500,
  0x00000000000003ff, 0xaaaaaaaaaaaaaa00,
  0x00000000000007ff, 0x5555555555555400,
  0x0000000000000fff, 0xaaaaaaaaaaaaa800,
  0x0000000000001fff, 0x5555555555555000,
  0x0000000000003fff, 0xaaaaaaaaaaaaa000,
  0x0000000000007fff, 0x5555555555554000,
  0x000000000000ffff, 0xaaaaaaaaaaaa8000,
  0x000000000001ffff, 0x5555555555550000,
  0x000000000003ffff, 0xaaaaaaaaaaaa0000,
  0x000000000007ffff, 0x5555555555540000,
  0x00000000000fffff, 0xaaaaaaaaaaa80000,
  0x00000000001fffff, 0x5555555555500000,
  0x00000000003fffff, 0xaaaaaaaaaaa00000,
  0x00000000007fffff, 0x5555555555400000,
  0x0000000000ffffff, 0xaaaaaaaaaa800000,
  0x0000000001ffffff, 0x5555555555000000,
  0x0000000003ffffff, 0xaaaaaaaaaa000000,
  0x0000000007ffffff, 0x5555555554000000,
  0x000000000fffffff, 0xaaaaaaaaa8000000,
  0x000000001fffffff, 0x5555555550000000,
  0x000000003fffffff, 0xaaaaaaaaa0000000,
  0x000000007fffffff, 0x5555555540000000,
  0x00000000ffffffff, 0xaaaaaaaa80000000,
  0x00000001ffffffff, 0x5555555500000000,
  0x00000003ffffffff, 0xaaaaaaaa00000000,
  0x00000007ffffffff, 0x5555555400000000,
  0x0000000fffffffff, 0xaaaaaaa800000000,
  0x0000001fffffffff, 0x5555555000000000,
  0x0000003fffffffff, 0xaaaaaaa000000000,
  0x0000007fffffffff, 0x5555554000000000,
  0x000000ffffffffff, 0xaaaaaa8000000000,
  0x000001ffffffffff, 0x5555550000000000,
  0x000003ffffffffff, 0xaaaaaa0000000000,
  0x000007ffffffffff, 0x5555540000000000,
  0x00000fffffffffff, 0xaaaaa80000000000,
  0x00001fffffffffff, 0x5555500000000000,
  0x00003fffffffffff, 0xaaaaa00000000000,
  0x00007fffffffffff, 0x5555400000000000,
  0x0000ffffffffffff, 0xaaaa800000000000,
  0x0001ffffffffffff, 0x5555000000000000,
  0x0003ffffffffffff, 0xaaaa000000000000,
  0x0007ffffffffffff, 0x5554000000000000,
  0x000fffffffffffff, 0xaaa8000000000000,
  0x001fffffffffffff, 0x5550000000000000,
  0x003fffffffffffff, 0xaaa0000000000000,
  0x007fffffffffffff, 0x5540000000000000,
  0x00ffffffffffffff, 0xaa80000000000000,
  0x01ffffffffffffff, 0x5500000000000000,
  0x03ffffffffffffff, 0xaa00000000000000,
  0x07ffffffffffffff, 0x5400000000000000,
  0x0fffffffffffffff, 0xa800000000000000,
  0x1fffffffffffffff, 0x5000000000000000,
  0x3fffffffffffffff, 0xa000000000000000,
  0x7fffffffffffffff, 0x4000000000000000,
  0xffffffffffffffff, 0x8000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccc,
  0x5555555555555554, 0x9999999999999998,
  0xaaaaaaaaaaaaaaa8, 0x3333333333333330,
  0x5555555555555550, 0x6666666666666660,
  0xaaaaaaaaaaaaaaa0, 0xccccccccccccccc0,
  0x5555555555555540, 0x9999999999999980,
  0xaaaaaaaaaaaaaa80, 0x3333333333333300,
  0x5555555555555500, 0x6666666666666600,
  0xaaaaaaaaaaaaaa00, 0xcccccccccccccc00,
  0x5555555555555400, 0x9999999999999800,
  0xaaaaaaaaaaaaa800, 0x3333333333333000,
  0x5555555555555000, 0x6666666666666000,
  0xaaaaaaaaaaaaa000, 0xccccccccccccc000,
  0x5555555555554000, 0x9999999999998000,
  0xaaaaaaaaaaaa8000, 0x3333333333330000,
  0x5555555555550000, 0x6666666666660000,
  0xaaaaaaaaaaaa0000, 0xcccccccccccc0000,
  0x5555555555540000, 0x9999999999980000,
  0xaaaaaaaaaaa80000, 0x3333333333300000,
  0x5555555555500000, 0x6666666666600000,
  0xaaaaaaaaaaa00000, 0xccccccccccc00000,
  0x5555555555400000, 0x9999999999800000,
  0xaaaaaaaaaa800000, 0x3333333333000000,
  0x5555555555000000, 0x6666666666000000,
  0xaaaaaaaaaa000000, 0xcccccccccc000000,
  0x5555555554000000, 0x9999999998000000,
  0xaaaaaaaaa8000000, 0x3333333330000000,
  0x5555555550000000, 0x6666666660000000,
  0xaaaaaaaaa0000000, 0xccccccccc0000000,
  0x5555555540000000, 0x9999999980000000,
  0xaaaaaaaa80000000, 0x3333333300000000,
  0x5555555500000000, 0x6666666600000000,
  0xaaaaaaaa00000000, 0xcccccccc00000000,
  0x5555555400000000, 0x9999999800000000,
  0xaaaaaaa800000000, 0x3333333000000000,
  0x5555555000000000, 0x6666666000000000,
  0xaaaaaaa000000000, 0xccccccc000000000,
  0x5555554000000000, 0x9999998000000000,
  0xaaaaaa8000000000, 0x3333330000000000,
  0x5555550000000000, 0x6666660000000000,
  0xaaaaaa0000000000, 0xcccccc0000000000,
  0x5555540000000000, 0x9999980000000000,
  0xaaaaa80000000000, 0x3333300000000000,
  0x5555500000000000, 0x6666600000000000,
  0xaaaaa00000000000, 0xccccc00000000000,
  0x5555400000000000, 0x9999800000000000,
  0xaaaa800000000000, 0x3333000000000000,
  0x5555000000000000, 0x6666000000000000,
  0xaaaa000000000000, 0xcccc000000000000,
  0x5554000000000000, 0x9998000000000000,
  0xaaa8000000000000, 0x3330000000000000,
  0x5550000000000000, 0x6660000000000000,
  0xaaa0000000000000, 0xccc0000000000000,
  0x5540000000000000, 0x9980000000000000,
  0xaa80000000000000, 0x3300000000000000,
  0x5500000000000000, 0x6600000000000000,
  0xaa00000000000000, 0xcc00000000000000,
  0x5400000000000000, 0x9800000000000000,
  0xa800000000000000, 0x3000000000000000,
  0x5000000000000000, 0x6000000000000000,
  0xa000000000000000, 0xc000000000000000,
  0x4000000000000000, 0x8000000000000000,
  0x8000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xcccccccccccccccc, 0xffffffff80000000,
  0x9999999999999998, 0xffffffff00000000,
  0x3333333333333330, 0xfffffffe00000000,
  0x6666666666666660, 0xfffffffc00000000,
  0xccccccccccccccc0, 0xfffffff800000000,
  0x9999999999999980, 0xfffffff000000000,
  0x3333333333333300, 0xffffffe000000000,
  0x6666666666666600, 0xffffffc000000000,
  0xcccccccccccccc00, 0xffffff8000000000,
  0x9999999999999800, 0xffffff0000000000,
  0x3333333333333000, 0xfffffe0000000000,
  0x6666666666666000, 0xfffffc0000000000,
  0xccccccccccccc000, 0xfffff80000000000,
  0x9999999999998000, 0xfffff00000000000,
  0x3333333333330000, 0xffffe00000000000,
  0x6666666666660000, 0xffffc00000000000,
  0xcccccccccccc0000, 0xffff800000000000,
  0x9999999999980000, 0xffff000000000000,
  0x3333333333300000, 0xfffe000000000000,
  0x6666666666600000, 0xfffc000000000000,
  0xccccccccccc00000, 0xfff8000000000000,
  0x9999999999800000, 0xfff0000000000000,
  0x3333333333000000, 0xffe0000000000000,
  0x6666666666000000, 0xffc0000000000000,
  0xcccccccccc000000, 0xff80000000000000,
  0x9999999998000000, 0xff00000000000000,
  0x3333333330000000, 0xfe00000000000000,
  0x6666666660000000, 0xfc00000000000000,
  0xccccccccc0000000, 0xf800000000000000,
  0x9999999980000000, 0xf000000000000000,
  0x3333333300000000, 0xe000000000000000,
  0x6666666600000000, 0xc000000000000000,
  0xcccccccc00000000, 0x8000000000000000,
  0x9999999800000000, 0x0000000000000000,
  0x3333333000000000, 0x0000000000000000,
  0x6666666000000000, 0x0000000000000000,
  0xccccccc000000000, 0x0000000000000000,
  0x9999998000000000, 0x0000000000000000,
  0x3333330000000000, 0x0000000000000000,
  0x6666660000000000, 0x0000000000000000,
  0xcccccc0000000000, 0x0000000000000000,
  0x9999980000000000, 0x0000000000000000,
  0x3333300000000000, 0x0000000000000000,
  0x6666600000000000, 0x0000000000000000,
  0xccccc00000000000, 0x0000000000000000,
  0x9999800000000000, 0x0000000000000000,
  0x3333000000000000, 0x0000000000000000,
  0x6666000000000000, 0x0000000000000000,
  0xcccc000000000000, 0x0000000000000000,
  0x9998000000000000, 0x0000000000000000,
  0x3330000000000000, 0x0000000000000000,
  0x6660000000000000, 0x0000000000000000,
  0xccc0000000000000, 0x0000000000000000,
  0x9980000000000000, 0x0000000000000000,
  0x3300000000000000, 0x0000000000000000,
  0x6600000000000000, 0x0000000000000000,
  0xcc00000000000000, 0x0000000000000000,
  0x9800000000000000, 0x0000000000000000,
  0x3000000000000000, 0x0000000000000000,
  0x6000000000000000, 0x0000000000000000,
  0xc000000000000000, 0x0000000000000000,
  0x8000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffff80000000, 0xffffffff80000001,
  0xffffffff00000000, 0xffffffff00000003,
  0xfffffffe00000000, 0xfffffffe00000007,
  0xfffffffc00000000, 0xfffffffc0000000f,
  0xfffffff800000000, 0xfffffff80000001f,
  0xfffffff000000000, 0xfffffff00000003f,
  0xffffffe000000000, 0xffffffe00000007f,
  0xffffffc000000000, 0xffffffc0000000ff,
  0xffffff8000000000, 0xffffff80000001ff,
  0xffffff0000000000, 0xffffff00000003ff,
  0xfffffe0000000000, 0xfffffe00000007ff,
  0xfffffc0000000000, 0xfffffc0000000fff,
  0xfffff80000000000, 0xfffff80000001fff,
  0xfffff00000000000, 0xfffff00000003fff,
  0xffffe00000000000, 0xffffe00000007fff,
  0xffffc00000000000, 0xffffc0000000ffff,
  0xffff800000000000, 0xffff80000001ffff,
  0xffff000000000000, 0xffff00000003ffff,
  0xfffe000000000000, 0xfffe00000007ffff,
  0xfffc000000000000, 0xfffc0000000fffff,
  0xfff8000000000000, 0xfff80000001fffff,
  0xfff0000000000000, 0xfff00000003fffff,
  0xffe0000000000000, 0xffe00000007fffff,
  0xffc0000000000000, 0xffc0000000ffffff,
  0xff80000000000000, 0xff80000001ffffff,
  0xff00000000000000, 0xff00000003ffffff,
  0xfe00000000000000, 0xfe00000007ffffff,
  0xfc00000000000000, 0xfc0000000fffffff,
  0xf800000000000000, 0xf80000001fffffff,
  0xf000000000000000, 0xf00000003fffffff,
  0xe000000000000000, 0xe00000007fffffff,
  0xc000000000000000, 0xc0000000ffffffff,
  0x8000000000000000, 0x80000001ffffffff,
  0x0000000000000000, 0x00000003ffffffff,
  0x0000000000000000, 0x00000007ffffffff,
  0x0000000000000000, 0x0000000fffffffff,
  0x0000000000000000, 0x0000001fffffffff,
  0x0000000000000000, 0x0000003fffffffff,
  0x0000000000000000, 0x0000007fffffffff,
  0x0000000000000000, 0x000000ffffffffff,
  0x0000000000000000, 0x000001ffffffffff,
  0x0000000000000000, 0x000003ffffffffff,
  0x0000000000000000, 0x000007ffffffffff,
  0x0000000000000000, 0x00000fffffffffff,
  0x0000000000000000, 0x00001fffffffffff,
  0x0000000000000000, 0x00003fffffffffff,
  0x0000000000000000, 0x00007fffffffffff,
  0x0000000000000000, 0x0000ffffffffffff,
  0x0000000000000000, 0x0001ffffffffffff,
  0x0000000000000000, 0x0003ffffffffffff,
  0x0000000000000000, 0x0007ffffffffffff,
  0x0000000000000000, 0x000fffffffffffff,
  0x0000000000000000, 0x001fffffffffffff,
  0x0000000000000000, 0x003fffffffffffff,
  0x0000000000000000, 0x007fffffffffffff,
  0x0000000000000000, 0x00ffffffffffffff,
  0x0000000000000000, 0x01ffffffffffffff,
  0x0000000000000000, 0x03ffffffffffffff,
  0x0000000000000000, 0x07ffffffffffffff,
  0x0000000000000000, 0x0fffffffffffffff,
  0x0000000000000000, 0x1fffffffffffffff,
  0x0000000000000000, 0x3fffffffffffffff,
  0x0000000000000000, 0x7fffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0xffffffff80000001, 0xffffffff80000002,
  0xffffffff00000003, 0xffffffff00000004,
  0xfffffffe00000007, 0xfffffffe00000008,
  0xfffffffc0000000f, 0xfffffffc00000010,
  0xfffffff80000001f, 0xfffffff800000020,
  0xfffffff00000003f, 0xfffffff000000040,
  0xffffffe00000007f, 0xffffffe000000080,
  0xffffffc0000000ff, 0xffffffc000000100,
  0xffffff80000001ff, 0xffffff8000000200,
  0xffffff00000003ff, 0xffffff0000000400,
  0xfffffe00000007ff, 0xfffffe0000000800,
  0xfffffc0000000fff, 0xfffffc0000001000,
  0xfffff80000001fff, 0xfffff80000002000,
  0xfffff00000003fff, 0xfffff00000004000,
  0xffffe00000007fff, 0xffffe00000008000,
  0xffffc0000000ffff, 0xffffc00000010000,
  0xffff80000001ffff, 0xffff800000020000,
  0xffff00000003ffff, 0xffff000000040000,
  0xfffe00000007ffff, 0xfffe000000080000,
  0xfffc0000000fffff, 0xfffc000000100000,
  0xfff80000001fffff, 0xfff8000000200000,
  0xfff00000003fffff, 0xfff0000000400000,
  0xffe00000007fffff, 0xffe0000000800000,
  0xffc0000000ffffff, 0xffc0000001000000,
  0xff80000001ffffff, 0xff80000002000000,
  0xff00000003ffffff, 0xff00000004000000,
  0xfe00000007ffffff, 0xfe00000008000000,
  0xfc0000000fffffff, 0xfc00000010000000,
  0xf80000001fffffff, 0xf800000020000000,
  0xf00000003fffffff, 0xf000000040000000,
  0xe00000007fffffff, 0xe000000080000000,
  0xc0000000ffffffff, 0xc000000100000000,
  0x80000001ffffffff, 0x8000000200000000,
  0x00000003ffffffff, 0x0000000400000000,
  0x00000007ffffffff, 0x0000000800000000,
  0x0000000fffffffff, 0x0000001000000000,
  0x0000001fffffffff, 0x0000002000000000,
  0x0000003fffffffff, 0x0000004000000000,
  0x0000007fffffffff, 0x0000008000000000,
  0x000000ffffffffff, 0x0000010000000000,
  0x000001ffffffffff, 0x0000020000000000,
  0x000003ffffffffff, 0x0000040000000000,
  0x000007ffffffffff, 0x0000080000000000,
  0x00000fffffffffff, 0x0000100000000000,
  0x00001fffffffffff, 0x0000200000000000,
  0x00003fffffffffff, 0x0000400000000000,
  0x00007fffffffffff, 0x0000800000000000,
  0x0000ffffffffffff, 0x0001000000000000,
  0x0001ffffffffffff, 0x0002000000000000,
  0x0003ffffffffffff, 0x0004000000000000,
  0x0007ffffffffffff, 0x0008000000000000,
  0x000fffffffffffff, 0x0010000000000000,
  0x001fffffffffffff, 0x0020000000000000,
  0x003fffffffffffff, 0x0040000000000000,
  0x007fffffffffffff, 0x0080000000000000,
  0x00ffffffffffffff, 0x0100000000000000,
  0x01ffffffffffffff, 0x0200000000000000,
  0x03ffffffffffffff, 0x0400000000000000,
  0x07ffffffffffffff, 0x0800000000000000,
  0x0fffffffffffffff, 0x1000000000000000,
  0x1fffffffffffffff, 0x2000000000000000,
  0x3fffffffffffffff, 0x4000000000000000,
  0x7fffffffffffffff, 0x8000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffff80000002, 0xffffffff80000003,
  0xffffffff00000004, 0xffffffff00000007,
  0xfffffffe00000008, 0xfffffffe0000000f,
  0xfffffffc00000010, 0xfffffffc0000001f,
  0xfffffff800000020, 0xfffffff80000003f,
  0xfffffff000000040, 0xfffffff00000007f,
  0xffffffe000000080, 0xffffffe0000000ff,
  0xffffffc000000100, 0xffffffc0000001ff,
  0xffffff8000000200, 0xffffff80000003ff,
  0xffffff0000000400, 0xffffff00000007ff,
  0xfffffe0000000800, 0xfffffe0000000fff,
  0xfffffc0000001000, 0xfffffc0000001fff,
  0xfffff80000002000, 0xfffff80000003fff,
  0xfffff00000004000, 0xfffff00000007fff,
  0xffffe00000008000, 0xffffe0000000ffff,
  0xffffc00000010000, 0xffffc0000001ffff,
  0xffff800000020000, 0xffff80000003ffff,
  0xffff000000040000, 0xffff00000007ffff,
  0xfffe000000080000, 0xfffe0000000fffff,
  0xfffc000000100000, 0xfffc0000001fffff,
  0xfff8000000200000, 0xfff80000003fffff,
  0xfff0000000400000, 0xfff00000007fffff,
  0xffe0000000800000, 0xffe0000000ffffff,
  0xffc0000001000000, 0xffc0000001ffffff,
  0xff80000002000000, 0xff80000003ffffff,
  0xff00000004000000, 0xff00000007ffffff,
  0xfe00000008000000, 0xfe0000000fffffff,
  0xfc00000010000000, 0xfc0000001fffffff,
  0xf800000020000000, 0xf80000003fffffff,
  0xf000000040000000, 0xf00000007fffffff,
  0xe000000080000000, 0xe0000000ffffffff,
  0xc000000100000000, 0xc0000001ffffffff,
  0x8000000200000000, 0x80000003ffffffff,
  0x0000000400000000, 0x00000007ffffffff,
  0x0000000800000000, 0x0000000fffffffff,
  0x0000001000000000, 0x0000001fffffffff,
  0x0000002000000000, 0x0000003fffffffff,
  0x0000004000000000, 0x0000007fffffffff,
  0x0000008000000000, 0x000000ffffffffff,
  0x0000010000000000, 0x000001ffffffffff,
  0x0000020000000000, 0x000003ffffffffff,
  0x0000040000000000, 0x000007ffffffffff,
  0x0000080000000000, 0x00000fffffffffff,
  0x0000100000000000, 0x00001fffffffffff,
  0x0000200000000000, 0x00003fffffffffff,
  0x0000400000000000, 0x00007fffffffffff,
  0x0000800000000000, 0x0000ffffffffffff,
  0x0001000000000000, 0x0001ffffffffffff,
  0x0002000000000000, 0x0003ffffffffffff,
  0x0004000000000000, 0x0007ffffffffffff,
  0x0008000000000000, 0x000fffffffffffff,
  0x0010000000000000, 0x001fffffffffffff,
  0x0020000000000000, 0x003fffffffffffff,
  0x0040000000000000, 0x007fffffffffffff,
  0x0080000000000000, 0x00ffffffffffffff,
  0x0100000000000000, 0x01ffffffffffffff,
  0x0200000000000000, 0x03ffffffffffffff,
  0x0400000000000000, 0x07ffffffffffffff,
  0x0800000000000000, 0x0fffffffffffffff,
  0x1000000000000000, 0x1fffffffffffffff,
  0x2000000000000000, 0x3fffffffffffffff,
  0x4000000000000000, 0x7fffffffffffffff,
  0x8000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0xffffffff80000003, 0xffffffffffff8000,
  0xffffffff00000007, 0xffffffffffff0000,
  0xfffffffe0000000f, 0xfffffffffffe0000,
  0xfffffffc0000001f, 0xfffffffffffc0000,
  0xfffffff80000003f, 0xfffffffffff80000,
  0xfffffff00000007f, 0xfffffffffff00000,
  0xffffffe0000000ff, 0xffffffffffe00000,
  0xffffffc0000001ff, 0xffffffffffc00000,
  0xffffff80000003ff, 0xffffffffff800000,
  0xffffff00000007ff, 0xffffffffff000000,
  0xfffffe0000000fff, 0xfffffffffe000000,
  0xfffffc0000001fff, 0xfffffffffc000000,
  0xfffff80000003fff, 0xfffffffff8000000,
  0xfffff00000007fff, 0xfffffffff0000000,
  0xffffe0000000ffff, 0xffffffffe0000000,
  0xffffc0000001ffff, 0xffffffffc0000000,
  0xffff80000003ffff, 0xffffffff80000000,
  0xffff00000007ffff, 0xffffffff00000000,
  0xfffe0000000fffff, 0xfffffffe00000000,
  0xfffc0000001fffff, 0xfffffffc00000000,
  0xfff80000003fffff, 0xfffffff800000000,
  0xfff00000007fffff, 0xfffffff000000000,
  0xffe0000000ffffff, 0xffffffe000000000,
  0xffc0000001ffffff, 0xffffffc000000000,
  0xff80000003ffffff, 0xffffff8000000000,
  0xff00000007ffffff, 0xffffff0000000000,
  0xfe0000000fffffff, 0xfffffe0000000000,
  0xfc0000001fffffff, 0xfffffc0000000000,
  0xf80000003fffffff, 0xfffff80000000000,
  0xf00000007fffffff, 0xfffff00000000000,
  0xe0000000ffffffff, 0xffffe00000000000,
  0xc0000001ffffffff, 0xffffc00000000000,
  0x80000003ffffffff, 0xffff800000000000,
  0x00000007ffffffff, 0xffff000000000000,
  0x0000000fffffffff, 0xfffe000000000000,
  0x0000001fffffffff, 0xfffc000000000000,
  0x0000003fffffffff, 0xfff8000000000000,
  0x0000007fffffffff, 0xfff0000000000000,
  0x000000ffffffffff, 0xffe0000000000000,
  0x000001ffffffffff, 0xffc0000000000000,
  0x000003ffffffffff, 0xff80000000000000,
  0x000007ffffffffff, 0xff00000000000000,
  0x00000fffffffffff, 0xfe00000000000000,
  0x00001fffffffffff, 0xfc00000000000000,
  0x00003fffffffffff, 0xf800000000000000,
  0x00007fffffffffff, 0xf000000000000000,
  0x0000ffffffffffff, 0xe000000000000000,
  0x0001ffffffffffff, 0xc000000000000000,
  0x0003ffffffffffff, 0x8000000000000000,
  0x0007ffffffffffff, 0x0000000000000000,
  0x000fffffffffffff, 0x0000000000000000,
  0x001fffffffffffff, 0x0000000000000000,
  0x003fffffffffffff, 0x0000000000000000,
  0x007fffffffffffff, 0x0000000000000000,
  0x00ffffffffffffff, 0x0000000000000000,
  0x01ffffffffffffff, 0x0000000000000000,
  0x03ffffffffffffff, 0x0000000000000000,
  0x07ffffffffffffff, 0x0000000000000000,
  0x0fffffffffffffff, 0x0000000000000000,
  0x1fffffffffffffff, 0x0000000000000000,
  0x3fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffff8000, 0xffffffffffff8001,
  0xffffffffffff0000, 0xffffffffffff0003,
  0xfffffffffffe0000, 0xfffffffffffe0007,
  0xfffffffffffc0000, 0xfffffffffffc000f,
  0xfffffffffff80000, 0xfffffffffff8001f,
  0xfffffffffff00000, 0xfffffffffff0003f,
  0xffffffffffe00000, 0xffffffffffe0007f,
  0xffffffffffc00000, 0xffffffffffc000ff,
  0xffffffffff800000, 0xffffffffff8001ff,
  0xffffffffff000000, 0xffffffffff0003ff,
  0xfffffffffe000000, 0xfffffffffe0007ff,
  0xfffffffffc000000, 0xfffffffffc000fff,
  0xfffffffff8000000, 0xfffffffff8001fff,
  0xfffffffff0000000, 0xfffffffff0003fff,
  0xffffffffe0000000, 0xffffffffe0007fff,
  0xffffffffc0000000, 0xffffffffc000ffff,
  0xffffffff80000000, 0xffffffff8001ffff,
  0xffffffff00000000, 0xffffffff0003ffff,
  0xfffffffe00000000, 0xfffffffe0007ffff,
  0xfffffffc00000000, 0xfffffffc000fffff,
  0xfffffff800000000, 0xfffffff8001fffff,
  0xfffffff000000000, 0xfffffff0003fffff,
  0xffffffe000000000, 0xffffffe0007fffff,
  0xffffffc000000000, 0xffffffc000ffffff,
  0xffffff8000000000, 0xffffff8001ffffff,
  0xffffff0000000000, 0xffffff0003ffffff,
  0xfffffe0000000000, 0xfffffe0007ffffff,
  0xfffffc0000000000, 0xfffffc000fffffff,
  0xfffff80000000000, 0xfffff8001fffffff,
  0xfffff00000000000, 0xfffff0003fffffff,
  0xffffe00000000000, 0xffffe0007fffffff,
  0xffffc00000000000, 0xffffc000ffffffff,
  0xffff800000000000, 0xffff8001ffffffff,
  0xffff000000000000, 0xffff0003ffffffff,
  0xfffe000000000000, 0xfffe0007ffffffff,
  0xfffc000000000000, 0xfffc000fffffffff,
  0xfff8000000000000, 0xfff8001fffffffff,
  0xfff0000000000000, 0xfff0003fffffffff,
  0xffe0000000000000, 0xffe0007fffffffff,
  0xffc0000000000000, 0xffc000ffffffffff,
  0xff80000000000000, 0xff8001ffffffffff,
  0xff00000000000000, 0xff0003ffffffffff,
  0xfe00000000000000, 0xfe0007ffffffffff,
  0xfc00000000000000, 0xfc000fffffffffff,
  0xf800000000000000, 0xf8001fffffffffff,
  0xf000000000000000, 0xf0003fffffffffff,
  0xe000000000000000, 0xe0007fffffffffff,
  0xc000000000000000, 0xc000ffffffffffff,
  0x8000000000000000, 0x8001ffffffffffff,
  0x0000000000000000, 0x0003ffffffffffff,
  0x0000000000000000, 0x0007ffffffffffff,
  0x0000000000000000, 0x000fffffffffffff,
  0x0000000000000000, 0x001fffffffffffff,
  0x0000000000000000, 0x003fffffffffffff,
  0x0000000000000000, 0x007fffffffffffff,
  0x0000000000000000, 0x00ffffffffffffff,
  0x0000000000000000, 0x01ffffffffffffff,
  0x0000000000000000, 0x03ffffffffffffff,
  0x0000000000000000, 0x07ffffffffffffff,
  0x0000000000000000, 0x0fffffffffffffff,
  0x0000000000000000, 0x1fffffffffffffff,
  0x0000000000000000, 0x3fffffffffffffff,
  0x0000000000000000, 0x7fffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0xffffffffffff8001, 0xffffffffffff8002,
  0xffffffffffff0003, 0xffffffffffff0004,
  0xfffffffffffe0007, 0xfffffffffffe0008,
  0xfffffffffffc000f, 0xfffffffffffc0010,
  0xfffffffffff8001f, 0xfffffffffff80020,
  0xfffffffffff0003f, 0xfffffffffff00040,
  0xffffffffffe0007f, 0xffffffffffe00080,
  0xffffffffffc000ff, 0xffffffffffc00100,
  0xffffffffff8001ff, 0xffffffffff800200,
  0xffffffffff0003ff, 0xffffffffff000400,
  0xfffffffffe0007ff, 0xfffffffffe000800,
  0xfffffffffc000fff, 0xfffffffffc001000,
  0xfffffffff8001fff, 0xfffffffff8002000,
  0xfffffffff0003fff, 0xfffffffff0004000,
  0xffffffffe0007fff, 0xffffffffe0008000,
  0xffffffffc000ffff, 0xffffffffc0010000,
  0xffffffff8001ffff, 0xffffffff80020000,
  0xffffffff0003ffff, 0xffffffff00040000,
  0xfffffffe0007ffff, 0xfffffffe00080000,
  0xfffffffc000fffff, 0xfffffffc00100000,
  0xfffffff8001fffff, 0xfffffff800200000,
  0xfffffff0003fffff, 0xfffffff000400000,
  0xffffffe0007fffff, 0xffffffe000800000,
  0xffffffc000ffffff, 0xffffffc001000000,
  0xffffff8001ffffff, 0xffffff8002000000,
  0xffffff0003ffffff, 0xffffff0004000000,
  0xfffffe0007ffffff, 0xfffffe0008000000,
  0xfffffc000fffffff, 0xfffffc0010000000,
  0xfffff8001fffffff, 0xfffff80020000000,
  0xfffff0003fffffff, 0xfffff00040000000,
  0xffffe0007fffffff, 0xffffe00080000000,
  0xffffc000ffffffff, 0xffffc00100000000,
  0xffff8001ffffffff, 0xffff800200000000,
  0xffff0003ffffffff, 0xffff000400000000,
  0xfffe0007ffffffff, 0xfffe000800000000,
  0xfffc000fffffffff, 0xfffc001000000000,
  0xfff8001fffffffff, 0xfff8002000000000,
  0xfff0003fffffffff, 0xfff0004000000000,
  0xffe0007fffffffff, 0xffe0008000000000,
  0xffc000ffffffffff, 0xffc0010000000000,
  0xff8001ffffffffff, 0xff80020000000000,
  0xff0003ffffffffff, 0xff00040000000000,
  0xfe0007ffffffffff, 0xfe00080000000000,
  0xfc000fffffffffff, 0xfc00100000000000,
  0xf8001fffffffffff, 0xf800200000000000,
  0xf0003fffffffffff, 0xf000400000000000,
  0xe0007fffffffffff, 0xe000800000000000,
  0xc000ffffffffffff, 0xc001000000000000,
  0x8001ffffffffffff, 0x8002000000000000,
  0x0003ffffffffffff, 0x0004000000000000,
  0x0007ffffffffffff, 0x0008000000000000,
  0x000fffffffffffff, 0x0010000000000000,
  0x001fffffffffffff, 0x0020000000000000,
  0x003fffffffffffff, 0x0040000000000000,
  0x007fffffffffffff, 0x0080000000000000,
  0x00ffffffffffffff, 0x0100000000000000,
  0x01ffffffffffffff, 0x0200000000000000,
  0x03ffffffffffffff, 0x0400000000000000,
  0x07ffffffffffffff, 0x0800000000000000,
  0x0fffffffffffffff, 0x1000000000000000,
  0x1fffffffffffffff, 0x2000000000000000,
  0x3fffffffffffffff, 0x4000000000000000,
  0x7fffffffffffffff, 0x8000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffff8002, 0xffffffffffff8003,
  0xffffffffffff0004, 0xffffffffffff0007,
  0xfffffffffffe0008, 0xfffffffffffe000f,
  0xfffffffffffc0010, 0xfffffffffffc001f,
  0xfffffffffff80020, 0xfffffffffff8003f,
  0xfffffffffff00040, 0xfffffffffff0007f,
  0xffffffffffe00080, 0xffffffffffe000ff,
  0xffffffffffc00100, 0xffffffffffc001ff,
  0xffffffffff800200, 0xffffffffff8003ff,
  0xffffffffff000400, 0xffffffffff0007ff,
  0xfffffffffe000800, 0xfffffffffe000fff,
  0xfffffffffc001000, 0xfffffffffc001fff,
  0xfffffffff8002000, 0xfffffffff8003fff,
  0xfffffffff0004000, 0xfffffffff0007fff,
  0xffffffffe0008000, 0xffffffffe000ffff,
  0xffffffffc0010000, 0xffffffffc001ffff,
  0xffffffff80020000, 0xffffffff8003ffff,
  0xffffffff00040000, 0xffffffff0007ffff,
  0xfffffffe00080000, 0xfffffffe000fffff,
  0xfffffffc00100000, 0xfffffffc001fffff,
  0xfffffff800200000, 0xfffffff8003fffff,
  0xfffffff000400000, 0xfffffff0007fffff,
  0xffffffe000800000, 0xffffffe000ffffff,
  0xffffffc001000000, 0xffffffc001ffffff,
  0xffffff8002000000, 0xffffff8003ffffff,
  0xffffff0004000000, 0xffffff0007ffffff,
  0xfffffe0008000000, 0xfffffe000fffffff,
  0xfffffc0010000000, 0xfffffc001fffffff,
  0xfffff80020000000, 0xfffff8003fffffff,
  0xfffff00040000000, 0xfffff0007fffffff,
  0xffffe00080000000, 0xffffe000ffffffff,
  0xffffc00100000000, 0xffffc001ffffffff,
  0xffff800200000000, 0xffff8003ffffffff,
  0xffff000400000000, 0xffff0007ffffffff,
  0xfffe000800000000, 0xfffe000fffffffff,
  0xfffc001000000000, 0xfffc001fffffffff,
  0xfff8002000000000, 0xfff8003fffffffff,
  0xfff0004000000000, 0xfff0007fffffffff,
  0xffe0008000000000, 0xffe000ffffffffff,
  0xffc0010000000000, 0xffc001ffffffffff,
  0xff80020000000000, 0xff8003ffffffffff,
  0xff00040000000000, 0xff0007ffffffffff,
  0xfe00080000000000, 0xfe000fffffffffff,
  0xfc00100000000000, 0xfc001fffffffffff,
  0xf800200000000000, 0xf8003fffffffffff,
  0xf000400000000000, 0xf0007fffffffffff,
  0xe000800000000000, 0xe000ffffffffffff,
  0xc001000000000000, 0xc001ffffffffffff,
  0x8002000000000000, 0x8003ffffffffffff,
  0x0004000000000000, 0x0007ffffffffffff,
  0x0008000000000000, 0x000fffffffffffff,
  0x0010000000000000, 0x001fffffffffffff,
  0x0020000000000000, 0x003fffffffffffff,
  0x0040000000000000, 0x007fffffffffffff,
  0x0080000000000000, 0x00ffffffffffffff,
  0x0100000000000000, 0x01ffffffffffffff,
  0x0200000000000000, 0x03ffffffffffffff,
  0x0400000000000000, 0x07ffffffffffffff,
  0x0800000000000000, 0x0fffffffffffffff,
  0x1000000000000000, 0x1fffffffffffffff,
  0x2000000000000000, 0x3fffffffffffffff,
  0x4000000000000000, 0x7fffffffffffffff,
  0x8000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0xffffffffffff8003, 0xffffffffffffff80,
  0xffffffffffff0007, 0xffffffffffffff00,
  0xfffffffffffe000f, 0xfffffffffffffe00,
  0xfffffffffffc001f, 0xfffffffffffffc00,
  0xfffffffffff8003f, 0xfffffffffffff800,
  0xfffffffffff0007f, 0xfffffffffffff000,
  0xffffffffffe000ff, 0xffffffffffffe000,
  0xffffffffffc001ff, 0xffffffffffffc000,
  0xffffffffff8003ff, 0xffffffffffff8000,
  0xffffffffff0007ff, 0xffffffffffff0000,
  0xfffffffffe000fff, 0xfffffffffffe0000,
  0xfffffffffc001fff, 0xfffffffffffc0000,
  0xfffffffff8003fff, 0xfffffffffff80000,
  0xfffffffff0007fff, 0xfffffffffff00000,
  0xffffffffe000ffff, 0xffffffffffe00000,
  0xffffffffc001ffff, 0xffffffffffc00000,
  0xffffffff8003ffff, 0xffffffffff800000,
  0xffffffff0007ffff, 0xffffffffff000000,
  0xfffffffe000fffff, 0xfffffffffe000000,
  0xfffffffc001fffff, 0xfffffffffc000000,
  0xfffffff8003fffff, 0xfffffffff8000000,
  0xfffffff0007fffff, 0xfffffffff0000000,
  0xffffffe000ffffff, 0xffffffffe0000000,
  0xffffffc001ffffff, 0xffffffffc0000000,
  0xffffff8003ffffff, 0xffffffff80000000,
  0xffffff0007ffffff, 0xffffffff00000000,
  0xfffffe000fffffff, 0xfffffffe00000000,
  0xfffffc001fffffff, 0xfffffffc00000000,
  0xfffff8003fffffff, 0xfffffff800000000,
  0xfffff0007fffffff, 0xfffffff000000000,
  0xffffe000ffffffff, 0xffffffe000000000,
  0xffffc001ffffffff, 0xffffffc000000000,
  0xffff8003ffffffff, 0xffffff8000000000,
  0xffff0007ffffffff, 0xffffff0000000000,
  0xfffe000fffffffff, 0xfffffe0000000000,
  0xfffc001fffffffff, 0xfffffc0000000000,
  0xfff8003fffffffff, 0xfffff80000000000,
  0xfff0007fffffffff, 0xfffff00000000000,
  0xffe000ffffffffff, 0xffffe00000000000,
  0xffc001ffffffffff, 0xffffc00000000000,
  0xff8003ffffffffff, 0xffff800000000000,
  0xff0007ffffffffff, 0xffff000000000000,
  0xfe000fffffffffff, 0xfffe000000000000,
  0xfc001fffffffffff, 0xfffc000000000000,
  0xf8003fffffffffff, 0xfff8000000000000,
  0xf0007fffffffffff, 0xfff0000000000000,
  0xe000ffffffffffff, 0xffe0000000000000,
  0xc001ffffffffffff, 0xffc0000000000000,
  0x8003ffffffffffff, 0xff80000000000000,
  0x0007ffffffffffff, 0xff00000000000000,
  0x000fffffffffffff, 0xfe00000000000000,
  0x001fffffffffffff, 0xfc00000000000000,
  0x003fffffffffffff, 0xf800000000000000,
  0x007fffffffffffff, 0xf000000000000000,
  0x00ffffffffffffff, 0xe000000000000000,
  0x01ffffffffffffff, 0xc000000000000000,
  0x03ffffffffffffff, 0x8000000000000000,
  0x07ffffffffffffff, 0x0000000000000000,
  0x0fffffffffffffff, 0x0000000000000000,
  0x1fffffffffffffff, 0x0000000000000000,
  0x3fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffff80, 0xffffffffffffff81,
  0xffffffffffffff00, 0xffffffffffffff03,
  0xfffffffffffffe00, 0xfffffffffffffe07,
  0xfffffffffffffc00, 0xfffffffffffffc0f,
  0xfffffffffffff800, 0xfffffffffffff81f,
  0xfffffffffffff000, 0xfffffffffffff03f,
  0xffffffffffffe000, 0xffffffffffffe07f,
  0xffffffffffffc000, 0xffffffffffffc0ff,
  0xffffffffffff8000, 0xffffffffffff81ff,
  0xffffffffffff0000, 0xffffffffffff03ff,
  0xfffffffffffe0000, 0xfffffffffffe07ff,
  0xfffffffffffc0000, 0xfffffffffffc0fff,
  0xfffffffffff80000, 0xfffffffffff81fff,
  0xfffffffffff00000, 0xfffffffffff03fff,
  0xffffffffffe00000, 0xffffffffffe07fff,
  0xffffffffffc00000, 0xffffffffffc0ffff,
  0xffffffffff800000, 0xffffffffff81ffff,
  0xffffffffff000000, 0xffffffffff03ffff,
  0xfffffffffe000000, 0xfffffffffe07ffff,
  0xfffffffffc000000, 0xfffffffffc0fffff,
  0xfffffffff8000000, 0xfffffffff81fffff,
  0xfffffffff0000000, 0xfffffffff03fffff,
  0xffffffffe0000000, 0xffffffffe07fffff,
  0xffffffffc0000000, 0xffffffffc0ffffff,
  0xffffffff80000000, 0xffffffff81ffffff,
  0xffffffff00000000, 0xffffffff03ffffff,
  0xfffffffe00000000, 0xfffffffe07ffffff,
  0xfffffffc00000000, 0xfffffffc0fffffff,
  0xfffffff800000000, 0xfffffff81fffffff,
  0xfffffff000000000, 0xfffffff03fffffff,
  0xffffffe000000000, 0xffffffe07fffffff,
  0xffffffc000000000, 0xffffffc0ffffffff,
  0xffffff8000000000, 0xffffff81ffffffff,
  0xffffff0000000000, 0xffffff03ffffffff,
  0xfffffe0000000000, 0xfffffe07ffffffff,
  0xfffffc0000000000, 0xfffffc0fffffffff,
  0xfffff80000000000, 0xfffff81fffffffff,
  0xfffff00000000000, 0xfffff03fffffffff,
  0xffffe00000000000, 0xffffe07fffffffff,
  0xffffc00000000000, 0xffffc0ffffffffff,
  0xffff800000000000, 0xffff81ffffffffff,
  0xffff000000000000, 0xffff03ffffffffff,
  0xfffe000000000000, 0xfffe07ffffffffff,
  0xfffc000000000000, 0xfffc0fffffffffff,
  0xfff8000000000000, 0xfff81fffffffffff,
  0xfff0000000000000, 0xfff03fffffffffff,
  0xffe0000000000000, 0xffe07fffffffffff,
  0xffc0000000000000, 0xffc0ffffffffffff,
  0xff80000000000000, 0xff81ffffffffffff,
  0xff00000000000000, 0xff03ffffffffffff,
  0xfe00000000000000, 0xfe07ffffffffffff,
  0xfc00000000000000, 0xfc0fffffffffffff,
  0xf800000000000000, 0xf81fffffffffffff,
  0xf000000000000000, 0xf03fffffffffffff,
  0xe000000000000000, 0xe07fffffffffffff,
  0xc000000000000000, 0xc0ffffffffffffff,
  0x8000000000000000, 0x81ffffffffffffff,
  0x0000000000000000, 0x03ffffffffffffff,
  0x0000000000000000, 0x07ffffffffffffff,
  0x0000000000000000, 0x0fffffffffffffff,
  0x0000000000000000, 0x1fffffffffffffff,
  0x0000000000000000, 0x3fffffffffffffff,
  0x0000000000000000, 0x7fffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0xffffffffffffff81, 0xffffffffffffff82,
  0xffffffffffffff03, 0xffffffffffffff04,
  0xfffffffffffffe07, 0xfffffffffffffe08,
  0xfffffffffffffc0f, 0xfffffffffffffc10,
  0xfffffffffffff81f, 0xfffffffffffff820,
  0xfffffffffffff03f, 0xfffffffffffff040,
  0xffffffffffffe07f, 0xffffffffffffe080,
  0xffffffffffffc0ff, 0xffffffffffffc100,
  0xffffffffffff81ff, 0xffffffffffff8200,
  0xffffffffffff03ff, 0xffffffffffff0400,
  0xfffffffffffe07ff, 0xfffffffffffe0800,
  0xfffffffffffc0fff, 0xfffffffffffc1000,
  0xfffffffffff81fff, 0xfffffffffff82000,
  0xfffffffffff03fff, 0xfffffffffff04000,
  0xffffffffffe07fff, 0xffffffffffe08000,
  0xffffffffffc0ffff, 0xffffffffffc10000,
  0xffffffffff81ffff, 0xffffffffff820000,
  0xffffffffff03ffff, 0xffffffffff040000,
  0xfffffffffe07ffff, 0xfffffffffe080000,
  0xfffffffffc0fffff, 0xfffffffffc100000,
  0xfffffffff81fffff, 0xfffffffff8200000,
  0xfffffffff03fffff, 0xfffffffff0400000,
  0xffffffffe07fffff, 0xffffffffe0800000,
  0xffffffffc0ffffff, 0xffffffffc1000000,
  0xffffffff81ffffff, 0xffffffff82000000,
  0xffffffff03ffffff, 0xffffffff04000000,
  0xfffffffe07ffffff, 0xfffffffe08000000,
  0xfffffffc0fffffff, 0xfffffffc10000000,
  0xfffffff81fffffff, 0xfffffff820000000,
  0xfffffff03fffffff, 0xfffffff040000000,
  0xffffffe07fffffff, 0xffffffe080000000,
  0xffffffc0ffffffff, 0xffffffc100000000,
  0xffffff81ffffffff, 0xffffff8200000000,
  0xffffff03ffffffff, 0xffffff0400000000,
  0xfffffe07ffffffff, 0xfffffe0800000000,
  0xfffffc0fffffffff, 0xfffffc1000000000,
  0xfffff81fffffffff, 0xfffff82000000000,
  0xfffff03fffffffff, 0xfffff04000000000,
  0xffffe07fffffffff, 0xffffe08000000000,
  0xffffc0ffffffffff, 0xffffc10000000000,
  0xffff81ffffffffff, 0xffff820000000000,
  0xffff03ffffffffff, 0xffff040000000000,
  0xfffe07ffffffffff, 0xfffe080000000000,
  0xfffc0fffffffffff, 0xfffc100000000000,
  0xfff81fffffffffff, 0xfff8200000000000,
  0xfff03fffffffffff, 0xfff0400000000000,
  0xffe07fffffffffff, 0xffe0800000000000,
  0xffc0ffffffffffff, 0xffc1000000000000,
  0xff81ffffffffffff, 0xff82000000000000,
  0xff03ffffffffffff, 0xff04000000000000,
  0xfe07ffffffffffff, 0xfe08000000000000,
  0xfc0fffffffffffff, 0xfc10000000000000,
  0xf81fffffffffffff, 0xf820000000000000,
  0xf03fffffffffffff, 0xf040000000000000,
  0xe07fffffffffffff, 0xe080000000000000,
  0xc0ffffffffffffff, 0xc100000000000000,
  0x81ffffffffffffff, 0x8200000000000000,
  0x03ffffffffffffff, 0x0400000000000000,
  0x07ffffffffffffff, 0x0800000000000000,
  0x0fffffffffffffff, 0x1000000000000000,
  0x1fffffffffffffff, 0x2000000000000000,
  0x3fffffffffffffff, 0x4000000000000000,
  0x7fffffffffffffff, 0x8000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffff82, 0xffffffffffffff83,
  0xffffffffffffff04, 0xffffffffffffff07,
  0xfffffffffffffe08, 0xfffffffffffffe0f,
  0xfffffffffffffc10, 0xfffffffffffffc1f,
  0xfffffffffffff820, 0xfffffffffffff83f,
  0xfffffffffffff040, 0xfffffffffffff07f,
  0xffffffffffffe080, 0xffffffffffffe0ff,
  0xffffffffffffc100, 0xffffffffffffc1ff,
  0xffffffffffff8200, 0xffffffffffff83ff,
  0xffffffffffff0400, 0xffffffffffff07ff,
  0xfffffffffffe0800, 0xfffffffffffe0fff,
  0xfffffffffffc1000, 0xfffffffffffc1fff,
  0xfffffffffff82000, 0xfffffffffff83fff,
  0xfffffffffff04000, 0xfffffffffff07fff,
  0xffffffffffe08000, 0xffffffffffe0ffff,
  0xffffffffffc10000, 0xffffffffffc1ffff,
  0xffffffffff820000, 0xffffffffff83ffff,
  0xffffffffff040000, 0xffffffffff07ffff,
  0xfffffffffe080000, 0xfffffffffe0fffff,
  0xfffffffffc100000, 0xfffffffffc1fffff,
  0xfffffffff8200000, 0xfffffffff83fffff,
  0xfffffffff0400000, 0xfffffffff07fffff,
  0xffffffffe0800000, 0xffffffffe0ffffff,
  0xffffffffc1000000, 0xffffffffc1ffffff,
  0xffffffff82000000, 0xffffffff83ffffff,
  0xffffffff04000000, 0xffffffff07ffffff,
  0xfffffffe08000000, 0xfffffffe0fffffff,
  0xfffffffc10000000, 0xfffffffc1fffffff,
  0xfffffff820000000, 0xfffffff83fffffff,
  0xfffffff040000000, 0xfffffff07fffffff,
  0xffffffe080000000, 0xffffffe0ffffffff,
  0xffffffc100000000, 0xffffffc1ffffffff,
  0xffffff8200000000, 0xffffff83ffffffff,
  0xffffff0400000000, 0xffffff07ffffffff,
  0xfffffe0800000000, 0xfffffe0fffffffff,
  0xfffffc1000000000, 0xfffffc1fffffffff,
  0xfffff82000000000, 0xfffff83fffffffff,
  0xfffff04000000000, 0xfffff07fffffffff,
  0xffffe08000000000, 0xffffe0ffffffffff,
  0xffffc10000000000, 0xffffc1ffffffffff,
  0xffff820000000000, 0xffff83ffffffffff,
  0xffff040000000000, 0xffff07ffffffffff,
  0xfffe080000000000, 0xfffe0fffffffffff,
  0xfffc100000000000, 0xfffc1fffffffffff,
  0xfff8200000000000, 0xfff83fffffffffff,
  0xfff0400000000000, 0xfff07fffffffffff,
  0xffe0800000000000, 0xffe0ffffffffffff,
  0xffc1000000000000, 0xffc1ffffffffffff,
  0xff82000000000000, 0xff83ffffffffffff,
  0xff04000000000000, 0xff07ffffffffffff,
  0xfe08000000000000, 0xfe0fffffffffffff,
  0xfc10000000000000, 0xfc1fffffffffffff,
  0xf820000000000000, 0xf83fffffffffffff,
  0xf040000000000000, 0xf07fffffffffffff,
  0xe080000000000000, 0xe0ffffffffffffff,
  0xc100000000000000, 0xc1ffffffffffffff,
  0x8200000000000000, 0x83ffffffffffffff,
  0x0400000000000000, 0x07ffffffffffffff,
  0x0800000000000000, 0x0fffffffffffffff,
  0x1000000000000000, 0x1fffffffffffffff,
  0x2000000000000000, 0x3fffffffffffffff,
  0x4000000000000000, 0x7fffffffffffffff,
  0x8000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0xffffffffffffff83, 0xffffffffffffffc0,
  0xffffffffffffff07, 0xffffffffffffff80,
  0xfffffffffffffe0f, 0xffffffffffffff00,
  0xfffffffffffffc1f, 0xfffffffffffffe00,
  0xfffffffffffff83f, 0xfffffffffffffc00,
  0xfffffffffffff07f, 0xfffffffffffff800,
  0xffffffffffffe0ff, 0xfffffffffffff000,
  0xffffffffffffc1ff, 0xffffffffffffe000,
  0xffffffffffff83ff, 0xffffffffffffc000,
  0xffffffffffff07ff, 0xffffffffffff8000,
  0xfffffffffffe0fff, 0xffffffffffff0000,
  0xfffffffffffc1fff, 0xfffffffffffe0000,
  0xfffffffffff83fff, 0xfffffffffffc0000,
  0xfffffffffff07fff, 0xfffffffffff80000,
  0xffffffffffe0ffff, 0xfffffffffff00000,
  0xffffffffffc1ffff, 0xffffffffffe00000,
  0xffffffffff83ffff, 0xffffffffffc00000,
  0xffffffffff07ffff, 0xffffffffff800000,
  0xfffffffffe0fffff, 0xffffffffff000000,
  0xfffffffffc1fffff, 0xfffffffffe000000,
  0xfffffffff83fffff, 0xfffffffffc000000,
  0xfffffffff07fffff, 0xfffffffff8000000,
  0xffffffffe0ffffff, 0xfffffffff0000000,
  0xffffffffc1ffffff, 0xffffffffe0000000,
  0xffffffff83ffffff, 0xffffffffc0000000,
  0xffffffff07ffffff, 0xffffffff80000000,
  0xfffffffe0fffffff, 0xffffffff00000000,
  0xfffffffc1fffffff, 0xfffffffe00000000,
  0xfffffff83fffffff, 0xfffffffc00000000,
  0xfffffff07fffffff, 0xfffffff800000000,
  0xffffffe0ffffffff, 0xfffffff000000000,
  0xffffffc1ffffffff, 0xffffffe000000000,
  0xffffff83ffffffff, 0xffffffc000000000,
  0xffffff07ffffffff, 0xffffff8000000000,
  0xfffffe0fffffffff, 0xffffff0000000000,
  0xfffffc1fffffffff, 0xfffffe0000000000,
  0xfffff83fffffffff, 0xfffffc0000000000,
  0xfffff07fffffffff, 0xfffff80000000000,
  0xffffe0ffffffffff, 0xfffff00000000000,
  0xffffc1ffffffffff, 0xffffe00000000000,
  0xffff83ffffffffff, 0xffffc00000000000,
  0xffff07ffffffffff, 0xffff800000000000,
  0xfffe0fffffffffff, 0xffff000000000000,
  0xfffc1fffffffffff, 0xfffe000000000000,
  0xfff83fffffffffff, 0xfffc000000000000,
  0xfff07fffffffffff, 0xfff8000000000000,
  0xffe0ffffffffffff, 0xfff0000000000000,
  0xffc1ffffffffffff, 0xffe0000000000000,
  0xff83ffffffffffff, 0xffc0000000000000,
  0xff07ffffffffffff, 0xff80000000000000,
  0xfe0fffffffffffff, 0xff00000000000000,
  0xfc1fffffffffffff, 0xfe00000000000000,
  0xf83fffffffffffff, 0xfc00000000000000,
  0xf07fffffffffffff, 0xf800000000000000,
  0xe0ffffffffffffff, 0xf000000000000000,
  0xc1ffffffffffffff, 0xe000000000000000,
  0x83ffffffffffffff, 0xc000000000000000,
  0x07ffffffffffffff, 0x8000000000000000,
  0x0fffffffffffffff, 0x0000000000000000,
  0x1fffffffffffffff, 0x0000000000000000,
  0x3fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xffffffffffffffc0, 0xfffffffffffffffd,
  0xffffffffffffff80, 0xfffffffffffffffb,
  0xffffffffffffff00, 0xfffffffffffffff7,
  0xfffffffffffffe00, 0xffffffffffffffef,
  0xfffffffffffffc00, 0xffffffffffffffdf,
  0xfffffffffffff800, 0xffffffffffffffbf,
  0xfffffffffffff000, 0xffffffffffffff7f,
  0xffffffffffffe000, 0xfffffffffffffeff,
  0xffffffffffffc000, 0xfffffffffffffdff,
  0xffffffffffff8000, 0xfffffffffffffbff,
  0xffffffffffff0000, 0xfffffffffffff7ff,
  0xfffffffffffe0000, 0xffffffffffffefff,
  0xfffffffffffc0000, 0xffffffffffffdfff,
  0xfffffffffff80000, 0xffffffffffffbfff,
  0xfffffffffff00000, 0xffffffffffff7fff,
  0xffffffffffe00000, 0xfffffffffffeffff,
  0xffffffffffc00000, 0xfffffffffffdffff,
  0xffffffffff800000, 0xfffffffffffbffff,
  0xffffffffff000000, 0xfffffffffff7ffff,
  0xfffffffffe000000, 0xffffffffffefffff,
  0xfffffffffc000000, 0xffffffffffdfffff,
  0xfffffffff8000000, 0xffffffffffbfffff,
  0xfffffffff0000000, 0xffffffffff7fffff,
  0xffffffffe0000000, 0xfffffffffeffffff,
  0xffffffffc0000000, 0xfffffffffdffffff,
  0xffffffff80000000, 0xfffffffffbffffff,
  0xffffffff00000000, 0xfffffffff7ffffff,
  0xfffffffe00000000, 0xffffffffefffffff,
  0xfffffffc00000000, 0xffffffffdfffffff,
  0xfffffff800000000, 0xffffffffbfffffff,
  0xfffffff000000000, 0xffffffff7fffffff,
  0xffffffe000000000, 0xfffffffeffffffff,
  0xffffffc000000000, 0xfffffffdffffffff,
  0xffffff8000000000, 0xfffffffbffffffff,
  0xffffff0000000000, 0xfffffff7ffffffff,
  0xfffffe0000000000, 0xffffffefffffffff,
  0xfffffc0000000000, 0xffffffdfffffffff,
  0xfffff80000000000, 0xffffffbfffffffff,
  0xfffff00000000000, 0xffffff7fffffffff,
  0xffffe00000000000, 0xfffffeffffffffff,
  0xffffc00000000000, 0xfffffdffffffffff,
  0xffff800000000000, 0xfffffbffffffffff,
  0xffff000000000000, 0xfffff7ffffffffff,
  0xfffe000000000000, 0xffffefffffffffff,
  0xfffc000000000000, 0xffffdfffffffffff,
  0xfff8000000000000, 0xffffbfffffffffff,
  0xfff0000000000000, 0xffff7fffffffffff,
  0xffe0000000000000, 0xfffeffffffffffff,
  0xffc0000000000000, 0xfffdffffffffffff,
  0xff80000000000000, 0xfffbffffffffffff,
  0xff00000000000000, 0xfff7ffffffffffff,
  0xfe00000000000000, 0xffefffffffffffff,
  0xfc00000000000000, 0xffdfffffffffffff,
  0xf800000000000000, 0xffbfffffffffffff,
  0xf000000000000000, 0xff7fffffffffffff,
  0xe000000000000000, 0xfeffffffffffffff,
  0xc000000000000000, 0xfdffffffffffffff,
  0x8000000000000000, 0xfbffffffffffffff,
  0x0000000000000000, 0xf7ffffffffffffff,
  0x0000000000000000, 0xefffffffffffffff,
  0x0000000000000000, 0xdfffffffffffffff,
  0x0000000000000000, 0xbfffffffffffffff,
  0x0000000000000000, 0x7fffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
  0xfffffffffffffffd, 0xfffffffffffffffe,
  0xfffffffffffffffb, 0xfffffffffffffffc,
  0xfffffffffffffff7, 0xfffffffffffffff8,
  0xffffffffffffffef, 0xfffffffffffffff0,
  0xffffffffffffffdf, 0xffffffffffffffe0,
  0xffffffffffffffbf, 0xffffffffffffffc0,
  0xffffffffffffff7f, 0xffffffffffffff80,
  0xfffffffffffffeff, 0xffffffffffffff00,
  0xfffffffffffffdff, 0xfffffffffffffe00,
  0xfffffffffffffbff, 0xfffffffffffffc00,
  0xfffffffffffff7ff, 0xfffffffffffff800,
  0xffffffffffffefff, 0xfffffffffffff000,
  0xffffffffffffdfff, 0xffffffffffffe000,
  0xffffffffffffbfff, 0xffffffffffffc000,
  0xffffffffffff7fff, 0xffffffffffff8000,
  0xfffffffffffeffff, 0xffffffffffff0000,
  0xfffffffffffdffff, 0xfffffffffffe0000,
  0xfffffffffffbffff, 0xfffffffffffc0000,
  0xfffffffffff7ffff, 0xfffffffffff80000,
  0xffffffffffefffff, 0xfffffffffff00000,
  0xffffffffffdfffff, 0xffffffffffe00000,
  0xffffffffffbfffff, 0xffffffffffc00000,
  0xffffffffff7fffff, 0xffffffffff800000,
  0xfffffffffeffffff, 0xffffffffff000000,
  0xfffffffffdffffff, 0xfffffffffe000000,
  0xfffffffffbffffff, 0xfffffffffc000000,
  0xfffffffff7ffffff, 0xfffffffff8000000,
  0xffffffffefffffff, 0xfffffffff0000000,
  0xffffffffdfffffff, 0xffffffffe0000000,
  0xffffffffbfffffff, 0xffffffffc0000000,
  0xffffffff7fffffff, 0xffffffff80000000,
  0xfffffffeffffffff, 0xffffffff00000000,
  0xfffffffdffffffff, 0xfffffffe00000000,
  0xfffffffbffffffff, 0xfffffffc00000000,
  0xfffffff7ffffffff, 0xfffffff800000000,
  0xffffffefffffffff, 0xfffffff000000000,
  0xffffffdfffffffff, 0xffffffe000000000,
  0xffffffbfffffffff, 0xffffffc000000000,
  0xffffff7fffffffff, 0xffffff8000000000,
  0xfffffeffffffffff, 0xffffff0000000000,
  0xfffffdffffffffff, 0xfffffe0000000000,
  0xfffffbffffffffff, 0xfffffc0000000000,
  0xfffff7ffffffffff, 0xfffff80000000000,
  0xffffefffffffffff, 0xfffff00000000000,
  0xffffdfffffffffff, 0xffffe00000000000,
  0xffffbfffffffffff, 0xffffc00000000000,
  0xffff7fffffffffff, 0xffff800000000000,
  0xfffeffffffffffff, 0xffff000000000000,
  0xfffdffffffffffff, 0xfffe000000000000,
  0xfffbffffffffffff, 0xfffc000000000000,
  0xfff7ffffffffffff, 0xfff8000000000000,
  0xffefffffffffffff, 0xfff0000000000000,
  0xffdfffffffffffff, 0xffe0000000000000,
  0xffbfffffffffffff, 0xffc0000000000000,
  0xff7fffffffffffff, 0xff80000000000000,
  0xfeffffffffffffff, 0xff00000000000000,
  0xfdffffffffffffff, 0xfe00000000000000,
  0xfbffffffffffffff, 0xfc00000000000000,
  0xf7ffffffffffffff, 0xf800000000000000,
  0xefffffffffffffff, 0xf000000000000000,
  0xdfffffffffffffff, 0xe000000000000000,
  0xbfffffffffffffff, 0xc000000000000000,
  0x7fffffffffffffff, 0x8000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0xfffffffffffffffe, 0xffffffffffffffff,
  0xfffffffffffffffc, 0xffffffffffffffff,
  0xfffffffffffffff8, 0xffffffffffffffff,
  0xfffffffffffffff0, 0xffffffffffffffff,
  0xffffffffffffffe0, 0xffffffffffffffff,
  0xffffffffffffffc0, 0xffffffffffffffff,
  0xffffffffffffff80, 0xffffffffffffffff,
  0xffffffffffffff00, 0xffffffffffffffff,
  0xfffffffffffffe00, 0xffffffffffffffff,
  0xfffffffffffffc00, 0xffffffffffffffff,
  0xfffffffffffff800, 0xffffffffffffffff,
  0xfffffffffffff000, 0xffffffffffffffff,
  0xffffffffffffe000, 0xffffffffffffffff,
  0xffffffffffffc000, 0xffffffffffffffff,
  0xffffffffffff8000, 0xffffffffffffffff,
  0xffffffffffff0000, 0xffffffffffffffff,
  0xfffffffffffe0000, 0xffffffffffffffff,
  0xfffffffffffc0000, 0xffffffffffffffff,
  0xfffffffffff80000, 0xffffffffffffffff,
  0xfffffffffff00000, 0xffffffffffffffff,
  0xffffffffffe00000, 0xffffffffffffffff,
  0xffffffffffc00000, 0xffffffffffffffff,
  0xffffffffff800000, 0xffffffffffffffff,
  0xffffffffff000000, 0xffffffffffffffff,
  0xfffffffffe000000, 0xffffffffffffffff,
  0xfffffffffc000000, 0xffffffffffffffff,
  0xfffffffff8000000, 0xffffffffffffffff,
  0xfffffffff0000000, 0xffffffffffffffff,
  0xffffffffe0000000, 0xffffffffffffffff,
  0xffffffffc0000000, 0xffffffffffffffff,
  0xffffffff80000000, 0xffffffffffffffff,
  0xffffffff00000000, 0xffffffffffffffff,
  0xfffffffe00000000, 0xffffffffffffffff,
  0xfffffffc00000000, 0xffffffffffffffff,
  0xfffffff800000000, 0xffffffffffffffff,
  0xfffffff000000000, 0xffffffffffffffff,
  0xffffffe000000000, 0xffffffffffffffff,
  0xffffffc000000000, 0xffffffffffffffff,
  0xffffff8000000000, 0xffffffffffffffff,
  0xffffff0000000000, 0xffffffffffffffff,
  0xfffffe0000000000, 0xffffffffffffffff,
  0xfffffc0000000000, 0xffffffffffffffff,
  0xfffff80000000000, 0xffffffffffffffff,
  0xfffff00000000000, 0xffffffffffffffff,
  0xffffe00000000000, 0xffffffffffffffff,
  0xffffc00000000000, 0xffffffffffffffff,
  0xffff800000000000, 0xffffffffffffffff,
  0xffff000000000000, 0xffffffffffffffff,
  0xfffe000000000000, 0xffffffffffffffff,
  0xfffc000000000000, 0xffffffffffffffff,
  0xfff8000000000000, 0xffffffffffffffff,
  0xfff0000000000000, 0xffffffffffffffff,
  0xffe0000000000000, 0xffffffffffffffff,
  0xffc0000000000000, 0xffffffffffffffff,
  0xff80000000000000, 0xffffffffffffffff,
  0xff00000000000000, 0xffffffffffffffff,
  0xfe00000000000000, 0xffffffffffffffff,
  0xfc00000000000000, 0xffffffffffffffff,
  0xf800000000000000, 0xffffffffffffffff,
  0xf000000000000000, 0xffffffffffffffff,
  0xe000000000000000, 0xffffffffffffffff,
  0xc000000000000000, 0xffffffffffffffff,
  0x8000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0xffffffffffffffff,
};
const unsigned kExpectedCount_NEON_sli_2D_2OPIMM = 2560;

#endif  // VIXL_SIM_SLI_2D_2OPIMM_TRACE_A64_H_