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