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