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_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_USUBW2_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_usubw2_4S[] = {
38  0xfffffe03, 0xffffff02, 0x007f7d01, 0x00000000,
39  0xfffffe02, 0xffffff01, 0x007ffd00, 0xffffffff,
40  0xfffffe01, 0x00007f00, 0x007ffcff, 0xfffffffe,
41  0x00007e00, 0x00007eff, 0x007ffcfe, 0xfffffff0,
42  0x00007dff, 0x00007efe, 0x007ffcf0, 0xffffff83,
43  0x00007dfe, 0x00007ef0, 0x007ffc83, 0xffffff82,
44  0x00007df0, 0x00007e83, 0x007ffc82, 0xffffff81,
45  0x00007d83, 0x00007e82, 0x007ffc81, 0xffffcccd,
46  0x00007d82, 0x00007e81, 0x007fc9cd, 0xffffaaab,
47  0x00007d81, 0x00004bcd, 0x007fa7ab, 0xffff8003,
48  0x00004acd, 0x000029ab, 0x007f7d03, 0xffff8002,
49  0x000028ab, 0xffffff03, 0x007f7d02, 0xffff8001,
50  0xfffffe03, 0xffffff02, 0x007f7d01, 0xffff8000,
51  0xfffffe02, 0xffffff01, 0x007f7d00, 0xffff7fff,
52  0xfffffe01, 0xffffff00, 0x007f7cff, 0xffff5556,
53  0xfffffe00, 0xfffffeff, 0x007f5256, 0xffff3334,
54  0xfffffdff, 0xffffd456, 0x007f3034, 0xffff0080,
55  0xffffd356, 0xffffb234, 0x007efd80, 0xffff007f,
56  0xffffb134, 0xffff7f80, 0x007efd7f, 0xffff007e,
57  0xffff7e80, 0xffff7f7f, 0x007efd7e, 0xffff007d,
58  0xffff7e7f, 0xffff7f7e, 0x007efd7d, 0xffff0010,
59  0xffff7e7e, 0xffff7f7d, 0x007efd10, 0xffff0003,
60  0xffff7e7d, 0xffff7f10, 0x007efd03, 0xffff0002,
61  0xffff7e10, 0xffff7f03, 0x007efd02, 0xffff0001,
62  0xffff7f03, 0x007efd02, 0xffff0001, 0x00000001,
63  0xffff7f02, 0x007efd01, 0x00000000, 0x00000000,
64  0xffff7f01, 0x007ffd00, 0xffffffff, 0xffffffff,
65  0x00007f00, 0x007ffcff, 0xfffffffe, 0xfffffff1,
66  0x00007eff, 0x007ffcfe, 0xfffffff0, 0xffffff84,
67  0x00007efe, 0x007ffcf0, 0xffffff83, 0xffffff83,
68  0x00007ef0, 0x007ffc83, 0xffffff82, 0xffffff82,
69  0x00007e83, 0x007ffc82, 0xffffff81, 0xffffccce,
70  0x00007e82, 0x007ffc81, 0xffffcccd, 0xffffaaac,
71  0x00007e81, 0x007fc9cd, 0xffffaaab, 0xffff8004,
72  0x00004bcd, 0x007fa7ab, 0xffff8003, 0xffff8003,
73  0x000029ab, 0x007f7d03, 0xffff8002, 0xffff8002,
74  0xffffff03, 0x007f7d02, 0xffff8001, 0xffff8001,
75  0xffffff02, 0x007f7d01, 0xffff8000, 0xffff8000,
76  0xffffff01, 0x007f7d00, 0xffff7fff, 0xffff5557,
77  0xffffff00, 0x007f7cff, 0xffff5556, 0xffff3335,
78  0xfffffeff, 0x007f5256, 0xffff3334, 0xffff0081,
79  0xffffd456, 0x007f3034, 0xffff0080, 0xffff0080,
80  0xffffb234, 0x007efd80, 0xffff007f, 0xffff007f,
81  0xffff7f80, 0x007efd7f, 0xffff007e, 0xffff007e,
82  0xffff7f7f, 0x007efd7e, 0xffff007d, 0xffff0011,
83  0xffff7f7e, 0x007efd7d, 0xffff0010, 0xffff0004,
84  0xffff7f7d, 0x007efd10, 0xffff0003, 0xffff0003,
85  0xffff7f10, 0x007efd03, 0xffff0002, 0xffff0002,
86  0x007efd03, 0xffff0002, 0xffff0002, 0x00000002,
87  0x007efd02, 0xffff0001, 0x00000001, 0x00000001,
88  0x007efd01, 0x00000000, 0x00000000, 0x00000000,
89  0x007ffd00, 0xffffffff, 0xffffffff, 0xfffffff2,
90  0x007ffcff, 0xfffffffe, 0xfffffff1, 0xffffff85,
91  0x007ffcfe, 0xfffffff0, 0xffffff84, 0xffffff84,
92  0x007ffcf0, 0xffffff83, 0xffffff83, 0xffffff83,
93  0x007ffc83, 0xffffff82, 0xffffff82, 0xffffcccf,
94  0x007ffc82, 0xffffff81, 0xffffccce, 0xffffaaad,
95  0x007ffc81, 0xffffcccd, 0xffffaaac, 0xffff8005,
96  0x007fc9cd, 0xffffaaab, 0xffff8004, 0xffff8004,
97  0x007fa7ab, 0xffff8003, 0xffff8003, 0xffff8003,
98  0x007f7d03, 0xffff8002, 0xffff8002, 0xffff8002,
99  0x007f7d02, 0xffff8001, 0xffff8001, 0xffff8001,
100  0x007f7d01, 0xffff8000, 0xffff8000, 0xffff5558,
101  0x007f7d00, 0xffff7fff, 0xffff5557, 0xffff3336,
102  0x007f7cff, 0xffff5556, 0xffff3335, 0xffff0082,
103  0x007f5256, 0xffff3334, 0xffff0081, 0xffff0081,
104  0x007f3034, 0xffff0080, 0xffff0080, 0xffff0080,
105  0x007efd80, 0xffff007f, 0xffff007f, 0xffff007f,
106  0x007efd7f, 0xffff007e, 0xffff007e, 0xffff0012,
107  0x007efd7e, 0xffff007d, 0xffff0011, 0xffff0005,
108  0x007efd7d, 0xffff0010, 0xffff0004, 0xffff0004,
109  0x007efd10, 0xffff0003, 0xffff0003, 0xffff0003,
110  0xffff0003, 0xffff0003, 0xffff0003, 0x00000020,
111  0xffff0002, 0xffff0002, 0x00000002, 0x0000001f,
112  0xffff0001, 0x00000001, 0x00000001, 0x0000001e,
113  0x00000000, 0x00000000, 0x00000000, 0x00000010,
114  0xffffffff, 0xffffffff, 0xfffffff2, 0xffffffa3,
115  0xfffffffe, 0xfffffff1, 0xffffff85, 0xffffffa2,
116  0xfffffff0, 0xffffff84, 0xffffff84, 0xffffffa1,
117  0xffffff83, 0xffffff83, 0xffffff83, 0xffffcced,
118  0xffffff82, 0xffffff82, 0xffffcccf, 0xffffaacb,
119  0xffffff81, 0xffffccce, 0xffffaaad, 0xffff8023,
120  0xffffcccd, 0xffffaaac, 0xffff8005, 0xffff8022,
121  0xffffaaab, 0xffff8004, 0xffff8004, 0xffff8021,
122  0xffff8003, 0xffff8003, 0xffff8003, 0xffff8020,
123  0xffff8002, 0xffff8002, 0xffff8002, 0xffff801f,
124  0xffff8001, 0xffff8001, 0xffff8001, 0xffff5576,
125  0xffff8000, 0xffff8000, 0xffff5558, 0xffff3354,
126  0xffff7fff, 0xffff5557, 0xffff3336, 0xffff00a0,
127  0xffff5556, 0xffff3335, 0xffff0082, 0xffff009f,
128  0xffff3334, 0xffff0081, 0xffff0081, 0xffff009e,
129  0xffff0080, 0xffff0080, 0xffff0080, 0xffff009d,
130  0xffff007f, 0xffff007f, 0xffff007f, 0xffff0030,
131  0xffff007e, 0xffff007e, 0xffff0012, 0xffff0023,
132  0xffff007d, 0xffff0011, 0xffff0005, 0xffff0022,
133  0xffff0010, 0xffff0004, 0xffff0004, 0xffff0021,
134  0xffff0004, 0xffff0004, 0xffff0021, 0x0000007d,
135  0xffff0003, 0xffff0003, 0x00000020, 0x0000007c,
136  0xffff0002, 0x00000002, 0x0000001f, 0x0000007b,
137  0x00000001, 0x00000001, 0x0000001e, 0x0000006d,
138  0x00000000, 0x00000000, 0x00000010, 0x00000000,
139  0xffffffff, 0xfffffff2, 0xffffffa3, 0xffffffff,
140  0xfffffff1, 0xffffff85, 0xffffffa2, 0xfffffffe,
141  0xffffff84, 0xffffff84, 0xffffffa1, 0xffffcd4a,
142  0xffffff83, 0xffffff83, 0xffffcced, 0xffffab28,
143  0xffffff82, 0xffffcccf, 0xffffaacb, 0xffff8080,
144  0xffffccce, 0xffffaaad, 0xffff8023, 0xffff807f,
145  0xffffaaac, 0xffff8005, 0xffff8022, 0xffff807e,
146  0xffff8004, 0xffff8004, 0xffff8021, 0xffff807d,
147  0xffff8003, 0xffff8003, 0xffff8020, 0xffff807c,
148  0xffff8002, 0xffff8002, 0xffff801f, 0xffff55d3,
149  0xffff8001, 0xffff8001, 0xffff5576, 0xffff33b1,
150  0xffff8000, 0xffff5558, 0xffff3354, 0xffff00fd,
151  0xffff5557, 0xffff3336, 0xffff00a0, 0xffff00fc,
152  0xffff3335, 0xffff0082, 0xffff009f, 0xffff00fb,
153  0xffff0081, 0xffff0081, 0xffff009e, 0xffff00fa,
154  0xffff0080, 0xffff0080, 0xffff009d, 0xffff008d,
155  0xffff007f, 0xffff007f, 0xffff0030, 0xffff0080,
156  0xffff007e, 0xffff0012, 0xffff0023, 0xffff007f,
157  0xffff0011, 0xffff0005, 0xffff0022, 0xffff007e,
158  0xffff0005, 0xffff0022, 0xffff007e, 0x0000007e,
159  0xffff0004, 0xffff0021, 0x0000007d, 0x0000007d,
160  0xffff0003, 0x00000020, 0x0000007c, 0x0000007c,
161  0x00000002, 0x0000001f, 0x0000007b, 0x0000006e,
162  0x00000001, 0x0000001e, 0x0000006d, 0x00000001,
163  0x00000000, 0x00000010, 0x00000000, 0x00000000,
164  0xfffffff2, 0xffffffa3, 0xffffffff, 0xffffffff,
165  0xffffff85, 0xffffffa2, 0xfffffffe, 0xffffcd4b,
166  0xffffff84, 0xffffffa1, 0xffffcd4a, 0xffffab29,
167  0xffffff83, 0xffffcced, 0xffffab28, 0xffff8081,
168  0xffffcccf, 0xffffaacb, 0xffff8080, 0xffff8080,
169  0xffffaaad, 0xffff8023, 0xffff807f, 0xffff807f,
170  0xffff8005, 0xffff8022, 0xffff807e, 0xffff807e,
171  0xffff8004, 0xffff8021, 0xffff807d, 0xffff807d,
172  0xffff8003, 0xffff8020, 0xffff807c, 0xffff55d4,
173  0xffff8002, 0xffff801f, 0xffff55d3, 0xffff33b2,
174  0xffff8001, 0xffff5576, 0xffff33b1, 0xffff00fe,
175  0xffff5558, 0xffff3354, 0xffff00fd, 0xffff00fd,
176  0xffff3336, 0xffff00a0, 0xffff00fc, 0xffff00fc,
177  0xffff0082, 0xffff009f, 0xffff00fb, 0xffff00fb,
178  0xffff0081, 0xffff009e, 0xffff00fa, 0xffff008e,
179  0xffff0080, 0xffff009d, 0xffff008d, 0xffff0081,
180  0xffff007f, 0xffff0030, 0xffff0080, 0xffff0080,
181  0xffff0012, 0xffff0023, 0xffff007f, 0xffff007f,
182  0xffff0023, 0xffff007f, 0xffff007f, 0x0000007f,
183  0xffff0022, 0xffff007e, 0x0000007e, 0x0000007e,
184  0xffff0021, 0x0000007d, 0x0000007d, 0x0000007d,
185  0x00000020, 0x0000007c, 0x0000007c, 0x0000006f,
186  0x0000001f, 0x0000007b, 0x0000006e, 0x00000002,
187  0x0000001e, 0x0000006d, 0x00000001, 0x00000001,
188  0x00000010, 0x00000000, 0x00000000, 0x00000000,
189  0xffffffa3, 0xffffffff, 0xffffffff, 0xffffcd4c,
190  0xffffffa2, 0xfffffffe, 0xffffcd4b, 0xffffab2a,
191  0xffffffa1, 0xffffcd4a, 0xffffab29, 0xffff8082,
192  0xffffcced, 0xffffab28, 0xffff8081, 0xffff8081,
193  0xffffaacb, 0xffff8080, 0xffff8080, 0xffff8080,
194  0xffff8023, 0xffff807f, 0xffff807f, 0xffff807f,
195  0xffff8022, 0xffff807e, 0xffff807e, 0xffff807e,
196  0xffff8021, 0xffff807d, 0xffff807d, 0xffff55d5,
197  0xffff8020, 0xffff807c, 0xffff55d4, 0xffff33b3,
198  0xffff801f, 0xffff55d3, 0xffff33b2, 0xffff00ff,
199  0xffff5576, 0xffff33b1, 0xffff00fe, 0xffff00fe,
200  0xffff3354, 0xffff00fd, 0xffff00fd, 0xffff00fd,
201  0xffff00a0, 0xffff00fc, 0xffff00fc, 0xffff00fc,
202  0xffff009f, 0xffff00fb, 0xffff00fb, 0xffff008f,
203  0xffff009e, 0xffff00fa, 0xffff008e, 0xffff0082,
204  0xffff009d, 0xffff008d, 0xffff0081, 0xffff0081,
205  0xffff0030, 0xffff0080, 0xffff0080, 0xffff0080,
206  0xffff0080, 0xffff0080, 0xffff0080, 0x00007ffd,
207  0xffff007f, 0xffff007f, 0x0000007f, 0x00007ffc,
208  0xffff007e, 0x0000007e, 0x0000007e, 0x00007ffb,
209  0x0000007d, 0x0000007d, 0x0000007d, 0x00007fed,
210  0x0000007c, 0x0000007c, 0x0000006f, 0x00007f80,
211  0x0000007b, 0x0000006e, 0x00000002, 0x00007f7f,
212  0x0000006d, 0x00000001, 0x00000001, 0x00007f7e,
213  0x00000000, 0x00000000, 0x00000000, 0x00004cca,
214  0xffffffff, 0xffffffff, 0xffffcd4c, 0x00002aa8,
215  0xfffffffe, 0xffffcd4b, 0xffffab2a, 0x00000000,
216  0xffffcd4a, 0xffffab29, 0xffff8082, 0xffffffff,
217  0xffffab28, 0xffff8081, 0xffff8081, 0xfffffffe,
218  0xffff8080, 0xffff8080, 0xffff8080, 0xfffffffd,
219  0xffff807f, 0xffff807f, 0xffff807f, 0xfffffffc,
220  0xffff807e, 0xffff807e, 0xffff807e, 0xffffd553,
221  0xffff807d, 0xffff807d, 0xffff55d5, 0xffffb331,
222  0xffff807c, 0xffff55d4, 0xffff33b3, 0xffff807d,
223  0xffff55d3, 0xffff33b2, 0xffff00ff, 0xffff807c,
224  0xffff33b1, 0xffff00fe, 0xffff00fe, 0xffff807b,
225  0xffff00fd, 0xffff00fd, 0xffff00fd, 0xffff807a,
226  0xffff00fc, 0xffff00fc, 0xffff00fc, 0xffff800d,
227  0xffff00fb, 0xffff00fb, 0xffff008f, 0xffff8000,
228  0xffff00fa, 0xffff008e, 0xffff0082, 0xffff7fff,
229  0xffff008d, 0xffff0081, 0xffff0081, 0xffff7ffe,
230  0xffff0081, 0xffff0081, 0xffff7ffe, 0x00007ffe,
231  0xffff0080, 0xffff0080, 0x00007ffd, 0x00007ffd,
232  0xffff007f, 0x0000007f, 0x00007ffc, 0x00007ffc,
233  0x0000007e, 0x0000007e, 0x00007ffb, 0x00007fee,
234  0x0000007d, 0x0000007d, 0x00007fed, 0x00007f81,
235  0x0000007c, 0x0000006f, 0x00007f80, 0x00007f80,
236  0x0000006e, 0x00000002, 0x00007f7f, 0x00007f7f,
237  0x00000001, 0x00000001, 0x00007f7e, 0x00004ccb,
238  0x00000000, 0x00000000, 0x00004cca, 0x00002aa9,
239  0xffffffff, 0xffffcd4c, 0x00002aa8, 0x00000001,
240  0xffffcd4b, 0xffffab2a, 0x00000000, 0x00000000,
241  0xffffab29, 0xffff8082, 0xffffffff, 0xffffffff,
242  0xffff8081, 0xffff8081, 0xfffffffe, 0xfffffffe,
243  0xffff8080, 0xffff8080, 0xfffffffd, 0xfffffffd,
244  0xffff807f, 0xffff807f, 0xfffffffc, 0xffffd554,
245  0xffff807e, 0xffff807e, 0xffffd553, 0xffffb332,
246  0xffff807d, 0xffff55d5, 0xffffb331, 0xffff807e,
247  0xffff55d4, 0xffff33b3, 0xffff807d, 0xffff807d,
248  0xffff33b2, 0xffff00ff, 0xffff807c, 0xffff807c,
249  0xffff00fe, 0xffff00fe, 0xffff807b, 0xffff807b,
250  0xffff00fd, 0xffff00fd, 0xffff807a, 0xffff800e,
251  0xffff00fc, 0xffff00fc, 0xffff800d, 0xffff8001,
252  0xffff00fb, 0xffff008f, 0xffff8000, 0xffff8000,
253  0xffff008e, 0xffff0082, 0xffff7fff, 0xffff7fff,
254  0xffff0082, 0xffff7fff, 0xffff7fff, 0x00007fff,
255  0xffff0081, 0xffff7ffe, 0x00007ffe, 0x00007ffe,
256  0xffff0080, 0x00007ffd, 0x00007ffd, 0x00007ffd,
257  0x0000007f, 0x00007ffc, 0x00007ffc, 0x00007fef,
258  0x0000007e, 0x00007ffb, 0x00007fee, 0x00007f82,
259  0x0000007d, 0x00007fed, 0x00007f81, 0x00007f81,
260  0x0000006f, 0x00007f80, 0x00007f80, 0x00007f80,
261  0x00000002, 0x00007f7f, 0x00007f7f, 0x00004ccc,
262  0x00000001, 0x00007f7e, 0x00004ccb, 0x00002aaa,
263  0x00000000, 0x00004cca, 0x00002aa9, 0x00000002,
264  0xffffcd4c, 0x00002aa8, 0x00000001, 0x00000001,
265  0xffffab2a, 0x00000000, 0x00000000, 0x00000000,
266  0xffff8082, 0xffffffff, 0xffffffff, 0xffffffff,
267  0xffff8081, 0xfffffffe, 0xfffffffe, 0xfffffffe,
268  0xffff8080, 0xfffffffd, 0xfffffffd, 0xffffd555,
269  0xffff807f, 0xfffffffc, 0xffffd554, 0xffffb333,
270  0xffff807e, 0xffffd553, 0xffffb332, 0xffff807f,
271  0xffff55d5, 0xffffb331, 0xffff807e, 0xffff807e,
272  0xffff33b3, 0xffff807d, 0xffff807d, 0xffff807d,
273  0xffff00ff, 0xffff807c, 0xffff807c, 0xffff807c,
274  0xffff00fe, 0xffff807b, 0xffff807b, 0xffff800f,
275  0xffff00fd, 0xffff807a, 0xffff800e, 0xffff8002,
276  0xffff00fc, 0xffff800d, 0xffff8001, 0xffff8001,
277  0xffff008f, 0xffff8000, 0xffff8000, 0xffff8000,
278  0xffff8000, 0xffff8000, 0xffff8000, 0x33333333,
279  0xffff7fff, 0xffff7fff, 0x00007fff, 0x33333332,
280  0xffff7ffe, 0x00007ffe, 0x00007ffe, 0x33333331,
281  0x00007ffd, 0x00007ffd, 0x00007ffd, 0x33333323,
282  0x00007ffc, 0x00007ffc, 0x00007fef, 0x333332b6,
283  0x00007ffb, 0x00007fee, 0x00007f82, 0x333332b5,
284  0x00007fed, 0x00007f81, 0x00007f81, 0x333332b4,
285  0x00007f80, 0x00007f80, 0x00007f80, 0x33330000,
286  0x00007f7f, 0x00007f7f, 0x00004ccc, 0x3332ddde,
287  0x00007f7e, 0x00004ccb, 0x00002aaa, 0x3332b336,
288  0x00004cca, 0x00002aa9, 0x00000002, 0x3332b335,
289  0x00002aa8, 0x00000001, 0x00000001, 0x3332b334,
290  0x00000000, 0x00000000, 0x00000000, 0x3332b333,
291  0xffffffff, 0xffffffff, 0xffffffff, 0x3332b332,
292  0xfffffffe, 0xfffffffe, 0xfffffffe, 0x33328889,
293  0xfffffffd, 0xfffffffd, 0xffffd555, 0x33326667,
294  0xfffffffc, 0xffffd554, 0xffffb333, 0x333233b3,
295  0xffffd553, 0xffffb332, 0xffff807f, 0x333233b2,
296  0xffffb331, 0xffff807e, 0xffff807e, 0x333233b1,
297  0xffff807d, 0xffff807d, 0xffff807d, 0x333233b0,
298  0xffff807c, 0xffff807c, 0xffff807c, 0x33323343,
299  0xffff807b, 0xffff807b, 0xffff800f, 0x33323336,
300  0xffff807a, 0xffff800e, 0xffff8002, 0x33323335,
301  0xffff800d, 0xffff8001, 0xffff8001, 0x33323334,
302  0xffff8001, 0xffff8001, 0x33323334, 0x55555555,
303  0xffff8000, 0xffff8000, 0x33333333, 0x55555554,
304  0xffff7fff, 0x00007fff, 0x33333332, 0x55555553,
305  0x00007ffe, 0x00007ffe, 0x33333331, 0x55555545,
306  0x00007ffd, 0x00007ffd, 0x33333323, 0x555554d8,
307  0x00007ffc, 0x00007fef, 0x333332b6, 0x555554d7,
308  0x00007fee, 0x00007f82, 0x333332b5, 0x555554d6,
309  0x00007f81, 0x00007f81, 0x333332b4, 0x55552222,
310  0x00007f80, 0x00007f80, 0x33330000, 0x55550000,
311  0x00007f7f, 0x00004ccc, 0x3332ddde, 0x5554d558,
312  0x00004ccb, 0x00002aaa, 0x3332b336, 0x5554d557,
313  0x00002aa9, 0x00000002, 0x3332b335, 0x5554d556,
314  0x00000001, 0x00000001, 0x3332b334, 0x5554d555,
315  0x00000000, 0x00000000, 0x3332b333, 0x5554d554,
316  0xffffffff, 0xffffffff, 0x3332b332, 0x5554aaab,
317  0xfffffffe, 0xfffffffe, 0x33328889, 0x55548889,
318  0xfffffffd, 0xffffd555, 0x33326667, 0x555455d5,
319  0xffffd554, 0xffffb333, 0x333233b3, 0x555455d4,
320  0xffffb332, 0xffff807f, 0x333233b2, 0x555455d3,
321  0xffff807e, 0xffff807e, 0x333233b1, 0x555455d2,
322  0xffff807d, 0xffff807d, 0x333233b0, 0x55545565,
323  0xffff807c, 0xffff807c, 0x33323343, 0x55545558,
324  0xffff807b, 0xffff800f, 0x33323336, 0x55545557,
325  0xffff800e, 0xffff8002, 0x33323335, 0x55545556,
326  0xffff8002, 0x33323335, 0x55545556, 0x7ffffffd,
327  0xffff8001, 0x33323334, 0x55555555, 0x7ffffffc,
328  0xffff8000, 0x33333333, 0x55555554, 0x7ffffffb,
329  0x00007fff, 0x33333332, 0x55555553, 0x7fffffed,
330  0x00007ffe, 0x33333331, 0x55555545, 0x7fffff80,
331  0x00007ffd, 0x33333323, 0x555554d8, 0x7fffff7f,
332  0x00007fef, 0x333332b6, 0x555554d7, 0x7fffff7e,
333  0x00007f82, 0x333332b5, 0x555554d6, 0x7fffccca,
334  0x00007f81, 0x333332b4, 0x55552222, 0x7fffaaa8,
335  0x00007f80, 0x33330000, 0x55550000, 0x7fff8000,
336  0x00004ccc, 0x3332ddde, 0x5554d558, 0x7fff7fff,
337  0x00002aaa, 0x3332b336, 0x5554d557, 0x7fff7ffe,
338  0x00000002, 0x3332b335, 0x5554d556, 0x7fff7ffd,
339  0x00000001, 0x3332b334, 0x5554d555, 0x7fff7ffc,
340  0x00000000, 0x3332b333, 0x5554d554, 0x7fff5553,
341  0xffffffff, 0x3332b332, 0x5554aaab, 0x7fff3331,
342  0xfffffffe, 0x33328889, 0x55548889, 0x7fff007d,
343  0xffffd555, 0x33326667, 0x555455d5, 0x7fff007c,
344  0xffffb333, 0x333233b3, 0x555455d4, 0x7fff007b,
345  0xffff807f, 0x333233b2, 0x555455d3, 0x7fff007a,
346  0xffff807e, 0x333233b1, 0x555455d2, 0x7fff000d,
347  0xffff807d, 0x333233b0, 0x55545565, 0x7fff0000,
348  0xffff807c, 0x33323343, 0x55545558, 0x7ffeffff,
349  0xffff800f, 0x33323336, 0x55545557, 0x7ffefffe,
350  0x33323336, 0x55545557, 0x7ffefffe, 0x7ffffffe,
351  0x33323335, 0x55545556, 0x7ffffffd, 0x7ffffffd,
352  0x33323334, 0x55555555, 0x7ffffffc, 0x7ffffffc,
353  0x33333333, 0x55555554, 0x7ffffffb, 0x7fffffee,
354  0x33333332, 0x55555553, 0x7fffffed, 0x7fffff81,
355  0x33333331, 0x55555545, 0x7fffff80, 0x7fffff80,
356  0x33333323, 0x555554d8, 0x7fffff7f, 0x7fffff7f,
357  0x333332b6, 0x555554d7, 0x7fffff7e, 0x7fffcccb,
358  0x333332b5, 0x555554d6, 0x7fffccca, 0x7fffaaa9,
359  0x333332b4, 0x55552222, 0x7fffaaa8, 0x7fff8001,
360  0x33330000, 0x55550000, 0x7fff8000, 0x7fff8000,
361  0x3332ddde, 0x5554d558, 0x7fff7fff, 0x7fff7fff,
362  0x3332b336, 0x5554d557, 0x7fff7ffe, 0x7fff7ffe,
363  0x3332b335, 0x5554d556, 0x7fff7ffd, 0x7fff7ffd,
364  0x3332b334, 0x5554d555, 0x7fff7ffc, 0x7fff5554,
365  0x3332b333, 0x5554d554, 0x7fff5553, 0x7fff3332,
366  0x3332b332, 0x5554aaab, 0x7fff3331, 0x7fff007e,
367  0x33328889, 0x55548889, 0x7fff007d, 0x7fff007d,
368  0x33326667, 0x555455d5, 0x7fff007c, 0x7fff007c,
369  0x333233b3, 0x555455d4, 0x7fff007b, 0x7fff007b,
370  0x333233b2, 0x555455d3, 0x7fff007a, 0x7fff000e,
371  0x333233b1, 0x555455d2, 0x7fff000d, 0x7fff0001,
372  0x333233b0, 0x55545565, 0x7fff0000, 0x7fff0000,
373  0x33323343, 0x55545558, 0x7ffeffff, 0x7ffeffff,
374  0x55545558, 0x7ffeffff, 0x7ffeffff, 0x7fffffff,
375  0x55545557, 0x7ffefffe, 0x7ffffffe, 0x7ffffffe,
376  0x55545556, 0x7ffffffd, 0x7ffffffd, 0x7ffffffd,
377  0x55555555, 0x7ffffffc, 0x7ffffffc, 0x7fffffef,
378  0x55555554, 0x7ffffffb, 0x7fffffee, 0x7fffff82,
379  0x55555553, 0x7fffffed, 0x7fffff81, 0x7fffff81,
380  0x55555545, 0x7fffff80, 0x7fffff80, 0x7fffff80,
381  0x555554d8, 0x7fffff7f, 0x7fffff7f, 0x7fffcccc,
382  0x555554d7, 0x7fffff7e, 0x7fffcccb, 0x7fffaaaa,
383  0x555554d6, 0x7fffccca, 0x7fffaaa9, 0x7fff8002,
384  0x55552222, 0x7fffaaa8, 0x7fff8001, 0x7fff8001,
385  0x55550000, 0x7fff8000, 0x7fff8000, 0x7fff8000,
386  0x5554d558, 0x7fff7fff, 0x7fff7fff, 0x7fff7fff,
387  0x5554d557, 0x7fff7ffe, 0x7fff7ffe, 0x7fff7ffe,
388  0x5554d556, 0x7fff7ffd, 0x7fff7ffd, 0x7fff5555,
389  0x5554d555, 0x7fff7ffc, 0x7fff5554, 0x7fff3333,
390  0x5554d554, 0x7fff5553, 0x7fff3332, 0x7fff007f,
391  0x5554aaab, 0x7fff3331, 0x7fff007e, 0x7fff007e,
392  0x55548889, 0x7fff007d, 0x7fff007d, 0x7fff007d,
393  0x555455d5, 0x7fff007c, 0x7fff007c, 0x7fff007c,
394  0x555455d4, 0x7fff007b, 0x7fff007b, 0x7fff000f,
395  0x555455d3, 0x7fff007a, 0x7fff000e, 0x7fff0002,
396  0x555455d2, 0x7fff000d, 0x7fff0001, 0x7fff0001,
397  0x55545565, 0x7fff0000, 0x7fff0000, 0x7fff0000,
398  0x7fff0000, 0x7fff0000, 0x7fff0000, 0x80000000,
399  0x7ffeffff, 0x7ffeffff, 0x7fffffff, 0x7fffffff,
400  0x7ffefffe, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
401  0x7ffffffd, 0x7ffffffd, 0x7ffffffd, 0x7ffffff0,
402  0x7ffffffc, 0x7ffffffc, 0x7fffffef, 0x7fffff83,
403  0x7ffffffb, 0x7fffffee, 0x7fffff82, 0x7fffff82,
404  0x7fffffed, 0x7fffff81, 0x7fffff81, 0x7fffff81,
405  0x7fffff80, 0x7fffff80, 0x7fffff80, 0x7fffcccd,
406  0x7fffff7f, 0x7fffff7f, 0x7fffcccc, 0x7fffaaab,
407  0x7fffff7e, 0x7fffcccb, 0x7fffaaaa, 0x7fff8003,
408  0x7fffccca, 0x7fffaaa9, 0x7fff8002, 0x7fff8002,
409  0x7fffaaa8, 0x7fff8001, 0x7fff8001, 0x7fff8001,
410  0x7fff8000, 0x7fff8000, 0x7fff8000, 0x7fff8000,
411  0x7fff7fff, 0x7fff7fff, 0x7fff7fff, 0x7fff7fff,
412  0x7fff7ffe, 0x7fff7ffe, 0x7fff7ffe, 0x7fff5556,
413  0x7fff7ffd, 0x7fff7ffd, 0x7fff5555, 0x7fff3334,
414  0x7fff7ffc, 0x7fff5554, 0x7fff3333, 0x7fff0080,
415  0x7fff5553, 0x7fff3332, 0x7fff007f, 0x7fff007f,
416  0x7fff3331, 0x7fff007e, 0x7fff007e, 0x7fff007e,
417  0x7fff007d, 0x7fff007d, 0x7fff007d, 0x7fff007d,
418  0x7fff007c, 0x7fff007c, 0x7fff007c, 0x7fff0010,
419  0x7fff007b, 0x7fff007b, 0x7fff000f, 0x7fff0003,
420  0x7fff007a, 0x7fff000e, 0x7fff0002, 0x7fff0002,
421  0x7fff000d, 0x7fff0001, 0x7fff0001, 0x7fff0001,
422  0x7fff0001, 0x7fff0001, 0x7fff0001, 0x80000001,
423  0x7fff0000, 0x7fff0000, 0x80000000, 0x80000000,
424  0x7ffeffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
425  0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7ffffff1,
426  0x7ffffffd, 0x7ffffffd, 0x7ffffff0, 0x7fffff84,
427  0x7ffffffc, 0x7fffffef, 0x7fffff83, 0x7fffff83,
428  0x7fffffee, 0x7fffff82, 0x7fffff82, 0x7fffff82,
429  0x7fffff81, 0x7fffff81, 0x7fffff81, 0x7fffccce,
430  0x7fffff80, 0x7fffff80, 0x7fffcccd, 0x7fffaaac,
431  0x7fffff7f, 0x7fffcccc, 0x7fffaaab, 0x7fff8004,
432  0x7fffcccb, 0x7fffaaaa, 0x7fff8003, 0x7fff8003,
433  0x7fffaaa9, 0x7fff8002, 0x7fff8002, 0x7fff8002,
434  0x7fff8001, 0x7fff8001, 0x7fff8001, 0x7fff8001,
435  0x7fff8000, 0x7fff8000, 0x7fff8000, 0x7fff8000,
436  0x7fff7fff, 0x7fff7fff, 0x7fff7fff, 0x7fff5557,
437  0x7fff7ffe, 0x7fff7ffe, 0x7fff5556, 0x7fff3335,
438  0x7fff7ffd, 0x7fff5555, 0x7fff3334, 0x7fff0081,
439  0x7fff5554, 0x7fff3333, 0x7fff0080, 0x7fff0080,
440  0x7fff3332, 0x7fff007f, 0x7fff007f, 0x7fff007f,
441  0x7fff007e, 0x7fff007e, 0x7fff007e, 0x7fff007e,
442  0x7fff007d, 0x7fff007d, 0x7fff007d, 0x7fff0011,
443  0x7fff007c, 0x7fff007c, 0x7fff0010, 0x7fff0004,
444  0x7fff007b, 0x7fff000f, 0x7fff0003, 0x7fff0003,
445  0x7fff000e, 0x7fff0002, 0x7fff0002, 0x7fff0002,
446  0x7fff0002, 0x7fff0002, 0x7fff0002, 0xaaaaaaaa,
447  0x7fff0001, 0x7fff0001, 0x80000001, 0xaaaaaaa9,
448  0x7fff0000, 0x80000000, 0x80000000, 0xaaaaaaa8,
449  0x7fffffff, 0x7fffffff, 0x7fffffff, 0xaaaaaa9a,
450  0x7ffffffe, 0x7ffffffe, 0x7ffffff1, 0xaaaaaa2d,
451  0x7ffffffd, 0x7ffffff0, 0x7fffff84, 0xaaaaaa2c,
452  0x7fffffef, 0x7fffff83, 0x7fffff83, 0xaaaaaa2b,
453  0x7fffff82, 0x7fffff82, 0x7fffff82, 0xaaaa7777,
454  0x7fffff81, 0x7fffff81, 0x7fffccce, 0xaaaa5555,
455  0x7fffff80, 0x7fffcccd, 0x7fffaaac, 0xaaaa2aad,
456  0x7fffcccc, 0x7fffaaab, 0x7fff8004, 0xaaaa2aac,
457  0x7fffaaaa, 0x7fff8003, 0x7fff8003, 0xaaaa2aab,
458  0x7fff8002, 0x7fff8002, 0x7fff8002, 0xaaaa2aaa,
459  0x7fff8001, 0x7fff8001, 0x7fff8001, 0xaaaa2aa9,
460  0x7fff8000, 0x7fff8000, 0x7fff8000, 0xaaaa0000,
461  0x7fff7fff, 0x7fff7fff, 0x7fff5557, 0xaaa9ddde,
462  0x7fff7ffe, 0x7fff5556, 0x7fff3335, 0xaaa9ab2a,
463  0x7fff5555, 0x7fff3334, 0x7fff0081, 0xaaa9ab29,
464  0x7fff3333, 0x7fff0080, 0x7fff0080, 0xaaa9ab28,
465  0x7fff007f, 0x7fff007f, 0x7fff007f, 0xaaa9ab27,
466  0x7fff007e, 0x7fff007e, 0x7fff007e, 0xaaa9aaba,
467  0x7fff007d, 0x7fff007d, 0x7fff0011, 0xaaa9aaad,
468  0x7fff007c, 0x7fff0010, 0x7fff0004, 0xaaa9aaac,
469  0x7fff000f, 0x7fff0003, 0x7fff0003, 0xaaa9aaab,
470  0x7fff0003, 0x7fff0003, 0xaaa9aaab, 0xcccccccc,
471  0x7fff0002, 0x7fff0002, 0xaaaaaaaa, 0xcccccccb,
472  0x7fff0001, 0x80000001, 0xaaaaaaa9, 0xccccccca,
473  0x80000000, 0x80000000, 0xaaaaaaa8, 0xccccccbc,
474  0x7fffffff, 0x7fffffff, 0xaaaaaa9a, 0xcccccc4f,
475  0x7ffffffe, 0x7ffffff1, 0xaaaaaa2d, 0xcccccc4e,
476  0x7ffffff0, 0x7fffff84, 0xaaaaaa2c, 0xcccccc4d,
477  0x7fffff83, 0x7fffff83, 0xaaaaaa2b, 0xcccc9999,
478  0x7fffff82, 0x7fffff82, 0xaaaa7777, 0xcccc7777,
479  0x7fffff81, 0x7fffccce, 0xaaaa5555, 0xcccc4ccf,
480  0x7fffcccd, 0x7fffaaac, 0xaaaa2aad, 0xcccc4cce,
481  0x7fffaaab, 0x7fff8004, 0xaaaa2aac, 0xcccc4ccd,
482  0x7fff8003, 0x7fff8003, 0xaaaa2aab, 0xcccc4ccc,
483  0x7fff8002, 0x7fff8002, 0xaaaa2aaa, 0xcccc4ccb,
484  0x7fff8001, 0x7fff8001, 0xaaaa2aa9, 0xcccc2222,
485  0x7fff8000, 0x7fff8000, 0xaaaa0000, 0xcccc0000,
486  0x7fff7fff, 0x7fff5557, 0xaaa9ddde, 0xcccbcd4c,
487  0x7fff5556, 0x7fff3335, 0xaaa9ab2a, 0xcccbcd4b,
488  0x7fff3334, 0x7fff0081, 0xaaa9ab29, 0xcccbcd4a,
489  0x7fff0080, 0x7fff0080, 0xaaa9ab28, 0xcccbcd49,
490  0x7fff007f, 0x7fff007f, 0xaaa9ab27, 0xcccbccdc,
491  0x7fff007e, 0x7fff007e, 0xaaa9aaba, 0xcccbcccf,
492  0x7fff007d, 0x7fff0011, 0xaaa9aaad, 0xcccbccce,
493  0x7fff0010, 0x7fff0004, 0xaaa9aaac, 0xcccbcccd,
494  0x7fff0004, 0xaaa9aaac, 0xcccbcccd, 0xffff8000,
495  0x7fff0003, 0xaaa9aaab, 0xcccccccc, 0xffff7fff,
496  0x7fff0002, 0xaaaaaaaa, 0xcccccccb, 0xffff7ffe,
497  0x80000001, 0xaaaaaaa9, 0xccccccca, 0xffff7ff0,
498  0x80000000, 0xaaaaaaa8, 0xccccccbc, 0xffff7f83,
499  0x7fffffff, 0xaaaaaa9a, 0xcccccc4f, 0xffff7f82,
500  0x7ffffff1, 0xaaaaaa2d, 0xcccccc4e, 0xffff7f81,
501  0x7fffff84, 0xaaaaaa2c, 0xcccccc4d, 0xffff4ccd,
502  0x7fffff83, 0xaaaaaa2b, 0xcccc9999, 0xffff2aab,
503  0x7fffff82, 0xaaaa7777, 0xcccc7777, 0xffff0003,
504  0x7fffccce, 0xaaaa5555, 0xcccc4ccf, 0xffff0002,
505  0x7fffaaac, 0xaaaa2aad, 0xcccc4cce, 0xffff0001,
506  0x7fff8004, 0xaaaa2aac, 0xcccc4ccd, 0xffff0000,
507  0x7fff8003, 0xaaaa2aab, 0xcccc4ccc, 0xfffeffff,
508  0x7fff8002, 0xaaaa2aaa, 0xcccc4ccb, 0xfffed556,
509  0x7fff8001, 0xaaaa2aa9, 0xcccc2222, 0xfffeb334,
510  0x7fff8000, 0xaaaa0000, 0xcccc0000, 0xfffe8080,
511  0x7fff5557, 0xaaa9ddde, 0xcccbcd4c, 0xfffe807f,
512  0x7fff3335, 0xaaa9ab2a, 0xcccbcd4b, 0xfffe807e,
513  0x7fff0081, 0xaaa9ab29, 0xcccbcd4a, 0xfffe807d,
514  0x7fff0080, 0xaaa9ab28, 0xcccbcd49, 0xfffe8010,
515  0x7fff007f, 0xaaa9ab27, 0xcccbccdc, 0xfffe8003,
516  0x7fff007e, 0xaaa9aaba, 0xcccbcccf, 0xfffe8002,
517  0x7fff0011, 0xaaa9aaad, 0xcccbccce, 0xfffe8001,
518  0xaaa9aaad, 0xcccbccce, 0xfffe8001, 0xffff8001,
519  0xaaa9aaac, 0xcccbcccd, 0xffff8000, 0xffff8000,
520  0xaaa9aaab, 0xcccccccc, 0xffff7fff, 0xffff7fff,
521  0xaaaaaaaa, 0xcccccccb, 0xffff7ffe, 0xffff7ff1,
522  0xaaaaaaa9, 0xccccccca, 0xffff7ff0, 0xffff7f84,
523  0xaaaaaaa8, 0xccccccbc, 0xffff7f83, 0xffff7f83,
524  0xaaaaaa9a, 0xcccccc4f, 0xffff7f82, 0xffff7f82,
525  0xaaaaaa2d, 0xcccccc4e, 0xffff7f81, 0xffff4cce,
526  0xaaaaaa2c, 0xcccccc4d, 0xffff4ccd, 0xffff2aac,
527  0xaaaaaa2b, 0xcccc9999, 0xffff2aab, 0xffff0004,
528  0xaaaa7777, 0xcccc7777, 0xffff0003, 0xffff0003,
529  0xaaaa5555, 0xcccc4ccf, 0xffff0002, 0xffff0002,
530  0xaaaa2aad, 0xcccc4cce, 0xffff0001, 0xffff0001,
531  0xaaaa2aac, 0xcccc4ccd, 0xffff0000, 0xffff0000,
532  0xaaaa2aab, 0xcccc4ccc, 0xfffeffff, 0xfffed557,
533  0xaaaa2aaa, 0xcccc4ccb, 0xfffed556, 0xfffeb335,
534  0xaaaa2aa9, 0xcccc2222, 0xfffeb334, 0xfffe8081,
535  0xaaaa0000, 0xcccc0000, 0xfffe8080, 0xfffe8080,
536  0xaaa9ddde, 0xcccbcd4c, 0xfffe807f, 0xfffe807f,
537  0xaaa9ab2a, 0xcccbcd4b, 0xfffe807e, 0xfffe807e,
538  0xaaa9ab29, 0xcccbcd4a, 0xfffe807d, 0xfffe8011,
539  0xaaa9ab28, 0xcccbcd49, 0xfffe8010, 0xfffe8004,
540  0xaaa9ab27, 0xcccbccdc, 0xfffe8003, 0xfffe8003,
541  0xaaa9aaba, 0xcccbcccf, 0xfffe8002, 0xfffe8002,
542  0xcccbcccf, 0xfffe8002, 0xfffe8002, 0xffff8002,
543  0xcccbccce, 0xfffe8001, 0xffff8001, 0xffff8001,
544  0xcccbcccd, 0xffff8000, 0xffff8000, 0xffff8000,
545  0xcccccccc, 0xffff7fff, 0xffff7fff, 0xffff7ff2,
546  0xcccccccb, 0xffff7ffe, 0xffff7ff1, 0xffff7f85,
547  0xccccccca, 0xffff7ff0, 0xffff7f84, 0xffff7f84,
548  0xccccccbc, 0xffff7f83, 0xffff7f83, 0xffff7f83,
549  0xcccccc4f, 0xffff7f82, 0xffff7f82, 0xffff4ccf,
550  0xcccccc4e, 0xffff7f81, 0xffff4cce, 0xffff2aad,
551  0xcccccc4d, 0xffff4ccd, 0xffff2aac, 0xffff0005,
552  0xcccc9999, 0xffff2aab, 0xffff0004, 0xffff0004,
553  0xcccc7777, 0xffff0003, 0xffff0003, 0xffff0003,
554  0xcccc4ccf, 0xffff0002, 0xffff0002, 0xffff0002,
555  0xcccc4cce, 0xffff0001, 0xffff0001, 0xffff0001,
556  0xcccc4ccd, 0xffff0000, 0xffff0000, 0xfffed558,
557  0xcccc4ccc, 0xfffeffff, 0xfffed557, 0xfffeb336,
558  0xcccc4ccb, 0xfffed556, 0xfffeb335, 0xfffe8082,
559  0xcccc2222, 0xfffeb334, 0xfffe8081, 0xfffe8081,
560  0xcccc0000, 0xfffe8080, 0xfffe8080, 0xfffe8080,
561  0xcccbcd4c, 0xfffe807f, 0xfffe807f, 0xfffe807f,
562  0xcccbcd4b, 0xfffe807e, 0xfffe807e, 0xfffe8012,
563  0xcccbcd4a, 0xfffe807d, 0xfffe8011, 0xfffe8005,
564  0xcccbcd49, 0xfffe8010, 0xfffe8004, 0xfffe8004,
565  0xcccbccdc, 0xfffe8003, 0xfffe8003, 0xfffe8003,
566  0xfffe8003, 0xfffe8003, 0xfffe8003, 0xffff8003,
567  0xfffe8002, 0xfffe8002, 0xffff8002, 0xffff8002,
568  0xfffe8001, 0xffff8001, 0xffff8001, 0xffff8001,
569  0xffff8000, 0xffff8000, 0xffff8000, 0xffff7ff3,
570  0xffff7fff, 0xffff7fff, 0xffff7ff2, 0xffff7f86,
571  0xffff7ffe, 0xffff7ff1, 0xffff7f85, 0xffff7f85,
572  0xffff7ff0, 0xffff7f84, 0xffff7f84, 0xffff7f84,
573  0xffff7f83, 0xffff7f83, 0xffff7f83, 0xffff4cd0,
574  0xffff7f82, 0xffff7f82, 0xffff4ccf, 0xffff2aae,
575  0xffff7f81, 0xffff4cce, 0xffff2aad, 0xffff0006,
576  0xffff4ccd, 0xffff2aac, 0xffff0005, 0xffff0005,
577  0xffff2aab, 0xffff0004, 0xffff0004, 0xffff0004,
578  0xffff0003, 0xffff0003, 0xffff0003, 0xffff0003,
579  0xffff0002, 0xffff0002, 0xffff0002, 0xffff0002,
580  0xffff0001, 0xffff0001, 0xffff0001, 0xfffed559,
581  0xffff0000, 0xffff0000, 0xfffed558, 0xfffeb337,
582  0xfffeffff, 0xfffed557, 0xfffeb336, 0xfffe8083,
583  0xfffed556, 0xfffeb335, 0xfffe8082, 0xfffe8082,
584  0xfffeb334, 0xfffe8081, 0xfffe8081, 0xfffe8081,
585  0xfffe8080, 0xfffe8080, 0xfffe8080, 0xfffe8080,
586  0xfffe807f, 0xfffe807f, 0xfffe807f, 0xfffe8013,
587  0xfffe807e, 0xfffe807e, 0xfffe8012, 0xfffe8006,
588  0xfffe807d, 0xfffe8011, 0xfffe8005, 0xfffe8005,
589  0xfffe8010, 0xfffe8004, 0xfffe8004, 0xfffe8004,
590  0xfffe8004, 0xfffe8004, 0xfffe8004, 0xffffff80,
591  0xfffe8003, 0xfffe8003, 0xffff8003, 0xffffff7f,
592  0xfffe8002, 0xffff8002, 0xffff8002, 0xffffff7e,
593  0xffff8001, 0xffff8001, 0xffff8001, 0xffffff70,
594  0xffff8000, 0xffff8000, 0xffff7ff3, 0xffffff03,
595  0xffff7fff, 0xffff7ff2, 0xffff7f86, 0xffffff02,
596  0xffff7ff1, 0xffff7f85, 0xffff7f85, 0xffffff01,
597  0xffff7f84, 0xffff7f84, 0xffff7f84, 0xffffcc4d,
598  0xffff7f83, 0xffff7f83, 0xffff4cd0, 0xffffaa2b,
599  0xffff7f82, 0xffff4ccf, 0xffff2aae, 0xffff7f83,
600  0xffff4cce, 0xffff2aad, 0xffff0006, 0xffff7f82,
601  0xffff2aac, 0xffff0005, 0xffff0005, 0xffff7f81,
602  0xffff0004, 0xffff0004, 0xffff0004, 0xffff7f80,
603  0xffff0003, 0xffff0003, 0xffff0003, 0xffff7f7f,
604  0xffff0002, 0xffff0002, 0xffff0002, 0xffff54d6,
605  0xffff0001, 0xffff0001, 0xfffed559, 0xffff32b4,
606  0xffff0000, 0xfffed558, 0xfffeb337, 0xffff0000,
607  0xfffed557, 0xfffeb336, 0xfffe8083, 0xfffeffff,
608  0xfffeb335, 0xfffe8082, 0xfffe8082, 0xfffefffe,
609  0xfffe8081, 0xfffe8081, 0xfffe8081, 0xfffefffd,
610  0xfffe8080, 0xfffe8080, 0xfffe8080, 0xfffeff90,
611  0xfffe807f, 0xfffe807f, 0xfffe8013, 0xfffeff83,
612  0xfffe807e, 0xfffe8012, 0xfffe8006, 0xfffeff82,
613  0xfffe8011, 0xfffe8005, 0xfffe8005, 0xfffeff81,
614  0xfffe8005, 0xfffe8005, 0xfffeff81, 0xffffff81,
615  0xfffe8004, 0xfffe8004, 0xffffff80, 0xffffff80,
616  0xfffe8003, 0xffff8003, 0xffffff7f, 0xffffff7f,
617  0xffff8002, 0xffff8002, 0xffffff7e, 0xffffff71,
618  0xffff8001, 0xffff8001, 0xffffff70, 0xffffff04,
619  0xffff8000, 0xffff7ff3, 0xffffff03, 0xffffff03,
620  0xffff7ff2, 0xffff7f86, 0xffffff02, 0xffffff02,
621  0xffff7f85, 0xffff7f85, 0xffffff01, 0xffffcc4e,
622  0xffff7f84, 0xffff7f84, 0xffffcc4d, 0xffffaa2c,
623  0xffff7f83, 0xffff4cd0, 0xffffaa2b, 0xffff7f84,
624  0xffff4ccf, 0xffff2aae, 0xffff7f83, 0xffff7f83,
625  0xffff2aad, 0xffff0006, 0xffff7f82, 0xffff7f82,
626  0xffff0005, 0xffff0005, 0xffff7f81, 0xffff7f81,
627  0xffff0004, 0xffff0004, 0xffff7f80, 0xffff7f80,
628  0xffff0003, 0xffff0003, 0xffff7f7f, 0xffff54d7,
629  0xffff0002, 0xffff0002, 0xffff54d6, 0xffff32b5,
630  0xffff0001, 0xfffed559, 0xffff32b4, 0xffff0001,
631  0xfffed558, 0xfffeb337, 0xffff0000, 0xffff0000,
632  0xfffeb336, 0xfffe8083, 0xfffeffff, 0xfffeffff,
633  0xfffe8082, 0xfffe8082, 0xfffefffe, 0xfffefffe,
634  0xfffe8081, 0xfffe8081, 0xfffefffd, 0xfffeff91,
635  0xfffe8080, 0xfffe8080, 0xfffeff90, 0xfffeff84,
636  0xfffe807f, 0xfffe8013, 0xfffeff83, 0xfffeff83,
637  0xfffe8012, 0xfffe8006, 0xfffeff82, 0xfffeff82,
638  0xfffe8006, 0xfffeff82, 0xfffeff82, 0xffffff82,
639  0xfffe8005, 0xfffeff81, 0xffffff81, 0xffffff81,
640  0xfffe8004, 0xffffff80, 0xffffff80, 0xffffff80,
641  0xffff8003, 0xffffff7f, 0xffffff7f, 0xffffff72,
642  0xffff8002, 0xffffff7e, 0xffffff71, 0xffffff05,
643  0xffff8001, 0xffffff70, 0xffffff04, 0xffffff04,
644  0xffff7ff3, 0xffffff03, 0xffffff03, 0xffffff03,
645  0xffff7f86, 0xffffff02, 0xffffff02, 0xffffcc4f,
646  0xffff7f85, 0xffffff01, 0xffffcc4e, 0xffffaa2d,
647  0xffff7f84, 0xffffcc4d, 0xffffaa2c, 0xffff7f85,
648  0xffff4cd0, 0xffffaa2b, 0xffff7f84, 0xffff7f84,
649  0xffff2aae, 0xffff7f83, 0xffff7f83, 0xffff7f83,
650  0xffff0006, 0xffff7f82, 0xffff7f82, 0xffff7f82,
651  0xffff0005, 0xffff7f81, 0xffff7f81, 0xffff7f81,
652  0xffff0004, 0xffff7f80, 0xffff7f80, 0xffff54d8,
653  0xffff0003, 0xffff7f7f, 0xffff54d7, 0xffff32b6,
654  0xffff0002, 0xffff54d6, 0xffff32b5, 0xffff0002,
655  0xfffed559, 0xffff32b4, 0xffff0001, 0xffff0001,
656  0xfffeb337, 0xffff0000, 0xffff0000, 0xffff0000,
657  0xfffe8083, 0xfffeffff, 0xfffeffff, 0xfffeffff,
658  0xfffe8082, 0xfffefffe, 0xfffefffe, 0xfffeff92,
659  0xfffe8081, 0xfffefffd, 0xfffeff91, 0xfffeff85,
660  0xfffe8080, 0xfffeff90, 0xfffeff84, 0xfffeff84,
661  0xfffe8013, 0xfffeff83, 0xfffeff83, 0xfffeff83,
662  0xfffeff83, 0xfffeff83, 0xfffeff83, 0xffffff83,
663  0xfffeff82, 0xfffeff82, 0xffffff82, 0xffffff82,
664  0xfffeff81, 0xffffff81, 0xffffff81, 0xffffff81,
665  0xffffff80, 0xffffff80, 0xffffff80, 0xffffff73,
666  0xffffff7f, 0xffffff7f, 0xffffff72, 0xffffff06,
667  0xffffff7e, 0xffffff71, 0xffffff05, 0xffffff05,
668  0xffffff70, 0xffffff04, 0xffffff04, 0xffffff04,
669  0xffffff03, 0xffffff03, 0xffffff03, 0xffffcc50,
670  0xffffff02, 0xffffff02, 0xffffcc4f, 0xffffaa2e,
671  0xffffff01, 0xffffcc4e, 0xffffaa2d, 0xffff7f86,
672  0xffffcc4d, 0xffffaa2c, 0xffff7f85, 0xffff7f85,
673  0xffffaa2b, 0xffff7f84, 0xffff7f84, 0xffff7f84,
674  0xffff7f83, 0xffff7f83, 0xffff7f83, 0xffff7f83,
675  0xffff7f82, 0xffff7f82, 0xffff7f82, 0xffff7f82,
676  0xffff7f81, 0xffff7f81, 0xffff7f81, 0xffff54d9,
677  0xffff7f80, 0xffff7f80, 0xffff54d8, 0xffff32b7,
678  0xffff7f7f, 0xffff54d7, 0xffff32b6, 0xffff0003,
679  0xffff54d6, 0xffff32b5, 0xffff0002, 0xffff0002,
680  0xffff32b4, 0xffff0001, 0xffff0001, 0xffff0001,
681  0xffff0000, 0xffff0000, 0xffff0000, 0xffff0000,
682  0xfffeffff, 0xfffeffff, 0xfffeffff, 0xfffeff93,
683  0xfffefffe, 0xfffefffe, 0xfffeff92, 0xfffeff86,
684  0xfffefffd, 0xfffeff91, 0xfffeff85, 0xfffeff85,
685  0xfffeff90, 0xfffeff84, 0xfffeff84, 0xfffeff84,
686  0xfffeff84, 0xfffeff84, 0xfffeff84, 0xffffffe0,
687  0xfffeff83, 0xfffeff83, 0xffffff83, 0xffffffdf,
688  0xfffeff82, 0xffffff82, 0xffffff82, 0xffffffde,
689  0xffffff81, 0xffffff81, 0xffffff81, 0xffffffd0,
690  0xffffff80, 0xffffff80, 0xffffff73, 0xffffff63,
691  0xffffff7f, 0xffffff72, 0xffffff06, 0xffffff62,
692  0xffffff71, 0xffffff05, 0xffffff05, 0xffffff61,
693  0xffffff04, 0xffffff04, 0xffffff04, 0xffffccad,
694  0xffffff03, 0xffffff03, 0xffffcc50, 0xffffaa8b,
695  0xffffff02, 0xffffcc4f, 0xffffaa2e, 0xffff7fe3,
696  0xffffcc4e, 0xffffaa2d, 0xffff7f86, 0xffff7fe2,
697  0xffffaa2c, 0xffff7f85, 0xffff7f85, 0xffff7fe1,
698  0xffff7f84, 0xffff7f84, 0xffff7f84, 0xffff7fe0,
699  0xffff7f83, 0xffff7f83, 0xffff7f83, 0xffff7fdf,
700  0xffff7f82, 0xffff7f82, 0xffff7f82, 0xffff5536,
701  0xffff7f81, 0xffff7f81, 0xffff54d9, 0xffff3314,
702  0xffff7f80, 0xffff54d8, 0xffff32b7, 0xffff0060,
703  0xffff54d7, 0xffff32b6, 0xffff0003, 0xffff005f,
704  0xffff32b5, 0xffff0002, 0xffff0002, 0xffff005e,
705  0xffff0001, 0xffff0001, 0xffff0001, 0xffff005d,
706  0xffff0000, 0xffff0000, 0xffff0000, 0xfffefff0,
707  0xfffeffff, 0xfffeffff, 0xfffeff93, 0xfffeffe3,
708  0xfffefffe, 0xfffeff92, 0xfffeff86, 0xfffeffe2,
709  0xfffeff91, 0xfffeff85, 0xfffeff85, 0xfffeffe1,
710  0xfffeff85, 0xfffeff85, 0xfffeffe1, 0xfffffffd,
711  0xfffeff84, 0xfffeff84, 0xffffffe0, 0xfffffffc,
712  0xfffeff83, 0xffffff83, 0xffffffdf, 0xfffffffb,
713  0xffffff82, 0xffffff82, 0xffffffde, 0xffffffed,
714  0xffffff81, 0xffffff81, 0xffffffd0, 0xffffff80,
715  0xffffff80, 0xffffff73, 0xffffff63, 0xffffff7f,
716  0xffffff72, 0xffffff06, 0xffffff62, 0xffffff7e,
717  0xffffff05, 0xffffff05, 0xffffff61, 0xffffccca,
718  0xffffff04, 0xffffff04, 0xffffccad, 0xffffaaa8,
719  0xffffff03, 0xffffcc50, 0xffffaa8b, 0xffff8000,
720  0xffffcc4f, 0xffffaa2e, 0xffff7fe3, 0xffff7fff,
721  0xffffaa2d, 0xffff7f86, 0xffff7fe2, 0xffff7ffe,
722  0xffff7f85, 0xffff7f85, 0xffff7fe1, 0xffff7ffd,
723  0xffff7f84, 0xffff7f84, 0xffff7fe0, 0xffff7ffc,
724  0xffff7f83, 0xffff7f83, 0xffff7fdf, 0xffff5553,
725  0xffff7f82, 0xffff7f82, 0xffff5536, 0xffff3331,
726  0xffff7f81, 0xffff54d9, 0xffff3314, 0xffff007d,
727  0xffff54d8, 0xffff32b7, 0xffff0060, 0xffff007c,
728  0xffff32b6, 0xffff0003, 0xffff005f, 0xffff007b,
729  0xffff0002, 0xffff0002, 0xffff005e, 0xffff007a,
730  0xffff0001, 0xffff0001, 0xffff005d, 0xffff000d,
731  0xffff0000, 0xffff0000, 0xfffefff0, 0xffff0000,
732  0xfffeffff, 0xfffeff93, 0xfffeffe3, 0xfffeffff,
733  0xfffeff92, 0xfffeff86, 0xfffeffe2, 0xfffefffe,
734  0xfffeff86, 0xfffeffe2, 0xfffefffe, 0xfffffffe,
735  0xfffeff85, 0xfffeffe1, 0xfffffffd, 0xfffffffd,
736  0xfffeff84, 0xffffffe0, 0xfffffffc, 0xfffffffc,
737  0xffffff83, 0xffffffdf, 0xfffffffb, 0xffffffee,
738  0xffffff82, 0xffffffde, 0xffffffed, 0xffffff81,
739  0xffffff81, 0xffffffd0, 0xffffff80, 0xffffff80,
740  0xffffff73, 0xffffff63, 0xffffff7f, 0xffffff7f,
741  0xffffff06, 0xffffff62, 0xffffff7e, 0xffffcccb,
742  0xffffff05, 0xffffff61, 0xffffccca, 0xffffaaa9,
743  0xffffff04, 0xffffccad, 0xffffaaa8, 0xffff8001,
744  0xffffcc50, 0xffffaa8b, 0xffff8000, 0xffff8000,
745  0xffffaa2e, 0xffff7fe3, 0xffff7fff, 0xffff7fff,
746  0xffff7f86, 0xffff7fe2, 0xffff7ffe, 0xffff7ffe,
747  0xffff7f85, 0xffff7fe1, 0xffff7ffd, 0xffff7ffd,
748  0xffff7f84, 0xffff7fe0, 0xffff7ffc, 0xffff5554,
749  0xffff7f83, 0xffff7fdf, 0xffff5553, 0xffff3332,
750  0xffff7f82, 0xffff5536, 0xffff3331, 0xffff007e,
751  0xffff54d9, 0xffff3314, 0xffff007d, 0xffff007d,
752  0xffff32b7, 0xffff0060, 0xffff007c, 0xffff007c,
753  0xffff0003, 0xffff005f, 0xffff007b, 0xffff007b,
754  0xffff0002, 0xffff005e, 0xffff007a, 0xffff000e,
755  0xffff0001, 0xffff005d, 0xffff000d, 0xffff0001,
756  0xffff0000, 0xfffefff0, 0xffff0000, 0xffff0000,
757  0xfffeff93, 0xfffeffe3, 0xfffeffff, 0xfffeffff,
758  0xfffeffe3, 0xfffeffff, 0xfffeffff, 0xffffffff,
759  0xfffeffe2, 0xfffefffe, 0xfffffffe, 0xfffffffe,
760  0xfffeffe1, 0xfffffffd, 0xfffffffd, 0xfffffffd,
761  0xffffffe0, 0xfffffffc, 0xfffffffc, 0xffffffef,
762  0xffffffdf, 0xfffffffb, 0xffffffee, 0xffffff82,
763  0xffffffde, 0xffffffed, 0xffffff81, 0xffffff81,
764  0xffffffd0, 0xffffff80, 0xffffff80, 0xffffff80,
765  0xffffff63, 0xffffff7f, 0xffffff7f, 0xffffcccc,
766  0xffffff62, 0xffffff7e, 0xffffcccb, 0xffffaaaa,
767  0xffffff61, 0xffffccca, 0xffffaaa9, 0xffff8002,
768  0xffffccad, 0xffffaaa8, 0xffff8001, 0xffff8001,
769  0xffffaa8b, 0xffff8000, 0xffff8000, 0xffff8000,
770  0xffff7fe3, 0xffff7fff, 0xffff7fff, 0xffff7fff,
771  0xffff7fe2, 0xffff7ffe, 0xffff7ffe, 0xffff7ffe,
772  0xffff7fe1, 0xffff7ffd, 0xffff7ffd, 0xffff5555,
773  0xffff7fe0, 0xffff7ffc, 0xffff5554, 0xffff3333,
774  0xffff7fdf, 0xffff5553, 0xffff3332, 0xffff007f,
775  0xffff5536, 0xffff3331, 0xffff007e, 0xffff007e,
776  0xffff3314, 0xffff007d, 0xffff007d, 0xffff007d,
777  0xffff0060, 0xffff007c, 0xffff007c, 0xffff007c,
778  0xffff005f, 0xffff007b, 0xffff007b, 0xffff000f,
779  0xffff005e, 0xffff007a, 0xffff000e, 0xffff0002,
780  0xffff005d, 0xffff000d, 0xffff0001, 0xffff0001,
781  0xfffefff0, 0xffff0000, 0xffff0000, 0xffff0000,
782};
783const unsigned kExpectedCount_NEON_usubw2_4S = 744;
784
785#endif  // VIXL_SIM_USUBW2_4S_TRACE_AARCH64_H_
786