| // 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_URSRA_4S_2OPIMM_TRACE_AARCH64_H_ |
| #define VIXL_SIM_URSRA_4S_2OPIMM_TRACE_AARCH64_H_ |
| |
| const uint32_t kExpected_NEON_ursra_4S_2OPIMM[] = { |
| 0x7fffffff, 0x7fffffff, 0x80000000, 0x00000000, |
| 0xbffffffe, 0xbfffffff, 0xc0000000, 0x00000000, |
| 0xdffffffe, 0xdfffffff, 0xe0000000, 0x00000000, |
| 0xeffffffe, 0xefffffff, 0xf0000000, 0x00000000, |
| 0xf7fffffe, 0xf7ffffff, 0xf8000000, 0x00000000, |
| 0xfbfffffe, 0xfbffffff, 0xfc000000, 0x00000000, |
| 0xfdfffffe, 0xfdffffff, 0xfe000000, 0x00000000, |
| 0xfefffffe, 0xfeffffff, 0xff000000, 0x00000000, |
| 0xff7ffffe, 0xff7fffff, 0xff800000, 0x00000000, |
| 0xffbffffe, 0xffbfffff, 0xffc00000, 0x00000000, |
| 0xffdffffe, 0xffdfffff, 0xffe00000, 0x00000000, |
| 0xffeffffe, 0xffefffff, 0xfff00000, 0x00000000, |
| 0xfff7fffe, 0xfff7ffff, 0xfff80000, 0x00000000, |
| 0xfffbfffe, 0xfffbffff, 0xfffc0000, 0x00000000, |
| 0xfffdfffe, 0xfffdffff, 0xfffe0000, 0x00000000, |
| 0xfffefffe, 0xfffeffff, 0xffff0000, 0x00000000, |
| 0xffff7ffe, 0xffff7fff, 0xffff8000, 0x00000000, |
| 0xffffbffe, 0xffffbfff, 0xffffc000, 0x00000000, |
| 0xffffdffe, 0xffffdfff, 0xffffe000, 0x00000000, |
| 0xffffeffe, 0xffffefff, 0xfffff000, 0x00000000, |
| 0xfffff7fe, 0xfffff7ff, 0xfffff800, 0x00000000, |
| 0xfffffbfe, 0xfffffbff, 0xfffffc00, 0x00000000, |
| 0xfffffdfe, 0xfffffdff, 0xfffffe00, 0x00000000, |
| 0xfffffefe, 0xfffffeff, 0xffffff00, 0x00000000, |
| 0xffffff7e, 0xffffff7f, 0xffffff80, 0x00000000, |
| 0xffffffbe, 0xffffffbf, 0xffffffc0, 0x00000000, |
| 0xffffffde, 0xffffffdf, 0xffffffe0, 0x00000000, |
| 0xffffffee, 0xffffffef, 0xfffffff0, 0x00000000, |
| 0xfffffff6, 0xfffffff7, 0xfffffff8, 0x00000000, |
| 0xfffffffa, 0xfffffffb, 0xfffffffc, 0x00000000, |
| 0xfffffffc, 0xfffffffd, 0xfffffffe, 0x00000000, |
| 0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000, |
| 0x7fffffff, 0x80000000, 0x00000000, 0x00000001, |
| 0xbfffffff, 0xc0000000, 0x00000000, 0x00000001, |
| 0xdfffffff, 0xe0000000, 0x00000000, 0x00000001, |
| 0xefffffff, 0xf0000000, 0x00000000, 0x00000001, |
| 0xf7ffffff, 0xf8000000, 0x00000000, 0x00000001, |
| 0xfbffffff, 0xfc000000, 0x00000000, 0x00000001, |
| 0xfdffffff, 0xfe000000, 0x00000000, 0x00000001, |
| 0xfeffffff, 0xff000000, 0x00000000, 0x00000001, |
| 0xff7fffff, 0xff800000, 0x00000000, 0x00000001, |
| 0xffbfffff, 0xffc00000, 0x00000000, 0x00000001, |
| 0xffdfffff, 0xffe00000, 0x00000000, 0x00000001, |
| 0xffefffff, 0xfff00000, 0x00000000, 0x00000001, |
| 0xfff7ffff, 0xfff80000, 0x00000000, 0x00000001, |
| 0xfffbffff, 0xfffc0000, 0x00000000, 0x00000001, |
| 0xfffdffff, 0xfffe0000, 0x00000000, 0x00000001, |
| 0xfffeffff, 0xffff0000, 0x00000000, 0x00000001, |
| 0xffff7fff, 0xffff8000, 0x00000000, 0x00000001, |
| 0xffffbfff, 0xffffc000, 0x00000000, 0x00000001, |
| 0xffffdfff, 0xffffe000, 0x00000000, 0x00000001, |
| 0xffffefff, 0xfffff000, 0x00000000, 0x00000001, |
| 0xfffff7ff, 0xfffff800, 0x00000000, 0x00000001, |
| 0xfffffbff, 0xfffffc00, 0x00000000, 0x00000001, |
| 0xfffffdff, 0xfffffe00, 0x00000000, 0x00000001, |
| 0xfffffeff, 0xffffff00, 0x00000000, 0x00000001, |
| 0xffffff7f, 0xffffff80, 0x00000000, 0x00000001, |
| 0xffffffbf, 0xffffffc0, 0x00000000, 0x00000001, |
| 0xffffffdf, 0xffffffe0, 0x00000000, 0x00000001, |
| 0xffffffef, 0xfffffff0, 0x00000000, 0x00000001, |
| 0xfffffff7, 0xfffffff8, 0x00000000, 0x00000001, |
| 0xfffffffb, 0xfffffffc, 0x00000000, 0x00000001, |
| 0xfffffffd, 0xfffffffe, 0x00000000, 0x00000001, |
| 0xfffffffe, 0xffffffff, 0x00000000, 0x00000001, |
| 0x80000000, 0x00000000, 0x00000001, 0x00000001, |
| 0xc0000000, 0x00000000, 0x00000001, 0x00000002, |
| 0xe0000000, 0x00000000, 0x00000001, 0x00000002, |
| 0xf0000000, 0x00000000, 0x00000001, 0x00000002, |
| 0xf8000000, 0x00000000, 0x00000001, 0x00000002, |
| 0xfc000000, 0x00000000, 0x00000001, 0x00000002, |
| 0xfe000000, 0x00000000, 0x00000001, 0x00000002, |
| 0xff000000, 0x00000000, 0x00000001, 0x00000002, |
| 0xff800000, 0x00000000, 0x00000001, 0x00000002, |
| 0xffc00000, 0x00000000, 0x00000001, 0x00000002, |
| 0xffe00000, 0x00000000, 0x00000001, 0x00000002, |
| 0xfff00000, 0x00000000, 0x00000001, 0x00000002, |
| 0xfff80000, 0x00000000, 0x00000001, 0x00000002, |
| 0xfffc0000, 0x00000000, 0x00000001, 0x00000002, |
| 0xfffe0000, 0x00000000, 0x00000001, 0x00000002, |
| 0xffff0000, 0x00000000, 0x00000001, 0x00000002, |
| 0xffff8000, 0x00000000, 0x00000001, 0x00000002, |
| 0xffffc000, 0x00000000, 0x00000001, 0x00000002, |
| 0xffffe000, 0x00000000, 0x00000001, 0x00000002, |
| 0xfffff000, 0x00000000, 0x00000001, 0x00000002, |
| 0xfffff800, 0x00000000, 0x00000001, 0x00000002, |
| 0xfffffc00, 0x00000000, 0x00000001, 0x00000002, |
| 0xfffffe00, 0x00000000, 0x00000001, 0x00000002, |
| 0xffffff00, 0x00000000, 0x00000001, 0x00000002, |
| 0xffffff80, 0x00000000, 0x00000001, 0x00000002, |
| 0xffffffc0, 0x00000000, 0x00000001, 0x00000002, |
| 0xffffffe0, 0x00000000, 0x00000001, 0x00000002, |
| 0xfffffff0, 0x00000000, 0x00000001, 0x00000002, |
| 0xfffffff8, 0x00000000, 0x00000001, 0x00000002, |
| 0xfffffffc, 0x00000000, 0x00000001, 0x00000002, |
| 0xfffffffe, 0x00000000, 0x00000001, 0x00000002, |
| 0xffffffff, 0x00000000, 0x00000001, 0x00000002, |
| 0x00000000, 0x00000001, 0x00000001, 0x00000010, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000018, |
| 0x00000000, 0x00000001, 0x00000002, 0x0000001c, |
| 0x00000000, 0x00000001, 0x00000002, 0x0000001e, |
| 0x00000000, 0x00000001, 0x00000002, 0x0000001f, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000000, 0x00000001, 0x00000002, 0x00000020, |
| 0x00000001, 0x00000001, 0x00000010, 0x0000003f, |
| 0x00000001, 0x00000002, 0x00000018, 0x0000005e, |
| 0x00000001, 0x00000002, 0x0000001c, 0x0000006e, |
| 0x00000001, 0x00000002, 0x0000001e, 0x00000076, |
| 0x00000001, 0x00000002, 0x0000001f, 0x0000007a, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007c, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000002, 0x00000020, 0x0000007d, |
| 0x00000001, 0x00000010, 0x0000003f, 0x0000003f, |
| 0x00000002, 0x00000018, 0x0000005e, 0x0000005f, |
| 0x00000002, 0x0000001c, 0x0000006e, 0x0000006f, |
| 0x00000002, 0x0000001e, 0x00000076, 0x00000077, |
| 0x00000002, 0x0000001f, 0x0000007a, 0x0000007b, |
| 0x00000002, 0x00000020, 0x0000007c, 0x0000007d, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000002, 0x00000020, 0x0000007d, 0x0000007e, |
| 0x00000010, 0x0000003f, 0x0000003f, 0x00000040, |
| 0x00000018, 0x0000005e, 0x0000005f, 0x00000060, |
| 0x0000001c, 0x0000006e, 0x0000006f, 0x00000070, |
| 0x0000001e, 0x00000076, 0x00000077, 0x00000078, |
| 0x0000001f, 0x0000007a, 0x0000007b, 0x0000007c, |
| 0x00000020, 0x0000007c, 0x0000007d, 0x0000007e, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f, |
| 0x0000003f, 0x0000003f, 0x00000040, 0x00003fff, |
| 0x0000005e, 0x0000005f, 0x00000060, 0x00005ffe, |
| 0x0000006e, 0x0000006f, 0x00000070, 0x00006ffe, |
| 0x00000076, 0x00000077, 0x00000078, 0x000077fe, |
| 0x0000007a, 0x0000007b, 0x0000007c, 0x00007bfe, |
| 0x0000007c, 0x0000007d, 0x0000007e, 0x00007dfe, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007efe, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007f7e, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007fbe, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007fde, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007fee, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ff6, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffa, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffc, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd, |
| 0x0000003f, 0x00000040, 0x00003fff, 0x00003fff, |
| 0x0000005f, 0x00000060, 0x00005ffe, 0x00005fff, |
| 0x0000006f, 0x00000070, 0x00006ffe, 0x00006fff, |
| 0x00000077, 0x00000078, 0x000077fe, 0x000077ff, |
| 0x0000007b, 0x0000007c, 0x00007bfe, 0x00007bff, |
| 0x0000007d, 0x0000007e, 0x00007dfe, 0x00007dff, |
| 0x0000007e, 0x0000007f, 0x00007efe, 0x00007eff, |
| 0x0000007e, 0x0000007f, 0x00007f7e, 0x00007f7f, |
| 0x0000007e, 0x0000007f, 0x00007fbe, 0x00007fbf, |
| 0x0000007e, 0x0000007f, 0x00007fde, 0x00007fdf, |
| 0x0000007e, 0x0000007f, 0x00007fee, 0x00007fef, |
| 0x0000007e, 0x0000007f, 0x00007ff6, 0x00007ff7, |
| 0x0000007e, 0x0000007f, 0x00007ffa, 0x00007ffb, |
| 0x0000007e, 0x0000007f, 0x00007ffc, 0x00007ffd, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe, |
| 0x00000040, 0x00003fff, 0x00003fff, 0x00004000, |
| 0x00000060, 0x00005ffe, 0x00005fff, 0x00006000, |
| 0x00000070, 0x00006ffe, 0x00006fff, 0x00007000, |
| 0x00000078, 0x000077fe, 0x000077ff, 0x00007800, |
| 0x0000007c, 0x00007bfe, 0x00007bff, 0x00007c00, |
| 0x0000007e, 0x00007dfe, 0x00007dff, 0x00007e00, |
| 0x0000007f, 0x00007efe, 0x00007eff, 0x00007f00, |
| 0x0000007f, 0x00007f7e, 0x00007f7f, 0x00007f80, |
| 0x0000007f, 0x00007fbe, 0x00007fbf, 0x00007fc0, |
| 0x0000007f, 0x00007fde, 0x00007fdf, 0x00007fe0, |
| 0x0000007f, 0x00007fee, 0x00007fef, 0x00007ff0, |
| 0x0000007f, 0x00007ff6, 0x00007ff7, 0x00007ff8, |
| 0x0000007f, 0x00007ffa, 0x00007ffb, 0x00007ffc, |
| 0x0000007f, 0x00007ffc, 0x00007ffd, 0x00007ffe, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff, |
| 0x00003fff, 0x00003fff, 0x00004000, 0x1999999a, |
| 0x00005ffe, 0x00005fff, 0x00006000, 0x26666667, |
| 0x00006ffe, 0x00006fff, 0x00007000, 0x2ccccccd, |
| 0x000077fe, 0x000077ff, 0x00007800, 0x30000000, |
| 0x00007bfe, 0x00007bff, 0x00007c00, 0x3199999a, |
| 0x00007dfe, 0x00007dff, 0x00007e00, 0x32666667, |
| 0x00007efe, 0x00007eff, 0x00007f00, 0x32cccccd, |
| 0x00007f7e, 0x00007f7f, 0x00007f80, 0x33000000, |
| 0x00007fbe, 0x00007fbf, 0x00007fc0, 0x3319999a, |
| 0x00007fde, 0x00007fdf, 0x00007fe0, 0x33266667, |
| 0x00007fee, 0x00007fef, 0x00007ff0, 0x332ccccd, |
| 0x00007ff6, 0x00007ff7, 0x00007ff8, 0x33300000, |
| 0x00007ffa, 0x00007ffb, 0x00007ffc, 0x3331999a, |
| 0x00007ffc, 0x00007ffd, 0x00007ffe, 0x33326667, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x3332cccd, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33330000, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333199a, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33332667, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33332ccd, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333000, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333319a, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333267, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x333332cd, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333300, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333331a, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333327, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x3333332d, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333330, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333332, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333, |
| 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333, |
| 0x00003fff, 0x00004000, 0x1999999a, 0x2aaaaaab, |
| 0x00005fff, 0x00006000, 0x26666667, 0x40000000, |
| 0x00006fff, 0x00007000, 0x2ccccccd, 0x4aaaaaab, |
| 0x000077ff, 0x00007800, 0x30000000, 0x50000000, |
| 0x00007bff, 0x00007c00, 0x3199999a, 0x52aaaaab, |
| 0x00007dff, 0x00007e00, 0x32666667, 0x54000000, |
| 0x00007eff, 0x00007f00, 0x32cccccd, 0x54aaaaab, |
| 0x00007f7f, 0x00007f80, 0x33000000, 0x55000000, |
| 0x00007fbf, 0x00007fc0, 0x3319999a, 0x552aaaab, |
| 0x00007fdf, 0x00007fe0, 0x33266667, 0x55400000, |
| 0x00007fef, 0x00007ff0, 0x332ccccd, 0x554aaaab, |
| 0x00007ff7, 0x00007ff8, 0x33300000, 0x55500000, |
| 0x00007ffb, 0x00007ffc, 0x3331999a, 0x5552aaab, |
| 0x00007ffd, 0x00007ffe, 0x33326667, 0x55540000, |
| 0x00007ffe, 0x00007fff, 0x3332cccd, 0x5554aaab, |
| 0x00007ffe, 0x00007fff, 0x33330000, 0x55550000, |
| 0x00007ffe, 0x00007fff, 0x3333199a, 0x55552aab, |
| 0x00007ffe, 0x00007fff, 0x33332667, 0x55554000, |
| 0x00007ffe, 0x00007fff, 0x33332ccd, 0x55554aab, |
| 0x00007ffe, 0x00007fff, 0x33333000, 0x55555000, |
| 0x00007ffe, 0x00007fff, 0x3333319a, 0x555552ab, |
| 0x00007ffe, 0x00007fff, 0x33333267, 0x55555400, |
| 0x00007ffe, 0x00007fff, 0x333332cd, 0x555554ab, |
| 0x00007ffe, 0x00007fff, 0x33333300, 0x55555500, |
| 0x00007ffe, 0x00007fff, 0x3333331a, 0x5555552b, |
| 0x00007ffe, 0x00007fff, 0x33333327, 0x55555540, |
| 0x00007ffe, 0x00007fff, 0x3333332d, 0x5555554b, |
| 0x00007ffe, 0x00007fff, 0x33333330, 0x55555550, |
| 0x00007ffe, 0x00007fff, 0x33333332, 0x55555553, |
| 0x00007ffe, 0x00007fff, 0x33333333, 0x55555554, |
| 0x00007ffe, 0x00007fff, 0x33333333, 0x55555555, |
| 0x00007ffe, 0x00007fff, 0x33333333, 0x55555555, |
| 0x00004000, 0x1999999a, 0x2aaaaaab, 0x3fffffff, |
| 0x00006000, 0x26666667, 0x40000000, 0x5ffffffe, |
| 0x00007000, 0x2ccccccd, 0x4aaaaaab, 0x6ffffffe, |
| 0x00007800, 0x30000000, 0x50000000, 0x77fffffe, |
| 0x00007c00, 0x3199999a, 0x52aaaaab, 0x7bfffffe, |
| 0x00007e00, 0x32666667, 0x54000000, 0x7dfffffe, |
| 0x00007f00, 0x32cccccd, 0x54aaaaab, 0x7efffffe, |
| 0x00007f80, 0x33000000, 0x55000000, 0x7f7ffffe, |
| 0x00007fc0, 0x3319999a, 0x552aaaab, 0x7fbffffe, |
| 0x00007fe0, 0x33266667, 0x55400000, 0x7fdffffe, |
| 0x00007ff0, 0x332ccccd, 0x554aaaab, 0x7feffffe, |
| 0x00007ff8, 0x33300000, 0x55500000, 0x7ff7fffe, |
| 0x00007ffc, 0x3331999a, 0x5552aaab, 0x7ffbfffe, |
| 0x00007ffe, 0x33326667, 0x55540000, 0x7ffdfffe, |
| 0x00007fff, 0x3332cccd, 0x5554aaab, 0x7ffefffe, |
| 0x00007fff, 0x33330000, 0x55550000, 0x7fff7ffe, |
| 0x00007fff, 0x3333199a, 0x55552aab, 0x7fffbffe, |
| 0x00007fff, 0x33332667, 0x55554000, 0x7fffdffe, |
| 0x00007fff, 0x33332ccd, 0x55554aab, 0x7fffeffe, |
| 0x00007fff, 0x33333000, 0x55555000, 0x7ffff7fe, |
| 0x00007fff, 0x3333319a, 0x555552ab, 0x7ffffbfe, |
| 0x00007fff, 0x33333267, 0x55555400, 0x7ffffdfe, |
| 0x00007fff, 0x333332cd, 0x555554ab, 0x7ffffefe, |
| 0x00007fff, 0x33333300, 0x55555500, 0x7fffff7e, |
| 0x00007fff, 0x3333331a, 0x5555552b, 0x7fffffbe, |
| 0x00007fff, 0x33333327, 0x55555540, 0x7fffffde, |
| 0x00007fff, 0x3333332d, 0x5555554b, 0x7fffffee, |
| 0x00007fff, 0x33333330, 0x55555550, 0x7ffffff6, |
| 0x00007fff, 0x33333332, 0x55555553, 0x7ffffffa, |
| 0x00007fff, 0x33333333, 0x55555554, 0x7ffffffc, |
| 0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd, |
| 0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd, |
| 0x1999999a, 0x2aaaaaab, 0x3fffffff, 0x3fffffff, |
| 0x26666667, 0x40000000, 0x5ffffffe, 0x5fffffff, |
| 0x2ccccccd, 0x4aaaaaab, 0x6ffffffe, 0x6fffffff, |
| 0x30000000, 0x50000000, 0x77fffffe, 0x77ffffff, |
| 0x3199999a, 0x52aaaaab, 0x7bfffffe, 0x7bffffff, |
| 0x32666667, 0x54000000, 0x7dfffffe, 0x7dffffff, |
| 0x32cccccd, 0x54aaaaab, 0x7efffffe, 0x7effffff, |
| 0x33000000, 0x55000000, 0x7f7ffffe, 0x7f7fffff, |
| 0x3319999a, 0x552aaaab, 0x7fbffffe, 0x7fbfffff, |
| 0x33266667, 0x55400000, 0x7fdffffe, 0x7fdfffff, |
| 0x332ccccd, 0x554aaaab, 0x7feffffe, 0x7fefffff, |
| 0x33300000, 0x55500000, 0x7ff7fffe, 0x7ff7ffff, |
| 0x3331999a, 0x5552aaab, 0x7ffbfffe, 0x7ffbffff, |
| 0x33326667, 0x55540000, 0x7ffdfffe, 0x7ffdffff, |
| 0x3332cccd, 0x5554aaab, 0x7ffefffe, 0x7ffeffff, |
| 0x33330000, 0x55550000, 0x7fff7ffe, 0x7fff7fff, |
| 0x3333199a, 0x55552aab, 0x7fffbffe, 0x7fffbfff, |
| 0x33332667, 0x55554000, 0x7fffdffe, 0x7fffdfff, |
| 0x33332ccd, 0x55554aab, 0x7fffeffe, 0x7fffefff, |
| 0x33333000, 0x55555000, 0x7ffff7fe, 0x7ffff7ff, |
| 0x3333319a, 0x555552ab, 0x7ffffbfe, 0x7ffffbff, |
| 0x33333267, 0x55555400, 0x7ffffdfe, 0x7ffffdff, |
| 0x333332cd, 0x555554ab, 0x7ffffefe, 0x7ffffeff, |
| 0x33333300, 0x55555500, 0x7fffff7e, 0x7fffff7f, |
| 0x3333331a, 0x5555552b, 0x7fffffbe, 0x7fffffbf, |
| 0x33333327, 0x55555540, 0x7fffffde, 0x7fffffdf, |
| 0x3333332d, 0x5555554b, 0x7fffffee, 0x7fffffef, |
| 0x33333330, 0x55555550, 0x7ffffff6, 0x7ffffff7, |
| 0x33333332, 0x55555553, 0x7ffffffa, 0x7ffffffb, |
| 0x33333333, 0x55555554, 0x7ffffffc, 0x7ffffffd, |
| 0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe, |
| 0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe, |
| 0x2aaaaaab, 0x3fffffff, 0x3fffffff, 0x40000000, |
| 0x40000000, 0x5ffffffe, 0x5fffffff, 0x60000000, |
| 0x4aaaaaab, 0x6ffffffe, 0x6fffffff, 0x70000000, |
| 0x50000000, 0x77fffffe, 0x77ffffff, 0x78000000, |
| 0x52aaaaab, 0x7bfffffe, 0x7bffffff, 0x7c000000, |
| 0x54000000, 0x7dfffffe, 0x7dffffff, 0x7e000000, |
| 0x54aaaaab, 0x7efffffe, 0x7effffff, 0x7f000000, |
| 0x55000000, 0x7f7ffffe, 0x7f7fffff, 0x7f800000, |
| 0x552aaaab, 0x7fbffffe, 0x7fbfffff, 0x7fc00000, |
| 0x55400000, 0x7fdffffe, 0x7fdfffff, 0x7fe00000, |
| 0x554aaaab, 0x7feffffe, 0x7fefffff, 0x7ff00000, |
| 0x55500000, 0x7ff7fffe, 0x7ff7ffff, 0x7ff80000, |
| 0x5552aaab, 0x7ffbfffe, 0x7ffbffff, 0x7ffc0000, |
| 0x55540000, 0x7ffdfffe, 0x7ffdffff, 0x7ffe0000, |
| 0x5554aaab, 0x7ffefffe, 0x7ffeffff, 0x7fff0000, |
| 0x55550000, 0x7fff7ffe, 0x7fff7fff, 0x7fff8000, |
| 0x55552aab, 0x7fffbffe, 0x7fffbfff, 0x7fffc000, |
| 0x55554000, 0x7fffdffe, 0x7fffdfff, 0x7fffe000, |
| 0x55554aab, 0x7fffeffe, 0x7fffefff, 0x7ffff000, |
| 0x55555000, 0x7ffff7fe, 0x7ffff7ff, 0x7ffff800, |
| 0x555552ab, 0x7ffffbfe, 0x7ffffbff, 0x7ffffc00, |
| 0x55555400, 0x7ffffdfe, 0x7ffffdff, 0x7ffffe00, |
| 0x555554ab, 0x7ffffefe, 0x7ffffeff, 0x7fffff00, |
| 0x55555500, 0x7fffff7e, 0x7fffff7f, 0x7fffff80, |
| 0x5555552b, 0x7fffffbe, 0x7fffffbf, 0x7fffffc0, |
| 0x55555540, 0x7fffffde, 0x7fffffdf, 0x7fffffe0, |
| 0x5555554b, 0x7fffffee, 0x7fffffef, 0x7ffffff0, |
| 0x55555550, 0x7ffffff6, 0x7ffffff7, 0x7ffffff8, |
| 0x55555553, 0x7ffffffa, 0x7ffffffb, 0x7ffffffc, |
| 0x55555554, 0x7ffffffc, 0x7ffffffd, 0x7ffffffe, |
| 0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff, |
| 0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff, |
| 0x3fffffff, 0x3fffffff, 0x40000000, 0x40000000, |
| 0x5ffffffe, 0x5fffffff, 0x60000000, 0x60000000, |
| 0x6ffffffe, 0x6fffffff, 0x70000000, 0x70000000, |
| 0x77fffffe, 0x77ffffff, 0x78000000, 0x78000000, |
| 0x7bfffffe, 0x7bffffff, 0x7c000000, 0x7c000000, |
| 0x7dfffffe, 0x7dffffff, 0x7e000000, 0x7e000000, |
| 0x7efffffe, 0x7effffff, 0x7f000000, 0x7f000000, |
| 0x7f7ffffe, 0x7f7fffff, 0x7f800000, 0x7f800000, |
| 0x7fbffffe, 0x7fbfffff, 0x7fc00000, 0x7fc00000, |
| 0x7fdffffe, 0x7fdfffff, 0x7fe00000, 0x7fe00000, |
| 0x7feffffe, 0x7fefffff, 0x7ff00000, 0x7ff00000, |
| 0x7ff7fffe, 0x7ff7ffff, 0x7ff80000, 0x7ff80000, |
| 0x7ffbfffe, 0x7ffbffff, 0x7ffc0000, 0x7ffc0000, |
| 0x7ffdfffe, 0x7ffdffff, 0x7ffe0000, 0x7ffe0000, |
| 0x7ffefffe, 0x7ffeffff, 0x7fff0000, 0x7fff0000, |
| 0x7fff7ffe, 0x7fff7fff, 0x7fff8000, 0x7fff8000, |
| 0x7fffbffe, 0x7fffbfff, 0x7fffc000, 0x7fffc000, |
| 0x7fffdffe, 0x7fffdfff, 0x7fffe000, 0x7fffe000, |
| 0x7fffeffe, 0x7fffefff, 0x7ffff000, 0x7ffff000, |
| 0x7ffff7fe, 0x7ffff7ff, 0x7ffff800, 0x7ffff800, |
| 0x7ffffbfe, 0x7ffffbff, 0x7ffffc00, 0x7ffffc00, |
| 0x7ffffdfe, 0x7ffffdff, 0x7ffffe00, 0x7ffffe00, |
| 0x7ffffefe, 0x7ffffeff, 0x7fffff00, 0x7fffff00, |
| 0x7fffff7e, 0x7fffff7f, 0x7fffff80, 0x7fffff80, |
| 0x7fffffbe, 0x7fffffbf, 0x7fffffc0, 0x7fffffc0, |
| 0x7fffffde, 0x7fffffdf, 0x7fffffe0, 0x7fffffe0, |
| 0x7fffffee, 0x7fffffef, 0x7ffffff0, 0x7ffffff0, |
| 0x7ffffff6, 0x7ffffff7, 0x7ffffff8, 0x7ffffff8, |
| 0x7ffffffa, 0x7ffffffb, 0x7ffffffc, 0x7ffffffc, |
| 0x7ffffffc, 0x7ffffffd, 0x7ffffffe, 0x7ffffffe, |
| 0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x7fffffff, |
| 0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000, |
| 0x3fffffff, 0x40000000, 0x40000000, 0x40000001, |
| 0x5fffffff, 0x60000000, 0x60000000, 0x60000001, |
| 0x6fffffff, 0x70000000, 0x70000000, 0x70000001, |
| 0x77ffffff, 0x78000000, 0x78000000, 0x78000001, |
| 0x7bffffff, 0x7c000000, 0x7c000000, 0x7c000001, |
| 0x7dffffff, 0x7e000000, 0x7e000000, 0x7e000001, |
| 0x7effffff, 0x7f000000, 0x7f000000, 0x7f000001, |
| 0x7f7fffff, 0x7f800000, 0x7f800000, 0x7f800001, |
| 0x7fbfffff, 0x7fc00000, 0x7fc00000, 0x7fc00001, |
| 0x7fdfffff, 0x7fe00000, 0x7fe00000, 0x7fe00001, |
| 0x7fefffff, 0x7ff00000, 0x7ff00000, 0x7ff00001, |
| 0x7ff7ffff, 0x7ff80000, 0x7ff80000, 0x7ff80001, |
| 0x7ffbffff, 0x7ffc0000, 0x7ffc0000, 0x7ffc0001, |
| 0x7ffdffff, 0x7ffe0000, 0x7ffe0000, 0x7ffe0001, |
| 0x7ffeffff, 0x7fff0000, 0x7fff0000, 0x7fff0001, |
| 0x7fff7fff, 0x7fff8000, 0x7fff8000, 0x7fff8001, |
| 0x7fffbfff, 0x7fffc000, 0x7fffc000, 0x7fffc001, |
| 0x7fffdfff, 0x7fffe000, 0x7fffe000, 0x7fffe001, |
| 0x7fffefff, 0x7ffff000, 0x7ffff000, 0x7ffff001, |
| 0x7ffff7ff, 0x7ffff800, 0x7ffff800, 0x7ffff801, |
| 0x7ffffbff, 0x7ffffc00, 0x7ffffc00, 0x7ffffc01, |
| 0x7ffffdff, 0x7ffffe00, 0x7ffffe00, 0x7ffffe01, |
| 0x7ffffeff, 0x7fffff00, 0x7fffff00, 0x7fffff01, |
| 0x7fffff7f, 0x7fffff80, 0x7fffff80, 0x7fffff81, |
| 0x7fffffbf, 0x7fffffc0, 0x7fffffc0, 0x7fffffc1, |
| 0x7fffffdf, 0x7fffffe0, 0x7fffffe0, 0x7fffffe1, |
| 0x7fffffef, 0x7ffffff0, 0x7ffffff0, 0x7ffffff1, |
| 0x7ffffff7, 0x7ffffff8, 0x7ffffff8, 0x7ffffff9, |
| 0x7ffffffb, 0x7ffffffc, 0x7ffffffc, 0x7ffffffd, |
| 0x7ffffffd, 0x7ffffffe, 0x7ffffffe, 0x7fffffff, |
| 0x7ffffffe, 0x7fffffff, 0x7fffffff, 0x80000000, |
| 0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001, |
| 0x40000000, 0x40000000, 0x40000001, 0x55555555, |
| 0x60000000, 0x60000000, 0x60000001, 0x80000000, |
| 0x70000000, 0x70000000, 0x70000001, 0x95555555, |
| 0x78000000, 0x78000000, 0x78000001, 0xa0000000, |
| 0x7c000000, 0x7c000000, 0x7c000001, 0xa5555555, |
| 0x7e000000, 0x7e000000, 0x7e000001, 0xa8000000, |
| 0x7f000000, 0x7f000000, 0x7f000001, 0xa9555555, |
| 0x7f800000, 0x7f800000, 0x7f800001, 0xaa000000, |
| 0x7fc00000, 0x7fc00000, 0x7fc00001, 0xaa555555, |
| 0x7fe00000, 0x7fe00000, 0x7fe00001, 0xaa800000, |
| 0x7ff00000, 0x7ff00000, 0x7ff00001, 0xaa955555, |
| 0x7ff80000, 0x7ff80000, 0x7ff80001, 0xaaa00000, |
| 0x7ffc0000, 0x7ffc0000, 0x7ffc0001, 0xaaa55555, |
| 0x7ffe0000, 0x7ffe0000, 0x7ffe0001, 0xaaa80000, |
| 0x7fff0000, 0x7fff0000, 0x7fff0001, 0xaaa95555, |
| 0x7fff8000, 0x7fff8000, 0x7fff8001, 0xaaaa0000, |
| 0x7fffc000, 0x7fffc000, 0x7fffc001, 0xaaaa5555, |
| 0x7fffe000, 0x7fffe000, 0x7fffe001, 0xaaaa8000, |
| 0x7ffff000, 0x7ffff000, 0x7ffff001, 0xaaaa9555, |
| 0x7ffff800, 0x7ffff800, 0x7ffff801, 0xaaaaa000, |
| 0x7ffffc00, 0x7ffffc00, 0x7ffffc01, 0xaaaaa555, |
| 0x7ffffe00, 0x7ffffe00, 0x7ffffe01, 0xaaaaa800, |
| 0x7fffff00, 0x7fffff00, 0x7fffff01, 0xaaaaa955, |
| 0x7fffff80, 0x7fffff80, 0x7fffff81, 0xaaaaaa00, |
| 0x7fffffc0, 0x7fffffc0, 0x7fffffc1, 0xaaaaaa55, |
| 0x7fffffe0, 0x7fffffe0, 0x7fffffe1, 0xaaaaaa80, |
| 0x7ffffff0, 0x7ffffff0, 0x7ffffff1, 0xaaaaaa95, |
| 0x7ffffff8, 0x7ffffff8, 0x7ffffff9, 0xaaaaaaa0, |
| 0x7ffffffc, 0x7ffffffc, 0x7ffffffd, 0xaaaaaaa5, |
| 0x7ffffffe, 0x7ffffffe, 0x7fffffff, 0xaaaaaaa8, |
| 0x7fffffff, 0x7fffffff, 0x80000000, 0xaaaaaaa9, |
| 0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa, |
| 0x40000000, 0x40000001, 0x55555555, 0x66666666, |
| 0x60000000, 0x60000001, 0x80000000, 0x99999999, |
| 0x70000000, 0x70000001, 0x95555555, 0xb3333333, |
| 0x78000000, 0x78000001, 0xa0000000, 0xc0000000, |
| 0x7c000000, 0x7c000001, 0xa5555555, 0xc6666666, |
| 0x7e000000, 0x7e000001, 0xa8000000, 0xc9999999, |
| 0x7f000000, 0x7f000001, 0xa9555555, 0xcb333333, |
| 0x7f800000, 0x7f800001, 0xaa000000, 0xcc000000, |
| 0x7fc00000, 0x7fc00001, 0xaa555555, 0xcc666666, |
| 0x7fe00000, 0x7fe00001, 0xaa800000, 0xcc999999, |
| 0x7ff00000, 0x7ff00001, 0xaa955555, 0xccb33333, |
| 0x7ff80000, 0x7ff80001, 0xaaa00000, 0xccc00000, |
| 0x7ffc0000, 0x7ffc0001, 0xaaa55555, 0xccc66666, |
| 0x7ffe0000, 0x7ffe0001, 0xaaa80000, 0xccc99999, |
| 0x7fff0000, 0x7fff0001, 0xaaa95555, 0xcccb3333, |
| 0x7fff8000, 0x7fff8001, 0xaaaa0000, 0xcccc0000, |
| 0x7fffc000, 0x7fffc001, 0xaaaa5555, 0xcccc6666, |
| 0x7fffe000, 0x7fffe001, 0xaaaa8000, 0xcccc9999, |
| 0x7ffff000, 0x7ffff001, 0xaaaa9555, 0xccccb333, |
| 0x7ffff800, 0x7ffff801, 0xaaaaa000, 0xccccc000, |
| 0x7ffffc00, 0x7ffffc01, 0xaaaaa555, 0xccccc666, |
| 0x7ffffe00, 0x7ffffe01, 0xaaaaa800, 0xccccc999, |
| 0x7fffff00, 0x7fffff01, 0xaaaaa955, 0xcccccb33, |
| 0x7fffff80, 0x7fffff81, 0xaaaaaa00, 0xcccccc00, |
| 0x7fffffc0, 0x7fffffc1, 0xaaaaaa55, 0xcccccc66, |
| 0x7fffffe0, 0x7fffffe1, 0xaaaaaa80, 0xcccccc99, |
| 0x7ffffff0, 0x7ffffff1, 0xaaaaaa95, 0xccccccb3, |
| 0x7ffffff8, 0x7ffffff9, 0xaaaaaaa0, 0xccccccc0, |
| 0x7ffffffc, 0x7ffffffd, 0xaaaaaaa5, 0xccccccc6, |
| 0x7ffffffe, 0x7fffffff, 0xaaaaaaa8, 0xccccccc9, |
| 0x7fffffff, 0x80000000, 0xaaaaaaa9, 0xcccccccb, |
| 0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc, |
| 0x40000001, 0x55555555, 0x66666666, 0x7fffc000, |
| 0x60000001, 0x80000000, 0x99999999, 0xbfffa000, |
| 0x70000001, 0x95555555, 0xb3333333, 0xdfff9000, |
| 0x78000001, 0xa0000000, 0xc0000000, 0xefff8800, |
| 0x7c000001, 0xa5555555, 0xc6666666, 0xf7ff8400, |
| 0x7e000001, 0xa8000000, 0xc9999999, 0xfbff8200, |
| 0x7f000001, 0xa9555555, 0xcb333333, 0xfdff8100, |
| 0x7f800001, 0xaa000000, 0xcc000000, 0xfeff8080, |
| 0x7fc00001, 0xaa555555, 0xcc666666, 0xff7f8040, |
| 0x7fe00001, 0xaa800000, 0xcc999999, 0xffbf8020, |
| 0x7ff00001, 0xaa955555, 0xccb33333, 0xffdf8010, |
| 0x7ff80001, 0xaaa00000, 0xccc00000, 0xffef8008, |
| 0x7ffc0001, 0xaaa55555, 0xccc66666, 0xfff78004, |
| 0x7ffe0001, 0xaaa80000, 0xccc99999, 0xfffb8002, |
| 0x7fff0001, 0xaaa95555, 0xcccb3333, 0xfffd8001, |
| 0x7fff8001, 0xaaaa0000, 0xcccc0000, 0xfffe8001, |
| 0x7fffc001, 0xaaaa5555, 0xcccc6666, 0xffff0001, |
| 0x7fffe001, 0xaaaa8000, 0xcccc9999, 0xffff4001, |
| 0x7ffff001, 0xaaaa9555, 0xccccb333, 0xffff6001, |
| 0x7ffff801, 0xaaaaa000, 0xccccc000, 0xffff7001, |
| 0x7ffffc01, 0xaaaaa555, 0xccccc666, 0xffff7801, |
| 0x7ffffe01, 0xaaaaa800, 0xccccc999, 0xffff7c01, |
| 0x7fffff01, 0xaaaaa955, 0xcccccb33, 0xffff7e01, |
| 0x7fffff81, 0xaaaaaa00, 0xcccccc00, 0xffff7f01, |
| 0x7fffffc1, 0xaaaaaa55, 0xcccccc66, 0xffff7f81, |
| 0x7fffffe1, 0xaaaaaa80, 0xcccccc99, 0xffff7fc1, |
| 0x7ffffff1, 0xaaaaaa95, 0xccccccb3, 0xffff7fe1, |
| 0x7ffffff9, 0xaaaaaaa0, 0xccccccc0, 0xffff7ff1, |
| 0x7ffffffd, 0xaaaaaaa5, 0xccccccc6, 0xffff7ff9, |
| 0x7fffffff, 0xaaaaaaa8, 0xccccccc9, 0xffff7ffd, |
| 0x80000000, 0xaaaaaaa9, 0xcccccccb, 0xffff7fff, |
| 0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000, |
| 0x55555555, 0x66666666, 0x7fffc000, 0x7fffc001, |
| 0x80000000, 0x99999999, 0xbfffa000, 0xbfffa001, |
| 0x95555555, 0xb3333333, 0xdfff9000, 0xdfff9001, |
| 0xa0000000, 0xc0000000, 0xefff8800, 0xefff8801, |
| 0xa5555555, 0xc6666666, 0xf7ff8400, 0xf7ff8401, |
| 0xa8000000, 0xc9999999, 0xfbff8200, 0xfbff8201, |
| 0xa9555555, 0xcb333333, 0xfdff8100, 0xfdff8101, |
| 0xaa000000, 0xcc000000, 0xfeff8080, 0xfeff8081, |
| 0xaa555555, 0xcc666666, 0xff7f8040, 0xff7f8041, |
| 0xaa800000, 0xcc999999, 0xffbf8020, 0xffbf8021, |
| 0xaa955555, 0xccb33333, 0xffdf8010, 0xffdf8011, |
| 0xaaa00000, 0xccc00000, 0xffef8008, 0xffef8009, |
| 0xaaa55555, 0xccc66666, 0xfff78004, 0xfff78005, |
| 0xaaa80000, 0xccc99999, 0xfffb8002, 0xfffb8003, |
| 0xaaa95555, 0xcccb3333, 0xfffd8001, 0xfffd8002, |
| 0xaaaa0000, 0xcccc0000, 0xfffe8001, 0xfffe8002, |
| 0xaaaa5555, 0xcccc6666, 0xffff0001, 0xffff0002, |
| 0xaaaa8000, 0xcccc9999, 0xffff4001, 0xffff4002, |
| 0xaaaa9555, 0xccccb333, 0xffff6001, 0xffff6002, |
| 0xaaaaa000, 0xccccc000, 0xffff7001, 0xffff7002, |
| 0xaaaaa555, 0xccccc666, 0xffff7801, 0xffff7802, |
| 0xaaaaa800, 0xccccc999, 0xffff7c01, 0xffff7c02, |
| 0xaaaaa955, 0xcccccb33, 0xffff7e01, 0xffff7e02, |
| 0xaaaaaa00, 0xcccccc00, 0xffff7f01, 0xffff7f02, |
| 0xaaaaaa55, 0xcccccc66, 0xffff7f81, 0xffff7f82, |
| 0xaaaaaa80, 0xcccccc99, 0xffff7fc1, 0xffff7fc2, |
| 0xaaaaaa95, 0xccccccb3, 0xffff7fe1, 0xffff7fe2, |
| 0xaaaaaaa0, 0xccccccc0, 0xffff7ff1, 0xffff7ff2, |
| 0xaaaaaaa5, 0xccccccc6, 0xffff7ff9, 0xffff7ffa, |
| 0xaaaaaaa8, 0xccccccc9, 0xffff7ffd, 0xffff7ffe, |
| 0xaaaaaaa9, 0xcccccccb, 0xffff7fff, 0xffff8000, |
| 0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001, |
| 0x66666666, 0x7fffc000, 0x7fffc001, 0x7fffc001, |
| 0x99999999, 0xbfffa000, 0xbfffa001, 0xbfffa002, |
| 0xb3333333, 0xdfff9000, 0xdfff9001, 0xdfff9002, |
| 0xc0000000, 0xefff8800, 0xefff8801, 0xefff8802, |
| 0xc6666666, 0xf7ff8400, 0xf7ff8401, 0xf7ff8402, |
| 0xc9999999, 0xfbff8200, 0xfbff8201, 0xfbff8202, |
| 0xcb333333, 0xfdff8100, 0xfdff8101, 0xfdff8102, |
| 0xcc000000, 0xfeff8080, 0xfeff8081, 0xfeff8082, |
| 0xcc666666, 0xff7f8040, 0xff7f8041, 0xff7f8042, |
| 0xcc999999, 0xffbf8020, 0xffbf8021, 0xffbf8022, |
| 0xccb33333, 0xffdf8010, 0xffdf8011, 0xffdf8012, |
| 0xccc00000, 0xffef8008, 0xffef8009, 0xffef800a, |
| 0xccc66666, 0xfff78004, 0xfff78005, 0xfff78006, |
| 0xccc99999, 0xfffb8002, 0xfffb8003, 0xfffb8004, |
| 0xcccb3333, 0xfffd8001, 0xfffd8002, 0xfffd8003, |
| 0xcccc0000, 0xfffe8001, 0xfffe8002, 0xfffe8003, |
| 0xcccc6666, 0xffff0001, 0xffff0002, 0xffff0003, |
| 0xcccc9999, 0xffff4001, 0xffff4002, 0xffff4003, |
| 0xccccb333, 0xffff6001, 0xffff6002, 0xffff6003, |
| 0xccccc000, 0xffff7001, 0xffff7002, 0xffff7003, |
| 0xccccc666, 0xffff7801, 0xffff7802, 0xffff7803, |
| 0xccccc999, 0xffff7c01, 0xffff7c02, 0xffff7c03, |
| 0xcccccb33, 0xffff7e01, 0xffff7e02, 0xffff7e03, |
| 0xcccccc00, 0xffff7f01, 0xffff7f02, 0xffff7f03, |
| 0xcccccc66, 0xffff7f81, 0xffff7f82, 0xffff7f83, |
| 0xcccccc99, 0xffff7fc1, 0xffff7fc2, 0xffff7fc3, |
| 0xccccccb3, 0xffff7fe1, 0xffff7fe2, 0xffff7fe3, |
| 0xccccccc0, 0xffff7ff1, 0xffff7ff2, 0xffff7ff3, |
| 0xccccccc6, 0xffff7ff9, 0xffff7ffa, 0xffff7ffb, |
| 0xccccccc9, 0xffff7ffd, 0xffff7ffe, 0xffff7fff, |
| 0xcccccccb, 0xffff7fff, 0xffff8000, 0xffff8001, |
| 0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002, |
| 0x7fffc000, 0x7fffc001, 0x7fffc001, 0x7fffc002, |
| 0xbfffa000, 0xbfffa001, 0xbfffa002, 0xbfffa003, |
| 0xdfff9000, 0xdfff9001, 0xdfff9002, 0xdfff9003, |
| 0xefff8800, 0xefff8801, 0xefff8802, 0xefff8803, |
| 0xf7ff8400, 0xf7ff8401, 0xf7ff8402, 0xf7ff8403, |
| 0xfbff8200, 0xfbff8201, 0xfbff8202, 0xfbff8203, |
| 0xfdff8100, 0xfdff8101, 0xfdff8102, 0xfdff8103, |
| 0xfeff8080, 0xfeff8081, 0xfeff8082, 0xfeff8083, |
| 0xff7f8040, 0xff7f8041, 0xff7f8042, 0xff7f8043, |
| 0xffbf8020, 0xffbf8021, 0xffbf8022, 0xffbf8023, |
| 0xffdf8010, 0xffdf8011, 0xffdf8012, 0xffdf8013, |
| 0xffef8008, 0xffef8009, 0xffef800a, 0xffef800b, |
| 0xfff78004, 0xfff78005, 0xfff78006, 0xfff78007, |
| 0xfffb8002, 0xfffb8003, 0xfffb8004, 0xfffb8005, |
| 0xfffd8001, 0xfffd8002, 0xfffd8003, 0xfffd8004, |
| 0xfffe8001, 0xfffe8002, 0xfffe8003, 0xfffe8004, |
| 0xffff0001, 0xffff0002, 0xffff0003, 0xffff0004, |
| 0xffff4001, 0xffff4002, 0xffff4003, 0xffff4004, |
| 0xffff6001, 0xffff6002, 0xffff6003, 0xffff6004, |
| 0xffff7001, 0xffff7002, 0xffff7003, 0xffff7004, |
| 0xffff7801, 0xffff7802, 0xffff7803, 0xffff7804, |
| 0xffff7c01, 0xffff7c02, 0xffff7c03, 0xffff7c04, |
| 0xffff7e01, 0xffff7e02, 0xffff7e03, 0xffff7e04, |
| 0xffff7f01, 0xffff7f02, 0xffff7f03, 0xffff7f04, |
| 0xffff7f81, 0xffff7f82, 0xffff7f83, 0xffff7f84, |
| 0xffff7fc1, 0xffff7fc2, 0xffff7fc3, 0xffff7fc4, |
| 0xffff7fe1, 0xffff7fe2, 0xffff7fe3, 0xffff7fe4, |
| 0xffff7ff1, 0xffff7ff2, 0xffff7ff3, 0xffff7ff4, |
| 0xffff7ff9, 0xffff7ffa, 0xffff7ffb, 0xffff7ffc, |
| 0xffff7ffd, 0xffff7ffe, 0xffff7fff, 0xffff8000, |
| 0xffff7fff, 0xffff8000, 0xffff8001, 0xffff8002, |
| 0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003, |
| 0x7fffc001, 0x7fffc001, 0x7fffc002, 0x7fffffc0, |
| 0xbfffa001, 0xbfffa002, 0xbfffa003, 0xbfffffa0, |
| 0xdfff9001, 0xdfff9002, 0xdfff9003, 0xdfffff90, |
| 0xefff8801, 0xefff8802, 0xefff8803, 0xefffff88, |
| 0xf7ff8401, 0xf7ff8402, 0xf7ff8403, 0xf7ffff84, |
| 0xfbff8201, 0xfbff8202, 0xfbff8203, 0xfbffff82, |
| 0xfdff8101, 0xfdff8102, 0xfdff8103, 0xfdffff81, |
| 0xfeff8081, 0xfeff8082, 0xfeff8083, 0xfeffff81, |
| 0xff7f8041, 0xff7f8042, 0xff7f8043, 0xff7fff81, |
| 0xffbf8021, 0xffbf8022, 0xffbf8023, 0xffbfff81, |
| 0xffdf8011, 0xffdf8012, 0xffdf8013, 0xffdfff81, |
| 0xffef8009, 0xffef800a, 0xffef800b, 0xffefff81, |
| 0xfff78005, 0xfff78006, 0xfff78007, 0xfff7ff81, |
| 0xfffb8003, 0xfffb8004, 0xfffb8005, 0xfffbff81, |
| 0xfffd8002, 0xfffd8003, 0xfffd8004, 0xfffdff81, |
| 0xfffe8002, 0xfffe8003, 0xfffe8004, 0xfffeff81, |
| 0xffff0002, 0xffff0003, 0xffff0004, 0xffff7f81, |
| 0xffff4002, 0xffff4003, 0xffff4004, 0xffffbf81, |
| 0xffff6002, 0xffff6003, 0xffff6004, 0xffffdf81, |
| 0xffff7002, 0xffff7003, 0xffff7004, 0xffffef81, |
| 0xffff7802, 0xffff7803, 0xffff7804, 0xfffff781, |
| 0xffff7c02, 0xffff7c03, 0xffff7c04, 0xfffffb81, |
| 0xffff7e02, 0xffff7e03, 0xffff7e04, 0xfffffd81, |
| 0xffff7f02, 0xffff7f03, 0xffff7f04, 0xfffffe81, |
| 0xffff7f82, 0xffff7f83, 0xffff7f84, 0xffffff01, |
| 0xffff7fc2, 0xffff7fc3, 0xffff7fc4, 0xffffff41, |
| 0xffff7fe2, 0xffff7fe3, 0xffff7fe4, 0xffffff61, |
| 0xffff7ff2, 0xffff7ff3, 0xffff7ff4, 0xffffff71, |
| 0xffff7ffa, 0xffff7ffb, 0xffff7ffc, 0xffffff79, |
| 0xffff7ffe, 0xffff7fff, 0xffff8000, 0xffffff7d, |
| 0xffff8000, 0xffff8001, 0xffff8002, 0xffffff7f, |
| 0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80, |
| 0x7fffc001, 0x7fffc002, 0x7fffffc0, 0x7fffffc1, |
| 0xbfffa002, 0xbfffa003, 0xbfffffa0, 0xbfffffa1, |
| 0xdfff9002, 0xdfff9003, 0xdfffff90, 0xdfffff91, |
| 0xefff8802, 0xefff8803, 0xefffff88, 0xefffff89, |
| 0xf7ff8402, 0xf7ff8403, 0xf7ffff84, 0xf7ffff85, |
| 0xfbff8202, 0xfbff8203, 0xfbffff82, 0xfbffff83, |
| 0xfdff8102, 0xfdff8103, 0xfdffff81, 0xfdffff82, |
| 0xfeff8082, 0xfeff8083, 0xfeffff81, 0xfeffff82, |
| 0xff7f8042, 0xff7f8043, 0xff7fff81, 0xff7fff82, |
| 0xffbf8022, 0xffbf8023, 0xffbfff81, 0xffbfff82, |
| 0xffdf8012, 0xffdf8013, 0xffdfff81, 0xffdfff82, |
| 0xffef800a, 0xffef800b, 0xffefff81, 0xffefff82, |
| 0xfff78006, 0xfff78007, 0xfff7ff81, 0xfff7ff82, |
| 0xfffb8004, 0xfffb8005, 0xfffbff81, 0xfffbff82, |
| 0xfffd8003, 0xfffd8004, 0xfffdff81, 0xfffdff82, |
| 0xfffe8003, 0xfffe8004, 0xfffeff81, 0xfffeff82, |
| 0xffff0003, 0xffff0004, 0xffff7f81, 0xffff7f82, |
| 0xffff4003, 0xffff4004, 0xffffbf81, 0xffffbf82, |
| 0xffff6003, 0xffff6004, 0xffffdf81, 0xffffdf82, |
| 0xffff7003, 0xffff7004, 0xffffef81, 0xffffef82, |
| 0xffff7803, 0xffff7804, 0xfffff781, 0xfffff782, |
| 0xffff7c03, 0xffff7c04, 0xfffffb81, 0xfffffb82, |
| 0xffff7e03, 0xffff7e04, 0xfffffd81, 0xfffffd82, |
| 0xffff7f03, 0xffff7f04, 0xfffffe81, 0xfffffe82, |
| 0xffff7f83, 0xffff7f84, 0xffffff01, 0xffffff02, |
| 0xffff7fc3, 0xffff7fc4, 0xffffff41, 0xffffff42, |
| 0xffff7fe3, 0xffff7fe4, 0xffffff61, 0xffffff62, |
| 0xffff7ff3, 0xffff7ff4, 0xffffff71, 0xffffff72, |
| 0xffff7ffb, 0xffff7ffc, 0xffffff79, 0xffffff7a, |
| 0xffff7fff, 0xffff8000, 0xffffff7d, 0xffffff7e, |
| 0xffff8001, 0xffff8002, 0xffffff7f, 0xffffff80, |
| 0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81, |
| 0x7fffc002, 0x7fffffc0, 0x7fffffc1, 0x7fffffc1, |
| 0xbfffa003, 0xbfffffa0, 0xbfffffa1, 0xbfffffa2, |
| 0xdfff9003, 0xdfffff90, 0xdfffff91, 0xdfffff92, |
| 0xefff8803, 0xefffff88, 0xefffff89, 0xefffff8a, |
| 0xf7ff8403, 0xf7ffff84, 0xf7ffff85, 0xf7ffff86, |
| 0xfbff8203, 0xfbffff82, 0xfbffff83, 0xfbffff84, |
| 0xfdff8103, 0xfdffff81, 0xfdffff82, 0xfdffff83, |
| 0xfeff8083, 0xfeffff81, 0xfeffff82, 0xfeffff83, |
| 0xff7f8043, 0xff7fff81, 0xff7fff82, 0xff7fff83, |
| 0xffbf8023, 0xffbfff81, 0xffbfff82, 0xffbfff83, |
| 0xffdf8013, 0xffdfff81, 0xffdfff82, 0xffdfff83, |
| 0xffef800b, 0xffefff81, 0xffefff82, 0xffefff83, |
| 0xfff78007, 0xfff7ff81, 0xfff7ff82, 0xfff7ff83, |
| 0xfffb8005, 0xfffbff81, 0xfffbff82, 0xfffbff83, |
| 0xfffd8004, 0xfffdff81, 0xfffdff82, 0xfffdff83, |
| 0xfffe8004, 0xfffeff81, 0xfffeff82, 0xfffeff83, |
| 0xffff0004, 0xffff7f81, 0xffff7f82, 0xffff7f83, |
| 0xffff4004, 0xffffbf81, 0xffffbf82, 0xffffbf83, |
| 0xffff6004, 0xffffdf81, 0xffffdf82, 0xffffdf83, |
| 0xffff7004, 0xffffef81, 0xffffef82, 0xffffef83, |
| 0xffff7804, 0xfffff781, 0xfffff782, 0xfffff783, |
| 0xffff7c04, 0xfffffb81, 0xfffffb82, 0xfffffb83, |
| 0xffff7e04, 0xfffffd81, 0xfffffd82, 0xfffffd83, |
| 0xffff7f04, 0xfffffe81, 0xfffffe82, 0xfffffe83, |
| 0xffff7f84, 0xffffff01, 0xffffff02, 0xffffff03, |
| 0xffff7fc4, 0xffffff41, 0xffffff42, 0xffffff43, |
| 0xffff7fe4, 0xffffff61, 0xffffff62, 0xffffff63, |
| 0xffff7ff4, 0xffffff71, 0xffffff72, 0xffffff73, |
| 0xffff7ffc, 0xffffff79, 0xffffff7a, 0xffffff7b, |
| 0xffff8000, 0xffffff7d, 0xffffff7e, 0xffffff7f, |
| 0xffff8002, 0xffffff7f, 0xffffff80, 0xffffff81, |
| 0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82, |
| 0x7fffffc0, 0x7fffffc1, 0x7fffffc1, 0x7fffffc2, |
| 0xbfffffa0, 0xbfffffa1, 0xbfffffa2, 0xbfffffa3, |
| 0xdfffff90, 0xdfffff91, 0xdfffff92, 0xdfffff93, |
| 0xefffff88, 0xefffff89, 0xefffff8a, 0xefffff8b, |
| 0xf7ffff84, 0xf7ffff85, 0xf7ffff86, 0xf7ffff87, |
| 0xfbffff82, 0xfbffff83, 0xfbffff84, 0xfbffff85, |
| 0xfdffff81, 0xfdffff82, 0xfdffff83, 0xfdffff84, |
| 0xfeffff81, 0xfeffff82, 0xfeffff83, 0xfeffff84, |
| 0xff7fff81, 0xff7fff82, 0xff7fff83, 0xff7fff84, |
| 0xffbfff81, 0xffbfff82, 0xffbfff83, 0xffbfff84, |
| 0xffdfff81, 0xffdfff82, 0xffdfff83, 0xffdfff84, |
| 0xffefff81, 0xffefff82, 0xffefff83, 0xffefff84, |
| 0xfff7ff81, 0xfff7ff82, 0xfff7ff83, 0xfff7ff84, |
| 0xfffbff81, 0xfffbff82, 0xfffbff83, 0xfffbff84, |
| 0xfffdff81, 0xfffdff82, 0xfffdff83, 0xfffdff84, |
| 0xfffeff81, 0xfffeff82, 0xfffeff83, 0xfffeff84, |
| 0xffff7f81, 0xffff7f82, 0xffff7f83, 0xffff7f84, |
| 0xffffbf81, 0xffffbf82, 0xffffbf83, 0xffffbf84, |
| 0xffffdf81, 0xffffdf82, 0xffffdf83, 0xffffdf84, |
| 0xffffef81, 0xffffef82, 0xffffef83, 0xffffef84, |
| 0xfffff781, 0xfffff782, 0xfffff783, 0xfffff784, |
| 0xfffffb81, 0xfffffb82, 0xfffffb83, 0xfffffb84, |
| 0xfffffd81, 0xfffffd82, 0xfffffd83, 0xfffffd84, |
| 0xfffffe81, 0xfffffe82, 0xfffffe83, 0xfffffe84, |
| 0xffffff01, 0xffffff02, 0xffffff03, 0xffffff04, |
| 0xffffff41, 0xffffff42, 0xffffff43, 0xffffff44, |
| 0xffffff61, 0xffffff62, 0xffffff63, 0xffffff64, |
| 0xffffff71, 0xffffff72, 0xffffff73, 0xffffff74, |
| 0xffffff79, 0xffffff7a, 0xffffff7b, 0xffffff7c, |
| 0xffffff7d, 0xffffff7e, 0xffffff7f, 0xffffff80, |
| 0xffffff7f, 0xffffff80, 0xffffff81, 0xffffff82, |
| 0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83, |
| 0x7fffffc1, 0x7fffffc1, 0x7fffffc2, 0x7ffffff0, |
| 0xbfffffa1, 0xbfffffa2, 0xbfffffa3, 0xbfffffe8, |
| 0xdfffff91, 0xdfffff92, 0xdfffff93, 0xdfffffe4, |
| 0xefffff89, 0xefffff8a, 0xefffff8b, 0xefffffe2, |
| 0xf7ffff85, 0xf7ffff86, 0xf7ffff87, 0xf7ffffe1, |
| 0xfbffff83, 0xfbffff84, 0xfbffff85, 0xfbffffe1, |
| 0xfdffff82, 0xfdffff83, 0xfdffff84, 0xfdffffe1, |
| 0xfeffff82, 0xfeffff83, 0xfeffff84, 0xfeffffe1, |
| 0xff7fff82, 0xff7fff83, 0xff7fff84, 0xff7fffe1, |
| 0xffbfff82, 0xffbfff83, 0xffbfff84, 0xffbfffe1, |
| 0xffdfff82, 0xffdfff83, 0xffdfff84, 0xffdfffe1, |
| 0xffefff82, 0xffefff83, 0xffefff84, 0xffefffe1, |
| 0xfff7ff82, 0xfff7ff83, 0xfff7ff84, 0xfff7ffe1, |
| 0xfffbff82, 0xfffbff83, 0xfffbff84, 0xfffbffe1, |
| 0xfffdff82, 0xfffdff83, 0xfffdff84, 0xfffdffe1, |
| 0xfffeff82, 0xfffeff83, 0xfffeff84, 0xfffeffe1, |
| 0xffff7f82, 0xffff7f83, 0xffff7f84, 0xffff7fe1, |
| 0xffffbf82, 0xffffbf83, 0xffffbf84, 0xffffbfe1, |
| 0xffffdf82, 0xffffdf83, 0xffffdf84, 0xffffdfe1, |
| 0xffffef82, 0xffffef83, 0xffffef84, 0xffffefe1, |
| 0xfffff782, 0xfffff783, 0xfffff784, 0xfffff7e1, |
| 0xfffffb82, 0xfffffb83, 0xfffffb84, 0xfffffbe1, |
| 0xfffffd82, 0xfffffd83, 0xfffffd84, 0xfffffde1, |
| 0xfffffe82, 0xfffffe83, 0xfffffe84, 0xfffffee1, |
| 0xffffff02, 0xffffff03, 0xffffff04, 0xffffff61, |
| 0xffffff42, 0xffffff43, 0xffffff44, 0xffffffa1, |
| 0xffffff62, 0xffffff63, 0xffffff64, 0xffffffc1, |
| 0xffffff72, 0xffffff73, 0xffffff74, 0xffffffd1, |
| 0xffffff7a, 0xffffff7b, 0xffffff7c, 0xffffffd9, |
| 0xffffff7e, 0xffffff7f, 0xffffff80, 0xffffffdd, |
| 0xffffff80, 0xffffff81, 0xffffff82, 0xffffffdf, |
| 0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0, |
| 0x7fffffc1, 0x7fffffc2, 0x7ffffff0, 0x7fffffff, |
| 0xbfffffa2, 0xbfffffa3, 0xbfffffe8, 0xbffffffe, |
| 0xdfffff92, 0xdfffff93, 0xdfffffe4, 0xdffffffe, |
| 0xefffff8a, 0xefffff8b, 0xefffffe2, 0xeffffffe, |
| 0xf7ffff86, 0xf7ffff87, 0xf7ffffe1, 0xf7fffffe, |
| 0xfbffff84, 0xfbffff85, 0xfbffffe1, 0xfbfffffe, |
| 0xfdffff83, 0xfdffff84, 0xfdffffe1, 0xfdfffffe, |
| 0xfeffff83, 0xfeffff84, 0xfeffffe1, 0xfefffffe, |
| 0xff7fff83, 0xff7fff84, 0xff7fffe1, 0xff7ffffe, |
| 0xffbfff83, 0xffbfff84, 0xffbfffe1, 0xffbffffe, |
| 0xffdfff83, 0xffdfff84, 0xffdfffe1, 0xffdffffe, |
| 0xffefff83, 0xffefff84, 0xffefffe1, 0xffeffffe, |
| 0xfff7ff83, 0xfff7ff84, 0xfff7ffe1, 0xfff7fffe, |
| 0xfffbff83, 0xfffbff84, 0xfffbffe1, 0xfffbfffe, |
| 0xfffdff83, 0xfffdff84, 0xfffdffe1, 0xfffdfffe, |
| 0xfffeff83, 0xfffeff84, 0xfffeffe1, 0xfffefffe, |
| 0xffff7f83, 0xffff7f84, 0xffff7fe1, 0xffff7ffe, |
| 0xffffbf83, 0xffffbf84, 0xffffbfe1, 0xffffbffe, |
| 0xffffdf83, 0xffffdf84, 0xffffdfe1, 0xffffdffe, |
| 0xffffef83, 0xffffef84, 0xffffefe1, 0xffffeffe, |
| 0xfffff783, 0xfffff784, 0xfffff7e1, 0xfffff7fe, |
| 0xfffffb83, 0xfffffb84, 0xfffffbe1, 0xfffffbfe, |
| 0xfffffd83, 0xfffffd84, 0xfffffde1, 0xfffffdfe, |
| 0xfffffe83, 0xfffffe84, 0xfffffee1, 0xfffffefe, |
| 0xffffff03, 0xffffff04, 0xffffff61, 0xffffff7e, |
| 0xffffff43, 0xffffff44, 0xffffffa1, 0xffffffbe, |
| 0xffffff63, 0xffffff64, 0xffffffc1, 0xffffffde, |
| 0xffffff73, 0xffffff74, 0xffffffd1, 0xffffffee, |
| 0xffffff7b, 0xffffff7c, 0xffffffd9, 0xfffffff6, |
| 0xffffff7f, 0xffffff80, 0xffffffdd, 0xfffffffa, |
| 0xffffff81, 0xffffff82, 0xffffffdf, 0xfffffffc, |
| 0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd, |
| 0x7fffffc2, 0x7ffffff0, 0x7fffffff, 0x7fffffff, |
| 0xbfffffa3, 0xbfffffe8, 0xbffffffe, 0xbfffffff, |
| 0xdfffff93, 0xdfffffe4, 0xdffffffe, 0xdfffffff, |
| 0xefffff8b, 0xefffffe2, 0xeffffffe, 0xefffffff, |
| 0xf7ffff87, 0xf7ffffe1, 0xf7fffffe, 0xf7ffffff, |
| 0xfbffff85, 0xfbffffe1, 0xfbfffffe, 0xfbffffff, |
| 0xfdffff84, 0xfdffffe1, 0xfdfffffe, 0xfdffffff, |
| 0xfeffff84, 0xfeffffe1, 0xfefffffe, 0xfeffffff, |
| 0xff7fff84, 0xff7fffe1, 0xff7ffffe, 0xff7fffff, |
| 0xffbfff84, 0xffbfffe1, 0xffbffffe, 0xffbfffff, |
| 0xffdfff84, 0xffdfffe1, 0xffdffffe, 0xffdfffff, |
| 0xffefff84, 0xffefffe1, 0xffeffffe, 0xffefffff, |
| 0xfff7ff84, 0xfff7ffe1, 0xfff7fffe, 0xfff7ffff, |
| 0xfffbff84, 0xfffbffe1, 0xfffbfffe, 0xfffbffff, |
| 0xfffdff84, 0xfffdffe1, 0xfffdfffe, 0xfffdffff, |
| 0xfffeff84, 0xfffeffe1, 0xfffefffe, 0xfffeffff, |
| 0xffff7f84, 0xffff7fe1, 0xffff7ffe, 0xffff7fff, |
| 0xffffbf84, 0xffffbfe1, 0xffffbffe, 0xffffbfff, |
| 0xffffdf84, 0xffffdfe1, 0xffffdffe, 0xffffdfff, |
| 0xffffef84, 0xffffefe1, 0xffffeffe, 0xffffefff, |
| 0xfffff784, 0xfffff7e1, 0xfffff7fe, 0xfffff7ff, |
| 0xfffffb84, 0xfffffbe1, 0xfffffbfe, 0xfffffbff, |
| 0xfffffd84, 0xfffffde1, 0xfffffdfe, 0xfffffdff, |
| 0xfffffe84, 0xfffffee1, 0xfffffefe, 0xfffffeff, |
| 0xffffff04, 0xffffff61, 0xffffff7e, 0xffffff7f, |
| 0xffffff44, 0xffffffa1, 0xffffffbe, 0xffffffbf, |
| 0xffffff64, 0xffffffc1, 0xffffffde, 0xffffffdf, |
| 0xffffff74, 0xffffffd1, 0xffffffee, 0xffffffef, |
| 0xffffff7c, 0xffffffd9, 0xfffffff6, 0xfffffff7, |
| 0xffffff80, 0xffffffdd, 0xfffffffa, 0xfffffffb, |
| 0xffffff82, 0xffffffdf, 0xfffffffc, 0xfffffffd, |
| 0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe, |
| 0x7ffffff0, 0x7fffffff, 0x7fffffff, 0x80000000, |
| 0xbfffffe8, 0xbffffffe, 0xbfffffff, 0xc0000000, |
| 0xdfffffe4, 0xdffffffe, 0xdfffffff, 0xe0000000, |
| 0xefffffe2, 0xeffffffe, 0xefffffff, 0xf0000000, |
| 0xf7ffffe1, 0xf7fffffe, 0xf7ffffff, 0xf8000000, |
| 0xfbffffe1, 0xfbfffffe, 0xfbffffff, 0xfc000000, |
| 0xfdffffe1, 0xfdfffffe, 0xfdffffff, 0xfe000000, |
| 0xfeffffe1, 0xfefffffe, 0xfeffffff, 0xff000000, |
| 0xff7fffe1, 0xff7ffffe, 0xff7fffff, 0xff800000, |
| 0xffbfffe1, 0xffbffffe, 0xffbfffff, 0xffc00000, |
| 0xffdfffe1, 0xffdffffe, 0xffdfffff, 0xffe00000, |
| 0xffefffe1, 0xffeffffe, 0xffefffff, 0xfff00000, |
| 0xfff7ffe1, 0xfff7fffe, 0xfff7ffff, 0xfff80000, |
| 0xfffbffe1, 0xfffbfffe, 0xfffbffff, 0xfffc0000, |
| 0xfffdffe1, 0xfffdfffe, 0xfffdffff, 0xfffe0000, |
| 0xfffeffe1, 0xfffefffe, 0xfffeffff, 0xffff0000, |
| 0xffff7fe1, 0xffff7ffe, 0xffff7fff, 0xffff8000, |
| 0xffffbfe1, 0xffffbffe, 0xffffbfff, 0xffffc000, |
| 0xffffdfe1, 0xffffdffe, 0xffffdfff, 0xffffe000, |
| 0xffffefe1, 0xffffeffe, 0xffffefff, 0xfffff000, |
| 0xfffff7e1, 0xfffff7fe, 0xfffff7ff, 0xfffff800, |
| 0xfffffbe1, 0xfffffbfe, 0xfffffbff, 0xfffffc00, |
| 0xfffffde1, 0xfffffdfe, 0xfffffdff, 0xfffffe00, |
| 0xfffffee1, 0xfffffefe, 0xfffffeff, 0xffffff00, |
| 0xffffff61, 0xffffff7e, 0xffffff7f, 0xffffff80, |
| 0xffffffa1, 0xffffffbe, 0xffffffbf, 0xffffffc0, |
| 0xffffffc1, 0xffffffde, 0xffffffdf, 0xffffffe0, |
| 0xffffffd1, 0xffffffee, 0xffffffef, 0xfffffff0, |
| 0xffffffd9, 0xfffffff6, 0xfffffff7, 0xfffffff8, |
| 0xffffffdd, 0xfffffffa, 0xfffffffb, 0xfffffffc, |
| 0xffffffdf, 0xfffffffc, 0xfffffffd, 0xfffffffe, |
| 0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff, |
| }; |
| const unsigned kExpectedCount_NEON_ursra_4S_2OPIMM = 992; |
| |
| #endif // VIXL_SIM_URSRA_4S_2OPIMM_TRACE_AARCH64_H_ |
