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