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