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