// 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_UMLSL_2D_TRACE_AARCH64_H_
#define VIXL_SIM_UMLSL_2D_TRACE_AARCH64_H_

const uint64_t kExpected_NEON_umlsl_2D[] = {
  0xffffffffc1fc0000, 0xffffffffc0ff0001,
  0xffffffffc17e0000, 0xffffffc0817d0001,
  0xffffffc1017a0000, 0x0000000000000001,
  0x0000000000000000, 0xffffffffffff8101,
  0xffffffffffff8200, 0xffffffffffff0201,
  0xffffffffffff0400, 0xfffffffffff02001,
  0xfffffffffff04000, 0xffffffffffc1fd01,
  0xffffffffffc27a00, 0xffffffffffc17e01,
  0xffffffffffc1fc00, 0xffffffffffc0ff01,
  0xffffffffffc17e00, 0xffffffffc0817d01,
  0xffffffffc1017a00, 0xffffffffc080fe01,
  0xffffffffc100fc00, 0xffffffffc0807f01,
  0xffffffffc1007e00, 0xffffe6999999b301,
  0xffffe6cccccce600, 0xffffd5aaaaaad501,
  0xffffd60000002a00, 0xffffc08000017d01,
  0xffffc10000017a00, 0xffffc0800000fe01,
  0xffffc1000000fc00, 0xffffc08000007f01,
  0xffffc10000007e00, 0xffffc08000000001,
  0xffffc10000000000, 0xffffc07fffff8101,
  0xffffc0ffffff8200, 0xffffab555555aa01,
  0xffffac0000005400, 0xffff9a666666cc01,
  0xffff9b3333339800, 0xffff81003f800001,
  0xffff82003f000000, 0xffff81003f7f8101,
  0xffff82003eff8200, 0xffff81003f7f0201,
  0xffff82003eff0400, 0xffff81003f7e8301,
  0xffff82003efe8600, 0xffff8100003f8001,
  0xffff8200003f0000, 0xffff8100003f0101,
  0xffff8200003e8200, 0xffff8100003e8201,
  0xffff8200003e0400, 0xffff8100003e0301,
  0xffff8200003d8600, 0xffff8100000fe001,
  0xffff8200000fc000, 0xffff810000017d01,
  0xffff810000017d00, 0xff80030000fffa01,
  0xffff81000000fe00, 0xff800300007ffd01,
  0xffff810000007f00, 0x0000000000000001,
  0x0000000000000000, 0xffffffffff800301,
  0xffffffffffff8100, 0xffffffffff000601,
  0xffffffffffff0200, 0xfffffffff0006001,
  0xfffffffffff02000, 0xffffffffc1817701,
  0xffffffffffc1fd00, 0xffffffffc1017a01,
  0xffffffffffc17e00, 0xffffffffc0817d01,
  0xffffffffffc0ff00, 0xffffffc002fff701,
  0xffffffffc0817d00, 0xffffffc0027ffa01,
  0xffffffffc080fe00, 0xffffffc001fffd01,
  0xffffffffc0807f00, 0xffe6670000199901,
  0xffffe6999999b300, 0xffd55655557fff01,
  0xffffd5aaaaaad500, 0xffc00180017ff701,
  0xffffc08000017d00, 0xffc0018000fffa01,
  0xffffc0800000fe00, 0xffc00180007ffd01,
  0xffffc08000007f00, 0xffc0018000000001,
  0xffffc08000000000, 0xffc0017fff800301,
  0xffffc07fffff8100, 0xffaaacaaaafffe01,
  0xffffab555555aa00, 0xff999c0000666401,
  0xffff9a666666cc00, 0xff80033ffe800001,
  0xffff81003f800000, 0xff80033ffe000301,
  0xffff81003f7f8100, 0xff80033ffd800601,
  0xffff81003f7f0200, 0xff80033ffd000901,
  0xffff81003f7e8300, 0xff8003003ffe8001,
  0xffff8100003f8000, 0xff8003003f7e8301,
  0xffff8100003f0100, 0xff8003003efe8601,
  0xffff8100003e8200, 0xff8003003e7e8901,
  0xffff8100003e0300, 0xff8003000fffa001,
  0xffff8100000fe000, 0xff800300017ff701,
  0xff800300017ff700, 0x0000000000000001,
  0xff80030000fffa00, 0x0000000000000001,
  0xff800300007ffd00, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000001,
  0xffffffffff800300, 0x0000000000000001,
  0xffffffffff000600, 0x0000000000000001,
  0xfffffffff0006000, 0x0000000000000001,
  0xffffffffc1817700, 0x0000000000000001,
  0xffffffffc1017a00, 0x0000000000000001,
  0xffffffffc0817d00, 0x0000000000000001,
  0xffffffc002fff700, 0x0000000000000001,
  0xffffffc0027ffa00, 0x0000000000000001,
  0xffffffc001fffd00, 0x0000000000000001,
  0xffe6670000199900, 0x0000000000000001,
  0xffd55655557fff00, 0x0000000000000001,
  0xffc00180017ff700, 0x0000000000000001,
  0xffc0018000fffa00, 0x0000000000000001,
  0xffc00180007ffd00, 0x0000000000000001,
  0xffc0018000000000, 0x0000000000000001,
  0xffc0017fff800300, 0x0000000000000001,
  0xffaaacaaaafffe00, 0x0000000000000001,
  0xff999c0000666400, 0x0000000000000001,
  0xff80033ffe800000, 0x0000000000000001,
  0xff80033ffe000300, 0x0000000000000001,
  0xff80033ffd800600, 0x0000000000000001,
  0xff80033ffd000900, 0x0000000000000001,
  0xff8003003ffe8000, 0x0000000000000001,
  0xff8003003f7e8300, 0x0000000000000001,
  0xff8003003efe8600, 0x0000000000000001,
  0xff8003003e7e8900, 0x0000000000000001,
  0xff8003000fffa000, 0x0000000000000001,
  0x0000000000000000, 0xffffffff00000003,
  0x0000000000000000, 0xffffffff00000002,
  0x0000000000000000, 0x0000000000000001,
  0x0000000000000000, 0x0000000000000000,
  0x0000000000000000, 0xffffffffffffffff,
  0x0000000000000000, 0xffffffffffffffe1,
  0x0000000000000000, 0xffffffffffffff84,
  0x0000000000000000, 0xffffffffffffff83,
  0x0000000000000000, 0xffffffffffffff82,
  0x0000000000000000, 0xffffffffffff8004,
  0x0000000000000000, 0xffffffffffff8003,
  0x0000000000000000, 0xffffffffffff8002,
  0x0000000000000000, 0xffffffffccccccce,
  0x0000000000000000, 0xffffffffaaaaaaac,
  0x0000000000000000, 0xffffffff80000004,
  0x0000000000000000, 0xffffffff80000003,
  0x0000000000000000, 0xffffffff80000002,
  0x0000000000000000, 0xffffffff80000001,
  0x0000000000000000, 0xffffffff80000000,
  0x0000000000000000, 0xffffffff55555557,
  0x0000000000000000, 0xffffffff33333335,
  0x0000000000000000, 0xffffffff00008001,
  0x0000000000000000, 0xffffffff00008000,
  0x0000000000000000, 0xffffffff00007fff,
  0x0000000000000000, 0xffffffff00007ffe,
  0x0000000000000000, 0xffffffff00000081,
  0x0000000000000000, 0xffffffff00000080,
  0x0000000000000000, 0xffffffff0000007f,
  0x0000000000000000, 0xffffffff0000007e,
  0x0000000000000000, 0xffffffff00000021,
  0x0000000000000000, 0xffffffff00000004,
  0xffffffff00000003, 0xfffffffe00000005,
  0xffffffff00000002, 0xfffffffe00000003,
  0xffffffff00000001, 0x0000000000000001,
  0x0000000000000000, 0xffffffffffffffff,
  0xffffffffffffffff, 0xfffffffffffffffd,
  0xfffffffffffffffe, 0xffffffffffffffc1,
  0xffffffffffffffe0, 0xffffffffffffff07,
  0xffffffffffffff83, 0xffffffffffffff05,
  0xffffffffffffff82, 0xffffffffffffff03,
  0xffffffffffffff81, 0xffffffffffff0007,
  0xffffffffffff8003, 0xffffffffffff0005,
  0xffffffffffff8002, 0xffffffffffff0003,
  0xffffffffffff8001, 0xffffffff9999999b,
  0xffffffffcccccccd, 0xffffffff55555557,
  0xffffffffaaaaaaab, 0xffffffff00000007,
  0xffffffff80000003, 0xffffffff00000005,
  0xffffffff80000002, 0xffffffff00000003,
  0xffffffff80000001, 0xffffffff00000001,
  0xffffffff80000000, 0xfffffffeffffffff,
  0xffffffff7fffffff, 0xfffffffeaaaaaaad,
  0xffffffff55555556, 0xfffffffe66666669,
  0xffffffff33333334, 0xfffffffe00010001,
  0xffffffff00008000, 0xfffffffe0000ffff,
  0xffffffff00007fff, 0xfffffffe0000fffd,
  0xffffffff00007ffe, 0xfffffffe0000fffb,
  0xffffffff00007ffd, 0xfffffffe00000101,
  0xffffffff00000080, 0xfffffffe000000ff,
  0xffffffff0000007f, 0xfffffffe000000fd,
  0xffffffff0000007e, 0xfffffffe000000fb,
  0xffffffff0000007d, 0xfffffffe00000041,
  0xffffffff00000020, 0xfffffffe00000007,
  0xfffffffe00000006, 0xffffffe000000041,
  0xfffffffe00000004, 0xffffffe000000021,
  0xfffffffe00000002, 0x0000000000000001,
  0x0000000000000000, 0xffffffffffffffe1,
  0xfffffffffffffffe, 0xffffffffffffffc1,
  0xfffffffffffffffc, 0xfffffffffffffc01,
  0xffffffffffffffc0, 0xfffffffffffff061,
  0xffffffffffffff06, 0xfffffffffffff041,
  0xffffffffffffff04, 0xfffffffffffff021,
  0xffffffffffffff02, 0xfffffffffff00061,
  0xffffffffffff0006, 0xfffffffffff00041,
  0xffffffffffff0004, 0xfffffffffff00021,
  0xffffffffffff0002, 0xfffffff9999999a1,
  0xffffffff9999999a, 0xfffffff555555561,
  0xffffffff55555556, 0xfffffff000000061,
  0xffffffff00000006, 0xfffffff000000041,
  0xffffffff00000004, 0xfffffff000000021,
  0xffffffff00000002, 0xfffffff000000001,
  0xffffffff00000000, 0xffffffefffffffe1,
  0xfffffffefffffffe, 0xffffffeaaaaaaac1,
  0xfffffffeaaaaaaac, 0xffffffe666666681,
  0xfffffffe66666668, 0xffffffe000100001,
  0xfffffffe00010000, 0xffffffe0000fffe1,
  0xfffffffe0000fffe, 0xffffffe0000fffc1,
  0xfffffffe0000fffc, 0xffffffe0000fffa1,
  0xfffffffe0000fffa, 0xffffffe000001001,
  0xfffffffe00000100, 0xffffffe000000fe1,
  0xfffffffe000000fe, 0xffffffe000000fc1,
  0xfffffffe000000fc, 0xffffffe000000fa1,
  0xfffffffe000000fa, 0xffffffe000000401,
  0xfffffffe00000040, 0xffffffe000000061,
  0xffffffe000000060, 0xffffff83000000fb,
  0xffffffe000000040, 0xffffff830000007e,
  0xffffffe000000020, 0x0000000000000001,
  0x0000000000000000, 0xffffffffffffff84,
  0xffffffffffffffe0, 0xffffffffffffff07,
  0xffffffffffffffc0, 0xfffffffffffff061,
  0xfffffffffffffc00, 0xffffffffffffc2f8,
  0xfffffffffffff060, 0xffffffffffffc27b,
  0xfffffffffffff040, 0xffffffffffffc1fe,
  0xfffffffffffff020, 0xffffffffffc18178,
  0xfffffffffff00060, 0xffffffffffc180fb,
  0xfffffffffff00040, 0xffffffffffc1807e,
  0xfffffffffff00020, 0xffffffe70000001a,
  0xfffffff9999999a0, 0xffffffd655555580,
  0xfffffff555555560, 0xffffffc180000178,
  0xfffffff000000060, 0xffffffc1800000fb,
  0xfffffff000000040, 0xffffffc18000007e,
  0xfffffff000000020, 0xffffffc180000001,
  0xfffffff000000000, 0xffffffc17fffff84,
  0xffffffefffffffe0, 0xffffffacaaaaaaff,
  0xffffffeaaaaaaac0, 0xffffff9c00000065,
  0xffffffe666666680, 0xffffff83003e8001,
  0xffffffe000100000, 0xffffff83003e7f84,
  0xffffffe0000fffe0, 0xffffff83003e7f07,
  0xffffffe0000fffc0, 0xffffff83003e7e8a,
  0xffffffe0000fffa0, 0xffffff8300003e81,
  0xffffffe000001000, 0xffffff8300003e04,
  0xffffffe000000fe0, 0xffffff8300003d87,
  0xffffffe000000fc0, 0xffffff8300003d0a,
  0xffffffe000000fa0, 0xffffff8300000fa1,
  0xffffffe000000400, 0xffffff8300000178,
  0xffffff8300000177, 0xffffff82000000fd,
  0xffffff83000000fa, 0xffffff820000007f,
  0xffffff830000007d, 0x0000000000000001,
  0x0000000000000000, 0xffffffffffffff83,
  0xffffffffffffff83, 0xffffffffffffff05,
  0xffffffffffffff06, 0xfffffffffffff041,
  0xfffffffffffff060, 0xffffffffffffc27b,
  0xffffffffffffc2f7, 0xffffffffffffc1fd,
  0xffffffffffffc27a, 0xffffffffffffc17f,
  0xffffffffffffc1fd, 0xffffffffffc1017b,
  0xffffffffffc18177, 0xffffffffffc100fd,
  0xffffffffffc180fa, 0xffffffffffc1007f,
  0xffffffffffc1807d, 0xffffffe6cccccce7,
  0xffffffe700000019, 0xffffffd60000002b,
  0xffffffd65555557f, 0xffffffc10000017b,
  0xffffffc180000177, 0xffffffc1000000fd,
  0xffffffc1800000fa, 0xffffffc10000007f,
  0xffffffc18000007d, 0xffffffc100000001,
  0xffffffc180000000, 0xffffffc0ffffff83,
  0xffffffc17fffff83, 0xffffffac00000055,
  0xffffffacaaaaaafe, 0xffffff9b33333399,
  0xffffff9c00000064, 0xffffff82003f0001,
  0xffffff83003e8000, 0xffffff82003eff83,
  0xffffff83003e7f83, 0xffffff82003eff05,
  0xffffff83003e7f06, 0xffffff82003efe87,
  0xffffff83003e7e89, 0xffffff8200003f01,
  0xffffff8300003e80, 0xffffff8200003e83,
  0xffffff8300003e03, 0xffffff8200003e05,
  0xffffff8300003d86, 0xffffff8200003d87,
  0xffffff8300003d09, 0xffffff8200000fc1,
  0xffffff8300000fa0, 0xffffff820000017b,
  0xffffff820000017a, 0xffffff81000000ff,
  0xffffff82000000fc, 0xffffff8100000080,
  0xffffff820000007e, 0x0000000000000001,
  0x0000000000000000, 0xffffffffffffff82,
  0xffffffffffffff82, 0xffffffffffffff03,
  0xffffffffffffff04, 0xfffffffffffff021,
  0xfffffffffffff040, 0xffffffffffffc1fe,
  0xffffffffffffc27a, 0xffffffffffffc17f,
  0xffffffffffffc1fc, 0xffffffffffffc100,
  0xffffffffffffc17e, 0xffffffffffc0817e,
  0xffffffffffc1017a, 0xffffffffffc080ff,
  0xffffffffffc100fc, 0xffffffffffc08080,
  0xffffffffffc1007e, 0xffffffe6999999b4,
  0xffffffe6cccccce6, 0xffffffd5aaaaaad6,
  0xffffffd60000002a, 0xffffffc08000017e,
  0xffffffc10000017a, 0xffffffc0800000ff,
  0xffffffc1000000fc, 0xffffffc080000080,
  0xffffffc10000007e, 0xffffffc080000001,
  0xffffffc100000000, 0xffffffc07fffff82,
  0xffffffc0ffffff82, 0xffffffab555555ab,
  0xffffffac00000054, 0xffffff9a666666cd,
  0xffffff9b33333398, 0xffffff81003f8001,
  0xffffff82003f0000, 0xffffff81003f7f82,
  0xffffff82003eff82, 0xffffff81003f7f03,
  0xffffff82003eff04, 0xffffff81003f7e84,
  0xffffff82003efe86, 0xffffff8100003f81,
  0xffffff8200003f00, 0xffffff8100003f02,
  0xffffff8200003e82, 0xffffff8100003e83,
  0xffffff8200003e04, 0xffffff8100003e04,
  0xffffff8200003d86, 0xffffff8100000fe1,
  0xffffff8200000fc0, 0xffffff810000017e,
  0xffffff810000017d, 0xffff80030000fffb,
  0xffffff81000000fe, 0xffff800300007ffe,
  0xffffff810000007f, 0x0000000000000001,
  0x0000000000000000, 0xffffffffffff8004,
  0xffffffffffffff81, 0xffffffffffff0007,
  0xffffffffffffff02, 0xfffffffffff00061,
  0xfffffffffffff020, 0xffffffffffc18178,
  0xffffffffffffc1fd, 0xffffffffffc1017b,
  0xffffffffffffc17e, 0xffffffffffc0817e,
  0xffffffffffffc0ff, 0xffffffffc002fff8,
  0xffffffffffc0817d, 0xffffffffc0027ffb,
  0xffffffffffc080fe, 0xffffffffc001fffe,
  0xffffffffffc0807f, 0xffffe6670000199a,
  0xffffffe6999999b3, 0xffffd55655558000,
  0xffffffd5aaaaaad5, 0xffffc00180017ff8,
  0xffffffc08000017d, 0xffffc0018000fffb,
  0xffffffc0800000fe, 0xffffc00180007ffe,
  0xffffffc08000007f, 0xffffc00180000001,
  0xffffffc080000000, 0xffffc0017fff8004,
  0xffffffc07fffff81, 0xffffaaacaaaaffff,
  0xffffffab555555aa, 0xffff999c00006665,
  0xffffff9a666666cc, 0xffff80033ffe8001,
  0xffffff81003f8000, 0xffff80033ffe0004,
  0xffffff81003f7f81, 0xffff80033ffd8007,
  0xffffff81003f7f02, 0xffff80033ffd000a,
  0xffffff81003f7e83, 0xffff8003003ffe81,
  0xffffff8100003f80, 0xffff8003003f7e84,
  0xffffff8100003f01, 0xffff8003003efe87,
  0xffffff8100003e82, 0xffff8003003e7e8a,
  0xffffff8100003e03, 0xffff8003000fffa1,
  0xffffff8100000fe0, 0xffff800300017ff8,
  0xffff800300017ff7, 0xffff80020000fffd,
  0xffff80030000fffa, 0xffff800200007fff,
  0xffff800300007ffd, 0x0000000000000001,
  0x0000000000000000, 0xffffffffffff8003,
  0xffffffffffff8003, 0xffffffffffff0005,
  0xffffffffffff0006, 0xfffffffffff00041,
  0xfffffffffff00060, 0xffffffffffc180fb,
  0xffffffffffc18177, 0xffffffffffc100fd,
  0xffffffffffc1017a, 0xffffffffffc080ff,
  0xffffffffffc0817d, 0xffffffffc0027ffb,
  0xffffffffc002fff7, 0xffffffffc001fffd,
  0xffffffffc0027ffa, 0xffffffffc0017fff,
  0xffffffffc001fffd, 0xffffe666cccce667,
  0xffffe66700001999, 0xffffd55600002aab,
  0xffffd55655557fff, 0xffffc00100017ffb,
  0xffffc00180017ff7, 0xffffc0010000fffd,
  0xffffc0018000fffa, 0xffffc00100007fff,
  0xffffc00180007ffd, 0xffffc00100000001,
  0xffffc00180000000, 0xffffc000ffff8003,
  0xffffc0017fff8003, 0xffffaaac00005555,
  0xffffaaacaaaafffe, 0xffff999b33339999,
  0xffff999c00006664, 0xffff80023fff0001,
  0xffff80033ffe8000, 0xffff80023ffe8003,
  0xffff80033ffe0003, 0xffff80023ffe0005,
  0xffff80033ffd8006, 0xffff80023ffd8007,
  0xffff80033ffd0009, 0xffff8002003fff01,
  0xffff8003003ffe80, 0xffff8002003f7f03,
  0xffff8003003f7e83, 0xffff8002003eff05,
  0xffff8003003efe86, 0xffff8002003e7f07,
  0xffff8003003e7e89, 0xffff8002000fffc1,
  0xffff8003000fffa0, 0xffff800200017ffb,
  0xffff800200017ffa, 0xffff80010000ffff,
  0xffff80020000fffc, 0xffff800100008000,
  0xffff800200007ffe, 0x0000000000000001,
  0x0000000000000000, 0xffffffffffff8002,
  0xffffffffffff8002, 0xffffffffffff0003,
  0xffffffffffff0004, 0xfffffffffff00021,
  0xfffffffffff00040, 0xffffffffffc1807e,
  0xffffffffffc180fa, 0xffffffffffc1007f,
  0xffffffffffc100fc, 0xffffffffffc08080,
  0xffffffffffc080fe, 0xffffffffc001fffe,
  0xffffffffc0027ffa, 0xffffffffc0017fff,
  0xffffffffc001fffc, 0xffffffffc0010000,
  0xffffffffc0017ffe, 0xffffe6669999b334,
  0xffffe666cccce666, 0xffffd555aaaad556,
  0xffffd55600002aaa, 0xffffc00080017ffe,
  0xffffc00100017ffa, 0xffffc0008000ffff,
  0xffffc0010000fffc, 0xffffc00080008000,
  0xffffc00100007ffe, 0xffffc00080000001,
  0xffffc00100000000, 0xffffc0007fff8002,
  0xffffc000ffff8002, 0xffffaaab5555aaab,
  0xffffaaac00005554, 0xffff999a6666cccd,
  0xffff999b33339998, 0xffff80013fff8001,
  0xffff80023fff0000, 0xffff80013fff0002,
  0xffff80023ffe8002, 0xffff80013ffe8003,
  0xffff80023ffe0004, 0xffff80013ffe0004,
  0xffff80023ffd8006, 0xffff8001003fff81,
  0xffff8002003fff00, 0xffff8001003f7f82,
  0xffff8002003f7f02, 0xffff8001003eff83,
  0xffff8002003eff04, 0xffff8001003e7f84,
  0xffff8002003e7f06, 0xffff8001000fffe1,
  0xffff8002000fffc0, 0xffff800100017ffe,
  0xffff800100017ffd, 0xcccccccd66666667,
  0xffff80010000fffe, 0xcccccccd33333334,
  0xffff800100007fff, 0x0000000000000001,
  0x0000000000000000, 0xffffffffccccccce,
  0xffffffffffff8001, 0xffffffff9999999b,
  0xffffffffffff0002, 0xfffffff9999999a1,
  0xfffffffffff00020, 0xffffffe70000001a,
  0xffffffffffc1807d, 0xffffffe6cccccce7,
  0xffffffffffc1007e, 0xffffffe6999999b4,
  0xffffffffffc0807f, 0xffffe6670000199a,
  0xffffffffc001fffd, 0xffffe666cccce667,
  0xffffffffc0017ffe, 0xffffe6669999b334,
  0xffffffffc000ffff, 0xf5c28f5c3d70a3d8,
  0xffffe6669999b333, 0xeeeeeeef11111112,
  0xffffd555aaaad555, 0xe66666671999999a,
  0xffffc00080017ffd, 0xe6666666e6666667,
  0xffffc0008000fffe, 0xe6666666b3333334,
  0xffffc00080007fff, 0xe666666680000001,
  0xffffc00080000000, 0xe66666664cccccce,
  0xffffc0007fff8001, 0xddddddde22222223,
  0xffffaaab5555aaaa, 0xd70a3d70f5c28f5d,
  0xffff999a6666cccc, 0xcccce66699998001,
  0xffff80013fff8000, 0xcccce66666664cce,
  0xffff80013fff0001, 0xcccce6663333199b,
  0xffff80013ffe8002, 0xcccce665ffffe668,
  0xffff80013ffe0003, 0xcccccce699999981,
  0xffff8001003fff80, 0xcccccce66666664e,
  0xffff8001003f7f81, 0xcccccce63333331b,
  0xffff8001003eff82, 0xcccccce5ffffffe8,
  0xffff8001003e7f83, 0xccccccd366666661,
  0xffff8001000fffe0, 0xcccccccd9999999a,
  0xcccccccd99999999, 0xaaaaaaabaaaaaaab,
  0xcccccccd66666666, 0xaaaaaaab55555556,
  0xcccccccd33333333, 0x0000000000000001,
  0x0000000000000000, 0xffffffffaaaaaaac,
  0xffffffffcccccccd, 0xffffffff55555557,
  0xffffffff9999999a, 0xfffffff555555561,
  0xfffffff9999999a0, 0xffffffd655555580,
  0xffffffe700000019, 0xffffffd60000002b,
  0xffffffe6cccccce6, 0xffffffd5aaaaaad6,
  0xffffffe6999999b3, 0xffffd55655558000,
  0xffffe66700001999, 0xffffd55600002aab,
  0xffffe666cccce666, 0xffffd555aaaad556,
  0xffffe6669999b333, 0xeeeeeeef11111112,
  0xf5c28f5c3d70a3d7, 0xe38e38e3c71c71c8,
  0xeeeeeeef11111111, 0xd555555680000000,
  0xe666666719999999, 0xd55555562aaaaaab,
  0xe6666666e6666666, 0xd5555555d5555556,
  0xe6666666b3333333, 0xd555555580000001,
  0xe666666680000000, 0xd55555552aaaaaac,
  0xe66666664ccccccd, 0xc71c71c78e38e38f,
  0xddddddde22222222, 0xbbbbbbbc44444445,
  0xd70a3d70f5c28f5c, 0xaaaad555aaaa8001,
  0xcccce66699998000, 0xaaaad55555552aac,
  0xcccce66666664ccd, 0xaaaad554ffffd557,
  0xcccce6663333199a, 0xaaaad554aaaa8002,
  0xcccce665ffffe667, 0xaaaaaad5aaaaaa81,
  0xcccccce699999980, 0xaaaaaad55555552c,
  0xcccccce66666664d, 0xaaaaaad4ffffffd7,
  0xcccccce63333331a, 0xaaaaaad4aaaaaa82,
  0xcccccce5ffffffe7, 0xaaaaaab5aaaaaaa1,
  0xccccccd366666660, 0xaaaaaaac00000000,
  0xaaaaaaabffffffff, 0x80000003fffffffb,
  0xaaaaaaabaaaaaaaa, 0x800000037ffffffe,
  0xaaaaaaab55555555, 0x0000000000000001,
  0x0000000000000000, 0xffffffff80000004,
  0xffffffffaaaaaaab, 0xffffffff00000007,
  0xffffffff55555556, 0xfffffff000000061,
  0xfffffff555555560, 0xffffffc180000178,
  0xffffffd65555557f, 0xffffffc10000017b,
  0xffffffd60000002a, 0xffffffc08000017e,
  0xffffffd5aaaaaad5, 0xffffc00180017ff8,
  0xffffd55655557fff, 0xffffc00100017ffb,
  0xffffd55600002aaa, 0xffffc00080017ffe,
  0xffffd555aaaad555, 0xe66666671999999a,
  0xeeeeeeef11111111, 0xd555555680000000,
  0xe38e38e3c71c71c7, 0xc0000002fffffff8,
  0xd55555567fffffff, 0xc00000027ffffffb,
  0xd55555562aaaaaaa, 0xc0000001fffffffe,
  0xd5555555d5555555, 0xc000000180000001,
  0xd555555580000000, 0xc000000100000004,
  0xd55555552aaaaaab, 0xaaaaaaacffffffff,
  0xc71c71c78e38e38e, 0x9999999c66666665,
  0xbbbbbbbc44444444, 0x80004002fffe8001,
  0xaaaad555aaaa8000, 0x800040027ffe8004,
  0xaaaad55555552aab, 0x80004001fffe8007,
  0xaaaad554ffffd556, 0x800040017ffe800a,
  0xaaaad554aaaa8001, 0x80000042fffffe81,
  0xaaaaaad5aaaaaa80, 0x800000427ffffe84,
  0xaaaaaad55555552b, 0x80000041fffffe87,
  0xaaaaaad4ffffffd6, 0x800000417ffffe8a,
  0xaaaaaad4aaaaaa81, 0x80000012ffffffa1,
  0xaaaaaab5aaaaaaa0, 0x800000047ffffff8,
  0x800000047ffffff7, 0x80000002fffffffd,
  0x80000003fffffffa, 0x800000027fffffff,
  0x800000037ffffffd, 0x0000000000000001,
  0x0000000000000000, 0xffffffff80000003,
  0xffffffff80000003, 0xffffffff00000005,
  0xffffffff00000006, 0xfffffff000000041,
  0xfffffff000000060, 0xffffffc1800000fb,
  0xffffffc180000177, 0xffffffc1000000fd,
  0xffffffc10000017a, 0xffffffc0800000ff,
  0xffffffc08000017d, 0xffffc0018000fffb,
  0xffffc00180017ff7, 0xffffc0010000fffd,
  0xffffc00100017ffa, 0xffffc0008000ffff,
  0xffffc00080017ffd, 0xe6666666e6666667,
  0xe666666719999999, 0xd55555562aaaaaab,
  0xd55555567fffffff, 0xc00000027ffffffb,
  0xc0000002fffffff7, 0xc0000001fffffffd,
  0xc00000027ffffffa, 0xc00000017fffffff,
  0xc0000001fffffffd, 0xc000000100000001,
  0xc000000180000000, 0xc000000080000003,
  0xc000000100000003, 0xaaaaaaac55555555,
  0xaaaaaaacfffffffe, 0x9999999b99999999,
  0x9999999c66666664, 0x80004001ffff0001,
  0x80004002fffe8000, 0x800040017fff0003,
  0x800040027ffe8003, 0x80004000ffff0005,
  0x80004001fffe8006, 0x800040007fff0007,
  0x800040017ffe8009, 0x80000041ffffff01,
  0x80000042fffffe80, 0x800000417fffff03,
  0x800000427ffffe83, 0x80000040ffffff05,
  0x80000041fffffe86, 0x800000407fffff07,
  0x800000417ffffe89, 0x80000011ffffffc1,
  0x80000012ffffffa0, 0x800000037ffffffb,
  0x800000037ffffffa, 0x80000001ffffffff,
  0x80000002fffffffc, 0x8000000180000000,
  0x800000027ffffffe, 0x0000000000000001,
  0x0000000000000000, 0xffffffff80000002,
  0xffffffff80000002, 0xffffffff00000003,
  0xffffffff00000004, 0xfffffff000000021,
  0xfffffff000000040, 0xffffffc18000007e,
  0xffffffc1800000fa, 0xffffffc10000007f,
  0xffffffc1000000fc, 0xffffffc080000080,
  0xffffffc0800000fe, 0xffffc00180007ffe,
  0xffffc0018000fffa, 0xffffc00100007fff,
  0xffffc0010000fffc, 0xffffc00080008000,
  0xffffc0008000fffe, 0xe6666666b3333334,
  0xe6666666e6666666, 0xd5555555d5555556,
  0xd55555562aaaaaaa, 0xc0000001fffffffe,
  0xc00000027ffffffa, 0xc00000017fffffff,
  0xc0000001fffffffc, 0xc000000100000000,
  0xc00000017ffffffe, 0xc000000080000001,
  0xc000000100000000, 0xc000000000000002,
  0xc000000080000002, 0xaaaaaaabaaaaaaab,
  0xaaaaaaac55555554, 0x9999999acccccccd,
  0x9999999b99999998, 0x80004000ffff8001,
  0x80004001ffff0000, 0x800040007fff8002,
  0x800040017fff0002, 0x80003fffffff8003,
  0x80004000ffff0004, 0x80003fff7fff8004,
  0x800040007fff0006, 0x80000040ffffff81,
  0x80000041ffffff00, 0x800000407fffff82,
  0x800000417fffff02, 0x8000003fffffff83,
  0x80000040ffffff04, 0x8000003f7fffff84,
  0x800000407fffff06, 0x80000010ffffffe1,
  0x80000011ffffffc0, 0x800000027ffffffe,
  0x800000027ffffffd, 0x8000000100000001,
  0x80000001fffffffe, 0x8000000080000001,
  0x800000017fffffff, 0x0000000000000001,
  0x0000000000000000, 0xffffffff80000001,
  0xffffffff80000001, 0xffffffff00000001,
  0xffffffff00000002, 0xfffffff000000001,
  0xfffffff000000020, 0xffffffc180000001,
  0xffffffc18000007d, 0xffffffc100000001,
  0xffffffc10000007e, 0xffffffc080000001,
  0xffffffc08000007f, 0xffffc00180000001,
  0xffffc00180007ffd, 0xffffc00100000001,
  0xffffc00100007ffe, 0xffffc00080000001,
  0xffffc00080007fff, 0xe666666680000001,
  0xe6666666b3333333, 0xd555555580000001,
  0xd5555555d5555555, 0xc000000180000001,
  0xc0000001fffffffd, 0xc000000100000001,
  0xc00000017ffffffe, 0xc000000080000001,
  0xc0000000ffffffff, 0xc000000000000001,
  0xc000000080000000, 0xbfffffff80000001,
  0xc000000000000001, 0xaaaaaaab00000001,
  0xaaaaaaabaaaaaaaa, 0x9999999a00000001,
  0x9999999acccccccc, 0x8000400000000001,
  0x80004000ffff8000, 0x80003fff80000001,
  0x800040007fff8001, 0x80003fff00000001,
  0x80003fffffff8002, 0x80003ffe80000001,
  0x80003fff7fff8003, 0x8000004000000001,
  0x80000040ffffff80, 0x8000003f80000001,
  0x800000407fffff81, 0x8000003f00000001,
  0x8000003fffffff82, 0x8000003e80000001,
  0x8000003f7fffff83, 0x8000001000000001,
  0x80000010ffffffe0, 0x8000000180000001,
  0x8000000180000000, 0x8000000000000003,
  0x8000000100000000, 0x7fffffff80000002,
  0x8000000080000000, 0x0000000000000001,
  0x0000000000000000, 0xffffffff80000000,
  0xffffffff80000000, 0xfffffffeffffffff,
  0xffffffff00000000, 0xffffffefffffffe1,
  0xfffffff000000000, 0xffffffc17fffff84,
  0xffffffc180000000, 0xffffffc0ffffff83,
  0xffffffc100000000, 0xffffffc07fffff82,
  0xffffffc080000000, 0xffffc0017fff8004,
  0xffffc00180000000, 0xffffc000ffff8003,
  0xffffc00100000000, 0xffffc0007fff8002,
  0xffffc00080000000, 0xe66666664cccccce,
  0xe666666680000000, 0xd55555552aaaaaac,
  0xd555555580000000, 0xc000000100000004,
  0xc000000180000000, 0xc000000080000003,
  0xc000000100000000, 0xc000000000000002,
  0xc000000080000000, 0xbfffffff80000001,
  0xc000000000000000, 0xbfffffff00000000,
  0xbfffffff80000000, 0xaaaaaaaa55555557,
  0xaaaaaaab00000000, 0x9999999933333335,
  0x9999999a00000000, 0x80003fff00008001,
  0x8000400000000000, 0x80003ffe80008000,
  0x80003fff80000000, 0x80003ffe00007fff,
  0x80003fff00000000, 0x80003ffd80007ffe,
  0x80003ffe80000000, 0x8000003f00000081,
  0x8000004000000000, 0x8000003e80000080,
  0x8000003f80000000, 0x8000003e0000007f,
  0x8000003f00000000, 0x8000003d8000007e,
  0x8000003e80000000, 0x8000000f00000021,
  0x8000001000000000, 0x8000000080000004,
  0x8000000080000003, 0x5555555755555555,
  0x8000000000000002, 0x55555556aaaaaaab,
  0x7fffffff80000001, 0x0000000000000001,
  0x0000000000000000, 0xffffffff55555557,
  0xffffffff7fffffff, 0xfffffffeaaaaaaad,
  0xfffffffefffffffe, 0xffffffeaaaaaaac1,
  0xffffffefffffffe0, 0xffffffacaaaaaaff,
  0xffffffc17fffff83, 0xffffffac00000055,
  0xffffffc0ffffff82, 0xffffffab555555ab,
  0xffffffc07fffff81, 0xffffaaacaaaaffff,
  0xffffc0017fff8003, 0xffffaaac00005555,
  0xffffc000ffff8002, 0xffffaaab5555aaab,
  0xffffc0007fff8001, 0xddddddde22222223,
  0xe66666664ccccccd, 0xc71c71c78e38e38f,
  0xd55555552aaaaaab, 0xaaaaaaacffffffff,
  0xc000000100000003, 0xaaaaaaac55555555,
  0xc000000080000002, 0xaaaaaaabaaaaaaab,
  0xc000000000000001, 0xaaaaaaab00000001,
  0xbfffffff80000000, 0xaaaaaaaa55555557,
  0xbffffffeffffffff, 0x8e38e38f1c71c71d,
  0xaaaaaaaa55555556, 0x7777777888888889,
  0x9999999933333334, 0x5555aaab55550001,
  0x80003fff00008000, 0x5555aaaaaaaa5557,
  0x80003ffe80007fff, 0x5555aaa9ffffaaad,
  0x80003ffe00007ffe, 0x5555aaa955550003,
  0x80003ffd80007ffd, 0x555555ab55555501,
  0x8000003f00000080, 0x555555aaaaaaaa57,
  0x8000003e8000007f, 0x555555a9ffffffad,
  0x8000003e0000007e, 0x555555a955555503,
  0x8000003d8000007d, 0x5555556b55555541,
  0x8000000f00000020, 0x55555557ffffffff,
  0x55555557fffffffe, 0x3333333599999999,
  0x5555555755555554, 0x33333334cccccccd,
  0x55555556aaaaaaaa, 0x0000000000000001,
  0x0000000000000000, 0xffffffff33333335,
  0xffffffff55555556, 0xfffffffe66666669,
  0xfffffffeaaaaaaac, 0xffffffe666666681,
  0xffffffeaaaaaaac0, 0xffffff9c00000065,
  0xffffffacaaaaaafe, 0xffffff9b33333399,
  0xffffffac00000054, 0xffffff9a666666cd,
  0xffffffab555555aa, 0xffff999c00006665,
  0xffffaaacaaaafffe, 0xffff999b33339999,
  0xffffaaac00005554, 0xffff999a6666cccd,
  0xffffaaab5555aaaa, 0xd70a3d70f5c28f5d,
  0xddddddde22222222, 0xbbbbbbbc44444445,
  0xc71c71c78e38e38e, 0x9999999c66666665,
  0xaaaaaaacfffffffe, 0x9999999b99999999,
  0xaaaaaaac55555554, 0x9999999acccccccd,
  0xaaaaaaabaaaaaaaa, 0x9999999a00000001,
  0xaaaaaaab00000000, 0x9999999933333335,
  0xaaaaaaaa55555556, 0x7777777888888889,
  0x8e38e38f1c71c71c, 0x5c28f5c3d70a3d71,
  0x7777777888888888, 0x3333999a66660001,
  0x5555aaab55550000, 0x3333999999993335,
  0x5555aaaaaaaa5556, 0x33339998cccc6669,
  0x5555aaa9ffffaaac, 0x33339997ffff999d,
  0x5555aaa955550002, 0x3333339a66666601,
  0x555555ab55555500, 0x3333339999999935,
  0x555555aaaaaaaa56, 0x33333398cccccc69,
  0x555555a9ffffffac, 0x33333397ffffff9d,
  0x555555a955555502, 0x3333334d99999981,
  0x5555556b55555540, 0x3333333666666665,
  0x3333333666666664, 0x00008001ffff0001,
  0x3333333599999998, 0x00008000ffff8001,
  0x33333334cccccccc, 0x0000000000000001,
  0x0000000000000000, 0xffffffff00008001,
  0xffffffff33333334, 0xfffffffe00010001,
  0xfffffffe66666668, 0xffffffe000100001,
  0xffffffe666666680, 0xffffff83003e8001,
  0xffffff9c00000064, 0xffffff82003f0001,
  0xffffff9b33333398, 0xffffff81003f8001,
  0xffffff9a666666cc, 0xffff80033ffe8001,
  0xffff999c00006664, 0xffff80023fff0001,
  0xffff999b33339998, 0xffff80013fff8001,
  0xffff999a6666cccc, 0xcccce66699998001,
  0xd70a3d70f5c28f5c, 0xaaaad555aaaa8001,
  0xbbbbbbbc44444444, 0x80004002fffe8001,
  0x9999999c66666664, 0x80004001ffff0001,
  0x9999999b99999998, 0x80004000ffff8001,
  0x9999999acccccccc, 0x8000400000000001,
  0x9999999a00000000, 0x80003fff00008001,
  0x9999999933333334, 0x5555aaab55550001,
  0x7777777888888888, 0x3333999a66660001,
  0x5c28f5c3d70a3d70, 0x0000ffffc0000001,
  0x3333999a66660000, 0x0000fffec0008001,
  0x3333999999993334, 0x0000fffdc0010001,
  0x33339998cccc6668, 0x0000fffcc0018001,
  0x33339997ffff999c, 0x0000807fffc00001,
  0x3333339a66666600, 0x0000807effc08001,
  0x3333339999999934, 0x0000807dffc10001,
  0x33333398cccccc68, 0x0000807cffc18001,
  0x33333397ffffff9c, 0x0000801ffff00001,
  0x3333334d99999980, 0x00008002fffe8001,
  0x00008002fffe8000, 0x00008000ffff0003,
  0x00008001ffff0000, 0x00007fffffff8002,
  0x00008000ffff8000, 0x0000000000000001,
  0x0000000000000000, 0xffffffff00008000,
  0xffffffff00008000, 0xfffffffe0000ffff,
  0xfffffffe00010000, 0xffffffe0000fffe1,
  0xffffffe000100000, 0xffffff83003e7f84,
  0xffffff83003e8000, 0xffffff82003eff83,
  0xffffff82003f0000, 0xffffff81003f7f82,
  0xffffff81003f8000, 0xffff80033ffe0004,
  0xffff80033ffe8000, 0xffff80023ffe8003,
  0xffff80023fff0000, 0xffff80013fff0002,
  0xffff80013fff8000, 0xcccce66666664cce,
  0xcccce66699998000, 0xaaaad55555552aac,
  0xaaaad555aaaa8000, 0x800040027ffe8004,
  0x80004002fffe8000, 0x800040017fff0003,
  0x80004001ffff0000, 0x800040007fff8002,
  0x80004000ffff8000, 0x80003fff80000001,
  0x8000400000000000, 0x80003ffe80008000,
  0x80003fff00008000, 0x5555aaaaaaaa5557,
  0x5555aaab55550000, 0x3333999999993335,
  0x3333999a66660000, 0x0000fffec0008001,
  0x0000ffffc0000000, 0x0000fffdc0010000,
  0x0000fffec0008000, 0x0000fffcc0017fff,
  0x0000fffdc0010000, 0x0000fffbc001fffe,
  0x0000fffcc0018000, 0x0000807effc00081,
  0x0000807fffc00000, 0x0000807dffc08080,
  0x0000807effc08000, 0x0000807cffc1007f,
  0x0000807dffc10000, 0x0000807bffc1807e,
  0x0000807cffc18000, 0x0000801efff00021,
  0x0000801ffff00000, 0x00008001fffe8004,
  0x00008001fffe8003, 0x00007fffffff0005,
  0x00008000ffff0002, 0x00007ffeffff8003,
  0x00007fffffff8001, 0x0000000000000001,
  0x0000000000000000, 0xffffffff00007fff,
  0xffffffff00007fff, 0xfffffffe0000fffd,
  0xfffffffe0000fffe, 0xffffffe0000fffc1,
  0xffffffe0000fffe0, 0xffffff83003e7f07,
  0xffffff83003e7f83, 0xffffff82003eff05,
  0xffffff82003eff82, 0xffffff81003f7f03,
  0xffffff81003f7f81, 0xffff80033ffd8007,
  0xffff80033ffe0003, 0xffff80023ffe0005,
  0xffff80023ffe8002, 0xffff80013ffe8003,
  0xffff80013fff0001, 0xcccce6663333199b,
  0xcccce66666664ccd, 0xaaaad554ffffd557,
  0xaaaad55555552aab, 0x80004001fffe8007,
  0x800040027ffe8003, 0x80004000ffff0005,
  0x800040017fff0002, 0x80003fffffff8003,
  0x800040007fff8001, 0x80003fff00000001,
  0x80003fff80000000, 0x80003ffe00007fff,
  0x80003ffe80007fff, 0x5555aaa9ffffaaad,
  0x5555aaaaaaaa5556, 0x33339998cccc6669,
  0x3333999999993334, 0x0000fffdc0010001,
  0x0000fffec0008000, 0x0000fffcc0017fff,
  0x0000fffdc000ffff, 0x0000fffbc001fffd,
  0x0000fffcc0017ffe, 0x0000fffac0027ffb,
  0x0000fffbc001fffd, 0x0000807dffc00101,
  0x0000807effc00080, 0x0000807cffc080ff,
  0x0000807dffc0807f, 0x0000807bffc100fd,
  0x0000807cffc1007e, 0x0000807affc180fb,
  0x0000807bffc1807d, 0x0000801dfff00041,
  0x0000801efff00020, 0x00008000fffe8007,
  0x00008000fffe8006, 0x00007ffeffff0007,
  0x00007fffffff0004, 0x00007ffdffff8004,
  0x00007ffeffff8002, 0x0000000000000001,
  0x0000000000000000, 0xffffffff00007ffe,
  0xffffffff00007ffe, 0xfffffffe0000fffb,
  0xfffffffe0000fffc, 0xffffffe0000fffa1,
  0xffffffe0000fffc0, 0xffffff83003e7e8a,
  0xffffff83003e7f06, 0xffffff82003efe87,
  0xffffff82003eff04, 0xffffff81003f7e84,
  0xffffff81003f7f02, 0xffff80033ffd000a,
  0xffff80033ffd8006, 0xffff80023ffd8007,
  0xffff80023ffe0004, 0xffff80013ffe0004,
  0xffff80013ffe8002, 0xcccce665ffffe668,
  0xcccce6663333199a, 0xaaaad554aaaa8002,
  0xaaaad554ffffd556, 0x800040017ffe800a,
  0x80004001fffe8006, 0x800040007fff0007,
  0x80004000ffff0004, 0x80003fff7fff8004,
  0x80003fffffff8002, 0x80003ffe80000001,
  0x80003fff00000000, 0x80003ffd80007ffe,
  0x80003ffe00007ffe, 0x5555aaa955550003,
  0x5555aaa9ffffaaac, 0x33339997ffff999d,
  0x33339998cccc6668, 0x0000fffcc0018001,
  0x0000fffdc0010000, 0x0000fffbc001fffe,
  0x0000fffcc0017ffe, 0x0000fffac0027ffb,
  0x0000fffbc001fffc, 0x0000fff9c002fff8,
  0x0000fffac0027ffa, 0x0000807cffc00181,
  0x0000807dffc00100, 0x0000807bffc0817e,
  0x0000807cffc080fe, 0x0000807affc1017b,
  0x0000807bffc100fc, 0x00008079ffc18178,
  0x0000807affc180fa, 0x0000801cfff00061,
  0x0000801dfff00040, 0x00007ffffffe800a,
  0x00007ffffffe8009, 0x00000081ffffff01,
  0x00007ffeffff0006, 0x00000080ffffff81,
  0x00007ffdffff8003, 0x0000000000000001,
  0x0000000000000000, 0xffffffff00000081,
  0xffffffff00007ffd, 0xfffffffe00000101,
  0xfffffffe0000fffa, 0xffffffe000001001,
  0xffffffe0000fffa0, 0xffffff8300003e81,
  0xffffff83003e7e89, 0xffffff8200003f01,
  0xffffff82003efe86, 0xffffff8100003f81,
  0xffffff81003f7e83, 0xffff8003003ffe81,
  0xffff80033ffd0009, 0xffff8002003fff01,
  0xffff80023ffd8006, 0xffff8001003fff81,
  0xffff80013ffe0003, 0xcccccce699999981,
  0xcccce665ffffe667, 0xaaaaaad5aaaaaa81,
  0xaaaad554aaaa8001, 0x80000042fffffe81,
  0x800040017ffe8009, 0x80000041ffffff01,
  0x800040007fff0006, 0x80000040ffffff81,
  0x80003fff7fff8003, 0x8000004000000001,
  0x80003ffe80000000, 0x8000003f00000081,
  0x80003ffd80007ffd, 0x555555ab55555501,
  0x5555aaa955550002, 0x3333339a66666601,
  0x33339997ffff999c, 0x0000807fffc00001,
  0x0000fffcc0018000, 0x0000807effc00081,
  0x0000fffbc001fffd, 0x0000807dffc00101,
  0x0000fffac0027ffa, 0x0000807cffc00181,
  0x0000fff9c002fff7, 0x000000ffffffc001,
  0x0000807cffc00180, 0x000000feffffc081,
  0x0000807bffc0817d, 0x000000fdffffc101,
  0x0000807affc1017a, 0x000000fcffffc181,
  0x00008079ffc18177, 0x0000009ffffff001,
  0x0000801cfff00060, 0x00000082fffffe81,
  0x00000082fffffe80, 0x00000080ffffff03,
  0x00000081ffffff00, 0x0000007fffffff82,
  0x00000080ffffff80, 0x0000000000000001,
  0x0000000000000000, 0xffffffff00000080,
  0xffffffff00000080, 0xfffffffe000000ff,
  0xfffffffe00000100, 0xffffffe000000fe1,
  0xffffffe000001000, 0xffffff8300003e04,
  0xffffff8300003e80, 0xffffff8200003e83,
  0xffffff8200003f00, 0xffffff8100003f02,
  0xffffff8100003f80, 0xffff8003003f7e84,
  0xffff8003003ffe80, 0xffff8002003f7f03,
  0xffff8002003fff00, 0xffff8001003f7f82,
  0xffff8001003fff80, 0xcccccce66666664e,
  0xcccccce699999980, 0xaaaaaad55555552c,
  0xaaaaaad5aaaaaa80, 0x800000427ffffe84,
  0x80000042fffffe80, 0x800000417fffff03,
  0x80000041ffffff00, 0x800000407fffff82,
  0x80000040ffffff80, 0x8000003f80000001,
  0x8000004000000000, 0x8000003e80000080,
  0x8000003f00000080, 0x555555aaaaaaaa57,
  0x555555ab55555500, 0x3333339999999935,
  0x3333339a66666600, 0x0000807effc08001,
  0x0000807fffc00000, 0x0000807dffc08080,
  0x0000807effc00080, 0x0000807cffc080ff,
  0x0000807dffc00100, 0x0000807bffc0817e,
  0x0000807cffc00180, 0x000000feffffc081,
  0x000000ffffffc000, 0x000000fdffffc100,
  0x000000feffffc080, 0x000000fcffffc17f,
  0x000000fdffffc100, 0x000000fbffffc1fe,
  0x000000fcffffc180, 0x0000009efffff021,
  0x0000009ffffff000, 0x00000081fffffe84,
  0x00000081fffffe83, 0x0000007fffffff05,
  0x00000080ffffff02, 0x0000007effffff83,
  0x0000007fffffff81, 0x0000000000000001,
  0x0000000000000000, 0xffffffff0000007f,
  0xffffffff0000007f, 0xfffffffe000000fd,
  0xfffffffe000000fe, 0xffffffe000000fc1,
  0xffffffe000000fe0, 0xffffff8300003d87,
  0xffffff8300003e03, 0xffffff8200003e05,
  0xffffff8200003e82, 0xffffff8100003e83,
  0xffffff8100003f01, 0xffff8003003efe87,
  0xffff8003003f7e83, 0xffff8002003eff05,
  0xffff8002003f7f02, 0xffff8001003eff83,
  0xffff8001003f7f81, 0xcccccce63333331b,
  0xcccccce66666664d, 0xaaaaaad4ffffffd7,
  0xaaaaaad55555552b, 0x80000041fffffe87,
  0x800000427ffffe83, 0x80000040ffffff05,
  0x800000417fffff02, 0x8000003fffffff83,
  0x800000407fffff81, 0x8000003f00000001,
  0x8000003f80000000, 0x8000003e0000007f,
  0x8000003e8000007f, 0x555555a9ffffffad,
  0x555555aaaaaaaa56, 0x33333398cccccc69,
  0x3333339999999934, 0x0000807dffc10001,
  0x0000807effc08000, 0x0000807cffc1007f,
  0x0000807dffc0807f, 0x0000807bffc100fd,
  0x0000807cffc080fe, 0x0000807affc1017b,
  0x0000807bffc0817d, 0x000000fdffffc101,
  0x000000feffffc080, 0x000000fcffffc17f,
  0x000000fdffffc0ff, 0x000000fbffffc1fd,
  0x000000fcffffc17e, 0x000000faffffc27b,
  0x000000fbffffc1fd, 0x0000009dfffff041,
  0x0000009efffff020, 0x00000080fffffe87,
  0x00000080fffffe86, 0x0000007effffff07,
  0x0000007fffffff04, 0x0000007dffffff84,
  0x0000007effffff82, 0x0000000000000001,
  0x0000000000000000, 0xffffffff0000007e,
  0xffffffff0000007e, 0xfffffffe000000fb,
  0xfffffffe000000fc, 0xffffffe000000fa1,
  0xffffffe000000fc0, 0xffffff8300003d0a,
  0xffffff8300003d86, 0xffffff8200003d87,
  0xffffff8200003e04, 0xffffff8100003e04,
  0xffffff8100003e82, 0xffff8003003e7e8a,
  0xffff8003003efe86, 0xffff8002003e7f07,
  0xffff8002003eff04, 0xffff8001003e7f84,
  0xffff8001003eff82, 0xcccccce5ffffffe8,
  0xcccccce63333331a, 0xaaaaaad4aaaaaa82,
  0xaaaaaad4ffffffd6, 0x800000417ffffe8a,
  0x80000041fffffe86, 0x800000407fffff07,
  0x80000040ffffff04, 0x8000003f7fffff84,
  0x8000003fffffff82, 0x8000003e80000001,
  0x8000003f00000000, 0x8000003d8000007e,
  0x8000003e0000007e, 0x555555a955555503,
  0x555555a9ffffffac, 0x33333397ffffff9d,
  0x33333398cccccc68, 0x0000807cffc18001,
  0x0000807dffc10000, 0x0000807bffc1807e,
  0x0000807cffc1007e, 0x0000807affc180fb,
  0x0000807bffc100fc, 0x00008079ffc18178,
  0x0000807affc1017a, 0x000000fcffffc181,
  0x000000fdffffc100, 0x000000fbffffc1fe,
  0x000000fcffffc17e, 0x000000faffffc27b,
  0x000000fbffffc1fc, 0x000000f9ffffc2f8,
  0x000000faffffc27a, 0x0000009cfffff061,
  0x0000009dfffff040, 0x0000007ffffffe8a,
  0x0000007ffffffe89, 0x00000021ffffffc1,
  0x0000007effffff06, 0x00000020ffffffe1,
  0x0000007dffffff83, 0x0000000000000001,
  0x0000000000000000, 0xffffffff00000021,
  0xffffffff0000007d, 0xfffffffe00000041,
  0xfffffffe000000fa, 0xffffffe000000401,
  0xffffffe000000fa0, 0xffffff8300000fa1,
  0xffffff8300003d09, 0xffffff8200000fc1,
  0xffffff8200003d86, 0xffffff8100000fe1,
  0xffffff8100003e03, 0xffff8003000fffa1,
  0xffff8003003e7e89, 0xffff8002000fffc1,
  0xffff8002003e7f06, 0xffff8001000fffe1,
  0xffff8001003e7f83, 0xccccccd366666661,
  0xcccccce5ffffffe7, 0xaaaaaab5aaaaaaa1,
  0xaaaaaad4aaaaaa81, 0x80000012ffffffa1,
  0x800000417ffffe89, 0x80000011ffffffc1,
  0x800000407fffff06, 0x80000010ffffffe1,
  0x8000003f7fffff83, 0x8000001000000001,
  0x8000003e80000000, 0x8000000f00000021,
  0x8000003d8000007d, 0x5555556b55555541,
  0x555555a955555502, 0x3333334d99999981,
  0x33333397ffffff9c, 0x0000801ffff00001,
  0x0000807cffc18000, 0x0000801efff00021,
  0x0000807bffc1807d, 0x0000801dfff00041,
  0x0000807affc180fa, 0x0000801cfff00061,
  0x00008079ffc18177, 0x0000009ffffff001,
  0x000000fcffffc180, 0x0000009efffff021,
  0x000000fbffffc1fd, 0x0000009dfffff041,
  0x000000faffffc27a, 0x0000009cfffff061,
  0x000000f9ffffc2f7, 0x0000003ffffffc01,
  0x0000009cfffff060, 0x00000022ffffffa1,
  0x00000022ffffffa0, 0x00000004fffffffb,
  0x00000021ffffffc0, 0x00000003fffffffe,
  0x00000020ffffffe0, 0x0000000000000001,
  0x0000000000000000, 0xffffffff00000004,
  0xffffffff00000020, 0xfffffffe00000007,
  0xfffffffe00000040, 0xffffffe000000061,
  0xffffffe000000400, 0xffffff8300000178,
  0xffffff8300000fa0, 0xffffff820000017b,
  0xffffff8200000fc0, 0xffffff810000017e,
  0xffffff8100000fe0, 0xffff800300017ff8,
  0xffff8003000fffa0, 0xffff800200017ffb,
  0xffff8002000fffc0, 0xffff800100017ffe,
  0xffff8001000fffe0, 0xcccccccd9999999a,
  0xccccccd366666660, 0xaaaaaaac00000000,
  0xaaaaaab5aaaaaaa0, 0x800000047ffffff8,
  0x80000012ffffffa0, 0x800000037ffffffb,
  0x80000011ffffffc0, 0x800000027ffffffe,
  0x80000010ffffffe0, 0x8000000180000001,
  0x8000001000000000, 0x8000000080000004,
  0x8000000f00000020, 0x55555557ffffffff,
  0x5555556b55555540, 0x3333333666666665,
  0x3333334d99999980, 0x00008002fffe8001,
  0x0000801ffff00000, 0x00008001fffe8004,
  0x0000801efff00020, 0x00008000fffe8007,
  0x0000801dfff00040, 0x00007ffffffe800a,
  0x0000801cfff00060, 0x00000082fffffe81,
  0x0000009ffffff000, 0x00000081fffffe84,
  0x0000009efffff020, 0x00000080fffffe87,
  0x0000009dfffff040, 0x0000007ffffffe8a,
  0x0000009cfffff060, 0x00000022ffffffa1,
  0x0000003ffffffc00, 0x00000005fffffff8,
};
const unsigned kExpectedCount_NEON_umlsl_2D = 961;

#endif  // VIXL_SIM_UMLSL_2D_TRACE_AARCH64_H_