• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 // Copyright 2015, VIXL authors
2 // All rights reserved.
3 //
4 // Redistribution and use in source and binary forms, with or without
5 // modification, are permitted provided that the following conditions are met:
6 //
7 //   * Redistributions of source code must retain the above copyright notice,
8 //     this list of conditions and the following disclaimer.
9 //   * Redistributions in binary form must reproduce the above copyright notice,
10 //     this list of conditions and the following disclaimer in the documentation
11 //     and/or other materials provided with the distribution.
12 //   * Neither the name of ARM Limited nor the names of its contributors may be
13 //     used to endorse or promote products derived from this software without
14 //     specific prior written permission.
15 //
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26 
27 
28 // ---------------------------------------------------------------------
29 // This file is auto generated using tools/generate_simulator_traces.py.
30 //
31 // PLEASE DO NOT EDIT.
32 // ---------------------------------------------------------------------
33 
34 #ifndef VIXL_SIM_URSHL_4S_TRACE_AARCH64_H_
35 #define VIXL_SIM_URSHL_4S_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_NEON_urshl_4S[] = {
38   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
39   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
40   0x00007e00, 0x00007f00, 0x00fffa00, 0x00000000,
41   0x00007e00, 0x0000fe00, 0x01fff400, 0x00000000,
42   0x0000fc00, 0x0001fc00, 0x00000000, 0x00000000,
43   0x0001f800, 0x00000000, 0x00000000, 0x00000000,
44   0x00000000, 0x00000000, 0x00000000, 0x00000000,
45   0x00000000, 0x00000000, 0x00000000, 0x00000000,
46   0x00000000, 0x00000000, 0x000fffa0, 0x00000000,
47   0x00000000, 0x00000fe0, 0x001fff40, 0x00000000,
48   0x00000fc0, 0x00001fc0, 0x003ffe80, 0x00000000,
49   0x00001f80, 0x00003f80, 0x00000000, 0x00000000,
50   0x00003f00, 0x00000000, 0x00000000, 0x00000000,
51   0x00000000, 0x00000000, 0x000fffa0, 0x00000000,
52   0x00000000, 0x00000fe0, 0x001fff40, 0x00000000,
53   0x00000fc0, 0x00001fc0, 0x003ffe80, 0x00000000,
54   0x00001f80, 0x00003f80, 0x007ffd00, 0x00000000,
55   0x00003f00, 0x00007f00, 0x00fffa00, 0x00000000,
56   0x00007e00, 0x0000fe00, 0x00000000, 0x00000000,
57   0x0000fc00, 0x00000000, 0x00000000, 0x00000000,
58   0x00000000, 0x00000000, 0x007ffd00, 0x00000000,
59   0x00000000, 0x00007f00, 0x00fffa00, 0x00000000,
60   0x00007e00, 0x0000fe00, 0x01fff400, 0x00000000,
61   0x0000fc00, 0x0001fc00, 0x03ffe800, 0x00000000,
62   0x0001f800, 0x0003f800, 0x00000000, 0x00000000,
63   0x0003f000, 0x00000000, 0x00000000, 0x00000000,
64   0x00000000, 0x00000000, 0x00000000, 0x00000000,
65   0x00000000, 0x00000000, 0x00000000, 0x00000000,
66   0x00000000, 0x00000000, 0x00000000, 0x00000000,
67   0x00000000, 0x00000000, 0x000fffa0, 0x00000000,
68   0x00000000, 0x00000fe0, 0x001fff40, 0x00000000,
69   0x00000fe0, 0x001fff40, 0x00000000, 0x00000001,
70   0x00001fc0, 0x003ffe80, 0x00000000, 0x00000002,
71   0x00003f80, 0x007ffd00, 0x00000000, 0x00000004,
72   0x00007f00, 0x00fffa00, 0x00000000, 0x00000000,
73   0x0000fe00, 0x01fff400, 0x00000000, 0x00000000,
74   0x0001fc00, 0x00000000, 0x00000000, 0x00000000,
75   0x00000000, 0x00000000, 0x00000000, 0x00000000,
76   0x00000000, 0x00000000, 0x00000000, 0x00000000,
77   0x00000000, 0x00000000, 0x00000000, 0x00000000,
78   0x00000000, 0x000fffa0, 0x00000000, 0x00000001,
79   0x00000fe0, 0x001fff40, 0x00000000, 0x00000000,
80   0x00001fc0, 0x003ffe80, 0x00000000, 0x00000000,
81   0x00003f80, 0x00000000, 0x00000000, 0x00000000,
82   0x00000000, 0x00000000, 0x00000000, 0x00000000,
83   0x00000000, 0x000fffa0, 0x00000000, 0x00000001,
84   0x00000fe0, 0x001fff40, 0x00000000, 0x00000001,
85   0x00001fc0, 0x003ffe80, 0x00000000, 0x00000002,
86   0x00003f80, 0x007ffd00, 0x00000000, 0x00000000,
87   0x00007f00, 0x00fffa00, 0x00000000, 0x00000000,
88   0x0000fe00, 0x00000000, 0x00000000, 0x00000001,
89   0x00000000, 0x00000000, 0x00000000, 0x00000002,
90   0x00000000, 0x007ffd00, 0x00000000, 0x00000004,
91   0x00007f00, 0x00fffa00, 0x00000000, 0x00000008,
92   0x0000fe00, 0x01fff400, 0x00000000, 0x00000000,
93   0x0001fc00, 0x03ffe800, 0x00000000, 0x00000000,
94   0x0003f800, 0x00000000, 0x00000000, 0x00000000,
95   0x00000000, 0x00000000, 0x00000000, 0x00000000,
96   0x00000000, 0x00000000, 0x00000000, 0x00000000,
97   0x00000000, 0x00000000, 0x00000000, 0x00000000,
98   0x00000000, 0x00000000, 0x00000000, 0x00000000,
99   0x00000000, 0x000fffa0, 0x00000000, 0x00000001,
100   0x000fffa0, 0x00000000, 0x00000001, 0x00000002,
101   0x001fff40, 0x00000000, 0x00000001, 0x00000004,
102   0x003ffe80, 0x00000000, 0x00000002, 0x00000008,
103   0x007ffd00, 0x00000000, 0x00000004, 0x00000000,
104   0x00fffa00, 0x00000000, 0x00000000, 0x00000000,
105   0x01fff400, 0x00000000, 0x00000000, 0x00000000,
106   0x00000000, 0x00000000, 0x00000000, 0x00000000,
107   0x00000000, 0x00000000, 0x00000000, 0x00000000,
108   0x00000000, 0x00000000, 0x00000000, 0x00000001,
109   0x00000000, 0x00000000, 0x00000000, 0x00000001,
110   0x000fffa0, 0x00000000, 0x00000001, 0x00000000,
111   0x001fff40, 0x00000000, 0x00000000, 0x00000000,
112   0x003ffe80, 0x00000000, 0x00000000, 0x00000000,
113   0x00000000, 0x00000000, 0x00000000, 0x00000001,
114   0x00000000, 0x00000000, 0x00000000, 0x00000001,
115   0x000fffa0, 0x00000000, 0x00000001, 0x00000002,
116   0x001fff40, 0x00000000, 0x00000001, 0x00000004,
117   0x003ffe80, 0x00000000, 0x00000002, 0x00000000,
118   0x007ffd00, 0x00000000, 0x00000000, 0x00000000,
119   0x00fffa00, 0x00000000, 0x00000000, 0x00000002,
120   0x00000000, 0x00000000, 0x00000001, 0x00000004,
121   0x00000000, 0x00000000, 0x00000002, 0x00000008,
122   0x007ffd00, 0x00000000, 0x00000004, 0x00000010,
123   0x00fffa00, 0x00000000, 0x00000008, 0x00000000,
124   0x01fff400, 0x00000000, 0x00000000, 0x00000000,
125   0x03ffe800, 0x00000000, 0x00000000, 0x00000000,
126   0x00000000, 0x00000000, 0x00000000, 0x00000000,
127   0x00000000, 0x00000000, 0x00000000, 0x00000000,
128   0x00000000, 0x00000000, 0x00000000, 0x00000000,
129   0x00000000, 0x00000000, 0x00000000, 0x00000001,
130   0x00000000, 0x00000000, 0x00000000, 0x00000001,
131   0x00000000, 0x00000000, 0x00000001, 0x00000020,
132   0x00000000, 0x00000001, 0x00000002, 0x00000040,
133   0x00000000, 0x00000001, 0x00000004, 0x00000080,
134   0x00000000, 0x00000002, 0x00000008, 0x00000000,
135   0x00000000, 0x00000004, 0x00000000, 0x00000000,
136   0x00000000, 0x00000000, 0x00000000, 0x00000000,
137   0x00000000, 0x00000000, 0x00000000, 0x00000000,
138   0x00000000, 0x00000000, 0x00000000, 0x00000004,
139   0x00000000, 0x00000000, 0x00000000, 0x00000008,
140   0x00000000, 0x00000000, 0x00000001, 0x00000010,
141   0x00000000, 0x00000000, 0x00000001, 0x00000000,
142   0x00000000, 0x00000001, 0x00000000, 0x00000000,
143   0x00000000, 0x00000000, 0x00000000, 0x00000004,
144   0x00000000, 0x00000000, 0x00000000, 0x00000008,
145   0x00000000, 0x00000000, 0x00000001, 0x00000010,
146   0x00000000, 0x00000000, 0x00000001, 0x00000020,
147   0x00000000, 0x00000001, 0x00000002, 0x00000040,
148   0x00000000, 0x00000001, 0x00000004, 0x00000000,
149   0x00000000, 0x00000002, 0x00000000, 0x00000000,
150   0x00000000, 0x00000000, 0x00000000, 0x00000020,
151   0x00000000, 0x00000000, 0x00000002, 0x00000040,
152   0x00000000, 0x00000001, 0x00000004, 0x00000080,
153   0x00000000, 0x00000002, 0x00000008, 0x00000100,
154   0x00000000, 0x00000004, 0x00000010, 0x00000000,
155   0x00000000, 0x00000008, 0x00000000, 0x00000000,
156   0x00000000, 0x00000000, 0x00000000, 0x00000000,
157   0x00000000, 0x00000000, 0x00000000, 0x00000000,
158   0x00000000, 0x00000000, 0x00000000, 0x00000000,
159   0x00000000, 0x00000000, 0x00000000, 0x00000004,
160   0x00000000, 0x00000000, 0x00000000, 0x00000008,
161   0x00000000, 0x00000000, 0x00000001, 0x00000010,
162   0x00000000, 0x00000001, 0x00000010, 0x0000007d,
163   0x00000000, 0x00000001, 0x00000020, 0x000000fa,
164   0x00000001, 0x00000002, 0x00000040, 0x000001f4,
165   0x00000001, 0x00000004, 0x00000080, 0x00000000,
166   0x00000002, 0x00000008, 0x00000000, 0x00000000,
167   0x00000004, 0x00000000, 0x00000000, 0x00000000,
168   0x00000000, 0x00000000, 0x00000000, 0x00000000,
169   0x00000000, 0x00000000, 0x00000000, 0x00000010,
170   0x00000000, 0x00000000, 0x00000004, 0x0000001f,
171   0x00000000, 0x00000000, 0x00000008, 0x0000003f,
172   0x00000000, 0x00000001, 0x00000010, 0x00000000,
173   0x00000000, 0x00000001, 0x00000000, 0x00000000,
174   0x00000001, 0x00000000, 0x00000000, 0x00000010,
175   0x00000000, 0x00000000, 0x00000004, 0x0000001f,
176   0x00000000, 0x00000000, 0x00000008, 0x0000003f,
177   0x00000000, 0x00000001, 0x00000010, 0x0000007d,
178   0x00000000, 0x00000001, 0x00000020, 0x000000fa,
179   0x00000001, 0x00000002, 0x00000040, 0x00000000,
180   0x00000001, 0x00000004, 0x00000000, 0x00000000,
181   0x00000002, 0x00000000, 0x00000000, 0x0000007d,
182   0x00000000, 0x00000000, 0x00000020, 0x000000fa,
183   0x00000000, 0x00000002, 0x00000040, 0x000001f4,
184   0x00000001, 0x00000004, 0x00000080, 0x000003e8,
185   0x00000002, 0x00000008, 0x00000100, 0x00000000,
186   0x00000004, 0x00000010, 0x00000000, 0x00000000,
187   0x00000008, 0x00000000, 0x00000000, 0x00000000,
188   0x00000000, 0x00000000, 0x00000000, 0x00000000,
189   0x00000000, 0x00000000, 0x00000000, 0x00000000,
190   0x00000000, 0x00000000, 0x00000000, 0x00000010,
191   0x00000000, 0x00000000, 0x00000004, 0x0000001f,
192   0x00000000, 0x00000000, 0x00000008, 0x0000003f,
193   0x00000000, 0x00000008, 0x0000003f, 0x0000007e,
194   0x00000001, 0x00000010, 0x0000007d, 0x000000fc,
195   0x00000001, 0x00000020, 0x000000fa, 0x000001f8,
196   0x00000002, 0x00000040, 0x000001f4, 0x00000000,
197   0x00000004, 0x00000080, 0x00000000, 0x00000000,
198   0x00000008, 0x00000000, 0x00000000, 0x00000000,
199   0x00000000, 0x00000000, 0x00000000, 0x00000000,
200   0x00000000, 0x00000000, 0x00000000, 0x00000010,
201   0x00000000, 0x00000000, 0x00000010, 0x00000020,
202   0x00000000, 0x00000004, 0x0000001f, 0x0000003f,
203   0x00000000, 0x00000008, 0x0000003f, 0x00000000,
204   0x00000001, 0x00000010, 0x00000000, 0x00000000,
205   0x00000001, 0x00000000, 0x00000000, 0x00000010,
206   0x00000000, 0x00000000, 0x00000010, 0x00000020,
207   0x00000000, 0x00000004, 0x0000001f, 0x0000003f,
208   0x00000000, 0x00000008, 0x0000003f, 0x0000007e,
209   0x00000001, 0x00000010, 0x0000007d, 0x000000fc,
210   0x00000001, 0x00000020, 0x000000fa, 0x00000000,
211   0x00000002, 0x00000040, 0x00000000, 0x00000000,
212   0x00000004, 0x00000000, 0x00000000, 0x0000007e,
213   0x00000000, 0x00000000, 0x0000007d, 0x000000fc,
214   0x00000000, 0x00000020, 0x000000fa, 0x000001f8,
215   0x00000002, 0x00000040, 0x000001f4, 0x000003f0,
216   0x00000004, 0x00000080, 0x000003e8, 0x00000000,
217   0x00000008, 0x00000100, 0x00000000, 0x00000000,
218   0x00000010, 0x00000000, 0x00000000, 0x00000000,
219   0x00000000, 0x00000000, 0x00000000, 0x00000000,
220   0x00000000, 0x00000000, 0x00000000, 0x00000000,
221   0x00000000, 0x00000000, 0x00000000, 0x00000010,
222   0x00000000, 0x00000000, 0x00000010, 0x00000020,
223   0x00000000, 0x00000004, 0x0000001f, 0x0000003f,
224   0x00000004, 0x0000001f, 0x0000003f, 0x0000007f,
225   0x00000008, 0x0000003f, 0x0000007e, 0x000000fe,
226   0x00000010, 0x0000007d, 0x000000fc, 0x000001fc,
227   0x00000020, 0x000000fa, 0x000001f8, 0x00000000,
228   0x00000040, 0x000001f4, 0x00000000, 0x00000000,
229   0x00000080, 0x00000000, 0x00000000, 0x00000000,
230   0x00000000, 0x00000000, 0x00000000, 0x00000000,
231   0x00000000, 0x00000000, 0x00000000, 0x00000010,
232   0x00000000, 0x00000000, 0x00000010, 0x00000020,
233   0x00000000, 0x00000010, 0x00000020, 0x00000040,
234   0x00000004, 0x0000001f, 0x0000003f, 0x00000000,
235   0x00000008, 0x0000003f, 0x00000000, 0x00000000,
236   0x00000010, 0x00000000, 0x00000000, 0x00000010,
237   0x00000000, 0x00000000, 0x00000010, 0x00000020,
238   0x00000000, 0x00000010, 0x00000020, 0x00000040,
239   0x00000004, 0x0000001f, 0x0000003f, 0x0000007f,
240   0x00000008, 0x0000003f, 0x0000007e, 0x000000fe,
241   0x00000010, 0x0000007d, 0x000000fc, 0x00000000,
242   0x00000020, 0x000000fa, 0x00000000, 0x00000000,
243   0x00000040, 0x00000000, 0x00000000, 0x0000007f,
244   0x00000000, 0x00000000, 0x0000007e, 0x000000fe,
245   0x00000000, 0x0000007d, 0x000000fc, 0x000001fc,
246   0x00000020, 0x000000fa, 0x000001f8, 0x000003f8,
247   0x00000040, 0x000001f4, 0x000003f0, 0x00000000,
248   0x00000080, 0x000003e8, 0x00000000, 0x00000000,
249   0x00000100, 0x00000000, 0x00000000, 0x00000000,
250   0x00000000, 0x00000000, 0x00000000, 0x00000000,
251   0x00000000, 0x00000000, 0x00000000, 0x00000000,
252   0x00000000, 0x00000000, 0x00000000, 0x00000010,
253   0x00000000, 0x00000000, 0x00000010, 0x00000020,
254   0x00000000, 0x00000010, 0x00000020, 0x00000040,
255   0x00000010, 0x00000020, 0x00000040, 0x00007ffd,
256   0x0000001f, 0x0000003f, 0x0000007f, 0x0000fffa,
257   0x0000003f, 0x0000007e, 0x000000fe, 0x0001fff4,
258   0x0000007d, 0x000000fc, 0x000001fc, 0x00000000,
259   0x000000fa, 0x000001f8, 0x00000000, 0x00000000,
260   0x000001f4, 0x00000000, 0x00000000, 0x00000000,
261   0x00000000, 0x00000000, 0x00000000, 0x00000000,
262   0x00000000, 0x00000000, 0x00000000, 0x00001000,
263   0x00000000, 0x00000000, 0x00000010, 0x00001fff,
264   0x00000000, 0x00000010, 0x00000020, 0x00003fff,
265   0x00000010, 0x00000020, 0x00000040, 0x00000000,
266   0x0000001f, 0x0000003f, 0x00000000, 0x00000000,
267   0x0000003f, 0x00000000, 0x00000000, 0x00001000,
268   0x00000000, 0x00000000, 0x00000010, 0x00001fff,
269   0x00000000, 0x00000010, 0x00000020, 0x00003fff,
270   0x00000010, 0x00000020, 0x00000040, 0x00007ffd,
271   0x0000001f, 0x0000003f, 0x0000007f, 0x0000fffa,
272   0x0000003f, 0x0000007e, 0x000000fe, 0x00000000,
273   0x0000007d, 0x000000fc, 0x00000000, 0x00000000,
274   0x000000fa, 0x00000000, 0x00000000, 0x00007ffd,
275   0x00000000, 0x00000000, 0x0000007f, 0x0000fffa,
276   0x00000000, 0x0000007e, 0x000000fe, 0x0001fff4,
277   0x0000007d, 0x000000fc, 0x000001fc, 0x0003ffe8,
278   0x000000fa, 0x000001f8, 0x000003f8, 0x00000000,
279   0x000001f4, 0x000003f0, 0x00000000, 0x00000000,
280   0x000003e8, 0x00000000, 0x00000000, 0x00000000,
281   0x00000000, 0x00000000, 0x00000000, 0x00000000,
282   0x00000000, 0x00000000, 0x00000000, 0x00000000,
283   0x00000000, 0x00000000, 0x00000000, 0x00001000,
284   0x00000000, 0x00000000, 0x00000010, 0x00001fff,
285   0x00000000, 0x00000010, 0x00000020, 0x00003fff,
286   0x00000010, 0x00000020, 0x00003fff, 0x00007ffe,
287   0x00000020, 0x00000040, 0x00007ffd, 0x0000fffc,
288   0x0000003f, 0x0000007f, 0x0000fffa, 0x0001fff8,
289   0x0000007e, 0x000000fe, 0x0001fff4, 0x00000000,
290   0x000000fc, 0x000001fc, 0x00000000, 0x00000000,
291   0x000001f8, 0x00000000, 0x00000000, 0x00000000,
292   0x00000000, 0x00000000, 0x00000000, 0x00000000,
293   0x00000000, 0x00000000, 0x00000000, 0x00001000,
294   0x00000000, 0x00000000, 0x00001000, 0x00002000,
295   0x00000000, 0x00000010, 0x00001fff, 0x00003fff,
296   0x00000010, 0x00000020, 0x00003fff, 0x00000000,
297   0x00000020, 0x00000040, 0x00000000, 0x00000000,
298   0x0000003f, 0x00000000, 0x00000000, 0x00001000,
299   0x00000000, 0x00000000, 0x00001000, 0x00002000,
300   0x00000000, 0x00000010, 0x00001fff, 0x00003fff,
301   0x00000010, 0x00000020, 0x00003fff, 0x00007ffe,
302   0x00000020, 0x00000040, 0x00007ffd, 0x0000fffc,
303   0x0000003f, 0x0000007f, 0x0000fffa, 0x00000000,
304   0x0000007e, 0x000000fe, 0x00000000, 0x00000000,
305   0x000000fc, 0x00000000, 0x00000000, 0x00007ffe,
306   0x00000000, 0x00000000, 0x00007ffd, 0x0000fffc,
307   0x00000000, 0x0000007f, 0x0000fffa, 0x0001fff8,
308   0x0000007e, 0x000000fe, 0x0001fff4, 0x0003fff0,
309   0x000000fc, 0x000001fc, 0x0003ffe8, 0x00000000,
310   0x000001f8, 0x000003f8, 0x00000000, 0x00000000,
311   0x000003f0, 0x00000000, 0x00000000, 0x00000000,
312   0x00000000, 0x00000000, 0x00000000, 0x00000000,
313   0x00000000, 0x00000000, 0x00000000, 0x00000000,
314   0x00000000, 0x00000000, 0x00000000, 0x00001000,
315   0x00000000, 0x00000000, 0x00001000, 0x00002000,
316   0x00000000, 0x00000010, 0x00001fff, 0x00003fff,
317   0x00000010, 0x00001fff, 0x00003fff, 0x00007fff,
318   0x00000020, 0x00003fff, 0x00007ffe, 0x0000fffe,
319   0x00000040, 0x00007ffd, 0x0000fffc, 0x0001fffc,
320   0x0000007f, 0x0000fffa, 0x0001fff8, 0x00000000,
321   0x000000fe, 0x0001fff4, 0x00000000, 0x00000000,
322   0x000001fc, 0x00000000, 0x00000000, 0x00000000,
323   0x00000000, 0x00000000, 0x00000000, 0x00000000,
324   0x00000000, 0x00000000, 0x00000000, 0x00001000,
325   0x00000000, 0x00000000, 0x00001000, 0x00002000,
326   0x00000000, 0x00001000, 0x00002000, 0x00004000,
327   0x00000010, 0x00001fff, 0x00003fff, 0x00000000,
328   0x00000020, 0x00003fff, 0x00000000, 0x00000000,
329   0x00000040, 0x00000000, 0x00000000, 0x00001000,
330   0x00000000, 0x00000000, 0x00001000, 0x00002000,
331   0x00000000, 0x00001000, 0x00002000, 0x00004000,
332   0x00000010, 0x00001fff, 0x00003fff, 0x00007fff,
333   0x00000020, 0x00003fff, 0x00007ffe, 0x0000fffe,
334   0x00000040, 0x00007ffd, 0x0000fffc, 0x00000000,
335   0x0000007f, 0x0000fffa, 0x00000000, 0x00000000,
336   0x000000fe, 0x00000000, 0x00000000, 0x00007fff,
337   0x00000000, 0x00000000, 0x00007ffe, 0x0000fffe,
338   0x00000000, 0x00007ffd, 0x0000fffc, 0x0001fffc,
339   0x0000007f, 0x0000fffa, 0x0001fff8, 0x0003fff8,
340   0x000000fe, 0x0001fff4, 0x0003fff0, 0x00000000,
341   0x000001fc, 0x0003ffe8, 0x00000000, 0x00000000,
342   0x000003f8, 0x00000000, 0x00000000, 0x00000000,
343   0x00000000, 0x00000000, 0x00000000, 0x00000000,
344   0x00000000, 0x00000000, 0x00000000, 0x00000000,
345   0x00000000, 0x00000000, 0x00000000, 0x00001000,
346   0x00000000, 0x00000000, 0x00001000, 0x00002000,
347   0x00000000, 0x00001000, 0x00002000, 0x00004000,
348   0x00001000, 0x00002000, 0x00004000, 0x33333333,
349   0x00001fff, 0x00003fff, 0x00007fff, 0x66666666,
350   0x00003fff, 0x00007ffe, 0x0000fffe, 0xcccccccc,
351   0x00007ffd, 0x0000fffc, 0x0001fffc, 0x00000000,
352   0x0000fffa, 0x0001fff8, 0x00000000, 0x00000000,
353   0x0001fff4, 0x00000000, 0x00000000, 0x00000000,
354   0x00000000, 0x00000000, 0x00000000, 0x00000000,
355   0x00000000, 0x00000000, 0x00000000, 0x06666666,
356   0x00000000, 0x00000000, 0x00001000, 0x0ccccccd,
357   0x00000000, 0x00001000, 0x00002000, 0x1999999a,
358   0x00001000, 0x00002000, 0x00004000, 0x00000000,
359   0x00001fff, 0x00003fff, 0x00000000, 0x00000000,
360   0x00003fff, 0x00000000, 0x00000000, 0x06666666,
361   0x00000000, 0x00000000, 0x00001000, 0x0ccccccd,
362   0x00000000, 0x00001000, 0x00002000, 0x1999999a,
363   0x00001000, 0x00002000, 0x00004000, 0x33333333,
364   0x00001fff, 0x00003fff, 0x00007fff, 0x66666666,
365   0x00003fff, 0x00007ffe, 0x0000fffe, 0x00000000,
366   0x00007ffd, 0x0000fffc, 0x00000000, 0x00000000,
367   0x0000fffa, 0x00000000, 0x00000000, 0x33333333,
368   0x00000000, 0x00000000, 0x00007fff, 0x66666666,
369   0x00000000, 0x00007ffe, 0x0000fffe, 0xcccccccc,
370   0x00007ffd, 0x0000fffc, 0x0001fffc, 0x99999998,
371   0x0000fffa, 0x0001fff8, 0x0003fff8, 0x00000000,
372   0x0001fff4, 0x0003fff0, 0x00000000, 0x00000000,
373   0x0003ffe8, 0x00000000, 0x00000000, 0x00000000,
374   0x00000000, 0x00000000, 0x00000000, 0x00000000,
375   0x00000000, 0x00000000, 0x00000000, 0x00000000,
376   0x00000000, 0x00000000, 0x00000000, 0x06666666,
377   0x00000000, 0x00000000, 0x00001000, 0x0ccccccd,
378   0x00000000, 0x00001000, 0x00002000, 0x1999999a,
379   0x00001000, 0x00002000, 0x1999999a, 0x55555555,
380   0x00002000, 0x00004000, 0x33333333, 0xaaaaaaaa,
381   0x00003fff, 0x00007fff, 0x66666666, 0x55555554,
382   0x00007ffe, 0x0000fffe, 0xcccccccc, 0x00000000,
383   0x0000fffc, 0x0001fffc, 0x00000000, 0x00000000,
384   0x0001fff8, 0x00000000, 0x00000000, 0x00000000,
385   0x00000000, 0x00000000, 0x00000000, 0x00000000,
386   0x00000000, 0x00000000, 0x00000000, 0x0aaaaaab,
387   0x00000000, 0x00000000, 0x06666666, 0x15555555,
388   0x00000000, 0x00001000, 0x0ccccccd, 0x2aaaaaab,
389   0x00001000, 0x00002000, 0x1999999a, 0x00000000,
390   0x00002000, 0x00004000, 0x00000000, 0x00000000,
391   0x00003fff, 0x00000000, 0x00000000, 0x0aaaaaab,
392   0x00000000, 0x00000000, 0x06666666, 0x15555555,
393   0x00000000, 0x00001000, 0x0ccccccd, 0x2aaaaaab,
394   0x00001000, 0x00002000, 0x1999999a, 0x55555555,
395   0x00002000, 0x00004000, 0x33333333, 0xaaaaaaaa,
396   0x00003fff, 0x00007fff, 0x66666666, 0x00000000,
397   0x00007ffe, 0x0000fffe, 0x00000000, 0x00000000,
398   0x0000fffc, 0x00000000, 0x00000000, 0x55555555,
399   0x00000000, 0x00000000, 0x33333333, 0xaaaaaaaa,
400   0x00000000, 0x00007fff, 0x66666666, 0x55555554,
401   0x00007ffe, 0x0000fffe, 0xcccccccc, 0xaaaaaaa8,
402   0x0000fffc, 0x0001fffc, 0x99999998, 0x00000000,
403   0x0001fff8, 0x0003fff8, 0x00000000, 0x00000000,
404   0x0003fff0, 0x00000000, 0x00000000, 0x00000000,
405   0x00000000, 0x00000000, 0x00000000, 0x00000000,
406   0x00000000, 0x00000000, 0x00000000, 0x00000000,
407   0x00000000, 0x00000000, 0x00000000, 0x0aaaaaab,
408   0x00000000, 0x00000000, 0x06666666, 0x15555555,
409   0x00000000, 0x00001000, 0x0ccccccd, 0x2aaaaaab,
410   0x00001000, 0x0ccccccd, 0x2aaaaaab, 0x7ffffffd,
411   0x00002000, 0x1999999a, 0x55555555, 0xfffffffa,
412   0x00004000, 0x33333333, 0xaaaaaaaa, 0xfffffff4,
413   0x00007fff, 0x66666666, 0x55555554, 0x00000000,
414   0x0000fffe, 0xcccccccc, 0x00000000, 0x00000000,
415   0x0001fffc, 0x00000000, 0x00000000, 0x00000000,
416   0x00000000, 0x00000000, 0x00000000, 0x00000000,
417   0x00000000, 0x00000000, 0x00000000, 0x10000000,
418   0x00000000, 0x00000000, 0x0aaaaaab, 0x1fffffff,
419   0x00000000, 0x06666666, 0x15555555, 0x3fffffff,
420   0x00001000, 0x0ccccccd, 0x2aaaaaab, 0x00000000,
421   0x00002000, 0x1999999a, 0x00000000, 0x00000000,
422   0x00004000, 0x00000000, 0x00000000, 0x10000000,
423   0x00000000, 0x00000000, 0x0aaaaaab, 0x1fffffff,
424   0x00000000, 0x06666666, 0x15555555, 0x3fffffff,
425   0x00001000, 0x0ccccccd, 0x2aaaaaab, 0x7ffffffd,
426   0x00002000, 0x1999999a, 0x55555555, 0xfffffffa,
427   0x00004000, 0x33333333, 0xaaaaaaaa, 0x00000000,
428   0x00007fff, 0x66666666, 0x00000000, 0x00000000,
429   0x0000fffe, 0x00000000, 0x00000000, 0x7ffffffd,
430   0x00000000, 0x00000000, 0x55555555, 0xfffffffa,
431   0x00000000, 0x33333333, 0xaaaaaaaa, 0xfffffff4,
432   0x00007fff, 0x66666666, 0x55555554, 0xffffffe8,
433   0x0000fffe, 0xcccccccc, 0xaaaaaaa8, 0x00000000,
434   0x0001fffc, 0x99999998, 0x00000000, 0x00000000,
435   0x0003fff8, 0x00000000, 0x00000000, 0x00000000,
436   0x00000000, 0x00000000, 0x00000000, 0x00000000,
437   0x00000000, 0x00000000, 0x00000000, 0x00000000,
438   0x00000000, 0x00000000, 0x00000000, 0x10000000,
439   0x00000000, 0x00000000, 0x0aaaaaab, 0x1fffffff,
440   0x00000000, 0x06666666, 0x15555555, 0x3fffffff,
441   0x06666666, 0x15555555, 0x3fffffff, 0x7ffffffe,
442   0x0ccccccd, 0x2aaaaaab, 0x7ffffffd, 0xfffffffc,
443   0x1999999a, 0x55555555, 0xfffffffa, 0xfffffff8,
444   0x33333333, 0xaaaaaaaa, 0xfffffff4, 0x00000000,
445   0x66666666, 0x55555554, 0x00000000, 0x00000000,
446   0xcccccccc, 0x00000000, 0x00000000, 0x00000000,
447   0x00000000, 0x00000000, 0x00000000, 0x00000000,
448   0x00000000, 0x00000000, 0x00000000, 0x10000000,
449   0x00000000, 0x00000000, 0x10000000, 0x20000000,
450   0x00000000, 0x0aaaaaab, 0x1fffffff, 0x3fffffff,
451   0x06666666, 0x15555555, 0x3fffffff, 0x00000000,
452   0x0ccccccd, 0x2aaaaaab, 0x00000000, 0x00000000,
453   0x1999999a, 0x00000000, 0x00000000, 0x10000000,
454   0x00000000, 0x00000000, 0x10000000, 0x20000000,
455   0x00000000, 0x0aaaaaab, 0x1fffffff, 0x3fffffff,
456   0x06666666, 0x15555555, 0x3fffffff, 0x7ffffffe,
457   0x0ccccccd, 0x2aaaaaab, 0x7ffffffd, 0xfffffffc,
458   0x1999999a, 0x55555555, 0xfffffffa, 0x00000000,
459   0x33333333, 0xaaaaaaaa, 0x00000000, 0x00000000,
460   0x66666666, 0x00000000, 0x00000000, 0x7ffffffe,
461   0x00000000, 0x00000000, 0x7ffffffd, 0xfffffffc,
462   0x00000000, 0x55555555, 0xfffffffa, 0xfffffff8,
463   0x33333333, 0xaaaaaaaa, 0xfffffff4, 0xfffffff0,
464   0x66666666, 0x55555554, 0xffffffe8, 0x00000000,
465   0xcccccccc, 0xaaaaaaa8, 0x00000000, 0x00000000,
466   0x99999998, 0x00000000, 0x00000000, 0x00000000,
467   0x00000000, 0x00000000, 0x00000000, 0x00000000,
468   0x00000000, 0x00000000, 0x00000000, 0x00000000,
469   0x00000000, 0x00000000, 0x00000000, 0x10000000,
470   0x00000000, 0x00000000, 0x10000000, 0x20000000,
471   0x00000000, 0x0aaaaaab, 0x1fffffff, 0x3fffffff,
472   0x0aaaaaab, 0x1fffffff, 0x3fffffff, 0x7fffffff,
473   0x15555555, 0x3fffffff, 0x7ffffffe, 0xfffffffe,
474   0x2aaaaaab, 0x7ffffffd, 0xfffffffc, 0xfffffffc,
475   0x55555555, 0xfffffffa, 0xfffffff8, 0x00000000,
476   0xaaaaaaaa, 0xfffffff4, 0x00000000, 0x00000000,
477   0x55555554, 0x00000000, 0x00000000, 0x00000000,
478   0x00000000, 0x00000000, 0x00000000, 0x00000000,
479   0x00000000, 0x00000000, 0x00000000, 0x10000000,
480   0x00000000, 0x00000000, 0x10000000, 0x20000000,
481   0x00000000, 0x10000000, 0x20000000, 0x40000000,
482   0x0aaaaaab, 0x1fffffff, 0x3fffffff, 0x00000000,
483   0x15555555, 0x3fffffff, 0x00000000, 0x00000000,
484   0x2aaaaaab, 0x00000000, 0x00000000, 0x10000000,
485   0x00000000, 0x00000000, 0x10000000, 0x20000000,
486   0x00000000, 0x10000000, 0x20000000, 0x40000000,
487   0x0aaaaaab, 0x1fffffff, 0x3fffffff, 0x7fffffff,
488   0x15555555, 0x3fffffff, 0x7ffffffe, 0xfffffffe,
489   0x2aaaaaab, 0x7ffffffd, 0xfffffffc, 0x00000000,
490   0x55555555, 0xfffffffa, 0x00000000, 0x00000000,
491   0xaaaaaaaa, 0x00000000, 0x00000000, 0x7fffffff,
492   0x00000000, 0x00000000, 0x7ffffffe, 0xfffffffe,
493   0x00000000, 0x7ffffffd, 0xfffffffc, 0xfffffffc,
494   0x55555555, 0xfffffffa, 0xfffffff8, 0xfffffff8,
495   0xaaaaaaaa, 0xfffffff4, 0xfffffff0, 0x00000000,
496   0x55555554, 0xffffffe8, 0x00000000, 0x00000000,
497   0xaaaaaaa8, 0x00000000, 0x00000000, 0x00000000,
498   0x00000000, 0x00000000, 0x00000000, 0x00000000,
499   0x00000000, 0x00000000, 0x00000000, 0x00000000,
500   0x00000000, 0x00000000, 0x00000000, 0x10000000,
501   0x00000000, 0x00000000, 0x10000000, 0x20000000,
502   0x00000000, 0x10000000, 0x20000000, 0x40000000,
503   0x10000000, 0x20000000, 0x40000000, 0x80000000,
504   0x1fffffff, 0x3fffffff, 0x7fffffff, 0x00000000,
505   0x3fffffff, 0x7ffffffe, 0xfffffffe, 0x00000000,
506   0x7ffffffd, 0xfffffffc, 0xfffffffc, 0x00000000,
507   0xfffffffa, 0xfffffff8, 0x00000000, 0x00000000,
508   0xfffffff4, 0x00000000, 0x00000000, 0x00000000,
509   0x00000000, 0x00000000, 0x00000000, 0x00000000,
510   0x00000000, 0x00000000, 0x00000000, 0x10000000,
511   0x00000000, 0x00000000, 0x10000000, 0x20000000,
512   0x00000000, 0x10000000, 0x20000000, 0x40000000,
513   0x10000000, 0x20000000, 0x40000000, 0x00000000,
514   0x1fffffff, 0x3fffffff, 0x00000000, 0x00000000,
515   0x3fffffff, 0x00000000, 0x00000000, 0x10000000,
516   0x00000000, 0x00000000, 0x10000000, 0x20000000,
517   0x00000000, 0x10000000, 0x20000000, 0x40000000,
518   0x10000000, 0x20000000, 0x40000000, 0x80000000,
519   0x1fffffff, 0x3fffffff, 0x7fffffff, 0x00000000,
520   0x3fffffff, 0x7ffffffe, 0xfffffffe, 0x00000000,
521   0x7ffffffd, 0xfffffffc, 0x00000000, 0x00000000,
522   0xfffffffa, 0x00000000, 0x00000000, 0x80000000,
523   0x00000000, 0x00000000, 0x7fffffff, 0x00000000,
524   0x00000000, 0x7ffffffe, 0xfffffffe, 0x00000000,
525   0x7ffffffd, 0xfffffffc, 0xfffffffc, 0x00000000,
526   0xfffffffa, 0xfffffff8, 0xfffffff8, 0x00000000,
527   0xfffffff4, 0xfffffff0, 0x00000000, 0x00000000,
528   0xffffffe8, 0x00000000, 0x00000000, 0x00000000,
529   0x00000000, 0x00000000, 0x00000000, 0x00000000,
530   0x00000000, 0x00000000, 0x00000000, 0x00000001,
531   0x00000000, 0x00000000, 0x00000000, 0x10000000,
532   0x00000000, 0x00000000, 0x10000000, 0x20000000,
533   0x00000000, 0x10000000, 0x20000000, 0x40000000,
534   0x10000000, 0x20000000, 0x40000000, 0x80000001,
535   0x20000000, 0x40000000, 0x80000000, 0x00000002,
536   0x3fffffff, 0x7fffffff, 0x00000000, 0x00000004,
537   0x7ffffffe, 0xfffffffe, 0x00000000, 0x00000000,
538   0xfffffffc, 0xfffffffc, 0x00000000, 0x00000000,
539   0xfffffff8, 0x00000000, 0x00000000, 0x00000000,
540   0x00000000, 0x00000000, 0x00000000, 0x00000000,
541   0x00000000, 0x00000000, 0x00000000, 0x10000000,
542   0x00000000, 0x00000000, 0x10000000, 0x20000000,
543   0x00000000, 0x10000000, 0x20000000, 0x40000001,
544   0x10000000, 0x20000000, 0x40000000, 0x00000000,
545   0x20000000, 0x40000000, 0x00000000, 0x00000000,
546   0x3fffffff, 0x00000000, 0x00000000, 0x10000000,
547   0x00000000, 0x00000000, 0x10000000, 0x20000000,
548   0x00000000, 0x10000000, 0x20000000, 0x40000001,
549   0x10000000, 0x20000000, 0x40000000, 0x80000001,
550   0x20000000, 0x40000000, 0x80000000, 0x00000002,
551   0x3fffffff, 0x7fffffff, 0x00000000, 0x00000000,
552   0x7ffffffe, 0xfffffffe, 0x00000000, 0x00000000,
553   0xfffffffc, 0x00000000, 0x00000000, 0x80000001,
554   0x00000000, 0x00000000, 0x80000000, 0x00000002,
555   0x00000000, 0x7fffffff, 0x00000000, 0x00000004,
556   0x7ffffffe, 0xfffffffe, 0x00000000, 0x00000008,
557   0xfffffffc, 0xfffffffc, 0x00000000, 0x00000000,
558   0xfffffff8, 0xfffffff8, 0x00000000, 0x00000000,
559   0xfffffff0, 0x00000000, 0x00000000, 0x00000000,
560   0x00000000, 0x00000000, 0x00000000, 0x00000000,
561   0x00000000, 0x00000000, 0x00000000, 0x00000001,
562   0x00000000, 0x00000000, 0x00000001, 0x10000000,
563   0x00000000, 0x00000000, 0x10000000, 0x20000000,
564   0x00000000, 0x10000000, 0x20000000, 0x40000001,
565   0x10000000, 0x20000000, 0x40000001, 0xaaaaaaaa,
566   0x20000000, 0x40000000, 0x80000001, 0x55555554,
567   0x40000000, 0x80000000, 0x00000002, 0xaaaaaaa8,
568   0x7fffffff, 0x00000000, 0x00000004, 0x00000000,
569   0xfffffffe, 0x00000000, 0x00000000, 0x00000000,
570   0xfffffffc, 0x00000000, 0x00000000, 0x00000000,
571   0x00000000, 0x00000000, 0x00000000, 0x00000000,
572   0x00000000, 0x00000000, 0x00000000, 0x15555555,
573   0x00000000, 0x00000000, 0x10000000, 0x2aaaaaab,
574   0x00000000, 0x10000000, 0x20000000, 0x55555555,
575   0x10000000, 0x20000000, 0x40000001, 0x00000000,
576   0x20000000, 0x40000000, 0x00000000, 0x00000000,
577   0x40000000, 0x00000000, 0x00000000, 0x15555555,
578   0x00000000, 0x00000000, 0x10000000, 0x2aaaaaab,
579   0x00000000, 0x10000000, 0x20000000, 0x55555555,
580   0x10000000, 0x20000000, 0x40000001, 0xaaaaaaaa,
581   0x20000000, 0x40000000, 0x80000001, 0x55555554,
582   0x40000000, 0x80000000, 0x00000002, 0x00000000,
583   0x7fffffff, 0x00000000, 0x00000000, 0x00000000,
584   0xfffffffe, 0x00000000, 0x00000000, 0xaaaaaaaa,
585   0x00000000, 0x00000000, 0x80000001, 0x55555554,
586   0x00000000, 0x80000000, 0x00000002, 0xaaaaaaa8,
587   0x7fffffff, 0x00000000, 0x00000004, 0x55555550,
588   0xfffffffe, 0x00000000, 0x00000008, 0x00000000,
589   0xfffffffc, 0x00000000, 0x00000000, 0x00000000,
590   0xfffffff8, 0x00000000, 0x00000000, 0x00000000,
591   0x00000000, 0x00000000, 0x00000000, 0x00000000,
592   0x00000000, 0x00000000, 0x00000000, 0x00000001,
593   0x00000000, 0x00000000, 0x00000001, 0x15555555,
594   0x00000000, 0x00000001, 0x10000000, 0x2aaaaaab,
595   0x00000000, 0x10000000, 0x20000000, 0x55555555,
596   0x10000000, 0x20000000, 0x55555555, 0xcccccccc,
597   0x20000000, 0x40000001, 0xaaaaaaaa, 0x99999998,
598   0x40000000, 0x80000001, 0x55555554, 0x33333330,
599   0x80000000, 0x00000002, 0xaaaaaaa8, 0x00000000,
600   0x00000000, 0x00000004, 0x00000000, 0x00000000,
601   0x00000000, 0x00000000, 0x00000000, 0x00000000,
602   0x00000000, 0x00000000, 0x00000000, 0x00000000,
603   0x00000000, 0x00000000, 0x00000000, 0x1999999a,
604   0x00000000, 0x00000000, 0x15555555, 0x33333333,
605   0x00000000, 0x10000000, 0x2aaaaaab, 0x66666666,
606   0x10000000, 0x20000000, 0x55555555, 0x00000000,
607   0x20000000, 0x40000001, 0x00000000, 0x00000000,
608   0x40000000, 0x00000000, 0x00000000, 0x1999999a,
609   0x00000000, 0x00000000, 0x15555555, 0x33333333,
610   0x00000000, 0x10000000, 0x2aaaaaab, 0x66666666,
611   0x10000000, 0x20000000, 0x55555555, 0xcccccccc,
612   0x20000000, 0x40000001, 0xaaaaaaaa, 0x99999998,
613   0x40000000, 0x80000001, 0x55555554, 0x00000000,
614   0x80000000, 0x00000002, 0x00000000, 0x00000000,
615   0x00000000, 0x00000000, 0x00000000, 0xcccccccc,
616   0x00000000, 0x00000000, 0xaaaaaaaa, 0x99999998,
617   0x00000000, 0x80000001, 0x55555554, 0x33333330,
618   0x80000000, 0x00000002, 0xaaaaaaa8, 0x66666660,
619   0x00000000, 0x00000004, 0x55555550, 0x00000000,
620   0x00000000, 0x00000008, 0x00000000, 0x00000000,
621   0x00000000, 0x00000000, 0x00000000, 0x00000000,
622   0x00000000, 0x00000000, 0x00000000, 0x00000000,
623   0x00000000, 0x00000000, 0x00000000, 0x00000001,
624   0x00000000, 0x00000000, 0x00000001, 0x1999999a,
625   0x00000000, 0x00000001, 0x15555555, 0x33333333,
626   0x00000001, 0x10000000, 0x2aaaaaab, 0x66666666,
627   0x10000000, 0x2aaaaaab, 0x66666666, 0xffff8000,
628   0x20000000, 0x55555555, 0xcccccccc, 0xffff0000,
629   0x40000001, 0xaaaaaaaa, 0x99999998, 0xfffe0000,
630   0x80000001, 0x55555554, 0x33333330, 0x00000000,
631   0x00000002, 0xaaaaaaa8, 0x00000000, 0x00000000,
632   0x00000004, 0x00000000, 0x00000000, 0x00000000,
633   0x00000000, 0x00000000, 0x00000000, 0x00000000,
634   0x00000000, 0x00000000, 0x00000000, 0x1ffff000,
635   0x00000000, 0x00000000, 0x1999999a, 0x3fffe000,
636   0x00000000, 0x15555555, 0x33333333, 0x7fffc000,
637   0x10000000, 0x2aaaaaab, 0x66666666, 0x00000000,
638   0x20000000, 0x55555555, 0x00000000, 0x00000000,
639   0x40000001, 0x00000000, 0x00000000, 0x1ffff000,
640   0x00000000, 0x00000000, 0x1999999a, 0x3fffe000,
641   0x00000000, 0x15555555, 0x33333333, 0x7fffc000,
642   0x10000000, 0x2aaaaaab, 0x66666666, 0xffff8000,
643   0x20000000, 0x55555555, 0xcccccccc, 0xffff0000,
644   0x40000001, 0xaaaaaaaa, 0x99999998, 0x00000000,
645   0x80000001, 0x55555554, 0x00000000, 0x00000000,
646   0x00000002, 0x00000000, 0x00000000, 0xffff8000,
647   0x00000000, 0x00000000, 0xcccccccc, 0xffff0000,
648   0x00000000, 0xaaaaaaaa, 0x99999998, 0xfffe0000,
649   0x80000001, 0x55555554, 0x33333330, 0xfffc0000,
650   0x00000002, 0xaaaaaaa8, 0x66666660, 0x00000000,
651   0x00000004, 0x55555550, 0x00000000, 0x00000000,
652   0x00000008, 0x00000000, 0x00000000, 0x00000000,
653   0x00000000, 0x00000000, 0x00000000, 0x00000000,
654   0x00000000, 0x00000000, 0x00000000, 0x00000001,
655   0x00000000, 0x00000000, 0x00000001, 0x1ffff000,
656   0x00000000, 0x00000001, 0x1999999a, 0x3fffe000,
657   0x00000001, 0x15555555, 0x33333333, 0x7fffc000,
658   0x15555555, 0x33333333, 0x7fffc000, 0xffff8001,
659   0x2aaaaaab, 0x66666666, 0xffff8000, 0xffff0002,
660   0x55555555, 0xcccccccc, 0xffff0000, 0xfffe0004,
661   0xaaaaaaaa, 0x99999998, 0xfffe0000, 0x00000000,
662   0x55555554, 0x33333330, 0x00000000, 0x00000000,
663   0xaaaaaaa8, 0x00000000, 0x00000000, 0x00000000,
664   0x00000000, 0x00000000, 0x00000000, 0x00000000,
665   0x00000000, 0x00000000, 0x00000000, 0x1ffff000,
666   0x00000000, 0x00000000, 0x1ffff000, 0x3fffe000,
667   0x00000000, 0x1999999a, 0x3fffe000, 0x7fffc001,
668   0x15555555, 0x33333333, 0x7fffc000, 0x00000000,
669   0x2aaaaaab, 0x66666666, 0x00000000, 0x00000000,
670   0x55555555, 0x00000000, 0x00000000, 0x1ffff000,
671   0x00000000, 0x00000000, 0x1ffff000, 0x3fffe000,
672   0x00000000, 0x1999999a, 0x3fffe000, 0x7fffc001,
673   0x15555555, 0x33333333, 0x7fffc000, 0xffff8001,
674   0x2aaaaaab, 0x66666666, 0xffff8000, 0xffff0002,
675   0x55555555, 0xcccccccc, 0xffff0000, 0x00000000,
676   0xaaaaaaaa, 0x99999998, 0x00000000, 0x00000000,
677   0x55555554, 0x00000000, 0x00000000, 0xffff8001,
678   0x00000000, 0x00000000, 0xffff8000, 0xffff0002,
679   0x00000000, 0xcccccccc, 0xffff0000, 0xfffe0004,
680   0xaaaaaaaa, 0x99999998, 0xfffe0000, 0xfffc0008,
681   0x55555554, 0x33333330, 0xfffc0000, 0x00000000,
682   0xaaaaaaa8, 0x66666660, 0x00000000, 0x00000000,
683   0x55555550, 0x00000000, 0x00000000, 0x00000000,
684   0x00000000, 0x00000000, 0x00000000, 0x00000000,
685   0x00000000, 0x00000000, 0x00000000, 0x00000001,
686   0x00000000, 0x00000000, 0x00000001, 0x1ffff000,
687   0x00000000, 0x00000001, 0x1ffff000, 0x3fffe000,
688   0x00000001, 0x1999999a, 0x3fffe000, 0x7fffc001,
689   0x1999999a, 0x3fffe000, 0x7fffc001, 0xffff8002,
690   0x33333333, 0x7fffc000, 0xffff8001, 0xffff0004,
691   0x66666666, 0xffff8000, 0xffff0002, 0xfffe0008,
692   0xcccccccc, 0xffff0000, 0xfffe0004, 0x00000000,
693   0x99999998, 0xfffe0000, 0x00000000, 0x00000000,
694   0x33333330, 0x00000000, 0x00000000, 0x00000000,
695   0x00000000, 0x00000000, 0x00000000, 0x00000000,
696   0x00000000, 0x00000000, 0x00000000, 0x1ffff000,
697   0x00000000, 0x00000000, 0x1ffff000, 0x3fffe001,
698   0x00000000, 0x1ffff000, 0x3fffe000, 0x7fffc001,
699   0x1999999a, 0x3fffe000, 0x7fffc001, 0x00000000,
700   0x33333333, 0x7fffc000, 0x00000000, 0x00000000,
701   0x66666666, 0x00000000, 0x00000000, 0x1ffff000,
702   0x00000000, 0x00000000, 0x1ffff000, 0x3fffe001,
703   0x00000000, 0x1ffff000, 0x3fffe000, 0x7fffc001,
704   0x1999999a, 0x3fffe000, 0x7fffc001, 0xffff8002,
705   0x33333333, 0x7fffc000, 0xffff8001, 0xffff0004,
706   0x66666666, 0xffff8000, 0xffff0002, 0x00000000,
707   0xcccccccc, 0xffff0000, 0x00000000, 0x00000000,
708   0x99999998, 0x00000000, 0x00000000, 0xffff8002,
709   0x00000000, 0x00000000, 0xffff8001, 0xffff0004,
710   0x00000000, 0xffff8000, 0xffff0002, 0xfffe0008,
711   0xcccccccc, 0xffff0000, 0xfffe0004, 0xfffc0010,
712   0x99999998, 0xfffe0000, 0xfffc0008, 0x00000000,
713   0x33333330, 0xfffc0000, 0x00000000, 0x00000000,
714   0x66666660, 0x00000000, 0x00000000, 0x00000000,
715   0x00000000, 0x00000000, 0x00000000, 0x00000000,
716   0x00000000, 0x00000000, 0x00000000, 0x00000001,
717   0x00000000, 0x00000000, 0x00000001, 0x1ffff000,
718   0x00000000, 0x00000001, 0x1ffff000, 0x3fffe001,
719   0x00000001, 0x1ffff000, 0x3fffe000, 0x7fffc001,
720   0x1ffff000, 0x3fffe000, 0x7fffc001, 0xffff8003,
721   0x3fffe000, 0x7fffc001, 0xffff8002, 0xffff0006,
722   0x7fffc000, 0xffff8001, 0xffff0004, 0xfffe000c,
723   0xffff8000, 0xffff0002, 0xfffe0008, 0x00000000,
724   0xffff0000, 0xfffe0004, 0x00000000, 0x00000000,
725   0xfffe0000, 0x00000000, 0x00000000, 0x00000000,
726   0x00000000, 0x00000000, 0x00000000, 0x00000000,
727   0x00000000, 0x00000000, 0x00000000, 0x1ffff000,
728   0x00000000, 0x00000000, 0x1ffff000, 0x3fffe001,
729   0x00000000, 0x1ffff000, 0x3fffe001, 0x7fffc002,
730   0x1ffff000, 0x3fffe000, 0x7fffc001, 0x00000000,
731   0x3fffe000, 0x7fffc001, 0x00000000, 0x00000000,
732   0x7fffc000, 0x00000000, 0x00000000, 0x1ffff000,
733   0x00000000, 0x00000000, 0x1ffff000, 0x3fffe001,
734   0x00000000, 0x1ffff000, 0x3fffe001, 0x7fffc002,
735   0x1ffff000, 0x3fffe000, 0x7fffc001, 0xffff8003,
736   0x3fffe000, 0x7fffc001, 0xffff8002, 0xffff0006,
737   0x7fffc000, 0xffff8001, 0xffff0004, 0x00000000,
738   0xffff8000, 0xffff0002, 0x00000000, 0x00000000,
739   0xffff0000, 0x00000000, 0x00000000, 0xffff8003,
740   0x00000000, 0x00000000, 0xffff8002, 0xffff0006,
741   0x00000000, 0xffff8001, 0xffff0004, 0xfffe000c,
742   0xffff8000, 0xffff0002, 0xfffe0008, 0xfffc0018,
743   0xffff0000, 0xfffe0004, 0xfffc0010, 0x00000000,
744   0xfffe0000, 0xfffc0008, 0x00000000, 0x00000000,
745   0xfffc0000, 0x00000000, 0x00000000, 0x00000000,
746   0x00000000, 0x00000000, 0x00000000, 0x00000000,
747   0x00000000, 0x00000000, 0x00000000, 0x00000001,
748   0x00000000, 0x00000000, 0x00000001, 0x1ffff000,
749   0x00000000, 0x00000001, 0x1ffff000, 0x3fffe001,
750   0x00000001, 0x1ffff000, 0x3fffe001, 0x7fffc002,
751   0x1ffff000, 0x3fffe001, 0x7fffc002, 0xffffff80,
752   0x3fffe000, 0x7fffc001, 0xffff8003, 0xffffff00,
753   0x7fffc001, 0xffff8002, 0xffff0006, 0xfffffe00,
754   0xffff8001, 0xffff0004, 0xfffe000c, 0x00000000,
755   0xffff0002, 0xfffe0008, 0x00000000, 0x00000000,
756   0xfffe0004, 0x00000000, 0x00000000, 0x00000000,
757   0x00000000, 0x00000000, 0x00000000, 0x00000000,
758   0x00000000, 0x00000000, 0x00000000, 0x1ffffff0,
759   0x00000000, 0x00000000, 0x1ffff000, 0x3fffffe0,
760   0x00000000, 0x1ffff000, 0x3fffe001, 0x7fffffc0,
761   0x1ffff000, 0x3fffe001, 0x7fffc002, 0x00000000,
762   0x3fffe000, 0x7fffc001, 0x00000000, 0x00000000,
763   0x7fffc001, 0x00000000, 0x00000000, 0x1ffffff0,
764   0x00000000, 0x00000000, 0x1ffff000, 0x3fffffe0,
765   0x00000000, 0x1ffff000, 0x3fffe001, 0x7fffffc0,
766   0x1ffff000, 0x3fffe001, 0x7fffc002, 0xffffff80,
767   0x3fffe000, 0x7fffc001, 0xffff8003, 0xffffff00,
768   0x7fffc001, 0xffff8002, 0xffff0006, 0x00000000,
769   0xffff8001, 0xffff0004, 0x00000000, 0x00000000,
770   0xffff0002, 0x00000000, 0x00000000, 0xffffff80,
771   0x00000000, 0x00000000, 0xffff8003, 0xffffff00,
772   0x00000000, 0xffff8002, 0xffff0006, 0xfffffe00,
773   0xffff8001, 0xffff0004, 0xfffe000c, 0xfffffc00,
774   0xffff0002, 0xfffe0008, 0xfffc0018, 0x00000000,
775   0xfffe0004, 0xfffc0010, 0x00000000, 0x00000000,
776   0xfffc0008, 0x00000000, 0x00000000, 0x00000000,
777   0x00000000, 0x00000000, 0x00000000, 0x00000000,
778   0x00000000, 0x00000000, 0x00000000, 0x00000001,
779   0x00000000, 0x00000000, 0x00000001, 0x1ffffff0,
780   0x00000000, 0x00000001, 0x1ffff000, 0x3fffffe0,
781   0x00000001, 0x1ffff000, 0x3fffe001, 0x7fffffc0,
782   0x1ffff000, 0x3fffe001, 0x7fffffc0, 0xffffff81,
783   0x3fffe001, 0x7fffc002, 0xffffff80, 0xffffff02,
784   0x7fffc001, 0xffff8003, 0xffffff00, 0xfffffe04,
785   0xffff8002, 0xffff0006, 0xfffffe00, 0x00000000,
786   0xffff0004, 0xfffe000c, 0x00000000, 0x00000000,
787   0xfffe0008, 0x00000000, 0x00000000, 0x00000000,
788   0x00000000, 0x00000000, 0x00000000, 0x00000000,
789   0x00000000, 0x00000000, 0x00000000, 0x1ffffff0,
790   0x00000000, 0x00000000, 0x1ffffff0, 0x3fffffe0,
791   0x00000000, 0x1ffff000, 0x3fffffe0, 0x7fffffc1,
792   0x1ffff000, 0x3fffe001, 0x7fffffc0, 0x00000000,
793   0x3fffe001, 0x7fffc002, 0x00000000, 0x00000000,
794   0x7fffc001, 0x00000000, 0x00000000, 0x1ffffff0,
795   0x00000000, 0x00000000, 0x1ffffff0, 0x3fffffe0,
796   0x00000000, 0x1ffff000, 0x3fffffe0, 0x7fffffc1,
797   0x1ffff000, 0x3fffe001, 0x7fffffc0, 0xffffff81,
798   0x3fffe001, 0x7fffc002, 0xffffff80, 0xffffff02,
799   0x7fffc001, 0xffff8003, 0xffffff00, 0x00000000,
800   0xffff8002, 0xffff0006, 0x00000000, 0x00000000,
801   0xffff0004, 0x00000000, 0x00000000, 0xffffff81,
802   0x00000000, 0x00000000, 0xffffff80, 0xffffff02,
803   0x00000000, 0xffff8003, 0xffffff00, 0xfffffe04,
804   0xffff8002, 0xffff0006, 0xfffffe00, 0xfffffc08,
805   0xffff0004, 0xfffe000c, 0xfffffc00, 0x00000000,
806   0xfffe0008, 0xfffc0018, 0x00000000, 0x00000000,
807   0xfffc0010, 0x00000000, 0x00000000, 0x00000000,
808   0x00000000, 0x00000000, 0x00000000, 0x00000000,
809   0x00000000, 0x00000000, 0x00000000, 0x00000001,
810   0x00000000, 0x00000000, 0x00000001, 0x1ffffff0,
811   0x00000000, 0x00000001, 0x1ffffff0, 0x3fffffe0,
812   0x00000001, 0x1ffff000, 0x3fffffe0, 0x7fffffc1,
813   0x1ffff000, 0x3fffffe0, 0x7fffffc1, 0xffffff82,
814   0x3fffe001, 0x7fffffc0, 0xffffff81, 0xffffff04,
815   0x7fffc002, 0xffffff80, 0xffffff02, 0xfffffe08,
816   0xffff8003, 0xffffff00, 0xfffffe04, 0x00000000,
817   0xffff0006, 0xfffffe00, 0x00000000, 0x00000000,
818   0xfffe000c, 0x00000000, 0x00000000, 0x00000000,
819   0x00000000, 0x00000000, 0x00000000, 0x00000000,
820   0x00000000, 0x00000000, 0x00000000, 0x1ffffff0,
821   0x00000000, 0x00000000, 0x1ffffff0, 0x3fffffe1,
822   0x00000000, 0x1ffffff0, 0x3fffffe0, 0x7fffffc1,
823   0x1ffff000, 0x3fffffe0, 0x7fffffc1, 0x00000000,
824   0x3fffe001, 0x7fffffc0, 0x00000000, 0x00000000,
825   0x7fffc002, 0x00000000, 0x00000000, 0x1ffffff0,
826   0x00000000, 0x00000000, 0x1ffffff0, 0x3fffffe1,
827   0x00000000, 0x1ffffff0, 0x3fffffe0, 0x7fffffc1,
828   0x1ffff000, 0x3fffffe0, 0x7fffffc1, 0xffffff82,
829   0x3fffe001, 0x7fffffc0, 0xffffff81, 0xffffff04,
830   0x7fffc002, 0xffffff80, 0xffffff02, 0x00000000,
831   0xffff8003, 0xffffff00, 0x00000000, 0x00000000,
832   0xffff0006, 0x00000000, 0x00000000, 0xffffff82,
833   0x00000000, 0x00000000, 0xffffff81, 0xffffff04,
834   0x00000000, 0xffffff80, 0xffffff02, 0xfffffe08,
835   0xffff8003, 0xffffff00, 0xfffffe04, 0xfffffc10,
836   0xffff0006, 0xfffffe00, 0xfffffc08, 0x00000000,
837   0xfffe000c, 0xfffffc00, 0x00000000, 0x00000000,
838   0xfffc0018, 0x00000000, 0x00000000, 0x00000000,
839   0x00000000, 0x00000000, 0x00000000, 0x00000000,
840   0x00000000, 0x00000000, 0x00000000, 0x00000001,
841   0x00000000, 0x00000000, 0x00000001, 0x1ffffff0,
842   0x00000000, 0x00000001, 0x1ffffff0, 0x3fffffe1,
843   0x00000001, 0x1ffffff0, 0x3fffffe0, 0x7fffffc1,
844   0x1ffffff0, 0x3fffffe0, 0x7fffffc1, 0xffffff83,
845   0x3fffffe0, 0x7fffffc1, 0xffffff82, 0xffffff06,
846   0x7fffffc0, 0xffffff81, 0xffffff04, 0xfffffe0c,
847   0xffffff80, 0xffffff02, 0xfffffe08, 0x00000000,
848   0xffffff00, 0xfffffe04, 0x00000000, 0x00000000,
849   0xfffffe00, 0x00000000, 0x00000000, 0x00000000,
850   0x00000000, 0x00000000, 0x00000000, 0x00000000,
851   0x00000000, 0x00000000, 0x00000000, 0x1ffffff0,
852   0x00000000, 0x00000000, 0x1ffffff0, 0x3fffffe1,
853   0x00000000, 0x1ffffff0, 0x3fffffe1, 0x7fffffc2,
854   0x1ffffff0, 0x3fffffe0, 0x7fffffc1, 0x00000000,
855   0x3fffffe0, 0x7fffffc1, 0x00000000, 0x00000000,
856   0x7fffffc0, 0x00000000, 0x00000000, 0x1ffffff0,
857   0x00000000, 0x00000000, 0x1ffffff0, 0x3fffffe1,
858   0x00000000, 0x1ffffff0, 0x3fffffe1, 0x7fffffc2,
859   0x1ffffff0, 0x3fffffe0, 0x7fffffc1, 0xffffff83,
860   0x3fffffe0, 0x7fffffc1, 0xffffff82, 0xffffff06,
861   0x7fffffc0, 0xffffff81, 0xffffff04, 0x00000000,
862   0xffffff80, 0xffffff02, 0x00000000, 0x00000000,
863   0xffffff00, 0x00000000, 0x00000000, 0xffffff83,
864   0x00000000, 0x00000000, 0xffffff82, 0xffffff06,
865   0x00000000, 0xffffff81, 0xffffff04, 0xfffffe0c,
866   0xffffff80, 0xffffff02, 0xfffffe08, 0xfffffc18,
867   0xffffff00, 0xfffffe04, 0xfffffc10, 0x00000000,
868   0xfffffe00, 0xfffffc08, 0x00000000, 0x00000000,
869   0xfffffc00, 0x00000000, 0x00000000, 0x00000000,
870   0x00000000, 0x00000000, 0x00000000, 0x00000000,
871   0x00000000, 0x00000000, 0x00000000, 0x00000001,
872   0x00000000, 0x00000000, 0x00000001, 0x1ffffff0,
873   0x00000000, 0x00000001, 0x1ffffff0, 0x3fffffe1,
874   0x00000001, 0x1ffffff0, 0x3fffffe1, 0x7fffffc2,
875   0x1ffffff0, 0x3fffffe1, 0x7fffffc2, 0xffffffe0,
876   0x3fffffe0, 0x7fffffc1, 0xffffff83, 0xffffffc0,
877   0x7fffffc1, 0xffffff82, 0xffffff06, 0xffffff80,
878   0xffffff81, 0xffffff04, 0xfffffe0c, 0x00000000,
879   0xffffff02, 0xfffffe08, 0x00000000, 0x00000000,
880   0xfffffe04, 0x00000000, 0x00000000, 0x00000000,
881   0x00000000, 0x00000000, 0x00000000, 0x00000000,
882   0x00000000, 0x00000000, 0x00000000, 0x1ffffffc,
883   0x00000000, 0x00000000, 0x1ffffff0, 0x3ffffff8,
884   0x00000000, 0x1ffffff0, 0x3fffffe1, 0x7ffffff0,
885   0x1ffffff0, 0x3fffffe1, 0x7fffffc2, 0x00000000,
886   0x3fffffe0, 0x7fffffc1, 0x00000000, 0x00000000,
887   0x7fffffc1, 0x00000000, 0x00000000, 0x1ffffffc,
888   0x00000000, 0x00000000, 0x1ffffff0, 0x3ffffff8,
889   0x00000000, 0x1ffffff0, 0x3fffffe1, 0x7ffffff0,
890   0x1ffffff0, 0x3fffffe1, 0x7fffffc2, 0xffffffe0,
891   0x3fffffe0, 0x7fffffc1, 0xffffff83, 0xffffffc0,
892   0x7fffffc1, 0xffffff82, 0xffffff06, 0x00000000,
893   0xffffff81, 0xffffff04, 0x00000000, 0x00000000,
894   0xffffff02, 0x00000000, 0x00000000, 0xffffffe0,
895   0x00000000, 0x00000000, 0xffffff83, 0xffffffc0,
896   0x00000000, 0xffffff82, 0xffffff06, 0xffffff80,
897   0xffffff81, 0xffffff04, 0xfffffe0c, 0xffffff00,
898   0xffffff02, 0xfffffe08, 0xfffffc18, 0x00000000,
899   0xfffffe04, 0xfffffc10, 0x00000000, 0x00000000,
900   0xfffffc08, 0x00000000, 0x00000000, 0x00000000,
901   0x00000000, 0x00000000, 0x00000000, 0x00000000,
902   0x00000000, 0x00000000, 0x00000000, 0x00000001,
903   0x00000000, 0x00000000, 0x00000001, 0x1ffffffc,
904   0x00000000, 0x00000001, 0x1ffffff0, 0x3ffffff8,
905   0x00000001, 0x1ffffff0, 0x3fffffe1, 0x7ffffff0,
906   0x1ffffff0, 0x3fffffe1, 0x7ffffff0, 0xfffffffd,
907   0x3fffffe1, 0x7fffffc2, 0xffffffe0, 0xfffffffa,
908   0x7fffffc1, 0xffffff83, 0xffffffc0, 0xfffffff4,
909   0xffffff82, 0xffffff06, 0xffffff80, 0x00000000,
910   0xffffff04, 0xfffffe0c, 0x00000000, 0x00000000,
911   0xfffffe08, 0x00000000, 0x00000000, 0x00000000,
912   0x00000000, 0x00000000, 0x00000000, 0x00000000,
913   0x00000000, 0x00000000, 0x00000000, 0x20000000,
914   0x00000000, 0x00000000, 0x1ffffffc, 0x3fffffff,
915   0x00000000, 0x1ffffff0, 0x3ffffff8, 0x7fffffff,
916   0x1ffffff0, 0x3fffffe1, 0x7ffffff0, 0x00000000,
917   0x3fffffe1, 0x7fffffc2, 0x00000000, 0x00000000,
918   0x7fffffc1, 0x00000000, 0x00000000, 0x20000000,
919   0x00000000, 0x00000000, 0x1ffffffc, 0x3fffffff,
920   0x00000000, 0x1ffffff0, 0x3ffffff8, 0x7fffffff,
921   0x1ffffff0, 0x3fffffe1, 0x7ffffff0, 0xfffffffd,
922   0x3fffffe1, 0x7fffffc2, 0xffffffe0, 0xfffffffa,
923   0x7fffffc1, 0xffffff83, 0xffffffc0, 0x00000000,
924   0xffffff82, 0xffffff06, 0x00000000, 0x00000000,
925   0xffffff04, 0x00000000, 0x00000000, 0xfffffffd,
926   0x00000000, 0x00000000, 0xffffffe0, 0xfffffffa,
927   0x00000000, 0xffffff83, 0xffffffc0, 0xfffffff4,
928   0xffffff82, 0xffffff06, 0xffffff80, 0xffffffe8,
929   0xffffff04, 0xfffffe0c, 0xffffff00, 0x00000000,
930   0xfffffe08, 0xfffffc18, 0x00000000, 0x00000000,
931   0xfffffc10, 0x00000000, 0x00000000, 0x00000000,
932   0x00000000, 0x00000000, 0x00000000, 0x00000000,
933   0x00000000, 0x00000000, 0x00000000, 0x00000001,
934   0x00000000, 0x00000000, 0x00000001, 0x20000000,
935   0x00000000, 0x00000001, 0x1ffffffc, 0x3fffffff,
936   0x00000001, 0x1ffffff0, 0x3ffffff8, 0x7fffffff,
937   0x1ffffff0, 0x3ffffff8, 0x7fffffff, 0xfffffffe,
938   0x3fffffe1, 0x7ffffff0, 0xfffffffd, 0xfffffffc,
939   0x7fffffc2, 0xffffffe0, 0xfffffffa, 0xfffffff8,
940   0xffffff83, 0xffffffc0, 0xfffffff4, 0x00000000,
941   0xffffff06, 0xffffff80, 0x00000000, 0x00000000,
942   0xfffffe0c, 0x00000000, 0x00000000, 0x00000000,
943   0x00000000, 0x00000000, 0x00000000, 0x00000000,
944   0x00000000, 0x00000000, 0x00000000, 0x20000000,
945   0x00000000, 0x00000000, 0x20000000, 0x40000000,
946   0x00000000, 0x1ffffffc, 0x3fffffff, 0x7fffffff,
947   0x1ffffff0, 0x3ffffff8, 0x7fffffff, 0x00000000,
948   0x3fffffe1, 0x7ffffff0, 0x00000000, 0x00000000,
949   0x7fffffc2, 0x00000000, 0x00000000, 0x20000000,
950   0x00000000, 0x00000000, 0x20000000, 0x40000000,
951   0x00000000, 0x1ffffffc, 0x3fffffff, 0x7fffffff,
952   0x1ffffff0, 0x3ffffff8, 0x7fffffff, 0xfffffffe,
953   0x3fffffe1, 0x7ffffff0, 0xfffffffd, 0xfffffffc,
954   0x7fffffc2, 0xffffffe0, 0xfffffffa, 0x00000000,
955   0xffffff83, 0xffffffc0, 0x00000000, 0x00000000,
956   0xffffff06, 0x00000000, 0x00000000, 0xfffffffe,
957   0x00000000, 0x00000000, 0xfffffffd, 0xfffffffc,
958   0x00000000, 0xffffffe0, 0xfffffffa, 0xfffffff8,
959   0xffffff83, 0xffffffc0, 0xfffffff4, 0xfffffff0,
960   0xffffff06, 0xffffff80, 0xffffffe8, 0x00000000,
961   0xfffffe0c, 0xffffff00, 0x00000000, 0x00000000,
962   0xfffffc18, 0x00000000, 0x00000000, 0x00000000,
963   0x00000000, 0x00000000, 0x00000000, 0x00000000,
964   0x00000000, 0x00000000, 0x00000000, 0x00000001,
965   0x00000000, 0x00000000, 0x00000001, 0x20000000,
966   0x00000000, 0x00000001, 0x20000000, 0x40000000,
967   0x00000001, 0x1ffffffc, 0x3fffffff, 0x7fffffff,
968   0x1ffffffc, 0x3fffffff, 0x7fffffff, 0xffffffff,
969   0x3ffffff8, 0x7fffffff, 0xfffffffe, 0xfffffffe,
970   0x7ffffff0, 0xfffffffd, 0xfffffffc, 0xfffffffc,
971   0xffffffe0, 0xfffffffa, 0xfffffff8, 0x00000000,
972   0xffffffc0, 0xfffffff4, 0x00000000, 0x00000000,
973   0xffffff80, 0x00000000, 0x00000000, 0x00000000,
974   0x00000000, 0x00000000, 0x00000000, 0x00000000,
975   0x00000000, 0x00000000, 0x00000000, 0x20000000,
976   0x00000000, 0x00000000, 0x20000000, 0x40000000,
977   0x00000000, 0x20000000, 0x40000000, 0x80000000,
978   0x1ffffffc, 0x3fffffff, 0x7fffffff, 0x00000000,
979   0x3ffffff8, 0x7fffffff, 0x00000000, 0x00000000,
980   0x7ffffff0, 0x00000000, 0x00000000, 0x20000000,
981   0x00000000, 0x00000000, 0x20000000, 0x40000000,
982   0x00000000, 0x20000000, 0x40000000, 0x80000000,
983   0x1ffffffc, 0x3fffffff, 0x7fffffff, 0xffffffff,
984   0x3ffffff8, 0x7fffffff, 0xfffffffe, 0xfffffffe,
985   0x7ffffff0, 0xfffffffd, 0xfffffffc, 0x00000000,
986   0xffffffe0, 0xfffffffa, 0x00000000, 0x00000000,
987   0xffffffc0, 0x00000000, 0x00000000, 0xffffffff,
988   0x00000000, 0x00000000, 0xfffffffe, 0xfffffffe,
989   0x00000000, 0xfffffffd, 0xfffffffc, 0xfffffffc,
990   0xffffffe0, 0xfffffffa, 0xfffffff8, 0xfffffff8,
991   0xffffffc0, 0xfffffff4, 0xfffffff0, 0x00000000,
992   0xffffff80, 0xffffffe8, 0x00000000, 0x00000000,
993   0xffffff00, 0x00000000, 0x00000000, 0x00000000,
994   0x00000000, 0x00000000, 0x00000000, 0x00000000,
995   0x00000000, 0x00000000, 0x00000000, 0x00000001,
996   0x00000000, 0x00000000, 0x00000001, 0x20000000,
997   0x00000000, 0x00000001, 0x20000000, 0x40000000,
998   0x00000001, 0x20000000, 0x40000000, 0x80000000,
999 };
1000 const unsigned kExpectedCount_NEON_urshl_4S = 961;
1001 
1002 #endif  // VIXL_SIM_URSHL_4S_TRACE_AARCH64_H_
1003