• 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_UADDL2_4S_TRACE_AARCH64_H_
35 #define VIXL_SIM_UADDL2_4S_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_NEON_uaddl2_4S[] = {
38   0x0000fffa, 0x0000fffc, 0x0000fffe, 0x00000000,
39   0x0000fffb, 0x0000fffd, 0x00007fff, 0x00000001,
40   0x0000fffc, 0x00007ffe, 0x00008000, 0x00000002,
41   0x00007ffd, 0x00007fff, 0x00008001, 0x00000010,
42   0x00007ffe, 0x00008000, 0x0000800f, 0x0000007d,
43   0x00007fff, 0x0000800e, 0x0000807c, 0x0000007e,
44   0x0000800d, 0x0000807b, 0x0000807d, 0x0000007f,
45   0x0000807a, 0x0000807c, 0x0000807e, 0x00003333,
46   0x0000807b, 0x0000807d, 0x0000b332, 0x00005555,
47   0x0000807c, 0x0000b331, 0x0000d554, 0x00007ffd,
48   0x0000b330, 0x0000d553, 0x0000fffc, 0x00007ffe,
49   0x0000d552, 0x0000fffb, 0x0000fffd, 0x00007fff,
50   0x0000fffa, 0x0000fffc, 0x0000fffe, 0x00008000,
51   0x0000fffb, 0x0000fffd, 0x0000ffff, 0x00008001,
52   0x0000fffc, 0x0000fffe, 0x00010000, 0x0000aaaa,
53   0x0000fffd, 0x0000ffff, 0x00012aa9, 0x0000cccc,
54   0x0000fffe, 0x00012aa8, 0x00014ccb, 0x0000ff80,
55   0x00012aa7, 0x00014cca, 0x00017f7f, 0x0000ff81,
56   0x00014cc9, 0x00017f7e, 0x00017f80, 0x0000ff82,
57   0x00017f7d, 0x00017f7f, 0x00017f81, 0x0000ff83,
58   0x00017f7e, 0x00017f80, 0x00017f82, 0x0000fff0,
59   0x00017f7f, 0x00017f81, 0x00017fef, 0x0000fffd,
60   0x00017f80, 0x00017fee, 0x00017ffc, 0x0000fffe,
61   0x00017fed, 0x00017ffb, 0x00017ffd, 0x0000ffff,
62   0x00017ffb, 0x00017ffd, 0x0000ffff, 0x00000001,
63   0x00017ffc, 0x00017ffe, 0x00000000, 0x00000002,
64   0x00017ffd, 0x00007fff, 0x00000001, 0x00000003,
65   0x00007ffe, 0x00008000, 0x00000002, 0x00000011,
66   0x00007fff, 0x00008001, 0x00000010, 0x0000007e,
67   0x00008000, 0x0000800f, 0x0000007d, 0x0000007f,
68   0x0000800e, 0x0000807c, 0x0000007e, 0x00000080,
69   0x0000807b, 0x0000807d, 0x0000007f, 0x00003334,
70   0x0000807c, 0x0000807e, 0x00003333, 0x00005556,
71   0x0000807d, 0x0000b332, 0x00005555, 0x00007ffe,
72   0x0000b331, 0x0000d554, 0x00007ffd, 0x00007fff,
73   0x0000d553, 0x0000fffc, 0x00007ffe, 0x00008000,
74   0x0000fffb, 0x0000fffd, 0x00007fff, 0x00008001,
75   0x0000fffc, 0x0000fffe, 0x00008000, 0x00008002,
76   0x0000fffd, 0x0000ffff, 0x00008001, 0x0000aaab,
77   0x0000fffe, 0x00010000, 0x0000aaaa, 0x0000cccd,
78   0x0000ffff, 0x00012aa9, 0x0000cccc, 0x0000ff81,
79   0x00012aa8, 0x00014ccb, 0x0000ff80, 0x0000ff82,
80   0x00014cca, 0x00017f7f, 0x0000ff81, 0x0000ff83,
81   0x00017f7e, 0x00017f80, 0x0000ff82, 0x0000ff84,
82   0x00017f7f, 0x00017f81, 0x0000ff83, 0x0000fff1,
83   0x00017f80, 0x00017f82, 0x0000fff0, 0x0000fffe,
84   0x00017f81, 0x00017fef, 0x0000fffd, 0x0000ffff,
85   0x00017fee, 0x00017ffc, 0x0000fffe, 0x00010000,
86   0x00017ffc, 0x0000fffe, 0x00010000, 0x00000002,
87   0x00017ffd, 0x0000ffff, 0x00000001, 0x00000003,
88   0x00017ffe, 0x00000000, 0x00000002, 0x00000004,
89   0x00007fff, 0x00000001, 0x00000003, 0x00000012,
90   0x00008000, 0x00000002, 0x00000011, 0x0000007f,
91   0x00008001, 0x00000010, 0x0000007e, 0x00000080,
92   0x0000800f, 0x0000007d, 0x0000007f, 0x00000081,
93   0x0000807c, 0x0000007e, 0x00000080, 0x00003335,
94   0x0000807d, 0x0000007f, 0x00003334, 0x00005557,
95   0x0000807e, 0x00003333, 0x00005556, 0x00007fff,
96   0x0000b332, 0x00005555, 0x00007ffe, 0x00008000,
97   0x0000d554, 0x00007ffd, 0x00007fff, 0x00008001,
98   0x0000fffc, 0x00007ffe, 0x00008000, 0x00008002,
99   0x0000fffd, 0x00007fff, 0x00008001, 0x00008003,
100   0x0000fffe, 0x00008000, 0x00008002, 0x0000aaac,
101   0x0000ffff, 0x00008001, 0x0000aaab, 0x0000ccce,
102   0x00010000, 0x0000aaaa, 0x0000cccd, 0x0000ff82,
103   0x00012aa9, 0x0000cccc, 0x0000ff81, 0x0000ff83,
104   0x00014ccb, 0x0000ff80, 0x0000ff82, 0x0000ff84,
105   0x00017f7f, 0x0000ff81, 0x0000ff83, 0x0000ff85,
106   0x00017f80, 0x0000ff82, 0x0000ff84, 0x0000fff2,
107   0x00017f81, 0x0000ff83, 0x0000fff1, 0x0000ffff,
108   0x00017f82, 0x0000fff0, 0x0000fffe, 0x00010000,
109   0x00017fef, 0x0000fffd, 0x0000ffff, 0x00010001,
110   0x0000fffd, 0x0000ffff, 0x00010001, 0x00000010,
111   0x0000fffe, 0x00010000, 0x00000002, 0x00000011,
112   0x0000ffff, 0x00000001, 0x00000003, 0x00000012,
113   0x00000000, 0x00000002, 0x00000004, 0x00000020,
114   0x00000001, 0x00000003, 0x00000012, 0x0000008d,
115   0x00000002, 0x00000011, 0x0000007f, 0x0000008e,
116   0x00000010, 0x0000007e, 0x00000080, 0x0000008f,
117   0x0000007d, 0x0000007f, 0x00000081, 0x00003343,
118   0x0000007e, 0x00000080, 0x00003335, 0x00005565,
119   0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
120   0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
121   0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
122   0x00007ffd, 0x00007fff, 0x00008001, 0x00008010,
123   0x00007ffe, 0x00008000, 0x00008002, 0x00008011,
124   0x00007fff, 0x00008001, 0x00008003, 0x0000aaba,
125   0x00008000, 0x00008002, 0x0000aaac, 0x0000ccdc,
126   0x00008001, 0x0000aaab, 0x0000ccce, 0x0000ff90,
127   0x0000aaaa, 0x0000cccd, 0x0000ff82, 0x0000ff91,
128   0x0000cccc, 0x0000ff81, 0x0000ff83, 0x0000ff92,
129   0x0000ff80, 0x0000ff82, 0x0000ff84, 0x0000ff93,
130   0x0000ff81, 0x0000ff83, 0x0000ff85, 0x00010000,
131   0x0000ff82, 0x0000ff84, 0x0000fff2, 0x0001000d,
132   0x0000ff83, 0x0000fff1, 0x0000ffff, 0x0001000e,
133   0x0000fff0, 0x0000fffe, 0x00010000, 0x0001000f,
134   0x0000fffe, 0x00010000, 0x0001000f, 0x0000007d,
135   0x0000ffff, 0x00010001, 0x00000010, 0x0000007e,
136   0x00010000, 0x00000002, 0x00000011, 0x0000007f,
137   0x00000001, 0x00000003, 0x00000012, 0x0000008d,
138   0x00000002, 0x00000004, 0x00000020, 0x000000fa,
139   0x00000003, 0x00000012, 0x0000008d, 0x000000fb,
140   0x00000011, 0x0000007f, 0x0000008e, 0x000000fc,
141   0x0000007e, 0x00000080, 0x0000008f, 0x000033b0,
142   0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
143   0x00000080, 0x00003335, 0x00005565, 0x0000807a,
144   0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
145   0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
146   0x00007ffe, 0x00008000, 0x0000800f, 0x0000807d,
147   0x00007fff, 0x00008001, 0x00008010, 0x0000807e,
148   0x00008000, 0x00008002, 0x00008011, 0x0000ab27,
149   0x00008001, 0x00008003, 0x0000aaba, 0x0000cd49,
150   0x00008002, 0x0000aaac, 0x0000ccdc, 0x0000fffd,
151   0x0000aaab, 0x0000ccce, 0x0000ff90, 0x0000fffe,
152   0x0000cccd, 0x0000ff82, 0x0000ff91, 0x0000ffff,
153   0x0000ff81, 0x0000ff83, 0x0000ff92, 0x00010000,
154   0x0000ff82, 0x0000ff84, 0x0000ff93, 0x0001006d,
155   0x0000ff83, 0x0000ff85, 0x00010000, 0x0001007a,
156   0x0000ff84, 0x0000fff2, 0x0001000d, 0x0001007b,
157   0x0000fff1, 0x0000ffff, 0x0001000e, 0x0001007c,
158   0x0000ffff, 0x0001000e, 0x0001007c, 0x0000007e,
159   0x00010000, 0x0001000f, 0x0000007d, 0x0000007f,
160   0x00010001, 0x00000010, 0x0000007e, 0x00000080,
161   0x00000002, 0x00000011, 0x0000007f, 0x0000008e,
162   0x00000003, 0x00000012, 0x0000008d, 0x000000fb,
163   0x00000004, 0x00000020, 0x000000fa, 0x000000fc,
164   0x00000012, 0x0000008d, 0x000000fb, 0x000000fd,
165   0x0000007f, 0x0000008e, 0x000000fc, 0x000033b1,
166   0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
167   0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
168   0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
169   0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
170   0x00007fff, 0x0000800e, 0x0000807c, 0x0000807e,
171   0x00008000, 0x0000800f, 0x0000807d, 0x0000807f,
172   0x00008001, 0x00008010, 0x0000807e, 0x0000ab28,
173   0x00008002, 0x00008011, 0x0000ab27, 0x0000cd4a,
174   0x00008003, 0x0000aaba, 0x0000cd49, 0x0000fffe,
175   0x0000aaac, 0x0000ccdc, 0x0000fffd, 0x0000ffff,
176   0x0000ccce, 0x0000ff90, 0x0000fffe, 0x00010000,
177   0x0000ff82, 0x0000ff91, 0x0000ffff, 0x00010001,
178   0x0000ff83, 0x0000ff92, 0x00010000, 0x0001006e,
179   0x0000ff84, 0x0000ff93, 0x0001006d, 0x0001007b,
180   0x0000ff85, 0x00010000, 0x0001007a, 0x0001007c,
181   0x0000fff2, 0x0001000d, 0x0001007b, 0x0001007d,
182   0x0001000d, 0x0001007b, 0x0001007d, 0x0000007f,
183   0x0001000e, 0x0001007c, 0x0000007e, 0x00000080,
184   0x0001000f, 0x0000007d, 0x0000007f, 0x00000081,
185   0x00000010, 0x0000007e, 0x00000080, 0x0000008f,
186   0x00000011, 0x0000007f, 0x0000008e, 0x000000fc,
187   0x00000012, 0x0000008d, 0x000000fb, 0x000000fd,
188   0x00000020, 0x000000fa, 0x000000fc, 0x000000fe,
189   0x0000008d, 0x000000fb, 0x000000fd, 0x000033b2,
190   0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
191   0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
192   0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
193   0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
194   0x0000800d, 0x0000807b, 0x0000807d, 0x0000807f,
195   0x0000800e, 0x0000807c, 0x0000807e, 0x00008080,
196   0x0000800f, 0x0000807d, 0x0000807f, 0x0000ab29,
197   0x00008010, 0x0000807e, 0x0000ab28, 0x0000cd4b,
198   0x00008011, 0x0000ab27, 0x0000cd4a, 0x0000ffff,
199   0x0000aaba, 0x0000cd49, 0x0000fffe, 0x00010000,
200   0x0000ccdc, 0x0000fffd, 0x0000ffff, 0x00010001,
201   0x0000ff90, 0x0000fffe, 0x00010000, 0x00010002,
202   0x0000ff91, 0x0000ffff, 0x00010001, 0x0001006f,
203   0x0000ff92, 0x00010000, 0x0001006e, 0x0001007c,
204   0x0000ff93, 0x0001006d, 0x0001007b, 0x0001007d,
205   0x00010000, 0x0001007a, 0x0001007c, 0x0001007e,
206   0x0001007a, 0x0001007c, 0x0001007e, 0x00003333,
207   0x0001007b, 0x0001007d, 0x0000007f, 0x00003334,
208   0x0001007c, 0x0000007e, 0x00000080, 0x00003335,
209   0x0000007d, 0x0000007f, 0x00000081, 0x00003343,
210   0x0000007e, 0x00000080, 0x0000008f, 0x000033b0,
211   0x0000007f, 0x0000008e, 0x000000fc, 0x000033b1,
212   0x0000008d, 0x000000fb, 0x000000fd, 0x000033b2,
213   0x000000fa, 0x000000fc, 0x000000fe, 0x00006666,
214   0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
215   0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
216   0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
217   0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
218   0x0000807a, 0x0000807c, 0x0000807e, 0x0000b333,
219   0x0000807b, 0x0000807d, 0x0000807f, 0x0000b334,
220   0x0000807c, 0x0000807e, 0x00008080, 0x0000dddd,
221   0x0000807d, 0x0000807f, 0x0000ab29, 0x0000ffff,
222   0x0000807e, 0x0000ab28, 0x0000cd4b, 0x000132b3,
223   0x0000ab27, 0x0000cd4a, 0x0000ffff, 0x000132b4,
224   0x0000cd49, 0x0000fffe, 0x00010000, 0x000132b5,
225   0x0000fffd, 0x0000ffff, 0x00010001, 0x000132b6,
226   0x0000fffe, 0x00010000, 0x00010002, 0x00013323,
227   0x0000ffff, 0x00010001, 0x0001006f, 0x00013330,
228   0x00010000, 0x0001006e, 0x0001007c, 0x00013331,
229   0x0001006d, 0x0001007b, 0x0001007d, 0x00013332,
230   0x0001007b, 0x0001007d, 0x00013332, 0x00005555,
231   0x0001007c, 0x0001007e, 0x00003333, 0x00005556,
232   0x0001007d, 0x0000007f, 0x00003334, 0x00005557,
233   0x0000007e, 0x00000080, 0x00003335, 0x00005565,
234   0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
235   0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
236   0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
237   0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
238   0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
239   0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
240   0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
241   0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
242   0x0000807b, 0x0000807d, 0x0000b332, 0x0000d555,
243   0x0000807c, 0x0000807e, 0x0000b333, 0x0000d556,
244   0x0000807d, 0x0000807f, 0x0000b334, 0x0000ffff,
245   0x0000807e, 0x00008080, 0x0000dddd, 0x00012221,
246   0x0000807f, 0x0000ab29, 0x0000ffff, 0x000154d5,
247   0x0000ab28, 0x0000cd4b, 0x000132b3, 0x000154d6,
248   0x0000cd4a, 0x0000ffff, 0x000132b4, 0x000154d7,
249   0x0000fffe, 0x00010000, 0x000132b5, 0x000154d8,
250   0x0000ffff, 0x00010001, 0x000132b6, 0x00015545,
251   0x00010000, 0x00010002, 0x00013323, 0x00015552,
252   0x00010001, 0x0001006f, 0x00013330, 0x00015553,
253   0x0001006e, 0x0001007c, 0x00013331, 0x00015554,
254   0x0001007c, 0x00013331, 0x00015554, 0x00007ffd,
255   0x0001007d, 0x00013332, 0x00005555, 0x00007ffe,
256   0x0001007e, 0x00003333, 0x00005556, 0x00007fff,
257   0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
258   0x00000080, 0x00003335, 0x00005565, 0x0000807a,
259   0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
260   0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
261   0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
262   0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
263   0x000000fe, 0x00006666, 0x0000aaaa, 0x0000fffa,
264   0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
265   0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
266   0x0000807c, 0x0000b331, 0x0000d554, 0x0000fffd,
267   0x0000807d, 0x0000b332, 0x0000d555, 0x0000fffe,
268   0x0000807e, 0x0000b333, 0x0000d556, 0x00012aa7,
269   0x0000807f, 0x0000b334, 0x0000ffff, 0x00014cc9,
270   0x00008080, 0x0000dddd, 0x00012221, 0x00017f7d,
271   0x0000ab29, 0x0000ffff, 0x000154d5, 0x00017f7e,
272   0x0000cd4b, 0x000132b3, 0x000154d6, 0x00017f7f,
273   0x0000ffff, 0x000132b4, 0x000154d7, 0x00017f80,
274   0x00010000, 0x000132b5, 0x000154d8, 0x00017fed,
275   0x00010001, 0x000132b6, 0x00015545, 0x00017ffa,
276   0x00010002, 0x00013323, 0x00015552, 0x00017ffb,
277   0x0001006f, 0x00013330, 0x00015553, 0x00017ffc,
278   0x00013330, 0x00015553, 0x00017ffc, 0x00007ffe,
279   0x00013331, 0x00015554, 0x00007ffd, 0x00007fff,
280   0x00013332, 0x00005555, 0x00007ffe, 0x00008000,
281   0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
282   0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
283   0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
284   0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
285   0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
286   0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
287   0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
288   0x00006666, 0x0000aaaa, 0x0000fffa, 0x0000fffc,
289   0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
290   0x0000b330, 0x0000d553, 0x0000fffc, 0x0000fffe,
291   0x0000b331, 0x0000d554, 0x0000fffd, 0x0000ffff,
292   0x0000b332, 0x0000d555, 0x0000fffe, 0x00012aa8,
293   0x0000b333, 0x0000d556, 0x00012aa7, 0x00014cca,
294   0x0000b334, 0x0000ffff, 0x00014cc9, 0x00017f7e,
295   0x0000dddd, 0x00012221, 0x00017f7d, 0x00017f7f,
296   0x0000ffff, 0x000154d5, 0x00017f7e, 0x00017f80,
297   0x000132b3, 0x000154d6, 0x00017f7f, 0x00017f81,
298   0x000132b4, 0x000154d7, 0x00017f80, 0x00017fee,
299   0x000132b5, 0x000154d8, 0x00017fed, 0x00017ffb,
300   0x000132b6, 0x00015545, 0x00017ffa, 0x00017ffc,
301   0x00013323, 0x00015552, 0x00017ffb, 0x00017ffd,
302   0x00015552, 0x00017ffb, 0x00017ffd, 0x00007fff,
303   0x00015553, 0x00017ffc, 0x00007ffe, 0x00008000,
304   0x00015554, 0x00007ffd, 0x00007fff, 0x00008001,
305   0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
306   0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
307   0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
308   0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
309   0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
310   0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
311   0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
312   0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
313   0x0000aaaa, 0x0000fffa, 0x0000fffc, 0x0000fffe,
314   0x0000d552, 0x0000fffb, 0x0000fffd, 0x0000ffff,
315   0x0000d553, 0x0000fffc, 0x0000fffe, 0x00010000,
316   0x0000d554, 0x0000fffd, 0x0000ffff, 0x00012aa9,
317   0x0000d555, 0x0000fffe, 0x00012aa8, 0x00014ccb,
318   0x0000d556, 0x00012aa7, 0x00014cca, 0x00017f7f,
319   0x0000ffff, 0x00014cc9, 0x00017f7e, 0x00017f80,
320   0x00012221, 0x00017f7d, 0x00017f7f, 0x00017f81,
321   0x000154d5, 0x00017f7e, 0x00017f80, 0x00017f82,
322   0x000154d6, 0x00017f7f, 0x00017f81, 0x00017fef,
323   0x000154d7, 0x00017f80, 0x00017fee, 0x00017ffc,
324   0x000154d8, 0x00017fed, 0x00017ffb, 0x00017ffd,
325   0x00015545, 0x00017ffa, 0x00017ffc, 0x00017ffe,
326   0x00017ffa, 0x00017ffc, 0x00017ffe, 0x00008000,
327   0x00017ffb, 0x00017ffd, 0x00007fff, 0x00008001,
328   0x00017ffc, 0x00007ffe, 0x00008000, 0x00008002,
329   0x00007ffd, 0x00007fff, 0x00008001, 0x00008010,
330   0x00007ffe, 0x00008000, 0x0000800f, 0x0000807d,
331   0x00007fff, 0x0000800e, 0x0000807c, 0x0000807e,
332   0x0000800d, 0x0000807b, 0x0000807d, 0x0000807f,
333   0x0000807a, 0x0000807c, 0x0000807e, 0x0000b333,
334   0x0000807b, 0x0000807d, 0x0000b332, 0x0000d555,
335   0x0000807c, 0x0000b331, 0x0000d554, 0x0000fffd,
336   0x0000b330, 0x0000d553, 0x0000fffc, 0x0000fffe,
337   0x0000d552, 0x0000fffb, 0x0000fffd, 0x0000ffff,
338   0x0000fffa, 0x0000fffc, 0x0000fffe, 0x00010000,
339   0x0000fffb, 0x0000fffd, 0x0000ffff, 0x00010001,
340   0x0000fffc, 0x0000fffe, 0x00010000, 0x00012aaa,
341   0x0000fffd, 0x0000ffff, 0x00012aa9, 0x00014ccc,
342   0x0000fffe, 0x00012aa8, 0x00014ccb, 0x00017f80,
343   0x00012aa7, 0x00014cca, 0x00017f7f, 0x00017f81,
344   0x00014cc9, 0x00017f7e, 0x00017f80, 0x00017f82,
345   0x00017f7d, 0x00017f7f, 0x00017f81, 0x00017f83,
346   0x00017f7e, 0x00017f80, 0x00017f82, 0x00017ff0,
347   0x00017f7f, 0x00017f81, 0x00017fef, 0x00017ffd,
348   0x00017f80, 0x00017fee, 0x00017ffc, 0x00017ffe,
349   0x00017fed, 0x00017ffb, 0x00017ffd, 0x00017fff,
350   0x00017ffb, 0x00017ffd, 0x00017fff, 0x00008001,
351   0x00017ffc, 0x00017ffe, 0x00008000, 0x00008002,
352   0x00017ffd, 0x00007fff, 0x00008001, 0x00008003,
353   0x00007ffe, 0x00008000, 0x00008002, 0x00008011,
354   0x00007fff, 0x00008001, 0x00008010, 0x0000807e,
355   0x00008000, 0x0000800f, 0x0000807d, 0x0000807f,
356   0x0000800e, 0x0000807c, 0x0000807e, 0x00008080,
357   0x0000807b, 0x0000807d, 0x0000807f, 0x0000b334,
358   0x0000807c, 0x0000807e, 0x0000b333, 0x0000d556,
359   0x0000807d, 0x0000b332, 0x0000d555, 0x0000fffe,
360   0x0000b331, 0x0000d554, 0x0000fffd, 0x0000ffff,
361   0x0000d553, 0x0000fffc, 0x0000fffe, 0x00010000,
362   0x0000fffb, 0x0000fffd, 0x0000ffff, 0x00010001,
363   0x0000fffc, 0x0000fffe, 0x00010000, 0x00010002,
364   0x0000fffd, 0x0000ffff, 0x00010001, 0x00012aab,
365   0x0000fffe, 0x00010000, 0x00012aaa, 0x00014ccd,
366   0x0000ffff, 0x00012aa9, 0x00014ccc, 0x00017f81,
367   0x00012aa8, 0x00014ccb, 0x00017f80, 0x00017f82,
368   0x00014cca, 0x00017f7f, 0x00017f81, 0x00017f83,
369   0x00017f7e, 0x00017f80, 0x00017f82, 0x00017f84,
370   0x00017f7f, 0x00017f81, 0x00017f83, 0x00017ff1,
371   0x00017f80, 0x00017f82, 0x00017ff0, 0x00017ffe,
372   0x00017f81, 0x00017fef, 0x00017ffd, 0x00017fff,
373   0x00017fee, 0x00017ffc, 0x00017ffe, 0x00018000,
374   0x00017ffc, 0x00017ffe, 0x00018000, 0x0000aaaa,
375   0x00017ffd, 0x00017fff, 0x00008001, 0x0000aaab,
376   0x00017ffe, 0x00008000, 0x00008002, 0x0000aaac,
377   0x00007fff, 0x00008001, 0x00008003, 0x0000aaba,
378   0x00008000, 0x00008002, 0x00008011, 0x0000ab27,
379   0x00008001, 0x00008010, 0x0000807e, 0x0000ab28,
380   0x0000800f, 0x0000807d, 0x0000807f, 0x0000ab29,
381   0x0000807c, 0x0000807e, 0x00008080, 0x0000dddd,
382   0x0000807d, 0x0000807f, 0x0000b334, 0x0000ffff,
383   0x0000807e, 0x0000b333, 0x0000d556, 0x00012aa7,
384   0x0000b332, 0x0000d555, 0x0000fffe, 0x00012aa8,
385   0x0000d554, 0x0000fffd, 0x0000ffff, 0x00012aa9,
386   0x0000fffc, 0x0000fffe, 0x00010000, 0x00012aaa,
387   0x0000fffd, 0x0000ffff, 0x00010001, 0x00012aab,
388   0x0000fffe, 0x00010000, 0x00010002, 0x00015554,
389   0x0000ffff, 0x00010001, 0x00012aab, 0x00017776,
390   0x00010000, 0x00012aaa, 0x00014ccd, 0x0001aa2a,
391   0x00012aa9, 0x00014ccc, 0x00017f81, 0x0001aa2b,
392   0x00014ccb, 0x00017f80, 0x00017f82, 0x0001aa2c,
393   0x00017f7f, 0x00017f81, 0x00017f83, 0x0001aa2d,
394   0x00017f80, 0x00017f82, 0x00017f84, 0x0001aa9a,
395   0x00017f81, 0x00017f83, 0x00017ff1, 0x0001aaa7,
396   0x00017f82, 0x00017ff0, 0x00017ffe, 0x0001aaa8,
397   0x00017fef, 0x00017ffd, 0x00017fff, 0x0001aaa9,
398   0x00017ffd, 0x00017fff, 0x0001aaa9, 0x0000cccc,
399   0x00017ffe, 0x00018000, 0x0000aaaa, 0x0000cccd,
400   0x00017fff, 0x00008001, 0x0000aaab, 0x0000ccce,
401   0x00008000, 0x00008002, 0x0000aaac, 0x0000ccdc,
402   0x00008001, 0x00008003, 0x0000aaba, 0x0000cd49,
403   0x00008002, 0x00008011, 0x0000ab27, 0x0000cd4a,
404   0x00008010, 0x0000807e, 0x0000ab28, 0x0000cd4b,
405   0x0000807d, 0x0000807f, 0x0000ab29, 0x0000ffff,
406   0x0000807e, 0x00008080, 0x0000dddd, 0x00012221,
407   0x0000807f, 0x0000b334, 0x0000ffff, 0x00014cc9,
408   0x0000b333, 0x0000d556, 0x00012aa7, 0x00014cca,
409   0x0000d555, 0x0000fffe, 0x00012aa8, 0x00014ccb,
410   0x0000fffd, 0x0000ffff, 0x00012aa9, 0x00014ccc,
411   0x0000fffe, 0x00010000, 0x00012aaa, 0x00014ccd,
412   0x0000ffff, 0x00010001, 0x00012aab, 0x00017776,
413   0x00010000, 0x00010002, 0x00015554, 0x00019998,
414   0x00010001, 0x00012aab, 0x00017776, 0x0001cc4c,
415   0x00012aaa, 0x00014ccd, 0x0001aa2a, 0x0001cc4d,
416   0x00014ccc, 0x00017f81, 0x0001aa2b, 0x0001cc4e,
417   0x00017f80, 0x00017f82, 0x0001aa2c, 0x0001cc4f,
418   0x00017f81, 0x00017f83, 0x0001aa2d, 0x0001ccbc,
419   0x00017f82, 0x00017f84, 0x0001aa9a, 0x0001ccc9,
420   0x00017f83, 0x00017ff1, 0x0001aaa7, 0x0001ccca,
421   0x00017ff0, 0x00017ffe, 0x0001aaa8, 0x0001cccb,
422   0x00017ffe, 0x0001aaa8, 0x0001cccb, 0x0000ff80,
423   0x00017fff, 0x0001aaa9, 0x0000cccc, 0x0000ff81,
424   0x00018000, 0x0000aaaa, 0x0000cccd, 0x0000ff82,
425   0x00008001, 0x0000aaab, 0x0000ccce, 0x0000ff90,
426   0x00008002, 0x0000aaac, 0x0000ccdc, 0x0000fffd,
427   0x00008003, 0x0000aaba, 0x0000cd49, 0x0000fffe,
428   0x00008011, 0x0000ab27, 0x0000cd4a, 0x0000ffff,
429   0x0000807e, 0x0000ab28, 0x0000cd4b, 0x000132b3,
430   0x0000807f, 0x0000ab29, 0x0000ffff, 0x000154d5,
431   0x00008080, 0x0000dddd, 0x00012221, 0x00017f7d,
432   0x0000b334, 0x0000ffff, 0x00014cc9, 0x00017f7e,
433   0x0000d556, 0x00012aa7, 0x00014cca, 0x00017f7f,
434   0x0000fffe, 0x00012aa8, 0x00014ccb, 0x00017f80,
435   0x0000ffff, 0x00012aa9, 0x00014ccc, 0x00017f81,
436   0x00010000, 0x00012aaa, 0x00014ccd, 0x0001aa2a,
437   0x00010001, 0x00012aab, 0x00017776, 0x0001cc4c,
438   0x00010002, 0x00015554, 0x00019998, 0x0001ff00,
439   0x00012aab, 0x00017776, 0x0001cc4c, 0x0001ff01,
440   0x00014ccd, 0x0001aa2a, 0x0001cc4d, 0x0001ff02,
441   0x00017f81, 0x0001aa2b, 0x0001cc4e, 0x0001ff03,
442   0x00017f82, 0x0001aa2c, 0x0001cc4f, 0x0001ff70,
443   0x00017f83, 0x0001aa2d, 0x0001ccbc, 0x0001ff7d,
444   0x00017f84, 0x0001aa9a, 0x0001ccc9, 0x0001ff7e,
445   0x00017ff1, 0x0001aaa7, 0x0001ccca, 0x0001ff7f,
446   0x0001aaa7, 0x0001ccca, 0x0001ff7f, 0x0000ff81,
447   0x0001aaa8, 0x0001cccb, 0x0000ff80, 0x0000ff82,
448   0x0001aaa9, 0x0000cccc, 0x0000ff81, 0x0000ff83,
449   0x0000aaaa, 0x0000cccd, 0x0000ff82, 0x0000ff91,
450   0x0000aaab, 0x0000ccce, 0x0000ff90, 0x0000fffe,
451   0x0000aaac, 0x0000ccdc, 0x0000fffd, 0x0000ffff,
452   0x0000aaba, 0x0000cd49, 0x0000fffe, 0x00010000,
453   0x0000ab27, 0x0000cd4a, 0x0000ffff, 0x000132b4,
454   0x0000ab28, 0x0000cd4b, 0x000132b3, 0x000154d6,
455   0x0000ab29, 0x0000ffff, 0x000154d5, 0x00017f7e,
456   0x0000dddd, 0x00012221, 0x00017f7d, 0x00017f7f,
457   0x0000ffff, 0x00014cc9, 0x00017f7e, 0x00017f80,
458   0x00012aa7, 0x00014cca, 0x00017f7f, 0x00017f81,
459   0x00012aa8, 0x00014ccb, 0x00017f80, 0x00017f82,
460   0x00012aa9, 0x00014ccc, 0x00017f81, 0x0001aa2b,
461   0x00012aaa, 0x00014ccd, 0x0001aa2a, 0x0001cc4d,
462   0x00012aab, 0x00017776, 0x0001cc4c, 0x0001ff01,
463   0x00015554, 0x00019998, 0x0001ff00, 0x0001ff02,
464   0x00017776, 0x0001cc4c, 0x0001ff01, 0x0001ff03,
465   0x0001aa2a, 0x0001cc4d, 0x0001ff02, 0x0001ff04,
466   0x0001aa2b, 0x0001cc4e, 0x0001ff03, 0x0001ff71,
467   0x0001aa2c, 0x0001cc4f, 0x0001ff70, 0x0001ff7e,
468   0x0001aa2d, 0x0001ccbc, 0x0001ff7d, 0x0001ff7f,
469   0x0001aa9a, 0x0001ccc9, 0x0001ff7e, 0x0001ff80,
470   0x0001ccc9, 0x0001ff7e, 0x0001ff80, 0x0000ff82,
471   0x0001ccca, 0x0001ff7f, 0x0000ff81, 0x0000ff83,
472   0x0001cccb, 0x0000ff80, 0x0000ff82, 0x0000ff84,
473   0x0000cccc, 0x0000ff81, 0x0000ff83, 0x0000ff92,
474   0x0000cccd, 0x0000ff82, 0x0000ff91, 0x0000ffff,
475   0x0000ccce, 0x0000ff90, 0x0000fffe, 0x00010000,
476   0x0000ccdc, 0x0000fffd, 0x0000ffff, 0x00010001,
477   0x0000cd49, 0x0000fffe, 0x00010000, 0x000132b5,
478   0x0000cd4a, 0x0000ffff, 0x000132b4, 0x000154d7,
479   0x0000cd4b, 0x000132b3, 0x000154d6, 0x00017f7f,
480   0x0000ffff, 0x000154d5, 0x00017f7e, 0x00017f80,
481   0x00012221, 0x00017f7d, 0x00017f7f, 0x00017f81,
482   0x00014cc9, 0x00017f7e, 0x00017f80, 0x00017f82,
483   0x00014cca, 0x00017f7f, 0x00017f81, 0x00017f83,
484   0x00014ccb, 0x00017f80, 0x00017f82, 0x0001aa2c,
485   0x00014ccc, 0x00017f81, 0x0001aa2b, 0x0001cc4e,
486   0x00014ccd, 0x0001aa2a, 0x0001cc4d, 0x0001ff02,
487   0x00017776, 0x0001cc4c, 0x0001ff01, 0x0001ff03,
488   0x00019998, 0x0001ff00, 0x0001ff02, 0x0001ff04,
489   0x0001cc4c, 0x0001ff01, 0x0001ff03, 0x0001ff05,
490   0x0001cc4d, 0x0001ff02, 0x0001ff04, 0x0001ff72,
491   0x0001cc4e, 0x0001ff03, 0x0001ff71, 0x0001ff7f,
492   0x0001cc4f, 0x0001ff70, 0x0001ff7e, 0x0001ff80,
493   0x0001ccbc, 0x0001ff7d, 0x0001ff7f, 0x0001ff81,
494   0x0001ff7d, 0x0001ff7f, 0x0001ff81, 0x0000ff83,
495   0x0001ff7e, 0x0001ff80, 0x0000ff82, 0x0000ff84,
496   0x0001ff7f, 0x0000ff81, 0x0000ff83, 0x0000ff85,
497   0x0000ff80, 0x0000ff82, 0x0000ff84, 0x0000ff93,
498   0x0000ff81, 0x0000ff83, 0x0000ff92, 0x00010000,
499   0x0000ff82, 0x0000ff91, 0x0000ffff, 0x00010001,
500   0x0000ff90, 0x0000fffe, 0x00010000, 0x00010002,
501   0x0000fffd, 0x0000ffff, 0x00010001, 0x000132b6,
502   0x0000fffe, 0x00010000, 0x000132b5, 0x000154d8,
503   0x0000ffff, 0x000132b4, 0x000154d7, 0x00017f80,
504   0x000132b3, 0x000154d6, 0x00017f7f, 0x00017f81,
505   0x000154d5, 0x00017f7e, 0x00017f80, 0x00017f82,
506   0x00017f7d, 0x00017f7f, 0x00017f81, 0x00017f83,
507   0x00017f7e, 0x00017f80, 0x00017f82, 0x00017f84,
508   0x00017f7f, 0x00017f81, 0x00017f83, 0x0001aa2d,
509   0x00017f80, 0x00017f82, 0x0001aa2c, 0x0001cc4f,
510   0x00017f81, 0x0001aa2b, 0x0001cc4e, 0x0001ff03,
511   0x0001aa2a, 0x0001cc4d, 0x0001ff02, 0x0001ff04,
512   0x0001cc4c, 0x0001ff01, 0x0001ff03, 0x0001ff05,
513   0x0001ff00, 0x0001ff02, 0x0001ff04, 0x0001ff06,
514   0x0001ff01, 0x0001ff03, 0x0001ff05, 0x0001ff73,
515   0x0001ff02, 0x0001ff04, 0x0001ff72, 0x0001ff80,
516   0x0001ff03, 0x0001ff71, 0x0001ff7f, 0x0001ff81,
517   0x0001ff70, 0x0001ff7e, 0x0001ff80, 0x0001ff82,
518   0x0001ff7e, 0x0001ff80, 0x0001ff82, 0x0000fff0,
519   0x0001ff7f, 0x0001ff81, 0x0000ff83, 0x0000fff1,
520   0x0001ff80, 0x0000ff82, 0x0000ff84, 0x0000fff2,
521   0x0000ff81, 0x0000ff83, 0x0000ff85, 0x00010000,
522   0x0000ff82, 0x0000ff84, 0x0000ff93, 0x0001006d,
523   0x0000ff83, 0x0000ff92, 0x00010000, 0x0001006e,
524   0x0000ff91, 0x0000ffff, 0x00010001, 0x0001006f,
525   0x0000fffe, 0x00010000, 0x00010002, 0x00013323,
526   0x0000ffff, 0x00010001, 0x000132b6, 0x00015545,
527   0x00010000, 0x000132b5, 0x000154d8, 0x00017fed,
528   0x000132b4, 0x000154d7, 0x00017f80, 0x00017fee,
529   0x000154d6, 0x00017f7f, 0x00017f81, 0x00017fef,
530   0x00017f7e, 0x00017f80, 0x00017f82, 0x00017ff0,
531   0x00017f7f, 0x00017f81, 0x00017f83, 0x00017ff1,
532   0x00017f80, 0x00017f82, 0x00017f84, 0x0001aa9a,
533   0x00017f81, 0x00017f83, 0x0001aa2d, 0x0001ccbc,
534   0x00017f82, 0x0001aa2c, 0x0001cc4f, 0x0001ff70,
535   0x0001aa2b, 0x0001cc4e, 0x0001ff03, 0x0001ff71,
536   0x0001cc4d, 0x0001ff02, 0x0001ff04, 0x0001ff72,
537   0x0001ff01, 0x0001ff03, 0x0001ff05, 0x0001ff73,
538   0x0001ff02, 0x0001ff04, 0x0001ff06, 0x0001ffe0,
539   0x0001ff03, 0x0001ff05, 0x0001ff73, 0x0001ffed,
540   0x0001ff04, 0x0001ff72, 0x0001ff80, 0x0001ffee,
541   0x0001ff71, 0x0001ff7f, 0x0001ff81, 0x0001ffef,
542   0x0001ff7f, 0x0001ff81, 0x0001ffef, 0x0000fffd,
543   0x0001ff80, 0x0001ff82, 0x0000fff0, 0x0000fffe,
544   0x0001ff81, 0x0000ff83, 0x0000fff1, 0x0000ffff,
545   0x0000ff82, 0x0000ff84, 0x0000fff2, 0x0001000d,
546   0x0000ff83, 0x0000ff85, 0x00010000, 0x0001007a,
547   0x0000ff84, 0x0000ff93, 0x0001006d, 0x0001007b,
548   0x0000ff92, 0x00010000, 0x0001006e, 0x0001007c,
549   0x0000ffff, 0x00010001, 0x0001006f, 0x00013330,
550   0x00010000, 0x00010002, 0x00013323, 0x00015552,
551   0x00010001, 0x000132b6, 0x00015545, 0x00017ffa,
552   0x000132b5, 0x000154d8, 0x00017fed, 0x00017ffb,
553   0x000154d7, 0x00017f80, 0x00017fee, 0x00017ffc,
554   0x00017f7f, 0x00017f81, 0x00017fef, 0x00017ffd,
555   0x00017f80, 0x00017f82, 0x00017ff0, 0x00017ffe,
556   0x00017f81, 0x00017f83, 0x00017ff1, 0x0001aaa7,
557   0x00017f82, 0x00017f84, 0x0001aa9a, 0x0001ccc9,
558   0x00017f83, 0x0001aa2d, 0x0001ccbc, 0x0001ff7d,
559   0x0001aa2c, 0x0001cc4f, 0x0001ff70, 0x0001ff7e,
560   0x0001cc4e, 0x0001ff03, 0x0001ff71, 0x0001ff7f,
561   0x0001ff02, 0x0001ff04, 0x0001ff72, 0x0001ff80,
562   0x0001ff03, 0x0001ff05, 0x0001ff73, 0x0001ffed,
563   0x0001ff04, 0x0001ff06, 0x0001ffe0, 0x0001fffa,
564   0x0001ff05, 0x0001ff73, 0x0001ffed, 0x0001fffb,
565   0x0001ff72, 0x0001ff80, 0x0001ffee, 0x0001fffc,
566   0x0001ff80, 0x0001ffee, 0x0001fffc, 0x0000fffe,
567   0x0001ff81, 0x0001ffef, 0x0000fffd, 0x0000ffff,
568   0x0001ff82, 0x0000fff0, 0x0000fffe, 0x00010000,
569   0x0000ff83, 0x0000fff1, 0x0000ffff, 0x0001000e,
570   0x0000ff84, 0x0000fff2, 0x0001000d, 0x0001007b,
571   0x0000ff85, 0x00010000, 0x0001007a, 0x0001007c,
572   0x0000ff93, 0x0001006d, 0x0001007b, 0x0001007d,
573   0x00010000, 0x0001006e, 0x0001007c, 0x00013331,
574   0x00010001, 0x0001006f, 0x00013330, 0x00015553,
575   0x00010002, 0x00013323, 0x00015552, 0x00017ffb,
576   0x000132b6, 0x00015545, 0x00017ffa, 0x00017ffc,
577   0x000154d8, 0x00017fed, 0x00017ffb, 0x00017ffd,
578   0x00017f80, 0x00017fee, 0x00017ffc, 0x00017ffe,
579   0x00017f81, 0x00017fef, 0x00017ffd, 0x00017fff,
580   0x00017f82, 0x00017ff0, 0x00017ffe, 0x0001aaa8,
581   0x00017f83, 0x00017ff1, 0x0001aaa7, 0x0001ccca,
582   0x00017f84, 0x0001aa9a, 0x0001ccc9, 0x0001ff7e,
583   0x0001aa2d, 0x0001ccbc, 0x0001ff7d, 0x0001ff7f,
584   0x0001cc4f, 0x0001ff70, 0x0001ff7e, 0x0001ff80,
585   0x0001ff03, 0x0001ff71, 0x0001ff7f, 0x0001ff81,
586   0x0001ff04, 0x0001ff72, 0x0001ff80, 0x0001ffee,
587   0x0001ff05, 0x0001ff73, 0x0001ffed, 0x0001fffb,
588   0x0001ff06, 0x0001ffe0, 0x0001fffa, 0x0001fffc,
589   0x0001ff73, 0x0001ffed, 0x0001fffb, 0x0001fffd,
590   0x0001ffed, 0x0001fffb, 0x0001fffd, 0x0000ffff,
591   0x0001ffee, 0x0001fffc, 0x0000fffe, 0x00010000,
592   0x0001ffef, 0x0000fffd, 0x0000ffff, 0x00010001,
593   0x0000fff0, 0x0000fffe, 0x00010000, 0x0001000f,
594   0x0000fff1, 0x0000ffff, 0x0001000e, 0x0001007c,
595   0x0000fff2, 0x0001000d, 0x0001007b, 0x0001007d,
596   0x00010000, 0x0001007a, 0x0001007c, 0x0001007e,
597   0x0001006d, 0x0001007b, 0x0001007d, 0x00013332,
598   0x0001006e, 0x0001007c, 0x00013331, 0x00015554,
599   0x0001006f, 0x00013330, 0x00015553, 0x00017ffc,
600   0x00013323, 0x00015552, 0x00017ffb, 0x00017ffd,
601   0x00015545, 0x00017ffa, 0x00017ffc, 0x00017ffe,
602   0x00017fed, 0x00017ffb, 0x00017ffd, 0x00017fff,
603   0x00017fee, 0x00017ffc, 0x00017ffe, 0x00018000,
604   0x00017fef, 0x00017ffd, 0x00017fff, 0x0001aaa9,
605   0x00017ff0, 0x00017ffe, 0x0001aaa8, 0x0001cccb,
606   0x00017ff1, 0x0001aaa7, 0x0001ccca, 0x0001ff7f,
607   0x0001aa9a, 0x0001ccc9, 0x0001ff7e, 0x0001ff80,
608   0x0001ccbc, 0x0001ff7d, 0x0001ff7f, 0x0001ff81,
609   0x0001ff70, 0x0001ff7e, 0x0001ff80, 0x0001ff82,
610   0x0001ff71, 0x0001ff7f, 0x0001ff81, 0x0001ffef,
611   0x0001ff72, 0x0001ff80, 0x0001ffee, 0x0001fffc,
612   0x0001ff73, 0x0001ffed, 0x0001fffb, 0x0001fffd,
613   0x0001ffe0, 0x0001fffa, 0x0001fffc, 0x0001fffe,
614 };
615 const unsigned kExpectedCount_NEON_uaddl2_4S = 576;
616 
617 #endif  // VIXL_SIM_UADDL2_4S_TRACE_AARCH64_H_
618