• 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_SSUBL_4S_TRACE_AARCH64_H_
35 #define VIXL_SIM_SSUBL_4S_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_NEON_ssubl_4S[] = {
38   0x00000000, 0x00000000, 0x00000000, 0x00000000,
39   0xffffffff, 0xffffcd4c, 0xffffddde, 0xffffd558,
40   0xffffcd4b, 0xffffab2a, 0xffffb336, 0xffffd557,
41   0xffffab29, 0xffff8082, 0xffffb335, 0xffffd556,
42   0xffff8081, 0xffff8081, 0xffffb334, 0x00005555,
43   0xffff8080, 0xffff8080, 0x00003333, 0x00005554,
44   0xffff807f, 0x0000007f, 0x00003332, 0x00005553,
45   0x0000007e, 0x0000007e, 0x00003331, 0x00005545,
46   0x0000007d, 0x0000007d, 0x00003323, 0x000054d8,
47   0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7,
48   0x0000006e, 0x00000002, 0x000032b5, 0x000054d6,
49   0x00000001, 0x00000001, 0x000032b4, 0x00002222,
50   0x00000000, 0x00000000, 0x00000000, 0x00000000,
51   0xffffffff, 0xffffcd4c, 0xffffddde, 0xffffd558,
52   0xffffcd4b, 0xffffab2a, 0xffffb336, 0xffffd557,
53   0xffffab29, 0xffff8082, 0xffffb335, 0xffffd556,
54   0xffff8081, 0xffff8081, 0xffffb334, 0x0000d555,
55   0xffff8080, 0xffff8080, 0x0000b333, 0x0000d554,
56   0xffff807f, 0x0000807f, 0x0000b332, 0x0000aaab,
57   0x0000807e, 0x0000807e, 0x00008889, 0x00008889,
58   0x0000807d, 0x000055d5, 0x00006667, 0x000055d5,
59   0x000055d4, 0x000033b3, 0x000033b3, 0x000055d4,
60   0x000033b2, 0x000000ff, 0x000033b2, 0x000055d3,
61   0x000000fe, 0x000000fe, 0x000033b1, 0x000055d2,
62   0x000000fe, 0x000033b1, 0x000055d2, 0x0000800d,
63   0x000000fd, 0x000033b0, 0x00005565, 0x00008000,
64   0x000000fc, 0x00003343, 0x00005558, 0x00007fff,
65   0x0000008f, 0x00003336, 0x00005557, 0x00007ffe,
66   0x00000082, 0x00003335, 0x00005556, 0x00007ffd,
67   0x00000081, 0x00003334, 0x00005555, 0x00007ffc,
68   0x00000080, 0x00003333, 0x00005554, 0x00007ffb,
69   0x0000007f, 0x00003332, 0x00005553, 0x00007fed,
70   0x0000007e, 0x00003331, 0x00005545, 0x00007f80,
71   0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f,
72   0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e,
73   0x00000002, 0x000032b5, 0x000054d6, 0x00004cca,
74   0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
75   0x00000000, 0x00000000, 0x00000000, 0x00000000,
76   0xffffcd4c, 0xffffddde, 0xffffd558, 0xffffffff,
77   0xffffab2a, 0xffffb336, 0xffffd557, 0xfffffffe,
78   0xffff8082, 0xffffb335, 0xffffd556, 0x0000fffd,
79   0xffff8081, 0xffffb334, 0x0000d555, 0x0000fffc,
80   0xffff8080, 0x0000b333, 0x0000d554, 0x0000d553,
81   0x0000807f, 0x0000b332, 0x0000aaab, 0x0000b331,
82   0x0000807e, 0x00008889, 0x00008889, 0x0000807d,
83   0x000055d5, 0x00006667, 0x000055d5, 0x0000807c,
84   0x000033b3, 0x000033b3, 0x000055d4, 0x0000807b,
85   0x000000ff, 0x000033b2, 0x000055d3, 0x0000807a,
86   0x000033b2, 0x000055d3, 0x0000807a, 0x0000800e,
87   0x000033b1, 0x000055d2, 0x0000800d, 0x00008001,
88   0x000033b0, 0x00005565, 0x00008000, 0x00008000,
89   0x00003343, 0x00005558, 0x00007fff, 0x00007fff,
90   0x00003336, 0x00005557, 0x00007ffe, 0x00007ffe,
91   0x00003335, 0x00005556, 0x00007ffd, 0x00007ffd,
92   0x00003334, 0x00005555, 0x00007ffc, 0x00007ffc,
93   0x00003333, 0x00005554, 0x00007ffb, 0x00007fee,
94   0x00003332, 0x00005553, 0x00007fed, 0x00007f81,
95   0x00003331, 0x00005545, 0x00007f80, 0x00007f80,
96   0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f,
97   0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb,
98   0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
99   0x000032b4, 0x00002222, 0x00002aa8, 0x00000001,
100   0x00000000, 0x00000000, 0x00000000, 0x00000000,
101   0xffffddde, 0xffffd558, 0xffffffff, 0xffffffff,
102   0xffffb336, 0xffffd557, 0xfffffffe, 0x0000fffe,
103   0xffffb335, 0xffffd556, 0x0000fffd, 0x0000fffd,
104   0xffffb334, 0x0000d555, 0x0000fffc, 0x0000d554,
105   0x0000b333, 0x0000d554, 0x0000d553, 0x0000b332,
106   0x0000b332, 0x0000aaab, 0x0000b331, 0x0000807e,
107   0x00008889, 0x00008889, 0x0000807d, 0x0000807d,
108   0x00006667, 0x000055d5, 0x0000807c, 0x0000807c,
109   0x000033b3, 0x000055d4, 0x0000807b, 0x0000807b,
110   0x000055d4, 0x0000807b, 0x0000807b, 0x0000800f,
111   0x000055d3, 0x0000807a, 0x0000800e, 0x00008002,
112   0x000055d2, 0x0000800d, 0x00008001, 0x00008001,
113   0x00005565, 0x00008000, 0x00008000, 0x00008000,
114   0x00005558, 0x00007fff, 0x00007fff, 0x00007fff,
115   0x00005557, 0x00007ffe, 0x00007ffe, 0x00007ffe,
116   0x00005556, 0x00007ffd, 0x00007ffd, 0x00007ffd,
117   0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef,
118   0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82,
119   0x00005553, 0x00007fed, 0x00007f81, 0x00007f81,
120   0x00005545, 0x00007f80, 0x00007f80, 0x00007f80,
121   0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc,
122   0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
123   0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002,
124   0x00002222, 0x00002aa8, 0x00000001, 0x00000001,
125   0x00000000, 0x00000000, 0x00000000, 0x00000000,
126   0xffffd558, 0xffffffff, 0xffffffff, 0x0000ffff,
127   0xffffd557, 0xfffffffe, 0x0000fffe, 0x0000fffe,
128   0xffffd556, 0x0000fffd, 0x0000fffd, 0x0000d555,
129   0x0000d555, 0x0000fffc, 0x0000d554, 0x0000b333,
130   0x0000d554, 0x0000d553, 0x0000b332, 0x0000807f,
131   0x0000aaab, 0x0000b331, 0x0000807e, 0x0000807e,
132   0x00008889, 0x0000807d, 0x0000807d, 0x0000807d,
133   0x000055d5, 0x0000807c, 0x0000807c, 0x0000807c,
134   0x0000807c, 0x0000807c, 0x0000807c, 0x00000010,
135   0x0000807b, 0x0000807b, 0x0000800f, 0x00000003,
136   0x0000807a, 0x0000800e, 0x00008002, 0x00000002,
137   0x0000800d, 0x00008001, 0x00008001, 0x00000001,
138   0x00008000, 0x00008000, 0x00008000, 0x00000000,
139   0x00007fff, 0x00007fff, 0x00007fff, 0xffffffff,
140   0x00007ffe, 0x00007ffe, 0x00007ffe, 0xfffffffe,
141   0x00007ffd, 0x00007ffd, 0x00007ffd, 0xfffffff0,
142   0x00007ffc, 0x00007ffc, 0x00007fef, 0xffffff83,
143   0x00007ffb, 0x00007fee, 0x00007f82, 0xffffff82,
144   0x00007fed, 0x00007f81, 0x00007f81, 0xffffff81,
145   0x00007f80, 0x00007f80, 0x00007f80, 0xffffcccd,
146   0x00007f7f, 0x00007f7f, 0x00004ccc, 0xffffaaab,
147   0x00007f7e, 0x00004ccb, 0x00002aaa, 0xffff8003,
148   0x00004cca, 0x00002aa9, 0x00000002, 0xffff8002,
149   0x00002aa8, 0x00000001, 0x00000001, 0xffff8001,
150   0x00000000, 0x00000000, 0x00000000, 0x00008000,
151   0xffffffff, 0xffffffff, 0x0000ffff, 0x00007fff,
152   0xfffffffe, 0x0000fffe, 0x0000fffe, 0x00005556,
153   0x0000fffd, 0x0000fffd, 0x0000d555, 0x00003334,
154   0x0000fffc, 0x0000d554, 0x0000b333, 0x00000080,
155   0x0000d553, 0x0000b332, 0x0000807f, 0x0000007f,
156   0x0000b331, 0x0000807e, 0x0000807e, 0x0000007e,
157   0x0000807d, 0x0000807d, 0x0000807d, 0x0000007d,
158   0x0000807d, 0x0000807d, 0x0000007d, 0x00000011,
159   0x0000807c, 0x0000807c, 0x00000010, 0x00000004,
160   0x0000807b, 0x0000800f, 0x00000003, 0x00000003,
161   0x0000800e, 0x00008002, 0x00000002, 0x00000002,
162   0x00008001, 0x00008001, 0x00000001, 0x00000001,
163   0x00008000, 0x00008000, 0x00000000, 0x00000000,
164   0x00007fff, 0x00007fff, 0xffffffff, 0xffffffff,
165   0x00007ffe, 0x00007ffe, 0xfffffffe, 0xfffffff1,
166   0x00007ffd, 0x00007ffd, 0xfffffff0, 0xffffff84,
167   0x00007ffc, 0x00007fef, 0xffffff83, 0xffffff83,
168   0x00007fee, 0x00007f82, 0xffffff82, 0xffffff82,
169   0x00007f81, 0x00007f81, 0xffffff81, 0xffffccce,
170   0x00007f80, 0x00007f80, 0xffffcccd, 0xffffaaac,
171   0x00007f7f, 0x00004ccc, 0xffffaaab, 0xffff8004,
172   0x00004ccb, 0x00002aaa, 0xffff8003, 0xffff8003,
173   0x00002aa9, 0x00000002, 0xffff8002, 0xffff8002,
174   0x00000001, 0x00000001, 0xffff8001, 0x00008001,
175   0x00000000, 0x00000000, 0x00008000, 0x00008000,
176   0xffffffff, 0x0000ffff, 0x00007fff, 0x00005557,
177   0x0000fffe, 0x0000fffe, 0x00005556, 0x00003335,
178   0x0000fffd, 0x0000d555, 0x00003334, 0x00000081,
179   0x0000d554, 0x0000b333, 0x00000080, 0x00000080,
180   0x0000b332, 0x0000807f, 0x0000007f, 0x0000007f,
181   0x0000807e, 0x0000807e, 0x0000007e, 0x0000007e,
182   0x0000807e, 0x0000007e, 0x0000007e, 0x00000012,
183   0x0000807d, 0x0000007d, 0x00000011, 0x00000005,
184   0x0000807c, 0x00000010, 0x00000004, 0x00000004,
185   0x0000800f, 0x00000003, 0x00000003, 0x00000003,
186   0x00008002, 0x00000002, 0x00000002, 0x00000002,
187   0x00008001, 0x00000001, 0x00000001, 0x00000001,
188   0x00008000, 0x00000000, 0x00000000, 0x00000000,
189   0x00007fff, 0xffffffff, 0xffffffff, 0xfffffff2,
190   0x00007ffe, 0xfffffffe, 0xfffffff1, 0xffffff85,
191   0x00007ffd, 0xfffffff0, 0xffffff84, 0xffffff84,
192   0x00007fef, 0xffffff83, 0xffffff83, 0xffffff83,
193   0x00007f82, 0xffffff82, 0xffffff82, 0xffffcccf,
194   0x00007f81, 0xffffff81, 0xffffccce, 0xffffaaad,
195   0x00007f80, 0xffffcccd, 0xffffaaac, 0xffff8005,
196   0x00004ccc, 0xffffaaab, 0xffff8004, 0xffff8004,
197   0x00002aaa, 0xffff8003, 0xffff8003, 0xffff8003,
198   0x00000002, 0xffff8002, 0xffff8002, 0x00008002,
199   0x00000001, 0xffff8001, 0x00008001, 0x00008001,
200   0x00000000, 0x00008000, 0x00008000, 0x00005558,
201   0x0000ffff, 0x00007fff, 0x00005557, 0x00003336,
202   0x0000fffe, 0x00005556, 0x00003335, 0x00000082,
203   0x0000d555, 0x00003334, 0x00000081, 0x00000081,
204   0x0000b333, 0x00000080, 0x00000080, 0x00000080,
205   0x0000807f, 0x0000007f, 0x0000007f, 0x0000007f,
206   0x0000007f, 0x0000007f, 0x0000007f, 0x00000020,
207   0x0000007e, 0x0000007e, 0x00000012, 0x00000013,
208   0x0000007d, 0x00000011, 0x00000005, 0x00000012,
209   0x00000010, 0x00000004, 0x00000004, 0x00000011,
210   0x00000003, 0x00000003, 0x00000003, 0x00000010,
211   0x00000002, 0x00000002, 0x00000002, 0x0000000f,
212   0x00000001, 0x00000001, 0x00000001, 0x0000000e,
213   0x00000000, 0x00000000, 0x00000000, 0x00000000,
214   0xffffffff, 0xffffffff, 0xfffffff2, 0xffffff93,
215   0xfffffffe, 0xfffffff1, 0xffffff85, 0xffffff92,
216   0xfffffff0, 0xffffff84, 0xffffff84, 0xffffff91,
217   0xffffff83, 0xffffff83, 0xffffff83, 0xffffccdd,
218   0xffffff82, 0xffffff82, 0xffffcccf, 0xffffaabb,
219   0xffffff81, 0xffffccce, 0xffffaaad, 0xffff8013,
220   0xffffcccd, 0xffffaaac, 0xffff8005, 0xffff8012,
221   0xffffaaab, 0xffff8004, 0xffff8004, 0xffff8011,
222   0xffff8003, 0xffff8003, 0xffff8003, 0x00008010,
223   0xffff8002, 0xffff8002, 0x00008002, 0x0000800f,
224   0xffff8001, 0x00008001, 0x00008001, 0x00005566,
225   0x00008000, 0x00008000, 0x00005558, 0x00003344,
226   0x00007fff, 0x00005557, 0x00003336, 0x00000090,
227   0x00005556, 0x00003335, 0x00000082, 0x0000008f,
228   0x00003334, 0x00000081, 0x00000081, 0x0000008e,
229   0x00000080, 0x00000080, 0x00000080, 0x0000008d,
230   0x00000080, 0x00000080, 0x0000008d, 0x0000008d,
231   0x0000007f, 0x0000007f, 0x00000020, 0x00000080,
232   0x0000007e, 0x00000012, 0x00000013, 0x0000007f,
233   0x00000011, 0x00000005, 0x00000012, 0x0000007e,
234   0x00000004, 0x00000004, 0x00000011, 0x0000007d,
235   0x00000003, 0x00000003, 0x00000010, 0x0000007c,
236   0x00000002, 0x00000002, 0x0000000f, 0x0000007b,
237   0x00000001, 0x00000001, 0x0000000e, 0x0000006d,
238   0x00000000, 0x00000000, 0x00000000, 0x00000000,
239   0xffffffff, 0xfffffff2, 0xffffff93, 0xffffffff,
240   0xfffffff1, 0xffffff85, 0xffffff92, 0xfffffffe,
241   0xffffff84, 0xffffff84, 0xffffff91, 0xffffcd4a,
242   0xffffff83, 0xffffff83, 0xffffccdd, 0xffffab28,
243   0xffffff82, 0xffffcccf, 0xffffaabb, 0xffff8080,
244   0xffffccce, 0xffffaaad, 0xffff8013, 0xffff807f,
245   0xffffaaac, 0xffff8005, 0xffff8012, 0xffff807e,
246   0xffff8004, 0xffff8004, 0xffff8011, 0x0000807d,
247   0xffff8003, 0xffff8003, 0x00008010, 0x0000807c,
248   0xffff8002, 0x00008002, 0x0000800f, 0x000055d3,
249   0x00008001, 0x00008001, 0x00005566, 0x000033b1,
250   0x00008000, 0x00005558, 0x00003344, 0x000000fd,
251   0x00005557, 0x00003336, 0x00000090, 0x000000fc,
252   0x00003335, 0x00000082, 0x0000008f, 0x000000fb,
253   0x00000081, 0x00000081, 0x0000008e, 0x000000fa,
254   0x00000081, 0x0000008e, 0x000000fa, 0x0000008e,
255   0x00000080, 0x0000008d, 0x0000008d, 0x00000081,
256   0x0000007f, 0x00000020, 0x00000080, 0x00000080,
257   0x00000012, 0x00000013, 0x0000007f, 0x0000007f,
258   0x00000005, 0x00000012, 0x0000007e, 0x0000007e,
259   0x00000004, 0x00000011, 0x0000007d, 0x0000007d,
260   0x00000003, 0x00000010, 0x0000007c, 0x0000007c,
261   0x00000002, 0x0000000f, 0x0000007b, 0x0000006e,
262   0x00000001, 0x0000000e, 0x0000006d, 0x00000001,
263   0x00000000, 0x00000000, 0x00000000, 0x00000000,
264   0xfffffff2, 0xffffff93, 0xffffffff, 0xffffffff,
265   0xffffff85, 0xffffff92, 0xfffffffe, 0xffffcd4b,
266   0xffffff84, 0xffffff91, 0xffffcd4a, 0xffffab29,
267   0xffffff83, 0xffffccdd, 0xffffab28, 0xffff8081,
268   0xffffcccf, 0xffffaabb, 0xffff8080, 0xffff8080,
269   0xffffaaad, 0xffff8013, 0xffff807f, 0xffff807f,
270   0xffff8005, 0xffff8012, 0xffff807e, 0x0000807e,
271   0xffff8004, 0xffff8011, 0x0000807d, 0x0000807d,
272   0xffff8003, 0x00008010, 0x0000807c, 0x000055d4,
273   0x00008002, 0x0000800f, 0x000055d3, 0x000033b2,
274   0x00008001, 0x00005566, 0x000033b1, 0x000000fe,
275   0x00005558, 0x00003344, 0x000000fd, 0x000000fd,
276   0x00003336, 0x00000090, 0x000000fc, 0x000000fc,
277   0x00000082, 0x0000008f, 0x000000fb, 0x000000fb,
278   0x0000008f, 0x000000fb, 0x000000fb, 0x0000008f,
279   0x0000008e, 0x000000fa, 0x0000008e, 0x00000082,
280   0x0000008d, 0x0000008d, 0x00000081, 0x00000081,
281   0x00000020, 0x00000080, 0x00000080, 0x00000080,
282   0x00000013, 0x0000007f, 0x0000007f, 0x0000007f,
283   0x00000012, 0x0000007e, 0x0000007e, 0x0000007e,
284   0x00000011, 0x0000007d, 0x0000007d, 0x0000007d,
285   0x00000010, 0x0000007c, 0x0000007c, 0x0000006f,
286   0x0000000f, 0x0000007b, 0x0000006e, 0x00000002,
287   0x0000000e, 0x0000006d, 0x00000001, 0x00000001,
288   0x00000000, 0x00000000, 0x00000000, 0x00000000,
289   0xffffff93, 0xffffffff, 0xffffffff, 0xffffcd4c,
290   0xffffff92, 0xfffffffe, 0xffffcd4b, 0xffffab2a,
291   0xffffff91, 0xffffcd4a, 0xffffab29, 0xffff8082,
292   0xffffccdd, 0xffffab28, 0xffff8081, 0xffff8081,
293   0xffffaabb, 0xffff8080, 0xffff8080, 0xffff8080,
294   0xffff8013, 0xffff807f, 0xffff807f, 0x0000807f,
295   0xffff8012, 0xffff807e, 0x0000807e, 0x0000807e,
296   0xffff8011, 0x0000807d, 0x0000807d, 0x000055d5,
297   0x00008010, 0x0000807c, 0x000055d4, 0x000033b3,
298   0x0000800f, 0x000055d3, 0x000033b2, 0x000000ff,
299   0x00005566, 0x000033b1, 0x000000fe, 0x000000fe,
300   0x00003344, 0x000000fd, 0x000000fd, 0x000000fd,
301   0x00000090, 0x000000fc, 0x000000fc, 0x000000fc,
302   0x000000fc, 0x000000fc, 0x000000fc, 0x00003343,
303   0x000000fb, 0x000000fb, 0x0000008f, 0x00003336,
304   0x000000fa, 0x0000008e, 0x00000082, 0x00003335,
305   0x0000008d, 0x00000081, 0x00000081, 0x00003334,
306   0x00000080, 0x00000080, 0x00000080, 0x00003333,
307   0x0000007f, 0x0000007f, 0x0000007f, 0x00003332,
308   0x0000007e, 0x0000007e, 0x0000007e, 0x00003331,
309   0x0000007d, 0x0000007d, 0x0000007d, 0x00003323,
310   0x0000007c, 0x0000007c, 0x0000006f, 0x000032b6,
311   0x0000007b, 0x0000006e, 0x00000002, 0x000032b5,
312   0x0000006d, 0x00000001, 0x00000001, 0x000032b4,
313   0x00000000, 0x00000000, 0x00000000, 0x00000000,
314   0xffffffff, 0xffffffff, 0xffffcd4c, 0xffffddde,
315   0xfffffffe, 0xffffcd4b, 0xffffab2a, 0xffffb336,
316   0xffffcd4a, 0xffffab29, 0xffff8082, 0xffffb335,
317   0xffffab28, 0xffff8081, 0xffff8081, 0xffffb334,
318   0xffff8080, 0xffff8080, 0xffff8080, 0x0000b333,
319   0xffff807f, 0xffff807f, 0x0000807f, 0x0000b332,
320   0xffff807e, 0x0000807e, 0x0000807e, 0x00008889,
321   0x0000807d, 0x0000807d, 0x000055d5, 0x00006667,
322   0x0000807c, 0x000055d4, 0x000033b3, 0x000033b3,
323   0x000055d3, 0x000033b2, 0x000000ff, 0x000033b2,
324   0x000033b1, 0x000000fe, 0x000000fe, 0x000033b1,
325   0x000000fd, 0x000000fd, 0x000000fd, 0x000033b0,
326   0x000000fd, 0x000000fd, 0x000033b0, 0x00005565,
327   0x000000fc, 0x000000fc, 0x00003343, 0x00005558,
328   0x000000fb, 0x0000008f, 0x00003336, 0x00005557,
329   0x0000008e, 0x00000082, 0x00003335, 0x00005556,
330   0x00000081, 0x00000081, 0x00003334, 0x00005555,
331   0x00000080, 0x00000080, 0x00003333, 0x00005554,
332   0x0000007f, 0x0000007f, 0x00003332, 0x00005553,
333   0x0000007e, 0x0000007e, 0x00003331, 0x00005545,
334   0x0000007d, 0x0000007d, 0x00003323, 0x000054d8,
335   0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7,
336   0x0000006e, 0x00000002, 0x000032b5, 0x000054d6,
337   0x00000001, 0x00000001, 0x000032b4, 0x00002222,
338   0x00000000, 0x00000000, 0x00000000, 0x00000000,
339   0xffffffff, 0xffffcd4c, 0xffffddde, 0xffffd558,
340   0xffffcd4b, 0xffffab2a, 0xffffb336, 0xffffd557,
341   0xffffab29, 0xffff8082, 0xffffb335, 0xffffd556,
342   0xffff8081, 0xffff8081, 0xffffb334, 0x0000d555,
343   0xffff8080, 0xffff8080, 0x0000b333, 0x0000d554,
344   0xffff807f, 0x0000807f, 0x0000b332, 0x0000aaab,
345   0x0000807e, 0x0000807e, 0x00008889, 0x00008889,
346   0x0000807d, 0x000055d5, 0x00006667, 0x000055d5,
347   0x000055d4, 0x000033b3, 0x000033b3, 0x000055d4,
348   0x000033b2, 0x000000ff, 0x000033b2, 0x000055d3,
349   0x000000fe, 0x000000fe, 0x000033b1, 0x000055d2,
350   0x000000fe, 0x000033b1, 0x000055d2, 0x0000800d,
351   0x000000fd, 0x000033b0, 0x00005565, 0x00008000,
352   0x000000fc, 0x00003343, 0x00005558, 0x00007fff,
353   0x0000008f, 0x00003336, 0x00005557, 0x00007ffe,
354   0x00000082, 0x00003335, 0x00005556, 0x00007ffd,
355   0x00000081, 0x00003334, 0x00005555, 0x00007ffc,
356   0x00000080, 0x00003333, 0x00005554, 0x00007ffb,
357   0x0000007f, 0x00003332, 0x00005553, 0x00007fed,
358   0x0000007e, 0x00003331, 0x00005545, 0x00007f80,
359   0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f,
360   0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e,
361   0x00000002, 0x000032b5, 0x000054d6, 0x00004cca,
362   0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
363   0x00000000, 0x00000000, 0x00000000, 0x00000000,
364   0xffffcd4c, 0xffffddde, 0xffffd558, 0xffffffff,
365   0xffffab2a, 0xffffb336, 0xffffd557, 0xfffffffe,
366   0xffff8082, 0xffffb335, 0xffffd556, 0x0000fffd,
367   0xffff8081, 0xffffb334, 0x0000d555, 0x0000fffc,
368   0xffff8080, 0x0000b333, 0x0000d554, 0x0000d553,
369   0x0000807f, 0x0000b332, 0x0000aaab, 0x0000b331,
370   0x0000807e, 0x00008889, 0x00008889, 0x0000807d,
371   0x000055d5, 0x00006667, 0x000055d5, 0x0000807c,
372   0x000033b3, 0x000033b3, 0x000055d4, 0x0000807b,
373   0x000000ff, 0x000033b2, 0x000055d3, 0x0000807a,
374   0x000033b2, 0x000055d3, 0x0000807a, 0x0000800e,
375   0x000033b1, 0x000055d2, 0x0000800d, 0x00008001,
376   0x000033b0, 0x00005565, 0x00008000, 0x00008000,
377   0x00003343, 0x00005558, 0x00007fff, 0x00007fff,
378   0x00003336, 0x00005557, 0x00007ffe, 0x00007ffe,
379   0x00003335, 0x00005556, 0x00007ffd, 0x00007ffd,
380   0x00003334, 0x00005555, 0x00007ffc, 0x00007ffc,
381   0x00003333, 0x00005554, 0x00007ffb, 0x00007fee,
382   0x00003332, 0x00005553, 0x00007fed, 0x00007f81,
383   0x00003331, 0x00005545, 0x00007f80, 0x00007f80,
384   0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f,
385   0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb,
386   0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
387   0x000032b4, 0x00002222, 0x00002aa8, 0x00000001,
388   0x00000000, 0x00000000, 0x00000000, 0x00000000,
389   0xffffddde, 0xffffd558, 0xffffffff, 0xffffffff,
390   0xffffb336, 0xffffd557, 0xfffffffe, 0x0000fffe,
391   0xffffb335, 0xffffd556, 0x0000fffd, 0x0000fffd,
392   0xffffb334, 0x0000d555, 0x0000fffc, 0x0000d554,
393   0x0000b333, 0x0000d554, 0x0000d553, 0x0000b332,
394   0x0000b332, 0x0000aaab, 0x0000b331, 0x0000807e,
395   0x00008889, 0x00008889, 0x0000807d, 0x0000807d,
396   0x00006667, 0x000055d5, 0x0000807c, 0x0000807c,
397   0x000033b3, 0x000055d4, 0x0000807b, 0x0000807b,
398   0x000055d4, 0x0000807b, 0x0000807b, 0x0000800f,
399   0x000055d3, 0x0000807a, 0x0000800e, 0x00008002,
400   0x000055d2, 0x0000800d, 0x00008001, 0x00008001,
401   0x00005565, 0x00008000, 0x00008000, 0x00008000,
402   0x00005558, 0x00007fff, 0x00007fff, 0x00007fff,
403   0x00005557, 0x00007ffe, 0x00007ffe, 0x00007ffe,
404   0x00005556, 0x00007ffd, 0x00007ffd, 0x00007ffd,
405   0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef,
406   0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82,
407   0x00005553, 0x00007fed, 0x00007f81, 0x00007f81,
408   0x00005545, 0x00007f80, 0x00007f80, 0x00007f80,
409   0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc,
410   0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
411   0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002,
412   0x00002222, 0x00002aa8, 0x00000001, 0x00000001,
413   0x00000000, 0x00000000, 0x00000000, 0x00000000,
414   0xffffd558, 0xffffffff, 0xffffffff, 0x0000ffff,
415   0xffffd557, 0xfffffffe, 0x0000fffe, 0x0000fffe,
416   0xffffd556, 0x0000fffd, 0x0000fffd, 0x0000d555,
417   0x0000d555, 0x0000fffc, 0x0000d554, 0x0000b333,
418   0x0000d554, 0x0000d553, 0x0000b332, 0x0000807f,
419   0x0000aaab, 0x0000b331, 0x0000807e, 0x0000807e,
420   0x00008889, 0x0000807d, 0x0000807d, 0x0000807d,
421   0x000055d5, 0x0000807c, 0x0000807c, 0x0000807c,
422   0x0000807c, 0x0000807c, 0x0000807c, 0xffff8010,
423   0x0000807b, 0x0000807b, 0x0000800f, 0xffff8003,
424   0x0000807a, 0x0000800e, 0x00008002, 0xffff8002,
425   0x0000800d, 0x00008001, 0x00008001, 0xffff8001,
426   0x00008000, 0x00008000, 0x00008000, 0xffff8000,
427   0x00007fff, 0x00007fff, 0x00007fff, 0xffff7fff,
428   0x00007ffe, 0x00007ffe, 0x00007ffe, 0xffff7ffe,
429   0x00007ffd, 0x00007ffd, 0x00007ffd, 0xffff7ff0,
430   0x00007ffc, 0x00007ffc, 0x00007fef, 0xffff7f83,
431   0x00007ffb, 0x00007fee, 0x00007f82, 0xffff7f82,
432   0x00007fed, 0x00007f81, 0x00007f81, 0xffff7f81,
433   0x00007f80, 0x00007f80, 0x00007f80, 0xffff4ccd,
434   0x00007f7f, 0x00007f7f, 0x00004ccc, 0xffff2aab,
435   0x00007f7e, 0x00004ccb, 0x00002aaa, 0xffff0003,
436   0x00004cca, 0x00002aa9, 0x00000002, 0xffff0002,
437   0x00002aa8, 0x00000001, 0x00000001, 0xffff0001,
438   0x00000000, 0x00000000, 0x00000000, 0x00000000,
439   0xffffffff, 0xffffffff, 0x0000ffff, 0xffffffff,
440   0xfffffffe, 0x0000fffe, 0x0000fffe, 0xffffd556,
441   0x0000fffd, 0x0000fffd, 0x0000d555, 0xffffb334,
442   0x0000fffc, 0x0000d554, 0x0000b333, 0xffff8080,
443   0x0000d553, 0x0000b332, 0x0000807f, 0xffff807f,
444   0x0000b331, 0x0000807e, 0x0000807e, 0xffff807e,
445   0x0000807d, 0x0000807d, 0x0000807d, 0xffff807d,
446   0x0000807d, 0x0000807d, 0xffff807d, 0xffff8011,
447   0x0000807c, 0x0000807c, 0xffff8010, 0xffff8004,
448   0x0000807b, 0x0000800f, 0xffff8003, 0xffff8003,
449   0x0000800e, 0x00008002, 0xffff8002, 0xffff8002,
450   0x00008001, 0x00008001, 0xffff8001, 0xffff8001,
451   0x00008000, 0x00008000, 0xffff8000, 0xffff8000,
452   0x00007fff, 0x00007fff, 0xffff7fff, 0xffff7fff,
453   0x00007ffe, 0x00007ffe, 0xffff7ffe, 0xffff7ff1,
454   0x00007ffd, 0x00007ffd, 0xffff7ff0, 0xffff7f84,
455   0x00007ffc, 0x00007fef, 0xffff7f83, 0xffff7f83,
456   0x00007fee, 0x00007f82, 0xffff7f82, 0xffff7f82,
457   0x00007f81, 0x00007f81, 0xffff7f81, 0xffff4cce,
458   0x00007f80, 0x00007f80, 0xffff4ccd, 0xffff2aac,
459   0x00007f7f, 0x00004ccc, 0xffff2aab, 0xffff0004,
460   0x00004ccb, 0x00002aaa, 0xffff0003, 0xffff0003,
461   0x00002aa9, 0x00000002, 0xffff0002, 0xffff0002,
462   0x00000001, 0x00000001, 0xffff0001, 0x00000001,
463   0x00000000, 0x00000000, 0x00000000, 0x00000000,
464   0xffffffff, 0x0000ffff, 0xffffffff, 0xffffd557,
465   0x0000fffe, 0x0000fffe, 0xffffd556, 0xffffb335,
466   0x0000fffd, 0x0000d555, 0xffffb334, 0xffff8081,
467   0x0000d554, 0x0000b333, 0xffff8080, 0xffff8080,
468   0x0000b332, 0x0000807f, 0xffff807f, 0xffff807f,
469   0x0000807e, 0x0000807e, 0xffff807e, 0xffff807e,
470   0x0000807e, 0xffff807e, 0xffff807e, 0xffffaaba,
471   0x0000807d, 0xffff807d, 0xffff8011, 0xffffaaad,
472   0x0000807c, 0xffff8010, 0xffff8004, 0xffffaaac,
473   0x0000800f, 0xffff8003, 0xffff8003, 0xffffaaab,
474   0x00008002, 0xffff8002, 0xffff8002, 0xffffaaaa,
475   0x00008001, 0xffff8001, 0xffff8001, 0xffffaaa9,
476   0x00008000, 0xffff8000, 0xffff8000, 0xffffaaa8,
477   0x00007fff, 0xffff7fff, 0xffff7fff, 0xffffaa9a,
478   0x00007ffe, 0xffff7ffe, 0xffff7ff1, 0xffffaa2d,
479   0x00007ffd, 0xffff7ff0, 0xffff7f84, 0xffffaa2c,
480   0x00007fef, 0xffff7f83, 0xffff7f83, 0xffffaa2b,
481   0x00007f82, 0xffff7f82, 0xffff7f82, 0xffff7777,
482   0x00007f81, 0xffff7f81, 0xffff4cce, 0xffff5555,
483   0x00007f80, 0xffff4ccd, 0xffff2aac, 0xffff2aad,
484   0x00004ccc, 0xffff2aab, 0xffff0004, 0xffff2aac,
485   0x00002aaa, 0xffff0003, 0xffff0003, 0xffff2aab,
486   0x00000002, 0xffff0002, 0xffff0002, 0x00002aaa,
487   0x00000001, 0xffff0001, 0x00000001, 0x00002aa9,
488   0x00000000, 0x00000000, 0x00000000, 0x00000000,
489   0x0000ffff, 0xffffffff, 0xffffd557, 0xffffddde,
490   0x0000fffe, 0xffffd556, 0xffffb335, 0xffffab2a,
491   0x0000d555, 0xffffb334, 0xffff8081, 0xffffab29,
492   0x0000b333, 0xffff8080, 0xffff8080, 0xffffab28,
493   0x0000807f, 0xffff807f, 0xffff807f, 0xffffab27,
494   0xffff807f, 0xffff807f, 0xffffab27, 0xffffccdc,
495   0xffff807e, 0xffff807e, 0xffffaaba, 0xffffcccf,
496   0xffff807d, 0xffff8011, 0xffffaaad, 0xffffccce,
497   0xffff8010, 0xffff8004, 0xffffaaac, 0xffffcccd,
498   0xffff8003, 0xffff8003, 0xffffaaab, 0xffffcccc,
499   0xffff8002, 0xffff8002, 0xffffaaaa, 0xffffcccb,
500   0xffff8001, 0xffff8001, 0xffffaaa9, 0xffffccca,
501   0xffff8000, 0xffff8000, 0xffffaaa8, 0xffffccbc,
502   0xffff7fff, 0xffff7fff, 0xffffaa9a, 0xffffcc4f,
503   0xffff7ffe, 0xffff7ff1, 0xffffaa2d, 0xffffcc4e,
504   0xffff7ff0, 0xffff7f84, 0xffffaa2c, 0xffffcc4d,
505   0xffff7f83, 0xffff7f83, 0xffffaa2b, 0xffff9999,
506   0xffff7f82, 0xffff7f82, 0xffff7777, 0xffff7777,
507   0xffff7f81, 0xffff4cce, 0xffff5555, 0xffff4ccf,
508   0xffff4ccd, 0xffff2aac, 0xffff2aad, 0xffff4cce,
509   0xffff2aab, 0xffff0004, 0xffff2aac, 0xffff4ccd,
510   0xffff0003, 0xffff0003, 0xffff2aab, 0x00004ccc,
511   0xffff0002, 0xffff0002, 0x00002aaa, 0x00004ccb,
512   0xffff0001, 0x00000001, 0x00002aa9, 0x00002222,
513   0x00000000, 0x00000000, 0x00000000, 0x00000000,
514   0xffffffff, 0xffffd557, 0xffffddde, 0xffffcd4c,
515   0xffffd556, 0xffffb335, 0xffffab2a, 0xffffcd4b,
516   0xffffb334, 0xffff8081, 0xffffab29, 0xffffcd4a,
517   0xffff8080, 0xffff8080, 0xffffab28, 0xffffcd49,
518   0xffff8080, 0xffffab28, 0xffffcd49, 0xffffff90,
519   0xffff807f, 0xffffab27, 0xffffccdc, 0xffffff83,
520   0xffff807e, 0xffffaaba, 0xffffcccf, 0xffffff82,
521   0xffff8011, 0xffffaaad, 0xffffccce, 0xffffff81,
522   0xffff8004, 0xffffaaac, 0xffffcccd, 0xffffff80,
523   0xffff8003, 0xffffaaab, 0xffffcccc, 0xffffff7f,
524   0xffff8002, 0xffffaaaa, 0xffffcccb, 0xffffff7e,
525   0xffff8001, 0xffffaaa9, 0xffffccca, 0xffffff70,
526   0xffff8000, 0xffffaaa8, 0xffffccbc, 0xffffff03,
527   0xffff7fff, 0xffffaa9a, 0xffffcc4f, 0xffffff02,
528   0xffff7ff1, 0xffffaa2d, 0xffffcc4e, 0xffffff01,
529   0xffff7f84, 0xffffaa2c, 0xffffcc4d, 0xffffcc4d,
530   0xffff7f83, 0xffffaa2b, 0xffff9999, 0xffffaa2b,
531   0xffff7f82, 0xffff7777, 0xffff7777, 0xffff7f83,
532   0xffff4cce, 0xffff5555, 0xffff4ccf, 0xffff7f82,
533   0xffff2aac, 0xffff2aad, 0xffff4cce, 0xffff7f81,
534   0xffff0004, 0xffff2aac, 0xffff4ccd, 0x00007f80,
535   0xffff0003, 0xffff2aab, 0x00004ccc, 0x00007f7f,
536   0xffff0002, 0x00002aaa, 0x00004ccb, 0x000054d6,
537   0x00000001, 0x00002aa9, 0x00002222, 0x000032b4,
538   0x00000000, 0x00000000, 0x00000000, 0x00000000,
539   0xffffd557, 0xffffddde, 0xffffcd4c, 0xffffffff,
540   0xffffb335, 0xffffab2a, 0xffffcd4b, 0xfffffffe,
541   0xffff8081, 0xffffab29, 0xffffcd4a, 0xfffffffd,
542   0xffffab29, 0xffffcd4a, 0xfffffffd, 0xffffff91,
543   0xffffab28, 0xffffcd49, 0xffffff90, 0xffffff84,
544   0xffffab27, 0xffffccdc, 0xffffff83, 0xffffff83,
545   0xffffaaba, 0xffffcccf, 0xffffff82, 0xffffff82,
546   0xffffaaad, 0xffffccce, 0xffffff81, 0xffffff81,
547   0xffffaaac, 0xffffcccd, 0xffffff80, 0xffffff80,
548   0xffffaaab, 0xffffcccc, 0xffffff7f, 0xffffff7f,
549   0xffffaaaa, 0xffffcccb, 0xffffff7e, 0xffffff71,
550   0xffffaaa9, 0xffffccca, 0xffffff70, 0xffffff04,
551   0xffffaaa8, 0xffffccbc, 0xffffff03, 0xffffff03,
552   0xffffaa9a, 0xffffcc4f, 0xffffff02, 0xffffff02,
553   0xffffaa2d, 0xffffcc4e, 0xffffff01, 0xffffcc4e,
554   0xffffaa2c, 0xffffcc4d, 0xffffcc4d, 0xffffaa2c,
555   0xffffaa2b, 0xffff9999, 0xffffaa2b, 0xffff7f84,
556   0xffff7777, 0xffff7777, 0xffff7f83, 0xffff7f83,
557   0xffff5555, 0xffff4ccf, 0xffff7f82, 0xffff7f82,
558   0xffff2aad, 0xffff4cce, 0xffff7f81, 0x00007f81,
559   0xffff2aac, 0xffff4ccd, 0x00007f80, 0x00007f80,
560   0xffff2aab, 0x00004ccc, 0x00007f7f, 0x000054d7,
561   0x00002aaa, 0x00004ccb, 0x000054d6, 0x000032b5,
562   0x00002aa9, 0x00002222, 0x000032b4, 0x00000001,
563   0x00000000, 0x00000000, 0x00000000, 0x00000000,
564   0xffffddde, 0xffffcd4c, 0xffffffff, 0xffffffff,
565   0xffffab2a, 0xffffcd4b, 0xfffffffe, 0xfffffffe,
566   0xffffcd4b, 0xfffffffe, 0xfffffffe, 0xffffff92,
567   0xffffcd4a, 0xfffffffd, 0xffffff91, 0xffffff85,
568   0xffffcd49, 0xffffff90, 0xffffff84, 0xffffff84,
569   0xffffccdc, 0xffffff83, 0xffffff83, 0xffffff83,
570   0xffffcccf, 0xffffff82, 0xffffff82, 0xffffff82,
571   0xffffccce, 0xffffff81, 0xffffff81, 0xffffff81,
572   0xffffcccd, 0xffffff80, 0xffffff80, 0xffffff80,
573   0xffffcccc, 0xffffff7f, 0xffffff7f, 0xffffff72,
574   0xffffcccb, 0xffffff7e, 0xffffff71, 0xffffff05,
575   0xffffccca, 0xffffff70, 0xffffff04, 0xffffff04,
576   0xffffccbc, 0xffffff03, 0xffffff03, 0xffffff03,
577   0xffffcc4f, 0xffffff02, 0xffffff02, 0xffffcc4f,
578   0xffffcc4e, 0xffffff01, 0xffffcc4e, 0xffffaa2d,
579   0xffffcc4d, 0xffffcc4d, 0xffffaa2c, 0xffff7f85,
580   0xffff9999, 0xffffaa2b, 0xffff7f84, 0xffff7f84,
581   0xffff7777, 0xffff7f83, 0xffff7f83, 0xffff7f83,
582   0xffff4ccf, 0xffff7f82, 0xffff7f82, 0x00007f82,
583   0xffff4cce, 0xffff7f81, 0x00007f81, 0x00007f81,
584   0xffff4ccd, 0x00007f80, 0x00007f80, 0x000054d8,
585   0x00004ccc, 0x00007f7f, 0x000054d7, 0x000032b6,
586   0x00004ccb, 0x000054d6, 0x000032b5, 0x00000002,
587   0x00002222, 0x000032b4, 0x00000001, 0x00000001,
588   0x00000000, 0x00000000, 0x00000000, 0x00000000,
589   0xffffcd4c, 0xffffffff, 0xffffffff, 0xffffffff,
590   0xffffffff, 0xffffffff, 0xffffffff, 0xffffff93,
591   0xfffffffe, 0xfffffffe, 0xffffff92, 0xffffff86,
592   0xfffffffd, 0xffffff91, 0xffffff85, 0xffffff85,
593   0xffffff90, 0xffffff84, 0xffffff84, 0xffffff84,
594   0xffffff83, 0xffffff83, 0xffffff83, 0xffffff83,
595   0xffffff82, 0xffffff82, 0xffffff82, 0xffffff82,
596   0xffffff81, 0xffffff81, 0xffffff81, 0xffffff81,
597   0xffffff80, 0xffffff80, 0xffffff80, 0xffffff73,
598   0xffffff7f, 0xffffff7f, 0xffffff72, 0xffffff06,
599   0xffffff7e, 0xffffff71, 0xffffff05, 0xffffff05,
600   0xffffff70, 0xffffff04, 0xffffff04, 0xffffff04,
601   0xffffff03, 0xffffff03, 0xffffff03, 0xffffcc50,
602   0xffffff02, 0xffffff02, 0xffffcc4f, 0xffffaa2e,
603   0xffffff01, 0xffffcc4e, 0xffffaa2d, 0xffff7f86,
604   0xffffcc4d, 0xffffaa2c, 0xffff7f85, 0xffff7f85,
605   0xffffaa2b, 0xffff7f84, 0xffff7f84, 0xffff7f84,
606   0xffff7f83, 0xffff7f83, 0xffff7f83, 0x00007f83,
607   0xffff7f82, 0xffff7f82, 0x00007f82, 0x00007f82,
608   0xffff7f81, 0x00007f81, 0x00007f81, 0x000054d9,
609   0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7,
610   0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003,
611   0x000054d6, 0x000032b5, 0x00000002, 0x00000002,
612   0x000032b4, 0x00000001, 0x00000001, 0x00000001,
613   0x00000000, 0x00000000, 0x00000000, 0x00000000,
614 };
615 const unsigned kExpectedCount_NEON_ssubl_4S = 576;
616 
617 #endif  // VIXL_SIM_SSUBL_4S_TRACE_AARCH64_H_
618