// 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_URSRA_2D_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_URSRA_2D_2OPIMM_TRACE_A64_H_
const uint64_t kExpected_NEON_ursra_2D_2OPIMM[] = {
0x8000000000000000, 0x0000000000000000,
0xc000000000000000, 0x0000000000000000,
0xe000000000000000, 0x0000000000000000,
0xf000000000000000, 0x0000000000000000,
0xf800000000000000, 0x0000000000000000,
0xfc00000000000000, 0x0000000000000000,
0xfe00000000000000, 0x0000000000000000,
0xff00000000000000, 0x0000000000000000,
0xff80000000000000, 0x0000000000000000,
0xffc0000000000000, 0x0000000000000000,
0xffe0000000000000, 0x0000000000000000,
0xfff0000000000000, 0x0000000000000000,
0xfff8000000000000, 0x0000000000000000,
0xfffc000000000000, 0x0000000000000000,
0xfffe000000000000, 0x0000000000000000,
0xffff000000000000, 0x0000000000000000,
0xffff800000000000, 0x0000000000000000,
0xffffc00000000000, 0x0000000000000000,
0xffffe00000000000, 0x0000000000000000,
0xfffff00000000000, 0x0000000000000000,
0xfffff80000000000, 0x0000000000000000,
0xfffffc0000000000, 0x0000000000000000,
0xfffffe0000000000, 0x0000000000000000,
0xffffff0000000000, 0x0000000000000000,
0xffffff8000000000, 0x0000000000000000,
0xffffffc000000000, 0x0000000000000000,
0xffffffe000000000, 0x0000000000000000,
0xfffffff000000000, 0x0000000000000000,
0xfffffff800000000, 0x0000000000000000,
0xfffffffc00000000, 0x0000000000000000,
0xfffffffe00000000, 0x0000000000000000,
0xffffffff00000000, 0x0000000000000000,
0xffffffff80000000, 0x0000000000000000,
0xffffffffc0000000, 0x0000000000000000,
0xffffffffe0000000, 0x0000000000000000,
0xfffffffff0000000, 0x0000000000000000,
0xfffffffff8000000, 0x0000000000000000,
0xfffffffffc000000, 0x0000000000000000,
0xfffffffffe000000, 0x0000000000000000,
0xffffffffff000000, 0x0000000000000000,
0xffffffffff800000, 0x0000000000000000,
0xffffffffffc00000, 0x0000000000000000,
0xffffffffffe00000, 0x0000000000000000,
0xfffffffffff00000, 0x0000000000000000,
0xfffffffffff80000, 0x0000000000000000,
0xfffffffffffc0000, 0x0000000000000000,
0xfffffffffffe0000, 0x0000000000000000,
0xffffffffffff0000, 0x0000000000000000,
0xffffffffffff8000, 0x0000000000000000,
0xffffffffffffc000, 0x0000000000000000,
0xffffffffffffe000, 0x0000000000000000,
0xfffffffffffff000, 0x0000000000000000,
0xfffffffffffff800, 0x0000000000000000,
0xfffffffffffffc00, 0x0000000000000000,
0xfffffffffffffe00, 0x0000000000000000,
0xffffffffffffff00, 0x0000000000000000,
0xffffffffffffff80, 0x0000000000000000,
0xffffffffffffffc0, 0x0000000000000000,
0xffffffffffffffe0, 0x0000000000000000,
0xfffffffffffffff0, 0x0000000000000000,
0xfffffffffffffff8, 0x0000000000000000,
0xfffffffffffffffc, 0x0000000000000000,
0xfffffffffffffffe, 0x0000000000000000,
0xffffffffffffffff, 0x0000000000000000,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000001, 0x0000000000000001,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000002,
0x0000000000000001, 0x0000000000000020,
0x0000000000000002, 0x0000000000000030,
0x0000000000000002, 0x0000000000000038,
0x0000000000000002, 0x000000000000003c,
0x0000000000000002, 0x000000000000003e,
0x0000000000000002, 0x000000000000003f,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000002, 0x0000000000000040,
0x0000000000000020, 0x000000000000003f,
0x0000000000000030, 0x000000000000005e,
0x0000000000000038, 0x000000000000006e,
0x000000000000003c, 0x0000000000000076,
0x000000000000003e, 0x000000000000007a,
0x000000000000003f, 0x000000000000007c,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x0000000000000040, 0x000000000000007d,
0x000000000000003f, 0x000000000000003f,
0x000000000000005e, 0x000000000000005f,
0x000000000000006e, 0x000000000000006f,
0x0000000000000076, 0x0000000000000077,
0x000000000000007a, 0x000000000000007b,
0x000000000000007c, 0x000000000000007d,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000007d, 0x000000000000007e,
0x000000000000003f, 0x0000000000000040,
0x000000000000005f, 0x0000000000000060,
0x000000000000006f, 0x0000000000000070,
0x0000000000000077, 0x0000000000000078,
0x000000000000007b, 0x000000000000007c,
0x000000000000007d, 0x000000000000007e,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x000000000000007e, 0x000000000000007f,
0x0000000000000040, 0x0000000000003fff,
0x0000000000000060, 0x0000000000005ffe,
0x0000000000000070, 0x0000000000006ffe,
0x0000000000000078, 0x00000000000077fe,
0x000000000000007c, 0x0000000000007bfe,
0x000000000000007e, 0x0000000000007dfe,
0x000000000000007f, 0x0000000000007efe,
0x000000000000007f, 0x0000000000007f7e,
0x000000000000007f, 0x0000000000007fbe,
0x000000000000007f, 0x0000000000007fde,
0x000000000000007f, 0x0000000000007fee,
0x000000000000007f, 0x0000000000007ff6,
0x000000000000007f, 0x0000000000007ffa,
0x000000000000007f, 0x0000000000007ffc,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x000000000000007f, 0x0000000000007ffd,
0x0000000000003fff, 0x0000000000003fff,
0x0000000000005ffe, 0x0000000000005fff,
0x0000000000006ffe, 0x0000000000006fff,
0x00000000000077fe, 0x00000000000077ff,
0x0000000000007bfe, 0x0000000000007bff,
0x0000000000007dfe, 0x0000000000007dff,
0x0000000000007efe, 0x0000000000007eff,
0x0000000000007f7e, 0x0000000000007f7f,
0x0000000000007fbe, 0x0000000000007fbf,
0x0000000000007fde, 0x0000000000007fdf,
0x0000000000007fee, 0x0000000000007fef,
0x0000000000007ff6, 0x0000000000007ff7,
0x0000000000007ffa, 0x0000000000007ffb,
0x0000000000007ffc, 0x0000000000007ffd,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000003fff, 0x0000000000004000,
0x0000000000005fff, 0x0000000000006000,
0x0000000000006fff, 0x0000000000007000,
0x00000000000077ff, 0x0000000000007800,
0x0000000000007bff, 0x0000000000007c00,
0x0000000000007dff, 0x0000000000007e00,
0x0000000000007eff, 0x0000000000007f00,
0x0000000000007f7f, 0x0000000000007f80,
0x0000000000007fbf, 0x0000000000007fc0,
0x0000000000007fdf, 0x0000000000007fe0,
0x0000000000007fef, 0x0000000000007ff0,
0x0000000000007ff7, 0x0000000000007ff8,
0x0000000000007ffb, 0x0000000000007ffc,
0x0000000000007ffd, 0x0000000000007ffe,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000007ffe, 0x0000000000007fff,
0x0000000000004000, 0x000000003fffffff,
0x0000000000006000, 0x000000005ffffffe,
0x0000000000007000, 0x000000006ffffffe,
0x0000000000007800, 0x0000000077fffffe,
0x0000000000007c00, 0x000000007bfffffe,
0x0000000000007e00, 0x000000007dfffffe,
0x0000000000007f00, 0x000000007efffffe,
0x0000000000007f80, 0x000000007f7ffffe,
0x0000000000007fc0, 0x000000007fbffffe,
0x0000000000007fe0, 0x000000007fdffffe,
0x0000000000007ff0, 0x000000007feffffe,
0x0000000000007ff8, 0x000000007ff7fffe,
0x0000000000007ffc, 0x000000007ffbfffe,
0x0000000000007ffe, 0x000000007ffdfffe,
0x0000000000007fff, 0x000000007ffefffe,
0x0000000000007fff, 0x000000007fff7ffe,
0x0000000000007fff, 0x000000007fffbffe,
0x0000000000007fff, 0x000000007fffdffe,
0x0000000000007fff, 0x000000007fffeffe,
0x0000000000007fff, 0x000000007ffff7fe,
0x0000000000007fff, 0x000000007ffffbfe,
0x0000000000007fff, 0x000000007ffffdfe,
0x0000000000007fff, 0x000000007ffffefe,
0x0000000000007fff, 0x000000007fffff7e,
0x0000000000007fff, 0x000000007fffffbe,
0x0000000000007fff, 0x000000007fffffde,
0x0000000000007fff, 0x000000007fffffee,
0x0000000000007fff, 0x000000007ffffff6,
0x0000000000007fff, 0x000000007ffffffa,
0x0000000000007fff, 0x000000007ffffffc,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x0000000000007fff, 0x000000007ffffffd,
0x000000003fffffff, 0x000000003fffffff,
0x000000005ffffffe, 0x000000005fffffff,
0x000000006ffffffe, 0x000000006fffffff,
0x0000000077fffffe, 0x0000000077ffffff,
0x000000007bfffffe, 0x000000007bffffff,
0x000000007dfffffe, 0x000000007dffffff,
0x000000007efffffe, 0x000000007effffff,
0x000000007f7ffffe, 0x000000007f7fffff,
0x000000007fbffffe, 0x000000007fbfffff,
0x000000007fdffffe, 0x000000007fdfffff,
0x000000007feffffe, 0x000000007fefffff,
0x000000007ff7fffe, 0x000000007ff7ffff,
0x000000007ffbfffe, 0x000000007ffbffff,
0x000000007ffdfffe, 0x000000007ffdffff,
0x000000007ffefffe, 0x000000007ffeffff,
0x000000007fff7ffe, 0x000000007fff7fff,
0x000000007fffbffe, 0x000000007fffbfff,
0x000000007fffdffe, 0x000000007fffdfff,
0x000000007fffeffe, 0x000000007fffefff,
0x000000007ffff7fe, 0x000000007ffff7ff,
0x000000007ffffbfe, 0x000000007ffffbff,
0x000000007ffffdfe, 0x000000007ffffdff,
0x000000007ffffefe, 0x000000007ffffeff,
0x000000007fffff7e, 0x000000007fffff7f,
0x000000007fffffbe, 0x000000007fffffbf,
0x000000007fffffde, 0x000000007fffffdf,
0x000000007fffffee, 0x000000007fffffef,
0x000000007ffffff6, 0x000000007ffffff7,
0x000000007ffffffa, 0x000000007ffffffb,
0x000000007ffffffc, 0x000000007ffffffd,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000003fffffff, 0x0000000040000000,
0x000000005fffffff, 0x0000000060000000,
0x000000006fffffff, 0x0000000070000000,
0x0000000077ffffff, 0x0000000078000000,
0x000000007bffffff, 0x000000007c000000,
0x000000007dffffff, 0x000000007e000000,
0x000000007effffff, 0x000000007f000000,
0x000000007f7fffff, 0x000000007f800000,
0x000000007fbfffff, 0x000000007fc00000,
0x000000007fdfffff, 0x000000007fe00000,
0x000000007fefffff, 0x000000007ff00000,
0x000000007ff7ffff, 0x000000007ff80000,
0x000000007ffbffff, 0x000000007ffc0000,
0x000000007ffdffff, 0x000000007ffe0000,
0x000000007ffeffff, 0x000000007fff0000,
0x000000007fff7fff, 0x000000007fff8000,
0x000000007fffbfff, 0x000000007fffc000,
0x000000007fffdfff, 0x000000007fffe000,
0x000000007fffefff, 0x000000007ffff000,
0x000000007ffff7ff, 0x000000007ffff800,
0x000000007ffffbff, 0x000000007ffffc00,
0x000000007ffffdff, 0x000000007ffffe00,
0x000000007ffffeff, 0x000000007fffff00,
0x000000007fffff7f, 0x000000007fffff80,
0x000000007fffffbf, 0x000000007fffffc0,
0x000000007fffffdf, 0x000000007fffffe0,
0x000000007fffffef, 0x000000007ffffff0,
0x000000007ffffff7, 0x000000007ffffff8,
0x000000007ffffffb, 0x000000007ffffffc,
0x000000007ffffffd, 0x000000007ffffffe,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x000000007ffffffe, 0x000000007fffffff,
0x0000000040000000, 0x199999999999999a,
0x0000000060000000, 0x2666666666666667,
0x0000000070000000, 0x2ccccccccccccccd,
0x0000000078000000, 0x3000000000000000,
0x000000007c000000, 0x319999999999999a,
0x000000007e000000, 0x3266666666666667,
0x000000007f000000, 0x32cccccccccccccd,
0x000000007f800000, 0x3300000000000000,
0x000000007fc00000, 0x331999999999999a,
0x000000007fe00000, 0x3326666666666667,
0x000000007ff00000, 0x332ccccccccccccd,
0x000000007ff80000, 0x3330000000000000,
0x000000007ffc0000, 0x333199999999999a,
0x000000007ffe0000, 0x3332666666666667,
0x000000007fff0000, 0x3332cccccccccccd,
0x000000007fff8000, 0x3333000000000000,
0x000000007fffc000, 0x333319999999999a,
0x000000007fffe000, 0x3333266666666667,
0x000000007ffff000, 0x33332ccccccccccd,
0x000000007ffff800, 0x3333300000000000,
0x000000007ffffc00, 0x333331999999999a,
0x000000007ffffe00, 0x3333326666666667,
0x000000007fffff00, 0x333332cccccccccd,
0x000000007fffff80, 0x3333330000000000,
0x000000007fffffc0, 0x333333199999999a,
0x000000007fffffe0, 0x3333332666666667,
0x000000007ffffff0, 0x3333332ccccccccd,
0x000000007ffffff8, 0x3333333000000000,
0x000000007ffffffc, 0x333333319999999a,
0x000000007ffffffe, 0x3333333266666667,
0x000000007fffffff, 0x33333332cccccccd,
0x000000007fffffff, 0x3333333300000000,
0x000000007fffffff, 0x333333331999999a,
0x000000007fffffff, 0x3333333326666667,
0x000000007fffffff, 0x333333332ccccccd,
0x000000007fffffff, 0x3333333330000000,
0x000000007fffffff, 0x333333333199999a,
0x000000007fffffff, 0x3333333332666667,
0x000000007fffffff, 0x3333333332cccccd,
0x000000007fffffff, 0x3333333333000000,
0x000000007fffffff, 0x333333333319999a,
0x000000007fffffff, 0x3333333333266667,
0x000000007fffffff, 0x33333333332ccccd,
0x000000007fffffff, 0x3333333333300000,
0x000000007fffffff, 0x333333333331999a,
0x000000007fffffff, 0x3333333333326667,
0x000000007fffffff, 0x333333333332cccd,
0x000000007fffffff, 0x3333333333330000,
0x000000007fffffff, 0x333333333333199a,
0x000000007fffffff, 0x3333333333332667,
0x000000007fffffff, 0x3333333333332ccd,
0x000000007fffffff, 0x3333333333333000,
0x000000007fffffff, 0x333333333333319a,
0x000000007fffffff, 0x3333333333333267,
0x000000007fffffff, 0x33333333333332cd,
0x000000007fffffff, 0x3333333333333300,
0x000000007fffffff, 0x333333333333331a,
0x000000007fffffff, 0x3333333333333327,
0x000000007fffffff, 0x333333333333332d,
0x000000007fffffff, 0x3333333333333330,
0x000000007fffffff, 0x3333333333333332,
0x000000007fffffff, 0x3333333333333333,
0x000000007fffffff, 0x3333333333333333,
0x000000007fffffff, 0x3333333333333333,
0x199999999999999a, 0x2aaaaaaaaaaaaaab,
0x2666666666666667, 0x4000000000000000,
0x2ccccccccccccccd, 0x4aaaaaaaaaaaaaab,
0x3000000000000000, 0x5000000000000000,
0x319999999999999a, 0x52aaaaaaaaaaaaab,
0x3266666666666667, 0x5400000000000000,
0x32cccccccccccccd, 0x54aaaaaaaaaaaaab,
0x3300000000000000, 0x5500000000000000,
0x331999999999999a, 0x552aaaaaaaaaaaab,
0x3326666666666667, 0x5540000000000000,
0x332ccccccccccccd, 0x554aaaaaaaaaaaab,
0x3330000000000000, 0x5550000000000000,
0x333199999999999a, 0x5552aaaaaaaaaaab,
0x3332666666666667, 0x5554000000000000,
0x3332cccccccccccd, 0x5554aaaaaaaaaaab,
0x3333000000000000, 0x5555000000000000,
0x333319999999999a, 0x55552aaaaaaaaaab,
0x3333266666666667, 0x5555400000000000,
0x33332ccccccccccd, 0x55554aaaaaaaaaab,
0x3333300000000000, 0x5555500000000000,
0x333331999999999a, 0x555552aaaaaaaaab,
0x3333326666666667, 0x5555540000000000,
0x333332cccccccccd, 0x555554aaaaaaaaab,
0x3333330000000000, 0x5555550000000000,
0x333333199999999a, 0x5555552aaaaaaaab,
0x3333332666666667, 0x5555554000000000,
0x3333332ccccccccd, 0x5555554aaaaaaaab,
0x3333333000000000, 0x5555555000000000,
0x333333319999999a, 0x55555552aaaaaaab,
0x3333333266666667, 0x5555555400000000,
0x33333332cccccccd, 0x55555554aaaaaaab,
0x3333333300000000, 0x5555555500000000,
0x333333331999999a, 0x555555552aaaaaab,
0x3333333326666667, 0x5555555540000000,
0x333333332ccccccd, 0x555555554aaaaaab,
0x3333333330000000, 0x5555555550000000,
0x333333333199999a, 0x5555555552aaaaab,
0x3333333332666667, 0x5555555554000000,
0x3333333332cccccd, 0x5555555554aaaaab,
0x3333333333000000, 0x5555555555000000,
0x333333333319999a, 0x55555555552aaaab,
0x3333333333266667, 0x5555555555400000,
0x33333333332ccccd, 0x55555555554aaaab,
0x3333333333300000, 0x5555555555500000,
0x333333333331999a, 0x555555555552aaab,
0x3333333333326667, 0x5555555555540000,
0x333333333332cccd, 0x555555555554aaab,
0x3333333333330000, 0x5555555555550000,
0x333333333333199a, 0x5555555555552aab,
0x3333333333332667, 0x5555555555554000,
0x3333333333332ccd, 0x5555555555554aab,
0x3333333333333000, 0x5555555555555000,
0x333333333333319a, 0x55555555555552ab,
0x3333333333333267, 0x5555555555555400,
0x33333333333332cd, 0x55555555555554ab,
0x3333333333333300, 0x5555555555555500,
0x333333333333331a, 0x555555555555552b,
0x3333333333333327, 0x5555555555555540,
0x333333333333332d, 0x555555555555554b,
0x3333333333333330, 0x5555555555555550,
0x3333333333333332, 0x5555555555555553,
0x3333333333333333, 0x5555555555555554,
0x3333333333333333, 0x5555555555555555,
0x3333333333333333, 0x5555555555555555,
0x2aaaaaaaaaaaaaab, 0x3fffffffffffffff,
0x4000000000000000, 0x5ffffffffffffffe,
0x4aaaaaaaaaaaaaab, 0x6ffffffffffffffe,
0x5000000000000000, 0x77fffffffffffffe,
0x52aaaaaaaaaaaaab, 0x7bfffffffffffffe,
0x5400000000000000, 0x7dfffffffffffffe,
0x54aaaaaaaaaaaaab, 0x7efffffffffffffe,
0x5500000000000000, 0x7f7ffffffffffffe,
0x552aaaaaaaaaaaab, 0x7fbffffffffffffe,
0x5540000000000000, 0x7fdffffffffffffe,
0x554aaaaaaaaaaaab, 0x7feffffffffffffe,
0x5550000000000000, 0x7ff7fffffffffffe,
0x5552aaaaaaaaaaab, 0x7ffbfffffffffffe,
0x5554000000000000, 0x7ffdfffffffffffe,
0x5554aaaaaaaaaaab, 0x7ffefffffffffffe,
0x5555000000000000, 0x7fff7ffffffffffe,
0x55552aaaaaaaaaab, 0x7fffbffffffffffe,
0x5555400000000000, 0x7fffdffffffffffe,
0x55554aaaaaaaaaab, 0x7fffeffffffffffe,
0x5555500000000000, 0x7ffff7fffffffffe,
0x555552aaaaaaaaab, 0x7ffffbfffffffffe,
0x5555540000000000, 0x7ffffdfffffffffe,
0x555554aaaaaaaaab, 0x7ffffefffffffffe,
0x5555550000000000, 0x7fffff7ffffffffe,
0x5555552aaaaaaaab, 0x7fffffbffffffffe,
0x5555554000000000, 0x7fffffdffffffffe,
0x5555554aaaaaaaab, 0x7fffffeffffffffe,
0x5555555000000000, 0x7ffffff7fffffffe,
0x55555552aaaaaaab, 0x7ffffffbfffffffe,
0x5555555400000000, 0x7ffffffdfffffffe,
0x55555554aaaaaaab, 0x7ffffffefffffffe,
0x5555555500000000, 0x7fffffff7ffffffe,
0x555555552aaaaaab, 0x7fffffffbffffffe,
0x5555555540000000, 0x7fffffffdffffffe,
0x555555554aaaaaab, 0x7fffffffeffffffe,
0x5555555550000000, 0x7ffffffff7fffffe,
0x5555555552aaaaab, 0x7ffffffffbfffffe,
0x5555555554000000, 0x7ffffffffdfffffe,
0x5555555554aaaaab, 0x7ffffffffefffffe,
0x5555555555000000, 0x7fffffffff7ffffe,
0x55555555552aaaab, 0x7fffffffffbffffe,
0x5555555555400000, 0x7fffffffffdffffe,
0x55555555554aaaab, 0x7fffffffffeffffe,
0x5555555555500000, 0x7ffffffffff7fffe,
0x555555555552aaab, 0x7ffffffffffbfffe,
0x5555555555540000, 0x7ffffffffffdfffe,
0x555555555554aaab, 0x7ffffffffffefffe,
0x5555555555550000, 0x7fffffffffff7ffe,
0x5555555555552aab, 0x7fffffffffffbffe,
0x5555555555554000, 0x7fffffffffffdffe,
0x5555555555554aab, 0x7fffffffffffeffe,
0x5555555555555000, 0x7ffffffffffff7fe,
0x55555555555552ab, 0x7ffffffffffffbfe,
0x5555555555555400, 0x7ffffffffffffdfe,
0x55555555555554ab, 0x7ffffffffffffefe,
0x5555555555555500, 0x7fffffffffffff7e,
0x555555555555552b, 0x7fffffffffffffbe,
0x5555555555555540, 0x7fffffffffffffde,
0x555555555555554b, 0x7fffffffffffffee,
0x5555555555555550, 0x7ffffffffffffff6,
0x5555555555555553, 0x7ffffffffffffffa,
0x5555555555555554, 0x7ffffffffffffffc,
0x5555555555555555, 0x7ffffffffffffffd,
0x5555555555555555, 0x7ffffffffffffffd,
0x3fffffffffffffff, 0x3fffffffffffffff,
0x5ffffffffffffffe, 0x5fffffffffffffff,
0x6ffffffffffffffe, 0x6fffffffffffffff,
0x77fffffffffffffe, 0x77ffffffffffffff,
0x7bfffffffffffffe, 0x7bffffffffffffff,
0x7dfffffffffffffe, 0x7dffffffffffffff,
0x7efffffffffffffe, 0x7effffffffffffff,
0x7f7ffffffffffffe, 0x7f7fffffffffffff,
0x7fbffffffffffffe, 0x7fbfffffffffffff,
0x7fdffffffffffffe, 0x7fdfffffffffffff,
0x7feffffffffffffe, 0x7fefffffffffffff,
0x7ff7fffffffffffe, 0x7ff7ffffffffffff,
0x7ffbfffffffffffe, 0x7ffbffffffffffff,
0x7ffdfffffffffffe, 0x7ffdffffffffffff,
0x7ffefffffffffffe, 0x7ffeffffffffffff,
0x7fff7ffffffffffe, 0x7fff7fffffffffff,
0x7fffbffffffffffe, 0x7fffbfffffffffff,
0x7fffdffffffffffe, 0x7fffdfffffffffff,
0x7fffeffffffffffe, 0x7fffefffffffffff,
0x7ffff7fffffffffe, 0x7ffff7ffffffffff,
0x7ffffbfffffffffe, 0x7ffffbffffffffff,
0x7ffffdfffffffffe, 0x7ffffdffffffffff,
0x7ffffefffffffffe, 0x7ffffeffffffffff,
0x7fffff7ffffffffe, 0x7fffff7fffffffff,
0x7fffffbffffffffe, 0x7fffffbfffffffff,
0x7fffffdffffffffe, 0x7fffffdfffffffff,
0x7fffffeffffffffe, 0x7fffffefffffffff,
0x7ffffff7fffffffe, 0x7ffffff7ffffffff,
0x7ffffffbfffffffe, 0x7ffffffbffffffff,
0x7ffffffdfffffffe, 0x7ffffffdffffffff,
0x7ffffffefffffffe, 0x7ffffffeffffffff,
0x7fffffff7ffffffe, 0x7fffffff7fffffff,
0x7fffffffbffffffe, 0x7fffffffbfffffff,
0x7fffffffdffffffe, 0x7fffffffdfffffff,
0x7fffffffeffffffe, 0x7fffffffefffffff,
0x7ffffffff7fffffe, 0x7ffffffff7ffffff,
0x7ffffffffbfffffe, 0x7ffffffffbffffff,
0x7ffffffffdfffffe, 0x7ffffffffdffffff,
0x7ffffffffefffffe, 0x7ffffffffeffffff,
0x7fffffffff7ffffe, 0x7fffffffff7fffff,
0x7fffffffffbffffe, 0x7fffffffffbfffff,
0x7fffffffffdffffe, 0x7fffffffffdfffff,
0x7fffffffffeffffe, 0x7fffffffffefffff,
0x7ffffffffff7fffe, 0x7ffffffffff7ffff,
0x7ffffffffffbfffe, 0x7ffffffffffbffff,
0x7ffffffffffdfffe, 0x7ffffffffffdffff,
0x7ffffffffffefffe, 0x7ffffffffffeffff,
0x7fffffffffff7ffe, 0x7fffffffffff7fff,
0x7fffffffffffbffe, 0x7fffffffffffbfff,
0x7fffffffffffdffe, 0x7fffffffffffdfff,
0x7fffffffffffeffe, 0x7fffffffffffefff,
0x7ffffffffffff7fe, 0x7ffffffffffff7ff,
0x7ffffffffffffbfe, 0x7ffffffffffffbff,
0x7ffffffffffffdfe, 0x7ffffffffffffdff,
0x7ffffffffffffefe, 0x7ffffffffffffeff,
0x7fffffffffffff7e, 0x7fffffffffffff7f,
0x7fffffffffffffbe, 0x7fffffffffffffbf,
0x7fffffffffffffde, 0x7fffffffffffffdf,
0x7fffffffffffffee, 0x7fffffffffffffef,
0x7ffffffffffffff6, 0x7ffffffffffffff7,
0x7ffffffffffffffa, 0x7ffffffffffffffb,
0x7ffffffffffffffc, 0x7ffffffffffffffd,
0x7ffffffffffffffd, 0x7ffffffffffffffe,
0x7ffffffffffffffd, 0x7ffffffffffffffe,
0x3fffffffffffffff, 0x4000000000000000,
0x5fffffffffffffff, 0x6000000000000000,
0x6fffffffffffffff, 0x7000000000000000,
0x77ffffffffffffff, 0x7800000000000000,
0x7bffffffffffffff, 0x7c00000000000000,
0x7dffffffffffffff, 0x7e00000000000000,
0x7effffffffffffff, 0x7f00000000000000,
0x7f7fffffffffffff, 0x7f80000000000000,
0x7fbfffffffffffff, 0x7fc0000000000000,
0x7fdfffffffffffff, 0x7fe0000000000000,
0x7fefffffffffffff, 0x7ff0000000000000,
0x7ff7ffffffffffff, 0x7ff8000000000000,
0x7ffbffffffffffff, 0x7ffc000000000000,
0x7ffdffffffffffff, 0x7ffe000000000000,
0x7ffeffffffffffff, 0x7fff000000000000,
0x7fff7fffffffffff, 0x7fff800000000000,
0x7fffbfffffffffff, 0x7fffc00000000000,
0x7fffdfffffffffff, 0x7fffe00000000000,
0x7fffefffffffffff, 0x7ffff00000000000,
0x7ffff7ffffffffff, 0x7ffff80000000000,
0x7ffffbffffffffff, 0x7ffffc0000000000,
0x7ffffdffffffffff, 0x7ffffe0000000000,
0x7ffffeffffffffff, 0x7fffff0000000000,
0x7fffff7fffffffff, 0x7fffff8000000000,
0x7fffffbfffffffff, 0x7fffffc000000000,
0x7fffffdfffffffff, 0x7fffffe000000000,
0x7fffffefffffffff, 0x7ffffff000000000,
0x7ffffff7ffffffff, 0x7ffffff800000000,
0x7ffffffbffffffff, 0x7ffffffc00000000,
0x7ffffffdffffffff, 0x7ffffffe00000000,
0x7ffffffeffffffff, 0x7fffffff00000000,
0x7fffffff7fffffff, 0x7fffffff80000000,
0x7fffffffbfffffff, 0x7fffffffc0000000,
0x7fffffffdfffffff, 0x7fffffffe0000000,
0x7fffffffefffffff, 0x7ffffffff0000000,
0x7ffffffff7ffffff, 0x7ffffffff8000000,
0x7ffffffffbffffff, 0x7ffffffffc000000,
0x7ffffffffdffffff, 0x7ffffffffe000000,
0x7ffffffffeffffff, 0x7fffffffff000000,
0x7fffffffff7fffff, 0x7fffffffff800000,
0x7fffffffffbfffff, 0x7fffffffffc00000,
0x7fffffffffdfffff, 0x7fffffffffe00000,
0x7fffffffffefffff, 0x7ffffffffff00000,
0x7ffffffffff7ffff, 0x7ffffffffff80000,
0x7ffffffffffbffff, 0x7ffffffffffc0000,
0x7ffffffffffdffff, 0x7ffffffffffe0000,
0x7ffffffffffeffff, 0x7fffffffffff0000,
0x7fffffffffff7fff, 0x7fffffffffff8000,
0x7fffffffffffbfff, 0x7fffffffffffc000,
0x7fffffffffffdfff, 0x7fffffffffffe000,
0x7fffffffffffefff, 0x7ffffffffffff000,
0x7ffffffffffff7ff, 0x7ffffffffffff800,
0x7ffffffffffffbff, 0x7ffffffffffffc00,
0x7ffffffffffffdff, 0x7ffffffffffffe00,
0x7ffffffffffffeff, 0x7fffffffffffff00,
0x7fffffffffffff7f, 0x7fffffffffffff80,
0x7fffffffffffffbf, 0x7fffffffffffffc0,
0x7fffffffffffffdf, 0x7fffffffffffffe0,
0x7fffffffffffffef, 0x7ffffffffffffff0,
0x7ffffffffffffff7, 0x7ffffffffffffff8,
0x7ffffffffffffffb, 0x7ffffffffffffffc,
0x7ffffffffffffffd, 0x7ffffffffffffffe,
0x7ffffffffffffffe, 0x7fffffffffffffff,
0x7ffffffffffffffe, 0x7fffffffffffffff,
0x4000000000000000, 0x4000000000000000,
0x6000000000000000, 0x6000000000000000,
0x7000000000000000, 0x7000000000000000,
0x7800000000000000, 0x7800000000000000,
0x7c00000000000000, 0x7c00000000000000,
0x7e00000000000000, 0x7e00000000000000,
0x7f00000000000000, 0x7f00000000000000,
0x7f80000000000000, 0x7f80000000000000,
0x7fc0000000000000, 0x7fc0000000000000,
0x7fe0000000000000, 0x7fe0000000000000,
0x7ff0000000000000, 0x7ff0000000000000,
0x7ff8000000000000, 0x7ff8000000000000,
0x7ffc000000000000, 0x7ffc000000000000,
0x7ffe000000000000, 0x7ffe000000000000,
0x7fff000000000000, 0x7fff000000000000,
0x7fff800000000000, 0x7fff800000000000,
0x7fffc00000000000, 0x7fffc00000000000,
0x7fffe00000000000, 0x7fffe00000000000,
0x7ffff00000000000, 0x7ffff00000000000,
0x7ffff80000000000, 0x7ffff80000000000,
0x7ffffc0000000000, 0x7ffffc0000000000,
0x7ffffe0000000000, 0x7ffffe0000000000,
0x7fffff0000000000, 0x7fffff0000000000,
0x7fffff8000000000, 0x7fffff8000000000,
0x7fffffc000000000, 0x7fffffc000000000,
0x7fffffe000000000, 0x7fffffe000000000,
0x7ffffff000000000, 0x7ffffff000000000,
0x7ffffff800000000, 0x7ffffff800000000,
0x7ffffffc00000000, 0x7ffffffc00000000,
0x7ffffffe00000000, 0x7ffffffe00000000,
0x7fffffff00000000, 0x7fffffff00000000,
0x7fffffff80000000, 0x7fffffff80000000,
0x7fffffffc0000000, 0x7fffffffc0000000,
0x7fffffffe0000000, 0x7fffffffe0000000,
0x7ffffffff0000000, 0x7ffffffff0000000,
0x7ffffffff8000000, 0x7ffffffff8000000,
0x7ffffffffc000000, 0x7ffffffffc000000,
0x7ffffffffe000000, 0x7ffffffffe000000,
0x7fffffffff000000, 0x7fffffffff000000,
0x7fffffffff800000, 0x7fffffffff800000,
0x7fffffffffc00000, 0x7fffffffffc00000,
0x7fffffffffe00000, 0x7fffffffffe00000,
0x7ffffffffff00000, 0x7ffffffffff00000,
0x7ffffffffff80000, 0x7ffffffffff80000,
0x7ffffffffffc0000, 0x7ffffffffffc0000,
0x7ffffffffffe0000, 0x7ffffffffffe0000,
0x7fffffffffff0000, 0x7fffffffffff0000,
0x7fffffffffff8000, 0x7fffffffffff8000,
0x7fffffffffffc000, 0x7fffffffffffc000,
0x7fffffffffffe000, 0x7fffffffffffe000,
0x7ffffffffffff000, 0x7ffffffffffff000,
0x7ffffffffffff800, 0x7ffffffffffff800,
0x7ffffffffffffc00, 0x7ffffffffffffc00,
0x7ffffffffffffe00, 0x7ffffffffffffe00,
0x7fffffffffffff00, 0x7fffffffffffff00,
0x7fffffffffffff80, 0x7fffffffffffff80,
0x7fffffffffffffc0, 0x7fffffffffffffc0,
0x7fffffffffffffe0, 0x7fffffffffffffe0,
0x7ffffffffffffff0, 0x7ffffffffffffff0,
0x7ffffffffffffff8, 0x7ffffffffffffff8,
0x7ffffffffffffffc, 0x7ffffffffffffffc,
0x7ffffffffffffffe, 0x7ffffffffffffffe,
0x7fffffffffffffff, 0x7fffffffffffffff,
0x7fffffffffffffff, 0x8000000000000000,
0x4000000000000000, 0x4000000000000001,
0x6000000000000000, 0x6000000000000001,
0x7000000000000000, 0x7000000000000001,
0x7800000000000000, 0x7800000000000001,
0x7c00000000000000, 0x7c00000000000001,
0x7e00000000000000, 0x7e00000000000001,
0x7f00000000000000, 0x7f00000000000001,
0x7f80000000000000, 0x7f80000000000001,
0x7fc0000000000000, 0x7fc0000000000001,
0x7fe0000000000000, 0x7fe0000000000001,
0x7ff0000000000000, 0x7ff0000000000001,
0x7ff8000000000000, 0x7ff8000000000001,
0x7ffc000000000000, 0x7ffc000000000001,
0x7ffe000000000000, 0x7ffe000000000001,
0x7fff000000000000, 0x7fff000000000001,
0x7fff800000000000, 0x7fff800000000001,
0x7fffc00000000000, 0x7fffc00000000001,
0x7fffe00000000000, 0x7fffe00000000001,
0x7ffff00000000000, 0x7ffff00000000001,
0x7ffff80000000000, 0x7ffff80000000001,
0x7ffffc0000000000, 0x7ffffc0000000001,
0x7ffffe0000000000, 0x7ffffe0000000001,
0x7fffff0000000000, 0x7fffff0000000001,
0x7fffff8000000000, 0x7fffff8000000001,
0x7fffffc000000000, 0x7fffffc000000001,
0x7fffffe000000000, 0x7fffffe000000001,
0x7ffffff000000000, 0x7ffffff000000001,
0x7ffffff800000000, 0x7ffffff800000001,
0x7ffffffc00000000, 0x7ffffffc00000001,
0x7ffffffe00000000, 0x7ffffffe00000001,
0x7fffffff00000000, 0x7fffffff00000001,
0x7fffffff80000000, 0x7fffffff80000001,
0x7fffffffc0000000, 0x7fffffffc0000001,
0x7fffffffe0000000, 0x7fffffffe0000001,
0x7ffffffff0000000, 0x7ffffffff0000001,
0x7ffffffff8000000, 0x7ffffffff8000001,
0x7ffffffffc000000, 0x7ffffffffc000001,
0x7ffffffffe000000, 0x7ffffffffe000001,
0x7fffffffff000000, 0x7fffffffff000001,
0x7fffffffff800000, 0x7fffffffff800001,
0x7fffffffffc00000, 0x7fffffffffc00001,
0x7fffffffffe00000, 0x7fffffffffe00001,
0x7ffffffffff00000, 0x7ffffffffff00001,
0x7ffffffffff80000, 0x7ffffffffff80001,
0x7ffffffffffc0000, 0x7ffffffffffc0001,
0x7ffffffffffe0000, 0x7ffffffffffe0001,
0x7fffffffffff0000, 0x7fffffffffff0001,
0x7fffffffffff8000, 0x7fffffffffff8001,
0x7fffffffffffc000, 0x7fffffffffffc001,
0x7fffffffffffe000, 0x7fffffffffffe001,
0x7ffffffffffff000, 0x7ffffffffffff001,
0x7ffffffffffff800, 0x7ffffffffffff801,
0x7ffffffffffffc00, 0x7ffffffffffffc01,
0x7ffffffffffffe00, 0x7ffffffffffffe01,
0x7fffffffffffff00, 0x7fffffffffffff01,
0x7fffffffffffff80, 0x7fffffffffffff81,
0x7fffffffffffffc0, 0x7fffffffffffffc1,
0x7fffffffffffffe0, 0x7fffffffffffffe1,
0x7ffffffffffffff0, 0x7ffffffffffffff1,
0x7ffffffffffffff8, 0x7ffffffffffffff9,
0x7ffffffffffffffc, 0x7ffffffffffffffd,
0x7ffffffffffffffe, 0x7fffffffffffffff,
0x7fffffffffffffff, 0x8000000000000000,
0x8000000000000000, 0x8000000000000001,
0x4000000000000001, 0x4000000000000001,
0x6000000000000001, 0x6000000000000002,
0x7000000000000001, 0x7000000000000002,
0x7800000000000001, 0x7800000000000002,
0x7c00000000000001, 0x7c00000000000002,
0x7e00000000000001, 0x7e00000000000002,
0x7f00000000000001, 0x7f00000000000002,
0x7f80000000000001, 0x7f80000000000002,
0x7fc0000000000001, 0x7fc0000000000002,
0x7fe0000000000001, 0x7fe0000000000002,
0x7ff0000000000001, 0x7ff0000000000002,
0x7ff8000000000001, 0x7ff8000000000002,
0x7ffc000000000001, 0x7ffc000000000002,
0x7ffe000000000001, 0x7ffe000000000002,
0x7fff000000000001, 0x7fff000000000002,
0x7fff800000000001, 0x7fff800000000002,
0x7fffc00000000001, 0x7fffc00000000002,
0x7fffe00000000001, 0x7fffe00000000002,
0x7ffff00000000001, 0x7ffff00000000002,
0x7ffff80000000001, 0x7ffff80000000002,
0x7ffffc0000000001, 0x7ffffc0000000002,
0x7ffffe0000000001, 0x7ffffe0000000002,
0x7fffff0000000001, 0x7fffff0000000002,
0x7fffff8000000001, 0x7fffff8000000002,
0x7fffffc000000001, 0x7fffffc000000002,
0x7fffffe000000001, 0x7fffffe000000002,
0x7ffffff000000001, 0x7ffffff000000002,
0x7ffffff800000001, 0x7ffffff800000002,
0x7ffffffc00000001, 0x7ffffffc00000002,
0x7ffffffe00000001, 0x7ffffffe00000002,
0x7fffffff00000001, 0x7fffffff00000002,
0x7fffffff80000001, 0x7fffffff80000002,
0x7fffffffc0000001, 0x7fffffffc0000002,
0x7fffffffe0000001, 0x7fffffffe0000002,
0x7ffffffff0000001, 0x7ffffffff0000002,
0x7ffffffff8000001, 0x7ffffffff8000002,
0x7ffffffffc000001, 0x7ffffffffc000002,
0x7ffffffffe000001, 0x7ffffffffe000002,
0x7fffffffff000001, 0x7fffffffff000002,
0x7fffffffff800001, 0x7fffffffff800002,
0x7fffffffffc00001, 0x7fffffffffc00002,
0x7fffffffffe00001, 0x7fffffffffe00002,
0x7ffffffffff00001, 0x7ffffffffff00002,
0x7ffffffffff80001, 0x7ffffffffff80002,
0x7ffffffffffc0001, 0x7ffffffffffc0002,
0x7ffffffffffe0001, 0x7ffffffffffe0002,
0x7fffffffffff0001, 0x7fffffffffff0002,
0x7fffffffffff8001, 0x7fffffffffff8002,
0x7fffffffffffc001, 0x7fffffffffffc002,
0x7fffffffffffe001, 0x7fffffffffffe002,
0x7ffffffffffff001, 0x7ffffffffffff002,
0x7ffffffffffff801, 0x7ffffffffffff802,
0x7ffffffffffffc01, 0x7ffffffffffffc02,
0x7ffffffffffffe01, 0x7ffffffffffffe02,
0x7fffffffffffff01, 0x7fffffffffffff02,
0x7fffffffffffff81, 0x7fffffffffffff82,
0x7fffffffffffffc1, 0x7fffffffffffffc2,
0x7fffffffffffffe1, 0x7fffffffffffffe2,
0x7ffffffffffffff1, 0x7ffffffffffffff2,
0x7ffffffffffffff9, 0x7ffffffffffffffa,
0x7ffffffffffffffd, 0x7ffffffffffffffe,
0x7fffffffffffffff, 0x8000000000000000,
0x8000000000000000, 0x8000000000000001,
0x8000000000000001, 0x8000000000000002,
0x4000000000000001, 0x4000000000000002,
0x6000000000000002, 0x6000000000000003,
0x7000000000000002, 0x7000000000000003,
0x7800000000000002, 0x7800000000000003,
0x7c00000000000002, 0x7c00000000000003,
0x7e00000000000002, 0x7e00000000000003,
0x7f00000000000002, 0x7f00000000000003,
0x7f80000000000002, 0x7f80000000000003,
0x7fc0000000000002, 0x7fc0000000000003,
0x7fe0000000000002, 0x7fe0000000000003,
0x7ff0000000000002, 0x7ff0000000000003,
0x7ff8000000000002, 0x7ff8000000000003,
0x7ffc000000000002, 0x7ffc000000000003,
0x7ffe000000000002, 0x7ffe000000000003,
0x7fff000000000002, 0x7fff000000000003,
0x7fff800000000002, 0x7fff800000000003,
0x7fffc00000000002, 0x7fffc00000000003,
0x7fffe00000000002, 0x7fffe00000000003,
0x7ffff00000000002, 0x7ffff00000000003,
0x7ffff80000000002, 0x7ffff80000000003,
0x7ffffc0000000002, 0x7ffffc0000000003,
0x7ffffe0000000002, 0x7ffffe0000000003,
0x7fffff0000000002, 0x7fffff0000000003,
0x7fffff8000000002, 0x7fffff8000000003,
0x7fffffc000000002, 0x7fffffc000000003,
0x7fffffe000000002, 0x7fffffe000000003,
0x7ffffff000000002, 0x7ffffff000000003,
0x7ffffff800000002, 0x7ffffff800000003,
0x7ffffffc00000002, 0x7ffffffc00000003,
0x7ffffffe00000002, 0x7ffffffe00000003,
0x7fffffff00000002, 0x7fffffff00000003,
0x7fffffff80000002, 0x7fffffff80000003,
0x7fffffffc0000002, 0x7fffffffc0000003,
0x7fffffffe0000002, 0x7fffffffe0000003,
0x7ffffffff0000002, 0x7ffffffff0000003,
0x7ffffffff8000002, 0x7ffffffff8000003,
0x7ffffffffc000002, 0x7ffffffffc000003,
0x7ffffffffe000002, 0x7ffffffffe000003,
0x7fffffffff000002, 0x7fffffffff000003,
0x7fffffffff800002, 0x7fffffffff800003,
0x7fffffffffc00002, 0x7fffffffffc00003,
0x7fffffffffe00002, 0x7fffffffffe00003,
0x7ffffffffff00002, 0x7ffffffffff00003,
0x7ffffffffff80002, 0x7ffffffffff80003,
0x7ffffffffffc0002, 0x7ffffffffffc0003,
0x7ffffffffffe0002, 0x7ffffffffffe0003,
0x7fffffffffff0002, 0x7fffffffffff0003,
0x7fffffffffff8002, 0x7fffffffffff8003,
0x7fffffffffffc002, 0x7fffffffffffc003,
0x7fffffffffffe002, 0x7fffffffffffe003,
0x7ffffffffffff002, 0x7ffffffffffff003,
0x7ffffffffffff802, 0x7ffffffffffff803,
0x7ffffffffffffc02, 0x7ffffffffffffc03,
0x7ffffffffffffe02, 0x7ffffffffffffe03,
0x7fffffffffffff02, 0x7fffffffffffff03,
0x7fffffffffffff82, 0x7fffffffffffff83,
0x7fffffffffffffc2, 0x7fffffffffffffc3,
0x7fffffffffffffe2, 0x7fffffffffffffe3,
0x7ffffffffffffff2, 0x7ffffffffffffff3,
0x7ffffffffffffffa, 0x7ffffffffffffffb,
0x7ffffffffffffffe, 0x7fffffffffffffff,
0x8000000000000000, 0x8000000000000001,
0x8000000000000001, 0x8000000000000002,
0x8000000000000002, 0x8000000000000003,
0x4000000000000002, 0x5555555555555555,
0x6000000000000003, 0x8000000000000000,
0x7000000000000003, 0x9555555555555555,
0x7800000000000003, 0xa000000000000000,
0x7c00000000000003, 0xa555555555555555,
0x7e00000000000003, 0xa800000000000000,
0x7f00000000000003, 0xa955555555555555,
0x7f80000000000003, 0xaa00000000000000,
0x7fc0000000000003, 0xaa55555555555555,
0x7fe0000000000003, 0xaa80000000000000,
0x7ff0000000000003, 0xaa95555555555555,
0x7ff8000000000003, 0xaaa0000000000000,
0x7ffc000000000003, 0xaaa5555555555555,
0x7ffe000000000003, 0xaaa8000000000000,
0x7fff000000000003, 0xaaa9555555555555,
0x7fff800000000003, 0xaaaa000000000000,
0x7fffc00000000003, 0xaaaa555555555555,
0x7fffe00000000003, 0xaaaa800000000000,
0x7ffff00000000003, 0xaaaa955555555555,
0x7ffff80000000003, 0xaaaaa00000000000,
0x7ffffc0000000003, 0xaaaaa55555555555,
0x7ffffe0000000003, 0xaaaaa80000000000,
0x7fffff0000000003, 0xaaaaa95555555555,
0x7fffff8000000003, 0xaaaaaa0000000000,
0x7fffffc000000003, 0xaaaaaa5555555555,
0x7fffffe000000003, 0xaaaaaa8000000000,
0x7ffffff000000003, 0xaaaaaa9555555555,
0x7ffffff800000003, 0xaaaaaaa000000000,
0x7ffffffc00000003, 0xaaaaaaa555555555,
0x7ffffffe00000003, 0xaaaaaaa800000000,
0x7fffffff00000003, 0xaaaaaaa955555555,
0x7fffffff80000003, 0xaaaaaaaa00000000,
0x7fffffffc0000003, 0xaaaaaaaa55555555,
0x7fffffffe0000003, 0xaaaaaaaa80000000,
0x7ffffffff0000003, 0xaaaaaaaa95555555,
0x7ffffffff8000003, 0xaaaaaaaaa0000000,
0x7ffffffffc000003, 0xaaaaaaaaa5555555,
0x7ffffffffe000003, 0xaaaaaaaaa8000000,
0x7fffffffff000003, 0xaaaaaaaaa9555555,
0x7fffffffff800003, 0xaaaaaaaaaa000000,
0x7fffffffffc00003, 0xaaaaaaaaaa555555,
0x7fffffffffe00003, 0xaaaaaaaaaa800000,
0x7ffffffffff00003, 0xaaaaaaaaaa955555,
0x7ffffffffff80003, 0xaaaaaaaaaaa00000,
0x7ffffffffffc0003, 0xaaaaaaaaaaa55555,
0x7ffffffffffe0003, 0xaaaaaaaaaaa80000,
0x7fffffffffff0003, 0xaaaaaaaaaaa95555,
0x7fffffffffff8003, 0xaaaaaaaaaaaa0000,
0x7fffffffffffc003, 0xaaaaaaaaaaaa5555,
0x7fffffffffffe003, 0xaaaaaaaaaaaa8000,
0x7ffffffffffff003, 0xaaaaaaaaaaaa9555,
0x7ffffffffffff803, 0xaaaaaaaaaaaaa000,
0x7ffffffffffffc03, 0xaaaaaaaaaaaaa555,
0x7ffffffffffffe03, 0xaaaaaaaaaaaaa800,
0x7fffffffffffff03, 0xaaaaaaaaaaaaa955,
0x7fffffffffffff83, 0xaaaaaaaaaaaaaa00,
0x7fffffffffffffc3, 0xaaaaaaaaaaaaaa55,
0x7fffffffffffffe3, 0xaaaaaaaaaaaaaa80,
0x7ffffffffffffff3, 0xaaaaaaaaaaaaaa95,
0x7ffffffffffffffb, 0xaaaaaaaaaaaaaaa0,
0x7fffffffffffffff, 0xaaaaaaaaaaaaaaa5,
0x8000000000000001, 0xaaaaaaaaaaaaaaa8,
0x8000000000000002, 0xaaaaaaaaaaaaaaa9,
0x8000000000000003, 0xaaaaaaaaaaaaaaaa,
0x5555555555555555, 0x6666666666666666,
0x8000000000000000, 0x9999999999999999,
0x9555555555555555, 0xb333333333333333,
0xa000000000000000, 0xc000000000000000,
0xa555555555555555, 0xc666666666666666,
0xa800000000000000, 0xc999999999999999,
0xa955555555555555, 0xcb33333333333333,
0xaa00000000000000, 0xcc00000000000000,
0xaa55555555555555, 0xcc66666666666666,
0xaa80000000000000, 0xcc99999999999999,
0xaa95555555555555, 0xccb3333333333333,
0xaaa0000000000000, 0xccc0000000000000,
0xaaa5555555555555, 0xccc6666666666666,
0xaaa8000000000000, 0xccc9999999999999,
0xaaa9555555555555, 0xcccb333333333333,
0xaaaa000000000000, 0xcccc000000000000,
0xaaaa555555555555, 0xcccc666666666666,
0xaaaa800000000000, 0xcccc999999999999,
0xaaaa955555555555, 0xccccb33333333333,
0xaaaaa00000000000, 0xccccc00000000000,
0xaaaaa55555555555, 0xccccc66666666666,
0xaaaaa80000000000, 0xccccc99999999999,
0xaaaaa95555555555, 0xcccccb3333333333,
0xaaaaaa0000000000, 0xcccccc0000000000,
0xaaaaaa5555555555, 0xcccccc6666666666,
0xaaaaaa8000000000, 0xcccccc9999999999,
0xaaaaaa9555555555, 0xccccccb333333333,
0xaaaaaaa000000000, 0xccccccc000000000,
0xaaaaaaa555555555, 0xccccccc666666666,
0xaaaaaaa800000000, 0xccccccc999999999,
0xaaaaaaa955555555, 0xcccccccb33333333,
0xaaaaaaaa00000000, 0xcccccccc00000000,
0xaaaaaaaa55555555, 0xcccccccc66666666,
0xaaaaaaaa80000000, 0xcccccccc99999999,
0xaaaaaaaa95555555, 0xccccccccb3333333,
0xaaaaaaaaa0000000, 0xccccccccc0000000,
0xaaaaaaaaa5555555, 0xccccccccc6666666,
0xaaaaaaaaa8000000, 0xccccccccc9999999,
0xaaaaaaaaa9555555, 0xcccccccccb333333,
0xaaaaaaaaaa000000, 0xcccccccccc000000,
0xaaaaaaaaaa555555, 0xcccccccccc666666,
0xaaaaaaaaaa800000, 0xcccccccccc999999,
0xaaaaaaaaaa955555, 0xccccccccccb33333,
0xaaaaaaaaaaa00000, 0xccccccccccc00000,
0xaaaaaaaaaaa55555, 0xccccccccccc66666,
0xaaaaaaaaaaa80000, 0xccccccccccc99999,
0xaaaaaaaaaaa95555, 0xcccccccccccb3333,
0xaaaaaaaaaaaa0000, 0xcccccccccccc0000,
0xaaaaaaaaaaaa5555, 0xcccccccccccc6666,
0xaaaaaaaaaaaa8000, 0xcccccccccccc9999,
0xaaaaaaaaaaaa9555, 0xccccccccccccb333,
0xaaaaaaaaaaaaa000, 0xccccccccccccc000,
0xaaaaaaaaaaaaa555, 0xccccccccccccc666,
0xaaaaaaaaaaaaa800, 0xccccccccccccc999,
0xaaaaaaaaaaaaa955, 0xcccccccccccccb33,
0xaaaaaaaaaaaaaa00, 0xcccccccccccccc00,
0xaaaaaaaaaaaaaa55, 0xcccccccccccccc66,
0xaaaaaaaaaaaaaa80, 0xcccccccccccccc99,
0xaaaaaaaaaaaaaa95, 0xccccccccccccccb3,
0xaaaaaaaaaaaaaaa0, 0xccccccccccccccc0,
0xaaaaaaaaaaaaaaa5, 0xccccccccccccccc6,
0xaaaaaaaaaaaaaaa8, 0xccccccccccccccc9,
0xaaaaaaaaaaaaaaa9, 0xcccccccccccccccb,
0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccc,
0x6666666666666666, 0x7fffffffc0000000,
0x9999999999999999, 0xbfffffffa0000000,
0xb333333333333333, 0xdfffffff90000000,
0xc000000000000000, 0xefffffff88000000,
0xc666666666666666, 0xf7ffffff84000000,
0xc999999999999999, 0xfbffffff82000000,
0xcb33333333333333, 0xfdffffff81000000,
0xcc00000000000000, 0xfeffffff80800000,
0xcc66666666666666, 0xff7fffff80400000,
0xcc99999999999999, 0xffbfffff80200000,
0xccb3333333333333, 0xffdfffff80100000,
0xccc0000000000000, 0xffefffff80080000,
0xccc6666666666666, 0xfff7ffff80040000,
0xccc9999999999999, 0xfffbffff80020000,
0xcccb333333333333, 0xfffdffff80010000,
0xcccc000000000000, 0xfffeffff80008000,
0xcccc666666666666, 0xffff7fff80004000,
0xcccc999999999999, 0xffffbfff80002000,
0xccccb33333333333, 0xffffdfff80001000,
0xccccc00000000000, 0xffffefff80000800,
0xccccc66666666666, 0xfffff7ff80000400,
0xccccc99999999999, 0xfffffbff80000200,
0xcccccb3333333333, 0xfffffdff80000100,
0xcccccc0000000000, 0xfffffeff80000080,
0xcccccc6666666666, 0xffffff7f80000040,
0xcccccc9999999999, 0xffffffbf80000020,
0xccccccb333333333, 0xffffffdf80000010,
0xccccccc000000000, 0xffffffef80000008,
0xccccccc666666666, 0xfffffff780000004,
0xccccccc999999999, 0xfffffffb80000002,
0xcccccccb33333333, 0xfffffffd80000001,
0xcccccccc00000000, 0xfffffffe80000001,
0xcccccccc66666666, 0xffffffff00000001,
0xcccccccc99999999, 0xffffffff40000001,
0xccccccccb3333333, 0xffffffff60000001,
0xccccccccc0000000, 0xffffffff70000001,
0xccccccccc6666666, 0xffffffff78000001,
0xccccccccc9999999, 0xffffffff7c000001,
0xcccccccccb333333, 0xffffffff7e000001,
0xcccccccccc000000, 0xffffffff7f000001,
0xcccccccccc666666, 0xffffffff7f800001,
0xcccccccccc999999, 0xffffffff7fc00001,
0xccccccccccb33333, 0xffffffff7fe00001,
0xccccccccccc00000, 0xffffffff7ff00001,
0xccccccccccc66666, 0xffffffff7ff80001,
0xccccccccccc99999, 0xffffffff7ffc0001,
0xcccccccccccb3333, 0xffffffff7ffe0001,
0xcccccccccccc0000, 0xffffffff7fff0001,
0xcccccccccccc6666, 0xffffffff7fff8001,
0xcccccccccccc9999, 0xffffffff7fffc001,
0xccccccccccccb333, 0xffffffff7fffe001,
0xccccccccccccc000, 0xffffffff7ffff001,
0xccccccccccccc666, 0xffffffff7ffff801,
0xccccccccccccc999, 0xffffffff7ffffc01,
0xcccccccccccccb33, 0xffffffff7ffffe01,
0xcccccccccccccc00, 0xffffffff7fffff01,
0xcccccccccccccc66, 0xffffffff7fffff81,
0xcccccccccccccc99, 0xffffffff7fffffc1,
0xccccccccccccccb3, 0xffffffff7fffffe1,
0xccccccccccccccc0, 0xffffffff7ffffff1,
0xccccccccccccccc6, 0xffffffff7ffffff9,
0xccccccccccccccc9, 0xffffffff7ffffffd,
0xcccccccccccccccb, 0xffffffff7fffffff,
0xcccccccccccccccc, 0xffffffff80000000,
0x7fffffffc0000000, 0x7fffffffc0000001,
0xbfffffffa0000000, 0xbfffffffa0000001,
0xdfffffff90000000, 0xdfffffff90000001,
0xefffffff88000000, 0xefffffff88000001,
0xf7ffffff84000000, 0xf7ffffff84000001,
0xfbffffff82000000, 0xfbffffff82000001,
0xfdffffff81000000, 0xfdffffff81000001,
0xfeffffff80800000, 0xfeffffff80800001,
0xff7fffff80400000, 0xff7fffff80400001,
0xffbfffff80200000, 0xffbfffff80200001,
0xffdfffff80100000, 0xffdfffff80100001,
0xffefffff80080000, 0xffefffff80080001,
0xfff7ffff80040000, 0xfff7ffff80040001,
0xfffbffff80020000, 0xfffbffff80020001,
0xfffdffff80010000, 0xfffdffff80010001,
0xfffeffff80008000, 0xfffeffff80008001,
0xffff7fff80004000, 0xffff7fff80004001,
0xffffbfff80002000, 0xffffbfff80002001,
0xffffdfff80001000, 0xffffdfff80001001,
0xffffefff80000800, 0xffffefff80000801,
0xfffff7ff80000400, 0xfffff7ff80000401,
0xfffffbff80000200, 0xfffffbff80000201,
0xfffffdff80000100, 0xfffffdff80000101,
0xfffffeff80000080, 0xfffffeff80000081,
0xffffff7f80000040, 0xffffff7f80000041,
0xffffffbf80000020, 0xffffffbf80000021,
0xffffffdf80000010, 0xffffffdf80000011,
0xffffffef80000008, 0xffffffef80000009,
0xfffffff780000004, 0xfffffff780000005,
0xfffffffb80000002, 0xfffffffb80000003,
0xfffffffd80000001, 0xfffffffd80000002,
0xfffffffe80000001, 0xfffffffe80000002,
0xffffffff00000001, 0xffffffff00000002,
0xffffffff40000001, 0xffffffff40000002,
0xffffffff60000001, 0xffffffff60000002,
0xffffffff70000001, 0xffffffff70000002,
0xffffffff78000001, 0xffffffff78000002,
0xffffffff7c000001, 0xffffffff7c000002,
0xffffffff7e000001, 0xffffffff7e000002,
0xffffffff7f000001, 0xffffffff7f000002,
0xffffffff7f800001, 0xffffffff7f800002,
0xffffffff7fc00001, 0xffffffff7fc00002,
0xffffffff7fe00001, 0xffffffff7fe00002,
0xffffffff7ff00001, 0xffffffff7ff00002,
0xffffffff7ff80001, 0xffffffff7ff80002,
0xffffffff7ffc0001, 0xffffffff7ffc0002,
0xffffffff7ffe0001, 0xffffffff7ffe0002,
0xffffffff7fff0001, 0xffffffff7fff0002,
0xffffffff7fff8001, 0xffffffff7fff8002,
0xffffffff7fffc001, 0xffffffff7fffc002,
0xffffffff7fffe001, 0xffffffff7fffe002,
0xffffffff7ffff001, 0xffffffff7ffff002,
0xffffffff7ffff801, 0xffffffff7ffff802,
0xffffffff7ffffc01, 0xffffffff7ffffc02,
0xffffffff7ffffe01, 0xffffffff7ffffe02,
0xffffffff7fffff01, 0xffffffff7fffff02,
0xffffffff7fffff81, 0xffffffff7fffff82,
0xffffffff7fffffc1, 0xffffffff7fffffc2,
0xffffffff7fffffe1, 0xffffffff7fffffe2,
0xffffffff7ffffff1, 0xffffffff7ffffff2,
0xffffffff7ffffff9, 0xffffffff7ffffffa,
0xffffffff7ffffffd, 0xffffffff7ffffffe,
0xffffffff7fffffff, 0xffffffff80000000,
0xffffffff80000000, 0xffffffff80000001,
0x7fffffffc0000001, 0x7fffffffc0000001,
0xbfffffffa0000001, 0xbfffffffa0000002,
0xdfffffff90000001, 0xdfffffff90000002,
0xefffffff88000001, 0xefffffff88000002,
0xf7ffffff84000001, 0xf7ffffff84000002,
0xfbffffff82000001, 0xfbffffff82000002,
0xfdffffff81000001, 0xfdffffff81000002,
0xfeffffff80800001, 0xfeffffff80800002,
0xff7fffff80400001, 0xff7fffff80400002,
0xffbfffff80200001, 0xffbfffff80200002,
0xffdfffff80100001, 0xffdfffff80100002,
0xffefffff80080001, 0xffefffff80080002,
0xfff7ffff80040001, 0xfff7ffff80040002,
0xfffbffff80020001, 0xfffbffff80020002,
0xfffdffff80010001, 0xfffdffff80010002,
0xfffeffff80008001, 0xfffeffff80008002,
0xffff7fff80004001, 0xffff7fff80004002,
0xffffbfff80002001, 0xffffbfff80002002,
0xffffdfff80001001, 0xffffdfff80001002,
0xffffefff80000801, 0xffffefff80000802,
0xfffff7ff80000401, 0xfffff7ff80000402,
0xfffffbff80000201, 0xfffffbff80000202,
0xfffffdff80000101, 0xfffffdff80000102,
0xfffffeff80000081, 0xfffffeff80000082,
0xffffff7f80000041, 0xffffff7f80000042,
0xffffffbf80000021, 0xffffffbf80000022,
0xffffffdf80000011, 0xffffffdf80000012,
0xffffffef80000009, 0xffffffef8000000a,
0xfffffff780000005, 0xfffffff780000006,
0xfffffffb80000003, 0xfffffffb80000004,
0xfffffffd80000002, 0xfffffffd80000003,
0xfffffffe80000002, 0xfffffffe80000003,
0xffffffff00000002, 0xffffffff00000003,
0xffffffff40000002, 0xffffffff40000003,
0xffffffff60000002, 0xffffffff60000003,
0xffffffff70000002, 0xffffffff70000003,
0xffffffff78000002, 0xffffffff78000003,
0xffffffff7c000002, 0xffffffff7c000003,
0xffffffff7e000002, 0xffffffff7e000003,
0xffffffff7f000002, 0xffffffff7f000003,
0xffffffff7f800002, 0xffffffff7f800003,
0xffffffff7fc00002, 0xffffffff7fc00003,
0xffffffff7fe00002, 0xffffffff7fe00003,
0xffffffff7ff00002, 0xffffffff7ff00003,
0xffffffff7ff80002, 0xffffffff7ff80003,
0xffffffff7ffc0002, 0xffffffff7ffc0003,
0xffffffff7ffe0002, 0xffffffff7ffe0003,
0xffffffff7fff0002, 0xffffffff7fff0003,
0xffffffff7fff8002, 0xffffffff7fff8003,
0xffffffff7fffc002, 0xffffffff7fffc003,
0xffffffff7fffe002, 0xffffffff7fffe003,
0xffffffff7ffff002, 0xffffffff7ffff003,
0xffffffff7ffff802, 0xffffffff7ffff803,
0xffffffff7ffffc02, 0xffffffff7ffffc03,
0xffffffff7ffffe02, 0xffffffff7ffffe03,
0xffffffff7fffff02, 0xffffffff7fffff03,
0xffffffff7fffff82, 0xffffffff7fffff83,
0xffffffff7fffffc2, 0xffffffff7fffffc3,
0xffffffff7fffffe2, 0xffffffff7fffffe3,
0xffffffff7ffffff2, 0xffffffff7ffffff3,
0xffffffff7ffffffa, 0xffffffff7ffffffb,
0xffffffff7ffffffe, 0xffffffff7fffffff,
0xffffffff80000000, 0xffffffff80000001,
0xffffffff80000001, 0xffffffff80000002,
0x7fffffffc0000001, 0x7fffffffc0000002,
0xbfffffffa0000002, 0xbfffffffa0000003,
0xdfffffff90000002, 0xdfffffff90000003,
0xefffffff88000002, 0xefffffff88000003,
0xf7ffffff84000002, 0xf7ffffff84000003,
0xfbffffff82000002, 0xfbffffff82000003,
0xfdffffff81000002, 0xfdffffff81000003,
0xfeffffff80800002, 0xfeffffff80800003,
0xff7fffff80400002, 0xff7fffff80400003,
0xffbfffff80200002, 0xffbfffff80200003,
0xffdfffff80100002, 0xffdfffff80100003,
0xffefffff80080002, 0xffefffff80080003,
0xfff7ffff80040002, 0xfff7ffff80040003,
0xfffbffff80020002, 0xfffbffff80020003,
0xfffdffff80010002, 0xfffdffff80010003,
0xfffeffff80008002, 0xfffeffff80008003,
0xffff7fff80004002, 0xffff7fff80004003,
0xffffbfff80002002, 0xffffbfff80002003,
0xffffdfff80001002, 0xffffdfff80001003,
0xffffefff80000802, 0xffffefff80000803,
0xfffff7ff80000402, 0xfffff7ff80000403,
0xfffffbff80000202, 0xfffffbff80000203,
0xfffffdff80000102, 0xfffffdff80000103,
0xfffffeff80000082, 0xfffffeff80000083,
0xffffff7f80000042, 0xffffff7f80000043,
0xffffffbf80000022, 0xffffffbf80000023,
0xffffffdf80000012, 0xffffffdf80000013,
0xffffffef8000000a, 0xffffffef8000000b,
0xfffffff780000006, 0xfffffff780000007,
0xfffffffb80000004, 0xfffffffb80000005,
0xfffffffd80000003, 0xfffffffd80000004,
0xfffffffe80000003, 0xfffffffe80000004,
0xffffffff00000003, 0xffffffff00000004,
0xffffffff40000003, 0xffffffff40000004,
0xffffffff60000003, 0xffffffff60000004,
0xffffffff70000003, 0xffffffff70000004,
0xffffffff78000003, 0xffffffff78000004,
0xffffffff7c000003, 0xffffffff7c000004,
0xffffffff7e000003, 0xffffffff7e000004,
0xffffffff7f000003, 0xffffffff7f000004,
0xffffffff7f800003, 0xffffffff7f800004,
0xffffffff7fc00003, 0xffffffff7fc00004,
0xffffffff7fe00003, 0xffffffff7fe00004,
0xffffffff7ff00003, 0xffffffff7ff00004,
0xffffffff7ff80003, 0xffffffff7ff80004,
0xffffffff7ffc0003, 0xffffffff7ffc0004,
0xffffffff7ffe0003, 0xffffffff7ffe0004,
0xffffffff7fff0003, 0xffffffff7fff0004,
0xffffffff7fff8003, 0xffffffff7fff8004,
0xffffffff7fffc003, 0xffffffff7fffc004,
0xffffffff7fffe003, 0xffffffff7fffe004,
0xffffffff7ffff003, 0xffffffff7ffff004,
0xffffffff7ffff803, 0xffffffff7ffff804,
0xffffffff7ffffc03, 0xffffffff7ffffc04,
0xffffffff7ffffe03, 0xffffffff7ffffe04,
0xffffffff7fffff03, 0xffffffff7fffff04,
0xffffffff7fffff83, 0xffffffff7fffff84,
0xffffffff7fffffc3, 0xffffffff7fffffc4,
0xffffffff7fffffe3, 0xffffffff7fffffe4,
0xffffffff7ffffff3, 0xffffffff7ffffff4,
0xffffffff7ffffffb, 0xffffffff7ffffffc,
0xffffffff7fffffff, 0xffffffff80000000,
0xffffffff80000001, 0xffffffff80000002,
0xffffffff80000002, 0xffffffff80000003,
0x7fffffffc0000002, 0x7fffffffffffc000,
0xbfffffffa0000003, 0xbfffffffffffa000,
0xdfffffff90000003, 0xdfffffffffff9000,
0xefffffff88000003, 0xefffffffffff8800,
0xf7ffffff84000003, 0xf7ffffffffff8400,
0xfbffffff82000003, 0xfbffffffffff8200,
0xfdffffff81000003, 0xfdffffffffff8100,
0xfeffffff80800003, 0xfeffffffffff8080,
0xff7fffff80400003, 0xff7fffffffff8040,
0xffbfffff80200003, 0xffbfffffffff8020,
0xffdfffff80100003, 0xffdfffffffff8010,
0xffefffff80080003, 0xffefffffffff8008,
0xfff7ffff80040003, 0xfff7ffffffff8004,
0xfffbffff80020003, 0xfffbffffffff8002,
0xfffdffff80010003, 0xfffdffffffff8001,
0xfffeffff80008003, 0xfffeffffffff8001,
0xffff7fff80004003, 0xffff7fffffff8001,
0xffffbfff80002003, 0xffffbfffffff8001,
0xffffdfff80001003, 0xffffdfffffff8001,
0xffffefff80000803, 0xffffefffffff8001,
0xfffff7ff80000403, 0xfffff7ffffff8001,
0xfffffbff80000203, 0xfffffbffffff8001,
0xfffffdff80000103, 0xfffffdffffff8001,
0xfffffeff80000083, 0xfffffeffffff8001,
0xffffff7f80000043, 0xffffff7fffff8001,
0xffffffbf80000023, 0xffffffbfffff8001,
0xffffffdf80000013, 0xffffffdfffff8001,
0xffffffef8000000b, 0xffffffefffff8001,
0xfffffff780000007, 0xfffffff7ffff8001,
0xfffffffb80000005, 0xfffffffbffff8001,
0xfffffffd80000004, 0xfffffffdffff8001,
0xfffffffe80000004, 0xfffffffeffff8001,
0xffffffff00000004, 0xffffffff7fff8001,
0xffffffff40000004, 0xffffffffbfff8001,
0xffffffff60000004, 0xffffffffdfff8001,
0xffffffff70000004, 0xffffffffefff8001,
0xffffffff78000004, 0xfffffffff7ff8001,
0xffffffff7c000004, 0xfffffffffbff8001,
0xffffffff7e000004, 0xfffffffffdff8001,
0xffffffff7f000004, 0xfffffffffeff8001,
0xffffffff7f800004, 0xffffffffff7f8001,
0xffffffff7fc00004, 0xffffffffffbf8001,
0xffffffff7fe00004, 0xffffffffffdf8001,
0xffffffff7ff00004, 0xffffffffffef8001,
0xffffffff7ff80004, 0xfffffffffff78001,
0xffffffff7ffc0004, 0xfffffffffffb8001,
0xffffffff7ffe0004, 0xfffffffffffd8001,
0xffffffff7fff0004, 0xfffffffffffe8001,
0xffffffff7fff8004, 0xffffffffffff0001,
0xffffffff7fffc004, 0xffffffffffff4001,
0xffffffff7fffe004, 0xffffffffffff6001,
0xffffffff7ffff004, 0xffffffffffff7001,
0xffffffff7ffff804, 0xffffffffffff7801,
0xffffffff7ffffc04, 0xffffffffffff7c01,
0xffffffff7ffffe04, 0xffffffffffff7e01,
0xffffffff7fffff04, 0xffffffffffff7f01,
0xffffffff7fffff84, 0xffffffffffff7f81,
0xffffffff7fffffc4, 0xffffffffffff7fc1,
0xffffffff7fffffe4, 0xffffffffffff7fe1,
0xffffffff7ffffff4, 0xffffffffffff7ff1,
0xffffffff7ffffffc, 0xffffffffffff7ff9,
0xffffffff80000000, 0xffffffffffff7ffd,
0xffffffff80000002, 0xffffffffffff7fff,
0xffffffff80000003, 0xffffffffffff8000,
0x7fffffffffffc000, 0x7fffffffffffc001,
0xbfffffffffffa000, 0xbfffffffffffa001,
0xdfffffffffff9000, 0xdfffffffffff9001,
0xefffffffffff8800, 0xefffffffffff8801,
0xf7ffffffffff8400, 0xf7ffffffffff8401,
0xfbffffffffff8200, 0xfbffffffffff8201,
0xfdffffffffff8100, 0xfdffffffffff8101,
0xfeffffffffff8080, 0xfeffffffffff8081,
0xff7fffffffff8040, 0xff7fffffffff8041,
0xffbfffffffff8020, 0xffbfffffffff8021,
0xffdfffffffff8010, 0xffdfffffffff8011,
0xffefffffffff8008, 0xffefffffffff8009,
0xfff7ffffffff8004, 0xfff7ffffffff8005,
0xfffbffffffff8002, 0xfffbffffffff8003,
0xfffdffffffff8001, 0xfffdffffffff8002,
0xfffeffffffff8001, 0xfffeffffffff8002,
0xffff7fffffff8001, 0xffff7fffffff8002,
0xffffbfffffff8001, 0xffffbfffffff8002,
0xffffdfffffff8001, 0xffffdfffffff8002,
0xffffefffffff8001, 0xffffefffffff8002,
0xfffff7ffffff8001, 0xfffff7ffffff8002,
0xfffffbffffff8001, 0xfffffbffffff8002,
0xfffffdffffff8001, 0xfffffdffffff8002,
0xfffffeffffff8001, 0xfffffeffffff8002,
0xffffff7fffff8001, 0xffffff7fffff8002,
0xffffffbfffff8001, 0xffffffbfffff8002,
0xffffffdfffff8001, 0xffffffdfffff8002,
0xffffffefffff8001, 0xffffffefffff8002,
0xfffffff7ffff8001, 0xfffffff7ffff8002,
0xfffffffbffff8001, 0xfffffffbffff8002,
0xfffffffdffff8001, 0xfffffffdffff8002,
0xfffffffeffff8001, 0xfffffffeffff8002,
0xffffffff7fff8001, 0xffffffff7fff8002,
0xffffffffbfff8001, 0xffffffffbfff8002,
0xffffffffdfff8001, 0xffffffffdfff8002,
0xffffffffefff8001, 0xffffffffefff8002,
0xfffffffff7ff8001, 0xfffffffff7ff8002,
0xfffffffffbff8001, 0xfffffffffbff8002,
0xfffffffffdff8001, 0xfffffffffdff8002,
0xfffffffffeff8001, 0xfffffffffeff8002,
0xffffffffff7f8001, 0xffffffffff7f8002,
0xffffffffffbf8001, 0xffffffffffbf8002,
0xffffffffffdf8001, 0xffffffffffdf8002,
0xffffffffffef8001, 0xffffffffffef8002,
0xfffffffffff78001, 0xfffffffffff78002,
0xfffffffffffb8001, 0xfffffffffffb8002,
0xfffffffffffd8001, 0xfffffffffffd8002,
0xfffffffffffe8001, 0xfffffffffffe8002,
0xffffffffffff0001, 0xffffffffffff0002,
0xffffffffffff4001, 0xffffffffffff4002,
0xffffffffffff6001, 0xffffffffffff6002,
0xffffffffffff7001, 0xffffffffffff7002,
0xffffffffffff7801, 0xffffffffffff7802,
0xffffffffffff7c01, 0xffffffffffff7c02,
0xffffffffffff7e01, 0xffffffffffff7e02,
0xffffffffffff7f01, 0xffffffffffff7f02,
0xffffffffffff7f81, 0xffffffffffff7f82,
0xffffffffffff7fc1, 0xffffffffffff7fc2,
0xffffffffffff7fe1, 0xffffffffffff7fe2,
0xffffffffffff7ff1, 0xffffffffffff7ff2,
0xffffffffffff7ff9, 0xffffffffffff7ffa,
0xffffffffffff7ffd, 0xffffffffffff7ffe,
0xffffffffffff7fff, 0xffffffffffff8000,
0xffffffffffff8000, 0xffffffffffff8001,
0x7fffffffffffc001, 0x7fffffffffffc001,
0xbfffffffffffa001, 0xbfffffffffffa002,
0xdfffffffffff9001, 0xdfffffffffff9002,
0xefffffffffff8801, 0xefffffffffff8802,
0xf7ffffffffff8401, 0xf7ffffffffff8402,
0xfbffffffffff8201, 0xfbffffffffff8202,
0xfdffffffffff8101, 0xfdffffffffff8102,
0xfeffffffffff8081, 0xfeffffffffff8082,
0xff7fffffffff8041, 0xff7fffffffff8042,
0xffbfffffffff8021, 0xffbfffffffff8022,
0xffdfffffffff8011, 0xffdfffffffff8012,
0xffefffffffff8009, 0xffefffffffff800a,
0xfff7ffffffff8005, 0xfff7ffffffff8006,
0xfffbffffffff8003, 0xfffbffffffff8004,
0xfffdffffffff8002, 0xfffdffffffff8003,
0xfffeffffffff8002, 0xfffeffffffff8003,
0xffff7fffffff8002, 0xffff7fffffff8003,
0xffffbfffffff8002, 0xffffbfffffff8003,
0xffffdfffffff8002, 0xffffdfffffff8003,
0xffffefffffff8002, 0xffffefffffff8003,
0xfffff7ffffff8002, 0xfffff7ffffff8003,
0xfffffbffffff8002, 0xfffffbffffff8003,
0xfffffdffffff8002, 0xfffffdffffff8003,
0xfffffeffffff8002, 0xfffffeffffff8003,
0xffffff7fffff8002, 0xffffff7fffff8003,
0xffffffbfffff8002, 0xffffffbfffff8003,
0xffffffdfffff8002, 0xffffffdfffff8003,
0xffffffefffff8002, 0xffffffefffff8003,
0xfffffff7ffff8002, 0xfffffff7ffff8003,
0xfffffffbffff8002, 0xfffffffbffff8003,
0xfffffffdffff8002, 0xfffffffdffff8003,
0xfffffffeffff8002, 0xfffffffeffff8003,
0xffffffff7fff8002, 0xffffffff7fff8003,
0xffffffffbfff8002, 0xffffffffbfff8003,
0xffffffffdfff8002, 0xffffffffdfff8003,
0xffffffffefff8002, 0xffffffffefff8003,
0xfffffffff7ff8002, 0xfffffffff7ff8003,
0xfffffffffbff8002, 0xfffffffffbff8003,
0xfffffffffdff8002, 0xfffffffffdff8003,
0xfffffffffeff8002, 0xfffffffffeff8003,
0xffffffffff7f8002, 0xffffffffff7f8003,
0xffffffffffbf8002, 0xffffffffffbf8003,
0xffffffffffdf8002, 0xffffffffffdf8003,
0xffffffffffef8002, 0xffffffffffef8003,
0xfffffffffff78002, 0xfffffffffff78003,
0xfffffffffffb8002, 0xfffffffffffb8003,
0xfffffffffffd8002, 0xfffffffffffd8003,
0xfffffffffffe8002, 0xfffffffffffe8003,
0xffffffffffff0002, 0xffffffffffff0003,
0xffffffffffff4002, 0xffffffffffff4003,
0xffffffffffff6002, 0xffffffffffff6003,
0xffffffffffff7002, 0xffffffffffff7003,
0xffffffffffff7802, 0xffffffffffff7803,
0xffffffffffff7c02, 0xffffffffffff7c03,
0xffffffffffff7e02, 0xffffffffffff7e03,
0xffffffffffff7f02, 0xffffffffffff7f03,
0xffffffffffff7f82, 0xffffffffffff7f83,
0xffffffffffff7fc2, 0xffffffffffff7fc3,
0xffffffffffff7fe2, 0xffffffffffff7fe3,
0xffffffffffff7ff2, 0xffffffffffff7ff3,
0xffffffffffff7ffa, 0xffffffffffff7ffb,
0xffffffffffff7ffe, 0xffffffffffff7fff,
0xffffffffffff8000, 0xffffffffffff8001,
0xffffffffffff8001, 0xffffffffffff8002,
0x7fffffffffffc001, 0x7fffffffffffc002,
0xbfffffffffffa002, 0xbfffffffffffa003,
0xdfffffffffff9002, 0xdfffffffffff9003,
0xefffffffffff8802, 0xefffffffffff8803,
0xf7ffffffffff8402, 0xf7ffffffffff8403,
0xfbffffffffff8202, 0xfbffffffffff8203,
0xfdffffffffff8102, 0xfdffffffffff8103,
0xfeffffffffff8082, 0xfeffffffffff8083,
0xff7fffffffff8042, 0xff7fffffffff8043,
0xffbfffffffff8022, 0xffbfffffffff8023,
0xffdfffffffff8012, 0xffdfffffffff8013,
0xffefffffffff800a, 0xffefffffffff800b,
0xfff7ffffffff8006, 0xfff7ffffffff8007,
0xfffbffffffff8004, 0xfffbffffffff8005,
0xfffdffffffff8003, 0xfffdffffffff8004,
0xfffeffffffff8003, 0xfffeffffffff8004,
0xffff7fffffff8003, 0xffff7fffffff8004,
0xffffbfffffff8003, 0xffffbfffffff8004,
0xffffdfffffff8003, 0xffffdfffffff8004,
0xffffefffffff8003, 0xffffefffffff8004,
0xfffff7ffffff8003, 0xfffff7ffffff8004,
0xfffffbffffff8003, 0xfffffbffffff8004,
0xfffffdffffff8003, 0xfffffdffffff8004,
0xfffffeffffff8003, 0xfffffeffffff8004,
0xffffff7fffff8003, 0xffffff7fffff8004,
0xffffffbfffff8003, 0xffffffbfffff8004,
0xffffffdfffff8003, 0xffffffdfffff8004,
0xffffffefffff8003, 0xffffffefffff8004,
0xfffffff7ffff8003, 0xfffffff7ffff8004,
0xfffffffbffff8003, 0xfffffffbffff8004,
0xfffffffdffff8003, 0xfffffffdffff8004,
0xfffffffeffff8003, 0xfffffffeffff8004,
0xffffffff7fff8003, 0xffffffff7fff8004,
0xffffffffbfff8003, 0xffffffffbfff8004,
0xffffffffdfff8003, 0xffffffffdfff8004,
0xffffffffefff8003, 0xffffffffefff8004,
0xfffffffff7ff8003, 0xfffffffff7ff8004,
0xfffffffffbff8003, 0xfffffffffbff8004,
0xfffffffffdff8003, 0xfffffffffdff8004,
0xfffffffffeff8003, 0xfffffffffeff8004,
0xffffffffff7f8003, 0xffffffffff7f8004,
0xffffffffffbf8003, 0xffffffffffbf8004,
0xffffffffffdf8003, 0xffffffffffdf8004,
0xffffffffffef8003, 0xffffffffffef8004,
0xfffffffffff78003, 0xfffffffffff78004,
0xfffffffffffb8003, 0xfffffffffffb8004,
0xfffffffffffd8003, 0xfffffffffffd8004,
0xfffffffffffe8003, 0xfffffffffffe8004,
0xffffffffffff0003, 0xffffffffffff0004,
0xffffffffffff4003, 0xffffffffffff4004,
0xffffffffffff6003, 0xffffffffffff6004,
0xffffffffffff7003, 0xffffffffffff7004,
0xffffffffffff7803, 0xffffffffffff7804,
0xffffffffffff7c03, 0xffffffffffff7c04,
0xffffffffffff7e03, 0xffffffffffff7e04,
0xffffffffffff7f03, 0xffffffffffff7f04,
0xffffffffffff7f83, 0xffffffffffff7f84,
0xffffffffffff7fc3, 0xffffffffffff7fc4,
0xffffffffffff7fe3, 0xffffffffffff7fe4,
0xffffffffffff7ff3, 0xffffffffffff7ff4,
0xffffffffffff7ffb, 0xffffffffffff7ffc,
0xffffffffffff7fff, 0xffffffffffff8000,
0xffffffffffff8001, 0xffffffffffff8002,
0xffffffffffff8002, 0xffffffffffff8003,
0x7fffffffffffc002, 0x7fffffffffffffc0,
0xbfffffffffffa003, 0xbfffffffffffffa0,
0xdfffffffffff9003, 0xdfffffffffffff90,
0xefffffffffff8803, 0xefffffffffffff88,
0xf7ffffffffff8403, 0xf7ffffffffffff84,
0xfbffffffffff8203, 0xfbffffffffffff82,
0xfdffffffffff8103, 0xfdffffffffffff81,
0xfeffffffffff8083, 0xfeffffffffffff81,
0xff7fffffffff8043, 0xff7fffffffffff81,
0xffbfffffffff8023, 0xffbfffffffffff81,
0xffdfffffffff8013, 0xffdfffffffffff81,
0xffefffffffff800b, 0xffefffffffffff81,
0xfff7ffffffff8007, 0xfff7ffffffffff81,
0xfffbffffffff8005, 0xfffbffffffffff81,
0xfffdffffffff8004, 0xfffdffffffffff81,
0xfffeffffffff8004, 0xfffeffffffffff81,
0xffff7fffffff8004, 0xffff7fffffffff81,
0xffffbfffffff8004, 0xffffbfffffffff81,
0xffffdfffffff8004, 0xffffdfffffffff81,
0xffffefffffff8004, 0xffffefffffffff81,
0xfffff7ffffff8004, 0xfffff7ffffffff81,
0xfffffbffffff8004, 0xfffffbffffffff81,
0xfffffdffffff8004, 0xfffffdffffffff81,
0xfffffeffffff8004, 0xfffffeffffffff81,
0xffffff7fffff8004, 0xffffff7fffffff81,
0xffffffbfffff8004, 0xffffffbfffffff81,
0xffffffdfffff8004, 0xffffffdfffffff81,
0xffffffefffff8004, 0xffffffefffffff81,
0xfffffff7ffff8004, 0xfffffff7ffffff81,
0xfffffffbffff8004, 0xfffffffbffffff81,
0xfffffffdffff8004, 0xfffffffdffffff81,
0xfffffffeffff8004, 0xfffffffeffffff81,
0xffffffff7fff8004, 0xffffffff7fffff81,
0xffffffffbfff8004, 0xffffffffbfffff81,
0xffffffffdfff8004, 0xffffffffdfffff81,
0xffffffffefff8004, 0xffffffffefffff81,
0xfffffffff7ff8004, 0xfffffffff7ffff81,
0xfffffffffbff8004, 0xfffffffffbffff81,
0xfffffffffdff8004, 0xfffffffffdffff81,
0xfffffffffeff8004, 0xfffffffffeffff81,
0xffffffffff7f8004, 0xffffffffff7fff81,
0xffffffffffbf8004, 0xffffffffffbfff81,
0xffffffffffdf8004, 0xffffffffffdfff81,
0xffffffffffef8004, 0xffffffffffefff81,
0xfffffffffff78004, 0xfffffffffff7ff81,
0xfffffffffffb8004, 0xfffffffffffbff81,
0xfffffffffffd8004, 0xfffffffffffdff81,
0xfffffffffffe8004, 0xfffffffffffeff81,
0xffffffffffff0004, 0xffffffffffff7f81,
0xffffffffffff4004, 0xffffffffffffbf81,
0xffffffffffff6004, 0xffffffffffffdf81,
0xffffffffffff7004, 0xffffffffffffef81,
0xffffffffffff7804, 0xfffffffffffff781,
0xffffffffffff7c04, 0xfffffffffffffb81,
0xffffffffffff7e04, 0xfffffffffffffd81,
0xffffffffffff7f04, 0xfffffffffffffe81,
0xffffffffffff7f84, 0xffffffffffffff01,
0xffffffffffff7fc4, 0xffffffffffffff41,
0xffffffffffff7fe4, 0xffffffffffffff61,
0xffffffffffff7ff4, 0xffffffffffffff71,
0xffffffffffff7ffc, 0xffffffffffffff79,
0xffffffffffff8000, 0xffffffffffffff7d,
0xffffffffffff8002, 0xffffffffffffff7f,
0xffffffffffff8003, 0xffffffffffffff80,
0x7fffffffffffffc0, 0x7fffffffffffffc1,
0xbfffffffffffffa0, 0xbfffffffffffffa1,
0xdfffffffffffff90, 0xdfffffffffffff91,
0xefffffffffffff88, 0xefffffffffffff89,
0xf7ffffffffffff84, 0xf7ffffffffffff85,
0xfbffffffffffff82, 0xfbffffffffffff83,
0xfdffffffffffff81, 0xfdffffffffffff82,
0xfeffffffffffff81, 0xfeffffffffffff82,
0xff7fffffffffff81, 0xff7fffffffffff82,
0xffbfffffffffff81, 0xffbfffffffffff82,
0xffdfffffffffff81, 0xffdfffffffffff82,
0xffefffffffffff81, 0xffefffffffffff82,
0xfff7ffffffffff81, 0xfff7ffffffffff82,
0xfffbffffffffff81, 0xfffbffffffffff82,
0xfffdffffffffff81, 0xfffdffffffffff82,
0xfffeffffffffff81, 0xfffeffffffffff82,
0xffff7fffffffff81, 0xffff7fffffffff82,
0xffffbfffffffff81, 0xffffbfffffffff82,
0xffffdfffffffff81, 0xffffdfffffffff82,
0xffffefffffffff81, 0xffffefffffffff82,
0xfffff7ffffffff81, 0xfffff7ffffffff82,
0xfffffbffffffff81, 0xfffffbffffffff82,
0xfffffdffffffff81, 0xfffffdffffffff82,
0xfffffeffffffff81, 0xfffffeffffffff82,
0xffffff7fffffff81, 0xffffff7fffffff82,
0xffffffbfffffff81, 0xffffffbfffffff82,
0xffffffdfffffff81, 0xffffffdfffffff82,
0xffffffefffffff81, 0xffffffefffffff82,
0xfffffff7ffffff81, 0xfffffff7ffffff82,
0xfffffffbffffff81, 0xfffffffbffffff82,
0xfffffffdffffff81, 0xfffffffdffffff82,
0xfffffffeffffff81, 0xfffffffeffffff82,
0xffffffff7fffff81, 0xffffffff7fffff82,
0xffffffffbfffff81, 0xffffffffbfffff82,
0xffffffffdfffff81, 0xffffffffdfffff82,
0xffffffffefffff81, 0xffffffffefffff82,
0xfffffffff7ffff81, 0xfffffffff7ffff82,
0xfffffffffbffff81, 0xfffffffffbffff82,
0xfffffffffdffff81, 0xfffffffffdffff82,
0xfffffffffeffff81, 0xfffffffffeffff82,
0xffffffffff7fff81, 0xffffffffff7fff82,
0xffffffffffbfff81, 0xffffffffffbfff82,
0xffffffffffdfff81, 0xffffffffffdfff82,
0xffffffffffefff81, 0xffffffffffefff82,
0xfffffffffff7ff81, 0xfffffffffff7ff82,
0xfffffffffffbff81, 0xfffffffffffbff82,
0xfffffffffffdff81, 0xfffffffffffdff82,
0xfffffffffffeff81, 0xfffffffffffeff82,
0xffffffffffff7f81, 0xffffffffffff7f82,
0xffffffffffffbf81, 0xffffffffffffbf82,
0xffffffffffffdf81, 0xffffffffffffdf82,
0xffffffffffffef81, 0xffffffffffffef82,
0xfffffffffffff781, 0xfffffffffffff782,
0xfffffffffffffb81, 0xfffffffffffffb82,
0xfffffffffffffd81, 0xfffffffffffffd82,
0xfffffffffffffe81, 0xfffffffffffffe82,
0xffffffffffffff01, 0xffffffffffffff02,
0xffffffffffffff41, 0xffffffffffffff42,
0xffffffffffffff61, 0xffffffffffffff62,
0xffffffffffffff71, 0xffffffffffffff72,
0xffffffffffffff79, 0xffffffffffffff7a,
0xffffffffffffff7d, 0xffffffffffffff7e,
0xffffffffffffff7f, 0xffffffffffffff80,
0xffffffffffffff80, 0xffffffffffffff81,
0x7fffffffffffffc1, 0x7fffffffffffffc1,
0xbfffffffffffffa1, 0xbfffffffffffffa2,
0xdfffffffffffff91, 0xdfffffffffffff92,
0xefffffffffffff89, 0xefffffffffffff8a,
0xf7ffffffffffff85, 0xf7ffffffffffff86,
0xfbffffffffffff83, 0xfbffffffffffff84,
0xfdffffffffffff82, 0xfdffffffffffff83,
0xfeffffffffffff82, 0xfeffffffffffff83,
0xff7fffffffffff82, 0xff7fffffffffff83,
0xffbfffffffffff82, 0xffbfffffffffff83,
0xffdfffffffffff82, 0xffdfffffffffff83,
0xffefffffffffff82, 0xffefffffffffff83,
0xfff7ffffffffff82, 0xfff7ffffffffff83,
0xfffbffffffffff82, 0xfffbffffffffff83,
0xfffdffffffffff82, 0xfffdffffffffff83,
0xfffeffffffffff82, 0xfffeffffffffff83,
0xffff7fffffffff82, 0xffff7fffffffff83,
0xffffbfffffffff82, 0xffffbfffffffff83,
0xffffdfffffffff82, 0xffffdfffffffff83,
0xffffefffffffff82, 0xffffefffffffff83,
0xfffff7ffffffff82, 0xfffff7ffffffff83,
0xfffffbffffffff82, 0xfffffbffffffff83,
0xfffffdffffffff82, 0xfffffdffffffff83,
0xfffffeffffffff82, 0xfffffeffffffff83,
0xffffff7fffffff82, 0xffffff7fffffff83,
0xffffffbfffffff82, 0xffffffbfffffff83,
0xffffffdfffffff82, 0xffffffdfffffff83,
0xffffffefffffff82, 0xffffffefffffff83,
0xfffffff7ffffff82, 0xfffffff7ffffff83,
0xfffffffbffffff82, 0xfffffffbffffff83,
0xfffffffdffffff82, 0xfffffffdffffff83,
0xfffffffeffffff82, 0xfffffffeffffff83,
0xffffffff7fffff82, 0xffffffff7fffff83,
0xffffffffbfffff82, 0xffffffffbfffff83,
0xffffffffdfffff82, 0xffffffffdfffff83,
0xffffffffefffff82, 0xffffffffefffff83,
0xfffffffff7ffff82, 0xfffffffff7ffff83,
0xfffffffffbffff82, 0xfffffffffbffff83,
0xfffffffffdffff82, 0xfffffffffdffff83,
0xfffffffffeffff82, 0xfffffffffeffff83,
0xffffffffff7fff82, 0xffffffffff7fff83,
0xffffffffffbfff82, 0xffffffffffbfff83,
0xffffffffffdfff82, 0xffffffffffdfff83,
0xffffffffffefff82, 0xffffffffffefff83,
0xfffffffffff7ff82, 0xfffffffffff7ff83,
0xfffffffffffbff82, 0xfffffffffffbff83,
0xfffffffffffdff82, 0xfffffffffffdff83,
0xfffffffffffeff82, 0xfffffffffffeff83,
0xffffffffffff7f82, 0xffffffffffff7f83,
0xffffffffffffbf82, 0xffffffffffffbf83,
0xffffffffffffdf82, 0xffffffffffffdf83,
0xffffffffffffef82, 0xffffffffffffef83,
0xfffffffffffff782, 0xfffffffffffff783,
0xfffffffffffffb82, 0xfffffffffffffb83,
0xfffffffffffffd82, 0xfffffffffffffd83,
0xfffffffffffffe82, 0xfffffffffffffe83,
0xffffffffffffff02, 0xffffffffffffff03,
0xffffffffffffff42, 0xffffffffffffff43,
0xffffffffffffff62, 0xffffffffffffff63,
0xffffffffffffff72, 0xffffffffffffff73,
0xffffffffffffff7a, 0xffffffffffffff7b,
0xffffffffffffff7e, 0xffffffffffffff7f,
0xffffffffffffff80, 0xffffffffffffff81,
0xffffffffffffff81, 0xffffffffffffff82,
0x7fffffffffffffc1, 0x7fffffffffffffc2,
0xbfffffffffffffa2, 0xbfffffffffffffa3,
0xdfffffffffffff92, 0xdfffffffffffff93,
0xefffffffffffff8a, 0xefffffffffffff8b,
0xf7ffffffffffff86, 0xf7ffffffffffff87,
0xfbffffffffffff84, 0xfbffffffffffff85,
0xfdffffffffffff83, 0xfdffffffffffff84,
0xfeffffffffffff83, 0xfeffffffffffff84,
0xff7fffffffffff83, 0xff7fffffffffff84,
0xffbfffffffffff83, 0xffbfffffffffff84,
0xffdfffffffffff83, 0xffdfffffffffff84,
0xffefffffffffff83, 0xffefffffffffff84,
0xfff7ffffffffff83, 0xfff7ffffffffff84,
0xfffbffffffffff83, 0xfffbffffffffff84,
0xfffdffffffffff83, 0xfffdffffffffff84,
0xfffeffffffffff83, 0xfffeffffffffff84,
0xffff7fffffffff83, 0xffff7fffffffff84,
0xffffbfffffffff83, 0xffffbfffffffff84,
0xffffdfffffffff83, 0xffffdfffffffff84,
0xffffefffffffff83, 0xffffefffffffff84,
0xfffff7ffffffff83, 0xfffff7ffffffff84,
0xfffffbffffffff83, 0xfffffbffffffff84,
0xfffffdffffffff83, 0xfffffdffffffff84,
0xfffffeffffffff83, 0xfffffeffffffff84,
0xffffff7fffffff83, 0xffffff7fffffff84,
0xffffffbfffffff83, 0xffffffbfffffff84,
0xffffffdfffffff83, 0xffffffdfffffff84,
0xffffffefffffff83, 0xffffffefffffff84,
0xfffffff7ffffff83, 0xfffffff7ffffff84,
0xfffffffbffffff83, 0xfffffffbffffff84,
0xfffffffdffffff83, 0xfffffffdffffff84,
0xfffffffeffffff83, 0xfffffffeffffff84,
0xffffffff7fffff83, 0xffffffff7fffff84,
0xffffffffbfffff83, 0xffffffffbfffff84,
0xffffffffdfffff83, 0xffffffffdfffff84,
0xffffffffefffff83, 0xffffffffefffff84,
0xfffffffff7ffff83, 0xfffffffff7ffff84,
0xfffffffffbffff83, 0xfffffffffbffff84,
0xfffffffffdffff83, 0xfffffffffdffff84,
0xfffffffffeffff83, 0xfffffffffeffff84,
0xffffffffff7fff83, 0xffffffffff7fff84,
0xffffffffffbfff83, 0xffffffffffbfff84,
0xffffffffffdfff83, 0xffffffffffdfff84,
0xffffffffffefff83, 0xffffffffffefff84,
0xfffffffffff7ff83, 0xfffffffffff7ff84,
0xfffffffffffbff83, 0xfffffffffffbff84,
0xfffffffffffdff83, 0xfffffffffffdff84,
0xfffffffffffeff83, 0xfffffffffffeff84,
0xffffffffffff7f83, 0xffffffffffff7f84,
0xffffffffffffbf83, 0xffffffffffffbf84,
0xffffffffffffdf83, 0xffffffffffffdf84,
0xffffffffffffef83, 0xffffffffffffef84,
0xfffffffffffff783, 0xfffffffffffff784,
0xfffffffffffffb83, 0xfffffffffffffb84,
0xfffffffffffffd83, 0xfffffffffffffd84,
0xfffffffffffffe83, 0xfffffffffffffe84,
0xffffffffffffff03, 0xffffffffffffff04,
0xffffffffffffff43, 0xffffffffffffff44,
0xffffffffffffff63, 0xffffffffffffff64,
0xffffffffffffff73, 0xffffffffffffff74,
0xffffffffffffff7b, 0xffffffffffffff7c,
0xffffffffffffff7f, 0xffffffffffffff80,
0xffffffffffffff81, 0xffffffffffffff82,
0xffffffffffffff82, 0xffffffffffffff83,
0x7fffffffffffffc2, 0x7fffffffffffffe0,
0xbfffffffffffffa3, 0xbfffffffffffffd0,
0xdfffffffffffff93, 0xdfffffffffffffc8,
0xefffffffffffff8b, 0xefffffffffffffc4,
0xf7ffffffffffff87, 0xf7ffffffffffffc2,
0xfbffffffffffff85, 0xfbffffffffffffc1,
0xfdffffffffffff84, 0xfdffffffffffffc1,
0xfeffffffffffff84, 0xfeffffffffffffc1,
0xff7fffffffffff84, 0xff7fffffffffffc1,
0xffbfffffffffff84, 0xffbfffffffffffc1,
0xffdfffffffffff84, 0xffdfffffffffffc1,
0xffefffffffffff84, 0xffefffffffffffc1,
0xfff7ffffffffff84, 0xfff7ffffffffffc1,
0xfffbffffffffff84, 0xfffbffffffffffc1,
0xfffdffffffffff84, 0xfffdffffffffffc1,
0xfffeffffffffff84, 0xfffeffffffffffc1,
0xffff7fffffffff84, 0xffff7fffffffffc1,
0xffffbfffffffff84, 0xffffbfffffffffc1,
0xffffdfffffffff84, 0xffffdfffffffffc1,
0xffffefffffffff84, 0xffffefffffffffc1,
0xfffff7ffffffff84, 0xfffff7ffffffffc1,
0xfffffbffffffff84, 0xfffffbffffffffc1,
0xfffffdffffffff84, 0xfffffdffffffffc1,
0xfffffeffffffff84, 0xfffffeffffffffc1,
0xffffff7fffffff84, 0xffffff7fffffffc1,
0xffffffbfffffff84, 0xffffffbfffffffc1,
0xffffffdfffffff84, 0xffffffdfffffffc1,
0xffffffefffffff84, 0xffffffefffffffc1,
0xfffffff7ffffff84, 0xfffffff7ffffffc1,
0xfffffffbffffff84, 0xfffffffbffffffc1,
0xfffffffdffffff84, 0xfffffffdffffffc1,
0xfffffffeffffff84, 0xfffffffeffffffc1,
0xffffffff7fffff84, 0xffffffff7fffffc1,
0xffffffffbfffff84, 0xffffffffbfffffc1,
0xffffffffdfffff84, 0xffffffffdfffffc1,
0xffffffffefffff84, 0xffffffffefffffc1,
0xfffffffff7ffff84, 0xfffffffff7ffffc1,
0xfffffffffbffff84, 0xfffffffffbffffc1,
0xfffffffffdffff84, 0xfffffffffdffffc1,
0xfffffffffeffff84, 0xfffffffffeffffc1,
0xffffffffff7fff84, 0xffffffffff7fffc1,
0xffffffffffbfff84, 0xffffffffffbfffc1,
0xffffffffffdfff84, 0xffffffffffdfffc1,
0xffffffffffefff84, 0xffffffffffefffc1,
0xfffffffffff7ff84, 0xfffffffffff7ffc1,
0xfffffffffffbff84, 0xfffffffffffbffc1,
0xfffffffffffdff84, 0xfffffffffffdffc1,
0xfffffffffffeff84, 0xfffffffffffeffc1,
0xffffffffffff7f84, 0xffffffffffff7fc1,
0xffffffffffffbf84, 0xffffffffffffbfc1,
0xffffffffffffdf84, 0xffffffffffffdfc1,
0xffffffffffffef84, 0xffffffffffffefc1,
0xfffffffffffff784, 0xfffffffffffff7c1,
0xfffffffffffffb84, 0xfffffffffffffbc1,
0xfffffffffffffd84, 0xfffffffffffffdc1,
0xfffffffffffffe84, 0xfffffffffffffec1,
0xffffffffffffff04, 0xffffffffffffff41,
0xffffffffffffff44, 0xffffffffffffff81,
0xffffffffffffff64, 0xffffffffffffffa1,
0xffffffffffffff74, 0xffffffffffffffb1,
0xffffffffffffff7c, 0xffffffffffffffb9,
0xffffffffffffff80, 0xffffffffffffffbd,
0xffffffffffffff82, 0xffffffffffffffbf,
0xffffffffffffff83, 0xffffffffffffffc0,
0x7fffffffffffffe0, 0x7fffffffffffffff,
0xbfffffffffffffd0, 0xbffffffffffffffe,
0xdfffffffffffffc8, 0xdffffffffffffffe,
0xefffffffffffffc4, 0xeffffffffffffffe,
0xf7ffffffffffffc2, 0xf7fffffffffffffe,
0xfbffffffffffffc1, 0xfbfffffffffffffe,
0xfdffffffffffffc1, 0xfdfffffffffffffe,
0xfeffffffffffffc1, 0xfefffffffffffffe,
0xff7fffffffffffc1, 0xff7ffffffffffffe,
0xffbfffffffffffc1, 0xffbffffffffffffe,
0xffdfffffffffffc1, 0xffdffffffffffffe,
0xffefffffffffffc1, 0xffeffffffffffffe,
0xfff7ffffffffffc1, 0xfff7fffffffffffe,
0xfffbffffffffffc1, 0xfffbfffffffffffe,
0xfffdffffffffffc1, 0xfffdfffffffffffe,
0xfffeffffffffffc1, 0xfffefffffffffffe,
0xffff7fffffffffc1, 0xffff7ffffffffffe,
0xffffbfffffffffc1, 0xffffbffffffffffe,
0xffffdfffffffffc1, 0xffffdffffffffffe,
0xffffefffffffffc1, 0xffffeffffffffffe,
0xfffff7ffffffffc1, 0xfffff7fffffffffe,
0xfffffbffffffffc1, 0xfffffbfffffffffe,
0xfffffdffffffffc1, 0xfffffdfffffffffe,
0xfffffeffffffffc1, 0xfffffefffffffffe,
0xffffff7fffffffc1, 0xffffff7ffffffffe,
0xffffffbfffffffc1, 0xffffffbffffffffe,
0xffffffdfffffffc1, 0xffffffdffffffffe,
0xffffffefffffffc1, 0xffffffeffffffffe,
0xfffffff7ffffffc1, 0xfffffff7fffffffe,
0xfffffffbffffffc1, 0xfffffffbfffffffe,
0xfffffffdffffffc1, 0xfffffffdfffffffe,
0xfffffffeffffffc1, 0xfffffffefffffffe,
0xffffffff7fffffc1, 0xffffffff7ffffffe,
0xffffffffbfffffc1, 0xffffffffbffffffe,
0xffffffffdfffffc1, 0xffffffffdffffffe,
0xffffffffefffffc1, 0xffffffffeffffffe,
0xfffffffff7ffffc1, 0xfffffffff7fffffe,
0xfffffffffbffffc1, 0xfffffffffbfffffe,
0xfffffffffdffffc1, 0xfffffffffdfffffe,
0xfffffffffeffffc1, 0xfffffffffefffffe,
0xffffffffff7fffc1, 0xffffffffff7ffffe,
0xffffffffffbfffc1, 0xffffffffffbffffe,
0xffffffffffdfffc1, 0xffffffffffdffffe,
0xffffffffffefffc1, 0xffffffffffeffffe,
0xfffffffffff7ffc1, 0xfffffffffff7fffe,
0xfffffffffffbffc1, 0xfffffffffffbfffe,
0xfffffffffffdffc1, 0xfffffffffffdfffe,
0xfffffffffffeffc1, 0xfffffffffffefffe,
0xffffffffffff7fc1, 0xffffffffffff7ffe,
0xffffffffffffbfc1, 0xffffffffffffbffe,
0xffffffffffffdfc1, 0xffffffffffffdffe,
0xffffffffffffefc1, 0xffffffffffffeffe,
0xfffffffffffff7c1, 0xfffffffffffff7fe,
0xfffffffffffffbc1, 0xfffffffffffffbfe,
0xfffffffffffffdc1, 0xfffffffffffffdfe,
0xfffffffffffffec1, 0xfffffffffffffefe,
0xffffffffffffff41, 0xffffffffffffff7e,
0xffffffffffffff81, 0xffffffffffffffbe,
0xffffffffffffffa1, 0xffffffffffffffde,
0xffffffffffffffb1, 0xffffffffffffffee,
0xffffffffffffffb9, 0xfffffffffffffff6,
0xffffffffffffffbd, 0xfffffffffffffffa,
0xffffffffffffffbf, 0xfffffffffffffffc,
0xffffffffffffffc0, 0xfffffffffffffffd,
0x7fffffffffffffff, 0x7fffffffffffffff,
0xbffffffffffffffe, 0xbfffffffffffffff,
0xdffffffffffffffe, 0xdfffffffffffffff,
0xeffffffffffffffe, 0xefffffffffffffff,
0xf7fffffffffffffe, 0xf7ffffffffffffff,
0xfbfffffffffffffe, 0xfbffffffffffffff,
0xfdfffffffffffffe, 0xfdffffffffffffff,
0xfefffffffffffffe, 0xfeffffffffffffff,
0xff7ffffffffffffe, 0xff7fffffffffffff,
0xffbffffffffffffe, 0xffbfffffffffffff,
0xffdffffffffffffe, 0xffdfffffffffffff,
0xffeffffffffffffe, 0xffefffffffffffff,
0xfff7fffffffffffe, 0xfff7ffffffffffff,
0xfffbfffffffffffe, 0xfffbffffffffffff,
0xfffdfffffffffffe, 0xfffdffffffffffff,
0xfffefffffffffffe, 0xfffeffffffffffff,
0xffff7ffffffffffe, 0xffff7fffffffffff,
0xffffbffffffffffe, 0xffffbfffffffffff,
0xffffdffffffffffe, 0xffffdfffffffffff,
0xffffeffffffffffe, 0xffffefffffffffff,
0xfffff7fffffffffe, 0xfffff7ffffffffff,
0xfffffbfffffffffe, 0xfffffbffffffffff,
0xfffffdfffffffffe, 0xfffffdffffffffff,
0xfffffefffffffffe, 0xfffffeffffffffff,
0xffffff7ffffffffe, 0xffffff7fffffffff,
0xffffffbffffffffe, 0xffffffbfffffffff,
0xffffffdffffffffe, 0xffffffdfffffffff,
0xffffffeffffffffe, 0xffffffefffffffff,
0xfffffff7fffffffe, 0xfffffff7ffffffff,
0xfffffffbfffffffe, 0xfffffffbffffffff,
0xfffffffdfffffffe, 0xfffffffdffffffff,
0xfffffffefffffffe, 0xfffffffeffffffff,
0xffffffff7ffffffe, 0xffffffff7fffffff,
0xffffffffbffffffe, 0xffffffffbfffffff,
0xffffffffdffffffe, 0xffffffffdfffffff,
0xffffffffeffffffe, 0xffffffffefffffff,
0xfffffffff7fffffe, 0xfffffffff7ffffff,
0xfffffffffbfffffe, 0xfffffffffbffffff,
0xfffffffffdfffffe, 0xfffffffffdffffff,
0xfffffffffefffffe, 0xfffffffffeffffff,
0xffffffffff7ffffe, 0xffffffffff7fffff,
0xffffffffffbffffe, 0xffffffffffbfffff,
0xffffffffffdffffe, 0xffffffffffdfffff,
0xffffffffffeffffe, 0xffffffffffefffff,
0xfffffffffff7fffe, 0xfffffffffff7ffff,
0xfffffffffffbfffe, 0xfffffffffffbffff,
0xfffffffffffdfffe, 0xfffffffffffdffff,
0xfffffffffffefffe, 0xfffffffffffeffff,
0xffffffffffff7ffe, 0xffffffffffff7fff,
0xffffffffffffbffe, 0xffffffffffffbfff,
0xffffffffffffdffe, 0xffffffffffffdfff,
0xffffffffffffeffe, 0xffffffffffffefff,
0xfffffffffffff7fe, 0xfffffffffffff7ff,
0xfffffffffffffbfe, 0xfffffffffffffbff,
0xfffffffffffffdfe, 0xfffffffffffffdff,
0xfffffffffffffefe, 0xfffffffffffffeff,
0xffffffffffffff7e, 0xffffffffffffff7f,
0xffffffffffffffbe, 0xffffffffffffffbf,
0xffffffffffffffde, 0xffffffffffffffdf,
0xffffffffffffffee, 0xffffffffffffffef,
0xfffffffffffffff6, 0xfffffffffffffff7,
0xfffffffffffffffa, 0xfffffffffffffffb,
0xfffffffffffffffc, 0xfffffffffffffffd,
0xfffffffffffffffd, 0xfffffffffffffffe,
0x7fffffffffffffff, 0x8000000000000000,
0xbfffffffffffffff, 0xc000000000000000,
0xdfffffffffffffff, 0xe000000000000000,
0xefffffffffffffff, 0xf000000000000000,
0xf7ffffffffffffff, 0xf800000000000000,
0xfbffffffffffffff, 0xfc00000000000000,
0xfdffffffffffffff, 0xfe00000000000000,
0xfeffffffffffffff, 0xff00000000000000,
0xff7fffffffffffff, 0xff80000000000000,
0xffbfffffffffffff, 0xffc0000000000000,
0xffdfffffffffffff, 0xffe0000000000000,
0xffefffffffffffff, 0xfff0000000000000,
0xfff7ffffffffffff, 0xfff8000000000000,
0xfffbffffffffffff, 0xfffc000000000000,
0xfffdffffffffffff, 0xfffe000000000000,
0xfffeffffffffffff, 0xffff000000000000,
0xffff7fffffffffff, 0xffff800000000000,
0xffffbfffffffffff, 0xffffc00000000000,
0xffffdfffffffffff, 0xffffe00000000000,
0xffffefffffffffff, 0xfffff00000000000,
0xfffff7ffffffffff, 0xfffff80000000000,
0xfffffbffffffffff, 0xfffffc0000000000,
0xfffffdffffffffff, 0xfffffe0000000000,
0xfffffeffffffffff, 0xffffff0000000000,
0xffffff7fffffffff, 0xffffff8000000000,
0xffffffbfffffffff, 0xffffffc000000000,
0xffffffdfffffffff, 0xffffffe000000000,
0xffffffefffffffff, 0xfffffff000000000,
0xfffffff7ffffffff, 0xfffffff800000000,
0xfffffffbffffffff, 0xfffffffc00000000,
0xfffffffdffffffff, 0xfffffffe00000000,
0xfffffffeffffffff, 0xffffffff00000000,
0xffffffff7fffffff, 0xffffffff80000000,
0xffffffffbfffffff, 0xffffffffc0000000,
0xffffffffdfffffff, 0xffffffffe0000000,
0xffffffffefffffff, 0xfffffffff0000000,
0xfffffffff7ffffff, 0xfffffffff8000000,
0xfffffffffbffffff, 0xfffffffffc000000,
0xfffffffffdffffff, 0xfffffffffe000000,
0xfffffffffeffffff, 0xffffffffff000000,
0xffffffffff7fffff, 0xffffffffff800000,
0xffffffffffbfffff, 0xffffffffffc00000,
0xffffffffffdfffff, 0xffffffffffe00000,
0xffffffffffefffff, 0xfffffffffff00000,
0xfffffffffff7ffff, 0xfffffffffff80000,
0xfffffffffffbffff, 0xfffffffffffc0000,
0xfffffffffffdffff, 0xfffffffffffe0000,
0xfffffffffffeffff, 0xffffffffffff0000,
0xffffffffffff7fff, 0xffffffffffff8000,
0xffffffffffffbfff, 0xffffffffffffc000,
0xffffffffffffdfff, 0xffffffffffffe000,
0xffffffffffffefff, 0xfffffffffffff000,
0xfffffffffffff7ff, 0xfffffffffffff800,
0xfffffffffffffbff, 0xfffffffffffffc00,
0xfffffffffffffdff, 0xfffffffffffffe00,
0xfffffffffffffeff, 0xffffffffffffff00,
0xffffffffffffff7f, 0xffffffffffffff80,
0xffffffffffffffbf, 0xffffffffffffffc0,
0xffffffffffffffdf, 0xffffffffffffffe0,
0xffffffffffffffef, 0xfffffffffffffff0,
0xfffffffffffffff7, 0xfffffffffffffff8,
0xfffffffffffffffb, 0xfffffffffffffffc,
0xfffffffffffffffd, 0xfffffffffffffffe,
0xfffffffffffffffe, 0xffffffffffffffff,
};
const unsigned kExpectedCount_NEON_ursra_2D_2OPIMM = 2560;
#endif // VIXL_SIM_URSRA_2D_2OPIMM_TRACE_A64_H_