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_SQDMULL_D_TRACE_AARCH64_H_
35#define VIXL_SIM_SQDMULL_D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_sqdmull_D[] = {
38  0x000000007c080000, 0x0000000000000000,
39  0x000000007d040000, 0x0000000000000000,
40  0x0000007dfd0c0000, 0x0000000000000000,
41  0x0000000000000000, 0x0000000000000000,
42  0x000000000000fc00, 0x0000000000000000,
43  0x000000000001f800, 0x0000000000000000,
44  0x00000000001f8000, 0x0000000000000000,
45  0x00000000007b0c00, 0x0000000000000000,
46  0x00000000007c0800, 0x0000000000000000,
47  0x00000000007d0400, 0x0000000000000000,
48  0x000000007dfd0c00, 0x0000000000000000,
49  0x000000007dfe0800, 0x0000000000000000,
50  0x000000007dff0400, 0x0000000000000000,
51  0x0000326666663400, 0x0000000000000000,
52  0x000053ffffffac00, 0x0000000000000000,
53  0x00007dfffffd0c00, 0x0000000000000000,
54  0x00007dfffffe0800, 0x0000000000000000,
55  0x00007dffffff0400, 0x0000000000000000,
56  0xffff820000000000, 0x0000000000000000,
57  0xffff82000000fc00, 0x0000000000000000,
58  0xffffabffffff5800, 0x0000000000000000,
59  0xffffcd999998d000, 0x0000000000000000,
60  0xffffffff82000000, 0x0000000000000000,
61  0xffffffff8200fc00, 0x0000000000000000,
62  0xffffffff8201f800, 0x0000000000000000,
63  0xffffffff8202f400, 0x0000000000000000,
64  0xffffffffff820000, 0x0000000000000000,
65  0xffffffffff82fc00, 0x0000000000000000,
66  0xffffffffff83f800, 0x0000000000000000,
67  0xffffffffff84f400, 0x0000000000000000,
68  0xffffffffffe08000, 0x0000000000000000,
69  0xfffffffffffd0600, 0x0000000000000000,
70  0xfffffffffffe0400, 0x0000000000000000,
71  0xffffffffffff0200, 0x0000000000000000,
72  0x0000000000000000, 0x0000000000000000,
73  0x000000000000fe00, 0x0000000000000000,
74  0x000000000001fc00, 0x0000000000000000,
75  0x00000000001fc000, 0x0000000000000000,
76  0x00000000007c0600, 0x0000000000000000,
77  0x00000000007d0400, 0x0000000000000000,
78  0x00000000007e0200, 0x0000000000000000,
79  0x000000007efd0600, 0x0000000000000000,
80  0x000000007efe0400, 0x0000000000000000,
81  0x000000007eff0200, 0x0000000000000000,
82  0x000032cccccc9a00, 0x0000000000000000,
83  0x000054aaaaaa5600, 0x0000000000000000,
84  0x00007efffffd0600, 0x0000000000000000,
85  0x00007efffffe0400, 0x0000000000000000,
86  0x00007effffff0200, 0x0000000000000000,
87  0xffff810000000000, 0x0000000000000000,
88  0xffff81000000fe00, 0x0000000000000000,
89  0xffffab555554ac00, 0x0000000000000000,
90  0xffffcd3333326800, 0x0000000000000000,
91  0xffffffff81000000, 0x0000000000000000,
92  0xffffffff8100fe00, 0x0000000000000000,
93  0xffffffff8101fc00, 0x0000000000000000,
94  0xffffffff8102fa00, 0x0000000000000000,
95  0xffffffffff810000, 0x0000000000000000,
96  0xffffffffff81fe00, 0x0000000000000000,
97  0xffffffffff82fc00, 0x0000000000000000,
98  0xffffffffff83fa00, 0x0000000000000000,
99  0xffffffffffe04000, 0x0000000000000000,
100  0xfffffffffd001200, 0x0000000000000000,
101  0xfffffffffe000c00, 0x0000000000000000,
102  0xffffffffff000600, 0x0000000000000000,
103  0x0000000000000000, 0x0000000000000000,
104  0x0000000000fffa00, 0x0000000000000000,
105  0x0000000001fff400, 0x0000000000000000,
106  0x000000001fff4000, 0x0000000000000000,
107  0x000000007cfd1200, 0x0000000000000000,
108  0x000000007dfd0c00, 0x0000000000000000,
109  0x000000007efd0600, 0x0000000000000000,
110  0x0000007ffa001200, 0x0000000000000000,
111  0x0000007ffb000c00, 0x0000000000000000,
112  0x0000007ffc000600, 0x0000000000000000,
113  0x003331ffffccce00, 0x0000000000000000,
114  0x0055535555000200, 0x0000000000000000,
115  0x007ffcfffd001200, 0x0000000000000000,
116  0x007ffcfffe000c00, 0x0000000000000000,
117  0x007ffcffff000600, 0x0000000000000000,
118  0xff80030000000000, 0x0000000000000000,
119  0xff80030000fffa00, 0x0000000000000000,
120  0xffaaacaaaa000400, 0x0000000000000000,
121  0xffcccdffff333800, 0x0000000000000000,
122  0xffffff8003000000, 0x0000000000000000,
123  0xffffff8003fffa00, 0x0000000000000000,
124  0xffffff8004fff400, 0x0000000000000000,
125  0xffffff8005ffee00, 0x0000000000000000,
126  0xffffffff80030000, 0x0000000000000000,
127  0xffffffff8102fa00, 0x0000000000000000,
128  0xffffffff8202f400, 0x0000000000000000,
129  0xffffffff8302ee00, 0x0000000000000000,
130  0xffffffffe000c000, 0x0000000000000000,
131  0x0000000000000000, 0x0000000000000000,
132  0x0000000000000000, 0x0000000000000000,
133  0x0000000000000000, 0x0000000000000000,
134  0x0000000000000000, 0x0000000000000000,
135  0x0000000000000000, 0x0000000000000000,
136  0x0000000000000000, 0x0000000000000000,
137  0x0000000000000000, 0x0000000000000000,
138  0x0000000000000000, 0x0000000000000000,
139  0x0000000000000000, 0x0000000000000000,
140  0x0000000000000000, 0x0000000000000000,
141  0x0000000000000000, 0x0000000000000000,
142  0x0000000000000000, 0x0000000000000000,
143  0x0000000000000000, 0x0000000000000000,
144  0x0000000000000000, 0x0000000000000000,
145  0x0000000000000000, 0x0000000000000000,
146  0x0000000000000000, 0x0000000000000000,
147  0x0000000000000000, 0x0000000000000000,
148  0x0000000000000000, 0x0000000000000000,
149  0x0000000000000000, 0x0000000000000000,
150  0x0000000000000000, 0x0000000000000000,
151  0x0000000000000000, 0x0000000000000000,
152  0x0000000000000000, 0x0000000000000000,
153  0x0000000000000000, 0x0000000000000000,
154  0x0000000000000000, 0x0000000000000000,
155  0x0000000000000000, 0x0000000000000000,
156  0x0000000000000000, 0x0000000000000000,
157  0x0000000000000000, 0x0000000000000000,
158  0x0000000000000000, 0x0000000000000000,
159  0x0000000000000000, 0x0000000000000000,
160  0x0000000000000000, 0x0000000000000000,
161  0x0000000000000000, 0x0000000000000000,
162  0xfffffffffffffffa, 0x0000000000000000,
163  0xfffffffffffffffc, 0x0000000000000000,
164  0xfffffffffffffffe, 0x0000000000000000,
165  0x0000000000000000, 0x0000000000000000,
166  0x0000000000000002, 0x0000000000000000,
167  0x0000000000000004, 0x0000000000000000,
168  0x0000000000000040, 0x0000000000000000,
169  0x00000000000000fa, 0x0000000000000000,
170  0x00000000000000fc, 0x0000000000000000,
171  0x00000000000000fe, 0x0000000000000000,
172  0x000000000000fffa, 0x0000000000000000,
173  0x000000000000fffc, 0x0000000000000000,
174  0x000000000000fffe, 0x0000000000000000,
175  0x0000000066666666, 0x0000000000000000,
176  0x00000000aaaaaaaa, 0x0000000000000000,
177  0x00000000fffffffa, 0x0000000000000000,
178  0x00000000fffffffc, 0x0000000000000000,
179  0x00000000fffffffe, 0x0000000000000000,
180  0xffffffff00000000, 0x0000000000000000,
181  0xffffffff00000002, 0x0000000000000000,
182  0xffffffff55555554, 0x0000000000000000,
183  0xffffffff99999998, 0x0000000000000000,
184  0xffffffffffff0000, 0x0000000000000000,
185  0xffffffffffff0002, 0x0000000000000000,
186  0xffffffffffff0004, 0x0000000000000000,
187  0xffffffffffff0006, 0x0000000000000000,
188  0xffffffffffffff00, 0x0000000000000000,
189  0xffffffffffffff02, 0x0000000000000000,
190  0xffffffffffffff04, 0x0000000000000000,
191  0xffffffffffffff06, 0x0000000000000000,
192  0xffffffffffffffc0, 0x0000000000000000,
193  0xfffffffffffffff4, 0x0000000000000000,
194  0xfffffffffffffff8, 0x0000000000000000,
195  0xfffffffffffffffc, 0x0000000000000000,
196  0x0000000000000000, 0x0000000000000000,
197  0x0000000000000004, 0x0000000000000000,
198  0x0000000000000008, 0x0000000000000000,
199  0x0000000000000080, 0x0000000000000000,
200  0x00000000000001f4, 0x0000000000000000,
201  0x00000000000001f8, 0x0000000000000000,
202  0x00000000000001fc, 0x0000000000000000,
203  0x000000000001fff4, 0x0000000000000000,
204  0x000000000001fff8, 0x0000000000000000,
205  0x000000000001fffc, 0x0000000000000000,
206  0x00000000cccccccc, 0x0000000000000000,
207  0x0000000155555554, 0x0000000000000000,
208  0x00000001fffffff4, 0x0000000000000000,
209  0x00000001fffffff8, 0x0000000000000000,
210  0x00000001fffffffc, 0x0000000000000000,
211  0xfffffffe00000000, 0x0000000000000000,
212  0xfffffffe00000004, 0x0000000000000000,
213  0xfffffffeaaaaaaa8, 0x0000000000000000,
214  0xffffffff33333330, 0x0000000000000000,
215  0xfffffffffffe0000, 0x0000000000000000,
216  0xfffffffffffe0004, 0x0000000000000000,
217  0xfffffffffffe0008, 0x0000000000000000,
218  0xfffffffffffe000c, 0x0000000000000000,
219  0xfffffffffffffe00, 0x0000000000000000,
220  0xfffffffffffffe04, 0x0000000000000000,
221  0xfffffffffffffe08, 0x0000000000000000,
222  0xfffffffffffffe0c, 0x0000000000000000,
223  0xffffffffffffff80, 0x0000000000000000,
224  0xffffffffffffff40, 0x0000000000000000,
225  0xffffffffffffff80, 0x0000000000000000,
226  0xffffffffffffffc0, 0x0000000000000000,
227  0x0000000000000000, 0x0000000000000000,
228  0x0000000000000040, 0x0000000000000000,
229  0x0000000000000080, 0x0000000000000000,
230  0x0000000000000800, 0x0000000000000000,
231  0x0000000000001f40, 0x0000000000000000,
232  0x0000000000001f80, 0x0000000000000000,
233  0x0000000000001fc0, 0x0000000000000000,
234  0x00000000001fff40, 0x0000000000000000,
235  0x00000000001fff80, 0x0000000000000000,
236  0x00000000001fffc0, 0x0000000000000000,
237  0x0000000cccccccc0, 0x0000000000000000,
238  0x0000001555555540, 0x0000000000000000,
239  0x0000001fffffff40, 0x0000000000000000,
240  0x0000001fffffff80, 0x0000000000000000,
241  0x0000001fffffffc0, 0x0000000000000000,
242  0xffffffe000000000, 0x0000000000000000,
243  0xffffffe000000040, 0x0000000000000000,
244  0xffffffeaaaaaaa80, 0x0000000000000000,
245  0xfffffff333333300, 0x0000000000000000,
246  0xffffffffffe00000, 0x0000000000000000,
247  0xffffffffffe00040, 0x0000000000000000,
248  0xffffffffffe00080, 0x0000000000000000,
249  0xffffffffffe000c0, 0x0000000000000000,
250  0xffffffffffffe000, 0x0000000000000000,
251  0xffffffffffffe040, 0x0000000000000000,
252  0xffffffffffffe080, 0x0000000000000000,
253  0xffffffffffffe0c0, 0x0000000000000000,
254  0xfffffffffffff800, 0x0000000000000000,
255  0xfffffffffffffd12, 0x0000000000000000,
256  0xfffffffffffffe0c, 0x0000000000000000,
257  0xffffffffffffff06, 0x0000000000000000,
258  0x0000000000000000, 0x0000000000000000,
259  0x00000000000000fa, 0x0000000000000000,
260  0x00000000000001f4, 0x0000000000000000,
261  0x0000000000001f40, 0x0000000000000000,
262  0x0000000000007a12, 0x0000000000000000,
263  0x0000000000007b0c, 0x0000000000000000,
264  0x0000000000007c06, 0x0000000000000000,
265  0x00000000007cfd12, 0x0000000000000000,
266  0x00000000007cfe0c, 0x0000000000000000,
267  0x00000000007cff06, 0x0000000000000000,
268  0x00000031ffffffce, 0x0000000000000000,
269  0x0000005355555502, 0x0000000000000000,
270  0x0000007cfffffd12, 0x0000000000000000,
271  0x0000007cfffffe0c, 0x0000000000000000,
272  0x0000007cffffff06, 0x0000000000000000,
273  0xffffff8300000000, 0x0000000000000000,
274  0xffffff83000000fa, 0x0000000000000000,
275  0xffffffacaaaaaa04, 0x0000000000000000,
276  0xffffffcdffffff38, 0x0000000000000000,
277  0xffffffffff830000, 0x0000000000000000,
278  0xffffffffff8300fa, 0x0000000000000000,
279  0xffffffffff8301f4, 0x0000000000000000,
280  0xffffffffff8302ee, 0x0000000000000000,
281  0xffffffffffff8300, 0x0000000000000000,
282  0xffffffffffff83fa, 0x0000000000000000,
283  0xffffffffffff84f4, 0x0000000000000000,
284  0xffffffffffff85ee, 0x0000000000000000,
285  0xffffffffffffe0c0, 0x0000000000000000,
286  0xfffffffffffffd0c, 0x0000000000000000,
287  0xfffffffffffffe08, 0x0000000000000000,
288  0xffffffffffffff04, 0x0000000000000000,
289  0x0000000000000000, 0x0000000000000000,
290  0x00000000000000fc, 0x0000000000000000,
291  0x00000000000001f8, 0x0000000000000000,
292  0x0000000000001f80, 0x0000000000000000,
293  0x0000000000007b0c, 0x0000000000000000,
294  0x0000000000007c08, 0x0000000000000000,
295  0x0000000000007d04, 0x0000000000000000,
296  0x00000000007dfd0c, 0x0000000000000000,
297  0x00000000007dfe08, 0x0000000000000000,
298  0x00000000007dff04, 0x0000000000000000,
299  0x0000003266666634, 0x0000000000000000,
300  0x00000053ffffffac, 0x0000000000000000,
301  0x0000007dfffffd0c, 0x0000000000000000,
302  0x0000007dfffffe08, 0x0000000000000000,
303  0x0000007dffffff04, 0x0000000000000000,
304  0xffffff8200000000, 0x0000000000000000,
305  0xffffff82000000fc, 0x0000000000000000,
306  0xffffffabffffff58, 0x0000000000000000,
307  0xffffffcd999998d0, 0x0000000000000000,
308  0xffffffffff820000, 0x0000000000000000,
309  0xffffffffff8200fc, 0x0000000000000000,
310  0xffffffffff8201f8, 0x0000000000000000,
311  0xffffffffff8202f4, 0x0000000000000000,
312  0xffffffffffff8200, 0x0000000000000000,
313  0xffffffffffff82fc, 0x0000000000000000,
314  0xffffffffffff83f8, 0x0000000000000000,
315  0xffffffffffff84f4, 0x0000000000000000,
316  0xffffffffffffe080, 0x0000000000000000,
317  0xfffffffffffffd06, 0x0000000000000000,
318  0xfffffffffffffe04, 0x0000000000000000,
319  0xffffffffffffff02, 0x0000000000000000,
320  0x0000000000000000, 0x0000000000000000,
321  0x00000000000000fe, 0x0000000000000000,
322  0x00000000000001fc, 0x0000000000000000,
323  0x0000000000001fc0, 0x0000000000000000,
324  0x0000000000007c06, 0x0000000000000000,
325  0x0000000000007d04, 0x0000000000000000,
326  0x0000000000007e02, 0x0000000000000000,
327  0x00000000007efd06, 0x0000000000000000,
328  0x00000000007efe04, 0x0000000000000000,
329  0x00000000007eff02, 0x0000000000000000,
330  0x00000032cccccc9a, 0x0000000000000000,
331  0x00000054aaaaaa56, 0x0000000000000000,
332  0x0000007efffffd06, 0x0000000000000000,
333  0x0000007efffffe04, 0x0000000000000000,
334  0x0000007effffff02, 0x0000000000000000,
335  0xffffff8100000000, 0x0000000000000000,
336  0xffffff81000000fe, 0x0000000000000000,
337  0xffffffab555554ac, 0x0000000000000000,
338  0xffffffcd33333268, 0x0000000000000000,
339  0xffffffffff810000, 0x0000000000000000,
340  0xffffffffff8100fe, 0x0000000000000000,
341  0xffffffffff8101fc, 0x0000000000000000,
342  0xffffffffff8102fa, 0x0000000000000000,
343  0xffffffffffff8100, 0x0000000000000000,
344  0xffffffffffff81fe, 0x0000000000000000,
345  0xffffffffffff82fc, 0x0000000000000000,
346  0xffffffffffff83fa, 0x0000000000000000,
347  0xffffffffffffe040, 0x0000000000000000,
348  0xfffffffffffd0012, 0x0000000000000000,
349  0xfffffffffffe000c, 0x0000000000000000,
350  0xffffffffffff0006, 0x0000000000000000,
351  0x0000000000000000, 0x0000000000000000,
352  0x000000000000fffa, 0x0000000000000000,
353  0x000000000001fff4, 0x0000000000000000,
354  0x00000000001fff40, 0x0000000000000000,
355  0x00000000007cfd12, 0x0000000000000000,
356  0x00000000007dfd0c, 0x0000000000000000,
357  0x00000000007efd06, 0x0000000000000000,
358  0x000000007ffa0012, 0x0000000000000000,
359  0x000000007ffb000c, 0x0000000000000000,
360  0x000000007ffc0006, 0x0000000000000000,
361  0x00003331ffffccce, 0x0000000000000000,
362  0x0000555355550002, 0x0000000000000000,
363  0x00007ffcfffd0012, 0x0000000000000000,
364  0x00007ffcfffe000c, 0x0000000000000000,
365  0x00007ffcffff0006, 0x0000000000000000,
366  0xffff800300000000, 0x0000000000000000,
367  0xffff80030000fffa, 0x0000000000000000,
368  0xffffaaacaaaa0004, 0x0000000000000000,
369  0xffffcccdffff3338, 0x0000000000000000,
370  0xffffffff80030000, 0x0000000000000000,
371  0xffffffff8003fffa, 0x0000000000000000,
372  0xffffffff8004fff4, 0x0000000000000000,
373  0xffffffff8005ffee, 0x0000000000000000,
374  0xffffffffff800300, 0x0000000000000000,
375  0xffffffffff8102fa, 0x0000000000000000,
376  0xffffffffff8202f4, 0x0000000000000000,
377  0xffffffffff8302ee, 0x0000000000000000,
378  0xffffffffffe000c0, 0x0000000000000000,
379  0xfffffffffffd000c, 0x0000000000000000,
380  0xfffffffffffe0008, 0x0000000000000000,
381  0xffffffffffff0004, 0x0000000000000000,
382  0x0000000000000000, 0x0000000000000000,
383  0x000000000000fffc, 0x0000000000000000,
384  0x000000000001fff8, 0x0000000000000000,
385  0x00000000001fff80, 0x0000000000000000,
386  0x00000000007cfe0c, 0x0000000000000000,
387  0x00000000007dfe08, 0x0000000000000000,
388  0x00000000007efe04, 0x0000000000000000,
389  0x000000007ffb000c, 0x0000000000000000,
390  0x000000007ffc0008, 0x0000000000000000,
391  0x000000007ffd0004, 0x0000000000000000,
392  0x0000333266663334, 0x0000000000000000,
393  0x00005553ffffaaac, 0x0000000000000000,
394  0x00007ffdfffd000c, 0x0000000000000000,
395  0x00007ffdfffe0008, 0x0000000000000000,
396  0x00007ffdffff0004, 0x0000000000000000,
397  0xffff800200000000, 0x0000000000000000,
398  0xffff80020000fffc, 0x0000000000000000,
399  0xffffaaabffff5558, 0x0000000000000000,
400  0xffffcccd9998ccd0, 0x0000000000000000,
401  0xffffffff80020000, 0x0000000000000000,
402  0xffffffff8002fffc, 0x0000000000000000,
403  0xffffffff8003fff8, 0x0000000000000000,
404  0xffffffff8004fff4, 0x0000000000000000,
405  0xffffffffff800200, 0x0000000000000000,
406  0xffffffffff8101fc, 0x0000000000000000,
407  0xffffffffff8201f8, 0x0000000000000000,
408  0xffffffffff8301f4, 0x0000000000000000,
409  0xffffffffffe00080, 0x0000000000000000,
410  0xfffffffffffd0006, 0x0000000000000000,
411  0xfffffffffffe0004, 0x0000000000000000,
412  0xffffffffffff0002, 0x0000000000000000,
413  0x0000000000000000, 0x0000000000000000,
414  0x000000000000fffe, 0x0000000000000000,
415  0x000000000001fffc, 0x0000000000000000,
416  0x00000000001fffc0, 0x0000000000000000,
417  0x00000000007cff06, 0x0000000000000000,
418  0x00000000007dff04, 0x0000000000000000,
419  0x00000000007eff02, 0x0000000000000000,
420  0x000000007ffc0006, 0x0000000000000000,
421  0x000000007ffd0004, 0x0000000000000000,
422  0x000000007ffe0002, 0x0000000000000000,
423  0x00003332cccc999a, 0x0000000000000000,
424  0x00005554aaaa5556, 0x0000000000000000,
425  0x00007ffefffd0006, 0x0000000000000000,
426  0x00007ffefffe0004, 0x0000000000000000,
427  0x00007ffeffff0002, 0x0000000000000000,
428  0xffff800100000000, 0x0000000000000000,
429  0xffff80010000fffe, 0x0000000000000000,
430  0xffffaaab5554aaac, 0x0000000000000000,
431  0xffffcccd33326668, 0x0000000000000000,
432  0xffffffff80010000, 0x0000000000000000,
433  0xffffffff8001fffe, 0x0000000000000000,
434  0xffffffff8002fffc, 0x0000000000000000,
435  0xffffffff8003fffa, 0x0000000000000000,
436  0xffffffffff800100, 0x0000000000000000,
437  0xffffffffff8100fe, 0x0000000000000000,
438  0xffffffffff8200fc, 0x0000000000000000,
439  0xffffffffff8300fa, 0x0000000000000000,
440  0xffffffffffe00040, 0x0000000000000000,
441  0xfffffffeccccccce, 0x0000000000000000,
442  0xffffffff33333334, 0x0000000000000000,
443  0xffffffff9999999a, 0x0000000000000000,
444  0x0000000000000000, 0x0000000000000000,
445  0x0000000066666666, 0x0000000000000000,
446  0x00000000cccccccc, 0x0000000000000000,
447  0x0000000cccccccc0, 0x0000000000000000,
448  0x00000031ffffffce, 0x0000000000000000,
449  0x0000003266666634, 0x0000000000000000,
450  0x00000032cccccc9a, 0x0000000000000000,
451  0x00003331ffffccce, 0x0000000000000000,
452  0x0000333266663334, 0x0000000000000000,
453  0x00003332cccc999a, 0x0000000000000000,
454  0x147ae147851eb852, 0x0000000000000000,
455  0x22222221ddddddde, 0x0000000000000000,
456  0x33333331ccccccce, 0x0000000000000000,
457  0x3333333233333334, 0x0000000000000000,
458  0x333333329999999a, 0x0000000000000000,
459  0xcccccccd00000000, 0x0000000000000000,
460  0xcccccccd66666666, 0x0000000000000000,
461  0xddddddddbbbbbbbc, 0x0000000000000000,
462  0xeb851eb8147ae148, 0x0000000000000000,
463  0xffffcccccccd0000, 0x0000000000000000,
464  0xffffcccd33336666, 0x0000000000000000,
465  0xffffcccd9999cccc, 0x0000000000000000,
466  0xffffccce00003332, 0x0000000000000000,
467  0xffffffcccccccd00, 0x0000000000000000,
468  0xffffffcd33333366, 0x0000000000000000,
469  0xffffffcd999999cc, 0x0000000000000000,
470  0xffffffce00000032, 0x0000000000000000,
471  0xfffffff333333340, 0x0000000000000000,
472  0xfffffffe00000002, 0x0000000000000000,
473  0xfffffffeaaaaaaac, 0x0000000000000000,
474  0xffffffff55555556, 0x0000000000000000,
475  0x0000000000000000, 0x0000000000000000,
476  0x00000000aaaaaaaa, 0x0000000000000000,
477  0x0000000155555554, 0x0000000000000000,
478  0x0000001555555540, 0x0000000000000000,
479  0x0000005355555502, 0x0000000000000000,
480  0x00000053ffffffac, 0x0000000000000000,
481  0x00000054aaaaaa56, 0x0000000000000000,
482  0x0000555355550002, 0x0000000000000000,
483  0x00005553ffffaaac, 0x0000000000000000,
484  0x00005554aaaa5556, 0x0000000000000000,
485  0x22222221ddddddde, 0x0000000000000000,
486  0x38e38e3871c71c72, 0x0000000000000000,
487  0x5555555300000002, 0x0000000000000000,
488  0x55555553aaaaaaac, 0x0000000000000000,
489  0x5555555455555556, 0x0000000000000000,
490  0xaaaaaaab00000000, 0x0000000000000000,
491  0xaaaaaaabaaaaaaaa, 0x0000000000000000,
492  0xc71c71c6e38e38e4, 0x0000000000000000,
493  0xdddddddd77777778, 0x0000000000000000,
494  0xffffaaaaaaab0000, 0x0000000000000000,
495  0xffffaaab5555aaaa, 0x0000000000000000,
496  0xffffaaac00005554, 0x0000000000000000,
497  0xffffaaacaaaafffe, 0x0000000000000000,
498  0xffffffaaaaaaab00, 0x0000000000000000,
499  0xffffffab555555aa, 0x0000000000000000,
500  0xffffffac00000054, 0x0000000000000000,
501  0xffffffacaaaaaafe, 0x0000000000000000,
502  0xffffffeaaaaaaac0, 0x0000000000000000,
503  0xfffffffd00000012, 0x0000000000000000,
504  0xfffffffe0000000c, 0x0000000000000000,
505  0xffffffff00000006, 0x0000000000000000,
506  0x0000000000000000, 0x0000000000000000,
507  0x00000000fffffffa, 0x0000000000000000,
508  0x00000001fffffff4, 0x0000000000000000,
509  0x0000001fffffff40, 0x0000000000000000,
510  0x0000007cfffffd12, 0x0000000000000000,
511  0x0000007dfffffd0c, 0x0000000000000000,
512  0x0000007efffffd06, 0x0000000000000000,
513  0x00007ffcfffd0012, 0x0000000000000000,
514  0x00007ffdfffd000c, 0x0000000000000000,
515  0x00007ffefffd0006, 0x0000000000000000,
516  0x33333331ccccccce, 0x0000000000000000,
517  0x5555555300000002, 0x0000000000000000,
518  0x7ffffffa00000012, 0x0000000000000000,
519  0x7ffffffb0000000c, 0x0000000000000000,
520  0x7ffffffc00000006, 0x0000000000000000,
521  0x8000000300000000, 0x0000000000000000,
522  0x80000003fffffffa, 0x0000000000000000,
523  0xaaaaaaac00000004, 0x0000000000000000,
524  0xcccccccd33333338, 0x0000000000000000,
525  0xffff800000030000, 0x0000000000000000,
526  0xffff80010002fffa, 0x0000000000000000,
527  0xffff80020002fff4, 0x0000000000000000,
528  0xffff80030002ffee, 0x0000000000000000,
529  0xffffff8000000300, 0x0000000000000000,
530  0xffffff81000002fa, 0x0000000000000000,
531  0xffffff82000002f4, 0x0000000000000000,
532  0xffffff83000002ee, 0x0000000000000000,
533  0xffffffe0000000c0, 0x0000000000000000,
534  0xfffffffd0000000c, 0x0000000000000000,
535  0xfffffffe00000008, 0x0000000000000000,
536  0xffffffff00000004, 0x0000000000000000,
537  0x0000000000000000, 0x0000000000000000,
538  0x00000000fffffffc, 0x0000000000000000,
539  0x00000001fffffff8, 0x0000000000000000,
540  0x0000001fffffff80, 0x0000000000000000,
541  0x0000007cfffffe0c, 0x0000000000000000,
542  0x0000007dfffffe08, 0x0000000000000000,
543  0x0000007efffffe04, 0x0000000000000000,
544  0x00007ffcfffe000c, 0x0000000000000000,
545  0x00007ffdfffe0008, 0x0000000000000000,
546  0x00007ffefffe0004, 0x0000000000000000,
547  0x3333333233333334, 0x0000000000000000,
548  0x55555553aaaaaaac, 0x0000000000000000,
549  0x7ffffffb0000000c, 0x0000000000000000,
550  0x7ffffffc00000008, 0x0000000000000000,
551  0x7ffffffd00000004, 0x0000000000000000,
552  0x8000000200000000, 0x0000000000000000,
553  0x80000002fffffffc, 0x0000000000000000,
554  0xaaaaaaab55555558, 0x0000000000000000,
555  0xccccccccccccccd0, 0x0000000000000000,
556  0xffff800000020000, 0x0000000000000000,
557  0xffff80010001fffc, 0x0000000000000000,
558  0xffff80020001fff8, 0x0000000000000000,
559  0xffff80030001fff4, 0x0000000000000000,
560  0xffffff8000000200, 0x0000000000000000,
561  0xffffff81000001fc, 0x0000000000000000,
562  0xffffff82000001f8, 0x0000000000000000,
563  0xffffff83000001f4, 0x0000000000000000,
564  0xffffffe000000080, 0x0000000000000000,
565  0xfffffffd00000006, 0x0000000000000000,
566  0xfffffffe00000004, 0x0000000000000000,
567  0xffffffff00000002, 0x0000000000000000,
568  0x0000000000000000, 0x0000000000000000,
569  0x00000000fffffffe, 0x0000000000000000,
570  0x00000001fffffffc, 0x0000000000000000,
571  0x0000001fffffffc0, 0x0000000000000000,
572  0x0000007cffffff06, 0x0000000000000000,
573  0x0000007dffffff04, 0x0000000000000000,
574  0x0000007effffff02, 0x0000000000000000,
575  0x00007ffcffff0006, 0x0000000000000000,
576  0x00007ffdffff0004, 0x0000000000000000,
577  0x00007ffeffff0002, 0x0000000000000000,
578  0x333333329999999a, 0x0000000000000000,
579  0x5555555455555556, 0x0000000000000000,
580  0x7ffffffc00000006, 0x0000000000000000,
581  0x7ffffffd00000004, 0x0000000000000000,
582  0x7ffffffe00000002, 0x0000000000000000,
583  0x8000000100000000, 0x0000000000000000,
584  0x80000001fffffffe, 0x0000000000000000,
585  0xaaaaaaaaaaaaaaac, 0x0000000000000000,
586  0xcccccccc66666668, 0x0000000000000000,
587  0xffff800000010000, 0x0000000000000000,
588  0xffff80010000fffe, 0x0000000000000000,
589  0xffff80020000fffc, 0x0000000000000000,
590  0xffff80030000fffa, 0x0000000000000000,
591  0xffffff8000000100, 0x0000000000000000,
592  0xffffff81000000fe, 0x0000000000000000,
593  0xffffff82000000fc, 0x0000000000000000,
594  0xffffff83000000fa, 0x0000000000000000,
595  0xffffffe000000040, 0x0000000000000000,
596  0x0000000300000000, 0x0000000000000000,
597  0x0000000200000000, 0x0000000000000000,
598  0x0000000100000000, 0x0000000000000000,
599  0x0000000000000000, 0x0000000000000000,
600  0xffffffff00000000, 0x0000000000000000,
601  0xfffffffe00000000, 0x0000000000000000,
602  0xffffffe000000000, 0x0000000000000000,
603  0xffffff8300000000, 0x0000000000000000,
604  0xffffff8200000000, 0x0000000000000000,
605  0xffffff8100000000, 0x0000000000000000,
606  0xffff800300000000, 0x0000000000000000,
607  0xffff800200000000, 0x0000000000000000,
608  0xffff800100000000, 0x0000000000000000,
609  0xcccccccd00000000, 0x0000000000000000,
610  0xaaaaaaab00000000, 0x0000000000000000,
611  0x8000000300000000, 0x0000000000000000,
612  0x8000000200000000, 0x0000000000000000,
613  0x8000000100000000, 0x0000000000000000,
614  0x7fffffffffffffff, 0x0000000000000000,
615  0x7fffffff00000000, 0x0000000000000000,
616  0x5555555600000000, 0x0000000000000000,
617  0x3333333400000000, 0x0000000000000000,
618  0x0000800000000000, 0x0000000000000000,
619  0x00007fff00000000, 0x0000000000000000,
620  0x00007ffe00000000, 0x0000000000000000,
621  0x00007ffd00000000, 0x0000000000000000,
622  0x0000008000000000, 0x0000000000000000,
623  0x0000007f00000000, 0x0000000000000000,
624  0x0000007e00000000, 0x0000000000000000,
625  0x0000007d00000000, 0x0000000000000000,
626  0x0000002000000000, 0x0000000000000000,
627  0x00000002fffffffa, 0x0000000000000000,
628  0x00000001fffffffc, 0x0000000000000000,
629  0x00000000fffffffe, 0x0000000000000000,
630  0x0000000000000000, 0x0000000000000000,
631  0xffffffff00000002, 0x0000000000000000,
632  0xfffffffe00000004, 0x0000000000000000,
633  0xffffffe000000040, 0x0000000000000000,
634  0xffffff83000000fa, 0x0000000000000000,
635  0xffffff82000000fc, 0x0000000000000000,
636  0xffffff81000000fe, 0x0000000000000000,
637  0xffff80030000fffa, 0x0000000000000000,
638  0xffff80020000fffc, 0x0000000000000000,
639  0xffff80010000fffe, 0x0000000000000000,
640  0xcccccccd66666666, 0x0000000000000000,
641  0xaaaaaaabaaaaaaaa, 0x0000000000000000,
642  0x80000003fffffffa, 0x0000000000000000,
643  0x80000002fffffffc, 0x0000000000000000,
644  0x80000001fffffffe, 0x0000000000000000,
645  0x7fffffff00000000, 0x0000000000000000,
646  0x7ffffffe00000002, 0x0000000000000000,
647  0x5555555555555554, 0x0000000000000000,
648  0x3333333399999998, 0x0000000000000000,
649  0x00007fffffff0000, 0x0000000000000000,
650  0x00007ffeffff0002, 0x0000000000000000,
651  0x00007ffdffff0004, 0x0000000000000000,
652  0x00007ffcffff0006, 0x0000000000000000,
653  0x0000007fffffff00, 0x0000000000000000,
654  0x0000007effffff02, 0x0000000000000000,
655  0x0000007dffffff04, 0x0000000000000000,
656  0x0000007cffffff06, 0x0000000000000000,
657  0x0000001fffffffc0, 0x0000000000000000,
658  0x0000000200000004, 0x0000000000000000,
659  0x0000000155555558, 0x0000000000000000,
660  0x00000000aaaaaaac, 0x0000000000000000,
661  0x0000000000000000, 0x0000000000000000,
662  0xffffffff55555554, 0x0000000000000000,
663  0xfffffffeaaaaaaa8, 0x0000000000000000,
664  0xffffffeaaaaaaa80, 0x0000000000000000,
665  0xffffffacaaaaaa04, 0x0000000000000000,
666  0xffffffabffffff58, 0x0000000000000000,
667  0xffffffab555554ac, 0x0000000000000000,
668  0xffffaaacaaaa0004, 0x0000000000000000,
669  0xffffaaabffff5558, 0x0000000000000000,
670  0xffffaaab5554aaac, 0x0000000000000000,
671  0xddddddddbbbbbbbc, 0x0000000000000000,
672  0xc71c71c6e38e38e4, 0x0000000000000000,
673  0xaaaaaaac00000004, 0x0000000000000000,
674  0xaaaaaaab55555558, 0x0000000000000000,
675  0xaaaaaaaaaaaaaaac, 0x0000000000000000,
676  0x5555555600000000, 0x0000000000000000,
677  0x5555555555555554, 0x0000000000000000,
678  0x38e38e39c71c71c8, 0x0000000000000000,
679  0x22222222eeeeeef0, 0x0000000000000000,
680  0x0000555555560000, 0x0000000000000000,
681  0x00005554aaab5554, 0x0000000000000000,
682  0x000055540000aaa8, 0x0000000000000000,
683  0x000055535555fffc, 0x0000000000000000,
684  0x0000005555555600, 0x0000000000000000,
685  0x00000054aaaaab54, 0x0000000000000000,
686  0x00000054000000a8, 0x0000000000000000,
687  0x00000053555555fc, 0x0000000000000000,
688  0x0000001555555580, 0x0000000000000000,
689  0x0000000133333338, 0x0000000000000000,
690  0x00000000ccccccd0, 0x0000000000000000,
691  0x0000000066666668, 0x0000000000000000,
692  0x0000000000000000, 0x0000000000000000,
693  0xffffffff99999998, 0x0000000000000000,
694  0xffffffff33333330, 0x0000000000000000,
695  0xfffffff333333300, 0x0000000000000000,
696  0xffffffcdffffff38, 0x0000000000000000,
697  0xffffffcd999998d0, 0x0000000000000000,
698  0xffffffcd33333268, 0x0000000000000000,
699  0xffffcccdffff3338, 0x0000000000000000,
700  0xffffcccd9998ccd0, 0x0000000000000000,
701  0xffffcccd33326668, 0x0000000000000000,
702  0xeb851eb8147ae148, 0x0000000000000000,
703  0xdddddddd77777778, 0x0000000000000000,
704  0xcccccccd33333338, 0x0000000000000000,
705  0xccccccccccccccd0, 0x0000000000000000,
706  0xcccccccc66666668, 0x0000000000000000,
707  0x3333333400000000, 0x0000000000000000,
708  0x3333333399999998, 0x0000000000000000,
709  0x22222222eeeeeef0, 0x0000000000000000,
710  0x147ae14851eb8520, 0x0000000000000000,
711  0x0000333333340000, 0x0000000000000000,
712  0x00003332cccd9998, 0x0000000000000000,
713  0x0000333266673330, 0x0000000000000000,
714  0x000033320000ccc8, 0x0000000000000000,
715  0x0000003333333400, 0x0000000000000000,
716  0x00000032cccccd98, 0x0000000000000000,
717  0x0000003266666730, 0x0000000000000000,
718  0x00000032000000c8, 0x0000000000000000,
719  0x0000000ccccccd00, 0x0000000000000000,
720  0x0000000000030000, 0x0000000000000000,
721  0x0000000000020000, 0x0000000000000000,
722  0x0000000000010000, 0x0000000000000000,
723  0x0000000000000000, 0x0000000000000000,
724  0xffffffffffff0000, 0x0000000000000000,
725  0xfffffffffffe0000, 0x0000000000000000,
726  0xffffffffffe00000, 0x0000000000000000,
727  0xffffffffff830000, 0x0000000000000000,
728  0xffffffffff820000, 0x0000000000000000,
729  0xffffffffff810000, 0x0000000000000000,
730  0xffffffff80030000, 0x0000000000000000,
731  0xffffffff80020000, 0x0000000000000000,
732  0xffffffff80010000, 0x0000000000000000,
733  0xffffcccccccd0000, 0x0000000000000000,
734  0xffffaaaaaaab0000, 0x0000000000000000,
735  0xffff800000030000, 0x0000000000000000,
736  0xffff800000020000, 0x0000000000000000,
737  0xffff800000010000, 0x0000000000000000,
738  0x0000800000000000, 0x0000000000000000,
739  0x00007fffffff0000, 0x0000000000000000,
740  0x0000555555560000, 0x0000000000000000,
741  0x0000333333340000, 0x0000000000000000,
742  0x0000000080000000, 0x0000000000000000,
743  0x000000007fff0000, 0x0000000000000000,
744  0x000000007ffe0000, 0x0000000000000000,
745  0x000000007ffd0000, 0x0000000000000000,
746  0x0000000000800000, 0x0000000000000000,
747  0x00000000007f0000, 0x0000000000000000,
748  0x00000000007e0000, 0x0000000000000000,
749  0x00000000007d0000, 0x0000000000000000,
750  0x0000000000200000, 0x0000000000000000,
751  0x000000000002fffa, 0x0000000000000000,
752  0x000000000001fffc, 0x0000000000000000,
753  0x000000000000fffe, 0x0000000000000000,
754  0x0000000000000000, 0x0000000000000000,
755  0xffffffffffff0002, 0x0000000000000000,
756  0xfffffffffffe0004, 0x0000000000000000,
757  0xffffffffffe00040, 0x0000000000000000,
758  0xffffffffff8300fa, 0x0000000000000000,
759  0xffffffffff8200fc, 0x0000000000000000,
760  0xffffffffff8100fe, 0x0000000000000000,
761  0xffffffff8003fffa, 0x0000000000000000,
762  0xffffffff8002fffc, 0x0000000000000000,
763  0xffffffff8001fffe, 0x0000000000000000,
764  0xffffcccd33336666, 0x0000000000000000,
765  0xffffaaab5555aaaa, 0x0000000000000000,
766  0xffff80010002fffa, 0x0000000000000000,
767  0xffff80010001fffc, 0x0000000000000000,
768  0xffff80010000fffe, 0x0000000000000000,
769  0x00007fff00000000, 0x0000000000000000,
770  0x00007ffeffff0002, 0x0000000000000000,
771  0x00005554aaab5554, 0x0000000000000000,
772  0x00003332cccd9998, 0x0000000000000000,
773  0x000000007fff0000, 0x0000000000000000,
774  0x000000007ffe0002, 0x0000000000000000,
775  0x000000007ffd0004, 0x0000000000000000,
776  0x000000007ffc0006, 0x0000000000000000,
777  0x00000000007fff00, 0x0000000000000000,
778  0x00000000007eff02, 0x0000000000000000,
779  0x00000000007dff04, 0x0000000000000000,
780  0x00000000007cff06, 0x0000000000000000,
781  0x00000000001fffc0, 0x0000000000000000,
782  0x000000000002fff4, 0x0000000000000000,
783  0x000000000001fff8, 0x0000000000000000,
784  0x000000000000fffc, 0x0000000000000000,
785  0x0000000000000000, 0x0000000000000000,
786  0xffffffffffff0004, 0x0000000000000000,
787  0xfffffffffffe0008, 0x0000000000000000,
788  0xffffffffffe00080, 0x0000000000000000,
789  0xffffffffff8301f4, 0x0000000000000000,
790  0xffffffffff8201f8, 0x0000000000000000,
791  0xffffffffff8101fc, 0x0000000000000000,
792  0xffffffff8004fff4, 0x0000000000000000,
793  0xffffffff8003fff8, 0x0000000000000000,
794  0xffffffff8002fffc, 0x0000000000000000,
795  0xffffcccd9999cccc, 0x0000000000000000,
796  0xffffaaac00005554, 0x0000000000000000,
797  0xffff80020002fff4, 0x0000000000000000,
798  0xffff80020001fff8, 0x0000000000000000,
799  0xffff80020000fffc, 0x0000000000000000,
800  0x00007ffe00000000, 0x0000000000000000,
801  0x00007ffdffff0004, 0x0000000000000000,
802  0x000055540000aaa8, 0x0000000000000000,
803  0x0000333266673330, 0x0000000000000000,
804  0x000000007ffe0000, 0x0000000000000000,
805  0x000000007ffd0004, 0x0000000000000000,
806  0x000000007ffc0008, 0x0000000000000000,
807  0x000000007ffb000c, 0x0000000000000000,
808  0x00000000007ffe00, 0x0000000000000000,
809  0x00000000007efe04, 0x0000000000000000,
810  0x00000000007dfe08, 0x0000000000000000,
811  0x00000000007cfe0c, 0x0000000000000000,
812  0x00000000001fff80, 0x0000000000000000,
813  0x000000000002ffee, 0x0000000000000000,
814  0x000000000001fff4, 0x0000000000000000,
815  0x000000000000fffa, 0x0000000000000000,
816  0x0000000000000000, 0x0000000000000000,
817  0xffffffffffff0006, 0x0000000000000000,
818  0xfffffffffffe000c, 0x0000000000000000,
819  0xffffffffffe000c0, 0x0000000000000000,
820  0xffffffffff8302ee, 0x0000000000000000,
821  0xffffffffff8202f4, 0x0000000000000000,
822  0xffffffffff8102fa, 0x0000000000000000,
823  0xffffffff8005ffee, 0x0000000000000000,
824  0xffffffff8004fff4, 0x0000000000000000,
825  0xffffffff8003fffa, 0x0000000000000000,
826  0xffffccce00003332, 0x0000000000000000,
827  0xffffaaacaaaafffe, 0x0000000000000000,
828  0xffff80030002ffee, 0x0000000000000000,
829  0xffff80030001fff4, 0x0000000000000000,
830  0xffff80030000fffa, 0x0000000000000000,
831  0x00007ffd00000000, 0x0000000000000000,
832  0x00007ffcffff0006, 0x0000000000000000,
833  0x000055535555fffc, 0x0000000000000000,
834  0x000033320000ccc8, 0x0000000000000000,
835  0x000000007ffd0000, 0x0000000000000000,
836  0x000000007ffc0006, 0x0000000000000000,
837  0x000000007ffb000c, 0x0000000000000000,
838  0x000000007ffa0012, 0x0000000000000000,
839  0x00000000007ffd00, 0x0000000000000000,
840  0x00000000007efd06, 0x0000000000000000,
841  0x00000000007dfd0c, 0x0000000000000000,
842  0x00000000007cfd12, 0x0000000000000000,
843  0x00000000001fff40, 0x0000000000000000,
844  0x0000000000000300, 0x0000000000000000,
845  0x0000000000000200, 0x0000000000000000,
846  0x0000000000000100, 0x0000000000000000,
847  0x0000000000000000, 0x0000000000000000,
848  0xffffffffffffff00, 0x0000000000000000,
849  0xfffffffffffffe00, 0x0000000000000000,
850  0xffffffffffffe000, 0x0000000000000000,
851  0xffffffffffff8300, 0x0000000000000000,
852  0xffffffffffff8200, 0x0000000000000000,
853  0xffffffffffff8100, 0x0000000000000000,
854  0xffffffffff800300, 0x0000000000000000,
855  0xffffffffff800200, 0x0000000000000000,
856  0xffffffffff800100, 0x0000000000000000,
857  0xffffffcccccccd00, 0x0000000000000000,
858  0xffffffaaaaaaab00, 0x0000000000000000,
859  0xffffff8000000300, 0x0000000000000000,
860  0xffffff8000000200, 0x0000000000000000,
861  0xffffff8000000100, 0x0000000000000000,
862  0x0000008000000000, 0x0000000000000000,
863  0x0000007fffffff00, 0x0000000000000000,
864  0x0000005555555600, 0x0000000000000000,
865  0x0000003333333400, 0x0000000000000000,
866  0x0000000000800000, 0x0000000000000000,
867  0x00000000007fff00, 0x0000000000000000,
868  0x00000000007ffe00, 0x0000000000000000,
869  0x00000000007ffd00, 0x0000000000000000,
870  0x0000000000008000, 0x0000000000000000,
871  0x0000000000007f00, 0x0000000000000000,
872  0x0000000000007e00, 0x0000000000000000,
873  0x0000000000007d00, 0x0000000000000000,
874  0x0000000000002000, 0x0000000000000000,
875  0x00000000000002fa, 0x0000000000000000,
876  0x00000000000001fc, 0x0000000000000000,
877  0x00000000000000fe, 0x0000000000000000,
878  0x0000000000000000, 0x0000000000000000,
879  0xffffffffffffff02, 0x0000000000000000,
880  0xfffffffffffffe04, 0x0000000000000000,
881  0xffffffffffffe040, 0x0000000000000000,
882  0xffffffffffff83fa, 0x0000000000000000,
883  0xffffffffffff82fc, 0x0000000000000000,
884  0xffffffffffff81fe, 0x0000000000000000,
885  0xffffffffff8102fa, 0x0000000000000000,
886  0xffffffffff8101fc, 0x0000000000000000,
887  0xffffffffff8100fe, 0x0000000000000000,
888  0xffffffcd33333366, 0x0000000000000000,
889  0xffffffab555555aa, 0x0000000000000000,
890  0xffffff81000002fa, 0x0000000000000000,
891  0xffffff81000001fc, 0x0000000000000000,
892  0xffffff81000000fe, 0x0000000000000000,
893  0x0000007f00000000, 0x0000000000000000,
894  0x0000007effffff02, 0x0000000000000000,
895  0x00000054aaaaab54, 0x0000000000000000,
896  0x00000032cccccd98, 0x0000000000000000,
897  0x00000000007f0000, 0x0000000000000000,
898  0x00000000007eff02, 0x0000000000000000,
899  0x00000000007efe04, 0x0000000000000000,
900  0x00000000007efd06, 0x0000000000000000,
901  0x0000000000007f00, 0x0000000000000000,
902  0x0000000000007e02, 0x0000000000000000,
903  0x0000000000007d04, 0x0000000000000000,
904  0x0000000000007c06, 0x0000000000000000,
905  0x0000000000001fc0, 0x0000000000000000,
906  0x00000000000002f4, 0x0000000000000000,
907  0x00000000000001f8, 0x0000000000000000,
908  0x00000000000000fc, 0x0000000000000000,
909  0x0000000000000000, 0x0000000000000000,
910  0xffffffffffffff04, 0x0000000000000000,
911  0xfffffffffffffe08, 0x0000000000000000,
912  0xffffffffffffe080, 0x0000000000000000,
913  0xffffffffffff84f4, 0x0000000000000000,
914  0xffffffffffff83f8, 0x0000000000000000,
915  0xffffffffffff82fc, 0x0000000000000000,
916  0xffffffffff8202f4, 0x0000000000000000,
917  0xffffffffff8201f8, 0x0000000000000000,
918  0xffffffffff8200fc, 0x0000000000000000,
919  0xffffffcd999999cc, 0x0000000000000000,
920  0xffffffac00000054, 0x0000000000000000,
921  0xffffff82000002f4, 0x0000000000000000,
922  0xffffff82000001f8, 0x0000000000000000,
923  0xffffff82000000fc, 0x0000000000000000,
924  0x0000007e00000000, 0x0000000000000000,
925  0x0000007dffffff04, 0x0000000000000000,
926  0x00000054000000a8, 0x0000000000000000,
927  0x0000003266666730, 0x0000000000000000,
928  0x00000000007e0000, 0x0000000000000000,
929  0x00000000007dff04, 0x0000000000000000,
930  0x00000000007dfe08, 0x0000000000000000,
931  0x00000000007dfd0c, 0x0000000000000000,
932  0x0000000000007e00, 0x0000000000000000,
933  0x0000000000007d04, 0x0000000000000000,
934  0x0000000000007c08, 0x0000000000000000,
935  0x0000000000007b0c, 0x0000000000000000,
936  0x0000000000001f80, 0x0000000000000000,
937  0x00000000000002ee, 0x0000000000000000,
938  0x00000000000001f4, 0x0000000000000000,
939  0x00000000000000fa, 0x0000000000000000,
940  0x0000000000000000, 0x0000000000000000,
941  0xffffffffffffff06, 0x0000000000000000,
942  0xfffffffffffffe0c, 0x0000000000000000,
943  0xffffffffffffe0c0, 0x0000000000000000,
944  0xffffffffffff85ee, 0x0000000000000000,
945  0xffffffffffff84f4, 0x0000000000000000,
946  0xffffffffffff83fa, 0x0000000000000000,
947  0xffffffffff8302ee, 0x0000000000000000,
948  0xffffffffff8301f4, 0x0000000000000000,
949  0xffffffffff8300fa, 0x0000000000000000,
950  0xffffffce00000032, 0x0000000000000000,
951  0xffffffacaaaaaafe, 0x0000000000000000,
952  0xffffff83000002ee, 0x0000000000000000,
953  0xffffff83000001f4, 0x0000000000000000,
954  0xffffff83000000fa, 0x0000000000000000,
955  0x0000007d00000000, 0x0000000000000000,
956  0x0000007cffffff06, 0x0000000000000000,
957  0x00000053555555fc, 0x0000000000000000,
958  0x00000032000000c8, 0x0000000000000000,
959  0x00000000007d0000, 0x0000000000000000,
960  0x00000000007cff06, 0x0000000000000000,
961  0x00000000007cfe0c, 0x0000000000000000,
962  0x00000000007cfd12, 0x0000000000000000,
963  0x0000000000007d00, 0x0000000000000000,
964  0x0000000000007c06, 0x0000000000000000,
965  0x0000000000007b0c, 0x0000000000000000,
966  0x0000000000007a12, 0x0000000000000000,
967  0x0000000000001f40, 0x0000000000000000,
968  0x00000000000000c0, 0x0000000000000000,
969  0x0000000000000080, 0x0000000000000000,
970  0x0000000000000040, 0x0000000000000000,
971  0x0000000000000000, 0x0000000000000000,
972  0xffffffffffffffc0, 0x0000000000000000,
973  0xffffffffffffff80, 0x0000000000000000,
974  0xfffffffffffff800, 0x0000000000000000,
975  0xffffffffffffe0c0, 0x0000000000000000,
976  0xffffffffffffe080, 0x0000000000000000,
977  0xffffffffffffe040, 0x0000000000000000,
978  0xffffffffffe000c0, 0x0000000000000000,
979  0xffffffffffe00080, 0x0000000000000000,
980  0xffffffffffe00040, 0x0000000000000000,
981  0xfffffff333333340, 0x0000000000000000,
982  0xffffffeaaaaaaac0, 0x0000000000000000,
983  0xffffffe0000000c0, 0x0000000000000000,
984  0xffffffe000000080, 0x0000000000000000,
985  0xffffffe000000040, 0x0000000000000000,
986  0x0000002000000000, 0x0000000000000000,
987  0x0000001fffffffc0, 0x0000000000000000,
988  0x0000001555555580, 0x0000000000000000,
989  0x0000000ccccccd00, 0x0000000000000000,
990  0x0000000000200000, 0x0000000000000000,
991  0x00000000001fffc0, 0x0000000000000000,
992  0x00000000001fff80, 0x0000000000000000,
993  0x00000000001fff40, 0x0000000000000000,
994  0x0000000000002000, 0x0000000000000000,
995  0x0000000000001fc0, 0x0000000000000000,
996  0x0000000000001f80, 0x0000000000000000,
997  0x0000000000001f40, 0x0000000000000000,
998  0x0000000000000800, 0x0000000000000000,
999};
1000const unsigned kExpectedCount_NEON_sqdmull_D = 961;
1001
1002#endif  // VIXL_SIM_SQDMULL_D_TRACE_AARCH64_H_
1003