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


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

#ifndef VIXL_SIM_SRSHR_2D_2OPIMM_TRACE_AARCH64_H_
#define VIXL_SIM_SRSHR_2D_2OPIMM_TRACE_AARCH64_H_

const uint64_t kExpected_NEON_srshr_2D_2OPIMM[] = {
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 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, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000001, 0x0000000000000020,
  0x0000000000000001, 0x0000000000000010,
  0x0000000000000000, 0x0000000000000008,
  0x0000000000000000, 0x0000000000000004,
  0x0000000000000000, 0x0000000000000002,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000020, 0x000000000000003f,
  0x0000000000000010, 0x000000000000001f,
  0x0000000000000008, 0x0000000000000010,
  0x0000000000000004, 0x0000000000000008,
  0x0000000000000002, 0x0000000000000004,
  0x0000000000000001, 0x0000000000000002,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x000000000000003f, 0x000000000000003f,
  0x000000000000001f, 0x0000000000000020,
  0x0000000000000010, 0x0000000000000010,
  0x0000000000000008, 0x0000000000000008,
  0x0000000000000004, 0x0000000000000004,
  0x0000000000000002, 0x0000000000000002,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x000000000000003f, 0x0000000000000040,
  0x0000000000000020, 0x0000000000000020,
  0x0000000000000010, 0x0000000000000010,
  0x0000000000000008, 0x0000000000000008,
  0x0000000000000004, 0x0000000000000004,
  0x0000000000000002, 0x0000000000000002,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000040, 0x0000000000003fff,
  0x0000000000000020, 0x0000000000001fff,
  0x0000000000000010, 0x0000000000001000,
  0x0000000000000008, 0x0000000000000800,
  0x0000000000000004, 0x0000000000000400,
  0x0000000000000002, 0x0000000000000200,
  0x0000000000000001, 0x0000000000000100,
  0x0000000000000000, 0x0000000000000080,
  0x0000000000000000, 0x0000000000000040,
  0x0000000000000000, 0x0000000000000020,
  0x0000000000000000, 0x0000000000000010,
  0x0000000000000000, 0x0000000000000008,
  0x0000000000000000, 0x0000000000000004,
  0x0000000000000000, 0x0000000000000002,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000003fff, 0x0000000000003fff,
  0x0000000000001fff, 0x0000000000002000,
  0x0000000000001000, 0x0000000000001000,
  0x0000000000000800, 0x0000000000000800,
  0x0000000000000400, 0x0000000000000400,
  0x0000000000000200, 0x0000000000000200,
  0x0000000000000100, 0x0000000000000100,
  0x0000000000000080, 0x0000000000000080,
  0x0000000000000040, 0x0000000000000040,
  0x0000000000000020, 0x0000000000000020,
  0x0000000000000010, 0x0000000000000010,
  0x0000000000000008, 0x0000000000000008,
  0x0000000000000004, 0x0000000000000004,
  0x0000000000000002, 0x0000000000000002,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000003fff, 0x0000000000004000,
  0x0000000000002000, 0x0000000000002000,
  0x0000000000001000, 0x0000000000001000,
  0x0000000000000800, 0x0000000000000800,
  0x0000000000000400, 0x0000000000000400,
  0x0000000000000200, 0x0000000000000200,
  0x0000000000000100, 0x0000000000000100,
  0x0000000000000080, 0x0000000000000080,
  0x0000000000000040, 0x0000000000000040,
  0x0000000000000020, 0x0000000000000020,
  0x0000000000000010, 0x0000000000000010,
  0x0000000000000008, 0x0000000000000008,
  0x0000000000000004, 0x0000000000000004,
  0x0000000000000002, 0x0000000000000002,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000004000, 0x000000003fffffff,
  0x0000000000002000, 0x000000001fffffff,
  0x0000000000001000, 0x0000000010000000,
  0x0000000000000800, 0x0000000008000000,
  0x0000000000000400, 0x0000000004000000,
  0x0000000000000200, 0x0000000002000000,
  0x0000000000000100, 0x0000000001000000,
  0x0000000000000080, 0x0000000000800000,
  0x0000000000000040, 0x0000000000400000,
  0x0000000000000020, 0x0000000000200000,
  0x0000000000000010, 0x0000000000100000,
  0x0000000000000008, 0x0000000000080000,
  0x0000000000000004, 0x0000000000040000,
  0x0000000000000002, 0x0000000000020000,
  0x0000000000000001, 0x0000000000010000,
  0x0000000000000000, 0x0000000000008000,
  0x0000000000000000, 0x0000000000004000,
  0x0000000000000000, 0x0000000000002000,
  0x0000000000000000, 0x0000000000001000,
  0x0000000000000000, 0x0000000000000800,
  0x0000000000000000, 0x0000000000000400,
  0x0000000000000000, 0x0000000000000200,
  0x0000000000000000, 0x0000000000000100,
  0x0000000000000000, 0x0000000000000080,
  0x0000000000000000, 0x0000000000000040,
  0x0000000000000000, 0x0000000000000020,
  0x0000000000000000, 0x0000000000000010,
  0x0000000000000000, 0x0000000000000008,
  0x0000000000000000, 0x0000000000000004,
  0x0000000000000000, 0x0000000000000002,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x000000003fffffff, 0x000000003fffffff,
  0x000000001fffffff, 0x0000000020000000,
  0x0000000010000000, 0x0000000010000000,
  0x0000000008000000, 0x0000000008000000,
  0x0000000004000000, 0x0000000004000000,
  0x0000000002000000, 0x0000000002000000,
  0x0000000001000000, 0x0000000001000000,
  0x0000000000800000, 0x0000000000800000,
  0x0000000000400000, 0x0000000000400000,
  0x0000000000200000, 0x0000000000200000,
  0x0000000000100000, 0x0000000000100000,
  0x0000000000080000, 0x0000000000080000,
  0x0000000000040000, 0x0000000000040000,
  0x0000000000020000, 0x0000000000020000,
  0x0000000000010000, 0x0000000000010000,
  0x0000000000008000, 0x0000000000008000,
  0x0000000000004000, 0x0000000000004000,
  0x0000000000002000, 0x0000000000002000,
  0x0000000000001000, 0x0000000000001000,
  0x0000000000000800, 0x0000000000000800,
  0x0000000000000400, 0x0000000000000400,
  0x0000000000000200, 0x0000000000000200,
  0x0000000000000100, 0x0000000000000100,
  0x0000000000000080, 0x0000000000000080,
  0x0000000000000040, 0x0000000000000040,
  0x0000000000000020, 0x0000000000000020,
  0x0000000000000010, 0x0000000000000010,
  0x0000000000000008, 0x0000000000000008,
  0x0000000000000004, 0x0000000000000004,
  0x0000000000000002, 0x0000000000000002,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x000000003fffffff, 0x0000000040000000,
  0x0000000020000000, 0x0000000020000000,
  0x0000000010000000, 0x0000000010000000,
  0x0000000008000000, 0x0000000008000000,
  0x0000000004000000, 0x0000000004000000,
  0x0000000002000000, 0x0000000002000000,
  0x0000000001000000, 0x0000000001000000,
  0x0000000000800000, 0x0000000000800000,
  0x0000000000400000, 0x0000000000400000,
  0x0000000000200000, 0x0000000000200000,
  0x0000000000100000, 0x0000000000100000,
  0x0000000000080000, 0x0000000000080000,
  0x0000000000040000, 0x0000000000040000,
  0x0000000000020000, 0x0000000000020000,
  0x0000000000010000, 0x0000000000010000,
  0x0000000000008000, 0x0000000000008000,
  0x0000000000004000, 0x0000000000004000,
  0x0000000000002000, 0x0000000000002000,
  0x0000000000001000, 0x0000000000001000,
  0x0000000000000800, 0x0000000000000800,
  0x0000000000000400, 0x0000000000000400,
  0x0000000000000200, 0x0000000000000200,
  0x0000000000000100, 0x0000000000000100,
  0x0000000000000080, 0x0000000000000080,
  0x0000000000000040, 0x0000000000000040,
  0x0000000000000020, 0x0000000000000020,
  0x0000000000000010, 0x0000000000000010,
  0x0000000000000008, 0x0000000000000008,
  0x0000000000000004, 0x0000000000000004,
  0x0000000000000002, 0x0000000000000002,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000040000000, 0x199999999999999a,
  0x0000000020000000, 0x0ccccccccccccccd,
  0x0000000010000000, 0x0666666666666666,
  0x0000000008000000, 0x0333333333333333,
  0x0000000004000000, 0x019999999999999a,
  0x0000000002000000, 0x00cccccccccccccd,
  0x0000000001000000, 0x0066666666666666,
  0x0000000000800000, 0x0033333333333333,
  0x0000000000400000, 0x001999999999999a,
  0x0000000000200000, 0x000ccccccccccccd,
  0x0000000000100000, 0x0006666666666666,
  0x0000000000080000, 0x0003333333333333,
  0x0000000000040000, 0x000199999999999a,
  0x0000000000020000, 0x0000cccccccccccd,
  0x0000000000010000, 0x0000666666666666,
  0x0000000000008000, 0x0000333333333333,
  0x0000000000004000, 0x000019999999999a,
  0x0000000000002000, 0x00000ccccccccccd,
  0x0000000000001000, 0x0000066666666666,
  0x0000000000000800, 0x0000033333333333,
  0x0000000000000400, 0x000001999999999a,
  0x0000000000000200, 0x000000cccccccccd,
  0x0000000000000100, 0x0000006666666666,
  0x0000000000000080, 0x0000003333333333,
  0x0000000000000040, 0x000000199999999a,
  0x0000000000000020, 0x0000000ccccccccd,
  0x0000000000000010, 0x0000000666666666,
  0x0000000000000008, 0x0000000333333333,
  0x0000000000000004, 0x000000019999999a,
  0x0000000000000002, 0x00000000cccccccd,
  0x0000000000000001, 0x0000000066666666,
  0x0000000000000000, 0x0000000033333333,
  0x0000000000000000, 0x000000001999999a,
  0x0000000000000000, 0x000000000ccccccd,
  0x0000000000000000, 0x0000000006666666,
  0x0000000000000000, 0x0000000003333333,
  0x0000000000000000, 0x000000000199999a,
  0x0000000000000000, 0x0000000000cccccd,
  0x0000000000000000, 0x0000000000666666,
  0x0000000000000000, 0x0000000000333333,
  0x0000000000000000, 0x000000000019999a,
  0x0000000000000000, 0x00000000000ccccd,
  0x0000000000000000, 0x0000000000066666,
  0x0000000000000000, 0x0000000000033333,
  0x0000000000000000, 0x000000000001999a,
  0x0000000000000000, 0x000000000000cccd,
  0x0000000000000000, 0x0000000000006666,
  0x0000000000000000, 0x0000000000003333,
  0x0000000000000000, 0x000000000000199a,
  0x0000000000000000, 0x0000000000000ccd,
  0x0000000000000000, 0x0000000000000666,
  0x0000000000000000, 0x0000000000000333,
  0x0000000000000000, 0x000000000000019a,
  0x0000000000000000, 0x00000000000000cd,
  0x0000000000000000, 0x0000000000000066,
  0x0000000000000000, 0x0000000000000033,
  0x0000000000000000, 0x000000000000001a,
  0x0000000000000000, 0x000000000000000d,
  0x0000000000000000, 0x0000000000000006,
  0x0000000000000000, 0x0000000000000003,
  0x0000000000000000, 0x0000000000000002,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x199999999999999a, 0x2aaaaaaaaaaaaaab,
  0x0ccccccccccccccd, 0x1555555555555555,
  0x0666666666666666, 0x0aaaaaaaaaaaaaab,
  0x0333333333333333, 0x0555555555555555,
  0x019999999999999a, 0x02aaaaaaaaaaaaab,
  0x00cccccccccccccd, 0x0155555555555555,
  0x0066666666666666, 0x00aaaaaaaaaaaaab,
  0x0033333333333333, 0x0055555555555555,
  0x001999999999999a, 0x002aaaaaaaaaaaab,
  0x000ccccccccccccd, 0x0015555555555555,
  0x0006666666666666, 0x000aaaaaaaaaaaab,
  0x0003333333333333, 0x0005555555555555,
  0x000199999999999a, 0x0002aaaaaaaaaaab,
  0x0000cccccccccccd, 0x0001555555555555,
  0x0000666666666666, 0x0000aaaaaaaaaaab,
  0x0000333333333333, 0x0000555555555555,
  0x000019999999999a, 0x00002aaaaaaaaaab,
  0x00000ccccccccccd, 0x0000155555555555,
  0x0000066666666666, 0x00000aaaaaaaaaab,
  0x0000033333333333, 0x0000055555555555,
  0x000001999999999a, 0x000002aaaaaaaaab,
  0x000000cccccccccd, 0x0000015555555555,
  0x0000006666666666, 0x000000aaaaaaaaab,
  0x0000003333333333, 0x0000005555555555,
  0x000000199999999a, 0x0000002aaaaaaaab,
  0x0000000ccccccccd, 0x0000001555555555,
  0x0000000666666666, 0x0000000aaaaaaaab,
  0x0000000333333333, 0x0000000555555555,
  0x000000019999999a, 0x00000002aaaaaaab,
  0x00000000cccccccd, 0x0000000155555555,
  0x0000000066666666, 0x00000000aaaaaaab,
  0x0000000033333333, 0x0000000055555555,
  0x000000001999999a, 0x000000002aaaaaab,
  0x000000000ccccccd, 0x0000000015555555,
  0x0000000006666666, 0x000000000aaaaaab,
  0x0000000003333333, 0x0000000005555555,
  0x000000000199999a, 0x0000000002aaaaab,
  0x0000000000cccccd, 0x0000000001555555,
  0x0000000000666666, 0x0000000000aaaaab,
  0x0000000000333333, 0x0000000000555555,
  0x000000000019999a, 0x00000000002aaaab,
  0x00000000000ccccd, 0x0000000000155555,
  0x0000000000066666, 0x00000000000aaaab,
  0x0000000000033333, 0x0000000000055555,
  0x000000000001999a, 0x000000000002aaab,
  0x000000000000cccd, 0x0000000000015555,
  0x0000000000006666, 0x000000000000aaab,
  0x0000000000003333, 0x0000000000005555,
  0x000000000000199a, 0x0000000000002aab,
  0x0000000000000ccd, 0x0000000000001555,
  0x0000000000000666, 0x0000000000000aab,
  0x0000000000000333, 0x0000000000000555,
  0x000000000000019a, 0x00000000000002ab,
  0x00000000000000cd, 0x0000000000000155,
  0x0000000000000066, 0x00000000000000ab,
  0x0000000000000033, 0x0000000000000055,
  0x000000000000001a, 0x000000000000002b,
  0x000000000000000d, 0x0000000000000015,
  0x0000000000000006, 0x000000000000000b,
  0x0000000000000003, 0x0000000000000005,
  0x0000000000000002, 0x0000000000000003,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x2aaaaaaaaaaaaaab, 0x3fffffffffffffff,
  0x1555555555555555, 0x1fffffffffffffff,
  0x0aaaaaaaaaaaaaab, 0x1000000000000000,
  0x0555555555555555, 0x0800000000000000,
  0x02aaaaaaaaaaaaab, 0x0400000000000000,
  0x0155555555555555, 0x0200000000000000,
  0x00aaaaaaaaaaaaab, 0x0100000000000000,
  0x0055555555555555, 0x0080000000000000,
  0x002aaaaaaaaaaaab, 0x0040000000000000,
  0x0015555555555555, 0x0020000000000000,
  0x000aaaaaaaaaaaab, 0x0010000000000000,
  0x0005555555555555, 0x0008000000000000,
  0x0002aaaaaaaaaaab, 0x0004000000000000,
  0x0001555555555555, 0x0002000000000000,
  0x0000aaaaaaaaaaab, 0x0001000000000000,
  0x0000555555555555, 0x0000800000000000,
  0x00002aaaaaaaaaab, 0x0000400000000000,
  0x0000155555555555, 0x0000200000000000,
  0x00000aaaaaaaaaab, 0x0000100000000000,
  0x0000055555555555, 0x0000080000000000,
  0x000002aaaaaaaaab, 0x0000040000000000,
  0x0000015555555555, 0x0000020000000000,
  0x000000aaaaaaaaab, 0x0000010000000000,
  0x0000005555555555, 0x0000008000000000,
  0x0000002aaaaaaaab, 0x0000004000000000,
  0x0000001555555555, 0x0000002000000000,
  0x0000000aaaaaaaab, 0x0000001000000000,
  0x0000000555555555, 0x0000000800000000,
  0x00000002aaaaaaab, 0x0000000400000000,
  0x0000000155555555, 0x0000000200000000,
  0x00000000aaaaaaab, 0x0000000100000000,
  0x0000000055555555, 0x0000000080000000,
  0x000000002aaaaaab, 0x0000000040000000,
  0x0000000015555555, 0x0000000020000000,
  0x000000000aaaaaab, 0x0000000010000000,
  0x0000000005555555, 0x0000000008000000,
  0x0000000002aaaaab, 0x0000000004000000,
  0x0000000001555555, 0x0000000002000000,
  0x0000000000aaaaab, 0x0000000001000000,
  0x0000000000555555, 0x0000000000800000,
  0x00000000002aaaab, 0x0000000000400000,
  0x0000000000155555, 0x0000000000200000,
  0x00000000000aaaab, 0x0000000000100000,
  0x0000000000055555, 0x0000000000080000,
  0x000000000002aaab, 0x0000000000040000,
  0x0000000000015555, 0x0000000000020000,
  0x000000000000aaab, 0x0000000000010000,
  0x0000000000005555, 0x0000000000008000,
  0x0000000000002aab, 0x0000000000004000,
  0x0000000000001555, 0x0000000000002000,
  0x0000000000000aab, 0x0000000000001000,
  0x0000000000000555, 0x0000000000000800,
  0x00000000000002ab, 0x0000000000000400,
  0x0000000000000155, 0x0000000000000200,
  0x00000000000000ab, 0x0000000000000100,
  0x0000000000000055, 0x0000000000000080,
  0x000000000000002b, 0x0000000000000040,
  0x0000000000000015, 0x0000000000000020,
  0x000000000000000b, 0x0000000000000010,
  0x0000000000000005, 0x0000000000000008,
  0x0000000000000003, 0x0000000000000004,
  0x0000000000000001, 0x0000000000000002,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x3fffffffffffffff, 0x3fffffffffffffff,
  0x1fffffffffffffff, 0x2000000000000000,
  0x1000000000000000, 0x1000000000000000,
  0x0800000000000000, 0x0800000000000000,
  0x0400000000000000, 0x0400000000000000,
  0x0200000000000000, 0x0200000000000000,
  0x0100000000000000, 0x0100000000000000,
  0x0080000000000000, 0x0080000000000000,
  0x0040000000000000, 0x0040000000000000,
  0x0020000000000000, 0x0020000000000000,
  0x0010000000000000, 0x0010000000000000,
  0x0008000000000000, 0x0008000000000000,
  0x0004000000000000, 0x0004000000000000,
  0x0002000000000000, 0x0002000000000000,
  0x0001000000000000, 0x0001000000000000,
  0x0000800000000000, 0x0000800000000000,
  0x0000400000000000, 0x0000400000000000,
  0x0000200000000000, 0x0000200000000000,
  0x0000100000000000, 0x0000100000000000,
  0x0000080000000000, 0x0000080000000000,
  0x0000040000000000, 0x0000040000000000,
  0x0000020000000000, 0x0000020000000000,
  0x0000010000000000, 0x0000010000000000,
  0x0000008000000000, 0x0000008000000000,
  0x0000004000000000, 0x0000004000000000,
  0x0000002000000000, 0x0000002000000000,
  0x0000001000000000, 0x0000001000000000,
  0x0000000800000000, 0x0000000800000000,
  0x0000000400000000, 0x0000000400000000,
  0x0000000200000000, 0x0000000200000000,
  0x0000000100000000, 0x0000000100000000,
  0x0000000080000000, 0x0000000080000000,
  0x0000000040000000, 0x0000000040000000,
  0x0000000020000000, 0x0000000020000000,
  0x0000000010000000, 0x0000000010000000,
  0x0000000008000000, 0x0000000008000000,
  0x0000000004000000, 0x0000000004000000,
  0x0000000002000000, 0x0000000002000000,
  0x0000000001000000, 0x0000000001000000,
  0x0000000000800000, 0x0000000000800000,
  0x0000000000400000, 0x0000000000400000,
  0x0000000000200000, 0x0000000000200000,
  0x0000000000100000, 0x0000000000100000,
  0x0000000000080000, 0x0000000000080000,
  0x0000000000040000, 0x0000000000040000,
  0x0000000000020000, 0x0000000000020000,
  0x0000000000010000, 0x0000000000010000,
  0x0000000000008000, 0x0000000000008000,
  0x0000000000004000, 0x0000000000004000,
  0x0000000000002000, 0x0000000000002000,
  0x0000000000001000, 0x0000000000001000,
  0x0000000000000800, 0x0000000000000800,
  0x0000000000000400, 0x0000000000000400,
  0x0000000000000200, 0x0000000000000200,
  0x0000000000000100, 0x0000000000000100,
  0x0000000000000080, 0x0000000000000080,
  0x0000000000000040, 0x0000000000000040,
  0x0000000000000020, 0x0000000000000020,
  0x0000000000000010, 0x0000000000000010,
  0x0000000000000008, 0x0000000000000008,
  0x0000000000000004, 0x0000000000000004,
  0x0000000000000002, 0x0000000000000002,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x3fffffffffffffff, 0x4000000000000000,
  0x2000000000000000, 0x2000000000000000,
  0x1000000000000000, 0x1000000000000000,
  0x0800000000000000, 0x0800000000000000,
  0x0400000000000000, 0x0400000000000000,
  0x0200000000000000, 0x0200000000000000,
  0x0100000000000000, 0x0100000000000000,
  0x0080000000000000, 0x0080000000000000,
  0x0040000000000000, 0x0040000000000000,
  0x0020000000000000, 0x0020000000000000,
  0x0010000000000000, 0x0010000000000000,
  0x0008000000000000, 0x0008000000000000,
  0x0004000000000000, 0x0004000000000000,
  0x0002000000000000, 0x0002000000000000,
  0x0001000000000000, 0x0001000000000000,
  0x0000800000000000, 0x0000800000000000,
  0x0000400000000000, 0x0000400000000000,
  0x0000200000000000, 0x0000200000000000,
  0x0000100000000000, 0x0000100000000000,
  0x0000080000000000, 0x0000080000000000,
  0x0000040000000000, 0x0000040000000000,
  0x0000020000000000, 0x0000020000000000,
  0x0000010000000000, 0x0000010000000000,
  0x0000008000000000, 0x0000008000000000,
  0x0000004000000000, 0x0000004000000000,
  0x0000002000000000, 0x0000002000000000,
  0x0000001000000000, 0x0000001000000000,
  0x0000000800000000, 0x0000000800000000,
  0x0000000400000000, 0x0000000400000000,
  0x0000000200000000, 0x0000000200000000,
  0x0000000100000000, 0x0000000100000000,
  0x0000000080000000, 0x0000000080000000,
  0x0000000040000000, 0x0000000040000000,
  0x0000000020000000, 0x0000000020000000,
  0x0000000010000000, 0x0000000010000000,
  0x0000000008000000, 0x0000000008000000,
  0x0000000004000000, 0x0000000004000000,
  0x0000000002000000, 0x0000000002000000,
  0x0000000001000000, 0x0000000001000000,
  0x0000000000800000, 0x0000000000800000,
  0x0000000000400000, 0x0000000000400000,
  0x0000000000200000, 0x0000000000200000,
  0x0000000000100000, 0x0000000000100000,
  0x0000000000080000, 0x0000000000080000,
  0x0000000000040000, 0x0000000000040000,
  0x0000000000020000, 0x0000000000020000,
  0x0000000000010000, 0x0000000000010000,
  0x0000000000008000, 0x0000000000008000,
  0x0000000000004000, 0x0000000000004000,
  0x0000000000002000, 0x0000000000002000,
  0x0000000000001000, 0x0000000000001000,
  0x0000000000000800, 0x0000000000000800,
  0x0000000000000400, 0x0000000000000400,
  0x0000000000000200, 0x0000000000000200,
  0x0000000000000100, 0x0000000000000100,
  0x0000000000000080, 0x0000000000000080,
  0x0000000000000040, 0x0000000000000040,
  0x0000000000000020, 0x0000000000000020,
  0x0000000000000010, 0x0000000000000010,
  0x0000000000000008, 0x0000000000000008,
  0x0000000000000004, 0x0000000000000004,
  0x0000000000000002, 0x0000000000000002,
  0x0000000000000001, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x4000000000000000, 0xc000000000000000,
  0x2000000000000000, 0xe000000000000000,
  0x1000000000000000, 0xf000000000000000,
  0x0800000000000000, 0xf800000000000000,
  0x0400000000000000, 0xfc00000000000000,
  0x0200000000000000, 0xfe00000000000000,
  0x0100000000000000, 0xff00000000000000,
  0x0080000000000000, 0xff80000000000000,
  0x0040000000000000, 0xffc0000000000000,
  0x0020000000000000, 0xffe0000000000000,
  0x0010000000000000, 0xfff0000000000000,
  0x0008000000000000, 0xfff8000000000000,
  0x0004000000000000, 0xfffc000000000000,
  0x0002000000000000, 0xfffe000000000000,
  0x0001000000000000, 0xffff000000000000,
  0x0000800000000000, 0xffff800000000000,
  0x0000400000000000, 0xffffc00000000000,
  0x0000200000000000, 0xffffe00000000000,
  0x0000100000000000, 0xfffff00000000000,
  0x0000080000000000, 0xfffff80000000000,
  0x0000040000000000, 0xfffffc0000000000,
  0x0000020000000000, 0xfffffe0000000000,
  0x0000010000000000, 0xffffff0000000000,
  0x0000008000000000, 0xffffff8000000000,
  0x0000004000000000, 0xffffffc000000000,
  0x0000002000000000, 0xffffffe000000000,
  0x0000001000000000, 0xfffffff000000000,
  0x0000000800000000, 0xfffffff800000000,
  0x0000000400000000, 0xfffffffc00000000,
  0x0000000200000000, 0xfffffffe00000000,
  0x0000000100000000, 0xffffffff00000000,
  0x0000000080000000, 0xffffffff80000000,
  0x0000000040000000, 0xffffffffc0000000,
  0x0000000020000000, 0xffffffffe0000000,
  0x0000000010000000, 0xfffffffff0000000,
  0x0000000008000000, 0xfffffffff8000000,
  0x0000000004000000, 0xfffffffffc000000,
  0x0000000002000000, 0xfffffffffe000000,
  0x0000000001000000, 0xffffffffff000000,
  0x0000000000800000, 0xffffffffff800000,
  0x0000000000400000, 0xffffffffffc00000,
  0x0000000000200000, 0xffffffffffe00000,
  0x0000000000100000, 0xfffffffffff00000,
  0x0000000000080000, 0xfffffffffff80000,
  0x0000000000040000, 0xfffffffffffc0000,
  0x0000000000020000, 0xfffffffffffe0000,
  0x0000000000010000, 0xffffffffffff0000,
  0x0000000000008000, 0xffffffffffff8000,
  0x0000000000004000, 0xffffffffffffc000,
  0x0000000000002000, 0xffffffffffffe000,
  0x0000000000001000, 0xfffffffffffff000,
  0x0000000000000800, 0xfffffffffffff800,
  0x0000000000000400, 0xfffffffffffffc00,
  0x0000000000000200, 0xfffffffffffffe00,
  0x0000000000000100, 0xffffffffffffff00,
  0x0000000000000080, 0xffffffffffffff80,
  0x0000000000000040, 0xffffffffffffffc0,
  0x0000000000000020, 0xffffffffffffffe0,
  0x0000000000000010, 0xfffffffffffffff0,
  0x0000000000000008, 0xfffffffffffffff8,
  0x0000000000000004, 0xfffffffffffffffc,
  0x0000000000000002, 0xfffffffffffffffe,
  0x0000000000000001, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0xc000000000000000, 0xc000000000000001,
  0xe000000000000000, 0xe000000000000000,
  0xf000000000000000, 0xf000000000000000,
  0xf800000000000000, 0xf800000000000000,
  0xfc00000000000000, 0xfc00000000000000,
  0xfe00000000000000, 0xfe00000000000000,
  0xff00000000000000, 0xff00000000000000,
  0xff80000000000000, 0xff80000000000000,
  0xffc0000000000000, 0xffc0000000000000,
  0xffe0000000000000, 0xffe0000000000000,
  0xfff0000000000000, 0xfff0000000000000,
  0xfff8000000000000, 0xfff8000000000000,
  0xfffc000000000000, 0xfffc000000000000,
  0xfffe000000000000, 0xfffe000000000000,
  0xffff000000000000, 0xffff000000000000,
  0xffff800000000000, 0xffff800000000000,
  0xffffc00000000000, 0xffffc00000000000,
  0xffffe00000000000, 0xffffe00000000000,
  0xfffff00000000000, 0xfffff00000000000,
  0xfffff80000000000, 0xfffff80000000000,
  0xfffffc0000000000, 0xfffffc0000000000,
  0xfffffe0000000000, 0xfffffe0000000000,
  0xffffff0000000000, 0xffffff0000000000,
  0xffffff8000000000, 0xffffff8000000000,
  0xffffffc000000000, 0xffffffc000000000,
  0xffffffe000000000, 0xffffffe000000000,
  0xfffffff000000000, 0xfffffff000000000,
  0xfffffff800000000, 0xfffffff800000000,
  0xfffffffc00000000, 0xfffffffc00000000,
  0xfffffffe00000000, 0xfffffffe00000000,
  0xffffffff00000000, 0xffffffff00000000,
  0xffffffff80000000, 0xffffffff80000000,
  0xffffffffc0000000, 0xffffffffc0000000,
  0xffffffffe0000000, 0xffffffffe0000000,
  0xfffffffff0000000, 0xfffffffff0000000,
  0xfffffffff8000000, 0xfffffffff8000000,
  0xfffffffffc000000, 0xfffffffffc000000,
  0xfffffffffe000000, 0xfffffffffe000000,
  0xffffffffff000000, 0xffffffffff000000,
  0xffffffffff800000, 0xffffffffff800000,
  0xffffffffffc00000, 0xffffffffffc00000,
  0xffffffffffe00000, 0xffffffffffe00000,
  0xfffffffffff00000, 0xfffffffffff00000,
  0xfffffffffff80000, 0xfffffffffff80000,
  0xfffffffffffc0000, 0xfffffffffffc0000,
  0xfffffffffffe0000, 0xfffffffffffe0000,
  0xffffffffffff0000, 0xffffffffffff0000,
  0xffffffffffff8000, 0xffffffffffff8000,
  0xffffffffffffc000, 0xffffffffffffc000,
  0xffffffffffffe000, 0xffffffffffffe000,
  0xfffffffffffff000, 0xfffffffffffff000,
  0xfffffffffffff800, 0xfffffffffffff800,
  0xfffffffffffffc00, 0xfffffffffffffc00,
  0xfffffffffffffe00, 0xfffffffffffffe00,
  0xffffffffffffff00, 0xffffffffffffff00,
  0xffffffffffffff80, 0xffffffffffffff80,
  0xffffffffffffffc0, 0xffffffffffffffc0,
  0xffffffffffffffe0, 0xffffffffffffffe0,
  0xfffffffffffffff0, 0xfffffffffffffff0,
  0xfffffffffffffff8, 0xfffffffffffffff8,
  0xfffffffffffffffc, 0xfffffffffffffffc,
  0xfffffffffffffffe, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0xc000000000000001, 0xc000000000000001,
  0xe000000000000000, 0xe000000000000001,
  0xf000000000000000, 0xf000000000000000,
  0xf800000000000000, 0xf800000000000000,
  0xfc00000000000000, 0xfc00000000000000,
  0xfe00000000000000, 0xfe00000000000000,
  0xff00000000000000, 0xff00000000000000,
  0xff80000000000000, 0xff80000000000000,
  0xffc0000000000000, 0xffc0000000000000,
  0xffe0000000000000, 0xffe0000000000000,
  0xfff0000000000000, 0xfff0000000000000,
  0xfff8000000000000, 0xfff8000000000000,
  0xfffc000000000000, 0xfffc000000000000,
  0xfffe000000000000, 0xfffe000000000000,
  0xffff000000000000, 0xffff000000000000,
  0xffff800000000000, 0xffff800000000000,
  0xffffc00000000000, 0xffffc00000000000,
  0xffffe00000000000, 0xffffe00000000000,
  0xfffff00000000000, 0xfffff00000000000,
  0xfffff80000000000, 0xfffff80000000000,
  0xfffffc0000000000, 0xfffffc0000000000,
  0xfffffe0000000000, 0xfffffe0000000000,
  0xffffff0000000000, 0xffffff0000000000,
  0xffffff8000000000, 0xffffff8000000000,
  0xffffffc000000000, 0xffffffc000000000,
  0xffffffe000000000, 0xffffffe000000000,
  0xfffffff000000000, 0xfffffff000000000,
  0xfffffff800000000, 0xfffffff800000000,
  0xfffffffc00000000, 0xfffffffc00000000,
  0xfffffffe00000000, 0xfffffffe00000000,
  0xffffffff00000000, 0xffffffff00000000,
  0xffffffff80000000, 0xffffffff80000000,
  0xffffffffc0000000, 0xffffffffc0000000,
  0xffffffffe0000000, 0xffffffffe0000000,
  0xfffffffff0000000, 0xfffffffff0000000,
  0xfffffffff8000000, 0xfffffffff8000000,
  0xfffffffffc000000, 0xfffffffffc000000,
  0xfffffffffe000000, 0xfffffffffe000000,
  0xffffffffff000000, 0xffffffffff000000,
  0xffffffffff800000, 0xffffffffff800000,
  0xffffffffffc00000, 0xffffffffffc00000,
  0xffffffffffe00000, 0xffffffffffe00000,
  0xfffffffffff00000, 0xfffffffffff00000,
  0xfffffffffff80000, 0xfffffffffff80000,
  0xfffffffffffc0000, 0xfffffffffffc0000,
  0xfffffffffffe0000, 0xfffffffffffe0000,
  0xffffffffffff0000, 0xffffffffffff0000,
  0xffffffffffff8000, 0xffffffffffff8000,
  0xffffffffffffc000, 0xffffffffffffc000,
  0xffffffffffffe000, 0xffffffffffffe000,
  0xfffffffffffff000, 0xfffffffffffff000,
  0xfffffffffffff800, 0xfffffffffffff800,
  0xfffffffffffffc00, 0xfffffffffffffc00,
  0xfffffffffffffe00, 0xfffffffffffffe00,
  0xffffffffffffff00, 0xffffffffffffff00,
  0xffffffffffffff80, 0xffffffffffffff80,
  0xffffffffffffffc0, 0xffffffffffffffc0,
  0xffffffffffffffe0, 0xffffffffffffffe0,
  0xfffffffffffffff0, 0xfffffffffffffff0,
  0xfffffffffffffff8, 0xfffffffffffffff8,
  0xfffffffffffffffc, 0xfffffffffffffffc,
  0xfffffffffffffffe, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0xc000000000000001, 0xc000000000000002,
  0xe000000000000001, 0xe000000000000001,
  0xf000000000000000, 0xf000000000000000,
  0xf800000000000000, 0xf800000000000000,
  0xfc00000000000000, 0xfc00000000000000,
  0xfe00000000000000, 0xfe00000000000000,
  0xff00000000000000, 0xff00000000000000,
  0xff80000000000000, 0xff80000000000000,
  0xffc0000000000000, 0xffc0000000000000,
  0xffe0000000000000, 0xffe0000000000000,
  0xfff0000000000000, 0xfff0000000000000,
  0xfff8000000000000, 0xfff8000000000000,
  0xfffc000000000000, 0xfffc000000000000,
  0xfffe000000000000, 0xfffe000000000000,
  0xffff000000000000, 0xffff000000000000,
  0xffff800000000000, 0xffff800000000000,
  0xffffc00000000000, 0xffffc00000000000,
  0xffffe00000000000, 0xffffe00000000000,
  0xfffff00000000000, 0xfffff00000000000,
  0xfffff80000000000, 0xfffff80000000000,
  0xfffffc0000000000, 0xfffffc0000000000,
  0xfffffe0000000000, 0xfffffe0000000000,
  0xffffff0000000000, 0xffffff0000000000,
  0xffffff8000000000, 0xffffff8000000000,
  0xffffffc000000000, 0xffffffc000000000,
  0xffffffe000000000, 0xffffffe000000000,
  0xfffffff000000000, 0xfffffff000000000,
  0xfffffff800000000, 0xfffffff800000000,
  0xfffffffc00000000, 0xfffffffc00000000,
  0xfffffffe00000000, 0xfffffffe00000000,
  0xffffffff00000000, 0xffffffff00000000,
  0xffffffff80000000, 0xffffffff80000000,
  0xffffffffc0000000, 0xffffffffc0000000,
  0xffffffffe0000000, 0xffffffffe0000000,
  0xfffffffff0000000, 0xfffffffff0000000,
  0xfffffffff8000000, 0xfffffffff8000000,
  0xfffffffffc000000, 0xfffffffffc000000,
  0xfffffffffe000000, 0xfffffffffe000000,
  0xffffffffff000000, 0xffffffffff000000,
  0xffffffffff800000, 0xffffffffff800000,
  0xffffffffffc00000, 0xffffffffffc00000,
  0xffffffffffe00000, 0xffffffffffe00000,
  0xfffffffffff00000, 0xfffffffffff00000,
  0xfffffffffff80000, 0xfffffffffff80000,
  0xfffffffffffc0000, 0xfffffffffffc0000,
  0xfffffffffffe0000, 0xfffffffffffe0000,
  0xffffffffffff0000, 0xffffffffffff0000,
  0xffffffffffff8000, 0xffffffffffff8000,
  0xffffffffffffc000, 0xffffffffffffc000,
  0xffffffffffffe000, 0xffffffffffffe000,
  0xfffffffffffff000, 0xfffffffffffff000,
  0xfffffffffffff800, 0xfffffffffffff800,
  0xfffffffffffffc00, 0xfffffffffffffc00,
  0xfffffffffffffe00, 0xfffffffffffffe00,
  0xffffffffffffff00, 0xffffffffffffff00,
  0xffffffffffffff80, 0xffffffffffffff80,
  0xffffffffffffffc0, 0xffffffffffffffc0,
  0xffffffffffffffe0, 0xffffffffffffffe0,
  0xfffffffffffffff0, 0xfffffffffffffff0,
  0xfffffffffffffff8, 0xfffffffffffffff8,
  0xfffffffffffffffc, 0xfffffffffffffffc,
  0xfffffffffffffffe, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0xc000000000000002, 0xd555555555555555,
  0xe000000000000001, 0xeaaaaaaaaaaaaaab,
  0xf000000000000000, 0xf555555555555555,
  0xf800000000000000, 0xfaaaaaaaaaaaaaab,
  0xfc00000000000000, 0xfd55555555555555,
  0xfe00000000000000, 0xfeaaaaaaaaaaaaab,
  0xff00000000000000, 0xff55555555555555,
  0xff80000000000000, 0xffaaaaaaaaaaaaab,
  0xffc0000000000000, 0xffd5555555555555,
  0xffe0000000000000, 0xffeaaaaaaaaaaaab,
  0xfff0000000000000, 0xfff5555555555555,
  0xfff8000000000000, 0xfffaaaaaaaaaaaab,
  0xfffc000000000000, 0xfffd555555555555,
  0xfffe000000000000, 0xfffeaaaaaaaaaaab,
  0xffff000000000000, 0xffff555555555555,
  0xffff800000000000, 0xffffaaaaaaaaaaab,
  0xffffc00000000000, 0xffffd55555555555,
  0xffffe00000000000, 0xffffeaaaaaaaaaab,
  0xfffff00000000000, 0xfffff55555555555,
  0xfffff80000000000, 0xfffffaaaaaaaaaab,
  0xfffffc0000000000, 0xfffffd5555555555,
  0xfffffe0000000000, 0xfffffeaaaaaaaaab,
  0xffffff0000000000, 0xffffff5555555555,
  0xffffff8000000000, 0xffffffaaaaaaaaab,
  0xffffffc000000000, 0xffffffd555555555,
  0xffffffe000000000, 0xffffffeaaaaaaaab,
  0xfffffff000000000, 0xfffffff555555555,
  0xfffffff800000000, 0xfffffffaaaaaaaab,
  0xfffffffc00000000, 0xfffffffd55555555,
  0xfffffffe00000000, 0xfffffffeaaaaaaab,
  0xffffffff00000000, 0xffffffff55555555,
  0xffffffff80000000, 0xffffffffaaaaaaab,
  0xffffffffc0000000, 0xffffffffd5555555,
  0xffffffffe0000000, 0xffffffffeaaaaaab,
  0xfffffffff0000000, 0xfffffffff5555555,
  0xfffffffff8000000, 0xfffffffffaaaaaab,
  0xfffffffffc000000, 0xfffffffffd555555,
  0xfffffffffe000000, 0xfffffffffeaaaaab,
  0xffffffffff000000, 0xffffffffff555555,
  0xffffffffff800000, 0xffffffffffaaaaab,
  0xffffffffffc00000, 0xffffffffffd55555,
  0xffffffffffe00000, 0xffffffffffeaaaab,
  0xfffffffffff00000, 0xfffffffffff55555,
  0xfffffffffff80000, 0xfffffffffffaaaab,
  0xfffffffffffc0000, 0xfffffffffffd5555,
  0xfffffffffffe0000, 0xfffffffffffeaaab,
  0xffffffffffff0000, 0xffffffffffff5555,
  0xffffffffffff8000, 0xffffffffffffaaab,
  0xffffffffffffc000, 0xffffffffffffd555,
  0xffffffffffffe000, 0xffffffffffffeaab,
  0xfffffffffffff000, 0xfffffffffffff555,
  0xfffffffffffff800, 0xfffffffffffffaab,
  0xfffffffffffffc00, 0xfffffffffffffd55,
  0xfffffffffffffe00, 0xfffffffffffffeab,
  0xffffffffffffff00, 0xffffffffffffff55,
  0xffffffffffffff80, 0xffffffffffffffab,
  0xffffffffffffffc0, 0xffffffffffffffd5,
  0xffffffffffffffe0, 0xffffffffffffffeb,
  0xfffffffffffffff0, 0xfffffffffffffff5,
  0xfffffffffffffff8, 0xfffffffffffffffb,
  0xfffffffffffffffc, 0xfffffffffffffffd,
  0xfffffffffffffffe, 0xffffffffffffffff,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0xd555555555555555, 0xe666666666666666,
  0xeaaaaaaaaaaaaaab, 0xf333333333333333,
  0xf555555555555555, 0xf99999999999999a,
  0xfaaaaaaaaaaaaaab, 0xfccccccccccccccd,
  0xfd55555555555555, 0xfe66666666666666,
  0xfeaaaaaaaaaaaaab, 0xff33333333333333,
  0xff55555555555555, 0xff9999999999999a,
  0xffaaaaaaaaaaaaab, 0xffcccccccccccccd,
  0xffd5555555555555, 0xffe6666666666666,
  0xffeaaaaaaaaaaaab, 0xfff3333333333333,
  0xfff5555555555555, 0xfff999999999999a,
  0xfffaaaaaaaaaaaab, 0xfffccccccccccccd,
  0xfffd555555555555, 0xfffe666666666666,
  0xfffeaaaaaaaaaaab, 0xffff333333333333,
  0xffff555555555555, 0xffff99999999999a,
  0xffffaaaaaaaaaaab, 0xffffcccccccccccd,
  0xffffd55555555555, 0xffffe66666666666,
  0xffffeaaaaaaaaaab, 0xfffff33333333333,
  0xfffff55555555555, 0xfffff9999999999a,
  0xfffffaaaaaaaaaab, 0xfffffccccccccccd,
  0xfffffd5555555555, 0xfffffe6666666666,
  0xfffffeaaaaaaaaab, 0xffffff3333333333,
  0xffffff5555555555, 0xffffff999999999a,
  0xffffffaaaaaaaaab, 0xffffffcccccccccd,
  0xffffffd555555555, 0xffffffe666666666,
  0xffffffeaaaaaaaab, 0xfffffff333333333,
  0xfffffff555555555, 0xfffffff99999999a,
  0xfffffffaaaaaaaab, 0xfffffffccccccccd,
  0xfffffffd55555555, 0xfffffffe66666666,
  0xfffffffeaaaaaaab, 0xffffffff33333333,
  0xffffffff55555555, 0xffffffff9999999a,
  0xffffffffaaaaaaab, 0xffffffffcccccccd,
  0xffffffffd5555555, 0xffffffffe6666666,
  0xffffffffeaaaaaab, 0xfffffffff3333333,
  0xfffffffff5555555, 0xfffffffff999999a,
  0xfffffffffaaaaaab, 0xfffffffffccccccd,
  0xfffffffffd555555, 0xfffffffffe666666,
  0xfffffffffeaaaaab, 0xffffffffff333333,
  0xffffffffff555555, 0xffffffffff99999a,
  0xffffffffffaaaaab, 0xffffffffffcccccd,
  0xffffffffffd55555, 0xffffffffffe66666,
  0xffffffffffeaaaab, 0xfffffffffff33333,
  0xfffffffffff55555, 0xfffffffffff9999a,
  0xfffffffffffaaaab, 0xfffffffffffccccd,
  0xfffffffffffd5555, 0xfffffffffffe6666,
  0xfffffffffffeaaab, 0xffffffffffff3333,
  0xffffffffffff5555, 0xffffffffffff999a,
  0xffffffffffffaaab, 0xffffffffffffcccd,
  0xffffffffffffd555, 0xffffffffffffe666,
  0xffffffffffffeaab, 0xfffffffffffff333,
  0xfffffffffffff555, 0xfffffffffffff99a,
  0xfffffffffffffaab, 0xfffffffffffffccd,
  0xfffffffffffffd55, 0xfffffffffffffe66,
  0xfffffffffffffeab, 0xffffffffffffff33,
  0xffffffffffffff55, 0xffffffffffffff9a,
  0xffffffffffffffab, 0xffffffffffffffcd,
  0xffffffffffffffd5, 0xffffffffffffffe6,
  0xffffffffffffffeb, 0xfffffffffffffff3,
  0xfffffffffffffff5, 0xfffffffffffffffa,
  0xfffffffffffffffb, 0xfffffffffffffffd,
  0xfffffffffffffffd, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0xffffffffffffffff, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xe666666666666666, 0xffffffffc0000000,
  0xf333333333333333, 0xffffffffe0000000,
  0xf99999999999999a, 0xfffffffff0000000,
  0xfccccccccccccccd, 0xfffffffff8000000,
  0xfe66666666666666, 0xfffffffffc000000,
  0xff33333333333333, 0xfffffffffe000000,
  0xff9999999999999a, 0xffffffffff000000,
  0xffcccccccccccccd, 0xffffffffff800000,
  0xffe6666666666666, 0xffffffffffc00000,
  0xfff3333333333333, 0xffffffffffe00000,
  0xfff999999999999a, 0xfffffffffff00000,
  0xfffccccccccccccd, 0xfffffffffff80000,
  0xfffe666666666666, 0xfffffffffffc0000,
  0xffff333333333333, 0xfffffffffffe0000,
  0xffff99999999999a, 0xffffffffffff0000,
  0xffffcccccccccccd, 0xffffffffffff8000,
  0xffffe66666666666, 0xffffffffffffc000,
  0xfffff33333333333, 0xffffffffffffe000,
  0xfffff9999999999a, 0xfffffffffffff000,
  0xfffffccccccccccd, 0xfffffffffffff800,
  0xfffffe6666666666, 0xfffffffffffffc00,
  0xffffff3333333333, 0xfffffffffffffe00,
  0xffffff999999999a, 0xffffffffffffff00,
  0xffffffcccccccccd, 0xffffffffffffff80,
  0xffffffe666666666, 0xffffffffffffffc0,
  0xfffffff333333333, 0xffffffffffffffe0,
  0xfffffff99999999a, 0xfffffffffffffff0,
  0xfffffffccccccccd, 0xfffffffffffffff8,
  0xfffffffe66666666, 0xfffffffffffffffc,
  0xffffffff33333333, 0xfffffffffffffffe,
  0xffffffff9999999a, 0xffffffffffffffff,
  0xffffffffcccccccd, 0x0000000000000000,
  0xffffffffe6666666, 0x0000000000000000,
  0xfffffffff3333333, 0x0000000000000000,
  0xfffffffff999999a, 0x0000000000000000,
  0xfffffffffccccccd, 0x0000000000000000,
  0xfffffffffe666666, 0x0000000000000000,
  0xffffffffff333333, 0x0000000000000000,
  0xffffffffff99999a, 0x0000000000000000,
  0xffffffffffcccccd, 0x0000000000000000,
  0xffffffffffe66666, 0x0000000000000000,
  0xfffffffffff33333, 0x0000000000000000,
  0xfffffffffff9999a, 0x0000000000000000,
  0xfffffffffffccccd, 0x0000000000000000,
  0xfffffffffffe6666, 0x0000000000000000,
  0xffffffffffff3333, 0x0000000000000000,
  0xffffffffffff999a, 0x0000000000000000,
  0xffffffffffffcccd, 0x0000000000000000,
  0xffffffffffffe666, 0x0000000000000000,
  0xfffffffffffff333, 0x0000000000000000,
  0xfffffffffffff99a, 0x0000000000000000,
  0xfffffffffffffccd, 0x0000000000000000,
  0xfffffffffffffe66, 0x0000000000000000,
  0xffffffffffffff33, 0x0000000000000000,
  0xffffffffffffff9a, 0x0000000000000000,
  0xffffffffffffffcd, 0x0000000000000000,
  0xffffffffffffffe6, 0x0000000000000000,
  0xfffffffffffffff3, 0x0000000000000000,
  0xfffffffffffffffa, 0x0000000000000000,
  0xfffffffffffffffd, 0x0000000000000000,
  0xfffffffffffffffe, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffc0000000, 0xffffffffc0000001,
  0xffffffffe0000000, 0xffffffffe0000000,
  0xfffffffff0000000, 0xfffffffff0000000,
  0xfffffffff8000000, 0xfffffffff8000000,
  0xfffffffffc000000, 0xfffffffffc000000,
  0xfffffffffe000000, 0xfffffffffe000000,
  0xffffffffff000000, 0xffffffffff000000,
  0xffffffffff800000, 0xffffffffff800000,
  0xffffffffffc00000, 0xffffffffffc00000,
  0xffffffffffe00000, 0xffffffffffe00000,
  0xfffffffffff00000, 0xfffffffffff00000,
  0xfffffffffff80000, 0xfffffffffff80000,
  0xfffffffffffc0000, 0xfffffffffffc0000,
  0xfffffffffffe0000, 0xfffffffffffe0000,
  0xffffffffffff0000, 0xffffffffffff0000,
  0xffffffffffff8000, 0xffffffffffff8000,
  0xffffffffffffc000, 0xffffffffffffc000,
  0xffffffffffffe000, 0xffffffffffffe000,
  0xfffffffffffff000, 0xfffffffffffff000,
  0xfffffffffffff800, 0xfffffffffffff800,
  0xfffffffffffffc00, 0xfffffffffffffc00,
  0xfffffffffffffe00, 0xfffffffffffffe00,
  0xffffffffffffff00, 0xffffffffffffff00,
  0xffffffffffffff80, 0xffffffffffffff80,
  0xffffffffffffffc0, 0xffffffffffffffc0,
  0xffffffffffffffe0, 0xffffffffffffffe0,
  0xfffffffffffffff0, 0xfffffffffffffff0,
  0xfffffffffffffff8, 0xfffffffffffffff8,
  0xfffffffffffffffc, 0xfffffffffffffffc,
  0xfffffffffffffffe, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffc0000001, 0xffffffffc0000001,
  0xffffffffe0000000, 0xffffffffe0000001,
  0xfffffffff0000000, 0xfffffffff0000000,
  0xfffffffff8000000, 0xfffffffff8000000,
  0xfffffffffc000000, 0xfffffffffc000000,
  0xfffffffffe000000, 0xfffffffffe000000,
  0xffffffffff000000, 0xffffffffff000000,
  0xffffffffff800000, 0xffffffffff800000,
  0xffffffffffc00000, 0xffffffffffc00000,
  0xffffffffffe00000, 0xffffffffffe00000,
  0xfffffffffff00000, 0xfffffffffff00000,
  0xfffffffffff80000, 0xfffffffffff80000,
  0xfffffffffffc0000, 0xfffffffffffc0000,
  0xfffffffffffe0000, 0xfffffffffffe0000,
  0xffffffffffff0000, 0xffffffffffff0000,
  0xffffffffffff8000, 0xffffffffffff8000,
  0xffffffffffffc000, 0xffffffffffffc000,
  0xffffffffffffe000, 0xffffffffffffe000,
  0xfffffffffffff000, 0xfffffffffffff000,
  0xfffffffffffff800, 0xfffffffffffff800,
  0xfffffffffffffc00, 0xfffffffffffffc00,
  0xfffffffffffffe00, 0xfffffffffffffe00,
  0xffffffffffffff00, 0xffffffffffffff00,
  0xffffffffffffff80, 0xffffffffffffff80,
  0xffffffffffffffc0, 0xffffffffffffffc0,
  0xffffffffffffffe0, 0xffffffffffffffe0,
  0xfffffffffffffff0, 0xfffffffffffffff0,
  0xfffffffffffffff8, 0xfffffffffffffff8,
  0xfffffffffffffffc, 0xfffffffffffffffc,
  0xfffffffffffffffe, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffc0000001, 0xffffffffc0000002,
  0xffffffffe0000001, 0xffffffffe0000001,
  0xfffffffff0000000, 0xfffffffff0000000,
  0xfffffffff8000000, 0xfffffffff8000000,
  0xfffffffffc000000, 0xfffffffffc000000,
  0xfffffffffe000000, 0xfffffffffe000000,
  0xffffffffff000000, 0xffffffffff000000,
  0xffffffffff800000, 0xffffffffff800000,
  0xffffffffffc00000, 0xffffffffffc00000,
  0xffffffffffe00000, 0xffffffffffe00000,
  0xfffffffffff00000, 0xfffffffffff00000,
  0xfffffffffff80000, 0xfffffffffff80000,
  0xfffffffffffc0000, 0xfffffffffffc0000,
  0xfffffffffffe0000, 0xfffffffffffe0000,
  0xffffffffffff0000, 0xffffffffffff0000,
  0xffffffffffff8000, 0xffffffffffff8000,
  0xffffffffffffc000, 0xffffffffffffc000,
  0xffffffffffffe000, 0xffffffffffffe000,
  0xfffffffffffff000, 0xfffffffffffff000,
  0xfffffffffffff800, 0xfffffffffffff800,
  0xfffffffffffffc00, 0xfffffffffffffc00,
  0xfffffffffffffe00, 0xfffffffffffffe00,
  0xffffffffffffff00, 0xffffffffffffff00,
  0xffffffffffffff80, 0xffffffffffffff80,
  0xffffffffffffffc0, 0xffffffffffffffc0,
  0xffffffffffffffe0, 0xffffffffffffffe0,
  0xfffffffffffffff0, 0xfffffffffffffff0,
  0xfffffffffffffff8, 0xfffffffffffffff8,
  0xfffffffffffffffc, 0xfffffffffffffffc,
  0xfffffffffffffffe, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffc0000002, 0xffffffffffffc000,
  0xffffffffe0000001, 0xffffffffffffe000,
  0xfffffffff0000000, 0xfffffffffffff000,
  0xfffffffff8000000, 0xfffffffffffff800,
  0xfffffffffc000000, 0xfffffffffffffc00,
  0xfffffffffe000000, 0xfffffffffffffe00,
  0xffffffffff000000, 0xffffffffffffff00,
  0xffffffffff800000, 0xffffffffffffff80,
  0xffffffffffc00000, 0xffffffffffffffc0,
  0xffffffffffe00000, 0xffffffffffffffe0,
  0xfffffffffff00000, 0xfffffffffffffff0,
  0xfffffffffff80000, 0xfffffffffffffff8,
  0xfffffffffffc0000, 0xfffffffffffffffc,
  0xfffffffffffe0000, 0xfffffffffffffffe,
  0xffffffffffff0000, 0xffffffffffffffff,
  0xffffffffffff8000, 0x0000000000000000,
  0xffffffffffffc000, 0x0000000000000000,
  0xffffffffffffe000, 0x0000000000000000,
  0xfffffffffffff000, 0x0000000000000000,
  0xfffffffffffff800, 0x0000000000000000,
  0xfffffffffffffc00, 0x0000000000000000,
  0xfffffffffffffe00, 0x0000000000000000,
  0xffffffffffffff00, 0x0000000000000000,
  0xffffffffffffff80, 0x0000000000000000,
  0xffffffffffffffc0, 0x0000000000000000,
  0xffffffffffffffe0, 0x0000000000000000,
  0xfffffffffffffff0, 0x0000000000000000,
  0xfffffffffffffff8, 0x0000000000000000,
  0xfffffffffffffffc, 0x0000000000000000,
  0xfffffffffffffffe, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffffffc000, 0xffffffffffffc001,
  0xffffffffffffe000, 0xffffffffffffe000,
  0xfffffffffffff000, 0xfffffffffffff000,
  0xfffffffffffff800, 0xfffffffffffff800,
  0xfffffffffffffc00, 0xfffffffffffffc00,
  0xfffffffffffffe00, 0xfffffffffffffe00,
  0xffffffffffffff00, 0xffffffffffffff00,
  0xffffffffffffff80, 0xffffffffffffff80,
  0xffffffffffffffc0, 0xffffffffffffffc0,
  0xffffffffffffffe0, 0xffffffffffffffe0,
  0xfffffffffffffff0, 0xfffffffffffffff0,
  0xfffffffffffffff8, 0xfffffffffffffff8,
  0xfffffffffffffffc, 0xfffffffffffffffc,
  0xfffffffffffffffe, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffffffc001, 0xffffffffffffc001,
  0xffffffffffffe000, 0xffffffffffffe001,
  0xfffffffffffff000, 0xfffffffffffff000,
  0xfffffffffffff800, 0xfffffffffffff800,
  0xfffffffffffffc00, 0xfffffffffffffc00,
  0xfffffffffffffe00, 0xfffffffffffffe00,
  0xffffffffffffff00, 0xffffffffffffff00,
  0xffffffffffffff80, 0xffffffffffffff80,
  0xffffffffffffffc0, 0xffffffffffffffc0,
  0xffffffffffffffe0, 0xffffffffffffffe0,
  0xfffffffffffffff0, 0xfffffffffffffff0,
  0xfffffffffffffff8, 0xfffffffffffffff8,
  0xfffffffffffffffc, 0xfffffffffffffffc,
  0xfffffffffffffffe, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffffffc001, 0xffffffffffffc002,
  0xffffffffffffe001, 0xffffffffffffe001,
  0xfffffffffffff000, 0xfffffffffffff000,
  0xfffffffffffff800, 0xfffffffffffff800,
  0xfffffffffffffc00, 0xfffffffffffffc00,
  0xfffffffffffffe00, 0xfffffffffffffe00,
  0xffffffffffffff00, 0xffffffffffffff00,
  0xffffffffffffff80, 0xffffffffffffff80,
  0xffffffffffffffc0, 0xffffffffffffffc0,
  0xffffffffffffffe0, 0xffffffffffffffe0,
  0xfffffffffffffff0, 0xfffffffffffffff0,
  0xfffffffffffffff8, 0xfffffffffffffff8,
  0xfffffffffffffffc, 0xfffffffffffffffc,
  0xfffffffffffffffe, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffffffc002, 0xffffffffffffffc0,
  0xffffffffffffe001, 0xffffffffffffffe0,
  0xfffffffffffff000, 0xfffffffffffffff0,
  0xfffffffffffff800, 0xfffffffffffffff8,
  0xfffffffffffffc00, 0xfffffffffffffffc,
  0xfffffffffffffe00, 0xfffffffffffffffe,
  0xffffffffffffff00, 0xffffffffffffffff,
  0xffffffffffffff80, 0x0000000000000000,
  0xffffffffffffffc0, 0x0000000000000000,
  0xffffffffffffffe0, 0x0000000000000000,
  0xfffffffffffffff0, 0x0000000000000000,
  0xfffffffffffffff8, 0x0000000000000000,
  0xfffffffffffffffc, 0x0000000000000000,
  0xfffffffffffffffe, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffffffffc0, 0xffffffffffffffc1,
  0xffffffffffffffe0, 0xffffffffffffffe0,
  0xfffffffffffffff0, 0xfffffffffffffff0,
  0xfffffffffffffff8, 0xfffffffffffffff8,
  0xfffffffffffffffc, 0xfffffffffffffffc,
  0xfffffffffffffffe, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffffffffc1, 0xffffffffffffffc1,
  0xffffffffffffffe0, 0xffffffffffffffe1,
  0xfffffffffffffff0, 0xfffffffffffffff0,
  0xfffffffffffffff8, 0xfffffffffffffff8,
  0xfffffffffffffffc, 0xfffffffffffffffc,
  0xfffffffffffffffe, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffffffffc1, 0xffffffffffffffc2,
  0xffffffffffffffe1, 0xffffffffffffffe1,
  0xfffffffffffffff0, 0xfffffffffffffff0,
  0xfffffffffffffff8, 0xfffffffffffffff8,
  0xfffffffffffffffc, 0xfffffffffffffffc,
  0xfffffffffffffffe, 0xfffffffffffffffe,
  0xffffffffffffffff, 0xffffffffffffffff,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffffffffc2, 0xffffffffffffffe0,
  0xffffffffffffffe1, 0xfffffffffffffff0,
  0xfffffffffffffff0, 0xfffffffffffffff8,
  0xfffffffffffffff8, 0xfffffffffffffffc,
  0xfffffffffffffffc, 0xfffffffffffffffe,
  0xfffffffffffffffe, 0xffffffffffffffff,
  0xffffffffffffffff, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffffffffe0, 0xffffffffffffffff,
  0xfffffffffffffff0, 0xffffffffffffffff,
  0xfffffffffffffff8, 0x0000000000000000,
  0xfffffffffffffffc, 0x0000000000000000,
  0xfffffffffffffffe, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffffffffff, 0xffffffffffffffff,
  0xffffffffffffffff, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0xffffffffffffffff, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0x0000000000000000,
};
const unsigned kExpectedCount_NEON_srshr_2D_2OPIMM = 2560;

#endif  // VIXL_SIM_SRSHR_2D_2OPIMM_TRACE_AARCH64_H_