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