// 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_SQDMULL_4S_TRACE_AARCH64_H_
#define VIXL_SIM_SQDMULL_4S_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_sqdmull_4S[] = {
  0x00007c08, 0x00007e02, 0x147ab852, 0x38e31c72,
  0x00007d04, 0x0032cc9a, 0x2221ddde, 0x55530002,
  0x00326634, 0x0054aa56, 0x3331ccce, 0x5553aaac,
  0x0053ffac, 0x007efd06, 0x33323334, 0x55545556,
  0x007dfd0c, 0x007efe04, 0x3332999a, 0x00000000,
  0x007dfe08, 0x007eff02, 0x00000000, 0x0000aaaa,
  0x007dff04, 0x00000000, 0x00006666, 0x00015554,
  0x00000000, 0x000000fe, 0x0000cccc, 0x000aaaa0,
  0x000000fc, 0x000001fc, 0x00066660, 0x00535502,
  0x000001f8, 0x00000fe0, 0x0031ffce, 0x0053ffac,
  0x00000fc0, 0x00007c06, 0x00326634, 0x0054aa56,
  0x00007b0c, 0x00007d04, 0x0032cc9a, 0x2221ddde,
  0x00007c08, 0x00007e02, 0x147ab852, 0x38e31c72,
  0x00007d04, 0x0032cc9a, 0x2221ddde, 0x55530002,
  0x00326634, 0x0054aa56, 0x3331ccce, 0x5553aaac,
  0x0053ffac, 0x007efd06, 0x33323334, 0x55545556,
  0x007dfd0c, 0x007efe04, 0x3332999a, 0xaaab0000,
  0x007dfe08, 0x007eff02, 0xcccd0000, 0xaaabaaaa,
  0x007dff04, 0xff810000, 0xcccd6666, 0xc71c38e4,
  0xff820000, 0xff8100fe, 0xddddbbbc, 0xdddd7778,
  0xff8200fc, 0xffab54ac, 0xeb84e148, 0xffaaab00,
  0xffabff58, 0xffcd3268, 0xffcccd00, 0xffab55aa,
  0xffcd98d0, 0xffff8100, 0xffcd3366, 0xffac0054,
  0xffff8200, 0xffff81fe, 0xffcd99cc, 0xffacaafe,
  0xffff81fe, 0xffcd99cc, 0xffacaafe, 0xfff00060,
  0xffff82fc, 0xffce0032, 0xfff55560, 0xfffd0012,
  0xffff83fa, 0xfff999a0, 0xfffe0002, 0xfffe000c,
  0xfffff020, 0xfffeccce, 0xfffeaaac, 0xffff0006,
  0xfffffd06, 0xffff3334, 0xffff5556, 0x00000000,
  0xfffffe04, 0xffff999a, 0x00000000, 0x0000fffa,
  0xffffff02, 0x00000000, 0x0000aaaa, 0x0001fff4,
  0x00000000, 0x00006666, 0x00015554, 0x000fffa0,
  0x000000fe, 0x0000cccc, 0x000aaaa0, 0x007cfd12,
  0x000001fc, 0x00066660, 0x00535502, 0x007dfd0c,
  0x00000fe0, 0x0031ffce, 0x0053ffac, 0x007efd06,
  0x00007c06, 0x00326634, 0x0054aa56, 0x3331ccce,
  0x00007d04, 0x0032cc9a, 0x2221ddde, 0x55530002,
  0x00007e02, 0x147ab852, 0x38e31c72, 0x7ffa0012,
  0x0032cc9a, 0x2221ddde, 0x55530002, 0x7ffb000c,
  0x0054aa56, 0x3331ccce, 0x5553aaac, 0x7ffc0006,
  0x007efd06, 0x33323334, 0x55545556, 0x80030000,
  0x007efe04, 0x3332999a, 0xaaab0000, 0x8003fffa,
  0x007eff02, 0xcccd0000, 0xaaabaaaa, 0xaaac0004,
  0xff810000, 0xcccd6666, 0xc71c38e4, 0xcccd3338,
  0xff8100fe, 0xddddbbbc, 0xdddd7778, 0xff800300,
  0xffab54ac, 0xeb84e148, 0xffaaab00, 0xff8102fa,
  0xffcd3268, 0xffcccd00, 0xffab55aa, 0xff8202f4,
  0xffff8100, 0xffcd3366, 0xffac0054, 0xff8302ee,
  0xffcd3366, 0xffac0054, 0xff8302ee, 0xfff00040,
  0xffcd99cc, 0xffacaafe, 0xfff00060, 0xfffd000c,
  0xffce0032, 0xfff55560, 0xfffd0012, 0xfffe0008,
  0xfff999a0, 0xfffe0002, 0xfffe000c, 0xffff0004,
  0xfffeccce, 0xfffeaaac, 0xffff0006, 0x00000000,
  0xffff3334, 0xffff5556, 0x00000000, 0x0000fffc,
  0xffff999a, 0x00000000, 0x0000fffa, 0x0001fff8,
  0x00000000, 0x0000aaaa, 0x0001fff4, 0x000fffc0,
  0x00006666, 0x00015554, 0x000fffa0, 0x007cfe0c,
  0x0000cccc, 0x000aaaa0, 0x007cfd12, 0x007dfe08,
  0x00066660, 0x00535502, 0x007dfd0c, 0x007efe04,
  0x0031ffce, 0x0053ffac, 0x007efd06, 0x33323334,
  0x00326634, 0x0054aa56, 0x3331ccce, 0x5553aaac,
  0x0032cc9a, 0x2221ddde, 0x55530002, 0x7ffb000c,
  0x147ab852, 0x38e31c72, 0x7ffa0012, 0x7ffc0008,
  0x2221ddde, 0x55530002, 0x7ffb000c, 0x7ffd0004,
  0x3331ccce, 0x5553aaac, 0x7ffc0006, 0x80020000,
  0x33323334, 0x55545556, 0x80030000, 0x8002fffc,
  0x3332999a, 0xaaab0000, 0x8003fffa, 0xaaab5558,
  0xcccd0000, 0xaaabaaaa, 0xaaac0004, 0xccccccd0,
  0xcccd6666, 0xc71c38e4, 0xcccd3338, 0xff800200,
  0xddddbbbc, 0xdddd7778, 0xff800300, 0xff8101fc,
  0xeb84e148, 0xffaaab00, 0xff8102fa, 0xff8201f8,
  0xffcccd00, 0xffab55aa, 0xff8202f4, 0xff8301f4,
  0xffab55aa, 0xff8202f4, 0xff8301f4, 0xfff00020,
  0xffac0054, 0xff8302ee, 0xfff00040, 0xfffd0006,
  0xffacaafe, 0xfff00060, 0xfffd000c, 0xfffe0004,
  0xfff55560, 0xfffd0012, 0xfffe0008, 0xffff0002,
  0xfffe0002, 0xfffe000c, 0xffff0004, 0x00000000,
  0xfffeaaac, 0xffff0006, 0x00000000, 0x0000fffe,
  0xffff5556, 0x00000000, 0x0000fffc, 0x0001fffc,
  0x00000000, 0x0000fffa, 0x0001fff8, 0x000fffe0,
  0x0000aaaa, 0x0001fff4, 0x000fffc0, 0x007cff06,
  0x00015554, 0x000fffa0, 0x007cfe0c, 0x007dff04,
  0x000aaaa0, 0x007cfd12, 0x007dfe08, 0x007eff02,
  0x00535502, 0x007dfd0c, 0x007efe04, 0x3332999a,
  0x0053ffac, 0x007efd06, 0x33323334, 0x55545556,
  0x0054aa56, 0x3331ccce, 0x5553aaac, 0x7ffc0006,
  0x2221ddde, 0x55530002, 0x7ffb000c, 0x7ffd0004,
  0x38e31c72, 0x7ffa0012, 0x7ffc0008, 0x7ffe0002,
  0x55530002, 0x7ffb000c, 0x7ffd0004, 0x80010000,
  0x5553aaac, 0x7ffc0006, 0x80020000, 0x8001fffe,
  0x55545556, 0x80030000, 0x8002fffc, 0xaaaaaaac,
  0xaaab0000, 0x8003fffa, 0xaaab5558, 0xcccc6668,
  0xaaabaaaa, 0xaaac0004, 0xccccccd0, 0xff800100,
  0xc71c38e4, 0xcccd3338, 0xff800200, 0xff8100fe,
  0xdddd7778, 0xff800300, 0xff8101fc, 0xff8200fc,
  0xffaaab00, 0xff8102fa, 0xff8201f8, 0xff8300fa,
  0xff8102fa, 0xff8201f8, 0xff8300fa, 0x00000000,
  0xff8202f4, 0xff8301f4, 0xfff00020, 0x00000000,
  0xff8302ee, 0xfff00040, 0xfffd0006, 0x00000000,
  0xfff00060, 0xfffd000c, 0xfffe0004, 0x00000000,
  0xfffd0012, 0xfffe0008, 0xffff0002, 0x00000000,
  0xfffe000c, 0xffff0004, 0x00000000, 0x00000000,
  0xffff0006, 0x00000000, 0x0000fffe, 0x00000000,
  0x00000000, 0x0000fffc, 0x0001fffc, 0x00000000,
  0x0000fffa, 0x0001fff8, 0x000fffe0, 0x00000000,
  0x0001fff4, 0x000fffc0, 0x007cff06, 0x00000000,
  0x000fffa0, 0x007cfe0c, 0x007dff04, 0x00000000,
  0x007cfd12, 0x007dfe08, 0x007eff02, 0x00000000,
  0x007dfd0c, 0x007efe04, 0x3332999a, 0x00000000,
  0x007efd06, 0x33323334, 0x55545556, 0x00000000,
  0x3331ccce, 0x5553aaac, 0x7ffc0006, 0x00000000,
  0x55530002, 0x7ffb000c, 0x7ffd0004, 0x00000000,
  0x7ffa0012, 0x7ffc0008, 0x7ffe0002, 0x00000000,
  0x7ffb000c, 0x7ffd0004, 0x80010000, 0x00000000,
  0x7ffc0006, 0x80020000, 0x8001fffe, 0x00000000,
  0x80030000, 0x8002fffc, 0xaaaaaaac, 0x00000000,
  0x8003fffa, 0xaaab5558, 0xcccc6668, 0x00000000,
  0xaaac0004, 0xccccccd0, 0xff800100, 0x00000000,
  0xcccd3338, 0xff800200, 0xff8100fe, 0x00000000,
  0xff800300, 0xff8101fc, 0xff8200fc, 0x00000000,
  0xff8101fc, 0xff8200fc, 0x00000000, 0xffffffe0,
  0xff8201f8, 0xff8300fa, 0x00000000, 0xfffffffa,
  0xff8301f4, 0xfff00020, 0x00000000, 0xfffffffc,
  0xfff00040, 0xfffd0006, 0x00000000, 0xfffffffe,
  0xfffd000c, 0xfffe0004, 0x00000000, 0x00000000,
  0xfffe0008, 0xffff0002, 0x00000000, 0x00000002,
  0xffff0004, 0x00000000, 0x00000000, 0x00000004,
  0x00000000, 0x0000fffe, 0x00000000, 0x00000020,
  0x0000fffc, 0x0001fffc, 0x00000000, 0x000000fa,
  0x0001fff8, 0x000fffe0, 0x00000000, 0x000000fc,
  0x000fffc0, 0x007cff06, 0x00000000, 0x000000fe,
  0x007cfe0c, 0x007dff04, 0x00000000, 0x00006666,
  0x007dfe08, 0x007eff02, 0x00000000, 0x0000aaaa,
  0x007efe04, 0x3332999a, 0x00000000, 0x0000fffa,
  0x33323334, 0x55545556, 0x00000000, 0x0000fffc,
  0x5553aaac, 0x7ffc0006, 0x00000000, 0x0000fffe,
  0x7ffb000c, 0x7ffd0004, 0x00000000, 0xffff0000,
  0x7ffc0008, 0x7ffe0002, 0x00000000, 0xffff0002,
  0x7ffd0004, 0x80010000, 0x00000000, 0xffff5554,
  0x80020000, 0x8001fffe, 0x00000000, 0xffff9998,
  0x8002fffc, 0xaaaaaaac, 0x00000000, 0xffffff00,
  0xaaab5558, 0xcccc6668, 0x00000000, 0xffffff02,
  0xccccccd0, 0xff800100, 0x00000000, 0xffffff04,
  0xff800200, 0xff8100fe, 0x00000000, 0xffffff06,
  0xff8100fe, 0x00000000, 0xffffff06, 0xffffffc0,
  0xff8200fc, 0x00000000, 0xffffffe0, 0xfffffff4,
  0xff8300fa, 0x00000000, 0xfffffffa, 0xfffffff8,
  0xfff00020, 0x00000000, 0xfffffffc, 0xfffffffc,
  0xfffd0006, 0x00000000, 0xfffffffe, 0x00000000,
  0xfffe0004, 0x00000000, 0x00000000, 0x00000004,
  0xffff0002, 0x00000000, 0x00000002, 0x00000008,
  0x00000000, 0x00000000, 0x00000004, 0x00000040,
  0x0000fffe, 0x00000000, 0x00000020, 0x000001f4,
  0x0001fffc, 0x00000000, 0x000000fa, 0x000001f8,
  0x000fffe0, 0x00000000, 0x000000fc, 0x000001fc,
  0x007cff06, 0x00000000, 0x000000fe, 0x0000cccc,
  0x007dff04, 0x00000000, 0x00006666, 0x00015554,
  0x007eff02, 0x00000000, 0x0000aaaa, 0x0001fff4,
  0x3332999a, 0x00000000, 0x0000fffa, 0x0001fff8,
  0x55545556, 0x00000000, 0x0000fffc, 0x0001fffc,
  0x7ffc0006, 0x00000000, 0x0000fffe, 0xfffe0000,
  0x7ffd0004, 0x00000000, 0xffff0000, 0xfffe0004,
  0x7ffe0002, 0x00000000, 0xffff0002, 0xfffeaaa8,
  0x80010000, 0x00000000, 0xffff5554, 0xffff3330,
  0x8001fffe, 0x00000000, 0xffff9998, 0xfffffe00,
  0xaaaaaaac, 0x00000000, 0xffffff00, 0xfffffe04,
  0xcccc6668, 0x00000000, 0xffffff02, 0xfffffe08,
  0xff800100, 0x00000000, 0xffffff04, 0xfffffe0c,
  0x00000000, 0xffffff04, 0xfffffe0c, 0xfffffe00,
  0x00000000, 0xffffff06, 0xffffffc0, 0xffffffa0,
  0x00000000, 0xffffffe0, 0xfffffff4, 0xffffffc0,
  0x00000000, 0xfffffffa, 0xfffffff8, 0xffffffe0,
  0x00000000, 0xfffffffc, 0xfffffffc, 0x00000000,
  0x00000000, 0xfffffffe, 0x00000000, 0x00000020,
  0x00000000, 0x00000000, 0x00000004, 0x00000040,
  0x00000000, 0x00000002, 0x00000008, 0x00000200,
  0x00000000, 0x00000004, 0x00000040, 0x00000fa0,
  0x00000000, 0x00000020, 0x000001f4, 0x00000fc0,
  0x00000000, 0x000000fa, 0x000001f8, 0x00000fe0,
  0x00000000, 0x000000fc, 0x000001fc, 0x00066660,
  0x00000000, 0x000000fe, 0x0000cccc, 0x000aaaa0,
  0x00000000, 0x00006666, 0x00015554, 0x000fffa0,
  0x00000000, 0x0000aaaa, 0x0001fff4, 0x000fffc0,
  0x00000000, 0x0000fffa, 0x0001fff8, 0x000fffe0,
  0x00000000, 0x0000fffc, 0x0001fffc, 0xfff00000,
  0x00000000, 0x0000fffe, 0xfffe0000, 0xfff00020,
  0x00000000, 0xffff0000, 0xfffe0004, 0xfff55540,
  0x00000000, 0xffff0002, 0xfffeaaa8, 0xfff99980,
  0x00000000, 0xffff5554, 0xffff3330, 0xfffff000,
  0x00000000, 0xffff9998, 0xfffffe00, 0xfffff020,
  0x00000000, 0xffffff00, 0xfffffe04, 0xfffff040,
  0x00000000, 0xffffff02, 0xfffffe08, 0xfffff060,
  0xffffff02, 0xfffffe08, 0xfffff060, 0xfffff060,
  0xffffff04, 0xfffffe0c, 0xfffffe00, 0xfffffd12,
  0xffffff06, 0xffffffc0, 0xffffffa0, 0xfffffe0c,
  0xffffffe0, 0xfffffff4, 0xffffffc0, 0xffffff06,
  0xfffffffa, 0xfffffff8, 0xffffffe0, 0x00000000,
  0xfffffffc, 0xfffffffc, 0x00000000, 0x000000fa,
  0xfffffffe, 0x00000000, 0x00000020, 0x000001f4,
  0x00000000, 0x00000004, 0x00000040, 0x00000fa0,
  0x00000002, 0x00000008, 0x00000200, 0x00007a12,
  0x00000004, 0x00000040, 0x00000fa0, 0x00007b0c,
  0x00000020, 0x000001f4, 0x00000fc0, 0x00007c06,
  0x000000fa, 0x000001f8, 0x00000fe0, 0x0031ffce,
  0x000000fc, 0x000001fc, 0x00066660, 0x00535502,
  0x000000fe, 0x0000cccc, 0x000aaaa0, 0x007cfd12,
  0x00006666, 0x00015554, 0x000fffa0, 0x007cfe0c,
  0x0000aaaa, 0x0001fff4, 0x000fffc0, 0x007cff06,
  0x0000fffa, 0x0001fff8, 0x000fffe0, 0xff830000,
  0x0000fffc, 0x0001fffc, 0xfff00000, 0xff8300fa,
  0x0000fffe, 0xfffe0000, 0xfff00020, 0xffacaa04,
  0xffff0000, 0xfffe0004, 0xfff55540, 0xffcdff38,
  0xffff0002, 0xfffeaaa8, 0xfff99980, 0xffff8300,
  0xffff5554, 0xffff3330, 0xfffff000, 0xffff83fa,
  0xffff9998, 0xfffffe00, 0xfffff020, 0xffff84f4,
  0xffffff00, 0xfffffe04, 0xfffff040, 0xffff85ee,
  0xfffffe04, 0xfffff040, 0xffff85ee, 0xfffff040,
  0xfffffe08, 0xfffff060, 0xfffff060, 0xfffffd0c,
  0xfffffe0c, 0xfffffe00, 0xfffffd12, 0xfffffe08,
  0xffffffc0, 0xffffffa0, 0xfffffe0c, 0xffffff04,
  0xfffffff4, 0xffffffc0, 0xffffff06, 0x00000000,
  0xfffffff8, 0xffffffe0, 0x00000000, 0x000000fc,
  0xfffffffc, 0x00000000, 0x000000fa, 0x000001f8,
  0x00000000, 0x00000020, 0x000001f4, 0x00000fc0,
  0x00000004, 0x00000040, 0x00000fa0, 0x00007b0c,
  0x00000008, 0x00000200, 0x00007a12, 0x00007c08,
  0x00000040, 0x00000fa0, 0x00007b0c, 0x00007d04,
  0x000001f4, 0x00000fc0, 0x00007c06, 0x00326634,
  0x000001f8, 0x00000fe0, 0x0031ffce, 0x0053ffac,
  0x000001fc, 0x00066660, 0x00535502, 0x007dfd0c,
  0x0000cccc, 0x000aaaa0, 0x007cfd12, 0x007dfe08,
  0x00015554, 0x000fffa0, 0x007cfe0c, 0x007dff04,
  0x0001fff4, 0x000fffc0, 0x007cff06, 0xff820000,
  0x0001fff8, 0x000fffe0, 0xff830000, 0xff8200fc,
  0x0001fffc, 0xfff00000, 0xff8300fa, 0xffabff58,
  0xfffe0000, 0xfff00020, 0xffacaa04, 0xffcd98d0,
  0xfffe0004, 0xfff55540, 0xffcdff38, 0xffff8200,
  0xfffeaaa8, 0xfff99980, 0xffff8300, 0xffff82fc,
  0xffff3330, 0xfffff000, 0xffff83fa, 0xffff83f8,
  0xfffffe00, 0xfffff020, 0xffff84f4, 0xffff84f4,
  0xfffff020, 0xffff84f4, 0xffff84f4, 0xfffff020,
  0xfffff040, 0xffff85ee, 0xfffff040, 0xfffffd06,
  0xfffff060, 0xfffff060, 0xfffffd0c, 0xfffffe04,
  0xfffffe00, 0xfffffd12, 0xfffffe08, 0xffffff02,
  0xffffffa0, 0xfffffe0c, 0xffffff04, 0x00000000,
  0xffffffc0, 0xffffff06, 0x00000000, 0x000000fe,
  0xffffffe0, 0x00000000, 0x000000fc, 0x000001fc,
  0x00000000, 0x000000fa, 0x000001f8, 0x00000fe0,
  0x00000020, 0x000001f4, 0x00000fc0, 0x00007c06,
  0x00000040, 0x00000fa0, 0x00007b0c, 0x00007d04,
  0x00000200, 0x00007a12, 0x00007c08, 0x00007e02,
  0x00000fa0, 0x00007b0c, 0x00007d04, 0x0032cc9a,
  0x00000fc0, 0x00007c06, 0x00326634, 0x0054aa56,
  0x00000fe0, 0x0031ffce, 0x0053ffac, 0x007efd06,
  0x00066660, 0x00535502, 0x007dfd0c, 0x007efe04,
  0x000aaaa0, 0x007cfd12, 0x007dfe08, 0x007eff02,
  0x000fffa0, 0x007cfe0c, 0x007dff04, 0xff810000,
  0x000fffc0, 0x007cff06, 0xff820000, 0xff8100fe,
  0x000fffe0, 0xff830000, 0xff8200fc, 0xffab54ac,
  0xfff00000, 0xff8300fa, 0xffabff58, 0xffcd3268,
  0xfff00020, 0xffacaa04, 0xffcd98d0, 0xffff8100,
  0xfff55540, 0xffcdff38, 0xffff8200, 0xffff81fe,
  0xfff99980, 0xffff8300, 0xffff82fc, 0xffff82fc,
  0xfffff000, 0xffff83fa, 0xffff83f8, 0xffff83fa,
  0xffff83fa, 0xffff83f8, 0xffff83fa, 0xfff999a0,
  0xffff84f4, 0xffff84f4, 0xfffff020, 0xfffeccce,
  0xffff85ee, 0xfffff040, 0xfffffd06, 0xffff3334,
  0xfffff060, 0xfffffd0c, 0xfffffe04, 0xffff999a,
  0xfffffd12, 0xfffffe08, 0xffffff02, 0x00000000,
  0xfffffe0c, 0xffffff04, 0x00000000, 0x00006666,
  0xffffff06, 0x00000000, 0x000000fe, 0x0000cccc,
  0x00000000, 0x000000fc, 0x000001fc, 0x00066660,
  0x000000fa, 0x000001f8, 0x00000fe0, 0x0031ffce,
  0x000001f4, 0x00000fc0, 0x00007c06, 0x00326634,
  0x00000fa0, 0x00007b0c, 0x00007d04, 0x0032cc9a,
  0x00007a12, 0x00007c08, 0x00007e02, 0x147ab852,
  0x00007b0c, 0x00007d04, 0x0032cc9a, 0x2221ddde,
  0x00007c06, 0x00326634, 0x0054aa56, 0x3331ccce,
  0x0031ffce, 0x0053ffac, 0x007efd06, 0x33323334,
  0x00535502, 0x007dfd0c, 0x007efe04, 0x3332999a,
  0x007cfd12, 0x007dfe08, 0x007eff02, 0xcccd0000,
  0x007cfe0c, 0x007dff04, 0xff810000, 0xcccd6666,
  0x007cff06, 0xff820000, 0xff8100fe, 0xddddbbbc,
  0xff830000, 0xff8200fc, 0xffab54ac, 0xeb84e148,
  0xff8300fa, 0xffabff58, 0xffcd3268, 0xffcccd00,
  0xffacaa04, 0xffcd98d0, 0xffff8100, 0xffcd3366,
  0xffcdff38, 0xffff8200, 0xffff81fe, 0xffcd99cc,
  0xffff8300, 0xffff82fc, 0xffff82fc, 0xffce0032,
  0xffff82fc, 0xffff82fc, 0xffce0032, 0xfff55560,
  0xffff83f8, 0xffff83fa, 0xfff999a0, 0xfffe0002,
  0xffff84f4, 0xfffff020, 0xfffeccce, 0xfffeaaac,
  0xfffff040, 0xfffffd06, 0xffff3334, 0xffff5556,
  0xfffffd0c, 0xfffffe04, 0xffff999a, 0x00000000,
  0xfffffe08, 0xffffff02, 0x00000000, 0x0000aaaa,
  0xffffff04, 0x00000000, 0x00006666, 0x00015554,
  0x00000000, 0x000000fe, 0x0000cccc, 0x000aaaa0,
  0x000000fc, 0x000001fc, 0x00066660, 0x00535502,
  0x000001f8, 0x00000fe0, 0x0031ffce, 0x0053ffac,
  0x00000fc0, 0x00007c06, 0x00326634, 0x0054aa56,
  0x00007b0c, 0x00007d04, 0x0032cc9a, 0x2221ddde,
  0x00007c08, 0x00007e02, 0x147ab852, 0x38e31c72,
  0x00007d04, 0x0032cc9a, 0x2221ddde, 0x55530002,
  0x00326634, 0x0054aa56, 0x3331ccce, 0x5553aaac,
  0x0053ffac, 0x007efd06, 0x33323334, 0x55545556,
  0x007dfd0c, 0x007efe04, 0x3332999a, 0xaaab0000,
  0x007dfe08, 0x007eff02, 0xcccd0000, 0xaaabaaaa,
  0x007dff04, 0xff810000, 0xcccd6666, 0xc71c38e4,
  0xff820000, 0xff8100fe, 0xddddbbbc, 0xdddd7778,
  0xff8200fc, 0xffab54ac, 0xeb84e148, 0xffaaab00,
  0xffabff58, 0xffcd3268, 0xffcccd00, 0xffab55aa,
  0xffcd98d0, 0xffff8100, 0xffcd3366, 0xffac0054,
  0xffff8200, 0xffff81fe, 0xffcd99cc, 0xffacaafe,
  0xffff81fe, 0xffcd99cc, 0xffacaafe, 0xfff00060,
  0xffff82fc, 0xffce0032, 0xfff55560, 0xfffd0012,
  0xffff83fa, 0xfff999a0, 0xfffe0002, 0xfffe000c,
  0xfffff020, 0xfffeccce, 0xfffeaaac, 0xffff0006,
  0xfffffd06, 0xffff3334, 0xffff5556, 0x00000000,
  0xfffffe04, 0xffff999a, 0x00000000, 0x0000fffa,
  0xffffff02, 0x00000000, 0x0000aaaa, 0x0001fff4,
  0x00000000, 0x00006666, 0x00015554, 0x000fffa0,
  0x000000fe, 0x0000cccc, 0x000aaaa0, 0x007cfd12,
  0x000001fc, 0x00066660, 0x00535502, 0x007dfd0c,
  0x00000fe0, 0x0031ffce, 0x0053ffac, 0x007efd06,
  0x00007c06, 0x00326634, 0x0054aa56, 0x3331ccce,
  0x00007d04, 0x0032cc9a, 0x2221ddde, 0x55530002,
  0x00007e02, 0x147ab852, 0x38e31c72, 0x7ffa0012,
  0x0032cc9a, 0x2221ddde, 0x55530002, 0x7ffb000c,
  0x0054aa56, 0x3331ccce, 0x5553aaac, 0x7ffc0006,
  0x007efd06, 0x33323334, 0x55545556, 0x80030000,
  0x007efe04, 0x3332999a, 0xaaab0000, 0x8003fffa,
  0x007eff02, 0xcccd0000, 0xaaabaaaa, 0xaaac0004,
  0xff810000, 0xcccd6666, 0xc71c38e4, 0xcccd3338,
  0xff8100fe, 0xddddbbbc, 0xdddd7778, 0xff800300,
  0xffab54ac, 0xeb84e148, 0xffaaab00, 0xff8102fa,
  0xffcd3268, 0xffcccd00, 0xffab55aa, 0xff8202f4,
  0xffff8100, 0xffcd3366, 0xffac0054, 0xff8302ee,
  0xffcd3366, 0xffac0054, 0xff8302ee, 0xfff00040,
  0xffcd99cc, 0xffacaafe, 0xfff00060, 0xfffd000c,
  0xffce0032, 0xfff55560, 0xfffd0012, 0xfffe0008,
  0xfff999a0, 0xfffe0002, 0xfffe000c, 0xffff0004,
  0xfffeccce, 0xfffeaaac, 0xffff0006, 0x00000000,
  0xffff3334, 0xffff5556, 0x00000000, 0x0000fffc,
  0xffff999a, 0x00000000, 0x0000fffa, 0x0001fff8,
  0x00000000, 0x0000aaaa, 0x0001fff4, 0x000fffc0,
  0x00006666, 0x00015554, 0x000fffa0, 0x007cfe0c,
  0x0000cccc, 0x000aaaa0, 0x007cfd12, 0x007dfe08,
  0x00066660, 0x00535502, 0x007dfd0c, 0x007efe04,
  0x0031ffce, 0x0053ffac, 0x007efd06, 0x33323334,
  0x00326634, 0x0054aa56, 0x3331ccce, 0x5553aaac,
  0x0032cc9a, 0x2221ddde, 0x55530002, 0x7ffb000c,
  0x147ab852, 0x38e31c72, 0x7ffa0012, 0x7ffc0008,
  0x2221ddde, 0x55530002, 0x7ffb000c, 0x7ffd0004,
  0x3331ccce, 0x5553aaac, 0x7ffc0006, 0x80020000,
  0x33323334, 0x55545556, 0x80030000, 0x8002fffc,
  0x3332999a, 0xaaab0000, 0x8003fffa, 0xaaab5558,
  0xcccd0000, 0xaaabaaaa, 0xaaac0004, 0xccccccd0,
  0xcccd6666, 0xc71c38e4, 0xcccd3338, 0xff800200,
  0xddddbbbc, 0xdddd7778, 0xff800300, 0xff8101fc,
  0xeb84e148, 0xffaaab00, 0xff8102fa, 0xff8201f8,
  0xffcccd00, 0xffab55aa, 0xff8202f4, 0xff8301f4,
  0xffab55aa, 0xff8202f4, 0xff8301f4, 0xfff00020,
  0xffac0054, 0xff8302ee, 0xfff00040, 0xfffd0006,
  0xffacaafe, 0xfff00060, 0xfffd000c, 0xfffe0004,
  0xfff55560, 0xfffd0012, 0xfffe0008, 0xffff0002,
  0xfffe0002, 0xfffe000c, 0xffff0004, 0x00000000,
  0xfffeaaac, 0xffff0006, 0x00000000, 0x0000fffe,
  0xffff5556, 0x00000000, 0x0000fffc, 0x0001fffc,
  0x00000000, 0x0000fffa, 0x0001fff8, 0x000fffe0,
  0x0000aaaa, 0x0001fff4, 0x000fffc0, 0x007cff06,
  0x00015554, 0x000fffa0, 0x007cfe0c, 0x007dff04,
  0x000aaaa0, 0x007cfd12, 0x007dfe08, 0x007eff02,
  0x00535502, 0x007dfd0c, 0x007efe04, 0x3332999a,
  0x0053ffac, 0x007efd06, 0x33323334, 0x55545556,
  0x0054aa56, 0x3331ccce, 0x5553aaac, 0x7ffc0006,
  0x2221ddde, 0x55530002, 0x7ffb000c, 0x7ffd0004,
  0x38e31c72, 0x7ffa0012, 0x7ffc0008, 0x7ffe0002,
  0x55530002, 0x7ffb000c, 0x7ffd0004, 0x80010000,
  0x5553aaac, 0x7ffc0006, 0x80020000, 0x8001fffe,
  0x55545556, 0x80030000, 0x8002fffc, 0xaaaaaaac,
  0xaaab0000, 0x8003fffa, 0xaaab5558, 0xcccc6668,
  0xaaabaaaa, 0xaaac0004, 0xccccccd0, 0xff800100,
  0xc71c38e4, 0xcccd3338, 0xff800200, 0xff8100fe,
  0xdddd7778, 0xff800300, 0xff8101fc, 0xff8200fc,
  0xffaaab00, 0xff8102fa, 0xff8201f8, 0xff8300fa,
  0xff8102fa, 0xff8201f8, 0xff8300fa, 0x00100000,
  0xff8202f4, 0xff8301f4, 0xfff00020, 0x00030000,
  0xff8302ee, 0xfff00040, 0xfffd0006, 0x00020000,
  0xfff00060, 0xfffd000c, 0xfffe0004, 0x00010000,
  0xfffd0012, 0xfffe0008, 0xffff0002, 0x00000000,
  0xfffe000c, 0xffff0004, 0x00000000, 0xffff0000,
  0xffff0006, 0x00000000, 0x0000fffe, 0xfffe0000,
  0x00000000, 0x0000fffc, 0x0001fffc, 0xfff00000,
  0x0000fffa, 0x0001fff8, 0x000fffe0, 0xff830000,
  0x0001fff4, 0x000fffc0, 0x007cff06, 0xff820000,
  0x000fffa0, 0x007cfe0c, 0x007dff04, 0xff810000,
  0x007cfd12, 0x007dfe08, 0x007eff02, 0xcccd0000,
  0x007dfd0c, 0x007efe04, 0x3332999a, 0xaaab0000,
  0x007efd06, 0x33323334, 0x55545556, 0x80030000,
  0x3331ccce, 0x5553aaac, 0x7ffc0006, 0x80020000,
  0x55530002, 0x7ffb000c, 0x7ffd0004, 0x80010000,
  0x7ffa0012, 0x7ffc0008, 0x7ffe0002, 0x7fffffff,
  0x7ffb000c, 0x7ffd0004, 0x80010000, 0x7fff0000,
  0x7ffc0006, 0x80020000, 0x8001fffe, 0x55560000,
  0x80030000, 0x8002fffc, 0xaaaaaaac, 0x33340000,
  0x8003fffa, 0xaaab5558, 0xcccc6668, 0x00800000,
  0xaaac0004, 0xccccccd0, 0xff800100, 0x007f0000,
  0xcccd3338, 0xff800200, 0xff8100fe, 0x007e0000,
  0xff800300, 0xff8101fc, 0xff8200fc, 0x007d0000,
  0xff8101fc, 0xff8200fc, 0x007d0000, 0x000fffe0,
  0xff8201f8, 0xff8300fa, 0x00100000, 0x0002fffa,
  0xff8301f4, 0xfff00020, 0x00030000, 0x0001fffc,
  0xfff00040, 0xfffd0006, 0x00020000, 0x0000fffe,
  0xfffd000c, 0xfffe0004, 0x00010000, 0x00000000,
  0xfffe0008, 0xffff0002, 0x00000000, 0xffff0002,
  0xffff0004, 0x00000000, 0xffff0000, 0xfffe0004,
  0x00000000, 0x0000fffe, 0xfffe0000, 0xfff00020,
  0x0000fffc, 0x0001fffc, 0xfff00000, 0xff8300fa,
  0x0001fff8, 0x000fffe0, 0xff830000, 0xff8200fc,
  0x000fffc0, 0x007cff06, 0xff820000, 0xff8100fe,
  0x007cfe0c, 0x007dff04, 0xff810000, 0xcccd6666,
  0x007dfe08, 0x007eff02, 0xcccd0000, 0xaaabaaaa,
  0x007efe04, 0x3332999a, 0xaaab0000, 0x8003fffa,
  0x33323334, 0x55545556, 0x80030000, 0x8002fffc,
  0x5553aaac, 0x7ffc0006, 0x80020000, 0x8001fffe,
  0x7ffb000c, 0x7ffd0004, 0x80010000, 0x7fff0000,
  0x7ffc0008, 0x7ffe0002, 0x7fffffff, 0x7ffe0002,
  0x7ffd0004, 0x80010000, 0x7fff0000, 0x55555554,
  0x80020000, 0x8001fffe, 0x55560000, 0x33339998,
  0x8002fffc, 0xaaaaaaac, 0x33340000, 0x007fff00,
  0xaaab5558, 0xcccc6668, 0x00800000, 0x007eff02,
  0xccccccd0, 0xff800100, 0x007f0000, 0x007dff04,
  0xff800200, 0xff8100fe, 0x007e0000, 0x007cff06,
  0xff8100fe, 0x007e0000, 0x007cff06, 0x000aaac0,
  0xff8200fc, 0x007d0000, 0x000fffe0, 0x00020004,
  0xff8300fa, 0x00100000, 0x0002fffa, 0x00015558,
  0xfff00020, 0x00030000, 0x0001fffc, 0x0000aaac,
  0xfffd0006, 0x00020000, 0x0000fffe, 0x00000000,
  0xfffe0004, 0x00010000, 0x00000000, 0xffff5554,
  0xffff0002, 0x00000000, 0xffff0002, 0xfffeaaa8,
  0x00000000, 0xffff0000, 0xfffe0004, 0xfff55540,
  0x0000fffe, 0xfffe0000, 0xfff00020, 0xffacaa04,
  0x0001fffc, 0xfff00000, 0xff8300fa, 0xffabff58,
  0x000fffe0, 0xff830000, 0xff8200fc, 0xffab54ac,
  0x007cff06, 0xff820000, 0xff8100fe, 0xddddbbbc,
  0x007dff04, 0xff810000, 0xcccd6666, 0xc71c38e4,
  0x007eff02, 0xcccd0000, 0xaaabaaaa, 0xaaac0004,
  0x3332999a, 0xaaab0000, 0x8003fffa, 0xaaab5558,
  0x55545556, 0x80030000, 0x8002fffc, 0xaaaaaaac,
  0x7ffc0006, 0x80020000, 0x8001fffe, 0x55560000,
  0x7ffd0004, 0x80010000, 0x7fff0000, 0x55555554,
  0x7ffe0002, 0x7fffffff, 0x7ffe0002, 0x38e471c8,
  0x80010000, 0x7fff0000, 0x55555554, 0x2222eef0,
  0x8001fffe, 0x55560000, 0x33339998, 0x00555600,
  0xaaaaaaac, 0x33340000, 0x007fff00, 0x0054ab54,
  0xcccc6668, 0x00800000, 0x007eff02, 0x005400a8,
  0xff800100, 0x007f0000, 0x007dff04, 0x005355fc,
  0x007f0000, 0x007dff04, 0x005355fc, 0x00066680,
  0x007e0000, 0x007cff06, 0x000aaac0, 0x00013338,
  0x007d0000, 0x000fffe0, 0x00020004, 0x0000ccd0,
  0x00100000, 0x0002fffa, 0x00015558, 0x00006668,
  0x00030000, 0x0001fffc, 0x0000aaac, 0x00000000,
  0x00020000, 0x0000fffe, 0x00000000, 0xffff9998,
  0x00010000, 0x00000000, 0xffff5554, 0xffff3330,
  0x00000000, 0xffff0002, 0xfffeaaa8, 0xfff99980,
  0xffff0000, 0xfffe0004, 0xfff55540, 0xffcdff38,
  0xfffe0000, 0xfff00020, 0xffacaa04, 0xffcd98d0,
  0xfff00000, 0xff8300fa, 0xffabff58, 0xffcd3268,
  0xff830000, 0xff8200fc, 0xffab54ac, 0xeb84e148,
  0xff820000, 0xff8100fe, 0xddddbbbc, 0xdddd7778,
  0xff810000, 0xcccd6666, 0xc71c38e4, 0xcccd3338,
  0xcccd0000, 0xaaabaaaa, 0xaaac0004, 0xccccccd0,
  0xaaab0000, 0x8003fffa, 0xaaab5558, 0xcccc6668,
  0x80030000, 0x8002fffc, 0xaaaaaaac, 0x33340000,
  0x80020000, 0x8001fffe, 0x55560000, 0x33339998,
  0x80010000, 0x7fff0000, 0x55555554, 0x2222eef0,
  0x7fffffff, 0x7ffe0002, 0x38e471c8, 0x147b8520,
  0x7fff0000, 0x55555554, 0x2222eef0, 0x00333400,
  0x55560000, 0x33339998, 0x00555600, 0x0032cd98,
  0x33340000, 0x007fff00, 0x0054ab54, 0x00326730,
  0x00800000, 0x007eff02, 0x005400a8, 0x003200c8,
  0x007eff02, 0x005400a8, 0x003200c8, 0x00001000,
  0x007dff04, 0x005355fc, 0x00066680, 0x00000300,
  0x007cff06, 0x000aaac0, 0x00013338, 0x00000200,
  0x000fffe0, 0x00020004, 0x0000ccd0, 0x00000100,
  0x0002fffa, 0x00015558, 0x00006668, 0x00000000,
  0x0001fffc, 0x0000aaac, 0x00000000, 0xffffff00,
  0x0000fffe, 0x00000000, 0xffff9998, 0xfffffe00,
  0x00000000, 0xffff5554, 0xffff3330, 0xfffff000,
  0xffff0002, 0xfffeaaa8, 0xfff99980, 0xffff8300,
  0xfffe0004, 0xfff55540, 0xffcdff38, 0xffff8200,
  0xfff00020, 0xffacaa04, 0xffcd98d0, 0xffff8100,
  0xff8300fa, 0xffabff58, 0xffcd3268, 0xffcccd00,
  0xff8200fc, 0xffab54ac, 0xeb84e148, 0xffaaab00,
  0xff8100fe, 0xddddbbbc, 0xdddd7778, 0xff800300,
  0xcccd6666, 0xc71c38e4, 0xcccd3338, 0xff800200,
  0xaaabaaaa, 0xaaac0004, 0xccccccd0, 0xff800100,
  0x8003fffa, 0xaaab5558, 0xcccc6668, 0x00800000,
  0x8002fffc, 0xaaaaaaac, 0x33340000, 0x007fff00,
  0x8001fffe, 0x55560000, 0x33339998, 0x00555600,
  0x7fff0000, 0x55555554, 0x2222eef0, 0x00333400,
  0x7ffe0002, 0x38e471c8, 0x147b8520, 0x00008000,
  0x55555554, 0x2222eef0, 0x00333400, 0x00007f00,
  0x33339998, 0x00555600, 0x0032cd98, 0x00007e00,
  0x007fff00, 0x0054ab54, 0x00326730, 0x00007d00,
  0x0054ab54, 0x00326730, 0x00007d00, 0x00000fe0,
  0x005400a8, 0x003200c8, 0x00001000, 0x000002fa,
  0x005355fc, 0x00066680, 0x00000300, 0x000001fc,
  0x000aaac0, 0x00013338, 0x00000200, 0x000000fe,
  0x00020004, 0x0000ccd0, 0x00000100, 0x00000000,
  0x00015558, 0x00006668, 0x00000000, 0xffffff02,
  0x0000aaac, 0x00000000, 0xffffff00, 0xfffffe04,
  0x00000000, 0xffff9998, 0xfffffe00, 0xfffff020,
  0xffff5554, 0xffff3330, 0xfffff000, 0xffff83fa,
  0xfffeaaa8, 0xfff99980, 0xffff8300, 0xffff82fc,
  0xfff55540, 0xffcdff38, 0xffff8200, 0xffff81fe,
  0xffacaa04, 0xffcd98d0, 0xffff8100, 0xffcd3366,
  0xffabff58, 0xffcd3268, 0xffcccd00, 0xffab55aa,
  0xffab54ac, 0xeb84e148, 0xffaaab00, 0xff8102fa,
  0xddddbbbc, 0xdddd7778, 0xff800300, 0xff8101fc,
  0xc71c38e4, 0xcccd3338, 0xff800200, 0xff8100fe,
  0xaaac0004, 0xccccccd0, 0xff800100, 0x007f0000,
  0xaaab5558, 0xcccc6668, 0x00800000, 0x007eff02,
  0xaaaaaaac, 0x33340000, 0x007fff00, 0x0054ab54,
  0x55560000, 0x33339998, 0x00555600, 0x0032cd98,
  0x55555554, 0x2222eef0, 0x00333400, 0x00007f00,
  0x38e471c8, 0x147b8520, 0x00008000, 0x00007e02,
  0x2222eef0, 0x00333400, 0x00007f00, 0x00007d04,
  0x00555600, 0x0032cd98, 0x00007e00, 0x00007c06,
  0x0032cd98, 0x00007e00, 0x00007c06, 0x00000fc0,
  0x00326730, 0x00007d00, 0x00000fe0, 0x000002f4,
  0x003200c8, 0x00001000, 0x000002fa, 0x000001f8,
  0x00066680, 0x00000300, 0x000001fc, 0x000000fc,
  0x00013338, 0x00000200, 0x000000fe, 0x00000000,
  0x0000ccd0, 0x00000100, 0x00000000, 0xffffff04,
  0x00006668, 0x00000000, 0xffffff02, 0xfffffe08,
  0x00000000, 0xffffff00, 0xfffffe04, 0xfffff040,
  0xffff9998, 0xfffffe00, 0xfffff020, 0xffff84f4,
  0xffff3330, 0xfffff000, 0xffff83fa, 0xffff83f8,
  0xfff99980, 0xffff8300, 0xffff82fc, 0xffff82fc,
  0xffcdff38, 0xffff8200, 0xffff81fe, 0xffcd99cc,
  0xffcd98d0, 0xffff8100, 0xffcd3366, 0xffac0054,
  0xffcd3268, 0xffcccd00, 0xffab55aa, 0xff8202f4,
  0xeb84e148, 0xffaaab00, 0xff8102fa, 0xff8201f8,
  0xdddd7778, 0xff800300, 0xff8101fc, 0xff8200fc,
  0xcccd3338, 0xff800200, 0xff8100fe, 0x007e0000,
  0xccccccd0, 0xff800100, 0x007f0000, 0x007dff04,
  0xcccc6668, 0x00800000, 0x007eff02, 0x005400a8,
  0x33340000, 0x007fff00, 0x0054ab54, 0x00326730,
  0x33339998, 0x00555600, 0x0032cd98, 0x00007e00,
  0x2222eef0, 0x00333400, 0x00007f00, 0x00007d04,
  0x147b8520, 0x00008000, 0x00007e02, 0x00007c08,
  0x00333400, 0x00007f00, 0x00007d04, 0x00007b0c,
  0x00007f00, 0x00007d04, 0x00007b0c, 0x00000fa0,
  0x00007e00, 0x00007c06, 0x00000fc0, 0x000002ee,
  0x00007d00, 0x00000fe0, 0x000002f4, 0x000001f4,
  0x00001000, 0x000002fa, 0x000001f8, 0x000000fa,
  0x00000300, 0x000001fc, 0x000000fc, 0x00000000,
  0x00000200, 0x000000fe, 0x00000000, 0xffffff06,
  0x00000100, 0x00000000, 0xffffff04, 0xfffffe0c,
  0x00000000, 0xffffff02, 0xfffffe08, 0xfffff060,
  0xffffff00, 0xfffffe04, 0xfffff040, 0xffff85ee,
  0xfffffe00, 0xfffff020, 0xffff84f4, 0xffff84f4,
  0xfffff000, 0xffff83fa, 0xffff83f8, 0xffff83fa,
  0xffff8300, 0xffff82fc, 0xffff82fc, 0xffce0032,
  0xffff8200, 0xffff81fe, 0xffcd99cc, 0xffacaafe,
  0xffff8100, 0xffcd3366, 0xffac0054, 0xff8302ee,
  0xffcccd00, 0xffab55aa, 0xff8202f4, 0xff8301f4,
  0xffaaab00, 0xff8102fa, 0xff8201f8, 0xff8300fa,
  0xff800300, 0xff8101fc, 0xff8200fc, 0x007d0000,
  0xff800200, 0xff8100fe, 0x007e0000, 0x007cff06,
  0xff800100, 0x007f0000, 0x007dff04, 0x005355fc,
  0x00800000, 0x007eff02, 0x005400a8, 0x003200c8,
  0x007fff00, 0x0054ab54, 0x00326730, 0x00007d00,
  0x00555600, 0x0032cd98, 0x00007e00, 0x00007c06,
  0x00333400, 0x00007f00, 0x00007d04, 0x00007b0c,
  0x00008000, 0x00007e02, 0x00007c08, 0x00007a12,
};
const unsigned kExpectedCount_NEON_sqdmull_4S = 576;

#endif  // VIXL_SIM_SQDMULL_4S_TRACE_AARCH64_H_