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_UADDW2_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_UADDW2_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_uaddw2_8H[] = {
38  0x0101, 0x0129, 0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe, 0x0000,
39  0x0128, 0x014b, 0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff, 0x0001,
40  0x014a, 0x0177, 0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000, 0x0002,
41  0x0176, 0x017c, 0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001, 0x0008,
42  0x017b, 0x017d, 0x3432, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033,
43  0x017c, 0x017e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x0055,
44  0x017d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x007d,
45  0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x007e,
46  0x007f, 0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x007f,
47  0x0080, 0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x0080,
48  0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x807f, 0x0081,
49  0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080, 0x0082,
50  0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081, 0x0083,
51  0x00fb, 0x00fd, 0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082, 0x00aa,
52  0x00fc, 0x00fe, 0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9, 0x00cc,
53  0x00fd, 0x00ff, 0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb, 0x00f8,
54  0x00fe, 0x0100, 0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x00fd,
55  0x00ff, 0x0101, 0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x00fe,
56  0x0100, 0x0102, 0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd, 0x00ff,
57  0x0102, 0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd, 0x00ff, 0x0001,
58  0x0129, 0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe, 0x0000, 0x0002,
59  0x014b, 0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff, 0x0001, 0x0003,
60  0x0177, 0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000, 0x0002, 0x0009,
61  0x017c, 0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034,
62  0x017d, 0x3432, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056,
63  0x017e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x0055, 0x007e,
64  0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x007d, 0x007f,
65  0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x007e, 0x0080,
66  0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x007f, 0x0081,
67  0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x0080, 0x0082,
68  0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x807f, 0x0081, 0x0083,
69  0x00d4, 0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080, 0x0082, 0x0084,
70  0x00fc, 0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081, 0x0083, 0x00ab,
71  0x00fd, 0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082, 0x00aa, 0x00cd,
72  0x00fe, 0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9, 0x00cc, 0x00f9,
73  0x00ff, 0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb, 0x00f8, 0x00fe,
74  0x0100, 0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x00fd, 0x00ff,
75  0x0101, 0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x00fe, 0x0100,
76  0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x00fe, 0x0100, 0x0002,
77  0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd, 0x00ff, 0x0001, 0x0003,
78  0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe, 0x0000, 0x0002, 0x0004,
79  0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff, 0x0001, 0x0003, 0x000a,
80  0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035,
81  0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034, 0x0057,
82  0x3432, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056, 0x007f,
83  0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x0055, 0x007e, 0x0080,
84  0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x007d, 0x007f, 0x0081,
85  0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x007e, 0x0080, 0x0082,
86  0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x007f, 0x0081, 0x0083,
87  0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x0080, 0x0082, 0x0084,
88  0x3388, 0x55d2, 0x807b, 0x807d, 0x807f, 0x0081, 0x0083, 0x0085,
89  0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080, 0x0082, 0x0084, 0x00ac,
90  0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081, 0x0083, 0x00ab, 0x00ce,
91  0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082, 0x00aa, 0x00cd, 0x00fa,
92  0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9, 0x00cc, 0x00f9, 0x00ff,
93  0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb, 0x00f8, 0x00fe, 0x0100,
94  0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x00fd, 0x00ff, 0x0101,
95  0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x00fd, 0x00ff, 0x0101, 0x0010,
96  0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x00fe, 0x0100, 0x0002, 0x0011,
97  0x5621, 0x80f5, 0x80fb, 0x80fd, 0x00ff, 0x0001, 0x0003, 0x0012,
98  0x564d, 0x80fa, 0x80fc, 0x80fe, 0x0000, 0x0002, 0x0004, 0x0018,
99  0x5652, 0x80fb, 0x80fd, 0x7fff, 0x0001, 0x0003, 0x000a, 0x0043,
100  0x5653, 0x80fc, 0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035, 0x0065,
101  0x5654, 0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034, 0x0057, 0x008d,
102  0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056, 0x007f, 0x008e,
103  0x5556, 0x7fff, 0x8006, 0x8032, 0x0055, 0x007e, 0x0080, 0x008f,
104  0x5557, 0x8005, 0x8031, 0x8054, 0x007d, 0x007f, 0x0081, 0x0090,
105  0x555d, 0x8030, 0x8053, 0x807c, 0x007e, 0x0080, 0x0082, 0x0091,
106  0x5588, 0x8052, 0x807b, 0x807d, 0x007f, 0x0081, 0x0083, 0x0092,
107  0x55aa, 0x807a, 0x807c, 0x807e, 0x0080, 0x0082, 0x0084, 0x0093,
108  0x55d2, 0x807b, 0x807d, 0x807f, 0x0081, 0x0083, 0x0085, 0x00ba,
109  0x55d3, 0x807c, 0x807e, 0x8080, 0x0082, 0x0084, 0x00ac, 0x00dc,
110  0x55d4, 0x807d, 0x807f, 0x8081, 0x0083, 0x00ab, 0x00ce, 0x0108,
111  0x55d5, 0x807e, 0x8080, 0x8082, 0x00aa, 0x00cd, 0x00fa, 0x010d,
112  0x55d6, 0x807f, 0x8081, 0x80a9, 0x00cc, 0x00f9, 0x00ff, 0x010e,
113  0x55d7, 0x8080, 0x80a8, 0x80cb, 0x00f8, 0x00fe, 0x0100, 0x010f,
114  0x8080, 0x80a8, 0x80cb, 0x00f8, 0x00fe, 0x0100, 0x010f, 0x007d,
115  0x80a7, 0x80ca, 0x80f7, 0x00fd, 0x00ff, 0x0101, 0x0010, 0x007e,
116  0x80c9, 0x80f6, 0x80fc, 0x00fe, 0x0100, 0x0002, 0x0011, 0x007f,
117  0x80f5, 0x80fb, 0x80fd, 0x00ff, 0x0001, 0x0003, 0x0012, 0x0085,
118  0x80fa, 0x80fc, 0x80fe, 0x0000, 0x0002, 0x0004, 0x0018, 0x00b0,
119  0x80fb, 0x80fd, 0x7fff, 0x0001, 0x0003, 0x000a, 0x0043, 0x00d2,
120  0x80fc, 0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035, 0x0065, 0x00fa,
121  0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034, 0x0057, 0x008d, 0x00fb,
122  0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056, 0x007f, 0x008e, 0x00fc,
123  0x7fff, 0x8006, 0x8032, 0x0055, 0x007e, 0x0080, 0x008f, 0x00fd,
124  0x8005, 0x8031, 0x8054, 0x007d, 0x007f, 0x0081, 0x0090, 0x00fe,
125  0x8030, 0x8053, 0x807c, 0x007e, 0x0080, 0x0082, 0x0091, 0x00ff,
126  0x8052, 0x807b, 0x807d, 0x007f, 0x0081, 0x0083, 0x0092, 0x0100,
127  0x807a, 0x807c, 0x807e, 0x0080, 0x0082, 0x0084, 0x0093, 0x0127,
128  0x807b, 0x807d, 0x807f, 0x0081, 0x0083, 0x0085, 0x00ba, 0x0149,
129  0x807c, 0x807e, 0x8080, 0x0082, 0x0084, 0x00ac, 0x00dc, 0x0175,
130  0x807d, 0x807f, 0x8081, 0x0083, 0x00ab, 0x00ce, 0x0108, 0x017a,
131  0x807e, 0x8080, 0x8082, 0x00aa, 0x00cd, 0x00fa, 0x010d, 0x017b,
132  0x807f, 0x8081, 0x80a9, 0x00cc, 0x00f9, 0x00ff, 0x010e, 0x017c,
133  0x8081, 0x80a9, 0x00cc, 0x00f9, 0x00ff, 0x010e, 0x017c, 0x007e,
134  0x80a8, 0x80cb, 0x00f8, 0x00fe, 0x0100, 0x010f, 0x007d, 0x007f,
135  0x80ca, 0x80f7, 0x00fd, 0x00ff, 0x0101, 0x0010, 0x007e, 0x0080,
136  0x80f6, 0x80fc, 0x00fe, 0x0100, 0x0002, 0x0011, 0x007f, 0x0086,
137  0x80fb, 0x80fd, 0x00ff, 0x0001, 0x0003, 0x0012, 0x0085, 0x00b1,
138  0x80fc, 0x80fe, 0x0000, 0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3,
139  0x80fd, 0x7fff, 0x0001, 0x0003, 0x000a, 0x0043, 0x00d2, 0x00fb,
140  0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc,
141  0x7fff, 0x8001, 0x0008, 0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd,
142  0x8000, 0x8007, 0x0033, 0x0056, 0x007f, 0x008e, 0x00fc, 0x00fe,
143  0x8006, 0x8032, 0x0055, 0x007e, 0x0080, 0x008f, 0x00fd, 0x00ff,
144  0x8031, 0x8054, 0x007d, 0x007f, 0x0081, 0x0090, 0x00fe, 0x0100,
145  0x8053, 0x807c, 0x007e, 0x0080, 0x0082, 0x0091, 0x00ff, 0x0101,
146  0x807b, 0x807d, 0x007f, 0x0081, 0x0083, 0x0092, 0x0100, 0x0128,
147  0x807c, 0x807e, 0x0080, 0x0082, 0x0084, 0x0093, 0x0127, 0x014a,
148  0x807d, 0x807f, 0x0081, 0x0083, 0x0085, 0x00ba, 0x0149, 0x0176,
149  0x807e, 0x8080, 0x0082, 0x0084, 0x00ac, 0x00dc, 0x0175, 0x017b,
150  0x807f, 0x8081, 0x0083, 0x00ab, 0x00ce, 0x0108, 0x017a, 0x017c,
151  0x8080, 0x8082, 0x00aa, 0x00cd, 0x00fa, 0x010d, 0x017b, 0x017d,
152  0x8082, 0x00aa, 0x00cd, 0x00fa, 0x010d, 0x017b, 0x017d, 0x007f,
153  0x80a9, 0x00cc, 0x00f9, 0x00ff, 0x010e, 0x017c, 0x007e, 0x0080,
154  0x80cb, 0x00f8, 0x00fe, 0x0100, 0x010f, 0x007d, 0x007f, 0x0081,
155  0x80f7, 0x00fd, 0x00ff, 0x0101, 0x0010, 0x007e, 0x0080, 0x0087,
156  0x80fc, 0x00fe, 0x0100, 0x0002, 0x0011, 0x007f, 0x0086, 0x00b2,
157  0x80fd, 0x00ff, 0x0001, 0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4,
158  0x80fe, 0x0000, 0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3, 0x00fc,
159  0x7fff, 0x0001, 0x0003, 0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd,
160  0x8000, 0x0002, 0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe,
161  0x8001, 0x0008, 0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd, 0x00ff,
162  0x8007, 0x0033, 0x0056, 0x007f, 0x008e, 0x00fc, 0x00fe, 0x0100,
163  0x8032, 0x0055, 0x007e, 0x0080, 0x008f, 0x00fd, 0x00ff, 0x0101,
164  0x8054, 0x007d, 0x007f, 0x0081, 0x0090, 0x00fe, 0x0100, 0x0102,
165  0x807c, 0x007e, 0x0080, 0x0082, 0x0091, 0x00ff, 0x0101, 0x0129,
166  0x807d, 0x007f, 0x0081, 0x0083, 0x0092, 0x0100, 0x0128, 0x014b,
167  0x807e, 0x0080, 0x0082, 0x0084, 0x0093, 0x0127, 0x014a, 0x0177,
168  0x807f, 0x0081, 0x0083, 0x0085, 0x00ba, 0x0149, 0x0176, 0x017c,
169  0x8080, 0x0082, 0x0084, 0x00ac, 0x00dc, 0x0175, 0x017b, 0x017d,
170  0x8081, 0x0083, 0x00ab, 0x00ce, 0x0108, 0x017a, 0x017c, 0x017e,
171  0x0083, 0x00ab, 0x00ce, 0x0108, 0x017a, 0x017c, 0x017e, 0x3333,
172  0x00aa, 0x00cd, 0x00fa, 0x010d, 0x017b, 0x017d, 0x007f, 0x3334,
173  0x00cc, 0x00f9, 0x00ff, 0x010e, 0x017c, 0x007e, 0x0080, 0x3335,
174  0x00f8, 0x00fe, 0x0100, 0x010f, 0x007d, 0x007f, 0x0081, 0x333b,
175  0x00fd, 0x00ff, 0x0101, 0x0010, 0x007e, 0x0080, 0x0087, 0x3366,
176  0x00fe, 0x0100, 0x0002, 0x0011, 0x007f, 0x0086, 0x00b2, 0x3388,
177  0x00ff, 0x0001, 0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4, 0x33b0,
178  0x0000, 0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1,
179  0x0001, 0x0003, 0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2,
180  0x0002, 0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe, 0x33b3,
181  0x0008, 0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd, 0x00ff, 0x33b4,
182  0x0033, 0x0056, 0x007f, 0x008e, 0x00fc, 0x00fe, 0x0100, 0x33b5,
183  0x0055, 0x007e, 0x0080, 0x008f, 0x00fd, 0x00ff, 0x0101, 0x33b6,
184  0x007d, 0x007f, 0x0081, 0x0090, 0x00fe, 0x0100, 0x0102, 0x33dd,
185  0x007e, 0x0080, 0x0082, 0x0091, 0x00ff, 0x0101, 0x0129, 0x33ff,
186  0x007f, 0x0081, 0x0083, 0x0092, 0x0100, 0x0128, 0x014b, 0x342b,
187  0x0080, 0x0082, 0x0084, 0x0093, 0x0127, 0x014a, 0x0177, 0x3430,
188  0x0081, 0x0083, 0x0085, 0x00ba, 0x0149, 0x0176, 0x017c, 0x3431,
189  0x0082, 0x0084, 0x00ac, 0x00dc, 0x0175, 0x017b, 0x017d, 0x3432,
190  0x0084, 0x00ac, 0x00dc, 0x0175, 0x017b, 0x017d, 0x3432, 0x5555,
191  0x00ab, 0x00ce, 0x0108, 0x017a, 0x017c, 0x017e, 0x3333, 0x5556,
192  0x00cd, 0x00fa, 0x010d, 0x017b, 0x017d, 0x007f, 0x3334, 0x5557,
193  0x00f9, 0x00ff, 0x010e, 0x017c, 0x007e, 0x0080, 0x3335, 0x555d,
194  0x00fe, 0x0100, 0x010f, 0x007d, 0x007f, 0x0081, 0x333b, 0x5588,
195  0x00ff, 0x0101, 0x0010, 0x007e, 0x0080, 0x0087, 0x3366, 0x55aa,
196  0x0100, 0x0002, 0x0011, 0x007f, 0x0086, 0x00b2, 0x3388, 0x55d2,
197  0x0001, 0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3,
198  0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4,
199  0x0003, 0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x55d5,
200  0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe, 0x33b3, 0x55d6,
201  0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd, 0x00ff, 0x33b4, 0x55d7,
202  0x0056, 0x007f, 0x008e, 0x00fc, 0x00fe, 0x0100, 0x33b5, 0x55d8,
203  0x007e, 0x0080, 0x008f, 0x00fd, 0x00ff, 0x0101, 0x33b6, 0x55ff,
204  0x007f, 0x0081, 0x0090, 0x00fe, 0x0100, 0x0102, 0x33dd, 0x5621,
205  0x0080, 0x0082, 0x0091, 0x00ff, 0x0101, 0x0129, 0x33ff, 0x564d,
206  0x0081, 0x0083, 0x0092, 0x0100, 0x0128, 0x014b, 0x342b, 0x5652,
207  0x0082, 0x0084, 0x0093, 0x0127, 0x014a, 0x0177, 0x3430, 0x5653,
208  0x0083, 0x0085, 0x00ba, 0x0149, 0x0176, 0x017c, 0x3431, 0x5654,
209  0x0085, 0x00ba, 0x0149, 0x0176, 0x017c, 0x3431, 0x5654, 0x7ffd,
210  0x00ac, 0x00dc, 0x0175, 0x017b, 0x017d, 0x3432, 0x5555, 0x7ffe,
211  0x00ce, 0x0108, 0x017a, 0x017c, 0x017e, 0x3333, 0x5556, 0x7fff,
212  0x00fa, 0x010d, 0x017b, 0x017d, 0x007f, 0x3334, 0x5557, 0x8005,
213  0x00ff, 0x010e, 0x017c, 0x007e, 0x0080, 0x3335, 0x555d, 0x8030,
214  0x0100, 0x010f, 0x007d, 0x007f, 0x0081, 0x333b, 0x5588, 0x8052,
215  0x0101, 0x0010, 0x007e, 0x0080, 0x0087, 0x3366, 0x55aa, 0x807a,
216  0x0002, 0x0011, 0x007f, 0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b,
217  0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c,
218  0x0004, 0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x807d,
219  0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x55d5, 0x807e,
220  0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe, 0x33b3, 0x55d6, 0x807f,
221  0x0057, 0x008d, 0x00fb, 0x00fd, 0x00ff, 0x33b4, 0x55d7, 0x8080,
222  0x007f, 0x008e, 0x00fc, 0x00fe, 0x0100, 0x33b5, 0x55d8, 0x80a7,
223  0x0080, 0x008f, 0x00fd, 0x00ff, 0x0101, 0x33b6, 0x55ff, 0x80c9,
224  0x0081, 0x0090, 0x00fe, 0x0100, 0x0102, 0x33dd, 0x5621, 0x80f5,
225  0x0082, 0x0091, 0x00ff, 0x0101, 0x0129, 0x33ff, 0x564d, 0x80fa,
226  0x0083, 0x0092, 0x0100, 0x0128, 0x014b, 0x342b, 0x5652, 0x80fb,
227  0x0084, 0x0093, 0x0127, 0x014a, 0x0177, 0x3430, 0x5653, 0x80fc,
228  0x0093, 0x0127, 0x014a, 0x0177, 0x3430, 0x5653, 0x80fc, 0x7ffe,
229  0x00ba, 0x0149, 0x0176, 0x017c, 0x3431, 0x5654, 0x7ffd, 0x7fff,
230  0x00dc, 0x0175, 0x017b, 0x017d, 0x3432, 0x5555, 0x7ffe, 0x8000,
231  0x0108, 0x017a, 0x017c, 0x017e, 0x3333, 0x5556, 0x7fff, 0x8006,
232  0x010d, 0x017b, 0x017d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031,
233  0x010e, 0x017c, 0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053,
234  0x010f, 0x007d, 0x007f, 0x0081, 0x333b, 0x5588, 0x8052, 0x807b,
235  0x0010, 0x007e, 0x0080, 0x0087, 0x3366, 0x55aa, 0x807a, 0x807c,
236  0x0011, 0x007f, 0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d,
237  0x0012, 0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x807e,
238  0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x807d, 0x807f,
239  0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x55d5, 0x807e, 0x8080,
240  0x0065, 0x00fa, 0x00fc, 0x00fe, 0x33b3, 0x55d6, 0x807f, 0x8081,
241  0x008d, 0x00fb, 0x00fd, 0x00ff, 0x33b4, 0x55d7, 0x8080, 0x80a8,
242  0x008e, 0x00fc, 0x00fe, 0x0100, 0x33b5, 0x55d8, 0x80a7, 0x80ca,
243  0x008f, 0x00fd, 0x00ff, 0x0101, 0x33b6, 0x55ff, 0x80c9, 0x80f6,
244  0x0090, 0x00fe, 0x0100, 0x0102, 0x33dd, 0x5621, 0x80f5, 0x80fb,
245  0x0091, 0x00ff, 0x0101, 0x0129, 0x33ff, 0x564d, 0x80fa, 0x80fc,
246  0x0092, 0x0100, 0x0128, 0x014b, 0x342b, 0x5652, 0x80fb, 0x80fd,
247  0x0100, 0x0128, 0x014b, 0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff,
248  0x0127, 0x014a, 0x0177, 0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000,
249  0x0149, 0x0176, 0x017c, 0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001,
250  0x0175, 0x017b, 0x017d, 0x3432, 0x5555, 0x7ffe, 0x8000, 0x8007,
251  0x017a, 0x017c, 0x017e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032,
252  0x017b, 0x017d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054,
253  0x017c, 0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c,
254  0x007d, 0x007f, 0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d,
255  0x007e, 0x0080, 0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e,
256  0x007f, 0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x807f,
257  0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080,
258  0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081,
259  0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082,
260  0x00fa, 0x00fc, 0x00fe, 0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9,
261  0x00fb, 0x00fd, 0x00ff, 0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb,
262  0x00fc, 0x00fe, 0x0100, 0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7,
263  0x00fd, 0x00ff, 0x0101, 0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc,
264  0x00fe, 0x0100, 0x0102, 0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd,
265  0x00ff, 0x0101, 0x0129, 0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe,
266  0x0101, 0x0129, 0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe, 0x8000,
267  0x0128, 0x014b, 0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff, 0x8001,
268  0x014a, 0x0177, 0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000, 0x8002,
269  0x0176, 0x017c, 0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001, 0x8008,
270  0x017b, 0x017d, 0x3432, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033,
271  0x017c, 0x017e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x8055,
272  0x017d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x807d,
273  0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x807e,
274  0x007f, 0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x807f,
275  0x0080, 0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x8080,
276  0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x807f, 0x8081,
277  0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080, 0x8082,
278  0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081, 0x8083,
279  0x00fb, 0x00fd, 0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082, 0x80aa,
280  0x00fc, 0x00fe, 0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9, 0x80cc,
281  0x00fd, 0x00ff, 0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb, 0x80f8,
282  0x00fe, 0x0100, 0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x80fd,
283  0x00ff, 0x0101, 0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x80fe,
284  0x0100, 0x0102, 0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd, 0x80ff,
285  0x0102, 0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd, 0x80ff, 0x8001,
286  0x0129, 0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe, 0x8000, 0x8002,
287  0x014b, 0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff, 0x8001, 0x8003,
288  0x0177, 0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000, 0x8002, 0x8009,
289  0x017c, 0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034,
290  0x017d, 0x3432, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056,
291  0x017e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x8055, 0x807e,
292  0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x807d, 0x807f,
293  0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x807e, 0x8080,
294  0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x807f, 0x8081,
295  0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x8080, 0x8082,
296  0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x807f, 0x8081, 0x8083,
297  0x00d4, 0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080, 0x8082, 0x8084,
298  0x00fc, 0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081, 0x8083, 0x80ab,
299  0x00fd, 0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082, 0x80aa, 0x80cd,
300  0x00fe, 0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9, 0x80cc, 0x80f9,
301  0x00ff, 0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb, 0x80f8, 0x80fe,
302  0x0100, 0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x80fd, 0x80ff,
303  0x0101, 0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x80fe, 0x8100,
304  0x33b6, 0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x80fe, 0x8100, 0xaaaa,
305  0x33dd, 0x5621, 0x80f5, 0x80fb, 0x80fd, 0x80ff, 0x8001, 0xaaab,
306  0x33ff, 0x564d, 0x80fa, 0x80fc, 0x80fe, 0x8000, 0x8002, 0xaaac,
307  0x342b, 0x5652, 0x80fb, 0x80fd, 0x7fff, 0x8001, 0x8003, 0xaab2,
308  0x3430, 0x5653, 0x80fc, 0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd,
309  0x3431, 0x5654, 0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff,
310  0x3432, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056, 0xab27,
311  0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x8055, 0x807e, 0xab28,
312  0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x807d, 0x807f, 0xab29,
313  0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x807e, 0x8080, 0xab2a,
314  0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x807f, 0x8081, 0xab2b,
315  0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x8080, 0x8082, 0xab2c,
316  0x3388, 0x55d2, 0x807b, 0x807d, 0x807f, 0x8081, 0x8083, 0xab2d,
317  0x33b0, 0x55d3, 0x807c, 0x807e, 0x8080, 0x8082, 0x8084, 0xab54,
318  0x33b1, 0x55d4, 0x807d, 0x807f, 0x8081, 0x8083, 0x80ab, 0xab76,
319  0x33b2, 0x55d5, 0x807e, 0x8080, 0x8082, 0x80aa, 0x80cd, 0xaba2,
320  0x33b3, 0x55d6, 0x807f, 0x8081, 0x80a9, 0x80cc, 0x80f9, 0xaba7,
321  0x33b4, 0x55d7, 0x8080, 0x80a8, 0x80cb, 0x80f8, 0x80fe, 0xaba8,
322  0x33b5, 0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x80fd, 0x80ff, 0xaba9,
323  0x55d8, 0x80a7, 0x80ca, 0x80f7, 0x80fd, 0x80ff, 0xaba9, 0xcccc,
324  0x55ff, 0x80c9, 0x80f6, 0x80fc, 0x80fe, 0x8100, 0xaaaa, 0xcccd,
325  0x5621, 0x80f5, 0x80fb, 0x80fd, 0x80ff, 0x8001, 0xaaab, 0xccce,
326  0x564d, 0x80fa, 0x80fc, 0x80fe, 0x8000, 0x8002, 0xaaac, 0xccd4,
327  0x5652, 0x80fb, 0x80fd, 0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff,
328  0x5653, 0x80fc, 0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21,
329  0x5654, 0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff, 0xcd49,
330  0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a,
331  0x5556, 0x7fff, 0x8006, 0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b,
332  0x5557, 0x8005, 0x8031, 0x8054, 0x807d, 0x807f, 0xab29, 0xcd4c,
333  0x555d, 0x8030, 0x8053, 0x807c, 0x807e, 0x8080, 0xab2a, 0xcd4d,
334  0x5588, 0x8052, 0x807b, 0x807d, 0x807f, 0x8081, 0xab2b, 0xcd4e,
335  0x55aa, 0x807a, 0x807c, 0x807e, 0x8080, 0x8082, 0xab2c, 0xcd4f,
336  0x55d2, 0x807b, 0x807d, 0x807f, 0x8081, 0x8083, 0xab2d, 0xcd76,
337  0x55d3, 0x807c, 0x807e, 0x8080, 0x8082, 0x8084, 0xab54, 0xcd98,
338  0x55d4, 0x807d, 0x807f, 0x8081, 0x8083, 0x80ab, 0xab76, 0xcdc4,
339  0x55d5, 0x807e, 0x8080, 0x8082, 0x80aa, 0x80cd, 0xaba2, 0xcdc9,
340  0x55d6, 0x807f, 0x8081, 0x80a9, 0x80cc, 0x80f9, 0xaba7, 0xcdca,
341  0x55d7, 0x8080, 0x80a8, 0x80cb, 0x80f8, 0x80fe, 0xaba8, 0xcdcb,
342  0x8080, 0x80a8, 0x80cb, 0x80f8, 0x80fe, 0xaba8, 0xcdcb, 0xff80,
343  0x80a7, 0x80ca, 0x80f7, 0x80fd, 0x80ff, 0xaba9, 0xcccc, 0xff81,
344  0x80c9, 0x80f6, 0x80fc, 0x80fe, 0x8100, 0xaaaa, 0xcccd, 0xff82,
345  0x80f5, 0x80fb, 0x80fd, 0x80ff, 0x8001, 0xaaab, 0xccce, 0xff88,
346  0x80fa, 0x80fc, 0x80fe, 0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3,
347  0x80fb, 0x80fd, 0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5,
348  0x80fc, 0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21, 0xfffd,
349  0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe,
350  0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff,
351  0x7fff, 0x8006, 0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b, 0x0000,
352  0x8005, 0x8031, 0x8054, 0x807d, 0x807f, 0xab29, 0xcd4c, 0x0001,
353  0x8030, 0x8053, 0x807c, 0x807e, 0x8080, 0xab2a, 0xcd4d, 0x0002,
354  0x8052, 0x807b, 0x807d, 0x807f, 0x8081, 0xab2b, 0xcd4e, 0x0003,
355  0x807a, 0x807c, 0x807e, 0x8080, 0x8082, 0xab2c, 0xcd4f, 0x002a,
356  0x807b, 0x807d, 0x807f, 0x8081, 0x8083, 0xab2d, 0xcd76, 0x004c,
357  0x807c, 0x807e, 0x8080, 0x8082, 0x8084, 0xab54, 0xcd98, 0x0078,
358  0x807d, 0x807f, 0x8081, 0x8083, 0x80ab, 0xab76, 0xcdc4, 0x007d,
359  0x807e, 0x8080, 0x8082, 0x80aa, 0x80cd, 0xaba2, 0xcdc9, 0x007e,
360  0x807f, 0x8081, 0x80a9, 0x80cc, 0x80f9, 0xaba7, 0xcdca, 0x007f,
361  0x8081, 0x80a9, 0x80cc, 0x80f9, 0xaba7, 0xcdca, 0x007f, 0xff81,
362  0x80a8, 0x80cb, 0x80f8, 0x80fe, 0xaba8, 0xcdcb, 0xff80, 0xff82,
363  0x80ca, 0x80f7, 0x80fd, 0x80ff, 0xaba9, 0xcccc, 0xff81, 0xff83,
364  0x80f6, 0x80fc, 0x80fe, 0x8100, 0xaaaa, 0xcccd, 0xff82, 0xff89,
365  0x80fb, 0x80fd, 0x80ff, 0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4,
366  0x80fc, 0x80fe, 0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6,
367  0x80fd, 0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5, 0xfffe,
368  0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff,
369  0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000,
370  0x8000, 0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff, 0x0001,
371  0x8006, 0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b, 0x0000, 0x0002,
372  0x8031, 0x8054, 0x807d, 0x807f, 0xab29, 0xcd4c, 0x0001, 0x0003,
373  0x8053, 0x807c, 0x807e, 0x8080, 0xab2a, 0xcd4d, 0x0002, 0x0004,
374  0x807b, 0x807d, 0x807f, 0x8081, 0xab2b, 0xcd4e, 0x0003, 0x002b,
375  0x807c, 0x807e, 0x8080, 0x8082, 0xab2c, 0xcd4f, 0x002a, 0x004d,
376  0x807d, 0x807f, 0x8081, 0x8083, 0xab2d, 0xcd76, 0x004c, 0x0079,
377  0x807e, 0x8080, 0x8082, 0x8084, 0xab54, 0xcd98, 0x0078, 0x007e,
378  0x807f, 0x8081, 0x8083, 0x80ab, 0xab76, 0xcdc4, 0x007d, 0x007f,
379  0x8080, 0x8082, 0x80aa, 0x80cd, 0xaba2, 0xcdc9, 0x007e, 0x0080,
380  0x8082, 0x80aa, 0x80cd, 0xaba2, 0xcdc9, 0x007e, 0x0080, 0xff82,
381  0x80a9, 0x80cc, 0x80f9, 0xaba7, 0xcdca, 0x007f, 0xff81, 0xff83,
382  0x80cb, 0x80f8, 0x80fe, 0xaba8, 0xcdcb, 0xff80, 0xff82, 0xff84,
383  0x80f7, 0x80fd, 0x80ff, 0xaba9, 0xcccc, 0xff81, 0xff83, 0xff8a,
384  0x80fc, 0x80fe, 0x8100, 0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5,
385  0x80fd, 0x80ff, 0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7,
386  0x80fe, 0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6, 0xffff,
387  0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000,
388  0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001,
389  0x8001, 0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000, 0x0002,
390  0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff, 0x0001, 0x0003,
391  0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b, 0x0000, 0x0002, 0x0004,
392  0x8054, 0x807d, 0x807f, 0xab29, 0xcd4c, 0x0001, 0x0003, 0x0005,
393  0x807c, 0x807e, 0x8080, 0xab2a, 0xcd4d, 0x0002, 0x0004, 0x002c,
394  0x807d, 0x807f, 0x8081, 0xab2b, 0xcd4e, 0x0003, 0x002b, 0x004e,
395  0x807e, 0x8080, 0x8082, 0xab2c, 0xcd4f, 0x002a, 0x004d, 0x007a,
396  0x807f, 0x8081, 0x8083, 0xab2d, 0xcd76, 0x004c, 0x0079, 0x007f,
397  0x8080, 0x8082, 0x8084, 0xab54, 0xcd98, 0x0078, 0x007e, 0x0080,
398  0x8081, 0x8083, 0x80ab, 0xab76, 0xcdc4, 0x007d, 0x007f, 0x0081,
399  0x8083, 0x80ab, 0xab76, 0xcdc4, 0x007d, 0x007f, 0x0081, 0xff83,
400  0x80aa, 0x80cd, 0xaba2, 0xcdc9, 0x007e, 0x0080, 0xff82, 0xff84,
401  0x80cc, 0x80f9, 0xaba7, 0xcdca, 0x007f, 0xff81, 0xff83, 0xff85,
402  0x80f8, 0x80fe, 0xaba8, 0xcdcb, 0xff80, 0xff82, 0xff84, 0xff8b,
403  0x80fd, 0x80ff, 0xaba9, 0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6,
404  0x80fe, 0x8100, 0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8,
405  0x80ff, 0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7, 0x0000,
406  0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001,
407  0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002,
408  0x8002, 0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001, 0x0003,
409  0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000, 0x0002, 0x0004,
410  0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff, 0x0001, 0x0003, 0x0005,
411  0x8055, 0x807e, 0xab28, 0xcd4b, 0x0000, 0x0002, 0x0004, 0x0006,
412  0x807d, 0x807f, 0xab29, 0xcd4c, 0x0001, 0x0003, 0x0005, 0x002d,
413  0x807e, 0x8080, 0xab2a, 0xcd4d, 0x0002, 0x0004, 0x002c, 0x004f,
414  0x807f, 0x8081, 0xab2b, 0xcd4e, 0x0003, 0x002b, 0x004e, 0x007b,
415  0x8080, 0x8082, 0xab2c, 0xcd4f, 0x002a, 0x004d, 0x007a, 0x0080,
416  0x8081, 0x8083, 0xab2d, 0xcd76, 0x004c, 0x0079, 0x007f, 0x0081,
417  0x8082, 0x8084, 0xab54, 0xcd98, 0x0078, 0x007e, 0x0080, 0x0082,
418  0x8084, 0xab54, 0xcd98, 0x0078, 0x007e, 0x0080, 0x0082, 0xfff0,
419  0x80ab, 0xab76, 0xcdc4, 0x007d, 0x007f, 0x0081, 0xff83, 0xfff1,
420  0x80cd, 0xaba2, 0xcdc9, 0x007e, 0x0080, 0xff82, 0xff84, 0xfff2,
421  0x80f9, 0xaba7, 0xcdca, 0x007f, 0xff81, 0xff83, 0xff85, 0xfff8,
422  0x80fe, 0xaba8, 0xcdcb, 0xff80, 0xff82, 0xff84, 0xff8b, 0x0023,
423  0x80ff, 0xaba9, 0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045,
424  0x8100, 0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x006d,
425  0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e,
426  0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f,
427  0x8003, 0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002, 0x0070,
428  0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001, 0x0003, 0x0071,
429  0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000, 0x0002, 0x0004, 0x0072,
430  0x8056, 0xab27, 0xcd4a, 0xffff, 0x0001, 0x0003, 0x0005, 0x0073,
431  0x807e, 0xab28, 0xcd4b, 0x0000, 0x0002, 0x0004, 0x0006, 0x009a,
432  0x807f, 0xab29, 0xcd4c, 0x0001, 0x0003, 0x0005, 0x002d, 0x00bc,
433  0x8080, 0xab2a, 0xcd4d, 0x0002, 0x0004, 0x002c, 0x004f, 0x00e8,
434  0x8081, 0xab2b, 0xcd4e, 0x0003, 0x002b, 0x004e, 0x007b, 0x00ed,
435  0x8082, 0xab2c, 0xcd4f, 0x002a, 0x004d, 0x007a, 0x0080, 0x00ee,
436  0x8083, 0xab2d, 0xcd76, 0x004c, 0x0079, 0x007f, 0x0081, 0x00ef,
437  0xab2d, 0xcd76, 0x004c, 0x0079, 0x007f, 0x0081, 0x00ef, 0xfffd,
438  0xab54, 0xcd98, 0x0078, 0x007e, 0x0080, 0x0082, 0xfff0, 0xfffe,
439  0xab76, 0xcdc4, 0x007d, 0x007f, 0x0081, 0xff83, 0xfff1, 0xffff,
440  0xaba2, 0xcdc9, 0x007e, 0x0080, 0xff82, 0xff84, 0xfff2, 0x0005,
441  0xaba7, 0xcdca, 0x007f, 0xff81, 0xff83, 0xff85, 0xfff8, 0x0030,
442  0xaba8, 0xcdcb, 0xff80, 0xff82, 0xff84, 0xff8b, 0x0023, 0x0052,
443  0xaba9, 0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045, 0x007a,
444  0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x006d, 0x007b,
445  0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e, 0x007c,
446  0xaaac, 0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f, 0x007d,
447  0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002, 0x0070, 0x007e,
448  0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001, 0x0003, 0x0071, 0x007f,
449  0xaaff, 0xcd49, 0xfffe, 0x0000, 0x0002, 0x0004, 0x0072, 0x0080,
450  0xab27, 0xcd4a, 0xffff, 0x0001, 0x0003, 0x0005, 0x0073, 0x00a7,
451  0xab28, 0xcd4b, 0x0000, 0x0002, 0x0004, 0x0006, 0x009a, 0x00c9,
452  0xab29, 0xcd4c, 0x0001, 0x0003, 0x0005, 0x002d, 0x00bc, 0x00f5,
453  0xab2a, 0xcd4d, 0x0002, 0x0004, 0x002c, 0x004f, 0x00e8, 0x00fa,
454  0xab2b, 0xcd4e, 0x0003, 0x002b, 0x004e, 0x007b, 0x00ed, 0x00fb,
455  0xab2c, 0xcd4f, 0x002a, 0x004d, 0x007a, 0x0080, 0x00ee, 0x00fc,
456  0xcd4f, 0x002a, 0x004d, 0x007a, 0x0080, 0x00ee, 0x00fc, 0xfffe,
457  0xcd76, 0x004c, 0x0079, 0x007f, 0x0081, 0x00ef, 0xfffd, 0xffff,
458  0xcd98, 0x0078, 0x007e, 0x0080, 0x0082, 0xfff0, 0xfffe, 0x0000,
459  0xcdc4, 0x007d, 0x007f, 0x0081, 0xff83, 0xfff1, 0xffff, 0x0006,
460  0xcdc9, 0x007e, 0x0080, 0xff82, 0xff84, 0xfff2, 0x0005, 0x0031,
461  0xcdca, 0x007f, 0xff81, 0xff83, 0xff85, 0xfff8, 0x0030, 0x0053,
462  0xcdcb, 0xff80, 0xff82, 0xff84, 0xff8b, 0x0023, 0x0052, 0x007b,
463  0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045, 0x007a, 0x007c,
464  0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x006d, 0x007b, 0x007d,
465  0xccce, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e, 0x007c, 0x007e,
466  0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f, 0x007d, 0x007f,
467  0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002, 0x0070, 0x007e, 0x0080,
468  0xcd21, 0xfffd, 0xffff, 0x0001, 0x0003, 0x0071, 0x007f, 0x0081,
469  0xcd49, 0xfffe, 0x0000, 0x0002, 0x0004, 0x0072, 0x0080, 0x00a8,
470  0xcd4a, 0xffff, 0x0001, 0x0003, 0x0005, 0x0073, 0x00a7, 0x00ca,
471  0xcd4b, 0x0000, 0x0002, 0x0004, 0x0006, 0x009a, 0x00c9, 0x00f6,
472  0xcd4c, 0x0001, 0x0003, 0x0005, 0x002d, 0x00bc, 0x00f5, 0x00fb,
473  0xcd4d, 0x0002, 0x0004, 0x002c, 0x004f, 0x00e8, 0x00fa, 0x00fc,
474  0xcd4e, 0x0003, 0x002b, 0x004e, 0x007b, 0x00ed, 0x00fb, 0x00fd,
475  0x0003, 0x002b, 0x004e, 0x007b, 0x00ed, 0x00fb, 0x00fd, 0xffff,
476  0x002a, 0x004d, 0x007a, 0x0080, 0x00ee, 0x00fc, 0xfffe, 0x0000,
477  0x004c, 0x0079, 0x007f, 0x0081, 0x00ef, 0xfffd, 0xffff, 0x0001,
478  0x0078, 0x007e, 0x0080, 0x0082, 0xfff0, 0xfffe, 0x0000, 0x0007,
479  0x007d, 0x007f, 0x0081, 0xff83, 0xfff1, 0xffff, 0x0006, 0x0032,
480  0x007e, 0x0080, 0xff82, 0xff84, 0xfff2, 0x0005, 0x0031, 0x0054,
481  0x007f, 0xff81, 0xff83, 0xff85, 0xfff8, 0x0030, 0x0053, 0x007c,
482  0xff80, 0xff82, 0xff84, 0xff8b, 0x0023, 0x0052, 0x007b, 0x007d,
483  0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045, 0x007a, 0x007c, 0x007e,
484  0xff82, 0xff89, 0xffb5, 0xffd8, 0x006d, 0x007b, 0x007d, 0x007f,
485  0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e, 0x007c, 0x007e, 0x0080,
486  0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f, 0x007d, 0x007f, 0x0081,
487  0xffd5, 0xfffe, 0x0000, 0x0002, 0x0070, 0x007e, 0x0080, 0x0082,
488  0xfffd, 0xffff, 0x0001, 0x0003, 0x0071, 0x007f, 0x0081, 0x00a9,
489  0xfffe, 0x0000, 0x0002, 0x0004, 0x0072, 0x0080, 0x00a8, 0x00cb,
490  0xffff, 0x0001, 0x0003, 0x0005, 0x0073, 0x00a7, 0x00ca, 0x00f7,
491  0x0000, 0x0002, 0x0004, 0x0006, 0x009a, 0x00c9, 0x00f6, 0x00fc,
492  0x0001, 0x0003, 0x0005, 0x002d, 0x00bc, 0x00f5, 0x00fb, 0x00fd,
493  0x0002, 0x0004, 0x002c, 0x004f, 0x00e8, 0x00fa, 0x00fc, 0x00fe,
494};
495const unsigned kExpectedCount_NEON_uaddw2_8H = 456;
496
497#endif  // VIXL_SIM_UADDW2_8H_TRACE_AARCH64_H_
498