• Home
  • History
  • Annotate
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1  // Copyright 2015, VIXL authors
2  // All rights reserved.
3  //
4  // Redistribution and use in source and binary forms, with or without
5  // modification, are permitted provided that the following conditions are met:
6  //
7  //   * Redistributions of source code must retain the above copyright notice,
8  //     this list of conditions and the following disclaimer.
9  //   * Redistributions in binary form must reproduce the above copyright notice,
10  //     this list of conditions and the following disclaimer in the documentation
11  //     and/or other materials provided with the distribution.
12  //   * Neither the name of ARM Limited nor the names of its contributors may be
13  //     used to endorse or promote products derived from this software without
14  //     specific prior written permission.
15  //
16  // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17  // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18  // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19  // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20  // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21  // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22  // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23  // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24  // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25  // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26  
27  
28  // ---------------------------------------------------------------------
29  // This file is auto generated using tools/generate_simulator_traces.py.
30  //
31  // PLEASE DO NOT EDIT.
32  // ---------------------------------------------------------------------
33  
34  #ifndef VIXL_SIM_UADDW_2D_TRACE_AARCH64_H_
35  #define VIXL_SIM_UADDW_2D_TRACE_AARCH64_H_
36  
37  const uint64_t kExpected_NEON_uaddw_2D[] = {
38    0x0000000000007e7d, 0x0000000000007f00,
39    0x0000000000007f7d, 0x00000000007ffd00,
40    0x00000000007ffd7d, 0x0000000000000000,
41    0x000000000000007d, 0x0000000000000001,
42    0x000000000000007e, 0x0000000000000002,
43    0x000000000000007f, 0x0000000000000020,
44    0x000000000000009d, 0x000000000000007d,
45    0x00000000000000fa, 0x000000000000007e,
46    0x00000000000000fb, 0x000000000000007f,
47    0x00000000000000fc, 0x0000000000007ffd,
48    0x000000000000807a, 0x0000000000007ffe,
49    0x000000000000807b, 0x0000000000007fff,
50    0x000000000000807c, 0x0000000033333333,
51    0x00000000333333b0, 0x0000000055555555,
52    0x00000000555555d2, 0x000000007ffffffd,
53    0x000000008000007a, 0x000000007ffffffe,
54    0x000000008000007b, 0x000000007fffffff,
55    0x000000008000007c, 0x0000000080000000,
56    0x000000008000007d, 0x0000000080000001,
57    0x000000008000007e, 0x00000000aaaaaaaa,
58    0x00000000aaaaab27, 0x00000000cccccccc,
59    0x00000000cccccd49, 0x00000000ffff8000,
60    0x00000000ffff807d, 0x00000000ffff8001,
61    0x00000000ffff807e, 0x00000000ffff8002,
62    0x00000000ffff807f, 0x00000000ffff8003,
63    0x00000000ffff8080, 0x00000000ffffff80,
64    0x00000000fffffffd, 0x00000000ffffff81,
65    0x00000000fffffffe, 0x00000000ffffff82,
66    0x00000000ffffffff, 0x00000000ffffff83,
67    0x0000000100000000, 0x00000000ffffffe0,
68    0x000000010000005d, 0x00000000fffffffd,
69    0x00000000fffffffd, 0x00000000ffffffff,
70    0x00000000fffffffe, 0x0000000100000000,
71    0x00000000ffffffff, 0x0000000000000001,
72    0x0000000000000000, 0x0000000000000002,
73    0x0000000000000001, 0x0000000000000003,
74    0x0000000000000002, 0x0000000000000021,
75    0x0000000000000020, 0x000000000000007e,
76    0x000000000000007d, 0x000000000000007f,
77    0x000000000000007e, 0x0000000000000080,
78    0x000000000000007f, 0x0000000000007ffe,
79    0x0000000000007ffd, 0x0000000000007fff,
80    0x0000000000007ffe, 0x0000000000008000,
81    0x0000000000007fff, 0x0000000033333334,
82    0x0000000033333333, 0x0000000055555556,
83    0x0000000055555555, 0x000000007ffffffe,
84    0x000000007ffffffd, 0x000000007fffffff,
85    0x000000007ffffffe, 0x0000000080000000,
86    0x000000007fffffff, 0x0000000080000001,
87    0x0000000080000000, 0x0000000080000002,
88    0x0000000080000001, 0x00000000aaaaaaab,
89    0x00000000aaaaaaaa, 0x00000000cccccccd,
90    0x00000000cccccccc, 0x00000000ffff8001,
91    0x00000000ffff8000, 0x00000000ffff8002,
92    0x00000000ffff8001, 0x00000000ffff8003,
93    0x00000000ffff8002, 0x00000000ffff8004,
94    0x00000000ffff8003, 0x00000000ffffff81,
95    0x00000000ffffff80, 0x00000000ffffff82,
96    0x00000000ffffff81, 0x00000000ffffff83,
97    0x00000000ffffff82, 0x00000000ffffff84,
98    0x00000000ffffff83, 0x00000000ffffffe1,
99    0x00000000ffffffe0, 0x00000000fffffffe,
100    0x00000000fffffffe, 0x0000000100000000,
101    0x00000000ffffffff, 0x0000000100000001,
102    0x0000000100000000, 0x0000000000000002,
103    0x0000000000000001, 0x0000000000000003,
104    0x0000000000000002, 0x0000000000000004,
105    0x0000000000000003, 0x0000000000000022,
106    0x0000000000000021, 0x000000000000007f,
107    0x000000000000007e, 0x0000000000000080,
108    0x000000000000007f, 0x0000000000000081,
109    0x0000000000000080, 0x0000000000007fff,
110    0x0000000000007ffe, 0x0000000000008000,
111    0x0000000000007fff, 0x0000000000008001,
112    0x0000000000008000, 0x0000000033333335,
113    0x0000000033333334, 0x0000000055555557,
114    0x0000000055555556, 0x000000007fffffff,
115    0x000000007ffffffe, 0x0000000080000000,
116    0x000000007fffffff, 0x0000000080000001,
117    0x0000000080000000, 0x0000000080000002,
118    0x0000000080000001, 0x0000000080000003,
119    0x0000000080000002, 0x00000000aaaaaaac,
120    0x00000000aaaaaaab, 0x00000000ccccccce,
121    0x00000000cccccccd, 0x00000000ffff8002,
122    0x00000000ffff8001, 0x00000000ffff8003,
123    0x00000000ffff8002, 0x00000000ffff8004,
124    0x00000000ffff8003, 0x00000000ffff8005,
125    0x00000000ffff8004, 0x00000000ffffff82,
126    0x00000000ffffff81, 0x00000000ffffff83,
127    0x00000000ffffff82, 0x00000000ffffff84,
128    0x00000000ffffff83, 0x00000000ffffff85,
129    0x00000000ffffff84, 0x00000000ffffffe2,
130    0x00000000ffffffe1, 0x00000000ffffffff,
131    0x00000000ffffffff, 0x000000010000003e,
132    0x0000000100000000, 0x000000010000003f,
133    0x0000000100000001, 0x0000000000000040,
134    0x0000000000000002, 0x0000000000000041,
135    0x0000000000000003, 0x0000000000000042,
136    0x0000000000000004, 0x0000000000000060,
137    0x0000000000000022, 0x00000000000000bd,
138    0x000000000000007f, 0x00000000000000be,
139    0x0000000000000080, 0x00000000000000bf,
140    0x0000000000000081, 0x000000000000803d,
141    0x0000000000007fff, 0x000000000000803e,
142    0x0000000000008000, 0x000000000000803f,
143    0x0000000000008001, 0x0000000033333373,
144    0x0000000033333335, 0x0000000055555595,
145    0x0000000055555557, 0x000000008000003d,
146    0x000000007fffffff, 0x000000008000003e,
147    0x0000000080000000, 0x000000008000003f,
148    0x0000000080000001, 0x0000000080000040,
149    0x0000000080000002, 0x0000000080000041,
150    0x0000000080000003, 0x00000000aaaaaaea,
151    0x00000000aaaaaaac, 0x00000000cccccd0c,
152    0x00000000ccccccce, 0x00000000ffff8040,
153    0x00000000ffff8002, 0x00000000ffff8041,
154    0x00000000ffff8003, 0x00000000ffff8042,
155    0x00000000ffff8004, 0x00000000ffff8043,
156    0x00000000ffff8005, 0x00000000ffffffc0,
157    0x00000000ffffff82, 0x00000000ffffffc1,
158    0x00000000ffffff83, 0x00000000ffffffc2,
159    0x00000000ffffff84, 0x00000000ffffffc3,
160    0x00000000ffffff85, 0x0000000100000020,
161    0x00000000ffffffe2, 0x000000010000003d,
162    0x000000010000003d, 0x000000010000007b,
163    0x000000010000003e, 0x000000010000007c,
164    0x000000010000003f, 0x000000000000007d,
165    0x0000000000000040, 0x000000000000007e,
166    0x0000000000000041, 0x000000000000007f,
167    0x0000000000000042, 0x000000000000009d,
168    0x0000000000000060, 0x00000000000000fa,
169    0x00000000000000bd, 0x00000000000000fb,
170    0x00000000000000be, 0x00000000000000fc,
171    0x00000000000000bf, 0x000000000000807a,
172    0x000000000000803d, 0x000000000000807b,
173    0x000000000000803e, 0x000000000000807c,
174    0x000000000000803f, 0x00000000333333b0,
175    0x0000000033333373, 0x00000000555555d2,
176    0x0000000055555595, 0x000000008000007a,
177    0x000000008000003d, 0x000000008000007b,
178    0x000000008000003e, 0x000000008000007c,
179    0x000000008000003f, 0x000000008000007d,
180    0x0000000080000040, 0x000000008000007e,
181    0x0000000080000041, 0x00000000aaaaab27,
182    0x00000000aaaaaaea, 0x00000000cccccd49,
183    0x00000000cccccd0c, 0x00000000ffff807d,
184    0x00000000ffff8040, 0x00000000ffff807e,
185    0x00000000ffff8041, 0x00000000ffff807f,
186    0x00000000ffff8042, 0x00000000ffff8080,
187    0x00000000ffff8043, 0x00000000fffffffd,
188    0x00000000ffffffc0, 0x00000000fffffffe,
189    0x00000000ffffffc1, 0x00000000ffffffff,
190    0x00000000ffffffc2, 0x0000000100000000,
191    0x00000000ffffffc3, 0x000000010000005d,
192    0x0000000100000020, 0x000000010000007a,
193    0x000000010000007a, 0x000000010000007c,
194    0x000000010000007b, 0x000000010000007d,
195    0x000000010000007c, 0x000000000000007e,
196    0x000000000000007d, 0x000000000000007f,
197    0x000000000000007e, 0x0000000000000080,
198    0x000000000000007f, 0x000000000000009e,
199    0x000000000000009d, 0x00000000000000fb,
200    0x00000000000000fa, 0x00000000000000fc,
201    0x00000000000000fb, 0x00000000000000fd,
202    0x00000000000000fc, 0x000000000000807b,
203    0x000000000000807a, 0x000000000000807c,
204    0x000000000000807b, 0x000000000000807d,
205    0x000000000000807c, 0x00000000333333b1,
206    0x00000000333333b0, 0x00000000555555d3,
207    0x00000000555555d2, 0x000000008000007b,
208    0x000000008000007a, 0x000000008000007c,
209    0x000000008000007b, 0x000000008000007d,
210    0x000000008000007c, 0x000000008000007e,
211    0x000000008000007d, 0x000000008000007f,
212    0x000000008000007e, 0x00000000aaaaab28,
213    0x00000000aaaaab27, 0x00000000cccccd4a,
214    0x00000000cccccd49, 0x00000000ffff807e,
215    0x00000000ffff807d, 0x00000000ffff807f,
216    0x00000000ffff807e, 0x00000000ffff8080,
217    0x00000000ffff807f, 0x00000000ffff8081,
218    0x00000000ffff8080, 0x00000000fffffffe,
219    0x00000000fffffffd, 0x00000000ffffffff,
220    0x00000000fffffffe, 0x0000000100000000,
221    0x00000000ffffffff, 0x0000000100000001,
222    0x0000000100000000, 0x000000010000005e,
223    0x000000010000005d, 0x000000010000007b,
224    0x000000010000007b, 0x000000010000007d,
225    0x000000010000007c, 0x000000010000007e,
226    0x000000010000007d, 0x000000000000007f,
227    0x000000000000007e, 0x0000000000000080,
228    0x000000000000007f, 0x0000000000000081,
229    0x0000000000000080, 0x000000000000009f,
230    0x000000000000009e, 0x00000000000000fc,
231    0x00000000000000fb, 0x00000000000000fd,
232    0x00000000000000fc, 0x00000000000000fe,
233    0x00000000000000fd, 0x000000000000807c,
234    0x000000000000807b, 0x000000000000807d,
235    0x000000000000807c, 0x000000000000807e,
236    0x000000000000807d, 0x00000000333333b2,
237    0x00000000333333b1, 0x00000000555555d4,
238    0x00000000555555d3, 0x000000008000007c,
239    0x000000008000007b, 0x000000008000007d,
240    0x000000008000007c, 0x000000008000007e,
241    0x000000008000007d, 0x000000008000007f,
242    0x000000008000007e, 0x0000000080000080,
243    0x000000008000007f, 0x00000000aaaaab29,
244    0x00000000aaaaab28, 0x00000000cccccd4b,
245    0x00000000cccccd4a, 0x00000000ffff807f,
246    0x00000000ffff807e, 0x00000000ffff8080,
247    0x00000000ffff807f, 0x00000000ffff8081,
248    0x00000000ffff8080, 0x00000000ffff8082,
249    0x00000000ffff8081, 0x00000000ffffffff,
250    0x00000000fffffffe, 0x0000000100000000,
251    0x00000000ffffffff, 0x0000000100000001,
252    0x0000000100000000, 0x0000000100000002,
253    0x0000000100000001, 0x000000010000005f,
254    0x000000010000005e, 0x000000010000007c,
255    0x000000010000007c, 0x0000000100007ffb,
256    0x000000010000007d, 0x0000000100007ffc,
257    0x000000010000007e, 0x0000000000007ffd,
258    0x000000000000007f, 0x0000000000007ffe,
259    0x0000000000000080, 0x0000000000007fff,
260    0x0000000000000081, 0x000000000000801d,
261    0x000000000000009f, 0x000000000000807a,
262    0x00000000000000fc, 0x000000000000807b,
263    0x00000000000000fd, 0x000000000000807c,
264    0x00000000000000fe, 0x000000000000fffa,
265    0x000000000000807c, 0x000000000000fffb,
266    0x000000000000807d, 0x000000000000fffc,
267    0x000000000000807e, 0x000000003333b330,
268    0x00000000333333b2, 0x000000005555d552,
269    0x00000000555555d4, 0x0000000080007ffa,
270    0x000000008000007c, 0x0000000080007ffb,
271    0x000000008000007d, 0x0000000080007ffc,
272    0x000000008000007e, 0x0000000080007ffd,
273    0x000000008000007f, 0x0000000080007ffe,
274    0x0000000080000080, 0x00000000aaab2aa7,
275    0x00000000aaaaab29, 0x00000000cccd4cc9,
276    0x00000000cccccd4b, 0x00000000fffffffd,
277    0x00000000ffff807f, 0x00000000fffffffe,
278    0x00000000ffff8080, 0x00000000ffffffff,
279    0x00000000ffff8081, 0x0000000100000000,
280    0x00000000ffff8082, 0x0000000100007f7d,
281    0x00000000ffffffff, 0x0000000100007f7e,
282    0x0000000100000000, 0x0000000100007f7f,
283    0x0000000100000001, 0x0000000100007f80,
284    0x0000000100000002, 0x0000000100007fdd,
285    0x000000010000005f, 0x0000000100007ffa,
286    0x0000000100007ffa, 0x0000000100007ffc,
287    0x0000000100007ffb, 0x0000000100007ffd,
288    0x0000000100007ffc, 0x0000000000007ffe,
289    0x0000000000007ffd, 0x0000000000007fff,
290    0x0000000000007ffe, 0x0000000000008000,
291    0x0000000000007fff, 0x000000000000801e,
292    0x000000000000801d, 0x000000000000807b,
293    0x000000000000807a, 0x000000000000807c,
294    0x000000000000807b, 0x000000000000807d,
295    0x000000000000807c, 0x000000000000fffb,
296    0x000000000000fffa, 0x000000000000fffc,
297    0x000000000000fffb, 0x000000000000fffd,
298    0x000000000000fffc, 0x000000003333b331,
299    0x000000003333b330, 0x000000005555d553,
300    0x000000005555d552, 0x0000000080007ffb,
301    0x0000000080007ffa, 0x0000000080007ffc,
302    0x0000000080007ffb, 0x0000000080007ffd,
303    0x0000000080007ffc, 0x0000000080007ffe,
304    0x0000000080007ffd, 0x0000000080007fff,
305    0x0000000080007ffe, 0x00000000aaab2aa8,
306    0x00000000aaab2aa7, 0x00000000cccd4cca,
307    0x00000000cccd4cc9, 0x00000000fffffffe,
308    0x00000000fffffffd, 0x00000000ffffffff,
309    0x00000000fffffffe, 0x0000000100000000,
310    0x00000000ffffffff, 0x0000000100000001,
311    0x0000000100000000, 0x0000000100007f7e,
312    0x0000000100007f7d, 0x0000000100007f7f,
313    0x0000000100007f7e, 0x0000000100007f80,
314    0x0000000100007f7f, 0x0000000100007f81,
315    0x0000000100007f80, 0x0000000100007fde,
316    0x0000000100007fdd, 0x0000000100007ffb,
317    0x0000000100007ffb, 0x0000000100007ffd,
318    0x0000000100007ffc, 0x0000000100007ffe,
319    0x0000000100007ffd, 0x0000000000007fff,
320    0x0000000000007ffe, 0x0000000000008000,
321    0x0000000000007fff, 0x0000000000008001,
322    0x0000000000008000, 0x000000000000801f,
323    0x000000000000801e, 0x000000000000807c,
324    0x000000000000807b, 0x000000000000807d,
325    0x000000000000807c, 0x000000000000807e,
326    0x000000000000807d, 0x000000000000fffc,
327    0x000000000000fffb, 0x000000000000fffd,
328    0x000000000000fffc, 0x000000000000fffe,
329    0x000000000000fffd, 0x000000003333b332,
330    0x000000003333b331, 0x000000005555d554,
331    0x000000005555d553, 0x0000000080007ffc,
332    0x0000000080007ffb, 0x0000000080007ffd,
333    0x0000000080007ffc, 0x0000000080007ffe,
334    0x0000000080007ffd, 0x0000000080007fff,
335    0x0000000080007ffe, 0x0000000080008000,
336    0x0000000080007fff, 0x00000000aaab2aa9,
337    0x00000000aaab2aa8, 0x00000000cccd4ccb,
338    0x00000000cccd4cca, 0x00000000ffffffff,
339    0x00000000fffffffe, 0x0000000100000000,
340    0x00000000ffffffff, 0x0000000100000001,
341    0x0000000100000000, 0x0000000100000002,
342    0x0000000100000001, 0x0000000100007f7f,
343    0x0000000100007f7e, 0x0000000100007f80,
344    0x0000000100007f7f, 0x0000000100007f81,
345    0x0000000100007f80, 0x0000000100007f82,
346    0x0000000100007f81, 0x0000000100007fdf,
347    0x0000000100007fde, 0x0000000100007ffc,
348    0x0000000100007ffc, 0x000000017ffffffb,
349    0x0000000100007ffd, 0x000000017ffffffc,
350    0x0000000100007ffe, 0x000000007ffffffd,
351    0x0000000000007fff, 0x000000007ffffffe,
352    0x0000000000008000, 0x000000007fffffff,
353    0x0000000000008001, 0x000000008000001d,
354    0x000000000000801f, 0x000000008000007a,
355    0x000000000000807c, 0x000000008000007b,
356    0x000000000000807d, 0x000000008000007c,
357    0x000000000000807e, 0x0000000080007ffa,
358    0x000000000000fffc, 0x0000000080007ffb,
359    0x000000000000fffd, 0x0000000080007ffc,
360    0x000000000000fffe, 0x00000000b3333330,
361    0x000000003333b332, 0x00000000d5555552,
362    0x000000005555d554, 0x00000000fffffffa,
363    0x0000000080007ffc, 0x00000000fffffffb,
364    0x0000000080007ffd, 0x00000000fffffffc,
365    0x0000000080007ffe, 0x00000000fffffffd,
366    0x0000000080007fff, 0x00000000fffffffe,
367    0x0000000080008000, 0x000000012aaaaaa7,
368    0x00000000aaab2aa9, 0x000000014cccccc9,
369    0x00000000cccd4ccb, 0x000000017fff7ffd,
370    0x00000000ffffffff, 0x000000017fff7ffe,
371    0x0000000100000000, 0x000000017fff7fff,
372    0x0000000100000001, 0x000000017fff8000,
373    0x0000000100000002, 0x000000017fffff7d,
374    0x0000000100007f7f, 0x000000017fffff7e,
375    0x0000000100007f80, 0x000000017fffff7f,
376    0x0000000100007f81, 0x000000017fffff80,
377    0x0000000100007f82, 0x000000017fffffdd,
378    0x0000000100007fdf, 0x000000017ffffffa,
379    0x000000017ffffffa, 0x000000017ffffffc,
380    0x000000017ffffffb, 0x000000017ffffffd,
381    0x000000017ffffffc, 0x000000007ffffffe,
382    0x000000007ffffffd, 0x000000007fffffff,
383    0x000000007ffffffe, 0x0000000080000000,
384    0x000000007fffffff, 0x000000008000001e,
385    0x000000008000001d, 0x000000008000007b,
386    0x000000008000007a, 0x000000008000007c,
387    0x000000008000007b, 0x000000008000007d,
388    0x000000008000007c, 0x0000000080007ffb,
389    0x0000000080007ffa, 0x0000000080007ffc,
390    0x0000000080007ffb, 0x0000000080007ffd,
391    0x0000000080007ffc, 0x00000000b3333331,
392    0x00000000b3333330, 0x00000000d5555553,
393    0x00000000d5555552, 0x00000000fffffffb,
394    0x00000000fffffffa, 0x00000000fffffffc,
395    0x00000000fffffffb, 0x00000000fffffffd,
396    0x00000000fffffffc, 0x00000000fffffffe,
397    0x00000000fffffffd, 0x00000000ffffffff,
398    0x00000000fffffffe, 0x000000012aaaaaa8,
399    0x000000012aaaaaa7, 0x000000014cccccca,
400    0x000000014cccccc9, 0x000000017fff7ffe,
401    0x000000017fff7ffd, 0x000000017fff7fff,
402    0x000000017fff7ffe, 0x000000017fff8000,
403    0x000000017fff7fff, 0x000000017fff8001,
404    0x000000017fff8000, 0x000000017fffff7e,
405    0x000000017fffff7d, 0x000000017fffff7f,
406    0x000000017fffff7e, 0x000000017fffff80,
407    0x000000017fffff7f, 0x000000017fffff81,
408    0x000000017fffff80, 0x000000017fffffde,
409    0x000000017fffffdd, 0x000000017ffffffb,
410    0x000000017ffffffb, 0x000000017ffffffd,
411    0x000000017ffffffc, 0x000000017ffffffe,
412    0x000000017ffffffd, 0x000000007fffffff,
413    0x000000007ffffffe, 0x0000000080000000,
414    0x000000007fffffff, 0x0000000080000001,
415    0x0000000080000000, 0x000000008000001f,
416    0x000000008000001e, 0x000000008000007c,
417    0x000000008000007b, 0x000000008000007d,
418    0x000000008000007c, 0x000000008000007e,
419    0x000000008000007d, 0x0000000080007ffc,
420    0x0000000080007ffb, 0x0000000080007ffd,
421    0x0000000080007ffc, 0x0000000080007ffe,
422    0x0000000080007ffd, 0x00000000b3333332,
423    0x00000000b3333331, 0x00000000d5555554,
424    0x00000000d5555553, 0x00000000fffffffc,
425    0x00000000fffffffb, 0x00000000fffffffd,
426    0x00000000fffffffc, 0x00000000fffffffe,
427    0x00000000fffffffd, 0x00000000ffffffff,
428    0x00000000fffffffe, 0x0000000100000000,
429    0x00000000ffffffff, 0x000000012aaaaaa9,
430    0x000000012aaaaaa8, 0x000000014ccccccb,
431    0x000000014cccccca, 0x000000017fff7fff,
432    0x000000017fff7ffe, 0x000000017fff8000,
433    0x000000017fff7fff, 0x000000017fff8001,
434    0x000000017fff8000, 0x000000017fff8002,
435    0x000000017fff8001, 0x000000017fffff7f,
436    0x000000017fffff7e, 0x000000017fffff80,
437    0x000000017fffff7f, 0x000000017fffff81,
438    0x000000017fffff80, 0x000000017fffff82,
439    0x000000017fffff81, 0x000000017fffffdf,
440    0x000000017fffffde, 0x000000017ffffffc,
441    0x000000017ffffffc, 0x3333333433333331,
442    0x000000017ffffffd, 0x3333333433333332,
443    0x000000017ffffffe, 0x3333333333333333,
444    0x000000007fffffff, 0x3333333333333334,
445    0x0000000080000000, 0x3333333333333335,
446    0x0000000080000001, 0x3333333333333353,
447    0x000000008000001f, 0x33333333333333b0,
448    0x000000008000007c, 0x33333333333333b1,
449    0x000000008000007d, 0x33333333333333b2,
450    0x000000008000007e, 0x333333333333b330,
451    0x0000000080007ffc, 0x333333333333b331,
452    0x0000000080007ffd, 0x333333333333b332,
453    0x0000000080007ffe, 0x3333333366666666,
454    0x00000000b3333332, 0x3333333388888888,
455    0x00000000d5555554, 0x33333333b3333330,
456    0x00000000fffffffc, 0x33333333b3333331,
457    0x00000000fffffffd, 0x33333333b3333332,
458    0x00000000fffffffe, 0x33333333b3333333,
459    0x00000000ffffffff, 0x33333333b3333334,
460    0x0000000100000000, 0x33333333dddddddd,
461    0x000000012aaaaaa9, 0x33333333ffffffff,
462    0x000000014ccccccb, 0x333333343332b333,
463    0x000000017fff7fff, 0x333333343332b334,
464    0x000000017fff8000, 0x333333343332b335,
465    0x000000017fff8001, 0x333333343332b336,
466    0x000000017fff8002, 0x33333334333332b3,
467    0x000000017fffff7f, 0x33333334333332b4,
468    0x000000017fffff80, 0x33333334333332b5,
469    0x000000017fffff81, 0x33333334333332b6,
470    0x000000017fffff82, 0x3333333433333313,
471    0x000000017fffffdf, 0x3333333433333330,
472    0x3333333433333330, 0x5555555655555553,
473    0x3333333433333331, 0x5555555655555554,
474    0x3333333433333332, 0x5555555555555555,
475    0x3333333333333333, 0x5555555555555556,
476    0x3333333333333334, 0x5555555555555557,
477    0x3333333333333335, 0x5555555555555575,
478    0x3333333333333353, 0x55555555555555d2,
479    0x33333333333333b0, 0x55555555555555d3,
480    0x33333333333333b1, 0x55555555555555d4,
481    0x33333333333333b2, 0x555555555555d552,
482    0x333333333333b330, 0x555555555555d553,
483    0x333333333333b331, 0x555555555555d554,
484    0x333333333333b332, 0x5555555588888888,
485    0x3333333366666666, 0x55555555aaaaaaaa,
486    0x3333333388888888, 0x55555555d5555552,
487    0x33333333b3333330, 0x55555555d5555553,
488    0x33333333b3333331, 0x55555555d5555554,
489    0x33333333b3333332, 0x55555555d5555555,
490    0x33333333b3333333, 0x55555555d5555556,
491    0x33333333b3333334, 0x55555555ffffffff,
492    0x33333333dddddddd, 0x5555555622222221,
493    0x33333333ffffffff, 0x555555565554d555,
494    0x333333343332b333, 0x555555565554d556,
495    0x333333343332b334, 0x555555565554d557,
496    0x333333343332b335, 0x555555565554d558,
497    0x333333343332b336, 0x55555556555554d5,
498    0x33333334333332b3, 0x55555556555554d6,
499    0x33333334333332b4, 0x55555556555554d7,
500    0x33333334333332b5, 0x55555556555554d8,
501    0x33333334333332b6, 0x5555555655555535,
502    0x3333333433333313, 0x5555555655555552,
503    0x5555555655555552, 0x80000000fffffffb,
504    0x5555555655555553, 0x80000000fffffffc,
505    0x5555555655555554, 0x7ffffffffffffffd,
506    0x5555555555555555, 0x7ffffffffffffffe,
507    0x5555555555555556, 0x7fffffffffffffff,
508    0x5555555555555557, 0x800000000000001d,
509    0x5555555555555575, 0x800000000000007a,
510    0x55555555555555d2, 0x800000000000007b,
511    0x55555555555555d3, 0x800000000000007c,
512    0x55555555555555d4, 0x8000000000007ffa,
513    0x555555555555d552, 0x8000000000007ffb,
514    0x555555555555d553, 0x8000000000007ffc,
515    0x555555555555d554, 0x8000000033333330,
516    0x5555555588888888, 0x8000000055555552,
517    0x55555555aaaaaaaa, 0x800000007ffffffa,
518    0x55555555d5555552, 0x800000007ffffffb,
519    0x55555555d5555553, 0x800000007ffffffc,
520    0x55555555d5555554, 0x800000007ffffffd,
521    0x55555555d5555555, 0x800000007ffffffe,
522    0x55555555d5555556, 0x80000000aaaaaaa7,
523    0x55555555ffffffff, 0x80000000ccccccc9,
524    0x5555555622222221, 0x80000000ffff7ffd,
525    0x555555565554d555, 0x80000000ffff7ffe,
526    0x555555565554d556, 0x80000000ffff7fff,
527    0x555555565554d557, 0x80000000ffff8000,
528    0x555555565554d558, 0x80000000ffffff7d,
529    0x55555556555554d5, 0x80000000ffffff7e,
530    0x55555556555554d6, 0x80000000ffffff7f,
531    0x55555556555554d7, 0x80000000ffffff80,
532    0x55555556555554d8, 0x80000000ffffffdd,
533    0x5555555655555535, 0x80000000fffffffa,
534    0x80000000fffffffa, 0x80000000fffffffc,
535    0x80000000fffffffb, 0x80000000fffffffd,
536    0x80000000fffffffc, 0x7ffffffffffffffe,
537    0x7ffffffffffffffd, 0x7fffffffffffffff,
538    0x7ffffffffffffffe, 0x8000000000000000,
539    0x7fffffffffffffff, 0x800000000000001e,
540    0x800000000000001d, 0x800000000000007b,
541    0x800000000000007a, 0x800000000000007c,
542    0x800000000000007b, 0x800000000000007d,
543    0x800000000000007c, 0x8000000000007ffb,
544    0x8000000000007ffa, 0x8000000000007ffc,
545    0x8000000000007ffb, 0x8000000000007ffd,
546    0x8000000000007ffc, 0x8000000033333331,
547    0x8000000033333330, 0x8000000055555553,
548    0x8000000055555552, 0x800000007ffffffb,
549    0x800000007ffffffa, 0x800000007ffffffc,
550    0x800000007ffffffb, 0x800000007ffffffd,
551    0x800000007ffffffc, 0x800000007ffffffe,
552    0x800000007ffffffd, 0x800000007fffffff,
553    0x800000007ffffffe, 0x80000000aaaaaaa8,
554    0x80000000aaaaaaa7, 0x80000000ccccccca,
555    0x80000000ccccccc9, 0x80000000ffff7ffe,
556    0x80000000ffff7ffd, 0x80000000ffff7fff,
557    0x80000000ffff7ffe, 0x80000000ffff8000,
558    0x80000000ffff7fff, 0x80000000ffff8001,
559    0x80000000ffff8000, 0x80000000ffffff7e,
560    0x80000000ffffff7d, 0x80000000ffffff7f,
561    0x80000000ffffff7e, 0x80000000ffffff80,
562    0x80000000ffffff7f, 0x80000000ffffff81,
563    0x80000000ffffff80, 0x80000000ffffffde,
564    0x80000000ffffffdd, 0x80000000fffffffb,
565    0x80000000fffffffb, 0x80000000fffffffd,
566    0x80000000fffffffc, 0x80000000fffffffe,
567    0x80000000fffffffd, 0x7fffffffffffffff,
568    0x7ffffffffffffffe, 0x8000000000000000,
569    0x7fffffffffffffff, 0x8000000000000001,
570    0x8000000000000000, 0x800000000000001f,
571    0x800000000000001e, 0x800000000000007c,
572    0x800000000000007b, 0x800000000000007d,
573    0x800000000000007c, 0x800000000000007e,
574    0x800000000000007d, 0x8000000000007ffc,
575    0x8000000000007ffb, 0x8000000000007ffd,
576    0x8000000000007ffc, 0x8000000000007ffe,
577    0x8000000000007ffd, 0x8000000033333332,
578    0x8000000033333331, 0x8000000055555554,
579    0x8000000055555553, 0x800000007ffffffc,
580    0x800000007ffffffb, 0x800000007ffffffd,
581    0x800000007ffffffc, 0x800000007ffffffe,
582    0x800000007ffffffd, 0x800000007fffffff,
583    0x800000007ffffffe, 0x8000000080000000,
584    0x800000007fffffff, 0x80000000aaaaaaa9,
585    0x80000000aaaaaaa8, 0x80000000cccccccb,
586    0x80000000ccccccca, 0x80000000ffff7fff,
587    0x80000000ffff7ffe, 0x80000000ffff8000,
588    0x80000000ffff7fff, 0x80000000ffff8001,
589    0x80000000ffff8000, 0x80000000ffff8002,
590    0x80000000ffff8001, 0x80000000ffffff7f,
591    0x80000000ffffff7e, 0x80000000ffffff80,
592    0x80000000ffffff7f, 0x80000000ffffff81,
593    0x80000000ffffff80, 0x80000000ffffff82,
594    0x80000000ffffff81, 0x80000000ffffffdf,
595    0x80000000ffffffde, 0x80000000fffffffc,
596    0x80000000fffffffc, 0x80000000fffffffe,
597    0x80000000fffffffd, 0x80000000ffffffff,
598    0x80000000fffffffe, 0x8000000000000000,
599    0x7fffffffffffffff, 0x8000000000000001,
600    0x8000000000000000, 0x8000000000000002,
601    0x8000000000000001, 0x8000000000000020,
602    0x800000000000001f, 0x800000000000007d,
603    0x800000000000007c, 0x800000000000007e,
604    0x800000000000007d, 0x800000000000007f,
605    0x800000000000007e, 0x8000000000007ffd,
606    0x8000000000007ffc, 0x8000000000007ffe,
607    0x8000000000007ffd, 0x8000000000007fff,
608    0x8000000000007ffe, 0x8000000033333333,
609    0x8000000033333332, 0x8000000055555555,
610    0x8000000055555554, 0x800000007ffffffd,
611    0x800000007ffffffc, 0x800000007ffffffe,
612    0x800000007ffffffd, 0x800000007fffffff,
613    0x800000007ffffffe, 0x8000000080000000,
614    0x800000007fffffff, 0x8000000080000001,
615    0x8000000080000000, 0x80000000aaaaaaaa,
616    0x80000000aaaaaaa9, 0x80000000cccccccc,
617    0x80000000cccccccb, 0x80000000ffff8000,
618    0x80000000ffff7fff, 0x80000000ffff8001,
619    0x80000000ffff8000, 0x80000000ffff8002,
620    0x80000000ffff8001, 0x80000000ffff8003,
621    0x80000000ffff8002, 0x80000000ffffff80,
622    0x80000000ffffff7f, 0x80000000ffffff81,
623    0x80000000ffffff80, 0x80000000ffffff82,
624    0x80000000ffffff81, 0x80000000ffffff83,
625    0x80000000ffffff82, 0x80000000ffffffe0,
626    0x80000000ffffffdf, 0x80000000fffffffd,
627    0x80000000fffffffd, 0x80000000ffffffff,
628    0x80000000fffffffe, 0x8000000100000000,
629    0x80000000ffffffff, 0x8000000000000001,
630    0x8000000000000000, 0x8000000000000002,
631    0x8000000000000001, 0x8000000000000003,
632    0x8000000000000002, 0x8000000000000021,
633    0x8000000000000020, 0x800000000000007e,
634    0x800000000000007d, 0x800000000000007f,
635    0x800000000000007e, 0x8000000000000080,
636    0x800000000000007f, 0x8000000000007ffe,
637    0x8000000000007ffd, 0x8000000000007fff,
638    0x8000000000007ffe, 0x8000000000008000,
639    0x8000000000007fff, 0x8000000033333334,
640    0x8000000033333333, 0x8000000055555556,
641    0x8000000055555555, 0x800000007ffffffe,
642    0x800000007ffffffd, 0x800000007fffffff,
643    0x800000007ffffffe, 0x8000000080000000,
644    0x800000007fffffff, 0x8000000080000001,
645    0x8000000080000000, 0x8000000080000002,
646    0x8000000080000001, 0x80000000aaaaaaab,
647    0x80000000aaaaaaaa, 0x80000000cccccccd,
648    0x80000000cccccccc, 0x80000000ffff8001,
649    0x80000000ffff8000, 0x80000000ffff8002,
650    0x80000000ffff8001, 0x80000000ffff8003,
651    0x80000000ffff8002, 0x80000000ffff8004,
652    0x80000000ffff8003, 0x80000000ffffff81,
653    0x80000000ffffff80, 0x80000000ffffff82,
654    0x80000000ffffff81, 0x80000000ffffff83,
655    0x80000000ffffff82, 0x80000000ffffff84,
656    0x80000000ffffff83, 0x80000000ffffffe1,
657    0x80000000ffffffe0, 0x80000000fffffffe,
658    0x80000000fffffffe, 0x8000000100000000,
659    0x80000000ffffffff, 0x8000000100000001,
660    0x8000000100000000, 0x8000000000000002,
661    0x8000000000000001, 0x8000000000000003,
662    0x8000000000000002, 0x8000000000000004,
663    0x8000000000000003, 0x8000000000000022,
664    0x8000000000000021, 0x800000000000007f,
665    0x800000000000007e, 0x8000000000000080,
666    0x800000000000007f, 0x8000000000000081,
667    0x8000000000000080, 0x8000000000007fff,
668    0x8000000000007ffe, 0x8000000000008000,
669    0x8000000000007fff, 0x8000000000008001,
670    0x8000000000008000, 0x8000000033333335,
671    0x8000000033333334, 0x8000000055555557,
672    0x8000000055555556, 0x800000007fffffff,
673    0x800000007ffffffe, 0x8000000080000000,
674    0x800000007fffffff, 0x8000000080000001,
675    0x8000000080000000, 0x8000000080000002,
676    0x8000000080000001, 0x8000000080000003,
677    0x8000000080000002, 0x80000000aaaaaaac,
678    0x80000000aaaaaaab, 0x80000000ccccccce,
679    0x80000000cccccccd, 0x80000000ffff8002,
680    0x80000000ffff8001, 0x80000000ffff8003,
681    0x80000000ffff8002, 0x80000000ffff8004,
682    0x80000000ffff8003, 0x80000000ffff8005,
683    0x80000000ffff8004, 0x80000000ffffff82,
684    0x80000000ffffff81, 0x80000000ffffff83,
685    0x80000000ffffff82, 0x80000000ffffff84,
686    0x80000000ffffff83, 0x80000000ffffff85,
687    0x80000000ffffff84, 0x80000000ffffffe2,
688    0x80000000ffffffe1, 0x80000000ffffffff,
689    0x80000000ffffffff, 0x8000000100000001,
690    0x8000000100000000, 0x8000000100000002,
691    0x8000000100000001, 0x8000000000000003,
692    0x8000000000000002, 0x8000000000000004,
693    0x8000000000000003, 0x8000000000000005,
694    0x8000000000000004, 0x8000000000000023,
695    0x8000000000000022, 0x8000000000000080,
696    0x800000000000007f, 0x8000000000000081,
697    0x8000000000000080, 0x8000000000000082,
698    0x8000000000000081, 0x8000000000008000,
699    0x8000000000007fff, 0x8000000000008001,
700    0x8000000000008000, 0x8000000000008002,
701    0x8000000000008001, 0x8000000033333336,
702    0x8000000033333335, 0x8000000055555558,
703    0x8000000055555557, 0x8000000080000000,
704    0x800000007fffffff, 0x8000000080000001,
705    0x8000000080000000, 0x8000000080000002,
706    0x8000000080000001, 0x8000000080000003,
707    0x8000000080000002, 0x8000000080000004,
708    0x8000000080000003, 0x80000000aaaaaaad,
709    0x80000000aaaaaaac, 0x80000000cccccccf,
710    0x80000000ccccccce, 0x80000000ffff8003,
711    0x80000000ffff8002, 0x80000000ffff8004,
712    0x80000000ffff8003, 0x80000000ffff8005,
713    0x80000000ffff8004, 0x80000000ffff8006,
714    0x80000000ffff8005, 0x80000000ffffff83,
715    0x80000000ffffff82, 0x80000000ffffff84,
716    0x80000000ffffff83, 0x80000000ffffff85,
717    0x80000000ffffff84, 0x80000000ffffff86,
718    0x80000000ffffff85, 0x80000000ffffffe3,
719    0x80000000ffffffe2, 0x8000000100000000,
720    0x8000000100000000, 0xaaaaaaabaaaaaaa8,
721    0x8000000100000001, 0xaaaaaaabaaaaaaa9,
722    0x8000000100000002, 0xaaaaaaaaaaaaaaaa,
723    0x8000000000000003, 0xaaaaaaaaaaaaaaab,
724    0x8000000000000004, 0xaaaaaaaaaaaaaaac,
725    0x8000000000000005, 0xaaaaaaaaaaaaaaca,
726    0x8000000000000023, 0xaaaaaaaaaaaaab27,
727    0x8000000000000080, 0xaaaaaaaaaaaaab28,
728    0x8000000000000081, 0xaaaaaaaaaaaaab29,
729    0x8000000000000082, 0xaaaaaaaaaaab2aa7,
730    0x8000000000008000, 0xaaaaaaaaaaab2aa8,
731    0x8000000000008001, 0xaaaaaaaaaaab2aa9,
732    0x8000000000008002, 0xaaaaaaaadddddddd,
733    0x8000000033333336, 0xaaaaaaaaffffffff,
734    0x8000000055555558, 0xaaaaaaab2aaaaaa7,
735    0x8000000080000000, 0xaaaaaaab2aaaaaa8,
736    0x8000000080000001, 0xaaaaaaab2aaaaaa9,
737    0x8000000080000002, 0xaaaaaaab2aaaaaaa,
738    0x8000000080000003, 0xaaaaaaab2aaaaaab,
739    0x8000000080000004, 0xaaaaaaab55555554,
740    0x80000000aaaaaaad, 0xaaaaaaab77777776,
741    0x80000000cccccccf, 0xaaaaaaabaaaa2aaa,
742    0x80000000ffff8003, 0xaaaaaaabaaaa2aab,
743    0x80000000ffff8004, 0xaaaaaaabaaaa2aac,
744    0x80000000ffff8005, 0xaaaaaaabaaaa2aad,
745    0x80000000ffff8006, 0xaaaaaaabaaaaaa2a,
746    0x80000000ffffff83, 0xaaaaaaabaaaaaa2b,
747    0x80000000ffffff84, 0xaaaaaaabaaaaaa2c,
748    0x80000000ffffff85, 0xaaaaaaabaaaaaa2d,
749    0x80000000ffffff86, 0xaaaaaaabaaaaaa8a,
750    0x80000000ffffffe3, 0xaaaaaaabaaaaaaa7,
751    0xaaaaaaabaaaaaaa7, 0xcccccccdccccccca,
752    0xaaaaaaabaaaaaaa8, 0xcccccccdcccccccb,
753    0xaaaaaaabaaaaaaa9, 0xcccccccccccccccc,
754    0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccd,
755    0xaaaaaaaaaaaaaaab, 0xccccccccccccccce,
756    0xaaaaaaaaaaaaaaac, 0xccccccccccccccec,
757    0xaaaaaaaaaaaaaaca, 0xcccccccccccccd49,
758    0xaaaaaaaaaaaaab27, 0xcccccccccccccd4a,
759    0xaaaaaaaaaaaaab28, 0xcccccccccccccd4b,
760    0xaaaaaaaaaaaaab29, 0xcccccccccccd4cc9,
761    0xaaaaaaaaaaab2aa7, 0xcccccccccccd4cca,
762    0xaaaaaaaaaaab2aa8, 0xcccccccccccd4ccb,
763    0xaaaaaaaaaaab2aa9, 0xccccccccffffffff,
764    0xaaaaaaaadddddddd, 0xcccccccd22222221,
765    0xaaaaaaaaffffffff, 0xcccccccd4cccccc9,
766    0xaaaaaaab2aaaaaa7, 0xcccccccd4cccccca,
767    0xaaaaaaab2aaaaaa8, 0xcccccccd4ccccccb,
768    0xaaaaaaab2aaaaaa9, 0xcccccccd4ccccccc,
769    0xaaaaaaab2aaaaaaa, 0xcccccccd4ccccccd,
770    0xaaaaaaab2aaaaaab, 0xcccccccd77777776,
771    0xaaaaaaab55555554, 0xcccccccd99999998,
772    0xaaaaaaab77777776, 0xcccccccdcccc4ccc,
773    0xaaaaaaabaaaa2aaa, 0xcccccccdcccc4ccd,
774    0xaaaaaaabaaaa2aab, 0xcccccccdcccc4cce,
775    0xaaaaaaabaaaa2aac, 0xcccccccdcccc4ccf,
776    0xaaaaaaabaaaa2aad, 0xcccccccdcccccc4c,
777    0xaaaaaaabaaaaaa2a, 0xcccccccdcccccc4d,
778    0xaaaaaaabaaaaaa2b, 0xcccccccdcccccc4e,
779    0xaaaaaaabaaaaaa2c, 0xcccccccdcccccc4f,
780    0xaaaaaaabaaaaaa2d, 0xcccccccdccccccac,
781    0xaaaaaaabaaaaaa8a, 0xcccccccdccccccc9,
782    0xcccccccdccccccc9, 0x000000007ffffffe,
783    0xcccccccdccccccca, 0x000000007fffffff,
784    0xcccccccdcccccccb, 0xffffffff80000000,
785    0xcccccccccccccccc, 0xffffffff80000001,
786    0xcccccccccccccccd, 0xffffffff80000002,
787    0xccccccccccccccce, 0xffffffff80000020,
788    0xccccccccccccccec, 0xffffffff8000007d,
789    0xcccccccccccccd49, 0xffffffff8000007e,
790    0xcccccccccccccd4a, 0xffffffff8000007f,
791    0xcccccccccccccd4b, 0xffffffff80007ffd,
792    0xcccccccccccd4cc9, 0xffffffff80007ffe,
793    0xcccccccccccd4cca, 0xffffffff80007fff,
794    0xcccccccccccd4ccb, 0xffffffffb3333333,
795    0xccccccccffffffff, 0xffffffffd5555555,
796    0xcccccccd22222221, 0xfffffffffffffffd,
797    0xcccccccd4cccccc9, 0xfffffffffffffffe,
798    0xcccccccd4cccccca, 0xffffffffffffffff,
799    0xcccccccd4ccccccb, 0x0000000000000000,
800    0xcccccccd4ccccccc, 0x0000000000000001,
801    0xcccccccd4ccccccd, 0x000000002aaaaaaa,
802    0xcccccccd77777776, 0x000000004ccccccc,
803    0xcccccccd99999998, 0x000000007fff8000,
804    0xcccccccdcccc4ccc, 0x000000007fff8001,
805    0xcccccccdcccc4ccd, 0x000000007fff8002,
806    0xcccccccdcccc4cce, 0x000000007fff8003,
807    0xcccccccdcccc4ccf, 0x000000007fffff80,
808    0xcccccccdcccccc4c, 0x000000007fffff81,
809    0xcccccccdcccccc4d, 0x000000007fffff82,
810    0xcccccccdcccccc4e, 0x000000007fffff83,
811    0xcccccccdcccccc4f, 0x000000007fffffe0,
812    0xcccccccdccccccac, 0x000000007ffffffd,
813    0x000000007ffffffd, 0x000000007fffffff,
814    0x000000007ffffffe, 0x0000000080000000,
815    0x000000007fffffff, 0xffffffff80000001,
816    0xffffffff80000000, 0xffffffff80000002,
817    0xffffffff80000001, 0xffffffff80000003,
818    0xffffffff80000002, 0xffffffff80000021,
819    0xffffffff80000020, 0xffffffff8000007e,
820    0xffffffff8000007d, 0xffffffff8000007f,
821    0xffffffff8000007e, 0xffffffff80000080,
822    0xffffffff8000007f, 0xffffffff80007ffe,
823    0xffffffff80007ffd, 0xffffffff80007fff,
824    0xffffffff80007ffe, 0xffffffff80008000,
825    0xffffffff80007fff, 0xffffffffb3333334,
826    0xffffffffb3333333, 0xffffffffd5555556,
827    0xffffffffd5555555, 0xfffffffffffffffe,
828    0xfffffffffffffffd, 0xffffffffffffffff,
829    0xfffffffffffffffe, 0x0000000000000000,
830    0xffffffffffffffff, 0x0000000000000001,
831    0x0000000000000000, 0x0000000000000002,
832    0x0000000000000001, 0x000000002aaaaaab,
833    0x000000002aaaaaaa, 0x000000004ccccccd,
834    0x000000004ccccccc, 0x000000007fff8001,
835    0x000000007fff8000, 0x000000007fff8002,
836    0x000000007fff8001, 0x000000007fff8003,
837    0x000000007fff8002, 0x000000007fff8004,
838    0x000000007fff8003, 0x000000007fffff81,
839    0x000000007fffff80, 0x000000007fffff82,
840    0x000000007fffff81, 0x000000007fffff83,
841    0x000000007fffff82, 0x000000007fffff84,
842    0x000000007fffff83, 0x000000007fffffe1,
843    0x000000007fffffe0, 0x000000007ffffffe,
844    0x000000007ffffffe, 0x0000000080000000,
845    0x000000007fffffff, 0x0000000080000001,
846    0x0000000080000000, 0xffffffff80000002,
847    0xffffffff80000001, 0xffffffff80000003,
848    0xffffffff80000002, 0xffffffff80000004,
849    0xffffffff80000003, 0xffffffff80000022,
850    0xffffffff80000021, 0xffffffff8000007f,
851    0xffffffff8000007e, 0xffffffff80000080,
852    0xffffffff8000007f, 0xffffffff80000081,
853    0xffffffff80000080, 0xffffffff80007fff,
854    0xffffffff80007ffe, 0xffffffff80008000,
855    0xffffffff80007fff, 0xffffffff80008001,
856    0xffffffff80008000, 0xffffffffb3333335,
857    0xffffffffb3333334, 0xffffffffd5555557,
858    0xffffffffd5555556, 0xffffffffffffffff,
859    0xfffffffffffffffe, 0x0000000000000000,
860    0xffffffffffffffff, 0x0000000000000001,
861    0x0000000000000000, 0x0000000000000002,
862    0x0000000000000001, 0x0000000000000003,
863    0x0000000000000002, 0x000000002aaaaaac,
864    0x000000002aaaaaab, 0x000000004cccccce,
865    0x000000004ccccccd, 0x000000007fff8002,
866    0x000000007fff8001, 0x000000007fff8003,
867    0x000000007fff8002, 0x000000007fff8004,
868    0x000000007fff8003, 0x000000007fff8005,
869    0x000000007fff8004, 0x000000007fffff82,
870    0x000000007fffff81, 0x000000007fffff83,
871    0x000000007fffff82, 0x000000007fffff84,
872    0x000000007fffff83, 0x000000007fffff85,
873    0x000000007fffff84, 0x000000007fffffe2,
874    0x000000007fffffe1, 0x000000007fffffff,
875    0x000000007fffffff, 0x0000000080000001,
876    0x0000000080000000, 0x0000000080000002,
877    0x0000000080000001, 0xffffffff80000003,
878    0xffffffff80000002, 0xffffffff80000004,
879    0xffffffff80000003, 0xffffffff80000005,
880    0xffffffff80000004, 0xffffffff80000023,
881    0xffffffff80000022, 0xffffffff80000080,
882    0xffffffff8000007f, 0xffffffff80000081,
883    0xffffffff80000080, 0xffffffff80000082,
884    0xffffffff80000081, 0xffffffff80008000,
885    0xffffffff80007fff, 0xffffffff80008001,
886    0xffffffff80008000, 0xffffffff80008002,
887    0xffffffff80008001, 0xffffffffb3333336,
888    0xffffffffb3333335, 0xffffffffd5555558,
889    0xffffffffd5555557, 0x0000000000000000,
890    0xffffffffffffffff, 0x0000000000000001,
891    0x0000000000000000, 0x0000000000000002,
892    0x0000000000000001, 0x0000000000000003,
893    0x0000000000000002, 0x0000000000000004,
894    0x0000000000000003, 0x000000002aaaaaad,
895    0x000000002aaaaaac, 0x000000004ccccccf,
896    0x000000004cccccce, 0x000000007fff8003,
897    0x000000007fff8002, 0x000000007fff8004,
898    0x000000007fff8003, 0x000000007fff8005,
899    0x000000007fff8004, 0x000000007fff8006,
900    0x000000007fff8005, 0x000000007fffff83,
901    0x000000007fffff82, 0x000000007fffff84,
902    0x000000007fffff83, 0x000000007fffff85,
903    0x000000007fffff84, 0x000000007fffff86,
904    0x000000007fffff85, 0x000000007fffffe3,
905    0x000000007fffffe2, 0x0000000080000000,
906    0x0000000080000000, 0x00000000ffff7ffe,
907    0x0000000080000001, 0x00000000ffff7fff,
908    0x0000000080000002, 0xffffffffffff8000,
909    0xffffffff80000003, 0xffffffffffff8001,
910    0xffffffff80000004, 0xffffffffffff8002,
911    0xffffffff80000005, 0xffffffffffff8020,
912    0xffffffff80000023, 0xffffffffffff807d,
913    0xffffffff80000080, 0xffffffffffff807e,
914    0xffffffff80000081, 0xffffffffffff807f,
915    0xffffffff80000082, 0xfffffffffffffffd,
916    0xffffffff80008000, 0xfffffffffffffffe,
917    0xffffffff80008001, 0xffffffffffffffff,
918    0xffffffff80008002, 0x000000003332b333,
919    0xffffffffb3333336, 0x000000005554d555,
920    0xffffffffd5555558, 0x000000007fff7ffd,
921    0x0000000000000000, 0x000000007fff7ffe,
922    0x0000000000000001, 0x000000007fff7fff,
923    0x0000000000000002, 0x000000007fff8000,
924    0x0000000000000003, 0x000000007fff8001,
925    0x0000000000000004, 0x00000000aaaa2aaa,
926    0x000000002aaaaaad, 0x00000000cccc4ccc,
927    0x000000004ccccccf, 0x00000000ffff0000,
928    0x000000007fff8003, 0x00000000ffff0001,
929    0x000000007fff8004, 0x00000000ffff0002,
930    0x000000007fff8005, 0x00000000ffff0003,
931    0x000000007fff8006, 0x00000000ffff7f80,
932    0x000000007fffff83, 0x00000000ffff7f81,
933    0x000000007fffff84, 0x00000000ffff7f82,
934    0x000000007fffff85, 0x00000000ffff7f83,
935    0x000000007fffff86, 0x00000000ffff7fe0,
936    0x000000007fffffe3, 0x00000000ffff7ffd,
937    0x00000000ffff7ffd, 0x00000000ffff7fff,
938    0x00000000ffff7ffe, 0x00000000ffff8000,
939    0x00000000ffff7fff, 0xffffffffffff8001,
940    0xffffffffffff8000, 0xffffffffffff8002,
941    0xffffffffffff8001, 0xffffffffffff8003,
942    0xffffffffffff8002, 0xffffffffffff8021,
943    0xffffffffffff8020, 0xffffffffffff807e,
944    0xffffffffffff807d, 0xffffffffffff807f,
945    0xffffffffffff807e, 0xffffffffffff8080,
946    0xffffffffffff807f, 0xfffffffffffffffe,
947    0xfffffffffffffffd, 0xffffffffffffffff,
948    0xfffffffffffffffe, 0x0000000000000000,
949    0xffffffffffffffff, 0x000000003332b334,
950    0x000000003332b333, 0x000000005554d556,
951    0x000000005554d555, 0x000000007fff7ffe,
952    0x000000007fff7ffd, 0x000000007fff7fff,
953    0x000000007fff7ffe, 0x000000007fff8000,
954    0x000000007fff7fff, 0x000000007fff8001,
955    0x000000007fff8000, 0x000000007fff8002,
956    0x000000007fff8001, 0x00000000aaaa2aab,
957    0x00000000aaaa2aaa, 0x00000000cccc4ccd,
958    0x00000000cccc4ccc, 0x00000000ffff0001,
959    0x00000000ffff0000, 0x00000000ffff0002,
960    0x00000000ffff0001, 0x00000000ffff0003,
961    0x00000000ffff0002, 0x00000000ffff0004,
962    0x00000000ffff0003, 0x00000000ffff7f81,
963    0x00000000ffff7f80, 0x00000000ffff7f82,
964    0x00000000ffff7f81, 0x00000000ffff7f83,
965    0x00000000ffff7f82, 0x00000000ffff7f84,
966    0x00000000ffff7f83, 0x00000000ffff7fe1,
967    0x00000000ffff7fe0, 0x00000000ffff7ffe,
968    0x00000000ffff7ffe, 0x00000000ffff8000,
969    0x00000000ffff7fff, 0x00000000ffff8001,
970    0x00000000ffff8000, 0xffffffffffff8002,
971    0xffffffffffff8001, 0xffffffffffff8003,
972    0xffffffffffff8002, 0xffffffffffff8004,
973    0xffffffffffff8003, 0xffffffffffff8022,
974    0xffffffffffff8021, 0xffffffffffff807f,
975    0xffffffffffff807e, 0xffffffffffff8080,
976    0xffffffffffff807f, 0xffffffffffff8081,
977    0xffffffffffff8080, 0xffffffffffffffff,
978    0xfffffffffffffffe, 0x0000000000000000,
979    0xffffffffffffffff, 0x0000000000000001,
980    0x0000000000000000, 0x000000003332b335,
981    0x000000003332b334, 0x000000005554d557,
982    0x000000005554d556, 0x000000007fff7fff,
983    0x000000007fff7ffe, 0x000000007fff8000,
984    0x000000007fff7fff, 0x000000007fff8001,
985    0x000000007fff8000, 0x000000007fff8002,
986    0x000000007fff8001, 0x000000007fff8003,
987    0x000000007fff8002, 0x00000000aaaa2aac,
988    0x00000000aaaa2aab, 0x00000000cccc4cce,
989    0x00000000cccc4ccd, 0x00000000ffff0002,
990    0x00000000ffff0001, 0x00000000ffff0003,
991    0x00000000ffff0002, 0x00000000ffff0004,
992    0x00000000ffff0003, 0x00000000ffff0005,
993    0x00000000ffff0004, 0x00000000ffff7f82,
994    0x00000000ffff7f81, 0x00000000ffff7f83,
995    0x00000000ffff7f82, 0x00000000ffff7f84,
996    0x00000000ffff7f83, 0x00000000ffff7f85,
997    0x00000000ffff7f84, 0x00000000ffff7fe2,
998    0x00000000ffff7fe1, 0x00000000ffff7fff,
999    0x00000000ffff7fff, 0x00000000ffff8001,
1000    0x00000000ffff8000, 0x00000000ffff8002,
1001    0x00000000ffff8001, 0xffffffffffff8003,
1002    0xffffffffffff8002, 0xffffffffffff8004,
1003    0xffffffffffff8003, 0xffffffffffff8005,
1004    0xffffffffffff8004, 0xffffffffffff8023,
1005    0xffffffffffff8022, 0xffffffffffff8080,
1006    0xffffffffffff807f, 0xffffffffffff8081,
1007    0xffffffffffff8080, 0xffffffffffff8082,
1008    0xffffffffffff8081, 0x0000000000000000,
1009    0xffffffffffffffff, 0x0000000000000001,
1010    0x0000000000000000, 0x0000000000000002,
1011    0x0000000000000001, 0x000000003332b336,
1012    0x000000003332b335, 0x000000005554d558,
1013    0x000000005554d557, 0x000000007fff8000,
1014    0x000000007fff7fff, 0x000000007fff8001,
1015    0x000000007fff8000, 0x000000007fff8002,
1016    0x000000007fff8001, 0x000000007fff8003,
1017    0x000000007fff8002, 0x000000007fff8004,
1018    0x000000007fff8003, 0x00000000aaaa2aad,
1019    0x00000000aaaa2aac, 0x00000000cccc4ccf,
1020    0x00000000cccc4cce, 0x00000000ffff0003,
1021    0x00000000ffff0002, 0x00000000ffff0004,
1022    0x00000000ffff0003, 0x00000000ffff0005,
1023    0x00000000ffff0004, 0x00000000ffff0006,
1024    0x00000000ffff0005, 0x00000000ffff7f83,
1025    0x00000000ffff7f82, 0x00000000ffff7f84,
1026    0x00000000ffff7f83, 0x00000000ffff7f85,
1027    0x00000000ffff7f84, 0x00000000ffff7f86,
1028    0x00000000ffff7f85, 0x00000000ffff7fe3,
1029    0x00000000ffff7fe2, 0x00000000ffff8000,
1030    0x00000000ffff8000, 0x00000000ffffff7e,
1031    0x00000000ffff8001, 0x00000000ffffff7f,
1032    0x00000000ffff8002, 0xffffffffffffff80,
1033    0xffffffffffff8003, 0xffffffffffffff81,
1034    0xffffffffffff8004, 0xffffffffffffff82,
1035    0xffffffffffff8005, 0xffffffffffffffa0,
1036    0xffffffffffff8023, 0xfffffffffffffffd,
1037    0xffffffffffff8080, 0xfffffffffffffffe,
1038    0xffffffffffff8081, 0xffffffffffffffff,
1039    0xffffffffffff8082, 0x0000000000007f7d,
1040    0x0000000000000000, 0x0000000000007f7e,
1041    0x0000000000000001, 0x0000000000007f7f,
1042    0x0000000000000002, 0x00000000333332b3,
1043    0x000000003332b336, 0x00000000555554d5,
1044    0x000000005554d558, 0x000000007fffff7d,
1045    0x000000007fff8000, 0x000000007fffff7e,
1046    0x000000007fff8001, 0x000000007fffff7f,
1047    0x000000007fff8002, 0x000000007fffff80,
1048    0x000000007fff8003, 0x000000007fffff81,
1049    0x000000007fff8004, 0x00000000aaaaaa2a,
1050    0x00000000aaaa2aad, 0x00000000cccccc4c,
1051    0x00000000cccc4ccf, 0x00000000ffff7f80,
1052    0x00000000ffff0003, 0x00000000ffff7f81,
1053    0x00000000ffff0004, 0x00000000ffff7f82,
1054    0x00000000ffff0005, 0x00000000ffff7f83,
1055    0x00000000ffff0006, 0x00000000ffffff00,
1056    0x00000000ffff7f83, 0x00000000ffffff01,
1057    0x00000000ffff7f84, 0x00000000ffffff02,
1058    0x00000000ffff7f85, 0x00000000ffffff03,
1059    0x00000000ffff7f86, 0x00000000ffffff60,
1060    0x00000000ffff7fe3, 0x00000000ffffff7d,
1061    0x00000000ffffff7d, 0x00000000ffffff7f,
1062    0x00000000ffffff7e, 0x00000000ffffff80,
1063    0x00000000ffffff7f, 0xffffffffffffff81,
1064    0xffffffffffffff80, 0xffffffffffffff82,
1065    0xffffffffffffff81, 0xffffffffffffff83,
1066    0xffffffffffffff82, 0xffffffffffffffa1,
1067    0xffffffffffffffa0, 0xfffffffffffffffe,
1068    0xfffffffffffffffd, 0xffffffffffffffff,
1069    0xfffffffffffffffe, 0x0000000000000000,
1070    0xffffffffffffffff, 0x0000000000007f7e,
1071    0x0000000000007f7d, 0x0000000000007f7f,
1072    0x0000000000007f7e, 0x0000000000007f80,
1073    0x0000000000007f7f, 0x00000000333332b4,
1074    0x00000000333332b3, 0x00000000555554d6,
1075    0x00000000555554d5, 0x000000007fffff7e,
1076    0x000000007fffff7d, 0x000000007fffff7f,
1077    0x000000007fffff7e, 0x000000007fffff80,
1078    0x000000007fffff7f, 0x000000007fffff81,
1079    0x000000007fffff80, 0x000000007fffff82,
1080    0x000000007fffff81, 0x00000000aaaaaa2b,
1081    0x00000000aaaaaa2a, 0x00000000cccccc4d,
1082    0x00000000cccccc4c, 0x00000000ffff7f81,
1083    0x00000000ffff7f80, 0x00000000ffff7f82,
1084    0x00000000ffff7f81, 0x00000000ffff7f83,
1085    0x00000000ffff7f82, 0x00000000ffff7f84,
1086    0x00000000ffff7f83, 0x00000000ffffff01,
1087    0x00000000ffffff00, 0x00000000ffffff02,
1088    0x00000000ffffff01, 0x00000000ffffff03,
1089    0x00000000ffffff02, 0x00000000ffffff04,
1090    0x00000000ffffff03, 0x00000000ffffff61,
1091    0x00000000ffffff60, 0x00000000ffffff7e,
1092    0x00000000ffffff7e, 0x00000000ffffff80,
1093    0x00000000ffffff7f, 0x00000000ffffff81,
1094    0x00000000ffffff80, 0xffffffffffffff82,
1095    0xffffffffffffff81, 0xffffffffffffff83,
1096    0xffffffffffffff82, 0xffffffffffffff84,
1097    0xffffffffffffff83, 0xffffffffffffffa2,
1098    0xffffffffffffffa1, 0xffffffffffffffff,
1099    0xfffffffffffffffe, 0x0000000000000000,
1100    0xffffffffffffffff, 0x0000000000000001,
1101    0x0000000000000000, 0x0000000000007f7f,
1102    0x0000000000007f7e, 0x0000000000007f80,
1103    0x0000000000007f7f, 0x0000000000007f81,
1104    0x0000000000007f80, 0x00000000333332b5,
1105    0x00000000333332b4, 0x00000000555554d7,
1106    0x00000000555554d6, 0x000000007fffff7f,
1107    0x000000007fffff7e, 0x000000007fffff80,
1108    0x000000007fffff7f, 0x000000007fffff81,
1109    0x000000007fffff80, 0x000000007fffff82,
1110    0x000000007fffff81, 0x000000007fffff83,
1111    0x000000007fffff82, 0x00000000aaaaaa2c,
1112    0x00000000aaaaaa2b, 0x00000000cccccc4e,
1113    0x00000000cccccc4d, 0x00000000ffff7f82,
1114    0x00000000ffff7f81, 0x00000000ffff7f83,
1115    0x00000000ffff7f82, 0x00000000ffff7f84,
1116    0x00000000ffff7f83, 0x00000000ffff7f85,
1117    0x00000000ffff7f84, 0x00000000ffffff02,
1118    0x00000000ffffff01, 0x00000000ffffff03,
1119    0x00000000ffffff02, 0x00000000ffffff04,
1120    0x00000000ffffff03, 0x00000000ffffff05,
1121    0x00000000ffffff04, 0x00000000ffffff62,
1122    0x00000000ffffff61, 0x00000000ffffff7f,
1123    0x00000000ffffff7f, 0x00000000ffffff81,
1124    0x00000000ffffff80, 0x00000000ffffff82,
1125    0x00000000ffffff81, 0xffffffffffffff83,
1126    0xffffffffffffff82, 0xffffffffffffff84,
1127    0xffffffffffffff83, 0xffffffffffffff85,
1128    0xffffffffffffff84, 0xffffffffffffffa3,
1129    0xffffffffffffffa2, 0x0000000000000000,
1130    0xffffffffffffffff, 0x0000000000000001,
1131    0x0000000000000000, 0x0000000000000002,
1132    0x0000000000000001, 0x0000000000007f80,
1133    0x0000000000007f7f, 0x0000000000007f81,
1134    0x0000000000007f80, 0x0000000000007f82,
1135    0x0000000000007f81, 0x00000000333332b6,
1136    0x00000000333332b5, 0x00000000555554d8,
1137    0x00000000555554d7, 0x000000007fffff80,
1138    0x000000007fffff7f, 0x000000007fffff81,
1139    0x000000007fffff80, 0x000000007fffff82,
1140    0x000000007fffff81, 0x000000007fffff83,
1141    0x000000007fffff82, 0x000000007fffff84,
1142    0x000000007fffff83, 0x00000000aaaaaa2d,
1143    0x00000000aaaaaa2c, 0x00000000cccccc4f,
1144    0x00000000cccccc4e, 0x00000000ffff7f83,
1145    0x00000000ffff7f82, 0x00000000ffff7f84,
1146    0x00000000ffff7f83, 0x00000000ffff7f85,
1147    0x00000000ffff7f84, 0x00000000ffff7f86,
1148    0x00000000ffff7f85, 0x00000000ffffff03,
1149    0x00000000ffffff02, 0x00000000ffffff04,
1150    0x00000000ffffff03, 0x00000000ffffff05,
1151    0x00000000ffffff04, 0x00000000ffffff06,
1152    0x00000000ffffff05, 0x00000000ffffff63,
1153    0x00000000ffffff62, 0x00000000ffffff80,
1154    0x00000000ffffff80, 0x00000000ffffffbe,
1155    0x00000000ffffff81, 0x00000000ffffffbf,
1156    0x00000000ffffff82, 0xffffffffffffffc0,
1157    0xffffffffffffff83, 0xffffffffffffffc1,
1158    0xffffffffffffff84, 0xffffffffffffffc2,
1159    0xffffffffffffff85, 0xffffffffffffffe0,
1160    0xffffffffffffffa3, 0x000000000000003d,
1161    0x0000000000000000, 0x000000000000003e,
1162    0x0000000000000001, 0x000000000000003f,
1163    0x0000000000000002, 0x0000000000007fbd,
1164    0x0000000000007f80, 0x0000000000007fbe,
1165    0x0000000000007f81, 0x0000000000007fbf,
1166    0x0000000000007f82, 0x00000000333332f3,
1167    0x00000000333332b6, 0x0000000055555515,
1168    0x00000000555554d8, 0x000000007fffffbd,
1169    0x000000007fffff80, 0x000000007fffffbe,
1170    0x000000007fffff81, 0x000000007fffffbf,
1171    0x000000007fffff82, 0x000000007fffffc0,
1172    0x000000007fffff83, 0x000000007fffffc1,
1173    0x000000007fffff84, 0x00000000aaaaaa6a,
1174    0x00000000aaaaaa2d, 0x00000000cccccc8c,
1175    0x00000000cccccc4f, 0x00000000ffff7fc0,
1176    0x00000000ffff7f83, 0x00000000ffff7fc1,
1177    0x00000000ffff7f84, 0x00000000ffff7fc2,
1178    0x00000000ffff7f85, 0x00000000ffff7fc3,
1179    0x00000000ffff7f86, 0x00000000ffffff40,
1180    0x00000000ffffff03, 0x00000000ffffff41,
1181    0x00000000ffffff04, 0x00000000ffffff42,
1182    0x00000000ffffff05, 0x00000000ffffff43,
1183    0x00000000ffffff06, 0x00000000ffffffa0,
1184    0x00000000ffffff63, 0x00000000ffffffbd,
1185    0x00000000ffffffbd, 0x00000000fffffffb,
1186    0x00000000ffffffbe, 0x00000000fffffffc,
1187    0x00000000ffffffbf, 0xfffffffffffffffd,
1188    0xffffffffffffffc0, 0xfffffffffffffffe,
1189    0xffffffffffffffc1, 0xffffffffffffffff,
1190    0xffffffffffffffc2, 0x000000000000001d,
1191    0xffffffffffffffe0, 0x000000000000007a,
1192    0x000000000000003d, 0x000000000000007b,
1193    0x000000000000003e, 0x000000000000007c,
1194    0x000000000000003f, 0x0000000000007ffa,
1195    0x0000000000007fbd, 0x0000000000007ffb,
1196    0x0000000000007fbe, 0x0000000000007ffc,
1197    0x0000000000007fbf, 0x0000000033333330,
1198    0x00000000333332f3, 0x0000000055555552,
1199    0x0000000055555515, 0x000000007ffffffa,
1200    0x000000007fffffbd, 0x000000007ffffffb,
1201    0x000000007fffffbe, 0x000000007ffffffc,
1202    0x000000007fffffbf, 0x000000007ffffffd,
1203    0x000000007fffffc0, 0x000000007ffffffe,
1204    0x000000007fffffc1, 0x00000000aaaaaaa7,
1205    0x00000000aaaaaa6a, 0x00000000ccccccc9,
1206    0x00000000cccccc8c, 0x00000000ffff7ffd,
1207    0x00000000ffff7fc0, 0x00000000ffff7ffe,
1208    0x00000000ffff7fc1, 0x00000000ffff7fff,
1209    0x00000000ffff7fc2, 0x00000000ffff8000,
1210    0x00000000ffff7fc3, 0x00000000ffffff7d,
1211    0x00000000ffffff40, 0x00000000ffffff7e,
1212    0x00000000ffffff41, 0x00000000ffffff7f,
1213    0x00000000ffffff42, 0x00000000ffffff80,
1214    0x00000000ffffff43, 0x00000000ffffffdd,
1215    0x00000000ffffffa0, 0x00000000fffffffa,
1216    0x00000000fffffffa, 0x00000000fffffffc,
1217    0x00000000fffffffb, 0x00000000fffffffd,
1218    0x00000000fffffffc, 0xfffffffffffffffe,
1219    0xfffffffffffffffd, 0xffffffffffffffff,
1220    0xfffffffffffffffe, 0x0000000000000000,
1221    0xffffffffffffffff, 0x000000000000001e,
1222    0x000000000000001d, 0x000000000000007b,
1223    0x000000000000007a, 0x000000000000007c,
1224    0x000000000000007b, 0x000000000000007d,
1225    0x000000000000007c, 0x0000000000007ffb,
1226    0x0000000000007ffa, 0x0000000000007ffc,
1227    0x0000000000007ffb, 0x0000000000007ffd,
1228    0x0000000000007ffc, 0x0000000033333331,
1229    0x0000000033333330, 0x0000000055555553,
1230    0x0000000055555552, 0x000000007ffffffb,
1231    0x000000007ffffffa, 0x000000007ffffffc,
1232    0x000000007ffffffb, 0x000000007ffffffd,
1233    0x000000007ffffffc, 0x000000007ffffffe,
1234    0x000000007ffffffd, 0x000000007fffffff,
1235    0x000000007ffffffe, 0x00000000aaaaaaa8,
1236    0x00000000aaaaaaa7, 0x00000000ccccccca,
1237    0x00000000ccccccc9, 0x00000000ffff7ffe,
1238    0x00000000ffff7ffd, 0x00000000ffff7fff,
1239    0x00000000ffff7ffe, 0x00000000ffff8000,
1240    0x00000000ffff7fff, 0x00000000ffff8001,
1241    0x00000000ffff8000, 0x00000000ffffff7e,
1242    0x00000000ffffff7d, 0x00000000ffffff7f,
1243    0x00000000ffffff7e, 0x00000000ffffff80,
1244    0x00000000ffffff7f, 0x00000000ffffff81,
1245    0x00000000ffffff80, 0x00000000ffffffde,
1246    0x00000000ffffffdd, 0x00000000fffffffb,
1247    0x00000000fffffffb, 0x00000000fffffffd,
1248    0x00000000fffffffc, 0x00000000fffffffe,
1249    0x00000000fffffffd, 0xffffffffffffffff,
1250    0xfffffffffffffffe, 0x0000000000000000,
1251    0xffffffffffffffff, 0x0000000000000001,
1252    0x0000000000000000, 0x000000000000001f,
1253    0x000000000000001e, 0x000000000000007c,
1254    0x000000000000007b, 0x000000000000007d,
1255    0x000000000000007c, 0x000000000000007e,
1256    0x000000000000007d, 0x0000000000007ffc,
1257    0x0000000000007ffb, 0x0000000000007ffd,
1258    0x0000000000007ffc, 0x0000000000007ffe,
1259    0x0000000000007ffd, 0x0000000033333332,
1260    0x0000000033333331, 0x0000000055555554,
1261    0x0000000055555553, 0x000000007ffffffc,
1262    0x000000007ffffffb, 0x000000007ffffffd,
1263    0x000000007ffffffc, 0x000000007ffffffe,
1264    0x000000007ffffffd, 0x000000007fffffff,
1265    0x000000007ffffffe, 0x0000000080000000,
1266    0x000000007fffffff, 0x00000000aaaaaaa9,
1267    0x00000000aaaaaaa8, 0x00000000cccccccb,
1268    0x00000000ccccccca, 0x00000000ffff7fff,
1269    0x00000000ffff7ffe, 0x00000000ffff8000,
1270    0x00000000ffff7fff, 0x00000000ffff8001,
1271    0x00000000ffff8000, 0x00000000ffff8002,
1272    0x00000000ffff8001, 0x00000000ffffff7f,
1273    0x00000000ffffff7e, 0x00000000ffffff80,
1274    0x00000000ffffff7f, 0x00000000ffffff81,
1275    0x00000000ffffff80, 0x00000000ffffff82,
1276    0x00000000ffffff81, 0x00000000ffffffdf,
1277    0x00000000ffffffde, 0x00000000fffffffc,
1278  };
1279  const unsigned kExpectedCount_NEON_uaddw_2D = 1240;
1280  
1281  #endif  // VIXL_SIM_UADDW_2D_TRACE_AARCH64_H_
1282