• 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_SMLSL_4S_TRACE_AARCH64_H_
35 #define VIXL_SIM_SMLSL_4S_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_NEON_smlsl_4S[] = {
38   0xffffc1fc, 0xffffc100, 0xf5c2a3d9, 0xe38e71e7,
39   0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
40   0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
41   0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
42   0xffc1017a, 0xffc080ff, 0xe666b335, 0x00000020,
43   0xffc100fc, 0xffc08080, 0x00000002, 0xffffaacb,
44   0xffc1007e, 0x00000001, 0xffffcccf, 0xffff5576,
45   0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
46   0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
47   0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
48   0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
49   0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
50   0xffffc1fc, 0xffffc100, 0xf5c2a3d9, 0xe38e71e7,
51   0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
52   0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
53   0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
54   0xffc1017a, 0xffc080ff, 0xe666b335, 0x2aaa8020,
55   0xffc100fc, 0xffc08080, 0x19998002, 0x2aaa2acb,
56   0xffc1007e, 0x003f8001, 0x19994ccf, 0x1c71e3ae,
57   0x003f0000, 0x003f7f82, 0x11112224, 0x11114464,
58   0x003eff82, 0x002a55ab, 0x0a3d8f5e, 0x002aaaa0,
59   0x002a0054, 0x001966cd, 0x00199982, 0x002a554b,
60   0x00193398, 0x00003f81, 0x0019664f, 0x0029fff6,
61   0x00003f00, 0x00003f02, 0x0019331c, 0x0029aaa1,
62   0x00003f01, 0x0019331b, 0x0029aa83, 0x0007fff0,
63   0x00003e82, 0x0018ffe8, 0x00055552, 0x00018017,
64   0x00003e03, 0x00033331, 0x00010001, 0x0001001a,
65   0x000007f0, 0x0000999a, 0x0000aaac, 0x0000801d,
66   0x0000017d, 0x00006667, 0x00005557, 0x00000020,
67   0x000000fe, 0x00003334, 0x00000002, 0xffff8023,
68   0x0000007f, 0x00000001, 0xffffaaad, 0xffff0026,
69   0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
70   0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
71   0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
72   0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
73   0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
74   0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
75   0xffffc0ff, 0xf5c2a3d8, 0xe38e71c9, 0xc0030017,
76   0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
77   0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
78   0xffc0817d, 0xe666e667, 0xd555d557, 0x3ffe8020,
79   0xffc080fe, 0xe666b334, 0x2aaa8002, 0x3ffe0023,
80   0xffc0807f, 0x19998001, 0x2aaa2aad, 0x2aaa001e,
81   0x003f8000, 0x19994cce, 0x1c71e390, 0x19996684,
82   0x003f7f81, 0x11112223, 0x11114446, 0x003ffea0,
83   0x002a55aa, 0x0a3d8f5d, 0x002aaa82, 0x003f7ea3,
84   0x001966cc, 0x00199981, 0x002a552d, 0x003efea6,
85   0x00003f80, 0x0019664e, 0x0029ffd8, 0x003e7ea9,
86   0x0019664d, 0x0029ffd7, 0x003e7e8b, 0x00080000,
87   0x0019331a, 0x0029aa82, 0x0007ffd2, 0x0001801a,
88   0x0018ffe7, 0x00055551, 0x00017ff9, 0x0001001c,
89   0x00033330, 0x00010000, 0x0000fffc, 0x0000801e,
90   0x00009999, 0x0000aaab, 0x00007fff, 0x00000020,
91   0x00006666, 0x00005556, 0x00000002, 0xffff8022,
92   0x00003333, 0x00000001, 0xffff8005, 0xffff0024,
93   0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
94   0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
95   0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
96   0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
97   0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
98   0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
99   0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
100   0xf5c2a3d7, 0xe38e71c8, 0xc002fff9, 0xc002001c,
101   0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
102   0xe6671999, 0xd5562aab, 0xc001ffff, 0x3fff0020,
103   0xe666e666, 0xd555d556, 0x3ffe8002, 0x3ffe8022,
104   0xe666b333, 0x2aaa8001, 0x3ffe0005, 0x2aaa5574,
105   0x19998000, 0x2aaa2aac, 0x2aaa0000, 0x199999b8,
106   0x19994ccd, 0x1c71e38f, 0x19996666, 0x003fff20,
107   0x11112222, 0x11114445, 0x003ffe82, 0x003f7f22,
108   0x0a3d8f5c, 0x002aaa81, 0x003f7e85, 0x003eff24,
109   0x00199980, 0x002a552c, 0x003efe88, 0x003e7f26,
110   0x002a552b, 0x003efe87, 0x003e7f08, 0x00080010,
111   0x0029ffd6, 0x003e7e8a, 0x0007ffe2, 0x0001801d,
112   0x0029aa81, 0x0007ffd1, 0x00017ffc, 0x0001001e,
113   0x00055550, 0x00017ff8, 0x0000fffe, 0x0000801f,
114   0x0000ffff, 0x0000fffb, 0x00008000, 0x00000020,
115   0x0000aaaa, 0x00007ffe, 0x00000002, 0xffff8021,
116   0x00005555, 0x00000001, 0xffff8004, 0xffff0022,
117   0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
118   0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
119   0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
120   0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
121   0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
122   0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
123   0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
124   0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
125   0xe38e71c7, 0xc002fff8, 0xc001fffe, 0xc001001f,
126   0xd5567fff, 0xc0027ffb, 0xc0018000, 0x3fff8020,
127   0xd5562aaa, 0xc001fffe, 0x3fff0002, 0x3fff0021,
128   0xd555d555, 0x3ffe8001, 0x3ffe8004, 0x2aaaaaca,
129   0x2aaa8000, 0x3ffe0004, 0x2aaa5556, 0x1999ccec,
130   0x2aaa2aab, 0x2aa9ffff, 0x1999999a, 0x003fffa0,
131   0x1c71e38e, 0x19996665, 0x003fff02, 0x003f7fa1,
132   0x11114444, 0x003ffe81, 0x003f7f04, 0x003effa2,
133   0x002aaa80, 0x003f7e84, 0x003eff06, 0x003e7fa3,
134   0x003f7e83, 0x003eff05, 0x003e7f85, 0x00000020,
135   0x003efe86, 0x003e7f07, 0x0007fff2, 0x00000020,
136   0x003e7e89, 0x0007ffe1, 0x00017fff, 0x00000020,
137   0x0007ffd0, 0x00017ffb, 0x00010000, 0x00000020,
138   0x00017ff7, 0x0000fffd, 0x00008001, 0x00000020,
139   0x0000fffa, 0x00007fff, 0x00000002, 0x00000020,
140   0x00007ffd, 0x00000001, 0xffff8003, 0x00000020,
141   0x00000000, 0xffff8003, 0xffff0004, 0x00000020,
142   0xffff8003, 0xffff0005, 0xfff80012, 0x00000020,
143   0xffff0006, 0xfff80021, 0xffc1807f, 0x00000020,
144   0xfff80030, 0xffc180fb, 0xffc10080, 0x00000020,
145   0xffc18177, 0xffc100fd, 0xffc08081, 0x00000020,
146   0xffc1017a, 0xffc080ff, 0xe666b335, 0x00000020,
147   0xffc0817d, 0xe666e667, 0xd555d557, 0x00000020,
148   0xe6671999, 0xd5562aab, 0xc001ffff, 0x00000020,
149   0xd5567fff, 0xc0027ffb, 0xc0018000, 0x00000020,
150   0xc002fff7, 0xc001fffd, 0xc0010001, 0x00000020,
151   0xc0027ffa, 0xc0017fff, 0x3fff8002, 0x00000020,
152   0xc001fffd, 0x3fff0001, 0x3fff0003, 0x00000020,
153   0x3ffe8000, 0x3ffe8003, 0x2aaaaaac, 0x00000020,
154   0x3ffe0003, 0x2aaa5555, 0x1999ccce, 0x00000020,
155   0x2aa9fffe, 0x19999999, 0x003fff82, 0x00000020,
156   0x19996664, 0x003fff01, 0x003f7f83, 0x00000020,
157   0x003ffe80, 0x003f7f03, 0x003eff84, 0x00000020,
158   0x003f7f02, 0x003eff83, 0x00000002, 0x00000030,
159   0x003eff04, 0x003e7f84, 0x00000002, 0x00000023,
160   0x003e7f06, 0x0007fff1, 0x00000002, 0x00000022,
161   0x0007ffe0, 0x00017ffe, 0x00000002, 0x00000021,
162   0x00017ffa, 0x0000ffff, 0x00000002, 0x00000020,
163   0x0000fffc, 0x00008000, 0x00000002, 0x0000001f,
164   0x00007ffe, 0x00000001, 0x00000002, 0x0000001e,
165   0x00000000, 0xffff8002, 0x00000002, 0x00000010,
166   0xffff8002, 0xffff0003, 0x00000002, 0xffffffa3,
167   0xffff0004, 0xfff80011, 0x00000002, 0xffffffa2,
168   0xfff80020, 0xffc1807e, 0x00000002, 0xffffffa1,
169   0xffc180fa, 0xffc1007f, 0x00000002, 0xffffcced,
170   0xffc100fc, 0xffc08080, 0x00000002, 0xffffaacb,
171   0xffc080fe, 0xe666b334, 0x00000002, 0xffff8023,
172   0xe666e666, 0xd555d556, 0x00000002, 0xffff8022,
173   0xd5562aaa, 0xc001fffe, 0x00000002, 0xffff8021,
174   0xc0027ffa, 0xc0017fff, 0x00000002, 0x00008020,
175   0xc001fffc, 0xc0010000, 0x00000002, 0x0000801f,
176   0xc0017ffe, 0x3fff8001, 0x00000002, 0x00005576,
177   0x3fff0000, 0x3fff0002, 0x00000002, 0x00003354,
178   0x3ffe8002, 0x2aaaaaab, 0x00000002, 0x000000a0,
179   0x2aaa5554, 0x1999cccd, 0x00000002, 0x0000009f,
180   0x19999998, 0x003fff81, 0x00000002, 0x0000009e,
181   0x003fff00, 0x003f7f82, 0x00000002, 0x0000009d,
182   0x003f7f81, 0x00000001, 0x0000007f, 0x00000040,
183   0x003eff82, 0x00000001, 0x00000012, 0x00000026,
184   0x003e7f83, 0x00000001, 0x00000005, 0x00000024,
185   0x0007fff0, 0x00000001, 0x00000004, 0x00000022,
186   0x00017ffd, 0x00000001, 0x00000003, 0x00000020,
187   0x0000fffe, 0x00000001, 0x00000002, 0x0000001e,
188   0x00007fff, 0x00000001, 0x00000001, 0x0000001c,
189   0x00000000, 0x00000001, 0x00000000, 0x00000000,
190   0xffff8001, 0x00000001, 0xfffffff2, 0xffffff26,
191   0xffff0002, 0x00000001, 0xffffff85, 0xffffff24,
192   0xfff80010, 0x00000001, 0xffffff84, 0xffffff22,
193   0xffc1807d, 0x00000001, 0xffffff83, 0xffff99ba,
194   0xffc1007e, 0x00000001, 0xffffcccf, 0xffff5576,
195   0xffc0807f, 0x00000001, 0xffffaaad, 0xffff0026,
196   0xe666b333, 0x00000001, 0xffff8005, 0xffff0024,
197   0xd555d555, 0x00000001, 0xffff8004, 0xffff0022,
198   0xc001fffd, 0x00000001, 0xffff8003, 0x00010020,
199   0xc0017ffe, 0x00000001, 0x00008002, 0x0001001e,
200   0xc000ffff, 0x00000001, 0x00008001, 0x0000aacc,
201   0x3fff8000, 0x00000001, 0x00005558, 0x00006688,
202   0x3fff0001, 0x00000001, 0x00003336, 0x00000120,
203   0x2aaaaaaa, 0x00000001, 0x00000082, 0x0000011e,
204   0x1999cccc, 0x00000001, 0x00000081, 0x0000011c,
205   0x003fff80, 0x00000001, 0x00000080, 0x0000011a,
206   0x00000000, 0x0000007f, 0x000000fc, 0x00000120,
207   0x00000000, 0x0000007e, 0x00000022, 0x00000050,
208   0x00000000, 0x00000011, 0x00000008, 0x00000040,
209   0x00000000, 0x00000004, 0x00000006, 0x00000030,
210   0x00000000, 0x00000003, 0x00000004, 0x00000020,
211   0x00000000, 0x00000002, 0x00000002, 0x00000010,
212   0x00000000, 0x00000001, 0x00000000, 0x00000000,
213   0x00000000, 0x00000000, 0xfffffffe, 0xffffff20,
214   0x00000000, 0xffffffff, 0xffffffe2, 0xfffff850,
215   0x00000000, 0xfffffff1, 0xffffff08, 0xfffff840,
216   0x00000000, 0xffffff84, 0xffffff06, 0xfffff830,
217   0x00000000, 0xffffff83, 0xffffff04, 0xfffcccf0,
218   0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
219   0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
220   0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
221   0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
222   0x00000000, 0xffff8003, 0xffff0004, 0x00080020,
223   0x00000000, 0xffff8002, 0x00010002, 0x00080010,
224   0x00000000, 0x00008001, 0x00010000, 0x00055580,
225   0x00000000, 0x00008000, 0x0000aaae, 0x00033360,
226   0x00000000, 0x00005557, 0x0000666a, 0x00000820,
227   0x00000000, 0x00003335, 0x00000102, 0x00000810,
228   0x00000000, 0x00000081, 0x00000100, 0x00000800,
229   0x00000000, 0x00000080, 0x000000fe, 0x000007f0,
230   0x0000007f, 0x000000fd, 0x000007d2, 0x000007f0,
231   0x0000007e, 0x000000fb, 0x00000102, 0x00000197,
232   0x0000007d, 0x00000021, 0x00000032, 0x0000011a,
233   0x00000010, 0x00000007, 0x00000022, 0x0000009d,
234   0x00000003, 0x00000005, 0x00000012, 0x00000020,
235   0x00000002, 0x00000003, 0x00000002, 0xffffffa3,
236   0x00000001, 0x00000001, 0xfffffff2, 0xffffff26,
237   0x00000000, 0xffffffff, 0xffffffe2, 0xfffff850,
238   0xffffffff, 0xfffffffd, 0xffffff02, 0xffffc317,
239   0xfffffffe, 0xffffffe1, 0xfffff832, 0xffffc29a,
240   0xfffffff0, 0xffffff07, 0xfffff822, 0xffffc21d,
241   0xffffff83, 0xffffff05, 0xfffff812, 0xffe70039,
242   0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
243   0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
244   0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
245   0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
246   0xffff8003, 0xffff0005, 0xfff80012, 0x003e8020,
247   0xffff8002, 0xffff0003, 0x00080002, 0x003e7fa3,
248   0xffff8001, 0x00010001, 0x0007fff2, 0x0029ab1e,
249   0x00008000, 0x0000ffff, 0x00055562, 0x00190084,
250   0x00007fff, 0x0000aaad, 0x00033342, 0x00003ea0,
251   0x00005556, 0x00006669, 0x00000802, 0x00003e23,
252   0x00003334, 0x00000101, 0x000007f2, 0x00003da6,
253   0x00000080, 0x000000ff, 0x000007e2, 0x00003d29,
254   0x000000fe, 0x000007e1, 0x00003d0b, 0x00000800,
255   0x000000fc, 0x000007d1, 0x000007d2, 0x0000019a,
256   0x000000fa, 0x00000101, 0x00000179, 0x0000011c,
257   0x00000020, 0x00000031, 0x000000fc, 0x0000009e,
258   0x00000006, 0x00000021, 0x0000007f, 0x00000020,
259   0x00000004, 0x00000011, 0x00000002, 0xffffffa2,
260   0x00000002, 0x00000001, 0xffffff85, 0xffffff24,
261   0x00000000, 0xfffffff1, 0xffffff08, 0xfffff840,
262   0xfffffffe, 0xffffffe1, 0xfffff832, 0xffffc29a,
263   0xfffffffc, 0xffffff01, 0xffffc2f9, 0xffffc21c,
264   0xffffffe0, 0xfffff831, 0xffffc27c, 0xffffc19e,
265   0xffffff06, 0xfffff821, 0xffffc1ff, 0xffe6cd06,
266   0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
267   0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
268   0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
269   0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
270   0xffff0006, 0xfff80021, 0xffc1807f, 0x003f0020,
271   0xffff0004, 0xfff80011, 0x003e8002, 0x003effa2,
272   0xffff0002, 0x00080001, 0x003e7f85, 0x002a0074,
273   0x00010000, 0x0007fff1, 0x0029ab00, 0x001933b8,
274   0x0000fffe, 0x00055561, 0x00190066, 0x00003f20,
275   0x0000aaac, 0x00033341, 0x00003e82, 0x00003ea2,
276   0x00006668, 0x00000801, 0x00003e05, 0x00003e24,
277   0x00000100, 0x000007f1, 0x00003d88, 0x00003da6,
278   0x000007f0, 0x00003d87, 0x00003d88, 0x00000810,
279   0x000007e0, 0x00003d0a, 0x000007e2, 0x0000019d,
280   0x000007d0, 0x000007d1, 0x0000017c, 0x0000011e,
281   0x00000100, 0x00000178, 0x000000fe, 0x0000009f,
282   0x00000030, 0x000000fb, 0x00000080, 0x00000020,
283   0x00000020, 0x0000007e, 0x00000002, 0xffffffa1,
284   0x00000010, 0x00000001, 0xffffff84, 0xffffff22,
285   0x00000000, 0xffffff84, 0xffffff06, 0xfffff830,
286   0xfffffff0, 0xffffff07, 0xfffff822, 0xffffc21d,
287   0xffffffe0, 0xfffff831, 0xffffc27c, 0xffffc19e,
288   0xffffff00, 0xffffc2f8, 0xffffc1fe, 0xffffc11f,
289   0xfffff830, 0xffffc27b, 0xffffc180, 0xffe699d3,
290   0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
291   0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
292   0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
293   0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
294   0xfff80030, 0xffc180fb, 0xffc10080, 0x003f8020,
295   0xfff80020, 0xffc1807e, 0x003f0002, 0x003f7fa1,
296   0xfff80010, 0x003e8001, 0x003eff84, 0x002a55ca,
297   0x00080000, 0x003e7f84, 0x002a0056, 0x001966ec,
298   0x0007fff0, 0x0029aaff, 0x0019339a, 0x00003fa0,
299   0x00055560, 0x00190065, 0x00003f02, 0x00003f21,
300   0x00033340, 0x00003e81, 0x00003e84, 0x00003ea2,
301   0x00000800, 0x00003e04, 0x00003e06, 0x00003e23,
302   0x00003e03, 0x00003e05, 0x00003e05, 0x00033350,
303   0x00003d86, 0x00003d87, 0x000007f2, 0x000099b9,
304   0x00003d09, 0x000007e1, 0x0000017f, 0x00006686,
305   0x000007d0, 0x0000017b, 0x00000100, 0x00003353,
306   0x00000177, 0x000000fd, 0x00000081, 0x00000020,
307   0x000000fa, 0x0000007f, 0x00000002, 0xffffcced,
308   0x0000007d, 0x00000001, 0xffffff83, 0xffff99ba,
309   0x00000000, 0xffffff83, 0xffffff04, 0xfffcccf0,
310   0xffffff83, 0xffffff05, 0xfffff812, 0xffe70039,
311   0xffffff06, 0xfffff821, 0xffffc1ff, 0xffe6cd06,
312   0xfffff830, 0xffffc27b, 0xffffc180, 0xffe699d3,
313   0xffffc2f7, 0xffffc1fd, 0xffffc101, 0xf5c2a3f7,
314   0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
315   0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
316   0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
317   0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
318   0xffc18177, 0xffc100fd, 0xffc08081, 0x19998020,
319   0xffc180fa, 0xffc1007f, 0x003f8002, 0x19994ced,
320   0xffc1807d, 0x003f0001, 0x003f7f83, 0x11112242,
321   0x003e8000, 0x003eff83, 0x002a55ac, 0x0a3d8f7c,
322   0x003e7f83, 0x002a0055, 0x001966ce, 0x001999a0,
323   0x0029aafe, 0x00193399, 0x00003f82, 0x0019666d,
324   0x00190064, 0x00003f01, 0x00003f03, 0x0019333a,
325   0x00003e80, 0x00003e83, 0x00003e84, 0x00190007,
326   0x00003e82, 0x00003e83, 0x0018ffe9, 0x00055570,
327   0x00003e04, 0x00003e04, 0x00033332, 0x0001001f,
328   0x00003d86, 0x000007f1, 0x0000999b, 0x0000aaca,
329   0x000007e0, 0x0000017e, 0x00006668, 0x00005575,
330   0x0000017a, 0x000000ff, 0x00003335, 0x00000020,
331   0x000000fc, 0x00000080, 0x00000002, 0xffffaacb,
332   0x0000007e, 0x00000001, 0xffffcccf, 0xffff5576,
333   0x00000000, 0xffffff82, 0xffff999c, 0xfffaaad0,
334   0xffffff82, 0xffffff03, 0xfffcccd2, 0xffd6559f,
335   0xffffff04, 0xfffff811, 0xffe7001b, 0xffd6004a,
336   0xfffff820, 0xffffc1fe, 0xffe6cce8, 0xffd5aaf5,
337   0xffffc27a, 0xffffc17f, 0xffe699b5, 0xeeef1131,
338   0xffffc1fc, 0xffffc100, 0xf5c2a3d9, 0xe38e71e7,
339   0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
340   0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
341   0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
342   0xffc1017a, 0xffc080ff, 0xe666b335, 0x2aaa8020,
343   0xffc100fc, 0xffc08080, 0x19998002, 0x2aaa2acb,
344   0xffc1007e, 0x003f8001, 0x19994ccf, 0x1c71e3ae,
345   0x003f0000, 0x003f7f82, 0x11112224, 0x11114464,
346   0x003eff82, 0x002a55ab, 0x0a3d8f5e, 0x002aaaa0,
347   0x002a0054, 0x001966cd, 0x00199982, 0x002a554b,
348   0x00193398, 0x00003f81, 0x0019664f, 0x0029fff6,
349   0x00003f00, 0x00003f02, 0x0019331c, 0x0029aaa1,
350   0x00003f01, 0x0019331b, 0x0029aa83, 0x0007fff0,
351   0x00003e82, 0x0018ffe8, 0x00055552, 0x00018017,
352   0x00003e03, 0x00033331, 0x00010001, 0x0001001a,
353   0x000007f0, 0x0000999a, 0x0000aaac, 0x0000801d,
354   0x0000017d, 0x00006667, 0x00005557, 0x00000020,
355   0x000000fe, 0x00003334, 0x00000002, 0xffff8023,
356   0x0000007f, 0x00000001, 0xffffaaad, 0xffff0026,
357   0x00000000, 0xffffccce, 0xffff5558, 0xfff80050,
358   0xffffff81, 0xffff999b, 0xfffaaab2, 0xffc18197,
359   0xffffff02, 0xfffcccd1, 0xffd65581, 0xffc1019a,
360   0xfffff810, 0xffe7001a, 0xffd6002c, 0xffc0819d,
361   0xffffc1fd, 0xffe6cce7, 0xffd5aad7, 0xe66719b9,
362   0xffffc17e, 0xffe699b4, 0xeeef1113, 0xd556801f,
363   0xffffc0ff, 0xf5c2a3d8, 0xe38e71c9, 0xc0030017,
364   0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
365   0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
366   0xffc0817d, 0xe666e667, 0xd555d557, 0x3ffe8020,
367   0xffc080fe, 0xe666b334, 0x2aaa8002, 0x3ffe0023,
368   0xffc0807f, 0x19998001, 0x2aaa2aad, 0x2aaa001e,
369   0x003f8000, 0x19994cce, 0x1c71e390, 0x19996684,
370   0x003f7f81, 0x11112223, 0x11114446, 0x003ffea0,
371   0x002a55aa, 0x0a3d8f5d, 0x002aaa82, 0x003f7ea3,
372   0x001966cc, 0x00199981, 0x002a552d, 0x003efea6,
373   0x00003f80, 0x0019664e, 0x0029ffd8, 0x003e7ea9,
374   0x0019664d, 0x0029ffd7, 0x003e7e8b, 0x00080000,
375   0x0019331a, 0x0029aa82, 0x0007ffd2, 0x0001801a,
376   0x0018ffe7, 0x00055551, 0x00017ff9, 0x0001001c,
377   0x00033330, 0x00010000, 0x0000fffc, 0x0000801e,
378   0x00009999, 0x0000aaab, 0x00007fff, 0x00000020,
379   0x00006666, 0x00005556, 0x00000002, 0xffff8022,
380   0x00003333, 0x00000001, 0xffff8005, 0xffff0024,
381   0x00000000, 0xffffaaac, 0xffff0008, 0xfff80040,
382   0xffffcccd, 0xffff5557, 0xfff80032, 0xffc1811a,
383   0xffff999a, 0xfffaaab1, 0xffc18179, 0xffc1011c,
384   0xfffcccd0, 0xffd65580, 0xffc1017c, 0xffc0811e,
385   0xffe70019, 0xffd6002b, 0xffc0817f, 0xe666e686,
386   0xffe6cce6, 0xffd5aad6, 0xe667199b, 0xd5562aca,
387   0xffe699b3, 0xeeef1112, 0xd5568001, 0xc002801a,
388   0xf5c2a3d7, 0xe38e71c8, 0xc002fff9, 0xc002001c,
389   0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
390   0xe6671999, 0xd5562aab, 0xc001ffff, 0x3fff0020,
391   0xe666e666, 0xd555d556, 0x3ffe8002, 0x3ffe8022,
392   0xe666b333, 0x2aaa8001, 0x3ffe0005, 0x2aaa5574,
393   0x19998000, 0x2aaa2aac, 0x2aaa0000, 0x199999b8,
394   0x19994ccd, 0x1c71e38f, 0x19996666, 0x003fff20,
395   0x11112222, 0x11114445, 0x003ffe82, 0x003f7f22,
396   0x0a3d8f5c, 0x002aaa81, 0x003f7e85, 0x003eff24,
397   0x00199980, 0x002a552c, 0x003efe88, 0x003e7f26,
398   0x002a552b, 0x003efe87, 0x003e7f08, 0x00080010,
399   0x0029ffd6, 0x003e7e8a, 0x0007ffe2, 0x0001801d,
400   0x0029aa81, 0x0007ffd1, 0x00017ffc, 0x0001001e,
401   0x00055550, 0x00017ff8, 0x0000fffe, 0x0000801f,
402   0x0000ffff, 0x0000fffb, 0x00008000, 0x00000020,
403   0x0000aaaa, 0x00007ffe, 0x00000002, 0xffff8021,
404   0x00005555, 0x00000001, 0xffff8004, 0xffff0022,
405   0x00000000, 0xffff8004, 0xffff0006, 0xfff80030,
406   0xffffaaab, 0xffff0007, 0xfff80022, 0xffc1809d,
407   0xffff5556, 0xfff80031, 0xffc180fc, 0xffc1009e,
408   0xfffaaab0, 0xffc18178, 0xffc100fe, 0xffc0809f,
409   0xffd6557f, 0xffc1017b, 0xffc08100, 0xe666b353,
410   0xffd6002a, 0xffc0817e, 0xe666e668, 0xd555d575,
411   0xffd5aad5, 0xe667199a, 0xd5562aac, 0xc002001d,
412   0xeeef1111, 0xd5568000, 0xc0027ffc, 0xc001801e,
413   0xe38e71c7, 0xc002fff8, 0xc001fffe, 0xc001001f,
414   0xd5567fff, 0xc0027ffb, 0xc0018000, 0x3fff8020,
415   0xd5562aaa, 0xc001fffe, 0x3fff0002, 0x3fff0021,
416   0xd555d555, 0x3ffe8001, 0x3ffe8004, 0x2aaaaaca,
417   0x2aaa8000, 0x3ffe0004, 0x2aaa5556, 0x1999ccec,
418   0x2aaa2aab, 0x2aa9ffff, 0x1999999a, 0x003fffa0,
419   0x1c71e38e, 0x19996665, 0x003fff02, 0x003f7fa1,
420   0x11114444, 0x003ffe81, 0x003f7f04, 0x003effa2,
421   0x002aaa80, 0x003f7e84, 0x003eff06, 0x003e7fa3,
422   0x003f7e83, 0x003eff05, 0x003e7f85, 0xfff80020,
423   0x003efe86, 0x003e7f07, 0x0007fff2, 0xfffe8020,
424   0x003e7e89, 0x0007ffe1, 0x00017fff, 0xffff0020,
425   0x0007ffd0, 0x00017ffb, 0x00010000, 0xffff8020,
426   0x00017ff7, 0x0000fffd, 0x00008001, 0x00000020,
427   0x0000fffa, 0x00007fff, 0x00000002, 0x00008020,
428   0x00007ffd, 0x00000001, 0xffff8003, 0x00010020,
429   0x00000000, 0xffff8003, 0xffff0004, 0x00080020,
430   0xffff8003, 0xffff0005, 0xfff80012, 0x003e8020,
431   0xffff0006, 0xfff80021, 0xffc1807f, 0x003f0020,
432   0xfff80030, 0xffc180fb, 0xffc10080, 0x003f8020,
433   0xffc18177, 0xffc100fd, 0xffc08081, 0x19998020,
434   0xffc1017a, 0xffc080ff, 0xe666b335, 0x2aaa8020,
435   0xffc0817d, 0xe666e667, 0xd555d557, 0x3ffe8020,
436   0xe6671999, 0xd5562aab, 0xc001ffff, 0x3fff0020,
437   0xd5567fff, 0xc0027ffb, 0xc0018000, 0x3fff8020,
438   0xc002fff7, 0xc001fffd, 0xc0010001, 0xc0000020,
439   0xc0027ffa, 0xc0017fff, 0x3fff8002, 0xc0008020,
440   0xc001fffd, 0x3fff0001, 0x3fff0003, 0xd5550020,
441   0x3ffe8000, 0x3ffe8003, 0x2aaaaaac, 0xe6660020,
442   0x3ffe0003, 0x2aaa5555, 0x1999ccce, 0xffc00020,
443   0x2aa9fffe, 0x19999999, 0x003fff82, 0xffc08020,
444   0x19996664, 0x003fff01, 0x003f7f83, 0xffc10020,
445   0x003ffe80, 0x003f7f03, 0x003eff84, 0xffc18020,
446   0x003f7f02, 0x003eff83, 0xffc18002, 0xfff80030,
447   0x003eff04, 0x003e7f84, 0xfff80002, 0xfffe8023,
448   0x003e7f06, 0x0007fff1, 0xfffe8002, 0xffff0022,
449   0x0007ffe0, 0x00017ffe, 0xffff0002, 0xffff8021,
450   0x00017ffa, 0x0000ffff, 0xffff8002, 0x00000020,
451   0x0000fffc, 0x00008000, 0x00000002, 0x0000801f,
452   0x00007ffe, 0x00000001, 0x00008002, 0x0001001e,
453   0x00000000, 0xffff8002, 0x00010002, 0x00080010,
454   0xffff8002, 0xffff0003, 0x00080002, 0x003e7fa3,
455   0xffff0004, 0xfff80011, 0x003e8002, 0x003effa2,
456   0xfff80020, 0xffc1807e, 0x003f0002, 0x003f7fa1,
457   0xffc180fa, 0xffc1007f, 0x003f8002, 0x19994ced,
458   0xffc100fc, 0xffc08080, 0x19998002, 0x2aaa2acb,
459   0xffc080fe, 0xe666b334, 0x2aaa8002, 0x3ffe0023,
460   0xe666e666, 0xd555d556, 0x3ffe8002, 0x3ffe8022,
461   0xd5562aaa, 0xc001fffe, 0x3fff0002, 0x3fff0021,
462   0xc0027ffa, 0xc0017fff, 0x3fff8002, 0xc0008020,
463   0xc001fffc, 0xc0010000, 0xc0000002, 0xc001001f,
464   0xc0017ffe, 0x3fff8001, 0xc0008002, 0xd5555576,
465   0x3fff0000, 0x3fff0002, 0xd5550002, 0xe6663354,
466   0x3ffe8002, 0x2aaaaaab, 0xe6660002, 0xffc000a0,
467   0x2aaa5554, 0x1999cccd, 0xffc00002, 0xffc0809f,
468   0x19999998, 0x003fff81, 0xffc08002, 0xffc1009e,
469   0x003fff00, 0x003f7f82, 0xffc10002, 0xffc1809d,
470   0x003f7f81, 0xffc10001, 0xffc1807f, 0xfffaaac0,
471   0x003eff82, 0xffc18001, 0xfff80012, 0xffff001e,
472   0x003e7f83, 0xfff80001, 0xfffe8005, 0xffff5574,
473   0x0007fff0, 0xfffe8001, 0xffff0004, 0xffffaaca,
474   0x00017ffd, 0xffff0001, 0xffff8003, 0x00000020,
475   0x0000fffe, 0xffff8001, 0x00000002, 0x00005576,
476   0x00007fff, 0x00000001, 0x00008001, 0x0000aacc,
477   0x00000000, 0x00008001, 0x00010000, 0x00055580,
478   0xffff8001, 0x00010001, 0x0007fff2, 0x0029ab1e,
479   0xffff0002, 0x00080001, 0x003e7f85, 0x002a0074,
480   0xfff80010, 0x003e8001, 0x003eff84, 0x002a55ca,
481   0xffc1807d, 0x003f0001, 0x003f7f83, 0x11112242,
482   0xffc1007e, 0x003f8001, 0x19994ccf, 0x1c71e3ae,
483   0xffc0807f, 0x19998001, 0x2aaa2aad, 0x2aaa001e,
484   0xe666b333, 0x2aaa8001, 0x3ffe0005, 0x2aaa5574,
485   0xd555d555, 0x3ffe8001, 0x3ffe8004, 0x2aaaaaca,
486   0xc001fffd, 0x3fff0001, 0x3fff0003, 0xd5550020,
487   0xc0017ffe, 0x3fff8001, 0xc0008002, 0xd5555576,
488   0xc000ffff, 0xc0000001, 0xc0010001, 0xe38dc73c,
489   0x3fff8000, 0xc0008001, 0xd5555558, 0xeeee88a8,
490   0x3fff0001, 0xd5550001, 0xe6663336, 0xffd55520,
491   0x2aaaaaaa, 0xe6660001, 0xffc00082, 0xffd5aa76,
492   0x1999cccc, 0xffc00001, 0xffc08081, 0xffd5ffcc,
493   0x003fff80, 0xffc08001, 0xffc10080, 0xffd65522,
494   0xffc08000, 0xffc1007f, 0xffd65504, 0xfffccce0,
495   0xffc10000, 0xffc1807e, 0xfffaaaa2, 0xffff6684,
496   0xffc18000, 0xfff80011, 0xffff0000, 0xffff99b8,
497   0xfff80000, 0xfffe8004, 0xffff5556, 0xffffccec,
498   0xfffe8000, 0xffff0003, 0xffffaaac, 0x00000020,
499   0xffff0000, 0xffff8002, 0x00000002, 0x00003354,
500   0xffff8000, 0x00000001, 0x00005558, 0x00006688,
501   0x00000000, 0x00008000, 0x0000aaae, 0x00033360,
502   0x00008000, 0x0000ffff, 0x00055562, 0x00190084,
503   0x00010000, 0x0007fff1, 0x0029ab00, 0x001933b8,
504   0x00080000, 0x003e7f84, 0x002a0056, 0x001966ec,
505   0x003e8000, 0x003eff83, 0x002a55ac, 0x0a3d8f7c,
506   0x003f0000, 0x003f7f82, 0x11112224, 0x11114464,
507   0x003f8000, 0x19994cce, 0x1c71e390, 0x19996684,
508   0x19998000, 0x2aaa2aac, 0x2aaa0000, 0x199999b8,
509   0x2aaa8000, 0x3ffe0004, 0x2aaa5556, 0x1999ccec,
510   0x3ffe8000, 0x3ffe8003, 0x2aaaaaac, 0xe6660020,
511   0x3fff0000, 0x3fff0002, 0xd5550002, 0xe6663354,
512   0x3fff8000, 0xc0008001, 0xd5555558, 0xeeee88a8,
513   0xc0000000, 0xc0010000, 0xe38dc71e, 0xf5c23d90,
514   0xc0008000, 0xd5555557, 0xeeee888a, 0xffe66620,
515   0xd5550000, 0xe6663335, 0xffd55502, 0xffe69954,
516   0xe6660000, 0xffc00081, 0xffd5aa58, 0xffe6cc88,
517   0xffc00000, 0xffc08080, 0xffd5ffae, 0xffe6ffbc,
518   0xffc0807f, 0xffd5ffad, 0xffe6ff9e, 0xfffff820,
519   0xffc1007e, 0xffd65503, 0xfffcccc2, 0xfffffea0,
520   0xffc1807d, 0xfffaaaa1, 0xffff6666, 0xffffff20,
521   0xfff80010, 0xfffeffff, 0xffff999a, 0xffffffa0,
522   0xfffe8003, 0xffff5555, 0xffffccce, 0x00000020,
523   0xffff0002, 0xffffaaab, 0x00000002, 0x000000a0,
524   0xffff8001, 0x00000001, 0x00003336, 0x00000120,
525   0x00000000, 0x00005557, 0x0000666a, 0x00000820,
526   0x00007fff, 0x0000aaad, 0x00033342, 0x00003ea0,
527   0x0000fffe, 0x00055561, 0x00190066, 0x00003f20,
528   0x0007fff0, 0x0029aaff, 0x0019339a, 0x00003fa0,
529   0x003e7f83, 0x002a0055, 0x001966ce, 0x001999a0,
530   0x003eff82, 0x002a55ab, 0x0a3d8f5e, 0x002aaaa0,
531   0x003f7f81, 0x11112223, 0x11114446, 0x003ffea0,
532   0x19994ccd, 0x1c71e38f, 0x19996666, 0x003fff20,
533   0x2aaa2aab, 0x2aa9ffff, 0x1999999a, 0x003fffa0,
534   0x3ffe0003, 0x2aaa5555, 0x1999ccce, 0xffc00020,
535   0x3ffe8002, 0x2aaaaaab, 0xe6660002, 0xffc000a0,
536   0x3fff0001, 0xd5550001, 0xe6663336, 0xffd55520,
537   0xc0008000, 0xd5555557, 0xeeee888a, 0xffe66620,
538   0xc000ffff, 0xe38dc71d, 0xf5c23d72, 0xffffc020,
539   0xd5555556, 0xeeee8889, 0xffe66602, 0xffffc0a0,
540   0xe6663334, 0xffd55501, 0xffe69936, 0xffffc120,
541   0xffc00080, 0xffd5aa57, 0xffe6cc6a, 0xffffc1a0,
542   0xffd5aa56, 0xffe6cc69, 0xffffc182, 0xfffff830,
543   0xffd5ffac, 0xffe6ff9d, 0xfffff802, 0xfffffea3,
544   0xffd65502, 0xfffcccc1, 0xfffffe82, 0xffffff22,
545   0xfffaaaa0, 0xffff6665, 0xffffff02, 0xffffffa1,
546   0xfffefffe, 0xffff9999, 0xffffff82, 0x00000020,
547   0xffff5554, 0xffffcccd, 0x00000002, 0x0000009f,
548   0xffffaaaa, 0x00000001, 0x00000082, 0x0000011e,
549   0x00000000, 0x00003335, 0x00000102, 0x00000810,
550   0x00005556, 0x00006669, 0x00000802, 0x00003e23,
551   0x0000aaac, 0x00033341, 0x00003e82, 0x00003ea2,
552   0x00055560, 0x00190065, 0x00003f02, 0x00003f21,
553   0x0029aafe, 0x00193399, 0x00003f82, 0x0019666d,
554   0x002a0054, 0x001966cd, 0x00199982, 0x002a554b,
555   0x002a55aa, 0x0a3d8f5d, 0x002aaa82, 0x003f7ea3,
556   0x11112222, 0x11114445, 0x003ffe82, 0x003f7f22,
557   0x1c71e38e, 0x19996665, 0x003fff02, 0x003f7fa1,
558   0x2aa9fffe, 0x19999999, 0x003fff82, 0xffc08020,
559   0x2aaa5554, 0x1999cccd, 0xffc00002, 0xffc0809f,
560   0x2aaaaaaa, 0xe6660001, 0xffc00082, 0xffd5aa76,
561   0xd5550000, 0xe6663335, 0xffd55502, 0xffe69954,
562   0xd5555556, 0xeeee8889, 0xffe66602, 0xffffc0a0,
563   0xe38dc71c, 0xf5c23d71, 0xffffc002, 0xffffc11f,
564   0xeeee8888, 0xffe66601, 0xffffc082, 0xffffc19e,
565   0xffd55500, 0xffe69935, 0xffffc102, 0xffffc21d,
566   0xffe69934, 0xffffc101, 0xffffc1ff, 0xfffff840,
567   0xffe6cc68, 0xffffc181, 0xfffff812, 0xfffffea6,
568   0xffe6ff9c, 0xfffff801, 0xfffffe85, 0xffffff24,
569   0xfffcccc0, 0xfffffe81, 0xffffff04, 0xffffffa2,
570   0xffff6664, 0xffffff01, 0xffffff83, 0x00000020,
571   0xffff9998, 0xffffff81, 0x00000002, 0x0000009e,
572   0xffffcccc, 0x00000001, 0x00000081, 0x0000011c,
573   0x00000000, 0x00000081, 0x00000100, 0x00000800,
574   0x00003334, 0x00000101, 0x000007f2, 0x00003da6,
575   0x00006668, 0x00000801, 0x00003e05, 0x00003e24,
576   0x00033340, 0x00003e81, 0x00003e84, 0x00003ea2,
577   0x00190064, 0x00003f01, 0x00003f03, 0x0019333a,
578   0x00193398, 0x00003f81, 0x0019664f, 0x0029fff6,
579   0x001966cc, 0x00199981, 0x002a552d, 0x003efea6,
580   0x0a3d8f5c, 0x002aaa81, 0x003f7e85, 0x003eff24,
581   0x11114444, 0x003ffe81, 0x003f7f04, 0x003effa2,
582   0x19996664, 0x003fff01, 0x003f7f83, 0xffc10020,
583   0x19999998, 0x003fff81, 0xffc08002, 0xffc1009e,
584   0x1999cccc, 0xffc00001, 0xffc08081, 0xffd5ffcc,
585   0xe6660000, 0xffc00081, 0xffd5aa58, 0xffe6cc88,
586   0xe6663334, 0xffd55501, 0xffe69936, 0xffffc120,
587   0xeeee8888, 0xffe66601, 0xffffc082, 0xffffc19e,
588   0xf5c23d70, 0xffffc001, 0xffffc101, 0xffffc21c,
589   0xffe66600, 0xffffc081, 0xffffc180, 0xffffc29a,
590   0xffffc080, 0xffffc17f, 0xffffc27c, 0xfffff850,
591   0xffffc100, 0xffffc1fe, 0xfffff822, 0xfffffea9,
592   0xffffc180, 0xfffff811, 0xfffffe88, 0xffffff26,
593   0xfffff800, 0xfffffe84, 0xffffff06, 0xffffffa3,
594   0xfffffe80, 0xffffff03, 0xffffff84, 0x00000020,
595   0xffffff00, 0xffffff82, 0x00000002, 0x0000009d,
596   0xffffff80, 0x00000001, 0x00000080, 0x0000011a,
597   0x00000000, 0x00000080, 0x000000fe, 0x000007f0,
598   0x00000080, 0x000000ff, 0x000007e2, 0x00003d29,
599   0x00000100, 0x000007f1, 0x00003d88, 0x00003da6,
600   0x00000800, 0x00003e04, 0x00003e06, 0x00003e23,
601   0x00003e80, 0x00003e83, 0x00003e84, 0x00190007,
602   0x00003f00, 0x00003f02, 0x0019331c, 0x0029aaa1,
603   0x00003f80, 0x0019664e, 0x0029ffd8, 0x003e7ea9,
604   0x00199980, 0x002a552c, 0x003efe88, 0x003e7f26,
605   0x002aaa80, 0x003f7e84, 0x003eff06, 0x003e7fa3,
606   0x003ffe80, 0x003f7f03, 0x003eff84, 0xffc18020,
607   0x003fff00, 0x003f7f82, 0xffc10002, 0xffc1809d,
608   0x003fff80, 0xffc08001, 0xffc10080, 0xffd65522,
609   0xffc00000, 0xffc08080, 0xffd5ffae, 0xffe6ffbc,
610   0xffc00080, 0xffd5aa57, 0xffe6cc6a, 0xffffc1a0,
611   0xffd55500, 0xffe69935, 0xffffc102, 0xffffc21d,
612   0xffe66600, 0xffffc081, 0xffffc180, 0xffffc29a,
613   0xffffc000, 0xffffc100, 0xffffc1fe, 0xffffc317,
614 };
615 const unsigned kExpectedCount_NEON_smlsl_4S = 576;
616 
617 #endif  // VIXL_SIM_SMLSL_4S_TRACE_AARCH64_H_
618