C++程序  |  2602行  |  107 KB

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


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

#ifndef VIXL_SIM_SRI_2D_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_SRI_2D_2OPIMM_TRACE_A64_H_

const uint64_t kExpected_NEON_sri_2D_2OPIMM[] = {
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x7fffffffffffffff, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000001, 0x0000000000000020,
  0x0000000000000000, 0x0000000000000010,
  0x0000000000000000, 0x0000000000000008,
  0x0000000000000000, 0x0000000000000004,
  0x0000000000000000, 0x0000000000000002,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000020, 0x000000000000003e,
  0x0000000000000010, 0x000000000000001f,
  0x0000000000000008, 0x000000000000000f,
  0x0000000000000004, 0x0000000000000007,
  0x0000000000000002, 0x0000000000000003,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x000000000000003e, 0x000000000000003f,
  0x000000000000001f, 0x000000000000001f,
  0x000000000000000f, 0x000000000000000f,
  0x0000000000000007, 0x0000000000000007,
  0x0000000000000003, 0x0000000000000003,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x000000000000003f, 0x000000000000003f,
  0x000000000000001f, 0x000000000000001f,
  0x000000000000000f, 0x000000000000000f,
  0x0000000000000007, 0x0000000000000007,
  0x0000000000000003, 0x0000000000000003,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x000000000000003f, 0x0000000000003ffe,
  0x000000000000001f, 0x0000000000001fff,
  0x000000000000000f, 0x0000000000000fff,
  0x0000000000000007, 0x00000000000007ff,
  0x0000000000000003, 0x00000000000003ff,
  0x0000000000000001, 0x00000000000001ff,
  0x0000000000000000, 0x00000000000000ff,
  0x0000000000000000, 0x000000000000007f,
  0x0000000000000000, 0x000000000000003f,
  0x0000000000000000, 0x000000000000001f,
  0x0000000000000000, 0x000000000000000f,
  0x0000000000000000, 0x0000000000000007,
  0x0000000000000000, 0x0000000000000003,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000003ffe, 0x0000000000003fff,
  0x0000000000001fff, 0x0000000000001fff,
  0x0000000000000fff, 0x0000000000000fff,
  0x00000000000007ff, 0x00000000000007ff,
  0x00000000000003ff, 0x00000000000003ff,
  0x00000000000001ff, 0x00000000000001ff,
  0x00000000000000ff, 0x00000000000000ff,
  0x000000000000007f, 0x000000000000007f,
  0x000000000000003f, 0x000000000000003f,
  0x000000000000001f, 0x000000000000001f,
  0x000000000000000f, 0x000000000000000f,
  0x0000000000000007, 0x0000000000000007,
  0x0000000000000003, 0x0000000000000003,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000003fff, 0x0000000000003fff,
  0x0000000000001fff, 0x0000000000001fff,
  0x0000000000000fff, 0x0000000000000fff,
  0x00000000000007ff, 0x00000000000007ff,
  0x00000000000003ff, 0x00000000000003ff,
  0x00000000000001ff, 0x00000000000001ff,
  0x00000000000000ff, 0x00000000000000ff,
  0x000000000000007f, 0x000000000000007f,
  0x000000000000003f, 0x000000000000003f,
  0x000000000000001f, 0x000000000000001f,
  0x000000000000000f, 0x000000000000000f,
  0x0000000000000007, 0x0000000000000007,
  0x0000000000000003, 0x0000000000000003,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000003fff, 0x000000003ffffffe,
  0x0000000000001fff, 0x000000001fffffff,
  0x0000000000000fff, 0x000000000fffffff,
  0x00000000000007ff, 0x0000000007ffffff,
  0x00000000000003ff, 0x0000000003ffffff,
  0x00000000000001ff, 0x0000000001ffffff,
  0x00000000000000ff, 0x0000000000ffffff,
  0x000000000000007f, 0x00000000007fffff,
  0x000000000000003f, 0x00000000003fffff,
  0x000000000000001f, 0x00000000001fffff,
  0x000000000000000f, 0x00000000000fffff,
  0x0000000000000007, 0x000000000007ffff,
  0x0000000000000003, 0x000000000003ffff,
  0x0000000000000001, 0x000000000001ffff,
  0x0000000000000000, 0x000000000000ffff,
  0x0000000000000000, 0x0000000000007fff,
  0x0000000000000000, 0x0000000000003fff,
  0x0000000000000000, 0x0000000000001fff,
  0x0000000000000000, 0x0000000000000fff,
  0x0000000000000000, 0x00000000000007ff,
  0x0000000000000000, 0x00000000000003ff,
  0x0000000000000000, 0x00000000000001ff,
  0x0000000000000000, 0x00000000000000ff,
  0x0000000000000000, 0x000000000000007f,
  0x0000000000000000, 0x000000000000003f,
  0x0000000000000000, 0x000000000000001f,
  0x0000000000000000, 0x000000000000000f,
  0x0000000000000000, 0x0000000000000007,
  0x0000000000000000, 0x0000000000000003,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x000000003ffffffe, 0x000000003fffffff,
  0x000000001fffffff, 0x000000001fffffff,
  0x000000000fffffff, 0x000000000fffffff,
  0x0000000007ffffff, 0x0000000007ffffff,
  0x0000000003ffffff, 0x0000000003ffffff,
  0x0000000001ffffff, 0x0000000001ffffff,
  0x0000000000ffffff, 0x0000000000ffffff,
  0x00000000007fffff, 0x00000000007fffff,
  0x00000000003fffff, 0x00000000003fffff,
  0x00000000001fffff, 0x00000000001fffff,
  0x00000000000fffff, 0x00000000000fffff,
  0x000000000007ffff, 0x000000000007ffff,
  0x000000000003ffff, 0x000000000003ffff,
  0x000000000001ffff, 0x000000000001ffff,
  0x000000000000ffff, 0x000000000000ffff,
  0x0000000000007fff, 0x0000000000007fff,
  0x0000000000003fff, 0x0000000000003fff,
  0x0000000000001fff, 0x0000000000001fff,
  0x0000000000000fff, 0x0000000000000fff,
  0x00000000000007ff, 0x00000000000007ff,
  0x00000000000003ff, 0x00000000000003ff,
  0x00000000000001ff, 0x00000000000001ff,
  0x00000000000000ff, 0x00000000000000ff,
  0x000000000000007f, 0x000000000000007f,
  0x000000000000003f, 0x000000000000003f,
  0x000000000000001f, 0x000000000000001f,
  0x000000000000000f, 0x000000000000000f,
  0x0000000000000007, 0x0000000000000007,
  0x0000000000000003, 0x0000000000000003,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x000000003fffffff, 0x000000003fffffff,
  0x000000001fffffff, 0x000000001fffffff,
  0x000000000fffffff, 0x000000000fffffff,
  0x0000000007ffffff, 0x0000000007ffffff,
  0x0000000003ffffff, 0x0000000003ffffff,
  0x0000000001ffffff, 0x0000000001ffffff,
  0x0000000000ffffff, 0x0000000000ffffff,
  0x00000000007fffff, 0x00000000007fffff,
  0x00000000003fffff, 0x00000000003fffff,
  0x00000000001fffff, 0x00000000001fffff,
  0x00000000000fffff, 0x00000000000fffff,
  0x000000000007ffff, 0x000000000007ffff,
  0x000000000003ffff, 0x000000000003ffff,
  0x000000000001ffff, 0x000000000001ffff,
  0x000000000000ffff, 0x000000000000ffff,
  0x0000000000007fff, 0x0000000000007fff,
  0x0000000000003fff, 0x0000000000003fff,
  0x0000000000001fff, 0x0000000000001fff,
  0x0000000000000fff, 0x0000000000000fff,
  0x00000000000007ff, 0x00000000000007ff,
  0x00000000000003ff, 0x00000000000003ff,
  0x00000000000001ff, 0x00000000000001ff,
  0x00000000000000ff, 0x00000000000000ff,
  0x000000000000007f, 0x000000000000007f,
  0x000000000000003f, 0x000000000000003f,
  0x000000000000001f, 0x000000000000001f,
  0x000000000000000f, 0x000000000000000f,
  0x0000000000000007, 0x0000000000000007,
  0x0000000000000003, 0x0000000000000003,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x000000003fffffff, 0x1999999999999999,
  0x000000001fffffff, 0x0ccccccccccccccc,
  0x000000000fffffff, 0x0666666666666666,
  0x0000000007ffffff, 0x0333333333333333,
  0x0000000003ffffff, 0x0199999999999999,
  0x0000000001ffffff, 0x00cccccccccccccc,
  0x0000000000ffffff, 0x0066666666666666,
  0x00000000007fffff, 0x0033333333333333,
  0x00000000003fffff, 0x0019999999999999,
  0x00000000001fffff, 0x000ccccccccccccc,
  0x00000000000fffff, 0x0006666666666666,
  0x000000000007ffff, 0x0003333333333333,
  0x000000000003ffff, 0x0001999999999999,
  0x000000000001ffff, 0x0000cccccccccccc,
  0x000000000000ffff, 0x0000666666666666,
  0x0000000000007fff, 0x0000333333333333,
  0x0000000000003fff, 0x0000199999999999,
  0x0000000000001fff, 0x00000ccccccccccc,
  0x0000000000000fff, 0x0000066666666666,
  0x00000000000007ff, 0x0000033333333333,
  0x00000000000003ff, 0x0000019999999999,
  0x00000000000001ff, 0x000000cccccccccc,
  0x00000000000000ff, 0x0000006666666666,
  0x000000000000007f, 0x0000003333333333,
  0x000000000000003f, 0x0000001999999999,
  0x000000000000001f, 0x0000000ccccccccc,
  0x000000000000000f, 0x0000000666666666,
  0x0000000000000007, 0x0000000333333333,
  0x0000000000000003, 0x0000000199999999,
  0x0000000000000001, 0x00000000cccccccc,
  0x0000000000000000, 0x0000000066666666,
  0x0000000000000000, 0x0000000033333333,
  0x0000000000000000, 0x0000000019999999,
  0x0000000000000000, 0x000000000ccccccc,
  0x0000000000000000, 0x0000000006666666,
  0x0000000000000000, 0x0000000003333333,
  0x0000000000000000, 0x0000000001999999,
  0x0000000000000000, 0x0000000000cccccc,
  0x0000000000000000, 0x0000000000666666,
  0x0000000000000000, 0x0000000000333333,
  0x0000000000000000, 0x0000000000199999,
  0x0000000000000000, 0x00000000000ccccc,
  0x0000000000000000, 0x0000000000066666,
  0x0000000000000000, 0x0000000000033333,
  0x0000000000000000, 0x0000000000019999,
  0x0000000000000000, 0x000000000000cccc,
  0x0000000000000000, 0x0000000000006666,
  0x0000000000000000, 0x0000000000003333,
  0x0000000000000000, 0x0000000000001999,
  0x0000000000000000, 0x0000000000000ccc,
  0x0000000000000000, 0x0000000000000666,
  0x0000000000000000, 0x0000000000000333,
  0x0000000000000000, 0x0000000000000199,
  0x0000000000000000, 0x00000000000000cc,
  0x0000000000000000, 0x0000000000000066,
  0x0000000000000000, 0x0000000000000033,
  0x0000000000000000, 0x0000000000000019,
  0x0000000000000000, 0x000000000000000c,
  0x0000000000000000, 0x0000000000000006,
  0x0000000000000000, 0x0000000000000003,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x1999999999999999, 0x2aaaaaaaaaaaaaaa,
  0x0ccccccccccccccc, 0x1555555555555555,
  0x0666666666666666, 0x0aaaaaaaaaaaaaaa,
  0x0333333333333333, 0x0555555555555555,
  0x0199999999999999, 0x02aaaaaaaaaaaaaa,
  0x00cccccccccccccc, 0x0155555555555555,
  0x0066666666666666, 0x00aaaaaaaaaaaaaa,
  0x0033333333333333, 0x0055555555555555,
  0x0019999999999999, 0x002aaaaaaaaaaaaa,
  0x000ccccccccccccc, 0x0015555555555555,
  0x0006666666666666, 0x000aaaaaaaaaaaaa,
  0x0003333333333333, 0x0005555555555555,
  0x0001999999999999, 0x0002aaaaaaaaaaaa,
  0x0000cccccccccccc, 0x0001555555555555,
  0x0000666666666666, 0x0000aaaaaaaaaaaa,
  0x0000333333333333, 0x0000555555555555,
  0x0000199999999999, 0x00002aaaaaaaaaaa,
  0x00000ccccccccccc, 0x0000155555555555,
  0x0000066666666666, 0x00000aaaaaaaaaaa,
  0x0000033333333333, 0x0000055555555555,
  0x0000019999999999, 0x000002aaaaaaaaaa,
  0x000000cccccccccc, 0x0000015555555555,
  0x0000006666666666, 0x000000aaaaaaaaaa,
  0x0000003333333333, 0x0000005555555555,
  0x0000001999999999, 0x0000002aaaaaaaaa,
  0x0000000ccccccccc, 0x0000001555555555,
  0x0000000666666666, 0x0000000aaaaaaaaa,
  0x0000000333333333, 0x0000000555555555,
  0x0000000199999999, 0x00000002aaaaaaaa,
  0x00000000cccccccc, 0x0000000155555555,
  0x0000000066666666, 0x00000000aaaaaaaa,
  0x0000000033333333, 0x0000000055555555,
  0x0000000019999999, 0x000000002aaaaaaa,
  0x000000000ccccccc, 0x0000000015555555,
  0x0000000006666666, 0x000000000aaaaaaa,
  0x0000000003333333, 0x0000000005555555,
  0x0000000001999999, 0x0000000002aaaaaa,
  0x0000000000cccccc, 0x0000000001555555,
  0x0000000000666666, 0x0000000000aaaaaa,
  0x0000000000333333, 0x0000000000555555,
  0x0000000000199999, 0x00000000002aaaaa,
  0x00000000000ccccc, 0x0000000000155555,
  0x0000000000066666, 0x00000000000aaaaa,
  0x0000000000033333, 0x0000000000055555,
  0x0000000000019999, 0x000000000002aaaa,
  0x000000000000cccc, 0x0000000000015555,
  0x0000000000006666, 0x000000000000aaaa,
  0x0000000000003333, 0x0000000000005555,
  0x0000000000001999, 0x0000000000002aaa,
  0x0000000000000ccc, 0x0000000000001555,
  0x0000000000000666, 0x0000000000000aaa,
  0x0000000000000333, 0x0000000000000555,
  0x0000000000000199, 0x00000000000002aa,
  0x00000000000000cc, 0x0000000000000155,
  0x0000000000000066, 0x00000000000000aa,
  0x0000000000000033, 0x0000000000000055,
  0x0000000000000019, 0x000000000000002a,
  0x000000000000000c, 0x0000000000000015,
  0x0000000000000006, 0x000000000000000a,
  0x0000000000000003, 0x0000000000000005,
  0x0000000000000001, 0x0000000000000002,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x2aaaaaaaaaaaaaaa, 0x3ffffffffffffffe,
  0x1555555555555555, 0x1fffffffffffffff,
  0x0aaaaaaaaaaaaaaa, 0x0fffffffffffffff,
  0x0555555555555555, 0x07ffffffffffffff,
  0x02aaaaaaaaaaaaaa, 0x03ffffffffffffff,
  0x0155555555555555, 0x01ffffffffffffff,
  0x00aaaaaaaaaaaaaa, 0x00ffffffffffffff,
  0x0055555555555555, 0x007fffffffffffff,
  0x002aaaaaaaaaaaaa, 0x003fffffffffffff,
  0x0015555555555555, 0x001fffffffffffff,
  0x000aaaaaaaaaaaaa, 0x000fffffffffffff,
  0x0005555555555555, 0x0007ffffffffffff,
  0x0002aaaaaaaaaaaa, 0x0003ffffffffffff,
  0x0001555555555555, 0x0001ffffffffffff,
  0x0000aaaaaaaaaaaa, 0x0000ffffffffffff,
  0x0000555555555555, 0x00007fffffffffff,
  0x00002aaaaaaaaaaa, 0x00003fffffffffff,
  0x0000155555555555, 0x00001fffffffffff,
  0x00000aaaaaaaaaaa, 0x00000fffffffffff,
  0x0000055555555555, 0x000007ffffffffff,
  0x000002aaaaaaaaaa, 0x000003ffffffffff,
  0x0000015555555555, 0x000001ffffffffff,
  0x000000aaaaaaaaaa, 0x000000ffffffffff,
  0x0000005555555555, 0x0000007fffffffff,
  0x0000002aaaaaaaaa, 0x0000003fffffffff,
  0x0000001555555555, 0x0000001fffffffff,
  0x0000000aaaaaaaaa, 0x0000000fffffffff,
  0x0000000555555555, 0x00000007ffffffff,
  0x00000002aaaaaaaa, 0x00000003ffffffff,
  0x0000000155555555, 0x00000001ffffffff,
  0x00000000aaaaaaaa, 0x00000000ffffffff,
  0x0000000055555555, 0x000000007fffffff,
  0x000000002aaaaaaa, 0x000000003fffffff,
  0x0000000015555555, 0x000000001fffffff,
  0x000000000aaaaaaa, 0x000000000fffffff,
  0x0000000005555555, 0x0000000007ffffff,
  0x0000000002aaaaaa, 0x0000000003ffffff,
  0x0000000001555555, 0x0000000001ffffff,
  0x0000000000aaaaaa, 0x0000000000ffffff,
  0x0000000000555555, 0x00000000007fffff,
  0x00000000002aaaaa, 0x00000000003fffff,
  0x0000000000155555, 0x00000000001fffff,
  0x00000000000aaaaa, 0x00000000000fffff,
  0x0000000000055555, 0x000000000007ffff,
  0x000000000002aaaa, 0x000000000003ffff,
  0x0000000000015555, 0x000000000001ffff,
  0x000000000000aaaa, 0x000000000000ffff,
  0x0000000000005555, 0x0000000000007fff,
  0x0000000000002aaa, 0x0000000000003fff,
  0x0000000000001555, 0x0000000000001fff,
  0x0000000000000aaa, 0x0000000000000fff,
  0x0000000000000555, 0x00000000000007ff,
  0x00000000000002aa, 0x00000000000003ff,
  0x0000000000000155, 0x00000000000001ff,
  0x00000000000000aa, 0x00000000000000ff,
  0x0000000000000055, 0x000000000000007f,
  0x000000000000002a, 0x000000000000003f,
  0x0000000000000015, 0x000000000000001f,
  0x000000000000000a, 0x000000000000000f,
  0x0000000000000005, 0x0000000000000007,
  0x0000000000000002, 0x0000000000000003,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x3ffffffffffffffe, 0x3fffffffffffffff,
  0x1fffffffffffffff, 0x1fffffffffffffff,
  0x0fffffffffffffff, 0x0fffffffffffffff,
  0x07ffffffffffffff, 0x07ffffffffffffff,
  0x03ffffffffffffff, 0x03ffffffffffffff,
  0x01ffffffffffffff, 0x01ffffffffffffff,
  0x00ffffffffffffff, 0x00ffffffffffffff,
  0x007fffffffffffff, 0x007fffffffffffff,
  0x003fffffffffffff, 0x003fffffffffffff,
  0x001fffffffffffff, 0x001fffffffffffff,
  0x000fffffffffffff, 0x000fffffffffffff,
  0x0007ffffffffffff, 0x0007ffffffffffff,
  0x0003ffffffffffff, 0x0003ffffffffffff,
  0x0001ffffffffffff, 0x0001ffffffffffff,
  0x0000ffffffffffff, 0x0000ffffffffffff,
  0x00007fffffffffff, 0x00007fffffffffff,
  0x00003fffffffffff, 0x00003fffffffffff,
  0x00001fffffffffff, 0x00001fffffffffff,
  0x00000fffffffffff, 0x00000fffffffffff,
  0x000007ffffffffff, 0x000007ffffffffff,
  0x000003ffffffffff, 0x000003ffffffffff,
  0x000001ffffffffff, 0x000001ffffffffff,
  0x000000ffffffffff, 0x000000ffffffffff,
  0x0000007fffffffff, 0x0000007fffffffff,
  0x0000003fffffffff, 0x0000003fffffffff,
  0x0000001fffffffff, 0x0000001fffffffff,
  0x0000000fffffffff, 0x0000000fffffffff,
  0x00000007ffffffff, 0x00000007ffffffff,
  0x00000003ffffffff, 0x00000003ffffffff,
  0x00000001ffffffff, 0x00000001ffffffff,
  0x00000000ffffffff, 0x00000000ffffffff,
  0x000000007fffffff, 0x000000007fffffff,
  0x000000003fffffff, 0x000000003fffffff,
  0x000000001fffffff, 0x000000001fffffff,
  0x000000000fffffff, 0x000000000fffffff,
  0x0000000007ffffff, 0x0000000007ffffff,
  0x0000000003ffffff, 0x0000000003ffffff,
  0x0000000001ffffff, 0x0000000001ffffff,
  0x0000000000ffffff, 0x0000000000ffffff,
  0x00000000007fffff, 0x00000000007fffff,
  0x00000000003fffff, 0x00000000003fffff,
  0x00000000001fffff, 0x00000000001fffff,
  0x00000000000fffff, 0x00000000000fffff,
  0x000000000007ffff, 0x000000000007ffff,
  0x000000000003ffff, 0x000000000003ffff,
  0x000000000001ffff, 0x000000000001ffff,
  0x000000000000ffff, 0x000000000000ffff,
  0x0000000000007fff, 0x0000000000007fff,
  0x0000000000003fff, 0x0000000000003fff,
  0x0000000000001fff, 0x0000000000001fff,
  0x0000000000000fff, 0x0000000000000fff,
  0x00000000000007ff, 0x00000000000007ff,
  0x00000000000003ff, 0x00000000000003ff,
  0x00000000000001ff, 0x00000000000001ff,
  0x00000000000000ff, 0x00000000000000ff,
  0x000000000000007f, 0x000000000000007f,
  0x000000000000003f, 0x000000000000003f,
  0x000000000000001f, 0x000000000000001f,
  0x000000000000000f, 0x000000000000000f,
  0x0000000000000007, 0x0000000000000007,
  0x0000000000000003, 0x0000000000000003,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x3fffffffffffffff, 0x3fffffffffffffff,
  0x1fffffffffffffff, 0x1fffffffffffffff,
  0x0fffffffffffffff, 0x0fffffffffffffff,
  0x07ffffffffffffff, 0x07ffffffffffffff,
  0x03ffffffffffffff, 0x03ffffffffffffff,
  0x01ffffffffffffff, 0x01ffffffffffffff,
  0x00ffffffffffffff, 0x00ffffffffffffff,
  0x007fffffffffffff, 0x007fffffffffffff,
  0x003fffffffffffff, 0x003fffffffffffff,
  0x001fffffffffffff, 0x001fffffffffffff,
  0x000fffffffffffff, 0x000fffffffffffff,
  0x0007ffffffffffff, 0x0007ffffffffffff,
  0x0003ffffffffffff, 0x0003ffffffffffff,
  0x0001ffffffffffff, 0x0001ffffffffffff,
  0x0000ffffffffffff, 0x0000ffffffffffff,
  0x00007fffffffffff, 0x00007fffffffffff,
  0x00003fffffffffff, 0x00003fffffffffff,
  0x00001fffffffffff, 0x00001fffffffffff,
  0x00000fffffffffff, 0x00000fffffffffff,
  0x000007ffffffffff, 0x000007ffffffffff,
  0x000003ffffffffff, 0x000003ffffffffff,
  0x000001ffffffffff, 0x000001ffffffffff,
  0x000000ffffffffff, 0x000000ffffffffff,
  0x0000007fffffffff, 0x0000007fffffffff,
  0x0000003fffffffff, 0x0000003fffffffff,
  0x0000001fffffffff, 0x0000001fffffffff,
  0x0000000fffffffff, 0x0000000fffffffff,
  0x00000007ffffffff, 0x00000007ffffffff,
  0x00000003ffffffff, 0x00000003ffffffff,
  0x00000001ffffffff, 0x00000001ffffffff,
  0x00000000ffffffff, 0x00000000ffffffff,
  0x000000007fffffff, 0x000000007fffffff,
  0x000000003fffffff, 0x000000003fffffff,
  0x000000001fffffff, 0x000000001fffffff,
  0x000000000fffffff, 0x000000000fffffff,
  0x0000000007ffffff, 0x0000000007ffffff,
  0x0000000003ffffff, 0x0000000003ffffff,
  0x0000000001ffffff, 0x0000000001ffffff,
  0x0000000000ffffff, 0x0000000000ffffff,
  0x00000000007fffff, 0x00000000007fffff,
  0x00000000003fffff, 0x00000000003fffff,
  0x00000000001fffff, 0x00000000001fffff,
  0x00000000000fffff, 0x00000000000fffff,
  0x000000000007ffff, 0x000000000007ffff,
  0x000000000003ffff, 0x000000000003ffff,
  0x000000000001ffff, 0x000000000001ffff,
  0x000000000000ffff, 0x000000000000ffff,
  0x0000000000007fff, 0x0000000000007fff,
  0x0000000000003fff, 0x0000000000003fff,
  0x0000000000001fff, 0x0000000000001fff,
  0x0000000000000fff, 0x0000000000000fff,
  0x00000000000007ff, 0x00000000000007ff,
  0x00000000000003ff, 0x00000000000003ff,
  0x00000000000001ff, 0x00000000000001ff,
  0x00000000000000ff, 0x00000000000000ff,
  0x000000000000007f, 0x000000000000007f,
  0x000000000000003f, 0x000000000000003f,
  0x000000000000001f, 0x000000000000001f,
  0x000000000000000f, 0x000000000000000f,
  0x0000000000000007, 0x0000000000000007,
  0x0000000000000003, 0x0000000000000003,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x3fffffffffffffff, 0x4000000000000000,
  0x1fffffffffffffff, 0x6000000000000000,
  0x0fffffffffffffff, 0x7000000000000000,
  0x07ffffffffffffff, 0x7800000000000000,
  0x03ffffffffffffff, 0x7c00000000000000,
  0x01ffffffffffffff, 0x7e00000000000000,
  0x00ffffffffffffff, 0x7f00000000000000,
  0x007fffffffffffff, 0x7f80000000000000,
  0x003fffffffffffff, 0x7fc0000000000000,
  0x001fffffffffffff, 0x7fe0000000000000,
  0x000fffffffffffff, 0x7ff0000000000000,
  0x0007ffffffffffff, 0x7ff8000000000000,
  0x0003ffffffffffff, 0x7ffc000000000000,
  0x0001ffffffffffff, 0x7ffe000000000000,
  0x0000ffffffffffff, 0x7fff000000000000,
  0x00007fffffffffff, 0x7fff800000000000,
  0x00003fffffffffff, 0x7fffc00000000000,
  0x00001fffffffffff, 0x7fffe00000000000,
  0x00000fffffffffff, 0x7ffff00000000000,
  0x000007ffffffffff, 0x7ffff80000000000,
  0x000003ffffffffff, 0x7ffffc0000000000,
  0x000001ffffffffff, 0x7ffffe0000000000,
  0x000000ffffffffff, 0x7fffff0000000000,
  0x0000007fffffffff, 0x7fffff8000000000,
  0x0000003fffffffff, 0x7fffffc000000000,
  0x0000001fffffffff, 0x7fffffe000000000,
  0x0000000fffffffff, 0x7ffffff000000000,
  0x00000007ffffffff, 0x7ffffff800000000,
  0x00000003ffffffff, 0x7ffffffc00000000,
  0x00000001ffffffff, 0x7ffffffe00000000,
  0x00000000ffffffff, 0x7fffffff00000000,
  0x000000007fffffff, 0x7fffffff80000000,
  0x000000003fffffff, 0x7fffffffc0000000,
  0x000000001fffffff, 0x7fffffffe0000000,
  0x000000000fffffff, 0x7ffffffff0000000,
  0x0000000007ffffff, 0x7ffffffff8000000,
  0x0000000003ffffff, 0x7ffffffffc000000,
  0x0000000001ffffff, 0x7ffffffffe000000,
  0x0000000000ffffff, 0x7fffffffff000000,
  0x00000000007fffff, 0x7fffffffff800000,
  0x00000000003fffff, 0x7fffffffffc00000,
  0x00000000001fffff, 0x7fffffffffe00000,
  0x00000000000fffff, 0x7ffffffffff00000,
  0x000000000007ffff, 0x7ffffffffff80000,
  0x000000000003ffff, 0x7ffffffffffc0000,
  0x000000000001ffff, 0x7ffffffffffe0000,
  0x000000000000ffff, 0x7fffffffffff0000,
  0x0000000000007fff, 0x7fffffffffff8000,
  0x0000000000003fff, 0x7fffffffffffc000,
  0x0000000000001fff, 0x7fffffffffffe000,
  0x0000000000000fff, 0x7ffffffffffff000,
  0x00000000000007ff, 0x7ffffffffffff800,
  0x00000000000003ff, 0x7ffffffffffffc00,
  0x00000000000001ff, 0x7ffffffffffffe00,
  0x00000000000000ff, 0x7fffffffffffff00,
  0x000000000000007f, 0x7fffffffffffff80,
  0x000000000000003f, 0x7fffffffffffffc0,
  0x000000000000001f, 0x7fffffffffffffe0,
  0x000000000000000f, 0x7ffffffffffffff0,
  0x0000000000000007, 0x7ffffffffffffff8,
  0x0000000000000003, 0x7ffffffffffffffc,
  0x0000000000000001, 0x7ffffffffffffffe,
  0x0000000000000000, 0x7fffffffffffffff,
  0x0000000000000000, 0x7fffffffffffffff,
  0x4000000000000000, 0x4000000000000000,
  0x6000000000000000, 0x6000000000000000,
  0x7000000000000000, 0x7000000000000000,
  0x7800000000000000, 0x7800000000000000,
  0x7c00000000000000, 0x7c00000000000000,
  0x7e00000000000000, 0x7e00000000000000,
  0x7f00000000000000, 0x7f00000000000000,
  0x7f80000000000000, 0x7f80000000000000,
  0x7fc0000000000000, 0x7fc0000000000000,
  0x7fe0000000000000, 0x7fe0000000000000,
  0x7ff0000000000000, 0x7ff0000000000000,
  0x7ff8000000000000, 0x7ff8000000000000,
  0x7ffc000000000000, 0x7ffc000000000000,
  0x7ffe000000000000, 0x7ffe000000000000,
  0x7fff000000000000, 0x7fff000000000000,
  0x7fff800000000000, 0x7fff800000000000,
  0x7fffc00000000000, 0x7fffc00000000000,
  0x7fffe00000000000, 0x7fffe00000000000,
  0x7ffff00000000000, 0x7ffff00000000000,
  0x7ffff80000000000, 0x7ffff80000000000,
  0x7ffffc0000000000, 0x7ffffc0000000000,
  0x7ffffe0000000000, 0x7ffffe0000000000,
  0x7fffff0000000000, 0x7fffff0000000000,
  0x7fffff8000000000, 0x7fffff8000000000,
  0x7fffffc000000000, 0x7fffffc000000000,
  0x7fffffe000000000, 0x7fffffe000000000,
  0x7ffffff000000000, 0x7ffffff000000000,
  0x7ffffff800000000, 0x7ffffff800000000,
  0x7ffffffc00000000, 0x7ffffffc00000000,
  0x7ffffffe00000000, 0x7ffffffe00000000,
  0x7fffffff00000000, 0x7fffffff00000000,
  0x7fffffff80000000, 0x7fffffff80000000,
  0x7fffffffc0000000, 0x7fffffffc0000000,
  0x7fffffffe0000000, 0x7fffffffe0000000,
  0x7ffffffff0000000, 0x7ffffffff0000000,
  0x7ffffffff8000000, 0x7ffffffff8000000,
  0x7ffffffffc000000, 0x7ffffffffc000000,
  0x7ffffffffe000000, 0x7ffffffffe000000,
  0x7fffffffff000000, 0x7fffffffff000000,
  0x7fffffffff800000, 0x7fffffffff800000,
  0x7fffffffffc00000, 0x7fffffffffc00000,
  0x7fffffffffe00000, 0x7fffffffffe00000,
  0x7ffffffffff00000, 0x7ffffffffff00000,
  0x7ffffffffff80000, 0x7ffffffffff80000,
  0x7ffffffffffc0000, 0x7ffffffffffc0000,
  0x7ffffffffffe0000, 0x7ffffffffffe0000,
  0x7fffffffffff0000, 0x7fffffffffff0000,
  0x7fffffffffff8000, 0x7fffffffffff8000,
  0x7fffffffffffc000, 0x7fffffffffffc000,
  0x7fffffffffffe000, 0x7fffffffffffe000,
  0x7ffffffffffff000, 0x7ffffffffffff000,
  0x7ffffffffffff800, 0x7ffffffffffff800,
  0x7ffffffffffffc00, 0x7ffffffffffffc00,
  0x7ffffffffffffe00, 0x7ffffffffffffe00,
  0x7fffffffffffff00, 0x7fffffffffffff00,
  0x7fffffffffffff80, 0x7fffffffffffff80,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x7fffffffffffffe0, 0x7fffffffffffffe0,
  0x7ffffffffffffff0, 0x7ffffffffffffff0,
  0x7ffffffffffffff8, 0x7ffffffffffffff8,
  0x7ffffffffffffffc, 0x7ffffffffffffffc,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x4000000000000000, 0x4000000000000001,
  0x6000000000000000, 0x6000000000000000,
  0x7000000000000000, 0x7000000000000000,
  0x7800000000000000, 0x7800000000000000,
  0x7c00000000000000, 0x7c00000000000000,
  0x7e00000000000000, 0x7e00000000000000,
  0x7f00000000000000, 0x7f00000000000000,
  0x7f80000000000000, 0x7f80000000000000,
  0x7fc0000000000000, 0x7fc0000000000000,
  0x7fe0000000000000, 0x7fe0000000000000,
  0x7ff0000000000000, 0x7ff0000000000000,
  0x7ff8000000000000, 0x7ff8000000000000,
  0x7ffc000000000000, 0x7ffc000000000000,
  0x7ffe000000000000, 0x7ffe000000000000,
  0x7fff000000000000, 0x7fff000000000000,
  0x7fff800000000000, 0x7fff800000000000,
  0x7fffc00000000000, 0x7fffc00000000000,
  0x7fffe00000000000, 0x7fffe00000000000,
  0x7ffff00000000000, 0x7ffff00000000000,
  0x7ffff80000000000, 0x7ffff80000000000,
  0x7ffffc0000000000, 0x7ffffc0000000000,
  0x7ffffe0000000000, 0x7ffffe0000000000,
  0x7fffff0000000000, 0x7fffff0000000000,
  0x7fffff8000000000, 0x7fffff8000000000,
  0x7fffffc000000000, 0x7fffffc000000000,
  0x7fffffe000000000, 0x7fffffe000000000,
  0x7ffffff000000000, 0x7ffffff000000000,
  0x7ffffff800000000, 0x7ffffff800000000,
  0x7ffffffc00000000, 0x7ffffffc00000000,
  0x7ffffffe00000000, 0x7ffffffe00000000,
  0x7fffffff00000000, 0x7fffffff00000000,
  0x7fffffff80000000, 0x7fffffff80000000,
  0x7fffffffc0000000, 0x7fffffffc0000000,
  0x7fffffffe0000000, 0x7fffffffe0000000,
  0x7ffffffff0000000, 0x7ffffffff0000000,
  0x7ffffffff8000000, 0x7ffffffff8000000,
  0x7ffffffffc000000, 0x7ffffffffc000000,
  0x7ffffffffe000000, 0x7ffffffffe000000,
  0x7fffffffff000000, 0x7fffffffff000000,
  0x7fffffffff800000, 0x7fffffffff800000,
  0x7fffffffffc00000, 0x7fffffffffc00000,
  0x7fffffffffe00000, 0x7fffffffffe00000,
  0x7ffffffffff00000, 0x7ffffffffff00000,
  0x7ffffffffff80000, 0x7ffffffffff80000,
  0x7ffffffffffc0000, 0x7ffffffffffc0000,
  0x7ffffffffffe0000, 0x7ffffffffffe0000,
  0x7fffffffffff0000, 0x7fffffffffff0000,
  0x7fffffffffff8000, 0x7fffffffffff8000,
  0x7fffffffffffc000, 0x7fffffffffffc000,
  0x7fffffffffffe000, 0x7fffffffffffe000,
  0x7ffffffffffff000, 0x7ffffffffffff000,
  0x7ffffffffffff800, 0x7ffffffffffff800,
  0x7ffffffffffffc00, 0x7ffffffffffffc00,
  0x7ffffffffffffe00, 0x7ffffffffffffe00,
  0x7fffffffffffff00, 0x7fffffffffffff00,
  0x7fffffffffffff80, 0x7fffffffffffff80,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x7fffffffffffffe0, 0x7fffffffffffffe0,
  0x7ffffffffffffff0, 0x7ffffffffffffff0,
  0x7ffffffffffffff8, 0x7ffffffffffffff8,
  0x7ffffffffffffffc, 0x7ffffffffffffffc,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x4000000000000001, 0x4000000000000001,
  0x6000000000000000, 0x6000000000000000,
  0x7000000000000000, 0x7000000000000000,
  0x7800000000000000, 0x7800000000000000,
  0x7c00000000000000, 0x7c00000000000000,
  0x7e00000000000000, 0x7e00000000000000,
  0x7f00000000000000, 0x7f00000000000000,
  0x7f80000000000000, 0x7f80000000000000,
  0x7fc0000000000000, 0x7fc0000000000000,
  0x7fe0000000000000, 0x7fe0000000000000,
  0x7ff0000000000000, 0x7ff0000000000000,
  0x7ff8000000000000, 0x7ff8000000000000,
  0x7ffc000000000000, 0x7ffc000000000000,
  0x7ffe000000000000, 0x7ffe000000000000,
  0x7fff000000000000, 0x7fff000000000000,
  0x7fff800000000000, 0x7fff800000000000,
  0x7fffc00000000000, 0x7fffc00000000000,
  0x7fffe00000000000, 0x7fffe00000000000,
  0x7ffff00000000000, 0x7ffff00000000000,
  0x7ffff80000000000, 0x7ffff80000000000,
  0x7ffffc0000000000, 0x7ffffc0000000000,
  0x7ffffe0000000000, 0x7ffffe0000000000,
  0x7fffff0000000000, 0x7fffff0000000000,
  0x7fffff8000000000, 0x7fffff8000000000,
  0x7fffffc000000000, 0x7fffffc000000000,
  0x7fffffe000000000, 0x7fffffe000000000,
  0x7ffffff000000000, 0x7ffffff000000000,
  0x7ffffff800000000, 0x7ffffff800000000,
  0x7ffffffc00000000, 0x7ffffffc00000000,
  0x7ffffffe00000000, 0x7ffffffe00000000,
  0x7fffffff00000000, 0x7fffffff00000000,
  0x7fffffff80000000, 0x7fffffff80000000,
  0x7fffffffc0000000, 0x7fffffffc0000000,
  0x7fffffffe0000000, 0x7fffffffe0000000,
  0x7ffffffff0000000, 0x7ffffffff0000000,
  0x7ffffffff8000000, 0x7ffffffff8000000,
  0x7ffffffffc000000, 0x7ffffffffc000000,
  0x7ffffffffe000000, 0x7ffffffffe000000,
  0x7fffffffff000000, 0x7fffffffff000000,
  0x7fffffffff800000, 0x7fffffffff800000,
  0x7fffffffffc00000, 0x7fffffffffc00000,
  0x7fffffffffe00000, 0x7fffffffffe00000,
  0x7ffffffffff00000, 0x7ffffffffff00000,
  0x7ffffffffff80000, 0x7ffffffffff80000,
  0x7ffffffffffc0000, 0x7ffffffffffc0000,
  0x7ffffffffffe0000, 0x7ffffffffffe0000,
  0x7fffffffffff0000, 0x7fffffffffff0000,
  0x7fffffffffff8000, 0x7fffffffffff8000,
  0x7fffffffffffc000, 0x7fffffffffffc000,
  0x7fffffffffffe000, 0x7fffffffffffe000,
  0x7ffffffffffff000, 0x7ffffffffffff000,
  0x7ffffffffffff800, 0x7ffffffffffff800,
  0x7ffffffffffffc00, 0x7ffffffffffffc00,
  0x7ffffffffffffe00, 0x7ffffffffffffe00,
  0x7fffffffffffff00, 0x7fffffffffffff00,
  0x7fffffffffffff80, 0x7fffffffffffff80,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x7fffffffffffffe0, 0x7fffffffffffffe0,
  0x7ffffffffffffff0, 0x7ffffffffffffff0,
  0x7ffffffffffffff8, 0x7ffffffffffffff8,
  0x7ffffffffffffffc, 0x7ffffffffffffffc,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x4000000000000001, 0x5555555555555555,
  0x6000000000000000, 0x6aaaaaaaaaaaaaaa,
  0x7000000000000000, 0x7555555555555555,
  0x7800000000000000, 0x7aaaaaaaaaaaaaaa,
  0x7c00000000000000, 0x7d55555555555555,
  0x7e00000000000000, 0x7eaaaaaaaaaaaaaa,
  0x7f00000000000000, 0x7f55555555555555,
  0x7f80000000000000, 0x7faaaaaaaaaaaaaa,
  0x7fc0000000000000, 0x7fd5555555555555,
  0x7fe0000000000000, 0x7feaaaaaaaaaaaaa,
  0x7ff0000000000000, 0x7ff5555555555555,
  0x7ff8000000000000, 0x7ffaaaaaaaaaaaaa,
  0x7ffc000000000000, 0x7ffd555555555555,
  0x7ffe000000000000, 0x7ffeaaaaaaaaaaaa,
  0x7fff000000000000, 0x7fff555555555555,
  0x7fff800000000000, 0x7fffaaaaaaaaaaaa,
  0x7fffc00000000000, 0x7fffd55555555555,
  0x7fffe00000000000, 0x7fffeaaaaaaaaaaa,
  0x7ffff00000000000, 0x7ffff55555555555,
  0x7ffff80000000000, 0x7ffffaaaaaaaaaaa,
  0x7ffffc0000000000, 0x7ffffd5555555555,
  0x7ffffe0000000000, 0x7ffffeaaaaaaaaaa,
  0x7fffff0000000000, 0x7fffff5555555555,
  0x7fffff8000000000, 0x7fffffaaaaaaaaaa,
  0x7fffffc000000000, 0x7fffffd555555555,
  0x7fffffe000000000, 0x7fffffeaaaaaaaaa,
  0x7ffffff000000000, 0x7ffffff555555555,
  0x7ffffff800000000, 0x7ffffffaaaaaaaaa,
  0x7ffffffc00000000, 0x7ffffffd55555555,
  0x7ffffffe00000000, 0x7ffffffeaaaaaaaa,
  0x7fffffff00000000, 0x7fffffff55555555,
  0x7fffffff80000000, 0x7fffffffaaaaaaaa,
  0x7fffffffc0000000, 0x7fffffffd5555555,
  0x7fffffffe0000000, 0x7fffffffeaaaaaaa,
  0x7ffffffff0000000, 0x7ffffffff5555555,
  0x7ffffffff8000000, 0x7ffffffffaaaaaaa,
  0x7ffffffffc000000, 0x7ffffffffd555555,
  0x7ffffffffe000000, 0x7ffffffffeaaaaaa,
  0x7fffffffff000000, 0x7fffffffff555555,
  0x7fffffffff800000, 0x7fffffffffaaaaaa,
  0x7fffffffffc00000, 0x7fffffffffd55555,
  0x7fffffffffe00000, 0x7fffffffffeaaaaa,
  0x7ffffffffff00000, 0x7ffffffffff55555,
  0x7ffffffffff80000, 0x7ffffffffffaaaaa,
  0x7ffffffffffc0000, 0x7ffffffffffd5555,
  0x7ffffffffffe0000, 0x7ffffffffffeaaaa,
  0x7fffffffffff0000, 0x7fffffffffff5555,
  0x7fffffffffff8000, 0x7fffffffffffaaaa,
  0x7fffffffffffc000, 0x7fffffffffffd555,
  0x7fffffffffffe000, 0x7fffffffffffeaaa,
  0x7ffffffffffff000, 0x7ffffffffffff555,
  0x7ffffffffffff800, 0x7ffffffffffffaaa,
  0x7ffffffffffffc00, 0x7ffffffffffffd55,
  0x7ffffffffffffe00, 0x7ffffffffffffeaa,
  0x7fffffffffffff00, 0x7fffffffffffff55,
  0x7fffffffffffff80, 0x7fffffffffffffaa,
  0x7fffffffffffffc0, 0x7fffffffffffffd5,
  0x7fffffffffffffe0, 0x7fffffffffffffea,
  0x7ffffffffffffff0, 0x7ffffffffffffff5,
  0x7ffffffffffffff8, 0x7ffffffffffffffa,
  0x7ffffffffffffffc, 0x7ffffffffffffffd,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x5555555555555555, 0x6666666666666666,
  0x6aaaaaaaaaaaaaaa, 0x7333333333333333,
  0x7555555555555555, 0x7999999999999999,
  0x7aaaaaaaaaaaaaaa, 0x7ccccccccccccccc,
  0x7d55555555555555, 0x7e66666666666666,
  0x7eaaaaaaaaaaaaaa, 0x7f33333333333333,
  0x7f55555555555555, 0x7f99999999999999,
  0x7faaaaaaaaaaaaaa, 0x7fcccccccccccccc,
  0x7fd5555555555555, 0x7fe6666666666666,
  0x7feaaaaaaaaaaaaa, 0x7ff3333333333333,
  0x7ff5555555555555, 0x7ff9999999999999,
  0x7ffaaaaaaaaaaaaa, 0x7ffccccccccccccc,
  0x7ffd555555555555, 0x7ffe666666666666,
  0x7ffeaaaaaaaaaaaa, 0x7fff333333333333,
  0x7fff555555555555, 0x7fff999999999999,
  0x7fffaaaaaaaaaaaa, 0x7fffcccccccccccc,
  0x7fffd55555555555, 0x7fffe66666666666,
  0x7fffeaaaaaaaaaaa, 0x7ffff33333333333,
  0x7ffff55555555555, 0x7ffff99999999999,
  0x7ffffaaaaaaaaaaa, 0x7ffffccccccccccc,
  0x7ffffd5555555555, 0x7ffffe6666666666,
  0x7ffffeaaaaaaaaaa, 0x7fffff3333333333,
  0x7fffff5555555555, 0x7fffff9999999999,
  0x7fffffaaaaaaaaaa, 0x7fffffcccccccccc,
  0x7fffffd555555555, 0x7fffffe666666666,
  0x7fffffeaaaaaaaaa, 0x7ffffff333333333,
  0x7ffffff555555555, 0x7ffffff999999999,
  0x7ffffffaaaaaaaaa, 0x7ffffffccccccccc,
  0x7ffffffd55555555, 0x7ffffffe66666666,
  0x7ffffffeaaaaaaaa, 0x7fffffff33333333,
  0x7fffffff55555555, 0x7fffffff99999999,
  0x7fffffffaaaaaaaa, 0x7fffffffcccccccc,
  0x7fffffffd5555555, 0x7fffffffe6666666,
  0x7fffffffeaaaaaaa, 0x7ffffffff3333333,
  0x7ffffffff5555555, 0x7ffffffff9999999,
  0x7ffffffffaaaaaaa, 0x7ffffffffccccccc,
  0x7ffffffffd555555, 0x7ffffffffe666666,
  0x7ffffffffeaaaaaa, 0x7fffffffff333333,
  0x7fffffffff555555, 0x7fffffffff999999,
  0x7fffffffffaaaaaa, 0x7fffffffffcccccc,
  0x7fffffffffd55555, 0x7fffffffffe66666,
  0x7fffffffffeaaaaa, 0x7ffffffffff33333,
  0x7ffffffffff55555, 0x7ffffffffff99999,
  0x7ffffffffffaaaaa, 0x7ffffffffffccccc,
  0x7ffffffffffd5555, 0x7ffffffffffe6666,
  0x7ffffffffffeaaaa, 0x7fffffffffff3333,
  0x7fffffffffff5555, 0x7fffffffffff9999,
  0x7fffffffffffaaaa, 0x7fffffffffffcccc,
  0x7fffffffffffd555, 0x7fffffffffffe666,
  0x7fffffffffffeaaa, 0x7ffffffffffff333,
  0x7ffffffffffff555, 0x7ffffffffffff999,
  0x7ffffffffffffaaa, 0x7ffffffffffffccc,
  0x7ffffffffffffd55, 0x7ffffffffffffe66,
  0x7ffffffffffffeaa, 0x7fffffffffffff33,
  0x7fffffffffffff55, 0x7fffffffffffff99,
  0x7fffffffffffffaa, 0x7fffffffffffffcc,
  0x7fffffffffffffd5, 0x7fffffffffffffe6,
  0x7fffffffffffffea, 0x7ffffffffffffff3,
  0x7ffffffffffffff5, 0x7ffffffffffffff9,
  0x7ffffffffffffffa, 0x7ffffffffffffffc,
  0x7ffffffffffffffd, 0x7ffffffffffffffe,
  0x7ffffffffffffffe, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x6666666666666666, 0x7fffffffc0000000,
  0x7333333333333333, 0x7fffffffe0000000,
  0x7999999999999999, 0x7ffffffff0000000,
  0x7ccccccccccccccc, 0x7ffffffff8000000,
  0x7e66666666666666, 0x7ffffffffc000000,
  0x7f33333333333333, 0x7ffffffffe000000,
  0x7f99999999999999, 0x7fffffffff000000,
  0x7fcccccccccccccc, 0x7fffffffff800000,
  0x7fe6666666666666, 0x7fffffffffc00000,
  0x7ff3333333333333, 0x7fffffffffe00000,
  0x7ff9999999999999, 0x7ffffffffff00000,
  0x7ffccccccccccccc, 0x7ffffffffff80000,
  0x7ffe666666666666, 0x7ffffffffffc0000,
  0x7fff333333333333, 0x7ffffffffffe0000,
  0x7fff999999999999, 0x7fffffffffff0000,
  0x7fffcccccccccccc, 0x7fffffffffff8000,
  0x7fffe66666666666, 0x7fffffffffffc000,
  0x7ffff33333333333, 0x7fffffffffffe000,
  0x7ffff99999999999, 0x7ffffffffffff000,
  0x7ffffccccccccccc, 0x7ffffffffffff800,
  0x7ffffe6666666666, 0x7ffffffffffffc00,
  0x7fffff3333333333, 0x7ffffffffffffe00,
  0x7fffff9999999999, 0x7fffffffffffff00,
  0x7fffffcccccccccc, 0x7fffffffffffff80,
  0x7fffffe666666666, 0x7fffffffffffffc0,
  0x7ffffff333333333, 0x7fffffffffffffe0,
  0x7ffffff999999999, 0x7ffffffffffffff0,
  0x7ffffffccccccccc, 0x7ffffffffffffff8,
  0x7ffffffe66666666, 0x7ffffffffffffffc,
  0x7fffffff33333333, 0x7ffffffffffffffe,
  0x7fffffff99999999, 0x7fffffffffffffff,
  0x7fffffffcccccccc, 0x7fffffffffffffff,
  0x7fffffffe6666666, 0x7fffffffffffffff,
  0x7ffffffff3333333, 0x7fffffffffffffff,
  0x7ffffffff9999999, 0x7fffffffffffffff,
  0x7ffffffffccccccc, 0x7fffffffffffffff,
  0x7ffffffffe666666, 0x7fffffffffffffff,
  0x7fffffffff333333, 0x7fffffffffffffff,
  0x7fffffffff999999, 0x7fffffffffffffff,
  0x7fffffffffcccccc, 0x7fffffffffffffff,
  0x7fffffffffe66666, 0x7fffffffffffffff,
  0x7ffffffffff33333, 0x7fffffffffffffff,
  0x7ffffffffff99999, 0x7fffffffffffffff,
  0x7ffffffffffccccc, 0x7fffffffffffffff,
  0x7ffffffffffe6666, 0x7fffffffffffffff,
  0x7fffffffffff3333, 0x7fffffffffffffff,
  0x7fffffffffff9999, 0x7fffffffffffffff,
  0x7fffffffffffcccc, 0x7fffffffffffffff,
  0x7fffffffffffe666, 0x7fffffffffffffff,
  0x7ffffffffffff333, 0x7fffffffffffffff,
  0x7ffffffffffff999, 0x7fffffffffffffff,
  0x7ffffffffffffccc, 0x7fffffffffffffff,
  0x7ffffffffffffe66, 0x7fffffffffffffff,
  0x7fffffffffffff33, 0x7fffffffffffffff,
  0x7fffffffffffff99, 0x7fffffffffffffff,
  0x7fffffffffffffcc, 0x7fffffffffffffff,
  0x7fffffffffffffe6, 0x7fffffffffffffff,
  0x7ffffffffffffff3, 0x7fffffffffffffff,
  0x7ffffffffffffff9, 0x7fffffffffffffff,
  0x7ffffffffffffffc, 0x7fffffffffffffff,
  0x7ffffffffffffffe, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffc0000000, 0x7fffffffc0000000,
  0x7fffffffe0000000, 0x7fffffffe0000000,
  0x7ffffffff0000000, 0x7ffffffff0000000,
  0x7ffffffff8000000, 0x7ffffffff8000000,
  0x7ffffffffc000000, 0x7ffffffffc000000,
  0x7ffffffffe000000, 0x7ffffffffe000000,
  0x7fffffffff000000, 0x7fffffffff000000,
  0x7fffffffff800000, 0x7fffffffff800000,
  0x7fffffffffc00000, 0x7fffffffffc00000,
  0x7fffffffffe00000, 0x7fffffffffe00000,
  0x7ffffffffff00000, 0x7ffffffffff00000,
  0x7ffffffffff80000, 0x7ffffffffff80000,
  0x7ffffffffffc0000, 0x7ffffffffffc0000,
  0x7ffffffffffe0000, 0x7ffffffffffe0000,
  0x7fffffffffff0000, 0x7fffffffffff0000,
  0x7fffffffffff8000, 0x7fffffffffff8000,
  0x7fffffffffffc000, 0x7fffffffffffc000,
  0x7fffffffffffe000, 0x7fffffffffffe000,
  0x7ffffffffffff000, 0x7ffffffffffff000,
  0x7ffffffffffff800, 0x7ffffffffffff800,
  0x7ffffffffffffc00, 0x7ffffffffffffc00,
  0x7ffffffffffffe00, 0x7ffffffffffffe00,
  0x7fffffffffffff00, 0x7fffffffffffff00,
  0x7fffffffffffff80, 0x7fffffffffffff80,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x7fffffffffffffe0, 0x7fffffffffffffe0,
  0x7ffffffffffffff0, 0x7ffffffffffffff0,
  0x7ffffffffffffff8, 0x7ffffffffffffff8,
  0x7ffffffffffffffc, 0x7ffffffffffffffc,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffc0000000, 0x7fffffffc0000001,
  0x7fffffffe0000000, 0x7fffffffe0000000,
  0x7ffffffff0000000, 0x7ffffffff0000000,
  0x7ffffffff8000000, 0x7ffffffff8000000,
  0x7ffffffffc000000, 0x7ffffffffc000000,
  0x7ffffffffe000000, 0x7ffffffffe000000,
  0x7fffffffff000000, 0x7fffffffff000000,
  0x7fffffffff800000, 0x7fffffffff800000,
  0x7fffffffffc00000, 0x7fffffffffc00000,
  0x7fffffffffe00000, 0x7fffffffffe00000,
  0x7ffffffffff00000, 0x7ffffffffff00000,
  0x7ffffffffff80000, 0x7ffffffffff80000,
  0x7ffffffffffc0000, 0x7ffffffffffc0000,
  0x7ffffffffffe0000, 0x7ffffffffffe0000,
  0x7fffffffffff0000, 0x7fffffffffff0000,
  0x7fffffffffff8000, 0x7fffffffffff8000,
  0x7fffffffffffc000, 0x7fffffffffffc000,
  0x7fffffffffffe000, 0x7fffffffffffe000,
  0x7ffffffffffff000, 0x7ffffffffffff000,
  0x7ffffffffffff800, 0x7ffffffffffff800,
  0x7ffffffffffffc00, 0x7ffffffffffffc00,
  0x7ffffffffffffe00, 0x7ffffffffffffe00,
  0x7fffffffffffff00, 0x7fffffffffffff00,
  0x7fffffffffffff80, 0x7fffffffffffff80,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x7fffffffffffffe0, 0x7fffffffffffffe0,
  0x7ffffffffffffff0, 0x7ffffffffffffff0,
  0x7ffffffffffffff8, 0x7ffffffffffffff8,
  0x7ffffffffffffffc, 0x7ffffffffffffffc,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffc0000001, 0x7fffffffc0000001,
  0x7fffffffe0000000, 0x7fffffffe0000000,
  0x7ffffffff0000000, 0x7ffffffff0000000,
  0x7ffffffff8000000, 0x7ffffffff8000000,
  0x7ffffffffc000000, 0x7ffffffffc000000,
  0x7ffffffffe000000, 0x7ffffffffe000000,
  0x7fffffffff000000, 0x7fffffffff000000,
  0x7fffffffff800000, 0x7fffffffff800000,
  0x7fffffffffc00000, 0x7fffffffffc00000,
  0x7fffffffffe00000, 0x7fffffffffe00000,
  0x7ffffffffff00000, 0x7ffffffffff00000,
  0x7ffffffffff80000, 0x7ffffffffff80000,
  0x7ffffffffffc0000, 0x7ffffffffffc0000,
  0x7ffffffffffe0000, 0x7ffffffffffe0000,
  0x7fffffffffff0000, 0x7fffffffffff0000,
  0x7fffffffffff8000, 0x7fffffffffff8000,
  0x7fffffffffffc000, 0x7fffffffffffc000,
  0x7fffffffffffe000, 0x7fffffffffffe000,
  0x7ffffffffffff000, 0x7ffffffffffff000,
  0x7ffffffffffff800, 0x7ffffffffffff800,
  0x7ffffffffffffc00, 0x7ffffffffffffc00,
  0x7ffffffffffffe00, 0x7ffffffffffffe00,
  0x7fffffffffffff00, 0x7fffffffffffff00,
  0x7fffffffffffff80, 0x7fffffffffffff80,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x7fffffffffffffe0, 0x7fffffffffffffe0,
  0x7ffffffffffffff0, 0x7ffffffffffffff0,
  0x7ffffffffffffff8, 0x7ffffffffffffff8,
  0x7ffffffffffffffc, 0x7ffffffffffffffc,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffc0000001, 0x7fffffffffffc000,
  0x7fffffffe0000000, 0x7fffffffffffe000,
  0x7ffffffff0000000, 0x7ffffffffffff000,
  0x7ffffffff8000000, 0x7ffffffffffff800,
  0x7ffffffffc000000, 0x7ffffffffffffc00,
  0x7ffffffffe000000, 0x7ffffffffffffe00,
  0x7fffffffff000000, 0x7fffffffffffff00,
  0x7fffffffff800000, 0x7fffffffffffff80,
  0x7fffffffffc00000, 0x7fffffffffffffc0,
  0x7fffffffffe00000, 0x7fffffffffffffe0,
  0x7ffffffffff00000, 0x7ffffffffffffff0,
  0x7ffffffffff80000, 0x7ffffffffffffff8,
  0x7ffffffffffc0000, 0x7ffffffffffffffc,
  0x7ffffffffffe0000, 0x7ffffffffffffffe,
  0x7fffffffffff0000, 0x7fffffffffffffff,
  0x7fffffffffff8000, 0x7fffffffffffffff,
  0x7fffffffffffc000, 0x7fffffffffffffff,
  0x7fffffffffffe000, 0x7fffffffffffffff,
  0x7ffffffffffff000, 0x7fffffffffffffff,
  0x7ffffffffffff800, 0x7fffffffffffffff,
  0x7ffffffffffffc00, 0x7fffffffffffffff,
  0x7ffffffffffffe00, 0x7fffffffffffffff,
  0x7fffffffffffff00, 0x7fffffffffffffff,
  0x7fffffffffffff80, 0x7fffffffffffffff,
  0x7fffffffffffffc0, 0x7fffffffffffffff,
  0x7fffffffffffffe0, 0x7fffffffffffffff,
  0x7ffffffffffffff0, 0x7fffffffffffffff,
  0x7ffffffffffffff8, 0x7fffffffffffffff,
  0x7ffffffffffffffc, 0x7fffffffffffffff,
  0x7ffffffffffffffe, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffc000, 0x7fffffffffffc000,
  0x7fffffffffffe000, 0x7fffffffffffe000,
  0x7ffffffffffff000, 0x7ffffffffffff000,
  0x7ffffffffffff800, 0x7ffffffffffff800,
  0x7ffffffffffffc00, 0x7ffffffffffffc00,
  0x7ffffffffffffe00, 0x7ffffffffffffe00,
  0x7fffffffffffff00, 0x7fffffffffffff00,
  0x7fffffffffffff80, 0x7fffffffffffff80,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x7fffffffffffffe0, 0x7fffffffffffffe0,
  0x7ffffffffffffff0, 0x7ffffffffffffff0,
  0x7ffffffffffffff8, 0x7ffffffffffffff8,
  0x7ffffffffffffffc, 0x7ffffffffffffffc,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffc000, 0x7fffffffffffc001,
  0x7fffffffffffe000, 0x7fffffffffffe000,
  0x7ffffffffffff000, 0x7ffffffffffff000,
  0x7ffffffffffff800, 0x7ffffffffffff800,
  0x7ffffffffffffc00, 0x7ffffffffffffc00,
  0x7ffffffffffffe00, 0x7ffffffffffffe00,
  0x7fffffffffffff00, 0x7fffffffffffff00,
  0x7fffffffffffff80, 0x7fffffffffffff80,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x7fffffffffffffe0, 0x7fffffffffffffe0,
  0x7ffffffffffffff0, 0x7ffffffffffffff0,
  0x7ffffffffffffff8, 0x7ffffffffffffff8,
  0x7ffffffffffffffc, 0x7ffffffffffffffc,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffc001, 0x7fffffffffffc001,
  0x7fffffffffffe000, 0x7fffffffffffe000,
  0x7ffffffffffff000, 0x7ffffffffffff000,
  0x7ffffffffffff800, 0x7ffffffffffff800,
  0x7ffffffffffffc00, 0x7ffffffffffffc00,
  0x7ffffffffffffe00, 0x7ffffffffffffe00,
  0x7fffffffffffff00, 0x7fffffffffffff00,
  0x7fffffffffffff80, 0x7fffffffffffff80,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x7fffffffffffffe0, 0x7fffffffffffffe0,
  0x7ffffffffffffff0, 0x7ffffffffffffff0,
  0x7ffffffffffffff8, 0x7ffffffffffffff8,
  0x7ffffffffffffffc, 0x7ffffffffffffffc,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffc001, 0x7fffffffffffffc0,
  0x7fffffffffffe000, 0x7fffffffffffffe0,
  0x7ffffffffffff000, 0x7ffffffffffffff0,
  0x7ffffffffffff800, 0x7ffffffffffffff8,
  0x7ffffffffffffc00, 0x7ffffffffffffffc,
  0x7ffffffffffffe00, 0x7ffffffffffffffe,
  0x7fffffffffffff00, 0x7fffffffffffffff,
  0x7fffffffffffff80, 0x7fffffffffffffff,
  0x7fffffffffffffc0, 0x7fffffffffffffff,
  0x7fffffffffffffe0, 0x7fffffffffffffff,
  0x7ffffffffffffff0, 0x7fffffffffffffff,
  0x7ffffffffffffff8, 0x7fffffffffffffff,
  0x7ffffffffffffffc, 0x7fffffffffffffff,
  0x7ffffffffffffffe, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffc0, 0x7fffffffffffffc0,
  0x7fffffffffffffe0, 0x7fffffffffffffe0,
  0x7ffffffffffffff0, 0x7ffffffffffffff0,
  0x7ffffffffffffff8, 0x7ffffffffffffff8,
  0x7ffffffffffffffc, 0x7ffffffffffffffc,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffc0, 0x7fffffffffffffc1,
  0x7fffffffffffffe0, 0x7fffffffffffffe0,
  0x7ffffffffffffff0, 0x7ffffffffffffff0,
  0x7ffffffffffffff8, 0x7ffffffffffffff8,
  0x7ffffffffffffffc, 0x7ffffffffffffffc,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffc1, 0x7fffffffffffffc1,
  0x7fffffffffffffe0, 0x7fffffffffffffe0,
  0x7ffffffffffffff0, 0x7ffffffffffffff0,
  0x7ffffffffffffff8, 0x7ffffffffffffff8,
  0x7ffffffffffffffc, 0x7ffffffffffffffc,
  0x7ffffffffffffffe, 0x7ffffffffffffffe,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffc1, 0x7fffffffffffffe0,
  0x7fffffffffffffe0, 0x7ffffffffffffff0,
  0x7ffffffffffffff0, 0x7ffffffffffffff8,
  0x7ffffffffffffff8, 0x7ffffffffffffffc,
  0x7ffffffffffffffc, 0x7ffffffffffffffe,
  0x7ffffffffffffffe, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffe0, 0x7ffffffffffffffe,
  0x7ffffffffffffff0, 0x7fffffffffffffff,
  0x7ffffffffffffff8, 0x7fffffffffffffff,
  0x7ffffffffffffffc, 0x7fffffffffffffff,
  0x7ffffffffffffffe, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7ffffffffffffffe, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
  0x7fffffffffffffff, 0x7fffffffffffffff,
};
const unsigned kExpectedCount_NEON_sri_2D_2OPIMM = 2560;

#endif  // VIXL_SIM_SRI_2D_2OPIMM_TRACE_A64_H_