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_SABAL2_2D_TRACE_AARCH64_H_
35#define VIXL_SIM_SABAL2_2D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_sabal2_2D[] = {
38  0x0000000000000000, 0x0000000000000001,
39  0x00000000007ffd00, 0x0000000000000002,
40  0x00000000007ffcff, 0x0000000000000003,
41  0x00000000007ffcfe, 0x0000000000000021,
42  0x00000000007ffce0, 0x000000000000007e,
43  0x00000000007ffc83, 0x000000000000007f,
44  0x00000000007ffc82, 0x0000000000000080,
45  0x00000000007ffc81, 0x0000000000007ffe,
46  0x00000000007f7d03, 0x0000000000007fff,
47  0x00000000007f7d02, 0x0000000000008000,
48  0x00000000007f7d01, 0x0000000033333334,
49  0x0000000032b33633, 0x0000000055555556,
50  0x0000000054d55855, 0x000000007ffffffe,
51  0x000000007f8002fd, 0x000000007fffffff,
52  0x000000007f8002fe, 0x0000000080000000,
53  0x000000007f8002ff, 0x0000000080000001,
54  0x00000000807ffd00, 0x0000000080000000,
55  0x00000000807ffcff, 0x0000000055555557,
56  0x0000000055d55256, 0x0000000033333335,
57  0x0000000033b33034, 0x0000000000008001,
58  0x0000000000807d00, 0x0000000000008000,
59  0x0000000000807cff, 0x0000000000007fff,
60  0x0000000000807cfe, 0x0000000000007ffe,
61  0x0000000000807cfd, 0x0000000000000081,
62  0x00000000007ffd80, 0x0000000000000080,
63  0x00000000007ffd7f, 0x000000000000007f,
64  0x00000000007ffd7e, 0x000000000000007e,
65  0x00000000007ffd7d, 0x0000000000000021,
66  0x00000000007ffd20, 0x0000000000000004,
67  0x00000000007ffd03, 0x0000000000000003,
68  0x00000000007ffd02, 0x0000000000000002,
69  0x0000000000000001, 0x0000000000000002,
70  0x0000000000000000, 0x0000000000000001,
71  0x0000000000000001, 0x0000000000000002,
72  0x0000000000000002, 0x0000000000000020,
73  0x0000000000000020, 0x000000000000007d,
74  0x000000000000007d, 0x000000000000007e,
75  0x000000000000007e, 0x000000000000007f,
76  0x000000000000007f, 0x0000000000007ffd,
77  0x0000000000007ffd, 0x0000000000007ffe,
78  0x0000000000007ffe, 0x0000000000007fff,
79  0x0000000000007fff, 0x0000000033333333,
80  0x0000000033333333, 0x0000000055555555,
81  0x0000000055555555, 0x000000007ffffffd,
82  0x000000007ffffffd, 0x000000007ffffffe,
83  0x000000007ffffffe, 0x000000007fffffff,
84  0x000000007fffffff, 0x0000000080000002,
85  0x0000000080000000, 0x0000000080000001,
86  0x000000007fffffff, 0x0000000055555558,
87  0x0000000055555556, 0x0000000033333336,
88  0x0000000033333334, 0x0000000000008002,
89  0x0000000000008000, 0x0000000000008001,
90  0x0000000000007fff, 0x0000000000008000,
91  0x0000000000007ffe, 0x0000000000007fff,
92  0x0000000000007ffd, 0x0000000000000082,
93  0x0000000000000080, 0x0000000000000081,
94  0x000000000000007f, 0x0000000000000080,
95  0x000000000000007e, 0x000000000000007f,
96  0x000000000000007d, 0x0000000000000022,
97  0x0000000000000020, 0x0000000000000005,
98  0x0000000000000003, 0x0000000000000004,
99  0x0000000000000002, 0x0000000000000003,
100  0x0000000000000002, 0x0000000000000003,
101  0x0000000000000001, 0x0000000000000002,
102  0x0000000000000000, 0x0000000000000001,
103  0x0000000000000001, 0x000000000000001f,
104  0x000000000000001f, 0x000000000000007c,
105  0x000000000000007c, 0x000000000000007d,
106  0x000000000000007d, 0x000000000000007e,
107  0x000000000000007e, 0x0000000000007ffc,
108  0x0000000000007ffc, 0x0000000000007ffd,
109  0x0000000000007ffd, 0x0000000000007ffe,
110  0x0000000000007ffe, 0x0000000033333332,
111  0x0000000033333332, 0x0000000055555554,
112  0x0000000055555554, 0x000000007ffffffc,
113  0x000000007ffffffc, 0x000000007ffffffd,
114  0x000000007ffffffd, 0x000000007ffffffe,
115  0x000000007ffffffe, 0x0000000080000003,
116  0x0000000080000001, 0x0000000080000002,
117  0x0000000080000000, 0x0000000055555559,
118  0x0000000055555557, 0x0000000033333337,
119  0x0000000033333335, 0x0000000000008003,
120  0x0000000000008001, 0x0000000000008002,
121  0x0000000000008000, 0x0000000000008001,
122  0x0000000000007fff, 0x0000000000008000,
123  0x0000000000007ffe, 0x0000000000000083,
124  0x0000000000000081, 0x0000000000000082,
125  0x0000000000000080, 0x0000000000000081,
126  0x000000000000007f, 0x0000000000000080,
127  0x000000000000007e, 0x0000000000000023,
128  0x0000000000000021, 0x0000000000000006,
129  0x0000000000000004, 0x0000000000000005,
130  0x0000000000000003, 0x0000000000000004,
131  0x0000000000000003, 0x0000000000000021,
132  0x0000000000000002, 0x0000000000000020,
133  0x0000000000000001, 0x000000000000001f,
134  0x0000000000000000, 0x0000000000000001,
135  0x000000000000001e, 0x000000000000005e,
136  0x000000000000007b, 0x000000000000005f,
137  0x000000000000007c, 0x0000000000000060,
138  0x000000000000007d, 0x0000000000007fde,
139  0x0000000000007ffb, 0x0000000000007fdf,
140  0x0000000000007ffc, 0x0000000000007fe0,
141  0x0000000000007ffd, 0x0000000033333314,
142  0x0000000033333331, 0x0000000055555536,
143  0x0000000055555553, 0x000000007fffffde,
144  0x000000007ffffffb, 0x000000007fffffdf,
145  0x000000007ffffffc, 0x000000007fffffe0,
146  0x000000007ffffffd, 0x0000000080000021,
147  0x0000000080000002, 0x0000000080000020,
148  0x0000000080000001, 0x0000000055555577,
149  0x0000000055555558, 0x0000000033333355,
150  0x0000000033333336, 0x0000000000008021,
151  0x0000000000008002, 0x0000000000008020,
152  0x0000000000008001, 0x000000000000801f,
153  0x0000000000008000, 0x000000000000801e,
154  0x0000000000007fff, 0x00000000000000a1,
155  0x0000000000000082, 0x00000000000000a0,
156  0x0000000000000081, 0x000000000000009f,
157  0x0000000000000080, 0x000000000000009e,
158  0x000000000000007f, 0x0000000000000041,
159  0x0000000000000022, 0x0000000000000024,
160  0x0000000000000005, 0x0000000000000023,
161  0x0000000000000004, 0x0000000000000022,
162  0x0000000000000021, 0x000000000000007e,
163  0x0000000000000020, 0x000000000000007d,
164  0x000000000000001f, 0x000000000000007c,
165  0x000000000000001e, 0x000000000000005e,
166  0x0000000000000000, 0x0000000000000001,
167  0x000000000000005d, 0x0000000000000002,
168  0x000000000000005e, 0x0000000000000003,
169  0x000000000000005f, 0x0000000000007f81,
170  0x0000000000007fdd, 0x0000000000007f82,
171  0x0000000000007fde, 0x0000000000007f83,
172  0x0000000000007fdf, 0x00000000333332b7,
173  0x0000000033333313, 0x00000000555554d9,
174  0x0000000055555535, 0x000000007fffff81,
175  0x000000007fffffdd, 0x000000007fffff82,
176  0x000000007fffffde, 0x000000007fffff83,
177  0x000000007fffffdf, 0x000000008000007e,
178  0x0000000080000020, 0x000000008000007d,
179  0x000000008000001f, 0x00000000555555d4,
180  0x0000000055555576, 0x00000000333333b2,
181  0x0000000033333354, 0x000000000000807e,
182  0x0000000000008020, 0x000000000000807d,
183  0x000000000000801f, 0x000000000000807c,
184  0x000000000000801e, 0x000000000000807b,
185  0x000000000000801d, 0x00000000000000fe,
186  0x00000000000000a0, 0x00000000000000fd,
187  0x000000000000009f, 0x00000000000000fc,
188  0x000000000000009e, 0x00000000000000fb,
189  0x000000000000009d, 0x000000000000009e,
190  0x0000000000000040, 0x0000000000000081,
191  0x0000000000000023, 0x0000000000000080,
192  0x0000000000000022, 0x000000000000007f,
193  0x000000000000007e, 0x000000000000007f,
194  0x000000000000007d, 0x000000000000007e,
195  0x000000000000007c, 0x000000000000007d,
196  0x000000000000007b, 0x000000000000005f,
197  0x000000000000005d, 0x0000000000000002,
198  0x0000000000000000, 0x0000000000000001,
199  0x0000000000000001, 0x0000000000000002,
200  0x0000000000000002, 0x0000000000007f80,
201  0x0000000000007f80, 0x0000000000007f81,
202  0x0000000000007f81, 0x0000000000007f82,
203  0x0000000000007f82, 0x00000000333332b6,
204  0x00000000333332b6, 0x00000000555554d8,
205  0x00000000555554d8, 0x000000007fffff80,
206  0x000000007fffff80, 0x000000007fffff81,
207  0x000000007fffff81, 0x000000007fffff82,
208  0x000000007fffff82, 0x000000008000007f,
209  0x000000008000007d, 0x000000008000007e,
210  0x000000008000007c, 0x00000000555555d5,
211  0x00000000555555d3, 0x00000000333333b3,
212  0x00000000333333b1, 0x000000000000807f,
213  0x000000000000807d, 0x000000000000807e,
214  0x000000000000807c, 0x000000000000807d,
215  0x000000000000807b, 0x000000000000807c,
216  0x000000000000807a, 0x00000000000000ff,
217  0x00000000000000fd, 0x00000000000000fe,
218  0x00000000000000fc, 0x00000000000000fd,
219  0x00000000000000fb, 0x00000000000000fc,
220  0x00000000000000fa, 0x000000000000009f,
221  0x000000000000009d, 0x0000000000000082,
222  0x0000000000000080, 0x0000000000000081,
223  0x000000000000007f, 0x0000000000000080,
224  0x000000000000007f, 0x0000000000000080,
225  0x000000000000007e, 0x000000000000007f,
226  0x000000000000007d, 0x000000000000007e,
227  0x000000000000007c, 0x0000000000000060,
228  0x000000000000005e, 0x0000000000000003,
229  0x0000000000000001, 0x0000000000000002,
230  0x0000000000000000, 0x0000000000000001,
231  0x0000000000000001, 0x0000000000007f7f,
232  0x0000000000007f7f, 0x0000000000007f80,
233  0x0000000000007f80, 0x0000000000007f81,
234  0x0000000000007f81, 0x00000000333332b5,
235  0x00000000333332b5, 0x00000000555554d7,
236  0x00000000555554d7, 0x000000007fffff7f,
237  0x000000007fffff7f, 0x000000007fffff80,
238  0x000000007fffff80, 0x000000007fffff81,
239  0x000000007fffff81, 0x0000000080000080,
240  0x000000008000007e, 0x000000008000007f,
241  0x000000008000007d, 0x00000000555555d6,
242  0x00000000555555d4, 0x00000000333333b4,
243  0x00000000333333b2, 0x0000000000008080,
244  0x000000000000807e, 0x000000000000807f,
245  0x000000000000807d, 0x000000000000807e,
246  0x000000000000807c, 0x000000000000807d,
247  0x000000000000807b, 0x0000000000000100,
248  0x00000000000000fe, 0x00000000000000ff,
249  0x00000000000000fd, 0x00000000000000fe,
250  0x00000000000000fc, 0x00000000000000fd,
251  0x00000000000000fb, 0x00000000000000a0,
252  0x000000000000009e, 0x0000000000000083,
253  0x0000000000000081, 0x0000000000000082,
254  0x0000000000000080, 0x0000000000000081,
255  0x0000000000000080, 0x0000000000007ffe,
256  0x000000000000007f, 0x0000000000007ffd,
257  0x000000000000007e, 0x0000000000007ffc,
258  0x000000000000007d, 0x0000000000007fde,
259  0x000000000000005f, 0x0000000000007f81,
260  0x0000000000000002, 0x0000000000007f80,
261  0x0000000000000001, 0x0000000000007f7f,
262  0x0000000000000000, 0x0000000000000001,
263  0x0000000000007f7e, 0x0000000000000002,
264  0x0000000000007f7f, 0x0000000000000003,
265  0x0000000000007f80, 0x000000003332b337,
266  0x00000000333332b4, 0x000000005554d559,
267  0x00000000555554d6, 0x000000007fff8001,
268  0x000000007fffff7e, 0x000000007fff8002,
269  0x000000007fffff7f, 0x000000007fff8003,
270  0x000000007fffff80, 0x0000000080007ffe,
271  0x000000008000007f, 0x0000000080007ffd,
272  0x000000008000007e, 0x000000005555d554,
273  0x00000000555555d5, 0x000000003333b332,
274  0x00000000333333b3, 0x000000000000fffe,
275  0x000000000000807f, 0x000000000000fffd,
276  0x000000000000807e, 0x000000000000fffc,
277  0x000000000000807d, 0x000000000000fffb,
278  0x000000000000807c, 0x000000000000807e,
279  0x00000000000000ff, 0x000000000000807d,
280  0x00000000000000fe, 0x000000000000807c,
281  0x00000000000000fd, 0x000000000000807b,
282  0x00000000000000fc, 0x000000000000801e,
283  0x000000000000009f, 0x0000000000008001,
284  0x0000000000000082, 0x0000000000008000,
285  0x0000000000000081, 0x0000000000007fff,
286  0x0000000000007ffe, 0x0000000000007fff,
287  0x0000000000007ffd, 0x0000000000007ffe,
288  0x0000000000007ffc, 0x0000000000007ffd,
289  0x0000000000007ffb, 0x0000000000007fdf,
290  0x0000000000007fdd, 0x0000000000007f82,
291  0x0000000000007f80, 0x0000000000007f81,
292  0x0000000000007f7f, 0x0000000000007f80,
293  0x0000000000007f7e, 0x0000000000000002,
294  0x0000000000000000, 0x0000000000000001,
295  0x0000000000000001, 0x0000000000000002,
296  0x0000000000000002, 0x000000003332b336,
297  0x000000003332b336, 0x000000005554d558,
298  0x000000005554d558, 0x000000007fff8000,
299  0x000000007fff8000, 0x000000007fff8001,
300  0x000000007fff8001, 0x000000007fff8002,
301  0x000000007fff8002, 0x0000000080007fff,
302  0x0000000080007ffd, 0x0000000080007ffe,
303  0x0000000080007ffc, 0x000000005555d555,
304  0x000000005555d553, 0x000000003333b333,
305  0x000000003333b331, 0x000000000000ffff,
306  0x000000000000fffd, 0x000000000000fffe,
307  0x000000000000fffc, 0x000000000000fffd,
308  0x000000000000fffb, 0x000000000000fffc,
309  0x000000000000fffa, 0x000000000000807f,
310  0x000000000000807d, 0x000000000000807e,
311  0x000000000000807c, 0x000000000000807d,
312  0x000000000000807b, 0x000000000000807c,
313  0x000000000000807a, 0x000000000000801f,
314  0x000000000000801d, 0x0000000000008002,
315  0x0000000000008000, 0x0000000000008001,
316  0x0000000000007fff, 0x0000000000008000,
317  0x0000000000007fff, 0x0000000000008000,
318  0x0000000000007ffe, 0x0000000000007fff,
319  0x0000000000007ffd, 0x0000000000007ffe,
320  0x0000000000007ffc, 0x0000000000007fe0,
321  0x0000000000007fde, 0x0000000000007f83,
322  0x0000000000007f81, 0x0000000000007f82,
323  0x0000000000007f80, 0x0000000000007f81,
324  0x0000000000007f7f, 0x0000000000000003,
325  0x0000000000000001, 0x0000000000000002,
326  0x0000000000000000, 0x0000000000000001,
327  0x0000000000000001, 0x000000003332b335,
328  0x000000003332b335, 0x000000005554d557,
329  0x000000005554d557, 0x000000007fff7fff,
330  0x000000007fff7fff, 0x000000007fff8000,
331  0x000000007fff8000, 0x000000007fff8001,
332  0x000000007fff8001, 0x0000000080008000,
333  0x0000000080007ffe, 0x0000000080007fff,
334  0x0000000080007ffd, 0x000000005555d556,
335  0x000000005555d554, 0x000000003333b334,
336  0x000000003333b332, 0x0000000000010000,
337  0x000000000000fffe, 0x000000000000ffff,
338  0x000000000000fffd, 0x000000000000fffe,
339  0x000000000000fffc, 0x000000000000fffd,
340  0x000000000000fffb, 0x0000000000008080,
341  0x000000000000807e, 0x000000000000807f,
342  0x000000000000807d, 0x000000000000807e,
343  0x000000000000807c, 0x000000000000807d,
344  0x000000000000807b, 0x0000000000008020,
345  0x000000000000801e, 0x0000000000008003,
346  0x0000000000008001, 0x0000000000008002,
347  0x0000000000008000, 0x0000000000008001,
348  0x0000000000008000, 0x0000000033333334,
349  0x0000000000007fff, 0x0000000033333333,
350  0x0000000000007ffe, 0x0000000033333332,
351  0x0000000000007ffd, 0x0000000033333314,
352  0x0000000000007fdf, 0x00000000333332b7,
353  0x0000000000007f82, 0x00000000333332b6,
354  0x0000000000007f81, 0x00000000333332b5,
355  0x0000000000007f80, 0x000000003332b337,
356  0x0000000000000002, 0x000000003332b336,
357  0x0000000000000001, 0x000000003332b335,
358  0x0000000000000000, 0x0000000000000001,
359  0x000000003332b334, 0x0000000022222223,
360  0x000000005554d556, 0x000000004ccccccb,
361  0x000000007fff7ffe, 0x000000004ccccccc,
362  0x000000007fff7fff, 0x000000004ccccccd,
363  0x000000007fff8000, 0x00000000b3333334,
364  0x0000000080007fff, 0x00000000b3333333,
365  0x0000000080007ffe, 0x000000008888888a,
366  0x000000005555d555, 0x0000000066666668,
367  0x000000003333b333, 0x000000003333b334,
368  0x000000000000ffff, 0x000000003333b333,
369  0x000000000000fffe, 0x000000003333b332,
370  0x000000000000fffd, 0x000000003333b331,
371  0x000000000000fffc, 0x00000000333333b4,
372  0x000000000000807f, 0x00000000333333b3,
373  0x000000000000807e, 0x00000000333333b2,
374  0x000000000000807d, 0x00000000333333b1,
375  0x000000000000807c, 0x0000000033333354,
376  0x000000000000801f, 0x0000000033333337,
377  0x0000000000008002, 0x0000000033333336,
378  0x0000000000008001, 0x0000000033333335,
379  0x0000000033333334, 0x0000000055555556,
380  0x0000000033333333, 0x0000000055555555,
381  0x0000000033333332, 0x0000000055555554,
382  0x0000000033333331, 0x0000000055555536,
383  0x0000000033333313, 0x00000000555554d9,
384  0x00000000333332b6, 0x00000000555554d8,
385  0x00000000333332b5, 0x00000000555554d7,
386  0x00000000333332b4, 0x000000005554d559,
387  0x000000003332b336, 0x000000005554d558,
388  0x000000003332b335, 0x000000005554d557,
389  0x000000003332b334, 0x0000000022222223,
390  0x0000000000000000, 0x0000000000000001,
391  0x0000000022222222, 0x000000002aaaaaa9,
392  0x000000004cccccca, 0x000000002aaaaaaa,
393  0x000000004ccccccb, 0x000000002aaaaaab,
394  0x000000004ccccccc, 0x00000000d5555556,
395  0x00000000b3333333, 0x00000000d5555555,
396  0x00000000b3333332, 0x00000000aaaaaaac,
397  0x0000000088888889, 0x000000008888888a,
398  0x0000000066666667, 0x000000005555d556,
399  0x000000003333b333, 0x000000005555d555,
400  0x000000003333b332, 0x000000005555d554,
401  0x000000003333b331, 0x000000005555d553,
402  0x000000003333b330, 0x00000000555555d6,
403  0x00000000333333b3, 0x00000000555555d5,
404  0x00000000333333b2, 0x00000000555555d4,
405  0x00000000333333b1, 0x00000000555555d3,
406  0x00000000333333b0, 0x0000000055555576,
407  0x0000000033333353, 0x0000000055555559,
408  0x0000000033333336, 0x0000000055555558,
409  0x0000000033333335, 0x0000000055555557,
410  0x0000000055555556, 0x000000007ffffffe,
411  0x0000000055555555, 0x000000007ffffffd,
412  0x0000000055555554, 0x000000007ffffffc,
413  0x0000000055555553, 0x000000007fffffde,
414  0x0000000055555535, 0x000000007fffff81,
415  0x00000000555554d8, 0x000000007fffff80,
416  0x00000000555554d7, 0x000000007fffff7f,
417  0x00000000555554d6, 0x000000007fff8001,
418  0x000000005554d558, 0x000000007fff8000,
419  0x000000005554d557, 0x000000007fff7fff,
420  0x000000005554d556, 0x000000004ccccccb,
421  0x0000000022222222, 0x000000002aaaaaa9,
422  0x0000000000000000, 0x0000000000000001,
423  0x000000002aaaaaa8, 0x0000000000000002,
424  0x000000002aaaaaa9, 0x0000000000000003,
425  0x000000002aaaaaaa, 0x00000000fffffffe,
426  0x00000000d5555555, 0x00000000fffffffd,
427  0x00000000d5555554, 0x00000000d5555554,
428  0x00000000aaaaaaab, 0x00000000b3333332,
429  0x0000000088888889, 0x0000000080007ffe,
430  0x000000005555d555, 0x0000000080007ffd,
431  0x000000005555d554, 0x0000000080007ffc,
432  0x000000005555d553, 0x0000000080007ffb,
433  0x000000005555d552, 0x000000008000007e,
434  0x00000000555555d5, 0x000000008000007d,
435  0x00000000555555d4, 0x000000008000007c,
436  0x00000000555555d3, 0x000000008000007b,
437  0x00000000555555d2, 0x000000008000001e,
438  0x0000000055555575, 0x0000000080000001,
439  0x0000000055555558, 0x0000000080000000,
440  0x0000000055555557, 0x000000007fffffff,
441  0x000000007ffffffe, 0x000000007fffffff,
442  0x000000007ffffffd, 0x000000007ffffffe,
443  0x000000007ffffffc, 0x000000007ffffffd,
444  0x000000007ffffffb, 0x000000007fffffdf,
445  0x000000007fffffdd, 0x000000007fffff82,
446  0x000000007fffff80, 0x000000007fffff81,
447  0x000000007fffff7f, 0x000000007fffff80,
448  0x000000007fffff7e, 0x000000007fff8002,
449  0x000000007fff8000, 0x000000007fff8001,
450  0x000000007fff7fff, 0x000000007fff8000,
451  0x000000007fff7ffe, 0x000000004ccccccc,
452  0x000000004cccccca, 0x000000002aaaaaaa,
453  0x000000002aaaaaa8, 0x0000000000000002,
454  0x0000000000000000, 0x0000000000000001,
455  0x0000000000000001, 0x0000000000000002,
456  0x0000000000000002, 0x00000000ffffffff,
457  0x00000000fffffffd, 0x00000000fffffffe,
458  0x00000000fffffffc, 0x00000000d5555555,
459  0x00000000d5555553, 0x00000000b3333333,
460  0x00000000b3333331, 0x0000000080007fff,
461  0x0000000080007ffd, 0x0000000080007ffe,
462  0x0000000080007ffc, 0x0000000080007ffd,
463  0x0000000080007ffb, 0x0000000080007ffc,
464  0x0000000080007ffa, 0x000000008000007f,
465  0x000000008000007d, 0x000000008000007e,
466  0x000000008000007c, 0x000000008000007d,
467  0x000000008000007b, 0x000000008000007c,
468  0x000000008000007a, 0x000000008000001f,
469  0x000000008000001d, 0x0000000080000002,
470  0x0000000080000000, 0x0000000080000001,
471  0x000000007fffffff, 0x0000000080000000,
472  0x000000007fffffff, 0x0000000080000000,
473  0x000000007ffffffe, 0x000000007fffffff,
474  0x000000007ffffffd, 0x000000007ffffffe,
475  0x000000007ffffffc, 0x000000007fffffe0,
476  0x000000007fffffde, 0x000000007fffff83,
477  0x000000007fffff81, 0x000000007fffff82,
478  0x000000007fffff80, 0x000000007fffff81,
479  0x000000007fffff7f, 0x000000007fff8003,
480  0x000000007fff8001, 0x000000007fff8002,
481  0x000000007fff8000, 0x000000007fff8001,
482  0x000000007fff7fff, 0x000000004ccccccd,
483  0x000000004ccccccb, 0x000000002aaaaaab,
484  0x000000002aaaaaa9, 0x0000000000000003,
485  0x0000000000000001, 0x0000000000000002,
486  0x0000000000000000, 0x0000000000000001,
487  0x0000000000000001, 0x0000000100000000,
488  0x00000000fffffffe, 0x00000000ffffffff,
489  0x00000000fffffffd, 0x00000000d5555556,
490  0x00000000d5555554, 0x00000000b3333334,
491  0x00000000b3333332, 0x0000000080008000,
492  0x0000000080007ffe, 0x0000000080007fff,
493  0x0000000080007ffd, 0x0000000080007ffe,
494  0x0000000080007ffc, 0x0000000080007ffd,
495  0x0000000080007ffb, 0x0000000080000080,
496  0x000000008000007e, 0x000000008000007f,
497  0x000000008000007d, 0x000000008000007e,
498  0x000000008000007c, 0x000000008000007d,
499  0x000000008000007b, 0x0000000080000020,
500  0x000000008000001e, 0x0000000080000003,
501  0x0000000080000001, 0x0000000080000002,
502  0x0000000080000000, 0x0000000080000001,
503  0x0000000080000000, 0x0000000080000001,
504  0x000000007fffffff, 0x0000000080000002,
505  0x000000007ffffffe, 0x0000000080000003,
506  0x000000007ffffffd, 0x0000000080000021,
507  0x000000007fffffdf, 0x000000008000007e,
508  0x000000007fffff82, 0x000000008000007f,
509  0x000000007fffff81, 0x0000000080000080,
510  0x000000007fffff80, 0x0000000080007ffe,
511  0x000000007fff8002, 0x0000000080007fff,
512  0x000000007fff8001, 0x0000000080008000,
513  0x000000007fff8000, 0x00000000b3333334,
514  0x000000004ccccccc, 0x00000000d5555556,
515  0x000000002aaaaaaa, 0x00000000fffffffe,
516  0x0000000000000002, 0x00000000ffffffff,
517  0x0000000000000001, 0x0000000100000000,
518  0x0000000000000000, 0x0000000000000001,
519  0x00000000ffffffff, 0x0000000000000002,
520  0x00000000fffffffe, 0x000000002aaaaaab,
521  0x00000000d5555555, 0x000000004ccccccd,
522  0x00000000b3333333, 0x000000007fff8001,
523  0x0000000080007fff, 0x000000007fff8002,
524  0x0000000080007ffe, 0x000000007fff8003,
525  0x0000000080007ffd, 0x000000007fff8004,
526  0x0000000080007ffc, 0x000000007fffff81,
527  0x000000008000007f, 0x000000007fffff82,
528  0x000000008000007e, 0x000000007fffff83,
529  0x000000008000007d, 0x000000007fffff84,
530  0x000000008000007c, 0x000000007fffffe1,
531  0x000000008000001f, 0x000000007ffffffe,
532  0x0000000080000002, 0x000000007fffffff,
533  0x0000000080000001, 0x0000000080000000,
534  0x000000007fffffff, 0x0000000080000000,
535  0x0000000080000000, 0x0000000080000001,
536  0x0000000080000001, 0x0000000080000002,
537  0x0000000080000002, 0x0000000080000020,
538  0x0000000080000020, 0x000000008000007d,
539  0x000000008000007d, 0x000000008000007e,
540  0x000000008000007e, 0x000000008000007f,
541  0x000000008000007f, 0x0000000080007ffd,
542  0x0000000080007ffd, 0x0000000080007ffe,
543  0x0000000080007ffe, 0x0000000080007fff,
544  0x0000000080007fff, 0x00000000b3333333,
545  0x00000000b3333333, 0x00000000d5555555,
546  0x00000000d5555555, 0x00000000fffffffd,
547  0x00000000fffffffd, 0x00000000fffffffe,
548  0x00000000fffffffe, 0x00000000ffffffff,
549  0x00000000ffffffff, 0x0000000000000002,
550  0x0000000000000000, 0x0000000000000001,
551  0x0000000000000001, 0x000000002aaaaaaa,
552  0x000000002aaaaaaa, 0x000000004ccccccc,
553  0x000000004ccccccc, 0x000000007fff8000,
554  0x000000007fff8000, 0x000000007fff8001,
555  0x000000007fff8001, 0x000000007fff8002,
556  0x000000007fff8002, 0x000000007fff8003,
557  0x000000007fff8003, 0x000000007fffff80,
558  0x000000007fffff80, 0x000000007fffff81,
559  0x000000007fffff81, 0x000000007fffff82,
560  0x000000007fffff82, 0x000000007fffff83,
561  0x000000007fffff83, 0x000000007fffffe0,
562  0x000000007fffffe0, 0x000000007ffffffd,
563  0x000000007ffffffd, 0x000000007ffffffe,
564  0x000000007ffffffe, 0x000000007fffffff,
565  0x000000007ffffffe, 0x0000000055555557,
566  0x000000007fffffff, 0x0000000055555558,
567  0x0000000080000000, 0x0000000055555559,
568  0x0000000080000001, 0x0000000055555577,
569  0x000000008000001f, 0x00000000555555d4,
570  0x000000008000007c, 0x00000000555555d5,
571  0x000000008000007d, 0x00000000555555d6,
572  0x000000008000007e, 0x000000005555d554,
573  0x0000000080007ffc, 0x000000005555d555,
574  0x0000000080007ffd, 0x000000005555d556,
575  0x0000000080007ffe, 0x000000008888888a,
576  0x00000000b3333332, 0x00000000aaaaaaac,
577  0x00000000d5555554, 0x00000000d5555554,
578  0x00000000fffffffc, 0x00000000d5555555,
579  0x00000000fffffffd, 0x00000000d5555556,
580  0x00000000fffffffe, 0x000000002aaaaaab,
581  0x0000000000000001, 0x000000002aaaaaaa,
582  0x0000000000000000, 0x0000000000000001,
583  0x000000002aaaaaa9, 0x0000000022222223,
584  0x000000004ccccccb, 0x000000005554d557,
585  0x000000007fff7fff, 0x000000005554d558,
586  0x000000007fff8000, 0x000000005554d559,
587  0x000000007fff8001, 0x000000005554d55a,
588  0x000000007fff8002, 0x00000000555554d7,
589  0x000000007fffff7f, 0x00000000555554d8,
590  0x000000007fffff80, 0x00000000555554d9,
591  0x000000007fffff81, 0x00000000555554da,
592  0x000000007fffff82, 0x0000000055555537,
593  0x000000007fffffdf, 0x0000000055555554,
594  0x000000007ffffffc, 0x0000000055555555,
595  0x000000007ffffffd, 0x0000000055555556,
596  0x0000000055555555, 0x0000000033333335,
597  0x0000000055555556, 0x0000000033333336,
598  0x0000000055555557, 0x0000000033333337,
599  0x0000000055555558, 0x0000000033333355,
600  0x0000000055555576, 0x00000000333333b2,
601  0x00000000555555d3, 0x00000000333333b3,
602  0x00000000555555d4, 0x00000000333333b4,
603  0x00000000555555d5, 0x000000003333b332,
604  0x000000005555d553, 0x000000003333b333,
605  0x000000005555d554, 0x000000003333b334,
606  0x000000005555d555, 0x0000000066666668,
607  0x0000000088888889, 0x000000008888888a,
608  0x00000000aaaaaaab, 0x00000000b3333332,
609  0x00000000d5555553, 0x00000000b3333333,
610  0x00000000d5555554, 0x00000000b3333334,
611  0x00000000d5555555, 0x000000004ccccccd,
612  0x000000002aaaaaaa, 0x000000004ccccccc,
613  0x000000002aaaaaa9, 0x0000000022222223,
614  0x0000000000000000, 0x0000000000000001,
615  0x0000000022222222, 0x000000003332b335,
616  0x000000005554d556, 0x000000003332b336,
617  0x000000005554d557, 0x000000003332b337,
618  0x000000005554d558, 0x000000003332b338,
619  0x000000005554d559, 0x00000000333332b5,
620  0x00000000555554d6, 0x00000000333332b6,
621  0x00000000555554d7, 0x00000000333332b7,
622  0x00000000555554d8, 0x00000000333332b8,
623  0x00000000555554d9, 0x0000000033333315,
624  0x0000000055555536, 0x0000000033333332,
625  0x0000000055555553, 0x0000000033333333,
626  0x0000000055555554, 0x0000000033333334,
627  0x0000000033333333, 0x0000000000008001,
628  0x0000000033333334, 0x0000000000008002,
629  0x0000000033333335, 0x0000000000008003,
630  0x0000000033333336, 0x0000000000008021,
631  0x0000000033333354, 0x000000000000807e,
632  0x00000000333333b1, 0x000000000000807f,
633  0x00000000333333b2, 0x0000000000008080,
634  0x00000000333333b3, 0x000000000000fffe,
635  0x000000003333b331, 0x000000000000ffff,
636  0x000000003333b332, 0x0000000000010000,
637  0x000000003333b333, 0x000000003333b334,
638  0x0000000066666667, 0x000000005555d556,
639  0x0000000088888889, 0x0000000080007ffe,
640  0x00000000b3333331, 0x0000000080007fff,
641  0x00000000b3333332, 0x0000000080008000,
642  0x00000000b3333333, 0x000000007fff8001,
643  0x000000004ccccccc, 0x000000007fff8000,
644  0x000000004ccccccb, 0x000000005554d557,
645  0x0000000022222222, 0x000000003332b335,
646  0x0000000000000000, 0x0000000000000001,
647  0x000000003332b334, 0x0000000000000002,
648  0x000000003332b335, 0x0000000000000003,
649  0x000000003332b336, 0x0000000000000004,
650  0x000000003332b337, 0x0000000000007f81,
651  0x00000000333332b4, 0x0000000000007f82,
652  0x00000000333332b5, 0x0000000000007f83,
653  0x00000000333332b6, 0x0000000000007f84,
654  0x00000000333332b7, 0x0000000000007fe1,
655  0x0000000033333314, 0x0000000000007ffe,
656  0x0000000033333331, 0x0000000000007fff,
657  0x0000000033333332, 0x0000000000008000,
658  0x0000000000007fff, 0x0000000000008000,
659  0x0000000000008000, 0x0000000000008001,
660  0x0000000000008001, 0x0000000000008002,
661  0x0000000000008002, 0x0000000000008020,
662  0x0000000000008020, 0x000000000000807d,
663  0x000000000000807d, 0x000000000000807e,
664  0x000000000000807e, 0x000000000000807f,
665  0x000000000000807f, 0x000000000000fffd,
666  0x000000000000fffd, 0x000000000000fffe,
667  0x000000000000fffe, 0x000000000000ffff,
668  0x000000000000ffff, 0x000000003333b333,
669  0x000000003333b333, 0x000000005555d555,
670  0x000000005555d555, 0x0000000080007ffd,
671  0x0000000080007ffd, 0x0000000080007ffe,
672  0x0000000080007ffe, 0x0000000080007fff,
673  0x0000000080007fff, 0x000000007fff8002,
674  0x000000007fff8000, 0x000000007fff8001,
675  0x000000007fff7fff, 0x000000005554d558,
676  0x000000005554d556, 0x000000003332b336,
677  0x000000003332b334, 0x0000000000000002,
678  0x0000000000000000, 0x0000000000000001,
679  0x0000000000000001, 0x0000000000000002,
680  0x0000000000000002, 0x0000000000000003,
681  0x0000000000000003, 0x0000000000007f80,
682  0x0000000000007f80, 0x0000000000007f81,
683  0x0000000000007f81, 0x0000000000007f82,
684  0x0000000000007f82, 0x0000000000007f83,
685  0x0000000000007f83, 0x0000000000007fe0,
686  0x0000000000007fe0, 0x0000000000007ffd,
687  0x0000000000007ffd, 0x0000000000007ffe,
688  0x0000000000007ffe, 0x0000000000007fff,
689  0x0000000000007ffe, 0x0000000000007fff,
690  0x0000000000007fff, 0x0000000000008000,
691  0x0000000000008000, 0x0000000000008001,
692  0x0000000000008001, 0x000000000000801f,
693  0x000000000000801f, 0x000000000000807c,
694  0x000000000000807c, 0x000000000000807d,
695  0x000000000000807d, 0x000000000000807e,
696  0x000000000000807e, 0x000000000000fffc,
697  0x000000000000fffc, 0x000000000000fffd,
698  0x000000000000fffd, 0x000000000000fffe,
699  0x000000000000fffe, 0x000000003333b332,
700  0x000000003333b332, 0x000000005555d554,
701  0x000000005555d554, 0x0000000080007ffc,
702  0x0000000080007ffc, 0x0000000080007ffd,
703  0x0000000080007ffd, 0x0000000080007ffe,
704  0x0000000080007ffe, 0x000000007fff8003,
705  0x000000007fff8001, 0x000000007fff8002,
706  0x000000007fff8000, 0x000000005554d559,
707  0x000000005554d557, 0x000000003332b337,
708  0x000000003332b335, 0x0000000000000003,
709  0x0000000000000001, 0x0000000000000002,
710  0x0000000000000000, 0x0000000000000001,
711  0x0000000000000001, 0x0000000000000002,
712  0x0000000000000002, 0x0000000000007f7f,
713  0x0000000000007f7f, 0x0000000000007f80,
714  0x0000000000007f80, 0x0000000000007f81,
715  0x0000000000007f81, 0x0000000000007f82,
716  0x0000000000007f82, 0x0000000000007fdf,
717  0x0000000000007fdf, 0x0000000000007ffc,
718  0x0000000000007ffc, 0x0000000000007ffd,
719  0x0000000000007ffd, 0x0000000000007ffe,
720  0x0000000000007ffd, 0x0000000000007ffe,
721  0x0000000000007ffe, 0x0000000000007fff,
722  0x0000000000007fff, 0x0000000000008000,
723  0x0000000000008000, 0x000000000000801e,
724  0x000000000000801e, 0x000000000000807b,
725  0x000000000000807b, 0x000000000000807c,
726  0x000000000000807c, 0x000000000000807d,
727  0x000000000000807d, 0x000000000000fffb,
728  0x000000000000fffb, 0x000000000000fffc,
729  0x000000000000fffc, 0x000000000000fffd,
730  0x000000000000fffd, 0x000000003333b331,
731  0x000000003333b331, 0x000000005555d553,
732  0x000000005555d553, 0x0000000080007ffb,
733  0x0000000080007ffb, 0x0000000080007ffc,
734  0x0000000080007ffc, 0x0000000080007ffd,
735  0x0000000080007ffd, 0x000000007fff8004,
736  0x000000007fff8002, 0x000000007fff8003,
737  0x000000007fff8001, 0x000000005554d55a,
738  0x000000005554d558, 0x000000003332b338,
739  0x000000003332b336, 0x0000000000000004,
740  0x0000000000000002, 0x0000000000000003,
741  0x0000000000000001, 0x0000000000000002,
742  0x0000000000000000, 0x0000000000000001,
743  0x0000000000000001, 0x0000000000007f7e,
744  0x0000000000007f7e, 0x0000000000007f7f,
745  0x0000000000007f7f, 0x0000000000007f80,
746  0x0000000000007f80, 0x0000000000007f81,
747  0x0000000000007f81, 0x0000000000007fde,
748  0x0000000000007fde, 0x0000000000007ffb,
749  0x0000000000007ffb, 0x0000000000007ffc,
750  0x0000000000007ffc, 0x0000000000007ffd,
751  0x0000000000007ffc, 0x0000000000000081,
752  0x0000000000007ffd, 0x0000000000000082,
753  0x0000000000007ffe, 0x0000000000000083,
754  0x0000000000007fff, 0x00000000000000a1,
755  0x000000000000801d, 0x00000000000000fe,
756  0x000000000000807a, 0x00000000000000ff,
757  0x000000000000807b, 0x0000000000000100,
758  0x000000000000807c, 0x000000000000807e,
759  0x000000000000fffa, 0x000000000000807f,
760  0x000000000000fffb, 0x0000000000008080,
761  0x000000000000fffc, 0x00000000333333b4,
762  0x000000003333b330, 0x00000000555555d6,
763  0x000000005555d552, 0x000000008000007e,
764  0x0000000080007ffa, 0x000000008000007f,
765  0x0000000080007ffb, 0x0000000080000080,
766  0x0000000080007ffc, 0x000000007fffff81,
767  0x000000007fff8003, 0x000000007fffff80,
768  0x000000007fff8002, 0x00000000555554d7,
769  0x000000005554d559, 0x00000000333332b5,
770  0x000000003332b337, 0x0000000000007f81,
771  0x0000000000000003, 0x0000000000007f80,
772  0x0000000000000002, 0x0000000000007f7f,
773  0x0000000000000001, 0x0000000000007f7e,
774  0x0000000000000000, 0x0000000000000001,
775  0x0000000000007f7d, 0x0000000000000002,
776  0x0000000000007f7e, 0x0000000000000003,
777  0x0000000000007f7f, 0x0000000000000004,
778  0x0000000000007f80, 0x0000000000000061,
779  0x0000000000007fdd, 0x000000000000007e,
780  0x0000000000007ffa, 0x000000000000007f,
781  0x0000000000007ffb, 0x0000000000000080,
782  0x000000000000007f, 0x0000000000000080,
783  0x0000000000000080, 0x0000000000000081,
784  0x0000000000000081, 0x0000000000000082,
785  0x0000000000000082, 0x00000000000000a0,
786  0x00000000000000a0, 0x00000000000000fd,
787  0x00000000000000fd, 0x00000000000000fe,
788  0x00000000000000fe, 0x00000000000000ff,
789  0x00000000000000ff, 0x000000000000807d,
790  0x000000000000807d, 0x000000000000807e,
791  0x000000000000807e, 0x000000000000807f,
792  0x000000000000807f, 0x00000000333333b3,
793  0x00000000333333b3, 0x00000000555555d5,
794  0x00000000555555d5, 0x000000008000007d,
795  0x000000008000007d, 0x000000008000007e,
796  0x000000008000007e, 0x000000008000007f,
797  0x000000008000007f, 0x000000007fffff82,
798  0x000000007fffff80, 0x000000007fffff81,
799  0x000000007fffff7f, 0x00000000555554d8,
800  0x00000000555554d6, 0x00000000333332b6,
801  0x00000000333332b4, 0x0000000000007f82,
802  0x0000000000007f80, 0x0000000000007f81,
803  0x0000000000007f7f, 0x0000000000007f80,
804  0x0000000000007f7e, 0x0000000000007f7f,
805  0x0000000000007f7d, 0x0000000000000002,
806  0x0000000000000000, 0x0000000000000001,
807  0x0000000000000001, 0x0000000000000002,
808  0x0000000000000002, 0x0000000000000003,
809  0x0000000000000003, 0x0000000000000060,
810  0x0000000000000060, 0x000000000000007d,
811  0x000000000000007d, 0x000000000000007e,
812  0x000000000000007e, 0x000000000000007f,
813  0x000000000000007e, 0x000000000000007f,
814  0x000000000000007f, 0x0000000000000080,
815  0x0000000000000080, 0x0000000000000081,
816  0x0000000000000081, 0x000000000000009f,
817  0x000000000000009f, 0x00000000000000fc,
818  0x00000000000000fc, 0x00000000000000fd,
819  0x00000000000000fd, 0x00000000000000fe,
820  0x00000000000000fe, 0x000000000000807c,
821  0x000000000000807c, 0x000000000000807d,
822  0x000000000000807d, 0x000000000000807e,
823  0x000000000000807e, 0x00000000333333b2,
824  0x00000000333333b2, 0x00000000555555d4,
825  0x00000000555555d4, 0x000000008000007c,
826  0x000000008000007c, 0x000000008000007d,
827  0x000000008000007d, 0x000000008000007e,
828  0x000000008000007e, 0x000000007fffff83,
829  0x000000007fffff81, 0x000000007fffff82,
830  0x000000007fffff80, 0x00000000555554d9,
831  0x00000000555554d7, 0x00000000333332b7,
832  0x00000000333332b5, 0x0000000000007f83,
833  0x0000000000007f81, 0x0000000000007f82,
834  0x0000000000007f80, 0x0000000000007f81,
835  0x0000000000007f7f, 0x0000000000007f80,
836  0x0000000000007f7e, 0x0000000000000003,
837  0x0000000000000001, 0x0000000000000002,
838  0x0000000000000000, 0x0000000000000001,
839  0x0000000000000001, 0x0000000000000002,
840  0x0000000000000002, 0x000000000000005f,
841  0x000000000000005f, 0x000000000000007c,
842  0x000000000000007c, 0x000000000000007d,
843  0x000000000000007d, 0x000000000000007e,
844  0x000000000000007d, 0x000000000000007e,
845  0x000000000000007e, 0x000000000000007f,
846  0x000000000000007f, 0x0000000000000080,
847  0x0000000000000080, 0x000000000000009e,
848  0x000000000000009e, 0x00000000000000fb,
849  0x00000000000000fb, 0x00000000000000fc,
850  0x00000000000000fc, 0x00000000000000fd,
851  0x00000000000000fd, 0x000000000000807b,
852  0x000000000000807b, 0x000000000000807c,
853  0x000000000000807c, 0x000000000000807d,
854  0x000000000000807d, 0x00000000333333b1,
855  0x00000000333333b1, 0x00000000555555d3,
856  0x00000000555555d3, 0x000000008000007b,
857  0x000000008000007b, 0x000000008000007c,
858  0x000000008000007c, 0x000000008000007d,
859  0x000000008000007d, 0x000000007fffff84,
860  0x000000007fffff82, 0x000000007fffff83,
861  0x000000007fffff81, 0x00000000555554da,
862  0x00000000555554d8, 0x00000000333332b8,
863  0x00000000333332b6, 0x0000000000007f84,
864  0x0000000000007f82, 0x0000000000007f83,
865  0x0000000000007f81, 0x0000000000007f82,
866  0x0000000000007f80, 0x0000000000007f81,
867  0x0000000000007f7f, 0x0000000000000004,
868  0x0000000000000002, 0x0000000000000003,
869  0x0000000000000001, 0x0000000000000002,
870  0x0000000000000000, 0x0000000000000001,
871  0x0000000000000001, 0x000000000000005e,
872  0x000000000000005e, 0x000000000000007b,
873  0x000000000000007b, 0x000000000000007c,
874  0x000000000000007c, 0x000000000000007d,
875  0x000000000000007c, 0x0000000000000021,
876  0x000000000000007d, 0x0000000000000022,
877  0x000000000000007e, 0x0000000000000023,
878  0x000000000000007f, 0x0000000000000041,
879  0x000000000000009d, 0x000000000000009e,
880  0x00000000000000fa, 0x000000000000009f,
881  0x00000000000000fb, 0x00000000000000a0,
882  0x00000000000000fc, 0x000000000000801e,
883  0x000000000000807a, 0x000000000000801f,
884  0x000000000000807b, 0x0000000000008020,
885  0x000000000000807c, 0x0000000033333354,
886  0x00000000333333b0, 0x0000000055555576,
887  0x00000000555555d2, 0x000000008000001e,
888  0x000000008000007a, 0x000000008000001f,
889  0x000000008000007b, 0x0000000080000020,
890  0x000000008000007c, 0x000000007fffffe1,
891  0x000000007fffff83, 0x000000007fffffe0,
892  0x000000007fffff82, 0x0000000055555537,
893  0x00000000555554d9, 0x0000000033333315,
894  0x00000000333332b7, 0x0000000000007fe1,
895  0x0000000000007f83, 0x0000000000007fe0,
896  0x0000000000007f82, 0x0000000000007fdf,
897  0x0000000000007f81, 0x0000000000007fde,
898  0x0000000000007f80, 0x0000000000000061,
899  0x0000000000000003, 0x0000000000000060,
900  0x0000000000000002, 0x000000000000005f,
901  0x0000000000000001, 0x000000000000005e,
902  0x0000000000000000, 0x0000000000000001,
903  0x000000000000005d, 0x000000000000001e,
904  0x000000000000007a, 0x000000000000001f,
905  0x000000000000007b, 0x0000000000000020,
906  0x000000000000001f, 0x0000000000000004,
907  0x0000000000000020, 0x0000000000000005,
908  0x0000000000000021, 0x0000000000000006,
909  0x0000000000000022, 0x0000000000000024,
910  0x0000000000000040, 0x0000000000000081,
911  0x000000000000009d, 0x0000000000000082,
912  0x000000000000009e, 0x0000000000000083,
913  0x000000000000009f, 0x0000000000008001,
914  0x000000000000801d, 0x0000000000008002,
915  0x000000000000801e, 0x0000000000008003,
916  0x000000000000801f, 0x0000000033333337,
917  0x0000000033333353, 0x0000000055555559,
918  0x0000000055555575, 0x0000000080000001,
919  0x000000008000001d, 0x0000000080000002,
920  0x000000008000001e, 0x0000000080000003,
921  0x000000008000001f, 0x000000007ffffffe,
922  0x000000007fffffe0, 0x000000007ffffffd,
923  0x000000007fffffdf, 0x0000000055555554,
924  0x0000000055555536, 0x0000000033333332,
925  0x0000000033333314, 0x0000000000007ffe,
926  0x0000000000007fe0, 0x0000000000007ffd,
927  0x0000000000007fdf, 0x0000000000007ffc,
928  0x0000000000007fde, 0x0000000000007ffb,
929  0x0000000000007fdd, 0x000000000000007e,
930  0x0000000000000060, 0x000000000000007d,
931  0x000000000000005f, 0x000000000000007c,
932  0x000000000000005e, 0x000000000000007b,
933  0x000000000000005d, 0x000000000000001e,
934  0x0000000000000000, 0x0000000000000001,
935  0x000000000000001d, 0x0000000000000002,
936  0x000000000000001e, 0x0000000000000003,
937  0x0000000000000002, 0x0000000000000003,
938  0x0000000000000003, 0x0000000000000004,
939  0x0000000000000004, 0x0000000000000005,
940  0x0000000000000005, 0x0000000000000023,
941  0x0000000000000023, 0x0000000000000080,
942  0x0000000000000080, 0x0000000000000081,
943  0x0000000000000081, 0x0000000000000082,
944  0x0000000000000082, 0x0000000000008000,
945  0x0000000000008000, 0x0000000000008001,
946  0x0000000000008001, 0x0000000000008002,
947  0x0000000000008002, 0x0000000033333336,
948  0x0000000033333336, 0x0000000055555558,
949  0x0000000055555558, 0x0000000080000000,
950  0x0000000080000000, 0x0000000080000001,
951  0x0000000080000001, 0x0000000080000002,
952  0x0000000080000002, 0x000000007fffffff,
953  0x000000007ffffffd, 0x000000007ffffffe,
954  0x000000007ffffffc, 0x0000000055555555,
955  0x0000000055555553, 0x0000000033333333,
956  0x0000000033333331, 0x0000000000007fff,
957  0x0000000000007ffd, 0x0000000000007ffe,
958  0x0000000000007ffc, 0x0000000000007ffd,
959  0x0000000000007ffb, 0x0000000000007ffc,
960  0x0000000000007ffa, 0x000000000000007f,
961  0x000000000000007d, 0x000000000000007e,
962  0x000000000000007c, 0x000000000000007d,
963  0x000000000000007b, 0x000000000000007c,
964  0x000000000000007a, 0x000000000000001f,
965  0x000000000000001d, 0x0000000000000002,
966  0x0000000000000000, 0x0000000000000001,
967  0x0000000000000001, 0x0000000000000002,
968  0x0000000000000001, 0x0000000000000002,
969  0x0000000000000002, 0x0000000000000003,
970  0x0000000000000003, 0x0000000000000004,
971  0x0000000000000004, 0x0000000000000022,
972  0x0000000000000022, 0x000000000000007f,
973  0x000000000000007f, 0x0000000000000080,
974  0x0000000000000080, 0x0000000000000081,
975  0x0000000000000081, 0x0000000000007fff,
976  0x0000000000007fff, 0x0000000000008000,
977  0x0000000000008000, 0x0000000000008001,
978  0x0000000000008001, 0x0000000033333335,
979  0x0000000033333335, 0x0000000055555557,
980  0x0000000055555557, 0x000000007fffffff,
981  0x000000007fffffff, 0x0000000080000000,
982  0x0000000080000000, 0x0000000080000001,
983  0x0000000080000001, 0x0000000080000000,
984  0x000000007ffffffe, 0x000000007fffffff,
985  0x000000007ffffffd, 0x0000000055555556,
986  0x0000000055555554, 0x0000000033333334,
987  0x0000000033333332, 0x0000000000008000,
988  0x0000000000007ffe, 0x0000000000007fff,
989  0x0000000000007ffd, 0x0000000000007ffe,
990  0x0000000000007ffc, 0x0000000000007ffd,
991  0x0000000000007ffb, 0x0000000000000080,
992  0x000000000000007e, 0x000000000000007f,
993  0x000000000000007d, 0x000000000000007e,
994  0x000000000000007c, 0x000000000000007d,
995  0x000000000000007b, 0x0000000000000020,
996  0x000000000000001e, 0x0000000000000003,
997  0x0000000000000001, 0x0000000000000002,
998  0x0000000000000000, 0x0000000000000001,
999};
1000const unsigned kExpectedCount_NEON_sabal2_2D = 961;
1001
1002#endif  // VIXL_SIM_SABAL2_2D_TRACE_AARCH64_H_
1003