// 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_SMLSL2_2D_TRACE_AARCH64_H_ #define VIXL_SIM_SMLSL2_2D_TRACE_AARCH64_H_ const uint64_t kExpected_NEON_smlsl2_2D[] = { 0xffffc002fff70000, 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, 0x003ffe8000000000, 0x0000000000000001, 0x003ffe7fff800300, 0x0000000000000001, 0x002aa9aaaafffe00, 0x0000000000000001, 0x0019990000666400, 0x0000000000000001, 0x0000003ffe800000, 0x0000000000000001, 0x0000003ffe000300, 0x0000000000000001, 0x0000003ffd800600, 0x0000000000000001, 0x0000003ffd000900, 0x0000000000000001, 0x000000003ffe8000, 0x0000000000000001, 0x000000003f7e8300, 0x0000000000000001, 0x000000003efe8600, 0x0000000000000001, 0x000000003e7e8900, 0x0000000000000001, 0x000000000fffa000, 0x0000000000000001, 0x00000000017ff700, 0x0000000000000001, 0x0000000000fffa00, 0x0000000000000001, 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, 0x0000000080000001, 0x0000000000000000, 0x0000000080000000, 0x0000000000000000, 0x0000000055555557, 0x0000000000000000, 0x0000000033333335, 0x0000000000000000, 0x0000000000008001, 0x0000000000000000, 0x0000000000008000, 0x0000000000000000, 0x0000000000007fff, 0x0000000000000000, 0x0000000000007ffe, 0x0000000000000000, 0x0000000000000081, 0x0000000000000000, 0x0000000000000080, 0x0000000000000000, 0x000000000000007f, 0x0000000000000000, 0x000000000000007e, 0x0000000000000000, 0x0000000000000021, 0x0000000000000000, 0x0000000000000004, 0x0000000000000000, 0x0000000000000003, 0x0000000000000000, 0x0000000000000002, 0x0000000000000001, 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, 0x0000000100000001, 0x0000000080000000, 0x00000000ffffffff, 0x000000007fffffff, 0x00000000aaaaaaad, 0x0000000055555556, 0x0000000066666669, 0x0000000033333334, 0x0000000000010001, 0x0000000000008000, 0x000000000000ffff, 0x0000000000007fff, 0x000000000000fffd, 0x0000000000007ffe, 0x000000000000fffb, 0x0000000000007ffd, 0x0000000000000101, 0x0000000000000080, 0x00000000000000ff, 0x000000000000007f, 0x00000000000000fd, 0x000000000000007e, 0x00000000000000fb, 0x000000000000007d, 0x0000000000000041, 0x0000000000000020, 0x0000000000000007, 0x0000000000000003, 0x0000000000000005, 0x0000000000000002, 0x0000000000000003, 0x0000000000000002, 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, 0x0000001000000001, 0x0000000100000000, 0x0000000fffffffe1, 0x00000000fffffffe, 0x0000000aaaaaaac1, 0x00000000aaaaaaac, 0x0000000666666681, 0x0000000066666668, 0x0000000000100001, 0x0000000000010000, 0x00000000000fffe1, 0x000000000000fffe, 0x00000000000fffc1, 0x000000000000fffc, 0x00000000000fffa1, 0x000000000000fffa, 0x0000000000001001, 0x0000000000000100, 0x0000000000000fe1, 0x00000000000000fe, 0x0000000000000fc1, 0x00000000000000fc, 0x0000000000000fa1, 0x00000000000000fa, 0x0000000000000401, 0x0000000000000040, 0x0000000000000061, 0x0000000000000006, 0x0000000000000041, 0x0000000000000004, 0x0000000000000021, 0x0000000000000020, 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, 0x0000003e80000001, 0x0000001000000000, 0x0000003e7fffff84, 0x0000000fffffffe0, 0x00000029aaaaaaff, 0x0000000aaaaaaac0, 0x0000001900000065, 0x0000000666666680, 0x00000000003e8001, 0x0000000000100000, 0x00000000003e7f84, 0x00000000000fffe0, 0x00000000003e7f07, 0x00000000000fffc0, 0x00000000003e7e8a, 0x00000000000fffa0, 0x0000000000003e81, 0x0000000000001000, 0x0000000000003e04, 0x0000000000000fe0, 0x0000000000003d87, 0x0000000000000fc0, 0x0000000000003d0a, 0x0000000000000fa0, 0x0000000000000fa1, 0x0000000000000400, 0x0000000000000178, 0x0000000000000060, 0x00000000000000fb, 0x0000000000000040, 0x000000000000007e, 0x000000000000007d, 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, 0x0000003f00000001, 0x0000003e80000000, 0x0000003effffff83, 0x0000003e7fffff83, 0x0000002a00000055, 0x00000029aaaaaafe, 0x0000001933333399, 0x0000001900000064, 0x00000000003f0001, 0x00000000003e8000, 0x00000000003eff83, 0x00000000003e7f83, 0x00000000003eff05, 0x00000000003e7f06, 0x00000000003efe87, 0x00000000003e7e89, 0x0000000000003f01, 0x0000000000003e80, 0x0000000000003e83, 0x0000000000003e03, 0x0000000000003e05, 0x0000000000003d86, 0x0000000000003d87, 0x0000000000003d09, 0x0000000000000fc1, 0x0000000000000fa0, 0x000000000000017b, 0x0000000000000177, 0x00000000000000fd, 0x00000000000000fa, 0x000000000000007f, 0x000000000000007e, 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, 0x0000003f80000001, 0x0000003f00000000, 0x0000003f7fffff82, 0x0000003effffff82, 0x0000002a555555ab, 0x0000002a00000054, 0x00000019666666cd, 0x0000001933333398, 0x00000000003f8001, 0x00000000003f0000, 0x00000000003f7f82, 0x00000000003eff82, 0x00000000003f7f03, 0x00000000003eff04, 0x00000000003f7e84, 0x00000000003efe86, 0x0000000000003f81, 0x0000000000003f00, 0x0000000000003f02, 0x0000000000003e82, 0x0000000000003e83, 0x0000000000003e04, 0x0000000000003e04, 0x0000000000003d86, 0x0000000000000fe1, 0x0000000000000fc0, 0x000000000000017e, 0x000000000000017a, 0x00000000000000ff, 0x00000000000000fc, 0x0000000000000080, 0x000000000000007f, 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, 0x00003ffe80000001, 0x0000003f80000000, 0x00003ffe7fff8004, 0x0000003f7fffff81, 0x00002aa9aaaaffff, 0x0000002a555555aa, 0x0000199900006665, 0x00000019666666cc, 0x000000003ffe8001, 0x00000000003f8000, 0x000000003ffe0004, 0x00000000003f7f81, 0x000000003ffd8007, 0x00000000003f7f02, 0x000000003ffd000a, 0x00000000003f7e83, 0x00000000003ffe81, 0x0000000000003f80, 0x00000000003f7e84, 0x0000000000003f01, 0x00000000003efe87, 0x0000000000003e82, 0x00000000003e7e8a, 0x0000000000003e03, 0x00000000000fffa1, 0x0000000000000fe0, 0x0000000000017ff8, 0x000000000000017d, 0x000000000000fffb, 0x00000000000000fe, 0x0000000000007ffe, 0x0000000000007ffd, 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, 0x00003fff00000001, 0x00003ffe80000000, 0x00003ffeffff8003, 0x00003ffe7fff8003, 0x00002aaa00005555, 0x00002aa9aaaafffe, 0x0000199933339999, 0x0000199900006664, 0x000000003fff0001, 0x000000003ffe8000, 0x000000003ffe8003, 0x000000003ffe0003, 0x000000003ffe0005, 0x000000003ffd8006, 0x000000003ffd8007, 0x000000003ffd0009, 0x00000000003fff01, 0x00000000003ffe80, 0x00000000003f7f03, 0x00000000003f7e83, 0x00000000003eff05, 0x00000000003efe86, 0x00000000003e7f07, 0x00000000003e7e89, 0x00000000000fffc1, 0x00000000000fffa0, 0x0000000000017ffb, 0x0000000000017ff7, 0x000000000000fffd, 0x000000000000fffa, 0x0000000000007fff, 0x0000000000007ffe, 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, 0x00003fff80000001, 0x00003fff00000000, 0x00003fff7fff8002, 0x00003ffeffff8002, 0x00002aaa5555aaab, 0x00002aaa00005554, 0x000019996666cccd, 0x0000199933339998, 0x000000003fff8001, 0x000000003fff0000, 0x000000003fff0002, 0x000000003ffe8002, 0x000000003ffe8003, 0x000000003ffe0004, 0x000000003ffe0004, 0x000000003ffd8006, 0x00000000003fff81, 0x00000000003fff00, 0x00000000003f7f82, 0x00000000003f7f02, 0x00000000003eff83, 0x00000000003eff04, 0x00000000003e7f84, 0x00000000003e7f06, 0x00000000000fffe1, 0x00000000000fffc0, 0x0000000000017ffe, 0x0000000000017ffa, 0x000000000000ffff, 0x000000000000fffc, 0x0000000000008000, 0x0000000000007fff, 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, 0x1999999980000001, 0x00003fff80000000, 0x199999994cccccce, 0x00003fff7fff8001, 0x1111111122222223, 0x00002aaa5555aaaa, 0x0a3d70a3f5c28f5d, 0x000019996666cccc, 0x0000199999998001, 0x000000003fff8000, 0x0000199966664cce, 0x000000003fff0001, 0x000019993333199b, 0x000000003ffe8002, 0x00001998ffffe668, 0x000000003ffe0003, 0x0000001999999981, 0x00000000003fff80, 0x000000196666664e, 0x00000000003f7f81, 0x000000193333331b, 0x00000000003eff82, 0x00000018ffffffe8, 0x00000000003e7f83, 0x0000000666666661, 0x00000000000fffe0, 0x000000009999999a, 0x0000000000017ffd, 0x0000000066666667, 0x000000000000fffe, 0x0000000033333334, 0x0000000033333333, 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, 0x2aaaaaaa80000001, 0x1999999980000000, 0x2aaaaaaa2aaaaaac, 0x199999994ccccccd, 0x1c71c71c8e38e38f, 0x1111111122222222, 0x1111111144444445, 0x0a3d70a3f5c28f5c, 0x00002aaaaaaa8001, 0x0000199999998000, 0x00002aaa55552aac, 0x0000199966664ccd, 0x00002aa9ffffd557, 0x000019993333199a, 0x00002aa9aaaa8002, 0x00001998ffffe667, 0x0000002aaaaaaa81, 0x0000001999999980, 0x0000002a5555552c, 0x000000196666664d, 0x00000029ffffffd7, 0x000000193333331a, 0x00000029aaaaaa82, 0x00000018ffffffe7, 0x0000000aaaaaaaa1, 0x0000000666666660, 0x0000000100000000, 0x0000000099999999, 0x00000000aaaaaaab, 0x0000000066666666, 0x0000000055555556, 0x0000000055555555, 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, 0x3ffffffe80000001, 0x2aaaaaaa80000000, 0x3ffffffe00000004, 0x2aaaaaaa2aaaaaab, 0x2aaaaaa9ffffffff, 0x1c71c71c8e38e38e, 0x1999999966666665, 0x1111111144444444, 0x00003ffffffe8001, 0x00002aaaaaaa8000, 0x00003fff7ffe8004, 0x00002aaa55552aab, 0x00003ffefffe8007, 0x00002aa9ffffd556, 0x00003ffe7ffe800a, 0x00002aa9aaaa8001, 0x0000003ffffffe81, 0x0000002aaaaaaa80, 0x0000003f7ffffe84, 0x0000002a5555552b, 0x0000003efffffe87, 0x00000029ffffffd6, 0x0000003e7ffffe8a, 0x00000029aaaaaa81, 0x0000000fffffffa1, 0x0000000aaaaaaaa0, 0x000000017ffffff8, 0x00000000ffffffff, 0x00000000fffffffb, 0x00000000aaaaaaaa, 0x000000007ffffffe, 0x000000007ffffffd, 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, 0x3fffffff00000001, 0x3ffffffe80000000, 0x3ffffffe80000003, 0x3ffffffe00000003, 0x2aaaaaaa55555555, 0x2aaaaaa9fffffffe, 0x1999999999999999, 0x1999999966666664, 0x00003fffffff0001, 0x00003ffffffe8000, 0x00003fff7fff0003, 0x00003fff7ffe8003, 0x00003ffeffff0005, 0x00003ffefffe8006, 0x00003ffe7fff0007, 0x00003ffe7ffe8009, 0x0000003fffffff01, 0x0000003ffffffe80, 0x0000003f7fffff03, 0x0000003f7ffffe83, 0x0000003effffff05, 0x0000003efffffe86, 0x0000003e7fffff07, 0x0000003e7ffffe89, 0x0000000fffffffc1, 0x0000000fffffffa0, 0x000000017ffffffb, 0x000000017ffffff7, 0x00000000fffffffd, 0x00000000fffffffa, 0x000000007fffffff, 0x000000007ffffffe, 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, 0x3fffffff80000001, 0x3fffffff00000000, 0x3fffffff00000002, 0x3ffffffe80000002, 0x2aaaaaaaaaaaaaab, 0x2aaaaaaa55555554, 0x19999999cccccccd, 0x1999999999999998, 0x00003fffffff8001, 0x00003fffffff0000, 0x00003fff7fff8002, 0x00003fff7fff0002, 0x00003ffeffff8003, 0x00003ffeffff0004, 0x00003ffe7fff8004, 0x00003ffe7fff0006, 0x0000003fffffff81, 0x0000003fffffff00, 0x0000003f7fffff82, 0x0000003f7fffff02, 0x0000003effffff83, 0x0000003effffff04, 0x0000003e7fffff84, 0x0000003e7fffff06, 0x0000000fffffffe1, 0x0000000fffffffc0, 0x000000017ffffffe, 0x000000017ffffffa, 0x00000000ffffffff, 0x00000000fffffffc, 0x0000000080000000, 0x000000007fffffff, 0x0000000000000001, 0x0000000000000000, 0x0000000080000001, 0xffffffff80000001, 0x0000000100000001, 0xffffffff00000002, 0x0000001000000001, 0xfffffff000000020, 0x0000003e80000001, 0xffffffc18000007d, 0x0000003f00000001, 0xffffffc10000007e, 0x0000003f80000001, 0xffffffc08000007f, 0x00003ffe80000001, 0xffffc00180007ffd, 0x00003fff00000001, 0xffffc00100007ffe, 0x00003fff80000001, 0xffffc00080007fff, 0x1999999980000001, 0xe6666666b3333333, 0x2aaaaaaa80000001, 0xd5555555d5555555, 0x3ffffffe80000001, 0xc0000001fffffffd, 0x3fffffff00000001, 0xc00000017ffffffe, 0x3fffffff80000001, 0xc0000000ffffffff, 0xc000000000000001, 0x3fffffff80000000, 0xc000000080000001, 0x3fffffff00000001, 0xd555555500000001, 0x2aaaaaaaaaaaaaaa, 0xe666666600000001, 0x19999999cccccccc, 0xffffc00000000001, 0x00003fffffff8000, 0xffffc00080000001, 0x00003fff7fff8001, 0xffffc00100000001, 0x00003ffeffff8002, 0xffffc00180000001, 0x00003ffe7fff8003, 0xffffffc000000001, 0x0000003fffffff80, 0xffffffc080000001, 0x0000003f7fffff81, 0xffffffc100000001, 0x0000003effffff82, 0xffffffc180000001, 0x0000003e7fffff83, 0xfffffff000000001, 0x0000000fffffffe0, 0xfffffffe80000001, 0x000000017ffffffd, 0xffffffff00000001, 0x00000000fffffffe, 0xffffffff80000001, 0xffffffff80000000, 0x0000000000000001, 0x0000000000000000, 0x0000000080000000, 0x0000000080000000, 0x00000000ffffffff, 0x0000000100000000, 0x0000000fffffffe1, 0x0000001000000000, 0x0000003e7fffff84, 0x0000003e80000000, 0x0000003effffff83, 0x0000003f00000000, 0x0000003f7fffff82, 0x0000003f80000000, 0x00003ffe7fff8004, 0x00003ffe80000000, 0x00003ffeffff8003, 0x00003fff00000000, 0x00003fff7fff8002, 0x00003fff80000000, 0x199999994cccccce, 0x1999999980000000, 0x2aaaaaaa2aaaaaac, 0x2aaaaaaa80000000, 0x3ffffffe00000004, 0x3ffffffe80000000, 0x3ffffffe80000003, 0x3fffffff00000000, 0x3fffffff00000002, 0x3fffffff80000000, 0xc000000080000001, 0xc000000000000000, 0xc000000100000000, 0xc000000080000000, 0xd555555555555557, 0xd555555500000000, 0xe666666633333335, 0xe666666600000000, 0xffffc00000008001, 0xffffc00000000000, 0xffffc00080008000, 0xffffc00080000000, 0xffffc00100007fff, 0xffffc00100000000, 0xffffc00180007ffe, 0xffffc00180000000, 0xffffffc000000081, 0xffffffc000000000, 0xffffffc080000080, 0xffffffc080000000, 0xffffffc10000007f, 0xffffffc100000000, 0xffffffc18000007e, 0xffffffc180000000, 0xfffffff000000021, 0xfffffff000000000, 0xfffffffe80000004, 0xfffffffe80000000, 0xffffffff00000003, 0xffffffff00000000, 0xffffffff80000002, 0xffffffff80000001, 0x0000000000000001, 0x0000000000000000, 0x0000000055555557, 0x000000007fffffff, 0x00000000aaaaaaad, 0x00000000fffffffe, 0x0000000aaaaaaac1, 0x0000000fffffffe0, 0x00000029aaaaaaff, 0x0000003e7fffff83, 0x0000002a00000055, 0x0000003effffff82, 0x0000002a555555ab, 0x0000003f7fffff81, 0x00002aa9aaaaffff, 0x00003ffe7fff8003, 0x00002aaa00005555, 0x00003ffeffff8002, 0x00002aaa5555aaab, 0x00003fff7fff8001, 0x1111111122222223, 0x199999994ccccccd, 0x1c71c71c8e38e38f, 0x2aaaaaaa2aaaaaab, 0x2aaaaaa9ffffffff, 0x3ffffffe00000003, 0x2aaaaaaa55555555, 0x3ffffffe80000002, 0x2aaaaaaaaaaaaaab, 0x3fffffff00000001, 0xd555555500000001, 0xc000000080000000, 0xd555555555555557, 0xc0000000ffffffff, 0xe38e38e31c71c71d, 0xd555555555555556, 0xeeeeeeee88888889, 0xe666666633333334, 0xffffd55555550001, 0xffffc00000008000, 0xffffd555aaaa5557, 0xffffc00080007fff, 0xffffd555ffffaaad, 0xffffc00100007ffe, 0xffffd55655550003, 0xffffc00180007ffd, 0xffffffd555555501, 0xffffffc000000080, 0xffffffd5aaaaaa57, 0xffffffc08000007f, 0xffffffd5ffffffad, 0xffffffc10000007e, 0xffffffd655555503, 0xffffffc18000007d, 0xfffffff555555541, 0xfffffff000000020, 0xfffffffeffffffff, 0xfffffffe80000003, 0xffffffff55555555, 0xffffffff00000002, 0xffffffffaaaaaaab, 0xffffffffaaaaaaaa, 0x0000000000000001, 0x0000000000000000, 0x0000000033333335, 0x0000000055555556, 0x0000000066666669, 0x00000000aaaaaaac, 0x0000000666666681, 0x0000000aaaaaaac0, 0x0000001900000065, 0x00000029aaaaaafe, 0x0000001933333399, 0x0000002a00000054, 0x00000019666666cd, 0x0000002a555555aa, 0x0000199900006665, 0x00002aa9aaaafffe, 0x0000199933339999, 0x00002aaa00005554, 0x000019996666cccd, 0x00002aaa5555aaaa, 0x0a3d70a3f5c28f5d, 0x1111111122222222, 0x1111111144444445, 0x1c71c71c8e38e38e, 0x1999999966666665, 0x2aaaaaa9fffffffe, 0x1999999999999999, 0x2aaaaaaa55555554, 0x19999999cccccccd, 0x2aaaaaaaaaaaaaaa, 0xe666666600000001, 0xd555555500000000, 0xe666666633333335, 0xd555555555555556, 0xeeeeeeee88888889, 0xe38e38e31c71c71c, 0xf5c28f5bd70a3d71, 0xeeeeeeee88888888, 0xffffe66666660001, 0xffffd55555550000, 0xffffe66699993335, 0xffffd555aaaa5556, 0xffffe666cccc6669, 0xffffd555ffffaaac, 0xffffe666ffff999d, 0xffffd55655550002, 0xffffffe666666601, 0xffffffd555555500, 0xffffffe699999935, 0xffffffd5aaaaaa56, 0xffffffe6cccccc69, 0xffffffd5ffffffac, 0xffffffe6ffffff9d, 0xffffffd655555502, 0xfffffff999999981, 0xfffffff555555540, 0xffffffff66666665, 0xfffffffefffffffe, 0xffffffff99999999, 0xffffffff55555554, 0xffffffffcccccccd, 0xffffffffcccccccc, 0x0000000000000001, 0x0000000000000000, 0x0000000000008001, 0x0000000033333334, 0x0000000000010001, 0x0000000066666668, 0x0000000000100001, 0x0000000666666680, 0x00000000003e8001, 0x0000001900000064, 0x00000000003f0001, 0x0000001933333398, 0x00000000003f8001, 0x00000019666666cc, 0x000000003ffe8001, 0x0000199900006664, 0x000000003fff0001, 0x0000199933339998, 0x000000003fff8001, 0x000019996666cccc, 0x0000199999998001, 0x0a3d70a3f5c28f5c, 0x00002aaaaaaa8001, 0x1111111144444444, 0x00003ffffffe8001, 0x1999999966666664, 0x00003fffffff0001, 0x1999999999999998, 0x00003fffffff8001, 0x19999999cccccccc, 0xffffc00000000001, 0xe666666600000000, 0xffffc00000008001, 0xe666666633333334, 0xffffd55555550001, 0xeeeeeeee88888888, 0xffffe66666660001, 0xf5c28f5bd70a3d70, 0xffffffffc0000001, 0xffffe66666660000, 0xffffffffc0008001, 0xffffe66699993334, 0xffffffffc0010001, 0xffffe666cccc6668, 0xffffffffc0018001, 0xffffe666ffff999c, 0xffffffffffc00001, 0xffffffe666666600, 0xffffffffffc08001, 0xffffffe699999934, 0xffffffffffc10001, 0xffffffe6cccccc68, 0xffffffffffc18001, 0xffffffe6ffffff9c, 0xfffffffffff00001, 0xfffffff999999980, 0xfffffffffffe8001, 0xffffffff66666664, 0xffffffffffff0001, 0xffffffff99999998, 0xffffffffffff8001, 0xffffffffffff8000, 0x0000000000000001, 0x0000000000000000, 0x0000000000008000, 0x0000000000008000, 0x000000000000ffff, 0x0000000000010000, 0x00000000000fffe1, 0x0000000000100000, 0x00000000003e7f84, 0x00000000003e8000, 0x00000000003eff83, 0x00000000003f0000, 0x00000000003f7f82, 0x00000000003f8000, 0x000000003ffe0004, 0x000000003ffe8000, 0x000000003ffe8003, 0x000000003fff0000, 0x000000003fff0002, 0x000000003fff8000, 0x0000199966664cce, 0x0000199999998000, 0x00002aaa55552aac, 0x00002aaaaaaa8000, 0x00003fff7ffe8004, 0x00003ffffffe8000, 0x00003fff7fff0003, 0x00003fffffff0000, 0x00003fff7fff8002, 0x00003fffffff8000, 0xffffc00080000001, 0xffffc00000000000, 0xffffc00080008000, 0xffffc00000008000, 0xffffd555aaaa5557, 0xffffd55555550000, 0xffffe66699993335, 0xffffe66666660000, 0xffffffffc0008001, 0xffffffffc0000000, 0xffffffffc0010000, 0xffffffffc0008000, 0xffffffffc0017fff, 0xffffffffc0010000, 0xffffffffc001fffe, 0xffffffffc0018000, 0xffffffffffc00081, 0xffffffffffc00000, 0xffffffffffc08080, 0xffffffffffc08000, 0xffffffffffc1007f, 0xffffffffffc10000, 0xffffffffffc1807e, 0xffffffffffc18000, 0xfffffffffff00021, 0xfffffffffff00000, 0xfffffffffffe8004, 0xfffffffffffe8000, 0xffffffffffff0003, 0xffffffffffff0000, 0xffffffffffff8002, 0xffffffffffff8001, 0x0000000000000001, 0x0000000000000000, 0x0000000000007fff, 0x0000000000007fff, 0x000000000000fffd, 0x000000000000fffe, 0x00000000000fffc1, 0x00000000000fffe0, 0x00000000003e7f07, 0x00000000003e7f83, 0x00000000003eff05, 0x00000000003eff82, 0x00000000003f7f03, 0x00000000003f7f81, 0x000000003ffd8007, 0x000000003ffe0003, 0x000000003ffe0005, 0x000000003ffe8002, 0x000000003ffe8003, 0x000000003fff0001, 0x000019993333199b, 0x0000199966664ccd, 0x00002aa9ffffd557, 0x00002aaa55552aab, 0x00003ffefffe8007, 0x00003fff7ffe8003, 0x00003ffeffff0005, 0x00003fff7fff0002, 0x00003ffeffff8003, 0x00003fff7fff8001, 0xffffc00100000001, 0xffffc00080000000, 0xffffc00100007fff, 0xffffc00080007fff, 0xffffd555ffffaaad, 0xffffd555aaaa5556, 0xffffe666cccc6669, 0xffffe66699993334, 0xffffffffc0010001, 0xffffffffc0008000, 0xffffffffc0017fff, 0xffffffffc000ffff, 0xffffffffc001fffd, 0xffffffffc0017ffe, 0xffffffffc0027ffb, 0xffffffffc001fffd, 0xffffffffffc00101, 0xffffffffffc00080, 0xffffffffffc080ff, 0xffffffffffc0807f, 0xffffffffffc100fd, 0xffffffffffc1007e, 0xffffffffffc180fb, 0xffffffffffc1807d, 0xfffffffffff00041, 0xfffffffffff00020, 0xfffffffffffe8007, 0xfffffffffffe8003, 0xffffffffffff0005, 0xffffffffffff0002, 0xffffffffffff8003, 0xffffffffffff8002, 0x0000000000000001, 0x0000000000000000, 0x0000000000007ffe, 0x0000000000007ffe, 0x000000000000fffb, 0x000000000000fffc, 0x00000000000fffa1, 0x00000000000fffc0, 0x00000000003e7e8a, 0x00000000003e7f06, 0x00000000003efe87, 0x00000000003eff04, 0x00000000003f7e84, 0x00000000003f7f02, 0x000000003ffd000a, 0x000000003ffd8006, 0x000000003ffd8007, 0x000000003ffe0004, 0x000000003ffe0004, 0x000000003ffe8002, 0x00001998ffffe668, 0x000019993333199a, 0x00002aa9aaaa8002, 0x00002aa9ffffd556, 0x00003ffe7ffe800a, 0x00003ffefffe8006, 0x00003ffe7fff0007, 0x00003ffeffff0004, 0x00003ffe7fff8004, 0x00003ffeffff8002, 0xffffc00180000001, 0xffffc00100000000, 0xffffc00180007ffe, 0xffffc00100007ffe, 0xffffd55655550003, 0xffffd555ffffaaac, 0xffffe666ffff999d, 0xffffe666cccc6668, 0xffffffffc0018001, 0xffffffffc0010000, 0xffffffffc001fffe, 0xffffffffc0017ffe, 0xffffffffc0027ffb, 0xffffffffc001fffc, 0xffffffffc002fff8, 0xffffffffc0027ffa, 0xffffffffffc00181, 0xffffffffffc00100, 0xffffffffffc0817e, 0xffffffffffc080fe, 0xffffffffffc1017b, 0xffffffffffc100fc, 0xffffffffffc18178, 0xffffffffffc180fa, 0xfffffffffff00061, 0xfffffffffff00040, 0xfffffffffffe800a, 0xfffffffffffe8006, 0xffffffffffff0007, 0xffffffffffff0004, 0xffffffffffff8004, 0xffffffffffff8003, 0x0000000000000001, 0x0000000000000000, 0x0000000000000081, 0x0000000000007ffd, 0x0000000000000101, 0x000000000000fffa, 0x0000000000001001, 0x00000000000fffa0, 0x0000000000003e81, 0x00000000003e7e89, 0x0000000000003f01, 0x00000000003efe86, 0x0000000000003f81, 0x00000000003f7e83, 0x00000000003ffe81, 0x000000003ffd0009, 0x00000000003fff01, 0x000000003ffd8006, 0x00000000003fff81, 0x000000003ffe0003, 0x0000001999999981, 0x00001998ffffe667, 0x0000002aaaaaaa81, 0x00002aa9aaaa8001, 0x0000003ffffffe81, 0x00003ffe7ffe8009, 0x0000003fffffff01, 0x00003ffe7fff0006, 0x0000003fffffff81, 0x00003ffe7fff8003, 0xffffffc000000001, 0xffffc00180000000, 0xffffffc000000081, 0xffffc00180007ffd, 0xffffffd555555501, 0xffffd55655550002, 0xffffffe666666601, 0xffffe666ffff999c, 0xffffffffffc00001, 0xffffffffc0018000, 0xffffffffffc00081, 0xffffffffc001fffd, 0xffffffffffc00101, 0xffffffffc0027ffa, 0xffffffffffc00181, 0xffffffffc002fff7, 0xffffffffffffc001, 0xffffffffffc00180, 0xffffffffffffc081, 0xffffffffffc0817d, 0xffffffffffffc101, 0xffffffffffc1017a, 0xffffffffffffc181, 0xffffffffffc18177, 0xfffffffffffff001, 0xfffffffffff00060, 0xfffffffffffffe81, 0xfffffffffffe8009, 0xffffffffffffff01, 0xffffffffffff0006, 0xffffffffffffff81, 0xffffffffffffff80, 0x0000000000000001, 0x0000000000000000, 0x0000000000000080, 0x0000000000000080, 0x00000000000000ff, 0x0000000000000100, 0x0000000000000fe1, 0x0000000000001000, 0x0000000000003e04, 0x0000000000003e80, 0x0000000000003e83, 0x0000000000003f00, 0x0000000000003f02, 0x0000000000003f80, 0x00000000003f7e84, 0x00000000003ffe80, 0x00000000003f7f03, 0x00000000003fff00, 0x00000000003f7f82, 0x00000000003fff80, 0x000000196666664e, 0x0000001999999980, 0x0000002a5555552c, 0x0000002aaaaaaa80, 0x0000003f7ffffe84, 0x0000003ffffffe80, 0x0000003f7fffff03, 0x0000003fffffff00, 0x0000003f7fffff82, 0x0000003fffffff80, 0xffffffc080000001, 0xffffffc000000000, 0xffffffc080000080, 0xffffffc000000080, 0xffffffd5aaaaaa57, 0xffffffd555555500, 0xffffffe699999935, 0xffffffe666666600, 0xffffffffffc08001, 0xffffffffffc00000, 0xffffffffffc08080, 0xffffffffffc00080, 0xffffffffffc080ff, 0xffffffffffc00100, 0xffffffffffc0817e, 0xffffffffffc00180, 0xffffffffffffc081, 0xffffffffffffc000, 0xffffffffffffc100, 0xffffffffffffc080, 0xffffffffffffc17f, 0xffffffffffffc100, 0xffffffffffffc1fe, 0xffffffffffffc180, 0xfffffffffffff021, 0xfffffffffffff000, 0xfffffffffffffe84, 0xfffffffffffffe80, 0xffffffffffffff03, 0xffffffffffffff00, 0xffffffffffffff82, 0xffffffffffffff81, 0x0000000000000001, 0x0000000000000000, 0x000000000000007f, 0x000000000000007f, 0x00000000000000fd, 0x00000000000000fe, 0x0000000000000fc1, 0x0000000000000fe0, 0x0000000000003d87, 0x0000000000003e03, 0x0000000000003e05, 0x0000000000003e82, 0x0000000000003e83, 0x0000000000003f01, 0x00000000003efe87, 0x00000000003f7e83, 0x00000000003eff05, 0x00000000003f7f02, 0x00000000003eff83, 0x00000000003f7f81, 0x000000193333331b, 0x000000196666664d, 0x00000029ffffffd7, 0x0000002a5555552b, 0x0000003efffffe87, 0x0000003f7ffffe83, 0x0000003effffff05, 0x0000003f7fffff02, 0x0000003effffff83, 0x0000003f7fffff81, 0xffffffc100000001, 0xffffffc080000000, 0xffffffc10000007f, 0xffffffc08000007f, 0xffffffd5ffffffad, 0xffffffd5aaaaaa56, 0xffffffe6cccccc69, 0xffffffe699999934, 0xffffffffffc10001, 0xffffffffffc08000, 0xffffffffffc1007f, 0xffffffffffc0807f, 0xffffffffffc100fd, 0xffffffffffc080fe, 0xffffffffffc1017b, 0xffffffffffc0817d, 0xffffffffffffc101, 0xffffffffffffc080, 0xffffffffffffc17f, 0xffffffffffffc0ff, 0xffffffffffffc1fd, 0xffffffffffffc17e, 0xffffffffffffc27b, 0xffffffffffffc1fd, 0xfffffffffffff041, 0xfffffffffffff020, 0xfffffffffffffe87, 0xfffffffffffffe83, 0xffffffffffffff05, 0xffffffffffffff02, 0xffffffffffffff83, 0xffffffffffffff82, 0x0000000000000001, 0x0000000000000000, 0x000000000000007e, 0x000000000000007e, 0x00000000000000fb, 0x00000000000000fc, 0x0000000000000fa1, 0x0000000000000fc0, 0x0000000000003d0a, 0x0000000000003d86, 0x0000000000003d87, 0x0000000000003e04, 0x0000000000003e04, 0x0000000000003e82, 0x00000000003e7e8a, 0x00000000003efe86, 0x00000000003e7f07, 0x00000000003eff04, 0x00000000003e7f84, 0x00000000003eff82, 0x00000018ffffffe8, 0x000000193333331a, 0x00000029aaaaaa82, 0x00000029ffffffd6, 0x0000003e7ffffe8a, 0x0000003efffffe86, 0x0000003e7fffff07, 0x0000003effffff04, 0x0000003e7fffff84, 0x0000003effffff82, 0xffffffc180000001, 0xffffffc100000000, 0xffffffc18000007e, 0xffffffc10000007e, 0xffffffd655555503, 0xffffffd5ffffffac, 0xffffffe6ffffff9d, 0xffffffe6cccccc68, 0xffffffffffc18001, 0xffffffffffc10000, 0xffffffffffc1807e, 0xffffffffffc1007e, 0xffffffffffc180fb, 0xffffffffffc100fc, 0xffffffffffc18178, 0xffffffffffc1017a, 0xffffffffffffc181, 0xffffffffffffc100, 0xffffffffffffc1fe, 0xffffffffffffc17e, 0xffffffffffffc27b, 0xffffffffffffc1fc, 0xffffffffffffc2f8, 0xffffffffffffc27a, 0xfffffffffffff061, 0xfffffffffffff040, 0xfffffffffffffe8a, 0xfffffffffffffe86, 0xffffffffffffff07, 0xffffffffffffff04, 0xffffffffffffff84, 0xffffffffffffff83, 0x0000000000000001, 0x0000000000000000, 0x0000000000000021, 0x000000000000007d, 0x0000000000000041, 0x00000000000000fa, 0x0000000000000401, 0x0000000000000fa0, 0x0000000000000fa1, 0x0000000000003d09, 0x0000000000000fc1, 0x0000000000003d86, 0x0000000000000fe1, 0x0000000000003e03, 0x00000000000fffa1, 0x00000000003e7e89, 0x00000000000fffc1, 0x00000000003e7f06, 0x00000000000fffe1, 0x00000000003e7f83, 0x0000000666666661, 0x00000018ffffffe7, 0x0000000aaaaaaaa1, 0x00000029aaaaaa81, 0x0000000fffffffa1, 0x0000003e7ffffe89, 0x0000000fffffffc1, 0x0000003e7fffff06, 0x0000000fffffffe1, 0x0000003e7fffff83, 0xfffffff000000001, 0xffffffc180000000, 0xfffffff000000021, 0xffffffc18000007d, 0xfffffff555555541, 0xffffffd655555502, 0xfffffff999999981, 0xffffffe6ffffff9c, 0xfffffffffff00001, 0xffffffffffc18000, 0xfffffffffff00021, 0xffffffffffc1807d, 0xfffffffffff00041, 0xffffffffffc180fa, 0xfffffffffff00061, 0xffffffffffc18177, 0xfffffffffffff001, 0xffffffffffffc180, 0xfffffffffffff021, 0xffffffffffffc1fd, 0xfffffffffffff041, 0xffffffffffffc27a, 0xfffffffffffff061, 0xffffffffffffc2f7, 0xfffffffffffffc01, 0xfffffffffffff060, 0xffffffffffffffa1, 0xfffffffffffffe89, 0xffffffffffffffc1, 0xffffffffffffff06, 0xffffffffffffffe1, 0xffffffffffffffe0, 0x0000000000000001, 0x0000000000000000, 0x0000000000000004, 0x0000000000000020, 0x0000000000000007, 0x0000000000000040, 0x0000000000000061, 0x0000000000000400, 0x0000000000000178, 0x0000000000000fa0, 0x000000000000017b, 0x0000000000000fc0, 0x000000000000017e, 0x0000000000000fe0, 0x0000000000017ff8, 0x00000000000fffa0, 0x0000000000017ffb, 0x00000000000fffc0, 0x0000000000017ffe, 0x00000000000fffe0, 0x000000009999999a, 0x0000000666666660, 0x0000000100000000, 0x0000000aaaaaaaa0, 0x000000017ffffff8, 0x0000000fffffffa0, 0x000000017ffffffb, 0x0000000fffffffc0, 0x000000017ffffffe, 0x0000000fffffffe0, 0xfffffffe80000001, 0xfffffff000000000, 0xfffffffe80000004, 0xfffffff000000020, 0xfffffffeffffffff, 0xfffffff555555540, 0xffffffff66666665, 0xfffffff999999980, 0xfffffffffffe8001, 0xfffffffffff00000, 0xfffffffffffe8004, 0xfffffffffff00020, 0xfffffffffffe8007, 0xfffffffffff00040, 0xfffffffffffe800a, 0xfffffffffff00060, 0xfffffffffffffe81, 0xfffffffffffff000, 0xfffffffffffffe84, 0xfffffffffffff020, 0xfffffffffffffe87, 0xfffffffffffff040, 0xfffffffffffffe8a, 0xfffffffffffff060, 0xffffffffffffffa1, 0xfffffffffffffc00, 0xfffffffffffffff8, 0xffffffffffffffa0, 0xfffffffffffffffb, 0xffffffffffffffc0, 0xfffffffffffffffe, 0xfffffffffffffffd, 0x0000000000000001, 0x0000000000000000, 0x0000000000000003, 0x0000000000000003, 0x0000000000000005, 0x0000000000000006, 0x0000000000000041, 0x0000000000000060, 0x00000000000000fb, 0x0000000000000177, 0x00000000000000fd, 0x000000000000017a, 0x00000000000000ff, 0x000000000000017d, 0x000000000000fffb, 0x0000000000017ff7, 0x000000000000fffd, 0x0000000000017ffa, 0x000000000000ffff, 0x0000000000017ffd, 0x0000000066666667, 0x0000000099999999, 0x00000000aaaaaaab, 0x00000000ffffffff, 0x00000000fffffffb, 0x000000017ffffff7, 0x00000000fffffffd, 0x000000017ffffffa, 0x00000000ffffffff, 0x000000017ffffffd, 0xffffffff00000001, 0xfffffffe80000000, 0xffffffff00000003, 0xfffffffe80000003, 0xffffffff55555555, 0xfffffffefffffffe, 0xffffffff99999999, 0xffffffff66666664, 0xffffffffffff0001, 0xfffffffffffe8000, 0xffffffffffff0003, 0xfffffffffffe8003, 0xffffffffffff0005, 0xfffffffffffe8006, 0xffffffffffff0007, 0xfffffffffffe8009, 0xffffffffffffff01, 0xfffffffffffffe80, 0xffffffffffffff03, 0xfffffffffffffe83, 0xffffffffffffff05, 0xfffffffffffffe86, 0xffffffffffffff07, 0xfffffffffffffe89, 0xffffffffffffffc1, 0xffffffffffffffa0, 0xfffffffffffffffb, 0xfffffffffffffff7, 0xfffffffffffffffd, 0xfffffffffffffffa, 0xffffffffffffffff, 0xfffffffffffffffe, 0x0000000000000001, 0x0000000000000000, 0x0000000000000002, 0x0000000000000002, 0x0000000000000003, 0x0000000000000004, 0x0000000000000021, 0x0000000000000040, 0x000000000000007e, 0x00000000000000fa, 0x000000000000007f, 0x00000000000000fc, 0x0000000000000080, 0x00000000000000fe, 0x0000000000007ffe, 0x000000000000fffa, 0x0000000000007fff, 0x000000000000fffc, 0x0000000000008000, 0x000000000000fffe, 0x0000000033333334, 0x0000000066666666, 0x0000000055555556, 0x00000000aaaaaaaa, 0x000000007ffffffe, 0x00000000fffffffa, 0x000000007fffffff, 0x00000000fffffffc, 0x0000000080000000, 0x00000000fffffffe, 0xffffffff80000001, 0xffffffff00000000, 0xffffffff80000002, 0xffffffff00000002, 0xffffffffaaaaaaab, 0xffffffff55555554, 0xffffffffcccccccd, 0xffffffff99999998, 0xffffffffffff8001, 0xffffffffffff0000, 0xffffffffffff8002, 0xffffffffffff0002, 0xffffffffffff8003, 0xffffffffffff0004, 0xffffffffffff8004, 0xffffffffffff0006, 0xffffffffffffff81, 0xffffffffffffff00, 0xffffffffffffff82, 0xffffffffffffff02, 0xffffffffffffff83, 0xffffffffffffff04, 0xffffffffffffff84, 0xffffffffffffff06, 0xffffffffffffffe1, 0xffffffffffffffc0, 0xfffffffffffffffe, 0xfffffffffffffffa, 0xffffffffffffffff, 0xfffffffffffffffc, 0x0000000000000000, }; const unsigned kExpectedCount_NEON_smlsl2_2D = 961; #endif // VIXL_SIM_SMLSL2_2D_TRACE_AARCH64_H_