• 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_SABA_4S_TRACE_AARCH64_H_
35 #define VIXL_SIM_SABA_4S_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_NEON_saba_4S[] = {
38   0x00000000, 0x00000001, 0x00000002, 0x00000020,
39   0x00000100, 0x007f7e01, 0x007ffd02, 0x00000021,
40   0x007f7f00, 0x00007f01, 0x007ffd01, 0x00000022,
41   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000040,
42   0x00007dff, 0x00007eff, 0x007ffce2, 0x0000009d,
43   0x00007dfe, 0x00007ee1, 0x007ffc85, 0x0000009e,
44   0x00007de0, 0x00007e84, 0x007ffc84, 0x0000009f,
45   0x00007d83, 0x00007e83, 0x007ffc83, 0x0000801d,
46   0x00007d82, 0x00007e82, 0x007f7d05, 0x0000801e,
47   0x00007d81, 0x000000fe, 0x007f7d04, 0x0000801f,
48   0x000001fd, 0x000000ff, 0x007f7d03, 0x33333353,
49   0x000001fe, 0x00000100, 0x32b33635, 0x55555575,
50   0x000001ff, 0x3332b434, 0x54d55857, 0x8000001d,
51   0x3332b533, 0x5554d656, 0x7f8002ff, 0x8000001e,
52   0x5554d755, 0x7fff80fe, 0x7f800300, 0x8000001f,
53   0x7fff81fd, 0x7fff80ff, 0x7f800301, 0x80000020,
54   0x7fff81fe, 0x7fff8100, 0x807ffd02, 0x8000001f,
55   0x7fff81ff, 0x80007f01, 0x807ffd01, 0x55555576,
56   0x80007e00, 0x80007f00, 0x55d55258, 0x33333354,
57   0x80007dff, 0x5555d457, 0x33b33036, 0x00008020,
58   0x5555d356, 0x3333b235, 0x00807d02, 0x0000801f,
59   0x3333b134, 0x0000ff01, 0x00807d01, 0x0000801e,
60   0x0000fe00, 0x0000ff00, 0x00807d00, 0x0000801d,
61   0x0000fdff, 0x0000feff, 0x00807cff, 0x000000a0,
62   0x0000fdfe, 0x0000fefe, 0x007ffd82, 0x0000009f,
63   0x0000fdfd, 0x00007f81, 0x007ffd81, 0x0000009e,
64   0x00007e80, 0x00007f80, 0x007ffd80, 0x0000009d,
65   0x00007e7f, 0x00007f7f, 0x007ffd7f, 0x00000040,
66   0x00007e7e, 0x00007f7e, 0x007ffd22, 0x00000023,
67   0x00007e7d, 0x00007f21, 0x007ffd05, 0x00000022,
68   0x00007e20, 0x00007f04, 0x007ffd04, 0x00000021,
69   0x00007f03, 0x007ffd03, 0x00000003, 0x00000021,
70   0x00007f02, 0x007ffd02, 0x00000002, 0x00000020,
71   0x00007f01, 0x007ffd01, 0x00000003, 0x00000021,
72   0x00007f00, 0x007ffd00, 0x00000004, 0x0000003f,
73   0x00007eff, 0x007ffcff, 0x00000022, 0x0000009c,
74   0x00007efe, 0x007ffce1, 0x0000007f, 0x0000009d,
75   0x00007ee0, 0x007ffc84, 0x00000080, 0x0000009e,
76   0x00007e83, 0x007ffc83, 0x00000081, 0x0000801c,
77   0x00007e82, 0x007ffc82, 0x00007fff, 0x0000801d,
78   0x00007e81, 0x007f7d04, 0x00008000, 0x0000801e,
79   0x000000fd, 0x007f7d03, 0x00008001, 0x33333352,
80   0x000000fe, 0x007f7d02, 0x33333335, 0x55555574,
81   0x000000ff, 0x32b33634, 0x55555557, 0x8000001c,
82   0x3332b433, 0x54d55856, 0x7fffffff, 0x8000001d,
83   0x5554d655, 0x7f8002fe, 0x80000000, 0x8000001e,
84   0x7fff80fd, 0x7f8002ff, 0x80000001, 0x80000021,
85   0x7fff80fe, 0x7f800300, 0x80000002, 0x80000020,
86   0x7fff80ff, 0x807ffd01, 0x80000001, 0x55555577,
87   0x80007f00, 0x807ffd00, 0x55555558, 0x33333355,
88   0x80007eff, 0x55d55257, 0x33333336, 0x00008021,
89   0x5555d456, 0x33b33035, 0x00008002, 0x00008020,
90   0x3333b234, 0x00807d01, 0x00008001, 0x0000801f,
91   0x0000ff00, 0x00807d00, 0x00008000, 0x0000801e,
92   0x0000feff, 0x00807cff, 0x00007fff, 0x000000a1,
93   0x0000fefe, 0x00807cfe, 0x00000082, 0x000000a0,
94   0x0000fefd, 0x007ffd81, 0x00000081, 0x0000009f,
95   0x00007f80, 0x007ffd80, 0x00000080, 0x0000009e,
96   0x00007f7f, 0x007ffd7f, 0x0000007f, 0x00000041,
97   0x00007f7e, 0x007ffd7e, 0x00000022, 0x00000024,
98   0x00007f7d, 0x007ffd21, 0x00000005, 0x00000023,
99   0x00007f20, 0x007ffd04, 0x00000004, 0x00000022,
100   0x007ffd03, 0x00000003, 0x00000004, 0x00000022,
101   0x007ffd02, 0x00000002, 0x00000003, 0x00000021,
102   0x007ffd01, 0x00000001, 0x00000002, 0x00000020,
103   0x007ffd00, 0x00000002, 0x00000003, 0x0000003e,
104   0x007ffcff, 0x00000003, 0x00000021, 0x0000009b,
105   0x007ffcfe, 0x00000021, 0x0000007e, 0x0000009c,
106   0x007ffce0, 0x0000007e, 0x0000007f, 0x0000009d,
107   0x007ffc83, 0x0000007f, 0x00000080, 0x0000801b,
108   0x007ffc82, 0x00000080, 0x00007ffe, 0x0000801c,
109   0x007ffc81, 0x00007ffe, 0x00007fff, 0x0000801d,
110   0x007f7d03, 0x00007fff, 0x00008000, 0x33333351,
111   0x007f7d02, 0x00008000, 0x33333334, 0x55555573,
112   0x007f7d01, 0x33333334, 0x55555556, 0x8000001b,
113   0x32b33633, 0x55555556, 0x7ffffffe, 0x8000001c,
114   0x54d55855, 0x7ffffffe, 0x7fffffff, 0x8000001d,
115   0x7f8002fd, 0x7fffffff, 0x80000000, 0x80000022,
116   0x7f8002fe, 0x80000000, 0x80000003, 0x80000021,
117   0x7f8002ff, 0x80000001, 0x80000002, 0x55555578,
118   0x807ffd00, 0x80000000, 0x55555559, 0x33333356,
119   0x807ffcff, 0x55555557, 0x33333337, 0x00008022,
120   0x55d55256, 0x33333335, 0x00008003, 0x00008021,
121   0x33b33034, 0x00008001, 0x00008002, 0x00008020,
122   0x00807d00, 0x00008000, 0x00008001, 0x0000801f,
123   0x00807cff, 0x00007fff, 0x00008000, 0x000000a2,
124   0x00807cfe, 0x00007ffe, 0x00000083, 0x000000a1,
125   0x00807cfd, 0x00000081, 0x00000082, 0x000000a0,
126   0x007ffd80, 0x00000080, 0x00000081, 0x0000009f,
127   0x007ffd7f, 0x0000007f, 0x00000080, 0x00000042,
128   0x007ffd7e, 0x0000007e, 0x00000023, 0x00000025,
129   0x007ffd7d, 0x00000021, 0x00000006, 0x00000024,
130   0x007ffd20, 0x00000004, 0x00000005, 0x00000023,
131   0x00000003, 0x00000004, 0x00000005, 0x00000040,
132   0x00000002, 0x00000003, 0x00000004, 0x0000003f,
133   0x00000001, 0x00000002, 0x00000003, 0x0000003e,
134   0x00000000, 0x00000001, 0x00000002, 0x00000020,
135   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
136   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
137   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
138   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
139   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
140   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
141   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
142   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
143   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
144   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
145   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
146   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000040,
147   0x7ffffffe, 0x7fffffff, 0x80000004, 0x8000003f,
148   0x7fffffff, 0x80000002, 0x80000003, 0x55555596,
149   0x80000000, 0x80000001, 0x5555555a, 0x33333374,
150   0x7fffffff, 0x55555558, 0x33333338, 0x00008040,
151   0x55555556, 0x33333336, 0x00008004, 0x0000803f,
152   0x33333334, 0x00008002, 0x00008003, 0x0000803e,
153   0x00008000, 0x00008001, 0x00008002, 0x0000803d,
154   0x00007fff, 0x00008000, 0x00008001, 0x000000c0,
155   0x00007ffe, 0x00007fff, 0x00000084, 0x000000bf,
156   0x00007ffd, 0x00000082, 0x00000083, 0x000000be,
157   0x00000080, 0x00000081, 0x00000082, 0x000000bd,
158   0x0000007f, 0x00000080, 0x00000081, 0x00000060,
159   0x0000007e, 0x0000007f, 0x00000024, 0x00000043,
160   0x0000007d, 0x00000022, 0x00000007, 0x00000042,
161   0x00000020, 0x00000005, 0x00000006, 0x00000041,
162   0x00000004, 0x00000005, 0x00000023, 0x0000009d,
163   0x00000003, 0x00000004, 0x00000022, 0x0000009c,
164   0x00000002, 0x00000003, 0x00000021, 0x0000009b,
165   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
166   0x00000000, 0x00000001, 0x00000002, 0x00000020,
167   0x00000001, 0x0000001f, 0x0000005f, 0x00000021,
168   0x0000001f, 0x0000007c, 0x00000060, 0x00000022,
169   0x0000007c, 0x0000007d, 0x00000061, 0x00007fa0,
170   0x0000007d, 0x0000007e, 0x00007fdf, 0x00007fa1,
171   0x0000007e, 0x00007ffc, 0x00007fe0, 0x00007fa2,
172   0x00007ffc, 0x00007ffd, 0x00007fe1, 0x333332d6,
173   0x00007ffd, 0x00007ffe, 0x33333315, 0x555554f8,
174   0x00007ffe, 0x33333332, 0x55555537, 0x7fffffa0,
175   0x33333332, 0x55555554, 0x7fffffdf, 0x7fffffa1,
176   0x55555554, 0x7ffffffc, 0x7fffffe0, 0x7fffffa2,
177   0x7ffffffc, 0x7ffffffd, 0x7fffffe1, 0x8000009d,
178   0x7ffffffd, 0x7ffffffe, 0x80000022, 0x8000009c,
179   0x7ffffffe, 0x80000003, 0x80000021, 0x555555f3,
180   0x80000001, 0x80000002, 0x55555578, 0x333333d1,
181   0x80000000, 0x55555559, 0x33333356, 0x0000809d,
182   0x55555557, 0x33333337, 0x00008022, 0x0000809c,
183   0x33333335, 0x00008003, 0x00008021, 0x0000809b,
184   0x00008001, 0x00008002, 0x00008020, 0x0000809a,
185   0x00008000, 0x00008001, 0x0000801f, 0x0000011d,
186   0x00007fff, 0x00008000, 0x000000a2, 0x0000011c,
187   0x00007ffe, 0x00000083, 0x000000a1, 0x0000011b,
188   0x00000081, 0x00000082, 0x000000a0, 0x0000011a,
189   0x00000080, 0x00000081, 0x0000009f, 0x000000bd,
190   0x0000007f, 0x00000080, 0x00000042, 0x000000a0,
191   0x0000007e, 0x00000023, 0x00000025, 0x0000009f,
192   0x00000021, 0x00000006, 0x00000024, 0x0000009e,
193   0x00000005, 0x00000023, 0x00000080, 0x0000009e,
194   0x00000004, 0x00000022, 0x0000007f, 0x0000009d,
195   0x00000003, 0x00000021, 0x0000007e, 0x0000009c,
196   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
197   0x00000001, 0x0000001f, 0x0000005f, 0x00000021,
198   0x00000000, 0x00000001, 0x00000002, 0x00000020,
199   0x0000001e, 0x0000005e, 0x00000003, 0x00000021,
200   0x0000007b, 0x0000005f, 0x00000004, 0x00007f9f,
201   0x0000007c, 0x00000060, 0x00007f82, 0x00007fa0,
202   0x0000007d, 0x00007fde, 0x00007f83, 0x00007fa1,
203   0x00007ffb, 0x00007fdf, 0x00007f84, 0x333332d5,
204   0x00007ffc, 0x00007fe0, 0x333332b8, 0x555554f7,
205   0x00007ffd, 0x33333314, 0x555554da, 0x7fffff9f,
206   0x33333331, 0x55555536, 0x7fffff82, 0x7fffffa0,
207   0x55555553, 0x7fffffde, 0x7fffff83, 0x7fffffa1,
208   0x7ffffffb, 0x7fffffdf, 0x7fffff84, 0x8000009e,
209   0x7ffffffc, 0x7fffffe0, 0x8000007f, 0x8000009d,
210   0x7ffffffd, 0x80000021, 0x8000007e, 0x555555f4,
211   0x80000002, 0x80000020, 0x555555d5, 0x333333d2,
212   0x80000001, 0x55555577, 0x333333b3, 0x0000809e,
213   0x55555558, 0x33333355, 0x0000807f, 0x0000809d,
214   0x33333336, 0x00008021, 0x0000807e, 0x0000809c,
215   0x00008002, 0x00008020, 0x0000807d, 0x0000809b,
216   0x00008001, 0x0000801f, 0x0000807c, 0x0000011e,
217   0x00008000, 0x0000801e, 0x000000ff, 0x0000011d,
218   0x00007fff, 0x000000a1, 0x000000fe, 0x0000011c,
219   0x00000082, 0x000000a0, 0x000000fd, 0x0000011b,
220   0x00000081, 0x0000009f, 0x000000fc, 0x000000be,
221   0x00000080, 0x0000009e, 0x0000009f, 0x000000a1,
222   0x0000007f, 0x00000041, 0x00000082, 0x000000a0,
223   0x00000022, 0x00000024, 0x00000081, 0x0000009f,
224   0x00000023, 0x00000080, 0x00000081, 0x0000009f,
225   0x00000022, 0x0000007f, 0x00000080, 0x0000009e,
226   0x00000021, 0x0000007e, 0x0000007f, 0x0000009d,
227   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
228   0x0000001f, 0x0000007c, 0x00000060, 0x00000022,
229   0x0000001e, 0x0000005e, 0x00000003, 0x00000021,
230   0x00000000, 0x00000001, 0x00000002, 0x00000020,
231   0x0000005d, 0x00000002, 0x00000003, 0x00007f9e,
232   0x0000005e, 0x00000003, 0x00007f81, 0x00007f9f,
233   0x0000005f, 0x00007f81, 0x00007f82, 0x00007fa0,
234   0x00007fdd, 0x00007f82, 0x00007f83, 0x333332d4,
235   0x00007fde, 0x00007f83, 0x333332b7, 0x555554f6,
236   0x00007fdf, 0x333332b7, 0x555554d9, 0x7fffff9e,
237   0x33333313, 0x555554d9, 0x7fffff81, 0x7fffff9f,
238   0x55555535, 0x7fffff81, 0x7fffff82, 0x7fffffa0,
239   0x7fffffdd, 0x7fffff82, 0x7fffff83, 0x8000009f,
240   0x7fffffde, 0x7fffff83, 0x80000080, 0x8000009e,
241   0x7fffffdf, 0x8000007e, 0x8000007f, 0x555555f5,
242   0x80000020, 0x8000007d, 0x555555d6, 0x333333d3,
243   0x8000001f, 0x555555d4, 0x333333b4, 0x0000809f,
244   0x55555576, 0x333333b2, 0x00008080, 0x0000809e,
245   0x33333354, 0x0000807e, 0x0000807f, 0x0000809d,
246   0x00008020, 0x0000807d, 0x0000807e, 0x0000809c,
247   0x0000801f, 0x0000807c, 0x0000807d, 0x0000011f,
248   0x0000801e, 0x0000807b, 0x00000100, 0x0000011e,
249   0x0000801d, 0x000000fe, 0x000000ff, 0x0000011d,
250   0x000000a0, 0x000000fd, 0x000000fe, 0x0000011c,
251   0x0000009f, 0x000000fc, 0x000000fd, 0x000000bf,
252   0x0000009e, 0x000000fb, 0x000000a0, 0x000000a2,
253   0x0000009d, 0x0000009e, 0x00000083, 0x000000a1,
254   0x00000040, 0x00000081, 0x00000082, 0x000000a0,
255   0x00000080, 0x00000081, 0x00000082, 0x0000801d,
256   0x0000007f, 0x00000080, 0x00000081, 0x0000801c,
257   0x0000007e, 0x0000007f, 0x00000080, 0x0000801b,
258   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
259   0x0000007c, 0x0000007d, 0x00000061, 0x00007fa0,
260   0x0000007b, 0x0000005f, 0x00000004, 0x00007f9f,
261   0x0000005d, 0x00000002, 0x00000003, 0x00007f9e,
262   0x00000000, 0x00000001, 0x00000002, 0x00000020,
263   0x00000001, 0x00000002, 0x00007f80, 0x00000021,
264   0x00000002, 0x00007f80, 0x00007f81, 0x00000022,
265   0x00007f80, 0x00007f81, 0x00007f82, 0x3332b356,
266   0x00007f81, 0x00007f82, 0x333332b6, 0x5554d578,
267   0x00007f82, 0x333332b6, 0x555554d8, 0x7fff8020,
268   0x333332b6, 0x555554d8, 0x7fffff80, 0x7fff8021,
269   0x555554d8, 0x7fffff80, 0x7fffff81, 0x7fff8022,
270   0x7fffff80, 0x7fffff81, 0x7fffff82, 0x8000801d,
271   0x7fffff81, 0x7fffff82, 0x80000081, 0x8000801c,
272   0x7fffff82, 0x8000007f, 0x80000080, 0x5555d573,
273   0x8000007d, 0x8000007e, 0x555555d7, 0x3333b351,
274   0x8000007c, 0x555555d5, 0x333333b5, 0x0001001d,
275   0x555555d3, 0x333333b3, 0x00008081, 0x0001001c,
276   0x333333b1, 0x0000807f, 0x00008080, 0x0001001b,
277   0x0000807d, 0x0000807e, 0x0000807f, 0x0001001a,
278   0x0000807c, 0x0000807d, 0x0000807e, 0x0000809d,
279   0x0000807b, 0x0000807c, 0x00000101, 0x0000809c,
280   0x0000807a, 0x000000ff, 0x00000100, 0x0000809b,
281   0x000000fd, 0x000000fe, 0x000000ff, 0x0000809a,
282   0x000000fc, 0x000000fd, 0x000000fe, 0x0000803d,
283   0x000000fb, 0x000000fc, 0x000000a1, 0x00008020,
284   0x000000fa, 0x0000009f, 0x00000084, 0x0000801f,
285   0x0000009d, 0x00000082, 0x00000083, 0x0000801e,
286   0x00000081, 0x00000082, 0x00008000, 0x0000801e,
287   0x00000080, 0x00000081, 0x00007fff, 0x0000801d,
288   0x0000007f, 0x00000080, 0x00007ffe, 0x0000801c,
289   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
290   0x0000007d, 0x0000007e, 0x00007fdf, 0x00007fa1,
291   0x0000007c, 0x00000060, 0x00007f82, 0x00007fa0,
292   0x0000005e, 0x00000003, 0x00007f81, 0x00007f9f,
293   0x00000001, 0x00000002, 0x00007f80, 0x00000021,
294   0x00000000, 0x00000001, 0x00000002, 0x00000020,
295   0x00000001, 0x00007f7f, 0x00000003, 0x00000021,
296   0x00007f7f, 0x00007f80, 0x00000004, 0x3332b355,
297   0x00007f80, 0x00007f81, 0x3332b338, 0x5554d577,
298   0x00007f81, 0x333332b5, 0x5554d55a, 0x7fff801f,
299   0x333332b5, 0x555554d7, 0x7fff8002, 0x7fff8020,
300   0x555554d7, 0x7fffff7f, 0x7fff8003, 0x7fff8021,
301   0x7fffff7f, 0x7fffff80, 0x7fff8004, 0x8000801e,
302   0x7fffff80, 0x7fffff81, 0x80007fff, 0x8000801d,
303   0x7fffff81, 0x80000080, 0x80007ffe, 0x5555d574,
304   0x8000007e, 0x8000007f, 0x5555d555, 0x3333b352,
305   0x8000007d, 0x555555d6, 0x3333b333, 0x0001001e,
306   0x555555d4, 0x333333b4, 0x0000ffff, 0x0001001d,
307   0x333333b2, 0x00008080, 0x0000fffe, 0x0001001c,
308   0x0000807e, 0x0000807f, 0x0000fffd, 0x0001001b,
309   0x0000807d, 0x0000807e, 0x0000fffc, 0x0000809e,
310   0x0000807c, 0x0000807d, 0x0000807f, 0x0000809d,
311   0x0000807b, 0x00000100, 0x0000807e, 0x0000809c,
312   0x000000fe, 0x000000ff, 0x0000807d, 0x0000809b,
313   0x000000fd, 0x000000fe, 0x0000807c, 0x0000803e,
314   0x000000fc, 0x000000fd, 0x0000801f, 0x00008021,
315   0x000000fb, 0x000000a0, 0x00008002, 0x00008020,
316   0x0000009e, 0x00000083, 0x00008001, 0x0000801f,
317   0x00000082, 0x00008000, 0x00008001, 0x0000801f,
318   0x00000081, 0x00007fff, 0x00008000, 0x0000801e,
319   0x00000080, 0x00007ffe, 0x00007fff, 0x0000801d,
320   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
321   0x0000007e, 0x00007ffc, 0x00007fe0, 0x00007fa2,
322   0x0000007d, 0x00007fde, 0x00007f83, 0x00007fa1,
323   0x0000005f, 0x00007f81, 0x00007f82, 0x00007fa0,
324   0x00000002, 0x00007f80, 0x00007f81, 0x00000022,
325   0x00000001, 0x00007f7f, 0x00000003, 0x00000021,
326   0x00000000, 0x00000001, 0x00000002, 0x00000020,
327   0x00007f7e, 0x00000002, 0x00000003, 0x3332b354,
328   0x00007f7f, 0x00000003, 0x3332b337, 0x5554d576,
329   0x00007f80, 0x3332b337, 0x5554d559, 0x7fff801e,
330   0x333332b4, 0x5554d559, 0x7fff8001, 0x7fff801f,
331   0x555554d6, 0x7fff8001, 0x7fff8002, 0x7fff8020,
332   0x7fffff7e, 0x7fff8002, 0x7fff8003, 0x8000801f,
333   0x7fffff7f, 0x7fff8003, 0x80008000, 0x8000801e,
334   0x7fffff80, 0x80007ffe, 0x80007fff, 0x5555d575,
335   0x8000007f, 0x80007ffd, 0x5555d556, 0x3333b353,
336   0x8000007e, 0x5555d554, 0x3333b334, 0x0001001f,
337   0x555555d5, 0x3333b332, 0x00010000, 0x0001001e,
338   0x333333b3, 0x0000fffe, 0x0000ffff, 0x0001001d,
339   0x0000807f, 0x0000fffd, 0x0000fffe, 0x0001001c,
340   0x0000807e, 0x0000fffc, 0x0000fffd, 0x0000809f,
341   0x0000807d, 0x0000fffb, 0x00008080, 0x0000809e,
342   0x0000807c, 0x0000807e, 0x0000807f, 0x0000809d,
343   0x000000ff, 0x0000807d, 0x0000807e, 0x0000809c,
344   0x000000fe, 0x0000807c, 0x0000807d, 0x0000803f,
345   0x000000fd, 0x0000807b, 0x00008020, 0x00008022,
346   0x000000fc, 0x0000801e, 0x00008003, 0x00008021,
347   0x0000009f, 0x00008001, 0x00008002, 0x00008020,
348   0x00008000, 0x00008001, 0x00008002, 0x33333353,
349   0x00007fff, 0x00008000, 0x00008001, 0x33333352,
350   0x00007ffe, 0x00007fff, 0x00008000, 0x33333351,
351   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
352   0x00007ffc, 0x00007ffd, 0x00007fe1, 0x333332d6,
353   0x00007ffb, 0x00007fdf, 0x00007f84, 0x333332d5,
354   0x00007fdd, 0x00007f82, 0x00007f83, 0x333332d4,
355   0x00007f80, 0x00007f81, 0x00007f82, 0x3332b356,
356   0x00007f7f, 0x00007f80, 0x00000004, 0x3332b355,
357   0x00007f7e, 0x00000002, 0x00000003, 0x3332b354,
358   0x00000000, 0x00000001, 0x00000002, 0x00000020,
359   0x00000001, 0x00000002, 0x3332b336, 0x22222242,
360   0x00000002, 0x3332b336, 0x5554d558, 0x4cccccea,
361   0x3332b336, 0x5554d558, 0x7fff8000, 0x4ccccceb,
362   0x5554d558, 0x7fff8000, 0x7fff8001, 0x4cccccec,
363   0x7fff8000, 0x7fff8001, 0x7fff8002, 0xb3333353,
364   0x7fff8001, 0x7fff8002, 0x80008001, 0xb3333352,
365   0x7fff8002, 0x80007fff, 0x80008000, 0x888888a9,
366   0x80007ffd, 0x80007ffe, 0x5555d557, 0x66666687,
367   0x80007ffc, 0x5555d555, 0x3333b335, 0x3333b353,
368   0x5555d553, 0x3333b333, 0x00010001, 0x3333b352,
369   0x3333b331, 0x0000ffff, 0x00010000, 0x3333b351,
370   0x0000fffd, 0x0000fffe, 0x0000ffff, 0x3333b350,
371   0x0000fffc, 0x0000fffd, 0x0000fffe, 0x333333d3,
372   0x0000fffb, 0x0000fffc, 0x00008081, 0x333333d2,
373   0x0000fffa, 0x0000807f, 0x00008080, 0x333333d1,
374   0x0000807d, 0x0000807e, 0x0000807f, 0x333333d0,
375   0x0000807c, 0x0000807d, 0x0000807e, 0x33333373,
376   0x0000807b, 0x0000807c, 0x00008021, 0x33333356,
377   0x0000807a, 0x0000801f, 0x00008004, 0x33333355,
378   0x0000801d, 0x00008002, 0x00008003, 0x33333354,
379   0x00008001, 0x00008002, 0x33333336, 0x55555575,
380   0x00008000, 0x00008001, 0x33333335, 0x55555574,
381   0x00007fff, 0x00008000, 0x33333334, 0x55555573,
382   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
383   0x00007ffd, 0x00007ffe, 0x33333315, 0x555554f8,
384   0x00007ffc, 0x00007fe0, 0x333332b8, 0x555554f7,
385   0x00007fde, 0x00007f83, 0x333332b7, 0x555554f6,
386   0x00007f81, 0x00007f82, 0x333332b6, 0x5554d578,
387   0x00007f80, 0x00007f81, 0x3332b338, 0x5554d577,
388   0x00007f7f, 0x00000003, 0x3332b337, 0x5554d576,
389   0x00000001, 0x00000002, 0x3332b336, 0x22222242,
390   0x00000000, 0x00000001, 0x00000002, 0x00000020,
391   0x00000001, 0x3332b335, 0x22222224, 0x2aaaaac8,
392   0x3332b335, 0x5554d557, 0x4ccccccc, 0x2aaaaac9,
393   0x5554d557, 0x7fff7fff, 0x4ccccccd, 0x2aaaaaca,
394   0x7fff7fff, 0x7fff8000, 0x4cccccce, 0xd5555575,
395   0x7fff8000, 0x7fff8001, 0xb3333335, 0xd5555574,
396   0x7fff8001, 0x80008000, 0xb3333334, 0xaaaaaacb,
397   0x80007ffe, 0x80007fff, 0x8888888b, 0x888888a9,
398   0x80007ffd, 0x5555d556, 0x66666669, 0x5555d575,
399   0x5555d554, 0x3333b334, 0x3333b335, 0x5555d574,
400   0x3333b332, 0x00010000, 0x3333b334, 0x5555d573,
401   0x0000fffe, 0x0000ffff, 0x3333b333, 0x5555d572,
402   0x0000fffd, 0x0000fffe, 0x3333b332, 0x555555f5,
403   0x0000fffc, 0x0000fffd, 0x333333b5, 0x555555f4,
404   0x0000fffb, 0x00008080, 0x333333b4, 0x555555f3,
405   0x0000807e, 0x0000807f, 0x333333b3, 0x555555f2,
406   0x0000807d, 0x0000807e, 0x333333b2, 0x55555595,
407   0x0000807c, 0x0000807d, 0x33333355, 0x55555578,
408   0x0000807b, 0x00008020, 0x33333338, 0x55555577,
409   0x0000801e, 0x00008003, 0x33333337, 0x55555576,
410   0x00008002, 0x33333336, 0x55555558, 0x8000001d,
411   0x00008001, 0x33333335, 0x55555557, 0x8000001c,
412   0x00008000, 0x33333334, 0x55555556, 0x8000001b,
413   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
414   0x00007ffe, 0x33333332, 0x55555537, 0x7fffffa0,
415   0x00007ffd, 0x33333314, 0x555554da, 0x7fffff9f,
416   0x00007fdf, 0x333332b7, 0x555554d9, 0x7fffff9e,
417   0x00007f82, 0x333332b6, 0x555554d8, 0x7fff8020,
418   0x00007f81, 0x333332b5, 0x5554d55a, 0x7fff801f,
419   0x00007f80, 0x3332b337, 0x5554d559, 0x7fff801e,
420   0x00000002, 0x3332b336, 0x5554d558, 0x4cccccea,
421   0x00000001, 0x3332b335, 0x22222224, 0x2aaaaac8,
422   0x00000000, 0x00000001, 0x00000002, 0x00000020,
423   0x3332b334, 0x22222223, 0x2aaaaaaa, 0x00000021,
424   0x5554d556, 0x4ccccccb, 0x2aaaaaab, 0x00000022,
425   0x7fff7ffe, 0x4ccccccc, 0x2aaaaaac, 0x0000001d,
426   0x7fff7fff, 0x4ccccccd, 0xd5555557, 0x0000001c,
427   0x7fff8000, 0xb3333334, 0xd5555556, 0xd5555573,
428   0x80007fff, 0xb3333333, 0xaaaaaaad, 0xb3333351,
429   0x80007ffe, 0x8888888a, 0x8888888b, 0x8000801d,
430   0x5555d555, 0x66666668, 0x5555d557, 0x8000801c,
431   0x3333b333, 0x3333b334, 0x5555d556, 0x8000801b,
432   0x0000ffff, 0x3333b333, 0x5555d555, 0x8000801a,
433   0x0000fffe, 0x3333b332, 0x5555d554, 0x8000009d,
434   0x0000fffd, 0x3333b331, 0x555555d7, 0x8000009c,
435   0x0000fffc, 0x333333b4, 0x555555d6, 0x8000009b,
436   0x0000807f, 0x333333b3, 0x555555d5, 0x8000009a,
437   0x0000807e, 0x333333b2, 0x555555d4, 0x8000003d,
438   0x0000807d, 0x333333b1, 0x55555577, 0x80000020,
439   0x0000807c, 0x33333354, 0x5555555a, 0x8000001f,
440   0x0000801f, 0x33333337, 0x55555559, 0x8000001e,
441   0x33333336, 0x55555558, 0x80000000, 0x8000001e,
442   0x33333335, 0x55555557, 0x7fffffff, 0x8000001d,
443   0x33333334, 0x55555556, 0x7ffffffe, 0x8000001c,
444   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
445   0x33333332, 0x55555554, 0x7fffffdf, 0x7fffffa1,
446   0x33333331, 0x55555536, 0x7fffff82, 0x7fffffa0,
447   0x33333313, 0x555554d9, 0x7fffff81, 0x7fffff9f,
448   0x333332b6, 0x555554d8, 0x7fffff80, 0x7fff8021,
449   0x333332b5, 0x555554d7, 0x7fff8002, 0x7fff8020,
450   0x333332b4, 0x5554d559, 0x7fff8001, 0x7fff801f,
451   0x3332b336, 0x5554d558, 0x7fff8000, 0x4ccccceb,
452   0x3332b335, 0x5554d557, 0x4ccccccc, 0x2aaaaac9,
453   0x3332b334, 0x22222223, 0x2aaaaaaa, 0x00000021,
454   0x00000000, 0x00000001, 0x00000002, 0x00000020,
455   0x22222222, 0x2aaaaaa9, 0x00000003, 0x00000021,
456   0x4cccccca, 0x2aaaaaaa, 0x00000004, 0x0000001e,
457   0x4ccccccb, 0x2aaaaaab, 0xffffffff, 0x0000001d,
458   0x4ccccccc, 0xd5555556, 0xfffffffe, 0xd5555574,
459   0xb3333333, 0xd5555555, 0xd5555555, 0xb3333352,
460   0xb3333332, 0xaaaaaaac, 0xb3333333, 0x8000801e,
461   0x88888889, 0x8888888a, 0x80007fff, 0x8000801d,
462   0x66666667, 0x5555d556, 0x80007ffe, 0x8000801c,
463   0x3333b333, 0x5555d555, 0x80007ffd, 0x8000801b,
464   0x3333b332, 0x5555d554, 0x80007ffc, 0x8000009e,
465   0x3333b331, 0x5555d553, 0x8000007f, 0x8000009d,
466   0x3333b330, 0x555555d6, 0x8000007e, 0x8000009c,
467   0x333333b3, 0x555555d5, 0x8000007d, 0x8000009b,
468   0x333333b2, 0x555555d4, 0x8000007c, 0x8000003e,
469   0x333333b1, 0x555555d3, 0x8000001f, 0x80000021,
470   0x333333b0, 0x55555576, 0x80000002, 0x80000020,
471   0x33333353, 0x55555559, 0x80000001, 0x8000001f,
472   0x55555558, 0x80000000, 0x80000001, 0x8000001f,
473   0x55555557, 0x7fffffff, 0x80000000, 0x8000001e,
474   0x55555556, 0x7ffffffe, 0x7fffffff, 0x8000001d,
475   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
476   0x55555554, 0x7ffffffc, 0x7fffffe0, 0x7fffffa2,
477   0x55555553, 0x7fffffde, 0x7fffff83, 0x7fffffa1,
478   0x55555535, 0x7fffff81, 0x7fffff82, 0x7fffffa0,
479   0x555554d8, 0x7fffff80, 0x7fffff81, 0x7fff8022,
480   0x555554d7, 0x7fffff7f, 0x7fff8003, 0x7fff8021,
481   0x555554d6, 0x7fff8001, 0x7fff8002, 0x7fff8020,
482   0x5554d558, 0x7fff8000, 0x7fff8001, 0x4cccccec,
483   0x5554d557, 0x7fff7fff, 0x4ccccccd, 0x2aaaaaca,
484   0x5554d556, 0x4ccccccb, 0x2aaaaaab, 0x00000022,
485   0x22222222, 0x2aaaaaa9, 0x00000003, 0x00000021,
486   0x00000000, 0x00000001, 0x00000002, 0x00000020,
487   0x2aaaaaa8, 0x00000002, 0x00000003, 0x0000001f,
488   0x2aaaaaa9, 0x00000003, 0x00000000, 0x0000001e,
489   0x2aaaaaaa, 0xfffffffe, 0xffffffff, 0xd5555575,
490   0xd5555555, 0xfffffffd, 0xd5555556, 0xb3333353,
491   0xd5555554, 0xd5555554, 0xb3333334, 0x8000801f,
492   0xaaaaaaab, 0xb3333332, 0x80008000, 0x8000801e,
493   0x88888889, 0x80007ffe, 0x80007fff, 0x8000801d,
494   0x5555d555, 0x80007ffd, 0x80007ffe, 0x8000801c,
495   0x5555d554, 0x80007ffc, 0x80007ffd, 0x8000009f,
496   0x5555d553, 0x80007ffb, 0x80000080, 0x8000009e,
497   0x5555d552, 0x8000007e, 0x8000007f, 0x8000009d,
498   0x555555d5, 0x8000007d, 0x8000007e, 0x8000009c,
499   0x555555d4, 0x8000007c, 0x8000007d, 0x8000003f,
500   0x555555d3, 0x8000007b, 0x80000020, 0x80000022,
501   0x555555d2, 0x8000001e, 0x80000003, 0x80000021,
502   0x55555575, 0x80000001, 0x80000002, 0x80000020,
503   0x80000000, 0x80000001, 0x80000002, 0x80000020,
504   0x7fffffff, 0x80000000, 0x80000001, 0x80000021,
505   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000022,
506   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000040,
507   0x7ffffffc, 0x7ffffffd, 0x7fffffe1, 0x8000009d,
508   0x7ffffffb, 0x7fffffdf, 0x7fffff84, 0x8000009e,
509   0x7fffffdd, 0x7fffff82, 0x7fffff83, 0x8000009f,
510   0x7fffff80, 0x7fffff81, 0x7fffff82, 0x8000801d,
511   0x7fffff7f, 0x7fffff80, 0x7fff8004, 0x8000801e,
512   0x7fffff7e, 0x7fff8002, 0x7fff8003, 0x8000801f,
513   0x7fff8000, 0x7fff8001, 0x7fff8002, 0xb3333353,
514   0x7fff7fff, 0x7fff8000, 0x4cccccce, 0xd5555575,
515   0x7fff7ffe, 0x4ccccccc, 0x2aaaaaac, 0x0000001d,
516   0x4cccccca, 0x2aaaaaaa, 0x00000004, 0x0000001e,
517   0x2aaaaaa8, 0x00000002, 0x00000003, 0x0000001f,
518   0x00000000, 0x00000001, 0x00000002, 0x00000020,
519   0x00000001, 0x00000002, 0x00000001, 0x00000021,
520   0x00000002, 0xffffffff, 0x00000000, 0x2aaaaaca,
521   0xfffffffd, 0xfffffffe, 0xd5555557, 0x4cccccec,
522   0xfffffffc, 0xd5555555, 0xb3333335, 0x7fff8020,
523   0xd5555553, 0xb3333333, 0x80008001, 0x7fff8021,
524   0xb3333331, 0x80007fff, 0x80008000, 0x7fff8022,
525   0x80007ffd, 0x80007ffe, 0x80007fff, 0x7fff8023,
526   0x80007ffc, 0x80007ffd, 0x80007ffe, 0x7fffffa0,
527   0x80007ffb, 0x80007ffc, 0x80000081, 0x7fffffa1,
528   0x80007ffa, 0x8000007f, 0x80000080, 0x7fffffa2,
529   0x8000007d, 0x8000007e, 0x8000007f, 0x7fffffa3,
530   0x8000007c, 0x8000007d, 0x8000007e, 0x80000000,
531   0x8000007b, 0x8000007c, 0x80000021, 0x8000001d,
532   0x8000007a, 0x8000001f, 0x80000004, 0x8000001e,
533   0x8000001d, 0x80000002, 0x80000003, 0x8000001f,
534   0x80000001, 0x80000002, 0x80000001, 0x8000001f,
535   0x80000000, 0x80000001, 0x80000002, 0x80000020,
536   0x7fffffff, 0x80000000, 0x80000003, 0x80000021,
537   0x7ffffffe, 0x7fffffff, 0x80000004, 0x8000003f,
538   0x7ffffffd, 0x7ffffffe, 0x80000022, 0x8000009c,
539   0x7ffffffc, 0x7fffffe0, 0x8000007f, 0x8000009d,
540   0x7fffffde, 0x7fffff83, 0x80000080, 0x8000009e,
541   0x7fffff81, 0x7fffff82, 0x80000081, 0x8000801c,
542   0x7fffff80, 0x7fffff81, 0x80007fff, 0x8000801d,
543   0x7fffff7f, 0x7fff8003, 0x80008000, 0x8000801e,
544   0x7fff8001, 0x7fff8002, 0x80008001, 0xb3333352,
545   0x7fff8000, 0x7fff8001, 0xb3333335, 0xd5555574,
546   0x7fff7fff, 0x4ccccccd, 0xd5555557, 0x0000001c,
547   0x4ccccccb, 0x2aaaaaab, 0xffffffff, 0x0000001d,
548   0x2aaaaaa9, 0x00000003, 0x00000000, 0x0000001e,
549   0x00000001, 0x00000002, 0x00000001, 0x00000021,
550   0x00000000, 0x00000001, 0x00000002, 0x00000020,
551   0x00000001, 0x00000000, 0x00000003, 0x2aaaaac9,
552   0xfffffffe, 0xffffffff, 0x2aaaaaac, 0x4ccccceb,
553   0xfffffffd, 0xd5555556, 0x4cccccce, 0x7fff801f,
554   0xd5555554, 0xb3333334, 0x7fff8002, 0x7fff8020,
555   0xb3333332, 0x80008000, 0x7fff8003, 0x7fff8021,
556   0x80007ffe, 0x80007fff, 0x7fff8004, 0x7fff8022,
557   0x80007ffd, 0x80007ffe, 0x7fff8005, 0x7fffff9f,
558   0x80007ffc, 0x80007ffd, 0x7fffff82, 0x7fffffa0,
559   0x80007ffb, 0x80000080, 0x7fffff83, 0x7fffffa1,
560   0x8000007e, 0x8000007f, 0x7fffff84, 0x7fffffa2,
561   0x8000007d, 0x8000007e, 0x7fffff85, 0x7fffffff,
562   0x8000007c, 0x8000007d, 0x7fffffe2, 0x8000001c,
563   0x8000007b, 0x80000020, 0x7fffffff, 0x8000001d,
564   0x8000001e, 0x80000003, 0x80000000, 0x8000001e,
565   0x80000002, 0x7fffffff, 0x80000000, 0x55555576,
566   0x80000001, 0x80000000, 0x80000001, 0x55555577,
567   0x80000000, 0x80000001, 0x80000002, 0x55555578,
568   0x7fffffff, 0x80000002, 0x80000003, 0x55555596,
569   0x7ffffffe, 0x80000003, 0x80000021, 0x555555f3,
570   0x7ffffffd, 0x80000021, 0x8000007e, 0x555555f4,
571   0x7fffffdf, 0x8000007e, 0x8000007f, 0x555555f5,
572   0x7fffff82, 0x8000007f, 0x80000080, 0x5555d573,
573   0x7fffff81, 0x80000080, 0x80007ffe, 0x5555d574,
574   0x7fffff80, 0x80007ffe, 0x80007fff, 0x5555d575,
575   0x7fff8002, 0x80007fff, 0x80008000, 0x888888a9,
576   0x7fff8001, 0x80008000, 0xb3333334, 0xaaaaaacb,
577   0x7fff8000, 0xb3333334, 0xd5555556, 0xd5555573,
578   0x4ccccccc, 0xd5555556, 0xfffffffe, 0xd5555574,
579   0x2aaaaaaa, 0xfffffffe, 0xffffffff, 0xd5555575,
580   0x00000002, 0xffffffff, 0x00000000, 0x2aaaaaca,
581   0x00000001, 0x00000000, 0x00000003, 0x2aaaaac9,
582   0x00000000, 0x00000001, 0x00000002, 0x00000020,
583   0xffffffff, 0x00000002, 0x2aaaaaab, 0x22222242,
584   0xfffffffe, 0x2aaaaaab, 0x4ccccccd, 0x5554d576,
585   0xd5555555, 0x4ccccccd, 0x7fff8001, 0x5554d577,
586   0xb3333333, 0x7fff8001, 0x7fff8002, 0x5554d578,
587   0x80007fff, 0x7fff8002, 0x7fff8003, 0x5554d579,
588   0x80007ffe, 0x7fff8003, 0x7fff8004, 0x555554f6,
589   0x80007ffd, 0x7fff8004, 0x7fffff81, 0x555554f7,
590   0x80007ffc, 0x7fffff81, 0x7fffff82, 0x555554f8,
591   0x8000007f, 0x7fffff82, 0x7fffff83, 0x555554f9,
592   0x8000007e, 0x7fffff83, 0x7fffff84, 0x55555556,
593   0x8000007d, 0x7fffff84, 0x7fffffe1, 0x55555573,
594   0x8000007c, 0x7fffffe1, 0x7ffffffe, 0x55555574,
595   0x8000001f, 0x7ffffffe, 0x7fffffff, 0x55555575,
596   0x7ffffffd, 0x7ffffffe, 0x55555557, 0x33333354,
597   0x7ffffffe, 0x7fffffff, 0x55555558, 0x33333355,
598   0x7fffffff, 0x80000000, 0x55555559, 0x33333356,
599   0x80000000, 0x80000001, 0x5555555a, 0x33333374,
600   0x80000001, 0x80000002, 0x55555578, 0x333333d1,
601   0x80000002, 0x80000020, 0x555555d5, 0x333333d2,
602   0x80000020, 0x8000007d, 0x555555d6, 0x333333d3,
603   0x8000007d, 0x8000007e, 0x555555d7, 0x3333b351,
604   0x8000007e, 0x8000007f, 0x5555d555, 0x3333b352,
605   0x8000007f, 0x80007ffd, 0x5555d556, 0x3333b353,
606   0x80007ffd, 0x80007ffe, 0x5555d557, 0x66666687,
607   0x80007ffe, 0x80007fff, 0x8888888b, 0x888888a9,
608   0x80007fff, 0xb3333333, 0xaaaaaaad, 0xb3333351,
609   0xb3333333, 0xd5555555, 0xd5555555, 0xb3333352,
610   0xd5555555, 0xfffffffd, 0xd5555556, 0xb3333353,
611   0xfffffffd, 0xfffffffe, 0xd5555557, 0x4cccccec,
612   0xfffffffe, 0xffffffff, 0x2aaaaaac, 0x4ccccceb,
613   0xffffffff, 0x00000002, 0x2aaaaaab, 0x22222242,
614   0x00000000, 0x00000001, 0x00000002, 0x00000020,
615   0x00000001, 0x2aaaaaaa, 0x22222224, 0x3332b354,
616   0x2aaaaaaa, 0x4ccccccc, 0x5554d558, 0x3332b355,
617   0x4ccccccc, 0x7fff8000, 0x5554d559, 0x3332b356,
618   0x7fff8000, 0x7fff8001, 0x5554d55a, 0x3332b357,
619   0x7fff8001, 0x7fff8002, 0x5554d55b, 0x333332d4,
620   0x7fff8002, 0x7fff8003, 0x555554d8, 0x333332d5,
621   0x7fff8003, 0x7fffff80, 0x555554d9, 0x333332d6,
622   0x7fffff80, 0x7fffff81, 0x555554da, 0x333332d7,
623   0x7fffff81, 0x7fffff82, 0x555554db, 0x33333334,
624   0x7fffff82, 0x7fffff83, 0x55555538, 0x33333351,
625   0x7fffff83, 0x7fffffe0, 0x55555555, 0x33333352,
626   0x7fffffe0, 0x7ffffffd, 0x55555556, 0x33333353,
627   0x7ffffffc, 0x55555555, 0x33333335, 0x00008020,
628   0x7ffffffd, 0x55555556, 0x33333336, 0x00008021,
629   0x7ffffffe, 0x55555557, 0x33333337, 0x00008022,
630   0x7fffffff, 0x55555558, 0x33333338, 0x00008040,
631   0x80000000, 0x55555559, 0x33333356, 0x0000809d,
632   0x80000001, 0x55555577, 0x333333b3, 0x0000809e,
633   0x8000001f, 0x555555d4, 0x333333b4, 0x0000809f,
634   0x8000007c, 0x555555d5, 0x333333b5, 0x0001001d,
635   0x8000007d, 0x555555d6, 0x3333b333, 0x0001001e,
636   0x8000007e, 0x5555d554, 0x3333b334, 0x0001001f,
637   0x80007ffc, 0x5555d555, 0x3333b335, 0x3333b353,
638   0x80007ffd, 0x5555d556, 0x66666669, 0x5555d575,
639   0x80007ffe, 0x8888888a, 0x8888888b, 0x8000801d,
640   0xb3333332, 0xaaaaaaac, 0xb3333333, 0x8000801e,
641   0xd5555554, 0xd5555554, 0xb3333334, 0x8000801f,
642   0xfffffffc, 0xd5555555, 0xb3333335, 0x7fff8020,
643   0xfffffffd, 0xd5555556, 0x4cccccce, 0x7fff801f,
644   0xfffffffe, 0x2aaaaaab, 0x4ccccccd, 0x5554d576,
645   0x00000001, 0x2aaaaaaa, 0x22222224, 0x3332b354,
646   0x00000000, 0x00000001, 0x00000002, 0x00000020,
647   0x2aaaaaa9, 0x22222223, 0x3332b336, 0x00000021,
648   0x4ccccccb, 0x5554d557, 0x3332b337, 0x00000022,
649   0x7fff7fff, 0x5554d558, 0x3332b338, 0x00000023,
650   0x7fff8000, 0x5554d559, 0x3332b339, 0x00007fa0,
651   0x7fff8001, 0x5554d55a, 0x333332b6, 0x00007fa1,
652   0x7fff8002, 0x555554d7, 0x333332b7, 0x00007fa2,
653   0x7fffff7f, 0x555554d8, 0x333332b8, 0x00007fa3,
654   0x7fffff80, 0x555554d9, 0x333332b9, 0x00008000,
655   0x7fffff81, 0x555554da, 0x33333316, 0x0000801d,
656   0x7fffff82, 0x55555537, 0x33333333, 0x0000801e,
657   0x7fffffdf, 0x55555554, 0x33333334, 0x0000801f,
658   0x55555553, 0x33333333, 0x00008001, 0x0000801f,
659   0x55555554, 0x33333334, 0x00008002, 0x00008020,
660   0x55555555, 0x33333335, 0x00008003, 0x00008021,
661   0x55555556, 0x33333336, 0x00008004, 0x0000803f,
662   0x55555557, 0x33333337, 0x00008022, 0x0000809c,
663   0x55555558, 0x33333355, 0x0000807f, 0x0000809d,
664   0x55555576, 0x333333b2, 0x00008080, 0x0000809e,
665   0x555555d3, 0x333333b3, 0x00008081, 0x0001001c,
666   0x555555d4, 0x333333b4, 0x0000ffff, 0x0001001d,
667   0x555555d5, 0x3333b332, 0x00010000, 0x0001001e,
668   0x5555d553, 0x3333b333, 0x00010001, 0x3333b352,
669   0x5555d554, 0x3333b334, 0x3333b335, 0x5555d574,
670   0x5555d555, 0x66666668, 0x5555d557, 0x8000801c,
671   0x88888889, 0x8888888a, 0x80007fff, 0x8000801d,
672   0xaaaaaaab, 0xb3333332, 0x80008000, 0x8000801e,
673   0xd5555553, 0xb3333333, 0x80008001, 0x7fff8021,
674   0xd5555554, 0xb3333334, 0x7fff8002, 0x7fff8020,
675   0xd5555555, 0x4ccccccd, 0x7fff8001, 0x5554d577,
676   0x2aaaaaaa, 0x4ccccccc, 0x5554d558, 0x3332b355,
677   0x2aaaaaa9, 0x22222223, 0x3332b336, 0x00000021,
678   0x00000000, 0x00000001, 0x00000002, 0x00000020,
679   0x22222222, 0x3332b335, 0x00000003, 0x00000021,
680   0x5554d556, 0x3332b336, 0x00000004, 0x00000022,
681   0x5554d557, 0x3332b337, 0x00000005, 0x00007f9f,
682   0x5554d558, 0x3332b338, 0x00007f82, 0x00007fa0,
683   0x5554d559, 0x333332b5, 0x00007f83, 0x00007fa1,
684   0x555554d6, 0x333332b6, 0x00007f84, 0x00007fa2,
685   0x555554d7, 0x333332b7, 0x00007f85, 0x00007fff,
686   0x555554d8, 0x333332b8, 0x00007fe2, 0x0000801c,
687   0x555554d9, 0x33333315, 0x00007fff, 0x0000801d,
688   0x55555536, 0x33333332, 0x00008000, 0x0000801e,
689   0x33333331, 0x00007fff, 0x00008000, 0x0000801e,
690   0x33333332, 0x00008000, 0x00008001, 0x0000801f,
691   0x33333333, 0x00008001, 0x00008002, 0x00008020,
692   0x33333334, 0x00008002, 0x00008003, 0x0000803e,
693   0x33333335, 0x00008003, 0x00008021, 0x0000809b,
694   0x33333336, 0x00008021, 0x0000807e, 0x0000809c,
695   0x33333354, 0x0000807e, 0x0000807f, 0x0000809d,
696   0x333333b1, 0x0000807f, 0x00008080, 0x0001001b,
697   0x333333b2, 0x00008080, 0x0000fffe, 0x0001001c,
698   0x333333b3, 0x0000fffe, 0x0000ffff, 0x0001001d,
699   0x3333b331, 0x0000ffff, 0x00010000, 0x3333b351,
700   0x3333b332, 0x00010000, 0x3333b334, 0x5555d573,
701   0x3333b333, 0x3333b334, 0x5555d556, 0x8000801b,
702   0x66666667, 0x5555d556, 0x80007ffe, 0x8000801c,
703   0x88888889, 0x80007ffe, 0x80007fff, 0x8000801d,
704   0xb3333331, 0x80007fff, 0x80008000, 0x7fff8022,
705   0xb3333332, 0x80008000, 0x7fff8003, 0x7fff8021,
706   0xb3333333, 0x7fff8001, 0x7fff8002, 0x5554d578,
707   0x4ccccccc, 0x7fff8000, 0x5554d559, 0x3332b356,
708   0x4ccccccb, 0x5554d557, 0x3332b337, 0x00000022,
709   0x22222222, 0x3332b335, 0x00000003, 0x00000021,
710   0x00000000, 0x00000001, 0x00000002, 0x00000020,
711   0x3332b334, 0x00000002, 0x00000003, 0x00000021,
712   0x3332b335, 0x00000003, 0x00000004, 0x00007f9e,
713   0x3332b336, 0x00000004, 0x00007f81, 0x00007f9f,
714   0x3332b337, 0x00007f81, 0x00007f82, 0x00007fa0,
715   0x333332b4, 0x00007f82, 0x00007f83, 0x00007fa1,
716   0x333332b5, 0x00007f83, 0x00007f84, 0x00007ffe,
717   0x333332b6, 0x00007f84, 0x00007fe1, 0x0000801b,
718   0x333332b7, 0x00007fe1, 0x00007ffe, 0x0000801c,
719   0x33333314, 0x00007ffe, 0x00007fff, 0x0000801d,
720   0x00007ffd, 0x00007ffe, 0x00007fff, 0x0000801d,
721   0x00007ffe, 0x00007fff, 0x00008000, 0x0000801e,
722   0x00007fff, 0x00008000, 0x00008001, 0x0000801f,
723   0x00008000, 0x00008001, 0x00008002, 0x0000803d,
724   0x00008001, 0x00008002, 0x00008020, 0x0000809a,
725   0x00008002, 0x00008020, 0x0000807d, 0x0000809b,
726   0x00008020, 0x0000807d, 0x0000807e, 0x0000809c,
727   0x0000807d, 0x0000807e, 0x0000807f, 0x0001001a,
728   0x0000807e, 0x0000807f, 0x0000fffd, 0x0001001b,
729   0x0000807f, 0x0000fffd, 0x0000fffe, 0x0001001c,
730   0x0000fffd, 0x0000fffe, 0x0000ffff, 0x3333b350,
731   0x0000fffe, 0x0000ffff, 0x3333b333, 0x5555d572,
732   0x0000ffff, 0x3333b333, 0x5555d555, 0x8000801a,
733   0x3333b333, 0x5555d555, 0x80007ffd, 0x8000801b,
734   0x5555d555, 0x80007ffd, 0x80007ffe, 0x8000801c,
735   0x80007ffd, 0x80007ffe, 0x80007fff, 0x7fff8023,
736   0x80007ffe, 0x80007fff, 0x7fff8004, 0x7fff8022,
737   0x80007fff, 0x7fff8002, 0x7fff8003, 0x5554d579,
738   0x7fff8000, 0x7fff8001, 0x5554d55a, 0x3332b357,
739   0x7fff7fff, 0x5554d558, 0x3332b338, 0x00000023,
740   0x5554d556, 0x3332b336, 0x00000004, 0x00000022,
741   0x3332b334, 0x00000002, 0x00000003, 0x00000021,
742   0x00000000, 0x00000001, 0x00000002, 0x00000020,
743   0x00000001, 0x00000002, 0x00000003, 0x00007f9d,
744   0x00000002, 0x00000003, 0x00007f80, 0x00007f9e,
745   0x00000003, 0x00007f80, 0x00007f81, 0x00007f9f,
746   0x00007f80, 0x00007f81, 0x00007f82, 0x00007fa0,
747   0x00007f81, 0x00007f82, 0x00007f83, 0x00007ffd,
748   0x00007f82, 0x00007f83, 0x00007fe0, 0x0000801a,
749   0x00007f83, 0x00007fe0, 0x00007ffd, 0x0000801b,
750   0x00007fe0, 0x00007ffd, 0x00007ffe, 0x0000801c,
751   0x00007ffc, 0x00007ffd, 0x00007ffe, 0x000000a0,
752   0x00007ffd, 0x00007ffe, 0x00007fff, 0x000000a1,
753   0x00007ffe, 0x00007fff, 0x00008000, 0x000000a2,
754   0x00007fff, 0x00008000, 0x00008001, 0x000000c0,
755   0x00008000, 0x00008001, 0x0000801f, 0x0000011d,
756   0x00008001, 0x0000801f, 0x0000807c, 0x0000011e,
757   0x0000801f, 0x0000807c, 0x0000807d, 0x0000011f,
758   0x0000807c, 0x0000807d, 0x0000807e, 0x0000809d,
759   0x0000807d, 0x0000807e, 0x0000fffc, 0x0000809e,
760   0x0000807e, 0x0000fffc, 0x0000fffd, 0x0000809f,
761   0x0000fffc, 0x0000fffd, 0x0000fffe, 0x333333d3,
762   0x0000fffd, 0x0000fffe, 0x3333b332, 0x555555f5,
763   0x0000fffe, 0x3333b332, 0x5555d554, 0x8000009d,
764   0x3333b332, 0x5555d554, 0x80007ffc, 0x8000009e,
765   0x5555d554, 0x80007ffc, 0x80007ffd, 0x8000009f,
766   0x80007ffc, 0x80007ffd, 0x80007ffe, 0x7fffffa0,
767   0x80007ffd, 0x80007ffe, 0x7fff8005, 0x7fffff9f,
768   0x80007ffe, 0x7fff8003, 0x7fff8004, 0x555554f6,
769   0x7fff8001, 0x7fff8002, 0x5554d55b, 0x333332d4,
770   0x7fff8000, 0x5554d559, 0x3332b339, 0x00007fa0,
771   0x5554d557, 0x3332b337, 0x00000005, 0x00007f9f,
772   0x3332b335, 0x00000003, 0x00000004, 0x00007f9e,
773   0x00000001, 0x00000002, 0x00000003, 0x00007f9d,
774   0x00000000, 0x00000001, 0x00000002, 0x00000020,
775   0x00000001, 0x00000002, 0x00007f7f, 0x00000021,
776   0x00000002, 0x00007f7f, 0x00007f80, 0x00000022,
777   0x00007f7f, 0x00007f80, 0x00007f81, 0x00000023,
778   0x00007f80, 0x00007f81, 0x00007f82, 0x00000080,
779   0x00007f81, 0x00007f82, 0x00007fdf, 0x0000009d,
780   0x00007f82, 0x00007fdf, 0x00007ffc, 0x0000009e,
781   0x00007fdf, 0x00007ffc, 0x00007ffd, 0x0000009f,
782   0x00007ffb, 0x00007ffc, 0x00000081, 0x0000009f,
783   0x00007ffc, 0x00007ffd, 0x00000082, 0x000000a0,
784   0x00007ffd, 0x00007ffe, 0x00000083, 0x000000a1,
785   0x00007ffe, 0x00007fff, 0x00000084, 0x000000bf,
786   0x00007fff, 0x00008000, 0x000000a2, 0x0000011c,
787   0x00008000, 0x0000801e, 0x000000ff, 0x0000011d,
788   0x0000801e, 0x0000807b, 0x00000100, 0x0000011e,
789   0x0000807b, 0x0000807c, 0x00000101, 0x0000809c,
790   0x0000807c, 0x0000807d, 0x0000807f, 0x0000809d,
791   0x0000807d, 0x0000fffb, 0x00008080, 0x0000809e,
792   0x0000fffb, 0x0000fffc, 0x00008081, 0x333333d2,
793   0x0000fffc, 0x0000fffd, 0x333333b5, 0x555555f4,
794   0x0000fffd, 0x3333b331, 0x555555d7, 0x8000009c,
795   0x3333b331, 0x5555d553, 0x8000007f, 0x8000009d,
796   0x5555d553, 0x80007ffb, 0x80000080, 0x8000009e,
797   0x80007ffb, 0x80007ffc, 0x80000081, 0x7fffffa1,
798   0x80007ffc, 0x80007ffd, 0x7fffff82, 0x7fffffa0,
799   0x80007ffd, 0x7fff8004, 0x7fffff81, 0x555554f7,
800   0x7fff8002, 0x7fff8003, 0x555554d8, 0x333332d5,
801   0x7fff8001, 0x5554d55a, 0x333332b6, 0x00007fa1,
802   0x5554d558, 0x3332b338, 0x00007f82, 0x00007fa0,
803   0x3332b336, 0x00000004, 0x00007f81, 0x00007f9f,
804   0x00000002, 0x00000003, 0x00007f80, 0x00007f9e,
805   0x00000001, 0x00000002, 0x00007f7f, 0x00000021,
806   0x00000000, 0x00000001, 0x00000002, 0x00000020,
807   0x00000001, 0x00007f7e, 0x00000003, 0x00000021,
808   0x00007f7e, 0x00007f7f, 0x00000004, 0x00000022,
809   0x00007f7f, 0x00007f80, 0x00000005, 0x0000007f,
810   0x00007f80, 0x00007f81, 0x00000062, 0x0000009c,
811   0x00007f81, 0x00007fde, 0x0000007f, 0x0000009d,
812   0x00007fde, 0x00007ffb, 0x00000080, 0x0000009e,
813   0x00007ffa, 0x0000007f, 0x00000080, 0x0000009e,
814   0x00007ffb, 0x00000080, 0x00000081, 0x0000009f,
815   0x00007ffc, 0x00000081, 0x00000082, 0x000000a0,
816   0x00007ffd, 0x00000082, 0x00000083, 0x000000be,
817   0x00007ffe, 0x00000083, 0x000000a1, 0x0000011b,
818   0x00007fff, 0x000000a1, 0x000000fe, 0x0000011c,
819   0x0000801d, 0x000000fe, 0x000000ff, 0x0000011d,
820   0x0000807a, 0x000000ff, 0x00000100, 0x0000809b,
821   0x0000807b, 0x00000100, 0x0000807e, 0x0000809c,
822   0x0000807c, 0x0000807e, 0x0000807f, 0x0000809d,
823   0x0000fffa, 0x0000807f, 0x00008080, 0x333333d1,
824   0x0000fffb, 0x00008080, 0x333333b4, 0x555555f3,
825   0x0000fffc, 0x333333b4, 0x555555d6, 0x8000009b,
826   0x3333b330, 0x555555d6, 0x8000007e, 0x8000009c,
827   0x5555d552, 0x8000007e, 0x8000007f, 0x8000009d,
828   0x80007ffa, 0x8000007f, 0x80000080, 0x7fffffa2,
829   0x80007ffb, 0x80000080, 0x7fffff83, 0x7fffffa1,
830   0x80007ffc, 0x7fffff81, 0x7fffff82, 0x555554f8,
831   0x7fff8003, 0x7fffff80, 0x555554d9, 0x333332d6,
832   0x7fff8002, 0x555554d7, 0x333332b7, 0x00007fa2,
833   0x5554d559, 0x333332b5, 0x00007f83, 0x00007fa1,
834   0x3332b337, 0x00007f81, 0x00007f82, 0x00007fa0,
835   0x00000003, 0x00007f80, 0x00007f81, 0x00007f9f,
836   0x00000002, 0x00007f7f, 0x00007f80, 0x00000022,
837   0x00000001, 0x00007f7e, 0x00000003, 0x00000021,
838   0x00000000, 0x00000001, 0x00000002, 0x00000020,
839   0x00007f7d, 0x00000002, 0x00000003, 0x00000021,
840   0x00007f7e, 0x00000003, 0x00000004, 0x0000007e,
841   0x00007f7f, 0x00000004, 0x00000061, 0x0000009b,
842   0x00007f80, 0x00000061, 0x0000007e, 0x0000009c,
843   0x00007fdd, 0x0000007e, 0x0000007f, 0x0000009d,
844   0x0000007d, 0x0000007e, 0x0000007f, 0x0000009d,
845   0x0000007e, 0x0000007f, 0x00000080, 0x0000009e,
846   0x0000007f, 0x00000080, 0x00000081, 0x0000009f,
847   0x00000080, 0x00000081, 0x00000082, 0x000000bd,
848   0x00000081, 0x00000082, 0x000000a0, 0x0000011a,
849   0x00000082, 0x000000a0, 0x000000fd, 0x0000011b,
850   0x000000a0, 0x000000fd, 0x000000fe, 0x0000011c,
851   0x000000fd, 0x000000fe, 0x000000ff, 0x0000809a,
852   0x000000fe, 0x000000ff, 0x0000807d, 0x0000809b,
853   0x000000ff, 0x0000807d, 0x0000807e, 0x0000809c,
854   0x0000807d, 0x0000807e, 0x0000807f, 0x333333d0,
855   0x0000807e, 0x0000807f, 0x333333b3, 0x555555f2,
856   0x0000807f, 0x333333b3, 0x555555d5, 0x8000009a,
857   0x333333b3, 0x555555d5, 0x8000007d, 0x8000009b,
858   0x555555d5, 0x8000007d, 0x8000007e, 0x8000009c,
859   0x8000007d, 0x8000007e, 0x8000007f, 0x7fffffa3,
860   0x8000007e, 0x8000007f, 0x7fffff84, 0x7fffffa2,
861   0x8000007f, 0x7fffff82, 0x7fffff83, 0x555554f9,
862   0x7fffff80, 0x7fffff81, 0x555554da, 0x333332d7,
863   0x7fffff7f, 0x555554d8, 0x333332b8, 0x00007fa3,
864   0x555554d6, 0x333332b6, 0x00007f84, 0x00007fa2,
865   0x333332b4, 0x00007f82, 0x00007f83, 0x00007fa1,
866   0x00007f80, 0x00007f81, 0x00007f82, 0x00007fa0,
867   0x00007f7f, 0x00007f80, 0x00007f81, 0x00000023,
868   0x00007f7e, 0x00007f7f, 0x00000004, 0x00000022,
869   0x00007f7d, 0x00000002, 0x00000003, 0x00000021,
870   0x00000000, 0x00000001, 0x00000002, 0x00000020,
871   0x00000001, 0x00000002, 0x00000003, 0x0000007d,
872   0x00000002, 0x00000003, 0x00000060, 0x0000009a,
873   0x00000003, 0x00000060, 0x0000007d, 0x0000009b,
874   0x00000060, 0x0000007d, 0x0000007e, 0x0000009c,
875   0x0000007c, 0x0000007d, 0x0000007e, 0x00000040,
876   0x0000007d, 0x0000007e, 0x0000007f, 0x00000041,
877   0x0000007e, 0x0000007f, 0x00000080, 0x00000042,
878   0x0000007f, 0x00000080, 0x00000081, 0x00000060,
879   0x00000080, 0x00000081, 0x0000009f, 0x000000bd,
880   0x00000081, 0x0000009f, 0x000000fc, 0x000000be,
881   0x0000009f, 0x000000fc, 0x000000fd, 0x000000bf,
882   0x000000fc, 0x000000fd, 0x000000fe, 0x0000803d,
883   0x000000fd, 0x000000fe, 0x0000807c, 0x0000803e,
884   0x000000fe, 0x0000807c, 0x0000807d, 0x0000803f,
885   0x0000807c, 0x0000807d, 0x0000807e, 0x33333373,
886   0x0000807d, 0x0000807e, 0x333333b2, 0x55555595,
887   0x0000807e, 0x333333b2, 0x555555d4, 0x8000003d,
888   0x333333b2, 0x555555d4, 0x8000007c, 0x8000003e,
889   0x555555d4, 0x8000007c, 0x8000007d, 0x8000003f,
890   0x8000007c, 0x8000007d, 0x8000007e, 0x80000000,
891   0x8000007d, 0x8000007e, 0x7fffff85, 0x7fffffff,
892   0x8000007e, 0x7fffff83, 0x7fffff84, 0x55555556,
893   0x7fffff81, 0x7fffff82, 0x555554db, 0x33333334,
894   0x7fffff80, 0x555554d9, 0x333332b9, 0x00008000,
895   0x555554d7, 0x333332b7, 0x00007f85, 0x00007fff,
896   0x333332b5, 0x00007f83, 0x00007f84, 0x00007ffe,
897   0x00007f81, 0x00007f82, 0x00007f83, 0x00007ffd,
898   0x00007f80, 0x00007f81, 0x00007f82, 0x00000080,
899   0x00007f7f, 0x00007f80, 0x00000005, 0x0000007f,
900   0x00007f7e, 0x00000003, 0x00000004, 0x0000007e,
901   0x00000001, 0x00000002, 0x00000003, 0x0000007d,
902   0x00000000, 0x00000001, 0x00000002, 0x00000020,
903   0x00000001, 0x00000002, 0x0000005f, 0x0000003d,
904   0x00000002, 0x0000005f, 0x0000007c, 0x0000003e,
905   0x0000005f, 0x0000007c, 0x0000007d, 0x0000003f,
906   0x0000007b, 0x0000007c, 0x00000021, 0x00000023,
907   0x0000007c, 0x0000007d, 0x00000022, 0x00000024,
908   0x0000007d, 0x0000007e, 0x00000023, 0x00000025,
909   0x0000007e, 0x0000007f, 0x00000024, 0x00000043,
910   0x0000007f, 0x00000080, 0x00000042, 0x000000a0,
911   0x00000080, 0x0000009e, 0x0000009f, 0x000000a1,
912   0x0000009e, 0x000000fb, 0x000000a0, 0x000000a2,
913   0x000000fb, 0x000000fc, 0x000000a1, 0x00008020,
914   0x000000fc, 0x000000fd, 0x0000801f, 0x00008021,
915   0x000000fd, 0x0000807b, 0x00008020, 0x00008022,
916   0x0000807b, 0x0000807c, 0x00008021, 0x33333356,
917   0x0000807c, 0x0000807d, 0x33333355, 0x55555578,
918   0x0000807d, 0x333333b1, 0x55555577, 0x80000020,
919   0x333333b1, 0x555555d3, 0x8000001f, 0x80000021,
920   0x555555d3, 0x8000007b, 0x80000020, 0x80000022,
921   0x8000007b, 0x8000007c, 0x80000021, 0x8000001d,
922   0x8000007c, 0x8000007d, 0x7fffffe2, 0x8000001c,
923   0x8000007d, 0x7fffff84, 0x7fffffe1, 0x55555573,
924   0x7fffff82, 0x7fffff83, 0x55555538, 0x33333351,
925   0x7fffff81, 0x555554da, 0x33333316, 0x0000801d,
926   0x555554d8, 0x333332b8, 0x00007fe2, 0x0000801c,
927   0x333332b6, 0x00007f84, 0x00007fe1, 0x0000801b,
928   0x00007f82, 0x00007f83, 0x00007fe0, 0x0000801a,
929   0x00007f81, 0x00007f82, 0x00007fdf, 0x0000009d,
930   0x00007f80, 0x00007f81, 0x00000062, 0x0000009c,
931   0x00007f7f, 0x00000004, 0x00000061, 0x0000009b,
932   0x00000002, 0x00000003, 0x00000060, 0x0000009a,
933   0x00000001, 0x00000002, 0x0000005f, 0x0000003d,
934   0x00000000, 0x00000001, 0x00000002, 0x00000020,
935   0x00000001, 0x0000005e, 0x0000001f, 0x00000021,
936   0x0000005e, 0x0000007b, 0x00000020, 0x00000022,
937   0x0000007a, 0x0000001f, 0x00000004, 0x00000022,
938   0x0000007b, 0x00000020, 0x00000005, 0x00000023,
939   0x0000007c, 0x00000021, 0x00000006, 0x00000024,
940   0x0000007d, 0x00000022, 0x00000007, 0x00000042,
941   0x0000007e, 0x00000023, 0x00000025, 0x0000009f,
942   0x0000007f, 0x00000041, 0x00000082, 0x000000a0,
943   0x0000009d, 0x0000009e, 0x00000083, 0x000000a1,
944   0x000000fa, 0x0000009f, 0x00000084, 0x0000801f,
945   0x000000fb, 0x000000a0, 0x00008002, 0x00008020,
946   0x000000fc, 0x0000801e, 0x00008003, 0x00008021,
947   0x0000807a, 0x0000801f, 0x00008004, 0x33333355,
948   0x0000807b, 0x00008020, 0x33333338, 0x55555577,
949   0x0000807c, 0x33333354, 0x5555555a, 0x8000001f,
950   0x333333b0, 0x55555576, 0x80000002, 0x80000020,
951   0x555555d2, 0x8000001e, 0x80000003, 0x80000021,
952   0x8000007a, 0x8000001f, 0x80000004, 0x8000001e,
953   0x8000007b, 0x80000020, 0x7fffffff, 0x8000001d,
954   0x8000007c, 0x7fffffe1, 0x7ffffffe, 0x55555574,
955   0x7fffff83, 0x7fffffe0, 0x55555555, 0x33333352,
956   0x7fffff82, 0x55555537, 0x33333333, 0x0000801e,
957   0x555554d9, 0x33333315, 0x00007fff, 0x0000801d,
958   0x333332b7, 0x00007fe1, 0x00007ffe, 0x0000801c,
959   0x00007f83, 0x00007fe0, 0x00007ffd, 0x0000801b,
960   0x00007f82, 0x00007fdf, 0x00007ffc, 0x0000009e,
961   0x00007f81, 0x00007fde, 0x0000007f, 0x0000009d,
962   0x00007f80, 0x00000061, 0x0000007e, 0x0000009c,
963   0x00000003, 0x00000060, 0x0000007d, 0x0000009b,
964   0x00000002, 0x0000005f, 0x0000007c, 0x0000003e,
965   0x00000001, 0x0000005e, 0x0000001f, 0x00000021,
966   0x00000000, 0x00000001, 0x00000002, 0x00000020,
967   0x0000005d, 0x0000001e, 0x00000003, 0x00000021,
968   0x0000001d, 0x00000002, 0x00000003, 0x00000021,
969   0x0000001e, 0x00000003, 0x00000004, 0x00000022,
970   0x0000001f, 0x00000004, 0x00000005, 0x00000023,
971   0x00000020, 0x00000005, 0x00000006, 0x00000041,
972   0x00000021, 0x00000006, 0x00000024, 0x0000009e,
973   0x00000022, 0x00000024, 0x00000081, 0x0000009f,
974   0x00000040, 0x00000081, 0x00000082, 0x000000a0,
975   0x0000009d, 0x00000082, 0x00000083, 0x0000801e,
976   0x0000009e, 0x00000083, 0x00008001, 0x0000801f,
977   0x0000009f, 0x00008001, 0x00008002, 0x00008020,
978   0x0000801d, 0x00008002, 0x00008003, 0x33333354,
979   0x0000801e, 0x00008003, 0x33333337, 0x55555576,
980   0x0000801f, 0x33333337, 0x55555559, 0x8000001e,
981   0x33333353, 0x55555559, 0x80000001, 0x8000001f,
982   0x55555575, 0x80000001, 0x80000002, 0x80000020,
983   0x8000001d, 0x80000002, 0x80000003, 0x8000001f,
984   0x8000001e, 0x80000003, 0x80000000, 0x8000001e,
985   0x8000001f, 0x7ffffffe, 0x7fffffff, 0x55555575,
986   0x7fffffe0, 0x7ffffffd, 0x55555556, 0x33333353,
987   0x7fffffdf, 0x55555554, 0x33333334, 0x0000801f,
988   0x55555536, 0x33333332, 0x00008000, 0x0000801e,
989   0x33333314, 0x00007ffe, 0x00007fff, 0x0000801d,
990   0x00007fe0, 0x00007ffd, 0x00007ffe, 0x0000801c,
991   0x00007fdf, 0x00007ffc, 0x00007ffd, 0x0000009f,
992   0x00007fde, 0x00007ffb, 0x00000080, 0x0000009e,
993   0x00007fdd, 0x0000007e, 0x0000007f, 0x0000009d,
994   0x00000060, 0x0000007d, 0x0000007e, 0x0000009c,
995   0x0000005f, 0x0000007c, 0x0000007d, 0x0000003f,
996   0x0000005e, 0x0000007b, 0x00000020, 0x00000022,
997   0x0000005d, 0x0000001e, 0x00000003, 0x00000021,
998   0x00000000, 0x00000001, 0x00000002, 0x00000020,
999 };
1000 const unsigned kExpectedCount_NEON_saba_4S = 961;
1001 
1002 #endif  // VIXL_SIM_SABA_4S_TRACE_AARCH64_H_
1003