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
37const 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};
1279const unsigned kExpectedCount_NEON_uaddw2_2D = 1240;
1280
1281#endif  // VIXL_SIM_UADDW2_2D_TRACE_AARCH64_H_
1282