• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1  // Copyright 2015, ARM Limited
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_A64_H_
35  #define VIXL_SIM_SABDL_2D_TRACE_A64_H_
36  
37  const 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  };
1000  const unsigned kExpectedCount_NEON_sabdl_2D = 961;
1001  
1002  #endif  // VIXL_SIM_SABDL_2D_TRACE_A64_H_
1003