// 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_UMULL_4S_TRACE_AARCH64_H_ #define VIXL_SIM_UMULL_4S_TRACE_AARCH64_H_ const uint32_t kExpected_NEON_umull_4S[] = { 0x00003e04, 0x00003f01, 0x0a3d5c29, 0x1c718e39, 0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001, 0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556, 0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x003efe86, 0x003f7f02, 0x19994ccd, 0x00000000, 0x003eff04, 0x003f7f81, 0x00000000, 0x00005555, 0x003eff82, 0x00000000, 0x00003333, 0x0000aaaa, 0x00000000, 0x0000007f, 0x00006666, 0x00055550, 0x0000007e, 0x000000fe, 0x00033330, 0x0029aa81, 0x000000fc, 0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x000007e0, 0x00003e03, 0x0019331a, 0x002a552b, 0x00003d86, 0x00003e82, 0x0019664d, 0x1110eeef, 0x00003e04, 0x00003f01, 0x0a3d5c29, 0x1c718e39, 0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001, 0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556, 0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x003efe86, 0x003f7f02, 0x19994ccd, 0x2aaa8000, 0x003eff04, 0x003f7f81, 0x19998000, 0x2aaad555, 0x003eff82, 0x003f8000, 0x1999b333, 0x38e31c72, 0x003f0000, 0x003f807f, 0x2221ddde, 0x4443bbbc, 0x003f007e, 0x0054aa56, 0x28f570a4, 0x552a5580, 0x0053ffac, 0x00659934, 0x33196680, 0x552aaad5, 0x0064cc68, 0x007ec080, 0x331999b3, 0x552b002a, 0x007dc100, 0x007ec0ff, 0x3319cce6, 0x552b557f, 0x007ec0ff, 0x3319cce6, 0x552b557f, 0x7ff50030, 0x007ec17e, 0x331a0019, 0x554faab0, 0x7ffb8009, 0x007ec1fd, 0x332fccd0, 0x55540001, 0x7ffc0006, 0x007ef810, 0x33326667, 0x55545556, 0x7ffc8003, 0x007efe83, 0x3332999a, 0x5554aaab, 0x00000000, 0x007eff02, 0x3332cccd, 0x00000000, 0x00007ffd, 0x007eff81, 0x00000000, 0x00005555, 0x0000fffa, 0x00000000, 0x00003333, 0x0000aaaa, 0x0007ffd0, 0x0000007f, 0x00006666, 0x00055550, 0x003e7e89, 0x000000fe, 0x00033330, 0x0029aa81, 0x003efe86, 0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x00003e03, 0x0019331a, 0x002a552b, 0x1998e667, 0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001, 0x00003f01, 0x0a3d5c29, 0x1c718e39, 0x3ffd0009, 0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x3ffe8000, 0x003f7f02, 0x19994ccd, 0x2aaa8000, 0x3ffefffd, 0x003f7f81, 0x19998000, 0x2aaad555, 0x55530002, 0x003f8000, 0x1999b333, 0x38e31c72, 0x6663999c, 0x003f807f, 0x2221ddde, 0x4443bbbc, 0x7fbd0180, 0x0054aa56, 0x28f570a4, 0x552a5580, 0x7fbd817d, 0x00659934, 0x33196680, 0x552aaad5, 0x7fbe017a, 0x007ec080, 0x331999b3, 0x552b002a, 0x7fbe8177, 0x331999b3, 0x552b002a, 0x7fbe8177, 0x7ff60020, 0x3319cce6, 0x552b557f, 0x7ff50030, 0x7ffc8006, 0x331a0019, 0x554faab0, 0x7ffb8009, 0x7ffd0004, 0x332fccd0, 0x55540001, 0x7ffc0006, 0x7ffd8002, 0x33326667, 0x55545556, 0x7ffc8003, 0x00000000, 0x3332999a, 0x5554aaab, 0x00000000, 0x00007ffe, 0x3332cccd, 0x00000000, 0x00007ffd, 0x0000fffc, 0x00000000, 0x00005555, 0x0000fffa, 0x0007ffe0, 0x00003333, 0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x00006666, 0x00055550, 0x003e7e89, 0x003eff04, 0x00033330, 0x0029aa81, 0x003efe86, 0x003f7f02, 0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x1999199a, 0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556, 0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x0a3d5c29, 0x1c718e39, 0x3ffd0009, 0x3ffe0004, 0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x3fff0000, 0x1999199a, 0x2aaa2aab, 0x3ffe8000, 0x3fff7ffe, 0x19994ccd, 0x2aaa8000, 0x3ffefffd, 0x5553aaac, 0x19998000, 0x2aaad555, 0x55530002, 0x66646668, 0x1999b333, 0x38e31c72, 0x6663999c, 0x7fbe0100, 0x2221ddde, 0x4443bbbc, 0x7fbd0180, 0x7fbe80fe, 0x28f570a4, 0x552a5580, 0x7fbd817d, 0x7fbf00fc, 0x33196680, 0x552aaad5, 0x7fbe017a, 0x7fbf80fa, 0x552aaad5, 0x7fbe017a, 0x7fbf80fa, 0x7ff70010, 0x552b002a, 0x7fbe8177, 0x7ff60020, 0x7ffd8003, 0x552b557f, 0x7ff50030, 0x7ffc8006, 0x7ffe0002, 0x554faab0, 0x7ffb8009, 0x7ffd0004, 0x7ffe8001, 0x55540001, 0x7ffc0006, 0x7ffd8002, 0x00000000, 0x55545556, 0x7ffc8003, 0x00000000, 0x00007fff, 0x5554aaab, 0x00000000, 0x00007ffe, 0x0000fffe, 0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0, 0x00005555, 0x0000fffa, 0x0007ffe0, 0x003e7f83, 0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x003eff82, 0x00055550, 0x003e7e89, 0x003eff04, 0x003f7f81, 0x0029aa81, 0x003efe86, 0x003f7f02, 0x19994ccd, 0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x1c718e39, 0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x3fff8000, 0x2aa9d556, 0x3ffe0003, 0x3fff0000, 0x3fffffff, 0x2aaa2aab, 0x3ffe8000, 0x3fff7ffe, 0x55545556, 0x2aaa8000, 0x3ffefffd, 0x5553aaac, 0x66653334, 0x2aaad555, 0x55530002, 0x66646668, 0x7fbf0080, 0x38e31c72, 0x6663999c, 0x7fbe0100, 0x7fbf807f, 0x4443bbbc, 0x7fbd0180, 0x7fbe80fe, 0x7fc0007e, 0x552a5580, 0x7fbd817d, 0x7fbf00fc, 0x7fc0807d, 0x7fbd817d, 0x7fbf00fc, 0x7fc0807d, 0x00000000, 0x7fbe017a, 0x7fbf80fa, 0x7ff70010, 0x00000000, 0x7fbe8177, 0x7ff60020, 0x7ffd8003, 0x00000000, 0x7ff50030, 0x7ffc8006, 0x7ffe0002, 0x00000000, 0x7ffb8009, 0x7ffd0004, 0x7ffe8001, 0x00000000, 0x7ffc0006, 0x7ffd8002, 0x00000000, 0x00000000, 0x7ffc8003, 0x00000000, 0x00007fff, 0x00000000, 0x00000000, 0x00007ffe, 0x0000fffe, 0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0, 0x00000000, 0x0000fffa, 0x0007ffe0, 0x003e7f83, 0x00000000, 0x0007ffd0, 0x003e7f06, 0x003eff82, 0x00000000, 0x003e7e89, 0x003eff04, 0x003f7f81, 0x00000000, 0x003efe86, 0x003f7f02, 0x19994ccd, 0x00000000, 0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x00000000, 0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x00000000, 0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x00000000, 0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x00000000, 0x3ffd8006, 0x3ffe8002, 0x3fff8000, 0x00000000, 0x3ffe0003, 0x3fff0000, 0x3fffffff, 0x00000000, 0x3ffe8000, 0x3fff7ffe, 0x55545556, 0x00000000, 0x3ffefffd, 0x5553aaac, 0x66653334, 0x00000000, 0x55530002, 0x66646668, 0x7fbf0080, 0x00000000, 0x6663999c, 0x7fbe0100, 0x7fbf807f, 0x00000000, 0x7fbd0180, 0x7fbe80fe, 0x7fc0007e, 0x00000000, 0x7fbe80fe, 0x7fc0007e, 0x00000000, 0x0000fff0, 0x7fbf00fc, 0x7fc0807d, 0x00000000, 0x0000fffd, 0x7fbf80fa, 0x7ff70010, 0x00000000, 0x0000fffe, 0x7ff60020, 0x7ffd8003, 0x00000000, 0x0000ffff, 0x7ffc8006, 0x7ffe0002, 0x00000000, 0x00000000, 0x7ffd0004, 0x7ffe8001, 0x00000000, 0x00000001, 0x7ffd8002, 0x00000000, 0x00000000, 0x00000002, 0x00000000, 0x00007fff, 0x00000000, 0x00000010, 0x00007ffe, 0x0000fffe, 0x00000000, 0x0000007d, 0x0000fffc, 0x0007fff0, 0x00000000, 0x0000007e, 0x0007ffe0, 0x003e7f83, 0x00000000, 0x0000007f, 0x003e7f06, 0x003eff82, 0x00000000, 0x00003333, 0x003eff04, 0x003f7f81, 0x00000000, 0x00005555, 0x003f7f02, 0x19994ccd, 0x00000000, 0x00007ffd, 0x1999199a, 0x2aaa2aab, 0x00000000, 0x00007ffe, 0x2aa9d556, 0x3ffe0003, 0x00000000, 0x00007fff, 0x3ffd8006, 0x3ffe8002, 0x00000000, 0x00008000, 0x3ffe0004, 0x3fff0001, 0x00000000, 0x00008001, 0x3ffe8002, 0x3fff8000, 0x00000000, 0x0000aaaa, 0x3fff0000, 0x3fffffff, 0x00000000, 0x0000cccc, 0x3fff7ffe, 0x55545556, 0x00000000, 0x0000ff80, 0x5553aaac, 0x66653334, 0x00000000, 0x0000ff81, 0x66646668, 0x7fbf0080, 0x00000000, 0x0000ff82, 0x7fbe0100, 0x7fbf807f, 0x00000000, 0x0000ff83, 0x7fbf807f, 0x00000000, 0x0000ff83, 0x0001ffe0, 0x7fc0007e, 0x00000000, 0x0000fff0, 0x0001fffa, 0x7fc0807d, 0x00000000, 0x0000fffd, 0x0001fffc, 0x7ff70010, 0x00000000, 0x0000fffe, 0x0001fffe, 0x7ffd8003, 0x00000000, 0x0000ffff, 0x00000000, 0x7ffe0002, 0x00000000, 0x00000000, 0x00000002, 0x7ffe8001, 0x00000000, 0x00000001, 0x00000004, 0x00000000, 0x00000000, 0x00000002, 0x00000020, 0x00007fff, 0x00000000, 0x00000010, 0x000000fa, 0x0000fffe, 0x00000000, 0x0000007d, 0x000000fc, 0x0007fff0, 0x00000000, 0x0000007e, 0x000000fe, 0x003e7f83, 0x00000000, 0x0000007f, 0x00006666, 0x003eff82, 0x00000000, 0x00003333, 0x0000aaaa, 0x003f7f81, 0x00000000, 0x00005555, 0x0000fffa, 0x19994ccd, 0x00000000, 0x00007ffd, 0x0000fffc, 0x2aaa2aab, 0x00000000, 0x00007ffe, 0x0000fffe, 0x3ffe0003, 0x00000000, 0x00007fff, 0x00010000, 0x3ffe8002, 0x00000000, 0x00008000, 0x00010002, 0x3fff0001, 0x00000000, 0x00008001, 0x00015554, 0x3fff8000, 0x00000000, 0x0000aaaa, 0x00019998, 0x3fffffff, 0x00000000, 0x0000cccc, 0x0001ff00, 0x55545556, 0x00000000, 0x0000ff80, 0x0001ff02, 0x66653334, 0x00000000, 0x0000ff81, 0x0001ff04, 0x7fbf0080, 0x00000000, 0x0000ff82, 0x0001ff06, 0x00000000, 0x0000ff82, 0x0001ff06, 0x000fff00, 0x00000000, 0x0000ff83, 0x0001ffe0, 0x000fffd0, 0x00000000, 0x0000fff0, 0x0001fffa, 0x000fffe0, 0x00000000, 0x0000fffd, 0x0001fffc, 0x000ffff0, 0x00000000, 0x0000fffe, 0x0001fffe, 0x00000000, 0x00000000, 0x0000ffff, 0x00000000, 0x00000010, 0x00000000, 0x00000000, 0x00000002, 0x00000020, 0x00000000, 0x00000001, 0x00000004, 0x00000100, 0x00000000, 0x00000002, 0x00000020, 0x000007d0, 0x00000000, 0x00000010, 0x000000fa, 0x000007e0, 0x00000000, 0x0000007d, 0x000000fc, 0x000007f0, 0x00000000, 0x0000007e, 0x000000fe, 0x00033330, 0x00000000, 0x0000007f, 0x00006666, 0x00055550, 0x00000000, 0x00003333, 0x0000aaaa, 0x0007ffd0, 0x00000000, 0x00005555, 0x0000fffa, 0x0007ffe0, 0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0, 0x00000000, 0x00007ffe, 0x0000fffe, 0x00080000, 0x00000000, 0x00007fff, 0x00010000, 0x00080010, 0x00000000, 0x00008000, 0x00010002, 0x000aaaa0, 0x00000000, 0x00008001, 0x00015554, 0x000cccc0, 0x00000000, 0x0000aaaa, 0x00019998, 0x000ff800, 0x00000000, 0x0000cccc, 0x0001ff00, 0x000ff810, 0x00000000, 0x0000ff80, 0x0001ff02, 0x000ff820, 0x00000000, 0x0000ff81, 0x0001ff04, 0x000ff830, 0x0000ff81, 0x0001ff04, 0x000ff830, 0x007cf830, 0x0000ff82, 0x0001ff06, 0x000fff00, 0x007cfe89, 0x0000ff83, 0x0001ffe0, 0x000fffd0, 0x007cff06, 0x0000fff0, 0x0001fffa, 0x000fffe0, 0x007cff83, 0x0000fffd, 0x0001fffc, 0x000ffff0, 0x00000000, 0x0000fffe, 0x0001fffe, 0x00000000, 0x0000007d, 0x0000ffff, 0x00000000, 0x00000010, 0x000000fa, 0x00000000, 0x00000002, 0x00000020, 0x000007d0, 0x00000001, 0x00000004, 0x00000100, 0x00003d09, 0x00000002, 0x00000020, 0x000007d0, 0x00003d86, 0x00000010, 0x000000fa, 0x000007e0, 0x00003e03, 0x0000007d, 0x000000fc, 0x000007f0, 0x0018ffe7, 0x0000007e, 0x000000fe, 0x00033330, 0x0029aa81, 0x0000007f, 0x00006666, 0x00055550, 0x003e7e89, 0x00003333, 0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x00005555, 0x0000fffa, 0x0007ffe0, 0x003e7f83, 0x00007ffd, 0x0000fffc, 0x0007fff0, 0x003e8000, 0x00007ffe, 0x0000fffe, 0x00080000, 0x003e807d, 0x00007fff, 0x00010000, 0x00080010, 0x00535502, 0x00008000, 0x00010002, 0x000aaaa0, 0x0063ff9c, 0x00008001, 0x00015554, 0x000cccc0, 0x007cc180, 0x0000aaaa, 0x00019998, 0x000ff800, 0x007cc1fd, 0x0000cccc, 0x0001ff00, 0x000ff810, 0x007cc27a, 0x0000ff80, 0x0001ff02, 0x000ff820, 0x007cc2f7, 0x0001ff02, 0x000ff820, 0x007cc2f7, 0x007df820, 0x0001ff04, 0x000ff830, 0x007cf830, 0x007dfe86, 0x0001ff06, 0x000fff00, 0x007cfe89, 0x007dff04, 0x0001ffe0, 0x000fffd0, 0x007cff06, 0x007dff82, 0x0001fffa, 0x000fffe0, 0x007cff83, 0x00000000, 0x0001fffc, 0x000ffff0, 0x00000000, 0x0000007e, 0x0001fffe, 0x00000000, 0x0000007d, 0x000000fc, 0x00000000, 0x00000010, 0x000000fa, 0x000007e0, 0x00000002, 0x00000020, 0x000007d0, 0x00003d86, 0x00000004, 0x00000100, 0x00003d09, 0x00003e04, 0x00000020, 0x000007d0, 0x00003d86, 0x00003e82, 0x000000fa, 0x000007e0, 0x00003e03, 0x0019331a, 0x000000fc, 0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x000000fe, 0x00033330, 0x0029aa81, 0x003efe86, 0x00006666, 0x00055550, 0x003e7e89, 0x003eff04, 0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x003eff82, 0x0000fffa, 0x0007ffe0, 0x003e7f83, 0x003f0000, 0x0000fffc, 0x0007fff0, 0x003e8000, 0x003f007e, 0x0000fffe, 0x00080000, 0x003e807d, 0x0053ffac, 0x00010000, 0x00080010, 0x00535502, 0x0064cc68, 0x00010002, 0x000aaaa0, 0x0063ff9c, 0x007dc100, 0x00015554, 0x000cccc0, 0x007cc180, 0x007dc17e, 0x00019998, 0x000ff800, 0x007cc1fd, 0x007dc1fc, 0x0001ff00, 0x000ff810, 0x007cc27a, 0x007dc27a, 0x000ff810, 0x007cc27a, 0x007dc27a, 0x007ef810, 0x000ff820, 0x007cc2f7, 0x007df820, 0x007efe83, 0x000ff830, 0x007cf830, 0x007dfe86, 0x007eff02, 0x000fff00, 0x007cfe89, 0x007dff04, 0x007eff81, 0x000fffd0, 0x007cff06, 0x007dff82, 0x00000000, 0x000fffe0, 0x007cff83, 0x00000000, 0x0000007f, 0x000ffff0, 0x00000000, 0x0000007e, 0x000000fe, 0x00000000, 0x0000007d, 0x000000fc, 0x000007f0, 0x00000010, 0x000000fa, 0x000007e0, 0x00003e03, 0x00000020, 0x000007d0, 0x00003d86, 0x00003e82, 0x00000100, 0x00003d09, 0x00003e04, 0x00003f01, 0x000007d0, 0x00003d86, 0x00003e82, 0x0019664d, 0x000007e0, 0x00003e03, 0x0019331a, 0x002a552b, 0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x00033330, 0x0029aa81, 0x003efe86, 0x003f7f02, 0x00055550, 0x003e7e89, 0x003eff04, 0x003f7f81, 0x0007ffd0, 0x003e7f06, 0x003eff82, 0x003f8000, 0x0007ffe0, 0x003e7f83, 0x003f0000, 0x003f807f, 0x0007fff0, 0x003e8000, 0x003f007e, 0x0054aa56, 0x00080000, 0x003e807d, 0x0053ffac, 0x00659934, 0x00080010, 0x00535502, 0x0064cc68, 0x007ec080, 0x000aaaa0, 0x0063ff9c, 0x007dc100, 0x007ec0ff, 0x000cccc0, 0x007cc180, 0x007dc17e, 0x007ec17e, 0x000ff800, 0x007cc1fd, 0x007dc1fc, 0x007ec1fd, 0x007cc1fd, 0x007dc1fc, 0x007ec1fd, 0x332fccd0, 0x007cc27a, 0x007dc27a, 0x007ef810, 0x33326667, 0x007cc2f7, 0x007df820, 0x007efe83, 0x3332999a, 0x007cf830, 0x007dfe86, 0x007eff02, 0x3332cccd, 0x007cfe89, 0x007dff04, 0x007eff81, 0x00000000, 0x007cff06, 0x007dff82, 0x00000000, 0x00003333, 0x007cff83, 0x00000000, 0x0000007f, 0x00006666, 0x00000000, 0x0000007e, 0x000000fe, 0x00033330, 0x0000007d, 0x000000fc, 0x000007f0, 0x0018ffe7, 0x000000fa, 0x000007e0, 0x00003e03, 0x0019331a, 0x000007d0, 0x00003d86, 0x00003e82, 0x0019664d, 0x00003d09, 0x00003e04, 0x00003f01, 0x0a3d5c29, 0x00003d86, 0x00003e82, 0x0019664d, 0x1110eeef, 0x00003e03, 0x0019331a, 0x002a552b, 0x1998e667, 0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x1999199a, 0x0029aa81, 0x003efe86, 0x003f7f02, 0x19994ccd, 0x003e7e89, 0x003eff04, 0x003f7f81, 0x19998000, 0x003e7f06, 0x003eff82, 0x003f8000, 0x1999b333, 0x003e7f83, 0x003f0000, 0x003f807f, 0x2221ddde, 0x003e8000, 0x003f007e, 0x0054aa56, 0x28f570a4, 0x003e807d, 0x0053ffac, 0x00659934, 0x33196680, 0x00535502, 0x0064cc68, 0x007ec080, 0x331999b3, 0x0063ff9c, 0x007dc100, 0x007ec0ff, 0x3319cce6, 0x007cc180, 0x007dc17e, 0x007ec17e, 0x331a0019, 0x007dc17e, 0x007ec17e, 0x331a0019, 0x554faab0, 0x007dc1fc, 0x007ec1fd, 0x332fccd0, 0x55540001, 0x007dc27a, 0x007ef810, 0x33326667, 0x55545556, 0x007df820, 0x007efe83, 0x3332999a, 0x5554aaab, 0x007dfe86, 0x007eff02, 0x3332cccd, 0x00000000, 0x007dff04, 0x007eff81, 0x00000000, 0x00005555, 0x007dff82, 0x00000000, 0x00003333, 0x0000aaaa, 0x00000000, 0x0000007f, 0x00006666, 0x00055550, 0x0000007e, 0x000000fe, 0x00033330, 0x0029aa81, 0x000000fc, 0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x000007e0, 0x00003e03, 0x0019331a, 0x002a552b, 0x00003d86, 0x00003e82, 0x0019664d, 0x1110eeef, 0x00003e04, 0x00003f01, 0x0a3d5c29, 0x1c718e39, 0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001, 0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556, 0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x003efe86, 0x003f7f02, 0x19994ccd, 0x2aaa8000, 0x003eff04, 0x003f7f81, 0x19998000, 0x2aaad555, 0x003eff82, 0x003f8000, 0x1999b333, 0x38e31c72, 0x003f0000, 0x003f807f, 0x2221ddde, 0x4443bbbc, 0x003f007e, 0x0054aa56, 0x28f570a4, 0x552a5580, 0x0053ffac, 0x00659934, 0x33196680, 0x552aaad5, 0x0064cc68, 0x007ec080, 0x331999b3, 0x552b002a, 0x007dc100, 0x007ec0ff, 0x3319cce6, 0x552b557f, 0x007ec0ff, 0x3319cce6, 0x552b557f, 0x7ff50030, 0x007ec17e, 0x331a0019, 0x554faab0, 0x7ffb8009, 0x007ec1fd, 0x332fccd0, 0x55540001, 0x7ffc0006, 0x007ef810, 0x33326667, 0x55545556, 0x7ffc8003, 0x007efe83, 0x3332999a, 0x5554aaab, 0x00000000, 0x007eff02, 0x3332cccd, 0x00000000, 0x00007ffd, 0x007eff81, 0x00000000, 0x00005555, 0x0000fffa, 0x00000000, 0x00003333, 0x0000aaaa, 0x0007ffd0, 0x0000007f, 0x00006666, 0x00055550, 0x003e7e89, 0x000000fe, 0x00033330, 0x0029aa81, 0x003efe86, 0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x00003e03, 0x0019331a, 0x002a552b, 0x1998e667, 0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001, 0x00003f01, 0x0a3d5c29, 0x1c718e39, 0x3ffd0009, 0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x3ffe8000, 0x003f7f02, 0x19994ccd, 0x2aaa8000, 0x3ffefffd, 0x003f7f81, 0x19998000, 0x2aaad555, 0x55530002, 0x003f8000, 0x1999b333, 0x38e31c72, 0x6663999c, 0x003f807f, 0x2221ddde, 0x4443bbbc, 0x7fbd0180, 0x0054aa56, 0x28f570a4, 0x552a5580, 0x7fbd817d, 0x00659934, 0x33196680, 0x552aaad5, 0x7fbe017a, 0x007ec080, 0x331999b3, 0x552b002a, 0x7fbe8177, 0x331999b3, 0x552b002a, 0x7fbe8177, 0x7ff60020, 0x3319cce6, 0x552b557f, 0x7ff50030, 0x7ffc8006, 0x331a0019, 0x554faab0, 0x7ffb8009, 0x7ffd0004, 0x332fccd0, 0x55540001, 0x7ffc0006, 0x7ffd8002, 0x33326667, 0x55545556, 0x7ffc8003, 0x00000000, 0x3332999a, 0x5554aaab, 0x00000000, 0x00007ffe, 0x3332cccd, 0x00000000, 0x00007ffd, 0x0000fffc, 0x00000000, 0x00005555, 0x0000fffa, 0x0007ffe0, 0x00003333, 0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x00006666, 0x00055550, 0x003e7e89, 0x003eff04, 0x00033330, 0x0029aa81, 0x003efe86, 0x003f7f02, 0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x1999199a, 0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556, 0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x0a3d5c29, 0x1c718e39, 0x3ffd0009, 0x3ffe0004, 0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x3fff0000, 0x1999199a, 0x2aaa2aab, 0x3ffe8000, 0x3fff7ffe, 0x19994ccd, 0x2aaa8000, 0x3ffefffd, 0x5553aaac, 0x19998000, 0x2aaad555, 0x55530002, 0x66646668, 0x1999b333, 0x38e31c72, 0x6663999c, 0x7fbe0100, 0x2221ddde, 0x4443bbbc, 0x7fbd0180, 0x7fbe80fe, 0x28f570a4, 0x552a5580, 0x7fbd817d, 0x7fbf00fc, 0x33196680, 0x552aaad5, 0x7fbe017a, 0x7fbf80fa, 0x552aaad5, 0x7fbe017a, 0x7fbf80fa, 0x7ff70010, 0x552b002a, 0x7fbe8177, 0x7ff60020, 0x7ffd8003, 0x552b557f, 0x7ff50030, 0x7ffc8006, 0x7ffe0002, 0x554faab0, 0x7ffb8009, 0x7ffd0004, 0x7ffe8001, 0x55540001, 0x7ffc0006, 0x7ffd8002, 0x00000000, 0x55545556, 0x7ffc8003, 0x00000000, 0x00007fff, 0x5554aaab, 0x00000000, 0x00007ffe, 0x0000fffe, 0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0, 0x00005555, 0x0000fffa, 0x0007ffe0, 0x003e7f83, 0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x003eff82, 0x00055550, 0x003e7e89, 0x003eff04, 0x003f7f81, 0x0029aa81, 0x003efe86, 0x003f7f02, 0x19994ccd, 0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x1c718e39, 0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x3fff8000, 0x2aa9d556, 0x3ffe0003, 0x3fff0000, 0x3fffffff, 0x2aaa2aab, 0x3ffe8000, 0x3fff7ffe, 0x55545556, 0x2aaa8000, 0x3ffefffd, 0x5553aaac, 0x66653334, 0x2aaad555, 0x55530002, 0x66646668, 0x7fbf0080, 0x38e31c72, 0x6663999c, 0x7fbe0100, 0x7fbf807f, 0x4443bbbc, 0x7fbd0180, 0x7fbe80fe, 0x7fc0007e, 0x552a5580, 0x7fbd817d, 0x7fbf00fc, 0x7fc0807d, 0x7fbd817d, 0x7fbf00fc, 0x7fc0807d, 0x7ff80000, 0x7fbe017a, 0x7fbf80fa, 0x7ff70010, 0x7ffe8000, 0x7fbe8177, 0x7ff60020, 0x7ffd8003, 0x7fff0000, 0x7ff50030, 0x7ffc8006, 0x7ffe0002, 0x7fff8000, 0x7ffb8009, 0x7ffd0004, 0x7ffe8001, 0x00000000, 0x7ffc0006, 0x7ffd8002, 0x00000000, 0x00008000, 0x7ffc8003, 0x00000000, 0x00007fff, 0x00010000, 0x00000000, 0x00007ffe, 0x0000fffe, 0x00080000, 0x00007ffd, 0x0000fffc, 0x0007fff0, 0x003e8000, 0x0000fffa, 0x0007ffe0, 0x003e7f83, 0x003f0000, 0x0007ffd0, 0x003e7f06, 0x003eff82, 0x003f8000, 0x003e7e89, 0x003eff04, 0x003f7f81, 0x19998000, 0x003efe86, 0x003f7f02, 0x19994ccd, 0x2aaa8000, 0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x3ffe8000, 0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x3fff0000, 0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x3fff8000, 0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x40000000, 0x3ffd8006, 0x3ffe8002, 0x3fff8000, 0x40008000, 0x3ffe0003, 0x3fff0000, 0x3fffffff, 0x55550000, 0x3ffe8000, 0x3fff7ffe, 0x55545556, 0x66660000, 0x3ffefffd, 0x5553aaac, 0x66653334, 0x7fc00000, 0x55530002, 0x66646668, 0x7fbf0080, 0x7fc08000, 0x6663999c, 0x7fbe0100, 0x7fbf807f, 0x7fc10000, 0x7fbd0180, 0x7fbe80fe, 0x7fc0007e, 0x7fc18000, 0x7fbe80fe, 0x7fc0007e, 0x7fc18000, 0x7ff8fff0, 0x7fbf00fc, 0x7fc0807d, 0x7ff80000, 0x7fff7ffd, 0x7fbf80fa, 0x7ff70010, 0x7ffe8000, 0x7ffffffe, 0x7ff60020, 0x7ffd8003, 0x7fff0000, 0x80007fff, 0x7ffc8006, 0x7ffe0002, 0x7fff8000, 0x00000000, 0x7ffd0004, 0x7ffe8001, 0x00000000, 0x00008001, 0x7ffd8002, 0x00000000, 0x00008000, 0x00010002, 0x00000000, 0x00007fff, 0x00010000, 0x00080010, 0x00007ffe, 0x0000fffe, 0x00080000, 0x003e807d, 0x0000fffc, 0x0007fff0, 0x003e8000, 0x003f007e, 0x0007ffe0, 0x003e7f83, 0x003f0000, 0x003f807f, 0x003e7f06, 0x003eff82, 0x003f8000, 0x1999b333, 0x003eff04, 0x003f7f81, 0x19998000, 0x2aaad555, 0x003f7f02, 0x19994ccd, 0x2aaa8000, 0x3ffefffd, 0x1999199a, 0x2aaa2aab, 0x3ffe8000, 0x3fff7ffe, 0x2aa9d556, 0x3ffe0003, 0x3fff0000, 0x3fffffff, 0x3ffd8006, 0x3ffe8002, 0x3fff8000, 0x40008000, 0x3ffe0004, 0x3fff0001, 0x40000000, 0x40010001, 0x3ffe8002, 0x3fff8000, 0x40008000, 0x5555aaaa, 0x3fff0000, 0x3fffffff, 0x55550000, 0x6666cccc, 0x3fff7ffe, 0x55545556, 0x66660000, 0x7fc0ff80, 0x5553aaac, 0x66653334, 0x7fc00000, 0x7fc17f81, 0x66646668, 0x7fbf0080, 0x7fc08000, 0x7fc1ff82, 0x7fbe0100, 0x7fbf807f, 0x7fc10000, 0x7fc27f83, 0x7fbf807f, 0x7fc10000, 0x7fc27f83, 0xaa9f5560, 0x7fc0007e, 0x7fc18000, 0x7ff8fff0, 0xaaa80002, 0x7fc0807d, 0x7ff80000, 0x7fff7ffd, 0xaaa8aaac, 0x7ff70010, 0x7ffe8000, 0x7ffffffe, 0xaaa95556, 0x7ffd8003, 0x7fff0000, 0x80007fff, 0x00000000, 0x7ffe0002, 0x7fff8000, 0x00000000, 0x0000aaaa, 0x7ffe8001, 0x00000000, 0x00008001, 0x00015554, 0x00000000, 0x00008000, 0x00010002, 0x000aaaa0, 0x00007fff, 0x00010000, 0x00080010, 0x00535502, 0x0000fffe, 0x00080000, 0x003e807d, 0x0053ffac, 0x0007fff0, 0x003e8000, 0x003f007e, 0x0054aa56, 0x003e7f83, 0x003f0000, 0x003f807f, 0x2221ddde, 0x003eff82, 0x003f8000, 0x1999b333, 0x38e31c72, 0x003f7f81, 0x19998000, 0x2aaad555, 0x55530002, 0x19994ccd, 0x2aaa8000, 0x3ffefffd, 0x5553aaac, 0x2aaa2aab, 0x3ffe8000, 0x3fff7ffe, 0x55545556, 0x3ffe0003, 0x3fff0000, 0x3fffffff, 0x55550000, 0x3ffe8002, 0x3fff8000, 0x40008000, 0x5555aaaa, 0x3fff0001, 0x40000000, 0x40010001, 0x71c638e4, 0x3fff8000, 0x40008000, 0x5555aaaa, 0x88877778, 0x3fffffff, 0x55550000, 0x6666cccc, 0xaa54ab00, 0x55545556, 0x66660000, 0x7fc0ff80, 0xaa5555aa, 0x66653334, 0x7fc00000, 0x7fc17f81, 0xaa560054, 0x7fbf0080, 0x7fc08000, 0x7fc1ff82, 0xaa56aafe, 0x7fc08000, 0x7fc1ff82, 0xaa56aafe, 0xccbf3340, 0x7fc10000, 0x7fc27f83, 0xaa9f5560, 0xccc9999c, 0x7fc18000, 0x7ff8fff0, 0xaaa80002, 0xccca6668, 0x7ff80000, 0x7fff7ffd, 0xaaa8aaac, 0xcccb3334, 0x7ffe8000, 0x7ffffffe, 0xaaa95556, 0x00000000, 0x7fff0000, 0x80007fff, 0x00000000, 0x0000cccc, 0x7fff8000, 0x00000000, 0x0000aaaa, 0x00019998, 0x00000000, 0x00008001, 0x00015554, 0x000cccc0, 0x00008000, 0x00010002, 0x000aaaa0, 0x0063ff9c, 0x00010000, 0x00080010, 0x00535502, 0x0064cc68, 0x00080000, 0x003e807d, 0x0053ffac, 0x00659934, 0x003e8000, 0x003f007e, 0x0054aa56, 0x28f570a4, 0x003f0000, 0x003f807f, 0x2221ddde, 0x4443bbbc, 0x003f8000, 0x1999b333, 0x38e31c72, 0x6663999c, 0x19998000, 0x2aaad555, 0x55530002, 0x66646668, 0x2aaa8000, 0x3ffefffd, 0x5553aaac, 0x66653334, 0x3ffe8000, 0x3fff7ffe, 0x55545556, 0x66660000, 0x3fff0000, 0x3fffffff, 0x55550000, 0x6666cccc, 0x3fff8000, 0x40008000, 0x5555aaaa, 0x88877778, 0x40000000, 0x40010001, 0x71c638e4, 0xa3d5c290, 0x40008000, 0x5555aaaa, 0x88877778, 0xcc659a00, 0x55550000, 0x6666cccc, 0xaa54ab00, 0xcc6666cc, 0x66660000, 0x7fc0ff80, 0xaa5555aa, 0xcc673398, 0x7fc00000, 0x7fc17f81, 0xaa560054, 0xcc680064, 0x7fc17f81, 0xaa560054, 0xcc680064, 0xff700800, 0x7fc1ff82, 0xaa56aafe, 0xccbf3340, 0xff7d0180, 0x7fc27f83, 0xaa9f5560, 0xccc9999c, 0xff7e0100, 0x7ff8fff0, 0xaaa80002, 0xccca6668, 0xff7f0080, 0x7fff7ffd, 0xaaa8aaac, 0xcccb3334, 0x00000000, 0x7ffffffe, 0xaaa95556, 0x00000000, 0x0000ff80, 0x80007fff, 0x00000000, 0x0000cccc, 0x0001ff00, 0x00000000, 0x0000aaaa, 0x00019998, 0x000ff800, 0x00008001, 0x00015554, 0x000cccc0, 0x007cc180, 0x00010002, 0x000aaaa0, 0x0063ff9c, 0x007dc100, 0x00080010, 0x00535502, 0x0064cc68, 0x007ec080, 0x003e807d, 0x0053ffac, 0x00659934, 0x33196680, 0x003f007e, 0x0054aa56, 0x28f570a4, 0x552a5580, 0x003f807f, 0x2221ddde, 0x4443bbbc, 0x7fbd0180, 0x1999b333, 0x38e31c72, 0x6663999c, 0x7fbe0100, 0x2aaad555, 0x55530002, 0x66646668, 0x7fbf0080, 0x3ffefffd, 0x5553aaac, 0x66653334, 0x7fc00000, 0x3fff7ffe, 0x55545556, 0x66660000, 0x7fc0ff80, 0x3fffffff, 0x55550000, 0x6666cccc, 0xaa54ab00, 0x40008000, 0x5555aaaa, 0x88877778, 0xcc659a00, 0x40010001, 0x71c638e4, 0xa3d5c290, 0xff004000, 0x5555aaaa, 0x88877778, 0xcc659a00, 0xff013f80, 0x6666cccc, 0xaa54ab00, 0xcc6666cc, 0xff023f00, 0x7fc0ff80, 0xaa5555aa, 0xcc673398, 0xff033e80, 0xaa5555aa, 0xcc673398, 0xff033e80, 0xff7107f0, 0xaa560054, 0xcc680064, 0xff700800, 0xff7e017d, 0xaa56aafe, 0xccbf3340, 0xff7d0180, 0xff7f00fe, 0xaa9f5560, 0xccc9999c, 0xff7e0100, 0xff80007f, 0xaaa80002, 0xccca6668, 0xff7f0080, 0x00000000, 0xaaa8aaac, 0xcccb3334, 0x00000000, 0x0000ff81, 0xaaa95556, 0x00000000, 0x0000ff80, 0x0001ff02, 0x00000000, 0x0000cccc, 0x0001ff00, 0x000ff810, 0x0000aaaa, 0x00019998, 0x000ff800, 0x007cc1fd, 0x00015554, 0x000cccc0, 0x007cc180, 0x007dc17e, 0x000aaaa0, 0x0063ff9c, 0x007dc100, 0x007ec0ff, 0x00535502, 0x0064cc68, 0x007ec080, 0x331999b3, 0x0053ffac, 0x00659934, 0x33196680, 0x552aaad5, 0x0054aa56, 0x28f570a4, 0x552a5580, 0x7fbd817d, 0x2221ddde, 0x4443bbbc, 0x7fbd0180, 0x7fbe80fe, 0x38e31c72, 0x6663999c, 0x7fbe0100, 0x7fbf807f, 0x55530002, 0x66646668, 0x7fbf0080, 0x7fc08000, 0x5553aaac, 0x66653334, 0x7fc00000, 0x7fc17f81, 0x55545556, 0x66660000, 0x7fc0ff80, 0xaa5555aa, 0x55550000, 0x6666cccc, 0xaa54ab00, 0xcc6666cc, 0x5555aaaa, 0x88877778, 0xcc659a00, 0xff013f80, 0x71c638e4, 0xa3d5c290, 0xff004000, 0xff023f01, 0x88877778, 0xcc659a00, 0xff013f80, 0xff033e82, 0xaa54ab00, 0xcc6666cc, 0xff023f00, 0xff043e03, 0xcc6666cc, 0xff023f00, 0xff043e03, 0xff7207e0, 0xcc673398, 0xff033e80, 0xff7107f0, 0xff7f017a, 0xcc680064, 0xff700800, 0xff7e017d, 0xff8000fc, 0xccbf3340, 0xff7d0180, 0xff7f00fe, 0xff81007e, 0xccc9999c, 0xff7e0100, 0xff80007f, 0x00000000, 0xccca6668, 0xff7f0080, 0x00000000, 0x0000ff82, 0xcccb3334, 0x00000000, 0x0000ff81, 0x0001ff04, 0x00000000, 0x0000ff80, 0x0001ff02, 0x000ff820, 0x0000cccc, 0x0001ff00, 0x000ff810, 0x007cc27a, 0x00019998, 0x000ff800, 0x007cc1fd, 0x007dc1fc, 0x000cccc0, 0x007cc180, 0x007dc17e, 0x007ec17e, 0x0063ff9c, 0x007dc100, 0x007ec0ff, 0x3319cce6, 0x0064cc68, 0x007ec080, 0x331999b3, 0x552b002a, 0x00659934, 0x33196680, 0x552aaad5, 0x7fbe017a, 0x28f570a4, 0x552a5580, 0x7fbd817d, 0x7fbf00fc, 0x4443bbbc, 0x7fbd0180, 0x7fbe80fe, 0x7fc0007e, 0x6663999c, 0x7fbe0100, 0x7fbf807f, 0x7fc10000, 0x66646668, 0x7fbf0080, 0x7fc08000, 0x7fc1ff82, 0x66653334, 0x7fc00000, 0x7fc17f81, 0xaa560054, 0x66660000, 0x7fc0ff80, 0xaa5555aa, 0xcc673398, 0x6666cccc, 0xaa54ab00, 0xcc6666cc, 0xff023f00, 0x88877778, 0xcc659a00, 0xff013f80, 0xff033e82, 0xa3d5c290, 0xff004000, 0xff023f01, 0xff043e04, 0xcc659a00, 0xff013f80, 0xff033e82, 0xff053d86, 0xff013f80, 0xff033e82, 0xff053d86, 0xff7307d0, 0xff023f00, 0xff043e03, 0xff7207e0, 0xff800177, 0xff033e80, 0xff7107f0, 0xff7f017a, 0xff8100fa, 0xff700800, 0xff7e017d, 0xff8000fc, 0xff82007d, 0xff7d0180, 0xff7f00fe, 0xff81007e, 0x00000000, 0xff7e0100, 0xff80007f, 0x00000000, 0x0000ff83, 0xff7f0080, 0x00000000, 0x0000ff82, 0x0001ff06, 0x00000000, 0x0000ff81, 0x0001ff04, 0x000ff830, 0x0000ff80, 0x0001ff02, 0x000ff820, 0x007cc2f7, 0x0001ff00, 0x000ff810, 0x007cc27a, 0x007dc27a, 0x000ff800, 0x007cc1fd, 0x007dc1fc, 0x007ec1fd, 0x007cc180, 0x007dc17e, 0x007ec17e, 0x331a0019, 0x007dc100, 0x007ec0ff, 0x3319cce6, 0x552b557f, 0x007ec080, 0x331999b3, 0x552b002a, 0x7fbe8177, 0x33196680, 0x552aaad5, 0x7fbe017a, 0x7fbf80fa, 0x552a5580, 0x7fbd817d, 0x7fbf00fc, 0x7fc0807d, 0x7fbd0180, 0x7fbe80fe, 0x7fc0007e, 0x7fc18000, 0x7fbe0100, 0x7fbf807f, 0x7fc10000, 0x7fc27f83, 0x7fbf0080, 0x7fc08000, 0x7fc1ff82, 0xaa56aafe, 0x7fc00000, 0x7fc17f81, 0xaa560054, 0xcc680064, 0x7fc0ff80, 0xaa5555aa, 0xcc673398, 0xff033e80, 0xaa54ab00, 0xcc6666cc, 0xff023f00, 0xff043e03, 0xcc659a00, 0xff013f80, 0xff033e82, 0xff053d86, 0xff004000, 0xff023f01, 0xff043e04, 0xff063d09, }; const unsigned kExpectedCount_NEON_umull_4S = 576; #endif // VIXL_SIM_UMULL_4S_TRACE_AARCH64_H_