// 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_SMULL2_4S_TRACE_AARCH64_H_
#define VIXL_SIM_SMULL2_4S_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_smull2_4S[] = {
  0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x00000000,
  0x3ffd8006, 0x3ffe8002, 0x00000000, 0x00000000,
  0x3ffe0003, 0x00000000, 0x00007fff, 0x00000000,
  0x00000000, 0x00007ffe, 0x0000fffe, 0x00000000,
  0x00007ffd, 0x0000fffc, 0x0007fff0, 0x00000000,
  0x0000fffa, 0x0007ffe0, 0x003e7f83, 0x00000000,
  0x0007ffd0, 0x003e7f06, 0x003eff82, 0x00000000,
  0x003e7e89, 0x003eff04, 0x003f7f81, 0x00000000,
  0x003efe86, 0x003f7f02, 0x19994ccd, 0x00000000,
  0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x00000000,
  0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x00000000,
  0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x00000000,
  0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x00000000,
  0x3ffd8006, 0x3ffe8002, 0xc0008000, 0x00000000,
  0x3ffe0003, 0xc0010000, 0xc000ffff, 0x00000000,
  0xc0018000, 0xc0017ffe, 0xd5555556, 0x00000000,
  0xc001fffd, 0xd555aaac, 0xe6663334, 0x00000000,
  0xd5560002, 0xe6666668, 0xffc00080, 0x00000000,
  0xe666999c, 0xffc00100, 0xffc0807f, 0x00000000,
  0xffc00180, 0xffc080fe, 0xffc1007e, 0x00000000,
  0xffc0817d, 0xffc100fc, 0xffc1807d, 0x00000000,
  0xffc1017a, 0xffc180fa, 0xfff80010, 0x00000000,
  0xffc18177, 0xfff80020, 0xfffe8003, 0x00000000,
  0xfff80030, 0xfffe8006, 0xffff0002, 0x00000000,
  0xfffe8006, 0xffff0002, 0x00000000, 0x00000000,
  0xffff0004, 0xffff8001, 0x00000000, 0x00000001,
  0xffff8002, 0x00000000, 0x00000000, 0x00000002,
  0x00000000, 0x00007fff, 0x00000000, 0x00000010,
  0x00007ffe, 0x0000fffe, 0x00000000, 0x0000007d,
  0x0000fffc, 0x0007fff0, 0x00000000, 0x0000007e,
  0x0007ffe0, 0x003e7f83, 0x00000000, 0x0000007f,
  0x003e7f06, 0x003eff82, 0x00000000, 0x00003333,
  0x003eff04, 0x003f7f81, 0x00000000, 0x00005555,
  0x003f7f02, 0x19994ccd, 0x00000000, 0x00007ffd,
  0x1999199a, 0x2aaa2aab, 0x00000000, 0x00007ffe,
  0x2aa9d556, 0x3ffe0003, 0x00000000, 0x00007fff,
  0x3ffd8006, 0x3ffe8002, 0x00000000, 0xffff8000,
  0x3ffe0004, 0x3fff0001, 0x00000000, 0xffff8001,
  0x3ffe8002, 0xc0008000, 0x00000000, 0xffffaaaa,
  0xc0010000, 0xc000ffff, 0x00000000, 0xffffcccc,
  0xc0017ffe, 0xd5555556, 0x00000000, 0xffffff80,
  0xd555aaac, 0xe6663334, 0x00000000, 0xffffff81,
  0xe6666668, 0xffc00080, 0x00000000, 0xffffff82,
  0xffc00100, 0xffc0807f, 0x00000000, 0xffffff83,
  0xffc080fe, 0xffc1007e, 0x00000000, 0xfffffff0,
  0xffc100fc, 0xffc1807d, 0x00000000, 0xfffffffd,
  0xffc180fa, 0xfff80010, 0x00000000, 0xfffffffe,
  0xfff80020, 0xfffe8003, 0x00000000, 0xffffffff,
  0xfffe8003, 0x00000000, 0xffffffff, 0x00000000,
  0xffff0002, 0x00000000, 0x00000000, 0x00000002,
  0xffff8001, 0x00000000, 0x00000001, 0x00000004,
  0x00000000, 0x00000000, 0x00000002, 0x00000020,
  0x00007fff, 0x00000000, 0x00000010, 0x000000fa,
  0x0000fffe, 0x00000000, 0x0000007d, 0x000000fc,
  0x0007fff0, 0x00000000, 0x0000007e, 0x000000fe,
  0x003e7f83, 0x00000000, 0x0000007f, 0x00006666,
  0x003eff82, 0x00000000, 0x00003333, 0x0000aaaa,
  0x003f7f81, 0x00000000, 0x00005555, 0x0000fffa,
  0x19994ccd, 0x00000000, 0x00007ffd, 0x0000fffc,
  0x2aaa2aab, 0x00000000, 0x00007ffe, 0x0000fffe,
  0x3ffe0003, 0x00000000, 0x00007fff, 0xffff0000,
  0x3ffe8002, 0x00000000, 0xffff8000, 0xffff0002,
  0x3fff0001, 0x00000000, 0xffff8001, 0xffff5554,
  0xc0008000, 0x00000000, 0xffffaaaa, 0xffff9998,
  0xc000ffff, 0x00000000, 0xffffcccc, 0xffffff00,
  0xd5555556, 0x00000000, 0xffffff80, 0xffffff02,
  0xe6663334, 0x00000000, 0xffffff81, 0xffffff04,
  0xffc00080, 0x00000000, 0xffffff82, 0xffffff06,
  0xffc0807f, 0x00000000, 0xffffff83, 0xffffffe0,
  0xffc1007e, 0x00000000, 0xfffffff0, 0xfffffffa,
  0xffc1807d, 0x00000000, 0xfffffffd, 0xfffffffc,
  0xfff80010, 0x00000000, 0xfffffffe, 0xfffffffe,
  0x00000000, 0xfffffffe, 0xfffffffe, 0x00000000,
  0x00000000, 0xffffffff, 0x00000000, 0x00000010,
  0x00000000, 0x00000000, 0x00000002, 0x00000020,
  0x00000000, 0x00000001, 0x00000004, 0x00000100,
  0x00000000, 0x00000002, 0x00000020, 0x000007d0,
  0x00000000, 0x00000010, 0x000000fa, 0x000007e0,
  0x00000000, 0x0000007d, 0x000000fc, 0x000007f0,
  0x00000000, 0x0000007e, 0x000000fe, 0x00033330,
  0x00000000, 0x0000007f, 0x00006666, 0x00055550,
  0x00000000, 0x00003333, 0x0000aaaa, 0x0007ffd0,
  0x00000000, 0x00005555, 0x0000fffa, 0x0007ffe0,
  0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0,
  0x00000000, 0x00007ffe, 0x0000fffe, 0xfff80000,
  0x00000000, 0x00007fff, 0xffff0000, 0xfff80010,
  0x00000000, 0xffff8000, 0xffff0002, 0xfffaaaa0,
  0x00000000, 0xffff8001, 0xffff5554, 0xfffcccc0,
  0x00000000, 0xffffaaaa, 0xffff9998, 0xfffff800,
  0x00000000, 0xffffcccc, 0xffffff00, 0xfffff810,
  0x00000000, 0xffffff80, 0xffffff02, 0xfffff820,
  0x00000000, 0xffffff81, 0xffffff04, 0xfffff830,
  0x00000000, 0xffffff82, 0xffffff06, 0xffffff00,
  0x00000000, 0xffffff83, 0xffffffe0, 0xffffffd0,
  0x00000000, 0xfffffff0, 0xfffffffa, 0xffffffe0,
  0x00000000, 0xfffffffd, 0xfffffffc, 0xfffffff0,
  0xfffffffd, 0xfffffffc, 0xfffffff0, 0x00000000,
  0xfffffffe, 0xfffffffe, 0x00000000, 0x0000007d,
  0xffffffff, 0x00000000, 0x00000010, 0x000000fa,
  0x00000000, 0x00000002, 0x00000020, 0x000007d0,
  0x00000001, 0x00000004, 0x00000100, 0x00003d09,
  0x00000002, 0x00000020, 0x000007d0, 0x00003d86,
  0x00000010, 0x000000fa, 0x000007e0, 0x00003e03,
  0x0000007d, 0x000000fc, 0x000007f0, 0x0018ffe7,
  0x0000007e, 0x000000fe, 0x00033330, 0x0029aa81,
  0x0000007f, 0x00006666, 0x00055550, 0x003e7e89,
  0x00003333, 0x0000aaaa, 0x0007ffd0, 0x003e7f06,
  0x00005555, 0x0000fffa, 0x0007ffe0, 0x003e7f83,
  0x00007ffd, 0x0000fffc, 0x0007fff0, 0xffc18000,
  0x00007ffe, 0x0000fffe, 0xfff80000, 0xffc1807d,
  0x00007fff, 0xffff0000, 0xfff80010, 0xffd65502,
  0xffff8000, 0xffff0002, 0xfffaaaa0, 0xffe6ff9c,
  0xffff8001, 0xffff5554, 0xfffcccc0, 0xffffc180,
  0xffffaaaa, 0xffff9998, 0xfffff800, 0xffffc1fd,
  0xffffcccc, 0xffffff00, 0xfffff810, 0xffffc27a,
  0xffffff80, 0xffffff02, 0xfffff820, 0xffffc2f7,
  0xffffff81, 0xffffff04, 0xfffff830, 0xfffff830,
  0xffffff82, 0xffffff06, 0xffffff00, 0xfffffe89,
  0xffffff83, 0xffffffe0, 0xffffffd0, 0xffffff06,
  0xfffffff0, 0xfffffffa, 0xffffffe0, 0xffffff83,
  0xfffffffa, 0xffffffe0, 0xffffff83, 0x00000000,
  0xfffffffc, 0xfffffff0, 0x00000000, 0x0000007e,
  0xfffffffe, 0x00000000, 0x0000007d, 0x000000fc,
  0x00000000, 0x00000010, 0x000000fa, 0x000007e0,
  0x00000002, 0x00000020, 0x000007d0, 0x00003d86,
  0x00000004, 0x00000100, 0x00003d09, 0x00003e04,
  0x00000020, 0x000007d0, 0x00003d86, 0x00003e82,
  0x000000fa, 0x000007e0, 0x00003e03, 0x0019331a,
  0x000000fc, 0x000007f0, 0x0018ffe7, 0x0029ffd6,
  0x000000fe, 0x00033330, 0x0029aa81, 0x003efe86,
  0x00006666, 0x00055550, 0x003e7e89, 0x003eff04,
  0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x003eff82,
  0x0000fffa, 0x0007ffe0, 0x003e7f83, 0xffc10000,
  0x0000fffc, 0x0007fff0, 0xffc18000, 0xffc1007e,
  0x0000fffe, 0xfff80000, 0xffc1807d, 0xffd5ffac,
  0xffff0000, 0xfff80010, 0xffd65502, 0xffe6cc68,
  0xffff0002, 0xfffaaaa0, 0xffe6ff9c, 0xffffc100,
  0xffff5554, 0xfffcccc0, 0xffffc180, 0xffffc17e,
  0xffff9998, 0xfffff800, 0xffffc1fd, 0xffffc1fc,
  0xffffff00, 0xfffff810, 0xffffc27a, 0xffffc27a,
  0xffffff02, 0xfffff820, 0xffffc2f7, 0xfffff820,
  0xffffff04, 0xfffff830, 0xfffff830, 0xfffffe86,
  0xffffff06, 0xffffff00, 0xfffffe89, 0xffffff04,
  0xffffffe0, 0xffffffd0, 0xffffff06, 0xffffff82,
  0xffffffd0, 0xffffff06, 0xffffff82, 0x00000000,
  0xffffffe0, 0xffffff83, 0x00000000, 0x0000007f,
  0xfffffff0, 0x00000000, 0x0000007e, 0x000000fe,
  0x00000000, 0x0000007d, 0x000000fc, 0x000007f0,
  0x00000010, 0x000000fa, 0x000007e0, 0x00003e03,
  0x00000020, 0x000007d0, 0x00003d86, 0x00003e82,
  0x00000100, 0x00003d09, 0x00003e04, 0x00003f01,
  0x000007d0, 0x00003d86, 0x00003e82, 0x0019664d,
  0x000007e0, 0x00003e03, 0x0019331a, 0x002a552b,
  0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x003f7e83,
  0x00033330, 0x0029aa81, 0x003efe86, 0x003f7f02,
  0x00055550, 0x003e7e89, 0x003eff04, 0x003f7f81,
  0x0007ffd0, 0x003e7f06, 0x003eff82, 0xffc08000,
  0x0007ffe0, 0x003e7f83, 0xffc10000, 0xffc0807f,
  0x0007fff0, 0xffc18000, 0xffc1007e, 0xffd5aa56,
  0xfff80000, 0xffc1807d, 0xffd5ffac, 0xffe69934,
  0xfff80010, 0xffd65502, 0xffe6cc68, 0xffffc080,
  0xfffaaaa0, 0xffe6ff9c, 0xffffc100, 0xffffc0ff,
  0xfffcccc0, 0xffffc180, 0xffffc17e, 0xffffc17e,
  0xfffff800, 0xffffc1fd, 0xffffc1fc, 0xffffc1fd,
  0xfffff810, 0xffffc27a, 0xffffc27a, 0xfffff810,
  0xfffff820, 0xffffc2f7, 0xfffff820, 0xfffffe83,
  0xfffff830, 0xfffff830, 0xfffffe86, 0xffffff02,
  0xffffff00, 0xfffffe89, 0xffffff04, 0xffffff81,
  0xfffffe89, 0xffffff04, 0xffffff81, 0x00000000,
  0xffffff06, 0xffffff82, 0x00000000, 0x00003333,
  0xffffff83, 0x00000000, 0x0000007f, 0x00006666,
  0x00000000, 0x0000007e, 0x000000fe, 0x00033330,
  0x0000007d, 0x000000fc, 0x000007f0, 0x0018ffe7,
  0x000000fa, 0x000007e0, 0x00003e03, 0x0019331a,
  0x000007d0, 0x00003d86, 0x00003e82, 0x0019664d,
  0x00003d09, 0x00003e04, 0x00003f01, 0x0a3d5c29,
  0x00003d86, 0x00003e82, 0x0019664d, 0x1110eeef,
  0x00003e03, 0x0019331a, 0x002a552b, 0x1998e667,
  0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x1999199a,
  0x0029aa81, 0x003efe86, 0x003f7f02, 0x19994ccd,
  0x003e7e89, 0x003eff04, 0x003f7f81, 0xe6668000,
  0x003e7f06, 0x003eff82, 0xffc08000, 0xe666b333,
  0x003e7f83, 0xffc10000, 0xffc0807f, 0xeeeeddde,
  0xffc18000, 0xffc1007e, 0xffd5aa56, 0xf5c270a4,
  0xffc1807d, 0xffd5ffac, 0xffe69934, 0xffe66680,
  0xffd65502, 0xffe6cc68, 0xffffc080, 0xffe699b3,
  0xffe6ff9c, 0xffffc100, 0xffffc0ff, 0xffe6cce6,
  0xffffc180, 0xffffc17e, 0xffffc17e, 0xffe70019,
  0xffffc1fd, 0xffffc1fc, 0xffffc1fd, 0xfffcccd0,
  0xffffc27a, 0xffffc27a, 0xfffff810, 0xffff6667,
  0xffffc2f7, 0xfffff820, 0xfffffe83, 0xffff999a,
  0xfffff830, 0xfffffe86, 0xffffff02, 0xffffcccd,
  0xfffffe86, 0xffffff02, 0xffffcccd, 0x00000000,
  0xffffff04, 0xffffff81, 0x00000000, 0x00005555,
  0xffffff82, 0x00000000, 0x00003333, 0x0000aaaa,
  0x00000000, 0x0000007f, 0x00006666, 0x00055550,
  0x0000007e, 0x000000fe, 0x00033330, 0x0029aa81,
  0x000000fc, 0x000007f0, 0x0018ffe7, 0x0029ffd6,
  0x000007e0, 0x00003e03, 0x0019331a, 0x002a552b,
  0x00003d86, 0x00003e82, 0x0019664d, 0x1110eeef,
  0x00003e04, 0x00003f01, 0x0a3d5c29, 0x1c718e39,
  0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001,
  0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556,
  0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab,
  0x003efe86, 0x003f7f02, 0x19994ccd, 0xd5558000,
  0x003eff04, 0x003f7f81, 0xe6668000, 0xd555d555,
  0x003eff82, 0xffc08000, 0xe666b333, 0xe38e1c72,
  0xffc10000, 0xffc0807f, 0xeeeeddde, 0xeeeebbbc,
  0xffc1007e, 0xffd5aa56, 0xf5c270a4, 0xffd55580,
  0xffd5ffac, 0xffe69934, 0xffe66680, 0xffd5aad5,
  0xffe6cc68, 0xffffc080, 0xffe699b3, 0xffd6002a,
  0xffffc100, 0xffffc0ff, 0xffe6cce6, 0xffd6557f,
  0xffffc17e, 0xffffc17e, 0xffe70019, 0xfffaaab0,
  0xffffc1fc, 0xffffc1fd, 0xfffcccd0, 0xffff0001,
  0xffffc27a, 0xfffff810, 0xffff6667, 0xffff5556,
  0xfffff820, 0xfffffe83, 0xffff999a, 0xffffaaab,
  0xfffffe83, 0xffff999a, 0xffffaaab, 0x00000000,
  0xffffff02, 0xffffcccd, 0x00000000, 0x00007ffd,
  0xffffff81, 0x00000000, 0x00005555, 0x0000fffa,
  0x00000000, 0x00003333, 0x0000aaaa, 0x0007ffd0,
  0x0000007f, 0x00006666, 0x00055550, 0x003e7e89,
  0x000000fe, 0x00033330, 0x0029aa81, 0x003efe86,
  0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x003f7e83,
  0x00003e03, 0x0019331a, 0x002a552b, 0x1998e667,
  0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001,
  0x00003f01, 0x0a3d5c29, 0x1c718e39, 0x3ffd0009,
  0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006,
  0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003,
  0x003f7e83, 0x1999199a, 0x2aaa2aab, 0xc0018000,
  0x003f7f02, 0x19994ccd, 0xd5558000, 0xc001fffd,
  0x003f7f81, 0xe6668000, 0xd555d555, 0xd5560002,
  0xffc08000, 0xe666b333, 0xe38e1c72, 0xe666999c,
  0xffc0807f, 0xeeeeddde, 0xeeeebbbc, 0xffc00180,
  0xffd5aa56, 0xf5c270a4, 0xffd55580, 0xffc0817d,
  0xffe69934, 0xffe66680, 0xffd5aad5, 0xffc1017a,
  0xffffc080, 0xffe699b3, 0xffd6002a, 0xffc18177,
  0xffffc0ff, 0xffe6cce6, 0xffd6557f, 0xfff80030,
  0xffffc17e, 0xffe70019, 0xfffaaab0, 0xfffe8009,
  0xffffc1fd, 0xfffcccd0, 0xffff0001, 0xffff0006,
  0xfffff810, 0xffff6667, 0xffff5556, 0xffff8003,
  0xffff6667, 0xffff5556, 0xffff8003, 0x00000000,
  0xffff999a, 0xffffaaab, 0x00000000, 0x00007ffe,
  0xffffcccd, 0x00000000, 0x00007ffd, 0x0000fffc,
  0x00000000, 0x00005555, 0x0000fffa, 0x0007ffe0,
  0x00003333, 0x0000aaaa, 0x0007ffd0, 0x003e7f06,
  0x00006666, 0x00055550, 0x003e7e89, 0x003eff04,
  0x00033330, 0x0029aa81, 0x003efe86, 0x003f7f02,
  0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x1999199a,
  0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556,
  0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006,
  0x0a3d5c29, 0x1c718e39, 0x3ffd0009, 0x3ffe0004,
  0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002,
  0x1998e667, 0x2aa9d556, 0x3ffe0003, 0xc0010000,
  0x1999199a, 0x2aaa2aab, 0xc0018000, 0xc0017ffe,
  0x19994ccd, 0xd5558000, 0xc001fffd, 0xd555aaac,
  0xe6668000, 0xd555d555, 0xd5560002, 0xe6666668,
  0xe666b333, 0xe38e1c72, 0xe666999c, 0xffc00100,
  0xeeeeddde, 0xeeeebbbc, 0xffc00180, 0xffc080fe,
  0xf5c270a4, 0xffd55580, 0xffc0817d, 0xffc100fc,
  0xffe66680, 0xffd5aad5, 0xffc1017a, 0xffc180fa,
  0xffe699b3, 0xffd6002a, 0xffc18177, 0xfff80020,
  0xffe6cce6, 0xffd6557f, 0xfff80030, 0xfffe8006,
  0xffe70019, 0xfffaaab0, 0xfffe8009, 0xffff0004,
  0xfffcccd0, 0xffff0001, 0xffff0006, 0xffff8002,
  0xffff0001, 0xffff0006, 0xffff8002, 0x00000000,
  0xffff5556, 0xffff8003, 0x00000000, 0x00007fff,
  0xffffaaab, 0x00000000, 0x00007ffe, 0x0000fffe,
  0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0,
  0x00005555, 0x0000fffa, 0x0007ffe0, 0x003e7f83,
  0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x003eff82,
  0x00055550, 0x003e7e89, 0x003eff04, 0x003f7f81,
  0x0029aa81, 0x003efe86, 0x003f7f02, 0x19994ccd,
  0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab,
  0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003,
  0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002,
  0x1c718e39, 0x3ffd0009, 0x3ffe0004, 0x3fff0001,
  0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0xc0008000,
  0x2aa9d556, 0x3ffe0003, 0xc0010000, 0xc000ffff,
  0x2aaa2aab, 0xc0018000, 0xc0017ffe, 0xd5555556,
  0xd5558000, 0xc001fffd, 0xd555aaac, 0xe6663334,
  0xd555d555, 0xd5560002, 0xe6666668, 0xffc00080,
  0xe38e1c72, 0xe666999c, 0xffc00100, 0xffc0807f,
  0xeeeebbbc, 0xffc00180, 0xffc080fe, 0xffc1007e,
  0xffd55580, 0xffc0817d, 0xffc100fc, 0xffc1807d,
  0xffd5aad5, 0xffc1017a, 0xffc180fa, 0xfff80010,
  0xffd6002a, 0xffc18177, 0xfff80020, 0xfffe8003,
  0xffd6557f, 0xfff80030, 0xfffe8006, 0xffff0002,
  0xfffaaab0, 0xfffe8009, 0xffff0004, 0xffff8001,
  0xfffe8009, 0xffff0004, 0xffff8001, 0x00000000,
  0xffff0006, 0xffff8002, 0x00000000, 0xffff8000,
  0xffff8003, 0x00000000, 0x00007fff, 0xffff0000,
  0x00000000, 0x00007ffe, 0x0000fffe, 0xfff80000,
  0x00007ffd, 0x0000fffc, 0x0007fff0, 0xffc18000,
  0x0000fffa, 0x0007ffe0, 0x003e7f83, 0xffc10000,
  0x0007ffd0, 0x003e7f06, 0x003eff82, 0xffc08000,
  0x003e7e89, 0x003eff04, 0x003f7f81, 0xe6668000,
  0x003efe86, 0x003f7f02, 0x19994ccd, 0xd5558000,
  0x003f7e83, 0x1999199a, 0x2aaa2aab, 0xc0018000,
  0x1998e667, 0x2aa9d556, 0x3ffe0003, 0xc0010000,
  0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0xc0008000,
  0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x40000000,
  0x3ffd8006, 0x3ffe8002, 0xc0008000, 0x3fff8000,
  0x3ffe0003, 0xc0010000, 0xc000ffff, 0x2aab0000,
  0xc0018000, 0xc0017ffe, 0xd5555556, 0x199a0000,
  0xc001fffd, 0xd555aaac, 0xe6663334, 0x00400000,
  0xd5560002, 0xe6666668, 0xffc00080, 0x003f8000,
  0xe666999c, 0xffc00100, 0xffc0807f, 0x003f0000,
  0xffc00180, 0xffc080fe, 0xffc1007e, 0x003e8000,
  0xffc0817d, 0xffc100fc, 0xffc1807d, 0x00080000,
  0xffc1017a, 0xffc180fa, 0xfff80010, 0x00018000,
  0xffc18177, 0xfff80020, 0xfffe8003, 0x00010000,
  0xfff80030, 0xfffe8006, 0xffff0002, 0x00008000,
  0xfffe8006, 0xffff0002, 0x00008000, 0x00000000,
  0xffff0004, 0xffff8001, 0x00000000, 0xffff8001,
  0xffff8002, 0x00000000, 0xffff8000, 0xffff0002,
  0x00000000, 0x00007fff, 0xffff0000, 0xfff80010,
  0x00007ffe, 0x0000fffe, 0xfff80000, 0xffc1807d,
  0x0000fffc, 0x0007fff0, 0xffc18000, 0xffc1007e,
  0x0007ffe0, 0x003e7f83, 0xffc10000, 0xffc0807f,
  0x003e7f06, 0x003eff82, 0xffc08000, 0xe666b333,
  0x003eff04, 0x003f7f81, 0xe6668000, 0xd555d555,
  0x003f7f02, 0x19994ccd, 0xd5558000, 0xc001fffd,
  0x1999199a, 0x2aaa2aab, 0xc0018000, 0xc0017ffe,
  0x2aa9d556, 0x3ffe0003, 0xc0010000, 0xc000ffff,
  0x3ffd8006, 0x3ffe8002, 0xc0008000, 0x3fff8000,
  0x3ffe0004, 0x3fff0001, 0x40000000, 0x3fff0001,
  0x3ffe8002, 0xc0008000, 0x3fff8000, 0x2aaaaaaa,
  0xc0010000, 0xc000ffff, 0x2aab0000, 0x1999cccc,
  0xc0017ffe, 0xd5555556, 0x199a0000, 0x003fff80,
  0xd555aaac, 0xe6663334, 0x00400000, 0x003f7f81,
  0xe6666668, 0xffc00080, 0x003f8000, 0x003eff82,
  0xffc00100, 0xffc0807f, 0x003f0000, 0x003e7f83,
  0xffc080fe, 0xffc1007e, 0x003e8000, 0x0007fff0,
  0xffc100fc, 0xffc1807d, 0x00080000, 0x00017ffd,
  0xffc180fa, 0xfff80010, 0x00018000, 0x0000fffe,
  0xfff80020, 0xfffe8003, 0x00010000, 0x00007fff,
  0xfffe8003, 0x00010000, 0x00007fff, 0x00000000,
  0xffff0002, 0x00008000, 0x00000000, 0xffffaaaa,
  0xffff8001, 0x00000000, 0xffff8001, 0xffff5554,
  0x00000000, 0xffff8000, 0xffff0002, 0xfffaaaa0,
  0x00007fff, 0xffff0000, 0xfff80010, 0xffd65502,
  0x0000fffe, 0xfff80000, 0xffc1807d, 0xffd5ffac,
  0x0007fff0, 0xffc18000, 0xffc1007e, 0xffd5aa56,
  0x003e7f83, 0xffc10000, 0xffc0807f, 0xeeeeddde,
  0x003eff82, 0xffc08000, 0xe666b333, 0xe38e1c72,
  0x003f7f81, 0xe6668000, 0xd555d555, 0xd5560002,
  0x19994ccd, 0xd5558000, 0xc001fffd, 0xd555aaac,
  0x2aaa2aab, 0xc0018000, 0xc0017ffe, 0xd5555556,
  0x3ffe0003, 0xc0010000, 0xc000ffff, 0x2aab0000,
  0x3ffe8002, 0xc0008000, 0x3fff8000, 0x2aaaaaaa,
  0x3fff0001, 0x40000000, 0x3fff0001, 0x1c7238e4,
  0xc0008000, 0x3fff8000, 0x2aaaaaaa, 0x11117778,
  0xc000ffff, 0x2aab0000, 0x1999cccc, 0x002aab00,
  0xd5555556, 0x199a0000, 0x003fff80, 0x002a55aa,
  0xe6663334, 0x00400000, 0x003f7f81, 0x002a0054,
  0xffc00080, 0x003f8000, 0x003eff82, 0x0029aafe,
  0xffc0807f, 0x003f0000, 0x003e7f83, 0x00055560,
  0xffc1007e, 0x003e8000, 0x0007fff0, 0x00010002,
  0xffc1807d, 0x00080000, 0x00017ffd, 0x0000aaac,
  0xfff80010, 0x00018000, 0x0000fffe, 0x00005556,
  0x00018000, 0x0000fffe, 0x00005556, 0x00000000,
  0x00010000, 0x00007fff, 0x00000000, 0xffffcccc,
  0x00008000, 0x00000000, 0xffffaaaa, 0xffff9998,
  0x00000000, 0xffff8001, 0xffff5554, 0xfffcccc0,
  0xffff8000, 0xffff0002, 0xfffaaaa0, 0xffe6ff9c,
  0xffff0000, 0xfff80010, 0xffd65502, 0xffe6cc68,
  0xfff80000, 0xffc1807d, 0xffd5ffac, 0xffe69934,
  0xffc18000, 0xffc1007e, 0xffd5aa56, 0xf5c270a4,
  0xffc10000, 0xffc0807f, 0xeeeeddde, 0xeeeebbbc,
  0xffc08000, 0xe666b333, 0xe38e1c72, 0xe666999c,
  0xe6668000, 0xd555d555, 0xd5560002, 0xe6666668,
  0xd5558000, 0xc001fffd, 0xd555aaac, 0xe6663334,
  0xc0018000, 0xc0017ffe, 0xd5555556, 0x199a0000,
  0xc0010000, 0xc000ffff, 0x2aab0000, 0x1999cccc,
  0xc0008000, 0x3fff8000, 0x2aaaaaaa, 0x11117778,
  0x40000000, 0x3fff0001, 0x1c7238e4, 0x0a3dc290,
  0x3fff8000, 0x2aaaaaaa, 0x11117778, 0x00199a00,
  0x2aab0000, 0x1999cccc, 0x002aab00, 0x001966cc,
  0x199a0000, 0x003fff80, 0x002a55aa, 0x00193398,
  0x00400000, 0x003f7f81, 0x002a0054, 0x00190064,
  0x003f8000, 0x003eff82, 0x0029aafe, 0x00033340,
  0x003f0000, 0x003e7f83, 0x00055560, 0x0000999c,
  0x003e8000, 0x0007fff0, 0x00010002, 0x00006668,
  0x00080000, 0x00017ffd, 0x0000aaac, 0x00003334,
  0x00017ffd, 0x0000aaac, 0x00003334, 0x00000000,
  0x0000fffe, 0x00005556, 0x00000000, 0xffffff80,
  0x00007fff, 0x00000000, 0xffffcccc, 0xffffff00,
  0x00000000, 0xffffaaaa, 0xffff9998, 0xfffff800,
  0xffff8001, 0xffff5554, 0xfffcccc0, 0xffffc180,
  0xffff0002, 0xfffaaaa0, 0xffe6ff9c, 0xffffc100,
  0xfff80010, 0xffd65502, 0xffe6cc68, 0xffffc080,
  0xffc1807d, 0xffd5ffac, 0xffe69934, 0xffe66680,
  0xffc1007e, 0xffd5aa56, 0xf5c270a4, 0xffd55580,
  0xffc0807f, 0xeeeeddde, 0xeeeebbbc, 0xffc00180,
  0xe666b333, 0xe38e1c72, 0xe666999c, 0xffc00100,
  0xd555d555, 0xd5560002, 0xe6666668, 0xffc00080,
  0xc001fffd, 0xd555aaac, 0xe6663334, 0x00400000,
  0xc0017ffe, 0xd5555556, 0x199a0000, 0x003fff80,
  0xc000ffff, 0x2aab0000, 0x1999cccc, 0x002aab00,
  0x3fff8000, 0x2aaaaaaa, 0x11117778, 0x00199a00,
  0x3fff0001, 0x1c7238e4, 0x0a3dc290, 0x00004000,
  0x2aaaaaaa, 0x11117778, 0x00199a00, 0x00003f80,
  0x1999cccc, 0x002aab00, 0x001966cc, 0x00003f00,
  0x003fff80, 0x002a55aa, 0x00193398, 0x00003e80,
  0x003f7f81, 0x002a0054, 0x00190064, 0x00000800,
  0x003eff82, 0x0029aafe, 0x00033340, 0x00000180,
  0x003e7f83, 0x00055560, 0x0000999c, 0x00000100,
  0x0007fff0, 0x00010002, 0x00006668, 0x00000080,
  0x00010002, 0x00006668, 0x00000080, 0x00000000,
  0x0000aaac, 0x00003334, 0x00000000, 0xffffff81,
  0x00005556, 0x00000000, 0xffffff80, 0xffffff02,
  0x00000000, 0xffffcccc, 0xffffff00, 0xfffff810,
  0xffffaaaa, 0xffff9998, 0xfffff800, 0xffffc1fd,
  0xffff5554, 0xfffcccc0, 0xffffc180, 0xffffc17e,
  0xfffaaaa0, 0xffe6ff9c, 0xffffc100, 0xffffc0ff,
  0xffd65502, 0xffe6cc68, 0xffffc080, 0xffe699b3,
  0xffd5ffac, 0xffe69934, 0xffe66680, 0xffd5aad5,
  0xffd5aa56, 0xf5c270a4, 0xffd55580, 0xffc0817d,
  0xeeeeddde, 0xeeeebbbc, 0xffc00180, 0xffc080fe,
  0xe38e1c72, 0xe666999c, 0xffc00100, 0xffc0807f,
  0xd5560002, 0xe6666668, 0xffc00080, 0x003f8000,
  0xd555aaac, 0xe6663334, 0x00400000, 0x003f7f81,
  0xd5555556, 0x199a0000, 0x003fff80, 0x002a55aa,
  0x2aab0000, 0x1999cccc, 0x002aab00, 0x001966cc,
  0x2aaaaaaa, 0x11117778, 0x00199a00, 0x00003f80,
  0x1c7238e4, 0x0a3dc290, 0x00004000, 0x00003f01,
  0x11117778, 0x00199a00, 0x00003f80, 0x00003e82,
  0x002aab00, 0x001966cc, 0x00003f00, 0x00003e03,
  0x002a55aa, 0x00193398, 0x00003e80, 0x000007f0,
  0x002a0054, 0x00190064, 0x00000800, 0x0000017d,
  0x0029aafe, 0x00033340, 0x00000180, 0x000000fe,
  0x00055560, 0x0000999c, 0x00000100, 0x0000007f,
  0x0000999c, 0x00000100, 0x0000007f, 0x00000000,
  0x00006668, 0x00000080, 0x00000000, 0xffffff82,
  0x00003334, 0x00000000, 0xffffff81, 0xffffff04,
  0x00000000, 0xffffff80, 0xffffff02, 0xfffff820,
  0xffffcccc, 0xffffff00, 0xfffff810, 0xffffc27a,
  0xffff9998, 0xfffff800, 0xffffc1fd, 0xffffc1fc,
  0xfffcccc0, 0xffffc180, 0xffffc17e, 0xffffc17e,
  0xffe6ff9c, 0xffffc100, 0xffffc0ff, 0xffe6cce6,
  0xffe6cc68, 0xffffc080, 0xffe699b3, 0xffd6002a,
  0xffe69934, 0xffe66680, 0xffd5aad5, 0xffc1017a,
  0xf5c270a4, 0xffd55580, 0xffc0817d, 0xffc100fc,
  0xeeeebbbc, 0xffc00180, 0xffc080fe, 0xffc1007e,
  0xe666999c, 0xffc00100, 0xffc0807f, 0x003f0000,
  0xe6666668, 0xffc00080, 0x003f8000, 0x003eff82,
  0xe6663334, 0x00400000, 0x003f7f81, 0x002a0054,
  0x199a0000, 0x003fff80, 0x002a55aa, 0x00193398,
  0x1999cccc, 0x002aab00, 0x001966cc, 0x00003f00,
  0x11117778, 0x00199a00, 0x00003f80, 0x00003e82,
  0x0a3dc290, 0x00004000, 0x00003f01, 0x00003e04,
  0x00199a00, 0x00003f80, 0x00003e82, 0x00003d86,
  0x001966cc, 0x00003f00, 0x00003e03, 0x000007e0,
  0x00193398, 0x00003e80, 0x000007f0, 0x0000017a,
  0x00190064, 0x00000800, 0x0000017d, 0x000000fc,
  0x00033340, 0x00000180, 0x000000fe, 0x0000007e,
  0x00000180, 0x000000fe, 0x0000007e, 0x00000000,
  0x00000100, 0x0000007f, 0x00000000, 0xffffff83,
  0x00000080, 0x00000000, 0xffffff82, 0xffffff06,
  0x00000000, 0xffffff81, 0xffffff04, 0xfffff830,
  0xffffff80, 0xffffff02, 0xfffff820, 0xffffc2f7,
  0xffffff00, 0xfffff810, 0xffffc27a, 0xffffc27a,
  0xfffff800, 0xffffc1fd, 0xffffc1fc, 0xffffc1fd,
  0xffffc180, 0xffffc17e, 0xffffc17e, 0xffe70019,
  0xffffc100, 0xffffc0ff, 0xffe6cce6, 0xffd6557f,
  0xffffc080, 0xffe699b3, 0xffd6002a, 0xffc18177,
  0xffe66680, 0xffd5aad5, 0xffc1017a, 0xffc180fa,
  0xffd55580, 0xffc0817d, 0xffc100fc, 0xffc1807d,
  0xffc00180, 0xffc080fe, 0xffc1007e, 0x003e8000,
  0xffc00100, 0xffc0807f, 0x003f0000, 0x003e7f83,
  0xffc00080, 0x003f8000, 0x003eff82, 0x0029aafe,
  0x00400000, 0x003f7f81, 0x002a0054, 0x00190064,
  0x003fff80, 0x002a55aa, 0x00193398, 0x00003e80,
  0x002aab00, 0x001966cc, 0x00003f00, 0x00003e03,
  0x00199a00, 0x00003f80, 0x00003e82, 0x00003d86,
  0x00004000, 0x00003f01, 0x00003e04, 0x00003d09,
  0x00003f80, 0x00003e82, 0x00003d86, 0x000007d0,
  0x00003f00, 0x00003e03, 0x000007e0, 0x00000177,
  0x00003e80, 0x000007f0, 0x0000017a, 0x000000fa,
  0x00000800, 0x0000017d, 0x000000fc, 0x0000007d,
  0x0000017d, 0x000000fc, 0x0000007d, 0x00000000,
  0x000000fe, 0x0000007e, 0x00000000, 0xfffffff0,
  0x0000007f, 0x00000000, 0xffffff83, 0xffffffe0,
  0x00000000, 0xffffff82, 0xffffff06, 0xffffff00,
  0xffffff81, 0xffffff04, 0xfffff830, 0xfffff830,
  0xffffff02, 0xfffff820, 0xffffc2f7, 0xfffff820,
  0xfffff810, 0xffffc27a, 0xffffc27a, 0xfffff810,
  0xffffc1fd, 0xffffc1fc, 0xffffc1fd, 0xfffcccd0,
  0xffffc17e, 0xffffc17e, 0xffe70019, 0xfffaaab0,
  0xffffc0ff, 0xffe6cce6, 0xffd6557f, 0xfff80030,
  0xffe699b3, 0xffd6002a, 0xffc18177, 0xfff80020,
  0xffd5aad5, 0xffc1017a, 0xffc180fa, 0xfff80010,
  0xffc0817d, 0xffc100fc, 0xffc1807d, 0x00080000,
  0xffc080fe, 0xffc1007e, 0x003e8000, 0x0007fff0,
  0xffc0807f, 0x003f0000, 0x003e7f83, 0x00055560,
  0x003f8000, 0x003eff82, 0x0029aafe, 0x00033340,
  0x003f7f81, 0x002a0054, 0x00190064, 0x00000800,
  0x002a55aa, 0x00193398, 0x00003e80, 0x000007f0,
  0x001966cc, 0x00003f00, 0x00003e03, 0x000007e0,
  0x00003f80, 0x00003e82, 0x00003d86, 0x000007d0,
  0x00003f01, 0x00003e04, 0x00003d09, 0x00000100,
  0x00003e82, 0x00003d86, 0x000007d0, 0x00000030,
  0x00003e03, 0x000007e0, 0x00000177, 0x00000020,
  0x000007f0, 0x0000017a, 0x000000fa, 0x00000010,
  0x0000017a, 0x000000fa, 0x00000010, 0x00000000,
  0x000000fc, 0x0000007d, 0x00000000, 0xfffffffd,
  0x0000007e, 0x00000000, 0xfffffff0, 0xfffffffa,
  0x00000000, 0xffffff83, 0xffffffe0, 0xffffffd0,
  0xffffff82, 0xffffff06, 0xffffff00, 0xfffffe89,
  0xffffff04, 0xfffff830, 0xfffff830, 0xfffffe86,
  0xfffff820, 0xffffc2f7, 0xfffff820, 0xfffffe83,
  0xffffc27a, 0xffffc27a, 0xfffff810, 0xffff6667,
  0xffffc1fc, 0xffffc1fd, 0xfffcccd0, 0xffff0001,
  0xffffc17e, 0xffe70019, 0xfffaaab0, 0xfffe8009,
  0xffe6cce6, 0xffd6557f, 0xfff80030, 0xfffe8006,
  0xffd6002a, 0xffc18177, 0xfff80020, 0xfffe8003,
  0xffc1017a, 0xffc180fa, 0xfff80010, 0x00018000,
  0xffc100fc, 0xffc1807d, 0x00080000, 0x00017ffd,
  0xffc1007e, 0x003e8000, 0x0007fff0, 0x00010002,
  0x003f0000, 0x003e7f83, 0x00055560, 0x0000999c,
  0x003eff82, 0x0029aafe, 0x00033340, 0x00000180,
  0x002a0054, 0x00190064, 0x00000800, 0x0000017d,
  0x00193398, 0x00003e80, 0x000007f0, 0x0000017a,
  0x00003f00, 0x00003e03, 0x000007e0, 0x00000177,
  0x00003e82, 0x00003d86, 0x000007d0, 0x00000030,
  0x00003e04, 0x00003d09, 0x00000100, 0x00000009,
  0x00003d86, 0x000007d0, 0x00000030, 0x00000006,
  0x000007e0, 0x00000177, 0x00000020, 0x00000003,
  0x00000177, 0x00000020, 0x00000003, 0x00000000,
  0x000000fa, 0x00000010, 0x00000000, 0xfffffffe,
  0x0000007d, 0x00000000, 0xfffffffd, 0xfffffffc,
  0x00000000, 0xfffffff0, 0xfffffffa, 0xffffffe0,
  0xffffff83, 0xffffffe0, 0xffffffd0, 0xffffff06,
  0xffffff06, 0xffffff00, 0xfffffe89, 0xffffff04,
  0xfffff830, 0xfffff830, 0xfffffe86, 0xffffff02,
  0xffffc2f7, 0xfffff820, 0xfffffe83, 0xffff999a,
  0xffffc27a, 0xfffff810, 0xffff6667, 0xffff5556,
  0xffffc1fd, 0xfffcccd0, 0xffff0001, 0xffff0006,
  0xffe70019, 0xfffaaab0, 0xfffe8009, 0xffff0004,
  0xffd6557f, 0xfff80030, 0xfffe8006, 0xffff0002,
  0xffc18177, 0xfff80020, 0xfffe8003, 0x00010000,
  0xffc180fa, 0xfff80010, 0x00018000, 0x0000fffe,
  0xffc1807d, 0x00080000, 0x00017ffd, 0x0000aaac,
  0x003e8000, 0x0007fff0, 0x00010002, 0x00006668,
  0x003e7f83, 0x00055560, 0x0000999c, 0x00000100,
  0x0029aafe, 0x00033340, 0x00000180, 0x000000fe,
  0x00190064, 0x00000800, 0x0000017d, 0x000000fc,
  0x00003e80, 0x000007f0, 0x0000017a, 0x000000fa,
  0x00003e03, 0x000007e0, 0x00000177, 0x00000020,
  0x00003d86, 0x000007d0, 0x00000030, 0x00000006,
  0x00003d09, 0x00000100, 0x00000009, 0x00000004,
  0x000007d0, 0x00000030, 0x00000006, 0x00000002,
  0x00000030, 0x00000006, 0x00000002, 0x00000000,
  0x00000020, 0x00000003, 0x00000000, 0xffffffff,
  0x00000010, 0x00000000, 0xfffffffe, 0xfffffffe,
  0x00000000, 0xfffffffd, 0xfffffffc, 0xfffffff0,
  0xfffffff0, 0xfffffffa, 0xffffffe0, 0xffffff83,
  0xffffffe0, 0xffffffd0, 0xffffff06, 0xffffff82,
  0xffffff00, 0xfffffe89, 0xffffff04, 0xffffff81,
  0xfffff830, 0xfffffe86, 0xffffff02, 0xffffcccd,
  0xfffff820, 0xfffffe83, 0xffff999a, 0xffffaaab,
  0xfffff810, 0xffff6667, 0xffff5556, 0xffff8003,
  0xfffcccd0, 0xffff0001, 0xffff0006, 0xffff8002,
  0xfffaaab0, 0xfffe8009, 0xffff0004, 0xffff8001,
  0xfff80030, 0xfffe8006, 0xffff0002, 0x00008000,
  0xfff80020, 0xfffe8003, 0x00010000, 0x00007fff,
  0xfff80010, 0x00018000, 0x0000fffe, 0x00005556,
  0x00080000, 0x00017ffd, 0x0000aaac, 0x00003334,
  0x0007fff0, 0x00010002, 0x00006668, 0x00000080,
  0x00055560, 0x0000999c, 0x00000100, 0x0000007f,
  0x00033340, 0x00000180, 0x000000fe, 0x0000007e,
  0x00000800, 0x0000017d, 0x000000fc, 0x0000007d,
  0x000007f0, 0x0000017a, 0x000000fa, 0x00000010,
  0x000007e0, 0x00000177, 0x00000020, 0x00000003,
  0x000007d0, 0x00000030, 0x00000006, 0x00000002,
  0x00000100, 0x00000009, 0x00000004, 0x00000001,
};
const unsigned kExpectedCount_NEON_smull2_4S = 576;

#endif  // VIXL_SIM_SMULL2_4S_TRACE_AARCH64_H_