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_SQADD_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_SQADD_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_sqadd_8H[] = {
38  0x00fc, 0x00fe, 0x6666, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0000,
39  0x00fd, 0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x0001,
40  0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff, 0x7ffe, 0x7fff, 0x0002,
41  0x55d3, 0x7fff, 0x7fff, 0x7fff, 0x7ffd, 0x7fff, 0x7fff, 0x0010,
42  0x7fff, 0x7fff, 0x7fff, 0x5555, 0x7ffe, 0x7fff, 0x7fff, 0x007d,
43  0x7fff, 0x7fff, 0x3333, 0x5556, 0x7fff, 0x7fff, 0x7fff, 0x007e,
44  0x7fff, 0x007f, 0x3334, 0x5557, 0x7fff, 0x7fff, 0x7fff, 0x007f,
45  0x007e, 0x0080, 0x3335, 0x5565, 0x7fff, 0x7fff, 0x7fff, 0x3333,
46  0x007f, 0x0081, 0x3343, 0x55d2, 0x7fff, 0x7fff, 0x7fff, 0x5555,
47  0x0080, 0x008f, 0x33b0, 0x55d3, 0x7fff, 0x7fff, 0x7fff, 0x7ffd,
48  0x008e, 0x00fc, 0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff, 0x7ffe,
49  0x00fb, 0x00fd, 0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
50  0x00fc, 0x00fe, 0x6666, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x8000,
51  0x00fd, 0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0x8001,
52  0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff, 0xfffe, 0x0000, 0xaaaa,
53  0x55d3, 0x7fff, 0x7fff, 0x7fff, 0xfffd, 0xffff, 0x2aa9, 0xcccc,
54  0x7fff, 0x7fff, 0x7fff, 0xd555, 0xfffe, 0x2aa8, 0x4ccb, 0xff80,
55  0x7fff, 0x7fff, 0xb333, 0xd556, 0x2aa7, 0x4cca, 0x7f7f, 0xff81,
56  0x7fff, 0x807f, 0xb334, 0xffff, 0x4cc9, 0x7f7e, 0x7f80, 0xff82,
57  0x807e, 0x8080, 0xdddd, 0x2221, 0x7f7d, 0x7f7f, 0x7f81, 0xff83,
58  0x807f, 0xab29, 0xffff, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0xfff0,
59  0xab28, 0xcd4b, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fef, 0xfffd,
60  0xcd4a, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fee, 0x7ffc, 0xfffe,
61  0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fed, 0x7ffb, 0x7ffd, 0xffff,
62  0x0000, 0x32b5, 0x54d8, 0x7fed, 0x7ffb, 0x7ffd, 0xffff, 0x0001,
63  0x0001, 0x32b6, 0x5545, 0x7ffa, 0x7ffc, 0x7ffe, 0x0000, 0x0002,
64  0x0002, 0x3323, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x0001, 0x0003,
65  0x006f, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x7fff, 0x0002, 0x0011,
66  0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x7fff, 0x0010, 0x007e,
67  0x007d, 0x3332, 0x5555, 0x7ffe, 0x7fff, 0x7fff, 0x007d, 0x007f,
68  0x007e, 0x3333, 0x5556, 0x7fff, 0x7fff, 0x7fff, 0x007e, 0x0080,
69  0x007f, 0x3334, 0x5557, 0x7fff, 0x7fff, 0x7fff, 0x007f, 0x3334,
70  0x0080, 0x3335, 0x5565, 0x7fff, 0x7fff, 0x7fff, 0x3333, 0x5556,
71  0x0081, 0x3343, 0x55d2, 0x7fff, 0x7fff, 0x7fff, 0x5555, 0x7ffe,
72  0x008f, 0x33b0, 0x55d3, 0x7fff, 0x7fff, 0x7fff, 0x7ffd, 0x7fff,
73  0x00fc, 0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff, 0x7ffe, 0x7fff,
74  0x00fd, 0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x8001,
75  0x00fe, 0x6666, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x8000, 0x8002,
76  0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0x8001, 0xaaab,
77  0x55d4, 0x7fff, 0x7fff, 0x7fff, 0xfffe, 0x0000, 0xaaaa, 0xcccd,
78  0x7fff, 0x7fff, 0x7fff, 0xfffd, 0xffff, 0x2aa9, 0xcccc, 0xff81,
79  0x7fff, 0x7fff, 0xd555, 0xfffe, 0x2aa8, 0x4ccb, 0xff80, 0xff82,
80  0x7fff, 0xb333, 0xd556, 0x2aa7, 0x4cca, 0x7f7f, 0xff81, 0xff83,
81  0x807f, 0xb334, 0xffff, 0x4cc9, 0x7f7e, 0x7f80, 0xff82, 0xff84,
82  0x8080, 0xdddd, 0x2221, 0x7f7d, 0x7f7f, 0x7f81, 0xff83, 0xfff1,
83  0xab29, 0xffff, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0xfff0, 0xfffe,
84  0xcd4b, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fef, 0xfffd, 0xffff,
85  0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fee, 0x7ffc, 0xfffe, 0x0000,
86  0x32b4, 0x54d7, 0x7f80, 0x7fee, 0x7ffc, 0xfffe, 0x0000, 0x0002,
87  0x32b5, 0x54d8, 0x7fed, 0x7ffb, 0x7ffd, 0xffff, 0x0001, 0x0003,
88  0x32b6, 0x5545, 0x7ffa, 0x7ffc, 0x7ffe, 0x0000, 0x0002, 0x0004,
89  0x3323, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x0001, 0x0003, 0x0012,
90  0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x7fff, 0x0002, 0x0011, 0x007f,
91  0x3331, 0x5554, 0x7ffd, 0x7fff, 0x7fff, 0x0010, 0x007e, 0x0080,
92  0x3332, 0x5555, 0x7ffe, 0x7fff, 0x7fff, 0x007d, 0x007f, 0x0081,
93  0x3333, 0x5556, 0x7fff, 0x7fff, 0x7fff, 0x007e, 0x0080, 0x3335,
94  0x3334, 0x5557, 0x7fff, 0x7fff, 0x7fff, 0x007f, 0x3334, 0x5557,
95  0x3335, 0x5565, 0x7fff, 0x7fff, 0x7fff, 0x3333, 0x5556, 0x7fff,
96  0x3343, 0x55d2, 0x7fff, 0x7fff, 0x7fff, 0x5555, 0x7ffe, 0x7fff,
97  0x33b0, 0x55d3, 0x7fff, 0x7fff, 0x7fff, 0x7ffd, 0x7fff, 0x7fff,
98  0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff, 0x7ffe, 0x7fff, 0x8002,
99  0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x8001, 0x8003,
100  0x6666, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x8000, 0x8002, 0xaaac,
101  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0x8001, 0xaaab, 0xccce,
102  0x7fff, 0x7fff, 0x7fff, 0xfffe, 0x0000, 0xaaaa, 0xcccd, 0xff82,
103  0x7fff, 0x7fff, 0xfffd, 0xffff, 0x2aa9, 0xcccc, 0xff81, 0xff83,
104  0x7fff, 0xd555, 0xfffe, 0x2aa8, 0x4ccb, 0xff80, 0xff82, 0xff84,
105  0xb333, 0xd556, 0x2aa7, 0x4cca, 0x7f7f, 0xff81, 0xff83, 0xff85,
106  0xb334, 0xffff, 0x4cc9, 0x7f7e, 0x7f80, 0xff82, 0xff84, 0xfff2,
107  0xdddd, 0x2221, 0x7f7d, 0x7f7f, 0x7f81, 0xff83, 0xfff1, 0xffff,
108  0xffff, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0xfff0, 0xfffe, 0x0000,
109  0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fef, 0xfffd, 0xffff, 0x0001,
110  0x54d6, 0x7f7f, 0x7f81, 0x7fef, 0xfffd, 0xffff, 0x0001, 0x0010,
111  0x54d7, 0x7f80, 0x7fee, 0x7ffc, 0xfffe, 0x0000, 0x0002, 0x0011,
112  0x54d8, 0x7fed, 0x7ffb, 0x7ffd, 0xffff, 0x0001, 0x0003, 0x0012,
113  0x5545, 0x7ffa, 0x7ffc, 0x7ffe, 0x0000, 0x0002, 0x0004, 0x0020,
114  0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x0001, 0x0003, 0x0012, 0x008d,
115  0x5553, 0x7ffc, 0x7ffe, 0x7fff, 0x0002, 0x0011, 0x007f, 0x008e,
116  0x5554, 0x7ffd, 0x7fff, 0x7fff, 0x0010, 0x007e, 0x0080, 0x008f,
117  0x5555, 0x7ffe, 0x7fff, 0x7fff, 0x007d, 0x007f, 0x0081, 0x3343,
118  0x5556, 0x7fff, 0x7fff, 0x7fff, 0x007e, 0x0080, 0x3335, 0x5565,
119  0x5557, 0x7fff, 0x7fff, 0x7fff, 0x007f, 0x3334, 0x5557, 0x7fff,
120  0x5565, 0x7fff, 0x7fff, 0x7fff, 0x3333, 0x5556, 0x7fff, 0x7fff,
121  0x55d2, 0x7fff, 0x7fff, 0x7fff, 0x5555, 0x7ffe, 0x7fff, 0x7fff,
122  0x55d3, 0x7fff, 0x7fff, 0x7fff, 0x7ffd, 0x7fff, 0x7fff, 0x8010,
123  0x55d4, 0x7fff, 0x7fff, 0x7fff, 0x7ffe, 0x7fff, 0x8002, 0x8011,
124  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x8001, 0x8003, 0xaaba,
125  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x8000, 0x8002, 0xaaac, 0xccdc,
126  0x7fff, 0x7fff, 0x7fff, 0xffff, 0x8001, 0xaaab, 0xccce, 0xff90,
127  0x7fff, 0x7fff, 0xfffe, 0x0000, 0xaaaa, 0xcccd, 0xff82, 0xff91,
128  0x7fff, 0xfffd, 0xffff, 0x2aa9, 0xcccc, 0xff81, 0xff83, 0xff92,
129  0xd555, 0xfffe, 0x2aa8, 0x4ccb, 0xff80, 0xff82, 0xff84, 0xff93,
130  0xd556, 0x2aa7, 0x4cca, 0x7f7f, 0xff81, 0xff83, 0xff85, 0x0000,
131  0xffff, 0x4cc9, 0x7f7e, 0x7f80, 0xff82, 0xff84, 0xfff2, 0x000d,
132  0x2221, 0x7f7d, 0x7f7f, 0x7f81, 0xff83, 0xfff1, 0xffff, 0x000e,
133  0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0xfff0, 0xfffe, 0x0000, 0x000f,
134  0x7f7e, 0x7f80, 0x7f82, 0xfff0, 0xfffe, 0x0000, 0x000f, 0x007d,
135  0x7f7f, 0x7f81, 0x7fef, 0xfffd, 0xffff, 0x0001, 0x0010, 0x007e,
136  0x7f80, 0x7fee, 0x7ffc, 0xfffe, 0x0000, 0x0002, 0x0011, 0x007f,
137  0x7fed, 0x7ffb, 0x7ffd, 0xffff, 0x0001, 0x0003, 0x0012, 0x008d,
138  0x7ffa, 0x7ffc, 0x7ffe, 0x0000, 0x0002, 0x0004, 0x0020, 0x00fa,
139  0x7ffb, 0x7ffd, 0x7fff, 0x0001, 0x0003, 0x0012, 0x008d, 0x00fb,
140  0x7ffc, 0x7ffe, 0x7fff, 0x0002, 0x0011, 0x007f, 0x008e, 0x00fc,
141  0x7ffd, 0x7fff, 0x7fff, 0x0010, 0x007e, 0x0080, 0x008f, 0x33b0,
142  0x7ffe, 0x7fff, 0x7fff, 0x007d, 0x007f, 0x0081, 0x3343, 0x55d2,
143  0x7fff, 0x7fff, 0x7fff, 0x007e, 0x0080, 0x3335, 0x5565, 0x7fff,
144  0x7fff, 0x7fff, 0x7fff, 0x007f, 0x3334, 0x5557, 0x7fff, 0x7fff,
145  0x7fff, 0x7fff, 0x7fff, 0x3333, 0x5556, 0x7fff, 0x7fff, 0x7fff,
146  0x7fff, 0x7fff, 0x7fff, 0x5555, 0x7ffe, 0x7fff, 0x7fff, 0x807d,
147  0x7fff, 0x7fff, 0x7fff, 0x7ffd, 0x7fff, 0x7fff, 0x8010, 0x807e,
148  0x7fff, 0x7fff, 0x7fff, 0x7ffe, 0x7fff, 0x8002, 0x8011, 0xab27,
149  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x8001, 0x8003, 0xaaba, 0xcd49,
150  0x7fff, 0x7fff, 0x7fff, 0x8000, 0x8002, 0xaaac, 0xccdc, 0xfffd,
151  0x7fff, 0x7fff, 0xffff, 0x8001, 0xaaab, 0xccce, 0xff90, 0xfffe,
152  0x7fff, 0xfffe, 0x0000, 0xaaaa, 0xcccd, 0xff82, 0xff91, 0xffff,
153  0xfffd, 0xffff, 0x2aa9, 0xcccc, 0xff81, 0xff83, 0xff92, 0x0000,
154  0xfffe, 0x2aa8, 0x4ccb, 0xff80, 0xff82, 0xff84, 0xff93, 0x006d,
155  0x2aa7, 0x4cca, 0x7f7f, 0xff81, 0xff83, 0xff85, 0x0000, 0x007a,
156  0x4cc9, 0x7f7e, 0x7f80, 0xff82, 0xff84, 0xfff2, 0x000d, 0x007b,
157  0x7f7d, 0x7f7f, 0x7f81, 0xff83, 0xfff1, 0xffff, 0x000e, 0x007c,
158  0x7f7f, 0x7f81, 0xff83, 0xfff1, 0xffff, 0x000e, 0x007c, 0x007e,
159  0x7f80, 0x7f82, 0xfff0, 0xfffe, 0x0000, 0x000f, 0x007d, 0x007f,
160  0x7f81, 0x7fef, 0xfffd, 0xffff, 0x0001, 0x0010, 0x007e, 0x0080,
161  0x7fee, 0x7ffc, 0xfffe, 0x0000, 0x0002, 0x0011, 0x007f, 0x008e,
162  0x7ffb, 0x7ffd, 0xffff, 0x0001, 0x0003, 0x0012, 0x008d, 0x00fb,
163  0x7ffc, 0x7ffe, 0x0000, 0x0002, 0x0004, 0x0020, 0x00fa, 0x00fc,
164  0x7ffd, 0x7fff, 0x0001, 0x0003, 0x0012, 0x008d, 0x00fb, 0x00fd,
165  0x7ffe, 0x7fff, 0x0002, 0x0011, 0x007f, 0x008e, 0x00fc, 0x33b1,
166  0x7fff, 0x7fff, 0x0010, 0x007e, 0x0080, 0x008f, 0x33b0, 0x55d3,
167  0x7fff, 0x7fff, 0x007d, 0x007f, 0x0081, 0x3343, 0x55d2, 0x7fff,
168  0x7fff, 0x7fff, 0x007e, 0x0080, 0x3335, 0x5565, 0x7fff, 0x7fff,
169  0x7fff, 0x7fff, 0x007f, 0x3334, 0x5557, 0x7fff, 0x7fff, 0x7fff,
170  0x7fff, 0x7fff, 0x3333, 0x5556, 0x7fff, 0x7fff, 0x7fff, 0x807e,
171  0x7fff, 0x7fff, 0x5555, 0x7ffe, 0x7fff, 0x7fff, 0x807d, 0x807f,
172  0x7fff, 0x7fff, 0x7ffd, 0x7fff, 0x7fff, 0x8010, 0x807e, 0xab28,
173  0x7fff, 0x7fff, 0x7ffe, 0x7fff, 0x8002, 0x8011, 0xab27, 0xcd4a,
174  0x7fff, 0x7fff, 0x7fff, 0x8001, 0x8003, 0xaaba, 0xcd49, 0xfffe,
175  0x7fff, 0x7fff, 0x8000, 0x8002, 0xaaac, 0xccdc, 0xfffd, 0xffff,
176  0x7fff, 0xffff, 0x8001, 0xaaab, 0xccce, 0xff90, 0xfffe, 0x0000,
177  0xfffe, 0x0000, 0xaaaa, 0xcccd, 0xff82, 0xff91, 0xffff, 0x0001,
178  0xffff, 0x2aa9, 0xcccc, 0xff81, 0xff83, 0xff92, 0x0000, 0x006e,
179  0x2aa8, 0x4ccb, 0xff80, 0xff82, 0xff84, 0xff93, 0x006d, 0x007b,
180  0x4cca, 0x7f7f, 0xff81, 0xff83, 0xff85, 0x0000, 0x007a, 0x007c,
181  0x7f7e, 0x7f80, 0xff82, 0xff84, 0xfff2, 0x000d, 0x007b, 0x007d,
182  0x7f80, 0xff82, 0xff84, 0xfff2, 0x000d, 0x007b, 0x007d, 0x007f,
183  0x7f81, 0xff83, 0xfff1, 0xffff, 0x000e, 0x007c, 0x007e, 0x0080,
184  0x7f82, 0xfff0, 0xfffe, 0x0000, 0x000f, 0x007d, 0x007f, 0x0081,
185  0x7fef, 0xfffd, 0xffff, 0x0001, 0x0010, 0x007e, 0x0080, 0x008f,
186  0x7ffc, 0xfffe, 0x0000, 0x0002, 0x0011, 0x007f, 0x008e, 0x00fc,
187  0x7ffd, 0xffff, 0x0001, 0x0003, 0x0012, 0x008d, 0x00fb, 0x00fd,
188  0x7ffe, 0x0000, 0x0002, 0x0004, 0x0020, 0x00fa, 0x00fc, 0x00fe,
189  0x7fff, 0x0001, 0x0003, 0x0012, 0x008d, 0x00fb, 0x00fd, 0x33b2,
190  0x7fff, 0x0002, 0x0011, 0x007f, 0x008e, 0x00fc, 0x33b1, 0x55d4,
191  0x7fff, 0x0010, 0x007e, 0x0080, 0x008f, 0x33b0, 0x55d3, 0x7fff,
192  0x7fff, 0x007d, 0x007f, 0x0081, 0x3343, 0x55d2, 0x7fff, 0x7fff,
193  0x7fff, 0x007e, 0x0080, 0x3335, 0x5565, 0x7fff, 0x7fff, 0x7fff,
194  0x7fff, 0x007f, 0x3334, 0x5557, 0x7fff, 0x7fff, 0x7fff, 0x807f,
195  0x7fff, 0x3333, 0x5556, 0x7fff, 0x7fff, 0x7fff, 0x807e, 0x8080,
196  0x7fff, 0x5555, 0x7ffe, 0x7fff, 0x7fff, 0x807d, 0x807f, 0xab29,
197  0x7fff, 0x7ffd, 0x7fff, 0x7fff, 0x8010, 0x807e, 0xab28, 0xcd4b,
198  0x7fff, 0x7ffe, 0x7fff, 0x8002, 0x8011, 0xab27, 0xcd4a, 0xffff,
199  0x7fff, 0x7fff, 0x8001, 0x8003, 0xaaba, 0xcd49, 0xfffe, 0x0000,
200  0x7fff, 0x8000, 0x8002, 0xaaac, 0xccdc, 0xfffd, 0xffff, 0x0001,
201  0xffff, 0x8001, 0xaaab, 0xccce, 0xff90, 0xfffe, 0x0000, 0x0002,
202  0x0000, 0xaaaa, 0xcccd, 0xff82, 0xff91, 0xffff, 0x0001, 0x006f,
203  0x2aa9, 0xcccc, 0xff81, 0xff83, 0xff92, 0x0000, 0x006e, 0x007c,
204  0x4ccb, 0xff80, 0xff82, 0xff84, 0xff93, 0x006d, 0x007b, 0x007d,
205  0x7f7f, 0xff81, 0xff83, 0xff85, 0x0000, 0x007a, 0x007c, 0x007e,
206  0xff81, 0xff83, 0xff85, 0x0000, 0x007a, 0x007c, 0x007e, 0x3333,
207  0xff82, 0xff84, 0xfff2, 0x000d, 0x007b, 0x007d, 0x007f, 0x3334,
208  0xff83, 0xfff1, 0xffff, 0x000e, 0x007c, 0x007e, 0x0080, 0x3335,
209  0xfff0, 0xfffe, 0x0000, 0x000f, 0x007d, 0x007f, 0x0081, 0x3343,
210  0xfffd, 0xffff, 0x0001, 0x0010, 0x007e, 0x0080, 0x008f, 0x33b0,
211  0xfffe, 0x0000, 0x0002, 0x0011, 0x007f, 0x008e, 0x00fc, 0x33b1,
212  0xffff, 0x0001, 0x0003, 0x0012, 0x008d, 0x00fb, 0x00fd, 0x33b2,
213  0x0000, 0x0002, 0x0004, 0x0020, 0x00fa, 0x00fc, 0x00fe, 0x6666,
214  0x0001, 0x0003, 0x0012, 0x008d, 0x00fb, 0x00fd, 0x33b2, 0x7fff,
215  0x0002, 0x0011, 0x007f, 0x008e, 0x00fc, 0x33b1, 0x55d4, 0x7fff,
216  0x0010, 0x007e, 0x0080, 0x008f, 0x33b0, 0x55d3, 0x7fff, 0x7fff,
217  0x007d, 0x007f, 0x0081, 0x3343, 0x55d2, 0x7fff, 0x7fff, 0x7fff,
218  0x007e, 0x0080, 0x3335, 0x5565, 0x7fff, 0x7fff, 0x7fff, 0xb333,
219  0x007f, 0x3334, 0x5557, 0x7fff, 0x7fff, 0x7fff, 0x807f, 0xb334,
220  0x3333, 0x5556, 0x7fff, 0x7fff, 0x7fff, 0x807e, 0x8080, 0xdddd,
221  0x5555, 0x7ffe, 0x7fff, 0x7fff, 0x807d, 0x807f, 0xab29, 0xffff,
222  0x7ffd, 0x7fff, 0x7fff, 0x8010, 0x807e, 0xab28, 0xcd4b, 0x32b3,
223  0x7ffe, 0x7fff, 0x8002, 0x8011, 0xab27, 0xcd4a, 0xffff, 0x32b4,
224  0x7fff, 0x8001, 0x8003, 0xaaba, 0xcd49, 0xfffe, 0x0000, 0x32b5,
225  0x8000, 0x8002, 0xaaac, 0xccdc, 0xfffd, 0xffff, 0x0001, 0x32b6,
226  0x8001, 0xaaab, 0xccce, 0xff90, 0xfffe, 0x0000, 0x0002, 0x3323,
227  0xaaaa, 0xcccd, 0xff82, 0xff91, 0xffff, 0x0001, 0x006f, 0x3330,
228  0xcccc, 0xff81, 0xff83, 0xff92, 0x0000, 0x006e, 0x007c, 0x3331,
229  0xff80, 0xff82, 0xff84, 0xff93, 0x006d, 0x007b, 0x007d, 0x3332,
230  0xff82, 0xff84, 0xff93, 0x006d, 0x007b, 0x007d, 0x3332, 0x5555,
231  0xff83, 0xff85, 0x0000, 0x007a, 0x007c, 0x007e, 0x3333, 0x5556,
232  0xff84, 0xfff2, 0x000d, 0x007b, 0x007d, 0x007f, 0x3334, 0x5557,
233  0xfff1, 0xffff, 0x000e, 0x007c, 0x007e, 0x0080, 0x3335, 0x5565,
234  0xfffe, 0x0000, 0x000f, 0x007d, 0x007f, 0x0081, 0x3343, 0x55d2,
235  0xffff, 0x0001, 0x0010, 0x007e, 0x0080, 0x008f, 0x33b0, 0x55d3,
236  0x0000, 0x0002, 0x0011, 0x007f, 0x008e, 0x00fc, 0x33b1, 0x55d4,
237  0x0001, 0x0003, 0x0012, 0x008d, 0x00fb, 0x00fd, 0x33b2, 0x7fff,
238  0x0002, 0x0004, 0x0020, 0x00fa, 0x00fc, 0x00fe, 0x6666, 0x7fff,
239  0x0003, 0x0012, 0x008d, 0x00fb, 0x00fd, 0x33b2, 0x7fff, 0x7fff,
240  0x0011, 0x007f, 0x008e, 0x00fc, 0x33b1, 0x55d4, 0x7fff, 0x7fff,
241  0x007e, 0x0080, 0x008f, 0x33b0, 0x55d3, 0x7fff, 0x7fff, 0x7fff,
242  0x007f, 0x0081, 0x3343, 0x55d2, 0x7fff, 0x7fff, 0x7fff, 0xd555,
243  0x0080, 0x3335, 0x5565, 0x7fff, 0x7fff, 0x7fff, 0xb333, 0xd556,
244  0x3334, 0x5557, 0x7fff, 0x7fff, 0x7fff, 0x807f, 0xb334, 0xffff,
245  0x5556, 0x7fff, 0x7fff, 0x7fff, 0x807e, 0x8080, 0xdddd, 0x2221,
246  0x7ffe, 0x7fff, 0x7fff, 0x807d, 0x807f, 0xab29, 0xffff, 0x54d5,
247  0x7fff, 0x7fff, 0x8010, 0x807e, 0xab28, 0xcd4b, 0x32b3, 0x54d6,
248  0x7fff, 0x8002, 0x8011, 0xab27, 0xcd4a, 0xffff, 0x32b4, 0x54d7,
249  0x8001, 0x8003, 0xaaba, 0xcd49, 0xfffe, 0x0000, 0x32b5, 0x54d8,
250  0x8002, 0xaaac, 0xccdc, 0xfffd, 0xffff, 0x0001, 0x32b6, 0x5545,
251  0xaaab, 0xccce, 0xff90, 0xfffe, 0x0000, 0x0002, 0x3323, 0x5552,
252  0xcccd, 0xff82, 0xff91, 0xffff, 0x0001, 0x006f, 0x3330, 0x5553,
253  0xff81, 0xff83, 0xff92, 0x0000, 0x006e, 0x007c, 0x3331, 0x5554,
254  0xff83, 0xff92, 0x0000, 0x006e, 0x007c, 0x3331, 0x5554, 0x7ffd,
255  0xff84, 0xff93, 0x006d, 0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe,
256  0xff85, 0x0000, 0x007a, 0x007c, 0x007e, 0x3333, 0x5556, 0x7fff,
257  0xfff2, 0x000d, 0x007b, 0x007d, 0x007f, 0x3334, 0x5557, 0x7fff,
258  0xffff, 0x000e, 0x007c, 0x007e, 0x0080, 0x3335, 0x5565, 0x7fff,
259  0x0000, 0x000f, 0x007d, 0x007f, 0x0081, 0x3343, 0x55d2, 0x7fff,
260  0x0001, 0x0010, 0x007e, 0x0080, 0x008f, 0x33b0, 0x55d3, 0x7fff,
261  0x0002, 0x0011, 0x007f, 0x008e, 0x00fc, 0x33b1, 0x55d4, 0x7fff,
262  0x0003, 0x0012, 0x008d, 0x00fb, 0x00fd, 0x33b2, 0x7fff, 0x7fff,
263  0x0004, 0x0020, 0x00fa, 0x00fc, 0x00fe, 0x6666, 0x7fff, 0x7fff,
264  0x0012, 0x008d, 0x00fb, 0x00fd, 0x33b2, 0x7fff, 0x7fff, 0x7fff,
265  0x007f, 0x008e, 0x00fc, 0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff,
266  0x0080, 0x008f, 0x33b0, 0x55d3, 0x7fff, 0x7fff, 0x7fff, 0xfffd,
267  0x0081, 0x3343, 0x55d2, 0x7fff, 0x7fff, 0x7fff, 0xd555, 0xfffe,
268  0x3335, 0x5565, 0x7fff, 0x7fff, 0x7fff, 0xb333, 0xd556, 0x2aa7,
269  0x5557, 0x7fff, 0x7fff, 0x7fff, 0x807f, 0xb334, 0xffff, 0x4cc9,
270  0x7fff, 0x7fff, 0x7fff, 0x807e, 0x8080, 0xdddd, 0x2221, 0x7f7d,
271  0x7fff, 0x7fff, 0x807d, 0x807f, 0xab29, 0xffff, 0x54d5, 0x7f7e,
272  0x7fff, 0x8010, 0x807e, 0xab28, 0xcd4b, 0x32b3, 0x54d6, 0x7f7f,
273  0x8002, 0x8011, 0xab27, 0xcd4a, 0xffff, 0x32b4, 0x54d7, 0x7f80,
274  0x8003, 0xaaba, 0xcd49, 0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fed,
275  0xaaac, 0xccdc, 0xfffd, 0xffff, 0x0001, 0x32b6, 0x5545, 0x7ffa,
276  0xccce, 0xff90, 0xfffe, 0x0000, 0x0002, 0x3323, 0x5552, 0x7ffb,
277  0xff82, 0xff91, 0xffff, 0x0001, 0x006f, 0x3330, 0x5553, 0x7ffc,
278  0xff91, 0xffff, 0x0001, 0x006f, 0x3330, 0x5553, 0x7ffc, 0x7ffe,
279  0xff92, 0x0000, 0x006e, 0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff,
280  0xff93, 0x006d, 0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe, 0x7fff,
281  0x0000, 0x007a, 0x007c, 0x007e, 0x3333, 0x5556, 0x7fff, 0x7fff,
282  0x000d, 0x007b, 0x007d, 0x007f, 0x3334, 0x5557, 0x7fff, 0x7fff,
283  0x000e, 0x007c, 0x007e, 0x0080, 0x3335, 0x5565, 0x7fff, 0x7fff,
284  0x000f, 0x007d, 0x007f, 0x0081, 0x3343, 0x55d2, 0x7fff, 0x7fff,
285  0x0010, 0x007e, 0x0080, 0x008f, 0x33b0, 0x55d3, 0x7fff, 0x7fff,
286  0x0011, 0x007f, 0x008e, 0x00fc, 0x33b1, 0x55d4, 0x7fff, 0x7fff,
287  0x0012, 0x008d, 0x00fb, 0x00fd, 0x33b2, 0x7fff, 0x7fff, 0x7fff,
288  0x0020, 0x00fa, 0x00fc, 0x00fe, 0x6666, 0x7fff, 0x7fff, 0x7fff,
289  0x008d, 0x00fb, 0x00fd, 0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
290  0x008e, 0x00fc, 0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff, 0xfffe,
291  0x008f, 0x33b0, 0x55d3, 0x7fff, 0x7fff, 0x7fff, 0xfffd, 0xffff,
292  0x3343, 0x55d2, 0x7fff, 0x7fff, 0x7fff, 0xd555, 0xfffe, 0x2aa8,
293  0x5565, 0x7fff, 0x7fff, 0x7fff, 0xb333, 0xd556, 0x2aa7, 0x4cca,
294  0x7fff, 0x7fff, 0x7fff, 0x807f, 0xb334, 0xffff, 0x4cc9, 0x7f7e,
295  0x7fff, 0x7fff, 0x807e, 0x8080, 0xdddd, 0x2221, 0x7f7d, 0x7f7f,
296  0x7fff, 0x807d, 0x807f, 0xab29, 0xffff, 0x54d5, 0x7f7e, 0x7f80,
297  0x8010, 0x807e, 0xab28, 0xcd4b, 0x32b3, 0x54d6, 0x7f7f, 0x7f81,
298  0x8011, 0xab27, 0xcd4a, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fee,
299  0xaaba, 0xcd49, 0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fed, 0x7ffb,
300  0xccdc, 0xfffd, 0xffff, 0x0001, 0x32b6, 0x5545, 0x7ffa, 0x7ffc,
301  0xff90, 0xfffe, 0x0000, 0x0002, 0x3323, 0x5552, 0x7ffb, 0x7ffd,
302  0xfffe, 0x0000, 0x0002, 0x3323, 0x5552, 0x7ffb, 0x7ffd, 0x7fff,
303  0xffff, 0x0001, 0x006f, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x7fff,
304  0x0000, 0x006e, 0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x7fff,
305  0x006d, 0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe, 0x7fff, 0x7fff,
306  0x007a, 0x007c, 0x007e, 0x3333, 0x5556, 0x7fff, 0x7fff, 0x7fff,
307  0x007b, 0x007d, 0x007f, 0x3334, 0x5557, 0x7fff, 0x7fff, 0x7fff,
308  0x007c, 0x007e, 0x0080, 0x3335, 0x5565, 0x7fff, 0x7fff, 0x7fff,
309  0x007d, 0x007f, 0x0081, 0x3343, 0x55d2, 0x7fff, 0x7fff, 0x7fff,
310  0x007e, 0x0080, 0x008f, 0x33b0, 0x55d3, 0x7fff, 0x7fff, 0x7fff,
311  0x007f, 0x008e, 0x00fc, 0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff,
312  0x008d, 0x00fb, 0x00fd, 0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
313  0x00fa, 0x00fc, 0x00fe, 0x6666, 0x7fff, 0x7fff, 0x7fff, 0x7fff,
314  0x00fb, 0x00fd, 0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xffff,
315  0x00fc, 0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff, 0xfffe, 0x0000,
316  0x33b0, 0x55d3, 0x7fff, 0x7fff, 0x7fff, 0xfffd, 0xffff, 0x2aa9,
317  0x55d2, 0x7fff, 0x7fff, 0x7fff, 0xd555, 0xfffe, 0x2aa8, 0x4ccb,
318  0x7fff, 0x7fff, 0x7fff, 0xb333, 0xd556, 0x2aa7, 0x4cca, 0x7f7f,
319  0x7fff, 0x7fff, 0x807f, 0xb334, 0xffff, 0x4cc9, 0x7f7e, 0x7f80,
320  0x7fff, 0x807e, 0x8080, 0xdddd, 0x2221, 0x7f7d, 0x7f7f, 0x7f81,
321  0x807d, 0x807f, 0xab29, 0xffff, 0x54d5, 0x7f7e, 0x7f80, 0x7f82,
322  0x807e, 0xab28, 0xcd4b, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fef,
323  0xab27, 0xcd4a, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fee, 0x7ffc,
324  0xcd49, 0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fed, 0x7ffb, 0x7ffd,
325  0xfffd, 0xffff, 0x0001, 0x32b6, 0x5545, 0x7ffa, 0x7ffc, 0x7ffe,
326  0xffff, 0x0001, 0x32b6, 0x5545, 0x7ffa, 0x7ffc, 0x7ffe, 0x8000,
327  0x0000, 0x0002, 0x3323, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x8001,
328  0x0001, 0x006f, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x7fff, 0x8002,
329  0x006e, 0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x7fff, 0x8010,
330  0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe, 0x7fff, 0x7fff, 0x807d,
331  0x007c, 0x007e, 0x3333, 0x5556, 0x7fff, 0x7fff, 0x7fff, 0x807e,
332  0x007d, 0x007f, 0x3334, 0x5557, 0x7fff, 0x7fff, 0x7fff, 0x807f,
333  0x007e, 0x0080, 0x3335, 0x5565, 0x7fff, 0x7fff, 0x7fff, 0xb333,
334  0x007f, 0x0081, 0x3343, 0x55d2, 0x7fff, 0x7fff, 0x7fff, 0xd555,
335  0x0080, 0x008f, 0x33b0, 0x55d3, 0x7fff, 0x7fff, 0x7fff, 0xfffd,
336  0x008e, 0x00fc, 0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff, 0xfffe,
337  0x00fb, 0x00fd, 0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xffff,
338  0x00fc, 0x00fe, 0x6666, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x8000,
339  0x00fd, 0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0x8000,
340  0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff, 0xfffe, 0x0000, 0x8000,
341  0x55d3, 0x7fff, 0x7fff, 0x7fff, 0xfffd, 0xffff, 0x2aa9, 0x8000,
342  0x7fff, 0x7fff, 0x7fff, 0xd555, 0xfffe, 0x2aa8, 0x4ccb, 0x8000,
343  0x7fff, 0x7fff, 0xb333, 0xd556, 0x2aa7, 0x4cca, 0x7f7f, 0x8000,
344  0x7fff, 0x807f, 0xb334, 0xffff, 0x4cc9, 0x7f7e, 0x7f80, 0x8000,
345  0x807e, 0x8080, 0xdddd, 0x2221, 0x7f7d, 0x7f7f, 0x7f81, 0x8000,
346  0x807f, 0xab29, 0xffff, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x8000,
347  0xab28, 0xcd4b, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fef, 0x8000,
348  0xcd4a, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fee, 0x7ffc, 0x8000,
349  0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fed, 0x7ffb, 0x7ffd, 0x8000,
350  0x0000, 0x32b5, 0x54d8, 0x7fed, 0x7ffb, 0x7ffd, 0x8000, 0x8001,
351  0x0001, 0x32b6, 0x5545, 0x7ffa, 0x7ffc, 0x7ffe, 0x8000, 0x8002,
352  0x0002, 0x3323, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0x8003,
353  0x006f, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x7fff, 0x8002, 0x8011,
354  0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x7fff, 0x8010, 0x807e,
355  0x007d, 0x3332, 0x5555, 0x7ffe, 0x7fff, 0x7fff, 0x807d, 0x807f,
356  0x007e, 0x3333, 0x5556, 0x7fff, 0x7fff, 0x7fff, 0x807e, 0x8080,
357  0x007f, 0x3334, 0x5557, 0x7fff, 0x7fff, 0x7fff, 0x807f, 0xb334,
358  0x0080, 0x3335, 0x5565, 0x7fff, 0x7fff, 0x7fff, 0xb333, 0xd556,
359  0x0081, 0x3343, 0x55d2, 0x7fff, 0x7fff, 0x7fff, 0xd555, 0xfffe,
360  0x008f, 0x33b0, 0x55d3, 0x7fff, 0x7fff, 0x7fff, 0xfffd, 0xffff,
361  0x00fc, 0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff, 0xfffe, 0x0000,
362  0x00fd, 0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0x8000,
363  0x00fe, 0x6666, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x8000, 0x8000,
364  0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0x8000, 0x8000,
365  0x55d4, 0x7fff, 0x7fff, 0x7fff, 0xfffe, 0x0000, 0x8000, 0x8000,
366  0x7fff, 0x7fff, 0x7fff, 0xfffd, 0xffff, 0x2aa9, 0x8000, 0x8000,
367  0x7fff, 0x7fff, 0xd555, 0xfffe, 0x2aa8, 0x4ccb, 0x8000, 0x8000,
368  0x7fff, 0xb333, 0xd556, 0x2aa7, 0x4cca, 0x7f7f, 0x8000, 0x8000,
369  0x807f, 0xb334, 0xffff, 0x4cc9, 0x7f7e, 0x7f80, 0x8000, 0x8000,
370  0x8080, 0xdddd, 0x2221, 0x7f7d, 0x7f7f, 0x7f81, 0x8000, 0x8000,
371  0xab29, 0xffff, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x8000, 0x8000,
372  0xcd4b, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fef, 0x8000, 0x8000,
373  0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fee, 0x7ffc, 0x8000, 0x8000,
374  0x32b4, 0x54d7, 0x7f80, 0x7fee, 0x7ffc, 0x8000, 0x8000, 0xaaaa,
375  0x32b5, 0x54d8, 0x7fed, 0x7ffb, 0x7ffd, 0x8000, 0x8001, 0xaaab,
376  0x32b6, 0x5545, 0x7ffa, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0xaaac,
377  0x3323, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0x8003, 0xaaba,
378  0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x7fff, 0x8002, 0x8011, 0xab27,
379  0x3331, 0x5554, 0x7ffd, 0x7fff, 0x7fff, 0x8010, 0x807e, 0xab28,
380  0x3332, 0x5555, 0x7ffe, 0x7fff, 0x7fff, 0x807d, 0x807f, 0xab29,
381  0x3333, 0x5556, 0x7fff, 0x7fff, 0x7fff, 0x807e, 0x8080, 0xdddd,
382  0x3334, 0x5557, 0x7fff, 0x7fff, 0x7fff, 0x807f, 0xb334, 0xffff,
383  0x3335, 0x5565, 0x7fff, 0x7fff, 0x7fff, 0xb333, 0xd556, 0x2aa7,
384  0x3343, 0x55d2, 0x7fff, 0x7fff, 0x7fff, 0xd555, 0xfffe, 0x2aa8,
385  0x33b0, 0x55d3, 0x7fff, 0x7fff, 0x7fff, 0xfffd, 0xffff, 0x2aa9,
386  0x33b1, 0x55d4, 0x7fff, 0x7fff, 0x7fff, 0xfffe, 0x0000, 0x8000,
387  0x33b2, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0x8000, 0x8000,
388  0x6666, 0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x8000, 0x8000, 0x8000,
389  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0x8000, 0x8000, 0x8000,
390  0x7fff, 0x7fff, 0x7fff, 0xfffe, 0x0000, 0x8000, 0x8000, 0xaa2a,
391  0x7fff, 0x7fff, 0xfffd, 0xffff, 0x2aa9, 0x8000, 0x8000, 0xaa2b,
392  0x7fff, 0xd555, 0xfffe, 0x2aa8, 0x4ccb, 0x8000, 0x8000, 0xaa2c,
393  0xb333, 0xd556, 0x2aa7, 0x4cca, 0x7f7f, 0x8000, 0x8000, 0xaa2d,
394  0xb334, 0xffff, 0x4cc9, 0x7f7e, 0x7f80, 0x8000, 0x8000, 0xaa9a,
395  0xdddd, 0x2221, 0x7f7d, 0x7f7f, 0x7f81, 0x8000, 0x8000, 0xaaa7,
396  0xffff, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x8000, 0x8000, 0xaaa8,
397  0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fef, 0x8000, 0x8000, 0xaaa9,
398  0x54d6, 0x7f7f, 0x7f81, 0x7fef, 0x8000, 0x8000, 0xaaa9, 0xcccc,
399  0x54d7, 0x7f80, 0x7fee, 0x7ffc, 0x8000, 0x8000, 0xaaaa, 0xcccd,
400  0x54d8, 0x7fed, 0x7ffb, 0x7ffd, 0x8000, 0x8001, 0xaaab, 0xccce,
401  0x5545, 0x7ffa, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0xaaac, 0xccdc,
402  0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0x8003, 0xaaba, 0xcd49,
403  0x5553, 0x7ffc, 0x7ffe, 0x7fff, 0x8002, 0x8011, 0xab27, 0xcd4a,
404  0x5554, 0x7ffd, 0x7fff, 0x7fff, 0x8010, 0x807e, 0xab28, 0xcd4b,
405  0x5555, 0x7ffe, 0x7fff, 0x7fff, 0x807d, 0x807f, 0xab29, 0xffff,
406  0x5556, 0x7fff, 0x7fff, 0x7fff, 0x807e, 0x8080, 0xdddd, 0x2221,
407  0x5557, 0x7fff, 0x7fff, 0x7fff, 0x807f, 0xb334, 0xffff, 0x4cc9,
408  0x5565, 0x7fff, 0x7fff, 0x7fff, 0xb333, 0xd556, 0x2aa7, 0x4cca,
409  0x55d2, 0x7fff, 0x7fff, 0x7fff, 0xd555, 0xfffe, 0x2aa8, 0x4ccb,
410  0x55d3, 0x7fff, 0x7fff, 0x7fff, 0xfffd, 0xffff, 0x2aa9, 0x8000,
411  0x55d4, 0x7fff, 0x7fff, 0x7fff, 0xfffe, 0x0000, 0x8000, 0x8000,
412  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0xffff, 0x8000, 0x8000, 0x8000,
413  0x7fff, 0x7fff, 0x7fff, 0x7fff, 0x8000, 0x8000, 0x8000, 0x9998,
414  0x7fff, 0x7fff, 0x7fff, 0xffff, 0x8000, 0x8000, 0x8000, 0xcc4c,
415  0x7fff, 0x7fff, 0xfffe, 0x0000, 0x8000, 0x8000, 0xaa2a, 0xcc4d,
416  0x7fff, 0xfffd, 0xffff, 0x2aa9, 0x8000, 0x8000, 0xaa2b, 0xcc4e,
417  0xd555, 0xfffe, 0x2aa8, 0x4ccb, 0x8000, 0x8000, 0xaa2c, 0xcc4f,
418  0xd556, 0x2aa7, 0x4cca, 0x7f7f, 0x8000, 0x8000, 0xaa2d, 0xccbc,
419  0xffff, 0x4cc9, 0x7f7e, 0x7f80, 0x8000, 0x8000, 0xaa9a, 0xccc9,
420  0x2221, 0x7f7d, 0x7f7f, 0x7f81, 0x8000, 0x8000, 0xaaa7, 0xccca,
421  0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x8000, 0x8000, 0xaaa8, 0xcccb,
422  0x7f7e, 0x7f80, 0x7f82, 0x8000, 0x8000, 0xaaa8, 0xcccb, 0xff80,
423  0x7f7f, 0x7f81, 0x7fef, 0x8000, 0x8000, 0xaaa9, 0xcccc, 0xff81,
424  0x7f80, 0x7fee, 0x7ffc, 0x8000, 0x8000, 0xaaaa, 0xcccd, 0xff82,
425  0x7fed, 0x7ffb, 0x7ffd, 0x8000, 0x8001, 0xaaab, 0xccce, 0xff90,
426  0x7ffa, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0xaaac, 0xccdc, 0xfffd,
427  0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0x8003, 0xaaba, 0xcd49, 0xfffe,
428  0x7ffc, 0x7ffe, 0x7fff, 0x8002, 0x8011, 0xab27, 0xcd4a, 0xffff,
429  0x7ffd, 0x7fff, 0x7fff, 0x8010, 0x807e, 0xab28, 0xcd4b, 0x32b3,
430  0x7ffe, 0x7fff, 0x7fff, 0x807d, 0x807f, 0xab29, 0xffff, 0x54d5,
431  0x7fff, 0x7fff, 0x7fff, 0x807e, 0x8080, 0xdddd, 0x2221, 0x7f7d,
432  0x7fff, 0x7fff, 0x7fff, 0x807f, 0xb334, 0xffff, 0x4cc9, 0x7f7e,
433  0x7fff, 0x7fff, 0x7fff, 0xb333, 0xd556, 0x2aa7, 0x4cca, 0x7f7f,
434  0x7fff, 0x7fff, 0x7fff, 0xd555, 0xfffe, 0x2aa8, 0x4ccb, 0x8000,
435  0x7fff, 0x7fff, 0x7fff, 0xfffd, 0xffff, 0x2aa9, 0x8000, 0x8000,
436  0x7fff, 0x7fff, 0x7fff, 0xfffe, 0x0000, 0x8000, 0x8000, 0xaa2a,
437  0x7fff, 0x7fff, 0x7fff, 0xffff, 0x8000, 0x8000, 0x8000, 0xcc4c,
438  0x7fff, 0x7fff, 0x7fff, 0x8000, 0x8000, 0x8000, 0x9998, 0xff00,
439  0x7fff, 0x7fff, 0xffff, 0x8000, 0x8000, 0x8000, 0xcc4c, 0xff01,
440  0x7fff, 0xfffe, 0x0000, 0x8000, 0x8000, 0xaa2a, 0xcc4d, 0xff02,
441  0xfffd, 0xffff, 0x2aa9, 0x8000, 0x8000, 0xaa2b, 0xcc4e, 0xff03,
442  0xfffe, 0x2aa8, 0x4ccb, 0x8000, 0x8000, 0xaa2c, 0xcc4f, 0xff70,
443  0x2aa7, 0x4cca, 0x7f7f, 0x8000, 0x8000, 0xaa2d, 0xccbc, 0xff7d,
444  0x4cc9, 0x7f7e, 0x7f80, 0x8000, 0x8000, 0xaa9a, 0xccc9, 0xff7e,
445  0x7f7d, 0x7f7f, 0x7f81, 0x8000, 0x8000, 0xaaa7, 0xccca, 0xff7f,
446  0x7f7f, 0x7f81, 0x8000, 0x8000, 0xaaa7, 0xccca, 0xff7f, 0xff81,
447  0x7f80, 0x7f82, 0x8000, 0x8000, 0xaaa8, 0xcccb, 0xff80, 0xff82,
448  0x7f81, 0x7fef, 0x8000, 0x8000, 0xaaa9, 0xcccc, 0xff81, 0xff83,
449  0x7fee, 0x7ffc, 0x8000, 0x8000, 0xaaaa, 0xcccd, 0xff82, 0xff91,
450  0x7ffb, 0x7ffd, 0x8000, 0x8001, 0xaaab, 0xccce, 0xff90, 0xfffe,
451  0x7ffc, 0x7ffe, 0x8000, 0x8002, 0xaaac, 0xccdc, 0xfffd, 0xffff,
452  0x7ffd, 0x7fff, 0x8001, 0x8003, 0xaaba, 0xcd49, 0xfffe, 0x0000,
453  0x7ffe, 0x7fff, 0x8002, 0x8011, 0xab27, 0xcd4a, 0xffff, 0x32b4,
454  0x7fff, 0x7fff, 0x8010, 0x807e, 0xab28, 0xcd4b, 0x32b3, 0x54d6,
455  0x7fff, 0x7fff, 0x807d, 0x807f, 0xab29, 0xffff, 0x54d5, 0x7f7e,
456  0x7fff, 0x7fff, 0x807e, 0x8080, 0xdddd, 0x2221, 0x7f7d, 0x7f7f,
457  0x7fff, 0x7fff, 0x807f, 0xb334, 0xffff, 0x4cc9, 0x7f7e, 0x7f80,
458  0x7fff, 0x7fff, 0xb333, 0xd556, 0x2aa7, 0x4cca, 0x7f7f, 0x8000,
459  0x7fff, 0x7fff, 0xd555, 0xfffe, 0x2aa8, 0x4ccb, 0x8000, 0x8000,
460  0x7fff, 0x7fff, 0xfffd, 0xffff, 0x2aa9, 0x8000, 0x8000, 0xaa2b,
461  0x7fff, 0x7fff, 0xfffe, 0x0000, 0x8000, 0x8000, 0xaa2a, 0xcc4d,
462  0x7fff, 0x7fff, 0xffff, 0x8000, 0x8000, 0x8000, 0xcc4c, 0xff01,
463  0x7fff, 0x7fff, 0x8000, 0x8000, 0x8000, 0x9998, 0xff00, 0xff02,
464  0x7fff, 0xffff, 0x8000, 0x8000, 0x8000, 0xcc4c, 0xff01, 0xff03,
465  0xfffe, 0x0000, 0x8000, 0x8000, 0xaa2a, 0xcc4d, 0xff02, 0xff04,
466  0xffff, 0x2aa9, 0x8000, 0x8000, 0xaa2b, 0xcc4e, 0xff03, 0xff71,
467  0x2aa8, 0x4ccb, 0x8000, 0x8000, 0xaa2c, 0xcc4f, 0xff70, 0xff7e,
468  0x4cca, 0x7f7f, 0x8000, 0x8000, 0xaa2d, 0xccbc, 0xff7d, 0xff7f,
469  0x7f7e, 0x7f80, 0x8000, 0x8000, 0xaa9a, 0xccc9, 0xff7e, 0xff80,
470  0x7f80, 0x8000, 0x8000, 0xaa9a, 0xccc9, 0xff7e, 0xff80, 0xff82,
471  0x7f81, 0x8000, 0x8000, 0xaaa7, 0xccca, 0xff7f, 0xff81, 0xff83,
472  0x7f82, 0x8000, 0x8000, 0xaaa8, 0xcccb, 0xff80, 0xff82, 0xff84,
473  0x7fef, 0x8000, 0x8000, 0xaaa9, 0xcccc, 0xff81, 0xff83, 0xff92,
474  0x7ffc, 0x8000, 0x8000, 0xaaaa, 0xcccd, 0xff82, 0xff91, 0xffff,
475  0x7ffd, 0x8000, 0x8001, 0xaaab, 0xccce, 0xff90, 0xfffe, 0x0000,
476  0x7ffe, 0x8000, 0x8002, 0xaaac, 0xccdc, 0xfffd, 0xffff, 0x0001,
477  0x7fff, 0x8001, 0x8003, 0xaaba, 0xcd49, 0xfffe, 0x0000, 0x32b5,
478  0x7fff, 0x8002, 0x8011, 0xab27, 0xcd4a, 0xffff, 0x32b4, 0x54d7,
479  0x7fff, 0x8010, 0x807e, 0xab28, 0xcd4b, 0x32b3, 0x54d6, 0x7f7f,
480  0x7fff, 0x807d, 0x807f, 0xab29, 0xffff, 0x54d5, 0x7f7e, 0x7f80,
481  0x7fff, 0x807e, 0x8080, 0xdddd, 0x2221, 0x7f7d, 0x7f7f, 0x7f81,
482  0x7fff, 0x807f, 0xb334, 0xffff, 0x4cc9, 0x7f7e, 0x7f80, 0x8000,
483  0x7fff, 0xb333, 0xd556, 0x2aa7, 0x4cca, 0x7f7f, 0x8000, 0x8000,
484  0x7fff, 0xd555, 0xfffe, 0x2aa8, 0x4ccb, 0x8000, 0x8000, 0xaa2c,
485  0x7fff, 0xfffd, 0xffff, 0x2aa9, 0x8000, 0x8000, 0xaa2b, 0xcc4e,
486  0x7fff, 0xfffe, 0x0000, 0x8000, 0x8000, 0xaa2a, 0xcc4d, 0xff02,
487  0x7fff, 0xffff, 0x8000, 0x8000, 0x8000, 0xcc4c, 0xff01, 0xff03,
488  0x7fff, 0x8000, 0x8000, 0x8000, 0x9998, 0xff00, 0xff02, 0xff04,
489  0xffff, 0x8000, 0x8000, 0x8000, 0xcc4c, 0xff01, 0xff03, 0xff05,
490  0x0000, 0x8000, 0x8000, 0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff72,
491  0x2aa9, 0x8000, 0x8000, 0xaa2b, 0xcc4e, 0xff03, 0xff71, 0xff7f,
492  0x4ccb, 0x8000, 0x8000, 0xaa2c, 0xcc4f, 0xff70, 0xff7e, 0xff80,
493  0x7f7f, 0x8000, 0x8000, 0xaa2d, 0xccbc, 0xff7d, 0xff7f, 0xff81,
494  0x8000, 0x8000, 0xaa2d, 0xccbc, 0xff7d, 0xff7f, 0xff81, 0xff83,
495  0x8000, 0x8000, 0xaa9a, 0xccc9, 0xff7e, 0xff80, 0xff82, 0xff84,
496  0x8000, 0x8000, 0xaaa7, 0xccca, 0xff7f, 0xff81, 0xff83, 0xff85,
497  0x8000, 0x8000, 0xaaa8, 0xcccb, 0xff80, 0xff82, 0xff84, 0xff93,
498  0x8000, 0x8000, 0xaaa9, 0xcccc, 0xff81, 0xff83, 0xff92, 0x0000,
499  0x8000, 0x8000, 0xaaaa, 0xcccd, 0xff82, 0xff91, 0xffff, 0x0001,
500  0x8000, 0x8001, 0xaaab, 0xccce, 0xff90, 0xfffe, 0x0000, 0x0002,
501  0x8000, 0x8002, 0xaaac, 0xccdc, 0xfffd, 0xffff, 0x0001, 0x32b6,
502  0x8001, 0x8003, 0xaaba, 0xcd49, 0xfffe, 0x0000, 0x32b5, 0x54d8,
503  0x8002, 0x8011, 0xab27, 0xcd4a, 0xffff, 0x32b4, 0x54d7, 0x7f80,
504  0x8010, 0x807e, 0xab28, 0xcd4b, 0x32b3, 0x54d6, 0x7f7f, 0x7f81,
505  0x807d, 0x807f, 0xab29, 0xffff, 0x54d5, 0x7f7e, 0x7f80, 0x7f82,
506  0x807e, 0x8080, 0xdddd, 0x2221, 0x7f7d, 0x7f7f, 0x7f81, 0x8000,
507  0x807f, 0xb334, 0xffff, 0x4cc9, 0x7f7e, 0x7f80, 0x8000, 0x8000,
508  0xb333, 0xd556, 0x2aa7, 0x4cca, 0x7f7f, 0x8000, 0x8000, 0xaa2d,
509  0xd555, 0xfffe, 0x2aa8, 0x4ccb, 0x8000, 0x8000, 0xaa2c, 0xcc4f,
510  0xfffd, 0xffff, 0x2aa9, 0x8000, 0x8000, 0xaa2b, 0xcc4e, 0xff03,
511  0xfffe, 0x0000, 0x8000, 0x8000, 0xaa2a, 0xcc4d, 0xff02, 0xff04,
512  0xffff, 0x8000, 0x8000, 0x8000, 0xcc4c, 0xff01, 0xff03, 0xff05,
513  0x8000, 0x8000, 0x8000, 0x9998, 0xff00, 0xff02, 0xff04, 0xff06,
514  0x8000, 0x8000, 0x8000, 0xcc4c, 0xff01, 0xff03, 0xff05, 0xff73,
515  0x8000, 0x8000, 0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff72, 0xff80,
516  0x8000, 0x8000, 0xaa2b, 0xcc4e, 0xff03, 0xff71, 0xff7f, 0xff81,
517  0x8000, 0x8000, 0xaa2c, 0xcc4f, 0xff70, 0xff7e, 0xff80, 0xff82,
518  0x8000, 0xaa2c, 0xcc4f, 0xff70, 0xff7e, 0xff80, 0xff82, 0xfff0,
519  0x8000, 0xaa2d, 0xccbc, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xfff1,
520  0x8000, 0xaa9a, 0xccc9, 0xff7e, 0xff80, 0xff82, 0xff84, 0xfff2,
521  0x8000, 0xaaa7, 0xccca, 0xff7f, 0xff81, 0xff83, 0xff85, 0x0000,
522  0x8000, 0xaaa8, 0xcccb, 0xff80, 0xff82, 0xff84, 0xff93, 0x006d,
523  0x8000, 0xaaa9, 0xcccc, 0xff81, 0xff83, 0xff92, 0x0000, 0x006e,
524  0x8000, 0xaaaa, 0xcccd, 0xff82, 0xff91, 0xffff, 0x0001, 0x006f,
525  0x8001, 0xaaab, 0xccce, 0xff90, 0xfffe, 0x0000, 0x0002, 0x3323,
526  0x8002, 0xaaac, 0xccdc, 0xfffd, 0xffff, 0x0001, 0x32b6, 0x5545,
527  0x8003, 0xaaba, 0xcd49, 0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fed,
528  0x8011, 0xab27, 0xcd4a, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fee,
529  0x807e, 0xab28, 0xcd4b, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fef,
530  0x807f, 0xab29, 0xffff, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x8000,
531  0x8080, 0xdddd, 0x2221, 0x7f7d, 0x7f7f, 0x7f81, 0x8000, 0x8000,
532  0xb334, 0xffff, 0x4cc9, 0x7f7e, 0x7f80, 0x8000, 0x8000, 0xaa9a,
533  0xd556, 0x2aa7, 0x4cca, 0x7f7f, 0x8000, 0x8000, 0xaa2d, 0xccbc,
534  0xfffe, 0x2aa8, 0x4ccb, 0x8000, 0x8000, 0xaa2c, 0xcc4f, 0xff70,
535  0xffff, 0x2aa9, 0x8000, 0x8000, 0xaa2b, 0xcc4e, 0xff03, 0xff71,
536  0x0000, 0x8000, 0x8000, 0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff72,
537  0x8000, 0x8000, 0x8000, 0xcc4c, 0xff01, 0xff03, 0xff05, 0xff73,
538  0x8000, 0x8000, 0x9998, 0xff00, 0xff02, 0xff04, 0xff06, 0xffe0,
539  0x8000, 0x8000, 0xcc4c, 0xff01, 0xff03, 0xff05, 0xff73, 0xffed,
540  0x8000, 0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff72, 0xff80, 0xffee,
541  0x8000, 0xaa2b, 0xcc4e, 0xff03, 0xff71, 0xff7f, 0xff81, 0xffef,
542  0xaa2b, 0xcc4e, 0xff03, 0xff71, 0xff7f, 0xff81, 0xffef, 0xfffd,
543  0xaa2c, 0xcc4f, 0xff70, 0xff7e, 0xff80, 0xff82, 0xfff0, 0xfffe,
544  0xaa2d, 0xccbc, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xfff1, 0xffff,
545  0xaa9a, 0xccc9, 0xff7e, 0xff80, 0xff82, 0xff84, 0xfff2, 0x000d,
546  0xaaa7, 0xccca, 0xff7f, 0xff81, 0xff83, 0xff85, 0x0000, 0x007a,
547  0xaaa8, 0xcccb, 0xff80, 0xff82, 0xff84, 0xff93, 0x006d, 0x007b,
548  0xaaa9, 0xcccc, 0xff81, 0xff83, 0xff92, 0x0000, 0x006e, 0x007c,
549  0xaaaa, 0xcccd, 0xff82, 0xff91, 0xffff, 0x0001, 0x006f, 0x3330,
550  0xaaab, 0xccce, 0xff90, 0xfffe, 0x0000, 0x0002, 0x3323, 0x5552,
551  0xaaac, 0xccdc, 0xfffd, 0xffff, 0x0001, 0x32b6, 0x5545, 0x7ffa,
552  0xaaba, 0xcd49, 0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fed, 0x7ffb,
553  0xab27, 0xcd4a, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fee, 0x7ffc,
554  0xab28, 0xcd4b, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fef, 0x8000,
555  0xab29, 0xffff, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x8000, 0x8000,
556  0xdddd, 0x2221, 0x7f7d, 0x7f7f, 0x7f81, 0x8000, 0x8000, 0xaaa7,
557  0xffff, 0x4cc9, 0x7f7e, 0x7f80, 0x8000, 0x8000, 0xaa9a, 0xccc9,
558  0x2aa7, 0x4cca, 0x7f7f, 0x8000, 0x8000, 0xaa2d, 0xccbc, 0xff7d,
559  0x2aa8, 0x4ccb, 0x8000, 0x8000, 0xaa2c, 0xcc4f, 0xff70, 0xff7e,
560  0x2aa9, 0x8000, 0x8000, 0xaa2b, 0xcc4e, 0xff03, 0xff71, 0xff7f,
561  0x8000, 0x8000, 0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff72, 0xff80,
562  0x8000, 0x8000, 0xcc4c, 0xff01, 0xff03, 0xff05, 0xff73, 0xffed,
563  0x8000, 0x9998, 0xff00, 0xff02, 0xff04, 0xff06, 0xffe0, 0xfffa,
564  0x8000, 0xcc4c, 0xff01, 0xff03, 0xff05, 0xff73, 0xffed, 0xfffb,
565  0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff72, 0xff80, 0xffee, 0xfffc,
566  0xcc4d, 0xff02, 0xff04, 0xff72, 0xff80, 0xffee, 0xfffc, 0xfffe,
567  0xcc4e, 0xff03, 0xff71, 0xff7f, 0xff81, 0xffef, 0xfffd, 0xffff,
568  0xcc4f, 0xff70, 0xff7e, 0xff80, 0xff82, 0xfff0, 0xfffe, 0x0000,
569  0xccbc, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xfff1, 0xffff, 0x000e,
570  0xccc9, 0xff7e, 0xff80, 0xff82, 0xff84, 0xfff2, 0x000d, 0x007b,
571  0xccca, 0xff7f, 0xff81, 0xff83, 0xff85, 0x0000, 0x007a, 0x007c,
572  0xcccb, 0xff80, 0xff82, 0xff84, 0xff93, 0x006d, 0x007b, 0x007d,
573  0xcccc, 0xff81, 0xff83, 0xff92, 0x0000, 0x006e, 0x007c, 0x3331,
574  0xcccd, 0xff82, 0xff91, 0xffff, 0x0001, 0x006f, 0x3330, 0x5553,
575  0xccce, 0xff90, 0xfffe, 0x0000, 0x0002, 0x3323, 0x5552, 0x7ffb,
576  0xccdc, 0xfffd, 0xffff, 0x0001, 0x32b6, 0x5545, 0x7ffa, 0x7ffc,
577  0xcd49, 0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fed, 0x7ffb, 0x7ffd,
578  0xcd4a, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fee, 0x7ffc, 0x8000,
579  0xcd4b, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fef, 0x8000, 0x8000,
580  0xffff, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x8000, 0x8000, 0xaaa8,
581  0x2221, 0x7f7d, 0x7f7f, 0x7f81, 0x8000, 0x8000, 0xaaa7, 0xccca,
582  0x4cc9, 0x7f7e, 0x7f80, 0x8000, 0x8000, 0xaa9a, 0xccc9, 0xff7e,
583  0x4cca, 0x7f7f, 0x8000, 0x8000, 0xaa2d, 0xccbc, 0xff7d, 0xff7f,
584  0x4ccb, 0x8000, 0x8000, 0xaa2c, 0xcc4f, 0xff70, 0xff7e, 0xff80,
585  0x8000, 0x8000, 0xaa2b, 0xcc4e, 0xff03, 0xff71, 0xff7f, 0xff81,
586  0x8000, 0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff72, 0xff80, 0xffee,
587  0x8000, 0xcc4c, 0xff01, 0xff03, 0xff05, 0xff73, 0xffed, 0xfffb,
588  0x9998, 0xff00, 0xff02, 0xff04, 0xff06, 0xffe0, 0xfffa, 0xfffc,
589  0xcc4c, 0xff01, 0xff03, 0xff05, 0xff73, 0xffed, 0xfffb, 0xfffd,
590  0xff01, 0xff03, 0xff05, 0xff73, 0xffed, 0xfffb, 0xfffd, 0xffff,
591  0xff02, 0xff04, 0xff72, 0xff80, 0xffee, 0xfffc, 0xfffe, 0x0000,
592  0xff03, 0xff71, 0xff7f, 0xff81, 0xffef, 0xfffd, 0xffff, 0x0001,
593  0xff70, 0xff7e, 0xff80, 0xff82, 0xfff0, 0xfffe, 0x0000, 0x000f,
594  0xff7d, 0xff7f, 0xff81, 0xff83, 0xfff1, 0xffff, 0x000e, 0x007c,
595  0xff7e, 0xff80, 0xff82, 0xff84, 0xfff2, 0x000d, 0x007b, 0x007d,
596  0xff7f, 0xff81, 0xff83, 0xff85, 0x0000, 0x007a, 0x007c, 0x007e,
597  0xff80, 0xff82, 0xff84, 0xff93, 0x006d, 0x007b, 0x007d, 0x3332,
598  0xff81, 0xff83, 0xff92, 0x0000, 0x006e, 0x007c, 0x3331, 0x5554,
599  0xff82, 0xff91, 0xffff, 0x0001, 0x006f, 0x3330, 0x5553, 0x7ffc,
600  0xff90, 0xfffe, 0x0000, 0x0002, 0x3323, 0x5552, 0x7ffb, 0x7ffd,
601  0xfffd, 0xffff, 0x0001, 0x32b6, 0x5545, 0x7ffa, 0x7ffc, 0x7ffe,
602  0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fed, 0x7ffb, 0x7ffd, 0x8000,
603  0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fee, 0x7ffc, 0x8000, 0x8000,
604  0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fef, 0x8000, 0x8000, 0xaaa9,
605  0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x8000, 0x8000, 0xaaa8, 0xcccb,
606  0x7f7d, 0x7f7f, 0x7f81, 0x8000, 0x8000, 0xaaa7, 0xccca, 0xff7f,
607  0x7f7e, 0x7f80, 0x8000, 0x8000, 0xaa9a, 0xccc9, 0xff7e, 0xff80,
608  0x7f7f, 0x8000, 0x8000, 0xaa2d, 0xccbc, 0xff7d, 0xff7f, 0xff81,
609  0x8000, 0x8000, 0xaa2c, 0xcc4f, 0xff70, 0xff7e, 0xff80, 0xff82,
610  0x8000, 0xaa2b, 0xcc4e, 0xff03, 0xff71, 0xff7f, 0xff81, 0xffef,
611  0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff72, 0xff80, 0xffee, 0xfffc,
612  0xcc4c, 0xff01, 0xff03, 0xff05, 0xff73, 0xffed, 0xfffb, 0xfffd,
613  0xff00, 0xff02, 0xff04, 0xff06, 0xffe0, 0xfffa, 0xfffc, 0xfffe,
614};
615const unsigned kExpectedCount_NEON_sqadd_8H = 576;
616
617#endif  // VIXL_SIM_SQADD_8H_TRACE_AARCH64_H_
618