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_UABAL2_2D_TRACE_AARCH64_H_
35#define VIXL_SIM_UABAL2_2D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_uabal2_2D[] = {
38  0x0000000000000000, 0x0000000000000001,
39  0x00000000007ffd00, 0x0000000000000002,
40  0x00000000007ffcff, 0x0000000000000003,
41  0x00000000007ffcfe, 0x0000000000000021,
42  0x00000000007ffce0, 0x000000000000007e,
43  0x00000000007ffc83, 0x000000000000007f,
44  0x00000000007ffc82, 0x0000000000000080,
45  0x00000000007ffc81, 0x0000000000007ffe,
46  0x00000000007f7d03, 0x0000000000007fff,
47  0x00000000007f7d02, 0x0000000000008000,
48  0x00000000007f7d01, 0x0000000033333334,
49  0x0000000032b33633, 0x0000000055555556,
50  0x0000000054d55855, 0x000000007ffffffe,
51  0x000000007f8002fd, 0x000000007fffffff,
52  0x000000007f8002fe, 0x0000000080000000,
53  0x000000007f8002ff, 0x0000000080000001,
54  0x000000007f800300, 0x0000000080000002,
55  0x000000007f800301, 0x00000000aaaaaaab,
56  0x00000000aa2aadaa, 0x00000000cccccccd,
57  0x00000000cc4ccfcc, 0x00000000ffff8001,
58  0x00000000ff7f8300, 0x00000000ffff8002,
59  0x00000000ff7f8301, 0x00000000ffff8003,
60  0x00000000ff7f8302, 0x00000000ffff8004,
61  0x00000000ff7f8303, 0x00000000ffffff81,
62  0x00000000ff800280, 0x00000000ffffff82,
63  0x00000000ff800281, 0x00000000ffffff83,
64  0x00000000ff800282, 0x00000000ffffff84,
65  0x00000000ff800283, 0x00000000ffffffe1,
66  0x00000000ff8002e0, 0x00000000fffffffe,
67  0x00000000ff8002fd, 0x00000000ffffffff,
68  0x00000000ff8002fe, 0x0000000100000000,
69  0x00000000ffffffff, 0x0000000000000002,
70  0x0000000000000000, 0x0000000000000001,
71  0x0000000000000001, 0x0000000000000002,
72  0x0000000000000002, 0x0000000000000020,
73  0x0000000000000020, 0x000000000000007d,
74  0x000000000000007d, 0x000000000000007e,
75  0x000000000000007e, 0x000000000000007f,
76  0x000000000000007f, 0x0000000000007ffd,
77  0x0000000000007ffd, 0x0000000000007ffe,
78  0x0000000000007ffe, 0x0000000000007fff,
79  0x0000000000007fff, 0x0000000033333333,
80  0x0000000033333333, 0x0000000055555555,
81  0x0000000055555555, 0x000000007ffffffd,
82  0x000000007ffffffd, 0x000000007ffffffe,
83  0x000000007ffffffe, 0x000000007fffffff,
84  0x000000007fffffff, 0x0000000080000000,
85  0x0000000080000000, 0x0000000080000001,
86  0x0000000080000001, 0x00000000aaaaaaaa,
87  0x00000000aaaaaaaa, 0x00000000cccccccc,
88  0x00000000cccccccc, 0x00000000ffff8000,
89  0x00000000ffff8000, 0x00000000ffff8001,
90  0x00000000ffff8001, 0x00000000ffff8002,
91  0x00000000ffff8002, 0x00000000ffff8003,
92  0x00000000ffff8003, 0x00000000ffffff80,
93  0x00000000ffffff80, 0x00000000ffffff81,
94  0x00000000ffffff81, 0x00000000ffffff82,
95  0x00000000ffffff82, 0x00000000ffffff83,
96  0x00000000ffffff83, 0x00000000ffffffe0,
97  0x00000000ffffffe0, 0x00000000fffffffd,
98  0x00000000fffffffd, 0x00000000fffffffe,
99  0x00000000fffffffe, 0x00000000ffffffff,
100  0x00000000fffffffe, 0x0000000000000003,
101  0x0000000000000001, 0x0000000000000002,
102  0x0000000000000000, 0x0000000000000001,
103  0x0000000000000001, 0x000000000000001f,
104  0x000000000000001f, 0x000000000000007c,
105  0x000000000000007c, 0x000000000000007d,
106  0x000000000000007d, 0x000000000000007e,
107  0x000000000000007e, 0x0000000000007ffc,
108  0x0000000000007ffc, 0x0000000000007ffd,
109  0x0000000000007ffd, 0x0000000000007ffe,
110  0x0000000000007ffe, 0x0000000033333332,
111  0x0000000033333332, 0x0000000055555554,
112  0x0000000055555554, 0x000000007ffffffc,
113  0x000000007ffffffc, 0x000000007ffffffd,
114  0x000000007ffffffd, 0x000000007ffffffe,
115  0x000000007ffffffe, 0x000000007fffffff,
116  0x000000007fffffff, 0x0000000080000000,
117  0x0000000080000000, 0x00000000aaaaaaa9,
118  0x00000000aaaaaaa9, 0x00000000cccccccb,
119  0x00000000cccccccb, 0x00000000ffff7fff,
120  0x00000000ffff7fff, 0x00000000ffff8000,
121  0x00000000ffff8000, 0x00000000ffff8001,
122  0x00000000ffff8001, 0x00000000ffff8002,
123  0x00000000ffff8002, 0x00000000ffffff7f,
124  0x00000000ffffff7f, 0x00000000ffffff80,
125  0x00000000ffffff80, 0x00000000ffffff81,
126  0x00000000ffffff81, 0x00000000ffffff82,
127  0x00000000ffffff82, 0x00000000ffffffdf,
128  0x00000000ffffffdf, 0x00000000fffffffc,
129  0x00000000fffffffc, 0x00000000fffffffd,
130  0x00000000fffffffd, 0x00000000fffffffe,
131  0x00000000fffffffd, 0x0000000000000021,
132  0x0000000000000002, 0x0000000000000020,
133  0x0000000000000001, 0x000000000000001f,
134  0x0000000000000000, 0x0000000000000001,
135  0x000000000000001e, 0x000000000000005e,
136  0x000000000000007b, 0x000000000000005f,
137  0x000000000000007c, 0x0000000000000060,
138  0x000000000000007d, 0x0000000000007fde,
139  0x0000000000007ffb, 0x0000000000007fdf,
140  0x0000000000007ffc, 0x0000000000007fe0,
141  0x0000000000007ffd, 0x0000000033333314,
142  0x0000000033333331, 0x0000000055555536,
143  0x0000000055555553, 0x000000007fffffde,
144  0x000000007ffffffb, 0x000000007fffffdf,
145  0x000000007ffffffc, 0x000000007fffffe0,
146  0x000000007ffffffd, 0x000000007fffffe1,
147  0x000000007ffffffe, 0x000000007fffffe2,
148  0x000000007fffffff, 0x00000000aaaaaa8b,
149  0x00000000aaaaaaa8, 0x00000000ccccccad,
150  0x00000000ccccccca, 0x00000000ffff7fe1,
151  0x00000000ffff7ffe, 0x00000000ffff7fe2,
152  0x00000000ffff7fff, 0x00000000ffff7fe3,
153  0x00000000ffff8000, 0x00000000ffff7fe4,
154  0x00000000ffff8001, 0x00000000ffffff61,
155  0x00000000ffffff7e, 0x00000000ffffff62,
156  0x00000000ffffff7f, 0x00000000ffffff63,
157  0x00000000ffffff80, 0x00000000ffffff64,
158  0x00000000ffffff81, 0x00000000ffffffc1,
159  0x00000000ffffffde, 0x00000000ffffffde,
160  0x00000000fffffffb, 0x00000000ffffffdf,
161  0x00000000fffffffc, 0x00000000ffffffe0,
162  0x00000000ffffffdf, 0x000000000000007e,
163  0x0000000000000020, 0x000000000000007d,
164  0x000000000000001f, 0x000000000000007c,
165  0x000000000000001e, 0x000000000000005e,
166  0x0000000000000000, 0x0000000000000001,
167  0x000000000000005d, 0x0000000000000002,
168  0x000000000000005e, 0x0000000000000003,
169  0x000000000000005f, 0x0000000000007f81,
170  0x0000000000007fdd, 0x0000000000007f82,
171  0x0000000000007fde, 0x0000000000007f83,
172  0x0000000000007fdf, 0x00000000333332b7,
173  0x0000000033333313, 0x00000000555554d9,
174  0x0000000055555535, 0x000000007fffff81,
175  0x000000007fffffdd, 0x000000007fffff82,
176  0x000000007fffffde, 0x000000007fffff83,
177  0x000000007fffffdf, 0x000000007fffff84,
178  0x000000007fffffe0, 0x000000007fffff85,
179  0x000000007fffffe1, 0x00000000aaaaaa2e,
180  0x00000000aaaaaa8a, 0x00000000cccccc50,
181  0x00000000ccccccac, 0x00000000ffff7f84,
182  0x00000000ffff7fe0, 0x00000000ffff7f85,
183  0x00000000ffff7fe1, 0x00000000ffff7f86,
184  0x00000000ffff7fe2, 0x00000000ffff7f87,
185  0x00000000ffff7fe3, 0x00000000ffffff04,
186  0x00000000ffffff60, 0x00000000ffffff05,
187  0x00000000ffffff61, 0x00000000ffffff06,
188  0x00000000ffffff62, 0x00000000ffffff07,
189  0x00000000ffffff63, 0x00000000ffffff64,
190  0x00000000ffffffc0, 0x00000000ffffff81,
191  0x00000000ffffffdd, 0x00000000ffffff82,
192  0x00000000ffffffde, 0x00000000ffffff83,
193  0x00000000ffffff82, 0x000000000000007f,
194  0x000000000000007d, 0x000000000000007e,
195  0x000000000000007c, 0x000000000000007d,
196  0x000000000000007b, 0x000000000000005f,
197  0x000000000000005d, 0x0000000000000002,
198  0x0000000000000000, 0x0000000000000001,
199  0x0000000000000001, 0x0000000000000002,
200  0x0000000000000002, 0x0000000000007f80,
201  0x0000000000007f80, 0x0000000000007f81,
202  0x0000000000007f81, 0x0000000000007f82,
203  0x0000000000007f82, 0x00000000333332b6,
204  0x00000000333332b6, 0x00000000555554d8,
205  0x00000000555554d8, 0x000000007fffff80,
206  0x000000007fffff80, 0x000000007fffff81,
207  0x000000007fffff81, 0x000000007fffff82,
208  0x000000007fffff82, 0x000000007fffff83,
209  0x000000007fffff83, 0x000000007fffff84,
210  0x000000007fffff84, 0x00000000aaaaaa2d,
211  0x00000000aaaaaa2d, 0x00000000cccccc4f,
212  0x00000000cccccc4f, 0x00000000ffff7f83,
213  0x00000000ffff7f83, 0x00000000ffff7f84,
214  0x00000000ffff7f84, 0x00000000ffff7f85,
215  0x00000000ffff7f85, 0x00000000ffff7f86,
216  0x00000000ffff7f86, 0x00000000ffffff03,
217  0x00000000ffffff03, 0x00000000ffffff04,
218  0x00000000ffffff04, 0x00000000ffffff05,
219  0x00000000ffffff05, 0x00000000ffffff06,
220  0x00000000ffffff06, 0x00000000ffffff63,
221  0x00000000ffffff63, 0x00000000ffffff80,
222  0x00000000ffffff80, 0x00000000ffffff81,
223  0x00000000ffffff81, 0x00000000ffffff82,
224  0x00000000ffffff81, 0x0000000000000080,
225  0x000000000000007e, 0x000000000000007f,
226  0x000000000000007d, 0x000000000000007e,
227  0x000000000000007c, 0x0000000000000060,
228  0x000000000000005e, 0x0000000000000003,
229  0x0000000000000001, 0x0000000000000002,
230  0x0000000000000000, 0x0000000000000001,
231  0x0000000000000001, 0x0000000000007f7f,
232  0x0000000000007f7f, 0x0000000000007f80,
233  0x0000000000007f80, 0x0000000000007f81,
234  0x0000000000007f81, 0x00000000333332b5,
235  0x00000000333332b5, 0x00000000555554d7,
236  0x00000000555554d7, 0x000000007fffff7f,
237  0x000000007fffff7f, 0x000000007fffff80,
238  0x000000007fffff80, 0x000000007fffff81,
239  0x000000007fffff81, 0x000000007fffff82,
240  0x000000007fffff82, 0x000000007fffff83,
241  0x000000007fffff83, 0x00000000aaaaaa2c,
242  0x00000000aaaaaa2c, 0x00000000cccccc4e,
243  0x00000000cccccc4e, 0x00000000ffff7f82,
244  0x00000000ffff7f82, 0x00000000ffff7f83,
245  0x00000000ffff7f83, 0x00000000ffff7f84,
246  0x00000000ffff7f84, 0x00000000ffff7f85,
247  0x00000000ffff7f85, 0x00000000ffffff02,
248  0x00000000ffffff02, 0x00000000ffffff03,
249  0x00000000ffffff03, 0x00000000ffffff04,
250  0x00000000ffffff04, 0x00000000ffffff05,
251  0x00000000ffffff05, 0x00000000ffffff62,
252  0x00000000ffffff62, 0x00000000ffffff7f,
253  0x00000000ffffff7f, 0x00000000ffffff80,
254  0x00000000ffffff80, 0x00000000ffffff81,
255  0x00000000ffffff80, 0x0000000000007ffe,
256  0x000000000000007f, 0x0000000000007ffd,
257  0x000000000000007e, 0x0000000000007ffc,
258  0x000000000000007d, 0x0000000000007fde,
259  0x000000000000005f, 0x0000000000007f81,
260  0x0000000000000002, 0x0000000000007f80,
261  0x0000000000000001, 0x0000000000007f7f,
262  0x0000000000000000, 0x0000000000000001,
263  0x0000000000007f7e, 0x0000000000000002,
264  0x0000000000007f7f, 0x0000000000000003,
265  0x0000000000007f80, 0x000000003332b337,
266  0x00000000333332b4, 0x000000005554d559,
267  0x00000000555554d6, 0x000000007fff8001,
268  0x000000007fffff7e, 0x000000007fff8002,
269  0x000000007fffff7f, 0x000000007fff8003,
270  0x000000007fffff80, 0x000000007fff8004,
271  0x000000007fffff81, 0x000000007fff8005,
272  0x000000007fffff82, 0x00000000aaaa2aae,
273  0x00000000aaaaaa2b, 0x00000000cccc4cd0,
274  0x00000000cccccc4d, 0x00000000ffff0004,
275  0x00000000ffff7f81, 0x00000000ffff0005,
276  0x00000000ffff7f82, 0x00000000ffff0006,
277  0x00000000ffff7f83, 0x00000000ffff0007,
278  0x00000000ffff7f84, 0x00000000ffff7f84,
279  0x00000000ffffff01, 0x00000000ffff7f85,
280  0x00000000ffffff02, 0x00000000ffff7f86,
281  0x00000000ffffff03, 0x00000000ffff7f87,
282  0x00000000ffffff04, 0x00000000ffff7fe4,
283  0x00000000ffffff61, 0x00000000ffff8001,
284  0x00000000ffffff7e, 0x00000000ffff8002,
285  0x00000000ffffff7f, 0x00000000ffff8003,
286  0x00000000ffff8002, 0x0000000000007fff,
287  0x0000000000007ffd, 0x0000000000007ffe,
288  0x0000000000007ffc, 0x0000000000007ffd,
289  0x0000000000007ffb, 0x0000000000007fdf,
290  0x0000000000007fdd, 0x0000000000007f82,
291  0x0000000000007f80, 0x0000000000007f81,
292  0x0000000000007f7f, 0x0000000000007f80,
293  0x0000000000007f7e, 0x0000000000000002,
294  0x0000000000000000, 0x0000000000000001,
295  0x0000000000000001, 0x0000000000000002,
296  0x0000000000000002, 0x000000003332b336,
297  0x000000003332b336, 0x000000005554d558,
298  0x000000005554d558, 0x000000007fff8000,
299  0x000000007fff8000, 0x000000007fff8001,
300  0x000000007fff8001, 0x000000007fff8002,
301  0x000000007fff8002, 0x000000007fff8003,
302  0x000000007fff8003, 0x000000007fff8004,
303  0x000000007fff8004, 0x00000000aaaa2aad,
304  0x00000000aaaa2aad, 0x00000000cccc4ccf,
305  0x00000000cccc4ccf, 0x00000000ffff0003,
306  0x00000000ffff0003, 0x00000000ffff0004,
307  0x00000000ffff0004, 0x00000000ffff0005,
308  0x00000000ffff0005, 0x00000000ffff0006,
309  0x00000000ffff0006, 0x00000000ffff7f83,
310  0x00000000ffff7f83, 0x00000000ffff7f84,
311  0x00000000ffff7f84, 0x00000000ffff7f85,
312  0x00000000ffff7f85, 0x00000000ffff7f86,
313  0x00000000ffff7f86, 0x00000000ffff7fe3,
314  0x00000000ffff7fe3, 0x00000000ffff8000,
315  0x00000000ffff8000, 0x00000000ffff8001,
316  0x00000000ffff8001, 0x00000000ffff8002,
317  0x00000000ffff8001, 0x0000000000008000,
318  0x0000000000007ffe, 0x0000000000007fff,
319  0x0000000000007ffd, 0x0000000000007ffe,
320  0x0000000000007ffc, 0x0000000000007fe0,
321  0x0000000000007fde, 0x0000000000007f83,
322  0x0000000000007f81, 0x0000000000007f82,
323  0x0000000000007f80, 0x0000000000007f81,
324  0x0000000000007f7f, 0x0000000000000003,
325  0x0000000000000001, 0x0000000000000002,
326  0x0000000000000000, 0x0000000000000001,
327  0x0000000000000001, 0x000000003332b335,
328  0x000000003332b335, 0x000000005554d557,
329  0x000000005554d557, 0x000000007fff7fff,
330  0x000000007fff7fff, 0x000000007fff8000,
331  0x000000007fff8000, 0x000000007fff8001,
332  0x000000007fff8001, 0x000000007fff8002,
333  0x000000007fff8002, 0x000000007fff8003,
334  0x000000007fff8003, 0x00000000aaaa2aac,
335  0x00000000aaaa2aac, 0x00000000cccc4cce,
336  0x00000000cccc4cce, 0x00000000ffff0002,
337  0x00000000ffff0002, 0x00000000ffff0003,
338  0x00000000ffff0003, 0x00000000ffff0004,
339  0x00000000ffff0004, 0x00000000ffff0005,
340  0x00000000ffff0005, 0x00000000ffff7f82,
341  0x00000000ffff7f82, 0x00000000ffff7f83,
342  0x00000000ffff7f83, 0x00000000ffff7f84,
343  0x00000000ffff7f84, 0x00000000ffff7f85,
344  0x00000000ffff7f85, 0x00000000ffff7fe2,
345  0x00000000ffff7fe2, 0x00000000ffff7fff,
346  0x00000000ffff7fff, 0x00000000ffff8000,
347  0x00000000ffff8000, 0x00000000ffff8001,
348  0x00000000ffff8000, 0x0000000033333334,
349  0x0000000000007fff, 0x0000000033333333,
350  0x0000000000007ffe, 0x0000000033333332,
351  0x0000000000007ffd, 0x0000000033333314,
352  0x0000000000007fdf, 0x00000000333332b7,
353  0x0000000000007f82, 0x00000000333332b6,
354  0x0000000000007f81, 0x00000000333332b5,
355  0x0000000000007f80, 0x000000003332b337,
356  0x0000000000000002, 0x000000003332b336,
357  0x0000000000000001, 0x000000003332b335,
358  0x0000000000000000, 0x0000000000000001,
359  0x000000003332b334, 0x0000000022222223,
360  0x000000005554d556, 0x000000004ccccccb,
361  0x000000007fff7ffe, 0x000000004ccccccc,
362  0x000000007fff7fff, 0x000000004ccccccd,
363  0x000000007fff8000, 0x000000004cccccce,
364  0x000000007fff8001, 0x000000004ccccccf,
365  0x000000007fff8002, 0x0000000077777778,
366  0x00000000aaaa2aab, 0x000000009999999a,
367  0x00000000cccc4ccd, 0x00000000cccc4cce,
368  0x00000000ffff0001, 0x00000000cccc4ccf,
369  0x00000000ffff0002, 0x00000000cccc4cd0,
370  0x00000000ffff0003, 0x00000000cccc4cd1,
371  0x00000000ffff0004, 0x00000000cccccc4e,
372  0x00000000ffff7f81, 0x00000000cccccc4f,
373  0x00000000ffff7f82, 0x00000000cccccc50,
374  0x00000000ffff7f83, 0x00000000cccccc51,
375  0x00000000ffff7f84, 0x00000000ccccccae,
376  0x00000000ffff7fe1, 0x00000000cccccccb,
377  0x00000000ffff7ffe, 0x00000000cccccccc,
378  0x00000000ffff7fff, 0x00000000cccccccd,
379  0x00000000cccccccc, 0x0000000055555556,
380  0x0000000033333333, 0x0000000055555555,
381  0x0000000033333332, 0x0000000055555554,
382  0x0000000033333331, 0x0000000055555536,
383  0x0000000033333313, 0x00000000555554d9,
384  0x00000000333332b6, 0x00000000555554d8,
385  0x00000000333332b5, 0x00000000555554d7,
386  0x00000000333332b4, 0x000000005554d559,
387  0x000000003332b336, 0x000000005554d558,
388  0x000000003332b335, 0x000000005554d557,
389  0x000000003332b334, 0x0000000022222223,
390  0x0000000000000000, 0x0000000000000001,
391  0x0000000022222222, 0x000000002aaaaaa9,
392  0x000000004cccccca, 0x000000002aaaaaaa,
393  0x000000004ccccccb, 0x000000002aaaaaab,
394  0x000000004ccccccc, 0x000000002aaaaaac,
395  0x000000004ccccccd, 0x000000002aaaaaad,
396  0x000000004cccccce, 0x0000000055555556,
397  0x0000000077777777, 0x0000000077777778,
398  0x0000000099999999, 0x00000000aaaa2aac,
399  0x00000000cccc4ccd, 0x00000000aaaa2aad,
400  0x00000000cccc4cce, 0x00000000aaaa2aae,
401  0x00000000cccc4ccf, 0x00000000aaaa2aaf,
402  0x00000000cccc4cd0, 0x00000000aaaaaa2c,
403  0x00000000cccccc4d, 0x00000000aaaaaa2d,
404  0x00000000cccccc4e, 0x00000000aaaaaa2e,
405  0x00000000cccccc4f, 0x00000000aaaaaa2f,
406  0x00000000cccccc50, 0x00000000aaaaaa8c,
407  0x00000000ccccccad, 0x00000000aaaaaaa9,
408  0x00000000ccccccca, 0x00000000aaaaaaaa,
409  0x00000000cccccccb, 0x00000000aaaaaaab,
410  0x00000000aaaaaaaa, 0x000000007ffffffe,
411  0x0000000055555555, 0x000000007ffffffd,
412  0x0000000055555554, 0x000000007ffffffc,
413  0x0000000055555553, 0x000000007fffffde,
414  0x0000000055555535, 0x000000007fffff81,
415  0x00000000555554d8, 0x000000007fffff80,
416  0x00000000555554d7, 0x000000007fffff7f,
417  0x00000000555554d6, 0x000000007fff8001,
418  0x000000005554d558, 0x000000007fff8000,
419  0x000000005554d557, 0x000000007fff7fff,
420  0x000000005554d556, 0x000000004ccccccb,
421  0x0000000022222222, 0x000000002aaaaaa9,
422  0x0000000000000000, 0x0000000000000001,
423  0x000000002aaaaaa8, 0x0000000000000002,
424  0x000000002aaaaaa9, 0x0000000000000003,
425  0x000000002aaaaaaa, 0x0000000000000004,
426  0x000000002aaaaaab, 0x0000000000000005,
427  0x000000002aaaaaac, 0x000000002aaaaaae,
428  0x0000000055555555, 0x000000004cccccd0,
429  0x0000000077777777, 0x000000007fff8004,
430  0x00000000aaaa2aab, 0x000000007fff8005,
431  0x00000000aaaa2aac, 0x000000007fff8006,
432  0x00000000aaaa2aad, 0x000000007fff8007,
433  0x00000000aaaa2aae, 0x000000007fffff84,
434  0x00000000aaaaaa2b, 0x000000007fffff85,
435  0x00000000aaaaaa2c, 0x000000007fffff86,
436  0x00000000aaaaaa2d, 0x000000007fffff87,
437  0x00000000aaaaaa2e, 0x000000007fffffe4,
438  0x00000000aaaaaa8b, 0x0000000080000001,
439  0x00000000aaaaaaa8, 0x0000000080000002,
440  0x00000000aaaaaaa9, 0x0000000080000003,
441  0x0000000080000002, 0x000000007fffffff,
442  0x000000007ffffffd, 0x000000007ffffffe,
443  0x000000007ffffffc, 0x000000007ffffffd,
444  0x000000007ffffffb, 0x000000007fffffdf,
445  0x000000007fffffdd, 0x000000007fffff82,
446  0x000000007fffff80, 0x000000007fffff81,
447  0x000000007fffff7f, 0x000000007fffff80,
448  0x000000007fffff7e, 0x000000007fff8002,
449  0x000000007fff8000, 0x000000007fff8001,
450  0x000000007fff7fff, 0x000000007fff8000,
451  0x000000007fff7ffe, 0x000000004ccccccc,
452  0x000000004cccccca, 0x000000002aaaaaaa,
453  0x000000002aaaaaa8, 0x0000000000000002,
454  0x0000000000000000, 0x0000000000000001,
455  0x0000000000000001, 0x0000000000000002,
456  0x0000000000000002, 0x0000000000000003,
457  0x0000000000000003, 0x0000000000000004,
458  0x0000000000000004, 0x000000002aaaaaad,
459  0x000000002aaaaaad, 0x000000004ccccccf,
460  0x000000004ccccccf, 0x000000007fff8003,
461  0x000000007fff8003, 0x000000007fff8004,
462  0x000000007fff8004, 0x000000007fff8005,
463  0x000000007fff8005, 0x000000007fff8006,
464  0x000000007fff8006, 0x000000007fffff83,
465  0x000000007fffff83, 0x000000007fffff84,
466  0x000000007fffff84, 0x000000007fffff85,
467  0x000000007fffff85, 0x000000007fffff86,
468  0x000000007fffff86, 0x000000007fffffe3,
469  0x000000007fffffe3, 0x0000000080000000,
470  0x0000000080000000, 0x0000000080000001,
471  0x0000000080000001, 0x0000000080000002,
472  0x0000000080000001, 0x0000000080000000,
473  0x000000007ffffffe, 0x000000007fffffff,
474  0x000000007ffffffd, 0x000000007ffffffe,
475  0x000000007ffffffc, 0x000000007fffffe0,
476  0x000000007fffffde, 0x000000007fffff83,
477  0x000000007fffff81, 0x000000007fffff82,
478  0x000000007fffff80, 0x000000007fffff81,
479  0x000000007fffff7f, 0x000000007fff8003,
480  0x000000007fff8001, 0x000000007fff8002,
481  0x000000007fff8000, 0x000000007fff8001,
482  0x000000007fff7fff, 0x000000004ccccccd,
483  0x000000004ccccccb, 0x000000002aaaaaab,
484  0x000000002aaaaaa9, 0x0000000000000003,
485  0x0000000000000001, 0x0000000000000002,
486  0x0000000000000000, 0x0000000000000001,
487  0x0000000000000001, 0x0000000000000002,
488  0x0000000000000002, 0x0000000000000003,
489  0x0000000000000003, 0x000000002aaaaaac,
490  0x000000002aaaaaac, 0x000000004cccccce,
491  0x000000004cccccce, 0x000000007fff8002,
492  0x000000007fff8002, 0x000000007fff8003,
493  0x000000007fff8003, 0x000000007fff8004,
494  0x000000007fff8004, 0x000000007fff8005,
495  0x000000007fff8005, 0x000000007fffff82,
496  0x000000007fffff82, 0x000000007fffff83,
497  0x000000007fffff83, 0x000000007fffff84,
498  0x000000007fffff84, 0x000000007fffff85,
499  0x000000007fffff85, 0x000000007fffffe2,
500  0x000000007fffffe2, 0x000000007fffffff,
501  0x000000007fffffff, 0x0000000080000000,
502  0x0000000080000000, 0x0000000080000001,
503  0x0000000080000000, 0x0000000080000001,
504  0x000000007fffffff, 0x0000000080000000,
505  0x000000007ffffffe, 0x000000007fffffff,
506  0x000000007ffffffd, 0x000000007fffffe1,
507  0x000000007fffffdf, 0x000000007fffff84,
508  0x000000007fffff82, 0x000000007fffff83,
509  0x000000007fffff81, 0x000000007fffff82,
510  0x000000007fffff80, 0x000000007fff8004,
511  0x000000007fff8002, 0x000000007fff8003,
512  0x000000007fff8001, 0x000000007fff8002,
513  0x000000007fff8000, 0x000000004cccccce,
514  0x000000004ccccccc, 0x000000002aaaaaac,
515  0x000000002aaaaaaa, 0x0000000000000004,
516  0x0000000000000002, 0x0000000000000003,
517  0x0000000000000001, 0x0000000000000002,
518  0x0000000000000000, 0x0000000000000001,
519  0x0000000000000001, 0x0000000000000002,
520  0x0000000000000002, 0x000000002aaaaaab,
521  0x000000002aaaaaab, 0x000000004ccccccd,
522  0x000000004ccccccd, 0x000000007fff8001,
523  0x000000007fff8001, 0x000000007fff8002,
524  0x000000007fff8002, 0x000000007fff8003,
525  0x000000007fff8003, 0x000000007fff8004,
526  0x000000007fff8004, 0x000000007fffff81,
527  0x000000007fffff81, 0x000000007fffff82,
528  0x000000007fffff82, 0x000000007fffff83,
529  0x000000007fffff83, 0x000000007fffff84,
530  0x000000007fffff84, 0x000000007fffffe1,
531  0x000000007fffffe1, 0x000000007ffffffe,
532  0x000000007ffffffe, 0x000000007fffffff,
533  0x000000007fffffff, 0x0000000080000000,
534  0x000000007fffffff, 0x0000000080000002,
535  0x0000000080000000, 0x0000000080000001,
536  0x000000007fffffff, 0x0000000080000000,
537  0x000000007ffffffe, 0x000000007fffffe2,
538  0x000000007fffffe0, 0x000000007fffff85,
539  0x000000007fffff83, 0x000000007fffff84,
540  0x000000007fffff82, 0x000000007fffff83,
541  0x000000007fffff81, 0x000000007fff8005,
542  0x000000007fff8003, 0x000000007fff8004,
543  0x000000007fff8002, 0x000000007fff8003,
544  0x000000007fff8001, 0x000000004ccccccf,
545  0x000000004ccccccd, 0x000000002aaaaaad,
546  0x000000002aaaaaab, 0x0000000000000005,
547  0x0000000000000003, 0x0000000000000004,
548  0x0000000000000002, 0x0000000000000003,
549  0x0000000000000001, 0x0000000000000002,
550  0x0000000000000000, 0x0000000000000001,
551  0x0000000000000001, 0x000000002aaaaaaa,
552  0x000000002aaaaaaa, 0x000000004ccccccc,
553  0x000000004ccccccc, 0x000000007fff8000,
554  0x000000007fff8000, 0x000000007fff8001,
555  0x000000007fff8001, 0x000000007fff8002,
556  0x000000007fff8002, 0x000000007fff8003,
557  0x000000007fff8003, 0x000000007fffff80,
558  0x000000007fffff80, 0x000000007fffff81,
559  0x000000007fffff81, 0x000000007fffff82,
560  0x000000007fffff82, 0x000000007fffff83,
561  0x000000007fffff83, 0x000000007fffffe0,
562  0x000000007fffffe0, 0x000000007ffffffd,
563  0x000000007ffffffd, 0x000000007ffffffe,
564  0x000000007ffffffe, 0x000000007fffffff,
565  0x000000007ffffffe, 0x00000000aaaaaaab,
566  0x0000000080000001, 0x00000000aaaaaaaa,
567  0x0000000080000000, 0x00000000aaaaaaa9,
568  0x000000007fffffff, 0x00000000aaaaaa8b,
569  0x000000007fffffe1, 0x00000000aaaaaa2e,
570  0x000000007fffff84, 0x00000000aaaaaa2d,
571  0x000000007fffff83, 0x00000000aaaaaa2c,
572  0x000000007fffff82, 0x00000000aaaa2aae,
573  0x000000007fff8004, 0x00000000aaaa2aad,
574  0x000000007fff8003, 0x00000000aaaa2aac,
575  0x000000007fff8002, 0x0000000077777778,
576  0x000000004cccccce, 0x0000000055555556,
577  0x000000002aaaaaac, 0x000000002aaaaaae,
578  0x0000000000000004, 0x000000002aaaaaad,
579  0x0000000000000003, 0x000000002aaaaaac,
580  0x0000000000000002, 0x000000002aaaaaab,
581  0x0000000000000001, 0x000000002aaaaaaa,
582  0x0000000000000000, 0x0000000000000001,
583  0x000000002aaaaaa9, 0x0000000022222223,
584  0x000000004ccccccb, 0x000000005554d557,
585  0x000000007fff7fff, 0x000000005554d558,
586  0x000000007fff8000, 0x000000005554d559,
587  0x000000007fff8001, 0x000000005554d55a,
588  0x000000007fff8002, 0x00000000555554d7,
589  0x000000007fffff7f, 0x00000000555554d8,
590  0x000000007fffff80, 0x00000000555554d9,
591  0x000000007fffff81, 0x00000000555554da,
592  0x000000007fffff82, 0x0000000055555537,
593  0x000000007fffffdf, 0x0000000055555554,
594  0x000000007ffffffc, 0x0000000055555555,
595  0x000000007ffffffd, 0x0000000055555556,
596  0x0000000055555555, 0x00000000cccccccd,
597  0x00000000aaaaaaaa, 0x00000000cccccccc,
598  0x00000000aaaaaaa9, 0x00000000cccccccb,
599  0x00000000aaaaaaa8, 0x00000000ccccccad,
600  0x00000000aaaaaa8a, 0x00000000cccccc50,
601  0x00000000aaaaaa2d, 0x00000000cccccc4f,
602  0x00000000aaaaaa2c, 0x00000000cccccc4e,
603  0x00000000aaaaaa2b, 0x00000000cccc4cd0,
604  0x00000000aaaa2aad, 0x00000000cccc4ccf,
605  0x00000000aaaa2aac, 0x00000000cccc4cce,
606  0x00000000aaaa2aab, 0x000000009999999a,
607  0x0000000077777777, 0x0000000077777778,
608  0x0000000055555555, 0x000000004cccccd0,
609  0x000000002aaaaaad, 0x000000004ccccccf,
610  0x000000002aaaaaac, 0x000000004cccccce,
611  0x000000002aaaaaab, 0x000000004ccccccd,
612  0x000000002aaaaaaa, 0x000000004ccccccc,
613  0x000000002aaaaaa9, 0x0000000022222223,
614  0x0000000000000000, 0x0000000000000001,
615  0x0000000022222222, 0x000000003332b335,
616  0x000000005554d556, 0x000000003332b336,
617  0x000000005554d557, 0x000000003332b337,
618  0x000000005554d558, 0x000000003332b338,
619  0x000000005554d559, 0x00000000333332b5,
620  0x00000000555554d6, 0x00000000333332b6,
621  0x00000000555554d7, 0x00000000333332b7,
622  0x00000000555554d8, 0x00000000333332b8,
623  0x00000000555554d9, 0x0000000033333315,
624  0x0000000055555536, 0x0000000033333332,
625  0x0000000055555553, 0x0000000033333333,
626  0x0000000055555554, 0x0000000033333334,
627  0x0000000033333333, 0x00000000ffff8001,
628  0x00000000cccccccc, 0x00000000ffff8000,
629  0x00000000cccccccb, 0x00000000ffff7fff,
630  0x00000000ccccccca, 0x00000000ffff7fe1,
631  0x00000000ccccccac, 0x00000000ffff7f84,
632  0x00000000cccccc4f, 0x00000000ffff7f83,
633  0x00000000cccccc4e, 0x00000000ffff7f82,
634  0x00000000cccccc4d, 0x00000000ffff0004,
635  0x00000000cccc4ccf, 0x00000000ffff0003,
636  0x00000000cccc4cce, 0x00000000ffff0002,
637  0x00000000cccc4ccd, 0x00000000cccc4cce,
638  0x0000000099999999, 0x00000000aaaa2aac,
639  0x0000000077777777, 0x000000007fff8004,
640  0x000000004ccccccf, 0x000000007fff8003,
641  0x000000004cccccce, 0x000000007fff8002,
642  0x000000004ccccccd, 0x000000007fff8001,
643  0x000000004ccccccc, 0x000000007fff8000,
644  0x000000004ccccccb, 0x000000005554d557,
645  0x0000000022222222, 0x000000003332b335,
646  0x0000000000000000, 0x0000000000000001,
647  0x000000003332b334, 0x0000000000000002,
648  0x000000003332b335, 0x0000000000000003,
649  0x000000003332b336, 0x0000000000000004,
650  0x000000003332b337, 0x0000000000007f81,
651  0x00000000333332b4, 0x0000000000007f82,
652  0x00000000333332b5, 0x0000000000007f83,
653  0x00000000333332b6, 0x0000000000007f84,
654  0x00000000333332b7, 0x0000000000007fe1,
655  0x0000000033333314, 0x0000000000007ffe,
656  0x0000000033333331, 0x0000000000007fff,
657  0x0000000033333332, 0x0000000000008000,
658  0x0000000000007fff, 0x00000000ffff8002,
659  0x00000000ffff8000, 0x00000000ffff8001,
660  0x00000000ffff7fff, 0x00000000ffff8000,
661  0x00000000ffff7ffe, 0x00000000ffff7fe2,
662  0x00000000ffff7fe0, 0x00000000ffff7f85,
663  0x00000000ffff7f83, 0x00000000ffff7f84,
664  0x00000000ffff7f82, 0x00000000ffff7f83,
665  0x00000000ffff7f81, 0x00000000ffff0005,
666  0x00000000ffff0003, 0x00000000ffff0004,
667  0x00000000ffff0002, 0x00000000ffff0003,
668  0x00000000ffff0001, 0x00000000cccc4ccf,
669  0x00000000cccc4ccd, 0x00000000aaaa2aad,
670  0x00000000aaaa2aab, 0x000000007fff8005,
671  0x000000007fff8003, 0x000000007fff8004,
672  0x000000007fff8002, 0x000000007fff8003,
673  0x000000007fff8001, 0x000000007fff8002,
674  0x000000007fff8000, 0x000000007fff8001,
675  0x000000007fff7fff, 0x000000005554d558,
676  0x000000005554d556, 0x000000003332b336,
677  0x000000003332b334, 0x0000000000000002,
678  0x0000000000000000, 0x0000000000000001,
679  0x0000000000000001, 0x0000000000000002,
680  0x0000000000000002, 0x0000000000000003,
681  0x0000000000000003, 0x0000000000007f80,
682  0x0000000000007f80, 0x0000000000007f81,
683  0x0000000000007f81, 0x0000000000007f82,
684  0x0000000000007f82, 0x0000000000007f83,
685  0x0000000000007f83, 0x0000000000007fe0,
686  0x0000000000007fe0, 0x0000000000007ffd,
687  0x0000000000007ffd, 0x0000000000007ffe,
688  0x0000000000007ffe, 0x0000000000007fff,
689  0x0000000000007ffe, 0x00000000ffff8003,
690  0x00000000ffff8001, 0x00000000ffff8002,
691  0x00000000ffff8000, 0x00000000ffff8001,
692  0x00000000ffff7fff, 0x00000000ffff7fe3,
693  0x00000000ffff7fe1, 0x00000000ffff7f86,
694  0x00000000ffff7f84, 0x00000000ffff7f85,
695  0x00000000ffff7f83, 0x00000000ffff7f84,
696  0x00000000ffff7f82, 0x00000000ffff0006,
697  0x00000000ffff0004, 0x00000000ffff0005,
698  0x00000000ffff0003, 0x00000000ffff0004,
699  0x00000000ffff0002, 0x00000000cccc4cd0,
700  0x00000000cccc4cce, 0x00000000aaaa2aae,
701  0x00000000aaaa2aac, 0x000000007fff8006,
702  0x000000007fff8004, 0x000000007fff8005,
703  0x000000007fff8003, 0x000000007fff8004,
704  0x000000007fff8002, 0x000000007fff8003,
705  0x000000007fff8001, 0x000000007fff8002,
706  0x000000007fff8000, 0x000000005554d559,
707  0x000000005554d557, 0x000000003332b337,
708  0x000000003332b335, 0x0000000000000003,
709  0x0000000000000001, 0x0000000000000002,
710  0x0000000000000000, 0x0000000000000001,
711  0x0000000000000001, 0x0000000000000002,
712  0x0000000000000002, 0x0000000000007f7f,
713  0x0000000000007f7f, 0x0000000000007f80,
714  0x0000000000007f80, 0x0000000000007f81,
715  0x0000000000007f81, 0x0000000000007f82,
716  0x0000000000007f82, 0x0000000000007fdf,
717  0x0000000000007fdf, 0x0000000000007ffc,
718  0x0000000000007ffc, 0x0000000000007ffd,
719  0x0000000000007ffd, 0x0000000000007ffe,
720  0x0000000000007ffd, 0x00000000ffff8004,
721  0x00000000ffff8002, 0x00000000ffff8003,
722  0x00000000ffff8001, 0x00000000ffff8002,
723  0x00000000ffff8000, 0x00000000ffff7fe4,
724  0x00000000ffff7fe2, 0x00000000ffff7f87,
725  0x00000000ffff7f85, 0x00000000ffff7f86,
726  0x00000000ffff7f84, 0x00000000ffff7f85,
727  0x00000000ffff7f83, 0x00000000ffff0007,
728  0x00000000ffff0005, 0x00000000ffff0006,
729  0x00000000ffff0004, 0x00000000ffff0005,
730  0x00000000ffff0003, 0x00000000cccc4cd1,
731  0x00000000cccc4ccf, 0x00000000aaaa2aaf,
732  0x00000000aaaa2aad, 0x000000007fff8007,
733  0x000000007fff8005, 0x000000007fff8006,
734  0x000000007fff8004, 0x000000007fff8005,
735  0x000000007fff8003, 0x000000007fff8004,
736  0x000000007fff8002, 0x000000007fff8003,
737  0x000000007fff8001, 0x000000005554d55a,
738  0x000000005554d558, 0x000000003332b338,
739  0x000000003332b336, 0x0000000000000004,
740  0x0000000000000002, 0x0000000000000003,
741  0x0000000000000001, 0x0000000000000002,
742  0x0000000000000000, 0x0000000000000001,
743  0x0000000000000001, 0x0000000000007f7e,
744  0x0000000000007f7e, 0x0000000000007f7f,
745  0x0000000000007f7f, 0x0000000000007f80,
746  0x0000000000007f80, 0x0000000000007f81,
747  0x0000000000007f81, 0x0000000000007fde,
748  0x0000000000007fde, 0x0000000000007ffb,
749  0x0000000000007ffb, 0x0000000000007ffc,
750  0x0000000000007ffc, 0x0000000000007ffd,
751  0x0000000000007ffc, 0x00000000ffffff81,
752  0x00000000ffff8003, 0x00000000ffffff80,
753  0x00000000ffff8002, 0x00000000ffffff7f,
754  0x00000000ffff8001, 0x00000000ffffff61,
755  0x00000000ffff7fe3, 0x00000000ffffff04,
756  0x00000000ffff7f86, 0x00000000ffffff03,
757  0x00000000ffff7f85, 0x00000000ffffff02,
758  0x00000000ffff7f84, 0x00000000ffff7f84,
759  0x00000000ffff0006, 0x00000000ffff7f83,
760  0x00000000ffff0005, 0x00000000ffff7f82,
761  0x00000000ffff0004, 0x00000000cccccc4e,
762  0x00000000cccc4cd0, 0x00000000aaaaaa2c,
763  0x00000000aaaa2aae, 0x000000007fffff84,
764  0x000000007fff8006, 0x000000007fffff83,
765  0x000000007fff8005, 0x000000007fffff82,
766  0x000000007fff8004, 0x000000007fffff81,
767  0x000000007fff8003, 0x000000007fffff80,
768  0x000000007fff8002, 0x00000000555554d7,
769  0x000000005554d559, 0x00000000333332b5,
770  0x000000003332b337, 0x0000000000007f81,
771  0x0000000000000003, 0x0000000000007f80,
772  0x0000000000000002, 0x0000000000007f7f,
773  0x0000000000000001, 0x0000000000007f7e,
774  0x0000000000000000, 0x0000000000000001,
775  0x0000000000007f7d, 0x0000000000000002,
776  0x0000000000007f7e, 0x0000000000000003,
777  0x0000000000007f7f, 0x0000000000000004,
778  0x0000000000007f80, 0x0000000000000061,
779  0x0000000000007fdd, 0x000000000000007e,
780  0x0000000000007ffa, 0x000000000000007f,
781  0x0000000000007ffb, 0x0000000000000080,
782  0x000000000000007f, 0x00000000ffffff82,
783  0x00000000ffffff80, 0x00000000ffffff81,
784  0x00000000ffffff7f, 0x00000000ffffff80,
785  0x00000000ffffff7e, 0x00000000ffffff62,
786  0x00000000ffffff60, 0x00000000ffffff05,
787  0x00000000ffffff03, 0x00000000ffffff04,
788  0x00000000ffffff02, 0x00000000ffffff03,
789  0x00000000ffffff01, 0x00000000ffff7f85,
790  0x00000000ffff7f83, 0x00000000ffff7f84,
791  0x00000000ffff7f82, 0x00000000ffff7f83,
792  0x00000000ffff7f81, 0x00000000cccccc4f,
793  0x00000000cccccc4d, 0x00000000aaaaaa2d,
794  0x00000000aaaaaa2b, 0x000000007fffff85,
795  0x000000007fffff83, 0x000000007fffff84,
796  0x000000007fffff82, 0x000000007fffff83,
797  0x000000007fffff81, 0x000000007fffff82,
798  0x000000007fffff80, 0x000000007fffff81,
799  0x000000007fffff7f, 0x00000000555554d8,
800  0x00000000555554d6, 0x00000000333332b6,
801  0x00000000333332b4, 0x0000000000007f82,
802  0x0000000000007f80, 0x0000000000007f81,
803  0x0000000000007f7f, 0x0000000000007f80,
804  0x0000000000007f7e, 0x0000000000007f7f,
805  0x0000000000007f7d, 0x0000000000000002,
806  0x0000000000000000, 0x0000000000000001,
807  0x0000000000000001, 0x0000000000000002,
808  0x0000000000000002, 0x0000000000000003,
809  0x0000000000000003, 0x0000000000000060,
810  0x0000000000000060, 0x000000000000007d,
811  0x000000000000007d, 0x000000000000007e,
812  0x000000000000007e, 0x000000000000007f,
813  0x000000000000007e, 0x00000000ffffff83,
814  0x00000000ffffff81, 0x00000000ffffff82,
815  0x00000000ffffff80, 0x00000000ffffff81,
816  0x00000000ffffff7f, 0x00000000ffffff63,
817  0x00000000ffffff61, 0x00000000ffffff06,
818  0x00000000ffffff04, 0x00000000ffffff05,
819  0x00000000ffffff03, 0x00000000ffffff04,
820  0x00000000ffffff02, 0x00000000ffff7f86,
821  0x00000000ffff7f84, 0x00000000ffff7f85,
822  0x00000000ffff7f83, 0x00000000ffff7f84,
823  0x00000000ffff7f82, 0x00000000cccccc50,
824  0x00000000cccccc4e, 0x00000000aaaaaa2e,
825  0x00000000aaaaaa2c, 0x000000007fffff86,
826  0x000000007fffff84, 0x000000007fffff85,
827  0x000000007fffff83, 0x000000007fffff84,
828  0x000000007fffff82, 0x000000007fffff83,
829  0x000000007fffff81, 0x000000007fffff82,
830  0x000000007fffff80, 0x00000000555554d9,
831  0x00000000555554d7, 0x00000000333332b7,
832  0x00000000333332b5, 0x0000000000007f83,
833  0x0000000000007f81, 0x0000000000007f82,
834  0x0000000000007f80, 0x0000000000007f81,
835  0x0000000000007f7f, 0x0000000000007f80,
836  0x0000000000007f7e, 0x0000000000000003,
837  0x0000000000000001, 0x0000000000000002,
838  0x0000000000000000, 0x0000000000000001,
839  0x0000000000000001, 0x0000000000000002,
840  0x0000000000000002, 0x000000000000005f,
841  0x000000000000005f, 0x000000000000007c,
842  0x000000000000007c, 0x000000000000007d,
843  0x000000000000007d, 0x000000000000007e,
844  0x000000000000007d, 0x00000000ffffff84,
845  0x00000000ffffff82, 0x00000000ffffff83,
846  0x00000000ffffff81, 0x00000000ffffff82,
847  0x00000000ffffff80, 0x00000000ffffff64,
848  0x00000000ffffff62, 0x00000000ffffff07,
849  0x00000000ffffff05, 0x00000000ffffff06,
850  0x00000000ffffff04, 0x00000000ffffff05,
851  0x00000000ffffff03, 0x00000000ffff7f87,
852  0x00000000ffff7f85, 0x00000000ffff7f86,
853  0x00000000ffff7f84, 0x00000000ffff7f85,
854  0x00000000ffff7f83, 0x00000000cccccc51,
855  0x00000000cccccc4f, 0x00000000aaaaaa2f,
856  0x00000000aaaaaa2d, 0x000000007fffff87,
857  0x000000007fffff85, 0x000000007fffff86,
858  0x000000007fffff84, 0x000000007fffff85,
859  0x000000007fffff83, 0x000000007fffff84,
860  0x000000007fffff82, 0x000000007fffff83,
861  0x000000007fffff81, 0x00000000555554da,
862  0x00000000555554d8, 0x00000000333332b8,
863  0x00000000333332b6, 0x0000000000007f84,
864  0x0000000000007f82, 0x0000000000007f83,
865  0x0000000000007f81, 0x0000000000007f82,
866  0x0000000000007f80, 0x0000000000007f81,
867  0x0000000000007f7f, 0x0000000000000004,
868  0x0000000000000002, 0x0000000000000003,
869  0x0000000000000001, 0x0000000000000002,
870  0x0000000000000000, 0x0000000000000001,
871  0x0000000000000001, 0x000000000000005e,
872  0x000000000000005e, 0x000000000000007b,
873  0x000000000000007b, 0x000000000000007c,
874  0x000000000000007c, 0x000000000000007d,
875  0x000000000000007c, 0x00000000ffffffe1,
876  0x00000000ffffff83, 0x00000000ffffffe0,
877  0x00000000ffffff82, 0x00000000ffffffdf,
878  0x00000000ffffff81, 0x00000000ffffffc1,
879  0x00000000ffffff63, 0x00000000ffffff64,
880  0x00000000ffffff06, 0x00000000ffffff63,
881  0x00000000ffffff05, 0x00000000ffffff62,
882  0x00000000ffffff04, 0x00000000ffff7fe4,
883  0x00000000ffff7f86, 0x00000000ffff7fe3,
884  0x00000000ffff7f85, 0x00000000ffff7fe2,
885  0x00000000ffff7f84, 0x00000000ccccccae,
886  0x00000000cccccc50, 0x00000000aaaaaa8c,
887  0x00000000aaaaaa2e, 0x000000007fffffe4,
888  0x000000007fffff86, 0x000000007fffffe3,
889  0x000000007fffff85, 0x000000007fffffe2,
890  0x000000007fffff84, 0x000000007fffffe1,
891  0x000000007fffff83, 0x000000007fffffe0,
892  0x000000007fffff82, 0x0000000055555537,
893  0x00000000555554d9, 0x0000000033333315,
894  0x00000000333332b7, 0x0000000000007fe1,
895  0x0000000000007f83, 0x0000000000007fe0,
896  0x0000000000007f82, 0x0000000000007fdf,
897  0x0000000000007f81, 0x0000000000007fde,
898  0x0000000000007f80, 0x0000000000000061,
899  0x0000000000000003, 0x0000000000000060,
900  0x0000000000000002, 0x000000000000005f,
901  0x0000000000000001, 0x000000000000005e,
902  0x0000000000000000, 0x0000000000000001,
903  0x000000000000005d, 0x000000000000001e,
904  0x000000000000007a, 0x000000000000001f,
905  0x000000000000007b, 0x0000000000000020,
906  0x000000000000001f, 0x00000000fffffffe,
907  0x00000000ffffffe0, 0x00000000fffffffd,
908  0x00000000ffffffdf, 0x00000000fffffffc,
909  0x00000000ffffffde, 0x00000000ffffffde,
910  0x00000000ffffffc0, 0x00000000ffffff81,
911  0x00000000ffffff63, 0x00000000ffffff80,
912  0x00000000ffffff62, 0x00000000ffffff7f,
913  0x00000000ffffff61, 0x00000000ffff8001,
914  0x00000000ffff7fe3, 0x00000000ffff8000,
915  0x00000000ffff7fe2, 0x00000000ffff7fff,
916  0x00000000ffff7fe1, 0x00000000cccccccb,
917  0x00000000ccccccad, 0x00000000aaaaaaa9,
918  0x00000000aaaaaa8b, 0x0000000080000001,
919  0x000000007fffffe3, 0x0000000080000000,
920  0x000000007fffffe2, 0x000000007fffffff,
921  0x000000007fffffe1, 0x000000007ffffffe,
922  0x000000007fffffe0, 0x000000007ffffffd,
923  0x000000007fffffdf, 0x0000000055555554,
924  0x0000000055555536, 0x0000000033333332,
925  0x0000000033333314, 0x0000000000007ffe,
926  0x0000000000007fe0, 0x0000000000007ffd,
927  0x0000000000007fdf, 0x0000000000007ffc,
928  0x0000000000007fde, 0x0000000000007ffb,
929  0x0000000000007fdd, 0x000000000000007e,
930  0x0000000000000060, 0x000000000000007d,
931  0x000000000000005f, 0x000000000000007c,
932  0x000000000000005e, 0x000000000000007b,
933  0x000000000000005d, 0x000000000000001e,
934  0x0000000000000000, 0x0000000000000001,
935  0x000000000000001d, 0x0000000000000002,
936  0x000000000000001e, 0x0000000000000003,
937  0x0000000000000002, 0x00000000ffffffff,
938  0x00000000fffffffd, 0x00000000fffffffe,
939  0x00000000fffffffc, 0x00000000fffffffd,
940  0x00000000fffffffb, 0x00000000ffffffdf,
941  0x00000000ffffffdd, 0x00000000ffffff82,
942  0x00000000ffffff80, 0x00000000ffffff81,
943  0x00000000ffffff7f, 0x00000000ffffff80,
944  0x00000000ffffff7e, 0x00000000ffff8002,
945  0x00000000ffff8000, 0x00000000ffff8001,
946  0x00000000ffff7fff, 0x00000000ffff8000,
947  0x00000000ffff7ffe, 0x00000000cccccccc,
948  0x00000000ccccccca, 0x00000000aaaaaaaa,
949  0x00000000aaaaaaa8, 0x0000000080000002,
950  0x0000000080000000, 0x0000000080000001,
951  0x000000007fffffff, 0x0000000080000000,
952  0x000000007ffffffe, 0x000000007fffffff,
953  0x000000007ffffffd, 0x000000007ffffffe,
954  0x000000007ffffffc, 0x0000000055555555,
955  0x0000000055555553, 0x0000000033333333,
956  0x0000000033333331, 0x0000000000007fff,
957  0x0000000000007ffd, 0x0000000000007ffe,
958  0x0000000000007ffc, 0x0000000000007ffd,
959  0x0000000000007ffb, 0x0000000000007ffc,
960  0x0000000000007ffa, 0x000000000000007f,
961  0x000000000000007d, 0x000000000000007e,
962  0x000000000000007c, 0x000000000000007d,
963  0x000000000000007b, 0x000000000000007c,
964  0x000000000000007a, 0x000000000000001f,
965  0x000000000000001d, 0x0000000000000002,
966  0x0000000000000000, 0x0000000000000001,
967  0x0000000000000001, 0x0000000000000002,
968  0x0000000000000001, 0x0000000100000000,
969  0x00000000fffffffe, 0x00000000ffffffff,
970  0x00000000fffffffd, 0x00000000fffffffe,
971  0x00000000fffffffc, 0x00000000ffffffe0,
972  0x00000000ffffffde, 0x00000000ffffff83,
973  0x00000000ffffff81, 0x00000000ffffff82,
974  0x00000000ffffff80, 0x00000000ffffff81,
975  0x00000000ffffff7f, 0x00000000ffff8003,
976  0x00000000ffff8001, 0x00000000ffff8002,
977  0x00000000ffff8000, 0x00000000ffff8001,
978  0x00000000ffff7fff, 0x00000000cccccccd,
979  0x00000000cccccccb, 0x00000000aaaaaaab,
980  0x00000000aaaaaaa9, 0x0000000080000003,
981  0x0000000080000001, 0x0000000080000002,
982  0x0000000080000000, 0x0000000080000001,
983  0x000000007fffffff, 0x0000000080000000,
984  0x000000007ffffffe, 0x000000007fffffff,
985  0x000000007ffffffd, 0x0000000055555556,
986  0x0000000055555554, 0x0000000033333334,
987  0x0000000033333332, 0x0000000000008000,
988  0x0000000000007ffe, 0x0000000000007fff,
989  0x0000000000007ffd, 0x0000000000007ffe,
990  0x0000000000007ffc, 0x0000000000007ffd,
991  0x0000000000007ffb, 0x0000000000000080,
992  0x000000000000007e, 0x000000000000007f,
993  0x000000000000007d, 0x000000000000007e,
994  0x000000000000007c, 0x000000000000007d,
995  0x000000000000007b, 0x0000000000000020,
996  0x000000000000001e, 0x0000000000000003,
997  0x0000000000000001, 0x0000000000000002,
998  0x0000000000000000, 0x0000000000000001,
999};
1000const unsigned kExpectedCount_NEON_uabal2_2D = 961;
1001
1002#endif  // VIXL_SIM_UABAL2_2D_TRACE_AARCH64_H_
1003