1// Copyright 2015, VIXL authors
2// All rights reserved.
3//
4// Redistribution and use in source and binary forms, with or without
5// modification, are permitted provided that the following conditions are met:
6//
7//   * Redistributions of source code must retain the above copyright notice,
8//     this list of conditions and the following disclaimer.
9//   * Redistributions in binary form must reproduce the above copyright notice,
10//     this list of conditions and the following disclaimer in the documentation
11//     and/or other materials provided with the distribution.
12//   * Neither the name of ARM Limited nor the names of its contributors may be
13//     used to endorse or promote products derived from this software without
14//     specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26
27
28// ---------------------------------------------------------------------
29// This file is auto generated using tools/generate_simulator_traces.py.
30//
31// PLEASE DO NOT EDIT.
32// ---------------------------------------------------------------------
33
34#ifndef VIXL_SIM_USUBW2_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_USUBW2_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_usubw2_8H[] = {
38  0xfffb, 0xffd5, 0x3267, 0x545d, 0x7f00, 0x7f00, 0x7f00, 0x0000,
39  0xffd4, 0xffb3, 0x323b, 0x5458, 0x7eff, 0x7eff, 0x7fff, 0xffff,
40  0xffb2, 0xff87, 0x3236, 0x5457, 0x7efe, 0x7ffe, 0x7ffe, 0xfffe,
41  0xff86, 0xff82, 0x3235, 0x5456, 0x7ffd, 0x7ffd, 0x7ffd, 0xfff8,
42  0xff81, 0xff81, 0x3234, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0xffcd,
43  0xff80, 0xff80, 0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0xffab,
44  0xff7f, 0x007f, 0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0xff83,
45  0x007e, 0x007e, 0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82, 0xff82,
46  0x007d, 0x007d, 0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81, 0xff81,
47  0x007c, 0x0077, 0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80, 0xff80,
48  0x0076, 0x004c, 0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x7f7f, 0xff7f,
49  0x004b, 0x002a, 0x32b6, 0x54d7, 0x7f7e, 0x7f7e, 0x7f7e, 0xff7e,
50  0x0029, 0x0002, 0x32b5, 0x54d6, 0x7f7d, 0x7f7d, 0x7f7d, 0xff7d,
51  0x0001, 0x0001, 0x32b4, 0x54d5, 0x7f7c, 0x7f7c, 0x7f7c, 0xff56,
52  0x0000, 0x0000, 0x32b3, 0x54d4, 0x7f7b, 0x7f7b, 0x7f55, 0xff34,
53  0xffff, 0xffff, 0x32b2, 0x54d3, 0x7f7a, 0x7f54, 0x7f33, 0xff08,
54  0xfffe, 0xfffe, 0x32b1, 0x54d2, 0x7f53, 0x7f32, 0x7f07, 0xff03,
55  0xfffd, 0xfffd, 0x32b0, 0x54ab, 0x7f31, 0x7f06, 0x7f02, 0xff02,
56  0xfffc, 0xfffc, 0x3289, 0x5489, 0x7f05, 0x7f01, 0x7f01, 0xff01,
57  0xfffc, 0x3289, 0x5489, 0x7f05, 0x7f01, 0x7f01, 0xff01, 0x0001,
58  0xffd5, 0x3267, 0x545d, 0x7f00, 0x7f00, 0x7f00, 0x0000, 0x0000,
59  0xffb3, 0x323b, 0x5458, 0x7eff, 0x7eff, 0x7fff, 0xffff, 0xffff,
60  0xff87, 0x3236, 0x5457, 0x7efe, 0x7ffe, 0x7ffe, 0xfffe, 0xfff9,
61  0xff82, 0x3235, 0x5456, 0x7ffd, 0x7ffd, 0x7ffd, 0xfff8, 0xffce,
62  0xff81, 0x3234, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0xffcd, 0xffac,
63  0xff80, 0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0xffab, 0xff84,
64  0x007f, 0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0xff83, 0xff83,
65  0x007e, 0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82, 0xff82, 0xff82,
66  0x007d, 0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81, 0xff81, 0xff81,
67  0x0077, 0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80, 0xff80, 0xff80,
68  0x004c, 0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x7f7f, 0xff7f, 0xff7f,
69  0x002a, 0x32b6, 0x54d7, 0x7f7e, 0x7f7e, 0x7f7e, 0xff7e, 0xff7e,
70  0x0002, 0x32b5, 0x54d6, 0x7f7d, 0x7f7d, 0x7f7d, 0xff7d, 0xff57,
71  0x0001, 0x32b4, 0x54d5, 0x7f7c, 0x7f7c, 0x7f7c, 0xff56, 0xff35,
72  0x0000, 0x32b3, 0x54d4, 0x7f7b, 0x7f7b, 0x7f55, 0xff34, 0xff09,
73  0xffff, 0x32b2, 0x54d3, 0x7f7a, 0x7f54, 0x7f33, 0xff08, 0xff04,
74  0xfffe, 0x32b1, 0x54d2, 0x7f53, 0x7f32, 0x7f07, 0xff03, 0xff03,
75  0xfffd, 0x32b0, 0x54ab, 0x7f31, 0x7f06, 0x7f02, 0xff02, 0xff02,
76  0x32b0, 0x54ab, 0x7f31, 0x7f06, 0x7f02, 0xff02, 0xff02, 0x0002,
77  0x3289, 0x5489, 0x7f05, 0x7f01, 0x7f01, 0xff01, 0x0001, 0x0001,
78  0x3267, 0x545d, 0x7f00, 0x7f00, 0x7f00, 0x0000, 0x0000, 0x0000,
79  0x323b, 0x5458, 0x7eff, 0x7eff, 0x7fff, 0xffff, 0xffff, 0xfffa,
80  0x3236, 0x5457, 0x7efe, 0x7ffe, 0x7ffe, 0xfffe, 0xfff9, 0xffcf,
81  0x3235, 0x5456, 0x7ffd, 0x7ffd, 0x7ffd, 0xfff8, 0xffce, 0xffad,
82  0x3234, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0xffcd, 0xffac, 0xff85,
83  0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0xffab, 0xff84, 0xff84,
84  0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0xff83, 0xff83, 0xff83,
85  0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82, 0xff82, 0xff82, 0xff82,
86  0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81, 0xff81, 0xff81, 0xff81,
87  0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80, 0xff80, 0xff80, 0xff80,
88  0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x7f7f, 0xff7f, 0xff7f, 0xff7f,
89  0x32b6, 0x54d7, 0x7f7e, 0x7f7e, 0x7f7e, 0xff7e, 0xff7e, 0xff58,
90  0x32b5, 0x54d6, 0x7f7d, 0x7f7d, 0x7f7d, 0xff7d, 0xff57, 0xff36,
91  0x32b4, 0x54d5, 0x7f7c, 0x7f7c, 0x7f7c, 0xff56, 0xff35, 0xff0a,
92  0x32b3, 0x54d4, 0x7f7b, 0x7f7b, 0x7f55, 0xff34, 0xff09, 0xff05,
93  0x32b2, 0x54d3, 0x7f7a, 0x7f54, 0x7f33, 0xff08, 0xff04, 0xff04,
94  0x32b1, 0x54d2, 0x7f53, 0x7f32, 0x7f07, 0xff03, 0xff03, 0xff03,
95  0x54d2, 0x7f53, 0x7f32, 0x7f07, 0xff03, 0xff03, 0xff03, 0x0010,
96  0x54ab, 0x7f31, 0x7f06, 0x7f02, 0xff02, 0xff02, 0x0002, 0x000f,
97  0x5489, 0x7f05, 0x7f01, 0x7f01, 0xff01, 0x0001, 0x0001, 0x000e,
98  0x545d, 0x7f00, 0x7f00, 0x7f00, 0x0000, 0x0000, 0x0000, 0x0008,
99  0x5458, 0x7eff, 0x7eff, 0x7fff, 0xffff, 0xffff, 0xfffa, 0xffdd,
100  0x5457, 0x7efe, 0x7ffe, 0x7ffe, 0xfffe, 0xfff9, 0xffcf, 0xffbb,
101  0x5456, 0x7ffd, 0x7ffd, 0x7ffd, 0xfff8, 0xffce, 0xffad, 0xff93,
102  0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0xffcd, 0xffac, 0xff85, 0xff92,
103  0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0xffab, 0xff84, 0xff84, 0xff91,
104  0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0xff83, 0xff83, 0xff83, 0xff90,
105  0x554d, 0x7fca, 0x7fa9, 0x7f82, 0xff82, 0xff82, 0xff82, 0xff8f,
106  0x5522, 0x7fa8, 0x7f81, 0x7f81, 0xff81, 0xff81, 0xff81, 0xff8e,
107  0x5500, 0x7f80, 0x7f80, 0x7f80, 0xff80, 0xff80, 0xff80, 0xff8d,
108  0x54d8, 0x7f7f, 0x7f7f, 0x7f7f, 0xff7f, 0xff7f, 0xff7f, 0xff66,
109  0x54d7, 0x7f7e, 0x7f7e, 0x7f7e, 0xff7e, 0xff7e, 0xff58, 0xff44,
110  0x54d6, 0x7f7d, 0x7f7d, 0x7f7d, 0xff7d, 0xff57, 0xff36, 0xff18,
111  0x54d5, 0x7f7c, 0x7f7c, 0x7f7c, 0xff56, 0xff35, 0xff0a, 0xff13,
112  0x54d4, 0x7f7b, 0x7f7b, 0x7f55, 0xff34, 0xff09, 0xff05, 0xff12,
113  0x54d3, 0x7f7a, 0x7f54, 0x7f33, 0xff08, 0xff04, 0xff04, 0xff11,
114  0x7f7a, 0x7f54, 0x7f33, 0xff08, 0xff04, 0xff04, 0xff11, 0x007d,
115  0x7f53, 0x7f32, 0x7f07, 0xff03, 0xff03, 0xff03, 0x0010, 0x007c,
116  0x7f31, 0x7f06, 0x7f02, 0xff02, 0xff02, 0x0002, 0x000f, 0x007b,
117  0x7f05, 0x7f01, 0x7f01, 0xff01, 0x0001, 0x0001, 0x000e, 0x0075,
118  0x7f00, 0x7f00, 0x7f00, 0x0000, 0x0000, 0x0000, 0x0008, 0x004a,
119  0x7eff, 0x7eff, 0x7fff, 0xffff, 0xffff, 0xfffa, 0xffdd, 0x0028,
120  0x7efe, 0x7ffe, 0x7ffe, 0xfffe, 0xfff9, 0xffcf, 0xffbb, 0x0000,
121  0x7ffd, 0x7ffd, 0x7ffd, 0xfff8, 0xffce, 0xffad, 0xff93, 0xffff,
122  0x7ffc, 0x7ffc, 0x7ff7, 0xffcd, 0xffac, 0xff85, 0xff92, 0xfffe,
123  0x7ffb, 0x7ff6, 0x7fcc, 0xffab, 0xff84, 0xff84, 0xff91, 0xfffd,
124  0x7ff5, 0x7fcb, 0x7faa, 0xff83, 0xff83, 0xff83, 0xff90, 0xfffc,
125  0x7fca, 0x7fa9, 0x7f82, 0xff82, 0xff82, 0xff82, 0xff8f, 0xfffb,
126  0x7fa8, 0x7f81, 0x7f81, 0xff81, 0xff81, 0xff81, 0xff8e, 0xfffa,
127  0x7f80, 0x7f80, 0x7f80, 0xff80, 0xff80, 0xff80, 0xff8d, 0xffd3,
128  0x7f7f, 0x7f7f, 0x7f7f, 0xff7f, 0xff7f, 0xff7f, 0xff66, 0xffb1,
129  0x7f7e, 0x7f7e, 0x7f7e, 0xff7e, 0xff7e, 0xff58, 0xff44, 0xff85,
130  0x7f7d, 0x7f7d, 0x7f7d, 0xff7d, 0xff57, 0xff36, 0xff18, 0xff80,
131  0x7f7c, 0x7f7c, 0x7f7c, 0xff56, 0xff35, 0xff0a, 0xff13, 0xff7f,
132  0x7f7b, 0x7f7b, 0x7f55, 0xff34, 0xff09, 0xff05, 0xff12, 0xff7e,
133  0x7f7b, 0x7f55, 0xff34, 0xff09, 0xff05, 0xff12, 0xff7e, 0x007e,
134  0x7f54, 0x7f33, 0xff08, 0xff04, 0xff04, 0xff11, 0x007d, 0x007d,
135  0x7f32, 0x7f07, 0xff03, 0xff03, 0xff03, 0x0010, 0x007c, 0x007c,
136  0x7f06, 0x7f02, 0xff02, 0xff02, 0x0002, 0x000f, 0x007b, 0x0076,
137  0x7f01, 0x7f01, 0xff01, 0x0001, 0x0001, 0x000e, 0x0075, 0x004b,
138  0x7f00, 0x7f00, 0x0000, 0x0000, 0x0000, 0x0008, 0x004a, 0x0029,
139  0x7eff, 0x7fff, 0xffff, 0xffff, 0xfffa, 0xffdd, 0x0028, 0x0001,
140  0x7ffe, 0x7ffe, 0xfffe, 0xfff9, 0xffcf, 0xffbb, 0x0000, 0x0000,
141  0x7ffd, 0x7ffd, 0xfff8, 0xffce, 0xffad, 0xff93, 0xffff, 0xffff,
142  0x7ffc, 0x7ff7, 0xffcd, 0xffac, 0xff85, 0xff92, 0xfffe, 0xfffe,
143  0x7ff6, 0x7fcc, 0xffab, 0xff84, 0xff84, 0xff91, 0xfffd, 0xfffd,
144  0x7fcb, 0x7faa, 0xff83, 0xff83, 0xff83, 0xff90, 0xfffc, 0xfffc,
145  0x7fa9, 0x7f82, 0xff82, 0xff82, 0xff82, 0xff8f, 0xfffb, 0xfffb,
146  0x7f81, 0x7f81, 0xff81, 0xff81, 0xff81, 0xff8e, 0xfffa, 0xffd4,
147  0x7f80, 0x7f80, 0xff80, 0xff80, 0xff80, 0xff8d, 0xffd3, 0xffb2,
148  0x7f7f, 0x7f7f, 0xff7f, 0xff7f, 0xff7f, 0xff66, 0xffb1, 0xff86,
149  0x7f7e, 0x7f7e, 0xff7e, 0xff7e, 0xff58, 0xff44, 0xff85, 0xff81,
150  0x7f7d, 0x7f7d, 0xff7d, 0xff57, 0xff36, 0xff18, 0xff80, 0xff80,
151  0x7f7c, 0x7f7c, 0xff56, 0xff35, 0xff0a, 0xff13, 0xff7f, 0xff7f,
152  0x7f7c, 0xff56, 0xff35, 0xff0a, 0xff13, 0xff7f, 0xff7f, 0x007f,
153  0x7f55, 0xff34, 0xff09, 0xff05, 0xff12, 0xff7e, 0x007e, 0x007e,
154  0x7f33, 0xff08, 0xff04, 0xff04, 0xff11, 0x007d, 0x007d, 0x007d,
155  0x7f07, 0xff03, 0xff03, 0xff03, 0x0010, 0x007c, 0x007c, 0x0077,
156  0x7f02, 0xff02, 0xff02, 0x0002, 0x000f, 0x007b, 0x0076, 0x004c,
157  0x7f01, 0xff01, 0x0001, 0x0001, 0x000e, 0x0075, 0x004b, 0x002a,
158  0x7f00, 0x0000, 0x0000, 0x0000, 0x0008, 0x004a, 0x0029, 0x0002,
159  0x7fff, 0xffff, 0xffff, 0xfffa, 0xffdd, 0x0028, 0x0001, 0x0001,
160  0x7ffe, 0xfffe, 0xfff9, 0xffcf, 0xffbb, 0x0000, 0x0000, 0x0000,
161  0x7ffd, 0xfff8, 0xffce, 0xffad, 0xff93, 0xffff, 0xffff, 0xffff,
162  0x7ff7, 0xffcd, 0xffac, 0xff85, 0xff92, 0xfffe, 0xfffe, 0xfffe,
163  0x7fcc, 0xffab, 0xff84, 0xff84, 0xff91, 0xfffd, 0xfffd, 0xfffd,
164  0x7faa, 0xff83, 0xff83, 0xff83, 0xff90, 0xfffc, 0xfffc, 0xfffc,
165  0x7f82, 0xff82, 0xff82, 0xff82, 0xff8f, 0xfffb, 0xfffb, 0xffd5,
166  0x7f81, 0xff81, 0xff81, 0xff81, 0xff8e, 0xfffa, 0xffd4, 0xffb3,
167  0x7f80, 0xff80, 0xff80, 0xff80, 0xff8d, 0xffd3, 0xffb2, 0xff87,
168  0x7f7f, 0xff7f, 0xff7f, 0xff7f, 0xff66, 0xffb1, 0xff86, 0xff82,
169  0x7f7e, 0xff7e, 0xff7e, 0xff58, 0xff44, 0xff85, 0xff81, 0xff81,
170  0x7f7d, 0xff7d, 0xff57, 0xff36, 0xff18, 0xff80, 0xff80, 0xff80,
171  0xff7d, 0xff57, 0xff36, 0xff18, 0xff80, 0xff80, 0xff80, 0x3333,
172  0xff56, 0xff35, 0xff0a, 0xff13, 0xff7f, 0xff7f, 0x007f, 0x3332,
173  0xff34, 0xff09, 0xff05, 0xff12, 0xff7e, 0x007e, 0x007e, 0x3331,
174  0xff08, 0xff04, 0xff04, 0xff11, 0x007d, 0x007d, 0x007d, 0x332b,
175  0xff03, 0xff03, 0xff03, 0x0010, 0x007c, 0x007c, 0x0077, 0x3300,
176  0xff02, 0xff02, 0x0002, 0x000f, 0x007b, 0x0076, 0x004c, 0x32de,
177  0xff01, 0x0001, 0x0001, 0x000e, 0x0075, 0x004b, 0x002a, 0x32b6,
178  0x0000, 0x0000, 0x0000, 0x0008, 0x004a, 0x0029, 0x0002, 0x32b5,
179  0xffff, 0xffff, 0xfffa, 0xffdd, 0x0028, 0x0001, 0x0001, 0x32b4,
180  0xfffe, 0xfff9, 0xffcf, 0xffbb, 0x0000, 0x0000, 0x0000, 0x32b3,
181  0xfff8, 0xffce, 0xffad, 0xff93, 0xffff, 0xffff, 0xffff, 0x32b2,
182  0xffcd, 0xffac, 0xff85, 0xff92, 0xfffe, 0xfffe, 0xfffe, 0x32b1,
183  0xffab, 0xff84, 0xff84, 0xff91, 0xfffd, 0xfffd, 0xfffd, 0x32b0,
184  0xff83, 0xff83, 0xff83, 0xff90, 0xfffc, 0xfffc, 0xfffc, 0x3289,
185  0xff82, 0xff82, 0xff82, 0xff8f, 0xfffb, 0xfffb, 0xffd5, 0x3267,
186  0xff81, 0xff81, 0xff81, 0xff8e, 0xfffa, 0xffd4, 0xffb3, 0x323b,
187  0xff80, 0xff80, 0xff80, 0xff8d, 0xffd3, 0xffb2, 0xff87, 0x3236,
188  0xff7f, 0xff7f, 0xff7f, 0xff66, 0xffb1, 0xff86, 0xff82, 0x3235,
189  0xff7e, 0xff7e, 0xff58, 0xff44, 0xff85, 0xff81, 0xff81, 0x3234,
190  0xff7e, 0xff58, 0xff44, 0xff85, 0xff81, 0xff81, 0x3234, 0x5555,
191  0xff57, 0xff36, 0xff18, 0xff80, 0xff80, 0xff80, 0x3333, 0x5554,
192  0xff35, 0xff0a, 0xff13, 0xff7f, 0xff7f, 0x007f, 0x3332, 0x5553,
193  0xff09, 0xff05, 0xff12, 0xff7e, 0x007e, 0x007e, 0x3331, 0x554d,
194  0xff04, 0xff04, 0xff11, 0x007d, 0x007d, 0x007d, 0x332b, 0x5522,
195  0xff03, 0xff03, 0x0010, 0x007c, 0x007c, 0x0077, 0x3300, 0x5500,
196  0xff02, 0x0002, 0x000f, 0x007b, 0x0076, 0x004c, 0x32de, 0x54d8,
197  0x0001, 0x0001, 0x000e, 0x0075, 0x004b, 0x002a, 0x32b6, 0x54d7,
198  0x0000, 0x0000, 0x0008, 0x004a, 0x0029, 0x0002, 0x32b5, 0x54d6,
199  0xffff, 0xfffa, 0xffdd, 0x0028, 0x0001, 0x0001, 0x32b4, 0x54d5,
200  0xfff9, 0xffcf, 0xffbb, 0x0000, 0x0000, 0x0000, 0x32b3, 0x54d4,
201  0xffce, 0xffad, 0xff93, 0xffff, 0xffff, 0xffff, 0x32b2, 0x54d3,
202  0xffac, 0xff85, 0xff92, 0xfffe, 0xfffe, 0xfffe, 0x32b1, 0x54d2,
203  0xff84, 0xff84, 0xff91, 0xfffd, 0xfffd, 0xfffd, 0x32b0, 0x54ab,
204  0xff83, 0xff83, 0xff90, 0xfffc, 0xfffc, 0xfffc, 0x3289, 0x5489,
205  0xff82, 0xff82, 0xff8f, 0xfffb, 0xfffb, 0xffd5, 0x3267, 0x545d,
206  0xff81, 0xff81, 0xff8e, 0xfffa, 0xffd4, 0xffb3, 0x323b, 0x5458,
207  0xff80, 0xff80, 0xff8d, 0xffd3, 0xffb2, 0xff87, 0x3236, 0x5457,
208  0xff7f, 0xff7f, 0xff66, 0xffb1, 0xff86, 0xff82, 0x3235, 0x5456,
209  0xff7f, 0xff66, 0xffb1, 0xff86, 0xff82, 0x3235, 0x5456, 0x7ffd,
210  0xff58, 0xff44, 0xff85, 0xff81, 0xff81, 0x3234, 0x5555, 0x7ffc,
211  0xff36, 0xff18, 0xff80, 0xff80, 0xff80, 0x3333, 0x5554, 0x7ffb,
212  0xff0a, 0xff13, 0xff7f, 0xff7f, 0x007f, 0x3332, 0x5553, 0x7ff5,
213  0xff05, 0xff12, 0xff7e, 0x007e, 0x007e, 0x3331, 0x554d, 0x7fca,
214  0xff04, 0xff11, 0x007d, 0x007d, 0x007d, 0x332b, 0x5522, 0x7fa8,
215  0xff03, 0x0010, 0x007c, 0x007c, 0x0077, 0x3300, 0x5500, 0x7f80,
216  0x0002, 0x000f, 0x007b, 0x0076, 0x004c, 0x32de, 0x54d8, 0x7f7f,
217  0x0001, 0x000e, 0x0075, 0x004b, 0x002a, 0x32b6, 0x54d7, 0x7f7e,
218  0x0000, 0x0008, 0x004a, 0x0029, 0x0002, 0x32b5, 0x54d6, 0x7f7d,
219  0xfffa, 0xffdd, 0x0028, 0x0001, 0x0001, 0x32b4, 0x54d5, 0x7f7c,
220  0xffcf, 0xffbb, 0x0000, 0x0000, 0x0000, 0x32b3, 0x54d4, 0x7f7b,
221  0xffad, 0xff93, 0xffff, 0xffff, 0xffff, 0x32b2, 0x54d3, 0x7f7a,
222  0xff85, 0xff92, 0xfffe, 0xfffe, 0xfffe, 0x32b1, 0x54d2, 0x7f53,
223  0xff84, 0xff91, 0xfffd, 0xfffd, 0xfffd, 0x32b0, 0x54ab, 0x7f31,
224  0xff83, 0xff90, 0xfffc, 0xfffc, 0xfffc, 0x3289, 0x5489, 0x7f05,
225  0xff82, 0xff8f, 0xfffb, 0xfffb, 0xffd5, 0x3267, 0x545d, 0x7f00,
226  0xff81, 0xff8e, 0xfffa, 0xffd4, 0xffb3, 0x323b, 0x5458, 0x7eff,
227  0xff80, 0xff8d, 0xffd3, 0xffb2, 0xff87, 0x3236, 0x5457, 0x7efe,
228  0xff8d, 0xffd3, 0xffb2, 0xff87, 0x3236, 0x5457, 0x7efe, 0x7ffe,
229  0xff66, 0xffb1, 0xff86, 0xff82, 0x3235, 0x5456, 0x7ffd, 0x7ffd,
230  0xff44, 0xff85, 0xff81, 0xff81, 0x3234, 0x5555, 0x7ffc, 0x7ffc,
231  0xff18, 0xff80, 0xff80, 0xff80, 0x3333, 0x5554, 0x7ffb, 0x7ff6,
232  0xff13, 0xff7f, 0xff7f, 0x007f, 0x3332, 0x5553, 0x7ff5, 0x7fcb,
233  0xff12, 0xff7e, 0x007e, 0x007e, 0x3331, 0x554d, 0x7fca, 0x7fa9,
234  0xff11, 0x007d, 0x007d, 0x007d, 0x332b, 0x5522, 0x7fa8, 0x7f81,
235  0x0010, 0x007c, 0x007c, 0x0077, 0x3300, 0x5500, 0x7f80, 0x7f80,
236  0x000f, 0x007b, 0x0076, 0x004c, 0x32de, 0x54d8, 0x7f7f, 0x7f7f,
237  0x000e, 0x0075, 0x004b, 0x002a, 0x32b6, 0x54d7, 0x7f7e, 0x7f7e,
238  0x0008, 0x004a, 0x0029, 0x0002, 0x32b5, 0x54d6, 0x7f7d, 0x7f7d,
239  0xffdd, 0x0028, 0x0001, 0x0001, 0x32b4, 0x54d5, 0x7f7c, 0x7f7c,
240  0xffbb, 0x0000, 0x0000, 0x0000, 0x32b3, 0x54d4, 0x7f7b, 0x7f7b,
241  0xff93, 0xffff, 0xffff, 0xffff, 0x32b2, 0x54d3, 0x7f7a, 0x7f54,
242  0xff92, 0xfffe, 0xfffe, 0xfffe, 0x32b1, 0x54d2, 0x7f53, 0x7f32,
243  0xff91, 0xfffd, 0xfffd, 0xfffd, 0x32b0, 0x54ab, 0x7f31, 0x7f06,
244  0xff90, 0xfffc, 0xfffc, 0xfffc, 0x3289, 0x5489, 0x7f05, 0x7f01,
245  0xff8f, 0xfffb, 0xfffb, 0xffd5, 0x3267, 0x545d, 0x7f00, 0x7f00,
246  0xff8e, 0xfffa, 0xffd4, 0xffb3, 0x323b, 0x5458, 0x7eff, 0x7eff,
247  0xfffa, 0xffd4, 0xffb3, 0x323b, 0x5458, 0x7eff, 0x7eff, 0x7fff,
248  0xffd3, 0xffb2, 0xff87, 0x3236, 0x5457, 0x7efe, 0x7ffe, 0x7ffe,
249  0xffb1, 0xff86, 0xff82, 0x3235, 0x5456, 0x7ffd, 0x7ffd, 0x7ffd,
250  0xff85, 0xff81, 0xff81, 0x3234, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7,
251  0xff80, 0xff80, 0xff80, 0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc,
252  0xff7f, 0xff7f, 0x007f, 0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa,
253  0xff7e, 0x007e, 0x007e, 0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82,
254  0x007d, 0x007d, 0x007d, 0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81,
255  0x007c, 0x007c, 0x0077, 0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80,
256  0x007b, 0x0076, 0x004c, 0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x7f7f,
257  0x0075, 0x004b, 0x002a, 0x32b6, 0x54d7, 0x7f7e, 0x7f7e, 0x7f7e,
258  0x004a, 0x0029, 0x0002, 0x32b5, 0x54d6, 0x7f7d, 0x7f7d, 0x7f7d,
259  0x0028, 0x0001, 0x0001, 0x32b4, 0x54d5, 0x7f7c, 0x7f7c, 0x7f7c,
260  0x0000, 0x0000, 0x0000, 0x32b3, 0x54d4, 0x7f7b, 0x7f7b, 0x7f55,
261  0xffff, 0xffff, 0xffff, 0x32b2, 0x54d3, 0x7f7a, 0x7f54, 0x7f33,
262  0xfffe, 0xfffe, 0xfffe, 0x32b1, 0x54d2, 0x7f53, 0x7f32, 0x7f07,
263  0xfffd, 0xfffd, 0xfffd, 0x32b0, 0x54ab, 0x7f31, 0x7f06, 0x7f02,
264  0xfffc, 0xfffc, 0xfffc, 0x3289, 0x5489, 0x7f05, 0x7f01, 0x7f01,
265  0xfffb, 0xfffb, 0xffd5, 0x3267, 0x545d, 0x7f00, 0x7f00, 0x7f00,
266  0xfffb, 0xffd5, 0x3267, 0x545d, 0x7f00, 0x7f00, 0x7f00, 0x8000,
267  0xffd4, 0xffb3, 0x323b, 0x5458, 0x7eff, 0x7eff, 0x7fff, 0x7fff,
268  0xffb2, 0xff87, 0x3236, 0x5457, 0x7efe, 0x7ffe, 0x7ffe, 0x7ffe,
269  0xff86, 0xff82, 0x3235, 0x5456, 0x7ffd, 0x7ffd, 0x7ffd, 0x7ff8,
270  0xff81, 0xff81, 0x3234, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0x7fcd,
271  0xff80, 0xff80, 0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0x7fab,
272  0xff7f, 0x007f, 0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0x7f83,
273  0x007e, 0x007e, 0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82, 0x7f82,
274  0x007d, 0x007d, 0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81, 0x7f81,
275  0x007c, 0x0077, 0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80, 0x7f80,
276  0x0076, 0x004c, 0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x7f7f, 0x7f7f,
277  0x004b, 0x002a, 0x32b6, 0x54d7, 0x7f7e, 0x7f7e, 0x7f7e, 0x7f7e,
278  0x0029, 0x0002, 0x32b5, 0x54d6, 0x7f7d, 0x7f7d, 0x7f7d, 0x7f7d,
279  0x0001, 0x0001, 0x32b4, 0x54d5, 0x7f7c, 0x7f7c, 0x7f7c, 0x7f56,
280  0x0000, 0x0000, 0x32b3, 0x54d4, 0x7f7b, 0x7f7b, 0x7f55, 0x7f34,
281  0xffff, 0xffff, 0x32b2, 0x54d3, 0x7f7a, 0x7f54, 0x7f33, 0x7f08,
282  0xfffe, 0xfffe, 0x32b1, 0x54d2, 0x7f53, 0x7f32, 0x7f07, 0x7f03,
283  0xfffd, 0xfffd, 0x32b0, 0x54ab, 0x7f31, 0x7f06, 0x7f02, 0x7f02,
284  0xfffc, 0xfffc, 0x3289, 0x5489, 0x7f05, 0x7f01, 0x7f01, 0x7f01,
285  0xfffc, 0x3289, 0x5489, 0x7f05, 0x7f01, 0x7f01, 0x7f01, 0x8001,
286  0xffd5, 0x3267, 0x545d, 0x7f00, 0x7f00, 0x7f00, 0x8000, 0x8000,
287  0xffb3, 0x323b, 0x5458, 0x7eff, 0x7eff, 0x7fff, 0x7fff, 0x7fff,
288  0xff87, 0x3236, 0x5457, 0x7efe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ff9,
289  0xff82, 0x3235, 0x5456, 0x7ffd, 0x7ffd, 0x7ffd, 0x7ff8, 0x7fce,
290  0xff81, 0x3234, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0x7fcd, 0x7fac,
291  0xff80, 0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0x7fab, 0x7f84,
292  0x007f, 0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0x7f83, 0x7f83,
293  0x007e, 0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82, 0x7f82, 0x7f82,
294  0x007d, 0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81, 0x7f81, 0x7f81,
295  0x0077, 0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80, 0x7f80, 0x7f80,
296  0x004c, 0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x7f7f, 0x7f7f, 0x7f7f,
297  0x002a, 0x32b6, 0x54d7, 0x7f7e, 0x7f7e, 0x7f7e, 0x7f7e, 0x7f7e,
298  0x0002, 0x32b5, 0x54d6, 0x7f7d, 0x7f7d, 0x7f7d, 0x7f7d, 0x7f57,
299  0x0001, 0x32b4, 0x54d5, 0x7f7c, 0x7f7c, 0x7f7c, 0x7f56, 0x7f35,
300  0x0000, 0x32b3, 0x54d4, 0x7f7b, 0x7f7b, 0x7f55, 0x7f34, 0x7f09,
301  0xffff, 0x32b2, 0x54d3, 0x7f7a, 0x7f54, 0x7f33, 0x7f08, 0x7f04,
302  0xfffe, 0x32b1, 0x54d2, 0x7f53, 0x7f32, 0x7f07, 0x7f03, 0x7f03,
303  0xfffd, 0x32b0, 0x54ab, 0x7f31, 0x7f06, 0x7f02, 0x7f02, 0x7f02,
304  0x32b0, 0x54ab, 0x7f31, 0x7f06, 0x7f02, 0x7f02, 0x7f02, 0xaaaa,
305  0x3289, 0x5489, 0x7f05, 0x7f01, 0x7f01, 0x7f01, 0x8001, 0xaaa9,
306  0x3267, 0x545d, 0x7f00, 0x7f00, 0x7f00, 0x8000, 0x8000, 0xaaa8,
307  0x323b, 0x5458, 0x7eff, 0x7eff, 0x7fff, 0x7fff, 0x7fff, 0xaaa2,
308  0x3236, 0x5457, 0x7efe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ff9, 0xaa77,
309  0x3235, 0x5456, 0x7ffd, 0x7ffd, 0x7ffd, 0x7ff8, 0x7fce, 0xaa55,
310  0x3234, 0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0x7fcd, 0x7fac, 0xaa2d,
311  0x3333, 0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0x7fab, 0x7f84, 0xaa2c,
312  0x3332, 0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0x7f83, 0x7f83, 0xaa2b,
313  0x3331, 0x554d, 0x7fca, 0x7fa9, 0x7f82, 0x7f82, 0x7f82, 0xaa2a,
314  0x332b, 0x5522, 0x7fa8, 0x7f81, 0x7f81, 0x7f81, 0x7f81, 0xaa29,
315  0x3300, 0x5500, 0x7f80, 0x7f80, 0x7f80, 0x7f80, 0x7f80, 0xaa28,
316  0x32de, 0x54d8, 0x7f7f, 0x7f7f, 0x7f7f, 0x7f7f, 0x7f7f, 0xaa27,
317  0x32b6, 0x54d7, 0x7f7e, 0x7f7e, 0x7f7e, 0x7f7e, 0x7f7e, 0xaa00,
318  0x32b5, 0x54d6, 0x7f7d, 0x7f7d, 0x7f7d, 0x7f7d, 0x7f57, 0xa9de,
319  0x32b4, 0x54d5, 0x7f7c, 0x7f7c, 0x7f7c, 0x7f56, 0x7f35, 0xa9b2,
320  0x32b3, 0x54d4, 0x7f7b, 0x7f7b, 0x7f55, 0x7f34, 0x7f09, 0xa9ad,
321  0x32b2, 0x54d3, 0x7f7a, 0x7f54, 0x7f33, 0x7f08, 0x7f04, 0xa9ac,
322  0x32b1, 0x54d2, 0x7f53, 0x7f32, 0x7f07, 0x7f03, 0x7f03, 0xa9ab,
323  0x54d2, 0x7f53, 0x7f32, 0x7f07, 0x7f03, 0x7f03, 0xa9ab, 0xcccc,
324  0x54ab, 0x7f31, 0x7f06, 0x7f02, 0x7f02, 0x7f02, 0xaaaa, 0xcccb,
325  0x5489, 0x7f05, 0x7f01, 0x7f01, 0x7f01, 0x8001, 0xaaa9, 0xccca,
326  0x545d, 0x7f00, 0x7f00, 0x7f00, 0x8000, 0x8000, 0xaaa8, 0xccc4,
327  0x5458, 0x7eff, 0x7eff, 0x7fff, 0x7fff, 0x7fff, 0xaaa2, 0xcc99,
328  0x5457, 0x7efe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ff9, 0xaa77, 0xcc77,
329  0x5456, 0x7ffd, 0x7ffd, 0x7ffd, 0x7ff8, 0x7fce, 0xaa55, 0xcc4f,
330  0x5555, 0x7ffc, 0x7ffc, 0x7ff7, 0x7fcd, 0x7fac, 0xaa2d, 0xcc4e,
331  0x5554, 0x7ffb, 0x7ff6, 0x7fcc, 0x7fab, 0x7f84, 0xaa2c, 0xcc4d,
332  0x5553, 0x7ff5, 0x7fcb, 0x7faa, 0x7f83, 0x7f83, 0xaa2b, 0xcc4c,
333  0x554d, 0x7fca, 0x7fa9, 0x7f82, 0x7f82, 0x7f82, 0xaa2a, 0xcc4b,
334  0x5522, 0x7fa8, 0x7f81, 0x7f81, 0x7f81, 0x7f81, 0xaa29, 0xcc4a,
335  0x5500, 0x7f80, 0x7f80, 0x7f80, 0x7f80, 0x7f80, 0xaa28, 0xcc49,
336  0x54d8, 0x7f7f, 0x7f7f, 0x7f7f, 0x7f7f, 0x7f7f, 0xaa27, 0xcc22,
337  0x54d7, 0x7f7e, 0x7f7e, 0x7f7e, 0x7f7e, 0x7f7e, 0xaa00, 0xcc00,
338  0x54d6, 0x7f7d, 0x7f7d, 0x7f7d, 0x7f7d, 0x7f57, 0xa9de, 0xcbd4,
339  0x54d5, 0x7f7c, 0x7f7c, 0x7f7c, 0x7f56, 0x7f35, 0xa9b2, 0xcbcf,
340  0x54d4, 0x7f7b, 0x7f7b, 0x7f55, 0x7f34, 0x7f09, 0xa9ad, 0xcbce,
341  0x54d3, 0x7f7a, 0x7f54, 0x7f33, 0x7f08, 0x7f04, 0xa9ac, 0xcbcd,
342  0x7f7a, 0x7f54, 0x7f33, 0x7f08, 0x7f04, 0xa9ac, 0xcbcd, 0xff80,
343  0x7f53, 0x7f32, 0x7f07, 0x7f03, 0x7f03, 0xa9ab, 0xcccc, 0xff7f,
344  0x7f31, 0x7f06, 0x7f02, 0x7f02, 0x7f02, 0xaaaa, 0xcccb, 0xff7e,
345  0x7f05, 0x7f01, 0x7f01, 0x7f01, 0x8001, 0xaaa9, 0xccca, 0xff78,
346  0x7f00, 0x7f00, 0x7f00, 0x8000, 0x8000, 0xaaa8, 0xccc4, 0xff4d,
347  0x7eff, 0x7eff, 0x7fff, 0x7fff, 0x7fff, 0xaaa2, 0xcc99, 0xff2b,
348  0x7efe, 0x7ffe, 0x7ffe, 0x7ffe, 0x7ff9, 0xaa77, 0xcc77, 0xff03,
349  0x7ffd, 0x7ffd, 0x7ffd, 0x7ff8, 0x7fce, 0xaa55, 0xcc4f, 0xff02,
350  0x7ffc, 0x7ffc, 0x7ff7, 0x7fcd, 0x7fac, 0xaa2d, 0xcc4e, 0xff01,
351  0x7ffb, 0x7ff6, 0x7fcc, 0x7fab, 0x7f84, 0xaa2c, 0xcc4d, 0xff00,
352  0x7ff5, 0x7fcb, 0x7faa, 0x7f83, 0x7f83, 0xaa2b, 0xcc4c, 0xfeff,
353  0x7fca, 0x7fa9, 0x7f82, 0x7f82, 0x7f82, 0xaa2a, 0xcc4b, 0xfefe,
354  0x7fa8, 0x7f81, 0x7f81, 0x7f81, 0x7f81, 0xaa29, 0xcc4a, 0xfefd,
355  0x7f80, 0x7f80, 0x7f80, 0x7f80, 0x7f80, 0xaa28, 0xcc49, 0xfed6,
356  0x7f7f, 0x7f7f, 0x7f7f, 0x7f7f, 0x7f7f, 0xaa27, 0xcc22, 0xfeb4,
357  0x7f7e, 0x7f7e, 0x7f7e, 0x7f7e, 0x7f7e, 0xaa00, 0xcc00, 0xfe88,
358  0x7f7d, 0x7f7d, 0x7f7d, 0x7f7d, 0x7f57, 0xa9de, 0xcbd4, 0xfe83,
359  0x7f7c, 0x7f7c, 0x7f7c, 0x7f56, 0x7f35, 0xa9b2, 0xcbcf, 0xfe82,
360  0x7f7b, 0x7f7b, 0x7f55, 0x7f34, 0x7f09, 0xa9ad, 0xcbce, 0xfe81,
361  0x7f7b, 0x7f55, 0x7f34, 0x7f09, 0xa9ad, 0xcbce, 0xfe81, 0xff81,
362  0x7f54, 0x7f33, 0x7f08, 0x7f04, 0xa9ac, 0xcbcd, 0xff80, 0xff80,
363  0x7f32, 0x7f07, 0x7f03, 0x7f03, 0xa9ab, 0xcccc, 0xff7f, 0xff7f,
364  0x7f06, 0x7f02, 0x7f02, 0x7f02, 0xaaaa, 0xcccb, 0xff7e, 0xff79,
365  0x7f01, 0x7f01, 0x7f01, 0x8001, 0xaaa9, 0xccca, 0xff78, 0xff4e,
366  0x7f00, 0x7f00, 0x8000, 0x8000, 0xaaa8, 0xccc4, 0xff4d, 0xff2c,
367  0x7eff, 0x7fff, 0x7fff, 0x7fff, 0xaaa2, 0xcc99, 0xff2b, 0xff04,
368  0x7ffe, 0x7ffe, 0x7ffe, 0x7ff9, 0xaa77, 0xcc77, 0xff03, 0xff03,
369  0x7ffd, 0x7ffd, 0x7ff8, 0x7fce, 0xaa55, 0xcc4f, 0xff02, 0xff02,
370  0x7ffc, 0x7ff7, 0x7fcd, 0x7fac, 0xaa2d, 0xcc4e, 0xff01, 0xff01,
371  0x7ff6, 0x7fcc, 0x7fab, 0x7f84, 0xaa2c, 0xcc4d, 0xff00, 0xff00,
372  0x7fcb, 0x7faa, 0x7f83, 0x7f83, 0xaa2b, 0xcc4c, 0xfeff, 0xfeff,
373  0x7fa9, 0x7f82, 0x7f82, 0x7f82, 0xaa2a, 0xcc4b, 0xfefe, 0xfefe,
374  0x7f81, 0x7f81, 0x7f81, 0x7f81, 0xaa29, 0xcc4a, 0xfefd, 0xfed7,
375  0x7f80, 0x7f80, 0x7f80, 0x7f80, 0xaa28, 0xcc49, 0xfed6, 0xfeb5,
376  0x7f7f, 0x7f7f, 0x7f7f, 0x7f7f, 0xaa27, 0xcc22, 0xfeb4, 0xfe89,
377  0x7f7e, 0x7f7e, 0x7f7e, 0x7f7e, 0xaa00, 0xcc00, 0xfe88, 0xfe84,
378  0x7f7d, 0x7f7d, 0x7f7d, 0x7f57, 0xa9de, 0xcbd4, 0xfe83, 0xfe83,
379  0x7f7c, 0x7f7c, 0x7f56, 0x7f35, 0xa9b2, 0xcbcf, 0xfe82, 0xfe82,
380  0x7f7c, 0x7f56, 0x7f35, 0xa9b2, 0xcbcf, 0xfe82, 0xfe82, 0xff82,
381  0x7f55, 0x7f34, 0x7f09, 0xa9ad, 0xcbce, 0xfe81, 0xff81, 0xff81,
382  0x7f33, 0x7f08, 0x7f04, 0xa9ac, 0xcbcd, 0xff80, 0xff80, 0xff80,
383  0x7f07, 0x7f03, 0x7f03, 0xa9ab, 0xcccc, 0xff7f, 0xff7f, 0xff7a,
384  0x7f02, 0x7f02, 0x7f02, 0xaaaa, 0xcccb, 0xff7e, 0xff79, 0xff4f,
385  0x7f01, 0x7f01, 0x8001, 0xaaa9, 0xccca, 0xff78, 0xff4e, 0xff2d,
386  0x7f00, 0x8000, 0x8000, 0xaaa8, 0xccc4, 0xff4d, 0xff2c, 0xff05,
387  0x7fff, 0x7fff, 0x7fff, 0xaaa2, 0xcc99, 0xff2b, 0xff04, 0xff04,
388  0x7ffe, 0x7ffe, 0x7ff9, 0xaa77, 0xcc77, 0xff03, 0xff03, 0xff03,
389  0x7ffd, 0x7ff8, 0x7fce, 0xaa55, 0xcc4f, 0xff02, 0xff02, 0xff02,
390  0x7ff7, 0x7fcd, 0x7fac, 0xaa2d, 0xcc4e, 0xff01, 0xff01, 0xff01,
391  0x7fcc, 0x7fab, 0x7f84, 0xaa2c, 0xcc4d, 0xff00, 0xff00, 0xff00,
392  0x7faa, 0x7f83, 0x7f83, 0xaa2b, 0xcc4c, 0xfeff, 0xfeff, 0xfeff,
393  0x7f82, 0x7f82, 0x7f82, 0xaa2a, 0xcc4b, 0xfefe, 0xfefe, 0xfed8,
394  0x7f81, 0x7f81, 0x7f81, 0xaa29, 0xcc4a, 0xfefd, 0xfed7, 0xfeb6,
395  0x7f80, 0x7f80, 0x7f80, 0xaa28, 0xcc49, 0xfed6, 0xfeb5, 0xfe8a,
396  0x7f7f, 0x7f7f, 0x7f7f, 0xaa27, 0xcc22, 0xfeb4, 0xfe89, 0xfe85,
397  0x7f7e, 0x7f7e, 0x7f7e, 0xaa00, 0xcc00, 0xfe88, 0xfe84, 0xfe84,
398  0x7f7d, 0x7f7d, 0x7f57, 0xa9de, 0xcbd4, 0xfe83, 0xfe83, 0xfe83,
399  0x7f7d, 0x7f57, 0xa9de, 0xcbd4, 0xfe83, 0xfe83, 0xfe83, 0xff83,
400  0x7f56, 0x7f35, 0xa9b2, 0xcbcf, 0xfe82, 0xfe82, 0xff82, 0xff82,
401  0x7f34, 0x7f09, 0xa9ad, 0xcbce, 0xfe81, 0xff81, 0xff81, 0xff81,
402  0x7f08, 0x7f04, 0xa9ac, 0xcbcd, 0xff80, 0xff80, 0xff80, 0xff7b,
403  0x7f03, 0x7f03, 0xa9ab, 0xcccc, 0xff7f, 0xff7f, 0xff7a, 0xff50,
404  0x7f02, 0x7f02, 0xaaaa, 0xcccb, 0xff7e, 0xff79, 0xff4f, 0xff2e,
405  0x7f01, 0x8001, 0xaaa9, 0xccca, 0xff78, 0xff4e, 0xff2d, 0xff06,
406  0x8000, 0x8000, 0xaaa8, 0xccc4, 0xff4d, 0xff2c, 0xff05, 0xff05,
407  0x7fff, 0x7fff, 0xaaa2, 0xcc99, 0xff2b, 0xff04, 0xff04, 0xff04,
408  0x7ffe, 0x7ff9, 0xaa77, 0xcc77, 0xff03, 0xff03, 0xff03, 0xff03,
409  0x7ff8, 0x7fce, 0xaa55, 0xcc4f, 0xff02, 0xff02, 0xff02, 0xff02,
410  0x7fcd, 0x7fac, 0xaa2d, 0xcc4e, 0xff01, 0xff01, 0xff01, 0xff01,
411  0x7fab, 0x7f84, 0xaa2c, 0xcc4d, 0xff00, 0xff00, 0xff00, 0xff00,
412  0x7f83, 0x7f83, 0xaa2b, 0xcc4c, 0xfeff, 0xfeff, 0xfeff, 0xfed9,
413  0x7f82, 0x7f82, 0xaa2a, 0xcc4b, 0xfefe, 0xfefe, 0xfed8, 0xfeb7,
414  0x7f81, 0x7f81, 0xaa29, 0xcc4a, 0xfefd, 0xfed7, 0xfeb6, 0xfe8b,
415  0x7f80, 0x7f80, 0xaa28, 0xcc49, 0xfed6, 0xfeb5, 0xfe8a, 0xfe86,
416  0x7f7f, 0x7f7f, 0xaa27, 0xcc22, 0xfeb4, 0xfe89, 0xfe85, 0xfe85,
417  0x7f7e, 0x7f7e, 0xaa00, 0xcc00, 0xfe88, 0xfe84, 0xfe84, 0xfe84,
418  0x7f7e, 0xaa00, 0xcc00, 0xfe88, 0xfe84, 0xfe84, 0xfe84, 0xfff0,
419  0x7f57, 0xa9de, 0xcbd4, 0xfe83, 0xfe83, 0xfe83, 0xff83, 0xffef,
420  0x7f35, 0xa9b2, 0xcbcf, 0xfe82, 0xfe82, 0xff82, 0xff82, 0xffee,
421  0x7f09, 0xa9ad, 0xcbce, 0xfe81, 0xff81, 0xff81, 0xff81, 0xffe8,
422  0x7f04, 0xa9ac, 0xcbcd, 0xff80, 0xff80, 0xff80, 0xff7b, 0xffbd,
423  0x7f03, 0xa9ab, 0xcccc, 0xff7f, 0xff7f, 0xff7a, 0xff50, 0xff9b,
424  0x7f02, 0xaaaa, 0xcccb, 0xff7e, 0xff79, 0xff4f, 0xff2e, 0xff73,
425  0x8001, 0xaaa9, 0xccca, 0xff78, 0xff4e, 0xff2d, 0xff06, 0xff72,
426  0x8000, 0xaaa8, 0xccc4, 0xff4d, 0xff2c, 0xff05, 0xff05, 0xff71,
427  0x7fff, 0xaaa2, 0xcc99, 0xff2b, 0xff04, 0xff04, 0xff04, 0xff70,
428  0x7ff9, 0xaa77, 0xcc77, 0xff03, 0xff03, 0xff03, 0xff03, 0xff6f,
429  0x7fce, 0xaa55, 0xcc4f, 0xff02, 0xff02, 0xff02, 0xff02, 0xff6e,
430  0x7fac, 0xaa2d, 0xcc4e, 0xff01, 0xff01, 0xff01, 0xff01, 0xff6d,
431  0x7f84, 0xaa2c, 0xcc4d, 0xff00, 0xff00, 0xff00, 0xff00, 0xff46,
432  0x7f83, 0xaa2b, 0xcc4c, 0xfeff, 0xfeff, 0xfeff, 0xfed9, 0xff24,
433  0x7f82, 0xaa2a, 0xcc4b, 0xfefe, 0xfefe, 0xfed8, 0xfeb7, 0xfef8,
434  0x7f81, 0xaa29, 0xcc4a, 0xfefd, 0xfed7, 0xfeb6, 0xfe8b, 0xfef3,
435  0x7f80, 0xaa28, 0xcc49, 0xfed6, 0xfeb5, 0xfe8a, 0xfe86, 0xfef2,
436  0x7f7f, 0xaa27, 0xcc22, 0xfeb4, 0xfe89, 0xfe85, 0xfe85, 0xfef1,
437  0xaa27, 0xcc22, 0xfeb4, 0xfe89, 0xfe85, 0xfe85, 0xfef1, 0xfffd,
438  0xaa00, 0xcc00, 0xfe88, 0xfe84, 0xfe84, 0xfe84, 0xfff0, 0xfffc,
439  0xa9de, 0xcbd4, 0xfe83, 0xfe83, 0xfe83, 0xff83, 0xffef, 0xfffb,
440  0xa9b2, 0xcbcf, 0xfe82, 0xfe82, 0xff82, 0xff82, 0xffee, 0xfff5,
441  0xa9ad, 0xcbce, 0xfe81, 0xff81, 0xff81, 0xff81, 0xffe8, 0xffca,
442  0xa9ac, 0xcbcd, 0xff80, 0xff80, 0xff80, 0xff7b, 0xffbd, 0xffa8,
443  0xa9ab, 0xcccc, 0xff7f, 0xff7f, 0xff7a, 0xff50, 0xff9b, 0xff80,
444  0xaaaa, 0xcccb, 0xff7e, 0xff79, 0xff4f, 0xff2e, 0xff73, 0xff7f,
445  0xaaa9, 0xccca, 0xff78, 0xff4e, 0xff2d, 0xff06, 0xff72, 0xff7e,
446  0xaaa8, 0xccc4, 0xff4d, 0xff2c, 0xff05, 0xff05, 0xff71, 0xff7d,
447  0xaaa2, 0xcc99, 0xff2b, 0xff04, 0xff04, 0xff04, 0xff70, 0xff7c,
448  0xaa77, 0xcc77, 0xff03, 0xff03, 0xff03, 0xff03, 0xff6f, 0xff7b,
449  0xaa55, 0xcc4f, 0xff02, 0xff02, 0xff02, 0xff02, 0xff6e, 0xff7a,
450  0xaa2d, 0xcc4e, 0xff01, 0xff01, 0xff01, 0xff01, 0xff6d, 0xff53,
451  0xaa2c, 0xcc4d, 0xff00, 0xff00, 0xff00, 0xff00, 0xff46, 0xff31,
452  0xaa2b, 0xcc4c, 0xfeff, 0xfeff, 0xfeff, 0xfed9, 0xff24, 0xff05,
453  0xaa2a, 0xcc4b, 0xfefe, 0xfefe, 0xfed8, 0xfeb7, 0xfef8, 0xff00,
454  0xaa29, 0xcc4a, 0xfefd, 0xfed7, 0xfeb6, 0xfe8b, 0xfef3, 0xfeff,
455  0xaa28, 0xcc49, 0xfed6, 0xfeb5, 0xfe8a, 0xfe86, 0xfef2, 0xfefe,
456  0xcc49, 0xfed6, 0xfeb5, 0xfe8a, 0xfe86, 0xfef2, 0xfefe, 0xfffe,
457  0xcc22, 0xfeb4, 0xfe89, 0xfe85, 0xfe85, 0xfef1, 0xfffd, 0xfffd,
458  0xcc00, 0xfe88, 0xfe84, 0xfe84, 0xfe84, 0xfff0, 0xfffc, 0xfffc,
459  0xcbd4, 0xfe83, 0xfe83, 0xfe83, 0xff83, 0xffef, 0xfffb, 0xfff6,
460  0xcbcf, 0xfe82, 0xfe82, 0xff82, 0xff82, 0xffee, 0xfff5, 0xffcb,
461  0xcbce, 0xfe81, 0xff81, 0xff81, 0xff81, 0xffe8, 0xffca, 0xffa9,
462  0xcbcd, 0xff80, 0xff80, 0xff80, 0xff7b, 0xffbd, 0xffa8, 0xff81,
463  0xcccc, 0xff7f, 0xff7f, 0xff7a, 0xff50, 0xff9b, 0xff80, 0xff80,
464  0xcccb, 0xff7e, 0xff79, 0xff4f, 0xff2e, 0xff73, 0xff7f, 0xff7f,
465  0xccca, 0xff78, 0xff4e, 0xff2d, 0xff06, 0xff72, 0xff7e, 0xff7e,
466  0xccc4, 0xff4d, 0xff2c, 0xff05, 0xff05, 0xff71, 0xff7d, 0xff7d,
467  0xcc99, 0xff2b, 0xff04, 0xff04, 0xff04, 0xff70, 0xff7c, 0xff7c,
468  0xcc77, 0xff03, 0xff03, 0xff03, 0xff03, 0xff6f, 0xff7b, 0xff7b,
469  0xcc4f, 0xff02, 0xff02, 0xff02, 0xff02, 0xff6e, 0xff7a, 0xff54,
470  0xcc4e, 0xff01, 0xff01, 0xff01, 0xff01, 0xff6d, 0xff53, 0xff32,
471  0xcc4d, 0xff00, 0xff00, 0xff00, 0xff00, 0xff46, 0xff31, 0xff06,
472  0xcc4c, 0xfeff, 0xfeff, 0xfeff, 0xfed9, 0xff24, 0xff05, 0xff01,
473  0xcc4b, 0xfefe, 0xfefe, 0xfed8, 0xfeb7, 0xfef8, 0xff00, 0xff00,
474  0xcc4a, 0xfefd, 0xfed7, 0xfeb6, 0xfe8b, 0xfef3, 0xfeff, 0xfeff,
475  0xfefd, 0xfed7, 0xfeb6, 0xfe8b, 0xfef3, 0xfeff, 0xfeff, 0xffff,
476  0xfed6, 0xfeb5, 0xfe8a, 0xfe86, 0xfef2, 0xfefe, 0xfffe, 0xfffe,
477  0xfeb4, 0xfe89, 0xfe85, 0xfe85, 0xfef1, 0xfffd, 0xfffd, 0xfffd,
478  0xfe88, 0xfe84, 0xfe84, 0xfe84, 0xfff0, 0xfffc, 0xfffc, 0xfff7,
479  0xfe83, 0xfe83, 0xfe83, 0xff83, 0xffef, 0xfffb, 0xfff6, 0xffcc,
480  0xfe82, 0xfe82, 0xff82, 0xff82, 0xffee, 0xfff5, 0xffcb, 0xffaa,
481  0xfe81, 0xff81, 0xff81, 0xff81, 0xffe8, 0xffca, 0xffa9, 0xff82,
482  0xff80, 0xff80, 0xff80, 0xff7b, 0xffbd, 0xffa8, 0xff81, 0xff81,
483  0xff7f, 0xff7f, 0xff7a, 0xff50, 0xff9b, 0xff80, 0xff80, 0xff80,
484  0xff7e, 0xff79, 0xff4f, 0xff2e, 0xff73, 0xff7f, 0xff7f, 0xff7f,
485  0xff78, 0xff4e, 0xff2d, 0xff06, 0xff72, 0xff7e, 0xff7e, 0xff7e,
486  0xff4d, 0xff2c, 0xff05, 0xff05, 0xff71, 0xff7d, 0xff7d, 0xff7d,
487  0xff2b, 0xff04, 0xff04, 0xff04, 0xff70, 0xff7c, 0xff7c, 0xff7c,
488  0xff03, 0xff03, 0xff03, 0xff03, 0xff6f, 0xff7b, 0xff7b, 0xff55,
489  0xff02, 0xff02, 0xff02, 0xff02, 0xff6e, 0xff7a, 0xff54, 0xff33,
490  0xff01, 0xff01, 0xff01, 0xff01, 0xff6d, 0xff53, 0xff32, 0xff07,
491  0xff00, 0xff00, 0xff00, 0xff00, 0xff46, 0xff31, 0xff06, 0xff02,
492  0xfeff, 0xfeff, 0xfeff, 0xfed9, 0xff24, 0xff05, 0xff01, 0xff01,
493  0xfefe, 0xfefe, 0xfed8, 0xfeb7, 0xfef8, 0xff00, 0xff00, 0xff00,
494};
495const unsigned kExpectedCount_NEON_usubw2_8H = 456;
496
497#endif  // VIXL_SIM_USUBW2_8H_TRACE_AARCH64_H_
498