• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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 
37 const 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 };
1000 const unsigned kExpectedCount_NEON_sqdmull_D = 961;
1001 
1002 #endif  // VIXL_SIM_SQDMULL_D_TRACE_AARCH64_H_
1003