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_SHL_4S_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_SHL_4S_2OPIMM_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_shl_4S_2OPIMM[] = {
38  0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
39  0xfffffffa, 0xfffffffc, 0xfffffffe, 0x00000000,
40  0xfffffff4, 0xfffffff8, 0xfffffffc, 0x00000000,
41  0xffffffe8, 0xfffffff0, 0xfffffff8, 0x00000000,
42  0xffffffd0, 0xffffffe0, 0xfffffff0, 0x00000000,
43  0xffffffa0, 0xffffffc0, 0xffffffe0, 0x00000000,
44  0xffffff40, 0xffffff80, 0xffffffc0, 0x00000000,
45  0xfffffe80, 0xffffff00, 0xffffff80, 0x00000000,
46  0xfffffd00, 0xfffffe00, 0xffffff00, 0x00000000,
47  0xfffffa00, 0xfffffc00, 0xfffffe00, 0x00000000,
48  0xfffff400, 0xfffff800, 0xfffffc00, 0x00000000,
49  0xffffe800, 0xfffff000, 0xfffff800, 0x00000000,
50  0xffffd000, 0xffffe000, 0xfffff000, 0x00000000,
51  0xffffa000, 0xffffc000, 0xffffe000, 0x00000000,
52  0xffff4000, 0xffff8000, 0xffffc000, 0x00000000,
53  0xfffe8000, 0xffff0000, 0xffff8000, 0x00000000,
54  0xfffd0000, 0xfffe0000, 0xffff0000, 0x00000000,
55  0xfffa0000, 0xfffc0000, 0xfffe0000, 0x00000000,
56  0xfff40000, 0xfff80000, 0xfffc0000, 0x00000000,
57  0xffe80000, 0xfff00000, 0xfff80000, 0x00000000,
58  0xffd00000, 0xffe00000, 0xfff00000, 0x00000000,
59  0xffa00000, 0xffc00000, 0xffe00000, 0x00000000,
60  0xff400000, 0xff800000, 0xffc00000, 0x00000000,
61  0xfe800000, 0xff000000, 0xff800000, 0x00000000,
62  0xfd000000, 0xfe000000, 0xff000000, 0x00000000,
63  0xfa000000, 0xfc000000, 0xfe000000, 0x00000000,
64  0xf4000000, 0xf8000000, 0xfc000000, 0x00000000,
65  0xe8000000, 0xf0000000, 0xf8000000, 0x00000000,
66  0xd0000000, 0xe0000000, 0xf0000000, 0x00000000,
67  0xa0000000, 0xc0000000, 0xe0000000, 0x00000000,
68  0x40000000, 0x80000000, 0xc0000000, 0x00000000,
69  0x80000000, 0x00000000, 0x80000000, 0x00000000,
70  0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
71  0xfffffffc, 0xfffffffe, 0x00000000, 0x00000002,
72  0xfffffff8, 0xfffffffc, 0x00000000, 0x00000004,
73  0xfffffff0, 0xfffffff8, 0x00000000, 0x00000008,
74  0xffffffe0, 0xfffffff0, 0x00000000, 0x00000010,
75  0xffffffc0, 0xffffffe0, 0x00000000, 0x00000020,
76  0xffffff80, 0xffffffc0, 0x00000000, 0x00000040,
77  0xffffff00, 0xffffff80, 0x00000000, 0x00000080,
78  0xfffffe00, 0xffffff00, 0x00000000, 0x00000100,
79  0xfffffc00, 0xfffffe00, 0x00000000, 0x00000200,
80  0xfffff800, 0xfffffc00, 0x00000000, 0x00000400,
81  0xfffff000, 0xfffff800, 0x00000000, 0x00000800,
82  0xffffe000, 0xfffff000, 0x00000000, 0x00001000,
83  0xffffc000, 0xffffe000, 0x00000000, 0x00002000,
84  0xffff8000, 0xffffc000, 0x00000000, 0x00004000,
85  0xffff0000, 0xffff8000, 0x00000000, 0x00008000,
86  0xfffe0000, 0xffff0000, 0x00000000, 0x00010000,
87  0xfffc0000, 0xfffe0000, 0x00000000, 0x00020000,
88  0xfff80000, 0xfffc0000, 0x00000000, 0x00040000,
89  0xfff00000, 0xfff80000, 0x00000000, 0x00080000,
90  0xffe00000, 0xfff00000, 0x00000000, 0x00100000,
91  0xffc00000, 0xffe00000, 0x00000000, 0x00200000,
92  0xff800000, 0xffc00000, 0x00000000, 0x00400000,
93  0xff000000, 0xff800000, 0x00000000, 0x00800000,
94  0xfe000000, 0xff000000, 0x00000000, 0x01000000,
95  0xfc000000, 0xfe000000, 0x00000000, 0x02000000,
96  0xf8000000, 0xfc000000, 0x00000000, 0x04000000,
97  0xf0000000, 0xf8000000, 0x00000000, 0x08000000,
98  0xe0000000, 0xf0000000, 0x00000000, 0x10000000,
99  0xc0000000, 0xe0000000, 0x00000000, 0x20000000,
100  0x80000000, 0xc0000000, 0x00000000, 0x40000000,
101  0x00000000, 0x80000000, 0x00000000, 0x80000000,
102  0xffffffff, 0x00000000, 0x00000001, 0x00000002,
103  0xfffffffe, 0x00000000, 0x00000002, 0x00000004,
104  0xfffffffc, 0x00000000, 0x00000004, 0x00000008,
105  0xfffffff8, 0x00000000, 0x00000008, 0x00000010,
106  0xfffffff0, 0x00000000, 0x00000010, 0x00000020,
107  0xffffffe0, 0x00000000, 0x00000020, 0x00000040,
108  0xffffffc0, 0x00000000, 0x00000040, 0x00000080,
109  0xffffff80, 0x00000000, 0x00000080, 0x00000100,
110  0xffffff00, 0x00000000, 0x00000100, 0x00000200,
111  0xfffffe00, 0x00000000, 0x00000200, 0x00000400,
112  0xfffffc00, 0x00000000, 0x00000400, 0x00000800,
113  0xfffff800, 0x00000000, 0x00000800, 0x00001000,
114  0xfffff000, 0x00000000, 0x00001000, 0x00002000,
115  0xffffe000, 0x00000000, 0x00002000, 0x00004000,
116  0xffffc000, 0x00000000, 0x00004000, 0x00008000,
117  0xffff8000, 0x00000000, 0x00008000, 0x00010000,
118  0xffff0000, 0x00000000, 0x00010000, 0x00020000,
119  0xfffe0000, 0x00000000, 0x00020000, 0x00040000,
120  0xfffc0000, 0x00000000, 0x00040000, 0x00080000,
121  0xfff80000, 0x00000000, 0x00080000, 0x00100000,
122  0xfff00000, 0x00000000, 0x00100000, 0x00200000,
123  0xffe00000, 0x00000000, 0x00200000, 0x00400000,
124  0xffc00000, 0x00000000, 0x00400000, 0x00800000,
125  0xff800000, 0x00000000, 0x00800000, 0x01000000,
126  0xff000000, 0x00000000, 0x01000000, 0x02000000,
127  0xfe000000, 0x00000000, 0x02000000, 0x04000000,
128  0xfc000000, 0x00000000, 0x04000000, 0x08000000,
129  0xf8000000, 0x00000000, 0x08000000, 0x10000000,
130  0xf0000000, 0x00000000, 0x10000000, 0x20000000,
131  0xe0000000, 0x00000000, 0x20000000, 0x40000000,
132  0xc0000000, 0x00000000, 0x40000000, 0x80000000,
133  0x80000000, 0x00000000, 0x80000000, 0x00000000,
134  0x00000000, 0x00000001, 0x00000002, 0x00000020,
135  0x00000000, 0x00000002, 0x00000004, 0x00000040,
136  0x00000000, 0x00000004, 0x00000008, 0x00000080,
137  0x00000000, 0x00000008, 0x00000010, 0x00000100,
138  0x00000000, 0x00000010, 0x00000020, 0x00000200,
139  0x00000000, 0x00000020, 0x00000040, 0x00000400,
140  0x00000000, 0x00000040, 0x00000080, 0x00000800,
141  0x00000000, 0x00000080, 0x00000100, 0x00001000,
142  0x00000000, 0x00000100, 0x00000200, 0x00002000,
143  0x00000000, 0x00000200, 0x00000400, 0x00004000,
144  0x00000000, 0x00000400, 0x00000800, 0x00008000,
145  0x00000000, 0x00000800, 0x00001000, 0x00010000,
146  0x00000000, 0x00001000, 0x00002000, 0x00020000,
147  0x00000000, 0x00002000, 0x00004000, 0x00040000,
148  0x00000000, 0x00004000, 0x00008000, 0x00080000,
149  0x00000000, 0x00008000, 0x00010000, 0x00100000,
150  0x00000000, 0x00010000, 0x00020000, 0x00200000,
151  0x00000000, 0x00020000, 0x00040000, 0x00400000,
152  0x00000000, 0x00040000, 0x00080000, 0x00800000,
153  0x00000000, 0x00080000, 0x00100000, 0x01000000,
154  0x00000000, 0x00100000, 0x00200000, 0x02000000,
155  0x00000000, 0x00200000, 0x00400000, 0x04000000,
156  0x00000000, 0x00400000, 0x00800000, 0x08000000,
157  0x00000000, 0x00800000, 0x01000000, 0x10000000,
158  0x00000000, 0x01000000, 0x02000000, 0x20000000,
159  0x00000000, 0x02000000, 0x04000000, 0x40000000,
160  0x00000000, 0x04000000, 0x08000000, 0x80000000,
161  0x00000000, 0x08000000, 0x10000000, 0x00000000,
162  0x00000000, 0x10000000, 0x20000000, 0x00000000,
163  0x00000000, 0x20000000, 0x40000000, 0x00000000,
164  0x00000000, 0x40000000, 0x80000000, 0x00000000,
165  0x00000000, 0x80000000, 0x00000000, 0x00000000,
166  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
167  0x00000002, 0x00000004, 0x00000040, 0x000000fa,
168  0x00000004, 0x00000008, 0x00000080, 0x000001f4,
169  0x00000008, 0x00000010, 0x00000100, 0x000003e8,
170  0x00000010, 0x00000020, 0x00000200, 0x000007d0,
171  0x00000020, 0x00000040, 0x00000400, 0x00000fa0,
172  0x00000040, 0x00000080, 0x00000800, 0x00001f40,
173  0x00000080, 0x00000100, 0x00001000, 0x00003e80,
174  0x00000100, 0x00000200, 0x00002000, 0x00007d00,
175  0x00000200, 0x00000400, 0x00004000, 0x0000fa00,
176  0x00000400, 0x00000800, 0x00008000, 0x0001f400,
177  0x00000800, 0x00001000, 0x00010000, 0x0003e800,
178  0x00001000, 0x00002000, 0x00020000, 0x0007d000,
179  0x00002000, 0x00004000, 0x00040000, 0x000fa000,
180  0x00004000, 0x00008000, 0x00080000, 0x001f4000,
181  0x00008000, 0x00010000, 0x00100000, 0x003e8000,
182  0x00010000, 0x00020000, 0x00200000, 0x007d0000,
183  0x00020000, 0x00040000, 0x00400000, 0x00fa0000,
184  0x00040000, 0x00080000, 0x00800000, 0x01f40000,
185  0x00080000, 0x00100000, 0x01000000, 0x03e80000,
186  0x00100000, 0x00200000, 0x02000000, 0x07d00000,
187  0x00200000, 0x00400000, 0x04000000, 0x0fa00000,
188  0x00400000, 0x00800000, 0x08000000, 0x1f400000,
189  0x00800000, 0x01000000, 0x10000000, 0x3e800000,
190  0x01000000, 0x02000000, 0x20000000, 0x7d000000,
191  0x02000000, 0x04000000, 0x40000000, 0xfa000000,
192  0x04000000, 0x08000000, 0x80000000, 0xf4000000,
193  0x08000000, 0x10000000, 0x00000000, 0xe8000000,
194  0x10000000, 0x20000000, 0x00000000, 0xd0000000,
195  0x20000000, 0x40000000, 0x00000000, 0xa0000000,
196  0x40000000, 0x80000000, 0x00000000, 0x40000000,
197  0x80000000, 0x00000000, 0x00000000, 0x80000000,
198  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
199  0x00000004, 0x00000040, 0x000000fa, 0x000000fc,
200  0x00000008, 0x00000080, 0x000001f4, 0x000001f8,
201  0x00000010, 0x00000100, 0x000003e8, 0x000003f0,
202  0x00000020, 0x00000200, 0x000007d0, 0x000007e0,
203  0x00000040, 0x00000400, 0x00000fa0, 0x00000fc0,
204  0x00000080, 0x00000800, 0x00001f40, 0x00001f80,
205  0x00000100, 0x00001000, 0x00003e80, 0x00003f00,
206  0x00000200, 0x00002000, 0x00007d00, 0x00007e00,
207  0x00000400, 0x00004000, 0x0000fa00, 0x0000fc00,
208  0x00000800, 0x00008000, 0x0001f400, 0x0001f800,
209  0x00001000, 0x00010000, 0x0003e800, 0x0003f000,
210  0x00002000, 0x00020000, 0x0007d000, 0x0007e000,
211  0x00004000, 0x00040000, 0x000fa000, 0x000fc000,
212  0x00008000, 0x00080000, 0x001f4000, 0x001f8000,
213  0x00010000, 0x00100000, 0x003e8000, 0x003f0000,
214  0x00020000, 0x00200000, 0x007d0000, 0x007e0000,
215  0x00040000, 0x00400000, 0x00fa0000, 0x00fc0000,
216  0x00080000, 0x00800000, 0x01f40000, 0x01f80000,
217  0x00100000, 0x01000000, 0x03e80000, 0x03f00000,
218  0x00200000, 0x02000000, 0x07d00000, 0x07e00000,
219  0x00400000, 0x04000000, 0x0fa00000, 0x0fc00000,
220  0x00800000, 0x08000000, 0x1f400000, 0x1f800000,
221  0x01000000, 0x10000000, 0x3e800000, 0x3f000000,
222  0x02000000, 0x20000000, 0x7d000000, 0x7e000000,
223  0x04000000, 0x40000000, 0xfa000000, 0xfc000000,
224  0x08000000, 0x80000000, 0xf4000000, 0xf8000000,
225  0x10000000, 0x00000000, 0xe8000000, 0xf0000000,
226  0x20000000, 0x00000000, 0xd0000000, 0xe0000000,
227  0x40000000, 0x00000000, 0xa0000000, 0xc0000000,
228  0x80000000, 0x00000000, 0x40000000, 0x80000000,
229  0x00000000, 0x00000000, 0x80000000, 0x00000000,
230  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
231  0x00000040, 0x000000fa, 0x000000fc, 0x000000fe,
232  0x00000080, 0x000001f4, 0x000001f8, 0x000001fc,
233  0x00000100, 0x000003e8, 0x000003f0, 0x000003f8,
234  0x00000200, 0x000007d0, 0x000007e0, 0x000007f0,
235  0x00000400, 0x00000fa0, 0x00000fc0, 0x00000fe0,
236  0x00000800, 0x00001f40, 0x00001f80, 0x00001fc0,
237  0x00001000, 0x00003e80, 0x00003f00, 0x00003f80,
238  0x00002000, 0x00007d00, 0x00007e00, 0x00007f00,
239  0x00004000, 0x0000fa00, 0x0000fc00, 0x0000fe00,
240  0x00008000, 0x0001f400, 0x0001f800, 0x0001fc00,
241  0x00010000, 0x0003e800, 0x0003f000, 0x0003f800,
242  0x00020000, 0x0007d000, 0x0007e000, 0x0007f000,
243  0x00040000, 0x000fa000, 0x000fc000, 0x000fe000,
244  0x00080000, 0x001f4000, 0x001f8000, 0x001fc000,
245  0x00100000, 0x003e8000, 0x003f0000, 0x003f8000,
246  0x00200000, 0x007d0000, 0x007e0000, 0x007f0000,
247  0x00400000, 0x00fa0000, 0x00fc0000, 0x00fe0000,
248  0x00800000, 0x01f40000, 0x01f80000, 0x01fc0000,
249  0x01000000, 0x03e80000, 0x03f00000, 0x03f80000,
250  0x02000000, 0x07d00000, 0x07e00000, 0x07f00000,
251  0x04000000, 0x0fa00000, 0x0fc00000, 0x0fe00000,
252  0x08000000, 0x1f400000, 0x1f800000, 0x1fc00000,
253  0x10000000, 0x3e800000, 0x3f000000, 0x3f800000,
254  0x20000000, 0x7d000000, 0x7e000000, 0x7f000000,
255  0x40000000, 0xfa000000, 0xfc000000, 0xfe000000,
256  0x80000000, 0xf4000000, 0xf8000000, 0xfc000000,
257  0x00000000, 0xe8000000, 0xf0000000, 0xf8000000,
258  0x00000000, 0xd0000000, 0xe0000000, 0xf0000000,
259  0x00000000, 0xa0000000, 0xc0000000, 0xe0000000,
260  0x00000000, 0x40000000, 0x80000000, 0xc0000000,
261  0x00000000, 0x80000000, 0x00000000, 0x80000000,
262  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
263  0x000000fa, 0x000000fc, 0x000000fe, 0x0000fffa,
264  0x000001f4, 0x000001f8, 0x000001fc, 0x0001fff4,
265  0x000003e8, 0x000003f0, 0x000003f8, 0x0003ffe8,
266  0x000007d0, 0x000007e0, 0x000007f0, 0x0007ffd0,
267  0x00000fa0, 0x00000fc0, 0x00000fe0, 0x000fffa0,
268  0x00001f40, 0x00001f80, 0x00001fc0, 0x001fff40,
269  0x00003e80, 0x00003f00, 0x00003f80, 0x003ffe80,
270  0x00007d00, 0x00007e00, 0x00007f00, 0x007ffd00,
271  0x0000fa00, 0x0000fc00, 0x0000fe00, 0x00fffa00,
272  0x0001f400, 0x0001f800, 0x0001fc00, 0x01fff400,
273  0x0003e800, 0x0003f000, 0x0003f800, 0x03ffe800,
274  0x0007d000, 0x0007e000, 0x0007f000, 0x07ffd000,
275  0x000fa000, 0x000fc000, 0x000fe000, 0x0fffa000,
276  0x001f4000, 0x001f8000, 0x001fc000, 0x1fff4000,
277  0x003e8000, 0x003f0000, 0x003f8000, 0x3ffe8000,
278  0x007d0000, 0x007e0000, 0x007f0000, 0x7ffd0000,
279  0x00fa0000, 0x00fc0000, 0x00fe0000, 0xfffa0000,
280  0x01f40000, 0x01f80000, 0x01fc0000, 0xfff40000,
281  0x03e80000, 0x03f00000, 0x03f80000, 0xffe80000,
282  0x07d00000, 0x07e00000, 0x07f00000, 0xffd00000,
283  0x0fa00000, 0x0fc00000, 0x0fe00000, 0xffa00000,
284  0x1f400000, 0x1f800000, 0x1fc00000, 0xff400000,
285  0x3e800000, 0x3f000000, 0x3f800000, 0xfe800000,
286  0x7d000000, 0x7e000000, 0x7f000000, 0xfd000000,
287  0xfa000000, 0xfc000000, 0xfe000000, 0xfa000000,
288  0xf4000000, 0xf8000000, 0xfc000000, 0xf4000000,
289  0xe8000000, 0xf0000000, 0xf8000000, 0xe8000000,
290  0xd0000000, 0xe0000000, 0xf0000000, 0xd0000000,
291  0xa0000000, 0xc0000000, 0xe0000000, 0xa0000000,
292  0x40000000, 0x80000000, 0xc0000000, 0x40000000,
293  0x80000000, 0x00000000, 0x80000000, 0x80000000,
294  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
295  0x000000fc, 0x000000fe, 0x0000fffa, 0x0000fffc,
296  0x000001f8, 0x000001fc, 0x0001fff4, 0x0001fff8,
297  0x000003f0, 0x000003f8, 0x0003ffe8, 0x0003fff0,
298  0x000007e0, 0x000007f0, 0x0007ffd0, 0x0007ffe0,
299  0x00000fc0, 0x00000fe0, 0x000fffa0, 0x000fffc0,
300  0x00001f80, 0x00001fc0, 0x001fff40, 0x001fff80,
301  0x00003f00, 0x00003f80, 0x003ffe80, 0x003fff00,
302  0x00007e00, 0x00007f00, 0x007ffd00, 0x007ffe00,
303  0x0000fc00, 0x0000fe00, 0x00fffa00, 0x00fffc00,
304  0x0001f800, 0x0001fc00, 0x01fff400, 0x01fff800,
305  0x0003f000, 0x0003f800, 0x03ffe800, 0x03fff000,
306  0x0007e000, 0x0007f000, 0x07ffd000, 0x07ffe000,
307  0x000fc000, 0x000fe000, 0x0fffa000, 0x0fffc000,
308  0x001f8000, 0x001fc000, 0x1fff4000, 0x1fff8000,
309  0x003f0000, 0x003f8000, 0x3ffe8000, 0x3fff0000,
310  0x007e0000, 0x007f0000, 0x7ffd0000, 0x7ffe0000,
311  0x00fc0000, 0x00fe0000, 0xfffa0000, 0xfffc0000,
312  0x01f80000, 0x01fc0000, 0xfff40000, 0xfff80000,
313  0x03f00000, 0x03f80000, 0xffe80000, 0xfff00000,
314  0x07e00000, 0x07f00000, 0xffd00000, 0xffe00000,
315  0x0fc00000, 0x0fe00000, 0xffa00000, 0xffc00000,
316  0x1f800000, 0x1fc00000, 0xff400000, 0xff800000,
317  0x3f000000, 0x3f800000, 0xfe800000, 0xff000000,
318  0x7e000000, 0x7f000000, 0xfd000000, 0xfe000000,
319  0xfc000000, 0xfe000000, 0xfa000000, 0xfc000000,
320  0xf8000000, 0xfc000000, 0xf4000000, 0xf8000000,
321  0xf0000000, 0xf8000000, 0xe8000000, 0xf0000000,
322  0xe0000000, 0xf0000000, 0xd0000000, 0xe0000000,
323  0xc0000000, 0xe0000000, 0xa0000000, 0xc0000000,
324  0x80000000, 0xc0000000, 0x40000000, 0x80000000,
325  0x00000000, 0x80000000, 0x80000000, 0x00000000,
326  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
327  0x000000fe, 0x0000fffa, 0x0000fffc, 0x0000fffe,
328  0x000001fc, 0x0001fff4, 0x0001fff8, 0x0001fffc,
329  0x000003f8, 0x0003ffe8, 0x0003fff0, 0x0003fff8,
330  0x000007f0, 0x0007ffd0, 0x0007ffe0, 0x0007fff0,
331  0x00000fe0, 0x000fffa0, 0x000fffc0, 0x000fffe0,
332  0x00001fc0, 0x001fff40, 0x001fff80, 0x001fffc0,
333  0x00003f80, 0x003ffe80, 0x003fff00, 0x003fff80,
334  0x00007f00, 0x007ffd00, 0x007ffe00, 0x007fff00,
335  0x0000fe00, 0x00fffa00, 0x00fffc00, 0x00fffe00,
336  0x0001fc00, 0x01fff400, 0x01fff800, 0x01fffc00,
337  0x0003f800, 0x03ffe800, 0x03fff000, 0x03fff800,
338  0x0007f000, 0x07ffd000, 0x07ffe000, 0x07fff000,
339  0x000fe000, 0x0fffa000, 0x0fffc000, 0x0fffe000,
340  0x001fc000, 0x1fff4000, 0x1fff8000, 0x1fffc000,
341  0x003f8000, 0x3ffe8000, 0x3fff0000, 0x3fff8000,
342  0x007f0000, 0x7ffd0000, 0x7ffe0000, 0x7fff0000,
343  0x00fe0000, 0xfffa0000, 0xfffc0000, 0xfffe0000,
344  0x01fc0000, 0xfff40000, 0xfff80000, 0xfffc0000,
345  0x03f80000, 0xffe80000, 0xfff00000, 0xfff80000,
346  0x07f00000, 0xffd00000, 0xffe00000, 0xfff00000,
347  0x0fe00000, 0xffa00000, 0xffc00000, 0xffe00000,
348  0x1fc00000, 0xff400000, 0xff800000, 0xffc00000,
349  0x3f800000, 0xfe800000, 0xff000000, 0xff800000,
350  0x7f000000, 0xfd000000, 0xfe000000, 0xff000000,
351  0xfe000000, 0xfa000000, 0xfc000000, 0xfe000000,
352  0xfc000000, 0xf4000000, 0xf8000000, 0xfc000000,
353  0xf8000000, 0xe8000000, 0xf0000000, 0xf8000000,
354  0xf0000000, 0xd0000000, 0xe0000000, 0xf0000000,
355  0xe0000000, 0xa0000000, 0xc0000000, 0xe0000000,
356  0xc0000000, 0x40000000, 0x80000000, 0xc0000000,
357  0x80000000, 0x80000000, 0x00000000, 0x80000000,
358  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
359  0x0000fffa, 0x0000fffc, 0x0000fffe, 0x66666666,
360  0x0001fff4, 0x0001fff8, 0x0001fffc, 0xcccccccc,
361  0x0003ffe8, 0x0003fff0, 0x0003fff8, 0x99999998,
362  0x0007ffd0, 0x0007ffe0, 0x0007fff0, 0x33333330,
363  0x000fffa0, 0x000fffc0, 0x000fffe0, 0x66666660,
364  0x001fff40, 0x001fff80, 0x001fffc0, 0xccccccc0,
365  0x003ffe80, 0x003fff00, 0x003fff80, 0x99999980,
366  0x007ffd00, 0x007ffe00, 0x007fff00, 0x33333300,
367  0x00fffa00, 0x00fffc00, 0x00fffe00, 0x66666600,
368  0x01fff400, 0x01fff800, 0x01fffc00, 0xcccccc00,
369  0x03ffe800, 0x03fff000, 0x03fff800, 0x99999800,
370  0x07ffd000, 0x07ffe000, 0x07fff000, 0x33333000,
371  0x0fffa000, 0x0fffc000, 0x0fffe000, 0x66666000,
372  0x1fff4000, 0x1fff8000, 0x1fffc000, 0xccccc000,
373  0x3ffe8000, 0x3fff0000, 0x3fff8000, 0x99998000,
374  0x7ffd0000, 0x7ffe0000, 0x7fff0000, 0x33330000,
375  0xfffa0000, 0xfffc0000, 0xfffe0000, 0x66660000,
376  0xfff40000, 0xfff80000, 0xfffc0000, 0xcccc0000,
377  0xffe80000, 0xfff00000, 0xfff80000, 0x99980000,
378  0xffd00000, 0xffe00000, 0xfff00000, 0x33300000,
379  0xffa00000, 0xffc00000, 0xffe00000, 0x66600000,
380  0xff400000, 0xff800000, 0xffc00000, 0xccc00000,
381  0xfe800000, 0xff000000, 0xff800000, 0x99800000,
382  0xfd000000, 0xfe000000, 0xff000000, 0x33000000,
383  0xfa000000, 0xfc000000, 0xfe000000, 0x66000000,
384  0xf4000000, 0xf8000000, 0xfc000000, 0xcc000000,
385  0xe8000000, 0xf0000000, 0xf8000000, 0x98000000,
386  0xd0000000, 0xe0000000, 0xf0000000, 0x30000000,
387  0xa0000000, 0xc0000000, 0xe0000000, 0x60000000,
388  0x40000000, 0x80000000, 0xc0000000, 0xc0000000,
389  0x80000000, 0x00000000, 0x80000000, 0x80000000,
390  0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
391  0x0000fffc, 0x0000fffe, 0x66666666, 0xaaaaaaaa,
392  0x0001fff8, 0x0001fffc, 0xcccccccc, 0x55555554,
393  0x0003fff0, 0x0003fff8, 0x99999998, 0xaaaaaaa8,
394  0x0007ffe0, 0x0007fff0, 0x33333330, 0x55555550,
395  0x000fffc0, 0x000fffe0, 0x66666660, 0xaaaaaaa0,
396  0x001fff80, 0x001fffc0, 0xccccccc0, 0x55555540,
397  0x003fff00, 0x003fff80, 0x99999980, 0xaaaaaa80,
398  0x007ffe00, 0x007fff00, 0x33333300, 0x55555500,
399  0x00fffc00, 0x00fffe00, 0x66666600, 0xaaaaaa00,
400  0x01fff800, 0x01fffc00, 0xcccccc00, 0x55555400,
401  0x03fff000, 0x03fff800, 0x99999800, 0xaaaaa800,
402  0x07ffe000, 0x07fff000, 0x33333000, 0x55555000,
403  0x0fffc000, 0x0fffe000, 0x66666000, 0xaaaaa000,
404  0x1fff8000, 0x1fffc000, 0xccccc000, 0x55554000,
405  0x3fff0000, 0x3fff8000, 0x99998000, 0xaaaa8000,
406  0x7ffe0000, 0x7fff0000, 0x33330000, 0x55550000,
407  0xfffc0000, 0xfffe0000, 0x66660000, 0xaaaa0000,
408  0xfff80000, 0xfffc0000, 0xcccc0000, 0x55540000,
409  0xfff00000, 0xfff80000, 0x99980000, 0xaaa80000,
410  0xffe00000, 0xfff00000, 0x33300000, 0x55500000,
411  0xffc00000, 0xffe00000, 0x66600000, 0xaaa00000,
412  0xff800000, 0xffc00000, 0xccc00000, 0x55400000,
413  0xff000000, 0xff800000, 0x99800000, 0xaa800000,
414  0xfe000000, 0xff000000, 0x33000000, 0x55000000,
415  0xfc000000, 0xfe000000, 0x66000000, 0xaa000000,
416  0xf8000000, 0xfc000000, 0xcc000000, 0x54000000,
417  0xf0000000, 0xf8000000, 0x98000000, 0xa8000000,
418  0xe0000000, 0xf0000000, 0x30000000, 0x50000000,
419  0xc0000000, 0xe0000000, 0x60000000, 0xa0000000,
420  0x80000000, 0xc0000000, 0xc0000000, 0x40000000,
421  0x00000000, 0x80000000, 0x80000000, 0x80000000,
422  0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
423  0x0000fffe, 0x66666666, 0xaaaaaaaa, 0xfffffffa,
424  0x0001fffc, 0xcccccccc, 0x55555554, 0xfffffff4,
425  0x0003fff8, 0x99999998, 0xaaaaaaa8, 0xffffffe8,
426  0x0007fff0, 0x33333330, 0x55555550, 0xffffffd0,
427  0x000fffe0, 0x66666660, 0xaaaaaaa0, 0xffffffa0,
428  0x001fffc0, 0xccccccc0, 0x55555540, 0xffffff40,
429  0x003fff80, 0x99999980, 0xaaaaaa80, 0xfffffe80,
430  0x007fff00, 0x33333300, 0x55555500, 0xfffffd00,
431  0x00fffe00, 0x66666600, 0xaaaaaa00, 0xfffffa00,
432  0x01fffc00, 0xcccccc00, 0x55555400, 0xfffff400,
433  0x03fff800, 0x99999800, 0xaaaaa800, 0xffffe800,
434  0x07fff000, 0x33333000, 0x55555000, 0xffffd000,
435  0x0fffe000, 0x66666000, 0xaaaaa000, 0xffffa000,
436  0x1fffc000, 0xccccc000, 0x55554000, 0xffff4000,
437  0x3fff8000, 0x99998000, 0xaaaa8000, 0xfffe8000,
438  0x7fff0000, 0x33330000, 0x55550000, 0xfffd0000,
439  0xfffe0000, 0x66660000, 0xaaaa0000, 0xfffa0000,
440  0xfffc0000, 0xcccc0000, 0x55540000, 0xfff40000,
441  0xfff80000, 0x99980000, 0xaaa80000, 0xffe80000,
442  0xfff00000, 0x33300000, 0x55500000, 0xffd00000,
443  0xffe00000, 0x66600000, 0xaaa00000, 0xffa00000,
444  0xffc00000, 0xccc00000, 0x55400000, 0xff400000,
445  0xff800000, 0x99800000, 0xaa800000, 0xfe800000,
446  0xff000000, 0x33000000, 0x55000000, 0xfd000000,
447  0xfe000000, 0x66000000, 0xaa000000, 0xfa000000,
448  0xfc000000, 0xcc000000, 0x54000000, 0xf4000000,
449  0xf8000000, 0x98000000, 0xa8000000, 0xe8000000,
450  0xf0000000, 0x30000000, 0x50000000, 0xd0000000,
451  0xe0000000, 0x60000000, 0xa0000000, 0xa0000000,
452  0xc0000000, 0xc0000000, 0x40000000, 0x40000000,
453  0x80000000, 0x80000000, 0x80000000, 0x80000000,
454  0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
455  0x66666666, 0xaaaaaaaa, 0xfffffffa, 0xfffffffc,
456  0xcccccccc, 0x55555554, 0xfffffff4, 0xfffffff8,
457  0x99999998, 0xaaaaaaa8, 0xffffffe8, 0xfffffff0,
458  0x33333330, 0x55555550, 0xffffffd0, 0xffffffe0,
459  0x66666660, 0xaaaaaaa0, 0xffffffa0, 0xffffffc0,
460  0xccccccc0, 0x55555540, 0xffffff40, 0xffffff80,
461  0x99999980, 0xaaaaaa80, 0xfffffe80, 0xffffff00,
462  0x33333300, 0x55555500, 0xfffffd00, 0xfffffe00,
463  0x66666600, 0xaaaaaa00, 0xfffffa00, 0xfffffc00,
464  0xcccccc00, 0x55555400, 0xfffff400, 0xfffff800,
465  0x99999800, 0xaaaaa800, 0xffffe800, 0xfffff000,
466  0x33333000, 0x55555000, 0xffffd000, 0xffffe000,
467  0x66666000, 0xaaaaa000, 0xffffa000, 0xffffc000,
468  0xccccc000, 0x55554000, 0xffff4000, 0xffff8000,
469  0x99998000, 0xaaaa8000, 0xfffe8000, 0xffff0000,
470  0x33330000, 0x55550000, 0xfffd0000, 0xfffe0000,
471  0x66660000, 0xaaaa0000, 0xfffa0000, 0xfffc0000,
472  0xcccc0000, 0x55540000, 0xfff40000, 0xfff80000,
473  0x99980000, 0xaaa80000, 0xffe80000, 0xfff00000,
474  0x33300000, 0x55500000, 0xffd00000, 0xffe00000,
475  0x66600000, 0xaaa00000, 0xffa00000, 0xffc00000,
476  0xccc00000, 0x55400000, 0xff400000, 0xff800000,
477  0x99800000, 0xaa800000, 0xfe800000, 0xff000000,
478  0x33000000, 0x55000000, 0xfd000000, 0xfe000000,
479  0x66000000, 0xaa000000, 0xfa000000, 0xfc000000,
480  0xcc000000, 0x54000000, 0xf4000000, 0xf8000000,
481  0x98000000, 0xa8000000, 0xe8000000, 0xf0000000,
482  0x30000000, 0x50000000, 0xd0000000, 0xe0000000,
483  0x60000000, 0xa0000000, 0xa0000000, 0xc0000000,
484  0xc0000000, 0x40000000, 0x40000000, 0x80000000,
485  0x80000000, 0x80000000, 0x80000000, 0x00000000,
486  0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
487  0xaaaaaaaa, 0xfffffffa, 0xfffffffc, 0xfffffffe,
488  0x55555554, 0xfffffff4, 0xfffffff8, 0xfffffffc,
489  0xaaaaaaa8, 0xffffffe8, 0xfffffff0, 0xfffffff8,
490  0x55555550, 0xffffffd0, 0xffffffe0, 0xfffffff0,
491  0xaaaaaaa0, 0xffffffa0, 0xffffffc0, 0xffffffe0,
492  0x55555540, 0xffffff40, 0xffffff80, 0xffffffc0,
493  0xaaaaaa80, 0xfffffe80, 0xffffff00, 0xffffff80,
494  0x55555500, 0xfffffd00, 0xfffffe00, 0xffffff00,
495  0xaaaaaa00, 0xfffffa00, 0xfffffc00, 0xfffffe00,
496  0x55555400, 0xfffff400, 0xfffff800, 0xfffffc00,
497  0xaaaaa800, 0xffffe800, 0xfffff000, 0xfffff800,
498  0x55555000, 0xffffd000, 0xffffe000, 0xfffff000,
499  0xaaaaa000, 0xffffa000, 0xffffc000, 0xffffe000,
500  0x55554000, 0xffff4000, 0xffff8000, 0xffffc000,
501  0xaaaa8000, 0xfffe8000, 0xffff0000, 0xffff8000,
502  0x55550000, 0xfffd0000, 0xfffe0000, 0xffff0000,
503  0xaaaa0000, 0xfffa0000, 0xfffc0000, 0xfffe0000,
504  0x55540000, 0xfff40000, 0xfff80000, 0xfffc0000,
505  0xaaa80000, 0xffe80000, 0xfff00000, 0xfff80000,
506  0x55500000, 0xffd00000, 0xffe00000, 0xfff00000,
507  0xaaa00000, 0xffa00000, 0xffc00000, 0xffe00000,
508  0x55400000, 0xff400000, 0xff800000, 0xffc00000,
509  0xaa800000, 0xfe800000, 0xff000000, 0xff800000,
510  0x55000000, 0xfd000000, 0xfe000000, 0xff000000,
511  0xaa000000, 0xfa000000, 0xfc000000, 0xfe000000,
512  0x54000000, 0xf4000000, 0xf8000000, 0xfc000000,
513  0xa8000000, 0xe8000000, 0xf0000000, 0xf8000000,
514  0x50000000, 0xd0000000, 0xe0000000, 0xf0000000,
515  0xa0000000, 0xa0000000, 0xc0000000, 0xe0000000,
516  0x40000000, 0x40000000, 0x80000000, 0xc0000000,
517  0x80000000, 0x80000000, 0x00000000, 0x80000000,
518  0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
519  0xfffffffa, 0xfffffffc, 0xfffffffe, 0x00000000,
520  0xfffffff4, 0xfffffff8, 0xfffffffc, 0x00000000,
521  0xffffffe8, 0xfffffff0, 0xfffffff8, 0x00000000,
522  0xffffffd0, 0xffffffe0, 0xfffffff0, 0x00000000,
523  0xffffffa0, 0xffffffc0, 0xffffffe0, 0x00000000,
524  0xffffff40, 0xffffff80, 0xffffffc0, 0x00000000,
525  0xfffffe80, 0xffffff00, 0xffffff80, 0x00000000,
526  0xfffffd00, 0xfffffe00, 0xffffff00, 0x00000000,
527  0xfffffa00, 0xfffffc00, 0xfffffe00, 0x00000000,
528  0xfffff400, 0xfffff800, 0xfffffc00, 0x00000000,
529  0xffffe800, 0xfffff000, 0xfffff800, 0x00000000,
530  0xffffd000, 0xffffe000, 0xfffff000, 0x00000000,
531  0xffffa000, 0xffffc000, 0xffffe000, 0x00000000,
532  0xffff4000, 0xffff8000, 0xffffc000, 0x00000000,
533  0xfffe8000, 0xffff0000, 0xffff8000, 0x00000000,
534  0xfffd0000, 0xfffe0000, 0xffff0000, 0x00000000,
535  0xfffa0000, 0xfffc0000, 0xfffe0000, 0x00000000,
536  0xfff40000, 0xfff80000, 0xfffc0000, 0x00000000,
537  0xffe80000, 0xfff00000, 0xfff80000, 0x00000000,
538  0xffd00000, 0xffe00000, 0xfff00000, 0x00000000,
539  0xffa00000, 0xffc00000, 0xffe00000, 0x00000000,
540  0xff400000, 0xff800000, 0xffc00000, 0x00000000,
541  0xfe800000, 0xff000000, 0xff800000, 0x00000000,
542  0xfd000000, 0xfe000000, 0xff000000, 0x00000000,
543  0xfa000000, 0xfc000000, 0xfe000000, 0x00000000,
544  0xf4000000, 0xf8000000, 0xfc000000, 0x00000000,
545  0xe8000000, 0xf0000000, 0xf8000000, 0x00000000,
546  0xd0000000, 0xe0000000, 0xf0000000, 0x00000000,
547  0xa0000000, 0xc0000000, 0xe0000000, 0x00000000,
548  0x40000000, 0x80000000, 0xc0000000, 0x00000000,
549  0x80000000, 0x00000000, 0x80000000, 0x00000000,
550  0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
551  0xfffffffc, 0xfffffffe, 0x00000000, 0x00000002,
552  0xfffffff8, 0xfffffffc, 0x00000000, 0x00000004,
553  0xfffffff0, 0xfffffff8, 0x00000000, 0x00000008,
554  0xffffffe0, 0xfffffff0, 0x00000000, 0x00000010,
555  0xffffffc0, 0xffffffe0, 0x00000000, 0x00000020,
556  0xffffff80, 0xffffffc0, 0x00000000, 0x00000040,
557  0xffffff00, 0xffffff80, 0x00000000, 0x00000080,
558  0xfffffe00, 0xffffff00, 0x00000000, 0x00000100,
559  0xfffffc00, 0xfffffe00, 0x00000000, 0x00000200,
560  0xfffff800, 0xfffffc00, 0x00000000, 0x00000400,
561  0xfffff000, 0xfffff800, 0x00000000, 0x00000800,
562  0xffffe000, 0xfffff000, 0x00000000, 0x00001000,
563  0xffffc000, 0xffffe000, 0x00000000, 0x00002000,
564  0xffff8000, 0xffffc000, 0x00000000, 0x00004000,
565  0xffff0000, 0xffff8000, 0x00000000, 0x00008000,
566  0xfffe0000, 0xffff0000, 0x00000000, 0x00010000,
567  0xfffc0000, 0xfffe0000, 0x00000000, 0x00020000,
568  0xfff80000, 0xfffc0000, 0x00000000, 0x00040000,
569  0xfff00000, 0xfff80000, 0x00000000, 0x00080000,
570  0xffe00000, 0xfff00000, 0x00000000, 0x00100000,
571  0xffc00000, 0xffe00000, 0x00000000, 0x00200000,
572  0xff800000, 0xffc00000, 0x00000000, 0x00400000,
573  0xff000000, 0xff800000, 0x00000000, 0x00800000,
574  0xfe000000, 0xff000000, 0x00000000, 0x01000000,
575  0xfc000000, 0xfe000000, 0x00000000, 0x02000000,
576  0xf8000000, 0xfc000000, 0x00000000, 0x04000000,
577  0xf0000000, 0xf8000000, 0x00000000, 0x08000000,
578  0xe0000000, 0xf0000000, 0x00000000, 0x10000000,
579  0xc0000000, 0xe0000000, 0x00000000, 0x20000000,
580  0x80000000, 0xc0000000, 0x00000000, 0x40000000,
581  0x00000000, 0x80000000, 0x00000000, 0x80000000,
582  0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
583  0xfffffffe, 0x00000000, 0x00000002, 0x55555554,
584  0xfffffffc, 0x00000000, 0x00000004, 0xaaaaaaa8,
585  0xfffffff8, 0x00000000, 0x00000008, 0x55555550,
586  0xfffffff0, 0x00000000, 0x00000010, 0xaaaaaaa0,
587  0xffffffe0, 0x00000000, 0x00000020, 0x55555540,
588  0xffffffc0, 0x00000000, 0x00000040, 0xaaaaaa80,
589  0xffffff80, 0x00000000, 0x00000080, 0x55555500,
590  0xffffff00, 0x00000000, 0x00000100, 0xaaaaaa00,
591  0xfffffe00, 0x00000000, 0x00000200, 0x55555400,
592  0xfffffc00, 0x00000000, 0x00000400, 0xaaaaa800,
593  0xfffff800, 0x00000000, 0x00000800, 0x55555000,
594  0xfffff000, 0x00000000, 0x00001000, 0xaaaaa000,
595  0xffffe000, 0x00000000, 0x00002000, 0x55554000,
596  0xffffc000, 0x00000000, 0x00004000, 0xaaaa8000,
597  0xffff8000, 0x00000000, 0x00008000, 0x55550000,
598  0xffff0000, 0x00000000, 0x00010000, 0xaaaa0000,
599  0xfffe0000, 0x00000000, 0x00020000, 0x55540000,
600  0xfffc0000, 0x00000000, 0x00040000, 0xaaa80000,
601  0xfff80000, 0x00000000, 0x00080000, 0x55500000,
602  0xfff00000, 0x00000000, 0x00100000, 0xaaa00000,
603  0xffe00000, 0x00000000, 0x00200000, 0x55400000,
604  0xffc00000, 0x00000000, 0x00400000, 0xaa800000,
605  0xff800000, 0x00000000, 0x00800000, 0x55000000,
606  0xff000000, 0x00000000, 0x01000000, 0xaa000000,
607  0xfe000000, 0x00000000, 0x02000000, 0x54000000,
608  0xfc000000, 0x00000000, 0x04000000, 0xa8000000,
609  0xf8000000, 0x00000000, 0x08000000, 0x50000000,
610  0xf0000000, 0x00000000, 0x10000000, 0xa0000000,
611  0xe0000000, 0x00000000, 0x20000000, 0x40000000,
612  0xc0000000, 0x00000000, 0x40000000, 0x80000000,
613  0x80000000, 0x00000000, 0x80000000, 0x00000000,
614  0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
615  0x00000000, 0x00000002, 0x55555554, 0x99999998,
616  0x00000000, 0x00000004, 0xaaaaaaa8, 0x33333330,
617  0x00000000, 0x00000008, 0x55555550, 0x66666660,
618  0x00000000, 0x00000010, 0xaaaaaaa0, 0xccccccc0,
619  0x00000000, 0x00000020, 0x55555540, 0x99999980,
620  0x00000000, 0x00000040, 0xaaaaaa80, 0x33333300,
621  0x00000000, 0x00000080, 0x55555500, 0x66666600,
622  0x00000000, 0x00000100, 0xaaaaaa00, 0xcccccc00,
623  0x00000000, 0x00000200, 0x55555400, 0x99999800,
624  0x00000000, 0x00000400, 0xaaaaa800, 0x33333000,
625  0x00000000, 0x00000800, 0x55555000, 0x66666000,
626  0x00000000, 0x00001000, 0xaaaaa000, 0xccccc000,
627  0x00000000, 0x00002000, 0x55554000, 0x99998000,
628  0x00000000, 0x00004000, 0xaaaa8000, 0x33330000,
629  0x00000000, 0x00008000, 0x55550000, 0x66660000,
630  0x00000000, 0x00010000, 0xaaaa0000, 0xcccc0000,
631  0x00000000, 0x00020000, 0x55540000, 0x99980000,
632  0x00000000, 0x00040000, 0xaaa80000, 0x33300000,
633  0x00000000, 0x00080000, 0x55500000, 0x66600000,
634  0x00000000, 0x00100000, 0xaaa00000, 0xccc00000,
635  0x00000000, 0x00200000, 0x55400000, 0x99800000,
636  0x00000000, 0x00400000, 0xaa800000, 0x33000000,
637  0x00000000, 0x00800000, 0x55000000, 0x66000000,
638  0x00000000, 0x01000000, 0xaa000000, 0xcc000000,
639  0x00000000, 0x02000000, 0x54000000, 0x98000000,
640  0x00000000, 0x04000000, 0xa8000000, 0x30000000,
641  0x00000000, 0x08000000, 0x50000000, 0x60000000,
642  0x00000000, 0x10000000, 0xa0000000, 0xc0000000,
643  0x00000000, 0x20000000, 0x40000000, 0x80000000,
644  0x00000000, 0x40000000, 0x80000000, 0x00000000,
645  0x00000000, 0x80000000, 0x00000000, 0x00000000,
646  0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
647  0x00000002, 0x55555554, 0x99999998, 0xffff0000,
648  0x00000004, 0xaaaaaaa8, 0x33333330, 0xfffe0000,
649  0x00000008, 0x55555550, 0x66666660, 0xfffc0000,
650  0x00000010, 0xaaaaaaa0, 0xccccccc0, 0xfff80000,
651  0x00000020, 0x55555540, 0x99999980, 0xfff00000,
652  0x00000040, 0xaaaaaa80, 0x33333300, 0xffe00000,
653  0x00000080, 0x55555500, 0x66666600, 0xffc00000,
654  0x00000100, 0xaaaaaa00, 0xcccccc00, 0xff800000,
655  0x00000200, 0x55555400, 0x99999800, 0xff000000,
656  0x00000400, 0xaaaaa800, 0x33333000, 0xfe000000,
657  0x00000800, 0x55555000, 0x66666000, 0xfc000000,
658  0x00001000, 0xaaaaa000, 0xccccc000, 0xf8000000,
659  0x00002000, 0x55554000, 0x99998000, 0xf0000000,
660  0x00004000, 0xaaaa8000, 0x33330000, 0xe0000000,
661  0x00008000, 0x55550000, 0x66660000, 0xc0000000,
662  0x00010000, 0xaaaa0000, 0xcccc0000, 0x80000000,
663  0x00020000, 0x55540000, 0x99980000, 0x00000000,
664  0x00040000, 0xaaa80000, 0x33300000, 0x00000000,
665  0x00080000, 0x55500000, 0x66600000, 0x00000000,
666  0x00100000, 0xaaa00000, 0xccc00000, 0x00000000,
667  0x00200000, 0x55400000, 0x99800000, 0x00000000,
668  0x00400000, 0xaa800000, 0x33000000, 0x00000000,
669  0x00800000, 0x55000000, 0x66000000, 0x00000000,
670  0x01000000, 0xaa000000, 0xcc000000, 0x00000000,
671  0x02000000, 0x54000000, 0x98000000, 0x00000000,
672  0x04000000, 0xa8000000, 0x30000000, 0x00000000,
673  0x08000000, 0x50000000, 0x60000000, 0x00000000,
674  0x10000000, 0xa0000000, 0xc0000000, 0x00000000,
675  0x20000000, 0x40000000, 0x80000000, 0x00000000,
676  0x40000000, 0x80000000, 0x00000000, 0x00000000,
677  0x80000000, 0x00000000, 0x00000000, 0x00000000,
678  0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
679  0x55555554, 0x99999998, 0xffff0000, 0xffff0002,
680  0xaaaaaaa8, 0x33333330, 0xfffe0000, 0xfffe0004,
681  0x55555550, 0x66666660, 0xfffc0000, 0xfffc0008,
682  0xaaaaaaa0, 0xccccccc0, 0xfff80000, 0xfff80010,
683  0x55555540, 0x99999980, 0xfff00000, 0xfff00020,
684  0xaaaaaa80, 0x33333300, 0xffe00000, 0xffe00040,
685  0x55555500, 0x66666600, 0xffc00000, 0xffc00080,
686  0xaaaaaa00, 0xcccccc00, 0xff800000, 0xff800100,
687  0x55555400, 0x99999800, 0xff000000, 0xff000200,
688  0xaaaaa800, 0x33333000, 0xfe000000, 0xfe000400,
689  0x55555000, 0x66666000, 0xfc000000, 0xfc000800,
690  0xaaaaa000, 0xccccc000, 0xf8000000, 0xf8001000,
691  0x55554000, 0x99998000, 0xf0000000, 0xf0002000,
692  0xaaaa8000, 0x33330000, 0xe0000000, 0xe0004000,
693  0x55550000, 0x66660000, 0xc0000000, 0xc0008000,
694  0xaaaa0000, 0xcccc0000, 0x80000000, 0x80010000,
695  0x55540000, 0x99980000, 0x00000000, 0x00020000,
696  0xaaa80000, 0x33300000, 0x00000000, 0x00040000,
697  0x55500000, 0x66600000, 0x00000000, 0x00080000,
698  0xaaa00000, 0xccc00000, 0x00000000, 0x00100000,
699  0x55400000, 0x99800000, 0x00000000, 0x00200000,
700  0xaa800000, 0x33000000, 0x00000000, 0x00400000,
701  0x55000000, 0x66000000, 0x00000000, 0x00800000,
702  0xaa000000, 0xcc000000, 0x00000000, 0x01000000,
703  0x54000000, 0x98000000, 0x00000000, 0x02000000,
704  0xa8000000, 0x30000000, 0x00000000, 0x04000000,
705  0x50000000, 0x60000000, 0x00000000, 0x08000000,
706  0xa0000000, 0xc0000000, 0x00000000, 0x10000000,
707  0x40000000, 0x80000000, 0x00000000, 0x20000000,
708  0x80000000, 0x00000000, 0x00000000, 0x40000000,
709  0x00000000, 0x00000000, 0x00000000, 0x80000000,
710  0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
711  0x99999998, 0xffff0000, 0xffff0002, 0xffff0004,
712  0x33333330, 0xfffe0000, 0xfffe0004, 0xfffe0008,
713  0x66666660, 0xfffc0000, 0xfffc0008, 0xfffc0010,
714  0xccccccc0, 0xfff80000, 0xfff80010, 0xfff80020,
715  0x99999980, 0xfff00000, 0xfff00020, 0xfff00040,
716  0x33333300, 0xffe00000, 0xffe00040, 0xffe00080,
717  0x66666600, 0xffc00000, 0xffc00080, 0xffc00100,
718  0xcccccc00, 0xff800000, 0xff800100, 0xff800200,
719  0x99999800, 0xff000000, 0xff000200, 0xff000400,
720  0x33333000, 0xfe000000, 0xfe000400, 0xfe000800,
721  0x66666000, 0xfc000000, 0xfc000800, 0xfc001000,
722  0xccccc000, 0xf8000000, 0xf8001000, 0xf8002000,
723  0x99998000, 0xf0000000, 0xf0002000, 0xf0004000,
724  0x33330000, 0xe0000000, 0xe0004000, 0xe0008000,
725  0x66660000, 0xc0000000, 0xc0008000, 0xc0010000,
726  0xcccc0000, 0x80000000, 0x80010000, 0x80020000,
727  0x99980000, 0x00000000, 0x00020000, 0x00040000,
728  0x33300000, 0x00000000, 0x00040000, 0x00080000,
729  0x66600000, 0x00000000, 0x00080000, 0x00100000,
730  0xccc00000, 0x00000000, 0x00100000, 0x00200000,
731  0x99800000, 0x00000000, 0x00200000, 0x00400000,
732  0x33000000, 0x00000000, 0x00400000, 0x00800000,
733  0x66000000, 0x00000000, 0x00800000, 0x01000000,
734  0xcc000000, 0x00000000, 0x01000000, 0x02000000,
735  0x98000000, 0x00000000, 0x02000000, 0x04000000,
736  0x30000000, 0x00000000, 0x04000000, 0x08000000,
737  0x60000000, 0x00000000, 0x08000000, 0x10000000,
738  0xc0000000, 0x00000000, 0x10000000, 0x20000000,
739  0x80000000, 0x00000000, 0x20000000, 0x40000000,
740  0x00000000, 0x00000000, 0x40000000, 0x80000000,
741  0x00000000, 0x00000000, 0x80000000, 0x00000000,
742  0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
743  0xffff0000, 0xffff0002, 0xffff0004, 0xffff0006,
744  0xfffe0000, 0xfffe0004, 0xfffe0008, 0xfffe000c,
745  0xfffc0000, 0xfffc0008, 0xfffc0010, 0xfffc0018,
746  0xfff80000, 0xfff80010, 0xfff80020, 0xfff80030,
747  0xfff00000, 0xfff00020, 0xfff00040, 0xfff00060,
748  0xffe00000, 0xffe00040, 0xffe00080, 0xffe000c0,
749  0xffc00000, 0xffc00080, 0xffc00100, 0xffc00180,
750  0xff800000, 0xff800100, 0xff800200, 0xff800300,
751  0xff000000, 0xff000200, 0xff000400, 0xff000600,
752  0xfe000000, 0xfe000400, 0xfe000800, 0xfe000c00,
753  0xfc000000, 0xfc000800, 0xfc001000, 0xfc001800,
754  0xf8000000, 0xf8001000, 0xf8002000, 0xf8003000,
755  0xf0000000, 0xf0002000, 0xf0004000, 0xf0006000,
756  0xe0000000, 0xe0004000, 0xe0008000, 0xe000c000,
757  0xc0000000, 0xc0008000, 0xc0010000, 0xc0018000,
758  0x80000000, 0x80010000, 0x80020000, 0x80030000,
759  0x00000000, 0x00020000, 0x00040000, 0x00060000,
760  0x00000000, 0x00040000, 0x00080000, 0x000c0000,
761  0x00000000, 0x00080000, 0x00100000, 0x00180000,
762  0x00000000, 0x00100000, 0x00200000, 0x00300000,
763  0x00000000, 0x00200000, 0x00400000, 0x00600000,
764  0x00000000, 0x00400000, 0x00800000, 0x00c00000,
765  0x00000000, 0x00800000, 0x01000000, 0x01800000,
766  0x00000000, 0x01000000, 0x02000000, 0x03000000,
767  0x00000000, 0x02000000, 0x04000000, 0x06000000,
768  0x00000000, 0x04000000, 0x08000000, 0x0c000000,
769  0x00000000, 0x08000000, 0x10000000, 0x18000000,
770  0x00000000, 0x10000000, 0x20000000, 0x30000000,
771  0x00000000, 0x20000000, 0x40000000, 0x60000000,
772  0x00000000, 0x40000000, 0x80000000, 0xc0000000,
773  0x00000000, 0x80000000, 0x00000000, 0x80000000,
774  0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
775  0xffff0002, 0xffff0004, 0xffff0006, 0xffffff00,
776  0xfffe0004, 0xfffe0008, 0xfffe000c, 0xfffffe00,
777  0xfffc0008, 0xfffc0010, 0xfffc0018, 0xfffffc00,
778  0xfff80010, 0xfff80020, 0xfff80030, 0xfffff800,
779  0xfff00020, 0xfff00040, 0xfff00060, 0xfffff000,
780  0xffe00040, 0xffe00080, 0xffe000c0, 0xffffe000,
781  0xffc00080, 0xffc00100, 0xffc00180, 0xffffc000,
782  0xff800100, 0xff800200, 0xff800300, 0xffff8000,
783  0xff000200, 0xff000400, 0xff000600, 0xffff0000,
784  0xfe000400, 0xfe000800, 0xfe000c00, 0xfffe0000,
785  0xfc000800, 0xfc001000, 0xfc001800, 0xfffc0000,
786  0xf8001000, 0xf8002000, 0xf8003000, 0xfff80000,
787  0xf0002000, 0xf0004000, 0xf0006000, 0xfff00000,
788  0xe0004000, 0xe0008000, 0xe000c000, 0xffe00000,
789  0xc0008000, 0xc0010000, 0xc0018000, 0xffc00000,
790  0x80010000, 0x80020000, 0x80030000, 0xff800000,
791  0x00020000, 0x00040000, 0x00060000, 0xff000000,
792  0x00040000, 0x00080000, 0x000c0000, 0xfe000000,
793  0x00080000, 0x00100000, 0x00180000, 0xfc000000,
794  0x00100000, 0x00200000, 0x00300000, 0xf8000000,
795  0x00200000, 0x00400000, 0x00600000, 0xf0000000,
796  0x00400000, 0x00800000, 0x00c00000, 0xe0000000,
797  0x00800000, 0x01000000, 0x01800000, 0xc0000000,
798  0x01000000, 0x02000000, 0x03000000, 0x80000000,
799  0x02000000, 0x04000000, 0x06000000, 0x00000000,
800  0x04000000, 0x08000000, 0x0c000000, 0x00000000,
801  0x08000000, 0x10000000, 0x18000000, 0x00000000,
802  0x10000000, 0x20000000, 0x30000000, 0x00000000,
803  0x20000000, 0x40000000, 0x60000000, 0x00000000,
804  0x40000000, 0x80000000, 0xc0000000, 0x00000000,
805  0x80000000, 0x00000000, 0x80000000, 0x00000000,
806  0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
807  0xffff0004, 0xffff0006, 0xffffff00, 0xffffff02,
808  0xfffe0008, 0xfffe000c, 0xfffffe00, 0xfffffe04,
809  0xfffc0010, 0xfffc0018, 0xfffffc00, 0xfffffc08,
810  0xfff80020, 0xfff80030, 0xfffff800, 0xfffff810,
811  0xfff00040, 0xfff00060, 0xfffff000, 0xfffff020,
812  0xffe00080, 0xffe000c0, 0xffffe000, 0xffffe040,
813  0xffc00100, 0xffc00180, 0xffffc000, 0xffffc080,
814  0xff800200, 0xff800300, 0xffff8000, 0xffff8100,
815  0xff000400, 0xff000600, 0xffff0000, 0xffff0200,
816  0xfe000800, 0xfe000c00, 0xfffe0000, 0xfffe0400,
817  0xfc001000, 0xfc001800, 0xfffc0000, 0xfffc0800,
818  0xf8002000, 0xf8003000, 0xfff80000, 0xfff81000,
819  0xf0004000, 0xf0006000, 0xfff00000, 0xfff02000,
820  0xe0008000, 0xe000c000, 0xffe00000, 0xffe04000,
821  0xc0010000, 0xc0018000, 0xffc00000, 0xffc08000,
822  0x80020000, 0x80030000, 0xff800000, 0xff810000,
823  0x00040000, 0x00060000, 0xff000000, 0xff020000,
824  0x00080000, 0x000c0000, 0xfe000000, 0xfe040000,
825  0x00100000, 0x00180000, 0xfc000000, 0xfc080000,
826  0x00200000, 0x00300000, 0xf8000000, 0xf8100000,
827  0x00400000, 0x00600000, 0xf0000000, 0xf0200000,
828  0x00800000, 0x00c00000, 0xe0000000, 0xe0400000,
829  0x01000000, 0x01800000, 0xc0000000, 0xc0800000,
830  0x02000000, 0x03000000, 0x80000000, 0x81000000,
831  0x04000000, 0x06000000, 0x00000000, 0x02000000,
832  0x08000000, 0x0c000000, 0x00000000, 0x04000000,
833  0x10000000, 0x18000000, 0x00000000, 0x08000000,
834  0x20000000, 0x30000000, 0x00000000, 0x10000000,
835  0x40000000, 0x60000000, 0x00000000, 0x20000000,
836  0x80000000, 0xc0000000, 0x00000000, 0x40000000,
837  0x00000000, 0x80000000, 0x00000000, 0x80000000,
838  0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
839  0xffff0006, 0xffffff00, 0xffffff02, 0xffffff04,
840  0xfffe000c, 0xfffffe00, 0xfffffe04, 0xfffffe08,
841  0xfffc0018, 0xfffffc00, 0xfffffc08, 0xfffffc10,
842  0xfff80030, 0xfffff800, 0xfffff810, 0xfffff820,
843  0xfff00060, 0xfffff000, 0xfffff020, 0xfffff040,
844  0xffe000c0, 0xffffe000, 0xffffe040, 0xffffe080,
845  0xffc00180, 0xffffc000, 0xffffc080, 0xffffc100,
846  0xff800300, 0xffff8000, 0xffff8100, 0xffff8200,
847  0xff000600, 0xffff0000, 0xffff0200, 0xffff0400,
848  0xfe000c00, 0xfffe0000, 0xfffe0400, 0xfffe0800,
849  0xfc001800, 0xfffc0000, 0xfffc0800, 0xfffc1000,
850  0xf8003000, 0xfff80000, 0xfff81000, 0xfff82000,
851  0xf0006000, 0xfff00000, 0xfff02000, 0xfff04000,
852  0xe000c000, 0xffe00000, 0xffe04000, 0xffe08000,
853  0xc0018000, 0xffc00000, 0xffc08000, 0xffc10000,
854  0x80030000, 0xff800000, 0xff810000, 0xff820000,
855  0x00060000, 0xff000000, 0xff020000, 0xff040000,
856  0x000c0000, 0xfe000000, 0xfe040000, 0xfe080000,
857  0x00180000, 0xfc000000, 0xfc080000, 0xfc100000,
858  0x00300000, 0xf8000000, 0xf8100000, 0xf8200000,
859  0x00600000, 0xf0000000, 0xf0200000, 0xf0400000,
860  0x00c00000, 0xe0000000, 0xe0400000, 0xe0800000,
861  0x01800000, 0xc0000000, 0xc0800000, 0xc1000000,
862  0x03000000, 0x80000000, 0x81000000, 0x82000000,
863  0x06000000, 0x00000000, 0x02000000, 0x04000000,
864  0x0c000000, 0x00000000, 0x04000000, 0x08000000,
865  0x18000000, 0x00000000, 0x08000000, 0x10000000,
866  0x30000000, 0x00000000, 0x10000000, 0x20000000,
867  0x60000000, 0x00000000, 0x20000000, 0x40000000,
868  0xc0000000, 0x00000000, 0x40000000, 0x80000000,
869  0x80000000, 0x00000000, 0x80000000, 0x00000000,
870  0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
871  0xffffff00, 0xffffff02, 0xffffff04, 0xffffff06,
872  0xfffffe00, 0xfffffe04, 0xfffffe08, 0xfffffe0c,
873  0xfffffc00, 0xfffffc08, 0xfffffc10, 0xfffffc18,
874  0xfffff800, 0xfffff810, 0xfffff820, 0xfffff830,
875  0xfffff000, 0xfffff020, 0xfffff040, 0xfffff060,
876  0xffffe000, 0xffffe040, 0xffffe080, 0xffffe0c0,
877  0xffffc000, 0xffffc080, 0xffffc100, 0xffffc180,
878  0xffff8000, 0xffff8100, 0xffff8200, 0xffff8300,
879  0xffff0000, 0xffff0200, 0xffff0400, 0xffff0600,
880  0xfffe0000, 0xfffe0400, 0xfffe0800, 0xfffe0c00,
881  0xfffc0000, 0xfffc0800, 0xfffc1000, 0xfffc1800,
882  0xfff80000, 0xfff81000, 0xfff82000, 0xfff83000,
883  0xfff00000, 0xfff02000, 0xfff04000, 0xfff06000,
884  0xffe00000, 0xffe04000, 0xffe08000, 0xffe0c000,
885  0xffc00000, 0xffc08000, 0xffc10000, 0xffc18000,
886  0xff800000, 0xff810000, 0xff820000, 0xff830000,
887  0xff000000, 0xff020000, 0xff040000, 0xff060000,
888  0xfe000000, 0xfe040000, 0xfe080000, 0xfe0c0000,
889  0xfc000000, 0xfc080000, 0xfc100000, 0xfc180000,
890  0xf8000000, 0xf8100000, 0xf8200000, 0xf8300000,
891  0xf0000000, 0xf0200000, 0xf0400000, 0xf0600000,
892  0xe0000000, 0xe0400000, 0xe0800000, 0xe0c00000,
893  0xc0000000, 0xc0800000, 0xc1000000, 0xc1800000,
894  0x80000000, 0x81000000, 0x82000000, 0x83000000,
895  0x00000000, 0x02000000, 0x04000000, 0x06000000,
896  0x00000000, 0x04000000, 0x08000000, 0x0c000000,
897  0x00000000, 0x08000000, 0x10000000, 0x18000000,
898  0x00000000, 0x10000000, 0x20000000, 0x30000000,
899  0x00000000, 0x20000000, 0x40000000, 0x60000000,
900  0x00000000, 0x40000000, 0x80000000, 0xc0000000,
901  0x00000000, 0x80000000, 0x00000000, 0x80000000,
902  0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
903  0xffffff02, 0xffffff04, 0xffffff06, 0xffffffc0,
904  0xfffffe04, 0xfffffe08, 0xfffffe0c, 0xffffff80,
905  0xfffffc08, 0xfffffc10, 0xfffffc18, 0xffffff00,
906  0xfffff810, 0xfffff820, 0xfffff830, 0xfffffe00,
907  0xfffff020, 0xfffff040, 0xfffff060, 0xfffffc00,
908  0xffffe040, 0xffffe080, 0xffffe0c0, 0xfffff800,
909  0xffffc080, 0xffffc100, 0xffffc180, 0xfffff000,
910  0xffff8100, 0xffff8200, 0xffff8300, 0xffffe000,
911  0xffff0200, 0xffff0400, 0xffff0600, 0xffffc000,
912  0xfffe0400, 0xfffe0800, 0xfffe0c00, 0xffff8000,
913  0xfffc0800, 0xfffc1000, 0xfffc1800, 0xffff0000,
914  0xfff81000, 0xfff82000, 0xfff83000, 0xfffe0000,
915  0xfff02000, 0xfff04000, 0xfff06000, 0xfffc0000,
916  0xffe04000, 0xffe08000, 0xffe0c000, 0xfff80000,
917  0xffc08000, 0xffc10000, 0xffc18000, 0xfff00000,
918  0xff810000, 0xff820000, 0xff830000, 0xffe00000,
919  0xff020000, 0xff040000, 0xff060000, 0xffc00000,
920  0xfe040000, 0xfe080000, 0xfe0c0000, 0xff800000,
921  0xfc080000, 0xfc100000, 0xfc180000, 0xff000000,
922  0xf8100000, 0xf8200000, 0xf8300000, 0xfe000000,
923  0xf0200000, 0xf0400000, 0xf0600000, 0xfc000000,
924  0xe0400000, 0xe0800000, 0xe0c00000, 0xf8000000,
925  0xc0800000, 0xc1000000, 0xc1800000, 0xf0000000,
926  0x81000000, 0x82000000, 0x83000000, 0xe0000000,
927  0x02000000, 0x04000000, 0x06000000, 0xc0000000,
928  0x04000000, 0x08000000, 0x0c000000, 0x80000000,
929  0x08000000, 0x10000000, 0x18000000, 0x00000000,
930  0x10000000, 0x20000000, 0x30000000, 0x00000000,
931  0x20000000, 0x40000000, 0x60000000, 0x00000000,
932  0x40000000, 0x80000000, 0xc0000000, 0x00000000,
933  0x80000000, 0x00000000, 0x80000000, 0x00000000,
934  0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
935  0xffffff04, 0xffffff06, 0xffffffc0, 0xfffffffa,
936  0xfffffe08, 0xfffffe0c, 0xffffff80, 0xfffffff4,
937  0xfffffc10, 0xfffffc18, 0xffffff00, 0xffffffe8,
938  0xfffff820, 0xfffff830, 0xfffffe00, 0xffffffd0,
939  0xfffff040, 0xfffff060, 0xfffffc00, 0xffffffa0,
940  0xffffe080, 0xffffe0c0, 0xfffff800, 0xffffff40,
941  0xffffc100, 0xffffc180, 0xfffff000, 0xfffffe80,
942  0xffff8200, 0xffff8300, 0xffffe000, 0xfffffd00,
943  0xffff0400, 0xffff0600, 0xffffc000, 0xfffffa00,
944  0xfffe0800, 0xfffe0c00, 0xffff8000, 0xfffff400,
945  0xfffc1000, 0xfffc1800, 0xffff0000, 0xffffe800,
946  0xfff82000, 0xfff83000, 0xfffe0000, 0xffffd000,
947  0xfff04000, 0xfff06000, 0xfffc0000, 0xffffa000,
948  0xffe08000, 0xffe0c000, 0xfff80000, 0xffff4000,
949  0xffc10000, 0xffc18000, 0xfff00000, 0xfffe8000,
950  0xff820000, 0xff830000, 0xffe00000, 0xfffd0000,
951  0xff040000, 0xff060000, 0xffc00000, 0xfffa0000,
952  0xfe080000, 0xfe0c0000, 0xff800000, 0xfff40000,
953  0xfc100000, 0xfc180000, 0xff000000, 0xffe80000,
954  0xf8200000, 0xf8300000, 0xfe000000, 0xffd00000,
955  0xf0400000, 0xf0600000, 0xfc000000, 0xffa00000,
956  0xe0800000, 0xe0c00000, 0xf8000000, 0xff400000,
957  0xc1000000, 0xc1800000, 0xf0000000, 0xfe800000,
958  0x82000000, 0x83000000, 0xe0000000, 0xfd000000,
959  0x04000000, 0x06000000, 0xc0000000, 0xfa000000,
960  0x08000000, 0x0c000000, 0x80000000, 0xf4000000,
961  0x10000000, 0x18000000, 0x00000000, 0xe8000000,
962  0x20000000, 0x30000000, 0x00000000, 0xd0000000,
963  0x40000000, 0x60000000, 0x00000000, 0xa0000000,
964  0x80000000, 0xc0000000, 0x00000000, 0x40000000,
965  0x00000000, 0x80000000, 0x00000000, 0x80000000,
966  0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
967  0xffffff06, 0xffffffc0, 0xfffffffa, 0xfffffffc,
968  0xfffffe0c, 0xffffff80, 0xfffffff4, 0xfffffff8,
969  0xfffffc18, 0xffffff00, 0xffffffe8, 0xfffffff0,
970  0xfffff830, 0xfffffe00, 0xffffffd0, 0xffffffe0,
971  0xfffff060, 0xfffffc00, 0xffffffa0, 0xffffffc0,
972  0xffffe0c0, 0xfffff800, 0xffffff40, 0xffffff80,
973  0xffffc180, 0xfffff000, 0xfffffe80, 0xffffff00,
974  0xffff8300, 0xffffe000, 0xfffffd00, 0xfffffe00,
975  0xffff0600, 0xffffc000, 0xfffffa00, 0xfffffc00,
976  0xfffe0c00, 0xffff8000, 0xfffff400, 0xfffff800,
977  0xfffc1800, 0xffff0000, 0xffffe800, 0xfffff000,
978  0xfff83000, 0xfffe0000, 0xffffd000, 0xffffe000,
979  0xfff06000, 0xfffc0000, 0xffffa000, 0xffffc000,
980  0xffe0c000, 0xfff80000, 0xffff4000, 0xffff8000,
981  0xffc18000, 0xfff00000, 0xfffe8000, 0xffff0000,
982  0xff830000, 0xffe00000, 0xfffd0000, 0xfffe0000,
983  0xff060000, 0xffc00000, 0xfffa0000, 0xfffc0000,
984  0xfe0c0000, 0xff800000, 0xfff40000, 0xfff80000,
985  0xfc180000, 0xff000000, 0xffe80000, 0xfff00000,
986  0xf8300000, 0xfe000000, 0xffd00000, 0xffe00000,
987  0xf0600000, 0xfc000000, 0xffa00000, 0xffc00000,
988  0xe0c00000, 0xf8000000, 0xff400000, 0xff800000,
989  0xc1800000, 0xf0000000, 0xfe800000, 0xff000000,
990  0x83000000, 0xe0000000, 0xfd000000, 0xfe000000,
991  0x06000000, 0xc0000000, 0xfa000000, 0xfc000000,
992  0x0c000000, 0x80000000, 0xf4000000, 0xf8000000,
993  0x18000000, 0x00000000, 0xe8000000, 0xf0000000,
994  0x30000000, 0x00000000, 0xd0000000, 0xe0000000,
995  0x60000000, 0x00000000, 0xa0000000, 0xc0000000,
996  0xc0000000, 0x00000000, 0x40000000, 0x80000000,
997  0x80000000, 0x00000000, 0x80000000, 0x00000000,
998  0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
999  0xffffffc0, 0xfffffffa, 0xfffffffc, 0xfffffffe,
1000  0xffffff80, 0xfffffff4, 0xfffffff8, 0xfffffffc,
1001  0xffffff00, 0xffffffe8, 0xfffffff0, 0xfffffff8,
1002  0xfffffe00, 0xffffffd0, 0xffffffe0, 0xfffffff0,
1003  0xfffffc00, 0xffffffa0, 0xffffffc0, 0xffffffe0,
1004  0xfffff800, 0xffffff40, 0xffffff80, 0xffffffc0,
1005  0xfffff000, 0xfffffe80, 0xffffff00, 0xffffff80,
1006  0xffffe000, 0xfffffd00, 0xfffffe00, 0xffffff00,
1007  0xffffc000, 0xfffffa00, 0xfffffc00, 0xfffffe00,
1008  0xffff8000, 0xfffff400, 0xfffff800, 0xfffffc00,
1009  0xffff0000, 0xffffe800, 0xfffff000, 0xfffff800,
1010  0xfffe0000, 0xffffd000, 0xffffe000, 0xfffff000,
1011  0xfffc0000, 0xffffa000, 0xffffc000, 0xffffe000,
1012  0xfff80000, 0xffff4000, 0xffff8000, 0xffffc000,
1013  0xfff00000, 0xfffe8000, 0xffff0000, 0xffff8000,
1014  0xffe00000, 0xfffd0000, 0xfffe0000, 0xffff0000,
1015  0xffc00000, 0xfffa0000, 0xfffc0000, 0xfffe0000,
1016  0xff800000, 0xfff40000, 0xfff80000, 0xfffc0000,
1017  0xff000000, 0xffe80000, 0xfff00000, 0xfff80000,
1018  0xfe000000, 0xffd00000, 0xffe00000, 0xfff00000,
1019  0xfc000000, 0xffa00000, 0xffc00000, 0xffe00000,
1020  0xf8000000, 0xff400000, 0xff800000, 0xffc00000,
1021  0xf0000000, 0xfe800000, 0xff000000, 0xff800000,
1022  0xe0000000, 0xfd000000, 0xfe000000, 0xff000000,
1023  0xc0000000, 0xfa000000, 0xfc000000, 0xfe000000,
1024  0x80000000, 0xf4000000, 0xf8000000, 0xfc000000,
1025  0x00000000, 0xe8000000, 0xf0000000, 0xf8000000,
1026  0x00000000, 0xd0000000, 0xe0000000, 0xf0000000,
1027  0x00000000, 0xa0000000, 0xc0000000, 0xe0000000,
1028  0x00000000, 0x40000000, 0x80000000, 0xc0000000,
1029  0x00000000, 0x80000000, 0x00000000, 0x80000000,
1030};
1031const unsigned kExpectedCount_NEON_shl_4S_2OPIMM = 992;
1032
1033#endif  // VIXL_SIM_SHL_4S_2OPIMM_TRACE_AARCH64_H_
1034