// 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_SSRA_4S_2OPIMM_TRACE_AARCH64_H_
#define VIXL_SIM_SSRA_4S_2OPIMM_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_ssra_4S_2OPIMM[] = {
  0xfffffffe, 0xffffffff, 0xffffffff, 0x00000000,
  0xfffffffd, 0xfffffffe, 0xfffffffe, 0x00000000,
  0xfffffffc, 0xfffffffd, 0xfffffffd, 0x00000000,
  0xfffffffb, 0xfffffffc, 0xfffffffc, 0x00000000,
  0xfffffffa, 0xfffffffb, 0xfffffffb, 0x00000000,
  0xfffffff9, 0xfffffffa, 0xfffffffa, 0x00000000,
  0xfffffff8, 0xfffffff9, 0xfffffff9, 0x00000000,
  0xfffffff7, 0xfffffff8, 0xfffffff8, 0x00000000,
  0xfffffff6, 0xfffffff7, 0xfffffff7, 0x00000000,
  0xfffffff5, 0xfffffff6, 0xfffffff6, 0x00000000,
  0xfffffff4, 0xfffffff5, 0xfffffff5, 0x00000000,
  0xfffffff3, 0xfffffff4, 0xfffffff4, 0x00000000,
  0xfffffff2, 0xfffffff3, 0xfffffff3, 0x00000000,
  0xfffffff1, 0xfffffff2, 0xfffffff2, 0x00000000,
  0xfffffff0, 0xfffffff1, 0xfffffff1, 0x00000000,
  0xffffffef, 0xfffffff0, 0xfffffff0, 0x00000000,
  0xffffffee, 0xffffffef, 0xffffffef, 0x00000000,
  0xffffffed, 0xffffffee, 0xffffffee, 0x00000000,
  0xffffffec, 0xffffffed, 0xffffffed, 0x00000000,
  0xffffffeb, 0xffffffec, 0xffffffec, 0x00000000,
  0xffffffea, 0xffffffeb, 0xffffffeb, 0x00000000,
  0xffffffe9, 0xffffffea, 0xffffffea, 0x00000000,
  0xffffffe8, 0xffffffe9, 0xffffffe9, 0x00000000,
  0xffffffe7, 0xffffffe8, 0xffffffe8, 0x00000000,
  0xffffffe6, 0xffffffe7, 0xffffffe7, 0x00000000,
  0xffffffe5, 0xffffffe6, 0xffffffe6, 0x00000000,
  0xffffffe4, 0xffffffe5, 0xffffffe5, 0x00000000,
  0xffffffe3, 0xffffffe4, 0xffffffe4, 0x00000000,
  0xffffffe2, 0xffffffe3, 0xffffffe3, 0x00000000,
  0xffffffe1, 0xffffffe2, 0xffffffe2, 0x00000000,
  0xffffffe0, 0xffffffe1, 0xffffffe1, 0x00000000,
  0xffffffdf, 0xffffffe0, 0xffffffe0, 0x00000000,
  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xfffffffe, 0x00000000, 0x00000000,
  0xfffffffd, 0xfffffffd, 0x00000000, 0x00000000,
  0xfffffffc, 0xfffffffc, 0x00000000, 0x00000000,
  0xfffffffb, 0xfffffffb, 0x00000000, 0x00000000,
  0xfffffffa, 0xfffffffa, 0x00000000, 0x00000000,
  0xfffffff9, 0xfffffff9, 0x00000000, 0x00000000,
  0xfffffff8, 0xfffffff8, 0x00000000, 0x00000000,
  0xfffffff7, 0xfffffff7, 0x00000000, 0x00000000,
  0xfffffff6, 0xfffffff6, 0x00000000, 0x00000000,
  0xfffffff5, 0xfffffff5, 0x00000000, 0x00000000,
  0xfffffff4, 0xfffffff4, 0x00000000, 0x00000000,
  0xfffffff3, 0xfffffff3, 0x00000000, 0x00000000,
  0xfffffff2, 0xfffffff2, 0x00000000, 0x00000000,
  0xfffffff1, 0xfffffff1, 0x00000000, 0x00000000,
  0xfffffff0, 0xfffffff0, 0x00000000, 0x00000000,
  0xffffffef, 0xffffffef, 0x00000000, 0x00000000,
  0xffffffee, 0xffffffee, 0x00000000, 0x00000000,
  0xffffffed, 0xffffffed, 0x00000000, 0x00000000,
  0xffffffec, 0xffffffec, 0x00000000, 0x00000000,
  0xffffffeb, 0xffffffeb, 0x00000000, 0x00000000,
  0xffffffea, 0xffffffea, 0x00000000, 0x00000000,
  0xffffffe9, 0xffffffe9, 0x00000000, 0x00000000,
  0xffffffe8, 0xffffffe8, 0x00000000, 0x00000000,
  0xffffffe7, 0xffffffe7, 0x00000000, 0x00000000,
  0xffffffe6, 0xffffffe6, 0x00000000, 0x00000000,
  0xffffffe5, 0xffffffe5, 0x00000000, 0x00000000,
  0xffffffe4, 0xffffffe4, 0x00000000, 0x00000000,
  0xffffffe3, 0xffffffe3, 0x00000000, 0x00000000,
  0xffffffe2, 0xffffffe2, 0x00000000, 0x00000000,
  0xffffffe1, 0xffffffe1, 0x00000000, 0x00000000,
  0xffffffe0, 0xffffffe0, 0x00000000, 0x00000000,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xfffffffe, 0x00000000, 0x00000000, 0x00000001,
  0xfffffffd, 0x00000000, 0x00000000, 0x00000001,
  0xfffffffc, 0x00000000, 0x00000000, 0x00000001,
  0xfffffffb, 0x00000000, 0x00000000, 0x00000001,
  0xfffffffa, 0x00000000, 0x00000000, 0x00000001,
  0xfffffff9, 0x00000000, 0x00000000, 0x00000001,
  0xfffffff8, 0x00000000, 0x00000000, 0x00000001,
  0xfffffff7, 0x00000000, 0x00000000, 0x00000001,
  0xfffffff6, 0x00000000, 0x00000000, 0x00000001,
  0xfffffff5, 0x00000000, 0x00000000, 0x00000001,
  0xfffffff4, 0x00000000, 0x00000000, 0x00000001,
  0xfffffff3, 0x00000000, 0x00000000, 0x00000001,
  0xfffffff2, 0x00000000, 0x00000000, 0x00000001,
  0xfffffff1, 0x00000000, 0x00000000, 0x00000001,
  0xfffffff0, 0x00000000, 0x00000000, 0x00000001,
  0xffffffef, 0x00000000, 0x00000000, 0x00000001,
  0xffffffee, 0x00000000, 0x00000000, 0x00000001,
  0xffffffed, 0x00000000, 0x00000000, 0x00000001,
  0xffffffec, 0x00000000, 0x00000000, 0x00000001,
  0xffffffeb, 0x00000000, 0x00000000, 0x00000001,
  0xffffffea, 0x00000000, 0x00000000, 0x00000001,
  0xffffffe9, 0x00000000, 0x00000000, 0x00000001,
  0xffffffe8, 0x00000000, 0x00000000, 0x00000001,
  0xffffffe7, 0x00000000, 0x00000000, 0x00000001,
  0xffffffe6, 0x00000000, 0x00000000, 0x00000001,
  0xffffffe5, 0x00000000, 0x00000000, 0x00000001,
  0xffffffe4, 0x00000000, 0x00000000, 0x00000001,
  0xffffffe3, 0x00000000, 0x00000000, 0x00000001,
  0xffffffe2, 0x00000000, 0x00000000, 0x00000001,
  0xffffffe1, 0x00000000, 0x00000000, 0x00000001,
  0xffffffe0, 0x00000000, 0x00000000, 0x00000001,
  0x00000000, 0x00000000, 0x00000001, 0x00000010,
  0x00000000, 0x00000000, 0x00000001, 0x00000018,
  0x00000000, 0x00000000, 0x00000001, 0x0000001c,
  0x00000000, 0x00000000, 0x00000001, 0x0000001e,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000000, 0x00000001, 0x0000001f,
  0x00000000, 0x00000001, 0x00000010, 0x0000003e,
  0x00000000, 0x00000001, 0x00000018, 0x0000005d,
  0x00000000, 0x00000001, 0x0000001c, 0x0000006c,
  0x00000000, 0x00000001, 0x0000001e, 0x00000073,
  0x00000000, 0x00000001, 0x0000001f, 0x00000076,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000000, 0x00000001, 0x0000001f, 0x00000077,
  0x00000001, 0x00000010, 0x0000003e, 0x0000003f,
  0x00000001, 0x00000018, 0x0000005d, 0x0000005e,
  0x00000001, 0x0000001c, 0x0000006c, 0x0000006d,
  0x00000001, 0x0000001e, 0x00000073, 0x00000074,
  0x00000001, 0x0000001f, 0x00000076, 0x00000077,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000001, 0x0000001f, 0x00000077, 0x00000078,
  0x00000010, 0x0000003e, 0x0000003f, 0x0000003f,
  0x00000018, 0x0000005d, 0x0000005e, 0x0000005e,
  0x0000001c, 0x0000006c, 0x0000006d, 0x0000006d,
  0x0000001e, 0x00000073, 0x00000074, 0x00000074,
  0x0000001f, 0x00000076, 0x00000077, 0x00000077,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000001f, 0x00000077, 0x00000078, 0x00000078,
  0x0000003e, 0x0000003f, 0x0000003f, 0x00003ffe,
  0x0000005d, 0x0000005e, 0x0000005e, 0x00005ffd,
  0x0000006c, 0x0000006d, 0x0000006d, 0x00006ffc,
  0x00000073, 0x00000074, 0x00000074, 0x000077fb,
  0x00000076, 0x00000077, 0x00000077, 0x00007bfa,
  0x00000077, 0x00000078, 0x00000078, 0x00007df9,
  0x00000077, 0x00000078, 0x00000078, 0x00007ef8,
  0x00000077, 0x00000078, 0x00000078, 0x00007f77,
  0x00000077, 0x00000078, 0x00000078, 0x00007fb6,
  0x00000077, 0x00000078, 0x00000078, 0x00007fd5,
  0x00000077, 0x00000078, 0x00000078, 0x00007fe4,
  0x00000077, 0x00000078, 0x00000078, 0x00007feb,
  0x00000077, 0x00000078, 0x00000078, 0x00007fee,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x00000077, 0x00000078, 0x00000078, 0x00007fef,
  0x0000003f, 0x0000003f, 0x00003ffe, 0x00003fff,
  0x0000005e, 0x0000005e, 0x00005ffd, 0x00005ffe,
  0x0000006d, 0x0000006d, 0x00006ffc, 0x00006ffd,
  0x00000074, 0x00000074, 0x000077fb, 0x000077fc,
  0x00000077, 0x00000077, 0x00007bfa, 0x00007bfb,
  0x00000078, 0x00000078, 0x00007df9, 0x00007dfa,
  0x00000078, 0x00000078, 0x00007ef8, 0x00007ef9,
  0x00000078, 0x00000078, 0x00007f77, 0x00007f78,
  0x00000078, 0x00000078, 0x00007fb6, 0x00007fb7,
  0x00000078, 0x00000078, 0x00007fd5, 0x00007fd6,
  0x00000078, 0x00000078, 0x00007fe4, 0x00007fe5,
  0x00000078, 0x00000078, 0x00007feb, 0x00007fec,
  0x00000078, 0x00000078, 0x00007fee, 0x00007fef,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
  0x0000003f, 0x00003ffe, 0x00003fff, 0x00003fff,
  0x0000005e, 0x00005ffd, 0x00005ffe, 0x00005ffe,
  0x0000006d, 0x00006ffc, 0x00006ffd, 0x00006ffd,
  0x00000074, 0x000077fb, 0x000077fc, 0x000077fc,
  0x00000077, 0x00007bfa, 0x00007bfb, 0x00007bfb,
  0x00000078, 0x00007df9, 0x00007dfa, 0x00007dfa,
  0x00000078, 0x00007ef8, 0x00007ef9, 0x00007ef9,
  0x00000078, 0x00007f77, 0x00007f78, 0x00007f78,
  0x00000078, 0x00007fb6, 0x00007fb7, 0x00007fb7,
  0x00000078, 0x00007fd5, 0x00007fd6, 0x00007fd6,
  0x00000078, 0x00007fe4, 0x00007fe5, 0x00007fe5,
  0x00000078, 0x00007feb, 0x00007fec, 0x00007fec,
  0x00000078, 0x00007fee, 0x00007fef, 0x00007fef,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
  0x00003ffe, 0x00003fff, 0x00003fff, 0x19999999,
  0x00005ffd, 0x00005ffe, 0x00005ffe, 0x26666665,
  0x00006ffc, 0x00006ffd, 0x00006ffd, 0x2ccccccb,
  0x000077fb, 0x000077fc, 0x000077fc, 0x2ffffffe,
  0x00007bfa, 0x00007bfb, 0x00007bfb, 0x31999997,
  0x00007df9, 0x00007dfa, 0x00007dfa, 0x32666663,
  0x00007ef8, 0x00007ef9, 0x00007ef9, 0x32ccccc9,
  0x00007f77, 0x00007f78, 0x00007f78, 0x32fffffc,
  0x00007fb6, 0x00007fb7, 0x00007fb7, 0x33199995,
  0x00007fd5, 0x00007fd6, 0x00007fd6, 0x33266661,
  0x00007fe4, 0x00007fe5, 0x00007fe5, 0x332cccc7,
  0x00007feb, 0x00007fec, 0x00007fec, 0x332ffffa,
  0x00007fee, 0x00007fef, 0x00007fef, 0x33319993,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x3332665f,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x3332ccc5,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x3332fff8,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x33331991,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x3333265d,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x33332cc3,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x33332ff6,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x3333318f,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x3333325b,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x333332c1,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x333332f4,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x3333330d,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x33333319,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x3333331f,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x33333322,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x33333323,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x33333323,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x33333323,
  0x00007fef, 0x00007ff0, 0x00007ff0, 0x33333323,
  0x00003fff, 0x00003fff, 0x19999999, 0x2aaaaaaa,
  0x00005ffe, 0x00005ffe, 0x26666665, 0x3fffffff,
  0x00006ffd, 0x00006ffd, 0x2ccccccb, 0x4aaaaaa9,
  0x000077fc, 0x000077fc, 0x2ffffffe, 0x4ffffffe,
  0x00007bfb, 0x00007bfb, 0x31999997, 0x52aaaaa8,
  0x00007dfa, 0x00007dfa, 0x32666663, 0x53fffffd,
  0x00007ef9, 0x00007ef9, 0x32ccccc9, 0x54aaaaa7,
  0x00007f78, 0x00007f78, 0x32fffffc, 0x54fffffc,
  0x00007fb7, 0x00007fb7, 0x33199995, 0x552aaaa6,
  0x00007fd6, 0x00007fd6, 0x33266661, 0x553ffffb,
  0x00007fe5, 0x00007fe5, 0x332cccc7, 0x554aaaa5,
  0x00007fec, 0x00007fec, 0x332ffffa, 0x554ffffa,
  0x00007fef, 0x00007fef, 0x33319993, 0x5552aaa4,
  0x00007ff0, 0x00007ff0, 0x3332665f, 0x5553fff9,
  0x00007ff0, 0x00007ff0, 0x3332ccc5, 0x5554aaa3,
  0x00007ff0, 0x00007ff0, 0x3332fff8, 0x5554fff8,
  0x00007ff0, 0x00007ff0, 0x33331991, 0x55552aa2,
  0x00007ff0, 0x00007ff0, 0x3333265d, 0x55553ff7,
  0x00007ff0, 0x00007ff0, 0x33332cc3, 0x55554aa1,
  0x00007ff0, 0x00007ff0, 0x33332ff6, 0x55554ff6,
  0x00007ff0, 0x00007ff0, 0x3333318f, 0x555552a0,
  0x00007ff0, 0x00007ff0, 0x3333325b, 0x555553f5,
  0x00007ff0, 0x00007ff0, 0x333332c1, 0x5555549f,
  0x00007ff0, 0x00007ff0, 0x333332f4, 0x555554f4,
  0x00007ff0, 0x00007ff0, 0x3333330d, 0x5555551e,
  0x00007ff0, 0x00007ff0, 0x33333319, 0x55555533,
  0x00007ff0, 0x00007ff0, 0x3333331f, 0x5555553d,
  0x00007ff0, 0x00007ff0, 0x33333322, 0x55555542,
  0x00007ff0, 0x00007ff0, 0x33333323, 0x55555544,
  0x00007ff0, 0x00007ff0, 0x33333323, 0x55555545,
  0x00007ff0, 0x00007ff0, 0x33333323, 0x55555545,
  0x00007ff0, 0x00007ff0, 0x33333323, 0x55555545,
  0x00003fff, 0x19999999, 0x2aaaaaaa, 0x3ffffffe,
  0x00005ffe, 0x26666665, 0x3fffffff, 0x5ffffffd,
  0x00006ffd, 0x2ccccccb, 0x4aaaaaa9, 0x6ffffffc,
  0x000077fc, 0x2ffffffe, 0x4ffffffe, 0x77fffffb,
  0x00007bfb, 0x31999997, 0x52aaaaa8, 0x7bfffffa,
  0x00007dfa, 0x32666663, 0x53fffffd, 0x7dfffff9,
  0x00007ef9, 0x32ccccc9, 0x54aaaaa7, 0x7efffff8,
  0x00007f78, 0x32fffffc, 0x54fffffc, 0x7f7ffff7,
  0x00007fb7, 0x33199995, 0x552aaaa6, 0x7fbffff6,
  0x00007fd6, 0x33266661, 0x553ffffb, 0x7fdffff5,
  0x00007fe5, 0x332cccc7, 0x554aaaa5, 0x7feffff4,
  0x00007fec, 0x332ffffa, 0x554ffffa, 0x7ff7fff3,
  0x00007fef, 0x33319993, 0x5552aaa4, 0x7ffbfff2,
  0x00007ff0, 0x3332665f, 0x5553fff9, 0x7ffdfff1,
  0x00007ff0, 0x3332ccc5, 0x5554aaa3, 0x7ffefff0,
  0x00007ff0, 0x3332fff8, 0x5554fff8, 0x7fff7fef,
  0x00007ff0, 0x33331991, 0x55552aa2, 0x7fffbfee,
  0x00007ff0, 0x3333265d, 0x55553ff7, 0x7fffdfed,
  0x00007ff0, 0x33332cc3, 0x55554aa1, 0x7fffefec,
  0x00007ff0, 0x33332ff6, 0x55554ff6, 0x7ffff7eb,
  0x00007ff0, 0x3333318f, 0x555552a0, 0x7ffffbea,
  0x00007ff0, 0x3333325b, 0x555553f5, 0x7ffffde9,
  0x00007ff0, 0x333332c1, 0x5555549f, 0x7ffffee8,
  0x00007ff0, 0x333332f4, 0x555554f4, 0x7fffff67,
  0x00007ff0, 0x3333330d, 0x5555551e, 0x7fffffa6,
  0x00007ff0, 0x33333319, 0x55555533, 0x7fffffc5,
  0x00007ff0, 0x3333331f, 0x5555553d, 0x7fffffd4,
  0x00007ff0, 0x33333322, 0x55555542, 0x7fffffdb,
  0x00007ff0, 0x33333323, 0x55555544, 0x7fffffde,
  0x00007ff0, 0x33333323, 0x55555545, 0x7fffffdf,
  0x00007ff0, 0x33333323, 0x55555545, 0x7fffffdf,
  0x00007ff0, 0x33333323, 0x55555545, 0x7fffffdf,
  0x19999999, 0x2aaaaaaa, 0x3ffffffe, 0x3fffffff,
  0x26666665, 0x3fffffff, 0x5ffffffd, 0x5ffffffe,
  0x2ccccccb, 0x4aaaaaa9, 0x6ffffffc, 0x6ffffffd,
  0x2ffffffe, 0x4ffffffe, 0x77fffffb, 0x77fffffc,
  0x31999997, 0x52aaaaa8, 0x7bfffffa, 0x7bfffffb,
  0x32666663, 0x53fffffd, 0x7dfffff9, 0x7dfffffa,
  0x32ccccc9, 0x54aaaaa7, 0x7efffff8, 0x7efffff9,
  0x32fffffc, 0x54fffffc, 0x7f7ffff7, 0x7f7ffff8,
  0x33199995, 0x552aaaa6, 0x7fbffff6, 0x7fbffff7,
  0x33266661, 0x553ffffb, 0x7fdffff5, 0x7fdffff6,
  0x332cccc7, 0x554aaaa5, 0x7feffff4, 0x7feffff5,
  0x332ffffa, 0x554ffffa, 0x7ff7fff3, 0x7ff7fff4,
  0x33319993, 0x5552aaa4, 0x7ffbfff2, 0x7ffbfff3,
  0x3332665f, 0x5553fff9, 0x7ffdfff1, 0x7ffdfff2,
  0x3332ccc5, 0x5554aaa3, 0x7ffefff0, 0x7ffefff1,
  0x3332fff8, 0x5554fff8, 0x7fff7fef, 0x7fff7ff0,
  0x33331991, 0x55552aa2, 0x7fffbfee, 0x7fffbfef,
  0x3333265d, 0x55553ff7, 0x7fffdfed, 0x7fffdfee,
  0x33332cc3, 0x55554aa1, 0x7fffefec, 0x7fffefed,
  0x33332ff6, 0x55554ff6, 0x7ffff7eb, 0x7ffff7ec,
  0x3333318f, 0x555552a0, 0x7ffffbea, 0x7ffffbeb,
  0x3333325b, 0x555553f5, 0x7ffffde9, 0x7ffffdea,
  0x333332c1, 0x5555549f, 0x7ffffee8, 0x7ffffee9,
  0x333332f4, 0x555554f4, 0x7fffff67, 0x7fffff68,
  0x3333330d, 0x5555551e, 0x7fffffa6, 0x7fffffa7,
  0x33333319, 0x55555533, 0x7fffffc5, 0x7fffffc6,
  0x3333331f, 0x5555553d, 0x7fffffd4, 0x7fffffd5,
  0x33333322, 0x55555542, 0x7fffffdb, 0x7fffffdc,
  0x33333323, 0x55555544, 0x7fffffde, 0x7fffffdf,
  0x33333323, 0x55555545, 0x7fffffdf, 0x7fffffe0,
  0x33333323, 0x55555545, 0x7fffffdf, 0x7fffffe0,
  0x33333323, 0x55555545, 0x7fffffdf, 0x7fffffe0,
  0x2aaaaaaa, 0x3ffffffe, 0x3fffffff, 0x3fffffff,
  0x3fffffff, 0x5ffffffd, 0x5ffffffe, 0x5ffffffe,
  0x4aaaaaa9, 0x6ffffffc, 0x6ffffffd, 0x6ffffffd,
  0x4ffffffe, 0x77fffffb, 0x77fffffc, 0x77fffffc,
  0x52aaaaa8, 0x7bfffffa, 0x7bfffffb, 0x7bfffffb,
  0x53fffffd, 0x7dfffff9, 0x7dfffffa, 0x7dfffffa,
  0x54aaaaa7, 0x7efffff8, 0x7efffff9, 0x7efffff9,
  0x54fffffc, 0x7f7ffff7, 0x7f7ffff8, 0x7f7ffff8,
  0x552aaaa6, 0x7fbffff6, 0x7fbffff7, 0x7fbffff7,
  0x553ffffb, 0x7fdffff5, 0x7fdffff6, 0x7fdffff6,
  0x554aaaa5, 0x7feffff4, 0x7feffff5, 0x7feffff5,
  0x554ffffa, 0x7ff7fff3, 0x7ff7fff4, 0x7ff7fff4,
  0x5552aaa4, 0x7ffbfff2, 0x7ffbfff3, 0x7ffbfff3,
  0x5553fff9, 0x7ffdfff1, 0x7ffdfff2, 0x7ffdfff2,
  0x5554aaa3, 0x7ffefff0, 0x7ffefff1, 0x7ffefff1,
  0x5554fff8, 0x7fff7fef, 0x7fff7ff0, 0x7fff7ff0,
  0x55552aa2, 0x7fffbfee, 0x7fffbfef, 0x7fffbfef,
  0x55553ff7, 0x7fffdfed, 0x7fffdfee, 0x7fffdfee,
  0x55554aa1, 0x7fffefec, 0x7fffefed, 0x7fffefed,
  0x55554ff6, 0x7ffff7eb, 0x7ffff7ec, 0x7ffff7ec,
  0x555552a0, 0x7ffffbea, 0x7ffffbeb, 0x7ffffbeb,
  0x555553f5, 0x7ffffde9, 0x7ffffdea, 0x7ffffdea,
  0x5555549f, 0x7ffffee8, 0x7ffffee9, 0x7ffffee9,
  0x555554f4, 0x7fffff67, 0x7fffff68, 0x7fffff68,
  0x5555551e, 0x7fffffa6, 0x7fffffa7, 0x7fffffa7,
  0x55555533, 0x7fffffc5, 0x7fffffc6, 0x7fffffc6,
  0x5555553d, 0x7fffffd4, 0x7fffffd5, 0x7fffffd5,
  0x55555542, 0x7fffffdb, 0x7fffffdc, 0x7fffffdc,
  0x55555544, 0x7fffffde, 0x7fffffdf, 0x7fffffdf,
  0x55555545, 0x7fffffdf, 0x7fffffe0, 0x7fffffe0,
  0x55555545, 0x7fffffdf, 0x7fffffe0, 0x7fffffe0,
  0x55555545, 0x7fffffdf, 0x7fffffe0, 0x7fffffe0,
  0x3ffffffe, 0x3fffffff, 0x3fffffff, 0xc0000000,
  0x5ffffffd, 0x5ffffffe, 0x5ffffffe, 0xa0000000,
  0x6ffffffc, 0x6ffffffd, 0x6ffffffd, 0x90000000,
  0x77fffffb, 0x77fffffc, 0x77fffffc, 0x88000000,
  0x7bfffffa, 0x7bfffffb, 0x7bfffffb, 0x84000000,
  0x7dfffff9, 0x7dfffffa, 0x7dfffffa, 0x82000000,
  0x7efffff8, 0x7efffff9, 0x7efffff9, 0x81000000,
  0x7f7ffff7, 0x7f7ffff8, 0x7f7ffff8, 0x80800000,
  0x7fbffff6, 0x7fbffff7, 0x7fbffff7, 0x80400000,
  0x7fdffff5, 0x7fdffff6, 0x7fdffff6, 0x80200000,
  0x7feffff4, 0x7feffff5, 0x7feffff5, 0x80100000,
  0x7ff7fff3, 0x7ff7fff4, 0x7ff7fff4, 0x80080000,
  0x7ffbfff2, 0x7ffbfff3, 0x7ffbfff3, 0x80040000,
  0x7ffdfff1, 0x7ffdfff2, 0x7ffdfff2, 0x80020000,
  0x7ffefff0, 0x7ffefff1, 0x7ffefff1, 0x80010000,
  0x7fff7fef, 0x7fff7ff0, 0x7fff7ff0, 0x80008000,
  0x7fffbfee, 0x7fffbfef, 0x7fffbfef, 0x80004000,
  0x7fffdfed, 0x7fffdfee, 0x7fffdfee, 0x80002000,
  0x7fffefec, 0x7fffefed, 0x7fffefed, 0x80001000,
  0x7ffff7eb, 0x7ffff7ec, 0x7ffff7ec, 0x80000800,
  0x7ffffbea, 0x7ffffbeb, 0x7ffffbeb, 0x80000400,
  0x7ffffde9, 0x7ffffdea, 0x7ffffdea, 0x80000200,
  0x7ffffee8, 0x7ffffee9, 0x7ffffee9, 0x80000100,
  0x7fffff67, 0x7fffff68, 0x7fffff68, 0x80000080,
  0x7fffffa6, 0x7fffffa7, 0x7fffffa7, 0x80000040,
  0x7fffffc5, 0x7fffffc6, 0x7fffffc6, 0x80000020,
  0x7fffffd4, 0x7fffffd5, 0x7fffffd5, 0x80000010,
  0x7fffffdb, 0x7fffffdc, 0x7fffffdc, 0x80000008,
  0x7fffffde, 0x7fffffdf, 0x7fffffdf, 0x80000004,
  0x7fffffdf, 0x7fffffe0, 0x7fffffe0, 0x80000002,
  0x7fffffdf, 0x7fffffe0, 0x7fffffe0, 0x80000001,
  0x7fffffdf, 0x7fffffe0, 0x7fffffe0, 0x80000000,
  0x3fffffff, 0x3fffffff, 0xc0000000, 0xc0000000,
  0x5ffffffe, 0x5ffffffe, 0xa0000000, 0xa0000000,
  0x6ffffffd, 0x6ffffffd, 0x90000000, 0x90000000,
  0x77fffffc, 0x77fffffc, 0x88000000, 0x88000000,
  0x7bfffffb, 0x7bfffffb, 0x84000000, 0x84000000,
  0x7dfffffa, 0x7dfffffa, 0x82000000, 0x82000000,
  0x7efffff9, 0x7efffff9, 0x81000000, 0x81000000,
  0x7f7ffff8, 0x7f7ffff8, 0x80800000, 0x80800000,
  0x7fbffff7, 0x7fbffff7, 0x80400000, 0x80400000,
  0x7fdffff6, 0x7fdffff6, 0x80200000, 0x80200000,
  0x7feffff5, 0x7feffff5, 0x80100000, 0x80100000,
  0x7ff7fff4, 0x7ff7fff4, 0x80080000, 0x80080000,
  0x7ffbfff3, 0x7ffbfff3, 0x80040000, 0x80040000,
  0x7ffdfff2, 0x7ffdfff2, 0x80020000, 0x80020000,
  0x7ffefff1, 0x7ffefff1, 0x80010000, 0x80010000,
  0x7fff7ff0, 0x7fff7ff0, 0x80008000, 0x80008000,
  0x7fffbfef, 0x7fffbfef, 0x80004000, 0x80004000,
  0x7fffdfee, 0x7fffdfee, 0x80002000, 0x80002000,
  0x7fffefed, 0x7fffefed, 0x80001000, 0x80001000,
  0x7ffff7ec, 0x7ffff7ec, 0x80000800, 0x80000800,
  0x7ffffbeb, 0x7ffffbeb, 0x80000400, 0x80000400,
  0x7ffffdea, 0x7ffffdea, 0x80000200, 0x80000200,
  0x7ffffee9, 0x7ffffee9, 0x80000100, 0x80000100,
  0x7fffff68, 0x7fffff68, 0x80000080, 0x80000080,
  0x7fffffa7, 0x7fffffa7, 0x80000040, 0x80000040,
  0x7fffffc6, 0x7fffffc6, 0x80000020, 0x80000020,
  0x7fffffd5, 0x7fffffd5, 0x80000010, 0x80000010,
  0x7fffffdc, 0x7fffffdc, 0x80000008, 0x80000008,
  0x7fffffdf, 0x7fffffdf, 0x80000004, 0x80000004,
  0x7fffffe0, 0x7fffffe0, 0x80000002, 0x80000002,
  0x7fffffe0, 0x7fffffe0, 0x80000001, 0x80000001,
  0x7fffffe0, 0x7fffffe0, 0x80000000, 0x80000000,
  0x3fffffff, 0xc0000000, 0xc0000000, 0xd5555555,
  0x5ffffffe, 0xa0000000, 0xa0000000, 0xbfffffff,
  0x6ffffffd, 0x90000000, 0x90000000, 0xb5555554,
  0x77fffffc, 0x88000000, 0x88000000, 0xaffffffe,
  0x7bfffffb, 0x84000000, 0x84000000, 0xad555553,
  0x7dfffffa, 0x82000000, 0x82000000, 0xabfffffd,
  0x7efffff9, 0x81000000, 0x81000000, 0xab555552,
  0x7f7ffff8, 0x80800000, 0x80800000, 0xaafffffc,
  0x7fbffff7, 0x80400000, 0x80400000, 0xaad55551,
  0x7fdffff6, 0x80200000, 0x80200000, 0xaabffffb,
  0x7feffff5, 0x80100000, 0x80100000, 0xaab55550,
  0x7ff7fff4, 0x80080000, 0x80080000, 0xaaaffffa,
  0x7ffbfff3, 0x80040000, 0x80040000, 0xaaad554f,
  0x7ffdfff2, 0x80020000, 0x80020000, 0xaaabfff9,
  0x7ffefff1, 0x80010000, 0x80010000, 0xaaab554e,
  0x7fff7ff0, 0x80008000, 0x80008000, 0xaaaafff8,
  0x7fffbfef, 0x80004000, 0x80004000, 0xaaaad54d,
  0x7fffdfee, 0x80002000, 0x80002000, 0xaaaabff7,
  0x7fffefed, 0x80001000, 0x80001000, 0xaaaab54c,
  0x7ffff7ec, 0x80000800, 0x80000800, 0xaaaaaff6,
  0x7ffffbeb, 0x80000400, 0x80000400, 0xaaaaad4b,
  0x7ffffdea, 0x80000200, 0x80000200, 0xaaaaabf5,
  0x7ffffee9, 0x80000100, 0x80000100, 0xaaaaab4a,
  0x7fffff68, 0x80000080, 0x80000080, 0xaaaaaaf4,
  0x7fffffa7, 0x80000040, 0x80000040, 0xaaaaaac9,
  0x7fffffc6, 0x80000020, 0x80000020, 0xaaaaaab3,
  0x7fffffd5, 0x80000010, 0x80000010, 0xaaaaaaa8,
  0x7fffffdc, 0x80000008, 0x80000008, 0xaaaaaaa2,
  0x7fffffdf, 0x80000004, 0x80000004, 0xaaaaaa9f,
  0x7fffffe0, 0x80000002, 0x80000002, 0xaaaaaa9d,
  0x7fffffe0, 0x80000001, 0x80000001, 0xaaaaaa9c,
  0x7fffffe0, 0x80000000, 0x80000000, 0xaaaaaa9b,
  0xc0000000, 0xc0000000, 0xd5555555, 0xe6666666,
  0xa0000000, 0xa0000000, 0xbfffffff, 0xd9999999,
  0x90000000, 0x90000000, 0xb5555554, 0xd3333332,
  0x88000000, 0x88000000, 0xaffffffe, 0xcffffffe,
  0x84000000, 0x84000000, 0xad555553, 0xce666664,
  0x82000000, 0x82000000, 0xabfffffd, 0xcd999997,
  0x81000000, 0x81000000, 0xab555552, 0xcd333330,
  0x80800000, 0x80800000, 0xaafffffc, 0xccfffffc,
  0x80400000, 0x80400000, 0xaad55551, 0xcce66662,
  0x80200000, 0x80200000, 0xaabffffb, 0xccd99995,
  0x80100000, 0x80100000, 0xaab55550, 0xccd3332e,
  0x80080000, 0x80080000, 0xaaaffffa, 0xcccffffa,
  0x80040000, 0x80040000, 0xaaad554f, 0xccce6660,
  0x80020000, 0x80020000, 0xaaabfff9, 0xcccd9993,
  0x80010000, 0x80010000, 0xaaab554e, 0xcccd332c,
  0x80008000, 0x80008000, 0xaaaafff8, 0xccccfff8,
  0x80004000, 0x80004000, 0xaaaad54d, 0xcccce65e,
  0x80002000, 0x80002000, 0xaaaabff7, 0xccccd991,
  0x80001000, 0x80001000, 0xaaaab54c, 0xccccd32a,
  0x80000800, 0x80000800, 0xaaaaaff6, 0xcccccff6,
  0x80000400, 0x80000400, 0xaaaaad4b, 0xccccce5c,
  0x80000200, 0x80000200, 0xaaaaabf5, 0xcccccd8f,
  0x80000100, 0x80000100, 0xaaaaab4a, 0xcccccd28,
  0x80000080, 0x80000080, 0xaaaaaaf4, 0xccccccf4,
  0x80000040, 0x80000040, 0xaaaaaac9, 0xccccccda,
  0x80000020, 0x80000020, 0xaaaaaab3, 0xcccccccd,
  0x80000010, 0x80000010, 0xaaaaaaa8, 0xccccccc6,
  0x80000008, 0x80000008, 0xaaaaaaa2, 0xccccccc2,
  0x80000004, 0x80000004, 0xaaaaaa9f, 0xccccccc0,
  0x80000002, 0x80000002, 0xaaaaaa9d, 0xccccccbf,
  0x80000001, 0x80000001, 0xaaaaaa9c, 0xccccccbe,
  0x80000000, 0x80000000, 0xaaaaaa9b, 0xccccccbd,
  0xc0000000, 0xd5555555, 0xe6666666, 0xffffc000,
  0xa0000000, 0xbfffffff, 0xd9999999, 0xffffa000,
  0x90000000, 0xb5555554, 0xd3333332, 0xffff9000,
  0x88000000, 0xaffffffe, 0xcffffffe, 0xffff8800,
  0x84000000, 0xad555553, 0xce666664, 0xffff8400,
  0x82000000, 0xabfffffd, 0xcd999997, 0xffff8200,
  0x81000000, 0xab555552, 0xcd333330, 0xffff8100,
  0x80800000, 0xaafffffc, 0xccfffffc, 0xffff8080,
  0x80400000, 0xaad55551, 0xcce66662, 0xffff8040,
  0x80200000, 0xaabffffb, 0xccd99995, 0xffff8020,
  0x80100000, 0xaab55550, 0xccd3332e, 0xffff8010,
  0x80080000, 0xaaaffffa, 0xcccffffa, 0xffff8008,
  0x80040000, 0xaaad554f, 0xccce6660, 0xffff8004,
  0x80020000, 0xaaabfff9, 0xcccd9993, 0xffff8002,
  0x80010000, 0xaaab554e, 0xcccd332c, 0xffff8001,
  0x80008000, 0xaaaafff8, 0xccccfff8, 0xffff8000,
  0x80004000, 0xaaaad54d, 0xcccce65e, 0xffff7fff,
  0x80002000, 0xaaaabff7, 0xccccd991, 0xffff7ffe,
  0x80001000, 0xaaaab54c, 0xccccd32a, 0xffff7ffd,
  0x80000800, 0xaaaaaff6, 0xcccccff6, 0xffff7ffc,
  0x80000400, 0xaaaaad4b, 0xccccce5c, 0xffff7ffb,
  0x80000200, 0xaaaaabf5, 0xcccccd8f, 0xffff7ffa,
  0x80000100, 0xaaaaab4a, 0xcccccd28, 0xffff7ff9,
  0x80000080, 0xaaaaaaf4, 0xccccccf4, 0xffff7ff8,
  0x80000040, 0xaaaaaac9, 0xccccccda, 0xffff7ff7,
  0x80000020, 0xaaaaaab3, 0xcccccccd, 0xffff7ff6,
  0x80000010, 0xaaaaaaa8, 0xccccccc6, 0xffff7ff5,
  0x80000008, 0xaaaaaaa2, 0xccccccc2, 0xffff7ff4,
  0x80000004, 0xaaaaaa9f, 0xccccccc0, 0xffff7ff3,
  0x80000002, 0xaaaaaa9d, 0xccccccbf, 0xffff7ff2,
  0x80000001, 0xaaaaaa9c, 0xccccccbe, 0xffff7ff1,
  0x80000000, 0xaaaaaa9b, 0xccccccbd, 0xffff7ff0,
  0xd5555555, 0xe6666666, 0xffffc000, 0xffffc000,
  0xbfffffff, 0xd9999999, 0xffffa000, 0xffffa000,
  0xb5555554, 0xd3333332, 0xffff9000, 0xffff9000,
  0xaffffffe, 0xcffffffe, 0xffff8800, 0xffff8800,
  0xad555553, 0xce666664, 0xffff8400, 0xffff8400,
  0xabfffffd, 0xcd999997, 0xffff8200, 0xffff8200,
  0xab555552, 0xcd333330, 0xffff8100, 0xffff8100,
  0xaafffffc, 0xccfffffc, 0xffff8080, 0xffff8080,
  0xaad55551, 0xcce66662, 0xffff8040, 0xffff8040,
  0xaabffffb, 0xccd99995, 0xffff8020, 0xffff8020,
  0xaab55550, 0xccd3332e, 0xffff8010, 0xffff8010,
  0xaaaffffa, 0xcccffffa, 0xffff8008, 0xffff8008,
  0xaaad554f, 0xccce6660, 0xffff8004, 0xffff8004,
  0xaaabfff9, 0xcccd9993, 0xffff8002, 0xffff8002,
  0xaaab554e, 0xcccd332c, 0xffff8001, 0xffff8001,
  0xaaaafff8, 0xccccfff8, 0xffff8000, 0xffff8000,
  0xaaaad54d, 0xcccce65e, 0xffff7fff, 0xffff7fff,
  0xaaaabff7, 0xccccd991, 0xffff7ffe, 0xffff7ffe,
  0xaaaab54c, 0xccccd32a, 0xffff7ffd, 0xffff7ffd,
  0xaaaaaff6, 0xcccccff6, 0xffff7ffc, 0xffff7ffc,
  0xaaaaad4b, 0xccccce5c, 0xffff7ffb, 0xffff7ffb,
  0xaaaaabf5, 0xcccccd8f, 0xffff7ffa, 0xffff7ffa,
  0xaaaaab4a, 0xcccccd28, 0xffff7ff9, 0xffff7ff9,
  0xaaaaaaf4, 0xccccccf4, 0xffff7ff8, 0xffff7ff8,
  0xaaaaaac9, 0xccccccda, 0xffff7ff7, 0xffff7ff7,
  0xaaaaaab3, 0xcccccccd, 0xffff7ff6, 0xffff7ff6,
  0xaaaaaaa8, 0xccccccc6, 0xffff7ff5, 0xffff7ff5,
  0xaaaaaaa2, 0xccccccc2, 0xffff7ff4, 0xffff7ff4,
  0xaaaaaa9f, 0xccccccc0, 0xffff7ff3, 0xffff7ff3,
  0xaaaaaa9d, 0xccccccbf, 0xffff7ff2, 0xffff7ff2,
  0xaaaaaa9c, 0xccccccbe, 0xffff7ff1, 0xffff7ff1,
  0xaaaaaa9b, 0xccccccbd, 0xffff7ff0, 0xffff7ff0,
  0xe6666666, 0xffffc000, 0xffffc000, 0xffffc001,
  0xd9999999, 0xffffa000, 0xffffa000, 0xffffa001,
  0xd3333332, 0xffff9000, 0xffff9000, 0xffff9001,
  0xcffffffe, 0xffff8800, 0xffff8800, 0xffff8801,
  0xce666664, 0xffff8400, 0xffff8400, 0xffff8401,
  0xcd999997, 0xffff8200, 0xffff8200, 0xffff8201,
  0xcd333330, 0xffff8100, 0xffff8100, 0xffff8101,
  0xccfffffc, 0xffff8080, 0xffff8080, 0xffff8081,
  0xcce66662, 0xffff8040, 0xffff8040, 0xffff8041,
  0xccd99995, 0xffff8020, 0xffff8020, 0xffff8021,
  0xccd3332e, 0xffff8010, 0xffff8010, 0xffff8011,
  0xcccffffa, 0xffff8008, 0xffff8008, 0xffff8009,
  0xccce6660, 0xffff8004, 0xffff8004, 0xffff8005,
  0xcccd9993, 0xffff8002, 0xffff8002, 0xffff8003,
  0xcccd332c, 0xffff8001, 0xffff8001, 0xffff8002,
  0xccccfff8, 0xffff8000, 0xffff8000, 0xffff8001,
  0xcccce65e, 0xffff7fff, 0xffff7fff, 0xffff8000,
  0xccccd991, 0xffff7ffe, 0xffff7ffe, 0xffff7fff,
  0xccccd32a, 0xffff7ffd, 0xffff7ffd, 0xffff7ffe,
  0xcccccff6, 0xffff7ffc, 0xffff7ffc, 0xffff7ffd,
  0xccccce5c, 0xffff7ffb, 0xffff7ffb, 0xffff7ffc,
  0xcccccd8f, 0xffff7ffa, 0xffff7ffa, 0xffff7ffb,
  0xcccccd28, 0xffff7ff9, 0xffff7ff9, 0xffff7ffa,
  0xccccccf4, 0xffff7ff8, 0xffff7ff8, 0xffff7ff9,
  0xccccccda, 0xffff7ff7, 0xffff7ff7, 0xffff7ff8,
  0xcccccccd, 0xffff7ff6, 0xffff7ff6, 0xffff7ff7,
  0xccccccc6, 0xffff7ff5, 0xffff7ff5, 0xffff7ff6,
  0xccccccc2, 0xffff7ff4, 0xffff7ff4, 0xffff7ff5,
  0xccccccc0, 0xffff7ff3, 0xffff7ff3, 0xffff7ff4,
  0xccccccbf, 0xffff7ff2, 0xffff7ff2, 0xffff7ff3,
  0xccccccbe, 0xffff7ff1, 0xffff7ff1, 0xffff7ff2,
  0xccccccbd, 0xffff7ff0, 0xffff7ff0, 0xffff7ff1,
  0xffffc000, 0xffffc000, 0xffffc001, 0xffffc001,
  0xffffa000, 0xffffa000, 0xffffa001, 0xffffa001,
  0xffff9000, 0xffff9000, 0xffff9001, 0xffff9001,
  0xffff8800, 0xffff8800, 0xffff8801, 0xffff8801,
  0xffff8400, 0xffff8400, 0xffff8401, 0xffff8401,
  0xffff8200, 0xffff8200, 0xffff8201, 0xffff8201,
  0xffff8100, 0xffff8100, 0xffff8101, 0xffff8101,
  0xffff8080, 0xffff8080, 0xffff8081, 0xffff8081,
  0xffff8040, 0xffff8040, 0xffff8041, 0xffff8041,
  0xffff8020, 0xffff8020, 0xffff8021, 0xffff8021,
  0xffff8010, 0xffff8010, 0xffff8011, 0xffff8011,
  0xffff8008, 0xffff8008, 0xffff8009, 0xffff8009,
  0xffff8004, 0xffff8004, 0xffff8005, 0xffff8005,
  0xffff8002, 0xffff8002, 0xffff8003, 0xffff8003,
  0xffff8001, 0xffff8001, 0xffff8002, 0xffff8002,
  0xffff8000, 0xffff8000, 0xffff8001, 0xffff8001,
  0xffff7fff, 0xffff7fff, 0xffff8000, 0xffff8000,
  0xffff7ffe, 0xffff7ffe, 0xffff7fff, 0xffff7fff,
  0xffff7ffd, 0xffff7ffd, 0xffff7ffe, 0xffff7ffe,
  0xffff7ffc, 0xffff7ffc, 0xffff7ffd, 0xffff7ffd,
  0xffff7ffb, 0xffff7ffb, 0xffff7ffc, 0xffff7ffc,
  0xffff7ffa, 0xffff7ffa, 0xffff7ffb, 0xffff7ffb,
  0xffff7ff9, 0xffff7ff9, 0xffff7ffa, 0xffff7ffa,
  0xffff7ff8, 0xffff7ff8, 0xffff7ff9, 0xffff7ff9,
  0xffff7ff7, 0xffff7ff7, 0xffff7ff8, 0xffff7ff8,
  0xffff7ff6, 0xffff7ff6, 0xffff7ff7, 0xffff7ff7,
  0xffff7ff5, 0xffff7ff5, 0xffff7ff6, 0xffff7ff6,
  0xffff7ff4, 0xffff7ff4, 0xffff7ff5, 0xffff7ff5,
  0xffff7ff3, 0xffff7ff3, 0xffff7ff4, 0xffff7ff4,
  0xffff7ff2, 0xffff7ff2, 0xffff7ff3, 0xffff7ff3,
  0xffff7ff1, 0xffff7ff1, 0xffff7ff2, 0xffff7ff2,
  0xffff7ff0, 0xffff7ff0, 0xffff7ff1, 0xffff7ff1,
  0xffffc000, 0xffffc001, 0xffffc001, 0xffffffc0,
  0xffffa000, 0xffffa001, 0xffffa001, 0xffffffa0,
  0xffff9000, 0xffff9001, 0xffff9001, 0xffffff90,
  0xffff8800, 0xffff8801, 0xffff8801, 0xffffff88,
  0xffff8400, 0xffff8401, 0xffff8401, 0xffffff84,
  0xffff8200, 0xffff8201, 0xffff8201, 0xffffff82,
  0xffff8100, 0xffff8101, 0xffff8101, 0xffffff81,
  0xffff8080, 0xffff8081, 0xffff8081, 0xffffff80,
  0xffff8040, 0xffff8041, 0xffff8041, 0xffffff7f,
  0xffff8020, 0xffff8021, 0xffff8021, 0xffffff7e,
  0xffff8010, 0xffff8011, 0xffff8011, 0xffffff7d,
  0xffff8008, 0xffff8009, 0xffff8009, 0xffffff7c,
  0xffff8004, 0xffff8005, 0xffff8005, 0xffffff7b,
  0xffff8002, 0xffff8003, 0xffff8003, 0xffffff7a,
  0xffff8001, 0xffff8002, 0xffff8002, 0xffffff79,
  0xffff8000, 0xffff8001, 0xffff8001, 0xffffff78,
  0xffff7fff, 0xffff8000, 0xffff8000, 0xffffff77,
  0xffff7ffe, 0xffff7fff, 0xffff7fff, 0xffffff76,
  0xffff7ffd, 0xffff7ffe, 0xffff7ffe, 0xffffff75,
  0xffff7ffc, 0xffff7ffd, 0xffff7ffd, 0xffffff74,
  0xffff7ffb, 0xffff7ffc, 0xffff7ffc, 0xffffff73,
  0xffff7ffa, 0xffff7ffb, 0xffff7ffb, 0xffffff72,
  0xffff7ff9, 0xffff7ffa, 0xffff7ffa, 0xffffff71,
  0xffff7ff8, 0xffff7ff9, 0xffff7ff9, 0xffffff70,
  0xffff7ff7, 0xffff7ff8, 0xffff7ff8, 0xffffff6f,
  0xffff7ff6, 0xffff7ff7, 0xffff7ff7, 0xffffff6e,
  0xffff7ff5, 0xffff7ff6, 0xffff7ff6, 0xffffff6d,
  0xffff7ff4, 0xffff7ff5, 0xffff7ff5, 0xffffff6c,
  0xffff7ff3, 0xffff7ff4, 0xffff7ff4, 0xffffff6b,
  0xffff7ff2, 0xffff7ff3, 0xffff7ff3, 0xffffff6a,
  0xffff7ff1, 0xffff7ff2, 0xffff7ff2, 0xffffff69,
  0xffff7ff0, 0xffff7ff1, 0xffff7ff1, 0xffffff68,
  0xffffc001, 0xffffc001, 0xffffffc0, 0xffffffc0,
  0xffffa001, 0xffffa001, 0xffffffa0, 0xffffffa0,
  0xffff9001, 0xffff9001, 0xffffff90, 0xffffff90,
  0xffff8801, 0xffff8801, 0xffffff88, 0xffffff88,
  0xffff8401, 0xffff8401, 0xffffff84, 0xffffff84,
  0xffff8201, 0xffff8201, 0xffffff82, 0xffffff82,
  0xffff8101, 0xffff8101, 0xffffff81, 0xffffff81,
  0xffff8081, 0xffff8081, 0xffffff80, 0xffffff80,
  0xffff8041, 0xffff8041, 0xffffff7f, 0xffffff7f,
  0xffff8021, 0xffff8021, 0xffffff7e, 0xffffff7e,
  0xffff8011, 0xffff8011, 0xffffff7d, 0xffffff7d,
  0xffff8009, 0xffff8009, 0xffffff7c, 0xffffff7c,
  0xffff8005, 0xffff8005, 0xffffff7b, 0xffffff7b,
  0xffff8003, 0xffff8003, 0xffffff7a, 0xffffff7a,
  0xffff8002, 0xffff8002, 0xffffff79, 0xffffff79,
  0xffff8001, 0xffff8001, 0xffffff78, 0xffffff78,
  0xffff8000, 0xffff8000, 0xffffff77, 0xffffff77,
  0xffff7fff, 0xffff7fff, 0xffffff76, 0xffffff76,
  0xffff7ffe, 0xffff7ffe, 0xffffff75, 0xffffff75,
  0xffff7ffd, 0xffff7ffd, 0xffffff74, 0xffffff74,
  0xffff7ffc, 0xffff7ffc, 0xffffff73, 0xffffff73,
  0xffff7ffb, 0xffff7ffb, 0xffffff72, 0xffffff72,
  0xffff7ffa, 0xffff7ffa, 0xffffff71, 0xffffff71,
  0xffff7ff9, 0xffff7ff9, 0xffffff70, 0xffffff70,
  0xffff7ff8, 0xffff7ff8, 0xffffff6f, 0xffffff6f,
  0xffff7ff7, 0xffff7ff7, 0xffffff6e, 0xffffff6e,
  0xffff7ff6, 0xffff7ff6, 0xffffff6d, 0xffffff6d,
  0xffff7ff5, 0xffff7ff5, 0xffffff6c, 0xffffff6c,
  0xffff7ff4, 0xffff7ff4, 0xffffff6b, 0xffffff6b,
  0xffff7ff3, 0xffff7ff3, 0xffffff6a, 0xffffff6a,
  0xffff7ff2, 0xffff7ff2, 0xffffff69, 0xffffff69,
  0xffff7ff1, 0xffff7ff1, 0xffffff68, 0xffffff68,
  0xffffc001, 0xffffffc0, 0xffffffc0, 0xffffffc1,
  0xffffa001, 0xffffffa0, 0xffffffa0, 0xffffffa1,
  0xffff9001, 0xffffff90, 0xffffff90, 0xffffff91,
  0xffff8801, 0xffffff88, 0xffffff88, 0xffffff89,
  0xffff8401, 0xffffff84, 0xffffff84, 0xffffff85,
  0xffff8201, 0xffffff82, 0xffffff82, 0xffffff83,
  0xffff8101, 0xffffff81, 0xffffff81, 0xffffff82,
  0xffff8081, 0xffffff80, 0xffffff80, 0xffffff81,
  0xffff8041, 0xffffff7f, 0xffffff7f, 0xffffff80,
  0xffff8021, 0xffffff7e, 0xffffff7e, 0xffffff7f,
  0xffff8011, 0xffffff7d, 0xffffff7d, 0xffffff7e,
  0xffff8009, 0xffffff7c, 0xffffff7c, 0xffffff7d,
  0xffff8005, 0xffffff7b, 0xffffff7b, 0xffffff7c,
  0xffff8003, 0xffffff7a, 0xffffff7a, 0xffffff7b,
  0xffff8002, 0xffffff79, 0xffffff79, 0xffffff7a,
  0xffff8001, 0xffffff78, 0xffffff78, 0xffffff79,
  0xffff8000, 0xffffff77, 0xffffff77, 0xffffff78,
  0xffff7fff, 0xffffff76, 0xffffff76, 0xffffff77,
  0xffff7ffe, 0xffffff75, 0xffffff75, 0xffffff76,
  0xffff7ffd, 0xffffff74, 0xffffff74, 0xffffff75,
  0xffff7ffc, 0xffffff73, 0xffffff73, 0xffffff74,
  0xffff7ffb, 0xffffff72, 0xffffff72, 0xffffff73,
  0xffff7ffa, 0xffffff71, 0xffffff71, 0xffffff72,
  0xffff7ff9, 0xffffff70, 0xffffff70, 0xffffff71,
  0xffff7ff8, 0xffffff6f, 0xffffff6f, 0xffffff70,
  0xffff7ff7, 0xffffff6e, 0xffffff6e, 0xffffff6f,
  0xffff7ff6, 0xffffff6d, 0xffffff6d, 0xffffff6e,
  0xffff7ff5, 0xffffff6c, 0xffffff6c, 0xffffff6d,
  0xffff7ff4, 0xffffff6b, 0xffffff6b, 0xffffff6c,
  0xffff7ff3, 0xffffff6a, 0xffffff6a, 0xffffff6b,
  0xffff7ff2, 0xffffff69, 0xffffff69, 0xffffff6a,
  0xffff7ff1, 0xffffff68, 0xffffff68, 0xffffff69,
  0xffffffc0, 0xffffffc0, 0xffffffc1, 0xffffffc1,
  0xffffffa0, 0xffffffa0, 0xffffffa1, 0xffffffa1,
  0xffffff90, 0xffffff90, 0xffffff91, 0xffffff91,
  0xffffff88, 0xffffff88, 0xffffff89, 0xffffff89,
  0xffffff84, 0xffffff84, 0xffffff85, 0xffffff85,
  0xffffff82, 0xffffff82, 0xffffff83, 0xffffff83,
  0xffffff81, 0xffffff81, 0xffffff82, 0xffffff82,
  0xffffff80, 0xffffff80, 0xffffff81, 0xffffff81,
  0xffffff7f, 0xffffff7f, 0xffffff80, 0xffffff80,
  0xffffff7e, 0xffffff7e, 0xffffff7f, 0xffffff7f,
  0xffffff7d, 0xffffff7d, 0xffffff7e, 0xffffff7e,
  0xffffff7c, 0xffffff7c, 0xffffff7d, 0xffffff7d,
  0xffffff7b, 0xffffff7b, 0xffffff7c, 0xffffff7c,
  0xffffff7a, 0xffffff7a, 0xffffff7b, 0xffffff7b,
  0xffffff79, 0xffffff79, 0xffffff7a, 0xffffff7a,
  0xffffff78, 0xffffff78, 0xffffff79, 0xffffff79,
  0xffffff77, 0xffffff77, 0xffffff78, 0xffffff78,
  0xffffff76, 0xffffff76, 0xffffff77, 0xffffff77,
  0xffffff75, 0xffffff75, 0xffffff76, 0xffffff76,
  0xffffff74, 0xffffff74, 0xffffff75, 0xffffff75,
  0xffffff73, 0xffffff73, 0xffffff74, 0xffffff74,
  0xffffff72, 0xffffff72, 0xffffff73, 0xffffff73,
  0xffffff71, 0xffffff71, 0xffffff72, 0xffffff72,
  0xffffff70, 0xffffff70, 0xffffff71, 0xffffff71,
  0xffffff6f, 0xffffff6f, 0xffffff70, 0xffffff70,
  0xffffff6e, 0xffffff6e, 0xffffff6f, 0xffffff6f,
  0xffffff6d, 0xffffff6d, 0xffffff6e, 0xffffff6e,
  0xffffff6c, 0xffffff6c, 0xffffff6d, 0xffffff6d,
  0xffffff6b, 0xffffff6b, 0xffffff6c, 0xffffff6c,
  0xffffff6a, 0xffffff6a, 0xffffff6b, 0xffffff6b,
  0xffffff69, 0xffffff69, 0xffffff6a, 0xffffff6a,
  0xffffff68, 0xffffff68, 0xffffff69, 0xffffff69,
  0xffffffc0, 0xffffffc1, 0xffffffc1, 0xfffffff0,
  0xffffffa0, 0xffffffa1, 0xffffffa1, 0xffffffe8,
  0xffffff90, 0xffffff91, 0xffffff91, 0xffffffe4,
  0xffffff88, 0xffffff89, 0xffffff89, 0xffffffe2,
  0xffffff84, 0xffffff85, 0xffffff85, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff83, 0xffffffe0,
  0xffffff81, 0xffffff82, 0xffffff82, 0xffffffdf,
  0xffffff80, 0xffffff81, 0xffffff81, 0xffffffde,
  0xffffff7f, 0xffffff80, 0xffffff80, 0xffffffdd,
  0xffffff7e, 0xffffff7f, 0xffffff7f, 0xffffffdc,
  0xffffff7d, 0xffffff7e, 0xffffff7e, 0xffffffdb,
  0xffffff7c, 0xffffff7d, 0xffffff7d, 0xffffffda,
  0xffffff7b, 0xffffff7c, 0xffffff7c, 0xffffffd9,
  0xffffff7a, 0xffffff7b, 0xffffff7b, 0xffffffd8,
  0xffffff79, 0xffffff7a, 0xffffff7a, 0xffffffd7,
  0xffffff78, 0xffffff79, 0xffffff79, 0xffffffd6,
  0xffffff77, 0xffffff78, 0xffffff78, 0xffffffd5,
  0xffffff76, 0xffffff77, 0xffffff77, 0xffffffd4,
  0xffffff75, 0xffffff76, 0xffffff76, 0xffffffd3,
  0xffffff74, 0xffffff75, 0xffffff75, 0xffffffd2,
  0xffffff73, 0xffffff74, 0xffffff74, 0xffffffd1,
  0xffffff72, 0xffffff73, 0xffffff73, 0xffffffd0,
  0xffffff71, 0xffffff72, 0xffffff72, 0xffffffcf,
  0xffffff70, 0xffffff71, 0xffffff71, 0xffffffce,
  0xffffff6f, 0xffffff70, 0xffffff70, 0xffffffcd,
  0xffffff6e, 0xffffff6f, 0xffffff6f, 0xffffffcc,
  0xffffff6d, 0xffffff6e, 0xffffff6e, 0xffffffcb,
  0xffffff6c, 0xffffff6d, 0xffffff6d, 0xffffffca,
  0xffffff6b, 0xffffff6c, 0xffffff6c, 0xffffffc9,
  0xffffff6a, 0xffffff6b, 0xffffff6b, 0xffffffc8,
  0xffffff69, 0xffffff6a, 0xffffff6a, 0xffffffc7,
  0xffffff68, 0xffffff69, 0xffffff69, 0xffffffc6,
  0xffffffc1, 0xffffffc1, 0xfffffff0, 0xfffffffe,
  0xffffffa1, 0xffffffa1, 0xffffffe8, 0xfffffffd,
  0xffffff91, 0xffffff91, 0xffffffe4, 0xfffffffc,
  0xffffff89, 0xffffff89, 0xffffffe2, 0xfffffffb,
  0xffffff85, 0xffffff85, 0xffffffe1, 0xfffffffa,
  0xffffff83, 0xffffff83, 0xffffffe0, 0xfffffff9,
  0xffffff82, 0xffffff82, 0xffffffdf, 0xfffffff8,
  0xffffff81, 0xffffff81, 0xffffffde, 0xfffffff7,
  0xffffff80, 0xffffff80, 0xffffffdd, 0xfffffff6,
  0xffffff7f, 0xffffff7f, 0xffffffdc, 0xfffffff5,
  0xffffff7e, 0xffffff7e, 0xffffffdb, 0xfffffff4,
  0xffffff7d, 0xffffff7d, 0xffffffda, 0xfffffff3,
  0xffffff7c, 0xffffff7c, 0xffffffd9, 0xfffffff2,
  0xffffff7b, 0xffffff7b, 0xffffffd8, 0xfffffff1,
  0xffffff7a, 0xffffff7a, 0xffffffd7, 0xfffffff0,
  0xffffff79, 0xffffff79, 0xffffffd6, 0xffffffef,
  0xffffff78, 0xffffff78, 0xffffffd5, 0xffffffee,
  0xffffff77, 0xffffff77, 0xffffffd4, 0xffffffed,
  0xffffff76, 0xffffff76, 0xffffffd3, 0xffffffec,
  0xffffff75, 0xffffff75, 0xffffffd2, 0xffffffeb,
  0xffffff74, 0xffffff74, 0xffffffd1, 0xffffffea,
  0xffffff73, 0xffffff73, 0xffffffd0, 0xffffffe9,
  0xffffff72, 0xffffff72, 0xffffffcf, 0xffffffe8,
  0xffffff71, 0xffffff71, 0xffffffce, 0xffffffe7,
  0xffffff70, 0xffffff70, 0xffffffcd, 0xffffffe6,
  0xffffff6f, 0xffffff6f, 0xffffffcc, 0xffffffe5,
  0xffffff6e, 0xffffff6e, 0xffffffcb, 0xffffffe4,
  0xffffff6d, 0xffffff6d, 0xffffffca, 0xffffffe3,
  0xffffff6c, 0xffffff6c, 0xffffffc9, 0xffffffe2,
  0xffffff6b, 0xffffff6b, 0xffffffc8, 0xffffffe1,
  0xffffff6a, 0xffffff6a, 0xffffffc7, 0xffffffe0,
  0xffffff69, 0xffffff69, 0xffffffc6, 0xffffffdf,
  0xffffffc1, 0xfffffff0, 0xfffffffe, 0xffffffff,
  0xffffffa1, 0xffffffe8, 0xfffffffd, 0xfffffffe,
  0xffffff91, 0xffffffe4, 0xfffffffc, 0xfffffffd,
  0xffffff89, 0xffffffe2, 0xfffffffb, 0xfffffffc,
  0xffffff85, 0xffffffe1, 0xfffffffa, 0xfffffffb,
  0xffffff83, 0xffffffe0, 0xfffffff9, 0xfffffffa,
  0xffffff82, 0xffffffdf, 0xfffffff8, 0xfffffff9,
  0xffffff81, 0xffffffde, 0xfffffff7, 0xfffffff8,
  0xffffff80, 0xffffffdd, 0xfffffff6, 0xfffffff7,
  0xffffff7f, 0xffffffdc, 0xfffffff5, 0xfffffff6,
  0xffffff7e, 0xffffffdb, 0xfffffff4, 0xfffffff5,
  0xffffff7d, 0xffffffda, 0xfffffff3, 0xfffffff4,
  0xffffff7c, 0xffffffd9, 0xfffffff2, 0xfffffff3,
  0xffffff7b, 0xffffffd8, 0xfffffff1, 0xfffffff2,
  0xffffff7a, 0xffffffd7, 0xfffffff0, 0xfffffff1,
  0xffffff79, 0xffffffd6, 0xffffffef, 0xfffffff0,
  0xffffff78, 0xffffffd5, 0xffffffee, 0xffffffef,
  0xffffff77, 0xffffffd4, 0xffffffed, 0xffffffee,
  0xffffff76, 0xffffffd3, 0xffffffec, 0xffffffed,
  0xffffff75, 0xffffffd2, 0xffffffeb, 0xffffffec,
  0xffffff74, 0xffffffd1, 0xffffffea, 0xffffffeb,
  0xffffff73, 0xffffffd0, 0xffffffe9, 0xffffffea,
  0xffffff72, 0xffffffcf, 0xffffffe8, 0xffffffe9,
  0xffffff71, 0xffffffce, 0xffffffe7, 0xffffffe8,
  0xffffff70, 0xffffffcd, 0xffffffe6, 0xffffffe7,
  0xffffff6f, 0xffffffcc, 0xffffffe5, 0xffffffe6,
  0xffffff6e, 0xffffffcb, 0xffffffe4, 0xffffffe5,
  0xffffff6d, 0xffffffca, 0xffffffe3, 0xffffffe4,
  0xffffff6c, 0xffffffc9, 0xffffffe2, 0xffffffe3,
  0xffffff6b, 0xffffffc8, 0xffffffe1, 0xffffffe2,
  0xffffff6a, 0xffffffc7, 0xffffffe0, 0xffffffe1,
  0xffffff69, 0xffffffc6, 0xffffffdf, 0xffffffe0,
  0xfffffff0, 0xfffffffe, 0xffffffff, 0xffffffff,
  0xffffffe8, 0xfffffffd, 0xfffffffe, 0xfffffffe,
  0xffffffe4, 0xfffffffc, 0xfffffffd, 0xfffffffd,
  0xffffffe2, 0xfffffffb, 0xfffffffc, 0xfffffffc,
  0xffffffe1, 0xfffffffa, 0xfffffffb, 0xfffffffb,
  0xffffffe0, 0xfffffff9, 0xfffffffa, 0xfffffffa,
  0xffffffdf, 0xfffffff8, 0xfffffff9, 0xfffffff9,
  0xffffffde, 0xfffffff7, 0xfffffff8, 0xfffffff8,
  0xffffffdd, 0xfffffff6, 0xfffffff7, 0xfffffff7,
  0xffffffdc, 0xfffffff5, 0xfffffff6, 0xfffffff6,
  0xffffffdb, 0xfffffff4, 0xfffffff5, 0xfffffff5,
  0xffffffda, 0xfffffff3, 0xfffffff4, 0xfffffff4,
  0xffffffd9, 0xfffffff2, 0xfffffff3, 0xfffffff3,
  0xffffffd8, 0xfffffff1, 0xfffffff2, 0xfffffff2,
  0xffffffd7, 0xfffffff0, 0xfffffff1, 0xfffffff1,
  0xffffffd6, 0xffffffef, 0xfffffff0, 0xfffffff0,
  0xffffffd5, 0xffffffee, 0xffffffef, 0xffffffef,
  0xffffffd4, 0xffffffed, 0xffffffee, 0xffffffee,
  0xffffffd3, 0xffffffec, 0xffffffed, 0xffffffed,
  0xffffffd2, 0xffffffeb, 0xffffffec, 0xffffffec,
  0xffffffd1, 0xffffffea, 0xffffffeb, 0xffffffeb,
  0xffffffd0, 0xffffffe9, 0xffffffea, 0xffffffea,
  0xffffffcf, 0xffffffe8, 0xffffffe9, 0xffffffe9,
  0xffffffce, 0xffffffe7, 0xffffffe8, 0xffffffe8,
  0xffffffcd, 0xffffffe6, 0xffffffe7, 0xffffffe7,
  0xffffffcc, 0xffffffe5, 0xffffffe6, 0xffffffe6,
  0xffffffcb, 0xffffffe4, 0xffffffe5, 0xffffffe5,
  0xffffffca, 0xffffffe3, 0xffffffe4, 0xffffffe4,
  0xffffffc9, 0xffffffe2, 0xffffffe3, 0xffffffe3,
  0xffffffc8, 0xffffffe1, 0xffffffe2, 0xffffffe2,
  0xffffffc7, 0xffffffe0, 0xffffffe1, 0xffffffe1,
  0xffffffc6, 0xffffffdf, 0xffffffe0, 0xffffffe0,
};
const unsigned kExpectedCount_NEON_ssra_4S_2OPIMM = 992;

#endif  // VIXL_SIM_SSRA_4S_2OPIMM_TRACE_AARCH64_H_