• 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_SSUBW_2D_TRACE_AARCH64_H_
35 #define VIXL_SIM_SSUBW_2D_TRACE_AARCH64_H_
36 
37 const uint64_t kExpected_NEON_ssubw_2D[] = {
38   0xffffffffffff827d, 0xffffffffffff8100,
39   0xffffffffffff817d, 0xffffffffff800300,
40   0xffffffffff80037d, 0x0000000000000000,
41   0x000000000000007d, 0xffffffffffffffff,
42   0x000000000000007c, 0xfffffffffffffffe,
43   0x000000000000007b, 0xffffffffffffffe0,
44   0x000000000000005d, 0xffffffffffffff83,
45   0x0000000000000000, 0xffffffffffffff82,
46   0xffffffffffffffff, 0xffffffffffffff81,
47   0xfffffffffffffffe, 0xffffffffffff8003,
48   0xffffffffffff8080, 0xffffffffffff8002,
49   0xffffffffffff807f, 0xffffffffffff8001,
50   0xffffffffffff807e, 0xffffffffcccccccd,
51   0xffffffffcccccd4a, 0xffffffffaaaaaaab,
52   0xffffffffaaaaab28, 0xffffffff80000003,
53   0xffffffff80000080, 0xffffffff80000002,
54   0xffffffff8000007f, 0xffffffff80000001,
55   0xffffffff8000007e, 0x0000000080000000,
56   0x000000008000007d, 0x000000007fffffff,
57   0x000000008000007c, 0x0000000055555556,
58   0x00000000555555d3, 0x0000000033333334,
59   0x00000000333333b1, 0x0000000000008000,
60   0x000000000000807d, 0x0000000000007fff,
61   0x000000000000807c, 0x0000000000007ffe,
62   0x000000000000807b, 0x0000000000007ffd,
63   0x000000000000807a, 0x0000000000000080,
64   0x00000000000000fd, 0x000000000000007f,
65   0x00000000000000fc, 0x000000000000007e,
66   0x00000000000000fb, 0x000000000000007d,
67   0x00000000000000fa, 0x0000000000000020,
68   0x000000000000009d, 0x0000000000000003,
69   0x0000000000000003, 0x0000000000000003,
70   0x0000000000000002, 0x0000000000000002,
71   0x0000000000000001, 0x0000000000000001,
72   0x0000000000000000, 0x0000000000000000,
73   0xffffffffffffffff, 0xffffffffffffffff,
74   0xfffffffffffffffe, 0xffffffffffffffe1,
75   0xffffffffffffffe0, 0xffffffffffffff84,
76   0xffffffffffffff83, 0xffffffffffffff83,
77   0xffffffffffffff82, 0xffffffffffffff82,
78   0xffffffffffffff81, 0xffffffffffff8004,
79   0xffffffffffff8003, 0xffffffffffff8003,
80   0xffffffffffff8002, 0xffffffffffff8002,
81   0xffffffffffff8001, 0xffffffffccccccce,
82   0xffffffffcccccccd, 0xffffffffaaaaaaac,
83   0xffffffffaaaaaaab, 0xffffffff80000004,
84   0xffffffff80000003, 0xffffffff80000003,
85   0xffffffff80000002, 0xffffffff80000002,
86   0xffffffff80000001, 0x0000000080000001,
87   0x0000000080000000, 0x0000000080000000,
88   0x000000007fffffff, 0x0000000055555557,
89   0x0000000055555556, 0x0000000033333335,
90   0x0000000033333334, 0x0000000000008001,
91   0x0000000000008000, 0x0000000000008000,
92   0x0000000000007fff, 0x0000000000007fff,
93   0x0000000000007ffe, 0x0000000000007ffe,
94   0x0000000000007ffd, 0x0000000000000081,
95   0x0000000000000080, 0x0000000000000080,
96   0x000000000000007f, 0x000000000000007f,
97   0x000000000000007e, 0x000000000000007e,
98   0x000000000000007d, 0x0000000000000021,
99   0x0000000000000020, 0x0000000000000004,
100   0x0000000000000004, 0x0000000000000004,
101   0x0000000000000003, 0x0000000000000003,
102   0x0000000000000002, 0x0000000000000002,
103   0x0000000000000001, 0x0000000000000001,
104   0x0000000000000000, 0x0000000000000000,
105   0xffffffffffffffff, 0xffffffffffffffe2,
106   0xffffffffffffffe1, 0xffffffffffffff85,
107   0xffffffffffffff84, 0xffffffffffffff84,
108   0xffffffffffffff83, 0xffffffffffffff83,
109   0xffffffffffffff82, 0xffffffffffff8005,
110   0xffffffffffff8004, 0xffffffffffff8004,
111   0xffffffffffff8003, 0xffffffffffff8003,
112   0xffffffffffff8002, 0xffffffffcccccccf,
113   0xffffffffccccccce, 0xffffffffaaaaaaad,
114   0xffffffffaaaaaaac, 0xffffffff80000005,
115   0xffffffff80000004, 0xffffffff80000004,
116   0xffffffff80000003, 0xffffffff80000003,
117   0xffffffff80000002, 0x0000000080000002,
118   0x0000000080000001, 0x0000000080000001,
119   0x0000000080000000, 0x0000000055555558,
120   0x0000000055555557, 0x0000000033333336,
121   0x0000000033333335, 0x0000000000008002,
122   0x0000000000008001, 0x0000000000008001,
123   0x0000000000008000, 0x0000000000008000,
124   0x0000000000007fff, 0x0000000000007fff,
125   0x0000000000007ffe, 0x0000000000000082,
126   0x0000000000000081, 0x0000000000000081,
127   0x0000000000000080, 0x0000000000000080,
128   0x000000000000007f, 0x000000000000007f,
129   0x000000000000007e, 0x0000000000000022,
130   0x0000000000000021, 0x0000000000000005,
131   0x0000000000000005, 0x0000000000000042,
132   0x0000000000000004, 0x0000000000000041,
133   0x0000000000000003, 0x0000000000000040,
134   0x0000000000000002, 0x000000000000003f,
135   0x0000000000000001, 0x000000000000003e,
136   0x0000000000000000, 0x0000000000000020,
137   0xffffffffffffffe2, 0xffffffffffffffc3,
138   0xffffffffffffff85, 0xffffffffffffffc2,
139   0xffffffffffffff84, 0xffffffffffffffc1,
140   0xffffffffffffff83, 0xffffffffffff8043,
141   0xffffffffffff8005, 0xffffffffffff8042,
142   0xffffffffffff8004, 0xffffffffffff8041,
143   0xffffffffffff8003, 0xffffffffcccccd0d,
144   0xffffffffcccccccf, 0xffffffffaaaaaaeb,
145   0xffffffffaaaaaaad, 0xffffffff80000043,
146   0xffffffff80000005, 0xffffffff80000042,
147   0xffffffff80000004, 0xffffffff80000041,
148   0xffffffff80000003, 0x0000000080000040,
149   0x0000000080000002, 0x000000008000003f,
150   0x0000000080000001, 0x0000000055555596,
151   0x0000000055555558, 0x0000000033333374,
152   0x0000000033333336, 0x0000000000008040,
153   0x0000000000008002, 0x000000000000803f,
154   0x0000000000008001, 0x000000000000803e,
155   0x0000000000008000, 0x000000000000803d,
156   0x0000000000007fff, 0x00000000000000c0,
157   0x0000000000000082, 0x00000000000000bf,
158   0x0000000000000081, 0x00000000000000be,
159   0x0000000000000080, 0x00000000000000bd,
160   0x000000000000007f, 0x0000000000000060,
161   0x0000000000000022, 0x0000000000000043,
162   0x0000000000000043, 0x000000000000007f,
163   0x0000000000000042, 0x000000000000007e,
164   0x0000000000000041, 0x000000000000007d,
165   0x0000000000000040, 0x000000000000007c,
166   0x000000000000003f, 0x000000000000007b,
167   0x000000000000003e, 0x000000000000005d,
168   0x0000000000000020, 0x0000000000000000,
169   0xffffffffffffffc3, 0xffffffffffffffff,
170   0xffffffffffffffc2, 0xfffffffffffffffe,
171   0xffffffffffffffc1, 0xffffffffffff8080,
172   0xffffffffffff8043, 0xffffffffffff807f,
173   0xffffffffffff8042, 0xffffffffffff807e,
174   0xffffffffffff8041, 0xffffffffcccccd4a,
175   0xffffffffcccccd0d, 0xffffffffaaaaab28,
176   0xffffffffaaaaaaeb, 0xffffffff80000080,
177   0xffffffff80000043, 0xffffffff8000007f,
178   0xffffffff80000042, 0xffffffff8000007e,
179   0xffffffff80000041, 0x000000008000007d,
180   0x0000000080000040, 0x000000008000007c,
181   0x000000008000003f, 0x00000000555555d3,
182   0x0000000055555596, 0x00000000333333b1,
183   0x0000000033333374, 0x000000000000807d,
184   0x0000000000008040, 0x000000000000807c,
185   0x000000000000803f, 0x000000000000807b,
186   0x000000000000803e, 0x000000000000807a,
187   0x000000000000803d, 0x00000000000000fd,
188   0x00000000000000c0, 0x00000000000000fc,
189   0x00000000000000bf, 0x00000000000000fb,
190   0x00000000000000be, 0x00000000000000fa,
191   0x00000000000000bd, 0x000000000000009d,
192   0x0000000000000060, 0x0000000000000080,
193   0x0000000000000080, 0x0000000000000080,
194   0x000000000000007f, 0x000000000000007f,
195   0x000000000000007e, 0x000000000000007e,
196   0x000000000000007d, 0x000000000000007d,
197   0x000000000000007c, 0x000000000000007c,
198   0x000000000000007b, 0x000000000000005e,
199   0x000000000000005d, 0x0000000000000001,
200   0x0000000000000000, 0x0000000000000000,
201   0xffffffffffffffff, 0xffffffffffffffff,
202   0xfffffffffffffffe, 0xffffffffffff8081,
203   0xffffffffffff8080, 0xffffffffffff8080,
204   0xffffffffffff807f, 0xffffffffffff807f,
205   0xffffffffffff807e, 0xffffffffcccccd4b,
206   0xffffffffcccccd4a, 0xffffffffaaaaab29,
207   0xffffffffaaaaab28, 0xffffffff80000081,
208   0xffffffff80000080, 0xffffffff80000080,
209   0xffffffff8000007f, 0xffffffff8000007f,
210   0xffffffff8000007e, 0x000000008000007e,
211   0x000000008000007d, 0x000000008000007d,
212   0x000000008000007c, 0x00000000555555d4,
213   0x00000000555555d3, 0x00000000333333b2,
214   0x00000000333333b1, 0x000000000000807e,
215   0x000000000000807d, 0x000000000000807d,
216   0x000000000000807c, 0x000000000000807c,
217   0x000000000000807b, 0x000000000000807b,
218   0x000000000000807a, 0x00000000000000fe,
219   0x00000000000000fd, 0x00000000000000fd,
220   0x00000000000000fc, 0x00000000000000fc,
221   0x00000000000000fb, 0x00000000000000fb,
222   0x00000000000000fa, 0x000000000000009e,
223   0x000000000000009d, 0x0000000000000081,
224   0x0000000000000081, 0x0000000000000081,
225   0x0000000000000080, 0x0000000000000080,
226   0x000000000000007f, 0x000000000000007f,
227   0x000000000000007e, 0x000000000000007e,
228   0x000000000000007d, 0x000000000000007d,
229   0x000000000000007c, 0x000000000000005f,
230   0x000000000000005e, 0x0000000000000002,
231   0x0000000000000001, 0x0000000000000001,
232   0x0000000000000000, 0x0000000000000000,
233   0xffffffffffffffff, 0xffffffffffff8082,
234   0xffffffffffff8081, 0xffffffffffff8081,
235   0xffffffffffff8080, 0xffffffffffff8080,
236   0xffffffffffff807f, 0xffffffffcccccd4c,
237   0xffffffffcccccd4b, 0xffffffffaaaaab2a,
238   0xffffffffaaaaab29, 0xffffffff80000082,
239   0xffffffff80000081, 0xffffffff80000081,
240   0xffffffff80000080, 0xffffffff80000080,
241   0xffffffff8000007f, 0x000000008000007f,
242   0x000000008000007e, 0x000000008000007e,
243   0x000000008000007d, 0x00000000555555d5,
244   0x00000000555555d4, 0x00000000333333b3,
245   0x00000000333333b2, 0x000000000000807f,
246   0x000000000000807e, 0x000000000000807e,
247   0x000000000000807d, 0x000000000000807d,
248   0x000000000000807c, 0x000000000000807c,
249   0x000000000000807b, 0x00000000000000ff,
250   0x00000000000000fe, 0x00000000000000fe,
251   0x00000000000000fd, 0x00000000000000fd,
252   0x00000000000000fc, 0x00000000000000fc,
253   0x00000000000000fb, 0x000000000000009f,
254   0x000000000000009e, 0x0000000000000082,
255   0x0000000000000082, 0x0000000000007fff,
256   0x0000000000000081, 0x0000000000007ffe,
257   0x0000000000000080, 0x0000000000007ffd,
258   0x000000000000007f, 0x0000000000007ffc,
259   0x000000000000007e, 0x0000000000007ffb,
260   0x000000000000007d, 0x0000000000007fdd,
261   0x000000000000005f, 0x0000000000007f80,
262   0x0000000000000002, 0x0000000000007f7f,
263   0x0000000000000001, 0x0000000000007f7e,
264   0x0000000000000000, 0x0000000000000000,
265   0xffffffffffff8082, 0xffffffffffffffff,
266   0xffffffffffff8081, 0xfffffffffffffffe,
267   0xffffffffffff8080, 0xffffffffcccd4cca,
268   0xffffffffcccccd4c, 0xffffffffaaab2aa8,
269   0xffffffffaaaaab2a, 0xffffffff80008000,
270   0xffffffff80000082, 0xffffffff80007fff,
271   0xffffffff80000081, 0xffffffff80007ffe,
272   0xffffffff80000080, 0x0000000080007ffd,
273   0x000000008000007f, 0x0000000080007ffc,
274   0x000000008000007e, 0x000000005555d553,
275   0x00000000555555d5, 0x000000003333b331,
276   0x00000000333333b3, 0x000000000000fffd,
277   0x000000000000807f, 0x000000000000fffc,
278   0x000000000000807e, 0x000000000000fffb,
279   0x000000000000807d, 0x000000000000fffa,
280   0x000000000000807c, 0x000000000000807d,
281   0x00000000000000ff, 0x000000000000807c,
282   0x00000000000000fe, 0x000000000000807b,
283   0x00000000000000fd, 0x000000000000807a,
284   0x00000000000000fc, 0x000000000000801d,
285   0x000000000000009f, 0x0000000000008000,
286   0x0000000000008000, 0x0000000000008000,
287   0x0000000000007fff, 0x0000000000007fff,
288   0x0000000000007ffe, 0x0000000000007ffe,
289   0x0000000000007ffd, 0x0000000000007ffd,
290   0x0000000000007ffc, 0x0000000000007ffc,
291   0x0000000000007ffb, 0x0000000000007fde,
292   0x0000000000007fdd, 0x0000000000007f81,
293   0x0000000000007f80, 0x0000000000007f80,
294   0x0000000000007f7f, 0x0000000000007f7f,
295   0x0000000000007f7e, 0x0000000000000001,
296   0x0000000000000000, 0x0000000000000000,
297   0xffffffffffffffff, 0xffffffffffffffff,
298   0xfffffffffffffffe, 0xffffffffcccd4ccb,
299   0xffffffffcccd4cca, 0xffffffffaaab2aa9,
300   0xffffffffaaab2aa8, 0xffffffff80008001,
301   0xffffffff80008000, 0xffffffff80008000,
302   0xffffffff80007fff, 0xffffffff80007fff,
303   0xffffffff80007ffe, 0x0000000080007ffe,
304   0x0000000080007ffd, 0x0000000080007ffd,
305   0x0000000080007ffc, 0x000000005555d554,
306   0x000000005555d553, 0x000000003333b332,
307   0x000000003333b331, 0x000000000000fffe,
308   0x000000000000fffd, 0x000000000000fffd,
309   0x000000000000fffc, 0x000000000000fffc,
310   0x000000000000fffb, 0x000000000000fffb,
311   0x000000000000fffa, 0x000000000000807e,
312   0x000000000000807d, 0x000000000000807d,
313   0x000000000000807c, 0x000000000000807c,
314   0x000000000000807b, 0x000000000000807b,
315   0x000000000000807a, 0x000000000000801e,
316   0x000000000000801d, 0x0000000000008001,
317   0x0000000000008001, 0x0000000000008001,
318   0x0000000000008000, 0x0000000000008000,
319   0x0000000000007fff, 0x0000000000007fff,
320   0x0000000000007ffe, 0x0000000000007ffe,
321   0x0000000000007ffd, 0x0000000000007ffd,
322   0x0000000000007ffc, 0x0000000000007fdf,
323   0x0000000000007fde, 0x0000000000007f82,
324   0x0000000000007f81, 0x0000000000007f81,
325   0x0000000000007f80, 0x0000000000007f80,
326   0x0000000000007f7f, 0x0000000000000002,
327   0x0000000000000001, 0x0000000000000001,
328   0x0000000000000000, 0x0000000000000000,
329   0xffffffffffffffff, 0xffffffffcccd4ccc,
330   0xffffffffcccd4ccb, 0xffffffffaaab2aaa,
331   0xffffffffaaab2aa9, 0xffffffff80008002,
332   0xffffffff80008001, 0xffffffff80008001,
333   0xffffffff80008000, 0xffffffff80008000,
334   0xffffffff80007fff, 0x0000000080007fff,
335   0x0000000080007ffe, 0x0000000080007ffe,
336   0x0000000080007ffd, 0x000000005555d555,
337   0x000000005555d554, 0x000000003333b333,
338   0x000000003333b332, 0x000000000000ffff,
339   0x000000000000fffe, 0x000000000000fffe,
340   0x000000000000fffd, 0x000000000000fffd,
341   0x000000000000fffc, 0x000000000000fffc,
342   0x000000000000fffb, 0x000000000000807f,
343   0x000000000000807e, 0x000000000000807e,
344   0x000000000000807d, 0x000000000000807d,
345   0x000000000000807c, 0x000000000000807c,
346   0x000000000000807b, 0x000000000000801f,
347   0x000000000000801e, 0x0000000000008002,
348   0x0000000000008002, 0x000000007fffffff,
349   0x0000000000008001, 0x000000007ffffffe,
350   0x0000000000008000, 0x000000007ffffffd,
351   0x0000000000007fff, 0x000000007ffffffc,
352   0x0000000000007ffe, 0x000000007ffffffb,
353   0x0000000000007ffd, 0x000000007fffffdd,
354   0x0000000000007fdf, 0x000000007fffff80,
355   0x0000000000007f82, 0x000000007fffff7f,
356   0x0000000000007f81, 0x000000007fffff7e,
357   0x0000000000007f80, 0x000000007fff8000,
358   0x0000000000000002, 0x000000007fff7fff,
359   0x0000000000000001, 0x000000007fff7ffe,
360   0x0000000000000000, 0x000000004cccccca,
361   0xffffffffcccd4ccc, 0x000000002aaaaaa8,
362   0xffffffffaaab2aaa, 0x0000000000000000,
363   0xffffffff80008002, 0xffffffffffffffff,
364   0xffffffff80008001, 0xfffffffffffffffe,
365   0xffffffff80008000, 0x00000000fffffffd,
366   0x0000000080007fff, 0x00000000fffffffc,
367   0x0000000080007ffe, 0x00000000d5555553,
368   0x000000005555d555, 0x00000000b3333331,
369   0x000000003333b333, 0x0000000080007ffd,
370   0x000000000000ffff, 0x0000000080007ffc,
371   0x000000000000fffe, 0x0000000080007ffb,
372   0x000000000000fffd, 0x0000000080007ffa,
373   0x000000000000fffc, 0x000000008000007d,
374   0x000000000000807f, 0x000000008000007c,
375   0x000000000000807e, 0x000000008000007b,
376   0x000000000000807d, 0x000000008000007a,
377   0x000000000000807c, 0x000000008000001d,
378   0x000000000000801f, 0x0000000080000000,
379   0x0000000080000000, 0x0000000080000000,
380   0x000000007fffffff, 0x000000007fffffff,
381   0x000000007ffffffe, 0x000000007ffffffe,
382   0x000000007ffffffd, 0x000000007ffffffd,
383   0x000000007ffffffc, 0x000000007ffffffc,
384   0x000000007ffffffb, 0x000000007fffffde,
385   0x000000007fffffdd, 0x000000007fffff81,
386   0x000000007fffff80, 0x000000007fffff80,
387   0x000000007fffff7f, 0x000000007fffff7f,
388   0x000000007fffff7e, 0x000000007fff8001,
389   0x000000007fff8000, 0x000000007fff8000,
390   0x000000007fff7fff, 0x000000007fff7fff,
391   0x000000007fff7ffe, 0x000000004ccccccb,
392   0x000000004cccccca, 0x000000002aaaaaa9,
393   0x000000002aaaaaa8, 0x0000000000000001,
394   0x0000000000000000, 0x0000000000000000,
395   0xffffffffffffffff, 0xffffffffffffffff,
396   0xfffffffffffffffe, 0x00000000fffffffe,
397   0x00000000fffffffd, 0x00000000fffffffd,
398   0x00000000fffffffc, 0x00000000d5555554,
399   0x00000000d5555553, 0x00000000b3333332,
400   0x00000000b3333331, 0x0000000080007ffe,
401   0x0000000080007ffd, 0x0000000080007ffd,
402   0x0000000080007ffc, 0x0000000080007ffc,
403   0x0000000080007ffb, 0x0000000080007ffb,
404   0x0000000080007ffa, 0x000000008000007e,
405   0x000000008000007d, 0x000000008000007d,
406   0x000000008000007c, 0x000000008000007c,
407   0x000000008000007b, 0x000000008000007b,
408   0x000000008000007a, 0x000000008000001e,
409   0x000000008000001d, 0x0000000080000001,
410   0x0000000080000001, 0x0000000080000001,
411   0x0000000080000000, 0x0000000080000000,
412   0x000000007fffffff, 0x000000007fffffff,
413   0x000000007ffffffe, 0x000000007ffffffe,
414   0x000000007ffffffd, 0x000000007ffffffd,
415   0x000000007ffffffc, 0x000000007fffffdf,
416   0x000000007fffffde, 0x000000007fffff82,
417   0x000000007fffff81, 0x000000007fffff81,
418   0x000000007fffff80, 0x000000007fffff80,
419   0x000000007fffff7f, 0x000000007fff8002,
420   0x000000007fff8001, 0x000000007fff8001,
421   0x000000007fff8000, 0x000000007fff8000,
422   0x000000007fff7fff, 0x000000004ccccccc,
423   0x000000004ccccccb, 0x000000002aaaaaaa,
424   0x000000002aaaaaa9, 0x0000000000000002,
425   0x0000000000000001, 0x0000000000000001,
426   0x0000000000000000, 0x0000000000000000,
427   0xffffffffffffffff, 0x00000000ffffffff,
428   0x00000000fffffffe, 0x00000000fffffffe,
429   0x00000000fffffffd, 0x00000000d5555555,
430   0x00000000d5555554, 0x00000000b3333333,
431   0x00000000b3333332, 0x0000000080007fff,
432   0x0000000080007ffe, 0x0000000080007ffe,
433   0x0000000080007ffd, 0x0000000080007ffd,
434   0x0000000080007ffc, 0x0000000080007ffc,
435   0x0000000080007ffb, 0x000000008000007f,
436   0x000000008000007e, 0x000000008000007e,
437   0x000000008000007d, 0x000000008000007d,
438   0x000000008000007c, 0x000000008000007c,
439   0x000000008000007b, 0x000000008000001f,
440   0x000000008000001e, 0x0000000080000002,
441   0x0000000080000002, 0x3333333333333335,
442   0x0000000080000001, 0x3333333333333334,
443   0x0000000080000000, 0x3333333333333333,
444   0x000000007fffffff, 0x3333333333333332,
445   0x000000007ffffffe, 0x3333333333333331,
446   0x000000007ffffffd, 0x3333333333333313,
447   0x000000007fffffdf, 0x33333333333332b6,
448   0x000000007fffff82, 0x33333333333332b5,
449   0x000000007fffff81, 0x33333333333332b4,
450   0x000000007fffff80, 0x333333333332b336,
451   0x000000007fff8002, 0x333333333332b335,
452   0x000000007fff8001, 0x333333333332b334,
453   0x000000007fff8000, 0x3333333300000000,
454   0x000000004ccccccc, 0x33333332ddddddde,
455   0x000000002aaaaaaa, 0x33333332b3333336,
456   0x0000000000000002, 0x33333332b3333335,
457   0x0000000000000001, 0x33333332b3333334,
458   0x0000000000000000, 0x33333333b3333333,
459   0x00000000ffffffff, 0x33333333b3333332,
460   0x00000000fffffffe, 0x3333333388888889,
461   0x00000000d5555555, 0x3333333366666667,
462   0x00000000b3333333, 0x333333333333b333,
463   0x0000000080007fff, 0x333333333333b332,
464   0x0000000080007ffe, 0x333333333333b331,
465   0x0000000080007ffd, 0x333333333333b330,
466   0x0000000080007ffc, 0x33333333333333b3,
467   0x000000008000007f, 0x33333333333333b2,
468   0x000000008000007e, 0x33333333333333b1,
469   0x000000008000007d, 0x33333333333333b0,
470   0x000000008000007c, 0x3333333333333353,
471   0x000000008000001f, 0x3333333333333336,
472   0x3333333333333336, 0x5555555555555557,
473   0x3333333333333335, 0x5555555555555556,
474   0x3333333333333334, 0x5555555555555555,
475   0x3333333333333333, 0x5555555555555554,
476   0x3333333333333332, 0x5555555555555553,
477   0x3333333333333331, 0x5555555555555535,
478   0x3333333333333313, 0x55555555555554d8,
479   0x33333333333332b6, 0x55555555555554d7,
480   0x33333333333332b5, 0x55555555555554d6,
481   0x33333333333332b4, 0x555555555554d558,
482   0x333333333332b336, 0x555555555554d557,
483   0x333333333332b335, 0x555555555554d556,
484   0x333333333332b334, 0x5555555522222222,
485   0x3333333300000000, 0x5555555500000000,
486   0x33333332ddddddde, 0x55555554d5555558,
487   0x33333332b3333336, 0x55555554d5555557,
488   0x33333332b3333335, 0x55555554d5555556,
489   0x33333332b3333334, 0x55555555d5555555,
490   0x33333333b3333333, 0x55555555d5555554,
491   0x33333333b3333332, 0x55555555aaaaaaab,
492   0x3333333388888889, 0x5555555588888889,
493   0x3333333366666667, 0x555555555555d555,
494   0x333333333333b333, 0x555555555555d554,
495   0x333333333333b332, 0x555555555555d553,
496   0x333333333333b331, 0x555555555555d552,
497   0x333333333333b330, 0x55555555555555d5,
498   0x33333333333333b3, 0x55555555555555d4,
499   0x33333333333333b2, 0x55555555555555d3,
500   0x33333333333333b1, 0x55555555555555d2,
501   0x33333333333333b0, 0x5555555555555575,
502   0x3333333333333353, 0x5555555555555558,
503   0x5555555555555558, 0x7fffffffffffffff,
504   0x5555555555555557, 0x7ffffffffffffffe,
505   0x5555555555555556, 0x7ffffffffffffffd,
506   0x5555555555555555, 0x7ffffffffffffffc,
507   0x5555555555555554, 0x7ffffffffffffffb,
508   0x5555555555555553, 0x7fffffffffffffdd,
509   0x5555555555555535, 0x7fffffffffffff80,
510   0x55555555555554d8, 0x7fffffffffffff7f,
511   0x55555555555554d7, 0x7fffffffffffff7e,
512   0x55555555555554d6, 0x7fffffffffff8000,
513   0x555555555554d558, 0x7fffffffffff7fff,
514   0x555555555554d557, 0x7fffffffffff7ffe,
515   0x555555555554d556, 0x7fffffffccccccca,
516   0x5555555522222222, 0x7fffffffaaaaaaa8,
517   0x5555555500000000, 0x7fffffff80000000,
518   0x55555554d5555558, 0x7fffffff7fffffff,
519   0x55555554d5555557, 0x7fffffff7ffffffe,
520   0x55555554d5555556, 0x800000007ffffffd,
521   0x55555555d5555555, 0x800000007ffffffc,
522   0x55555555d5555554, 0x8000000055555553,
523   0x55555555aaaaaaab, 0x8000000033333331,
524   0x5555555588888889, 0x8000000000007ffd,
525   0x555555555555d555, 0x8000000000007ffc,
526   0x555555555555d554, 0x8000000000007ffb,
527   0x555555555555d553, 0x8000000000007ffa,
528   0x555555555555d552, 0x800000000000007d,
529   0x55555555555555d5, 0x800000000000007c,
530   0x55555555555555d4, 0x800000000000007b,
531   0x55555555555555d3, 0x800000000000007a,
532   0x55555555555555d2, 0x800000000000001d,
533   0x5555555555555575, 0x8000000000000000,
534   0x8000000000000000, 0x8000000000000000,
535   0x7fffffffffffffff, 0x7fffffffffffffff,
536   0x7ffffffffffffffe, 0x7ffffffffffffffe,
537   0x7ffffffffffffffd, 0x7ffffffffffffffd,
538   0x7ffffffffffffffc, 0x7ffffffffffffffc,
539   0x7ffffffffffffffb, 0x7fffffffffffffde,
540   0x7fffffffffffffdd, 0x7fffffffffffff81,
541   0x7fffffffffffff80, 0x7fffffffffffff80,
542   0x7fffffffffffff7f, 0x7fffffffffffff7f,
543   0x7fffffffffffff7e, 0x7fffffffffff8001,
544   0x7fffffffffff8000, 0x7fffffffffff8000,
545   0x7fffffffffff7fff, 0x7fffffffffff7fff,
546   0x7fffffffffff7ffe, 0x7fffffffcccccccb,
547   0x7fffffffccccccca, 0x7fffffffaaaaaaa9,
548   0x7fffffffaaaaaaa8, 0x7fffffff80000001,
549   0x7fffffff80000000, 0x7fffffff80000000,
550   0x7fffffff7fffffff, 0x7fffffff7fffffff,
551   0x7fffffff7ffffffe, 0x800000007ffffffe,
552   0x800000007ffffffd, 0x800000007ffffffd,
553   0x800000007ffffffc, 0x8000000055555554,
554   0x8000000055555553, 0x8000000033333332,
555   0x8000000033333331, 0x8000000000007ffe,
556   0x8000000000007ffd, 0x8000000000007ffd,
557   0x8000000000007ffc, 0x8000000000007ffc,
558   0x8000000000007ffb, 0x8000000000007ffb,
559   0x8000000000007ffa, 0x800000000000007e,
560   0x800000000000007d, 0x800000000000007d,
561   0x800000000000007c, 0x800000000000007c,
562   0x800000000000007b, 0x800000000000007b,
563   0x800000000000007a, 0x800000000000001e,
564   0x800000000000001d, 0x8000000000000001,
565   0x8000000000000001, 0x8000000000000001,
566   0x8000000000000000, 0x8000000000000000,
567   0x7fffffffffffffff, 0x7fffffffffffffff,
568   0x7ffffffffffffffe, 0x7ffffffffffffffe,
569   0x7ffffffffffffffd, 0x7ffffffffffffffd,
570   0x7ffffffffffffffc, 0x7fffffffffffffdf,
571   0x7fffffffffffffde, 0x7fffffffffffff82,
572   0x7fffffffffffff81, 0x7fffffffffffff81,
573   0x7fffffffffffff80, 0x7fffffffffffff80,
574   0x7fffffffffffff7f, 0x7fffffffffff8002,
575   0x7fffffffffff8001, 0x7fffffffffff8001,
576   0x7fffffffffff8000, 0x7fffffffffff8000,
577   0x7fffffffffff7fff, 0x7fffffffcccccccc,
578   0x7fffffffcccccccb, 0x7fffffffaaaaaaaa,
579   0x7fffffffaaaaaaa9, 0x7fffffff80000002,
580   0x7fffffff80000001, 0x7fffffff80000001,
581   0x7fffffff80000000, 0x7fffffff80000000,
582   0x7fffffff7fffffff, 0x800000007fffffff,
583   0x800000007ffffffe, 0x800000007ffffffe,
584   0x800000007ffffffd, 0x8000000055555555,
585   0x8000000055555554, 0x8000000033333333,
586   0x8000000033333332, 0x8000000000007fff,
587   0x8000000000007ffe, 0x8000000000007ffe,
588   0x8000000000007ffd, 0x8000000000007ffd,
589   0x8000000000007ffc, 0x8000000000007ffc,
590   0x8000000000007ffb, 0x800000000000007f,
591   0x800000000000007e, 0x800000000000007e,
592   0x800000000000007d, 0x800000000000007d,
593   0x800000000000007c, 0x800000000000007c,
594   0x800000000000007b, 0x800000000000001f,
595   0x800000000000001e, 0x8000000000000002,
596   0x8000000000000002, 0x8000000000000002,
597   0x8000000000000001, 0x8000000000000001,
598   0x8000000000000000, 0x8000000000000000,
599   0x7fffffffffffffff, 0x7fffffffffffffff,
600   0x7ffffffffffffffe, 0x7ffffffffffffffe,
601   0x7ffffffffffffffd, 0x7fffffffffffffe0,
602   0x7fffffffffffffdf, 0x7fffffffffffff83,
603   0x7fffffffffffff82, 0x7fffffffffffff82,
604   0x7fffffffffffff81, 0x7fffffffffffff81,
605   0x7fffffffffffff80, 0x7fffffffffff8003,
606   0x7fffffffffff8002, 0x7fffffffffff8002,
607   0x7fffffffffff8001, 0x7fffffffffff8001,
608   0x7fffffffffff8000, 0x7fffffffcccccccd,
609   0x7fffffffcccccccc, 0x7fffffffaaaaaaab,
610   0x7fffffffaaaaaaaa, 0x7fffffff80000003,
611   0x7fffffff80000002, 0x7fffffff80000002,
612   0x7fffffff80000001, 0x7fffffff80000001,
613   0x7fffffff80000000, 0x8000000080000000,
614   0x800000007fffffff, 0x800000007fffffff,
615   0x800000007ffffffe, 0x8000000055555556,
616   0x8000000055555555, 0x8000000033333334,
617   0x8000000033333333, 0x8000000000008000,
618   0x8000000000007fff, 0x8000000000007fff,
619   0x8000000000007ffe, 0x8000000000007ffe,
620   0x8000000000007ffd, 0x8000000000007ffd,
621   0x8000000000007ffc, 0x8000000000000080,
622   0x800000000000007f, 0x800000000000007f,
623   0x800000000000007e, 0x800000000000007e,
624   0x800000000000007d, 0x800000000000007d,
625   0x800000000000007c, 0x8000000000000020,
626   0x800000000000001f, 0x8000000000000003,
627   0x8000000000000003, 0x8000000000000003,
628   0x8000000000000002, 0x8000000000000002,
629   0x8000000000000001, 0x8000000000000001,
630   0x8000000000000000, 0x8000000000000000,
631   0x7fffffffffffffff, 0x7fffffffffffffff,
632   0x7ffffffffffffffe, 0x7fffffffffffffe1,
633   0x7fffffffffffffe0, 0x7fffffffffffff84,
634   0x7fffffffffffff83, 0x7fffffffffffff83,
635   0x7fffffffffffff82, 0x7fffffffffffff82,
636   0x7fffffffffffff81, 0x7fffffffffff8004,
637   0x7fffffffffff8003, 0x7fffffffffff8003,
638   0x7fffffffffff8002, 0x7fffffffffff8002,
639   0x7fffffffffff8001, 0x7fffffffccccccce,
640   0x7fffffffcccccccd, 0x7fffffffaaaaaaac,
641   0x7fffffffaaaaaaab, 0x7fffffff80000004,
642   0x7fffffff80000003, 0x7fffffff80000003,
643   0x7fffffff80000002, 0x7fffffff80000002,
644   0x7fffffff80000001, 0x8000000080000001,
645   0x8000000080000000, 0x8000000080000000,
646   0x800000007fffffff, 0x8000000055555557,
647   0x8000000055555556, 0x8000000033333335,
648   0x8000000033333334, 0x8000000000008001,
649   0x8000000000008000, 0x8000000000008000,
650   0x8000000000007fff, 0x8000000000007fff,
651   0x8000000000007ffe, 0x8000000000007ffe,
652   0x8000000000007ffd, 0x8000000000000081,
653   0x8000000000000080, 0x8000000000000080,
654   0x800000000000007f, 0x800000000000007f,
655   0x800000000000007e, 0x800000000000007e,
656   0x800000000000007d, 0x8000000000000021,
657   0x8000000000000020, 0x8000000000000004,
658   0x8000000000000004, 0x8000000000000004,
659   0x8000000000000003, 0x8000000000000003,
660   0x8000000000000002, 0x8000000000000002,
661   0x8000000000000001, 0x8000000000000001,
662   0x8000000000000000, 0x8000000000000000,
663   0x7fffffffffffffff, 0x7fffffffffffffe2,
664   0x7fffffffffffffe1, 0x7fffffffffffff85,
665   0x7fffffffffffff84, 0x7fffffffffffff84,
666   0x7fffffffffffff83, 0x7fffffffffffff83,
667   0x7fffffffffffff82, 0x7fffffffffff8005,
668   0x7fffffffffff8004, 0x7fffffffffff8004,
669   0x7fffffffffff8003, 0x7fffffffffff8003,
670   0x7fffffffffff8002, 0x7fffffffcccccccf,
671   0x7fffffffccccccce, 0x7fffffffaaaaaaad,
672   0x7fffffffaaaaaaac, 0x7fffffff80000005,
673   0x7fffffff80000004, 0x7fffffff80000004,
674   0x7fffffff80000003, 0x7fffffff80000003,
675   0x7fffffff80000002, 0x8000000080000002,
676   0x8000000080000001, 0x8000000080000001,
677   0x8000000080000000, 0x8000000055555558,
678   0x8000000055555557, 0x8000000033333336,
679   0x8000000033333335, 0x8000000000008002,
680   0x8000000000008001, 0x8000000000008001,
681   0x8000000000008000, 0x8000000000008000,
682   0x8000000000007fff, 0x8000000000007fff,
683   0x8000000000007ffe, 0x8000000000000082,
684   0x8000000000000081, 0x8000000000000081,
685   0x8000000000000080, 0x8000000000000080,
686   0x800000000000007f, 0x800000000000007f,
687   0x800000000000007e, 0x8000000000000022,
688   0x8000000000000021, 0x8000000000000005,
689   0x8000000000000005, 0x8000000000000005,
690   0x8000000000000004, 0x8000000000000004,
691   0x8000000000000003, 0x8000000000000003,
692   0x8000000000000002, 0x8000000000000002,
693   0x8000000000000001, 0x8000000000000001,
694   0x8000000000000000, 0x7fffffffffffffe3,
695   0x7fffffffffffffe2, 0x7fffffffffffff86,
696   0x7fffffffffffff85, 0x7fffffffffffff85,
697   0x7fffffffffffff84, 0x7fffffffffffff84,
698   0x7fffffffffffff83, 0x7fffffffffff8006,
699   0x7fffffffffff8005, 0x7fffffffffff8005,
700   0x7fffffffffff8004, 0x7fffffffffff8004,
701   0x7fffffffffff8003, 0x7fffffffccccccd0,
702   0x7fffffffcccccccf, 0x7fffffffaaaaaaae,
703   0x7fffffffaaaaaaad, 0x7fffffff80000006,
704   0x7fffffff80000005, 0x7fffffff80000005,
705   0x7fffffff80000004, 0x7fffffff80000004,
706   0x7fffffff80000003, 0x8000000080000003,
707   0x8000000080000002, 0x8000000080000002,
708   0x8000000080000001, 0x8000000055555559,
709   0x8000000055555558, 0x8000000033333337,
710   0x8000000033333336, 0x8000000000008003,
711   0x8000000000008002, 0x8000000000008002,
712   0x8000000000008001, 0x8000000000008001,
713   0x8000000000008000, 0x8000000000008000,
714   0x8000000000007fff, 0x8000000000000083,
715   0x8000000000000082, 0x8000000000000082,
716   0x8000000000000081, 0x8000000000000081,
717   0x8000000000000080, 0x8000000000000080,
718   0x800000000000007f, 0x8000000000000023,
719   0x8000000000000022, 0x8000000000000006,
720   0x8000000000000006, 0xaaaaaaaaaaaaaaac,
721   0x8000000000000005, 0xaaaaaaaaaaaaaaab,
722   0x8000000000000004, 0xaaaaaaaaaaaaaaaa,
723   0x8000000000000003, 0xaaaaaaaaaaaaaaa9,
724   0x8000000000000002, 0xaaaaaaaaaaaaaaa8,
725   0x8000000000000001, 0xaaaaaaaaaaaaaa8a,
726   0x7fffffffffffffe3, 0xaaaaaaaaaaaaaa2d,
727   0x7fffffffffffff86, 0xaaaaaaaaaaaaaa2c,
728   0x7fffffffffffff85, 0xaaaaaaaaaaaaaa2b,
729   0x7fffffffffffff84, 0xaaaaaaaaaaaa2aad,
730   0x7fffffffffff8006, 0xaaaaaaaaaaaa2aac,
731   0x7fffffffffff8005, 0xaaaaaaaaaaaa2aab,
732   0x7fffffffffff8004, 0xaaaaaaaa77777777,
733   0x7fffffffccccccd0, 0xaaaaaaaa55555555,
734   0x7fffffffaaaaaaae, 0xaaaaaaaa2aaaaaad,
735   0x7fffffff80000006, 0xaaaaaaaa2aaaaaac,
736   0x7fffffff80000005, 0xaaaaaaaa2aaaaaab,
737   0x7fffffff80000004, 0xaaaaaaab2aaaaaaa,
738   0x8000000080000003, 0xaaaaaaab2aaaaaa9,
739   0x8000000080000002, 0xaaaaaaab00000000,
740   0x8000000055555559, 0xaaaaaaaaddddddde,
741   0x8000000033333337, 0xaaaaaaaaaaab2aaa,
742   0x8000000000008003, 0xaaaaaaaaaaab2aa9,
743   0x8000000000008002, 0xaaaaaaaaaaab2aa8,
744   0x8000000000008001, 0xaaaaaaaaaaab2aa7,
745   0x8000000000008000, 0xaaaaaaaaaaaaab2a,
746   0x8000000000000083, 0xaaaaaaaaaaaaab29,
747   0x8000000000000082, 0xaaaaaaaaaaaaab28,
748   0x8000000000000081, 0xaaaaaaaaaaaaab27,
749   0x8000000000000080, 0xaaaaaaaaaaaaaaca,
750   0x8000000000000023, 0xaaaaaaaaaaaaaaad,
751   0xaaaaaaaaaaaaaaad, 0xccccccccccccccce,
752   0xaaaaaaaaaaaaaaac, 0xcccccccccccccccd,
753   0xaaaaaaaaaaaaaaab, 0xcccccccccccccccc,
754   0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccb,
755   0xaaaaaaaaaaaaaaa9, 0xccccccccccccccca,
756   0xaaaaaaaaaaaaaaa8, 0xccccccccccccccac,
757   0xaaaaaaaaaaaaaa8a, 0xcccccccccccccc4f,
758   0xaaaaaaaaaaaaaa2d, 0xcccccccccccccc4e,
759   0xaaaaaaaaaaaaaa2c, 0xcccccccccccccc4d,
760   0xaaaaaaaaaaaaaa2b, 0xcccccccccccc4ccf,
761   0xaaaaaaaaaaaa2aad, 0xcccccccccccc4cce,
762   0xaaaaaaaaaaaa2aac, 0xcccccccccccc4ccd,
763   0xaaaaaaaaaaaa2aab, 0xcccccccc99999999,
764   0xaaaaaaaa77777777, 0xcccccccc77777777,
765   0xaaaaaaaa55555555, 0xcccccccc4ccccccf,
766   0xaaaaaaaa2aaaaaad, 0xcccccccc4cccccce,
767   0xaaaaaaaa2aaaaaac, 0xcccccccc4ccccccd,
768   0xaaaaaaaa2aaaaaab, 0xcccccccd4ccccccc,
769   0xaaaaaaab2aaaaaaa, 0xcccccccd4ccccccb,
770   0xaaaaaaab2aaaaaa9, 0xcccccccd22222222,
771   0xaaaaaaab00000000, 0xcccccccd00000000,
772   0xaaaaaaaaddddddde, 0xcccccccccccd4ccc,
773   0xaaaaaaaaaaab2aaa, 0xcccccccccccd4ccb,
774   0xaaaaaaaaaaab2aa9, 0xcccccccccccd4cca,
775   0xaaaaaaaaaaab2aa8, 0xcccccccccccd4cc9,
776   0xaaaaaaaaaaab2aa7, 0xcccccccccccccd4c,
777   0xaaaaaaaaaaaaab2a, 0xcccccccccccccd4b,
778   0xaaaaaaaaaaaaab29, 0xcccccccccccccd4a,
779   0xaaaaaaaaaaaaab28, 0xcccccccccccccd49,
780   0xaaaaaaaaaaaaab27, 0xccccccccccccccec,
781   0xaaaaaaaaaaaaaaca, 0xcccccccccccccccf,
782   0xcccccccccccccccf, 0xffffffff80000002,
783   0xccccccccccccccce, 0xffffffff80000001,
784   0xcccccccccccccccd, 0xffffffff80000000,
785   0xcccccccccccccccc, 0xffffffff7fffffff,
786   0xcccccccccccccccb, 0xffffffff7ffffffe,
787   0xccccccccccccccca, 0xffffffff7fffffe0,
788   0xccccccccccccccac, 0xffffffff7fffff83,
789   0xcccccccccccccc4f, 0xffffffff7fffff82,
790   0xcccccccccccccc4e, 0xffffffff7fffff81,
791   0xcccccccccccccc4d, 0xffffffff7fff8003,
792   0xcccccccccccc4ccf, 0xffffffff7fff8002,
793   0xcccccccccccc4cce, 0xffffffff7fff8001,
794   0xcccccccccccc4ccd, 0xffffffff4ccccccd,
795   0xcccccccc99999999, 0xffffffff2aaaaaab,
796   0xcccccccc77777777, 0xffffffff00000003,
797   0xcccccccc4ccccccf, 0xffffffff00000002,
798   0xcccccccc4cccccce, 0xffffffff00000001,
799   0xcccccccc4ccccccd, 0x0000000000000000,
800   0xcccccccd4ccccccc, 0xffffffffffffffff,
801   0xcccccccd4ccccccb, 0xffffffffd5555556,
802   0xcccccccd22222222, 0xffffffffb3333334,
803   0xcccccccd00000000, 0xffffffff80008000,
804   0xcccccccccccd4ccc, 0xffffffff80007fff,
805   0xcccccccccccd4ccb, 0xffffffff80007ffe,
806   0xcccccccccccd4cca, 0xffffffff80007ffd,
807   0xcccccccccccd4cc9, 0xffffffff80000080,
808   0xcccccccccccccd4c, 0xffffffff8000007f,
809   0xcccccccccccccd4b, 0xffffffff8000007e,
810   0xcccccccccccccd4a, 0xffffffff8000007d,
811   0xcccccccccccccd49, 0xffffffff80000020,
812   0xccccccccccccccec, 0xffffffff80000003,
813   0xffffffff80000003, 0xffffffff80000003,
814   0xffffffff80000002, 0xffffffff80000002,
815   0xffffffff80000001, 0xffffffff80000001,
816   0xffffffff80000000, 0xffffffff80000000,
817   0xffffffff7fffffff, 0xffffffff7fffffff,
818   0xffffffff7ffffffe, 0xffffffff7fffffe1,
819   0xffffffff7fffffe0, 0xffffffff7fffff84,
820   0xffffffff7fffff83, 0xffffffff7fffff83,
821   0xffffffff7fffff82, 0xffffffff7fffff82,
822   0xffffffff7fffff81, 0xffffffff7fff8004,
823   0xffffffff7fff8003, 0xffffffff7fff8003,
824   0xffffffff7fff8002, 0xffffffff7fff8002,
825   0xffffffff7fff8001, 0xffffffff4cccccce,
826   0xffffffff4ccccccd, 0xffffffff2aaaaaac,
827   0xffffffff2aaaaaab, 0xffffffff00000004,
828   0xffffffff00000003, 0xffffffff00000003,
829   0xffffffff00000002, 0xffffffff00000002,
830   0xffffffff00000001, 0x0000000000000001,
831   0x0000000000000000, 0x0000000000000000,
832   0xffffffffffffffff, 0xffffffffd5555557,
833   0xffffffffd5555556, 0xffffffffb3333335,
834   0xffffffffb3333334, 0xffffffff80008001,
835   0xffffffff80008000, 0xffffffff80008000,
836   0xffffffff80007fff, 0xffffffff80007fff,
837   0xffffffff80007ffe, 0xffffffff80007ffe,
838   0xffffffff80007ffd, 0xffffffff80000081,
839   0xffffffff80000080, 0xffffffff80000080,
840   0xffffffff8000007f, 0xffffffff8000007f,
841   0xffffffff8000007e, 0xffffffff8000007e,
842   0xffffffff8000007d, 0xffffffff80000021,
843   0xffffffff80000020, 0xffffffff80000004,
844   0xffffffff80000004, 0xffffffff80000004,
845   0xffffffff80000003, 0xffffffff80000003,
846   0xffffffff80000002, 0xffffffff80000002,
847   0xffffffff80000001, 0xffffffff80000001,
848   0xffffffff80000000, 0xffffffff80000000,
849   0xffffffff7fffffff, 0xffffffff7fffffe2,
850   0xffffffff7fffffe1, 0xffffffff7fffff85,
851   0xffffffff7fffff84, 0xffffffff7fffff84,
852   0xffffffff7fffff83, 0xffffffff7fffff83,
853   0xffffffff7fffff82, 0xffffffff7fff8005,
854   0xffffffff7fff8004, 0xffffffff7fff8004,
855   0xffffffff7fff8003, 0xffffffff7fff8003,
856   0xffffffff7fff8002, 0xffffffff4ccccccf,
857   0xffffffff4cccccce, 0xffffffff2aaaaaad,
858   0xffffffff2aaaaaac, 0xffffffff00000005,
859   0xffffffff00000004, 0xffffffff00000004,
860   0xffffffff00000003, 0xffffffff00000003,
861   0xffffffff00000002, 0x0000000000000002,
862   0x0000000000000001, 0x0000000000000001,
863   0x0000000000000000, 0xffffffffd5555558,
864   0xffffffffd5555557, 0xffffffffb3333336,
865   0xffffffffb3333335, 0xffffffff80008002,
866   0xffffffff80008001, 0xffffffff80008001,
867   0xffffffff80008000, 0xffffffff80008000,
868   0xffffffff80007fff, 0xffffffff80007fff,
869   0xffffffff80007ffe, 0xffffffff80000082,
870   0xffffffff80000081, 0xffffffff80000081,
871   0xffffffff80000080, 0xffffffff80000080,
872   0xffffffff8000007f, 0xffffffff8000007f,
873   0xffffffff8000007e, 0xffffffff80000022,
874   0xffffffff80000021, 0xffffffff80000005,
875   0xffffffff80000005, 0xffffffff80000005,
876   0xffffffff80000004, 0xffffffff80000004,
877   0xffffffff80000003, 0xffffffff80000003,
878   0xffffffff80000002, 0xffffffff80000002,
879   0xffffffff80000001, 0xffffffff80000001,
880   0xffffffff80000000, 0xffffffff7fffffe3,
881   0xffffffff7fffffe2, 0xffffffff7fffff86,
882   0xffffffff7fffff85, 0xffffffff7fffff85,
883   0xffffffff7fffff84, 0xffffffff7fffff84,
884   0xffffffff7fffff83, 0xffffffff7fff8006,
885   0xffffffff7fff8005, 0xffffffff7fff8005,
886   0xffffffff7fff8004, 0xffffffff7fff8004,
887   0xffffffff7fff8003, 0xffffffff4cccccd0,
888   0xffffffff4ccccccf, 0xffffffff2aaaaaae,
889   0xffffffff2aaaaaad, 0xffffffff00000006,
890   0xffffffff00000005, 0xffffffff00000005,
891   0xffffffff00000004, 0xffffffff00000004,
892   0xffffffff00000003, 0x0000000000000003,
893   0x0000000000000002, 0x0000000000000002,
894   0x0000000000000001, 0xffffffffd5555559,
895   0xffffffffd5555558, 0xffffffffb3333337,
896   0xffffffffb3333336, 0xffffffff80008003,
897   0xffffffff80008002, 0xffffffff80008002,
898   0xffffffff80008001, 0xffffffff80008001,
899   0xffffffff80008000, 0xffffffff80008000,
900   0xffffffff80007fff, 0xffffffff80000083,
901   0xffffffff80000082, 0xffffffff80000082,
902   0xffffffff80000081, 0xffffffff80000081,
903   0xffffffff80000080, 0xffffffff80000080,
904   0xffffffff8000007f, 0xffffffff80000023,
905   0xffffffff80000022, 0xffffffff80000006,
906   0xffffffff80000006, 0xffffffffffff8002,
907   0xffffffff80000005, 0xffffffffffff8001,
908   0xffffffff80000004, 0xffffffffffff8000,
909   0xffffffff80000003, 0xffffffffffff7fff,
910   0xffffffff80000002, 0xffffffffffff7ffe,
911   0xffffffff80000001, 0xffffffffffff7fe0,
912   0xffffffff7fffffe3, 0xffffffffffff7f83,
913   0xffffffff7fffff86, 0xffffffffffff7f82,
914   0xffffffff7fffff85, 0xffffffffffff7f81,
915   0xffffffff7fffff84, 0xffffffffffff0003,
916   0xffffffff7fff8006, 0xffffffffffff0002,
917   0xffffffff7fff8005, 0xffffffffffff0001,
918   0xffffffff7fff8004, 0xffffffffcccc4ccd,
919   0xffffffff4cccccd0, 0xffffffffaaaa2aab,
920   0xffffffff2aaaaaae, 0xffffffff7fff8003,
921   0xffffffff00000006, 0xffffffff7fff8002,
922   0xffffffff00000005, 0xffffffff7fff8001,
923   0xffffffff00000004, 0x000000007fff8000,
924   0x0000000000000003, 0x000000007fff7fff,
925   0x0000000000000002, 0x000000005554d556,
926   0xffffffffd5555559, 0x000000003332b334,
927   0xffffffffb3333337, 0x0000000000000000,
928   0xffffffff80008003, 0xffffffffffffffff,
929   0xffffffff80008002, 0xfffffffffffffffe,
930   0xffffffff80008001, 0xfffffffffffffffd,
931   0xffffffff80008000, 0xffffffffffff8080,
932   0xffffffff80000083, 0xffffffffffff807f,
933   0xffffffff80000082, 0xffffffffffff807e,
934   0xffffffff80000081, 0xffffffffffff807d,
935   0xffffffff80000080, 0xffffffffffff8020,
936   0xffffffff80000023, 0xffffffffffff8003,
937   0xffffffffffff8003, 0xffffffffffff8003,
938   0xffffffffffff8002, 0xffffffffffff8002,
939   0xffffffffffff8001, 0xffffffffffff8001,
940   0xffffffffffff8000, 0xffffffffffff8000,
941   0xffffffffffff7fff, 0xffffffffffff7fff,
942   0xffffffffffff7ffe, 0xffffffffffff7fe1,
943   0xffffffffffff7fe0, 0xffffffffffff7f84,
944   0xffffffffffff7f83, 0xffffffffffff7f83,
945   0xffffffffffff7f82, 0xffffffffffff7f82,
946   0xffffffffffff7f81, 0xffffffffffff0004,
947   0xffffffffffff0003, 0xffffffffffff0003,
948   0xffffffffffff0002, 0xffffffffffff0002,
949   0xffffffffffff0001, 0xffffffffcccc4cce,
950   0xffffffffcccc4ccd, 0xffffffffaaaa2aac,
951   0xffffffffaaaa2aab, 0xffffffff7fff8004,
952   0xffffffff7fff8003, 0xffffffff7fff8003,
953   0xffffffff7fff8002, 0xffffffff7fff8002,
954   0xffffffff7fff8001, 0x000000007fff8001,
955   0x000000007fff8000, 0x000000007fff8000,
956   0x000000007fff7fff, 0x000000005554d557,
957   0x000000005554d556, 0x000000003332b335,
958   0x000000003332b334, 0x0000000000000001,
959   0x0000000000000000, 0x0000000000000000,
960   0xffffffffffffffff, 0xffffffffffffffff,
961   0xfffffffffffffffe, 0xfffffffffffffffe,
962   0xfffffffffffffffd, 0xffffffffffff8081,
963   0xffffffffffff8080, 0xffffffffffff8080,
964   0xffffffffffff807f, 0xffffffffffff807f,
965   0xffffffffffff807e, 0xffffffffffff807e,
966   0xffffffffffff807d, 0xffffffffffff8021,
967   0xffffffffffff8020, 0xffffffffffff8004,
968   0xffffffffffff8004, 0xffffffffffff8004,
969   0xffffffffffff8003, 0xffffffffffff8003,
970   0xffffffffffff8002, 0xffffffffffff8002,
971   0xffffffffffff8001, 0xffffffffffff8001,
972   0xffffffffffff8000, 0xffffffffffff8000,
973   0xffffffffffff7fff, 0xffffffffffff7fe2,
974   0xffffffffffff7fe1, 0xffffffffffff7f85,
975   0xffffffffffff7f84, 0xffffffffffff7f84,
976   0xffffffffffff7f83, 0xffffffffffff7f83,
977   0xffffffffffff7f82, 0xffffffffffff0005,
978   0xffffffffffff0004, 0xffffffffffff0004,
979   0xffffffffffff0003, 0xffffffffffff0003,
980   0xffffffffffff0002, 0xffffffffcccc4ccf,
981   0xffffffffcccc4cce, 0xffffffffaaaa2aad,
982   0xffffffffaaaa2aac, 0xffffffff7fff8005,
983   0xffffffff7fff8004, 0xffffffff7fff8004,
984   0xffffffff7fff8003, 0xffffffff7fff8003,
985   0xffffffff7fff8002, 0x000000007fff8002,
986   0x000000007fff8001, 0x000000007fff8001,
987   0x000000007fff8000, 0x000000005554d558,
988   0x000000005554d557, 0x000000003332b336,
989   0x000000003332b335, 0x0000000000000002,
990   0x0000000000000001, 0x0000000000000001,
991   0x0000000000000000, 0x0000000000000000,
992   0xffffffffffffffff, 0xffffffffffffffff,
993   0xfffffffffffffffe, 0xffffffffffff8082,
994   0xffffffffffff8081, 0xffffffffffff8081,
995   0xffffffffffff8080, 0xffffffffffff8080,
996   0xffffffffffff807f, 0xffffffffffff807f,
997   0xffffffffffff807e, 0xffffffffffff8022,
998   0xffffffffffff8021, 0xffffffffffff8005,
999   0xffffffffffff8005, 0xffffffffffff8005,
1000   0xffffffffffff8004, 0xffffffffffff8004,
1001   0xffffffffffff8003, 0xffffffffffff8003,
1002   0xffffffffffff8002, 0xffffffffffff8002,
1003   0xffffffffffff8001, 0xffffffffffff8001,
1004   0xffffffffffff8000, 0xffffffffffff7fe3,
1005   0xffffffffffff7fe2, 0xffffffffffff7f86,
1006   0xffffffffffff7f85, 0xffffffffffff7f85,
1007   0xffffffffffff7f84, 0xffffffffffff7f84,
1008   0xffffffffffff7f83, 0xffffffffffff0006,
1009   0xffffffffffff0005, 0xffffffffffff0005,
1010   0xffffffffffff0004, 0xffffffffffff0004,
1011   0xffffffffffff0003, 0xffffffffcccc4cd0,
1012   0xffffffffcccc4ccf, 0xffffffffaaaa2aae,
1013   0xffffffffaaaa2aad, 0xffffffff7fff8006,
1014   0xffffffff7fff8005, 0xffffffff7fff8005,
1015   0xffffffff7fff8004, 0xffffffff7fff8004,
1016   0xffffffff7fff8003, 0x000000007fff8003,
1017   0x000000007fff8002, 0x000000007fff8002,
1018   0x000000007fff8001, 0x000000005554d559,
1019   0x000000005554d558, 0x000000003332b337,
1020   0x000000003332b336, 0x0000000000000003,
1021   0x0000000000000002, 0x0000000000000002,
1022   0x0000000000000001, 0x0000000000000001,
1023   0x0000000000000000, 0x0000000000000000,
1024   0xffffffffffffffff, 0xffffffffffff8083,
1025   0xffffffffffff8082, 0xffffffffffff8082,
1026   0xffffffffffff8081, 0xffffffffffff8081,
1027   0xffffffffffff8080, 0xffffffffffff8080,
1028   0xffffffffffff807f, 0xffffffffffff8023,
1029   0xffffffffffff8022, 0xffffffffffff8006,
1030   0xffffffffffff8006, 0xffffffffffffff82,
1031   0xffffffffffff8005, 0xffffffffffffff81,
1032   0xffffffffffff8004, 0xffffffffffffff80,
1033   0xffffffffffff8003, 0xffffffffffffff7f,
1034   0xffffffffffff8002, 0xffffffffffffff7e,
1035   0xffffffffffff8001, 0xffffffffffffff60,
1036   0xffffffffffff7fe3, 0xffffffffffffff03,
1037   0xffffffffffff7f86, 0xffffffffffffff02,
1038   0xffffffffffff7f85, 0xffffffffffffff01,
1039   0xffffffffffff7f84, 0xffffffffffff7f83,
1040   0xffffffffffff0006, 0xffffffffffff7f82,
1041   0xffffffffffff0005, 0xffffffffffff7f81,
1042   0xffffffffffff0004, 0xffffffffcccccc4d,
1043   0xffffffffcccc4cd0, 0xffffffffaaaaaa2b,
1044   0xffffffffaaaa2aae, 0xffffffff7fffff83,
1045   0xffffffff7fff8006, 0xffffffff7fffff82,
1046   0xffffffff7fff8005, 0xffffffff7fffff81,
1047   0xffffffff7fff8004, 0x000000007fffff80,
1048   0x000000007fff8003, 0x000000007fffff7f,
1049   0x000000007fff8002, 0x00000000555554d6,
1050   0x000000005554d559, 0x00000000333332b4,
1051   0x000000003332b337, 0x0000000000007f80,
1052   0x0000000000000003, 0x0000000000007f7f,
1053   0x0000000000000002, 0x0000000000007f7e,
1054   0x0000000000000001, 0x0000000000007f7d,
1055   0x0000000000000000, 0x0000000000000000,
1056   0xffffffffffff8083, 0xffffffffffffffff,
1057   0xffffffffffff8082, 0xfffffffffffffffe,
1058   0xffffffffffff8081, 0xfffffffffffffffd,
1059   0xffffffffffff8080, 0xffffffffffffffa0,
1060   0xffffffffffff8023, 0xffffffffffffff83,
1061   0xffffffffffffff83, 0xffffffffffffff83,
1062   0xffffffffffffff82, 0xffffffffffffff82,
1063   0xffffffffffffff81, 0xffffffffffffff81,
1064   0xffffffffffffff80, 0xffffffffffffff80,
1065   0xffffffffffffff7f, 0xffffffffffffff7f,
1066   0xffffffffffffff7e, 0xffffffffffffff61,
1067   0xffffffffffffff60, 0xffffffffffffff04,
1068   0xffffffffffffff03, 0xffffffffffffff03,
1069   0xffffffffffffff02, 0xffffffffffffff02,
1070   0xffffffffffffff01, 0xffffffffffff7f84,
1071   0xffffffffffff7f83, 0xffffffffffff7f83,
1072   0xffffffffffff7f82, 0xffffffffffff7f82,
1073   0xffffffffffff7f81, 0xffffffffcccccc4e,
1074   0xffffffffcccccc4d, 0xffffffffaaaaaa2c,
1075   0xffffffffaaaaaa2b, 0xffffffff7fffff84,
1076   0xffffffff7fffff83, 0xffffffff7fffff83,
1077   0xffffffff7fffff82, 0xffffffff7fffff82,
1078   0xffffffff7fffff81, 0x000000007fffff81,
1079   0x000000007fffff80, 0x000000007fffff80,
1080   0x000000007fffff7f, 0x00000000555554d7,
1081   0x00000000555554d6, 0x00000000333332b5,
1082   0x00000000333332b4, 0x0000000000007f81,
1083   0x0000000000007f80, 0x0000000000007f80,
1084   0x0000000000007f7f, 0x0000000000007f7f,
1085   0x0000000000007f7e, 0x0000000000007f7e,
1086   0x0000000000007f7d, 0x0000000000000001,
1087   0x0000000000000000, 0x0000000000000000,
1088   0xffffffffffffffff, 0xffffffffffffffff,
1089   0xfffffffffffffffe, 0xfffffffffffffffe,
1090   0xfffffffffffffffd, 0xffffffffffffffa1,
1091   0xffffffffffffffa0, 0xffffffffffffff84,
1092   0xffffffffffffff84, 0xffffffffffffff84,
1093   0xffffffffffffff83, 0xffffffffffffff83,
1094   0xffffffffffffff82, 0xffffffffffffff82,
1095   0xffffffffffffff81, 0xffffffffffffff81,
1096   0xffffffffffffff80, 0xffffffffffffff80,
1097   0xffffffffffffff7f, 0xffffffffffffff62,
1098   0xffffffffffffff61, 0xffffffffffffff05,
1099   0xffffffffffffff04, 0xffffffffffffff04,
1100   0xffffffffffffff03, 0xffffffffffffff03,
1101   0xffffffffffffff02, 0xffffffffffff7f85,
1102   0xffffffffffff7f84, 0xffffffffffff7f84,
1103   0xffffffffffff7f83, 0xffffffffffff7f83,
1104   0xffffffffffff7f82, 0xffffffffcccccc4f,
1105   0xffffffffcccccc4e, 0xffffffffaaaaaa2d,
1106   0xffffffffaaaaaa2c, 0xffffffff7fffff85,
1107   0xffffffff7fffff84, 0xffffffff7fffff84,
1108   0xffffffff7fffff83, 0xffffffff7fffff83,
1109   0xffffffff7fffff82, 0x000000007fffff82,
1110   0x000000007fffff81, 0x000000007fffff81,
1111   0x000000007fffff80, 0x00000000555554d8,
1112   0x00000000555554d7, 0x00000000333332b6,
1113   0x00000000333332b5, 0x0000000000007f82,
1114   0x0000000000007f81, 0x0000000000007f81,
1115   0x0000000000007f80, 0x0000000000007f80,
1116   0x0000000000007f7f, 0x0000000000007f7f,
1117   0x0000000000007f7e, 0x0000000000000002,
1118   0x0000000000000001, 0x0000000000000001,
1119   0x0000000000000000, 0x0000000000000000,
1120   0xffffffffffffffff, 0xffffffffffffffff,
1121   0xfffffffffffffffe, 0xffffffffffffffa2,
1122   0xffffffffffffffa1, 0xffffffffffffff85,
1123   0xffffffffffffff85, 0xffffffffffffff85,
1124   0xffffffffffffff84, 0xffffffffffffff84,
1125   0xffffffffffffff83, 0xffffffffffffff83,
1126   0xffffffffffffff82, 0xffffffffffffff82,
1127   0xffffffffffffff81, 0xffffffffffffff81,
1128   0xffffffffffffff80, 0xffffffffffffff63,
1129   0xffffffffffffff62, 0xffffffffffffff06,
1130   0xffffffffffffff05, 0xffffffffffffff05,
1131   0xffffffffffffff04, 0xffffffffffffff04,
1132   0xffffffffffffff03, 0xffffffffffff7f86,
1133   0xffffffffffff7f85, 0xffffffffffff7f85,
1134   0xffffffffffff7f84, 0xffffffffffff7f84,
1135   0xffffffffffff7f83, 0xffffffffcccccc50,
1136   0xffffffffcccccc4f, 0xffffffffaaaaaa2e,
1137   0xffffffffaaaaaa2d, 0xffffffff7fffff86,
1138   0xffffffff7fffff85, 0xffffffff7fffff85,
1139   0xffffffff7fffff84, 0xffffffff7fffff84,
1140   0xffffffff7fffff83, 0x000000007fffff83,
1141   0x000000007fffff82, 0x000000007fffff82,
1142   0x000000007fffff81, 0x00000000555554d9,
1143   0x00000000555554d8, 0x00000000333332b7,
1144   0x00000000333332b6, 0x0000000000007f83,
1145   0x0000000000007f82, 0x0000000000007f82,
1146   0x0000000000007f81, 0x0000000000007f81,
1147   0x0000000000007f80, 0x0000000000007f80,
1148   0x0000000000007f7f, 0x0000000000000003,
1149   0x0000000000000002, 0x0000000000000002,
1150   0x0000000000000001, 0x0000000000000001,
1151   0x0000000000000000, 0x0000000000000000,
1152   0xffffffffffffffff, 0xffffffffffffffa3,
1153   0xffffffffffffffa2, 0xffffffffffffff86,
1154   0xffffffffffffff86, 0xffffffffffffffc2,
1155   0xffffffffffffff85, 0xffffffffffffffc1,
1156   0xffffffffffffff84, 0xffffffffffffffc0,
1157   0xffffffffffffff83, 0xffffffffffffffbf,
1158   0xffffffffffffff82, 0xffffffffffffffbe,
1159   0xffffffffffffff81, 0xffffffffffffffa0,
1160   0xffffffffffffff63, 0xffffffffffffff43,
1161   0xffffffffffffff06, 0xffffffffffffff42,
1162   0xffffffffffffff05, 0xffffffffffffff41,
1163   0xffffffffffffff04, 0xffffffffffff7fc3,
1164   0xffffffffffff7f86, 0xffffffffffff7fc2,
1165   0xffffffffffff7f85, 0xffffffffffff7fc1,
1166   0xffffffffffff7f84, 0xffffffffcccccc8d,
1167   0xffffffffcccccc50, 0xffffffffaaaaaa6b,
1168   0xffffffffaaaaaa2e, 0xffffffff7fffffc3,
1169   0xffffffff7fffff86, 0xffffffff7fffffc2,
1170   0xffffffff7fffff85, 0xffffffff7fffffc1,
1171   0xffffffff7fffff84, 0x000000007fffffc0,
1172   0x000000007fffff83, 0x000000007fffffbf,
1173   0x000000007fffff82, 0x0000000055555516,
1174   0x00000000555554d9, 0x00000000333332f4,
1175   0x00000000333332b7, 0x0000000000007fc0,
1176   0x0000000000007f83, 0x0000000000007fbf,
1177   0x0000000000007f82, 0x0000000000007fbe,
1178   0x0000000000007f81, 0x0000000000007fbd,
1179   0x0000000000007f80, 0x0000000000000040,
1180   0x0000000000000003, 0x000000000000003f,
1181   0x0000000000000002, 0x000000000000003e,
1182   0x0000000000000001, 0x000000000000003d,
1183   0x0000000000000000, 0xffffffffffffffe0,
1184   0xffffffffffffffa3, 0xffffffffffffffc3,
1185   0xffffffffffffffc3, 0xffffffffffffffff,
1186   0xffffffffffffffc2, 0xfffffffffffffffe,
1187   0xffffffffffffffc1, 0xfffffffffffffffd,
1188   0xffffffffffffffc0, 0xfffffffffffffffc,
1189   0xffffffffffffffbf, 0xfffffffffffffffb,
1190   0xffffffffffffffbe, 0xffffffffffffffdd,
1191   0xffffffffffffffa0, 0xffffffffffffff80,
1192   0xffffffffffffff43, 0xffffffffffffff7f,
1193   0xffffffffffffff42, 0xffffffffffffff7e,
1194   0xffffffffffffff41, 0xffffffffffff8000,
1195   0xffffffffffff7fc3, 0xffffffffffff7fff,
1196   0xffffffffffff7fc2, 0xffffffffffff7ffe,
1197   0xffffffffffff7fc1, 0xffffffffccccccca,
1198   0xffffffffcccccc8d, 0xffffffffaaaaaaa8,
1199   0xffffffffaaaaaa6b, 0xffffffff80000000,
1200   0xffffffff7fffffc3, 0xffffffff7fffffff,
1201   0xffffffff7fffffc2, 0xffffffff7ffffffe,
1202   0xffffffff7fffffc1, 0x000000007ffffffd,
1203   0x000000007fffffc0, 0x000000007ffffffc,
1204   0x000000007fffffbf, 0x0000000055555553,
1205   0x0000000055555516, 0x0000000033333331,
1206   0x00000000333332f4, 0x0000000000007ffd,
1207   0x0000000000007fc0, 0x0000000000007ffc,
1208   0x0000000000007fbf, 0x0000000000007ffb,
1209   0x0000000000007fbe, 0x0000000000007ffa,
1210   0x0000000000007fbd, 0x000000000000007d,
1211   0x0000000000000040, 0x000000000000007c,
1212   0x000000000000003f, 0x000000000000007b,
1213   0x000000000000003e, 0x000000000000007a,
1214   0x000000000000003d, 0x000000000000001d,
1215   0xffffffffffffffe0, 0x0000000000000000,
1216   0x0000000000000000, 0x0000000000000000,
1217   0xffffffffffffffff, 0xffffffffffffffff,
1218   0xfffffffffffffffe, 0xfffffffffffffffe,
1219   0xfffffffffffffffd, 0xfffffffffffffffd,
1220   0xfffffffffffffffc, 0xfffffffffffffffc,
1221   0xfffffffffffffffb, 0xffffffffffffffde,
1222   0xffffffffffffffdd, 0xffffffffffffff81,
1223   0xffffffffffffff80, 0xffffffffffffff80,
1224   0xffffffffffffff7f, 0xffffffffffffff7f,
1225   0xffffffffffffff7e, 0xffffffffffff8001,
1226   0xffffffffffff8000, 0xffffffffffff8000,
1227   0xffffffffffff7fff, 0xffffffffffff7fff,
1228   0xffffffffffff7ffe, 0xffffffffcccccccb,
1229   0xffffffffccccccca, 0xffffffffaaaaaaa9,
1230   0xffffffffaaaaaaa8, 0xffffffff80000001,
1231   0xffffffff80000000, 0xffffffff80000000,
1232   0xffffffff7fffffff, 0xffffffff7fffffff,
1233   0xffffffff7ffffffe, 0x000000007ffffffe,
1234   0x000000007ffffffd, 0x000000007ffffffd,
1235   0x000000007ffffffc, 0x0000000055555554,
1236   0x0000000055555553, 0x0000000033333332,
1237   0x0000000033333331, 0x0000000000007ffe,
1238   0x0000000000007ffd, 0x0000000000007ffd,
1239   0x0000000000007ffc, 0x0000000000007ffc,
1240   0x0000000000007ffb, 0x0000000000007ffb,
1241   0x0000000000007ffa, 0x000000000000007e,
1242   0x000000000000007d, 0x000000000000007d,
1243   0x000000000000007c, 0x000000000000007c,
1244   0x000000000000007b, 0x000000000000007b,
1245   0x000000000000007a, 0x000000000000001e,
1246   0x000000000000001d, 0x0000000000000001,
1247   0x0000000000000001, 0x0000000000000001,
1248   0x0000000000000000, 0x0000000000000000,
1249   0xffffffffffffffff, 0xffffffffffffffff,
1250   0xfffffffffffffffe, 0xfffffffffffffffe,
1251   0xfffffffffffffffd, 0xfffffffffffffffd,
1252   0xfffffffffffffffc, 0xffffffffffffffdf,
1253   0xffffffffffffffde, 0xffffffffffffff82,
1254   0xffffffffffffff81, 0xffffffffffffff81,
1255   0xffffffffffffff80, 0xffffffffffffff80,
1256   0xffffffffffffff7f, 0xffffffffffff8002,
1257   0xffffffffffff8001, 0xffffffffffff8001,
1258   0xffffffffffff8000, 0xffffffffffff8000,
1259   0xffffffffffff7fff, 0xffffffffcccccccc,
1260   0xffffffffcccccccb, 0xffffffffaaaaaaaa,
1261   0xffffffffaaaaaaa9, 0xffffffff80000002,
1262   0xffffffff80000001, 0xffffffff80000001,
1263   0xffffffff80000000, 0xffffffff80000000,
1264   0xffffffff7fffffff, 0x000000007fffffff,
1265   0x000000007ffffffe, 0x000000007ffffffe,
1266   0x000000007ffffffd, 0x0000000055555555,
1267   0x0000000055555554, 0x0000000033333333,
1268   0x0000000033333332, 0x0000000000007fff,
1269   0x0000000000007ffe, 0x0000000000007ffe,
1270   0x0000000000007ffd, 0x0000000000007ffd,
1271   0x0000000000007ffc, 0x0000000000007ffc,
1272   0x0000000000007ffb, 0x000000000000007f,
1273   0x000000000000007e, 0x000000000000007e,
1274   0x000000000000007d, 0x000000000000007d,
1275   0x000000000000007c, 0x000000000000007c,
1276   0x000000000000007b, 0x000000000000001f,
1277   0x000000000000001e, 0x0000000000000002,
1278 };
1279 const unsigned kExpectedCount_NEON_ssubw_2D = 1240;
1280 
1281 #endif  // VIXL_SIM_SSUBW_2D_TRACE_AARCH64_H_
1282