// 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_USHR_D_2OPIMM_TRACE_AARCH64_H_ #define VIXL_SIM_USHR_D_2OPIMM_TRACE_AARCH64_H_ const uint64_t kExpected_NEON_ushr_D_2OPIMM[] = { 0x7fffffffffffffff, 0x3fffffffffffffff, 0x1fffffffffffffff, 0x0fffffffffffffff, 0x07ffffffffffffff, 0x03ffffffffffffff, 0x01ffffffffffffff, 0x00ffffffffffffff, 0x007fffffffffffff, 0x003fffffffffffff, 0x001fffffffffffff, 0x000fffffffffffff, 0x0007ffffffffffff, 0x0003ffffffffffff, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 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, 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, 0x0000000000000000, 0x000000000000003e, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 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, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 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, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 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, 0x0000000000003ffe, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 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, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 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, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 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, 0x000000003ffffffe, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 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, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 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, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 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, 0x1999999999999999, 0x0ccccccccccccccc, 0x0666666666666666, 0x0333333333333333, 0x0199999999999999, 0x00cccccccccccccc, 0x0066666666666666, 0x0033333333333333, 0x0019999999999999, 0x000ccccccccccccc, 0x0006666666666666, 0x0003333333333333, 0x0001999999999999, 0x0000cccccccccccc, 0x0000666666666666, 0x0000333333333333, 0x0000199999999999, 0x00000ccccccccccc, 0x0000066666666666, 0x0000033333333333, 0x0000019999999999, 0x000000cccccccccc, 0x0000006666666666, 0x0000003333333333, 0x0000001999999999, 0x0000000ccccccccc, 0x0000000666666666, 0x0000000333333333, 0x0000000199999999, 0x00000000cccccccc, 0x0000000066666666, 0x0000000033333333, 0x0000000019999999, 0x000000000ccccccc, 0x0000000006666666, 0x0000000003333333, 0x0000000001999999, 0x0000000000cccccc, 0x0000000000666666, 0x0000000000333333, 0x0000000000199999, 0x00000000000ccccc, 0x0000000000066666, 0x0000000000033333, 0x0000000000019999, 0x000000000000cccc, 0x0000000000006666, 0x0000000000003333, 0x0000000000001999, 0x0000000000000ccc, 0x0000000000000666, 0x0000000000000333, 0x0000000000000199, 0x00000000000000cc, 0x0000000000000066, 0x0000000000000033, 0x0000000000000019, 0x000000000000000c, 0x0000000000000006, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x0000000000000000, 0x2aaaaaaaaaaaaaaa, 0x1555555555555555, 0x0aaaaaaaaaaaaaaa, 0x0555555555555555, 0x02aaaaaaaaaaaaaa, 0x0155555555555555, 0x00aaaaaaaaaaaaaa, 0x0055555555555555, 0x002aaaaaaaaaaaaa, 0x0015555555555555, 0x000aaaaaaaaaaaaa, 0x0005555555555555, 0x0002aaaaaaaaaaaa, 0x0001555555555555, 0x0000aaaaaaaaaaaa, 0x0000555555555555, 0x00002aaaaaaaaaaa, 0x0000155555555555, 0x00000aaaaaaaaaaa, 0x0000055555555555, 0x000002aaaaaaaaaa, 0x0000015555555555, 0x000000aaaaaaaaaa, 0x0000005555555555, 0x0000002aaaaaaaaa, 0x0000001555555555, 0x0000000aaaaaaaaa, 0x0000000555555555, 0x00000002aaaaaaaa, 0x0000000155555555, 0x00000000aaaaaaaa, 0x0000000055555555, 0x000000002aaaaaaa, 0x0000000015555555, 0x000000000aaaaaaa, 0x0000000005555555, 0x0000000002aaaaaa, 0x0000000001555555, 0x0000000000aaaaaa, 0x0000000000555555, 0x00000000002aaaaa, 0x0000000000155555, 0x00000000000aaaaa, 0x0000000000055555, 0x000000000002aaaa, 0x0000000000015555, 0x000000000000aaaa, 0x0000000000005555, 0x0000000000002aaa, 0x0000000000001555, 0x0000000000000aaa, 0x0000000000000555, 0x00000000000002aa, 0x0000000000000155, 0x00000000000000aa, 0x0000000000000055, 0x000000000000002a, 0x0000000000000015, 0x000000000000000a, 0x0000000000000005, 0x0000000000000002, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x3ffffffffffffffe, 0x1fffffffffffffff, 0x0fffffffffffffff, 0x07ffffffffffffff, 0x03ffffffffffffff, 0x01ffffffffffffff, 0x00ffffffffffffff, 0x007fffffffffffff, 0x003fffffffffffff, 0x001fffffffffffff, 0x000fffffffffffff, 0x0007ffffffffffff, 0x0003ffffffffffff, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x3fffffffffffffff, 0x1fffffffffffffff, 0x0fffffffffffffff, 0x07ffffffffffffff, 0x03ffffffffffffff, 0x01ffffffffffffff, 0x00ffffffffffffff, 0x007fffffffffffff, 0x003fffffffffffff, 0x001fffffffffffff, 0x000fffffffffffff, 0x0007ffffffffffff, 0x0003ffffffffffff, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x0000000000000000, 0x3fffffffffffffff, 0x1fffffffffffffff, 0x0fffffffffffffff, 0x07ffffffffffffff, 0x03ffffffffffffff, 0x01ffffffffffffff, 0x00ffffffffffffff, 0x007fffffffffffff, 0x003fffffffffffff, 0x001fffffffffffff, 0x000fffffffffffff, 0x0007ffffffffffff, 0x0003ffffffffffff, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 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, 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, 0x4000000000000001, 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, 0x4000000000000001, 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, 0x5555555555555555, 0x2aaaaaaaaaaaaaaa, 0x1555555555555555, 0x0aaaaaaaaaaaaaaa, 0x0555555555555555, 0x02aaaaaaaaaaaaaa, 0x0155555555555555, 0x00aaaaaaaaaaaaaa, 0x0055555555555555, 0x002aaaaaaaaaaaaa, 0x0015555555555555, 0x000aaaaaaaaaaaaa, 0x0005555555555555, 0x0002aaaaaaaaaaaa, 0x0001555555555555, 0x0000aaaaaaaaaaaa, 0x0000555555555555, 0x00002aaaaaaaaaaa, 0x0000155555555555, 0x00000aaaaaaaaaaa, 0x0000055555555555, 0x000002aaaaaaaaaa, 0x0000015555555555, 0x000000aaaaaaaaaa, 0x0000005555555555, 0x0000002aaaaaaaaa, 0x0000001555555555, 0x0000000aaaaaaaaa, 0x0000000555555555, 0x00000002aaaaaaaa, 0x0000000155555555, 0x00000000aaaaaaaa, 0x0000000055555555, 0x000000002aaaaaaa, 0x0000000015555555, 0x000000000aaaaaaa, 0x0000000005555555, 0x0000000002aaaaaa, 0x0000000001555555, 0x0000000000aaaaaa, 0x0000000000555555, 0x00000000002aaaaa, 0x0000000000155555, 0x00000000000aaaaa, 0x0000000000055555, 0x000000000002aaaa, 0x0000000000015555, 0x000000000000aaaa, 0x0000000000005555, 0x0000000000002aaa, 0x0000000000001555, 0x0000000000000aaa, 0x0000000000000555, 0x00000000000002aa, 0x0000000000000155, 0x00000000000000aa, 0x0000000000000055, 0x000000000000002a, 0x0000000000000015, 0x000000000000000a, 0x0000000000000005, 0x0000000000000002, 0x0000000000000001, 0x0000000000000000, 0x6666666666666666, 0x3333333333333333, 0x1999999999999999, 0x0ccccccccccccccc, 0x0666666666666666, 0x0333333333333333, 0x0199999999999999, 0x00cccccccccccccc, 0x0066666666666666, 0x0033333333333333, 0x0019999999999999, 0x000ccccccccccccc, 0x0006666666666666, 0x0003333333333333, 0x0001999999999999, 0x0000cccccccccccc, 0x0000666666666666, 0x0000333333333333, 0x0000199999999999, 0x00000ccccccccccc, 0x0000066666666666, 0x0000033333333333, 0x0000019999999999, 0x000000cccccccccc, 0x0000006666666666, 0x0000003333333333, 0x0000001999999999, 0x0000000ccccccccc, 0x0000000666666666, 0x0000000333333333, 0x0000000199999999, 0x00000000cccccccc, 0x0000000066666666, 0x0000000033333333, 0x0000000019999999, 0x000000000ccccccc, 0x0000000006666666, 0x0000000003333333, 0x0000000001999999, 0x0000000000cccccc, 0x0000000000666666, 0x0000000000333333, 0x0000000000199999, 0x00000000000ccccc, 0x0000000000066666, 0x0000000000033333, 0x0000000000019999, 0x000000000000cccc, 0x0000000000006666, 0x0000000000003333, 0x0000000000001999, 0x0000000000000ccc, 0x0000000000000666, 0x0000000000000333, 0x0000000000000199, 0x00000000000000cc, 0x0000000000000066, 0x0000000000000033, 0x0000000000000019, 0x000000000000000c, 0x0000000000000006, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffc0000000, 0x3fffffffe0000000, 0x1ffffffff0000000, 0x0ffffffff8000000, 0x07fffffffc000000, 0x03fffffffe000000, 0x01ffffffff000000, 0x00ffffffff800000, 0x007fffffffc00000, 0x003fffffffe00000, 0x001ffffffff00000, 0x000ffffffff80000, 0x0007fffffffc0000, 0x0003fffffffe0000, 0x0001ffffffff0000, 0x0000ffffffff8000, 0x00007fffffffc000, 0x00003fffffffe000, 0x00001ffffffff000, 0x00000ffffffff800, 0x000007fffffffc00, 0x000003fffffffe00, 0x000001ffffffff00, 0x000000ffffffff80, 0x0000007fffffffc0, 0x0000003fffffffe0, 0x0000001ffffffff0, 0x0000000ffffffff8, 0x00000007fffffffc, 0x00000003fffffffe, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffc0000000, 0x3fffffffe0000000, 0x1ffffffff0000000, 0x0ffffffff8000000, 0x07fffffffc000000, 0x03fffffffe000000, 0x01ffffffff000000, 0x00ffffffff800000, 0x007fffffffc00000, 0x003fffffffe00000, 0x001ffffffff00000, 0x000ffffffff80000, 0x0007fffffffc0000, 0x0003fffffffe0000, 0x0001ffffffff0000, 0x0000ffffffff8000, 0x00007fffffffc000, 0x00003fffffffe000, 0x00001ffffffff000, 0x00000ffffffff800, 0x000007fffffffc00, 0x000003fffffffe00, 0x000001ffffffff00, 0x000000ffffffff80, 0x0000007fffffffc0, 0x0000003fffffffe0, 0x0000001ffffffff0, 0x0000000ffffffff8, 0x00000007fffffffc, 0x00000003fffffffe, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffc0000001, 0x3fffffffe0000000, 0x1ffffffff0000000, 0x0ffffffff8000000, 0x07fffffffc000000, 0x03fffffffe000000, 0x01ffffffff000000, 0x00ffffffff800000, 0x007fffffffc00000, 0x003fffffffe00000, 0x001ffffffff00000, 0x000ffffffff80000, 0x0007fffffffc0000, 0x0003fffffffe0000, 0x0001ffffffff0000, 0x0000ffffffff8000, 0x00007fffffffc000, 0x00003fffffffe000, 0x00001ffffffff000, 0x00000ffffffff800, 0x000007fffffffc00, 0x000003fffffffe00, 0x000001ffffffff00, 0x000000ffffffff80, 0x0000007fffffffc0, 0x0000003fffffffe0, 0x0000001ffffffff0, 0x0000000ffffffff8, 0x00000007fffffffc, 0x00000003fffffffe, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffc0000001, 0x3fffffffe0000000, 0x1ffffffff0000000, 0x0ffffffff8000000, 0x07fffffffc000000, 0x03fffffffe000000, 0x01ffffffff000000, 0x00ffffffff800000, 0x007fffffffc00000, 0x003fffffffe00000, 0x001ffffffff00000, 0x000ffffffff80000, 0x0007fffffffc0000, 0x0003fffffffe0000, 0x0001ffffffff0000, 0x0000ffffffff8000, 0x00007fffffffc000, 0x00003fffffffe000, 0x00001ffffffff000, 0x00000ffffffff800, 0x000007fffffffc00, 0x000003fffffffe00, 0x000001ffffffff00, 0x000000ffffffff80, 0x0000007fffffffc0, 0x0000003fffffffe0, 0x0000001ffffffff0, 0x0000000ffffffff8, 0x00000007fffffffc, 0x00000003fffffffe, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffffffc000, 0x3fffffffffffe000, 0x1ffffffffffff000, 0x0ffffffffffff800, 0x07fffffffffffc00, 0x03fffffffffffe00, 0x01ffffffffffff00, 0x00ffffffffffff80, 0x007fffffffffffc0, 0x003fffffffffffe0, 0x001ffffffffffff0, 0x000ffffffffffff8, 0x0007fffffffffffc, 0x0003fffffffffffe, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffffffc000, 0x3fffffffffffe000, 0x1ffffffffffff000, 0x0ffffffffffff800, 0x07fffffffffffc00, 0x03fffffffffffe00, 0x01ffffffffffff00, 0x00ffffffffffff80, 0x007fffffffffffc0, 0x003fffffffffffe0, 0x001ffffffffffff0, 0x000ffffffffffff8, 0x0007fffffffffffc, 0x0003fffffffffffe, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffffffc001, 0x3fffffffffffe000, 0x1ffffffffffff000, 0x0ffffffffffff800, 0x07fffffffffffc00, 0x03fffffffffffe00, 0x01ffffffffffff00, 0x00ffffffffffff80, 0x007fffffffffffc0, 0x003fffffffffffe0, 0x001ffffffffffff0, 0x000ffffffffffff8, 0x0007fffffffffffc, 0x0003fffffffffffe, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffffffc001, 0x3fffffffffffe000, 0x1ffffffffffff000, 0x0ffffffffffff800, 0x07fffffffffffc00, 0x03fffffffffffe00, 0x01ffffffffffff00, 0x00ffffffffffff80, 0x007fffffffffffc0, 0x003fffffffffffe0, 0x001ffffffffffff0, 0x000ffffffffffff8, 0x0007fffffffffffc, 0x0003fffffffffffe, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffffffffc0, 0x3fffffffffffffe0, 0x1ffffffffffffff0, 0x0ffffffffffffff8, 0x07fffffffffffffc, 0x03fffffffffffffe, 0x01ffffffffffffff, 0x00ffffffffffffff, 0x007fffffffffffff, 0x003fffffffffffff, 0x001fffffffffffff, 0x000fffffffffffff, 0x0007ffffffffffff, 0x0003ffffffffffff, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffffffffc0, 0x3fffffffffffffe0, 0x1ffffffffffffff0, 0x0ffffffffffffff8, 0x07fffffffffffffc, 0x03fffffffffffffe, 0x01ffffffffffffff, 0x00ffffffffffffff, 0x007fffffffffffff, 0x003fffffffffffff, 0x001fffffffffffff, 0x000fffffffffffff, 0x0007ffffffffffff, 0x0003ffffffffffff, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffffffffc1, 0x3fffffffffffffe0, 0x1ffffffffffffff0, 0x0ffffffffffffff8, 0x07fffffffffffffc, 0x03fffffffffffffe, 0x01ffffffffffffff, 0x00ffffffffffffff, 0x007fffffffffffff, 0x003fffffffffffff, 0x001fffffffffffff, 0x000fffffffffffff, 0x0007ffffffffffff, 0x0003ffffffffffff, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffffffffc1, 0x3fffffffffffffe0, 0x1ffffffffffffff0, 0x0ffffffffffffff8, 0x07fffffffffffffc, 0x03fffffffffffffe, 0x01ffffffffffffff, 0x00ffffffffffffff, 0x007fffffffffffff, 0x003fffffffffffff, 0x001fffffffffffff, 0x000fffffffffffff, 0x0007ffffffffffff, 0x0003ffffffffffff, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffffffffe0, 0x3ffffffffffffff0, 0x1ffffffffffffff8, 0x0ffffffffffffffc, 0x07fffffffffffffe, 0x03ffffffffffffff, 0x01ffffffffffffff, 0x00ffffffffffffff, 0x007fffffffffffff, 0x003fffffffffffff, 0x001fffffffffffff, 0x000fffffffffffff, 0x0007ffffffffffff, 0x0003ffffffffffff, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7ffffffffffffffe, 0x3fffffffffffffff, 0x1fffffffffffffff, 0x0fffffffffffffff, 0x07ffffffffffffff, 0x03ffffffffffffff, 0x01ffffffffffffff, 0x00ffffffffffffff, 0x007fffffffffffff, 0x003fffffffffffff, 0x001fffffffffffff, 0x000fffffffffffff, 0x0007ffffffffffff, 0x0003ffffffffffff, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, 0x7fffffffffffffff, 0x3fffffffffffffff, 0x1fffffffffffffff, 0x0fffffffffffffff, 0x07ffffffffffffff, 0x03ffffffffffffff, 0x01ffffffffffffff, 0x00ffffffffffffff, 0x007fffffffffffff, 0x003fffffffffffff, 0x001fffffffffffff, 0x000fffffffffffff, 0x0007ffffffffffff, 0x0003ffffffffffff, 0x0001ffffffffffff, 0x0000ffffffffffff, 0x00007fffffffffff, 0x00003fffffffffff, 0x00001fffffffffff, 0x00000fffffffffff, 0x000007ffffffffff, 0x000003ffffffffff, 0x000001ffffffffff, 0x000000ffffffffff, 0x0000007fffffffff, 0x0000003fffffffff, 0x0000001fffffffff, 0x0000000fffffffff, 0x00000007ffffffff, 0x00000003ffffffff, 0x00000001ffffffff, 0x00000000ffffffff, 0x000000007fffffff, 0x000000003fffffff, 0x000000001fffffff, 0x000000000fffffff, 0x0000000007ffffff, 0x0000000003ffffff, 0x0000000001ffffff, 0x0000000000ffffff, 0x00000000007fffff, 0x00000000003fffff, 0x00000000001fffff, 0x00000000000fffff, 0x000000000007ffff, 0x000000000003ffff, 0x000000000001ffff, 0x000000000000ffff, 0x0000000000007fff, 0x0000000000003fff, 0x0000000000001fff, 0x0000000000000fff, 0x00000000000007ff, 0x00000000000003ff, 0x00000000000001ff, 0x00000000000000ff, 0x000000000000007f, 0x000000000000003f, 0x000000000000001f, 0x000000000000000f, 0x0000000000000007, 0x0000000000000003, 0x0000000000000001, 0x0000000000000000, }; const unsigned kExpectedCount_NEON_ushr_D_2OPIMM = 2560; #endif // VIXL_SIM_USHR_D_2OPIMM_TRACE_AARCH64_H_