• 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_ADD_4S_TRACE_AARCH64_H_
35 #define VIXL_SIM_ADD_4S_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_NEON_add_4S[] = {
38   0x0000fc00, 0x0000fe00, 0x00fffa00, 0x00000000,
39   0x0000fd00, 0x00807c00, 0x007ffd00, 0x00000001,
40   0x00807b00, 0x00007f00, 0x007ffd01, 0x00000002,
41   0x00007e00, 0x00007f01, 0x007ffd02, 0x00000020,
42   0x00007e01, 0x00007f02, 0x007ffd20, 0x0000007d,
43   0x00007e02, 0x00007f20, 0x007ffd7d, 0x0000007e,
44   0x00007e20, 0x00007f7d, 0x007ffd7e, 0x0000007f,
45   0x00007e7d, 0x00007f7e, 0x007ffd7f, 0x00007ffd,
46   0x00007e7e, 0x00007f7f, 0x00807cfd, 0x00007ffe,
47   0x00007e7f, 0x0000fefd, 0x00807cfe, 0x00007fff,
48   0x0000fdfd, 0x0000fefe, 0x00807cff, 0x33333333,
49   0x0000fdfe, 0x0000feff, 0x33b33033, 0x55555555,
50   0x0000fdff, 0x3333b233, 0x55d55255, 0x7ffffffd,
51   0x3333b133, 0x5555d455, 0x807ffcfd, 0x7ffffffe,
52   0x5555d355, 0x80007efd, 0x807ffcfe, 0x7fffffff,
53   0x80007dfd, 0x80007efe, 0x807ffcff, 0x80000000,
54   0x80007dfe, 0x80007eff, 0x807ffd00, 0x80000001,
55   0x80007dff, 0x80007f00, 0x807ffd01, 0xaaaaaaaa,
56   0x80007e00, 0x80007f01, 0xab2aa7aa, 0xcccccccc,
57   0x80007e01, 0xaaab29aa, 0xcd4cc9cc, 0xffff8000,
58   0xaaab28aa, 0xcccd4bcc, 0x007f7d00, 0xffff8001,
59   0xcccd4acc, 0xffffff00, 0x007f7d01, 0xffff8002,
60   0xfffffe00, 0xffffff01, 0x007f7d02, 0xffff8003,
61   0xfffffe01, 0xffffff02, 0x007f7d03, 0xffffff80,
62   0xfffffe02, 0xffffff03, 0x007ffc80, 0xffffff81,
63   0xfffffe03, 0x00007e80, 0x007ffc81, 0xffffff82,
64   0x00007d80, 0x00007e81, 0x007ffc82, 0xffffff83,
65   0x00007d81, 0x00007e82, 0x007ffc83, 0xffffffe0,
66   0x00007d82, 0x00007e83, 0x007ffce0, 0xfffffffd,
67   0x00007d83, 0x00007ee0, 0x007ffcfd, 0xfffffffe,
68   0x00007de0, 0x00007efd, 0x007ffcfe, 0xffffffff,
69   0x00007efd, 0x007ffcfe, 0xffffffff, 0x00000001,
70   0x00007efe, 0x007ffcff, 0x00000000, 0x00000002,
71   0x00007eff, 0x007ffd00, 0x00000001, 0x00000003,
72   0x00007f00, 0x007ffd01, 0x00000002, 0x00000021,
73   0x00007f01, 0x007ffd02, 0x00000020, 0x0000007e,
74   0x00007f02, 0x007ffd20, 0x0000007d, 0x0000007f,
75   0x00007f20, 0x007ffd7d, 0x0000007e, 0x00000080,
76   0x00007f7d, 0x007ffd7e, 0x0000007f, 0x00007ffe,
77   0x00007f7e, 0x007ffd7f, 0x00007ffd, 0x00007fff,
78   0x00007f7f, 0x00807cfd, 0x00007ffe, 0x00008000,
79   0x0000fefd, 0x00807cfe, 0x00007fff, 0x33333334,
80   0x0000fefe, 0x00807cff, 0x33333333, 0x55555556,
81   0x0000feff, 0x33b33033, 0x55555555, 0x7ffffffe,
82   0x3333b233, 0x55d55255, 0x7ffffffd, 0x7fffffff,
83   0x5555d455, 0x807ffcfd, 0x7ffffffe, 0x80000000,
84   0x80007efd, 0x807ffcfe, 0x7fffffff, 0x80000001,
85   0x80007efe, 0x807ffcff, 0x80000000, 0x80000002,
86   0x80007eff, 0x807ffd00, 0x80000001, 0xaaaaaaab,
87   0x80007f00, 0x807ffd01, 0xaaaaaaaa, 0xcccccccd,
88   0x80007f01, 0xab2aa7aa, 0xcccccccc, 0xffff8001,
89   0xaaab29aa, 0xcd4cc9cc, 0xffff8000, 0xffff8002,
90   0xcccd4bcc, 0x007f7d00, 0xffff8001, 0xffff8003,
91   0xffffff00, 0x007f7d01, 0xffff8002, 0xffff8004,
92   0xffffff01, 0x007f7d02, 0xffff8003, 0xffffff81,
93   0xffffff02, 0x007f7d03, 0xffffff80, 0xffffff82,
94   0xffffff03, 0x007ffc80, 0xffffff81, 0xffffff83,
95   0x00007e80, 0x007ffc81, 0xffffff82, 0xffffff84,
96   0x00007e81, 0x007ffc82, 0xffffff83, 0xffffffe1,
97   0x00007e82, 0x007ffc83, 0xffffffe0, 0xfffffffe,
98   0x00007e83, 0x007ffce0, 0xfffffffd, 0xffffffff,
99   0x00007ee0, 0x007ffcfd, 0xfffffffe, 0x00000000,
100   0x007ffcfd, 0xfffffffe, 0x00000000, 0x00000002,
101   0x007ffcfe, 0xffffffff, 0x00000001, 0x00000003,
102   0x007ffcff, 0x00000000, 0x00000002, 0x00000004,
103   0x007ffd00, 0x00000001, 0x00000003, 0x00000022,
104   0x007ffd01, 0x00000002, 0x00000021, 0x0000007f,
105   0x007ffd02, 0x00000020, 0x0000007e, 0x00000080,
106   0x007ffd20, 0x0000007d, 0x0000007f, 0x00000081,
107   0x007ffd7d, 0x0000007e, 0x00000080, 0x00007fff,
108   0x007ffd7e, 0x0000007f, 0x00007ffe, 0x00008000,
109   0x007ffd7f, 0x00007ffd, 0x00007fff, 0x00008001,
110   0x00807cfd, 0x00007ffe, 0x00008000, 0x33333335,
111   0x00807cfe, 0x00007fff, 0x33333334, 0x55555557,
112   0x00807cff, 0x33333333, 0x55555556, 0x7fffffff,
113   0x33b33033, 0x55555555, 0x7ffffffe, 0x80000000,
114   0x55d55255, 0x7ffffffd, 0x7fffffff, 0x80000001,
115   0x807ffcfd, 0x7ffffffe, 0x80000000, 0x80000002,
116   0x807ffcfe, 0x7fffffff, 0x80000001, 0x80000003,
117   0x807ffcff, 0x80000000, 0x80000002, 0xaaaaaaac,
118   0x807ffd00, 0x80000001, 0xaaaaaaab, 0xccccccce,
119   0x807ffd01, 0xaaaaaaaa, 0xcccccccd, 0xffff8002,
120   0xab2aa7aa, 0xcccccccc, 0xffff8001, 0xffff8003,
121   0xcd4cc9cc, 0xffff8000, 0xffff8002, 0xffff8004,
122   0x007f7d00, 0xffff8001, 0xffff8003, 0xffff8005,
123   0x007f7d01, 0xffff8002, 0xffff8004, 0xffffff82,
124   0x007f7d02, 0xffff8003, 0xffffff81, 0xffffff83,
125   0x007f7d03, 0xffffff80, 0xffffff82, 0xffffff84,
126   0x007ffc80, 0xffffff81, 0xffffff83, 0xffffff85,
127   0x007ffc81, 0xffffff82, 0xffffff84, 0xffffffe2,
128   0x007ffc82, 0xffffff83, 0xffffffe1, 0xffffffff,
129   0x007ffc83, 0xffffffe0, 0xfffffffe, 0x00000000,
130   0x007ffce0, 0xfffffffd, 0xffffffff, 0x00000001,
131   0xfffffffd, 0xffffffff, 0x00000001, 0x00000020,
132   0xfffffffe, 0x00000000, 0x00000002, 0x00000021,
133   0xffffffff, 0x00000001, 0x00000003, 0x00000022,
134   0x00000000, 0x00000002, 0x00000004, 0x00000040,
135   0x00000001, 0x00000003, 0x00000022, 0x0000009d,
136   0x00000002, 0x00000021, 0x0000007f, 0x0000009e,
137   0x00000020, 0x0000007e, 0x00000080, 0x0000009f,
138   0x0000007d, 0x0000007f, 0x00000081, 0x0000801d,
139   0x0000007e, 0x00000080, 0x00007fff, 0x0000801e,
140   0x0000007f, 0x00007ffe, 0x00008000, 0x0000801f,
141   0x00007ffd, 0x00007fff, 0x00008001, 0x33333353,
142   0x00007ffe, 0x00008000, 0x33333335, 0x55555575,
143   0x00007fff, 0x33333334, 0x55555557, 0x8000001d,
144   0x33333333, 0x55555556, 0x7fffffff, 0x8000001e,
145   0x55555555, 0x7ffffffe, 0x80000000, 0x8000001f,
146   0x7ffffffd, 0x7fffffff, 0x80000001, 0x80000020,
147   0x7ffffffe, 0x80000000, 0x80000002, 0x80000021,
148   0x7fffffff, 0x80000001, 0x80000003, 0xaaaaaaca,
149   0x80000000, 0x80000002, 0xaaaaaaac, 0xccccccec,
150   0x80000001, 0xaaaaaaab, 0xccccccce, 0xffff8020,
151   0xaaaaaaaa, 0xcccccccd, 0xffff8002, 0xffff8021,
152   0xcccccccc, 0xffff8001, 0xffff8003, 0xffff8022,
153   0xffff8000, 0xffff8002, 0xffff8004, 0xffff8023,
154   0xffff8001, 0xffff8003, 0xffff8005, 0xffffffa0,
155   0xffff8002, 0xffff8004, 0xffffff82, 0xffffffa1,
156   0xffff8003, 0xffffff81, 0xffffff83, 0xffffffa2,
157   0xffffff80, 0xffffff82, 0xffffff84, 0xffffffa3,
158   0xffffff81, 0xffffff83, 0xffffff85, 0x00000000,
159   0xffffff82, 0xffffff84, 0xffffffe2, 0x0000001d,
160   0xffffff83, 0xffffffe1, 0xffffffff, 0x0000001e,
161   0xffffffe0, 0xfffffffe, 0x00000000, 0x0000001f,
162   0xfffffffe, 0x00000000, 0x0000001f, 0x0000007d,
163   0xffffffff, 0x00000001, 0x00000020, 0x0000007e,
164   0x00000000, 0x00000002, 0x00000021, 0x0000007f,
165   0x00000001, 0x00000003, 0x00000022, 0x0000009d,
166   0x00000002, 0x00000004, 0x00000040, 0x000000fa,
167   0x00000003, 0x00000022, 0x0000009d, 0x000000fb,
168   0x00000021, 0x0000007f, 0x0000009e, 0x000000fc,
169   0x0000007e, 0x00000080, 0x0000009f, 0x0000807a,
170   0x0000007f, 0x00000081, 0x0000801d, 0x0000807b,
171   0x00000080, 0x00007fff, 0x0000801e, 0x0000807c,
172   0x00007ffe, 0x00008000, 0x0000801f, 0x333333b0,
173   0x00007fff, 0x00008001, 0x33333353, 0x555555d2,
174   0x00008000, 0x33333335, 0x55555575, 0x8000007a,
175   0x33333334, 0x55555557, 0x8000001d, 0x8000007b,
176   0x55555556, 0x7fffffff, 0x8000001e, 0x8000007c,
177   0x7ffffffe, 0x80000000, 0x8000001f, 0x8000007d,
178   0x7fffffff, 0x80000001, 0x80000020, 0x8000007e,
179   0x80000000, 0x80000002, 0x80000021, 0xaaaaab27,
180   0x80000001, 0x80000003, 0xaaaaaaca, 0xcccccd49,
181   0x80000002, 0xaaaaaaac, 0xccccccec, 0xffff807d,
182   0xaaaaaaab, 0xccccccce, 0xffff8020, 0xffff807e,
183   0xcccccccd, 0xffff8002, 0xffff8021, 0xffff807f,
184   0xffff8001, 0xffff8003, 0xffff8022, 0xffff8080,
185   0xffff8002, 0xffff8004, 0xffff8023, 0xfffffffd,
186   0xffff8003, 0xffff8005, 0xffffffa0, 0xfffffffe,
187   0xffff8004, 0xffffff82, 0xffffffa1, 0xffffffff,
188   0xffffff81, 0xffffff83, 0xffffffa2, 0x00000000,
189   0xffffff82, 0xffffff84, 0xffffffa3, 0x0000005d,
190   0xffffff83, 0xffffff85, 0x00000000, 0x0000007a,
191   0xffffff84, 0xffffffe2, 0x0000001d, 0x0000007b,
192   0xffffffe1, 0xffffffff, 0x0000001e, 0x0000007c,
193   0xffffffff, 0x0000001e, 0x0000007c, 0x0000007e,
194   0x00000000, 0x0000001f, 0x0000007d, 0x0000007f,
195   0x00000001, 0x00000020, 0x0000007e, 0x00000080,
196   0x00000002, 0x00000021, 0x0000007f, 0x0000009e,
197   0x00000003, 0x00000022, 0x0000009d, 0x000000fb,
198   0x00000004, 0x00000040, 0x000000fa, 0x000000fc,
199   0x00000022, 0x0000009d, 0x000000fb, 0x000000fd,
200   0x0000007f, 0x0000009e, 0x000000fc, 0x0000807b,
201   0x00000080, 0x0000009f, 0x0000807a, 0x0000807c,
202   0x00000081, 0x0000801d, 0x0000807b, 0x0000807d,
203   0x00007fff, 0x0000801e, 0x0000807c, 0x333333b1,
204   0x00008000, 0x0000801f, 0x333333b0, 0x555555d3,
205   0x00008001, 0x33333353, 0x555555d2, 0x8000007b,
206   0x33333335, 0x55555575, 0x8000007a, 0x8000007c,
207   0x55555557, 0x8000001d, 0x8000007b, 0x8000007d,
208   0x7fffffff, 0x8000001e, 0x8000007c, 0x8000007e,
209   0x80000000, 0x8000001f, 0x8000007d, 0x8000007f,
210   0x80000001, 0x80000020, 0x8000007e, 0xaaaaab28,
211   0x80000002, 0x80000021, 0xaaaaab27, 0xcccccd4a,
212   0x80000003, 0xaaaaaaca, 0xcccccd49, 0xffff807e,
213   0xaaaaaaac, 0xccccccec, 0xffff807d, 0xffff807f,
214   0xccccccce, 0xffff8020, 0xffff807e, 0xffff8080,
215   0xffff8002, 0xffff8021, 0xffff807f, 0xffff8081,
216   0xffff8003, 0xffff8022, 0xffff8080, 0xfffffffe,
217   0xffff8004, 0xffff8023, 0xfffffffd, 0xffffffff,
218   0xffff8005, 0xffffffa0, 0xfffffffe, 0x00000000,
219   0xffffff82, 0xffffffa1, 0xffffffff, 0x00000001,
220   0xffffff83, 0xffffffa2, 0x00000000, 0x0000005e,
221   0xffffff84, 0xffffffa3, 0x0000005d, 0x0000007b,
222   0xffffff85, 0x00000000, 0x0000007a, 0x0000007c,
223   0xffffffe2, 0x0000001d, 0x0000007b, 0x0000007d,
224   0x0000001d, 0x0000007b, 0x0000007d, 0x0000007f,
225   0x0000001e, 0x0000007c, 0x0000007e, 0x00000080,
226   0x0000001f, 0x0000007d, 0x0000007f, 0x00000081,
227   0x00000020, 0x0000007e, 0x00000080, 0x0000009f,
228   0x00000021, 0x0000007f, 0x0000009e, 0x000000fc,
229   0x00000022, 0x0000009d, 0x000000fb, 0x000000fd,
230   0x00000040, 0x000000fa, 0x000000fc, 0x000000fe,
231   0x0000009d, 0x000000fb, 0x000000fd, 0x0000807c,
232   0x0000009e, 0x000000fc, 0x0000807b, 0x0000807d,
233   0x0000009f, 0x0000807a, 0x0000807c, 0x0000807e,
234   0x0000801d, 0x0000807b, 0x0000807d, 0x333333b2,
235   0x0000801e, 0x0000807c, 0x333333b1, 0x555555d4,
236   0x0000801f, 0x333333b0, 0x555555d3, 0x8000007c,
237   0x33333353, 0x555555d2, 0x8000007b, 0x8000007d,
238   0x55555575, 0x8000007a, 0x8000007c, 0x8000007e,
239   0x8000001d, 0x8000007b, 0x8000007d, 0x8000007f,
240   0x8000001e, 0x8000007c, 0x8000007e, 0x80000080,
241   0x8000001f, 0x8000007d, 0x8000007f, 0xaaaaab29,
242   0x80000020, 0x8000007e, 0xaaaaab28, 0xcccccd4b,
243   0x80000021, 0xaaaaab27, 0xcccccd4a, 0xffff807f,
244   0xaaaaaaca, 0xcccccd49, 0xffff807e, 0xffff8080,
245   0xccccccec, 0xffff807d, 0xffff807f, 0xffff8081,
246   0xffff8020, 0xffff807e, 0xffff8080, 0xffff8082,
247   0xffff8021, 0xffff807f, 0xffff8081, 0xffffffff,
248   0xffff8022, 0xffff8080, 0xfffffffe, 0x00000000,
249   0xffff8023, 0xfffffffd, 0xffffffff, 0x00000001,
250   0xffffffa0, 0xfffffffe, 0x00000000, 0x00000002,
251   0xffffffa1, 0xffffffff, 0x00000001, 0x0000005f,
252   0xffffffa2, 0x00000000, 0x0000005e, 0x0000007c,
253   0xffffffa3, 0x0000005d, 0x0000007b, 0x0000007d,
254   0x00000000, 0x0000007a, 0x0000007c, 0x0000007e,
255   0x0000007a, 0x0000007c, 0x0000007e, 0x00007ffd,
256   0x0000007b, 0x0000007d, 0x0000007f, 0x00007ffe,
257   0x0000007c, 0x0000007e, 0x00000080, 0x00007fff,
258   0x0000007d, 0x0000007f, 0x00000081, 0x0000801d,
259   0x0000007e, 0x00000080, 0x0000009f, 0x0000807a,
260   0x0000007f, 0x0000009e, 0x000000fc, 0x0000807b,
261   0x0000009d, 0x000000fb, 0x000000fd, 0x0000807c,
262   0x000000fa, 0x000000fc, 0x000000fe, 0x0000fffa,
263   0x000000fb, 0x000000fd, 0x0000807c, 0x0000fffb,
264   0x000000fc, 0x0000807b, 0x0000807d, 0x0000fffc,
265   0x0000807a, 0x0000807c, 0x0000807e, 0x3333b330,
266   0x0000807b, 0x0000807d, 0x333333b2, 0x5555d552,
267   0x0000807c, 0x333333b1, 0x555555d4, 0x80007ffa,
268   0x333333b0, 0x555555d3, 0x8000007c, 0x80007ffb,
269   0x555555d2, 0x8000007b, 0x8000007d, 0x80007ffc,
270   0x8000007a, 0x8000007c, 0x8000007e, 0x80007ffd,
271   0x8000007b, 0x8000007d, 0x8000007f, 0x80007ffe,
272   0x8000007c, 0x8000007e, 0x80000080, 0xaaab2aa7,
273   0x8000007d, 0x8000007f, 0xaaaaab29, 0xcccd4cc9,
274   0x8000007e, 0xaaaaab28, 0xcccccd4b, 0xfffffffd,
275   0xaaaaab27, 0xcccccd4a, 0xffff807f, 0xfffffffe,
276   0xcccccd49, 0xffff807e, 0xffff8080, 0xffffffff,
277   0xffff807d, 0xffff807f, 0xffff8081, 0x00000000,
278   0xffff807e, 0xffff8080, 0xffff8082, 0x00007f7d,
279   0xffff807f, 0xffff8081, 0xffffffff, 0x00007f7e,
280   0xffff8080, 0xfffffffe, 0x00000000, 0x00007f7f,
281   0xfffffffd, 0xffffffff, 0x00000001, 0x00007f80,
282   0xfffffffe, 0x00000000, 0x00000002, 0x00007fdd,
283   0xffffffff, 0x00000001, 0x0000005f, 0x00007ffa,
284   0x00000000, 0x0000005e, 0x0000007c, 0x00007ffb,
285   0x0000005d, 0x0000007b, 0x0000007d, 0x00007ffc,
286   0x0000007b, 0x0000007d, 0x00007ffc, 0x00007ffe,
287   0x0000007c, 0x0000007e, 0x00007ffd, 0x00007fff,
288   0x0000007d, 0x0000007f, 0x00007ffe, 0x00008000,
289   0x0000007e, 0x00000080, 0x00007fff, 0x0000801e,
290   0x0000007f, 0x00000081, 0x0000801d, 0x0000807b,
291   0x00000080, 0x0000009f, 0x0000807a, 0x0000807c,
292   0x0000009e, 0x000000fc, 0x0000807b, 0x0000807d,
293   0x000000fb, 0x000000fd, 0x0000807c, 0x0000fffb,
294   0x000000fc, 0x000000fe, 0x0000fffa, 0x0000fffc,
295   0x000000fd, 0x0000807c, 0x0000fffb, 0x0000fffd,
296   0x0000807b, 0x0000807d, 0x0000fffc, 0x3333b331,
297   0x0000807c, 0x0000807e, 0x3333b330, 0x5555d553,
298   0x0000807d, 0x333333b2, 0x5555d552, 0x80007ffb,
299   0x333333b1, 0x555555d4, 0x80007ffa, 0x80007ffc,
300   0x555555d3, 0x8000007c, 0x80007ffb, 0x80007ffd,
301   0x8000007b, 0x8000007d, 0x80007ffc, 0x80007ffe,
302   0x8000007c, 0x8000007e, 0x80007ffd, 0x80007fff,
303   0x8000007d, 0x8000007f, 0x80007ffe, 0xaaab2aa8,
304   0x8000007e, 0x80000080, 0xaaab2aa7, 0xcccd4cca,
305   0x8000007f, 0xaaaaab29, 0xcccd4cc9, 0xfffffffe,
306   0xaaaaab28, 0xcccccd4b, 0xfffffffd, 0xffffffff,
307   0xcccccd4a, 0xffff807f, 0xfffffffe, 0x00000000,
308   0xffff807e, 0xffff8080, 0xffffffff, 0x00000001,
309   0xffff807f, 0xffff8081, 0x00000000, 0x00007f7e,
310   0xffff8080, 0xffff8082, 0x00007f7d, 0x00007f7f,
311   0xffff8081, 0xffffffff, 0x00007f7e, 0x00007f80,
312   0xfffffffe, 0x00000000, 0x00007f7f, 0x00007f81,
313   0xffffffff, 0x00000001, 0x00007f80, 0x00007fde,
314   0x00000000, 0x00000002, 0x00007fdd, 0x00007ffb,
315   0x00000001, 0x0000005f, 0x00007ffa, 0x00007ffc,
316   0x0000005e, 0x0000007c, 0x00007ffb, 0x00007ffd,
317   0x0000007c, 0x00007ffb, 0x00007ffd, 0x00007fff,
318   0x0000007d, 0x00007ffc, 0x00007ffe, 0x00008000,
319   0x0000007e, 0x00007ffd, 0x00007fff, 0x00008001,
320   0x0000007f, 0x00007ffe, 0x00008000, 0x0000801f,
321   0x00000080, 0x00007fff, 0x0000801e, 0x0000807c,
322   0x00000081, 0x0000801d, 0x0000807b, 0x0000807d,
323   0x0000009f, 0x0000807a, 0x0000807c, 0x0000807e,
324   0x000000fc, 0x0000807b, 0x0000807d, 0x0000fffc,
325   0x000000fd, 0x0000807c, 0x0000fffb, 0x0000fffd,
326   0x000000fe, 0x0000fffa, 0x0000fffc, 0x0000fffe,
327   0x0000807c, 0x0000fffb, 0x0000fffd, 0x3333b332,
328   0x0000807d, 0x0000fffc, 0x3333b331, 0x5555d554,
329   0x0000807e, 0x3333b330, 0x5555d553, 0x80007ffc,
330   0x333333b2, 0x5555d552, 0x80007ffb, 0x80007ffd,
331   0x555555d4, 0x80007ffa, 0x80007ffc, 0x80007ffe,
332   0x8000007c, 0x80007ffb, 0x80007ffd, 0x80007fff,
333   0x8000007d, 0x80007ffc, 0x80007ffe, 0x80008000,
334   0x8000007e, 0x80007ffd, 0x80007fff, 0xaaab2aa9,
335   0x8000007f, 0x80007ffe, 0xaaab2aa8, 0xcccd4ccb,
336   0x80000080, 0xaaab2aa7, 0xcccd4cca, 0xffffffff,
337   0xaaaaab29, 0xcccd4cc9, 0xfffffffe, 0x00000000,
338   0xcccccd4b, 0xfffffffd, 0xffffffff, 0x00000001,
339   0xffff807f, 0xfffffffe, 0x00000000, 0x00000002,
340   0xffff8080, 0xffffffff, 0x00000001, 0x00007f7f,
341   0xffff8081, 0x00000000, 0x00007f7e, 0x00007f80,
342   0xffff8082, 0x00007f7d, 0x00007f7f, 0x00007f81,
343   0xffffffff, 0x00007f7e, 0x00007f80, 0x00007f82,
344   0x00000000, 0x00007f7f, 0x00007f81, 0x00007fdf,
345   0x00000001, 0x00007f80, 0x00007fde, 0x00007ffc,
346   0x00000002, 0x00007fdd, 0x00007ffb, 0x00007ffd,
347   0x0000005f, 0x00007ffa, 0x00007ffc, 0x00007ffe,
348   0x00007ffa, 0x00007ffc, 0x00007ffe, 0x33333333,
349   0x00007ffb, 0x00007ffd, 0x00007fff, 0x33333334,
350   0x00007ffc, 0x00007ffe, 0x00008000, 0x33333335,
351   0x00007ffd, 0x00007fff, 0x00008001, 0x33333353,
352   0x00007ffe, 0x00008000, 0x0000801f, 0x333333b0,
353   0x00007fff, 0x0000801e, 0x0000807c, 0x333333b1,
354   0x0000801d, 0x0000807b, 0x0000807d, 0x333333b2,
355   0x0000807a, 0x0000807c, 0x0000807e, 0x3333b330,
356   0x0000807b, 0x0000807d, 0x0000fffc, 0x3333b331,
357   0x0000807c, 0x0000fffb, 0x0000fffd, 0x3333b332,
358   0x0000fffa, 0x0000fffc, 0x0000fffe, 0x66666666,
359   0x0000fffb, 0x0000fffd, 0x3333b332, 0x88888888,
360   0x0000fffc, 0x3333b331, 0x5555d554, 0xb3333330,
361   0x3333b330, 0x5555d553, 0x80007ffc, 0xb3333331,
362   0x5555d552, 0x80007ffb, 0x80007ffd, 0xb3333332,
363   0x80007ffa, 0x80007ffc, 0x80007ffe, 0xb3333333,
364   0x80007ffb, 0x80007ffd, 0x80007fff, 0xb3333334,
365   0x80007ffc, 0x80007ffe, 0x80008000, 0xdddddddd,
366   0x80007ffd, 0x80007fff, 0xaaab2aa9, 0xffffffff,
367   0x80007ffe, 0xaaab2aa8, 0xcccd4ccb, 0x3332b333,
368   0xaaab2aa7, 0xcccd4cca, 0xffffffff, 0x3332b334,
369   0xcccd4cc9, 0xfffffffe, 0x00000000, 0x3332b335,
370   0xfffffffd, 0xffffffff, 0x00000001, 0x3332b336,
371   0xfffffffe, 0x00000000, 0x00000002, 0x333332b3,
372   0xffffffff, 0x00000001, 0x00007f7f, 0x333332b4,
373   0x00000000, 0x00007f7e, 0x00007f80, 0x333332b5,
374   0x00007f7d, 0x00007f7f, 0x00007f81, 0x333332b6,
375   0x00007f7e, 0x00007f80, 0x00007f82, 0x33333313,
376   0x00007f7f, 0x00007f81, 0x00007fdf, 0x33333330,
377   0x00007f80, 0x00007fde, 0x00007ffc, 0x33333331,
378   0x00007fdd, 0x00007ffb, 0x00007ffd, 0x33333332,
379   0x00007ffb, 0x00007ffd, 0x33333332, 0x55555555,
380   0x00007ffc, 0x00007ffe, 0x33333333, 0x55555556,
381   0x00007ffd, 0x00007fff, 0x33333334, 0x55555557,
382   0x00007ffe, 0x00008000, 0x33333335, 0x55555575,
383   0x00007fff, 0x00008001, 0x33333353, 0x555555d2,
384   0x00008000, 0x0000801f, 0x333333b0, 0x555555d3,
385   0x0000801e, 0x0000807c, 0x333333b1, 0x555555d4,
386   0x0000807b, 0x0000807d, 0x333333b2, 0x5555d552,
387   0x0000807c, 0x0000807e, 0x3333b330, 0x5555d553,
388   0x0000807d, 0x0000fffc, 0x3333b331, 0x5555d554,
389   0x0000fffb, 0x0000fffd, 0x3333b332, 0x88888888,
390   0x0000fffc, 0x0000fffe, 0x66666666, 0xaaaaaaaa,
391   0x0000fffd, 0x3333b332, 0x88888888, 0xd5555552,
392   0x3333b331, 0x5555d554, 0xb3333330, 0xd5555553,
393   0x5555d553, 0x80007ffc, 0xb3333331, 0xd5555554,
394   0x80007ffb, 0x80007ffd, 0xb3333332, 0xd5555555,
395   0x80007ffc, 0x80007ffe, 0xb3333333, 0xd5555556,
396   0x80007ffd, 0x80007fff, 0xb3333334, 0xffffffff,
397   0x80007ffe, 0x80008000, 0xdddddddd, 0x22222221,
398   0x80007fff, 0xaaab2aa9, 0xffffffff, 0x5554d555,
399   0xaaab2aa8, 0xcccd4ccb, 0x3332b333, 0x5554d556,
400   0xcccd4cca, 0xffffffff, 0x3332b334, 0x5554d557,
401   0xfffffffe, 0x00000000, 0x3332b335, 0x5554d558,
402   0xffffffff, 0x00000001, 0x3332b336, 0x555554d5,
403   0x00000000, 0x00000002, 0x333332b3, 0x555554d6,
404   0x00000001, 0x00007f7f, 0x333332b4, 0x555554d7,
405   0x00007f7e, 0x00007f80, 0x333332b5, 0x555554d8,
406   0x00007f7f, 0x00007f81, 0x333332b6, 0x55555535,
407   0x00007f80, 0x00007f82, 0x33333313, 0x55555552,
408   0x00007f81, 0x00007fdf, 0x33333330, 0x55555553,
409   0x00007fde, 0x00007ffc, 0x33333331, 0x55555554,
410   0x00007ffc, 0x33333331, 0x55555554, 0x7ffffffd,
411   0x00007ffd, 0x33333332, 0x55555555, 0x7ffffffe,
412   0x00007ffe, 0x33333333, 0x55555556, 0x7fffffff,
413   0x00007fff, 0x33333334, 0x55555557, 0x8000001d,
414   0x00008000, 0x33333335, 0x55555575, 0x8000007a,
415   0x00008001, 0x33333353, 0x555555d2, 0x8000007b,
416   0x0000801f, 0x333333b0, 0x555555d3, 0x8000007c,
417   0x0000807c, 0x333333b1, 0x555555d4, 0x80007ffa,
418   0x0000807d, 0x333333b2, 0x5555d552, 0x80007ffb,
419   0x0000807e, 0x3333b330, 0x5555d553, 0x80007ffc,
420   0x0000fffc, 0x3333b331, 0x5555d554, 0xb3333330,
421   0x0000fffd, 0x3333b332, 0x88888888, 0xd5555552,
422   0x0000fffe, 0x66666666, 0xaaaaaaaa, 0xfffffffa,
423   0x3333b332, 0x88888888, 0xd5555552, 0xfffffffb,
424   0x5555d554, 0xb3333330, 0xd5555553, 0xfffffffc,
425   0x80007ffc, 0xb3333331, 0xd5555554, 0xfffffffd,
426   0x80007ffd, 0xb3333332, 0xd5555555, 0xfffffffe,
427   0x80007ffe, 0xb3333333, 0xd5555556, 0x2aaaaaa7,
428   0x80007fff, 0xb3333334, 0xffffffff, 0x4cccccc9,
429   0x80008000, 0xdddddddd, 0x22222221, 0x7fff7ffd,
430   0xaaab2aa9, 0xffffffff, 0x5554d555, 0x7fff7ffe,
431   0xcccd4ccb, 0x3332b333, 0x5554d556, 0x7fff7fff,
432   0xffffffff, 0x3332b334, 0x5554d557, 0x7fff8000,
433   0x00000000, 0x3332b335, 0x5554d558, 0x7fffff7d,
434   0x00000001, 0x3332b336, 0x555554d5, 0x7fffff7e,
435   0x00000002, 0x333332b3, 0x555554d6, 0x7fffff7f,
436   0x00007f7f, 0x333332b4, 0x555554d7, 0x7fffff80,
437   0x00007f80, 0x333332b5, 0x555554d8, 0x7fffffdd,
438   0x00007f81, 0x333332b6, 0x55555535, 0x7ffffffa,
439   0x00007f82, 0x33333313, 0x55555552, 0x7ffffffb,
440   0x00007fdf, 0x33333330, 0x55555553, 0x7ffffffc,
441   0x33333330, 0x55555553, 0x7ffffffc, 0x7ffffffe,
442   0x33333331, 0x55555554, 0x7ffffffd, 0x7fffffff,
443   0x33333332, 0x55555555, 0x7ffffffe, 0x80000000,
444   0x33333333, 0x55555556, 0x7fffffff, 0x8000001e,
445   0x33333334, 0x55555557, 0x8000001d, 0x8000007b,
446   0x33333335, 0x55555575, 0x8000007a, 0x8000007c,
447   0x33333353, 0x555555d2, 0x8000007b, 0x8000007d,
448   0x333333b0, 0x555555d3, 0x8000007c, 0x80007ffb,
449   0x333333b1, 0x555555d4, 0x80007ffa, 0x80007ffc,
450   0x333333b2, 0x5555d552, 0x80007ffb, 0x80007ffd,
451   0x3333b330, 0x5555d553, 0x80007ffc, 0xb3333331,
452   0x3333b331, 0x5555d554, 0xb3333330, 0xd5555553,
453   0x3333b332, 0x88888888, 0xd5555552, 0xfffffffb,
454   0x66666666, 0xaaaaaaaa, 0xfffffffa, 0xfffffffc,
455   0x88888888, 0xd5555552, 0xfffffffb, 0xfffffffd,
456   0xb3333330, 0xd5555553, 0xfffffffc, 0xfffffffe,
457   0xb3333331, 0xd5555554, 0xfffffffd, 0xffffffff,
458   0xb3333332, 0xd5555555, 0xfffffffe, 0x2aaaaaa8,
459   0xb3333333, 0xd5555556, 0x2aaaaaa7, 0x4cccccca,
460   0xb3333334, 0xffffffff, 0x4cccccc9, 0x7fff7ffe,
461   0xdddddddd, 0x22222221, 0x7fff7ffd, 0x7fff7fff,
462   0xffffffff, 0x5554d555, 0x7fff7ffe, 0x7fff8000,
463   0x3332b333, 0x5554d556, 0x7fff7fff, 0x7fff8001,
464   0x3332b334, 0x5554d557, 0x7fff8000, 0x7fffff7e,
465   0x3332b335, 0x5554d558, 0x7fffff7d, 0x7fffff7f,
466   0x3332b336, 0x555554d5, 0x7fffff7e, 0x7fffff80,
467   0x333332b3, 0x555554d6, 0x7fffff7f, 0x7fffff81,
468   0x333332b4, 0x555554d7, 0x7fffff80, 0x7fffffde,
469   0x333332b5, 0x555554d8, 0x7fffffdd, 0x7ffffffb,
470   0x333332b6, 0x55555535, 0x7ffffffa, 0x7ffffffc,
471   0x33333313, 0x55555552, 0x7ffffffb, 0x7ffffffd,
472   0x55555552, 0x7ffffffb, 0x7ffffffd, 0x7fffffff,
473   0x55555553, 0x7ffffffc, 0x7ffffffe, 0x80000000,
474   0x55555554, 0x7ffffffd, 0x7fffffff, 0x80000001,
475   0x55555555, 0x7ffffffe, 0x80000000, 0x8000001f,
476   0x55555556, 0x7fffffff, 0x8000001e, 0x8000007c,
477   0x55555557, 0x8000001d, 0x8000007b, 0x8000007d,
478   0x55555575, 0x8000007a, 0x8000007c, 0x8000007e,
479   0x555555d2, 0x8000007b, 0x8000007d, 0x80007ffc,
480   0x555555d3, 0x8000007c, 0x80007ffb, 0x80007ffd,
481   0x555555d4, 0x80007ffa, 0x80007ffc, 0x80007ffe,
482   0x5555d552, 0x80007ffb, 0x80007ffd, 0xb3333332,
483   0x5555d553, 0x80007ffc, 0xb3333331, 0xd5555554,
484   0x5555d554, 0xb3333330, 0xd5555553, 0xfffffffc,
485   0x88888888, 0xd5555552, 0xfffffffb, 0xfffffffd,
486   0xaaaaaaaa, 0xfffffffa, 0xfffffffc, 0xfffffffe,
487   0xd5555552, 0xfffffffb, 0xfffffffd, 0xffffffff,
488   0xd5555553, 0xfffffffc, 0xfffffffe, 0x00000000,
489   0xd5555554, 0xfffffffd, 0xffffffff, 0x2aaaaaa9,
490   0xd5555555, 0xfffffffe, 0x2aaaaaa8, 0x4ccccccb,
491   0xd5555556, 0x2aaaaaa7, 0x4cccccca, 0x7fff7fff,
492   0xffffffff, 0x4cccccc9, 0x7fff7ffe, 0x7fff8000,
493   0x22222221, 0x7fff7ffd, 0x7fff7fff, 0x7fff8001,
494   0x5554d555, 0x7fff7ffe, 0x7fff8000, 0x7fff8002,
495   0x5554d556, 0x7fff7fff, 0x7fff8001, 0x7fffff7f,
496   0x5554d557, 0x7fff8000, 0x7fffff7e, 0x7fffff80,
497   0x5554d558, 0x7fffff7d, 0x7fffff7f, 0x7fffff81,
498   0x555554d5, 0x7fffff7e, 0x7fffff80, 0x7fffff82,
499   0x555554d6, 0x7fffff7f, 0x7fffff81, 0x7fffffdf,
500   0x555554d7, 0x7fffff80, 0x7fffffde, 0x7ffffffc,
501   0x555554d8, 0x7fffffdd, 0x7ffffffb, 0x7ffffffd,
502   0x55555535, 0x7ffffffa, 0x7ffffffc, 0x7ffffffe,
503   0x7ffffffa, 0x7ffffffc, 0x7ffffffe, 0x80000000,
504   0x7ffffffb, 0x7ffffffd, 0x7fffffff, 0x80000001,
505   0x7ffffffc, 0x7ffffffe, 0x80000000, 0x80000002,
506   0x7ffffffd, 0x7fffffff, 0x80000001, 0x80000020,
507   0x7ffffffe, 0x80000000, 0x8000001f, 0x8000007d,
508   0x7fffffff, 0x8000001e, 0x8000007c, 0x8000007e,
509   0x8000001d, 0x8000007b, 0x8000007d, 0x8000007f,
510   0x8000007a, 0x8000007c, 0x8000007e, 0x80007ffd,
511   0x8000007b, 0x8000007d, 0x80007ffc, 0x80007ffe,
512   0x8000007c, 0x80007ffb, 0x80007ffd, 0x80007fff,
513   0x80007ffa, 0x80007ffc, 0x80007ffe, 0xb3333333,
514   0x80007ffb, 0x80007ffd, 0xb3333332, 0xd5555555,
515   0x80007ffc, 0xb3333331, 0xd5555554, 0xfffffffd,
516   0xb3333330, 0xd5555553, 0xfffffffc, 0xfffffffe,
517   0xd5555552, 0xfffffffb, 0xfffffffd, 0xffffffff,
518   0xfffffffa, 0xfffffffc, 0xfffffffe, 0x00000000,
519   0xfffffffb, 0xfffffffd, 0xffffffff, 0x00000001,
520   0xfffffffc, 0xfffffffe, 0x00000000, 0x2aaaaaaa,
521   0xfffffffd, 0xffffffff, 0x2aaaaaa9, 0x4ccccccc,
522   0xfffffffe, 0x2aaaaaa8, 0x4ccccccb, 0x7fff8000,
523   0x2aaaaaa7, 0x4cccccca, 0x7fff7fff, 0x7fff8001,
524   0x4cccccc9, 0x7fff7ffe, 0x7fff8000, 0x7fff8002,
525   0x7fff7ffd, 0x7fff7fff, 0x7fff8001, 0x7fff8003,
526   0x7fff7ffe, 0x7fff8000, 0x7fff8002, 0x7fffff80,
527   0x7fff7fff, 0x7fff8001, 0x7fffff7f, 0x7fffff81,
528   0x7fff8000, 0x7fffff7e, 0x7fffff80, 0x7fffff82,
529   0x7fffff7d, 0x7fffff7f, 0x7fffff81, 0x7fffff83,
530   0x7fffff7e, 0x7fffff80, 0x7fffff82, 0x7fffffe0,
531   0x7fffff7f, 0x7fffff81, 0x7fffffdf, 0x7ffffffd,
532   0x7fffff80, 0x7fffffde, 0x7ffffffc, 0x7ffffffe,
533   0x7fffffdd, 0x7ffffffb, 0x7ffffffd, 0x7fffffff,
534   0x7ffffffb, 0x7ffffffd, 0x7fffffff, 0x80000001,
535   0x7ffffffc, 0x7ffffffe, 0x80000000, 0x80000002,
536   0x7ffffffd, 0x7fffffff, 0x80000001, 0x80000003,
537   0x7ffffffe, 0x80000000, 0x80000002, 0x80000021,
538   0x7fffffff, 0x80000001, 0x80000020, 0x8000007e,
539   0x80000000, 0x8000001f, 0x8000007d, 0x8000007f,
540   0x8000001e, 0x8000007c, 0x8000007e, 0x80000080,
541   0x8000007b, 0x8000007d, 0x8000007f, 0x80007ffe,
542   0x8000007c, 0x8000007e, 0x80007ffd, 0x80007fff,
543   0x8000007d, 0x80007ffc, 0x80007ffe, 0x80008000,
544   0x80007ffb, 0x80007ffd, 0x80007fff, 0xb3333334,
545   0x80007ffc, 0x80007ffe, 0xb3333333, 0xd5555556,
546   0x80007ffd, 0xb3333332, 0xd5555555, 0xfffffffe,
547   0xb3333331, 0xd5555554, 0xfffffffd, 0xffffffff,
548   0xd5555553, 0xfffffffc, 0xfffffffe, 0x00000000,
549   0xfffffffb, 0xfffffffd, 0xffffffff, 0x00000001,
550   0xfffffffc, 0xfffffffe, 0x00000000, 0x00000002,
551   0xfffffffd, 0xffffffff, 0x00000001, 0x2aaaaaab,
552   0xfffffffe, 0x00000000, 0x2aaaaaaa, 0x4ccccccd,
553   0xffffffff, 0x2aaaaaa9, 0x4ccccccc, 0x7fff8001,
554   0x2aaaaaa8, 0x4ccccccb, 0x7fff8000, 0x7fff8002,
555   0x4cccccca, 0x7fff7fff, 0x7fff8001, 0x7fff8003,
556   0x7fff7ffe, 0x7fff8000, 0x7fff8002, 0x7fff8004,
557   0x7fff7fff, 0x7fff8001, 0x7fff8003, 0x7fffff81,
558   0x7fff8000, 0x7fff8002, 0x7fffff80, 0x7fffff82,
559   0x7fff8001, 0x7fffff7f, 0x7fffff81, 0x7fffff83,
560   0x7fffff7e, 0x7fffff80, 0x7fffff82, 0x7fffff84,
561   0x7fffff7f, 0x7fffff81, 0x7fffff83, 0x7fffffe1,
562   0x7fffff80, 0x7fffff82, 0x7fffffe0, 0x7ffffffe,
563   0x7fffff81, 0x7fffffdf, 0x7ffffffd, 0x7fffffff,
564   0x7fffffde, 0x7ffffffc, 0x7ffffffe, 0x80000000,
565   0x7ffffffc, 0x7ffffffe, 0x80000000, 0xaaaaaaaa,
566   0x7ffffffd, 0x7fffffff, 0x80000001, 0xaaaaaaab,
567   0x7ffffffe, 0x80000000, 0x80000002, 0xaaaaaaac,
568   0x7fffffff, 0x80000001, 0x80000003, 0xaaaaaaca,
569   0x80000000, 0x80000002, 0x80000021, 0xaaaaab27,
570   0x80000001, 0x80000020, 0x8000007e, 0xaaaaab28,
571   0x8000001f, 0x8000007d, 0x8000007f, 0xaaaaab29,
572   0x8000007c, 0x8000007e, 0x80000080, 0xaaab2aa7,
573   0x8000007d, 0x8000007f, 0x80007ffe, 0xaaab2aa8,
574   0x8000007e, 0x80007ffd, 0x80007fff, 0xaaab2aa9,
575   0x80007ffc, 0x80007ffe, 0x80008000, 0xdddddddd,
576   0x80007ffd, 0x80007fff, 0xb3333334, 0xffffffff,
577   0x80007ffe, 0xb3333333, 0xd5555556, 0x2aaaaaa7,
578   0xb3333332, 0xd5555555, 0xfffffffe, 0x2aaaaaa8,
579   0xd5555554, 0xfffffffd, 0xffffffff, 0x2aaaaaa9,
580   0xfffffffc, 0xfffffffe, 0x00000000, 0x2aaaaaaa,
581   0xfffffffd, 0xffffffff, 0x00000001, 0x2aaaaaab,
582   0xfffffffe, 0x00000000, 0x00000002, 0x55555554,
583   0xffffffff, 0x00000001, 0x2aaaaaab, 0x77777776,
584   0x00000000, 0x2aaaaaaa, 0x4ccccccd, 0xaaaa2aaa,
585   0x2aaaaaa9, 0x4ccccccc, 0x7fff8001, 0xaaaa2aab,
586   0x4ccccccb, 0x7fff8000, 0x7fff8002, 0xaaaa2aac,
587   0x7fff7fff, 0x7fff8001, 0x7fff8003, 0xaaaa2aad,
588   0x7fff8000, 0x7fff8002, 0x7fff8004, 0xaaaaaa2a,
589   0x7fff8001, 0x7fff8003, 0x7fffff81, 0xaaaaaa2b,
590   0x7fff8002, 0x7fffff80, 0x7fffff82, 0xaaaaaa2c,
591   0x7fffff7f, 0x7fffff81, 0x7fffff83, 0xaaaaaa2d,
592   0x7fffff80, 0x7fffff82, 0x7fffff84, 0xaaaaaa8a,
593   0x7fffff81, 0x7fffff83, 0x7fffffe1, 0xaaaaaaa7,
594   0x7fffff82, 0x7fffffe0, 0x7ffffffe, 0xaaaaaaa8,
595   0x7fffffdf, 0x7ffffffd, 0x7fffffff, 0xaaaaaaa9,
596   0x7ffffffd, 0x7fffffff, 0xaaaaaaa9, 0xcccccccc,
597   0x7ffffffe, 0x80000000, 0xaaaaaaaa, 0xcccccccd,
598   0x7fffffff, 0x80000001, 0xaaaaaaab, 0xccccccce,
599   0x80000000, 0x80000002, 0xaaaaaaac, 0xccccccec,
600   0x80000001, 0x80000003, 0xaaaaaaca, 0xcccccd49,
601   0x80000002, 0x80000021, 0xaaaaab27, 0xcccccd4a,
602   0x80000020, 0x8000007e, 0xaaaaab28, 0xcccccd4b,
603   0x8000007d, 0x8000007f, 0xaaaaab29, 0xcccd4cc9,
604   0x8000007e, 0x80000080, 0xaaab2aa7, 0xcccd4cca,
605   0x8000007f, 0x80007ffe, 0xaaab2aa8, 0xcccd4ccb,
606   0x80007ffd, 0x80007fff, 0xaaab2aa9, 0xffffffff,
607   0x80007ffe, 0x80008000, 0xdddddddd, 0x22222221,
608   0x80007fff, 0xb3333334, 0xffffffff, 0x4cccccc9,
609   0xb3333333, 0xd5555556, 0x2aaaaaa7, 0x4cccccca,
610   0xd5555555, 0xfffffffe, 0x2aaaaaa8, 0x4ccccccb,
611   0xfffffffd, 0xffffffff, 0x2aaaaaa9, 0x4ccccccc,
612   0xfffffffe, 0x00000000, 0x2aaaaaaa, 0x4ccccccd,
613   0xffffffff, 0x00000001, 0x2aaaaaab, 0x77777776,
614   0x00000000, 0x00000002, 0x55555554, 0x99999998,
615   0x00000001, 0x2aaaaaab, 0x77777776, 0xcccc4ccc,
616   0x2aaaaaaa, 0x4ccccccd, 0xaaaa2aaa, 0xcccc4ccd,
617   0x4ccccccc, 0x7fff8001, 0xaaaa2aab, 0xcccc4cce,
618   0x7fff8000, 0x7fff8002, 0xaaaa2aac, 0xcccc4ccf,
619   0x7fff8001, 0x7fff8003, 0xaaaa2aad, 0xcccccc4c,
620   0x7fff8002, 0x7fff8004, 0xaaaaaa2a, 0xcccccc4d,
621   0x7fff8003, 0x7fffff81, 0xaaaaaa2b, 0xcccccc4e,
622   0x7fffff80, 0x7fffff82, 0xaaaaaa2c, 0xcccccc4f,
623   0x7fffff81, 0x7fffff83, 0xaaaaaa2d, 0xccccccac,
624   0x7fffff82, 0x7fffff84, 0xaaaaaa8a, 0xccccccc9,
625   0x7fffff83, 0x7fffffe1, 0xaaaaaaa7, 0xccccccca,
626   0x7fffffe0, 0x7ffffffe, 0xaaaaaaa8, 0xcccccccb,
627   0x7ffffffe, 0xaaaaaaa8, 0xcccccccb, 0xffff8000,
628   0x7fffffff, 0xaaaaaaa9, 0xcccccccc, 0xffff8001,
629   0x80000000, 0xaaaaaaaa, 0xcccccccd, 0xffff8002,
630   0x80000001, 0xaaaaaaab, 0xccccccce, 0xffff8020,
631   0x80000002, 0xaaaaaaac, 0xccccccec, 0xffff807d,
632   0x80000003, 0xaaaaaaca, 0xcccccd49, 0xffff807e,
633   0x80000021, 0xaaaaab27, 0xcccccd4a, 0xffff807f,
634   0x8000007e, 0xaaaaab28, 0xcccccd4b, 0xfffffffd,
635   0x8000007f, 0xaaaaab29, 0xcccd4cc9, 0xfffffffe,
636   0x80000080, 0xaaab2aa7, 0xcccd4cca, 0xffffffff,
637   0x80007ffe, 0xaaab2aa8, 0xcccd4ccb, 0x3332b333,
638   0x80007fff, 0xaaab2aa9, 0xffffffff, 0x5554d555,
639   0x80008000, 0xdddddddd, 0x22222221, 0x7fff7ffd,
640   0xb3333334, 0xffffffff, 0x4cccccc9, 0x7fff7ffe,
641   0xd5555556, 0x2aaaaaa7, 0x4cccccca, 0x7fff7fff,
642   0xfffffffe, 0x2aaaaaa8, 0x4ccccccb, 0x7fff8000,
643   0xffffffff, 0x2aaaaaa9, 0x4ccccccc, 0x7fff8001,
644   0x00000000, 0x2aaaaaaa, 0x4ccccccd, 0xaaaa2aaa,
645   0x00000001, 0x2aaaaaab, 0x77777776, 0xcccc4ccc,
646   0x00000002, 0x55555554, 0x99999998, 0xffff0000,
647   0x2aaaaaab, 0x77777776, 0xcccc4ccc, 0xffff0001,
648   0x4ccccccd, 0xaaaa2aaa, 0xcccc4ccd, 0xffff0002,
649   0x7fff8001, 0xaaaa2aab, 0xcccc4cce, 0xffff0003,
650   0x7fff8002, 0xaaaa2aac, 0xcccc4ccf, 0xffff7f80,
651   0x7fff8003, 0xaaaa2aad, 0xcccccc4c, 0xffff7f81,
652   0x7fff8004, 0xaaaaaa2a, 0xcccccc4d, 0xffff7f82,
653   0x7fffff81, 0xaaaaaa2b, 0xcccccc4e, 0xffff7f83,
654   0x7fffff82, 0xaaaaaa2c, 0xcccccc4f, 0xffff7fe0,
655   0x7fffff83, 0xaaaaaa2d, 0xccccccac, 0xffff7ffd,
656   0x7fffff84, 0xaaaaaa8a, 0xccccccc9, 0xffff7ffe,
657   0x7fffffe1, 0xaaaaaaa7, 0xccccccca, 0xffff7fff,
658   0xaaaaaaa7, 0xccccccca, 0xffff7fff, 0xffff8001,
659   0xaaaaaaa8, 0xcccccccb, 0xffff8000, 0xffff8002,
660   0xaaaaaaa9, 0xcccccccc, 0xffff8001, 0xffff8003,
661   0xaaaaaaaa, 0xcccccccd, 0xffff8002, 0xffff8021,
662   0xaaaaaaab, 0xccccccce, 0xffff8020, 0xffff807e,
663   0xaaaaaaac, 0xccccccec, 0xffff807d, 0xffff807f,
664   0xaaaaaaca, 0xcccccd49, 0xffff807e, 0xffff8080,
665   0xaaaaab27, 0xcccccd4a, 0xffff807f, 0xfffffffe,
666   0xaaaaab28, 0xcccccd4b, 0xfffffffd, 0xffffffff,
667   0xaaaaab29, 0xcccd4cc9, 0xfffffffe, 0x00000000,
668   0xaaab2aa7, 0xcccd4cca, 0xffffffff, 0x3332b334,
669   0xaaab2aa8, 0xcccd4ccb, 0x3332b333, 0x5554d556,
670   0xaaab2aa9, 0xffffffff, 0x5554d555, 0x7fff7ffe,
671   0xdddddddd, 0x22222221, 0x7fff7ffd, 0x7fff7fff,
672   0xffffffff, 0x4cccccc9, 0x7fff7ffe, 0x7fff8000,
673   0x2aaaaaa7, 0x4cccccca, 0x7fff7fff, 0x7fff8001,
674   0x2aaaaaa8, 0x4ccccccb, 0x7fff8000, 0x7fff8002,
675   0x2aaaaaa9, 0x4ccccccc, 0x7fff8001, 0xaaaa2aab,
676   0x2aaaaaaa, 0x4ccccccd, 0xaaaa2aaa, 0xcccc4ccd,
677   0x2aaaaaab, 0x77777776, 0xcccc4ccc, 0xffff0001,
678   0x55555554, 0x99999998, 0xffff0000, 0xffff0002,
679   0x77777776, 0xcccc4ccc, 0xffff0001, 0xffff0003,
680   0xaaaa2aaa, 0xcccc4ccd, 0xffff0002, 0xffff0004,
681   0xaaaa2aab, 0xcccc4cce, 0xffff0003, 0xffff7f81,
682   0xaaaa2aac, 0xcccc4ccf, 0xffff7f80, 0xffff7f82,
683   0xaaaa2aad, 0xcccccc4c, 0xffff7f81, 0xffff7f83,
684   0xaaaaaa2a, 0xcccccc4d, 0xffff7f82, 0xffff7f84,
685   0xaaaaaa2b, 0xcccccc4e, 0xffff7f83, 0xffff7fe1,
686   0xaaaaaa2c, 0xcccccc4f, 0xffff7fe0, 0xffff7ffe,
687   0xaaaaaa2d, 0xccccccac, 0xffff7ffd, 0xffff7fff,
688   0xaaaaaa8a, 0xccccccc9, 0xffff7ffe, 0xffff8000,
689   0xccccccc9, 0xffff7ffe, 0xffff8000, 0xffff8002,
690   0xccccccca, 0xffff7fff, 0xffff8001, 0xffff8003,
691   0xcccccccb, 0xffff8000, 0xffff8002, 0xffff8004,
692   0xcccccccc, 0xffff8001, 0xffff8003, 0xffff8022,
693   0xcccccccd, 0xffff8002, 0xffff8021, 0xffff807f,
694   0xccccccce, 0xffff8020, 0xffff807e, 0xffff8080,
695   0xccccccec, 0xffff807d, 0xffff807f, 0xffff8081,
696   0xcccccd49, 0xffff807e, 0xffff8080, 0xffffffff,
697   0xcccccd4a, 0xffff807f, 0xfffffffe, 0x00000000,
698   0xcccccd4b, 0xfffffffd, 0xffffffff, 0x00000001,
699   0xcccd4cc9, 0xfffffffe, 0x00000000, 0x3332b335,
700   0xcccd4cca, 0xffffffff, 0x3332b334, 0x5554d557,
701   0xcccd4ccb, 0x3332b333, 0x5554d556, 0x7fff7fff,
702   0xffffffff, 0x5554d555, 0x7fff7ffe, 0x7fff8000,
703   0x22222221, 0x7fff7ffd, 0x7fff7fff, 0x7fff8001,
704   0x4cccccc9, 0x7fff7ffe, 0x7fff8000, 0x7fff8002,
705   0x4cccccca, 0x7fff7fff, 0x7fff8001, 0x7fff8003,
706   0x4ccccccb, 0x7fff8000, 0x7fff8002, 0xaaaa2aac,
707   0x4ccccccc, 0x7fff8001, 0xaaaa2aab, 0xcccc4cce,
708   0x4ccccccd, 0xaaaa2aaa, 0xcccc4ccd, 0xffff0002,
709   0x77777776, 0xcccc4ccc, 0xffff0001, 0xffff0003,
710   0x99999998, 0xffff0000, 0xffff0002, 0xffff0004,
711   0xcccc4ccc, 0xffff0001, 0xffff0003, 0xffff0005,
712   0xcccc4ccd, 0xffff0002, 0xffff0004, 0xffff7f82,
713   0xcccc4cce, 0xffff0003, 0xffff7f81, 0xffff7f83,
714   0xcccc4ccf, 0xffff7f80, 0xffff7f82, 0xffff7f84,
715   0xcccccc4c, 0xffff7f81, 0xffff7f83, 0xffff7f85,
716   0xcccccc4d, 0xffff7f82, 0xffff7f84, 0xffff7fe2,
717   0xcccccc4e, 0xffff7f83, 0xffff7fe1, 0xffff7fff,
718   0xcccccc4f, 0xffff7fe0, 0xffff7ffe, 0xffff8000,
719   0xccccccac, 0xffff7ffd, 0xffff7fff, 0xffff8001,
720   0xffff7ffd, 0xffff7fff, 0xffff8001, 0xffff8003,
721   0xffff7ffe, 0xffff8000, 0xffff8002, 0xffff8004,
722   0xffff7fff, 0xffff8001, 0xffff8003, 0xffff8005,
723   0xffff8000, 0xffff8002, 0xffff8004, 0xffff8023,
724   0xffff8001, 0xffff8003, 0xffff8022, 0xffff8080,
725   0xffff8002, 0xffff8021, 0xffff807f, 0xffff8081,
726   0xffff8020, 0xffff807e, 0xffff8080, 0xffff8082,
727   0xffff807d, 0xffff807f, 0xffff8081, 0x00000000,
728   0xffff807e, 0xffff8080, 0xffffffff, 0x00000001,
729   0xffff807f, 0xfffffffe, 0x00000000, 0x00000002,
730   0xfffffffd, 0xffffffff, 0x00000001, 0x3332b336,
731   0xfffffffe, 0x00000000, 0x3332b335, 0x5554d558,
732   0xffffffff, 0x3332b334, 0x5554d557, 0x7fff8000,
733   0x3332b333, 0x5554d556, 0x7fff7fff, 0x7fff8001,
734   0x5554d555, 0x7fff7ffe, 0x7fff8000, 0x7fff8002,
735   0x7fff7ffd, 0x7fff7fff, 0x7fff8001, 0x7fff8003,
736   0x7fff7ffe, 0x7fff8000, 0x7fff8002, 0x7fff8004,
737   0x7fff7fff, 0x7fff8001, 0x7fff8003, 0xaaaa2aad,
738   0x7fff8000, 0x7fff8002, 0xaaaa2aac, 0xcccc4ccf,
739   0x7fff8001, 0xaaaa2aab, 0xcccc4cce, 0xffff0003,
740   0xaaaa2aaa, 0xcccc4ccd, 0xffff0002, 0xffff0004,
741   0xcccc4ccc, 0xffff0001, 0xffff0003, 0xffff0005,
742   0xffff0000, 0xffff0002, 0xffff0004, 0xffff0006,
743   0xffff0001, 0xffff0003, 0xffff0005, 0xffff7f83,
744   0xffff0002, 0xffff0004, 0xffff7f82, 0xffff7f84,
745   0xffff0003, 0xffff7f81, 0xffff7f83, 0xffff7f85,
746   0xffff7f80, 0xffff7f82, 0xffff7f84, 0xffff7f86,
747   0xffff7f81, 0xffff7f83, 0xffff7f85, 0xffff7fe3,
748   0xffff7f82, 0xffff7f84, 0xffff7fe2, 0xffff8000,
749   0xffff7f83, 0xffff7fe1, 0xffff7fff, 0xffff8001,
750   0xffff7fe0, 0xffff7ffe, 0xffff8000, 0xffff8002,
751   0xffff7ffe, 0xffff8000, 0xffff8002, 0xffffff80,
752   0xffff7fff, 0xffff8001, 0xffff8003, 0xffffff81,
753   0xffff8000, 0xffff8002, 0xffff8004, 0xffffff82,
754   0xffff8001, 0xffff8003, 0xffff8005, 0xffffffa0,
755   0xffff8002, 0xffff8004, 0xffff8023, 0xfffffffd,
756   0xffff8003, 0xffff8022, 0xffff8080, 0xfffffffe,
757   0xffff8021, 0xffff807f, 0xffff8081, 0xffffffff,
758   0xffff807e, 0xffff8080, 0xffff8082, 0x00007f7d,
759   0xffff807f, 0xffff8081, 0x00000000, 0x00007f7e,
760   0xffff8080, 0xffffffff, 0x00000001, 0x00007f7f,
761   0xfffffffe, 0x00000000, 0x00000002, 0x333332b3,
762   0xffffffff, 0x00000001, 0x3332b336, 0x555554d5,
763   0x00000000, 0x3332b335, 0x5554d558, 0x7fffff7d,
764   0x3332b334, 0x5554d557, 0x7fff8000, 0x7fffff7e,
765   0x5554d556, 0x7fff7fff, 0x7fff8001, 0x7fffff7f,
766   0x7fff7ffe, 0x7fff8000, 0x7fff8002, 0x7fffff80,
767   0x7fff7fff, 0x7fff8001, 0x7fff8003, 0x7fffff81,
768   0x7fff8000, 0x7fff8002, 0x7fff8004, 0xaaaaaa2a,
769   0x7fff8001, 0x7fff8003, 0xaaaa2aad, 0xcccccc4c,
770   0x7fff8002, 0xaaaa2aac, 0xcccc4ccf, 0xffff7f80,
771   0xaaaa2aab, 0xcccc4cce, 0xffff0003, 0xffff7f81,
772   0xcccc4ccd, 0xffff0002, 0xffff0004, 0xffff7f82,
773   0xffff0001, 0xffff0003, 0xffff0005, 0xffff7f83,
774   0xffff0002, 0xffff0004, 0xffff0006, 0xffffff00,
775   0xffff0003, 0xffff0005, 0xffff7f83, 0xffffff01,
776   0xffff0004, 0xffff7f82, 0xffff7f84, 0xffffff02,
777   0xffff7f81, 0xffff7f83, 0xffff7f85, 0xffffff03,
778   0xffff7f82, 0xffff7f84, 0xffff7f86, 0xffffff60,
779   0xffff7f83, 0xffff7f85, 0xffff7fe3, 0xffffff7d,
780   0xffff7f84, 0xffff7fe2, 0xffff8000, 0xffffff7e,
781   0xffff7fe1, 0xffff7fff, 0xffff8001, 0xffffff7f,
782   0xffff7fff, 0xffff8001, 0xffffff7f, 0xffffff81,
783   0xffff8000, 0xffff8002, 0xffffff80, 0xffffff82,
784   0xffff8001, 0xffff8003, 0xffffff81, 0xffffff83,
785   0xffff8002, 0xffff8004, 0xffffff82, 0xffffffa1,
786   0xffff8003, 0xffff8005, 0xffffffa0, 0xfffffffe,
787   0xffff8004, 0xffff8023, 0xfffffffd, 0xffffffff,
788   0xffff8022, 0xffff8080, 0xfffffffe, 0x00000000,
789   0xffff807f, 0xffff8081, 0xffffffff, 0x00007f7e,
790   0xffff8080, 0xffff8082, 0x00007f7d, 0x00007f7f,
791   0xffff8081, 0x00000000, 0x00007f7e, 0x00007f80,
792   0xffffffff, 0x00000001, 0x00007f7f, 0x333332b4,
793   0x00000000, 0x00000002, 0x333332b3, 0x555554d6,
794   0x00000001, 0x3332b336, 0x555554d5, 0x7fffff7e,
795   0x3332b335, 0x5554d558, 0x7fffff7d, 0x7fffff7f,
796   0x5554d557, 0x7fff8000, 0x7fffff7e, 0x7fffff80,
797   0x7fff7fff, 0x7fff8001, 0x7fffff7f, 0x7fffff81,
798   0x7fff8000, 0x7fff8002, 0x7fffff80, 0x7fffff82,
799   0x7fff8001, 0x7fff8003, 0x7fffff81, 0xaaaaaa2b,
800   0x7fff8002, 0x7fff8004, 0xaaaaaa2a, 0xcccccc4d,
801   0x7fff8003, 0xaaaa2aad, 0xcccccc4c, 0xffff7f81,
802   0xaaaa2aac, 0xcccc4ccf, 0xffff7f80, 0xffff7f82,
803   0xcccc4cce, 0xffff0003, 0xffff7f81, 0xffff7f83,
804   0xffff0002, 0xffff0004, 0xffff7f82, 0xffff7f84,
805   0xffff0003, 0xffff0005, 0xffff7f83, 0xffffff01,
806   0xffff0004, 0xffff0006, 0xffffff00, 0xffffff02,
807   0xffff0005, 0xffff7f83, 0xffffff01, 0xffffff03,
808   0xffff7f82, 0xffff7f84, 0xffffff02, 0xffffff04,
809   0xffff7f83, 0xffff7f85, 0xffffff03, 0xffffff61,
810   0xffff7f84, 0xffff7f86, 0xffffff60, 0xffffff7e,
811   0xffff7f85, 0xffff7fe3, 0xffffff7d, 0xffffff7f,
812   0xffff7fe2, 0xffff8000, 0xffffff7e, 0xffffff80,
813   0xffff8000, 0xffffff7e, 0xffffff80, 0xffffff82,
814   0xffff8001, 0xffffff7f, 0xffffff81, 0xffffff83,
815   0xffff8002, 0xffffff80, 0xffffff82, 0xffffff84,
816   0xffff8003, 0xffffff81, 0xffffff83, 0xffffffa2,
817   0xffff8004, 0xffffff82, 0xffffffa1, 0xffffffff,
818   0xffff8005, 0xffffffa0, 0xfffffffe, 0x00000000,
819   0xffff8023, 0xfffffffd, 0xffffffff, 0x00000001,
820   0xffff8080, 0xfffffffe, 0x00000000, 0x00007f7f,
821   0xffff8081, 0xffffffff, 0x00007f7e, 0x00007f80,
822   0xffff8082, 0x00007f7d, 0x00007f7f, 0x00007f81,
823   0x00000000, 0x00007f7e, 0x00007f80, 0x333332b5,
824   0x00000001, 0x00007f7f, 0x333332b4, 0x555554d7,
825   0x00000002, 0x333332b3, 0x555554d6, 0x7fffff7f,
826   0x3332b336, 0x555554d5, 0x7fffff7e, 0x7fffff80,
827   0x5554d558, 0x7fffff7d, 0x7fffff7f, 0x7fffff81,
828   0x7fff8000, 0x7fffff7e, 0x7fffff80, 0x7fffff82,
829   0x7fff8001, 0x7fffff7f, 0x7fffff81, 0x7fffff83,
830   0x7fff8002, 0x7fffff80, 0x7fffff82, 0xaaaaaa2c,
831   0x7fff8003, 0x7fffff81, 0xaaaaaa2b, 0xcccccc4e,
832   0x7fff8004, 0xaaaaaa2a, 0xcccccc4d, 0xffff7f82,
833   0xaaaa2aad, 0xcccccc4c, 0xffff7f81, 0xffff7f83,
834   0xcccc4ccf, 0xffff7f80, 0xffff7f82, 0xffff7f84,
835   0xffff0003, 0xffff7f81, 0xffff7f83, 0xffff7f85,
836   0xffff0004, 0xffff7f82, 0xffff7f84, 0xffffff02,
837   0xffff0005, 0xffff7f83, 0xffffff01, 0xffffff03,
838   0xffff0006, 0xffffff00, 0xffffff02, 0xffffff04,
839   0xffff7f83, 0xffffff01, 0xffffff03, 0xffffff05,
840   0xffff7f84, 0xffffff02, 0xffffff04, 0xffffff62,
841   0xffff7f85, 0xffffff03, 0xffffff61, 0xffffff7f,
842   0xffff7f86, 0xffffff60, 0xffffff7e, 0xffffff80,
843   0xffff7fe3, 0xffffff7d, 0xffffff7f, 0xffffff81,
844   0xffffff7d, 0xffffff7f, 0xffffff81, 0xffffff83,
845   0xffffff7e, 0xffffff80, 0xffffff82, 0xffffff84,
846   0xffffff7f, 0xffffff81, 0xffffff83, 0xffffff85,
847   0xffffff80, 0xffffff82, 0xffffff84, 0xffffffa3,
848   0xffffff81, 0xffffff83, 0xffffffa2, 0x00000000,
849   0xffffff82, 0xffffffa1, 0xffffffff, 0x00000001,
850   0xffffffa0, 0xfffffffe, 0x00000000, 0x00000002,
851   0xfffffffd, 0xffffffff, 0x00000001, 0x00007f80,
852   0xfffffffe, 0x00000000, 0x00007f7f, 0x00007f81,
853   0xffffffff, 0x00007f7e, 0x00007f80, 0x00007f82,
854   0x00007f7d, 0x00007f7f, 0x00007f81, 0x333332b6,
855   0x00007f7e, 0x00007f80, 0x333332b5, 0x555554d8,
856   0x00007f7f, 0x333332b4, 0x555554d7, 0x7fffff80,
857   0x333332b3, 0x555554d6, 0x7fffff7f, 0x7fffff81,
858   0x555554d5, 0x7fffff7e, 0x7fffff80, 0x7fffff82,
859   0x7fffff7d, 0x7fffff7f, 0x7fffff81, 0x7fffff83,
860   0x7fffff7e, 0x7fffff80, 0x7fffff82, 0x7fffff84,
861   0x7fffff7f, 0x7fffff81, 0x7fffff83, 0xaaaaaa2d,
862   0x7fffff80, 0x7fffff82, 0xaaaaaa2c, 0xcccccc4f,
863   0x7fffff81, 0xaaaaaa2b, 0xcccccc4e, 0xffff7f83,
864   0xaaaaaa2a, 0xcccccc4d, 0xffff7f82, 0xffff7f84,
865   0xcccccc4c, 0xffff7f81, 0xffff7f83, 0xffff7f85,
866   0xffff7f80, 0xffff7f82, 0xffff7f84, 0xffff7f86,
867   0xffff7f81, 0xffff7f83, 0xffff7f85, 0xffffff03,
868   0xffff7f82, 0xffff7f84, 0xffffff02, 0xffffff04,
869   0xffff7f83, 0xffffff01, 0xffffff03, 0xffffff05,
870   0xffffff00, 0xffffff02, 0xffffff04, 0xffffff06,
871   0xffffff01, 0xffffff03, 0xffffff05, 0xffffff63,
872   0xffffff02, 0xffffff04, 0xffffff62, 0xffffff80,
873   0xffffff03, 0xffffff61, 0xffffff7f, 0xffffff81,
874   0xffffff60, 0xffffff7e, 0xffffff80, 0xffffff82,
875   0xffffff7e, 0xffffff80, 0xffffff82, 0xffffffe0,
876   0xffffff7f, 0xffffff81, 0xffffff83, 0xffffffe1,
877   0xffffff80, 0xffffff82, 0xffffff84, 0xffffffe2,
878   0xffffff81, 0xffffff83, 0xffffff85, 0x00000000,
879   0xffffff82, 0xffffff84, 0xffffffa3, 0x0000005d,
880   0xffffff83, 0xffffffa2, 0x00000000, 0x0000005e,
881   0xffffffa1, 0xffffffff, 0x00000001, 0x0000005f,
882   0xfffffffe, 0x00000000, 0x00000002, 0x00007fdd,
883   0xffffffff, 0x00000001, 0x00007f80, 0x00007fde,
884   0x00000000, 0x00007f7f, 0x00007f81, 0x00007fdf,
885   0x00007f7e, 0x00007f80, 0x00007f82, 0x33333313,
886   0x00007f7f, 0x00007f81, 0x333332b6, 0x55555535,
887   0x00007f80, 0x333332b5, 0x555554d8, 0x7fffffdd,
888   0x333332b4, 0x555554d7, 0x7fffff80, 0x7fffffde,
889   0x555554d6, 0x7fffff7f, 0x7fffff81, 0x7fffffdf,
890   0x7fffff7e, 0x7fffff80, 0x7fffff82, 0x7fffffe0,
891   0x7fffff7f, 0x7fffff81, 0x7fffff83, 0x7fffffe1,
892   0x7fffff80, 0x7fffff82, 0x7fffff84, 0xaaaaaa8a,
893   0x7fffff81, 0x7fffff83, 0xaaaaaa2d, 0xccccccac,
894   0x7fffff82, 0xaaaaaa2c, 0xcccccc4f, 0xffff7fe0,
895   0xaaaaaa2b, 0xcccccc4e, 0xffff7f83, 0xffff7fe1,
896   0xcccccc4d, 0xffff7f82, 0xffff7f84, 0xffff7fe2,
897   0xffff7f81, 0xffff7f83, 0xffff7f85, 0xffff7fe3,
898   0xffff7f82, 0xffff7f84, 0xffff7f86, 0xffffff60,
899   0xffff7f83, 0xffff7f85, 0xffffff03, 0xffffff61,
900   0xffff7f84, 0xffffff02, 0xffffff04, 0xffffff62,
901   0xffffff01, 0xffffff03, 0xffffff05, 0xffffff63,
902   0xffffff02, 0xffffff04, 0xffffff06, 0xffffffc0,
903   0xffffff03, 0xffffff05, 0xffffff63, 0xffffffdd,
904   0xffffff04, 0xffffff62, 0xffffff80, 0xffffffde,
905   0xffffff61, 0xffffff7f, 0xffffff81, 0xffffffdf,
906   0xffffff7f, 0xffffff81, 0xffffffdf, 0xfffffffd,
907   0xffffff80, 0xffffff82, 0xffffffe0, 0xfffffffe,
908   0xffffff81, 0xffffff83, 0xffffffe1, 0xffffffff,
909   0xffffff82, 0xffffff84, 0xffffffe2, 0x0000001d,
910   0xffffff83, 0xffffff85, 0x00000000, 0x0000007a,
911   0xffffff84, 0xffffffa3, 0x0000005d, 0x0000007b,
912   0xffffffa2, 0x00000000, 0x0000005e, 0x0000007c,
913   0xffffffff, 0x00000001, 0x0000005f, 0x00007ffa,
914   0x00000000, 0x00000002, 0x00007fdd, 0x00007ffb,
915   0x00000001, 0x00007f80, 0x00007fde, 0x00007ffc,
916   0x00007f7f, 0x00007f81, 0x00007fdf, 0x33333330,
917   0x00007f80, 0x00007f82, 0x33333313, 0x55555552,
918   0x00007f81, 0x333332b6, 0x55555535, 0x7ffffffa,
919   0x333332b5, 0x555554d8, 0x7fffffdd, 0x7ffffffb,
920   0x555554d7, 0x7fffff80, 0x7fffffde, 0x7ffffffc,
921   0x7fffff7f, 0x7fffff81, 0x7fffffdf, 0x7ffffffd,
922   0x7fffff80, 0x7fffff82, 0x7fffffe0, 0x7ffffffe,
923   0x7fffff81, 0x7fffff83, 0x7fffffe1, 0xaaaaaaa7,
924   0x7fffff82, 0x7fffff84, 0xaaaaaa8a, 0xccccccc9,
925   0x7fffff83, 0xaaaaaa2d, 0xccccccac, 0xffff7ffd,
926   0xaaaaaa2c, 0xcccccc4f, 0xffff7fe0, 0xffff7ffe,
927   0xcccccc4e, 0xffff7f83, 0xffff7fe1, 0xffff7fff,
928   0xffff7f82, 0xffff7f84, 0xffff7fe2, 0xffff8000,
929   0xffff7f83, 0xffff7f85, 0xffff7fe3, 0xffffff7d,
930   0xffff7f84, 0xffff7f86, 0xffffff60, 0xffffff7e,
931   0xffff7f85, 0xffffff03, 0xffffff61, 0xffffff7f,
932   0xffffff02, 0xffffff04, 0xffffff62, 0xffffff80,
933   0xffffff03, 0xffffff05, 0xffffff63, 0xffffffdd,
934   0xffffff04, 0xffffff06, 0xffffffc0, 0xfffffffa,
935   0xffffff05, 0xffffff63, 0xffffffdd, 0xfffffffb,
936   0xffffff62, 0xffffff80, 0xffffffde, 0xfffffffc,
937   0xffffff80, 0xffffffde, 0xfffffffc, 0xfffffffe,
938   0xffffff81, 0xffffffdf, 0xfffffffd, 0xffffffff,
939   0xffffff82, 0xffffffe0, 0xfffffffe, 0x00000000,
940   0xffffff83, 0xffffffe1, 0xffffffff, 0x0000001e,
941   0xffffff84, 0xffffffe2, 0x0000001d, 0x0000007b,
942   0xffffff85, 0x00000000, 0x0000007a, 0x0000007c,
943   0xffffffa3, 0x0000005d, 0x0000007b, 0x0000007d,
944   0x00000000, 0x0000005e, 0x0000007c, 0x00007ffb,
945   0x00000001, 0x0000005f, 0x00007ffa, 0x00007ffc,
946   0x00000002, 0x00007fdd, 0x00007ffb, 0x00007ffd,
947   0x00007f80, 0x00007fde, 0x00007ffc, 0x33333331,
948   0x00007f81, 0x00007fdf, 0x33333330, 0x55555553,
949   0x00007f82, 0x33333313, 0x55555552, 0x7ffffffb,
950   0x333332b6, 0x55555535, 0x7ffffffa, 0x7ffffffc,
951   0x555554d8, 0x7fffffdd, 0x7ffffffb, 0x7ffffffd,
952   0x7fffff80, 0x7fffffde, 0x7ffffffc, 0x7ffffffe,
953   0x7fffff81, 0x7fffffdf, 0x7ffffffd, 0x7fffffff,
954   0x7fffff82, 0x7fffffe0, 0x7ffffffe, 0xaaaaaaa8,
955   0x7fffff83, 0x7fffffe1, 0xaaaaaaa7, 0xccccccca,
956   0x7fffff84, 0xaaaaaa8a, 0xccccccc9, 0xffff7ffe,
957   0xaaaaaa2d, 0xccccccac, 0xffff7ffd, 0xffff7fff,
958   0xcccccc4f, 0xffff7fe0, 0xffff7ffe, 0xffff8000,
959   0xffff7f83, 0xffff7fe1, 0xffff7fff, 0xffff8001,
960   0xffff7f84, 0xffff7fe2, 0xffff8000, 0xffffff7e,
961   0xffff7f85, 0xffff7fe3, 0xffffff7d, 0xffffff7f,
962   0xffff7f86, 0xffffff60, 0xffffff7e, 0xffffff80,
963   0xffffff03, 0xffffff61, 0xffffff7f, 0xffffff81,
964   0xffffff04, 0xffffff62, 0xffffff80, 0xffffffde,
965   0xffffff05, 0xffffff63, 0xffffffdd, 0xfffffffb,
966   0xffffff06, 0xffffffc0, 0xfffffffa, 0xfffffffc,
967   0xffffff63, 0xffffffdd, 0xfffffffb, 0xfffffffd,
968   0xffffffdd, 0xfffffffb, 0xfffffffd, 0xffffffff,
969   0xffffffde, 0xfffffffc, 0xfffffffe, 0x00000000,
970   0xffffffdf, 0xfffffffd, 0xffffffff, 0x00000001,
971   0xffffffe0, 0xfffffffe, 0x00000000, 0x0000001f,
972   0xffffffe1, 0xffffffff, 0x0000001e, 0x0000007c,
973   0xffffffe2, 0x0000001d, 0x0000007b, 0x0000007d,
974   0x00000000, 0x0000007a, 0x0000007c, 0x0000007e,
975   0x0000005d, 0x0000007b, 0x0000007d, 0x00007ffc,
976   0x0000005e, 0x0000007c, 0x00007ffb, 0x00007ffd,
977   0x0000005f, 0x00007ffa, 0x00007ffc, 0x00007ffe,
978   0x00007fdd, 0x00007ffb, 0x00007ffd, 0x33333332,
979   0x00007fde, 0x00007ffc, 0x33333331, 0x55555554,
980   0x00007fdf, 0x33333330, 0x55555553, 0x7ffffffc,
981   0x33333313, 0x55555552, 0x7ffffffb, 0x7ffffffd,
982   0x55555535, 0x7ffffffa, 0x7ffffffc, 0x7ffffffe,
983   0x7fffffdd, 0x7ffffffb, 0x7ffffffd, 0x7fffffff,
984   0x7fffffde, 0x7ffffffc, 0x7ffffffe, 0x80000000,
985   0x7fffffdf, 0x7ffffffd, 0x7fffffff, 0xaaaaaaa9,
986   0x7fffffe0, 0x7ffffffe, 0xaaaaaaa8, 0xcccccccb,
987   0x7fffffe1, 0xaaaaaaa7, 0xccccccca, 0xffff7fff,
988   0xaaaaaa8a, 0xccccccc9, 0xffff7ffe, 0xffff8000,
989   0xccccccac, 0xffff7ffd, 0xffff7fff, 0xffff8001,
990   0xffff7fe0, 0xffff7ffe, 0xffff8000, 0xffff8002,
991   0xffff7fe1, 0xffff7fff, 0xffff8001, 0xffffff7f,
992   0xffff7fe2, 0xffff8000, 0xffffff7e, 0xffffff80,
993   0xffff7fe3, 0xffffff7d, 0xffffff7f, 0xffffff81,
994   0xffffff60, 0xffffff7e, 0xffffff80, 0xffffff82,
995   0xffffff61, 0xffffff7f, 0xffffff81, 0xffffffdf,
996   0xffffff62, 0xffffff80, 0xffffffde, 0xfffffffc,
997   0xffffff63, 0xffffffdd, 0xfffffffb, 0xfffffffd,
998   0xffffffc0, 0xfffffffa, 0xfffffffc, 0xfffffffe,
999 };
1000 const unsigned kExpectedCount_NEON_add_4S = 961;
1001 
1002 #endif  // VIXL_SIM_ADD_4S_TRACE_AARCH64_H_
1003