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_
1003