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


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

#ifndef VIXL_SIM_URSRA_2D_2OPIMM_TRACE_AARCH64_H_
#define VIXL_SIM_URSRA_2D_2OPIMM_TRACE_AARCH64_H_

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

#endif  // VIXL_SIM_URSRA_2D_2OPIMM_TRACE_AARCH64_H_