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