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


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

#ifndef VIXL_SIM_SSRA_D_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_SSRA_D_2OPIMM_TRACE_A64_H_

const uint64_t kExpected_NEON_ssra_D_2OPIMM[] = {
  0xffffffffffffffff,
  0xfffffffffffffffe,
  0xfffffffffffffffd,
  0xfffffffffffffffc,
  0xfffffffffffffffb,
  0xfffffffffffffffa,
  0xfffffffffffffff9,
  0xfffffffffffffff8,
  0xfffffffffffffff7,
  0xfffffffffffffff6,
  0xfffffffffffffff5,
  0xfffffffffffffff4,
  0xfffffffffffffff3,
  0xfffffffffffffff2,
  0xfffffffffffffff1,
  0xfffffffffffffff0,
  0xffffffffffffffef,
  0xffffffffffffffee,
  0xffffffffffffffed,
  0xffffffffffffffec,
  0xffffffffffffffeb,
  0xffffffffffffffea,
  0xffffffffffffffe9,
  0xffffffffffffffe8,
  0xffffffffffffffe7,
  0xffffffffffffffe6,
  0xffffffffffffffe5,
  0xffffffffffffffe4,
  0xffffffffffffffe3,
  0xffffffffffffffe2,
  0xffffffffffffffe1,
  0xffffffffffffffe0,
  0xffffffffffffffdf,
  0xffffffffffffffde,
  0xffffffffffffffdd,
  0xffffffffffffffdc,
  0xffffffffffffffdb,
  0xffffffffffffffda,
  0xffffffffffffffd9,
  0xffffffffffffffd8,
  0xffffffffffffffd7,
  0xffffffffffffffd6,
  0xffffffffffffffd5,
  0xffffffffffffffd4,
  0xffffffffffffffd3,
  0xffffffffffffffd2,
  0xffffffffffffffd1,
  0xffffffffffffffd0,
  0xffffffffffffffcf,
  0xffffffffffffffce,
  0xffffffffffffffcd,
  0xffffffffffffffcc,
  0xffffffffffffffcb,
  0xffffffffffffffca,
  0xffffffffffffffc9,
  0xffffffffffffffc8,
  0xffffffffffffffc7,
  0xffffffffffffffc6,
  0xffffffffffffffc5,
  0xffffffffffffffc4,
  0xffffffffffffffc3,
  0xffffffffffffffc2,
  0xffffffffffffffc1,
  0xffffffffffffffc0,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  0x0000000000000000,
  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,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000001,
  0x0000000000000020,
  0x0000000000000030,
  0x0000000000000038,
  0x000000000000003c,
  0x000000000000003e,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003f,
  0x000000000000003e,
  0x000000000000005d,
  0x000000000000006c,
  0x0000000000000073,
  0x0000000000000076,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x0000000000000077,
  0x000000000000003f,
  0x000000000000005e,
  0x000000000000006d,
  0x0000000000000074,
  0x0000000000000077,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x000000000000003f,
  0x000000000000005e,
  0x000000000000006d,
  0x0000000000000074,
  0x0000000000000077,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000000078,
  0x0000000000003ffe,
  0x0000000000005ffd,
  0x0000000000006ffc,
  0x00000000000077fb,
  0x0000000000007bfa,
  0x0000000000007df9,
  0x0000000000007ef8,
  0x0000000000007f77,
  0x0000000000007fb6,
  0x0000000000007fd5,
  0x0000000000007fe4,
  0x0000000000007feb,
  0x0000000000007fee,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000007fef,
  0x0000000000003fff,
  0x0000000000005ffe,
  0x0000000000006ffd,
  0x00000000000077fc,
  0x0000000000007bfb,
  0x0000000000007dfa,
  0x0000000000007ef9,
  0x0000000000007f78,
  0x0000000000007fb7,
  0x0000000000007fd6,
  0x0000000000007fe5,
  0x0000000000007fec,
  0x0000000000007fef,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000003fff,
  0x0000000000005ffe,
  0x0000000000006ffd,
  0x00000000000077fc,
  0x0000000000007bfb,
  0x0000000000007dfa,
  0x0000000000007ef9,
  0x0000000000007f78,
  0x0000000000007fb7,
  0x0000000000007fd6,
  0x0000000000007fe5,
  0x0000000000007fec,
  0x0000000000007fef,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x0000000000007ff0,
  0x000000003ffffffe,
  0x000000005ffffffd,
  0x000000006ffffffc,
  0x0000000077fffffb,
  0x000000007bfffffa,
  0x000000007dfffff9,
  0x000000007efffff8,
  0x000000007f7ffff7,
  0x000000007fbffff6,
  0x000000007fdffff5,
  0x000000007feffff4,
  0x000000007ff7fff3,
  0x000000007ffbfff2,
  0x000000007ffdfff1,
  0x000000007ffefff0,
  0x000000007fff7fef,
  0x000000007fffbfee,
  0x000000007fffdfed,
  0x000000007fffefec,
  0x000000007ffff7eb,
  0x000000007ffffbea,
  0x000000007ffffde9,
  0x000000007ffffee8,
  0x000000007fffff67,
  0x000000007fffffa6,
  0x000000007fffffc5,
  0x000000007fffffd4,
  0x000000007fffffdb,
  0x000000007fffffde,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000007fffffdf,
  0x000000003fffffff,
  0x000000005ffffffe,
  0x000000006ffffffd,
  0x0000000077fffffc,
  0x000000007bfffffb,
  0x000000007dfffffa,
  0x000000007efffff9,
  0x000000007f7ffff8,
  0x000000007fbffff7,
  0x000000007fdffff6,
  0x000000007feffff5,
  0x000000007ff7fff4,
  0x000000007ffbfff3,
  0x000000007ffdfff2,
  0x000000007ffefff1,
  0x000000007fff7ff0,
  0x000000007fffbfef,
  0x000000007fffdfee,
  0x000000007fffefed,
  0x000000007ffff7ec,
  0x000000007ffffbeb,
  0x000000007ffffdea,
  0x000000007ffffee9,
  0x000000007fffff68,
  0x000000007fffffa7,
  0x000000007fffffc6,
  0x000000007fffffd5,
  0x000000007fffffdc,
  0x000000007fffffdf,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000003fffffff,
  0x000000005ffffffe,
  0x000000006ffffffd,
  0x0000000077fffffc,
  0x000000007bfffffb,
  0x000000007dfffffa,
  0x000000007efffff9,
  0x000000007f7ffff8,
  0x000000007fbffff7,
  0x000000007fdffff6,
  0x000000007feffff5,
  0x000000007ff7fff4,
  0x000000007ffbfff3,
  0x000000007ffdfff2,
  0x000000007ffefff1,
  0x000000007fff7ff0,
  0x000000007fffbfef,
  0x000000007fffdfee,
  0x000000007fffefed,
  0x000000007ffff7ec,
  0x000000007ffffbeb,
  0x000000007ffffdea,
  0x000000007ffffee9,
  0x000000007fffff68,
  0x000000007fffffa7,
  0x000000007fffffc6,
  0x000000007fffffd5,
  0x000000007fffffdc,
  0x000000007fffffdf,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x000000007fffffe0,
  0x1999999999999999,
  0x2666666666666665,
  0x2ccccccccccccccb,
  0x2ffffffffffffffe,
  0x3199999999999997,
  0x3266666666666663,
  0x32ccccccccccccc9,
  0x32fffffffffffffc,
  0x3319999999999995,
  0x3326666666666661,
  0x332cccccccccccc7,
  0x332ffffffffffffa,
  0x3331999999999993,
  0x333266666666665f,
  0x3332ccccccccccc5,
  0x3332fffffffffff8,
  0x3333199999999991,
  0x333326666666665d,
  0x33332cccccccccc3,
  0x33332ffffffffff6,
  0x333331999999998f,
  0x333332666666665b,
  0x333332ccccccccc1,
  0x333332fffffffff4,
  0x333333199999998d,
  0x3333332666666659,
  0x3333332cccccccbf,
  0x3333332ffffffff2,
  0x333333319999998b,
  0x3333333266666657,
  0x33333332ccccccbd,
  0x33333332fffffff0,
  0x3333333319999989,
  0x3333333326666655,
  0x333333332cccccbb,
  0x333333332fffffee,
  0x3333333331999987,
  0x3333333332666653,
  0x3333333332ccccb9,
  0x3333333332ffffec,
  0x3333333333199985,
  0x3333333333266651,
  0x33333333332cccb7,
  0x33333333332fffea,
  0x3333333333319983,
  0x333333333332664f,
  0x333333333332ccb5,
  0x333333333332ffe8,
  0x3333333333331981,
  0x333333333333264d,
  0x3333333333332cb3,
  0x3333333333332fe6,
  0x333333333333317f,
  0x333333333333324b,
  0x33333333333332b1,
  0x33333333333332e4,
  0x33333333333332fd,
  0x3333333333333309,
  0x333333333333330f,
  0x3333333333333312,
  0x3333333333333313,
  0x3333333333333313,
  0x3333333333333313,
  0x3333333333333313,
  0x2aaaaaaaaaaaaaaa,
  0x3fffffffffffffff,
  0x4aaaaaaaaaaaaaa9,
  0x4ffffffffffffffe,
  0x52aaaaaaaaaaaaa8,
  0x53fffffffffffffd,
  0x54aaaaaaaaaaaaa7,
  0x54fffffffffffffc,
  0x552aaaaaaaaaaaa6,
  0x553ffffffffffffb,
  0x554aaaaaaaaaaaa5,
  0x554ffffffffffffa,
  0x5552aaaaaaaaaaa4,
  0x5553fffffffffff9,
  0x5554aaaaaaaaaaa3,
  0x5554fffffffffff8,
  0x55552aaaaaaaaaa2,
  0x55553ffffffffff7,
  0x55554aaaaaaaaaa1,
  0x55554ffffffffff6,
  0x555552aaaaaaaaa0,
  0x555553fffffffff5,
  0x555554aaaaaaaa9f,
  0x555554fffffffff4,
  0x5555552aaaaaaa9e,
  0x5555553ffffffff3,
  0x5555554aaaaaaa9d,
  0x5555554ffffffff2,
  0x55555552aaaaaa9c,
  0x55555553fffffff1,
  0x55555554aaaaaa9b,
  0x55555554fffffff0,
  0x555555552aaaaa9a,
  0x555555553fffffef,
  0x555555554aaaaa99,
  0x555555554fffffee,
  0x5555555552aaaa98,
  0x5555555553ffffed,
  0x5555555554aaaa97,
  0x5555555554ffffec,
  0x55555555552aaa96,
  0x55555555553fffeb,
  0x55555555554aaa95,
  0x55555555554fffea,
  0x555555555552aa94,
  0x555555555553ffe9,
  0x555555555554aa93,
  0x555555555554ffe8,
  0x5555555555552a92,
  0x5555555555553fe7,
  0x5555555555554a91,
  0x5555555555554fe6,
  0x5555555555555290,
  0x55555555555553e5,
  0x555555555555548f,
  0x55555555555554e4,
  0x555555555555550e,
  0x5555555555555523,
  0x555555555555552d,
  0x5555555555555532,
  0x5555555555555534,
  0x5555555555555535,
  0x5555555555555535,
  0x5555555555555535,
  0x3ffffffffffffffe,
  0x5ffffffffffffffd,
  0x6ffffffffffffffc,
  0x77fffffffffffffb,
  0x7bfffffffffffffa,
  0x7dfffffffffffff9,
  0x7efffffffffffff8,
  0x7f7ffffffffffff7,
  0x7fbffffffffffff6,
  0x7fdffffffffffff5,
  0x7feffffffffffff4,
  0x7ff7fffffffffff3,
  0x7ffbfffffffffff2,
  0x7ffdfffffffffff1,
  0x7ffefffffffffff0,
  0x7fff7fffffffffef,
  0x7fffbfffffffffee,
  0x7fffdfffffffffed,
  0x7fffefffffffffec,
  0x7ffff7ffffffffeb,
  0x7ffffbffffffffea,
  0x7ffffdffffffffe9,
  0x7ffffeffffffffe8,
  0x7fffff7fffffffe7,
  0x7fffffbfffffffe6,
  0x7fffffdfffffffe5,
  0x7fffffefffffffe4,
  0x7ffffff7ffffffe3,
  0x7ffffffbffffffe2,
  0x7ffffffdffffffe1,
  0x7ffffffeffffffe0,
  0x7fffffff7fffffdf,
  0x7fffffffbfffffde,
  0x7fffffffdfffffdd,
  0x7fffffffefffffdc,
  0x7ffffffff7ffffdb,
  0x7ffffffffbffffda,
  0x7ffffffffdffffd9,
  0x7ffffffffeffffd8,
  0x7fffffffff7fffd7,
  0x7fffffffffbfffd6,
  0x7fffffffffdfffd5,
  0x7fffffffffefffd4,
  0x7ffffffffff7ffd3,
  0x7ffffffffffbffd2,
  0x7ffffffffffdffd1,
  0x7ffffffffffeffd0,
  0x7fffffffffff7fcf,
  0x7fffffffffffbfce,
  0x7fffffffffffdfcd,
  0x7fffffffffffefcc,
  0x7ffffffffffff7cb,
  0x7ffffffffffffbca,
  0x7ffffffffffffdc9,
  0x7ffffffffffffec8,
  0x7fffffffffffff47,
  0x7fffffffffffff86,
  0x7fffffffffffffa5,
  0x7fffffffffffffb4,
  0x7fffffffffffffbb,
  0x7fffffffffffffbe,
  0x7fffffffffffffbf,
  0x7fffffffffffffbf,
  0x7fffffffffffffbf,
  0x3fffffffffffffff,
  0x5ffffffffffffffe,
  0x6ffffffffffffffd,
  0x77fffffffffffffc,
  0x7bfffffffffffffb,
  0x7dfffffffffffffa,
  0x7efffffffffffff9,
  0x7f7ffffffffffff8,
  0x7fbffffffffffff7,
  0x7fdffffffffffff6,
  0x7feffffffffffff5,
  0x7ff7fffffffffff4,
  0x7ffbfffffffffff3,
  0x7ffdfffffffffff2,
  0x7ffefffffffffff1,
  0x7fff7ffffffffff0,
  0x7fffbfffffffffef,
  0x7fffdfffffffffee,
  0x7fffefffffffffed,
  0x7ffff7ffffffffec,
  0x7ffffbffffffffeb,
  0x7ffffdffffffffea,
  0x7ffffeffffffffe9,
  0x7fffff7fffffffe8,
  0x7fffffbfffffffe7,
  0x7fffffdfffffffe6,
  0x7fffffefffffffe5,
  0x7ffffff7ffffffe4,
  0x7ffffffbffffffe3,
  0x7ffffffdffffffe2,
  0x7ffffffeffffffe1,
  0x7fffffff7fffffe0,
  0x7fffffffbfffffdf,
  0x7fffffffdfffffde,
  0x7fffffffefffffdd,
  0x7ffffffff7ffffdc,
  0x7ffffffffbffffdb,
  0x7ffffffffdffffda,
  0x7ffffffffeffffd9,
  0x7fffffffff7fffd8,
  0x7fffffffffbfffd7,
  0x7fffffffffdfffd6,
  0x7fffffffffefffd5,
  0x7ffffffffff7ffd4,
  0x7ffffffffffbffd3,
  0x7ffffffffffdffd2,
  0x7ffffffffffeffd1,
  0x7fffffffffff7fd0,
  0x7fffffffffffbfcf,
  0x7fffffffffffdfce,
  0x7fffffffffffefcd,
  0x7ffffffffffff7cc,
  0x7ffffffffffffbcb,
  0x7ffffffffffffdca,
  0x7ffffffffffffec9,
  0x7fffffffffffff48,
  0x7fffffffffffff87,
  0x7fffffffffffffa6,
  0x7fffffffffffffb5,
  0x7fffffffffffffbc,
  0x7fffffffffffffbf,
  0x7fffffffffffffc0,
  0x7fffffffffffffc0,
  0x7fffffffffffffc0,
  0x3fffffffffffffff,
  0x5ffffffffffffffe,
  0x6ffffffffffffffd,
  0x77fffffffffffffc,
  0x7bfffffffffffffb,
  0x7dfffffffffffffa,
  0x7efffffffffffff9,
  0x7f7ffffffffffff8,
  0x7fbffffffffffff7,
  0x7fdffffffffffff6,
  0x7feffffffffffff5,
  0x7ff7fffffffffff4,
  0x7ffbfffffffffff3,
  0x7ffdfffffffffff2,
  0x7ffefffffffffff1,
  0x7fff7ffffffffff0,
  0x7fffbfffffffffef,
  0x7fffdfffffffffee,
  0x7fffefffffffffed,
  0x7ffff7ffffffffec,
  0x7ffffbffffffffeb,
  0x7ffffdffffffffea,
  0x7ffffeffffffffe9,
  0x7fffff7fffffffe8,
  0x7fffffbfffffffe7,
  0x7fffffdfffffffe6,
  0x7fffffefffffffe5,
  0x7ffffff7ffffffe4,
  0x7ffffffbffffffe3,
  0x7ffffffdffffffe2,
  0x7ffffffeffffffe1,
  0x7fffffff7fffffe0,
  0x7fffffffbfffffdf,
  0x7fffffffdfffffde,
  0x7fffffffefffffdd,
  0x7ffffffff7ffffdc,
  0x7ffffffffbffffdb,
  0x7ffffffffdffffda,
  0x7ffffffffeffffd9,
  0x7fffffffff7fffd8,
  0x7fffffffffbfffd7,
  0x7fffffffffdfffd6,
  0x7fffffffffefffd5,
  0x7ffffffffff7ffd4,
  0x7ffffffffffbffd3,
  0x7ffffffffffdffd2,
  0x7ffffffffffeffd1,
  0x7fffffffffff7fd0,
  0x7fffffffffffbfcf,
  0x7fffffffffffdfce,
  0x7fffffffffffefcd,
  0x7ffffffffffff7cc,
  0x7ffffffffffffbcb,
  0x7ffffffffffffdca,
  0x7ffffffffffffec9,
  0x7fffffffffffff48,
  0x7fffffffffffff87,
  0x7fffffffffffffa6,
  0x7fffffffffffffb5,
  0x7fffffffffffffbc,
  0x7fffffffffffffbf,
  0x7fffffffffffffc0,
  0x7fffffffffffffc0,
  0x7fffffffffffffc0,
  0xc000000000000000,
  0xa000000000000000,
  0x9000000000000000,
  0x8800000000000000,
  0x8400000000000000,
  0x8200000000000000,
  0x8100000000000000,
  0x8080000000000000,
  0x8040000000000000,
  0x8020000000000000,
  0x8010000000000000,
  0x8008000000000000,
  0x8004000000000000,
  0x8002000000000000,
  0x8001000000000000,
  0x8000800000000000,
  0x8000400000000000,
  0x8000200000000000,
  0x8000100000000000,
  0x8000080000000000,
  0x8000040000000000,
  0x8000020000000000,
  0x8000010000000000,
  0x8000008000000000,
  0x8000004000000000,
  0x8000002000000000,
  0x8000001000000000,
  0x8000000800000000,
  0x8000000400000000,
  0x8000000200000000,
  0x8000000100000000,
  0x8000000080000000,
  0x8000000040000000,
  0x8000000020000000,
  0x8000000010000000,
  0x8000000008000000,
  0x8000000004000000,
  0x8000000002000000,
  0x8000000001000000,
  0x8000000000800000,
  0x8000000000400000,
  0x8000000000200000,
  0x8000000000100000,
  0x8000000000080000,
  0x8000000000040000,
  0x8000000000020000,
  0x8000000000010000,
  0x8000000000008000,
  0x8000000000004000,
  0x8000000000002000,
  0x8000000000001000,
  0x8000000000000800,
  0x8000000000000400,
  0x8000000000000200,
  0x8000000000000100,
  0x8000000000000080,
  0x8000000000000040,
  0x8000000000000020,
  0x8000000000000010,
  0x8000000000000008,
  0x8000000000000004,
  0x8000000000000002,
  0x8000000000000001,
  0x8000000000000000,
  0xc000000000000000,
  0xa000000000000000,
  0x9000000000000000,
  0x8800000000000000,
  0x8400000000000000,
  0x8200000000000000,
  0x8100000000000000,
  0x8080000000000000,
  0x8040000000000000,
  0x8020000000000000,
  0x8010000000000000,
  0x8008000000000000,
  0x8004000000000000,
  0x8002000000000000,
  0x8001000000000000,
  0x8000800000000000,
  0x8000400000000000,
  0x8000200000000000,
  0x8000100000000000,
  0x8000080000000000,
  0x8000040000000000,
  0x8000020000000000,
  0x8000010000000000,
  0x8000008000000000,
  0x8000004000000000,
  0x8000002000000000,
  0x8000001000000000,
  0x8000000800000000,
  0x8000000400000000,
  0x8000000200000000,
  0x8000000100000000,
  0x8000000080000000,
  0x8000000040000000,
  0x8000000020000000,
  0x8000000010000000,
  0x8000000008000000,
  0x8000000004000000,
  0x8000000002000000,
  0x8000000001000000,
  0x8000000000800000,
  0x8000000000400000,
  0x8000000000200000,
  0x8000000000100000,
  0x8000000000080000,
  0x8000000000040000,
  0x8000000000020000,
  0x8000000000010000,
  0x8000000000008000,
  0x8000000000004000,
  0x8000000000002000,
  0x8000000000001000,
  0x8000000000000800,
  0x8000000000000400,
  0x8000000000000200,
  0x8000000000000100,
  0x8000000000000080,
  0x8000000000000040,
  0x8000000000000020,
  0x8000000000000010,
  0x8000000000000008,
  0x8000000000000004,
  0x8000000000000002,
  0x8000000000000001,
  0x8000000000000000,
  0xc000000000000001,
  0xa000000000000001,
  0x9000000000000001,
  0x8800000000000001,
  0x8400000000000001,
  0x8200000000000001,
  0x8100000000000001,
  0x8080000000000001,
  0x8040000000000001,
  0x8020000000000001,
  0x8010000000000001,
  0x8008000000000001,
  0x8004000000000001,
  0x8002000000000001,
  0x8001000000000001,
  0x8000800000000001,
  0x8000400000000001,
  0x8000200000000001,
  0x8000100000000001,
  0x8000080000000001,
  0x8000040000000001,
  0x8000020000000001,
  0x8000010000000001,
  0x8000008000000001,
  0x8000004000000001,
  0x8000002000000001,
  0x8000001000000001,
  0x8000000800000001,
  0x8000000400000001,
  0x8000000200000001,
  0x8000000100000001,
  0x8000000080000001,
  0x8000000040000001,
  0x8000000020000001,
  0x8000000010000001,
  0x8000000008000001,
  0x8000000004000001,
  0x8000000002000001,
  0x8000000001000001,
  0x8000000000800001,
  0x8000000000400001,
  0x8000000000200001,
  0x8000000000100001,
  0x8000000000080001,
  0x8000000000040001,
  0x8000000000020001,
  0x8000000000010001,
  0x8000000000008001,
  0x8000000000004001,
  0x8000000000002001,
  0x8000000000001001,
  0x8000000000000801,
  0x8000000000000401,
  0x8000000000000201,
  0x8000000000000101,
  0x8000000000000081,
  0x8000000000000041,
  0x8000000000000021,
  0x8000000000000011,
  0x8000000000000009,
  0x8000000000000005,
  0x8000000000000003,
  0x8000000000000002,
  0x8000000000000001,
  0xc000000000000001,
  0xa000000000000001,
  0x9000000000000001,
  0x8800000000000001,
  0x8400000000000001,
  0x8200000000000001,
  0x8100000000000001,
  0x8080000000000001,
  0x8040000000000001,
  0x8020000000000001,
  0x8010000000000001,
  0x8008000000000001,
  0x8004000000000001,
  0x8002000000000001,
  0x8001000000000001,
  0x8000800000000001,
  0x8000400000000001,
  0x8000200000000001,
  0x8000100000000001,
  0x8000080000000001,
  0x8000040000000001,
  0x8000020000000001,
  0x8000010000000001,
  0x8000008000000001,
  0x8000004000000001,
  0x8000002000000001,
  0x8000001000000001,
  0x8000000800000001,
  0x8000000400000001,
  0x8000000200000001,
  0x8000000100000001,
  0x8000000080000001,
  0x8000000040000001,
  0x8000000020000001,
  0x8000000010000001,
  0x8000000008000001,
  0x8000000004000001,
  0x8000000002000001,
  0x8000000001000001,
  0x8000000000800001,
  0x8000000000400001,
  0x8000000000200001,
  0x8000000000100001,
  0x8000000000080001,
  0x8000000000040001,
  0x8000000000020001,
  0x8000000000010001,
  0x8000000000008001,
  0x8000000000004001,
  0x8000000000002001,
  0x8000000000001001,
  0x8000000000000801,
  0x8000000000000401,
  0x8000000000000201,
  0x8000000000000101,
  0x8000000000000081,
  0x8000000000000041,
  0x8000000000000021,
  0x8000000000000011,
  0x8000000000000009,
  0x8000000000000005,
  0x8000000000000003,
  0x8000000000000002,
  0x8000000000000001,
  0xd555555555555555,
  0xbfffffffffffffff,
  0xb555555555555554,
  0xaffffffffffffffe,
  0xad55555555555553,
  0xabfffffffffffffd,
  0xab55555555555552,
  0xaafffffffffffffc,
  0xaad5555555555551,
  0xaabffffffffffffb,
  0xaab5555555555550,
  0xaaaffffffffffffa,
  0xaaad55555555554f,
  0xaaabfffffffffff9,
  0xaaab55555555554e,
  0xaaaafffffffffff8,
  0xaaaad5555555554d,
  0xaaaabffffffffff7,
  0xaaaab5555555554c,
  0xaaaaaffffffffff6,
  0xaaaaad555555554b,
  0xaaaaabfffffffff5,
  0xaaaaab555555554a,
  0xaaaaaafffffffff4,
  0xaaaaaad555555549,
  0xaaaaaabffffffff3,
  0xaaaaaab555555548,
  0xaaaaaaaffffffff2,
  0xaaaaaaad55555547,
  0xaaaaaaabfffffff1,
  0xaaaaaaab55555546,
  0xaaaaaaaafffffff0,
  0xaaaaaaaad5555545,
  0xaaaaaaaabfffffef,
  0xaaaaaaaab5555544,
  0xaaaaaaaaafffffee,
  0xaaaaaaaaad555543,
  0xaaaaaaaaabffffed,
  0xaaaaaaaaab555542,
  0xaaaaaaaaaaffffec,
  0xaaaaaaaaaad55541,
  0xaaaaaaaaaabfffeb,
  0xaaaaaaaaaab55540,
  0xaaaaaaaaaaafffea,
  0xaaaaaaaaaaad553f,
  0xaaaaaaaaaaabffe9,
  0xaaaaaaaaaaab553e,
  0xaaaaaaaaaaaaffe8,
  0xaaaaaaaaaaaad53d,
  0xaaaaaaaaaaaabfe7,
  0xaaaaaaaaaaaab53c,
  0xaaaaaaaaaaaaafe6,
  0xaaaaaaaaaaaaad3b,
  0xaaaaaaaaaaaaabe5,
  0xaaaaaaaaaaaaab3a,
  0xaaaaaaaaaaaaaae4,
  0xaaaaaaaaaaaaaab9,
  0xaaaaaaaaaaaaaaa3,
  0xaaaaaaaaaaaaaa98,
  0xaaaaaaaaaaaaaa92,
  0xaaaaaaaaaaaaaa8f,
  0xaaaaaaaaaaaaaa8d,
  0xaaaaaaaaaaaaaa8c,
  0xaaaaaaaaaaaaaa8b,
  0xe666666666666666,
  0xd999999999999999,
  0xd333333333333332,
  0xcffffffffffffffe,
  0xce66666666666664,
  0xcd99999999999997,
  0xcd33333333333330,
  0xccfffffffffffffc,
  0xcce6666666666662,
  0xccd9999999999995,
  0xccd333333333332e,
  0xcccffffffffffffa,
  0xccce666666666660,
  0xcccd999999999993,
  0xcccd33333333332c,
  0xccccfffffffffff8,
  0xcccce6666666665e,
  0xccccd99999999991,
  0xccccd3333333332a,
  0xcccccffffffffff6,
  0xccccce666666665c,
  0xcccccd999999998f,
  0xcccccd3333333328,
  0xccccccfffffffff4,
  0xcccccce66666665a,
  0xccccccd99999998d,
  0xccccccd333333326,
  0xcccccccffffffff2,
  0xccccccce66666658,
  0xcccccccd9999998b,
  0xcccccccd33333324,
  0xccccccccfffffff0,
  0xcccccccce6666656,
  0xccccccccd9999989,
  0xccccccccd3333322,
  0xcccccccccfffffee,
  0xccccccccce666654,
  0xcccccccccd999987,
  0xcccccccccd333320,
  0xccccccccccffffec,
  0xcccccccccce66652,
  0xccccccccccd99985,
  0xccccccccccd3331e,
  0xcccccccccccfffea,
  0xccccccccccce6650,
  0xcccccccccccd9983,
  0xcccccccccccd331c,
  0xccccccccccccffe8,
  0xcccccccccccce64e,
  0xccccccccccccd981,
  0xccccccccccccd31a,
  0xcccccccccccccfe6,
  0xccccccccccccce4c,
  0xcccccccccccccd7f,
  0xcccccccccccccd18,
  0xcccccccccccccce4,
  0xccccccccccccccca,
  0xccccccccccccccbd,
  0xccccccccccccccb6,
  0xccccccccccccccb2,
  0xccccccccccccccb0,
  0xccccccccccccccaf,
  0xccccccccccccccae,
  0xccccccccccccccad,
  0xffffffffc0000000,
  0xffffffffa0000000,
  0xffffffff90000000,
  0xffffffff88000000,
  0xffffffff84000000,
  0xffffffff82000000,
  0xffffffff81000000,
  0xffffffff80800000,
  0xffffffff80400000,
  0xffffffff80200000,
  0xffffffff80100000,
  0xffffffff80080000,
  0xffffffff80040000,
  0xffffffff80020000,
  0xffffffff80010000,
  0xffffffff80008000,
  0xffffffff80004000,
  0xffffffff80002000,
  0xffffffff80001000,
  0xffffffff80000800,
  0xffffffff80000400,
  0xffffffff80000200,
  0xffffffff80000100,
  0xffffffff80000080,
  0xffffffff80000040,
  0xffffffff80000020,
  0xffffffff80000010,
  0xffffffff80000008,
  0xffffffff80000004,
  0xffffffff80000002,
  0xffffffff80000001,
  0xffffffff80000000,
  0xffffffff7fffffff,
  0xffffffff7ffffffe,
  0xffffffff7ffffffd,
  0xffffffff7ffffffc,
  0xffffffff7ffffffb,
  0xffffffff7ffffffa,
  0xffffffff7ffffff9,
  0xffffffff7ffffff8,
  0xffffffff7ffffff7,
  0xffffffff7ffffff6,
  0xffffffff7ffffff5,
  0xffffffff7ffffff4,
  0xffffffff7ffffff3,
  0xffffffff7ffffff2,
  0xffffffff7ffffff1,
  0xffffffff7ffffff0,
  0xffffffff7fffffef,
  0xffffffff7fffffee,
  0xffffffff7fffffed,
  0xffffffff7fffffec,
  0xffffffff7fffffeb,
  0xffffffff7fffffea,
  0xffffffff7fffffe9,
  0xffffffff7fffffe8,
  0xffffffff7fffffe7,
  0xffffffff7fffffe6,
  0xffffffff7fffffe5,
  0xffffffff7fffffe4,
  0xffffffff7fffffe3,
  0xffffffff7fffffe2,
  0xffffffff7fffffe1,
  0xffffffff7fffffe0,
  0xffffffffc0000000,
  0xffffffffa0000000,
  0xffffffff90000000,
  0xffffffff88000000,
  0xffffffff84000000,
  0xffffffff82000000,
  0xffffffff81000000,
  0xffffffff80800000,
  0xffffffff80400000,
  0xffffffff80200000,
  0xffffffff80100000,
  0xffffffff80080000,
  0xffffffff80040000,
  0xffffffff80020000,
  0xffffffff80010000,
  0xffffffff80008000,
  0xffffffff80004000,
  0xffffffff80002000,
  0xffffffff80001000,
  0xffffffff80000800,
  0xffffffff80000400,
  0xffffffff80000200,
  0xffffffff80000100,
  0xffffffff80000080,
  0xffffffff80000040,
  0xffffffff80000020,
  0xffffffff80000010,
  0xffffffff80000008,
  0xffffffff80000004,
  0xffffffff80000002,
  0xffffffff80000001,
  0xffffffff80000000,
  0xffffffff7fffffff,
  0xffffffff7ffffffe,
  0xffffffff7ffffffd,
  0xffffffff7ffffffc,
  0xffffffff7ffffffb,
  0xffffffff7ffffffa,
  0xffffffff7ffffff9,
  0xffffffff7ffffff8,
  0xffffffff7ffffff7,
  0xffffffff7ffffff6,
  0xffffffff7ffffff5,
  0xffffffff7ffffff4,
  0xffffffff7ffffff3,
  0xffffffff7ffffff2,
  0xffffffff7ffffff1,
  0xffffffff7ffffff0,
  0xffffffff7fffffef,
  0xffffffff7fffffee,
  0xffffffff7fffffed,
  0xffffffff7fffffec,
  0xffffffff7fffffeb,
  0xffffffff7fffffea,
  0xffffffff7fffffe9,
  0xffffffff7fffffe8,
  0xffffffff7fffffe7,
  0xffffffff7fffffe6,
  0xffffffff7fffffe5,
  0xffffffff7fffffe4,
  0xffffffff7fffffe3,
  0xffffffff7fffffe2,
  0xffffffff7fffffe1,
  0xffffffff7fffffe0,
  0xffffffffc0000001,
  0xffffffffa0000001,
  0xffffffff90000001,
  0xffffffff88000001,
  0xffffffff84000001,
  0xffffffff82000001,
  0xffffffff81000001,
  0xffffffff80800001,
  0xffffffff80400001,
  0xffffffff80200001,
  0xffffffff80100001,
  0xffffffff80080001,
  0xffffffff80040001,
  0xffffffff80020001,
  0xffffffff80010001,
  0xffffffff80008001,
  0xffffffff80004001,
  0xffffffff80002001,
  0xffffffff80001001,
  0xffffffff80000801,
  0xffffffff80000401,
  0xffffffff80000201,
  0xffffffff80000101,
  0xffffffff80000081,
  0xffffffff80000041,
  0xffffffff80000021,
  0xffffffff80000011,
  0xffffffff80000009,
  0xffffffff80000005,
  0xffffffff80000003,
  0xffffffff80000002,
  0xffffffff80000001,
  0xffffffff80000000,
  0xffffffff7fffffff,
  0xffffffff7ffffffe,
  0xffffffff7ffffffd,
  0xffffffff7ffffffc,
  0xffffffff7ffffffb,
  0xffffffff7ffffffa,
  0xffffffff7ffffff9,
  0xffffffff7ffffff8,
  0xffffffff7ffffff7,
  0xffffffff7ffffff6,
  0xffffffff7ffffff5,
  0xffffffff7ffffff4,
  0xffffffff7ffffff3,
  0xffffffff7ffffff2,
  0xffffffff7ffffff1,
  0xffffffff7ffffff0,
  0xffffffff7fffffef,
  0xffffffff7fffffee,
  0xffffffff7fffffed,
  0xffffffff7fffffec,
  0xffffffff7fffffeb,
  0xffffffff7fffffea,
  0xffffffff7fffffe9,
  0xffffffff7fffffe8,
  0xffffffff7fffffe7,
  0xffffffff7fffffe6,
  0xffffffff7fffffe5,
  0xffffffff7fffffe4,
  0xffffffff7fffffe3,
  0xffffffff7fffffe2,
  0xffffffff7fffffe1,
  0xffffffffc0000001,
  0xffffffffa0000001,
  0xffffffff90000001,
  0xffffffff88000001,
  0xffffffff84000001,
  0xffffffff82000001,
  0xffffffff81000001,
  0xffffffff80800001,
  0xffffffff80400001,
  0xffffffff80200001,
  0xffffffff80100001,
  0xffffffff80080001,
  0xffffffff80040001,
  0xffffffff80020001,
  0xffffffff80010001,
  0xffffffff80008001,
  0xffffffff80004001,
  0xffffffff80002001,
  0xffffffff80001001,
  0xffffffff80000801,
  0xffffffff80000401,
  0xffffffff80000201,
  0xffffffff80000101,
  0xffffffff80000081,
  0xffffffff80000041,
  0xffffffff80000021,
  0xffffffff80000011,
  0xffffffff80000009,
  0xffffffff80000005,
  0xffffffff80000003,
  0xffffffff80000002,
  0xffffffff80000001,
  0xffffffff80000000,
  0xffffffff7fffffff,
  0xffffffff7ffffffe,
  0xffffffff7ffffffd,
  0xffffffff7ffffffc,
  0xffffffff7ffffffb,
  0xffffffff7ffffffa,
  0xffffffff7ffffff9,
  0xffffffff7ffffff8,
  0xffffffff7ffffff7,
  0xffffffff7ffffff6,
  0xffffffff7ffffff5,
  0xffffffff7ffffff4,
  0xffffffff7ffffff3,
  0xffffffff7ffffff2,
  0xffffffff7ffffff1,
  0xffffffff7ffffff0,
  0xffffffff7fffffef,
  0xffffffff7fffffee,
  0xffffffff7fffffed,
  0xffffffff7fffffec,
  0xffffffff7fffffeb,
  0xffffffff7fffffea,
  0xffffffff7fffffe9,
  0xffffffff7fffffe8,
  0xffffffff7fffffe7,
  0xffffffff7fffffe6,
  0xffffffff7fffffe5,
  0xffffffff7fffffe4,
  0xffffffff7fffffe3,
  0xffffffff7fffffe2,
  0xffffffff7fffffe1,
  0xffffffffffffc000,
  0xffffffffffffa000,
  0xffffffffffff9000,
  0xffffffffffff8800,
  0xffffffffffff8400,
  0xffffffffffff8200,
  0xffffffffffff8100,
  0xffffffffffff8080,
  0xffffffffffff8040,
  0xffffffffffff8020,
  0xffffffffffff8010,
  0xffffffffffff8008,
  0xffffffffffff8004,
  0xffffffffffff8002,
  0xffffffffffff8001,
  0xffffffffffff8000,
  0xffffffffffff7fff,
  0xffffffffffff7ffe,
  0xffffffffffff7ffd,
  0xffffffffffff7ffc,
  0xffffffffffff7ffb,
  0xffffffffffff7ffa,
  0xffffffffffff7ff9,
  0xffffffffffff7ff8,
  0xffffffffffff7ff7,
  0xffffffffffff7ff6,
  0xffffffffffff7ff5,
  0xffffffffffff7ff4,
  0xffffffffffff7ff3,
  0xffffffffffff7ff2,
  0xffffffffffff7ff1,
  0xffffffffffff7ff0,
  0xffffffffffff7fef,
  0xffffffffffff7fee,
  0xffffffffffff7fed,
  0xffffffffffff7fec,
  0xffffffffffff7feb,
  0xffffffffffff7fea,
  0xffffffffffff7fe9,
  0xffffffffffff7fe8,
  0xffffffffffff7fe7,
  0xffffffffffff7fe6,
  0xffffffffffff7fe5,
  0xffffffffffff7fe4,
  0xffffffffffff7fe3,
  0xffffffffffff7fe2,
  0xffffffffffff7fe1,
  0xffffffffffff7fe0,
  0xffffffffffff7fdf,
  0xffffffffffff7fde,
  0xffffffffffff7fdd,
  0xffffffffffff7fdc,
  0xffffffffffff7fdb,
  0xffffffffffff7fda,
  0xffffffffffff7fd9,
  0xffffffffffff7fd8,
  0xffffffffffff7fd7,
  0xffffffffffff7fd6,
  0xffffffffffff7fd5,
  0xffffffffffff7fd4,
  0xffffffffffff7fd3,
  0xffffffffffff7fd2,
  0xffffffffffff7fd1,
  0xffffffffffff7fd0,
  0xffffffffffffc000,
  0xffffffffffffa000,
  0xffffffffffff9000,
  0xffffffffffff8800,
  0xffffffffffff8400,
  0xffffffffffff8200,
  0xffffffffffff8100,
  0xffffffffffff8080,
  0xffffffffffff8040,
  0xffffffffffff8020,
  0xffffffffffff8010,
  0xffffffffffff8008,
  0xffffffffffff8004,
  0xffffffffffff8002,
  0xffffffffffff8001,
  0xffffffffffff8000,
  0xffffffffffff7fff,
  0xffffffffffff7ffe,
  0xffffffffffff7ffd,
  0xffffffffffff7ffc,
  0xffffffffffff7ffb,
  0xffffffffffff7ffa,
  0xffffffffffff7ff9,
  0xffffffffffff7ff8,
  0xffffffffffff7ff7,
  0xffffffffffff7ff6,
  0xffffffffffff7ff5,
  0xffffffffffff7ff4,
  0xffffffffffff7ff3,
  0xffffffffffff7ff2,
  0xffffffffffff7ff1,
  0xffffffffffff7ff0,
  0xffffffffffff7fef,
  0xffffffffffff7fee,
  0xffffffffffff7fed,
  0xffffffffffff7fec,
  0xffffffffffff7feb,
  0xffffffffffff7fea,
  0xffffffffffff7fe9,
  0xffffffffffff7fe8,
  0xffffffffffff7fe7,
  0xffffffffffff7fe6,
  0xffffffffffff7fe5,
  0xffffffffffff7fe4,
  0xffffffffffff7fe3,
  0xffffffffffff7fe2,
  0xffffffffffff7fe1,
  0xffffffffffff7fe0,
  0xffffffffffff7fdf,
  0xffffffffffff7fde,
  0xffffffffffff7fdd,
  0xffffffffffff7fdc,
  0xffffffffffff7fdb,
  0xffffffffffff7fda,
  0xffffffffffff7fd9,
  0xffffffffffff7fd8,
  0xffffffffffff7fd7,
  0xffffffffffff7fd6,
  0xffffffffffff7fd5,
  0xffffffffffff7fd4,
  0xffffffffffff7fd3,
  0xffffffffffff7fd2,
  0xffffffffffff7fd1,
  0xffffffffffff7fd0,
  0xffffffffffffc001,
  0xffffffffffffa001,
  0xffffffffffff9001,
  0xffffffffffff8801,
  0xffffffffffff8401,
  0xffffffffffff8201,
  0xffffffffffff8101,
  0xffffffffffff8081,
  0xffffffffffff8041,
  0xffffffffffff8021,
  0xffffffffffff8011,
  0xffffffffffff8009,
  0xffffffffffff8005,
  0xffffffffffff8003,
  0xffffffffffff8002,
  0xffffffffffff8001,
  0xffffffffffff8000,
  0xffffffffffff7fff,
  0xffffffffffff7ffe,
  0xffffffffffff7ffd,
  0xffffffffffff7ffc,
  0xffffffffffff7ffb,
  0xffffffffffff7ffa,
  0xffffffffffff7ff9,
  0xffffffffffff7ff8,
  0xffffffffffff7ff7,
  0xffffffffffff7ff6,
  0xffffffffffff7ff5,
  0xffffffffffff7ff4,
  0xffffffffffff7ff3,
  0xffffffffffff7ff2,
  0xffffffffffff7ff1,
  0xffffffffffff7ff0,
  0xffffffffffff7fef,
  0xffffffffffff7fee,
  0xffffffffffff7fed,
  0xffffffffffff7fec,
  0xffffffffffff7feb,
  0xffffffffffff7fea,
  0xffffffffffff7fe9,
  0xffffffffffff7fe8,
  0xffffffffffff7fe7,
  0xffffffffffff7fe6,
  0xffffffffffff7fe5,
  0xffffffffffff7fe4,
  0xffffffffffff7fe3,
  0xffffffffffff7fe2,
  0xffffffffffff7fe1,
  0xffffffffffff7fe0,
  0xffffffffffff7fdf,
  0xffffffffffff7fde,
  0xffffffffffff7fdd,
  0xffffffffffff7fdc,
  0xffffffffffff7fdb,
  0xffffffffffff7fda,
  0xffffffffffff7fd9,
  0xffffffffffff7fd8,
  0xffffffffffff7fd7,
  0xffffffffffff7fd6,
  0xffffffffffff7fd5,
  0xffffffffffff7fd4,
  0xffffffffffff7fd3,
  0xffffffffffff7fd2,
  0xffffffffffff7fd1,
  0xffffffffffffc001,
  0xffffffffffffa001,
  0xffffffffffff9001,
  0xffffffffffff8801,
  0xffffffffffff8401,
  0xffffffffffff8201,
  0xffffffffffff8101,
  0xffffffffffff8081,
  0xffffffffffff8041,
  0xffffffffffff8021,
  0xffffffffffff8011,
  0xffffffffffff8009,
  0xffffffffffff8005,
  0xffffffffffff8003,
  0xffffffffffff8002,
  0xffffffffffff8001,
  0xffffffffffff8000,
  0xffffffffffff7fff,
  0xffffffffffff7ffe,
  0xffffffffffff7ffd,
  0xffffffffffff7ffc,
  0xffffffffffff7ffb,
  0xffffffffffff7ffa,
  0xffffffffffff7ff9,
  0xffffffffffff7ff8,
  0xffffffffffff7ff7,
  0xffffffffffff7ff6,
  0xffffffffffff7ff5,
  0xffffffffffff7ff4,
  0xffffffffffff7ff3,
  0xffffffffffff7ff2,
  0xffffffffffff7ff1,
  0xffffffffffff7ff0,
  0xffffffffffff7fef,
  0xffffffffffff7fee,
  0xffffffffffff7fed,
  0xffffffffffff7fec,
  0xffffffffffff7feb,
  0xffffffffffff7fea,
  0xffffffffffff7fe9,
  0xffffffffffff7fe8,
  0xffffffffffff7fe7,
  0xffffffffffff7fe6,
  0xffffffffffff7fe5,
  0xffffffffffff7fe4,
  0xffffffffffff7fe3,
  0xffffffffffff7fe2,
  0xffffffffffff7fe1,
  0xffffffffffff7fe0,
  0xffffffffffff7fdf,
  0xffffffffffff7fde,
  0xffffffffffff7fdd,
  0xffffffffffff7fdc,
  0xffffffffffff7fdb,
  0xffffffffffff7fda,
  0xffffffffffff7fd9,
  0xffffffffffff7fd8,
  0xffffffffffff7fd7,
  0xffffffffffff7fd6,
  0xffffffffffff7fd5,
  0xffffffffffff7fd4,
  0xffffffffffff7fd3,
  0xffffffffffff7fd2,
  0xffffffffffff7fd1,
  0xffffffffffffffc0,
  0xffffffffffffffa0,
  0xffffffffffffff90,
  0xffffffffffffff88,
  0xffffffffffffff84,
  0xffffffffffffff82,
  0xffffffffffffff81,
  0xffffffffffffff80,
  0xffffffffffffff7f,
  0xffffffffffffff7e,
  0xffffffffffffff7d,
  0xffffffffffffff7c,
  0xffffffffffffff7b,
  0xffffffffffffff7a,
  0xffffffffffffff79,
  0xffffffffffffff78,
  0xffffffffffffff77,
  0xffffffffffffff76,
  0xffffffffffffff75,
  0xffffffffffffff74,
  0xffffffffffffff73,
  0xffffffffffffff72,
  0xffffffffffffff71,
  0xffffffffffffff70,
  0xffffffffffffff6f,
  0xffffffffffffff6e,
  0xffffffffffffff6d,
  0xffffffffffffff6c,
  0xffffffffffffff6b,
  0xffffffffffffff6a,
  0xffffffffffffff69,
  0xffffffffffffff68,
  0xffffffffffffff67,
  0xffffffffffffff66,
  0xffffffffffffff65,
  0xffffffffffffff64,
  0xffffffffffffff63,
  0xffffffffffffff62,
  0xffffffffffffff61,
  0xffffffffffffff60,
  0xffffffffffffff5f,
  0xffffffffffffff5e,
  0xffffffffffffff5d,
  0xffffffffffffff5c,
  0xffffffffffffff5b,
  0xffffffffffffff5a,
  0xffffffffffffff59,
  0xffffffffffffff58,
  0xffffffffffffff57,
  0xffffffffffffff56,
  0xffffffffffffff55,
  0xffffffffffffff54,
  0xffffffffffffff53,
  0xffffffffffffff52,
  0xffffffffffffff51,
  0xffffffffffffff50,
  0xffffffffffffff4f,
  0xffffffffffffff4e,
  0xffffffffffffff4d,
  0xffffffffffffff4c,
  0xffffffffffffff4b,
  0xffffffffffffff4a,
  0xffffffffffffff49,
  0xffffffffffffff48,
  0xffffffffffffffc0,
  0xffffffffffffffa0,
  0xffffffffffffff90,
  0xffffffffffffff88,
  0xffffffffffffff84,
  0xffffffffffffff82,
  0xffffffffffffff81,
  0xffffffffffffff80,
  0xffffffffffffff7f,
  0xffffffffffffff7e,
  0xffffffffffffff7d,
  0xffffffffffffff7c,
  0xffffffffffffff7b,
  0xffffffffffffff7a,
  0xffffffffffffff79,
  0xffffffffffffff78,
  0xffffffffffffff77,
  0xffffffffffffff76,
  0xffffffffffffff75,
  0xffffffffffffff74,
  0xffffffffffffff73,
  0xffffffffffffff72,
  0xffffffffffffff71,
  0xffffffffffffff70,
  0xffffffffffffff6f,
  0xffffffffffffff6e,
  0xffffffffffffff6d,
  0xffffffffffffff6c,
  0xffffffffffffff6b,
  0xffffffffffffff6a,
  0xffffffffffffff69,
  0xffffffffffffff68,
  0xffffffffffffff67,
  0xffffffffffffff66,
  0xffffffffffffff65,
  0xffffffffffffff64,
  0xffffffffffffff63,
  0xffffffffffffff62,
  0xffffffffffffff61,
  0xffffffffffffff60,
  0xffffffffffffff5f,
  0xffffffffffffff5e,
  0xffffffffffffff5d,
  0xffffffffffffff5c,
  0xffffffffffffff5b,
  0xffffffffffffff5a,
  0xffffffffffffff59,
  0xffffffffffffff58,
  0xffffffffffffff57,
  0xffffffffffffff56,
  0xffffffffffffff55,
  0xffffffffffffff54,
  0xffffffffffffff53,
  0xffffffffffffff52,
  0xffffffffffffff51,
  0xffffffffffffff50,
  0xffffffffffffff4f,
  0xffffffffffffff4e,
  0xffffffffffffff4d,
  0xffffffffffffff4c,
  0xffffffffffffff4b,
  0xffffffffffffff4a,
  0xffffffffffffff49,
  0xffffffffffffff48,
  0xffffffffffffffc1,
  0xffffffffffffffa1,
  0xffffffffffffff91,
  0xffffffffffffff89,
  0xffffffffffffff85,
  0xffffffffffffff83,
  0xffffffffffffff82,
  0xffffffffffffff81,
  0xffffffffffffff80,
  0xffffffffffffff7f,
  0xffffffffffffff7e,
  0xffffffffffffff7d,
  0xffffffffffffff7c,
  0xffffffffffffff7b,
  0xffffffffffffff7a,
  0xffffffffffffff79,
  0xffffffffffffff78,
  0xffffffffffffff77,
  0xffffffffffffff76,
  0xffffffffffffff75,
  0xffffffffffffff74,
  0xffffffffffffff73,
  0xffffffffffffff72,
  0xffffffffffffff71,
  0xffffffffffffff70,
  0xffffffffffffff6f,
  0xffffffffffffff6e,
  0xffffffffffffff6d,
  0xffffffffffffff6c,
  0xffffffffffffff6b,
  0xffffffffffffff6a,
  0xffffffffffffff69,
  0xffffffffffffff68,
  0xffffffffffffff67,
  0xffffffffffffff66,
  0xffffffffffffff65,
  0xffffffffffffff64,
  0xffffffffffffff63,
  0xffffffffffffff62,
  0xffffffffffffff61,
  0xffffffffffffff60,
  0xffffffffffffff5f,
  0xffffffffffffff5e,
  0xffffffffffffff5d,
  0xffffffffffffff5c,
  0xffffffffffffff5b,
  0xffffffffffffff5a,
  0xffffffffffffff59,
  0xffffffffffffff58,
  0xffffffffffffff57,
  0xffffffffffffff56,
  0xffffffffffffff55,
  0xffffffffffffff54,
  0xffffffffffffff53,
  0xffffffffffffff52,
  0xffffffffffffff51,
  0xffffffffffffff50,
  0xffffffffffffff4f,
  0xffffffffffffff4e,
  0xffffffffffffff4d,
  0xffffffffffffff4c,
  0xffffffffffffff4b,
  0xffffffffffffff4a,
  0xffffffffffffff49,
  0xffffffffffffffc1,
  0xffffffffffffffa1,
  0xffffffffffffff91,
  0xffffffffffffff89,
  0xffffffffffffff85,
  0xffffffffffffff83,
  0xffffffffffffff82,
  0xffffffffffffff81,
  0xffffffffffffff80,
  0xffffffffffffff7f,
  0xffffffffffffff7e,
  0xffffffffffffff7d,
  0xffffffffffffff7c,
  0xffffffffffffff7b,
  0xffffffffffffff7a,
  0xffffffffffffff79,
  0xffffffffffffff78,
  0xffffffffffffff77,
  0xffffffffffffff76,
  0xffffffffffffff75,
  0xffffffffffffff74,
  0xffffffffffffff73,
  0xffffffffffffff72,
  0xffffffffffffff71,
  0xffffffffffffff70,
  0xffffffffffffff6f,
  0xffffffffffffff6e,
  0xffffffffffffff6d,
  0xffffffffffffff6c,
  0xffffffffffffff6b,
  0xffffffffffffff6a,
  0xffffffffffffff69,
  0xffffffffffffff68,
  0xffffffffffffff67,
  0xffffffffffffff66,
  0xffffffffffffff65,
  0xffffffffffffff64,
  0xffffffffffffff63,
  0xffffffffffffff62,
  0xffffffffffffff61,
  0xffffffffffffff60,
  0xffffffffffffff5f,
  0xffffffffffffff5e,
  0xffffffffffffff5d,
  0xffffffffffffff5c,
  0xffffffffffffff5b,
  0xffffffffffffff5a,
  0xffffffffffffff59,
  0xffffffffffffff58,
  0xffffffffffffff57,
  0xffffffffffffff56,
  0xffffffffffffff55,
  0xffffffffffffff54,
  0xffffffffffffff53,
  0xffffffffffffff52,
  0xffffffffffffff51,
  0xffffffffffffff50,
  0xffffffffffffff4f,
  0xffffffffffffff4e,
  0xffffffffffffff4d,
  0xffffffffffffff4c,
  0xffffffffffffff4b,
  0xffffffffffffff4a,
  0xffffffffffffff49,
  0xffffffffffffffe0,
  0xffffffffffffffd0,
  0xffffffffffffffc8,
  0xffffffffffffffc4,
  0xffffffffffffffc2,
  0xffffffffffffffc1,
  0xffffffffffffffc0,
  0xffffffffffffffbf,
  0xffffffffffffffbe,
  0xffffffffffffffbd,
  0xffffffffffffffbc,
  0xffffffffffffffbb,
  0xffffffffffffffba,
  0xffffffffffffffb9,
  0xffffffffffffffb8,
  0xffffffffffffffb7,
  0xffffffffffffffb6,
  0xffffffffffffffb5,
  0xffffffffffffffb4,
  0xffffffffffffffb3,
  0xffffffffffffffb2,
  0xffffffffffffffb1,
  0xffffffffffffffb0,
  0xffffffffffffffaf,
  0xffffffffffffffae,
  0xffffffffffffffad,
  0xffffffffffffffac,
  0xffffffffffffffab,
  0xffffffffffffffaa,
  0xffffffffffffffa9,
  0xffffffffffffffa8,
  0xffffffffffffffa7,
  0xffffffffffffffa6,
  0xffffffffffffffa5,
  0xffffffffffffffa4,
  0xffffffffffffffa3,
  0xffffffffffffffa2,
  0xffffffffffffffa1,
  0xffffffffffffffa0,
  0xffffffffffffff9f,
  0xffffffffffffff9e,
  0xffffffffffffff9d,
  0xffffffffffffff9c,
  0xffffffffffffff9b,
  0xffffffffffffff9a,
  0xffffffffffffff99,
  0xffffffffffffff98,
  0xffffffffffffff97,
  0xffffffffffffff96,
  0xffffffffffffff95,
  0xffffffffffffff94,
  0xffffffffffffff93,
  0xffffffffffffff92,
  0xffffffffffffff91,
  0xffffffffffffff90,
  0xffffffffffffff8f,
  0xffffffffffffff8e,
  0xffffffffffffff8d,
  0xffffffffffffff8c,
  0xffffffffffffff8b,
  0xffffffffffffff8a,
  0xffffffffffffff89,
  0xffffffffffffff88,
  0xffffffffffffff87,
  0xfffffffffffffffe,
  0xfffffffffffffffd,
  0xfffffffffffffffc,
  0xfffffffffffffffb,
  0xfffffffffffffffa,
  0xfffffffffffffff9,
  0xfffffffffffffff8,
  0xfffffffffffffff7,
  0xfffffffffffffff6,
  0xfffffffffffffff5,
  0xfffffffffffffff4,
  0xfffffffffffffff3,
  0xfffffffffffffff2,
  0xfffffffffffffff1,
  0xfffffffffffffff0,
  0xffffffffffffffef,
  0xffffffffffffffee,
  0xffffffffffffffed,
  0xffffffffffffffec,
  0xffffffffffffffeb,
  0xffffffffffffffea,
  0xffffffffffffffe9,
  0xffffffffffffffe8,
  0xffffffffffffffe7,
  0xffffffffffffffe6,
  0xffffffffffffffe5,
  0xffffffffffffffe4,
  0xffffffffffffffe3,
  0xffffffffffffffe2,
  0xffffffffffffffe1,
  0xffffffffffffffe0,
  0xffffffffffffffdf,
  0xffffffffffffffde,
  0xffffffffffffffdd,
  0xffffffffffffffdc,
  0xffffffffffffffdb,
  0xffffffffffffffda,
  0xffffffffffffffd9,
  0xffffffffffffffd8,
  0xffffffffffffffd7,
  0xffffffffffffffd6,
  0xffffffffffffffd5,
  0xffffffffffffffd4,
  0xffffffffffffffd3,
  0xffffffffffffffd2,
  0xffffffffffffffd1,
  0xffffffffffffffd0,
  0xffffffffffffffcf,
  0xffffffffffffffce,
  0xffffffffffffffcd,
  0xffffffffffffffcc,
  0xffffffffffffffcb,
  0xffffffffffffffca,
  0xffffffffffffffc9,
  0xffffffffffffffc8,
  0xffffffffffffffc7,
  0xffffffffffffffc6,
  0xffffffffffffffc5,
  0xffffffffffffffc4,
  0xffffffffffffffc3,
  0xffffffffffffffc2,
  0xffffffffffffffc1,
  0xffffffffffffffc0,
  0xffffffffffffffbf,
  0xffffffffffffffff,
  0xfffffffffffffffe,
  0xfffffffffffffffd,
  0xfffffffffffffffc,
  0xfffffffffffffffb,
  0xfffffffffffffffa,
  0xfffffffffffffff9,
  0xfffffffffffffff8,
  0xfffffffffffffff7,
  0xfffffffffffffff6,
  0xfffffffffffffff5,
  0xfffffffffffffff4,
  0xfffffffffffffff3,
  0xfffffffffffffff2,
  0xfffffffffffffff1,
  0xfffffffffffffff0,
  0xffffffffffffffef,
  0xffffffffffffffee,
  0xffffffffffffffed,
  0xffffffffffffffec,
  0xffffffffffffffeb,
  0xffffffffffffffea,
  0xffffffffffffffe9,
  0xffffffffffffffe8,
  0xffffffffffffffe7,
  0xffffffffffffffe6,
  0xffffffffffffffe5,
  0xffffffffffffffe4,
  0xffffffffffffffe3,
  0xffffffffffffffe2,
  0xffffffffffffffe1,
  0xffffffffffffffe0,
  0xffffffffffffffdf,
  0xffffffffffffffde,
  0xffffffffffffffdd,
  0xffffffffffffffdc,
  0xffffffffffffffdb,
  0xffffffffffffffda,
  0xffffffffffffffd9,
  0xffffffffffffffd8,
  0xffffffffffffffd7,
  0xffffffffffffffd6,
  0xffffffffffffffd5,
  0xffffffffffffffd4,
  0xffffffffffffffd3,
  0xffffffffffffffd2,
  0xffffffffffffffd1,
  0xffffffffffffffd0,
  0xffffffffffffffcf,
  0xffffffffffffffce,
  0xffffffffffffffcd,
  0xffffffffffffffcc,
  0xffffffffffffffcb,
  0xffffffffffffffca,
  0xffffffffffffffc9,
  0xffffffffffffffc8,
  0xffffffffffffffc7,
  0xffffffffffffffc6,
  0xffffffffffffffc5,
  0xffffffffffffffc4,
  0xffffffffffffffc3,
  0xffffffffffffffc2,
  0xffffffffffffffc1,
  0xffffffffffffffc0,
};
const unsigned kExpectedCount_NEON_ssra_D_2OPIMM = 2560;

#endif  // VIXL_SIM_SSRA_D_2OPIMM_TRACE_A64_H_