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