// 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_URSHR_2D_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_URSHR_2D_2OPIMM_TRACE_A64_H_
const uint64_t kExpected_NEON_urshr_2D_2OPIMM[] = {
0x8000000000000000, 0x0000000000000000,
0x4000000000000000, 0x0000000000000000,
0x2000000000000000, 0x0000000000000000,
0x1000000000000000, 0x0000000000000000,
0x0800000000000000, 0x0000000000000000,
0x0400000000000000, 0x0000000000000000,
0x0200000000000000, 0x0000000000000000,
0x0100000000000000, 0x0000000000000000,
0x0080000000000000, 0x0000000000000000,
0x0040000000000000, 0x0000000000000000,
0x0020000000000000, 0x0000000000000000,
0x0010000000000000, 0x0000000000000000,
0x0008000000000000, 0x0000000000000000,
0x0004000000000000, 0x0000000000000000,
0x0002000000000000, 0x0000000000000000,
0x0001000000000000, 0x0000000000000000,
0x0000800000000000, 0x0000000000000000,
0x0000400000000000, 0x0000000000000000,
0x0000200000000000, 0x0000000000000000,
0x0000100000000000, 0x0000000000000000,
0x0000080000000000, 0x0000000000000000,
0x0000040000000000, 0x0000000000000000,
0x0000020000000000, 0x0000000000000000,
0x0000010000000000, 0x0000000000000000,
0x0000008000000000, 0x0000000000000000,
0x0000004000000000, 0x0000000000000000,
0x0000002000000000, 0x0000000000000000,
0x0000001000000000, 0x0000000000000000,
0x0000000800000000, 0x0000000000000000,
0x0000000400000000, 0x0000000000000000,
0x0000000200000000, 0x0000000000000000,
0x0000000100000000, 0x0000000000000000,
0x0000000080000000, 0x0000000000000000,
0x0000000040000000, 0x0000000000000000,
0x0000000020000000, 0x0000000000000000,
0x0000000010000000, 0x0000000000000000,
0x0000000008000000, 0x0000000000000000,
0x0000000004000000, 0x0000000000000000,
0x0000000002000000, 0x0000000000000000,
0x0000000001000000, 0x0000000000000000,
0x0000000000800000, 0x0000000000000000,
0x0000000000400000, 0x0000000000000000,
0x0000000000200000, 0x0000000000000000,
0x0000000000100000, 0x0000000000000000,
0x0000000000080000, 0x0000000000000000,
0x0000000000040000, 0x0000000000000000,
0x0000000000020000, 0x0000000000000000,
0x0000000000010000, 0x0000000000000000,
0x0000000000008000, 0x0000000000000000,
0x0000000000004000, 0x0000000000000000,
0x0000000000002000, 0x0000000000000000,
0x0000000000001000, 0x0000000000000000,
0x0000000000000800, 0x0000000000000000,
0x0000000000000400, 0x0000000000000000,
0x0000000000000200, 0x0000000000000000,
0x0000000000000100, 0x0000000000000000,
0x0000000000000080, 0x0000000000000000,
0x0000000000000040, 0x0000000000000000,
0x0000000000000020, 0x0000000000000000,
0x0000000000000010, 0x0000000000000000,
0x0000000000000008, 0x0000000000000000,
0x0000000000000004, 0x0000000000000000,
0x0000000000000002, 0x0000000000000000,
0x0000000000000001, 0x0000000000000000,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000001, 0x0000000000000020,
0x0000000000000001, 0x0000000000000010,
0x0000000000000000, 0x0000000000000008,
0x0000000000000000, 0x0000000000000004,
0x0000000000000000, 0x0000000000000002,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000020, 0x000000000000003f,
0x0000000000000010, 0x000000000000001f,
0x0000000000000008, 0x0000000000000010,
0x0000000000000004, 0x0000000000000008,
0x0000000000000002, 0x0000000000000004,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x000000000000003f, 0x000000000000003f,
0x000000000000001f, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x000000000000003f, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000040, 0x0000000000003fff,
0x0000000000000020, 0x0000000000001fff,
0x0000000000000010, 0x0000000000001000,
0x0000000000000008, 0x0000000000000800,
0x0000000000000004, 0x0000000000000400,
0x0000000000000002, 0x0000000000000200,
0x0000000000000001, 0x0000000000000100,
0x0000000000000000, 0x0000000000000080,
0x0000000000000000, 0x0000000000000040,
0x0000000000000000, 0x0000000000000020,
0x0000000000000000, 0x0000000000000010,
0x0000000000000000, 0x0000000000000008,
0x0000000000000000, 0x0000000000000004,
0x0000000000000000, 0x0000000000000002,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000003fff, 0x0000000000003fff,
0x0000000000001fff, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000003fff, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000004000, 0x000000003fffffff,
0x0000000000002000, 0x000000001fffffff,
0x0000000000001000, 0x0000000010000000,
0x0000000000000800, 0x0000000008000000,
0x0000000000000400, 0x0000000004000000,
0x0000000000000200, 0x0000000002000000,
0x0000000000000100, 0x0000000001000000,
0x0000000000000080, 0x0000000000800000,
0x0000000000000040, 0x0000000000400000,
0x0000000000000020, 0x0000000000200000,
0x0000000000000010, 0x0000000000100000,
0x0000000000000008, 0x0000000000080000,
0x0000000000000004, 0x0000000000040000,
0x0000000000000002, 0x0000000000020000,
0x0000000000000001, 0x0000000000010000,
0x0000000000000000, 0x0000000000008000,
0x0000000000000000, 0x0000000000004000,
0x0000000000000000, 0x0000000000002000,
0x0000000000000000, 0x0000000000001000,
0x0000000000000000, 0x0000000000000800,
0x0000000000000000, 0x0000000000000400,
0x0000000000000000, 0x0000000000000200,
0x0000000000000000, 0x0000000000000100,
0x0000000000000000, 0x0000000000000080,
0x0000000000000000, 0x0000000000000040,
0x0000000000000000, 0x0000000000000020,
0x0000000000000000, 0x0000000000000010,
0x0000000000000000, 0x0000000000000008,
0x0000000000000000, 0x0000000000000004,
0x0000000000000000, 0x0000000000000002,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x000000003fffffff, 0x000000003fffffff,
0x000000001fffffff, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x000000003fffffff, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x0000000040000000, 0x199999999999999a,
0x0000000020000000, 0x0ccccccccccccccd,
0x0000000010000000, 0x0666666666666666,
0x0000000008000000, 0x0333333333333333,
0x0000000004000000, 0x019999999999999a,
0x0000000002000000, 0x00cccccccccccccd,
0x0000000001000000, 0x0066666666666666,
0x0000000000800000, 0x0033333333333333,
0x0000000000400000, 0x001999999999999a,
0x0000000000200000, 0x000ccccccccccccd,
0x0000000000100000, 0x0006666666666666,
0x0000000000080000, 0x0003333333333333,
0x0000000000040000, 0x000199999999999a,
0x0000000000020000, 0x0000cccccccccccd,
0x0000000000010000, 0x0000666666666666,
0x0000000000008000, 0x0000333333333333,
0x0000000000004000, 0x000019999999999a,
0x0000000000002000, 0x00000ccccccccccd,
0x0000000000001000, 0x0000066666666666,
0x0000000000000800, 0x0000033333333333,
0x0000000000000400, 0x000001999999999a,
0x0000000000000200, 0x000000cccccccccd,
0x0000000000000100, 0x0000006666666666,
0x0000000000000080, 0x0000003333333333,
0x0000000000000040, 0x000000199999999a,
0x0000000000000020, 0x0000000ccccccccd,
0x0000000000000010, 0x0000000666666666,
0x0000000000000008, 0x0000000333333333,
0x0000000000000004, 0x000000019999999a,
0x0000000000000002, 0x00000000cccccccd,
0x0000000000000001, 0x0000000066666666,
0x0000000000000000, 0x0000000033333333,
0x0000000000000000, 0x000000001999999a,
0x0000000000000000, 0x000000000ccccccd,
0x0000000000000000, 0x0000000006666666,
0x0000000000000000, 0x0000000003333333,
0x0000000000000000, 0x000000000199999a,
0x0000000000000000, 0x0000000000cccccd,
0x0000000000000000, 0x0000000000666666,
0x0000000000000000, 0x0000000000333333,
0x0000000000000000, 0x000000000019999a,
0x0000000000000000, 0x00000000000ccccd,
0x0000000000000000, 0x0000000000066666,
0x0000000000000000, 0x0000000000033333,
0x0000000000000000, 0x000000000001999a,
0x0000000000000000, 0x000000000000cccd,
0x0000000000000000, 0x0000000000006666,
0x0000000000000000, 0x0000000000003333,
0x0000000000000000, 0x000000000000199a,
0x0000000000000000, 0x0000000000000ccd,
0x0000000000000000, 0x0000000000000666,
0x0000000000000000, 0x0000000000000333,
0x0000000000000000, 0x000000000000019a,
0x0000000000000000, 0x00000000000000cd,
0x0000000000000000, 0x0000000000000066,
0x0000000000000000, 0x0000000000000033,
0x0000000000000000, 0x000000000000001a,
0x0000000000000000, 0x000000000000000d,
0x0000000000000000, 0x0000000000000006,
0x0000000000000000, 0x0000000000000003,
0x0000000000000000, 0x0000000000000002,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x0000000000000000, 0x0000000000000000,
0x199999999999999a, 0x2aaaaaaaaaaaaaab,
0x0ccccccccccccccd, 0x1555555555555555,
0x0666666666666666, 0x0aaaaaaaaaaaaaab,
0x0333333333333333, 0x0555555555555555,
0x019999999999999a, 0x02aaaaaaaaaaaaab,
0x00cccccccccccccd, 0x0155555555555555,
0x0066666666666666, 0x00aaaaaaaaaaaaab,
0x0033333333333333, 0x0055555555555555,
0x001999999999999a, 0x002aaaaaaaaaaaab,
0x000ccccccccccccd, 0x0015555555555555,
0x0006666666666666, 0x000aaaaaaaaaaaab,
0x0003333333333333, 0x0005555555555555,
0x000199999999999a, 0x0002aaaaaaaaaaab,
0x0000cccccccccccd, 0x0001555555555555,
0x0000666666666666, 0x0000aaaaaaaaaaab,
0x0000333333333333, 0x0000555555555555,
0x000019999999999a, 0x00002aaaaaaaaaab,
0x00000ccccccccccd, 0x0000155555555555,
0x0000066666666666, 0x00000aaaaaaaaaab,
0x0000033333333333, 0x0000055555555555,
0x000001999999999a, 0x000002aaaaaaaaab,
0x000000cccccccccd, 0x0000015555555555,
0x0000006666666666, 0x000000aaaaaaaaab,
0x0000003333333333, 0x0000005555555555,
0x000000199999999a, 0x0000002aaaaaaaab,
0x0000000ccccccccd, 0x0000001555555555,
0x0000000666666666, 0x0000000aaaaaaaab,
0x0000000333333333, 0x0000000555555555,
0x000000019999999a, 0x00000002aaaaaaab,
0x00000000cccccccd, 0x0000000155555555,
0x0000000066666666, 0x00000000aaaaaaab,
0x0000000033333333, 0x0000000055555555,
0x000000001999999a, 0x000000002aaaaaab,
0x000000000ccccccd, 0x0000000015555555,
0x0000000006666666, 0x000000000aaaaaab,
0x0000000003333333, 0x0000000005555555,
0x000000000199999a, 0x0000000002aaaaab,
0x0000000000cccccd, 0x0000000001555555,
0x0000000000666666, 0x0000000000aaaaab,
0x0000000000333333, 0x0000000000555555,
0x000000000019999a, 0x00000000002aaaab,
0x00000000000ccccd, 0x0000000000155555,
0x0000000000066666, 0x00000000000aaaab,
0x0000000000033333, 0x0000000000055555,
0x000000000001999a, 0x000000000002aaab,
0x000000000000cccd, 0x0000000000015555,
0x0000000000006666, 0x000000000000aaab,
0x0000000000003333, 0x0000000000005555,
0x000000000000199a, 0x0000000000002aab,
0x0000000000000ccd, 0x0000000000001555,
0x0000000000000666, 0x0000000000000aab,
0x0000000000000333, 0x0000000000000555,
0x000000000000019a, 0x00000000000002ab,
0x00000000000000cd, 0x0000000000000155,
0x0000000000000066, 0x00000000000000ab,
0x0000000000000033, 0x0000000000000055,
0x000000000000001a, 0x000000000000002b,
0x000000000000000d, 0x0000000000000015,
0x0000000000000006, 0x000000000000000b,
0x0000000000000003, 0x0000000000000005,
0x0000000000000002, 0x0000000000000003,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x2aaaaaaaaaaaaaab, 0x3fffffffffffffff,
0x1555555555555555, 0x1fffffffffffffff,
0x0aaaaaaaaaaaaaab, 0x1000000000000000,
0x0555555555555555, 0x0800000000000000,
0x02aaaaaaaaaaaaab, 0x0400000000000000,
0x0155555555555555, 0x0200000000000000,
0x00aaaaaaaaaaaaab, 0x0100000000000000,
0x0055555555555555, 0x0080000000000000,
0x002aaaaaaaaaaaab, 0x0040000000000000,
0x0015555555555555, 0x0020000000000000,
0x000aaaaaaaaaaaab, 0x0010000000000000,
0x0005555555555555, 0x0008000000000000,
0x0002aaaaaaaaaaab, 0x0004000000000000,
0x0001555555555555, 0x0002000000000000,
0x0000aaaaaaaaaaab, 0x0001000000000000,
0x0000555555555555, 0x0000800000000000,
0x00002aaaaaaaaaab, 0x0000400000000000,
0x0000155555555555, 0x0000200000000000,
0x00000aaaaaaaaaab, 0x0000100000000000,
0x0000055555555555, 0x0000080000000000,
0x000002aaaaaaaaab, 0x0000040000000000,
0x0000015555555555, 0x0000020000000000,
0x000000aaaaaaaaab, 0x0000010000000000,
0x0000005555555555, 0x0000008000000000,
0x0000002aaaaaaaab, 0x0000004000000000,
0x0000001555555555, 0x0000002000000000,
0x0000000aaaaaaaab, 0x0000001000000000,
0x0000000555555555, 0x0000000800000000,
0x00000002aaaaaaab, 0x0000000400000000,
0x0000000155555555, 0x0000000200000000,
0x00000000aaaaaaab, 0x0000000100000000,
0x0000000055555555, 0x0000000080000000,
0x000000002aaaaaab, 0x0000000040000000,
0x0000000015555555, 0x0000000020000000,
0x000000000aaaaaab, 0x0000000010000000,
0x0000000005555555, 0x0000000008000000,
0x0000000002aaaaab, 0x0000000004000000,
0x0000000001555555, 0x0000000002000000,
0x0000000000aaaaab, 0x0000000001000000,
0x0000000000555555, 0x0000000000800000,
0x00000000002aaaab, 0x0000000000400000,
0x0000000000155555, 0x0000000000200000,
0x00000000000aaaab, 0x0000000000100000,
0x0000000000055555, 0x0000000000080000,
0x000000000002aaab, 0x0000000000040000,
0x0000000000015555, 0x0000000000020000,
0x000000000000aaab, 0x0000000000010000,
0x0000000000005555, 0x0000000000008000,
0x0000000000002aab, 0x0000000000004000,
0x0000000000001555, 0x0000000000002000,
0x0000000000000aab, 0x0000000000001000,
0x0000000000000555, 0x0000000000000800,
0x00000000000002ab, 0x0000000000000400,
0x0000000000000155, 0x0000000000000200,
0x00000000000000ab, 0x0000000000000100,
0x0000000000000055, 0x0000000000000080,
0x000000000000002b, 0x0000000000000040,
0x0000000000000015, 0x0000000000000020,
0x000000000000000b, 0x0000000000000010,
0x0000000000000005, 0x0000000000000008,
0x0000000000000003, 0x0000000000000004,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x3fffffffffffffff, 0x3fffffffffffffff,
0x1fffffffffffffff, 0x2000000000000000,
0x1000000000000000, 0x1000000000000000,
0x0800000000000000, 0x0800000000000000,
0x0400000000000000, 0x0400000000000000,
0x0200000000000000, 0x0200000000000000,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x3fffffffffffffff, 0x4000000000000000,
0x2000000000000000, 0x2000000000000000,
0x1000000000000000, 0x1000000000000000,
0x0800000000000000, 0x0800000000000000,
0x0400000000000000, 0x0400000000000000,
0x0200000000000000, 0x0200000000000000,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000000,
0x4000000000000000, 0x4000000000000000,
0x2000000000000000, 0x2000000000000000,
0x1000000000000000, 0x1000000000000000,
0x0800000000000000, 0x0800000000000000,
0x0400000000000000, 0x0400000000000000,
0x0200000000000000, 0x0200000000000000,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x4000000000000000, 0x4000000000000001,
0x2000000000000000, 0x2000000000000000,
0x1000000000000000, 0x1000000000000000,
0x0800000000000000, 0x0800000000000000,
0x0400000000000000, 0x0400000000000000,
0x0200000000000000, 0x0200000000000000,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000001, 0x0000000000000001,
0x4000000000000001, 0x4000000000000001,
0x2000000000000000, 0x2000000000000001,
0x1000000000000000, 0x1000000000000000,
0x0800000000000000, 0x0800000000000000,
0x0400000000000000, 0x0400000000000000,
0x0200000000000000, 0x0200000000000000,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000001, 0x0000000000000001,
0x4000000000000001, 0x4000000000000002,
0x2000000000000001, 0x2000000000000001,
0x1000000000000000, 0x1000000000000000,
0x0800000000000000, 0x0800000000000000,
0x0400000000000000, 0x0400000000000000,
0x0200000000000000, 0x0200000000000000,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x0000000000000001, 0x0000000000000001,
0x4000000000000002, 0x5555555555555555,
0x2000000000000001, 0x2aaaaaaaaaaaaaab,
0x1000000000000000, 0x1555555555555555,
0x0800000000000000, 0x0aaaaaaaaaaaaaab,
0x0400000000000000, 0x0555555555555555,
0x0200000000000000, 0x02aaaaaaaaaaaaab,
0x0100000000000000, 0x0155555555555555,
0x0080000000000000, 0x00aaaaaaaaaaaaab,
0x0040000000000000, 0x0055555555555555,
0x0020000000000000, 0x002aaaaaaaaaaaab,
0x0010000000000000, 0x0015555555555555,
0x0008000000000000, 0x000aaaaaaaaaaaab,
0x0004000000000000, 0x0005555555555555,
0x0002000000000000, 0x0002aaaaaaaaaaab,
0x0001000000000000, 0x0001555555555555,
0x0000800000000000, 0x0000aaaaaaaaaaab,
0x0000400000000000, 0x0000555555555555,
0x0000200000000000, 0x00002aaaaaaaaaab,
0x0000100000000000, 0x0000155555555555,
0x0000080000000000, 0x00000aaaaaaaaaab,
0x0000040000000000, 0x0000055555555555,
0x0000020000000000, 0x000002aaaaaaaaab,
0x0000010000000000, 0x0000015555555555,
0x0000008000000000, 0x000000aaaaaaaaab,
0x0000004000000000, 0x0000005555555555,
0x0000002000000000, 0x0000002aaaaaaaab,
0x0000001000000000, 0x0000001555555555,
0x0000000800000000, 0x0000000aaaaaaaab,
0x0000000400000000, 0x0000000555555555,
0x0000000200000000, 0x00000002aaaaaaab,
0x0000000100000000, 0x0000000155555555,
0x0000000080000000, 0x00000000aaaaaaab,
0x0000000040000000, 0x0000000055555555,
0x0000000020000000, 0x000000002aaaaaab,
0x0000000010000000, 0x0000000015555555,
0x0000000008000000, 0x000000000aaaaaab,
0x0000000004000000, 0x0000000005555555,
0x0000000002000000, 0x0000000002aaaaab,
0x0000000001000000, 0x0000000001555555,
0x0000000000800000, 0x0000000000aaaaab,
0x0000000000400000, 0x0000000000555555,
0x0000000000200000, 0x00000000002aaaab,
0x0000000000100000, 0x0000000000155555,
0x0000000000080000, 0x00000000000aaaab,
0x0000000000040000, 0x0000000000055555,
0x0000000000020000, 0x000000000002aaab,
0x0000000000010000, 0x0000000000015555,
0x0000000000008000, 0x000000000000aaab,
0x0000000000004000, 0x0000000000005555,
0x0000000000002000, 0x0000000000002aab,
0x0000000000001000, 0x0000000000001555,
0x0000000000000800, 0x0000000000000aab,
0x0000000000000400, 0x0000000000000555,
0x0000000000000200, 0x00000000000002ab,
0x0000000000000100, 0x0000000000000155,
0x0000000000000080, 0x00000000000000ab,
0x0000000000000040, 0x0000000000000055,
0x0000000000000020, 0x000000000000002b,
0x0000000000000010, 0x0000000000000015,
0x0000000000000008, 0x000000000000000b,
0x0000000000000004, 0x0000000000000005,
0x0000000000000002, 0x0000000000000003,
0x0000000000000001, 0x0000000000000001,
0x0000000000000001, 0x0000000000000001,
0x5555555555555555, 0x6666666666666666,
0x2aaaaaaaaaaaaaab, 0x3333333333333333,
0x1555555555555555, 0x199999999999999a,
0x0aaaaaaaaaaaaaab, 0x0ccccccccccccccd,
0x0555555555555555, 0x0666666666666666,
0x02aaaaaaaaaaaaab, 0x0333333333333333,
0x0155555555555555, 0x019999999999999a,
0x00aaaaaaaaaaaaab, 0x00cccccccccccccd,
0x0055555555555555, 0x0066666666666666,
0x002aaaaaaaaaaaab, 0x0033333333333333,
0x0015555555555555, 0x001999999999999a,
0x000aaaaaaaaaaaab, 0x000ccccccccccccd,
0x0005555555555555, 0x0006666666666666,
0x0002aaaaaaaaaaab, 0x0003333333333333,
0x0001555555555555, 0x000199999999999a,
0x0000aaaaaaaaaaab, 0x0000cccccccccccd,
0x0000555555555555, 0x0000666666666666,
0x00002aaaaaaaaaab, 0x0000333333333333,
0x0000155555555555, 0x000019999999999a,
0x00000aaaaaaaaaab, 0x00000ccccccccccd,
0x0000055555555555, 0x0000066666666666,
0x000002aaaaaaaaab, 0x0000033333333333,
0x0000015555555555, 0x000001999999999a,
0x000000aaaaaaaaab, 0x000000cccccccccd,
0x0000005555555555, 0x0000006666666666,
0x0000002aaaaaaaab, 0x0000003333333333,
0x0000001555555555, 0x000000199999999a,
0x0000000aaaaaaaab, 0x0000000ccccccccd,
0x0000000555555555, 0x0000000666666666,
0x00000002aaaaaaab, 0x0000000333333333,
0x0000000155555555, 0x000000019999999a,
0x00000000aaaaaaab, 0x00000000cccccccd,
0x0000000055555555, 0x0000000066666666,
0x000000002aaaaaab, 0x0000000033333333,
0x0000000015555555, 0x000000001999999a,
0x000000000aaaaaab, 0x000000000ccccccd,
0x0000000005555555, 0x0000000006666666,
0x0000000002aaaaab, 0x0000000003333333,
0x0000000001555555, 0x000000000199999a,
0x0000000000aaaaab, 0x0000000000cccccd,
0x0000000000555555, 0x0000000000666666,
0x00000000002aaaab, 0x0000000000333333,
0x0000000000155555, 0x000000000019999a,
0x00000000000aaaab, 0x00000000000ccccd,
0x0000000000055555, 0x0000000000066666,
0x000000000002aaab, 0x0000000000033333,
0x0000000000015555, 0x000000000001999a,
0x000000000000aaab, 0x000000000000cccd,
0x0000000000005555, 0x0000000000006666,
0x0000000000002aab, 0x0000000000003333,
0x0000000000001555, 0x000000000000199a,
0x0000000000000aab, 0x0000000000000ccd,
0x0000000000000555, 0x0000000000000666,
0x00000000000002ab, 0x0000000000000333,
0x0000000000000155, 0x000000000000019a,
0x00000000000000ab, 0x00000000000000cd,
0x0000000000000055, 0x0000000000000066,
0x000000000000002b, 0x0000000000000033,
0x0000000000000015, 0x000000000000001a,
0x000000000000000b, 0x000000000000000d,
0x0000000000000005, 0x0000000000000006,
0x0000000000000003, 0x0000000000000003,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x6666666666666666, 0x7fffffffc0000000,
0x3333333333333333, 0x3fffffffe0000000,
0x199999999999999a, 0x1ffffffff0000000,
0x0ccccccccccccccd, 0x0ffffffff8000000,
0x0666666666666666, 0x07fffffffc000000,
0x0333333333333333, 0x03fffffffe000000,
0x019999999999999a, 0x01ffffffff000000,
0x00cccccccccccccd, 0x00ffffffff800000,
0x0066666666666666, 0x007fffffffc00000,
0x0033333333333333, 0x003fffffffe00000,
0x001999999999999a, 0x001ffffffff00000,
0x000ccccccccccccd, 0x000ffffffff80000,
0x0006666666666666, 0x0007fffffffc0000,
0x0003333333333333, 0x0003fffffffe0000,
0x000199999999999a, 0x0001ffffffff0000,
0x0000cccccccccccd, 0x0000ffffffff8000,
0x0000666666666666, 0x00007fffffffc000,
0x0000333333333333, 0x00003fffffffe000,
0x000019999999999a, 0x00001ffffffff000,
0x00000ccccccccccd, 0x00000ffffffff800,
0x0000066666666666, 0x000007fffffffc00,
0x0000033333333333, 0x000003fffffffe00,
0x000001999999999a, 0x000001ffffffff00,
0x000000cccccccccd, 0x000000ffffffff80,
0x0000006666666666, 0x0000007fffffffc0,
0x0000003333333333, 0x0000003fffffffe0,
0x000000199999999a, 0x0000001ffffffff0,
0x0000000ccccccccd, 0x0000000ffffffff8,
0x0000000666666666, 0x00000007fffffffc,
0x0000000333333333, 0x00000003fffffffe,
0x000000019999999a, 0x00000001ffffffff,
0x00000000cccccccd, 0x0000000100000000,
0x0000000066666666, 0x0000000080000000,
0x0000000033333333, 0x0000000040000000,
0x000000001999999a, 0x0000000020000000,
0x000000000ccccccd, 0x0000000010000000,
0x0000000006666666, 0x0000000008000000,
0x0000000003333333, 0x0000000004000000,
0x000000000199999a, 0x0000000002000000,
0x0000000000cccccd, 0x0000000001000000,
0x0000000000666666, 0x0000000000800000,
0x0000000000333333, 0x0000000000400000,
0x000000000019999a, 0x0000000000200000,
0x00000000000ccccd, 0x0000000000100000,
0x0000000000066666, 0x0000000000080000,
0x0000000000033333, 0x0000000000040000,
0x000000000001999a, 0x0000000000020000,
0x000000000000cccd, 0x0000000000010000,
0x0000000000006666, 0x0000000000008000,
0x0000000000003333, 0x0000000000004000,
0x000000000000199a, 0x0000000000002000,
0x0000000000000ccd, 0x0000000000001000,
0x0000000000000666, 0x0000000000000800,
0x0000000000000333, 0x0000000000000400,
0x000000000000019a, 0x0000000000000200,
0x00000000000000cd, 0x0000000000000100,
0x0000000000000066, 0x0000000000000080,
0x0000000000000033, 0x0000000000000040,
0x000000000000001a, 0x0000000000000020,
0x000000000000000d, 0x0000000000000010,
0x0000000000000006, 0x0000000000000008,
0x0000000000000003, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffc0000000, 0x7fffffffc0000001,
0x3fffffffe0000000, 0x3fffffffe0000000,
0x1ffffffff0000000, 0x1ffffffff0000000,
0x0ffffffff8000000, 0x0ffffffff8000000,
0x07fffffffc000000, 0x07fffffffc000000,
0x03fffffffe000000, 0x03fffffffe000000,
0x01ffffffff000000, 0x01ffffffff000000,
0x00ffffffff800000, 0x00ffffffff800000,
0x007fffffffc00000, 0x007fffffffc00000,
0x003fffffffe00000, 0x003fffffffe00000,
0x001ffffffff00000, 0x001ffffffff00000,
0x000ffffffff80000, 0x000ffffffff80000,
0x0007fffffffc0000, 0x0007fffffffc0000,
0x0003fffffffe0000, 0x0003fffffffe0000,
0x0001ffffffff0000, 0x0001ffffffff0000,
0x0000ffffffff8000, 0x0000ffffffff8000,
0x00007fffffffc000, 0x00007fffffffc000,
0x00003fffffffe000, 0x00003fffffffe000,
0x00001ffffffff000, 0x00001ffffffff000,
0x00000ffffffff800, 0x00000ffffffff800,
0x000007fffffffc00, 0x000007fffffffc00,
0x000003fffffffe00, 0x000003fffffffe00,
0x000001ffffffff00, 0x000001ffffffff00,
0x000000ffffffff80, 0x000000ffffffff80,
0x0000007fffffffc0, 0x0000007fffffffc0,
0x0000003fffffffe0, 0x0000003fffffffe0,
0x0000001ffffffff0, 0x0000001ffffffff0,
0x0000000ffffffff8, 0x0000000ffffffff8,
0x00000007fffffffc, 0x00000007fffffffc,
0x00000003fffffffe, 0x00000003fffffffe,
0x00000001ffffffff, 0x00000001ffffffff,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffc0000001, 0x7fffffffc0000001,
0x3fffffffe0000000, 0x3fffffffe0000001,
0x1ffffffff0000000, 0x1ffffffff0000000,
0x0ffffffff8000000, 0x0ffffffff8000000,
0x07fffffffc000000, 0x07fffffffc000000,
0x03fffffffe000000, 0x03fffffffe000000,
0x01ffffffff000000, 0x01ffffffff000000,
0x00ffffffff800000, 0x00ffffffff800000,
0x007fffffffc00000, 0x007fffffffc00000,
0x003fffffffe00000, 0x003fffffffe00000,
0x001ffffffff00000, 0x001ffffffff00000,
0x000ffffffff80000, 0x000ffffffff80000,
0x0007fffffffc0000, 0x0007fffffffc0000,
0x0003fffffffe0000, 0x0003fffffffe0000,
0x0001ffffffff0000, 0x0001ffffffff0000,
0x0000ffffffff8000, 0x0000ffffffff8000,
0x00007fffffffc000, 0x00007fffffffc000,
0x00003fffffffe000, 0x00003fffffffe000,
0x00001ffffffff000, 0x00001ffffffff000,
0x00000ffffffff800, 0x00000ffffffff800,
0x000007fffffffc00, 0x000007fffffffc00,
0x000003fffffffe00, 0x000003fffffffe00,
0x000001ffffffff00, 0x000001ffffffff00,
0x000000ffffffff80, 0x000000ffffffff80,
0x0000007fffffffc0, 0x0000007fffffffc0,
0x0000003fffffffe0, 0x0000003fffffffe0,
0x0000001ffffffff0, 0x0000001ffffffff0,
0x0000000ffffffff8, 0x0000000ffffffff8,
0x00000007fffffffc, 0x00000007fffffffc,
0x00000003fffffffe, 0x00000003fffffffe,
0x00000001ffffffff, 0x00000001ffffffff,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffc0000001, 0x7fffffffc0000002,
0x3fffffffe0000001, 0x3fffffffe0000001,
0x1ffffffff0000000, 0x1ffffffff0000000,
0x0ffffffff8000000, 0x0ffffffff8000000,
0x07fffffffc000000, 0x07fffffffc000000,
0x03fffffffe000000, 0x03fffffffe000000,
0x01ffffffff000000, 0x01ffffffff000000,
0x00ffffffff800000, 0x00ffffffff800000,
0x007fffffffc00000, 0x007fffffffc00000,
0x003fffffffe00000, 0x003fffffffe00000,
0x001ffffffff00000, 0x001ffffffff00000,
0x000ffffffff80000, 0x000ffffffff80000,
0x0007fffffffc0000, 0x0007fffffffc0000,
0x0003fffffffe0000, 0x0003fffffffe0000,
0x0001ffffffff0000, 0x0001ffffffff0000,
0x0000ffffffff8000, 0x0000ffffffff8000,
0x00007fffffffc000, 0x00007fffffffc000,
0x00003fffffffe000, 0x00003fffffffe000,
0x00001ffffffff000, 0x00001ffffffff000,
0x00000ffffffff800, 0x00000ffffffff800,
0x000007fffffffc00, 0x000007fffffffc00,
0x000003fffffffe00, 0x000003fffffffe00,
0x000001ffffffff00, 0x000001ffffffff00,
0x000000ffffffff80, 0x000000ffffffff80,
0x0000007fffffffc0, 0x0000007fffffffc0,
0x0000003fffffffe0, 0x0000003fffffffe0,
0x0000001ffffffff0, 0x0000001ffffffff0,
0x0000000ffffffff8, 0x0000000ffffffff8,
0x00000007fffffffc, 0x00000007fffffffc,
0x00000003fffffffe, 0x00000003fffffffe,
0x00000001ffffffff, 0x00000001ffffffff,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffc0000002, 0x7fffffffffffc000,
0x3fffffffe0000001, 0x3fffffffffffe000,
0x1ffffffff0000000, 0x1ffffffffffff000,
0x0ffffffff8000000, 0x0ffffffffffff800,
0x07fffffffc000000, 0x07fffffffffffc00,
0x03fffffffe000000, 0x03fffffffffffe00,
0x01ffffffff000000, 0x01ffffffffffff00,
0x00ffffffff800000, 0x00ffffffffffff80,
0x007fffffffc00000, 0x007fffffffffffc0,
0x003fffffffe00000, 0x003fffffffffffe0,
0x001ffffffff00000, 0x001ffffffffffff0,
0x000ffffffff80000, 0x000ffffffffffff8,
0x0007fffffffc0000, 0x0007fffffffffffc,
0x0003fffffffe0000, 0x0003fffffffffffe,
0x0001ffffffff0000, 0x0001ffffffffffff,
0x0000ffffffff8000, 0x0001000000000000,
0x00007fffffffc000, 0x0000800000000000,
0x00003fffffffe000, 0x0000400000000000,
0x00001ffffffff000, 0x0000200000000000,
0x00000ffffffff800, 0x0000100000000000,
0x000007fffffffc00, 0x0000080000000000,
0x000003fffffffe00, 0x0000040000000000,
0x000001ffffffff00, 0x0000020000000000,
0x000000ffffffff80, 0x0000010000000000,
0x0000007fffffffc0, 0x0000008000000000,
0x0000003fffffffe0, 0x0000004000000000,
0x0000001ffffffff0, 0x0000002000000000,
0x0000000ffffffff8, 0x0000001000000000,
0x00000007fffffffc, 0x0000000800000000,
0x00000003fffffffe, 0x0000000400000000,
0x00000001ffffffff, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffffffc000, 0x7fffffffffffc001,
0x3fffffffffffe000, 0x3fffffffffffe000,
0x1ffffffffffff000, 0x1ffffffffffff000,
0x0ffffffffffff800, 0x0ffffffffffff800,
0x07fffffffffffc00, 0x07fffffffffffc00,
0x03fffffffffffe00, 0x03fffffffffffe00,
0x01ffffffffffff00, 0x01ffffffffffff00,
0x00ffffffffffff80, 0x00ffffffffffff80,
0x007fffffffffffc0, 0x007fffffffffffc0,
0x003fffffffffffe0, 0x003fffffffffffe0,
0x001ffffffffffff0, 0x001ffffffffffff0,
0x000ffffffffffff8, 0x000ffffffffffff8,
0x0007fffffffffffc, 0x0007fffffffffffc,
0x0003fffffffffffe, 0x0003fffffffffffe,
0x0001ffffffffffff, 0x0001ffffffffffff,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffffffc001, 0x7fffffffffffc001,
0x3fffffffffffe000, 0x3fffffffffffe001,
0x1ffffffffffff000, 0x1ffffffffffff000,
0x0ffffffffffff800, 0x0ffffffffffff800,
0x07fffffffffffc00, 0x07fffffffffffc00,
0x03fffffffffffe00, 0x03fffffffffffe00,
0x01ffffffffffff00, 0x01ffffffffffff00,
0x00ffffffffffff80, 0x00ffffffffffff80,
0x007fffffffffffc0, 0x007fffffffffffc0,
0x003fffffffffffe0, 0x003fffffffffffe0,
0x001ffffffffffff0, 0x001ffffffffffff0,
0x000ffffffffffff8, 0x000ffffffffffff8,
0x0007fffffffffffc, 0x0007fffffffffffc,
0x0003fffffffffffe, 0x0003fffffffffffe,
0x0001ffffffffffff, 0x0001ffffffffffff,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffffffc001, 0x7fffffffffffc002,
0x3fffffffffffe001, 0x3fffffffffffe001,
0x1ffffffffffff000, 0x1ffffffffffff000,
0x0ffffffffffff800, 0x0ffffffffffff800,
0x07fffffffffffc00, 0x07fffffffffffc00,
0x03fffffffffffe00, 0x03fffffffffffe00,
0x01ffffffffffff00, 0x01ffffffffffff00,
0x00ffffffffffff80, 0x00ffffffffffff80,
0x007fffffffffffc0, 0x007fffffffffffc0,
0x003fffffffffffe0, 0x003fffffffffffe0,
0x001ffffffffffff0, 0x001ffffffffffff0,
0x000ffffffffffff8, 0x000ffffffffffff8,
0x0007fffffffffffc, 0x0007fffffffffffc,
0x0003fffffffffffe, 0x0003fffffffffffe,
0x0001ffffffffffff, 0x0001ffffffffffff,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffffffc002, 0x7fffffffffffffc0,
0x3fffffffffffe001, 0x3fffffffffffffe0,
0x1ffffffffffff000, 0x1ffffffffffffff0,
0x0ffffffffffff800, 0x0ffffffffffffff8,
0x07fffffffffffc00, 0x07fffffffffffffc,
0x03fffffffffffe00, 0x03fffffffffffffe,
0x01ffffffffffff00, 0x01ffffffffffffff,
0x00ffffffffffff80, 0x0100000000000000,
0x007fffffffffffc0, 0x0080000000000000,
0x003fffffffffffe0, 0x0040000000000000,
0x001ffffffffffff0, 0x0020000000000000,
0x000ffffffffffff8, 0x0010000000000000,
0x0007fffffffffffc, 0x0008000000000000,
0x0003fffffffffffe, 0x0004000000000000,
0x0001ffffffffffff, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffffffffc0, 0x7fffffffffffffc1,
0x3fffffffffffffe0, 0x3fffffffffffffe0,
0x1ffffffffffffff0, 0x1ffffffffffffff0,
0x0ffffffffffffff8, 0x0ffffffffffffff8,
0x07fffffffffffffc, 0x07fffffffffffffc,
0x03fffffffffffffe, 0x03fffffffffffffe,
0x01ffffffffffffff, 0x01ffffffffffffff,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffffffffc1, 0x7fffffffffffffc1,
0x3fffffffffffffe0, 0x3fffffffffffffe1,
0x1ffffffffffffff0, 0x1ffffffffffffff0,
0x0ffffffffffffff8, 0x0ffffffffffffff8,
0x07fffffffffffffc, 0x07fffffffffffffc,
0x03fffffffffffffe, 0x03fffffffffffffe,
0x01ffffffffffffff, 0x01ffffffffffffff,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffffffffc1, 0x7fffffffffffffc2,
0x3fffffffffffffe1, 0x3fffffffffffffe1,
0x1ffffffffffffff0, 0x1ffffffffffffff0,
0x0ffffffffffffff8, 0x0ffffffffffffff8,
0x07fffffffffffffc, 0x07fffffffffffffc,
0x03fffffffffffffe, 0x03fffffffffffffe,
0x01ffffffffffffff, 0x01ffffffffffffff,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffffffffc2, 0x7fffffffffffffe0,
0x3fffffffffffffe1, 0x3ffffffffffffff0,
0x1ffffffffffffff0, 0x1ffffffffffffff8,
0x0ffffffffffffff8, 0x0ffffffffffffffc,
0x07fffffffffffffc, 0x07fffffffffffffe,
0x03fffffffffffffe, 0x03ffffffffffffff,
0x01ffffffffffffff, 0x0200000000000000,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffffffffe0, 0x7fffffffffffffff,
0x3ffffffffffffff0, 0x3fffffffffffffff,
0x1ffffffffffffff8, 0x2000000000000000,
0x0ffffffffffffffc, 0x1000000000000000,
0x07fffffffffffffe, 0x0800000000000000,
0x03ffffffffffffff, 0x0400000000000000,
0x0200000000000000, 0x0200000000000000,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffffffffff, 0x7fffffffffffffff,
0x3fffffffffffffff, 0x4000000000000000,
0x2000000000000000, 0x2000000000000000,
0x1000000000000000, 0x1000000000000000,
0x0800000000000000, 0x0800000000000000,
0x0400000000000000, 0x0400000000000000,
0x0200000000000000, 0x0200000000000000,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
0x7fffffffffffffff, 0x8000000000000000,
0x4000000000000000, 0x4000000000000000,
0x2000000000000000, 0x2000000000000000,
0x1000000000000000, 0x1000000000000000,
0x0800000000000000, 0x0800000000000000,
0x0400000000000000, 0x0400000000000000,
0x0200000000000000, 0x0200000000000000,
0x0100000000000000, 0x0100000000000000,
0x0080000000000000, 0x0080000000000000,
0x0040000000000000, 0x0040000000000000,
0x0020000000000000, 0x0020000000000000,
0x0010000000000000, 0x0010000000000000,
0x0008000000000000, 0x0008000000000000,
0x0004000000000000, 0x0004000000000000,
0x0002000000000000, 0x0002000000000000,
0x0001000000000000, 0x0001000000000000,
0x0000800000000000, 0x0000800000000000,
0x0000400000000000, 0x0000400000000000,
0x0000200000000000, 0x0000200000000000,
0x0000100000000000, 0x0000100000000000,
0x0000080000000000, 0x0000080000000000,
0x0000040000000000, 0x0000040000000000,
0x0000020000000000, 0x0000020000000000,
0x0000010000000000, 0x0000010000000000,
0x0000008000000000, 0x0000008000000000,
0x0000004000000000, 0x0000004000000000,
0x0000002000000000, 0x0000002000000000,
0x0000001000000000, 0x0000001000000000,
0x0000000800000000, 0x0000000800000000,
0x0000000400000000, 0x0000000400000000,
0x0000000200000000, 0x0000000200000000,
0x0000000100000000, 0x0000000100000000,
0x0000000080000000, 0x0000000080000000,
0x0000000040000000, 0x0000000040000000,
0x0000000020000000, 0x0000000020000000,
0x0000000010000000, 0x0000000010000000,
0x0000000008000000, 0x0000000008000000,
0x0000000004000000, 0x0000000004000000,
0x0000000002000000, 0x0000000002000000,
0x0000000001000000, 0x0000000001000000,
0x0000000000800000, 0x0000000000800000,
0x0000000000400000, 0x0000000000400000,
0x0000000000200000, 0x0000000000200000,
0x0000000000100000, 0x0000000000100000,
0x0000000000080000, 0x0000000000080000,
0x0000000000040000, 0x0000000000040000,
0x0000000000020000, 0x0000000000020000,
0x0000000000010000, 0x0000000000010000,
0x0000000000008000, 0x0000000000008000,
0x0000000000004000, 0x0000000000004000,
0x0000000000002000, 0x0000000000002000,
0x0000000000001000, 0x0000000000001000,
0x0000000000000800, 0x0000000000000800,
0x0000000000000400, 0x0000000000000400,
0x0000000000000200, 0x0000000000000200,
0x0000000000000100, 0x0000000000000100,
0x0000000000000080, 0x0000000000000080,
0x0000000000000040, 0x0000000000000040,
0x0000000000000020, 0x0000000000000020,
0x0000000000000010, 0x0000000000000010,
0x0000000000000008, 0x0000000000000008,
0x0000000000000004, 0x0000000000000004,
0x0000000000000002, 0x0000000000000002,
0x0000000000000001, 0x0000000000000001,
};
const unsigned kExpectedCount_NEON_urshr_2D_2OPIMM = 2560;
#endif // VIXL_SIM_URSHR_2D_2OPIMM_TRACE_A64_H_