• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1  // Copyright 2015, ARM Limited
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_SSUBW_4S_TRACE_A64_H_
35  #define VIXL_SIM_SSUBW_4S_TRACE_A64_H_
36  
37  const uint32_t kExpected_NEON_ssubw_4S[] = {
38    0x00007d82, 0x00007e81, 0x007fc9cd, 0xffffaaab,
39    0x00007d81, 0x00004bcd, 0x007fa7ab, 0xffff8003,
40    0x00004acd, 0x000029ab, 0x007f7d03, 0xffff8002,
41    0x000028ab, 0xffffff03, 0x007f7d02, 0xffff8001,
42    0xfffffe03, 0xffffff02, 0x007f7d01, 0x00000000,
43    0xfffffe02, 0xffffff01, 0x007ffd00, 0xffffffff,
44    0xfffffe01, 0x00007f00, 0x007ffcff, 0xfffffffe,
45    0x00007e00, 0x00007eff, 0x007ffcfe, 0xfffffff0,
46    0x00007dff, 0x00007efe, 0x007ffcf0, 0xffffff83,
47    0x00007dfe, 0x00007ef0, 0x007ffc83, 0xffffff82,
48    0x00007df0, 0x00007e83, 0x007ffc82, 0xffffff81,
49    0x00007d83, 0x00007e82, 0x007ffc81, 0xffffcccd,
50    0x00007d82, 0x00007e81, 0x007fc9cd, 0xffffaaab,
51    0x00007d81, 0x00004bcd, 0x007fa7ab, 0xffff8003,
52    0x00004acd, 0x000029ab, 0x007f7d03, 0xffff8002,
53    0x000028ab, 0xffffff03, 0x007f7d02, 0xffff8001,
54    0xfffffe03, 0xffffff02, 0x007f7d01, 0x00008000,
55    0xfffffe02, 0xffffff01, 0x00807d00, 0x00007fff,
56    0xfffffe01, 0x0000ff00, 0x00807cff, 0x00005556,
57    0x0000fe00, 0x0000feff, 0x00805256, 0x00003334,
58    0x0000fdff, 0x0000d456, 0x00803034, 0x00000080,
59    0x0000d356, 0x0000b234, 0x007ffd80, 0x0000007f,
60    0x0000b134, 0x00007f80, 0x007ffd7f, 0x0000007e,
61    0x00007e80, 0x00007f7f, 0x007ffd7e, 0x0000007d,
62    0x00007f7f, 0x007ffd7e, 0x0000007d, 0x00000011,
63    0x00007f7e, 0x007ffd7d, 0x00000010, 0x00000004,
64    0x00007f7d, 0x007ffd10, 0x00000003, 0x00000003,
65    0x00007f10, 0x007ffd03, 0x00000002, 0x00000002,
66    0x00007f03, 0x007ffd02, 0x00000001, 0x00000001,
67    0x00007f02, 0x007ffd01, 0x00000000, 0x00000000,
68    0x00007f01, 0x007ffd00, 0xffffffff, 0xffffffff,
69    0x00007f00, 0x007ffcff, 0xfffffffe, 0xfffffff1,
70    0x00007eff, 0x007ffcfe, 0xfffffff0, 0xffffff84,
71    0x00007efe, 0x007ffcf0, 0xffffff83, 0xffffff83,
72    0x00007ef0, 0x007ffc83, 0xffffff82, 0xffffff82,
73    0x00007e83, 0x007ffc82, 0xffffff81, 0xffffccce,
74    0x00007e82, 0x007ffc81, 0xffffcccd, 0xffffaaac,
75    0x00007e81, 0x007fc9cd, 0xffffaaab, 0xffff8004,
76    0x00004bcd, 0x007fa7ab, 0xffff8003, 0xffff8003,
77    0x000029ab, 0x007f7d03, 0xffff8002, 0xffff8002,
78    0xffffff03, 0x007f7d02, 0xffff8001, 0x00008001,
79    0xffffff02, 0x007f7d01, 0x00008000, 0x00008000,
80    0xffffff01, 0x00807d00, 0x00007fff, 0x00005557,
81    0x0000ff00, 0x00807cff, 0x00005556, 0x00003335,
82    0x0000feff, 0x00805256, 0x00003334, 0x00000081,
83    0x0000d456, 0x00803034, 0x00000080, 0x00000080,
84    0x0000b234, 0x007ffd80, 0x0000007f, 0x0000007f,
85    0x00007f80, 0x007ffd7f, 0x0000007e, 0x0000007e,
86    0x007ffd7f, 0x0000007e, 0x0000007e, 0x00000012,
87    0x007ffd7e, 0x0000007d, 0x00000011, 0x00000005,
88    0x007ffd7d, 0x00000010, 0x00000004, 0x00000004,
89    0x007ffd10, 0x00000003, 0x00000003, 0x00000003,
90    0x007ffd03, 0x00000002, 0x00000002, 0x00000002,
91    0x007ffd02, 0x00000001, 0x00000001, 0x00000001,
92    0x007ffd01, 0x00000000, 0x00000000, 0x00000000,
93    0x007ffd00, 0xffffffff, 0xffffffff, 0xfffffff2,
94    0x007ffcff, 0xfffffffe, 0xfffffff1, 0xffffff85,
95    0x007ffcfe, 0xfffffff0, 0xffffff84, 0xffffff84,
96    0x007ffcf0, 0xffffff83, 0xffffff83, 0xffffff83,
97    0x007ffc83, 0xffffff82, 0xffffff82, 0xffffcccf,
98    0x007ffc82, 0xffffff81, 0xffffccce, 0xffffaaad,
99    0x007ffc81, 0xffffcccd, 0xffffaaac, 0xffff8005,
100    0x007fc9cd, 0xffffaaab, 0xffff8004, 0xffff8004,
101    0x007fa7ab, 0xffff8003, 0xffff8003, 0xffff8003,
102    0x007f7d03, 0xffff8002, 0xffff8002, 0x00008002,
103    0x007f7d02, 0xffff8001, 0x00008001, 0x00008001,
104    0x007f7d01, 0x00008000, 0x00008000, 0x00005558,
105    0x00807d00, 0x00007fff, 0x00005557, 0x00003336,
106    0x00807cff, 0x00005556, 0x00003335, 0x00000082,
107    0x00805256, 0x00003334, 0x00000081, 0x00000081,
108    0x00803034, 0x00000080, 0x00000080, 0x00000080,
109    0x007ffd80, 0x0000007f, 0x0000007f, 0x0000007f,
110    0x0000007f, 0x0000007f, 0x0000007f, 0x00000030,
111    0x0000007e, 0x0000007e, 0x00000012, 0x00000023,
112    0x0000007d, 0x00000011, 0x00000005, 0x00000022,
113    0x00000010, 0x00000004, 0x00000004, 0x00000021,
114    0x00000003, 0x00000003, 0x00000003, 0x00000020,
115    0x00000002, 0x00000002, 0x00000002, 0x0000001f,
116    0x00000001, 0x00000001, 0x00000001, 0x0000001e,
117    0x00000000, 0x00000000, 0x00000000, 0x00000010,
118    0xffffffff, 0xffffffff, 0xfffffff2, 0xffffffa3,
119    0xfffffffe, 0xfffffff1, 0xffffff85, 0xffffffa2,
120    0xfffffff0, 0xffffff84, 0xffffff84, 0xffffffa1,
121    0xffffff83, 0xffffff83, 0xffffff83, 0xffffcced,
122    0xffffff82, 0xffffff82, 0xffffcccf, 0xffffaacb,
123    0xffffff81, 0xffffccce, 0xffffaaad, 0xffff8023,
124    0xffffcccd, 0xffffaaac, 0xffff8005, 0xffff8022,
125    0xffffaaab, 0xffff8004, 0xffff8004, 0xffff8021,
126    0xffff8003, 0xffff8003, 0xffff8003, 0x00008020,
127    0xffff8002, 0xffff8002, 0x00008002, 0x0000801f,
128    0xffff8001, 0x00008001, 0x00008001, 0x00005576,
129    0x00008000, 0x00008000, 0x00005558, 0x00003354,
130    0x00007fff, 0x00005557, 0x00003336, 0x000000a0,
131    0x00005556, 0x00003335, 0x00000082, 0x0000009f,
132    0x00003334, 0x00000081, 0x00000081, 0x0000009e,
133    0x00000080, 0x00000080, 0x00000080, 0x0000009d,
134    0x00000080, 0x00000080, 0x0000009d, 0x0000008d,
135    0x0000007f, 0x0000007f, 0x00000030, 0x00000080,
136    0x0000007e, 0x00000012, 0x00000023, 0x0000007f,
137    0x00000011, 0x00000005, 0x00000022, 0x0000007e,
138    0x00000004, 0x00000004, 0x00000021, 0x0000007d,
139    0x00000003, 0x00000003, 0x00000020, 0x0000007c,
140    0x00000002, 0x00000002, 0x0000001f, 0x0000007b,
141    0x00000001, 0x00000001, 0x0000001e, 0x0000006d,
142    0x00000000, 0x00000000, 0x00000010, 0x00000000,
143    0xffffffff, 0xfffffff2, 0xffffffa3, 0xffffffff,
144    0xfffffff1, 0xffffff85, 0xffffffa2, 0xfffffffe,
145    0xffffff84, 0xffffff84, 0xffffffa1, 0xffffcd4a,
146    0xffffff83, 0xffffff83, 0xffffcced, 0xffffab28,
147    0xffffff82, 0xffffcccf, 0xffffaacb, 0xffff8080,
148    0xffffccce, 0xffffaaad, 0xffff8023, 0xffff807f,
149    0xffffaaac, 0xffff8005, 0xffff8022, 0xffff807e,
150    0xffff8004, 0xffff8004, 0xffff8021, 0x0000807d,
151    0xffff8003, 0xffff8003, 0x00008020, 0x0000807c,
152    0xffff8002, 0x00008002, 0x0000801f, 0x000055d3,
153    0x00008001, 0x00008001, 0x00005576, 0x000033b1,
154    0x00008000, 0x00005558, 0x00003354, 0x000000fd,
155    0x00005557, 0x00003336, 0x000000a0, 0x000000fc,
156    0x00003335, 0x00000082, 0x0000009f, 0x000000fb,
157    0x00000081, 0x00000081, 0x0000009e, 0x000000fa,
158    0x00000081, 0x0000009e, 0x000000fa, 0x0000008e,
159    0x00000080, 0x0000009d, 0x0000008d, 0x00000081,
160    0x0000007f, 0x00000030, 0x00000080, 0x00000080,
161    0x00000012, 0x00000023, 0x0000007f, 0x0000007f,
162    0x00000005, 0x00000022, 0x0000007e, 0x0000007e,
163    0x00000004, 0x00000021, 0x0000007d, 0x0000007d,
164    0x00000003, 0x00000020, 0x0000007c, 0x0000007c,
165    0x00000002, 0x0000001f, 0x0000007b, 0x0000006e,
166    0x00000001, 0x0000001e, 0x0000006d, 0x00000001,
167    0x00000000, 0x00000010, 0x00000000, 0x00000000,
168    0xfffffff2, 0xffffffa3, 0xffffffff, 0xffffffff,
169    0xffffff85, 0xffffffa2, 0xfffffffe, 0xffffcd4b,
170    0xffffff84, 0xffffffa1, 0xffffcd4a, 0xffffab29,
171    0xffffff83, 0xffffcced, 0xffffab28, 0xffff8081,
172    0xffffcccf, 0xffffaacb, 0xffff8080, 0xffff8080,
173    0xffffaaad, 0xffff8023, 0xffff807f, 0xffff807f,
174    0xffff8005, 0xffff8022, 0xffff807e, 0x0000807e,
175    0xffff8004, 0xffff8021, 0x0000807d, 0x0000807d,
176    0xffff8003, 0x00008020, 0x0000807c, 0x000055d4,
177    0x00008002, 0x0000801f, 0x000055d3, 0x000033b2,
178    0x00008001, 0x00005576, 0x000033b1, 0x000000fe,
179    0x00005558, 0x00003354, 0x000000fd, 0x000000fd,
180    0x00003336, 0x000000a0, 0x000000fc, 0x000000fc,
181    0x00000082, 0x0000009f, 0x000000fb, 0x000000fb,
182    0x0000009f, 0x000000fb, 0x000000fb, 0x0000008f,
183    0x0000009e, 0x000000fa, 0x0000008e, 0x00000082,
184    0x0000009d, 0x0000008d, 0x00000081, 0x00000081,
185    0x00000030, 0x00000080, 0x00000080, 0x00000080,
186    0x00000023, 0x0000007f, 0x0000007f, 0x0000007f,
187    0x00000022, 0x0000007e, 0x0000007e, 0x0000007e,
188    0x00000021, 0x0000007d, 0x0000007d, 0x0000007d,
189    0x00000020, 0x0000007c, 0x0000007c, 0x0000006f,
190    0x0000001f, 0x0000007b, 0x0000006e, 0x00000002,
191    0x0000001e, 0x0000006d, 0x00000001, 0x00000001,
192    0x00000010, 0x00000000, 0x00000000, 0x00000000,
193    0xffffffa3, 0xffffffff, 0xffffffff, 0xffffcd4c,
194    0xffffffa2, 0xfffffffe, 0xffffcd4b, 0xffffab2a,
195    0xffffffa1, 0xffffcd4a, 0xffffab29, 0xffff8082,
196    0xffffcced, 0xffffab28, 0xffff8081, 0xffff8081,
197    0xffffaacb, 0xffff8080, 0xffff8080, 0xffff8080,
198    0xffff8023, 0xffff807f, 0xffff807f, 0x0000807f,
199    0xffff8022, 0xffff807e, 0x0000807e, 0x0000807e,
200    0xffff8021, 0x0000807d, 0x0000807d, 0x000055d5,
201    0x00008020, 0x0000807c, 0x000055d4, 0x000033b3,
202    0x0000801f, 0x000055d3, 0x000033b2, 0x000000ff,
203    0x00005576, 0x000033b1, 0x000000fe, 0x000000fe,
204    0x00003354, 0x000000fd, 0x000000fd, 0x000000fd,
205    0x000000a0, 0x000000fc, 0x000000fc, 0x000000fc,
206    0x000000fc, 0x000000fc, 0x000000fc, 0x0000800d,
207    0x000000fb, 0x000000fb, 0x0000008f, 0x00008000,
208    0x000000fa, 0x0000008e, 0x00000082, 0x00007fff,
209    0x0000008d, 0x00000081, 0x00000081, 0x00007ffe,
210    0x00000080, 0x00000080, 0x00000080, 0x00007ffd,
211    0x0000007f, 0x0000007f, 0x0000007f, 0x00007ffc,
212    0x0000007e, 0x0000007e, 0x0000007e, 0x00007ffb,
213    0x0000007d, 0x0000007d, 0x0000007d, 0x00007fed,
214    0x0000007c, 0x0000007c, 0x0000006f, 0x00007f80,
215    0x0000007b, 0x0000006e, 0x00000002, 0x00007f7f,
216    0x0000006d, 0x00000001, 0x00000001, 0x00007f7e,
217    0x00000000, 0x00000000, 0x00000000, 0x00004cca,
218    0xffffffff, 0xffffffff, 0xffffcd4c, 0x00002aa8,
219    0xfffffffe, 0xffffcd4b, 0xffffab2a, 0x00000000,
220    0xffffcd4a, 0xffffab29, 0xffff8082, 0xffffffff,
221    0xffffab28, 0xffff8081, 0xffff8081, 0xfffffffe,
222    0xffff8080, 0xffff8080, 0xffff8080, 0x0000fffd,
223    0xffff807f, 0xffff807f, 0x0000807f, 0x0000fffc,
224    0xffff807e, 0x0000807e, 0x0000807e, 0x0000d553,
225    0x0000807d, 0x0000807d, 0x000055d5, 0x0000b331,
226    0x0000807c, 0x000055d4, 0x000033b3, 0x0000807d,
227    0x000055d3, 0x000033b2, 0x000000ff, 0x0000807c,
228    0x000033b1, 0x000000fe, 0x000000fe, 0x0000807b,
229    0x000000fd, 0x000000fd, 0x000000fd, 0x0000807a,
230    0x000000fd, 0x000000fd, 0x0000807a, 0x0000800e,
231    0x000000fc, 0x000000fc, 0x0000800d, 0x00008001,
232    0x000000fb, 0x0000008f, 0x00008000, 0x00008000,
233    0x0000008e, 0x00000082, 0x00007fff, 0x00007fff,
234    0x00000081, 0x00000081, 0x00007ffe, 0x00007ffe,
235    0x00000080, 0x00000080, 0x00007ffd, 0x00007ffd,
236    0x0000007f, 0x0000007f, 0x00007ffc, 0x00007ffc,
237    0x0000007e, 0x0000007e, 0x00007ffb, 0x00007fee,
238    0x0000007d, 0x0000007d, 0x00007fed, 0x00007f81,
239    0x0000007c, 0x0000006f, 0x00007f80, 0x00007f80,
240    0x0000006e, 0x00000002, 0x00007f7f, 0x00007f7f,
241    0x00000001, 0x00000001, 0x00007f7e, 0x00004ccb,
242    0x00000000, 0x00000000, 0x00004cca, 0x00002aa9,
243    0xffffffff, 0xffffcd4c, 0x00002aa8, 0x00000001,
244    0xffffcd4b, 0xffffab2a, 0x00000000, 0x00000000,
245    0xffffab29, 0xffff8082, 0xffffffff, 0xffffffff,
246    0xffff8081, 0xffff8081, 0xfffffffe, 0x0000fffe,
247    0xffff8080, 0xffff8080, 0x0000fffd, 0x0000fffd,
248    0xffff807f, 0x0000807f, 0x0000fffc, 0x0000d554,
249    0x0000807e, 0x0000807e, 0x0000d553, 0x0000b332,
250    0x0000807d, 0x000055d5, 0x0000b331, 0x0000807e,
251    0x000055d4, 0x000033b3, 0x0000807d, 0x0000807d,
252    0x000033b2, 0x000000ff, 0x0000807c, 0x0000807c,
253    0x000000fe, 0x000000fe, 0x0000807b, 0x0000807b,
254    0x000000fe, 0x0000807b, 0x0000807b, 0x0000800f,
255    0x000000fd, 0x0000807a, 0x0000800e, 0x00008002,
256    0x000000fc, 0x0000800d, 0x00008001, 0x00008001,
257    0x0000008f, 0x00008000, 0x00008000, 0x00008000,
258    0x00000082, 0x00007fff, 0x00007fff, 0x00007fff,
259    0x00000081, 0x00007ffe, 0x00007ffe, 0x00007ffe,
260    0x00000080, 0x00007ffd, 0x00007ffd, 0x00007ffd,
261    0x0000007f, 0x00007ffc, 0x00007ffc, 0x00007fef,
262    0x0000007e, 0x00007ffb, 0x00007fee, 0x00007f82,
263    0x0000007d, 0x00007fed, 0x00007f81, 0x00007f81,
264    0x0000006f, 0x00007f80, 0x00007f80, 0x00007f80,
265    0x00000002, 0x00007f7f, 0x00007f7f, 0x00004ccc,
266    0x00000001, 0x00007f7e, 0x00004ccb, 0x00002aaa,
267    0x00000000, 0x00004cca, 0x00002aa9, 0x00000002,
268    0xffffcd4c, 0x00002aa8, 0x00000001, 0x00000001,
269    0xffffab2a, 0x00000000, 0x00000000, 0x00000000,
270    0xffff8082, 0xffffffff, 0xffffffff, 0x0000ffff,
271    0xffff8081, 0xfffffffe, 0x0000fffe, 0x0000fffe,
272    0xffff8080, 0x0000fffd, 0x0000fffd, 0x0000d555,
273    0x0000807f, 0x0000fffc, 0x0000d554, 0x0000b333,
274    0x0000807e, 0x0000d553, 0x0000b332, 0x0000807f,
275    0x000055d5, 0x0000b331, 0x0000807e, 0x0000807e,
276    0x000033b3, 0x0000807d, 0x0000807d, 0x0000807d,
277    0x000000ff, 0x0000807c, 0x0000807c, 0x0000807c,
278    0x0000807c, 0x0000807c, 0x0000807c, 0x33333343,
279    0x0000807b, 0x0000807b, 0x0000800f, 0x33333336,
280    0x0000807a, 0x0000800e, 0x00008002, 0x33333335,
281    0x0000800d, 0x00008001, 0x00008001, 0x33333334,
282    0x00008000, 0x00008000, 0x00008000, 0x33333333,
283    0x00007fff, 0x00007fff, 0x00007fff, 0x33333332,
284    0x00007ffe, 0x00007ffe, 0x00007ffe, 0x33333331,
285    0x00007ffd, 0x00007ffd, 0x00007ffd, 0x33333323,
286    0x00007ffc, 0x00007ffc, 0x00007fef, 0x333332b6,
287    0x00007ffb, 0x00007fee, 0x00007f82, 0x333332b5,
288    0x00007fed, 0x00007f81, 0x00007f81, 0x333332b4,
289    0x00007f80, 0x00007f80, 0x00007f80, 0x33330000,
290    0x00007f7f, 0x00007f7f, 0x00004ccc, 0x3332ddde,
291    0x00007f7e, 0x00004ccb, 0x00002aaa, 0x3332b336,
292    0x00004cca, 0x00002aa9, 0x00000002, 0x3332b335,
293    0x00002aa8, 0x00000001, 0x00000001, 0x3332b334,
294    0x00000000, 0x00000000, 0x00000000, 0x3333b333,
295    0xffffffff, 0xffffffff, 0x0000ffff, 0x3333b332,
296    0xfffffffe, 0x0000fffe, 0x0000fffe, 0x33338889,
297    0x0000fffd, 0x0000fffd, 0x0000d555, 0x33336667,
298    0x0000fffc, 0x0000d554, 0x0000b333, 0x333333b3,
299    0x0000d553, 0x0000b332, 0x0000807f, 0x333333b2,
300    0x0000b331, 0x0000807e, 0x0000807e, 0x333333b1,
301    0x0000807d, 0x0000807d, 0x0000807d, 0x333333b0,
302    0x0000807d, 0x0000807d, 0x333333b0, 0x55555565,
303    0x0000807c, 0x0000807c, 0x33333343, 0x55555558,
304    0x0000807b, 0x0000800f, 0x33333336, 0x55555557,
305    0x0000800e, 0x00008002, 0x33333335, 0x55555556,
306    0x00008001, 0x00008001, 0x33333334, 0x55555555,
307    0x00008000, 0x00008000, 0x33333333, 0x55555554,
308    0x00007fff, 0x00007fff, 0x33333332, 0x55555553,
309    0x00007ffe, 0x00007ffe, 0x33333331, 0x55555545,
310    0x00007ffd, 0x00007ffd, 0x33333323, 0x555554d8,
311    0x00007ffc, 0x00007fef, 0x333332b6, 0x555554d7,
312    0x00007fee, 0x00007f82, 0x333332b5, 0x555554d6,
313    0x00007f81, 0x00007f81, 0x333332b4, 0x55552222,
314    0x00007f80, 0x00007f80, 0x33330000, 0x55550000,
315    0x00007f7f, 0x00004ccc, 0x3332ddde, 0x5554d558,
316    0x00004ccb, 0x00002aaa, 0x3332b336, 0x5554d557,
317    0x00002aa9, 0x00000002, 0x3332b335, 0x5554d556,
318    0x00000001, 0x00000001, 0x3332b334, 0x5555d555,
319    0x00000000, 0x00000000, 0x3333b333, 0x5555d554,
320    0xffffffff, 0x0000ffff, 0x3333b332, 0x5555aaab,
321    0x0000fffe, 0x0000fffe, 0x33338889, 0x55558889,
322    0x0000fffd, 0x0000d555, 0x33336667, 0x555555d5,
323    0x0000d554, 0x0000b333, 0x333333b3, 0x555555d4,
324    0x0000b332, 0x0000807f, 0x333333b2, 0x555555d3,
325    0x0000807e, 0x0000807e, 0x333333b1, 0x555555d2,
326    0x0000807e, 0x333333b1, 0x555555d2, 0x8000000d,
327    0x0000807d, 0x333333b0, 0x55555565, 0x80000000,
328    0x0000807c, 0x33333343, 0x55555558, 0x7fffffff,
329    0x0000800f, 0x33333336, 0x55555557, 0x7ffffffe,
330    0x00008002, 0x33333335, 0x55555556, 0x7ffffffd,
331    0x00008001, 0x33333334, 0x55555555, 0x7ffffffc,
332    0x00008000, 0x33333333, 0x55555554, 0x7ffffffb,
333    0x00007fff, 0x33333332, 0x55555553, 0x7fffffed,
334    0x00007ffe, 0x33333331, 0x55555545, 0x7fffff80,
335    0x00007ffd, 0x33333323, 0x555554d8, 0x7fffff7f,
336    0x00007fef, 0x333332b6, 0x555554d7, 0x7fffff7e,
337    0x00007f82, 0x333332b5, 0x555554d6, 0x7fffccca,
338    0x00007f81, 0x333332b4, 0x55552222, 0x7fffaaa8,
339    0x00007f80, 0x33330000, 0x55550000, 0x7fff8000,
340    0x00004ccc, 0x3332ddde, 0x5554d558, 0x7fff7fff,
341    0x00002aaa, 0x3332b336, 0x5554d557, 0x7fff7ffe,
342    0x00000002, 0x3332b335, 0x5554d556, 0x80007ffd,
343    0x00000001, 0x3332b334, 0x5555d555, 0x80007ffc,
344    0x00000000, 0x3333b333, 0x5555d554, 0x80005553,
345    0x0000ffff, 0x3333b332, 0x5555aaab, 0x80003331,
346    0x0000fffe, 0x33338889, 0x55558889, 0x8000007d,
347    0x0000d555, 0x33336667, 0x555555d5, 0x8000007c,
348    0x0000b333, 0x333333b3, 0x555555d4, 0x8000007b,
349    0x0000807f, 0x333333b2, 0x555555d3, 0x8000007a,
350    0x333333b2, 0x555555d3, 0x8000007a, 0x8000000e,
351    0x333333b1, 0x555555d2, 0x8000000d, 0x80000001,
352    0x333333b0, 0x55555565, 0x80000000, 0x80000000,
353    0x33333343, 0x55555558, 0x7fffffff, 0x7fffffff,
354    0x33333336, 0x55555557, 0x7ffffffe, 0x7ffffffe,
355    0x33333335, 0x55555556, 0x7ffffffd, 0x7ffffffd,
356    0x33333334, 0x55555555, 0x7ffffffc, 0x7ffffffc,
357    0x33333333, 0x55555554, 0x7ffffffb, 0x7fffffee,
358    0x33333332, 0x55555553, 0x7fffffed, 0x7fffff81,
359    0x33333331, 0x55555545, 0x7fffff80, 0x7fffff80,
360    0x33333323, 0x555554d8, 0x7fffff7f, 0x7fffff7f,
361    0x333332b6, 0x555554d7, 0x7fffff7e, 0x7fffcccb,
362    0x333332b5, 0x555554d6, 0x7fffccca, 0x7fffaaa9,
363    0x333332b4, 0x55552222, 0x7fffaaa8, 0x7fff8001,
364    0x33330000, 0x55550000, 0x7fff8000, 0x7fff8000,
365    0x3332ddde, 0x5554d558, 0x7fff7fff, 0x7fff7fff,
366    0x3332b336, 0x5554d557, 0x7fff7ffe, 0x80007ffe,
367    0x3332b335, 0x5554d556, 0x80007ffd, 0x80007ffd,
368    0x3332b334, 0x5555d555, 0x80007ffc, 0x80005554,
369    0x3333b333, 0x5555d554, 0x80005553, 0x80003332,
370    0x3333b332, 0x5555aaab, 0x80003331, 0x8000007e,
371    0x33338889, 0x55558889, 0x8000007d, 0x8000007d,
372    0x33336667, 0x555555d5, 0x8000007c, 0x8000007c,
373    0x333333b3, 0x555555d4, 0x8000007b, 0x8000007b,
374    0x555555d4, 0x8000007b, 0x8000007b, 0x8000000f,
375    0x555555d3, 0x8000007a, 0x8000000e, 0x80000002,
376    0x555555d2, 0x8000000d, 0x80000001, 0x80000001,
377    0x55555565, 0x80000000, 0x80000000, 0x80000000,
378    0x55555558, 0x7fffffff, 0x7fffffff, 0x7fffffff,
379    0x55555557, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
380    0x55555556, 0x7ffffffd, 0x7ffffffd, 0x7ffffffd,
381    0x55555555, 0x7ffffffc, 0x7ffffffc, 0x7fffffef,
382    0x55555554, 0x7ffffffb, 0x7fffffee, 0x7fffff82,
383    0x55555553, 0x7fffffed, 0x7fffff81, 0x7fffff81,
384    0x55555545, 0x7fffff80, 0x7fffff80, 0x7fffff80,
385    0x555554d8, 0x7fffff7f, 0x7fffff7f, 0x7fffcccc,
386    0x555554d7, 0x7fffff7e, 0x7fffcccb, 0x7fffaaaa,
387    0x555554d6, 0x7fffccca, 0x7fffaaa9, 0x7fff8002,
388    0x55552222, 0x7fffaaa8, 0x7fff8001, 0x7fff8001,
389    0x55550000, 0x7fff8000, 0x7fff8000, 0x7fff8000,
390    0x5554d558, 0x7fff7fff, 0x7fff7fff, 0x80007fff,
391    0x5554d557, 0x7fff7ffe, 0x80007ffe, 0x80007ffe,
392    0x5554d556, 0x80007ffd, 0x80007ffd, 0x80005555,
393    0x5555d555, 0x80007ffc, 0x80005554, 0x80003333,
394    0x5555d554, 0x80005553, 0x80003332, 0x8000007f,
395    0x5555aaab, 0x80003331, 0x8000007e, 0x8000007e,
396    0x55558889, 0x8000007d, 0x8000007d, 0x8000007d,
397    0x555555d5, 0x8000007c, 0x8000007c, 0x8000007c,
398    0x8000007c, 0x8000007c, 0x8000007c, 0x80000010,
399    0x8000007b, 0x8000007b, 0x8000000f, 0x80000003,
400    0x8000007a, 0x8000000e, 0x80000002, 0x80000002,
401    0x8000000d, 0x80000001, 0x80000001, 0x80000001,
402    0x80000000, 0x80000000, 0x80000000, 0x80000000,
403    0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
404    0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
405    0x7ffffffd, 0x7ffffffd, 0x7ffffffd, 0x7ffffff0,
406    0x7ffffffc, 0x7ffffffc, 0x7fffffef, 0x7fffff83,
407    0x7ffffffb, 0x7fffffee, 0x7fffff82, 0x7fffff82,
408    0x7fffffed, 0x7fffff81, 0x7fffff81, 0x7fffff81,
409    0x7fffff80, 0x7fffff80, 0x7fffff80, 0x7fffcccd,
410    0x7fffff7f, 0x7fffff7f, 0x7fffcccc, 0x7fffaaab,
411    0x7fffff7e, 0x7fffcccb, 0x7fffaaaa, 0x7fff8003,
412    0x7fffccca, 0x7fffaaa9, 0x7fff8002, 0x7fff8002,
413    0x7fffaaa8, 0x7fff8001, 0x7fff8001, 0x7fff8001,
414    0x7fff8000, 0x7fff8000, 0x7fff8000, 0x80008000,
415    0x7fff7fff, 0x7fff7fff, 0x80007fff, 0x80007fff,
416    0x7fff7ffe, 0x80007ffe, 0x80007ffe, 0x80005556,
417    0x80007ffd, 0x80007ffd, 0x80005555, 0x80003334,
418    0x80007ffc, 0x80005554, 0x80003333, 0x80000080,
419    0x80005553, 0x80003332, 0x8000007f, 0x8000007f,
420    0x80003331, 0x8000007e, 0x8000007e, 0x8000007e,
421    0x8000007d, 0x8000007d, 0x8000007d, 0x8000007d,
422    0x8000007d, 0x8000007d, 0x8000007d, 0x80000011,
423    0x8000007c, 0x8000007c, 0x80000010, 0x80000004,
424    0x8000007b, 0x8000000f, 0x80000003, 0x80000003,
425    0x8000000e, 0x80000002, 0x80000002, 0x80000002,
426    0x80000001, 0x80000001, 0x80000001, 0x80000001,
427    0x80000000, 0x80000000, 0x80000000, 0x80000000,
428    0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
429    0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7ffffff1,
430    0x7ffffffd, 0x7ffffffd, 0x7ffffff0, 0x7fffff84,
431    0x7ffffffc, 0x7fffffef, 0x7fffff83, 0x7fffff83,
432    0x7fffffee, 0x7fffff82, 0x7fffff82, 0x7fffff82,
433    0x7fffff81, 0x7fffff81, 0x7fffff81, 0x7fffccce,
434    0x7fffff80, 0x7fffff80, 0x7fffcccd, 0x7fffaaac,
435    0x7fffff7f, 0x7fffcccc, 0x7fffaaab, 0x7fff8004,
436    0x7fffcccb, 0x7fffaaaa, 0x7fff8003, 0x7fff8003,
437    0x7fffaaa9, 0x7fff8002, 0x7fff8002, 0x7fff8002,
438    0x7fff8001, 0x7fff8001, 0x7fff8001, 0x80008001,
439    0x7fff8000, 0x7fff8000, 0x80008000, 0x80008000,
440    0x7fff7fff, 0x80007fff, 0x80007fff, 0x80005557,
441    0x80007ffe, 0x80007ffe, 0x80005556, 0x80003335,
442    0x80007ffd, 0x80005555, 0x80003334, 0x80000081,
443    0x80005554, 0x80003333, 0x80000080, 0x80000080,
444    0x80003332, 0x8000007f, 0x8000007f, 0x8000007f,
445    0x8000007e, 0x8000007e, 0x8000007e, 0x8000007e,
446    0x8000007e, 0x8000007e, 0x8000007e, 0xaaaaaaba,
447    0x8000007d, 0x8000007d, 0x80000011, 0xaaaaaaad,
448    0x8000007c, 0x80000010, 0x80000004, 0xaaaaaaac,
449    0x8000000f, 0x80000003, 0x80000003, 0xaaaaaaab,
450    0x80000002, 0x80000002, 0x80000002, 0xaaaaaaaa,
451    0x80000001, 0x80000001, 0x80000001, 0xaaaaaaa9,
452    0x80000000, 0x80000000, 0x80000000, 0xaaaaaaa8,
453    0x7fffffff, 0x7fffffff, 0x7fffffff, 0xaaaaaa9a,
454    0x7ffffffe, 0x7ffffffe, 0x7ffffff1, 0xaaaaaa2d,
455    0x7ffffffd, 0x7ffffff0, 0x7fffff84, 0xaaaaaa2c,
456    0x7fffffef, 0x7fffff83, 0x7fffff83, 0xaaaaaa2b,
457    0x7fffff82, 0x7fffff82, 0x7fffff82, 0xaaaa7777,
458    0x7fffff81, 0x7fffff81, 0x7fffccce, 0xaaaa5555,
459    0x7fffff80, 0x7fffcccd, 0x7fffaaac, 0xaaaa2aad,
460    0x7fffcccc, 0x7fffaaab, 0x7fff8004, 0xaaaa2aac,
461    0x7fffaaaa, 0x7fff8003, 0x7fff8003, 0xaaaa2aab,
462    0x7fff8002, 0x7fff8002, 0x7fff8002, 0xaaab2aaa,
463    0x7fff8001, 0x7fff8001, 0x80008001, 0xaaab2aa9,
464    0x7fff8000, 0x80008000, 0x80008000, 0xaaab0000,
465    0x80007fff, 0x80007fff, 0x80005557, 0xaaaaddde,
466    0x80007ffe, 0x80005556, 0x80003335, 0xaaaaab2a,
467    0x80005555, 0x80003334, 0x80000081, 0xaaaaab29,
468    0x80003333, 0x80000080, 0x80000080, 0xaaaaab28,
469    0x8000007f, 0x8000007f, 0x8000007f, 0xaaaaab27,
470    0x8000007f, 0x8000007f, 0xaaaaab27, 0xccccccdc,
471    0x8000007e, 0x8000007e, 0xaaaaaaba, 0xcccccccf,
472    0x8000007d, 0x80000011, 0xaaaaaaad, 0xccccccce,
473    0x80000010, 0x80000004, 0xaaaaaaac, 0xcccccccd,
474    0x80000003, 0x80000003, 0xaaaaaaab, 0xcccccccc,
475    0x80000002, 0x80000002, 0xaaaaaaaa, 0xcccccccb,
476    0x80000001, 0x80000001, 0xaaaaaaa9, 0xccccccca,
477    0x80000000, 0x80000000, 0xaaaaaaa8, 0xccccccbc,
478    0x7fffffff, 0x7fffffff, 0xaaaaaa9a, 0xcccccc4f,
479    0x7ffffffe, 0x7ffffff1, 0xaaaaaa2d, 0xcccccc4e,
480    0x7ffffff0, 0x7fffff84, 0xaaaaaa2c, 0xcccccc4d,
481    0x7fffff83, 0x7fffff83, 0xaaaaaa2b, 0xcccc9999,
482    0x7fffff82, 0x7fffff82, 0xaaaa7777, 0xcccc7777,
483    0x7fffff81, 0x7fffccce, 0xaaaa5555, 0xcccc4ccf,
484    0x7fffcccd, 0x7fffaaac, 0xaaaa2aad, 0xcccc4cce,
485    0x7fffaaab, 0x7fff8004, 0xaaaa2aac, 0xcccc4ccd,
486    0x7fff8003, 0x7fff8003, 0xaaaa2aab, 0xcccd4ccc,
487    0x7fff8002, 0x7fff8002, 0xaaab2aaa, 0xcccd4ccb,
488    0x7fff8001, 0x80008001, 0xaaab2aa9, 0xcccd2222,
489    0x80008000, 0x80008000, 0xaaab0000, 0xcccd0000,
490    0x80007fff, 0x80005557, 0xaaaaddde, 0xcccccd4c,
491    0x80005556, 0x80003335, 0xaaaaab2a, 0xcccccd4b,
492    0x80003334, 0x80000081, 0xaaaaab29, 0xcccccd4a,
493    0x80000080, 0x80000080, 0xaaaaab28, 0xcccccd49,
494    0x80000080, 0xaaaaab28, 0xcccccd49, 0xffff8010,
495    0x8000007f, 0xaaaaab27, 0xccccccdc, 0xffff8003,
496    0x8000007e, 0xaaaaaaba, 0xcccccccf, 0xffff8002,
497    0x80000011, 0xaaaaaaad, 0xccccccce, 0xffff8001,
498    0x80000004, 0xaaaaaaac, 0xcccccccd, 0xffff8000,
499    0x80000003, 0xaaaaaaab, 0xcccccccc, 0xffff7fff,
500    0x80000002, 0xaaaaaaaa, 0xcccccccb, 0xffff7ffe,
501    0x80000001, 0xaaaaaaa9, 0xccccccca, 0xffff7ff0,
502    0x80000000, 0xaaaaaaa8, 0xccccccbc, 0xffff7f83,
503    0x7fffffff, 0xaaaaaa9a, 0xcccccc4f, 0xffff7f82,
504    0x7ffffff1, 0xaaaaaa2d, 0xcccccc4e, 0xffff7f81,
505    0x7fffff84, 0xaaaaaa2c, 0xcccccc4d, 0xffff4ccd,
506    0x7fffff83, 0xaaaaaa2b, 0xcccc9999, 0xffff2aab,
507    0x7fffff82, 0xaaaa7777, 0xcccc7777, 0xffff0003,
508    0x7fffccce, 0xaaaa5555, 0xcccc4ccf, 0xffff0002,
509    0x7fffaaac, 0xaaaa2aad, 0xcccc4cce, 0xffff0001,
510    0x7fff8004, 0xaaaa2aac, 0xcccc4ccd, 0x00000000,
511    0x7fff8003, 0xaaaa2aab, 0xcccd4ccc, 0xffffffff,
512    0x7fff8002, 0xaaab2aaa, 0xcccd4ccb, 0xffffd556,
513    0x80008001, 0xaaab2aa9, 0xcccd2222, 0xffffb334,
514    0x80008000, 0xaaab0000, 0xcccd0000, 0xffff8080,
515    0x80005557, 0xaaaaddde, 0xcccccd4c, 0xffff807f,
516    0x80003335, 0xaaaaab2a, 0xcccccd4b, 0xffff807e,
517    0x80000081, 0xaaaaab29, 0xcccccd4a, 0xffff807d,
518    0xaaaaab29, 0xcccccd4a, 0xffff807d, 0xffff8011,
519    0xaaaaab28, 0xcccccd49, 0xffff8010, 0xffff8004,
520    0xaaaaab27, 0xccccccdc, 0xffff8003, 0xffff8003,
521    0xaaaaaaba, 0xcccccccf, 0xffff8002, 0xffff8002,
522    0xaaaaaaad, 0xccccccce, 0xffff8001, 0xffff8001,
523    0xaaaaaaac, 0xcccccccd, 0xffff8000, 0xffff8000,
524    0xaaaaaaab, 0xcccccccc, 0xffff7fff, 0xffff7fff,
525    0xaaaaaaaa, 0xcccccccb, 0xffff7ffe, 0xffff7ff1,
526    0xaaaaaaa9, 0xccccccca, 0xffff7ff0, 0xffff7f84,
527    0xaaaaaaa8, 0xccccccbc, 0xffff7f83, 0xffff7f83,
528    0xaaaaaa9a, 0xcccccc4f, 0xffff7f82, 0xffff7f82,
529    0xaaaaaa2d, 0xcccccc4e, 0xffff7f81, 0xffff4cce,
530    0xaaaaaa2c, 0xcccccc4d, 0xffff4ccd, 0xffff2aac,
531    0xaaaaaa2b, 0xcccc9999, 0xffff2aab, 0xffff0004,
532    0xaaaa7777, 0xcccc7777, 0xffff0003, 0xffff0003,
533    0xaaaa5555, 0xcccc4ccf, 0xffff0002, 0xffff0002,
534    0xaaaa2aad, 0xcccc4cce, 0xffff0001, 0x00000001,
535    0xaaaa2aac, 0xcccc4ccd, 0x00000000, 0x00000000,
536    0xaaaa2aab, 0xcccd4ccc, 0xffffffff, 0xffffd557,
537    0xaaab2aaa, 0xcccd4ccb, 0xffffd556, 0xffffb335,
538    0xaaab2aa9, 0xcccd2222, 0xffffb334, 0xffff8081,
539    0xaaab0000, 0xcccd0000, 0xffff8080, 0xffff8080,
540    0xaaaaddde, 0xcccccd4c, 0xffff807f, 0xffff807f,
541    0xaaaaab2a, 0xcccccd4b, 0xffff807e, 0xffff807e,
542    0xcccccd4b, 0xffff807e, 0xffff807e, 0xffff8012,
543    0xcccccd4a, 0xffff807d, 0xffff8011, 0xffff8005,
544    0xcccccd49, 0xffff8010, 0xffff8004, 0xffff8004,
545    0xccccccdc, 0xffff8003, 0xffff8003, 0xffff8003,
546    0xcccccccf, 0xffff8002, 0xffff8002, 0xffff8002,
547    0xccccccce, 0xffff8001, 0xffff8001, 0xffff8001,
548    0xcccccccd, 0xffff8000, 0xffff8000, 0xffff8000,
549    0xcccccccc, 0xffff7fff, 0xffff7fff, 0xffff7ff2,
550    0xcccccccb, 0xffff7ffe, 0xffff7ff1, 0xffff7f85,
551    0xccccccca, 0xffff7ff0, 0xffff7f84, 0xffff7f84,
552    0xccccccbc, 0xffff7f83, 0xffff7f83, 0xffff7f83,
553    0xcccccc4f, 0xffff7f82, 0xffff7f82, 0xffff4ccf,
554    0xcccccc4e, 0xffff7f81, 0xffff4cce, 0xffff2aad,
555    0xcccccc4d, 0xffff4ccd, 0xffff2aac, 0xffff0005,
556    0xcccc9999, 0xffff2aab, 0xffff0004, 0xffff0004,
557    0xcccc7777, 0xffff0003, 0xffff0003, 0xffff0003,
558    0xcccc4ccf, 0xffff0002, 0xffff0002, 0x00000002,
559    0xcccc4cce, 0xffff0001, 0x00000001, 0x00000001,
560    0xcccc4ccd, 0x00000000, 0x00000000, 0xffffd558,
561    0xcccd4ccc, 0xffffffff, 0xffffd557, 0xffffb336,
562    0xcccd4ccb, 0xffffd556, 0xffffb335, 0xffff8082,
563    0xcccd2222, 0xffffb334, 0xffff8081, 0xffff8081,
564    0xcccd0000, 0xffff8080, 0xffff8080, 0xffff8080,
565    0xcccccd4c, 0xffff807f, 0xffff807f, 0xffff807f,
566    0xffff807f, 0xffff807f, 0xffff807f, 0xffff8013,
567    0xffff807e, 0xffff807e, 0xffff8012, 0xffff8006,
568    0xffff807d, 0xffff8011, 0xffff8005, 0xffff8005,
569    0xffff8010, 0xffff8004, 0xffff8004, 0xffff8004,
570    0xffff8003, 0xffff8003, 0xffff8003, 0xffff8003,
571    0xffff8002, 0xffff8002, 0xffff8002, 0xffff8002,
572    0xffff8001, 0xffff8001, 0xffff8001, 0xffff8001,
573    0xffff8000, 0xffff8000, 0xffff8000, 0xffff7ff3,
574    0xffff7fff, 0xffff7fff, 0xffff7ff2, 0xffff7f86,
575    0xffff7ffe, 0xffff7ff1, 0xffff7f85, 0xffff7f85,
576    0xffff7ff0, 0xffff7f84, 0xffff7f84, 0xffff7f84,
577    0xffff7f83, 0xffff7f83, 0xffff7f83, 0xffff4cd0,
578    0xffff7f82, 0xffff7f82, 0xffff4ccf, 0xffff2aae,
579    0xffff7f81, 0xffff4cce, 0xffff2aad, 0xffff0006,
580    0xffff4ccd, 0xffff2aac, 0xffff0005, 0xffff0005,
581    0xffff2aab, 0xffff0004, 0xffff0004, 0xffff0004,
582    0xffff0003, 0xffff0003, 0xffff0003, 0x00000003,
583    0xffff0002, 0xffff0002, 0x00000002, 0x00000002,
584    0xffff0001, 0x00000001, 0x00000001, 0xffffd559,
585    0x00000000, 0x00000000, 0xffffd558, 0xffffb337,
586    0xffffffff, 0xffffd557, 0xffffb336, 0xffff8083,
587    0xffffd556, 0xffffb335, 0xffff8082, 0xffff8082,
588    0xffffb334, 0xffff8081, 0xffff8081, 0xffff8081,
589    0xffff8080, 0xffff8080, 0xffff8080, 0xffff8080,
590    0xffff8080, 0xffff8080, 0xffff8080, 0xffffff90,
591    0xffff807f, 0xffff807f, 0xffff8013, 0xffffff83,
592    0xffff807e, 0xffff8012, 0xffff8006, 0xffffff82,
593    0xffff8011, 0xffff8005, 0xffff8005, 0xffffff81,
594    0xffff8004, 0xffff8004, 0xffff8004, 0xffffff80,
595    0xffff8003, 0xffff8003, 0xffff8003, 0xffffff7f,
596    0xffff8002, 0xffff8002, 0xffff8002, 0xffffff7e,
597    0xffff8001, 0xffff8001, 0xffff8001, 0xffffff70,
598    0xffff8000, 0xffff8000, 0xffff7ff3, 0xffffff03,
599    0xffff7fff, 0xffff7ff2, 0xffff7f86, 0xffffff02,
600    0xffff7ff1, 0xffff7f85, 0xffff7f85, 0xffffff01,
601    0xffff7f84, 0xffff7f84, 0xffff7f84, 0xffffcc4d,
602    0xffff7f83, 0xffff7f83, 0xffff4cd0, 0xffffaa2b,
603    0xffff7f82, 0xffff4ccf, 0xffff2aae, 0xffff7f83,
604    0xffff4cce, 0xffff2aad, 0xffff0006, 0xffff7f82,
605    0xffff2aac, 0xffff0005, 0xffff0005, 0xffff7f81,
606    0xffff0004, 0xffff0004, 0xffff0004, 0x00007f80,
607    0xffff0003, 0xffff0003, 0x00000003, 0x00007f7f,
608    0xffff0002, 0x00000002, 0x00000002, 0x000054d6,
609    0x00000001, 0x00000001, 0xffffd559, 0x000032b4,
610    0x00000000, 0xffffd558, 0xffffb337, 0x00000000,
611    0xffffd557, 0xffffb336, 0xffff8083, 0xffffffff,
612    0xffffb335, 0xffff8082, 0xffff8082, 0xfffffffe,
613    0xffff8081, 0xffff8081, 0xffff8081, 0xfffffffd,
614    0xffff8081, 0xffff8081, 0xfffffffd, 0xffffff91,
615    0xffff8080, 0xffff8080, 0xffffff90, 0xffffff84,
616    0xffff807f, 0xffff8013, 0xffffff83, 0xffffff83,
617    0xffff8012, 0xffff8006, 0xffffff82, 0xffffff82,
618    0xffff8005, 0xffff8005, 0xffffff81, 0xffffff81,
619    0xffff8004, 0xffff8004, 0xffffff80, 0xffffff80,
620    0xffff8003, 0xffff8003, 0xffffff7f, 0xffffff7f,
621    0xffff8002, 0xffff8002, 0xffffff7e, 0xffffff71,
622    0xffff8001, 0xffff8001, 0xffffff70, 0xffffff04,
623    0xffff8000, 0xffff7ff3, 0xffffff03, 0xffffff03,
624    0xffff7ff2, 0xffff7f86, 0xffffff02, 0xffffff02,
625    0xffff7f85, 0xffff7f85, 0xffffff01, 0xffffcc4e,
626    0xffff7f84, 0xffff7f84, 0xffffcc4d, 0xffffaa2c,
627    0xffff7f83, 0xffff4cd0, 0xffffaa2b, 0xffff7f84,
628    0xffff4ccf, 0xffff2aae, 0xffff7f83, 0xffff7f83,
629    0xffff2aad, 0xffff0006, 0xffff7f82, 0xffff7f82,
630    0xffff0005, 0xffff0005, 0xffff7f81, 0x00007f81,
631    0xffff0004, 0xffff0004, 0x00007f80, 0x00007f80,
632    0xffff0003, 0x00000003, 0x00007f7f, 0x000054d7,
633    0x00000002, 0x00000002, 0x000054d6, 0x000032b5,
634    0x00000001, 0xffffd559, 0x000032b4, 0x00000001,
635    0xffffd558, 0xffffb337, 0x00000000, 0x00000000,
636    0xffffb336, 0xffff8083, 0xffffffff, 0xffffffff,
637    0xffff8082, 0xffff8082, 0xfffffffe, 0xfffffffe,
638    0xffff8082, 0xfffffffe, 0xfffffffe, 0xffffff92,
639    0xffff8081, 0xfffffffd, 0xffffff91, 0xffffff85,
640    0xffff8080, 0xffffff90, 0xffffff84, 0xffffff84,
641    0xffff8013, 0xffffff83, 0xffffff83, 0xffffff83,
642    0xffff8006, 0xffffff82, 0xffffff82, 0xffffff82,
643    0xffff8005, 0xffffff81, 0xffffff81, 0xffffff81,
644    0xffff8004, 0xffffff80, 0xffffff80, 0xffffff80,
645    0xffff8003, 0xffffff7f, 0xffffff7f, 0xffffff72,
646    0xffff8002, 0xffffff7e, 0xffffff71, 0xffffff05,
647    0xffff8001, 0xffffff70, 0xffffff04, 0xffffff04,
648    0xffff7ff3, 0xffffff03, 0xffffff03, 0xffffff03,
649    0xffff7f86, 0xffffff02, 0xffffff02, 0xffffcc4f,
650    0xffff7f85, 0xffffff01, 0xffffcc4e, 0xffffaa2d,
651    0xffff7f84, 0xffffcc4d, 0xffffaa2c, 0xffff7f85,
652    0xffff4cd0, 0xffffaa2b, 0xffff7f84, 0xffff7f84,
653    0xffff2aae, 0xffff7f83, 0xffff7f83, 0xffff7f83,
654    0xffff0006, 0xffff7f82, 0xffff7f82, 0x00007f82,
655    0xffff0005, 0xffff7f81, 0x00007f81, 0x00007f81,
656    0xffff0004, 0x00007f80, 0x00007f80, 0x000054d8,
657    0x00000003, 0x00007f7f, 0x000054d7, 0x000032b6,
658    0x00000002, 0x000054d6, 0x000032b5, 0x00000002,
659    0xffffd559, 0x000032b4, 0x00000001, 0x00000001,
660    0xffffb337, 0x00000000, 0x00000000, 0x00000000,
661    0xffff8083, 0xffffffff, 0xffffffff, 0xffffffff,
662    0xffffffff, 0xffffffff, 0xffffffff, 0xffffff93,
663    0xfffffffe, 0xfffffffe, 0xffffff92, 0xffffff86,
664    0xfffffffd, 0xffffff91, 0xffffff85, 0xffffff85,
665    0xffffff90, 0xffffff84, 0xffffff84, 0xffffff84,
666    0xffffff83, 0xffffff83, 0xffffff83, 0xffffff83,
667    0xffffff82, 0xffffff82, 0xffffff82, 0xffffff82,
668    0xffffff81, 0xffffff81, 0xffffff81, 0xffffff81,
669    0xffffff80, 0xffffff80, 0xffffff80, 0xffffff73,
670    0xffffff7f, 0xffffff7f, 0xffffff72, 0xffffff06,
671    0xffffff7e, 0xffffff71, 0xffffff05, 0xffffff05,
672    0xffffff70, 0xffffff04, 0xffffff04, 0xffffff04,
673    0xffffff03, 0xffffff03, 0xffffff03, 0xffffcc50,
674    0xffffff02, 0xffffff02, 0xffffcc4f, 0xffffaa2e,
675    0xffffff01, 0xffffcc4e, 0xffffaa2d, 0xffff7f86,
676    0xffffcc4d, 0xffffaa2c, 0xffff7f85, 0xffff7f85,
677    0xffffaa2b, 0xffff7f84, 0xffff7f84, 0xffff7f84,
678    0xffff7f83, 0xffff7f83, 0xffff7f83, 0x00007f83,
679    0xffff7f82, 0xffff7f82, 0x00007f82, 0x00007f82,
680    0xffff7f81, 0x00007f81, 0x00007f81, 0x000054d9,
681    0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7,
682    0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003,
683    0x000054d6, 0x000032b5, 0x00000002, 0x00000002,
684    0x000032b4, 0x00000001, 0x00000001, 0x00000001,
685    0x00000000, 0x00000000, 0x00000000, 0x00000000,
686    0x00000000, 0x00000000, 0x00000000, 0xfffffff0,
687    0xffffffff, 0xffffffff, 0xffffff93, 0xffffffe3,
688    0xfffffffe, 0xffffff92, 0xffffff86, 0xffffffe2,
689    0xffffff91, 0xffffff85, 0xffffff85, 0xffffffe1,
690    0xffffff84, 0xffffff84, 0xffffff84, 0xffffffe0,
691    0xffffff83, 0xffffff83, 0xffffff83, 0xffffffdf,
692    0xffffff82, 0xffffff82, 0xffffff82, 0xffffffde,
693    0xffffff81, 0xffffff81, 0xffffff81, 0xffffffd0,
694    0xffffff80, 0xffffff80, 0xffffff73, 0xffffff63,
695    0xffffff7f, 0xffffff72, 0xffffff06, 0xffffff62,
696    0xffffff71, 0xffffff05, 0xffffff05, 0xffffff61,
697    0xffffff04, 0xffffff04, 0xffffff04, 0xffffccad,
698    0xffffff03, 0xffffff03, 0xffffcc50, 0xffffaa8b,
699    0xffffff02, 0xffffcc4f, 0xffffaa2e, 0xffff7fe3,
700    0xffffcc4e, 0xffffaa2d, 0xffff7f86, 0xffff7fe2,
701    0xffffaa2c, 0xffff7f85, 0xffff7f85, 0xffff7fe1,
702    0xffff7f84, 0xffff7f84, 0xffff7f84, 0x00007fe0,
703    0xffff7f83, 0xffff7f83, 0x00007f83, 0x00007fdf,
704    0xffff7f82, 0x00007f82, 0x00007f82, 0x00005536,
705    0x00007f81, 0x00007f81, 0x000054d9, 0x00003314,
706    0x00007f80, 0x000054d8, 0x000032b7, 0x00000060,
707    0x000054d7, 0x000032b6, 0x00000003, 0x0000005f,
708    0x000032b5, 0x00000002, 0x00000002, 0x0000005e,
709    0x00000001, 0x00000001, 0x00000001, 0x0000005d,
710    0x00000001, 0x00000001, 0x0000005d, 0x0000000d,
711    0x00000000, 0x00000000, 0xfffffff0, 0x00000000,
712    0xffffffff, 0xffffff93, 0xffffffe3, 0xffffffff,
713    0xffffff92, 0xffffff86, 0xffffffe2, 0xfffffffe,
714    0xffffff85, 0xffffff85, 0xffffffe1, 0xfffffffd,
715    0xffffff84, 0xffffff84, 0xffffffe0, 0xfffffffc,
716    0xffffff83, 0xffffff83, 0xffffffdf, 0xfffffffb,
717    0xffffff82, 0xffffff82, 0xffffffde, 0xffffffed,
718    0xffffff81, 0xffffff81, 0xffffffd0, 0xffffff80,
719    0xffffff80, 0xffffff73, 0xffffff63, 0xffffff7f,
720    0xffffff72, 0xffffff06, 0xffffff62, 0xffffff7e,
721    0xffffff05, 0xffffff05, 0xffffff61, 0xffffccca,
722    0xffffff04, 0xffffff04, 0xffffccad, 0xffffaaa8,
723    0xffffff03, 0xffffcc50, 0xffffaa8b, 0xffff8000,
724    0xffffcc4f, 0xffffaa2e, 0xffff7fe3, 0xffff7fff,
725    0xffffaa2d, 0xffff7f86, 0xffff7fe2, 0xffff7ffe,
726    0xffff7f85, 0xffff7f85, 0xffff7fe1, 0x00007ffd,
727    0xffff7f84, 0xffff7f84, 0x00007fe0, 0x00007ffc,
728    0xffff7f83, 0x00007f83, 0x00007fdf, 0x00005553,
729    0x00007f82, 0x00007f82, 0x00005536, 0x00003331,
730    0x00007f81, 0x000054d9, 0x00003314, 0x0000007d,
731    0x000054d8, 0x000032b7, 0x00000060, 0x0000007c,
732    0x000032b6, 0x00000003, 0x0000005f, 0x0000007b,
733    0x00000002, 0x00000002, 0x0000005e, 0x0000007a,
734    0x00000002, 0x0000005e, 0x0000007a, 0x0000000e,
735    0x00000001, 0x0000005d, 0x0000000d, 0x00000001,
736    0x00000000, 0xfffffff0, 0x00000000, 0x00000000,
737    0xffffff93, 0xffffffe3, 0xffffffff, 0xffffffff,
738    0xffffff86, 0xffffffe2, 0xfffffffe, 0xfffffffe,
739    0xffffff85, 0xffffffe1, 0xfffffffd, 0xfffffffd,
740    0xffffff84, 0xffffffe0, 0xfffffffc, 0xfffffffc,
741    0xffffff83, 0xffffffdf, 0xfffffffb, 0xffffffee,
742    0xffffff82, 0xffffffde, 0xffffffed, 0xffffff81,
743    0xffffff81, 0xffffffd0, 0xffffff80, 0xffffff80,
744    0xffffff73, 0xffffff63, 0xffffff7f, 0xffffff7f,
745    0xffffff06, 0xffffff62, 0xffffff7e, 0xffffcccb,
746    0xffffff05, 0xffffff61, 0xffffccca, 0xffffaaa9,
747    0xffffff04, 0xffffccad, 0xffffaaa8, 0xffff8001,
748    0xffffcc50, 0xffffaa8b, 0xffff8000, 0xffff8000,
749    0xffffaa2e, 0xffff7fe3, 0xffff7fff, 0xffff7fff,
750    0xffff7f86, 0xffff7fe2, 0xffff7ffe, 0x00007ffe,
751    0xffff7f85, 0xffff7fe1, 0x00007ffd, 0x00007ffd,
752    0xffff7f84, 0x00007fe0, 0x00007ffc, 0x00005554,
753    0x00007f83, 0x00007fdf, 0x00005553, 0x00003332,
754    0x00007f82, 0x00005536, 0x00003331, 0x0000007e,
755    0x000054d9, 0x00003314, 0x0000007d, 0x0000007d,
756    0x000032b7, 0x00000060, 0x0000007c, 0x0000007c,
757    0x00000003, 0x0000005f, 0x0000007b, 0x0000007b,
758    0x0000005f, 0x0000007b, 0x0000007b, 0x0000000f,
759    0x0000005e, 0x0000007a, 0x0000000e, 0x00000002,
760    0x0000005d, 0x0000000d, 0x00000001, 0x00000001,
761    0xfffffff0, 0x00000000, 0x00000000, 0x00000000,
762    0xffffffe3, 0xffffffff, 0xffffffff, 0xffffffff,
763    0xffffffe2, 0xfffffffe, 0xfffffffe, 0xfffffffe,
764    0xffffffe1, 0xfffffffd, 0xfffffffd, 0xfffffffd,
765    0xffffffe0, 0xfffffffc, 0xfffffffc, 0xffffffef,
766    0xffffffdf, 0xfffffffb, 0xffffffee, 0xffffff82,
767    0xffffffde, 0xffffffed, 0xffffff81, 0xffffff81,
768    0xffffffd0, 0xffffff80, 0xffffff80, 0xffffff80,
769    0xffffff63, 0xffffff7f, 0xffffff7f, 0xffffcccc,
770    0xffffff62, 0xffffff7e, 0xffffcccb, 0xffffaaaa,
771    0xffffff61, 0xffffccca, 0xffffaaa9, 0xffff8002,
772    0xffffccad, 0xffffaaa8, 0xffff8001, 0xffff8001,
773    0xffffaa8b, 0xffff8000, 0xffff8000, 0xffff8000,
774    0xffff7fe3, 0xffff7fff, 0xffff7fff, 0x00007fff,
775    0xffff7fe2, 0xffff7ffe, 0x00007ffe, 0x00007ffe,
776    0xffff7fe1, 0x00007ffd, 0x00007ffd, 0x00005555,
777    0x00007fe0, 0x00007ffc, 0x00005554, 0x00003333,
778    0x00007fdf, 0x00005553, 0x00003332, 0x0000007f,
779    0x00005536, 0x00003331, 0x0000007e, 0x0000007e,
780    0x00003314, 0x0000007d, 0x0000007d, 0x0000007d,
781    0x00000060, 0x0000007c, 0x0000007c, 0x0000007c,
782  };
783  const unsigned kExpectedCount_NEON_ssubw_4S = 744;
784  
785  #endif  // VIXL_SIM_SSUBW_4S_TRACE_A64_H_
786