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_USUBL2_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_USUBL2_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_usubl2_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, 0xffff8000,
51  0xffffffff, 0xffffffff, 0xffffffff, 0xffff7fff,
52  0xfffffffe, 0xfffffffe, 0xfffffffe, 0xffff5556,
53  0xfffffffd, 0xfffffffd, 0xffffd555, 0xffff3334,
54  0xfffffffc, 0xffffd554, 0xffffb333, 0xffff0080,
55  0xffffd553, 0xffffb332, 0xffff807f, 0xffff007f,
56  0xffffb331, 0xffff807e, 0xffff807e, 0xffff007e,
57  0xffff807d, 0xffff807d, 0xffff807d, 0xffff007d,
58  0xffff807c, 0xffff807c, 0xffff807c, 0xffff0010,
59  0xffff807b, 0xffff807b, 0xffff800f, 0xffff0003,
60  0xffff807a, 0xffff800e, 0xffff8002, 0xffff0002,
61  0xffff800d, 0xffff8001, 0xffff8001, 0xffff0001,
62  0xffff8001, 0xffff8001, 0xffff0001, 0x00000001,
63  0xffff8000, 0xffff8000, 0x00000000, 0x00000000,
64  0xffff7fff, 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, 0xffff8001,
75  0x00000000, 0x00000000, 0xffff8000, 0xffff8000,
76  0xffffffff, 0xffffffff, 0xffff7fff, 0xffff5557,
77  0xfffffffe, 0xfffffffe, 0xffff5556, 0xffff3335,
78  0xfffffffd, 0xffffd555, 0xffff3334, 0xffff0081,
79  0xffffd554, 0xffffb333, 0xffff0080, 0xffff0080,
80  0xffffb332, 0xffff807f, 0xffff007f, 0xffff007f,
81  0xffff807e, 0xffff807e, 0xffff007e, 0xffff007e,
82  0xffff807d, 0xffff807d, 0xffff007d, 0xffff0011,
83  0xffff807c, 0xffff807c, 0xffff0010, 0xffff0004,
84  0xffff807b, 0xffff800f, 0xffff0003, 0xffff0003,
85  0xffff800e, 0xffff8002, 0xffff0002, 0xffff0002,
86  0xffff8002, 0xffff0002, 0xffff0002, 0x00000002,
87  0xffff8001, 0xffff0001, 0x00000001, 0x00000001,
88  0xffff8000, 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, 0xffff8002,
99  0x00000001, 0xffff8001, 0xffff8001, 0xffff8001,
100  0x00000000, 0xffff8000, 0xffff8000, 0xffff5558,
101  0xffffffff, 0xffff7fff, 0xffff5557, 0xffff3336,
102  0xfffffffe, 0xffff5556, 0xffff3335, 0xffff0082,
103  0xffffd555, 0xffff3334, 0xffff0081, 0xffff0081,
104  0xffffb333, 0xffff0080, 0xffff0080, 0xffff0080,
105  0xffff807f, 0xffff007f, 0xffff007f, 0xffff007f,
106  0xffff807e, 0xffff007e, 0xffff007e, 0xffff0012,
107  0xffff807d, 0xffff007d, 0xffff0011, 0xffff0005,
108  0xffff807c, 0xffff0010, 0xffff0004, 0xffff0004,
109  0xffff800f, 0xffff0003, 0xffff0003, 0xffff0003,
110  0xffff0003, 0xffff0003, 0xffff0003, 0x00000010,
111  0xffff0002, 0xffff0002, 0x00000002, 0x0000000f,
112  0xffff0001, 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, 0xffff8010,
123  0xffff8002, 0xffff8002, 0xffff8002, 0xffff800f,
124  0xffff8001, 0xffff8001, 0xffff8001, 0xffff5566,
125  0xffff8000, 0xffff8000, 0xffff5558, 0xffff3344,
126  0xffff7fff, 0xffff5557, 0xffff3336, 0xffff0090,
127  0xffff5556, 0xffff3335, 0xffff0082, 0xffff008f,
128  0xffff3334, 0xffff0081, 0xffff0081, 0xffff008e,
129  0xffff0080, 0xffff0080, 0xffff0080, 0xffff008d,
130  0xffff007f, 0xffff007f, 0xffff007f, 0xffff0020,
131  0xffff007e, 0xffff007e, 0xffff0012, 0xffff0013,
132  0xffff007d, 0xffff0011, 0xffff0005, 0xffff0012,
133  0xffff0010, 0xffff0004, 0xffff0004, 0xffff0011,
134  0xffff0004, 0xffff0004, 0xffff0011, 0x0000007d,
135  0xffff0003, 0xffff0003, 0x00000010, 0x0000007c,
136  0xffff0002, 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, 0xffff807d,
147  0xffff8003, 0xffff8003, 0xffff8010, 0xffff807c,
148  0xffff8002, 0xffff8002, 0xffff800f, 0xffff55d3,
149  0xffff8001, 0xffff8001, 0xffff5566, 0xffff33b1,
150  0xffff8000, 0xffff5558, 0xffff3344, 0xffff00fd,
151  0xffff5557, 0xffff3336, 0xffff0090, 0xffff00fc,
152  0xffff3335, 0xffff0082, 0xffff008f, 0xffff00fb,
153  0xffff0081, 0xffff0081, 0xffff008e, 0xffff00fa,
154  0xffff0080, 0xffff0080, 0xffff008d, 0xffff008d,
155  0xffff007f, 0xffff007f, 0xffff0020, 0xffff0080,
156  0xffff007e, 0xffff0012, 0xffff0013, 0xffff007f,
157  0xffff0011, 0xffff0005, 0xffff0012, 0xffff007e,
158  0xffff0005, 0xffff0012, 0xffff007e, 0x0000007e,
159  0xffff0004, 0xffff0011, 0x0000007d, 0x0000007d,
160  0xffff0003, 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, 0xffff807e,
171  0xffff8004, 0xffff8011, 0xffff807d, 0xffff807d,
172  0xffff8003, 0xffff8010, 0xffff807c, 0xffff55d4,
173  0xffff8002, 0xffff800f, 0xffff55d3, 0xffff33b2,
174  0xffff8001, 0xffff5566, 0xffff33b1, 0xffff00fe,
175  0xffff5558, 0xffff3344, 0xffff00fd, 0xffff00fd,
176  0xffff3336, 0xffff0090, 0xffff00fc, 0xffff00fc,
177  0xffff0082, 0xffff008f, 0xffff00fb, 0xffff00fb,
178  0xffff0081, 0xffff008e, 0xffff00fa, 0xffff008e,
179  0xffff0080, 0xffff008d, 0xffff008d, 0xffff0081,
180  0xffff007f, 0xffff0020, 0xffff0080, 0xffff0080,
181  0xffff0012, 0xffff0013, 0xffff007f, 0xffff007f,
182  0xffff0013, 0xffff007f, 0xffff007f, 0x0000007f,
183  0xffff0012, 0xffff007e, 0x0000007e, 0x0000007e,
184  0xffff0011, 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, 0xffff807f,
195  0xffff8012, 0xffff807e, 0xffff807e, 0xffff807e,
196  0xffff8011, 0xffff807d, 0xffff807d, 0xffff55d5,
197  0xffff8010, 0xffff807c, 0xffff55d4, 0xffff33b3,
198  0xffff800f, 0xffff55d3, 0xffff33b2, 0xffff00ff,
199  0xffff5566, 0xffff33b1, 0xffff00fe, 0xffff00fe,
200  0xffff3344, 0xffff00fd, 0xffff00fd, 0xffff00fd,
201  0xffff0090, 0xffff00fc, 0xffff00fc, 0xffff00fc,
202  0xffff008f, 0xffff00fb, 0xffff00fb, 0xffff008f,
203  0xffff008e, 0xffff00fa, 0xffff008e, 0xffff0082,
204  0xffff008d, 0xffff008d, 0xffff0081, 0xffff0081,
205  0xffff0020, 0xffff0080, 0xffff0080, 0xffff0080,
206  0xffff0080, 0xffff0080, 0xffff0080, 0x00003333,
207  0xffff007f, 0xffff007f, 0x0000007f, 0x00003332,
208  0xffff007e, 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, 0xffffb333,
219  0xffff807f, 0xffff807f, 0xffff807f, 0xffffb332,
220  0xffff807e, 0xffff807e, 0xffff807e, 0xffff8889,
221  0xffff807d, 0xffff807d, 0xffff55d5, 0xffff6667,
222  0xffff807c, 0xffff55d4, 0xffff33b3, 0xffff33b3,
223  0xffff55d3, 0xffff33b2, 0xffff00ff, 0xffff33b2,
224  0xffff33b1, 0xffff00fe, 0xffff00fe, 0xffff33b1,
225  0xffff00fd, 0xffff00fd, 0xffff00fd, 0xffff33b0,
226  0xffff00fc, 0xffff00fc, 0xffff00fc, 0xffff3343,
227  0xffff00fb, 0xffff00fb, 0xffff008f, 0xffff3336,
228  0xffff00fa, 0xffff008e, 0xffff0082, 0xffff3335,
229  0xffff008d, 0xffff0081, 0xffff0081, 0xffff3334,
230  0xffff0081, 0xffff0081, 0xffff3334, 0x00005555,
231  0xffff0080, 0xffff0080, 0x00003333, 0x00005554,
232  0xffff007f, 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, 0xffffd555,
243  0xffff8080, 0xffff8080, 0xffffb333, 0xffffd554,
244  0xffff807f, 0xffff807f, 0xffffb332, 0xffffaaab,
245  0xffff807e, 0xffff807e, 0xffff8889, 0xffff8889,
246  0xffff807d, 0xffff55d5, 0xffff6667, 0xffff55d5,
247  0xffff55d4, 0xffff33b3, 0xffff33b3, 0xffff55d4,
248  0xffff33b2, 0xffff00ff, 0xffff33b2, 0xffff55d3,
249  0xffff00fe, 0xffff00fe, 0xffff33b1, 0xffff55d2,
250  0xffff00fd, 0xffff00fd, 0xffff33b0, 0xffff5565,
251  0xffff00fc, 0xffff00fc, 0xffff3343, 0xffff5558,
252  0xffff00fb, 0xffff008f, 0xffff3336, 0xffff5557,
253  0xffff008e, 0xffff0082, 0xffff3335, 0xffff5556,
254  0xffff0082, 0xffff3335, 0xffff5556, 0x00007ffd,
255  0xffff0081, 0xffff3334, 0x00005555, 0x00007ffc,
256  0xffff0080, 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, 0xfffffffd,
267  0xffff8081, 0xffffb334, 0xffffd555, 0xfffffffc,
268  0xffff8080, 0xffffb333, 0xffffd554, 0xffffd553,
269  0xffff807f, 0xffffb332, 0xffffaaab, 0xffffb331,
270  0xffff807e, 0xffff8889, 0xffff8889, 0xffff807d,
271  0xffff55d5, 0xffff6667, 0xffff55d5, 0xffff807c,
272  0xffff33b3, 0xffff33b3, 0xffff55d4, 0xffff807b,
273  0xffff00ff, 0xffff33b2, 0xffff55d3, 0xffff807a,
274  0xffff00fe, 0xffff33b1, 0xffff55d2, 0xffff800d,
275  0xffff00fd, 0xffff33b0, 0xffff5565, 0xffff8000,
276  0xffff00fc, 0xffff3343, 0xffff5558, 0xffff7fff,
277  0xffff008f, 0xffff3336, 0xffff5557, 0xffff7ffe,
278  0xffff3336, 0xffff5557, 0xffff7ffe, 0x00007ffe,
279  0xffff3335, 0xffff5556, 0x00007ffd, 0x00007ffd,
280  0xffff3334, 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, 0xfffffffe,
291  0xffffb335, 0xffffd556, 0xfffffffd, 0xfffffffd,
292  0xffffb334, 0xffffd555, 0xfffffffc, 0xffffd554,
293  0xffffb333, 0xffffd554, 0xffffd553, 0xffffb332,
294  0xffffb332, 0xffffaaab, 0xffffb331, 0xffff807e,
295  0xffff8889, 0xffff8889, 0xffff807d, 0xffff807d,
296  0xffff6667, 0xffff55d5, 0xffff807c, 0xffff807c,
297  0xffff33b3, 0xffff55d4, 0xffff807b, 0xffff807b,
298  0xffff33b2, 0xffff55d3, 0xffff807a, 0xffff800e,
299  0xffff33b1, 0xffff55d2, 0xffff800d, 0xffff8001,
300  0xffff33b0, 0xffff5565, 0xffff8000, 0xffff8000,
301  0xffff3343, 0xffff5558, 0xffff7fff, 0xffff7fff,
302  0xffff5558, 0xffff7fff, 0xffff7fff, 0x00007fff,
303  0xffff5557, 0xffff7ffe, 0x00007ffe, 0x00007ffe,
304  0xffff5556, 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, 0xffffffff,
315  0xffffd557, 0xfffffffe, 0xfffffffe, 0xfffffffe,
316  0xffffd556, 0xfffffffd, 0xfffffffd, 0xffffd555,
317  0xffffd555, 0xfffffffc, 0xffffd554, 0xffffb333,
318  0xffffd554, 0xffffd553, 0xffffb332, 0xffff807f,
319  0xffffaaab, 0xffffb331, 0xffff807e, 0xffff807e,
320  0xffff8889, 0xffff807d, 0xffff807d, 0xffff807d,
321  0xffff55d5, 0xffff807c, 0xffff807c, 0xffff807c,
322  0xffff55d4, 0xffff807b, 0xffff807b, 0xffff800f,
323  0xffff55d3, 0xffff807a, 0xffff800e, 0xffff8002,
324  0xffff55d2, 0xffff800d, 0xffff8001, 0xffff8001,
325  0xffff5565, 0xffff8000, 0xffff8000, 0xffff8000,
326  0xffff8000, 0xffff8000, 0xffff8000, 0x00008000,
327  0xffff7fff, 0xffff7fff, 0x00007fff, 0x00007fff,
328  0xffff7ffe, 0x00007ffe, 0x00007ffe, 0x00007ffe,
329  0x00007ffd, 0x00007ffd, 0x00007ffd, 0x00007ff0,
330  0x00007ffc, 0x00007ffc, 0x00007fef, 0x00007f83,
331  0x00007ffb, 0x00007fee, 0x00007f82, 0x00007f82,
332  0x00007fed, 0x00007f81, 0x00007f81, 0x00007f81,
333  0x00007f80, 0x00007f80, 0x00007f80, 0x00004ccd,
334  0x00007f7f, 0x00007f7f, 0x00004ccc, 0x00002aab,
335  0x00007f7e, 0x00004ccb, 0x00002aaa, 0x00000003,
336  0x00004cca, 0x00002aa9, 0x00000002, 0x00000002,
337  0x00002aa8, 0x00000001, 0x00000001, 0x00000001,
338  0x00000000, 0x00000000, 0x00000000, 0x00000000,
339  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
340  0xfffffffe, 0xfffffffe, 0xfffffffe, 0xffffd556,
341  0xfffffffd, 0xfffffffd, 0xffffd555, 0xffffb334,
342  0xfffffffc, 0xffffd554, 0xffffb333, 0xffff8080,
343  0xffffd553, 0xffffb332, 0xffff807f, 0xffff807f,
344  0xffffb331, 0xffff807e, 0xffff807e, 0xffff807e,
345  0xffff807d, 0xffff807d, 0xffff807d, 0xffff807d,
346  0xffff807c, 0xffff807c, 0xffff807c, 0xffff8010,
347  0xffff807b, 0xffff807b, 0xffff800f, 0xffff8003,
348  0xffff807a, 0xffff800e, 0xffff8002, 0xffff8002,
349  0xffff800d, 0xffff8001, 0xffff8001, 0xffff8001,
350  0xffff8001, 0xffff8001, 0xffff8001, 0x00008001,
351  0xffff8000, 0xffff8000, 0x00008000, 0x00008000,
352  0xffff7fff, 0x00007fff, 0x00007fff, 0x00007fff,
353  0x00007ffe, 0x00007ffe, 0x00007ffe, 0x00007ff1,
354  0x00007ffd, 0x00007ffd, 0x00007ff0, 0x00007f84,
355  0x00007ffc, 0x00007fef, 0x00007f83, 0x00007f83,
356  0x00007fee, 0x00007f82, 0x00007f82, 0x00007f82,
357  0x00007f81, 0x00007f81, 0x00007f81, 0x00004cce,
358  0x00007f80, 0x00007f80, 0x00004ccd, 0x00002aac,
359  0x00007f7f, 0x00004ccc, 0x00002aab, 0x00000004,
360  0x00004ccb, 0x00002aaa, 0x00000003, 0x00000003,
361  0x00002aa9, 0x00000002, 0x00000002, 0x00000002,
362  0x00000001, 0x00000001, 0x00000001, 0x00000001,
363  0x00000000, 0x00000000, 0x00000000, 0x00000000,
364  0xffffffff, 0xffffffff, 0xffffffff, 0xffffd557,
365  0xfffffffe, 0xfffffffe, 0xffffd556, 0xffffb335,
366  0xfffffffd, 0xffffd555, 0xffffb334, 0xffff8081,
367  0xffffd554, 0xffffb333, 0xffff8080, 0xffff8080,
368  0xffffb332, 0xffff807f, 0xffff807f, 0xffff807f,
369  0xffff807e, 0xffff807e, 0xffff807e, 0xffff807e,
370  0xffff807d, 0xffff807d, 0xffff807d, 0xffff8011,
371  0xffff807c, 0xffff807c, 0xffff8010, 0xffff8004,
372  0xffff807b, 0xffff800f, 0xffff8003, 0xffff8003,
373  0xffff800e, 0xffff8002, 0xffff8002, 0xffff8002,
374  0xffff8002, 0xffff8002, 0xffff8002, 0x0000aaaa,
375  0xffff8001, 0xffff8001, 0x00008001, 0x0000aaa9,
376  0xffff8000, 0x00008000, 0x00008000, 0x0000aaa8,
377  0x00007fff, 0x00007fff, 0x00007fff, 0x0000aa9a,
378  0x00007ffe, 0x00007ffe, 0x00007ff1, 0x0000aa2d,
379  0x00007ffd, 0x00007ff0, 0x00007f84, 0x0000aa2c,
380  0x00007fef, 0x00007f83, 0x00007f83, 0x0000aa2b,
381  0x00007f82, 0x00007f82, 0x00007f82, 0x00007777,
382  0x00007f81, 0x00007f81, 0x00004cce, 0x00005555,
383  0x00007f80, 0x00004ccd, 0x00002aac, 0x00002aad,
384  0x00004ccc, 0x00002aab, 0x00000004, 0x00002aac,
385  0x00002aaa, 0x00000003, 0x00000003, 0x00002aab,
386  0x00000002, 0x00000002, 0x00000002, 0x00002aaa,
387  0x00000001, 0x00000001, 0x00000001, 0x00002aa9,
388  0x00000000, 0x00000000, 0x00000000, 0x00000000,
389  0xffffffff, 0xffffffff, 0xffffd557, 0xffffddde,
390  0xfffffffe, 0xffffd556, 0xffffb335, 0xffffab2a,
391  0xffffd555, 0xffffb334, 0xffff8081, 0xffffab29,
392  0xffffb333, 0xffff8080, 0xffff8080, 0xffffab28,
393  0xffff807f, 0xffff807f, 0xffff807f, 0xffffab27,
394  0xffff807e, 0xffff807e, 0xffff807e, 0xffffaaba,
395  0xffff807d, 0xffff807d, 0xffff8011, 0xffffaaad,
396  0xffff807c, 0xffff8010, 0xffff8004, 0xffffaaac,
397  0xffff800f, 0xffff8003, 0xffff8003, 0xffffaaab,
398  0xffff8003, 0xffff8003, 0xffffaaab, 0x0000cccc,
399  0xffff8002, 0xffff8002, 0x0000aaaa, 0x0000cccb,
400  0xffff8001, 0x00008001, 0x0000aaa9, 0x0000ccca,
401  0x00008000, 0x00008000, 0x0000aaa8, 0x0000ccbc,
402  0x00007fff, 0x00007fff, 0x0000aa9a, 0x0000cc4f,
403  0x00007ffe, 0x00007ff1, 0x0000aa2d, 0x0000cc4e,
404  0x00007ff0, 0x00007f84, 0x0000aa2c, 0x0000cc4d,
405  0x00007f83, 0x00007f83, 0x0000aa2b, 0x00009999,
406  0x00007f82, 0x00007f82, 0x00007777, 0x00007777,
407  0x00007f81, 0x00004cce, 0x00005555, 0x00004ccf,
408  0x00004ccd, 0x00002aac, 0x00002aad, 0x00004cce,
409  0x00002aab, 0x00000004, 0x00002aac, 0x00004ccd,
410  0x00000003, 0x00000003, 0x00002aab, 0x00004ccc,
411  0x00000002, 0x00000002, 0x00002aaa, 0x00004ccb,
412  0x00000001, 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, 0x0000ff80,
423  0xffff8003, 0xffffaaab, 0x0000cccc, 0x0000ff7f,
424  0xffff8002, 0x0000aaaa, 0x0000cccb, 0x0000ff7e,
425  0x00008001, 0x0000aaa9, 0x0000ccca, 0x0000ff70,
426  0x00008000, 0x0000aaa8, 0x0000ccbc, 0x0000ff03,
427  0x00007fff, 0x0000aa9a, 0x0000cc4f, 0x0000ff02,
428  0x00007ff1, 0x0000aa2d, 0x0000cc4e, 0x0000ff01,
429  0x00007f84, 0x0000aa2c, 0x0000cc4d, 0x0000cc4d,
430  0x00007f83, 0x0000aa2b, 0x00009999, 0x0000aa2b,
431  0x00007f82, 0x00007777, 0x00007777, 0x00007f83,
432  0x00004cce, 0x00005555, 0x00004ccf, 0x00007f82,
433  0x00002aac, 0x00002aad, 0x00004cce, 0x00007f81,
434  0x00000004, 0x00002aac, 0x00004ccd, 0x00007f80,
435  0x00000003, 0x00002aab, 0x00004ccc, 0x00007f7f,
436  0x00000002, 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, 0x0000ff81,
447  0xffffaaac, 0xffffcccd, 0x0000ff80, 0x0000ff80,
448  0xffffaaab, 0x0000cccc, 0x0000ff7f, 0x0000ff7f,
449  0x0000aaaa, 0x0000cccb, 0x0000ff7e, 0x0000ff71,
450  0x0000aaa9, 0x0000ccca, 0x0000ff70, 0x0000ff04,
451  0x0000aaa8, 0x0000ccbc, 0x0000ff03, 0x0000ff03,
452  0x0000aa9a, 0x0000cc4f, 0x0000ff02, 0x0000ff02,
453  0x0000aa2d, 0x0000cc4e, 0x0000ff01, 0x0000cc4e,
454  0x0000aa2c, 0x0000cc4d, 0x0000cc4d, 0x0000aa2c,
455  0x0000aa2b, 0x00009999, 0x0000aa2b, 0x00007f84,
456  0x00007777, 0x00007777, 0x00007f83, 0x00007f83,
457  0x00005555, 0x00004ccf, 0x00007f82, 0x00007f82,
458  0x00002aad, 0x00004cce, 0x00007f81, 0x00007f81,
459  0x00002aac, 0x00004ccd, 0x00007f80, 0x00007f80,
460  0x00002aab, 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, 0x0000ff82,
471  0xffffccce, 0xffffff81, 0x0000ff81, 0x0000ff81,
472  0xffffcccd, 0x0000ff80, 0x0000ff80, 0x0000ff80,
473  0x0000cccc, 0x0000ff7f, 0x0000ff7f, 0x0000ff72,
474  0x0000cccb, 0x0000ff7e, 0x0000ff71, 0x0000ff05,
475  0x0000ccca, 0x0000ff70, 0x0000ff04, 0x0000ff04,
476  0x0000ccbc, 0x0000ff03, 0x0000ff03, 0x0000ff03,
477  0x0000cc4f, 0x0000ff02, 0x0000ff02, 0x0000cc4f,
478  0x0000cc4e, 0x0000ff01, 0x0000cc4e, 0x0000aa2d,
479  0x0000cc4d, 0x0000cc4d, 0x0000aa2c, 0x00007f85,
480  0x00009999, 0x0000aa2b, 0x00007f84, 0x00007f84,
481  0x00007777, 0x00007f83, 0x00007f83, 0x00007f83,
482  0x00004ccf, 0x00007f82, 0x00007f82, 0x00007f82,
483  0x00004cce, 0x00007f81, 0x00007f81, 0x00007f81,
484  0x00004ccd, 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, 0x0000ff83,
495  0xffffff82, 0xffffff82, 0x0000ff82, 0x0000ff82,
496  0xffffff81, 0x0000ff81, 0x0000ff81, 0x0000ff81,
497  0x0000ff80, 0x0000ff80, 0x0000ff80, 0x0000ff73,
498  0x0000ff7f, 0x0000ff7f, 0x0000ff72, 0x0000ff06,
499  0x0000ff7e, 0x0000ff71, 0x0000ff05, 0x0000ff05,
500  0x0000ff70, 0x0000ff04, 0x0000ff04, 0x0000ff04,
501  0x0000ff03, 0x0000ff03, 0x0000ff03, 0x0000cc50,
502  0x0000ff02, 0x0000ff02, 0x0000cc4f, 0x0000aa2e,
503  0x0000ff01, 0x0000cc4e, 0x0000aa2d, 0x00007f86,
504  0x0000cc4d, 0x0000aa2c, 0x00007f85, 0x00007f85,
505  0x0000aa2b, 0x00007f84, 0x00007f84, 0x00007f84,
506  0x00007f83, 0x00007f83, 0x00007f83, 0x00007f83,
507  0x00007f82, 0x00007f82, 0x00007f82, 0x00007f82,
508  0x00007f81, 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, 0x0000fff0,
519  0xffffff83, 0xffffff83, 0x0000ff83, 0x0000ffef,
520  0xffffff82, 0x0000ff82, 0x0000ff82, 0x0000ffee,
521  0x0000ff81, 0x0000ff81, 0x0000ff81, 0x0000ffe0,
522  0x0000ff80, 0x0000ff80, 0x0000ff73, 0x0000ff73,
523  0x0000ff7f, 0x0000ff72, 0x0000ff06, 0x0000ff72,
524  0x0000ff71, 0x0000ff05, 0x0000ff05, 0x0000ff71,
525  0x0000ff04, 0x0000ff04, 0x0000ff04, 0x0000ccbd,
526  0x0000ff03, 0x0000ff03, 0x0000cc50, 0x0000aa9b,
527  0x0000ff02, 0x0000cc4f, 0x0000aa2e, 0x00007ff3,
528  0x0000cc4e, 0x0000aa2d, 0x00007f86, 0x00007ff2,
529  0x0000aa2c, 0x00007f85, 0x00007f85, 0x00007ff1,
530  0x00007f84, 0x00007f84, 0x00007f84, 0x00007ff0,
531  0x00007f83, 0x00007f83, 0x00007f83, 0x00007fef,
532  0x00007f82, 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, 0x0000fffd,
543  0xffffff84, 0xffffff84, 0x0000fff0, 0x0000fffc,
544  0xffffff83, 0x0000ff83, 0x0000ffef, 0x0000fffb,
545  0x0000ff82, 0x0000ff82, 0x0000ffee, 0x0000ffed,
546  0x0000ff81, 0x0000ff81, 0x0000ffe0, 0x0000ff80,
547  0x0000ff80, 0x0000ff73, 0x0000ff73, 0x0000ff7f,
548  0x0000ff72, 0x0000ff06, 0x0000ff72, 0x0000ff7e,
549  0x0000ff05, 0x0000ff05, 0x0000ff71, 0x0000ccca,
550  0x0000ff04, 0x0000ff04, 0x0000ccbd, 0x0000aaa8,
551  0x0000ff03, 0x0000cc50, 0x0000aa9b, 0x00008000,
552  0x0000cc4f, 0x0000aa2e, 0x00007ff3, 0x00007fff,
553  0x0000aa2d, 0x00007f86, 0x00007ff2, 0x00007ffe,
554  0x00007f85, 0x00007f85, 0x00007ff1, 0x00007ffd,
555  0x00007f84, 0x00007f84, 0x00007ff0, 0x00007ffc,
556  0x00007f83, 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, 0x0000fffe,
567  0xffffff85, 0xfffffff1, 0x0000fffd, 0x0000fffd,
568  0xffffff84, 0x0000fff0, 0x0000fffc, 0x0000fffc,
569  0x0000ff83, 0x0000ffef, 0x0000fffb, 0x0000ffee,
570  0x0000ff82, 0x0000ffee, 0x0000ffed, 0x0000ff81,
571  0x0000ff81, 0x0000ffe0, 0x0000ff80, 0x0000ff80,
572  0x0000ff73, 0x0000ff73, 0x0000ff7f, 0x0000ff7f,
573  0x0000ff06, 0x0000ff72, 0x0000ff7e, 0x0000cccb,
574  0x0000ff05, 0x0000ff71, 0x0000ccca, 0x0000aaa9,
575  0x0000ff04, 0x0000ccbd, 0x0000aaa8, 0x00008001,
576  0x0000cc50, 0x0000aa9b, 0x00008000, 0x00008000,
577  0x0000aa2e, 0x00007ff3, 0x00007fff, 0x00007fff,
578  0x00007f86, 0x00007ff2, 0x00007ffe, 0x00007ffe,
579  0x00007f85, 0x00007ff1, 0x00007ffd, 0x00007ffd,
580  0x00007f84, 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, 0x0000ffff,
591  0xfffffff2, 0xfffffffe, 0x0000fffe, 0x0000fffe,
592  0xfffffff1, 0x0000fffd, 0x0000fffd, 0x0000fffd,
593  0x0000fff0, 0x0000fffc, 0x0000fffc, 0x0000ffef,
594  0x0000ffef, 0x0000fffb, 0x0000ffee, 0x0000ff82,
595  0x0000ffee, 0x0000ffed, 0x0000ff81, 0x0000ff81,
596  0x0000ffe0, 0x0000ff80, 0x0000ff80, 0x0000ff80,
597  0x0000ff73, 0x0000ff7f, 0x0000ff7f, 0x0000cccc,
598  0x0000ff72, 0x0000ff7e, 0x0000cccb, 0x0000aaaa,
599  0x0000ff71, 0x0000ccca, 0x0000aaa9, 0x00008002,
600  0x0000ccbd, 0x0000aaa8, 0x00008001, 0x00008001,
601  0x0000aa9b, 0x00008000, 0x00008000, 0x00008000,
602  0x00007ff3, 0x00007fff, 0x00007fff, 0x00007fff,
603  0x00007ff2, 0x00007ffe, 0x00007ffe, 0x00007ffe,
604  0x00007ff1, 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_usubl2_4S = 576;
616
617#endif  // VIXL_SIM_USUBL2_4S_TRACE_AARCH64_H_
618