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