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