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