• 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_UMULL_2D_TRACE_AARCH64_H_
35 #define VIXL_SIM_UMULL_2D_TRACE_AARCH64_H_
36 
37 const uint64_t kExpected_NEON_umull_2D[] = {
38   0x000000003e040000, 0x000000003f010000,
39   0x000000003e820000, 0x0000003f7e830000,
40   0x0000003efe860000, 0x0000000000000000,
41   0x0000000000000000, 0x0000000000007f00,
42   0x0000000000007e00, 0x000000000000fe00,
43   0x000000000000fc00, 0x00000000000fe000,
44   0x00000000000fc000, 0x00000000003e0300,
45   0x00000000003d8600, 0x00000000003e8200,
46   0x00000000003e0400, 0x00000000003f0100,
47   0x00000000003e8200, 0x000000003f7e8300,
48   0x000000003efe8600, 0x000000003f7f0200,
49   0x000000003eff0400, 0x000000003f7f8100,
50   0x000000003eff8200, 0x0000196666664d00,
51   0x0000193333331a00, 0x00002a5555552b00,
52   0x000029ffffffd600, 0x00003f7ffffe8300,
53   0x00003efffffe8600, 0x00003f7fffff0200,
54   0x00003effffff0400, 0x00003f7fffff8100,
55   0x00003effffff8200, 0x00003f8000000000,
56   0x00003f0000000000, 0x00003f8000007f00,
57   0x00003f0000007e00, 0x000054aaaaaa5600,
58   0x000053ffffffac00, 0x0000659999993400,
59   0x000064cccccc6800, 0x00007effc0800000,
60   0x00007dffc1000000, 0x00007effc0807f00,
61   0x00007dffc1007e00, 0x00007effc080fe00,
62   0x00007dffc100fc00, 0x00007effc0817d00,
63   0x00007dffc1017a00, 0x00007effffc08000,
64   0x00007dffffc10000, 0x00007effffc0ff00,
65   0x00007dffffc17e00, 0x00007effffc17e00,
66   0x00007dffffc1fc00, 0x00007effffc1fd00,
67   0x00007dffffc27a00, 0x00007efffff02000,
68   0x00007dfffff04000, 0x00007efffffe8300,
69   0x00007efffffe8300, 0x007ffcffff000600,
70   0x00007effffff0200, 0x007ffcffff800300,
71   0x00007effffff8100, 0x0000000000000000,
72   0x0000000000000000, 0x00000000007ffd00,
73   0x0000000000007f00, 0x0000000000fffa00,
74   0x000000000000fe00, 0x000000000fffa000,
75   0x00000000000fe000, 0x000000003e7e8900,
76   0x00000000003e0300, 0x000000003efe8600,
77   0x00000000003e8200, 0x000000003f7e8300,
78   0x00000000003f0100, 0x0000003ffd000900,
79   0x000000003f7e8300, 0x0000003ffd800600,
80   0x000000003f7f0200, 0x0000003ffe000300,
81   0x000000003f7f8100, 0x001998ffffe66700,
82   0x0000196666664d00, 0x002aa9aaaa800100,
83   0x00002a5555552b00, 0x003ffe7ffe800900,
84   0x00003f7ffffe8300, 0x003ffe7fff000600,
85   0x00003f7fffff0200, 0x003ffe7fff800300,
86   0x00003f7fffff8100, 0x003ffe8000000000,
87   0x00003f8000000000, 0x003ffe80007ffd00,
88   0x00003f8000007f00, 0x0055535555000200,
89   0x000054aaaaaa5600, 0x006663ffff999c00,
90   0x0000659999993400, 0x007ffcc001800000,
91   0x00007effc0800000, 0x007ffcc001fffd00,
92   0x00007effc0807f00, 0x007ffcc0027ffa00,
93   0x00007effc080fe00, 0x007ffcc002fff700,
94   0x00007effc0817d00, 0x007ffcffc0018000,
95   0x00007effffc08000, 0x007ffcffc0817d00,
96   0x00007effffc0ff00, 0x007ffcffc1017a00,
97   0x00007effffc17e00, 0x007ffcffc1817700,
98   0x00007effffc1fd00, 0x007ffcfff0006000,
99   0x00007efffff02000, 0x007ffcfffe800900,
100   0x007ffcfffe800900, 0x0000000000000000,
101   0x007ffcffff000600, 0x0000000000000000,
102   0x007ffcffff800300, 0x0000000000000000,
103   0x0000000000000000, 0x0000000000000000,
104   0x00000000007ffd00, 0x0000000000000000,
105   0x0000000000fffa00, 0x0000000000000000,
106   0x000000000fffa000, 0x0000000000000000,
107   0x000000003e7e8900, 0x0000000000000000,
108   0x000000003efe8600, 0x0000000000000000,
109   0x000000003f7e8300, 0x0000000000000000,
110   0x0000003ffd000900, 0x0000000000000000,
111   0x0000003ffd800600, 0x0000000000000000,
112   0x0000003ffe000300, 0x0000000000000000,
113   0x001998ffffe66700, 0x0000000000000000,
114   0x002aa9aaaa800100, 0x0000000000000000,
115   0x003ffe7ffe800900, 0x0000000000000000,
116   0x003ffe7fff000600, 0x0000000000000000,
117   0x003ffe7fff800300, 0x0000000000000000,
118   0x003ffe8000000000, 0x0000000000000000,
119   0x003ffe80007ffd00, 0x0000000000000000,
120   0x0055535555000200, 0x0000000000000000,
121   0x006663ffff999c00, 0x0000000000000000,
122   0x007ffcc001800000, 0x0000000000000000,
123   0x007ffcc001fffd00, 0x0000000000000000,
124   0x007ffcc0027ffa00, 0x0000000000000000,
125   0x007ffcc002fff700, 0x0000000000000000,
126   0x007ffcffc0018000, 0x0000000000000000,
127   0x007ffcffc0817d00, 0x0000000000000000,
128   0x007ffcffc1017a00, 0x0000000000000000,
129   0x007ffcffc1817700, 0x0000000000000000,
130   0x007ffcfff0006000, 0x0000000000000000,
131   0x0000000000000000, 0x00000000fffffffe,
132   0x0000000000000000, 0x00000000ffffffff,
133   0x0000000000000000, 0x0000000000000000,
134   0x0000000000000000, 0x0000000000000001,
135   0x0000000000000000, 0x0000000000000002,
136   0x0000000000000000, 0x0000000000000020,
137   0x0000000000000000, 0x000000000000007d,
138   0x0000000000000000, 0x000000000000007e,
139   0x0000000000000000, 0x000000000000007f,
140   0x0000000000000000, 0x0000000000007ffd,
141   0x0000000000000000, 0x0000000000007ffe,
142   0x0000000000000000, 0x0000000000007fff,
143   0x0000000000000000, 0x0000000033333333,
144   0x0000000000000000, 0x0000000055555555,
145   0x0000000000000000, 0x000000007ffffffd,
146   0x0000000000000000, 0x000000007ffffffe,
147   0x0000000000000000, 0x000000007fffffff,
148   0x0000000000000000, 0x0000000080000000,
149   0x0000000000000000, 0x0000000080000001,
150   0x0000000000000000, 0x00000000aaaaaaaa,
151   0x0000000000000000, 0x00000000cccccccc,
152   0x0000000000000000, 0x00000000ffff8000,
153   0x0000000000000000, 0x00000000ffff8001,
154   0x0000000000000000, 0x00000000ffff8002,
155   0x0000000000000000, 0x00000000ffff8003,
156   0x0000000000000000, 0x00000000ffffff80,
157   0x0000000000000000, 0x00000000ffffff81,
158   0x0000000000000000, 0x00000000ffffff82,
159   0x0000000000000000, 0x00000000ffffff83,
160   0x0000000000000000, 0x00000000ffffffe0,
161   0x0000000000000000, 0x00000000fffffffd,
162   0x00000000fffffffd, 0x00000001fffffffc,
163   0x00000000fffffffe, 0x00000001fffffffe,
164   0x00000000ffffffff, 0x0000000000000000,
165   0x0000000000000000, 0x0000000000000002,
166   0x0000000000000001, 0x0000000000000004,
167   0x0000000000000002, 0x0000000000000040,
168   0x0000000000000020, 0x00000000000000fa,
169   0x000000000000007d, 0x00000000000000fc,
170   0x000000000000007e, 0x00000000000000fe,
171   0x000000000000007f, 0x000000000000fffa,
172   0x0000000000007ffd, 0x000000000000fffc,
173   0x0000000000007ffe, 0x000000000000fffe,
174   0x0000000000007fff, 0x0000000066666666,
175   0x0000000033333333, 0x00000000aaaaaaaa,
176   0x0000000055555555, 0x00000000fffffffa,
177   0x000000007ffffffd, 0x00000000fffffffc,
178   0x000000007ffffffe, 0x00000000fffffffe,
179   0x000000007fffffff, 0x0000000100000000,
180   0x0000000080000000, 0x0000000100000002,
181   0x0000000080000001, 0x0000000155555554,
182   0x00000000aaaaaaaa, 0x0000000199999998,
183   0x00000000cccccccc, 0x00000001ffff0000,
184   0x00000000ffff8000, 0x00000001ffff0002,
185   0x00000000ffff8001, 0x00000001ffff0004,
186   0x00000000ffff8002, 0x00000001ffff0006,
187   0x00000000ffff8003, 0x00000001ffffff00,
188   0x00000000ffffff80, 0x00000001ffffff02,
189   0x00000000ffffff81, 0x00000001ffffff04,
190   0x00000000ffffff82, 0x00000001ffffff06,
191   0x00000000ffffff83, 0x00000001ffffffc0,
192   0x00000000ffffffe0, 0x00000001fffffffa,
193   0x00000001fffffffa, 0x0000001fffffffc0,
194   0x00000001fffffffc, 0x0000001fffffffe0,
195   0x00000001fffffffe, 0x0000000000000000,
196   0x0000000000000000, 0x0000000000000020,
197   0x0000000000000002, 0x0000000000000040,
198   0x0000000000000004, 0x0000000000000400,
199   0x0000000000000040, 0x0000000000000fa0,
200   0x00000000000000fa, 0x0000000000000fc0,
201   0x00000000000000fc, 0x0000000000000fe0,
202   0x00000000000000fe, 0x00000000000fffa0,
203   0x000000000000fffa, 0x00000000000fffc0,
204   0x000000000000fffc, 0x00000000000fffe0,
205   0x000000000000fffe, 0x0000000666666660,
206   0x0000000066666666, 0x0000000aaaaaaaa0,
207   0x00000000aaaaaaaa, 0x0000000fffffffa0,
208   0x00000000fffffffa, 0x0000000fffffffc0,
209   0x00000000fffffffc, 0x0000000fffffffe0,
210   0x00000000fffffffe, 0x0000001000000000,
211   0x0000000100000000, 0x0000001000000020,
212   0x0000000100000002, 0x0000001555555540,
213   0x0000000155555554, 0x0000001999999980,
214   0x0000000199999998, 0x0000001ffff00000,
215   0x00000001ffff0000, 0x0000001ffff00020,
216   0x00000001ffff0002, 0x0000001ffff00040,
217   0x00000001ffff0004, 0x0000001ffff00060,
218   0x00000001ffff0006, 0x0000001ffffff000,
219   0x00000001ffffff00, 0x0000001ffffff020,
220   0x00000001ffffff02, 0x0000001ffffff040,
221   0x00000001ffffff04, 0x0000001ffffff060,
222   0x00000001ffffff06, 0x0000001ffffffc00,
223   0x00000001ffffffc0, 0x0000001fffffffa0,
224   0x0000001fffffffa0, 0x0000007cffffff06,
225   0x0000001fffffffc0, 0x0000007cffffff83,
226   0x0000001fffffffe0, 0x0000000000000000,
227   0x0000000000000000, 0x000000000000007d,
228   0x0000000000000020, 0x00000000000000fa,
229   0x0000000000000040, 0x0000000000000fa0,
230   0x0000000000000400, 0x0000000000003d09,
231   0x0000000000000fa0, 0x0000000000003d86,
232   0x0000000000000fc0, 0x0000000000003e03,
233   0x0000000000000fe0, 0x00000000003e7e89,
234   0x00000000000fffa0, 0x00000000003e7f06,
235   0x00000000000fffc0, 0x00000000003e7f83,
236   0x00000000000fffe0, 0x00000018ffffffe7,
237   0x0000000666666660, 0x00000029aaaaaa81,
238   0x0000000aaaaaaaa0, 0x0000003e7ffffe89,
239   0x0000000fffffffa0, 0x0000003e7fffff06,
240   0x0000000fffffffc0, 0x0000003e7fffff83,
241   0x0000000fffffffe0, 0x0000003e80000000,
242   0x0000001000000000, 0x0000003e8000007d,
243   0x0000001000000020, 0x0000005355555502,
244   0x0000001555555540, 0x00000063ffffff9c,
245   0x0000001999999980, 0x0000007cffc18000,
246   0x0000001ffff00000, 0x0000007cffc1807d,
247   0x0000001ffff00020, 0x0000007cffc180fa,
248   0x0000001ffff00040, 0x0000007cffc18177,
249   0x0000001ffff00060, 0x0000007cffffc180,
250   0x0000001ffffff000, 0x0000007cffffc1fd,
251   0x0000001ffffff020, 0x0000007cffffc27a,
252   0x0000001ffffff040, 0x0000007cffffc2f7,
253   0x0000001ffffff060, 0x0000007cfffff060,
254   0x0000001ffffffc00, 0x0000007cfffffe89,
255   0x0000007cfffffe89, 0x0000007dffffff04,
256   0x0000007cffffff06, 0x0000007dffffff82,
257   0x0000007cffffff83, 0x0000000000000000,
258   0x0000000000000000, 0x000000000000007e,
259   0x000000000000007d, 0x00000000000000fc,
260   0x00000000000000fa, 0x0000000000000fc0,
261   0x0000000000000fa0, 0x0000000000003d86,
262   0x0000000000003d09, 0x0000000000003e04,
263   0x0000000000003d86, 0x0000000000003e82,
264   0x0000000000003e03, 0x00000000003efe86,
265   0x00000000003e7e89, 0x00000000003eff04,
266   0x00000000003e7f06, 0x00000000003eff82,
267   0x00000000003e7f83, 0x000000193333331a,
268   0x00000018ffffffe7, 0x00000029ffffffd6,
269   0x00000029aaaaaa81, 0x0000003efffffe86,
270   0x0000003e7ffffe89, 0x0000003effffff04,
271   0x0000003e7fffff06, 0x0000003effffff82,
272   0x0000003e7fffff83, 0x0000003f00000000,
273   0x0000003e80000000, 0x0000003f0000007e,
274   0x0000003e8000007d, 0x00000053ffffffac,
275   0x0000005355555502, 0x00000064cccccc68,
276   0x00000063ffffff9c, 0x0000007dffc10000,
277   0x0000007cffc18000, 0x0000007dffc1007e,
278   0x0000007cffc1807d, 0x0000007dffc100fc,
279   0x0000007cffc180fa, 0x0000007dffc1017a,
280   0x0000007cffc18177, 0x0000007dffffc100,
281   0x0000007cffffc180, 0x0000007dffffc17e,
282   0x0000007cffffc1fd, 0x0000007dffffc1fc,
283   0x0000007cffffc27a, 0x0000007dffffc27a,
284   0x0000007cffffc2f7, 0x0000007dfffff040,
285   0x0000007cfffff060, 0x0000007dfffffe86,
286   0x0000007dfffffe86, 0x0000007effffff02,
287   0x0000007dffffff04, 0x0000007effffff81,
288   0x0000007dffffff82, 0x0000000000000000,
289   0x0000000000000000, 0x000000000000007f,
290   0x000000000000007e, 0x00000000000000fe,
291   0x00000000000000fc, 0x0000000000000fe0,
292   0x0000000000000fc0, 0x0000000000003e03,
293   0x0000000000003d86, 0x0000000000003e82,
294   0x0000000000003e04, 0x0000000000003f01,
295   0x0000000000003e82, 0x00000000003f7e83,
296   0x00000000003efe86, 0x00000000003f7f02,
297   0x00000000003eff04, 0x00000000003f7f81,
298   0x00000000003eff82, 0x000000196666664d,
299   0x000000193333331a, 0x0000002a5555552b,
300   0x00000029ffffffd6, 0x0000003f7ffffe83,
301   0x0000003efffffe86, 0x0000003f7fffff02,
302   0x0000003effffff04, 0x0000003f7fffff81,
303   0x0000003effffff82, 0x0000003f80000000,
304   0x0000003f00000000, 0x0000003f8000007f,
305   0x0000003f0000007e, 0x00000054aaaaaa56,
306   0x00000053ffffffac, 0x0000006599999934,
307   0x00000064cccccc68, 0x0000007effc08000,
308   0x0000007dffc10000, 0x0000007effc0807f,
309   0x0000007dffc1007e, 0x0000007effc080fe,
310   0x0000007dffc100fc, 0x0000007effc0817d,
311   0x0000007dffc1017a, 0x0000007effffc080,
312   0x0000007dffffc100, 0x0000007effffc0ff,
313   0x0000007dffffc17e, 0x0000007effffc17e,
314   0x0000007dffffc1fc, 0x0000007effffc1fd,
315   0x0000007dffffc27a, 0x0000007efffff020,
316   0x0000007dfffff040, 0x0000007efffffe83,
317   0x0000007efffffe83, 0x00007ffcffff0006,
318   0x0000007effffff02, 0x00007ffcffff8003,
319   0x0000007effffff81, 0x0000000000000000,
320   0x0000000000000000, 0x0000000000007ffd,
321   0x000000000000007f, 0x000000000000fffa,
322   0x00000000000000fe, 0x00000000000fffa0,
323   0x0000000000000fe0, 0x00000000003e7e89,
324   0x0000000000003e03, 0x00000000003efe86,
325   0x0000000000003e82, 0x00000000003f7e83,
326   0x0000000000003f01, 0x000000003ffd0009,
327   0x00000000003f7e83, 0x000000003ffd8006,
328   0x00000000003f7f02, 0x000000003ffe0003,
329   0x00000000003f7f81, 0x00001998ffffe667,
330   0x000000196666664d, 0x00002aa9aaaa8001,
331   0x0000002a5555552b, 0x00003ffe7ffe8009,
332   0x0000003f7ffffe83, 0x00003ffe7fff0006,
333   0x0000003f7fffff02, 0x00003ffe7fff8003,
334   0x0000003f7fffff81, 0x00003ffe80000000,
335   0x0000003f80000000, 0x00003ffe80007ffd,
336   0x0000003f8000007f, 0x0000555355550002,
337   0x00000054aaaaaa56, 0x00006663ffff999c,
338   0x0000006599999934, 0x00007ffcc0018000,
339   0x0000007effc08000, 0x00007ffcc001fffd,
340   0x0000007effc0807f, 0x00007ffcc0027ffa,
341   0x0000007effc080fe, 0x00007ffcc002fff7,
342   0x0000007effc0817d, 0x00007ffcffc00180,
343   0x0000007effffc080, 0x00007ffcffc0817d,
344   0x0000007effffc0ff, 0x00007ffcffc1017a,
345   0x0000007effffc17e, 0x00007ffcffc18177,
346   0x0000007effffc1fd, 0x00007ffcfff00060,
347   0x0000007efffff020, 0x00007ffcfffe8009,
348   0x00007ffcfffe8009, 0x00007ffdffff0004,
349   0x00007ffcffff0006, 0x00007ffdffff8002,
350   0x00007ffcffff8003, 0x0000000000000000,
351   0x0000000000000000, 0x0000000000007ffe,
352   0x0000000000007ffd, 0x000000000000fffc,
353   0x000000000000fffa, 0x00000000000fffc0,
354   0x00000000000fffa0, 0x00000000003e7f06,
355   0x00000000003e7e89, 0x00000000003eff04,
356   0x00000000003efe86, 0x00000000003f7f02,
357   0x00000000003f7e83, 0x000000003ffd8006,
358   0x000000003ffd0009, 0x000000003ffe0004,
359   0x000000003ffd8006, 0x000000003ffe8002,
360   0x000000003ffe0003, 0x000019993333199a,
361   0x00001998ffffe667, 0x00002aa9ffffd556,
362   0x00002aa9aaaa8001, 0x00003ffefffe8006,
363   0x00003ffe7ffe8009, 0x00003ffeffff0004,
364   0x00003ffe7fff0006, 0x00003ffeffff8002,
365   0x00003ffe7fff8003, 0x00003fff00000000,
366   0x00003ffe80000000, 0x00003fff00007ffe,
367   0x00003ffe80007ffd, 0x00005553ffffaaac,
368   0x0000555355550002, 0x00006664cccc6668,
369   0x00006663ffff999c, 0x00007ffdc0010000,
370   0x00007ffcc0018000, 0x00007ffdc0017ffe,
371   0x00007ffcc001fffd, 0x00007ffdc001fffc,
372   0x00007ffcc0027ffa, 0x00007ffdc0027ffa,
373   0x00007ffcc002fff7, 0x00007ffdffc00100,
374   0x00007ffcffc00180, 0x00007ffdffc080fe,
375   0x00007ffcffc0817d, 0x00007ffdffc100fc,
376   0x00007ffcffc1017a, 0x00007ffdffc180fa,
377   0x00007ffcffc18177, 0x00007ffdfff00040,
378   0x00007ffcfff00060, 0x00007ffdfffe8006,
379   0x00007ffdfffe8006, 0x00007ffeffff0002,
380   0x00007ffdffff0004, 0x00007ffeffff8001,
381   0x00007ffdffff8002, 0x0000000000000000,
382   0x0000000000000000, 0x0000000000007fff,
383   0x0000000000007ffe, 0x000000000000fffe,
384   0x000000000000fffc, 0x00000000000fffe0,
385   0x00000000000fffc0, 0x00000000003e7f83,
386   0x00000000003e7f06, 0x00000000003eff82,
387   0x00000000003eff04, 0x00000000003f7f81,
388   0x00000000003f7f02, 0x000000003ffe0003,
389   0x000000003ffd8006, 0x000000003ffe8002,
390   0x000000003ffe0004, 0x000000003fff0001,
391   0x000000003ffe8002, 0x0000199966664ccd,
392   0x000019993333199a, 0x00002aaa55552aab,
393   0x00002aa9ffffd556, 0x00003fff7ffe8003,
394   0x00003ffefffe8006, 0x00003fff7fff0002,
395   0x00003ffeffff0004, 0x00003fff7fff8001,
396   0x00003ffeffff8002, 0x00003fff80000000,
397   0x00003fff00000000, 0x00003fff80007fff,
398   0x00003fff00007ffe, 0x00005554aaaa5556,
399   0x00005553ffffaaac, 0x0000666599993334,
400   0x00006664cccc6668, 0x00007ffec0008000,
401   0x00007ffdc0010000, 0x00007ffec000ffff,
402   0x00007ffdc0017ffe, 0x00007ffec0017ffe,
403   0x00007ffdc001fffc, 0x00007ffec001fffd,
404   0x00007ffdc0027ffa, 0x00007ffeffc00080,
405   0x00007ffdffc00100, 0x00007ffeffc0807f,
406   0x00007ffdffc080fe, 0x00007ffeffc1007e,
407   0x00007ffdffc100fc, 0x00007ffeffc1807d,
408   0x00007ffdffc180fa, 0x00007ffefff00020,
409   0x00007ffdfff00040, 0x00007ffefffe8003,
410   0x00007ffefffe8003, 0x333333329999999a,
411   0x00007ffeffff0002, 0x33333332cccccccd,
412   0x00007ffeffff8001, 0x0000000000000000,
413   0x0000000000000000, 0x0000000033333333,
414   0x0000000000007fff, 0x0000000066666666,
415   0x000000000000fffe, 0x0000000666666660,
416   0x00000000000fffe0, 0x00000018ffffffe7,
417   0x00000000003e7f83, 0x000000193333331a,
418   0x00000000003eff82, 0x000000196666664d,
419   0x00000000003f7f81, 0x00001998ffffe667,
420   0x000000003ffe0003, 0x000019993333199a,
421   0x000000003ffe8002, 0x0000199966664ccd,
422   0x000000003fff0001, 0x0a3d70a3c28f5c29,
423   0x0000199966664ccd, 0x11111110eeeeeeef,
424   0x00002aaa55552aab, 0x19999998e6666667,
425   0x00003fff7ffe8003, 0x199999991999999a,
426   0x00003fff7fff0002, 0x199999994ccccccd,
427   0x00003fff7fff8001, 0x1999999980000000,
428   0x00003fff80000000, 0x19999999b3333333,
429   0x00003fff80007fff, 0x22222221ddddddde,
430   0x00005554aaaa5556, 0x28f5c28f0a3d70a4,
431   0x0000666599993334, 0x3333199966668000,
432   0x00007ffec0008000, 0x333319999999b333,
433   0x00007ffec000ffff, 0x33331999cccce666,
434   0x00007ffec0017ffe, 0x3333199a00001999,
435   0x00007ffec001fffd, 0x3333331966666680,
436   0x00007ffeffc00080, 0x33333319999999b3,
437   0x00007ffeffc0807f, 0x33333319cccccce6,
438   0x00007ffeffc1007e, 0x3333331a00000019,
439   0x00007ffeffc1807d, 0x3333332c999999a0,
440   0x00007ffefff00020, 0x3333333266666667,
441   0x3333333266666667, 0x5555555455555556,
442   0x333333329999999a, 0x55555554aaaaaaab,
443   0x33333332cccccccd, 0x0000000000000000,
444   0x0000000000000000, 0x0000000055555555,
445   0x0000000033333333, 0x00000000aaaaaaaa,
446   0x0000000066666666, 0x0000000aaaaaaaa0,
447   0x0000000666666660, 0x00000029aaaaaa81,
448   0x00000018ffffffe7, 0x00000029ffffffd6,
449   0x000000193333331a, 0x0000002a5555552b,
450   0x000000196666664d, 0x00002aa9aaaa8001,
451   0x00001998ffffe667, 0x00002aa9ffffd556,
452   0x000019993333199a, 0x00002aaa55552aab,
453   0x0000199966664ccd, 0x11111110eeeeeeef,
454   0x0a3d70a3c28f5c29, 0x1c71c71c38e38e39,
455   0x11111110eeeeeeef, 0x2aaaaaa980000001,
456   0x19999998e6666667, 0x2aaaaaa9d5555556,
457   0x199999991999999a, 0x2aaaaaaa2aaaaaab,
458   0x199999994ccccccd, 0x2aaaaaaa80000000,
459   0x1999999980000000, 0x2aaaaaaad5555555,
460   0x19999999b3333333, 0x38e38e3871c71c72,
461   0x22222221ddddddde, 0x44444443bbbbbbbc,
462   0x28f5c28f0a3d70a4, 0x55552aaa55558000,
463   0x3333199966668000, 0x55552aaaaaaad555,
464   0x333319999999b333, 0x55552aab00002aaa,
465   0x33331999cccce666, 0x55552aab55557fff,
466   0x3333199a00001999, 0x5555552a55555580,
467   0x3333331966666680, 0x5555552aaaaaaad5,
468   0x33333319999999b3, 0x5555552b0000002a,
469   0x33333319cccccce6, 0x5555552b5555557f,
470   0x3333331a00000019, 0x5555554a55555560,
471   0x3333332c999999a0, 0x5555555400000001,
472   0x5555555400000001, 0x7ffffffc00000006,
473   0x5555555455555556, 0x7ffffffc80000003,
474   0x55555554aaaaaaab, 0x0000000000000000,
475   0x0000000000000000, 0x000000007ffffffd,
476   0x0000000055555555, 0x00000000fffffffa,
477   0x00000000aaaaaaaa, 0x0000000fffffffa0,
478   0x0000000aaaaaaaa0, 0x0000003e7ffffe89,
479   0x00000029aaaaaa81, 0x0000003efffffe86,
480   0x00000029ffffffd6, 0x0000003f7ffffe83,
481   0x0000002a5555552b, 0x00003ffe7ffe8009,
482   0x00002aa9aaaa8001, 0x00003ffefffe8006,
483   0x00002aa9ffffd556, 0x00003fff7ffe8003,
484   0x00002aaa55552aab, 0x19999998e6666667,
485   0x11111110eeeeeeef, 0x2aaaaaa980000001,
486   0x1c71c71c38e38e39, 0x3ffffffd00000009,
487   0x2aaaaaa980000001, 0x3ffffffd80000006,
488   0x2aaaaaa9d5555556, 0x3ffffffe00000003,
489   0x2aaaaaaa2aaaaaab, 0x3ffffffe80000000,
490   0x2aaaaaaa80000000, 0x3ffffffefffffffd,
491   0x2aaaaaaad5555555, 0x5555555300000002,
492   0x38e38e3871c71c72, 0x666666639999999c,
493   0x44444443bbbbbbbc, 0x7fffbffd00018000,
494   0x55552aaa55558000, 0x7fffbffd80017ffd,
495   0x55552aaaaaaad555, 0x7fffbffe00017ffa,
496   0x55552aab00002aaa, 0x7fffbffe80017ff7,
497   0x55552aab55557fff, 0x7fffffbd00000180,
498   0x5555552a55555580, 0x7fffffbd8000017d,
499   0x5555552aaaaaaad5, 0x7fffffbe0000017a,
500   0x5555552b0000002a, 0x7fffffbe80000177,
501   0x5555552b5555557f, 0x7fffffed00000060,
502   0x5555554a55555560, 0x7ffffffb80000009,
503   0x7ffffffb80000009, 0x7ffffffd00000004,
504   0x7ffffffc00000006, 0x7ffffffd80000002,
505   0x7ffffffc80000003, 0x0000000000000000,
506   0x0000000000000000, 0x000000007ffffffe,
507   0x000000007ffffffd, 0x00000000fffffffc,
508   0x00000000fffffffa, 0x0000000fffffffc0,
509   0x0000000fffffffa0, 0x0000003e7fffff06,
510   0x0000003e7ffffe89, 0x0000003effffff04,
511   0x0000003efffffe86, 0x0000003f7fffff02,
512   0x0000003f7ffffe83, 0x00003ffe7fff0006,
513   0x00003ffe7ffe8009, 0x00003ffeffff0004,
514   0x00003ffefffe8006, 0x00003fff7fff0002,
515   0x00003fff7ffe8003, 0x199999991999999a,
516   0x19999998e6666667, 0x2aaaaaa9d5555556,
517   0x2aaaaaa980000001, 0x3ffffffd80000006,
518   0x3ffffffd00000009, 0x3ffffffe00000004,
519   0x3ffffffd80000006, 0x3ffffffe80000002,
520   0x3ffffffe00000003, 0x3fffffff00000000,
521   0x3ffffffe80000000, 0x3fffffff7ffffffe,
522   0x3ffffffefffffffd, 0x55555553aaaaaaac,
523   0x5555555300000002, 0x6666666466666668,
524   0x666666639999999c, 0x7fffbffe00010000,
525   0x7fffbffd00018000, 0x7fffbffe8000fffe,
526   0x7fffbffd80017ffd, 0x7fffbfff0000fffc,
527   0x7fffbffe00017ffa, 0x7fffbfff8000fffa,
528   0x7fffbffe80017ff7, 0x7fffffbe00000100,
529   0x7fffffbd00000180, 0x7fffffbe800000fe,
530   0x7fffffbd8000017d, 0x7fffffbf000000fc,
531   0x7fffffbe0000017a, 0x7fffffbf800000fa,
532   0x7fffffbe80000177, 0x7fffffee00000040,
533   0x7fffffed00000060, 0x7ffffffc80000006,
534   0x7ffffffc80000006, 0x7ffffffe00000002,
535   0x7ffffffd00000004, 0x7ffffffe80000001,
536   0x7ffffffd80000002, 0x0000000000000000,
537   0x0000000000000000, 0x000000007fffffff,
538   0x000000007ffffffe, 0x00000000fffffffe,
539   0x00000000fffffffc, 0x0000000fffffffe0,
540   0x0000000fffffffc0, 0x0000003e7fffff83,
541   0x0000003e7fffff06, 0x0000003effffff82,
542   0x0000003effffff04, 0x0000003f7fffff81,
543   0x0000003f7fffff02, 0x00003ffe7fff8003,
544   0x00003ffe7fff0006, 0x00003ffeffff8002,
545   0x00003ffeffff0004, 0x00003fff7fff8001,
546   0x00003fff7fff0002, 0x199999994ccccccd,
547   0x199999991999999a, 0x2aaaaaaa2aaaaaab,
548   0x2aaaaaa9d5555556, 0x3ffffffe00000003,
549   0x3ffffffd80000006, 0x3ffffffe80000002,
550   0x3ffffffe00000004, 0x3fffffff00000001,
551   0x3ffffffe80000002, 0x3fffffff80000000,
552   0x3fffffff00000000, 0x3fffffffffffffff,
553   0x3fffffff7ffffffe, 0x5555555455555556,
554   0x55555553aaaaaaac, 0x6666666533333334,
555   0x6666666466666668, 0x7fffbfff00008000,
556   0x7fffbffe00010000, 0x7fffbfff80007fff,
557   0x7fffbffe8000fffe, 0x7fffc00000007ffe,
558   0x7fffbfff0000fffc, 0x7fffc00080007ffd,
559   0x7fffbfff8000fffa, 0x7fffffbf00000080,
560   0x7fffffbe00000100, 0x7fffffbf8000007f,
561   0x7fffffbe800000fe, 0x7fffffc00000007e,
562   0x7fffffbf000000fc, 0x7fffffc08000007d,
563   0x7fffffbf800000fa, 0x7fffffef00000020,
564   0x7fffffee00000040, 0x7ffffffd80000003,
565   0x7ffffffd80000003, 0x7fffffff00000000,
566   0x7ffffffe00000002, 0x7fffffff80000000,
567   0x7ffffffe80000001, 0x0000000000000000,
568   0x0000000000000000, 0x0000000080000000,
569   0x000000007fffffff, 0x0000000100000000,
570   0x00000000fffffffe, 0x0000001000000000,
571   0x0000000fffffffe0, 0x0000003e80000000,
572   0x0000003e7fffff83, 0x0000003f00000000,
573   0x0000003effffff82, 0x0000003f80000000,
574   0x0000003f7fffff81, 0x00003ffe80000000,
575   0x00003ffe7fff8003, 0x00003fff00000000,
576   0x00003ffeffff8002, 0x00003fff80000000,
577   0x00003fff7fff8001, 0x1999999980000000,
578   0x199999994ccccccd, 0x2aaaaaaa80000000,
579   0x2aaaaaaa2aaaaaab, 0x3ffffffe80000000,
580   0x3ffffffe00000003, 0x3fffffff00000000,
581   0x3ffffffe80000002, 0x3fffffff80000000,
582   0x3fffffff00000001, 0x4000000000000000,
583   0x3fffffff80000000, 0x4000000080000000,
584   0x3fffffffffffffff, 0x5555555500000000,
585   0x5555555455555556, 0x6666666600000000,
586   0x6666666533333334, 0x7fffc00000000000,
587   0x7fffbfff00008000, 0x7fffc00080000000,
588   0x7fffbfff80007fff, 0x7fffc00100000000,
589   0x7fffc00000007ffe, 0x7fffc00180000000,
590   0x7fffc00080007ffd, 0x7fffffc000000000,
591   0x7fffffbf00000080, 0x7fffffc080000000,
592   0x7fffffbf8000007f, 0x7fffffc100000000,
593   0x7fffffc00000007e, 0x7fffffc180000000,
594   0x7fffffc08000007d, 0x7ffffff000000000,
595   0x7fffffef00000020, 0x7ffffffe80000000,
596   0x7ffffffe80000000, 0x7ffffffffffffffe,
597   0x7fffffff00000000, 0x800000007fffffff,
598   0x7fffffff80000000, 0x0000000000000000,
599   0x0000000000000000, 0x0000000080000001,
600   0x0000000080000000, 0x0000000100000002,
601   0x0000000100000000, 0x0000001000000020,
602   0x0000001000000000, 0x0000003e8000007d,
603   0x0000003e80000000, 0x0000003f0000007e,
604   0x0000003f00000000, 0x0000003f8000007f,
605   0x0000003f80000000, 0x00003ffe80007ffd,
606   0x00003ffe80000000, 0x00003fff00007ffe,
607   0x00003fff00000000, 0x00003fff80007fff,
608   0x00003fff80000000, 0x19999999b3333333,
609   0x1999999980000000, 0x2aaaaaaad5555555,
610   0x2aaaaaaa80000000, 0x3ffffffefffffffd,
611   0x3ffffffe80000000, 0x3fffffff7ffffffe,
612   0x3fffffff00000000, 0x3fffffffffffffff,
613   0x3fffffff80000000, 0x4000000080000000,
614   0x4000000000000000, 0x4000000100000001,
615   0x4000000080000000, 0x55555555aaaaaaaa,
616   0x5555555500000000, 0x66666666cccccccc,
617   0x6666666600000000, 0x7fffc000ffff8000,
618   0x7fffc00000000000, 0x7fffc0017fff8001,
619   0x7fffc00080000000, 0x7fffc001ffff8002,
620   0x7fffc00100000000, 0x7fffc0027fff8003,
621   0x7fffc00180000000, 0x7fffffc0ffffff80,
622   0x7fffffc000000000, 0x7fffffc17fffff81,
623   0x7fffffc080000000, 0x7fffffc1ffffff82,
624   0x7fffffc100000000, 0x7fffffc27fffff83,
625   0x7fffffc180000000, 0x7ffffff0ffffffe0,
626   0x7ffffff000000000, 0x7fffffff7ffffffd,
627   0x7fffffff7ffffffd, 0xaaaaaaa8aaaaaaac,
628   0x7ffffffffffffffe, 0xaaaaaaa955555556,
629   0x800000007fffffff, 0x0000000000000000,
630   0x0000000000000000, 0x00000000aaaaaaaa,
631   0x0000000080000001, 0x0000000155555554,
632   0x0000000100000002, 0x0000001555555540,
633   0x0000001000000020, 0x0000005355555502,
634   0x0000003e8000007d, 0x00000053ffffffac,
635   0x0000003f0000007e, 0x00000054aaaaaa56,
636   0x0000003f8000007f, 0x0000555355550002,
637   0x00003ffe80007ffd, 0x00005553ffffaaac,
638   0x00003fff00007ffe, 0x00005554aaaa5556,
639   0x00003fff80007fff, 0x22222221ddddddde,
640   0x19999999b3333333, 0x38e38e3871c71c72,
641   0x2aaaaaaad5555555, 0x5555555300000002,
642   0x3ffffffefffffffd, 0x55555553aaaaaaac,
643   0x3fffffff7ffffffe, 0x5555555455555556,
644   0x3fffffffffffffff, 0x5555555500000000,
645   0x4000000080000000, 0x55555555aaaaaaaa,
646   0x4000000100000001, 0x71c71c70e38e38e4,
647   0x55555555aaaaaaaa, 0x8888888777777778,
648   0x66666666cccccccc, 0xaaaa5554aaab0000,
649   0x7fffc000ffff8000, 0xaaaa55555555aaaa,
650   0x7fffc0017fff8001, 0xaaaa555600005554,
651   0x7fffc001ffff8002, 0xaaaa5556aaaafffe,
652   0x7fffc0027fff8003, 0xaaaaaa54aaaaab00,
653   0x7fffffc0ffffff80, 0xaaaaaa55555555aa,
654   0x7fffffc17fffff81, 0xaaaaaa5600000054,
655   0x7fffffc1ffffff82, 0xaaaaaa56aaaaaafe,
656   0x7fffffc27fffff83, 0xaaaaaa94aaaaaac0,
657   0x7ffffff0ffffffe0, 0xaaaaaaa800000002,
658   0xaaaaaaa800000002, 0xccccccca66666668,
659   0xaaaaaaa8aaaaaaac, 0xcccccccb33333334,
660   0xaaaaaaa955555556, 0x0000000000000000,
661   0x0000000000000000, 0x00000000cccccccc,
662   0x00000000aaaaaaaa, 0x0000000199999998,
663   0x0000000155555554, 0x0000001999999980,
664   0x0000001555555540, 0x00000063ffffff9c,
665   0x0000005355555502, 0x00000064cccccc68,
666   0x00000053ffffffac, 0x0000006599999934,
667   0x00000054aaaaaa56, 0x00006663ffff999c,
668   0x0000555355550002, 0x00006664cccc6668,
669   0x00005553ffffaaac, 0x0000666599993334,
670   0x00005554aaaa5556, 0x28f5c28f0a3d70a4,
671   0x22222221ddddddde, 0x44444443bbbbbbbc,
672   0x38e38e3871c71c72, 0x666666639999999c,
673   0x5555555300000002, 0x6666666466666668,
674   0x55555553aaaaaaac, 0x6666666533333334,
675   0x5555555455555556, 0x6666666600000000,
676   0x5555555500000000, 0x66666666cccccccc,
677   0x55555555aaaaaaaa, 0x8888888777777778,
678   0x71c71c70e38e38e4, 0xa3d70a3c28f5c290,
679   0x8888888777777778, 0xcccc6665999a0000,
680   0xaaaa5554aaab0000, 0xcccc66666666cccc,
681   0xaaaa55555555aaaa, 0xcccc666733339998,
682   0xaaaa555600005554, 0xcccc666800006664,
683   0xaaaa5556aaaafffe, 0xcccccc6599999a00,
684   0xaaaaaa54aaaaab00, 0xcccccc66666666cc,
685   0xaaaaaa55555555aa, 0xcccccc6733333398,
686   0xaaaaaa5600000054, 0xcccccc6800000064,
687   0xaaaaaa56aaaaaafe, 0xccccccb266666680,
688   0xaaaaaa94aaaaaac0, 0xccccccc99999999c,
689   0xccccccc99999999c, 0xffff7ffe00010000,
690   0xccccccca66666668, 0xffff7fff00008000,
691   0xcccccccb33333334, 0x0000000000000000,
692   0x0000000000000000, 0x00000000ffff8000,
693   0x00000000cccccccc, 0x00000001ffff0000,
694   0x0000000199999998, 0x0000001ffff00000,
695   0x0000001999999980, 0x0000007cffc18000,
696   0x00000063ffffff9c, 0x0000007dffc10000,
697   0x00000064cccccc68, 0x0000007effc08000,
698   0x0000006599999934, 0x00007ffcc0018000,
699   0x00006663ffff999c, 0x00007ffdc0010000,
700   0x00006664cccc6668, 0x00007ffec0008000,
701   0x0000666599993334, 0x3333199966668000,
702   0x28f5c28f0a3d70a4, 0x55552aaa55558000,
703   0x44444443bbbbbbbc, 0x7fffbffd00018000,
704   0x666666639999999c, 0x7fffbffe00010000,
705   0x6666666466666668, 0x7fffbfff00008000,
706   0x6666666533333334, 0x7fffc00000000000,
707   0x6666666600000000, 0x7fffc000ffff8000,
708   0x66666666cccccccc, 0xaaaa5554aaab0000,
709   0x8888888777777778, 0xcccc6665999a0000,
710   0xa3d70a3c28f5c290, 0xffff000040000000,
711   0xcccc6665999a0000, 0xffff00013fff8000,
712   0xcccc66666666cccc, 0xffff00023fff0000,
713   0xcccc666733339998, 0xffff00033ffe8000,
714   0xcccc666800006664, 0xffff7f8000400000,
715   0xcccccc6599999a00, 0xffff7f81003f8000,
716   0xcccccc66666666cc, 0xffff7f82003f0000,
717   0xcccccc6733333398, 0xffff7f83003e8000,
718   0xcccccc6800000064, 0xffff7fe000100000,
719   0xccccccb266666680, 0xffff7ffd00018000,
720   0xffff7ffd00018000, 0xffff7fff0000fffe,
721   0xffff7ffe00010000, 0xffff800000007fff,
722   0xffff7fff00008000, 0x0000000000000000,
723   0x0000000000000000, 0x00000000ffff8001,
724   0x00000000ffff8000, 0x00000001ffff0002,
725   0x00000001ffff0000, 0x0000001ffff00020,
726   0x0000001ffff00000, 0x0000007cffc1807d,
727   0x0000007cffc18000, 0x0000007dffc1007e,
728   0x0000007dffc10000, 0x0000007effc0807f,
729   0x0000007effc08000, 0x00007ffcc001fffd,
730   0x00007ffcc0018000, 0x00007ffdc0017ffe,
731   0x00007ffdc0010000, 0x00007ffec000ffff,
732   0x00007ffec0008000, 0x333319999999b333,
733   0x3333199966668000, 0x55552aaaaaaad555,
734   0x55552aaa55558000, 0x7fffbffd80017ffd,
735   0x7fffbffd00018000, 0x7fffbffe8000fffe,
736   0x7fffbffe00010000, 0x7fffbfff80007fff,
737   0x7fffbfff00008000, 0x7fffc00080000000,
738   0x7fffc00000000000, 0x7fffc0017fff8001,
739   0x7fffc000ffff8000, 0xaaaa55555555aaaa,
740   0xaaaa5554aaab0000, 0xcccc66666666cccc,
741   0xcccc6665999a0000, 0xffff00013fff8000,
742   0xffff000040000000, 0xffff00023fff0001,
743   0xffff00013fff8000, 0xffff00033ffe8002,
744   0xffff00023fff0000, 0xffff00043ffe0003,
745   0xffff00033ffe8000, 0xffff7f81003fff80,
746   0xffff7f8000400000, 0xffff7f82003f7f81,
747   0xffff7f81003f8000, 0xffff7f83003eff82,
748   0xffff7f82003f0000, 0xffff7f84003e7f83,
749   0xffff7f83003e8000, 0xffff7fe1000fffe0,
750   0xffff7fe000100000, 0xffff7ffe00017ffd,
751   0xffff7ffe00017ffd, 0xffff80000000fffc,
752   0xffff7fff0000fffe, 0xffff800100007ffe,
753   0xffff800000007fff, 0x0000000000000000,
754   0x0000000000000000, 0x00000000ffff8002,
755   0x00000000ffff8001, 0x00000001ffff0004,
756   0x00000001ffff0002, 0x0000001ffff00040,
757   0x0000001ffff00020, 0x0000007cffc180fa,
758   0x0000007cffc1807d, 0x0000007dffc100fc,
759   0x0000007dffc1007e, 0x0000007effc080fe,
760   0x0000007effc0807f, 0x00007ffcc0027ffa,
761   0x00007ffcc001fffd, 0x00007ffdc001fffc,
762   0x00007ffdc0017ffe, 0x00007ffec0017ffe,
763   0x00007ffec000ffff, 0x33331999cccce666,
764   0x333319999999b333, 0x55552aab00002aaa,
765   0x55552aaaaaaad555, 0x7fffbffe00017ffa,
766   0x7fffbffd80017ffd, 0x7fffbfff0000fffc,
767   0x7fffbffe8000fffe, 0x7fffc00000007ffe,
768   0x7fffbfff80007fff, 0x7fffc00100000000,
769   0x7fffc00080000000, 0x7fffc001ffff8002,
770   0x7fffc0017fff8001, 0xaaaa555600005554,
771   0xaaaa55555555aaaa, 0xcccc666733339998,
772   0xcccc66666666cccc, 0xffff00023fff0000,
773   0xffff00013fff8000, 0xffff00033ffe8002,
774   0xffff00023fff0001, 0xffff00043ffe0004,
775   0xffff00033ffe8002, 0xffff00053ffd8006,
776   0xffff00043ffe0003, 0xffff7f82003fff00,
777   0xffff7f81003fff80, 0xffff7f83003f7f02,
778   0xffff7f82003f7f81, 0xffff7f84003eff04,
779   0xffff7f83003eff82, 0xffff7f85003e7f06,
780   0xffff7f84003e7f83, 0xffff7fe2000fffc0,
781   0xffff7fe1000fffe0, 0xffff7fff00017ffa,
782   0xffff7fff00017ffa, 0xffff80010000fffa,
783   0xffff80000000fffc, 0xffff800200007ffd,
784   0xffff800100007ffe, 0x0000000000000000,
785   0x0000000000000000, 0x00000000ffff8003,
786   0x00000000ffff8002, 0x00000001ffff0006,
787   0x00000001ffff0004, 0x0000001ffff00060,
788   0x0000001ffff00040, 0x0000007cffc18177,
789   0x0000007cffc180fa, 0x0000007dffc1017a,
790   0x0000007dffc100fc, 0x0000007effc0817d,
791   0x0000007effc080fe, 0x00007ffcc002fff7,
792   0x00007ffcc0027ffa, 0x00007ffdc0027ffa,
793   0x00007ffdc001fffc, 0x00007ffec001fffd,
794   0x00007ffec0017ffe, 0x3333199a00001999,
795   0x33331999cccce666, 0x55552aab55557fff,
796   0x55552aab00002aaa, 0x7fffbffe80017ff7,
797   0x7fffbffe00017ffa, 0x7fffbfff8000fffa,
798   0x7fffbfff0000fffc, 0x7fffc00080007ffd,
799   0x7fffc00000007ffe, 0x7fffc00180000000,
800   0x7fffc00100000000, 0x7fffc0027fff8003,
801   0x7fffc001ffff8002, 0xaaaa5556aaaafffe,
802   0xaaaa555600005554, 0xcccc666800006664,
803   0xcccc666733339998, 0xffff00033ffe8000,
804   0xffff00023fff0000, 0xffff00043ffe0003,
805   0xffff00033ffe8002, 0xffff00053ffd8006,
806   0xffff00043ffe0004, 0xffff00063ffd0009,
807   0xffff00053ffd8006, 0xffff7f83003ffe80,
808   0xffff7f82003fff00, 0xffff7f84003f7e83,
809   0xffff7f83003f7f02, 0xffff7f85003efe86,
810   0xffff7f84003eff04, 0xffff7f86003e7e89,
811   0xffff7f85003e7f06, 0xffff7fe3000fffa0,
812   0xffff7fe2000fffc0, 0xffff800000017ff7,
813   0xffff800000017ff7, 0xffffff7e00000100,
814   0xffff80010000fffa, 0xffffff7f00000080,
815   0xffff800200007ffd, 0x0000000000000000,
816   0x0000000000000000, 0x00000000ffffff80,
817   0x00000000ffff8003, 0x00000001ffffff00,
818   0x00000001ffff0006, 0x0000001ffffff000,
819   0x0000001ffff00060, 0x0000007cffffc180,
820   0x0000007cffc18177, 0x0000007dffffc100,
821   0x0000007dffc1017a, 0x0000007effffc080,
822   0x0000007effc0817d, 0x00007ffcffc00180,
823   0x00007ffcc002fff7, 0x00007ffdffc00100,
824   0x00007ffdc0027ffa, 0x00007ffeffc00080,
825   0x00007ffec001fffd, 0x3333331966666680,
826   0x3333199a00001999, 0x5555552a55555580,
827   0x55552aab55557fff, 0x7fffffbd00000180,
828   0x7fffbffe80017ff7, 0x7fffffbe00000100,
829   0x7fffbfff8000fffa, 0x7fffffbf00000080,
830   0x7fffc00080007ffd, 0x7fffffc000000000,
831   0x7fffc00180000000, 0x7fffffc0ffffff80,
832   0x7fffc0027fff8003, 0xaaaaaa54aaaaab00,
833   0xaaaa5556aaaafffe, 0xcccccc6599999a00,
834   0xcccc666800006664, 0xffff7f8000400000,
835   0xffff00033ffe8000, 0xffff7f81003fff80,
836   0xffff00043ffe0003, 0xffff7f82003fff00,
837   0xffff00053ffd8006, 0xffff7f83003ffe80,
838   0xffff00063ffd0009, 0xffffff0000004000,
839   0xffff7f83003ffe80, 0xffffff0100003f80,
840   0xffff7f84003f7e83, 0xffffff0200003f00,
841   0xffff7f85003efe86, 0xffffff0300003e80,
842   0xffff7f86003e7e89, 0xffffff6000001000,
843   0xffff7fe3000fffa0, 0xffffff7d00000180,
844   0xffffff7d00000180, 0xffffff7f000000fe,
845   0xffffff7e00000100, 0xffffff800000007f,
846   0xffffff7f00000080, 0x0000000000000000,
847   0x0000000000000000, 0x00000000ffffff81,
848   0x00000000ffffff80, 0x00000001ffffff02,
849   0x00000001ffffff00, 0x0000001ffffff020,
850   0x0000001ffffff000, 0x0000007cffffc1fd,
851   0x0000007cffffc180, 0x0000007dffffc17e,
852   0x0000007dffffc100, 0x0000007effffc0ff,
853   0x0000007effffc080, 0x00007ffcffc0817d,
854   0x00007ffcffc00180, 0x00007ffdffc080fe,
855   0x00007ffdffc00100, 0x00007ffeffc0807f,
856   0x00007ffeffc00080, 0x33333319999999b3,
857   0x3333331966666680, 0x5555552aaaaaaad5,
858   0x5555552a55555580, 0x7fffffbd8000017d,
859   0x7fffffbd00000180, 0x7fffffbe800000fe,
860   0x7fffffbe00000100, 0x7fffffbf8000007f,
861   0x7fffffbf00000080, 0x7fffffc080000000,
862   0x7fffffc000000000, 0x7fffffc17fffff81,
863   0x7fffffc0ffffff80, 0xaaaaaa55555555aa,
864   0xaaaaaa54aaaaab00, 0xcccccc66666666cc,
865   0xcccccc6599999a00, 0xffff7f81003f8000,
866   0xffff7f8000400000, 0xffff7f82003f7f81,
867   0xffff7f81003fff80, 0xffff7f83003f7f02,
868   0xffff7f82003fff00, 0xffff7f84003f7e83,
869   0xffff7f83003ffe80, 0xffffff0100003f80,
870   0xffffff0000004000, 0xffffff0200003f01,
871   0xffffff0100003f80, 0xffffff0300003e82,
872   0xffffff0200003f00, 0xffffff0400003e03,
873   0xffffff0300003e80, 0xffffff6100000fe0,
874   0xffffff6000001000, 0xffffff7e0000017d,
875   0xffffff7e0000017d, 0xffffff80000000fc,
876   0xffffff7f000000fe, 0xffffff810000007e,
877   0xffffff800000007f, 0x0000000000000000,
878   0x0000000000000000, 0x00000000ffffff82,
879   0x00000000ffffff81, 0x00000001ffffff04,
880   0x00000001ffffff02, 0x0000001ffffff040,
881   0x0000001ffffff020, 0x0000007cffffc27a,
882   0x0000007cffffc1fd, 0x0000007dffffc1fc,
883   0x0000007dffffc17e, 0x0000007effffc17e,
884   0x0000007effffc0ff, 0x00007ffcffc1017a,
885   0x00007ffcffc0817d, 0x00007ffdffc100fc,
886   0x00007ffdffc080fe, 0x00007ffeffc1007e,
887   0x00007ffeffc0807f, 0x33333319cccccce6,
888   0x33333319999999b3, 0x5555552b0000002a,
889   0x5555552aaaaaaad5, 0x7fffffbe0000017a,
890   0x7fffffbd8000017d, 0x7fffffbf000000fc,
891   0x7fffffbe800000fe, 0x7fffffc00000007e,
892   0x7fffffbf8000007f, 0x7fffffc100000000,
893   0x7fffffc080000000, 0x7fffffc1ffffff82,
894   0x7fffffc17fffff81, 0xaaaaaa5600000054,
895   0xaaaaaa55555555aa, 0xcccccc6733333398,
896   0xcccccc66666666cc, 0xffff7f82003f0000,
897   0xffff7f81003f8000, 0xffff7f83003eff82,
898   0xffff7f82003f7f81, 0xffff7f84003eff04,
899   0xffff7f83003f7f02, 0xffff7f85003efe86,
900   0xffff7f84003f7e83, 0xffffff0200003f00,
901   0xffffff0100003f80, 0xffffff0300003e82,
902   0xffffff0200003f01, 0xffffff0400003e04,
903   0xffffff0300003e82, 0xffffff0500003d86,
904   0xffffff0400003e03, 0xffffff6200000fc0,
905   0xffffff6100000fe0, 0xffffff7f0000017a,
906   0xffffff7f0000017a, 0xffffff81000000fa,
907   0xffffff80000000fc, 0xffffff820000007d,
908   0xffffff810000007e, 0x0000000000000000,
909   0x0000000000000000, 0x00000000ffffff83,
910   0x00000000ffffff82, 0x00000001ffffff06,
911   0x00000001ffffff04, 0x0000001ffffff060,
912   0x0000001ffffff040, 0x0000007cffffc2f7,
913   0x0000007cffffc27a, 0x0000007dffffc27a,
914   0x0000007dffffc1fc, 0x0000007effffc1fd,
915   0x0000007effffc17e, 0x00007ffcffc18177,
916   0x00007ffcffc1017a, 0x00007ffdffc180fa,
917   0x00007ffdffc100fc, 0x00007ffeffc1807d,
918   0x00007ffeffc1007e, 0x3333331a00000019,
919   0x33333319cccccce6, 0x5555552b5555557f,
920   0x5555552b0000002a, 0x7fffffbe80000177,
921   0x7fffffbe0000017a, 0x7fffffbf800000fa,
922   0x7fffffbf000000fc, 0x7fffffc08000007d,
923   0x7fffffc00000007e, 0x7fffffc180000000,
924   0x7fffffc100000000, 0x7fffffc27fffff83,
925   0x7fffffc1ffffff82, 0xaaaaaa56aaaaaafe,
926   0xaaaaaa5600000054, 0xcccccc6800000064,
927   0xcccccc6733333398, 0xffff7f83003e8000,
928   0xffff7f82003f0000, 0xffff7f84003e7f83,
929   0xffff7f83003eff82, 0xffff7f85003e7f06,
930   0xffff7f84003eff04, 0xffff7f86003e7e89,
931   0xffff7f85003efe86, 0xffffff0300003e80,
932   0xffffff0200003f00, 0xffffff0400003e03,
933   0xffffff0300003e82, 0xffffff0500003d86,
934   0xffffff0400003e04, 0xffffff0600003d09,
935   0xffffff0500003d86, 0xffffff6300000fa0,
936   0xffffff6200000fc0, 0xffffff8000000177,
937   0xffffff8000000177, 0xffffffde00000040,
938   0xffffff81000000fa, 0xffffffdf00000020,
939   0xffffff820000007d, 0x0000000000000000,
940   0x0000000000000000, 0x00000000ffffffe0,
941   0x00000000ffffff83, 0x00000001ffffffc0,
942   0x00000001ffffff06, 0x0000001ffffffc00,
943   0x0000001ffffff060, 0x0000007cfffff060,
944   0x0000007cffffc2f7, 0x0000007dfffff040,
945   0x0000007dffffc27a, 0x0000007efffff020,
946   0x0000007effffc1fd, 0x00007ffcfff00060,
947   0x00007ffcffc18177, 0x00007ffdfff00040,
948   0x00007ffdffc180fa, 0x00007ffefff00020,
949   0x00007ffeffc1807d, 0x3333332c999999a0,
950   0x3333331a00000019, 0x5555554a55555560,
951   0x5555552b5555557f, 0x7fffffed00000060,
952   0x7fffffbe80000177, 0x7fffffee00000040,
953   0x7fffffbf800000fa, 0x7fffffef00000020,
954   0x7fffffc08000007d, 0x7ffffff000000000,
955   0x7fffffc180000000, 0x7ffffff0ffffffe0,
956   0x7fffffc27fffff83, 0xaaaaaa94aaaaaac0,
957   0xaaaaaa56aaaaaafe, 0xccccccb266666680,
958   0xcccccc6800000064, 0xffff7fe000100000,
959   0xffff7f83003e8000, 0xffff7fe1000fffe0,
960   0xffff7f84003e7f83, 0xffff7fe2000fffc0,
961   0xffff7f85003e7f06, 0xffff7fe3000fffa0,
962   0xffff7f86003e7e89, 0xffffff6000001000,
963   0xffffff0300003e80, 0xffffff6100000fe0,
964   0xffffff0400003e03, 0xffffff6200000fc0,
965   0xffffff0500003d86, 0xffffff6300000fa0,
966   0xffffff0600003d09, 0xffffffc000000400,
967   0xffffff6300000fa0, 0xffffffdd00000060,
968   0xffffffdd00000060, 0xfffffffb00000006,
969   0xffffffde00000040, 0xfffffffc00000003,
970   0xffffffdf00000020, 0x0000000000000000,
971   0x0000000000000000, 0x00000000fffffffd,
972   0x00000000ffffffe0, 0x00000001fffffffa,
973   0x00000001ffffffc0, 0x0000001fffffffa0,
974   0x0000001ffffffc00, 0x0000007cfffffe89,
975   0x0000007cfffff060, 0x0000007dfffffe86,
976   0x0000007dfffff040, 0x0000007efffffe83,
977   0x0000007efffff020, 0x00007ffcfffe8009,
978   0x00007ffcfff00060, 0x00007ffdfffe8006,
979   0x00007ffdfff00040, 0x00007ffefffe8003,
980   0x00007ffefff00020, 0x3333333266666667,
981   0x3333332c999999a0, 0x5555555400000001,
982   0x5555554a55555560, 0x7ffffffb80000009,
983   0x7fffffed00000060, 0x7ffffffc80000006,
984   0x7fffffee00000040, 0x7ffffffd80000003,
985   0x7fffffef00000020, 0x7ffffffe80000000,
986   0x7ffffff000000000, 0x7fffffff7ffffffd,
987   0x7ffffff0ffffffe0, 0xaaaaaaa800000002,
988   0xaaaaaa94aaaaaac0, 0xccccccc99999999c,
989   0xccccccb266666680, 0xffff7ffd00018000,
990   0xffff7fe000100000, 0xffff7ffe00017ffd,
991   0xffff7fe1000fffe0, 0xffff7fff00017ffa,
992   0xffff7fe2000fffc0, 0xffff800000017ff7,
993   0xffff7fe3000fffa0, 0xffffff7d00000180,
994   0xffffff6000001000, 0xffffff7e0000017d,
995   0xffffff6100000fe0, 0xffffff7f0000017a,
996   0xffffff6200000fc0, 0xffffff8000000177,
997   0xffffff6300000fa0, 0xffffffdd00000060,
998   0xffffffc000000400, 0xfffffffa00000009,
999 };
1000 const unsigned kExpectedCount_NEON_umull_2D = 961;
1001 
1002 #endif  // VIXL_SIM_UMULL_2D_TRACE_AARCH64_H_
1003