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_URHADD_2S_TRACE_AARCH64_H_
35#define VIXL_SIM_URHADD_2S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_urhadd_2S[] = {
38  0x00007e00, 0x00007f00, 0x00000000, 0x00000000,
39  0x00007e80, 0x00403e00, 0x00000000, 0x00000000,
40  0x00403d80, 0x00003f80, 0x00000000, 0x00000000,
41  0x00003f00, 0x00003f81, 0x00000000, 0x00000000,
42  0x00003f01, 0x00003f81, 0x00000000, 0x00000000,
43  0x00003f01, 0x00003f90, 0x00000000, 0x00000000,
44  0x00003f10, 0x00003fbf, 0x00000000, 0x00000000,
45  0x00003f3f, 0x00003fbf, 0x00000000, 0x00000000,
46  0x00003f3f, 0x00003fc0, 0x00000000, 0x00000000,
47  0x00003f40, 0x00007f7f, 0x00000000, 0x00000000,
48  0x00007eff, 0x00007f7f, 0x00000000, 0x00000000,
49  0x00007eff, 0x00007f80, 0x00000000, 0x00000000,
50  0x00007f00, 0x1999d91a, 0x00000000, 0x00000000,
51  0x1999d89a, 0x2aaaea2b, 0x00000000, 0x00000000,
52  0x2aaae9ab, 0x40003f7f, 0x00000000, 0x00000000,
53  0x40003eff, 0x40003f7f, 0x00000000, 0x00000000,
54  0x40003eff, 0x40003f80, 0x00000000, 0x00000000,
55  0x40003f00, 0x40003f80, 0x00000000, 0x00000000,
56  0x40003f00, 0x40003f81, 0x00000000, 0x00000000,
57  0x40003f01, 0x555594d5, 0x00000000, 0x00000000,
58  0x55559455, 0x6666a5e6, 0x00000000, 0x00000000,
59  0x6666a566, 0x7fffff80, 0x00000000, 0x00000000,
60  0x7fffff00, 0x7fffff81, 0x00000000, 0x00000000,
61  0x7fffff01, 0x7fffff81, 0x00000000, 0x00000000,
62  0x7fffff01, 0x7fffff82, 0x00000000, 0x00000000,
63  0x7fffff02, 0x80003f40, 0x00000000, 0x00000000,
64  0x80003ec0, 0x80003f41, 0x00000000, 0x00000000,
65  0x80003ec1, 0x80003f41, 0x00000000, 0x00000000,
66  0x80003ec1, 0x80003f42, 0x00000000, 0x00000000,
67  0x80003ec2, 0x80003f70, 0x00000000, 0x00000000,
68  0x80003ef0, 0x80003f7f, 0x00000000, 0x00000000,
69  0x80003f7f, 0x803ffe7f, 0x00000000, 0x00000000,
70  0x80003f7f, 0x803ffe80, 0x00000000, 0x00000000,
71  0x80003f80, 0x003ffe80, 0x00000000, 0x00000000,
72  0x00003f80, 0x003ffe81, 0x00000000, 0x00000000,
73  0x00003f81, 0x003ffe81, 0x00000000, 0x00000000,
74  0x00003f81, 0x003ffe90, 0x00000000, 0x00000000,
75  0x00003f90, 0x003ffebf, 0x00000000, 0x00000000,
76  0x00003fbf, 0x003ffebf, 0x00000000, 0x00000000,
77  0x00003fbf, 0x003ffec0, 0x00000000, 0x00000000,
78  0x00003fc0, 0x00403e7f, 0x00000000, 0x00000000,
79  0x00007f7f, 0x00403e7f, 0x00000000, 0x00000000,
80  0x00007f7f, 0x00403e80, 0x00000000, 0x00000000,
81  0x00007f80, 0x19d9981a, 0x00000000, 0x00000000,
82  0x1999d91a, 0x2aeaa92b, 0x00000000, 0x00000000,
83  0x2aaaea2b, 0x403ffe7f, 0x00000000, 0x00000000,
84  0x40003f7f, 0x403ffe7f, 0x00000000, 0x00000000,
85  0x40003f7f, 0x403ffe80, 0x00000000, 0x00000000,
86  0x40003f80, 0x403ffe80, 0x00000000, 0x00000000,
87  0x40003f80, 0x403ffe81, 0x00000000, 0x00000000,
88  0x40003f81, 0x559553d5, 0x00000000, 0x00000000,
89  0x555594d5, 0x66a664e6, 0x00000000, 0x00000000,
90  0x6666a5e6, 0x803fbe80, 0x00000000, 0x00000000,
91  0x7fffff80, 0x803fbe81, 0x00000000, 0x00000000,
92  0x7fffff81, 0x803fbe81, 0x00000000, 0x00000000,
93  0x7fffff81, 0x803fbe82, 0x00000000, 0x00000000,
94  0x7fffff82, 0x803ffe40, 0x00000000, 0x00000000,
95  0x80003f40, 0x803ffe41, 0x00000000, 0x00000000,
96  0x80003f41, 0x803ffe41, 0x00000000, 0x00000000,
97  0x80003f41, 0x803ffe42, 0x00000000, 0x00000000,
98  0x80003f42, 0x803ffe70, 0x00000000, 0x00000000,
99  0x80003f70, 0x803ffe7f, 0x00000000, 0x00000000,
100  0x803ffe7f, 0x7fffffff, 0x00000000, 0x00000000,
101  0x803ffe7f, 0x80000000, 0x00000000, 0x00000000,
102  0x803ffe80, 0x00000000, 0x00000000, 0x00000000,
103  0x003ffe80, 0x00000001, 0x00000000, 0x00000000,
104  0x003ffe81, 0x00000001, 0x00000000, 0x00000000,
105  0x003ffe81, 0x00000010, 0x00000000, 0x00000000,
106  0x003ffe90, 0x0000003f, 0x00000000, 0x00000000,
107  0x003ffebf, 0x0000003f, 0x00000000, 0x00000000,
108  0x003ffebf, 0x00000040, 0x00000000, 0x00000000,
109  0x003ffec0, 0x00003fff, 0x00000000, 0x00000000,
110  0x00403e7f, 0x00003fff, 0x00000000, 0x00000000,
111  0x00403e7f, 0x00004000, 0x00000000, 0x00000000,
112  0x00403e80, 0x1999999a, 0x00000000, 0x00000000,
113  0x19d9981a, 0x2aaaaaab, 0x00000000, 0x00000000,
114  0x2aeaa92b, 0x3fffffff, 0x00000000, 0x00000000,
115  0x403ffe7f, 0x3fffffff, 0x00000000, 0x00000000,
116  0x403ffe7f, 0x40000000, 0x00000000, 0x00000000,
117  0x403ffe80, 0x40000000, 0x00000000, 0x00000000,
118  0x403ffe80, 0x40000001, 0x00000000, 0x00000000,
119  0x403ffe81, 0x55555555, 0x00000000, 0x00000000,
120  0x559553d5, 0x66666666, 0x00000000, 0x00000000,
121  0x66a664e6, 0x7fffc000, 0x00000000, 0x00000000,
122  0x803fbe80, 0x7fffc001, 0x00000000, 0x00000000,
123  0x803fbe81, 0x7fffc001, 0x00000000, 0x00000000,
124  0x803fbe81, 0x7fffc002, 0x00000000, 0x00000000,
125  0x803fbe82, 0x7fffffc0, 0x00000000, 0x00000000,
126  0x803ffe40, 0x7fffffc1, 0x00000000, 0x00000000,
127  0x803ffe41, 0x7fffffc1, 0x00000000, 0x00000000,
128  0x803ffe41, 0x7fffffc2, 0x00000000, 0x00000000,
129  0x803ffe42, 0x7ffffff0, 0x00000000, 0x00000000,
130  0x803ffe70, 0x7fffffff, 0x00000000, 0x00000000,
131  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
132  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
133  0x80000000, 0x00000001, 0x00000000, 0x00000000,
134  0x00000000, 0x00000001, 0x00000000, 0x00000000,
135  0x00000001, 0x00000002, 0x00000000, 0x00000000,
136  0x00000001, 0x00000011, 0x00000000, 0x00000000,
137  0x00000010, 0x0000003f, 0x00000000, 0x00000000,
138  0x0000003f, 0x00000040, 0x00000000, 0x00000000,
139  0x0000003f, 0x00000040, 0x00000000, 0x00000000,
140  0x00000040, 0x00003fff, 0x00000000, 0x00000000,
141  0x00003fff, 0x00004000, 0x00000000, 0x00000000,
142  0x00003fff, 0x00004000, 0x00000000, 0x00000000,
143  0x00004000, 0x1999999a, 0x00000000, 0x00000000,
144  0x1999999a, 0x2aaaaaab, 0x00000000, 0x00000000,
145  0x2aaaaaab, 0x3fffffff, 0x00000000, 0x00000000,
146  0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
147  0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
148  0x40000000, 0x40000001, 0x00000000, 0x00000000,
149  0x40000000, 0x40000001, 0x00000000, 0x00000000,
150  0x40000001, 0x55555556, 0x00000000, 0x00000000,
151  0x55555555, 0x66666667, 0x00000000, 0x00000000,
152  0x66666666, 0x7fffc001, 0x00000000, 0x00000000,
153  0x7fffc000, 0x7fffc001, 0x00000000, 0x00000000,
154  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
155  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
156  0x7fffc002, 0x7fffffc1, 0x00000000, 0x00000000,
157  0x7fffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
158  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
159  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
160  0x7fffffc2, 0x7ffffff1, 0x00000000, 0x00000000,
161  0x7ffffff0, 0x7fffffff, 0x00000000, 0x00000000,
162  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
163  0x80000000, 0x80000001, 0x00000000, 0x00000000,
164  0x80000000, 0x00000001, 0x00000000, 0x00000000,
165  0x00000001, 0x00000002, 0x00000000, 0x00000000,
166  0x00000001, 0x00000002, 0x00000000, 0x00000000,
167  0x00000002, 0x00000011, 0x00000000, 0x00000000,
168  0x00000011, 0x00000040, 0x00000000, 0x00000000,
169  0x0000003f, 0x00000040, 0x00000000, 0x00000000,
170  0x00000040, 0x00000041, 0x00000000, 0x00000000,
171  0x00000040, 0x00004000, 0x00000000, 0x00000000,
172  0x00003fff, 0x00004000, 0x00000000, 0x00000000,
173  0x00004000, 0x00004001, 0x00000000, 0x00000000,
174  0x00004000, 0x1999999b, 0x00000000, 0x00000000,
175  0x1999999a, 0x2aaaaaac, 0x00000000, 0x00000000,
176  0x2aaaaaab, 0x40000000, 0x00000000, 0x00000000,
177  0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
178  0x40000000, 0x40000001, 0x00000000, 0x00000000,
179  0x40000000, 0x40000001, 0x00000000, 0x00000000,
180  0x40000001, 0x40000002, 0x00000000, 0x00000000,
181  0x40000001, 0x55555556, 0x00000000, 0x00000000,
182  0x55555556, 0x66666667, 0x00000000, 0x00000000,
183  0x66666667, 0x7fffc001, 0x00000000, 0x00000000,
184  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
185  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
186  0x7fffc002, 0x7fffc003, 0x00000000, 0x00000000,
187  0x7fffc002, 0x7fffffc1, 0x00000000, 0x00000000,
188  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
189  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
190  0x7fffffc2, 0x7fffffc3, 0x00000000, 0x00000000,
191  0x7fffffc2, 0x7ffffff1, 0x00000000, 0x00000000,
192  0x7ffffff1, 0x80000000, 0x00000000, 0x00000000,
193  0x80000000, 0x8000000f, 0x00000000, 0x00000000,
194  0x80000000, 0x80000010, 0x00000000, 0x00000000,
195  0x80000001, 0x00000010, 0x00000000, 0x00000000,
196  0x00000001, 0x00000011, 0x00000000, 0x00000000,
197  0x00000002, 0x00000011, 0x00000000, 0x00000000,
198  0x00000002, 0x00000020, 0x00000000, 0x00000000,
199  0x00000011, 0x0000004f, 0x00000000, 0x00000000,
200  0x00000040, 0x0000004f, 0x00000000, 0x00000000,
201  0x00000040, 0x00000050, 0x00000000, 0x00000000,
202  0x00000041, 0x0000400f, 0x00000000, 0x00000000,
203  0x00004000, 0x0000400f, 0x00000000, 0x00000000,
204  0x00004000, 0x00004010, 0x00000000, 0x00000000,
205  0x00004001, 0x199999aa, 0x00000000, 0x00000000,
206  0x1999999b, 0x2aaaaabb, 0x00000000, 0x00000000,
207  0x2aaaaaac, 0x4000000f, 0x00000000, 0x00000000,
208  0x40000000, 0x4000000f, 0x00000000, 0x00000000,
209  0x40000000, 0x40000010, 0x00000000, 0x00000000,
210  0x40000001, 0x40000010, 0x00000000, 0x00000000,
211  0x40000001, 0x40000011, 0x00000000, 0x00000000,
212  0x40000002, 0x55555565, 0x00000000, 0x00000000,
213  0x55555556, 0x66666676, 0x00000000, 0x00000000,
214  0x66666667, 0x7fffc010, 0x00000000, 0x00000000,
215  0x7fffc001, 0x7fffc011, 0x00000000, 0x00000000,
216  0x7fffc002, 0x7fffc011, 0x00000000, 0x00000000,
217  0x7fffc002, 0x7fffc012, 0x00000000, 0x00000000,
218  0x7fffc003, 0x7fffffd0, 0x00000000, 0x00000000,
219  0x7fffffc1, 0x7fffffd1, 0x00000000, 0x00000000,
220  0x7fffffc2, 0x7fffffd1, 0x00000000, 0x00000000,
221  0x7fffffc2, 0x7fffffd2, 0x00000000, 0x00000000,
222  0x7fffffc3, 0x80000000, 0x00000000, 0x00000000,
223  0x7ffffff1, 0x8000000f, 0x00000000, 0x00000000,
224  0x8000000f, 0x8000003e, 0x00000000, 0x00000000,
225  0x8000000f, 0x8000003e, 0x00000000, 0x00000000,
226  0x80000010, 0x0000003f, 0x00000000, 0x00000000,
227  0x00000010, 0x0000003f, 0x00000000, 0x00000000,
228  0x00000011, 0x00000040, 0x00000000, 0x00000000,
229  0x00000011, 0x0000004f, 0x00000000, 0x00000000,
230  0x00000020, 0x0000007d, 0x00000000, 0x00000000,
231  0x0000004f, 0x0000007e, 0x00000000, 0x00000000,
232  0x0000004f, 0x0000007e, 0x00000000, 0x00000000,
233  0x00000050, 0x0000403d, 0x00000000, 0x00000000,
234  0x0000400f, 0x0000403e, 0x00000000, 0x00000000,
235  0x0000400f, 0x0000403e, 0x00000000, 0x00000000,
236  0x00004010, 0x199999d8, 0x00000000, 0x00000000,
237  0x199999aa, 0x2aaaaae9, 0x00000000, 0x00000000,
238  0x2aaaaabb, 0x4000003d, 0x00000000, 0x00000000,
239  0x4000000f, 0x4000003e, 0x00000000, 0x00000000,
240  0x4000000f, 0x4000003e, 0x00000000, 0x00000000,
241  0x40000010, 0x4000003f, 0x00000000, 0x00000000,
242  0x40000010, 0x4000003f, 0x00000000, 0x00000000,
243  0x40000011, 0x55555594, 0x00000000, 0x00000000,
244  0x55555565, 0x666666a5, 0x00000000, 0x00000000,
245  0x66666676, 0x7fffc03f, 0x00000000, 0x00000000,
246  0x7fffc010, 0x7fffc03f, 0x00000000, 0x00000000,
247  0x7fffc011, 0x7fffc040, 0x00000000, 0x00000000,
248  0x7fffc011, 0x7fffc040, 0x00000000, 0x00000000,
249  0x7fffc012, 0x7fffffff, 0x00000000, 0x00000000,
250  0x7fffffd0, 0x7fffffff, 0x00000000, 0x00000000,
251  0x7fffffd1, 0x80000000, 0x00000000, 0x00000000,
252  0x7fffffd1, 0x80000000, 0x00000000, 0x00000000,
253  0x7fffffd2, 0x8000002f, 0x00000000, 0x00000000,
254  0x80000000, 0x8000003d, 0x00000000, 0x00000000,
255  0x8000003d, 0x8000003e, 0x00000000, 0x00000000,
256  0x8000003e, 0x8000003f, 0x00000000, 0x00000000,
257  0x8000003e, 0x0000003f, 0x00000000, 0x00000000,
258  0x0000003f, 0x00000040, 0x00000000, 0x00000000,
259  0x0000003f, 0x00000040, 0x00000000, 0x00000000,
260  0x00000040, 0x0000004f, 0x00000000, 0x00000000,
261  0x0000004f, 0x0000007e, 0x00000000, 0x00000000,
262  0x0000007d, 0x0000007e, 0x00000000, 0x00000000,
263  0x0000007e, 0x0000007f, 0x00000000, 0x00000000,
264  0x0000007e, 0x0000403e, 0x00000000, 0x00000000,
265  0x0000403d, 0x0000403e, 0x00000000, 0x00000000,
266  0x0000403e, 0x0000403f, 0x00000000, 0x00000000,
267  0x0000403e, 0x199999d9, 0x00000000, 0x00000000,
268  0x199999d8, 0x2aaaaaea, 0x00000000, 0x00000000,
269  0x2aaaaae9, 0x4000003e, 0x00000000, 0x00000000,
270  0x4000003d, 0x4000003e, 0x00000000, 0x00000000,
271  0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
272  0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
273  0x4000003f, 0x40000040, 0x00000000, 0x00000000,
274  0x4000003f, 0x55555594, 0x00000000, 0x00000000,
275  0x55555594, 0x666666a5, 0x00000000, 0x00000000,
276  0x666666a5, 0x7fffc03f, 0x00000000, 0x00000000,
277  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
278  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
279  0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
280  0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
281  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
282  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
283  0x80000000, 0x80000001, 0x00000000, 0x00000000,
284  0x80000000, 0x8000002f, 0x00000000, 0x00000000,
285  0x8000002f, 0x8000003e, 0x00000000, 0x00000000,
286  0x8000003e, 0x8000003f, 0x00000000, 0x00000000,
287  0x8000003e, 0x8000003f, 0x00000000, 0x00000000,
288  0x8000003f, 0x00000040, 0x00000000, 0x00000000,
289  0x0000003f, 0x00000040, 0x00000000, 0x00000000,
290  0x00000040, 0x00000041, 0x00000000, 0x00000000,
291  0x00000040, 0x00000050, 0x00000000, 0x00000000,
292  0x0000004f, 0x0000007e, 0x00000000, 0x00000000,
293  0x0000007e, 0x0000007f, 0x00000000, 0x00000000,
294  0x0000007e, 0x0000007f, 0x00000000, 0x00000000,
295  0x0000007f, 0x0000403e, 0x00000000, 0x00000000,
296  0x0000403e, 0x0000403f, 0x00000000, 0x00000000,
297  0x0000403e, 0x0000403f, 0x00000000, 0x00000000,
298  0x0000403f, 0x199999d9, 0x00000000, 0x00000000,
299  0x199999d9, 0x2aaaaaea, 0x00000000, 0x00000000,
300  0x2aaaaaea, 0x4000003e, 0x00000000, 0x00000000,
301  0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
302  0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
303  0x4000003f, 0x40000040, 0x00000000, 0x00000000,
304  0x4000003f, 0x40000040, 0x00000000, 0x00000000,
305  0x40000040, 0x55555595, 0x00000000, 0x00000000,
306  0x55555594, 0x666666a6, 0x00000000, 0x00000000,
307  0x666666a5, 0x7fffc040, 0x00000000, 0x00000000,
308  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
309  0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
310  0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
311  0x7fffc041, 0x80000000, 0x00000000, 0x00000000,
312  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
313  0x80000000, 0x80000001, 0x00000000, 0x00000000,
314  0x80000000, 0x80000001, 0x00000000, 0x00000000,
315  0x80000001, 0x80000030, 0x00000000, 0x00000000,
316  0x8000002f, 0x8000003e, 0x00000000, 0x00000000,
317  0x8000003e, 0x80003ffe, 0x00000000, 0x00000000,
318  0x8000003f, 0x80003ffe, 0x00000000, 0x00000000,
319  0x8000003f, 0x00003fff, 0x00000000, 0x00000000,
320  0x00000040, 0x00003fff, 0x00000000, 0x00000000,
321  0x00000040, 0x00004000, 0x00000000, 0x00000000,
322  0x00000041, 0x0000400f, 0x00000000, 0x00000000,
323  0x00000050, 0x0000403d, 0x00000000, 0x00000000,
324  0x0000007e, 0x0000403e, 0x00000000, 0x00000000,
325  0x0000007f, 0x0000403e, 0x00000000, 0x00000000,
326  0x0000007f, 0x00007ffd, 0x00000000, 0x00000000,
327  0x0000403e, 0x00007ffe, 0x00000000, 0x00000000,
328  0x0000403f, 0x00007ffe, 0x00000000, 0x00000000,
329  0x0000403f, 0x1999d998, 0x00000000, 0x00000000,
330  0x199999d9, 0x2aaaeaa9, 0x00000000, 0x00000000,
331  0x2aaaaaea, 0x40003ffd, 0x00000000, 0x00000000,
332  0x4000003e, 0x40003ffe, 0x00000000, 0x00000000,
333  0x4000003f, 0x40003ffe, 0x00000000, 0x00000000,
334  0x4000003f, 0x40003fff, 0x00000000, 0x00000000,
335  0x40000040, 0x40003fff, 0x00000000, 0x00000000,
336  0x40000040, 0x55559554, 0x00000000, 0x00000000,
337  0x55555595, 0x6666a665, 0x00000000, 0x00000000,
338  0x666666a6, 0x7fffffff, 0x00000000, 0x00000000,
339  0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
340  0x7fffc040, 0x80000000, 0x00000000, 0x00000000,
341  0x7fffc041, 0x80000000, 0x00000000, 0x00000000,
342  0x7fffc041, 0x80003fbf, 0x00000000, 0x00000000,
343  0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
344  0x80000000, 0x80003fc0, 0x00000000, 0x00000000,
345  0x80000001, 0x80003fc0, 0x00000000, 0x00000000,
346  0x80000001, 0x80003fef, 0x00000000, 0x00000000,
347  0x80000030, 0x80003ffd, 0x00000000, 0x00000000,
348  0x80003ffd, 0x80003ffe, 0x00000000, 0x00000000,
349  0x80003ffe, 0x80003fff, 0x00000000, 0x00000000,
350  0x80003ffe, 0x00003fff, 0x00000000, 0x00000000,
351  0x00003fff, 0x00004000, 0x00000000, 0x00000000,
352  0x00003fff, 0x00004000, 0x00000000, 0x00000000,
353  0x00004000, 0x0000400f, 0x00000000, 0x00000000,
354  0x0000400f, 0x0000403e, 0x00000000, 0x00000000,
355  0x0000403d, 0x0000403e, 0x00000000, 0x00000000,
356  0x0000403e, 0x0000403f, 0x00000000, 0x00000000,
357  0x0000403e, 0x00007ffe, 0x00000000, 0x00000000,
358  0x00007ffd, 0x00007ffe, 0x00000000, 0x00000000,
359  0x00007ffe, 0x00007fff, 0x00000000, 0x00000000,
360  0x00007ffe, 0x1999d999, 0x00000000, 0x00000000,
361  0x1999d998, 0x2aaaeaaa, 0x00000000, 0x00000000,
362  0x2aaaeaa9, 0x40003ffe, 0x00000000, 0x00000000,
363  0x40003ffd, 0x40003ffe, 0x00000000, 0x00000000,
364  0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
365  0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
366  0x40003fff, 0x40004000, 0x00000000, 0x00000000,
367  0x40003fff, 0x55559554, 0x00000000, 0x00000000,
368  0x55559554, 0x6666a665, 0x00000000, 0x00000000,
369  0x6666a665, 0x7fffffff, 0x00000000, 0x00000000,
370  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
371  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
372  0x80000000, 0x80000001, 0x00000000, 0x00000000,
373  0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
374  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
375  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
376  0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
377  0x80003fc0, 0x80003fef, 0x00000000, 0x00000000,
378  0x80003fef, 0x80003ffe, 0x00000000, 0x00000000,
379  0x80003ffe, 0x80003fff, 0x00000000, 0x00000000,
380  0x80003ffe, 0x80003fff, 0x00000000, 0x00000000,
381  0x80003fff, 0x00004000, 0x00000000, 0x00000000,
382  0x00003fff, 0x00004000, 0x00000000, 0x00000000,
383  0x00004000, 0x00004001, 0x00000000, 0x00000000,
384  0x00004000, 0x00004010, 0x00000000, 0x00000000,
385  0x0000400f, 0x0000403e, 0x00000000, 0x00000000,
386  0x0000403e, 0x0000403f, 0x00000000, 0x00000000,
387  0x0000403e, 0x0000403f, 0x00000000, 0x00000000,
388  0x0000403f, 0x00007ffe, 0x00000000, 0x00000000,
389  0x00007ffe, 0x00007fff, 0x00000000, 0x00000000,
390  0x00007ffe, 0x00007fff, 0x00000000, 0x00000000,
391  0x00007fff, 0x1999d999, 0x00000000, 0x00000000,
392  0x1999d999, 0x2aaaeaaa, 0x00000000, 0x00000000,
393  0x2aaaeaaa, 0x40003ffe, 0x00000000, 0x00000000,
394  0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
395  0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
396  0x40003fff, 0x40004000, 0x00000000, 0x00000000,
397  0x40003fff, 0x40004000, 0x00000000, 0x00000000,
398  0x40004000, 0x55559555, 0x00000000, 0x00000000,
399  0x55559554, 0x6666a666, 0x00000000, 0x00000000,
400  0x6666a665, 0x80000000, 0x00000000, 0x00000000,
401  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
402  0x80000000, 0x80000001, 0x00000000, 0x00000000,
403  0x80000000, 0x80000001, 0x00000000, 0x00000000,
404  0x80000001, 0x80003fc0, 0x00000000, 0x00000000,
405  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
406  0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
407  0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
408  0x80003fc1, 0x80003ff0, 0x00000000, 0x00000000,
409  0x80003fef, 0x80003ffe, 0x00000000, 0x00000000,
410  0x80003ffe, 0x99999999, 0x00000000, 0x00000000,
411  0x80003fff, 0x99999999, 0x00000000, 0x00000000,
412  0x80003fff, 0x1999999a, 0x00000000, 0x00000000,
413  0x00004000, 0x1999999a, 0x00000000, 0x00000000,
414  0x00004000, 0x1999999b, 0x00000000, 0x00000000,
415  0x00004001, 0x199999aa, 0x00000000, 0x00000000,
416  0x00004010, 0x199999d8, 0x00000000, 0x00000000,
417  0x0000403e, 0x199999d9, 0x00000000, 0x00000000,
418  0x0000403f, 0x199999d9, 0x00000000, 0x00000000,
419  0x0000403f, 0x1999d998, 0x00000000, 0x00000000,
420  0x00007ffe, 0x1999d999, 0x00000000, 0x00000000,
421  0x00007fff, 0x1999d999, 0x00000000, 0x00000000,
422  0x00007fff, 0x33333333, 0x00000000, 0x00000000,
423  0x1999d999, 0x44444444, 0x00000000, 0x00000000,
424  0x2aaaeaaa, 0x59999998, 0x00000000, 0x00000000,
425  0x40003ffe, 0x59999999, 0x00000000, 0x00000000,
426  0x40003fff, 0x59999999, 0x00000000, 0x00000000,
427  0x40003fff, 0x5999999a, 0x00000000, 0x00000000,
428  0x40004000, 0x5999999a, 0x00000000, 0x00000000,
429  0x40004000, 0x6eeeeeef, 0x00000000, 0x00000000,
430  0x55559555, 0x80000000, 0x00000000, 0x00000000,
431  0x6666a666, 0x9999599a, 0x00000000, 0x00000000,
432  0x80000000, 0x9999599a, 0x00000000, 0x00000000,
433  0x80000000, 0x9999599b, 0x00000000, 0x00000000,
434  0x80000001, 0x9999599b, 0x00000000, 0x00000000,
435  0x80000001, 0x9999995a, 0x00000000, 0x00000000,
436  0x80003fc0, 0x9999995a, 0x00000000, 0x00000000,
437  0x80003fc0, 0x9999995b, 0x00000000, 0x00000000,
438  0x80003fc1, 0x9999995b, 0x00000000, 0x00000000,
439  0x80003fc1, 0x9999998a, 0x00000000, 0x00000000,
440  0x80003ff0, 0x99999998, 0x00000000, 0x00000000,
441  0x99999998, 0xaaaaaaaa, 0x00000000, 0x00000000,
442  0x99999999, 0xaaaaaaaa, 0x00000000, 0x00000000,
443  0x99999999, 0x2aaaaaab, 0x00000000, 0x00000000,
444  0x1999999a, 0x2aaaaaab, 0x00000000, 0x00000000,
445  0x1999999a, 0x2aaaaaac, 0x00000000, 0x00000000,
446  0x1999999b, 0x2aaaaabb, 0x00000000, 0x00000000,
447  0x199999aa, 0x2aaaaae9, 0x00000000, 0x00000000,
448  0x199999d8, 0x2aaaaaea, 0x00000000, 0x00000000,
449  0x199999d9, 0x2aaaaaea, 0x00000000, 0x00000000,
450  0x199999d9, 0x2aaaeaa9, 0x00000000, 0x00000000,
451  0x1999d998, 0x2aaaeaaa, 0x00000000, 0x00000000,
452  0x1999d999, 0x2aaaeaaa, 0x00000000, 0x00000000,
453  0x1999d999, 0x44444444, 0x00000000, 0x00000000,
454  0x33333333, 0x55555555, 0x00000000, 0x00000000,
455  0x44444444, 0x6aaaaaa9, 0x00000000, 0x00000000,
456  0x59999998, 0x6aaaaaaa, 0x00000000, 0x00000000,
457  0x59999999, 0x6aaaaaaa, 0x00000000, 0x00000000,
458  0x59999999, 0x6aaaaaab, 0x00000000, 0x00000000,
459  0x5999999a, 0x6aaaaaab, 0x00000000, 0x00000000,
460  0x5999999a, 0x80000000, 0x00000000, 0x00000000,
461  0x6eeeeeef, 0x91111111, 0x00000000, 0x00000000,
462  0x80000000, 0xaaaa6aab, 0x00000000, 0x00000000,
463  0x9999599a, 0xaaaa6aab, 0x00000000, 0x00000000,
464  0x9999599a, 0xaaaa6aac, 0x00000000, 0x00000000,
465  0x9999599b, 0xaaaa6aac, 0x00000000, 0x00000000,
466  0x9999599b, 0xaaaaaa6b, 0x00000000, 0x00000000,
467  0x9999995a, 0xaaaaaa6b, 0x00000000, 0x00000000,
468  0x9999995a, 0xaaaaaa6c, 0x00000000, 0x00000000,
469  0x9999995b, 0xaaaaaa6c, 0x00000000, 0x00000000,
470  0x9999995b, 0xaaaaaa9b, 0x00000000, 0x00000000,
471  0x9999998a, 0xaaaaaaa9, 0x00000000, 0x00000000,
472  0xaaaaaaa9, 0xbffffffe, 0x00000000, 0x00000000,
473  0xaaaaaaaa, 0xbffffffe, 0x00000000, 0x00000000,
474  0xaaaaaaaa, 0x3fffffff, 0x00000000, 0x00000000,
475  0x2aaaaaab, 0x3fffffff, 0x00000000, 0x00000000,
476  0x2aaaaaab, 0x40000000, 0x00000000, 0x00000000,
477  0x2aaaaaac, 0x4000000f, 0x00000000, 0x00000000,
478  0x2aaaaabb, 0x4000003d, 0x00000000, 0x00000000,
479  0x2aaaaae9, 0x4000003e, 0x00000000, 0x00000000,
480  0x2aaaaaea, 0x4000003e, 0x00000000, 0x00000000,
481  0x2aaaaaea, 0x40003ffd, 0x00000000, 0x00000000,
482  0x2aaaeaa9, 0x40003ffe, 0x00000000, 0x00000000,
483  0x2aaaeaaa, 0x40003ffe, 0x00000000, 0x00000000,
484  0x2aaaeaaa, 0x59999998, 0x00000000, 0x00000000,
485  0x44444444, 0x6aaaaaa9, 0x00000000, 0x00000000,
486  0x55555555, 0x7ffffffd, 0x00000000, 0x00000000,
487  0x6aaaaaa9, 0x7ffffffe, 0x00000000, 0x00000000,
488  0x6aaaaaaa, 0x7ffffffe, 0x00000000, 0x00000000,
489  0x6aaaaaaa, 0x7fffffff, 0x00000000, 0x00000000,
490  0x6aaaaaab, 0x7fffffff, 0x00000000, 0x00000000,
491  0x6aaaaaab, 0x95555554, 0x00000000, 0x00000000,
492  0x80000000, 0xa6666665, 0x00000000, 0x00000000,
493  0x91111111, 0xbfffbfff, 0x00000000, 0x00000000,
494  0xaaaa6aab, 0xbfffbfff, 0x00000000, 0x00000000,
495  0xaaaa6aab, 0xbfffc000, 0x00000000, 0x00000000,
496  0xaaaa6aac, 0xbfffc000, 0x00000000, 0x00000000,
497  0xaaaa6aac, 0xbfffffbf, 0x00000000, 0x00000000,
498  0xaaaaaa6b, 0xbfffffbf, 0x00000000, 0x00000000,
499  0xaaaaaa6b, 0xbfffffc0, 0x00000000, 0x00000000,
500  0xaaaaaa6c, 0xbfffffc0, 0x00000000, 0x00000000,
501  0xaaaaaa6c, 0xbfffffef, 0x00000000, 0x00000000,
502  0xaaaaaa9b, 0xbffffffd, 0x00000000, 0x00000000,
503  0xbffffffd, 0xbffffffe, 0x00000000, 0x00000000,
504  0xbffffffe, 0xbfffffff, 0x00000000, 0x00000000,
505  0xbffffffe, 0x3fffffff, 0x00000000, 0x00000000,
506  0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
507  0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
508  0x40000000, 0x4000000f, 0x00000000, 0x00000000,
509  0x4000000f, 0x4000003e, 0x00000000, 0x00000000,
510  0x4000003d, 0x4000003e, 0x00000000, 0x00000000,
511  0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
512  0x4000003e, 0x40003ffe, 0x00000000, 0x00000000,
513  0x40003ffd, 0x40003ffe, 0x00000000, 0x00000000,
514  0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
515  0x40003ffe, 0x59999999, 0x00000000, 0x00000000,
516  0x59999998, 0x6aaaaaaa, 0x00000000, 0x00000000,
517  0x6aaaaaa9, 0x7ffffffe, 0x00000000, 0x00000000,
518  0x7ffffffd, 0x7ffffffe, 0x00000000, 0x00000000,
519  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
520  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
521  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
522  0x7fffffff, 0x95555554, 0x00000000, 0x00000000,
523  0x95555554, 0xa6666665, 0x00000000, 0x00000000,
524  0xa6666665, 0xbfffbfff, 0x00000000, 0x00000000,
525  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
526  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
527  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
528  0xbfffc000, 0xbfffffbf, 0x00000000, 0x00000000,
529  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
530  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
531  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
532  0xbfffffc0, 0xbfffffef, 0x00000000, 0x00000000,
533  0xbfffffef, 0xbffffffe, 0x00000000, 0x00000000,
534  0xbffffffe, 0xbfffffff, 0x00000000, 0x00000000,
535  0xbffffffe, 0xbfffffff, 0x00000000, 0x00000000,
536  0xbfffffff, 0x40000000, 0x00000000, 0x00000000,
537  0x3fffffff, 0x40000000, 0x00000000, 0x00000000,
538  0x40000000, 0x40000001, 0x00000000, 0x00000000,
539  0x40000000, 0x40000010, 0x00000000, 0x00000000,
540  0x4000000f, 0x4000003e, 0x00000000, 0x00000000,
541  0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
542  0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
543  0x4000003f, 0x40003ffe, 0x00000000, 0x00000000,
544  0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
545  0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
546  0x40003fff, 0x59999999, 0x00000000, 0x00000000,
547  0x59999999, 0x6aaaaaaa, 0x00000000, 0x00000000,
548  0x6aaaaaaa, 0x7ffffffe, 0x00000000, 0x00000000,
549  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
550  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
551  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
552  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
553  0x80000000, 0x95555555, 0x00000000, 0x00000000,
554  0x95555554, 0xa6666666, 0x00000000, 0x00000000,
555  0xa6666665, 0xbfffc000, 0x00000000, 0x00000000,
556  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
557  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
558  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
559  0xbfffc001, 0xbfffffc0, 0x00000000, 0x00000000,
560  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
561  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
562  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
563  0xbfffffc1, 0xbffffff0, 0x00000000, 0x00000000,
564  0xbfffffef, 0xbffffffe, 0x00000000, 0x00000000,
565  0xbffffffe, 0xbfffffff, 0x00000000, 0x00000000,
566  0xbfffffff, 0xc0000000, 0x00000000, 0x00000000,
567  0xbfffffff, 0x40000000, 0x00000000, 0x00000000,
568  0x40000000, 0x40000001, 0x00000000, 0x00000000,
569  0x40000000, 0x40000001, 0x00000000, 0x00000000,
570  0x40000001, 0x40000010, 0x00000000, 0x00000000,
571  0x40000010, 0x4000003f, 0x00000000, 0x00000000,
572  0x4000003e, 0x4000003f, 0x00000000, 0x00000000,
573  0x4000003f, 0x40000040, 0x00000000, 0x00000000,
574  0x4000003f, 0x40003fff, 0x00000000, 0x00000000,
575  0x40003ffe, 0x40003fff, 0x00000000, 0x00000000,
576  0x40003fff, 0x40004000, 0x00000000, 0x00000000,
577  0x40003fff, 0x5999999a, 0x00000000, 0x00000000,
578  0x59999999, 0x6aaaaaab, 0x00000000, 0x00000000,
579  0x6aaaaaaa, 0x7fffffff, 0x00000000, 0x00000000,
580  0x7ffffffe, 0x7fffffff, 0x00000000, 0x00000000,
581  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
582  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
583  0x80000000, 0x80000001, 0x00000000, 0x00000000,
584  0x80000000, 0x95555555, 0x00000000, 0x00000000,
585  0x95555555, 0xa6666666, 0x00000000, 0x00000000,
586  0xa6666666, 0xbfffc000, 0x00000000, 0x00000000,
587  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
588  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
589  0xbfffc001, 0xbfffc002, 0x00000000, 0x00000000,
590  0xbfffc001, 0xbfffffc0, 0x00000000, 0x00000000,
591  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
592  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
593  0xbfffffc1, 0xbfffffc2, 0x00000000, 0x00000000,
594  0xbfffffc1, 0xbffffff0, 0x00000000, 0x00000000,
595  0xbffffff0, 0xbfffffff, 0x00000000, 0x00000000,
596  0xbfffffff, 0xc0000000, 0x00000000, 0x00000000,
597  0xbfffffff, 0xc0000000, 0x00000000, 0x00000000,
598  0xc0000000, 0x40000001, 0x00000000, 0x00000000,
599  0x40000000, 0x40000001, 0x00000000, 0x00000000,
600  0x40000001, 0x40000002, 0x00000000, 0x00000000,
601  0x40000001, 0x40000011, 0x00000000, 0x00000000,
602  0x40000010, 0x4000003f, 0x00000000, 0x00000000,
603  0x4000003f, 0x40000040, 0x00000000, 0x00000000,
604  0x4000003f, 0x40000040, 0x00000000, 0x00000000,
605  0x40000040, 0x40003fff, 0x00000000, 0x00000000,
606  0x40003fff, 0x40004000, 0x00000000, 0x00000000,
607  0x40003fff, 0x40004000, 0x00000000, 0x00000000,
608  0x40004000, 0x5999999a, 0x00000000, 0x00000000,
609  0x5999999a, 0x6aaaaaab, 0x00000000, 0x00000000,
610  0x6aaaaaab, 0x7fffffff, 0x00000000, 0x00000000,
611  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
612  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
613  0x80000000, 0x80000001, 0x00000000, 0x00000000,
614  0x80000000, 0x80000001, 0x00000000, 0x00000000,
615  0x80000001, 0x95555556, 0x00000000, 0x00000000,
616  0x95555555, 0xa6666667, 0x00000000, 0x00000000,
617  0xa6666666, 0xbfffc001, 0x00000000, 0x00000000,
618  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
619  0xbfffc001, 0xbfffc002, 0x00000000, 0x00000000,
620  0xbfffc001, 0xbfffc002, 0x00000000, 0x00000000,
621  0xbfffc002, 0xbfffffc1, 0x00000000, 0x00000000,
622  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
623  0xbfffffc1, 0xbfffffc2, 0x00000000, 0x00000000,
624  0xbfffffc1, 0xbfffffc2, 0x00000000, 0x00000000,
625  0xbfffffc2, 0xbffffff1, 0x00000000, 0x00000000,
626  0xbffffff0, 0xbfffffff, 0x00000000, 0x00000000,
627  0xbfffffff, 0xd5555554, 0x00000000, 0x00000000,
628  0xc0000000, 0xd5555555, 0x00000000, 0x00000000,
629  0xc0000000, 0x55555555, 0x00000000, 0x00000000,
630  0x40000001, 0x55555556, 0x00000000, 0x00000000,
631  0x40000001, 0x55555556, 0x00000000, 0x00000000,
632  0x40000002, 0x55555565, 0x00000000, 0x00000000,
633  0x40000011, 0x55555594, 0x00000000, 0x00000000,
634  0x4000003f, 0x55555594, 0x00000000, 0x00000000,
635  0x40000040, 0x55555595, 0x00000000, 0x00000000,
636  0x40000040, 0x55559554, 0x00000000, 0x00000000,
637  0x40003fff, 0x55559554, 0x00000000, 0x00000000,
638  0x40004000, 0x55559555, 0x00000000, 0x00000000,
639  0x40004000, 0x6eeeeeef, 0x00000000, 0x00000000,
640  0x5999999a, 0x80000000, 0x00000000, 0x00000000,
641  0x6aaaaaab, 0x95555554, 0x00000000, 0x00000000,
642  0x7fffffff, 0x95555554, 0x00000000, 0x00000000,
643  0x80000000, 0x95555555, 0x00000000, 0x00000000,
644  0x80000000, 0x95555555, 0x00000000, 0x00000000,
645  0x80000001, 0x95555556, 0x00000000, 0x00000000,
646  0x80000001, 0xaaaaaaaa, 0x00000000, 0x00000000,
647  0x95555556, 0xbbbbbbbb, 0x00000000, 0x00000000,
648  0xa6666667, 0xd5551555, 0x00000000, 0x00000000,
649  0xbfffc001, 0xd5551556, 0x00000000, 0x00000000,
650  0xbfffc001, 0xd5551556, 0x00000000, 0x00000000,
651  0xbfffc002, 0xd5551557, 0x00000000, 0x00000000,
652  0xbfffc002, 0xd5555515, 0x00000000, 0x00000000,
653  0xbfffffc1, 0xd5555516, 0x00000000, 0x00000000,
654  0xbfffffc1, 0xd5555516, 0x00000000, 0x00000000,
655  0xbfffffc2, 0xd5555517, 0x00000000, 0x00000000,
656  0xbfffffc2, 0xd5555545, 0x00000000, 0x00000000,
657  0xbffffff1, 0xd5555554, 0x00000000, 0x00000000,
658  0xd5555554, 0xe6666665, 0x00000000, 0x00000000,
659  0xd5555554, 0xe6666666, 0x00000000, 0x00000000,
660  0xd5555555, 0x66666666, 0x00000000, 0x00000000,
661  0x55555555, 0x66666667, 0x00000000, 0x00000000,
662  0x55555556, 0x66666667, 0x00000000, 0x00000000,
663  0x55555556, 0x66666676, 0x00000000, 0x00000000,
664  0x55555565, 0x666666a5, 0x00000000, 0x00000000,
665  0x55555594, 0x666666a5, 0x00000000, 0x00000000,
666  0x55555594, 0x666666a6, 0x00000000, 0x00000000,
667  0x55555595, 0x6666a665, 0x00000000, 0x00000000,
668  0x55559554, 0x6666a665, 0x00000000, 0x00000000,
669  0x55559554, 0x6666a666, 0x00000000, 0x00000000,
670  0x55559555, 0x80000000, 0x00000000, 0x00000000,
671  0x6eeeeeef, 0x91111111, 0x00000000, 0x00000000,
672  0x80000000, 0xa6666665, 0x00000000, 0x00000000,
673  0x95555554, 0xa6666665, 0x00000000, 0x00000000,
674  0x95555554, 0xa6666666, 0x00000000, 0x00000000,
675  0x95555555, 0xa6666666, 0x00000000, 0x00000000,
676  0x95555555, 0xa6666667, 0x00000000, 0x00000000,
677  0x95555556, 0xbbbbbbbb, 0x00000000, 0x00000000,
678  0xaaaaaaaa, 0xcccccccc, 0x00000000, 0x00000000,
679  0xbbbbbbbb, 0xe6662666, 0x00000000, 0x00000000,
680  0xd5551555, 0xe6662667, 0x00000000, 0x00000000,
681  0xd5551556, 0xe6662667, 0x00000000, 0x00000000,
682  0xd5551556, 0xe6662668, 0x00000000, 0x00000000,
683  0xd5551557, 0xe6666626, 0x00000000, 0x00000000,
684  0xd5555515, 0xe6666627, 0x00000000, 0x00000000,
685  0xd5555516, 0xe6666627, 0x00000000, 0x00000000,
686  0xd5555516, 0xe6666628, 0x00000000, 0x00000000,
687  0xd5555517, 0xe6666656, 0x00000000, 0x00000000,
688  0xd5555545, 0xe6666665, 0x00000000, 0x00000000,
689  0xe6666665, 0xffffbfff, 0x00000000, 0x00000000,
690  0xe6666665, 0xffffc000, 0x00000000, 0x00000000,
691  0xe6666666, 0x7fffc000, 0x00000000, 0x00000000,
692  0x66666666, 0x7fffc001, 0x00000000, 0x00000000,
693  0x66666667, 0x7fffc001, 0x00000000, 0x00000000,
694  0x66666667, 0x7fffc010, 0x00000000, 0x00000000,
695  0x66666676, 0x7fffc03f, 0x00000000, 0x00000000,
696  0x666666a5, 0x7fffc03f, 0x00000000, 0x00000000,
697  0x666666a5, 0x7fffc040, 0x00000000, 0x00000000,
698  0x666666a6, 0x7fffffff, 0x00000000, 0x00000000,
699  0x6666a665, 0x7fffffff, 0x00000000, 0x00000000,
700  0x6666a665, 0x80000000, 0x00000000, 0x00000000,
701  0x6666a666, 0x9999599a, 0x00000000, 0x00000000,
702  0x80000000, 0xaaaa6aab, 0x00000000, 0x00000000,
703  0x91111111, 0xbfffbfff, 0x00000000, 0x00000000,
704  0xa6666665, 0xbfffbfff, 0x00000000, 0x00000000,
705  0xa6666665, 0xbfffc000, 0x00000000, 0x00000000,
706  0xa6666666, 0xbfffc000, 0x00000000, 0x00000000,
707  0xa6666666, 0xbfffc001, 0x00000000, 0x00000000,
708  0xa6666667, 0xd5551555, 0x00000000, 0x00000000,
709  0xbbbbbbbb, 0xe6662666, 0x00000000, 0x00000000,
710  0xcccccccc, 0xffff8000, 0x00000000, 0x00000000,
711  0xe6662666, 0xffff8001, 0x00000000, 0x00000000,
712  0xe6662667, 0xffff8001, 0x00000000, 0x00000000,
713  0xe6662667, 0xffff8002, 0x00000000, 0x00000000,
714  0xe6662668, 0xffffbfc0, 0x00000000, 0x00000000,
715  0xe6666626, 0xffffbfc1, 0x00000000, 0x00000000,
716  0xe6666627, 0xffffbfc1, 0x00000000, 0x00000000,
717  0xe6666627, 0xffffbfc2, 0x00000000, 0x00000000,
718  0xe6666628, 0xffffbff0, 0x00000000, 0x00000000,
719  0xe6666656, 0xffffbfff, 0x00000000, 0x00000000,
720  0xffffbfff, 0xffffc000, 0x00000000, 0x00000000,
721  0xffffbfff, 0xffffc000, 0x00000000, 0x00000000,
722  0xffffc000, 0x7fffc001, 0x00000000, 0x00000000,
723  0x7fffc000, 0x7fffc001, 0x00000000, 0x00000000,
724  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
725  0x7fffc001, 0x7fffc011, 0x00000000, 0x00000000,
726  0x7fffc010, 0x7fffc03f, 0x00000000, 0x00000000,
727  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
728  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
729  0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
730  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
731  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
732  0x80000000, 0x9999599a, 0x00000000, 0x00000000,
733  0x9999599a, 0xaaaa6aab, 0x00000000, 0x00000000,
734  0xaaaa6aab, 0xbfffbfff, 0x00000000, 0x00000000,
735  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
736  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
737  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
738  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
739  0xbfffc001, 0xd5551556, 0x00000000, 0x00000000,
740  0xd5551555, 0xe6662667, 0x00000000, 0x00000000,
741  0xe6662666, 0xffff8001, 0x00000000, 0x00000000,
742  0xffff8000, 0xffff8001, 0x00000000, 0x00000000,
743  0xffff8001, 0xffff8002, 0x00000000, 0x00000000,
744  0xffff8001, 0xffff8002, 0x00000000, 0x00000000,
745  0xffff8002, 0xffffbfc1, 0x00000000, 0x00000000,
746  0xffffbfc0, 0xffffbfc1, 0x00000000, 0x00000000,
747  0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
748  0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
749  0xffffbfc2, 0xffffbff1, 0x00000000, 0x00000000,
750  0xffffbff0, 0xffffbfff, 0x00000000, 0x00000000,
751  0xffffbfff, 0xffffc000, 0x00000000, 0x00000000,
752  0xffffc000, 0xffffc001, 0x00000000, 0x00000000,
753  0xffffc000, 0x7fffc001, 0x00000000, 0x00000000,
754  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
755  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
756  0x7fffc002, 0x7fffc011, 0x00000000, 0x00000000,
757  0x7fffc011, 0x7fffc040, 0x00000000, 0x00000000,
758  0x7fffc03f, 0x7fffc040, 0x00000000, 0x00000000,
759  0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
760  0x7fffc040, 0x80000000, 0x00000000, 0x00000000,
761  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
762  0x80000000, 0x80000001, 0x00000000, 0x00000000,
763  0x80000000, 0x9999599b, 0x00000000, 0x00000000,
764  0x9999599a, 0xaaaa6aac, 0x00000000, 0x00000000,
765  0xaaaa6aab, 0xbfffc000, 0x00000000, 0x00000000,
766  0xbfffbfff, 0xbfffc000, 0x00000000, 0x00000000,
767  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
768  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
769  0xbfffc001, 0xbfffc002, 0x00000000, 0x00000000,
770  0xbfffc001, 0xd5551556, 0x00000000, 0x00000000,
771  0xd5551556, 0xe6662667, 0x00000000, 0x00000000,
772  0xe6662667, 0xffff8001, 0x00000000, 0x00000000,
773  0xffff8001, 0xffff8002, 0x00000000, 0x00000000,
774  0xffff8001, 0xffff8002, 0x00000000, 0x00000000,
775  0xffff8002, 0xffff8003, 0x00000000, 0x00000000,
776  0xffff8002, 0xffffbfc1, 0x00000000, 0x00000000,
777  0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
778  0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
779  0xffffbfc2, 0xffffbfc3, 0x00000000, 0x00000000,
780  0xffffbfc2, 0xffffbff1, 0x00000000, 0x00000000,
781  0xffffbff1, 0xffffc000, 0x00000000, 0x00000000,
782  0xffffc000, 0xffffc001, 0x00000000, 0x00000000,
783  0xffffc000, 0xffffc001, 0x00000000, 0x00000000,
784  0xffffc001, 0x7fffc002, 0x00000000, 0x00000000,
785  0x7fffc001, 0x7fffc002, 0x00000000, 0x00000000,
786  0x7fffc002, 0x7fffc003, 0x00000000, 0x00000000,
787  0x7fffc002, 0x7fffc012, 0x00000000, 0x00000000,
788  0x7fffc011, 0x7fffc040, 0x00000000, 0x00000000,
789  0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
790  0x7fffc040, 0x7fffc041, 0x00000000, 0x00000000,
791  0x7fffc041, 0x80000000, 0x00000000, 0x00000000,
792  0x80000000, 0x80000001, 0x00000000, 0x00000000,
793  0x80000000, 0x80000001, 0x00000000, 0x00000000,
794  0x80000001, 0x9999599b, 0x00000000, 0x00000000,
795  0x9999599b, 0xaaaa6aac, 0x00000000, 0x00000000,
796  0xaaaa6aac, 0xbfffc000, 0x00000000, 0x00000000,
797  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
798  0xbfffc000, 0xbfffc001, 0x00000000, 0x00000000,
799  0xbfffc001, 0xbfffc002, 0x00000000, 0x00000000,
800  0xbfffc001, 0xbfffc002, 0x00000000, 0x00000000,
801  0xbfffc002, 0xd5551557, 0x00000000, 0x00000000,
802  0xd5551556, 0xe6662668, 0x00000000, 0x00000000,
803  0xe6662667, 0xffff8002, 0x00000000, 0x00000000,
804  0xffff8001, 0xffff8002, 0x00000000, 0x00000000,
805  0xffff8002, 0xffff8003, 0x00000000, 0x00000000,
806  0xffff8002, 0xffff8003, 0x00000000, 0x00000000,
807  0xffff8003, 0xffffbfc2, 0x00000000, 0x00000000,
808  0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
809  0xffffbfc2, 0xffffbfc3, 0x00000000, 0x00000000,
810  0xffffbfc2, 0xffffbfc3, 0x00000000, 0x00000000,
811  0xffffbfc3, 0xffffbff2, 0x00000000, 0x00000000,
812  0xffffbff1, 0xffffc000, 0x00000000, 0x00000000,
813  0xffffc000, 0xffffffbf, 0x00000000, 0x00000000,
814  0xffffc001, 0xffffffc0, 0x00000000, 0x00000000,
815  0xffffc001, 0x7fffffc0, 0x00000000, 0x00000000,
816  0x7fffc002, 0x7fffffc1, 0x00000000, 0x00000000,
817  0x7fffc002, 0x7fffffc1, 0x00000000, 0x00000000,
818  0x7fffc003, 0x7fffffd0, 0x00000000, 0x00000000,
819  0x7fffc012, 0x7fffffff, 0x00000000, 0x00000000,
820  0x7fffc040, 0x7fffffff, 0x00000000, 0x00000000,
821  0x7fffc041, 0x80000000, 0x00000000, 0x00000000,
822  0x7fffc041, 0x80003fbf, 0x00000000, 0x00000000,
823  0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
824  0x80000001, 0x80003fc0, 0x00000000, 0x00000000,
825  0x80000001, 0x9999995a, 0x00000000, 0x00000000,
826  0x9999599b, 0xaaaaaa6b, 0x00000000, 0x00000000,
827  0xaaaa6aac, 0xbfffffbf, 0x00000000, 0x00000000,
828  0xbfffc000, 0xbfffffbf, 0x00000000, 0x00000000,
829  0xbfffc001, 0xbfffffc0, 0x00000000, 0x00000000,
830  0xbfffc001, 0xbfffffc0, 0x00000000, 0x00000000,
831  0xbfffc002, 0xbfffffc1, 0x00000000, 0x00000000,
832  0xbfffc002, 0xd5555515, 0x00000000, 0x00000000,
833  0xd5551557, 0xe6666626, 0x00000000, 0x00000000,
834  0xe6662668, 0xffffbfc0, 0x00000000, 0x00000000,
835  0xffff8002, 0xffffbfc1, 0x00000000, 0x00000000,
836  0xffff8002, 0xffffbfc1, 0x00000000, 0x00000000,
837  0xffff8003, 0xffffbfc2, 0x00000000, 0x00000000,
838  0xffff8003, 0xffffff80, 0x00000000, 0x00000000,
839  0xffffbfc2, 0xffffff81, 0x00000000, 0x00000000,
840  0xffffbfc2, 0xffffff81, 0x00000000, 0x00000000,
841  0xffffbfc3, 0xffffff82, 0x00000000, 0x00000000,
842  0xffffbfc3, 0xffffffb0, 0x00000000, 0x00000000,
843  0xffffbff2, 0xffffffbf, 0x00000000, 0x00000000,
844  0xffffffbf, 0xffffffc0, 0x00000000, 0x00000000,
845  0xffffffbf, 0xffffffc0, 0x00000000, 0x00000000,
846  0xffffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
847  0x7fffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
848  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
849  0x7fffffc1, 0x7fffffd1, 0x00000000, 0x00000000,
850  0x7fffffd0, 0x7fffffff, 0x00000000, 0x00000000,
851  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
852  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
853  0x80000000, 0x80003fbf, 0x00000000, 0x00000000,
854  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
855  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
856  0x80003fc0, 0x9999995a, 0x00000000, 0x00000000,
857  0x9999995a, 0xaaaaaa6b, 0x00000000, 0x00000000,
858  0xaaaaaa6b, 0xbfffffbf, 0x00000000, 0x00000000,
859  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
860  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
861  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
862  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
863  0xbfffffc1, 0xd5555516, 0x00000000, 0x00000000,
864  0xd5555515, 0xe6666627, 0x00000000, 0x00000000,
865  0xe6666626, 0xffffbfc1, 0x00000000, 0x00000000,
866  0xffffbfc0, 0xffffbfc1, 0x00000000, 0x00000000,
867  0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
868  0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
869  0xffffbfc2, 0xffffff81, 0x00000000, 0x00000000,
870  0xffffff80, 0xffffff81, 0x00000000, 0x00000000,
871  0xffffff81, 0xffffff82, 0x00000000, 0x00000000,
872  0xffffff81, 0xffffff82, 0x00000000, 0x00000000,
873  0xffffff82, 0xffffffb1, 0x00000000, 0x00000000,
874  0xffffffb0, 0xffffffbf, 0x00000000, 0x00000000,
875  0xffffffbf, 0xffffffc0, 0x00000000, 0x00000000,
876  0xffffffc0, 0xffffffc1, 0x00000000, 0x00000000,
877  0xffffffc0, 0x7fffffc1, 0x00000000, 0x00000000,
878  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
879  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
880  0x7fffffc2, 0x7fffffd1, 0x00000000, 0x00000000,
881  0x7fffffd1, 0x80000000, 0x00000000, 0x00000000,
882  0x7fffffff, 0x80000000, 0x00000000, 0x00000000,
883  0x80000000, 0x80000001, 0x00000000, 0x00000000,
884  0x80000000, 0x80003fc0, 0x00000000, 0x00000000,
885  0x80003fbf, 0x80003fc0, 0x00000000, 0x00000000,
886  0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
887  0x80003fc0, 0x9999995b, 0x00000000, 0x00000000,
888  0x9999995a, 0xaaaaaa6c, 0x00000000, 0x00000000,
889  0xaaaaaa6b, 0xbfffffc0, 0x00000000, 0x00000000,
890  0xbfffffbf, 0xbfffffc0, 0x00000000, 0x00000000,
891  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
892  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
893  0xbfffffc1, 0xbfffffc2, 0x00000000, 0x00000000,
894  0xbfffffc1, 0xd5555516, 0x00000000, 0x00000000,
895  0xd5555516, 0xe6666627, 0x00000000, 0x00000000,
896  0xe6666627, 0xffffbfc1, 0x00000000, 0x00000000,
897  0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
898  0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
899  0xffffbfc2, 0xffffbfc3, 0x00000000, 0x00000000,
900  0xffffbfc2, 0xffffff81, 0x00000000, 0x00000000,
901  0xffffff81, 0xffffff82, 0x00000000, 0x00000000,
902  0xffffff81, 0xffffff82, 0x00000000, 0x00000000,
903  0xffffff82, 0xffffff83, 0x00000000, 0x00000000,
904  0xffffff82, 0xffffffb1, 0x00000000, 0x00000000,
905  0xffffffb1, 0xffffffc0, 0x00000000, 0x00000000,
906  0xffffffc0, 0xffffffc1, 0x00000000, 0x00000000,
907  0xffffffc0, 0xffffffc1, 0x00000000, 0x00000000,
908  0xffffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
909  0x7fffffc1, 0x7fffffc2, 0x00000000, 0x00000000,
910  0x7fffffc2, 0x7fffffc3, 0x00000000, 0x00000000,
911  0x7fffffc2, 0x7fffffd2, 0x00000000, 0x00000000,
912  0x7fffffd1, 0x80000000, 0x00000000, 0x00000000,
913  0x80000000, 0x80000001, 0x00000000, 0x00000000,
914  0x80000000, 0x80000001, 0x00000000, 0x00000000,
915  0x80000001, 0x80003fc0, 0x00000000, 0x00000000,
916  0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
917  0x80003fc0, 0x80003fc1, 0x00000000, 0x00000000,
918  0x80003fc1, 0x9999995b, 0x00000000, 0x00000000,
919  0x9999995b, 0xaaaaaa6c, 0x00000000, 0x00000000,
920  0xaaaaaa6c, 0xbfffffc0, 0x00000000, 0x00000000,
921  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
922  0xbfffffc0, 0xbfffffc1, 0x00000000, 0x00000000,
923  0xbfffffc1, 0xbfffffc2, 0x00000000, 0x00000000,
924  0xbfffffc1, 0xbfffffc2, 0x00000000, 0x00000000,
925  0xbfffffc2, 0xd5555517, 0x00000000, 0x00000000,
926  0xd5555516, 0xe6666628, 0x00000000, 0x00000000,
927  0xe6666627, 0xffffbfc2, 0x00000000, 0x00000000,
928  0xffffbfc1, 0xffffbfc2, 0x00000000, 0x00000000,
929  0xffffbfc2, 0xffffbfc3, 0x00000000, 0x00000000,
930  0xffffbfc2, 0xffffbfc3, 0x00000000, 0x00000000,
931  0xffffbfc3, 0xffffff82, 0x00000000, 0x00000000,
932  0xffffff81, 0xffffff82, 0x00000000, 0x00000000,
933  0xffffff82, 0xffffff83, 0x00000000, 0x00000000,
934  0xffffff82, 0xffffff83, 0x00000000, 0x00000000,
935  0xffffff83, 0xffffffb2, 0x00000000, 0x00000000,
936  0xffffffb1, 0xffffffc0, 0x00000000, 0x00000000,
937  0xffffffc0, 0xffffffef, 0x00000000, 0x00000000,
938  0xffffffc1, 0xfffffff0, 0x00000000, 0x00000000,
939  0xffffffc1, 0x7ffffff0, 0x00000000, 0x00000000,
940  0x7fffffc2, 0x7ffffff1, 0x00000000, 0x00000000,
941  0x7fffffc2, 0x7ffffff1, 0x00000000, 0x00000000,
942  0x7fffffc3, 0x80000000, 0x00000000, 0x00000000,
943  0x7fffffd2, 0x8000002f, 0x00000000, 0x00000000,
944  0x80000000, 0x8000002f, 0x00000000, 0x00000000,
945  0x80000001, 0x80000030, 0x00000000, 0x00000000,
946  0x80000001, 0x80003fef, 0x00000000, 0x00000000,
947  0x80003fc0, 0x80003fef, 0x00000000, 0x00000000,
948  0x80003fc1, 0x80003ff0, 0x00000000, 0x00000000,
949  0x80003fc1, 0x9999998a, 0x00000000, 0x00000000,
950  0x9999995b, 0xaaaaaa9b, 0x00000000, 0x00000000,
951  0xaaaaaa6c, 0xbfffffef, 0x00000000, 0x00000000,
952  0xbfffffc0, 0xbfffffef, 0x00000000, 0x00000000,
953  0xbfffffc1, 0xbffffff0, 0x00000000, 0x00000000,
954  0xbfffffc1, 0xbffffff0, 0x00000000, 0x00000000,
955  0xbfffffc2, 0xbffffff1, 0x00000000, 0x00000000,
956  0xbfffffc2, 0xd5555545, 0x00000000, 0x00000000,
957  0xd5555517, 0xe6666656, 0x00000000, 0x00000000,
958  0xe6666628, 0xffffbff0, 0x00000000, 0x00000000,
959  0xffffbfc2, 0xffffbff1, 0x00000000, 0x00000000,
960  0xffffbfc2, 0xffffbff1, 0x00000000, 0x00000000,
961  0xffffbfc3, 0xffffbff2, 0x00000000, 0x00000000,
962  0xffffbfc3, 0xffffffb0, 0x00000000, 0x00000000,
963  0xffffff82, 0xffffffb1, 0x00000000, 0x00000000,
964  0xffffff82, 0xffffffb1, 0x00000000, 0x00000000,
965  0xffffff83, 0xffffffb2, 0x00000000, 0x00000000,
966  0xffffff83, 0xffffffe0, 0x00000000, 0x00000000,
967  0xffffffb2, 0xffffffef, 0x00000000, 0x00000000,
968  0xffffffef, 0xfffffffe, 0x00000000, 0x00000000,
969  0xffffffef, 0xfffffffe, 0x00000000, 0x00000000,
970  0xfffffff0, 0x7fffffff, 0x00000000, 0x00000000,
971  0x7ffffff0, 0x7fffffff, 0x00000000, 0x00000000,
972  0x7ffffff1, 0x80000000, 0x00000000, 0x00000000,
973  0x7ffffff1, 0x8000000f, 0x00000000, 0x00000000,
974  0x80000000, 0x8000003d, 0x00000000, 0x00000000,
975  0x8000002f, 0x8000003e, 0x00000000, 0x00000000,
976  0x8000002f, 0x8000003e, 0x00000000, 0x00000000,
977  0x80000030, 0x80003ffd, 0x00000000, 0x00000000,
978  0x80003fef, 0x80003ffe, 0x00000000, 0x00000000,
979  0x80003fef, 0x80003ffe, 0x00000000, 0x00000000,
980  0x80003ff0, 0x99999998, 0x00000000, 0x00000000,
981  0x9999998a, 0xaaaaaaa9, 0x00000000, 0x00000000,
982  0xaaaaaa9b, 0xbffffffd, 0x00000000, 0x00000000,
983  0xbfffffef, 0xbffffffe, 0x00000000, 0x00000000,
984  0xbfffffef, 0xbffffffe, 0x00000000, 0x00000000,
985  0xbffffff0, 0xbfffffff, 0x00000000, 0x00000000,
986  0xbffffff0, 0xbfffffff, 0x00000000, 0x00000000,
987  0xbffffff1, 0xd5555554, 0x00000000, 0x00000000,
988  0xd5555545, 0xe6666665, 0x00000000, 0x00000000,
989  0xe6666656, 0xffffbfff, 0x00000000, 0x00000000,
990  0xffffbff0, 0xffffbfff, 0x00000000, 0x00000000,
991  0xffffbff1, 0xffffc000, 0x00000000, 0x00000000,
992  0xffffbff1, 0xffffc000, 0x00000000, 0x00000000,
993  0xffffbff2, 0xffffffbf, 0x00000000, 0x00000000,
994  0xffffffb0, 0xffffffbf, 0x00000000, 0x00000000,
995  0xffffffb1, 0xffffffc0, 0x00000000, 0x00000000,
996  0xffffffb1, 0xffffffc0, 0x00000000, 0x00000000,
997  0xffffffb2, 0xffffffef, 0x00000000, 0x00000000,
998  0xffffffe0, 0xfffffffd, 0x00000000, 0x00000000,
999};
1000const unsigned kExpectedCount_NEON_urhadd_2S = 961;
1001
1002#endif  // VIXL_SIM_URHADD_2S_TRACE_AARCH64_H_
1003