Gitiles
Code Review Sign In
android-review.linaro.org / platform / external / vixl / refs/tags/android-13.0.0_r52 / . / test / aarch64 / traces / sim-srhadd-4s-trace-aarch64.h
blob: 1691052294e01892b980bb9102e168dfa1d5cdd6 [file] [log] [blame]
armvixlfa3f8162016-08-11 17:38:49 +0100[diff] [blame]1// Copyright 2015, VIXL authors
2// All rights reserved.
3//
4// Redistribution and use in source and binary forms, with or without
5// modification, are permitted provided that the following conditions are met:
6//
7// * Redistributions of source code must retain the above copyright notice,
8// this list of conditions and the following disclaimer.
9// * Redistributions in binary form must reproduce the above copyright notice,
10// this list of conditions and the following disclaimer in the documentation
11// and/or other materials provided with the distribution.
12// * Neither the name of ARM Limited nor the names of its contributors may be
13// used to endorse or promote products derived from this software without
14// specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
17// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
18// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
19// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
20// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
22// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
23// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
24// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
25// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
26
27
28// ---------------------------------------------------------------------
29// This file is auto generated using tools/generate_simulator_traces.py.
30//
31// PLEASE DO NOT EDIT.
32// ---------------------------------------------------------------------
33
34#ifndef VIXL_SIM_SRHADD_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_SRHADD_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_srhadd_4S[] = {
38 0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
39 0x00007e80, 0x00403e00, 0x003ffe80, 0x00000001,
40 0x00403d80, 0x00003f80, 0x003ffe81, 0x00000001,
41 0x00003f00, 0x00003f81, 0x003ffe81, 0x00000010,
42 0x00003f01, 0x00003f81, 0x003ffe90, 0x0000003f,
43 0x00003f01, 0x00003f90, 0x003ffebf, 0x0000003f,
44 0x00003f10, 0x00003fbf, 0x003ffebf, 0x00000040,
45 0x00003f3f, 0x00003fbf, 0x003ffec0, 0x00003fff,
46 0x00003f3f, 0x00003fc0, 0x00403e7f, 0x00003fff,
47 0x00003f40, 0x00007f7f, 0x00403e7f, 0x00004000,
48 0x00007eff, 0x00007f7f, 0x00403e80, 0x1999999a,
49 0x00007eff, 0x00007f80, 0x19d9981a, 0x2aaaaaab,
50 0x00007f00, 0x1999d91a, 0x2aeaa92b, 0x3fffffff,
51 0x1999d89a, 0x2aaaea2b, 0x403ffe7f, 0x3fffffff,
52 0x2aaae9ab, 0x40003f7f, 0x403ffe7f, 0x40000000,
53 0x40003eff, 0x40003f7f, 0x403ffe80, 0xc0000000,
54 0x40003eff, 0x40003f80, 0xc03ffe80, 0xc0000001,
55 0x40003f00, 0xc0003f80, 0xc03ffe81, 0xd5555555,
56 0xc0003f00, 0xc0003f81, 0xd59553d5, 0xe6666666,
57 0xc0003f01, 0xd55594d5, 0xe6a664e6, 0xffffc000,
58 0xd5559455, 0xe666a5e6, 0x003fbe80, 0xffffc001,
59 0xe666a566, 0xffffff80, 0x003fbe81, 0xffffc001,
60 0xffffff00, 0xffffff81, 0x003fbe81, 0xffffc002,
61 0xffffff01, 0xffffff81, 0x003fbe82, 0xffffffc0,
62 0xffffff01, 0xffffff82, 0x003ffe40, 0xffffffc1,
63 0xffffff02, 0x00003f40, 0x003ffe41, 0xffffffc1,
64 0x00003ec0, 0x00003f41, 0x003ffe41, 0xffffffc2,
65 0x00003ec1, 0x00003f41, 0x003ffe42, 0xfffffff0,
66 0x00003ec1, 0x00003f42, 0x003ffe70, 0xffffffff,
67 0x00003ec2, 0x00003f70, 0x003ffe7f, 0xffffffff,
68 0x00003ef0, 0x00003f7f, 0x003ffe7f, 0x00000000,
69 0x00003f7f, 0x003ffe7f, 0x00000000, 0x00000001,
70 0x00003f7f, 0x003ffe80, 0x00000000, 0x00000001,
71 0x00003f80, 0x003ffe80, 0x00000001, 0x00000002,
72 0x00003f80, 0x003ffe81, 0x00000001, 0x00000011,
73 0x00003f81, 0x003ffe81, 0x00000010, 0x0000003f,
74 0x00003f81, 0x003ffe90, 0x0000003f, 0x00000040,
75 0x00003f90, 0x003ffebf, 0x0000003f, 0x00000040,
76 0x00003fbf, 0x003ffebf, 0x00000040, 0x00003fff,
77 0x00003fbf, 0x003ffec0, 0x00003fff, 0x00004000,
78 0x00003fc0, 0x00403e7f, 0x00003fff, 0x00004000,
79 0x00007f7f, 0x00403e7f, 0x00004000, 0x1999999a,
80 0x00007f7f, 0x00403e80, 0x1999999a, 0x2aaaaaab,
81 0x00007f80, 0x19d9981a, 0x2aaaaaab, 0x3fffffff,
82 0x1999d91a, 0x2aeaa92b, 0x3fffffff, 0x40000000,
83 0x2aaaea2b, 0x403ffe7f, 0x3fffffff, 0x40000000,
84 0x40003f7f, 0x403ffe7f, 0x40000000, 0xc0000001,
85 0x40003f7f, 0x403ffe80, 0xc0000000, 0xc0000001,
86 0x40003f80, 0xc03ffe80, 0xc0000001, 0xd5555556,
87 0xc0003f80, 0xc03ffe81, 0xd5555555, 0xe6666667,
88 0xc0003f81, 0xd59553d5, 0xe6666666, 0xffffc001,
89 0xd55594d5, 0xe6a664e6, 0xffffc000, 0xffffc001,
90 0xe666a5e6, 0x003fbe80, 0xffffc001, 0xffffc002,
91 0xffffff80, 0x003fbe81, 0xffffc001, 0xffffc002,
92 0xffffff81, 0x003fbe81, 0xffffc002, 0xffffffc1,
93 0xffffff81, 0x003fbe82, 0xffffffc0, 0xffffffc1,
94 0xffffff82, 0x003ffe40, 0xffffffc1, 0xffffffc2,
95 0x00003f40, 0x003ffe41, 0xffffffc1, 0xffffffc2,
96 0x00003f41, 0x003ffe41, 0xffffffc2, 0xfffffff1,
97 0x00003f41, 0x003ffe42, 0xfffffff0, 0xffffffff,
98 0x00003f42, 0x003ffe70, 0xffffffff, 0x00000000,
99 0x00003f70, 0x003ffe7f, 0xffffffff, 0x00000000,
100 0x003ffe7f, 0xffffffff, 0x00000000, 0x00000001,
101 0x003ffe7f, 0x00000000, 0x00000001, 0x00000002,
102 0x003ffe80, 0x00000000, 0x00000001, 0x00000002,
103 0x003ffe80, 0x00000001, 0x00000002, 0x00000011,
104 0x003ffe81, 0x00000001, 0x00000011, 0x00000040,
105 0x003ffe81, 0x00000010, 0x0000003f, 0x00000040,
106 0x003ffe90, 0x0000003f, 0x00000040, 0x00000041,
107 0x003ffebf, 0x0000003f, 0x00000040, 0x00004000,
108 0x003ffebf, 0x00000040, 0x00003fff, 0x00004000,
109 0x003ffec0, 0x00003fff, 0x00004000, 0x00004001,
110 0x00403e7f, 0x00003fff, 0x00004000, 0x1999999b,
111 0x00403e7f, 0x00004000, 0x1999999a, 0x2aaaaaac,
112 0x00403e80, 0x1999999a, 0x2aaaaaab, 0x40000000,
113 0x19d9981a, 0x2aaaaaab, 0x3fffffff, 0x40000000,
114 0x2aeaa92b, 0x3fffffff, 0x40000000, 0x40000001,
115 0x403ffe7f, 0x3fffffff, 0x40000000, 0xc0000001,
116 0x403ffe7f, 0x40000000, 0xc0000001, 0xc0000002,
117 0x403ffe80, 0xc0000000, 0xc0000001, 0xd5555556,
118 0xc03ffe80, 0xc0000001, 0xd5555556, 0xe6666667,
119 0xc03ffe81, 0xd5555555, 0xe6666667, 0xffffc001,
120 0xd59553d5, 0xe6666666, 0xffffc001, 0xffffc002,
121 0xe6a664e6, 0xffffc000, 0xffffc001, 0xffffc002,
122 0x003fbe80, 0xffffc001, 0xffffc002, 0xffffc003,
123 0x003fbe81, 0xffffc001, 0xffffc002, 0xffffffc1,
124 0x003fbe81, 0xffffc002, 0xffffffc1, 0xffffffc2,
125 0x003fbe82, 0xffffffc0, 0xffffffc1, 0xffffffc2,
126 0x003ffe40, 0xffffffc1, 0xffffffc2, 0xffffffc3,
127 0x003ffe41, 0xffffffc1, 0xffffffc2, 0xfffffff1,
128 0x003ffe41, 0xffffffc2, 0xfffffff1, 0x00000000,
129 0x003ffe42, 0xfffffff0, 0xffffffff, 0x00000000,
130 0x003ffe70, 0xffffffff, 0x00000000, 0x00000001,
131 0xffffffff, 0x00000000, 0x00000001, 0x00000010,
132 0xffffffff, 0x00000000, 0x00000001, 0x00000011,
133 0x00000000, 0x00000001, 0x00000002, 0x00000011,
134 0x00000000, 0x00000001, 0x00000002, 0x00000020,
135 0x00000001, 0x00000002, 0x00000011, 0x0000004f,
136 0x00000001, 0x00000011, 0x00000040, 0x0000004f,
137 0x00000010, 0x0000003f, 0x00000040, 0x00000050,
138 0x0000003f, 0x00000040, 0x00000041, 0x0000400f,
139 0x0000003f, 0x00000040, 0x00004000, 0x0000400f,
140 0x00000040, 0x00003fff, 0x00004000, 0x00004010,
141 0x00003fff, 0x00004000, 0x00004001, 0x199999aa,
142 0x00003fff, 0x00004000, 0x1999999b, 0x2aaaaabb,
143 0x00004000, 0x1999999a, 0x2aaaaaac, 0x4000000f,
144 0x1999999a, 0x2aaaaaab, 0x40000000, 0x4000000f,
145 0x2aaaaaab, 0x3fffffff, 0x40000000, 0x40000010,
146 0x3fffffff, 0x40000000, 0x40000001, 0xc0000010,
147 0x3fffffff, 0x40000000, 0xc0000001, 0xc0000011,
148 0x40000000, 0xc0000001, 0xc0000002, 0xd5555565,
149 0xc0000000, 0xc0000001, 0xd5555556, 0xe6666676,
150 0xc0000001, 0xd5555556, 0xe6666667, 0xffffc010,
151 0xd5555555, 0xe6666667, 0xffffc001, 0xffffc011,
152 0xe6666666, 0xffffc001, 0xffffc002, 0xffffc011,
153 0xffffc000, 0xffffc001, 0xffffc002, 0xffffc012,
154 0xffffc001, 0xffffc002, 0xffffc003, 0xffffffd0,
155 0xffffc001, 0xffffc002, 0xffffffc1, 0xffffffd1,
156 0xffffc002, 0xffffffc1, 0xffffffc2, 0xffffffd1,
157 0xffffffc0, 0xffffffc1, 0xffffffc2, 0xffffffd2,
158 0xffffffc1, 0xffffffc2, 0xffffffc3, 0x00000000,
159 0xffffffc1, 0xffffffc2, 0xfffffff1, 0x0000000f,
160 0xffffffc2, 0xfffffff1, 0x00000000, 0x0000000f,
161 0xfffffff0, 0xffffffff, 0x00000000, 0x00000010,
162 0xffffffff, 0x00000000, 0x00000010, 0x0000003f,
163 0x00000000, 0x00000001, 0x00000010, 0x0000003f,
164 0x00000000, 0x00000001, 0x00000011, 0x00000040,
165 0x00000001, 0x00000002, 0x00000011, 0x0000004f,
166 0x00000001, 0x00000002, 0x00000020, 0x0000007d,
167 0x00000002, 0x00000011, 0x0000004f, 0x0000007e,
168 0x00000011, 0x00000040, 0x0000004f, 0x0000007e,
169 0x0000003f, 0x00000040, 0x00000050, 0x0000403d,
170 0x00000040, 0x00000041, 0x0000400f, 0x0000403e,
171 0x00000040, 0x00004000, 0x0000400f, 0x0000403e,
172 0x00003fff, 0x00004000, 0x00004010, 0x199999d8,
173 0x00004000, 0x00004001, 0x199999aa, 0x2aaaaae9,
174 0x00004000, 0x1999999b, 0x2aaaaabb, 0x4000003d,
175 0x1999999a, 0x2aaaaaac, 0x4000000f, 0x4000003e,
176 0x2aaaaaab, 0x40000000, 0x4000000f, 0x4000003e,
177 0x3fffffff, 0x40000000, 0x40000010, 0xc000003f,
178 0x40000000, 0x40000001, 0xc0000010, 0xc000003f,
179 0x40000000, 0xc0000001, 0xc0000011, 0xd5555594,
180 0xc0000001, 0xc0000002, 0xd5555565, 0xe66666a5,
181 0xc0000001, 0xd5555556, 0xe6666676, 0xffffc03f,
182 0xd5555556, 0xe6666667, 0xffffc010, 0xffffc03f,
183 0xe6666667, 0xffffc001, 0xffffc011, 0xffffc040,
184 0xffffc001, 0xffffc002, 0xffffc011, 0xffffc040,
185 0xffffc001, 0xffffc002, 0xffffc012, 0xffffffff,
186 0xffffc002, 0xffffc003, 0xffffffd0, 0xffffffff,
187 0xffffc002, 0xffffffc1, 0xffffffd1, 0x00000000,
188 0xffffffc1, 0xffffffc2, 0xffffffd1, 0x00000000,
189 0xffffffc1, 0xffffffc2, 0xffffffd2, 0x0000002f,
190 0xffffffc2, 0xffffffc3, 0x00000000, 0x0000003d,
191 0xffffffc2, 0xfffffff1, 0x0000000f, 0x0000003e,
192 0xfffffff1, 0x00000000, 0x0000000f, 0x0000003e,
193 0x00000000, 0x0000000f, 0x0000003e, 0x0000003f,
194 0x00000000, 0x00000010, 0x0000003f, 0x00000040,
195 0x00000001, 0x00000010, 0x0000003f, 0x00000040,
196 0x00000001, 0x00000011, 0x00000040, 0x0000004f,
197 0x00000002, 0x00000011, 0x0000004f, 0x0000007e,
198 0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
199 0x00000011, 0x0000004f, 0x0000007e, 0x0000007f,
200 0x00000040, 0x0000004f, 0x0000007e, 0x0000403e,
201 0x00000040, 0x00000050, 0x0000403d, 0x0000403e,
202 0x00000041, 0x0000400f, 0x0000403e, 0x0000403f,
203 0x00004000, 0x0000400f, 0x0000403e, 0x199999d9,
204 0x00004000, 0x00004010, 0x199999d8, 0x2aaaaaea,
205 0x00004001, 0x199999aa, 0x2aaaaae9, 0x4000003e,
206 0x1999999b, 0x2aaaaabb, 0x4000003d, 0x4000003e,
207 0x2aaaaaac, 0x4000000f, 0x4000003e, 0x4000003f,
208 0x40000000, 0x4000000f, 0x4000003e, 0xc000003f,
209 0x40000000, 0x40000010, 0xc000003f, 0xc0000040,
210 0x40000001, 0xc0000010, 0xc000003f, 0xd5555594,
211 0xc0000001, 0xc0000011, 0xd5555594, 0xe66666a5,
212 0xc0000002, 0xd5555565, 0xe66666a5, 0xffffc03f,
213 0xd5555556, 0xe6666676, 0xffffc03f, 0xffffc040,
214 0xe6666667, 0xffffc010, 0xffffc03f, 0xffffc040,
215 0xffffc001, 0xffffc011, 0xffffc040, 0xffffc041,
216 0xffffc002, 0xffffc011, 0xffffc040, 0xffffffff,
217 0xffffc002, 0xffffc012, 0xffffffff, 0x00000000,
218 0xffffc003, 0xffffffd0, 0xffffffff, 0x00000000,
219 0xffffffc1, 0xffffffd1, 0x00000000, 0x00000001,
220 0xffffffc2, 0xffffffd1, 0x00000000, 0x0000002f,
221 0xffffffc2, 0xffffffd2, 0x0000002f, 0x0000003e,
222 0xffffffc3, 0x00000000, 0x0000003d, 0x0000003e,
223 0xfffffff1, 0x0000000f, 0x0000003e, 0x0000003f,
224 0x0000000f, 0x0000003e, 0x0000003f, 0x00000040,
225 0x0000000f, 0x0000003e, 0x0000003f, 0x00000040,
226 0x00000010, 0x0000003f, 0x00000040, 0x00000041,
227 0x00000010, 0x0000003f, 0x00000040, 0x00000050,
228 0x00000011, 0x00000040, 0x0000004f, 0x0000007e,
229 0x00000011, 0x0000004f, 0x0000007e, 0x0000007f,
230 0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
231 0x0000004f, 0x0000007e, 0x0000007f, 0x0000403e,
232 0x0000004f, 0x0000007e, 0x0000403e, 0x0000403f,
233 0x00000050, 0x0000403d, 0x0000403e, 0x0000403f,
234 0x0000400f, 0x0000403e, 0x0000403f, 0x199999d9,
235 0x0000400f, 0x0000403e, 0x199999d9, 0x2aaaaaea,
236 0x00004010, 0x199999d8, 0x2aaaaaea, 0x4000003e,
237 0x199999aa, 0x2aaaaae9, 0x4000003e, 0x4000003f,
238 0x2aaaaabb, 0x4000003d, 0x4000003e, 0x4000003f,
239 0x4000000f, 0x4000003e, 0x4000003f, 0xc0000040,
240 0x4000000f, 0x4000003e, 0xc000003f, 0xc0000040,
241 0x40000010, 0xc000003f, 0xc0000040, 0xd5555595,
242 0xc0000010, 0xc000003f, 0xd5555594, 0xe66666a6,
243 0xc0000011, 0xd5555594, 0xe66666a5, 0xffffc040,
244 0xd5555565, 0xe66666a5, 0xffffc03f, 0xffffc040,
245 0xe6666676, 0xffffc03f, 0xffffc040, 0xffffc041,
246 0xffffc010, 0xffffc03f, 0xffffc040, 0xffffc041,
247 0xffffc011, 0xffffc040, 0xffffc041, 0x00000000,
248 0xffffc011, 0xffffc040, 0xffffffff, 0x00000000,
249 0xffffc012, 0xffffffff, 0x00000000, 0x00000001,
250 0xffffffd0, 0xffffffff, 0x00000000, 0x00000001,
251 0xffffffd1, 0x00000000, 0x00000001, 0x00000030,
252 0xffffffd1, 0x00000000, 0x0000002f, 0x0000003e,
253 0xffffffd2, 0x0000002f, 0x0000003e, 0x0000003f,
254 0x00000000, 0x0000003d, 0x0000003e, 0x0000003f,
255 0x0000003d, 0x0000003e, 0x0000003f, 0x00003fff,
256 0x0000003e, 0x0000003f, 0x00000040, 0x00003fff,
257 0x0000003e, 0x0000003f, 0x00000040, 0x00004000,
258 0x0000003f, 0x00000040, 0x00000041, 0x0000400f,
259 0x0000003f, 0x00000040, 0x00000050, 0x0000403d,
260 0x00000040, 0x0000004f, 0x0000007e, 0x0000403e,
261 0x0000004f, 0x0000007e, 0x0000007f, 0x0000403e,
262 0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
263 0x0000007e, 0x0000007f, 0x0000403e, 0x00007ffe,
264 0x0000007e, 0x0000403e, 0x0000403f, 0x00007ffe,
265 0x0000403d, 0x0000403e, 0x0000403f, 0x1999d998,
266 0x0000403e, 0x0000403f, 0x199999d9, 0x2aaaeaa9,
267 0x0000403e, 0x199999d9, 0x2aaaaaea, 0x40003ffd,
268 0x199999d8, 0x2aaaaaea, 0x4000003e, 0x40003ffe,
269 0x2aaaaae9, 0x4000003e, 0x4000003f, 0x40003ffe,
270 0x4000003d, 0x4000003e, 0x4000003f, 0xc0003fff,
271 0x4000003e, 0x4000003f, 0xc0000040, 0xc0003fff,
272 0x4000003e, 0xc000003f, 0xc0000040, 0xd5559554,
273 0xc000003f, 0xc0000040, 0xd5555595, 0xe666a665,
274 0xc000003f, 0xd5555594, 0xe66666a6, 0xffffffff,
275 0xd5555594, 0xe66666a5, 0xffffc040, 0xffffffff,
276 0xe66666a5, 0xffffc03f, 0xffffc040, 0x00000000,
277 0xffffc03f, 0xffffc040, 0xffffc041, 0x00000000,
278 0xffffc03f, 0xffffc040, 0xffffc041, 0x00003fbf,
279 0xffffc040, 0xffffc041, 0x00000000, 0x00003fbf,
280 0xffffc040, 0xffffffff, 0x00000000, 0x00003fc0,
281 0xffffffff, 0x00000000, 0x00000001, 0x00003fc0,
282 0xffffffff, 0x00000000, 0x00000001, 0x00003fef,
283 0x00000000, 0x00000001, 0x00000030, 0x00003ffd,
284 0x00000000, 0x0000002f, 0x0000003e, 0x00003ffe,
285 0x0000002f, 0x0000003e, 0x0000003f, 0x00003ffe,
286 0x0000003e, 0x0000003f, 0x00003ffe, 0x00003fff,
287 0x0000003e, 0x0000003f, 0x00003fff, 0x00004000,
288 0x0000003f, 0x00000040, 0x00003fff, 0x00004000,
289 0x0000003f, 0x00000040, 0x00004000, 0x0000400f,
290 0x00000040, 0x00000041, 0x0000400f, 0x0000403e,
291 0x00000040, 0x00000050, 0x0000403d, 0x0000403e,
292 0x0000004f, 0x0000007e, 0x0000403e, 0x0000403f,
293 0x0000007e, 0x0000007f, 0x0000403e, 0x00007ffe,
294 0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
295 0x0000007f, 0x0000403e, 0x00007ffe, 0x00007fff,
296 0x0000403e, 0x0000403f, 0x00007ffe, 0x1999d999,
297 0x0000403e, 0x0000403f, 0x1999d998, 0x2aaaeaaa,
298 0x0000403f, 0x199999d9, 0x2aaaeaa9, 0x40003ffe,
299 0x199999d9, 0x2aaaaaea, 0x40003ffd, 0x40003ffe,
300 0x2aaaaaea, 0x4000003e, 0x40003ffe, 0x40003fff,
301 0x4000003e, 0x4000003f, 0x40003ffe, 0xc0003fff,
302 0x4000003e, 0x4000003f, 0xc0003fff, 0xc0004000,
303 0x4000003f, 0xc0000040, 0xc0003fff, 0xd5559554,
304 0xc000003f, 0xc0000040, 0xd5559554, 0xe666a665,
305 0xc0000040, 0xd5555595, 0xe666a665, 0xffffffff,
306 0xd5555594, 0xe66666a6, 0xffffffff, 0x00000000,
307 0xe66666a5, 0xffffc040, 0xffffffff, 0x00000000,
308 0xffffc03f, 0xffffc040, 0x00000000, 0x00000001,
309 0xffffc040, 0xffffc041, 0x00000000, 0x00003fbf,
310 0xffffc040, 0xffffc041, 0x00003fbf, 0x00003fc0,
311 0xffffc041, 0x00000000, 0x00003fbf, 0x00003fc0,
312 0xffffffff, 0x00000000, 0x00003fc0, 0x00003fc1,
313 0x00000000, 0x00000001, 0x00003fc0, 0x00003fef,
314 0x00000000, 0x00000001, 0x00003fef, 0x00003ffe,
315 0x00000001, 0x00000030, 0x00003ffd, 0x00003ffe,
316 0x0000002f, 0x0000003e, 0x00003ffe, 0x00003fff,
317 0x0000003e, 0x00003ffe, 0x00003fff, 0x00004000,
318 0x0000003f, 0x00003ffe, 0x00003fff, 0x00004000,
319 0x0000003f, 0x00003fff, 0x00004000, 0x00004001,
320 0x00000040, 0x00003fff, 0x00004000, 0x00004010,
321 0x00000040, 0x00004000, 0x0000400f, 0x0000403e,
322 0x00000041, 0x0000400f, 0x0000403e, 0x0000403f,
323 0x00000050, 0x0000403d, 0x0000403e, 0x0000403f,
324 0x0000007e, 0x0000403e, 0x0000403f, 0x00007ffe,
325 0x0000007f, 0x0000403e, 0x00007ffe, 0x00007fff,
326 0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
327 0x0000403e, 0x00007ffe, 0x00007fff, 0x1999d999,
328 0x0000403f, 0x00007ffe, 0x1999d999, 0x2aaaeaaa,
329 0x0000403f, 0x1999d998, 0x2aaaeaaa, 0x40003ffe,
330 0x199999d9, 0x2aaaeaa9, 0x40003ffe, 0x40003fff,
331 0x2aaaaaea, 0x40003ffd, 0x40003ffe, 0x40003fff,
332 0x4000003e, 0x40003ffe, 0x40003fff, 0xc0004000,
333 0x4000003f, 0x40003ffe, 0xc0003fff, 0xc0004000,
334 0x4000003f, 0xc0003fff, 0xc0004000, 0xd5559555,
335 0xc0000040, 0xc0003fff, 0xd5559554, 0xe666a666,
336 0xc0000040, 0xd5559554, 0xe666a665, 0x00000000,
337 0xd5555595, 0xe666a665, 0xffffffff, 0x00000000,
338 0xe66666a6, 0xffffffff, 0x00000000, 0x00000001,
339 0xffffc040, 0xffffffff, 0x00000000, 0x00000001,
340 0xffffc040, 0x00000000, 0x00000001, 0x00003fc0,
341 0xffffc041, 0x00000000, 0x00003fbf, 0x00003fc0,
342 0xffffc041, 0x00003fbf, 0x00003fc0, 0x00003fc1,
343 0x00000000, 0x00003fbf, 0x00003fc0, 0x00003fc1,
344 0x00000000, 0x00003fc0, 0x00003fc1, 0x00003ff0,
345 0x00000001, 0x00003fc0, 0x00003fef, 0x00003ffe,
346 0x00000001, 0x00003fef, 0x00003ffe, 0x00003fff,
347 0x00000030, 0x00003ffd, 0x00003ffe, 0x00003fff,
348 0x00003ffd, 0x00003ffe, 0x00003fff, 0x1999999a,
349 0x00003ffe, 0x00003fff, 0x00004000, 0x1999999a,
350 0x00003ffe, 0x00003fff, 0x00004000, 0x1999999b,
351 0x00003fff, 0x00004000, 0x00004001, 0x199999aa,
352 0x00003fff, 0x00004000, 0x00004010, 0x199999d8,
353 0x00004000, 0x0000400f, 0x0000403e, 0x199999d9,
354 0x0000400f, 0x0000403e, 0x0000403f, 0x199999d9,
355 0x0000403d, 0x0000403e, 0x0000403f, 0x1999d998,
356 0x0000403e, 0x0000403f, 0x00007ffe, 0x1999d999,
357 0x0000403e, 0x00007ffe, 0x00007fff, 0x1999d999,
358 0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
359 0x00007ffe, 0x00007fff, 0x1999d999, 0x44444444,
360 0x00007ffe, 0x1999d999, 0x2aaaeaaa, 0x59999998,
361 0x1999d998, 0x2aaaeaaa, 0x40003ffe, 0x59999999,
362 0x2aaaeaa9, 0x40003ffe, 0x40003fff, 0x59999999,
363 0x40003ffd, 0x40003ffe, 0x40003fff, 0xd999999a,
364 0x40003ffe, 0x40003fff, 0xc0004000, 0xd999999a,
365 0x40003ffe, 0xc0003fff, 0xc0004000, 0xeeeeeeef,
366 0xc0003fff, 0xc0004000, 0xd5559555, 0x00000000,
367 0xc0003fff, 0xd5559554, 0xe666a666, 0x1999599a,
368 0xd5559554, 0xe666a665, 0x00000000, 0x1999599a,
369 0xe666a665, 0xffffffff, 0x00000000, 0x1999599b,
370 0xffffffff, 0x00000000, 0x00000001, 0x1999599b,
371 0xffffffff, 0x00000000, 0x00000001, 0x1999995a,
372 0x00000000, 0x00000001, 0x00003fc0, 0x1999995a,
373 0x00000000, 0x00003fbf, 0x00003fc0, 0x1999995b,
374 0x00003fbf, 0x00003fc0, 0x00003fc1, 0x1999995b,
375 0x00003fbf, 0x00003fc0, 0x00003fc1, 0x1999998a,
376 0x00003fc0, 0x00003fc1, 0x00003ff0, 0x19999998,
377 0x00003fc0, 0x00003fef, 0x00003ffe, 0x19999999,
378 0x00003fef, 0x00003ffe, 0x00003fff, 0x19999999,
379 0x00003ffe, 0x00003fff, 0x19999999, 0x2aaaaaab,
380 0x00003ffe, 0x00003fff, 0x1999999a, 0x2aaaaaab,
381 0x00003fff, 0x00004000, 0x1999999a, 0x2aaaaaac,
382 0x00003fff, 0x00004000, 0x1999999b, 0x2aaaaabb,
383 0x00004000, 0x00004001, 0x199999aa, 0x2aaaaae9,
384 0x00004000, 0x00004010, 0x199999d8, 0x2aaaaaea,
385 0x0000400f, 0x0000403e, 0x199999d9, 0x2aaaaaea,
386 0x0000403e, 0x0000403f, 0x199999d9, 0x2aaaeaa9,
387 0x0000403e, 0x0000403f, 0x1999d998, 0x2aaaeaaa,
388 0x0000403f, 0x00007ffe, 0x1999d999, 0x2aaaeaaa,
389 0x00007ffe, 0x00007fff, 0x1999d999, 0x44444444,
390 0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
391 0x00007fff, 0x1999d999, 0x44444444, 0x6aaaaaa9,
392 0x1999d999, 0x2aaaeaaa, 0x59999998, 0x6aaaaaaa,
393 0x2aaaeaaa, 0x40003ffe, 0x59999999, 0x6aaaaaaa,
394 0x40003ffe, 0x40003fff, 0x59999999, 0xeaaaaaab,
395 0x40003ffe, 0x40003fff, 0xd999999a, 0xeaaaaaab,
396 0x40003fff, 0xc0004000, 0xd999999a, 0x00000000,
397 0xc0003fff, 0xc0004000, 0xeeeeeeef, 0x11111111,
398 0xc0004000, 0xd5559555, 0x00000000, 0x2aaa6aab,
399 0xd5559554, 0xe666a666, 0x1999599a, 0x2aaa6aab,
400 0xe666a665, 0x00000000, 0x1999599a, 0x2aaa6aac,
401 0xffffffff, 0x00000000, 0x1999599b, 0x2aaa6aac,
402 0x00000000, 0x00000001, 0x1999599b, 0x2aaaaa6b,
403 0x00000000, 0x00000001, 0x1999995a, 0x2aaaaa6b,
404 0x00000001, 0x00003fc0, 0x1999995a, 0x2aaaaa6c,
405 0x00003fbf, 0x00003fc0, 0x1999995b, 0x2aaaaa6c,
406 0x00003fc0, 0x00003fc1, 0x1999995b, 0x2aaaaa9b,
407 0x00003fc0, 0x00003fc1, 0x1999998a, 0x2aaaaaa9,
408 0x00003fc1, 0x00003ff0, 0x19999998, 0x2aaaaaaa,
409 0x00003fef, 0x00003ffe, 0x19999999, 0x2aaaaaaa,
410 0x00003ffe, 0x19999999, 0x2aaaaaaa, 0x3fffffff,
411 0x00003fff, 0x19999999, 0x2aaaaaab, 0x3fffffff,
412 0x00003fff, 0x1999999a, 0x2aaaaaab, 0x40000000,
413 0x00004000, 0x1999999a, 0x2aaaaaac, 0x4000000f,
414 0x00004000, 0x1999999b, 0x2aaaaabb, 0x4000003d,
415 0x00004001, 0x199999aa, 0x2aaaaae9, 0x4000003e,
416 0x00004010, 0x199999d8, 0x2aaaaaea, 0x4000003e,
417 0x0000403e, 0x199999d9, 0x2aaaaaea, 0x40003ffd,
418 0x0000403f, 0x199999d9, 0x2aaaeaa9, 0x40003ffe,
419 0x0000403f, 0x1999d998, 0x2aaaeaaa, 0x40003ffe,
420 0x00007ffe, 0x1999d999, 0x2aaaeaaa, 0x59999998,
421 0x00007fff, 0x1999d999, 0x44444444, 0x6aaaaaa9,
422 0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
423 0x1999d999, 0x44444444, 0x6aaaaaa9, 0x7ffffffe,
424 0x2aaaeaaa, 0x59999998, 0x6aaaaaaa, 0x7ffffffe,
425 0x40003ffe, 0x59999999, 0x6aaaaaaa, 0xffffffff,
426 0x40003fff, 0x59999999, 0xeaaaaaab, 0xffffffff,
427 0x40003fff, 0xd999999a, 0xeaaaaaab, 0x15555554,
428 0xc0004000, 0xd999999a, 0x00000000, 0x26666665,
429 0xc0004000, 0xeeeeeeef, 0x11111111, 0x3fffbfff,
430 0xd5559555, 0x00000000, 0x2aaa6aab, 0x3fffbfff,
431 0xe666a666, 0x1999599a, 0x2aaa6aab, 0x3fffc000,
432 0x00000000, 0x1999599a, 0x2aaa6aac, 0x3fffc000,
433 0x00000000, 0x1999599b, 0x2aaa6aac, 0x3fffffbf,
434 0x00000001, 0x1999599b, 0x2aaaaa6b, 0x3fffffbf,
435 0x00000001, 0x1999995a, 0x2aaaaa6b, 0x3fffffc0,
436 0x00003fc0, 0x1999995a, 0x2aaaaa6c, 0x3fffffc0,
437 0x00003fc0, 0x1999995b, 0x2aaaaa6c, 0x3fffffef,
438 0x00003fc1, 0x1999995b, 0x2aaaaa9b, 0x3ffffffd,
439 0x00003fc1, 0x1999998a, 0x2aaaaaa9, 0x3ffffffe,
440 0x00003ff0, 0x19999998, 0x2aaaaaaa, 0x3ffffffe,
441 0x19999998, 0x2aaaaaaa, 0x3ffffffe, 0x3fffffff,
442 0x19999999, 0x2aaaaaaa, 0x3fffffff, 0x40000000,
443 0x19999999, 0x2aaaaaab, 0x3fffffff, 0x40000000,
444 0x1999999a, 0x2aaaaaab, 0x40000000, 0x4000000f,
445 0x1999999a, 0x2aaaaaac, 0x4000000f, 0x4000003e,
446 0x1999999b, 0x2aaaaabb, 0x4000003d, 0x4000003e,
447 0x199999aa, 0x2aaaaae9, 0x4000003e, 0x4000003f,
448 0x199999d8, 0x2aaaaaea, 0x4000003e, 0x40003ffe,
449 0x199999d9, 0x2aaaaaea, 0x40003ffd, 0x40003ffe,
450 0x199999d9, 0x2aaaeaa9, 0x40003ffe, 0x40003fff,
451 0x1999d998, 0x2aaaeaaa, 0x40003ffe, 0x59999999,
452 0x1999d999, 0x2aaaeaaa, 0x59999998, 0x6aaaaaaa,
453 0x1999d999, 0x44444444, 0x6aaaaaa9, 0x7ffffffe,
454 0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
455 0x44444444, 0x6aaaaaa9, 0x7ffffffe, 0x7fffffff,
456 0x59999998, 0x6aaaaaaa, 0x7ffffffe, 0xffffffff,
457 0x59999999, 0x6aaaaaaa, 0xffffffff, 0x00000000,
458 0x59999999, 0xeaaaaaab, 0xffffffff, 0x15555554,
459 0xd999999a, 0xeaaaaaab, 0x15555554, 0x26666665,
460 0xd999999a, 0x00000000, 0x26666665, 0x3fffbfff,
461 0xeeeeeeef, 0x11111111, 0x3fffbfff, 0x3fffc000,
462 0x00000000, 0x2aaa6aab, 0x3fffbfff, 0x3fffc000,
463 0x1999599a, 0x2aaa6aab, 0x3fffc000, 0x3fffc001,
464 0x1999599a, 0x2aaa6aac, 0x3fffc000, 0x3fffffbf,
465 0x1999599b, 0x2aaa6aac, 0x3fffffbf, 0x3fffffc0,
466 0x1999599b, 0x2aaaaa6b, 0x3fffffbf, 0x3fffffc0,
467 0x1999995a, 0x2aaaaa6b, 0x3fffffc0, 0x3fffffc1,
468 0x1999995a, 0x2aaaaa6c, 0x3fffffc0, 0x3fffffef,
469 0x1999995b, 0x2aaaaa6c, 0x3fffffef, 0x3ffffffe,
470 0x1999995b, 0x2aaaaa9b, 0x3ffffffd, 0x3ffffffe,
471 0x1999998a, 0x2aaaaaa9, 0x3ffffffe, 0x3fffffff,
472 0x2aaaaaa9, 0x3ffffffe, 0x3fffffff, 0x40000000,
473 0x2aaaaaaa, 0x3ffffffe, 0x3fffffff, 0x40000000,
474 0x2aaaaaaa, 0x3fffffff, 0x40000000, 0x40000001,
475 0x2aaaaaab, 0x3fffffff, 0x40000000, 0x40000010,
476 0x2aaaaaab, 0x40000000, 0x4000000f, 0x4000003e,
477 0x2aaaaaac, 0x4000000f, 0x4000003e, 0x4000003f,
478 0x2aaaaabb, 0x4000003d, 0x4000003e, 0x4000003f,
479 0x2aaaaae9, 0x4000003e, 0x4000003f, 0x40003ffe,
480 0x2aaaaaea, 0x4000003e, 0x40003ffe, 0x40003fff,
481 0x2aaaaaea, 0x40003ffd, 0x40003ffe, 0x40003fff,
482 0x2aaaeaa9, 0x40003ffe, 0x40003fff, 0x59999999,
483 0x2aaaeaaa, 0x40003ffe, 0x59999999, 0x6aaaaaaa,
484 0x2aaaeaaa, 0x59999998, 0x6aaaaaaa, 0x7ffffffe,
485 0x44444444, 0x6aaaaaa9, 0x7ffffffe, 0x7fffffff,
486 0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
487 0x6aaaaaa9, 0x7ffffffe, 0x7fffffff, 0x00000000,
488 0x6aaaaaaa, 0x7ffffffe, 0xffffffff, 0x00000000,
489 0x6aaaaaaa, 0xffffffff, 0x00000000, 0x15555555,
490 0xeaaaaaab, 0xffffffff, 0x15555554, 0x26666666,
491 0xeaaaaaab, 0x15555554, 0x26666665, 0x3fffc000,
492 0x00000000, 0x26666665, 0x3fffbfff, 0x3fffc000,
493 0x11111111, 0x3fffbfff, 0x3fffc000, 0x3fffc001,
494 0x2aaa6aab, 0x3fffbfff, 0x3fffc000, 0x3fffc001,
495 0x2aaa6aab, 0x3fffc000, 0x3fffc001, 0x3fffffc0,
496 0x2aaa6aac, 0x3fffc000, 0x3fffffbf, 0x3fffffc0,
497 0x2aaa6aac, 0x3fffffbf, 0x3fffffc0, 0x3fffffc1,
498 0x2aaaaa6b, 0x3fffffbf, 0x3fffffc0, 0x3fffffc1,
499 0x2aaaaa6b, 0x3fffffc0, 0x3fffffc1, 0x3ffffff0,
500 0x2aaaaa6c, 0x3fffffc0, 0x3fffffef, 0x3ffffffe,
501 0x2aaaaa6c, 0x3fffffef, 0x3ffffffe, 0x3fffffff,
502 0x2aaaaa9b, 0x3ffffffd, 0x3ffffffe, 0x3fffffff,
503 0x3ffffffd, 0x3ffffffe, 0x3fffffff, 0xc0000000,
504 0x3ffffffe, 0x3fffffff, 0x40000000, 0xc0000001,
505 0x3ffffffe, 0x3fffffff, 0x40000000, 0xc0000001,
506 0x3fffffff, 0x40000000, 0x40000001, 0xc0000010,
507 0x3fffffff, 0x40000000, 0x40000010, 0xc000003f,
508 0x40000000, 0x4000000f, 0x4000003e, 0xc000003f,
509 0x4000000f, 0x4000003e, 0x4000003f, 0xc0000040,
510 0x4000003d, 0x4000003e, 0x4000003f, 0xc0003fff,
511 0x4000003e, 0x4000003f, 0x40003ffe, 0xc0003fff,
512 0x4000003e, 0x40003ffe, 0x40003fff, 0xc0004000,
513 0x40003ffd, 0x40003ffe, 0x40003fff, 0xd999999a,
514 0x40003ffe, 0x40003fff, 0x59999999, 0xeaaaaaab,
515 0x40003ffe, 0x59999999, 0x6aaaaaaa, 0xffffffff,
516 0x59999998, 0x6aaaaaaa, 0x7ffffffe, 0xffffffff,
517 0x6aaaaaa9, 0x7ffffffe, 0x7fffffff, 0x00000000,
518 0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
519 0x7ffffffe, 0x7fffffff, 0x00000000, 0x80000001,
520 0x7ffffffe, 0xffffffff, 0x00000000, 0x95555555,
521 0xffffffff, 0x00000000, 0x15555555, 0xa6666666,
522 0xffffffff, 0x15555554, 0x26666666, 0xbfffc000,
523 0x15555554, 0x26666665, 0x3fffc000, 0xbfffc001,
524 0x26666665, 0x3fffbfff, 0x3fffc000, 0xbfffc001,
525 0x3fffbfff, 0x3fffc000, 0x3fffc001, 0xbfffc002,
526 0x3fffbfff, 0x3fffc000, 0x3fffc001, 0xbfffffc0,
527 0x3fffc000, 0x3fffc001, 0x3fffffc0, 0xbfffffc1,
528 0x3fffc000, 0x3fffffbf, 0x3fffffc0, 0xbfffffc1,
529 0x3fffffbf, 0x3fffffc0, 0x3fffffc1, 0xbfffffc2,
530 0x3fffffbf, 0x3fffffc0, 0x3fffffc1, 0xbffffff0,
531 0x3fffffc0, 0x3fffffc1, 0x3ffffff0, 0xbfffffff,
532 0x3fffffc0, 0x3fffffef, 0x3ffffffe, 0xbfffffff,
533 0x3fffffef, 0x3ffffffe, 0x3fffffff, 0xc0000000,
534 0x3ffffffe, 0x3fffffff, 0xc0000000, 0xc0000001,
535 0x3ffffffe, 0x3fffffff, 0xc0000000, 0xc0000001,
536 0x3fffffff, 0x40000000, 0xc0000001, 0xc0000002,
537 0x3fffffff, 0x40000000, 0xc0000001, 0xc0000011,
538 0x40000000, 0x40000001, 0xc0000010, 0xc000003f,
539 0x40000000, 0x40000010, 0xc000003f, 0xc0000040,
540 0x4000000f, 0x4000003e, 0xc000003f, 0xc0000040,
541 0x4000003e, 0x4000003f, 0xc0000040, 0xc0003fff,
542 0x4000003e, 0x4000003f, 0xc0003fff, 0xc0004000,
543 0x4000003f, 0x40003ffe, 0xc0003fff, 0xc0004000,
544 0x40003ffe, 0x40003fff, 0xc0004000, 0xd999999a,
545 0x40003ffe, 0x40003fff, 0xd999999a, 0xeaaaaaab,
546 0x40003fff, 0x59999999, 0xeaaaaaab, 0xffffffff,
547 0x59999999, 0x6aaaaaaa, 0xffffffff, 0x00000000,
548 0x6aaaaaaa, 0x7ffffffe, 0xffffffff, 0x00000000,
549 0x7ffffffe, 0x7fffffff, 0x00000000, 0x80000001,
550 0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
551 0x7fffffff, 0x00000000, 0x80000001, 0x95555556,
552 0xffffffff, 0x00000000, 0x95555555, 0xa6666667,
553 0x00000000, 0x15555555, 0xa6666666, 0xbfffc001,
554 0x15555554, 0x26666666, 0xbfffc000, 0xbfffc001,
555 0x26666665, 0x3fffc000, 0xbfffc001, 0xbfffc002,
556 0x3fffbfff, 0x3fffc000, 0xbfffc001, 0xbfffc002,
557 0x3fffc000, 0x3fffc001, 0xbfffc002, 0xbfffffc1,
558 0x3fffc000, 0x3fffc001, 0xbfffffc0, 0xbfffffc1,
559 0x3fffc001, 0x3fffffc0, 0xbfffffc1, 0xbfffffc2,
560 0x3fffffbf, 0x3fffffc0, 0xbfffffc1, 0xbfffffc2,
561 0x3fffffc0, 0x3fffffc1, 0xbfffffc2, 0xbffffff1,
562 0x3fffffc0, 0x3fffffc1, 0xbffffff0, 0xbfffffff,
563 0x3fffffc1, 0x3ffffff0, 0xbfffffff, 0xc0000000,
564 0x3fffffef, 0x3ffffffe, 0xbfffffff, 0xc0000000,
565 0x3ffffffe, 0xbfffffff, 0xc0000000, 0xd5555555,
566 0x3fffffff, 0xc0000000, 0xc0000001, 0xd5555556,
567 0x3fffffff, 0xc0000000, 0xc0000001, 0xd5555556,
568 0x40000000, 0xc0000001, 0xc0000002, 0xd5555565,
569 0x40000000, 0xc0000001, 0xc0000011, 0xd5555594,
570 0x40000001, 0xc0000010, 0xc000003f, 0xd5555594,
571 0x40000010, 0xc000003f, 0xc0000040, 0xd5555595,
572 0x4000003e, 0xc000003f, 0xc0000040, 0xd5559554,
573 0x4000003f, 0xc0000040, 0xc0003fff, 0xd5559554,
574 0x4000003f, 0xc0003fff, 0xc0004000, 0xd5559555,
575 0x40003ffe, 0xc0003fff, 0xc0004000, 0xeeeeeeef,
576 0x40003fff, 0xc0004000, 0xd999999a, 0x00000000,
577 0x40003fff, 0xd999999a, 0xeaaaaaab, 0x15555554,
578 0x59999999, 0xeaaaaaab, 0xffffffff, 0x15555554,
579 0x6aaaaaaa, 0xffffffff, 0x00000000, 0x15555555,
580 0x7ffffffe, 0xffffffff, 0x00000000, 0x95555555,
581 0x7fffffff, 0x00000000, 0x80000001, 0x95555556,
582 0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
583 0x00000000, 0x80000001, 0x95555556, 0xbbbbbbbb,
584 0x00000000, 0x95555555, 0xa6666667, 0xd5551555,
585 0x15555555, 0xa6666666, 0xbfffc001, 0xd5551556,
586 0x26666666, 0xbfffc000, 0xbfffc001, 0xd5551556,
587 0x3fffc000, 0xbfffc001, 0xbfffc002, 0xd5551557,
588 0x3fffc000, 0xbfffc001, 0xbfffc002, 0xd5555515,
589 0x3fffc001, 0xbfffc002, 0xbfffffc1, 0xd5555516,
590 0x3fffc001, 0xbfffffc0, 0xbfffffc1, 0xd5555516,
591 0x3fffffc0, 0xbfffffc1, 0xbfffffc2, 0xd5555517,
592 0x3fffffc0, 0xbfffffc1, 0xbfffffc2, 0xd5555545,
593 0x3fffffc1, 0xbfffffc2, 0xbffffff1, 0xd5555554,
594 0x3fffffc1, 0xbffffff0, 0xbfffffff, 0xd5555554,
595 0x3ffffff0, 0xbfffffff, 0xc0000000, 0xd5555555,
596 0xbfffffff, 0xc0000000, 0xd5555555, 0xe6666666,
597 0xbfffffff, 0xc0000000, 0xd5555555, 0xe6666667,
598 0xc0000000, 0xc0000001, 0xd5555556, 0xe6666667,
599 0xc0000000, 0xc0000001, 0xd5555556, 0xe6666676,
600 0xc0000001, 0xc0000002, 0xd5555565, 0xe66666a5,
601 0xc0000001, 0xc0000011, 0xd5555594, 0xe66666a5,
602 0xc0000010, 0xc000003f, 0xd5555594, 0xe66666a6,
603 0xc000003f, 0xc0000040, 0xd5555595, 0xe666a665,
604 0xc000003f, 0xc0000040, 0xd5559554, 0xe666a665,
605 0xc0000040, 0xc0003fff, 0xd5559554, 0xe666a666,
606 0xc0003fff, 0xc0004000, 0xd5559555, 0x00000000,
607 0xc0003fff, 0xc0004000, 0xeeeeeeef, 0x11111111,
608 0xc0004000, 0xd999999a, 0x00000000, 0x26666665,
609 0xd999999a, 0xeaaaaaab, 0x15555554, 0x26666665,
610 0xeaaaaaab, 0xffffffff, 0x15555554, 0x26666666,
611 0xffffffff, 0x00000000, 0x15555555, 0xa6666666,
612 0xffffffff, 0x00000000, 0x95555555, 0xa6666667,
613 0x00000000, 0x80000001, 0x95555556, 0xbbbbbbbb,
614 0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
615 0x80000001, 0x95555556, 0xbbbbbbbb, 0xe6662666,
616 0x95555555, 0xa6666667, 0xd5551555, 0xe6662667,
617 0xa6666666, 0xbfffc001, 0xd5551556, 0xe6662667,
618 0xbfffc000, 0xbfffc001, 0xd5551556, 0xe6662668,
619 0xbfffc001, 0xbfffc002, 0xd5551557, 0xe6666626,
620 0xbfffc001, 0xbfffc002, 0xd5555515, 0xe6666627,
621 0xbfffc002, 0xbfffffc1, 0xd5555516, 0xe6666627,
622 0xbfffffc0, 0xbfffffc1, 0xd5555516, 0xe6666628,
623 0xbfffffc1, 0xbfffffc2, 0xd5555517, 0xe6666656,
624 0xbfffffc1, 0xbfffffc2, 0xd5555545, 0xe6666665,
625 0xbfffffc2, 0xbffffff1, 0xd5555554, 0xe6666665,
626 0xbffffff0, 0xbfffffff, 0xd5555554, 0xe6666666,
627 0xbfffffff, 0xd5555554, 0xe6666666, 0xffffc000,
628 0xc0000000, 0xd5555555, 0xe6666666, 0xffffc001,
629 0xc0000000, 0xd5555555, 0xe6666667, 0xffffc001,
630 0xc0000001, 0xd5555556, 0xe6666667, 0xffffc010,
631 0xc0000001, 0xd5555556, 0xe6666676, 0xffffc03f,
632 0xc0000002, 0xd5555565, 0xe66666a5, 0xffffc03f,
633 0xc0000011, 0xd5555594, 0xe66666a5, 0xffffc040,
634 0xc000003f, 0xd5555594, 0xe66666a6, 0xffffffff,
635 0xc0000040, 0xd5555595, 0xe666a665, 0xffffffff,
636 0xc0000040, 0xd5559554, 0xe666a665, 0x00000000,
637 0xc0003fff, 0xd5559554, 0xe666a666, 0x1999599a,
638 0xc0004000, 0xd5559555, 0x00000000, 0x2aaa6aab,
639 0xc0004000, 0xeeeeeeef, 0x11111111, 0x3fffbfff,
640 0xd999999a, 0x00000000, 0x26666665, 0x3fffbfff,
641 0xeaaaaaab, 0x15555554, 0x26666665, 0x3fffc000,
642 0xffffffff, 0x15555554, 0x26666666, 0xbfffc000,
643 0x00000000, 0x15555555, 0xa6666666, 0xbfffc001,
644 0x00000000, 0x95555555, 0xa6666667, 0xd5551555,
645 0x80000001, 0x95555556, 0xbbbbbbbb, 0xe6662666,
646 0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
647 0x95555556, 0xbbbbbbbb, 0xe6662666, 0xffff8001,
648 0xa6666667, 0xd5551555, 0xe6662667, 0xffff8001,
649 0xbfffc001, 0xd5551556, 0xe6662667, 0xffff8002,
650 0xbfffc001, 0xd5551556, 0xe6662668, 0xffffbfc0,
651 0xbfffc002, 0xd5551557, 0xe6666626, 0xffffbfc1,
652 0xbfffc002, 0xd5555515, 0xe6666627, 0xffffbfc1,
653 0xbfffffc1, 0xd5555516, 0xe6666627, 0xffffbfc2,
654 0xbfffffc1, 0xd5555516, 0xe6666628, 0xffffbff0,
655 0xbfffffc2, 0xd5555517, 0xe6666656, 0xffffbfff,
656 0xbfffffc2, 0xd5555545, 0xe6666665, 0xffffbfff,
657 0xbffffff1, 0xd5555554, 0xe6666665, 0xffffc000,
658 0xd5555554, 0xe6666665, 0xffffc000, 0xffffc001,
659 0xd5555554, 0xe6666666, 0xffffc000, 0xffffc001,
660 0xd5555555, 0xe6666666, 0xffffc001, 0xffffc002,
661 0xd5555555, 0xe6666667, 0xffffc001, 0xffffc011,
662 0xd5555556, 0xe6666667, 0xffffc010, 0xffffc03f,
663 0xd5555556, 0xe6666676, 0xffffc03f, 0xffffc040,
664 0xd5555565, 0xe66666a5, 0xffffc03f, 0xffffc040,
665 0xd5555594, 0xe66666a5, 0xffffc040, 0xffffffff,
666 0xd5555594, 0xe66666a6, 0xffffffff, 0x00000000,
667 0xd5555595, 0xe666a665, 0xffffffff, 0x00000000,
668 0xd5559554, 0xe666a665, 0x00000000, 0x1999599a,
669 0xd5559554, 0xe666a666, 0x1999599a, 0x2aaa6aab,
670 0xd5559555, 0x00000000, 0x2aaa6aab, 0x3fffbfff,
671 0xeeeeeeef, 0x11111111, 0x3fffbfff, 0x3fffc000,
672 0x00000000, 0x26666665, 0x3fffbfff, 0x3fffc000,
673 0x15555554, 0x26666665, 0x3fffc000, 0xbfffc001,
674 0x15555554, 0x26666666, 0xbfffc000, 0xbfffc001,
675 0x15555555, 0xa6666666, 0xbfffc001, 0xd5551556,
676 0x95555555, 0xa6666667, 0xd5551555, 0xe6662667,
677 0x95555556, 0xbbbbbbbb, 0xe6662666, 0xffff8001,
678 0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
679 0xbbbbbbbb, 0xe6662666, 0xffff8001, 0xffff8002,
680 0xd5551555, 0xe6662667, 0xffff8001, 0xffff8002,
681 0xd5551556, 0xe6662667, 0xffff8002, 0xffffbfc1,
682 0xd5551556, 0xe6662668, 0xffffbfc0, 0xffffbfc1,
683 0xd5551557, 0xe6666626, 0xffffbfc1, 0xffffbfc2,
684 0xd5555515, 0xe6666627, 0xffffbfc1, 0xffffbfc2,
685 0xd5555516, 0xe6666627, 0xffffbfc2, 0xffffbff1,
686 0xd5555516, 0xe6666628, 0xffffbff0, 0xffffbfff,
687 0xd5555517, 0xe6666656, 0xffffbfff, 0xffffc000,
688 0xd5555545, 0xe6666665, 0xffffbfff, 0xffffc000,
689 0xe6666665, 0xffffbfff, 0xffffc000, 0xffffc001,
690 0xe6666665, 0xffffc000, 0xffffc001, 0xffffc002,
691 0xe6666666, 0xffffc000, 0xffffc001, 0xffffc002,
692 0xe6666666, 0xffffc001, 0xffffc002, 0xffffc011,
693 0xe6666667, 0xffffc001, 0xffffc011, 0xffffc040,
694 0xe6666667, 0xffffc010, 0xffffc03f, 0xffffc040,
695 0xe6666676, 0xffffc03f, 0xffffc040, 0xffffc041,
696 0xe66666a5, 0xffffc03f, 0xffffc040, 0x00000000,
697 0xe66666a5, 0xffffc040, 0xffffffff, 0x00000000,
698 0xe66666a6, 0xffffffff, 0x00000000, 0x00000001,
699 0xe666a665, 0xffffffff, 0x00000000, 0x1999599b,
700 0xe666a665, 0x00000000, 0x1999599a, 0x2aaa6aac,
701 0xe666a666, 0x1999599a, 0x2aaa6aab, 0x3fffc000,
702 0x00000000, 0x2aaa6aab, 0x3fffbfff, 0x3fffc000,
703 0x11111111, 0x3fffbfff, 0x3fffc000, 0x3fffc001,
704 0x26666665, 0x3fffbfff, 0x3fffc000, 0xbfffc001,
705 0x26666665, 0x3fffc000, 0xbfffc001, 0xbfffc002,
706 0x26666666, 0xbfffc000, 0xbfffc001, 0xd5551556,
707 0xa6666666, 0xbfffc001, 0xd5551556, 0xe6662667,
708 0xa6666667, 0xd5551555, 0xe6662667, 0xffff8001,
709 0xbbbbbbbb, 0xe6662666, 0xffff8001, 0xffff8002,
710 0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
711 0xe6662666, 0xffff8001, 0xffff8002, 0xffff8003,
712 0xe6662667, 0xffff8001, 0xffff8002, 0xffffbfc1,
713 0xe6662667, 0xffff8002, 0xffffbfc1, 0xffffbfc2,
714 0xe6662668, 0xffffbfc0, 0xffffbfc1, 0xffffbfc2,
715 0xe6666626, 0xffffbfc1, 0xffffbfc2, 0xffffbfc3,
716 0xe6666627, 0xffffbfc1, 0xffffbfc2, 0xffffbff1,
717 0xe6666627, 0xffffbfc2, 0xffffbff1, 0xffffc000,
718 0xe6666628, 0xffffbff0, 0xffffbfff, 0xffffc000,
719 0xe6666656, 0xffffbfff, 0xffffc000, 0xffffc001,
720 0xffffbfff, 0xffffc000, 0xffffc001, 0xffffc002,
721 0xffffbfff, 0xffffc000, 0xffffc001, 0xffffc002,
722 0xffffc000, 0xffffc001, 0xffffc002, 0xffffc003,
723 0xffffc000, 0xffffc001, 0xffffc002, 0xffffc012,
724 0xffffc001, 0xffffc002, 0xffffc011, 0xffffc040,
725 0xffffc001, 0xffffc011, 0xffffc040, 0xffffc041,
726 0xffffc010, 0xffffc03f, 0xffffc040, 0xffffc041,
727 0xffffc03f, 0xffffc040, 0xffffc041, 0x00000000,
728 0xffffc03f, 0xffffc040, 0x00000000, 0x00000001,
729 0xffffc040, 0xffffffff, 0x00000000, 0x00000001,
730 0xffffffff, 0x00000000, 0x00000001, 0x1999599b,
731 0xffffffff, 0x00000000, 0x1999599b, 0x2aaa6aac,
732 0x00000000, 0x1999599a, 0x2aaa6aac, 0x3fffc000,
733 0x1999599a, 0x2aaa6aab, 0x3fffc000, 0x3fffc001,
734 0x2aaa6aab, 0x3fffbfff, 0x3fffc000, 0x3fffc001,
735 0x3fffbfff, 0x3fffc000, 0x3fffc001, 0xbfffc002,
736 0x3fffbfff, 0x3fffc000, 0xbfffc001, 0xbfffc002,
737 0x3fffc000, 0xbfffc001, 0xbfffc002, 0xd5551557,
738 0xbfffc000, 0xbfffc001, 0xd5551556, 0xe6662668,
739 0xbfffc001, 0xd5551556, 0xe6662667, 0xffff8002,
740 0xd5551555, 0xe6662667, 0xffff8001, 0xffff8002,
741 0xe6662666, 0xffff8001, 0xffff8002, 0xffff8003,
742 0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
743 0xffff8001, 0xffff8002, 0xffff8003, 0xffffbfc2,
744 0xffff8001, 0xffff8002, 0xffffbfc1, 0xffffbfc2,
745 0xffff8002, 0xffffbfc1, 0xffffbfc2, 0xffffbfc3,
746 0xffffbfc0, 0xffffbfc1, 0xffffbfc2, 0xffffbfc3,
747 0xffffbfc1, 0xffffbfc2, 0xffffbfc3, 0xffffbff2,
748 0xffffbfc1, 0xffffbfc2, 0xffffbff1, 0xffffc000,
749 0xffffbfc2, 0xffffbff1, 0xffffc000, 0xffffc001,
750 0xffffbff0, 0xffffbfff, 0xffffc000, 0xffffc001,
751 0xffffbfff, 0xffffc000, 0xffffc001, 0xffffffc0,
752 0xffffc000, 0xffffc001, 0xffffc002, 0xffffffc1,
753 0xffffc000, 0xffffc001, 0xffffc002, 0xffffffc1,
754 0xffffc001, 0xffffc002, 0xffffc003, 0xffffffd0,
755 0xffffc001, 0xffffc002, 0xffffc012, 0xffffffff,
756 0xffffc002, 0xffffc011, 0xffffc040, 0xffffffff,
757 0xffffc011, 0xffffc040, 0xffffc041, 0x00000000,
758 0xffffc03f, 0xffffc040, 0xffffc041, 0x00003fbf,
759 0xffffc040, 0xffffc041, 0x00000000, 0x00003fbf,
760 0xffffc040, 0x00000000, 0x00000001, 0x00003fc0,
761 0xffffffff, 0x00000000, 0x00000001, 0x1999995a,
762 0x00000000, 0x00000001, 0x1999599b, 0x2aaaaa6b,
763 0x00000000, 0x1999599b, 0x2aaa6aac, 0x3fffffbf,
764 0x1999599a, 0x2aaa6aac, 0x3fffc000, 0x3fffffbf,
765 0x2aaa6aab, 0x3fffc000, 0x3fffc001, 0x3fffffc0,
766 0x3fffbfff, 0x3fffc000, 0x3fffc001, 0xbfffffc0,
767 0x3fffc000, 0x3fffc001, 0xbfffc002, 0xbfffffc1,
768 0x3fffc000, 0xbfffc001, 0xbfffc002, 0xd5555515,
769 0xbfffc001, 0xbfffc002, 0xd5551557, 0xe6666626,
770 0xbfffc001, 0xd5551556, 0xe6662668, 0xffffbfc0,
771 0xd5551556, 0xe6662667, 0xffff8002, 0xffffbfc1,
772 0xe6662667, 0xffff8001, 0xffff8002, 0xffffbfc1,
773 0xffff8001, 0xffff8002, 0xffff8003, 0xffffbfc2,
774 0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
775 0xffff8002, 0xffff8003, 0xffffbfc2, 0xffffff81,
776 0xffff8002, 0xffffbfc1, 0xffffbfc2, 0xffffff81,
777 0xffffbfc1, 0xffffbfc2, 0xffffbfc3, 0xffffff82,
778 0xffffbfc1, 0xffffbfc2, 0xffffbfc3, 0xffffffb0,
779 0xffffbfc2, 0xffffbfc3, 0xffffbff2, 0xffffffbf,
780 0xffffbfc2, 0xffffbff1, 0xffffc000, 0xffffffbf,
781 0xffffbff1, 0xffffc000, 0xffffc001, 0xffffffc0,
782 0xffffc000, 0xffffc001, 0xffffffc0, 0xffffffc1,
783 0xffffc000, 0xffffc001, 0xffffffc0, 0xffffffc1,
784 0xffffc001, 0xffffc002, 0xffffffc1, 0xffffffc2,
785 0xffffc001, 0xffffc002, 0xffffffc1, 0xffffffd1,
786 0xffffc002, 0xffffc003, 0xffffffd0, 0xffffffff,
787 0xffffc002, 0xffffc012, 0xffffffff, 0x00000000,
788 0xffffc011, 0xffffc040, 0xffffffff, 0x00000000,
789 0xffffc040, 0xffffc041, 0x00000000, 0x00003fbf,
790 0xffffc040, 0xffffc041, 0x00003fbf, 0x00003fc0,
791 0xffffc041, 0x00000000, 0x00003fbf, 0x00003fc0,
792 0x00000000, 0x00000001, 0x00003fc0, 0x1999995a,
793 0x00000000, 0x00000001, 0x1999995a, 0x2aaaaa6b,
794 0x00000001, 0x1999599b, 0x2aaaaa6b, 0x3fffffbf,
795 0x1999599b, 0x2aaa6aac, 0x3fffffbf, 0x3fffffc0,
796 0x2aaa6aac, 0x3fffc000, 0x3fffffbf, 0x3fffffc0,
797 0x3fffc000, 0x3fffc001, 0x3fffffc0, 0xbfffffc1,
798 0x3fffc000, 0x3fffc001, 0xbfffffc0, 0xbfffffc1,
799 0x3fffc001, 0xbfffc002, 0xbfffffc1, 0xd5555516,
800 0xbfffc001, 0xbfffc002, 0xd5555515, 0xe6666627,
801 0xbfffc002, 0xd5551557, 0xe6666626, 0xffffbfc1,
802 0xd5551556, 0xe6662668, 0xffffbfc0, 0xffffbfc1,
803 0xe6662667, 0xffff8002, 0xffffbfc1, 0xffffbfc2,
804 0xffff8001, 0xffff8002, 0xffffbfc1, 0xffffbfc2,
805 0xffff8002, 0xffff8003, 0xffffbfc2, 0xffffff81,
806 0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
807 0xffff8003, 0xffffbfc2, 0xffffff81, 0xffffff82,
808 0xffffbfc1, 0xffffbfc2, 0xffffff81, 0xffffff82,
809 0xffffbfc2, 0xffffbfc3, 0xffffff82, 0xffffffb1,
810 0xffffbfc2, 0xffffbfc3, 0xffffffb0, 0xffffffbf,
811 0xffffbfc3, 0xffffbff2, 0xffffffbf, 0xffffffc0,
812 0xffffbff1, 0xffffc000, 0xffffffbf, 0xffffffc0,
813 0xffffc000, 0xffffffbf, 0xffffffc0, 0xffffffc1,
814 0xffffc001, 0xffffffc0, 0xffffffc1, 0xffffffc2,
815 0xffffc001, 0xffffffc0, 0xffffffc1, 0xffffffc2,
816 0xffffc002, 0xffffffc1, 0xffffffc2, 0xffffffd1,
817 0xffffc002, 0xffffffc1, 0xffffffd1, 0x00000000,
818 0xffffc003, 0xffffffd0, 0xffffffff, 0x00000000,
819 0xffffc012, 0xffffffff, 0x00000000, 0x00000001,
820 0xffffc040, 0xffffffff, 0x00000000, 0x00003fc0,
821 0xffffc041, 0x00000000, 0x00003fbf, 0x00003fc0,
822 0xffffc041, 0x00003fbf, 0x00003fc0, 0x00003fc1,
823 0x00000000, 0x00003fbf, 0x00003fc0, 0x1999995b,
824 0x00000001, 0x00003fc0, 0x1999995a, 0x2aaaaa6c,
825 0x00000001, 0x1999995a, 0x2aaaaa6b, 0x3fffffc0,
826 0x1999599b, 0x2aaaaa6b, 0x3fffffbf, 0x3fffffc0,
827 0x2aaa6aac, 0x3fffffbf, 0x3fffffc0, 0x3fffffc1,
828 0x3fffc000, 0x3fffffbf, 0x3fffffc0, 0xbfffffc1,
829 0x3fffc001, 0x3fffffc0, 0xbfffffc1, 0xbfffffc2,
830 0x3fffc001, 0xbfffffc0, 0xbfffffc1, 0xd5555516,
831 0xbfffc002, 0xbfffffc1, 0xd5555516, 0xe6666627,
832 0xbfffc002, 0xd5555515, 0xe6666627, 0xffffbfc1,
833 0xd5551557, 0xe6666626, 0xffffbfc1, 0xffffbfc2,
834 0xe6662668, 0xffffbfc0, 0xffffbfc1, 0xffffbfc2,
835 0xffff8002, 0xffffbfc1, 0xffffbfc2, 0xffffbfc3,
836 0xffff8002, 0xffffbfc1, 0xffffbfc2, 0xffffff81,
837 0xffff8003, 0xffffbfc2, 0xffffff81, 0xffffff82,
838 0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
839 0xffffbfc2, 0xffffff81, 0xffffff82, 0xffffff83,
840 0xffffbfc2, 0xffffff81, 0xffffff82, 0xffffffb1,
841 0xffffbfc3, 0xffffff82, 0xffffffb1, 0xffffffc0,
842 0xffffbfc3, 0xffffffb0, 0xffffffbf, 0xffffffc0,
843 0xffffbff2, 0xffffffbf, 0xffffffc0, 0xffffffc1,
844 0xffffffbf, 0xffffffc0, 0xffffffc1, 0xffffffc2,
845 0xffffffbf, 0xffffffc0, 0xffffffc1, 0xffffffc2,
846 0xffffffc0, 0xffffffc1, 0xffffffc2, 0xffffffc3,
847 0xffffffc0, 0xffffffc1, 0xffffffc2, 0xffffffd2,
848 0xffffffc1, 0xffffffc2, 0xffffffd1, 0x00000000,
849 0xffffffc1, 0xffffffd1, 0x00000000, 0x00000001,
850 0xffffffd0, 0xffffffff, 0x00000000, 0x00000001,
851 0xffffffff, 0x00000000, 0x00000001, 0x00003fc0,
852 0xffffffff, 0x00000000, 0x00003fc0, 0x00003fc1,
853 0x00000000, 0x00003fbf, 0x00003fc0, 0x00003fc1,
854 0x00003fbf, 0x00003fc0, 0x00003fc1, 0x1999995b,
855 0x00003fbf, 0x00003fc0, 0x1999995b, 0x2aaaaa6c,
856 0x00003fc0, 0x1999995a, 0x2aaaaa6c, 0x3fffffc0,
857 0x1999995a, 0x2aaaaa6b, 0x3fffffc0, 0x3fffffc1,
858 0x2aaaaa6b, 0x3fffffbf, 0x3fffffc0, 0x3fffffc1,
859 0x3fffffbf, 0x3fffffc0, 0x3fffffc1, 0xbfffffc2,
860 0x3fffffbf, 0x3fffffc0, 0xbfffffc1, 0xbfffffc2,
861 0x3fffffc0, 0xbfffffc1, 0xbfffffc2, 0xd5555517,
862 0xbfffffc0, 0xbfffffc1, 0xd5555516, 0xe6666628,
863 0xbfffffc1, 0xd5555516, 0xe6666627, 0xffffbfc2,
864 0xd5555515, 0xe6666627, 0xffffbfc1, 0xffffbfc2,
865 0xe6666626, 0xffffbfc1, 0xffffbfc2, 0xffffbfc3,
866 0xffffbfc0, 0xffffbfc1, 0xffffbfc2, 0xffffbfc3,
867 0xffffbfc1, 0xffffbfc2, 0xffffbfc3, 0xffffff82,
868 0xffffbfc1, 0xffffbfc2, 0xffffff81, 0xffffff82,
869 0xffffbfc2, 0xffffff81, 0xffffff82, 0xffffff83,
870 0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
871 0xffffff81, 0xffffff82, 0xffffff83, 0xffffffb2,
872 0xffffff81, 0xffffff82, 0xffffffb1, 0xffffffc0,
873 0xffffff82, 0xffffffb1, 0xffffffc0, 0xffffffc1,
874 0xffffffb0, 0xffffffbf, 0xffffffc0, 0xffffffc1,
875 0xffffffbf, 0xffffffc0, 0xffffffc1, 0xfffffff0,
876 0xffffffc0, 0xffffffc1, 0xffffffc2, 0xfffffff1,
877 0xffffffc0, 0xffffffc1, 0xffffffc2, 0xfffffff1,
878 0xffffffc1, 0xffffffc2, 0xffffffc3, 0x00000000,
879 0xffffffc1, 0xffffffc2, 0xffffffd2, 0x0000002f,
880 0xffffffc2, 0xffffffd1, 0x00000000, 0x0000002f,
881 0xffffffd1, 0x00000000, 0x00000001, 0x00000030,
882 0xffffffff, 0x00000000, 0x00000001, 0x00003fef,
883 0x00000000, 0x00000001, 0x00003fc0, 0x00003fef,
884 0x00000000, 0x00003fc0, 0x00003fc1, 0x00003ff0,
885 0x00003fbf, 0x00003fc0, 0x00003fc1, 0x1999998a,
886 0x00003fc0, 0x00003fc1, 0x1999995b, 0x2aaaaa9b,
887 0x00003fc0, 0x1999995b, 0x2aaaaa6c, 0x3fffffef,
888 0x1999995a, 0x2aaaaa6c, 0x3fffffc0, 0x3fffffef,
889 0x2aaaaa6b, 0x3fffffc0, 0x3fffffc1, 0x3ffffff0,
890 0x3fffffbf, 0x3fffffc0, 0x3fffffc1, 0xbffffff0,
891 0x3fffffc0, 0x3fffffc1, 0xbfffffc2, 0xbffffff1,
892 0x3fffffc0, 0xbfffffc1, 0xbfffffc2, 0xd5555545,
893 0xbfffffc1, 0xbfffffc2, 0xd5555517, 0xe6666656,
894 0xbfffffc1, 0xd5555516, 0xe6666628, 0xffffbff0,
895 0xd5555516, 0xe6666627, 0xffffbfc2, 0xffffbff1,
896 0xe6666627, 0xffffbfc1, 0xffffbfc2, 0xffffbff1,
897 0xffffbfc1, 0xffffbfc2, 0xffffbfc3, 0xffffbff2,
898 0xffffbfc1, 0xffffbfc2, 0xffffbfc3, 0xffffffb0,
899 0xffffbfc2, 0xffffbfc3, 0xffffff82, 0xffffffb1,
900 0xffffbfc2, 0xffffff81, 0xffffff82, 0xffffffb1,
901 0xffffff81, 0xffffff82, 0xffffff83, 0xffffffb2,
902 0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
903 0xffffff82, 0xffffff83, 0xffffffb2, 0xffffffef,
904 0xffffff82, 0xffffffb1, 0xffffffc0, 0xffffffef,
905 0xffffffb1, 0xffffffc0, 0xffffffc1, 0xfffffff0,
906 0xffffffc0, 0xffffffc1, 0xfffffff0, 0xffffffff,
907 0xffffffc0, 0xffffffc1, 0xfffffff0, 0xffffffff,
908 0xffffffc1, 0xffffffc2, 0xfffffff1, 0x00000000,
909 0xffffffc1, 0xffffffc2, 0xfffffff1, 0x0000000f,
910 0xffffffc2, 0xffffffc3, 0x00000000, 0x0000003d,
911 0xffffffc2, 0xffffffd2, 0x0000002f, 0x0000003e,
912 0xffffffd1, 0x00000000, 0x0000002f, 0x0000003e,
913 0x00000000, 0x00000001, 0x00000030, 0x00003ffd,
914 0x00000000, 0x00000001, 0x00003fef, 0x00003ffe,
915 0x00000001, 0x00003fc0, 0x00003fef, 0x00003ffe,
916 0x00003fc0, 0x00003fc1, 0x00003ff0, 0x19999998,
917 0x00003fc0, 0x00003fc1, 0x1999998a, 0x2aaaaaa9,
918 0x00003fc1, 0x1999995b, 0x2aaaaa9b, 0x3ffffffd,
919 0x1999995b, 0x2aaaaa6c, 0x3fffffef, 0x3ffffffe,
920 0x2aaaaa6c, 0x3fffffc0, 0x3fffffef, 0x3ffffffe,
921 0x3fffffc0, 0x3fffffc1, 0x3ffffff0, 0xbfffffff,
922 0x3fffffc0, 0x3fffffc1, 0xbffffff0, 0xbfffffff,
923 0x3fffffc1, 0xbfffffc2, 0xbffffff1, 0xd5555554,
924 0xbfffffc1, 0xbfffffc2, 0xd5555545, 0xe6666665,
925 0xbfffffc2, 0xd5555517, 0xe6666656, 0xffffbfff,
926 0xd5555516, 0xe6666628, 0xffffbff0, 0xffffbfff,
927 0xe6666627, 0xffffbfc2, 0xffffbff1, 0xffffc000,
928 0xffffbfc1, 0xffffbfc2, 0xffffbff1, 0xffffc000,
929 0xffffbfc2, 0xffffbfc3, 0xffffbff2, 0xffffffbf,
930 0xffffbfc2, 0xffffbfc3, 0xffffffb0, 0xffffffbf,
931 0xffffbfc3, 0xffffff82, 0xffffffb1, 0xffffffc0,
932 0xffffff81, 0xffffff82, 0xffffffb1, 0xffffffc0,
933 0xffffff82, 0xffffff83, 0xffffffb2, 0xffffffef,
934 0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
935 0xffffff83, 0xffffffb2, 0xffffffef, 0xfffffffe,
936 0xffffffb1, 0xffffffc0, 0xffffffef, 0xfffffffe,
937 0xffffffc0, 0xffffffef, 0xfffffffe, 0xffffffff,
938 0xffffffc1, 0xfffffff0, 0xffffffff, 0x00000000,
939 0xffffffc1, 0xfffffff0, 0xffffffff, 0x00000000,
940 0xffffffc2, 0xfffffff1, 0x00000000, 0x0000000f,
941 0xffffffc2, 0xfffffff1, 0x0000000f, 0x0000003e,
942 0xffffffc3, 0x00000000, 0x0000003d, 0x0000003e,
943 0xffffffd2, 0x0000002f, 0x0000003e, 0x0000003f,
944 0x00000000, 0x0000002f, 0x0000003e, 0x00003ffe,
945 0x00000001, 0x00000030, 0x00003ffd, 0x00003ffe,
946 0x00000001, 0x00003fef, 0x00003ffe, 0x00003fff,
947 0x00003fc0, 0x00003fef, 0x00003ffe, 0x19999999,
948 0x00003fc1, 0x00003ff0, 0x19999998, 0x2aaaaaaa,
949 0x00003fc1, 0x1999998a, 0x2aaaaaa9, 0x3ffffffe,
950 0x1999995b, 0x2aaaaa9b, 0x3ffffffd, 0x3ffffffe,
951 0x2aaaaa6c, 0x3fffffef, 0x3ffffffe, 0x3fffffff,
952 0x3fffffc0, 0x3fffffef, 0x3ffffffe, 0xbfffffff,
953 0x3fffffc1, 0x3ffffff0, 0xbfffffff, 0xc0000000,
954 0x3fffffc1, 0xbffffff0, 0xbfffffff, 0xd5555554,
955 0xbfffffc2, 0xbffffff1, 0xd5555554, 0xe6666665,
956 0xbfffffc2, 0xd5555545, 0xe6666665, 0xffffbfff,
957 0xd5555517, 0xe6666656, 0xffffbfff, 0xffffc000,
958 0xe6666628, 0xffffbff0, 0xffffbfff, 0xffffc000,
959 0xffffbfc2, 0xffffbff1, 0xffffc000, 0xffffc001,
960 0xffffbfc2, 0xffffbff1, 0xffffc000, 0xffffffbf,
961 0xffffbfc3, 0xffffbff2, 0xffffffbf, 0xffffffc0,
962 0xffffbfc3, 0xffffffb0, 0xffffffbf, 0xffffffc0,
963 0xffffff82, 0xffffffb1, 0xffffffc0, 0xffffffc1,
964 0xffffff82, 0xffffffb1, 0xffffffc0, 0xffffffef,
965 0xffffff83, 0xffffffb2, 0xffffffef, 0xfffffffe,
966 0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
967 0xffffffb2, 0xffffffef, 0xfffffffe, 0xffffffff,
968 0xffffffef, 0xfffffffe, 0xffffffff, 0x00000000,
969 0xffffffef, 0xfffffffe, 0xffffffff, 0x00000000,
970 0xfffffff0, 0xffffffff, 0x00000000, 0x00000001,
971 0xfffffff0, 0xffffffff, 0x00000000, 0x00000010,
972 0xfffffff1, 0x00000000, 0x0000000f, 0x0000003e,
973 0xfffffff1, 0x0000000f, 0x0000003e, 0x0000003f,
974 0x00000000, 0x0000003d, 0x0000003e, 0x0000003f,
975 0x0000002f, 0x0000003e, 0x0000003f, 0x00003ffe,
976 0x0000002f, 0x0000003e, 0x00003ffe, 0x00003fff,
977 0x00000030, 0x00003ffd, 0x00003ffe, 0x00003fff,
978 0x00003fef, 0x00003ffe, 0x00003fff, 0x19999999,
979 0x00003fef, 0x00003ffe, 0x19999999, 0x2aaaaaaa,
980 0x00003ff0, 0x19999998, 0x2aaaaaaa, 0x3ffffffe,
981 0x1999998a, 0x2aaaaaa9, 0x3ffffffe, 0x3fffffff,
982 0x2aaaaa9b, 0x3ffffffd, 0x3ffffffe, 0x3fffffff,
983 0x3fffffef, 0x3ffffffe, 0x3fffffff, 0xc0000000,
984 0x3fffffef, 0x3ffffffe, 0xbfffffff, 0xc0000000,
985 0x3ffffff0, 0xbfffffff, 0xc0000000, 0xd5555555,
986 0xbffffff0, 0xbfffffff, 0xd5555554, 0xe6666666,
987 0xbffffff1, 0xd5555554, 0xe6666665, 0xffffc000,
988 0xd5555545, 0xe6666665, 0xffffbfff, 0xffffc000,
989 0xe6666656, 0xffffbfff, 0xffffc000, 0xffffc001,
990 0xffffbff0, 0xffffbfff, 0xffffc000, 0xffffc001,
991 0xffffbff1, 0xffffc000, 0xffffc001, 0xffffffc0,
992 0xffffbff1, 0xffffc000, 0xffffffbf, 0xffffffc0,
993 0xffffbff2, 0xffffffbf, 0xffffffc0, 0xffffffc1,
994 0xffffffb0, 0xffffffbf, 0xffffffc0, 0xffffffc1,
995 0xffffffb1, 0xffffffc0, 0xffffffc1, 0xfffffff0,
996 0xffffffb1, 0xffffffc0, 0xffffffef, 0xfffffffe,
997 0xffffffb2, 0xffffffef, 0xfffffffe, 0xffffffff,
998 0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
999};
1000const unsigned kExpectedCount_NEON_srhadd_4S = 961;
1001
1002#endif // VIXL_SIM_SRHADD_4S_TRACE_AARCH64_H_