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_SMULL_2D_TRACE_AARCH64_H_
35#define VIXL_SIM_SMULL_2D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_smull_2D[] = {
38  0x000000003e040000, 0x000000003f010000,
39  0x000000003e820000, 0x0000003f7e830000,
40  0x0000003efe860000, 0x0000000000000000,
41  0x0000000000000000, 0x0000000000007f00,
42  0x0000000000007e00, 0x000000000000fe00,
43  0x000000000000fc00, 0x00000000000fe000,
44  0x00000000000fc000, 0x00000000003e0300,
45  0x00000000003d8600, 0x00000000003e8200,
46  0x00000000003e0400, 0x00000000003f0100,
47  0x00000000003e8200, 0x000000003f7e8300,
48  0x000000003efe8600, 0x000000003f7f0200,
49  0x000000003eff0400, 0x000000003f7f8100,
50  0x000000003eff8200, 0x0000196666664d00,
51  0x0000193333331a00, 0x00002a5555552b00,
52  0x000029ffffffd600, 0x00003f7ffffe8300,
53  0x00003efffffe8600, 0x00003f7fffff0200,
54  0x00003effffff0400, 0x00003f7fffff8100,
55  0x00003effffff8200, 0xffffc08000000000,
56  0xffffc10000000000, 0xffffc08000007f00,
57  0xffffc10000007e00, 0xffffd5aaaaaa5600,
58  0xffffd5ffffffac00, 0xffffe69999993400,
59  0xffffe6cccccc6800, 0xffffffffc0800000,
60  0xffffffffc1000000, 0xffffffffc0807f00,
61  0xffffffffc1007e00, 0xffffffffc080fe00,
62  0xffffffffc100fc00, 0xffffffffc0817d00,
63  0xffffffffc1017a00, 0xffffffffffc08000,
64  0xffffffffffc10000, 0xffffffffffc0ff00,
65  0xffffffffffc17e00, 0xffffffffffc17e00,
66  0xffffffffffc1fc00, 0xffffffffffc1fd00,
67  0xffffffffffc27a00, 0xfffffffffff02000,
68  0xfffffffffff04000, 0xfffffffffffe8300,
69  0xfffffffffffe8300, 0xffffffffff000600,
70  0xffffffffffff0200, 0xffffffffff800300,
71  0xffffffffffff8100, 0x0000000000000000,
72  0x0000000000000000, 0x00000000007ffd00,
73  0x0000000000007f00, 0x0000000000fffa00,
74  0x000000000000fe00, 0x000000000fffa000,
75  0x00000000000fe000, 0x000000003e7e8900,
76  0x00000000003e0300, 0x000000003efe8600,
77  0x00000000003e8200, 0x000000003f7e8300,
78  0x00000000003f0100, 0x0000003ffd000900,
79  0x000000003f7e8300, 0x0000003ffd800600,
80  0x000000003f7f0200, 0x0000003ffe000300,
81  0x000000003f7f8100, 0x001998ffffe66700,
82  0x0000196666664d00, 0x002aa9aaaa800100,
83  0x00002a5555552b00, 0x003ffe7ffe800900,
84  0x00003f7ffffe8300, 0x003ffe7fff000600,
85  0x00003f7fffff0200, 0x003ffe7fff800300,
86  0x00003f7fffff8100, 0xffc0018000000000,
87  0xffffc08000000000, 0xffc00180007ffd00,
88  0xffffc08000007f00, 0xffd5565555000200,
89  0xffffd5aaaaaa5600, 0xffe666ffff999c00,
90  0xffffe69999993400, 0xffffffc001800000,
91  0xffffffffc0800000, 0xffffffc001fffd00,
92  0xffffffffc0807f00, 0xffffffc0027ffa00,
93  0xffffffffc080fe00, 0xffffffc002fff700,
94  0xffffffffc0817d00, 0xffffffffc0018000,
95  0xffffffffffc08000, 0xffffffffc0817d00,
96  0xffffffffffc0ff00, 0xffffffffc1017a00,
97  0xffffffffffc17e00, 0xffffffffc1817700,
98  0xffffffffffc1fd00, 0xfffffffff0006000,
99  0xfffffffffff02000, 0xfffffffffe800900,
100  0xfffffffffe800900, 0x0000000000000000,
101  0xffffffffff000600, 0x0000000000000000,
102  0xffffffffff800300, 0x0000000000000000,
103  0x0000000000000000, 0x0000000000000000,
104  0x00000000007ffd00, 0x0000000000000000,
105  0x0000000000fffa00, 0x0000000000000000,
106  0x000000000fffa000, 0x0000000000000000,
107  0x000000003e7e8900, 0x0000000000000000,
108  0x000000003efe8600, 0x0000000000000000,
109  0x000000003f7e8300, 0x0000000000000000,
110  0x0000003ffd000900, 0x0000000000000000,
111  0x0000003ffd800600, 0x0000000000000000,
112  0x0000003ffe000300, 0x0000000000000000,
113  0x001998ffffe66700, 0x0000000000000000,
114  0x002aa9aaaa800100, 0x0000000000000000,
115  0x003ffe7ffe800900, 0x0000000000000000,
116  0x003ffe7fff000600, 0x0000000000000000,
117  0x003ffe7fff800300, 0x0000000000000000,
118  0xffc0018000000000, 0x0000000000000000,
119  0xffc00180007ffd00, 0x0000000000000000,
120  0xffd5565555000200, 0x0000000000000000,
121  0xffe666ffff999c00, 0x0000000000000000,
122  0xffffffc001800000, 0x0000000000000000,
123  0xffffffc001fffd00, 0x0000000000000000,
124  0xffffffc0027ffa00, 0x0000000000000000,
125  0xffffffc002fff700, 0x0000000000000000,
126  0xffffffffc0018000, 0x0000000000000000,
127  0xffffffffc0817d00, 0x0000000000000000,
128  0xffffffffc1017a00, 0x0000000000000000,
129  0xffffffffc1817700, 0x0000000000000000,
130  0xfffffffff0006000, 0x0000000000000000,
131  0x0000000000000000, 0xfffffffffffffffe,
132  0x0000000000000000, 0xffffffffffffffff,
133  0x0000000000000000, 0x0000000000000000,
134  0x0000000000000000, 0x0000000000000001,
135  0x0000000000000000, 0x0000000000000002,
136  0x0000000000000000, 0x0000000000000020,
137  0x0000000000000000, 0x000000000000007d,
138  0x0000000000000000, 0x000000000000007e,
139  0x0000000000000000, 0x000000000000007f,
140  0x0000000000000000, 0x0000000000007ffd,
141  0x0000000000000000, 0x0000000000007ffe,
142  0x0000000000000000, 0x0000000000007fff,
143  0x0000000000000000, 0x0000000033333333,
144  0x0000000000000000, 0x0000000055555555,
145  0x0000000000000000, 0x000000007ffffffd,
146  0x0000000000000000, 0x000000007ffffffe,
147  0x0000000000000000, 0x000000007fffffff,
148  0x0000000000000000, 0xffffffff80000000,
149  0x0000000000000000, 0xffffffff80000001,
150  0x0000000000000000, 0xffffffffaaaaaaaa,
151  0x0000000000000000, 0xffffffffcccccccc,
152  0x0000000000000000, 0xffffffffffff8000,
153  0x0000000000000000, 0xffffffffffff8001,
154  0x0000000000000000, 0xffffffffffff8002,
155  0x0000000000000000, 0xffffffffffff8003,
156  0x0000000000000000, 0xffffffffffffff80,
157  0x0000000000000000, 0xffffffffffffff81,
158  0x0000000000000000, 0xffffffffffffff82,
159  0x0000000000000000, 0xffffffffffffff83,
160  0x0000000000000000, 0xffffffffffffffe0,
161  0x0000000000000000, 0xfffffffffffffffd,
162  0xfffffffffffffffd, 0xfffffffffffffffc,
163  0xfffffffffffffffe, 0xfffffffffffffffe,
164  0xffffffffffffffff, 0x0000000000000000,
165  0x0000000000000000, 0x0000000000000002,
166  0x0000000000000001, 0x0000000000000004,
167  0x0000000000000002, 0x0000000000000040,
168  0x0000000000000020, 0x00000000000000fa,
169  0x000000000000007d, 0x00000000000000fc,
170  0x000000000000007e, 0x00000000000000fe,
171  0x000000000000007f, 0x000000000000fffa,
172  0x0000000000007ffd, 0x000000000000fffc,
173  0x0000000000007ffe, 0x000000000000fffe,
174  0x0000000000007fff, 0x0000000066666666,
175  0x0000000033333333, 0x00000000aaaaaaaa,
176  0x0000000055555555, 0x00000000fffffffa,
177  0x000000007ffffffd, 0x00000000fffffffc,
178  0x000000007ffffffe, 0x00000000fffffffe,
179  0x000000007fffffff, 0xffffffff00000000,
180  0xffffffff80000000, 0xffffffff00000002,
181  0xffffffff80000001, 0xffffffff55555554,
182  0xffffffffaaaaaaaa, 0xffffffff99999998,
183  0xffffffffcccccccc, 0xffffffffffff0000,
184  0xffffffffffff8000, 0xffffffffffff0002,
185  0xffffffffffff8001, 0xffffffffffff0004,
186  0xffffffffffff8002, 0xffffffffffff0006,
187  0xffffffffffff8003, 0xffffffffffffff00,
188  0xffffffffffffff80, 0xffffffffffffff02,
189  0xffffffffffffff81, 0xffffffffffffff04,
190  0xffffffffffffff82, 0xffffffffffffff06,
191  0xffffffffffffff83, 0xffffffffffffffc0,
192  0xffffffffffffffe0, 0xfffffffffffffffa,
193  0xfffffffffffffffa, 0xffffffffffffffc0,
194  0xfffffffffffffffc, 0xffffffffffffffe0,
195  0xfffffffffffffffe, 0x0000000000000000,
196  0x0000000000000000, 0x0000000000000020,
197  0x0000000000000002, 0x0000000000000040,
198  0x0000000000000004, 0x0000000000000400,
199  0x0000000000000040, 0x0000000000000fa0,
200  0x00000000000000fa, 0x0000000000000fc0,
201  0x00000000000000fc, 0x0000000000000fe0,
202  0x00000000000000fe, 0x00000000000fffa0,
203  0x000000000000fffa, 0x00000000000fffc0,
204  0x000000000000fffc, 0x00000000000fffe0,
205  0x000000000000fffe, 0x0000000666666660,
206  0x0000000066666666, 0x0000000aaaaaaaa0,
207  0x00000000aaaaaaaa, 0x0000000fffffffa0,
208  0x00000000fffffffa, 0x0000000fffffffc0,
209  0x00000000fffffffc, 0x0000000fffffffe0,
210  0x00000000fffffffe, 0xfffffff000000000,
211  0xffffffff00000000, 0xfffffff000000020,
212  0xffffffff00000002, 0xfffffff555555540,
213  0xffffffff55555554, 0xfffffff999999980,
214  0xffffffff99999998, 0xfffffffffff00000,
215  0xffffffffffff0000, 0xfffffffffff00020,
216  0xffffffffffff0002, 0xfffffffffff00040,
217  0xffffffffffff0004, 0xfffffffffff00060,
218  0xffffffffffff0006, 0xfffffffffffff000,
219  0xffffffffffffff00, 0xfffffffffffff020,
220  0xffffffffffffff02, 0xfffffffffffff040,
221  0xffffffffffffff04, 0xfffffffffffff060,
222  0xffffffffffffff06, 0xfffffffffffffc00,
223  0xffffffffffffffc0, 0xffffffffffffffa0,
224  0xffffffffffffffa0, 0xffffffffffffff06,
225  0xffffffffffffffc0, 0xffffffffffffff83,
226  0xffffffffffffffe0, 0x0000000000000000,
227  0x0000000000000000, 0x000000000000007d,
228  0x0000000000000020, 0x00000000000000fa,
229  0x0000000000000040, 0x0000000000000fa0,
230  0x0000000000000400, 0x0000000000003d09,
231  0x0000000000000fa0, 0x0000000000003d86,
232  0x0000000000000fc0, 0x0000000000003e03,
233  0x0000000000000fe0, 0x00000000003e7e89,
234  0x00000000000fffa0, 0x00000000003e7f06,
235  0x00000000000fffc0, 0x00000000003e7f83,
236  0x00000000000fffe0, 0x00000018ffffffe7,
237  0x0000000666666660, 0x00000029aaaaaa81,
238  0x0000000aaaaaaaa0, 0x0000003e7ffffe89,
239  0x0000000fffffffa0, 0x0000003e7fffff06,
240  0x0000000fffffffc0, 0x0000003e7fffff83,
241  0x0000000fffffffe0, 0xffffffc180000000,
242  0xfffffff000000000, 0xffffffc18000007d,
243  0xfffffff000000020, 0xffffffd655555502,
244  0xfffffff555555540, 0xffffffe6ffffff9c,
245  0xfffffff999999980, 0xffffffffffc18000,
246  0xfffffffffff00000, 0xffffffffffc1807d,
247  0xfffffffffff00020, 0xffffffffffc180fa,
248  0xfffffffffff00040, 0xffffffffffc18177,
249  0xfffffffffff00060, 0xffffffffffffc180,
250  0xfffffffffffff000, 0xffffffffffffc1fd,
251  0xfffffffffffff020, 0xffffffffffffc27a,
252  0xfffffffffffff040, 0xffffffffffffc2f7,
253  0xfffffffffffff060, 0xfffffffffffff060,
254  0xfffffffffffffc00, 0xfffffffffffffe89,
255  0xfffffffffffffe89, 0xffffffffffffff04,
256  0xffffffffffffff06, 0xffffffffffffff82,
257  0xffffffffffffff83, 0x0000000000000000,
258  0x0000000000000000, 0x000000000000007e,
259  0x000000000000007d, 0x00000000000000fc,
260  0x00000000000000fa, 0x0000000000000fc0,
261  0x0000000000000fa0, 0x0000000000003d86,
262  0x0000000000003d09, 0x0000000000003e04,
263  0x0000000000003d86, 0x0000000000003e82,
264  0x0000000000003e03, 0x00000000003efe86,
265  0x00000000003e7e89, 0x00000000003eff04,
266  0x00000000003e7f06, 0x00000000003eff82,
267  0x00000000003e7f83, 0x000000193333331a,
268  0x00000018ffffffe7, 0x00000029ffffffd6,
269  0x00000029aaaaaa81, 0x0000003efffffe86,
270  0x0000003e7ffffe89, 0x0000003effffff04,
271  0x0000003e7fffff06, 0x0000003effffff82,
272  0x0000003e7fffff83, 0xffffffc100000000,
273  0xffffffc180000000, 0xffffffc10000007e,
274  0xffffffc18000007d, 0xffffffd5ffffffac,
275  0xffffffd655555502, 0xffffffe6cccccc68,
276  0xffffffe6ffffff9c, 0xffffffffffc10000,
277  0xffffffffffc18000, 0xffffffffffc1007e,
278  0xffffffffffc1807d, 0xffffffffffc100fc,
279  0xffffffffffc180fa, 0xffffffffffc1017a,
280  0xffffffffffc18177, 0xffffffffffffc100,
281  0xffffffffffffc180, 0xffffffffffffc17e,
282  0xffffffffffffc1fd, 0xffffffffffffc1fc,
283  0xffffffffffffc27a, 0xffffffffffffc27a,
284  0xffffffffffffc2f7, 0xfffffffffffff040,
285  0xfffffffffffff060, 0xfffffffffffffe86,
286  0xfffffffffffffe86, 0xffffffffffffff02,
287  0xffffffffffffff04, 0xffffffffffffff81,
288  0xffffffffffffff82, 0x0000000000000000,
289  0x0000000000000000, 0x000000000000007f,
290  0x000000000000007e, 0x00000000000000fe,
291  0x00000000000000fc, 0x0000000000000fe0,
292  0x0000000000000fc0, 0x0000000000003e03,
293  0x0000000000003d86, 0x0000000000003e82,
294  0x0000000000003e04, 0x0000000000003f01,
295  0x0000000000003e82, 0x00000000003f7e83,
296  0x00000000003efe86, 0x00000000003f7f02,
297  0x00000000003eff04, 0x00000000003f7f81,
298  0x00000000003eff82, 0x000000196666664d,
299  0x000000193333331a, 0x0000002a5555552b,
300  0x00000029ffffffd6, 0x0000003f7ffffe83,
301  0x0000003efffffe86, 0x0000003f7fffff02,
302  0x0000003effffff04, 0x0000003f7fffff81,
303  0x0000003effffff82, 0xffffffc080000000,
304  0xffffffc100000000, 0xffffffc08000007f,
305  0xffffffc10000007e, 0xffffffd5aaaaaa56,
306  0xffffffd5ffffffac, 0xffffffe699999934,
307  0xffffffe6cccccc68, 0xffffffffffc08000,
308  0xffffffffffc10000, 0xffffffffffc0807f,
309  0xffffffffffc1007e, 0xffffffffffc080fe,
310  0xffffffffffc100fc, 0xffffffffffc0817d,
311  0xffffffffffc1017a, 0xffffffffffffc080,
312  0xffffffffffffc100, 0xffffffffffffc0ff,
313  0xffffffffffffc17e, 0xffffffffffffc17e,
314  0xffffffffffffc1fc, 0xffffffffffffc1fd,
315  0xffffffffffffc27a, 0xfffffffffffff020,
316  0xfffffffffffff040, 0xfffffffffffffe83,
317  0xfffffffffffffe83, 0xffffffffffff0006,
318  0xffffffffffffff02, 0xffffffffffff8003,
319  0xffffffffffffff81, 0x0000000000000000,
320  0x0000000000000000, 0x0000000000007ffd,
321  0x000000000000007f, 0x000000000000fffa,
322  0x00000000000000fe, 0x00000000000fffa0,
323  0x0000000000000fe0, 0x00000000003e7e89,
324  0x0000000000003e03, 0x00000000003efe86,
325  0x0000000000003e82, 0x00000000003f7e83,
326  0x0000000000003f01, 0x000000003ffd0009,
327  0x00000000003f7e83, 0x000000003ffd8006,
328  0x00000000003f7f02, 0x000000003ffe0003,
329  0x00000000003f7f81, 0x00001998ffffe667,
330  0x000000196666664d, 0x00002aa9aaaa8001,
331  0x0000002a5555552b, 0x00003ffe7ffe8009,
332  0x0000003f7ffffe83, 0x00003ffe7fff0006,
333  0x0000003f7fffff02, 0x00003ffe7fff8003,
334  0x0000003f7fffff81, 0xffffc00180000000,
335  0xffffffc080000000, 0xffffc00180007ffd,
336  0xffffffc08000007f, 0xffffd55655550002,
337  0xffffffd5aaaaaa56, 0xffffe666ffff999c,
338  0xffffffe699999934, 0xffffffffc0018000,
339  0xffffffffffc08000, 0xffffffffc001fffd,
340  0xffffffffffc0807f, 0xffffffffc0027ffa,
341  0xffffffffffc080fe, 0xffffffffc002fff7,
342  0xffffffffffc0817d, 0xffffffffffc00180,
343  0xffffffffffffc080, 0xffffffffffc0817d,
344  0xffffffffffffc0ff, 0xffffffffffc1017a,
345  0xffffffffffffc17e, 0xffffffffffc18177,
346  0xffffffffffffc1fd, 0xfffffffffff00060,
347  0xfffffffffffff020, 0xfffffffffffe8009,
348  0xfffffffffffe8009, 0xffffffffffff0004,
349  0xffffffffffff0006, 0xffffffffffff8002,
350  0xffffffffffff8003, 0x0000000000000000,
351  0x0000000000000000, 0x0000000000007ffe,
352  0x0000000000007ffd, 0x000000000000fffc,
353  0x000000000000fffa, 0x00000000000fffc0,
354  0x00000000000fffa0, 0x00000000003e7f06,
355  0x00000000003e7e89, 0x00000000003eff04,
356  0x00000000003efe86, 0x00000000003f7f02,
357  0x00000000003f7e83, 0x000000003ffd8006,
358  0x000000003ffd0009, 0x000000003ffe0004,
359  0x000000003ffd8006, 0x000000003ffe8002,
360  0x000000003ffe0003, 0x000019993333199a,
361  0x00001998ffffe667, 0x00002aa9ffffd556,
362  0x00002aa9aaaa8001, 0x00003ffefffe8006,
363  0x00003ffe7ffe8009, 0x00003ffeffff0004,
364  0x00003ffe7fff0006, 0x00003ffeffff8002,
365  0x00003ffe7fff8003, 0xffffc00100000000,
366  0xffffc00180000000, 0xffffc00100007ffe,
367  0xffffc00180007ffd, 0xffffd555ffffaaac,
368  0xffffd55655550002, 0xffffe666cccc6668,
369  0xffffe666ffff999c, 0xffffffffc0010000,
370  0xffffffffc0018000, 0xffffffffc0017ffe,
371  0xffffffffc001fffd, 0xffffffffc001fffc,
372  0xffffffffc0027ffa, 0xffffffffc0027ffa,
373  0xffffffffc002fff7, 0xffffffffffc00100,
374  0xffffffffffc00180, 0xffffffffffc080fe,
375  0xffffffffffc0817d, 0xffffffffffc100fc,
376  0xffffffffffc1017a, 0xffffffffffc180fa,
377  0xffffffffffc18177, 0xfffffffffff00040,
378  0xfffffffffff00060, 0xfffffffffffe8006,
379  0xfffffffffffe8006, 0xffffffffffff0002,
380  0xffffffffffff0004, 0xffffffffffff8001,
381  0xffffffffffff8002, 0x0000000000000000,
382  0x0000000000000000, 0x0000000000007fff,
383  0x0000000000007ffe, 0x000000000000fffe,
384  0x000000000000fffc, 0x00000000000fffe0,
385  0x00000000000fffc0, 0x00000000003e7f83,
386  0x00000000003e7f06, 0x00000000003eff82,
387  0x00000000003eff04, 0x00000000003f7f81,
388  0x00000000003f7f02, 0x000000003ffe0003,
389  0x000000003ffd8006, 0x000000003ffe8002,
390  0x000000003ffe0004, 0x000000003fff0001,
391  0x000000003ffe8002, 0x0000199966664ccd,
392  0x000019993333199a, 0x00002aaa55552aab,
393  0x00002aa9ffffd556, 0x00003fff7ffe8003,
394  0x00003ffefffe8006, 0x00003fff7fff0002,
395  0x00003ffeffff0004, 0x00003fff7fff8001,
396  0x00003ffeffff8002, 0xffffc00080000000,
397  0xffffc00100000000, 0xffffc00080007fff,
398  0xffffc00100007ffe, 0xffffd555aaaa5556,
399  0xffffd555ffffaaac, 0xffffe66699993334,
400  0xffffe666cccc6668, 0xffffffffc0008000,
401  0xffffffffc0010000, 0xffffffffc000ffff,
402  0xffffffffc0017ffe, 0xffffffffc0017ffe,
403  0xffffffffc001fffc, 0xffffffffc001fffd,
404  0xffffffffc0027ffa, 0xffffffffffc00080,
405  0xffffffffffc00100, 0xffffffffffc0807f,
406  0xffffffffffc080fe, 0xffffffffffc1007e,
407  0xffffffffffc100fc, 0xffffffffffc1807d,
408  0xffffffffffc180fa, 0xfffffffffff00020,
409  0xfffffffffff00040, 0xfffffffffffe8003,
410  0xfffffffffffe8003, 0xffffffff9999999a,
411  0xffffffffffff0002, 0xffffffffcccccccd,
412  0xffffffffffff8001, 0x0000000000000000,
413  0x0000000000000000, 0x0000000033333333,
414  0x0000000000007fff, 0x0000000066666666,
415  0x000000000000fffe, 0x0000000666666660,
416  0x00000000000fffe0, 0x00000018ffffffe7,
417  0x00000000003e7f83, 0x000000193333331a,
418  0x00000000003eff82, 0x000000196666664d,
419  0x00000000003f7f81, 0x00001998ffffe667,
420  0x000000003ffe0003, 0x000019993333199a,
421  0x000000003ffe8002, 0x0000199966664ccd,
422  0x000000003fff0001, 0x0a3d70a3c28f5c29,
423  0x0000199966664ccd, 0x11111110eeeeeeef,
424  0x00002aaa55552aab, 0x19999998e6666667,
425  0x00003fff7ffe8003, 0x199999991999999a,
426  0x00003fff7fff0002, 0x199999994ccccccd,
427  0x00003fff7fff8001, 0xe666666680000000,
428  0xffffc00080000000, 0xe6666666b3333333,
429  0xffffc00080007fff, 0xeeeeeeeeddddddde,
430  0xffffd555aaaa5556, 0xf5c28f5c0a3d70a4,
431  0xffffe66699993334, 0xffffe66666668000,
432  0xffffffffc0008000, 0xffffe6669999b333,
433  0xffffffffc000ffff, 0xffffe666cccce666,
434  0xffffffffc0017ffe, 0xffffe66700001999,
435  0xffffffffc001fffd, 0xffffffe666666680,
436  0xffffffffffc00080, 0xffffffe6999999b3,
437  0xffffffffffc0807f, 0xffffffe6cccccce6,
438  0xffffffffffc1007e, 0xffffffe700000019,
439  0xffffffffffc1807d, 0xfffffff9999999a0,
440  0xfffffffffff00020, 0xffffffff66666667,
441  0xffffffff66666667, 0xffffffff55555556,
442  0xffffffff9999999a, 0xffffffffaaaaaaab,
443  0xffffffffcccccccd, 0x0000000000000000,
444  0x0000000000000000, 0x0000000055555555,
445  0x0000000033333333, 0x00000000aaaaaaaa,
446  0x0000000066666666, 0x0000000aaaaaaaa0,
447  0x0000000666666660, 0x00000029aaaaaa81,
448  0x00000018ffffffe7, 0x00000029ffffffd6,
449  0x000000193333331a, 0x0000002a5555552b,
450  0x000000196666664d, 0x00002aa9aaaa8001,
451  0x00001998ffffe667, 0x00002aa9ffffd556,
452  0x000019993333199a, 0x00002aaa55552aab,
453  0x0000199966664ccd, 0x11111110eeeeeeef,
454  0x0a3d70a3c28f5c29, 0x1c71c71c38e38e39,
455  0x11111110eeeeeeef, 0x2aaaaaa980000001,
456  0x19999998e6666667, 0x2aaaaaa9d5555556,
457  0x199999991999999a, 0x2aaaaaaa2aaaaaab,
458  0x199999994ccccccd, 0xd555555580000000,
459  0xe666666680000000, 0xd5555555d5555555,
460  0xe6666666b3333333, 0xe38e38e371c71c72,
461  0xeeeeeeeeddddddde, 0xeeeeeeeebbbbbbbc,
462  0xf5c28f5c0a3d70a4, 0xffffd55555558000,
463  0xffffe66666668000, 0xffffd555aaaad555,
464  0xffffe6669999b333, 0xffffd55600002aaa,
465  0xffffe666cccce666, 0xffffd55655557fff,
466  0xffffe66700001999, 0xffffffd555555580,
467  0xffffffe666666680, 0xffffffd5aaaaaad5,
468  0xffffffe6999999b3, 0xffffffd60000002a,
469  0xffffffe6cccccce6, 0xffffffd65555557f,
470  0xffffffe700000019, 0xfffffff555555560,
471  0xfffffff9999999a0, 0xffffffff00000001,
472  0xffffffff00000001, 0xffffffff00000006,
473  0xffffffff55555556, 0xffffffff80000003,
474  0xffffffffaaaaaaab, 0x0000000000000000,
475  0x0000000000000000, 0x000000007ffffffd,
476  0x0000000055555555, 0x00000000fffffffa,
477  0x00000000aaaaaaaa, 0x0000000fffffffa0,
478  0x0000000aaaaaaaa0, 0x0000003e7ffffe89,
479  0x00000029aaaaaa81, 0x0000003efffffe86,
480  0x00000029ffffffd6, 0x0000003f7ffffe83,
481  0x0000002a5555552b, 0x00003ffe7ffe8009,
482  0x00002aa9aaaa8001, 0x00003ffefffe8006,
483  0x00002aa9ffffd556, 0x00003fff7ffe8003,
484  0x00002aaa55552aab, 0x19999998e6666667,
485  0x11111110eeeeeeef, 0x2aaaaaa980000001,
486  0x1c71c71c38e38e39, 0x3ffffffd00000009,
487  0x2aaaaaa980000001, 0x3ffffffd80000006,
488  0x2aaaaaa9d5555556, 0x3ffffffe00000003,
489  0x2aaaaaaa2aaaaaab, 0xc000000180000000,
490  0xd555555580000000, 0xc0000001fffffffd,
491  0xd5555555d5555555, 0xd555555600000002,
492  0xe38e38e371c71c72, 0xe66666669999999c,
493  0xeeeeeeeebbbbbbbc, 0xffffc00000018000,
494  0xffffd55555558000, 0xffffc00080017ffd,
495  0xffffd555aaaad555, 0xffffc00100017ffa,
496  0xffffd55600002aaa, 0xffffc00180017ff7,
497  0xffffd55655557fff, 0xffffffc000000180,
498  0xffffffd555555580, 0xffffffc08000017d,
499  0xffffffd5aaaaaad5, 0xffffffc10000017a,
500  0xffffffd60000002a, 0xffffffc180000177,
501  0xffffffd65555557f, 0xfffffff000000060,
502  0xfffffff555555560, 0xfffffffe80000009,
503  0xfffffffe80000009, 0xffffffff00000004,
504  0xffffffff00000006, 0xffffffff80000002,
505  0xffffffff80000003, 0x0000000000000000,
506  0x0000000000000000, 0x000000007ffffffe,
507  0x000000007ffffffd, 0x00000000fffffffc,
508  0x00000000fffffffa, 0x0000000fffffffc0,
509  0x0000000fffffffa0, 0x0000003e7fffff06,
510  0x0000003e7ffffe89, 0x0000003effffff04,
511  0x0000003efffffe86, 0x0000003f7fffff02,
512  0x0000003f7ffffe83, 0x00003ffe7fff0006,
513  0x00003ffe7ffe8009, 0x00003ffeffff0004,
514  0x00003ffefffe8006, 0x00003fff7fff0002,
515  0x00003fff7ffe8003, 0x199999991999999a,
516  0x19999998e6666667, 0x2aaaaaa9d5555556,
517  0x2aaaaaa980000001, 0x3ffffffd80000006,
518  0x3ffffffd00000009, 0x3ffffffe00000004,
519  0x3ffffffd80000006, 0x3ffffffe80000002,
520  0x3ffffffe00000003, 0xc000000100000000,
521  0xc000000180000000, 0xc00000017ffffffe,
522  0xc0000001fffffffd, 0xd5555555aaaaaaac,
523  0xd555555600000002, 0xe666666666666668,
524  0xe66666669999999c, 0xffffc00000010000,
525  0xffffc00000018000, 0xffffc0008000fffe,
526  0xffffc00080017ffd, 0xffffc0010000fffc,
527  0xffffc00100017ffa, 0xffffc0018000fffa,
528  0xffffc00180017ff7, 0xffffffc000000100,
529  0xffffffc000000180, 0xffffffc0800000fe,
530  0xffffffc08000017d, 0xffffffc1000000fc,
531  0xffffffc10000017a, 0xffffffc1800000fa,
532  0xffffffc180000177, 0xfffffff000000040,
533  0xfffffff000000060, 0xfffffffe80000006,
534  0xfffffffe80000006, 0xffffffff00000002,
535  0xffffffff00000004, 0xffffffff80000001,
536  0xffffffff80000002, 0x0000000000000000,
537  0x0000000000000000, 0x000000007fffffff,
538  0x000000007ffffffe, 0x00000000fffffffe,
539  0x00000000fffffffc, 0x0000000fffffffe0,
540  0x0000000fffffffc0, 0x0000003e7fffff83,
541  0x0000003e7fffff06, 0x0000003effffff82,
542  0x0000003effffff04, 0x0000003f7fffff81,
543  0x0000003f7fffff02, 0x00003ffe7fff8003,
544  0x00003ffe7fff0006, 0x00003ffeffff8002,
545  0x00003ffeffff0004, 0x00003fff7fff8001,
546  0x00003fff7fff0002, 0x199999994ccccccd,
547  0x199999991999999a, 0x2aaaaaaa2aaaaaab,
548  0x2aaaaaa9d5555556, 0x3ffffffe00000003,
549  0x3ffffffd80000006, 0x3ffffffe80000002,
550  0x3ffffffe00000004, 0x3fffffff00000001,
551  0x3ffffffe80000002, 0xc000000080000000,
552  0xc000000100000000, 0xc0000000ffffffff,
553  0xc00000017ffffffe, 0xd555555555555556,
554  0xd5555555aaaaaaac, 0xe666666633333334,
555  0xe666666666666668, 0xffffc00000008000,
556  0xffffc00000010000, 0xffffc00080007fff,
557  0xffffc0008000fffe, 0xffffc00100007ffe,
558  0xffffc0010000fffc, 0xffffc00180007ffd,
559  0xffffc0018000fffa, 0xffffffc000000080,
560  0xffffffc000000100, 0xffffffc08000007f,
561  0xffffffc0800000fe, 0xffffffc10000007e,
562  0xffffffc1000000fc, 0xffffffc18000007d,
563  0xffffffc1800000fa, 0xfffffff000000020,
564  0xfffffff000000040, 0xfffffffe80000003,
565  0xfffffffe80000003, 0x0000000100000000,
566  0xffffffff00000002, 0x0000000080000000,
567  0xffffffff80000001, 0x0000000000000000,
568  0x0000000000000000, 0xffffffff80000000,
569  0x000000007fffffff, 0xffffffff00000000,
570  0x00000000fffffffe, 0xfffffff000000000,
571  0x0000000fffffffe0, 0xffffffc180000000,
572  0x0000003e7fffff83, 0xffffffc100000000,
573  0x0000003effffff82, 0xffffffc080000000,
574  0x0000003f7fffff81, 0xffffc00180000000,
575  0x00003ffe7fff8003, 0xffffc00100000000,
576  0x00003ffeffff8002, 0xffffc00080000000,
577  0x00003fff7fff8001, 0xe666666680000000,
578  0x199999994ccccccd, 0xd555555580000000,
579  0x2aaaaaaa2aaaaaab, 0xc000000180000000,
580  0x3ffffffe00000003, 0xc000000100000000,
581  0x3ffffffe80000002, 0xc000000080000000,
582  0x3fffffff00000001, 0x4000000000000000,
583  0xc000000080000000, 0x3fffffff80000000,
584  0xc0000000ffffffff, 0x2aaaaaab00000000,
585  0xd555555555555556, 0x1999999a00000000,
586  0xe666666633333334, 0x0000400000000000,
587  0xffffc00000008000, 0x00003fff80000000,
588  0xffffc00080007fff, 0x00003fff00000000,
589  0xffffc00100007ffe, 0x00003ffe80000000,
590  0xffffc00180007ffd, 0x0000004000000000,
591  0xffffffc000000080, 0x0000003f80000000,
592  0xffffffc08000007f, 0x0000003f00000000,
593  0xffffffc10000007e, 0x0000003e80000000,
594  0xffffffc18000007d, 0x0000001000000000,
595  0xfffffff000000020, 0x0000000180000000,
596  0x0000000180000000, 0x00000000fffffffe,
597  0x0000000100000000, 0x000000007fffffff,
598  0x0000000080000000, 0x0000000000000000,
599  0x0000000000000000, 0xffffffff80000001,
600  0xffffffff80000000, 0xffffffff00000002,
601  0xffffffff00000000, 0xfffffff000000020,
602  0xfffffff000000000, 0xffffffc18000007d,
603  0xffffffc180000000, 0xffffffc10000007e,
604  0xffffffc100000000, 0xffffffc08000007f,
605  0xffffffc080000000, 0xffffc00180007ffd,
606  0xffffc00180000000, 0xffffc00100007ffe,
607  0xffffc00100000000, 0xffffc00080007fff,
608  0xffffc00080000000, 0xe6666666b3333333,
609  0xe666666680000000, 0xd5555555d5555555,
610  0xd555555580000000, 0xc0000001fffffffd,
611  0xc000000180000000, 0xc00000017ffffffe,
612  0xc000000100000000, 0xc0000000ffffffff,
613  0xc000000080000000, 0x3fffffff80000000,
614  0x4000000000000000, 0x3fffffff00000001,
615  0x3fffffff80000000, 0x2aaaaaaaaaaaaaaa,
616  0x2aaaaaab00000000, 0x19999999cccccccc,
617  0x1999999a00000000, 0x00003fffffff8000,
618  0x0000400000000000, 0x00003fff7fff8001,
619  0x00003fff80000000, 0x00003ffeffff8002,
620  0x00003fff00000000, 0x00003ffe7fff8003,
621  0x00003ffe80000000, 0x0000003fffffff80,
622  0x0000004000000000, 0x0000003f7fffff81,
623  0x0000003f80000000, 0x0000003effffff82,
624  0x0000003f00000000, 0x0000003e7fffff83,
625  0x0000003e80000000, 0x0000000fffffffe0,
626  0x0000001000000000, 0x000000017ffffffd,
627  0x000000017ffffffd, 0x00000000aaaaaaac,
628  0x00000000fffffffe, 0x0000000055555556,
629  0x000000007fffffff, 0x0000000000000000,
630  0x0000000000000000, 0xffffffffaaaaaaaa,
631  0xffffffff80000001, 0xffffffff55555554,
632  0xffffffff00000002, 0xfffffff555555540,
633  0xfffffff000000020, 0xffffffd655555502,
634  0xffffffc18000007d, 0xffffffd5ffffffac,
635  0xffffffc10000007e, 0xffffffd5aaaaaa56,
636  0xffffffc08000007f, 0xffffd55655550002,
637  0xffffc00180007ffd, 0xffffd555ffffaaac,
638  0xffffc00100007ffe, 0xffffd555aaaa5556,
639  0xffffc00080007fff, 0xeeeeeeeeddddddde,
640  0xe6666666b3333333, 0xe38e38e371c71c72,
641  0xd5555555d5555555, 0xd555555600000002,
642  0xc0000001fffffffd, 0xd5555555aaaaaaac,
643  0xc00000017ffffffe, 0xd555555555555556,
644  0xc0000000ffffffff, 0x2aaaaaab00000000,
645  0x3fffffff80000000, 0x2aaaaaaaaaaaaaaa,
646  0x3fffffff00000001, 0x1c71c71ce38e38e4,
647  0x2aaaaaaaaaaaaaaa, 0x1111111177777778,
648  0x19999999cccccccc, 0x00002aaaaaab0000,
649  0x00003fffffff8000, 0x00002aaa5555aaaa,
650  0x00003fff7fff8001, 0x00002aaa00005554,
651  0x00003ffeffff8002, 0x00002aa9aaaafffe,
652  0x00003ffe7fff8003, 0x0000002aaaaaab00,
653  0x0000003fffffff80, 0x0000002a555555aa,
654  0x0000003f7fffff81, 0x0000002a00000054,
655  0x0000003effffff82, 0x00000029aaaaaafe,
656  0x0000003e7fffff83, 0x0000000aaaaaaac0,
657  0x0000000fffffffe0, 0x0000000100000002,
658  0x0000000100000002, 0x0000000066666668,
659  0x00000000aaaaaaac, 0x0000000033333334,
660  0x0000000055555556, 0x0000000000000000,
661  0x0000000000000000, 0xffffffffcccccccc,
662  0xffffffffaaaaaaaa, 0xffffffff99999998,
663  0xffffffff55555554, 0xfffffff999999980,
664  0xfffffff555555540, 0xffffffe6ffffff9c,
665  0xffffffd655555502, 0xffffffe6cccccc68,
666  0xffffffd5ffffffac, 0xffffffe699999934,
667  0xffffffd5aaaaaa56, 0xffffe666ffff999c,
668  0xffffd55655550002, 0xffffe666cccc6668,
669  0xffffd555ffffaaac, 0xffffe66699993334,
670  0xffffd555aaaa5556, 0xf5c28f5c0a3d70a4,
671  0xeeeeeeeeddddddde, 0xeeeeeeeebbbbbbbc,
672  0xe38e38e371c71c72, 0xe66666669999999c,
673  0xd555555600000002, 0xe666666666666668,
674  0xd5555555aaaaaaac, 0xe666666633333334,
675  0xd555555555555556, 0x1999999a00000000,
676  0x2aaaaaab00000000, 0x19999999cccccccc,
677  0x2aaaaaaaaaaaaaaa, 0x1111111177777778,
678  0x1c71c71ce38e38e4, 0x0a3d70a428f5c290,
679  0x1111111177777778, 0x00001999999a0000,
680  0x00002aaaaaab0000, 0x000019996666cccc,
681  0x00002aaa5555aaaa, 0x0000199933339998,
682  0x00002aaa00005554, 0x0000199900006664,
683  0x00002aa9aaaafffe, 0x0000001999999a00,
684  0x0000002aaaaaab00, 0x00000019666666cc,
685  0x0000002a555555aa, 0x0000001933333398,
686  0x0000002a00000054, 0x0000001900000064,
687  0x00000029aaaaaafe, 0x0000000666666680,
688  0x0000000aaaaaaac0, 0x000000009999999c,
689  0x000000009999999c, 0x0000000000010000,
690  0x0000000066666668, 0x0000000000008000,
691  0x0000000033333334, 0x0000000000000000,
692  0x0000000000000000, 0xffffffffffff8000,
693  0xffffffffcccccccc, 0xffffffffffff0000,
694  0xffffffff99999998, 0xfffffffffff00000,
695  0xfffffff999999980, 0xffffffffffc18000,
696  0xffffffe6ffffff9c, 0xffffffffffc10000,
697  0xffffffe6cccccc68, 0xffffffffffc08000,
698  0xffffffe699999934, 0xffffffffc0018000,
699  0xffffe666ffff999c, 0xffffffffc0010000,
700  0xffffe666cccc6668, 0xffffffffc0008000,
701  0xffffe66699993334, 0xffffe66666668000,
702  0xf5c28f5c0a3d70a4, 0xffffd55555558000,
703  0xeeeeeeeebbbbbbbc, 0xffffc00000018000,
704  0xe66666669999999c, 0xffffc00000010000,
705  0xe666666666666668, 0xffffc00000008000,
706  0xe666666633333334, 0x0000400000000000,
707  0x1999999a00000000, 0x00003fffffff8000,
708  0x19999999cccccccc, 0x00002aaaaaab0000,
709  0x1111111177777778, 0x00001999999a0000,
710  0x0a3d70a428f5c290, 0x0000000040000000,
711  0x00001999999a0000, 0x000000003fff8000,
712  0x000019996666cccc, 0x000000003fff0000,
713  0x0000199933339998, 0x000000003ffe8000,
714  0x0000199900006664, 0x0000000000400000,
715  0x0000001999999a00, 0x00000000003f8000,
716  0x00000019666666cc, 0x00000000003f0000,
717  0x0000001933333398, 0x00000000003e8000,
718  0x0000001900000064, 0x0000000000100000,
719  0x0000000666666680, 0x0000000000018000,
720  0x0000000000018000, 0x000000000000fffe,
721  0x0000000000010000, 0x0000000000007fff,
722  0x0000000000008000, 0x0000000000000000,
723  0x0000000000000000, 0xffffffffffff8001,
724  0xffffffffffff8000, 0xffffffffffff0002,
725  0xffffffffffff0000, 0xfffffffffff00020,
726  0xfffffffffff00000, 0xffffffffffc1807d,
727  0xffffffffffc18000, 0xffffffffffc1007e,
728  0xffffffffffc10000, 0xffffffffffc0807f,
729  0xffffffffffc08000, 0xffffffffc001fffd,
730  0xffffffffc0018000, 0xffffffffc0017ffe,
731  0xffffffffc0010000, 0xffffffffc000ffff,
732  0xffffffffc0008000, 0xffffe6669999b333,
733  0xffffe66666668000, 0xffffd555aaaad555,
734  0xffffd55555558000, 0xffffc00080017ffd,
735  0xffffc00000018000, 0xffffc0008000fffe,
736  0xffffc00000010000, 0xffffc00080007fff,
737  0xffffc00000008000, 0x00003fff80000000,
738  0x0000400000000000, 0x00003fff7fff8001,
739  0x00003fffffff8000, 0x00002aaa5555aaaa,
740  0x00002aaaaaab0000, 0x000019996666cccc,
741  0x00001999999a0000, 0x000000003fff8000,
742  0x0000000040000000, 0x000000003fff0001,
743  0x000000003fff8000, 0x000000003ffe8002,
744  0x000000003fff0000, 0x000000003ffe0003,
745  0x000000003ffe8000, 0x00000000003fff80,
746  0x0000000000400000, 0x00000000003f7f81,
747  0x00000000003f8000, 0x00000000003eff82,
748  0x00000000003f0000, 0x00000000003e7f83,
749  0x00000000003e8000, 0x00000000000fffe0,
750  0x0000000000100000, 0x0000000000017ffd,
751  0x0000000000017ffd, 0x000000000000fffc,
752  0x000000000000fffe, 0x0000000000007ffe,
753  0x0000000000007fff, 0x0000000000000000,
754  0x0000000000000000, 0xffffffffffff8002,
755  0xffffffffffff8001, 0xffffffffffff0004,
756  0xffffffffffff0002, 0xfffffffffff00040,
757  0xfffffffffff00020, 0xffffffffffc180fa,
758  0xffffffffffc1807d, 0xffffffffffc100fc,
759  0xffffffffffc1007e, 0xffffffffffc080fe,
760  0xffffffffffc0807f, 0xffffffffc0027ffa,
761  0xffffffffc001fffd, 0xffffffffc001fffc,
762  0xffffffffc0017ffe, 0xffffffffc0017ffe,
763  0xffffffffc000ffff, 0xffffe666cccce666,
764  0xffffe6669999b333, 0xffffd55600002aaa,
765  0xffffd555aaaad555, 0xffffc00100017ffa,
766  0xffffc00080017ffd, 0xffffc0010000fffc,
767  0xffffc0008000fffe, 0xffffc00100007ffe,
768  0xffffc00080007fff, 0x00003fff00000000,
769  0x00003fff80000000, 0x00003ffeffff8002,
770  0x00003fff7fff8001, 0x00002aaa00005554,
771  0x00002aaa5555aaaa, 0x0000199933339998,
772  0x000019996666cccc, 0x000000003fff0000,
773  0x000000003fff8000, 0x000000003ffe8002,
774  0x000000003fff0001, 0x000000003ffe0004,
775  0x000000003ffe8002, 0x000000003ffd8006,
776  0x000000003ffe0003, 0x00000000003fff00,
777  0x00000000003fff80, 0x00000000003f7f02,
778  0x00000000003f7f81, 0x00000000003eff04,
779  0x00000000003eff82, 0x00000000003e7f06,
780  0x00000000003e7f83, 0x00000000000fffc0,
781  0x00000000000fffe0, 0x0000000000017ffa,
782  0x0000000000017ffa, 0x000000000000fffa,
783  0x000000000000fffc, 0x0000000000007ffd,
784  0x0000000000007ffe, 0x0000000000000000,
785  0x0000000000000000, 0xffffffffffff8003,
786  0xffffffffffff8002, 0xffffffffffff0006,
787  0xffffffffffff0004, 0xfffffffffff00060,
788  0xfffffffffff00040, 0xffffffffffc18177,
789  0xffffffffffc180fa, 0xffffffffffc1017a,
790  0xffffffffffc100fc, 0xffffffffffc0817d,
791  0xffffffffffc080fe, 0xffffffffc002fff7,
792  0xffffffffc0027ffa, 0xffffffffc0027ffa,
793  0xffffffffc001fffc, 0xffffffffc001fffd,
794  0xffffffffc0017ffe, 0xffffe66700001999,
795  0xffffe666cccce666, 0xffffd55655557fff,
796  0xffffd55600002aaa, 0xffffc00180017ff7,
797  0xffffc00100017ffa, 0xffffc0018000fffa,
798  0xffffc0010000fffc, 0xffffc00180007ffd,
799  0xffffc00100007ffe, 0x00003ffe80000000,
800  0x00003fff00000000, 0x00003ffe7fff8003,
801  0x00003ffeffff8002, 0x00002aa9aaaafffe,
802  0x00002aaa00005554, 0x0000199900006664,
803  0x0000199933339998, 0x000000003ffe8000,
804  0x000000003fff0000, 0x000000003ffe0003,
805  0x000000003ffe8002, 0x000000003ffd8006,
806  0x000000003ffe0004, 0x000000003ffd0009,
807  0x000000003ffd8006, 0x00000000003ffe80,
808  0x00000000003fff00, 0x00000000003f7e83,
809  0x00000000003f7f02, 0x00000000003efe86,
810  0x00000000003eff04, 0x00000000003e7e89,
811  0x00000000003e7f06, 0x00000000000fffa0,
812  0x00000000000fffc0, 0x0000000000017ff7,
813  0x0000000000017ff7, 0x0000000000000100,
814  0x000000000000fffa, 0x0000000000000080,
815  0x0000000000007ffd, 0x0000000000000000,
816  0x0000000000000000, 0xffffffffffffff80,
817  0xffffffffffff8003, 0xffffffffffffff00,
818  0xffffffffffff0006, 0xfffffffffffff000,
819  0xfffffffffff00060, 0xffffffffffffc180,
820  0xffffffffffc18177, 0xffffffffffffc100,
821  0xffffffffffc1017a, 0xffffffffffffc080,
822  0xffffffffffc0817d, 0xffffffffffc00180,
823  0xffffffffc002fff7, 0xffffffffffc00100,
824  0xffffffffc0027ffa, 0xffffffffffc00080,
825  0xffffffffc001fffd, 0xffffffe666666680,
826  0xffffe66700001999, 0xffffffd555555580,
827  0xffffd55655557fff, 0xffffffc000000180,
828  0xffffc00180017ff7, 0xffffffc000000100,
829  0xffffc0018000fffa, 0xffffffc000000080,
830  0xffffc00180007ffd, 0x0000004000000000,
831  0x00003ffe80000000, 0x0000003fffffff80,
832  0x00003ffe7fff8003, 0x0000002aaaaaab00,
833  0x00002aa9aaaafffe, 0x0000001999999a00,
834  0x0000199900006664, 0x0000000000400000,
835  0x000000003ffe8000, 0x00000000003fff80,
836  0x000000003ffe0003, 0x00000000003fff00,
837  0x000000003ffd8006, 0x00000000003ffe80,
838  0x000000003ffd0009, 0x0000000000004000,
839  0x00000000003ffe80, 0x0000000000003f80,
840  0x00000000003f7e83, 0x0000000000003f00,
841  0x00000000003efe86, 0x0000000000003e80,
842  0x00000000003e7e89, 0x0000000000001000,
843  0x00000000000fffa0, 0x0000000000000180,
844  0x0000000000000180, 0x00000000000000fe,
845  0x0000000000000100, 0x000000000000007f,
846  0x0000000000000080, 0x0000000000000000,
847  0x0000000000000000, 0xffffffffffffff81,
848  0xffffffffffffff80, 0xffffffffffffff02,
849  0xffffffffffffff00, 0xfffffffffffff020,
850  0xfffffffffffff000, 0xffffffffffffc1fd,
851  0xffffffffffffc180, 0xffffffffffffc17e,
852  0xffffffffffffc100, 0xffffffffffffc0ff,
853  0xffffffffffffc080, 0xffffffffffc0817d,
854  0xffffffffffc00180, 0xffffffffffc080fe,
855  0xffffffffffc00100, 0xffffffffffc0807f,
856  0xffffffffffc00080, 0xffffffe6999999b3,
857  0xffffffe666666680, 0xffffffd5aaaaaad5,
858  0xffffffd555555580, 0xffffffc08000017d,
859  0xffffffc000000180, 0xffffffc0800000fe,
860  0xffffffc000000100, 0xffffffc08000007f,
861  0xffffffc000000080, 0x0000003f80000000,
862  0x0000004000000000, 0x0000003f7fffff81,
863  0x0000003fffffff80, 0x0000002a555555aa,
864  0x0000002aaaaaab00, 0x00000019666666cc,
865  0x0000001999999a00, 0x00000000003f8000,
866  0x0000000000400000, 0x00000000003f7f81,
867  0x00000000003fff80, 0x00000000003f7f02,
868  0x00000000003fff00, 0x00000000003f7e83,
869  0x00000000003ffe80, 0x0000000000003f80,
870  0x0000000000004000, 0x0000000000003f01,
871  0x0000000000003f80, 0x0000000000003e82,
872  0x0000000000003f00, 0x0000000000003e03,
873  0x0000000000003e80, 0x0000000000000fe0,
874  0x0000000000001000, 0x000000000000017d,
875  0x000000000000017d, 0x00000000000000fc,
876  0x00000000000000fe, 0x000000000000007e,
877  0x000000000000007f, 0x0000000000000000,
878  0x0000000000000000, 0xffffffffffffff82,
879  0xffffffffffffff81, 0xffffffffffffff04,
880  0xffffffffffffff02, 0xfffffffffffff040,
881  0xfffffffffffff020, 0xffffffffffffc27a,
882  0xffffffffffffc1fd, 0xffffffffffffc1fc,
883  0xffffffffffffc17e, 0xffffffffffffc17e,
884  0xffffffffffffc0ff, 0xffffffffffc1017a,
885  0xffffffffffc0817d, 0xffffffffffc100fc,
886  0xffffffffffc080fe, 0xffffffffffc1007e,
887  0xffffffffffc0807f, 0xffffffe6cccccce6,
888  0xffffffe6999999b3, 0xffffffd60000002a,
889  0xffffffd5aaaaaad5, 0xffffffc10000017a,
890  0xffffffc08000017d, 0xffffffc1000000fc,
891  0xffffffc0800000fe, 0xffffffc10000007e,
892  0xffffffc08000007f, 0x0000003f00000000,
893  0x0000003f80000000, 0x0000003effffff82,
894  0x0000003f7fffff81, 0x0000002a00000054,
895  0x0000002a555555aa, 0x0000001933333398,
896  0x00000019666666cc, 0x00000000003f0000,
897  0x00000000003f8000, 0x00000000003eff82,
898  0x00000000003f7f81, 0x00000000003eff04,
899  0x00000000003f7f02, 0x00000000003efe86,
900  0x00000000003f7e83, 0x0000000000003f00,
901  0x0000000000003f80, 0x0000000000003e82,
902  0x0000000000003f01, 0x0000000000003e04,
903  0x0000000000003e82, 0x0000000000003d86,
904  0x0000000000003e03, 0x0000000000000fc0,
905  0x0000000000000fe0, 0x000000000000017a,
906  0x000000000000017a, 0x00000000000000fa,
907  0x00000000000000fc, 0x000000000000007d,
908  0x000000000000007e, 0x0000000000000000,
909  0x0000000000000000, 0xffffffffffffff83,
910  0xffffffffffffff82, 0xffffffffffffff06,
911  0xffffffffffffff04, 0xfffffffffffff060,
912  0xfffffffffffff040, 0xffffffffffffc2f7,
913  0xffffffffffffc27a, 0xffffffffffffc27a,
914  0xffffffffffffc1fc, 0xffffffffffffc1fd,
915  0xffffffffffffc17e, 0xffffffffffc18177,
916  0xffffffffffc1017a, 0xffffffffffc180fa,
917  0xffffffffffc100fc, 0xffffffffffc1807d,
918  0xffffffffffc1007e, 0xffffffe700000019,
919  0xffffffe6cccccce6, 0xffffffd65555557f,
920  0xffffffd60000002a, 0xffffffc180000177,
921  0xffffffc10000017a, 0xffffffc1800000fa,
922  0xffffffc1000000fc, 0xffffffc18000007d,
923  0xffffffc10000007e, 0x0000003e80000000,
924  0x0000003f00000000, 0x0000003e7fffff83,
925  0x0000003effffff82, 0x00000029aaaaaafe,
926  0x0000002a00000054, 0x0000001900000064,
927  0x0000001933333398, 0x00000000003e8000,
928  0x00000000003f0000, 0x00000000003e7f83,
929  0x00000000003eff82, 0x00000000003e7f06,
930  0x00000000003eff04, 0x00000000003e7e89,
931  0x00000000003efe86, 0x0000000000003e80,
932  0x0000000000003f00, 0x0000000000003e03,
933  0x0000000000003e82, 0x0000000000003d86,
934  0x0000000000003e04, 0x0000000000003d09,
935  0x0000000000003d86, 0x0000000000000fa0,
936  0x0000000000000fc0, 0x0000000000000177,
937  0x0000000000000177, 0x0000000000000040,
938  0x00000000000000fa, 0x0000000000000020,
939  0x000000000000007d, 0x0000000000000000,
940  0x0000000000000000, 0xffffffffffffffe0,
941  0xffffffffffffff83, 0xffffffffffffffc0,
942  0xffffffffffffff06, 0xfffffffffffffc00,
943  0xfffffffffffff060, 0xfffffffffffff060,
944  0xffffffffffffc2f7, 0xfffffffffffff040,
945  0xffffffffffffc27a, 0xfffffffffffff020,
946  0xffffffffffffc1fd, 0xfffffffffff00060,
947  0xffffffffffc18177, 0xfffffffffff00040,
948  0xffffffffffc180fa, 0xfffffffffff00020,
949  0xffffffffffc1807d, 0xfffffff9999999a0,
950  0xffffffe700000019, 0xfffffff555555560,
951  0xffffffd65555557f, 0xfffffff000000060,
952  0xffffffc180000177, 0xfffffff000000040,
953  0xffffffc1800000fa, 0xfffffff000000020,
954  0xffffffc18000007d, 0x0000001000000000,
955  0x0000003e80000000, 0x0000000fffffffe0,
956  0x0000003e7fffff83, 0x0000000aaaaaaac0,
957  0x00000029aaaaaafe, 0x0000000666666680,
958  0x0000001900000064, 0x0000000000100000,
959  0x00000000003e8000, 0x00000000000fffe0,
960  0x00000000003e7f83, 0x00000000000fffc0,
961  0x00000000003e7f06, 0x00000000000fffa0,
962  0x00000000003e7e89, 0x0000000000001000,
963  0x0000000000003e80, 0x0000000000000fe0,
964  0x0000000000003e03, 0x0000000000000fc0,
965  0x0000000000003d86, 0x0000000000000fa0,
966  0x0000000000003d09, 0x0000000000000400,
967  0x0000000000000fa0, 0x0000000000000060,
968  0x0000000000000060, 0x0000000000000006,
969  0x0000000000000040, 0x0000000000000003,
970  0x0000000000000020, 0x0000000000000000,
971  0x0000000000000000, 0xfffffffffffffffd,
972  0xffffffffffffffe0, 0xfffffffffffffffa,
973  0xffffffffffffffc0, 0xffffffffffffffa0,
974  0xfffffffffffffc00, 0xfffffffffffffe89,
975  0xfffffffffffff060, 0xfffffffffffffe86,
976  0xfffffffffffff040, 0xfffffffffffffe83,
977  0xfffffffffffff020, 0xfffffffffffe8009,
978  0xfffffffffff00060, 0xfffffffffffe8006,
979  0xfffffffffff00040, 0xfffffffffffe8003,
980  0xfffffffffff00020, 0xffffffff66666667,
981  0xfffffff9999999a0, 0xffffffff00000001,
982  0xfffffff555555560, 0xfffffffe80000009,
983  0xfffffff000000060, 0xfffffffe80000006,
984  0xfffffff000000040, 0xfffffffe80000003,
985  0xfffffff000000020, 0x0000000180000000,
986  0x0000001000000000, 0x000000017ffffffd,
987  0x0000000fffffffe0, 0x0000000100000002,
988  0x0000000aaaaaaac0, 0x000000009999999c,
989  0x0000000666666680, 0x0000000000018000,
990  0x0000000000100000, 0x0000000000017ffd,
991  0x00000000000fffe0, 0x0000000000017ffa,
992  0x00000000000fffc0, 0x0000000000017ff7,
993  0x00000000000fffa0, 0x0000000000000180,
994  0x0000000000001000, 0x000000000000017d,
995  0x0000000000000fe0, 0x000000000000017a,
996  0x0000000000000fc0, 0x0000000000000177,
997  0x0000000000000fa0, 0x0000000000000060,
998  0x0000000000000400, 0x0000000000000009,
999};
1000const unsigned kExpectedCount_NEON_smull_2D = 961;
1001
1002#endif  // VIXL_SIM_SMULL_2D_TRACE_AARCH64_H_
1003