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_USRA_4S_2OPIMM_TRACE_AARCH64_H_
35 #define VIXL_SIM_USRA_4S_2OPIMM_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_NEON_usra_4S_2OPIMM[] = {
38   0x7ffffffe, 0x7fffffff, 0x7fffffff, 0x00000000,
39   0xbffffffd, 0xbffffffe, 0xbffffffe, 0x00000000,
40   0xdffffffc, 0xdffffffd, 0xdffffffd, 0x00000000,
41   0xeffffffb, 0xeffffffc, 0xeffffffc, 0x00000000,
42   0xf7fffffa, 0xf7fffffb, 0xf7fffffb, 0x00000000,
43   0xfbfffff9, 0xfbfffffa, 0xfbfffffa, 0x00000000,
44   0xfdfffff8, 0xfdfffff9, 0xfdfffff9, 0x00000000,
45   0xfefffff7, 0xfefffff8, 0xfefffff8, 0x00000000,
46   0xff7ffff6, 0xff7ffff7, 0xff7ffff7, 0x00000000,
47   0xffbffff5, 0xffbffff6, 0xffbffff6, 0x00000000,
48   0xffdffff4, 0xffdffff5, 0xffdffff5, 0x00000000,
49   0xffeffff3, 0xffeffff4, 0xffeffff4, 0x00000000,
50   0xfff7fff2, 0xfff7fff3, 0xfff7fff3, 0x00000000,
51   0xfffbfff1, 0xfffbfff2, 0xfffbfff2, 0x00000000,
52   0xfffdfff0, 0xfffdfff1, 0xfffdfff1, 0x00000000,
53   0xfffeffef, 0xfffefff0, 0xfffefff0, 0x00000000,
54   0xffff7fee, 0xffff7fef, 0xffff7fef, 0x00000000,
55   0xffffbfed, 0xffffbfee, 0xffffbfee, 0x00000000,
56   0xffffdfec, 0xffffdfed, 0xffffdfed, 0x00000000,
57   0xffffefeb, 0xffffefec, 0xffffefec, 0x00000000,
58   0xfffff7ea, 0xfffff7eb, 0xfffff7eb, 0x00000000,
59   0xfffffbe9, 0xfffffbea, 0xfffffbea, 0x00000000,
60   0xfffffde8, 0xfffffde9, 0xfffffde9, 0x00000000,
61   0xfffffee7, 0xfffffee8, 0xfffffee8, 0x00000000,
62   0xffffff66, 0xffffff67, 0xffffff67, 0x00000000,
63   0xffffffa5, 0xffffffa6, 0xffffffa6, 0x00000000,
64   0xffffffc4, 0xffffffc5, 0xffffffc5, 0x00000000,
65   0xffffffd3, 0xffffffd4, 0xffffffd4, 0x00000000,
66   0xffffffda, 0xffffffdb, 0xffffffdb, 0x00000000,
67   0xffffffdd, 0xffffffde, 0xffffffde, 0x00000000,
68   0xffffffde, 0xffffffdf, 0xffffffdf, 0x00000000,
69   0xffffffde, 0xffffffdf, 0xffffffdf, 0x00000000,
70   0x7fffffff, 0x7fffffff, 0x00000000, 0x00000000,
71   0xbffffffe, 0xbffffffe, 0x00000000, 0x00000000,
72   0xdffffffd, 0xdffffffd, 0x00000000, 0x00000000,
73   0xeffffffc, 0xeffffffc, 0x00000000, 0x00000000,
74   0xf7fffffb, 0xf7fffffb, 0x00000000, 0x00000000,
75   0xfbfffffa, 0xfbfffffa, 0x00000000, 0x00000000,
76   0xfdfffff9, 0xfdfffff9, 0x00000000, 0x00000000,
77   0xfefffff8, 0xfefffff8, 0x00000000, 0x00000000,
78   0xff7ffff7, 0xff7ffff7, 0x00000000, 0x00000000,
79   0xffbffff6, 0xffbffff6, 0x00000000, 0x00000000,
80   0xffdffff5, 0xffdffff5, 0x00000000, 0x00000000,
81   0xffeffff4, 0xffeffff4, 0x00000000, 0x00000000,
82   0xfff7fff3, 0xfff7fff3, 0x00000000, 0x00000000,
83   0xfffbfff2, 0xfffbfff2, 0x00000000, 0x00000000,
84   0xfffdfff1, 0xfffdfff1, 0x00000000, 0x00000000,
85   0xfffefff0, 0xfffefff0, 0x00000000, 0x00000000,
86   0xffff7fef, 0xffff7fef, 0x00000000, 0x00000000,
87   0xffffbfee, 0xffffbfee, 0x00000000, 0x00000000,
88   0xffffdfed, 0xffffdfed, 0x00000000, 0x00000000,
89   0xffffefec, 0xffffefec, 0x00000000, 0x00000000,
90   0xfffff7eb, 0xfffff7eb, 0x00000000, 0x00000000,
91   0xfffffbea, 0xfffffbea, 0x00000000, 0x00000000,
92   0xfffffde9, 0xfffffde9, 0x00000000, 0x00000000,
93   0xfffffee8, 0xfffffee8, 0x00000000, 0x00000000,
94   0xffffff67, 0xffffff67, 0x00000000, 0x00000000,
95   0xffffffa6, 0xffffffa6, 0x00000000, 0x00000000,
96   0xffffffc5, 0xffffffc5, 0x00000000, 0x00000000,
97   0xffffffd4, 0xffffffd4, 0x00000000, 0x00000000,
98   0xffffffdb, 0xffffffdb, 0x00000000, 0x00000000,
99   0xffffffde, 0xffffffde, 0x00000000, 0x00000000,
100   0xffffffdf, 0xffffffdf, 0x00000000, 0x00000000,
101   0xffffffdf, 0xffffffdf, 0x00000000, 0x00000000,
102   0x7fffffff, 0x00000000, 0x00000000, 0x00000001,
103   0xbffffffe, 0x00000000, 0x00000000, 0x00000001,
104   0xdffffffd, 0x00000000, 0x00000000, 0x00000001,
105   0xeffffffc, 0x00000000, 0x00000000, 0x00000001,
106   0xf7fffffb, 0x00000000, 0x00000000, 0x00000001,
107   0xfbfffffa, 0x00000000, 0x00000000, 0x00000001,
108   0xfdfffff9, 0x00000000, 0x00000000, 0x00000001,
109   0xfefffff8, 0x00000000, 0x00000000, 0x00000001,
110   0xff7ffff7, 0x00000000, 0x00000000, 0x00000001,
111   0xffbffff6, 0x00000000, 0x00000000, 0x00000001,
112   0xffdffff5, 0x00000000, 0x00000000, 0x00000001,
113   0xffeffff4, 0x00000000, 0x00000000, 0x00000001,
114   0xfff7fff3, 0x00000000, 0x00000000, 0x00000001,
115   0xfffbfff2, 0x00000000, 0x00000000, 0x00000001,
116   0xfffdfff1, 0x00000000, 0x00000000, 0x00000001,
117   0xfffefff0, 0x00000000, 0x00000000, 0x00000001,
118   0xffff7fef, 0x00000000, 0x00000000, 0x00000001,
119   0xffffbfee, 0x00000000, 0x00000000, 0x00000001,
120   0xffffdfed, 0x00000000, 0x00000000, 0x00000001,
121   0xffffefec, 0x00000000, 0x00000000, 0x00000001,
122   0xfffff7eb, 0x00000000, 0x00000000, 0x00000001,
123   0xfffffbea, 0x00000000, 0x00000000, 0x00000001,
124   0xfffffde9, 0x00000000, 0x00000000, 0x00000001,
125   0xfffffee8, 0x00000000, 0x00000000, 0x00000001,
126   0xffffff67, 0x00000000, 0x00000000, 0x00000001,
127   0xffffffa6, 0x00000000, 0x00000000, 0x00000001,
128   0xffffffc5, 0x00000000, 0x00000000, 0x00000001,
129   0xffffffd4, 0x00000000, 0x00000000, 0x00000001,
130   0xffffffdb, 0x00000000, 0x00000000, 0x00000001,
131   0xffffffde, 0x00000000, 0x00000000, 0x00000001,
132   0xffffffdf, 0x00000000, 0x00000000, 0x00000001,
133   0xffffffdf, 0x00000000, 0x00000000, 0x00000001,
134   0x00000000, 0x00000000, 0x00000001, 0x00000010,
135   0x00000000, 0x00000000, 0x00000001, 0x00000018,
136   0x00000000, 0x00000000, 0x00000001, 0x0000001c,
137   0x00000000, 0x00000000, 0x00000001, 0x0000001e,
138   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
139   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
140   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
141   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
142   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
143   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
144   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
145   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
146   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
147   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
148   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
149   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
150   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
151   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
152   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
153   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
154   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
155   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
156   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
157   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
158   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
159   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
160   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
161   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
162   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
163   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
164   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
165   0x00000000, 0x00000000, 0x00000001, 0x0000001f,
166   0x00000000, 0x00000001, 0x00000010, 0x0000003e,
167   0x00000000, 0x00000001, 0x00000018, 0x0000005d,
168   0x00000000, 0x00000001, 0x0000001c, 0x0000006c,
169   0x00000000, 0x00000001, 0x0000001e, 0x00000073,
170   0x00000000, 0x00000001, 0x0000001f, 0x00000076,
171   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
172   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
173   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
174   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
175   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
176   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
177   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
178   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
179   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
180   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
181   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
182   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
183   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
184   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
185   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
186   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
187   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
188   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
189   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
190   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
191   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
192   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
193   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
194   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
195   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
196   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
197   0x00000000, 0x00000001, 0x0000001f, 0x00000077,
198   0x00000001, 0x00000010, 0x0000003e, 0x0000003f,
199   0x00000001, 0x00000018, 0x0000005d, 0x0000005e,
200   0x00000001, 0x0000001c, 0x0000006c, 0x0000006d,
201   0x00000001, 0x0000001e, 0x00000073, 0x00000074,
202   0x00000001, 0x0000001f, 0x00000076, 0x00000077,
203   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
204   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
205   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
206   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
207   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
208   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
209   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
210   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
211   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
212   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
213   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
214   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
215   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
216   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
217   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
218   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
219   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
220   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
221   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
222   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
223   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
224   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
225   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
226   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
227   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
228   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
229   0x00000001, 0x0000001f, 0x00000077, 0x00000078,
230   0x00000010, 0x0000003e, 0x0000003f, 0x0000003f,
231   0x00000018, 0x0000005d, 0x0000005e, 0x0000005e,
232   0x0000001c, 0x0000006c, 0x0000006d, 0x0000006d,
233   0x0000001e, 0x00000073, 0x00000074, 0x00000074,
234   0x0000001f, 0x00000076, 0x00000077, 0x00000077,
235   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
236   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
237   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
238   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
239   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
240   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
241   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
242   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
243   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
244   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
245   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
246   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
247   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
248   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
249   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
250   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
251   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
252   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
253   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
254   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
255   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
256   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
257   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
258   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
259   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
260   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
261   0x0000001f, 0x00000077, 0x00000078, 0x00000078,
262   0x0000003e, 0x0000003f, 0x0000003f, 0x00003ffe,
263   0x0000005d, 0x0000005e, 0x0000005e, 0x00005ffd,
264   0x0000006c, 0x0000006d, 0x0000006d, 0x00006ffc,
265   0x00000073, 0x00000074, 0x00000074, 0x000077fb,
266   0x00000076, 0x00000077, 0x00000077, 0x00007bfa,
267   0x00000077, 0x00000078, 0x00000078, 0x00007df9,
268   0x00000077, 0x00000078, 0x00000078, 0x00007ef8,
269   0x00000077, 0x00000078, 0x00000078, 0x00007f77,
270   0x00000077, 0x00000078, 0x00000078, 0x00007fb6,
271   0x00000077, 0x00000078, 0x00000078, 0x00007fd5,
272   0x00000077, 0x00000078, 0x00000078, 0x00007fe4,
273   0x00000077, 0x00000078, 0x00000078, 0x00007feb,
274   0x00000077, 0x00000078, 0x00000078, 0x00007fee,
275   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
276   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
277   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
278   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
279   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
280   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
281   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
282   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
283   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
284   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
285   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
286   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
287   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
288   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
289   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
290   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
291   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
292   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
293   0x00000077, 0x00000078, 0x00000078, 0x00007fef,
294   0x0000003f, 0x0000003f, 0x00003ffe, 0x00003fff,
295   0x0000005e, 0x0000005e, 0x00005ffd, 0x00005ffe,
296   0x0000006d, 0x0000006d, 0x00006ffc, 0x00006ffd,
297   0x00000074, 0x00000074, 0x000077fb, 0x000077fc,
298   0x00000077, 0x00000077, 0x00007bfa, 0x00007bfb,
299   0x00000078, 0x00000078, 0x00007df9, 0x00007dfa,
300   0x00000078, 0x00000078, 0x00007ef8, 0x00007ef9,
301   0x00000078, 0x00000078, 0x00007f77, 0x00007f78,
302   0x00000078, 0x00000078, 0x00007fb6, 0x00007fb7,
303   0x00000078, 0x00000078, 0x00007fd5, 0x00007fd6,
304   0x00000078, 0x00000078, 0x00007fe4, 0x00007fe5,
305   0x00000078, 0x00000078, 0x00007feb, 0x00007fec,
306   0x00000078, 0x00000078, 0x00007fee, 0x00007fef,
307   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
308   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
309   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
310   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
311   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
312   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
313   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
314   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
315   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
316   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
317   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
318   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
319   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
320   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
321   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
322   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
323   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
324   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
325   0x00000078, 0x00000078, 0x00007fef, 0x00007ff0,
326   0x0000003f, 0x00003ffe, 0x00003fff, 0x00003fff,
327   0x0000005e, 0x00005ffd, 0x00005ffe, 0x00005ffe,
328   0x0000006d, 0x00006ffc, 0x00006ffd, 0x00006ffd,
329   0x00000074, 0x000077fb, 0x000077fc, 0x000077fc,
330   0x00000077, 0x00007bfa, 0x00007bfb, 0x00007bfb,
331   0x00000078, 0x00007df9, 0x00007dfa, 0x00007dfa,
332   0x00000078, 0x00007ef8, 0x00007ef9, 0x00007ef9,
333   0x00000078, 0x00007f77, 0x00007f78, 0x00007f78,
334   0x00000078, 0x00007fb6, 0x00007fb7, 0x00007fb7,
335   0x00000078, 0x00007fd5, 0x00007fd6, 0x00007fd6,
336   0x00000078, 0x00007fe4, 0x00007fe5, 0x00007fe5,
337   0x00000078, 0x00007feb, 0x00007fec, 0x00007fec,
338   0x00000078, 0x00007fee, 0x00007fef, 0x00007fef,
339   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
340   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
341   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
342   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
343   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
344   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
345   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
346   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
347   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
348   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
349   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
350   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
351   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
352   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
353   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
354   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
355   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
356   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
357   0x00000078, 0x00007fef, 0x00007ff0, 0x00007ff0,
358   0x00003ffe, 0x00003fff, 0x00003fff, 0x19999999,
359   0x00005ffd, 0x00005ffe, 0x00005ffe, 0x26666665,
360   0x00006ffc, 0x00006ffd, 0x00006ffd, 0x2ccccccb,
361   0x000077fb, 0x000077fc, 0x000077fc, 0x2ffffffe,
362   0x00007bfa, 0x00007bfb, 0x00007bfb, 0x31999997,
363   0x00007df9, 0x00007dfa, 0x00007dfa, 0x32666663,
364   0x00007ef8, 0x00007ef9, 0x00007ef9, 0x32ccccc9,
365   0x00007f77, 0x00007f78, 0x00007f78, 0x32fffffc,
366   0x00007fb6, 0x00007fb7, 0x00007fb7, 0x33199995,
367   0x00007fd5, 0x00007fd6, 0x00007fd6, 0x33266661,
368   0x00007fe4, 0x00007fe5, 0x00007fe5, 0x332cccc7,
369   0x00007feb, 0x00007fec, 0x00007fec, 0x332ffffa,
370   0x00007fee, 0x00007fef, 0x00007fef, 0x33319993,
371   0x00007fef, 0x00007ff0, 0x00007ff0, 0x3332665f,
372   0x00007fef, 0x00007ff0, 0x00007ff0, 0x3332ccc5,
373   0x00007fef, 0x00007ff0, 0x00007ff0, 0x3332fff8,
374   0x00007fef, 0x00007ff0, 0x00007ff0, 0x33331991,
375   0x00007fef, 0x00007ff0, 0x00007ff0, 0x3333265d,
376   0x00007fef, 0x00007ff0, 0x00007ff0, 0x33332cc3,
377   0x00007fef, 0x00007ff0, 0x00007ff0, 0x33332ff6,
378   0x00007fef, 0x00007ff0, 0x00007ff0, 0x3333318f,
379   0x00007fef, 0x00007ff0, 0x00007ff0, 0x3333325b,
380   0x00007fef, 0x00007ff0, 0x00007ff0, 0x333332c1,
381   0x00007fef, 0x00007ff0, 0x00007ff0, 0x333332f4,
382   0x00007fef, 0x00007ff0, 0x00007ff0, 0x3333330d,
383   0x00007fef, 0x00007ff0, 0x00007ff0, 0x33333319,
384   0x00007fef, 0x00007ff0, 0x00007ff0, 0x3333331f,
385   0x00007fef, 0x00007ff0, 0x00007ff0, 0x33333322,
386   0x00007fef, 0x00007ff0, 0x00007ff0, 0x33333323,
387   0x00007fef, 0x00007ff0, 0x00007ff0, 0x33333323,
388   0x00007fef, 0x00007ff0, 0x00007ff0, 0x33333323,
389   0x00007fef, 0x00007ff0, 0x00007ff0, 0x33333323,
390   0x00003fff, 0x00003fff, 0x19999999, 0x2aaaaaaa,
391   0x00005ffe, 0x00005ffe, 0x26666665, 0x3fffffff,
392   0x00006ffd, 0x00006ffd, 0x2ccccccb, 0x4aaaaaa9,
393   0x000077fc, 0x000077fc, 0x2ffffffe, 0x4ffffffe,
394   0x00007bfb, 0x00007bfb, 0x31999997, 0x52aaaaa8,
395   0x00007dfa, 0x00007dfa, 0x32666663, 0x53fffffd,
396   0x00007ef9, 0x00007ef9, 0x32ccccc9, 0x54aaaaa7,
397   0x00007f78, 0x00007f78, 0x32fffffc, 0x54fffffc,
398   0x00007fb7, 0x00007fb7, 0x33199995, 0x552aaaa6,
399   0x00007fd6, 0x00007fd6, 0x33266661, 0x553ffffb,
400   0x00007fe5, 0x00007fe5, 0x332cccc7, 0x554aaaa5,
401   0x00007fec, 0x00007fec, 0x332ffffa, 0x554ffffa,
402   0x00007fef, 0x00007fef, 0x33319993, 0x5552aaa4,
403   0x00007ff0, 0x00007ff0, 0x3332665f, 0x5553fff9,
404   0x00007ff0, 0x00007ff0, 0x3332ccc5, 0x5554aaa3,
405   0x00007ff0, 0x00007ff0, 0x3332fff8, 0x5554fff8,
406   0x00007ff0, 0x00007ff0, 0x33331991, 0x55552aa2,
407   0x00007ff0, 0x00007ff0, 0x3333265d, 0x55553ff7,
408   0x00007ff0, 0x00007ff0, 0x33332cc3, 0x55554aa1,
409   0x00007ff0, 0x00007ff0, 0x33332ff6, 0x55554ff6,
410   0x00007ff0, 0x00007ff0, 0x3333318f, 0x555552a0,
411   0x00007ff0, 0x00007ff0, 0x3333325b, 0x555553f5,
412   0x00007ff0, 0x00007ff0, 0x333332c1, 0x5555549f,
413   0x00007ff0, 0x00007ff0, 0x333332f4, 0x555554f4,
414   0x00007ff0, 0x00007ff0, 0x3333330d, 0x5555551e,
415   0x00007ff0, 0x00007ff0, 0x33333319, 0x55555533,
416   0x00007ff0, 0x00007ff0, 0x3333331f, 0x5555553d,
417   0x00007ff0, 0x00007ff0, 0x33333322, 0x55555542,
418   0x00007ff0, 0x00007ff0, 0x33333323, 0x55555544,
419   0x00007ff0, 0x00007ff0, 0x33333323, 0x55555545,
420   0x00007ff0, 0x00007ff0, 0x33333323, 0x55555545,
421   0x00007ff0, 0x00007ff0, 0x33333323, 0x55555545,
422   0x00003fff, 0x19999999, 0x2aaaaaaa, 0x3ffffffe,
423   0x00005ffe, 0x26666665, 0x3fffffff, 0x5ffffffd,
424   0x00006ffd, 0x2ccccccb, 0x4aaaaaa9, 0x6ffffffc,
425   0x000077fc, 0x2ffffffe, 0x4ffffffe, 0x77fffffb,
426   0x00007bfb, 0x31999997, 0x52aaaaa8, 0x7bfffffa,
427   0x00007dfa, 0x32666663, 0x53fffffd, 0x7dfffff9,
428   0x00007ef9, 0x32ccccc9, 0x54aaaaa7, 0x7efffff8,
429   0x00007f78, 0x32fffffc, 0x54fffffc, 0x7f7ffff7,
430   0x00007fb7, 0x33199995, 0x552aaaa6, 0x7fbffff6,
431   0x00007fd6, 0x33266661, 0x553ffffb, 0x7fdffff5,
432   0x00007fe5, 0x332cccc7, 0x554aaaa5, 0x7feffff4,
433   0x00007fec, 0x332ffffa, 0x554ffffa, 0x7ff7fff3,
434   0x00007fef, 0x33319993, 0x5552aaa4, 0x7ffbfff2,
435   0x00007ff0, 0x3332665f, 0x5553fff9, 0x7ffdfff1,
436   0x00007ff0, 0x3332ccc5, 0x5554aaa3, 0x7ffefff0,
437   0x00007ff0, 0x3332fff8, 0x5554fff8, 0x7fff7fef,
438   0x00007ff0, 0x33331991, 0x55552aa2, 0x7fffbfee,
439   0x00007ff0, 0x3333265d, 0x55553ff7, 0x7fffdfed,
440   0x00007ff0, 0x33332cc3, 0x55554aa1, 0x7fffefec,
441   0x00007ff0, 0x33332ff6, 0x55554ff6, 0x7ffff7eb,
442   0x00007ff0, 0x3333318f, 0x555552a0, 0x7ffffbea,
443   0x00007ff0, 0x3333325b, 0x555553f5, 0x7ffffde9,
444   0x00007ff0, 0x333332c1, 0x5555549f, 0x7ffffee8,
445   0x00007ff0, 0x333332f4, 0x555554f4, 0x7fffff67,
446   0x00007ff0, 0x3333330d, 0x5555551e, 0x7fffffa6,
447   0x00007ff0, 0x33333319, 0x55555533, 0x7fffffc5,
448   0x00007ff0, 0x3333331f, 0x5555553d, 0x7fffffd4,
449   0x00007ff0, 0x33333322, 0x55555542, 0x7fffffdb,
450   0x00007ff0, 0x33333323, 0x55555544, 0x7fffffde,
451   0x00007ff0, 0x33333323, 0x55555545, 0x7fffffdf,
452   0x00007ff0, 0x33333323, 0x55555545, 0x7fffffdf,
453   0x00007ff0, 0x33333323, 0x55555545, 0x7fffffdf,
454   0x19999999, 0x2aaaaaaa, 0x3ffffffe, 0x3fffffff,
455   0x26666665, 0x3fffffff, 0x5ffffffd, 0x5ffffffe,
456   0x2ccccccb, 0x4aaaaaa9, 0x6ffffffc, 0x6ffffffd,
457   0x2ffffffe, 0x4ffffffe, 0x77fffffb, 0x77fffffc,
458   0x31999997, 0x52aaaaa8, 0x7bfffffa, 0x7bfffffb,
459   0x32666663, 0x53fffffd, 0x7dfffff9, 0x7dfffffa,
460   0x32ccccc9, 0x54aaaaa7, 0x7efffff8, 0x7efffff9,
461   0x32fffffc, 0x54fffffc, 0x7f7ffff7, 0x7f7ffff8,
462   0x33199995, 0x552aaaa6, 0x7fbffff6, 0x7fbffff7,
463   0x33266661, 0x553ffffb, 0x7fdffff5, 0x7fdffff6,
464   0x332cccc7, 0x554aaaa5, 0x7feffff4, 0x7feffff5,
465   0x332ffffa, 0x554ffffa, 0x7ff7fff3, 0x7ff7fff4,
466   0x33319993, 0x5552aaa4, 0x7ffbfff2, 0x7ffbfff3,
467   0x3332665f, 0x5553fff9, 0x7ffdfff1, 0x7ffdfff2,
468   0x3332ccc5, 0x5554aaa3, 0x7ffefff0, 0x7ffefff1,
469   0x3332fff8, 0x5554fff8, 0x7fff7fef, 0x7fff7ff0,
470   0x33331991, 0x55552aa2, 0x7fffbfee, 0x7fffbfef,
471   0x3333265d, 0x55553ff7, 0x7fffdfed, 0x7fffdfee,
472   0x33332cc3, 0x55554aa1, 0x7fffefec, 0x7fffefed,
473   0x33332ff6, 0x55554ff6, 0x7ffff7eb, 0x7ffff7ec,
474   0x3333318f, 0x555552a0, 0x7ffffbea, 0x7ffffbeb,
475   0x3333325b, 0x555553f5, 0x7ffffde9, 0x7ffffdea,
476   0x333332c1, 0x5555549f, 0x7ffffee8, 0x7ffffee9,
477   0x333332f4, 0x555554f4, 0x7fffff67, 0x7fffff68,
478   0x3333330d, 0x5555551e, 0x7fffffa6, 0x7fffffa7,
479   0x33333319, 0x55555533, 0x7fffffc5, 0x7fffffc6,
480   0x3333331f, 0x5555553d, 0x7fffffd4, 0x7fffffd5,
481   0x33333322, 0x55555542, 0x7fffffdb, 0x7fffffdc,
482   0x33333323, 0x55555544, 0x7fffffde, 0x7fffffdf,
483   0x33333323, 0x55555545, 0x7fffffdf, 0x7fffffe0,
484   0x33333323, 0x55555545, 0x7fffffdf, 0x7fffffe0,
485   0x33333323, 0x55555545, 0x7fffffdf, 0x7fffffe0,
486   0x2aaaaaaa, 0x3ffffffe, 0x3fffffff, 0x3fffffff,
487   0x3fffffff, 0x5ffffffd, 0x5ffffffe, 0x5ffffffe,
488   0x4aaaaaa9, 0x6ffffffc, 0x6ffffffd, 0x6ffffffd,
489   0x4ffffffe, 0x77fffffb, 0x77fffffc, 0x77fffffc,
490   0x52aaaaa8, 0x7bfffffa, 0x7bfffffb, 0x7bfffffb,
491   0x53fffffd, 0x7dfffff9, 0x7dfffffa, 0x7dfffffa,
492   0x54aaaaa7, 0x7efffff8, 0x7efffff9, 0x7efffff9,
493   0x54fffffc, 0x7f7ffff7, 0x7f7ffff8, 0x7f7ffff8,
494   0x552aaaa6, 0x7fbffff6, 0x7fbffff7, 0x7fbffff7,
495   0x553ffffb, 0x7fdffff5, 0x7fdffff6, 0x7fdffff6,
496   0x554aaaa5, 0x7feffff4, 0x7feffff5, 0x7feffff5,
497   0x554ffffa, 0x7ff7fff3, 0x7ff7fff4, 0x7ff7fff4,
498   0x5552aaa4, 0x7ffbfff2, 0x7ffbfff3, 0x7ffbfff3,
499   0x5553fff9, 0x7ffdfff1, 0x7ffdfff2, 0x7ffdfff2,
500   0x5554aaa3, 0x7ffefff0, 0x7ffefff1, 0x7ffefff1,
501   0x5554fff8, 0x7fff7fef, 0x7fff7ff0, 0x7fff7ff0,
502   0x55552aa2, 0x7fffbfee, 0x7fffbfef, 0x7fffbfef,
503   0x55553ff7, 0x7fffdfed, 0x7fffdfee, 0x7fffdfee,
504   0x55554aa1, 0x7fffefec, 0x7fffefed, 0x7fffefed,
505   0x55554ff6, 0x7ffff7eb, 0x7ffff7ec, 0x7ffff7ec,
506   0x555552a0, 0x7ffffbea, 0x7ffffbeb, 0x7ffffbeb,
507   0x555553f5, 0x7ffffde9, 0x7ffffdea, 0x7ffffdea,
508   0x5555549f, 0x7ffffee8, 0x7ffffee9, 0x7ffffee9,
509   0x555554f4, 0x7fffff67, 0x7fffff68, 0x7fffff68,
510   0x5555551e, 0x7fffffa6, 0x7fffffa7, 0x7fffffa7,
511   0x55555533, 0x7fffffc5, 0x7fffffc6, 0x7fffffc6,
512   0x5555553d, 0x7fffffd4, 0x7fffffd5, 0x7fffffd5,
513   0x55555542, 0x7fffffdb, 0x7fffffdc, 0x7fffffdc,
514   0x55555544, 0x7fffffde, 0x7fffffdf, 0x7fffffdf,
515   0x55555545, 0x7fffffdf, 0x7fffffe0, 0x7fffffe0,
516   0x55555545, 0x7fffffdf, 0x7fffffe0, 0x7fffffe0,
517   0x55555545, 0x7fffffdf, 0x7fffffe0, 0x7fffffe0,
518   0x3ffffffe, 0x3fffffff, 0x3fffffff, 0x40000000,
519   0x5ffffffd, 0x5ffffffe, 0x5ffffffe, 0x60000000,
520   0x6ffffffc, 0x6ffffffd, 0x6ffffffd, 0x70000000,
521   0x77fffffb, 0x77fffffc, 0x77fffffc, 0x78000000,
522   0x7bfffffa, 0x7bfffffb, 0x7bfffffb, 0x7c000000,
523   0x7dfffff9, 0x7dfffffa, 0x7dfffffa, 0x7e000000,
524   0x7efffff8, 0x7efffff9, 0x7efffff9, 0x7f000000,
525   0x7f7ffff7, 0x7f7ffff8, 0x7f7ffff8, 0x7f800000,
526   0x7fbffff6, 0x7fbffff7, 0x7fbffff7, 0x7fc00000,
527   0x7fdffff5, 0x7fdffff6, 0x7fdffff6, 0x7fe00000,
528   0x7feffff4, 0x7feffff5, 0x7feffff5, 0x7ff00000,
529   0x7ff7fff3, 0x7ff7fff4, 0x7ff7fff4, 0x7ff80000,
530   0x7ffbfff2, 0x7ffbfff3, 0x7ffbfff3, 0x7ffc0000,
531   0x7ffdfff1, 0x7ffdfff2, 0x7ffdfff2, 0x7ffe0000,
532   0x7ffefff0, 0x7ffefff1, 0x7ffefff1, 0x7fff0000,
533   0x7fff7fef, 0x7fff7ff0, 0x7fff7ff0, 0x7fff8000,
534   0x7fffbfee, 0x7fffbfef, 0x7fffbfef, 0x7fffc000,
535   0x7fffdfed, 0x7fffdfee, 0x7fffdfee, 0x7fffe000,
536   0x7fffefec, 0x7fffefed, 0x7fffefed, 0x7ffff000,
537   0x7ffff7eb, 0x7ffff7ec, 0x7ffff7ec, 0x7ffff800,
538   0x7ffffbea, 0x7ffffbeb, 0x7ffffbeb, 0x7ffffc00,
539   0x7ffffde9, 0x7ffffdea, 0x7ffffdea, 0x7ffffe00,
540   0x7ffffee8, 0x7ffffee9, 0x7ffffee9, 0x7fffff00,
541   0x7fffff67, 0x7fffff68, 0x7fffff68, 0x7fffff80,
542   0x7fffffa6, 0x7fffffa7, 0x7fffffa7, 0x7fffffc0,
543   0x7fffffc5, 0x7fffffc6, 0x7fffffc6, 0x7fffffe0,
544   0x7fffffd4, 0x7fffffd5, 0x7fffffd5, 0x7ffffff0,
545   0x7fffffdb, 0x7fffffdc, 0x7fffffdc, 0x7ffffff8,
546   0x7fffffde, 0x7fffffdf, 0x7fffffdf, 0x7ffffffc,
547   0x7fffffdf, 0x7fffffe0, 0x7fffffe0, 0x7ffffffe,
548   0x7fffffdf, 0x7fffffe0, 0x7fffffe0, 0x7fffffff,
549   0x7fffffdf, 0x7fffffe0, 0x7fffffe0, 0x7fffffff,
550   0x3fffffff, 0x3fffffff, 0x40000000, 0x40000000,
551   0x5ffffffe, 0x5ffffffe, 0x60000000, 0x60000000,
552   0x6ffffffd, 0x6ffffffd, 0x70000000, 0x70000000,
553   0x77fffffc, 0x77fffffc, 0x78000000, 0x78000000,
554   0x7bfffffb, 0x7bfffffb, 0x7c000000, 0x7c000000,
555   0x7dfffffa, 0x7dfffffa, 0x7e000000, 0x7e000000,
556   0x7efffff9, 0x7efffff9, 0x7f000000, 0x7f000000,
557   0x7f7ffff8, 0x7f7ffff8, 0x7f800000, 0x7f800000,
558   0x7fbffff7, 0x7fbffff7, 0x7fc00000, 0x7fc00000,
559   0x7fdffff6, 0x7fdffff6, 0x7fe00000, 0x7fe00000,
560   0x7feffff5, 0x7feffff5, 0x7ff00000, 0x7ff00000,
561   0x7ff7fff4, 0x7ff7fff4, 0x7ff80000, 0x7ff80000,
562   0x7ffbfff3, 0x7ffbfff3, 0x7ffc0000, 0x7ffc0000,
563   0x7ffdfff2, 0x7ffdfff2, 0x7ffe0000, 0x7ffe0000,
564   0x7ffefff1, 0x7ffefff1, 0x7fff0000, 0x7fff0000,
565   0x7fff7ff0, 0x7fff7ff0, 0x7fff8000, 0x7fff8000,
566   0x7fffbfef, 0x7fffbfef, 0x7fffc000, 0x7fffc000,
567   0x7fffdfee, 0x7fffdfee, 0x7fffe000, 0x7fffe000,
568   0x7fffefed, 0x7fffefed, 0x7ffff000, 0x7ffff000,
569   0x7ffff7ec, 0x7ffff7ec, 0x7ffff800, 0x7ffff800,
570   0x7ffffbeb, 0x7ffffbeb, 0x7ffffc00, 0x7ffffc00,
571   0x7ffffdea, 0x7ffffdea, 0x7ffffe00, 0x7ffffe00,
572   0x7ffffee9, 0x7ffffee9, 0x7fffff00, 0x7fffff00,
573   0x7fffff68, 0x7fffff68, 0x7fffff80, 0x7fffff80,
574   0x7fffffa7, 0x7fffffa7, 0x7fffffc0, 0x7fffffc0,
575   0x7fffffc6, 0x7fffffc6, 0x7fffffe0, 0x7fffffe0,
576   0x7fffffd5, 0x7fffffd5, 0x7ffffff0, 0x7ffffff0,
577   0x7fffffdc, 0x7fffffdc, 0x7ffffff8, 0x7ffffff8,
578   0x7fffffdf, 0x7fffffdf, 0x7ffffffc, 0x7ffffffc,
579   0x7fffffe0, 0x7fffffe0, 0x7ffffffe, 0x7ffffffe,
580   0x7fffffe0, 0x7fffffe0, 0x7fffffff, 0x7fffffff,
581   0x7fffffe0, 0x7fffffe0, 0x7fffffff, 0x7fffffff,
582   0x3fffffff, 0x40000000, 0x40000000, 0x55555555,
583   0x5ffffffe, 0x60000000, 0x60000000, 0x7fffffff,
584   0x6ffffffd, 0x70000000, 0x70000000, 0x95555554,
585   0x77fffffc, 0x78000000, 0x78000000, 0x9ffffffe,
586   0x7bfffffb, 0x7c000000, 0x7c000000, 0xa5555553,
587   0x7dfffffa, 0x7e000000, 0x7e000000, 0xa7fffffd,
588   0x7efffff9, 0x7f000000, 0x7f000000, 0xa9555552,
589   0x7f7ffff8, 0x7f800000, 0x7f800000, 0xa9fffffc,
590   0x7fbffff7, 0x7fc00000, 0x7fc00000, 0xaa555551,
591   0x7fdffff6, 0x7fe00000, 0x7fe00000, 0xaa7ffffb,
592   0x7feffff5, 0x7ff00000, 0x7ff00000, 0xaa955550,
593   0x7ff7fff4, 0x7ff80000, 0x7ff80000, 0xaa9ffffa,
594   0x7ffbfff3, 0x7ffc0000, 0x7ffc0000, 0xaaa5554f,
595   0x7ffdfff2, 0x7ffe0000, 0x7ffe0000, 0xaaa7fff9,
596   0x7ffefff1, 0x7fff0000, 0x7fff0000, 0xaaa9554e,
597   0x7fff7ff0, 0x7fff8000, 0x7fff8000, 0xaaa9fff8,
598   0x7fffbfef, 0x7fffc000, 0x7fffc000, 0xaaaa554d,
599   0x7fffdfee, 0x7fffe000, 0x7fffe000, 0xaaaa7ff7,
600   0x7fffefed, 0x7ffff000, 0x7ffff000, 0xaaaa954c,
601   0x7ffff7ec, 0x7ffff800, 0x7ffff800, 0xaaaa9ff6,
602   0x7ffffbeb, 0x7ffffc00, 0x7ffffc00, 0xaaaaa54b,
603   0x7ffffdea, 0x7ffffe00, 0x7ffffe00, 0xaaaaa7f5,
604   0x7ffffee9, 0x7fffff00, 0x7fffff00, 0xaaaaa94a,
605   0x7fffff68, 0x7fffff80, 0x7fffff80, 0xaaaaa9f4,
606   0x7fffffa7, 0x7fffffc0, 0x7fffffc0, 0xaaaaaa49,
607   0x7fffffc6, 0x7fffffe0, 0x7fffffe0, 0xaaaaaa73,
608   0x7fffffd5, 0x7ffffff0, 0x7ffffff0, 0xaaaaaa88,
609   0x7fffffdc, 0x7ffffff8, 0x7ffffff8, 0xaaaaaa92,
610   0x7fffffdf, 0x7ffffffc, 0x7ffffffc, 0xaaaaaa97,
611   0x7fffffe0, 0x7ffffffe, 0x7ffffffe, 0xaaaaaa99,
612   0x7fffffe0, 0x7fffffff, 0x7fffffff, 0xaaaaaa9a,
613   0x7fffffe0, 0x7fffffff, 0x7fffffff, 0xaaaaaa9a,
614   0x40000000, 0x40000000, 0x55555555, 0x66666666,
615   0x60000000, 0x60000000, 0x7fffffff, 0x99999999,
616   0x70000000, 0x70000000, 0x95555554, 0xb3333332,
617   0x78000000, 0x78000000, 0x9ffffffe, 0xbffffffe,
618   0x7c000000, 0x7c000000, 0xa5555553, 0xc6666664,
619   0x7e000000, 0x7e000000, 0xa7fffffd, 0xc9999997,
620   0x7f000000, 0x7f000000, 0xa9555552, 0xcb333330,
621   0x7f800000, 0x7f800000, 0xa9fffffc, 0xcbfffffc,
622   0x7fc00000, 0x7fc00000, 0xaa555551, 0xcc666662,
623   0x7fe00000, 0x7fe00000, 0xaa7ffffb, 0xcc999995,
624   0x7ff00000, 0x7ff00000, 0xaa955550, 0xccb3332e,
625   0x7ff80000, 0x7ff80000, 0xaa9ffffa, 0xccbffffa,
626   0x7ffc0000, 0x7ffc0000, 0xaaa5554f, 0xccc66660,
627   0x7ffe0000, 0x7ffe0000, 0xaaa7fff9, 0xccc99993,
628   0x7fff0000, 0x7fff0000, 0xaaa9554e, 0xcccb332c,
629   0x7fff8000, 0x7fff8000, 0xaaa9fff8, 0xcccbfff8,
630   0x7fffc000, 0x7fffc000, 0xaaaa554d, 0xcccc665e,
631   0x7fffe000, 0x7fffe000, 0xaaaa7ff7, 0xcccc9991,
632   0x7ffff000, 0x7ffff000, 0xaaaa954c, 0xccccb32a,
633   0x7ffff800, 0x7ffff800, 0xaaaa9ff6, 0xccccbff6,
634   0x7ffffc00, 0x7ffffc00, 0xaaaaa54b, 0xccccc65c,
635   0x7ffffe00, 0x7ffffe00, 0xaaaaa7f5, 0xccccc98f,
636   0x7fffff00, 0x7fffff00, 0xaaaaa94a, 0xcccccb28,
637   0x7fffff80, 0x7fffff80, 0xaaaaa9f4, 0xcccccbf4,
638   0x7fffffc0, 0x7fffffc0, 0xaaaaaa49, 0xcccccc5a,
639   0x7fffffe0, 0x7fffffe0, 0xaaaaaa73, 0xcccccc8d,
640   0x7ffffff0, 0x7ffffff0, 0xaaaaaa88, 0xcccccca6,
641   0x7ffffff8, 0x7ffffff8, 0xaaaaaa92, 0xccccccb2,
642   0x7ffffffc, 0x7ffffffc, 0xaaaaaa97, 0xccccccb8,
643   0x7ffffffe, 0x7ffffffe, 0xaaaaaa99, 0xccccccbb,
644   0x7fffffff, 0x7fffffff, 0xaaaaaa9a, 0xccccccbc,
645   0x7fffffff, 0x7fffffff, 0xaaaaaa9a, 0xccccccbc,
646   0x40000000, 0x55555555, 0x66666666, 0x7fffc000,
647   0x60000000, 0x7fffffff, 0x99999999, 0xbfffa000,
648   0x70000000, 0x95555554, 0xb3333332, 0xdfff9000,
649   0x78000000, 0x9ffffffe, 0xbffffffe, 0xefff8800,
650   0x7c000000, 0xa5555553, 0xc6666664, 0xf7ff8400,
651   0x7e000000, 0xa7fffffd, 0xc9999997, 0xfbff8200,
652   0x7f000000, 0xa9555552, 0xcb333330, 0xfdff8100,
653   0x7f800000, 0xa9fffffc, 0xcbfffffc, 0xfeff8080,
654   0x7fc00000, 0xaa555551, 0xcc666662, 0xff7f8040,
655   0x7fe00000, 0xaa7ffffb, 0xcc999995, 0xffbf8020,
656   0x7ff00000, 0xaa955550, 0xccb3332e, 0xffdf8010,
657   0x7ff80000, 0xaa9ffffa, 0xccbffffa, 0xffef8008,
658   0x7ffc0000, 0xaaa5554f, 0xccc66660, 0xfff78004,
659   0x7ffe0000, 0xaaa7fff9, 0xccc99993, 0xfffb8002,
660   0x7fff0000, 0xaaa9554e, 0xcccb332c, 0xfffd8001,
661   0x7fff8000, 0xaaa9fff8, 0xcccbfff8, 0xfffe8000,
662   0x7fffc000, 0xaaaa554d, 0xcccc665e, 0xfffeffff,
663   0x7fffe000, 0xaaaa7ff7, 0xcccc9991, 0xffff3ffe,
664   0x7ffff000, 0xaaaa954c, 0xccccb32a, 0xffff5ffd,
665   0x7ffff800, 0xaaaa9ff6, 0xccccbff6, 0xffff6ffc,
666   0x7ffffc00, 0xaaaaa54b, 0xccccc65c, 0xffff77fb,
667   0x7ffffe00, 0xaaaaa7f5, 0xccccc98f, 0xffff7bfa,
668   0x7fffff00, 0xaaaaa94a, 0xcccccb28, 0xffff7df9,
669   0x7fffff80, 0xaaaaa9f4, 0xcccccbf4, 0xffff7ef8,
670   0x7fffffc0, 0xaaaaaa49, 0xcccccc5a, 0xffff7f77,
671   0x7fffffe0, 0xaaaaaa73, 0xcccccc8d, 0xffff7fb6,
672   0x7ffffff0, 0xaaaaaa88, 0xcccccca6, 0xffff7fd5,
673   0x7ffffff8, 0xaaaaaa92, 0xccccccb2, 0xffff7fe4,
674   0x7ffffffc, 0xaaaaaa97, 0xccccccb8, 0xffff7feb,
675   0x7ffffffe, 0xaaaaaa99, 0xccccccbb, 0xffff7fee,
676   0x7fffffff, 0xaaaaaa9a, 0xccccccbc, 0xffff7fef,
677   0x7fffffff, 0xaaaaaa9a, 0xccccccbc, 0xffff7fef,
678   0x55555555, 0x66666666, 0x7fffc000, 0x7fffc000,
679   0x7fffffff, 0x99999999, 0xbfffa000, 0xbfffa000,
680   0x95555554, 0xb3333332, 0xdfff9000, 0xdfff9000,
681   0x9ffffffe, 0xbffffffe, 0xefff8800, 0xefff8800,
682   0xa5555553, 0xc6666664, 0xf7ff8400, 0xf7ff8400,
683   0xa7fffffd, 0xc9999997, 0xfbff8200, 0xfbff8200,
684   0xa9555552, 0xcb333330, 0xfdff8100, 0xfdff8100,
685   0xa9fffffc, 0xcbfffffc, 0xfeff8080, 0xfeff8080,
686   0xaa555551, 0xcc666662, 0xff7f8040, 0xff7f8040,
687   0xaa7ffffb, 0xcc999995, 0xffbf8020, 0xffbf8020,
688   0xaa955550, 0xccb3332e, 0xffdf8010, 0xffdf8010,
689   0xaa9ffffa, 0xccbffffa, 0xffef8008, 0xffef8008,
690   0xaaa5554f, 0xccc66660, 0xfff78004, 0xfff78004,
691   0xaaa7fff9, 0xccc99993, 0xfffb8002, 0xfffb8002,
692   0xaaa9554e, 0xcccb332c, 0xfffd8001, 0xfffd8001,
693   0xaaa9fff8, 0xcccbfff8, 0xfffe8000, 0xfffe8000,
694   0xaaaa554d, 0xcccc665e, 0xfffeffff, 0xfffeffff,
695   0xaaaa7ff7, 0xcccc9991, 0xffff3ffe, 0xffff3ffe,
696   0xaaaa954c, 0xccccb32a, 0xffff5ffd, 0xffff5ffd,
697   0xaaaa9ff6, 0xccccbff6, 0xffff6ffc, 0xffff6ffc,
698   0xaaaaa54b, 0xccccc65c, 0xffff77fb, 0xffff77fb,
699   0xaaaaa7f5, 0xccccc98f, 0xffff7bfa, 0xffff7bfa,
700   0xaaaaa94a, 0xcccccb28, 0xffff7df9, 0xffff7df9,
701   0xaaaaa9f4, 0xcccccbf4, 0xffff7ef8, 0xffff7ef8,
702   0xaaaaaa49, 0xcccccc5a, 0xffff7f77, 0xffff7f77,
703   0xaaaaaa73, 0xcccccc8d, 0xffff7fb6, 0xffff7fb6,
704   0xaaaaaa88, 0xcccccca6, 0xffff7fd5, 0xffff7fd5,
705   0xaaaaaa92, 0xccccccb2, 0xffff7fe4, 0xffff7fe4,
706   0xaaaaaa97, 0xccccccb8, 0xffff7feb, 0xffff7feb,
707   0xaaaaaa99, 0xccccccbb, 0xffff7fee, 0xffff7fee,
708   0xaaaaaa9a, 0xccccccbc, 0xffff7fef, 0xffff7fef,
709   0xaaaaaa9a, 0xccccccbc, 0xffff7fef, 0xffff7fef,
710   0x66666666, 0x7fffc000, 0x7fffc000, 0x7fffc001,
711   0x99999999, 0xbfffa000, 0xbfffa000, 0xbfffa001,
712   0xb3333332, 0xdfff9000, 0xdfff9000, 0xdfff9001,
713   0xbffffffe, 0xefff8800, 0xefff8800, 0xefff8801,
714   0xc6666664, 0xf7ff8400, 0xf7ff8400, 0xf7ff8401,
715   0xc9999997, 0xfbff8200, 0xfbff8200, 0xfbff8201,
716   0xcb333330, 0xfdff8100, 0xfdff8100, 0xfdff8101,
717   0xcbfffffc, 0xfeff8080, 0xfeff8080, 0xfeff8081,
718   0xcc666662, 0xff7f8040, 0xff7f8040, 0xff7f8041,
719   0xcc999995, 0xffbf8020, 0xffbf8020, 0xffbf8021,
720   0xccb3332e, 0xffdf8010, 0xffdf8010, 0xffdf8011,
721   0xccbffffa, 0xffef8008, 0xffef8008, 0xffef8009,
722   0xccc66660, 0xfff78004, 0xfff78004, 0xfff78005,
723   0xccc99993, 0xfffb8002, 0xfffb8002, 0xfffb8003,
724   0xcccb332c, 0xfffd8001, 0xfffd8001, 0xfffd8002,
725   0xcccbfff8, 0xfffe8000, 0xfffe8000, 0xfffe8001,
726   0xcccc665e, 0xfffeffff, 0xfffeffff, 0xffff0000,
727   0xcccc9991, 0xffff3ffe, 0xffff3ffe, 0xffff3fff,
728   0xccccb32a, 0xffff5ffd, 0xffff5ffd, 0xffff5ffe,
729   0xccccbff6, 0xffff6ffc, 0xffff6ffc, 0xffff6ffd,
730   0xccccc65c, 0xffff77fb, 0xffff77fb, 0xffff77fc,
731   0xccccc98f, 0xffff7bfa, 0xffff7bfa, 0xffff7bfb,
732   0xcccccb28, 0xffff7df9, 0xffff7df9, 0xffff7dfa,
733   0xcccccbf4, 0xffff7ef8, 0xffff7ef8, 0xffff7ef9,
734   0xcccccc5a, 0xffff7f77, 0xffff7f77, 0xffff7f78,
735   0xcccccc8d, 0xffff7fb6, 0xffff7fb6, 0xffff7fb7,
736   0xcccccca6, 0xffff7fd5, 0xffff7fd5, 0xffff7fd6,
737   0xccccccb2, 0xffff7fe4, 0xffff7fe4, 0xffff7fe5,
738   0xccccccb8, 0xffff7feb, 0xffff7feb, 0xffff7fec,
739   0xccccccbb, 0xffff7fee, 0xffff7fee, 0xffff7fef,
740   0xccccccbc, 0xffff7fef, 0xffff7fef, 0xffff7ff0,
741   0xccccccbc, 0xffff7fef, 0xffff7fef, 0xffff7ff0,
742   0x7fffc000, 0x7fffc000, 0x7fffc001, 0x7fffc001,
743   0xbfffa000, 0xbfffa000, 0xbfffa001, 0xbfffa001,
744   0xdfff9000, 0xdfff9000, 0xdfff9001, 0xdfff9001,
745   0xefff8800, 0xefff8800, 0xefff8801, 0xefff8801,
746   0xf7ff8400, 0xf7ff8400, 0xf7ff8401, 0xf7ff8401,
747   0xfbff8200, 0xfbff8200, 0xfbff8201, 0xfbff8201,
748   0xfdff8100, 0xfdff8100, 0xfdff8101, 0xfdff8101,
749   0xfeff8080, 0xfeff8080, 0xfeff8081, 0xfeff8081,
750   0xff7f8040, 0xff7f8040, 0xff7f8041, 0xff7f8041,
751   0xffbf8020, 0xffbf8020, 0xffbf8021, 0xffbf8021,
752   0xffdf8010, 0xffdf8010, 0xffdf8011, 0xffdf8011,
753   0xffef8008, 0xffef8008, 0xffef8009, 0xffef8009,
754   0xfff78004, 0xfff78004, 0xfff78005, 0xfff78005,
755   0xfffb8002, 0xfffb8002, 0xfffb8003, 0xfffb8003,
756   0xfffd8001, 0xfffd8001, 0xfffd8002, 0xfffd8002,
757   0xfffe8000, 0xfffe8000, 0xfffe8001, 0xfffe8001,
758   0xfffeffff, 0xfffeffff, 0xffff0000, 0xffff0000,
759   0xffff3ffe, 0xffff3ffe, 0xffff3fff, 0xffff3fff,
760   0xffff5ffd, 0xffff5ffd, 0xffff5ffe, 0xffff5ffe,
761   0xffff6ffc, 0xffff6ffc, 0xffff6ffd, 0xffff6ffd,
762   0xffff77fb, 0xffff77fb, 0xffff77fc, 0xffff77fc,
763   0xffff7bfa, 0xffff7bfa, 0xffff7bfb, 0xffff7bfb,
764   0xffff7df9, 0xffff7df9, 0xffff7dfa, 0xffff7dfa,
765   0xffff7ef8, 0xffff7ef8, 0xffff7ef9, 0xffff7ef9,
766   0xffff7f77, 0xffff7f77, 0xffff7f78, 0xffff7f78,
767   0xffff7fb6, 0xffff7fb6, 0xffff7fb7, 0xffff7fb7,
768   0xffff7fd5, 0xffff7fd5, 0xffff7fd6, 0xffff7fd6,
769   0xffff7fe4, 0xffff7fe4, 0xffff7fe5, 0xffff7fe5,
770   0xffff7feb, 0xffff7feb, 0xffff7fec, 0xffff7fec,
771   0xffff7fee, 0xffff7fee, 0xffff7fef, 0xffff7fef,
772   0xffff7fef, 0xffff7fef, 0xffff7ff0, 0xffff7ff0,
773   0xffff7fef, 0xffff7fef, 0xffff7ff0, 0xffff7ff0,
774   0x7fffc000, 0x7fffc001, 0x7fffc001, 0x7fffffc0,
775   0xbfffa000, 0xbfffa001, 0xbfffa001, 0xbfffffa0,
776   0xdfff9000, 0xdfff9001, 0xdfff9001, 0xdfffff90,
777   0xefff8800, 0xefff8801, 0xefff8801, 0xefffff88,
778   0xf7ff8400, 0xf7ff8401, 0xf7ff8401, 0xf7ffff84,
779   0xfbff8200, 0xfbff8201, 0xfbff8201, 0xfbffff82,
780   0xfdff8100, 0xfdff8101, 0xfdff8101, 0xfdffff81,
781   0xfeff8080, 0xfeff8081, 0xfeff8081, 0xfeffff80,
782   0xff7f8040, 0xff7f8041, 0xff7f8041, 0xff7fff7f,
783   0xffbf8020, 0xffbf8021, 0xffbf8021, 0xffbfff7e,
784   0xffdf8010, 0xffdf8011, 0xffdf8011, 0xffdfff7d,
785   0xffef8008, 0xffef8009, 0xffef8009, 0xffefff7c,
786   0xfff78004, 0xfff78005, 0xfff78005, 0xfff7ff7b,
787   0xfffb8002, 0xfffb8003, 0xfffb8003, 0xfffbff7a,
788   0xfffd8001, 0xfffd8002, 0xfffd8002, 0xfffdff79,
789   0xfffe8000, 0xfffe8001, 0xfffe8001, 0xfffeff78,
790   0xfffeffff, 0xffff0000, 0xffff0000, 0xffff7f77,
791   0xffff3ffe, 0xffff3fff, 0xffff3fff, 0xffffbf76,
792   0xffff5ffd, 0xffff5ffe, 0xffff5ffe, 0xffffdf75,
793   0xffff6ffc, 0xffff6ffd, 0xffff6ffd, 0xffffef74,
794   0xffff77fb, 0xffff77fc, 0xffff77fc, 0xfffff773,
795   0xffff7bfa, 0xffff7bfb, 0xffff7bfb, 0xfffffb72,
796   0xffff7df9, 0xffff7dfa, 0xffff7dfa, 0xfffffd71,
797   0xffff7ef8, 0xffff7ef9, 0xffff7ef9, 0xfffffe70,
798   0xffff7f77, 0xffff7f78, 0xffff7f78, 0xfffffeef,
799   0xffff7fb6, 0xffff7fb7, 0xffff7fb7, 0xffffff2e,
800   0xffff7fd5, 0xffff7fd6, 0xffff7fd6, 0xffffff4d,
801   0xffff7fe4, 0xffff7fe5, 0xffff7fe5, 0xffffff5c,
802   0xffff7feb, 0xffff7fec, 0xffff7fec, 0xffffff63,
803   0xffff7fee, 0xffff7fef, 0xffff7fef, 0xffffff66,
804   0xffff7fef, 0xffff7ff0, 0xffff7ff0, 0xffffff67,
805   0xffff7fef, 0xffff7ff0, 0xffff7ff0, 0xffffff67,
806   0x7fffc001, 0x7fffc001, 0x7fffffc0, 0x7fffffc0,
807   0xbfffa001, 0xbfffa001, 0xbfffffa0, 0xbfffffa0,
808   0xdfff9001, 0xdfff9001, 0xdfffff90, 0xdfffff90,
809   0xefff8801, 0xefff8801, 0xefffff88, 0xefffff88,
810   0xf7ff8401, 0xf7ff8401, 0xf7ffff84, 0xf7ffff84,
811   0xfbff8201, 0xfbff8201, 0xfbffff82, 0xfbffff82,
812   0xfdff8101, 0xfdff8101, 0xfdffff81, 0xfdffff81,
813   0xfeff8081, 0xfeff8081, 0xfeffff80, 0xfeffff80,
814   0xff7f8041, 0xff7f8041, 0xff7fff7f, 0xff7fff7f,
815   0xffbf8021, 0xffbf8021, 0xffbfff7e, 0xffbfff7e,
816   0xffdf8011, 0xffdf8011, 0xffdfff7d, 0xffdfff7d,
817   0xffef8009, 0xffef8009, 0xffefff7c, 0xffefff7c,
818   0xfff78005, 0xfff78005, 0xfff7ff7b, 0xfff7ff7b,
819   0xfffb8003, 0xfffb8003, 0xfffbff7a, 0xfffbff7a,
820   0xfffd8002, 0xfffd8002, 0xfffdff79, 0xfffdff79,
821   0xfffe8001, 0xfffe8001, 0xfffeff78, 0xfffeff78,
822   0xffff0000, 0xffff0000, 0xffff7f77, 0xffff7f77,
823   0xffff3fff, 0xffff3fff, 0xffffbf76, 0xffffbf76,
824   0xffff5ffe, 0xffff5ffe, 0xffffdf75, 0xffffdf75,
825   0xffff6ffd, 0xffff6ffd, 0xffffef74, 0xffffef74,
826   0xffff77fc, 0xffff77fc, 0xfffff773, 0xfffff773,
827   0xffff7bfb, 0xffff7bfb, 0xfffffb72, 0xfffffb72,
828   0xffff7dfa, 0xffff7dfa, 0xfffffd71, 0xfffffd71,
829   0xffff7ef9, 0xffff7ef9, 0xfffffe70, 0xfffffe70,
830   0xffff7f78, 0xffff7f78, 0xfffffeef, 0xfffffeef,
831   0xffff7fb7, 0xffff7fb7, 0xffffff2e, 0xffffff2e,
832   0xffff7fd6, 0xffff7fd6, 0xffffff4d, 0xffffff4d,
833   0xffff7fe5, 0xffff7fe5, 0xffffff5c, 0xffffff5c,
834   0xffff7fec, 0xffff7fec, 0xffffff63, 0xffffff63,
835   0xffff7fef, 0xffff7fef, 0xffffff66, 0xffffff66,
836   0xffff7ff0, 0xffff7ff0, 0xffffff67, 0xffffff67,
837   0xffff7ff0, 0xffff7ff0, 0xffffff67, 0xffffff67,
838   0x7fffc001, 0x7fffffc0, 0x7fffffc0, 0x7fffffc1,
839   0xbfffa001, 0xbfffffa0, 0xbfffffa0, 0xbfffffa1,
840   0xdfff9001, 0xdfffff90, 0xdfffff90, 0xdfffff91,
841   0xefff8801, 0xefffff88, 0xefffff88, 0xefffff89,
842   0xf7ff8401, 0xf7ffff84, 0xf7ffff84, 0xf7ffff85,
843   0xfbff8201, 0xfbffff82, 0xfbffff82, 0xfbffff83,
844   0xfdff8101, 0xfdffff81, 0xfdffff81, 0xfdffff82,
845   0xfeff8081, 0xfeffff80, 0xfeffff80, 0xfeffff81,
846   0xff7f8041, 0xff7fff7f, 0xff7fff7f, 0xff7fff80,
847   0xffbf8021, 0xffbfff7e, 0xffbfff7e, 0xffbfff7f,
848   0xffdf8011, 0xffdfff7d, 0xffdfff7d, 0xffdfff7e,
849   0xffef8009, 0xffefff7c, 0xffefff7c, 0xffefff7d,
850   0xfff78005, 0xfff7ff7b, 0xfff7ff7b, 0xfff7ff7c,
851   0xfffb8003, 0xfffbff7a, 0xfffbff7a, 0xfffbff7b,
852   0xfffd8002, 0xfffdff79, 0xfffdff79, 0xfffdff7a,
853   0xfffe8001, 0xfffeff78, 0xfffeff78, 0xfffeff79,
854   0xffff0000, 0xffff7f77, 0xffff7f77, 0xffff7f78,
855   0xffff3fff, 0xffffbf76, 0xffffbf76, 0xffffbf77,
856   0xffff5ffe, 0xffffdf75, 0xffffdf75, 0xffffdf76,
857   0xffff6ffd, 0xffffef74, 0xffffef74, 0xffffef75,
858   0xffff77fc, 0xfffff773, 0xfffff773, 0xfffff774,
859   0xffff7bfb, 0xfffffb72, 0xfffffb72, 0xfffffb73,
860   0xffff7dfa, 0xfffffd71, 0xfffffd71, 0xfffffd72,
861   0xffff7ef9, 0xfffffe70, 0xfffffe70, 0xfffffe71,
862   0xffff7f78, 0xfffffeef, 0xfffffeef, 0xfffffef0,
863   0xffff7fb7, 0xffffff2e, 0xffffff2e, 0xffffff2f,
864   0xffff7fd6, 0xffffff4d, 0xffffff4d, 0xffffff4e,
865   0xffff7fe5, 0xffffff5c, 0xffffff5c, 0xffffff5d,
866   0xffff7fec, 0xffffff63, 0xffffff63, 0xffffff64,
867   0xffff7fef, 0xffffff66, 0xffffff66, 0xffffff67,
868   0xffff7ff0, 0xffffff67, 0xffffff67, 0xffffff68,
869   0xffff7ff0, 0xffffff67, 0xffffff67, 0xffffff68,
870   0x7fffffc0, 0x7fffffc0, 0x7fffffc1, 0x7fffffc1,
871   0xbfffffa0, 0xbfffffa0, 0xbfffffa1, 0xbfffffa1,
872   0xdfffff90, 0xdfffff90, 0xdfffff91, 0xdfffff91,
873   0xefffff88, 0xefffff88, 0xefffff89, 0xefffff89,
874   0xf7ffff84, 0xf7ffff84, 0xf7ffff85, 0xf7ffff85,
875   0xfbffff82, 0xfbffff82, 0xfbffff83, 0xfbffff83,
876   0xfdffff81, 0xfdffff81, 0xfdffff82, 0xfdffff82,
877   0xfeffff80, 0xfeffff80, 0xfeffff81, 0xfeffff81,
878   0xff7fff7f, 0xff7fff7f, 0xff7fff80, 0xff7fff80,
879   0xffbfff7e, 0xffbfff7e, 0xffbfff7f, 0xffbfff7f,
880   0xffdfff7d, 0xffdfff7d, 0xffdfff7e, 0xffdfff7e,
881   0xffefff7c, 0xffefff7c, 0xffefff7d, 0xffefff7d,
882   0xfff7ff7b, 0xfff7ff7b, 0xfff7ff7c, 0xfff7ff7c,
883   0xfffbff7a, 0xfffbff7a, 0xfffbff7b, 0xfffbff7b,
884   0xfffdff79, 0xfffdff79, 0xfffdff7a, 0xfffdff7a,
885   0xfffeff78, 0xfffeff78, 0xfffeff79, 0xfffeff79,
886   0xffff7f77, 0xffff7f77, 0xffff7f78, 0xffff7f78,
887   0xffffbf76, 0xffffbf76, 0xffffbf77, 0xffffbf77,
888   0xffffdf75, 0xffffdf75, 0xffffdf76, 0xffffdf76,
889   0xffffef74, 0xffffef74, 0xffffef75, 0xffffef75,
890   0xfffff773, 0xfffff773, 0xfffff774, 0xfffff774,
891   0xfffffb72, 0xfffffb72, 0xfffffb73, 0xfffffb73,
892   0xfffffd71, 0xfffffd71, 0xfffffd72, 0xfffffd72,
893   0xfffffe70, 0xfffffe70, 0xfffffe71, 0xfffffe71,
894   0xfffffeef, 0xfffffeef, 0xfffffef0, 0xfffffef0,
895   0xffffff2e, 0xffffff2e, 0xffffff2f, 0xffffff2f,
896   0xffffff4d, 0xffffff4d, 0xffffff4e, 0xffffff4e,
897   0xffffff5c, 0xffffff5c, 0xffffff5d, 0xffffff5d,
898   0xffffff63, 0xffffff63, 0xffffff64, 0xffffff64,
899   0xffffff66, 0xffffff66, 0xffffff67, 0xffffff67,
900   0xffffff67, 0xffffff67, 0xffffff68, 0xffffff68,
901   0xffffff67, 0xffffff67, 0xffffff68, 0xffffff68,
902   0x7fffffc0, 0x7fffffc1, 0x7fffffc1, 0x7ffffff0,
903   0xbfffffa0, 0xbfffffa1, 0xbfffffa1, 0xbfffffe8,
904   0xdfffff90, 0xdfffff91, 0xdfffff91, 0xdfffffe4,
905   0xefffff88, 0xefffff89, 0xefffff89, 0xefffffe2,
906   0xf7ffff84, 0xf7ffff85, 0xf7ffff85, 0xf7ffffe1,
907   0xfbffff82, 0xfbffff83, 0xfbffff83, 0xfbffffe0,
908   0xfdffff81, 0xfdffff82, 0xfdffff82, 0xfdffffdf,
909   0xfeffff80, 0xfeffff81, 0xfeffff81, 0xfeffffde,
910   0xff7fff7f, 0xff7fff80, 0xff7fff80, 0xff7fffdd,
911   0xffbfff7e, 0xffbfff7f, 0xffbfff7f, 0xffbfffdc,
912   0xffdfff7d, 0xffdfff7e, 0xffdfff7e, 0xffdfffdb,
913   0xffefff7c, 0xffefff7d, 0xffefff7d, 0xffefffda,
914   0xfff7ff7b, 0xfff7ff7c, 0xfff7ff7c, 0xfff7ffd9,
915   0xfffbff7a, 0xfffbff7b, 0xfffbff7b, 0xfffbffd8,
916   0xfffdff79, 0xfffdff7a, 0xfffdff7a, 0xfffdffd7,
917   0xfffeff78, 0xfffeff79, 0xfffeff79, 0xfffeffd6,
918   0xffff7f77, 0xffff7f78, 0xffff7f78, 0xffff7fd5,
919   0xffffbf76, 0xffffbf77, 0xffffbf77, 0xffffbfd4,
920   0xffffdf75, 0xffffdf76, 0xffffdf76, 0xffffdfd3,
921   0xffffef74, 0xffffef75, 0xffffef75, 0xffffefd2,
922   0xfffff773, 0xfffff774, 0xfffff774, 0xfffff7d1,
923   0xfffffb72, 0xfffffb73, 0xfffffb73, 0xfffffbd0,
924   0xfffffd71, 0xfffffd72, 0xfffffd72, 0xfffffdcf,
925   0xfffffe70, 0xfffffe71, 0xfffffe71, 0xfffffece,
926   0xfffffeef, 0xfffffef0, 0xfffffef0, 0xffffff4d,
927   0xffffff2e, 0xffffff2f, 0xffffff2f, 0xffffff8c,
928   0xffffff4d, 0xffffff4e, 0xffffff4e, 0xffffffab,
929   0xffffff5c, 0xffffff5d, 0xffffff5d, 0xffffffba,
930   0xffffff63, 0xffffff64, 0xffffff64, 0xffffffc1,
931   0xffffff66, 0xffffff67, 0xffffff67, 0xffffffc4,
932   0xffffff67, 0xffffff68, 0xffffff68, 0xffffffc5,
933   0xffffff67, 0xffffff68, 0xffffff68, 0xffffffc5,
934   0x7fffffc1, 0x7fffffc1, 0x7ffffff0, 0x7ffffffe,
935   0xbfffffa1, 0xbfffffa1, 0xbfffffe8, 0xbffffffd,
936   0xdfffff91, 0xdfffff91, 0xdfffffe4, 0xdffffffc,
937   0xefffff89, 0xefffff89, 0xefffffe2, 0xeffffffb,
938   0xf7ffff85, 0xf7ffff85, 0xf7ffffe1, 0xf7fffffa,
939   0xfbffff83, 0xfbffff83, 0xfbffffe0, 0xfbfffff9,
940   0xfdffff82, 0xfdffff82, 0xfdffffdf, 0xfdfffff8,
941   0xfeffff81, 0xfeffff81, 0xfeffffde, 0xfefffff7,
942   0xff7fff80, 0xff7fff80, 0xff7fffdd, 0xff7ffff6,
943   0xffbfff7f, 0xffbfff7f, 0xffbfffdc, 0xffbffff5,
944   0xffdfff7e, 0xffdfff7e, 0xffdfffdb, 0xffdffff4,
945   0xffefff7d, 0xffefff7d, 0xffefffda, 0xffeffff3,
946   0xfff7ff7c, 0xfff7ff7c, 0xfff7ffd9, 0xfff7fff2,
947   0xfffbff7b, 0xfffbff7b, 0xfffbffd8, 0xfffbfff1,
948   0xfffdff7a, 0xfffdff7a, 0xfffdffd7, 0xfffdfff0,
949   0xfffeff79, 0xfffeff79, 0xfffeffd6, 0xfffeffef,
950   0xffff7f78, 0xffff7f78, 0xffff7fd5, 0xffff7fee,
951   0xffffbf77, 0xffffbf77, 0xffffbfd4, 0xffffbfed,
952   0xffffdf76, 0xffffdf76, 0xffffdfd3, 0xffffdfec,
953   0xffffef75, 0xffffef75, 0xffffefd2, 0xffffefeb,
954   0xfffff774, 0xfffff774, 0xfffff7d1, 0xfffff7ea,
955   0xfffffb73, 0xfffffb73, 0xfffffbd0, 0xfffffbe9,
956   0xfffffd72, 0xfffffd72, 0xfffffdcf, 0xfffffde8,
957   0xfffffe71, 0xfffffe71, 0xfffffece, 0xfffffee7,
958   0xfffffef0, 0xfffffef0, 0xffffff4d, 0xffffff66,
959   0xffffff2f, 0xffffff2f, 0xffffff8c, 0xffffffa5,
960   0xffffff4e, 0xffffff4e, 0xffffffab, 0xffffffc4,
961   0xffffff5d, 0xffffff5d, 0xffffffba, 0xffffffd3,
962   0xffffff64, 0xffffff64, 0xffffffc1, 0xffffffda,
963   0xffffff67, 0xffffff67, 0xffffffc4, 0xffffffdd,
964   0xffffff68, 0xffffff68, 0xffffffc5, 0xffffffde,
965   0xffffff68, 0xffffff68, 0xffffffc5, 0xffffffde,
966   0x7fffffc1, 0x7ffffff0, 0x7ffffffe, 0x7fffffff,
967   0xbfffffa1, 0xbfffffe8, 0xbffffffd, 0xbffffffe,
968   0xdfffff91, 0xdfffffe4, 0xdffffffc, 0xdffffffd,
969   0xefffff89, 0xefffffe2, 0xeffffffb, 0xeffffffc,
970   0xf7ffff85, 0xf7ffffe1, 0xf7fffffa, 0xf7fffffb,
971   0xfbffff83, 0xfbffffe0, 0xfbfffff9, 0xfbfffffa,
972   0xfdffff82, 0xfdffffdf, 0xfdfffff8, 0xfdfffff9,
973   0xfeffff81, 0xfeffffde, 0xfefffff7, 0xfefffff8,
974   0xff7fff80, 0xff7fffdd, 0xff7ffff6, 0xff7ffff7,
975   0xffbfff7f, 0xffbfffdc, 0xffbffff5, 0xffbffff6,
976   0xffdfff7e, 0xffdfffdb, 0xffdffff4, 0xffdffff5,
977   0xffefff7d, 0xffefffda, 0xffeffff3, 0xffeffff4,
978   0xfff7ff7c, 0xfff7ffd9, 0xfff7fff2, 0xfff7fff3,
979   0xfffbff7b, 0xfffbffd8, 0xfffbfff1, 0xfffbfff2,
980   0xfffdff7a, 0xfffdffd7, 0xfffdfff0, 0xfffdfff1,
981   0xfffeff79, 0xfffeffd6, 0xfffeffef, 0xfffefff0,
982   0xffff7f78, 0xffff7fd5, 0xffff7fee, 0xffff7fef,
983   0xffffbf77, 0xffffbfd4, 0xffffbfed, 0xffffbfee,
984   0xffffdf76, 0xffffdfd3, 0xffffdfec, 0xffffdfed,
985   0xffffef75, 0xffffefd2, 0xffffefeb, 0xffffefec,
986   0xfffff774, 0xfffff7d1, 0xfffff7ea, 0xfffff7eb,
987   0xfffffb73, 0xfffffbd0, 0xfffffbe9, 0xfffffbea,
988   0xfffffd72, 0xfffffdcf, 0xfffffde8, 0xfffffde9,
989   0xfffffe71, 0xfffffece, 0xfffffee7, 0xfffffee8,
990   0xfffffef0, 0xffffff4d, 0xffffff66, 0xffffff67,
991   0xffffff2f, 0xffffff8c, 0xffffffa5, 0xffffffa6,
992   0xffffff4e, 0xffffffab, 0xffffffc4, 0xffffffc5,
993   0xffffff5d, 0xffffffba, 0xffffffd3, 0xffffffd4,
994   0xffffff64, 0xffffffc1, 0xffffffda, 0xffffffdb,
995   0xffffff67, 0xffffffc4, 0xffffffdd, 0xffffffde,
996   0xffffff68, 0xffffffc5, 0xffffffde, 0xffffffdf,
997   0xffffff68, 0xffffffc5, 0xffffffde, 0xffffffdf,
998   0x7ffffff0, 0x7ffffffe, 0x7fffffff, 0x7fffffff,
999   0xbfffffe8, 0xbffffffd, 0xbffffffe, 0xbffffffe,
1000   0xdfffffe4, 0xdffffffc, 0xdffffffd, 0xdffffffd,
1001   0xefffffe2, 0xeffffffb, 0xeffffffc, 0xeffffffc,
1002   0xf7ffffe1, 0xf7fffffa, 0xf7fffffb, 0xf7fffffb,
1003   0xfbffffe0, 0xfbfffff9, 0xfbfffffa, 0xfbfffffa,
1004   0xfdffffdf, 0xfdfffff8, 0xfdfffff9, 0xfdfffff9,
1005   0xfeffffde, 0xfefffff7, 0xfefffff8, 0xfefffff8,
1006   0xff7fffdd, 0xff7ffff6, 0xff7ffff7, 0xff7ffff7,
1007   0xffbfffdc, 0xffbffff5, 0xffbffff6, 0xffbffff6,
1008   0xffdfffdb, 0xffdffff4, 0xffdffff5, 0xffdffff5,
1009   0xffefffda, 0xffeffff3, 0xffeffff4, 0xffeffff4,
1010   0xfff7ffd9, 0xfff7fff2, 0xfff7fff3, 0xfff7fff3,
1011   0xfffbffd8, 0xfffbfff1, 0xfffbfff2, 0xfffbfff2,
1012   0xfffdffd7, 0xfffdfff0, 0xfffdfff1, 0xfffdfff1,
1013   0xfffeffd6, 0xfffeffef, 0xfffefff0, 0xfffefff0,
1014   0xffff7fd5, 0xffff7fee, 0xffff7fef, 0xffff7fef,
1015   0xffffbfd4, 0xffffbfed, 0xffffbfee, 0xffffbfee,
1016   0xffffdfd3, 0xffffdfec, 0xffffdfed, 0xffffdfed,
1017   0xffffefd2, 0xffffefeb, 0xffffefec, 0xffffefec,
1018   0xfffff7d1, 0xfffff7ea, 0xfffff7eb, 0xfffff7eb,
1019   0xfffffbd0, 0xfffffbe9, 0xfffffbea, 0xfffffbea,
1020   0xfffffdcf, 0xfffffde8, 0xfffffde9, 0xfffffde9,
1021   0xfffffece, 0xfffffee7, 0xfffffee8, 0xfffffee8,
1022   0xffffff4d, 0xffffff66, 0xffffff67, 0xffffff67,
1023   0xffffff8c, 0xffffffa5, 0xffffffa6, 0xffffffa6,
1024   0xffffffab, 0xffffffc4, 0xffffffc5, 0xffffffc5,
1025   0xffffffba, 0xffffffd3, 0xffffffd4, 0xffffffd4,
1026   0xffffffc1, 0xffffffda, 0xffffffdb, 0xffffffdb,
1027   0xffffffc4, 0xffffffdd, 0xffffffde, 0xffffffde,
1028   0xffffffc5, 0xffffffde, 0xffffffdf, 0xffffffdf,
1029   0xffffffc5, 0xffffffde, 0xffffffdf, 0xffffffdf,
1030 };
1031 const unsigned kExpectedCount_NEON_usra_4S_2OPIMM = 992;
1032 
1033 #endif  // VIXL_SIM_USRA_4S_2OPIMM_TRACE_AARCH64_H_
1034