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_SLI_4S_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_SLI_4S_2OPIMM_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_sli_4S_2OPIMM[] = {
38  0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
39  0xfffffffb, 0xfffffffc, 0xffffffff, 0x00000000,
40  0xfffffff7, 0xfffffff8, 0xffffffff, 0x00000000,
41  0xffffffef, 0xfffffff0, 0xffffffff, 0x00000000,
42  0xffffffdf, 0xffffffe0, 0xffffffff, 0x00000000,
43  0xffffffbf, 0xffffffc0, 0xffffffff, 0x00000000,
44  0xffffff7f, 0xffffff80, 0xffffffff, 0x00000000,
45  0xfffffeff, 0xffffff00, 0xffffffff, 0x00000000,
46  0xfffffdff, 0xfffffe00, 0xffffffff, 0x00000000,
47  0xfffffbff, 0xfffffc00, 0xffffffff, 0x00000000,
48  0xfffff7ff, 0xfffff800, 0xffffffff, 0x00000000,
49  0xffffefff, 0xfffff000, 0xffffffff, 0x00000000,
50  0xffffdfff, 0xffffe000, 0xffffffff, 0x00000000,
51  0xffffbfff, 0xffffc000, 0xffffffff, 0x00000000,
52  0xffff7fff, 0xffff8000, 0xffffffff, 0x00000000,
53  0xfffeffff, 0xffff0000, 0xffffffff, 0x00000000,
54  0xfffdffff, 0xfffe0000, 0xffffffff, 0x00000000,
55  0xfffbffff, 0xfffc0000, 0xffffffff, 0x00000000,
56  0xfff7ffff, 0xfff80000, 0xffffffff, 0x00000000,
57  0xffefffff, 0xfff00000, 0xffffffff, 0x00000000,
58  0xffdfffff, 0xffe00000, 0xffffffff, 0x00000000,
59  0xffbfffff, 0xffc00000, 0xffffffff, 0x00000000,
60  0xff7fffff, 0xff800000, 0xffffffff, 0x00000000,
61  0xfeffffff, 0xff000000, 0xffffffff, 0x00000000,
62  0xfdffffff, 0xfe000000, 0xffffffff, 0x00000000,
63  0xfbffffff, 0xfc000000, 0xffffffff, 0x00000000,
64  0xf7ffffff, 0xf8000000, 0xffffffff, 0x00000000,
65  0xefffffff, 0xf0000000, 0xffffffff, 0x00000000,
66  0xdfffffff, 0xe0000000, 0xffffffff, 0x00000000,
67  0xbfffffff, 0xc0000000, 0xffffffff, 0x00000000,
68  0x7fffffff, 0x80000000, 0xffffffff, 0x00000000,
69  0xffffffff, 0x00000000, 0xffffffff, 0x00000000,
70  0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
71  0xfffffffc, 0xffffffff, 0x00000000, 0x00000003,
72  0xfffffff8, 0xffffffff, 0x00000000, 0x00000007,
73  0xfffffff0, 0xffffffff, 0x00000000, 0x0000000f,
74  0xffffffe0, 0xffffffff, 0x00000000, 0x0000001f,
75  0xffffffc0, 0xffffffff, 0x00000000, 0x0000003f,
76  0xffffff80, 0xffffffff, 0x00000000, 0x0000007f,
77  0xffffff00, 0xffffffff, 0x00000000, 0x000000ff,
78  0xfffffe00, 0xffffffff, 0x00000000, 0x000001ff,
79  0xfffffc00, 0xffffffff, 0x00000000, 0x000003ff,
80  0xfffff800, 0xffffffff, 0x00000000, 0x000007ff,
81  0xfffff000, 0xffffffff, 0x00000000, 0x00000fff,
82  0xffffe000, 0xffffffff, 0x00000000, 0x00001fff,
83  0xffffc000, 0xffffffff, 0x00000000, 0x00003fff,
84  0xffff8000, 0xffffffff, 0x00000000, 0x00007fff,
85  0xffff0000, 0xffffffff, 0x00000000, 0x0000ffff,
86  0xfffe0000, 0xffffffff, 0x00000000, 0x0001ffff,
87  0xfffc0000, 0xffffffff, 0x00000000, 0x0003ffff,
88  0xfff80000, 0xffffffff, 0x00000000, 0x0007ffff,
89  0xfff00000, 0xffffffff, 0x00000000, 0x000fffff,
90  0xffe00000, 0xffffffff, 0x00000000, 0x001fffff,
91  0xffc00000, 0xffffffff, 0x00000000, 0x003fffff,
92  0xff800000, 0xffffffff, 0x00000000, 0x007fffff,
93  0xff000000, 0xffffffff, 0x00000000, 0x00ffffff,
94  0xfe000000, 0xffffffff, 0x00000000, 0x01ffffff,
95  0xfc000000, 0xffffffff, 0x00000000, 0x03ffffff,
96  0xf8000000, 0xffffffff, 0x00000000, 0x07ffffff,
97  0xf0000000, 0xffffffff, 0x00000000, 0x0fffffff,
98  0xe0000000, 0xffffffff, 0x00000000, 0x1fffffff,
99  0xc0000000, 0xffffffff, 0x00000000, 0x3fffffff,
100  0x80000000, 0xffffffff, 0x00000000, 0x7fffffff,
101  0x00000000, 0xffffffff, 0x00000000, 0xffffffff,
102  0xffffffff, 0x00000000, 0x00000001, 0x00000002,
103  0xffffffff, 0x00000000, 0x00000003, 0x00000004,
104  0xffffffff, 0x00000000, 0x00000007, 0x00000008,
105  0xffffffff, 0x00000000, 0x0000000f, 0x00000010,
106  0xffffffff, 0x00000000, 0x0000001f, 0x00000020,
107  0xffffffff, 0x00000000, 0x0000003f, 0x00000040,
108  0xffffffff, 0x00000000, 0x0000007f, 0x00000080,
109  0xffffffff, 0x00000000, 0x000000ff, 0x00000100,
110  0xffffffff, 0x00000000, 0x000001ff, 0x00000200,
111  0xffffffff, 0x00000000, 0x000003ff, 0x00000400,
112  0xffffffff, 0x00000000, 0x000007ff, 0x00000800,
113  0xffffffff, 0x00000000, 0x00000fff, 0x00001000,
114  0xffffffff, 0x00000000, 0x00001fff, 0x00002000,
115  0xffffffff, 0x00000000, 0x00003fff, 0x00004000,
116  0xffffffff, 0x00000000, 0x00007fff, 0x00008000,
117  0xffffffff, 0x00000000, 0x0000ffff, 0x00010000,
118  0xffffffff, 0x00000000, 0x0001ffff, 0x00020000,
119  0xffffffff, 0x00000000, 0x0003ffff, 0x00040000,
120  0xffffffff, 0x00000000, 0x0007ffff, 0x00080000,
121  0xffffffff, 0x00000000, 0x000fffff, 0x00100000,
122  0xffffffff, 0x00000000, 0x001fffff, 0x00200000,
123  0xffffffff, 0x00000000, 0x003fffff, 0x00400000,
124  0xffffffff, 0x00000000, 0x007fffff, 0x00800000,
125  0xffffffff, 0x00000000, 0x00ffffff, 0x01000000,
126  0xffffffff, 0x00000000, 0x01ffffff, 0x02000000,
127  0xffffffff, 0x00000000, 0x03ffffff, 0x04000000,
128  0xffffffff, 0x00000000, 0x07ffffff, 0x08000000,
129  0xffffffff, 0x00000000, 0x0fffffff, 0x10000000,
130  0xffffffff, 0x00000000, 0x1fffffff, 0x20000000,
131  0xffffffff, 0x00000000, 0x3fffffff, 0x40000000,
132  0xffffffff, 0x00000000, 0x7fffffff, 0x80000000,
133  0xffffffff, 0x00000000, 0xffffffff, 0x00000000,
134  0x00000000, 0x00000001, 0x00000002, 0x00000020,
135  0x00000000, 0x00000003, 0x00000004, 0x00000040,
136  0x00000000, 0x00000007, 0x00000008, 0x00000080,
137  0x00000000, 0x0000000f, 0x00000010, 0x00000100,
138  0x00000000, 0x0000001f, 0x00000020, 0x00000200,
139  0x00000000, 0x0000003f, 0x00000040, 0x00000400,
140  0x00000000, 0x0000007f, 0x00000080, 0x00000800,
141  0x00000000, 0x000000ff, 0x00000100, 0x00001000,
142  0x00000000, 0x000001ff, 0x00000200, 0x00002000,
143  0x00000000, 0x000003ff, 0x00000400, 0x00004000,
144  0x00000000, 0x000007ff, 0x00000800, 0x00008000,
145  0x00000000, 0x00000fff, 0x00001000, 0x00010000,
146  0x00000000, 0x00001fff, 0x00002000, 0x00020000,
147  0x00000000, 0x00003fff, 0x00004000, 0x00040000,
148  0x00000000, 0x00007fff, 0x00008000, 0x00080000,
149  0x00000000, 0x0000ffff, 0x00010000, 0x00100000,
150  0x00000000, 0x0001ffff, 0x00020000, 0x00200000,
151  0x00000000, 0x0003ffff, 0x00040000, 0x00400000,
152  0x00000000, 0x0007ffff, 0x00080000, 0x00800000,
153  0x00000000, 0x000fffff, 0x00100000, 0x01000000,
154  0x00000000, 0x001fffff, 0x00200000, 0x02000000,
155  0x00000000, 0x003fffff, 0x00400000, 0x04000000,
156  0x00000000, 0x007fffff, 0x00800000, 0x08000000,
157  0x00000000, 0x00ffffff, 0x01000000, 0x10000000,
158  0x00000000, 0x01ffffff, 0x02000000, 0x20000000,
159  0x00000000, 0x03ffffff, 0x04000000, 0x40000000,
160  0x00000000, 0x07ffffff, 0x08000000, 0x80000000,
161  0x00000000, 0x0fffffff, 0x10000000, 0x00000000,
162  0x00000000, 0x1fffffff, 0x20000000, 0x00000000,
163  0x00000000, 0x3fffffff, 0x40000000, 0x00000000,
164  0x00000000, 0x7fffffff, 0x80000000, 0x00000000,
165  0x00000000, 0xffffffff, 0x00000000, 0x00000000,
166  0x00000001, 0x00000002, 0x00000020, 0x0000007d,
167  0x00000003, 0x00000004, 0x00000040, 0x000000fb,
168  0x00000007, 0x00000008, 0x00000080, 0x000001f7,
169  0x0000000f, 0x00000010, 0x00000100, 0x000003ef,
170  0x0000001f, 0x00000020, 0x00000200, 0x000007df,
171  0x0000003f, 0x00000040, 0x00000400, 0x00000fbf,
172  0x0000007f, 0x00000080, 0x00000800, 0x00001f7f,
173  0x000000ff, 0x00000100, 0x00001000, 0x00003eff,
174  0x000001ff, 0x00000200, 0x00002000, 0x00007dff,
175  0x000003ff, 0x00000400, 0x00004000, 0x0000fbff,
176  0x000007ff, 0x00000800, 0x00008000, 0x0001f7ff,
177  0x00000fff, 0x00001000, 0x00010000, 0x0003efff,
178  0x00001fff, 0x00002000, 0x00020000, 0x0007dfff,
179  0x00003fff, 0x00004000, 0x00040000, 0x000fbfff,
180  0x00007fff, 0x00008000, 0x00080000, 0x001f7fff,
181  0x0000ffff, 0x00010000, 0x00100000, 0x003effff,
182  0x0001ffff, 0x00020000, 0x00200000, 0x007dffff,
183  0x0003ffff, 0x00040000, 0x00400000, 0x00fbffff,
184  0x0007ffff, 0x00080000, 0x00800000, 0x01f7ffff,
185  0x000fffff, 0x00100000, 0x01000000, 0x03efffff,
186  0x001fffff, 0x00200000, 0x02000000, 0x07dfffff,
187  0x003fffff, 0x00400000, 0x04000000, 0x0fbfffff,
188  0x007fffff, 0x00800000, 0x08000000, 0x1f7fffff,
189  0x00ffffff, 0x01000000, 0x10000000, 0x3effffff,
190  0x01ffffff, 0x02000000, 0x20000000, 0x7dffffff,
191  0x03ffffff, 0x04000000, 0x40000000, 0xfbffffff,
192  0x07ffffff, 0x08000000, 0x80000000, 0xf7ffffff,
193  0x0fffffff, 0x10000000, 0x00000000, 0xefffffff,
194  0x1fffffff, 0x20000000, 0x00000000, 0xdfffffff,
195  0x3fffffff, 0x40000000, 0x00000000, 0xbfffffff,
196  0x7fffffff, 0x80000000, 0x00000000, 0x7fffffff,
197  0xffffffff, 0x00000000, 0x00000000, 0xffffffff,
198  0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
199  0x00000004, 0x00000040, 0x000000fb, 0x000000fc,
200  0x00000008, 0x00000080, 0x000001f7, 0x000001f8,
201  0x00000010, 0x00000100, 0x000003ef, 0x000003f0,
202  0x00000020, 0x00000200, 0x000007df, 0x000007e0,
203  0x00000040, 0x00000400, 0x00000fbf, 0x00000fc0,
204  0x00000080, 0x00000800, 0x00001f7f, 0x00001f80,
205  0x00000100, 0x00001000, 0x00003eff, 0x00003f00,
206  0x00000200, 0x00002000, 0x00007dff, 0x00007e00,
207  0x00000400, 0x00004000, 0x0000fbff, 0x0000fc00,
208  0x00000800, 0x00008000, 0x0001f7ff, 0x0001f800,
209  0x00001000, 0x00010000, 0x0003efff, 0x0003f000,
210  0x00002000, 0x00020000, 0x0007dfff, 0x0007e000,
211  0x00004000, 0x00040000, 0x000fbfff, 0x000fc000,
212  0x00008000, 0x00080000, 0x001f7fff, 0x001f8000,
213  0x00010000, 0x00100000, 0x003effff, 0x003f0000,
214  0x00020000, 0x00200000, 0x007dffff, 0x007e0000,
215  0x00040000, 0x00400000, 0x00fbffff, 0x00fc0000,
216  0x00080000, 0x00800000, 0x01f7ffff, 0x01f80000,
217  0x00100000, 0x01000000, 0x03efffff, 0x03f00000,
218  0x00200000, 0x02000000, 0x07dfffff, 0x07e00000,
219  0x00400000, 0x04000000, 0x0fbfffff, 0x0fc00000,
220  0x00800000, 0x08000000, 0x1f7fffff, 0x1f800000,
221  0x01000000, 0x10000000, 0x3effffff, 0x3f000000,
222  0x02000000, 0x20000000, 0x7dffffff, 0x7e000000,
223  0x04000000, 0x40000000, 0xfbffffff, 0xfc000000,
224  0x08000000, 0x80000000, 0xf7ffffff, 0xf8000000,
225  0x10000000, 0x00000000, 0xefffffff, 0xf0000000,
226  0x20000000, 0x00000000, 0xdfffffff, 0xe0000000,
227  0x40000000, 0x00000000, 0xbfffffff, 0xc0000000,
228  0x80000000, 0x00000000, 0x7fffffff, 0x80000000,
229  0x00000000, 0x00000000, 0xffffffff, 0x00000000,
230  0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
231  0x00000040, 0x000000fb, 0x000000fc, 0x000000ff,
232  0x00000080, 0x000001f7, 0x000001f8, 0x000001ff,
233  0x00000100, 0x000003ef, 0x000003f0, 0x000003ff,
234  0x00000200, 0x000007df, 0x000007e0, 0x000007ff,
235  0x00000400, 0x00000fbf, 0x00000fc0, 0x00000fff,
236  0x00000800, 0x00001f7f, 0x00001f80, 0x00001fff,
237  0x00001000, 0x00003eff, 0x00003f00, 0x00003fff,
238  0x00002000, 0x00007dff, 0x00007e00, 0x00007fff,
239  0x00004000, 0x0000fbff, 0x0000fc00, 0x0000ffff,
240  0x00008000, 0x0001f7ff, 0x0001f800, 0x0001ffff,
241  0x00010000, 0x0003efff, 0x0003f000, 0x0003ffff,
242  0x00020000, 0x0007dfff, 0x0007e000, 0x0007ffff,
243  0x00040000, 0x000fbfff, 0x000fc000, 0x000fffff,
244  0x00080000, 0x001f7fff, 0x001f8000, 0x001fffff,
245  0x00100000, 0x003effff, 0x003f0000, 0x003fffff,
246  0x00200000, 0x007dffff, 0x007e0000, 0x007fffff,
247  0x00400000, 0x00fbffff, 0x00fc0000, 0x00ffffff,
248  0x00800000, 0x01f7ffff, 0x01f80000, 0x01ffffff,
249  0x01000000, 0x03efffff, 0x03f00000, 0x03ffffff,
250  0x02000000, 0x07dfffff, 0x07e00000, 0x07ffffff,
251  0x04000000, 0x0fbfffff, 0x0fc00000, 0x0fffffff,
252  0x08000000, 0x1f7fffff, 0x1f800000, 0x1fffffff,
253  0x10000000, 0x3effffff, 0x3f000000, 0x3fffffff,
254  0x20000000, 0x7dffffff, 0x7e000000, 0x7fffffff,
255  0x40000000, 0xfbffffff, 0xfc000000, 0xffffffff,
256  0x80000000, 0xf7ffffff, 0xf8000000, 0xffffffff,
257  0x00000000, 0xefffffff, 0xf0000000, 0xffffffff,
258  0x00000000, 0xdfffffff, 0xe0000000, 0xffffffff,
259  0x00000000, 0xbfffffff, 0xc0000000, 0xffffffff,
260  0x00000000, 0x7fffffff, 0x80000000, 0xffffffff,
261  0x00000000, 0xffffffff, 0x00000000, 0xffffffff,
262  0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
263  0x000000fb, 0x000000fc, 0x000000ff, 0x0000fffb,
264  0x000001f7, 0x000001f8, 0x000001ff, 0x0001fff7,
265  0x000003ef, 0x000003f0, 0x000003ff, 0x0003ffef,
266  0x000007df, 0x000007e0, 0x000007ff, 0x0007ffdf,
267  0x00000fbf, 0x00000fc0, 0x00000fff, 0x000fffbf,
268  0x00001f7f, 0x00001f80, 0x00001fff, 0x001fff7f,
269  0x00003eff, 0x00003f00, 0x00003fff, 0x003ffeff,
270  0x00007dff, 0x00007e00, 0x00007fff, 0x007ffdff,
271  0x0000fbff, 0x0000fc00, 0x0000ffff, 0x00fffbff,
272  0x0001f7ff, 0x0001f800, 0x0001ffff, 0x01fff7ff,
273  0x0003efff, 0x0003f000, 0x0003ffff, 0x03ffefff,
274  0x0007dfff, 0x0007e000, 0x0007ffff, 0x07ffdfff,
275  0x000fbfff, 0x000fc000, 0x000fffff, 0x0fffbfff,
276  0x001f7fff, 0x001f8000, 0x001fffff, 0x1fff7fff,
277  0x003effff, 0x003f0000, 0x003fffff, 0x3ffeffff,
278  0x007dffff, 0x007e0000, 0x007fffff, 0x7ffdffff,
279  0x00fbffff, 0x00fc0000, 0x00ffffff, 0xfffbffff,
280  0x01f7ffff, 0x01f80000, 0x01ffffff, 0xfff7ffff,
281  0x03efffff, 0x03f00000, 0x03ffffff, 0xffefffff,
282  0x07dfffff, 0x07e00000, 0x07ffffff, 0xffdfffff,
283  0x0fbfffff, 0x0fc00000, 0x0fffffff, 0xffbfffff,
284  0x1f7fffff, 0x1f800000, 0x1fffffff, 0xff7fffff,
285  0x3effffff, 0x3f000000, 0x3fffffff, 0xfeffffff,
286  0x7dffffff, 0x7e000000, 0x7fffffff, 0xfdffffff,
287  0xfbffffff, 0xfc000000, 0xffffffff, 0xfbffffff,
288  0xf7ffffff, 0xf8000000, 0xffffffff, 0xf7ffffff,
289  0xefffffff, 0xf0000000, 0xffffffff, 0xefffffff,
290  0xdfffffff, 0xe0000000, 0xffffffff, 0xdfffffff,
291  0xbfffffff, 0xc0000000, 0xffffffff, 0xbfffffff,
292  0x7fffffff, 0x80000000, 0xffffffff, 0x7fffffff,
293  0xffffffff, 0x00000000, 0xffffffff, 0xffffffff,
294  0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
295  0x000000fc, 0x000000ff, 0x0000fffb, 0x0000fffc,
296  0x000001f8, 0x000001ff, 0x0001fff7, 0x0001fff8,
297  0x000003f0, 0x000003ff, 0x0003ffef, 0x0003fff0,
298  0x000007e0, 0x000007ff, 0x0007ffdf, 0x0007ffe0,
299  0x00000fc0, 0x00000fff, 0x000fffbf, 0x000fffc0,
300  0x00001f80, 0x00001fff, 0x001fff7f, 0x001fff80,
301  0x00003f00, 0x00003fff, 0x003ffeff, 0x003fff00,
302  0x00007e00, 0x00007fff, 0x007ffdff, 0x007ffe00,
303  0x0000fc00, 0x0000ffff, 0x00fffbff, 0x00fffc00,
304  0x0001f800, 0x0001ffff, 0x01fff7ff, 0x01fff800,
305  0x0003f000, 0x0003ffff, 0x03ffefff, 0x03fff000,
306  0x0007e000, 0x0007ffff, 0x07ffdfff, 0x07ffe000,
307  0x000fc000, 0x000fffff, 0x0fffbfff, 0x0fffc000,
308  0x001f8000, 0x001fffff, 0x1fff7fff, 0x1fff8000,
309  0x003f0000, 0x003fffff, 0x3ffeffff, 0x3fff0000,
310  0x007e0000, 0x007fffff, 0x7ffdffff, 0x7ffe0000,
311  0x00fc0000, 0x00ffffff, 0xfffbffff, 0xfffc0000,
312  0x01f80000, 0x01ffffff, 0xfff7ffff, 0xfff80000,
313  0x03f00000, 0x03ffffff, 0xffefffff, 0xfff00000,
314  0x07e00000, 0x07ffffff, 0xffdfffff, 0xffe00000,
315  0x0fc00000, 0x0fffffff, 0xffbfffff, 0xffc00000,
316  0x1f800000, 0x1fffffff, 0xff7fffff, 0xff800000,
317  0x3f000000, 0x3fffffff, 0xfeffffff, 0xff000000,
318  0x7e000000, 0x7fffffff, 0xfdffffff, 0xfe000000,
319  0xfc000000, 0xffffffff, 0xfbffffff, 0xfc000000,
320  0xf8000000, 0xffffffff, 0xf7ffffff, 0xf8000000,
321  0xf0000000, 0xffffffff, 0xefffffff, 0xf0000000,
322  0xe0000000, 0xffffffff, 0xdfffffff, 0xe0000000,
323  0xc0000000, 0xffffffff, 0xbfffffff, 0xc0000000,
324  0x80000000, 0xffffffff, 0x7fffffff, 0x80000000,
325  0x00000000, 0xffffffff, 0xffffffff, 0x00000000,
326  0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
327  0x000000ff, 0x0000fffb, 0x0000fffc, 0x0000ffff,
328  0x000001ff, 0x0001fff7, 0x0001fff8, 0x0001ffff,
329  0x000003ff, 0x0003ffef, 0x0003fff0, 0x0003ffff,
330  0x000007ff, 0x0007ffdf, 0x0007ffe0, 0x0007ffff,
331  0x00000fff, 0x000fffbf, 0x000fffc0, 0x000fffff,
332  0x00001fff, 0x001fff7f, 0x001fff80, 0x001fffff,
333  0x00003fff, 0x003ffeff, 0x003fff00, 0x003fffff,
334  0x00007fff, 0x007ffdff, 0x007ffe00, 0x007fffff,
335  0x0000ffff, 0x00fffbff, 0x00fffc00, 0x00ffffff,
336  0x0001ffff, 0x01fff7ff, 0x01fff800, 0x01ffffff,
337  0x0003ffff, 0x03ffefff, 0x03fff000, 0x03ffffff,
338  0x0007ffff, 0x07ffdfff, 0x07ffe000, 0x07ffffff,
339  0x000fffff, 0x0fffbfff, 0x0fffc000, 0x0fffffff,
340  0x001fffff, 0x1fff7fff, 0x1fff8000, 0x1fffffff,
341  0x003fffff, 0x3ffeffff, 0x3fff0000, 0x3fffffff,
342  0x007fffff, 0x7ffdffff, 0x7ffe0000, 0x7fffffff,
343  0x00ffffff, 0xfffbffff, 0xfffc0000, 0xffffffff,
344  0x01ffffff, 0xfff7ffff, 0xfff80000, 0xffffffff,
345  0x03ffffff, 0xffefffff, 0xfff00000, 0xffffffff,
346  0x07ffffff, 0xffdfffff, 0xffe00000, 0xffffffff,
347  0x0fffffff, 0xffbfffff, 0xffc00000, 0xffffffff,
348  0x1fffffff, 0xff7fffff, 0xff800000, 0xffffffff,
349  0x3fffffff, 0xfeffffff, 0xff000000, 0xffffffff,
350  0x7fffffff, 0xfdffffff, 0xfe000000, 0xffffffff,
351  0xffffffff, 0xfbffffff, 0xfc000000, 0xffffffff,
352  0xffffffff, 0xf7ffffff, 0xf8000000, 0xffffffff,
353  0xffffffff, 0xefffffff, 0xf0000000, 0xffffffff,
354  0xffffffff, 0xdfffffff, 0xe0000000, 0xffffffff,
355  0xffffffff, 0xbfffffff, 0xc0000000, 0xffffffff,
356  0xffffffff, 0x7fffffff, 0x80000000, 0xffffffff,
357  0xffffffff, 0xffffffff, 0x00000000, 0xffffffff,
358  0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
359  0x0000fffb, 0x0000fffc, 0x0000ffff, 0x66666667,
360  0x0001fff7, 0x0001fff8, 0x0001ffff, 0xcccccccf,
361  0x0003ffef, 0x0003fff0, 0x0003ffff, 0x9999999f,
362  0x0007ffdf, 0x0007ffe0, 0x0007ffff, 0x3333333f,
363  0x000fffbf, 0x000fffc0, 0x000fffff, 0x6666667f,
364  0x001fff7f, 0x001fff80, 0x001fffff, 0xccccccff,
365  0x003ffeff, 0x003fff00, 0x003fffff, 0x999999ff,
366  0x007ffdff, 0x007ffe00, 0x007fffff, 0x333333ff,
367  0x00fffbff, 0x00fffc00, 0x00ffffff, 0x666667ff,
368  0x01fff7ff, 0x01fff800, 0x01ffffff, 0xcccccfff,
369  0x03ffefff, 0x03fff000, 0x03ffffff, 0x99999fff,
370  0x07ffdfff, 0x07ffe000, 0x07ffffff, 0x33333fff,
371  0x0fffbfff, 0x0fffc000, 0x0fffffff, 0x66667fff,
372  0x1fff7fff, 0x1fff8000, 0x1fffffff, 0xccccffff,
373  0x3ffeffff, 0x3fff0000, 0x3fffffff, 0x9999ffff,
374  0x7ffdffff, 0x7ffe0000, 0x7fffffff, 0x3333ffff,
375  0xfffbffff, 0xfffc0000, 0xffffffff, 0x6667ffff,
376  0xfff7ffff, 0xfff80000, 0xffffffff, 0xcccfffff,
377  0xffefffff, 0xfff00000, 0xffffffff, 0x999fffff,
378  0xffdfffff, 0xffe00000, 0xffffffff, 0x333fffff,
379  0xffbfffff, 0xffc00000, 0xffffffff, 0x667fffff,
380  0xff7fffff, 0xff800000, 0xffffffff, 0xccffffff,
381  0xfeffffff, 0xff000000, 0xffffffff, 0x99ffffff,
382  0xfdffffff, 0xfe000000, 0xffffffff, 0x33ffffff,
383  0xfbffffff, 0xfc000000, 0xffffffff, 0x67ffffff,
384  0xf7ffffff, 0xf8000000, 0xffffffff, 0xcfffffff,
385  0xefffffff, 0xf0000000, 0xffffffff, 0x9fffffff,
386  0xdfffffff, 0xe0000000, 0xffffffff, 0x3fffffff,
387  0xbfffffff, 0xc0000000, 0xffffffff, 0x7fffffff,
388  0x7fffffff, 0x80000000, 0xffffffff, 0xffffffff,
389  0xffffffff, 0x00000000, 0xffffffff, 0xffffffff,
390  0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
391  0x0000fffc, 0x0000ffff, 0x66666667, 0xaaaaaaab,
392  0x0001fff8, 0x0001ffff, 0xcccccccf, 0x55555557,
393  0x0003fff0, 0x0003ffff, 0x9999999f, 0xaaaaaaaf,
394  0x0007ffe0, 0x0007ffff, 0x3333333f, 0x5555555f,
395  0x000fffc0, 0x000fffff, 0x6666667f, 0xaaaaaabf,
396  0x001fff80, 0x001fffff, 0xccccccff, 0x5555557f,
397  0x003fff00, 0x003fffff, 0x999999ff, 0xaaaaaaff,
398  0x007ffe00, 0x007fffff, 0x333333ff, 0x555555ff,
399  0x00fffc00, 0x00ffffff, 0x666667ff, 0xaaaaabff,
400  0x01fff800, 0x01ffffff, 0xcccccfff, 0x555557ff,
401  0x03fff000, 0x03ffffff, 0x99999fff, 0xaaaaafff,
402  0x07ffe000, 0x07ffffff, 0x33333fff, 0x55555fff,
403  0x0fffc000, 0x0fffffff, 0x66667fff, 0xaaaabfff,
404  0x1fff8000, 0x1fffffff, 0xccccffff, 0x55557fff,
405  0x3fff0000, 0x3fffffff, 0x9999ffff, 0xaaaaffff,
406  0x7ffe0000, 0x7fffffff, 0x3333ffff, 0x5555ffff,
407  0xfffc0000, 0xffffffff, 0x6667ffff, 0xaaabffff,
408  0xfff80000, 0xffffffff, 0xcccfffff, 0x5557ffff,
409  0xfff00000, 0xffffffff, 0x999fffff, 0xaaafffff,
410  0xffe00000, 0xffffffff, 0x333fffff, 0x555fffff,
411  0xffc00000, 0xffffffff, 0x667fffff, 0xaabfffff,
412  0xff800000, 0xffffffff, 0xccffffff, 0x557fffff,
413  0xff000000, 0xffffffff, 0x99ffffff, 0xaaffffff,
414  0xfe000000, 0xffffffff, 0x33ffffff, 0x55ffffff,
415  0xfc000000, 0xffffffff, 0x67ffffff, 0xabffffff,
416  0xf8000000, 0xffffffff, 0xcfffffff, 0x57ffffff,
417  0xf0000000, 0xffffffff, 0x9fffffff, 0xafffffff,
418  0xe0000000, 0xffffffff, 0x3fffffff, 0x5fffffff,
419  0xc0000000, 0xffffffff, 0x7fffffff, 0xbfffffff,
420  0x80000000, 0xffffffff, 0xffffffff, 0x7fffffff,
421  0x00000000, 0xffffffff, 0xffffffff, 0xffffffff,
422  0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
423  0x0000ffff, 0x66666667, 0xaaaaaaab, 0xfffffffb,
424  0x0001ffff, 0xcccccccf, 0x55555557, 0xfffffff7,
425  0x0003ffff, 0x9999999f, 0xaaaaaaaf, 0xffffffef,
426  0x0007ffff, 0x3333333f, 0x5555555f, 0xffffffdf,
427  0x000fffff, 0x6666667f, 0xaaaaaabf, 0xffffffbf,
428  0x001fffff, 0xccccccff, 0x5555557f, 0xffffff7f,
429  0x003fffff, 0x999999ff, 0xaaaaaaff, 0xfffffeff,
430  0x007fffff, 0x333333ff, 0x555555ff, 0xfffffdff,
431  0x00ffffff, 0x666667ff, 0xaaaaabff, 0xfffffbff,
432  0x01ffffff, 0xcccccfff, 0x555557ff, 0xfffff7ff,
433  0x03ffffff, 0x99999fff, 0xaaaaafff, 0xffffefff,
434  0x07ffffff, 0x33333fff, 0x55555fff, 0xffffdfff,
435  0x0fffffff, 0x66667fff, 0xaaaabfff, 0xffffbfff,
436  0x1fffffff, 0xccccffff, 0x55557fff, 0xffff7fff,
437  0x3fffffff, 0x9999ffff, 0xaaaaffff, 0xfffeffff,
438  0x7fffffff, 0x3333ffff, 0x5555ffff, 0xfffdffff,
439  0xffffffff, 0x6667ffff, 0xaaabffff, 0xfffbffff,
440  0xffffffff, 0xcccfffff, 0x5557ffff, 0xfff7ffff,
441  0xffffffff, 0x999fffff, 0xaaafffff, 0xffefffff,
442  0xffffffff, 0x333fffff, 0x555fffff, 0xffdfffff,
443  0xffffffff, 0x667fffff, 0xaabfffff, 0xffbfffff,
444  0xffffffff, 0xccffffff, 0x557fffff, 0xff7fffff,
445  0xffffffff, 0x99ffffff, 0xaaffffff, 0xfeffffff,
446  0xffffffff, 0x33ffffff, 0x55ffffff, 0xfdffffff,
447  0xffffffff, 0x67ffffff, 0xabffffff, 0xfbffffff,
448  0xffffffff, 0xcfffffff, 0x57ffffff, 0xf7ffffff,
449  0xffffffff, 0x9fffffff, 0xafffffff, 0xefffffff,
450  0xffffffff, 0x3fffffff, 0x5fffffff, 0xdfffffff,
451  0xffffffff, 0x7fffffff, 0xbfffffff, 0xbfffffff,
452  0xffffffff, 0xffffffff, 0x7fffffff, 0x7fffffff,
453  0xffffffff, 0xffffffff, 0xffffffff, 0xffffffff,
454  0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
455  0x66666667, 0xaaaaaaab, 0xfffffffb, 0xfffffffc,
456  0xcccccccf, 0x55555557, 0xfffffff7, 0xfffffff8,
457  0x9999999f, 0xaaaaaaaf, 0xffffffef, 0xfffffff0,
458  0x3333333f, 0x5555555f, 0xffffffdf, 0xffffffe0,
459  0x6666667f, 0xaaaaaabf, 0xffffffbf, 0xffffffc0,
460  0xccccccff, 0x5555557f, 0xffffff7f, 0xffffff80,
461  0x999999ff, 0xaaaaaaff, 0xfffffeff, 0xffffff00,
462  0x333333ff, 0x555555ff, 0xfffffdff, 0xfffffe00,
463  0x666667ff, 0xaaaaabff, 0xfffffbff, 0xfffffc00,
464  0xcccccfff, 0x555557ff, 0xfffff7ff, 0xfffff800,
465  0x99999fff, 0xaaaaafff, 0xffffefff, 0xfffff000,
466  0x33333fff, 0x55555fff, 0xffffdfff, 0xffffe000,
467  0x66667fff, 0xaaaabfff, 0xffffbfff, 0xffffc000,
468  0xccccffff, 0x55557fff, 0xffff7fff, 0xffff8000,
469  0x9999ffff, 0xaaaaffff, 0xfffeffff, 0xffff0000,
470  0x3333ffff, 0x5555ffff, 0xfffdffff, 0xfffe0000,
471  0x6667ffff, 0xaaabffff, 0xfffbffff, 0xfffc0000,
472  0xcccfffff, 0x5557ffff, 0xfff7ffff, 0xfff80000,
473  0x999fffff, 0xaaafffff, 0xffefffff, 0xfff00000,
474  0x333fffff, 0x555fffff, 0xffdfffff, 0xffe00000,
475  0x667fffff, 0xaabfffff, 0xffbfffff, 0xffc00000,
476  0xccffffff, 0x557fffff, 0xff7fffff, 0xff800000,
477  0x99ffffff, 0xaaffffff, 0xfeffffff, 0xff000000,
478  0x33ffffff, 0x55ffffff, 0xfdffffff, 0xfe000000,
479  0x67ffffff, 0xabffffff, 0xfbffffff, 0xfc000000,
480  0xcfffffff, 0x57ffffff, 0xf7ffffff, 0xf8000000,
481  0x9fffffff, 0xafffffff, 0xefffffff, 0xf0000000,
482  0x3fffffff, 0x5fffffff, 0xdfffffff, 0xe0000000,
483  0x7fffffff, 0xbfffffff, 0xbfffffff, 0xc0000000,
484  0xffffffff, 0x7fffffff, 0x7fffffff, 0x80000000,
485  0xffffffff, 0xffffffff, 0xffffffff, 0x00000000,
486  0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
487  0xaaaaaaab, 0xfffffffb, 0xfffffffc, 0xffffffff,
488  0x55555557, 0xfffffff7, 0xfffffff8, 0xffffffff,
489  0xaaaaaaaf, 0xffffffef, 0xfffffff0, 0xffffffff,
490  0x5555555f, 0xffffffdf, 0xffffffe0, 0xffffffff,
491  0xaaaaaabf, 0xffffffbf, 0xffffffc0, 0xffffffff,
492  0x5555557f, 0xffffff7f, 0xffffff80, 0xffffffff,
493  0xaaaaaaff, 0xfffffeff, 0xffffff00, 0xffffffff,
494  0x555555ff, 0xfffffdff, 0xfffffe00, 0xffffffff,
495  0xaaaaabff, 0xfffffbff, 0xfffffc00, 0xffffffff,
496  0x555557ff, 0xfffff7ff, 0xfffff800, 0xffffffff,
497  0xaaaaafff, 0xffffefff, 0xfffff000, 0xffffffff,
498  0x55555fff, 0xffffdfff, 0xffffe000, 0xffffffff,
499  0xaaaabfff, 0xffffbfff, 0xffffc000, 0xffffffff,
500  0x55557fff, 0xffff7fff, 0xffff8000, 0xffffffff,
501  0xaaaaffff, 0xfffeffff, 0xffff0000, 0xffffffff,
502  0x5555ffff, 0xfffdffff, 0xfffe0000, 0xffffffff,
503  0xaaabffff, 0xfffbffff, 0xfffc0000, 0xffffffff,
504  0x5557ffff, 0xfff7ffff, 0xfff80000, 0xffffffff,
505  0xaaafffff, 0xffefffff, 0xfff00000, 0xffffffff,
506  0x555fffff, 0xffdfffff, 0xffe00000, 0xffffffff,
507  0xaabfffff, 0xffbfffff, 0xffc00000, 0xffffffff,
508  0x557fffff, 0xff7fffff, 0xff800000, 0xffffffff,
509  0xaaffffff, 0xfeffffff, 0xff000000, 0xffffffff,
510  0x55ffffff, 0xfdffffff, 0xfe000000, 0xffffffff,
511  0xabffffff, 0xfbffffff, 0xfc000000, 0xffffffff,
512  0x57ffffff, 0xf7ffffff, 0xf8000000, 0xffffffff,
513  0xafffffff, 0xefffffff, 0xf0000000, 0xffffffff,
514  0x5fffffff, 0xdfffffff, 0xe0000000, 0xffffffff,
515  0xbfffffff, 0xbfffffff, 0xc0000000, 0xffffffff,
516  0x7fffffff, 0x7fffffff, 0x80000000, 0xffffffff,
517  0xffffffff, 0xffffffff, 0x00000000, 0xffffffff,
518  0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
519  0xfffffffb, 0xfffffffc, 0xffffffff, 0x00000000,
520  0xfffffff7, 0xfffffff8, 0xffffffff, 0x00000000,
521  0xffffffef, 0xfffffff0, 0xffffffff, 0x00000000,
522  0xffffffdf, 0xffffffe0, 0xffffffff, 0x00000000,
523  0xffffffbf, 0xffffffc0, 0xffffffff, 0x00000000,
524  0xffffff7f, 0xffffff80, 0xffffffff, 0x00000000,
525  0xfffffeff, 0xffffff00, 0xffffffff, 0x00000000,
526  0xfffffdff, 0xfffffe00, 0xffffffff, 0x00000000,
527  0xfffffbff, 0xfffffc00, 0xffffffff, 0x00000000,
528  0xfffff7ff, 0xfffff800, 0xffffffff, 0x00000000,
529  0xffffefff, 0xfffff000, 0xffffffff, 0x00000000,
530  0xffffdfff, 0xffffe000, 0xffffffff, 0x00000000,
531  0xffffbfff, 0xffffc000, 0xffffffff, 0x00000000,
532  0xffff7fff, 0xffff8000, 0xffffffff, 0x00000000,
533  0xfffeffff, 0xffff0000, 0xffffffff, 0x00000000,
534  0xfffdffff, 0xfffe0000, 0xffffffff, 0x00000000,
535  0xfffbffff, 0xfffc0000, 0xffffffff, 0x00000000,
536  0xfff7ffff, 0xfff80000, 0xffffffff, 0x00000000,
537  0xffefffff, 0xfff00000, 0xffffffff, 0x00000000,
538  0xffdfffff, 0xffe00000, 0xffffffff, 0x00000000,
539  0xffbfffff, 0xffc00000, 0xffffffff, 0x00000000,
540  0xff7fffff, 0xff800000, 0xffffffff, 0x00000000,
541  0xfeffffff, 0xff000000, 0xffffffff, 0x00000000,
542  0xfdffffff, 0xfe000000, 0xffffffff, 0x00000000,
543  0xfbffffff, 0xfc000000, 0xffffffff, 0x00000000,
544  0xf7ffffff, 0xf8000000, 0xffffffff, 0x00000000,
545  0xefffffff, 0xf0000000, 0xffffffff, 0x00000000,
546  0xdfffffff, 0xe0000000, 0xffffffff, 0x00000000,
547  0xbfffffff, 0xc0000000, 0xffffffff, 0x00000000,
548  0x7fffffff, 0x80000000, 0xffffffff, 0x00000000,
549  0xffffffff, 0x00000000, 0xffffffff, 0x00000000,
550  0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
551  0xfffffffc, 0xffffffff, 0x00000000, 0x00000003,
552  0xfffffff8, 0xffffffff, 0x00000000, 0x00000007,
553  0xfffffff0, 0xffffffff, 0x00000000, 0x0000000f,
554  0xffffffe0, 0xffffffff, 0x00000000, 0x0000001f,
555  0xffffffc0, 0xffffffff, 0x00000000, 0x0000003f,
556  0xffffff80, 0xffffffff, 0x00000000, 0x0000007f,
557  0xffffff00, 0xffffffff, 0x00000000, 0x000000ff,
558  0xfffffe00, 0xffffffff, 0x00000000, 0x000001ff,
559  0xfffffc00, 0xffffffff, 0x00000000, 0x000003ff,
560  0xfffff800, 0xffffffff, 0x00000000, 0x000007ff,
561  0xfffff000, 0xffffffff, 0x00000000, 0x00000fff,
562  0xffffe000, 0xffffffff, 0x00000000, 0x00001fff,
563  0xffffc000, 0xffffffff, 0x00000000, 0x00003fff,
564  0xffff8000, 0xffffffff, 0x00000000, 0x00007fff,
565  0xffff0000, 0xffffffff, 0x00000000, 0x0000ffff,
566  0xfffe0000, 0xffffffff, 0x00000000, 0x0001ffff,
567  0xfffc0000, 0xffffffff, 0x00000000, 0x0003ffff,
568  0xfff80000, 0xffffffff, 0x00000000, 0x0007ffff,
569  0xfff00000, 0xffffffff, 0x00000000, 0x000fffff,
570  0xffe00000, 0xffffffff, 0x00000000, 0x001fffff,
571  0xffc00000, 0xffffffff, 0x00000000, 0x003fffff,
572  0xff800000, 0xffffffff, 0x00000000, 0x007fffff,
573  0xff000000, 0xffffffff, 0x00000000, 0x00ffffff,
574  0xfe000000, 0xffffffff, 0x00000000, 0x01ffffff,
575  0xfc000000, 0xffffffff, 0x00000000, 0x03ffffff,
576  0xf8000000, 0xffffffff, 0x00000000, 0x07ffffff,
577  0xf0000000, 0xffffffff, 0x00000000, 0x0fffffff,
578  0xe0000000, 0xffffffff, 0x00000000, 0x1fffffff,
579  0xc0000000, 0xffffffff, 0x00000000, 0x3fffffff,
580  0x80000000, 0xffffffff, 0x00000000, 0x7fffffff,
581  0x00000000, 0xffffffff, 0x00000000, 0xffffffff,
582  0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
583  0xffffffff, 0x00000000, 0x00000003, 0x55555554,
584  0xffffffff, 0x00000000, 0x00000007, 0xaaaaaaa8,
585  0xffffffff, 0x00000000, 0x0000000f, 0x55555550,
586  0xffffffff, 0x00000000, 0x0000001f, 0xaaaaaaa0,
587  0xffffffff, 0x00000000, 0x0000003f, 0x55555540,
588  0xffffffff, 0x00000000, 0x0000007f, 0xaaaaaa80,
589  0xffffffff, 0x00000000, 0x000000ff, 0x55555500,
590  0xffffffff, 0x00000000, 0x000001ff, 0xaaaaaa00,
591  0xffffffff, 0x00000000, 0x000003ff, 0x55555400,
592  0xffffffff, 0x00000000, 0x000007ff, 0xaaaaa800,
593  0xffffffff, 0x00000000, 0x00000fff, 0x55555000,
594  0xffffffff, 0x00000000, 0x00001fff, 0xaaaaa000,
595  0xffffffff, 0x00000000, 0x00003fff, 0x55554000,
596  0xffffffff, 0x00000000, 0x00007fff, 0xaaaa8000,
597  0xffffffff, 0x00000000, 0x0000ffff, 0x55550000,
598  0xffffffff, 0x00000000, 0x0001ffff, 0xaaaa0000,
599  0xffffffff, 0x00000000, 0x0003ffff, 0x55540000,
600  0xffffffff, 0x00000000, 0x0007ffff, 0xaaa80000,
601  0xffffffff, 0x00000000, 0x000fffff, 0x55500000,
602  0xffffffff, 0x00000000, 0x001fffff, 0xaaa00000,
603  0xffffffff, 0x00000000, 0x003fffff, 0x55400000,
604  0xffffffff, 0x00000000, 0x007fffff, 0xaa800000,
605  0xffffffff, 0x00000000, 0x00ffffff, 0x55000000,
606  0xffffffff, 0x00000000, 0x01ffffff, 0xaa000000,
607  0xffffffff, 0x00000000, 0x03ffffff, 0x54000000,
608  0xffffffff, 0x00000000, 0x07ffffff, 0xa8000000,
609  0xffffffff, 0x00000000, 0x0fffffff, 0x50000000,
610  0xffffffff, 0x00000000, 0x1fffffff, 0xa0000000,
611  0xffffffff, 0x00000000, 0x3fffffff, 0x40000000,
612  0xffffffff, 0x00000000, 0x7fffffff, 0x80000000,
613  0xffffffff, 0x00000000, 0xffffffff, 0x00000000,
614  0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
615  0x00000000, 0x00000003, 0x55555554, 0x99999998,
616  0x00000000, 0x00000007, 0xaaaaaaa8, 0x33333330,
617  0x00000000, 0x0000000f, 0x55555550, 0x66666660,
618  0x00000000, 0x0000001f, 0xaaaaaaa0, 0xccccccc0,
619  0x00000000, 0x0000003f, 0x55555540, 0x99999980,
620  0x00000000, 0x0000007f, 0xaaaaaa80, 0x33333300,
621  0x00000000, 0x000000ff, 0x55555500, 0x66666600,
622  0x00000000, 0x000001ff, 0xaaaaaa00, 0xcccccc00,
623  0x00000000, 0x000003ff, 0x55555400, 0x99999800,
624  0x00000000, 0x000007ff, 0xaaaaa800, 0x33333000,
625  0x00000000, 0x00000fff, 0x55555000, 0x66666000,
626  0x00000000, 0x00001fff, 0xaaaaa000, 0xccccc000,
627  0x00000000, 0x00003fff, 0x55554000, 0x99998000,
628  0x00000000, 0x00007fff, 0xaaaa8000, 0x33330000,
629  0x00000000, 0x0000ffff, 0x55550000, 0x66660000,
630  0x00000000, 0x0001ffff, 0xaaaa0000, 0xcccc0000,
631  0x00000000, 0x0003ffff, 0x55540000, 0x99980000,
632  0x00000000, 0x0007ffff, 0xaaa80000, 0x33300000,
633  0x00000000, 0x000fffff, 0x55500000, 0x66600000,
634  0x00000000, 0x001fffff, 0xaaa00000, 0xccc00000,
635  0x00000000, 0x003fffff, 0x55400000, 0x99800000,
636  0x00000000, 0x007fffff, 0xaa800000, 0x33000000,
637  0x00000000, 0x00ffffff, 0x55000000, 0x66000000,
638  0x00000000, 0x01ffffff, 0xaa000000, 0xcc000000,
639  0x00000000, 0x03ffffff, 0x54000000, 0x98000000,
640  0x00000000, 0x07ffffff, 0xa8000000, 0x30000000,
641  0x00000000, 0x0fffffff, 0x50000000, 0x60000000,
642  0x00000000, 0x1fffffff, 0xa0000000, 0xc0000000,
643  0x00000000, 0x3fffffff, 0x40000000, 0x80000000,
644  0x00000000, 0x7fffffff, 0x80000000, 0x00000000,
645  0x00000000, 0xffffffff, 0x00000000, 0x00000000,
646  0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
647  0x00000003, 0x55555554, 0x99999998, 0xffff0000,
648  0x00000007, 0xaaaaaaa8, 0x33333330, 0xfffe0000,
649  0x0000000f, 0x55555550, 0x66666660, 0xfffc0000,
650  0x0000001f, 0xaaaaaaa0, 0xccccccc0, 0xfff80000,
651  0x0000003f, 0x55555540, 0x99999980, 0xfff00000,
652  0x0000007f, 0xaaaaaa80, 0x33333300, 0xffe00000,
653  0x000000ff, 0x55555500, 0x66666600, 0xffc00000,
654  0x000001ff, 0xaaaaaa00, 0xcccccc00, 0xff800000,
655  0x000003ff, 0x55555400, 0x99999800, 0xff000000,
656  0x000007ff, 0xaaaaa800, 0x33333000, 0xfe000000,
657  0x00000fff, 0x55555000, 0x66666000, 0xfc000000,
658  0x00001fff, 0xaaaaa000, 0xccccc000, 0xf8000000,
659  0x00003fff, 0x55554000, 0x99998000, 0xf0000000,
660  0x00007fff, 0xaaaa8000, 0x33330000, 0xe0000000,
661  0x0000ffff, 0x55550000, 0x66660000, 0xc0000000,
662  0x0001ffff, 0xaaaa0000, 0xcccc0000, 0x80000000,
663  0x0003ffff, 0x55540000, 0x99980000, 0x00000000,
664  0x0007ffff, 0xaaa80000, 0x33300000, 0x00000000,
665  0x000fffff, 0x55500000, 0x66600000, 0x00000000,
666  0x001fffff, 0xaaa00000, 0xccc00000, 0x00000000,
667  0x003fffff, 0x55400000, 0x99800000, 0x00000000,
668  0x007fffff, 0xaa800000, 0x33000000, 0x00000000,
669  0x00ffffff, 0x55000000, 0x66000000, 0x00000000,
670  0x01ffffff, 0xaa000000, 0xcc000000, 0x00000000,
671  0x03ffffff, 0x54000000, 0x98000000, 0x00000000,
672  0x07ffffff, 0xa8000000, 0x30000000, 0x00000000,
673  0x0fffffff, 0x50000000, 0x60000000, 0x00000000,
674  0x1fffffff, 0xa0000000, 0xc0000000, 0x00000000,
675  0x3fffffff, 0x40000000, 0x80000000, 0x00000000,
676  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
677  0xffffffff, 0x00000000, 0x00000000, 0x00000000,
678  0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
679  0x55555554, 0x99999998, 0xffff0000, 0xffff0003,
680  0xaaaaaaa8, 0x33333330, 0xfffe0000, 0xfffe0007,
681  0x55555550, 0x66666660, 0xfffc0000, 0xfffc000f,
682  0xaaaaaaa0, 0xccccccc0, 0xfff80000, 0xfff8001f,
683  0x55555540, 0x99999980, 0xfff00000, 0xfff0003f,
684  0xaaaaaa80, 0x33333300, 0xffe00000, 0xffe0007f,
685  0x55555500, 0x66666600, 0xffc00000, 0xffc000ff,
686  0xaaaaaa00, 0xcccccc00, 0xff800000, 0xff8001ff,
687  0x55555400, 0x99999800, 0xff000000, 0xff0003ff,
688  0xaaaaa800, 0x33333000, 0xfe000000, 0xfe0007ff,
689  0x55555000, 0x66666000, 0xfc000000, 0xfc000fff,
690  0xaaaaa000, 0xccccc000, 0xf8000000, 0xf8001fff,
691  0x55554000, 0x99998000, 0xf0000000, 0xf0003fff,
692  0xaaaa8000, 0x33330000, 0xe0000000, 0xe0007fff,
693  0x55550000, 0x66660000, 0xc0000000, 0xc000ffff,
694  0xaaaa0000, 0xcccc0000, 0x80000000, 0x8001ffff,
695  0x55540000, 0x99980000, 0x00000000, 0x0003ffff,
696  0xaaa80000, 0x33300000, 0x00000000, 0x0007ffff,
697  0x55500000, 0x66600000, 0x00000000, 0x000fffff,
698  0xaaa00000, 0xccc00000, 0x00000000, 0x001fffff,
699  0x55400000, 0x99800000, 0x00000000, 0x003fffff,
700  0xaa800000, 0x33000000, 0x00000000, 0x007fffff,
701  0x55000000, 0x66000000, 0x00000000, 0x00ffffff,
702  0xaa000000, 0xcc000000, 0x00000000, 0x01ffffff,
703  0x54000000, 0x98000000, 0x00000000, 0x03ffffff,
704  0xa8000000, 0x30000000, 0x00000000, 0x07ffffff,
705  0x50000000, 0x60000000, 0x00000000, 0x0fffffff,
706  0xa0000000, 0xc0000000, 0x00000000, 0x1fffffff,
707  0x40000000, 0x80000000, 0x00000000, 0x3fffffff,
708  0x80000000, 0x00000000, 0x00000000, 0x7fffffff,
709  0x00000000, 0x00000000, 0x00000000, 0xffffffff,
710  0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
711  0x99999998, 0xffff0000, 0xffff0003, 0xffff0004,
712  0x33333330, 0xfffe0000, 0xfffe0007, 0xfffe0008,
713  0x66666660, 0xfffc0000, 0xfffc000f, 0xfffc0010,
714  0xccccccc0, 0xfff80000, 0xfff8001f, 0xfff80020,
715  0x99999980, 0xfff00000, 0xfff0003f, 0xfff00040,
716  0x33333300, 0xffe00000, 0xffe0007f, 0xffe00080,
717  0x66666600, 0xffc00000, 0xffc000ff, 0xffc00100,
718  0xcccccc00, 0xff800000, 0xff8001ff, 0xff800200,
719  0x99999800, 0xff000000, 0xff0003ff, 0xff000400,
720  0x33333000, 0xfe000000, 0xfe0007ff, 0xfe000800,
721  0x66666000, 0xfc000000, 0xfc000fff, 0xfc001000,
722  0xccccc000, 0xf8000000, 0xf8001fff, 0xf8002000,
723  0x99998000, 0xf0000000, 0xf0003fff, 0xf0004000,
724  0x33330000, 0xe0000000, 0xe0007fff, 0xe0008000,
725  0x66660000, 0xc0000000, 0xc000ffff, 0xc0010000,
726  0xcccc0000, 0x80000000, 0x8001ffff, 0x80020000,
727  0x99980000, 0x00000000, 0x0003ffff, 0x00040000,
728  0x33300000, 0x00000000, 0x0007ffff, 0x00080000,
729  0x66600000, 0x00000000, 0x000fffff, 0x00100000,
730  0xccc00000, 0x00000000, 0x001fffff, 0x00200000,
731  0x99800000, 0x00000000, 0x003fffff, 0x00400000,
732  0x33000000, 0x00000000, 0x007fffff, 0x00800000,
733  0x66000000, 0x00000000, 0x00ffffff, 0x01000000,
734  0xcc000000, 0x00000000, 0x01ffffff, 0x02000000,
735  0x98000000, 0x00000000, 0x03ffffff, 0x04000000,
736  0x30000000, 0x00000000, 0x07ffffff, 0x08000000,
737  0x60000000, 0x00000000, 0x0fffffff, 0x10000000,
738  0xc0000000, 0x00000000, 0x1fffffff, 0x20000000,
739  0x80000000, 0x00000000, 0x3fffffff, 0x40000000,
740  0x00000000, 0x00000000, 0x7fffffff, 0x80000000,
741  0x00000000, 0x00000000, 0xffffffff, 0x00000000,
742  0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
743  0xffff0000, 0xffff0003, 0xffff0004, 0xffff0007,
744  0xfffe0000, 0xfffe0007, 0xfffe0008, 0xfffe000f,
745  0xfffc0000, 0xfffc000f, 0xfffc0010, 0xfffc001f,
746  0xfff80000, 0xfff8001f, 0xfff80020, 0xfff8003f,
747  0xfff00000, 0xfff0003f, 0xfff00040, 0xfff0007f,
748  0xffe00000, 0xffe0007f, 0xffe00080, 0xffe000ff,
749  0xffc00000, 0xffc000ff, 0xffc00100, 0xffc001ff,
750  0xff800000, 0xff8001ff, 0xff800200, 0xff8003ff,
751  0xff000000, 0xff0003ff, 0xff000400, 0xff0007ff,
752  0xfe000000, 0xfe0007ff, 0xfe000800, 0xfe000fff,
753  0xfc000000, 0xfc000fff, 0xfc001000, 0xfc001fff,
754  0xf8000000, 0xf8001fff, 0xf8002000, 0xf8003fff,
755  0xf0000000, 0xf0003fff, 0xf0004000, 0xf0007fff,
756  0xe0000000, 0xe0007fff, 0xe0008000, 0xe000ffff,
757  0xc0000000, 0xc000ffff, 0xc0010000, 0xc001ffff,
758  0x80000000, 0x8001ffff, 0x80020000, 0x8003ffff,
759  0x00000000, 0x0003ffff, 0x00040000, 0x0007ffff,
760  0x00000000, 0x0007ffff, 0x00080000, 0x000fffff,
761  0x00000000, 0x000fffff, 0x00100000, 0x001fffff,
762  0x00000000, 0x001fffff, 0x00200000, 0x003fffff,
763  0x00000000, 0x003fffff, 0x00400000, 0x007fffff,
764  0x00000000, 0x007fffff, 0x00800000, 0x00ffffff,
765  0x00000000, 0x00ffffff, 0x01000000, 0x01ffffff,
766  0x00000000, 0x01ffffff, 0x02000000, 0x03ffffff,
767  0x00000000, 0x03ffffff, 0x04000000, 0x07ffffff,
768  0x00000000, 0x07ffffff, 0x08000000, 0x0fffffff,
769  0x00000000, 0x0fffffff, 0x10000000, 0x1fffffff,
770  0x00000000, 0x1fffffff, 0x20000000, 0x3fffffff,
771  0x00000000, 0x3fffffff, 0x40000000, 0x7fffffff,
772  0x00000000, 0x7fffffff, 0x80000000, 0xffffffff,
773  0x00000000, 0xffffffff, 0x00000000, 0xffffffff,
774  0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
775  0xffff0003, 0xffff0004, 0xffff0007, 0xffffff00,
776  0xfffe0007, 0xfffe0008, 0xfffe000f, 0xfffffe00,
777  0xfffc000f, 0xfffc0010, 0xfffc001f, 0xfffffc00,
778  0xfff8001f, 0xfff80020, 0xfff8003f, 0xfffff800,
779  0xfff0003f, 0xfff00040, 0xfff0007f, 0xfffff000,
780  0xffe0007f, 0xffe00080, 0xffe000ff, 0xffffe000,
781  0xffc000ff, 0xffc00100, 0xffc001ff, 0xffffc000,
782  0xff8001ff, 0xff800200, 0xff8003ff, 0xffff8000,
783  0xff0003ff, 0xff000400, 0xff0007ff, 0xffff0000,
784  0xfe0007ff, 0xfe000800, 0xfe000fff, 0xfffe0000,
785  0xfc000fff, 0xfc001000, 0xfc001fff, 0xfffc0000,
786  0xf8001fff, 0xf8002000, 0xf8003fff, 0xfff80000,
787  0xf0003fff, 0xf0004000, 0xf0007fff, 0xfff00000,
788  0xe0007fff, 0xe0008000, 0xe000ffff, 0xffe00000,
789  0xc000ffff, 0xc0010000, 0xc001ffff, 0xffc00000,
790  0x8001ffff, 0x80020000, 0x8003ffff, 0xff800000,
791  0x0003ffff, 0x00040000, 0x0007ffff, 0xff000000,
792  0x0007ffff, 0x00080000, 0x000fffff, 0xfe000000,
793  0x000fffff, 0x00100000, 0x001fffff, 0xfc000000,
794  0x001fffff, 0x00200000, 0x003fffff, 0xf8000000,
795  0x003fffff, 0x00400000, 0x007fffff, 0xf0000000,
796  0x007fffff, 0x00800000, 0x00ffffff, 0xe0000000,
797  0x00ffffff, 0x01000000, 0x01ffffff, 0xc0000000,
798  0x01ffffff, 0x02000000, 0x03ffffff, 0x80000000,
799  0x03ffffff, 0x04000000, 0x07ffffff, 0x00000000,
800  0x07ffffff, 0x08000000, 0x0fffffff, 0x00000000,
801  0x0fffffff, 0x10000000, 0x1fffffff, 0x00000000,
802  0x1fffffff, 0x20000000, 0x3fffffff, 0x00000000,
803  0x3fffffff, 0x40000000, 0x7fffffff, 0x00000000,
804  0x7fffffff, 0x80000000, 0xffffffff, 0x00000000,
805  0xffffffff, 0x00000000, 0xffffffff, 0x00000000,
806  0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
807  0xffff0004, 0xffff0007, 0xffffff00, 0xffffff03,
808  0xfffe0008, 0xfffe000f, 0xfffffe00, 0xfffffe07,
809  0xfffc0010, 0xfffc001f, 0xfffffc00, 0xfffffc0f,
810  0xfff80020, 0xfff8003f, 0xfffff800, 0xfffff81f,
811  0xfff00040, 0xfff0007f, 0xfffff000, 0xfffff03f,
812  0xffe00080, 0xffe000ff, 0xffffe000, 0xffffe07f,
813  0xffc00100, 0xffc001ff, 0xffffc000, 0xffffc0ff,
814  0xff800200, 0xff8003ff, 0xffff8000, 0xffff81ff,
815  0xff000400, 0xff0007ff, 0xffff0000, 0xffff03ff,
816  0xfe000800, 0xfe000fff, 0xfffe0000, 0xfffe07ff,
817  0xfc001000, 0xfc001fff, 0xfffc0000, 0xfffc0fff,
818  0xf8002000, 0xf8003fff, 0xfff80000, 0xfff81fff,
819  0xf0004000, 0xf0007fff, 0xfff00000, 0xfff03fff,
820  0xe0008000, 0xe000ffff, 0xffe00000, 0xffe07fff,
821  0xc0010000, 0xc001ffff, 0xffc00000, 0xffc0ffff,
822  0x80020000, 0x8003ffff, 0xff800000, 0xff81ffff,
823  0x00040000, 0x0007ffff, 0xff000000, 0xff03ffff,
824  0x00080000, 0x000fffff, 0xfe000000, 0xfe07ffff,
825  0x00100000, 0x001fffff, 0xfc000000, 0xfc0fffff,
826  0x00200000, 0x003fffff, 0xf8000000, 0xf81fffff,
827  0x00400000, 0x007fffff, 0xf0000000, 0xf03fffff,
828  0x00800000, 0x00ffffff, 0xe0000000, 0xe07fffff,
829  0x01000000, 0x01ffffff, 0xc0000000, 0xc0ffffff,
830  0x02000000, 0x03ffffff, 0x80000000, 0x81ffffff,
831  0x04000000, 0x07ffffff, 0x00000000, 0x03ffffff,
832  0x08000000, 0x0fffffff, 0x00000000, 0x07ffffff,
833  0x10000000, 0x1fffffff, 0x00000000, 0x0fffffff,
834  0x20000000, 0x3fffffff, 0x00000000, 0x1fffffff,
835  0x40000000, 0x7fffffff, 0x00000000, 0x3fffffff,
836  0x80000000, 0xffffffff, 0x00000000, 0x7fffffff,
837  0x00000000, 0xffffffff, 0x00000000, 0xffffffff,
838  0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
839  0xffff0007, 0xffffff00, 0xffffff03, 0xffffff04,
840  0xfffe000f, 0xfffffe00, 0xfffffe07, 0xfffffe08,
841  0xfffc001f, 0xfffffc00, 0xfffffc0f, 0xfffffc10,
842  0xfff8003f, 0xfffff800, 0xfffff81f, 0xfffff820,
843  0xfff0007f, 0xfffff000, 0xfffff03f, 0xfffff040,
844  0xffe000ff, 0xffffe000, 0xffffe07f, 0xffffe080,
845  0xffc001ff, 0xffffc000, 0xffffc0ff, 0xffffc100,
846  0xff8003ff, 0xffff8000, 0xffff81ff, 0xffff8200,
847  0xff0007ff, 0xffff0000, 0xffff03ff, 0xffff0400,
848  0xfe000fff, 0xfffe0000, 0xfffe07ff, 0xfffe0800,
849  0xfc001fff, 0xfffc0000, 0xfffc0fff, 0xfffc1000,
850  0xf8003fff, 0xfff80000, 0xfff81fff, 0xfff82000,
851  0xf0007fff, 0xfff00000, 0xfff03fff, 0xfff04000,
852  0xe000ffff, 0xffe00000, 0xffe07fff, 0xffe08000,
853  0xc001ffff, 0xffc00000, 0xffc0ffff, 0xffc10000,
854  0x8003ffff, 0xff800000, 0xff81ffff, 0xff820000,
855  0x0007ffff, 0xff000000, 0xff03ffff, 0xff040000,
856  0x000fffff, 0xfe000000, 0xfe07ffff, 0xfe080000,
857  0x001fffff, 0xfc000000, 0xfc0fffff, 0xfc100000,
858  0x003fffff, 0xf8000000, 0xf81fffff, 0xf8200000,
859  0x007fffff, 0xf0000000, 0xf03fffff, 0xf0400000,
860  0x00ffffff, 0xe0000000, 0xe07fffff, 0xe0800000,
861  0x01ffffff, 0xc0000000, 0xc0ffffff, 0xc1000000,
862  0x03ffffff, 0x80000000, 0x81ffffff, 0x82000000,
863  0x07ffffff, 0x00000000, 0x03ffffff, 0x04000000,
864  0x0fffffff, 0x00000000, 0x07ffffff, 0x08000000,
865  0x1fffffff, 0x00000000, 0x0fffffff, 0x10000000,
866  0x3fffffff, 0x00000000, 0x1fffffff, 0x20000000,
867  0x7fffffff, 0x00000000, 0x3fffffff, 0x40000000,
868  0xffffffff, 0x00000000, 0x7fffffff, 0x80000000,
869  0xffffffff, 0x00000000, 0xffffffff, 0x00000000,
870  0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
871  0xffffff00, 0xffffff03, 0xffffff04, 0xffffff07,
872  0xfffffe00, 0xfffffe07, 0xfffffe08, 0xfffffe0f,
873  0xfffffc00, 0xfffffc0f, 0xfffffc10, 0xfffffc1f,
874  0xfffff800, 0xfffff81f, 0xfffff820, 0xfffff83f,
875  0xfffff000, 0xfffff03f, 0xfffff040, 0xfffff07f,
876  0xffffe000, 0xffffe07f, 0xffffe080, 0xffffe0ff,
877  0xffffc000, 0xffffc0ff, 0xffffc100, 0xffffc1ff,
878  0xffff8000, 0xffff81ff, 0xffff8200, 0xffff83ff,
879  0xffff0000, 0xffff03ff, 0xffff0400, 0xffff07ff,
880  0xfffe0000, 0xfffe07ff, 0xfffe0800, 0xfffe0fff,
881  0xfffc0000, 0xfffc0fff, 0xfffc1000, 0xfffc1fff,
882  0xfff80000, 0xfff81fff, 0xfff82000, 0xfff83fff,
883  0xfff00000, 0xfff03fff, 0xfff04000, 0xfff07fff,
884  0xffe00000, 0xffe07fff, 0xffe08000, 0xffe0ffff,
885  0xffc00000, 0xffc0ffff, 0xffc10000, 0xffc1ffff,
886  0xff800000, 0xff81ffff, 0xff820000, 0xff83ffff,
887  0xff000000, 0xff03ffff, 0xff040000, 0xff07ffff,
888  0xfe000000, 0xfe07ffff, 0xfe080000, 0xfe0fffff,
889  0xfc000000, 0xfc0fffff, 0xfc100000, 0xfc1fffff,
890  0xf8000000, 0xf81fffff, 0xf8200000, 0xf83fffff,
891  0xf0000000, 0xf03fffff, 0xf0400000, 0xf07fffff,
892  0xe0000000, 0xe07fffff, 0xe0800000, 0xe0ffffff,
893  0xc0000000, 0xc0ffffff, 0xc1000000, 0xc1ffffff,
894  0x80000000, 0x81ffffff, 0x82000000, 0x83ffffff,
895  0x00000000, 0x03ffffff, 0x04000000, 0x07ffffff,
896  0x00000000, 0x07ffffff, 0x08000000, 0x0fffffff,
897  0x00000000, 0x0fffffff, 0x10000000, 0x1fffffff,
898  0x00000000, 0x1fffffff, 0x20000000, 0x3fffffff,
899  0x00000000, 0x3fffffff, 0x40000000, 0x7fffffff,
900  0x00000000, 0x7fffffff, 0x80000000, 0xffffffff,
901  0x00000000, 0xffffffff, 0x00000000, 0xffffffff,
902  0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
903  0xffffff03, 0xffffff04, 0xffffff07, 0xffffffc0,
904  0xfffffe07, 0xfffffe08, 0xfffffe0f, 0xffffff80,
905  0xfffffc0f, 0xfffffc10, 0xfffffc1f, 0xffffff00,
906  0xfffff81f, 0xfffff820, 0xfffff83f, 0xfffffe00,
907  0xfffff03f, 0xfffff040, 0xfffff07f, 0xfffffc00,
908  0xffffe07f, 0xffffe080, 0xffffe0ff, 0xfffff800,
909  0xffffc0ff, 0xffffc100, 0xffffc1ff, 0xfffff000,
910  0xffff81ff, 0xffff8200, 0xffff83ff, 0xffffe000,
911  0xffff03ff, 0xffff0400, 0xffff07ff, 0xffffc000,
912  0xfffe07ff, 0xfffe0800, 0xfffe0fff, 0xffff8000,
913  0xfffc0fff, 0xfffc1000, 0xfffc1fff, 0xffff0000,
914  0xfff81fff, 0xfff82000, 0xfff83fff, 0xfffe0000,
915  0xfff03fff, 0xfff04000, 0xfff07fff, 0xfffc0000,
916  0xffe07fff, 0xffe08000, 0xffe0ffff, 0xfff80000,
917  0xffc0ffff, 0xffc10000, 0xffc1ffff, 0xfff00000,
918  0xff81ffff, 0xff820000, 0xff83ffff, 0xffe00000,
919  0xff03ffff, 0xff040000, 0xff07ffff, 0xffc00000,
920  0xfe07ffff, 0xfe080000, 0xfe0fffff, 0xff800000,
921  0xfc0fffff, 0xfc100000, 0xfc1fffff, 0xff000000,
922  0xf81fffff, 0xf8200000, 0xf83fffff, 0xfe000000,
923  0xf03fffff, 0xf0400000, 0xf07fffff, 0xfc000000,
924  0xe07fffff, 0xe0800000, 0xe0ffffff, 0xf8000000,
925  0xc0ffffff, 0xc1000000, 0xc1ffffff, 0xf0000000,
926  0x81ffffff, 0x82000000, 0x83ffffff, 0xe0000000,
927  0x03ffffff, 0x04000000, 0x07ffffff, 0xc0000000,
928  0x07ffffff, 0x08000000, 0x0fffffff, 0x80000000,
929  0x0fffffff, 0x10000000, 0x1fffffff, 0x00000000,
930  0x1fffffff, 0x20000000, 0x3fffffff, 0x00000000,
931  0x3fffffff, 0x40000000, 0x7fffffff, 0x00000000,
932  0x7fffffff, 0x80000000, 0xffffffff, 0x00000000,
933  0xffffffff, 0x00000000, 0xffffffff, 0x00000000,
934  0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
935  0xffffff04, 0xffffff07, 0xffffffc0, 0xfffffffb,
936  0xfffffe08, 0xfffffe0f, 0xffffff80, 0xfffffff7,
937  0xfffffc10, 0xfffffc1f, 0xffffff00, 0xffffffef,
938  0xfffff820, 0xfffff83f, 0xfffffe00, 0xffffffdf,
939  0xfffff040, 0xfffff07f, 0xfffffc00, 0xffffffbf,
940  0xffffe080, 0xffffe0ff, 0xfffff800, 0xffffff7f,
941  0xffffc100, 0xffffc1ff, 0xfffff000, 0xfffffeff,
942  0xffff8200, 0xffff83ff, 0xffffe000, 0xfffffdff,
943  0xffff0400, 0xffff07ff, 0xffffc000, 0xfffffbff,
944  0xfffe0800, 0xfffe0fff, 0xffff8000, 0xfffff7ff,
945  0xfffc1000, 0xfffc1fff, 0xffff0000, 0xffffefff,
946  0xfff82000, 0xfff83fff, 0xfffe0000, 0xffffdfff,
947  0xfff04000, 0xfff07fff, 0xfffc0000, 0xffffbfff,
948  0xffe08000, 0xffe0ffff, 0xfff80000, 0xffff7fff,
949  0xffc10000, 0xffc1ffff, 0xfff00000, 0xfffeffff,
950  0xff820000, 0xff83ffff, 0xffe00000, 0xfffdffff,
951  0xff040000, 0xff07ffff, 0xffc00000, 0xfffbffff,
952  0xfe080000, 0xfe0fffff, 0xff800000, 0xfff7ffff,
953  0xfc100000, 0xfc1fffff, 0xff000000, 0xffefffff,
954  0xf8200000, 0xf83fffff, 0xfe000000, 0xffdfffff,
955  0xf0400000, 0xf07fffff, 0xfc000000, 0xffbfffff,
956  0xe0800000, 0xe0ffffff, 0xf8000000, 0xff7fffff,
957  0xc1000000, 0xc1ffffff, 0xf0000000, 0xfeffffff,
958  0x82000000, 0x83ffffff, 0xe0000000, 0xfdffffff,
959  0x04000000, 0x07ffffff, 0xc0000000, 0xfbffffff,
960  0x08000000, 0x0fffffff, 0x80000000, 0xf7ffffff,
961  0x10000000, 0x1fffffff, 0x00000000, 0xefffffff,
962  0x20000000, 0x3fffffff, 0x00000000, 0xdfffffff,
963  0x40000000, 0x7fffffff, 0x00000000, 0xbfffffff,
964  0x80000000, 0xffffffff, 0x00000000, 0x7fffffff,
965  0x00000000, 0xffffffff, 0x00000000, 0xffffffff,
966  0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
967  0xffffff07, 0xffffffc0, 0xfffffffb, 0xfffffffc,
968  0xfffffe0f, 0xffffff80, 0xfffffff7, 0xfffffff8,
969  0xfffffc1f, 0xffffff00, 0xffffffef, 0xfffffff0,
970  0xfffff83f, 0xfffffe00, 0xffffffdf, 0xffffffe0,
971  0xfffff07f, 0xfffffc00, 0xffffffbf, 0xffffffc0,
972  0xffffe0ff, 0xfffff800, 0xffffff7f, 0xffffff80,
973  0xffffc1ff, 0xfffff000, 0xfffffeff, 0xffffff00,
974  0xffff83ff, 0xffffe000, 0xfffffdff, 0xfffffe00,
975  0xffff07ff, 0xffffc000, 0xfffffbff, 0xfffffc00,
976  0xfffe0fff, 0xffff8000, 0xfffff7ff, 0xfffff800,
977  0xfffc1fff, 0xffff0000, 0xffffefff, 0xfffff000,
978  0xfff83fff, 0xfffe0000, 0xffffdfff, 0xffffe000,
979  0xfff07fff, 0xfffc0000, 0xffffbfff, 0xffffc000,
980  0xffe0ffff, 0xfff80000, 0xffff7fff, 0xffff8000,
981  0xffc1ffff, 0xfff00000, 0xfffeffff, 0xffff0000,
982  0xff83ffff, 0xffe00000, 0xfffdffff, 0xfffe0000,
983  0xff07ffff, 0xffc00000, 0xfffbffff, 0xfffc0000,
984  0xfe0fffff, 0xff800000, 0xfff7ffff, 0xfff80000,
985  0xfc1fffff, 0xff000000, 0xffefffff, 0xfff00000,
986  0xf83fffff, 0xfe000000, 0xffdfffff, 0xffe00000,
987  0xf07fffff, 0xfc000000, 0xffbfffff, 0xffc00000,
988  0xe0ffffff, 0xf8000000, 0xff7fffff, 0xff800000,
989  0xc1ffffff, 0xf0000000, 0xfeffffff, 0xff000000,
990  0x83ffffff, 0xe0000000, 0xfdffffff, 0xfe000000,
991  0x07ffffff, 0xc0000000, 0xfbffffff, 0xfc000000,
992  0x0fffffff, 0x80000000, 0xf7ffffff, 0xf8000000,
993  0x1fffffff, 0x00000000, 0xefffffff, 0xf0000000,
994  0x3fffffff, 0x00000000, 0xdfffffff, 0xe0000000,
995  0x7fffffff, 0x00000000, 0xbfffffff, 0xc0000000,
996  0xffffffff, 0x00000000, 0x7fffffff, 0x80000000,
997  0xffffffff, 0x00000000, 0xffffffff, 0x00000000,
998  0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
999  0xffffffc0, 0xfffffffb, 0xfffffffc, 0xffffffff,
1000  0xffffff80, 0xfffffff7, 0xfffffff8, 0xffffffff,
1001  0xffffff00, 0xffffffef, 0xfffffff0, 0xffffffff,
1002  0xfffffe00, 0xffffffdf, 0xffffffe0, 0xffffffff,
1003  0xfffffc00, 0xffffffbf, 0xffffffc0, 0xffffffff,
1004  0xfffff800, 0xffffff7f, 0xffffff80, 0xffffffff,
1005  0xfffff000, 0xfffffeff, 0xffffff00, 0xffffffff,
1006  0xffffe000, 0xfffffdff, 0xfffffe00, 0xffffffff,
1007  0xffffc000, 0xfffffbff, 0xfffffc00, 0xffffffff,
1008  0xffff8000, 0xfffff7ff, 0xfffff800, 0xffffffff,
1009  0xffff0000, 0xffffefff, 0xfffff000, 0xffffffff,
1010  0xfffe0000, 0xffffdfff, 0xffffe000, 0xffffffff,
1011  0xfffc0000, 0xffffbfff, 0xffffc000, 0xffffffff,
1012  0xfff80000, 0xffff7fff, 0xffff8000, 0xffffffff,
1013  0xfff00000, 0xfffeffff, 0xffff0000, 0xffffffff,
1014  0xffe00000, 0xfffdffff, 0xfffe0000, 0xffffffff,
1015  0xffc00000, 0xfffbffff, 0xfffc0000, 0xffffffff,
1016  0xff800000, 0xfff7ffff, 0xfff80000, 0xffffffff,
1017  0xff000000, 0xffefffff, 0xfff00000, 0xffffffff,
1018  0xfe000000, 0xffdfffff, 0xffe00000, 0xffffffff,
1019  0xfc000000, 0xffbfffff, 0xffc00000, 0xffffffff,
1020  0xf8000000, 0xff7fffff, 0xff800000, 0xffffffff,
1021  0xf0000000, 0xfeffffff, 0xff000000, 0xffffffff,
1022  0xe0000000, 0xfdffffff, 0xfe000000, 0xffffffff,
1023  0xc0000000, 0xfbffffff, 0xfc000000, 0xffffffff,
1024  0x80000000, 0xf7ffffff, 0xf8000000, 0xffffffff,
1025  0x00000000, 0xefffffff, 0xf0000000, 0xffffffff,
1026  0x00000000, 0xdfffffff, 0xe0000000, 0xffffffff,
1027  0x00000000, 0xbfffffff, 0xc0000000, 0xffffffff,
1028  0x00000000, 0x7fffffff, 0x80000000, 0xffffffff,
1029  0x00000000, 0xffffffff, 0x00000000, 0xffffffff,
1030};
1031const unsigned kExpectedCount_NEON_sli_4S_2OPIMM = 992;
1032
1033#endif  // VIXL_SIM_SLI_4S_2OPIMM_TRACE_AARCH64_H_
1034