blob: 67cef5826fd499187800c2ba54f705a09d9b92b5 [file] [log] [blame]
armvixl5289c592015-03-02 13:52:04 +00001// 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_FMULX_4S_TRACE_A64_H_
35#define VIXL_SIM_FMULX_4S_TRACE_A64_H_
36
37const uint32_t kExpected_NEON_fmulx_4S[] = {
38 0x00000000, 0x00000000, 0x00000000, 0x00000000,
39 0x00000000, 0x00000000, 0x00000000, 0x00000000,
40 0x00000000, 0x00000000, 0x00000000, 0x00000000,
41 0x00000000, 0x00000000, 0x00001fe0, 0x00000000,
42 0x00000000, 0x00001fc0, 0x00001fe0, 0x00000000,
43 0x00009fc0, 0x00001fc0, 0x00001fe0, 0x00000000,
44 0x00009fc0, 0x00001fc0, 0x00003fc0, 0x00000000,
45 0x00009fc0, 0x00003f80, 0x00003fc0, 0x00000000,
46 0x00013f80, 0x00003f80, 0x00003fc0, 0x00000000,
47 0x00013f80, 0x00003f80, 0x00005fa0, 0x00000000,
48 0x00013f80, 0x00005f40, 0x00027d80, 0x7fcfffff,
49 0x0001df40, 0x00027b00, 0x7fcfffff, 0x40000000,
50 0x000c7b00, 0x7fcfffff, 0x7f800000, 0x7fd23456,
51 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
52 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
53 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
54 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00000000,
55 0x7fd23456, 0x7fc00001, 0x00000000, 0x00000000,
56 0x7fc00001, 0x00000000, 0x00000000, 0x00000000,
57 0x00000000, 0x00000000, 0x00000000, 0x80000000,
58 0x00000000, 0x00000000, 0x80000000, 0x80000000,
59 0x00000000, 0x80000000, 0x80000000, 0x80000000,
60 0x80000000, 0x80000000, 0x80001fe0, 0x80000000,
61 0x80000000, 0x80001fc0, 0x80001fe0, 0x80000000,
62 0x80009fc0, 0x80001fc0, 0x80001fe0, 0x80000000,
63 0x80009fc0, 0x80001fc0, 0x80003fc0, 0x80000000,
64 0x80009fc0, 0x80003f80, 0x80003fc0, 0x80000000,
65 0x80013f80, 0x80003f80, 0x80003fc0, 0x80000000,
66 0x80013f80, 0x80003f80, 0x80005fa0, 0x80000000,
67 0x80013f80, 0x80005f40, 0x80027d80, 0xffcfffff,
68 0x8001df40, 0x80027b00, 0xffcfffff, 0xc0000000,
69 0x800c7b00, 0xffcfffff, 0xff800000, 0xffd23456,
70 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
71 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
72 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
73 0xffc00000, 0xffd23456, 0xffc00001, 0x80000000,
74 0xffd23456, 0xffc00001, 0x80000000, 0x80000000,
75 0xffc00001, 0x80000000, 0x80000000, 0x80000000,
76 0x80000000, 0x80000000, 0x80000000, 0x00000000,
77 0x80000000, 0x80000000, 0x00000000, 0x00000000,
78 0x80000000, 0x00000000, 0x00000000, 0x00400000,
79 0x00000000, 0x00000000, 0x00000000, 0x00400000,
80 0x00000000, 0x00001fe0, 0x00000000, 0x00400000,
81 0x00001fc0, 0x00001fe0, 0x00000000, 0x00800000,
82 0x00001fc0, 0x00001fe0, 0x00000000, 0x00800000,
83 0x00001fc0, 0x00003fc0, 0x00000000, 0x00800001,
84 0x00003f80, 0x00003fc0, 0x00000000, 0x00c00000,
85 0x00003f80, 0x00003fc0, 0x00000000, 0x02200000,
86 0x00003f80, 0x00005fa0, 0x00000000, 0x7fcfffff,
87 0x00005f40, 0x00027d80, 0x7fcfffff, 0x7f800000,
88 0x00027b00, 0x7fcfffff, 0x40000000, 0x7fd23456,
89 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
90 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
91 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
92 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00000000,
93 0x7fd23456, 0x7fc00001, 0x00000000, 0x00000000,
94 0x7fc00001, 0x00000000, 0x00000000, 0x00000000,
95 0x00000000, 0x00000000, 0x00000000, 0x80000000,
96 0x00000000, 0x00000000, 0x80000000, 0x80000000,
97 0x00000000, 0x80000000, 0x80000000, 0x80400000,
98 0x80000000, 0x80000000, 0x80000000, 0x80400000,
99 0x80000000, 0x80001fe0, 0x80000000, 0x80400000,
100 0x80001fc0, 0x80001fe0, 0x80000000, 0x80800000,
101 0x80001fc0, 0x80001fe0, 0x80000000, 0x80800000,
102 0x80001fc0, 0x80003fc0, 0x80000000, 0x80800001,
103 0x80003f80, 0x80003fc0, 0x80000000, 0x80c00000,
104 0x80003f80, 0x80003fc0, 0x80000000, 0x82200000,
105 0x80003f80, 0x80005fa0, 0x80000000, 0xffcfffff,
106 0x80005f40, 0x80027d80, 0xffcfffff, 0xff800000,
107 0x80027b00, 0xffcfffff, 0xc0000000, 0xffd23456,
108 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
109 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
110 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
111 0xffc00000, 0xffd23456, 0xffc00001, 0x80000000,
112 0xffd23456, 0xffc00001, 0x80000000, 0x80000000,
113 0xffc00001, 0x80000000, 0x80000000, 0x80000000,
114 0x80000000, 0x80000000, 0x80000000, 0x00000000,
115 0x80000000, 0x80000000, 0x00000000, 0x00400000,
116 0x80000000, 0x00000000, 0x00000000, 0x3e7ffffe,
117 0x00000000, 0x00000000, 0x00400000, 0x3e7fffff,
118 0x00000000, 0x00000000, 0x00400000, 0x3e800000,
119 0x00001fe0, 0x00000000, 0x00400000, 0x3efffffe,
120 0x00001fe0, 0x00000000, 0x00800000, 0x3effffff,
121 0x00001fe0, 0x00000000, 0x00800000, 0x3f000000,
122 0x00003fc0, 0x00000000, 0x00800001, 0x3f3fffff,
123 0x00003fc0, 0x00000000, 0x00c00000, 0x409fffff,
124 0x00003fc0, 0x00000000, 0x02200000, 0x7fcfffff,
125 0x00005fa0, 0x00000000, 0x7fcfffff, 0x7f800000,
126 0x00027d80, 0x7fcfffff, 0x7f800000, 0x7fd23456,
127 0x7fcfffff, 0x40000000, 0x7fd23456, 0x7fc00000,
128 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
129 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
130 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00091a2b,
131 0x7fd23456, 0x7fc00001, 0x00000000, 0x003fffff,
132 0x7fc00001, 0x00000000, 0x00000000, 0x00000000,
133 0x00000000, 0x00000000, 0x00000000, 0x80000000,
134 0x00000000, 0x00000000, 0x80000000, 0x80400000,
135 0x00000000, 0x80000000, 0x80000000, 0xbe7ffffe,
136 0x80000000, 0x80000000, 0x80400000, 0xbe7fffff,
137 0x80000000, 0x80000000, 0x80400000, 0xbe800000,
138 0x80001fe0, 0x80000000, 0x80400000, 0xbefffffe,
139 0x80001fe0, 0x80000000, 0x80800000, 0xbeffffff,
140 0x80001fe0, 0x80000000, 0x80800000, 0xbf000000,
141 0x80003fc0, 0x80000000, 0x80800001, 0xbf3fffff,
142 0x80003fc0, 0x80000000, 0x80c00000, 0xc09fffff,
143 0x80003fc0, 0x80000000, 0x82200000, 0xffcfffff,
144 0x80005fa0, 0x80000000, 0xffcfffff, 0xff800000,
145 0x80027d80, 0xffcfffff, 0xff800000, 0xffd23456,
146 0xffcfffff, 0xc0000000, 0xffd23456, 0xffc00000,
147 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
148 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
149 0xffc00000, 0xffd23456, 0xffc00001, 0x80091a2b,
150 0xffd23456, 0xffc00001, 0x80000000, 0x803fffff,
151 0xffc00001, 0x80000000, 0x80000000, 0x80000000,
152 0x80000000, 0x80000000, 0x80000000, 0x00000000,
153 0x80000000, 0x80000000, 0x00000000, 0x00400000,
154 0x80000000, 0x00000000, 0x00400000, 0x3e7fffff,
155 0x00000000, 0x00000000, 0x3e7ffffe, 0x3e800000,
156 0x00000000, 0x00400000, 0x3e7fffff, 0x3e800001,
157 0x00000000, 0x00400000, 0x3e800000, 0x3effffff,
158 0x00000000, 0x00400000, 0x3efffffe, 0x3f000000,
159 0x00000000, 0x00800000, 0x3effffff, 0x3f000001,
160 0x00000000, 0x00800000, 0x3f000000, 0x3f400000,
161 0x00000000, 0x00800001, 0x3f3fffff, 0x40a00000,
162 0x00000000, 0x00c00000, 0x409fffff, 0x7fcfffff,
163 0x00000000, 0x02200000, 0x7fcfffff, 0x7f800000,
164 0x00000000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
165 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
166 0x40000000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
167 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
168 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00091a2b,
169 0x7fd23456, 0x7fc00001, 0x00091a2b, 0x00400000,
170 0x7fc00001, 0x00000000, 0x003fffff, 0x00000000,
171 0x00000000, 0x00000000, 0x00000000, 0x80000000,
172 0x00000000, 0x00000000, 0x80000000, 0x80400000,
173 0x00000000, 0x80000000, 0x80400000, 0xbe7fffff,
174 0x80000000, 0x80000000, 0xbe7ffffe, 0xbe800000,
175 0x80000000, 0x80400000, 0xbe7fffff, 0xbe800001,
176 0x80000000, 0x80400000, 0xbe800000, 0xbeffffff,
177 0x80000000, 0x80400000, 0xbefffffe, 0xbf000000,
178 0x80000000, 0x80800000, 0xbeffffff, 0xbf000001,
179 0x80000000, 0x80800000, 0xbf000000, 0xbf400000,
180 0x80000000, 0x80800001, 0xbf3fffff, 0xc0a00000,
181 0x80000000, 0x80c00000, 0xc09fffff, 0xffcfffff,
182 0x80000000, 0x82200000, 0xffcfffff, 0xff800000,
183 0x80000000, 0xffcfffff, 0xff800000, 0xffd23456,
184 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
185 0xc0000000, 0xffd23456, 0xffc00000, 0xffd23456,
186 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
187 0xffc00000, 0xffd23456, 0xffc00001, 0x80091a2b,
188 0xffd23456, 0xffc00001, 0x80091a2b, 0x80400000,
189 0xffc00001, 0x80000000, 0x803fffff, 0x80000000,
190 0x80000000, 0x803fffff, 0x80000000, 0x00000000,
191 0x80000000, 0x80000000, 0x00000000, 0x00400000,
192 0x80000000, 0x00000000, 0x00400000, 0x3e800000,
193 0x00000000, 0x00400000, 0x3e7fffff, 0x3e800001,
194 0x00000000, 0x3e7ffffe, 0x3e800000, 0x3e800002,
195 0x00400000, 0x3e7fffff, 0x3e800001, 0x3f000000,
196 0x00400000, 0x3e800000, 0x3effffff, 0x3f000001,
197 0x00400000, 0x3efffffe, 0x3f000000, 0x3f000002,
198 0x00800000, 0x3effffff, 0x3f000001, 0x3f400002,
199 0x00800000, 0x3f000000, 0x3f400000, 0x40a00001,
200 0x00800001, 0x3f3fffff, 0x40a00000, 0x7fcfffff,
201 0x00c00000, 0x409fffff, 0x7fcfffff, 0x7f800000,
202 0x02200000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
203 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
204 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
205 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
206 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00091a2b,
207 0x7fd23456, 0x7fc00001, 0x00091a2b, 0x00400000,
208 0x7fc00001, 0x00091a2b, 0x00400000, 0x00000001,
209 0x00000000, 0x003fffff, 0x00000000, 0x80000000,
210 0x00000000, 0x00000000, 0x80000000, 0x80400000,
211 0x00000000, 0x80000000, 0x80400000, 0xbe800000,
212 0x80000000, 0x80400000, 0xbe7fffff, 0xbe800001,
213 0x80000000, 0xbe7ffffe, 0xbe800000, 0xbe800002,
214 0x80400000, 0xbe7fffff, 0xbe800001, 0xbf000000,
215 0x80400000, 0xbe800000, 0xbeffffff, 0xbf000001,
216 0x80400000, 0xbefffffe, 0xbf000000, 0xbf000002,
217 0x80800000, 0xbeffffff, 0xbf000001, 0xbf400002,
218 0x80800000, 0xbf000000, 0xbf400000, 0xc0a00001,
219 0x80800001, 0xbf3fffff, 0xc0a00000, 0xffcfffff,
220 0x80c00000, 0xc09fffff, 0xffcfffff, 0xff800000,
221 0x82200000, 0xffcfffff, 0xff800000, 0xffd23456,
222 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
223 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
224 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
225 0xffc00000, 0xffd23456, 0xffc00001, 0x80091a2b,
226 0xffd23456, 0xffc00001, 0x80091a2b, 0x80400000,
227 0xffc00001, 0x80091a2b, 0x80400000, 0x80000001,
228 0x80091a2b, 0x80400000, 0x80000001, 0x00000000,
229 0x803fffff, 0x80000000, 0x00000000, 0x00800000,
230 0x80000000, 0x00000000, 0x00400000, 0x3efffffe,
231 0x00000000, 0x00400000, 0x3e800000, 0x3effffff,
232 0x00400000, 0x3e7fffff, 0x3e800001, 0x3f000000,
233 0x3e7ffffe, 0x3e800000, 0x3e800002, 0x3f7ffffe,
234 0x3e7fffff, 0x3e800001, 0x3f000000, 0x3f7fffff,
235 0x3e800000, 0x3effffff, 0x3f000001, 0x3f800000,
236 0x3efffffe, 0x3f000000, 0x3f000002, 0x3fbfffff,
237 0x3effffff, 0x3f000001, 0x3f400002, 0x411fffff,
238 0x3f000000, 0x3f400000, 0x40a00001, 0x7fcfffff,
239 0x3f3fffff, 0x40a00000, 0x7fcfffff, 0x7f800000,
240 0x409fffff, 0x7fcfffff, 0x7f800000, 0x7fd23456,
241 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
242 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
243 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
244 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00123456,
245 0x7fd23456, 0x7fc00001, 0x00091a2b, 0x007fffff,
246 0x7fc00001, 0x00091a2b, 0x00400000, 0x00000001,
247 0x00091a2b, 0x00400000, 0x00000001, 0x80000000,
248 0x003fffff, 0x00000000, 0x80000000, 0x80800000,
249 0x00000000, 0x80000000, 0x80400000, 0xbefffffe,
250 0x80000000, 0x80400000, 0xbe800000, 0xbeffffff,
251 0x80400000, 0xbe7fffff, 0xbe800001, 0xbf000000,
252 0xbe7ffffe, 0xbe800000, 0xbe800002, 0xbf7ffffe,
253 0xbe7fffff, 0xbe800001, 0xbf000000, 0xbf7fffff,
254 0xbe800000, 0xbeffffff, 0xbf000001, 0xbf800000,
255 0xbefffffe, 0xbf000000, 0xbf000002, 0xbfbfffff,
256 0xbeffffff, 0xbf000001, 0xbf400002, 0xc11fffff,
257 0xbf000000, 0xbf400000, 0xc0a00001, 0xffcfffff,
258 0xbf3fffff, 0xc0a00000, 0xffcfffff, 0xff800000,
259 0xc09fffff, 0xffcfffff, 0xff800000, 0xffd23456,
260 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
261 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
262 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
263 0xffc00000, 0xffd23456, 0xffc00001, 0x80123456,
264 0xffd23456, 0xffc00001, 0x80091a2b, 0x807fffff,
265 0xffc00001, 0x80091a2b, 0x80400000, 0x80000001,
266 0x80091a2b, 0x80400000, 0x80000001, 0x00000000,
267 0x80400000, 0x80000001, 0x00000000, 0x00800000,
268 0x80000000, 0x00000000, 0x00800000, 0x3effffff,
269 0x00000000, 0x00400000, 0x3efffffe, 0x3f000000,
270 0x00400000, 0x3e800000, 0x3effffff, 0x3f000001,
271 0x3e7fffff, 0x3e800001, 0x3f000000, 0x3f7fffff,
272 0x3e800000, 0x3e800002, 0x3f7ffffe, 0x3f800000,
273 0x3e800001, 0x3f000000, 0x3f7fffff, 0x3f800001,
274 0x3effffff, 0x3f000001, 0x3f800000, 0x3fc00000,
275 0x3f000000, 0x3f000002, 0x3fbfffff, 0x41200000,
276 0x3f000001, 0x3f400002, 0x411fffff, 0x7fcfffff,
277 0x3f400000, 0x40a00001, 0x7fcfffff, 0x7f800000,
278 0x40a00000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
279 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
280 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
281 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
282 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00123456,
283 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff,
284 0x7fc00001, 0x00091a2b, 0x007fffff, 0x00000001,
285 0x00091a2b, 0x00400000, 0x00000001, 0x80000000,
286 0x00400000, 0x00000001, 0x80000000, 0x80800000,
287 0x00000000, 0x80000000, 0x80800000, 0xbeffffff,
288 0x80000000, 0x80400000, 0xbefffffe, 0xbf000000,
289 0x80400000, 0xbe800000, 0xbeffffff, 0xbf000001,
290 0xbe7fffff, 0xbe800001, 0xbf000000, 0xbf7fffff,
291 0xbe800000, 0xbe800002, 0xbf7ffffe, 0xbf800000,
292 0xbe800001, 0xbf000000, 0xbf7fffff, 0xbf800001,
293 0xbeffffff, 0xbf000001, 0xbf800000, 0xbfc00000,
294 0xbf000000, 0xbf000002, 0xbfbfffff, 0xc1200000,
295 0xbf000001, 0xbf400002, 0xc11fffff, 0xffcfffff,
296 0xbf400000, 0xc0a00001, 0xffcfffff, 0xff800000,
297 0xc0a00000, 0xffcfffff, 0xff800000, 0xffd23456,
298 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
299 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
300 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
301 0xffc00000, 0xffd23456, 0xffc00001, 0x80123456,
302 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff,
303 0xffc00001, 0x80091a2b, 0x807fffff, 0x80000001,
304 0x80091a2b, 0x807fffff, 0x80000001, 0x00000000,
305 0x80400000, 0x80000001, 0x00000000, 0x00800001,
306 0x80000001, 0x00000000, 0x00800000, 0x3f000000,
307 0x00000000, 0x00800000, 0x3effffff, 0x3f000001,
308 0x00400000, 0x3efffffe, 0x3f000000, 0x3f000002,
309 0x3e800000, 0x3effffff, 0x3f000001, 0x3f800000,
310 0x3e800001, 0x3f000000, 0x3f7fffff, 0x3f800001,
311 0x3e800002, 0x3f7ffffe, 0x3f800000, 0x3f800002,
312 0x3f000000, 0x3f7fffff, 0x3f800001, 0x3fc00002,
313 0x3f000001, 0x3f800000, 0x3fc00000, 0x41200001,
314 0x3f000002, 0x3fbfffff, 0x41200000, 0x7fcfffff,
315 0x3f400002, 0x411fffff, 0x7fcfffff, 0x7f800000,
316 0x40a00001, 0x7fcfffff, 0x7f800000, 0x7fd23456,
317 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
318 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
319 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
320 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00123456,
321 0x7fd23456, 0x7fc00001, 0x00123456, 0x00800000,
322 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001,
323 0x00091a2b, 0x007fffff, 0x00000001, 0x80000000,
324 0x00400000, 0x00000001, 0x80000000, 0x80800001,
325 0x00000001, 0x80000000, 0x80800000, 0xbf000000,
326 0x80000000, 0x80800000, 0xbeffffff, 0xbf000001,
327 0x80400000, 0xbefffffe, 0xbf000000, 0xbf000002,
328 0xbe800000, 0xbeffffff, 0xbf000001, 0xbf800000,
329 0xbe800001, 0xbf000000, 0xbf7fffff, 0xbf800001,
330 0xbe800002, 0xbf7ffffe, 0xbf800000, 0xbf800002,
331 0xbf000000, 0xbf7fffff, 0xbf800001, 0xbfc00002,
332 0xbf000001, 0xbf800000, 0xbfc00000, 0xc1200001,
333 0xbf000002, 0xbfbfffff, 0xc1200000, 0xffcfffff,
334 0xbf400002, 0xc11fffff, 0xffcfffff, 0xff800000,
335 0xc0a00001, 0xffcfffff, 0xff800000, 0xffd23456,
336 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
337 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
338 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
339 0xffc00000, 0xffd23456, 0xffc00001, 0x80123456,
340 0xffd23456, 0xffc00001, 0x80123456, 0x80800000,
341 0xffc00001, 0x80123456, 0x807fffff, 0x80000001,
342 0x80123456, 0x807fffff, 0x80000001, 0x00000000,
343 0x807fffff, 0x80000001, 0x00000000, 0x00c00000,
344 0x80000001, 0x00000000, 0x00800001, 0x3f3fffff,
345 0x00000000, 0x00800000, 0x3f000000, 0x3f400000,
346 0x00800000, 0x3effffff, 0x3f000001, 0x3f400002,
347 0x3efffffe, 0x3f000000, 0x3f000002, 0x3fbfffff,
348 0x3effffff, 0x3f000001, 0x3f800000, 0x3fc00000,
349 0x3f000000, 0x3f7fffff, 0x3f800001, 0x3fc00002,
350 0x3f7ffffe, 0x3f800000, 0x3f800002, 0x40100000,
351 0x3f7fffff, 0x3f800001, 0x3fc00002, 0x41700000,
352 0x3f800000, 0x3fc00000, 0x41200001, 0x7fcfffff,
353 0x3fbfffff, 0x41200000, 0x7fcfffff, 0x7f800000,
354 0x411fffff, 0x7fcfffff, 0x7f800000, 0x7fd23456,
355 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
356 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
357 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
358 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x001b4e81,
359 0x7fd23456, 0x7fc00001, 0x00123456, 0x00bffffe,
360 0x7fc00001, 0x00123456, 0x00800000, 0x00000002,
361 0x00123456, 0x007fffff, 0x00000001, 0x80000000,
362 0x007fffff, 0x00000001, 0x80000000, 0x80c00000,
363 0x00000001, 0x80000000, 0x80800001, 0xbf3fffff,
364 0x80000000, 0x80800000, 0xbf000000, 0xbf400000,
365 0x80800000, 0xbeffffff, 0xbf000001, 0xbf400002,
366 0xbefffffe, 0xbf000000, 0xbf000002, 0xbfbfffff,
367 0xbeffffff, 0xbf000001, 0xbf800000, 0xbfc00000,
368 0xbf000000, 0xbf7fffff, 0xbf800001, 0xbfc00002,
369 0xbf7ffffe, 0xbf800000, 0xbf800002, 0xc0100000,
370 0xbf7fffff, 0xbf800001, 0xbfc00002, 0xc1700000,
371 0xbf800000, 0xbfc00000, 0xc1200001, 0xffcfffff,
372 0xbfbfffff, 0xc1200000, 0xffcfffff, 0xff800000,
373 0xc11fffff, 0xffcfffff, 0xff800000, 0xffd23456,
374 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
375 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
376 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
377 0xffc00000, 0xffd23456, 0xffc00001, 0x801b4e81,
378 0xffd23456, 0xffc00001, 0x80123456, 0x80bffffe,
379 0xffc00001, 0x80123456, 0x80800000, 0x80000002,
380 0x80123456, 0x80800000, 0x80000002, 0x00000000,
381 0x807fffff, 0x80000001, 0x00000000, 0x02200000,
382 0x80000001, 0x00000000, 0x00c00000, 0x409fffff,
383 0x00000000, 0x00800001, 0x3f3fffff, 0x40a00000,
384 0x00800000, 0x3f000000, 0x3f400000, 0x40a00001,
385 0x3effffff, 0x3f000001, 0x3f400002, 0x411fffff,
386 0x3f000000, 0x3f000002, 0x3fbfffff, 0x41200000,
387 0x3f000001, 0x3f800000, 0x3fc00000, 0x41200001,
388 0x3f7fffff, 0x3f800001, 0x3fc00002, 0x41700000,
389 0x3f800000, 0x3f800002, 0x40100000, 0x42c80000,
390 0x3f800001, 0x3fc00002, 0x41700000, 0x7fcfffff,
391 0x3fc00000, 0x41200001, 0x7fcfffff, 0x7f800000,
392 0x41200000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
393 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
394 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
395 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
396 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00b60b5c,
397 0x7fd23456, 0x7fc00001, 0x001b4e81, 0x021fffff,
398 0x7fc00001, 0x00123456, 0x00bffffe, 0x0000000a,
399 0x00123456, 0x00800000, 0x00000002, 0x80000000,
400 0x007fffff, 0x00000001, 0x80000000, 0x82200000,
401 0x00000001, 0x80000000, 0x80c00000, 0xc09fffff,
402 0x80000000, 0x80800001, 0xbf3fffff, 0xc0a00000,
403 0x80800000, 0xbf000000, 0xbf400000, 0xc0a00001,
404 0xbeffffff, 0xbf000001, 0xbf400002, 0xc11fffff,
405 0xbf000000, 0xbf000002, 0xbfbfffff, 0xc1200000,
406 0xbf000001, 0xbf800000, 0xbfc00000, 0xc1200001,
407 0xbf7fffff, 0xbf800001, 0xbfc00002, 0xc1700000,
408 0xbf800000, 0xbf800002, 0xc0100000, 0xc2c80000,
409 0xbf800001, 0xbfc00002, 0xc1700000, 0xffcfffff,
410 0xbfc00000, 0xc1200001, 0xffcfffff, 0xff800000,
411 0xc1200000, 0xffcfffff, 0xff800000, 0xffd23456,
412 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
413 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
414 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
415 0xffc00000, 0xffd23456, 0xffc00001, 0x80b60b5c,
416 0xffd23456, 0xffc00001, 0x801b4e81, 0x821fffff,
417 0xffc00001, 0x80123456, 0x80bffffe, 0x8000000a,
418 0x80123456, 0x80bffffe, 0x8000000a, 0x7fcfffff,
419 0x80800000, 0x80000002, 0x00000000, 0x7fcfffff,
420 0x80000001, 0x00000000, 0x02200000, 0x7fcfffff,
421 0x00000000, 0x00c00000, 0x409fffff, 0x7fcfffff,
422 0x00800001, 0x3f3fffff, 0x40a00000, 0x7fcfffff,
423 0x3f000000, 0x3f400000, 0x40a00001, 0x7fcfffff,
424 0x3f000001, 0x3f400002, 0x411fffff, 0x7fcfffff,
425 0x3f000002, 0x3fbfffff, 0x41200000, 0x7fcfffff,
426 0x3f800000, 0x3fc00000, 0x41200001, 0x7fcfffff,
427 0x3f800001, 0x3fc00002, 0x41700000, 0x7fcfffff,
428 0x3f800002, 0x40100000, 0x42c80000, 0x7fcfffff,
429 0x3fc00002, 0x41700000, 0x7fcfffff, 0x7fcfffff,
430 0x41200001, 0x7fcfffff, 0x7f800000, 0x7fcfffff,
431 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fcfffff,
432 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fcfffff,
433 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fcfffff,
434 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fcfffff,
435 0x7fd23456, 0x7fc00001, 0x00b60b5c, 0x7fcfffff,
436 0x7fc00001, 0x001b4e81, 0x021fffff, 0x7fcfffff,
437 0x00123456, 0x00bffffe, 0x0000000a, 0x7fcfffff,
438 0x00800000, 0x00000002, 0x80000000, 0x7fcfffff,
439 0x00000001, 0x80000000, 0x82200000, 0x7fcfffff,
440 0x80000000, 0x80c00000, 0xc09fffff, 0x7fcfffff,
441 0x80800001, 0xbf3fffff, 0xc0a00000, 0x7fcfffff,
442 0xbf000000, 0xbf400000, 0xc0a00001, 0x7fcfffff,
443 0xbf000001, 0xbf400002, 0xc11fffff, 0x7fcfffff,
444 0xbf000002, 0xbfbfffff, 0xc1200000, 0x7fcfffff,
445 0xbf800000, 0xbfc00000, 0xc1200001, 0x7fcfffff,
446 0xbf800001, 0xbfc00002, 0xc1700000, 0x7fcfffff,
447 0xbf800002, 0xc0100000, 0xc2c80000, 0x7fcfffff,
448 0xbfc00002, 0xc1700000, 0xffcfffff, 0x7fcfffff,
449 0xc1200001, 0xffcfffff, 0xff800000, 0x7fcfffff,
450 0xffcfffff, 0xff800000, 0xffd23456, 0x7fcfffff,
451 0xff800000, 0xffd23456, 0xffc00000, 0x7fcfffff,
452 0xffd23456, 0xffc00000, 0xffd23456, 0x7fcfffff,
453 0xffc00000, 0xffd23456, 0xffc00001, 0x7fcfffff,
454 0xffd23456, 0xffc00001, 0x80b60b5c, 0x7fcfffff,
455 0xffc00001, 0x801b4e81, 0x821fffff, 0x7fcfffff,
456 0x801b4e81, 0x821fffff, 0x7fcfffff, 0x40000000,
457 0x80bffffe, 0x8000000a, 0x7fcfffff, 0x7f800000,
458 0x80000002, 0x00000000, 0x7fcfffff, 0x7f800000,
459 0x00000000, 0x02200000, 0x7fcfffff, 0x7f800000,
460 0x00c00000, 0x409fffff, 0x7fcfffff, 0x7f800000,
461 0x3f3fffff, 0x40a00000, 0x7fcfffff, 0x7f800000,
462 0x3f400000, 0x40a00001, 0x7fcfffff, 0x7f800000,
463 0x3f400002, 0x411fffff, 0x7fcfffff, 0x7f800000,
464 0x3fbfffff, 0x41200000, 0x7fcfffff, 0x7f800000,
465 0x3fc00000, 0x41200001, 0x7fcfffff, 0x7f800000,
466 0x3fc00002, 0x41700000, 0x7fcfffff, 0x7fcfffff,
467 0x40100000, 0x42c80000, 0x7fcfffff, 0x7f800000,
468 0x41700000, 0x7fcfffff, 0x7fcfffff, 0x7fd23456,
469 0x7fcfffff, 0x7f800000, 0x7fcfffff, 0x7fc00000,
470 0x7f800000, 0x7fd23456, 0x7fcfffff, 0x7fd23456,
471 0x7fd23456, 0x7fc00000, 0x7fcfffff, 0x7fc00001,
472 0x7fc00000, 0x7fd23456, 0x7fcfffff, 0x7f800000,
473 0x7fd23456, 0x7fc00001, 0x7fcfffff, 0x7f800000,
474 0x7fc00001, 0x00b60b5c, 0x7fcfffff, 0x7f800000,
475 0x001b4e81, 0x021fffff, 0x7fcfffff, 0xc0000000,
476 0x00bffffe, 0x0000000a, 0x7fcfffff, 0xff800000,
477 0x00000002, 0x80000000, 0x7fcfffff, 0xff800000,
478 0x80000000, 0x82200000, 0x7fcfffff, 0xff800000,
479 0x80c00000, 0xc09fffff, 0x7fcfffff, 0xff800000,
480 0xbf3fffff, 0xc0a00000, 0x7fcfffff, 0xff800000,
481 0xbf400000, 0xc0a00001, 0x7fcfffff, 0xff800000,
482 0xbf400002, 0xc11fffff, 0x7fcfffff, 0xff800000,
483 0xbfbfffff, 0xc1200000, 0x7fcfffff, 0xff800000,
484 0xbfc00000, 0xc1200001, 0x7fcfffff, 0xff800000,
485 0xbfc00002, 0xc1700000, 0x7fcfffff, 0xffcfffff,
486 0xc0100000, 0xc2c80000, 0x7fcfffff, 0xff800000,
487 0xc1700000, 0xffcfffff, 0x7fcfffff, 0xffd23456,
488 0xffcfffff, 0xff800000, 0x7fcfffff, 0xffc00000,
489 0xff800000, 0xffd23456, 0x7fcfffff, 0xffd23456,
490 0xffd23456, 0xffc00000, 0x7fcfffff, 0xffc00001,
491 0xffc00000, 0xffd23456, 0x7fcfffff, 0xff800000,
492 0xffd23456, 0xffc00001, 0x7fcfffff, 0xff800000,
493 0xffc00001, 0x80b60b5c, 0x7fcfffff, 0xff800000,
494 0x80b60b5c, 0x7fcfffff, 0xff800000, 0x7fd23456,
495 0x821fffff, 0x7fcfffff, 0x40000000, 0x7fd23456,
496 0x8000000a, 0x7fcfffff, 0x7f800000, 0x7fd23456,
497 0x00000000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
498 0x02200000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
499 0x409fffff, 0x7fcfffff, 0x7f800000, 0x7fd23456,
500 0x40a00000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
501 0x40a00001, 0x7fcfffff, 0x7f800000, 0x7fd23456,
502 0x411fffff, 0x7fcfffff, 0x7f800000, 0x7fd23456,
503 0x41200000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
504 0x41200001, 0x7fcfffff, 0x7f800000, 0x7fcfffff,
505 0x41700000, 0x7fcfffff, 0x7fcfffff, 0x7fd23456,
506 0x42c80000, 0x7fcfffff, 0x7f800000, 0x7fd23456,
507 0x7fcfffff, 0x7fcfffff, 0x7fd23456, 0x7fd23456,
508 0x7f800000, 0x7fcfffff, 0x7fc00000, 0x7fd23456,
509 0x7fd23456, 0x7fcfffff, 0x7fd23456, 0x7fc00001,
510 0x7fc00000, 0x7fcfffff, 0x7fc00001, 0x7fd23456,
511 0x7fd23456, 0x7fcfffff, 0x7f800000, 0x7fd23456,
512 0x7fc00001, 0x7fcfffff, 0x7f800000, 0x7fd23456,
513 0x00b60b5c, 0x7fcfffff, 0x7f800000, 0x7fd23456,
514 0x021fffff, 0x7fcfffff, 0xc0000000, 0x7fd23456,
515 0x0000000a, 0x7fcfffff, 0xff800000, 0x7fd23456,
516 0x80000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
517 0x82200000, 0x7fcfffff, 0xff800000, 0x7fd23456,
518 0xc09fffff, 0x7fcfffff, 0xff800000, 0x7fd23456,
519 0xc0a00000, 0x7fcfffff, 0xff800000, 0x7fd23456,
520 0xc0a00001, 0x7fcfffff, 0xff800000, 0x7fd23456,
521 0xc11fffff, 0x7fcfffff, 0xff800000, 0x7fd23456,
522 0xc1200000, 0x7fcfffff, 0xff800000, 0x7fd23456,
523 0xc1200001, 0x7fcfffff, 0xff800000, 0xffcfffff,
524 0xc1700000, 0x7fcfffff, 0xffcfffff, 0x7fd23456,
525 0xc2c80000, 0x7fcfffff, 0xff800000, 0x7fd23456,
526 0xffcfffff, 0x7fcfffff, 0xffd23456, 0x7fd23456,
527 0xff800000, 0x7fcfffff, 0xffc00000, 0xffd23456,
528 0xffd23456, 0x7fcfffff, 0xffd23456, 0xffc00001,
529 0xffc00000, 0x7fcfffff, 0xffc00001, 0x7fd23456,
530 0xffd23456, 0x7fcfffff, 0xff800000, 0x7fd23456,
531 0xffc00001, 0x7fcfffff, 0xff800000, 0x7fd23456,
532 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
533 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
534 0x7fcfffff, 0x40000000, 0x7fd23456, 0x7fc00000,
535 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
536 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
537 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
538 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
539 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
540 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
541 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
542 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fcfffff,
543 0x7fcfffff, 0x7f800000, 0x7fcfffff, 0x7fc00000,
544 0x7fcfffff, 0x7fcfffff, 0x7fd23456, 0x7fc00000,
545 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
546 0x7fcfffff, 0x7fd23456, 0x7fd23456, 0x7fd23456,
547 0x7fcfffff, 0x7fc00000, 0x7fd23456, 0x7fc00001,
548 0x7fcfffff, 0x7fd23456, 0x7fc00001, 0x7fc00000,
549 0x7fcfffff, 0x7fc00001, 0x7fd23456, 0x7fc00000,
550 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
551 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
552 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
553 0x7fcfffff, 0xc0000000, 0x7fd23456, 0x7fc00000,
554 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
555 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
556 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
557 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
558 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
559 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
560 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
561 0x7fcfffff, 0xff800000, 0x7fd23456, 0xffcfffff,
562 0x7fcfffff, 0xff800000, 0xffcfffff, 0x7fc00000,
563 0x7fcfffff, 0xffcfffff, 0x7fd23456, 0x7fc00000,
564 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
565 0x7fcfffff, 0xffd23456, 0x7fd23456, 0xffd23456,
566 0x7fcfffff, 0xffc00000, 0xffd23456, 0xffc00001,
567 0x7fcfffff, 0xffd23456, 0xffc00001, 0x7fc00000,
568 0x7fcfffff, 0xffc00001, 0x7fd23456, 0x7fc00000,
569 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
570 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
571 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
572 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
573 0x40000000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
574 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
575 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
576 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
577 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
578 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
579 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
580 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
581 0x7f800000, 0x7fd23456, 0x7fcfffff, 0x7fd23456,
582 0x7f800000, 0x7fcfffff, 0x7fc00000, 0x7fd23456,
583 0x7fcfffff, 0x7fd23456, 0x7fc00000, 0x7fd23456,
584 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
585 0x7fd23456, 0x7fd23456, 0x7fd23456, 0x7fd23456,
586 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fd23456,
587 0x7fd23456, 0x7fc00001, 0x7fc00000, 0x7fd23456,
588 0x7fc00001, 0x7fd23456, 0x7fc00000, 0x7fd23456,
589 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
590 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
591 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
592 0xc0000000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
593 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
594 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
595 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
596 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
597 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
598 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
599 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
600 0xff800000, 0x7fd23456, 0xffcfffff, 0x7fd23456,
601 0xff800000, 0xffcfffff, 0x7fc00000, 0x7fd23456,
602 0xffcfffff, 0x7fd23456, 0x7fc00000, 0x7fd23456,
603 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
604 0xffd23456, 0x7fd23456, 0xffd23456, 0x7fd23456,
605 0xffc00000, 0xffd23456, 0xffc00001, 0x7fd23456,
606 0xffd23456, 0xffc00001, 0x7fc00000, 0x7fd23456,
607 0xffc00001, 0x7fd23456, 0x7fc00000, 0x7fd23456,
608 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
609 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
610 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
611 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
612 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
613 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
614 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
615 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
616 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
617 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
618 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
619 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
620 0x7fd23456, 0x7fcfffff, 0x7fd23456, 0x7fc00001,
621 0x7fcfffff, 0x7fc00000, 0x7fd23456, 0x7fc00001,
622 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
623 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
624 0x7fd23456, 0x7fd23456, 0x7fd23456, 0x7fc00001,
625 0x7fd23456, 0x7fc00001, 0x7fd23456, 0x7fc00001,
626 0x7fc00001, 0x7fc00000, 0x7fd23456, 0x7fc00001,
627 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
628 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
629 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
630 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
631 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
632 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
633 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
634 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
635 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
636 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
637 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
638 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
639 0x7fd23456, 0xffcfffff, 0x7fd23456, 0x7fc00001,
640 0xffcfffff, 0x7fc00000, 0x7fd23456, 0x7fc00001,
641 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
642 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
643 0x7fd23456, 0xffd23456, 0x7fd23456, 0x7fc00001,
644 0xffd23456, 0xffc00001, 0x7fd23456, 0x7fc00001,
645 0xffc00001, 0x7fc00000, 0x7fd23456, 0x7fc00001,
646 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00000000,
647 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00000000,
648 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00091a2b,
649 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00091a2b,
650 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00091a2b,
651 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00123456,
652 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00123456,
653 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00123456,
654 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x001b4e81,
655 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00b60b5c,
656 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fcfffff,
657 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7f800000,
658 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fd23456,
659 0x7fcfffff, 0x7fd23456, 0x7fc00001, 0x7fc00000,
660 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fd23456,
661 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x7fc00001,
662 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x00000000,
663 0x7fd23456, 0x7fd23456, 0x7fc00001, 0x00000000,
664 0x7fc00001, 0x7fd23456, 0x7fc00001, 0x00000000,
665 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80000000,
666 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80000000,
667 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80091a2b,
668 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80091a2b,
669 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80091a2b,
670 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80123456,
671 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80123456,
672 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80123456,
673 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x801b4e81,
674 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80b60b5c,
675 0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffcfffff,
676 0x7fc00000, 0x7fd23456, 0x7fc00001, 0xff800000,
677 0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffd23456,
678 0xffcfffff, 0x7fd23456, 0x7fc00001, 0xffc00000,
679 0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffd23456,
680 0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffc00001,
681 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80000000,
682 0xffd23456, 0x7fd23456, 0x7fc00001, 0x80000000,
683 0xffc00001, 0x7fd23456, 0x7fc00001, 0x80000000,
684 0x7fd23456, 0x7fc00001, 0x80000000, 0x00000000,
685 0x7fd23456, 0x7fc00001, 0x00000000, 0x00000000,
686 0x7fd23456, 0x7fc00001, 0x00000000, 0x003fffff,
687 0x7fd23456, 0x7fc00001, 0x00091a2b, 0x00400000,
688 0x7fd23456, 0x7fc00001, 0x00091a2b, 0x00400000,
689 0x7fd23456, 0x7fc00001, 0x00091a2b, 0x007fffff,
690 0x7fd23456, 0x7fc00001, 0x00123456, 0x007fffff,
691 0x7fd23456, 0x7fc00001, 0x00123456, 0x00800000,
692 0x7fd23456, 0x7fc00001, 0x00123456, 0x00bffffe,
693 0x7fd23456, 0x7fc00001, 0x001b4e81, 0x021fffff,
694 0x7fd23456, 0x7fc00001, 0x00b60b5c, 0x7fcfffff,
695 0x7fd23456, 0x7fc00001, 0x7fcfffff, 0x7f800000,
696 0x7fd23456, 0x7fc00001, 0x7f800000, 0x7fd23456,
697 0x7fd23456, 0x7fc00001, 0x7fd23456, 0x7fc00000,
698 0x7fd23456, 0x7fc00001, 0x7fc00000, 0x7fd23456,
699 0x7fd23456, 0x7fc00001, 0x7fd23456, 0x7fc00001,
700 0x7fd23456, 0x7fc00001, 0x7fc00001, 0x00000000,
701 0x7fd23456, 0x7fc00001, 0x00000000, 0x00000000,
702 0x7fd23456, 0x7fc00001, 0x00000000, 0x00000000,
703 0x7fd23456, 0x7fc00001, 0x00000000, 0x80000000,
704 0x7fd23456, 0x7fc00001, 0x80000000, 0x80000000,
705 0x7fd23456, 0x7fc00001, 0x80000000, 0x803fffff,
706 0x7fd23456, 0x7fc00001, 0x80091a2b, 0x80400000,
707 0x7fd23456, 0x7fc00001, 0x80091a2b, 0x80400000,
708 0x7fd23456, 0x7fc00001, 0x80091a2b, 0x807fffff,
709 0x7fd23456, 0x7fc00001, 0x80123456, 0x807fffff,
710 0x7fd23456, 0x7fc00001, 0x80123456, 0x80800000,
711 0x7fd23456, 0x7fc00001, 0x80123456, 0x80bffffe,
712 0x7fd23456, 0x7fc00001, 0x801b4e81, 0x821fffff,
713 0x7fd23456, 0x7fc00001, 0x80b60b5c, 0xffcfffff,
714 0x7fd23456, 0x7fc00001, 0xffcfffff, 0xff800000,
715 0x7fd23456, 0x7fc00001, 0xff800000, 0xffd23456,
716 0x7fd23456, 0x7fc00001, 0xffd23456, 0xffc00000,
717 0x7fd23456, 0x7fc00001, 0xffc00000, 0xffd23456,
718 0x7fd23456, 0x7fc00001, 0xffd23456, 0xffc00001,
719 0x7fd23456, 0x7fc00001, 0xffc00001, 0x80000000,
720 0x7fd23456, 0x7fc00001, 0x80000000, 0x80000000,
721 0x7fd23456, 0x7fc00001, 0x80000000, 0x80000000,
722 0x7fc00001, 0x80000000, 0x80000000, 0x00000000,
723 0x7fc00001, 0x80000000, 0x00000000, 0x00000000,
724 0x7fc00001, 0x00000000, 0x00000000, 0x00000000,
725 0x7fc00001, 0x00000000, 0x003fffff, 0x00000000,
726 0x7fc00001, 0x00091a2b, 0x00400000, 0x00000001,
727 0x7fc00001, 0x00091a2b, 0x00400000, 0x00000001,
728 0x7fc00001, 0x00091a2b, 0x007fffff, 0x00000001,
729 0x7fc00001, 0x00123456, 0x007fffff, 0x00000001,
730 0x7fc00001, 0x00123456, 0x00800000, 0x00000002,
731 0x7fc00001, 0x00123456, 0x00bffffe, 0x0000000a,
732 0x7fc00001, 0x001b4e81, 0x021fffff, 0x7fcfffff,
733 0x7fc00001, 0x00b60b5c, 0x7fcfffff, 0x7f800000,
734 0x7fc00001, 0x7fcfffff, 0x7f800000, 0x7fd23456,
735 0x7fc00001, 0x7f800000, 0x7fd23456, 0x7fc00000,
736 0x7fc00001, 0x7fd23456, 0x7fc00000, 0x7fd23456,
737 0x7fc00001, 0x7fc00000, 0x7fd23456, 0x7fc00001,
738 0x7fc00001, 0x7fd23456, 0x7fc00001, 0x00000000,
739 0x7fc00001, 0x7fc00001, 0x00000000, 0x00000000,
740 0x7fc00001, 0x00000000, 0x00000000, 0x00000000,
741 0x7fc00001, 0x00000000, 0x00000000, 0x80000000,
742 0x7fc00001, 0x00000000, 0x80000000, 0x80000000,
743 0x7fc00001, 0x80000000, 0x80000000, 0x80000000,
744 0x7fc00001, 0x80000000, 0x803fffff, 0x80000000,
745 0x7fc00001, 0x80091a2b, 0x80400000, 0x80000001,
746 0x7fc00001, 0x80091a2b, 0x80400000, 0x80000001,
747 0x7fc00001, 0x80091a2b, 0x807fffff, 0x80000001,
748 0x7fc00001, 0x80123456, 0x807fffff, 0x80000001,
749 0x7fc00001, 0x80123456, 0x80800000, 0x80000002,
750 0x7fc00001, 0x80123456, 0x80bffffe, 0x8000000a,
751 0x7fc00001, 0x801b4e81, 0x821fffff, 0xffcfffff,
752 0x7fc00001, 0x80b60b5c, 0xffcfffff, 0xff800000,
753 0x7fc00001, 0xffcfffff, 0xff800000, 0xffd23456,
754 0x7fc00001, 0xff800000, 0xffd23456, 0xffc00000,
755 0x7fc00001, 0xffd23456, 0xffc00000, 0xffd23456,
756 0x7fc00001, 0xffc00000, 0xffd23456, 0xffc00001,
757 0x7fc00001, 0xffd23456, 0xffc00001, 0x80000000,
758 0x7fc00001, 0xffc00001, 0x80000000, 0x80000000,
759 0x7fc00001, 0x80000000, 0x80000000, 0x80000000,
760 0x80000000, 0x80000000, 0x80000000, 0x80000000,
761 0x80000000, 0x80000000, 0x00000000, 0x80000000,
762 0x80000000, 0x00000000, 0x00000000, 0x80000000,
763 0x00000000, 0x00000000, 0x00000000, 0x80000000,
764 0x00000000, 0x003fffff, 0x00000000, 0x80000000,
765 0x00091a2b, 0x00400000, 0x00000001, 0x80000000,
766 0x00091a2b, 0x00400000, 0x00000001, 0x80000000,
767 0x00091a2b, 0x007fffff, 0x00000001, 0x80000000,
768 0x00123456, 0x007fffff, 0x00000001, 0x80000000,
769 0x00123456, 0x00800000, 0x00000002, 0x80000000,
770 0x00123456, 0x00bffffe, 0x0000000a, 0x7fcfffff,
771 0x001b4e81, 0x021fffff, 0x7fcfffff, 0xc0000000,
772 0x00b60b5c, 0x7fcfffff, 0x7f800000, 0x7fd23456,
773 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
774 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
775 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
776 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80000000,
777 0x7fd23456, 0x7fc00001, 0x00000000, 0x80000000,
778 0x7fc00001, 0x00000000, 0x00000000, 0x80000000,
779 0x00000000, 0x00000000, 0x00000000, 0x00000000,
780 0x00000000, 0x00000000, 0x80000000, 0x00000000,
781 0x00000000, 0x80000000, 0x80000000, 0x00000000,
782 0x80000000, 0x80000000, 0x80000000, 0x00000000,
783 0x80000000, 0x803fffff, 0x80000000, 0x00000000,
784 0x80091a2b, 0x80400000, 0x80000001, 0x00000000,
785 0x80091a2b, 0x80400000, 0x80000001, 0x00000000,
786 0x80091a2b, 0x807fffff, 0x80000001, 0x00000000,
787 0x80123456, 0x807fffff, 0x80000001, 0x00000000,
788 0x80123456, 0x80800000, 0x80000002, 0x00000000,
789 0x80123456, 0x80bffffe, 0x8000000a, 0xffcfffff,
790 0x801b4e81, 0x821fffff, 0xffcfffff, 0x40000000,
791 0x80b60b5c, 0xffcfffff, 0xff800000, 0xffd23456,
792 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
793 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
794 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
795 0xffc00000, 0xffd23456, 0xffc00001, 0x00000000,
796 0xffd23456, 0xffc00001, 0x80000000, 0x00000000,
797 0xffc00001, 0x80000000, 0x80000000, 0x00000000,
798 0x80000000, 0x80000000, 0x00000000, 0x80000000,
799 0x80000000, 0x80000000, 0x80000000, 0x80000000,
800 0x80000000, 0x00000000, 0x80000000, 0x80400000,
801 0x00000000, 0x00000000, 0x80000000, 0x80400000,
802 0x00000000, 0x00000000, 0x80000000, 0x80400000,
803 0x003fffff, 0x00000000, 0x80000000, 0x80800000,
804 0x00400000, 0x00000001, 0x80000000, 0x80800000,
805 0x00400000, 0x00000001, 0x80000000, 0x80800001,
806 0x007fffff, 0x00000001, 0x80000000, 0x80c00000,
807 0x007fffff, 0x00000001, 0x80000000, 0x82200000,
808 0x00800000, 0x00000002, 0x80000000, 0x7fcfffff,
809 0x00bffffe, 0x0000000a, 0x7fcfffff, 0xff800000,
810 0x021fffff, 0x7fcfffff, 0xc0000000, 0x7fd23456,
811 0x7fcfffff, 0x7f800000, 0x7fd23456, 0x7fc00000,
812 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
813 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
814 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80000000,
815 0x7fd23456, 0x7fc00001, 0x80000000, 0x80000000,
816 0x7fc00001, 0x00000000, 0x80000000, 0x80000000,
817 0x00000000, 0x00000000, 0x80000000, 0x00000000,
818 0x00000000, 0x00000000, 0x00000000, 0x00000000,
819 0x00000000, 0x80000000, 0x00000000, 0x00400000,
820 0x80000000, 0x80000000, 0x00000000, 0x00400000,
821 0x80000000, 0x80000000, 0x00000000, 0x00400000,
822 0x803fffff, 0x80000000, 0x00000000, 0x00800000,
823 0x80400000, 0x80000001, 0x00000000, 0x00800000,
824 0x80400000, 0x80000001, 0x00000000, 0x00800001,
825 0x807fffff, 0x80000001, 0x00000000, 0x00c00000,
826 0x807fffff, 0x80000001, 0x00000000, 0x02200000,
827 0x80800000, 0x80000002, 0x00000000, 0xffcfffff,
828 0x80bffffe, 0x8000000a, 0xffcfffff, 0x7f800000,
829 0x821fffff, 0xffcfffff, 0x40000000, 0xffd23456,
830 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
831 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
832 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
833 0xffc00000, 0xffd23456, 0xffc00001, 0x00000000,
834 0xffd23456, 0xffc00001, 0x00000000, 0x00000000,
835 0xffc00001, 0x80000000, 0x00000000, 0x00000000,
836 0x80000000, 0x00000000, 0x00000000, 0x80000000,
837 0x80000000, 0x00000000, 0x80000000, 0x80400000,
838 0x80000000, 0x80000000, 0x80000000, 0xbe7ffffe,
839 0x00000000, 0x80000000, 0x80400000, 0xbe7fffff,
840 0x00000000, 0x80000000, 0x80400000, 0xbe800000,
841 0x00000000, 0x80000000, 0x80400000, 0xbefffffe,
842 0x00000000, 0x80000000, 0x80800000, 0xbeffffff,
843 0x00000001, 0x80000000, 0x80800000, 0xbf000000,
844 0x00000001, 0x80000000, 0x80800001, 0xbf3fffff,
845 0x00000001, 0x80000000, 0x80c00000, 0xc09fffff,
846 0x00000001, 0x80000000, 0x82200000, 0x7fcfffff,
847 0x00000002, 0x80000000, 0x7fcfffff, 0xff800000,
848 0x0000000a, 0x7fcfffff, 0xff800000, 0x7fd23456,
849 0x7fcfffff, 0xc0000000, 0x7fd23456, 0x7fc00000,
850 0x7f800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
851 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
852 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80091a2b,
853 0x7fd23456, 0x7fc00001, 0x80000000, 0x803fffff,
854 0x7fc00001, 0x80000000, 0x80000000, 0x80000000,
855 0x00000000, 0x80000000, 0x80000000, 0x00000000,
856 0x00000000, 0x80000000, 0x00000000, 0x00400000,
857 0x00000000, 0x00000000, 0x00000000, 0x3e7ffffe,
858 0x80000000, 0x00000000, 0x00400000, 0x3e7fffff,
859 0x80000000, 0x00000000, 0x00400000, 0x3e800000,
860 0x80000000, 0x00000000, 0x00400000, 0x3efffffe,
861 0x80000000, 0x00000000, 0x00800000, 0x3effffff,
862 0x80000001, 0x00000000, 0x00800000, 0x3f000000,
863 0x80000001, 0x00000000, 0x00800001, 0x3f3fffff,
864 0x80000001, 0x00000000, 0x00c00000, 0x409fffff,
865 0x80000001, 0x00000000, 0x02200000, 0xffcfffff,
866 0x80000002, 0x00000000, 0xffcfffff, 0x7f800000,
867 0x8000000a, 0xffcfffff, 0x7f800000, 0xffd23456,
868 0xffcfffff, 0x40000000, 0xffd23456, 0xffc00000,
869 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
870 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
871 0xffc00000, 0xffd23456, 0xffc00001, 0x00091a2b,
872 0xffd23456, 0xffc00001, 0x00000000, 0x003fffff,
873 0xffc00001, 0x00000000, 0x00000000, 0x00000000,
874 0x00000000, 0x00000000, 0x00000000, 0x80000000,
875 0x00000000, 0x00000000, 0x80000000, 0x80400000,
876 0x00000000, 0x80000000, 0x80400000, 0xbe7fffff,
877 0x80000000, 0x80000000, 0xbe7ffffe, 0xbe800000,
878 0x80000000, 0x80400000, 0xbe7fffff, 0xbe800001,
879 0x80000000, 0x80400000, 0xbe800000, 0xbeffffff,
880 0x80000000, 0x80400000, 0xbefffffe, 0xbf000000,
881 0x80000000, 0x80800000, 0xbeffffff, 0xbf000001,
882 0x80000000, 0x80800000, 0xbf000000, 0xbf400000,
883 0x80000000, 0x80800001, 0xbf3fffff, 0xc0a00000,
884 0x80000000, 0x80c00000, 0xc09fffff, 0x7fcfffff,
885 0x80000000, 0x82200000, 0x7fcfffff, 0xff800000,
886 0x80000000, 0x7fcfffff, 0xff800000, 0x7fd23456,
887 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
888 0xc0000000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
889 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
890 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80091a2b,
891 0x7fd23456, 0x7fc00001, 0x80091a2b, 0x80400000,
892 0x7fc00001, 0x80000000, 0x803fffff, 0x80000000,
893 0x80000000, 0x80000000, 0x80000000, 0x00000000,
894 0x80000000, 0x80000000, 0x00000000, 0x00400000,
895 0x80000000, 0x00000000, 0x00400000, 0x3e7fffff,
896 0x00000000, 0x00000000, 0x3e7ffffe, 0x3e800000,
897 0x00000000, 0x00400000, 0x3e7fffff, 0x3e800001,
898 0x00000000, 0x00400000, 0x3e800000, 0x3effffff,
899 0x00000000, 0x00400000, 0x3efffffe, 0x3f000000,
900 0x00000000, 0x00800000, 0x3effffff, 0x3f000001,
901 0x00000000, 0x00800000, 0x3f000000, 0x3f400000,
902 0x00000000, 0x00800001, 0x3f3fffff, 0x40a00000,
903 0x00000000, 0x00c00000, 0x409fffff, 0xffcfffff,
904 0x00000000, 0x02200000, 0xffcfffff, 0x7f800000,
905 0x00000000, 0xffcfffff, 0x7f800000, 0xffd23456,
906 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
907 0x40000000, 0xffd23456, 0xffc00000, 0xffd23456,
908 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
909 0xffc00000, 0xffd23456, 0xffc00001, 0x00091a2b,
910 0xffd23456, 0xffc00001, 0x00091a2b, 0x00400000,
911 0xffc00001, 0x00000000, 0x003fffff, 0x00000000,
912 0x00000000, 0x003fffff, 0x00000000, 0x80000000,
913 0x00000000, 0x00000000, 0x80000000, 0x80400000,
914 0x00000000, 0x80000000, 0x80400000, 0xbe800000,
915 0x80000000, 0x80400000, 0xbe7fffff, 0xbe800001,
916 0x80000000, 0xbe7ffffe, 0xbe800000, 0xbe800002,
917 0x80400000, 0xbe7fffff, 0xbe800001, 0xbf000000,
918 0x80400000, 0xbe800000, 0xbeffffff, 0xbf000001,
919 0x80400000, 0xbefffffe, 0xbf000000, 0xbf000002,
920 0x80800000, 0xbeffffff, 0xbf000001, 0xbf400002,
921 0x80800000, 0xbf000000, 0xbf400000, 0xc0a00001,
922 0x80800001, 0xbf3fffff, 0xc0a00000, 0x7fcfffff,
923 0x80c00000, 0xc09fffff, 0x7fcfffff, 0xff800000,
924 0x82200000, 0x7fcfffff, 0xff800000, 0x7fd23456,
925 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
926 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
927 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
928 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80091a2b,
929 0x7fd23456, 0x7fc00001, 0x80091a2b, 0x80400000,
930 0x7fc00001, 0x80091a2b, 0x80400000, 0x80000001,
931 0x80000000, 0x803fffff, 0x80000000, 0x00000000,
932 0x80000000, 0x80000000, 0x00000000, 0x00400000,
933 0x80000000, 0x00000000, 0x00400000, 0x3e800000,
934 0x00000000, 0x00400000, 0x3e7fffff, 0x3e800001,
935 0x00000000, 0x3e7ffffe, 0x3e800000, 0x3e800002,
936 0x00400000, 0x3e7fffff, 0x3e800001, 0x3f000000,
937 0x00400000, 0x3e800000, 0x3effffff, 0x3f000001,
938 0x00400000, 0x3efffffe, 0x3f000000, 0x3f000002,
939 0x00800000, 0x3effffff, 0x3f000001, 0x3f400002,
940 0x00800000, 0x3f000000, 0x3f400000, 0x40a00001,
941 0x00800001, 0x3f3fffff, 0x40a00000, 0xffcfffff,
942 0x00c00000, 0x409fffff, 0xffcfffff, 0x7f800000,
943 0x02200000, 0xffcfffff, 0x7f800000, 0xffd23456,
944 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
945 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
946 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
947 0xffc00000, 0xffd23456, 0xffc00001, 0x00091a2b,
948 0xffd23456, 0xffc00001, 0x00091a2b, 0x00400000,
949 0xffc00001, 0x00091a2b, 0x00400000, 0x00000001,
950 0x00091a2b, 0x00400000, 0x00000001, 0x80000000,
951 0x003fffff, 0x00000000, 0x80000000, 0x80800000,
952 0x00000000, 0x80000000, 0x80400000, 0xbefffffe,
953 0x80000000, 0x80400000, 0xbe800000, 0xbeffffff,
954 0x80400000, 0xbe7fffff, 0xbe800001, 0xbf000000,
955 0xbe7ffffe, 0xbe800000, 0xbe800002, 0xbf7ffffe,
956 0xbe7fffff, 0xbe800001, 0xbf000000, 0xbf7fffff,
957 0xbe800000, 0xbeffffff, 0xbf000001, 0xbf800000,
958 0xbefffffe, 0xbf000000, 0xbf000002, 0xbfbfffff,
959 0xbeffffff, 0xbf000001, 0xbf400002, 0xc11fffff,
960 0xbf000000, 0xbf400000, 0xc0a00001, 0x7fcfffff,
961 0xbf3fffff, 0xc0a00000, 0x7fcfffff, 0xff800000,
962 0xc09fffff, 0x7fcfffff, 0xff800000, 0x7fd23456,
963 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
964 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
965 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
966 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80123456,
967 0x7fd23456, 0x7fc00001, 0x80091a2b, 0x807fffff,
968 0x7fc00001, 0x80091a2b, 0x80400000, 0x80000001,
969 0x80091a2b, 0x80400000, 0x80000001, 0x00000000,
970 0x803fffff, 0x80000000, 0x00000000, 0x00800000,
971 0x80000000, 0x00000000, 0x00400000, 0x3efffffe,
972 0x00000000, 0x00400000, 0x3e800000, 0x3effffff,
973 0x00400000, 0x3e7fffff, 0x3e800001, 0x3f000000,
974 0x3e7ffffe, 0x3e800000, 0x3e800002, 0x3f7ffffe,
975 0x3e7fffff, 0x3e800001, 0x3f000000, 0x3f7fffff,
976 0x3e800000, 0x3effffff, 0x3f000001, 0x3f800000,
977 0x3efffffe, 0x3f000000, 0x3f000002, 0x3fbfffff,
978 0x3effffff, 0x3f000001, 0x3f400002, 0x411fffff,
979 0x3f000000, 0x3f400000, 0x40a00001, 0xffcfffff,
980 0x3f3fffff, 0x40a00000, 0xffcfffff, 0x7f800000,
981 0x409fffff, 0xffcfffff, 0x7f800000, 0xffd23456,
982 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
983 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
984 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
985 0xffc00000, 0xffd23456, 0xffc00001, 0x00123456,
986 0xffd23456, 0xffc00001, 0x00091a2b, 0x007fffff,
987 0xffc00001, 0x00091a2b, 0x00400000, 0x00000001,
988 0x00091a2b, 0x00400000, 0x00000001, 0x80000000,
989 0x00400000, 0x00000001, 0x80000000, 0x80800000,
990 0x00000000, 0x80000000, 0x80800000, 0xbeffffff,
991 0x80000000, 0x80400000, 0xbefffffe, 0xbf000000,
992 0x80400000, 0xbe800000, 0xbeffffff, 0xbf000001,
993 0xbe7fffff, 0xbe800001, 0xbf000000, 0xbf7fffff,
994 0xbe800000, 0xbe800002, 0xbf7ffffe, 0xbf800000,
995 0xbe800001, 0xbf000000, 0xbf7fffff, 0xbf800001,
996 0xbeffffff, 0xbf000001, 0xbf800000, 0xbfc00000,
997 0xbf000000, 0xbf000002, 0xbfbfffff, 0xc1200000,
998 0xbf000001, 0xbf400002, 0xc11fffff, 0x7fcfffff,
999 0xbf400000, 0xc0a00001, 0x7fcfffff, 0xff800000,
1000 0xc0a00000, 0x7fcfffff, 0xff800000, 0x7fd23456,
1001 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
1002 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
1003 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
1004 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80123456,
1005 0x7fd23456, 0x7fc00001, 0x80123456, 0x807fffff,
1006 0x7fc00001, 0x80091a2b, 0x807fffff, 0x80000001,
1007 0x80091a2b, 0x80400000, 0x80000001, 0x00000000,
1008 0x80400000, 0x80000001, 0x00000000, 0x00800000,
1009 0x80000000, 0x00000000, 0x00800000, 0x3effffff,
1010 0x00000000, 0x00400000, 0x3efffffe, 0x3f000000,
1011 0x00400000, 0x3e800000, 0x3effffff, 0x3f000001,
1012 0x3e7fffff, 0x3e800001, 0x3f000000, 0x3f7fffff,
1013 0x3e800000, 0x3e800002, 0x3f7ffffe, 0x3f800000,
1014 0x3e800001, 0x3f000000, 0x3f7fffff, 0x3f800001,
1015 0x3effffff, 0x3f000001, 0x3f800000, 0x3fc00000,
1016 0x3f000000, 0x3f000002, 0x3fbfffff, 0x41200000,
1017 0x3f000001, 0x3f400002, 0x411fffff, 0xffcfffff,
1018 0x3f400000, 0x40a00001, 0xffcfffff, 0x7f800000,
1019 0x40a00000, 0xffcfffff, 0x7f800000, 0xffd23456,
1020 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1021 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1022 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1023 0xffc00000, 0xffd23456, 0xffc00001, 0x00123456,
1024 0xffd23456, 0xffc00001, 0x00123456, 0x007fffff,
1025 0xffc00001, 0x00091a2b, 0x007fffff, 0x00000001,
1026 0x00091a2b, 0x007fffff, 0x00000001, 0x80000000,
1027 0x00400000, 0x00000001, 0x80000000, 0x80800001,
1028 0x00000001, 0x80000000, 0x80800000, 0xbf000000,
1029 0x80000000, 0x80800000, 0xbeffffff, 0xbf000001,
1030 0x80400000, 0xbefffffe, 0xbf000000, 0xbf000002,
1031 0xbe800000, 0xbeffffff, 0xbf000001, 0xbf800000,
1032 0xbe800001, 0xbf000000, 0xbf7fffff, 0xbf800001,
1033 0xbe800002, 0xbf7ffffe, 0xbf800000, 0xbf800002,
1034 0xbf000000, 0xbf7fffff, 0xbf800001, 0xbfc00002,
1035 0xbf000001, 0xbf800000, 0xbfc00000, 0xc1200001,
1036 0xbf000002, 0xbfbfffff, 0xc1200000, 0x7fcfffff,
1037 0xbf400002, 0xc11fffff, 0x7fcfffff, 0xff800000,
1038 0xc0a00001, 0x7fcfffff, 0xff800000, 0x7fd23456,
1039 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
1040 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
1041 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
1042 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80123456,
1043 0x7fd23456, 0x7fc00001, 0x80123456, 0x80800000,
1044 0x7fc00001, 0x80123456, 0x807fffff, 0x80000001,
1045 0x80091a2b, 0x807fffff, 0x80000001, 0x00000000,
1046 0x80400000, 0x80000001, 0x00000000, 0x00800001,
1047 0x80000001, 0x00000000, 0x00800000, 0x3f000000,
1048 0x00000000, 0x00800000, 0x3effffff, 0x3f000001,
1049 0x00400000, 0x3efffffe, 0x3f000000, 0x3f000002,
1050 0x3e800000, 0x3effffff, 0x3f000001, 0x3f800000,
1051 0x3e800001, 0x3f000000, 0x3f7fffff, 0x3f800001,
1052 0x3e800002, 0x3f7ffffe, 0x3f800000, 0x3f800002,
1053 0x3f000000, 0x3f7fffff, 0x3f800001, 0x3fc00002,
1054 0x3f000001, 0x3f800000, 0x3fc00000, 0x41200001,
1055 0x3f000002, 0x3fbfffff, 0x41200000, 0xffcfffff,
1056 0x3f400002, 0x411fffff, 0xffcfffff, 0x7f800000,
1057 0x40a00001, 0xffcfffff, 0x7f800000, 0xffd23456,
1058 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1059 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1060 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1061 0xffc00000, 0xffd23456, 0xffc00001, 0x00123456,
1062 0xffd23456, 0xffc00001, 0x00123456, 0x00800000,
1063 0xffc00001, 0x00123456, 0x007fffff, 0x00000001,
1064 0x00123456, 0x007fffff, 0x00000001, 0x80000000,
1065 0x007fffff, 0x00000001, 0x80000000, 0x80c00000,
1066 0x00000001, 0x80000000, 0x80800001, 0xbf3fffff,
1067 0x80000000, 0x80800000, 0xbf000000, 0xbf400000,
1068 0x80800000, 0xbeffffff, 0xbf000001, 0xbf400002,
1069 0xbefffffe, 0xbf000000, 0xbf000002, 0xbfbfffff,
1070 0xbeffffff, 0xbf000001, 0xbf800000, 0xbfc00000,
1071 0xbf000000, 0xbf7fffff, 0xbf800001, 0xbfc00002,
1072 0xbf7ffffe, 0xbf800000, 0xbf800002, 0xc0100000,
1073 0xbf7fffff, 0xbf800001, 0xbfc00002, 0xc1700000,
1074 0xbf800000, 0xbfc00000, 0xc1200001, 0x7fcfffff,
1075 0xbfbfffff, 0xc1200000, 0x7fcfffff, 0xff800000,
1076 0xc11fffff, 0x7fcfffff, 0xff800000, 0x7fd23456,
1077 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
1078 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
1079 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
1080 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x801b4e81,
1081 0x7fd23456, 0x7fc00001, 0x80123456, 0x80bffffe,
1082 0x7fc00001, 0x80123456, 0x80800000, 0x80000002,
1083 0x80123456, 0x807fffff, 0x80000001, 0x00000000,
1084 0x807fffff, 0x80000001, 0x00000000, 0x00c00000,
1085 0x80000001, 0x00000000, 0x00800001, 0x3f3fffff,
1086 0x00000000, 0x00800000, 0x3f000000, 0x3f400000,
1087 0x00800000, 0x3effffff, 0x3f000001, 0x3f400002,
1088 0x3efffffe, 0x3f000000, 0x3f000002, 0x3fbfffff,
1089 0x3effffff, 0x3f000001, 0x3f800000, 0x3fc00000,
1090 0x3f000000, 0x3f7fffff, 0x3f800001, 0x3fc00002,
1091 0x3f7ffffe, 0x3f800000, 0x3f800002, 0x40100000,
1092 0x3f7fffff, 0x3f800001, 0x3fc00002, 0x41700000,
1093 0x3f800000, 0x3fc00000, 0x41200001, 0xffcfffff,
1094 0x3fbfffff, 0x41200000, 0xffcfffff, 0x7f800000,
1095 0x411fffff, 0xffcfffff, 0x7f800000, 0xffd23456,
1096 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1097 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1098 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1099 0xffc00000, 0xffd23456, 0xffc00001, 0x001b4e81,
1100 0xffd23456, 0xffc00001, 0x00123456, 0x00bffffe,
1101 0xffc00001, 0x00123456, 0x00800000, 0x00000002,
1102 0x00123456, 0x00800000, 0x00000002, 0x80000000,
1103 0x007fffff, 0x00000001, 0x80000000, 0x82200000,
1104 0x00000001, 0x80000000, 0x80c00000, 0xc09fffff,
1105 0x80000000, 0x80800001, 0xbf3fffff, 0xc0a00000,
1106 0x80800000, 0xbf000000, 0xbf400000, 0xc0a00001,
1107 0xbeffffff, 0xbf000001, 0xbf400002, 0xc11fffff,
1108 0xbf000000, 0xbf000002, 0xbfbfffff, 0xc1200000,
1109 0xbf000001, 0xbf800000, 0xbfc00000, 0xc1200001,
1110 0xbf7fffff, 0xbf800001, 0xbfc00002, 0xc1700000,
1111 0xbf800000, 0xbf800002, 0xc0100000, 0xc2c80000,
1112 0xbf800001, 0xbfc00002, 0xc1700000, 0x7fcfffff,
1113 0xbfc00000, 0xc1200001, 0x7fcfffff, 0xff800000,
1114 0xc1200000, 0x7fcfffff, 0xff800000, 0x7fd23456,
1115 0x7fcfffff, 0xff800000, 0x7fd23456, 0x7fc00000,
1116 0xff800000, 0x7fd23456, 0x7fc00000, 0x7fd23456,
1117 0x7fd23456, 0x7fc00000, 0x7fd23456, 0x7fc00001,
1118 0x7fc00000, 0x7fd23456, 0x7fc00001, 0x80b60b5c,
1119 0x7fd23456, 0x7fc00001, 0x801b4e81, 0x821fffff,
1120 0x7fc00001, 0x80123456, 0x80bffffe, 0x8000000a,
1121 0x80123456, 0x80800000, 0x80000002, 0x00000000,
1122 0x807fffff, 0x80000001, 0x00000000, 0x02200000,
1123 0x80000001, 0x00000000, 0x00c00000, 0x409fffff,
1124 0x00000000, 0x00800001, 0x3f3fffff, 0x40a00000,
1125 0x00800000, 0x3f000000, 0x3f400000, 0x40a00001,
1126 0x3effffff, 0x3f000001, 0x3f400002, 0x411fffff,
1127 0x3f000000, 0x3f000002, 0x3fbfffff, 0x41200000,
1128 0x3f000001, 0x3f800000, 0x3fc00000, 0x41200001,
1129 0x3f7fffff, 0x3f800001, 0x3fc00002, 0x41700000,
1130 0x3f800000, 0x3f800002, 0x40100000, 0x42c80000,
1131 0x3f800001, 0x3fc00002, 0x41700000, 0xffcfffff,
1132 0x3fc00000, 0x41200001, 0xffcfffff, 0x7f800000,
1133 0x41200000, 0xffcfffff, 0x7f800000, 0xffd23456,
1134 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1135 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1136 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1137 0xffc00000, 0xffd23456, 0xffc00001, 0x00b60b5c,
1138 0xffd23456, 0xffc00001, 0x001b4e81, 0x021fffff,
1139 0xffc00001, 0x00123456, 0x00bffffe, 0x0000000a,
1140 0x00123456, 0x00bffffe, 0x0000000a, 0xffcfffff,
1141 0x00800000, 0x00000002, 0x80000000, 0xffcfffff,
1142 0x00000001, 0x80000000, 0x82200000, 0xffcfffff,
1143 0x80000000, 0x80c00000, 0xc09fffff, 0xffcfffff,
1144 0x80800001, 0xbf3fffff, 0xc0a00000, 0xffcfffff,
1145 0xbf000000, 0xbf400000, 0xc0a00001, 0xffcfffff,
1146 0xbf000001, 0xbf400002, 0xc11fffff, 0xffcfffff,
1147 0xbf000002, 0xbfbfffff, 0xc1200000, 0xffcfffff,
1148 0xbf800000, 0xbfc00000, 0xc1200001, 0xffcfffff,
1149 0xbf800001, 0xbfc00002, 0xc1700000, 0xffcfffff,
1150 0xbf800002, 0xc0100000, 0xc2c80000, 0xffcfffff,
1151 0xbfc00002, 0xc1700000, 0x7fcfffff, 0xffcfffff,
1152 0xc1200001, 0x7fcfffff, 0xff800000, 0xffcfffff,
1153 0x7fcfffff, 0xff800000, 0x7fd23456, 0xffcfffff,
1154 0xff800000, 0x7fd23456, 0x7fc00000, 0xffcfffff,
1155 0x7fd23456, 0x7fc00000, 0x7fd23456, 0xffcfffff,
1156 0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffcfffff,
1157 0x7fd23456, 0x7fc00001, 0x80b60b5c, 0xffcfffff,
1158 0x7fc00001, 0x801b4e81, 0x821fffff, 0xffcfffff,
1159 0x80123456, 0x80bffffe, 0x8000000a, 0xffcfffff,
1160 0x80800000, 0x80000002, 0x00000000, 0xffcfffff,
1161 0x80000001, 0x00000000, 0x02200000, 0xffcfffff,
1162 0x00000000, 0x00c00000, 0x409fffff, 0xffcfffff,
1163 0x00800001, 0x3f3fffff, 0x40a00000, 0xffcfffff,
1164 0x3f000000, 0x3f400000, 0x40a00001, 0xffcfffff,
1165 0x3f000001, 0x3f400002, 0x411fffff, 0xffcfffff,
1166 0x3f000002, 0x3fbfffff, 0x41200000, 0xffcfffff,
1167 0x3f800000, 0x3fc00000, 0x41200001, 0xffcfffff,
1168 0x3f800001, 0x3fc00002, 0x41700000, 0xffcfffff,
1169 0x3f800002, 0x40100000, 0x42c80000, 0xffcfffff,
1170 0x3fc00002, 0x41700000, 0xffcfffff, 0xffcfffff,
1171 0x41200001, 0xffcfffff, 0x7f800000, 0xffcfffff,
1172 0xffcfffff, 0x7f800000, 0xffd23456, 0xffcfffff,
1173 0x7f800000, 0xffd23456, 0xffc00000, 0xffcfffff,
1174 0xffd23456, 0xffc00000, 0xffd23456, 0xffcfffff,
1175 0xffc00000, 0xffd23456, 0xffc00001, 0xffcfffff,
1176 0xffd23456, 0xffc00001, 0x00b60b5c, 0xffcfffff,
1177 0xffc00001, 0x001b4e81, 0x021fffff, 0xffcfffff,
1178 0x001b4e81, 0x021fffff, 0xffcfffff, 0xc0000000,
1179 0x00bffffe, 0x0000000a, 0xffcfffff, 0xff800000,
1180 0x00000002, 0x80000000, 0xffcfffff, 0xff800000,
1181 0x80000000, 0x82200000, 0xffcfffff, 0xff800000,
1182 0x80c00000, 0xc09fffff, 0xffcfffff, 0xff800000,
1183 0xbf3fffff, 0xc0a00000, 0xffcfffff, 0xff800000,
1184 0xbf400000, 0xc0a00001, 0xffcfffff, 0xff800000,
1185 0xbf400002, 0xc11fffff, 0xffcfffff, 0xff800000,
1186 0xbfbfffff, 0xc1200000, 0xffcfffff, 0xff800000,
1187 0xbfc00000, 0xc1200001, 0xffcfffff, 0xff800000,
1188 0xbfc00002, 0xc1700000, 0xffcfffff, 0x7fcfffff,
1189 0xc0100000, 0xc2c80000, 0xffcfffff, 0xff800000,
1190 0xc1700000, 0x7fcfffff, 0xffcfffff, 0x7fd23456,
1191 0x7fcfffff, 0xff800000, 0xffcfffff, 0x7fc00000,
1192 0xff800000, 0x7fd23456, 0xffcfffff, 0x7fd23456,
1193 0x7fd23456, 0x7fc00000, 0xffcfffff, 0x7fc00001,
1194 0x7fc00000, 0x7fd23456, 0xffcfffff, 0xff800000,
1195 0x7fd23456, 0x7fc00001, 0xffcfffff, 0xff800000,
1196 0x7fc00001, 0x80b60b5c, 0xffcfffff, 0xff800000,
1197 0x801b4e81, 0x821fffff, 0xffcfffff, 0x40000000,
1198 0x80bffffe, 0x8000000a, 0xffcfffff, 0x7f800000,
1199 0x80000002, 0x00000000, 0xffcfffff, 0x7f800000,
1200 0x00000000, 0x02200000, 0xffcfffff, 0x7f800000,
1201 0x00c00000, 0x409fffff, 0xffcfffff, 0x7f800000,
1202 0x3f3fffff, 0x40a00000, 0xffcfffff, 0x7f800000,
1203 0x3f400000, 0x40a00001, 0xffcfffff, 0x7f800000,
1204 0x3f400002, 0x411fffff, 0xffcfffff, 0x7f800000,
1205 0x3fbfffff, 0x41200000, 0xffcfffff, 0x7f800000,
1206 0x3fc00000, 0x41200001, 0xffcfffff, 0x7f800000,
1207 0x3fc00002, 0x41700000, 0xffcfffff, 0xffcfffff,
1208 0x40100000, 0x42c80000, 0xffcfffff, 0x7f800000,
1209 0x41700000, 0xffcfffff, 0xffcfffff, 0xffd23456,
1210 0xffcfffff, 0x7f800000, 0xffcfffff, 0xffc00000,
1211 0x7f800000, 0xffd23456, 0xffcfffff, 0xffd23456,
1212 0xffd23456, 0xffc00000, 0xffcfffff, 0xffc00001,
1213 0xffc00000, 0xffd23456, 0xffcfffff, 0x7f800000,
1214 0xffd23456, 0xffc00001, 0xffcfffff, 0x7f800000,
1215 0xffc00001, 0x00b60b5c, 0xffcfffff, 0x7f800000,
1216 0x00b60b5c, 0xffcfffff, 0x7f800000, 0xffd23456,
1217 0x021fffff, 0xffcfffff, 0xc0000000, 0xffd23456,
1218 0x0000000a, 0xffcfffff, 0xff800000, 0xffd23456,
1219 0x80000000, 0xffcfffff, 0xff800000, 0xffd23456,
1220 0x82200000, 0xffcfffff, 0xff800000, 0xffd23456,
1221 0xc09fffff, 0xffcfffff, 0xff800000, 0xffd23456,
1222 0xc0a00000, 0xffcfffff, 0xff800000, 0xffd23456,
1223 0xc0a00001, 0xffcfffff, 0xff800000, 0xffd23456,
1224 0xc11fffff, 0xffcfffff, 0xff800000, 0xffd23456,
1225 0xc1200000, 0xffcfffff, 0xff800000, 0xffd23456,
1226 0xc1200001, 0xffcfffff, 0xff800000, 0x7fcfffff,
1227 0xc1700000, 0xffcfffff, 0x7fcfffff, 0xffd23456,
1228 0xc2c80000, 0xffcfffff, 0xff800000, 0xffd23456,
1229 0x7fcfffff, 0xffcfffff, 0x7fd23456, 0xffd23456,
1230 0xff800000, 0xffcfffff, 0x7fc00000, 0x7fd23456,
1231 0x7fd23456, 0xffcfffff, 0x7fd23456, 0x7fc00001,
1232 0x7fc00000, 0xffcfffff, 0x7fc00001, 0xffd23456,
1233 0x7fd23456, 0xffcfffff, 0xff800000, 0xffd23456,
1234 0x7fc00001, 0xffcfffff, 0xff800000, 0xffd23456,
1235 0x80b60b5c, 0xffcfffff, 0xff800000, 0xffd23456,
1236 0x821fffff, 0xffcfffff, 0x40000000, 0xffd23456,
1237 0x8000000a, 0xffcfffff, 0x7f800000, 0xffd23456,
1238 0x00000000, 0xffcfffff, 0x7f800000, 0xffd23456,
1239 0x02200000, 0xffcfffff, 0x7f800000, 0xffd23456,
1240 0x409fffff, 0xffcfffff, 0x7f800000, 0xffd23456,
1241 0x40a00000, 0xffcfffff, 0x7f800000, 0xffd23456,
1242 0x40a00001, 0xffcfffff, 0x7f800000, 0xffd23456,
1243 0x411fffff, 0xffcfffff, 0x7f800000, 0xffd23456,
1244 0x41200000, 0xffcfffff, 0x7f800000, 0xffd23456,
1245 0x41200001, 0xffcfffff, 0x7f800000, 0xffcfffff,
1246 0x41700000, 0xffcfffff, 0xffcfffff, 0xffd23456,
1247 0x42c80000, 0xffcfffff, 0x7f800000, 0xffd23456,
1248 0xffcfffff, 0xffcfffff, 0xffd23456, 0xffd23456,
1249 0x7f800000, 0xffcfffff, 0xffc00000, 0xffd23456,
1250 0xffd23456, 0xffcfffff, 0xffd23456, 0xffc00001,
1251 0xffc00000, 0xffcfffff, 0xffc00001, 0xffd23456,
1252 0xffd23456, 0xffcfffff, 0x7f800000, 0xffd23456,
1253 0xffc00001, 0xffcfffff, 0x7f800000, 0xffd23456,
1254 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1255 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1256 0xffcfffff, 0xc0000000, 0xffd23456, 0xffc00000,
1257 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
1258 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
1259 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
1260 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
1261 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
1262 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
1263 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
1264 0xffcfffff, 0xff800000, 0xffd23456, 0x7fcfffff,
1265 0xffcfffff, 0xff800000, 0x7fcfffff, 0xffc00000,
1266 0xffcfffff, 0x7fcfffff, 0xffd23456, 0xffc00000,
1267 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
1268 0xffcfffff, 0x7fd23456, 0xffd23456, 0x7fd23456,
1269 0xffcfffff, 0x7fc00000, 0x7fd23456, 0x7fc00001,
1270 0xffcfffff, 0x7fd23456, 0x7fc00001, 0xffc00000,
1271 0xffcfffff, 0x7fc00001, 0xffd23456, 0xffc00000,
1272 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
1273 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
1274 0xffcfffff, 0xff800000, 0xffd23456, 0xffc00000,
1275 0xffcfffff, 0x40000000, 0xffd23456, 0xffc00000,
1276 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1277 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1278 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1279 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1280 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1281 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1282 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1283 0xffcfffff, 0x7f800000, 0xffd23456, 0xffcfffff,
1284 0xffcfffff, 0x7f800000, 0xffcfffff, 0xffc00000,
1285 0xffcfffff, 0xffcfffff, 0xffd23456, 0xffc00000,
1286 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1287 0xffcfffff, 0xffd23456, 0xffd23456, 0xffd23456,
1288 0xffcfffff, 0xffc00000, 0xffd23456, 0xffc00001,
1289 0xffcfffff, 0xffd23456, 0xffc00001, 0xffc00000,
1290 0xffcfffff, 0xffc00001, 0xffd23456, 0xffc00000,
1291 0xffcfffff, 0x7f800000, 0xffd23456, 0xffc00000,
1292 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1293 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1294 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1295 0xc0000000, 0xffd23456, 0xffc00000, 0xffd23456,
1296 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
1297 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
1298 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
1299 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
1300 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
1301 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
1302 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
1303 0xff800000, 0xffd23456, 0x7fcfffff, 0xffd23456,
1304 0xff800000, 0x7fcfffff, 0xffc00000, 0xffd23456,
1305 0x7fcfffff, 0xffd23456, 0xffc00000, 0xffd23456,
1306 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
1307 0x7fd23456, 0xffd23456, 0x7fd23456, 0xffd23456,
1308 0x7fc00000, 0x7fd23456, 0x7fc00001, 0xffd23456,
1309 0x7fd23456, 0x7fc00001, 0xffc00000, 0xffd23456,
1310 0x7fc00001, 0xffd23456, 0xffc00000, 0xffd23456,
1311 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
1312 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
1313 0xff800000, 0xffd23456, 0xffc00000, 0xffd23456,
1314 0x40000000, 0xffd23456, 0xffc00000, 0xffd23456,
1315 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1316 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1317 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1318 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1319 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1320 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1321 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1322 0x7f800000, 0xffd23456, 0xffcfffff, 0xffd23456,
1323 0x7f800000, 0xffcfffff, 0xffc00000, 0xffd23456,
1324 0xffcfffff, 0xffd23456, 0xffc00000, 0xffd23456,
1325 0x7f800000, 0xffd23456, 0xffc00000, 0xffd23456,
1326 0xffd23456, 0xffd23456, 0xffd23456, 0xffd23456,
1327 0xffc00000, 0xffd23456, 0xffc00001, 0xffd23456,
1328 0xffd23456, 0xffc00001, 0xffc00000, 0xffd23456,
1329 0xffc00001, 0xffd23456, 0xffc00000, 0xffd23456,
1330 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1331 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1332 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1333 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1334 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1335 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1336 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1337 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1338 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1339 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1340 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1341 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1342 0xffd23456, 0x7fcfffff, 0xffd23456, 0xffc00001,
1343 0x7fcfffff, 0xffc00000, 0xffd23456, 0xffc00001,
1344 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1345 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1346 0xffd23456, 0x7fd23456, 0xffd23456, 0xffc00001,
1347 0x7fd23456, 0x7fc00001, 0xffd23456, 0xffc00001,
1348 0x7fc00001, 0xffc00000, 0xffd23456, 0xffc00001,
1349 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1350 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1351 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1352 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1353 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1354 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1355 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1356 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1357 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1358 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1359 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1360 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1361 0xffd23456, 0xffcfffff, 0xffd23456, 0xffc00001,
1362 0xffcfffff, 0xffc00000, 0xffd23456, 0xffc00001,
1363 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1364 0xffd23456, 0xffc00000, 0xffd23456, 0xffc00001,
1365 0xffd23456, 0xffd23456, 0xffd23456, 0xffc00001,
1366 0xffd23456, 0xffc00001, 0xffd23456, 0xffc00001,
1367 0xffc00001, 0xffc00000, 0xffd23456, 0xffc00001,
1368 0xffc00000, 0xffd23456, 0xffc00001, 0x80000000,
1369 0xffc00000, 0xffd23456, 0xffc00001, 0x80000000,
1370 0xffc00000, 0xffd23456, 0xffc00001, 0x80091a2b,
1371 0xffc00000, 0xffd23456, 0xffc00001, 0x80091a2b,
1372 0xffc00000, 0xffd23456, 0xffc00001, 0x80091a2b,
1373 0xffc00000, 0xffd23456, 0xffc00001, 0x80123456,
1374 0xffc00000, 0xffd23456, 0xffc00001, 0x80123456,
1375 0xffc00000, 0xffd23456, 0xffc00001, 0x80123456,
1376 0xffc00000, 0xffd23456, 0xffc00001, 0x801b4e81,
1377 0xffc00000, 0xffd23456, 0xffc00001, 0x80b60b5c,
1378 0xffc00000, 0xffd23456, 0xffc00001, 0x7fcfffff,
1379 0xffc00000, 0xffd23456, 0xffc00001, 0xff800000,
1380 0xffc00000, 0xffd23456, 0xffc00001, 0x7fd23456,
1381 0x7fcfffff, 0xffd23456, 0xffc00001, 0x7fc00000,
1382 0xffc00000, 0xffd23456, 0xffc00001, 0x7fd23456,
1383 0xffc00000, 0xffd23456, 0xffc00001, 0x7fc00001,
1384 0xffc00000, 0xffd23456, 0xffc00001, 0x80000000,
1385 0x7fd23456, 0xffd23456, 0xffc00001, 0x80000000,
1386 0x7fc00001, 0xffd23456, 0xffc00001, 0x80000000,
1387 0xffc00000, 0xffd23456, 0xffc00001, 0x00000000,
1388 0xffc00000, 0xffd23456, 0xffc00001, 0x00000000,
1389 0xffc00000, 0xffd23456, 0xffc00001, 0x00091a2b,
1390 0xffc00000, 0xffd23456, 0xffc00001, 0x00091a2b,
1391 0xffc00000, 0xffd23456, 0xffc00001, 0x00091a2b,
1392 0xffc00000, 0xffd23456, 0xffc00001, 0x00123456,
1393 0xffc00000, 0xffd23456, 0xffc00001, 0x00123456,
1394 0xffc00000, 0xffd23456, 0xffc00001, 0x00123456,
1395 0xffc00000, 0xffd23456, 0xffc00001, 0x001b4e81,
1396 0xffc00000, 0xffd23456, 0xffc00001, 0x00b60b5c,
1397 0xffc00000, 0xffd23456, 0xffc00001, 0xffcfffff,
1398 0xffc00000, 0xffd23456, 0xffc00001, 0x7f800000,
1399 0xffc00000, 0xffd23456, 0xffc00001, 0xffd23456,
1400 0xffcfffff, 0xffd23456, 0xffc00001, 0xffc00000,
1401 0xffc00000, 0xffd23456, 0xffc00001, 0xffd23456,
1402 0xffc00000, 0xffd23456, 0xffc00001, 0xffc00001,
1403 0xffc00000, 0xffd23456, 0xffc00001, 0x00000000,
1404 0xffd23456, 0xffd23456, 0xffc00001, 0x00000000,
1405 0xffc00001, 0xffd23456, 0xffc00001, 0x00000000,
1406 0xffd23456, 0xffc00001, 0x00000000, 0x80000000,
1407 0xffd23456, 0xffc00001, 0x80000000, 0x80000000,
1408 0xffd23456, 0xffc00001, 0x80000000, 0x803fffff,
1409 0xffd23456, 0xffc00001, 0x80091a2b, 0x80400000,
1410 0xffd23456, 0xffc00001, 0x80091a2b, 0x80400000,
1411 0xffd23456, 0xffc00001, 0x80091a2b, 0x807fffff,
1412 0xffd23456, 0xffc00001, 0x80123456, 0x807fffff,
1413 0xffd23456, 0xffc00001, 0x80123456, 0x80800000,
1414 0xffd23456, 0xffc00001, 0x80123456, 0x80bffffe,
1415 0xffd23456, 0xffc00001, 0x801b4e81, 0x821fffff,
1416 0xffd23456, 0xffc00001, 0x80b60b5c, 0x7fcfffff,
1417 0xffd23456, 0xffc00001, 0x7fcfffff, 0xff800000,
1418 0xffd23456, 0xffc00001, 0xff800000, 0x7fd23456,
1419 0xffd23456, 0xffc00001, 0x7fd23456, 0x7fc00000,
1420 0xffd23456, 0xffc00001, 0x7fc00000, 0x7fd23456,
1421 0xffd23456, 0xffc00001, 0x7fd23456, 0x7fc00001,
1422 0xffd23456, 0xffc00001, 0x7fc00001, 0x80000000,
1423 0xffd23456, 0xffc00001, 0x80000000, 0x80000000,
1424 0xffd23456, 0xffc00001, 0x80000000, 0x80000000,
1425 0xffd23456, 0xffc00001, 0x80000000, 0x00000000,
1426 0xffd23456, 0xffc00001, 0x00000000, 0x00000000,
1427 0xffd23456, 0xffc00001, 0x00000000, 0x003fffff,
1428 0xffd23456, 0xffc00001, 0x00091a2b, 0x00400000,
1429 0xffd23456, 0xffc00001, 0x00091a2b, 0x00400000,
1430 0xffd23456, 0xffc00001, 0x00091a2b, 0x007fffff,
1431 0xffd23456, 0xffc00001, 0x00123456, 0x007fffff,
1432 0xffd23456, 0xffc00001, 0x00123456, 0x00800000,
1433 0xffd23456, 0xffc00001, 0x00123456, 0x00bffffe,
1434 0xffd23456, 0xffc00001, 0x001b4e81, 0x021fffff,
1435 0xffd23456, 0xffc00001, 0x00b60b5c, 0xffcfffff,
1436 0xffd23456, 0xffc00001, 0xffcfffff, 0x7f800000,
1437 0xffd23456, 0xffc00001, 0x7f800000, 0xffd23456,
1438 0xffd23456, 0xffc00001, 0xffd23456, 0xffc00000,
1439 0xffd23456, 0xffc00001, 0xffc00000, 0xffd23456,
1440 0xffd23456, 0xffc00001, 0xffd23456, 0xffc00001,
1441 0xffd23456, 0xffc00001, 0xffc00001, 0x00000000,
1442 0xffd23456, 0xffc00001, 0x00000000, 0x00000000,
1443 0xffd23456, 0xffc00001, 0x00000000, 0x00000000,
1444 0xffc00001, 0x00000000, 0x00000000, 0x80000000,
1445 0xffc00001, 0x00000000, 0x80000000, 0x80000000,
1446 0xffc00001, 0x80000000, 0x80000000, 0x80000000,
1447 0xffc00001, 0x80000000, 0x803fffff, 0x80000000,
1448 0xffc00001, 0x80091a2b, 0x80400000, 0x80000001,
1449 0xffc00001, 0x80091a2b, 0x80400000, 0x80000001,
1450 0xffc00001, 0x80091a2b, 0x807fffff, 0x80000001,
1451 0xffc00001, 0x80123456, 0x807fffff, 0x80000001,
1452 0xffc00001, 0x80123456, 0x80800000, 0x80000002,
1453 0xffc00001, 0x80123456, 0x80bffffe, 0x8000000a,
1454 0xffc00001, 0x801b4e81, 0x821fffff, 0x7fcfffff,
1455 0xffc00001, 0x80b60b5c, 0x7fcfffff, 0xff800000,
1456 0xffc00001, 0x7fcfffff, 0xff800000, 0x7fd23456,
1457 0xffc00001, 0xff800000, 0x7fd23456, 0x7fc00000,
1458 0xffc00001, 0x7fd23456, 0x7fc00000, 0x7fd23456,
1459 0xffc00001, 0x7fc00000, 0x7fd23456, 0x7fc00001,
1460 0xffc00001, 0x7fd23456, 0x7fc00001, 0x80000000,
1461 0xffc00001, 0x7fc00001, 0x80000000, 0x80000000,
1462 0xffc00001, 0x80000000, 0x80000000, 0x80000000,
1463 0xffc00001, 0x80000000, 0x80000000, 0x00000000,
1464 0xffc00001, 0x80000000, 0x00000000, 0x00000000,
1465 0xffc00001, 0x00000000, 0x00000000, 0x00000000,
1466 0xffc00001, 0x00000000, 0x003fffff, 0x00000000,
1467 0xffc00001, 0x00091a2b, 0x00400000, 0x00000001,
1468 0xffc00001, 0x00091a2b, 0x00400000, 0x00000001,
1469 0xffc00001, 0x00091a2b, 0x007fffff, 0x00000001,
1470 0xffc00001, 0x00123456, 0x007fffff, 0x00000001,
1471 0xffc00001, 0x00123456, 0x00800000, 0x00000002,
1472 0xffc00001, 0x00123456, 0x00bffffe, 0x0000000a,
1473 0xffc00001, 0x001b4e81, 0x021fffff, 0xffcfffff,
1474 0xffc00001, 0x00b60b5c, 0xffcfffff, 0x7f800000,
1475 0xffc00001, 0xffcfffff, 0x7f800000, 0xffd23456,
1476 0xffc00001, 0x7f800000, 0xffd23456, 0xffc00000,
1477 0xffc00001, 0xffd23456, 0xffc00000, 0xffd23456,
1478 0xffc00001, 0xffc00000, 0xffd23456, 0xffc00001,
1479 0xffc00001, 0xffd23456, 0xffc00001, 0x00000000,
1480 0xffc00001, 0xffc00001, 0x00000000, 0x00000000,
1481 0xffc00001, 0x00000000, 0x00000000, 0x00000000,
1482};
1483const unsigned kExpectedCount_NEON_fmulx_4S = 1444;
1484
1485#endif // VIXL_SIM_FMULX_4S_TRACE_A64_H_