// 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_USRA_2D_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_USRA_2D_2OPIMM_TRACE_A64_H_

const uint64_t kExpected_NEON_usra_2D_2OPIMM[] = {
  0x7fffffffffffffff, 0x0000000000000000,
  0xbffffffffffffffe, 0x0000000000000000,
  0xdffffffffffffffd, 0x0000000000000000,
  0xeffffffffffffffc, 0x0000000000000000,
  0xf7fffffffffffffb, 0x0000000000000000,
  0xfbfffffffffffffa, 0x0000000000000000,
  0xfdfffffffffffff9, 0x0000000000000000,
  0xfefffffffffffff8, 0x0000000000000000,
  0xff7ffffffffffff7, 0x0000000000000000,
  0xffbffffffffffff6, 0x0000000000000000,
  0xffdffffffffffff5, 0x0000000000000000,
  0xffeffffffffffff4, 0x0000000000000000,
  0xfff7fffffffffff3, 0x0000000000000000,
  0xfffbfffffffffff2, 0x0000000000000000,
  0xfffdfffffffffff1, 0x0000000000000000,
  0xfffefffffffffff0, 0x0000000000000000,
  0xffff7fffffffffef, 0x0000000000000000,
  0xffffbfffffffffee, 0x0000000000000000,
  0xffffdfffffffffed, 0x0000000000000000,
  0xffffefffffffffec, 0x0000000000000000,
  0xfffff7ffffffffeb, 0x0000000000000000,
  0xfffffbffffffffea, 0x0000000000000000,
  0xfffffdffffffffe9, 0x0000000000000000,
  0xfffffeffffffffe8, 0x0000000000000000,
  0xffffff7fffffffe7, 0x0000000000000000,
  0xffffffbfffffffe6, 0x0000000000000000,
  0xffffffdfffffffe5, 0x0000000000000000,
  0xffffffefffffffe4, 0x0000000000000000,
  0xfffffff7ffffffe3, 0x0000000000000000,
  0xfffffffbffffffe2, 0x0000000000000000,
  0xfffffffdffffffe1, 0x0000000000000000,
  0xfffffffeffffffe0, 0x0000000000000000,
  0xffffffff7fffffdf, 0x0000000000000000,
  0xffffffffbfffffde, 0x0000000000000000,
  0xffffffffdfffffdd, 0x0000000000000000,
  0xffffffffefffffdc, 0x0000000000000000,
  0xfffffffff7ffffdb, 0x0000000000000000,
  0xfffffffffbffffda, 0x0000000000000000,
  0xfffffffffdffffd9, 0x0000000000000000,
  0xfffffffffeffffd8, 0x0000000000000000,
  0xffffffffff7fffd7, 0x0000000000000000,
  0xffffffffffbfffd6, 0x0000000000000000,
  0xffffffffffdfffd5, 0x0000000000000000,
  0xffffffffffefffd4, 0x0000000000000000,
  0xfffffffffff7ffd3, 0x0000000000000000,
  0xfffffffffffbffd2, 0x0000000000000000,
  0xfffffffffffdffd1, 0x0000000000000000,
  0xfffffffffffeffd0, 0x0000000000000000,
  0xffffffffffff7fcf, 0x0000000000000000,
  0xffffffffffffbfce, 0x0000000000000000,
  0xffffffffffffdfcd, 0x0000000000000000,
  0xffffffffffffefcc, 0x0000000000000000,
  0xfffffffffffff7cb, 0x0000000000000000,
  0xfffffffffffffbca, 0x0000000000000000,
  0xfffffffffffffdc9, 0x0000000000000000,
  0xfffffffffffffec8, 0x0000000000000000,
  0xffffffffffffff47, 0x0000000000000000,
  0xffffffffffffff86, 0x0000000000000000,
  0xffffffffffffffa5, 0x0000000000000000,
  0xffffffffffffffb4, 0x0000000000000000,
  0xffffffffffffffbb, 0x0000000000000000,
  0xffffffffffffffbe, 0x0000000000000000,
  0xffffffffffffffbf, 0x0000000000000000,
  0xffffffffffffffbf, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000001,
  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, 0x0000000000000020,
  0x0000000000000001, 0x0000000000000030,
  0x0000000000000001, 0x0000000000000038,
  0x0000000000000001, 0x000000000000003c,
  0x0000000000000001, 0x000000000000003e,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000001, 0x000000000000003f,
  0x0000000000000020, 0x000000000000003e,
  0x0000000000000030, 0x000000000000005d,
  0x0000000000000038, 0x000000000000006c,
  0x000000000000003c, 0x0000000000000073,
  0x000000000000003e, 0x0000000000000076,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003f, 0x0000000000000077,
  0x000000000000003e, 0x000000000000003f,
  0x000000000000005d, 0x000000000000005e,
  0x000000000000006c, 0x000000000000006d,
  0x0000000000000073, 0x0000000000000074,
  0x0000000000000076, 0x0000000000000077,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x0000000000000077, 0x0000000000000078,
  0x000000000000003f, 0x000000000000003f,
  0x000000000000005e, 0x000000000000005e,
  0x000000000000006d, 0x000000000000006d,
  0x0000000000000074, 0x0000000000000074,
  0x0000000000000077, 0x0000000000000077,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x0000000000000078, 0x0000000000000078,
  0x000000000000003f, 0x0000000000003ffe,
  0x000000000000005e, 0x0000000000005ffd,
  0x000000000000006d, 0x0000000000006ffc,
  0x0000000000000074, 0x00000000000077fb,
  0x0000000000000077, 0x0000000000007bfa,
  0x0000000000000078, 0x0000000000007df9,
  0x0000000000000078, 0x0000000000007ef8,
  0x0000000000000078, 0x0000000000007f77,
  0x0000000000000078, 0x0000000000007fb6,
  0x0000000000000078, 0x0000000000007fd5,
  0x0000000000000078, 0x0000000000007fe4,
  0x0000000000000078, 0x0000000000007feb,
  0x0000000000000078, 0x0000000000007fee,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000000078, 0x0000000000007fef,
  0x0000000000003ffe, 0x0000000000003fff,
  0x0000000000005ffd, 0x0000000000005ffe,
  0x0000000000006ffc, 0x0000000000006ffd,
  0x00000000000077fb, 0x00000000000077fc,
  0x0000000000007bfa, 0x0000000000007bfb,
  0x0000000000007df9, 0x0000000000007dfa,
  0x0000000000007ef8, 0x0000000000007ef9,
  0x0000000000007f77, 0x0000000000007f78,
  0x0000000000007fb6, 0x0000000000007fb7,
  0x0000000000007fd5, 0x0000000000007fd6,
  0x0000000000007fe4, 0x0000000000007fe5,
  0x0000000000007feb, 0x0000000000007fec,
  0x0000000000007fee, 0x0000000000007fef,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000007fef, 0x0000000000007ff0,
  0x0000000000003fff, 0x0000000000003fff,
  0x0000000000005ffe, 0x0000000000005ffe,
  0x0000000000006ffd, 0x0000000000006ffd,
  0x00000000000077fc, 0x00000000000077fc,
  0x0000000000007bfb, 0x0000000000007bfb,
  0x0000000000007dfa, 0x0000000000007dfa,
  0x0000000000007ef9, 0x0000000000007ef9,
  0x0000000000007f78, 0x0000000000007f78,
  0x0000000000007fb7, 0x0000000000007fb7,
  0x0000000000007fd6, 0x0000000000007fd6,
  0x0000000000007fe5, 0x0000000000007fe5,
  0x0000000000007fec, 0x0000000000007fec,
  0x0000000000007fef, 0x0000000000007fef,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000007ff0, 0x0000000000007ff0,
  0x0000000000003fff, 0x000000003ffffffe,
  0x0000000000005ffe, 0x000000005ffffffd,
  0x0000000000006ffd, 0x000000006ffffffc,
  0x00000000000077fc, 0x0000000077fffffb,
  0x0000000000007bfb, 0x000000007bfffffa,
  0x0000000000007dfa, 0x000000007dfffff9,
  0x0000000000007ef9, 0x000000007efffff8,
  0x0000000000007f78, 0x000000007f7ffff7,
  0x0000000000007fb7, 0x000000007fbffff6,
  0x0000000000007fd6, 0x000000007fdffff5,
  0x0000000000007fe5, 0x000000007feffff4,
  0x0000000000007fec, 0x000000007ff7fff3,
  0x0000000000007fef, 0x000000007ffbfff2,
  0x0000000000007ff0, 0x000000007ffdfff1,
  0x0000000000007ff0, 0x000000007ffefff0,
  0x0000000000007ff0, 0x000000007fff7fef,
  0x0000000000007ff0, 0x000000007fffbfee,
  0x0000000000007ff0, 0x000000007fffdfed,
  0x0000000000007ff0, 0x000000007fffefec,
  0x0000000000007ff0, 0x000000007ffff7eb,
  0x0000000000007ff0, 0x000000007ffffbea,
  0x0000000000007ff0, 0x000000007ffffde9,
  0x0000000000007ff0, 0x000000007ffffee8,
  0x0000000000007ff0, 0x000000007fffff67,
  0x0000000000007ff0, 0x000000007fffffa6,
  0x0000000000007ff0, 0x000000007fffffc5,
  0x0000000000007ff0, 0x000000007fffffd4,
  0x0000000000007ff0, 0x000000007fffffdb,
  0x0000000000007ff0, 0x000000007fffffde,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x0000000000007ff0, 0x000000007fffffdf,
  0x000000003ffffffe, 0x000000003fffffff,
  0x000000005ffffffd, 0x000000005ffffffe,
  0x000000006ffffffc, 0x000000006ffffffd,
  0x0000000077fffffb, 0x0000000077fffffc,
  0x000000007bfffffa, 0x000000007bfffffb,
  0x000000007dfffff9, 0x000000007dfffffa,
  0x000000007efffff8, 0x000000007efffff9,
  0x000000007f7ffff7, 0x000000007f7ffff8,
  0x000000007fbffff6, 0x000000007fbffff7,
  0x000000007fdffff5, 0x000000007fdffff6,
  0x000000007feffff4, 0x000000007feffff5,
  0x000000007ff7fff3, 0x000000007ff7fff4,
  0x000000007ffbfff2, 0x000000007ffbfff3,
  0x000000007ffdfff1, 0x000000007ffdfff2,
  0x000000007ffefff0, 0x000000007ffefff1,
  0x000000007fff7fef, 0x000000007fff7ff0,
  0x000000007fffbfee, 0x000000007fffbfef,
  0x000000007fffdfed, 0x000000007fffdfee,
  0x000000007fffefec, 0x000000007fffefed,
  0x000000007ffff7eb, 0x000000007ffff7ec,
  0x000000007ffffbea, 0x000000007ffffbeb,
  0x000000007ffffde9, 0x000000007ffffdea,
  0x000000007ffffee8, 0x000000007ffffee9,
  0x000000007fffff67, 0x000000007fffff68,
  0x000000007fffffa6, 0x000000007fffffa7,
  0x000000007fffffc5, 0x000000007fffffc6,
  0x000000007fffffd4, 0x000000007fffffd5,
  0x000000007fffffdb, 0x000000007fffffdc,
  0x000000007fffffde, 0x000000007fffffdf,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000007fffffdf, 0x000000007fffffe0,
  0x000000003fffffff, 0x000000003fffffff,
  0x000000005ffffffe, 0x000000005ffffffe,
  0x000000006ffffffd, 0x000000006ffffffd,
  0x0000000077fffffc, 0x0000000077fffffc,
  0x000000007bfffffb, 0x000000007bfffffb,
  0x000000007dfffffa, 0x000000007dfffffa,
  0x000000007efffff9, 0x000000007efffff9,
  0x000000007f7ffff8, 0x000000007f7ffff8,
  0x000000007fbffff7, 0x000000007fbffff7,
  0x000000007fdffff6, 0x000000007fdffff6,
  0x000000007feffff5, 0x000000007feffff5,
  0x000000007ff7fff4, 0x000000007ff7fff4,
  0x000000007ffbfff3, 0x000000007ffbfff3,
  0x000000007ffdfff2, 0x000000007ffdfff2,
  0x000000007ffefff1, 0x000000007ffefff1,
  0x000000007fff7ff0, 0x000000007fff7ff0,
  0x000000007fffbfef, 0x000000007fffbfef,
  0x000000007fffdfee, 0x000000007fffdfee,
  0x000000007fffefed, 0x000000007fffefed,
  0x000000007ffff7ec, 0x000000007ffff7ec,
  0x000000007ffffbeb, 0x000000007ffffbeb,
  0x000000007ffffdea, 0x000000007ffffdea,
  0x000000007ffffee9, 0x000000007ffffee9,
  0x000000007fffff68, 0x000000007fffff68,
  0x000000007fffffa7, 0x000000007fffffa7,
  0x000000007fffffc6, 0x000000007fffffc6,
  0x000000007fffffd5, 0x000000007fffffd5,
  0x000000007fffffdc, 0x000000007fffffdc,
  0x000000007fffffdf, 0x000000007fffffdf,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000007fffffe0, 0x000000007fffffe0,
  0x000000003fffffff, 0x1999999999999999,
  0x000000005ffffffe, 0x2666666666666665,
  0x000000006ffffffd, 0x2ccccccccccccccb,
  0x0000000077fffffc, 0x2ffffffffffffffe,
  0x000000007bfffffb, 0x3199999999999997,
  0x000000007dfffffa, 0x3266666666666663,
  0x000000007efffff9, 0x32ccccccccccccc9,
  0x000000007f7ffff8, 0x32fffffffffffffc,
  0x000000007fbffff7, 0x3319999999999995,
  0x000000007fdffff6, 0x3326666666666661,
  0x000000007feffff5, 0x332cccccccccccc7,
  0x000000007ff7fff4, 0x332ffffffffffffa,
  0x000000007ffbfff3, 0x3331999999999993,
  0x000000007ffdfff2, 0x333266666666665f,
  0x000000007ffefff1, 0x3332ccccccccccc5,
  0x000000007fff7ff0, 0x3332fffffffffff8,
  0x000000007fffbfef, 0x3333199999999991,
  0x000000007fffdfee, 0x333326666666665d,
  0x000000007fffefed, 0x33332cccccccccc3,
  0x000000007ffff7ec, 0x33332ffffffffff6,
  0x000000007ffffbeb, 0x333331999999998f,
  0x000000007ffffdea, 0x333332666666665b,
  0x000000007ffffee9, 0x333332ccccccccc1,
  0x000000007fffff68, 0x333332fffffffff4,
  0x000000007fffffa7, 0x333333199999998d,
  0x000000007fffffc6, 0x3333332666666659,
  0x000000007fffffd5, 0x3333332cccccccbf,
  0x000000007fffffdc, 0x3333332ffffffff2,
  0x000000007fffffdf, 0x333333319999998b,
  0x000000007fffffe0, 0x3333333266666657,
  0x000000007fffffe0, 0x33333332ccccccbd,
  0x000000007fffffe0, 0x33333332fffffff0,
  0x000000007fffffe0, 0x3333333319999989,
  0x000000007fffffe0, 0x3333333326666655,
  0x000000007fffffe0, 0x333333332cccccbb,
  0x000000007fffffe0, 0x333333332fffffee,
  0x000000007fffffe0, 0x3333333331999987,
  0x000000007fffffe0, 0x3333333332666653,
  0x000000007fffffe0, 0x3333333332ccccb9,
  0x000000007fffffe0, 0x3333333332ffffec,
  0x000000007fffffe0, 0x3333333333199985,
  0x000000007fffffe0, 0x3333333333266651,
  0x000000007fffffe0, 0x33333333332cccb7,
  0x000000007fffffe0, 0x33333333332fffea,
  0x000000007fffffe0, 0x3333333333319983,
  0x000000007fffffe0, 0x333333333332664f,
  0x000000007fffffe0, 0x333333333332ccb5,
  0x000000007fffffe0, 0x333333333332ffe8,
  0x000000007fffffe0, 0x3333333333331981,
  0x000000007fffffe0, 0x333333333333264d,
  0x000000007fffffe0, 0x3333333333332cb3,
  0x000000007fffffe0, 0x3333333333332fe6,
  0x000000007fffffe0, 0x333333333333317f,
  0x000000007fffffe0, 0x333333333333324b,
  0x000000007fffffe0, 0x33333333333332b1,
  0x000000007fffffe0, 0x33333333333332e4,
  0x000000007fffffe0, 0x33333333333332fd,
  0x000000007fffffe0, 0x3333333333333309,
  0x000000007fffffe0, 0x333333333333330f,
  0x000000007fffffe0, 0x3333333333333312,
  0x000000007fffffe0, 0x3333333333333313,
  0x000000007fffffe0, 0x3333333333333313,
  0x000000007fffffe0, 0x3333333333333313,
  0x000000007fffffe0, 0x3333333333333313,
  0x1999999999999999, 0x2aaaaaaaaaaaaaaa,
  0x2666666666666665, 0x3fffffffffffffff,
  0x2ccccccccccccccb, 0x4aaaaaaaaaaaaaa9,
  0x2ffffffffffffffe, 0x4ffffffffffffffe,
  0x3199999999999997, 0x52aaaaaaaaaaaaa8,
  0x3266666666666663, 0x53fffffffffffffd,
  0x32ccccccccccccc9, 0x54aaaaaaaaaaaaa7,
  0x32fffffffffffffc, 0x54fffffffffffffc,
  0x3319999999999995, 0x552aaaaaaaaaaaa6,
  0x3326666666666661, 0x553ffffffffffffb,
  0x332cccccccccccc7, 0x554aaaaaaaaaaaa5,
  0x332ffffffffffffa, 0x554ffffffffffffa,
  0x3331999999999993, 0x5552aaaaaaaaaaa4,
  0x333266666666665f, 0x5553fffffffffff9,
  0x3332ccccccccccc5, 0x5554aaaaaaaaaaa3,
  0x3332fffffffffff8, 0x5554fffffffffff8,
  0x3333199999999991, 0x55552aaaaaaaaaa2,
  0x333326666666665d, 0x55553ffffffffff7,
  0x33332cccccccccc3, 0x55554aaaaaaaaaa1,
  0x33332ffffffffff6, 0x55554ffffffffff6,
  0x333331999999998f, 0x555552aaaaaaaaa0,
  0x333332666666665b, 0x555553fffffffff5,
  0x333332ccccccccc1, 0x555554aaaaaaaa9f,
  0x333332fffffffff4, 0x555554fffffffff4,
  0x333333199999998d, 0x5555552aaaaaaa9e,
  0x3333332666666659, 0x5555553ffffffff3,
  0x3333332cccccccbf, 0x5555554aaaaaaa9d,
  0x3333332ffffffff2, 0x5555554ffffffff2,
  0x333333319999998b, 0x55555552aaaaaa9c,
  0x3333333266666657, 0x55555553fffffff1,
  0x33333332ccccccbd, 0x55555554aaaaaa9b,
  0x33333332fffffff0, 0x55555554fffffff0,
  0x3333333319999989, 0x555555552aaaaa9a,
  0x3333333326666655, 0x555555553fffffef,
  0x333333332cccccbb, 0x555555554aaaaa99,
  0x333333332fffffee, 0x555555554fffffee,
  0x3333333331999987, 0x5555555552aaaa98,
  0x3333333332666653, 0x5555555553ffffed,
  0x3333333332ccccb9, 0x5555555554aaaa97,
  0x3333333332ffffec, 0x5555555554ffffec,
  0x3333333333199985, 0x55555555552aaa96,
  0x3333333333266651, 0x55555555553fffeb,
  0x33333333332cccb7, 0x55555555554aaa95,
  0x33333333332fffea, 0x55555555554fffea,
  0x3333333333319983, 0x555555555552aa94,
  0x333333333332664f, 0x555555555553ffe9,
  0x333333333332ccb5, 0x555555555554aa93,
  0x333333333332ffe8, 0x555555555554ffe8,
  0x3333333333331981, 0x5555555555552a92,
  0x333333333333264d, 0x5555555555553fe7,
  0x3333333333332cb3, 0x5555555555554a91,
  0x3333333333332fe6, 0x5555555555554fe6,
  0x333333333333317f, 0x5555555555555290,
  0x333333333333324b, 0x55555555555553e5,
  0x33333333333332b1, 0x555555555555548f,
  0x33333333333332e4, 0x55555555555554e4,
  0x33333333333332fd, 0x555555555555550e,
  0x3333333333333309, 0x5555555555555523,
  0x333333333333330f, 0x555555555555552d,
  0x3333333333333312, 0x5555555555555532,
  0x3333333333333313, 0x5555555555555534,
  0x3333333333333313, 0x5555555555555535,
  0x3333333333333313, 0x5555555555555535,
  0x3333333333333313, 0x5555555555555535,
  0x2aaaaaaaaaaaaaaa, 0x3ffffffffffffffe,
  0x3fffffffffffffff, 0x5ffffffffffffffd,
  0x4aaaaaaaaaaaaaa9, 0x6ffffffffffffffc,
  0x4ffffffffffffffe, 0x77fffffffffffffb,
  0x52aaaaaaaaaaaaa8, 0x7bfffffffffffffa,
  0x53fffffffffffffd, 0x7dfffffffffffff9,
  0x54aaaaaaaaaaaaa7, 0x7efffffffffffff8,
  0x54fffffffffffffc, 0x7f7ffffffffffff7,
  0x552aaaaaaaaaaaa6, 0x7fbffffffffffff6,
  0x553ffffffffffffb, 0x7fdffffffffffff5,
  0x554aaaaaaaaaaaa5, 0x7feffffffffffff4,
  0x554ffffffffffffa, 0x7ff7fffffffffff3,
  0x5552aaaaaaaaaaa4, 0x7ffbfffffffffff2,
  0x5553fffffffffff9, 0x7ffdfffffffffff1,
  0x5554aaaaaaaaaaa3, 0x7ffefffffffffff0,
  0x5554fffffffffff8, 0x7fff7fffffffffef,
  0x55552aaaaaaaaaa2, 0x7fffbfffffffffee,
  0x55553ffffffffff7, 0x7fffdfffffffffed,
  0x55554aaaaaaaaaa1, 0x7fffefffffffffec,
  0x55554ffffffffff6, 0x7ffff7ffffffffeb,
  0x555552aaaaaaaaa0, 0x7ffffbffffffffea,
  0x555553fffffffff5, 0x7ffffdffffffffe9,
  0x555554aaaaaaaa9f, 0x7ffffeffffffffe8,
  0x555554fffffffff4, 0x7fffff7fffffffe7,
  0x5555552aaaaaaa9e, 0x7fffffbfffffffe6,
  0x5555553ffffffff3, 0x7fffffdfffffffe5,
  0x5555554aaaaaaa9d, 0x7fffffefffffffe4,
  0x5555554ffffffff2, 0x7ffffff7ffffffe3,
  0x55555552aaaaaa9c, 0x7ffffffbffffffe2,
  0x55555553fffffff1, 0x7ffffffdffffffe1,
  0x55555554aaaaaa9b, 0x7ffffffeffffffe0,
  0x55555554fffffff0, 0x7fffffff7fffffdf,
  0x555555552aaaaa9a, 0x7fffffffbfffffde,
  0x555555553fffffef, 0x7fffffffdfffffdd,
  0x555555554aaaaa99, 0x7fffffffefffffdc,
  0x555555554fffffee, 0x7ffffffff7ffffdb,
  0x5555555552aaaa98, 0x7ffffffffbffffda,
  0x5555555553ffffed, 0x7ffffffffdffffd9,
  0x5555555554aaaa97, 0x7ffffffffeffffd8,
  0x5555555554ffffec, 0x7fffffffff7fffd7,
  0x55555555552aaa96, 0x7fffffffffbfffd6,
  0x55555555553fffeb, 0x7fffffffffdfffd5,
  0x55555555554aaa95, 0x7fffffffffefffd4,
  0x55555555554fffea, 0x7ffffffffff7ffd3,
  0x555555555552aa94, 0x7ffffffffffbffd2,
  0x555555555553ffe9, 0x7ffffffffffdffd1,
  0x555555555554aa93, 0x7ffffffffffeffd0,
  0x555555555554ffe8, 0x7fffffffffff7fcf,
  0x5555555555552a92, 0x7fffffffffffbfce,
  0x5555555555553fe7, 0x7fffffffffffdfcd,
  0x5555555555554a91, 0x7fffffffffffefcc,
  0x5555555555554fe6, 0x7ffffffffffff7cb,
  0x5555555555555290, 0x7ffffffffffffbca,
  0x55555555555553e5, 0x7ffffffffffffdc9,
  0x555555555555548f, 0x7ffffffffffffec8,
  0x55555555555554e4, 0x7fffffffffffff47,
  0x555555555555550e, 0x7fffffffffffff86,
  0x5555555555555523, 0x7fffffffffffffa5,
  0x555555555555552d, 0x7fffffffffffffb4,
  0x5555555555555532, 0x7fffffffffffffbb,
  0x5555555555555534, 0x7fffffffffffffbe,
  0x5555555555555535, 0x7fffffffffffffbf,
  0x5555555555555535, 0x7fffffffffffffbf,
  0x5555555555555535, 0x7fffffffffffffbf,
  0x3ffffffffffffffe, 0x3fffffffffffffff,
  0x5ffffffffffffffd, 0x5ffffffffffffffe,
  0x6ffffffffffffffc, 0x6ffffffffffffffd,
  0x77fffffffffffffb, 0x77fffffffffffffc,
  0x7bfffffffffffffa, 0x7bfffffffffffffb,
  0x7dfffffffffffff9, 0x7dfffffffffffffa,
  0x7efffffffffffff8, 0x7efffffffffffff9,
  0x7f7ffffffffffff7, 0x7f7ffffffffffff8,
  0x7fbffffffffffff6, 0x7fbffffffffffff7,
  0x7fdffffffffffff5, 0x7fdffffffffffff6,
  0x7feffffffffffff4, 0x7feffffffffffff5,
  0x7ff7fffffffffff3, 0x7ff7fffffffffff4,
  0x7ffbfffffffffff2, 0x7ffbfffffffffff3,
  0x7ffdfffffffffff1, 0x7ffdfffffffffff2,
  0x7ffefffffffffff0, 0x7ffefffffffffff1,
  0x7fff7fffffffffef, 0x7fff7ffffffffff0,
  0x7fffbfffffffffee, 0x7fffbfffffffffef,
  0x7fffdfffffffffed, 0x7fffdfffffffffee,
  0x7fffefffffffffec, 0x7fffefffffffffed,
  0x7ffff7ffffffffeb, 0x7ffff7ffffffffec,
  0x7ffffbffffffffea, 0x7ffffbffffffffeb,
  0x7ffffdffffffffe9, 0x7ffffdffffffffea,
  0x7ffffeffffffffe8, 0x7ffffeffffffffe9,
  0x7fffff7fffffffe7, 0x7fffff7fffffffe8,
  0x7fffffbfffffffe6, 0x7fffffbfffffffe7,
  0x7fffffdfffffffe5, 0x7fffffdfffffffe6,
  0x7fffffefffffffe4, 0x7fffffefffffffe5,
  0x7ffffff7ffffffe3, 0x7ffffff7ffffffe4,
  0x7ffffffbffffffe2, 0x7ffffffbffffffe3,
  0x7ffffffdffffffe1, 0x7ffffffdffffffe2,
  0x7ffffffeffffffe0, 0x7ffffffeffffffe1,
  0x7fffffff7fffffdf, 0x7fffffff7fffffe0,
  0x7fffffffbfffffde, 0x7fffffffbfffffdf,
  0x7fffffffdfffffdd, 0x7fffffffdfffffde,
  0x7fffffffefffffdc, 0x7fffffffefffffdd,
  0x7ffffffff7ffffdb, 0x7ffffffff7ffffdc,
  0x7ffffffffbffffda, 0x7ffffffffbffffdb,
  0x7ffffffffdffffd9, 0x7ffffffffdffffda,
  0x7ffffffffeffffd8, 0x7ffffffffeffffd9,
  0x7fffffffff7fffd7, 0x7fffffffff7fffd8,
  0x7fffffffffbfffd6, 0x7fffffffffbfffd7,
  0x7fffffffffdfffd5, 0x7fffffffffdfffd6,
  0x7fffffffffefffd4, 0x7fffffffffefffd5,
  0x7ffffffffff7ffd3, 0x7ffffffffff7ffd4,
  0x7ffffffffffbffd2, 0x7ffffffffffbffd3,
  0x7ffffffffffdffd1, 0x7ffffffffffdffd2,
  0x7ffffffffffeffd0, 0x7ffffffffffeffd1,
  0x7fffffffffff7fcf, 0x7fffffffffff7fd0,
  0x7fffffffffffbfce, 0x7fffffffffffbfcf,
  0x7fffffffffffdfcd, 0x7fffffffffffdfce,
  0x7fffffffffffefcc, 0x7fffffffffffefcd,
  0x7ffffffffffff7cb, 0x7ffffffffffff7cc,
  0x7ffffffffffffbca, 0x7ffffffffffffbcb,
  0x7ffffffffffffdc9, 0x7ffffffffffffdca,
  0x7ffffffffffffec8, 0x7ffffffffffffec9,
  0x7fffffffffffff47, 0x7fffffffffffff48,
  0x7fffffffffffff86, 0x7fffffffffffff87,
  0x7fffffffffffffa5, 0x7fffffffffffffa6,
  0x7fffffffffffffb4, 0x7fffffffffffffb5,
  0x7fffffffffffffbb, 0x7fffffffffffffbc,
  0x7fffffffffffffbe, 0x7fffffffffffffbf,
  0x7fffffffffffffbf, 0x7fffffffffffffc0,
  0x7fffffffffffffbf, 0x7fffffffffffffc0,
  0x7fffffffffffffbf, 0x7fffffffffffffc0,
  0x3fffffffffffffff, 0x3fffffffffffffff,
  0x5ffffffffffffffe, 0x5ffffffffffffffe,
  0x6ffffffffffffffd, 0x6ffffffffffffffd,
  0x77fffffffffffffc, 0x77fffffffffffffc,
  0x7bfffffffffffffb, 0x7bfffffffffffffb,
  0x7dfffffffffffffa, 0x7dfffffffffffffa,
  0x7efffffffffffff9, 0x7efffffffffffff9,
  0x7f7ffffffffffff8, 0x7f7ffffffffffff8,
  0x7fbffffffffffff7, 0x7fbffffffffffff7,
  0x7fdffffffffffff6, 0x7fdffffffffffff6,
  0x7feffffffffffff5, 0x7feffffffffffff5,
  0x7ff7fffffffffff4, 0x7ff7fffffffffff4,
  0x7ffbfffffffffff3, 0x7ffbfffffffffff3,
  0x7ffdfffffffffff2, 0x7ffdfffffffffff2,
  0x7ffefffffffffff1, 0x7ffefffffffffff1,
  0x7fff7ffffffffff0, 0x7fff7ffffffffff0,
  0x7fffbfffffffffef, 0x7fffbfffffffffef,
  0x7fffdfffffffffee, 0x7fffdfffffffffee,
  0x7fffefffffffffed, 0x7fffefffffffffed,
  0x7ffff7ffffffffec, 0x7ffff7ffffffffec,
  0x7ffffbffffffffeb, 0x7ffffbffffffffeb,
  0x7ffffdffffffffea, 0x7ffffdffffffffea,
  0x7ffffeffffffffe9, 0x7ffffeffffffffe9,
  0x7fffff7fffffffe8, 0x7fffff7fffffffe8,
  0x7fffffbfffffffe7, 0x7fffffbfffffffe7,
  0x7fffffdfffffffe6, 0x7fffffdfffffffe6,
  0x7fffffefffffffe5, 0x7fffffefffffffe5,
  0x7ffffff7ffffffe4, 0x7ffffff7ffffffe4,
  0x7ffffffbffffffe3, 0x7ffffffbffffffe3,
  0x7ffffffdffffffe2, 0x7ffffffdffffffe2,
  0x7ffffffeffffffe1, 0x7ffffffeffffffe1,
  0x7fffffff7fffffe0, 0x7fffffff7fffffe0,
  0x7fffffffbfffffdf, 0x7fffffffbfffffdf,
  0x7fffffffdfffffde, 0x7fffffffdfffffde,
  0x7fffffffefffffdd, 0x7fffffffefffffdd,
  0x7ffffffff7ffffdc, 0x7ffffffff7ffffdc,
  0x7ffffffffbffffdb, 0x7ffffffffbffffdb,
  0x7ffffffffdffffda, 0x7ffffffffdffffda,
  0x7ffffffffeffffd9, 0x7ffffffffeffffd9,
  0x7fffffffff7fffd8, 0x7fffffffff7fffd8,
  0x7fffffffffbfffd7, 0x7fffffffffbfffd7,
  0x7fffffffffdfffd6, 0x7fffffffffdfffd6,
  0x7fffffffffefffd5, 0x7fffffffffefffd5,
  0x7ffffffffff7ffd4, 0x7ffffffffff7ffd4,
  0x7ffffffffffbffd3, 0x7ffffffffffbffd3,
  0x7ffffffffffdffd2, 0x7ffffffffffdffd2,
  0x7ffffffffffeffd1, 0x7ffffffffffeffd1,
  0x7fffffffffff7fd0, 0x7fffffffffff7fd0,
  0x7fffffffffffbfcf, 0x7fffffffffffbfcf,
  0x7fffffffffffdfce, 0x7fffffffffffdfce,
  0x7fffffffffffefcd, 0x7fffffffffffefcd,
  0x7ffffffffffff7cc, 0x7ffffffffffff7cc,
  0x7ffffffffffffbcb, 0x7ffffffffffffbcb,
  0x7ffffffffffffdca, 0x7ffffffffffffdca,
  0x7ffffffffffffec9, 0x7ffffffffffffec9,
  0x7fffffffffffff48, 0x7fffffffffffff48,
  0x7fffffffffffff87, 0x7fffffffffffff87,
  0x7fffffffffffffa6, 0x7fffffffffffffa6,
  0x7fffffffffffffb5, 0x7fffffffffffffb5,
  0x7fffffffffffffbc, 0x7fffffffffffffbc,
  0x7fffffffffffffbf, 0x7fffffffffffffbf,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x3fffffffffffffff, 0x4000000000000000,
  0x5ffffffffffffffe, 0x6000000000000000,
  0x6ffffffffffffffd, 0x7000000000000000,
  0x77fffffffffffffc, 0x7800000000000000,
  0x7bfffffffffffffb, 0x7c00000000000000,
  0x7dfffffffffffffa, 0x7e00000000000000,
  0x7efffffffffffff9, 0x7f00000000000000,
  0x7f7ffffffffffff8, 0x7f80000000000000,
  0x7fbffffffffffff7, 0x7fc0000000000000,
  0x7fdffffffffffff6, 0x7fe0000000000000,
  0x7feffffffffffff5, 0x7ff0000000000000,
  0x7ff7fffffffffff4, 0x7ff8000000000000,
  0x7ffbfffffffffff3, 0x7ffc000000000000,
  0x7ffdfffffffffff2, 0x7ffe000000000000,
  0x7ffefffffffffff1, 0x7fff000000000000,
  0x7fff7ffffffffff0, 0x7fff800000000000,
  0x7fffbfffffffffef, 0x7fffc00000000000,
  0x7fffdfffffffffee, 0x7fffe00000000000,
  0x7fffefffffffffed, 0x7ffff00000000000,
  0x7ffff7ffffffffec, 0x7ffff80000000000,
  0x7ffffbffffffffeb, 0x7ffffc0000000000,
  0x7ffffdffffffffea, 0x7ffffe0000000000,
  0x7ffffeffffffffe9, 0x7fffff0000000000,
  0x7fffff7fffffffe8, 0x7fffff8000000000,
  0x7fffffbfffffffe7, 0x7fffffc000000000,
  0x7fffffdfffffffe6, 0x7fffffe000000000,
  0x7fffffefffffffe5, 0x7ffffff000000000,
  0x7ffffff7ffffffe4, 0x7ffffff800000000,
  0x7ffffffbffffffe3, 0x7ffffffc00000000,
  0x7ffffffdffffffe2, 0x7ffffffe00000000,
  0x7ffffffeffffffe1, 0x7fffffff00000000,
  0x7fffffff7fffffe0, 0x7fffffff80000000,
  0x7fffffffbfffffdf, 0x7fffffffc0000000,
  0x7fffffffdfffffde, 0x7fffffffe0000000,
  0x7fffffffefffffdd, 0x7ffffffff0000000,
  0x7ffffffff7ffffdc, 0x7ffffffff8000000,
  0x7ffffffffbffffdb, 0x7ffffffffc000000,
  0x7ffffffffdffffda, 0x7ffffffffe000000,
  0x7ffffffffeffffd9, 0x7fffffffff000000,
  0x7fffffffff7fffd8, 0x7fffffffff800000,
  0x7fffffffffbfffd7, 0x7fffffffffc00000,
  0x7fffffffffdfffd6, 0x7fffffffffe00000,
  0x7fffffffffefffd5, 0x7ffffffffff00000,
  0x7ffffffffff7ffd4, 0x7ffffffffff80000,
  0x7ffffffffffbffd3, 0x7ffffffffffc0000,
  0x7ffffffffffdffd2, 0x7ffffffffffe0000,
  0x7ffffffffffeffd1, 0x7fffffffffff0000,
  0x7fffffffffff7fd0, 0x7fffffffffff8000,
  0x7fffffffffffbfcf, 0x7fffffffffffc000,
  0x7fffffffffffdfce, 0x7fffffffffffe000,
  0x7fffffffffffefcd, 0x7ffffffffffff000,
  0x7ffffffffffff7cc, 0x7ffffffffffff800,
  0x7ffffffffffffbcb, 0x7ffffffffffffc00,
  0x7ffffffffffffdca, 0x7ffffffffffffe00,
  0x7ffffffffffffec9, 0x7fffffffffffff00,
  0x7fffffffffffff48, 0x7fffffffffffff80,
  0x7fffffffffffff87, 0x7fffffffffffffc0,
  0x7fffffffffffffa6, 0x7fffffffffffffe0,
  0x7fffffffffffffb5, 0x7ffffffffffffff0,
  0x7fffffffffffffbc, 0x7ffffffffffffff8,
  0x7fffffffffffffbf, 0x7ffffffffffffffc,
  0x7fffffffffffffc0, 0x7ffffffffffffffe,
  0x7fffffffffffffc0, 0x7fffffffffffffff,
  0x7fffffffffffffc0, 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, 0x7fffffffffffffff,
  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,
  0x7fffffffffffffff, 0x8000000000000000,
  0x4000000000000001, 0x4000000000000001,
  0x6000000000000001, 0x6000000000000001,
  0x7000000000000001, 0x7000000000000001,
  0x7800000000000001, 0x7800000000000001,
  0x7c00000000000001, 0x7c00000000000001,
  0x7e00000000000001, 0x7e00000000000001,
  0x7f00000000000001, 0x7f00000000000001,
  0x7f80000000000001, 0x7f80000000000001,
  0x7fc0000000000001, 0x7fc0000000000001,
  0x7fe0000000000001, 0x7fe0000000000001,
  0x7ff0000000000001, 0x7ff0000000000001,
  0x7ff8000000000001, 0x7ff8000000000001,
  0x7ffc000000000001, 0x7ffc000000000001,
  0x7ffe000000000001, 0x7ffe000000000001,
  0x7fff000000000001, 0x7fff000000000001,
  0x7fff800000000001, 0x7fff800000000001,
  0x7fffc00000000001, 0x7fffc00000000001,
  0x7fffe00000000001, 0x7fffe00000000001,
  0x7ffff00000000001, 0x7ffff00000000001,
  0x7ffff80000000001, 0x7ffff80000000001,
  0x7ffffc0000000001, 0x7ffffc0000000001,
  0x7ffffe0000000001, 0x7ffffe0000000001,
  0x7fffff0000000001, 0x7fffff0000000001,
  0x7fffff8000000001, 0x7fffff8000000001,
  0x7fffffc000000001, 0x7fffffc000000001,
  0x7fffffe000000001, 0x7fffffe000000001,
  0x7ffffff000000001, 0x7ffffff000000001,
  0x7ffffff800000001, 0x7ffffff800000001,
  0x7ffffffc00000001, 0x7ffffffc00000001,
  0x7ffffffe00000001, 0x7ffffffe00000001,
  0x7fffffff00000001, 0x7fffffff00000001,
  0x7fffffff80000001, 0x7fffffff80000001,
  0x7fffffffc0000001, 0x7fffffffc0000001,
  0x7fffffffe0000001, 0x7fffffffe0000001,
  0x7ffffffff0000001, 0x7ffffffff0000001,
  0x7ffffffff8000001, 0x7ffffffff8000001,
  0x7ffffffffc000001, 0x7ffffffffc000001,
  0x7ffffffffe000001, 0x7ffffffffe000001,
  0x7fffffffff000001, 0x7fffffffff000001,
  0x7fffffffff800001, 0x7fffffffff800001,
  0x7fffffffffc00001, 0x7fffffffffc00001,
  0x7fffffffffe00001, 0x7fffffffffe00001,
  0x7ffffffffff00001, 0x7ffffffffff00001,
  0x7ffffffffff80001, 0x7ffffffffff80001,
  0x7ffffffffffc0001, 0x7ffffffffffc0001,
  0x7ffffffffffe0001, 0x7ffffffffffe0001,
  0x7fffffffffff0001, 0x7fffffffffff0001,
  0x7fffffffffff8001, 0x7fffffffffff8001,
  0x7fffffffffffc001, 0x7fffffffffffc001,
  0x7fffffffffffe001, 0x7fffffffffffe001,
  0x7ffffffffffff001, 0x7ffffffffffff001,
  0x7ffffffffffff801, 0x7ffffffffffff801,
  0x7ffffffffffffc01, 0x7ffffffffffffc01,
  0x7ffffffffffffe01, 0x7ffffffffffffe01,
  0x7fffffffffffff01, 0x7fffffffffffff01,
  0x7fffffffffffff81, 0x7fffffffffffff81,
  0x7fffffffffffffc1, 0x7fffffffffffffc1,
  0x7fffffffffffffe1, 0x7fffffffffffffe1,
  0x7ffffffffffffff1, 0x7ffffffffffffff1,
  0x7ffffffffffffff9, 0x7ffffffffffffff9,
  0x7ffffffffffffffd, 0x7ffffffffffffffd,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x8000000000000000, 0x8000000000000000,
  0x8000000000000000, 0x8000000000000000,
  0x4000000000000001, 0x5555555555555555,
  0x6000000000000001, 0x7fffffffffffffff,
  0x7000000000000001, 0x9555555555555554,
  0x7800000000000001, 0x9ffffffffffffffe,
  0x7c00000000000001, 0xa555555555555553,
  0x7e00000000000001, 0xa7fffffffffffffd,
  0x7f00000000000001, 0xa955555555555552,
  0x7f80000000000001, 0xa9fffffffffffffc,
  0x7fc0000000000001, 0xaa55555555555551,
  0x7fe0000000000001, 0xaa7ffffffffffffb,
  0x7ff0000000000001, 0xaa95555555555550,
  0x7ff8000000000001, 0xaa9ffffffffffffa,
  0x7ffc000000000001, 0xaaa555555555554f,
  0x7ffe000000000001, 0xaaa7fffffffffff9,
  0x7fff000000000001, 0xaaa955555555554e,
  0x7fff800000000001, 0xaaa9fffffffffff8,
  0x7fffc00000000001, 0xaaaa55555555554d,
  0x7fffe00000000001, 0xaaaa7ffffffffff7,
  0x7ffff00000000001, 0xaaaa95555555554c,
  0x7ffff80000000001, 0xaaaa9ffffffffff6,
  0x7ffffc0000000001, 0xaaaaa5555555554b,
  0x7ffffe0000000001, 0xaaaaa7fffffffff5,
  0x7fffff0000000001, 0xaaaaa9555555554a,
  0x7fffff8000000001, 0xaaaaa9fffffffff4,
  0x7fffffc000000001, 0xaaaaaa5555555549,
  0x7fffffe000000001, 0xaaaaaa7ffffffff3,
  0x7ffffff000000001, 0xaaaaaa9555555548,
  0x7ffffff800000001, 0xaaaaaa9ffffffff2,
  0x7ffffffc00000001, 0xaaaaaaa555555547,
  0x7ffffffe00000001, 0xaaaaaaa7fffffff1,
  0x7fffffff00000001, 0xaaaaaaa955555546,
  0x7fffffff80000001, 0xaaaaaaa9fffffff0,
  0x7fffffffc0000001, 0xaaaaaaaa55555545,
  0x7fffffffe0000001, 0xaaaaaaaa7fffffef,
  0x7ffffffff0000001, 0xaaaaaaaa95555544,
  0x7ffffffff8000001, 0xaaaaaaaa9fffffee,
  0x7ffffffffc000001, 0xaaaaaaaaa5555543,
  0x7ffffffffe000001, 0xaaaaaaaaa7ffffed,
  0x7fffffffff000001, 0xaaaaaaaaa9555542,
  0x7fffffffff800001, 0xaaaaaaaaa9ffffec,
  0x7fffffffffc00001, 0xaaaaaaaaaa555541,
  0x7fffffffffe00001, 0xaaaaaaaaaa7fffeb,
  0x7ffffffffff00001, 0xaaaaaaaaaa955540,
  0x7ffffffffff80001, 0xaaaaaaaaaa9fffea,
  0x7ffffffffffc0001, 0xaaaaaaaaaaa5553f,
  0x7ffffffffffe0001, 0xaaaaaaaaaaa7ffe9,
  0x7fffffffffff0001, 0xaaaaaaaaaaa9553e,
  0x7fffffffffff8001, 0xaaaaaaaaaaa9ffe8,
  0x7fffffffffffc001, 0xaaaaaaaaaaaa553d,
  0x7fffffffffffe001, 0xaaaaaaaaaaaa7fe7,
  0x7ffffffffffff001, 0xaaaaaaaaaaaa953c,
  0x7ffffffffffff801, 0xaaaaaaaaaaaa9fe6,
  0x7ffffffffffffc01, 0xaaaaaaaaaaaaa53b,
  0x7ffffffffffffe01, 0xaaaaaaaaaaaaa7e5,
  0x7fffffffffffff01, 0xaaaaaaaaaaaaa93a,
  0x7fffffffffffff81, 0xaaaaaaaaaaaaa9e4,
  0x7fffffffffffffc1, 0xaaaaaaaaaaaaaa39,
  0x7fffffffffffffe1, 0xaaaaaaaaaaaaaa63,
  0x7ffffffffffffff1, 0xaaaaaaaaaaaaaa78,
  0x7ffffffffffffff9, 0xaaaaaaaaaaaaaa82,
  0x7ffffffffffffffd, 0xaaaaaaaaaaaaaa87,
  0x7fffffffffffffff, 0xaaaaaaaaaaaaaa89,
  0x8000000000000000, 0xaaaaaaaaaaaaaa8a,
  0x8000000000000000, 0xaaaaaaaaaaaaaa8a,
  0x5555555555555555, 0x6666666666666666,
  0x7fffffffffffffff, 0x9999999999999999,
  0x9555555555555554, 0xb333333333333332,
  0x9ffffffffffffffe, 0xbffffffffffffffe,
  0xa555555555555553, 0xc666666666666664,
  0xa7fffffffffffffd, 0xc999999999999997,
  0xa955555555555552, 0xcb33333333333330,
  0xa9fffffffffffffc, 0xcbfffffffffffffc,
  0xaa55555555555551, 0xcc66666666666662,
  0xaa7ffffffffffffb, 0xcc99999999999995,
  0xaa95555555555550, 0xccb333333333332e,
  0xaa9ffffffffffffa, 0xccbffffffffffffa,
  0xaaa555555555554f, 0xccc6666666666660,
  0xaaa7fffffffffff9, 0xccc9999999999993,
  0xaaa955555555554e, 0xcccb33333333332c,
  0xaaa9fffffffffff8, 0xcccbfffffffffff8,
  0xaaaa55555555554d, 0xcccc66666666665e,
  0xaaaa7ffffffffff7, 0xcccc999999999991,
  0xaaaa95555555554c, 0xccccb3333333332a,
  0xaaaa9ffffffffff6, 0xccccbffffffffff6,
  0xaaaaa5555555554b, 0xccccc6666666665c,
  0xaaaaa7fffffffff5, 0xccccc9999999998f,
  0xaaaaa9555555554a, 0xcccccb3333333328,
  0xaaaaa9fffffffff4, 0xcccccbfffffffff4,
  0xaaaaaa5555555549, 0xcccccc666666665a,
  0xaaaaaa7ffffffff3, 0xcccccc999999998d,
  0xaaaaaa9555555548, 0xccccccb333333326,
  0xaaaaaa9ffffffff2, 0xccccccbffffffff2,
  0xaaaaaaa555555547, 0xccccccc666666658,
  0xaaaaaaa7fffffff1, 0xccccccc99999998b,
  0xaaaaaaa955555546, 0xcccccccb33333324,
  0xaaaaaaa9fffffff0, 0xcccccccbfffffff0,
  0xaaaaaaaa55555545, 0xcccccccc66666656,
  0xaaaaaaaa7fffffef, 0xcccccccc99999989,
  0xaaaaaaaa95555544, 0xccccccccb3333322,
  0xaaaaaaaa9fffffee, 0xccccccccbfffffee,
  0xaaaaaaaaa5555543, 0xccccccccc6666654,
  0xaaaaaaaaa7ffffed, 0xccccccccc9999987,
  0xaaaaaaaaa9555542, 0xcccccccccb333320,
  0xaaaaaaaaa9ffffec, 0xcccccccccbffffec,
  0xaaaaaaaaaa555541, 0xcccccccccc666652,
  0xaaaaaaaaaa7fffeb, 0xcccccccccc999985,
  0xaaaaaaaaaa955540, 0xccccccccccb3331e,
  0xaaaaaaaaaa9fffea, 0xccccccccccbfffea,
  0xaaaaaaaaaaa5553f, 0xccccccccccc66650,
  0xaaaaaaaaaaa7ffe9, 0xccccccccccc99983,
  0xaaaaaaaaaaa9553e, 0xcccccccccccb331c,
  0xaaaaaaaaaaa9ffe8, 0xcccccccccccbffe8,
  0xaaaaaaaaaaaa553d, 0xcccccccccccc664e,
  0xaaaaaaaaaaaa7fe7, 0xcccccccccccc9981,
  0xaaaaaaaaaaaa953c, 0xccccccccccccb31a,
  0xaaaaaaaaaaaa9fe6, 0xccccccccccccbfe6,
  0xaaaaaaaaaaaaa53b, 0xccccccccccccc64c,
  0xaaaaaaaaaaaaa7e5, 0xccccccccccccc97f,
  0xaaaaaaaaaaaaa93a, 0xcccccccccccccb18,
  0xaaaaaaaaaaaaa9e4, 0xcccccccccccccbe4,
  0xaaaaaaaaaaaaaa39, 0xcccccccccccccc4a,
  0xaaaaaaaaaaaaaa63, 0xcccccccccccccc7d,
  0xaaaaaaaaaaaaaa78, 0xcccccccccccccc96,
  0xaaaaaaaaaaaaaa82, 0xcccccccccccccca2,
  0xaaaaaaaaaaaaaa87, 0xcccccccccccccca8,
  0xaaaaaaaaaaaaaa89, 0xccccccccccccccab,
  0xaaaaaaaaaaaaaa8a, 0xccccccccccccccac,
  0xaaaaaaaaaaaaaa8a, 0xccccccccccccccac,
  0x6666666666666666, 0x7fffffffc0000000,
  0x9999999999999999, 0xbfffffffa0000000,
  0xb333333333333332, 0xdfffffff90000000,
  0xbffffffffffffffe, 0xefffffff88000000,
  0xc666666666666664, 0xf7ffffff84000000,
  0xc999999999999997, 0xfbffffff82000000,
  0xcb33333333333330, 0xfdffffff81000000,
  0xcbfffffffffffffc, 0xfeffffff80800000,
  0xcc66666666666662, 0xff7fffff80400000,
  0xcc99999999999995, 0xffbfffff80200000,
  0xccb333333333332e, 0xffdfffff80100000,
  0xccbffffffffffffa, 0xffefffff80080000,
  0xccc6666666666660, 0xfff7ffff80040000,
  0xccc9999999999993, 0xfffbffff80020000,
  0xcccb33333333332c, 0xfffdffff80010000,
  0xcccbfffffffffff8, 0xfffeffff80008000,
  0xcccc66666666665e, 0xffff7fff80004000,
  0xcccc999999999991, 0xffffbfff80002000,
  0xccccb3333333332a, 0xffffdfff80001000,
  0xccccbffffffffff6, 0xffffefff80000800,
  0xccccc6666666665c, 0xfffff7ff80000400,
  0xccccc9999999998f, 0xfffffbff80000200,
  0xcccccb3333333328, 0xfffffdff80000100,
  0xcccccbfffffffff4, 0xfffffeff80000080,
  0xcccccc666666665a, 0xffffff7f80000040,
  0xcccccc999999998d, 0xffffffbf80000020,
  0xccccccb333333326, 0xffffffdf80000010,
  0xccccccbffffffff2, 0xffffffef80000008,
  0xccccccc666666658, 0xfffffff780000004,
  0xccccccc99999998b, 0xfffffffb80000002,
  0xcccccccb33333324, 0xfffffffd80000001,
  0xcccccccbfffffff0, 0xfffffffe80000000,
  0xcccccccc66666656, 0xfffffffeffffffff,
  0xcccccccc99999989, 0xffffffff3ffffffe,
  0xccccccccb3333322, 0xffffffff5ffffffd,
  0xccccccccbfffffee, 0xffffffff6ffffffc,
  0xccccccccc6666654, 0xffffffff77fffffb,
  0xccccccccc9999987, 0xffffffff7bfffffa,
  0xcccccccccb333320, 0xffffffff7dfffff9,
  0xcccccccccbffffec, 0xffffffff7efffff8,
  0xcccccccccc666652, 0xffffffff7f7ffff7,
  0xcccccccccc999985, 0xffffffff7fbffff6,
  0xccccccccccb3331e, 0xffffffff7fdffff5,
  0xccccccccccbfffea, 0xffffffff7feffff4,
  0xccccccccccc66650, 0xffffffff7ff7fff3,
  0xccccccccccc99983, 0xffffffff7ffbfff2,
  0xcccccccccccb331c, 0xffffffff7ffdfff1,
  0xcccccccccccbffe8, 0xffffffff7ffefff0,
  0xcccccccccccc664e, 0xffffffff7fff7fef,
  0xcccccccccccc9981, 0xffffffff7fffbfee,
  0xccccccccccccb31a, 0xffffffff7fffdfed,
  0xccccccccccccbfe6, 0xffffffff7fffefec,
  0xccccccccccccc64c, 0xffffffff7ffff7eb,
  0xccccccccccccc97f, 0xffffffff7ffffbea,
  0xcccccccccccccb18, 0xffffffff7ffffde9,
  0xcccccccccccccbe4, 0xffffffff7ffffee8,
  0xcccccccccccccc4a, 0xffffffff7fffff67,
  0xcccccccccccccc7d, 0xffffffff7fffffa6,
  0xcccccccccccccc96, 0xffffffff7fffffc5,
  0xcccccccccccccca2, 0xffffffff7fffffd4,
  0xcccccccccccccca8, 0xffffffff7fffffdb,
  0xccccccccccccccab, 0xffffffff7fffffde,
  0xccccccccccccccac, 0xffffffff7fffffdf,
  0xccccccccccccccac, 0xffffffff7fffffdf,
  0x7fffffffc0000000, 0x7fffffffc0000000,
  0xbfffffffa0000000, 0xbfffffffa0000000,
  0xdfffffff90000000, 0xdfffffff90000000,
  0xefffffff88000000, 0xefffffff88000000,
  0xf7ffffff84000000, 0xf7ffffff84000000,
  0xfbffffff82000000, 0xfbffffff82000000,
  0xfdffffff81000000, 0xfdffffff81000000,
  0xfeffffff80800000, 0xfeffffff80800000,
  0xff7fffff80400000, 0xff7fffff80400000,
  0xffbfffff80200000, 0xffbfffff80200000,
  0xffdfffff80100000, 0xffdfffff80100000,
  0xffefffff80080000, 0xffefffff80080000,
  0xfff7ffff80040000, 0xfff7ffff80040000,
  0xfffbffff80020000, 0xfffbffff80020000,
  0xfffdffff80010000, 0xfffdffff80010000,
  0xfffeffff80008000, 0xfffeffff80008000,
  0xffff7fff80004000, 0xffff7fff80004000,
  0xffffbfff80002000, 0xffffbfff80002000,
  0xffffdfff80001000, 0xffffdfff80001000,
  0xffffefff80000800, 0xffffefff80000800,
  0xfffff7ff80000400, 0xfffff7ff80000400,
  0xfffffbff80000200, 0xfffffbff80000200,
  0xfffffdff80000100, 0xfffffdff80000100,
  0xfffffeff80000080, 0xfffffeff80000080,
  0xffffff7f80000040, 0xffffff7f80000040,
  0xffffffbf80000020, 0xffffffbf80000020,
  0xffffffdf80000010, 0xffffffdf80000010,
  0xffffffef80000008, 0xffffffef80000008,
  0xfffffff780000004, 0xfffffff780000004,
  0xfffffffb80000002, 0xfffffffb80000002,
  0xfffffffd80000001, 0xfffffffd80000001,
  0xfffffffe80000000, 0xfffffffe80000000,
  0xfffffffeffffffff, 0xfffffffeffffffff,
  0xffffffff3ffffffe, 0xffffffff3ffffffe,
  0xffffffff5ffffffd, 0xffffffff5ffffffd,
  0xffffffff6ffffffc, 0xffffffff6ffffffc,
  0xffffffff77fffffb, 0xffffffff77fffffb,
  0xffffffff7bfffffa, 0xffffffff7bfffffa,
  0xffffffff7dfffff9, 0xffffffff7dfffff9,
  0xffffffff7efffff8, 0xffffffff7efffff8,
  0xffffffff7f7ffff7, 0xffffffff7f7ffff7,
  0xffffffff7fbffff6, 0xffffffff7fbffff6,
  0xffffffff7fdffff5, 0xffffffff7fdffff5,
  0xffffffff7feffff4, 0xffffffff7feffff4,
  0xffffffff7ff7fff3, 0xffffffff7ff7fff3,
  0xffffffff7ffbfff2, 0xffffffff7ffbfff2,
  0xffffffff7ffdfff1, 0xffffffff7ffdfff1,
  0xffffffff7ffefff0, 0xffffffff7ffefff0,
  0xffffffff7fff7fef, 0xffffffff7fff7fef,
  0xffffffff7fffbfee, 0xffffffff7fffbfee,
  0xffffffff7fffdfed, 0xffffffff7fffdfed,
  0xffffffff7fffefec, 0xffffffff7fffefec,
  0xffffffff7ffff7eb, 0xffffffff7ffff7eb,
  0xffffffff7ffffbea, 0xffffffff7ffffbea,
  0xffffffff7ffffde9, 0xffffffff7ffffde9,
  0xffffffff7ffffee8, 0xffffffff7ffffee8,
  0xffffffff7fffff67, 0xffffffff7fffff67,
  0xffffffff7fffffa6, 0xffffffff7fffffa6,
  0xffffffff7fffffc5, 0xffffffff7fffffc5,
  0xffffffff7fffffd4, 0xffffffff7fffffd4,
  0xffffffff7fffffdb, 0xffffffff7fffffdb,
  0xffffffff7fffffde, 0xffffffff7fffffde,
  0xffffffff7fffffdf, 0xffffffff7fffffdf,
  0xffffffff7fffffdf, 0xffffffff7fffffdf,
  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,
  0xfffffffe80000000, 0xfffffffe80000001,
  0xfffffffeffffffff, 0xffffffff00000000,
  0xffffffff3ffffffe, 0xffffffff3fffffff,
  0xffffffff5ffffffd, 0xffffffff5ffffffe,
  0xffffffff6ffffffc, 0xffffffff6ffffffd,
  0xffffffff77fffffb, 0xffffffff77fffffc,
  0xffffffff7bfffffa, 0xffffffff7bfffffb,
  0xffffffff7dfffff9, 0xffffffff7dfffffa,
  0xffffffff7efffff8, 0xffffffff7efffff9,
  0xffffffff7f7ffff7, 0xffffffff7f7ffff8,
  0xffffffff7fbffff6, 0xffffffff7fbffff7,
  0xffffffff7fdffff5, 0xffffffff7fdffff6,
  0xffffffff7feffff4, 0xffffffff7feffff5,
  0xffffffff7ff7fff3, 0xffffffff7ff7fff4,
  0xffffffff7ffbfff2, 0xffffffff7ffbfff3,
  0xffffffff7ffdfff1, 0xffffffff7ffdfff2,
  0xffffffff7ffefff0, 0xffffffff7ffefff1,
  0xffffffff7fff7fef, 0xffffffff7fff7ff0,
  0xffffffff7fffbfee, 0xffffffff7fffbfef,
  0xffffffff7fffdfed, 0xffffffff7fffdfee,
  0xffffffff7fffefec, 0xffffffff7fffefed,
  0xffffffff7ffff7eb, 0xffffffff7ffff7ec,
  0xffffffff7ffffbea, 0xffffffff7ffffbeb,
  0xffffffff7ffffde9, 0xffffffff7ffffdea,
  0xffffffff7ffffee8, 0xffffffff7ffffee9,
  0xffffffff7fffff67, 0xffffffff7fffff68,
  0xffffffff7fffffa6, 0xffffffff7fffffa7,
  0xffffffff7fffffc5, 0xffffffff7fffffc6,
  0xffffffff7fffffd4, 0xffffffff7fffffd5,
  0xffffffff7fffffdb, 0xffffffff7fffffdc,
  0xffffffff7fffffde, 0xffffffff7fffffdf,
  0xffffffff7fffffdf, 0xffffffff7fffffe0,
  0xffffffff7fffffdf, 0xffffffff7fffffe0,
  0x7fffffffc0000001, 0x7fffffffc0000001,
  0xbfffffffa0000001, 0xbfffffffa0000001,
  0xdfffffff90000001, 0xdfffffff90000001,
  0xefffffff88000001, 0xefffffff88000001,
  0xf7ffffff84000001, 0xf7ffffff84000001,
  0xfbffffff82000001, 0xfbffffff82000001,
  0xfdffffff81000001, 0xfdffffff81000001,
  0xfeffffff80800001, 0xfeffffff80800001,
  0xff7fffff80400001, 0xff7fffff80400001,
  0xffbfffff80200001, 0xffbfffff80200001,
  0xffdfffff80100001, 0xffdfffff80100001,
  0xffefffff80080001, 0xffefffff80080001,
  0xfff7ffff80040001, 0xfff7ffff80040001,
  0xfffbffff80020001, 0xfffbffff80020001,
  0xfffdffff80010001, 0xfffdffff80010001,
  0xfffeffff80008001, 0xfffeffff80008001,
  0xffff7fff80004001, 0xffff7fff80004001,
  0xffffbfff80002001, 0xffffbfff80002001,
  0xffffdfff80001001, 0xffffdfff80001001,
  0xffffefff80000801, 0xffffefff80000801,
  0xfffff7ff80000401, 0xfffff7ff80000401,
  0xfffffbff80000201, 0xfffffbff80000201,
  0xfffffdff80000101, 0xfffffdff80000101,
  0xfffffeff80000081, 0xfffffeff80000081,
  0xffffff7f80000041, 0xffffff7f80000041,
  0xffffffbf80000021, 0xffffffbf80000021,
  0xffffffdf80000011, 0xffffffdf80000011,
  0xffffffef80000009, 0xffffffef80000009,
  0xfffffff780000005, 0xfffffff780000005,
  0xfffffffb80000003, 0xfffffffb80000003,
  0xfffffffd80000002, 0xfffffffd80000002,
  0xfffffffe80000001, 0xfffffffe80000001,
  0xffffffff00000000, 0xffffffff00000000,
  0xffffffff3fffffff, 0xffffffff3fffffff,
  0xffffffff5ffffffe, 0xffffffff5ffffffe,
  0xffffffff6ffffffd, 0xffffffff6ffffffd,
  0xffffffff77fffffc, 0xffffffff77fffffc,
  0xffffffff7bfffffb, 0xffffffff7bfffffb,
  0xffffffff7dfffffa, 0xffffffff7dfffffa,
  0xffffffff7efffff9, 0xffffffff7efffff9,
  0xffffffff7f7ffff8, 0xffffffff7f7ffff8,
  0xffffffff7fbffff7, 0xffffffff7fbffff7,
  0xffffffff7fdffff6, 0xffffffff7fdffff6,
  0xffffffff7feffff5, 0xffffffff7feffff5,
  0xffffffff7ff7fff4, 0xffffffff7ff7fff4,
  0xffffffff7ffbfff3, 0xffffffff7ffbfff3,
  0xffffffff7ffdfff2, 0xffffffff7ffdfff2,
  0xffffffff7ffefff1, 0xffffffff7ffefff1,
  0xffffffff7fff7ff0, 0xffffffff7fff7ff0,
  0xffffffff7fffbfef, 0xffffffff7fffbfef,
  0xffffffff7fffdfee, 0xffffffff7fffdfee,
  0xffffffff7fffefed, 0xffffffff7fffefed,
  0xffffffff7ffff7ec, 0xffffffff7ffff7ec,
  0xffffffff7ffffbeb, 0xffffffff7ffffbeb,
  0xffffffff7ffffdea, 0xffffffff7ffffdea,
  0xffffffff7ffffee9, 0xffffffff7ffffee9,
  0xffffffff7fffff68, 0xffffffff7fffff68,
  0xffffffff7fffffa7, 0xffffffff7fffffa7,
  0xffffffff7fffffc6, 0xffffffff7fffffc6,
  0xffffffff7fffffd5, 0xffffffff7fffffd5,
  0xffffffff7fffffdc, 0xffffffff7fffffdc,
  0xffffffff7fffffdf, 0xffffffff7fffffdf,
  0xffffffff7fffffe0, 0xffffffff7fffffe0,
  0xffffffff7fffffe0, 0xffffffff7fffffe0,
  0x7fffffffc0000001, 0x7fffffffffffc000,
  0xbfffffffa0000001, 0xbfffffffffffa000,
  0xdfffffff90000001, 0xdfffffffffff9000,
  0xefffffff88000001, 0xefffffffffff8800,
  0xf7ffffff84000001, 0xf7ffffffffff8400,
  0xfbffffff82000001, 0xfbffffffffff8200,
  0xfdffffff81000001, 0xfdffffffffff8100,
  0xfeffffff80800001, 0xfeffffffffff8080,
  0xff7fffff80400001, 0xff7fffffffff8040,
  0xffbfffff80200001, 0xffbfffffffff8020,
  0xffdfffff80100001, 0xffdfffffffff8010,
  0xffefffff80080001, 0xffefffffffff8008,
  0xfff7ffff80040001, 0xfff7ffffffff8004,
  0xfffbffff80020001, 0xfffbffffffff8002,
  0xfffdffff80010001, 0xfffdffffffff8001,
  0xfffeffff80008001, 0xfffeffffffff8000,
  0xffff7fff80004001, 0xffff7fffffff7fff,
  0xffffbfff80002001, 0xffffbfffffff7ffe,
  0xffffdfff80001001, 0xffffdfffffff7ffd,
  0xffffefff80000801, 0xffffefffffff7ffc,
  0xfffff7ff80000401, 0xfffff7ffffff7ffb,
  0xfffffbff80000201, 0xfffffbffffff7ffa,
  0xfffffdff80000101, 0xfffffdffffff7ff9,
  0xfffffeff80000081, 0xfffffeffffff7ff8,
  0xffffff7f80000041, 0xffffff7fffff7ff7,
  0xffffffbf80000021, 0xffffffbfffff7ff6,
  0xffffffdf80000011, 0xffffffdfffff7ff5,
  0xffffffef80000009, 0xffffffefffff7ff4,
  0xfffffff780000005, 0xfffffff7ffff7ff3,
  0xfffffffb80000003, 0xfffffffbffff7ff2,
  0xfffffffd80000002, 0xfffffffdffff7ff1,
  0xfffffffe80000001, 0xfffffffeffff7ff0,
  0xffffffff00000000, 0xffffffff7fff7fef,
  0xffffffff3fffffff, 0xffffffffbfff7fee,
  0xffffffff5ffffffe, 0xffffffffdfff7fed,
  0xffffffff6ffffffd, 0xffffffffefff7fec,
  0xffffffff77fffffc, 0xfffffffff7ff7feb,
  0xffffffff7bfffffb, 0xfffffffffbff7fea,
  0xffffffff7dfffffa, 0xfffffffffdff7fe9,
  0xffffffff7efffff9, 0xfffffffffeff7fe8,
  0xffffffff7f7ffff8, 0xffffffffff7f7fe7,
  0xffffffff7fbffff7, 0xffffffffffbf7fe6,
  0xffffffff7fdffff6, 0xffffffffffdf7fe5,
  0xffffffff7feffff5, 0xffffffffffef7fe4,
  0xffffffff7ff7fff4, 0xfffffffffff77fe3,
  0xffffffff7ffbfff3, 0xfffffffffffb7fe2,
  0xffffffff7ffdfff2, 0xfffffffffffd7fe1,
  0xffffffff7ffefff1, 0xfffffffffffe7fe0,
  0xffffffff7fff7ff0, 0xfffffffffffeffdf,
  0xffffffff7fffbfef, 0xffffffffffff3fde,
  0xffffffff7fffdfee, 0xffffffffffff5fdd,
  0xffffffff7fffefed, 0xffffffffffff6fdc,
  0xffffffff7ffff7ec, 0xffffffffffff77db,
  0xffffffff7ffffbeb, 0xffffffffffff7bda,
  0xffffffff7ffffdea, 0xffffffffffff7dd9,
  0xffffffff7ffffee9, 0xffffffffffff7ed8,
  0xffffffff7fffff68, 0xffffffffffff7f57,
  0xffffffff7fffffa7, 0xffffffffffff7f96,
  0xffffffff7fffffc6, 0xffffffffffff7fb5,
  0xffffffff7fffffd5, 0xffffffffffff7fc4,
  0xffffffff7fffffdc, 0xffffffffffff7fcb,
  0xffffffff7fffffdf, 0xffffffffffff7fce,
  0xffffffff7fffffe0, 0xffffffffffff7fcf,
  0xffffffff7fffffe0, 0xffffffffffff7fcf,
  0x7fffffffffffc000, 0x7fffffffffffc000,
  0xbfffffffffffa000, 0xbfffffffffffa000,
  0xdfffffffffff9000, 0xdfffffffffff9000,
  0xefffffffffff8800, 0xefffffffffff8800,
  0xf7ffffffffff8400, 0xf7ffffffffff8400,
  0xfbffffffffff8200, 0xfbffffffffff8200,
  0xfdffffffffff8100, 0xfdffffffffff8100,
  0xfeffffffffff8080, 0xfeffffffffff8080,
  0xff7fffffffff8040, 0xff7fffffffff8040,
  0xffbfffffffff8020, 0xffbfffffffff8020,
  0xffdfffffffff8010, 0xffdfffffffff8010,
  0xffefffffffff8008, 0xffefffffffff8008,
  0xfff7ffffffff8004, 0xfff7ffffffff8004,
  0xfffbffffffff8002, 0xfffbffffffff8002,
  0xfffdffffffff8001, 0xfffdffffffff8001,
  0xfffeffffffff8000, 0xfffeffffffff8000,
  0xffff7fffffff7fff, 0xffff7fffffff7fff,
  0xffffbfffffff7ffe, 0xffffbfffffff7ffe,
  0xffffdfffffff7ffd, 0xffffdfffffff7ffd,
  0xffffefffffff7ffc, 0xffffefffffff7ffc,
  0xfffff7ffffff7ffb, 0xfffff7ffffff7ffb,
  0xfffffbffffff7ffa, 0xfffffbffffff7ffa,
  0xfffffdffffff7ff9, 0xfffffdffffff7ff9,
  0xfffffeffffff7ff8, 0xfffffeffffff7ff8,
  0xffffff7fffff7ff7, 0xffffff7fffff7ff7,
  0xffffffbfffff7ff6, 0xffffffbfffff7ff6,
  0xffffffdfffff7ff5, 0xffffffdfffff7ff5,
  0xffffffefffff7ff4, 0xffffffefffff7ff4,
  0xfffffff7ffff7ff3, 0xfffffff7ffff7ff3,
  0xfffffffbffff7ff2, 0xfffffffbffff7ff2,
  0xfffffffdffff7ff1, 0xfffffffdffff7ff1,
  0xfffffffeffff7ff0, 0xfffffffeffff7ff0,
  0xffffffff7fff7fef, 0xffffffff7fff7fef,
  0xffffffffbfff7fee, 0xffffffffbfff7fee,
  0xffffffffdfff7fed, 0xffffffffdfff7fed,
  0xffffffffefff7fec, 0xffffffffefff7fec,
  0xfffffffff7ff7feb, 0xfffffffff7ff7feb,
  0xfffffffffbff7fea, 0xfffffffffbff7fea,
  0xfffffffffdff7fe9, 0xfffffffffdff7fe9,
  0xfffffffffeff7fe8, 0xfffffffffeff7fe8,
  0xffffffffff7f7fe7, 0xffffffffff7f7fe7,
  0xffffffffffbf7fe6, 0xffffffffffbf7fe6,
  0xffffffffffdf7fe5, 0xffffffffffdf7fe5,
  0xffffffffffef7fe4, 0xffffffffffef7fe4,
  0xfffffffffff77fe3, 0xfffffffffff77fe3,
  0xfffffffffffb7fe2, 0xfffffffffffb7fe2,
  0xfffffffffffd7fe1, 0xfffffffffffd7fe1,
  0xfffffffffffe7fe0, 0xfffffffffffe7fe0,
  0xfffffffffffeffdf, 0xfffffffffffeffdf,
  0xffffffffffff3fde, 0xffffffffffff3fde,
  0xffffffffffff5fdd, 0xffffffffffff5fdd,
  0xffffffffffff6fdc, 0xffffffffffff6fdc,
  0xffffffffffff77db, 0xffffffffffff77db,
  0xffffffffffff7bda, 0xffffffffffff7bda,
  0xffffffffffff7dd9, 0xffffffffffff7dd9,
  0xffffffffffff7ed8, 0xffffffffffff7ed8,
  0xffffffffffff7f57, 0xffffffffffff7f57,
  0xffffffffffff7f96, 0xffffffffffff7f96,
  0xffffffffffff7fb5, 0xffffffffffff7fb5,
  0xffffffffffff7fc4, 0xffffffffffff7fc4,
  0xffffffffffff7fcb, 0xffffffffffff7fcb,
  0xffffffffffff7fce, 0xffffffffffff7fce,
  0xffffffffffff7fcf, 0xffffffffffff7fcf,
  0xffffffffffff7fcf, 0xffffffffffff7fcf,
  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,
  0xfffeffffffff8000, 0xfffeffffffff8001,
  0xffff7fffffff7fff, 0xffff7fffffff8000,
  0xffffbfffffff7ffe, 0xffffbfffffff7fff,
  0xffffdfffffff7ffd, 0xffffdfffffff7ffe,
  0xffffefffffff7ffc, 0xffffefffffff7ffd,
  0xfffff7ffffff7ffb, 0xfffff7ffffff7ffc,
  0xfffffbffffff7ffa, 0xfffffbffffff7ffb,
  0xfffffdffffff7ff9, 0xfffffdffffff7ffa,
  0xfffffeffffff7ff8, 0xfffffeffffff7ff9,
  0xffffff7fffff7ff7, 0xffffff7fffff7ff8,
  0xffffffbfffff7ff6, 0xffffffbfffff7ff7,
  0xffffffdfffff7ff5, 0xffffffdfffff7ff6,
  0xffffffefffff7ff4, 0xffffffefffff7ff5,
  0xfffffff7ffff7ff3, 0xfffffff7ffff7ff4,
  0xfffffffbffff7ff2, 0xfffffffbffff7ff3,
  0xfffffffdffff7ff1, 0xfffffffdffff7ff2,
  0xfffffffeffff7ff0, 0xfffffffeffff7ff1,
  0xffffffff7fff7fef, 0xffffffff7fff7ff0,
  0xffffffffbfff7fee, 0xffffffffbfff7fef,
  0xffffffffdfff7fed, 0xffffffffdfff7fee,
  0xffffffffefff7fec, 0xffffffffefff7fed,
  0xfffffffff7ff7feb, 0xfffffffff7ff7fec,
  0xfffffffffbff7fea, 0xfffffffffbff7feb,
  0xfffffffffdff7fe9, 0xfffffffffdff7fea,
  0xfffffffffeff7fe8, 0xfffffffffeff7fe9,
  0xffffffffff7f7fe7, 0xffffffffff7f7fe8,
  0xffffffffffbf7fe6, 0xffffffffffbf7fe7,
  0xffffffffffdf7fe5, 0xffffffffffdf7fe6,
  0xffffffffffef7fe4, 0xffffffffffef7fe5,
  0xfffffffffff77fe3, 0xfffffffffff77fe4,
  0xfffffffffffb7fe2, 0xfffffffffffb7fe3,
  0xfffffffffffd7fe1, 0xfffffffffffd7fe2,
  0xfffffffffffe7fe0, 0xfffffffffffe7fe1,
  0xfffffffffffeffdf, 0xfffffffffffeffe0,
  0xffffffffffff3fde, 0xffffffffffff3fdf,
  0xffffffffffff5fdd, 0xffffffffffff5fde,
  0xffffffffffff6fdc, 0xffffffffffff6fdd,
  0xffffffffffff77db, 0xffffffffffff77dc,
  0xffffffffffff7bda, 0xffffffffffff7bdb,
  0xffffffffffff7dd9, 0xffffffffffff7dda,
  0xffffffffffff7ed8, 0xffffffffffff7ed9,
  0xffffffffffff7f57, 0xffffffffffff7f58,
  0xffffffffffff7f96, 0xffffffffffff7f97,
  0xffffffffffff7fb5, 0xffffffffffff7fb6,
  0xffffffffffff7fc4, 0xffffffffffff7fc5,
  0xffffffffffff7fcb, 0xffffffffffff7fcc,
  0xffffffffffff7fce, 0xffffffffffff7fcf,
  0xffffffffffff7fcf, 0xffffffffffff7fd0,
  0xffffffffffff7fcf, 0xffffffffffff7fd0,
  0x7fffffffffffc001, 0x7fffffffffffc001,
  0xbfffffffffffa001, 0xbfffffffffffa001,
  0xdfffffffffff9001, 0xdfffffffffff9001,
  0xefffffffffff8801, 0xefffffffffff8801,
  0xf7ffffffffff8401, 0xf7ffffffffff8401,
  0xfbffffffffff8201, 0xfbffffffffff8201,
  0xfdffffffffff8101, 0xfdffffffffff8101,
  0xfeffffffffff8081, 0xfeffffffffff8081,
  0xff7fffffffff8041, 0xff7fffffffff8041,
  0xffbfffffffff8021, 0xffbfffffffff8021,
  0xffdfffffffff8011, 0xffdfffffffff8011,
  0xffefffffffff8009, 0xffefffffffff8009,
  0xfff7ffffffff8005, 0xfff7ffffffff8005,
  0xfffbffffffff8003, 0xfffbffffffff8003,
  0xfffdffffffff8002, 0xfffdffffffff8002,
  0xfffeffffffff8001, 0xfffeffffffff8001,
  0xffff7fffffff8000, 0xffff7fffffff8000,
  0xffffbfffffff7fff, 0xffffbfffffff7fff,
  0xffffdfffffff7ffe, 0xffffdfffffff7ffe,
  0xffffefffffff7ffd, 0xffffefffffff7ffd,
  0xfffff7ffffff7ffc, 0xfffff7ffffff7ffc,
  0xfffffbffffff7ffb, 0xfffffbffffff7ffb,
  0xfffffdffffff7ffa, 0xfffffdffffff7ffa,
  0xfffffeffffff7ff9, 0xfffffeffffff7ff9,
  0xffffff7fffff7ff8, 0xffffff7fffff7ff8,
  0xffffffbfffff7ff7, 0xffffffbfffff7ff7,
  0xffffffdfffff7ff6, 0xffffffdfffff7ff6,
  0xffffffefffff7ff5, 0xffffffefffff7ff5,
  0xfffffff7ffff7ff4, 0xfffffff7ffff7ff4,
  0xfffffffbffff7ff3, 0xfffffffbffff7ff3,
  0xfffffffdffff7ff2, 0xfffffffdffff7ff2,
  0xfffffffeffff7ff1, 0xfffffffeffff7ff1,
  0xffffffff7fff7ff0, 0xffffffff7fff7ff0,
  0xffffffffbfff7fef, 0xffffffffbfff7fef,
  0xffffffffdfff7fee, 0xffffffffdfff7fee,
  0xffffffffefff7fed, 0xffffffffefff7fed,
  0xfffffffff7ff7fec, 0xfffffffff7ff7fec,
  0xfffffffffbff7feb, 0xfffffffffbff7feb,
  0xfffffffffdff7fea, 0xfffffffffdff7fea,
  0xfffffffffeff7fe9, 0xfffffffffeff7fe9,
  0xffffffffff7f7fe8, 0xffffffffff7f7fe8,
  0xffffffffffbf7fe7, 0xffffffffffbf7fe7,
  0xffffffffffdf7fe6, 0xffffffffffdf7fe6,
  0xffffffffffef7fe5, 0xffffffffffef7fe5,
  0xfffffffffff77fe4, 0xfffffffffff77fe4,
  0xfffffffffffb7fe3, 0xfffffffffffb7fe3,
  0xfffffffffffd7fe2, 0xfffffffffffd7fe2,
  0xfffffffffffe7fe1, 0xfffffffffffe7fe1,
  0xfffffffffffeffe0, 0xfffffffffffeffe0,
  0xffffffffffff3fdf, 0xffffffffffff3fdf,
  0xffffffffffff5fde, 0xffffffffffff5fde,
  0xffffffffffff6fdd, 0xffffffffffff6fdd,
  0xffffffffffff77dc, 0xffffffffffff77dc,
  0xffffffffffff7bdb, 0xffffffffffff7bdb,
  0xffffffffffff7dda, 0xffffffffffff7dda,
  0xffffffffffff7ed9, 0xffffffffffff7ed9,
  0xffffffffffff7f58, 0xffffffffffff7f58,
  0xffffffffffff7f97, 0xffffffffffff7f97,
  0xffffffffffff7fb6, 0xffffffffffff7fb6,
  0xffffffffffff7fc5, 0xffffffffffff7fc5,
  0xffffffffffff7fcc, 0xffffffffffff7fcc,
  0xffffffffffff7fcf, 0xffffffffffff7fcf,
  0xffffffffffff7fd0, 0xffffffffffff7fd0,
  0xffffffffffff7fd0, 0xffffffffffff7fd0,
  0x7fffffffffffc001, 0x7fffffffffffffc0,
  0xbfffffffffffa001, 0xbfffffffffffffa0,
  0xdfffffffffff9001, 0xdfffffffffffff90,
  0xefffffffffff8801, 0xefffffffffffff88,
  0xf7ffffffffff8401, 0xf7ffffffffffff84,
  0xfbffffffffff8201, 0xfbffffffffffff82,
  0xfdffffffffff8101, 0xfdffffffffffff81,
  0xfeffffffffff8081, 0xfeffffffffffff80,
  0xff7fffffffff8041, 0xff7fffffffffff7f,
  0xffbfffffffff8021, 0xffbfffffffffff7e,
  0xffdfffffffff8011, 0xffdfffffffffff7d,
  0xffefffffffff8009, 0xffefffffffffff7c,
  0xfff7ffffffff8005, 0xfff7ffffffffff7b,
  0xfffbffffffff8003, 0xfffbffffffffff7a,
  0xfffdffffffff8002, 0xfffdffffffffff79,
  0xfffeffffffff8001, 0xfffeffffffffff78,
  0xffff7fffffff8000, 0xffff7fffffffff77,
  0xffffbfffffff7fff, 0xffffbfffffffff76,
  0xffffdfffffff7ffe, 0xffffdfffffffff75,
  0xffffefffffff7ffd, 0xffffefffffffff74,
  0xfffff7ffffff7ffc, 0xfffff7ffffffff73,
  0xfffffbffffff7ffb, 0xfffffbffffffff72,
  0xfffffdffffff7ffa, 0xfffffdffffffff71,
  0xfffffeffffff7ff9, 0xfffffeffffffff70,
  0xffffff7fffff7ff8, 0xffffff7fffffff6f,
  0xffffffbfffff7ff7, 0xffffffbfffffff6e,
  0xffffffdfffff7ff6, 0xffffffdfffffff6d,
  0xffffffefffff7ff5, 0xffffffefffffff6c,
  0xfffffff7ffff7ff4, 0xfffffff7ffffff6b,
  0xfffffffbffff7ff3, 0xfffffffbffffff6a,
  0xfffffffdffff7ff2, 0xfffffffdffffff69,
  0xfffffffeffff7ff1, 0xfffffffeffffff68,
  0xffffffff7fff7ff0, 0xffffffff7fffff67,
  0xffffffffbfff7fef, 0xffffffffbfffff66,
  0xffffffffdfff7fee, 0xffffffffdfffff65,
  0xffffffffefff7fed, 0xffffffffefffff64,
  0xfffffffff7ff7fec, 0xfffffffff7ffff63,
  0xfffffffffbff7feb, 0xfffffffffbffff62,
  0xfffffffffdff7fea, 0xfffffffffdffff61,
  0xfffffffffeff7fe9, 0xfffffffffeffff60,
  0xffffffffff7f7fe8, 0xffffffffff7fff5f,
  0xffffffffffbf7fe7, 0xffffffffffbfff5e,
  0xffffffffffdf7fe6, 0xffffffffffdfff5d,
  0xffffffffffef7fe5, 0xffffffffffefff5c,
  0xfffffffffff77fe4, 0xfffffffffff7ff5b,
  0xfffffffffffb7fe3, 0xfffffffffffbff5a,
  0xfffffffffffd7fe2, 0xfffffffffffdff59,
  0xfffffffffffe7fe1, 0xfffffffffffeff58,
  0xfffffffffffeffe0, 0xffffffffffff7f57,
  0xffffffffffff3fdf, 0xffffffffffffbf56,
  0xffffffffffff5fde, 0xffffffffffffdf55,
  0xffffffffffff6fdd, 0xffffffffffffef54,
  0xffffffffffff77dc, 0xfffffffffffff753,
  0xffffffffffff7bdb, 0xfffffffffffffb52,
  0xffffffffffff7dda, 0xfffffffffffffd51,
  0xffffffffffff7ed9, 0xfffffffffffffe50,
  0xffffffffffff7f58, 0xfffffffffffffecf,
  0xffffffffffff7f97, 0xffffffffffffff0e,
  0xffffffffffff7fb6, 0xffffffffffffff2d,
  0xffffffffffff7fc5, 0xffffffffffffff3c,
  0xffffffffffff7fcc, 0xffffffffffffff43,
  0xffffffffffff7fcf, 0xffffffffffffff46,
  0xffffffffffff7fd0, 0xffffffffffffff47,
  0xffffffffffff7fd0, 0xffffffffffffff47,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0xbfffffffffffffa0, 0xbfffffffffffffa0,
  0xdfffffffffffff90, 0xdfffffffffffff90,
  0xefffffffffffff88, 0xefffffffffffff88,
  0xf7ffffffffffff84, 0xf7ffffffffffff84,
  0xfbffffffffffff82, 0xfbffffffffffff82,
  0xfdffffffffffff81, 0xfdffffffffffff81,
  0xfeffffffffffff80, 0xfeffffffffffff80,
  0xff7fffffffffff7f, 0xff7fffffffffff7f,
  0xffbfffffffffff7e, 0xffbfffffffffff7e,
  0xffdfffffffffff7d, 0xffdfffffffffff7d,
  0xffefffffffffff7c, 0xffefffffffffff7c,
  0xfff7ffffffffff7b, 0xfff7ffffffffff7b,
  0xfffbffffffffff7a, 0xfffbffffffffff7a,
  0xfffdffffffffff79, 0xfffdffffffffff79,
  0xfffeffffffffff78, 0xfffeffffffffff78,
  0xffff7fffffffff77, 0xffff7fffffffff77,
  0xffffbfffffffff76, 0xffffbfffffffff76,
  0xffffdfffffffff75, 0xffffdfffffffff75,
  0xffffefffffffff74, 0xffffefffffffff74,
  0xfffff7ffffffff73, 0xfffff7ffffffff73,
  0xfffffbffffffff72, 0xfffffbffffffff72,
  0xfffffdffffffff71, 0xfffffdffffffff71,
  0xfffffeffffffff70, 0xfffffeffffffff70,
  0xffffff7fffffff6f, 0xffffff7fffffff6f,
  0xffffffbfffffff6e, 0xffffffbfffffff6e,
  0xffffffdfffffff6d, 0xffffffdfffffff6d,
  0xffffffefffffff6c, 0xffffffefffffff6c,
  0xfffffff7ffffff6b, 0xfffffff7ffffff6b,
  0xfffffffbffffff6a, 0xfffffffbffffff6a,
  0xfffffffdffffff69, 0xfffffffdffffff69,
  0xfffffffeffffff68, 0xfffffffeffffff68,
  0xffffffff7fffff67, 0xffffffff7fffff67,
  0xffffffffbfffff66, 0xffffffffbfffff66,
  0xffffffffdfffff65, 0xffffffffdfffff65,
  0xffffffffefffff64, 0xffffffffefffff64,
  0xfffffffff7ffff63, 0xfffffffff7ffff63,
  0xfffffffffbffff62, 0xfffffffffbffff62,
  0xfffffffffdffff61, 0xfffffffffdffff61,
  0xfffffffffeffff60, 0xfffffffffeffff60,
  0xffffffffff7fff5f, 0xffffffffff7fff5f,
  0xffffffffffbfff5e, 0xffffffffffbfff5e,
  0xffffffffffdfff5d, 0xffffffffffdfff5d,
  0xffffffffffefff5c, 0xffffffffffefff5c,
  0xfffffffffff7ff5b, 0xfffffffffff7ff5b,
  0xfffffffffffbff5a, 0xfffffffffffbff5a,
  0xfffffffffffdff59, 0xfffffffffffdff59,
  0xfffffffffffeff58, 0xfffffffffffeff58,
  0xffffffffffff7f57, 0xffffffffffff7f57,
  0xffffffffffffbf56, 0xffffffffffffbf56,
  0xffffffffffffdf55, 0xffffffffffffdf55,
  0xffffffffffffef54, 0xffffffffffffef54,
  0xfffffffffffff753, 0xfffffffffffff753,
  0xfffffffffffffb52, 0xfffffffffffffb52,
  0xfffffffffffffd51, 0xfffffffffffffd51,
  0xfffffffffffffe50, 0xfffffffffffffe50,
  0xfffffffffffffecf, 0xfffffffffffffecf,
  0xffffffffffffff0e, 0xffffffffffffff0e,
  0xffffffffffffff2d, 0xffffffffffffff2d,
  0xffffffffffffff3c, 0xffffffffffffff3c,
  0xffffffffffffff43, 0xffffffffffffff43,
  0xffffffffffffff46, 0xffffffffffffff46,
  0xffffffffffffff47, 0xffffffffffffff47,
  0xffffffffffffff47, 0xffffffffffffff47,
  0x7fffffffffffffc0, 0x7fffffffffffffc1,
  0xbfffffffffffffa0, 0xbfffffffffffffa1,
  0xdfffffffffffff90, 0xdfffffffffffff91,
  0xefffffffffffff88, 0xefffffffffffff89,
  0xf7ffffffffffff84, 0xf7ffffffffffff85,
  0xfbffffffffffff82, 0xfbffffffffffff83,
  0xfdffffffffffff81, 0xfdffffffffffff82,
  0xfeffffffffffff80, 0xfeffffffffffff81,
  0xff7fffffffffff7f, 0xff7fffffffffff80,
  0xffbfffffffffff7e, 0xffbfffffffffff7f,
  0xffdfffffffffff7d, 0xffdfffffffffff7e,
  0xffefffffffffff7c, 0xffefffffffffff7d,
  0xfff7ffffffffff7b, 0xfff7ffffffffff7c,
  0xfffbffffffffff7a, 0xfffbffffffffff7b,
  0xfffdffffffffff79, 0xfffdffffffffff7a,
  0xfffeffffffffff78, 0xfffeffffffffff79,
  0xffff7fffffffff77, 0xffff7fffffffff78,
  0xffffbfffffffff76, 0xffffbfffffffff77,
  0xffffdfffffffff75, 0xffffdfffffffff76,
  0xffffefffffffff74, 0xffffefffffffff75,
  0xfffff7ffffffff73, 0xfffff7ffffffff74,
  0xfffffbffffffff72, 0xfffffbffffffff73,
  0xfffffdffffffff71, 0xfffffdffffffff72,
  0xfffffeffffffff70, 0xfffffeffffffff71,
  0xffffff7fffffff6f, 0xffffff7fffffff70,
  0xffffffbfffffff6e, 0xffffffbfffffff6f,
  0xffffffdfffffff6d, 0xffffffdfffffff6e,
  0xffffffefffffff6c, 0xffffffefffffff6d,
  0xfffffff7ffffff6b, 0xfffffff7ffffff6c,
  0xfffffffbffffff6a, 0xfffffffbffffff6b,
  0xfffffffdffffff69, 0xfffffffdffffff6a,
  0xfffffffeffffff68, 0xfffffffeffffff69,
  0xffffffff7fffff67, 0xffffffff7fffff68,
  0xffffffffbfffff66, 0xffffffffbfffff67,
  0xffffffffdfffff65, 0xffffffffdfffff66,
  0xffffffffefffff64, 0xffffffffefffff65,
  0xfffffffff7ffff63, 0xfffffffff7ffff64,
  0xfffffffffbffff62, 0xfffffffffbffff63,
  0xfffffffffdffff61, 0xfffffffffdffff62,
  0xfffffffffeffff60, 0xfffffffffeffff61,
  0xffffffffff7fff5f, 0xffffffffff7fff60,
  0xffffffffffbfff5e, 0xffffffffffbfff5f,
  0xffffffffffdfff5d, 0xffffffffffdfff5e,
  0xffffffffffefff5c, 0xffffffffffefff5d,
  0xfffffffffff7ff5b, 0xfffffffffff7ff5c,
  0xfffffffffffbff5a, 0xfffffffffffbff5b,
  0xfffffffffffdff59, 0xfffffffffffdff5a,
  0xfffffffffffeff58, 0xfffffffffffeff59,
  0xffffffffffff7f57, 0xffffffffffff7f58,
  0xffffffffffffbf56, 0xffffffffffffbf57,
  0xffffffffffffdf55, 0xffffffffffffdf56,
  0xffffffffffffef54, 0xffffffffffffef55,
  0xfffffffffffff753, 0xfffffffffffff754,
  0xfffffffffffffb52, 0xfffffffffffffb53,
  0xfffffffffffffd51, 0xfffffffffffffd52,
  0xfffffffffffffe50, 0xfffffffffffffe51,
  0xfffffffffffffecf, 0xfffffffffffffed0,
  0xffffffffffffff0e, 0xffffffffffffff0f,
  0xffffffffffffff2d, 0xffffffffffffff2e,
  0xffffffffffffff3c, 0xffffffffffffff3d,
  0xffffffffffffff43, 0xffffffffffffff44,
  0xffffffffffffff46, 0xffffffffffffff47,
  0xffffffffffffff47, 0xffffffffffffff48,
  0xffffffffffffff47, 0xffffffffffffff48,
  0x7fffffffffffffc1, 0x7fffffffffffffc1,
  0xbfffffffffffffa1, 0xbfffffffffffffa1,
  0xdfffffffffffff91, 0xdfffffffffffff91,
  0xefffffffffffff89, 0xefffffffffffff89,
  0xf7ffffffffffff85, 0xf7ffffffffffff85,
  0xfbffffffffffff83, 0xfbffffffffffff83,
  0xfdffffffffffff82, 0xfdffffffffffff82,
  0xfeffffffffffff81, 0xfeffffffffffff81,
  0xff7fffffffffff80, 0xff7fffffffffff80,
  0xffbfffffffffff7f, 0xffbfffffffffff7f,
  0xffdfffffffffff7e, 0xffdfffffffffff7e,
  0xffefffffffffff7d, 0xffefffffffffff7d,
  0xfff7ffffffffff7c, 0xfff7ffffffffff7c,
  0xfffbffffffffff7b, 0xfffbffffffffff7b,
  0xfffdffffffffff7a, 0xfffdffffffffff7a,
  0xfffeffffffffff79, 0xfffeffffffffff79,
  0xffff7fffffffff78, 0xffff7fffffffff78,
  0xffffbfffffffff77, 0xffffbfffffffff77,
  0xffffdfffffffff76, 0xffffdfffffffff76,
  0xffffefffffffff75, 0xffffefffffffff75,
  0xfffff7ffffffff74, 0xfffff7ffffffff74,
  0xfffffbffffffff73, 0xfffffbffffffff73,
  0xfffffdffffffff72, 0xfffffdffffffff72,
  0xfffffeffffffff71, 0xfffffeffffffff71,
  0xffffff7fffffff70, 0xffffff7fffffff70,
  0xffffffbfffffff6f, 0xffffffbfffffff6f,
  0xffffffdfffffff6e, 0xffffffdfffffff6e,
  0xffffffefffffff6d, 0xffffffefffffff6d,
  0xfffffff7ffffff6c, 0xfffffff7ffffff6c,
  0xfffffffbffffff6b, 0xfffffffbffffff6b,
  0xfffffffdffffff6a, 0xfffffffdffffff6a,
  0xfffffffeffffff69, 0xfffffffeffffff69,
  0xffffffff7fffff68, 0xffffffff7fffff68,
  0xffffffffbfffff67, 0xffffffffbfffff67,
  0xffffffffdfffff66, 0xffffffffdfffff66,
  0xffffffffefffff65, 0xffffffffefffff65,
  0xfffffffff7ffff64, 0xfffffffff7ffff64,
  0xfffffffffbffff63, 0xfffffffffbffff63,
  0xfffffffffdffff62, 0xfffffffffdffff62,
  0xfffffffffeffff61, 0xfffffffffeffff61,
  0xffffffffff7fff60, 0xffffffffff7fff60,
  0xffffffffffbfff5f, 0xffffffffffbfff5f,
  0xffffffffffdfff5e, 0xffffffffffdfff5e,
  0xffffffffffefff5d, 0xffffffffffefff5d,
  0xfffffffffff7ff5c, 0xfffffffffff7ff5c,
  0xfffffffffffbff5b, 0xfffffffffffbff5b,
  0xfffffffffffdff5a, 0xfffffffffffdff5a,
  0xfffffffffffeff59, 0xfffffffffffeff59,
  0xffffffffffff7f58, 0xffffffffffff7f58,
  0xffffffffffffbf57, 0xffffffffffffbf57,
  0xffffffffffffdf56, 0xffffffffffffdf56,
  0xffffffffffffef55, 0xffffffffffffef55,
  0xfffffffffffff754, 0xfffffffffffff754,
  0xfffffffffffffb53, 0xfffffffffffffb53,
  0xfffffffffffffd52, 0xfffffffffffffd52,
  0xfffffffffffffe51, 0xfffffffffffffe51,
  0xfffffffffffffed0, 0xfffffffffffffed0,
  0xffffffffffffff0f, 0xffffffffffffff0f,
  0xffffffffffffff2e, 0xffffffffffffff2e,
  0xffffffffffffff3d, 0xffffffffffffff3d,
  0xffffffffffffff44, 0xffffffffffffff44,
  0xffffffffffffff47, 0xffffffffffffff47,
  0xffffffffffffff48, 0xffffffffffffff48,
  0xffffffffffffff48, 0xffffffffffffff48,
  0x7fffffffffffffc1, 0x7fffffffffffffe0,
  0xbfffffffffffffa1, 0xbfffffffffffffd0,
  0xdfffffffffffff91, 0xdfffffffffffffc8,
  0xefffffffffffff89, 0xefffffffffffffc4,
  0xf7ffffffffffff85, 0xf7ffffffffffffc2,
  0xfbffffffffffff83, 0xfbffffffffffffc1,
  0xfdffffffffffff82, 0xfdffffffffffffc0,
  0xfeffffffffffff81, 0xfeffffffffffffbf,
  0xff7fffffffffff80, 0xff7fffffffffffbe,
  0xffbfffffffffff7f, 0xffbfffffffffffbd,
  0xffdfffffffffff7e, 0xffdfffffffffffbc,
  0xffefffffffffff7d, 0xffefffffffffffbb,
  0xfff7ffffffffff7c, 0xfff7ffffffffffba,
  0xfffbffffffffff7b, 0xfffbffffffffffb9,
  0xfffdffffffffff7a, 0xfffdffffffffffb8,
  0xfffeffffffffff79, 0xfffeffffffffffb7,
  0xffff7fffffffff78, 0xffff7fffffffffb6,
  0xffffbfffffffff77, 0xffffbfffffffffb5,
  0xffffdfffffffff76, 0xffffdfffffffffb4,
  0xffffefffffffff75, 0xffffefffffffffb3,
  0xfffff7ffffffff74, 0xfffff7ffffffffb2,
  0xfffffbffffffff73, 0xfffffbffffffffb1,
  0xfffffdffffffff72, 0xfffffdffffffffb0,
  0xfffffeffffffff71, 0xfffffeffffffffaf,
  0xffffff7fffffff70, 0xffffff7fffffffae,
  0xffffffbfffffff6f, 0xffffffbfffffffad,
  0xffffffdfffffff6e, 0xffffffdfffffffac,
  0xffffffefffffff6d, 0xffffffefffffffab,
  0xfffffff7ffffff6c, 0xfffffff7ffffffaa,
  0xfffffffbffffff6b, 0xfffffffbffffffa9,
  0xfffffffdffffff6a, 0xfffffffdffffffa8,
  0xfffffffeffffff69, 0xfffffffeffffffa7,
  0xffffffff7fffff68, 0xffffffff7fffffa6,
  0xffffffffbfffff67, 0xffffffffbfffffa5,
  0xffffffffdfffff66, 0xffffffffdfffffa4,
  0xffffffffefffff65, 0xffffffffefffffa3,
  0xfffffffff7ffff64, 0xfffffffff7ffffa2,
  0xfffffffffbffff63, 0xfffffffffbffffa1,
  0xfffffffffdffff62, 0xfffffffffdffffa0,
  0xfffffffffeffff61, 0xfffffffffeffff9f,
  0xffffffffff7fff60, 0xffffffffff7fff9e,
  0xffffffffffbfff5f, 0xffffffffffbfff9d,
  0xffffffffffdfff5e, 0xffffffffffdfff9c,
  0xffffffffffefff5d, 0xffffffffffefff9b,
  0xfffffffffff7ff5c, 0xfffffffffff7ff9a,
  0xfffffffffffbff5b, 0xfffffffffffbff99,
  0xfffffffffffdff5a, 0xfffffffffffdff98,
  0xfffffffffffeff59, 0xfffffffffffeff97,
  0xffffffffffff7f58, 0xffffffffffff7f96,
  0xffffffffffffbf57, 0xffffffffffffbf95,
  0xffffffffffffdf56, 0xffffffffffffdf94,
  0xffffffffffffef55, 0xffffffffffffef93,
  0xfffffffffffff754, 0xfffffffffffff792,
  0xfffffffffffffb53, 0xfffffffffffffb91,
  0xfffffffffffffd52, 0xfffffffffffffd90,
  0xfffffffffffffe51, 0xfffffffffffffe8f,
  0xfffffffffffffed0, 0xffffffffffffff0e,
  0xffffffffffffff0f, 0xffffffffffffff4d,
  0xffffffffffffff2e, 0xffffffffffffff6c,
  0xffffffffffffff3d, 0xffffffffffffff7b,
  0xffffffffffffff44, 0xffffffffffffff82,
  0xffffffffffffff47, 0xffffffffffffff85,
  0xffffffffffffff48, 0xffffffffffffff86,
  0xffffffffffffff48, 0xffffffffffffff86,
  0x7fffffffffffffe0, 0x7ffffffffffffffe,
  0xbfffffffffffffd0, 0xbffffffffffffffd,
  0xdfffffffffffffc8, 0xdffffffffffffffc,
  0xefffffffffffffc4, 0xeffffffffffffffb,
  0xf7ffffffffffffc2, 0xf7fffffffffffffa,
  0xfbffffffffffffc1, 0xfbfffffffffffff9,
  0xfdffffffffffffc0, 0xfdfffffffffffff8,
  0xfeffffffffffffbf, 0xfefffffffffffff7,
  0xff7fffffffffffbe, 0xff7ffffffffffff6,
  0xffbfffffffffffbd, 0xffbffffffffffff5,
  0xffdfffffffffffbc, 0xffdffffffffffff4,
  0xffefffffffffffbb, 0xffeffffffffffff3,
  0xfff7ffffffffffba, 0xfff7fffffffffff2,
  0xfffbffffffffffb9, 0xfffbfffffffffff1,
  0xfffdffffffffffb8, 0xfffdfffffffffff0,
  0xfffeffffffffffb7, 0xfffeffffffffffef,
  0xffff7fffffffffb6, 0xffff7fffffffffee,
  0xffffbfffffffffb5, 0xffffbfffffffffed,
  0xffffdfffffffffb4, 0xffffdfffffffffec,
  0xffffefffffffffb3, 0xffffefffffffffeb,
  0xfffff7ffffffffb2, 0xfffff7ffffffffea,
  0xfffffbffffffffb1, 0xfffffbffffffffe9,
  0xfffffdffffffffb0, 0xfffffdffffffffe8,
  0xfffffeffffffffaf, 0xfffffeffffffffe7,
  0xffffff7fffffffae, 0xffffff7fffffffe6,
  0xffffffbfffffffad, 0xffffffbfffffffe5,
  0xffffffdfffffffac, 0xffffffdfffffffe4,
  0xffffffefffffffab, 0xffffffefffffffe3,
  0xfffffff7ffffffaa, 0xfffffff7ffffffe2,
  0xfffffffbffffffa9, 0xfffffffbffffffe1,
  0xfffffffdffffffa8, 0xfffffffdffffffe0,
  0xfffffffeffffffa7, 0xfffffffeffffffdf,
  0xffffffff7fffffa6, 0xffffffff7fffffde,
  0xffffffffbfffffa5, 0xffffffffbfffffdd,
  0xffffffffdfffffa4, 0xffffffffdfffffdc,
  0xffffffffefffffa3, 0xffffffffefffffdb,
  0xfffffffff7ffffa2, 0xfffffffff7ffffda,
  0xfffffffffbffffa1, 0xfffffffffbffffd9,
  0xfffffffffdffffa0, 0xfffffffffdffffd8,
  0xfffffffffeffff9f, 0xfffffffffeffffd7,
  0xffffffffff7fff9e, 0xffffffffff7fffd6,
  0xffffffffffbfff9d, 0xffffffffffbfffd5,
  0xffffffffffdfff9c, 0xffffffffffdfffd4,
  0xffffffffffefff9b, 0xffffffffffefffd3,
  0xfffffffffff7ff9a, 0xfffffffffff7ffd2,
  0xfffffffffffbff99, 0xfffffffffffbffd1,
  0xfffffffffffdff98, 0xfffffffffffdffd0,
  0xfffffffffffeff97, 0xfffffffffffeffcf,
  0xffffffffffff7f96, 0xffffffffffff7fce,
  0xffffffffffffbf95, 0xffffffffffffbfcd,
  0xffffffffffffdf94, 0xffffffffffffdfcc,
  0xffffffffffffef93, 0xffffffffffffefcb,
  0xfffffffffffff792, 0xfffffffffffff7ca,
  0xfffffffffffffb91, 0xfffffffffffffbc9,
  0xfffffffffffffd90, 0xfffffffffffffdc8,
  0xfffffffffffffe8f, 0xfffffffffffffec7,
  0xffffffffffffff0e, 0xffffffffffffff46,
  0xffffffffffffff4d, 0xffffffffffffff85,
  0xffffffffffffff6c, 0xffffffffffffffa4,
  0xffffffffffffff7b, 0xffffffffffffffb3,
  0xffffffffffffff82, 0xffffffffffffffba,
  0xffffffffffffff85, 0xffffffffffffffbd,
  0xffffffffffffff86, 0xffffffffffffffbe,
  0xffffffffffffff86, 0xffffffffffffffbe,
  0x7ffffffffffffffe, 0x7fffffffffffffff,
  0xbffffffffffffffd, 0xbffffffffffffffe,
  0xdffffffffffffffc, 0xdffffffffffffffd,
  0xeffffffffffffffb, 0xeffffffffffffffc,
  0xf7fffffffffffffa, 0xf7fffffffffffffb,
  0xfbfffffffffffff9, 0xfbfffffffffffffa,
  0xfdfffffffffffff8, 0xfdfffffffffffff9,
  0xfefffffffffffff7, 0xfefffffffffffff8,
  0xff7ffffffffffff6, 0xff7ffffffffffff7,
  0xffbffffffffffff5, 0xffbffffffffffff6,
  0xffdffffffffffff4, 0xffdffffffffffff5,
  0xffeffffffffffff3, 0xffeffffffffffff4,
  0xfff7fffffffffff2, 0xfff7fffffffffff3,
  0xfffbfffffffffff1, 0xfffbfffffffffff2,
  0xfffdfffffffffff0, 0xfffdfffffffffff1,
  0xfffeffffffffffef, 0xfffefffffffffff0,
  0xffff7fffffffffee, 0xffff7fffffffffef,
  0xffffbfffffffffed, 0xffffbfffffffffee,
  0xffffdfffffffffec, 0xffffdfffffffffed,
  0xffffefffffffffeb, 0xffffefffffffffec,
  0xfffff7ffffffffea, 0xfffff7ffffffffeb,
  0xfffffbffffffffe9, 0xfffffbffffffffea,
  0xfffffdffffffffe8, 0xfffffdffffffffe9,
  0xfffffeffffffffe7, 0xfffffeffffffffe8,
  0xffffff7fffffffe6, 0xffffff7fffffffe7,
  0xffffffbfffffffe5, 0xffffffbfffffffe6,
  0xffffffdfffffffe4, 0xffffffdfffffffe5,
  0xffffffefffffffe3, 0xffffffefffffffe4,
  0xfffffff7ffffffe2, 0xfffffff7ffffffe3,
  0xfffffffbffffffe1, 0xfffffffbffffffe2,
  0xfffffffdffffffe0, 0xfffffffdffffffe1,
  0xfffffffeffffffdf, 0xfffffffeffffffe0,
  0xffffffff7fffffde, 0xffffffff7fffffdf,
  0xffffffffbfffffdd, 0xffffffffbfffffde,
  0xffffffffdfffffdc, 0xffffffffdfffffdd,
  0xffffffffefffffdb, 0xffffffffefffffdc,
  0xfffffffff7ffffda, 0xfffffffff7ffffdb,
  0xfffffffffbffffd9, 0xfffffffffbffffda,
  0xfffffffffdffffd8, 0xfffffffffdffffd9,
  0xfffffffffeffffd7, 0xfffffffffeffffd8,
  0xffffffffff7fffd6, 0xffffffffff7fffd7,
  0xffffffffffbfffd5, 0xffffffffffbfffd6,
  0xffffffffffdfffd4, 0xffffffffffdfffd5,
  0xffffffffffefffd3, 0xffffffffffefffd4,
  0xfffffffffff7ffd2, 0xfffffffffff7ffd3,
  0xfffffffffffbffd1, 0xfffffffffffbffd2,
  0xfffffffffffdffd0, 0xfffffffffffdffd1,
  0xfffffffffffeffcf, 0xfffffffffffeffd0,
  0xffffffffffff7fce, 0xffffffffffff7fcf,
  0xffffffffffffbfcd, 0xffffffffffffbfce,
  0xffffffffffffdfcc, 0xffffffffffffdfcd,
  0xffffffffffffefcb, 0xffffffffffffefcc,
  0xfffffffffffff7ca, 0xfffffffffffff7cb,
  0xfffffffffffffbc9, 0xfffffffffffffbca,
  0xfffffffffffffdc8, 0xfffffffffffffdc9,
  0xfffffffffffffec7, 0xfffffffffffffec8,
  0xffffffffffffff46, 0xffffffffffffff47,
  0xffffffffffffff85, 0xffffffffffffff86,
  0xffffffffffffffa4, 0xffffffffffffffa5,
  0xffffffffffffffb3, 0xffffffffffffffb4,
  0xffffffffffffffba, 0xffffffffffffffbb,
  0xffffffffffffffbd, 0xffffffffffffffbe,
  0xffffffffffffffbe, 0xffffffffffffffbf,
  0xffffffffffffffbe, 0xffffffffffffffbf,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0xbffffffffffffffe, 0xbffffffffffffffe,
  0xdffffffffffffffd, 0xdffffffffffffffd,
  0xeffffffffffffffc, 0xeffffffffffffffc,
  0xf7fffffffffffffb, 0xf7fffffffffffffb,
  0xfbfffffffffffffa, 0xfbfffffffffffffa,
  0xfdfffffffffffff9, 0xfdfffffffffffff9,
  0xfefffffffffffff8, 0xfefffffffffffff8,
  0xff7ffffffffffff7, 0xff7ffffffffffff7,
  0xffbffffffffffff6, 0xffbffffffffffff6,
  0xffdffffffffffff5, 0xffdffffffffffff5,
  0xffeffffffffffff4, 0xffeffffffffffff4,
  0xfff7fffffffffff3, 0xfff7fffffffffff3,
  0xfffbfffffffffff2, 0xfffbfffffffffff2,
  0xfffdfffffffffff1, 0xfffdfffffffffff1,
  0xfffefffffffffff0, 0xfffefffffffffff0,
  0xffff7fffffffffef, 0xffff7fffffffffef,
  0xffffbfffffffffee, 0xffffbfffffffffee,
  0xffffdfffffffffed, 0xffffdfffffffffed,
  0xffffefffffffffec, 0xffffefffffffffec,
  0xfffff7ffffffffeb, 0xfffff7ffffffffeb,
  0xfffffbffffffffea, 0xfffffbffffffffea,
  0xfffffdffffffffe9, 0xfffffdffffffffe9,
  0xfffffeffffffffe8, 0xfffffeffffffffe8,
  0xffffff7fffffffe7, 0xffffff7fffffffe7,
  0xffffffbfffffffe6, 0xffffffbfffffffe6,
  0xffffffdfffffffe5, 0xffffffdfffffffe5,
  0xffffffefffffffe4, 0xffffffefffffffe4,
  0xfffffff7ffffffe3, 0xfffffff7ffffffe3,
  0xfffffffbffffffe2, 0xfffffffbffffffe2,
  0xfffffffdffffffe1, 0xfffffffdffffffe1,
  0xfffffffeffffffe0, 0xfffffffeffffffe0,
  0xffffffff7fffffdf, 0xffffffff7fffffdf,
  0xffffffffbfffffde, 0xffffffffbfffffde,
  0xffffffffdfffffdd, 0xffffffffdfffffdd,
  0xffffffffefffffdc, 0xffffffffefffffdc,
  0xfffffffff7ffffdb, 0xfffffffff7ffffdb,
  0xfffffffffbffffda, 0xfffffffffbffffda,
  0xfffffffffdffffd9, 0xfffffffffdffffd9,
  0xfffffffffeffffd8, 0xfffffffffeffffd8,
  0xffffffffff7fffd7, 0xffffffffff7fffd7,
  0xffffffffffbfffd6, 0xffffffffffbfffd6,
  0xffffffffffdfffd5, 0xffffffffffdfffd5,
  0xffffffffffefffd4, 0xffffffffffefffd4,
  0xfffffffffff7ffd3, 0xfffffffffff7ffd3,
  0xfffffffffffbffd2, 0xfffffffffffbffd2,
  0xfffffffffffdffd1, 0xfffffffffffdffd1,
  0xfffffffffffeffd0, 0xfffffffffffeffd0,
  0xffffffffffff7fcf, 0xffffffffffff7fcf,
  0xffffffffffffbfce, 0xffffffffffffbfce,
  0xffffffffffffdfcd, 0xffffffffffffdfcd,
  0xffffffffffffefcc, 0xffffffffffffefcc,
  0xfffffffffffff7cb, 0xfffffffffffff7cb,
  0xfffffffffffffbca, 0xfffffffffffffbca,
  0xfffffffffffffdc9, 0xfffffffffffffdc9,
  0xfffffffffffffec8, 0xfffffffffffffec8,
  0xffffffffffffff47, 0xffffffffffffff47,
  0xffffffffffffff86, 0xffffffffffffff86,
  0xffffffffffffffa5, 0xffffffffffffffa5,
  0xffffffffffffffb4, 0xffffffffffffffb4,
  0xffffffffffffffbb, 0xffffffffffffffbb,
  0xffffffffffffffbe, 0xffffffffffffffbe,
  0xffffffffffffffbf, 0xffffffffffffffbf,
  0xffffffffffffffbf, 0xffffffffffffffbf,
};
const unsigned kExpectedCount_NEON_usra_2D_2OPIMM = 2560;

#endif  // VIXL_SIM_USRA_2D_2OPIMM_TRACE_A64_H_