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