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_UMLAL_2D_TRACE_AARCH64_H_
35#define VIXL_SIM_UMLAL_2D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_umlal_2D[] = {
38  0x000000003e040000, 0x000000003f010001,
39  0x000000003e820000, 0x0000003f7e830001,
40  0x0000003efe860000, 0x0000000000000001,
41  0x0000000000000000, 0x0000000000007f01,
42  0x0000000000007e00, 0x000000000000fe01,
43  0x000000000000fc00, 0x00000000000fe001,
44  0x00000000000fc000, 0x00000000003e0301,
45  0x00000000003d8600, 0x00000000003e8201,
46  0x00000000003e0400, 0x00000000003f0101,
47  0x00000000003e8200, 0x000000003f7e8301,
48  0x000000003efe8600, 0x000000003f7f0201,
49  0x000000003eff0400, 0x000000003f7f8101,
50  0x000000003eff8200, 0x0000196666664d01,
51  0x0000193333331a00, 0x00002a5555552b01,
52  0x000029ffffffd600, 0x00003f7ffffe8301,
53  0x00003efffffe8600, 0x00003f7fffff0201,
54  0x00003effffff0400, 0x00003f7fffff8101,
55  0x00003effffff8200, 0x00003f8000000001,
56  0x00003f0000000000, 0x00003f8000007f01,
57  0x00003f0000007e00, 0x000054aaaaaa5601,
58  0x000053ffffffac00, 0x0000659999993401,
59  0x000064cccccc6800, 0x00007effc0800001,
60  0x00007dffc1000000, 0x00007effc0807f01,
61  0x00007dffc1007e00, 0x00007effc080fe01,
62  0x00007dffc100fc00, 0x00007effc0817d01,
63  0x00007dffc1017a00, 0x00007effffc08001,
64  0x00007dffffc10000, 0x00007effffc0ff01,
65  0x00007dffffc17e00, 0x00007effffc17e01,
66  0x00007dffffc1fc00, 0x00007effffc1fd01,
67  0x00007dffffc27a00, 0x00007efffff02001,
68  0x00007dfffff04000, 0x00007efffffe8301,
69  0x00007efffffe8300, 0x007ffcffff000601,
70  0x00007effffff0200, 0x007ffcffff800301,
71  0x00007effffff8100, 0x0000000000000001,
72  0x0000000000000000, 0x00000000007ffd01,
73  0x0000000000007f00, 0x0000000000fffa01,
74  0x000000000000fe00, 0x000000000fffa001,
75  0x00000000000fe000, 0x000000003e7e8901,
76  0x00000000003e0300, 0x000000003efe8601,
77  0x00000000003e8200, 0x000000003f7e8301,
78  0x00000000003f0100, 0x0000003ffd000901,
79  0x000000003f7e8300, 0x0000003ffd800601,
80  0x000000003f7f0200, 0x0000003ffe000301,
81  0x000000003f7f8100, 0x001998ffffe66701,
82  0x0000196666664d00, 0x002aa9aaaa800101,
83  0x00002a5555552b00, 0x003ffe7ffe800901,
84  0x00003f7ffffe8300, 0x003ffe7fff000601,
85  0x00003f7fffff0200, 0x003ffe7fff800301,
86  0x00003f7fffff8100, 0x003ffe8000000001,
87  0x00003f8000000000, 0x003ffe80007ffd01,
88  0x00003f8000007f00, 0x0055535555000201,
89  0x000054aaaaaa5600, 0x006663ffff999c01,
90  0x0000659999993400, 0x007ffcc001800001,
91  0x00007effc0800000, 0x007ffcc001fffd01,
92  0x00007effc0807f00, 0x007ffcc0027ffa01,
93  0x00007effc080fe00, 0x007ffcc002fff701,
94  0x00007effc0817d00, 0x007ffcffc0018001,
95  0x00007effffc08000, 0x007ffcffc0817d01,
96  0x00007effffc0ff00, 0x007ffcffc1017a01,
97  0x00007effffc17e00, 0x007ffcffc1817701,
98  0x00007effffc1fd00, 0x007ffcfff0006001,
99  0x00007efffff02000, 0x007ffcfffe800901,
100  0x007ffcfffe800900, 0x0000000000000001,
101  0x007ffcffff000600, 0x0000000000000001,
102  0x007ffcffff800300, 0x0000000000000001,
103  0x0000000000000000, 0x0000000000000001,
104  0x00000000007ffd00, 0x0000000000000001,
105  0x0000000000fffa00, 0x0000000000000001,
106  0x000000000fffa000, 0x0000000000000001,
107  0x000000003e7e8900, 0x0000000000000001,
108  0x000000003efe8600, 0x0000000000000001,
109  0x000000003f7e8300, 0x0000000000000001,
110  0x0000003ffd000900, 0x0000000000000001,
111  0x0000003ffd800600, 0x0000000000000001,
112  0x0000003ffe000300, 0x0000000000000001,
113  0x001998ffffe66700, 0x0000000000000001,
114  0x002aa9aaaa800100, 0x0000000000000001,
115  0x003ffe7ffe800900, 0x0000000000000001,
116  0x003ffe7fff000600, 0x0000000000000001,
117  0x003ffe7fff800300, 0x0000000000000001,
118  0x003ffe8000000000, 0x0000000000000001,
119  0x003ffe80007ffd00, 0x0000000000000001,
120  0x0055535555000200, 0x0000000000000001,
121  0x006663ffff999c00, 0x0000000000000001,
122  0x007ffcc001800000, 0x0000000000000001,
123  0x007ffcc001fffd00, 0x0000000000000001,
124  0x007ffcc0027ffa00, 0x0000000000000001,
125  0x007ffcc002fff700, 0x0000000000000001,
126  0x007ffcffc0018000, 0x0000000000000001,
127  0x007ffcffc0817d00, 0x0000000000000001,
128  0x007ffcffc1017a00, 0x0000000000000001,
129  0x007ffcffc1817700, 0x0000000000000001,
130  0x007ffcfff0006000, 0x0000000000000001,
131  0x0000000000000000, 0x00000000ffffffff,
132  0x0000000000000000, 0x0000000100000000,
133  0x0000000000000000, 0x0000000000000001,
134  0x0000000000000000, 0x0000000000000002,
135  0x0000000000000000, 0x0000000000000003,
136  0x0000000000000000, 0x0000000000000021,
137  0x0000000000000000, 0x000000000000007e,
138  0x0000000000000000, 0x000000000000007f,
139  0x0000000000000000, 0x0000000000000080,
140  0x0000000000000000, 0x0000000000007ffe,
141  0x0000000000000000, 0x0000000000007fff,
142  0x0000000000000000, 0x0000000000008000,
143  0x0000000000000000, 0x0000000033333334,
144  0x0000000000000000, 0x0000000055555556,
145  0x0000000000000000, 0x000000007ffffffe,
146  0x0000000000000000, 0x000000007fffffff,
147  0x0000000000000000, 0x0000000080000000,
148  0x0000000000000000, 0x0000000080000001,
149  0x0000000000000000, 0x0000000080000002,
150  0x0000000000000000, 0x00000000aaaaaaab,
151  0x0000000000000000, 0x00000000cccccccd,
152  0x0000000000000000, 0x00000000ffff8001,
153  0x0000000000000000, 0x00000000ffff8002,
154  0x0000000000000000, 0x00000000ffff8003,
155  0x0000000000000000, 0x00000000ffff8004,
156  0x0000000000000000, 0x00000000ffffff81,
157  0x0000000000000000, 0x00000000ffffff82,
158  0x0000000000000000, 0x00000000ffffff83,
159  0x0000000000000000, 0x00000000ffffff84,
160  0x0000000000000000, 0x00000000ffffffe1,
161  0x0000000000000000, 0x00000000fffffffe,
162  0x00000000fffffffd, 0x00000001fffffffd,
163  0x00000000fffffffe, 0x00000001ffffffff,
164  0x00000000ffffffff, 0x0000000000000001,
165  0x0000000000000000, 0x0000000000000003,
166  0x0000000000000001, 0x0000000000000005,
167  0x0000000000000002, 0x0000000000000041,
168  0x0000000000000020, 0x00000000000000fb,
169  0x000000000000007d, 0x00000000000000fd,
170  0x000000000000007e, 0x00000000000000ff,
171  0x000000000000007f, 0x000000000000fffb,
172  0x0000000000007ffd, 0x000000000000fffd,
173  0x0000000000007ffe, 0x000000000000ffff,
174  0x0000000000007fff, 0x0000000066666667,
175  0x0000000033333333, 0x00000000aaaaaaab,
176  0x0000000055555555, 0x00000000fffffffb,
177  0x000000007ffffffd, 0x00000000fffffffd,
178  0x000000007ffffffe, 0x00000000ffffffff,
179  0x000000007fffffff, 0x0000000100000001,
180  0x0000000080000000, 0x0000000100000003,
181  0x0000000080000001, 0x0000000155555555,
182  0x00000000aaaaaaaa, 0x0000000199999999,
183  0x00000000cccccccc, 0x00000001ffff0001,
184  0x00000000ffff8000, 0x00000001ffff0003,
185  0x00000000ffff8001, 0x00000001ffff0005,
186  0x00000000ffff8002, 0x00000001ffff0007,
187  0x00000000ffff8003, 0x00000001ffffff01,
188  0x00000000ffffff80, 0x00000001ffffff03,
189  0x00000000ffffff81, 0x00000001ffffff05,
190  0x00000000ffffff82, 0x00000001ffffff07,
191  0x00000000ffffff83, 0x00000001ffffffc1,
192  0x00000000ffffffe0, 0x00000001fffffffb,
193  0x00000001fffffffa, 0x0000001fffffffc1,
194  0x00000001fffffffc, 0x0000001fffffffe1,
195  0x00000001fffffffe, 0x0000000000000001,
196  0x0000000000000000, 0x0000000000000021,
197  0x0000000000000002, 0x0000000000000041,
198  0x0000000000000004, 0x0000000000000401,
199  0x0000000000000040, 0x0000000000000fa1,
200  0x00000000000000fa, 0x0000000000000fc1,
201  0x00000000000000fc, 0x0000000000000fe1,
202  0x00000000000000fe, 0x00000000000fffa1,
203  0x000000000000fffa, 0x00000000000fffc1,
204  0x000000000000fffc, 0x00000000000fffe1,
205  0x000000000000fffe, 0x0000000666666661,
206  0x0000000066666666, 0x0000000aaaaaaaa1,
207  0x00000000aaaaaaaa, 0x0000000fffffffa1,
208  0x00000000fffffffa, 0x0000000fffffffc1,
209  0x00000000fffffffc, 0x0000000fffffffe1,
210  0x00000000fffffffe, 0x0000001000000001,
211  0x0000000100000000, 0x0000001000000021,
212  0x0000000100000002, 0x0000001555555541,
213  0x0000000155555554, 0x0000001999999981,
214  0x0000000199999998, 0x0000001ffff00001,
215  0x00000001ffff0000, 0x0000001ffff00021,
216  0x00000001ffff0002, 0x0000001ffff00041,
217  0x00000001ffff0004, 0x0000001ffff00061,
218  0x00000001ffff0006, 0x0000001ffffff001,
219  0x00000001ffffff00, 0x0000001ffffff021,
220  0x00000001ffffff02, 0x0000001ffffff041,
221  0x00000001ffffff04, 0x0000001ffffff061,
222  0x00000001ffffff06, 0x0000001ffffffc01,
223  0x00000001ffffffc0, 0x0000001fffffffa1,
224  0x0000001fffffffa0, 0x0000007cffffff07,
225  0x0000001fffffffc0, 0x0000007cffffff84,
226  0x0000001fffffffe0, 0x0000000000000001,
227  0x0000000000000000, 0x000000000000007e,
228  0x0000000000000020, 0x00000000000000fb,
229  0x0000000000000040, 0x0000000000000fa1,
230  0x0000000000000400, 0x0000000000003d0a,
231  0x0000000000000fa0, 0x0000000000003d87,
232  0x0000000000000fc0, 0x0000000000003e04,
233  0x0000000000000fe0, 0x00000000003e7e8a,
234  0x00000000000fffa0, 0x00000000003e7f07,
235  0x00000000000fffc0, 0x00000000003e7f84,
236  0x00000000000fffe0, 0x00000018ffffffe8,
237  0x0000000666666660, 0x00000029aaaaaa82,
238  0x0000000aaaaaaaa0, 0x0000003e7ffffe8a,
239  0x0000000fffffffa0, 0x0000003e7fffff07,
240  0x0000000fffffffc0, 0x0000003e7fffff84,
241  0x0000000fffffffe0, 0x0000003e80000001,
242  0x0000001000000000, 0x0000003e8000007e,
243  0x0000001000000020, 0x0000005355555503,
244  0x0000001555555540, 0x00000063ffffff9d,
245  0x0000001999999980, 0x0000007cffc18001,
246  0x0000001ffff00000, 0x0000007cffc1807e,
247  0x0000001ffff00020, 0x0000007cffc180fb,
248  0x0000001ffff00040, 0x0000007cffc18178,
249  0x0000001ffff00060, 0x0000007cffffc181,
250  0x0000001ffffff000, 0x0000007cffffc1fe,
251  0x0000001ffffff020, 0x0000007cffffc27b,
252  0x0000001ffffff040, 0x0000007cffffc2f8,
253  0x0000001ffffff060, 0x0000007cfffff061,
254  0x0000001ffffffc00, 0x0000007cfffffe8a,
255  0x0000007cfffffe89, 0x0000007dffffff05,
256  0x0000007cffffff06, 0x0000007dffffff83,
257  0x0000007cffffff83, 0x0000000000000001,
258  0x0000000000000000, 0x000000000000007f,
259  0x000000000000007d, 0x00000000000000fd,
260  0x00000000000000fa, 0x0000000000000fc1,
261  0x0000000000000fa0, 0x0000000000003d87,
262  0x0000000000003d09, 0x0000000000003e05,
263  0x0000000000003d86, 0x0000000000003e83,
264  0x0000000000003e03, 0x00000000003efe87,
265  0x00000000003e7e89, 0x00000000003eff05,
266  0x00000000003e7f06, 0x00000000003eff83,
267  0x00000000003e7f83, 0x000000193333331b,
268  0x00000018ffffffe7, 0x00000029ffffffd7,
269  0x00000029aaaaaa81, 0x0000003efffffe87,
270  0x0000003e7ffffe89, 0x0000003effffff05,
271  0x0000003e7fffff06, 0x0000003effffff83,
272  0x0000003e7fffff83, 0x0000003f00000001,
273  0x0000003e80000000, 0x0000003f0000007f,
274  0x0000003e8000007d, 0x00000053ffffffad,
275  0x0000005355555502, 0x00000064cccccc69,
276  0x00000063ffffff9c, 0x0000007dffc10001,
277  0x0000007cffc18000, 0x0000007dffc1007f,
278  0x0000007cffc1807d, 0x0000007dffc100fd,
279  0x0000007cffc180fa, 0x0000007dffc1017b,
280  0x0000007cffc18177, 0x0000007dffffc101,
281  0x0000007cffffc180, 0x0000007dffffc17f,
282  0x0000007cffffc1fd, 0x0000007dffffc1fd,
283  0x0000007cffffc27a, 0x0000007dffffc27b,
284  0x0000007cffffc2f7, 0x0000007dfffff041,
285  0x0000007cfffff060, 0x0000007dfffffe87,
286  0x0000007dfffffe86, 0x0000007effffff03,
287  0x0000007dffffff04, 0x0000007effffff82,
288  0x0000007dffffff82, 0x0000000000000001,
289  0x0000000000000000, 0x0000000000000080,
290  0x000000000000007e, 0x00000000000000ff,
291  0x00000000000000fc, 0x0000000000000fe1,
292  0x0000000000000fc0, 0x0000000000003e04,
293  0x0000000000003d86, 0x0000000000003e83,
294  0x0000000000003e04, 0x0000000000003f02,
295  0x0000000000003e82, 0x00000000003f7e84,
296  0x00000000003efe86, 0x00000000003f7f03,
297  0x00000000003eff04, 0x00000000003f7f82,
298  0x00000000003eff82, 0x000000196666664e,
299  0x000000193333331a, 0x0000002a5555552c,
300  0x00000029ffffffd6, 0x0000003f7ffffe84,
301  0x0000003efffffe86, 0x0000003f7fffff03,
302  0x0000003effffff04, 0x0000003f7fffff82,
303  0x0000003effffff82, 0x0000003f80000001,
304  0x0000003f00000000, 0x0000003f80000080,
305  0x0000003f0000007e, 0x00000054aaaaaa57,
306  0x00000053ffffffac, 0x0000006599999935,
307  0x00000064cccccc68, 0x0000007effc08001,
308  0x0000007dffc10000, 0x0000007effc08080,
309  0x0000007dffc1007e, 0x0000007effc080ff,
310  0x0000007dffc100fc, 0x0000007effc0817e,
311  0x0000007dffc1017a, 0x0000007effffc081,
312  0x0000007dffffc100, 0x0000007effffc100,
313  0x0000007dffffc17e, 0x0000007effffc17f,
314  0x0000007dffffc1fc, 0x0000007effffc1fe,
315  0x0000007dffffc27a, 0x0000007efffff021,
316  0x0000007dfffff040, 0x0000007efffffe84,
317  0x0000007efffffe83, 0x00007ffcffff0007,
318  0x0000007effffff02, 0x00007ffcffff8004,
319  0x0000007effffff81, 0x0000000000000001,
320  0x0000000000000000, 0x0000000000007ffe,
321  0x000000000000007f, 0x000000000000fffb,
322  0x00000000000000fe, 0x00000000000fffa1,
323  0x0000000000000fe0, 0x00000000003e7e8a,
324  0x0000000000003e03, 0x00000000003efe87,
325  0x0000000000003e82, 0x00000000003f7e84,
326  0x0000000000003f01, 0x000000003ffd000a,
327  0x00000000003f7e83, 0x000000003ffd8007,
328  0x00000000003f7f02, 0x000000003ffe0004,
329  0x00000000003f7f81, 0x00001998ffffe668,
330  0x000000196666664d, 0x00002aa9aaaa8002,
331  0x0000002a5555552b, 0x00003ffe7ffe800a,
332  0x0000003f7ffffe83, 0x00003ffe7fff0007,
333  0x0000003f7fffff02, 0x00003ffe7fff8004,
334  0x0000003f7fffff81, 0x00003ffe80000001,
335  0x0000003f80000000, 0x00003ffe80007ffe,
336  0x0000003f8000007f, 0x0000555355550003,
337  0x00000054aaaaaa56, 0x00006663ffff999d,
338  0x0000006599999934, 0x00007ffcc0018001,
339  0x0000007effc08000, 0x00007ffcc001fffe,
340  0x0000007effc0807f, 0x00007ffcc0027ffb,
341  0x0000007effc080fe, 0x00007ffcc002fff8,
342  0x0000007effc0817d, 0x00007ffcffc00181,
343  0x0000007effffc080, 0x00007ffcffc0817e,
344  0x0000007effffc0ff, 0x00007ffcffc1017b,
345  0x0000007effffc17e, 0x00007ffcffc18178,
346  0x0000007effffc1fd, 0x00007ffcfff00061,
347  0x0000007efffff020, 0x00007ffcfffe800a,
348  0x00007ffcfffe8009, 0x00007ffdffff0005,
349  0x00007ffcffff0006, 0x00007ffdffff8003,
350  0x00007ffcffff8003, 0x0000000000000001,
351  0x0000000000000000, 0x0000000000007fff,
352  0x0000000000007ffd, 0x000000000000fffd,
353  0x000000000000fffa, 0x00000000000fffc1,
354  0x00000000000fffa0, 0x00000000003e7f07,
355  0x00000000003e7e89, 0x00000000003eff05,
356  0x00000000003efe86, 0x00000000003f7f03,
357  0x00000000003f7e83, 0x000000003ffd8007,
358  0x000000003ffd0009, 0x000000003ffe0005,
359  0x000000003ffd8006, 0x000000003ffe8003,
360  0x000000003ffe0003, 0x000019993333199b,
361  0x00001998ffffe667, 0x00002aa9ffffd557,
362  0x00002aa9aaaa8001, 0x00003ffefffe8007,
363  0x00003ffe7ffe8009, 0x00003ffeffff0005,
364  0x00003ffe7fff0006, 0x00003ffeffff8003,
365  0x00003ffe7fff8003, 0x00003fff00000001,
366  0x00003ffe80000000, 0x00003fff00007fff,
367  0x00003ffe80007ffd, 0x00005553ffffaaad,
368  0x0000555355550002, 0x00006664cccc6669,
369  0x00006663ffff999c, 0x00007ffdc0010001,
370  0x00007ffcc0018000, 0x00007ffdc0017fff,
371  0x00007ffcc001fffd, 0x00007ffdc001fffd,
372  0x00007ffcc0027ffa, 0x00007ffdc0027ffb,
373  0x00007ffcc002fff7, 0x00007ffdffc00101,
374  0x00007ffcffc00180, 0x00007ffdffc080ff,
375  0x00007ffcffc0817d, 0x00007ffdffc100fd,
376  0x00007ffcffc1017a, 0x00007ffdffc180fb,
377  0x00007ffcffc18177, 0x00007ffdfff00041,
378  0x00007ffcfff00060, 0x00007ffdfffe8007,
379  0x00007ffdfffe8006, 0x00007ffeffff0003,
380  0x00007ffdffff0004, 0x00007ffeffff8002,
381  0x00007ffdffff8002, 0x0000000000000001,
382  0x0000000000000000, 0x0000000000008000,
383  0x0000000000007ffe, 0x000000000000ffff,
384  0x000000000000fffc, 0x00000000000fffe1,
385  0x00000000000fffc0, 0x00000000003e7f84,
386  0x00000000003e7f06, 0x00000000003eff83,
387  0x00000000003eff04, 0x00000000003f7f82,
388  0x00000000003f7f02, 0x000000003ffe0004,
389  0x000000003ffd8006, 0x000000003ffe8003,
390  0x000000003ffe0004, 0x000000003fff0002,
391  0x000000003ffe8002, 0x0000199966664cce,
392  0x000019993333199a, 0x00002aaa55552aac,
393  0x00002aa9ffffd556, 0x00003fff7ffe8004,
394  0x00003ffefffe8006, 0x00003fff7fff0003,
395  0x00003ffeffff0004, 0x00003fff7fff8002,
396  0x00003ffeffff8002, 0x00003fff80000001,
397  0x00003fff00000000, 0x00003fff80008000,
398  0x00003fff00007ffe, 0x00005554aaaa5557,
399  0x00005553ffffaaac, 0x0000666599993335,
400  0x00006664cccc6668, 0x00007ffec0008001,
401  0x00007ffdc0010000, 0x00007ffec0010000,
402  0x00007ffdc0017ffe, 0x00007ffec0017fff,
403  0x00007ffdc001fffc, 0x00007ffec001fffe,
404  0x00007ffdc0027ffa, 0x00007ffeffc00081,
405  0x00007ffdffc00100, 0x00007ffeffc08080,
406  0x00007ffdffc080fe, 0x00007ffeffc1007f,
407  0x00007ffdffc100fc, 0x00007ffeffc1807e,
408  0x00007ffdffc180fa, 0x00007ffefff00021,
409  0x00007ffdfff00040, 0x00007ffefffe8004,
410  0x00007ffefffe8003, 0x333333329999999b,
411  0x00007ffeffff0002, 0x33333332ccccccce,
412  0x00007ffeffff8001, 0x0000000000000001,
413  0x0000000000000000, 0x0000000033333334,
414  0x0000000000007fff, 0x0000000066666667,
415  0x000000000000fffe, 0x0000000666666661,
416  0x00000000000fffe0, 0x00000018ffffffe8,
417  0x00000000003e7f83, 0x000000193333331b,
418  0x00000000003eff82, 0x000000196666664e,
419  0x00000000003f7f81, 0x00001998ffffe668,
420  0x000000003ffe0003, 0x000019993333199b,
421  0x000000003ffe8002, 0x0000199966664cce,
422  0x000000003fff0001, 0x0a3d70a3c28f5c2a,
423  0x0000199966664ccd, 0x11111110eeeeeef0,
424  0x00002aaa55552aab, 0x19999998e6666668,
425  0x00003fff7ffe8003, 0x199999991999999b,
426  0x00003fff7fff0002, 0x199999994cccccce,
427  0x00003fff7fff8001, 0x1999999980000001,
428  0x00003fff80000000, 0x19999999b3333334,
429  0x00003fff80007fff, 0x22222221dddddddf,
430  0x00005554aaaa5556, 0x28f5c28f0a3d70a5,
431  0x0000666599993334, 0x3333199966668001,
432  0x00007ffec0008000, 0x333319999999b334,
433  0x00007ffec000ffff, 0x33331999cccce667,
434  0x00007ffec0017ffe, 0x3333199a0000199a,
435  0x00007ffec001fffd, 0x3333331966666681,
436  0x00007ffeffc00080, 0x33333319999999b4,
437  0x00007ffeffc0807f, 0x33333319cccccce7,
438  0x00007ffeffc1007e, 0x3333331a0000001a,
439  0x00007ffeffc1807d, 0x3333332c999999a1,
440  0x00007ffefff00020, 0x3333333266666668,
441  0x3333333266666667, 0x5555555455555557,
442  0x333333329999999a, 0x55555554aaaaaaac,
443  0x33333332cccccccd, 0x0000000000000001,
444  0x0000000000000000, 0x0000000055555556,
445  0x0000000033333333, 0x00000000aaaaaaab,
446  0x0000000066666666, 0x0000000aaaaaaaa1,
447  0x0000000666666660, 0x00000029aaaaaa82,
448  0x00000018ffffffe7, 0x00000029ffffffd7,
449  0x000000193333331a, 0x0000002a5555552c,
450  0x000000196666664d, 0x00002aa9aaaa8002,
451  0x00001998ffffe667, 0x00002aa9ffffd557,
452  0x000019993333199a, 0x00002aaa55552aac,
453  0x0000199966664ccd, 0x11111110eeeeeef0,
454  0x0a3d70a3c28f5c29, 0x1c71c71c38e38e3a,
455  0x11111110eeeeeeef, 0x2aaaaaa980000002,
456  0x19999998e6666667, 0x2aaaaaa9d5555557,
457  0x199999991999999a, 0x2aaaaaaa2aaaaaac,
458  0x199999994ccccccd, 0x2aaaaaaa80000001,
459  0x1999999980000000, 0x2aaaaaaad5555556,
460  0x19999999b3333333, 0x38e38e3871c71c73,
461  0x22222221ddddddde, 0x44444443bbbbbbbd,
462  0x28f5c28f0a3d70a4, 0x55552aaa55558001,
463  0x3333199966668000, 0x55552aaaaaaad556,
464  0x333319999999b333, 0x55552aab00002aab,
465  0x33331999cccce666, 0x55552aab55558000,
466  0x3333199a00001999, 0x5555552a55555581,
467  0x3333331966666680, 0x5555552aaaaaaad6,
468  0x33333319999999b3, 0x5555552b0000002b,
469  0x33333319cccccce6, 0x5555552b55555580,
470  0x3333331a00000019, 0x5555554a55555561,
471  0x3333332c999999a0, 0x5555555400000002,
472  0x5555555400000001, 0x7ffffffc00000007,
473  0x5555555455555556, 0x7ffffffc80000004,
474  0x55555554aaaaaaab, 0x0000000000000001,
475  0x0000000000000000, 0x000000007ffffffe,
476  0x0000000055555555, 0x00000000fffffffb,
477  0x00000000aaaaaaaa, 0x0000000fffffffa1,
478  0x0000000aaaaaaaa0, 0x0000003e7ffffe8a,
479  0x00000029aaaaaa81, 0x0000003efffffe87,
480  0x00000029ffffffd6, 0x0000003f7ffffe84,
481  0x0000002a5555552b, 0x00003ffe7ffe800a,
482  0x00002aa9aaaa8001, 0x00003ffefffe8007,
483  0x00002aa9ffffd556, 0x00003fff7ffe8004,
484  0x00002aaa55552aab, 0x19999998e6666668,
485  0x11111110eeeeeeef, 0x2aaaaaa980000002,
486  0x1c71c71c38e38e39, 0x3ffffffd0000000a,
487  0x2aaaaaa980000001, 0x3ffffffd80000007,
488  0x2aaaaaa9d5555556, 0x3ffffffe00000004,
489  0x2aaaaaaa2aaaaaab, 0x3ffffffe80000001,
490  0x2aaaaaaa80000000, 0x3ffffffefffffffe,
491  0x2aaaaaaad5555555, 0x5555555300000003,
492  0x38e38e3871c71c72, 0x666666639999999d,
493  0x44444443bbbbbbbc, 0x7fffbffd00018001,
494  0x55552aaa55558000, 0x7fffbffd80017ffe,
495  0x55552aaaaaaad555, 0x7fffbffe00017ffb,
496  0x55552aab00002aaa, 0x7fffbffe80017ff8,
497  0x55552aab55557fff, 0x7fffffbd00000181,
498  0x5555552a55555580, 0x7fffffbd8000017e,
499  0x5555552aaaaaaad5, 0x7fffffbe0000017b,
500  0x5555552b0000002a, 0x7fffffbe80000178,
501  0x5555552b5555557f, 0x7fffffed00000061,
502  0x5555554a55555560, 0x7ffffffb8000000a,
503  0x7ffffffb80000009, 0x7ffffffd00000005,
504  0x7ffffffc00000006, 0x7ffffffd80000003,
505  0x7ffffffc80000003, 0x0000000000000001,
506  0x0000000000000000, 0x000000007fffffff,
507  0x000000007ffffffd, 0x00000000fffffffd,
508  0x00000000fffffffa, 0x0000000fffffffc1,
509  0x0000000fffffffa0, 0x0000003e7fffff07,
510  0x0000003e7ffffe89, 0x0000003effffff05,
511  0x0000003efffffe86, 0x0000003f7fffff03,
512  0x0000003f7ffffe83, 0x00003ffe7fff0007,
513  0x00003ffe7ffe8009, 0x00003ffeffff0005,
514  0x00003ffefffe8006, 0x00003fff7fff0003,
515  0x00003fff7ffe8003, 0x199999991999999b,
516  0x19999998e6666667, 0x2aaaaaa9d5555557,
517  0x2aaaaaa980000001, 0x3ffffffd80000007,
518  0x3ffffffd00000009, 0x3ffffffe00000005,
519  0x3ffffffd80000006, 0x3ffffffe80000003,
520  0x3ffffffe00000003, 0x3fffffff00000001,
521  0x3ffffffe80000000, 0x3fffffff7fffffff,
522  0x3ffffffefffffffd, 0x55555553aaaaaaad,
523  0x5555555300000002, 0x6666666466666669,
524  0x666666639999999c, 0x7fffbffe00010001,
525  0x7fffbffd00018000, 0x7fffbffe8000ffff,
526  0x7fffbffd80017ffd, 0x7fffbfff0000fffd,
527  0x7fffbffe00017ffa, 0x7fffbfff8000fffb,
528  0x7fffbffe80017ff7, 0x7fffffbe00000101,
529  0x7fffffbd00000180, 0x7fffffbe800000ff,
530  0x7fffffbd8000017d, 0x7fffffbf000000fd,
531  0x7fffffbe0000017a, 0x7fffffbf800000fb,
532  0x7fffffbe80000177, 0x7fffffee00000041,
533  0x7fffffed00000060, 0x7ffffffc80000007,
534  0x7ffffffc80000006, 0x7ffffffe00000003,
535  0x7ffffffd00000004, 0x7ffffffe80000002,
536  0x7ffffffd80000002, 0x0000000000000001,
537  0x0000000000000000, 0x0000000080000000,
538  0x000000007ffffffe, 0x00000000ffffffff,
539  0x00000000fffffffc, 0x0000000fffffffe1,
540  0x0000000fffffffc0, 0x0000003e7fffff84,
541  0x0000003e7fffff06, 0x0000003effffff83,
542  0x0000003effffff04, 0x0000003f7fffff82,
543  0x0000003f7fffff02, 0x00003ffe7fff8004,
544  0x00003ffe7fff0006, 0x00003ffeffff8003,
545  0x00003ffeffff0004, 0x00003fff7fff8002,
546  0x00003fff7fff0002, 0x199999994cccccce,
547  0x199999991999999a, 0x2aaaaaaa2aaaaaac,
548  0x2aaaaaa9d5555556, 0x3ffffffe00000004,
549  0x3ffffffd80000006, 0x3ffffffe80000003,
550  0x3ffffffe00000004, 0x3fffffff00000002,
551  0x3ffffffe80000002, 0x3fffffff80000001,
552  0x3fffffff00000000, 0x4000000000000000,
553  0x3fffffff7ffffffe, 0x5555555455555557,
554  0x55555553aaaaaaac, 0x6666666533333335,
555  0x6666666466666668, 0x7fffbfff00008001,
556  0x7fffbffe00010000, 0x7fffbfff80008000,
557  0x7fffbffe8000fffe, 0x7fffc00000007fff,
558  0x7fffbfff0000fffc, 0x7fffc00080007ffe,
559  0x7fffbfff8000fffa, 0x7fffffbf00000081,
560  0x7fffffbe00000100, 0x7fffffbf80000080,
561  0x7fffffbe800000fe, 0x7fffffc00000007f,
562  0x7fffffbf000000fc, 0x7fffffc08000007e,
563  0x7fffffbf800000fa, 0x7fffffef00000021,
564  0x7fffffee00000040, 0x7ffffffd80000004,
565  0x7ffffffd80000003, 0x7fffffff00000001,
566  0x7ffffffe00000002, 0x7fffffff80000001,
567  0x7ffffffe80000001, 0x0000000000000001,
568  0x0000000000000000, 0x0000000080000001,
569  0x000000007fffffff, 0x0000000100000001,
570  0x00000000fffffffe, 0x0000001000000001,
571  0x0000000fffffffe0, 0x0000003e80000001,
572  0x0000003e7fffff83, 0x0000003f00000001,
573  0x0000003effffff82, 0x0000003f80000001,
574  0x0000003f7fffff81, 0x00003ffe80000001,
575  0x00003ffe7fff8003, 0x00003fff00000001,
576  0x00003ffeffff8002, 0x00003fff80000001,
577  0x00003fff7fff8001, 0x1999999980000001,
578  0x199999994ccccccd, 0x2aaaaaaa80000001,
579  0x2aaaaaaa2aaaaaab, 0x3ffffffe80000001,
580  0x3ffffffe00000003, 0x3fffffff00000001,
581  0x3ffffffe80000002, 0x3fffffff80000001,
582  0x3fffffff00000001, 0x4000000000000001,
583  0x3fffffff80000000, 0x4000000080000001,
584  0x3fffffffffffffff, 0x5555555500000001,
585  0x5555555455555556, 0x6666666600000001,
586  0x6666666533333334, 0x7fffc00000000001,
587  0x7fffbfff00008000, 0x7fffc00080000001,
588  0x7fffbfff80007fff, 0x7fffc00100000001,
589  0x7fffc00000007ffe, 0x7fffc00180000001,
590  0x7fffc00080007ffd, 0x7fffffc000000001,
591  0x7fffffbf00000080, 0x7fffffc080000001,
592  0x7fffffbf8000007f, 0x7fffffc100000001,
593  0x7fffffc00000007e, 0x7fffffc180000001,
594  0x7fffffc08000007d, 0x7ffffff000000001,
595  0x7fffffef00000020, 0x7ffffffe80000001,
596  0x7ffffffe80000000, 0x7fffffffffffffff,
597  0x7fffffff00000000, 0x8000000080000000,
598  0x7fffffff80000000, 0x0000000000000001,
599  0x0000000000000000, 0x0000000080000002,
600  0x0000000080000000, 0x0000000100000003,
601  0x0000000100000000, 0x0000001000000021,
602  0x0000001000000000, 0x0000003e8000007e,
603  0x0000003e80000000, 0x0000003f0000007f,
604  0x0000003f00000000, 0x0000003f80000080,
605  0x0000003f80000000, 0x00003ffe80007ffe,
606  0x00003ffe80000000, 0x00003fff00007fff,
607  0x00003fff00000000, 0x00003fff80008000,
608  0x00003fff80000000, 0x19999999b3333334,
609  0x1999999980000000, 0x2aaaaaaad5555556,
610  0x2aaaaaaa80000000, 0x3ffffffefffffffe,
611  0x3ffffffe80000000, 0x3fffffff7fffffff,
612  0x3fffffff00000000, 0x4000000000000000,
613  0x3fffffff80000000, 0x4000000080000001,
614  0x4000000000000000, 0x4000000100000002,
615  0x4000000080000000, 0x55555555aaaaaaab,
616  0x5555555500000000, 0x66666666cccccccd,
617  0x6666666600000000, 0x7fffc000ffff8001,
618  0x7fffc00000000000, 0x7fffc0017fff8002,
619  0x7fffc00080000000, 0x7fffc001ffff8003,
620  0x7fffc00100000000, 0x7fffc0027fff8004,
621  0x7fffc00180000000, 0x7fffffc0ffffff81,
622  0x7fffffc000000000, 0x7fffffc17fffff82,
623  0x7fffffc080000000, 0x7fffffc1ffffff83,
624  0x7fffffc100000000, 0x7fffffc27fffff84,
625  0x7fffffc180000000, 0x7ffffff0ffffffe1,
626  0x7ffffff000000000, 0x7fffffff7ffffffe,
627  0x7fffffff7ffffffd, 0xaaaaaaa8aaaaaaad,
628  0x7ffffffffffffffe, 0xaaaaaaa955555557,
629  0x800000007fffffff, 0x0000000000000001,
630  0x0000000000000000, 0x00000000aaaaaaab,
631  0x0000000080000001, 0x0000000155555555,
632  0x0000000100000002, 0x0000001555555541,
633  0x0000001000000020, 0x0000005355555503,
634  0x0000003e8000007d, 0x00000053ffffffad,
635  0x0000003f0000007e, 0x00000054aaaaaa57,
636  0x0000003f8000007f, 0x0000555355550003,
637  0x00003ffe80007ffd, 0x00005553ffffaaad,
638  0x00003fff00007ffe, 0x00005554aaaa5557,
639  0x00003fff80007fff, 0x22222221dddddddf,
640  0x19999999b3333333, 0x38e38e3871c71c73,
641  0x2aaaaaaad5555555, 0x5555555300000003,
642  0x3ffffffefffffffd, 0x55555553aaaaaaad,
643  0x3fffffff7ffffffe, 0x5555555455555557,
644  0x3fffffffffffffff, 0x5555555500000001,
645  0x4000000080000000, 0x55555555aaaaaaab,
646  0x4000000100000001, 0x71c71c70e38e38e5,
647  0x55555555aaaaaaaa, 0x8888888777777779,
648  0x66666666cccccccc, 0xaaaa5554aaab0001,
649  0x7fffc000ffff8000, 0xaaaa55555555aaab,
650  0x7fffc0017fff8001, 0xaaaa555600005555,
651  0x7fffc001ffff8002, 0xaaaa5556aaaaffff,
652  0x7fffc0027fff8003, 0xaaaaaa54aaaaab01,
653  0x7fffffc0ffffff80, 0xaaaaaa55555555ab,
654  0x7fffffc17fffff81, 0xaaaaaa5600000055,
655  0x7fffffc1ffffff82, 0xaaaaaa56aaaaaaff,
656  0x7fffffc27fffff83, 0xaaaaaa94aaaaaac1,
657  0x7ffffff0ffffffe0, 0xaaaaaaa800000003,
658  0xaaaaaaa800000002, 0xccccccca66666669,
659  0xaaaaaaa8aaaaaaac, 0xcccccccb33333335,
660  0xaaaaaaa955555556, 0x0000000000000001,
661  0x0000000000000000, 0x00000000cccccccd,
662  0x00000000aaaaaaaa, 0x0000000199999999,
663  0x0000000155555554, 0x0000001999999981,
664  0x0000001555555540, 0x00000063ffffff9d,
665  0x0000005355555502, 0x00000064cccccc69,
666  0x00000053ffffffac, 0x0000006599999935,
667  0x00000054aaaaaa56, 0x00006663ffff999d,
668  0x0000555355550002, 0x00006664cccc6669,
669  0x00005553ffffaaac, 0x0000666599993335,
670  0x00005554aaaa5556, 0x28f5c28f0a3d70a5,
671  0x22222221ddddddde, 0x44444443bbbbbbbd,
672  0x38e38e3871c71c72, 0x666666639999999d,
673  0x5555555300000002, 0x6666666466666669,
674  0x55555553aaaaaaac, 0x6666666533333335,
675  0x5555555455555556, 0x6666666600000001,
676  0x5555555500000000, 0x66666666cccccccd,
677  0x55555555aaaaaaaa, 0x8888888777777779,
678  0x71c71c70e38e38e4, 0xa3d70a3c28f5c291,
679  0x8888888777777778, 0xcccc6665999a0001,
680  0xaaaa5554aaab0000, 0xcccc66666666cccd,
681  0xaaaa55555555aaaa, 0xcccc666733339999,
682  0xaaaa555600005554, 0xcccc666800006665,
683  0xaaaa5556aaaafffe, 0xcccccc6599999a01,
684  0xaaaaaa54aaaaab00, 0xcccccc66666666cd,
685  0xaaaaaa55555555aa, 0xcccccc6733333399,
686  0xaaaaaa5600000054, 0xcccccc6800000065,
687  0xaaaaaa56aaaaaafe, 0xccccccb266666681,
688  0xaaaaaa94aaaaaac0, 0xccccccc99999999d,
689  0xccccccc99999999c, 0xffff7ffe00010001,
690  0xccccccca66666668, 0xffff7fff00008001,
691  0xcccccccb33333334, 0x0000000000000001,
692  0x0000000000000000, 0x00000000ffff8001,
693  0x00000000cccccccc, 0x00000001ffff0001,
694  0x0000000199999998, 0x0000001ffff00001,
695  0x0000001999999980, 0x0000007cffc18001,
696  0x00000063ffffff9c, 0x0000007dffc10001,
697  0x00000064cccccc68, 0x0000007effc08001,
698  0x0000006599999934, 0x00007ffcc0018001,
699  0x00006663ffff999c, 0x00007ffdc0010001,
700  0x00006664cccc6668, 0x00007ffec0008001,
701  0x0000666599993334, 0x3333199966668001,
702  0x28f5c28f0a3d70a4, 0x55552aaa55558001,
703  0x44444443bbbbbbbc, 0x7fffbffd00018001,
704  0x666666639999999c, 0x7fffbffe00010001,
705  0x6666666466666668, 0x7fffbfff00008001,
706  0x6666666533333334, 0x7fffc00000000001,
707  0x6666666600000000, 0x7fffc000ffff8001,
708  0x66666666cccccccc, 0xaaaa5554aaab0001,
709  0x8888888777777778, 0xcccc6665999a0001,
710  0xa3d70a3c28f5c290, 0xffff000040000001,
711  0xcccc6665999a0000, 0xffff00013fff8001,
712  0xcccc66666666cccc, 0xffff00023fff0001,
713  0xcccc666733339998, 0xffff00033ffe8001,
714  0xcccc666800006664, 0xffff7f8000400001,
715  0xcccccc6599999a00, 0xffff7f81003f8001,
716  0xcccccc66666666cc, 0xffff7f82003f0001,
717  0xcccccc6733333398, 0xffff7f83003e8001,
718  0xcccccc6800000064, 0xffff7fe000100001,
719  0xccccccb266666680, 0xffff7ffd00018001,
720  0xffff7ffd00018000, 0xffff7fff0000ffff,
721  0xffff7ffe00010000, 0xffff800000008000,
722  0xffff7fff00008000, 0x0000000000000001,
723  0x0000000000000000, 0x00000000ffff8002,
724  0x00000000ffff8000, 0x00000001ffff0003,
725  0x00000001ffff0000, 0x0000001ffff00021,
726  0x0000001ffff00000, 0x0000007cffc1807e,
727  0x0000007cffc18000, 0x0000007dffc1007f,
728  0x0000007dffc10000, 0x0000007effc08080,
729  0x0000007effc08000, 0x00007ffcc001fffe,
730  0x00007ffcc0018000, 0x00007ffdc0017fff,
731  0x00007ffdc0010000, 0x00007ffec0010000,
732  0x00007ffec0008000, 0x333319999999b334,
733  0x3333199966668000, 0x55552aaaaaaad556,
734  0x55552aaa55558000, 0x7fffbffd80017ffe,
735  0x7fffbffd00018000, 0x7fffbffe8000ffff,
736  0x7fffbffe00010000, 0x7fffbfff80008000,
737  0x7fffbfff00008000, 0x7fffc00080000001,
738  0x7fffc00000000000, 0x7fffc0017fff8002,
739  0x7fffc000ffff8000, 0xaaaa55555555aaab,
740  0xaaaa5554aaab0000, 0xcccc66666666cccd,
741  0xcccc6665999a0000, 0xffff00013fff8001,
742  0xffff000040000000, 0xffff00023fff0002,
743  0xffff00013fff8000, 0xffff00033ffe8003,
744  0xffff00023fff0000, 0xffff00043ffe0004,
745  0xffff00033ffe8000, 0xffff7f81003fff81,
746  0xffff7f8000400000, 0xffff7f82003f7f82,
747  0xffff7f81003f8000, 0xffff7f83003eff83,
748  0xffff7f82003f0000, 0xffff7f84003e7f84,
749  0xffff7f83003e8000, 0xffff7fe1000fffe1,
750  0xffff7fe000100000, 0xffff7ffe00017ffe,
751  0xffff7ffe00017ffd, 0xffff80000000fffd,
752  0xffff7fff0000fffe, 0xffff800100007fff,
753  0xffff800000007fff, 0x0000000000000001,
754  0x0000000000000000, 0x00000000ffff8003,
755  0x00000000ffff8001, 0x00000001ffff0005,
756  0x00000001ffff0002, 0x0000001ffff00041,
757  0x0000001ffff00020, 0x0000007cffc180fb,
758  0x0000007cffc1807d, 0x0000007dffc100fd,
759  0x0000007dffc1007e, 0x0000007effc080ff,
760  0x0000007effc0807f, 0x00007ffcc0027ffb,
761  0x00007ffcc001fffd, 0x00007ffdc001fffd,
762  0x00007ffdc0017ffe, 0x00007ffec0017fff,
763  0x00007ffec000ffff, 0x33331999cccce667,
764  0x333319999999b333, 0x55552aab00002aab,
765  0x55552aaaaaaad555, 0x7fffbffe00017ffb,
766  0x7fffbffd80017ffd, 0x7fffbfff0000fffd,
767  0x7fffbffe8000fffe, 0x7fffc00000007fff,
768  0x7fffbfff80007fff, 0x7fffc00100000001,
769  0x7fffc00080000000, 0x7fffc001ffff8003,
770  0x7fffc0017fff8001, 0xaaaa555600005555,
771  0xaaaa55555555aaaa, 0xcccc666733339999,
772  0xcccc66666666cccc, 0xffff00023fff0001,
773  0xffff00013fff8000, 0xffff00033ffe8003,
774  0xffff00023fff0001, 0xffff00043ffe0005,
775  0xffff00033ffe8002, 0xffff00053ffd8007,
776  0xffff00043ffe0003, 0xffff7f82003fff01,
777  0xffff7f81003fff80, 0xffff7f83003f7f03,
778  0xffff7f82003f7f81, 0xffff7f84003eff05,
779  0xffff7f83003eff82, 0xffff7f85003e7f07,
780  0xffff7f84003e7f83, 0xffff7fe2000fffc1,
781  0xffff7fe1000fffe0, 0xffff7fff00017ffb,
782  0xffff7fff00017ffa, 0xffff80010000fffb,
783  0xffff80000000fffc, 0xffff800200007ffe,
784  0xffff800100007ffe, 0x0000000000000001,
785  0x0000000000000000, 0x00000000ffff8004,
786  0x00000000ffff8002, 0x00000001ffff0007,
787  0x00000001ffff0004, 0x0000001ffff00061,
788  0x0000001ffff00040, 0x0000007cffc18178,
789  0x0000007cffc180fa, 0x0000007dffc1017b,
790  0x0000007dffc100fc, 0x0000007effc0817e,
791  0x0000007effc080fe, 0x00007ffcc002fff8,
792  0x00007ffcc0027ffa, 0x00007ffdc0027ffb,
793  0x00007ffdc001fffc, 0x00007ffec001fffe,
794  0x00007ffec0017ffe, 0x3333199a0000199a,
795  0x33331999cccce666, 0x55552aab55558000,
796  0x55552aab00002aaa, 0x7fffbffe80017ff8,
797  0x7fffbffe00017ffa, 0x7fffbfff8000fffb,
798  0x7fffbfff0000fffc, 0x7fffc00080007ffe,
799  0x7fffc00000007ffe, 0x7fffc00180000001,
800  0x7fffc00100000000, 0x7fffc0027fff8004,
801  0x7fffc001ffff8002, 0xaaaa5556aaaaffff,
802  0xaaaa555600005554, 0xcccc666800006665,
803  0xcccc666733339998, 0xffff00033ffe8001,
804  0xffff00023fff0000, 0xffff00043ffe0004,
805  0xffff00033ffe8002, 0xffff00053ffd8007,
806  0xffff00043ffe0004, 0xffff00063ffd000a,
807  0xffff00053ffd8006, 0xffff7f83003ffe81,
808  0xffff7f82003fff00, 0xffff7f84003f7e84,
809  0xffff7f83003f7f02, 0xffff7f85003efe87,
810  0xffff7f84003eff04, 0xffff7f86003e7e8a,
811  0xffff7f85003e7f06, 0xffff7fe3000fffa1,
812  0xffff7fe2000fffc0, 0xffff800000017ff8,
813  0xffff800000017ff7, 0xffffff7e00000101,
814  0xffff80010000fffa, 0xffffff7f00000081,
815  0xffff800200007ffd, 0x0000000000000001,
816  0x0000000000000000, 0x00000000ffffff81,
817  0x00000000ffff8003, 0x00000001ffffff01,
818  0x00000001ffff0006, 0x0000001ffffff001,
819  0x0000001ffff00060, 0x0000007cffffc181,
820  0x0000007cffc18177, 0x0000007dffffc101,
821  0x0000007dffc1017a, 0x0000007effffc081,
822  0x0000007effc0817d, 0x00007ffcffc00181,
823  0x00007ffcc002fff7, 0x00007ffdffc00101,
824  0x00007ffdc0027ffa, 0x00007ffeffc00081,
825  0x00007ffec001fffd, 0x3333331966666681,
826  0x3333199a00001999, 0x5555552a55555581,
827  0x55552aab55557fff, 0x7fffffbd00000181,
828  0x7fffbffe80017ff7, 0x7fffffbe00000101,
829  0x7fffbfff8000fffa, 0x7fffffbf00000081,
830  0x7fffc00080007ffd, 0x7fffffc000000001,
831  0x7fffc00180000000, 0x7fffffc0ffffff81,
832  0x7fffc0027fff8003, 0xaaaaaa54aaaaab01,
833  0xaaaa5556aaaafffe, 0xcccccc6599999a01,
834  0xcccc666800006664, 0xffff7f8000400001,
835  0xffff00033ffe8000, 0xffff7f81003fff81,
836  0xffff00043ffe0003, 0xffff7f82003fff01,
837  0xffff00053ffd8006, 0xffff7f83003ffe81,
838  0xffff00063ffd0009, 0xffffff0000004001,
839  0xffff7f83003ffe80, 0xffffff0100003f81,
840  0xffff7f84003f7e83, 0xffffff0200003f01,
841  0xffff7f85003efe86, 0xffffff0300003e81,
842  0xffff7f86003e7e89, 0xffffff6000001001,
843  0xffff7fe3000fffa0, 0xffffff7d00000181,
844  0xffffff7d00000180, 0xffffff7f000000ff,
845  0xffffff7e00000100, 0xffffff8000000080,
846  0xffffff7f00000080, 0x0000000000000001,
847  0x0000000000000000, 0x00000000ffffff82,
848  0x00000000ffffff80, 0x00000001ffffff03,
849  0x00000001ffffff00, 0x0000001ffffff021,
850  0x0000001ffffff000, 0x0000007cffffc1fe,
851  0x0000007cffffc180, 0x0000007dffffc17f,
852  0x0000007dffffc100, 0x0000007effffc100,
853  0x0000007effffc080, 0x00007ffcffc0817e,
854  0x00007ffcffc00180, 0x00007ffdffc080ff,
855  0x00007ffdffc00100, 0x00007ffeffc08080,
856  0x00007ffeffc00080, 0x33333319999999b4,
857  0x3333331966666680, 0x5555552aaaaaaad6,
858  0x5555552a55555580, 0x7fffffbd8000017e,
859  0x7fffffbd00000180, 0x7fffffbe800000ff,
860  0x7fffffbe00000100, 0x7fffffbf80000080,
861  0x7fffffbf00000080, 0x7fffffc080000001,
862  0x7fffffc000000000, 0x7fffffc17fffff82,
863  0x7fffffc0ffffff80, 0xaaaaaa55555555ab,
864  0xaaaaaa54aaaaab00, 0xcccccc66666666cd,
865  0xcccccc6599999a00, 0xffff7f81003f8001,
866  0xffff7f8000400000, 0xffff7f82003f7f82,
867  0xffff7f81003fff80, 0xffff7f83003f7f03,
868  0xffff7f82003fff00, 0xffff7f84003f7e84,
869  0xffff7f83003ffe80, 0xffffff0100003f81,
870  0xffffff0000004000, 0xffffff0200003f02,
871  0xffffff0100003f80, 0xffffff0300003e83,
872  0xffffff0200003f00, 0xffffff0400003e04,
873  0xffffff0300003e80, 0xffffff6100000fe1,
874  0xffffff6000001000, 0xffffff7e0000017e,
875  0xffffff7e0000017d, 0xffffff80000000fd,
876  0xffffff7f000000fe, 0xffffff810000007f,
877  0xffffff800000007f, 0x0000000000000001,
878  0x0000000000000000, 0x00000000ffffff83,
879  0x00000000ffffff81, 0x00000001ffffff05,
880  0x00000001ffffff02, 0x0000001ffffff041,
881  0x0000001ffffff020, 0x0000007cffffc27b,
882  0x0000007cffffc1fd, 0x0000007dffffc1fd,
883  0x0000007dffffc17e, 0x0000007effffc17f,
884  0x0000007effffc0ff, 0x00007ffcffc1017b,
885  0x00007ffcffc0817d, 0x00007ffdffc100fd,
886  0x00007ffdffc080fe, 0x00007ffeffc1007f,
887  0x00007ffeffc0807f, 0x33333319cccccce7,
888  0x33333319999999b3, 0x5555552b0000002b,
889  0x5555552aaaaaaad5, 0x7fffffbe0000017b,
890  0x7fffffbd8000017d, 0x7fffffbf000000fd,
891  0x7fffffbe800000fe, 0x7fffffc00000007f,
892  0x7fffffbf8000007f, 0x7fffffc100000001,
893  0x7fffffc080000000, 0x7fffffc1ffffff83,
894  0x7fffffc17fffff81, 0xaaaaaa5600000055,
895  0xaaaaaa55555555aa, 0xcccccc6733333399,
896  0xcccccc66666666cc, 0xffff7f82003f0001,
897  0xffff7f81003f8000, 0xffff7f83003eff83,
898  0xffff7f82003f7f81, 0xffff7f84003eff05,
899  0xffff7f83003f7f02, 0xffff7f85003efe87,
900  0xffff7f84003f7e83, 0xffffff0200003f01,
901  0xffffff0100003f80, 0xffffff0300003e83,
902  0xffffff0200003f01, 0xffffff0400003e05,
903  0xffffff0300003e82, 0xffffff0500003d87,
904  0xffffff0400003e03, 0xffffff6200000fc1,
905  0xffffff6100000fe0, 0xffffff7f0000017b,
906  0xffffff7f0000017a, 0xffffff81000000fb,
907  0xffffff80000000fc, 0xffffff820000007e,
908  0xffffff810000007e, 0x0000000000000001,
909  0x0000000000000000, 0x00000000ffffff84,
910  0x00000000ffffff82, 0x00000001ffffff07,
911  0x00000001ffffff04, 0x0000001ffffff061,
912  0x0000001ffffff040, 0x0000007cffffc2f8,
913  0x0000007cffffc27a, 0x0000007dffffc27b,
914  0x0000007dffffc1fc, 0x0000007effffc1fe,
915  0x0000007effffc17e, 0x00007ffcffc18178,
916  0x00007ffcffc1017a, 0x00007ffdffc180fb,
917  0x00007ffdffc100fc, 0x00007ffeffc1807e,
918  0x00007ffeffc1007e, 0x3333331a0000001a,
919  0x33333319cccccce6, 0x5555552b55555580,
920  0x5555552b0000002a, 0x7fffffbe80000178,
921  0x7fffffbe0000017a, 0x7fffffbf800000fb,
922  0x7fffffbf000000fc, 0x7fffffc08000007e,
923  0x7fffffc00000007e, 0x7fffffc180000001,
924  0x7fffffc100000000, 0x7fffffc27fffff84,
925  0x7fffffc1ffffff82, 0xaaaaaa56aaaaaaff,
926  0xaaaaaa5600000054, 0xcccccc6800000065,
927  0xcccccc6733333398, 0xffff7f83003e8001,
928  0xffff7f82003f0000, 0xffff7f84003e7f84,
929  0xffff7f83003eff82, 0xffff7f85003e7f07,
930  0xffff7f84003eff04, 0xffff7f86003e7e8a,
931  0xffff7f85003efe86, 0xffffff0300003e81,
932  0xffffff0200003f00, 0xffffff0400003e04,
933  0xffffff0300003e82, 0xffffff0500003d87,
934  0xffffff0400003e04, 0xffffff0600003d0a,
935  0xffffff0500003d86, 0xffffff6300000fa1,
936  0xffffff6200000fc0, 0xffffff8000000178,
937  0xffffff8000000177, 0xffffffde00000041,
938  0xffffff81000000fa, 0xffffffdf00000021,
939  0xffffff820000007d, 0x0000000000000001,
940  0x0000000000000000, 0x00000000ffffffe1,
941  0x00000000ffffff83, 0x00000001ffffffc1,
942  0x00000001ffffff06, 0x0000001ffffffc01,
943  0x0000001ffffff060, 0x0000007cfffff061,
944  0x0000007cffffc2f7, 0x0000007dfffff041,
945  0x0000007dffffc27a, 0x0000007efffff021,
946  0x0000007effffc1fd, 0x00007ffcfff00061,
947  0x00007ffcffc18177, 0x00007ffdfff00041,
948  0x00007ffdffc180fa, 0x00007ffefff00021,
949  0x00007ffeffc1807d, 0x3333332c999999a1,
950  0x3333331a00000019, 0x5555554a55555561,
951  0x5555552b5555557f, 0x7fffffed00000061,
952  0x7fffffbe80000177, 0x7fffffee00000041,
953  0x7fffffbf800000fa, 0x7fffffef00000021,
954  0x7fffffc08000007d, 0x7ffffff000000001,
955  0x7fffffc180000000, 0x7ffffff0ffffffe1,
956  0x7fffffc27fffff83, 0xaaaaaa94aaaaaac1,
957  0xaaaaaa56aaaaaafe, 0xccccccb266666681,
958  0xcccccc6800000064, 0xffff7fe000100001,
959  0xffff7f83003e8000, 0xffff7fe1000fffe1,
960  0xffff7f84003e7f83, 0xffff7fe2000fffc1,
961  0xffff7f85003e7f06, 0xffff7fe3000fffa1,
962  0xffff7f86003e7e89, 0xffffff6000001001,
963  0xffffff0300003e80, 0xffffff6100000fe1,
964  0xffffff0400003e03, 0xffffff6200000fc1,
965  0xffffff0500003d86, 0xffffff6300000fa1,
966  0xffffff0600003d09, 0xffffffc000000401,
967  0xffffff6300000fa0, 0xffffffdd00000061,
968  0xffffffdd00000060, 0xfffffffb00000007,
969  0xffffffde00000040, 0xfffffffc00000004,
970  0xffffffdf00000020, 0x0000000000000001,
971  0x0000000000000000, 0x00000000fffffffe,
972  0x00000000ffffffe0, 0x00000001fffffffb,
973  0x00000001ffffffc0, 0x0000001fffffffa1,
974  0x0000001ffffffc00, 0x0000007cfffffe8a,
975  0x0000007cfffff060, 0x0000007dfffffe87,
976  0x0000007dfffff040, 0x0000007efffffe84,
977  0x0000007efffff020, 0x00007ffcfffe800a,
978  0x00007ffcfff00060, 0x00007ffdfffe8007,
979  0x00007ffdfff00040, 0x00007ffefffe8004,
980  0x00007ffefff00020, 0x3333333266666668,
981  0x3333332c999999a0, 0x5555555400000002,
982  0x5555554a55555560, 0x7ffffffb8000000a,
983  0x7fffffed00000060, 0x7ffffffc80000007,
984  0x7fffffee00000040, 0x7ffffffd80000004,
985  0x7fffffef00000020, 0x7ffffffe80000001,
986  0x7ffffff000000000, 0x7fffffff7ffffffe,
987  0x7ffffff0ffffffe0, 0xaaaaaaa800000003,
988  0xaaaaaa94aaaaaac0, 0xccccccc99999999d,
989  0xccccccb266666680, 0xffff7ffd00018001,
990  0xffff7fe000100000, 0xffff7ffe00017ffe,
991  0xffff7fe1000fffe0, 0xffff7fff00017ffb,
992  0xffff7fe2000fffc0, 0xffff800000017ff8,
993  0xffff7fe3000fffa0, 0xffffff7d00000181,
994  0xffffff6000001000, 0xffffff7e0000017e,
995  0xffffff6100000fe0, 0xffffff7f0000017b,
996  0xffffff6200000fc0, 0xffffff8000000178,
997  0xffffff6300000fa0, 0xffffffdd00000061,
998  0xffffffc000000400, 0xfffffffa0000000a,
999};
1000const unsigned kExpectedCount_NEON_umlal_2D = 961;
1001
1002#endif  // VIXL_SIM_UMLAL_2D_TRACE_AARCH64_H_
1003