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_USHLL_2D_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_USHLL_2D_2OPIMM_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_ushll_2D_2OPIMM[] = {
38  0x00000000fffffffd, 0x00000000fffffffe,
39  0x00000001fffffffa, 0x00000001fffffffc,
40  0x00000003fffffff4, 0x00000003fffffff8,
41  0x00000007ffffffe8, 0x00000007fffffff0,
42  0x0000000fffffffd0, 0x0000000fffffffe0,
43  0x0000001fffffffa0, 0x0000001fffffffc0,
44  0x0000003fffffff40, 0x0000003fffffff80,
45  0x0000007ffffffe80, 0x0000007fffffff00,
46  0x000000fffffffd00, 0x000000fffffffe00,
47  0x000001fffffffa00, 0x000001fffffffc00,
48  0x000003fffffff400, 0x000003fffffff800,
49  0x000007ffffffe800, 0x000007fffffff000,
50  0x00000fffffffd000, 0x00000fffffffe000,
51  0x00001fffffffa000, 0x00001fffffffc000,
52  0x00003fffffff4000, 0x00003fffffff8000,
53  0x00007ffffffe8000, 0x00007fffffff0000,
54  0x0000fffffffd0000, 0x0000fffffffe0000,
55  0x0001fffffffa0000, 0x0001fffffffc0000,
56  0x0003fffffff40000, 0x0003fffffff80000,
57  0x0007ffffffe80000, 0x0007fffffff00000,
58  0x000fffffffd00000, 0x000fffffffe00000,
59  0x001fffffffa00000, 0x001fffffffc00000,
60  0x003fffffff400000, 0x003fffffff800000,
61  0x007ffffffe800000, 0x007fffffff000000,
62  0x00fffffffd000000, 0x00fffffffe000000,
63  0x01fffffffa000000, 0x01fffffffc000000,
64  0x03fffffff4000000, 0x03fffffff8000000,
65  0x07ffffffe8000000, 0x07fffffff0000000,
66  0x0fffffffd0000000, 0x0fffffffe0000000,
67  0x1fffffffa0000000, 0x1fffffffc0000000,
68  0x3fffffff40000000, 0x3fffffff80000000,
69  0x7ffffffe80000000, 0x7fffffff00000000,
70  0x00000000fffffffe, 0x00000000ffffffff,
71  0x00000001fffffffc, 0x00000001fffffffe,
72  0x00000003fffffff8, 0x00000003fffffffc,
73  0x00000007fffffff0, 0x00000007fffffff8,
74  0x0000000fffffffe0, 0x0000000ffffffff0,
75  0x0000001fffffffc0, 0x0000001fffffffe0,
76  0x0000003fffffff80, 0x0000003fffffffc0,
77  0x0000007fffffff00, 0x0000007fffffff80,
78  0x000000fffffffe00, 0x000000ffffffff00,
79  0x000001fffffffc00, 0x000001fffffffe00,
80  0x000003fffffff800, 0x000003fffffffc00,
81  0x000007fffffff000, 0x000007fffffff800,
82  0x00000fffffffe000, 0x00000ffffffff000,
83  0x00001fffffffc000, 0x00001fffffffe000,
84  0x00003fffffff8000, 0x00003fffffffc000,
85  0x00007fffffff0000, 0x00007fffffff8000,
86  0x0000fffffffe0000, 0x0000ffffffff0000,
87  0x0001fffffffc0000, 0x0001fffffffe0000,
88  0x0003fffffff80000, 0x0003fffffffc0000,
89  0x0007fffffff00000, 0x0007fffffff80000,
90  0x000fffffffe00000, 0x000ffffffff00000,
91  0x001fffffffc00000, 0x001fffffffe00000,
92  0x003fffffff800000, 0x003fffffffc00000,
93  0x007fffffff000000, 0x007fffffff800000,
94  0x00fffffffe000000, 0x00ffffffff000000,
95  0x01fffffffc000000, 0x01fffffffe000000,
96  0x03fffffff8000000, 0x03fffffffc000000,
97  0x07fffffff0000000, 0x07fffffff8000000,
98  0x0fffffffe0000000, 0x0ffffffff0000000,
99  0x1fffffffc0000000, 0x1fffffffe0000000,
100  0x3fffffff80000000, 0x3fffffffc0000000,
101  0x7fffffff00000000, 0x7fffffff80000000,
102  0x00000000ffffffff, 0x0000000000000000,
103  0x00000001fffffffe, 0x0000000000000000,
104  0x00000003fffffffc, 0x0000000000000000,
105  0x00000007fffffff8, 0x0000000000000000,
106  0x0000000ffffffff0, 0x0000000000000000,
107  0x0000001fffffffe0, 0x0000000000000000,
108  0x0000003fffffffc0, 0x0000000000000000,
109  0x0000007fffffff80, 0x0000000000000000,
110  0x000000ffffffff00, 0x0000000000000000,
111  0x000001fffffffe00, 0x0000000000000000,
112  0x000003fffffffc00, 0x0000000000000000,
113  0x000007fffffff800, 0x0000000000000000,
114  0x00000ffffffff000, 0x0000000000000000,
115  0x00001fffffffe000, 0x0000000000000000,
116  0x00003fffffffc000, 0x0000000000000000,
117  0x00007fffffff8000, 0x0000000000000000,
118  0x0000ffffffff0000, 0x0000000000000000,
119  0x0001fffffffe0000, 0x0000000000000000,
120  0x0003fffffffc0000, 0x0000000000000000,
121  0x0007fffffff80000, 0x0000000000000000,
122  0x000ffffffff00000, 0x0000000000000000,
123  0x001fffffffe00000, 0x0000000000000000,
124  0x003fffffffc00000, 0x0000000000000000,
125  0x007fffffff800000, 0x0000000000000000,
126  0x00ffffffff000000, 0x0000000000000000,
127  0x01fffffffe000000, 0x0000000000000000,
128  0x03fffffffc000000, 0x0000000000000000,
129  0x07fffffff8000000, 0x0000000000000000,
130  0x0ffffffff0000000, 0x0000000000000000,
131  0x1fffffffe0000000, 0x0000000000000000,
132  0x3fffffffc0000000, 0x0000000000000000,
133  0x7fffffff80000000, 0x0000000000000000,
134  0x0000000000000000, 0x0000000000000001,
135  0x0000000000000000, 0x0000000000000002,
136  0x0000000000000000, 0x0000000000000004,
137  0x0000000000000000, 0x0000000000000008,
138  0x0000000000000000, 0x0000000000000010,
139  0x0000000000000000, 0x0000000000000020,
140  0x0000000000000000, 0x0000000000000040,
141  0x0000000000000000, 0x0000000000000080,
142  0x0000000000000000, 0x0000000000000100,
143  0x0000000000000000, 0x0000000000000200,
144  0x0000000000000000, 0x0000000000000400,
145  0x0000000000000000, 0x0000000000000800,
146  0x0000000000000000, 0x0000000000001000,
147  0x0000000000000000, 0x0000000000002000,
148  0x0000000000000000, 0x0000000000004000,
149  0x0000000000000000, 0x0000000000008000,
150  0x0000000000000000, 0x0000000000010000,
151  0x0000000000000000, 0x0000000000020000,
152  0x0000000000000000, 0x0000000000040000,
153  0x0000000000000000, 0x0000000000080000,
154  0x0000000000000000, 0x0000000000100000,
155  0x0000000000000000, 0x0000000000200000,
156  0x0000000000000000, 0x0000000000400000,
157  0x0000000000000000, 0x0000000000800000,
158  0x0000000000000000, 0x0000000001000000,
159  0x0000000000000000, 0x0000000002000000,
160  0x0000000000000000, 0x0000000004000000,
161  0x0000000000000000, 0x0000000008000000,
162  0x0000000000000000, 0x0000000010000000,
163  0x0000000000000000, 0x0000000020000000,
164  0x0000000000000000, 0x0000000040000000,
165  0x0000000000000000, 0x0000000080000000,
166  0x0000000000000001, 0x0000000000000002,
167  0x0000000000000002, 0x0000000000000004,
168  0x0000000000000004, 0x0000000000000008,
169  0x0000000000000008, 0x0000000000000010,
170  0x0000000000000010, 0x0000000000000020,
171  0x0000000000000020, 0x0000000000000040,
172  0x0000000000000040, 0x0000000000000080,
173  0x0000000000000080, 0x0000000000000100,
174  0x0000000000000100, 0x0000000000000200,
175  0x0000000000000200, 0x0000000000000400,
176  0x0000000000000400, 0x0000000000000800,
177  0x0000000000000800, 0x0000000000001000,
178  0x0000000000001000, 0x0000000000002000,
179  0x0000000000002000, 0x0000000000004000,
180  0x0000000000004000, 0x0000000000008000,
181  0x0000000000008000, 0x0000000000010000,
182  0x0000000000010000, 0x0000000000020000,
183  0x0000000000020000, 0x0000000000040000,
184  0x0000000000040000, 0x0000000000080000,
185  0x0000000000080000, 0x0000000000100000,
186  0x0000000000100000, 0x0000000000200000,
187  0x0000000000200000, 0x0000000000400000,
188  0x0000000000400000, 0x0000000000800000,
189  0x0000000000800000, 0x0000000001000000,
190  0x0000000001000000, 0x0000000002000000,
191  0x0000000002000000, 0x0000000004000000,
192  0x0000000004000000, 0x0000000008000000,
193  0x0000000008000000, 0x0000000010000000,
194  0x0000000010000000, 0x0000000020000000,
195  0x0000000020000000, 0x0000000040000000,
196  0x0000000040000000, 0x0000000080000000,
197  0x0000000080000000, 0x0000000100000000,
198  0x0000000000000002, 0x0000000000000020,
199  0x0000000000000004, 0x0000000000000040,
200  0x0000000000000008, 0x0000000000000080,
201  0x0000000000000010, 0x0000000000000100,
202  0x0000000000000020, 0x0000000000000200,
203  0x0000000000000040, 0x0000000000000400,
204  0x0000000000000080, 0x0000000000000800,
205  0x0000000000000100, 0x0000000000001000,
206  0x0000000000000200, 0x0000000000002000,
207  0x0000000000000400, 0x0000000000004000,
208  0x0000000000000800, 0x0000000000008000,
209  0x0000000000001000, 0x0000000000010000,
210  0x0000000000002000, 0x0000000000020000,
211  0x0000000000004000, 0x0000000000040000,
212  0x0000000000008000, 0x0000000000080000,
213  0x0000000000010000, 0x0000000000100000,
214  0x0000000000020000, 0x0000000000200000,
215  0x0000000000040000, 0x0000000000400000,
216  0x0000000000080000, 0x0000000000800000,
217  0x0000000000100000, 0x0000000001000000,
218  0x0000000000200000, 0x0000000002000000,
219  0x0000000000400000, 0x0000000004000000,
220  0x0000000000800000, 0x0000000008000000,
221  0x0000000001000000, 0x0000000010000000,
222  0x0000000002000000, 0x0000000020000000,
223  0x0000000004000000, 0x0000000040000000,
224  0x0000000008000000, 0x0000000080000000,
225  0x0000000010000000, 0x0000000100000000,
226  0x0000000020000000, 0x0000000200000000,
227  0x0000000040000000, 0x0000000400000000,
228  0x0000000080000000, 0x0000000800000000,
229  0x0000000100000000, 0x0000001000000000,
230  0x0000000000000020, 0x000000000000007d,
231  0x0000000000000040, 0x00000000000000fa,
232  0x0000000000000080, 0x00000000000001f4,
233  0x0000000000000100, 0x00000000000003e8,
234  0x0000000000000200, 0x00000000000007d0,
235  0x0000000000000400, 0x0000000000000fa0,
236  0x0000000000000800, 0x0000000000001f40,
237  0x0000000000001000, 0x0000000000003e80,
238  0x0000000000002000, 0x0000000000007d00,
239  0x0000000000004000, 0x000000000000fa00,
240  0x0000000000008000, 0x000000000001f400,
241  0x0000000000010000, 0x000000000003e800,
242  0x0000000000020000, 0x000000000007d000,
243  0x0000000000040000, 0x00000000000fa000,
244  0x0000000000080000, 0x00000000001f4000,
245  0x0000000000100000, 0x00000000003e8000,
246  0x0000000000200000, 0x00000000007d0000,
247  0x0000000000400000, 0x0000000000fa0000,
248  0x0000000000800000, 0x0000000001f40000,
249  0x0000000001000000, 0x0000000003e80000,
250  0x0000000002000000, 0x0000000007d00000,
251  0x0000000004000000, 0x000000000fa00000,
252  0x0000000008000000, 0x000000001f400000,
253  0x0000000010000000, 0x000000003e800000,
254  0x0000000020000000, 0x000000007d000000,
255  0x0000000040000000, 0x00000000fa000000,
256  0x0000000080000000, 0x00000001f4000000,
257  0x0000000100000000, 0x00000003e8000000,
258  0x0000000200000000, 0x00000007d0000000,
259  0x0000000400000000, 0x0000000fa0000000,
260  0x0000000800000000, 0x0000001f40000000,
261  0x0000001000000000, 0x0000003e80000000,
262  0x000000000000007d, 0x000000000000007e,
263  0x00000000000000fa, 0x00000000000000fc,
264  0x00000000000001f4, 0x00000000000001f8,
265  0x00000000000003e8, 0x00000000000003f0,
266  0x00000000000007d0, 0x00000000000007e0,
267  0x0000000000000fa0, 0x0000000000000fc0,
268  0x0000000000001f40, 0x0000000000001f80,
269  0x0000000000003e80, 0x0000000000003f00,
270  0x0000000000007d00, 0x0000000000007e00,
271  0x000000000000fa00, 0x000000000000fc00,
272  0x000000000001f400, 0x000000000001f800,
273  0x000000000003e800, 0x000000000003f000,
274  0x000000000007d000, 0x000000000007e000,
275  0x00000000000fa000, 0x00000000000fc000,
276  0x00000000001f4000, 0x00000000001f8000,
277  0x00000000003e8000, 0x00000000003f0000,
278  0x00000000007d0000, 0x00000000007e0000,
279  0x0000000000fa0000, 0x0000000000fc0000,
280  0x0000000001f40000, 0x0000000001f80000,
281  0x0000000003e80000, 0x0000000003f00000,
282  0x0000000007d00000, 0x0000000007e00000,
283  0x000000000fa00000, 0x000000000fc00000,
284  0x000000001f400000, 0x000000001f800000,
285  0x000000003e800000, 0x000000003f000000,
286  0x000000007d000000, 0x000000007e000000,
287  0x00000000fa000000, 0x00000000fc000000,
288  0x00000001f4000000, 0x00000001f8000000,
289  0x00000003e8000000, 0x00000003f0000000,
290  0x00000007d0000000, 0x00000007e0000000,
291  0x0000000fa0000000, 0x0000000fc0000000,
292  0x0000001f40000000, 0x0000001f80000000,
293  0x0000003e80000000, 0x0000003f00000000,
294  0x000000000000007e, 0x000000000000007f,
295  0x00000000000000fc, 0x00000000000000fe,
296  0x00000000000001f8, 0x00000000000001fc,
297  0x00000000000003f0, 0x00000000000003f8,
298  0x00000000000007e0, 0x00000000000007f0,
299  0x0000000000000fc0, 0x0000000000000fe0,
300  0x0000000000001f80, 0x0000000000001fc0,
301  0x0000000000003f00, 0x0000000000003f80,
302  0x0000000000007e00, 0x0000000000007f00,
303  0x000000000000fc00, 0x000000000000fe00,
304  0x000000000001f800, 0x000000000001fc00,
305  0x000000000003f000, 0x000000000003f800,
306  0x000000000007e000, 0x000000000007f000,
307  0x00000000000fc000, 0x00000000000fe000,
308  0x00000000001f8000, 0x00000000001fc000,
309  0x00000000003f0000, 0x00000000003f8000,
310  0x00000000007e0000, 0x00000000007f0000,
311  0x0000000000fc0000, 0x0000000000fe0000,
312  0x0000000001f80000, 0x0000000001fc0000,
313  0x0000000003f00000, 0x0000000003f80000,
314  0x0000000007e00000, 0x0000000007f00000,
315  0x000000000fc00000, 0x000000000fe00000,
316  0x000000001f800000, 0x000000001fc00000,
317  0x000000003f000000, 0x000000003f800000,
318  0x000000007e000000, 0x000000007f000000,
319  0x00000000fc000000, 0x00000000fe000000,
320  0x00000001f8000000, 0x00000001fc000000,
321  0x00000003f0000000, 0x00000003f8000000,
322  0x00000007e0000000, 0x00000007f0000000,
323  0x0000000fc0000000, 0x0000000fe0000000,
324  0x0000001f80000000, 0x0000001fc0000000,
325  0x0000003f00000000, 0x0000003f80000000,
326  0x000000000000007f, 0x0000000000007ffd,
327  0x00000000000000fe, 0x000000000000fffa,
328  0x00000000000001fc, 0x000000000001fff4,
329  0x00000000000003f8, 0x000000000003ffe8,
330  0x00000000000007f0, 0x000000000007ffd0,
331  0x0000000000000fe0, 0x00000000000fffa0,
332  0x0000000000001fc0, 0x00000000001fff40,
333  0x0000000000003f80, 0x00000000003ffe80,
334  0x0000000000007f00, 0x00000000007ffd00,
335  0x000000000000fe00, 0x0000000000fffa00,
336  0x000000000001fc00, 0x0000000001fff400,
337  0x000000000003f800, 0x0000000003ffe800,
338  0x000000000007f000, 0x0000000007ffd000,
339  0x00000000000fe000, 0x000000000fffa000,
340  0x00000000001fc000, 0x000000001fff4000,
341  0x00000000003f8000, 0x000000003ffe8000,
342  0x00000000007f0000, 0x000000007ffd0000,
343  0x0000000000fe0000, 0x00000000fffa0000,
344  0x0000000001fc0000, 0x00000001fff40000,
345  0x0000000003f80000, 0x00000003ffe80000,
346  0x0000000007f00000, 0x00000007ffd00000,
347  0x000000000fe00000, 0x0000000fffa00000,
348  0x000000001fc00000, 0x0000001fff400000,
349  0x000000003f800000, 0x0000003ffe800000,
350  0x000000007f000000, 0x0000007ffd000000,
351  0x00000000fe000000, 0x000000fffa000000,
352  0x00000001fc000000, 0x000001fff4000000,
353  0x00000003f8000000, 0x000003ffe8000000,
354  0x00000007f0000000, 0x000007ffd0000000,
355  0x0000000fe0000000, 0x00000fffa0000000,
356  0x0000001fc0000000, 0x00001fff40000000,
357  0x0000003f80000000, 0x00003ffe80000000,
358  0x0000000000007ffd, 0x0000000000007ffe,
359  0x000000000000fffa, 0x000000000000fffc,
360  0x000000000001fff4, 0x000000000001fff8,
361  0x000000000003ffe8, 0x000000000003fff0,
362  0x000000000007ffd0, 0x000000000007ffe0,
363  0x00000000000fffa0, 0x00000000000fffc0,
364  0x00000000001fff40, 0x00000000001fff80,
365  0x00000000003ffe80, 0x00000000003fff00,
366  0x00000000007ffd00, 0x00000000007ffe00,
367  0x0000000000fffa00, 0x0000000000fffc00,
368  0x0000000001fff400, 0x0000000001fff800,
369  0x0000000003ffe800, 0x0000000003fff000,
370  0x0000000007ffd000, 0x0000000007ffe000,
371  0x000000000fffa000, 0x000000000fffc000,
372  0x000000001fff4000, 0x000000001fff8000,
373  0x000000003ffe8000, 0x000000003fff0000,
374  0x000000007ffd0000, 0x000000007ffe0000,
375  0x00000000fffa0000, 0x00000000fffc0000,
376  0x00000001fff40000, 0x00000001fff80000,
377  0x00000003ffe80000, 0x00000003fff00000,
378  0x00000007ffd00000, 0x00000007ffe00000,
379  0x0000000fffa00000, 0x0000000fffc00000,
380  0x0000001fff400000, 0x0000001fff800000,
381  0x0000003ffe800000, 0x0000003fff000000,
382  0x0000007ffd000000, 0x0000007ffe000000,
383  0x000000fffa000000, 0x000000fffc000000,
384  0x000001fff4000000, 0x000001fff8000000,
385  0x000003ffe8000000, 0x000003fff0000000,
386  0x000007ffd0000000, 0x000007ffe0000000,
387  0x00000fffa0000000, 0x00000fffc0000000,
388  0x00001fff40000000, 0x00001fff80000000,
389  0x00003ffe80000000, 0x00003fff00000000,
390  0x0000000000007ffe, 0x0000000000007fff,
391  0x000000000000fffc, 0x000000000000fffe,
392  0x000000000001fff8, 0x000000000001fffc,
393  0x000000000003fff0, 0x000000000003fff8,
394  0x000000000007ffe0, 0x000000000007fff0,
395  0x00000000000fffc0, 0x00000000000fffe0,
396  0x00000000001fff80, 0x00000000001fffc0,
397  0x00000000003fff00, 0x00000000003fff80,
398  0x00000000007ffe00, 0x00000000007fff00,
399  0x0000000000fffc00, 0x0000000000fffe00,
400  0x0000000001fff800, 0x0000000001fffc00,
401  0x0000000003fff000, 0x0000000003fff800,
402  0x0000000007ffe000, 0x0000000007fff000,
403  0x000000000fffc000, 0x000000000fffe000,
404  0x000000001fff8000, 0x000000001fffc000,
405  0x000000003fff0000, 0x000000003fff8000,
406  0x000000007ffe0000, 0x000000007fff0000,
407  0x00000000fffc0000, 0x00000000fffe0000,
408  0x00000001fff80000, 0x00000001fffc0000,
409  0x00000003fff00000, 0x00000003fff80000,
410  0x00000007ffe00000, 0x00000007fff00000,
411  0x0000000fffc00000, 0x0000000fffe00000,
412  0x0000001fff800000, 0x0000001fffc00000,
413  0x0000003fff000000, 0x0000003fff800000,
414  0x0000007ffe000000, 0x0000007fff000000,
415  0x000000fffc000000, 0x000000fffe000000,
416  0x000001fff8000000, 0x000001fffc000000,
417  0x000003fff0000000, 0x000003fff8000000,
418  0x000007ffe0000000, 0x000007fff0000000,
419  0x00000fffc0000000, 0x00000fffe0000000,
420  0x00001fff80000000, 0x00001fffc0000000,
421  0x00003fff00000000, 0x00003fff80000000,
422  0x0000000000007fff, 0x0000000033333333,
423  0x000000000000fffe, 0x0000000066666666,
424  0x000000000001fffc, 0x00000000cccccccc,
425  0x000000000003fff8, 0x0000000199999998,
426  0x000000000007fff0, 0x0000000333333330,
427  0x00000000000fffe0, 0x0000000666666660,
428  0x00000000001fffc0, 0x0000000cccccccc0,
429  0x00000000003fff80, 0x0000001999999980,
430  0x00000000007fff00, 0x0000003333333300,
431  0x0000000000fffe00, 0x0000006666666600,
432  0x0000000001fffc00, 0x000000cccccccc00,
433  0x0000000003fff800, 0x0000019999999800,
434  0x0000000007fff000, 0x0000033333333000,
435  0x000000000fffe000, 0x0000066666666000,
436  0x000000001fffc000, 0x00000cccccccc000,
437  0x000000003fff8000, 0x0000199999998000,
438  0x000000007fff0000, 0x0000333333330000,
439  0x00000000fffe0000, 0x0000666666660000,
440  0x00000001fffc0000, 0x0000cccccccc0000,
441  0x00000003fff80000, 0x0001999999980000,
442  0x00000007fff00000, 0x0003333333300000,
443  0x0000000fffe00000, 0x0006666666600000,
444  0x0000001fffc00000, 0x000cccccccc00000,
445  0x0000003fff800000, 0x0019999999800000,
446  0x0000007fff000000, 0x0033333333000000,
447  0x000000fffe000000, 0x0066666666000000,
448  0x000001fffc000000, 0x00cccccccc000000,
449  0x000003fff8000000, 0x0199999998000000,
450  0x000007fff0000000, 0x0333333330000000,
451  0x00000fffe0000000, 0x0666666660000000,
452  0x00001fffc0000000, 0x0cccccccc0000000,
453  0x00003fff80000000, 0x1999999980000000,
454  0x0000000033333333, 0x0000000055555555,
455  0x0000000066666666, 0x00000000aaaaaaaa,
456  0x00000000cccccccc, 0x0000000155555554,
457  0x0000000199999998, 0x00000002aaaaaaa8,
458  0x0000000333333330, 0x0000000555555550,
459  0x0000000666666660, 0x0000000aaaaaaaa0,
460  0x0000000cccccccc0, 0x0000001555555540,
461  0x0000001999999980, 0x0000002aaaaaaa80,
462  0x0000003333333300, 0x0000005555555500,
463  0x0000006666666600, 0x000000aaaaaaaa00,
464  0x000000cccccccc00, 0x0000015555555400,
465  0x0000019999999800, 0x000002aaaaaaa800,
466  0x0000033333333000, 0x0000055555555000,
467  0x0000066666666000, 0x00000aaaaaaaa000,
468  0x00000cccccccc000, 0x0000155555554000,
469  0x0000199999998000, 0x00002aaaaaaa8000,
470  0x0000333333330000, 0x0000555555550000,
471  0x0000666666660000, 0x0000aaaaaaaa0000,
472  0x0000cccccccc0000, 0x0001555555540000,
473  0x0001999999980000, 0x0002aaaaaaa80000,
474  0x0003333333300000, 0x0005555555500000,
475  0x0006666666600000, 0x000aaaaaaaa00000,
476  0x000cccccccc00000, 0x0015555555400000,
477  0x0019999999800000, 0x002aaaaaaa800000,
478  0x0033333333000000, 0x0055555555000000,
479  0x0066666666000000, 0x00aaaaaaaa000000,
480  0x00cccccccc000000, 0x0155555554000000,
481  0x0199999998000000, 0x02aaaaaaa8000000,
482  0x0333333330000000, 0x0555555550000000,
483  0x0666666660000000, 0x0aaaaaaaa0000000,
484  0x0cccccccc0000000, 0x1555555540000000,
485  0x1999999980000000, 0x2aaaaaaa80000000,
486  0x0000000055555555, 0x000000007ffffffd,
487  0x00000000aaaaaaaa, 0x00000000fffffffa,
488  0x0000000155555554, 0x00000001fffffff4,
489  0x00000002aaaaaaa8, 0x00000003ffffffe8,
490  0x0000000555555550, 0x00000007ffffffd0,
491  0x0000000aaaaaaaa0, 0x0000000fffffffa0,
492  0x0000001555555540, 0x0000001fffffff40,
493  0x0000002aaaaaaa80, 0x0000003ffffffe80,
494  0x0000005555555500, 0x0000007ffffffd00,
495  0x000000aaaaaaaa00, 0x000000fffffffa00,
496  0x0000015555555400, 0x000001fffffff400,
497  0x000002aaaaaaa800, 0x000003ffffffe800,
498  0x0000055555555000, 0x000007ffffffd000,
499  0x00000aaaaaaaa000, 0x00000fffffffa000,
500  0x0000155555554000, 0x00001fffffff4000,
501  0x00002aaaaaaa8000, 0x00003ffffffe8000,
502  0x0000555555550000, 0x00007ffffffd0000,
503  0x0000aaaaaaaa0000, 0x0000fffffffa0000,
504  0x0001555555540000, 0x0001fffffff40000,
505  0x0002aaaaaaa80000, 0x0003ffffffe80000,
506  0x0005555555500000, 0x0007ffffffd00000,
507  0x000aaaaaaaa00000, 0x000fffffffa00000,
508  0x0015555555400000, 0x001fffffff400000,
509  0x002aaaaaaa800000, 0x003ffffffe800000,
510  0x0055555555000000, 0x007ffffffd000000,
511  0x00aaaaaaaa000000, 0x00fffffffa000000,
512  0x0155555554000000, 0x01fffffff4000000,
513  0x02aaaaaaa8000000, 0x03ffffffe8000000,
514  0x0555555550000000, 0x07ffffffd0000000,
515  0x0aaaaaaaa0000000, 0x0fffffffa0000000,
516  0x1555555540000000, 0x1fffffff40000000,
517  0x2aaaaaaa80000000, 0x3ffffffe80000000,
518  0x000000007ffffffd, 0x000000007ffffffe,
519  0x00000000fffffffa, 0x00000000fffffffc,
520  0x00000001fffffff4, 0x00000001fffffff8,
521  0x00000003ffffffe8, 0x00000003fffffff0,
522  0x00000007ffffffd0, 0x00000007ffffffe0,
523  0x0000000fffffffa0, 0x0000000fffffffc0,
524  0x0000001fffffff40, 0x0000001fffffff80,
525  0x0000003ffffffe80, 0x0000003fffffff00,
526  0x0000007ffffffd00, 0x0000007ffffffe00,
527  0x000000fffffffa00, 0x000000fffffffc00,
528  0x000001fffffff400, 0x000001fffffff800,
529  0x000003ffffffe800, 0x000003fffffff000,
530  0x000007ffffffd000, 0x000007ffffffe000,
531  0x00000fffffffa000, 0x00000fffffffc000,
532  0x00001fffffff4000, 0x00001fffffff8000,
533  0x00003ffffffe8000, 0x00003fffffff0000,
534  0x00007ffffffd0000, 0x00007ffffffe0000,
535  0x0000fffffffa0000, 0x0000fffffffc0000,
536  0x0001fffffff40000, 0x0001fffffff80000,
537  0x0003ffffffe80000, 0x0003fffffff00000,
538  0x0007ffffffd00000, 0x0007ffffffe00000,
539  0x000fffffffa00000, 0x000fffffffc00000,
540  0x001fffffff400000, 0x001fffffff800000,
541  0x003ffffffe800000, 0x003fffffff000000,
542  0x007ffffffd000000, 0x007ffffffe000000,
543  0x00fffffffa000000, 0x00fffffffc000000,
544  0x01fffffff4000000, 0x01fffffff8000000,
545  0x03ffffffe8000000, 0x03fffffff0000000,
546  0x07ffffffd0000000, 0x07ffffffe0000000,
547  0x0fffffffa0000000, 0x0fffffffc0000000,
548  0x1fffffff40000000, 0x1fffffff80000000,
549  0x3ffffffe80000000, 0x3fffffff00000000,
550  0x000000007ffffffe, 0x000000007fffffff,
551  0x00000000fffffffc, 0x00000000fffffffe,
552  0x00000001fffffff8, 0x00000001fffffffc,
553  0x00000003fffffff0, 0x00000003fffffff8,
554  0x00000007ffffffe0, 0x00000007fffffff0,
555  0x0000000fffffffc0, 0x0000000fffffffe0,
556  0x0000001fffffff80, 0x0000001fffffffc0,
557  0x0000003fffffff00, 0x0000003fffffff80,
558  0x0000007ffffffe00, 0x0000007fffffff00,
559  0x000000fffffffc00, 0x000000fffffffe00,
560  0x000001fffffff800, 0x000001fffffffc00,
561  0x000003fffffff000, 0x000003fffffff800,
562  0x000007ffffffe000, 0x000007fffffff000,
563  0x00000fffffffc000, 0x00000fffffffe000,
564  0x00001fffffff8000, 0x00001fffffffc000,
565  0x00003fffffff0000, 0x00003fffffff8000,
566  0x00007ffffffe0000, 0x00007fffffff0000,
567  0x0000fffffffc0000, 0x0000fffffffe0000,
568  0x0001fffffff80000, 0x0001fffffffc0000,
569  0x0003fffffff00000, 0x0003fffffff80000,
570  0x0007ffffffe00000, 0x0007fffffff00000,
571  0x000fffffffc00000, 0x000fffffffe00000,
572  0x001fffffff800000, 0x001fffffffc00000,
573  0x003fffffff000000, 0x003fffffff800000,
574  0x007ffffffe000000, 0x007fffffff000000,
575  0x00fffffffc000000, 0x00fffffffe000000,
576  0x01fffffff8000000, 0x01fffffffc000000,
577  0x03fffffff0000000, 0x03fffffff8000000,
578  0x07ffffffe0000000, 0x07fffffff0000000,
579  0x0fffffffc0000000, 0x0fffffffe0000000,
580  0x1fffffff80000000, 0x1fffffffc0000000,
581  0x3fffffff00000000, 0x3fffffff80000000,
582  0x000000007fffffff, 0x0000000080000000,
583  0x00000000fffffffe, 0x0000000100000000,
584  0x00000001fffffffc, 0x0000000200000000,
585  0x00000003fffffff8, 0x0000000400000000,
586  0x00000007fffffff0, 0x0000000800000000,
587  0x0000000fffffffe0, 0x0000001000000000,
588  0x0000001fffffffc0, 0x0000002000000000,
589  0x0000003fffffff80, 0x0000004000000000,
590  0x0000007fffffff00, 0x0000008000000000,
591  0x000000fffffffe00, 0x0000010000000000,
592  0x000001fffffffc00, 0x0000020000000000,
593  0x000003fffffff800, 0x0000040000000000,
594  0x000007fffffff000, 0x0000080000000000,
595  0x00000fffffffe000, 0x0000100000000000,
596  0x00001fffffffc000, 0x0000200000000000,
597  0x00003fffffff8000, 0x0000400000000000,
598  0x00007fffffff0000, 0x0000800000000000,
599  0x0000fffffffe0000, 0x0001000000000000,
600  0x0001fffffffc0000, 0x0002000000000000,
601  0x0003fffffff80000, 0x0004000000000000,
602  0x0007fffffff00000, 0x0008000000000000,
603  0x000fffffffe00000, 0x0010000000000000,
604  0x001fffffffc00000, 0x0020000000000000,
605  0x003fffffff800000, 0x0040000000000000,
606  0x007fffffff000000, 0x0080000000000000,
607  0x00fffffffe000000, 0x0100000000000000,
608  0x01fffffffc000000, 0x0200000000000000,
609  0x03fffffff8000000, 0x0400000000000000,
610  0x07fffffff0000000, 0x0800000000000000,
611  0x0fffffffe0000000, 0x1000000000000000,
612  0x1fffffffc0000000, 0x2000000000000000,
613  0x3fffffff80000000, 0x4000000000000000,
614  0x0000000080000000, 0x0000000080000001,
615  0x0000000100000000, 0x0000000100000002,
616  0x0000000200000000, 0x0000000200000004,
617  0x0000000400000000, 0x0000000400000008,
618  0x0000000800000000, 0x0000000800000010,
619  0x0000001000000000, 0x0000001000000020,
620  0x0000002000000000, 0x0000002000000040,
621  0x0000004000000000, 0x0000004000000080,
622  0x0000008000000000, 0x0000008000000100,
623  0x0000010000000000, 0x0000010000000200,
624  0x0000020000000000, 0x0000020000000400,
625  0x0000040000000000, 0x0000040000000800,
626  0x0000080000000000, 0x0000080000001000,
627  0x0000100000000000, 0x0000100000002000,
628  0x0000200000000000, 0x0000200000004000,
629  0x0000400000000000, 0x0000400000008000,
630  0x0000800000000000, 0x0000800000010000,
631  0x0001000000000000, 0x0001000000020000,
632  0x0002000000000000, 0x0002000000040000,
633  0x0004000000000000, 0x0004000000080000,
634  0x0008000000000000, 0x0008000000100000,
635  0x0010000000000000, 0x0010000000200000,
636  0x0020000000000000, 0x0020000000400000,
637  0x0040000000000000, 0x0040000000800000,
638  0x0080000000000000, 0x0080000001000000,
639  0x0100000000000000, 0x0100000002000000,
640  0x0200000000000000, 0x0200000004000000,
641  0x0400000000000000, 0x0400000008000000,
642  0x0800000000000000, 0x0800000010000000,
643  0x1000000000000000, 0x1000000020000000,
644  0x2000000000000000, 0x2000000040000000,
645  0x4000000000000000, 0x4000000080000000,
646  0x0000000080000001, 0x00000000aaaaaaaa,
647  0x0000000100000002, 0x0000000155555554,
648  0x0000000200000004, 0x00000002aaaaaaa8,
649  0x0000000400000008, 0x0000000555555550,
650  0x0000000800000010, 0x0000000aaaaaaaa0,
651  0x0000001000000020, 0x0000001555555540,
652  0x0000002000000040, 0x0000002aaaaaaa80,
653  0x0000004000000080, 0x0000005555555500,
654  0x0000008000000100, 0x000000aaaaaaaa00,
655  0x0000010000000200, 0x0000015555555400,
656  0x0000020000000400, 0x000002aaaaaaa800,
657  0x0000040000000800, 0x0000055555555000,
658  0x0000080000001000, 0x00000aaaaaaaa000,
659  0x0000100000002000, 0x0000155555554000,
660  0x0000200000004000, 0x00002aaaaaaa8000,
661  0x0000400000008000, 0x0000555555550000,
662  0x0000800000010000, 0x0000aaaaaaaa0000,
663  0x0001000000020000, 0x0001555555540000,
664  0x0002000000040000, 0x0002aaaaaaa80000,
665  0x0004000000080000, 0x0005555555500000,
666  0x0008000000100000, 0x000aaaaaaaa00000,
667  0x0010000000200000, 0x0015555555400000,
668  0x0020000000400000, 0x002aaaaaaa800000,
669  0x0040000000800000, 0x0055555555000000,
670  0x0080000001000000, 0x00aaaaaaaa000000,
671  0x0100000002000000, 0x0155555554000000,
672  0x0200000004000000, 0x02aaaaaaa8000000,
673  0x0400000008000000, 0x0555555550000000,
674  0x0800000010000000, 0x0aaaaaaaa0000000,
675  0x1000000020000000, 0x1555555540000000,
676  0x2000000040000000, 0x2aaaaaaa80000000,
677  0x4000000080000000, 0x5555555500000000,
678  0x00000000aaaaaaaa, 0x00000000cccccccc,
679  0x0000000155555554, 0x0000000199999998,
680  0x00000002aaaaaaa8, 0x0000000333333330,
681  0x0000000555555550, 0x0000000666666660,
682  0x0000000aaaaaaaa0, 0x0000000cccccccc0,
683  0x0000001555555540, 0x0000001999999980,
684  0x0000002aaaaaaa80, 0x0000003333333300,
685  0x0000005555555500, 0x0000006666666600,
686  0x000000aaaaaaaa00, 0x000000cccccccc00,
687  0x0000015555555400, 0x0000019999999800,
688  0x000002aaaaaaa800, 0x0000033333333000,
689  0x0000055555555000, 0x0000066666666000,
690  0x00000aaaaaaaa000, 0x00000cccccccc000,
691  0x0000155555554000, 0x0000199999998000,
692  0x00002aaaaaaa8000, 0x0000333333330000,
693  0x0000555555550000, 0x0000666666660000,
694  0x0000aaaaaaaa0000, 0x0000cccccccc0000,
695  0x0001555555540000, 0x0001999999980000,
696  0x0002aaaaaaa80000, 0x0003333333300000,
697  0x0005555555500000, 0x0006666666600000,
698  0x000aaaaaaaa00000, 0x000cccccccc00000,
699  0x0015555555400000, 0x0019999999800000,
700  0x002aaaaaaa800000, 0x0033333333000000,
701  0x0055555555000000, 0x0066666666000000,
702  0x00aaaaaaaa000000, 0x00cccccccc000000,
703  0x0155555554000000, 0x0199999998000000,
704  0x02aaaaaaa8000000, 0x0333333330000000,
705  0x0555555550000000, 0x0666666660000000,
706  0x0aaaaaaaa0000000, 0x0cccccccc0000000,
707  0x1555555540000000, 0x1999999980000000,
708  0x2aaaaaaa80000000, 0x3333333300000000,
709  0x5555555500000000, 0x6666666600000000,
710  0x00000000cccccccc, 0x00000000ffff8000,
711  0x0000000199999998, 0x00000001ffff0000,
712  0x0000000333333330, 0x00000003fffe0000,
713  0x0000000666666660, 0x00000007fffc0000,
714  0x0000000cccccccc0, 0x0000000ffff80000,
715  0x0000001999999980, 0x0000001ffff00000,
716  0x0000003333333300, 0x0000003fffe00000,
717  0x0000006666666600, 0x0000007fffc00000,
718  0x000000cccccccc00, 0x000000ffff800000,
719  0x0000019999999800, 0x000001ffff000000,
720  0x0000033333333000, 0x000003fffe000000,
721  0x0000066666666000, 0x000007fffc000000,
722  0x00000cccccccc000, 0x00000ffff8000000,
723  0x0000199999998000, 0x00001ffff0000000,
724  0x0000333333330000, 0x00003fffe0000000,
725  0x0000666666660000, 0x00007fffc0000000,
726  0x0000cccccccc0000, 0x0000ffff80000000,
727  0x0001999999980000, 0x0001ffff00000000,
728  0x0003333333300000, 0x0003fffe00000000,
729  0x0006666666600000, 0x0007fffc00000000,
730  0x000cccccccc00000, 0x000ffff800000000,
731  0x0019999999800000, 0x001ffff000000000,
732  0x0033333333000000, 0x003fffe000000000,
733  0x0066666666000000, 0x007fffc000000000,
734  0x00cccccccc000000, 0x00ffff8000000000,
735  0x0199999998000000, 0x01ffff0000000000,
736  0x0333333330000000, 0x03fffe0000000000,
737  0x0666666660000000, 0x07fffc0000000000,
738  0x0cccccccc0000000, 0x0ffff80000000000,
739  0x1999999980000000, 0x1ffff00000000000,
740  0x3333333300000000, 0x3fffe00000000000,
741  0x6666666600000000, 0x7fffc00000000000,
742  0x00000000ffff8000, 0x00000000ffff8001,
743  0x00000001ffff0000, 0x00000001ffff0002,
744  0x00000003fffe0000, 0x00000003fffe0004,
745  0x00000007fffc0000, 0x00000007fffc0008,
746  0x0000000ffff80000, 0x0000000ffff80010,
747  0x0000001ffff00000, 0x0000001ffff00020,
748  0x0000003fffe00000, 0x0000003fffe00040,
749  0x0000007fffc00000, 0x0000007fffc00080,
750  0x000000ffff800000, 0x000000ffff800100,
751  0x000001ffff000000, 0x000001ffff000200,
752  0x000003fffe000000, 0x000003fffe000400,
753  0x000007fffc000000, 0x000007fffc000800,
754  0x00000ffff8000000, 0x00000ffff8001000,
755  0x00001ffff0000000, 0x00001ffff0002000,
756  0x00003fffe0000000, 0x00003fffe0004000,
757  0x00007fffc0000000, 0x00007fffc0008000,
758  0x0000ffff80000000, 0x0000ffff80010000,
759  0x0001ffff00000000, 0x0001ffff00020000,
760  0x0003fffe00000000, 0x0003fffe00040000,
761  0x0007fffc00000000, 0x0007fffc00080000,
762  0x000ffff800000000, 0x000ffff800100000,
763  0x001ffff000000000, 0x001ffff000200000,
764  0x003fffe000000000, 0x003fffe000400000,
765  0x007fffc000000000, 0x007fffc000800000,
766  0x00ffff8000000000, 0x00ffff8001000000,
767  0x01ffff0000000000, 0x01ffff0002000000,
768  0x03fffe0000000000, 0x03fffe0004000000,
769  0x07fffc0000000000, 0x07fffc0008000000,
770  0x0ffff80000000000, 0x0ffff80010000000,
771  0x1ffff00000000000, 0x1ffff00020000000,
772  0x3fffe00000000000, 0x3fffe00040000000,
773  0x7fffc00000000000, 0x7fffc00080000000,
774  0x00000000ffff8001, 0x00000000ffff8002,
775  0x00000001ffff0002, 0x00000001ffff0004,
776  0x00000003fffe0004, 0x00000003fffe0008,
777  0x00000007fffc0008, 0x00000007fffc0010,
778  0x0000000ffff80010, 0x0000000ffff80020,
779  0x0000001ffff00020, 0x0000001ffff00040,
780  0x0000003fffe00040, 0x0000003fffe00080,
781  0x0000007fffc00080, 0x0000007fffc00100,
782  0x000000ffff800100, 0x000000ffff800200,
783  0x000001ffff000200, 0x000001ffff000400,
784  0x000003fffe000400, 0x000003fffe000800,
785  0x000007fffc000800, 0x000007fffc001000,
786  0x00000ffff8001000, 0x00000ffff8002000,
787  0x00001ffff0002000, 0x00001ffff0004000,
788  0x00003fffe0004000, 0x00003fffe0008000,
789  0x00007fffc0008000, 0x00007fffc0010000,
790  0x0000ffff80010000, 0x0000ffff80020000,
791  0x0001ffff00020000, 0x0001ffff00040000,
792  0x0003fffe00040000, 0x0003fffe00080000,
793  0x0007fffc00080000, 0x0007fffc00100000,
794  0x000ffff800100000, 0x000ffff800200000,
795  0x001ffff000200000, 0x001ffff000400000,
796  0x003fffe000400000, 0x003fffe000800000,
797  0x007fffc000800000, 0x007fffc001000000,
798  0x00ffff8001000000, 0x00ffff8002000000,
799  0x01ffff0002000000, 0x01ffff0004000000,
800  0x03fffe0004000000, 0x03fffe0008000000,
801  0x07fffc0008000000, 0x07fffc0010000000,
802  0x0ffff80010000000, 0x0ffff80020000000,
803  0x1ffff00020000000, 0x1ffff00040000000,
804  0x3fffe00040000000, 0x3fffe00080000000,
805  0x7fffc00080000000, 0x7fffc00100000000,
806  0x00000000ffff8002, 0x00000000ffff8003,
807  0x00000001ffff0004, 0x00000001ffff0006,
808  0x00000003fffe0008, 0x00000003fffe000c,
809  0x00000007fffc0010, 0x00000007fffc0018,
810  0x0000000ffff80020, 0x0000000ffff80030,
811  0x0000001ffff00040, 0x0000001ffff00060,
812  0x0000003fffe00080, 0x0000003fffe000c0,
813  0x0000007fffc00100, 0x0000007fffc00180,
814  0x000000ffff800200, 0x000000ffff800300,
815  0x000001ffff000400, 0x000001ffff000600,
816  0x000003fffe000800, 0x000003fffe000c00,
817  0x000007fffc001000, 0x000007fffc001800,
818  0x00000ffff8002000, 0x00000ffff8003000,
819  0x00001ffff0004000, 0x00001ffff0006000,
820  0x00003fffe0008000, 0x00003fffe000c000,
821  0x00007fffc0010000, 0x00007fffc0018000,
822  0x0000ffff80020000, 0x0000ffff80030000,
823  0x0001ffff00040000, 0x0001ffff00060000,
824  0x0003fffe00080000, 0x0003fffe000c0000,
825  0x0007fffc00100000, 0x0007fffc00180000,
826  0x000ffff800200000, 0x000ffff800300000,
827  0x001ffff000400000, 0x001ffff000600000,
828  0x003fffe000800000, 0x003fffe000c00000,
829  0x007fffc001000000, 0x007fffc001800000,
830  0x00ffff8002000000, 0x00ffff8003000000,
831  0x01ffff0004000000, 0x01ffff0006000000,
832  0x03fffe0008000000, 0x03fffe000c000000,
833  0x07fffc0010000000, 0x07fffc0018000000,
834  0x0ffff80020000000, 0x0ffff80030000000,
835  0x1ffff00040000000, 0x1ffff00060000000,
836  0x3fffe00080000000, 0x3fffe000c0000000,
837  0x7fffc00100000000, 0x7fffc00180000000,
838  0x00000000ffff8003, 0x00000000ffffff80,
839  0x00000001ffff0006, 0x00000001ffffff00,
840  0x00000003fffe000c, 0x00000003fffffe00,
841  0x00000007fffc0018, 0x00000007fffffc00,
842  0x0000000ffff80030, 0x0000000ffffff800,
843  0x0000001ffff00060, 0x0000001ffffff000,
844  0x0000003fffe000c0, 0x0000003fffffe000,
845  0x0000007fffc00180, 0x0000007fffffc000,
846  0x000000ffff800300, 0x000000ffffff8000,
847  0x000001ffff000600, 0x000001ffffff0000,
848  0x000003fffe000c00, 0x000003fffffe0000,
849  0x000007fffc001800, 0x000007fffffc0000,
850  0x00000ffff8003000, 0x00000ffffff80000,
851  0x00001ffff0006000, 0x00001ffffff00000,
852  0x00003fffe000c000, 0x00003fffffe00000,
853  0x00007fffc0018000, 0x00007fffffc00000,
854  0x0000ffff80030000, 0x0000ffffff800000,
855  0x0001ffff00060000, 0x0001ffffff000000,
856  0x0003fffe000c0000, 0x0003fffffe000000,
857  0x0007fffc00180000, 0x0007fffffc000000,
858  0x000ffff800300000, 0x000ffffff8000000,
859  0x001ffff000600000, 0x001ffffff0000000,
860  0x003fffe000c00000, 0x003fffffe0000000,
861  0x007fffc001800000, 0x007fffffc0000000,
862  0x00ffff8003000000, 0x00ffffff80000000,
863  0x01ffff0006000000, 0x01ffffff00000000,
864  0x03fffe000c000000, 0x03fffffe00000000,
865  0x07fffc0018000000, 0x07fffffc00000000,
866  0x0ffff80030000000, 0x0ffffff800000000,
867  0x1ffff00060000000, 0x1ffffff000000000,
868  0x3fffe000c0000000, 0x3fffffe000000000,
869  0x7fffc00180000000, 0x7fffffc000000000,
870  0x00000000ffffff80, 0x00000000ffffff81,
871  0x00000001ffffff00, 0x00000001ffffff02,
872  0x00000003fffffe00, 0x00000003fffffe04,
873  0x00000007fffffc00, 0x00000007fffffc08,
874  0x0000000ffffff800, 0x0000000ffffff810,
875  0x0000001ffffff000, 0x0000001ffffff020,
876  0x0000003fffffe000, 0x0000003fffffe040,
877  0x0000007fffffc000, 0x0000007fffffc080,
878  0x000000ffffff8000, 0x000000ffffff8100,
879  0x000001ffffff0000, 0x000001ffffff0200,
880  0x000003fffffe0000, 0x000003fffffe0400,
881  0x000007fffffc0000, 0x000007fffffc0800,
882  0x00000ffffff80000, 0x00000ffffff81000,
883  0x00001ffffff00000, 0x00001ffffff02000,
884  0x00003fffffe00000, 0x00003fffffe04000,
885  0x00007fffffc00000, 0x00007fffffc08000,
886  0x0000ffffff800000, 0x0000ffffff810000,
887  0x0001ffffff000000, 0x0001ffffff020000,
888  0x0003fffffe000000, 0x0003fffffe040000,
889  0x0007fffffc000000, 0x0007fffffc080000,
890  0x000ffffff8000000, 0x000ffffff8100000,
891  0x001ffffff0000000, 0x001ffffff0200000,
892  0x003fffffe0000000, 0x003fffffe0400000,
893  0x007fffffc0000000, 0x007fffffc0800000,
894  0x00ffffff80000000, 0x00ffffff81000000,
895  0x01ffffff00000000, 0x01ffffff02000000,
896  0x03fffffe00000000, 0x03fffffe04000000,
897  0x07fffffc00000000, 0x07fffffc08000000,
898  0x0ffffff800000000, 0x0ffffff810000000,
899  0x1ffffff000000000, 0x1ffffff020000000,
900  0x3fffffe000000000, 0x3fffffe040000000,
901  0x7fffffc000000000, 0x7fffffc080000000,
902  0x00000000ffffff81, 0x00000000ffffff82,
903  0x00000001ffffff02, 0x00000001ffffff04,
904  0x00000003fffffe04, 0x00000003fffffe08,
905  0x00000007fffffc08, 0x00000007fffffc10,
906  0x0000000ffffff810, 0x0000000ffffff820,
907  0x0000001ffffff020, 0x0000001ffffff040,
908  0x0000003fffffe040, 0x0000003fffffe080,
909  0x0000007fffffc080, 0x0000007fffffc100,
910  0x000000ffffff8100, 0x000000ffffff8200,
911  0x000001ffffff0200, 0x000001ffffff0400,
912  0x000003fffffe0400, 0x000003fffffe0800,
913  0x000007fffffc0800, 0x000007fffffc1000,
914  0x00000ffffff81000, 0x00000ffffff82000,
915  0x00001ffffff02000, 0x00001ffffff04000,
916  0x00003fffffe04000, 0x00003fffffe08000,
917  0x00007fffffc08000, 0x00007fffffc10000,
918  0x0000ffffff810000, 0x0000ffffff820000,
919  0x0001ffffff020000, 0x0001ffffff040000,
920  0x0003fffffe040000, 0x0003fffffe080000,
921  0x0007fffffc080000, 0x0007fffffc100000,
922  0x000ffffff8100000, 0x000ffffff8200000,
923  0x001ffffff0200000, 0x001ffffff0400000,
924  0x003fffffe0400000, 0x003fffffe0800000,
925  0x007fffffc0800000, 0x007fffffc1000000,
926  0x00ffffff81000000, 0x00ffffff82000000,
927  0x01ffffff02000000, 0x01ffffff04000000,
928  0x03fffffe04000000, 0x03fffffe08000000,
929  0x07fffffc08000000, 0x07fffffc10000000,
930  0x0ffffff810000000, 0x0ffffff820000000,
931  0x1ffffff020000000, 0x1ffffff040000000,
932  0x3fffffe040000000, 0x3fffffe080000000,
933  0x7fffffc080000000, 0x7fffffc100000000,
934  0x00000000ffffff82, 0x00000000ffffff83,
935  0x00000001ffffff04, 0x00000001ffffff06,
936  0x00000003fffffe08, 0x00000003fffffe0c,
937  0x00000007fffffc10, 0x00000007fffffc18,
938  0x0000000ffffff820, 0x0000000ffffff830,
939  0x0000001ffffff040, 0x0000001ffffff060,
940  0x0000003fffffe080, 0x0000003fffffe0c0,
941  0x0000007fffffc100, 0x0000007fffffc180,
942  0x000000ffffff8200, 0x000000ffffff8300,
943  0x000001ffffff0400, 0x000001ffffff0600,
944  0x000003fffffe0800, 0x000003fffffe0c00,
945  0x000007fffffc1000, 0x000007fffffc1800,
946  0x00000ffffff82000, 0x00000ffffff83000,
947  0x00001ffffff04000, 0x00001ffffff06000,
948  0x00003fffffe08000, 0x00003fffffe0c000,
949  0x00007fffffc10000, 0x00007fffffc18000,
950  0x0000ffffff820000, 0x0000ffffff830000,
951  0x0001ffffff040000, 0x0001ffffff060000,
952  0x0003fffffe080000, 0x0003fffffe0c0000,
953  0x0007fffffc100000, 0x0007fffffc180000,
954  0x000ffffff8200000, 0x000ffffff8300000,
955  0x001ffffff0400000, 0x001ffffff0600000,
956  0x003fffffe0800000, 0x003fffffe0c00000,
957  0x007fffffc1000000, 0x007fffffc1800000,
958  0x00ffffff82000000, 0x00ffffff83000000,
959  0x01ffffff04000000, 0x01ffffff06000000,
960  0x03fffffe08000000, 0x03fffffe0c000000,
961  0x07fffffc10000000, 0x07fffffc18000000,
962  0x0ffffff820000000, 0x0ffffff830000000,
963  0x1ffffff040000000, 0x1ffffff060000000,
964  0x3fffffe080000000, 0x3fffffe0c0000000,
965  0x7fffffc100000000, 0x7fffffc180000000,
966  0x00000000ffffff83, 0x00000000ffffffe0,
967  0x00000001ffffff06, 0x00000001ffffffc0,
968  0x00000003fffffe0c, 0x00000003ffffff80,
969  0x00000007fffffc18, 0x00000007ffffff00,
970  0x0000000ffffff830, 0x0000000ffffffe00,
971  0x0000001ffffff060, 0x0000001ffffffc00,
972  0x0000003fffffe0c0, 0x0000003ffffff800,
973  0x0000007fffffc180, 0x0000007ffffff000,
974  0x000000ffffff8300, 0x000000ffffffe000,
975  0x000001ffffff0600, 0x000001ffffffc000,
976  0x000003fffffe0c00, 0x000003ffffff8000,
977  0x000007fffffc1800, 0x000007ffffff0000,
978  0x00000ffffff83000, 0x00000ffffffe0000,
979  0x00001ffffff06000, 0x00001ffffffc0000,
980  0x00003fffffe0c000, 0x00003ffffff80000,
981  0x00007fffffc18000, 0x00007ffffff00000,
982  0x0000ffffff830000, 0x0000ffffffe00000,
983  0x0001ffffff060000, 0x0001ffffffc00000,
984  0x0003fffffe0c0000, 0x0003ffffff800000,
985  0x0007fffffc180000, 0x0007ffffff000000,
986  0x000ffffff8300000, 0x000ffffffe000000,
987  0x001ffffff0600000, 0x001ffffffc000000,
988  0x003fffffe0c00000, 0x003ffffff8000000,
989  0x007fffffc1800000, 0x007ffffff0000000,
990  0x00ffffff83000000, 0x00ffffffe0000000,
991  0x01ffffff06000000, 0x01ffffffc0000000,
992  0x03fffffe0c000000, 0x03ffffff80000000,
993  0x07fffffc18000000, 0x07ffffff00000000,
994  0x0ffffff830000000, 0x0ffffffe00000000,
995  0x1ffffff060000000, 0x1ffffffc00000000,
996  0x3fffffe0c0000000, 0x3ffffff800000000,
997  0x7fffffc180000000, 0x7ffffff000000000,
998  0x00000000ffffffe0, 0x00000000fffffffd,
999  0x00000001ffffffc0, 0x00000001fffffffa,
1000  0x00000003ffffff80, 0x00000003fffffff4,
1001  0x00000007ffffff00, 0x00000007ffffffe8,
1002  0x0000000ffffffe00, 0x0000000fffffffd0,
1003  0x0000001ffffffc00, 0x0000001fffffffa0,
1004  0x0000003ffffff800, 0x0000003fffffff40,
1005  0x0000007ffffff000, 0x0000007ffffffe80,
1006  0x000000ffffffe000, 0x000000fffffffd00,
1007  0x000001ffffffc000, 0x000001fffffffa00,
1008  0x000003ffffff8000, 0x000003fffffff400,
1009  0x000007ffffff0000, 0x000007ffffffe800,
1010  0x00000ffffffe0000, 0x00000fffffffd000,
1011  0x00001ffffffc0000, 0x00001fffffffa000,
1012  0x00003ffffff80000, 0x00003fffffff4000,
1013  0x00007ffffff00000, 0x00007ffffffe8000,
1014  0x0000ffffffe00000, 0x0000fffffffd0000,
1015  0x0001ffffffc00000, 0x0001fffffffa0000,
1016  0x0003ffffff800000, 0x0003fffffff40000,
1017  0x0007ffffff000000, 0x0007ffffffe80000,
1018  0x000ffffffe000000, 0x000fffffffd00000,
1019  0x001ffffffc000000, 0x001fffffffa00000,
1020  0x003ffffff8000000, 0x003fffffff400000,
1021  0x007ffffff0000000, 0x007ffffffe800000,
1022  0x00ffffffe0000000, 0x00fffffffd000000,
1023  0x01ffffffc0000000, 0x01fffffffa000000,
1024  0x03ffffff80000000, 0x03fffffff4000000,
1025  0x07ffffff00000000, 0x07ffffffe8000000,
1026  0x0ffffffe00000000, 0x0fffffffd0000000,
1027  0x1ffffffc00000000, 0x1fffffffa0000000,
1028  0x3ffffff800000000, 0x3fffffff40000000,
1029  0x7ffffff000000000, 0x7ffffffe80000000,
1030};
1031const unsigned kExpectedCount_NEON_ushll_2D_2OPIMM = 992;
1032
1033#endif  // VIXL_SIM_USHLL_2D_2OPIMM_TRACE_AARCH64_H_
1034