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_UADDL_2D_TRACE_AARCH64_H_
35#define VIXL_SIM_UADDL_2D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_uaddl_2D[] = {
38  0x000000000000fc00, 0x000000000000fe00,
39  0x000000000000fd00, 0x0000000000807c00,
40  0x0000000000807b00, 0x0000000000007f00,
41  0x0000000000007e00, 0x0000000000007f01,
42  0x0000000000007e01, 0x0000000000007f02,
43  0x0000000000007e02, 0x0000000000007f20,
44  0x0000000000007e20, 0x0000000000007f7d,
45  0x0000000000007e7d, 0x0000000000007f7e,
46  0x0000000000007e7e, 0x0000000000007f7f,
47  0x0000000000007e7f, 0x000000000000fefd,
48  0x000000000000fdfd, 0x000000000000fefe,
49  0x000000000000fdfe, 0x000000000000feff,
50  0x000000000000fdff, 0x000000003333b233,
51  0x000000003333b133, 0x000000005555d455,
52  0x000000005555d355, 0x0000000080007efd,
53  0x0000000080007dfd, 0x0000000080007efe,
54  0x0000000080007dfe, 0x0000000080007eff,
55  0x0000000080007dff, 0x0000000080007f00,
56  0x0000000080007e00, 0x0000000080007f01,
57  0x0000000080007e01, 0x00000000aaab29aa,
58  0x00000000aaab28aa, 0x00000000cccd4bcc,
59  0x00000000cccd4acc, 0x00000000ffffff00,
60  0x00000000fffffe00, 0x00000000ffffff01,
61  0x00000000fffffe01, 0x00000000ffffff02,
62  0x00000000fffffe02, 0x00000000ffffff03,
63  0x00000000fffffe03, 0x0000000100007e80,
64  0x0000000100007d80, 0x0000000100007e81,
65  0x0000000100007d81, 0x0000000100007e82,
66  0x0000000100007d82, 0x0000000100007e83,
67  0x0000000100007d83, 0x0000000100007ee0,
68  0x0000000100007de0, 0x0000000100007efd,
69  0x0000000100007efd, 0x00000001007ffcfe,
70  0x0000000100007efe, 0x00000001007ffcff,
71  0x0000000100007eff, 0x00000000007ffd00,
72  0x0000000000007f00, 0x00000000007ffd01,
73  0x0000000000007f01, 0x00000000007ffd02,
74  0x0000000000007f02, 0x00000000007ffd20,
75  0x0000000000007f20, 0x00000000007ffd7d,
76  0x0000000000007f7d, 0x00000000007ffd7e,
77  0x0000000000007f7e, 0x00000000007ffd7f,
78  0x0000000000007f7f, 0x0000000000807cfd,
79  0x000000000000fefd, 0x0000000000807cfe,
80  0x000000000000fefe, 0x0000000000807cff,
81  0x000000000000feff, 0x0000000033b33033,
82  0x000000003333b233, 0x0000000055d55255,
83  0x000000005555d455, 0x00000000807ffcfd,
84  0x0000000080007efd, 0x00000000807ffcfe,
85  0x0000000080007efe, 0x00000000807ffcff,
86  0x0000000080007eff, 0x00000000807ffd00,
87  0x0000000080007f00, 0x00000000807ffd01,
88  0x0000000080007f01, 0x00000000ab2aa7aa,
89  0x00000000aaab29aa, 0x00000000cd4cc9cc,
90  0x00000000cccd4bcc, 0x00000001007f7d00,
91  0x00000000ffffff00, 0x00000001007f7d01,
92  0x00000000ffffff01, 0x00000001007f7d02,
93  0x00000000ffffff02, 0x00000001007f7d03,
94  0x00000000ffffff03, 0x00000001007ffc80,
95  0x0000000100007e80, 0x00000001007ffc81,
96  0x0000000100007e81, 0x00000001007ffc82,
97  0x0000000100007e82, 0x00000001007ffc83,
98  0x0000000100007e83, 0x00000001007ffce0,
99  0x0000000100007ee0, 0x00000001007ffcfd,
100  0x00000001007ffcfd, 0x00000000fffffffe,
101  0x00000001007ffcfe, 0x00000000ffffffff,
102  0x00000001007ffcff, 0x0000000000000000,
103  0x00000000007ffd00, 0x0000000000000001,
104  0x00000000007ffd01, 0x0000000000000002,
105  0x00000000007ffd02, 0x0000000000000020,
106  0x00000000007ffd20, 0x000000000000007d,
107  0x00000000007ffd7d, 0x000000000000007e,
108  0x00000000007ffd7e, 0x000000000000007f,
109  0x00000000007ffd7f, 0x0000000000007ffd,
110  0x0000000000807cfd, 0x0000000000007ffe,
111  0x0000000000807cfe, 0x0000000000007fff,
112  0x0000000000807cff, 0x0000000033333333,
113  0x0000000033b33033, 0x0000000055555555,
114  0x0000000055d55255, 0x000000007ffffffd,
115  0x00000000807ffcfd, 0x000000007ffffffe,
116  0x00000000807ffcfe, 0x000000007fffffff,
117  0x00000000807ffcff, 0x0000000080000000,
118  0x00000000807ffd00, 0x0000000080000001,
119  0x00000000807ffd01, 0x00000000aaaaaaaa,
120  0x00000000ab2aa7aa, 0x00000000cccccccc,
121  0x00000000cd4cc9cc, 0x00000000ffff8000,
122  0x00000001007f7d00, 0x00000000ffff8001,
123  0x00000001007f7d01, 0x00000000ffff8002,
124  0x00000001007f7d02, 0x00000000ffff8003,
125  0x00000001007f7d03, 0x00000000ffffff80,
126  0x00000001007ffc80, 0x00000000ffffff81,
127  0x00000001007ffc81, 0x00000000ffffff82,
128  0x00000001007ffc82, 0x00000000ffffff83,
129  0x00000001007ffc83, 0x00000000ffffffe0,
130  0x00000001007ffce0, 0x00000000fffffffd,
131  0x00000000fffffffd, 0x00000000ffffffff,
132  0x00000000fffffffe, 0x0000000100000000,
133  0x00000000ffffffff, 0x0000000000000001,
134  0x0000000000000000, 0x0000000000000002,
135  0x0000000000000001, 0x0000000000000003,
136  0x0000000000000002, 0x0000000000000021,
137  0x0000000000000020, 0x000000000000007e,
138  0x000000000000007d, 0x000000000000007f,
139  0x000000000000007e, 0x0000000000000080,
140  0x000000000000007f, 0x0000000000007ffe,
141  0x0000000000007ffd, 0x0000000000007fff,
142  0x0000000000007ffe, 0x0000000000008000,
143  0x0000000000007fff, 0x0000000033333334,
144  0x0000000033333333, 0x0000000055555556,
145  0x0000000055555555, 0x000000007ffffffe,
146  0x000000007ffffffd, 0x000000007fffffff,
147  0x000000007ffffffe, 0x0000000080000000,
148  0x000000007fffffff, 0x0000000080000001,
149  0x0000000080000000, 0x0000000080000002,
150  0x0000000080000001, 0x00000000aaaaaaab,
151  0x00000000aaaaaaaa, 0x00000000cccccccd,
152  0x00000000cccccccc, 0x00000000ffff8001,
153  0x00000000ffff8000, 0x00000000ffff8002,
154  0x00000000ffff8001, 0x00000000ffff8003,
155  0x00000000ffff8002, 0x00000000ffff8004,
156  0x00000000ffff8003, 0x00000000ffffff81,
157  0x00000000ffffff80, 0x00000000ffffff82,
158  0x00000000ffffff81, 0x00000000ffffff83,
159  0x00000000ffffff82, 0x00000000ffffff84,
160  0x00000000ffffff83, 0x00000000ffffffe1,
161  0x00000000ffffffe0, 0x00000000fffffffe,
162  0x00000000fffffffe, 0x0000000100000000,
163  0x00000000ffffffff, 0x0000000100000001,
164  0x0000000100000000, 0x0000000000000002,
165  0x0000000000000001, 0x0000000000000003,
166  0x0000000000000002, 0x0000000000000004,
167  0x0000000000000003, 0x0000000000000022,
168  0x0000000000000021, 0x000000000000007f,
169  0x000000000000007e, 0x0000000000000080,
170  0x000000000000007f, 0x0000000000000081,
171  0x0000000000000080, 0x0000000000007fff,
172  0x0000000000007ffe, 0x0000000000008000,
173  0x0000000000007fff, 0x0000000000008001,
174  0x0000000000008000, 0x0000000033333335,
175  0x0000000033333334, 0x0000000055555557,
176  0x0000000055555556, 0x000000007fffffff,
177  0x000000007ffffffe, 0x0000000080000000,
178  0x000000007fffffff, 0x0000000080000001,
179  0x0000000080000000, 0x0000000080000002,
180  0x0000000080000001, 0x0000000080000003,
181  0x0000000080000002, 0x00000000aaaaaaac,
182  0x00000000aaaaaaab, 0x00000000ccccccce,
183  0x00000000cccccccd, 0x00000000ffff8002,
184  0x00000000ffff8001, 0x00000000ffff8003,
185  0x00000000ffff8002, 0x00000000ffff8004,
186  0x00000000ffff8003, 0x00000000ffff8005,
187  0x00000000ffff8004, 0x00000000ffffff82,
188  0x00000000ffffff81, 0x00000000ffffff83,
189  0x00000000ffffff82, 0x00000000ffffff84,
190  0x00000000ffffff83, 0x00000000ffffff85,
191  0x00000000ffffff84, 0x00000000ffffffe2,
192  0x00000000ffffffe1, 0x00000000ffffffff,
193  0x00000000ffffffff, 0x000000010000001e,
194  0x0000000100000000, 0x000000010000001f,
195  0x0000000100000001, 0x0000000000000020,
196  0x0000000000000002, 0x0000000000000021,
197  0x0000000000000003, 0x0000000000000022,
198  0x0000000000000004, 0x0000000000000040,
199  0x0000000000000022, 0x000000000000009d,
200  0x000000000000007f, 0x000000000000009e,
201  0x0000000000000080, 0x000000000000009f,
202  0x0000000000000081, 0x000000000000801d,
203  0x0000000000007fff, 0x000000000000801e,
204  0x0000000000008000, 0x000000000000801f,
205  0x0000000000008001, 0x0000000033333353,
206  0x0000000033333335, 0x0000000055555575,
207  0x0000000055555557, 0x000000008000001d,
208  0x000000007fffffff, 0x000000008000001e,
209  0x0000000080000000, 0x000000008000001f,
210  0x0000000080000001, 0x0000000080000020,
211  0x0000000080000002, 0x0000000080000021,
212  0x0000000080000003, 0x00000000aaaaaaca,
213  0x00000000aaaaaaac, 0x00000000ccccccec,
214  0x00000000ccccccce, 0x00000000ffff8020,
215  0x00000000ffff8002, 0x00000000ffff8021,
216  0x00000000ffff8003, 0x00000000ffff8022,
217  0x00000000ffff8004, 0x00000000ffff8023,
218  0x00000000ffff8005, 0x00000000ffffffa0,
219  0x00000000ffffff82, 0x00000000ffffffa1,
220  0x00000000ffffff83, 0x00000000ffffffa2,
221  0x00000000ffffff84, 0x00000000ffffffa3,
222  0x00000000ffffff85, 0x0000000100000000,
223  0x00000000ffffffe2, 0x000000010000001d,
224  0x000000010000001d, 0x000000010000007b,
225  0x000000010000001e, 0x000000010000007c,
226  0x000000010000001f, 0x000000000000007d,
227  0x0000000000000020, 0x000000000000007e,
228  0x0000000000000021, 0x000000000000007f,
229  0x0000000000000022, 0x000000000000009d,
230  0x0000000000000040, 0x00000000000000fa,
231  0x000000000000009d, 0x00000000000000fb,
232  0x000000000000009e, 0x00000000000000fc,
233  0x000000000000009f, 0x000000000000807a,
234  0x000000000000801d, 0x000000000000807b,
235  0x000000000000801e, 0x000000000000807c,
236  0x000000000000801f, 0x00000000333333b0,
237  0x0000000033333353, 0x00000000555555d2,
238  0x0000000055555575, 0x000000008000007a,
239  0x000000008000001d, 0x000000008000007b,
240  0x000000008000001e, 0x000000008000007c,
241  0x000000008000001f, 0x000000008000007d,
242  0x0000000080000020, 0x000000008000007e,
243  0x0000000080000021, 0x00000000aaaaab27,
244  0x00000000aaaaaaca, 0x00000000cccccd49,
245  0x00000000ccccccec, 0x00000000ffff807d,
246  0x00000000ffff8020, 0x00000000ffff807e,
247  0x00000000ffff8021, 0x00000000ffff807f,
248  0x00000000ffff8022, 0x00000000ffff8080,
249  0x00000000ffff8023, 0x00000000fffffffd,
250  0x00000000ffffffa0, 0x00000000fffffffe,
251  0x00000000ffffffa1, 0x00000000ffffffff,
252  0x00000000ffffffa2, 0x0000000100000000,
253  0x00000000ffffffa3, 0x000000010000005d,
254  0x0000000100000000, 0x000000010000007a,
255  0x000000010000007a, 0x000000010000007c,
256  0x000000010000007b, 0x000000010000007d,
257  0x000000010000007c, 0x000000000000007e,
258  0x000000000000007d, 0x000000000000007f,
259  0x000000000000007e, 0x0000000000000080,
260  0x000000000000007f, 0x000000000000009e,
261  0x000000000000009d, 0x00000000000000fb,
262  0x00000000000000fa, 0x00000000000000fc,
263  0x00000000000000fb, 0x00000000000000fd,
264  0x00000000000000fc, 0x000000000000807b,
265  0x000000000000807a, 0x000000000000807c,
266  0x000000000000807b, 0x000000000000807d,
267  0x000000000000807c, 0x00000000333333b1,
268  0x00000000333333b0, 0x00000000555555d3,
269  0x00000000555555d2, 0x000000008000007b,
270  0x000000008000007a, 0x000000008000007c,
271  0x000000008000007b, 0x000000008000007d,
272  0x000000008000007c, 0x000000008000007e,
273  0x000000008000007d, 0x000000008000007f,
274  0x000000008000007e, 0x00000000aaaaab28,
275  0x00000000aaaaab27, 0x00000000cccccd4a,
276  0x00000000cccccd49, 0x00000000ffff807e,
277  0x00000000ffff807d, 0x00000000ffff807f,
278  0x00000000ffff807e, 0x00000000ffff8080,
279  0x00000000ffff807f, 0x00000000ffff8081,
280  0x00000000ffff8080, 0x00000000fffffffe,
281  0x00000000fffffffd, 0x00000000ffffffff,
282  0x00000000fffffffe, 0x0000000100000000,
283  0x00000000ffffffff, 0x0000000100000001,
284  0x0000000100000000, 0x000000010000005e,
285  0x000000010000005d, 0x000000010000007b,
286  0x000000010000007b, 0x000000010000007d,
287  0x000000010000007c, 0x000000010000007e,
288  0x000000010000007d, 0x000000000000007f,
289  0x000000000000007e, 0x0000000000000080,
290  0x000000000000007f, 0x0000000000000081,
291  0x0000000000000080, 0x000000000000009f,
292  0x000000000000009e, 0x00000000000000fc,
293  0x00000000000000fb, 0x00000000000000fd,
294  0x00000000000000fc, 0x00000000000000fe,
295  0x00000000000000fd, 0x000000000000807c,
296  0x000000000000807b, 0x000000000000807d,
297  0x000000000000807c, 0x000000000000807e,
298  0x000000000000807d, 0x00000000333333b2,
299  0x00000000333333b1, 0x00000000555555d4,
300  0x00000000555555d3, 0x000000008000007c,
301  0x000000008000007b, 0x000000008000007d,
302  0x000000008000007c, 0x000000008000007e,
303  0x000000008000007d, 0x000000008000007f,
304  0x000000008000007e, 0x0000000080000080,
305  0x000000008000007f, 0x00000000aaaaab29,
306  0x00000000aaaaab28, 0x00000000cccccd4b,
307  0x00000000cccccd4a, 0x00000000ffff807f,
308  0x00000000ffff807e, 0x00000000ffff8080,
309  0x00000000ffff807f, 0x00000000ffff8081,
310  0x00000000ffff8080, 0x00000000ffff8082,
311  0x00000000ffff8081, 0x00000000ffffffff,
312  0x00000000fffffffe, 0x0000000100000000,
313  0x00000000ffffffff, 0x0000000100000001,
314  0x0000000100000000, 0x0000000100000002,
315  0x0000000100000001, 0x000000010000005f,
316  0x000000010000005e, 0x000000010000007c,
317  0x000000010000007c, 0x0000000100007ffb,
318  0x000000010000007d, 0x0000000100007ffc,
319  0x000000010000007e, 0x0000000000007ffd,
320  0x000000000000007f, 0x0000000000007ffe,
321  0x0000000000000080, 0x0000000000007fff,
322  0x0000000000000081, 0x000000000000801d,
323  0x000000000000009f, 0x000000000000807a,
324  0x00000000000000fc, 0x000000000000807b,
325  0x00000000000000fd, 0x000000000000807c,
326  0x00000000000000fe, 0x000000000000fffa,
327  0x000000000000807c, 0x000000000000fffb,
328  0x000000000000807d, 0x000000000000fffc,
329  0x000000000000807e, 0x000000003333b330,
330  0x00000000333333b2, 0x000000005555d552,
331  0x00000000555555d4, 0x0000000080007ffa,
332  0x000000008000007c, 0x0000000080007ffb,
333  0x000000008000007d, 0x0000000080007ffc,
334  0x000000008000007e, 0x0000000080007ffd,
335  0x000000008000007f, 0x0000000080007ffe,
336  0x0000000080000080, 0x00000000aaab2aa7,
337  0x00000000aaaaab29, 0x00000000cccd4cc9,
338  0x00000000cccccd4b, 0x00000000fffffffd,
339  0x00000000ffff807f, 0x00000000fffffffe,
340  0x00000000ffff8080, 0x00000000ffffffff,
341  0x00000000ffff8081, 0x0000000100000000,
342  0x00000000ffff8082, 0x0000000100007f7d,
343  0x00000000ffffffff, 0x0000000100007f7e,
344  0x0000000100000000, 0x0000000100007f7f,
345  0x0000000100000001, 0x0000000100007f80,
346  0x0000000100000002, 0x0000000100007fdd,
347  0x000000010000005f, 0x0000000100007ffa,
348  0x0000000100007ffa, 0x0000000100007ffc,
349  0x0000000100007ffb, 0x0000000100007ffd,
350  0x0000000100007ffc, 0x0000000000007ffe,
351  0x0000000000007ffd, 0x0000000000007fff,
352  0x0000000000007ffe, 0x0000000000008000,
353  0x0000000000007fff, 0x000000000000801e,
354  0x000000000000801d, 0x000000000000807b,
355  0x000000000000807a, 0x000000000000807c,
356  0x000000000000807b, 0x000000000000807d,
357  0x000000000000807c, 0x000000000000fffb,
358  0x000000000000fffa, 0x000000000000fffc,
359  0x000000000000fffb, 0x000000000000fffd,
360  0x000000000000fffc, 0x000000003333b331,
361  0x000000003333b330, 0x000000005555d553,
362  0x000000005555d552, 0x0000000080007ffb,
363  0x0000000080007ffa, 0x0000000080007ffc,
364  0x0000000080007ffb, 0x0000000080007ffd,
365  0x0000000080007ffc, 0x0000000080007ffe,
366  0x0000000080007ffd, 0x0000000080007fff,
367  0x0000000080007ffe, 0x00000000aaab2aa8,
368  0x00000000aaab2aa7, 0x00000000cccd4cca,
369  0x00000000cccd4cc9, 0x00000000fffffffe,
370  0x00000000fffffffd, 0x00000000ffffffff,
371  0x00000000fffffffe, 0x0000000100000000,
372  0x00000000ffffffff, 0x0000000100000001,
373  0x0000000100000000, 0x0000000100007f7e,
374  0x0000000100007f7d, 0x0000000100007f7f,
375  0x0000000100007f7e, 0x0000000100007f80,
376  0x0000000100007f7f, 0x0000000100007f81,
377  0x0000000100007f80, 0x0000000100007fde,
378  0x0000000100007fdd, 0x0000000100007ffb,
379  0x0000000100007ffb, 0x0000000100007ffd,
380  0x0000000100007ffc, 0x0000000100007ffe,
381  0x0000000100007ffd, 0x0000000000007fff,
382  0x0000000000007ffe, 0x0000000000008000,
383  0x0000000000007fff, 0x0000000000008001,
384  0x0000000000008000, 0x000000000000801f,
385  0x000000000000801e, 0x000000000000807c,
386  0x000000000000807b, 0x000000000000807d,
387  0x000000000000807c, 0x000000000000807e,
388  0x000000000000807d, 0x000000000000fffc,
389  0x000000000000fffb, 0x000000000000fffd,
390  0x000000000000fffc, 0x000000000000fffe,
391  0x000000000000fffd, 0x000000003333b332,
392  0x000000003333b331, 0x000000005555d554,
393  0x000000005555d553, 0x0000000080007ffc,
394  0x0000000080007ffb, 0x0000000080007ffd,
395  0x0000000080007ffc, 0x0000000080007ffe,
396  0x0000000080007ffd, 0x0000000080007fff,
397  0x0000000080007ffe, 0x0000000080008000,
398  0x0000000080007fff, 0x00000000aaab2aa9,
399  0x00000000aaab2aa8, 0x00000000cccd4ccb,
400  0x00000000cccd4cca, 0x00000000ffffffff,
401  0x00000000fffffffe, 0x0000000100000000,
402  0x00000000ffffffff, 0x0000000100000001,
403  0x0000000100000000, 0x0000000100000002,
404  0x0000000100000001, 0x0000000100007f7f,
405  0x0000000100007f7e, 0x0000000100007f80,
406  0x0000000100007f7f, 0x0000000100007f81,
407  0x0000000100007f80, 0x0000000100007f82,
408  0x0000000100007f81, 0x0000000100007fdf,
409  0x0000000100007fde, 0x0000000100007ffc,
410  0x0000000100007ffc, 0x0000000133333331,
411  0x0000000100007ffd, 0x0000000133333332,
412  0x0000000100007ffe, 0x0000000033333333,
413  0x0000000000007fff, 0x0000000033333334,
414  0x0000000000008000, 0x0000000033333335,
415  0x0000000000008001, 0x0000000033333353,
416  0x000000000000801f, 0x00000000333333b0,
417  0x000000000000807c, 0x00000000333333b1,
418  0x000000000000807d, 0x00000000333333b2,
419  0x000000000000807e, 0x000000003333b330,
420  0x000000000000fffc, 0x000000003333b331,
421  0x000000000000fffd, 0x000000003333b332,
422  0x000000000000fffe, 0x0000000066666666,
423  0x000000003333b332, 0x0000000088888888,
424  0x000000005555d554, 0x00000000b3333330,
425  0x0000000080007ffc, 0x00000000b3333331,
426  0x0000000080007ffd, 0x00000000b3333332,
427  0x0000000080007ffe, 0x00000000b3333333,
428  0x0000000080007fff, 0x00000000b3333334,
429  0x0000000080008000, 0x00000000dddddddd,
430  0x00000000aaab2aa9, 0x00000000ffffffff,
431  0x00000000cccd4ccb, 0x000000013332b333,
432  0x00000000ffffffff, 0x000000013332b334,
433  0x0000000100000000, 0x000000013332b335,
434  0x0000000100000001, 0x000000013332b336,
435  0x0000000100000002, 0x00000001333332b3,
436  0x0000000100007f7f, 0x00000001333332b4,
437  0x0000000100007f80, 0x00000001333332b5,
438  0x0000000100007f81, 0x00000001333332b6,
439  0x0000000100007f82, 0x0000000133333313,
440  0x0000000100007fdf, 0x0000000133333330,
441  0x0000000133333330, 0x0000000155555553,
442  0x0000000133333331, 0x0000000155555554,
443  0x0000000133333332, 0x0000000055555555,
444  0x0000000033333333, 0x0000000055555556,
445  0x0000000033333334, 0x0000000055555557,
446  0x0000000033333335, 0x0000000055555575,
447  0x0000000033333353, 0x00000000555555d2,
448  0x00000000333333b0, 0x00000000555555d3,
449  0x00000000333333b1, 0x00000000555555d4,
450  0x00000000333333b2, 0x000000005555d552,
451  0x000000003333b330, 0x000000005555d553,
452  0x000000003333b331, 0x000000005555d554,
453  0x000000003333b332, 0x0000000088888888,
454  0x0000000066666666, 0x00000000aaaaaaaa,
455  0x0000000088888888, 0x00000000d5555552,
456  0x00000000b3333330, 0x00000000d5555553,
457  0x00000000b3333331, 0x00000000d5555554,
458  0x00000000b3333332, 0x00000000d5555555,
459  0x00000000b3333333, 0x00000000d5555556,
460  0x00000000b3333334, 0x00000000ffffffff,
461  0x00000000dddddddd, 0x0000000122222221,
462  0x00000000ffffffff, 0x000000015554d555,
463  0x000000013332b333, 0x000000015554d556,
464  0x000000013332b334, 0x000000015554d557,
465  0x000000013332b335, 0x000000015554d558,
466  0x000000013332b336, 0x00000001555554d5,
467  0x00000001333332b3, 0x00000001555554d6,
468  0x00000001333332b4, 0x00000001555554d7,
469  0x00000001333332b5, 0x00000001555554d8,
470  0x00000001333332b6, 0x0000000155555535,
471  0x0000000133333313, 0x0000000155555552,
472  0x0000000155555552, 0x000000017ffffffb,
473  0x0000000155555553, 0x000000017ffffffc,
474  0x0000000155555554, 0x000000007ffffffd,
475  0x0000000055555555, 0x000000007ffffffe,
476  0x0000000055555556, 0x000000007fffffff,
477  0x0000000055555557, 0x000000008000001d,
478  0x0000000055555575, 0x000000008000007a,
479  0x00000000555555d2, 0x000000008000007b,
480  0x00000000555555d3, 0x000000008000007c,
481  0x00000000555555d4, 0x0000000080007ffa,
482  0x000000005555d552, 0x0000000080007ffb,
483  0x000000005555d553, 0x0000000080007ffc,
484  0x000000005555d554, 0x00000000b3333330,
485  0x0000000088888888, 0x00000000d5555552,
486  0x00000000aaaaaaaa, 0x00000000fffffffa,
487  0x00000000d5555552, 0x00000000fffffffb,
488  0x00000000d5555553, 0x00000000fffffffc,
489  0x00000000d5555554, 0x00000000fffffffd,
490  0x00000000d5555555, 0x00000000fffffffe,
491  0x00000000d5555556, 0x000000012aaaaaa7,
492  0x00000000ffffffff, 0x000000014cccccc9,
493  0x0000000122222221, 0x000000017fff7ffd,
494  0x000000015554d555, 0x000000017fff7ffe,
495  0x000000015554d556, 0x000000017fff7fff,
496  0x000000015554d557, 0x000000017fff8000,
497  0x000000015554d558, 0x000000017fffff7d,
498  0x00000001555554d5, 0x000000017fffff7e,
499  0x00000001555554d6, 0x000000017fffff7f,
500  0x00000001555554d7, 0x000000017fffff80,
501  0x00000001555554d8, 0x000000017fffffdd,
502  0x0000000155555535, 0x000000017ffffffa,
503  0x000000017ffffffa, 0x000000017ffffffc,
504  0x000000017ffffffb, 0x000000017ffffffd,
505  0x000000017ffffffc, 0x000000007ffffffe,
506  0x000000007ffffffd, 0x000000007fffffff,
507  0x000000007ffffffe, 0x0000000080000000,
508  0x000000007fffffff, 0x000000008000001e,
509  0x000000008000001d, 0x000000008000007b,
510  0x000000008000007a, 0x000000008000007c,
511  0x000000008000007b, 0x000000008000007d,
512  0x000000008000007c, 0x0000000080007ffb,
513  0x0000000080007ffa, 0x0000000080007ffc,
514  0x0000000080007ffb, 0x0000000080007ffd,
515  0x0000000080007ffc, 0x00000000b3333331,
516  0x00000000b3333330, 0x00000000d5555553,
517  0x00000000d5555552, 0x00000000fffffffb,
518  0x00000000fffffffa, 0x00000000fffffffc,
519  0x00000000fffffffb, 0x00000000fffffffd,
520  0x00000000fffffffc, 0x00000000fffffffe,
521  0x00000000fffffffd, 0x00000000ffffffff,
522  0x00000000fffffffe, 0x000000012aaaaaa8,
523  0x000000012aaaaaa7, 0x000000014cccccca,
524  0x000000014cccccc9, 0x000000017fff7ffe,
525  0x000000017fff7ffd, 0x000000017fff7fff,
526  0x000000017fff7ffe, 0x000000017fff8000,
527  0x000000017fff7fff, 0x000000017fff8001,
528  0x000000017fff8000, 0x000000017fffff7e,
529  0x000000017fffff7d, 0x000000017fffff7f,
530  0x000000017fffff7e, 0x000000017fffff80,
531  0x000000017fffff7f, 0x000000017fffff81,
532  0x000000017fffff80, 0x000000017fffffde,
533  0x000000017fffffdd, 0x000000017ffffffb,
534  0x000000017ffffffb, 0x000000017ffffffd,
535  0x000000017ffffffc, 0x000000017ffffffe,
536  0x000000017ffffffd, 0x000000007fffffff,
537  0x000000007ffffffe, 0x0000000080000000,
538  0x000000007fffffff, 0x0000000080000001,
539  0x0000000080000000, 0x000000008000001f,
540  0x000000008000001e, 0x000000008000007c,
541  0x000000008000007b, 0x000000008000007d,
542  0x000000008000007c, 0x000000008000007e,
543  0x000000008000007d, 0x0000000080007ffc,
544  0x0000000080007ffb, 0x0000000080007ffd,
545  0x0000000080007ffc, 0x0000000080007ffe,
546  0x0000000080007ffd, 0x00000000b3333332,
547  0x00000000b3333331, 0x00000000d5555554,
548  0x00000000d5555553, 0x00000000fffffffc,
549  0x00000000fffffffb, 0x00000000fffffffd,
550  0x00000000fffffffc, 0x00000000fffffffe,
551  0x00000000fffffffd, 0x00000000ffffffff,
552  0x00000000fffffffe, 0x0000000100000000,
553  0x00000000ffffffff, 0x000000012aaaaaa9,
554  0x000000012aaaaaa8, 0x000000014ccccccb,
555  0x000000014cccccca, 0x000000017fff7fff,
556  0x000000017fff7ffe, 0x000000017fff8000,
557  0x000000017fff7fff, 0x000000017fff8001,
558  0x000000017fff8000, 0x000000017fff8002,
559  0x000000017fff8001, 0x000000017fffff7f,
560  0x000000017fffff7e, 0x000000017fffff80,
561  0x000000017fffff7f, 0x000000017fffff81,
562  0x000000017fffff80, 0x000000017fffff82,
563  0x000000017fffff81, 0x000000017fffffdf,
564  0x000000017fffffde, 0x000000017ffffffc,
565  0x000000017ffffffc, 0x000000017ffffffe,
566  0x000000017ffffffd, 0x000000017fffffff,
567  0x000000017ffffffe, 0x0000000080000000,
568  0x000000007fffffff, 0x0000000080000001,
569  0x0000000080000000, 0x0000000080000002,
570  0x0000000080000001, 0x0000000080000020,
571  0x000000008000001f, 0x000000008000007d,
572  0x000000008000007c, 0x000000008000007e,
573  0x000000008000007d, 0x000000008000007f,
574  0x000000008000007e, 0x0000000080007ffd,
575  0x0000000080007ffc, 0x0000000080007ffe,
576  0x0000000080007ffd, 0x0000000080007fff,
577  0x0000000080007ffe, 0x00000000b3333333,
578  0x00000000b3333332, 0x00000000d5555555,
579  0x00000000d5555554, 0x00000000fffffffd,
580  0x00000000fffffffc, 0x00000000fffffffe,
581  0x00000000fffffffd, 0x00000000ffffffff,
582  0x00000000fffffffe, 0x0000000100000000,
583  0x00000000ffffffff, 0x0000000100000001,
584  0x0000000100000000, 0x000000012aaaaaaa,
585  0x000000012aaaaaa9, 0x000000014ccccccc,
586  0x000000014ccccccb, 0x000000017fff8000,
587  0x000000017fff7fff, 0x000000017fff8001,
588  0x000000017fff8000, 0x000000017fff8002,
589  0x000000017fff8001, 0x000000017fff8003,
590  0x000000017fff8002, 0x000000017fffff80,
591  0x000000017fffff7f, 0x000000017fffff81,
592  0x000000017fffff80, 0x000000017fffff82,
593  0x000000017fffff81, 0x000000017fffff83,
594  0x000000017fffff82, 0x000000017fffffe0,
595  0x000000017fffffdf, 0x000000017ffffffd,
596  0x000000017ffffffd, 0x000000017fffffff,
597  0x000000017ffffffe, 0x0000000180000000,
598  0x000000017fffffff, 0x0000000080000001,
599  0x0000000080000000, 0x0000000080000002,
600  0x0000000080000001, 0x0000000080000003,
601  0x0000000080000002, 0x0000000080000021,
602  0x0000000080000020, 0x000000008000007e,
603  0x000000008000007d, 0x000000008000007f,
604  0x000000008000007e, 0x0000000080000080,
605  0x000000008000007f, 0x0000000080007ffe,
606  0x0000000080007ffd, 0x0000000080007fff,
607  0x0000000080007ffe, 0x0000000080008000,
608  0x0000000080007fff, 0x00000000b3333334,
609  0x00000000b3333333, 0x00000000d5555556,
610  0x00000000d5555555, 0x00000000fffffffe,
611  0x00000000fffffffd, 0x00000000ffffffff,
612  0x00000000fffffffe, 0x0000000100000000,
613  0x00000000ffffffff, 0x0000000100000001,
614  0x0000000100000000, 0x0000000100000002,
615  0x0000000100000001, 0x000000012aaaaaab,
616  0x000000012aaaaaaa, 0x000000014ccccccd,
617  0x000000014ccccccc, 0x000000017fff8001,
618  0x000000017fff8000, 0x000000017fff8002,
619  0x000000017fff8001, 0x000000017fff8003,
620  0x000000017fff8002, 0x000000017fff8004,
621  0x000000017fff8003, 0x000000017fffff81,
622  0x000000017fffff80, 0x000000017fffff82,
623  0x000000017fffff81, 0x000000017fffff83,
624  0x000000017fffff82, 0x000000017fffff84,
625  0x000000017fffff83, 0x000000017fffffe1,
626  0x000000017fffffe0, 0x000000017ffffffe,
627  0x000000017ffffffe, 0x00000001aaaaaaa8,
628  0x000000017fffffff, 0x00000001aaaaaaa9,
629  0x0000000180000000, 0x00000000aaaaaaaa,
630  0x0000000080000001, 0x00000000aaaaaaab,
631  0x0000000080000002, 0x00000000aaaaaaac,
632  0x0000000080000003, 0x00000000aaaaaaca,
633  0x0000000080000021, 0x00000000aaaaab27,
634  0x000000008000007e, 0x00000000aaaaab28,
635  0x000000008000007f, 0x00000000aaaaab29,
636  0x0000000080000080, 0x00000000aaab2aa7,
637  0x0000000080007ffe, 0x00000000aaab2aa8,
638  0x0000000080007fff, 0x00000000aaab2aa9,
639  0x0000000080008000, 0x00000000dddddddd,
640  0x00000000b3333334, 0x00000000ffffffff,
641  0x00000000d5555556, 0x000000012aaaaaa7,
642  0x00000000fffffffe, 0x000000012aaaaaa8,
643  0x00000000ffffffff, 0x000000012aaaaaa9,
644  0x0000000100000000, 0x000000012aaaaaaa,
645  0x0000000100000001, 0x000000012aaaaaab,
646  0x0000000100000002, 0x0000000155555554,
647  0x000000012aaaaaab, 0x0000000177777776,
648  0x000000014ccccccd, 0x00000001aaaa2aaa,
649  0x000000017fff8001, 0x00000001aaaa2aab,
650  0x000000017fff8002, 0x00000001aaaa2aac,
651  0x000000017fff8003, 0x00000001aaaa2aad,
652  0x000000017fff8004, 0x00000001aaaaaa2a,
653  0x000000017fffff81, 0x00000001aaaaaa2b,
654  0x000000017fffff82, 0x00000001aaaaaa2c,
655  0x000000017fffff83, 0x00000001aaaaaa2d,
656  0x000000017fffff84, 0x00000001aaaaaa8a,
657  0x000000017fffffe1, 0x00000001aaaaaaa7,
658  0x00000001aaaaaaa7, 0x00000001ccccccca,
659  0x00000001aaaaaaa8, 0x00000001cccccccb,
660  0x00000001aaaaaaa9, 0x00000000cccccccc,
661  0x00000000aaaaaaaa, 0x00000000cccccccd,
662  0x00000000aaaaaaab, 0x00000000ccccccce,
663  0x00000000aaaaaaac, 0x00000000ccccccec,
664  0x00000000aaaaaaca, 0x00000000cccccd49,
665  0x00000000aaaaab27, 0x00000000cccccd4a,
666  0x00000000aaaaab28, 0x00000000cccccd4b,
667  0x00000000aaaaab29, 0x00000000cccd4cc9,
668  0x00000000aaab2aa7, 0x00000000cccd4cca,
669  0x00000000aaab2aa8, 0x00000000cccd4ccb,
670  0x00000000aaab2aa9, 0x00000000ffffffff,
671  0x00000000dddddddd, 0x0000000122222221,
672  0x00000000ffffffff, 0x000000014cccccc9,
673  0x000000012aaaaaa7, 0x000000014cccccca,
674  0x000000012aaaaaa8, 0x000000014ccccccb,
675  0x000000012aaaaaa9, 0x000000014ccccccc,
676  0x000000012aaaaaaa, 0x000000014ccccccd,
677  0x000000012aaaaaab, 0x0000000177777776,
678  0x0000000155555554, 0x0000000199999998,
679  0x0000000177777776, 0x00000001cccc4ccc,
680  0x00000001aaaa2aaa, 0x00000001cccc4ccd,
681  0x00000001aaaa2aab, 0x00000001cccc4cce,
682  0x00000001aaaa2aac, 0x00000001cccc4ccf,
683  0x00000001aaaa2aad, 0x00000001cccccc4c,
684  0x00000001aaaaaa2a, 0x00000001cccccc4d,
685  0x00000001aaaaaa2b, 0x00000001cccccc4e,
686  0x00000001aaaaaa2c, 0x00000001cccccc4f,
687  0x00000001aaaaaa2d, 0x00000001ccccccac,
688  0x00000001aaaaaa8a, 0x00000001ccccccc9,
689  0x00000001ccccccc9, 0x00000001ffff7ffe,
690  0x00000001ccccccca, 0x00000001ffff7fff,
691  0x00000001cccccccb, 0x00000000ffff8000,
692  0x00000000cccccccc, 0x00000000ffff8001,
693  0x00000000cccccccd, 0x00000000ffff8002,
694  0x00000000ccccccce, 0x00000000ffff8020,
695  0x00000000ccccccec, 0x00000000ffff807d,
696  0x00000000cccccd49, 0x00000000ffff807e,
697  0x00000000cccccd4a, 0x00000000ffff807f,
698  0x00000000cccccd4b, 0x00000000fffffffd,
699  0x00000000cccd4cc9, 0x00000000fffffffe,
700  0x00000000cccd4cca, 0x00000000ffffffff,
701  0x00000000cccd4ccb, 0x000000013332b333,
702  0x00000000ffffffff, 0x000000015554d555,
703  0x0000000122222221, 0x000000017fff7ffd,
704  0x000000014cccccc9, 0x000000017fff7ffe,
705  0x000000014cccccca, 0x000000017fff7fff,
706  0x000000014ccccccb, 0x000000017fff8000,
707  0x000000014ccccccc, 0x000000017fff8001,
708  0x000000014ccccccd, 0x00000001aaaa2aaa,
709  0x0000000177777776, 0x00000001cccc4ccc,
710  0x0000000199999998, 0x00000001ffff0000,
711  0x00000001cccc4ccc, 0x00000001ffff0001,
712  0x00000001cccc4ccd, 0x00000001ffff0002,
713  0x00000001cccc4cce, 0x00000001ffff0003,
714  0x00000001cccc4ccf, 0x00000001ffff7f80,
715  0x00000001cccccc4c, 0x00000001ffff7f81,
716  0x00000001cccccc4d, 0x00000001ffff7f82,
717  0x00000001cccccc4e, 0x00000001ffff7f83,
718  0x00000001cccccc4f, 0x00000001ffff7fe0,
719  0x00000001ccccccac, 0x00000001ffff7ffd,
720  0x00000001ffff7ffd, 0x00000001ffff7fff,
721  0x00000001ffff7ffe, 0x00000001ffff8000,
722  0x00000001ffff7fff, 0x00000000ffff8001,
723  0x00000000ffff8000, 0x00000000ffff8002,
724  0x00000000ffff8001, 0x00000000ffff8003,
725  0x00000000ffff8002, 0x00000000ffff8021,
726  0x00000000ffff8020, 0x00000000ffff807e,
727  0x00000000ffff807d, 0x00000000ffff807f,
728  0x00000000ffff807e, 0x00000000ffff8080,
729  0x00000000ffff807f, 0x00000000fffffffe,
730  0x00000000fffffffd, 0x00000000ffffffff,
731  0x00000000fffffffe, 0x0000000100000000,
732  0x00000000ffffffff, 0x000000013332b334,
733  0x000000013332b333, 0x000000015554d556,
734  0x000000015554d555, 0x000000017fff7ffe,
735  0x000000017fff7ffd, 0x000000017fff7fff,
736  0x000000017fff7ffe, 0x000000017fff8000,
737  0x000000017fff7fff, 0x000000017fff8001,
738  0x000000017fff8000, 0x000000017fff8002,
739  0x000000017fff8001, 0x00000001aaaa2aab,
740  0x00000001aaaa2aaa, 0x00000001cccc4ccd,
741  0x00000001cccc4ccc, 0x00000001ffff0001,
742  0x00000001ffff0000, 0x00000001ffff0002,
743  0x00000001ffff0001, 0x00000001ffff0003,
744  0x00000001ffff0002, 0x00000001ffff0004,
745  0x00000001ffff0003, 0x00000001ffff7f81,
746  0x00000001ffff7f80, 0x00000001ffff7f82,
747  0x00000001ffff7f81, 0x00000001ffff7f83,
748  0x00000001ffff7f82, 0x00000001ffff7f84,
749  0x00000001ffff7f83, 0x00000001ffff7fe1,
750  0x00000001ffff7fe0, 0x00000001ffff7ffe,
751  0x00000001ffff7ffe, 0x00000001ffff8000,
752  0x00000001ffff7fff, 0x00000001ffff8001,
753  0x00000001ffff8000, 0x00000000ffff8002,
754  0x00000000ffff8001, 0x00000000ffff8003,
755  0x00000000ffff8002, 0x00000000ffff8004,
756  0x00000000ffff8003, 0x00000000ffff8022,
757  0x00000000ffff8021, 0x00000000ffff807f,
758  0x00000000ffff807e, 0x00000000ffff8080,
759  0x00000000ffff807f, 0x00000000ffff8081,
760  0x00000000ffff8080, 0x00000000ffffffff,
761  0x00000000fffffffe, 0x0000000100000000,
762  0x00000000ffffffff, 0x0000000100000001,
763  0x0000000100000000, 0x000000013332b335,
764  0x000000013332b334, 0x000000015554d557,
765  0x000000015554d556, 0x000000017fff7fff,
766  0x000000017fff7ffe, 0x000000017fff8000,
767  0x000000017fff7fff, 0x000000017fff8001,
768  0x000000017fff8000, 0x000000017fff8002,
769  0x000000017fff8001, 0x000000017fff8003,
770  0x000000017fff8002, 0x00000001aaaa2aac,
771  0x00000001aaaa2aab, 0x00000001cccc4cce,
772  0x00000001cccc4ccd, 0x00000001ffff0002,
773  0x00000001ffff0001, 0x00000001ffff0003,
774  0x00000001ffff0002, 0x00000001ffff0004,
775  0x00000001ffff0003, 0x00000001ffff0005,
776  0x00000001ffff0004, 0x00000001ffff7f82,
777  0x00000001ffff7f81, 0x00000001ffff7f83,
778  0x00000001ffff7f82, 0x00000001ffff7f84,
779  0x00000001ffff7f83, 0x00000001ffff7f85,
780  0x00000001ffff7f84, 0x00000001ffff7fe2,
781  0x00000001ffff7fe1, 0x00000001ffff7fff,
782  0x00000001ffff7fff, 0x00000001ffff8001,
783  0x00000001ffff8000, 0x00000001ffff8002,
784  0x00000001ffff8001, 0x00000000ffff8003,
785  0x00000000ffff8002, 0x00000000ffff8004,
786  0x00000000ffff8003, 0x00000000ffff8005,
787  0x00000000ffff8004, 0x00000000ffff8023,
788  0x00000000ffff8022, 0x00000000ffff8080,
789  0x00000000ffff807f, 0x00000000ffff8081,
790  0x00000000ffff8080, 0x00000000ffff8082,
791  0x00000000ffff8081, 0x0000000100000000,
792  0x00000000ffffffff, 0x0000000100000001,
793  0x0000000100000000, 0x0000000100000002,
794  0x0000000100000001, 0x000000013332b336,
795  0x000000013332b335, 0x000000015554d558,
796  0x000000015554d557, 0x000000017fff8000,
797  0x000000017fff7fff, 0x000000017fff8001,
798  0x000000017fff8000, 0x000000017fff8002,
799  0x000000017fff8001, 0x000000017fff8003,
800  0x000000017fff8002, 0x000000017fff8004,
801  0x000000017fff8003, 0x00000001aaaa2aad,
802  0x00000001aaaa2aac, 0x00000001cccc4ccf,
803  0x00000001cccc4cce, 0x00000001ffff0003,
804  0x00000001ffff0002, 0x00000001ffff0004,
805  0x00000001ffff0003, 0x00000001ffff0005,
806  0x00000001ffff0004, 0x00000001ffff0006,
807  0x00000001ffff0005, 0x00000001ffff7f83,
808  0x00000001ffff7f82, 0x00000001ffff7f84,
809  0x00000001ffff7f83, 0x00000001ffff7f85,
810  0x00000001ffff7f84, 0x00000001ffff7f86,
811  0x00000001ffff7f85, 0x00000001ffff7fe3,
812  0x00000001ffff7fe2, 0x00000001ffff8000,
813  0x00000001ffff8000, 0x00000001ffffff7e,
814  0x00000001ffff8001, 0x00000001ffffff7f,
815  0x00000001ffff8002, 0x00000000ffffff80,
816  0x00000000ffff8003, 0x00000000ffffff81,
817  0x00000000ffff8004, 0x00000000ffffff82,
818  0x00000000ffff8005, 0x00000000ffffffa0,
819  0x00000000ffff8023, 0x00000000fffffffd,
820  0x00000000ffff8080, 0x00000000fffffffe,
821  0x00000000ffff8081, 0x00000000ffffffff,
822  0x00000000ffff8082, 0x0000000100007f7d,
823  0x0000000100000000, 0x0000000100007f7e,
824  0x0000000100000001, 0x0000000100007f7f,
825  0x0000000100000002, 0x00000001333332b3,
826  0x000000013332b336, 0x00000001555554d5,
827  0x000000015554d558, 0x000000017fffff7d,
828  0x000000017fff8000, 0x000000017fffff7e,
829  0x000000017fff8001, 0x000000017fffff7f,
830  0x000000017fff8002, 0x000000017fffff80,
831  0x000000017fff8003, 0x000000017fffff81,
832  0x000000017fff8004, 0x00000001aaaaaa2a,
833  0x00000001aaaa2aad, 0x00000001cccccc4c,
834  0x00000001cccc4ccf, 0x00000001ffff7f80,
835  0x00000001ffff0003, 0x00000001ffff7f81,
836  0x00000001ffff0004, 0x00000001ffff7f82,
837  0x00000001ffff0005, 0x00000001ffff7f83,
838  0x00000001ffff0006, 0x00000001ffffff00,
839  0x00000001ffff7f83, 0x00000001ffffff01,
840  0x00000001ffff7f84, 0x00000001ffffff02,
841  0x00000001ffff7f85, 0x00000001ffffff03,
842  0x00000001ffff7f86, 0x00000001ffffff60,
843  0x00000001ffff7fe3, 0x00000001ffffff7d,
844  0x00000001ffffff7d, 0x00000001ffffff7f,
845  0x00000001ffffff7e, 0x00000001ffffff80,
846  0x00000001ffffff7f, 0x00000000ffffff81,
847  0x00000000ffffff80, 0x00000000ffffff82,
848  0x00000000ffffff81, 0x00000000ffffff83,
849  0x00000000ffffff82, 0x00000000ffffffa1,
850  0x00000000ffffffa0, 0x00000000fffffffe,
851  0x00000000fffffffd, 0x00000000ffffffff,
852  0x00000000fffffffe, 0x0000000100000000,
853  0x00000000ffffffff, 0x0000000100007f7e,
854  0x0000000100007f7d, 0x0000000100007f7f,
855  0x0000000100007f7e, 0x0000000100007f80,
856  0x0000000100007f7f, 0x00000001333332b4,
857  0x00000001333332b3, 0x00000001555554d6,
858  0x00000001555554d5, 0x000000017fffff7e,
859  0x000000017fffff7d, 0x000000017fffff7f,
860  0x000000017fffff7e, 0x000000017fffff80,
861  0x000000017fffff7f, 0x000000017fffff81,
862  0x000000017fffff80, 0x000000017fffff82,
863  0x000000017fffff81, 0x00000001aaaaaa2b,
864  0x00000001aaaaaa2a, 0x00000001cccccc4d,
865  0x00000001cccccc4c, 0x00000001ffff7f81,
866  0x00000001ffff7f80, 0x00000001ffff7f82,
867  0x00000001ffff7f81, 0x00000001ffff7f83,
868  0x00000001ffff7f82, 0x00000001ffff7f84,
869  0x00000001ffff7f83, 0x00000001ffffff01,
870  0x00000001ffffff00, 0x00000001ffffff02,
871  0x00000001ffffff01, 0x00000001ffffff03,
872  0x00000001ffffff02, 0x00000001ffffff04,
873  0x00000001ffffff03, 0x00000001ffffff61,
874  0x00000001ffffff60, 0x00000001ffffff7e,
875  0x00000001ffffff7e, 0x00000001ffffff80,
876  0x00000001ffffff7f, 0x00000001ffffff81,
877  0x00000001ffffff80, 0x00000000ffffff82,
878  0x00000000ffffff81, 0x00000000ffffff83,
879  0x00000000ffffff82, 0x00000000ffffff84,
880  0x00000000ffffff83, 0x00000000ffffffa2,
881  0x00000000ffffffa1, 0x00000000ffffffff,
882  0x00000000fffffffe, 0x0000000100000000,
883  0x00000000ffffffff, 0x0000000100000001,
884  0x0000000100000000, 0x0000000100007f7f,
885  0x0000000100007f7e, 0x0000000100007f80,
886  0x0000000100007f7f, 0x0000000100007f81,
887  0x0000000100007f80, 0x00000001333332b5,
888  0x00000001333332b4, 0x00000001555554d7,
889  0x00000001555554d6, 0x000000017fffff7f,
890  0x000000017fffff7e, 0x000000017fffff80,
891  0x000000017fffff7f, 0x000000017fffff81,
892  0x000000017fffff80, 0x000000017fffff82,
893  0x000000017fffff81, 0x000000017fffff83,
894  0x000000017fffff82, 0x00000001aaaaaa2c,
895  0x00000001aaaaaa2b, 0x00000001cccccc4e,
896  0x00000001cccccc4d, 0x00000001ffff7f82,
897  0x00000001ffff7f81, 0x00000001ffff7f83,
898  0x00000001ffff7f82, 0x00000001ffff7f84,
899  0x00000001ffff7f83, 0x00000001ffff7f85,
900  0x00000001ffff7f84, 0x00000001ffffff02,
901  0x00000001ffffff01, 0x00000001ffffff03,
902  0x00000001ffffff02, 0x00000001ffffff04,
903  0x00000001ffffff03, 0x00000001ffffff05,
904  0x00000001ffffff04, 0x00000001ffffff62,
905  0x00000001ffffff61, 0x00000001ffffff7f,
906  0x00000001ffffff7f, 0x00000001ffffff81,
907  0x00000001ffffff80, 0x00000001ffffff82,
908  0x00000001ffffff81, 0x00000000ffffff83,
909  0x00000000ffffff82, 0x00000000ffffff84,
910  0x00000000ffffff83, 0x00000000ffffff85,
911  0x00000000ffffff84, 0x00000000ffffffa3,
912  0x00000000ffffffa2, 0x0000000100000000,
913  0x00000000ffffffff, 0x0000000100000001,
914  0x0000000100000000, 0x0000000100000002,
915  0x0000000100000001, 0x0000000100007f80,
916  0x0000000100007f7f, 0x0000000100007f81,
917  0x0000000100007f80, 0x0000000100007f82,
918  0x0000000100007f81, 0x00000001333332b6,
919  0x00000001333332b5, 0x00000001555554d8,
920  0x00000001555554d7, 0x000000017fffff80,
921  0x000000017fffff7f, 0x000000017fffff81,
922  0x000000017fffff80, 0x000000017fffff82,
923  0x000000017fffff81, 0x000000017fffff83,
924  0x000000017fffff82, 0x000000017fffff84,
925  0x000000017fffff83, 0x00000001aaaaaa2d,
926  0x00000001aaaaaa2c, 0x00000001cccccc4f,
927  0x00000001cccccc4e, 0x00000001ffff7f83,
928  0x00000001ffff7f82, 0x00000001ffff7f84,
929  0x00000001ffff7f83, 0x00000001ffff7f85,
930  0x00000001ffff7f84, 0x00000001ffff7f86,
931  0x00000001ffff7f85, 0x00000001ffffff03,
932  0x00000001ffffff02, 0x00000001ffffff04,
933  0x00000001ffffff03, 0x00000001ffffff05,
934  0x00000001ffffff04, 0x00000001ffffff06,
935  0x00000001ffffff05, 0x00000001ffffff63,
936  0x00000001ffffff62, 0x00000001ffffff80,
937  0x00000001ffffff80, 0x00000001ffffffde,
938  0x00000001ffffff81, 0x00000001ffffffdf,
939  0x00000001ffffff82, 0x00000000ffffffe0,
940  0x00000000ffffff83, 0x00000000ffffffe1,
941  0x00000000ffffff84, 0x00000000ffffffe2,
942  0x00000000ffffff85, 0x0000000100000000,
943  0x00000000ffffffa3, 0x000000010000005d,
944  0x0000000100000000, 0x000000010000005e,
945  0x0000000100000001, 0x000000010000005f,
946  0x0000000100000002, 0x0000000100007fdd,
947  0x0000000100007f80, 0x0000000100007fde,
948  0x0000000100007f81, 0x0000000100007fdf,
949  0x0000000100007f82, 0x0000000133333313,
950  0x00000001333332b6, 0x0000000155555535,
951  0x00000001555554d8, 0x000000017fffffdd,
952  0x000000017fffff80, 0x000000017fffffde,
953  0x000000017fffff81, 0x000000017fffffdf,
954  0x000000017fffff82, 0x000000017fffffe0,
955  0x000000017fffff83, 0x000000017fffffe1,
956  0x000000017fffff84, 0x00000001aaaaaa8a,
957  0x00000001aaaaaa2d, 0x00000001ccccccac,
958  0x00000001cccccc4f, 0x00000001ffff7fe0,
959  0x00000001ffff7f83, 0x00000001ffff7fe1,
960  0x00000001ffff7f84, 0x00000001ffff7fe2,
961  0x00000001ffff7f85, 0x00000001ffff7fe3,
962  0x00000001ffff7f86, 0x00000001ffffff60,
963  0x00000001ffffff03, 0x00000001ffffff61,
964  0x00000001ffffff04, 0x00000001ffffff62,
965  0x00000001ffffff05, 0x00000001ffffff63,
966  0x00000001ffffff06, 0x00000001ffffffc0,
967  0x00000001ffffff63, 0x00000001ffffffdd,
968  0x00000001ffffffdd, 0x00000001fffffffb,
969  0x00000001ffffffde, 0x00000001fffffffc,
970  0x00000001ffffffdf, 0x00000000fffffffd,
971  0x00000000ffffffe0, 0x00000000fffffffe,
972  0x00000000ffffffe1, 0x00000000ffffffff,
973  0x00000000ffffffe2, 0x000000010000001d,
974  0x0000000100000000, 0x000000010000007a,
975  0x000000010000005d, 0x000000010000007b,
976  0x000000010000005e, 0x000000010000007c,
977  0x000000010000005f, 0x0000000100007ffa,
978  0x0000000100007fdd, 0x0000000100007ffb,
979  0x0000000100007fde, 0x0000000100007ffc,
980  0x0000000100007fdf, 0x0000000133333330,
981  0x0000000133333313, 0x0000000155555552,
982  0x0000000155555535, 0x000000017ffffffa,
983  0x000000017fffffdd, 0x000000017ffffffb,
984  0x000000017fffffde, 0x000000017ffffffc,
985  0x000000017fffffdf, 0x000000017ffffffd,
986  0x000000017fffffe0, 0x000000017ffffffe,
987  0x000000017fffffe1, 0x00000001aaaaaaa7,
988  0x00000001aaaaaa8a, 0x00000001ccccccc9,
989  0x00000001ccccccac, 0x00000001ffff7ffd,
990  0x00000001ffff7fe0, 0x00000001ffff7ffe,
991  0x00000001ffff7fe1, 0x00000001ffff7fff,
992  0x00000001ffff7fe2, 0x00000001ffff8000,
993  0x00000001ffff7fe3, 0x00000001ffffff7d,
994  0x00000001ffffff60, 0x00000001ffffff7e,
995  0x00000001ffffff61, 0x00000001ffffff7f,
996  0x00000001ffffff62, 0x00000001ffffff80,
997  0x00000001ffffff63, 0x00000001ffffffdd,
998  0x00000001ffffffc0, 0x00000001fffffffa,
999};
1000const unsigned kExpectedCount_NEON_uaddl_2D = 961;
1001
1002#endif  // VIXL_SIM_UADDL_2D_TRACE_AARCH64_H_
1003