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_SADDW_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_SADDW_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_saddw_8H[] = {
38  0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80, 0xff82,
39  0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0xff83,
40  0x00fb, 0x00fd, 0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0xffaa,
41  0x00fc, 0x00fe, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0xffcc,
42  0x00fd, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0xfff8,
43  0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0xfffd,
44  0xffff, 0x0001, 0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0xfffe,
45  0x0000, 0x0002, 0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0xffff,
46  0x0001, 0x0029, 0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x0000,
47  0x0028, 0x004b, 0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x0001,
48  0x004a, 0x0077, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x0002,
49  0x0076, 0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001, 0x0008,
50  0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033,
51  0x007c, 0x007e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x0055,
52  0x007d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x007d,
53  0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x007e,
54  0x007f, 0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x007f,
55  0x0080, 0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0xff80,
56  0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f, 0xff81,
57  0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f, 0xff81, 0xff83,
58  0x00d4, 0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80, 0xff82, 0xff84,
59  0x00fc, 0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0xff83, 0xffab,
60  0x00fd, 0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0xffaa, 0xffcd,
61  0x00fe, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0xffcc, 0xfff9,
62  0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0xfff8, 0xfffe,
63  0x0000, 0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0xfffd, 0xffff,
64  0x0001, 0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0xfffe, 0x0000,
65  0x0002, 0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0xffff, 0x0001,
66  0x0029, 0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x0000, 0x0002,
67  0x004b, 0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x0001, 0x0003,
68  0x0077, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x0002, 0x0009,
69  0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034,
70  0x007d, 0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056,
71  0x007e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x0055, 0x007e,
72  0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x007d, 0x007f,
73  0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x007e, 0x0080,
74  0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x007f, 0xff81,
75  0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0xff80, 0xff82,
76  0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0xff80, 0xff82, 0xff84,
77  0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f, 0xff81, 0xff83, 0xff85,
78  0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80, 0xff82, 0xff84, 0xffac,
79  0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0xff83, 0xffab, 0xffce,
80  0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0xffaa, 0xffcd, 0xfffa,
81  0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0xffcc, 0xfff9, 0xffff,
82  0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0xfff8, 0xfffe, 0x0000,
83  0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0xfffd, 0xffff, 0x0001,
84  0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0xfffe, 0x0000, 0x0002,
85  0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0xffff, 0x0001, 0x0003,
86  0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x0000, 0x0002, 0x0004,
87  0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x0001, 0x0003, 0x000a,
88  0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035,
89  0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034, 0x0057,
90  0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056, 0x007f,
91  0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x0055, 0x007e, 0x0080,
92  0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x007d, 0x007f, 0x0081,
93  0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x007e, 0x0080, 0xff82,
94  0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x007f, 0xff81, 0xff83,
95  0x5588, 0x8052, 0x807b, 0x807d, 0x007f, 0xff81, 0xff83, 0xff92,
96  0x55aa, 0x807a, 0x807c, 0x807e, 0xff80, 0xff82, 0xff84, 0xff93,
97  0x55d2, 0x807b, 0x807d, 0x7f7f, 0xff81, 0xff83, 0xff85, 0xffba,
98  0x55d3, 0x807c, 0x7f7e, 0x7f80, 0xff82, 0xff84, 0xffac, 0xffdc,
99  0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0xff83, 0xffab, 0xffce, 0x0008,
100  0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0xffaa, 0xffcd, 0xfffa, 0x000d,
101  0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0xffcc, 0xfff9, 0xffff, 0x000e,
102  0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0xfff8, 0xfffe, 0x0000, 0x000f,
103  0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0xfffd, 0xffff, 0x0001, 0x0010,
104  0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0xfffe, 0x0000, 0x0002, 0x0011,
105  0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0xffff, 0x0001, 0x0003, 0x0012,
106  0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x0000, 0x0002, 0x0004, 0x0018,
107  0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x0001, 0x0003, 0x000a, 0x0043,
108  0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035, 0x0065,
109  0x5554, 0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034, 0x0057, 0x008d,
110  0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056, 0x007f, 0x008e,
111  0x5556, 0x7fff, 0x8006, 0x8032, 0x0055, 0x007e, 0x0080, 0x008f,
112  0x5557, 0x8005, 0x8031, 0x8054, 0x007d, 0x007f, 0x0081, 0xff90,
113  0x555d, 0x8030, 0x8053, 0x807c, 0x007e, 0x0080, 0xff82, 0xff91,
114  0x8030, 0x8053, 0x807c, 0x007e, 0x0080, 0xff82, 0xff91, 0xffff,
115  0x8052, 0x807b, 0x807d, 0x007f, 0xff81, 0xff83, 0xff92, 0x0000,
116  0x807a, 0x807c, 0x807e, 0xff80, 0xff82, 0xff84, 0xff93, 0x0027,
117  0x807b, 0x807d, 0x7f7f, 0xff81, 0xff83, 0xff85, 0xffba, 0x0049,
118  0x807c, 0x7f7e, 0x7f80, 0xff82, 0xff84, 0xffac, 0xffdc, 0x0075,
119  0x7f7d, 0x7f7f, 0x7f81, 0xff83, 0xffab, 0xffce, 0x0008, 0x007a,
120  0x7f7e, 0x7f80, 0x7f82, 0xffaa, 0xffcd, 0xfffa, 0x000d, 0x007b,
121  0x7f7f, 0x7f81, 0x7fa9, 0xffcc, 0xfff9, 0xffff, 0x000e, 0x007c,
122  0x7f80, 0x7fa8, 0x7fcb, 0xfff8, 0xfffe, 0x0000, 0x000f, 0x007d,
123  0x7fa7, 0x7fca, 0x7ff7, 0xfffd, 0xffff, 0x0001, 0x0010, 0x007e,
124  0x7fc9, 0x7ff6, 0x7ffc, 0xfffe, 0x0000, 0x0002, 0x0011, 0x007f,
125  0x7ff5, 0x7ffb, 0x7ffd, 0xffff, 0x0001, 0x0003, 0x0012, 0x0085,
126  0x7ffa, 0x7ffc, 0x7ffe, 0x0000, 0x0002, 0x0004, 0x0018, 0x00b0,
127  0x7ffb, 0x7ffd, 0x7fff, 0x0001, 0x0003, 0x000a, 0x0043, 0x00d2,
128  0x7ffc, 0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035, 0x0065, 0x00fa,
129  0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034, 0x0057, 0x008d, 0x00fb,
130  0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056, 0x007f, 0x008e, 0x00fc,
131  0x7fff, 0x8006, 0x8032, 0x0055, 0x007e, 0x0080, 0x008f, 0xfffd,
132  0x8005, 0x8031, 0x8054, 0x007d, 0x007f, 0x0081, 0xff90, 0xfffe,
133  0x8031, 0x8054, 0x007d, 0x007f, 0x0081, 0xff90, 0xfffe, 0x0000,
134  0x8053, 0x807c, 0x007e, 0x0080, 0xff82, 0xff91, 0xffff, 0x0001,
135  0x807b, 0x807d, 0x007f, 0xff81, 0xff83, 0xff92, 0x0000, 0x0028,
136  0x807c, 0x807e, 0xff80, 0xff82, 0xff84, 0xff93, 0x0027, 0x004a,
137  0x807d, 0x7f7f, 0xff81, 0xff83, 0xff85, 0xffba, 0x0049, 0x0076,
138  0x7f7e, 0x7f80, 0xff82, 0xff84, 0xffac, 0xffdc, 0x0075, 0x007b,
139  0x7f7f, 0x7f81, 0xff83, 0xffab, 0xffce, 0x0008, 0x007a, 0x007c,
140  0x7f80, 0x7f82, 0xffaa, 0xffcd, 0xfffa, 0x000d, 0x007b, 0x007d,
141  0x7f81, 0x7fa9, 0xffcc, 0xfff9, 0xffff, 0x000e, 0x007c, 0x007e,
142  0x7fa8, 0x7fcb, 0xfff8, 0xfffe, 0x0000, 0x000f, 0x007d, 0x007f,
143  0x7fca, 0x7ff7, 0xfffd, 0xffff, 0x0001, 0x0010, 0x007e, 0x0080,
144  0x7ff6, 0x7ffc, 0xfffe, 0x0000, 0x0002, 0x0011, 0x007f, 0x0086,
145  0x7ffb, 0x7ffd, 0xffff, 0x0001, 0x0003, 0x0012, 0x0085, 0x00b1,
146  0x7ffc, 0x7ffe, 0x0000, 0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3,
147  0x7ffd, 0x7fff, 0x0001, 0x0003, 0x000a, 0x0043, 0x00d2, 0x00fb,
148  0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc,
149  0x7fff, 0x8001, 0x0008, 0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd,
150  0x8000, 0x8007, 0x0033, 0x0056, 0x007f, 0x008e, 0x00fc, 0xfffe,
151  0x8006, 0x8032, 0x0055, 0x007e, 0x0080, 0x008f, 0xfffd, 0xffff,
152  0x8032, 0x0055, 0x007e, 0x0080, 0x008f, 0xfffd, 0xffff, 0x0001,
153  0x8054, 0x007d, 0x007f, 0x0081, 0xff90, 0xfffe, 0x0000, 0x0002,
154  0x807c, 0x007e, 0x0080, 0xff82, 0xff91, 0xffff, 0x0001, 0x0029,
155  0x807d, 0x007f, 0xff81, 0xff83, 0xff92, 0x0000, 0x0028, 0x004b,
156  0x807e, 0xff80, 0xff82, 0xff84, 0xff93, 0x0027, 0x004a, 0x0077,
157  0x7f7f, 0xff81, 0xff83, 0xff85, 0xffba, 0x0049, 0x0076, 0x007c,
158  0x7f80, 0xff82, 0xff84, 0xffac, 0xffdc, 0x0075, 0x007b, 0x007d,
159  0x7f81, 0xff83, 0xffab, 0xffce, 0x0008, 0x007a, 0x007c, 0x007e,
160  0x7f82, 0xffaa, 0xffcd, 0xfffa, 0x000d, 0x007b, 0x007d, 0x007f,
161  0x7fa9, 0xffcc, 0xfff9, 0xffff, 0x000e, 0x007c, 0x007e, 0x0080,
162  0x7fcb, 0xfff8, 0xfffe, 0x0000, 0x000f, 0x007d, 0x007f, 0x0081,
163  0x7ff7, 0xfffd, 0xffff, 0x0001, 0x0010, 0x007e, 0x0080, 0x0087,
164  0x7ffc, 0xfffe, 0x0000, 0x0002, 0x0011, 0x007f, 0x0086, 0x00b2,
165  0x7ffd, 0xffff, 0x0001, 0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4,
166  0x7ffe, 0x0000, 0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3, 0x00fc,
167  0x7fff, 0x0001, 0x0003, 0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd,
168  0x8000, 0x0002, 0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe,
169  0x8001, 0x0008, 0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd, 0xffff,
170  0x8007, 0x0033, 0x0056, 0x007f, 0x008e, 0x00fc, 0xfffe, 0x0000,
171  0x0033, 0x0056, 0x007f, 0x008e, 0x00fc, 0xfffe, 0x0000, 0x32b5,
172  0x0055, 0x007e, 0x0080, 0x008f, 0xfffd, 0xffff, 0x0001, 0x32b6,
173  0x007d, 0x007f, 0x0081, 0xff90, 0xfffe, 0x0000, 0x0002, 0x32dd,
174  0x007e, 0x0080, 0xff82, 0xff91, 0xffff, 0x0001, 0x0029, 0x32ff,
175  0x007f, 0xff81, 0xff83, 0xff92, 0x0000, 0x0028, 0x004b, 0x332b,
176  0xff80, 0xff82, 0xff84, 0xff93, 0x0027, 0x004a, 0x0077, 0x3330,
177  0xff81, 0xff83, 0xff85, 0xffba, 0x0049, 0x0076, 0x007c, 0x3331,
178  0xff82, 0xff84, 0xffac, 0xffdc, 0x0075, 0x007b, 0x007d, 0x3332,
179  0xff83, 0xffab, 0xffce, 0x0008, 0x007a, 0x007c, 0x007e, 0x3333,
180  0xffaa, 0xffcd, 0xfffa, 0x000d, 0x007b, 0x007d, 0x007f, 0x3334,
181  0xffcc, 0xfff9, 0xffff, 0x000e, 0x007c, 0x007e, 0x0080, 0x3335,
182  0xfff8, 0xfffe, 0x0000, 0x000f, 0x007d, 0x007f, 0x0081, 0x333b,
183  0xfffd, 0xffff, 0x0001, 0x0010, 0x007e, 0x0080, 0x0087, 0x3366,
184  0xfffe, 0x0000, 0x0002, 0x0011, 0x007f, 0x0086, 0x00b2, 0x3388,
185  0xffff, 0x0001, 0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4, 0x33b0,
186  0x0000, 0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1,
187  0x0001, 0x0003, 0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2,
188  0x0002, 0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe, 0x32b3,
189  0x0008, 0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd, 0xffff, 0x32b4,
190  0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd, 0xffff, 0x32b4, 0x54d7,
191  0x0056, 0x007f, 0x008e, 0x00fc, 0xfffe, 0x0000, 0x32b5, 0x54d8,
192  0x007e, 0x0080, 0x008f, 0xfffd, 0xffff, 0x0001, 0x32b6, 0x54ff,
193  0x007f, 0x0081, 0xff90, 0xfffe, 0x0000, 0x0002, 0x32dd, 0x5521,
194  0x0080, 0xff82, 0xff91, 0xffff, 0x0001, 0x0029, 0x32ff, 0x554d,
195  0xff81, 0xff83, 0xff92, 0x0000, 0x0028, 0x004b, 0x332b, 0x5552,
196  0xff82, 0xff84, 0xff93, 0x0027, 0x004a, 0x0077, 0x3330, 0x5553,
197  0xff83, 0xff85, 0xffba, 0x0049, 0x0076, 0x007c, 0x3331, 0x5554,
198  0xff84, 0xffac, 0xffdc, 0x0075, 0x007b, 0x007d, 0x3332, 0x5555,
199  0xffab, 0xffce, 0x0008, 0x007a, 0x007c, 0x007e, 0x3333, 0x5556,
200  0xffcd, 0xfffa, 0x000d, 0x007b, 0x007d, 0x007f, 0x3334, 0x5557,
201  0xfff9, 0xffff, 0x000e, 0x007c, 0x007e, 0x0080, 0x3335, 0x555d,
202  0xfffe, 0x0000, 0x000f, 0x007d, 0x007f, 0x0081, 0x333b, 0x5588,
203  0xffff, 0x0001, 0x0010, 0x007e, 0x0080, 0x0087, 0x3366, 0x55aa,
204  0x0000, 0x0002, 0x0011, 0x007f, 0x0086, 0x00b2, 0x3388, 0x55d2,
205  0x0001, 0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3,
206  0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4,
207  0x0003, 0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x54d5,
208  0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe, 0x32b3, 0x54d6,
209  0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe, 0x32b3, 0x54d6, 0x7f7f,
210  0x0057, 0x008d, 0x00fb, 0x00fd, 0xffff, 0x32b4, 0x54d7, 0x7f80,
211  0x007f, 0x008e, 0x00fc, 0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fa7,
212  0x0080, 0x008f, 0xfffd, 0xffff, 0x0001, 0x32b6, 0x54ff, 0x7fc9,
213  0x0081, 0xff90, 0xfffe, 0x0000, 0x0002, 0x32dd, 0x5521, 0x7ff5,
214  0xff82, 0xff91, 0xffff, 0x0001, 0x0029, 0x32ff, 0x554d, 0x7ffa,
215  0xff83, 0xff92, 0x0000, 0x0028, 0x004b, 0x332b, 0x5552, 0x7ffb,
216  0xff84, 0xff93, 0x0027, 0x004a, 0x0077, 0x3330, 0x5553, 0x7ffc,
217  0xff85, 0xffba, 0x0049, 0x0076, 0x007c, 0x3331, 0x5554, 0x7ffd,
218  0xffac, 0xffdc, 0x0075, 0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe,
219  0xffce, 0x0008, 0x007a, 0x007c, 0x007e, 0x3333, 0x5556, 0x7fff,
220  0xfffa, 0x000d, 0x007b, 0x007d, 0x007f, 0x3334, 0x5557, 0x8005,
221  0xffff, 0x000e, 0x007c, 0x007e, 0x0080, 0x3335, 0x555d, 0x8030,
222  0x0000, 0x000f, 0x007d, 0x007f, 0x0081, 0x333b, 0x5588, 0x8052,
223  0x0001, 0x0010, 0x007e, 0x0080, 0x0087, 0x3366, 0x55aa, 0x807a,
224  0x0002, 0x0011, 0x007f, 0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b,
225  0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c,
226  0x0004, 0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x7f7d,
227  0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x54d5, 0x7f7e,
228  0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x54d5, 0x7f7e, 0x7f80,
229  0x0065, 0x00fa, 0x00fc, 0x00fe, 0x32b3, 0x54d6, 0x7f7f, 0x7f81,
230  0x008d, 0x00fb, 0x00fd, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fa8,
231  0x008e, 0x00fc, 0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fa7, 0x7fca,
232  0x008f, 0xfffd, 0xffff, 0x0001, 0x32b6, 0x54ff, 0x7fc9, 0x7ff6,
233  0xff90, 0xfffe, 0x0000, 0x0002, 0x32dd, 0x5521, 0x7ff5, 0x7ffb,
234  0xff91, 0xffff, 0x0001, 0x0029, 0x32ff, 0x554d, 0x7ffa, 0x7ffc,
235  0xff92, 0x0000, 0x0028, 0x004b, 0x332b, 0x5552, 0x7ffb, 0x7ffd,
236  0xff93, 0x0027, 0x004a, 0x0077, 0x3330, 0x5553, 0x7ffc, 0x7ffe,
237  0xffba, 0x0049, 0x0076, 0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff,
238  0xffdc, 0x0075, 0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe, 0x8000,
239  0x0008, 0x007a, 0x007c, 0x007e, 0x3333, 0x5556, 0x7fff, 0x8006,
240  0x000d, 0x007b, 0x007d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031,
241  0x000e, 0x007c, 0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053,
242  0x000f, 0x007d, 0x007f, 0x0081, 0x333b, 0x5588, 0x8052, 0x807b,
243  0x0010, 0x007e, 0x0080, 0x0087, 0x3366, 0x55aa, 0x807a, 0x807c,
244  0x0011, 0x007f, 0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d,
245  0x0012, 0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x7f7e,
246  0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x7f7d, 0x7f7f,
247  0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81,
248  0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82,
249  0x00fa, 0x00fc, 0x00fe, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9,
250  0x00fb, 0x00fd, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb,
251  0x00fc, 0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7,
252  0xfffd, 0xffff, 0x0001, 0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc,
253  0xfffe, 0x0000, 0x0002, 0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd,
254  0xffff, 0x0001, 0x0029, 0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe,
255  0x0000, 0x0028, 0x004b, 0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff,
256  0x0027, 0x004a, 0x0077, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000,
257  0x0049, 0x0076, 0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001,
258  0x0075, 0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007,
259  0x007a, 0x007c, 0x007e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032,
260  0x007b, 0x007d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054,
261  0x007c, 0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c,
262  0x007d, 0x007f, 0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d,
263  0x007e, 0x0080, 0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e,
264  0x007f, 0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f,
265  0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80,
266  0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80, 0x7f82,
267  0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0x7f83,
268  0x00fb, 0x00fd, 0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x7faa,
269  0x00fc, 0x00fe, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0x7fcc,
270  0x00fd, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0x7ff8,
271  0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0x7ffd,
272  0xffff, 0x0001, 0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0x7ffe,
273  0x0000, 0x0002, 0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0x7fff,
274  0x0001, 0x0029, 0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x8000,
275  0x0028, 0x004b, 0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x8001,
276  0x004a, 0x0077, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x8002,
277  0x0076, 0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001, 0x8008,
278  0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033,
279  0x007c, 0x007e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x8055,
280  0x007d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x807d,
281  0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x807e,
282  0x007f, 0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x807f,
283  0x0080, 0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x7f80,
284  0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f, 0x7f81,
285  0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f, 0x7f81, 0x7f83,
286  0x00d4, 0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80, 0x7f82, 0x7f84,
287  0x00fc, 0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0x7f83, 0x7fab,
288  0x00fd, 0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x7faa, 0x7fcd,
289  0x00fe, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0x7fcc, 0x7ff9,
290  0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0x7ff8, 0x7ffe,
291  0x0000, 0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0x7ffd, 0x7fff,
292  0x0001, 0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0x7ffe, 0x8000,
293  0x0002, 0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0x7fff, 0x8001,
294  0x0029, 0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x8000, 0x8002,
295  0x004b, 0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0x8003,
296  0x0077, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0x8009,
297  0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034,
298  0x007d, 0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056,
299  0x007e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x8055, 0x807e,
300  0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x807d, 0x807f,
301  0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x807e, 0x8080,
302  0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x807f, 0x7f81,
303  0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x7f80, 0x7f82,
304  0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x7f80, 0x7f82, 0xaa2c,
305  0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f, 0x7f81, 0x7f83, 0xaa2d,
306  0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80, 0x7f82, 0x7f84, 0xaa54,
307  0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0x7f83, 0x7fab, 0xaa76,
308  0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x7faa, 0x7fcd, 0xaaa2,
309  0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0x7fcc, 0x7ff9, 0xaaa7,
310  0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0x7ff8, 0x7ffe, 0xaaa8,
311  0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0x7ffd, 0x7fff, 0xaaa9,
312  0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0x7ffe, 0x8000, 0xaaaa,
313  0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0xaaab,
314  0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0xaaac,
315  0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0x8003, 0xaab2,
316  0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd,
317  0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff,
318  0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056, 0xab27,
319  0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x8055, 0x807e, 0xab28,
320  0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x807d, 0x807f, 0xab29,
321  0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x807e, 0x8080, 0xaa2a,
322  0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x807f, 0x7f81, 0xaa2b,
323  0x5588, 0x8052, 0x807b, 0x807d, 0x807f, 0x7f81, 0xaa2b, 0xcc4e,
324  0x55aa, 0x807a, 0x807c, 0x807e, 0x7f80, 0x7f82, 0xaa2c, 0xcc4f,
325  0x55d2, 0x807b, 0x807d, 0x7f7f, 0x7f81, 0x7f83, 0xaa2d, 0xcc76,
326  0x55d3, 0x807c, 0x7f7e, 0x7f80, 0x7f82, 0x7f84, 0xaa54, 0xcc98,
327  0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0x7f83, 0x7fab, 0xaa76, 0xccc4,
328  0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x7faa, 0x7fcd, 0xaaa2, 0xccc9,
329  0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0x7fcc, 0x7ff9, 0xaaa7, 0xccca,
330  0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0x7ff8, 0x7ffe, 0xaaa8, 0xcccb,
331  0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0x7ffd, 0x7fff, 0xaaa9, 0xcccc,
332  0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0x7ffe, 0x8000, 0xaaaa, 0xcccd,
333  0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0xaaab, 0xccce,
334  0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0xaaac, 0xccd4,
335  0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff,
336  0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21,
337  0x5554, 0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff, 0xcd49,
338  0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a,
339  0x5556, 0x7fff, 0x8006, 0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b,
340  0x5557, 0x8005, 0x8031, 0x8054, 0x807d, 0x807f, 0xab29, 0xcc4c,
341  0x555d, 0x8030, 0x8053, 0x807c, 0x807e, 0x8080, 0xaa2a, 0xcc4d,
342  0x8030, 0x8053, 0x807c, 0x807e, 0x8080, 0xaa2a, 0xcc4d, 0xff02,
343  0x8052, 0x807b, 0x807d, 0x807f, 0x7f81, 0xaa2b, 0xcc4e, 0xff03,
344  0x807a, 0x807c, 0x807e, 0x7f80, 0x7f82, 0xaa2c, 0xcc4f, 0xff2a,
345  0x807b, 0x807d, 0x7f7f, 0x7f81, 0x7f83, 0xaa2d, 0xcc76, 0xff4c,
346  0x807c, 0x7f7e, 0x7f80, 0x7f82, 0x7f84, 0xaa54, 0xcc98, 0xff78,
347  0x7f7d, 0x7f7f, 0x7f81, 0x7f83, 0x7fab, 0xaa76, 0xccc4, 0xff7d,
348  0x7f7e, 0x7f80, 0x7f82, 0x7faa, 0x7fcd, 0xaaa2, 0xccc9, 0xff7e,
349  0x7f7f, 0x7f81, 0x7fa9, 0x7fcc, 0x7ff9, 0xaaa7, 0xccca, 0xff7f,
350  0x7f80, 0x7fa8, 0x7fcb, 0x7ff8, 0x7ffe, 0xaaa8, 0xcccb, 0xff80,
351  0x7fa7, 0x7fca, 0x7ff7, 0x7ffd, 0x7fff, 0xaaa9, 0xcccc, 0xff81,
352  0x7fc9, 0x7ff6, 0x7ffc, 0x7ffe, 0x8000, 0xaaaa, 0xcccd, 0xff82,
353  0x7ff5, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0xaaab, 0xccce, 0xff88,
354  0x7ffa, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3,
355  0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5,
356  0x7ffc, 0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21, 0xfffd,
357  0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe,
358  0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff,
359  0x7fff, 0x8006, 0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b, 0xff00,
360  0x8005, 0x8031, 0x8054, 0x807d, 0x807f, 0xab29, 0xcc4c, 0xff01,
361  0x8031, 0x8054, 0x807d, 0x807f, 0xab29, 0xcc4c, 0xff01, 0xff03,
362  0x8053, 0x807c, 0x807e, 0x8080, 0xaa2a, 0xcc4d, 0xff02, 0xff04,
363  0x807b, 0x807d, 0x807f, 0x7f81, 0xaa2b, 0xcc4e, 0xff03, 0xff2b,
364  0x807c, 0x807e, 0x7f80, 0x7f82, 0xaa2c, 0xcc4f, 0xff2a, 0xff4d,
365  0x807d, 0x7f7f, 0x7f81, 0x7f83, 0xaa2d, 0xcc76, 0xff4c, 0xff79,
366  0x7f7e, 0x7f80, 0x7f82, 0x7f84, 0xaa54, 0xcc98, 0xff78, 0xff7e,
367  0x7f7f, 0x7f81, 0x7f83, 0x7fab, 0xaa76, 0xccc4, 0xff7d, 0xff7f,
368  0x7f80, 0x7f82, 0x7faa, 0x7fcd, 0xaaa2, 0xccc9, 0xff7e, 0xff80,
369  0x7f81, 0x7fa9, 0x7fcc, 0x7ff9, 0xaaa7, 0xccca, 0xff7f, 0xff81,
370  0x7fa8, 0x7fcb, 0x7ff8, 0x7ffe, 0xaaa8, 0xcccb, 0xff80, 0xff82,
371  0x7fca, 0x7ff7, 0x7ffd, 0x7fff, 0xaaa9, 0xcccc, 0xff81, 0xff83,
372  0x7ff6, 0x7ffc, 0x7ffe, 0x8000, 0xaaaa, 0xcccd, 0xff82, 0xff89,
373  0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4,
374  0x7ffc, 0x7ffe, 0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6,
375  0x7ffd, 0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5, 0xfffe,
376  0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff,
377  0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000,
378  0x8000, 0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff, 0xff01,
379  0x8006, 0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b, 0xff00, 0xff02,
380  0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b, 0xff00, 0xff02, 0xff04,
381  0x8054, 0x807d, 0x807f, 0xab29, 0xcc4c, 0xff01, 0xff03, 0xff05,
382  0x807c, 0x807e, 0x8080, 0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff2c,
383  0x807d, 0x807f, 0x7f81, 0xaa2b, 0xcc4e, 0xff03, 0xff2b, 0xff4e,
384  0x807e, 0x7f80, 0x7f82, 0xaa2c, 0xcc4f, 0xff2a, 0xff4d, 0xff7a,
385  0x7f7f, 0x7f81, 0x7f83, 0xaa2d, 0xcc76, 0xff4c, 0xff79, 0xff7f,
386  0x7f80, 0x7f82, 0x7f84, 0xaa54, 0xcc98, 0xff78, 0xff7e, 0xff80,
387  0x7f81, 0x7f83, 0x7fab, 0xaa76, 0xccc4, 0xff7d, 0xff7f, 0xff81,
388  0x7f82, 0x7faa, 0x7fcd, 0xaaa2, 0xccc9, 0xff7e, 0xff80, 0xff82,
389  0x7fa9, 0x7fcc, 0x7ff9, 0xaaa7, 0xccca, 0xff7f, 0xff81, 0xff83,
390  0x7fcb, 0x7ff8, 0x7ffe, 0xaaa8, 0xcccb, 0xff80, 0xff82, 0xff84,
391  0x7ff7, 0x7ffd, 0x7fff, 0xaaa9, 0xcccc, 0xff81, 0xff83, 0xff8a,
392  0x7ffc, 0x7ffe, 0x8000, 0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5,
393  0x7ffd, 0x7fff, 0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7,
394  0x7ffe, 0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6, 0xffff,
395  0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000,
396  0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001,
397  0x8001, 0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000, 0xff02,
398  0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff, 0xff01, 0xff03,
399  0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff, 0xff01, 0xff03, 0xff05,
400  0x8055, 0x807e, 0xab28, 0xcd4b, 0xff00, 0xff02, 0xff04, 0xff06,
401  0x807d, 0x807f, 0xab29, 0xcc4c, 0xff01, 0xff03, 0xff05, 0xff2d,
402  0x807e, 0x8080, 0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff2c, 0xff4f,
403  0x807f, 0x7f81, 0xaa2b, 0xcc4e, 0xff03, 0xff2b, 0xff4e, 0xff7b,
404  0x7f80, 0x7f82, 0xaa2c, 0xcc4f, 0xff2a, 0xff4d, 0xff7a, 0xff80,
405  0x7f81, 0x7f83, 0xaa2d, 0xcc76, 0xff4c, 0xff79, 0xff7f, 0xff81,
406  0x7f82, 0x7f84, 0xaa54, 0xcc98, 0xff78, 0xff7e, 0xff80, 0xff82,
407  0x7f83, 0x7fab, 0xaa76, 0xccc4, 0xff7d, 0xff7f, 0xff81, 0xff83,
408  0x7faa, 0x7fcd, 0xaaa2, 0xccc9, 0xff7e, 0xff80, 0xff82, 0xff84,
409  0x7fcc, 0x7ff9, 0xaaa7, 0xccca, 0xff7f, 0xff81, 0xff83, 0xff85,
410  0x7ff8, 0x7ffe, 0xaaa8, 0xcccb, 0xff80, 0xff82, 0xff84, 0xff8b,
411  0x7ffd, 0x7fff, 0xaaa9, 0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6,
412  0x7ffe, 0x8000, 0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8,
413  0x7fff, 0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7, 0x0000,
414  0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001,
415  0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002,
416  0x8002, 0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001, 0xff03,
417  0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000, 0xff02, 0xff04,
418  0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000, 0xff02, 0xff04, 0xff72,
419  0x8056, 0xab27, 0xcd4a, 0xffff, 0xff01, 0xff03, 0xff05, 0xff73,
420  0x807e, 0xab28, 0xcd4b, 0xff00, 0xff02, 0xff04, 0xff06, 0xff9a,
421  0x807f, 0xab29, 0xcc4c, 0xff01, 0xff03, 0xff05, 0xff2d, 0xffbc,
422  0x8080, 0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff2c, 0xff4f, 0xffe8,
423  0x7f81, 0xaa2b, 0xcc4e, 0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffed,
424  0x7f82, 0xaa2c, 0xcc4f, 0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffee,
425  0x7f83, 0xaa2d, 0xcc76, 0xff4c, 0xff79, 0xff7f, 0xff81, 0xffef,
426  0x7f84, 0xaa54, 0xcc98, 0xff78, 0xff7e, 0xff80, 0xff82, 0xfff0,
427  0x7fab, 0xaa76, 0xccc4, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xfff1,
428  0x7fcd, 0xaaa2, 0xccc9, 0xff7e, 0xff80, 0xff82, 0xff84, 0xfff2,
429  0x7ff9, 0xaaa7, 0xccca, 0xff7f, 0xff81, 0xff83, 0xff85, 0xfff8,
430  0x7ffe, 0xaaa8, 0xcccb, 0xff80, 0xff82, 0xff84, 0xff8b, 0x0023,
431  0x7fff, 0xaaa9, 0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045,
432  0x8000, 0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x006d,
433  0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e,
434  0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f,
435  0x8003, 0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002, 0xff70,
436  0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001, 0xff03, 0xff71,
437  0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001, 0xff03, 0xff71, 0xff7f,
438  0xaaff, 0xcd49, 0xfffe, 0x0000, 0xff02, 0xff04, 0xff72, 0xff80,
439  0xab27, 0xcd4a, 0xffff, 0xff01, 0xff03, 0xff05, 0xff73, 0xffa7,
440  0xab28, 0xcd4b, 0xff00, 0xff02, 0xff04, 0xff06, 0xff9a, 0xffc9,
441  0xab29, 0xcc4c, 0xff01, 0xff03, 0xff05, 0xff2d, 0xffbc, 0xfff5,
442  0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff2c, 0xff4f, 0xffe8, 0xfffa,
443  0xaa2b, 0xcc4e, 0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffed, 0xfffb,
444  0xaa2c, 0xcc4f, 0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffee, 0xfffc,
445  0xaa2d, 0xcc76, 0xff4c, 0xff79, 0xff7f, 0xff81, 0xffef, 0xfffd,
446  0xaa54, 0xcc98, 0xff78, 0xff7e, 0xff80, 0xff82, 0xfff0, 0xfffe,
447  0xaa76, 0xccc4, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xfff1, 0xffff,
448  0xaaa2, 0xccc9, 0xff7e, 0xff80, 0xff82, 0xff84, 0xfff2, 0x0005,
449  0xaaa7, 0xccca, 0xff7f, 0xff81, 0xff83, 0xff85, 0xfff8, 0x0030,
450  0xaaa8, 0xcccb, 0xff80, 0xff82, 0xff84, 0xff8b, 0x0023, 0x0052,
451  0xaaa9, 0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045, 0x007a,
452  0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x006d, 0x007b,
453  0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e, 0x007c,
454  0xaaac, 0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f, 0xff7d,
455  0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002, 0xff70, 0xff7e,
456  0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002, 0xff70, 0xff7e, 0xff80,
457  0xcd21, 0xfffd, 0xffff, 0x0001, 0xff03, 0xff71, 0xff7f, 0xff81,
458  0xcd49, 0xfffe, 0x0000, 0xff02, 0xff04, 0xff72, 0xff80, 0xffa8,
459  0xcd4a, 0xffff, 0xff01, 0xff03, 0xff05, 0xff73, 0xffa7, 0xffca,
460  0xcd4b, 0xff00, 0xff02, 0xff04, 0xff06, 0xff9a, 0xffc9, 0xfff6,
461  0xcc4c, 0xff01, 0xff03, 0xff05, 0xff2d, 0xffbc, 0xfff5, 0xfffb,
462  0xcc4d, 0xff02, 0xff04, 0xff2c, 0xff4f, 0xffe8, 0xfffa, 0xfffc,
463  0xcc4e, 0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffed, 0xfffb, 0xfffd,
464  0xcc4f, 0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffee, 0xfffc, 0xfffe,
465  0xcc76, 0xff4c, 0xff79, 0xff7f, 0xff81, 0xffef, 0xfffd, 0xffff,
466  0xcc98, 0xff78, 0xff7e, 0xff80, 0xff82, 0xfff0, 0xfffe, 0x0000,
467  0xccc4, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xfff1, 0xffff, 0x0006,
468  0xccc9, 0xff7e, 0xff80, 0xff82, 0xff84, 0xfff2, 0x0005, 0x0031,
469  0xccca, 0xff7f, 0xff81, 0xff83, 0xff85, 0xfff8, 0x0030, 0x0053,
470  0xcccb, 0xff80, 0xff82, 0xff84, 0xff8b, 0x0023, 0x0052, 0x007b,
471  0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045, 0x007a, 0x007c,
472  0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x006d, 0x007b, 0x007d,
473  0xccce, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e, 0x007c, 0xff7e,
474  0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f, 0xff7d, 0xff7f,
475  0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f, 0xff7d, 0xff7f, 0xff81,
476  0xffd5, 0xfffe, 0x0000, 0x0002, 0xff70, 0xff7e, 0xff80, 0xff82,
477  0xfffd, 0xffff, 0x0001, 0xff03, 0xff71, 0xff7f, 0xff81, 0xffa9,
478  0xfffe, 0x0000, 0xff02, 0xff04, 0xff72, 0xff80, 0xffa8, 0xffcb,
479  0xffff, 0xff01, 0xff03, 0xff05, 0xff73, 0xffa7, 0xffca, 0xfff7,
480  0xff00, 0xff02, 0xff04, 0xff06, 0xff9a, 0xffc9, 0xfff6, 0xfffc,
481  0xff01, 0xff03, 0xff05, 0xff2d, 0xffbc, 0xfff5, 0xfffb, 0xfffd,
482  0xff02, 0xff04, 0xff2c, 0xff4f, 0xffe8, 0xfffa, 0xfffc, 0xfffe,
483  0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffed, 0xfffb, 0xfffd, 0xffff,
484  0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffee, 0xfffc, 0xfffe, 0x0000,
485  0xff4c, 0xff79, 0xff7f, 0xff81, 0xffef, 0xfffd, 0xffff, 0x0001,
486  0xff78, 0xff7e, 0xff80, 0xff82, 0xfff0, 0xfffe, 0x0000, 0x0007,
487  0xff7d, 0xff7f, 0xff81, 0xff83, 0xfff1, 0xffff, 0x0006, 0x0032,
488  0xff7e, 0xff80, 0xff82, 0xff84, 0xfff2, 0x0005, 0x0031, 0x0054,
489  0xff7f, 0xff81, 0xff83, 0xff85, 0xfff8, 0x0030, 0x0053, 0x007c,
490  0xff80, 0xff82, 0xff84, 0xff8b, 0x0023, 0x0052, 0x007b, 0x007d,
491  0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045, 0x007a, 0x007c, 0x007e,
492  0xff82, 0xff89, 0xffb5, 0xffd8, 0x006d, 0x007b, 0x007d, 0xff7f,
493  0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e, 0x007c, 0xff7e, 0xff80,
494};
495const unsigned kExpectedCount_NEON_saddw_8H = 456;
496
497#endif  // VIXL_SIM_SADDW_8H_TRACE_AARCH64_H_
498