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