| // Copyright 2015, ARM Limited |
| // 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_A64_H_ |
| #define VIXL_SIM_UMULL_4S_TRACE_A64_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_A64_H_ |