// 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_ADDP_4S_TRACE_AARCH64_H_
#define VIXL_SIM_ADDP_4S_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_addp_4S[] = {
  0x0000fd00, 0x007ffd00, 0x0000fd00, 0x007ffd00,
  0x0000fd00, 0x007ffd00, 0x00807c00, 0x00000001,
  0x0000fd00, 0x007ffd00, 0x007ffd00, 0x00000003,
  0x0000fd00, 0x007ffd00, 0x00000001, 0x00000022,
  0x0000fd00, 0x007ffd00, 0x00000003, 0x0000009d,
  0x0000fd00, 0x007ffd00, 0x00000022, 0x000000fb,
  0x0000fd00, 0x007ffd00, 0x0000009d, 0x000000fd,
  0x0000fd00, 0x007ffd00, 0x000000fb, 0x0000807c,
  0x0000fd00, 0x007ffd00, 0x000000fd, 0x0000fffb,
  0x0000fd00, 0x007ffd00, 0x0000807c, 0x0000fffd,
  0x0000fd00, 0x007ffd00, 0x0000fffb, 0x3333b332,
  0x0000fd00, 0x007ffd00, 0x0000fffd, 0x88888888,
  0x0000fd00, 0x007ffd00, 0x3333b332, 0xd5555552,
  0x0000fd00, 0x007ffd00, 0x88888888, 0xfffffffb,
  0x0000fd00, 0x007ffd00, 0xd5555552, 0xfffffffd,
  0x0000fd00, 0x007ffd00, 0xfffffffb, 0xffffffff,
  0x0000fd00, 0x007ffd00, 0xfffffffd, 0x00000001,
  0x0000fd00, 0x007ffd00, 0xffffffff, 0x2aaaaaab,
  0x0000fd00, 0x007ffd00, 0x00000001, 0x77777776,
  0x0000fd00, 0x007ffd00, 0x2aaaaaab, 0xcccc4ccc,
  0x0000fd00, 0x007ffd00, 0x77777776, 0xffff0001,
  0x0000fd00, 0x007ffd00, 0xcccc4ccc, 0xffff0003,
  0x0000fd00, 0x007ffd00, 0xffff0001, 0xffff0005,
  0x0000fd00, 0x007ffd00, 0xffff0003, 0xffff7f83,
  0x0000fd00, 0x007ffd00, 0xffff0005, 0xffffff01,
  0x0000fd00, 0x007ffd00, 0xffff7f83, 0xffffff03,
  0x0000fd00, 0x007ffd00, 0xffffff01, 0xffffff05,
  0x0000fd00, 0x007ffd00, 0xffffff03, 0xffffff63,
  0x0000fd00, 0x007ffd00, 0xffffff05, 0xffffffdd,
  0x0000fd00, 0x007ffd00, 0xffffff63, 0xfffffffb,
  0x0000fd00, 0x007ffd00, 0xffffffdd, 0xfffffffd,
  0x00807c00, 0x00000001, 0xfffffffb, 0xffffffff,
  0x00807c00, 0x00000001, 0xfffffffd, 0x00000001,
  0x00807c00, 0x00000001, 0xffffffff, 0x00000003,
  0x00807c00, 0x00000001, 0x00000001, 0x00000022,
  0x00807c00, 0x00000001, 0x00000003, 0x0000009d,
  0x00807c00, 0x00000001, 0x00000022, 0x000000fb,
  0x00807c00, 0x00000001, 0x0000009d, 0x000000fd,
  0x00807c00, 0x00000001, 0x000000fb, 0x0000807c,
  0x00807c00, 0x00000001, 0x000000fd, 0x0000fffb,
  0x00807c00, 0x00000001, 0x0000807c, 0x0000fffd,
  0x00807c00, 0x00000001, 0x0000fffb, 0x3333b332,
  0x00807c00, 0x00000001, 0x0000fffd, 0x88888888,
  0x00807c00, 0x00000001, 0x3333b332, 0xd5555552,
  0x00807c00, 0x00000001, 0x88888888, 0xfffffffb,
  0x00807c00, 0x00000001, 0xd5555552, 0xfffffffd,
  0x00807c00, 0x00000001, 0xfffffffb, 0xffffffff,
  0x00807c00, 0x00000001, 0xfffffffd, 0x00000001,
  0x00807c00, 0x00000001, 0xffffffff, 0x2aaaaaab,
  0x00807c00, 0x00000001, 0x00000001, 0x77777776,
  0x00807c00, 0x00000001, 0x2aaaaaab, 0xcccc4ccc,
  0x00807c00, 0x00000001, 0x77777776, 0xffff0001,
  0x00807c00, 0x00000001, 0xcccc4ccc, 0xffff0003,
  0x00807c00, 0x00000001, 0xffff0001, 0xffff0005,
  0x00807c00, 0x00000001, 0xffff0003, 0xffff7f83,
  0x00807c00, 0x00000001, 0xffff0005, 0xffffff01,
  0x00807c00, 0x00000001, 0xffff7f83, 0xffffff03,
  0x00807c00, 0x00000001, 0xffffff01, 0xffffff05,
  0x00807c00, 0x00000001, 0xffffff03, 0xffffff63,
  0x00807c00, 0x00000001, 0xffffff05, 0xffffffdd,
  0x00807c00, 0x00000001, 0xffffff63, 0xfffffffb,
  0x00807c00, 0x00000001, 0xffffffdd, 0xfffffffd,
  0x007ffd00, 0x00000003, 0xfffffffb, 0xffffffff,
  0x007ffd00, 0x00000003, 0xfffffffd, 0x00000001,
  0x007ffd00, 0x00000003, 0xffffffff, 0x00000003,
  0x007ffd00, 0x00000003, 0x00000001, 0x00000022,
  0x007ffd00, 0x00000003, 0x00000003, 0x0000009d,
  0x007ffd00, 0x00000003, 0x00000022, 0x000000fb,
  0x007ffd00, 0x00000003, 0x0000009d, 0x000000fd,
  0x007ffd00, 0x00000003, 0x000000fb, 0x0000807c,
  0x007ffd00, 0x00000003, 0x000000fd, 0x0000fffb,
  0x007ffd00, 0x00000003, 0x0000807c, 0x0000fffd,
  0x007ffd00, 0x00000003, 0x0000fffb, 0x3333b332,
  0x007ffd00, 0x00000003, 0x0000fffd, 0x88888888,
  0x007ffd00, 0x00000003, 0x3333b332, 0xd5555552,
  0x007ffd00, 0x00000003, 0x88888888, 0xfffffffb,
  0x007ffd00, 0x00000003, 0xd5555552, 0xfffffffd,
  0x007ffd00, 0x00000003, 0xfffffffb, 0xffffffff,
  0x007ffd00, 0x00000003, 0xfffffffd, 0x00000001,
  0x007ffd00, 0x00000003, 0xffffffff, 0x2aaaaaab,
  0x007ffd00, 0x00000003, 0x00000001, 0x77777776,
  0x007ffd00, 0x00000003, 0x2aaaaaab, 0xcccc4ccc,
  0x007ffd00, 0x00000003, 0x77777776, 0xffff0001,
  0x007ffd00, 0x00000003, 0xcccc4ccc, 0xffff0003,
  0x007ffd00, 0x00000003, 0xffff0001, 0xffff0005,
  0x007ffd00, 0x00000003, 0xffff0003, 0xffff7f83,
  0x007ffd00, 0x00000003, 0xffff0005, 0xffffff01,
  0x007ffd00, 0x00000003, 0xffff7f83, 0xffffff03,
  0x007ffd00, 0x00000003, 0xffffff01, 0xffffff05,
  0x007ffd00, 0x00000003, 0xffffff03, 0xffffff63,
  0x007ffd00, 0x00000003, 0xffffff05, 0xffffffdd,
  0x007ffd00, 0x00000003, 0xffffff63, 0xfffffffb,
  0x007ffd00, 0x00000003, 0xffffffdd, 0xfffffffd,
  0x00000001, 0x00000022, 0xfffffffb, 0xffffffff,
  0x00000001, 0x00000022, 0xfffffffd, 0x00000001,
  0x00000001, 0x00000022, 0xffffffff, 0x00000003,
  0x00000001, 0x00000022, 0x00000001, 0x00000022,
  0x00000001, 0x00000022, 0x00000003, 0x0000009d,
  0x00000001, 0x00000022, 0x00000022, 0x000000fb,
  0x00000001, 0x00000022, 0x0000009d, 0x000000fd,
  0x00000001, 0x00000022, 0x000000fb, 0x0000807c,
  0x00000001, 0x00000022, 0x000000fd, 0x0000fffb,
  0x00000001, 0x00000022, 0x0000807c, 0x0000fffd,
  0x00000001, 0x00000022, 0x0000fffb, 0x3333b332,
  0x00000001, 0x00000022, 0x0000fffd, 0x88888888,
  0x00000001, 0x00000022, 0x3333b332, 0xd5555552,
  0x00000001, 0x00000022, 0x88888888, 0xfffffffb,
  0x00000001, 0x00000022, 0xd5555552, 0xfffffffd,
  0x00000001, 0x00000022, 0xfffffffb, 0xffffffff,
  0x00000001, 0x00000022, 0xfffffffd, 0x00000001,
  0x00000001, 0x00000022, 0xffffffff, 0x2aaaaaab,
  0x00000001, 0x00000022, 0x00000001, 0x77777776,
  0x00000001, 0x00000022, 0x2aaaaaab, 0xcccc4ccc,
  0x00000001, 0x00000022, 0x77777776, 0xffff0001,
  0x00000001, 0x00000022, 0xcccc4ccc, 0xffff0003,
  0x00000001, 0x00000022, 0xffff0001, 0xffff0005,
  0x00000001, 0x00000022, 0xffff0003, 0xffff7f83,
  0x00000001, 0x00000022, 0xffff0005, 0xffffff01,
  0x00000001, 0x00000022, 0xffff7f83, 0xffffff03,
  0x00000001, 0x00000022, 0xffffff01, 0xffffff05,
  0x00000001, 0x00000022, 0xffffff03, 0xffffff63,
  0x00000001, 0x00000022, 0xffffff05, 0xffffffdd,
  0x00000001, 0x00000022, 0xffffff63, 0xfffffffb,
  0x00000001, 0x00000022, 0xffffffdd, 0xfffffffd,
  0x00000003, 0x0000009d, 0xfffffffb, 0xffffffff,
  0x00000003, 0x0000009d, 0xfffffffd, 0x00000001,
  0x00000003, 0x0000009d, 0xffffffff, 0x00000003,
  0x00000003, 0x0000009d, 0x00000001, 0x00000022,
  0x00000003, 0x0000009d, 0x00000003, 0x0000009d,
  0x00000003, 0x0000009d, 0x00000022, 0x000000fb,
  0x00000003, 0x0000009d, 0x0000009d, 0x000000fd,
  0x00000003, 0x0000009d, 0x000000fb, 0x0000807c,
  0x00000003, 0x0000009d, 0x000000fd, 0x0000fffb,
  0x00000003, 0x0000009d, 0x0000807c, 0x0000fffd,
  0x00000003, 0x0000009d, 0x0000fffb, 0x3333b332,
  0x00000003, 0x0000009d, 0x0000fffd, 0x88888888,
  0x00000003, 0x0000009d, 0x3333b332, 0xd5555552,
  0x00000003, 0x0000009d, 0x88888888, 0xfffffffb,
  0x00000003, 0x0000009d, 0xd5555552, 0xfffffffd,
  0x00000003, 0x0000009d, 0xfffffffb, 0xffffffff,
  0x00000003, 0x0000009d, 0xfffffffd, 0x00000001,
  0x00000003, 0x0000009d, 0xffffffff, 0x2aaaaaab,
  0x00000003, 0x0000009d, 0x00000001, 0x77777776,
  0x00000003, 0x0000009d, 0x2aaaaaab, 0xcccc4ccc,
  0x00000003, 0x0000009d, 0x77777776, 0xffff0001,
  0x00000003, 0x0000009d, 0xcccc4ccc, 0xffff0003,
  0x00000003, 0x0000009d, 0xffff0001, 0xffff0005,
  0x00000003, 0x0000009d, 0xffff0003, 0xffff7f83,
  0x00000003, 0x0000009d, 0xffff0005, 0xffffff01,
  0x00000003, 0x0000009d, 0xffff7f83, 0xffffff03,
  0x00000003, 0x0000009d, 0xffffff01, 0xffffff05,
  0x00000003, 0x0000009d, 0xffffff03, 0xffffff63,
  0x00000003, 0x0000009d, 0xffffff05, 0xffffffdd,
  0x00000003, 0x0000009d, 0xffffff63, 0xfffffffb,
  0x00000003, 0x0000009d, 0xffffffdd, 0xfffffffd,
  0x00000022, 0x000000fb, 0xfffffffb, 0xffffffff,
  0x00000022, 0x000000fb, 0xfffffffd, 0x00000001,
  0x00000022, 0x000000fb, 0xffffffff, 0x00000003,
  0x00000022, 0x000000fb, 0x00000001, 0x00000022,
  0x00000022, 0x000000fb, 0x00000003, 0x0000009d,
  0x00000022, 0x000000fb, 0x00000022, 0x000000fb,
  0x00000022, 0x000000fb, 0x0000009d, 0x000000fd,
  0x00000022, 0x000000fb, 0x000000fb, 0x0000807c,
  0x00000022, 0x000000fb, 0x000000fd, 0x0000fffb,
  0x00000022, 0x000000fb, 0x0000807c, 0x0000fffd,
  0x00000022, 0x000000fb, 0x0000fffb, 0x3333b332,
  0x00000022, 0x000000fb, 0x0000fffd, 0x88888888,
  0x00000022, 0x000000fb, 0x3333b332, 0xd5555552,
  0x00000022, 0x000000fb, 0x88888888, 0xfffffffb,
  0x00000022, 0x000000fb, 0xd5555552, 0xfffffffd,
  0x00000022, 0x000000fb, 0xfffffffb, 0xffffffff,
  0x00000022, 0x000000fb, 0xfffffffd, 0x00000001,
  0x00000022, 0x000000fb, 0xffffffff, 0x2aaaaaab,
  0x00000022, 0x000000fb, 0x00000001, 0x77777776,
  0x00000022, 0x000000fb, 0x2aaaaaab, 0xcccc4ccc,
  0x00000022, 0x000000fb, 0x77777776, 0xffff0001,
  0x00000022, 0x000000fb, 0xcccc4ccc, 0xffff0003,
  0x00000022, 0x000000fb, 0xffff0001, 0xffff0005,
  0x00000022, 0x000000fb, 0xffff0003, 0xffff7f83,
  0x00000022, 0x000000fb, 0xffff0005, 0xffffff01,
  0x00000022, 0x000000fb, 0xffff7f83, 0xffffff03,
  0x00000022, 0x000000fb, 0xffffff01, 0xffffff05,
  0x00000022, 0x000000fb, 0xffffff03, 0xffffff63,
  0x00000022, 0x000000fb, 0xffffff05, 0xffffffdd,
  0x00000022, 0x000000fb, 0xffffff63, 0xfffffffb,
  0x00000022, 0x000000fb, 0xffffffdd, 0xfffffffd,
  0x0000009d, 0x000000fd, 0xfffffffb, 0xffffffff,
  0x0000009d, 0x000000fd, 0xfffffffd, 0x00000001,
  0x0000009d, 0x000000fd, 0xffffffff, 0x00000003,
  0x0000009d, 0x000000fd, 0x00000001, 0x00000022,
  0x0000009d, 0x000000fd, 0x00000003, 0x0000009d,
  0x0000009d, 0x000000fd, 0x00000022, 0x000000fb,
  0x0000009d, 0x000000fd, 0x0000009d, 0x000000fd,
  0x0000009d, 0x000000fd, 0x000000fb, 0x0000807c,
  0x0000009d, 0x000000fd, 0x000000fd, 0x0000fffb,
  0x0000009d, 0x000000fd, 0x0000807c, 0x0000fffd,
  0x0000009d, 0x000000fd, 0x0000fffb, 0x3333b332,
  0x0000009d, 0x000000fd, 0x0000fffd, 0x88888888,
  0x0000009d, 0x000000fd, 0x3333b332, 0xd5555552,
  0x0000009d, 0x000000fd, 0x88888888, 0xfffffffb,
  0x0000009d, 0x000000fd, 0xd5555552, 0xfffffffd,
  0x0000009d, 0x000000fd, 0xfffffffb, 0xffffffff,
  0x0000009d, 0x000000fd, 0xfffffffd, 0x00000001,
  0x0000009d, 0x000000fd, 0xffffffff, 0x2aaaaaab,
  0x0000009d, 0x000000fd, 0x00000001, 0x77777776,
  0x0000009d, 0x000000fd, 0x2aaaaaab, 0xcccc4ccc,
  0x0000009d, 0x000000fd, 0x77777776, 0xffff0001,
  0x0000009d, 0x000000fd, 0xcccc4ccc, 0xffff0003,
  0x0000009d, 0x000000fd, 0xffff0001, 0xffff0005,
  0x0000009d, 0x000000fd, 0xffff0003, 0xffff7f83,
  0x0000009d, 0x000000fd, 0xffff0005, 0xffffff01,
  0x0000009d, 0x000000fd, 0xffff7f83, 0xffffff03,
  0x0000009d, 0x000000fd, 0xffffff01, 0xffffff05,
  0x0000009d, 0x000000fd, 0xffffff03, 0xffffff63,
  0x0000009d, 0x000000fd, 0xffffff05, 0xffffffdd,
  0x0000009d, 0x000000fd, 0xffffff63, 0xfffffffb,
  0x0000009d, 0x000000fd, 0xffffffdd, 0xfffffffd,
  0x000000fb, 0x0000807c, 0xfffffffb, 0xffffffff,
  0x000000fb, 0x0000807c, 0xfffffffd, 0x00000001,
  0x000000fb, 0x0000807c, 0xffffffff, 0x00000003,
  0x000000fb, 0x0000807c, 0x00000001, 0x00000022,
  0x000000fb, 0x0000807c, 0x00000003, 0x0000009d,
  0x000000fb, 0x0000807c, 0x00000022, 0x000000fb,
  0x000000fb, 0x0000807c, 0x0000009d, 0x000000fd,
  0x000000fb, 0x0000807c, 0x000000fb, 0x0000807c,
  0x000000fb, 0x0000807c, 0x000000fd, 0x0000fffb,
  0x000000fb, 0x0000807c, 0x0000807c, 0x0000fffd,
  0x000000fb, 0x0000807c, 0x0000fffb, 0x3333b332,
  0x000000fb, 0x0000807c, 0x0000fffd, 0x88888888,
  0x000000fb, 0x0000807c, 0x3333b332, 0xd5555552,
  0x000000fb, 0x0000807c, 0x88888888, 0xfffffffb,
  0x000000fb, 0x0000807c, 0xd5555552, 0xfffffffd,
  0x000000fb, 0x0000807c, 0xfffffffb, 0xffffffff,
  0x000000fb, 0x0000807c, 0xfffffffd, 0x00000001,
  0x000000fb, 0x0000807c, 0xffffffff, 0x2aaaaaab,
  0x000000fb, 0x0000807c, 0x00000001, 0x77777776,
  0x000000fb, 0x0000807c, 0x2aaaaaab, 0xcccc4ccc,
  0x000000fb, 0x0000807c, 0x77777776, 0xffff0001,
  0x000000fb, 0x0000807c, 0xcccc4ccc, 0xffff0003,
  0x000000fb, 0x0000807c, 0xffff0001, 0xffff0005,
  0x000000fb, 0x0000807c, 0xffff0003, 0xffff7f83,
  0x000000fb, 0x0000807c, 0xffff0005, 0xffffff01,
  0x000000fb, 0x0000807c, 0xffff7f83, 0xffffff03,
  0x000000fb, 0x0000807c, 0xffffff01, 0xffffff05,
  0x000000fb, 0x0000807c, 0xffffff03, 0xffffff63,
  0x000000fb, 0x0000807c, 0xffffff05, 0xffffffdd,
  0x000000fb, 0x0000807c, 0xffffff63, 0xfffffffb,
  0x000000fb, 0x0000807c, 0xffffffdd, 0xfffffffd,
  0x000000fd, 0x0000fffb, 0xfffffffb, 0xffffffff,
  0x000000fd, 0x0000fffb, 0xfffffffd, 0x00000001,
  0x000000fd, 0x0000fffb, 0xffffffff, 0x00000003,
  0x000000fd, 0x0000fffb, 0x00000001, 0x00000022,
  0x000000fd, 0x0000fffb, 0x00000003, 0x0000009d,
  0x000000fd, 0x0000fffb, 0x00000022, 0x000000fb,
  0x000000fd, 0x0000fffb, 0x0000009d, 0x000000fd,
  0x000000fd, 0x0000fffb, 0x000000fb, 0x0000807c,
  0x000000fd, 0x0000fffb, 0x000000fd, 0x0000fffb,
  0x000000fd, 0x0000fffb, 0x0000807c, 0x0000fffd,
  0x000000fd, 0x0000fffb, 0x0000fffb, 0x3333b332,
  0x000000fd, 0x0000fffb, 0x0000fffd, 0x88888888,
  0x000000fd, 0x0000fffb, 0x3333b332, 0xd5555552,
  0x000000fd, 0x0000fffb, 0x88888888, 0xfffffffb,
  0x000000fd, 0x0000fffb, 0xd5555552, 0xfffffffd,
  0x000000fd, 0x0000fffb, 0xfffffffb, 0xffffffff,
  0x000000fd, 0x0000fffb, 0xfffffffd, 0x00000001,
  0x000000fd, 0x0000fffb, 0xffffffff, 0x2aaaaaab,
  0x000000fd, 0x0000fffb, 0x00000001, 0x77777776,
  0x000000fd, 0x0000fffb, 0x2aaaaaab, 0xcccc4ccc,
  0x000000fd, 0x0000fffb, 0x77777776, 0xffff0001,
  0x000000fd, 0x0000fffb, 0xcccc4ccc, 0xffff0003,
  0x000000fd, 0x0000fffb, 0xffff0001, 0xffff0005,
  0x000000fd, 0x0000fffb, 0xffff0003, 0xffff7f83,
  0x000000fd, 0x0000fffb, 0xffff0005, 0xffffff01,
  0x000000fd, 0x0000fffb, 0xffff7f83, 0xffffff03,
  0x000000fd, 0x0000fffb, 0xffffff01, 0xffffff05,
  0x000000fd, 0x0000fffb, 0xffffff03, 0xffffff63,
  0x000000fd, 0x0000fffb, 0xffffff05, 0xffffffdd,
  0x000000fd, 0x0000fffb, 0xffffff63, 0xfffffffb,
  0x000000fd, 0x0000fffb, 0xffffffdd, 0xfffffffd,
  0x0000807c, 0x0000fffd, 0xfffffffb, 0xffffffff,
  0x0000807c, 0x0000fffd, 0xfffffffd, 0x00000001,
  0x0000807c, 0x0000fffd, 0xffffffff, 0x00000003,
  0x0000807c, 0x0000fffd, 0x00000001, 0x00000022,
  0x0000807c, 0x0000fffd, 0x00000003, 0x0000009d,
  0x0000807c, 0x0000fffd, 0x00000022, 0x000000fb,
  0x0000807c, 0x0000fffd, 0x0000009d, 0x000000fd,
  0x0000807c, 0x0000fffd, 0x000000fb, 0x0000807c,
  0x0000807c, 0x0000fffd, 0x000000fd, 0x0000fffb,
  0x0000807c, 0x0000fffd, 0x0000807c, 0x0000fffd,
  0x0000807c, 0x0000fffd, 0x0000fffb, 0x3333b332,
  0x0000807c, 0x0000fffd, 0x0000fffd, 0x88888888,
  0x0000807c, 0x0000fffd, 0x3333b332, 0xd5555552,
  0x0000807c, 0x0000fffd, 0x88888888, 0xfffffffb,
  0x0000807c, 0x0000fffd, 0xd5555552, 0xfffffffd,
  0x0000807c, 0x0000fffd, 0xfffffffb, 0xffffffff,
  0x0000807c, 0x0000fffd, 0xfffffffd, 0x00000001,
  0x0000807c, 0x0000fffd, 0xffffffff, 0x2aaaaaab,
  0x0000807c, 0x0000fffd, 0x00000001, 0x77777776,
  0x0000807c, 0x0000fffd, 0x2aaaaaab, 0xcccc4ccc,
  0x0000807c, 0x0000fffd, 0x77777776, 0xffff0001,
  0x0000807c, 0x0000fffd, 0xcccc4ccc, 0xffff0003,
  0x0000807c, 0x0000fffd, 0xffff0001, 0xffff0005,
  0x0000807c, 0x0000fffd, 0xffff0003, 0xffff7f83,
  0x0000807c, 0x0000fffd, 0xffff0005, 0xffffff01,
  0x0000807c, 0x0000fffd, 0xffff7f83, 0xffffff03,
  0x0000807c, 0x0000fffd, 0xffffff01, 0xffffff05,
  0x0000807c, 0x0000fffd, 0xffffff03, 0xffffff63,
  0x0000807c, 0x0000fffd, 0xffffff05, 0xffffffdd,
  0x0000807c, 0x0000fffd, 0xffffff63, 0xfffffffb,
  0x0000807c, 0x0000fffd, 0xffffffdd, 0xfffffffd,
  0x0000fffb, 0x3333b332, 0xfffffffb, 0xffffffff,
  0x0000fffb, 0x3333b332, 0xfffffffd, 0x00000001,
  0x0000fffb, 0x3333b332, 0xffffffff, 0x00000003,
  0x0000fffb, 0x3333b332, 0x00000001, 0x00000022,
  0x0000fffb, 0x3333b332, 0x00000003, 0x0000009d,
  0x0000fffb, 0x3333b332, 0x00000022, 0x000000fb,
  0x0000fffb, 0x3333b332, 0x0000009d, 0x000000fd,
  0x0000fffb, 0x3333b332, 0x000000fb, 0x0000807c,
  0x0000fffb, 0x3333b332, 0x000000fd, 0x0000fffb,
  0x0000fffb, 0x3333b332, 0x0000807c, 0x0000fffd,
  0x0000fffb, 0x3333b332, 0x0000fffb, 0x3333b332,
  0x0000fffb, 0x3333b332, 0x0000fffd, 0x88888888,
  0x0000fffb, 0x3333b332, 0x3333b332, 0xd5555552,
  0x0000fffb, 0x3333b332, 0x88888888, 0xfffffffb,
  0x0000fffb, 0x3333b332, 0xd5555552, 0xfffffffd,
  0x0000fffb, 0x3333b332, 0xfffffffb, 0xffffffff,
  0x0000fffb, 0x3333b332, 0xfffffffd, 0x00000001,
  0x0000fffb, 0x3333b332, 0xffffffff, 0x2aaaaaab,
  0x0000fffb, 0x3333b332, 0x00000001, 0x77777776,
  0x0000fffb, 0x3333b332, 0x2aaaaaab, 0xcccc4ccc,
  0x0000fffb, 0x3333b332, 0x77777776, 0xffff0001,
  0x0000fffb, 0x3333b332, 0xcccc4ccc, 0xffff0003,
  0x0000fffb, 0x3333b332, 0xffff0001, 0xffff0005,
  0x0000fffb, 0x3333b332, 0xffff0003, 0xffff7f83,
  0x0000fffb, 0x3333b332, 0xffff0005, 0xffffff01,
  0x0000fffb, 0x3333b332, 0xffff7f83, 0xffffff03,
  0x0000fffb, 0x3333b332, 0xffffff01, 0xffffff05,
  0x0000fffb, 0x3333b332, 0xffffff03, 0xffffff63,
  0x0000fffb, 0x3333b332, 0xffffff05, 0xffffffdd,
  0x0000fffb, 0x3333b332, 0xffffff63, 0xfffffffb,
  0x0000fffb, 0x3333b332, 0xffffffdd, 0xfffffffd,
  0x0000fffd, 0x88888888, 0xfffffffb, 0xffffffff,
  0x0000fffd, 0x88888888, 0xfffffffd, 0x00000001,
  0x0000fffd, 0x88888888, 0xffffffff, 0x00000003,
  0x0000fffd, 0x88888888, 0x00000001, 0x00000022,
  0x0000fffd, 0x88888888, 0x00000003, 0x0000009d,
  0x0000fffd, 0x88888888, 0x00000022, 0x000000fb,
  0x0000fffd, 0x88888888, 0x0000009d, 0x000000fd,
  0x0000fffd, 0x88888888, 0x000000fb, 0x0000807c,
  0x0000fffd, 0x88888888, 0x000000fd, 0x0000fffb,
  0x0000fffd, 0x88888888, 0x0000807c, 0x0000fffd,
  0x0000fffd, 0x88888888, 0x0000fffb, 0x3333b332,
  0x0000fffd, 0x88888888, 0x0000fffd, 0x88888888,
  0x0000fffd, 0x88888888, 0x3333b332, 0xd5555552,
  0x0000fffd, 0x88888888, 0x88888888, 0xfffffffb,
  0x0000fffd, 0x88888888, 0xd5555552, 0xfffffffd,
  0x0000fffd, 0x88888888, 0xfffffffb, 0xffffffff,
  0x0000fffd, 0x88888888, 0xfffffffd, 0x00000001,
  0x0000fffd, 0x88888888, 0xffffffff, 0x2aaaaaab,
  0x0000fffd, 0x88888888, 0x00000001, 0x77777776,
  0x0000fffd, 0x88888888, 0x2aaaaaab, 0xcccc4ccc,
  0x0000fffd, 0x88888888, 0x77777776, 0xffff0001,
  0x0000fffd, 0x88888888, 0xcccc4ccc, 0xffff0003,
  0x0000fffd, 0x88888888, 0xffff0001, 0xffff0005,
  0x0000fffd, 0x88888888, 0xffff0003, 0xffff7f83,
  0x0000fffd, 0x88888888, 0xffff0005, 0xffffff01,
  0x0000fffd, 0x88888888, 0xffff7f83, 0xffffff03,
  0x0000fffd, 0x88888888, 0xffffff01, 0xffffff05,
  0x0000fffd, 0x88888888, 0xffffff03, 0xffffff63,
  0x0000fffd, 0x88888888, 0xffffff05, 0xffffffdd,
  0x0000fffd, 0x88888888, 0xffffff63, 0xfffffffb,
  0x0000fffd, 0x88888888, 0xffffffdd, 0xfffffffd,
  0x3333b332, 0xd5555552, 0xfffffffb, 0xffffffff,
  0x3333b332, 0xd5555552, 0xfffffffd, 0x00000001,
  0x3333b332, 0xd5555552, 0xffffffff, 0x00000003,
  0x3333b332, 0xd5555552, 0x00000001, 0x00000022,
  0x3333b332, 0xd5555552, 0x00000003, 0x0000009d,
  0x3333b332, 0xd5555552, 0x00000022, 0x000000fb,
  0x3333b332, 0xd5555552, 0x0000009d, 0x000000fd,
  0x3333b332, 0xd5555552, 0x000000fb, 0x0000807c,
  0x3333b332, 0xd5555552, 0x000000fd, 0x0000fffb,
  0x3333b332, 0xd5555552, 0x0000807c, 0x0000fffd,
  0x3333b332, 0xd5555552, 0x0000fffb, 0x3333b332,
  0x3333b332, 0xd5555552, 0x0000fffd, 0x88888888,
  0x3333b332, 0xd5555552, 0x3333b332, 0xd5555552,
  0x3333b332, 0xd5555552, 0x88888888, 0xfffffffb,
  0x3333b332, 0xd5555552, 0xd5555552, 0xfffffffd,
  0x3333b332, 0xd5555552, 0xfffffffb, 0xffffffff,
  0x3333b332, 0xd5555552, 0xfffffffd, 0x00000001,
  0x3333b332, 0xd5555552, 0xffffffff, 0x2aaaaaab,
  0x3333b332, 0xd5555552, 0x00000001, 0x77777776,
  0x3333b332, 0xd5555552, 0x2aaaaaab, 0xcccc4ccc,
  0x3333b332, 0xd5555552, 0x77777776, 0xffff0001,
  0x3333b332, 0xd5555552, 0xcccc4ccc, 0xffff0003,
  0x3333b332, 0xd5555552, 0xffff0001, 0xffff0005,
  0x3333b332, 0xd5555552, 0xffff0003, 0xffff7f83,
  0x3333b332, 0xd5555552, 0xffff0005, 0xffffff01,
  0x3333b332, 0xd5555552, 0xffff7f83, 0xffffff03,
  0x3333b332, 0xd5555552, 0xffffff01, 0xffffff05,
  0x3333b332, 0xd5555552, 0xffffff03, 0xffffff63,
  0x3333b332, 0xd5555552, 0xffffff05, 0xffffffdd,
  0x3333b332, 0xd5555552, 0xffffff63, 0xfffffffb,
  0x3333b332, 0xd5555552, 0xffffffdd, 0xfffffffd,
  0x88888888, 0xfffffffb, 0xfffffffb, 0xffffffff,
  0x88888888, 0xfffffffb, 0xfffffffd, 0x00000001,
  0x88888888, 0xfffffffb, 0xffffffff, 0x00000003,
  0x88888888, 0xfffffffb, 0x00000001, 0x00000022,
  0x88888888, 0xfffffffb, 0x00000003, 0x0000009d,
  0x88888888, 0xfffffffb, 0x00000022, 0x000000fb,
  0x88888888, 0xfffffffb, 0x0000009d, 0x000000fd,
  0x88888888, 0xfffffffb, 0x000000fb, 0x0000807c,
  0x88888888, 0xfffffffb, 0x000000fd, 0x0000fffb,
  0x88888888, 0xfffffffb, 0x0000807c, 0x0000fffd,
  0x88888888, 0xfffffffb, 0x0000fffb, 0x3333b332,
  0x88888888, 0xfffffffb, 0x0000fffd, 0x88888888,
  0x88888888, 0xfffffffb, 0x3333b332, 0xd5555552,
  0x88888888, 0xfffffffb, 0x88888888, 0xfffffffb,
  0x88888888, 0xfffffffb, 0xd5555552, 0xfffffffd,
  0x88888888, 0xfffffffb, 0xfffffffb, 0xffffffff,
  0x88888888, 0xfffffffb, 0xfffffffd, 0x00000001,
  0x88888888, 0xfffffffb, 0xffffffff, 0x2aaaaaab,
  0x88888888, 0xfffffffb, 0x00000001, 0x77777776,
  0x88888888, 0xfffffffb, 0x2aaaaaab, 0xcccc4ccc,
  0x88888888, 0xfffffffb, 0x77777776, 0xffff0001,
  0x88888888, 0xfffffffb, 0xcccc4ccc, 0xffff0003,
  0x88888888, 0xfffffffb, 0xffff0001, 0xffff0005,
  0x88888888, 0xfffffffb, 0xffff0003, 0xffff7f83,
  0x88888888, 0xfffffffb, 0xffff0005, 0xffffff01,
  0x88888888, 0xfffffffb, 0xffff7f83, 0xffffff03,
  0x88888888, 0xfffffffb, 0xffffff01, 0xffffff05,
  0x88888888, 0xfffffffb, 0xffffff03, 0xffffff63,
  0x88888888, 0xfffffffb, 0xffffff05, 0xffffffdd,
  0x88888888, 0xfffffffb, 0xffffff63, 0xfffffffb,
  0x88888888, 0xfffffffb, 0xffffffdd, 0xfffffffd,
  0xd5555552, 0xfffffffd, 0xfffffffb, 0xffffffff,
  0xd5555552, 0xfffffffd, 0xfffffffd, 0x00000001,
  0xd5555552, 0xfffffffd, 0xffffffff, 0x00000003,
  0xd5555552, 0xfffffffd, 0x00000001, 0x00000022,
  0xd5555552, 0xfffffffd, 0x00000003, 0x0000009d,
  0xd5555552, 0xfffffffd, 0x00000022, 0x000000fb,
  0xd5555552, 0xfffffffd, 0x0000009d, 0x000000fd,
  0xd5555552, 0xfffffffd, 0x000000fb, 0x0000807c,
  0xd5555552, 0xfffffffd, 0x000000fd, 0x0000fffb,
  0xd5555552, 0xfffffffd, 0x0000807c, 0x0000fffd,
  0xd5555552, 0xfffffffd, 0x0000fffb, 0x3333b332,
  0xd5555552, 0xfffffffd, 0x0000fffd, 0x88888888,
  0xd5555552, 0xfffffffd, 0x3333b332, 0xd5555552,
  0xd5555552, 0xfffffffd, 0x88888888, 0xfffffffb,
  0xd5555552, 0xfffffffd, 0xd5555552, 0xfffffffd,
  0xd5555552, 0xfffffffd, 0xfffffffb, 0xffffffff,
  0xd5555552, 0xfffffffd, 0xfffffffd, 0x00000001,
  0xd5555552, 0xfffffffd, 0xffffffff, 0x2aaaaaab,
  0xd5555552, 0xfffffffd, 0x00000001, 0x77777776,
  0xd5555552, 0xfffffffd, 0x2aaaaaab, 0xcccc4ccc,
  0xd5555552, 0xfffffffd, 0x77777776, 0xffff0001,
  0xd5555552, 0xfffffffd, 0xcccc4ccc, 0xffff0003,
  0xd5555552, 0xfffffffd, 0xffff0001, 0xffff0005,
  0xd5555552, 0xfffffffd, 0xffff0003, 0xffff7f83,
  0xd5555552, 0xfffffffd, 0xffff0005, 0xffffff01,
  0xd5555552, 0xfffffffd, 0xffff7f83, 0xffffff03,
  0xd5555552, 0xfffffffd, 0xffffff01, 0xffffff05,
  0xd5555552, 0xfffffffd, 0xffffff03, 0xffffff63,
  0xd5555552, 0xfffffffd, 0xffffff05, 0xffffffdd,
  0xd5555552, 0xfffffffd, 0xffffff63, 0xfffffffb,
  0xd5555552, 0xfffffffd, 0xffffffdd, 0xfffffffd,
  0xfffffffb, 0xffffffff, 0xfffffffb, 0xffffffff,
  0xfffffffb, 0xffffffff, 0xfffffffd, 0x00000001,
  0xfffffffb, 0xffffffff, 0xffffffff, 0x00000003,
  0xfffffffb, 0xffffffff, 0x00000001, 0x00000022,
  0xfffffffb, 0xffffffff, 0x00000003, 0x0000009d,
  0xfffffffb, 0xffffffff, 0x00000022, 0x000000fb,
  0xfffffffb, 0xffffffff, 0x0000009d, 0x000000fd,
  0xfffffffb, 0xffffffff, 0x000000fb, 0x0000807c,
  0xfffffffb, 0xffffffff, 0x000000fd, 0x0000fffb,
  0xfffffffb, 0xffffffff, 0x0000807c, 0x0000fffd,
  0xfffffffb, 0xffffffff, 0x0000fffb, 0x3333b332,
  0xfffffffb, 0xffffffff, 0x0000fffd, 0x88888888,
  0xfffffffb, 0xffffffff, 0x3333b332, 0xd5555552,
  0xfffffffb, 0xffffffff, 0x88888888, 0xfffffffb,
  0xfffffffb, 0xffffffff, 0xd5555552, 0xfffffffd,
  0xfffffffb, 0xffffffff, 0xfffffffb, 0xffffffff,
  0xfffffffb, 0xffffffff, 0xfffffffd, 0x00000001,
  0xfffffffb, 0xffffffff, 0xffffffff, 0x2aaaaaab,
  0xfffffffb, 0xffffffff, 0x00000001, 0x77777776,
  0xfffffffb, 0xffffffff, 0x2aaaaaab, 0xcccc4ccc,
  0xfffffffb, 0xffffffff, 0x77777776, 0xffff0001,
  0xfffffffb, 0xffffffff, 0xcccc4ccc, 0xffff0003,
  0xfffffffb, 0xffffffff, 0xffff0001, 0xffff0005,
  0xfffffffb, 0xffffffff, 0xffff0003, 0xffff7f83,
  0xfffffffb, 0xffffffff, 0xffff0005, 0xffffff01,
  0xfffffffb, 0xffffffff, 0xffff7f83, 0xffffff03,
  0xfffffffb, 0xffffffff, 0xffffff01, 0xffffff05,
  0xfffffffb, 0xffffffff, 0xffffff03, 0xffffff63,
  0xfffffffb, 0xffffffff, 0xffffff05, 0xffffffdd,
  0xfffffffb, 0xffffffff, 0xffffff63, 0xfffffffb,
  0xfffffffb, 0xffffffff, 0xffffffdd, 0xfffffffd,
  0xfffffffd, 0x00000001, 0xfffffffb, 0xffffffff,
  0xfffffffd, 0x00000001, 0xfffffffd, 0x00000001,
  0xfffffffd, 0x00000001, 0xffffffff, 0x00000003,
  0xfffffffd, 0x00000001, 0x00000001, 0x00000022,
  0xfffffffd, 0x00000001, 0x00000003, 0x0000009d,
  0xfffffffd, 0x00000001, 0x00000022, 0x000000fb,
  0xfffffffd, 0x00000001, 0x0000009d, 0x000000fd,
  0xfffffffd, 0x00000001, 0x000000fb, 0x0000807c,
  0xfffffffd, 0x00000001, 0x000000fd, 0x0000fffb,
  0xfffffffd, 0x00000001, 0x0000807c, 0x0000fffd,
  0xfffffffd, 0x00000001, 0x0000fffb, 0x3333b332,
  0xfffffffd, 0x00000001, 0x0000fffd, 0x88888888,
  0xfffffffd, 0x00000001, 0x3333b332, 0xd5555552,
  0xfffffffd, 0x00000001, 0x88888888, 0xfffffffb,
  0xfffffffd, 0x00000001, 0xd5555552, 0xfffffffd,
  0xfffffffd, 0x00000001, 0xfffffffb, 0xffffffff,
  0xfffffffd, 0x00000001, 0xfffffffd, 0x00000001,
  0xfffffffd, 0x00000001, 0xffffffff, 0x2aaaaaab,
  0xfffffffd, 0x00000001, 0x00000001, 0x77777776,
  0xfffffffd, 0x00000001, 0x2aaaaaab, 0xcccc4ccc,
  0xfffffffd, 0x00000001, 0x77777776, 0xffff0001,
  0xfffffffd, 0x00000001, 0xcccc4ccc, 0xffff0003,
  0xfffffffd, 0x00000001, 0xffff0001, 0xffff0005,
  0xfffffffd, 0x00000001, 0xffff0003, 0xffff7f83,
  0xfffffffd, 0x00000001, 0xffff0005, 0xffffff01,
  0xfffffffd, 0x00000001, 0xffff7f83, 0xffffff03,
  0xfffffffd, 0x00000001, 0xffffff01, 0xffffff05,
  0xfffffffd, 0x00000001, 0xffffff03, 0xffffff63,
  0xfffffffd, 0x00000001, 0xffffff05, 0xffffffdd,
  0xfffffffd, 0x00000001, 0xffffff63, 0xfffffffb,
  0xfffffffd, 0x00000001, 0xffffffdd, 0xfffffffd,
  0xffffffff, 0x2aaaaaab, 0xfffffffb, 0xffffffff,
  0xffffffff, 0x2aaaaaab, 0xfffffffd, 0x00000001,
  0xffffffff, 0x2aaaaaab, 0xffffffff, 0x00000003,
  0xffffffff, 0x2aaaaaab, 0x00000001, 0x00000022,
  0xffffffff, 0x2aaaaaab, 0x00000003, 0x0000009d,
  0xffffffff, 0x2aaaaaab, 0x00000022, 0x000000fb,
  0xffffffff, 0x2aaaaaab, 0x0000009d, 0x000000fd,
  0xffffffff, 0x2aaaaaab, 0x000000fb, 0x0000807c,
  0xffffffff, 0x2aaaaaab, 0x000000fd, 0x0000fffb,
  0xffffffff, 0x2aaaaaab, 0x0000807c, 0x0000fffd,
  0xffffffff, 0x2aaaaaab, 0x0000fffb, 0x3333b332,
  0xffffffff, 0x2aaaaaab, 0x0000fffd, 0x88888888,
  0xffffffff, 0x2aaaaaab, 0x3333b332, 0xd5555552,
  0xffffffff, 0x2aaaaaab, 0x88888888, 0xfffffffb,
  0xffffffff, 0x2aaaaaab, 0xd5555552, 0xfffffffd,
  0xffffffff, 0x2aaaaaab, 0xfffffffb, 0xffffffff,
  0xffffffff, 0x2aaaaaab, 0xfffffffd, 0x00000001,
  0xffffffff, 0x2aaaaaab, 0xffffffff, 0x2aaaaaab,
  0xffffffff, 0x2aaaaaab, 0x00000001, 0x77777776,
  0xffffffff, 0x2aaaaaab, 0x2aaaaaab, 0xcccc4ccc,
  0xffffffff, 0x2aaaaaab, 0x77777776, 0xffff0001,
  0xffffffff, 0x2aaaaaab, 0xcccc4ccc, 0xffff0003,
  0xffffffff, 0x2aaaaaab, 0xffff0001, 0xffff0005,
  0xffffffff, 0x2aaaaaab, 0xffff0003, 0xffff7f83,
  0xffffffff, 0x2aaaaaab, 0xffff0005, 0xffffff01,
  0xffffffff, 0x2aaaaaab, 0xffff7f83, 0xffffff03,
  0xffffffff, 0x2aaaaaab, 0xffffff01, 0xffffff05,
  0xffffffff, 0x2aaaaaab, 0xffffff03, 0xffffff63,
  0xffffffff, 0x2aaaaaab, 0xffffff05, 0xffffffdd,
  0xffffffff, 0x2aaaaaab, 0xffffff63, 0xfffffffb,
  0xffffffff, 0x2aaaaaab, 0xffffffdd, 0xfffffffd,
  0x00000001, 0x77777776, 0xfffffffb, 0xffffffff,
  0x00000001, 0x77777776, 0xfffffffd, 0x00000001,
  0x00000001, 0x77777776, 0xffffffff, 0x00000003,
  0x00000001, 0x77777776, 0x00000001, 0x00000022,
  0x00000001, 0x77777776, 0x00000003, 0x0000009d,
  0x00000001, 0x77777776, 0x00000022, 0x000000fb,
  0x00000001, 0x77777776, 0x0000009d, 0x000000fd,
  0x00000001, 0x77777776, 0x000000fb, 0x0000807c,
  0x00000001, 0x77777776, 0x000000fd, 0x0000fffb,
  0x00000001, 0x77777776, 0x0000807c, 0x0000fffd,
  0x00000001, 0x77777776, 0x0000fffb, 0x3333b332,
  0x00000001, 0x77777776, 0x0000fffd, 0x88888888,
  0x00000001, 0x77777776, 0x3333b332, 0xd5555552,
  0x00000001, 0x77777776, 0x88888888, 0xfffffffb,
  0x00000001, 0x77777776, 0xd5555552, 0xfffffffd,
  0x00000001, 0x77777776, 0xfffffffb, 0xffffffff,
  0x00000001, 0x77777776, 0xfffffffd, 0x00000001,
  0x00000001, 0x77777776, 0xffffffff, 0x2aaaaaab,
  0x00000001, 0x77777776, 0x00000001, 0x77777776,
  0x00000001, 0x77777776, 0x2aaaaaab, 0xcccc4ccc,
  0x00000001, 0x77777776, 0x77777776, 0xffff0001,
  0x00000001, 0x77777776, 0xcccc4ccc, 0xffff0003,
  0x00000001, 0x77777776, 0xffff0001, 0xffff0005,
  0x00000001, 0x77777776, 0xffff0003, 0xffff7f83,
  0x00000001, 0x77777776, 0xffff0005, 0xffffff01,
  0x00000001, 0x77777776, 0xffff7f83, 0xffffff03,
  0x00000001, 0x77777776, 0xffffff01, 0xffffff05,
  0x00000001, 0x77777776, 0xffffff03, 0xffffff63,
  0x00000001, 0x77777776, 0xffffff05, 0xffffffdd,
  0x00000001, 0x77777776, 0xffffff63, 0xfffffffb,
  0x00000001, 0x77777776, 0xffffffdd, 0xfffffffd,
  0x2aaaaaab, 0xcccc4ccc, 0xfffffffb, 0xffffffff,
  0x2aaaaaab, 0xcccc4ccc, 0xfffffffd, 0x00000001,
  0x2aaaaaab, 0xcccc4ccc, 0xffffffff, 0x00000003,
  0x2aaaaaab, 0xcccc4ccc, 0x00000001, 0x00000022,
  0x2aaaaaab, 0xcccc4ccc, 0x00000003, 0x0000009d,
  0x2aaaaaab, 0xcccc4ccc, 0x00000022, 0x000000fb,
  0x2aaaaaab, 0xcccc4ccc, 0x0000009d, 0x000000fd,
  0x2aaaaaab, 0xcccc4ccc, 0x000000fb, 0x0000807c,
  0x2aaaaaab, 0xcccc4ccc, 0x000000fd, 0x0000fffb,
  0x2aaaaaab, 0xcccc4ccc, 0x0000807c, 0x0000fffd,
  0x2aaaaaab, 0xcccc4ccc, 0x0000fffb, 0x3333b332,
  0x2aaaaaab, 0xcccc4ccc, 0x0000fffd, 0x88888888,
  0x2aaaaaab, 0xcccc4ccc, 0x3333b332, 0xd5555552,
  0x2aaaaaab, 0xcccc4ccc, 0x88888888, 0xfffffffb,
  0x2aaaaaab, 0xcccc4ccc, 0xd5555552, 0xfffffffd,
  0x2aaaaaab, 0xcccc4ccc, 0xfffffffb, 0xffffffff,
  0x2aaaaaab, 0xcccc4ccc, 0xfffffffd, 0x00000001,
  0x2aaaaaab, 0xcccc4ccc, 0xffffffff, 0x2aaaaaab,
  0x2aaaaaab, 0xcccc4ccc, 0x00000001, 0x77777776,
  0x2aaaaaab, 0xcccc4ccc, 0x2aaaaaab, 0xcccc4ccc,
  0x2aaaaaab, 0xcccc4ccc, 0x77777776, 0xffff0001,
  0x2aaaaaab, 0xcccc4ccc, 0xcccc4ccc, 0xffff0003,
  0x2aaaaaab, 0xcccc4ccc, 0xffff0001, 0xffff0005,
  0x2aaaaaab, 0xcccc4ccc, 0xffff0003, 0xffff7f83,
  0x2aaaaaab, 0xcccc4ccc, 0xffff0005, 0xffffff01,
  0x2aaaaaab, 0xcccc4ccc, 0xffff7f83, 0xffffff03,
  0x2aaaaaab, 0xcccc4ccc, 0xffffff01, 0xffffff05,
  0x2aaaaaab, 0xcccc4ccc, 0xffffff03, 0xffffff63,
  0x2aaaaaab, 0xcccc4ccc, 0xffffff05, 0xffffffdd,
  0x2aaaaaab, 0xcccc4ccc, 0xffffff63, 0xfffffffb,
  0x2aaaaaab, 0xcccc4ccc, 0xffffffdd, 0xfffffffd,
  0x77777776, 0xffff0001, 0xfffffffb, 0xffffffff,
  0x77777776, 0xffff0001, 0xfffffffd, 0x00000001,
  0x77777776, 0xffff0001, 0xffffffff, 0x00000003,
  0x77777776, 0xffff0001, 0x00000001, 0x00000022,
  0x77777776, 0xffff0001, 0x00000003, 0x0000009d,
  0x77777776, 0xffff0001, 0x00000022, 0x000000fb,
  0x77777776, 0xffff0001, 0x0000009d, 0x000000fd,
  0x77777776, 0xffff0001, 0x000000fb, 0x0000807c,
  0x77777776, 0xffff0001, 0x000000fd, 0x0000fffb,
  0x77777776, 0xffff0001, 0x0000807c, 0x0000fffd,
  0x77777776, 0xffff0001, 0x0000fffb, 0x3333b332,
  0x77777776, 0xffff0001, 0x0000fffd, 0x88888888,
  0x77777776, 0xffff0001, 0x3333b332, 0xd5555552,
  0x77777776, 0xffff0001, 0x88888888, 0xfffffffb,
  0x77777776, 0xffff0001, 0xd5555552, 0xfffffffd,
  0x77777776, 0xffff0001, 0xfffffffb, 0xffffffff,
  0x77777776, 0xffff0001, 0xfffffffd, 0x00000001,
  0x77777776, 0xffff0001, 0xffffffff, 0x2aaaaaab,
  0x77777776, 0xffff0001, 0x00000001, 0x77777776,
  0x77777776, 0xffff0001, 0x2aaaaaab, 0xcccc4ccc,
  0x77777776, 0xffff0001, 0x77777776, 0xffff0001,
  0x77777776, 0xffff0001, 0xcccc4ccc, 0xffff0003,
  0x77777776, 0xffff0001, 0xffff0001, 0xffff0005,
  0x77777776, 0xffff0001, 0xffff0003, 0xffff7f83,
  0x77777776, 0xffff0001, 0xffff0005, 0xffffff01,
  0x77777776, 0xffff0001, 0xffff7f83, 0xffffff03,
  0x77777776, 0xffff0001, 0xffffff01, 0xffffff05,
  0x77777776, 0xffff0001, 0xffffff03, 0xffffff63,
  0x77777776, 0xffff0001, 0xffffff05, 0xffffffdd,
  0x77777776, 0xffff0001, 0xffffff63, 0xfffffffb,
  0x77777776, 0xffff0001, 0xffffffdd, 0xfffffffd,
  0xcccc4ccc, 0xffff0003, 0xfffffffb, 0xffffffff,
  0xcccc4ccc, 0xffff0003, 0xfffffffd, 0x00000001,
  0xcccc4ccc, 0xffff0003, 0xffffffff, 0x00000003,
  0xcccc4ccc, 0xffff0003, 0x00000001, 0x00000022,
  0xcccc4ccc, 0xffff0003, 0x00000003, 0x0000009d,
  0xcccc4ccc, 0xffff0003, 0x00000022, 0x000000fb,
  0xcccc4ccc, 0xffff0003, 0x0000009d, 0x000000fd,
  0xcccc4ccc, 0xffff0003, 0x000000fb, 0x0000807c,
  0xcccc4ccc, 0xffff0003, 0x000000fd, 0x0000fffb,
  0xcccc4ccc, 0xffff0003, 0x0000807c, 0x0000fffd,
  0xcccc4ccc, 0xffff0003, 0x0000fffb, 0x3333b332,
  0xcccc4ccc, 0xffff0003, 0x0000fffd, 0x88888888,
  0xcccc4ccc, 0xffff0003, 0x3333b332, 0xd5555552,
  0xcccc4ccc, 0xffff0003, 0x88888888, 0xfffffffb,
  0xcccc4ccc, 0xffff0003, 0xd5555552, 0xfffffffd,
  0xcccc4ccc, 0xffff0003, 0xfffffffb, 0xffffffff,
  0xcccc4ccc, 0xffff0003, 0xfffffffd, 0x00000001,
  0xcccc4ccc, 0xffff0003, 0xffffffff, 0x2aaaaaab,
  0xcccc4ccc, 0xffff0003, 0x00000001, 0x77777776,
  0xcccc4ccc, 0xffff0003, 0x2aaaaaab, 0xcccc4ccc,
  0xcccc4ccc, 0xffff0003, 0x77777776, 0xffff0001,
  0xcccc4ccc, 0xffff0003, 0xcccc4ccc, 0xffff0003,
  0xcccc4ccc, 0xffff0003, 0xffff0001, 0xffff0005,
  0xcccc4ccc, 0xffff0003, 0xffff0003, 0xffff7f83,
  0xcccc4ccc, 0xffff0003, 0xffff0005, 0xffffff01,
  0xcccc4ccc, 0xffff0003, 0xffff7f83, 0xffffff03,
  0xcccc4ccc, 0xffff0003, 0xffffff01, 0xffffff05,
  0xcccc4ccc, 0xffff0003, 0xffffff03, 0xffffff63,
  0xcccc4ccc, 0xffff0003, 0xffffff05, 0xffffffdd,
  0xcccc4ccc, 0xffff0003, 0xffffff63, 0xfffffffb,
  0xcccc4ccc, 0xffff0003, 0xffffffdd, 0xfffffffd,
  0xffff0001, 0xffff0005, 0xfffffffb, 0xffffffff,
  0xffff0001, 0xffff0005, 0xfffffffd, 0x00000001,
  0xffff0001, 0xffff0005, 0xffffffff, 0x00000003,
  0xffff0001, 0xffff0005, 0x00000001, 0x00000022,
  0xffff0001, 0xffff0005, 0x00000003, 0x0000009d,
  0xffff0001, 0xffff0005, 0x00000022, 0x000000fb,
  0xffff0001, 0xffff0005, 0x0000009d, 0x000000fd,
  0xffff0001, 0xffff0005, 0x000000fb, 0x0000807c,
  0xffff0001, 0xffff0005, 0x000000fd, 0x0000fffb,
  0xffff0001, 0xffff0005, 0x0000807c, 0x0000fffd,
  0xffff0001, 0xffff0005, 0x0000fffb, 0x3333b332,
  0xffff0001, 0xffff0005, 0x0000fffd, 0x88888888,
  0xffff0001, 0xffff0005, 0x3333b332, 0xd5555552,
  0xffff0001, 0xffff0005, 0x88888888, 0xfffffffb,
  0xffff0001, 0xffff0005, 0xd5555552, 0xfffffffd,
  0xffff0001, 0xffff0005, 0xfffffffb, 0xffffffff,
  0xffff0001, 0xffff0005, 0xfffffffd, 0x00000001,
  0xffff0001, 0xffff0005, 0xffffffff, 0x2aaaaaab,
  0xffff0001, 0xffff0005, 0x00000001, 0x77777776,
  0xffff0001, 0xffff0005, 0x2aaaaaab, 0xcccc4ccc,
  0xffff0001, 0xffff0005, 0x77777776, 0xffff0001,
  0xffff0001, 0xffff0005, 0xcccc4ccc, 0xffff0003,
  0xffff0001, 0xffff0005, 0xffff0001, 0xffff0005,
  0xffff0001, 0xffff0005, 0xffff0003, 0xffff7f83,
  0xffff0001, 0xffff0005, 0xffff0005, 0xffffff01,
  0xffff0001, 0xffff0005, 0xffff7f83, 0xffffff03,
  0xffff0001, 0xffff0005, 0xffffff01, 0xffffff05,
  0xffff0001, 0xffff0005, 0xffffff03, 0xffffff63,
  0xffff0001, 0xffff0005, 0xffffff05, 0xffffffdd,
  0xffff0001, 0xffff0005, 0xffffff63, 0xfffffffb,
  0xffff0001, 0xffff0005, 0xffffffdd, 0xfffffffd,
  0xffff0003, 0xffff7f83, 0xfffffffb, 0xffffffff,
  0xffff0003, 0xffff7f83, 0xfffffffd, 0x00000001,
  0xffff0003, 0xffff7f83, 0xffffffff, 0x00000003,
  0xffff0003, 0xffff7f83, 0x00000001, 0x00000022,
  0xffff0003, 0xffff7f83, 0x00000003, 0x0000009d,
  0xffff0003, 0xffff7f83, 0x00000022, 0x000000fb,
  0xffff0003, 0xffff7f83, 0x0000009d, 0x000000fd,
  0xffff0003, 0xffff7f83, 0x000000fb, 0x0000807c,
  0xffff0003, 0xffff7f83, 0x000000fd, 0x0000fffb,
  0xffff0003, 0xffff7f83, 0x0000807c, 0x0000fffd,
  0xffff0003, 0xffff7f83, 0x0000fffb, 0x3333b332,
  0xffff0003, 0xffff7f83, 0x0000fffd, 0x88888888,
  0xffff0003, 0xffff7f83, 0x3333b332, 0xd5555552,
  0xffff0003, 0xffff7f83, 0x88888888, 0xfffffffb,
  0xffff0003, 0xffff7f83, 0xd5555552, 0xfffffffd,
  0xffff0003, 0xffff7f83, 0xfffffffb, 0xffffffff,
  0xffff0003, 0xffff7f83, 0xfffffffd, 0x00000001,
  0xffff0003, 0xffff7f83, 0xffffffff, 0x2aaaaaab,
  0xffff0003, 0xffff7f83, 0x00000001, 0x77777776,
  0xffff0003, 0xffff7f83, 0x2aaaaaab, 0xcccc4ccc,
  0xffff0003, 0xffff7f83, 0x77777776, 0xffff0001,
  0xffff0003, 0xffff7f83, 0xcccc4ccc, 0xffff0003,
  0xffff0003, 0xffff7f83, 0xffff0001, 0xffff0005,
  0xffff0003, 0xffff7f83, 0xffff0003, 0xffff7f83,
  0xffff0003, 0xffff7f83, 0xffff0005, 0xffffff01,
  0xffff0003, 0xffff7f83, 0xffff7f83, 0xffffff03,
  0xffff0003, 0xffff7f83, 0xffffff01, 0xffffff05,
  0xffff0003, 0xffff7f83, 0xffffff03, 0xffffff63,
  0xffff0003, 0xffff7f83, 0xffffff05, 0xffffffdd,
  0xffff0003, 0xffff7f83, 0xffffff63, 0xfffffffb,
  0xffff0003, 0xffff7f83, 0xffffffdd, 0xfffffffd,
  0xffff0005, 0xffffff01, 0xfffffffb, 0xffffffff,
  0xffff0005, 0xffffff01, 0xfffffffd, 0x00000001,
  0xffff0005, 0xffffff01, 0xffffffff, 0x00000003,
  0xffff0005, 0xffffff01, 0x00000001, 0x00000022,
  0xffff0005, 0xffffff01, 0x00000003, 0x0000009d,
  0xffff0005, 0xffffff01, 0x00000022, 0x000000fb,
  0xffff0005, 0xffffff01, 0x0000009d, 0x000000fd,
  0xffff0005, 0xffffff01, 0x000000fb, 0x0000807c,
  0xffff0005, 0xffffff01, 0x000000fd, 0x0000fffb,
  0xffff0005, 0xffffff01, 0x0000807c, 0x0000fffd,
  0xffff0005, 0xffffff01, 0x0000fffb, 0x3333b332,
  0xffff0005, 0xffffff01, 0x0000fffd, 0x88888888,
  0xffff0005, 0xffffff01, 0x3333b332, 0xd5555552,
  0xffff0005, 0xffffff01, 0x88888888, 0xfffffffb,
  0xffff0005, 0xffffff01, 0xd5555552, 0xfffffffd,
  0xffff0005, 0xffffff01, 0xfffffffb, 0xffffffff,
  0xffff0005, 0xffffff01, 0xfffffffd, 0x00000001,
  0xffff0005, 0xffffff01, 0xffffffff, 0x2aaaaaab,
  0xffff0005, 0xffffff01, 0x00000001, 0x77777776,
  0xffff0005, 0xffffff01, 0x2aaaaaab, 0xcccc4ccc,
  0xffff0005, 0xffffff01, 0x77777776, 0xffff0001,
  0xffff0005, 0xffffff01, 0xcccc4ccc, 0xffff0003,
  0xffff0005, 0xffffff01, 0xffff0001, 0xffff0005,
  0xffff0005, 0xffffff01, 0xffff0003, 0xffff7f83,
  0xffff0005, 0xffffff01, 0xffff0005, 0xffffff01,
  0xffff0005, 0xffffff01, 0xffff7f83, 0xffffff03,
  0xffff0005, 0xffffff01, 0xffffff01, 0xffffff05,
  0xffff0005, 0xffffff01, 0xffffff03, 0xffffff63,
  0xffff0005, 0xffffff01, 0xffffff05, 0xffffffdd,
  0xffff0005, 0xffffff01, 0xffffff63, 0xfffffffb,
  0xffff0005, 0xffffff01, 0xffffffdd, 0xfffffffd,
  0xffff7f83, 0xffffff03, 0xfffffffb, 0xffffffff,
  0xffff7f83, 0xffffff03, 0xfffffffd, 0x00000001,
  0xffff7f83, 0xffffff03, 0xffffffff, 0x00000003,
  0xffff7f83, 0xffffff03, 0x00000001, 0x00000022,
  0xffff7f83, 0xffffff03, 0x00000003, 0x0000009d,
  0xffff7f83, 0xffffff03, 0x00000022, 0x000000fb,
  0xffff7f83, 0xffffff03, 0x0000009d, 0x000000fd,
  0xffff7f83, 0xffffff03, 0x000000fb, 0x0000807c,
  0xffff7f83, 0xffffff03, 0x000000fd, 0x0000fffb,
  0xffff7f83, 0xffffff03, 0x0000807c, 0x0000fffd,
  0xffff7f83, 0xffffff03, 0x0000fffb, 0x3333b332,
  0xffff7f83, 0xffffff03, 0x0000fffd, 0x88888888,
  0xffff7f83, 0xffffff03, 0x3333b332, 0xd5555552,
  0xffff7f83, 0xffffff03, 0x88888888, 0xfffffffb,
  0xffff7f83, 0xffffff03, 0xd5555552, 0xfffffffd,
  0xffff7f83, 0xffffff03, 0xfffffffb, 0xffffffff,
  0xffff7f83, 0xffffff03, 0xfffffffd, 0x00000001,
  0xffff7f83, 0xffffff03, 0xffffffff, 0x2aaaaaab,
  0xffff7f83, 0xffffff03, 0x00000001, 0x77777776,
  0xffff7f83, 0xffffff03, 0x2aaaaaab, 0xcccc4ccc,
  0xffff7f83, 0xffffff03, 0x77777776, 0xffff0001,
  0xffff7f83, 0xffffff03, 0xcccc4ccc, 0xffff0003,
  0xffff7f83, 0xffffff03, 0xffff0001, 0xffff0005,
  0xffff7f83, 0xffffff03, 0xffff0003, 0xffff7f83,
  0xffff7f83, 0xffffff03, 0xffff0005, 0xffffff01,
  0xffff7f83, 0xffffff03, 0xffff7f83, 0xffffff03,
  0xffff7f83, 0xffffff03, 0xffffff01, 0xffffff05,
  0xffff7f83, 0xffffff03, 0xffffff03, 0xffffff63,
  0xffff7f83, 0xffffff03, 0xffffff05, 0xffffffdd,
  0xffff7f83, 0xffffff03, 0xffffff63, 0xfffffffb,
  0xffff7f83, 0xffffff03, 0xffffffdd, 0xfffffffd,
  0xffffff01, 0xffffff05, 0xfffffffb, 0xffffffff,
  0xffffff01, 0xffffff05, 0xfffffffd, 0x00000001,
  0xffffff01, 0xffffff05, 0xffffffff, 0x00000003,
  0xffffff01, 0xffffff05, 0x00000001, 0x00000022,
  0xffffff01, 0xffffff05, 0x00000003, 0x0000009d,
  0xffffff01, 0xffffff05, 0x00000022, 0x000000fb,
  0xffffff01, 0xffffff05, 0x0000009d, 0x000000fd,
  0xffffff01, 0xffffff05, 0x000000fb, 0x0000807c,
  0xffffff01, 0xffffff05, 0x000000fd, 0x0000fffb,
  0xffffff01, 0xffffff05, 0x0000807c, 0x0000fffd,
  0xffffff01, 0xffffff05, 0x0000fffb, 0x3333b332,
  0xffffff01, 0xffffff05, 0x0000fffd, 0x88888888,
  0xffffff01, 0xffffff05, 0x3333b332, 0xd5555552,
  0xffffff01, 0xffffff05, 0x88888888, 0xfffffffb,
  0xffffff01, 0xffffff05, 0xd5555552, 0xfffffffd,
  0xffffff01, 0xffffff05, 0xfffffffb, 0xffffffff,
  0xffffff01, 0xffffff05, 0xfffffffd, 0x00000001,
  0xffffff01, 0xffffff05, 0xffffffff, 0x2aaaaaab,
  0xffffff01, 0xffffff05, 0x00000001, 0x77777776,
  0xffffff01, 0xffffff05, 0x2aaaaaab, 0xcccc4ccc,
  0xffffff01, 0xffffff05, 0x77777776, 0xffff0001,
  0xffffff01, 0xffffff05, 0xcccc4ccc, 0xffff0003,
  0xffffff01, 0xffffff05, 0xffff0001, 0xffff0005,
  0xffffff01, 0xffffff05, 0xffff0003, 0xffff7f83,
  0xffffff01, 0xffffff05, 0xffff0005, 0xffffff01,
  0xffffff01, 0xffffff05, 0xffff7f83, 0xffffff03,
  0xffffff01, 0xffffff05, 0xffffff01, 0xffffff05,
  0xffffff01, 0xffffff05, 0xffffff03, 0xffffff63,
  0xffffff01, 0xffffff05, 0xffffff05, 0xffffffdd,
  0xffffff01, 0xffffff05, 0xffffff63, 0xfffffffb,
  0xffffff01, 0xffffff05, 0xffffffdd, 0xfffffffd,
  0xffffff03, 0xffffff63, 0xfffffffb, 0xffffffff,
  0xffffff03, 0xffffff63, 0xfffffffd, 0x00000001,
  0xffffff03, 0xffffff63, 0xffffffff, 0x00000003,
  0xffffff03, 0xffffff63, 0x00000001, 0x00000022,
  0xffffff03, 0xffffff63, 0x00000003, 0x0000009d,
  0xffffff03, 0xffffff63, 0x00000022, 0x000000fb,
  0xffffff03, 0xffffff63, 0x0000009d, 0x000000fd,
  0xffffff03, 0xffffff63, 0x000000fb, 0x0000807c,
  0xffffff03, 0xffffff63, 0x000000fd, 0x0000fffb,
  0xffffff03, 0xffffff63, 0x0000807c, 0x0000fffd,
  0xffffff03, 0xffffff63, 0x0000fffb, 0x3333b332,
  0xffffff03, 0xffffff63, 0x0000fffd, 0x88888888,
  0xffffff03, 0xffffff63, 0x3333b332, 0xd5555552,
  0xffffff03, 0xffffff63, 0x88888888, 0xfffffffb,
  0xffffff03, 0xffffff63, 0xd5555552, 0xfffffffd,
  0xffffff03, 0xffffff63, 0xfffffffb, 0xffffffff,
  0xffffff03, 0xffffff63, 0xfffffffd, 0x00000001,
  0xffffff03, 0xffffff63, 0xffffffff, 0x2aaaaaab,
  0xffffff03, 0xffffff63, 0x00000001, 0x77777776,
  0xffffff03, 0xffffff63, 0x2aaaaaab, 0xcccc4ccc,
  0xffffff03, 0xffffff63, 0x77777776, 0xffff0001,
  0xffffff03, 0xffffff63, 0xcccc4ccc, 0xffff0003,
  0xffffff03, 0xffffff63, 0xffff0001, 0xffff0005,
  0xffffff03, 0xffffff63, 0xffff0003, 0xffff7f83,
  0xffffff03, 0xffffff63, 0xffff0005, 0xffffff01,
  0xffffff03, 0xffffff63, 0xffff7f83, 0xffffff03,
  0xffffff03, 0xffffff63, 0xffffff01, 0xffffff05,
  0xffffff03, 0xffffff63, 0xffffff03, 0xffffff63,
  0xffffff03, 0xffffff63, 0xffffff05, 0xffffffdd,
  0xffffff03, 0xffffff63, 0xffffff63, 0xfffffffb,
  0xffffff03, 0xffffff63, 0xffffffdd, 0xfffffffd,
  0xffffff05, 0xffffffdd, 0xfffffffb, 0xffffffff,
  0xffffff05, 0xffffffdd, 0xfffffffd, 0x00000001,
  0xffffff05, 0xffffffdd, 0xffffffff, 0x00000003,
  0xffffff05, 0xffffffdd, 0x00000001, 0x00000022,
  0xffffff05, 0xffffffdd, 0x00000003, 0x0000009d,
  0xffffff05, 0xffffffdd, 0x00000022, 0x000000fb,
  0xffffff05, 0xffffffdd, 0x0000009d, 0x000000fd,
  0xffffff05, 0xffffffdd, 0x000000fb, 0x0000807c,
  0xffffff05, 0xffffffdd, 0x000000fd, 0x0000fffb,
  0xffffff05, 0xffffffdd, 0x0000807c, 0x0000fffd,
  0xffffff05, 0xffffffdd, 0x0000fffb, 0x3333b332,
  0xffffff05, 0xffffffdd, 0x0000fffd, 0x88888888,
  0xffffff05, 0xffffffdd, 0x3333b332, 0xd5555552,
  0xffffff05, 0xffffffdd, 0x88888888, 0xfffffffb,
  0xffffff05, 0xffffffdd, 0xd5555552, 0xfffffffd,
  0xffffff05, 0xffffffdd, 0xfffffffb, 0xffffffff,
  0xffffff05, 0xffffffdd, 0xfffffffd, 0x00000001,
  0xffffff05, 0xffffffdd, 0xffffffff, 0x2aaaaaab,
  0xffffff05, 0xffffffdd, 0x00000001, 0x77777776,
  0xffffff05, 0xffffffdd, 0x2aaaaaab, 0xcccc4ccc,
  0xffffff05, 0xffffffdd, 0x77777776, 0xffff0001,
  0xffffff05, 0xffffffdd, 0xcccc4ccc, 0xffff0003,
  0xffffff05, 0xffffffdd, 0xffff0001, 0xffff0005,
  0xffffff05, 0xffffffdd, 0xffff0003, 0xffff7f83,
  0xffffff05, 0xffffffdd, 0xffff0005, 0xffffff01,
  0xffffff05, 0xffffffdd, 0xffff7f83, 0xffffff03,
  0xffffff05, 0xffffffdd, 0xffffff01, 0xffffff05,
  0xffffff05, 0xffffffdd, 0xffffff03, 0xffffff63,
  0xffffff05, 0xffffffdd, 0xffffff05, 0xffffffdd,
  0xffffff05, 0xffffffdd, 0xffffff63, 0xfffffffb,
  0xffffff05, 0xffffffdd, 0xffffffdd, 0xfffffffd,
  0xffffff63, 0xfffffffb, 0xfffffffb, 0xffffffff,
  0xffffff63, 0xfffffffb, 0xfffffffd, 0x00000001,
  0xffffff63, 0xfffffffb, 0xffffffff, 0x00000003,
  0xffffff63, 0xfffffffb, 0x00000001, 0x00000022,
  0xffffff63, 0xfffffffb, 0x00000003, 0x0000009d,
  0xffffff63, 0xfffffffb, 0x00000022, 0x000000fb,
  0xffffff63, 0xfffffffb, 0x0000009d, 0x000000fd,
  0xffffff63, 0xfffffffb, 0x000000fb, 0x0000807c,
  0xffffff63, 0xfffffffb, 0x000000fd, 0x0000fffb,
  0xffffff63, 0xfffffffb, 0x0000807c, 0x0000fffd,
  0xffffff63, 0xfffffffb, 0x0000fffb, 0x3333b332,
  0xffffff63, 0xfffffffb, 0x0000fffd, 0x88888888,
  0xffffff63, 0xfffffffb, 0x3333b332, 0xd5555552,
  0xffffff63, 0xfffffffb, 0x88888888, 0xfffffffb,
  0xffffff63, 0xfffffffb, 0xd5555552, 0xfffffffd,
  0xffffff63, 0xfffffffb, 0xfffffffb, 0xffffffff,
  0xffffff63, 0xfffffffb, 0xfffffffd, 0x00000001,
  0xffffff63, 0xfffffffb, 0xffffffff, 0x2aaaaaab,
  0xffffff63, 0xfffffffb, 0x00000001, 0x77777776,
  0xffffff63, 0xfffffffb, 0x2aaaaaab, 0xcccc4ccc,
  0xffffff63, 0xfffffffb, 0x77777776, 0xffff0001,
  0xffffff63, 0xfffffffb, 0xcccc4ccc, 0xffff0003,
  0xffffff63, 0xfffffffb, 0xffff0001, 0xffff0005,
  0xffffff63, 0xfffffffb, 0xffff0003, 0xffff7f83,
  0xffffff63, 0xfffffffb, 0xffff0005, 0xffffff01,
  0xffffff63, 0xfffffffb, 0xffff7f83, 0xffffff03,
  0xffffff63, 0xfffffffb, 0xffffff01, 0xffffff05,
  0xffffff63, 0xfffffffb, 0xffffff03, 0xffffff63,
  0xffffff63, 0xfffffffb, 0xffffff05, 0xffffffdd,
  0xffffff63, 0xfffffffb, 0xffffff63, 0xfffffffb,
  0xffffff63, 0xfffffffb, 0xffffffdd, 0xfffffffd,
  0xffffffdd, 0xfffffffd, 0xfffffffb, 0xffffffff,
  0xffffffdd, 0xfffffffd, 0xfffffffd, 0x00000001,
  0xffffffdd, 0xfffffffd, 0xffffffff, 0x00000003,
  0xffffffdd, 0xfffffffd, 0x00000001, 0x00000022,
  0xffffffdd, 0xfffffffd, 0x00000003, 0x0000009d,
  0xffffffdd, 0xfffffffd, 0x00000022, 0x000000fb,
  0xffffffdd, 0xfffffffd, 0x0000009d, 0x000000fd,
  0xffffffdd, 0xfffffffd, 0x000000fb, 0x0000807c,
  0xffffffdd, 0xfffffffd, 0x000000fd, 0x0000fffb,
  0xffffffdd, 0xfffffffd, 0x0000807c, 0x0000fffd,
  0xffffffdd, 0xfffffffd, 0x0000fffb, 0x3333b332,
  0xffffffdd, 0xfffffffd, 0x0000fffd, 0x88888888,
  0xffffffdd, 0xfffffffd, 0x3333b332, 0xd5555552,
  0xffffffdd, 0xfffffffd, 0x88888888, 0xfffffffb,
  0xffffffdd, 0xfffffffd, 0xd5555552, 0xfffffffd,
  0xffffffdd, 0xfffffffd, 0xfffffffb, 0xffffffff,
  0xffffffdd, 0xfffffffd, 0xfffffffd, 0x00000001,
  0xffffffdd, 0xfffffffd, 0xffffffff, 0x2aaaaaab,
  0xffffffdd, 0xfffffffd, 0x00000001, 0x77777776,
  0xffffffdd, 0xfffffffd, 0x2aaaaaab, 0xcccc4ccc,
  0xffffffdd, 0xfffffffd, 0x77777776, 0xffff0001,
  0xffffffdd, 0xfffffffd, 0xcccc4ccc, 0xffff0003,
  0xffffffdd, 0xfffffffd, 0xffff0001, 0xffff0005,
  0xffffffdd, 0xfffffffd, 0xffff0003, 0xffff7f83,
  0xffffffdd, 0xfffffffd, 0xffff0005, 0xffffff01,
  0xffffffdd, 0xfffffffd, 0xffff7f83, 0xffffff03,
  0xffffffdd, 0xfffffffd, 0xffffff01, 0xffffff05,
  0xffffffdd, 0xfffffffd, 0xffffff03, 0xffffff63,
  0xffffffdd, 0xfffffffd, 0xffffff05, 0xffffffdd,
  0xffffffdd, 0xfffffffd, 0xffffff63, 0xfffffffb,
  0xffffffdd, 0xfffffffd, 0xffffffdd, 0xfffffffd,
};
const unsigned kExpectedCount_NEON_addp_4S = 961;

#endif  // VIXL_SIM_ADDP_4S_TRACE_AARCH64_H_