• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2015, VIXL authors
2 // All rights reserved.
3 //
4 // Redistribution and use in source and binary forms, with or without
5 // modification, are permitted provided that the following conditions are met:
6 //
7 //   * Redistributions of source code must retain the above copyright notice,
8 //     this list of conditions and the following disclaimer.
9 //   * Redistributions in binary form must reproduce the above copyright notice,
10 //     this list of conditions and the following disclaimer in the documentation
11 //     and/or other materials provided with the distribution.
12 //   * Neither the name of ARM Limited nor the names of its contributors may be
13 //     used to endorse or promote products derived from this software without
14 //     specific prior written permission.
15 //
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 
27 
28 // ---------------------------------------------------------------------
29 // This file is auto generated using tools/generate_simulator_traces.py.
30 //
31 // PLEASE DO NOT EDIT.
32 // ---------------------------------------------------------------------
33 
34 #ifndef VIXL_SIM_UMLSL_2D_TRACE_AARCH64_H_
35 #define VIXL_SIM_UMLSL_2D_TRACE_AARCH64_H_
36 
37 const uint64_t kExpected_NEON_umlsl_2D[] = {
38   0xffffffffc1fc0000, 0xffffffffc0ff0001,
39   0xffffffffc17e0000, 0xffffffc0817d0001,
40   0xffffffc1017a0000, 0x0000000000000001,
41   0x0000000000000000, 0xffffffffffff8101,
42   0xffffffffffff8200, 0xffffffffffff0201,
43   0xffffffffffff0400, 0xfffffffffff02001,
44   0xfffffffffff04000, 0xffffffffffc1fd01,
45   0xffffffffffc27a00, 0xffffffffffc17e01,
46   0xffffffffffc1fc00, 0xffffffffffc0ff01,
47   0xffffffffffc17e00, 0xffffffffc0817d01,
48   0xffffffffc1017a00, 0xffffffffc080fe01,
49   0xffffffffc100fc00, 0xffffffffc0807f01,
50   0xffffffffc1007e00, 0xffffe6999999b301,
51   0xffffe6cccccce600, 0xffffd5aaaaaad501,
52   0xffffd60000002a00, 0xffffc08000017d01,
53   0xffffc10000017a00, 0xffffc0800000fe01,
54   0xffffc1000000fc00, 0xffffc08000007f01,
55   0xffffc10000007e00, 0xffffc08000000001,
56   0xffffc10000000000, 0xffffc07fffff8101,
57   0xffffc0ffffff8200, 0xffffab555555aa01,
58   0xffffac0000005400, 0xffff9a666666cc01,
59   0xffff9b3333339800, 0xffff81003f800001,
60   0xffff82003f000000, 0xffff81003f7f8101,
61   0xffff82003eff8200, 0xffff81003f7f0201,
62   0xffff82003eff0400, 0xffff81003f7e8301,
63   0xffff82003efe8600, 0xffff8100003f8001,
64   0xffff8200003f0000, 0xffff8100003f0101,
65   0xffff8200003e8200, 0xffff8100003e8201,
66   0xffff8200003e0400, 0xffff8100003e0301,
67   0xffff8200003d8600, 0xffff8100000fe001,
68   0xffff8200000fc000, 0xffff810000017d01,
69   0xffff810000017d00, 0xff80030000fffa01,
70   0xffff81000000fe00, 0xff800300007ffd01,
71   0xffff810000007f00, 0x0000000000000001,
72   0x0000000000000000, 0xffffffffff800301,
73   0xffffffffffff8100, 0xffffffffff000601,
74   0xffffffffffff0200, 0xfffffffff0006001,
75   0xfffffffffff02000, 0xffffffffc1817701,
76   0xffffffffffc1fd00, 0xffffffffc1017a01,
77   0xffffffffffc17e00, 0xffffffffc0817d01,
78   0xffffffffffc0ff00, 0xffffffc002fff701,
79   0xffffffffc0817d00, 0xffffffc0027ffa01,
80   0xffffffffc080fe00, 0xffffffc001fffd01,
81   0xffffffffc0807f00, 0xffe6670000199901,
82   0xffffe6999999b300, 0xffd55655557fff01,
83   0xffffd5aaaaaad500, 0xffc00180017ff701,
84   0xffffc08000017d00, 0xffc0018000fffa01,
85   0xffffc0800000fe00, 0xffc00180007ffd01,
86   0xffffc08000007f00, 0xffc0018000000001,
87   0xffffc08000000000, 0xffc0017fff800301,
88   0xffffc07fffff8100, 0xffaaacaaaafffe01,
89   0xffffab555555aa00, 0xff999c0000666401,
90   0xffff9a666666cc00, 0xff80033ffe800001,
91   0xffff81003f800000, 0xff80033ffe000301,
92   0xffff81003f7f8100, 0xff80033ffd800601,
93   0xffff81003f7f0200, 0xff80033ffd000901,
94   0xffff81003f7e8300, 0xff8003003ffe8001,
95   0xffff8100003f8000, 0xff8003003f7e8301,
96   0xffff8100003f0100, 0xff8003003efe8601,
97   0xffff8100003e8200, 0xff8003003e7e8901,
98   0xffff8100003e0300, 0xff8003000fffa001,
99   0xffff8100000fe000, 0xff800300017ff701,
100   0xff800300017ff700, 0x0000000000000001,
101   0xff80030000fffa00, 0x0000000000000001,
102   0xff800300007ffd00, 0x0000000000000001,
103   0x0000000000000000, 0x0000000000000001,
104   0xffffffffff800300, 0x0000000000000001,
105   0xffffffffff000600, 0x0000000000000001,
106   0xfffffffff0006000, 0x0000000000000001,
107   0xffffffffc1817700, 0x0000000000000001,
108   0xffffffffc1017a00, 0x0000000000000001,
109   0xffffffffc0817d00, 0x0000000000000001,
110   0xffffffc002fff700, 0x0000000000000001,
111   0xffffffc0027ffa00, 0x0000000000000001,
112   0xffffffc001fffd00, 0x0000000000000001,
113   0xffe6670000199900, 0x0000000000000001,
114   0xffd55655557fff00, 0x0000000000000001,
115   0xffc00180017ff700, 0x0000000000000001,
116   0xffc0018000fffa00, 0x0000000000000001,
117   0xffc00180007ffd00, 0x0000000000000001,
118   0xffc0018000000000, 0x0000000000000001,
119   0xffc0017fff800300, 0x0000000000000001,
120   0xffaaacaaaafffe00, 0x0000000000000001,
121   0xff999c0000666400, 0x0000000000000001,
122   0xff80033ffe800000, 0x0000000000000001,
123   0xff80033ffe000300, 0x0000000000000001,
124   0xff80033ffd800600, 0x0000000000000001,
125   0xff80033ffd000900, 0x0000000000000001,
126   0xff8003003ffe8000, 0x0000000000000001,
127   0xff8003003f7e8300, 0x0000000000000001,
128   0xff8003003efe8600, 0x0000000000000001,
129   0xff8003003e7e8900, 0x0000000000000001,
130   0xff8003000fffa000, 0x0000000000000001,
131   0x0000000000000000, 0xffffffff00000003,
132   0x0000000000000000, 0xffffffff00000002,
133   0x0000000000000000, 0x0000000000000001,
134   0x0000000000000000, 0x0000000000000000,
135   0x0000000000000000, 0xffffffffffffffff,
136   0x0000000000000000, 0xffffffffffffffe1,
137   0x0000000000000000, 0xffffffffffffff84,
138   0x0000000000000000, 0xffffffffffffff83,
139   0x0000000000000000, 0xffffffffffffff82,
140   0x0000000000000000, 0xffffffffffff8004,
141   0x0000000000000000, 0xffffffffffff8003,
142   0x0000000000000000, 0xffffffffffff8002,
143   0x0000000000000000, 0xffffffffccccccce,
144   0x0000000000000000, 0xffffffffaaaaaaac,
145   0x0000000000000000, 0xffffffff80000004,
146   0x0000000000000000, 0xffffffff80000003,
147   0x0000000000000000, 0xffffffff80000002,
148   0x0000000000000000, 0xffffffff80000001,
149   0x0000000000000000, 0xffffffff80000000,
150   0x0000000000000000, 0xffffffff55555557,
151   0x0000000000000000, 0xffffffff33333335,
152   0x0000000000000000, 0xffffffff00008001,
153   0x0000000000000000, 0xffffffff00008000,
154   0x0000000000000000, 0xffffffff00007fff,
155   0x0000000000000000, 0xffffffff00007ffe,
156   0x0000000000000000, 0xffffffff00000081,
157   0x0000000000000000, 0xffffffff00000080,
158   0x0000000000000000, 0xffffffff0000007f,
159   0x0000000000000000, 0xffffffff0000007e,
160   0x0000000000000000, 0xffffffff00000021,
161   0x0000000000000000, 0xffffffff00000004,
162   0xffffffff00000003, 0xfffffffe00000005,
163   0xffffffff00000002, 0xfffffffe00000003,
164   0xffffffff00000001, 0x0000000000000001,
165   0x0000000000000000, 0xffffffffffffffff,
166   0xffffffffffffffff, 0xfffffffffffffffd,
167   0xfffffffffffffffe, 0xffffffffffffffc1,
168   0xffffffffffffffe0, 0xffffffffffffff07,
169   0xffffffffffffff83, 0xffffffffffffff05,
170   0xffffffffffffff82, 0xffffffffffffff03,
171   0xffffffffffffff81, 0xffffffffffff0007,
172   0xffffffffffff8003, 0xffffffffffff0005,
173   0xffffffffffff8002, 0xffffffffffff0003,
174   0xffffffffffff8001, 0xffffffff9999999b,
175   0xffffffffcccccccd, 0xffffffff55555557,
176   0xffffffffaaaaaaab, 0xffffffff00000007,
177   0xffffffff80000003, 0xffffffff00000005,
178   0xffffffff80000002, 0xffffffff00000003,
179   0xffffffff80000001, 0xffffffff00000001,
180   0xffffffff80000000, 0xfffffffeffffffff,
181   0xffffffff7fffffff, 0xfffffffeaaaaaaad,
182   0xffffffff55555556, 0xfffffffe66666669,
183   0xffffffff33333334, 0xfffffffe00010001,
184   0xffffffff00008000, 0xfffffffe0000ffff,
185   0xffffffff00007fff, 0xfffffffe0000fffd,
186   0xffffffff00007ffe, 0xfffffffe0000fffb,
187   0xffffffff00007ffd, 0xfffffffe00000101,
188   0xffffffff00000080, 0xfffffffe000000ff,
189   0xffffffff0000007f, 0xfffffffe000000fd,
190   0xffffffff0000007e, 0xfffffffe000000fb,
191   0xffffffff0000007d, 0xfffffffe00000041,
192   0xffffffff00000020, 0xfffffffe00000007,
193   0xfffffffe00000006, 0xffffffe000000041,
194   0xfffffffe00000004, 0xffffffe000000021,
195   0xfffffffe00000002, 0x0000000000000001,
196   0x0000000000000000, 0xffffffffffffffe1,
197   0xfffffffffffffffe, 0xffffffffffffffc1,
198   0xfffffffffffffffc, 0xfffffffffffffc01,
199   0xffffffffffffffc0, 0xfffffffffffff061,
200   0xffffffffffffff06, 0xfffffffffffff041,
201   0xffffffffffffff04, 0xfffffffffffff021,
202   0xffffffffffffff02, 0xfffffffffff00061,
203   0xffffffffffff0006, 0xfffffffffff00041,
204   0xffffffffffff0004, 0xfffffffffff00021,
205   0xffffffffffff0002, 0xfffffff9999999a1,
206   0xffffffff9999999a, 0xfffffff555555561,
207   0xffffffff55555556, 0xfffffff000000061,
208   0xffffffff00000006, 0xfffffff000000041,
209   0xffffffff00000004, 0xfffffff000000021,
210   0xffffffff00000002, 0xfffffff000000001,
211   0xffffffff00000000, 0xffffffefffffffe1,
212   0xfffffffefffffffe, 0xffffffeaaaaaaac1,
213   0xfffffffeaaaaaaac, 0xffffffe666666681,
214   0xfffffffe66666668, 0xffffffe000100001,
215   0xfffffffe00010000, 0xffffffe0000fffe1,
216   0xfffffffe0000fffe, 0xffffffe0000fffc1,
217   0xfffffffe0000fffc, 0xffffffe0000fffa1,
218   0xfffffffe0000fffa, 0xffffffe000001001,
219   0xfffffffe00000100, 0xffffffe000000fe1,
220   0xfffffffe000000fe, 0xffffffe000000fc1,
221   0xfffffffe000000fc, 0xffffffe000000fa1,
222   0xfffffffe000000fa, 0xffffffe000000401,
223   0xfffffffe00000040, 0xffffffe000000061,
224   0xffffffe000000060, 0xffffff83000000fb,
225   0xffffffe000000040, 0xffffff830000007e,
226   0xffffffe000000020, 0x0000000000000001,
227   0x0000000000000000, 0xffffffffffffff84,
228   0xffffffffffffffe0, 0xffffffffffffff07,
229   0xffffffffffffffc0, 0xfffffffffffff061,
230   0xfffffffffffffc00, 0xffffffffffffc2f8,
231   0xfffffffffffff060, 0xffffffffffffc27b,
232   0xfffffffffffff040, 0xffffffffffffc1fe,
233   0xfffffffffffff020, 0xffffffffffc18178,
234   0xfffffffffff00060, 0xffffffffffc180fb,
235   0xfffffffffff00040, 0xffffffffffc1807e,
236   0xfffffffffff00020, 0xffffffe70000001a,
237   0xfffffff9999999a0, 0xffffffd655555580,
238   0xfffffff555555560, 0xffffffc180000178,
239   0xfffffff000000060, 0xffffffc1800000fb,
240   0xfffffff000000040, 0xffffffc18000007e,
241   0xfffffff000000020, 0xffffffc180000001,
242   0xfffffff000000000, 0xffffffc17fffff84,
243   0xffffffefffffffe0, 0xffffffacaaaaaaff,
244   0xffffffeaaaaaaac0, 0xffffff9c00000065,
245   0xffffffe666666680, 0xffffff83003e8001,
246   0xffffffe000100000, 0xffffff83003e7f84,
247   0xffffffe0000fffe0, 0xffffff83003e7f07,
248   0xffffffe0000fffc0, 0xffffff83003e7e8a,
249   0xffffffe0000fffa0, 0xffffff8300003e81,
250   0xffffffe000001000, 0xffffff8300003e04,
251   0xffffffe000000fe0, 0xffffff8300003d87,
252   0xffffffe000000fc0, 0xffffff8300003d0a,
253   0xffffffe000000fa0, 0xffffff8300000fa1,
254   0xffffffe000000400, 0xffffff8300000178,
255   0xffffff8300000177, 0xffffff82000000fd,
256   0xffffff83000000fa, 0xffffff820000007f,
257   0xffffff830000007d, 0x0000000000000001,
258   0x0000000000000000, 0xffffffffffffff83,
259   0xffffffffffffff83, 0xffffffffffffff05,
260   0xffffffffffffff06, 0xfffffffffffff041,
261   0xfffffffffffff060, 0xffffffffffffc27b,
262   0xffffffffffffc2f7, 0xffffffffffffc1fd,
263   0xffffffffffffc27a, 0xffffffffffffc17f,
264   0xffffffffffffc1fd, 0xffffffffffc1017b,
265   0xffffffffffc18177, 0xffffffffffc100fd,
266   0xffffffffffc180fa, 0xffffffffffc1007f,
267   0xffffffffffc1807d, 0xffffffe6cccccce7,
268   0xffffffe700000019, 0xffffffd60000002b,
269   0xffffffd65555557f, 0xffffffc10000017b,
270   0xffffffc180000177, 0xffffffc1000000fd,
271   0xffffffc1800000fa, 0xffffffc10000007f,
272   0xffffffc18000007d, 0xffffffc100000001,
273   0xffffffc180000000, 0xffffffc0ffffff83,
274   0xffffffc17fffff83, 0xffffffac00000055,
275   0xffffffacaaaaaafe, 0xffffff9b33333399,
276   0xffffff9c00000064, 0xffffff82003f0001,
277   0xffffff83003e8000, 0xffffff82003eff83,
278   0xffffff83003e7f83, 0xffffff82003eff05,
279   0xffffff83003e7f06, 0xffffff82003efe87,
280   0xffffff83003e7e89, 0xffffff8200003f01,
281   0xffffff8300003e80, 0xffffff8200003e83,
282   0xffffff8300003e03, 0xffffff8200003e05,
283   0xffffff8300003d86, 0xffffff8200003d87,
284   0xffffff8300003d09, 0xffffff8200000fc1,
285   0xffffff8300000fa0, 0xffffff820000017b,
286   0xffffff820000017a, 0xffffff81000000ff,
287   0xffffff82000000fc, 0xffffff8100000080,
288   0xffffff820000007e, 0x0000000000000001,
289   0x0000000000000000, 0xffffffffffffff82,
290   0xffffffffffffff82, 0xffffffffffffff03,
291   0xffffffffffffff04, 0xfffffffffffff021,
292   0xfffffffffffff040, 0xffffffffffffc1fe,
293   0xffffffffffffc27a, 0xffffffffffffc17f,
294   0xffffffffffffc1fc, 0xffffffffffffc100,
295   0xffffffffffffc17e, 0xffffffffffc0817e,
296   0xffffffffffc1017a, 0xffffffffffc080ff,
297   0xffffffffffc100fc, 0xffffffffffc08080,
298   0xffffffffffc1007e, 0xffffffe6999999b4,
299   0xffffffe6cccccce6, 0xffffffd5aaaaaad6,
300   0xffffffd60000002a, 0xffffffc08000017e,
301   0xffffffc10000017a, 0xffffffc0800000ff,
302   0xffffffc1000000fc, 0xffffffc080000080,
303   0xffffffc10000007e, 0xffffffc080000001,
304   0xffffffc100000000, 0xffffffc07fffff82,
305   0xffffffc0ffffff82, 0xffffffab555555ab,
306   0xffffffac00000054, 0xffffff9a666666cd,
307   0xffffff9b33333398, 0xffffff81003f8001,
308   0xffffff82003f0000, 0xffffff81003f7f82,
309   0xffffff82003eff82, 0xffffff81003f7f03,
310   0xffffff82003eff04, 0xffffff81003f7e84,
311   0xffffff82003efe86, 0xffffff8100003f81,
312   0xffffff8200003f00, 0xffffff8100003f02,
313   0xffffff8200003e82, 0xffffff8100003e83,
314   0xffffff8200003e04, 0xffffff8100003e04,
315   0xffffff8200003d86, 0xffffff8100000fe1,
316   0xffffff8200000fc0, 0xffffff810000017e,
317   0xffffff810000017d, 0xffff80030000fffb,
318   0xffffff81000000fe, 0xffff800300007ffe,
319   0xffffff810000007f, 0x0000000000000001,
320   0x0000000000000000, 0xffffffffffff8004,
321   0xffffffffffffff81, 0xffffffffffff0007,
322   0xffffffffffffff02, 0xfffffffffff00061,
323   0xfffffffffffff020, 0xffffffffffc18178,
324   0xffffffffffffc1fd, 0xffffffffffc1017b,
325   0xffffffffffffc17e, 0xffffffffffc0817e,
326   0xffffffffffffc0ff, 0xffffffffc002fff8,
327   0xffffffffffc0817d, 0xffffffffc0027ffb,
328   0xffffffffffc080fe, 0xffffffffc001fffe,
329   0xffffffffffc0807f, 0xffffe6670000199a,
330   0xffffffe6999999b3, 0xffffd55655558000,
331   0xffffffd5aaaaaad5, 0xffffc00180017ff8,
332   0xffffffc08000017d, 0xffffc0018000fffb,
333   0xffffffc0800000fe, 0xffffc00180007ffe,
334   0xffffffc08000007f, 0xffffc00180000001,
335   0xffffffc080000000, 0xffffc0017fff8004,
336   0xffffffc07fffff81, 0xffffaaacaaaaffff,
337   0xffffffab555555aa, 0xffff999c00006665,
338   0xffffff9a666666cc, 0xffff80033ffe8001,
339   0xffffff81003f8000, 0xffff80033ffe0004,
340   0xffffff81003f7f81, 0xffff80033ffd8007,
341   0xffffff81003f7f02, 0xffff80033ffd000a,
342   0xffffff81003f7e83, 0xffff8003003ffe81,
343   0xffffff8100003f80, 0xffff8003003f7e84,
344   0xffffff8100003f01, 0xffff8003003efe87,
345   0xffffff8100003e82, 0xffff8003003e7e8a,
346   0xffffff8100003e03, 0xffff8003000fffa1,
347   0xffffff8100000fe0, 0xffff800300017ff8,
348   0xffff800300017ff7, 0xffff80020000fffd,
349   0xffff80030000fffa, 0xffff800200007fff,
350   0xffff800300007ffd, 0x0000000000000001,
351   0x0000000000000000, 0xffffffffffff8003,
352   0xffffffffffff8003, 0xffffffffffff0005,
353   0xffffffffffff0006, 0xfffffffffff00041,
354   0xfffffffffff00060, 0xffffffffffc180fb,
355   0xffffffffffc18177, 0xffffffffffc100fd,
356   0xffffffffffc1017a, 0xffffffffffc080ff,
357   0xffffffffffc0817d, 0xffffffffc0027ffb,
358   0xffffffffc002fff7, 0xffffffffc001fffd,
359   0xffffffffc0027ffa, 0xffffffffc0017fff,
360   0xffffffffc001fffd, 0xffffe666cccce667,
361   0xffffe66700001999, 0xffffd55600002aab,
362   0xffffd55655557fff, 0xffffc00100017ffb,
363   0xffffc00180017ff7, 0xffffc0010000fffd,
364   0xffffc0018000fffa, 0xffffc00100007fff,
365   0xffffc00180007ffd, 0xffffc00100000001,
366   0xffffc00180000000, 0xffffc000ffff8003,
367   0xffffc0017fff8003, 0xffffaaac00005555,
368   0xffffaaacaaaafffe, 0xffff999b33339999,
369   0xffff999c00006664, 0xffff80023fff0001,
370   0xffff80033ffe8000, 0xffff80023ffe8003,
371   0xffff80033ffe0003, 0xffff80023ffe0005,
372   0xffff80033ffd8006, 0xffff80023ffd8007,
373   0xffff80033ffd0009, 0xffff8002003fff01,
374   0xffff8003003ffe80, 0xffff8002003f7f03,
375   0xffff8003003f7e83, 0xffff8002003eff05,
376   0xffff8003003efe86, 0xffff8002003e7f07,
377   0xffff8003003e7e89, 0xffff8002000fffc1,
378   0xffff8003000fffa0, 0xffff800200017ffb,
379   0xffff800200017ffa, 0xffff80010000ffff,
380   0xffff80020000fffc, 0xffff800100008000,
381   0xffff800200007ffe, 0x0000000000000001,
382   0x0000000000000000, 0xffffffffffff8002,
383   0xffffffffffff8002, 0xffffffffffff0003,
384   0xffffffffffff0004, 0xfffffffffff00021,
385   0xfffffffffff00040, 0xffffffffffc1807e,
386   0xffffffffffc180fa, 0xffffffffffc1007f,
387   0xffffffffffc100fc, 0xffffffffffc08080,
388   0xffffffffffc080fe, 0xffffffffc001fffe,
389   0xffffffffc0027ffa, 0xffffffffc0017fff,
390   0xffffffffc001fffc, 0xffffffffc0010000,
391   0xffffffffc0017ffe, 0xffffe6669999b334,
392   0xffffe666cccce666, 0xffffd555aaaad556,
393   0xffffd55600002aaa, 0xffffc00080017ffe,
394   0xffffc00100017ffa, 0xffffc0008000ffff,
395   0xffffc0010000fffc, 0xffffc00080008000,
396   0xffffc00100007ffe, 0xffffc00080000001,
397   0xffffc00100000000, 0xffffc0007fff8002,
398   0xffffc000ffff8002, 0xffffaaab5555aaab,
399   0xffffaaac00005554, 0xffff999a6666cccd,
400   0xffff999b33339998, 0xffff80013fff8001,
401   0xffff80023fff0000, 0xffff80013fff0002,
402   0xffff80023ffe8002, 0xffff80013ffe8003,
403   0xffff80023ffe0004, 0xffff80013ffe0004,
404   0xffff80023ffd8006, 0xffff8001003fff81,
405   0xffff8002003fff00, 0xffff8001003f7f82,
406   0xffff8002003f7f02, 0xffff8001003eff83,
407   0xffff8002003eff04, 0xffff8001003e7f84,
408   0xffff8002003e7f06, 0xffff8001000fffe1,
409   0xffff8002000fffc0, 0xffff800100017ffe,
410   0xffff800100017ffd, 0xcccccccd66666667,
411   0xffff80010000fffe, 0xcccccccd33333334,
412   0xffff800100007fff, 0x0000000000000001,
413   0x0000000000000000, 0xffffffffccccccce,
414   0xffffffffffff8001, 0xffffffff9999999b,
415   0xffffffffffff0002, 0xfffffff9999999a1,
416   0xfffffffffff00020, 0xffffffe70000001a,
417   0xffffffffffc1807d, 0xffffffe6cccccce7,
418   0xffffffffffc1007e, 0xffffffe6999999b4,
419   0xffffffffffc0807f, 0xffffe6670000199a,
420   0xffffffffc001fffd, 0xffffe666cccce667,
421   0xffffffffc0017ffe, 0xffffe6669999b334,
422   0xffffffffc000ffff, 0xf5c28f5c3d70a3d8,
423   0xffffe6669999b333, 0xeeeeeeef11111112,
424   0xffffd555aaaad555, 0xe66666671999999a,
425   0xffffc00080017ffd, 0xe6666666e6666667,
426   0xffffc0008000fffe, 0xe6666666b3333334,
427   0xffffc00080007fff, 0xe666666680000001,
428   0xffffc00080000000, 0xe66666664cccccce,
429   0xffffc0007fff8001, 0xddddddde22222223,
430   0xffffaaab5555aaaa, 0xd70a3d70f5c28f5d,
431   0xffff999a6666cccc, 0xcccce66699998001,
432   0xffff80013fff8000, 0xcccce66666664cce,
433   0xffff80013fff0001, 0xcccce6663333199b,
434   0xffff80013ffe8002, 0xcccce665ffffe668,
435   0xffff80013ffe0003, 0xcccccce699999981,
436   0xffff8001003fff80, 0xcccccce66666664e,
437   0xffff8001003f7f81, 0xcccccce63333331b,
438   0xffff8001003eff82, 0xcccccce5ffffffe8,
439   0xffff8001003e7f83, 0xccccccd366666661,
440   0xffff8001000fffe0, 0xcccccccd9999999a,
441   0xcccccccd99999999, 0xaaaaaaabaaaaaaab,
442   0xcccccccd66666666, 0xaaaaaaab55555556,
443   0xcccccccd33333333, 0x0000000000000001,
444   0x0000000000000000, 0xffffffffaaaaaaac,
445   0xffffffffcccccccd, 0xffffffff55555557,
446   0xffffffff9999999a, 0xfffffff555555561,
447   0xfffffff9999999a0, 0xffffffd655555580,
448   0xffffffe700000019, 0xffffffd60000002b,
449   0xffffffe6cccccce6, 0xffffffd5aaaaaad6,
450   0xffffffe6999999b3, 0xffffd55655558000,
451   0xffffe66700001999, 0xffffd55600002aab,
452   0xffffe666cccce666, 0xffffd555aaaad556,
453   0xffffe6669999b333, 0xeeeeeeef11111112,
454   0xf5c28f5c3d70a3d7, 0xe38e38e3c71c71c8,
455   0xeeeeeeef11111111, 0xd555555680000000,
456   0xe666666719999999, 0xd55555562aaaaaab,
457   0xe6666666e6666666, 0xd5555555d5555556,
458   0xe6666666b3333333, 0xd555555580000001,
459   0xe666666680000000, 0xd55555552aaaaaac,
460   0xe66666664ccccccd, 0xc71c71c78e38e38f,
461   0xddddddde22222222, 0xbbbbbbbc44444445,
462   0xd70a3d70f5c28f5c, 0xaaaad555aaaa8001,
463   0xcccce66699998000, 0xaaaad55555552aac,
464   0xcccce66666664ccd, 0xaaaad554ffffd557,
465   0xcccce6663333199a, 0xaaaad554aaaa8002,
466   0xcccce665ffffe667, 0xaaaaaad5aaaaaa81,
467   0xcccccce699999980, 0xaaaaaad55555552c,
468   0xcccccce66666664d, 0xaaaaaad4ffffffd7,
469   0xcccccce63333331a, 0xaaaaaad4aaaaaa82,
470   0xcccccce5ffffffe7, 0xaaaaaab5aaaaaaa1,
471   0xccccccd366666660, 0xaaaaaaac00000000,
472   0xaaaaaaabffffffff, 0x80000003fffffffb,
473   0xaaaaaaabaaaaaaaa, 0x800000037ffffffe,
474   0xaaaaaaab55555555, 0x0000000000000001,
475   0x0000000000000000, 0xffffffff80000004,
476   0xffffffffaaaaaaab, 0xffffffff00000007,
477   0xffffffff55555556, 0xfffffff000000061,
478   0xfffffff555555560, 0xffffffc180000178,
479   0xffffffd65555557f, 0xffffffc10000017b,
480   0xffffffd60000002a, 0xffffffc08000017e,
481   0xffffffd5aaaaaad5, 0xffffc00180017ff8,
482   0xffffd55655557fff, 0xffffc00100017ffb,
483   0xffffd55600002aaa, 0xffffc00080017ffe,
484   0xffffd555aaaad555, 0xe66666671999999a,
485   0xeeeeeeef11111111, 0xd555555680000000,
486   0xe38e38e3c71c71c7, 0xc0000002fffffff8,
487   0xd55555567fffffff, 0xc00000027ffffffb,
488   0xd55555562aaaaaaa, 0xc0000001fffffffe,
489   0xd5555555d5555555, 0xc000000180000001,
490   0xd555555580000000, 0xc000000100000004,
491   0xd55555552aaaaaab, 0xaaaaaaacffffffff,
492   0xc71c71c78e38e38e, 0x9999999c66666665,
493   0xbbbbbbbc44444444, 0x80004002fffe8001,
494   0xaaaad555aaaa8000, 0x800040027ffe8004,
495   0xaaaad55555552aab, 0x80004001fffe8007,
496   0xaaaad554ffffd556, 0x800040017ffe800a,
497   0xaaaad554aaaa8001, 0x80000042fffffe81,
498   0xaaaaaad5aaaaaa80, 0x800000427ffffe84,
499   0xaaaaaad55555552b, 0x80000041fffffe87,
500   0xaaaaaad4ffffffd6, 0x800000417ffffe8a,
501   0xaaaaaad4aaaaaa81, 0x80000012ffffffa1,
502   0xaaaaaab5aaaaaaa0, 0x800000047ffffff8,
503   0x800000047ffffff7, 0x80000002fffffffd,
504   0x80000003fffffffa, 0x800000027fffffff,
505   0x800000037ffffffd, 0x0000000000000001,
506   0x0000000000000000, 0xffffffff80000003,
507   0xffffffff80000003, 0xffffffff00000005,
508   0xffffffff00000006, 0xfffffff000000041,
509   0xfffffff000000060, 0xffffffc1800000fb,
510   0xffffffc180000177, 0xffffffc1000000fd,
511   0xffffffc10000017a, 0xffffffc0800000ff,
512   0xffffffc08000017d, 0xffffc0018000fffb,
513   0xffffc00180017ff7, 0xffffc0010000fffd,
514   0xffffc00100017ffa, 0xffffc0008000ffff,
515   0xffffc00080017ffd, 0xe6666666e6666667,
516   0xe666666719999999, 0xd55555562aaaaaab,
517   0xd55555567fffffff, 0xc00000027ffffffb,
518   0xc0000002fffffff7, 0xc0000001fffffffd,
519   0xc00000027ffffffa, 0xc00000017fffffff,
520   0xc0000001fffffffd, 0xc000000100000001,
521   0xc000000180000000, 0xc000000080000003,
522   0xc000000100000003, 0xaaaaaaac55555555,
523   0xaaaaaaacfffffffe, 0x9999999b99999999,
524   0x9999999c66666664, 0x80004001ffff0001,
525   0x80004002fffe8000, 0x800040017fff0003,
526   0x800040027ffe8003, 0x80004000ffff0005,
527   0x80004001fffe8006, 0x800040007fff0007,
528   0x800040017ffe8009, 0x80000041ffffff01,
529   0x80000042fffffe80, 0x800000417fffff03,
530   0x800000427ffffe83, 0x80000040ffffff05,
531   0x80000041fffffe86, 0x800000407fffff07,
532   0x800000417ffffe89, 0x80000011ffffffc1,
533   0x80000012ffffffa0, 0x800000037ffffffb,
534   0x800000037ffffffa, 0x80000001ffffffff,
535   0x80000002fffffffc, 0x8000000180000000,
536   0x800000027ffffffe, 0x0000000000000001,
537   0x0000000000000000, 0xffffffff80000002,
538   0xffffffff80000002, 0xffffffff00000003,
539   0xffffffff00000004, 0xfffffff000000021,
540   0xfffffff000000040, 0xffffffc18000007e,
541   0xffffffc1800000fa, 0xffffffc10000007f,
542   0xffffffc1000000fc, 0xffffffc080000080,
543   0xffffffc0800000fe, 0xffffc00180007ffe,
544   0xffffc0018000fffa, 0xffffc00100007fff,
545   0xffffc0010000fffc, 0xffffc00080008000,
546   0xffffc0008000fffe, 0xe6666666b3333334,
547   0xe6666666e6666666, 0xd5555555d5555556,
548   0xd55555562aaaaaaa, 0xc0000001fffffffe,
549   0xc00000027ffffffa, 0xc00000017fffffff,
550   0xc0000001fffffffc, 0xc000000100000000,
551   0xc00000017ffffffe, 0xc000000080000001,
552   0xc000000100000000, 0xc000000000000002,
553   0xc000000080000002, 0xaaaaaaabaaaaaaab,
554   0xaaaaaaac55555554, 0x9999999acccccccd,
555   0x9999999b99999998, 0x80004000ffff8001,
556   0x80004001ffff0000, 0x800040007fff8002,
557   0x800040017fff0002, 0x80003fffffff8003,
558   0x80004000ffff0004, 0x80003fff7fff8004,
559   0x800040007fff0006, 0x80000040ffffff81,
560   0x80000041ffffff00, 0x800000407fffff82,
561   0x800000417fffff02, 0x8000003fffffff83,
562   0x80000040ffffff04, 0x8000003f7fffff84,
563   0x800000407fffff06, 0x80000010ffffffe1,
564   0x80000011ffffffc0, 0x800000027ffffffe,
565   0x800000027ffffffd, 0x8000000100000001,
566   0x80000001fffffffe, 0x8000000080000001,
567   0x800000017fffffff, 0x0000000000000001,
568   0x0000000000000000, 0xffffffff80000001,
569   0xffffffff80000001, 0xffffffff00000001,
570   0xffffffff00000002, 0xfffffff000000001,
571   0xfffffff000000020, 0xffffffc180000001,
572   0xffffffc18000007d, 0xffffffc100000001,
573   0xffffffc10000007e, 0xffffffc080000001,
574   0xffffffc08000007f, 0xffffc00180000001,
575   0xffffc00180007ffd, 0xffffc00100000001,
576   0xffffc00100007ffe, 0xffffc00080000001,
577   0xffffc00080007fff, 0xe666666680000001,
578   0xe6666666b3333333, 0xd555555580000001,
579   0xd5555555d5555555, 0xc000000180000001,
580   0xc0000001fffffffd, 0xc000000100000001,
581   0xc00000017ffffffe, 0xc000000080000001,
582   0xc0000000ffffffff, 0xc000000000000001,
583   0xc000000080000000, 0xbfffffff80000001,
584   0xc000000000000001, 0xaaaaaaab00000001,
585   0xaaaaaaabaaaaaaaa, 0x9999999a00000001,
586   0x9999999acccccccc, 0x8000400000000001,
587   0x80004000ffff8000, 0x80003fff80000001,
588   0x800040007fff8001, 0x80003fff00000001,
589   0x80003fffffff8002, 0x80003ffe80000001,
590   0x80003fff7fff8003, 0x8000004000000001,
591   0x80000040ffffff80, 0x8000003f80000001,
592   0x800000407fffff81, 0x8000003f00000001,
593   0x8000003fffffff82, 0x8000003e80000001,
594   0x8000003f7fffff83, 0x8000001000000001,
595   0x80000010ffffffe0, 0x8000000180000001,
596   0x8000000180000000, 0x8000000000000003,
597   0x8000000100000000, 0x7fffffff80000002,
598   0x8000000080000000, 0x0000000000000001,
599   0x0000000000000000, 0xffffffff80000000,
600   0xffffffff80000000, 0xfffffffeffffffff,
601   0xffffffff00000000, 0xffffffefffffffe1,
602   0xfffffff000000000, 0xffffffc17fffff84,
603   0xffffffc180000000, 0xffffffc0ffffff83,
604   0xffffffc100000000, 0xffffffc07fffff82,
605   0xffffffc080000000, 0xffffc0017fff8004,
606   0xffffc00180000000, 0xffffc000ffff8003,
607   0xffffc00100000000, 0xffffc0007fff8002,
608   0xffffc00080000000, 0xe66666664cccccce,
609   0xe666666680000000, 0xd55555552aaaaaac,
610   0xd555555580000000, 0xc000000100000004,
611   0xc000000180000000, 0xc000000080000003,
612   0xc000000100000000, 0xc000000000000002,
613   0xc000000080000000, 0xbfffffff80000001,
614   0xc000000000000000, 0xbfffffff00000000,
615   0xbfffffff80000000, 0xaaaaaaaa55555557,
616   0xaaaaaaab00000000, 0x9999999933333335,
617   0x9999999a00000000, 0x80003fff00008001,
618   0x8000400000000000, 0x80003ffe80008000,
619   0x80003fff80000000, 0x80003ffe00007fff,
620   0x80003fff00000000, 0x80003ffd80007ffe,
621   0x80003ffe80000000, 0x8000003f00000081,
622   0x8000004000000000, 0x8000003e80000080,
623   0x8000003f80000000, 0x8000003e0000007f,
624   0x8000003f00000000, 0x8000003d8000007e,
625   0x8000003e80000000, 0x8000000f00000021,
626   0x8000001000000000, 0x8000000080000004,
627   0x8000000080000003, 0x5555555755555555,
628   0x8000000000000002, 0x55555556aaaaaaab,
629   0x7fffffff80000001, 0x0000000000000001,
630   0x0000000000000000, 0xffffffff55555557,
631   0xffffffff7fffffff, 0xfffffffeaaaaaaad,
632   0xfffffffefffffffe, 0xffffffeaaaaaaac1,
633   0xffffffefffffffe0, 0xffffffacaaaaaaff,
634   0xffffffc17fffff83, 0xffffffac00000055,
635   0xffffffc0ffffff82, 0xffffffab555555ab,
636   0xffffffc07fffff81, 0xffffaaacaaaaffff,
637   0xffffc0017fff8003, 0xffffaaac00005555,
638   0xffffc000ffff8002, 0xffffaaab5555aaab,
639   0xffffc0007fff8001, 0xddddddde22222223,
640   0xe66666664ccccccd, 0xc71c71c78e38e38f,
641   0xd55555552aaaaaab, 0xaaaaaaacffffffff,
642   0xc000000100000003, 0xaaaaaaac55555555,
643   0xc000000080000002, 0xaaaaaaabaaaaaaab,
644   0xc000000000000001, 0xaaaaaaab00000001,
645   0xbfffffff80000000, 0xaaaaaaaa55555557,
646   0xbffffffeffffffff, 0x8e38e38f1c71c71d,
647   0xaaaaaaaa55555556, 0x7777777888888889,
648   0x9999999933333334, 0x5555aaab55550001,
649   0x80003fff00008000, 0x5555aaaaaaaa5557,
650   0x80003ffe80007fff, 0x5555aaa9ffffaaad,
651   0x80003ffe00007ffe, 0x5555aaa955550003,
652   0x80003ffd80007ffd, 0x555555ab55555501,
653   0x8000003f00000080, 0x555555aaaaaaaa57,
654   0x8000003e8000007f, 0x555555a9ffffffad,
655   0x8000003e0000007e, 0x555555a955555503,
656   0x8000003d8000007d, 0x5555556b55555541,
657   0x8000000f00000020, 0x55555557ffffffff,
658   0x55555557fffffffe, 0x3333333599999999,
659   0x5555555755555554, 0x33333334cccccccd,
660   0x55555556aaaaaaaa, 0x0000000000000001,
661   0x0000000000000000, 0xffffffff33333335,
662   0xffffffff55555556, 0xfffffffe66666669,
663   0xfffffffeaaaaaaac, 0xffffffe666666681,
664   0xffffffeaaaaaaac0, 0xffffff9c00000065,
665   0xffffffacaaaaaafe, 0xffffff9b33333399,
666   0xffffffac00000054, 0xffffff9a666666cd,
667   0xffffffab555555aa, 0xffff999c00006665,
668   0xffffaaacaaaafffe, 0xffff999b33339999,
669   0xffffaaac00005554, 0xffff999a6666cccd,
670   0xffffaaab5555aaaa, 0xd70a3d70f5c28f5d,
671   0xddddddde22222222, 0xbbbbbbbc44444445,
672   0xc71c71c78e38e38e, 0x9999999c66666665,
673   0xaaaaaaacfffffffe, 0x9999999b99999999,
674   0xaaaaaaac55555554, 0x9999999acccccccd,
675   0xaaaaaaabaaaaaaaa, 0x9999999a00000001,
676   0xaaaaaaab00000000, 0x9999999933333335,
677   0xaaaaaaaa55555556, 0x7777777888888889,
678   0x8e38e38f1c71c71c, 0x5c28f5c3d70a3d71,
679   0x7777777888888888, 0x3333999a66660001,
680   0x5555aaab55550000, 0x3333999999993335,
681   0x5555aaaaaaaa5556, 0x33339998cccc6669,
682   0x5555aaa9ffffaaac, 0x33339997ffff999d,
683   0x5555aaa955550002, 0x3333339a66666601,
684   0x555555ab55555500, 0x3333339999999935,
685   0x555555aaaaaaaa56, 0x33333398cccccc69,
686   0x555555a9ffffffac, 0x33333397ffffff9d,
687   0x555555a955555502, 0x3333334d99999981,
688   0x5555556b55555540, 0x3333333666666665,
689   0x3333333666666664, 0x00008001ffff0001,
690   0x3333333599999998, 0x00008000ffff8001,
691   0x33333334cccccccc, 0x0000000000000001,
692   0x0000000000000000, 0xffffffff00008001,
693   0xffffffff33333334, 0xfffffffe00010001,
694   0xfffffffe66666668, 0xffffffe000100001,
695   0xffffffe666666680, 0xffffff83003e8001,
696   0xffffff9c00000064, 0xffffff82003f0001,
697   0xffffff9b33333398, 0xffffff81003f8001,
698   0xffffff9a666666cc, 0xffff80033ffe8001,
699   0xffff999c00006664, 0xffff80023fff0001,
700   0xffff999b33339998, 0xffff80013fff8001,
701   0xffff999a6666cccc, 0xcccce66699998001,
702   0xd70a3d70f5c28f5c, 0xaaaad555aaaa8001,
703   0xbbbbbbbc44444444, 0x80004002fffe8001,
704   0x9999999c66666664, 0x80004001ffff0001,
705   0x9999999b99999998, 0x80004000ffff8001,
706   0x9999999acccccccc, 0x8000400000000001,
707   0x9999999a00000000, 0x80003fff00008001,
708   0x9999999933333334, 0x5555aaab55550001,
709   0x7777777888888888, 0x3333999a66660001,
710   0x5c28f5c3d70a3d70, 0x0000ffffc0000001,
711   0x3333999a66660000, 0x0000fffec0008001,
712   0x3333999999993334, 0x0000fffdc0010001,
713   0x33339998cccc6668, 0x0000fffcc0018001,
714   0x33339997ffff999c, 0x0000807fffc00001,
715   0x3333339a66666600, 0x0000807effc08001,
716   0x3333339999999934, 0x0000807dffc10001,
717   0x33333398cccccc68, 0x0000807cffc18001,
718   0x33333397ffffff9c, 0x0000801ffff00001,
719   0x3333334d99999980, 0x00008002fffe8001,
720   0x00008002fffe8000, 0x00008000ffff0003,
721   0x00008001ffff0000, 0x00007fffffff8002,
722   0x00008000ffff8000, 0x0000000000000001,
723   0x0000000000000000, 0xffffffff00008000,
724   0xffffffff00008000, 0xfffffffe0000ffff,
725   0xfffffffe00010000, 0xffffffe0000fffe1,
726   0xffffffe000100000, 0xffffff83003e7f84,
727   0xffffff83003e8000, 0xffffff82003eff83,
728   0xffffff82003f0000, 0xffffff81003f7f82,
729   0xffffff81003f8000, 0xffff80033ffe0004,
730   0xffff80033ffe8000, 0xffff80023ffe8003,
731   0xffff80023fff0000, 0xffff80013fff0002,
732   0xffff80013fff8000, 0xcccce66666664cce,
733   0xcccce66699998000, 0xaaaad55555552aac,
734   0xaaaad555aaaa8000, 0x800040027ffe8004,
735   0x80004002fffe8000, 0x800040017fff0003,
736   0x80004001ffff0000, 0x800040007fff8002,
737   0x80004000ffff8000, 0x80003fff80000001,
738   0x8000400000000000, 0x80003ffe80008000,
739   0x80003fff00008000, 0x5555aaaaaaaa5557,
740   0x5555aaab55550000, 0x3333999999993335,
741   0x3333999a66660000, 0x0000fffec0008001,
742   0x0000ffffc0000000, 0x0000fffdc0010000,
743   0x0000fffec0008000, 0x0000fffcc0017fff,
744   0x0000fffdc0010000, 0x0000fffbc001fffe,
745   0x0000fffcc0018000, 0x0000807effc00081,
746   0x0000807fffc00000, 0x0000807dffc08080,
747   0x0000807effc08000, 0x0000807cffc1007f,
748   0x0000807dffc10000, 0x0000807bffc1807e,
749   0x0000807cffc18000, 0x0000801efff00021,
750   0x0000801ffff00000, 0x00008001fffe8004,
751   0x00008001fffe8003, 0x00007fffffff0005,
752   0x00008000ffff0002, 0x00007ffeffff8003,
753   0x00007fffffff8001, 0x0000000000000001,
754   0x0000000000000000, 0xffffffff00007fff,
755   0xffffffff00007fff, 0xfffffffe0000fffd,
756   0xfffffffe0000fffe, 0xffffffe0000fffc1,
757   0xffffffe0000fffe0, 0xffffff83003e7f07,
758   0xffffff83003e7f83, 0xffffff82003eff05,
759   0xffffff82003eff82, 0xffffff81003f7f03,
760   0xffffff81003f7f81, 0xffff80033ffd8007,
761   0xffff80033ffe0003, 0xffff80023ffe0005,
762   0xffff80023ffe8002, 0xffff80013ffe8003,
763   0xffff80013fff0001, 0xcccce6663333199b,
764   0xcccce66666664ccd, 0xaaaad554ffffd557,
765   0xaaaad55555552aab, 0x80004001fffe8007,
766   0x800040027ffe8003, 0x80004000ffff0005,
767   0x800040017fff0002, 0x80003fffffff8003,
768   0x800040007fff8001, 0x80003fff00000001,
769   0x80003fff80000000, 0x80003ffe00007fff,
770   0x80003ffe80007fff, 0x5555aaa9ffffaaad,
771   0x5555aaaaaaaa5556, 0x33339998cccc6669,
772   0x3333999999993334, 0x0000fffdc0010001,
773   0x0000fffec0008000, 0x0000fffcc0017fff,
774   0x0000fffdc000ffff, 0x0000fffbc001fffd,
775   0x0000fffcc0017ffe, 0x0000fffac0027ffb,
776   0x0000fffbc001fffd, 0x0000807dffc00101,
777   0x0000807effc00080, 0x0000807cffc080ff,
778   0x0000807dffc0807f, 0x0000807bffc100fd,
779   0x0000807cffc1007e, 0x0000807affc180fb,
780   0x0000807bffc1807d, 0x0000801dfff00041,
781   0x0000801efff00020, 0x00008000fffe8007,
782   0x00008000fffe8006, 0x00007ffeffff0007,
783   0x00007fffffff0004, 0x00007ffdffff8004,
784   0x00007ffeffff8002, 0x0000000000000001,
785   0x0000000000000000, 0xffffffff00007ffe,
786   0xffffffff00007ffe, 0xfffffffe0000fffb,
787   0xfffffffe0000fffc, 0xffffffe0000fffa1,
788   0xffffffe0000fffc0, 0xffffff83003e7e8a,
789   0xffffff83003e7f06, 0xffffff82003efe87,
790   0xffffff82003eff04, 0xffffff81003f7e84,
791   0xffffff81003f7f02, 0xffff80033ffd000a,
792   0xffff80033ffd8006, 0xffff80023ffd8007,
793   0xffff80023ffe0004, 0xffff80013ffe0004,
794   0xffff80013ffe8002, 0xcccce665ffffe668,
795   0xcccce6663333199a, 0xaaaad554aaaa8002,
796   0xaaaad554ffffd556, 0x800040017ffe800a,
797   0x80004001fffe8006, 0x800040007fff0007,
798   0x80004000ffff0004, 0x80003fff7fff8004,
799   0x80003fffffff8002, 0x80003ffe80000001,
800   0x80003fff00000000, 0x80003ffd80007ffe,
801   0x80003ffe00007ffe, 0x5555aaa955550003,
802   0x5555aaa9ffffaaac, 0x33339997ffff999d,
803   0x33339998cccc6668, 0x0000fffcc0018001,
804   0x0000fffdc0010000, 0x0000fffbc001fffe,
805   0x0000fffcc0017ffe, 0x0000fffac0027ffb,
806   0x0000fffbc001fffc, 0x0000fff9c002fff8,
807   0x0000fffac0027ffa, 0x0000807cffc00181,
808   0x0000807dffc00100, 0x0000807bffc0817e,
809   0x0000807cffc080fe, 0x0000807affc1017b,
810   0x0000807bffc100fc, 0x00008079ffc18178,
811   0x0000807affc180fa, 0x0000801cfff00061,
812   0x0000801dfff00040, 0x00007ffffffe800a,
813   0x00007ffffffe8009, 0x00000081ffffff01,
814   0x00007ffeffff0006, 0x00000080ffffff81,
815   0x00007ffdffff8003, 0x0000000000000001,
816   0x0000000000000000, 0xffffffff00000081,
817   0xffffffff00007ffd, 0xfffffffe00000101,
818   0xfffffffe0000fffa, 0xffffffe000001001,
819   0xffffffe0000fffa0, 0xffffff8300003e81,
820   0xffffff83003e7e89, 0xffffff8200003f01,
821   0xffffff82003efe86, 0xffffff8100003f81,
822   0xffffff81003f7e83, 0xffff8003003ffe81,
823   0xffff80033ffd0009, 0xffff8002003fff01,
824   0xffff80023ffd8006, 0xffff8001003fff81,
825   0xffff80013ffe0003, 0xcccccce699999981,
826   0xcccce665ffffe667, 0xaaaaaad5aaaaaa81,
827   0xaaaad554aaaa8001, 0x80000042fffffe81,
828   0x800040017ffe8009, 0x80000041ffffff01,
829   0x800040007fff0006, 0x80000040ffffff81,
830   0x80003fff7fff8003, 0x8000004000000001,
831   0x80003ffe80000000, 0x8000003f00000081,
832   0x80003ffd80007ffd, 0x555555ab55555501,
833   0x5555aaa955550002, 0x3333339a66666601,
834   0x33339997ffff999c, 0x0000807fffc00001,
835   0x0000fffcc0018000, 0x0000807effc00081,
836   0x0000fffbc001fffd, 0x0000807dffc00101,
837   0x0000fffac0027ffa, 0x0000807cffc00181,
838   0x0000fff9c002fff7, 0x000000ffffffc001,
839   0x0000807cffc00180, 0x000000feffffc081,
840   0x0000807bffc0817d, 0x000000fdffffc101,
841   0x0000807affc1017a, 0x000000fcffffc181,
842   0x00008079ffc18177, 0x0000009ffffff001,
843   0x0000801cfff00060, 0x00000082fffffe81,
844   0x00000082fffffe80, 0x00000080ffffff03,
845   0x00000081ffffff00, 0x0000007fffffff82,
846   0x00000080ffffff80, 0x0000000000000001,
847   0x0000000000000000, 0xffffffff00000080,
848   0xffffffff00000080, 0xfffffffe000000ff,
849   0xfffffffe00000100, 0xffffffe000000fe1,
850   0xffffffe000001000, 0xffffff8300003e04,
851   0xffffff8300003e80, 0xffffff8200003e83,
852   0xffffff8200003f00, 0xffffff8100003f02,
853   0xffffff8100003f80, 0xffff8003003f7e84,
854   0xffff8003003ffe80, 0xffff8002003f7f03,
855   0xffff8002003fff00, 0xffff8001003f7f82,
856   0xffff8001003fff80, 0xcccccce66666664e,
857   0xcccccce699999980, 0xaaaaaad55555552c,
858   0xaaaaaad5aaaaaa80, 0x800000427ffffe84,
859   0x80000042fffffe80, 0x800000417fffff03,
860   0x80000041ffffff00, 0x800000407fffff82,
861   0x80000040ffffff80, 0x8000003f80000001,
862   0x8000004000000000, 0x8000003e80000080,
863   0x8000003f00000080, 0x555555aaaaaaaa57,
864   0x555555ab55555500, 0x3333339999999935,
865   0x3333339a66666600, 0x0000807effc08001,
866   0x0000807fffc00000, 0x0000807dffc08080,
867   0x0000807effc00080, 0x0000807cffc080ff,
868   0x0000807dffc00100, 0x0000807bffc0817e,
869   0x0000807cffc00180, 0x000000feffffc081,
870   0x000000ffffffc000, 0x000000fdffffc100,
871   0x000000feffffc080, 0x000000fcffffc17f,
872   0x000000fdffffc100, 0x000000fbffffc1fe,
873   0x000000fcffffc180, 0x0000009efffff021,
874   0x0000009ffffff000, 0x00000081fffffe84,
875   0x00000081fffffe83, 0x0000007fffffff05,
876   0x00000080ffffff02, 0x0000007effffff83,
877   0x0000007fffffff81, 0x0000000000000001,
878   0x0000000000000000, 0xffffffff0000007f,
879   0xffffffff0000007f, 0xfffffffe000000fd,
880   0xfffffffe000000fe, 0xffffffe000000fc1,
881   0xffffffe000000fe0, 0xffffff8300003d87,
882   0xffffff8300003e03, 0xffffff8200003e05,
883   0xffffff8200003e82, 0xffffff8100003e83,
884   0xffffff8100003f01, 0xffff8003003efe87,
885   0xffff8003003f7e83, 0xffff8002003eff05,
886   0xffff8002003f7f02, 0xffff8001003eff83,
887   0xffff8001003f7f81, 0xcccccce63333331b,
888   0xcccccce66666664d, 0xaaaaaad4ffffffd7,
889   0xaaaaaad55555552b, 0x80000041fffffe87,
890   0x800000427ffffe83, 0x80000040ffffff05,
891   0x800000417fffff02, 0x8000003fffffff83,
892   0x800000407fffff81, 0x8000003f00000001,
893   0x8000003f80000000, 0x8000003e0000007f,
894   0x8000003e8000007f, 0x555555a9ffffffad,
895   0x555555aaaaaaaa56, 0x33333398cccccc69,
896   0x3333339999999934, 0x0000807dffc10001,
897   0x0000807effc08000, 0x0000807cffc1007f,
898   0x0000807dffc0807f, 0x0000807bffc100fd,
899   0x0000807cffc080fe, 0x0000807affc1017b,
900   0x0000807bffc0817d, 0x000000fdffffc101,
901   0x000000feffffc080, 0x000000fcffffc17f,
902   0x000000fdffffc0ff, 0x000000fbffffc1fd,
903   0x000000fcffffc17e, 0x000000faffffc27b,
904   0x000000fbffffc1fd, 0x0000009dfffff041,
905   0x0000009efffff020, 0x00000080fffffe87,
906   0x00000080fffffe86, 0x0000007effffff07,
907   0x0000007fffffff04, 0x0000007dffffff84,
908   0x0000007effffff82, 0x0000000000000001,
909   0x0000000000000000, 0xffffffff0000007e,
910   0xffffffff0000007e, 0xfffffffe000000fb,
911   0xfffffffe000000fc, 0xffffffe000000fa1,
912   0xffffffe000000fc0, 0xffffff8300003d0a,
913   0xffffff8300003d86, 0xffffff8200003d87,
914   0xffffff8200003e04, 0xffffff8100003e04,
915   0xffffff8100003e82, 0xffff8003003e7e8a,
916   0xffff8003003efe86, 0xffff8002003e7f07,
917   0xffff8002003eff04, 0xffff8001003e7f84,
918   0xffff8001003eff82, 0xcccccce5ffffffe8,
919   0xcccccce63333331a, 0xaaaaaad4aaaaaa82,
920   0xaaaaaad4ffffffd6, 0x800000417ffffe8a,
921   0x80000041fffffe86, 0x800000407fffff07,
922   0x80000040ffffff04, 0x8000003f7fffff84,
923   0x8000003fffffff82, 0x8000003e80000001,
924   0x8000003f00000000, 0x8000003d8000007e,
925   0x8000003e0000007e, 0x555555a955555503,
926   0x555555a9ffffffac, 0x33333397ffffff9d,
927   0x33333398cccccc68, 0x0000807cffc18001,
928   0x0000807dffc10000, 0x0000807bffc1807e,
929   0x0000807cffc1007e, 0x0000807affc180fb,
930   0x0000807bffc100fc, 0x00008079ffc18178,
931   0x0000807affc1017a, 0x000000fcffffc181,
932   0x000000fdffffc100, 0x000000fbffffc1fe,
933   0x000000fcffffc17e, 0x000000faffffc27b,
934   0x000000fbffffc1fc, 0x000000f9ffffc2f8,
935   0x000000faffffc27a, 0x0000009cfffff061,
936   0x0000009dfffff040, 0x0000007ffffffe8a,
937   0x0000007ffffffe89, 0x00000021ffffffc1,
938   0x0000007effffff06, 0x00000020ffffffe1,
939   0x0000007dffffff83, 0x0000000000000001,
940   0x0000000000000000, 0xffffffff00000021,
941   0xffffffff0000007d, 0xfffffffe00000041,
942   0xfffffffe000000fa, 0xffffffe000000401,
943   0xffffffe000000fa0, 0xffffff8300000fa1,
944   0xffffff8300003d09, 0xffffff8200000fc1,
945   0xffffff8200003d86, 0xffffff8100000fe1,
946   0xffffff8100003e03, 0xffff8003000fffa1,
947   0xffff8003003e7e89, 0xffff8002000fffc1,
948   0xffff8002003e7f06, 0xffff8001000fffe1,
949   0xffff8001003e7f83, 0xccccccd366666661,
950   0xcccccce5ffffffe7, 0xaaaaaab5aaaaaaa1,
951   0xaaaaaad4aaaaaa81, 0x80000012ffffffa1,
952   0x800000417ffffe89, 0x80000011ffffffc1,
953   0x800000407fffff06, 0x80000010ffffffe1,
954   0x8000003f7fffff83, 0x8000001000000001,
955   0x8000003e80000000, 0x8000000f00000021,
956   0x8000003d8000007d, 0x5555556b55555541,
957   0x555555a955555502, 0x3333334d99999981,
958   0x33333397ffffff9c, 0x0000801ffff00001,
959   0x0000807cffc18000, 0x0000801efff00021,
960   0x0000807bffc1807d, 0x0000801dfff00041,
961   0x0000807affc180fa, 0x0000801cfff00061,
962   0x00008079ffc18177, 0x0000009ffffff001,
963   0x000000fcffffc180, 0x0000009efffff021,
964   0x000000fbffffc1fd, 0x0000009dfffff041,
965   0x000000faffffc27a, 0x0000009cfffff061,
966   0x000000f9ffffc2f7, 0x0000003ffffffc01,
967   0x0000009cfffff060, 0x00000022ffffffa1,
968   0x00000022ffffffa0, 0x00000004fffffffb,
969   0x00000021ffffffc0, 0x00000003fffffffe,
970   0x00000020ffffffe0, 0x0000000000000001,
971   0x0000000000000000, 0xffffffff00000004,
972   0xffffffff00000020, 0xfffffffe00000007,
973   0xfffffffe00000040, 0xffffffe000000061,
974   0xffffffe000000400, 0xffffff8300000178,
975   0xffffff8300000fa0, 0xffffff820000017b,
976   0xffffff8200000fc0, 0xffffff810000017e,
977   0xffffff8100000fe0, 0xffff800300017ff8,
978   0xffff8003000fffa0, 0xffff800200017ffb,
979   0xffff8002000fffc0, 0xffff800100017ffe,
980   0xffff8001000fffe0, 0xcccccccd9999999a,
981   0xccccccd366666660, 0xaaaaaaac00000000,
982   0xaaaaaab5aaaaaaa0, 0x800000047ffffff8,
983   0x80000012ffffffa0, 0x800000037ffffffb,
984   0x80000011ffffffc0, 0x800000027ffffffe,
985   0x80000010ffffffe0, 0x8000000180000001,
986   0x8000001000000000, 0x8000000080000004,
987   0x8000000f00000020, 0x55555557ffffffff,
988   0x5555556b55555540, 0x3333333666666665,
989   0x3333334d99999980, 0x00008002fffe8001,
990   0x0000801ffff00000, 0x00008001fffe8004,
991   0x0000801efff00020, 0x00008000fffe8007,
992   0x0000801dfff00040, 0x00007ffffffe800a,
993   0x0000801cfff00060, 0x00000082fffffe81,
994   0x0000009ffffff000, 0x00000081fffffe84,
995   0x0000009efffff020, 0x00000080fffffe87,
996   0x0000009dfffff040, 0x0000007ffffffe8a,
997   0x0000009cfffff060, 0x00000022ffffffa1,
998   0x0000003ffffffc00, 0x00000005fffffff8,
999 };
1000 const unsigned kExpectedCount_NEON_umlsl_2D = 961;
1001 
1002 #endif  // VIXL_SIM_UMLSL_2D_TRACE_AARCH64_H_
1003