• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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_UMAX_4S_TRACE_AARCH64_H_
35 #define VIXL_SIM_UMAX_4S_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_NEON_umax_4S[] = {
38   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
39   0x00007f00, 0x007ffd00, 0x007ffd00, 0x00000001,
40   0x007ffd00, 0x00007f00, 0x007ffd00, 0x00000002,
41   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000020,
42   0x00007e00, 0x00007f00, 0x007ffd00, 0x0000007d,
43   0x00007e00, 0x00007f00, 0x007ffd00, 0x0000007e,
44   0x00007e00, 0x00007f00, 0x007ffd00, 0x0000007f,
45   0x00007e00, 0x00007f00, 0x007ffd00, 0x00007ffd,
46   0x00007e00, 0x00007f00, 0x007ffd00, 0x00007ffe,
47   0x00007e00, 0x00007ffd, 0x007ffd00, 0x00007fff,
48   0x00007ffd, 0x00007ffe, 0x007ffd00, 0x33333333,
49   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
50   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
51   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
52   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
53   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
54   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
55   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
56   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
57   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
58   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
59   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
60   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
61   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
62   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
63   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
64   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
65   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
66   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
67   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
68   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
69   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000001,
70   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
71   0xffffffff, 0x007ffd00, 0x00000001, 0x00000002,
72   0x00007f00, 0x007ffd00, 0x00000002, 0x00000020,
73   0x00007f00, 0x007ffd00, 0x00000020, 0x0000007d,
74   0x00007f00, 0x007ffd00, 0x0000007d, 0x0000007e,
75   0x00007f00, 0x007ffd00, 0x0000007e, 0x0000007f,
76   0x00007f00, 0x007ffd00, 0x0000007f, 0x00007ffd,
77   0x00007f00, 0x007ffd00, 0x00007ffd, 0x00007ffe,
78   0x00007f00, 0x007ffd00, 0x00007ffe, 0x00007fff,
79   0x00007ffd, 0x007ffd00, 0x00007fff, 0x33333333,
80   0x00007ffe, 0x007ffd00, 0x33333333, 0x55555555,
81   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
82   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
83   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
84   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
85   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
86   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
87   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
88   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
89   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
90   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
91   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
92   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
93   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
94   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
95   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
96   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
97   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
98   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
99   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
100   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000002,
101   0xfffffffe, 0xffffffff, 0x00000001, 0x00000002,
102   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
103   0x007ffd00, 0x00000001, 0x00000002, 0x00000020,
104   0x007ffd00, 0x00000002, 0x00000020, 0x0000007d,
105   0x007ffd00, 0x00000020, 0x0000007d, 0x0000007e,
106   0x007ffd00, 0x0000007d, 0x0000007e, 0x0000007f,
107   0x007ffd00, 0x0000007e, 0x0000007f, 0x00007ffd,
108   0x007ffd00, 0x0000007f, 0x00007ffd, 0x00007ffe,
109   0x007ffd00, 0x00007ffd, 0x00007ffe, 0x00007fff,
110   0x007ffd00, 0x00007ffe, 0x00007fff, 0x33333333,
111   0x007ffd00, 0x00007fff, 0x33333333, 0x55555555,
112   0x007ffd00, 0x33333333, 0x55555555, 0x7ffffffd,
113   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
114   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
115   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
116   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
117   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
118   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
119   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
120   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
121   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
122   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
123   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
124   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
125   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
126   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
127   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
128   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
129   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
130   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
131   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000020,
132   0xfffffffe, 0xffffffff, 0x00000002, 0x00000020,
133   0xffffffff, 0x00000001, 0x00000002, 0x00000020,
134   0x00000000, 0x00000001, 0x00000002, 0x00000020,
135   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
136   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
137   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
138   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
139   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
140   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
141   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
142   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
143   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
144   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
145   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
146   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
147   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
148   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
149   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
150   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
151   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
152   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
153   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
154   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
155   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
156   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
157   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
158   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
159   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
160   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
161   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
162   0xfffffffd, 0xfffffffe, 0xffffffff, 0x0000007d,
163   0xfffffffe, 0xffffffff, 0x00000020, 0x0000007d,
164   0xffffffff, 0x00000002, 0x00000020, 0x0000007d,
165   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
166   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
167   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
168   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
169   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
170   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
171   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
172   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
173   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
174   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
175   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
176   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
177   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
178   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
179   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
180   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
181   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
182   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
183   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
184   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
185   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
186   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
187   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
188   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
189   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
190   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
191   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
192   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
193   0xfffffffd, 0xfffffffe, 0xffffffff, 0x0000007e,
194   0xfffffffe, 0xffffffff, 0x0000007d, 0x0000007e,
195   0xffffffff, 0x00000020, 0x0000007d, 0x0000007e,
196   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
197   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
198   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
199   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
200   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
201   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
202   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
203   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
204   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
205   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
206   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
207   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
208   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
209   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
210   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
211   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
212   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
213   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
214   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
215   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
216   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
217   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
218   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
219   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
220   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
221   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
222   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
223   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
224   0xfffffffd, 0xfffffffe, 0xffffffff, 0x0000007f,
225   0xfffffffe, 0xffffffff, 0x0000007e, 0x0000007f,
226   0xffffffff, 0x0000007d, 0x0000007e, 0x0000007f,
227   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
228   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
229   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
230   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
231   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
232   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
233   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
234   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
235   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
236   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
237   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
238   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
239   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
240   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
241   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
242   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
243   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
244   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
245   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
246   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
247   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
248   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
249   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
250   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
251   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
252   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
253   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
254   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
255   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00007ffd,
256   0xfffffffe, 0xffffffff, 0x0000007f, 0x00007ffd,
257   0xffffffff, 0x0000007e, 0x0000007f, 0x00007ffd,
258   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
259   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
260   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
261   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
262   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
263   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
264   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
265   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
266   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
267   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
268   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
269   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
270   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
271   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
272   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
273   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
274   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
275   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
276   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
277   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
278   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
279   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
280   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
281   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
282   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
283   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
284   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
285   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
286   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00007ffe,
287   0xfffffffe, 0xffffffff, 0x00007ffd, 0x00007ffe,
288   0xffffffff, 0x0000007f, 0x00007ffd, 0x00007ffe,
289   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
290   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
291   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
292   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
293   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
294   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
295   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
296   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
297   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
298   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
299   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
300   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
301   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
302   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
303   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
304   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
305   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
306   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
307   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
308   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
309   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
310   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
311   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
312   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
313   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
314   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
315   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
316   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
317   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00007fff,
318   0xfffffffe, 0xffffffff, 0x00007ffe, 0x00007fff,
319   0xffffffff, 0x00007ffd, 0x00007ffe, 0x00007fff,
320   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
321   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
322   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
323   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
324   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
325   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
326   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
327   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
328   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
329   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
330   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
331   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
332   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
333   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
334   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
335   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
336   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
337   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
338   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
339   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
340   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
341   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
342   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
343   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
344   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
345   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
346   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
347   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
348   0xfffffffd, 0xfffffffe, 0xffffffff, 0x33333333,
349   0xfffffffe, 0xffffffff, 0x00007fff, 0x33333333,
350   0xffffffff, 0x00007ffe, 0x00007fff, 0x33333333,
351   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
352   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
353   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
354   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
355   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
356   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
357   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
358   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
359   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
360   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
361   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
362   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
363   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
364   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
365   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
366   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
367   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
368   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
369   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
370   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
371   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
372   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
373   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
374   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
375   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
376   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
377   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
378   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
379   0xfffffffd, 0xfffffffe, 0xffffffff, 0x55555555,
380   0xfffffffe, 0xffffffff, 0x33333333, 0x55555555,
381   0xffffffff, 0x00007fff, 0x33333333, 0x55555555,
382   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
383   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
384   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
385   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
386   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
387   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
388   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
389   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
390   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
391   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
392   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
393   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
394   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
395   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
396   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
397   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
398   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
399   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
400   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
401   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
402   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
403   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
404   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
405   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
406   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
407   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
408   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
409   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
410   0xfffffffd, 0xfffffffe, 0xffffffff, 0x7ffffffd,
411   0xfffffffe, 0xffffffff, 0x55555555, 0x7ffffffd,
412   0xffffffff, 0x33333333, 0x55555555, 0x7ffffffd,
413   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
414   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
415   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
416   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
417   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
418   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
419   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
420   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
421   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
422   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
423   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
424   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
425   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
426   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
427   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
428   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
429   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
430   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
431   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
432   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
433   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
434   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
435   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
436   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
437   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
438   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
439   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
440   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
441   0xfffffffd, 0xfffffffe, 0xffffffff, 0x7ffffffe,
442   0xfffffffe, 0xffffffff, 0x7ffffffd, 0x7ffffffe,
443   0xffffffff, 0x55555555, 0x7ffffffd, 0x7ffffffe,
444   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
445   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
446   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
447   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
448   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
449   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
450   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
451   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
452   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
453   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
454   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
455   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
456   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
457   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
458   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
459   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
460   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
461   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
462   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
463   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
464   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
465   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
466   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
467   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
468   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
469   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
470   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
471   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
472   0xfffffffd, 0xfffffffe, 0xffffffff, 0x7fffffff,
473   0xfffffffe, 0xffffffff, 0x7ffffffe, 0x7fffffff,
474   0xffffffff, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
475   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
476   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
477   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
478   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
479   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
480   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
481   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
482   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
483   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
484   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
485   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
486   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
487   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
488   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
489   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
490   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
491   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
492   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
493   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
494   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
495   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
496   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
497   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
498   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
499   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
500   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
501   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
502   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
503   0xfffffffd, 0xfffffffe, 0xffffffff, 0x80000000,
504   0xfffffffe, 0xffffffff, 0x7fffffff, 0x80000000,
505   0xffffffff, 0x7ffffffe, 0x7fffffff, 0x80000000,
506   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
507   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
508   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
509   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
510   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
511   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
512   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
513   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
514   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
515   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
516   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
517   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
518   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
519   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
520   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
521   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
522   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
523   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
524   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
525   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
526   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
527   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
528   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
529   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
530   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
531   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
532   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
533   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
534   0xfffffffd, 0xfffffffe, 0xffffffff, 0x80000001,
535   0xfffffffe, 0xffffffff, 0x80000000, 0x80000001,
536   0xffffffff, 0x7fffffff, 0x80000000, 0x80000001,
537   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
538   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
539   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
540   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
541   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
542   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
543   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
544   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
545   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
546   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
547   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
548   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
549   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
550   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
551   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
552   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
553   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
554   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
555   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
556   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
557   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
558   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
559   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
560   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
561   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
562   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
563   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
564   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
565   0xfffffffd, 0xfffffffe, 0xffffffff, 0xaaaaaaaa,
566   0xfffffffe, 0xffffffff, 0x80000001, 0xaaaaaaaa,
567   0xffffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
568   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
569   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
570   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
571   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
572   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
573   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
574   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
575   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
576   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
577   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
578   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
579   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
580   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
581   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
582   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
583   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
584   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
585   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
586   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
587   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
588   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
589   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
590   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
591   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
592   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
593   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
594   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
595   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
596   0xfffffffd, 0xfffffffe, 0xffffffff, 0xcccccccc,
597   0xfffffffe, 0xffffffff, 0xaaaaaaaa, 0xcccccccc,
598   0xffffffff, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
599   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
600   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
601   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
602   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
603   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
604   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
605   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
606   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
607   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
608   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
609   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
610   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
611   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
612   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
613   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
614   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
615   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
616   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
617   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
618   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
619   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
620   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
621   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
622   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
623   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
624   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
625   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
626   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
627   0xfffffffd, 0xfffffffe, 0xffffffff, 0xffff8000,
628   0xfffffffe, 0xffffffff, 0xcccccccc, 0xffff8000,
629   0xffffffff, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
630   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
631   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
632   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
633   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
634   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
635   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
636   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
637   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
638   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
639   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
640   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
641   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
642   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
643   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
644   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
645   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
646   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
647   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
648   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
649   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
650   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
651   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
652   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
653   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
654   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
655   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
656   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
657   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
658   0xfffffffd, 0xfffffffe, 0xffffffff, 0xffff8001,
659   0xfffffffe, 0xffffffff, 0xffff8000, 0xffff8001,
660   0xffffffff, 0xcccccccc, 0xffff8000, 0xffff8001,
661   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
662   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
663   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
664   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
665   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
666   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
667   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
668   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
669   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
670   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
671   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
672   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
673   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
674   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
675   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
676   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
677   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
678   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
679   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
680   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
681   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
682   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
683   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
684   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
685   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
686   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
687   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
688   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
689   0xfffffffd, 0xfffffffe, 0xffffffff, 0xffff8002,
690   0xfffffffe, 0xffffffff, 0xffff8001, 0xffff8002,
691   0xffffffff, 0xffff8000, 0xffff8001, 0xffff8002,
692   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
693   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
694   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
695   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
696   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
697   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
698   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
699   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
700   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
701   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
702   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
703   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
704   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
705   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
706   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
707   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
708   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
709   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
710   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
711   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
712   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
713   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
714   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
715   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
716   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
717   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
718   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
719   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
720   0xfffffffd, 0xfffffffe, 0xffffffff, 0xffff8003,
721   0xfffffffe, 0xffffffff, 0xffff8002, 0xffff8003,
722   0xffffffff, 0xffff8001, 0xffff8002, 0xffff8003,
723   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
724   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
725   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
726   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
727   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
728   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
729   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
730   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
731   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
732   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
733   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
734   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
735   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
736   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
737   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
738   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
739   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
740   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
741   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
742   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
743   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
744   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
745   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
746   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
747   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
748   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
749   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
750   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
751   0xfffffffd, 0xfffffffe, 0xffffffff, 0xffffff80,
752   0xfffffffe, 0xffffffff, 0xffff8003, 0xffffff80,
753   0xffffffff, 0xffff8002, 0xffff8003, 0xffffff80,
754   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
755   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
756   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
757   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
758   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
759   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
760   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
761   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
762   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
763   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
764   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
765   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
766   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
767   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
768   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
769   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
770   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
771   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
772   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
773   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
774   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
775   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
776   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
777   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
778   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
779   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
780   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
781   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
782   0xfffffffd, 0xfffffffe, 0xffffffff, 0xffffff81,
783   0xfffffffe, 0xffffffff, 0xffffff80, 0xffffff81,
784   0xffffffff, 0xffff8003, 0xffffff80, 0xffffff81,
785   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
786   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
787   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
788   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
789   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
790   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
791   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
792   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
793   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
794   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
795   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
796   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
797   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
798   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
799   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
800   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
801   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
802   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
803   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
804   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
805   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
806   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
807   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
808   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
809   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
810   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
811   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
812   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
813   0xfffffffd, 0xfffffffe, 0xffffffff, 0xffffff82,
814   0xfffffffe, 0xffffffff, 0xffffff81, 0xffffff82,
815   0xffffffff, 0xffffff80, 0xffffff81, 0xffffff82,
816   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
817   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
818   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
819   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
820   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
821   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
822   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
823   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
824   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
825   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
826   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
827   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
828   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
829   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
830   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
831   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
832   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
833   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
834   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
835   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
836   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
837   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
838   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
839   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
840   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
841   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
842   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
843   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
844   0xfffffffd, 0xfffffffe, 0xffffffff, 0xffffff83,
845   0xfffffffe, 0xffffffff, 0xffffff82, 0xffffff83,
846   0xffffffff, 0xffffff81, 0xffffff82, 0xffffff83,
847   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
848   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
849   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
850   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
851   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
852   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
853   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
854   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
855   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
856   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
857   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
858   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
859   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
860   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
861   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
862   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
863   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
864   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
865   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
866   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
867   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
868   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
869   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
870   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
871   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
872   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
873   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
874   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
875   0xfffffffd, 0xfffffffe, 0xffffffff, 0xffffffe0,
876   0xfffffffe, 0xffffffff, 0xffffff83, 0xffffffe0,
877   0xffffffff, 0xffffff82, 0xffffff83, 0xffffffe0,
878   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
879   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
880   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
881   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
882   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
883   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
884   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
885   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
886   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
887   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
888   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
889   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
890   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
891   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
892   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
893   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
894   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
895   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
896   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
897   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
898   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
899   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
900   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
901   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
902   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
903   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
904   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
905   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
906   0xfffffffd, 0xfffffffe, 0xffffffff, 0xfffffffd,
907   0xfffffffe, 0xffffffff, 0xffffffe0, 0xfffffffd,
908   0xffffffff, 0xffffff83, 0xffffffe0, 0xfffffffd,
909   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
910   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
911   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
912   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
913   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
914   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
915   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
916   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
917   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
918   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
919   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
920   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
921   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
922   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
923   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
924   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
925   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
926   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
927   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
928   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
929   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
930   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
931   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
932   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
933   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
934   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
935   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
936   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
937   0xfffffffd, 0xfffffffe, 0xffffffff, 0xfffffffe,
938   0xfffffffe, 0xffffffff, 0xfffffffd, 0xfffffffe,
939   0xffffffff, 0xffffffe0, 0xfffffffd, 0xfffffffe,
940   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
941   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
942   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
943   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
944   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
945   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
946   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
947   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
948   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
949   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
950   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
951   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
952   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
953   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
954   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
955   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
956   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
957   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
958   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
959   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
960   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
961   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
962   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
963   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
964   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
965   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
966   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
967   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
968   0xfffffffd, 0xfffffffe, 0xffffffff, 0xffffffff,
969   0xfffffffe, 0xffffffff, 0xfffffffe, 0xffffffff,
970   0xffffffff, 0xfffffffd, 0xfffffffe, 0xffffffff,
971   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
972   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
973   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
974   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
975   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
976   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
977   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
978   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
979   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
980   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
981   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
982   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
983   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
984   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
985   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
986   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
987   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
988   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
989   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
990   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
991   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
992   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
993   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
994   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
995   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
996   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
997   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
998   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
999 };
1000 const unsigned kExpectedCount_NEON_umax_4S = 961;
1001 
1002 #endif  // VIXL_SIM_UMAX_4S_TRACE_AARCH64_H_
1003