| // 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_UMLSL2_2D_TRACE_AARCH64_H_ |
| #define VIXL_SIM_UMLSL2_2D_TRACE_AARCH64_H_ |
| |
| const uint64_t kExpected_NEON_umlsl2_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, |
| 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, |
| 0xff800300017ff700, 0x0000000000000001, |
| 0xff80030000fffa00, 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, 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, |
| 0x0000000000000000, 0xffffffff00000003, |
| 0x0000000000000000, 0xffffffff00000002, |
| 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, |
| 0xffffffff00000003, 0xfffffffe00000005, |
| 0xffffffff00000002, 0xfffffffe00000003, |
| 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, |
| 0xfffffffe00000006, 0xffffffe000000041, |
| 0xfffffffe00000004, 0xffffffe000000021, |
| 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, |
| 0xffffffe000000060, 0xffffff83000000fb, |
| 0xffffffe000000040, 0xffffff830000007e, |
| 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, |
| 0xffffff8300000177, 0xffffff82000000fd, |
| 0xffffff83000000fa, 0xffffff820000007f, |
| 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, |
| 0xffffff820000017a, 0xffffff81000000ff, |
| 0xffffff82000000fc, 0xffffff8100000080, |
| 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, |
| 0xffffff810000017d, 0xffff80030000fffb, |
| 0xffffff81000000fe, 0xffff800300007ffe, |
| 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, |
| 0xffff800300017ff7, 0xffff80020000fffd, |
| 0xffff80030000fffa, 0xffff800200007fff, |
| 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, |
| 0xffff800200017ffa, 0xffff80010000ffff, |
| 0xffff80020000fffc, 0xffff800100008000, |
| 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, |
| 0xffff800100017ffd, 0xcccccccd66666667, |
| 0xffff80010000fffe, 0xcccccccd33333334, |
| 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, |
| 0xcccccccd99999999, 0xaaaaaaabaaaaaaab, |
| 0xcccccccd66666666, 0xaaaaaaab55555556, |
| 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, |
| 0xaaaaaaabffffffff, 0x80000003fffffffb, |
| 0xaaaaaaabaaaaaaaa, 0x800000037ffffffe, |
| 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, |
| 0x800000047ffffff7, 0x80000002fffffffd, |
| 0x80000003fffffffa, 0x800000027fffffff, |
| 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, |
| 0x800000037ffffffa, 0x80000001ffffffff, |
| 0x80000002fffffffc, 0x8000000180000000, |
| 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, |
| 0x800000027ffffffd, 0x8000000100000001, |
| 0x80000001fffffffe, 0x8000000080000001, |
| 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, |
| 0x8000000180000000, 0x8000000000000003, |
| 0x8000000100000000, 0x7fffffff80000002, |
| 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, |
| 0x8000000080000003, 0x5555555755555555, |
| 0x8000000000000002, 0x55555556aaaaaaab, |
| 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, |
| 0x55555557fffffffe, 0x3333333599999999, |
| 0x5555555755555554, 0x33333334cccccccd, |
| 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, |
| 0x3333333666666664, 0x00008001ffff0001, |
| 0x3333333599999998, 0x00008000ffff8001, |
| 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, |
| 0x00008002fffe8000, 0x00008000ffff0003, |
| 0x00008001ffff0000, 0x00007fffffff8002, |
| 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, |
| 0x00008001fffe8003, 0x00007fffffff0005, |
| 0x00008000ffff0002, 0x00007ffeffff8003, |
| 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, |
| 0x00008000fffe8006, 0x00007ffeffff0007, |
| 0x00007fffffff0004, 0x00007ffdffff8004, |
| 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, |
| 0x00007ffffffe8009, 0x00000081ffffff01, |
| 0x00007ffeffff0006, 0x00000080ffffff81, |
| 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, |
| 0x00000082fffffe80, 0x00000080ffffff03, |
| 0x00000081ffffff00, 0x0000007fffffff82, |
| 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, |
| 0x00000081fffffe83, 0x0000007fffffff05, |
| 0x00000080ffffff02, 0x0000007effffff83, |
| 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, |
| 0x00000080fffffe86, 0x0000007effffff07, |
| 0x0000007fffffff04, 0x0000007dffffff84, |
| 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, |
| 0x0000007ffffffe89, 0x00000021ffffffc1, |
| 0x0000007effffff06, 0x00000020ffffffe1, |
| 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, |
| 0x00000022ffffffa0, 0x00000004fffffffb, |
| 0x00000021ffffffc0, 0x00000003fffffffe, |
| 0x00000003fffffffd, 0x0000000000000001, |
| 0x0000000000000000, 0xffffffff00000003, |
| 0xffffffff00000003, 0xfffffffe00000005, |
| 0xfffffffe00000006, 0xffffffe000000041, |
| 0xffffffe000000060, 0xffffff83000000fb, |
| 0xffffff8300000177, 0xffffff82000000fd, |
| 0xffffff820000017a, 0xffffff81000000ff, |
| 0xffffff810000017d, 0xffff80030000fffb, |
| 0xffff800300017ff7, 0xffff80020000fffd, |
| 0xffff800200017ffa, 0xffff80010000ffff, |
| 0xffff800100017ffd, 0xcccccccd66666667, |
| 0xcccccccd99999999, 0xaaaaaaabaaaaaaab, |
| 0xaaaaaaabffffffff, 0x80000003fffffffb, |
| 0x800000047ffffff7, 0x80000002fffffffd, |
| 0x800000037ffffffa, 0x80000001ffffffff, |
| 0x800000027ffffffd, 0x8000000100000001, |
| 0x8000000180000000, 0x8000000000000003, |
| 0x8000000080000003, 0x5555555755555555, |
| 0x55555557fffffffe, 0x3333333599999999, |
| 0x3333333666666664, 0x00008001ffff0001, |
| 0x00008002fffe8000, 0x00008000ffff0003, |
| 0x00008001fffe8003, 0x00007fffffff0005, |
| 0x00008000fffe8006, 0x00007ffeffff0007, |
| 0x00007ffffffe8009, 0x00000081ffffff01, |
| 0x00000082fffffe80, 0x00000080ffffff03, |
| 0x00000081fffffe83, 0x0000007fffffff05, |
| 0x00000080fffffe86, 0x0000007effffff07, |
| 0x0000007ffffffe89, 0x00000021ffffffc1, |
| 0x00000022ffffffa0, 0x00000004fffffffb, |
| 0x00000005fffffff7, 0x00000003fffffffd, |
| 0x00000004fffffffa, 0x00000002ffffffff, |
| 0x00000002fffffffe, 0x0000000000000001, |
| 0x0000000000000000, 0xffffffff00000002, |
| 0xffffffff00000002, 0xfffffffe00000003, |
| 0xfffffffe00000004, 0xffffffe000000021, |
| 0xffffffe000000040, 0xffffff830000007e, |
| 0xffffff83000000fa, 0xffffff820000007f, |
| 0xffffff82000000fc, 0xffffff8100000080, |
| 0xffffff81000000fe, 0xffff800300007ffe, |
| 0xffff80030000fffa, 0xffff800200007fff, |
| 0xffff80020000fffc, 0xffff800100008000, |
| 0xffff80010000fffe, 0xcccccccd33333334, |
| 0xcccccccd66666666, 0xaaaaaaab55555556, |
| 0xaaaaaaabaaaaaaaa, 0x800000037ffffffe, |
| 0x80000003fffffffa, 0x800000027fffffff, |
| 0x80000002fffffffc, 0x8000000180000000, |
| 0x80000001fffffffe, 0x8000000080000001, |
| 0x8000000100000000, 0x7fffffff80000002, |
| 0x8000000000000002, 0x55555556aaaaaaab, |
| 0x5555555755555554, 0x33333334cccccccd, |
| 0x3333333599999998, 0x00008000ffff8001, |
| 0x00008001ffff0000, 0x00007fffffff8002, |
| 0x00008000ffff0002, 0x00007ffeffff8003, |
| 0x00007fffffff0004, 0x00007ffdffff8004, |
| 0x00007ffeffff0006, 0x00000080ffffff81, |
| 0x00000081ffffff00, 0x0000007fffffff82, |
| 0x00000080ffffff02, 0x0000007effffff83, |
| 0x0000007fffffff04, 0x0000007dffffff84, |
| 0x0000007effffff06, 0x00000020ffffffe1, |
| 0x00000021ffffffc0, 0x00000003fffffffe, |
| 0x00000004fffffffa, 0x00000002ffffffff, |
| 0x00000003fffffffc, 0x0000000200000000, |
| }; |
| const unsigned kExpectedCount_NEON_umlsl2_2D = 961; |
| |
| #endif // VIXL_SIM_UMLSL2_2D_TRACE_AARCH64_H_ |
