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_UMLAL_4S_TRACE_AARCH64_H_
35#define VIXL_SIM_UMLAL_4S_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_umlal_4S[] = {
38  0x00003e04, 0x00003f02, 0x0a3d5c2b, 0x1c718e59,
39  0x00003e82, 0x0019664e, 0x1110eef1, 0x2aa98021,
40  0x0019331a, 0x002a552c, 0x1998e669, 0x2aa9d576,
41  0x0029ffd6, 0x003f7e84, 0x1999199c, 0x2aaa2acb,
42  0x003efe86, 0x003f7f03, 0x19994ccf, 0x00000020,
43  0x003eff04, 0x003f7f82, 0x00000002, 0x00005575,
44  0x003eff82, 0x00000001, 0x00003335, 0x0000aaca,
45  0x00000000, 0x00000080, 0x00006668, 0x00055570,
46  0x0000007e, 0x000000ff, 0x00033332, 0x0029aaa1,
47  0x000000fc, 0x000007f1, 0x0018ffe9, 0x0029fff6,
48  0x000007e0, 0x00003e04, 0x0019331c, 0x002a554b,
49  0x00003d86, 0x00003e83, 0x0019664f, 0x1110ef0f,
50  0x00003e04, 0x00003f02, 0x0a3d5c2b, 0x1c718e59,
51  0x00003e82, 0x0019664e, 0x1110eef1, 0x2aa98021,
52  0x0019331a, 0x002a552c, 0x1998e669, 0x2aa9d576,
53  0x0029ffd6, 0x003f7e84, 0x1999199c, 0x2aaa2acb,
54  0x003efe86, 0x003f7f03, 0x19994ccf, 0x2aaa8020,
55  0x003eff04, 0x003f7f82, 0x19998002, 0x2aaad575,
56  0x003eff82, 0x003f8001, 0x1999b335, 0x38e31c92,
57  0x003f0000, 0x003f8080, 0x2221dde0, 0x4443bbdc,
58  0x003f007e, 0x0054aa57, 0x28f570a6, 0x552a55a0,
59  0x0053ffac, 0x00659935, 0x33196682, 0x552aaaf5,
60  0x0064cc68, 0x007ec081, 0x331999b5, 0x552b004a,
61  0x007dc100, 0x007ec100, 0x3319cce8, 0x552b559f,
62  0x007ec0ff, 0x3319cce7, 0x552b5581, 0x7ff50050,
63  0x007ec17e, 0x331a001a, 0x554faab2, 0x7ffb8029,
64  0x007ec1fd, 0x332fccd1, 0x55540003, 0x7ffc0026,
65  0x007ef810, 0x33326668, 0x55545558, 0x7ffc8023,
66  0x007efe83, 0x3332999b, 0x5554aaad, 0x00000020,
67  0x007eff02, 0x3332ccce, 0x00000002, 0x0000801d,
68  0x007eff81, 0x00000001, 0x00005557, 0x0001001a,
69  0x00000000, 0x00003334, 0x0000aaac, 0x0007fff0,
70  0x0000007f, 0x00006667, 0x00055552, 0x003e7ea9,
71  0x000000fe, 0x00033331, 0x0029aa83, 0x003efea6,
72  0x000007f0, 0x0018ffe8, 0x0029ffd8, 0x003f7ea3,
73  0x00003e03, 0x0019331b, 0x002a552d, 0x1998e687,
74  0x00003e82, 0x0019664e, 0x1110eef1, 0x2aa98021,
75  0x00003f01, 0x0a3d5c2a, 0x1c718e3b, 0x3ffd0029,
76  0x0019664d, 0x1110eef0, 0x2aa98003, 0x3ffd8026,
77  0x002a552b, 0x1998e668, 0x2aa9d558, 0x3ffe0023,
78  0x003f7e83, 0x1999199b, 0x2aaa2aad, 0x3ffe8020,
79  0x003f7f02, 0x19994cce, 0x2aaa8002, 0x3fff001d,
80  0x003f7f81, 0x19998001, 0x2aaad557, 0x55530022,
81  0x003f8000, 0x1999b334, 0x38e31c74, 0x666399bc,
82  0x003f807f, 0x2221dddf, 0x4443bbbe, 0x7fbd01a0,
83  0x0054aa56, 0x28f570a5, 0x552a5582, 0x7fbd819d,
84  0x00659934, 0x33196681, 0x552aaad7, 0x7fbe019a,
85  0x007ec080, 0x331999b4, 0x552b002c, 0x7fbe8197,
86  0x331999b3, 0x552b002b, 0x7fbe8179, 0x7ff60040,
87  0x3319cce6, 0x552b5580, 0x7ff50032, 0x7ffc8026,
88  0x331a0019, 0x554faab1, 0x7ffb800b, 0x7ffd0024,
89  0x332fccd0, 0x55540002, 0x7ffc0008, 0x7ffd8022,
90  0x33326667, 0x55545557, 0x7ffc8005, 0x00000020,
91  0x3332999a, 0x5554aaac, 0x00000002, 0x0000801e,
92  0x3332cccd, 0x00000001, 0x00007fff, 0x0001001c,
93  0x00000000, 0x00005556, 0x0000fffc, 0x00080000,
94  0x00003333, 0x0000aaab, 0x0007ffd2, 0x003e7f26,
95  0x00006666, 0x00055551, 0x003e7e8b, 0x003eff24,
96  0x00033330, 0x0029aa82, 0x003efe88, 0x003f7f22,
97  0x0018ffe7, 0x0029ffd7, 0x003f7e85, 0x199919ba,
98  0x0019331a, 0x002a552c, 0x1998e669, 0x2aa9d576,
99  0x0019664d, 0x1110eef0, 0x2aa98003, 0x3ffd8026,
100  0x0a3d5c29, 0x1c718e3a, 0x3ffd000b, 0x3ffe0024,
101  0x1110eeef, 0x2aa98002, 0x3ffd8008, 0x3ffe8022,
102  0x1998e667, 0x2aa9d557, 0x3ffe0005, 0x3fff0020,
103  0x1999199a, 0x2aaa2aac, 0x3ffe8002, 0x3fff801e,
104  0x19994ccd, 0x2aaa8001, 0x3ffeffff, 0x5553aacc,
105  0x19998000, 0x2aaad556, 0x55530004, 0x66646688,
106  0x1999b333, 0x38e31c73, 0x6663999e, 0x7fbe0120,
107  0x2221ddde, 0x4443bbbd, 0x7fbd0182, 0x7fbe811e,
108  0x28f570a4, 0x552a5581, 0x7fbd817f, 0x7fbf011c,
109  0x33196680, 0x552aaad6, 0x7fbe017c, 0x7fbf811a,
110  0x552aaad5, 0x7fbe017b, 0x7fbf80fc, 0x7ff70030,
111  0x552b002a, 0x7fbe8178, 0x7ff60022, 0x7ffd8023,
112  0x552b557f, 0x7ff50031, 0x7ffc8008, 0x7ffe0022,
113  0x554faab0, 0x7ffb800a, 0x7ffd0006, 0x7ffe8021,
114  0x55540001, 0x7ffc0007, 0x7ffd8004, 0x00000020,
115  0x55545556, 0x7ffc8004, 0x00000002, 0x0000801f,
116  0x5554aaab, 0x00000001, 0x00008000, 0x0001001e,
117  0x00000000, 0x00007ffe, 0x0000fffe, 0x00080010,
118  0x00005555, 0x0000fffb, 0x0007ffe2, 0x003e7fa3,
119  0x0000aaaa, 0x0007ffd1, 0x003e7f08, 0x003effa2,
120  0x00055550, 0x003e7e8a, 0x003eff06, 0x003f7fa1,
121  0x0029aa81, 0x003efe87, 0x003f7f04, 0x19994ced,
122  0x0029ffd6, 0x003f7e84, 0x1999199c, 0x2aaa2acb,
123  0x002a552b, 0x1998e668, 0x2aa9d558, 0x3ffe0023,
124  0x1110eeef, 0x2aa98002, 0x3ffd8008, 0x3ffe8022,
125  0x1c718e39, 0x3ffd000a, 0x3ffe0006, 0x3fff0021,
126  0x2aa98001, 0x3ffd8007, 0x3ffe8004, 0x3fff8020,
127  0x2aa9d556, 0x3ffe0004, 0x3fff0002, 0x4000001f,
128  0x2aaa2aab, 0x3ffe8001, 0x3fff8000, 0x55545576,
129  0x2aaa8000, 0x3ffefffe, 0x5553aaae, 0x66653354,
130  0x2aaad555, 0x55530003, 0x6664666a, 0x7fbf00a0,
131  0x38e31c72, 0x6663999d, 0x7fbe0102, 0x7fbf809f,
132  0x4443bbbc, 0x7fbd0181, 0x7fbe8100, 0x7fc0009e,
133  0x552a5580, 0x7fbd817e, 0x7fbf00fe, 0x7fc0809d,
134  0x7fbd817d, 0x7fbf00fd, 0x7fc0807f, 0x00000020,
135  0x7fbe017a, 0x7fbf80fb, 0x7ff70012, 0x00000020,
136  0x7fbe8177, 0x7ff60021, 0x7ffd8005, 0x00000020,
137  0x7ff50030, 0x7ffc8007, 0x7ffe0004, 0x00000020,
138  0x7ffb8009, 0x7ffd0005, 0x7ffe8003, 0x00000020,
139  0x7ffc0006, 0x7ffd8003, 0x00000002, 0x00000020,
140  0x7ffc8003, 0x00000001, 0x00008001, 0x00000020,
141  0x00000000, 0x00007fff, 0x00010000, 0x00000020,
142  0x00007ffd, 0x0000fffd, 0x0007fff2, 0x00000020,
143  0x0000fffa, 0x0007ffe1, 0x003e7f85, 0x00000020,
144  0x0007ffd0, 0x003e7f07, 0x003eff84, 0x00000020,
145  0x003e7e89, 0x003eff05, 0x003f7f83, 0x00000020,
146  0x003efe86, 0x003f7f03, 0x19994ccf, 0x00000020,
147  0x003f7e83, 0x1999199b, 0x2aaa2aad, 0x00000020,
148  0x1998e667, 0x2aa9d557, 0x3ffe0005, 0x00000020,
149  0x2aa98001, 0x3ffd8007, 0x3ffe8004, 0x00000020,
150  0x3ffd0009, 0x3ffe0005, 0x3fff0003, 0x00000020,
151  0x3ffd8006, 0x3ffe8003, 0x3fff8002, 0x00000020,
152  0x3ffe0003, 0x3fff0001, 0x40000001, 0x00000020,
153  0x3ffe8000, 0x3fff7fff, 0x55545558, 0x00000020,
154  0x3ffefffd, 0x5553aaad, 0x66653336, 0x00000020,
155  0x55530002, 0x66646669, 0x7fbf0082, 0x00000020,
156  0x6663999c, 0x7fbe0101, 0x7fbf8081, 0x00000020,
157  0x7fbd0180, 0x7fbe80ff, 0x7fc00080, 0x00000020,
158  0x7fbe80fe, 0x7fc0007f, 0x00000002, 0x00010010,
159  0x7fbf00fc, 0x7fc0807e, 0x00000002, 0x0001001d,
160  0x7fbf80fa, 0x7ff70011, 0x00000002, 0x0001001e,
161  0x7ff60020, 0x7ffd8004, 0x00000002, 0x0001001f,
162  0x7ffc8006, 0x7ffe0003, 0x00000002, 0x00000020,
163  0x7ffd0004, 0x7ffe8002, 0x00000002, 0x00000021,
164  0x7ffd8002, 0x00000001, 0x00000002, 0x00000022,
165  0x00000000, 0x00008000, 0x00000002, 0x00000030,
166  0x00007ffe, 0x0000ffff, 0x00000002, 0x0000009d,
167  0x0000fffc, 0x0007fff1, 0x00000002, 0x0000009e,
168  0x0007ffe0, 0x003e7f84, 0x00000002, 0x0000009f,
169  0x003e7f06, 0x003eff83, 0x00000002, 0x00003353,
170  0x003eff04, 0x003f7f82, 0x00000002, 0x00005575,
171  0x003f7f02, 0x19994cce, 0x00000002, 0x0000801d,
172  0x1999199a, 0x2aaa2aac, 0x00000002, 0x0000801e,
173  0x2aa9d556, 0x3ffe0004, 0x00000002, 0x0000801f,
174  0x3ffd8006, 0x3ffe8003, 0x00000002, 0x00008020,
175  0x3ffe0004, 0x3fff0002, 0x00000002, 0x00008021,
176  0x3ffe8002, 0x3fff8001, 0x00000002, 0x0000aaca,
177  0x3fff0000, 0x40000000, 0x00000002, 0x0000ccec,
178  0x3fff7ffe, 0x55545557, 0x00000002, 0x0000ffa0,
179  0x5553aaac, 0x66653335, 0x00000002, 0x0000ffa1,
180  0x66646668, 0x7fbf0081, 0x00000002, 0x0000ffa2,
181  0x7fbe0100, 0x7fbf8080, 0x00000002, 0x0000ffa3,
182  0x7fbf807f, 0x00000001, 0x0000ff85, 0x00020000,
183  0x7fc0007e, 0x00000001, 0x0000fff2, 0x0002001a,
184  0x7fc0807d, 0x00000001, 0x0000ffff, 0x0002001c,
185  0x7ff70010, 0x00000001, 0x00010000, 0x0002001e,
186  0x7ffd8003, 0x00000001, 0x00010001, 0x00000020,
187  0x7ffe0002, 0x00000001, 0x00000002, 0x00000022,
188  0x7ffe8001, 0x00000001, 0x00000003, 0x00000024,
189  0x00000000, 0x00000001, 0x00000004, 0x00000040,
190  0x00007fff, 0x00000001, 0x00000012, 0x0000011a,
191  0x0000fffe, 0x00000001, 0x0000007f, 0x0000011c,
192  0x0007fff0, 0x00000001, 0x00000080, 0x0000011e,
193  0x003e7f83, 0x00000001, 0x00000081, 0x00006686,
194  0x003eff82, 0x00000001, 0x00003335, 0x0000aaca,
195  0x003f7f81, 0x00000001, 0x00005557, 0x0001001a,
196  0x19994ccd, 0x00000001, 0x00007fff, 0x0001001c,
197  0x2aaa2aab, 0x00000001, 0x00008000, 0x0001001e,
198  0x3ffe0003, 0x00000001, 0x00008001, 0x00010020,
199  0x3ffe8002, 0x00000001, 0x00008002, 0x00010022,
200  0x3fff0001, 0x00000001, 0x00008003, 0x00015574,
201  0x3fff8000, 0x00000001, 0x0000aaac, 0x000199b8,
202  0x3fffffff, 0x00000001, 0x0000ccce, 0x0001ff20,
203  0x55545556, 0x00000001, 0x0000ff82, 0x0001ff22,
204  0x66653334, 0x00000001, 0x0000ff83, 0x0001ff24,
205  0x7fbf0080, 0x00000001, 0x0000ff84, 0x0001ff26,
206  0x00000000, 0x0000ff83, 0x0001ff08, 0x000fff20,
207  0x00000000, 0x0000ff84, 0x0001ffe2, 0x000ffff0,
208  0x00000000, 0x0000fff1, 0x0001fffc, 0x00100000,
209  0x00000000, 0x0000fffe, 0x0001fffe, 0x00100010,
210  0x00000000, 0x0000ffff, 0x00020000, 0x00000020,
211  0x00000000, 0x00010000, 0x00000002, 0x00000030,
212  0x00000000, 0x00000001, 0x00000004, 0x00000040,
213  0x00000000, 0x00000002, 0x00000006, 0x00000120,
214  0x00000000, 0x00000003, 0x00000022, 0x000007f0,
215  0x00000000, 0x00000011, 0x000000fc, 0x00000800,
216  0x00000000, 0x0000007e, 0x000000fe, 0x00000810,
217  0x00000000, 0x0000007f, 0x00000100, 0x00033350,
218  0x00000000, 0x00000080, 0x00006668, 0x00055570,
219  0x00000000, 0x00003334, 0x0000aaac, 0x0007fff0,
220  0x00000000, 0x00005556, 0x0000fffc, 0x00080000,
221  0x00000000, 0x00007ffe, 0x0000fffe, 0x00080010,
222  0x00000000, 0x00007fff, 0x00010000, 0x00080020,
223  0x00000000, 0x00008000, 0x00010002, 0x00080030,
224  0x00000000, 0x00008001, 0x00010004, 0x000aaac0,
225  0x00000000, 0x00008002, 0x00015556, 0x000ccce0,
226  0x00000000, 0x0000aaab, 0x0001999a, 0x000ff820,
227  0x00000000, 0x0000cccd, 0x0001ff02, 0x000ff830,
228  0x00000000, 0x0000ff81, 0x0001ff04, 0x000ff840,
229  0x00000000, 0x0000ff82, 0x0001ff06, 0x000ff850,
230  0x0000ff81, 0x0001ff05, 0x000ff832, 0x007cf850,
231  0x0000ff82, 0x0001ff07, 0x000fff02, 0x007cfea9,
232  0x0000ff83, 0x0001ffe1, 0x000fffd2, 0x007cff26,
233  0x0000fff0, 0x0001fffb, 0x000fffe2, 0x007cffa3,
234  0x0000fffd, 0x0001fffd, 0x000ffff2, 0x00000020,
235  0x0000fffe, 0x0001ffff, 0x00000002, 0x0000009d,
236  0x0000ffff, 0x00000001, 0x00000012, 0x0000011a,
237  0x00000000, 0x00000003, 0x00000022, 0x000007f0,
238  0x00000001, 0x00000005, 0x00000102, 0x00003d29,
239  0x00000002, 0x00000021, 0x000007d2, 0x00003da6,
240  0x00000010, 0x000000fb, 0x000007e2, 0x00003e23,
241  0x0000007d, 0x000000fd, 0x000007f2, 0x00190007,
242  0x0000007e, 0x000000ff, 0x00033332, 0x0029aaa1,
243  0x0000007f, 0x00006667, 0x00055552, 0x003e7ea9,
244  0x00003333, 0x0000aaab, 0x0007ffd2, 0x003e7f26,
245  0x00005555, 0x0000fffb, 0x0007ffe2, 0x003e7fa3,
246  0x00007ffd, 0x0000fffd, 0x0007fff2, 0x003e8020,
247  0x00007ffe, 0x0000ffff, 0x00080002, 0x003e809d,
248  0x00007fff, 0x00010001, 0x00080012, 0x00535522,
249  0x00008000, 0x00010003, 0x000aaaa2, 0x0063ffbc,
250  0x00008001, 0x00015555, 0x000cccc2, 0x007cc1a0,
251  0x0000aaaa, 0x00019999, 0x000ff802, 0x007cc21d,
252  0x0000cccc, 0x0001ff01, 0x000ff812, 0x007cc29a,
253  0x0000ff80, 0x0001ff03, 0x000ff822, 0x007cc317,
254  0x0001ff02, 0x000ff821, 0x007cc2f9, 0x007df840,
255  0x0001ff04, 0x000ff831, 0x007cf832, 0x007dfea6,
256  0x0001ff06, 0x000fff01, 0x007cfe8b, 0x007dff24,
257  0x0001ffe0, 0x000fffd1, 0x007cff08, 0x007dffa2,
258  0x0001fffa, 0x000fffe1, 0x007cff85, 0x00000020,
259  0x0001fffc, 0x000ffff1, 0x00000002, 0x0000009e,
260  0x0001fffe, 0x00000001, 0x0000007f, 0x0000011c,
261  0x00000000, 0x00000011, 0x000000fc, 0x00000800,
262  0x00000002, 0x00000021, 0x000007d2, 0x00003da6,
263  0x00000004, 0x00000101, 0x00003d0b, 0x00003e24,
264  0x00000020, 0x000007d1, 0x00003d88, 0x00003ea2,
265  0x000000fa, 0x000007e1, 0x00003e05, 0x0019333a,
266  0x000000fc, 0x000007f1, 0x0018ffe9, 0x0029fff6,
267  0x000000fe, 0x00033331, 0x0029aa83, 0x003efea6,
268  0x00006666, 0x00055551, 0x003e7e8b, 0x003eff24,
269  0x0000aaaa, 0x0007ffd1, 0x003e7f08, 0x003effa2,
270  0x0000fffa, 0x0007ffe1, 0x003e7f85, 0x003f0020,
271  0x0000fffc, 0x0007fff1, 0x003e8002, 0x003f009e,
272  0x0000fffe, 0x00080001, 0x003e807f, 0x0053ffcc,
273  0x00010000, 0x00080011, 0x00535504, 0x0064cc88,
274  0x00010002, 0x000aaaa1, 0x0063ff9e, 0x007dc120,
275  0x00015554, 0x000cccc1, 0x007cc182, 0x007dc19e,
276  0x00019998, 0x000ff801, 0x007cc1ff, 0x007dc21c,
277  0x0001ff00, 0x000ff811, 0x007cc27c, 0x007dc29a,
278  0x000ff810, 0x007cc27b, 0x007dc27c, 0x007ef830,
279  0x000ff820, 0x007cc2f8, 0x007df822, 0x007efea3,
280  0x000ff830, 0x007cf831, 0x007dfe88, 0x007eff22,
281  0x000fff00, 0x007cfe8a, 0x007dff06, 0x007effa1,
282  0x000fffd0, 0x007cff07, 0x007dff84, 0x00000020,
283  0x000fffe0, 0x007cff84, 0x00000002, 0x0000009f,
284  0x000ffff0, 0x00000001, 0x00000080, 0x0000011e,
285  0x00000000, 0x0000007e, 0x000000fe, 0x00000810,
286  0x00000010, 0x000000fb, 0x000007e2, 0x00003e23,
287  0x00000020, 0x000007d1, 0x00003d88, 0x00003ea2,
288  0x00000100, 0x00003d0a, 0x00003e06, 0x00003f21,
289  0x000007d0, 0x00003d87, 0x00003e84, 0x0019666d,
290  0x000007e0, 0x00003e04, 0x0019331c, 0x002a554b,
291  0x000007f0, 0x0018ffe8, 0x0029ffd8, 0x003f7ea3,
292  0x00033330, 0x0029aa82, 0x003efe88, 0x003f7f22,
293  0x00055550, 0x003e7e8a, 0x003eff06, 0x003f7fa1,
294  0x0007ffd0, 0x003e7f07, 0x003eff84, 0x003f8020,
295  0x0007ffe0, 0x003e7f84, 0x003f0002, 0x003f809f,
296  0x0007fff0, 0x003e8001, 0x003f0080, 0x0054aa76,
297  0x00080000, 0x003e807e, 0x0053ffae, 0x00659954,
298  0x00080010, 0x00535503, 0x0064cc6a, 0x007ec0a0,
299  0x000aaaa0, 0x0063ff9d, 0x007dc102, 0x007ec11f,
300  0x000cccc0, 0x007cc181, 0x007dc180, 0x007ec19e,
301  0x000ff800, 0x007cc1fe, 0x007dc1fe, 0x007ec21d,
302  0x007cc1fd, 0x007dc1fd, 0x007ec1ff, 0x332fccf0,
303  0x007cc27a, 0x007dc27b, 0x007ef812, 0x33326687,
304  0x007cc2f7, 0x007df821, 0x007efe85, 0x333299ba,
305  0x007cf830, 0x007dfe87, 0x007eff04, 0x3332cced,
306  0x007cfe89, 0x007dff05, 0x007eff83, 0x00000020,
307  0x007cff06, 0x007dff83, 0x00000002, 0x00003353,
308  0x007cff83, 0x00000001, 0x00000081, 0x00006686,
309  0x00000000, 0x0000007f, 0x00000100, 0x00033350,
310  0x0000007d, 0x000000fd, 0x000007f2, 0x00190007,
311  0x000000fa, 0x000007e1, 0x00003e05, 0x0019333a,
312  0x000007d0, 0x00003d87, 0x00003e84, 0x0019666d,
313  0x00003d09, 0x00003e05, 0x00003f03, 0x0a3d5c49,
314  0x00003d86, 0x00003e83, 0x0019664f, 0x1110ef0f,
315  0x00003e03, 0x0019331b, 0x002a552d, 0x1998e687,
316  0x0018ffe7, 0x0029ffd7, 0x003f7e85, 0x199919ba,
317  0x0029aa81, 0x003efe87, 0x003f7f04, 0x19994ced,
318  0x003e7e89, 0x003eff05, 0x003f7f83, 0x19998020,
319  0x003e7f06, 0x003eff83, 0x003f8002, 0x1999b353,
320  0x003e7f83, 0x003f0001, 0x003f8081, 0x2221ddfe,
321  0x003e8000, 0x003f007f, 0x0054aa58, 0x28f570c4,
322  0x003e807d, 0x0053ffad, 0x00659936, 0x331966a0,
323  0x00535502, 0x0064cc69, 0x007ec082, 0x331999d3,
324  0x0063ff9c, 0x007dc101, 0x007ec101, 0x3319cd06,
325  0x007cc180, 0x007dc17f, 0x007ec180, 0x331a0039,
326  0x007dc17e, 0x007ec17f, 0x331a001b, 0x554faad0,
327  0x007dc1fc, 0x007ec1fe, 0x332fccd2, 0x55540021,
328  0x007dc27a, 0x007ef811, 0x33326669, 0x55545576,
329  0x007df820, 0x007efe84, 0x3332999c, 0x5554aacb,
330  0x007dfe86, 0x007eff03, 0x3332cccf, 0x00000020,
331  0x007dff04, 0x007eff82, 0x00000002, 0x00005575,
332  0x007dff82, 0x00000001, 0x00003335, 0x0000aaca,
333  0x00000000, 0x00000080, 0x00006668, 0x00055570,
334  0x0000007e, 0x000000ff, 0x00033332, 0x0029aaa1,
335  0x000000fc, 0x000007f1, 0x0018ffe9, 0x0029fff6,
336  0x000007e0, 0x00003e04, 0x0019331c, 0x002a554b,
337  0x00003d86, 0x00003e83, 0x0019664f, 0x1110ef0f,
338  0x00003e04, 0x00003f02, 0x0a3d5c2b, 0x1c718e59,
339  0x00003e82, 0x0019664e, 0x1110eef1, 0x2aa98021,
340  0x0019331a, 0x002a552c, 0x1998e669, 0x2aa9d576,
341  0x0029ffd6, 0x003f7e84, 0x1999199c, 0x2aaa2acb,
342  0x003efe86, 0x003f7f03, 0x19994ccf, 0x2aaa8020,
343  0x003eff04, 0x003f7f82, 0x19998002, 0x2aaad575,
344  0x003eff82, 0x003f8001, 0x1999b335, 0x38e31c92,
345  0x003f0000, 0x003f8080, 0x2221dde0, 0x4443bbdc,
346  0x003f007e, 0x0054aa57, 0x28f570a6, 0x552a55a0,
347  0x0053ffac, 0x00659935, 0x33196682, 0x552aaaf5,
348  0x0064cc68, 0x007ec081, 0x331999b5, 0x552b004a,
349  0x007dc100, 0x007ec100, 0x3319cce8, 0x552b559f,
350  0x007ec0ff, 0x3319cce7, 0x552b5581, 0x7ff50050,
351  0x007ec17e, 0x331a001a, 0x554faab2, 0x7ffb8029,
352  0x007ec1fd, 0x332fccd1, 0x55540003, 0x7ffc0026,
353  0x007ef810, 0x33326668, 0x55545558, 0x7ffc8023,
354  0x007efe83, 0x3332999b, 0x5554aaad, 0x00000020,
355  0x007eff02, 0x3332ccce, 0x00000002, 0x0000801d,
356  0x007eff81, 0x00000001, 0x00005557, 0x0001001a,
357  0x00000000, 0x00003334, 0x0000aaac, 0x0007fff0,
358  0x0000007f, 0x00006667, 0x00055552, 0x003e7ea9,
359  0x000000fe, 0x00033331, 0x0029aa83, 0x003efea6,
360  0x000007f0, 0x0018ffe8, 0x0029ffd8, 0x003f7ea3,
361  0x00003e03, 0x0019331b, 0x002a552d, 0x1998e687,
362  0x00003e82, 0x0019664e, 0x1110eef1, 0x2aa98021,
363  0x00003f01, 0x0a3d5c2a, 0x1c718e3b, 0x3ffd0029,
364  0x0019664d, 0x1110eef0, 0x2aa98003, 0x3ffd8026,
365  0x002a552b, 0x1998e668, 0x2aa9d558, 0x3ffe0023,
366  0x003f7e83, 0x1999199b, 0x2aaa2aad, 0x3ffe8020,
367  0x003f7f02, 0x19994cce, 0x2aaa8002, 0x3fff001d,
368  0x003f7f81, 0x19998001, 0x2aaad557, 0x55530022,
369  0x003f8000, 0x1999b334, 0x38e31c74, 0x666399bc,
370  0x003f807f, 0x2221dddf, 0x4443bbbe, 0x7fbd01a0,
371  0x0054aa56, 0x28f570a5, 0x552a5582, 0x7fbd819d,
372  0x00659934, 0x33196681, 0x552aaad7, 0x7fbe019a,
373  0x007ec080, 0x331999b4, 0x552b002c, 0x7fbe8197,
374  0x331999b3, 0x552b002b, 0x7fbe8179, 0x7ff60040,
375  0x3319cce6, 0x552b5580, 0x7ff50032, 0x7ffc8026,
376  0x331a0019, 0x554faab1, 0x7ffb800b, 0x7ffd0024,
377  0x332fccd0, 0x55540002, 0x7ffc0008, 0x7ffd8022,
378  0x33326667, 0x55545557, 0x7ffc8005, 0x00000020,
379  0x3332999a, 0x5554aaac, 0x00000002, 0x0000801e,
380  0x3332cccd, 0x00000001, 0x00007fff, 0x0001001c,
381  0x00000000, 0x00005556, 0x0000fffc, 0x00080000,
382  0x00003333, 0x0000aaab, 0x0007ffd2, 0x003e7f26,
383  0x00006666, 0x00055551, 0x003e7e8b, 0x003eff24,
384  0x00033330, 0x0029aa82, 0x003efe88, 0x003f7f22,
385  0x0018ffe7, 0x0029ffd7, 0x003f7e85, 0x199919ba,
386  0x0019331a, 0x002a552c, 0x1998e669, 0x2aa9d576,
387  0x0019664d, 0x1110eef0, 0x2aa98003, 0x3ffd8026,
388  0x0a3d5c29, 0x1c718e3a, 0x3ffd000b, 0x3ffe0024,
389  0x1110eeef, 0x2aa98002, 0x3ffd8008, 0x3ffe8022,
390  0x1998e667, 0x2aa9d557, 0x3ffe0005, 0x3fff0020,
391  0x1999199a, 0x2aaa2aac, 0x3ffe8002, 0x3fff801e,
392  0x19994ccd, 0x2aaa8001, 0x3ffeffff, 0x5553aacc,
393  0x19998000, 0x2aaad556, 0x55530004, 0x66646688,
394  0x1999b333, 0x38e31c73, 0x6663999e, 0x7fbe0120,
395  0x2221ddde, 0x4443bbbd, 0x7fbd0182, 0x7fbe811e,
396  0x28f570a4, 0x552a5581, 0x7fbd817f, 0x7fbf011c,
397  0x33196680, 0x552aaad6, 0x7fbe017c, 0x7fbf811a,
398  0x552aaad5, 0x7fbe017b, 0x7fbf80fc, 0x7ff70030,
399  0x552b002a, 0x7fbe8178, 0x7ff60022, 0x7ffd8023,
400  0x552b557f, 0x7ff50031, 0x7ffc8008, 0x7ffe0022,
401  0x554faab0, 0x7ffb800a, 0x7ffd0006, 0x7ffe8021,
402  0x55540001, 0x7ffc0007, 0x7ffd8004, 0x00000020,
403  0x55545556, 0x7ffc8004, 0x00000002, 0x0000801f,
404  0x5554aaab, 0x00000001, 0x00008000, 0x0001001e,
405  0x00000000, 0x00007ffe, 0x0000fffe, 0x00080010,
406  0x00005555, 0x0000fffb, 0x0007ffe2, 0x003e7fa3,
407  0x0000aaaa, 0x0007ffd1, 0x003e7f08, 0x003effa2,
408  0x00055550, 0x003e7e8a, 0x003eff06, 0x003f7fa1,
409  0x0029aa81, 0x003efe87, 0x003f7f04, 0x19994ced,
410  0x0029ffd6, 0x003f7e84, 0x1999199c, 0x2aaa2acb,
411  0x002a552b, 0x1998e668, 0x2aa9d558, 0x3ffe0023,
412  0x1110eeef, 0x2aa98002, 0x3ffd8008, 0x3ffe8022,
413  0x1c718e39, 0x3ffd000a, 0x3ffe0006, 0x3fff0021,
414  0x2aa98001, 0x3ffd8007, 0x3ffe8004, 0x3fff8020,
415  0x2aa9d556, 0x3ffe0004, 0x3fff0002, 0x4000001f,
416  0x2aaa2aab, 0x3ffe8001, 0x3fff8000, 0x55545576,
417  0x2aaa8000, 0x3ffefffe, 0x5553aaae, 0x66653354,
418  0x2aaad555, 0x55530003, 0x6664666a, 0x7fbf00a0,
419  0x38e31c72, 0x6663999d, 0x7fbe0102, 0x7fbf809f,
420  0x4443bbbc, 0x7fbd0181, 0x7fbe8100, 0x7fc0009e,
421  0x552a5580, 0x7fbd817e, 0x7fbf00fe, 0x7fc0809d,
422  0x7fbd817d, 0x7fbf00fd, 0x7fc0807f, 0x7ff80020,
423  0x7fbe017a, 0x7fbf80fb, 0x7ff70012, 0x7ffe8020,
424  0x7fbe8177, 0x7ff60021, 0x7ffd8005, 0x7fff0020,
425  0x7ff50030, 0x7ffc8007, 0x7ffe0004, 0x7fff8020,
426  0x7ffb8009, 0x7ffd0005, 0x7ffe8003, 0x00000020,
427  0x7ffc0006, 0x7ffd8003, 0x00000002, 0x00008020,
428  0x7ffc8003, 0x00000001, 0x00008001, 0x00010020,
429  0x00000000, 0x00007fff, 0x00010000, 0x00080020,
430  0x00007ffd, 0x0000fffd, 0x0007fff2, 0x003e8020,
431  0x0000fffa, 0x0007ffe1, 0x003e7f85, 0x003f0020,
432  0x0007ffd0, 0x003e7f07, 0x003eff84, 0x003f8020,
433  0x003e7e89, 0x003eff05, 0x003f7f83, 0x19998020,
434  0x003efe86, 0x003f7f03, 0x19994ccf, 0x2aaa8020,
435  0x003f7e83, 0x1999199b, 0x2aaa2aad, 0x3ffe8020,
436  0x1998e667, 0x2aa9d557, 0x3ffe0005, 0x3fff0020,
437  0x2aa98001, 0x3ffd8007, 0x3ffe8004, 0x3fff8020,
438  0x3ffd0009, 0x3ffe0005, 0x3fff0003, 0x40000020,
439  0x3ffd8006, 0x3ffe8003, 0x3fff8002, 0x40008020,
440  0x3ffe0003, 0x3fff0001, 0x40000001, 0x55550020,
441  0x3ffe8000, 0x3fff7fff, 0x55545558, 0x66660020,
442  0x3ffefffd, 0x5553aaad, 0x66653336, 0x7fc00020,
443  0x55530002, 0x66646669, 0x7fbf0082, 0x7fc08020,
444  0x6663999c, 0x7fbe0101, 0x7fbf8081, 0x7fc10020,
445  0x7fbd0180, 0x7fbe80ff, 0x7fc00080, 0x7fc18020,
446  0x7fbe80fe, 0x7fc0007f, 0x7fc18002, 0x7ff90010,
447  0x7fbf00fc, 0x7fc0807e, 0x7ff80002, 0x7fff801d,
448  0x7fbf80fa, 0x7ff70011, 0x7ffe8002, 0x8000001e,
449  0x7ff60020, 0x7ffd8004, 0x7fff0002, 0x8000801f,
450  0x7ffc8006, 0x7ffe0003, 0x7fff8002, 0x00000020,
451  0x7ffd0004, 0x7ffe8002, 0x00000002, 0x00008021,
452  0x7ffd8002, 0x00000001, 0x00008002, 0x00010022,
453  0x00000000, 0x00008000, 0x00010002, 0x00080030,
454  0x00007ffe, 0x0000ffff, 0x00080002, 0x003e809d,
455  0x0000fffc, 0x0007fff1, 0x003e8002, 0x003f009e,
456  0x0007ffe0, 0x003e7f84, 0x003f0002, 0x003f809f,
457  0x003e7f06, 0x003eff83, 0x003f8002, 0x1999b353,
458  0x003eff04, 0x003f7f82, 0x19998002, 0x2aaad575,
459  0x003f7f02, 0x19994cce, 0x2aaa8002, 0x3fff001d,
460  0x1999199a, 0x2aaa2aac, 0x3ffe8002, 0x3fff801e,
461  0x2aa9d556, 0x3ffe0004, 0x3fff0002, 0x4000001f,
462  0x3ffd8006, 0x3ffe8003, 0x3fff8002, 0x40008020,
463  0x3ffe0004, 0x3fff0002, 0x40000002, 0x40010021,
464  0x3ffe8002, 0x3fff8001, 0x40008002, 0x5555aaca,
465  0x3fff0000, 0x40000000, 0x55550002, 0x6666ccec,
466  0x3fff7ffe, 0x55545557, 0x66660002, 0x7fc0ffa0,
467  0x5553aaac, 0x66653335, 0x7fc00002, 0x7fc17fa1,
468  0x66646668, 0x7fbf0081, 0x7fc08002, 0x7fc1ffa2,
469  0x7fbe0100, 0x7fbf8080, 0x7fc10002, 0x7fc27fa3,
470  0x7fbf807f, 0x7fc10001, 0x7fc27f85, 0xaa9f5580,
471  0x7fc0007e, 0x7fc18001, 0x7ff8fff2, 0xaaa80022,
472  0x7fc0807d, 0x7ff80001, 0x7fff7fff, 0xaaa8aacc,
473  0x7ff70010, 0x7ffe8001, 0x80000000, 0xaaa95576,
474  0x7ffd8003, 0x7fff0001, 0x80008001, 0x00000020,
475  0x7ffe0002, 0x7fff8001, 0x00000002, 0x0000aaca,
476  0x7ffe8001, 0x00000001, 0x00008003, 0x00015574,
477  0x00000000, 0x00008001, 0x00010004, 0x000aaac0,
478  0x00007fff, 0x00010001, 0x00080012, 0x00535522,
479  0x0000fffe, 0x00080001, 0x003e807f, 0x0053ffcc,
480  0x0007fff0, 0x003e8001, 0x003f0080, 0x0054aa76,
481  0x003e7f83, 0x003f0001, 0x003f8081, 0x2221ddfe,
482  0x003eff82, 0x003f8001, 0x1999b335, 0x38e31c92,
483  0x003f7f81, 0x19998001, 0x2aaad557, 0x55530022,
484  0x19994ccd, 0x2aaa8001, 0x3ffeffff, 0x5553aacc,
485  0x2aaa2aab, 0x3ffe8001, 0x3fff8000, 0x55545576,
486  0x3ffe0003, 0x3fff0001, 0x40000001, 0x55550020,
487  0x3ffe8002, 0x3fff8001, 0x40008002, 0x5555aaca,
488  0x3fff0001, 0x40000001, 0x40010003, 0x71c63904,
489  0x3fff8000, 0x40008001, 0x5555aaac, 0x88877798,
490  0x3fffffff, 0x55550001, 0x6666ccce, 0xaa54ab20,
491  0x55545556, 0x66660001, 0x7fc0ff82, 0xaa5555ca,
492  0x66653334, 0x7fc00001, 0x7fc17f83, 0xaa560074,
493  0x7fbf0080, 0x7fc08001, 0x7fc1ff84, 0xaa56ab1e,
494  0x7fc08000, 0x7fc1ff83, 0xaa56ab00, 0xccbf3360,
495  0x7fc10000, 0x7fc27f84, 0xaa9f5562, 0xccc999bc,
496  0x7fc18000, 0x7ff8fff1, 0xaaa80004, 0xccca6688,
497  0x7ff80000, 0x7fff7ffe, 0xaaa8aaae, 0xcccb3354,
498  0x7ffe8000, 0x7fffffff, 0xaaa95558, 0x00000020,
499  0x7fff0000, 0x80008000, 0x00000002, 0x0000ccec,
500  0x7fff8000, 0x00000001, 0x0000aaac, 0x000199b8,
501  0x00000000, 0x00008002, 0x00015556, 0x000ccce0,
502  0x00008000, 0x00010003, 0x000aaaa2, 0x0063ffbc,
503  0x00010000, 0x00080011, 0x00535504, 0x0064cc88,
504  0x00080000, 0x003e807e, 0x0053ffae, 0x00659954,
505  0x003e8000, 0x003f007f, 0x0054aa58, 0x28f570c4,
506  0x003f0000, 0x003f8080, 0x2221dde0, 0x4443bbdc,
507  0x003f8000, 0x1999b334, 0x38e31c74, 0x666399bc,
508  0x19998000, 0x2aaad556, 0x55530004, 0x66646688,
509  0x2aaa8000, 0x3ffefffe, 0x5553aaae, 0x66653354,
510  0x3ffe8000, 0x3fff7fff, 0x55545558, 0x66660020,
511  0x3fff0000, 0x40000000, 0x55550002, 0x6666ccec,
512  0x3fff8000, 0x40008001, 0x5555aaac, 0x88877798,
513  0x40000000, 0x40010002, 0x71c638e6, 0xa3d5c2b0,
514  0x40008000, 0x5555aaab, 0x8887777a, 0xcc659a20,
515  0x55550000, 0x6666cccd, 0xaa54ab02, 0xcc6666ec,
516  0x66660000, 0x7fc0ff81, 0xaa5555ac, 0xcc6733b8,
517  0x7fc00000, 0x7fc17f82, 0xaa560056, 0xcc680084,
518  0x7fc17f81, 0xaa560055, 0xcc680066, 0xff700820,
519  0x7fc1ff82, 0xaa56aaff, 0xccbf3342, 0xff7d01a0,
520  0x7fc27f83, 0xaa9f5561, 0xccc9999e, 0xff7e0120,
521  0x7ff8fff0, 0xaaa80003, 0xccca666a, 0xff7f00a0,
522  0x7fff7ffd, 0xaaa8aaad, 0xcccb3336, 0x00000020,
523  0x7ffffffe, 0xaaa95557, 0x00000002, 0x0000ffa0,
524  0x80007fff, 0x00000001, 0x0000ccce, 0x0001ff20,
525  0x00000000, 0x0000aaab, 0x0001999a, 0x000ff820,
526  0x00008001, 0x00015555, 0x000cccc2, 0x007cc1a0,
527  0x00010002, 0x000aaaa1, 0x0063ff9e, 0x007dc120,
528  0x00080010, 0x00535503, 0x0064cc6a, 0x007ec0a0,
529  0x003e807d, 0x0053ffad, 0x00659936, 0x331966a0,
530  0x003f007e, 0x0054aa57, 0x28f570a6, 0x552a55a0,
531  0x003f807f, 0x2221dddf, 0x4443bbbe, 0x7fbd01a0,
532  0x1999b333, 0x38e31c73, 0x6663999e, 0x7fbe0120,
533  0x2aaad555, 0x55530003, 0x6664666a, 0x7fbf00a0,
534  0x3ffefffd, 0x5553aaad, 0x66653336, 0x7fc00020,
535  0x3fff7ffe, 0x55545557, 0x66660002, 0x7fc0ffa0,
536  0x3fffffff, 0x55550001, 0x6666ccce, 0xaa54ab20,
537  0x40008000, 0x5555aaab, 0x8887777a, 0xcc659a20,
538  0x40010001, 0x71c638e5, 0xa3d5c292, 0xff004020,
539  0x5555aaaa, 0x88877779, 0xcc659a02, 0xff013fa0,
540  0x6666cccc, 0xaa54ab01, 0xcc6666ce, 0xff023f20,
541  0x7fc0ff80, 0xaa5555ab, 0xcc67339a, 0xff033ea0,
542  0xaa5555aa, 0xcc673399, 0xff033e82, 0xff710810,
543  0xaa560054, 0xcc680065, 0xff700802, 0xff7e019d,
544  0xaa56aafe, 0xccbf3341, 0xff7d0182, 0xff7f011e,
545  0xaa9f5560, 0xccc9999d, 0xff7e0102, 0xff80009f,
546  0xaaa80002, 0xccca6669, 0xff7f0082, 0x00000020,
547  0xaaa8aaac, 0xcccb3335, 0x00000002, 0x0000ffa1,
548  0xaaa95556, 0x00000001, 0x0000ff82, 0x0001ff22,
549  0x00000000, 0x0000cccd, 0x0001ff02, 0x000ff830,
550  0x0000aaaa, 0x00019999, 0x000ff802, 0x007cc21d,
551  0x00015554, 0x000cccc1, 0x007cc182, 0x007dc19e,
552  0x000aaaa0, 0x0063ff9d, 0x007dc102, 0x007ec11f,
553  0x00535502, 0x0064cc69, 0x007ec082, 0x331999d3,
554  0x0053ffac, 0x00659935, 0x33196682, 0x552aaaf5,
555  0x0054aa56, 0x28f570a5, 0x552a5582, 0x7fbd819d,
556  0x2221ddde, 0x4443bbbd, 0x7fbd0182, 0x7fbe811e,
557  0x38e31c72, 0x6663999d, 0x7fbe0102, 0x7fbf809f,
558  0x55530002, 0x66646669, 0x7fbf0082, 0x7fc08020,
559  0x5553aaac, 0x66653335, 0x7fc00002, 0x7fc17fa1,
560  0x55545556, 0x66660001, 0x7fc0ff82, 0xaa5555ca,
561  0x55550000, 0x6666cccd, 0xaa54ab02, 0xcc6666ec,
562  0x5555aaaa, 0x88877779, 0xcc659a02, 0xff013fa0,
563  0x71c638e4, 0xa3d5c291, 0xff004002, 0xff023f21,
564  0x88877778, 0xcc659a01, 0xff013f82, 0xff033ea2,
565  0xaa54ab00, 0xcc6666cd, 0xff023f02, 0xff043e23,
566  0xcc6666cc, 0xff023f01, 0xff043e05, 0xff720800,
567  0xcc673398, 0xff033e81, 0xff7107f2, 0xff7f019a,
568  0xcc680064, 0xff700801, 0xff7e017f, 0xff80011c,
569  0xccbf3340, 0xff7d0181, 0xff7f0100, 0xff81009e,
570  0xccc9999c, 0xff7e0101, 0xff800081, 0x00000020,
571  0xccca6668, 0xff7f0081, 0x00000002, 0x0000ffa2,
572  0xcccb3334, 0x00000001, 0x0000ff83, 0x0001ff24,
573  0x00000000, 0x0000ff81, 0x0001ff04, 0x000ff840,
574  0x0000cccc, 0x0001ff01, 0x000ff812, 0x007cc29a,
575  0x00019998, 0x000ff801, 0x007cc1ff, 0x007dc21c,
576  0x000cccc0, 0x007cc181, 0x007dc180, 0x007ec19e,
577  0x0063ff9c, 0x007dc101, 0x007ec101, 0x3319cd06,
578  0x0064cc68, 0x007ec081, 0x331999b5, 0x552b004a,
579  0x00659934, 0x33196681, 0x552aaad7, 0x7fbe019a,
580  0x28f570a4, 0x552a5581, 0x7fbd817f, 0x7fbf011c,
581  0x4443bbbc, 0x7fbd0181, 0x7fbe8100, 0x7fc0009e,
582  0x6663999c, 0x7fbe0101, 0x7fbf8081, 0x7fc10020,
583  0x66646668, 0x7fbf0081, 0x7fc08002, 0x7fc1ffa2,
584  0x66653334, 0x7fc00001, 0x7fc17f83, 0xaa560074,
585  0x66660000, 0x7fc0ff81, 0xaa5555ac, 0xcc6733b8,
586  0x6666cccc, 0xaa54ab01, 0xcc6666ce, 0xff023f20,
587  0x88877778, 0xcc659a01, 0xff013f82, 0xff033ea2,
588  0xa3d5c290, 0xff004001, 0xff023f03, 0xff043e24,
589  0xcc659a00, 0xff013f81, 0xff033e84, 0xff053da6,
590  0xff013f80, 0xff033e83, 0xff053d88, 0xff7307f0,
591  0xff023f00, 0xff043e04, 0xff7207e2, 0xff800197,
592  0xff033e80, 0xff7107f1, 0xff7f017c, 0xff81011a,
593  0xff700800, 0xff7e017e, 0xff8000fe, 0xff82009d,
594  0xff7d0180, 0xff7f00ff, 0xff810080, 0x00000020,
595  0xff7e0100, 0xff800080, 0x00000002, 0x0000ffa3,
596  0xff7f0080, 0x00000001, 0x0000ff84, 0x0001ff26,
597  0x00000000, 0x0000ff82, 0x0001ff06, 0x000ff850,
598  0x0000ff80, 0x0001ff03, 0x000ff822, 0x007cc317,
599  0x0001ff00, 0x000ff811, 0x007cc27c, 0x007dc29a,
600  0x000ff800, 0x007cc1fe, 0x007dc1fe, 0x007ec21d,
601  0x007cc180, 0x007dc17f, 0x007ec180, 0x331a0039,
602  0x007dc100, 0x007ec100, 0x3319cce8, 0x552b559f,
603  0x007ec080, 0x331999b4, 0x552b002c, 0x7fbe8197,
604  0x33196680, 0x552aaad6, 0x7fbe017c, 0x7fbf811a,
605  0x552a5580, 0x7fbd817e, 0x7fbf00fe, 0x7fc0809d,
606  0x7fbd0180, 0x7fbe80ff, 0x7fc00080, 0x7fc18020,
607  0x7fbe0100, 0x7fbf8080, 0x7fc10002, 0x7fc27fa3,
608  0x7fbf0080, 0x7fc08001, 0x7fc1ff84, 0xaa56ab1e,
609  0x7fc00000, 0x7fc17f82, 0xaa560056, 0xcc680084,
610  0x7fc0ff80, 0xaa5555ab, 0xcc67339a, 0xff033ea0,
611  0xaa54ab00, 0xcc6666cd, 0xff023f02, 0xff043e23,
612  0xcc659a00, 0xff013f81, 0xff033e84, 0xff053da6,
613  0xff004000, 0xff023f02, 0xff043e06, 0xff063d29,
614};
615const unsigned kExpectedCount_NEON_umlal_4S = 576;
616
617#endif  // VIXL_SIM_UMLAL_4S_TRACE_AARCH64_H_
618