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_SSUBL2_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_SSUBL2_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_ssubl2_4S[] = {
38  0x00000000, 0x00000000, 0x00000000, 0x00000000,
39  0xffffffff, 0xffffffff, 0x00007fff, 0xffffffff,
40  0xfffffffe, 0x00007ffe, 0x00007ffe, 0xfffffffe,
41  0x00007ffd, 0x00007ffd, 0x00007ffd, 0xfffffff0,
42  0x00007ffc, 0x00007ffc, 0x00007fef, 0xffffff83,
43  0x00007ffb, 0x00007fee, 0x00007f82, 0xffffff82,
44  0x00007fed, 0x00007f81, 0x00007f81, 0xffffff81,
45  0x00007f80, 0x00007f80, 0x00007f80, 0xffffcccd,
46  0x00007f7f, 0x00007f7f, 0x00004ccc, 0xffffaaab,
47  0x00007f7e, 0x00004ccb, 0x00002aaa, 0xffff8003,
48  0x00004cca, 0x00002aa9, 0x00000002, 0xffff8002,
49  0x00002aa8, 0x00000001, 0x00000001, 0xffff8001,
50  0x00000000, 0x00000000, 0x00000000, 0x00008000,
51  0xffffffff, 0xffffffff, 0x0000ffff, 0x00007fff,
52  0xfffffffe, 0x0000fffe, 0x0000fffe, 0x00005556,
53  0x0000fffd, 0x0000fffd, 0x0000d555, 0x00003334,
54  0x0000fffc, 0x0000d554, 0x0000b333, 0x00000080,
55  0x0000d553, 0x0000b332, 0x0000807f, 0x0000007f,
56  0x0000b331, 0x0000807e, 0x0000807e, 0x0000007e,
57  0x0000807d, 0x0000807d, 0x0000807d, 0x0000007d,
58  0x0000807c, 0x0000807c, 0x0000807c, 0x00000010,
59  0x0000807b, 0x0000807b, 0x0000800f, 0x00000003,
60  0x0000807a, 0x0000800e, 0x00008002, 0x00000002,
61  0x0000800d, 0x00008001, 0x00008001, 0x00000001,
62  0x00008001, 0x00008001, 0x00000001, 0x00000001,
63  0x00008000, 0x00008000, 0x00000000, 0x00000000,
64  0x00007fff, 0x00007fff, 0xffffffff, 0xffffffff,
65  0x00007ffe, 0x00007ffe, 0xfffffffe, 0xfffffff1,
66  0x00007ffd, 0x00007ffd, 0xfffffff0, 0xffffff84,
67  0x00007ffc, 0x00007fef, 0xffffff83, 0xffffff83,
68  0x00007fee, 0x00007f82, 0xffffff82, 0xffffff82,
69  0x00007f81, 0x00007f81, 0xffffff81, 0xffffccce,
70  0x00007f80, 0x00007f80, 0xffffcccd, 0xffffaaac,
71  0x00007f7f, 0x00004ccc, 0xffffaaab, 0xffff8004,
72  0x00004ccb, 0x00002aaa, 0xffff8003, 0xffff8003,
73  0x00002aa9, 0x00000002, 0xffff8002, 0xffff8002,
74  0x00000001, 0x00000001, 0xffff8001, 0x00008001,
75  0x00000000, 0x00000000, 0x00008000, 0x00008000,
76  0xffffffff, 0x0000ffff, 0x00007fff, 0x00005557,
77  0x0000fffe, 0x0000fffe, 0x00005556, 0x00003335,
78  0x0000fffd, 0x0000d555, 0x00003334, 0x00000081,
79  0x0000d554, 0x0000b333, 0x00000080, 0x00000080,
80  0x0000b332, 0x0000807f, 0x0000007f, 0x0000007f,
81  0x0000807e, 0x0000807e, 0x0000007e, 0x0000007e,
82  0x0000807d, 0x0000807d, 0x0000007d, 0x00000011,
83  0x0000807c, 0x0000807c, 0x00000010, 0x00000004,
84  0x0000807b, 0x0000800f, 0x00000003, 0x00000003,
85  0x0000800e, 0x00008002, 0x00000002, 0x00000002,
86  0x00008002, 0x00000002, 0x00000002, 0x00000002,
87  0x00008001, 0x00000001, 0x00000001, 0x00000001,
88  0x00008000, 0x00000000, 0x00000000, 0x00000000,
89  0x00007fff, 0xffffffff, 0xffffffff, 0xfffffff2,
90  0x00007ffe, 0xfffffffe, 0xfffffff1, 0xffffff85,
91  0x00007ffd, 0xfffffff0, 0xffffff84, 0xffffff84,
92  0x00007fef, 0xffffff83, 0xffffff83, 0xffffff83,
93  0x00007f82, 0xffffff82, 0xffffff82, 0xffffcccf,
94  0x00007f81, 0xffffff81, 0xffffccce, 0xffffaaad,
95  0x00007f80, 0xffffcccd, 0xffffaaac, 0xffff8005,
96  0x00004ccc, 0xffffaaab, 0xffff8004, 0xffff8004,
97  0x00002aaa, 0xffff8003, 0xffff8003, 0xffff8003,
98  0x00000002, 0xffff8002, 0xffff8002, 0x00008002,
99  0x00000001, 0xffff8001, 0x00008001, 0x00008001,
100  0x00000000, 0x00008000, 0x00008000, 0x00005558,
101  0x0000ffff, 0x00007fff, 0x00005557, 0x00003336,
102  0x0000fffe, 0x00005556, 0x00003335, 0x00000082,
103  0x0000d555, 0x00003334, 0x00000081, 0x00000081,
104  0x0000b333, 0x00000080, 0x00000080, 0x00000080,
105  0x0000807f, 0x0000007f, 0x0000007f, 0x0000007f,
106  0x0000807e, 0x0000007e, 0x0000007e, 0x00000012,
107  0x0000807d, 0x0000007d, 0x00000011, 0x00000005,
108  0x0000807c, 0x00000010, 0x00000004, 0x00000004,
109  0x0000800f, 0x00000003, 0x00000003, 0x00000003,
110  0x00000003, 0x00000003, 0x00000003, 0x00000010,
111  0x00000002, 0x00000002, 0x00000002, 0x0000000f,
112  0x00000001, 0x00000001, 0x00000001, 0x0000000e,
113  0x00000000, 0x00000000, 0x00000000, 0x00000000,
114  0xffffffff, 0xffffffff, 0xfffffff2, 0xffffff93,
115  0xfffffffe, 0xfffffff1, 0xffffff85, 0xffffff92,
116  0xfffffff0, 0xffffff84, 0xffffff84, 0xffffff91,
117  0xffffff83, 0xffffff83, 0xffffff83, 0xffffccdd,
118  0xffffff82, 0xffffff82, 0xffffcccf, 0xffffaabb,
119  0xffffff81, 0xffffccce, 0xffffaaad, 0xffff8013,
120  0xffffcccd, 0xffffaaac, 0xffff8005, 0xffff8012,
121  0xffffaaab, 0xffff8004, 0xffff8004, 0xffff8011,
122  0xffff8003, 0xffff8003, 0xffff8003, 0x00008010,
123  0xffff8002, 0xffff8002, 0x00008002, 0x0000800f,
124  0xffff8001, 0x00008001, 0x00008001, 0x00005566,
125  0x00008000, 0x00008000, 0x00005558, 0x00003344,
126  0x00007fff, 0x00005557, 0x00003336, 0x00000090,
127  0x00005556, 0x00003335, 0x00000082, 0x0000008f,
128  0x00003334, 0x00000081, 0x00000081, 0x0000008e,
129  0x00000080, 0x00000080, 0x00000080, 0x0000008d,
130  0x0000007f, 0x0000007f, 0x0000007f, 0x00000020,
131  0x0000007e, 0x0000007e, 0x00000012, 0x00000013,
132  0x0000007d, 0x00000011, 0x00000005, 0x00000012,
133  0x00000010, 0x00000004, 0x00000004, 0x00000011,
134  0x00000004, 0x00000004, 0x00000011, 0x0000007d,
135  0x00000003, 0x00000003, 0x00000010, 0x0000007c,
136  0x00000002, 0x00000002, 0x0000000f, 0x0000007b,
137  0x00000001, 0x00000001, 0x0000000e, 0x0000006d,
138  0x00000000, 0x00000000, 0x00000000, 0x00000000,
139  0xffffffff, 0xfffffff2, 0xffffff93, 0xffffffff,
140  0xfffffff1, 0xffffff85, 0xffffff92, 0xfffffffe,
141  0xffffff84, 0xffffff84, 0xffffff91, 0xffffcd4a,
142  0xffffff83, 0xffffff83, 0xffffccdd, 0xffffab28,
143  0xffffff82, 0xffffcccf, 0xffffaabb, 0xffff8080,
144  0xffffccce, 0xffffaaad, 0xffff8013, 0xffff807f,
145  0xffffaaac, 0xffff8005, 0xffff8012, 0xffff807e,
146  0xffff8004, 0xffff8004, 0xffff8011, 0x0000807d,
147  0xffff8003, 0xffff8003, 0x00008010, 0x0000807c,
148  0xffff8002, 0x00008002, 0x0000800f, 0x000055d3,
149  0x00008001, 0x00008001, 0x00005566, 0x000033b1,
150  0x00008000, 0x00005558, 0x00003344, 0x000000fd,
151  0x00005557, 0x00003336, 0x00000090, 0x000000fc,
152  0x00003335, 0x00000082, 0x0000008f, 0x000000fb,
153  0x00000081, 0x00000081, 0x0000008e, 0x000000fa,
154  0x00000080, 0x00000080, 0x0000008d, 0x0000008d,
155  0x0000007f, 0x0000007f, 0x00000020, 0x00000080,
156  0x0000007e, 0x00000012, 0x00000013, 0x0000007f,
157  0x00000011, 0x00000005, 0x00000012, 0x0000007e,
158  0x00000005, 0x00000012, 0x0000007e, 0x0000007e,
159  0x00000004, 0x00000011, 0x0000007d, 0x0000007d,
160  0x00000003, 0x00000010, 0x0000007c, 0x0000007c,
161  0x00000002, 0x0000000f, 0x0000007b, 0x0000006e,
162  0x00000001, 0x0000000e, 0x0000006d, 0x00000001,
163  0x00000000, 0x00000000, 0x00000000, 0x00000000,
164  0xfffffff2, 0xffffff93, 0xffffffff, 0xffffffff,
165  0xffffff85, 0xffffff92, 0xfffffffe, 0xffffcd4b,
166  0xffffff84, 0xffffff91, 0xffffcd4a, 0xffffab29,
167  0xffffff83, 0xffffccdd, 0xffffab28, 0xffff8081,
168  0xffffcccf, 0xffffaabb, 0xffff8080, 0xffff8080,
169  0xffffaaad, 0xffff8013, 0xffff807f, 0xffff807f,
170  0xffff8005, 0xffff8012, 0xffff807e, 0x0000807e,
171  0xffff8004, 0xffff8011, 0x0000807d, 0x0000807d,
172  0xffff8003, 0x00008010, 0x0000807c, 0x000055d4,
173  0x00008002, 0x0000800f, 0x000055d3, 0x000033b2,
174  0x00008001, 0x00005566, 0x000033b1, 0x000000fe,
175  0x00005558, 0x00003344, 0x000000fd, 0x000000fd,
176  0x00003336, 0x00000090, 0x000000fc, 0x000000fc,
177  0x00000082, 0x0000008f, 0x000000fb, 0x000000fb,
178  0x00000081, 0x0000008e, 0x000000fa, 0x0000008e,
179  0x00000080, 0x0000008d, 0x0000008d, 0x00000081,
180  0x0000007f, 0x00000020, 0x00000080, 0x00000080,
181  0x00000012, 0x00000013, 0x0000007f, 0x0000007f,
182  0x00000013, 0x0000007f, 0x0000007f, 0x0000007f,
183  0x00000012, 0x0000007e, 0x0000007e, 0x0000007e,
184  0x00000011, 0x0000007d, 0x0000007d, 0x0000007d,
185  0x00000010, 0x0000007c, 0x0000007c, 0x0000006f,
186  0x0000000f, 0x0000007b, 0x0000006e, 0x00000002,
187  0x0000000e, 0x0000006d, 0x00000001, 0x00000001,
188  0x00000000, 0x00000000, 0x00000000, 0x00000000,
189  0xffffff93, 0xffffffff, 0xffffffff, 0xffffcd4c,
190  0xffffff92, 0xfffffffe, 0xffffcd4b, 0xffffab2a,
191  0xffffff91, 0xffffcd4a, 0xffffab29, 0xffff8082,
192  0xffffccdd, 0xffffab28, 0xffff8081, 0xffff8081,
193  0xffffaabb, 0xffff8080, 0xffff8080, 0xffff8080,
194  0xffff8013, 0xffff807f, 0xffff807f, 0x0000807f,
195  0xffff8012, 0xffff807e, 0x0000807e, 0x0000807e,
196  0xffff8011, 0x0000807d, 0x0000807d, 0x000055d5,
197  0x00008010, 0x0000807c, 0x000055d4, 0x000033b3,
198  0x0000800f, 0x000055d3, 0x000033b2, 0x000000ff,
199  0x00005566, 0x000033b1, 0x000000fe, 0x000000fe,
200  0x00003344, 0x000000fd, 0x000000fd, 0x000000fd,
201  0x00000090, 0x000000fc, 0x000000fc, 0x000000fc,
202  0x0000008f, 0x000000fb, 0x000000fb, 0x0000008f,
203  0x0000008e, 0x000000fa, 0x0000008e, 0x00000082,
204  0x0000008d, 0x0000008d, 0x00000081, 0x00000081,
205  0x00000020, 0x00000080, 0x00000080, 0x00000080,
206  0x00000080, 0x00000080, 0x00000080, 0x00003333,
207  0x0000007f, 0x0000007f, 0x0000007f, 0x00003332,
208  0x0000007e, 0x0000007e, 0x0000007e, 0x00003331,
209  0x0000007d, 0x0000007d, 0x0000007d, 0x00003323,
210  0x0000007c, 0x0000007c, 0x0000006f, 0x000032b6,
211  0x0000007b, 0x0000006e, 0x00000002, 0x000032b5,
212  0x0000006d, 0x00000001, 0x00000001, 0x000032b4,
213  0x00000000, 0x00000000, 0x00000000, 0x00000000,
214  0xffffffff, 0xffffffff, 0xffffcd4c, 0xffffddde,
215  0xfffffffe, 0xffffcd4b, 0xffffab2a, 0xffffb336,
216  0xffffcd4a, 0xffffab29, 0xffff8082, 0xffffb335,
217  0xffffab28, 0xffff8081, 0xffff8081, 0xffffb334,
218  0xffff8080, 0xffff8080, 0xffff8080, 0x0000b333,
219  0xffff807f, 0xffff807f, 0x0000807f, 0x0000b332,
220  0xffff807e, 0x0000807e, 0x0000807e, 0x00008889,
221  0x0000807d, 0x0000807d, 0x000055d5, 0x00006667,
222  0x0000807c, 0x000055d4, 0x000033b3, 0x000033b3,
223  0x000055d3, 0x000033b2, 0x000000ff, 0x000033b2,
224  0x000033b1, 0x000000fe, 0x000000fe, 0x000033b1,
225  0x000000fd, 0x000000fd, 0x000000fd, 0x000033b0,
226  0x000000fc, 0x000000fc, 0x000000fc, 0x00003343,
227  0x000000fb, 0x000000fb, 0x0000008f, 0x00003336,
228  0x000000fa, 0x0000008e, 0x00000082, 0x00003335,
229  0x0000008d, 0x00000081, 0x00000081, 0x00003334,
230  0x00000081, 0x00000081, 0x00003334, 0x00005555,
231  0x00000080, 0x00000080, 0x00003333, 0x00005554,
232  0x0000007f, 0x0000007f, 0x00003332, 0x00005553,
233  0x0000007e, 0x0000007e, 0x00003331, 0x00005545,
234  0x0000007d, 0x0000007d, 0x00003323, 0x000054d8,
235  0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7,
236  0x0000006e, 0x00000002, 0x000032b5, 0x000054d6,
237  0x00000001, 0x00000001, 0x000032b4, 0x00002222,
238  0x00000000, 0x00000000, 0x00000000, 0x00000000,
239  0xffffffff, 0xffffcd4c, 0xffffddde, 0xffffd558,
240  0xffffcd4b, 0xffffab2a, 0xffffb336, 0xffffd557,
241  0xffffab29, 0xffff8082, 0xffffb335, 0xffffd556,
242  0xffff8081, 0xffff8081, 0xffffb334, 0x0000d555,
243  0xffff8080, 0xffff8080, 0x0000b333, 0x0000d554,
244  0xffff807f, 0x0000807f, 0x0000b332, 0x0000aaab,
245  0x0000807e, 0x0000807e, 0x00008889, 0x00008889,
246  0x0000807d, 0x000055d5, 0x00006667, 0x000055d5,
247  0x000055d4, 0x000033b3, 0x000033b3, 0x000055d4,
248  0x000033b2, 0x000000ff, 0x000033b2, 0x000055d3,
249  0x000000fe, 0x000000fe, 0x000033b1, 0x000055d2,
250  0x000000fd, 0x000000fd, 0x000033b0, 0x00005565,
251  0x000000fc, 0x000000fc, 0x00003343, 0x00005558,
252  0x000000fb, 0x0000008f, 0x00003336, 0x00005557,
253  0x0000008e, 0x00000082, 0x00003335, 0x00005556,
254  0x00000082, 0x00003335, 0x00005556, 0x00007ffd,
255  0x00000081, 0x00003334, 0x00005555, 0x00007ffc,
256  0x00000080, 0x00003333, 0x00005554, 0x00007ffb,
257  0x0000007f, 0x00003332, 0x00005553, 0x00007fed,
258  0x0000007e, 0x00003331, 0x00005545, 0x00007f80,
259  0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f,
260  0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e,
261  0x00000002, 0x000032b5, 0x000054d6, 0x00004cca,
262  0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
263  0x00000000, 0x00000000, 0x00000000, 0x00000000,
264  0xffffcd4c, 0xffffddde, 0xffffd558, 0xffffffff,
265  0xffffab2a, 0xffffb336, 0xffffd557, 0xfffffffe,
266  0xffff8082, 0xffffb335, 0xffffd556, 0x0000fffd,
267  0xffff8081, 0xffffb334, 0x0000d555, 0x0000fffc,
268  0xffff8080, 0x0000b333, 0x0000d554, 0x0000d553,
269  0x0000807f, 0x0000b332, 0x0000aaab, 0x0000b331,
270  0x0000807e, 0x00008889, 0x00008889, 0x0000807d,
271  0x000055d5, 0x00006667, 0x000055d5, 0x0000807c,
272  0x000033b3, 0x000033b3, 0x000055d4, 0x0000807b,
273  0x000000ff, 0x000033b2, 0x000055d3, 0x0000807a,
274  0x000000fe, 0x000033b1, 0x000055d2, 0x0000800d,
275  0x000000fd, 0x000033b0, 0x00005565, 0x00008000,
276  0x000000fc, 0x00003343, 0x00005558, 0x00007fff,
277  0x0000008f, 0x00003336, 0x00005557, 0x00007ffe,
278  0x00003336, 0x00005557, 0x00007ffe, 0x00007ffe,
279  0x00003335, 0x00005556, 0x00007ffd, 0x00007ffd,
280  0x00003334, 0x00005555, 0x00007ffc, 0x00007ffc,
281  0x00003333, 0x00005554, 0x00007ffb, 0x00007fee,
282  0x00003332, 0x00005553, 0x00007fed, 0x00007f81,
283  0x00003331, 0x00005545, 0x00007f80, 0x00007f80,
284  0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f,
285  0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb,
286  0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
287  0x000032b4, 0x00002222, 0x00002aa8, 0x00000001,
288  0x00000000, 0x00000000, 0x00000000, 0x00000000,
289  0xffffddde, 0xffffd558, 0xffffffff, 0xffffffff,
290  0xffffb336, 0xffffd557, 0xfffffffe, 0x0000fffe,
291  0xffffb335, 0xffffd556, 0x0000fffd, 0x0000fffd,
292  0xffffb334, 0x0000d555, 0x0000fffc, 0x0000d554,
293  0x0000b333, 0x0000d554, 0x0000d553, 0x0000b332,
294  0x0000b332, 0x0000aaab, 0x0000b331, 0x0000807e,
295  0x00008889, 0x00008889, 0x0000807d, 0x0000807d,
296  0x00006667, 0x000055d5, 0x0000807c, 0x0000807c,
297  0x000033b3, 0x000055d4, 0x0000807b, 0x0000807b,
298  0x000033b2, 0x000055d3, 0x0000807a, 0x0000800e,
299  0x000033b1, 0x000055d2, 0x0000800d, 0x00008001,
300  0x000033b0, 0x00005565, 0x00008000, 0x00008000,
301  0x00003343, 0x00005558, 0x00007fff, 0x00007fff,
302  0x00005558, 0x00007fff, 0x00007fff, 0x00007fff,
303  0x00005557, 0x00007ffe, 0x00007ffe, 0x00007ffe,
304  0x00005556, 0x00007ffd, 0x00007ffd, 0x00007ffd,
305  0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef,
306  0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82,
307  0x00005553, 0x00007fed, 0x00007f81, 0x00007f81,
308  0x00005545, 0x00007f80, 0x00007f80, 0x00007f80,
309  0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc,
310  0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
311  0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002,
312  0x00002222, 0x00002aa8, 0x00000001, 0x00000001,
313  0x00000000, 0x00000000, 0x00000000, 0x00000000,
314  0xffffd558, 0xffffffff, 0xffffffff, 0x0000ffff,
315  0xffffd557, 0xfffffffe, 0x0000fffe, 0x0000fffe,
316  0xffffd556, 0x0000fffd, 0x0000fffd, 0x0000d555,
317  0x0000d555, 0x0000fffc, 0x0000d554, 0x0000b333,
318  0x0000d554, 0x0000d553, 0x0000b332, 0x0000807f,
319  0x0000aaab, 0x0000b331, 0x0000807e, 0x0000807e,
320  0x00008889, 0x0000807d, 0x0000807d, 0x0000807d,
321  0x000055d5, 0x0000807c, 0x0000807c, 0x0000807c,
322  0x000055d4, 0x0000807b, 0x0000807b, 0x0000800f,
323  0x000055d3, 0x0000807a, 0x0000800e, 0x00008002,
324  0x000055d2, 0x0000800d, 0x00008001, 0x00008001,
325  0x00005565, 0x00008000, 0x00008000, 0x00008000,
326  0x00008000, 0x00008000, 0x00008000, 0xffff8000,
327  0x00007fff, 0x00007fff, 0x00007fff, 0xffff7fff,
328  0x00007ffe, 0x00007ffe, 0x00007ffe, 0xffff7ffe,
329  0x00007ffd, 0x00007ffd, 0x00007ffd, 0xffff7ff0,
330  0x00007ffc, 0x00007ffc, 0x00007fef, 0xffff7f83,
331  0x00007ffb, 0x00007fee, 0x00007f82, 0xffff7f82,
332  0x00007fed, 0x00007f81, 0x00007f81, 0xffff7f81,
333  0x00007f80, 0x00007f80, 0x00007f80, 0xffff4ccd,
334  0x00007f7f, 0x00007f7f, 0x00004ccc, 0xffff2aab,
335  0x00007f7e, 0x00004ccb, 0x00002aaa, 0xffff0003,
336  0x00004cca, 0x00002aa9, 0x00000002, 0xffff0002,
337  0x00002aa8, 0x00000001, 0x00000001, 0xffff0001,
338  0x00000000, 0x00000000, 0x00000000, 0x00000000,
339  0xffffffff, 0xffffffff, 0x0000ffff, 0xffffffff,
340  0xfffffffe, 0x0000fffe, 0x0000fffe, 0xffffd556,
341  0x0000fffd, 0x0000fffd, 0x0000d555, 0xffffb334,
342  0x0000fffc, 0x0000d554, 0x0000b333, 0xffff8080,
343  0x0000d553, 0x0000b332, 0x0000807f, 0xffff807f,
344  0x0000b331, 0x0000807e, 0x0000807e, 0xffff807e,
345  0x0000807d, 0x0000807d, 0x0000807d, 0xffff807d,
346  0x0000807c, 0x0000807c, 0x0000807c, 0xffff8010,
347  0x0000807b, 0x0000807b, 0x0000800f, 0xffff8003,
348  0x0000807a, 0x0000800e, 0x00008002, 0xffff8002,
349  0x0000800d, 0x00008001, 0x00008001, 0xffff8001,
350  0x00008001, 0x00008001, 0xffff8001, 0xffff8001,
351  0x00008000, 0x00008000, 0xffff8000, 0xffff8000,
352  0x00007fff, 0x00007fff, 0xffff7fff, 0xffff7fff,
353  0x00007ffe, 0x00007ffe, 0xffff7ffe, 0xffff7ff1,
354  0x00007ffd, 0x00007ffd, 0xffff7ff0, 0xffff7f84,
355  0x00007ffc, 0x00007fef, 0xffff7f83, 0xffff7f83,
356  0x00007fee, 0x00007f82, 0xffff7f82, 0xffff7f82,
357  0x00007f81, 0x00007f81, 0xffff7f81, 0xffff4cce,
358  0x00007f80, 0x00007f80, 0xffff4ccd, 0xffff2aac,
359  0x00007f7f, 0x00004ccc, 0xffff2aab, 0xffff0004,
360  0x00004ccb, 0x00002aaa, 0xffff0003, 0xffff0003,
361  0x00002aa9, 0x00000002, 0xffff0002, 0xffff0002,
362  0x00000001, 0x00000001, 0xffff0001, 0x00000001,
363  0x00000000, 0x00000000, 0x00000000, 0x00000000,
364  0xffffffff, 0x0000ffff, 0xffffffff, 0xffffd557,
365  0x0000fffe, 0x0000fffe, 0xffffd556, 0xffffb335,
366  0x0000fffd, 0x0000d555, 0xffffb334, 0xffff8081,
367  0x0000d554, 0x0000b333, 0xffff8080, 0xffff8080,
368  0x0000b332, 0x0000807f, 0xffff807f, 0xffff807f,
369  0x0000807e, 0x0000807e, 0xffff807e, 0xffff807e,
370  0x0000807d, 0x0000807d, 0xffff807d, 0xffff8011,
371  0x0000807c, 0x0000807c, 0xffff8010, 0xffff8004,
372  0x0000807b, 0x0000800f, 0xffff8003, 0xffff8003,
373  0x0000800e, 0x00008002, 0xffff8002, 0xffff8002,
374  0x00008002, 0xffff8002, 0xffff8002, 0xffffaaaa,
375  0x00008001, 0xffff8001, 0xffff8001, 0xffffaaa9,
376  0x00008000, 0xffff8000, 0xffff8000, 0xffffaaa8,
377  0x00007fff, 0xffff7fff, 0xffff7fff, 0xffffaa9a,
378  0x00007ffe, 0xffff7ffe, 0xffff7ff1, 0xffffaa2d,
379  0x00007ffd, 0xffff7ff0, 0xffff7f84, 0xffffaa2c,
380  0x00007fef, 0xffff7f83, 0xffff7f83, 0xffffaa2b,
381  0x00007f82, 0xffff7f82, 0xffff7f82, 0xffff7777,
382  0x00007f81, 0xffff7f81, 0xffff4cce, 0xffff5555,
383  0x00007f80, 0xffff4ccd, 0xffff2aac, 0xffff2aad,
384  0x00004ccc, 0xffff2aab, 0xffff0004, 0xffff2aac,
385  0x00002aaa, 0xffff0003, 0xffff0003, 0xffff2aab,
386  0x00000002, 0xffff0002, 0xffff0002, 0x00002aaa,
387  0x00000001, 0xffff0001, 0x00000001, 0x00002aa9,
388  0x00000000, 0x00000000, 0x00000000, 0x00000000,
389  0x0000ffff, 0xffffffff, 0xffffd557, 0xffffddde,
390  0x0000fffe, 0xffffd556, 0xffffb335, 0xffffab2a,
391  0x0000d555, 0xffffb334, 0xffff8081, 0xffffab29,
392  0x0000b333, 0xffff8080, 0xffff8080, 0xffffab28,
393  0x0000807f, 0xffff807f, 0xffff807f, 0xffffab27,
394  0x0000807e, 0xffff807e, 0xffff807e, 0xffffaaba,
395  0x0000807d, 0xffff807d, 0xffff8011, 0xffffaaad,
396  0x0000807c, 0xffff8010, 0xffff8004, 0xffffaaac,
397  0x0000800f, 0xffff8003, 0xffff8003, 0xffffaaab,
398  0xffff8003, 0xffff8003, 0xffffaaab, 0xffffcccc,
399  0xffff8002, 0xffff8002, 0xffffaaaa, 0xffffcccb,
400  0xffff8001, 0xffff8001, 0xffffaaa9, 0xffffccca,
401  0xffff8000, 0xffff8000, 0xffffaaa8, 0xffffccbc,
402  0xffff7fff, 0xffff7fff, 0xffffaa9a, 0xffffcc4f,
403  0xffff7ffe, 0xffff7ff1, 0xffffaa2d, 0xffffcc4e,
404  0xffff7ff0, 0xffff7f84, 0xffffaa2c, 0xffffcc4d,
405  0xffff7f83, 0xffff7f83, 0xffffaa2b, 0xffff9999,
406  0xffff7f82, 0xffff7f82, 0xffff7777, 0xffff7777,
407  0xffff7f81, 0xffff4cce, 0xffff5555, 0xffff4ccf,
408  0xffff4ccd, 0xffff2aac, 0xffff2aad, 0xffff4cce,
409  0xffff2aab, 0xffff0004, 0xffff2aac, 0xffff4ccd,
410  0xffff0003, 0xffff0003, 0xffff2aab, 0x00004ccc,
411  0xffff0002, 0xffff0002, 0x00002aaa, 0x00004ccb,
412  0xffff0001, 0x00000001, 0x00002aa9, 0x00002222,
413  0x00000000, 0x00000000, 0x00000000, 0x00000000,
414  0xffffffff, 0xffffd557, 0xffffddde, 0xffffcd4c,
415  0xffffd556, 0xffffb335, 0xffffab2a, 0xffffcd4b,
416  0xffffb334, 0xffff8081, 0xffffab29, 0xffffcd4a,
417  0xffff8080, 0xffff8080, 0xffffab28, 0xffffcd49,
418  0xffff807f, 0xffff807f, 0xffffab27, 0xffffccdc,
419  0xffff807e, 0xffff807e, 0xffffaaba, 0xffffcccf,
420  0xffff807d, 0xffff8011, 0xffffaaad, 0xffffccce,
421  0xffff8010, 0xffff8004, 0xffffaaac, 0xffffcccd,
422  0xffff8004, 0xffffaaac, 0xffffcccd, 0xffffff80,
423  0xffff8003, 0xffffaaab, 0xffffcccc, 0xffffff7f,
424  0xffff8002, 0xffffaaaa, 0xffffcccb, 0xffffff7e,
425  0xffff8001, 0xffffaaa9, 0xffffccca, 0xffffff70,
426  0xffff8000, 0xffffaaa8, 0xffffccbc, 0xffffff03,
427  0xffff7fff, 0xffffaa9a, 0xffffcc4f, 0xffffff02,
428  0xffff7ff1, 0xffffaa2d, 0xffffcc4e, 0xffffff01,
429  0xffff7f84, 0xffffaa2c, 0xffffcc4d, 0xffffcc4d,
430  0xffff7f83, 0xffffaa2b, 0xffff9999, 0xffffaa2b,
431  0xffff7f82, 0xffff7777, 0xffff7777, 0xffff7f83,
432  0xffff4cce, 0xffff5555, 0xffff4ccf, 0xffff7f82,
433  0xffff2aac, 0xffff2aad, 0xffff4cce, 0xffff7f81,
434  0xffff0004, 0xffff2aac, 0xffff4ccd, 0x00007f80,
435  0xffff0003, 0xffff2aab, 0x00004ccc, 0x00007f7f,
436  0xffff0002, 0x00002aaa, 0x00004ccb, 0x000054d6,
437  0x00000001, 0x00002aa9, 0x00002222, 0x000032b4,
438  0x00000000, 0x00000000, 0x00000000, 0x00000000,
439  0xffffd557, 0xffffddde, 0xffffcd4c, 0xffffffff,
440  0xffffb335, 0xffffab2a, 0xffffcd4b, 0xfffffffe,
441  0xffff8081, 0xffffab29, 0xffffcd4a, 0xfffffffd,
442  0xffff8080, 0xffffab28, 0xffffcd49, 0xffffff90,
443  0xffff807f, 0xffffab27, 0xffffccdc, 0xffffff83,
444  0xffff807e, 0xffffaaba, 0xffffcccf, 0xffffff82,
445  0xffff8011, 0xffffaaad, 0xffffccce, 0xffffff81,
446  0xffffaaad, 0xffffccce, 0xffffff81, 0xffffff81,
447  0xffffaaac, 0xffffcccd, 0xffffff80, 0xffffff80,
448  0xffffaaab, 0xffffcccc, 0xffffff7f, 0xffffff7f,
449  0xffffaaaa, 0xffffcccb, 0xffffff7e, 0xffffff71,
450  0xffffaaa9, 0xffffccca, 0xffffff70, 0xffffff04,
451  0xffffaaa8, 0xffffccbc, 0xffffff03, 0xffffff03,
452  0xffffaa9a, 0xffffcc4f, 0xffffff02, 0xffffff02,
453  0xffffaa2d, 0xffffcc4e, 0xffffff01, 0xffffcc4e,
454  0xffffaa2c, 0xffffcc4d, 0xffffcc4d, 0xffffaa2c,
455  0xffffaa2b, 0xffff9999, 0xffffaa2b, 0xffff7f84,
456  0xffff7777, 0xffff7777, 0xffff7f83, 0xffff7f83,
457  0xffff5555, 0xffff4ccf, 0xffff7f82, 0xffff7f82,
458  0xffff2aad, 0xffff4cce, 0xffff7f81, 0x00007f81,
459  0xffff2aac, 0xffff4ccd, 0x00007f80, 0x00007f80,
460  0xffff2aab, 0x00004ccc, 0x00007f7f, 0x000054d7,
461  0x00002aaa, 0x00004ccb, 0x000054d6, 0x000032b5,
462  0x00002aa9, 0x00002222, 0x000032b4, 0x00000001,
463  0x00000000, 0x00000000, 0x00000000, 0x00000000,
464  0xffffddde, 0xffffcd4c, 0xffffffff, 0xffffffff,
465  0xffffab2a, 0xffffcd4b, 0xfffffffe, 0xfffffffe,
466  0xffffab29, 0xffffcd4a, 0xfffffffd, 0xffffff91,
467  0xffffab28, 0xffffcd49, 0xffffff90, 0xffffff84,
468  0xffffab27, 0xffffccdc, 0xffffff83, 0xffffff83,
469  0xffffaaba, 0xffffcccf, 0xffffff82, 0xffffff82,
470  0xffffcccf, 0xffffff82, 0xffffff82, 0xffffff82,
471  0xffffccce, 0xffffff81, 0xffffff81, 0xffffff81,
472  0xffffcccd, 0xffffff80, 0xffffff80, 0xffffff80,
473  0xffffcccc, 0xffffff7f, 0xffffff7f, 0xffffff72,
474  0xffffcccb, 0xffffff7e, 0xffffff71, 0xffffff05,
475  0xffffccca, 0xffffff70, 0xffffff04, 0xffffff04,
476  0xffffccbc, 0xffffff03, 0xffffff03, 0xffffff03,
477  0xffffcc4f, 0xffffff02, 0xffffff02, 0xffffcc4f,
478  0xffffcc4e, 0xffffff01, 0xffffcc4e, 0xffffaa2d,
479  0xffffcc4d, 0xffffcc4d, 0xffffaa2c, 0xffff7f85,
480  0xffff9999, 0xffffaa2b, 0xffff7f84, 0xffff7f84,
481  0xffff7777, 0xffff7f83, 0xffff7f83, 0xffff7f83,
482  0xffff4ccf, 0xffff7f82, 0xffff7f82, 0x00007f82,
483  0xffff4cce, 0xffff7f81, 0x00007f81, 0x00007f81,
484  0xffff4ccd, 0x00007f80, 0x00007f80, 0x000054d8,
485  0x00004ccc, 0x00007f7f, 0x000054d7, 0x000032b6,
486  0x00004ccb, 0x000054d6, 0x000032b5, 0x00000002,
487  0x00002222, 0x000032b4, 0x00000001, 0x00000001,
488  0x00000000, 0x00000000, 0x00000000, 0x00000000,
489  0xffffcd4c, 0xffffffff, 0xffffffff, 0xffffffff,
490  0xffffcd4b, 0xfffffffe, 0xfffffffe, 0xffffff92,
491  0xffffcd4a, 0xfffffffd, 0xffffff91, 0xffffff85,
492  0xffffcd49, 0xffffff90, 0xffffff84, 0xffffff84,
493  0xffffccdc, 0xffffff83, 0xffffff83, 0xffffff83,
494  0xffffff83, 0xffffff83, 0xffffff83, 0xffffff83,
495  0xffffff82, 0xffffff82, 0xffffff82, 0xffffff82,
496  0xffffff81, 0xffffff81, 0xffffff81, 0xffffff81,
497  0xffffff80, 0xffffff80, 0xffffff80, 0xffffff73,
498  0xffffff7f, 0xffffff7f, 0xffffff72, 0xffffff06,
499  0xffffff7e, 0xffffff71, 0xffffff05, 0xffffff05,
500  0xffffff70, 0xffffff04, 0xffffff04, 0xffffff04,
501  0xffffff03, 0xffffff03, 0xffffff03, 0xffffcc50,
502  0xffffff02, 0xffffff02, 0xffffcc4f, 0xffffaa2e,
503  0xffffff01, 0xffffcc4e, 0xffffaa2d, 0xffff7f86,
504  0xffffcc4d, 0xffffaa2c, 0xffff7f85, 0xffff7f85,
505  0xffffaa2b, 0xffff7f84, 0xffff7f84, 0xffff7f84,
506  0xffff7f83, 0xffff7f83, 0xffff7f83, 0x00007f83,
507  0xffff7f82, 0xffff7f82, 0x00007f82, 0x00007f82,
508  0xffff7f81, 0x00007f81, 0x00007f81, 0x000054d9,
509  0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7,
510  0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003,
511  0x000054d6, 0x000032b5, 0x00000002, 0x00000002,
512  0x000032b4, 0x00000001, 0x00000001, 0x00000001,
513  0x00000000, 0x00000000, 0x00000000, 0x00000000,
514  0xffffffff, 0xffffffff, 0xffffffff, 0xffffff93,
515  0xfffffffe, 0xfffffffe, 0xffffff92, 0xffffff86,
516  0xfffffffd, 0xffffff91, 0xffffff85, 0xffffff85,
517  0xffffff90, 0xffffff84, 0xffffff84, 0xffffff84,
518  0xffffff84, 0xffffff84, 0xffffff84, 0xfffffff0,
519  0xffffff83, 0xffffff83, 0xffffff83, 0xffffffef,
520  0xffffff82, 0xffffff82, 0xffffff82, 0xffffffee,
521  0xffffff81, 0xffffff81, 0xffffff81, 0xffffffe0,
522  0xffffff80, 0xffffff80, 0xffffff73, 0xffffff73,
523  0xffffff7f, 0xffffff72, 0xffffff06, 0xffffff72,
524  0xffffff71, 0xffffff05, 0xffffff05, 0xffffff71,
525  0xffffff04, 0xffffff04, 0xffffff04, 0xffffccbd,
526  0xffffff03, 0xffffff03, 0xffffcc50, 0xffffaa9b,
527  0xffffff02, 0xffffcc4f, 0xffffaa2e, 0xffff7ff3,
528  0xffffcc4e, 0xffffaa2d, 0xffff7f86, 0xffff7ff2,
529  0xffffaa2c, 0xffff7f85, 0xffff7f85, 0xffff7ff1,
530  0xffff7f84, 0xffff7f84, 0xffff7f84, 0x00007ff0,
531  0xffff7f83, 0xffff7f83, 0x00007f83, 0x00007fef,
532  0xffff7f82, 0x00007f82, 0x00007f82, 0x00005546,
533  0x00007f81, 0x00007f81, 0x000054d9, 0x00003324,
534  0x00007f80, 0x000054d8, 0x000032b7, 0x00000070,
535  0x000054d7, 0x000032b6, 0x00000003, 0x0000006f,
536  0x000032b5, 0x00000002, 0x00000002, 0x0000006e,
537  0x00000001, 0x00000001, 0x00000001, 0x0000006d,
538  0x00000000, 0x00000000, 0x00000000, 0x00000000,
539  0xffffffff, 0xffffffff, 0xffffff93, 0xfffffff3,
540  0xfffffffe, 0xffffff92, 0xffffff86, 0xfffffff2,
541  0xffffff91, 0xffffff85, 0xffffff85, 0xfffffff1,
542  0xffffff85, 0xffffff85, 0xfffffff1, 0xfffffffd,
543  0xffffff84, 0xffffff84, 0xfffffff0, 0xfffffffc,
544  0xffffff83, 0xffffff83, 0xffffffef, 0xfffffffb,
545  0xffffff82, 0xffffff82, 0xffffffee, 0xffffffed,
546  0xffffff81, 0xffffff81, 0xffffffe0, 0xffffff80,
547  0xffffff80, 0xffffff73, 0xffffff73, 0xffffff7f,
548  0xffffff72, 0xffffff06, 0xffffff72, 0xffffff7e,
549  0xffffff05, 0xffffff05, 0xffffff71, 0xffffccca,
550  0xffffff04, 0xffffff04, 0xffffccbd, 0xffffaaa8,
551  0xffffff03, 0xffffcc50, 0xffffaa9b, 0xffff8000,
552  0xffffcc4f, 0xffffaa2e, 0xffff7ff3, 0xffff7fff,
553  0xffffaa2d, 0xffff7f86, 0xffff7ff2, 0xffff7ffe,
554  0xffff7f85, 0xffff7f85, 0xffff7ff1, 0x00007ffd,
555  0xffff7f84, 0xffff7f84, 0x00007ff0, 0x00007ffc,
556  0xffff7f83, 0x00007f83, 0x00007fef, 0x00005553,
557  0x00007f82, 0x00007f82, 0x00005546, 0x00003331,
558  0x00007f81, 0x000054d9, 0x00003324, 0x0000007d,
559  0x000054d8, 0x000032b7, 0x00000070, 0x0000007c,
560  0x000032b6, 0x00000003, 0x0000006f, 0x0000007b,
561  0x00000002, 0x00000002, 0x0000006e, 0x0000007a,
562  0x00000001, 0x00000001, 0x0000006d, 0x0000000d,
563  0x00000000, 0x00000000, 0x00000000, 0x00000000,
564  0xffffffff, 0xffffff93, 0xfffffff3, 0xffffffff,
565  0xffffff92, 0xffffff86, 0xfffffff2, 0xfffffffe,
566  0xffffff86, 0xfffffff2, 0xfffffffe, 0xfffffffe,
567  0xffffff85, 0xfffffff1, 0xfffffffd, 0xfffffffd,
568  0xffffff84, 0xfffffff0, 0xfffffffc, 0xfffffffc,
569  0xffffff83, 0xffffffef, 0xfffffffb, 0xffffffee,
570  0xffffff82, 0xffffffee, 0xffffffed, 0xffffff81,
571  0xffffff81, 0xffffffe0, 0xffffff80, 0xffffff80,
572  0xffffff73, 0xffffff73, 0xffffff7f, 0xffffff7f,
573  0xffffff06, 0xffffff72, 0xffffff7e, 0xffffcccb,
574  0xffffff05, 0xffffff71, 0xffffccca, 0xffffaaa9,
575  0xffffff04, 0xffffccbd, 0xffffaaa8, 0xffff8001,
576  0xffffcc50, 0xffffaa9b, 0xffff8000, 0xffff8000,
577  0xffffaa2e, 0xffff7ff3, 0xffff7fff, 0xffff7fff,
578  0xffff7f86, 0xffff7ff2, 0xffff7ffe, 0x00007ffe,
579  0xffff7f85, 0xffff7ff1, 0x00007ffd, 0x00007ffd,
580  0xffff7f84, 0x00007ff0, 0x00007ffc, 0x00005554,
581  0x00007f83, 0x00007fef, 0x00005553, 0x00003332,
582  0x00007f82, 0x00005546, 0x00003331, 0x0000007e,
583  0x000054d9, 0x00003324, 0x0000007d, 0x0000007d,
584  0x000032b7, 0x00000070, 0x0000007c, 0x0000007c,
585  0x00000003, 0x0000006f, 0x0000007b, 0x0000007b,
586  0x00000002, 0x0000006e, 0x0000007a, 0x0000000e,
587  0x00000001, 0x0000006d, 0x0000000d, 0x00000001,
588  0x00000000, 0x00000000, 0x00000000, 0x00000000,
589  0xffffff93, 0xfffffff3, 0xffffffff, 0xffffffff,
590  0xfffffff3, 0xffffffff, 0xffffffff, 0xffffffff,
591  0xfffffff2, 0xfffffffe, 0xfffffffe, 0xfffffffe,
592  0xfffffff1, 0xfffffffd, 0xfffffffd, 0xfffffffd,
593  0xfffffff0, 0xfffffffc, 0xfffffffc, 0xffffffef,
594  0xffffffef, 0xfffffffb, 0xffffffee, 0xffffff82,
595  0xffffffee, 0xffffffed, 0xffffff81, 0xffffff81,
596  0xffffffe0, 0xffffff80, 0xffffff80, 0xffffff80,
597  0xffffff73, 0xffffff7f, 0xffffff7f, 0xffffcccc,
598  0xffffff72, 0xffffff7e, 0xffffcccb, 0xffffaaaa,
599  0xffffff71, 0xffffccca, 0xffffaaa9, 0xffff8002,
600  0xffffccbd, 0xffffaaa8, 0xffff8001, 0xffff8001,
601  0xffffaa9b, 0xffff8000, 0xffff8000, 0xffff8000,
602  0xffff7ff3, 0xffff7fff, 0xffff7fff, 0x00007fff,
603  0xffff7ff2, 0xffff7ffe, 0x00007ffe, 0x00007ffe,
604  0xffff7ff1, 0x00007ffd, 0x00007ffd, 0x00005555,
605  0x00007ff0, 0x00007ffc, 0x00005554, 0x00003333,
606  0x00007fef, 0x00005553, 0x00003332, 0x0000007f,
607  0x00005546, 0x00003331, 0x0000007e, 0x0000007e,
608  0x00003324, 0x0000007d, 0x0000007d, 0x0000007d,
609  0x00000070, 0x0000007c, 0x0000007c, 0x0000007c,
610  0x0000006f, 0x0000007b, 0x0000007b, 0x0000000f,
611  0x0000006e, 0x0000007a, 0x0000000e, 0x00000002,
612  0x0000006d, 0x0000000d, 0x00000001, 0x00000001,
613  0x00000000, 0x00000000, 0x00000000, 0x00000000,
614};
615const unsigned kExpectedCount_NEON_ssubl2_4S = 576;
616
617#endif  // VIXL_SIM_SSUBL2_4S_TRACE_AARCH64_H_
618