// 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_UMLAL2_2D_TRACE_AARCH64_H_
#define VIXL_SIM_UMLAL2_2D_TRACE_AARCH64_H_
const uint64_t kExpected_NEON_umlal2_2D[] = {
0x00003ffd00090000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x00000000007ffd00, 0x0000000000000001,
0x0000000000fffa00, 0x0000000000000001,
0x000000000fffa000, 0x0000000000000001,
0x000000003e7e8900, 0x0000000000000001,
0x000000003efe8600, 0x0000000000000001,
0x000000003f7e8300, 0x0000000000000001,
0x0000003ffd000900, 0x0000000000000001,
0x0000003ffd800600, 0x0000000000000001,
0x0000003ffe000300, 0x0000000000000001,
0x001998ffffe66700, 0x0000000000000001,
0x002aa9aaaa800100, 0x0000000000000001,
0x003ffe7ffe800900, 0x0000000000000001,
0x003ffe7fff000600, 0x0000000000000001,
0x003ffe7fff800300, 0x0000000000000001,
0x003ffe8000000000, 0x0000000000000001,
0x003ffe80007ffd00, 0x0000000000000001,
0x0055535555000200, 0x0000000000000001,
0x006663ffff999c00, 0x0000000000000001,
0x007ffcc001800000, 0x0000000000000001,
0x007ffcc001fffd00, 0x0000000000000001,
0x007ffcc0027ffa00, 0x0000000000000001,
0x007ffcc002fff700, 0x0000000000000001,
0x007ffcffc0018000, 0x0000000000000001,
0x007ffcffc0817d00, 0x0000000000000001,
0x007ffcffc1017a00, 0x0000000000000001,
0x007ffcffc1817700, 0x0000000000000001,
0x007ffcfff0006000, 0x0000000000000001,
0x007ffcfffe800900, 0x0000000000000001,
0x007ffcffff000600, 0x0000000000000001,
0x0000000000000000, 0x0000000000000001,
0x0000000000000000, 0x0000000000000002,
0x0000000000000000, 0x0000000000000003,
0x0000000000000000, 0x0000000000000021,
0x0000000000000000, 0x000000000000007e,
0x0000000000000000, 0x000000000000007f,
0x0000000000000000, 0x0000000000000080,
0x0000000000000000, 0x0000000000007ffe,
0x0000000000000000, 0x0000000000007fff,
0x0000000000000000, 0x0000000000008000,
0x0000000000000000, 0x0000000033333334,
0x0000000000000000, 0x0000000055555556,
0x0000000000000000, 0x000000007ffffffe,
0x0000000000000000, 0x000000007fffffff,
0x0000000000000000, 0x0000000080000000,
0x0000000000000000, 0x0000000080000001,
0x0000000000000000, 0x0000000080000002,
0x0000000000000000, 0x00000000aaaaaaab,
0x0000000000000000, 0x00000000cccccccd,
0x0000000000000000, 0x00000000ffff8001,
0x0000000000000000, 0x00000000ffff8002,
0x0000000000000000, 0x00000000ffff8003,
0x0000000000000000, 0x00000000ffff8004,
0x0000000000000000, 0x00000000ffffff81,
0x0000000000000000, 0x00000000ffffff82,
0x0000000000000000, 0x00000000ffffff83,
0x0000000000000000, 0x00000000ffffff84,
0x0000000000000000, 0x00000000ffffffe1,
0x0000000000000000, 0x00000000fffffffe,
0x0000000000000000, 0x00000000ffffffff,
0x0000000000000000, 0x0000000100000000,
0x00000000ffffffff, 0x0000000000000001,
0x0000000000000000, 0x0000000000000003,
0x0000000000000001, 0x0000000000000005,
0x0000000000000002, 0x0000000000000041,
0x0000000000000020, 0x00000000000000fb,
0x000000000000007d, 0x00000000000000fd,
0x000000000000007e, 0x00000000000000ff,
0x000000000000007f, 0x000000000000fffb,
0x0000000000007ffd, 0x000000000000fffd,
0x0000000000007ffe, 0x000000000000ffff,
0x0000000000007fff, 0x0000000066666667,
0x0000000033333333, 0x00000000aaaaaaab,
0x0000000055555555, 0x00000000fffffffb,
0x000000007ffffffd, 0x00000000fffffffd,
0x000000007ffffffe, 0x00000000ffffffff,
0x000000007fffffff, 0x0000000100000001,
0x0000000080000000, 0x0000000100000003,
0x0000000080000001, 0x0000000155555555,
0x00000000aaaaaaaa, 0x0000000199999999,
0x00000000cccccccc, 0x00000001ffff0001,
0x00000000ffff8000, 0x00000001ffff0003,
0x00000000ffff8001, 0x00000001ffff0005,
0x00000000ffff8002, 0x00000001ffff0007,
0x00000000ffff8003, 0x00000001ffffff01,
0x00000000ffffff80, 0x00000001ffffff03,
0x00000000ffffff81, 0x00000001ffffff05,
0x00000000ffffff82, 0x00000001ffffff07,
0x00000000ffffff83, 0x00000001ffffffc1,
0x00000000ffffffe0, 0x00000001fffffffb,
0x00000000fffffffd, 0x00000001fffffffd,
0x00000000fffffffe, 0x00000001ffffffff,
0x00000001fffffffe, 0x0000000000000001,
0x0000000000000000, 0x0000000000000021,
0x0000000000000002, 0x0000000000000041,
0x0000000000000004, 0x0000000000000401,
0x0000000000000040, 0x0000000000000fa1,
0x00000000000000fa, 0x0000000000000fc1,
0x00000000000000fc, 0x0000000000000fe1,
0x00000000000000fe, 0x00000000000fffa1,
0x000000000000fffa, 0x00000000000fffc1,
0x000000000000fffc, 0x00000000000fffe1,
0x000000000000fffe, 0x0000000666666661,
0x0000000066666666, 0x0000000aaaaaaaa1,
0x00000000aaaaaaaa, 0x0000000fffffffa1,
0x00000000fffffffa, 0x0000000fffffffc1,
0x00000000fffffffc, 0x0000000fffffffe1,
0x00000000fffffffe, 0x0000001000000001,
0x0000000100000000, 0x0000001000000021,
0x0000000100000002, 0x0000001555555541,
0x0000000155555554, 0x0000001999999981,
0x0000000199999998, 0x0000001ffff00001,
0x00000001ffff0000, 0x0000001ffff00021,
0x00000001ffff0002, 0x0000001ffff00041,
0x00000001ffff0004, 0x0000001ffff00061,
0x00000001ffff0006, 0x0000001ffffff001,
0x00000001ffffff00, 0x0000001ffffff021,
0x00000001ffffff02, 0x0000001ffffff041,
0x00000001ffffff04, 0x0000001ffffff061,
0x00000001ffffff06, 0x0000001ffffffc01,
0x00000001ffffffc0, 0x0000001fffffffa1,
0x00000001fffffffa, 0x0000001fffffffc1,
0x00000001fffffffc, 0x0000001fffffffe1,
0x0000001fffffffe0, 0x0000000000000001,
0x0000000000000000, 0x000000000000007e,
0x0000000000000020, 0x00000000000000fb,
0x0000000000000040, 0x0000000000000fa1,
0x0000000000000400, 0x0000000000003d0a,
0x0000000000000fa0, 0x0000000000003d87,
0x0000000000000fc0, 0x0000000000003e04,
0x0000000000000fe0, 0x00000000003e7e8a,
0x00000000000fffa0, 0x00000000003e7f07,
0x00000000000fffc0, 0x00000000003e7f84,
0x00000000000fffe0, 0x00000018ffffffe8,
0x0000000666666660, 0x00000029aaaaaa82,
0x0000000aaaaaaaa0, 0x0000003e7ffffe8a,
0x0000000fffffffa0, 0x0000003e7fffff07,
0x0000000fffffffc0, 0x0000003e7fffff84,
0x0000000fffffffe0, 0x0000003e80000001,
0x0000001000000000, 0x0000003e8000007e,
0x0000001000000020, 0x0000005355555503,
0x0000001555555540, 0x00000063ffffff9d,
0x0000001999999980, 0x0000007cffc18001,
0x0000001ffff00000, 0x0000007cffc1807e,
0x0000001ffff00020, 0x0000007cffc180fb,
0x0000001ffff00040, 0x0000007cffc18178,
0x0000001ffff00060, 0x0000007cffffc181,
0x0000001ffffff000, 0x0000007cffffc1fe,
0x0000001ffffff020, 0x0000007cffffc27b,
0x0000001ffffff040, 0x0000007cffffc2f8,
0x0000001ffffff060, 0x0000007cfffff061,
0x0000001ffffffc00, 0x0000007cfffffe8a,
0x0000001fffffffa0, 0x0000007cffffff07,
0x0000001fffffffc0, 0x0000007cffffff84,
0x0000007cffffff83, 0x0000000000000001,
0x0000000000000000, 0x000000000000007f,
0x000000000000007d, 0x00000000000000fd,
0x00000000000000fa, 0x0000000000000fc1,
0x0000000000000fa0, 0x0000000000003d87,
0x0000000000003d09, 0x0000000000003e05,
0x0000000000003d86, 0x0000000000003e83,
0x0000000000003e03, 0x00000000003efe87,
0x00000000003e7e89, 0x00000000003eff05,
0x00000000003e7f06, 0x00000000003eff83,
0x00000000003e7f83, 0x000000193333331b,
0x00000018ffffffe7, 0x00000029ffffffd7,
0x00000029aaaaaa81, 0x0000003efffffe87,
0x0000003e7ffffe89, 0x0000003effffff05,
0x0000003e7fffff06, 0x0000003effffff83,
0x0000003e7fffff83, 0x0000003f00000001,
0x0000003e80000000, 0x0000003f0000007f,
0x0000003e8000007d, 0x00000053ffffffad,
0x0000005355555502, 0x00000064cccccc69,
0x00000063ffffff9c, 0x0000007dffc10001,
0x0000007cffc18000, 0x0000007dffc1007f,
0x0000007cffc1807d, 0x0000007dffc100fd,
0x0000007cffc180fa, 0x0000007dffc1017b,
0x0000007cffc18177, 0x0000007dffffc101,
0x0000007cffffc180, 0x0000007dffffc17f,
0x0000007cffffc1fd, 0x0000007dffffc1fd,
0x0000007cffffc27a, 0x0000007dffffc27b,
0x0000007cffffc2f7, 0x0000007dfffff041,
0x0000007cfffff060, 0x0000007dfffffe87,
0x0000007cfffffe89, 0x0000007dffffff05,
0x0000007cffffff06, 0x0000007dffffff83,
0x0000007dffffff82, 0x0000000000000001,
0x0000000000000000, 0x0000000000000080,
0x000000000000007e, 0x00000000000000ff,
0x00000000000000fc, 0x0000000000000fe1,
0x0000000000000fc0, 0x0000000000003e04,
0x0000000000003d86, 0x0000000000003e83,
0x0000000000003e04, 0x0000000000003f02,
0x0000000000003e82, 0x00000000003f7e84,
0x00000000003efe86, 0x00000000003f7f03,
0x00000000003eff04, 0x00000000003f7f82,
0x00000000003eff82, 0x000000196666664e,
0x000000193333331a, 0x0000002a5555552c,
0x00000029ffffffd6, 0x0000003f7ffffe84,
0x0000003efffffe86, 0x0000003f7fffff03,
0x0000003effffff04, 0x0000003f7fffff82,
0x0000003effffff82, 0x0000003f80000001,
0x0000003f00000000, 0x0000003f80000080,
0x0000003f0000007e, 0x00000054aaaaaa57,
0x00000053ffffffac, 0x0000006599999935,
0x00000064cccccc68, 0x0000007effc08001,
0x0000007dffc10000, 0x0000007effc08080,
0x0000007dffc1007e, 0x0000007effc080ff,
0x0000007dffc100fc, 0x0000007effc0817e,
0x0000007dffc1017a, 0x0000007effffc081,
0x0000007dffffc100, 0x0000007effffc100,
0x0000007dffffc17e, 0x0000007effffc17f,
0x0000007dffffc1fc, 0x0000007effffc1fe,
0x0000007dffffc27a, 0x0000007efffff021,
0x0000007dfffff040, 0x0000007efffffe84,
0x0000007dfffffe86, 0x0000007effffff03,
0x0000007dffffff04, 0x0000007effffff82,
0x0000007effffff81, 0x0000000000000001,
0x0000000000000000, 0x0000000000007ffe,
0x000000000000007f, 0x000000000000fffb,
0x00000000000000fe, 0x00000000000fffa1,
0x0000000000000fe0, 0x00000000003e7e8a,
0x0000000000003e03, 0x00000000003efe87,
0x0000000000003e82, 0x00000000003f7e84,
0x0000000000003f01, 0x000000003ffd000a,
0x00000000003f7e83, 0x000000003ffd8007,
0x00000000003f7f02, 0x000000003ffe0004,
0x00000000003f7f81, 0x00001998ffffe668,
0x000000196666664d, 0x00002aa9aaaa8002,
0x0000002a5555552b, 0x00003ffe7ffe800a,
0x0000003f7ffffe83, 0x00003ffe7fff0007,
0x0000003f7fffff02, 0x00003ffe7fff8004,
0x0000003f7fffff81, 0x00003ffe80000001,
0x0000003f80000000, 0x00003ffe80007ffe,
0x0000003f8000007f, 0x0000555355550003,
0x00000054aaaaaa56, 0x00006663ffff999d,
0x0000006599999934, 0x00007ffcc0018001,
0x0000007effc08000, 0x00007ffcc001fffe,
0x0000007effc0807f, 0x00007ffcc0027ffb,
0x0000007effc080fe, 0x00007ffcc002fff8,
0x0000007effc0817d, 0x00007ffcffc00181,
0x0000007effffc080, 0x00007ffcffc0817e,
0x0000007effffc0ff, 0x00007ffcffc1017b,
0x0000007effffc17e, 0x00007ffcffc18178,
0x0000007effffc1fd, 0x00007ffcfff00061,
0x0000007efffff020, 0x00007ffcfffe800a,
0x0000007efffffe83, 0x00007ffcffff0007,
0x0000007effffff02, 0x00007ffcffff8004,
0x00007ffcffff8003, 0x0000000000000001,
0x0000000000000000, 0x0000000000007fff,
0x0000000000007ffd, 0x000000000000fffd,
0x000000000000fffa, 0x00000000000fffc1,
0x00000000000fffa0, 0x00000000003e7f07,
0x00000000003e7e89, 0x00000000003eff05,
0x00000000003efe86, 0x00000000003f7f03,
0x00000000003f7e83, 0x000000003ffd8007,
0x000000003ffd0009, 0x000000003ffe0005,
0x000000003ffd8006, 0x000000003ffe8003,
0x000000003ffe0003, 0x000019993333199b,
0x00001998ffffe667, 0x00002aa9ffffd557,
0x00002aa9aaaa8001, 0x00003ffefffe8007,
0x00003ffe7ffe8009, 0x00003ffeffff0005,
0x00003ffe7fff0006, 0x00003ffeffff8003,
0x00003ffe7fff8003, 0x00003fff00000001,
0x00003ffe80000000, 0x00003fff00007fff,
0x00003ffe80007ffd, 0x00005553ffffaaad,
0x0000555355550002, 0x00006664cccc6669,
0x00006663ffff999c, 0x00007ffdc0010001,
0x00007ffcc0018000, 0x00007ffdc0017fff,
0x00007ffcc001fffd, 0x00007ffdc001fffd,
0x00007ffcc0027ffa, 0x00007ffdc0027ffb,
0x00007ffcc002fff7, 0x00007ffdffc00101,
0x00007ffcffc00180, 0x00007ffdffc080ff,
0x00007ffcffc0817d, 0x00007ffdffc100fd,
0x00007ffcffc1017a, 0x00007ffdffc180fb,
0x00007ffcffc18177, 0x00007ffdfff00041,
0x00007ffcfff00060, 0x00007ffdfffe8007,
0x00007ffcfffe8009, 0x00007ffdffff0005,
0x00007ffcffff0006, 0x00007ffdffff8003,
0x00007ffdffff8002, 0x0000000000000001,
0x0000000000000000, 0x0000000000008000,
0x0000000000007ffe, 0x000000000000ffff,
0x000000000000fffc, 0x00000000000fffe1,
0x00000000000fffc0, 0x00000000003e7f84,
0x00000000003e7f06, 0x00000000003eff83,
0x00000000003eff04, 0x00000000003f7f82,
0x00000000003f7f02, 0x000000003ffe0004,
0x000000003ffd8006, 0x000000003ffe8003,
0x000000003ffe0004, 0x000000003fff0002,
0x000000003ffe8002, 0x0000199966664cce,
0x000019993333199a, 0x00002aaa55552aac,
0x00002aa9ffffd556, 0x00003fff7ffe8004,
0x00003ffefffe8006, 0x00003fff7fff0003,
0x00003ffeffff0004, 0x00003fff7fff8002,
0x00003ffeffff8002, 0x00003fff80000001,
0x00003fff00000000, 0x00003fff80008000,
0x00003fff00007ffe, 0x00005554aaaa5557,
0x00005553ffffaaac, 0x0000666599993335,
0x00006664cccc6668, 0x00007ffec0008001,
0x00007ffdc0010000, 0x00007ffec0010000,
0x00007ffdc0017ffe, 0x00007ffec0017fff,
0x00007ffdc001fffc, 0x00007ffec001fffe,
0x00007ffdc0027ffa, 0x00007ffeffc00081,
0x00007ffdffc00100, 0x00007ffeffc08080,
0x00007ffdffc080fe, 0x00007ffeffc1007f,
0x00007ffdffc100fc, 0x00007ffeffc1807e,
0x00007ffdffc180fa, 0x00007ffefff00021,
0x00007ffdfff00040, 0x00007ffefffe8004,
0x00007ffdfffe8006, 0x00007ffeffff0003,
0x00007ffdffff0004, 0x00007ffeffff8002,
0x00007ffeffff8001, 0x0000000000000001,
0x0000000000000000, 0x0000000033333334,
0x0000000000007fff, 0x0000000066666667,
0x000000000000fffe, 0x0000000666666661,
0x00000000000fffe0, 0x00000018ffffffe8,
0x00000000003e7f83, 0x000000193333331b,
0x00000000003eff82, 0x000000196666664e,
0x00000000003f7f81, 0x00001998ffffe668,
0x000000003ffe0003, 0x000019993333199b,
0x000000003ffe8002, 0x0000199966664cce,
0x000000003fff0001, 0x0a3d70a3c28f5c2a,
0x0000199966664ccd, 0x11111110eeeeeef0,
0x00002aaa55552aab, 0x19999998e6666668,
0x00003fff7ffe8003, 0x199999991999999b,
0x00003fff7fff0002, 0x199999994cccccce,
0x00003fff7fff8001, 0x1999999980000001,
0x00003fff80000000, 0x19999999b3333334,
0x00003fff80007fff, 0x22222221dddddddf,
0x00005554aaaa5556, 0x28f5c28f0a3d70a5,
0x0000666599993334, 0x3333199966668001,
0x00007ffec0008000, 0x333319999999b334,
0x00007ffec000ffff, 0x33331999cccce667,
0x00007ffec0017ffe, 0x3333199a0000199a,
0x00007ffec001fffd, 0x3333331966666681,
0x00007ffeffc00080, 0x33333319999999b4,
0x00007ffeffc0807f, 0x33333319cccccce7,
0x00007ffeffc1007e, 0x3333331a0000001a,
0x00007ffeffc1807d, 0x3333332c999999a1,
0x00007ffefff00020, 0x3333333266666668,
0x00007ffefffe8003, 0x333333329999999b,
0x00007ffeffff0002, 0x33333332ccccccce,
0x33333332cccccccd, 0x0000000000000001,
0x0000000000000000, 0x0000000055555556,
0x0000000033333333, 0x00000000aaaaaaab,
0x0000000066666666, 0x0000000aaaaaaaa1,
0x0000000666666660, 0x00000029aaaaaa82,
0x00000018ffffffe7, 0x00000029ffffffd7,
0x000000193333331a, 0x0000002a5555552c,
0x000000196666664d, 0x00002aa9aaaa8002,
0x00001998ffffe667, 0x00002aa9ffffd557,
0x000019993333199a, 0x00002aaa55552aac,
0x0000199966664ccd, 0x11111110eeeeeef0,
0x0a3d70a3c28f5c29, 0x1c71c71c38e38e3a,
0x11111110eeeeeeef, 0x2aaaaaa980000002,
0x19999998e6666667, 0x2aaaaaa9d5555557,
0x199999991999999a, 0x2aaaaaaa2aaaaaac,
0x199999994ccccccd, 0x2aaaaaaa80000001,
0x1999999980000000, 0x2aaaaaaad5555556,
0x19999999b3333333, 0x38e38e3871c71c73,
0x22222221ddddddde, 0x44444443bbbbbbbd,
0x28f5c28f0a3d70a4, 0x55552aaa55558001,
0x3333199966668000, 0x55552aaaaaaad556,
0x333319999999b333, 0x55552aab00002aab,
0x33331999cccce666, 0x55552aab55558000,
0x3333199a00001999, 0x5555552a55555581,
0x3333331966666680, 0x5555552aaaaaaad6,
0x33333319999999b3, 0x5555552b0000002b,
0x33333319cccccce6, 0x5555552b55555580,
0x3333331a00000019, 0x5555554a55555561,
0x3333332c999999a0, 0x5555555400000002,
0x3333333266666667, 0x5555555455555557,
0x333333329999999a, 0x55555554aaaaaaac,
0x55555554aaaaaaab, 0x0000000000000001,
0x0000000000000000, 0x000000007ffffffe,
0x0000000055555555, 0x00000000fffffffb,
0x00000000aaaaaaaa, 0x0000000fffffffa1,
0x0000000aaaaaaaa0, 0x0000003e7ffffe8a,
0x00000029aaaaaa81, 0x0000003efffffe87,
0x00000029ffffffd6, 0x0000003f7ffffe84,
0x0000002a5555552b, 0x00003ffe7ffe800a,
0x00002aa9aaaa8001, 0x00003ffefffe8007,
0x00002aa9ffffd556, 0x00003fff7ffe8004,
0x00002aaa55552aab, 0x19999998e6666668,
0x11111110eeeeeeef, 0x2aaaaaa980000002,
0x1c71c71c38e38e39, 0x3ffffffd0000000a,
0x2aaaaaa980000001, 0x3ffffffd80000007,
0x2aaaaaa9d5555556, 0x3ffffffe00000004,
0x2aaaaaaa2aaaaaab, 0x3ffffffe80000001,
0x2aaaaaaa80000000, 0x3ffffffefffffffe,
0x2aaaaaaad5555555, 0x5555555300000003,
0x38e38e3871c71c72, 0x666666639999999d,
0x44444443bbbbbbbc, 0x7fffbffd00018001,
0x55552aaa55558000, 0x7fffbffd80017ffe,
0x55552aaaaaaad555, 0x7fffbffe00017ffb,
0x55552aab00002aaa, 0x7fffbffe80017ff8,
0x55552aab55557fff, 0x7fffffbd00000181,
0x5555552a55555580, 0x7fffffbd8000017e,
0x5555552aaaaaaad5, 0x7fffffbe0000017b,
0x5555552b0000002a, 0x7fffffbe80000178,
0x5555552b5555557f, 0x7fffffed00000061,
0x5555554a55555560, 0x7ffffffb8000000a,
0x5555555400000001, 0x7ffffffc00000007,
0x5555555455555556, 0x7ffffffc80000004,
0x7ffffffc80000003, 0x0000000000000001,
0x0000000000000000, 0x000000007fffffff,
0x000000007ffffffd, 0x00000000fffffffd,
0x00000000fffffffa, 0x0000000fffffffc1,
0x0000000fffffffa0, 0x0000003e7fffff07,
0x0000003e7ffffe89, 0x0000003effffff05,
0x0000003efffffe86, 0x0000003f7fffff03,
0x0000003f7ffffe83, 0x00003ffe7fff0007,
0x00003ffe7ffe8009, 0x00003ffeffff0005,
0x00003ffefffe8006, 0x00003fff7fff0003,
0x00003fff7ffe8003, 0x199999991999999b,
0x19999998e6666667, 0x2aaaaaa9d5555557,
0x2aaaaaa980000001, 0x3ffffffd80000007,
0x3ffffffd00000009, 0x3ffffffe00000005,
0x3ffffffd80000006, 0x3ffffffe80000003,
0x3ffffffe00000003, 0x3fffffff00000001,
0x3ffffffe80000000, 0x3fffffff7fffffff,
0x3ffffffefffffffd, 0x55555553aaaaaaad,
0x5555555300000002, 0x6666666466666669,
0x666666639999999c, 0x7fffbffe00010001,
0x7fffbffd00018000, 0x7fffbffe8000ffff,
0x7fffbffd80017ffd, 0x7fffbfff0000fffd,
0x7fffbffe00017ffa, 0x7fffbfff8000fffb,
0x7fffbffe80017ff7, 0x7fffffbe00000101,
0x7fffffbd00000180, 0x7fffffbe800000ff,
0x7fffffbd8000017d, 0x7fffffbf000000fd,
0x7fffffbe0000017a, 0x7fffffbf800000fb,
0x7fffffbe80000177, 0x7fffffee00000041,
0x7fffffed00000060, 0x7ffffffc80000007,
0x7ffffffb80000009, 0x7ffffffd00000005,
0x7ffffffc00000006, 0x7ffffffd80000003,
0x7ffffffd80000002, 0x0000000000000001,
0x0000000000000000, 0x0000000080000000,
0x000000007ffffffe, 0x00000000ffffffff,
0x00000000fffffffc, 0x0000000fffffffe1,
0x0000000fffffffc0, 0x0000003e7fffff84,
0x0000003e7fffff06, 0x0000003effffff83,
0x0000003effffff04, 0x0000003f7fffff82,
0x0000003f7fffff02, 0x00003ffe7fff8004,
0x00003ffe7fff0006, 0x00003ffeffff8003,
0x00003ffeffff0004, 0x00003fff7fff8002,
0x00003fff7fff0002, 0x199999994cccccce,
0x199999991999999a, 0x2aaaaaaa2aaaaaac,
0x2aaaaaa9d5555556, 0x3ffffffe00000004,
0x3ffffffd80000006, 0x3ffffffe80000003,
0x3ffffffe00000004, 0x3fffffff00000002,
0x3ffffffe80000002, 0x3fffffff80000001,
0x3fffffff00000000, 0x4000000000000000,
0x3fffffff7ffffffe, 0x5555555455555557,
0x55555553aaaaaaac, 0x6666666533333335,
0x6666666466666668, 0x7fffbfff00008001,
0x7fffbffe00010000, 0x7fffbfff80008000,
0x7fffbffe8000fffe, 0x7fffc00000007fff,
0x7fffbfff0000fffc, 0x7fffc00080007ffe,
0x7fffbfff8000fffa, 0x7fffffbf00000081,
0x7fffffbe00000100, 0x7fffffbf80000080,
0x7fffffbe800000fe, 0x7fffffc00000007f,
0x7fffffbf000000fc, 0x7fffffc08000007e,
0x7fffffbf800000fa, 0x7fffffef00000021,
0x7fffffee00000040, 0x7ffffffd80000004,
0x7ffffffc80000006, 0x7ffffffe00000003,
0x7ffffffd00000004, 0x7ffffffe80000002,
0x7ffffffe80000001, 0x0000000000000001,
0x0000000000000000, 0x0000000080000001,
0x000000007fffffff, 0x0000000100000001,
0x00000000fffffffe, 0x0000001000000001,
0x0000000fffffffe0, 0x0000003e80000001,
0x0000003e7fffff83, 0x0000003f00000001,
0x0000003effffff82, 0x0000003f80000001,
0x0000003f7fffff81, 0x00003ffe80000001,
0x00003ffe7fff8003, 0x00003fff00000001,
0x00003ffeffff8002, 0x00003fff80000001,
0x00003fff7fff8001, 0x1999999980000001,
0x199999994ccccccd, 0x2aaaaaaa80000001,
0x2aaaaaaa2aaaaaab, 0x3ffffffe80000001,
0x3ffffffe00000003, 0x3fffffff00000001,
0x3ffffffe80000002, 0x3fffffff80000001,
0x3fffffff00000001, 0x4000000000000001,
0x3fffffff80000000, 0x4000000080000001,
0x3fffffffffffffff, 0x5555555500000001,
0x5555555455555556, 0x6666666600000001,
0x6666666533333334, 0x7fffc00000000001,
0x7fffbfff00008000, 0x7fffc00080000001,
0x7fffbfff80007fff, 0x7fffc00100000001,
0x7fffc00000007ffe, 0x7fffc00180000001,
0x7fffc00080007ffd, 0x7fffffc000000001,
0x7fffffbf00000080, 0x7fffffc080000001,
0x7fffffbf8000007f, 0x7fffffc100000001,
0x7fffffc00000007e, 0x7fffffc180000001,
0x7fffffc08000007d, 0x7ffffff000000001,
0x7fffffef00000020, 0x7ffffffe80000001,
0x7ffffffd80000003, 0x7fffffff00000001,
0x7ffffffe00000002, 0x7fffffff80000001,
0x7fffffff80000000, 0x0000000000000001,
0x0000000000000000, 0x0000000080000002,
0x0000000080000000, 0x0000000100000003,
0x0000000100000000, 0x0000001000000021,
0x0000001000000000, 0x0000003e8000007e,
0x0000003e80000000, 0x0000003f0000007f,
0x0000003f00000000, 0x0000003f80000080,
0x0000003f80000000, 0x00003ffe80007ffe,
0x00003ffe80000000, 0x00003fff00007fff,
0x00003fff00000000, 0x00003fff80008000,
0x00003fff80000000, 0x19999999b3333334,
0x1999999980000000, 0x2aaaaaaad5555556,
0x2aaaaaaa80000000, 0x3ffffffefffffffe,
0x3ffffffe80000000, 0x3fffffff7fffffff,
0x3fffffff00000000, 0x4000000000000000,
0x3fffffff80000000, 0x4000000080000001,
0x4000000000000000, 0x4000000100000002,
0x4000000080000000, 0x55555555aaaaaaab,
0x5555555500000000, 0x66666666cccccccd,
0x6666666600000000, 0x7fffc000ffff8001,
0x7fffc00000000000, 0x7fffc0017fff8002,
0x7fffc00080000000, 0x7fffc001ffff8003,
0x7fffc00100000000, 0x7fffc0027fff8004,
0x7fffc00180000000, 0x7fffffc0ffffff81,
0x7fffffc000000000, 0x7fffffc17fffff82,
0x7fffffc080000000, 0x7fffffc1ffffff83,
0x7fffffc100000000, 0x7fffffc27fffff84,
0x7fffffc180000000, 0x7ffffff0ffffffe1,
0x7ffffff000000000, 0x7fffffff7ffffffe,
0x7ffffffe80000000, 0x7fffffffffffffff,
0x7fffffff00000000, 0x8000000080000000,
0x800000007fffffff, 0x0000000000000001,
0x0000000000000000, 0x00000000aaaaaaab,
0x0000000080000001, 0x0000000155555555,
0x0000000100000002, 0x0000001555555541,
0x0000001000000020, 0x0000005355555503,
0x0000003e8000007d, 0x00000053ffffffad,
0x0000003f0000007e, 0x00000054aaaaaa57,
0x0000003f8000007f, 0x0000555355550003,
0x00003ffe80007ffd, 0x00005553ffffaaad,
0x00003fff00007ffe, 0x00005554aaaa5557,
0x00003fff80007fff, 0x22222221dddddddf,
0x19999999b3333333, 0x38e38e3871c71c73,
0x2aaaaaaad5555555, 0x5555555300000003,
0x3ffffffefffffffd, 0x55555553aaaaaaad,
0x3fffffff7ffffffe, 0x5555555455555557,
0x3fffffffffffffff, 0x5555555500000001,
0x4000000080000000, 0x55555555aaaaaaab,
0x4000000100000001, 0x71c71c70e38e38e5,
0x55555555aaaaaaaa, 0x8888888777777779,
0x66666666cccccccc, 0xaaaa5554aaab0001,
0x7fffc000ffff8000, 0xaaaa55555555aaab,
0x7fffc0017fff8001, 0xaaaa555600005555,
0x7fffc001ffff8002, 0xaaaa5556aaaaffff,
0x7fffc0027fff8003, 0xaaaaaa54aaaaab01,
0x7fffffc0ffffff80, 0xaaaaaa55555555ab,
0x7fffffc17fffff81, 0xaaaaaa5600000055,
0x7fffffc1ffffff82, 0xaaaaaa56aaaaaaff,
0x7fffffc27fffff83, 0xaaaaaa94aaaaaac1,
0x7ffffff0ffffffe0, 0xaaaaaaa800000003,
0x7fffffff7ffffffd, 0xaaaaaaa8aaaaaaad,
0x7ffffffffffffffe, 0xaaaaaaa955555557,
0xaaaaaaa955555556, 0x0000000000000001,
0x0000000000000000, 0x00000000cccccccd,
0x00000000aaaaaaaa, 0x0000000199999999,
0x0000000155555554, 0x0000001999999981,
0x0000001555555540, 0x00000063ffffff9d,
0x0000005355555502, 0x00000064cccccc69,
0x00000053ffffffac, 0x0000006599999935,
0x00000054aaaaaa56, 0x00006663ffff999d,
0x0000555355550002, 0x00006664cccc6669,
0x00005553ffffaaac, 0x0000666599993335,
0x00005554aaaa5556, 0x28f5c28f0a3d70a5,
0x22222221ddddddde, 0x44444443bbbbbbbd,
0x38e38e3871c71c72, 0x666666639999999d,
0x5555555300000002, 0x6666666466666669,
0x55555553aaaaaaac, 0x6666666533333335,
0x5555555455555556, 0x6666666600000001,
0x5555555500000000, 0x66666666cccccccd,
0x55555555aaaaaaaa, 0x8888888777777779,
0x71c71c70e38e38e4, 0xa3d70a3c28f5c291,
0x8888888777777778, 0xcccc6665999a0001,
0xaaaa5554aaab0000, 0xcccc66666666cccd,
0xaaaa55555555aaaa, 0xcccc666733339999,
0xaaaa555600005554, 0xcccc666800006665,
0xaaaa5556aaaafffe, 0xcccccc6599999a01,
0xaaaaaa54aaaaab00, 0xcccccc66666666cd,
0xaaaaaa55555555aa, 0xcccccc6733333399,
0xaaaaaa5600000054, 0xcccccc6800000065,
0xaaaaaa56aaaaaafe, 0xccccccb266666681,
0xaaaaaa94aaaaaac0, 0xccccccc99999999d,
0xaaaaaaa800000002, 0xccccccca66666669,
0xaaaaaaa8aaaaaaac, 0xcccccccb33333335,
0xcccccccb33333334, 0x0000000000000001,
0x0000000000000000, 0x00000000ffff8001,
0x00000000cccccccc, 0x00000001ffff0001,
0x0000000199999998, 0x0000001ffff00001,
0x0000001999999980, 0x0000007cffc18001,
0x00000063ffffff9c, 0x0000007dffc10001,
0x00000064cccccc68, 0x0000007effc08001,
0x0000006599999934, 0x00007ffcc0018001,
0x00006663ffff999c, 0x00007ffdc0010001,
0x00006664cccc6668, 0x00007ffec0008001,
0x0000666599993334, 0x3333199966668001,
0x28f5c28f0a3d70a4, 0x55552aaa55558001,
0x44444443bbbbbbbc, 0x7fffbffd00018001,
0x666666639999999c, 0x7fffbffe00010001,
0x6666666466666668, 0x7fffbfff00008001,
0x6666666533333334, 0x7fffc00000000001,
0x6666666600000000, 0x7fffc000ffff8001,
0x66666666cccccccc, 0xaaaa5554aaab0001,
0x8888888777777778, 0xcccc6665999a0001,
0xa3d70a3c28f5c290, 0xffff000040000001,
0xcccc6665999a0000, 0xffff00013fff8001,
0xcccc66666666cccc, 0xffff00023fff0001,
0xcccc666733339998, 0xffff00033ffe8001,
0xcccc666800006664, 0xffff7f8000400001,
0xcccccc6599999a00, 0xffff7f81003f8001,
0xcccccc66666666cc, 0xffff7f82003f0001,
0xcccccc6733333398, 0xffff7f83003e8001,
0xcccccc6800000064, 0xffff7fe000100001,
0xccccccb266666680, 0xffff7ffd00018001,
0xccccccc99999999c, 0xffff7ffe00010001,
0xccccccca66666668, 0xffff7fff00008001,
0xffff7fff00008000, 0x0000000000000001,
0x0000000000000000, 0x00000000ffff8002,
0x00000000ffff8000, 0x00000001ffff0003,
0x00000001ffff0000, 0x0000001ffff00021,
0x0000001ffff00000, 0x0000007cffc1807e,
0x0000007cffc18000, 0x0000007dffc1007f,
0x0000007dffc10000, 0x0000007effc08080,
0x0000007effc08000, 0x00007ffcc001fffe,
0x00007ffcc0018000, 0x00007ffdc0017fff,
0x00007ffdc0010000, 0x00007ffec0010000,
0x00007ffec0008000, 0x333319999999b334,
0x3333199966668000, 0x55552aaaaaaad556,
0x55552aaa55558000, 0x7fffbffd80017ffe,
0x7fffbffd00018000, 0x7fffbffe8000ffff,
0x7fffbffe00010000, 0x7fffbfff80008000,
0x7fffbfff00008000, 0x7fffc00080000001,
0x7fffc00000000000, 0x7fffc0017fff8002,
0x7fffc000ffff8000, 0xaaaa55555555aaab,
0xaaaa5554aaab0000, 0xcccc66666666cccd,
0xcccc6665999a0000, 0xffff00013fff8001,
0xffff000040000000, 0xffff00023fff0002,
0xffff00013fff8000, 0xffff00033ffe8003,
0xffff00023fff0000, 0xffff00043ffe0004,
0xffff00033ffe8000, 0xffff7f81003fff81,
0xffff7f8000400000, 0xffff7f82003f7f82,
0xffff7f81003f8000, 0xffff7f83003eff83,
0xffff7f82003f0000, 0xffff7f84003e7f84,
0xffff7f83003e8000, 0xffff7fe1000fffe1,
0xffff7fe000100000, 0xffff7ffe00017ffe,
0xffff7ffd00018000, 0xffff7fff0000ffff,
0xffff7ffe00010000, 0xffff800000008000,
0xffff800000007fff, 0x0000000000000001,
0x0000000000000000, 0x00000000ffff8003,
0x00000000ffff8001, 0x00000001ffff0005,
0x00000001ffff0002, 0x0000001ffff00041,
0x0000001ffff00020, 0x0000007cffc180fb,
0x0000007cffc1807d, 0x0000007dffc100fd,
0x0000007dffc1007e, 0x0000007effc080ff,
0x0000007effc0807f, 0x00007ffcc0027ffb,
0x00007ffcc001fffd, 0x00007ffdc001fffd,
0x00007ffdc0017ffe, 0x00007ffec0017fff,
0x00007ffec000ffff, 0x33331999cccce667,
0x333319999999b333, 0x55552aab00002aab,
0x55552aaaaaaad555, 0x7fffbffe00017ffb,
0x7fffbffd80017ffd, 0x7fffbfff0000fffd,
0x7fffbffe8000fffe, 0x7fffc00000007fff,
0x7fffbfff80007fff, 0x7fffc00100000001,
0x7fffc00080000000, 0x7fffc001ffff8003,
0x7fffc0017fff8001, 0xaaaa555600005555,
0xaaaa55555555aaaa, 0xcccc666733339999,
0xcccc66666666cccc, 0xffff00023fff0001,
0xffff00013fff8000, 0xffff00033ffe8003,
0xffff00023fff0001, 0xffff00043ffe0005,
0xffff00033ffe8002, 0xffff00053ffd8007,
0xffff00043ffe0003, 0xffff7f82003fff01,
0xffff7f81003fff80, 0xffff7f83003f7f03,
0xffff7f82003f7f81, 0xffff7f84003eff05,
0xffff7f83003eff82, 0xffff7f85003e7f07,
0xffff7f84003e7f83, 0xffff7fe2000fffc1,
0xffff7fe1000fffe0, 0xffff7fff00017ffb,
0xffff7ffe00017ffd, 0xffff80000000fffd,
0xffff7fff0000fffe, 0xffff800100007fff,
0xffff800100007ffe, 0x0000000000000001,
0x0000000000000000, 0x00000000ffff8004,
0x00000000ffff8002, 0x00000001ffff0007,
0x00000001ffff0004, 0x0000001ffff00061,
0x0000001ffff00040, 0x0000007cffc18178,
0x0000007cffc180fa, 0x0000007dffc1017b,
0x0000007dffc100fc, 0x0000007effc0817e,
0x0000007effc080fe, 0x00007ffcc002fff8,
0x00007ffcc0027ffa, 0x00007ffdc0027ffb,
0x00007ffdc001fffc, 0x00007ffec001fffe,
0x00007ffec0017ffe, 0x3333199a0000199a,
0x33331999cccce666, 0x55552aab55558000,
0x55552aab00002aaa, 0x7fffbffe80017ff8,
0x7fffbffe00017ffa, 0x7fffbfff8000fffb,
0x7fffbfff0000fffc, 0x7fffc00080007ffe,
0x7fffc00000007ffe, 0x7fffc00180000001,
0x7fffc00100000000, 0x7fffc0027fff8004,
0x7fffc001ffff8002, 0xaaaa5556aaaaffff,
0xaaaa555600005554, 0xcccc666800006665,
0xcccc666733339998, 0xffff00033ffe8001,
0xffff00023fff0000, 0xffff00043ffe0004,
0xffff00033ffe8002, 0xffff00053ffd8007,
0xffff00043ffe0004, 0xffff00063ffd000a,
0xffff00053ffd8006, 0xffff7f83003ffe81,
0xffff7f82003fff00, 0xffff7f84003f7e84,
0xffff7f83003f7f02, 0xffff7f85003efe87,
0xffff7f84003eff04, 0xffff7f86003e7e8a,
0xffff7f85003e7f06, 0xffff7fe3000fffa1,
0xffff7fe2000fffc0, 0xffff800000017ff8,
0xffff7fff00017ffa, 0xffff80010000fffb,
0xffff80000000fffc, 0xffff800200007ffe,
0xffff800200007ffd, 0x0000000000000001,
0x0000000000000000, 0x00000000ffffff81,
0x00000000ffff8003, 0x00000001ffffff01,
0x00000001ffff0006, 0x0000001ffffff001,
0x0000001ffff00060, 0x0000007cffffc181,
0x0000007cffc18177, 0x0000007dffffc101,
0x0000007dffc1017a, 0x0000007effffc081,
0x0000007effc0817d, 0x00007ffcffc00181,
0x00007ffcc002fff7, 0x00007ffdffc00101,
0x00007ffdc0027ffa, 0x00007ffeffc00081,
0x00007ffec001fffd, 0x3333331966666681,
0x3333199a00001999, 0x5555552a55555581,
0x55552aab55557fff, 0x7fffffbd00000181,
0x7fffbffe80017ff7, 0x7fffffbe00000101,
0x7fffbfff8000fffa, 0x7fffffbf00000081,
0x7fffc00080007ffd, 0x7fffffc000000001,
0x7fffc00180000000, 0x7fffffc0ffffff81,
0x7fffc0027fff8003, 0xaaaaaa54aaaaab01,
0xaaaa5556aaaafffe, 0xcccccc6599999a01,
0xcccc666800006664, 0xffff7f8000400001,
0xffff00033ffe8000, 0xffff7f81003fff81,
0xffff00043ffe0003, 0xffff7f82003fff01,
0xffff00053ffd8006, 0xffff7f83003ffe81,
0xffff00063ffd0009, 0xffffff0000004001,
0xffff7f83003ffe80, 0xffffff0100003f81,
0xffff7f84003f7e83, 0xffffff0200003f01,
0xffff7f85003efe86, 0xffffff0300003e81,
0xffff7f86003e7e89, 0xffffff6000001001,
0xffff7fe3000fffa0, 0xffffff7d00000181,
0xffff800000017ff7, 0xffffff7e00000101,
0xffff80010000fffa, 0xffffff7f00000081,
0xffffff7f00000080, 0x0000000000000001,
0x0000000000000000, 0x00000000ffffff82,
0x00000000ffffff80, 0x00000001ffffff03,
0x00000001ffffff00, 0x0000001ffffff021,
0x0000001ffffff000, 0x0000007cffffc1fe,
0x0000007cffffc180, 0x0000007dffffc17f,
0x0000007dffffc100, 0x0000007effffc100,
0x0000007effffc080, 0x00007ffcffc0817e,
0x00007ffcffc00180, 0x00007ffdffc080ff,
0x00007ffdffc00100, 0x00007ffeffc08080,
0x00007ffeffc00080, 0x33333319999999b4,
0x3333331966666680, 0x5555552aaaaaaad6,
0x5555552a55555580, 0x7fffffbd8000017e,
0x7fffffbd00000180, 0x7fffffbe800000ff,
0x7fffffbe00000100, 0x7fffffbf80000080,
0x7fffffbf00000080, 0x7fffffc080000001,
0x7fffffc000000000, 0x7fffffc17fffff82,
0x7fffffc0ffffff80, 0xaaaaaa55555555ab,
0xaaaaaa54aaaaab00, 0xcccccc66666666cd,
0xcccccc6599999a00, 0xffff7f81003f8001,
0xffff7f8000400000, 0xffff7f82003f7f82,
0xffff7f81003fff80, 0xffff7f83003f7f03,
0xffff7f82003fff00, 0xffff7f84003f7e84,
0xffff7f83003ffe80, 0xffffff0100003f81,
0xffffff0000004000, 0xffffff0200003f02,
0xffffff0100003f80, 0xffffff0300003e83,
0xffffff0200003f00, 0xffffff0400003e04,
0xffffff0300003e80, 0xffffff6100000fe1,
0xffffff6000001000, 0xffffff7e0000017e,
0xffffff7d00000180, 0xffffff7f000000ff,
0xffffff7e00000100, 0xffffff8000000080,
0xffffff800000007f, 0x0000000000000001,
0x0000000000000000, 0x00000000ffffff83,
0x00000000ffffff81, 0x00000001ffffff05,
0x00000001ffffff02, 0x0000001ffffff041,
0x0000001ffffff020, 0x0000007cffffc27b,
0x0000007cffffc1fd, 0x0000007dffffc1fd,
0x0000007dffffc17e, 0x0000007effffc17f,
0x0000007effffc0ff, 0x00007ffcffc1017b,
0x00007ffcffc0817d, 0x00007ffdffc100fd,
0x00007ffdffc080fe, 0x00007ffeffc1007f,
0x00007ffeffc0807f, 0x33333319cccccce7,
0x33333319999999b3, 0x5555552b0000002b,
0x5555552aaaaaaad5, 0x7fffffbe0000017b,
0x7fffffbd8000017d, 0x7fffffbf000000fd,
0x7fffffbe800000fe, 0x7fffffc00000007f,
0x7fffffbf8000007f, 0x7fffffc100000001,
0x7fffffc080000000, 0x7fffffc1ffffff83,
0x7fffffc17fffff81, 0xaaaaaa5600000055,
0xaaaaaa55555555aa, 0xcccccc6733333399,
0xcccccc66666666cc, 0xffff7f82003f0001,
0xffff7f81003f8000, 0xffff7f83003eff83,
0xffff7f82003f7f81, 0xffff7f84003eff05,
0xffff7f83003f7f02, 0xffff7f85003efe87,
0xffff7f84003f7e83, 0xffffff0200003f01,
0xffffff0100003f80, 0xffffff0300003e83,
0xffffff0200003f01, 0xffffff0400003e05,
0xffffff0300003e82, 0xffffff0500003d87,
0xffffff0400003e03, 0xffffff6200000fc1,
0xffffff6100000fe0, 0xffffff7f0000017b,
0xffffff7e0000017d, 0xffffff80000000fd,
0xffffff7f000000fe, 0xffffff810000007f,
0xffffff810000007e, 0x0000000000000001,
0x0000000000000000, 0x00000000ffffff84,
0x00000000ffffff82, 0x00000001ffffff07,
0x00000001ffffff04, 0x0000001ffffff061,
0x0000001ffffff040, 0x0000007cffffc2f8,
0x0000007cffffc27a, 0x0000007dffffc27b,
0x0000007dffffc1fc, 0x0000007effffc1fe,
0x0000007effffc17e, 0x00007ffcffc18178,
0x00007ffcffc1017a, 0x00007ffdffc180fb,
0x00007ffdffc100fc, 0x00007ffeffc1807e,
0x00007ffeffc1007e, 0x3333331a0000001a,
0x33333319cccccce6, 0x5555552b55555580,
0x5555552b0000002a, 0x7fffffbe80000178,
0x7fffffbe0000017a, 0x7fffffbf800000fb,
0x7fffffbf000000fc, 0x7fffffc08000007e,
0x7fffffc00000007e, 0x7fffffc180000001,
0x7fffffc100000000, 0x7fffffc27fffff84,
0x7fffffc1ffffff82, 0xaaaaaa56aaaaaaff,
0xaaaaaa5600000054, 0xcccccc6800000065,
0xcccccc6733333398, 0xffff7f83003e8001,
0xffff7f82003f0000, 0xffff7f84003e7f84,
0xffff7f83003eff82, 0xffff7f85003e7f07,
0xffff7f84003eff04, 0xffff7f86003e7e8a,
0xffff7f85003efe86, 0xffffff0300003e81,
0xffffff0200003f00, 0xffffff0400003e04,
0xffffff0300003e82, 0xffffff0500003d87,
0xffffff0400003e04, 0xffffff0600003d0a,
0xffffff0500003d86, 0xffffff6300000fa1,
0xffffff6200000fc0, 0xffffff8000000178,
0xffffff7f0000017a, 0xffffff81000000fb,
0xffffff80000000fc, 0xffffff820000007e,
0xffffff820000007d, 0x0000000000000001,
0x0000000000000000, 0x00000000ffffffe1,
0x00000000ffffff83, 0x00000001ffffffc1,
0x00000001ffffff06, 0x0000001ffffffc01,
0x0000001ffffff060, 0x0000007cfffff061,
0x0000007cffffc2f7, 0x0000007dfffff041,
0x0000007dffffc27a, 0x0000007efffff021,
0x0000007effffc1fd, 0x00007ffcfff00061,
0x00007ffcffc18177, 0x00007ffdfff00041,
0x00007ffdffc180fa, 0x00007ffefff00021,
0x00007ffeffc1807d, 0x3333332c999999a1,
0x3333331a00000019, 0x5555554a55555561,
0x5555552b5555557f, 0x7fffffed00000061,
0x7fffffbe80000177, 0x7fffffee00000041,
0x7fffffbf800000fa, 0x7fffffef00000021,
0x7fffffc08000007d, 0x7ffffff000000001,
0x7fffffc180000000, 0x7ffffff0ffffffe1,
0x7fffffc27fffff83, 0xaaaaaa94aaaaaac1,
0xaaaaaa56aaaaaafe, 0xccccccb266666681,
0xcccccc6800000064, 0xffff7fe000100001,
0xffff7f83003e8000, 0xffff7fe1000fffe1,
0xffff7f84003e7f83, 0xffff7fe2000fffc1,
0xffff7f85003e7f06, 0xffff7fe3000fffa1,
0xffff7f86003e7e89, 0xffffff6000001001,
0xffffff0300003e80, 0xffffff6100000fe1,
0xffffff0400003e03, 0xffffff6200000fc1,
0xffffff0500003d86, 0xffffff6300000fa1,
0xffffff0600003d09, 0xffffffc000000401,
0xffffff6300000fa0, 0xffffffdd00000061,
0xffffff8000000177, 0xffffffde00000041,
0xffffff81000000fa, 0xffffffdf00000021,
0xffffffdf00000020, 0x0000000000000001,
0x0000000000000000, 0x00000000fffffffe,
0x00000000ffffffe0, 0x00000001fffffffb,
0x00000001ffffffc0, 0x0000001fffffffa1,
0x0000001ffffffc00, 0x0000007cfffffe8a,
0x0000007cfffff060, 0x0000007dfffffe87,
0x0000007dfffff040, 0x0000007efffffe84,
0x0000007efffff020, 0x00007ffcfffe800a,
0x00007ffcfff00060, 0x00007ffdfffe8007,
0x00007ffdfff00040, 0x00007ffefffe8004,
0x00007ffefff00020, 0x3333333266666668,
0x3333332c999999a0, 0x5555555400000002,
0x5555554a55555560, 0x7ffffffb8000000a,
0x7fffffed00000060, 0x7ffffffc80000007,
0x7fffffee00000040, 0x7ffffffd80000004,
0x7fffffef00000020, 0x7ffffffe80000001,
0x7ffffff000000000, 0x7fffffff7ffffffe,
0x7ffffff0ffffffe0, 0xaaaaaaa800000003,
0xaaaaaa94aaaaaac0, 0xccccccc99999999d,
0xccccccb266666680, 0xffff7ffd00018001,
0xffff7fe000100000, 0xffff7ffe00017ffe,
0xffff7fe1000fffe0, 0xffff7fff00017ffb,
0xffff7fe2000fffc0, 0xffff800000017ff8,
0xffff7fe3000fffa0, 0xffffff7d00000181,
0xffffff6000001000, 0xffffff7e0000017e,
0xffffff6100000fe0, 0xffffff7f0000017b,
0xffffff6200000fc0, 0xffffff8000000178,
0xffffff6300000fa0, 0xffffffdd00000061,
0xffffffc000000400, 0xfffffffa0000000a,
0xffffffdd00000060, 0xfffffffb00000007,
0xffffffde00000040, 0xfffffffc00000004,
0xfffffffc00000003, 0x0000000000000001,
0x0000000000000000, 0x00000000ffffffff,
0x00000000fffffffd, 0x00000001fffffffd,
0x00000001fffffffa, 0x0000001fffffffc1,
0x0000001fffffffa0, 0x0000007cffffff07,
0x0000007cfffffe89, 0x0000007dffffff05,
0x0000007dfffffe86, 0x0000007effffff03,
0x0000007efffffe83, 0x00007ffcffff0007,
0x00007ffcfffe8009, 0x00007ffdffff0005,
0x00007ffdfffe8006, 0x00007ffeffff0003,
0x00007ffefffe8003, 0x333333329999999b,
0x3333333266666667, 0x5555555455555557,
0x5555555400000001, 0x7ffffffc00000007,
0x7ffffffb80000009, 0x7ffffffd00000005,
0x7ffffffc80000006, 0x7ffffffe00000003,
0x7ffffffd80000003, 0x7fffffff00000001,
0x7ffffffe80000000, 0x7fffffffffffffff,
0x7fffffff7ffffffd, 0xaaaaaaa8aaaaaaad,
0xaaaaaaa800000002, 0xccccccca66666669,
0xccccccc99999999c, 0xffff7ffe00010001,
0xffff7ffd00018000, 0xffff7fff0000ffff,
0xffff7ffe00017ffd, 0xffff80000000fffd,
0xffff7fff00017ffa, 0xffff80010000fffb,
0xffff800000017ff7, 0xffffff7e00000101,
0xffffff7d00000180, 0xffffff7f000000ff,
0xffffff7e0000017d, 0xffffff80000000fd,
0xffffff7f0000017a, 0xffffff81000000fb,
0xffffff8000000177, 0xffffffde00000041,
0xffffffdd00000060, 0xfffffffb00000007,
0xfffffffa00000009, 0xfffffffc00000005,
0xfffffffb00000006, 0xfffffffd00000003,
0xfffffffd00000002, 0x0000000000000001,
0x0000000000000000, 0x0000000100000000,
0x00000000fffffffe, 0x00000001ffffffff,
0x00000001fffffffc, 0x0000001fffffffe1,
0x0000001fffffffc0, 0x0000007cffffff84,
0x0000007cffffff06, 0x0000007dffffff83,
0x0000007dffffff04, 0x0000007effffff82,
0x0000007effffff02, 0x00007ffcffff8004,
0x00007ffcffff0006, 0x00007ffdffff8003,
0x00007ffdffff0004, 0x00007ffeffff8002,
0x00007ffeffff0002, 0x33333332ccccccce,
0x333333329999999a, 0x55555554aaaaaaac,
0x5555555455555556, 0x7ffffffc80000004,
0x7ffffffc00000006, 0x7ffffffd80000003,
0x7ffffffd00000004, 0x7ffffffe80000002,
0x7ffffffe00000002, 0x7fffffff80000001,
0x7fffffff00000000, 0x8000000080000000,
0x7ffffffffffffffe, 0xaaaaaaa955555557,
0xaaaaaaa8aaaaaaac, 0xcccccccb33333335,
0xccccccca66666668, 0xffff7fff00008001,
0xffff7ffe00010000, 0xffff800000008000,
0xffff7fff0000fffe, 0xffff800100007fff,
0xffff80000000fffc, 0xffff800200007ffe,
0xffff80010000fffa, 0xffffff7f00000081,
0xffffff7e00000100, 0xffffff8000000080,
0xffffff7f000000fe, 0xffffff810000007f,
0xffffff80000000fc, 0xffffff820000007e,
0xffffff81000000fa, 0xffffffdf00000021,
0xffffffde00000040, 0xfffffffc00000004,
0xfffffffb00000006, 0xfffffffd00000003,
0xfffffffc00000004, 0xfffffffe00000002,
};
const unsigned kExpectedCount_NEON_umlal2_2D = 961;
#endif // VIXL_SIM_UMLAL2_2D_TRACE_AARCH64_H_