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


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

#ifndef VIXL_SIM_SRSRA_4S_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_SRSRA_4S_2OPIMM_TRACE_A64_H_

const uint32_t kExpected_NEON_srsra_4S_2OPIMM[] = {
  0xffffffff, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xfffffffe, 0xffffffff, 0x00000000, 0x00000000,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0xffffffff, 0x00000000, 0x00000000, 0x00000001,
  0x00000000, 0x00000000, 0x00000001, 0x00000001,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000000, 0x00000001, 0x00000002,
  0x00000000, 0x00000001, 0x00000001, 0x00000010,
  0x00000000, 0x00000001, 0x00000002, 0x00000018,
  0x00000000, 0x00000001, 0x00000002, 0x0000001c,
  0x00000000, 0x00000001, 0x00000002, 0x0000001e,
  0x00000000, 0x00000001, 0x00000002, 0x0000001f,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000002, 0x00000020,
  0x00000001, 0x00000001, 0x00000010, 0x0000003f,
  0x00000001, 0x00000002, 0x00000018, 0x0000005e,
  0x00000001, 0x00000002, 0x0000001c, 0x0000006e,
  0x00000001, 0x00000002, 0x0000001e, 0x00000076,
  0x00000001, 0x00000002, 0x0000001f, 0x0000007a,
  0x00000001, 0x00000002, 0x00000020, 0x0000007c,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
  0x00000001, 0x00000010, 0x0000003f, 0x0000003f,
  0x00000002, 0x00000018, 0x0000005e, 0x0000005f,
  0x00000002, 0x0000001c, 0x0000006e, 0x0000006f,
  0x00000002, 0x0000001e, 0x00000076, 0x00000077,
  0x00000002, 0x0000001f, 0x0000007a, 0x0000007b,
  0x00000002, 0x00000020, 0x0000007c, 0x0000007d,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
  0x00000010, 0x0000003f, 0x0000003f, 0x00000040,
  0x00000018, 0x0000005e, 0x0000005f, 0x00000060,
  0x0000001c, 0x0000006e, 0x0000006f, 0x00000070,
  0x0000001e, 0x00000076, 0x00000077, 0x00000078,
  0x0000001f, 0x0000007a, 0x0000007b, 0x0000007c,
  0x00000020, 0x0000007c, 0x0000007d, 0x0000007e,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
  0x0000003f, 0x0000003f, 0x00000040, 0x00003fff,
  0x0000005e, 0x0000005f, 0x00000060, 0x00005ffe,
  0x0000006e, 0x0000006f, 0x00000070, 0x00006ffe,
  0x00000076, 0x00000077, 0x00000078, 0x000077fe,
  0x0000007a, 0x0000007b, 0x0000007c, 0x00007bfe,
  0x0000007c, 0x0000007d, 0x0000007e, 0x00007dfe,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007efe,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007f7e,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007fbe,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007fde,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007fee,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ff6,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffa,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffc,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
  0x0000003f, 0x00000040, 0x00003fff, 0x00003fff,
  0x0000005f, 0x00000060, 0x00005ffe, 0x00005fff,
  0x0000006f, 0x00000070, 0x00006ffe, 0x00006fff,
  0x00000077, 0x00000078, 0x000077fe, 0x000077ff,
  0x0000007b, 0x0000007c, 0x00007bfe, 0x00007bff,
  0x0000007d, 0x0000007e, 0x00007dfe, 0x00007dff,
  0x0000007e, 0x0000007f, 0x00007efe, 0x00007eff,
  0x0000007e, 0x0000007f, 0x00007f7e, 0x00007f7f,
  0x0000007e, 0x0000007f, 0x00007fbe, 0x00007fbf,
  0x0000007e, 0x0000007f, 0x00007fde, 0x00007fdf,
  0x0000007e, 0x0000007f, 0x00007fee, 0x00007fef,
  0x0000007e, 0x0000007f, 0x00007ff6, 0x00007ff7,
  0x0000007e, 0x0000007f, 0x00007ffa, 0x00007ffb,
  0x0000007e, 0x0000007f, 0x00007ffc, 0x00007ffd,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
  0x00000040, 0x00003fff, 0x00003fff, 0x00004000,
  0x00000060, 0x00005ffe, 0x00005fff, 0x00006000,
  0x00000070, 0x00006ffe, 0x00006fff, 0x00007000,
  0x00000078, 0x000077fe, 0x000077ff, 0x00007800,
  0x0000007c, 0x00007bfe, 0x00007bff, 0x00007c00,
  0x0000007e, 0x00007dfe, 0x00007dff, 0x00007e00,
  0x0000007f, 0x00007efe, 0x00007eff, 0x00007f00,
  0x0000007f, 0x00007f7e, 0x00007f7f, 0x00007f80,
  0x0000007f, 0x00007fbe, 0x00007fbf, 0x00007fc0,
  0x0000007f, 0x00007fde, 0x00007fdf, 0x00007fe0,
  0x0000007f, 0x00007fee, 0x00007fef, 0x00007ff0,
  0x0000007f, 0x00007ff6, 0x00007ff7, 0x00007ff8,
  0x0000007f, 0x00007ffa, 0x00007ffb, 0x00007ffc,
  0x0000007f, 0x00007ffc, 0x00007ffd, 0x00007ffe,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
  0x00003fff, 0x00003fff, 0x00004000, 0x1999999a,
  0x00005ffe, 0x00005fff, 0x00006000, 0x26666667,
  0x00006ffe, 0x00006fff, 0x00007000, 0x2ccccccd,
  0x000077fe, 0x000077ff, 0x00007800, 0x30000000,
  0x00007bfe, 0x00007bff, 0x00007c00, 0x3199999a,
  0x00007dfe, 0x00007dff, 0x00007e00, 0x32666667,
  0x00007efe, 0x00007eff, 0x00007f00, 0x32cccccd,
  0x00007f7e, 0x00007f7f, 0x00007f80, 0x33000000,
  0x00007fbe, 0x00007fbf, 0x00007fc0, 0x3319999a,
  0x00007fde, 0x00007fdf, 0x00007fe0, 0x33266667,
  0x00007fee, 0x00007fef, 0x00007ff0, 0x332ccccd,
  0x00007ff6, 0x00007ff7, 0x00007ff8, 0x33300000,
  0x00007ffa, 0x00007ffb, 0x00007ffc, 0x3331999a,
  0x00007ffc, 0x00007ffd, 0x00007ffe, 0x33326667,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x3332cccd,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33330000,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333199a,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33332667,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33332ccd,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333000,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333319a,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333267,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x333332cd,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333300,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333331a,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333327,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333332d,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333330,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333332,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
  0x00003fff, 0x00004000, 0x1999999a, 0x2aaaaaab,
  0x00005fff, 0x00006000, 0x26666667, 0x40000000,
  0x00006fff, 0x00007000, 0x2ccccccd, 0x4aaaaaab,
  0x000077ff, 0x00007800, 0x30000000, 0x50000000,
  0x00007bff, 0x00007c00, 0x3199999a, 0x52aaaaab,
  0x00007dff, 0x00007e00, 0x32666667, 0x54000000,
  0x00007eff, 0x00007f00, 0x32cccccd, 0x54aaaaab,
  0x00007f7f, 0x00007f80, 0x33000000, 0x55000000,
  0x00007fbf, 0x00007fc0, 0x3319999a, 0x552aaaab,
  0x00007fdf, 0x00007fe0, 0x33266667, 0x55400000,
  0x00007fef, 0x00007ff0, 0x332ccccd, 0x554aaaab,
  0x00007ff7, 0x00007ff8, 0x33300000, 0x55500000,
  0x00007ffb, 0x00007ffc, 0x3331999a, 0x5552aaab,
  0x00007ffd, 0x00007ffe, 0x33326667, 0x55540000,
  0x00007ffe, 0x00007fff, 0x3332cccd, 0x5554aaab,
  0x00007ffe, 0x00007fff, 0x33330000, 0x55550000,
  0x00007ffe, 0x00007fff, 0x3333199a, 0x55552aab,
  0x00007ffe, 0x00007fff, 0x33332667, 0x55554000,
  0x00007ffe, 0x00007fff, 0x33332ccd, 0x55554aab,
  0x00007ffe, 0x00007fff, 0x33333000, 0x55555000,
  0x00007ffe, 0x00007fff, 0x3333319a, 0x555552ab,
  0x00007ffe, 0x00007fff, 0x33333267, 0x55555400,
  0x00007ffe, 0x00007fff, 0x333332cd, 0x555554ab,
  0x00007ffe, 0x00007fff, 0x33333300, 0x55555500,
  0x00007ffe, 0x00007fff, 0x3333331a, 0x5555552b,
  0x00007ffe, 0x00007fff, 0x33333327, 0x55555540,
  0x00007ffe, 0x00007fff, 0x3333332d, 0x5555554b,
  0x00007ffe, 0x00007fff, 0x33333330, 0x55555550,
  0x00007ffe, 0x00007fff, 0x33333332, 0x55555553,
  0x00007ffe, 0x00007fff, 0x33333333, 0x55555554,
  0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
  0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
  0x00004000, 0x1999999a, 0x2aaaaaab, 0x3fffffff,
  0x00006000, 0x26666667, 0x40000000, 0x5ffffffe,
  0x00007000, 0x2ccccccd, 0x4aaaaaab, 0x6ffffffe,
  0x00007800, 0x30000000, 0x50000000, 0x77fffffe,
  0x00007c00, 0x3199999a, 0x52aaaaab, 0x7bfffffe,
  0x00007e00, 0x32666667, 0x54000000, 0x7dfffffe,
  0x00007f00, 0x32cccccd, 0x54aaaaab, 0x7efffffe,
  0x00007f80, 0x33000000, 0x55000000, 0x7f7ffffe,
  0x00007fc0, 0x3319999a, 0x552aaaab, 0x7fbffffe,
  0x00007fe0, 0x33266667, 0x55400000, 0x7fdffffe,
  0x00007ff0, 0x332ccccd, 0x554aaaab, 0x7feffffe,
  0x00007ff8, 0x33300000, 0x55500000, 0x7ff7fffe,
  0x00007ffc, 0x3331999a, 0x5552aaab, 0x7ffbfffe,
  0x00007ffe, 0x33326667, 0x55540000, 0x7ffdfffe,
  0x00007fff, 0x3332cccd, 0x5554aaab, 0x7ffefffe,
  0x00007fff, 0x33330000, 0x55550000, 0x7fff7ffe,
  0x00007fff, 0x3333199a, 0x55552aab, 0x7fffbffe,
  0x00007fff, 0x33332667, 0x55554000, 0x7fffdffe,
  0x00007fff, 0x33332ccd, 0x55554aab, 0x7fffeffe,
  0x00007fff, 0x33333000, 0x55555000, 0x7ffff7fe,
  0x00007fff, 0x3333319a, 0x555552ab, 0x7ffffbfe,
  0x00007fff, 0x33333267, 0x55555400, 0x7ffffdfe,
  0x00007fff, 0x333332cd, 0x555554ab, 0x7ffffefe,
  0x00007fff, 0x33333300, 0x55555500, 0x7fffff7e,
  0x00007fff, 0x3333331a, 0x5555552b, 0x7fffffbe,
  0x00007fff, 0x33333327, 0x55555540, 0x7fffffde,
  0x00007fff, 0x3333332d, 0x5555554b, 0x7fffffee,
  0x00007fff, 0x33333330, 0x55555550, 0x7ffffff6,
  0x00007fff, 0x33333332, 0x55555553, 0x7ffffffa,
  0x00007fff, 0x33333333, 0x55555554, 0x7ffffffc,
  0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
  0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
  0x1999999a, 0x2aaaaaab, 0x3fffffff, 0x3fffffff,
  0x26666667, 0x40000000, 0x5ffffffe, 0x5fffffff,
  0x2ccccccd, 0x4aaaaaab, 0x6ffffffe, 0x6fffffff,
  0x30000000, 0x50000000, 0x77fffffe, 0x77ffffff,
  0x3199999a, 0x52aaaaab, 0x7bfffffe, 0x7bffffff,
  0x32666667, 0x54000000, 0x7dfffffe, 0x7dffffff,
  0x32cccccd, 0x54aaaaab, 0x7efffffe, 0x7effffff,
  0x33000000, 0x55000000, 0x7f7ffffe, 0x7f7fffff,
  0x3319999a, 0x552aaaab, 0x7fbffffe, 0x7fbfffff,
  0x33266667, 0x55400000, 0x7fdffffe, 0x7fdfffff,
  0x332ccccd, 0x554aaaab, 0x7feffffe, 0x7fefffff,
  0x33300000, 0x55500000, 0x7ff7fffe, 0x7ff7ffff,
  0x3331999a, 0x5552aaab, 0x7ffbfffe, 0x7ffbffff,
  0x33326667, 0x55540000, 0x7ffdfffe, 0x7ffdffff,
  0x3332cccd, 0x5554aaab, 0x7ffefffe, 0x7ffeffff,
  0x33330000, 0x55550000, 0x7fff7ffe, 0x7fff7fff,
  0x3333199a, 0x55552aab, 0x7fffbffe, 0x7fffbfff,
  0x33332667, 0x55554000, 0x7fffdffe, 0x7fffdfff,
  0x33332ccd, 0x55554aab, 0x7fffeffe, 0x7fffefff,
  0x33333000, 0x55555000, 0x7ffff7fe, 0x7ffff7ff,
  0x3333319a, 0x555552ab, 0x7ffffbfe, 0x7ffffbff,
  0x33333267, 0x55555400, 0x7ffffdfe, 0x7ffffdff,
  0x333332cd, 0x555554ab, 0x7ffffefe, 0x7ffffeff,
  0x33333300, 0x55555500, 0x7fffff7e, 0x7fffff7f,
  0x3333331a, 0x5555552b, 0x7fffffbe, 0x7fffffbf,
  0x33333327, 0x55555540, 0x7fffffde, 0x7fffffdf,
  0x3333332d, 0x5555554b, 0x7fffffee, 0x7fffffef,
  0x33333330, 0x55555550, 0x7ffffff6, 0x7ffffff7,
  0x33333332, 0x55555553, 0x7ffffffa, 0x7ffffffb,
  0x33333333, 0x55555554, 0x7ffffffc, 0x7ffffffd,
  0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
  0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
  0x2aaaaaab, 0x3fffffff, 0x3fffffff, 0x40000000,
  0x40000000, 0x5ffffffe, 0x5fffffff, 0x60000000,
  0x4aaaaaab, 0x6ffffffe, 0x6fffffff, 0x70000000,
  0x50000000, 0x77fffffe, 0x77ffffff, 0x78000000,
  0x52aaaaab, 0x7bfffffe, 0x7bffffff, 0x7c000000,
  0x54000000, 0x7dfffffe, 0x7dffffff, 0x7e000000,
  0x54aaaaab, 0x7efffffe, 0x7effffff, 0x7f000000,
  0x55000000, 0x7f7ffffe, 0x7f7fffff, 0x7f800000,
  0x552aaaab, 0x7fbffffe, 0x7fbfffff, 0x7fc00000,
  0x55400000, 0x7fdffffe, 0x7fdfffff, 0x7fe00000,
  0x554aaaab, 0x7feffffe, 0x7fefffff, 0x7ff00000,
  0x55500000, 0x7ff7fffe, 0x7ff7ffff, 0x7ff80000,
  0x5552aaab, 0x7ffbfffe, 0x7ffbffff, 0x7ffc0000,
  0x55540000, 0x7ffdfffe, 0x7ffdffff, 0x7ffe0000,
  0x5554aaab, 0x7ffefffe, 0x7ffeffff, 0x7fff0000,
  0x55550000, 0x7fff7ffe, 0x7fff7fff, 0x7fff8000,
  0x55552aab, 0x7fffbffe, 0x7fffbfff, 0x7fffc000,
  0x55554000, 0x7fffdffe, 0x7fffdfff, 0x7fffe000,
  0x55554aab, 0x7fffeffe, 0x7fffefff, 0x7ffff000,
  0x55555000, 0x7ffff7fe, 0x7ffff7ff, 0x7ffff800,
  0x555552ab, 0x7ffffbfe, 0x7ffffbff, 0x7ffffc00,
  0x55555400, 0x7ffffdfe, 0x7ffffdff, 0x7ffffe00,
  0x555554ab, 0x7ffffefe, 0x7ffffeff, 0x7fffff00,
  0x55555500, 0x7fffff7e, 0x7fffff7f, 0x7fffff80,
  0x5555552b, 0x7fffffbe, 0x7fffffbf, 0x7fffffc0,
  0x55555540, 0x7fffffde, 0x7fffffdf, 0x7fffffe0,
  0x5555554b, 0x7fffffee, 0x7fffffef, 0x7ffffff0,
  0x55555550, 0x7ffffff6, 0x7ffffff7, 0x7ffffff8,
  0x55555553, 0x7ffffffa, 0x7ffffffb, 0x7ffffffc,
  0x55555554, 0x7ffffffc, 0x7ffffffd, 0x7ffffffe,
  0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
  0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
  0x3fffffff, 0x3fffffff, 0x40000000, 0xc0000000,
  0x5ffffffe, 0x5fffffff, 0x60000000, 0xa0000000,
  0x6ffffffe, 0x6fffffff, 0x70000000, 0x90000000,
  0x77fffffe, 0x77ffffff, 0x78000000, 0x88000000,
  0x7bfffffe, 0x7bffffff, 0x7c000000, 0x84000000,
  0x7dfffffe, 0x7dffffff, 0x7e000000, 0x82000000,
  0x7efffffe, 0x7effffff, 0x7f000000, 0x81000000,
  0x7f7ffffe, 0x7f7fffff, 0x7f800000, 0x80800000,
  0x7fbffffe, 0x7fbfffff, 0x7fc00000, 0x80400000,
  0x7fdffffe, 0x7fdfffff, 0x7fe00000, 0x80200000,
  0x7feffffe, 0x7fefffff, 0x7ff00000, 0x80100000,
  0x7ff7fffe, 0x7ff7ffff, 0x7ff80000, 0x80080000,
  0x7ffbfffe, 0x7ffbffff, 0x7ffc0000, 0x80040000,
  0x7ffdfffe, 0x7ffdffff, 0x7ffe0000, 0x80020000,
  0x7ffefffe, 0x7ffeffff, 0x7fff0000, 0x80010000,
  0x7fff7ffe, 0x7fff7fff, 0x7fff8000, 0x80008000,
  0x7fffbffe, 0x7fffbfff, 0x7fffc000, 0x80004000,
  0x7fffdffe, 0x7fffdfff, 0x7fffe000, 0x80002000,
  0x7fffeffe, 0x7fffefff, 0x7ffff000, 0x80001000,
  0x7ffff7fe, 0x7ffff7ff, 0x7ffff800, 0x80000800,
  0x7ffffbfe, 0x7ffffbff, 0x7ffffc00, 0x80000400,
  0x7ffffdfe, 0x7ffffdff, 0x7ffffe00, 0x80000200,
  0x7ffffefe, 0x7ffffeff, 0x7fffff00, 0x80000100,
  0x7fffff7e, 0x7fffff7f, 0x7fffff80, 0x80000080,
  0x7fffffbe, 0x7fffffbf, 0x7fffffc0, 0x80000040,
  0x7fffffde, 0x7fffffdf, 0x7fffffe0, 0x80000020,
  0x7fffffee, 0x7fffffef, 0x7ffffff0, 0x80000010,
  0x7ffffff6, 0x7ffffff7, 0x7ffffff8, 0x80000008,
  0x7ffffffa, 0x7ffffffb, 0x7ffffffc, 0x80000004,
  0x7ffffffc, 0x7ffffffd, 0x7ffffffe, 0x80000002,
  0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000001,
  0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000001,
  0x3fffffff, 0x40000000, 0xc0000000, 0xc0000001,
  0x5fffffff, 0x60000000, 0xa0000000, 0xa0000001,
  0x6fffffff, 0x70000000, 0x90000000, 0x90000001,
  0x77ffffff, 0x78000000, 0x88000000, 0x88000001,
  0x7bffffff, 0x7c000000, 0x84000000, 0x84000001,
  0x7dffffff, 0x7e000000, 0x82000000, 0x82000001,
  0x7effffff, 0x7f000000, 0x81000000, 0x81000001,
  0x7f7fffff, 0x7f800000, 0x80800000, 0x80800001,
  0x7fbfffff, 0x7fc00000, 0x80400000, 0x80400001,
  0x7fdfffff, 0x7fe00000, 0x80200000, 0x80200001,
  0x7fefffff, 0x7ff00000, 0x80100000, 0x80100001,
  0x7ff7ffff, 0x7ff80000, 0x80080000, 0x80080001,
  0x7ffbffff, 0x7ffc0000, 0x80040000, 0x80040001,
  0x7ffdffff, 0x7ffe0000, 0x80020000, 0x80020001,
  0x7ffeffff, 0x7fff0000, 0x80010000, 0x80010001,
  0x7fff7fff, 0x7fff8000, 0x80008000, 0x80008001,
  0x7fffbfff, 0x7fffc000, 0x80004000, 0x80004001,
  0x7fffdfff, 0x7fffe000, 0x80002000, 0x80002001,
  0x7fffefff, 0x7ffff000, 0x80001000, 0x80001001,
  0x7ffff7ff, 0x7ffff800, 0x80000800, 0x80000801,
  0x7ffffbff, 0x7ffffc00, 0x80000400, 0x80000401,
  0x7ffffdff, 0x7ffffe00, 0x80000200, 0x80000201,
  0x7ffffeff, 0x7fffff00, 0x80000100, 0x80000101,
  0x7fffff7f, 0x7fffff80, 0x80000080, 0x80000081,
  0x7fffffbf, 0x7fffffc0, 0x80000040, 0x80000041,
  0x7fffffdf, 0x7fffffe0, 0x80000020, 0x80000021,
  0x7fffffef, 0x7ffffff0, 0x80000010, 0x80000011,
  0x7ffffff7, 0x7ffffff8, 0x80000008, 0x80000009,
  0x7ffffffb, 0x7ffffffc, 0x80000004, 0x80000005,
  0x7ffffffd, 0x7ffffffe, 0x80000002, 0x80000003,
  0x7ffffffe, 0x7fffffff, 0x80000001, 0x80000002,
  0x7ffffffe, 0x7fffffff, 0x80000001, 0x80000002,
  0x40000000, 0xc0000000, 0xc0000001, 0xd5555555,
  0x60000000, 0xa0000000, 0xa0000001, 0xc0000000,
  0x70000000, 0x90000000, 0x90000001, 0xb5555555,
  0x78000000, 0x88000000, 0x88000001, 0xb0000000,
  0x7c000000, 0x84000000, 0x84000001, 0xad555555,
  0x7e000000, 0x82000000, 0x82000001, 0xac000000,
  0x7f000000, 0x81000000, 0x81000001, 0xab555555,
  0x7f800000, 0x80800000, 0x80800001, 0xab000000,
  0x7fc00000, 0x80400000, 0x80400001, 0xaad55555,
  0x7fe00000, 0x80200000, 0x80200001, 0xaac00000,
  0x7ff00000, 0x80100000, 0x80100001, 0xaab55555,
  0x7ff80000, 0x80080000, 0x80080001, 0xaab00000,
  0x7ffc0000, 0x80040000, 0x80040001, 0xaaad5555,
  0x7ffe0000, 0x80020000, 0x80020001, 0xaaac0000,
  0x7fff0000, 0x80010000, 0x80010001, 0xaaab5555,
  0x7fff8000, 0x80008000, 0x80008001, 0xaaab0000,
  0x7fffc000, 0x80004000, 0x80004001, 0xaaaad555,
  0x7fffe000, 0x80002000, 0x80002001, 0xaaaac000,
  0x7ffff000, 0x80001000, 0x80001001, 0xaaaab555,
  0x7ffff800, 0x80000800, 0x80000801, 0xaaaab000,
  0x7ffffc00, 0x80000400, 0x80000401, 0xaaaaad55,
  0x7ffffe00, 0x80000200, 0x80000201, 0xaaaaac00,
  0x7fffff00, 0x80000100, 0x80000101, 0xaaaaab55,
  0x7fffff80, 0x80000080, 0x80000081, 0xaaaaab00,
  0x7fffffc0, 0x80000040, 0x80000041, 0xaaaaaad5,
  0x7fffffe0, 0x80000020, 0x80000021, 0xaaaaaac0,
  0x7ffffff0, 0x80000010, 0x80000011, 0xaaaaaab5,
  0x7ffffff8, 0x80000008, 0x80000009, 0xaaaaaab0,
  0x7ffffffc, 0x80000004, 0x80000005, 0xaaaaaaad,
  0x7ffffffe, 0x80000002, 0x80000003, 0xaaaaaaac,
  0x7fffffff, 0x80000001, 0x80000002, 0xaaaaaaab,
  0x7fffffff, 0x80000001, 0x80000002, 0xaaaaaaab,
  0xc0000000, 0xc0000001, 0xd5555555, 0xe6666666,
  0xa0000000, 0xa0000001, 0xc0000000, 0xd9999999,
  0x90000000, 0x90000001, 0xb5555555, 0xd3333333,
  0x88000000, 0x88000001, 0xb0000000, 0xd0000000,
  0x84000000, 0x84000001, 0xad555555, 0xce666666,
  0x82000000, 0x82000001, 0xac000000, 0xcd999999,
  0x81000000, 0x81000001, 0xab555555, 0xcd333333,
  0x80800000, 0x80800001, 0xab000000, 0xcd000000,
  0x80400000, 0x80400001, 0xaad55555, 0xcce66666,
  0x80200000, 0x80200001, 0xaac00000, 0xccd99999,
  0x80100000, 0x80100001, 0xaab55555, 0xccd33333,
  0x80080000, 0x80080001, 0xaab00000, 0xccd00000,
  0x80040000, 0x80040001, 0xaaad5555, 0xccce6666,
  0x80020000, 0x80020001, 0xaaac0000, 0xcccd9999,
  0x80010000, 0x80010001, 0xaaab5555, 0xcccd3333,
  0x80008000, 0x80008001, 0xaaab0000, 0xcccd0000,
  0x80004000, 0x80004001, 0xaaaad555, 0xcccce666,
  0x80002000, 0x80002001, 0xaaaac000, 0xccccd999,
  0x80001000, 0x80001001, 0xaaaab555, 0xccccd333,
  0x80000800, 0x80000801, 0xaaaab000, 0xccccd000,
  0x80000400, 0x80000401, 0xaaaaad55, 0xccccce66,
  0x80000200, 0x80000201, 0xaaaaac00, 0xcccccd99,
  0x80000100, 0x80000101, 0xaaaaab55, 0xcccccd33,
  0x80000080, 0x80000081, 0xaaaaab00, 0xcccccd00,
  0x80000040, 0x80000041, 0xaaaaaad5, 0xcccccce6,
  0x80000020, 0x80000021, 0xaaaaaac0, 0xccccccd9,
  0x80000010, 0x80000011, 0xaaaaaab5, 0xccccccd3,
  0x80000008, 0x80000009, 0xaaaaaab0, 0xccccccd0,
  0x80000004, 0x80000005, 0xaaaaaaad, 0xccccccce,
  0x80000002, 0x80000003, 0xaaaaaaac, 0xcccccccd,
  0x80000001, 0x80000002, 0xaaaaaaab, 0xcccccccd,
  0x80000001, 0x80000002, 0xaaaaaaab, 0xcccccccd,
  0xc0000001, 0xd5555555, 0xe6666666, 0xffffc000,
  0xa0000001, 0xc0000000, 0xd9999999, 0xffffa000,
  0x90000001, 0xb5555555, 0xd3333333, 0xffff9000,
  0x88000001, 0xb0000000, 0xd0000000, 0xffff8800,
  0x84000001, 0xad555555, 0xce666666, 0xffff8400,
  0x82000001, 0xac000000, 0xcd999999, 0xffff8200,
  0x81000001, 0xab555555, 0xcd333333, 0xffff8100,
  0x80800001, 0xab000000, 0xcd000000, 0xffff8080,
  0x80400001, 0xaad55555, 0xcce66666, 0xffff8040,
  0x80200001, 0xaac00000, 0xccd99999, 0xffff8020,
  0x80100001, 0xaab55555, 0xccd33333, 0xffff8010,
  0x80080001, 0xaab00000, 0xccd00000, 0xffff8008,
  0x80040001, 0xaaad5555, 0xccce6666, 0xffff8004,
  0x80020001, 0xaaac0000, 0xcccd9999, 0xffff8002,
  0x80010001, 0xaaab5555, 0xcccd3333, 0xffff8001,
  0x80008001, 0xaaab0000, 0xcccd0000, 0xffff8001,
  0x80004001, 0xaaaad555, 0xcccce666, 0xffff8001,
  0x80002001, 0xaaaac000, 0xccccd999, 0xffff8001,
  0x80001001, 0xaaaab555, 0xccccd333, 0xffff8001,
  0x80000801, 0xaaaab000, 0xccccd000, 0xffff8001,
  0x80000401, 0xaaaaad55, 0xccccce66, 0xffff8001,
  0x80000201, 0xaaaaac00, 0xcccccd99, 0xffff8001,
  0x80000101, 0xaaaaab55, 0xcccccd33, 0xffff8001,
  0x80000081, 0xaaaaab00, 0xcccccd00, 0xffff8001,
  0x80000041, 0xaaaaaad5, 0xcccccce6, 0xffff8001,
  0x80000021, 0xaaaaaac0, 0xccccccd9, 0xffff8001,
  0x80000011, 0xaaaaaab5, 0xccccccd3, 0xffff8001,
  0x80000009, 0xaaaaaab0, 0xccccccd0, 0xffff8001,
  0x80000005, 0xaaaaaaad, 0xccccccce, 0xffff8001,
  0x80000003, 0xaaaaaaac, 0xcccccccd, 0xffff8001,
  0x80000002, 0xaaaaaaab, 0xcccccccd, 0xffff8001,
  0x80000002, 0xaaaaaaab, 0xcccccccd, 0xffff8001,
  0xd5555555, 0xe6666666, 0xffffc000, 0xffffc001,
  0xc0000000, 0xd9999999, 0xffffa000, 0xffffa001,
  0xb5555555, 0xd3333333, 0xffff9000, 0xffff9001,
  0xb0000000, 0xd0000000, 0xffff8800, 0xffff8801,
  0xad555555, 0xce666666, 0xffff8400, 0xffff8401,
  0xac000000, 0xcd999999, 0xffff8200, 0xffff8201,
  0xab555555, 0xcd333333, 0xffff8100, 0xffff8101,
  0xab000000, 0xcd000000, 0xffff8080, 0xffff8081,
  0xaad55555, 0xcce66666, 0xffff8040, 0xffff8041,
  0xaac00000, 0xccd99999, 0xffff8020, 0xffff8021,
  0xaab55555, 0xccd33333, 0xffff8010, 0xffff8011,
  0xaab00000, 0xccd00000, 0xffff8008, 0xffff8009,
  0xaaad5555, 0xccce6666, 0xffff8004, 0xffff8005,
  0xaaac0000, 0xcccd9999, 0xffff8002, 0xffff8003,
  0xaaab5555, 0xcccd3333, 0xffff8001, 0xffff8002,
  0xaaab0000, 0xcccd0000, 0xffff8001, 0xffff8002,
  0xaaaad555, 0xcccce666, 0xffff8001, 0xffff8002,
  0xaaaac000, 0xccccd999, 0xffff8001, 0xffff8002,
  0xaaaab555, 0xccccd333, 0xffff8001, 0xffff8002,
  0xaaaab000, 0xccccd000, 0xffff8001, 0xffff8002,
  0xaaaaad55, 0xccccce66, 0xffff8001, 0xffff8002,
  0xaaaaac00, 0xcccccd99, 0xffff8001, 0xffff8002,
  0xaaaaab55, 0xcccccd33, 0xffff8001, 0xffff8002,
  0xaaaaab00, 0xcccccd00, 0xffff8001, 0xffff8002,
  0xaaaaaad5, 0xcccccce6, 0xffff8001, 0xffff8002,
  0xaaaaaac0, 0xccccccd9, 0xffff8001, 0xffff8002,
  0xaaaaaab5, 0xccccccd3, 0xffff8001, 0xffff8002,
  0xaaaaaab0, 0xccccccd0, 0xffff8001, 0xffff8002,
  0xaaaaaaad, 0xccccccce, 0xffff8001, 0xffff8002,
  0xaaaaaaac, 0xcccccccd, 0xffff8001, 0xffff8002,
  0xaaaaaaab, 0xcccccccd, 0xffff8001, 0xffff8002,
  0xaaaaaaab, 0xcccccccd, 0xffff8001, 0xffff8002,
  0xe6666666, 0xffffc000, 0xffffc001, 0xffffc001,
  0xd9999999, 0xffffa000, 0xffffa001, 0xffffa002,
  0xd3333333, 0xffff9000, 0xffff9001, 0xffff9002,
  0xd0000000, 0xffff8800, 0xffff8801, 0xffff8802,
  0xce666666, 0xffff8400, 0xffff8401, 0xffff8402,
  0xcd999999, 0xffff8200, 0xffff8201, 0xffff8202,
  0xcd333333, 0xffff8100, 0xffff8101, 0xffff8102,
  0xcd000000, 0xffff8080, 0xffff8081, 0xffff8082,
  0xcce66666, 0xffff8040, 0xffff8041, 0xffff8042,
  0xccd99999, 0xffff8020, 0xffff8021, 0xffff8022,
  0xccd33333, 0xffff8010, 0xffff8011, 0xffff8012,
  0xccd00000, 0xffff8008, 0xffff8009, 0xffff800a,
  0xccce6666, 0xffff8004, 0xffff8005, 0xffff8006,
  0xcccd9999, 0xffff8002, 0xffff8003, 0xffff8004,
  0xcccd3333, 0xffff8001, 0xffff8002, 0xffff8003,
  0xcccd0000, 0xffff8001, 0xffff8002, 0xffff8003,
  0xcccce666, 0xffff8001, 0xffff8002, 0xffff8003,
  0xccccd999, 0xffff8001, 0xffff8002, 0xffff8003,
  0xccccd333, 0xffff8001, 0xffff8002, 0xffff8003,
  0xccccd000, 0xffff8001, 0xffff8002, 0xffff8003,
  0xccccce66, 0xffff8001, 0xffff8002, 0xffff8003,
  0xcccccd99, 0xffff8001, 0xffff8002, 0xffff8003,
  0xcccccd33, 0xffff8001, 0xffff8002, 0xffff8003,
  0xcccccd00, 0xffff8001, 0xffff8002, 0xffff8003,
  0xcccccce6, 0xffff8001, 0xffff8002, 0xffff8003,
  0xccccccd9, 0xffff8001, 0xffff8002, 0xffff8003,
  0xccccccd3, 0xffff8001, 0xffff8002, 0xffff8003,
  0xccccccd0, 0xffff8001, 0xffff8002, 0xffff8003,
  0xccccccce, 0xffff8001, 0xffff8002, 0xffff8003,
  0xcccccccd, 0xffff8001, 0xffff8002, 0xffff8003,
  0xcccccccd, 0xffff8001, 0xffff8002, 0xffff8003,
  0xcccccccd, 0xffff8001, 0xffff8002, 0xffff8003,
  0xffffc000, 0xffffc001, 0xffffc001, 0xffffc002,
  0xffffa000, 0xffffa001, 0xffffa002, 0xffffa003,
  0xffff9000, 0xffff9001, 0xffff9002, 0xffff9003,
  0xffff8800, 0xffff8801, 0xffff8802, 0xffff8803,
  0xffff8400, 0xffff8401, 0xffff8402, 0xffff8403,
  0xffff8200, 0xffff8201, 0xffff8202, 0xffff8203,
  0xffff8100, 0xffff8101, 0xffff8102, 0xffff8103,
  0xffff8080, 0xffff8081, 0xffff8082, 0xffff8083,
  0xffff8040, 0xffff8041, 0xffff8042, 0xffff8043,
  0xffff8020, 0xffff8021, 0xffff8022, 0xffff8023,
  0xffff8010, 0xffff8011, 0xffff8012, 0xffff8013,
  0xffff8008, 0xffff8009, 0xffff800a, 0xffff800b,
  0xffff8004, 0xffff8005, 0xffff8006, 0xffff8007,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffff8005,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffff8001, 0xffff8002, 0xffff8003, 0xffff8004,
  0xffffc001, 0xffffc001, 0xffffc002, 0xffffffc0,
  0xffffa001, 0xffffa002, 0xffffa003, 0xffffffa0,
  0xffff9001, 0xffff9002, 0xffff9003, 0xffffff90,
  0xffff8801, 0xffff8802, 0xffff8803, 0xffffff88,
  0xffff8401, 0xffff8402, 0xffff8403, 0xffffff84,
  0xffff8201, 0xffff8202, 0xffff8203, 0xffffff82,
  0xffff8101, 0xffff8102, 0xffff8103, 0xffffff81,
  0xffff8081, 0xffff8082, 0xffff8083, 0xffffff81,
  0xffff8041, 0xffff8042, 0xffff8043, 0xffffff81,
  0xffff8021, 0xffff8022, 0xffff8023, 0xffffff81,
  0xffff8011, 0xffff8012, 0xffff8013, 0xffffff81,
  0xffff8009, 0xffff800a, 0xffff800b, 0xffffff81,
  0xffff8005, 0xffff8006, 0xffff8007, 0xffffff81,
  0xffff8003, 0xffff8004, 0xffff8005, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffff8002, 0xffff8003, 0xffff8004, 0xffffff81,
  0xffffc001, 0xffffc002, 0xffffffc0, 0xffffffc1,
  0xffffa002, 0xffffa003, 0xffffffa0, 0xffffffa1,
  0xffff9002, 0xffff9003, 0xffffff90, 0xffffff91,
  0xffff8802, 0xffff8803, 0xffffff88, 0xffffff89,
  0xffff8402, 0xffff8403, 0xffffff84, 0xffffff85,
  0xffff8202, 0xffff8203, 0xffffff82, 0xffffff83,
  0xffff8102, 0xffff8103, 0xffffff81, 0xffffff82,
  0xffff8082, 0xffff8083, 0xffffff81, 0xffffff82,
  0xffff8042, 0xffff8043, 0xffffff81, 0xffffff82,
  0xffff8022, 0xffff8023, 0xffffff81, 0xffffff82,
  0xffff8012, 0xffff8013, 0xffffff81, 0xffffff82,
  0xffff800a, 0xffff800b, 0xffffff81, 0xffffff82,
  0xffff8006, 0xffff8007, 0xffffff81, 0xffffff82,
  0xffff8004, 0xffff8005, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffff8003, 0xffff8004, 0xffffff81, 0xffffff82,
  0xffffc002, 0xffffffc0, 0xffffffc1, 0xffffffc1,
  0xffffa003, 0xffffffa0, 0xffffffa1, 0xffffffa2,
  0xffff9003, 0xffffff90, 0xffffff91, 0xffffff92,
  0xffff8803, 0xffffff88, 0xffffff89, 0xffffff8a,
  0xffff8403, 0xffffff84, 0xffffff85, 0xffffff86,
  0xffff8203, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffff8103, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8083, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8043, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8023, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8013, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff800b, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8007, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8005, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffff8004, 0xffffff81, 0xffffff82, 0xffffff83,
  0xffffffc0, 0xffffffc1, 0xffffffc1, 0xffffffc2,
  0xffffffa0, 0xffffffa1, 0xffffffa2, 0xffffffa3,
  0xffffff90, 0xffffff91, 0xffffff92, 0xffffff93,
  0xffffff88, 0xffffff89, 0xffffff8a, 0xffffff8b,
  0xffffff84, 0xffffff85, 0xffffff86, 0xffffff87,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffff85,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffff81, 0xffffff82, 0xffffff83, 0xffffff84,
  0xffffffc1, 0xffffffc1, 0xffffffc2, 0xfffffff0,
  0xffffffa1, 0xffffffa2, 0xffffffa3, 0xffffffe8,
  0xffffff91, 0xffffff92, 0xffffff93, 0xffffffe4,
  0xffffff89, 0xffffff8a, 0xffffff8b, 0xffffffe2,
  0xffffff85, 0xffffff86, 0xffffff87, 0xffffffe1,
  0xffffff83, 0xffffff84, 0xffffff85, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffff82, 0xffffff83, 0xffffff84, 0xffffffe1,
  0xffffffc1, 0xffffffc2, 0xfffffff0, 0xffffffff,
  0xffffffa2, 0xffffffa3, 0xffffffe8, 0xfffffffe,
  0xffffff92, 0xffffff93, 0xffffffe4, 0xfffffffe,
  0xffffff8a, 0xffffff8b, 0xffffffe2, 0xfffffffe,
  0xffffff86, 0xffffff87, 0xffffffe1, 0xfffffffe,
  0xffffff84, 0xffffff85, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffff83, 0xffffff84, 0xffffffe1, 0xfffffffe,
  0xffffffc2, 0xfffffff0, 0xffffffff, 0xffffffff,
  0xffffffa3, 0xffffffe8, 0xfffffffe, 0xffffffff,
  0xffffff93, 0xffffffe4, 0xfffffffe, 0xffffffff,
  0xffffff8b, 0xffffffe2, 0xfffffffe, 0xffffffff,
  0xffffff87, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff85, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xffffff84, 0xffffffe1, 0xfffffffe, 0xffffffff,
  0xfffffff0, 0xffffffff, 0xffffffff, 0x00000000,
  0xffffffe8, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe4, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe2, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
  0xffffffe1, 0xfffffffe, 0xffffffff, 0x00000000,
};
const unsigned kExpectedCount_NEON_srsra_4S_2OPIMM = 992;

#endif  // VIXL_SIM_SRSRA_4S_2OPIMM_TRACE_A64_H_