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