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_URSHR_4S_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_URSHR_4S_2OPIMM_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_urshr_4S_2OPIMM[] = {
38  0x7fffffff, 0x7fffffff, 0x80000000, 0x00000000,
39  0x3fffffff, 0x40000000, 0x40000000, 0x00000000,
40  0x20000000, 0x20000000, 0x20000000, 0x00000000,
41  0x10000000, 0x10000000, 0x10000000, 0x00000000,
42  0x08000000, 0x08000000, 0x08000000, 0x00000000,
43  0x04000000, 0x04000000, 0x04000000, 0x00000000,
44  0x02000000, 0x02000000, 0x02000000, 0x00000000,
45  0x01000000, 0x01000000, 0x01000000, 0x00000000,
46  0x00800000, 0x00800000, 0x00800000, 0x00000000,
47  0x00400000, 0x00400000, 0x00400000, 0x00000000,
48  0x00200000, 0x00200000, 0x00200000, 0x00000000,
49  0x00100000, 0x00100000, 0x00100000, 0x00000000,
50  0x00080000, 0x00080000, 0x00080000, 0x00000000,
51  0x00040000, 0x00040000, 0x00040000, 0x00000000,
52  0x00020000, 0x00020000, 0x00020000, 0x00000000,
53  0x00010000, 0x00010000, 0x00010000, 0x00000000,
54  0x00008000, 0x00008000, 0x00008000, 0x00000000,
55  0x00004000, 0x00004000, 0x00004000, 0x00000000,
56  0x00002000, 0x00002000, 0x00002000, 0x00000000,
57  0x00001000, 0x00001000, 0x00001000, 0x00000000,
58  0x00000800, 0x00000800, 0x00000800, 0x00000000,
59  0x00000400, 0x00000400, 0x00000400, 0x00000000,
60  0x00000200, 0x00000200, 0x00000200, 0x00000000,
61  0x00000100, 0x00000100, 0x00000100, 0x00000000,
62  0x00000080, 0x00000080, 0x00000080, 0x00000000,
63  0x00000040, 0x00000040, 0x00000040, 0x00000000,
64  0x00000020, 0x00000020, 0x00000020, 0x00000000,
65  0x00000010, 0x00000010, 0x00000010, 0x00000000,
66  0x00000008, 0x00000008, 0x00000008, 0x00000000,
67  0x00000004, 0x00000004, 0x00000004, 0x00000000,
68  0x00000002, 0x00000002, 0x00000002, 0x00000000,
69  0x00000001, 0x00000001, 0x00000001, 0x00000000,
70  0x7fffffff, 0x80000000, 0x00000000, 0x00000001,
71  0x40000000, 0x40000000, 0x00000000, 0x00000000,
72  0x20000000, 0x20000000, 0x00000000, 0x00000000,
73  0x10000000, 0x10000000, 0x00000000, 0x00000000,
74  0x08000000, 0x08000000, 0x00000000, 0x00000000,
75  0x04000000, 0x04000000, 0x00000000, 0x00000000,
76  0x02000000, 0x02000000, 0x00000000, 0x00000000,
77  0x01000000, 0x01000000, 0x00000000, 0x00000000,
78  0x00800000, 0x00800000, 0x00000000, 0x00000000,
79  0x00400000, 0x00400000, 0x00000000, 0x00000000,
80  0x00200000, 0x00200000, 0x00000000, 0x00000000,
81  0x00100000, 0x00100000, 0x00000000, 0x00000000,
82  0x00080000, 0x00080000, 0x00000000, 0x00000000,
83  0x00040000, 0x00040000, 0x00000000, 0x00000000,
84  0x00020000, 0x00020000, 0x00000000, 0x00000000,
85  0x00010000, 0x00010000, 0x00000000, 0x00000000,
86  0x00008000, 0x00008000, 0x00000000, 0x00000000,
87  0x00004000, 0x00004000, 0x00000000, 0x00000000,
88  0x00002000, 0x00002000, 0x00000000, 0x00000000,
89  0x00001000, 0x00001000, 0x00000000, 0x00000000,
90  0x00000800, 0x00000800, 0x00000000, 0x00000000,
91  0x00000400, 0x00000400, 0x00000000, 0x00000000,
92  0x00000200, 0x00000200, 0x00000000, 0x00000000,
93  0x00000100, 0x00000100, 0x00000000, 0x00000000,
94  0x00000080, 0x00000080, 0x00000000, 0x00000000,
95  0x00000040, 0x00000040, 0x00000000, 0x00000000,
96  0x00000020, 0x00000020, 0x00000000, 0x00000000,
97  0x00000010, 0x00000010, 0x00000000, 0x00000000,
98  0x00000008, 0x00000008, 0x00000000, 0x00000000,
99  0x00000004, 0x00000004, 0x00000000, 0x00000000,
100  0x00000002, 0x00000002, 0x00000000, 0x00000000,
101  0x00000001, 0x00000001, 0x00000000, 0x00000000,
102  0x80000000, 0x00000000, 0x00000001, 0x00000001,
103  0x40000000, 0x00000000, 0x00000000, 0x00000001,
104  0x20000000, 0x00000000, 0x00000000, 0x00000000,
105  0x10000000, 0x00000000, 0x00000000, 0x00000000,
106  0x08000000, 0x00000000, 0x00000000, 0x00000000,
107  0x04000000, 0x00000000, 0x00000000, 0x00000000,
108  0x02000000, 0x00000000, 0x00000000, 0x00000000,
109  0x01000000, 0x00000000, 0x00000000, 0x00000000,
110  0x00800000, 0x00000000, 0x00000000, 0x00000000,
111  0x00400000, 0x00000000, 0x00000000, 0x00000000,
112  0x00200000, 0x00000000, 0x00000000, 0x00000000,
113  0x00100000, 0x00000000, 0x00000000, 0x00000000,
114  0x00080000, 0x00000000, 0x00000000, 0x00000000,
115  0x00040000, 0x00000000, 0x00000000, 0x00000000,
116  0x00020000, 0x00000000, 0x00000000, 0x00000000,
117  0x00010000, 0x00000000, 0x00000000, 0x00000000,
118  0x00008000, 0x00000000, 0x00000000, 0x00000000,
119  0x00004000, 0x00000000, 0x00000000, 0x00000000,
120  0x00002000, 0x00000000, 0x00000000, 0x00000000,
121  0x00001000, 0x00000000, 0x00000000, 0x00000000,
122  0x00000800, 0x00000000, 0x00000000, 0x00000000,
123  0x00000400, 0x00000000, 0x00000000, 0x00000000,
124  0x00000200, 0x00000000, 0x00000000, 0x00000000,
125  0x00000100, 0x00000000, 0x00000000, 0x00000000,
126  0x00000080, 0x00000000, 0x00000000, 0x00000000,
127  0x00000040, 0x00000000, 0x00000000, 0x00000000,
128  0x00000020, 0x00000000, 0x00000000, 0x00000000,
129  0x00000010, 0x00000000, 0x00000000, 0x00000000,
130  0x00000008, 0x00000000, 0x00000000, 0x00000000,
131  0x00000004, 0x00000000, 0x00000000, 0x00000000,
132  0x00000002, 0x00000000, 0x00000000, 0x00000000,
133  0x00000001, 0x00000000, 0x00000000, 0x00000000,
134  0x00000000, 0x00000001, 0x00000001, 0x00000010,
135  0x00000000, 0x00000000, 0x00000001, 0x00000008,
136  0x00000000, 0x00000000, 0x00000000, 0x00000004,
137  0x00000000, 0x00000000, 0x00000000, 0x00000002,
138  0x00000000, 0x00000000, 0x00000000, 0x00000001,
139  0x00000000, 0x00000000, 0x00000000, 0x00000001,
140  0x00000000, 0x00000000, 0x00000000, 0x00000000,
141  0x00000000, 0x00000000, 0x00000000, 0x00000000,
142  0x00000000, 0x00000000, 0x00000000, 0x00000000,
143  0x00000000, 0x00000000, 0x00000000, 0x00000000,
144  0x00000000, 0x00000000, 0x00000000, 0x00000000,
145  0x00000000, 0x00000000, 0x00000000, 0x00000000,
146  0x00000000, 0x00000000, 0x00000000, 0x00000000,
147  0x00000000, 0x00000000, 0x00000000, 0x00000000,
148  0x00000000, 0x00000000, 0x00000000, 0x00000000,
149  0x00000000, 0x00000000, 0x00000000, 0x00000000,
150  0x00000000, 0x00000000, 0x00000000, 0x00000000,
151  0x00000000, 0x00000000, 0x00000000, 0x00000000,
152  0x00000000, 0x00000000, 0x00000000, 0x00000000,
153  0x00000000, 0x00000000, 0x00000000, 0x00000000,
154  0x00000000, 0x00000000, 0x00000000, 0x00000000,
155  0x00000000, 0x00000000, 0x00000000, 0x00000000,
156  0x00000000, 0x00000000, 0x00000000, 0x00000000,
157  0x00000000, 0x00000000, 0x00000000, 0x00000000,
158  0x00000000, 0x00000000, 0x00000000, 0x00000000,
159  0x00000000, 0x00000000, 0x00000000, 0x00000000,
160  0x00000000, 0x00000000, 0x00000000, 0x00000000,
161  0x00000000, 0x00000000, 0x00000000, 0x00000000,
162  0x00000000, 0x00000000, 0x00000000, 0x00000000,
163  0x00000000, 0x00000000, 0x00000000, 0x00000000,
164  0x00000000, 0x00000000, 0x00000000, 0x00000000,
165  0x00000000, 0x00000000, 0x00000000, 0x00000000,
166  0x00000001, 0x00000001, 0x00000010, 0x0000003f,
167  0x00000000, 0x00000001, 0x00000008, 0x0000001f,
168  0x00000000, 0x00000000, 0x00000004, 0x00000010,
169  0x00000000, 0x00000000, 0x00000002, 0x00000008,
170  0x00000000, 0x00000000, 0x00000001, 0x00000004,
171  0x00000000, 0x00000000, 0x00000001, 0x00000002,
172  0x00000000, 0x00000000, 0x00000000, 0x00000001,
173  0x00000000, 0x00000000, 0x00000000, 0x00000000,
174  0x00000000, 0x00000000, 0x00000000, 0x00000000,
175  0x00000000, 0x00000000, 0x00000000, 0x00000000,
176  0x00000000, 0x00000000, 0x00000000, 0x00000000,
177  0x00000000, 0x00000000, 0x00000000, 0x00000000,
178  0x00000000, 0x00000000, 0x00000000, 0x00000000,
179  0x00000000, 0x00000000, 0x00000000, 0x00000000,
180  0x00000000, 0x00000000, 0x00000000, 0x00000000,
181  0x00000000, 0x00000000, 0x00000000, 0x00000000,
182  0x00000000, 0x00000000, 0x00000000, 0x00000000,
183  0x00000000, 0x00000000, 0x00000000, 0x00000000,
184  0x00000000, 0x00000000, 0x00000000, 0x00000000,
185  0x00000000, 0x00000000, 0x00000000, 0x00000000,
186  0x00000000, 0x00000000, 0x00000000, 0x00000000,
187  0x00000000, 0x00000000, 0x00000000, 0x00000000,
188  0x00000000, 0x00000000, 0x00000000, 0x00000000,
189  0x00000000, 0x00000000, 0x00000000, 0x00000000,
190  0x00000000, 0x00000000, 0x00000000, 0x00000000,
191  0x00000000, 0x00000000, 0x00000000, 0x00000000,
192  0x00000000, 0x00000000, 0x00000000, 0x00000000,
193  0x00000000, 0x00000000, 0x00000000, 0x00000000,
194  0x00000000, 0x00000000, 0x00000000, 0x00000000,
195  0x00000000, 0x00000000, 0x00000000, 0x00000000,
196  0x00000000, 0x00000000, 0x00000000, 0x00000000,
197  0x00000000, 0x00000000, 0x00000000, 0x00000000,
198  0x00000001, 0x00000010, 0x0000003f, 0x0000003f,
199  0x00000001, 0x00000008, 0x0000001f, 0x00000020,
200  0x00000000, 0x00000004, 0x00000010, 0x00000010,
201  0x00000000, 0x00000002, 0x00000008, 0x00000008,
202  0x00000000, 0x00000001, 0x00000004, 0x00000004,
203  0x00000000, 0x00000001, 0x00000002, 0x00000002,
204  0x00000000, 0x00000000, 0x00000001, 0x00000001,
205  0x00000000, 0x00000000, 0x00000000, 0x00000000,
206  0x00000000, 0x00000000, 0x00000000, 0x00000000,
207  0x00000000, 0x00000000, 0x00000000, 0x00000000,
208  0x00000000, 0x00000000, 0x00000000, 0x00000000,
209  0x00000000, 0x00000000, 0x00000000, 0x00000000,
210  0x00000000, 0x00000000, 0x00000000, 0x00000000,
211  0x00000000, 0x00000000, 0x00000000, 0x00000000,
212  0x00000000, 0x00000000, 0x00000000, 0x00000000,
213  0x00000000, 0x00000000, 0x00000000, 0x00000000,
214  0x00000000, 0x00000000, 0x00000000, 0x00000000,
215  0x00000000, 0x00000000, 0x00000000, 0x00000000,
216  0x00000000, 0x00000000, 0x00000000, 0x00000000,
217  0x00000000, 0x00000000, 0x00000000, 0x00000000,
218  0x00000000, 0x00000000, 0x00000000, 0x00000000,
219  0x00000000, 0x00000000, 0x00000000, 0x00000000,
220  0x00000000, 0x00000000, 0x00000000, 0x00000000,
221  0x00000000, 0x00000000, 0x00000000, 0x00000000,
222  0x00000000, 0x00000000, 0x00000000, 0x00000000,
223  0x00000000, 0x00000000, 0x00000000, 0x00000000,
224  0x00000000, 0x00000000, 0x00000000, 0x00000000,
225  0x00000000, 0x00000000, 0x00000000, 0x00000000,
226  0x00000000, 0x00000000, 0x00000000, 0x00000000,
227  0x00000000, 0x00000000, 0x00000000, 0x00000000,
228  0x00000000, 0x00000000, 0x00000000, 0x00000000,
229  0x00000000, 0x00000000, 0x00000000, 0x00000000,
230  0x00000010, 0x0000003f, 0x0000003f, 0x00000040,
231  0x00000008, 0x0000001f, 0x00000020, 0x00000020,
232  0x00000004, 0x00000010, 0x00000010, 0x00000010,
233  0x00000002, 0x00000008, 0x00000008, 0x00000008,
234  0x00000001, 0x00000004, 0x00000004, 0x00000004,
235  0x00000001, 0x00000002, 0x00000002, 0x00000002,
236  0x00000000, 0x00000001, 0x00000001, 0x00000001,
237  0x00000000, 0x00000000, 0x00000000, 0x00000000,
238  0x00000000, 0x00000000, 0x00000000, 0x00000000,
239  0x00000000, 0x00000000, 0x00000000, 0x00000000,
240  0x00000000, 0x00000000, 0x00000000, 0x00000000,
241  0x00000000, 0x00000000, 0x00000000, 0x00000000,
242  0x00000000, 0x00000000, 0x00000000, 0x00000000,
243  0x00000000, 0x00000000, 0x00000000, 0x00000000,
244  0x00000000, 0x00000000, 0x00000000, 0x00000000,
245  0x00000000, 0x00000000, 0x00000000, 0x00000000,
246  0x00000000, 0x00000000, 0x00000000, 0x00000000,
247  0x00000000, 0x00000000, 0x00000000, 0x00000000,
248  0x00000000, 0x00000000, 0x00000000, 0x00000000,
249  0x00000000, 0x00000000, 0x00000000, 0x00000000,
250  0x00000000, 0x00000000, 0x00000000, 0x00000000,
251  0x00000000, 0x00000000, 0x00000000, 0x00000000,
252  0x00000000, 0x00000000, 0x00000000, 0x00000000,
253  0x00000000, 0x00000000, 0x00000000, 0x00000000,
254  0x00000000, 0x00000000, 0x00000000, 0x00000000,
255  0x00000000, 0x00000000, 0x00000000, 0x00000000,
256  0x00000000, 0x00000000, 0x00000000, 0x00000000,
257  0x00000000, 0x00000000, 0x00000000, 0x00000000,
258  0x00000000, 0x00000000, 0x00000000, 0x00000000,
259  0x00000000, 0x00000000, 0x00000000, 0x00000000,
260  0x00000000, 0x00000000, 0x00000000, 0x00000000,
261  0x00000000, 0x00000000, 0x00000000, 0x00000000,
262  0x0000003f, 0x0000003f, 0x00000040, 0x00003fff,
263  0x0000001f, 0x00000020, 0x00000020, 0x00001fff,
264  0x00000010, 0x00000010, 0x00000010, 0x00001000,
265  0x00000008, 0x00000008, 0x00000008, 0x00000800,
266  0x00000004, 0x00000004, 0x00000004, 0x00000400,
267  0x00000002, 0x00000002, 0x00000002, 0x00000200,
268  0x00000001, 0x00000001, 0x00000001, 0x00000100,
269  0x00000000, 0x00000000, 0x00000000, 0x00000080,
270  0x00000000, 0x00000000, 0x00000000, 0x00000040,
271  0x00000000, 0x00000000, 0x00000000, 0x00000020,
272  0x00000000, 0x00000000, 0x00000000, 0x00000010,
273  0x00000000, 0x00000000, 0x00000000, 0x00000008,
274  0x00000000, 0x00000000, 0x00000000, 0x00000004,
275  0x00000000, 0x00000000, 0x00000000, 0x00000002,
276  0x00000000, 0x00000000, 0x00000000, 0x00000001,
277  0x00000000, 0x00000000, 0x00000000, 0x00000000,
278  0x00000000, 0x00000000, 0x00000000, 0x00000000,
279  0x00000000, 0x00000000, 0x00000000, 0x00000000,
280  0x00000000, 0x00000000, 0x00000000, 0x00000000,
281  0x00000000, 0x00000000, 0x00000000, 0x00000000,
282  0x00000000, 0x00000000, 0x00000000, 0x00000000,
283  0x00000000, 0x00000000, 0x00000000, 0x00000000,
284  0x00000000, 0x00000000, 0x00000000, 0x00000000,
285  0x00000000, 0x00000000, 0x00000000, 0x00000000,
286  0x00000000, 0x00000000, 0x00000000, 0x00000000,
287  0x00000000, 0x00000000, 0x00000000, 0x00000000,
288  0x00000000, 0x00000000, 0x00000000, 0x00000000,
289  0x00000000, 0x00000000, 0x00000000, 0x00000000,
290  0x00000000, 0x00000000, 0x00000000, 0x00000000,
291  0x00000000, 0x00000000, 0x00000000, 0x00000000,
292  0x00000000, 0x00000000, 0x00000000, 0x00000000,
293  0x00000000, 0x00000000, 0x00000000, 0x00000000,
294  0x0000003f, 0x00000040, 0x00003fff, 0x00003fff,
295  0x00000020, 0x00000020, 0x00001fff, 0x00002000,
296  0x00000010, 0x00000010, 0x00001000, 0x00001000,
297  0x00000008, 0x00000008, 0x00000800, 0x00000800,
298  0x00000004, 0x00000004, 0x00000400, 0x00000400,
299  0x00000002, 0x00000002, 0x00000200, 0x00000200,
300  0x00000001, 0x00000001, 0x00000100, 0x00000100,
301  0x00000000, 0x00000000, 0x00000080, 0x00000080,
302  0x00000000, 0x00000000, 0x00000040, 0x00000040,
303  0x00000000, 0x00000000, 0x00000020, 0x00000020,
304  0x00000000, 0x00000000, 0x00000010, 0x00000010,
305  0x00000000, 0x00000000, 0x00000008, 0x00000008,
306  0x00000000, 0x00000000, 0x00000004, 0x00000004,
307  0x00000000, 0x00000000, 0x00000002, 0x00000002,
308  0x00000000, 0x00000000, 0x00000001, 0x00000001,
309  0x00000000, 0x00000000, 0x00000000, 0x00000000,
310  0x00000000, 0x00000000, 0x00000000, 0x00000000,
311  0x00000000, 0x00000000, 0x00000000, 0x00000000,
312  0x00000000, 0x00000000, 0x00000000, 0x00000000,
313  0x00000000, 0x00000000, 0x00000000, 0x00000000,
314  0x00000000, 0x00000000, 0x00000000, 0x00000000,
315  0x00000000, 0x00000000, 0x00000000, 0x00000000,
316  0x00000000, 0x00000000, 0x00000000, 0x00000000,
317  0x00000000, 0x00000000, 0x00000000, 0x00000000,
318  0x00000000, 0x00000000, 0x00000000, 0x00000000,
319  0x00000000, 0x00000000, 0x00000000, 0x00000000,
320  0x00000000, 0x00000000, 0x00000000, 0x00000000,
321  0x00000000, 0x00000000, 0x00000000, 0x00000000,
322  0x00000000, 0x00000000, 0x00000000, 0x00000000,
323  0x00000000, 0x00000000, 0x00000000, 0x00000000,
324  0x00000000, 0x00000000, 0x00000000, 0x00000000,
325  0x00000000, 0x00000000, 0x00000000, 0x00000000,
326  0x00000040, 0x00003fff, 0x00003fff, 0x00004000,
327  0x00000020, 0x00001fff, 0x00002000, 0x00002000,
328  0x00000010, 0x00001000, 0x00001000, 0x00001000,
329  0x00000008, 0x00000800, 0x00000800, 0x00000800,
330  0x00000004, 0x00000400, 0x00000400, 0x00000400,
331  0x00000002, 0x00000200, 0x00000200, 0x00000200,
332  0x00000001, 0x00000100, 0x00000100, 0x00000100,
333  0x00000000, 0x00000080, 0x00000080, 0x00000080,
334  0x00000000, 0x00000040, 0x00000040, 0x00000040,
335  0x00000000, 0x00000020, 0x00000020, 0x00000020,
336  0x00000000, 0x00000010, 0x00000010, 0x00000010,
337  0x00000000, 0x00000008, 0x00000008, 0x00000008,
338  0x00000000, 0x00000004, 0x00000004, 0x00000004,
339  0x00000000, 0x00000002, 0x00000002, 0x00000002,
340  0x00000000, 0x00000001, 0x00000001, 0x00000001,
341  0x00000000, 0x00000000, 0x00000000, 0x00000000,
342  0x00000000, 0x00000000, 0x00000000, 0x00000000,
343  0x00000000, 0x00000000, 0x00000000, 0x00000000,
344  0x00000000, 0x00000000, 0x00000000, 0x00000000,
345  0x00000000, 0x00000000, 0x00000000, 0x00000000,
346  0x00000000, 0x00000000, 0x00000000, 0x00000000,
347  0x00000000, 0x00000000, 0x00000000, 0x00000000,
348  0x00000000, 0x00000000, 0x00000000, 0x00000000,
349  0x00000000, 0x00000000, 0x00000000, 0x00000000,
350  0x00000000, 0x00000000, 0x00000000, 0x00000000,
351  0x00000000, 0x00000000, 0x00000000, 0x00000000,
352  0x00000000, 0x00000000, 0x00000000, 0x00000000,
353  0x00000000, 0x00000000, 0x00000000, 0x00000000,
354  0x00000000, 0x00000000, 0x00000000, 0x00000000,
355  0x00000000, 0x00000000, 0x00000000, 0x00000000,
356  0x00000000, 0x00000000, 0x00000000, 0x00000000,
357  0x00000000, 0x00000000, 0x00000000, 0x00000000,
358  0x00003fff, 0x00003fff, 0x00004000, 0x1999999a,
359  0x00001fff, 0x00002000, 0x00002000, 0x0ccccccd,
360  0x00001000, 0x00001000, 0x00001000, 0x06666666,
361  0x00000800, 0x00000800, 0x00000800, 0x03333333,
362  0x00000400, 0x00000400, 0x00000400, 0x0199999a,
363  0x00000200, 0x00000200, 0x00000200, 0x00cccccd,
364  0x00000100, 0x00000100, 0x00000100, 0x00666666,
365  0x00000080, 0x00000080, 0x00000080, 0x00333333,
366  0x00000040, 0x00000040, 0x00000040, 0x0019999a,
367  0x00000020, 0x00000020, 0x00000020, 0x000ccccd,
368  0x00000010, 0x00000010, 0x00000010, 0x00066666,
369  0x00000008, 0x00000008, 0x00000008, 0x00033333,
370  0x00000004, 0x00000004, 0x00000004, 0x0001999a,
371  0x00000002, 0x00000002, 0x00000002, 0x0000cccd,
372  0x00000001, 0x00000001, 0x00000001, 0x00006666,
373  0x00000000, 0x00000000, 0x00000000, 0x00003333,
374  0x00000000, 0x00000000, 0x00000000, 0x0000199a,
375  0x00000000, 0x00000000, 0x00000000, 0x00000ccd,
376  0x00000000, 0x00000000, 0x00000000, 0x00000666,
377  0x00000000, 0x00000000, 0x00000000, 0x00000333,
378  0x00000000, 0x00000000, 0x00000000, 0x0000019a,
379  0x00000000, 0x00000000, 0x00000000, 0x000000cd,
380  0x00000000, 0x00000000, 0x00000000, 0x00000066,
381  0x00000000, 0x00000000, 0x00000000, 0x00000033,
382  0x00000000, 0x00000000, 0x00000000, 0x0000001a,
383  0x00000000, 0x00000000, 0x00000000, 0x0000000d,
384  0x00000000, 0x00000000, 0x00000000, 0x00000006,
385  0x00000000, 0x00000000, 0x00000000, 0x00000003,
386  0x00000000, 0x00000000, 0x00000000, 0x00000002,
387  0x00000000, 0x00000000, 0x00000000, 0x00000001,
388  0x00000000, 0x00000000, 0x00000000, 0x00000000,
389  0x00000000, 0x00000000, 0x00000000, 0x00000000,
390  0x00003fff, 0x00004000, 0x1999999a, 0x2aaaaaab,
391  0x00002000, 0x00002000, 0x0ccccccd, 0x15555555,
392  0x00001000, 0x00001000, 0x06666666, 0x0aaaaaab,
393  0x00000800, 0x00000800, 0x03333333, 0x05555555,
394  0x00000400, 0x00000400, 0x0199999a, 0x02aaaaab,
395  0x00000200, 0x00000200, 0x00cccccd, 0x01555555,
396  0x00000100, 0x00000100, 0x00666666, 0x00aaaaab,
397  0x00000080, 0x00000080, 0x00333333, 0x00555555,
398  0x00000040, 0x00000040, 0x0019999a, 0x002aaaab,
399  0x00000020, 0x00000020, 0x000ccccd, 0x00155555,
400  0x00000010, 0x00000010, 0x00066666, 0x000aaaab,
401  0x00000008, 0x00000008, 0x00033333, 0x00055555,
402  0x00000004, 0x00000004, 0x0001999a, 0x0002aaab,
403  0x00000002, 0x00000002, 0x0000cccd, 0x00015555,
404  0x00000001, 0x00000001, 0x00006666, 0x0000aaab,
405  0x00000000, 0x00000000, 0x00003333, 0x00005555,
406  0x00000000, 0x00000000, 0x0000199a, 0x00002aab,
407  0x00000000, 0x00000000, 0x00000ccd, 0x00001555,
408  0x00000000, 0x00000000, 0x00000666, 0x00000aab,
409  0x00000000, 0x00000000, 0x00000333, 0x00000555,
410  0x00000000, 0x00000000, 0x0000019a, 0x000002ab,
411  0x00000000, 0x00000000, 0x000000cd, 0x00000155,
412  0x00000000, 0x00000000, 0x00000066, 0x000000ab,
413  0x00000000, 0x00000000, 0x00000033, 0x00000055,
414  0x00000000, 0x00000000, 0x0000001a, 0x0000002b,
415  0x00000000, 0x00000000, 0x0000000d, 0x00000015,
416  0x00000000, 0x00000000, 0x00000006, 0x0000000b,
417  0x00000000, 0x00000000, 0x00000003, 0x00000005,
418  0x00000000, 0x00000000, 0x00000002, 0x00000003,
419  0x00000000, 0x00000000, 0x00000001, 0x00000001,
420  0x00000000, 0x00000000, 0x00000000, 0x00000001,
421  0x00000000, 0x00000000, 0x00000000, 0x00000000,
422  0x00004000, 0x1999999a, 0x2aaaaaab, 0x3fffffff,
423  0x00002000, 0x0ccccccd, 0x15555555, 0x1fffffff,
424  0x00001000, 0x06666666, 0x0aaaaaab, 0x10000000,
425  0x00000800, 0x03333333, 0x05555555, 0x08000000,
426  0x00000400, 0x0199999a, 0x02aaaaab, 0x04000000,
427  0x00000200, 0x00cccccd, 0x01555555, 0x02000000,
428  0x00000100, 0x00666666, 0x00aaaaab, 0x01000000,
429  0x00000080, 0x00333333, 0x00555555, 0x00800000,
430  0x00000040, 0x0019999a, 0x002aaaab, 0x00400000,
431  0x00000020, 0x000ccccd, 0x00155555, 0x00200000,
432  0x00000010, 0x00066666, 0x000aaaab, 0x00100000,
433  0x00000008, 0x00033333, 0x00055555, 0x00080000,
434  0x00000004, 0x0001999a, 0x0002aaab, 0x00040000,
435  0x00000002, 0x0000cccd, 0x00015555, 0x00020000,
436  0x00000001, 0x00006666, 0x0000aaab, 0x00010000,
437  0x00000000, 0x00003333, 0x00005555, 0x00008000,
438  0x00000000, 0x0000199a, 0x00002aab, 0x00004000,
439  0x00000000, 0x00000ccd, 0x00001555, 0x00002000,
440  0x00000000, 0x00000666, 0x00000aab, 0x00001000,
441  0x00000000, 0x00000333, 0x00000555, 0x00000800,
442  0x00000000, 0x0000019a, 0x000002ab, 0x00000400,
443  0x00000000, 0x000000cd, 0x00000155, 0x00000200,
444  0x00000000, 0x00000066, 0x000000ab, 0x00000100,
445  0x00000000, 0x00000033, 0x00000055, 0x00000080,
446  0x00000000, 0x0000001a, 0x0000002b, 0x00000040,
447  0x00000000, 0x0000000d, 0x00000015, 0x00000020,
448  0x00000000, 0x00000006, 0x0000000b, 0x00000010,
449  0x00000000, 0x00000003, 0x00000005, 0x00000008,
450  0x00000000, 0x00000002, 0x00000003, 0x00000004,
451  0x00000000, 0x00000001, 0x00000001, 0x00000002,
452  0x00000000, 0x00000000, 0x00000001, 0x00000001,
453  0x00000000, 0x00000000, 0x00000000, 0x00000000,
454  0x1999999a, 0x2aaaaaab, 0x3fffffff, 0x3fffffff,
455  0x0ccccccd, 0x15555555, 0x1fffffff, 0x20000000,
456  0x06666666, 0x0aaaaaab, 0x10000000, 0x10000000,
457  0x03333333, 0x05555555, 0x08000000, 0x08000000,
458  0x0199999a, 0x02aaaaab, 0x04000000, 0x04000000,
459  0x00cccccd, 0x01555555, 0x02000000, 0x02000000,
460  0x00666666, 0x00aaaaab, 0x01000000, 0x01000000,
461  0x00333333, 0x00555555, 0x00800000, 0x00800000,
462  0x0019999a, 0x002aaaab, 0x00400000, 0x00400000,
463  0x000ccccd, 0x00155555, 0x00200000, 0x00200000,
464  0x00066666, 0x000aaaab, 0x00100000, 0x00100000,
465  0x00033333, 0x00055555, 0x00080000, 0x00080000,
466  0x0001999a, 0x0002aaab, 0x00040000, 0x00040000,
467  0x0000cccd, 0x00015555, 0x00020000, 0x00020000,
468  0x00006666, 0x0000aaab, 0x00010000, 0x00010000,
469  0x00003333, 0x00005555, 0x00008000, 0x00008000,
470  0x0000199a, 0x00002aab, 0x00004000, 0x00004000,
471  0x00000ccd, 0x00001555, 0x00002000, 0x00002000,
472  0x00000666, 0x00000aab, 0x00001000, 0x00001000,
473  0x00000333, 0x00000555, 0x00000800, 0x00000800,
474  0x0000019a, 0x000002ab, 0x00000400, 0x00000400,
475  0x000000cd, 0x00000155, 0x00000200, 0x00000200,
476  0x00000066, 0x000000ab, 0x00000100, 0x00000100,
477  0x00000033, 0x00000055, 0x00000080, 0x00000080,
478  0x0000001a, 0x0000002b, 0x00000040, 0x00000040,
479  0x0000000d, 0x00000015, 0x00000020, 0x00000020,
480  0x00000006, 0x0000000b, 0x00000010, 0x00000010,
481  0x00000003, 0x00000005, 0x00000008, 0x00000008,
482  0x00000002, 0x00000003, 0x00000004, 0x00000004,
483  0x00000001, 0x00000001, 0x00000002, 0x00000002,
484  0x00000000, 0x00000001, 0x00000001, 0x00000001,
485  0x00000000, 0x00000000, 0x00000000, 0x00000000,
486  0x2aaaaaab, 0x3fffffff, 0x3fffffff, 0x40000000,
487  0x15555555, 0x1fffffff, 0x20000000, 0x20000000,
488  0x0aaaaaab, 0x10000000, 0x10000000, 0x10000000,
489  0x05555555, 0x08000000, 0x08000000, 0x08000000,
490  0x02aaaaab, 0x04000000, 0x04000000, 0x04000000,
491  0x01555555, 0x02000000, 0x02000000, 0x02000000,
492  0x00aaaaab, 0x01000000, 0x01000000, 0x01000000,
493  0x00555555, 0x00800000, 0x00800000, 0x00800000,
494  0x002aaaab, 0x00400000, 0x00400000, 0x00400000,
495  0x00155555, 0x00200000, 0x00200000, 0x00200000,
496  0x000aaaab, 0x00100000, 0x00100000, 0x00100000,
497  0x00055555, 0x00080000, 0x00080000, 0x00080000,
498  0x0002aaab, 0x00040000, 0x00040000, 0x00040000,
499  0x00015555, 0x00020000, 0x00020000, 0x00020000,
500  0x0000aaab, 0x00010000, 0x00010000, 0x00010000,
501  0x00005555, 0x00008000, 0x00008000, 0x00008000,
502  0x00002aab, 0x00004000, 0x00004000, 0x00004000,
503  0x00001555, 0x00002000, 0x00002000, 0x00002000,
504  0x00000aab, 0x00001000, 0x00001000, 0x00001000,
505  0x00000555, 0x00000800, 0x00000800, 0x00000800,
506  0x000002ab, 0x00000400, 0x00000400, 0x00000400,
507  0x00000155, 0x00000200, 0x00000200, 0x00000200,
508  0x000000ab, 0x00000100, 0x00000100, 0x00000100,
509  0x00000055, 0x00000080, 0x00000080, 0x00000080,
510  0x0000002b, 0x00000040, 0x00000040, 0x00000040,
511  0x00000015, 0x00000020, 0x00000020, 0x00000020,
512  0x0000000b, 0x00000010, 0x00000010, 0x00000010,
513  0x00000005, 0x00000008, 0x00000008, 0x00000008,
514  0x00000003, 0x00000004, 0x00000004, 0x00000004,
515  0x00000001, 0x00000002, 0x00000002, 0x00000002,
516  0x00000001, 0x00000001, 0x00000001, 0x00000001,
517  0x00000000, 0x00000000, 0x00000000, 0x00000000,
518  0x3fffffff, 0x3fffffff, 0x40000000, 0x40000000,
519  0x1fffffff, 0x20000000, 0x20000000, 0x20000000,
520  0x10000000, 0x10000000, 0x10000000, 0x10000000,
521  0x08000000, 0x08000000, 0x08000000, 0x08000000,
522  0x04000000, 0x04000000, 0x04000000, 0x04000000,
523  0x02000000, 0x02000000, 0x02000000, 0x02000000,
524  0x01000000, 0x01000000, 0x01000000, 0x01000000,
525  0x00800000, 0x00800000, 0x00800000, 0x00800000,
526  0x00400000, 0x00400000, 0x00400000, 0x00400000,
527  0x00200000, 0x00200000, 0x00200000, 0x00200000,
528  0x00100000, 0x00100000, 0x00100000, 0x00100000,
529  0x00080000, 0x00080000, 0x00080000, 0x00080000,
530  0x00040000, 0x00040000, 0x00040000, 0x00040000,
531  0x00020000, 0x00020000, 0x00020000, 0x00020000,
532  0x00010000, 0x00010000, 0x00010000, 0x00010000,
533  0x00008000, 0x00008000, 0x00008000, 0x00008000,
534  0x00004000, 0x00004000, 0x00004000, 0x00004000,
535  0x00002000, 0x00002000, 0x00002000, 0x00002000,
536  0x00001000, 0x00001000, 0x00001000, 0x00001000,
537  0x00000800, 0x00000800, 0x00000800, 0x00000800,
538  0x00000400, 0x00000400, 0x00000400, 0x00000400,
539  0x00000200, 0x00000200, 0x00000200, 0x00000200,
540  0x00000100, 0x00000100, 0x00000100, 0x00000100,
541  0x00000080, 0x00000080, 0x00000080, 0x00000080,
542  0x00000040, 0x00000040, 0x00000040, 0x00000040,
543  0x00000020, 0x00000020, 0x00000020, 0x00000020,
544  0x00000010, 0x00000010, 0x00000010, 0x00000010,
545  0x00000008, 0x00000008, 0x00000008, 0x00000008,
546  0x00000004, 0x00000004, 0x00000004, 0x00000004,
547  0x00000002, 0x00000002, 0x00000002, 0x00000002,
548  0x00000001, 0x00000001, 0x00000001, 0x00000001,
549  0x00000000, 0x00000000, 0x00000000, 0x00000001,
550  0x3fffffff, 0x40000000, 0x40000000, 0x40000001,
551  0x20000000, 0x20000000, 0x20000000, 0x20000000,
552  0x10000000, 0x10000000, 0x10000000, 0x10000000,
553  0x08000000, 0x08000000, 0x08000000, 0x08000000,
554  0x04000000, 0x04000000, 0x04000000, 0x04000000,
555  0x02000000, 0x02000000, 0x02000000, 0x02000000,
556  0x01000000, 0x01000000, 0x01000000, 0x01000000,
557  0x00800000, 0x00800000, 0x00800000, 0x00800000,
558  0x00400000, 0x00400000, 0x00400000, 0x00400000,
559  0x00200000, 0x00200000, 0x00200000, 0x00200000,
560  0x00100000, 0x00100000, 0x00100000, 0x00100000,
561  0x00080000, 0x00080000, 0x00080000, 0x00080000,
562  0x00040000, 0x00040000, 0x00040000, 0x00040000,
563  0x00020000, 0x00020000, 0x00020000, 0x00020000,
564  0x00010000, 0x00010000, 0x00010000, 0x00010000,
565  0x00008000, 0x00008000, 0x00008000, 0x00008000,
566  0x00004000, 0x00004000, 0x00004000, 0x00004000,
567  0x00002000, 0x00002000, 0x00002000, 0x00002000,
568  0x00001000, 0x00001000, 0x00001000, 0x00001000,
569  0x00000800, 0x00000800, 0x00000800, 0x00000800,
570  0x00000400, 0x00000400, 0x00000400, 0x00000400,
571  0x00000200, 0x00000200, 0x00000200, 0x00000200,
572  0x00000100, 0x00000100, 0x00000100, 0x00000100,
573  0x00000080, 0x00000080, 0x00000080, 0x00000080,
574  0x00000040, 0x00000040, 0x00000040, 0x00000040,
575  0x00000020, 0x00000020, 0x00000020, 0x00000020,
576  0x00000010, 0x00000010, 0x00000010, 0x00000010,
577  0x00000008, 0x00000008, 0x00000008, 0x00000008,
578  0x00000004, 0x00000004, 0x00000004, 0x00000004,
579  0x00000002, 0x00000002, 0x00000002, 0x00000002,
580  0x00000001, 0x00000001, 0x00000001, 0x00000001,
581  0x00000000, 0x00000000, 0x00000001, 0x00000001,
582  0x40000000, 0x40000000, 0x40000001, 0x55555555,
583  0x20000000, 0x20000000, 0x20000000, 0x2aaaaaab,
584  0x10000000, 0x10000000, 0x10000000, 0x15555555,
585  0x08000000, 0x08000000, 0x08000000, 0x0aaaaaab,
586  0x04000000, 0x04000000, 0x04000000, 0x05555555,
587  0x02000000, 0x02000000, 0x02000000, 0x02aaaaab,
588  0x01000000, 0x01000000, 0x01000000, 0x01555555,
589  0x00800000, 0x00800000, 0x00800000, 0x00aaaaab,
590  0x00400000, 0x00400000, 0x00400000, 0x00555555,
591  0x00200000, 0x00200000, 0x00200000, 0x002aaaab,
592  0x00100000, 0x00100000, 0x00100000, 0x00155555,
593  0x00080000, 0x00080000, 0x00080000, 0x000aaaab,
594  0x00040000, 0x00040000, 0x00040000, 0x00055555,
595  0x00020000, 0x00020000, 0x00020000, 0x0002aaab,
596  0x00010000, 0x00010000, 0x00010000, 0x00015555,
597  0x00008000, 0x00008000, 0x00008000, 0x0000aaab,
598  0x00004000, 0x00004000, 0x00004000, 0x00005555,
599  0x00002000, 0x00002000, 0x00002000, 0x00002aab,
600  0x00001000, 0x00001000, 0x00001000, 0x00001555,
601  0x00000800, 0x00000800, 0x00000800, 0x00000aab,
602  0x00000400, 0x00000400, 0x00000400, 0x00000555,
603  0x00000200, 0x00000200, 0x00000200, 0x000002ab,
604  0x00000100, 0x00000100, 0x00000100, 0x00000155,
605  0x00000080, 0x00000080, 0x00000080, 0x000000ab,
606  0x00000040, 0x00000040, 0x00000040, 0x00000055,
607  0x00000020, 0x00000020, 0x00000020, 0x0000002b,
608  0x00000010, 0x00000010, 0x00000010, 0x00000015,
609  0x00000008, 0x00000008, 0x00000008, 0x0000000b,
610  0x00000004, 0x00000004, 0x00000004, 0x00000005,
611  0x00000002, 0x00000002, 0x00000002, 0x00000003,
612  0x00000001, 0x00000001, 0x00000001, 0x00000001,
613  0x00000000, 0x00000001, 0x00000001, 0x00000001,
614  0x40000000, 0x40000001, 0x55555555, 0x66666666,
615  0x20000000, 0x20000000, 0x2aaaaaab, 0x33333333,
616  0x10000000, 0x10000000, 0x15555555, 0x1999999a,
617  0x08000000, 0x08000000, 0x0aaaaaab, 0x0ccccccd,
618  0x04000000, 0x04000000, 0x05555555, 0x06666666,
619  0x02000000, 0x02000000, 0x02aaaaab, 0x03333333,
620  0x01000000, 0x01000000, 0x01555555, 0x0199999a,
621  0x00800000, 0x00800000, 0x00aaaaab, 0x00cccccd,
622  0x00400000, 0x00400000, 0x00555555, 0x00666666,
623  0x00200000, 0x00200000, 0x002aaaab, 0x00333333,
624  0x00100000, 0x00100000, 0x00155555, 0x0019999a,
625  0x00080000, 0x00080000, 0x000aaaab, 0x000ccccd,
626  0x00040000, 0x00040000, 0x00055555, 0x00066666,
627  0x00020000, 0x00020000, 0x0002aaab, 0x00033333,
628  0x00010000, 0x00010000, 0x00015555, 0x0001999a,
629  0x00008000, 0x00008000, 0x0000aaab, 0x0000cccd,
630  0x00004000, 0x00004000, 0x00005555, 0x00006666,
631  0x00002000, 0x00002000, 0x00002aab, 0x00003333,
632  0x00001000, 0x00001000, 0x00001555, 0x0000199a,
633  0x00000800, 0x00000800, 0x00000aab, 0x00000ccd,
634  0x00000400, 0x00000400, 0x00000555, 0x00000666,
635  0x00000200, 0x00000200, 0x000002ab, 0x00000333,
636  0x00000100, 0x00000100, 0x00000155, 0x0000019a,
637  0x00000080, 0x00000080, 0x000000ab, 0x000000cd,
638  0x00000040, 0x00000040, 0x00000055, 0x00000066,
639  0x00000020, 0x00000020, 0x0000002b, 0x00000033,
640  0x00000010, 0x00000010, 0x00000015, 0x0000001a,
641  0x00000008, 0x00000008, 0x0000000b, 0x0000000d,
642  0x00000004, 0x00000004, 0x00000005, 0x00000006,
643  0x00000002, 0x00000002, 0x00000003, 0x00000003,
644  0x00000001, 0x00000001, 0x00000001, 0x00000002,
645  0x00000001, 0x00000001, 0x00000001, 0x00000001,
646  0x40000001, 0x55555555, 0x66666666, 0x7fffc000,
647  0x20000000, 0x2aaaaaab, 0x33333333, 0x3fffe000,
648  0x10000000, 0x15555555, 0x1999999a, 0x1ffff000,
649  0x08000000, 0x0aaaaaab, 0x0ccccccd, 0x0ffff800,
650  0x04000000, 0x05555555, 0x06666666, 0x07fffc00,
651  0x02000000, 0x02aaaaab, 0x03333333, 0x03fffe00,
652  0x01000000, 0x01555555, 0x0199999a, 0x01ffff00,
653  0x00800000, 0x00aaaaab, 0x00cccccd, 0x00ffff80,
654  0x00400000, 0x00555555, 0x00666666, 0x007fffc0,
655  0x00200000, 0x002aaaab, 0x00333333, 0x003fffe0,
656  0x00100000, 0x00155555, 0x0019999a, 0x001ffff0,
657  0x00080000, 0x000aaaab, 0x000ccccd, 0x000ffff8,
658  0x00040000, 0x00055555, 0x00066666, 0x0007fffc,
659  0x00020000, 0x0002aaab, 0x00033333, 0x0003fffe,
660  0x00010000, 0x00015555, 0x0001999a, 0x0001ffff,
661  0x00008000, 0x0000aaab, 0x0000cccd, 0x00010000,
662  0x00004000, 0x00005555, 0x00006666, 0x00008000,
663  0x00002000, 0x00002aab, 0x00003333, 0x00004000,
664  0x00001000, 0x00001555, 0x0000199a, 0x00002000,
665  0x00000800, 0x00000aab, 0x00000ccd, 0x00001000,
666  0x00000400, 0x00000555, 0x00000666, 0x00000800,
667  0x00000200, 0x000002ab, 0x00000333, 0x00000400,
668  0x00000100, 0x00000155, 0x0000019a, 0x00000200,
669  0x00000080, 0x000000ab, 0x000000cd, 0x00000100,
670  0x00000040, 0x00000055, 0x00000066, 0x00000080,
671  0x00000020, 0x0000002b, 0x00000033, 0x00000040,
672  0x00000010, 0x00000015, 0x0000001a, 0x00000020,
673  0x00000008, 0x0000000b, 0x0000000d, 0x00000010,
674  0x00000004, 0x00000005, 0x00000006, 0x00000008,
675  0x00000002, 0x00000003, 0x00000003, 0x00000004,
676  0x00000001, 0x00000001, 0x00000002, 0x00000002,
677  0x00000001, 0x00000001, 0x00000001, 0x00000001,
678  0x55555555, 0x66666666, 0x7fffc000, 0x7fffc001,
679  0x2aaaaaab, 0x33333333, 0x3fffe000, 0x3fffe000,
680  0x15555555, 0x1999999a, 0x1ffff000, 0x1ffff000,
681  0x0aaaaaab, 0x0ccccccd, 0x0ffff800, 0x0ffff800,
682  0x05555555, 0x06666666, 0x07fffc00, 0x07fffc00,
683  0x02aaaaab, 0x03333333, 0x03fffe00, 0x03fffe00,
684  0x01555555, 0x0199999a, 0x01ffff00, 0x01ffff00,
685  0x00aaaaab, 0x00cccccd, 0x00ffff80, 0x00ffff80,
686  0x00555555, 0x00666666, 0x007fffc0, 0x007fffc0,
687  0x002aaaab, 0x00333333, 0x003fffe0, 0x003fffe0,
688  0x00155555, 0x0019999a, 0x001ffff0, 0x001ffff0,
689  0x000aaaab, 0x000ccccd, 0x000ffff8, 0x000ffff8,
690  0x00055555, 0x00066666, 0x0007fffc, 0x0007fffc,
691  0x0002aaab, 0x00033333, 0x0003fffe, 0x0003fffe,
692  0x00015555, 0x0001999a, 0x0001ffff, 0x0001ffff,
693  0x0000aaab, 0x0000cccd, 0x00010000, 0x00010000,
694  0x00005555, 0x00006666, 0x00008000, 0x00008000,
695  0x00002aab, 0x00003333, 0x00004000, 0x00004000,
696  0x00001555, 0x0000199a, 0x00002000, 0x00002000,
697  0x00000aab, 0x00000ccd, 0x00001000, 0x00001000,
698  0x00000555, 0x00000666, 0x00000800, 0x00000800,
699  0x000002ab, 0x00000333, 0x00000400, 0x00000400,
700  0x00000155, 0x0000019a, 0x00000200, 0x00000200,
701  0x000000ab, 0x000000cd, 0x00000100, 0x00000100,
702  0x00000055, 0x00000066, 0x00000080, 0x00000080,
703  0x0000002b, 0x00000033, 0x00000040, 0x00000040,
704  0x00000015, 0x0000001a, 0x00000020, 0x00000020,
705  0x0000000b, 0x0000000d, 0x00000010, 0x00000010,
706  0x00000005, 0x00000006, 0x00000008, 0x00000008,
707  0x00000003, 0x00000003, 0x00000004, 0x00000004,
708  0x00000001, 0x00000002, 0x00000002, 0x00000002,
709  0x00000001, 0x00000001, 0x00000001, 0x00000001,
710  0x66666666, 0x7fffc000, 0x7fffc001, 0x7fffc001,
711  0x33333333, 0x3fffe000, 0x3fffe000, 0x3fffe001,
712  0x1999999a, 0x1ffff000, 0x1ffff000, 0x1ffff000,
713  0x0ccccccd, 0x0ffff800, 0x0ffff800, 0x0ffff800,
714  0x06666666, 0x07fffc00, 0x07fffc00, 0x07fffc00,
715  0x03333333, 0x03fffe00, 0x03fffe00, 0x03fffe00,
716  0x0199999a, 0x01ffff00, 0x01ffff00, 0x01ffff00,
717  0x00cccccd, 0x00ffff80, 0x00ffff80, 0x00ffff80,
718  0x00666666, 0x007fffc0, 0x007fffc0, 0x007fffc0,
719  0x00333333, 0x003fffe0, 0x003fffe0, 0x003fffe0,
720  0x0019999a, 0x001ffff0, 0x001ffff0, 0x001ffff0,
721  0x000ccccd, 0x000ffff8, 0x000ffff8, 0x000ffff8,
722  0x00066666, 0x0007fffc, 0x0007fffc, 0x0007fffc,
723  0x00033333, 0x0003fffe, 0x0003fffe, 0x0003fffe,
724  0x0001999a, 0x0001ffff, 0x0001ffff, 0x0001ffff,
725  0x0000cccd, 0x00010000, 0x00010000, 0x00010000,
726  0x00006666, 0x00008000, 0x00008000, 0x00008000,
727  0x00003333, 0x00004000, 0x00004000, 0x00004000,
728  0x0000199a, 0x00002000, 0x00002000, 0x00002000,
729  0x00000ccd, 0x00001000, 0x00001000, 0x00001000,
730  0x00000666, 0x00000800, 0x00000800, 0x00000800,
731  0x00000333, 0x00000400, 0x00000400, 0x00000400,
732  0x0000019a, 0x00000200, 0x00000200, 0x00000200,
733  0x000000cd, 0x00000100, 0x00000100, 0x00000100,
734  0x00000066, 0x00000080, 0x00000080, 0x00000080,
735  0x00000033, 0x00000040, 0x00000040, 0x00000040,
736  0x0000001a, 0x00000020, 0x00000020, 0x00000020,
737  0x0000000d, 0x00000010, 0x00000010, 0x00000010,
738  0x00000006, 0x00000008, 0x00000008, 0x00000008,
739  0x00000003, 0x00000004, 0x00000004, 0x00000004,
740  0x00000002, 0x00000002, 0x00000002, 0x00000002,
741  0x00000001, 0x00000001, 0x00000001, 0x00000001,
742  0x7fffc000, 0x7fffc001, 0x7fffc001, 0x7fffc002,
743  0x3fffe000, 0x3fffe000, 0x3fffe001, 0x3fffe001,
744  0x1ffff000, 0x1ffff000, 0x1ffff000, 0x1ffff000,
745  0x0ffff800, 0x0ffff800, 0x0ffff800, 0x0ffff800,
746  0x07fffc00, 0x07fffc00, 0x07fffc00, 0x07fffc00,
747  0x03fffe00, 0x03fffe00, 0x03fffe00, 0x03fffe00,
748  0x01ffff00, 0x01ffff00, 0x01ffff00, 0x01ffff00,
749  0x00ffff80, 0x00ffff80, 0x00ffff80, 0x00ffff80,
750  0x007fffc0, 0x007fffc0, 0x007fffc0, 0x007fffc0,
751  0x003fffe0, 0x003fffe0, 0x003fffe0, 0x003fffe0,
752  0x001ffff0, 0x001ffff0, 0x001ffff0, 0x001ffff0,
753  0x000ffff8, 0x000ffff8, 0x000ffff8, 0x000ffff8,
754  0x0007fffc, 0x0007fffc, 0x0007fffc, 0x0007fffc,
755  0x0003fffe, 0x0003fffe, 0x0003fffe, 0x0003fffe,
756  0x0001ffff, 0x0001ffff, 0x0001ffff, 0x0001ffff,
757  0x00010000, 0x00010000, 0x00010000, 0x00010000,
758  0x00008000, 0x00008000, 0x00008000, 0x00008000,
759  0x00004000, 0x00004000, 0x00004000, 0x00004000,
760  0x00002000, 0x00002000, 0x00002000, 0x00002000,
761  0x00001000, 0x00001000, 0x00001000, 0x00001000,
762  0x00000800, 0x00000800, 0x00000800, 0x00000800,
763  0x00000400, 0x00000400, 0x00000400, 0x00000400,
764  0x00000200, 0x00000200, 0x00000200, 0x00000200,
765  0x00000100, 0x00000100, 0x00000100, 0x00000100,
766  0x00000080, 0x00000080, 0x00000080, 0x00000080,
767  0x00000040, 0x00000040, 0x00000040, 0x00000040,
768  0x00000020, 0x00000020, 0x00000020, 0x00000020,
769  0x00000010, 0x00000010, 0x00000010, 0x00000010,
770  0x00000008, 0x00000008, 0x00000008, 0x00000008,
771  0x00000004, 0x00000004, 0x00000004, 0x00000004,
772  0x00000002, 0x00000002, 0x00000002, 0x00000002,
773  0x00000001, 0x00000001, 0x00000001, 0x00000001,
774  0x7fffc001, 0x7fffc001, 0x7fffc002, 0x7fffffc0,
775  0x3fffe000, 0x3fffe001, 0x3fffe001, 0x3fffffe0,
776  0x1ffff000, 0x1ffff000, 0x1ffff000, 0x1ffffff0,
777  0x0ffff800, 0x0ffff800, 0x0ffff800, 0x0ffffff8,
778  0x07fffc00, 0x07fffc00, 0x07fffc00, 0x07fffffc,
779  0x03fffe00, 0x03fffe00, 0x03fffe00, 0x03fffffe,
780  0x01ffff00, 0x01ffff00, 0x01ffff00, 0x01ffffff,
781  0x00ffff80, 0x00ffff80, 0x00ffff80, 0x01000000,
782  0x007fffc0, 0x007fffc0, 0x007fffc0, 0x00800000,
783  0x003fffe0, 0x003fffe0, 0x003fffe0, 0x00400000,
784  0x001ffff0, 0x001ffff0, 0x001ffff0, 0x00200000,
785  0x000ffff8, 0x000ffff8, 0x000ffff8, 0x00100000,
786  0x0007fffc, 0x0007fffc, 0x0007fffc, 0x00080000,
787  0x0003fffe, 0x0003fffe, 0x0003fffe, 0x00040000,
788  0x0001ffff, 0x0001ffff, 0x0001ffff, 0x00020000,
789  0x00010000, 0x00010000, 0x00010000, 0x00010000,
790  0x00008000, 0x00008000, 0x00008000, 0x00008000,
791  0x00004000, 0x00004000, 0x00004000, 0x00004000,
792  0x00002000, 0x00002000, 0x00002000, 0x00002000,
793  0x00001000, 0x00001000, 0x00001000, 0x00001000,
794  0x00000800, 0x00000800, 0x00000800, 0x00000800,
795  0x00000400, 0x00000400, 0x00000400, 0x00000400,
796  0x00000200, 0x00000200, 0x00000200, 0x00000200,
797  0x00000100, 0x00000100, 0x00000100, 0x00000100,
798  0x00000080, 0x00000080, 0x00000080, 0x00000080,
799  0x00000040, 0x00000040, 0x00000040, 0x00000040,
800  0x00000020, 0x00000020, 0x00000020, 0x00000020,
801  0x00000010, 0x00000010, 0x00000010, 0x00000010,
802  0x00000008, 0x00000008, 0x00000008, 0x00000008,
803  0x00000004, 0x00000004, 0x00000004, 0x00000004,
804  0x00000002, 0x00000002, 0x00000002, 0x00000002,
805  0x00000001, 0x00000001, 0x00000001, 0x00000001,
806  0x7fffc001, 0x7fffc002, 0x7fffffc0, 0x7fffffc1,
807  0x3fffe001, 0x3fffe001, 0x3fffffe0, 0x3fffffe0,
808  0x1ffff000, 0x1ffff000, 0x1ffffff0, 0x1ffffff0,
809  0x0ffff800, 0x0ffff800, 0x0ffffff8, 0x0ffffff8,
810  0x07fffc00, 0x07fffc00, 0x07fffffc, 0x07fffffc,
811  0x03fffe00, 0x03fffe00, 0x03fffffe, 0x03fffffe,
812  0x01ffff00, 0x01ffff00, 0x01ffffff, 0x01ffffff,
813  0x00ffff80, 0x00ffff80, 0x01000000, 0x01000000,
814  0x007fffc0, 0x007fffc0, 0x00800000, 0x00800000,
815  0x003fffe0, 0x003fffe0, 0x00400000, 0x00400000,
816  0x001ffff0, 0x001ffff0, 0x00200000, 0x00200000,
817  0x000ffff8, 0x000ffff8, 0x00100000, 0x00100000,
818  0x0007fffc, 0x0007fffc, 0x00080000, 0x00080000,
819  0x0003fffe, 0x0003fffe, 0x00040000, 0x00040000,
820  0x0001ffff, 0x0001ffff, 0x00020000, 0x00020000,
821  0x00010000, 0x00010000, 0x00010000, 0x00010000,
822  0x00008000, 0x00008000, 0x00008000, 0x00008000,
823  0x00004000, 0x00004000, 0x00004000, 0x00004000,
824  0x00002000, 0x00002000, 0x00002000, 0x00002000,
825  0x00001000, 0x00001000, 0x00001000, 0x00001000,
826  0x00000800, 0x00000800, 0x00000800, 0x00000800,
827  0x00000400, 0x00000400, 0x00000400, 0x00000400,
828  0x00000200, 0x00000200, 0x00000200, 0x00000200,
829  0x00000100, 0x00000100, 0x00000100, 0x00000100,
830  0x00000080, 0x00000080, 0x00000080, 0x00000080,
831  0x00000040, 0x00000040, 0x00000040, 0x00000040,
832  0x00000020, 0x00000020, 0x00000020, 0x00000020,
833  0x00000010, 0x00000010, 0x00000010, 0x00000010,
834  0x00000008, 0x00000008, 0x00000008, 0x00000008,
835  0x00000004, 0x00000004, 0x00000004, 0x00000004,
836  0x00000002, 0x00000002, 0x00000002, 0x00000002,
837  0x00000001, 0x00000001, 0x00000001, 0x00000001,
838  0x7fffc002, 0x7fffffc0, 0x7fffffc1, 0x7fffffc1,
839  0x3fffe001, 0x3fffffe0, 0x3fffffe0, 0x3fffffe1,
840  0x1ffff000, 0x1ffffff0, 0x1ffffff0, 0x1ffffff0,
841  0x0ffff800, 0x0ffffff8, 0x0ffffff8, 0x0ffffff8,
842  0x07fffc00, 0x07fffffc, 0x07fffffc, 0x07fffffc,
843  0x03fffe00, 0x03fffffe, 0x03fffffe, 0x03fffffe,
844  0x01ffff00, 0x01ffffff, 0x01ffffff, 0x01ffffff,
845  0x00ffff80, 0x01000000, 0x01000000, 0x01000000,
846  0x007fffc0, 0x00800000, 0x00800000, 0x00800000,
847  0x003fffe0, 0x00400000, 0x00400000, 0x00400000,
848  0x001ffff0, 0x00200000, 0x00200000, 0x00200000,
849  0x000ffff8, 0x00100000, 0x00100000, 0x00100000,
850  0x0007fffc, 0x00080000, 0x00080000, 0x00080000,
851  0x0003fffe, 0x00040000, 0x00040000, 0x00040000,
852  0x0001ffff, 0x00020000, 0x00020000, 0x00020000,
853  0x00010000, 0x00010000, 0x00010000, 0x00010000,
854  0x00008000, 0x00008000, 0x00008000, 0x00008000,
855  0x00004000, 0x00004000, 0x00004000, 0x00004000,
856  0x00002000, 0x00002000, 0x00002000, 0x00002000,
857  0x00001000, 0x00001000, 0x00001000, 0x00001000,
858  0x00000800, 0x00000800, 0x00000800, 0x00000800,
859  0x00000400, 0x00000400, 0x00000400, 0x00000400,
860  0x00000200, 0x00000200, 0x00000200, 0x00000200,
861  0x00000100, 0x00000100, 0x00000100, 0x00000100,
862  0x00000080, 0x00000080, 0x00000080, 0x00000080,
863  0x00000040, 0x00000040, 0x00000040, 0x00000040,
864  0x00000020, 0x00000020, 0x00000020, 0x00000020,
865  0x00000010, 0x00000010, 0x00000010, 0x00000010,
866  0x00000008, 0x00000008, 0x00000008, 0x00000008,
867  0x00000004, 0x00000004, 0x00000004, 0x00000004,
868  0x00000002, 0x00000002, 0x00000002, 0x00000002,
869  0x00000001, 0x00000001, 0x00000001, 0x00000001,
870  0x7fffffc0, 0x7fffffc1, 0x7fffffc1, 0x7fffffc2,
871  0x3fffffe0, 0x3fffffe0, 0x3fffffe1, 0x3fffffe1,
872  0x1ffffff0, 0x1ffffff0, 0x1ffffff0, 0x1ffffff0,
873  0x0ffffff8, 0x0ffffff8, 0x0ffffff8, 0x0ffffff8,
874  0x07fffffc, 0x07fffffc, 0x07fffffc, 0x07fffffc,
875  0x03fffffe, 0x03fffffe, 0x03fffffe, 0x03fffffe,
876  0x01ffffff, 0x01ffffff, 0x01ffffff, 0x01ffffff,
877  0x01000000, 0x01000000, 0x01000000, 0x01000000,
878  0x00800000, 0x00800000, 0x00800000, 0x00800000,
879  0x00400000, 0x00400000, 0x00400000, 0x00400000,
880  0x00200000, 0x00200000, 0x00200000, 0x00200000,
881  0x00100000, 0x00100000, 0x00100000, 0x00100000,
882  0x00080000, 0x00080000, 0x00080000, 0x00080000,
883  0x00040000, 0x00040000, 0x00040000, 0x00040000,
884  0x00020000, 0x00020000, 0x00020000, 0x00020000,
885  0x00010000, 0x00010000, 0x00010000, 0x00010000,
886  0x00008000, 0x00008000, 0x00008000, 0x00008000,
887  0x00004000, 0x00004000, 0x00004000, 0x00004000,
888  0x00002000, 0x00002000, 0x00002000, 0x00002000,
889  0x00001000, 0x00001000, 0x00001000, 0x00001000,
890  0x00000800, 0x00000800, 0x00000800, 0x00000800,
891  0x00000400, 0x00000400, 0x00000400, 0x00000400,
892  0x00000200, 0x00000200, 0x00000200, 0x00000200,
893  0x00000100, 0x00000100, 0x00000100, 0x00000100,
894  0x00000080, 0x00000080, 0x00000080, 0x00000080,
895  0x00000040, 0x00000040, 0x00000040, 0x00000040,
896  0x00000020, 0x00000020, 0x00000020, 0x00000020,
897  0x00000010, 0x00000010, 0x00000010, 0x00000010,
898  0x00000008, 0x00000008, 0x00000008, 0x00000008,
899  0x00000004, 0x00000004, 0x00000004, 0x00000004,
900  0x00000002, 0x00000002, 0x00000002, 0x00000002,
901  0x00000001, 0x00000001, 0x00000001, 0x00000001,
902  0x7fffffc1, 0x7fffffc1, 0x7fffffc2, 0x7ffffff0,
903  0x3fffffe0, 0x3fffffe1, 0x3fffffe1, 0x3ffffff8,
904  0x1ffffff0, 0x1ffffff0, 0x1ffffff0, 0x1ffffffc,
905  0x0ffffff8, 0x0ffffff8, 0x0ffffff8, 0x0ffffffe,
906  0x07fffffc, 0x07fffffc, 0x07fffffc, 0x07ffffff,
907  0x03fffffe, 0x03fffffe, 0x03fffffe, 0x04000000,
908  0x01ffffff, 0x01ffffff, 0x01ffffff, 0x02000000,
909  0x01000000, 0x01000000, 0x01000000, 0x01000000,
910  0x00800000, 0x00800000, 0x00800000, 0x00800000,
911  0x00400000, 0x00400000, 0x00400000, 0x00400000,
912  0x00200000, 0x00200000, 0x00200000, 0x00200000,
913  0x00100000, 0x00100000, 0x00100000, 0x00100000,
914  0x00080000, 0x00080000, 0x00080000, 0x00080000,
915  0x00040000, 0x00040000, 0x00040000, 0x00040000,
916  0x00020000, 0x00020000, 0x00020000, 0x00020000,
917  0x00010000, 0x00010000, 0x00010000, 0x00010000,
918  0x00008000, 0x00008000, 0x00008000, 0x00008000,
919  0x00004000, 0x00004000, 0x00004000, 0x00004000,
920  0x00002000, 0x00002000, 0x00002000, 0x00002000,
921  0x00001000, 0x00001000, 0x00001000, 0x00001000,
922  0x00000800, 0x00000800, 0x00000800, 0x00000800,
923  0x00000400, 0x00000400, 0x00000400, 0x00000400,
924  0x00000200, 0x00000200, 0x00000200, 0x00000200,
925  0x00000100, 0x00000100, 0x00000100, 0x00000100,
926  0x00000080, 0x00000080, 0x00000080, 0x00000080,
927  0x00000040, 0x00000040, 0x00000040, 0x00000040,
928  0x00000020, 0x00000020, 0x00000020, 0x00000020,
929  0x00000010, 0x00000010, 0x00000010, 0x00000010,
930  0x00000008, 0x00000008, 0x00000008, 0x00000008,
931  0x00000004, 0x00000004, 0x00000004, 0x00000004,
932  0x00000002, 0x00000002, 0x00000002, 0x00000002,
933  0x00000001, 0x00000001, 0x00000001, 0x00000001,
934  0x7fffffc1, 0x7fffffc2, 0x7ffffff0, 0x7fffffff,
935  0x3fffffe1, 0x3fffffe1, 0x3ffffff8, 0x3fffffff,
936  0x1ffffff0, 0x1ffffff0, 0x1ffffffc, 0x20000000,
937  0x0ffffff8, 0x0ffffff8, 0x0ffffffe, 0x10000000,
938  0x07fffffc, 0x07fffffc, 0x07ffffff, 0x08000000,
939  0x03fffffe, 0x03fffffe, 0x04000000, 0x04000000,
940  0x01ffffff, 0x01ffffff, 0x02000000, 0x02000000,
941  0x01000000, 0x01000000, 0x01000000, 0x01000000,
942  0x00800000, 0x00800000, 0x00800000, 0x00800000,
943  0x00400000, 0x00400000, 0x00400000, 0x00400000,
944  0x00200000, 0x00200000, 0x00200000, 0x00200000,
945  0x00100000, 0x00100000, 0x00100000, 0x00100000,
946  0x00080000, 0x00080000, 0x00080000, 0x00080000,
947  0x00040000, 0x00040000, 0x00040000, 0x00040000,
948  0x00020000, 0x00020000, 0x00020000, 0x00020000,
949  0x00010000, 0x00010000, 0x00010000, 0x00010000,
950  0x00008000, 0x00008000, 0x00008000, 0x00008000,
951  0x00004000, 0x00004000, 0x00004000, 0x00004000,
952  0x00002000, 0x00002000, 0x00002000, 0x00002000,
953  0x00001000, 0x00001000, 0x00001000, 0x00001000,
954  0x00000800, 0x00000800, 0x00000800, 0x00000800,
955  0x00000400, 0x00000400, 0x00000400, 0x00000400,
956  0x00000200, 0x00000200, 0x00000200, 0x00000200,
957  0x00000100, 0x00000100, 0x00000100, 0x00000100,
958  0x00000080, 0x00000080, 0x00000080, 0x00000080,
959  0x00000040, 0x00000040, 0x00000040, 0x00000040,
960  0x00000020, 0x00000020, 0x00000020, 0x00000020,
961  0x00000010, 0x00000010, 0x00000010, 0x00000010,
962  0x00000008, 0x00000008, 0x00000008, 0x00000008,
963  0x00000004, 0x00000004, 0x00000004, 0x00000004,
964  0x00000002, 0x00000002, 0x00000002, 0x00000002,
965  0x00000001, 0x00000001, 0x00000001, 0x00000001,
966  0x7fffffc2, 0x7ffffff0, 0x7fffffff, 0x7fffffff,
967  0x3fffffe1, 0x3ffffff8, 0x3fffffff, 0x40000000,
968  0x1ffffff0, 0x1ffffffc, 0x20000000, 0x20000000,
969  0x0ffffff8, 0x0ffffffe, 0x10000000, 0x10000000,
970  0x07fffffc, 0x07ffffff, 0x08000000, 0x08000000,
971  0x03fffffe, 0x04000000, 0x04000000, 0x04000000,
972  0x01ffffff, 0x02000000, 0x02000000, 0x02000000,
973  0x01000000, 0x01000000, 0x01000000, 0x01000000,
974  0x00800000, 0x00800000, 0x00800000, 0x00800000,
975  0x00400000, 0x00400000, 0x00400000, 0x00400000,
976  0x00200000, 0x00200000, 0x00200000, 0x00200000,
977  0x00100000, 0x00100000, 0x00100000, 0x00100000,
978  0x00080000, 0x00080000, 0x00080000, 0x00080000,
979  0x00040000, 0x00040000, 0x00040000, 0x00040000,
980  0x00020000, 0x00020000, 0x00020000, 0x00020000,
981  0x00010000, 0x00010000, 0x00010000, 0x00010000,
982  0x00008000, 0x00008000, 0x00008000, 0x00008000,
983  0x00004000, 0x00004000, 0x00004000, 0x00004000,
984  0x00002000, 0x00002000, 0x00002000, 0x00002000,
985  0x00001000, 0x00001000, 0x00001000, 0x00001000,
986  0x00000800, 0x00000800, 0x00000800, 0x00000800,
987  0x00000400, 0x00000400, 0x00000400, 0x00000400,
988  0x00000200, 0x00000200, 0x00000200, 0x00000200,
989  0x00000100, 0x00000100, 0x00000100, 0x00000100,
990  0x00000080, 0x00000080, 0x00000080, 0x00000080,
991  0x00000040, 0x00000040, 0x00000040, 0x00000040,
992  0x00000020, 0x00000020, 0x00000020, 0x00000020,
993  0x00000010, 0x00000010, 0x00000010, 0x00000010,
994  0x00000008, 0x00000008, 0x00000008, 0x00000008,
995  0x00000004, 0x00000004, 0x00000004, 0x00000004,
996  0x00000002, 0x00000002, 0x00000002, 0x00000002,
997  0x00000001, 0x00000001, 0x00000001, 0x00000001,
998  0x7ffffff0, 0x7fffffff, 0x7fffffff, 0x80000000,
999  0x3ffffff8, 0x3fffffff, 0x40000000, 0x40000000,
1000  0x1ffffffc, 0x20000000, 0x20000000, 0x20000000,
1001  0x0ffffffe, 0x10000000, 0x10000000, 0x10000000,
1002  0x07ffffff, 0x08000000, 0x08000000, 0x08000000,
1003  0x04000000, 0x04000000, 0x04000000, 0x04000000,
1004  0x02000000, 0x02000000, 0x02000000, 0x02000000,
1005  0x01000000, 0x01000000, 0x01000000, 0x01000000,
1006  0x00800000, 0x00800000, 0x00800000, 0x00800000,
1007  0x00400000, 0x00400000, 0x00400000, 0x00400000,
1008  0x00200000, 0x00200000, 0x00200000, 0x00200000,
1009  0x00100000, 0x00100000, 0x00100000, 0x00100000,
1010  0x00080000, 0x00080000, 0x00080000, 0x00080000,
1011  0x00040000, 0x00040000, 0x00040000, 0x00040000,
1012  0x00020000, 0x00020000, 0x00020000, 0x00020000,
1013  0x00010000, 0x00010000, 0x00010000, 0x00010000,
1014  0x00008000, 0x00008000, 0x00008000, 0x00008000,
1015  0x00004000, 0x00004000, 0x00004000, 0x00004000,
1016  0x00002000, 0x00002000, 0x00002000, 0x00002000,
1017  0x00001000, 0x00001000, 0x00001000, 0x00001000,
1018  0x00000800, 0x00000800, 0x00000800, 0x00000800,
1019  0x00000400, 0x00000400, 0x00000400, 0x00000400,
1020  0x00000200, 0x00000200, 0x00000200, 0x00000200,
1021  0x00000100, 0x00000100, 0x00000100, 0x00000100,
1022  0x00000080, 0x00000080, 0x00000080, 0x00000080,
1023  0x00000040, 0x00000040, 0x00000040, 0x00000040,
1024  0x00000020, 0x00000020, 0x00000020, 0x00000020,
1025  0x00000010, 0x00000010, 0x00000010, 0x00000010,
1026  0x00000008, 0x00000008, 0x00000008, 0x00000008,
1027  0x00000004, 0x00000004, 0x00000004, 0x00000004,
1028  0x00000002, 0x00000002, 0x00000002, 0x00000002,
1029  0x00000001, 0x00000001, 0x00000001, 0x00000001,
1030};
1031const unsigned kExpectedCount_NEON_urshr_4S_2OPIMM = 992;
1032
1033#endif  // VIXL_SIM_URSHR_4S_2OPIMM_TRACE_AARCH64_H_
1034