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_SSUBW2_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_SSUBW2_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_ssubw2_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, 0x00008000,
51  0xfffffe02, 0xffffff01, 0x00807d00, 0x00007fff,
52  0xfffffe01, 0x0000ff00, 0x00807cff, 0x00005556,
53  0x0000fe00, 0x0000feff, 0x00805256, 0x00003334,
54  0x0000fdff, 0x0000d456, 0x00803034, 0x00000080,
55  0x0000d356, 0x0000b234, 0x007ffd80, 0x0000007f,
56  0x0000b134, 0x00007f80, 0x007ffd7f, 0x0000007e,
57  0x00007e80, 0x00007f7f, 0x007ffd7e, 0x0000007d,
58  0x00007e7f, 0x00007f7e, 0x007ffd7d, 0x00000010,
59  0x00007e7e, 0x00007f7d, 0x007ffd10, 0x00000003,
60  0x00007e7d, 0x00007f10, 0x007ffd03, 0x00000002,
61  0x00007e10, 0x00007f03, 0x007ffd02, 0x00000001,
62  0x00007f03, 0x007ffd02, 0x00000001, 0x00000001,
63  0x00007f02, 0x007ffd01, 0x00000000, 0x00000000,
64  0x00007f01, 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, 0x00008001,
75  0xffffff02, 0x007f7d01, 0x00008000, 0x00008000,
76  0xffffff01, 0x00807d00, 0x00007fff, 0x00005557,
77  0x0000ff00, 0x00807cff, 0x00005556, 0x00003335,
78  0x0000feff, 0x00805256, 0x00003334, 0x00000081,
79  0x0000d456, 0x00803034, 0x00000080, 0x00000080,
80  0x0000b234, 0x007ffd80, 0x0000007f, 0x0000007f,
81  0x00007f80, 0x007ffd7f, 0x0000007e, 0x0000007e,
82  0x00007f7f, 0x007ffd7e, 0x0000007d, 0x00000011,
83  0x00007f7e, 0x007ffd7d, 0x00000010, 0x00000004,
84  0x00007f7d, 0x007ffd10, 0x00000003, 0x00000003,
85  0x00007f10, 0x007ffd03, 0x00000002, 0x00000002,
86  0x007ffd03, 0x00000002, 0x00000002, 0x00000002,
87  0x007ffd02, 0x00000001, 0x00000001, 0x00000001,
88  0x007ffd01, 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, 0x00008002,
99  0x007f7d02, 0xffff8001, 0x00008001, 0x00008001,
100  0x007f7d01, 0x00008000, 0x00008000, 0x00005558,
101  0x00807d00, 0x00007fff, 0x00005557, 0x00003336,
102  0x00807cff, 0x00005556, 0x00003335, 0x00000082,
103  0x00805256, 0x00003334, 0x00000081, 0x00000081,
104  0x00803034, 0x00000080, 0x00000080, 0x00000080,
105  0x007ffd80, 0x0000007f, 0x0000007f, 0x0000007f,
106  0x007ffd7f, 0x0000007e, 0x0000007e, 0x00000012,
107  0x007ffd7e, 0x0000007d, 0x00000011, 0x00000005,
108  0x007ffd7d, 0x00000010, 0x00000004, 0x00000004,
109  0x007ffd10, 0x00000003, 0x00000003, 0x00000003,
110  0x00000003, 0x00000003, 0x00000003, 0x00000020,
111  0x00000002, 0x00000002, 0x00000002, 0x0000001f,
112  0x00000001, 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, 0x00008020,
123  0xffff8002, 0xffff8002, 0x00008002, 0x0000801f,
124  0xffff8001, 0x00008001, 0x00008001, 0x00005576,
125  0x00008000, 0x00008000, 0x00005558, 0x00003354,
126  0x00007fff, 0x00005557, 0x00003336, 0x000000a0,
127  0x00005556, 0x00003335, 0x00000082, 0x0000009f,
128  0x00003334, 0x00000081, 0x00000081, 0x0000009e,
129  0x00000080, 0x00000080, 0x00000080, 0x0000009d,
130  0x0000007f, 0x0000007f, 0x0000007f, 0x00000030,
131  0x0000007e, 0x0000007e, 0x00000012, 0x00000023,
132  0x0000007d, 0x00000011, 0x00000005, 0x00000022,
133  0x00000010, 0x00000004, 0x00000004, 0x00000021,
134  0x00000004, 0x00000004, 0x00000021, 0x0000007d,
135  0x00000003, 0x00000003, 0x00000020, 0x0000007c,
136  0x00000002, 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, 0x0000807d,
147  0xffff8003, 0xffff8003, 0x00008020, 0x0000807c,
148  0xffff8002, 0x00008002, 0x0000801f, 0x000055d3,
149  0x00008001, 0x00008001, 0x00005576, 0x000033b1,
150  0x00008000, 0x00005558, 0x00003354, 0x000000fd,
151  0x00005557, 0x00003336, 0x000000a0, 0x000000fc,
152  0x00003335, 0x00000082, 0x0000009f, 0x000000fb,
153  0x00000081, 0x00000081, 0x0000009e, 0x000000fa,
154  0x00000080, 0x00000080, 0x0000009d, 0x0000008d,
155  0x0000007f, 0x0000007f, 0x00000030, 0x00000080,
156  0x0000007e, 0x00000012, 0x00000023, 0x0000007f,
157  0x00000011, 0x00000005, 0x00000022, 0x0000007e,
158  0x00000005, 0x00000022, 0x0000007e, 0x0000007e,
159  0x00000004, 0x00000021, 0x0000007d, 0x0000007d,
160  0x00000003, 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, 0x0000807e,
171  0xffff8004, 0xffff8021, 0x0000807d, 0x0000807d,
172  0xffff8003, 0x00008020, 0x0000807c, 0x000055d4,
173  0x00008002, 0x0000801f, 0x000055d3, 0x000033b2,
174  0x00008001, 0x00005576, 0x000033b1, 0x000000fe,
175  0x00005558, 0x00003354, 0x000000fd, 0x000000fd,
176  0x00003336, 0x000000a0, 0x000000fc, 0x000000fc,
177  0x00000082, 0x0000009f, 0x000000fb, 0x000000fb,
178  0x00000081, 0x0000009e, 0x000000fa, 0x0000008e,
179  0x00000080, 0x0000009d, 0x0000008d, 0x00000081,
180  0x0000007f, 0x00000030, 0x00000080, 0x00000080,
181  0x00000012, 0x00000023, 0x0000007f, 0x0000007f,
182  0x00000023, 0x0000007f, 0x0000007f, 0x0000007f,
183  0x00000022, 0x0000007e, 0x0000007e, 0x0000007e,
184  0x00000021, 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, 0x0000807f,
195  0xffff8022, 0xffff807e, 0x0000807e, 0x0000807e,
196  0xffff8021, 0x0000807d, 0x0000807d, 0x000055d5,
197  0x00008020, 0x0000807c, 0x000055d4, 0x000033b3,
198  0x0000801f, 0x000055d3, 0x000033b2, 0x000000ff,
199  0x00005576, 0x000033b1, 0x000000fe, 0x000000fe,
200  0x00003354, 0x000000fd, 0x000000fd, 0x000000fd,
201  0x000000a0, 0x000000fc, 0x000000fc, 0x000000fc,
202  0x0000009f, 0x000000fb, 0x000000fb, 0x0000008f,
203  0x0000009e, 0x000000fa, 0x0000008e, 0x00000082,
204  0x0000009d, 0x0000008d, 0x00000081, 0x00000081,
205  0x00000030, 0x00000080, 0x00000080, 0x00000080,
206  0x00000080, 0x00000080, 0x00000080, 0x00007ffd,
207  0x0000007f, 0x0000007f, 0x0000007f, 0x00007ffc,
208  0x0000007e, 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, 0x0000fffd,
219  0xffff807f, 0xffff807f, 0x0000807f, 0x0000fffc,
220  0xffff807e, 0x0000807e, 0x0000807e, 0x0000d553,
221  0x0000807d, 0x0000807d, 0x000055d5, 0x0000b331,
222  0x0000807c, 0x000055d4, 0x000033b3, 0x0000807d,
223  0x000055d3, 0x000033b2, 0x000000ff, 0x0000807c,
224  0x000033b1, 0x000000fe, 0x000000fe, 0x0000807b,
225  0x000000fd, 0x000000fd, 0x000000fd, 0x0000807a,
226  0x000000fc, 0x000000fc, 0x000000fc, 0x0000800d,
227  0x000000fb, 0x000000fb, 0x0000008f, 0x00008000,
228  0x000000fa, 0x0000008e, 0x00000082, 0x00007fff,
229  0x0000008d, 0x00000081, 0x00000081, 0x00007ffe,
230  0x00000081, 0x00000081, 0x00007ffe, 0x00007ffe,
231  0x00000080, 0x00000080, 0x00007ffd, 0x00007ffd,
232  0x0000007f, 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, 0x0000fffe,
243  0xffff8080, 0xffff8080, 0x0000fffd, 0x0000fffd,
244  0xffff807f, 0x0000807f, 0x0000fffc, 0x0000d554,
245  0x0000807e, 0x0000807e, 0x0000d553, 0x0000b332,
246  0x0000807d, 0x000055d5, 0x0000b331, 0x0000807e,
247  0x000055d4, 0x000033b3, 0x0000807d, 0x0000807d,
248  0x000033b2, 0x000000ff, 0x0000807c, 0x0000807c,
249  0x000000fe, 0x000000fe, 0x0000807b, 0x0000807b,
250  0x000000fd, 0x000000fd, 0x0000807a, 0x0000800e,
251  0x000000fc, 0x000000fc, 0x0000800d, 0x00008001,
252  0x000000fb, 0x0000008f, 0x00008000, 0x00008000,
253  0x0000008e, 0x00000082, 0x00007fff, 0x00007fff,
254  0x00000082, 0x00007fff, 0x00007fff, 0x00007fff,
255  0x00000081, 0x00007ffe, 0x00007ffe, 0x00007ffe,
256  0x00000080, 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, 0x0000ffff,
267  0xffff8081, 0xfffffffe, 0x0000fffe, 0x0000fffe,
268  0xffff8080, 0x0000fffd, 0x0000fffd, 0x0000d555,
269  0x0000807f, 0x0000fffc, 0x0000d554, 0x0000b333,
270  0x0000807e, 0x0000d553, 0x0000b332, 0x0000807f,
271  0x000055d5, 0x0000b331, 0x0000807e, 0x0000807e,
272  0x000033b3, 0x0000807d, 0x0000807d, 0x0000807d,
273  0x000000ff, 0x0000807c, 0x0000807c, 0x0000807c,
274  0x000000fe, 0x0000807b, 0x0000807b, 0x0000800f,
275  0x000000fd, 0x0000807a, 0x0000800e, 0x00008002,
276  0x000000fc, 0x0000800d, 0x00008001, 0x00008001,
277  0x0000008f, 0x00008000, 0x00008000, 0x00008000,
278  0x00008000, 0x00008000, 0x00008000, 0x33333333,
279  0x00007fff, 0x00007fff, 0x00007fff, 0x33333332,
280  0x00007ffe, 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, 0x3333b333,
291  0xffffffff, 0xffffffff, 0x0000ffff, 0x3333b332,
292  0xfffffffe, 0x0000fffe, 0x0000fffe, 0x33338889,
293  0x0000fffd, 0x0000fffd, 0x0000d555, 0x33336667,
294  0x0000fffc, 0x0000d554, 0x0000b333, 0x333333b3,
295  0x0000d553, 0x0000b332, 0x0000807f, 0x333333b2,
296  0x0000b331, 0x0000807e, 0x0000807e, 0x333333b1,
297  0x0000807d, 0x0000807d, 0x0000807d, 0x333333b0,
298  0x0000807c, 0x0000807c, 0x0000807c, 0x33333343,
299  0x0000807b, 0x0000807b, 0x0000800f, 0x33333336,
300  0x0000807a, 0x0000800e, 0x00008002, 0x33333335,
301  0x0000800d, 0x00008001, 0x00008001, 0x33333334,
302  0x00008001, 0x00008001, 0x33333334, 0x55555555,
303  0x00008000, 0x00008000, 0x33333333, 0x55555554,
304  0x00007fff, 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, 0x5555d555,
315  0x00000000, 0x00000000, 0x3333b333, 0x5555d554,
316  0xffffffff, 0x0000ffff, 0x3333b332, 0x5555aaab,
317  0x0000fffe, 0x0000fffe, 0x33338889, 0x55558889,
318  0x0000fffd, 0x0000d555, 0x33336667, 0x555555d5,
319  0x0000d554, 0x0000b333, 0x333333b3, 0x555555d4,
320  0x0000b332, 0x0000807f, 0x333333b2, 0x555555d3,
321  0x0000807e, 0x0000807e, 0x333333b1, 0x555555d2,
322  0x0000807d, 0x0000807d, 0x333333b0, 0x55555565,
323  0x0000807c, 0x0000807c, 0x33333343, 0x55555558,
324  0x0000807b, 0x0000800f, 0x33333336, 0x55555557,
325  0x0000800e, 0x00008002, 0x33333335, 0x55555556,
326  0x00008002, 0x33333335, 0x55555556, 0x7ffffffd,
327  0x00008001, 0x33333334, 0x55555555, 0x7ffffffc,
328  0x00008000, 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, 0x80007ffd,
339  0x00000001, 0x3332b334, 0x5555d555, 0x80007ffc,
340  0x00000000, 0x3333b333, 0x5555d554, 0x80005553,
341  0x0000ffff, 0x3333b332, 0x5555aaab, 0x80003331,
342  0x0000fffe, 0x33338889, 0x55558889, 0x8000007d,
343  0x0000d555, 0x33336667, 0x555555d5, 0x8000007c,
344  0x0000b333, 0x333333b3, 0x555555d4, 0x8000007b,
345  0x0000807f, 0x333333b2, 0x555555d3, 0x8000007a,
346  0x0000807e, 0x333333b1, 0x555555d2, 0x8000000d,
347  0x0000807d, 0x333333b0, 0x55555565, 0x80000000,
348  0x0000807c, 0x33333343, 0x55555558, 0x7fffffff,
349  0x0000800f, 0x33333336, 0x55555557, 0x7ffffffe,
350  0x33333336, 0x55555557, 0x7ffffffe, 0x7ffffffe,
351  0x33333335, 0x55555556, 0x7ffffffd, 0x7ffffffd,
352  0x33333334, 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, 0x80007ffe,
363  0x3332b335, 0x5554d556, 0x80007ffd, 0x80007ffd,
364  0x3332b334, 0x5555d555, 0x80007ffc, 0x80005554,
365  0x3333b333, 0x5555d554, 0x80005553, 0x80003332,
366  0x3333b332, 0x5555aaab, 0x80003331, 0x8000007e,
367  0x33338889, 0x55558889, 0x8000007d, 0x8000007d,
368  0x33336667, 0x555555d5, 0x8000007c, 0x8000007c,
369  0x333333b3, 0x555555d4, 0x8000007b, 0x8000007b,
370  0x333333b2, 0x555555d3, 0x8000007a, 0x8000000e,
371  0x333333b1, 0x555555d2, 0x8000000d, 0x80000001,
372  0x333333b0, 0x55555565, 0x80000000, 0x80000000,
373  0x33333343, 0x55555558, 0x7fffffff, 0x7fffffff,
374  0x55555558, 0x7fffffff, 0x7fffffff, 0x7fffffff,
375  0x55555557, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
376  0x55555556, 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, 0x80007fff,
387  0x5554d557, 0x7fff7ffe, 0x80007ffe, 0x80007ffe,
388  0x5554d556, 0x80007ffd, 0x80007ffd, 0x80005555,
389  0x5555d555, 0x80007ffc, 0x80005554, 0x80003333,
390  0x5555d554, 0x80005553, 0x80003332, 0x8000007f,
391  0x5555aaab, 0x80003331, 0x8000007e, 0x8000007e,
392  0x55558889, 0x8000007d, 0x8000007d, 0x8000007d,
393  0x555555d5, 0x8000007c, 0x8000007c, 0x8000007c,
394  0x555555d4, 0x8000007b, 0x8000007b, 0x8000000f,
395  0x555555d3, 0x8000007a, 0x8000000e, 0x80000002,
396  0x555555d2, 0x8000000d, 0x80000001, 0x80000001,
397  0x55555565, 0x80000000, 0x80000000, 0x80000000,
398  0x80000000, 0x80000000, 0x80000000, 0x80000000,
399  0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
400  0x7ffffffe, 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, 0x80008000,
411  0x7fff7fff, 0x7fff7fff, 0x80007fff, 0x80007fff,
412  0x7fff7ffe, 0x80007ffe, 0x80007ffe, 0x80005556,
413  0x80007ffd, 0x80007ffd, 0x80005555, 0x80003334,
414  0x80007ffc, 0x80005554, 0x80003333, 0x80000080,
415  0x80005553, 0x80003332, 0x8000007f, 0x8000007f,
416  0x80003331, 0x8000007e, 0x8000007e, 0x8000007e,
417  0x8000007d, 0x8000007d, 0x8000007d, 0x8000007d,
418  0x8000007c, 0x8000007c, 0x8000007c, 0x80000010,
419  0x8000007b, 0x8000007b, 0x8000000f, 0x80000003,
420  0x8000007a, 0x8000000e, 0x80000002, 0x80000002,
421  0x8000000d, 0x80000001, 0x80000001, 0x80000001,
422  0x80000001, 0x80000001, 0x80000001, 0x80000001,
423  0x80000000, 0x80000000, 0x80000000, 0x80000000,
424  0x7fffffff, 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, 0x80008001,
435  0x7fff8000, 0x7fff8000, 0x80008000, 0x80008000,
436  0x7fff7fff, 0x80007fff, 0x80007fff, 0x80005557,
437  0x80007ffe, 0x80007ffe, 0x80005556, 0x80003335,
438  0x80007ffd, 0x80005555, 0x80003334, 0x80000081,
439  0x80005554, 0x80003333, 0x80000080, 0x80000080,
440  0x80003332, 0x8000007f, 0x8000007f, 0x8000007f,
441  0x8000007e, 0x8000007e, 0x8000007e, 0x8000007e,
442  0x8000007d, 0x8000007d, 0x8000007d, 0x80000011,
443  0x8000007c, 0x8000007c, 0x80000010, 0x80000004,
444  0x8000007b, 0x8000000f, 0x80000003, 0x80000003,
445  0x8000000e, 0x80000002, 0x80000002, 0x80000002,
446  0x80000002, 0x80000002, 0x80000002, 0xaaaaaaaa,
447  0x80000001, 0x80000001, 0x80000001, 0xaaaaaaa9,
448  0x80000000, 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, 0xaaab2aaa,
459  0x7fff8001, 0x7fff8001, 0x80008001, 0xaaab2aa9,
460  0x7fff8000, 0x80008000, 0x80008000, 0xaaab0000,
461  0x80007fff, 0x80007fff, 0x80005557, 0xaaaaddde,
462  0x80007ffe, 0x80005556, 0x80003335, 0xaaaaab2a,
463  0x80005555, 0x80003334, 0x80000081, 0xaaaaab29,
464  0x80003333, 0x80000080, 0x80000080, 0xaaaaab28,
465  0x8000007f, 0x8000007f, 0x8000007f, 0xaaaaab27,
466  0x8000007e, 0x8000007e, 0x8000007e, 0xaaaaaaba,
467  0x8000007d, 0x8000007d, 0x80000011, 0xaaaaaaad,
468  0x8000007c, 0x80000010, 0x80000004, 0xaaaaaaac,
469  0x8000000f, 0x80000003, 0x80000003, 0xaaaaaaab,
470  0x80000003, 0x80000003, 0xaaaaaaab, 0xcccccccc,
471  0x80000002, 0x80000002, 0xaaaaaaaa, 0xcccccccb,
472  0x80000001, 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, 0xcccd4ccc,
483  0x7fff8002, 0x7fff8002, 0xaaab2aaa, 0xcccd4ccb,
484  0x7fff8001, 0x80008001, 0xaaab2aa9, 0xcccd2222,
485  0x80008000, 0x80008000, 0xaaab0000, 0xcccd0000,
486  0x80007fff, 0x80005557, 0xaaaaddde, 0xcccccd4c,
487  0x80005556, 0x80003335, 0xaaaaab2a, 0xcccccd4b,
488  0x80003334, 0x80000081, 0xaaaaab29, 0xcccccd4a,
489  0x80000080, 0x80000080, 0xaaaaab28, 0xcccccd49,
490  0x8000007f, 0x8000007f, 0xaaaaab27, 0xccccccdc,
491  0x8000007e, 0x8000007e, 0xaaaaaaba, 0xcccccccf,
492  0x8000007d, 0x80000011, 0xaaaaaaad, 0xccccccce,
493  0x80000010, 0x80000004, 0xaaaaaaac, 0xcccccccd,
494  0x80000004, 0xaaaaaaac, 0xcccccccd, 0xffff8000,
495  0x80000003, 0xaaaaaaab, 0xcccccccc, 0xffff7fff,
496  0x80000002, 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, 0x00000000,
507  0x7fff8003, 0xaaaa2aab, 0xcccd4ccc, 0xffffffff,
508  0x7fff8002, 0xaaab2aaa, 0xcccd4ccb, 0xffffd556,
509  0x80008001, 0xaaab2aa9, 0xcccd2222, 0xffffb334,
510  0x80008000, 0xaaab0000, 0xcccd0000, 0xffff8080,
511  0x80005557, 0xaaaaddde, 0xcccccd4c, 0xffff807f,
512  0x80003335, 0xaaaaab2a, 0xcccccd4b, 0xffff807e,
513  0x80000081, 0xaaaaab29, 0xcccccd4a, 0xffff807d,
514  0x80000080, 0xaaaaab28, 0xcccccd49, 0xffff8010,
515  0x8000007f, 0xaaaaab27, 0xccccccdc, 0xffff8003,
516  0x8000007e, 0xaaaaaaba, 0xcccccccf, 0xffff8002,
517  0x80000011, 0xaaaaaaad, 0xccccccce, 0xffff8001,
518  0xaaaaaaad, 0xccccccce, 0xffff8001, 0xffff8001,
519  0xaaaaaaac, 0xcccccccd, 0xffff8000, 0xffff8000,
520  0xaaaaaaab, 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, 0x00000001,
531  0xaaaa2aac, 0xcccc4ccd, 0x00000000, 0x00000000,
532  0xaaaa2aab, 0xcccd4ccc, 0xffffffff, 0xffffd557,
533  0xaaab2aaa, 0xcccd4ccb, 0xffffd556, 0xffffb335,
534  0xaaab2aa9, 0xcccd2222, 0xffffb334, 0xffff8081,
535  0xaaab0000, 0xcccd0000, 0xffff8080, 0xffff8080,
536  0xaaaaddde, 0xcccccd4c, 0xffff807f, 0xffff807f,
537  0xaaaaab2a, 0xcccccd4b, 0xffff807e, 0xffff807e,
538  0xaaaaab29, 0xcccccd4a, 0xffff807d, 0xffff8011,
539  0xaaaaab28, 0xcccccd49, 0xffff8010, 0xffff8004,
540  0xaaaaab27, 0xccccccdc, 0xffff8003, 0xffff8003,
541  0xaaaaaaba, 0xcccccccf, 0xffff8002, 0xffff8002,
542  0xcccccccf, 0xffff8002, 0xffff8002, 0xffff8002,
543  0xccccccce, 0xffff8001, 0xffff8001, 0xffff8001,
544  0xcccccccd, 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, 0x00000002,
555  0xcccc4cce, 0xffff0001, 0x00000001, 0x00000001,
556  0xcccc4ccd, 0x00000000, 0x00000000, 0xffffd558,
557  0xcccd4ccc, 0xffffffff, 0xffffd557, 0xffffb336,
558  0xcccd4ccb, 0xffffd556, 0xffffb335, 0xffff8082,
559  0xcccd2222, 0xffffb334, 0xffff8081, 0xffff8081,
560  0xcccd0000, 0xffff8080, 0xffff8080, 0xffff8080,
561  0xcccccd4c, 0xffff807f, 0xffff807f, 0xffff807f,
562  0xcccccd4b, 0xffff807e, 0xffff807e, 0xffff8012,
563  0xcccccd4a, 0xffff807d, 0xffff8011, 0xffff8005,
564  0xcccccd49, 0xffff8010, 0xffff8004, 0xffff8004,
565  0xccccccdc, 0xffff8003, 0xffff8003, 0xffff8003,
566  0xffff8003, 0xffff8003, 0xffff8003, 0xffff8003,
567  0xffff8002, 0xffff8002, 0xffff8002, 0xffff8002,
568  0xffff8001, 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, 0x00000003,
579  0xffff0002, 0xffff0002, 0x00000002, 0x00000002,
580  0xffff0001, 0x00000001, 0x00000001, 0xffffd559,
581  0x00000000, 0x00000000, 0xffffd558, 0xffffb337,
582  0xffffffff, 0xffffd557, 0xffffb336, 0xffff8083,
583  0xffffd556, 0xffffb335, 0xffff8082, 0xffff8082,
584  0xffffb334, 0xffff8081, 0xffff8081, 0xffff8081,
585  0xffff8080, 0xffff8080, 0xffff8080, 0xffff8080,
586  0xffff807f, 0xffff807f, 0xffff807f, 0xffff8013,
587  0xffff807e, 0xffff807e, 0xffff8012, 0xffff8006,
588  0xffff807d, 0xffff8011, 0xffff8005, 0xffff8005,
589  0xffff8010, 0xffff8004, 0xffff8004, 0xffff8004,
590  0xffff8004, 0xffff8004, 0xffff8004, 0xffffff80,
591  0xffff8003, 0xffff8003, 0xffff8003, 0xffffff7f,
592  0xffff8002, 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, 0x00007f80,
603  0xffff0003, 0xffff0003, 0x00000003, 0x00007f7f,
604  0xffff0002, 0x00000002, 0x00000002, 0x000054d6,
605  0x00000001, 0x00000001, 0xffffd559, 0x000032b4,
606  0x00000000, 0xffffd558, 0xffffb337, 0x00000000,
607  0xffffd557, 0xffffb336, 0xffff8083, 0xffffffff,
608  0xffffb335, 0xffff8082, 0xffff8082, 0xfffffffe,
609  0xffff8081, 0xffff8081, 0xffff8081, 0xfffffffd,
610  0xffff8080, 0xffff8080, 0xffff8080, 0xffffff90,
611  0xffff807f, 0xffff807f, 0xffff8013, 0xffffff83,
612  0xffff807e, 0xffff8012, 0xffff8006, 0xffffff82,
613  0xffff8011, 0xffff8005, 0xffff8005, 0xffffff81,
614  0xffff8005, 0xffff8005, 0xffffff81, 0xffffff81,
615  0xffff8004, 0xffff8004, 0xffffff80, 0xffffff80,
616  0xffff8003, 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, 0x00007f81,
627  0xffff0004, 0xffff0004, 0x00007f80, 0x00007f80,
628  0xffff0003, 0x00000003, 0x00007f7f, 0x000054d7,
629  0x00000002, 0x00000002, 0x000054d6, 0x000032b5,
630  0x00000001, 0xffffd559, 0x000032b4, 0x00000001,
631  0xffffd558, 0xffffb337, 0x00000000, 0x00000000,
632  0xffffb336, 0xffff8083, 0xffffffff, 0xffffffff,
633  0xffff8082, 0xffff8082, 0xfffffffe, 0xfffffffe,
634  0xffff8081, 0xffff8081, 0xfffffffd, 0xffffff91,
635  0xffff8080, 0xffff8080, 0xffffff90, 0xffffff84,
636  0xffff807f, 0xffff8013, 0xffffff83, 0xffffff83,
637  0xffff8012, 0xffff8006, 0xffffff82, 0xffffff82,
638  0xffff8006, 0xffffff82, 0xffffff82, 0xffffff82,
639  0xffff8005, 0xffffff81, 0xffffff81, 0xffffff81,
640  0xffff8004, 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, 0x00007f82,
651  0xffff0005, 0xffff7f81, 0x00007f81, 0x00007f81,
652  0xffff0004, 0x00007f80, 0x00007f80, 0x000054d8,
653  0x00000003, 0x00007f7f, 0x000054d7, 0x000032b6,
654  0x00000002, 0x000054d6, 0x000032b5, 0x00000002,
655  0xffffd559, 0x000032b4, 0x00000001, 0x00000001,
656  0xffffb337, 0x00000000, 0x00000000, 0x00000000,
657  0xffff8083, 0xffffffff, 0xffffffff, 0xffffffff,
658  0xffff8082, 0xfffffffe, 0xfffffffe, 0xffffff92,
659  0xffff8081, 0xfffffffd, 0xffffff91, 0xffffff85,
660  0xffff8080, 0xffffff90, 0xffffff84, 0xffffff84,
661  0xffff8013, 0xffffff83, 0xffffff83, 0xffffff83,
662  0xffffff83, 0xffffff83, 0xffffff83, 0xffffff83,
663  0xffffff82, 0xffffff82, 0xffffff82, 0xffffff82,
664  0xffffff81, 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, 0x00007f83,
675  0xffff7f82, 0xffff7f82, 0x00007f82, 0x00007f82,
676  0xffff7f81, 0x00007f81, 0x00007f81, 0x000054d9,
677  0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7,
678  0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003,
679  0x000054d6, 0x000032b5, 0x00000002, 0x00000002,
680  0x000032b4, 0x00000001, 0x00000001, 0x00000001,
681  0x00000000, 0x00000000, 0x00000000, 0x00000000,
682  0xffffffff, 0xffffffff, 0xffffffff, 0xffffff93,
683  0xfffffffe, 0xfffffffe, 0xffffff92, 0xffffff86,
684  0xfffffffd, 0xffffff91, 0xffffff85, 0xffffff85,
685  0xffffff90, 0xffffff84, 0xffffff84, 0xffffff84,
686  0xffffff84, 0xffffff84, 0xffffff84, 0xffffffe0,
687  0xffffff83, 0xffffff83, 0xffffff83, 0xffffffdf,
688  0xffffff82, 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, 0x00007fe0,
699  0xffff7f83, 0xffff7f83, 0x00007f83, 0x00007fdf,
700  0xffff7f82, 0x00007f82, 0x00007f82, 0x00005536,
701  0x00007f81, 0x00007f81, 0x000054d9, 0x00003314,
702  0x00007f80, 0x000054d8, 0x000032b7, 0x00000060,
703  0x000054d7, 0x000032b6, 0x00000003, 0x0000005f,
704  0x000032b5, 0x00000002, 0x00000002, 0x0000005e,
705  0x00000001, 0x00000001, 0x00000001, 0x0000005d,
706  0x00000000, 0x00000000, 0x00000000, 0xfffffff0,
707  0xffffffff, 0xffffffff, 0xffffff93, 0xffffffe3,
708  0xfffffffe, 0xffffff92, 0xffffff86, 0xffffffe2,
709  0xffffff91, 0xffffff85, 0xffffff85, 0xffffffe1,
710  0xffffff85, 0xffffff85, 0xffffffe1, 0xfffffffd,
711  0xffffff84, 0xffffff84, 0xffffffe0, 0xfffffffc,
712  0xffffff83, 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, 0x00007ffd,
723  0xffff7f84, 0xffff7f84, 0x00007fe0, 0x00007ffc,
724  0xffff7f83, 0x00007f83, 0x00007fdf, 0x00005553,
725  0x00007f82, 0x00007f82, 0x00005536, 0x00003331,
726  0x00007f81, 0x000054d9, 0x00003314, 0x0000007d,
727  0x000054d8, 0x000032b7, 0x00000060, 0x0000007c,
728  0x000032b6, 0x00000003, 0x0000005f, 0x0000007b,
729  0x00000002, 0x00000002, 0x0000005e, 0x0000007a,
730  0x00000001, 0x00000001, 0x0000005d, 0x0000000d,
731  0x00000000, 0x00000000, 0xfffffff0, 0x00000000,
732  0xffffffff, 0xffffff93, 0xffffffe3, 0xffffffff,
733  0xffffff92, 0xffffff86, 0xffffffe2, 0xfffffffe,
734  0xffffff86, 0xffffffe2, 0xfffffffe, 0xfffffffe,
735  0xffffff85, 0xffffffe1, 0xfffffffd, 0xfffffffd,
736  0xffffff84, 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, 0x00007ffe,
747  0xffff7f85, 0xffff7fe1, 0x00007ffd, 0x00007ffd,
748  0xffff7f84, 0x00007fe0, 0x00007ffc, 0x00005554,
749  0x00007f83, 0x00007fdf, 0x00005553, 0x00003332,
750  0x00007f82, 0x00005536, 0x00003331, 0x0000007e,
751  0x000054d9, 0x00003314, 0x0000007d, 0x0000007d,
752  0x000032b7, 0x00000060, 0x0000007c, 0x0000007c,
753  0x00000003, 0x0000005f, 0x0000007b, 0x0000007b,
754  0x00000002, 0x0000005e, 0x0000007a, 0x0000000e,
755  0x00000001, 0x0000005d, 0x0000000d, 0x00000001,
756  0x00000000, 0xfffffff0, 0x00000000, 0x00000000,
757  0xffffff93, 0xffffffe3, 0xffffffff, 0xffffffff,
758  0xffffffe3, 0xffffffff, 0xffffffff, 0xffffffff,
759  0xffffffe2, 0xfffffffe, 0xfffffffe, 0xfffffffe,
760  0xffffffe1, 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, 0x00007fff,
771  0xffff7fe2, 0xffff7ffe, 0x00007ffe, 0x00007ffe,
772  0xffff7fe1, 0x00007ffd, 0x00007ffd, 0x00005555,
773  0x00007fe0, 0x00007ffc, 0x00005554, 0x00003333,
774  0x00007fdf, 0x00005553, 0x00003332, 0x0000007f,
775  0x00005536, 0x00003331, 0x0000007e, 0x0000007e,
776  0x00003314, 0x0000007d, 0x0000007d, 0x0000007d,
777  0x00000060, 0x0000007c, 0x0000007c, 0x0000007c,
778  0x0000005f, 0x0000007b, 0x0000007b, 0x0000000f,
779  0x0000005e, 0x0000007a, 0x0000000e, 0x00000002,
780  0x0000005d, 0x0000000d, 0x00000001, 0x00000001,
781  0xfffffff0, 0x00000000, 0x00000000, 0x00000000,
782};
783const unsigned kExpectedCount_NEON_ssubw2_4S = 744;
784
785#endif  // VIXL_SIM_SSUBW2_4S_TRACE_AARCH64_H_
786