// 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_USRA_8H_2OPIMM_TRACE_A64_H_
#define VIXL_SIM_USRA_8H_2OPIMM_TRACE_A64_H_

const uint16_t kExpected_NEON_usra_8H_2OPIMM[] = {
  0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000,
  0xbfa0, 0xbfa1, 0xbfa1, 0xbff4, 0xbffd, 0xbffe, 0xbffe, 0x0000,
  0xdf90, 0xdf91, 0xdf91, 0xdff2, 0xdffc, 0xdffd, 0xdffd, 0x0000,
  0xef88, 0xef89, 0xef89, 0xeff1, 0xeffb, 0xeffc, 0xeffc, 0x0000,
  0xf784, 0xf785, 0xf785, 0xf7f0, 0xf7fa, 0xf7fb, 0xf7fb, 0x0000,
  0xfb82, 0xfb83, 0xfb83, 0xfbef, 0xfbf9, 0xfbfa, 0xfbfa, 0x0000,
  0xfd81, 0xfd82, 0xfd82, 0xfdee, 0xfdf8, 0xfdf9, 0xfdf9, 0x0000,
  0xfe80, 0xfe81, 0xfe81, 0xfeed, 0xfef7, 0xfef8, 0xfef8, 0x0000,
  0xfeff, 0xff00, 0xff00, 0xff6c, 0xff76, 0xff77, 0xff77, 0x0000,
  0xff3e, 0xff3f, 0xff3f, 0xffab, 0xffb5, 0xffb6, 0xffb6, 0x0000,
  0xff5d, 0xff5e, 0xff5e, 0xffca, 0xffd4, 0xffd5, 0xffd5, 0x0000,
  0xff6c, 0xff6d, 0xff6d, 0xffd9, 0xffe3, 0xffe4, 0xffe4, 0x0000,
  0xff73, 0xff74, 0xff74, 0xffe0, 0xffea, 0xffeb, 0xffeb, 0x0000,
  0xff76, 0xff77, 0xff77, 0xffe3, 0xffed, 0xffee, 0xffee, 0x0000,
  0xff77, 0xff78, 0xff78, 0xffe4, 0xffee, 0xffef, 0xffef, 0x0000,
  0xff77, 0xff78, 0xff78, 0xffe4, 0xffee, 0xffef, 0xffef, 0x0000,
  0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000,
  0xbfa1, 0xbfa1, 0xbff4, 0xbffd, 0xbffe, 0xbffe, 0x0000, 0x0000,
  0xdf91, 0xdf91, 0xdff2, 0xdffc, 0xdffd, 0xdffd, 0x0000, 0x0000,
  0xef89, 0xef89, 0xeff1, 0xeffb, 0xeffc, 0xeffc, 0x0000, 0x0000,
  0xf785, 0xf785, 0xf7f0, 0xf7fa, 0xf7fb, 0xf7fb, 0x0000, 0x0000,
  0xfb83, 0xfb83, 0xfbef, 0xfbf9, 0xfbfa, 0xfbfa, 0x0000, 0x0000,
  0xfd82, 0xfd82, 0xfdee, 0xfdf8, 0xfdf9, 0xfdf9, 0x0000, 0x0000,
  0xfe81, 0xfe81, 0xfeed, 0xfef7, 0xfef8, 0xfef8, 0x0000, 0x0000,
  0xff00, 0xff00, 0xff6c, 0xff76, 0xff77, 0xff77, 0x0000, 0x0000,
  0xff3f, 0xff3f, 0xffab, 0xffb5, 0xffb6, 0xffb6, 0x0000, 0x0000,
  0xff5e, 0xff5e, 0xffca, 0xffd4, 0xffd5, 0xffd5, 0x0000, 0x0000,
  0xff6d, 0xff6d, 0xffd9, 0xffe3, 0xffe4, 0xffe4, 0x0000, 0x0000,
  0xff74, 0xff74, 0xffe0, 0xffea, 0xffeb, 0xffeb, 0x0000, 0x0000,
  0xff77, 0xff77, 0xffe3, 0xffed, 0xffee, 0xffee, 0x0000, 0x0000,
  0xff78, 0xff78, 0xffe4, 0xffee, 0xffef, 0xffef, 0x0000, 0x0000,
  0xff78, 0xff78, 0xffe4, 0xffee, 0xffef, 0xffef, 0x0000, 0x0000,
  0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001,
  0xbfa1, 0xbff4, 0xbffd, 0xbffe, 0xbffe, 0x0000, 0x0000, 0x0001,
  0xdf91, 0xdff2, 0xdffc, 0xdffd, 0xdffd, 0x0000, 0x0000, 0x0001,
  0xef89, 0xeff1, 0xeffb, 0xeffc, 0xeffc, 0x0000, 0x0000, 0x0001,
  0xf785, 0xf7f0, 0xf7fa, 0xf7fb, 0xf7fb, 0x0000, 0x0000, 0x0001,
  0xfb83, 0xfbef, 0xfbf9, 0xfbfa, 0xfbfa, 0x0000, 0x0000, 0x0001,
  0xfd82, 0xfdee, 0xfdf8, 0xfdf9, 0xfdf9, 0x0000, 0x0000, 0x0001,
  0xfe81, 0xfeed, 0xfef7, 0xfef8, 0xfef8, 0x0000, 0x0000, 0x0001,
  0xff00, 0xff6c, 0xff76, 0xff77, 0xff77, 0x0000, 0x0000, 0x0001,
  0xff3f, 0xffab, 0xffb5, 0xffb6, 0xffb6, 0x0000, 0x0000, 0x0001,
  0xff5e, 0xffca, 0xffd4, 0xffd5, 0xffd5, 0x0000, 0x0000, 0x0001,
  0xff6d, 0xffd9, 0xffe3, 0xffe4, 0xffe4, 0x0000, 0x0000, 0x0001,
  0xff74, 0xffe0, 0xffea, 0xffeb, 0xffeb, 0x0000, 0x0000, 0x0001,
  0xff77, 0xffe3, 0xffed, 0xffee, 0xffee, 0x0000, 0x0000, 0x0001,
  0xff78, 0xffe4, 0xffee, 0xffef, 0xffef, 0x0000, 0x0000, 0x0001,
  0xff78, 0xffe4, 0xffee, 0xffef, 0xffef, 0x0000, 0x0000, 0x0001,
  0x7ff8, 0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008,
  0xbff4, 0xbffd, 0xbffe, 0xbffe, 0x0000, 0x0000, 0x0001, 0x000c,
  0xdff2, 0xdffc, 0xdffd, 0xdffd, 0x0000, 0x0000, 0x0001, 0x000e,
  0xeff1, 0xeffb, 0xeffc, 0xeffc, 0x0000, 0x0000, 0x0001, 0x000f,
  0xf7f0, 0xf7fa, 0xf7fb, 0xf7fb, 0x0000, 0x0000, 0x0001, 0x000f,
  0xfbef, 0xfbf9, 0xfbfa, 0xfbfa, 0x0000, 0x0000, 0x0001, 0x000f,
  0xfdee, 0xfdf8, 0xfdf9, 0xfdf9, 0x0000, 0x0000, 0x0001, 0x000f,
  0xfeed, 0xfef7, 0xfef8, 0xfef8, 0x0000, 0x0000, 0x0001, 0x000f,
  0xff6c, 0xff76, 0xff77, 0xff77, 0x0000, 0x0000, 0x0001, 0x000f,
  0xffab, 0xffb5, 0xffb6, 0xffb6, 0x0000, 0x0000, 0x0001, 0x000f,
  0xffca, 0xffd4, 0xffd5, 0xffd5, 0x0000, 0x0000, 0x0001, 0x000f,
  0xffd9, 0xffe3, 0xffe4, 0xffe4, 0x0000, 0x0000, 0x0001, 0x000f,
  0xffe0, 0xffea, 0xffeb, 0xffeb, 0x0000, 0x0000, 0x0001, 0x000f,
  0xffe3, 0xffed, 0xffee, 0xffee, 0x0000, 0x0000, 0x0001, 0x000f,
  0xffe4, 0xffee, 0xffef, 0xffef, 0x0000, 0x0000, 0x0001, 0x000f,
  0xffe4, 0xffee, 0xffef, 0xffef, 0x0000, 0x0000, 0x0001, 0x000f,
  0x7ffe, 0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e,
  0xbffd, 0xbffe, 0xbffe, 0x0000, 0x0000, 0x0001, 0x000c, 0x005d,
  0xdffc, 0xdffd, 0xdffd, 0x0000, 0x0000, 0x0001, 0x000e, 0x006c,
  0xeffb, 0xeffc, 0xeffc, 0x0000, 0x0000, 0x0001, 0x000f, 0x0073,
  0xf7fa, 0xf7fb, 0xf7fb, 0x0000, 0x0000, 0x0001, 0x000f, 0x0076,
  0xfbf9, 0xfbfa, 0xfbfa, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077,
  0xfdf8, 0xfdf9, 0xfdf9, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077,
  0xfef7, 0xfef8, 0xfef8, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077,
  0xff76, 0xff77, 0xff77, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077,
  0xffb5, 0xffb6, 0xffb6, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077,
  0xffd4, 0xffd5, 0xffd5, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077,
  0xffe3, 0xffe4, 0xffe4, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077,
  0xffea, 0xffeb, 0xffeb, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077,
  0xffed, 0xffee, 0xffee, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077,
  0xffee, 0xffef, 0xffef, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077,
  0xffee, 0xffef, 0xffef, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077,
  0x7fff, 0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f,
  0xbffe, 0xbffe, 0x0000, 0x0000, 0x0001, 0x000c, 0x005d, 0x005e,
  0xdffd, 0xdffd, 0x0000, 0x0000, 0x0001, 0x000e, 0x006c, 0x006d,
  0xeffc, 0xeffc, 0x0000, 0x0000, 0x0001, 0x000f, 0x0073, 0x0074,
  0xf7fb, 0xf7fb, 0x0000, 0x0000, 0x0001, 0x000f, 0x0076, 0x0077,
  0xfbfa, 0xfbfa, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078,
  0xfdf9, 0xfdf9, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078,
  0xfef8, 0xfef8, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078,
  0xff77, 0xff77, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078,
  0xffb6, 0xffb6, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078,
  0xffd5, 0xffd5, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078,
  0xffe4, 0xffe4, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078,
  0xffeb, 0xffeb, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078,
  0xffee, 0xffee, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078,
  0xffef, 0xffef, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078,
  0xffef, 0xffef, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078,
  0x7fff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f,
  0xbffe, 0x0000, 0x0000, 0x0001, 0x000c, 0x005d, 0x005e, 0x005e,
  0xdffd, 0x0000, 0x0000, 0x0001, 0x000e, 0x006c, 0x006d, 0x006d,
  0xeffc, 0x0000, 0x0000, 0x0001, 0x000f, 0x0073, 0x0074, 0x0074,
  0xf7fb, 0x0000, 0x0000, 0x0001, 0x000f, 0x0076, 0x0077, 0x0077,
  0xfbfa, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078,
  0xfdf9, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078,
  0xfef8, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078,
  0xff77, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078,
  0xffb6, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078,
  0xffd5, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078,
  0xffe4, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078,
  0xffeb, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078,
  0xffee, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078,
  0xffef, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078,
  0xffef, 0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078,
  0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999,
  0x0000, 0x0000, 0x0001, 0x000c, 0x005d, 0x005e, 0x005e, 0x2665,
  0x0000, 0x0000, 0x0001, 0x000e, 0x006c, 0x006d, 0x006d, 0x2ccb,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0073, 0x0074, 0x0074, 0x2ffe,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0076, 0x0077, 0x0077, 0x3197,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x3263,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x32c9,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x32fc,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x3315,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x3321,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x3327,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332a,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332b,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332b,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332b,
  0x0000, 0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332b,
  0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa,
  0x0000, 0x0001, 0x000c, 0x005d, 0x005e, 0x005e, 0x2665, 0x3fff,
  0x0000, 0x0001, 0x000e, 0x006c, 0x006d, 0x006d, 0x2ccb, 0x4aa9,
  0x0000, 0x0001, 0x000f, 0x0073, 0x0074, 0x0074, 0x2ffe, 0x4ffe,
  0x0000, 0x0001, 0x000f, 0x0076, 0x0077, 0x0077, 0x3197, 0x52a8,
  0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x3263, 0x53fd,
  0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x32c9, 0x54a7,
  0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x32fc, 0x54fc,
  0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x3315, 0x5526,
  0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x3321, 0x553b,
  0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x3327, 0x5545,
  0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332a, 0x554a,
  0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332b, 0x554c,
  0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332b, 0x554d,
  0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332b, 0x554d,
  0x0000, 0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332b, 0x554d,
  0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe,
  0x0001, 0x000c, 0x005d, 0x005e, 0x005e, 0x2665, 0x3fff, 0x5ffd,
  0x0001, 0x000e, 0x006c, 0x006d, 0x006d, 0x2ccb, 0x4aa9, 0x6ffc,
  0x0001, 0x000f, 0x0073, 0x0074, 0x0074, 0x2ffe, 0x4ffe, 0x77fb,
  0x0001, 0x000f, 0x0076, 0x0077, 0x0077, 0x3197, 0x52a8, 0x7bfa,
  0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x3263, 0x53fd, 0x7df9,
  0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x32c9, 0x54a7, 0x7ef8,
  0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x32fc, 0x54fc, 0x7f77,
  0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x3315, 0x5526, 0x7fb6,
  0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x3321, 0x553b, 0x7fd5,
  0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x3327, 0x5545, 0x7fe4,
  0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332a, 0x554a, 0x7feb,
  0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332b, 0x554c, 0x7fee,
  0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332b, 0x554d, 0x7fef,
  0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332b, 0x554d, 0x7fef,
  0x0001, 0x000f, 0x0077, 0x0078, 0x0078, 0x332b, 0x554d, 0x7fef,
  0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff,
  0x000c, 0x005d, 0x005e, 0x005e, 0x2665, 0x3fff, 0x5ffd, 0x5ffe,
  0x000e, 0x006c, 0x006d, 0x006d, 0x2ccb, 0x4aa9, 0x6ffc, 0x6ffd,
  0x000f, 0x0073, 0x0074, 0x0074, 0x2ffe, 0x4ffe, 0x77fb, 0x77fc,
  0x000f, 0x0076, 0x0077, 0x0077, 0x3197, 0x52a8, 0x7bfa, 0x7bfb,
  0x000f, 0x0077, 0x0078, 0x0078, 0x3263, 0x53fd, 0x7df9, 0x7dfa,
  0x000f, 0x0077, 0x0078, 0x0078, 0x32c9, 0x54a7, 0x7ef8, 0x7ef9,
  0x000f, 0x0077, 0x0078, 0x0078, 0x32fc, 0x54fc, 0x7f77, 0x7f78,
  0x000f, 0x0077, 0x0078, 0x0078, 0x3315, 0x5526, 0x7fb6, 0x7fb7,
  0x000f, 0x0077, 0x0078, 0x0078, 0x3321, 0x553b, 0x7fd5, 0x7fd6,
  0x000f, 0x0077, 0x0078, 0x0078, 0x3327, 0x5545, 0x7fe4, 0x7fe5,
  0x000f, 0x0077, 0x0078, 0x0078, 0x332a, 0x554a, 0x7feb, 0x7fec,
  0x000f, 0x0077, 0x0078, 0x0078, 0x332b, 0x554c, 0x7fee, 0x7fef,
  0x000f, 0x0077, 0x0078, 0x0078, 0x332b, 0x554d, 0x7fef, 0x7ff0,
  0x000f, 0x0077, 0x0078, 0x0078, 0x332b, 0x554d, 0x7fef, 0x7ff0,
  0x000f, 0x0077, 0x0078, 0x0078, 0x332b, 0x554d, 0x7fef, 0x7ff0,
  0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff,
  0x005d, 0x005e, 0x005e, 0x2665, 0x3fff, 0x5ffd, 0x5ffe, 0x5ffe,
  0x006c, 0x006d, 0x006d, 0x2ccb, 0x4aa9, 0x6ffc, 0x6ffd, 0x6ffd,
  0x0073, 0x0074, 0x0074, 0x2ffe, 0x4ffe, 0x77fb, 0x77fc, 0x77fc,
  0x0076, 0x0077, 0x0077, 0x3197, 0x52a8, 0x7bfa, 0x7bfb, 0x7bfb,
  0x0077, 0x0078, 0x0078, 0x3263, 0x53fd, 0x7df9, 0x7dfa, 0x7dfa,
  0x0077, 0x0078, 0x0078, 0x32c9, 0x54a7, 0x7ef8, 0x7ef9, 0x7ef9,
  0x0077, 0x0078, 0x0078, 0x32fc, 0x54fc, 0x7f77, 0x7f78, 0x7f78,
  0x0077, 0x0078, 0x0078, 0x3315, 0x5526, 0x7fb6, 0x7fb7, 0x7fb7,
  0x0077, 0x0078, 0x0078, 0x3321, 0x553b, 0x7fd5, 0x7fd6, 0x7fd6,
  0x0077, 0x0078, 0x0078, 0x3327, 0x5545, 0x7fe4, 0x7fe5, 0x7fe5,
  0x0077, 0x0078, 0x0078, 0x332a, 0x554a, 0x7feb, 0x7fec, 0x7fec,
  0x0077, 0x0078, 0x0078, 0x332b, 0x554c, 0x7fee, 0x7fef, 0x7fef,
  0x0077, 0x0078, 0x0078, 0x332b, 0x554d, 0x7fef, 0x7ff0, 0x7ff0,
  0x0077, 0x0078, 0x0078, 0x332b, 0x554d, 0x7fef, 0x7ff0, 0x7ff0,
  0x0077, 0x0078, 0x0078, 0x332b, 0x554d, 0x7fef, 0x7ff0, 0x7ff0,
  0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000,
  0x005e, 0x005e, 0x2665, 0x3fff, 0x5ffd, 0x5ffe, 0x5ffe, 0x6000,
  0x006d, 0x006d, 0x2ccb, 0x4aa9, 0x6ffc, 0x6ffd, 0x6ffd, 0x7000,
  0x0074, 0x0074, 0x2ffe, 0x4ffe, 0x77fb, 0x77fc, 0x77fc, 0x7800,
  0x0077, 0x0077, 0x3197, 0x52a8, 0x7bfa, 0x7bfb, 0x7bfb, 0x7c00,
  0x0078, 0x0078, 0x3263, 0x53fd, 0x7df9, 0x7dfa, 0x7dfa, 0x7e00,
  0x0078, 0x0078, 0x32c9, 0x54a7, 0x7ef8, 0x7ef9, 0x7ef9, 0x7f00,
  0x0078, 0x0078, 0x32fc, 0x54fc, 0x7f77, 0x7f78, 0x7f78, 0x7f80,
  0x0078, 0x0078, 0x3315, 0x5526, 0x7fb6, 0x7fb7, 0x7fb7, 0x7fc0,
  0x0078, 0x0078, 0x3321, 0x553b, 0x7fd5, 0x7fd6, 0x7fd6, 0x7fe0,
  0x0078, 0x0078, 0x3327, 0x5545, 0x7fe4, 0x7fe5, 0x7fe5, 0x7ff0,
  0x0078, 0x0078, 0x332a, 0x554a, 0x7feb, 0x7fec, 0x7fec, 0x7ff8,
  0x0078, 0x0078, 0x332b, 0x554c, 0x7fee, 0x7fef, 0x7fef, 0x7ffc,
  0x0078, 0x0078, 0x332b, 0x554d, 0x7fef, 0x7ff0, 0x7ff0, 0x7ffe,
  0x0078, 0x0078, 0x332b, 0x554d, 0x7fef, 0x7ff0, 0x7ff0, 0x7fff,
  0x0078, 0x0078, 0x332b, 0x554d, 0x7fef, 0x7ff0, 0x7ff0, 0x7fff,
  0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000,
  0x005e, 0x2665, 0x3fff, 0x5ffd, 0x5ffe, 0x5ffe, 0x6000, 0x6000,
  0x006d, 0x2ccb, 0x4aa9, 0x6ffc, 0x6ffd, 0x6ffd, 0x7000, 0x7000,
  0x0074, 0x2ffe, 0x4ffe, 0x77fb, 0x77fc, 0x77fc, 0x7800, 0x7800,
  0x0077, 0x3197, 0x52a8, 0x7bfa, 0x7bfb, 0x7bfb, 0x7c00, 0x7c00,
  0x0078, 0x3263, 0x53fd, 0x7df9, 0x7dfa, 0x7dfa, 0x7e00, 0x7e00,
  0x0078, 0x32c9, 0x54a7, 0x7ef8, 0x7ef9, 0x7ef9, 0x7f00, 0x7f00,
  0x0078, 0x32fc, 0x54fc, 0x7f77, 0x7f78, 0x7f78, 0x7f80, 0x7f80,
  0x0078, 0x3315, 0x5526, 0x7fb6, 0x7fb7, 0x7fb7, 0x7fc0, 0x7fc0,
  0x0078, 0x3321, 0x553b, 0x7fd5, 0x7fd6, 0x7fd6, 0x7fe0, 0x7fe0,
  0x0078, 0x3327, 0x5545, 0x7fe4, 0x7fe5, 0x7fe5, 0x7ff0, 0x7ff0,
  0x0078, 0x332a, 0x554a, 0x7feb, 0x7fec, 0x7fec, 0x7ff8, 0x7ff8,
  0x0078, 0x332b, 0x554c, 0x7fee, 0x7fef, 0x7fef, 0x7ffc, 0x7ffc,
  0x0078, 0x332b, 0x554d, 0x7fef, 0x7ff0, 0x7ff0, 0x7ffe, 0x7ffe,
  0x0078, 0x332b, 0x554d, 0x7fef, 0x7ff0, 0x7ff0, 0x7fff, 0x7fff,
  0x0078, 0x332b, 0x554d, 0x7fef, 0x7ff0, 0x7ff0, 0x7fff, 0x7fff,
  0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555,
  0x2665, 0x3fff, 0x5ffd, 0x5ffe, 0x5ffe, 0x6000, 0x6000, 0x7fff,
  0x2ccb, 0x4aa9, 0x6ffc, 0x6ffd, 0x6ffd, 0x7000, 0x7000, 0x9554,
  0x2ffe, 0x4ffe, 0x77fb, 0x77fc, 0x77fc, 0x7800, 0x7800, 0x9ffe,
  0x3197, 0x52a8, 0x7bfa, 0x7bfb, 0x7bfb, 0x7c00, 0x7c00, 0xa553,
  0x3263, 0x53fd, 0x7df9, 0x7dfa, 0x7dfa, 0x7e00, 0x7e00, 0xa7fd,
  0x32c9, 0x54a7, 0x7ef8, 0x7ef9, 0x7ef9, 0x7f00, 0x7f00, 0xa952,
  0x32fc, 0x54fc, 0x7f77, 0x7f78, 0x7f78, 0x7f80, 0x7f80, 0xa9fc,
  0x3315, 0x5526, 0x7fb6, 0x7fb7, 0x7fb7, 0x7fc0, 0x7fc0, 0xaa51,
  0x3321, 0x553b, 0x7fd5, 0x7fd6, 0x7fd6, 0x7fe0, 0x7fe0, 0xaa7b,
  0x3327, 0x5545, 0x7fe4, 0x7fe5, 0x7fe5, 0x7ff0, 0x7ff0, 0xaa90,
  0x332a, 0x554a, 0x7feb, 0x7fec, 0x7fec, 0x7ff8, 0x7ff8, 0xaa9a,
  0x332b, 0x554c, 0x7fee, 0x7fef, 0x7fef, 0x7ffc, 0x7ffc, 0xaa9f,
  0x332b, 0x554d, 0x7fef, 0x7ff0, 0x7ff0, 0x7ffe, 0x7ffe, 0xaaa1,
  0x332b, 0x554d, 0x7fef, 0x7ff0, 0x7ff0, 0x7fff, 0x7fff, 0xaaa2,
  0x332b, 0x554d, 0x7fef, 0x7ff0, 0x7ff0, 0x7fff, 0x7fff, 0xaaa2,
  0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666,
  0x3fff, 0x5ffd, 0x5ffe, 0x5ffe, 0x6000, 0x6000, 0x7fff, 0x9999,
  0x4aa9, 0x6ffc, 0x6ffd, 0x6ffd, 0x7000, 0x7000, 0x9554, 0xb332,
  0x4ffe, 0x77fb, 0x77fc, 0x77fc, 0x7800, 0x7800, 0x9ffe, 0xbffe,
  0x52a8, 0x7bfa, 0x7bfb, 0x7bfb, 0x7c00, 0x7c00, 0xa553, 0xc664,
  0x53fd, 0x7df9, 0x7dfa, 0x7dfa, 0x7e00, 0x7e00, 0xa7fd, 0xc997,
  0x54a7, 0x7ef8, 0x7ef9, 0x7ef9, 0x7f00, 0x7f00, 0xa952, 0xcb30,
  0x54fc, 0x7f77, 0x7f78, 0x7f78, 0x7f80, 0x7f80, 0xa9fc, 0xcbfc,
  0x5526, 0x7fb6, 0x7fb7, 0x7fb7, 0x7fc0, 0x7fc0, 0xaa51, 0xcc62,
  0x553b, 0x7fd5, 0x7fd6, 0x7fd6, 0x7fe0, 0x7fe0, 0xaa7b, 0xcc95,
  0x5545, 0x7fe4, 0x7fe5, 0x7fe5, 0x7ff0, 0x7ff0, 0xaa90, 0xccae,
  0x554a, 0x7feb, 0x7fec, 0x7fec, 0x7ff8, 0x7ff8, 0xaa9a, 0xccba,
  0x554c, 0x7fee, 0x7fef, 0x7fef, 0x7ffc, 0x7ffc, 0xaa9f, 0xccc0,
  0x554d, 0x7fef, 0x7ff0, 0x7ff0, 0x7ffe, 0x7ffe, 0xaaa1, 0xccc3,
  0x554d, 0x7fef, 0x7ff0, 0x7ff0, 0x7fff, 0x7fff, 0xaaa2, 0xccc4,
  0x554d, 0x7fef, 0x7ff0, 0x7ff0, 0x7fff, 0x7fff, 0xaaa2, 0xccc4,
  0x3ffe, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0,
  0x5ffd, 0x5ffe, 0x5ffe, 0x6000, 0x6000, 0x7fff, 0x9999, 0xbfa0,
  0x6ffc, 0x6ffd, 0x6ffd, 0x7000, 0x7000, 0x9554, 0xb332, 0xdf90,
  0x77fb, 0x77fc, 0x77fc, 0x7800, 0x7800, 0x9ffe, 0xbffe, 0xef88,
  0x7bfa, 0x7bfb, 0x7bfb, 0x7c00, 0x7c00, 0xa553, 0xc664, 0xf784,
  0x7df9, 0x7dfa, 0x7dfa, 0x7e00, 0x7e00, 0xa7fd, 0xc997, 0xfb82,
  0x7ef8, 0x7ef9, 0x7ef9, 0x7f00, 0x7f00, 0xa952, 0xcb30, 0xfd81,
  0x7f77, 0x7f78, 0x7f78, 0x7f80, 0x7f80, 0xa9fc, 0xcbfc, 0xfe80,
  0x7fb6, 0x7fb7, 0x7fb7, 0x7fc0, 0x7fc0, 0xaa51, 0xcc62, 0xfeff,
  0x7fd5, 0x7fd6, 0x7fd6, 0x7fe0, 0x7fe0, 0xaa7b, 0xcc95, 0xff3e,
  0x7fe4, 0x7fe5, 0x7fe5, 0x7ff0, 0x7ff0, 0xaa90, 0xccae, 0xff5d,
  0x7feb, 0x7fec, 0x7fec, 0x7ff8, 0x7ff8, 0xaa9a, 0xccba, 0xff6c,
  0x7fee, 0x7fef, 0x7fef, 0x7ffc, 0x7ffc, 0xaa9f, 0xccc0, 0xff73,
  0x7fef, 0x7ff0, 0x7ff0, 0x7ffe, 0x7ffe, 0xaaa1, 0xccc3, 0xff76,
  0x7fef, 0x7ff0, 0x7ff0, 0x7fff, 0x7fff, 0xaaa2, 0xccc4, 0xff77,
  0x7fef, 0x7ff0, 0x7ff0, 0x7fff, 0x7fff, 0xaaa2, 0xccc4, 0xff77,
  0x3fff, 0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0,
  0x5ffe, 0x5ffe, 0x6000, 0x6000, 0x7fff, 0x9999, 0xbfa0, 0xbfa0,
  0x6ffd, 0x6ffd, 0x7000, 0x7000, 0x9554, 0xb332, 0xdf90, 0xdf90,
  0x77fc, 0x77fc, 0x7800, 0x7800, 0x9ffe, 0xbffe, 0xef88, 0xef88,
  0x7bfb, 0x7bfb, 0x7c00, 0x7c00, 0xa553, 0xc664, 0xf784, 0xf784,
  0x7dfa, 0x7dfa, 0x7e00, 0x7e00, 0xa7fd, 0xc997, 0xfb82, 0xfb82,
  0x7ef9, 0x7ef9, 0x7f00, 0x7f00, 0xa952, 0xcb30, 0xfd81, 0xfd81,
  0x7f78, 0x7f78, 0x7f80, 0x7f80, 0xa9fc, 0xcbfc, 0xfe80, 0xfe80,
  0x7fb7, 0x7fb7, 0x7fc0, 0x7fc0, 0xaa51, 0xcc62, 0xfeff, 0xfeff,
  0x7fd6, 0x7fd6, 0x7fe0, 0x7fe0, 0xaa7b, 0xcc95, 0xff3e, 0xff3e,
  0x7fe5, 0x7fe5, 0x7ff0, 0x7ff0, 0xaa90, 0xccae, 0xff5d, 0xff5d,
  0x7fec, 0x7fec, 0x7ff8, 0x7ff8, 0xaa9a, 0xccba, 0xff6c, 0xff6c,
  0x7fef, 0x7fef, 0x7ffc, 0x7ffc, 0xaa9f, 0xccc0, 0xff73, 0xff73,
  0x7ff0, 0x7ff0, 0x7ffe, 0x7ffe, 0xaaa1, 0xccc3, 0xff76, 0xff76,
  0x7ff0, 0x7ff0, 0x7fff, 0x7fff, 0xaaa2, 0xccc4, 0xff77, 0xff77,
  0x7ff0, 0x7ff0, 0x7fff, 0x7fff, 0xaaa2, 0xccc4, 0xff77, 0xff77,
  0x3fff, 0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1,
  0x5ffe, 0x6000, 0x6000, 0x7fff, 0x9999, 0xbfa0, 0xbfa0, 0xbfa1,
  0x6ffd, 0x7000, 0x7000, 0x9554, 0xb332, 0xdf90, 0xdf90, 0xdf91,
  0x77fc, 0x7800, 0x7800, 0x9ffe, 0xbffe, 0xef88, 0xef88, 0xef89,
  0x7bfb, 0x7c00, 0x7c00, 0xa553, 0xc664, 0xf784, 0xf784, 0xf785,
  0x7dfa, 0x7e00, 0x7e00, 0xa7fd, 0xc997, 0xfb82, 0xfb82, 0xfb83,
  0x7ef9, 0x7f00, 0x7f00, 0xa952, 0xcb30, 0xfd81, 0xfd81, 0xfd82,
  0x7f78, 0x7f80, 0x7f80, 0xa9fc, 0xcbfc, 0xfe80, 0xfe80, 0xfe81,
  0x7fb7, 0x7fc0, 0x7fc0, 0xaa51, 0xcc62, 0xfeff, 0xfeff, 0xff00,
  0x7fd6, 0x7fe0, 0x7fe0, 0xaa7b, 0xcc95, 0xff3e, 0xff3e, 0xff3f,
  0x7fe5, 0x7ff0, 0x7ff0, 0xaa90, 0xccae, 0xff5d, 0xff5d, 0xff5e,
  0x7fec, 0x7ff8, 0x7ff8, 0xaa9a, 0xccba, 0xff6c, 0xff6c, 0xff6d,
  0x7fef, 0x7ffc, 0x7ffc, 0xaa9f, 0xccc0, 0xff73, 0xff73, 0xff74,
  0x7ff0, 0x7ffe, 0x7ffe, 0xaaa1, 0xccc3, 0xff76, 0xff76, 0xff77,
  0x7ff0, 0x7fff, 0x7fff, 0xaaa2, 0xccc4, 0xff77, 0xff77, 0xff78,
  0x7ff0, 0x7fff, 0x7fff, 0xaaa2, 0xccc4, 0xff77, 0xff77, 0xff78,
  0x4000, 0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1,
  0x6000, 0x6000, 0x7fff, 0x9999, 0xbfa0, 0xbfa0, 0xbfa1, 0xbfa1,
  0x7000, 0x7000, 0x9554, 0xb332, 0xdf90, 0xdf90, 0xdf91, 0xdf91,
  0x7800, 0x7800, 0x9ffe, 0xbffe, 0xef88, 0xef88, 0xef89, 0xef89,
  0x7c00, 0x7c00, 0xa553, 0xc664, 0xf784, 0xf784, 0xf785, 0xf785,
  0x7e00, 0x7e00, 0xa7fd, 0xc997, 0xfb82, 0xfb82, 0xfb83, 0xfb83,
  0x7f00, 0x7f00, 0xa952, 0xcb30, 0xfd81, 0xfd81, 0xfd82, 0xfd82,
  0x7f80, 0x7f80, 0xa9fc, 0xcbfc, 0xfe80, 0xfe80, 0xfe81, 0xfe81,
  0x7fc0, 0x7fc0, 0xaa51, 0xcc62, 0xfeff, 0xfeff, 0xff00, 0xff00,
  0x7fe0, 0x7fe0, 0xaa7b, 0xcc95, 0xff3e, 0xff3e, 0xff3f, 0xff3f,
  0x7ff0, 0x7ff0, 0xaa90, 0xccae, 0xff5d, 0xff5d, 0xff5e, 0xff5e,
  0x7ff8, 0x7ff8, 0xaa9a, 0xccba, 0xff6c, 0xff6c, 0xff6d, 0xff6d,
  0x7ffc, 0x7ffc, 0xaa9f, 0xccc0, 0xff73, 0xff73, 0xff74, 0xff74,
  0x7ffe, 0x7ffe, 0xaaa1, 0xccc3, 0xff76, 0xff76, 0xff77, 0xff77,
  0x7fff, 0x7fff, 0xaaa2, 0xccc4, 0xff77, 0xff77, 0xff78, 0xff78,
  0x7fff, 0x7fff, 0xaaa2, 0xccc4, 0xff77, 0xff77, 0xff78, 0xff78,
  0x4000, 0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8,
  0x6000, 0x7fff, 0x9999, 0xbfa0, 0xbfa0, 0xbfa1, 0xbfa1, 0xbff4,
  0x7000, 0x9554, 0xb332, 0xdf90, 0xdf90, 0xdf91, 0xdf91, 0xdff2,
  0x7800, 0x9ffe, 0xbffe, 0xef88, 0xef88, 0xef89, 0xef89, 0xeff1,
  0x7c00, 0xa553, 0xc664, 0xf784, 0xf784, 0xf785, 0xf785, 0xf7f0,
  0x7e00, 0xa7fd, 0xc997, 0xfb82, 0xfb82, 0xfb83, 0xfb83, 0xfbef,
  0x7f00, 0xa952, 0xcb30, 0xfd81, 0xfd81, 0xfd82, 0xfd82, 0xfdee,
  0x7f80, 0xa9fc, 0xcbfc, 0xfe80, 0xfe80, 0xfe81, 0xfe81, 0xfeed,
  0x7fc0, 0xaa51, 0xcc62, 0xfeff, 0xfeff, 0xff00, 0xff00, 0xff6c,
  0x7fe0, 0xaa7b, 0xcc95, 0xff3e, 0xff3e, 0xff3f, 0xff3f, 0xffab,
  0x7ff0, 0xaa90, 0xccae, 0xff5d, 0xff5d, 0xff5e, 0xff5e, 0xffca,
  0x7ff8, 0xaa9a, 0xccba, 0xff6c, 0xff6c, 0xff6d, 0xff6d, 0xffd9,
  0x7ffc, 0xaa9f, 0xccc0, 0xff73, 0xff73, 0xff74, 0xff74, 0xffe0,
  0x7ffe, 0xaaa1, 0xccc3, 0xff76, 0xff76, 0xff77, 0xff77, 0xffe3,
  0x7fff, 0xaaa2, 0xccc4, 0xff77, 0xff77, 0xff78, 0xff78, 0xffe4,
  0x7fff, 0xaaa2, 0xccc4, 0xff77, 0xff77, 0xff78, 0xff78, 0xffe4,
  0x5555, 0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe,
  0x7fff, 0x9999, 0xbfa0, 0xbfa0, 0xbfa1, 0xbfa1, 0xbff4, 0xbffd,
  0x9554, 0xb332, 0xdf90, 0xdf90, 0xdf91, 0xdf91, 0xdff2, 0xdffc,
  0x9ffe, 0xbffe, 0xef88, 0xef88, 0xef89, 0xef89, 0xeff1, 0xeffb,
  0xa553, 0xc664, 0xf784, 0xf784, 0xf785, 0xf785, 0xf7f0, 0xf7fa,
  0xa7fd, 0xc997, 0xfb82, 0xfb82, 0xfb83, 0xfb83, 0xfbef, 0xfbf9,
  0xa952, 0xcb30, 0xfd81, 0xfd81, 0xfd82, 0xfd82, 0xfdee, 0xfdf8,
  0xa9fc, 0xcbfc, 0xfe80, 0xfe80, 0xfe81, 0xfe81, 0xfeed, 0xfef7,
  0xaa51, 0xcc62, 0xfeff, 0xfeff, 0xff00, 0xff00, 0xff6c, 0xff76,
  0xaa7b, 0xcc95, 0xff3e, 0xff3e, 0xff3f, 0xff3f, 0xffab, 0xffb5,
  0xaa90, 0xccae, 0xff5d, 0xff5d, 0xff5e, 0xff5e, 0xffca, 0xffd4,
  0xaa9a, 0xccba, 0xff6c, 0xff6c, 0xff6d, 0xff6d, 0xffd9, 0xffe3,
  0xaa9f, 0xccc0, 0xff73, 0xff73, 0xff74, 0xff74, 0xffe0, 0xffea,
  0xaaa1, 0xccc3, 0xff76, 0xff76, 0xff77, 0xff77, 0xffe3, 0xffed,
  0xaaa2, 0xccc4, 0xff77, 0xff77, 0xff78, 0xff78, 0xffe4, 0xffee,
  0xaaa2, 0xccc4, 0xff77, 0xff77, 0xff78, 0xff78, 0xffe4, 0xffee,
  0x6666, 0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff,
  0x9999, 0xbfa0, 0xbfa0, 0xbfa1, 0xbfa1, 0xbff4, 0xbffd, 0xbffe,
  0xb332, 0xdf90, 0xdf90, 0xdf91, 0xdf91, 0xdff2, 0xdffc, 0xdffd,
  0xbffe, 0xef88, 0xef88, 0xef89, 0xef89, 0xeff1, 0xeffb, 0xeffc,
  0xc664, 0xf784, 0xf784, 0xf785, 0xf785, 0xf7f0, 0xf7fa, 0xf7fb,
  0xc997, 0xfb82, 0xfb82, 0xfb83, 0xfb83, 0xfbef, 0xfbf9, 0xfbfa,
  0xcb30, 0xfd81, 0xfd81, 0xfd82, 0xfd82, 0xfdee, 0xfdf8, 0xfdf9,
  0xcbfc, 0xfe80, 0xfe80, 0xfe81, 0xfe81, 0xfeed, 0xfef7, 0xfef8,
  0xcc62, 0xfeff, 0xfeff, 0xff00, 0xff00, 0xff6c, 0xff76, 0xff77,
  0xcc95, 0xff3e, 0xff3e, 0xff3f, 0xff3f, 0xffab, 0xffb5, 0xffb6,
  0xccae, 0xff5d, 0xff5d, 0xff5e, 0xff5e, 0xffca, 0xffd4, 0xffd5,
  0xccba, 0xff6c, 0xff6c, 0xff6d, 0xff6d, 0xffd9, 0xffe3, 0xffe4,
  0xccc0, 0xff73, 0xff73, 0xff74, 0xff74, 0xffe0, 0xffea, 0xffeb,
  0xccc3, 0xff76, 0xff76, 0xff77, 0xff77, 0xffe3, 0xffed, 0xffee,
  0xccc4, 0xff77, 0xff77, 0xff78, 0xff78, 0xffe4, 0xffee, 0xffef,
  0xccc4, 0xff77, 0xff77, 0xff78, 0xff78, 0xffe4, 0xffee, 0xffef,
  0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe, 0x7fff, 0x7fff,
  0xbfa0, 0xbfa0, 0xbfa1, 0xbfa1, 0xbff4, 0xbffd, 0xbffe, 0xbffe,
  0xdf90, 0xdf90, 0xdf91, 0xdf91, 0xdff2, 0xdffc, 0xdffd, 0xdffd,
  0xef88, 0xef88, 0xef89, 0xef89, 0xeff1, 0xeffb, 0xeffc, 0xeffc,
  0xf784, 0xf784, 0xf785, 0xf785, 0xf7f0, 0xf7fa, 0xf7fb, 0xf7fb,
  0xfb82, 0xfb82, 0xfb83, 0xfb83, 0xfbef, 0xfbf9, 0xfbfa, 0xfbfa,
  0xfd81, 0xfd81, 0xfd82, 0xfd82, 0xfdee, 0xfdf8, 0xfdf9, 0xfdf9,
  0xfe80, 0xfe80, 0xfe81, 0xfe81, 0xfeed, 0xfef7, 0xfef8, 0xfef8,
  0xfeff, 0xfeff, 0xff00, 0xff00, 0xff6c, 0xff76, 0xff77, 0xff77,
  0xff3e, 0xff3e, 0xff3f, 0xff3f, 0xffab, 0xffb5, 0xffb6, 0xffb6,
  0xff5d, 0xff5d, 0xff5e, 0xff5e, 0xffca, 0xffd4, 0xffd5, 0xffd5,
  0xff6c, 0xff6c, 0xff6d, 0xff6d, 0xffd9, 0xffe3, 0xffe4, 0xffe4,
  0xff73, 0xff73, 0xff74, 0xff74, 0xffe0, 0xffea, 0xffeb, 0xffeb,
  0xff76, 0xff76, 0xff77, 0xff77, 0xffe3, 0xffed, 0xffee, 0xffee,
  0xff77, 0xff77, 0xff78, 0xff78, 0xffe4, 0xffee, 0xffef, 0xffef,
  0xff77, 0xff77, 0xff78, 0xff78, 0xffe4, 0xffee, 0xffef, 0xffef,
};
const unsigned kExpectedCount_NEON_usra_8H_2OPIMM = 384;

#endif  // VIXL_SIM_USRA_8H_2OPIMM_TRACE_A64_H_