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_SHADD_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_SHADD_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_shadd_8H[] = {
38  0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x0000,
39  0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x3fff, 0x0000,
40  0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x3fff, 0x4000, 0x0001,
41  0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x3ffe, 0x3fff, 0x4000, 0x0008,
42  0x403d, 0x403e, 0x5999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0x003e,
43  0x403e, 0x403f, 0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0x003f,
44  0x403e, 0x003f, 0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0x003f,
45  0x003f, 0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0x1999,
46  0x003f, 0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0x2aaa,
47  0x0040, 0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x3ffe,
48  0x0047, 0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x3fff,
49  0x007d, 0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x3fff,
50  0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0xc000,
51  0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0xffff, 0xc000,
52  0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0xffff, 0x0000, 0xd555,
53  0x2ae9, 0x403e, 0x5998, 0x6aaa, 0xfffe, 0xffff, 0x1554, 0xe666,
54  0x403d, 0x403e, 0x5999, 0xeaaa, 0xffff, 0x1554, 0x2665, 0xffc0,
55  0x403e, 0x403f, 0xd999, 0xeaab, 0x1553, 0x2665, 0x3fbf, 0xffc0,
56  0x403e, 0xc03f, 0xd99a, 0xffff, 0x2664, 0x3fbf, 0x3fc0, 0xffc1,
57  0xc03f, 0xc040, 0xeeee, 0x1110, 0x3fbe, 0x3fbf, 0x3fc0, 0xffc1,
58  0xc03f, 0xd594, 0xffff, 0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1, 0xfff8,
59  0xd594, 0xe6a5, 0x1959, 0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7, 0xfffe,
60  0xe6a5, 0xffff, 0x195a, 0x2a6b, 0x3fc0, 0x3ff7, 0x3ffe, 0xffff,
61  0xffff, 0x0000, 0x195a, 0x2a6c, 0x3ff6, 0x3ffd, 0x3ffe, 0xffff,
62  0x0000, 0x195a, 0x2a6c, 0x3ff6, 0x3ffd, 0x3ffe, 0xffff, 0x0000,
63  0x0000, 0x195b, 0x2aa2, 0x3ffd, 0x3ffe, 0x3fff, 0x0000, 0x0001,
64  0x0001, 0x1991, 0x2aa9, 0x3ffd, 0x3ffe, 0x3fff, 0x0000, 0x0001,
65  0x0037, 0x1998, 0x2aa9, 0x3ffe, 0x3fff, 0x4000, 0x0001, 0x0008,
66  0x003e, 0x1998, 0x2aaa, 0x3ffe, 0x3fff, 0x4000, 0x0008, 0x003f,
67  0x003e, 0x1999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0x003e, 0x003f,
68  0x003f, 0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0x003f, 0x0040,
69  0x003f, 0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0x003f, 0x199a,
70  0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0x1999, 0x2aab,
71  0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0x2aaa, 0x3fff,
72  0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x3ffe, 0x3fff,
73  0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x3fff, 0x4000,
74  0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x3fff, 0xc000,
75  0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0xc000, 0xc001,
76  0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0xffff, 0xc000, 0xd555,
77  0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0xffff, 0x0000, 0xd555, 0xe666,
78  0x403e, 0x5998, 0x6aaa, 0xfffe, 0xffff, 0x1554, 0xe666, 0xffc0,
79  0x403e, 0x5999, 0xeaaa, 0xffff, 0x1554, 0x2665, 0xffc0, 0xffc1,
80  0x403f, 0xd999, 0xeaab, 0x1553, 0x2665, 0x3fbf, 0xffc0, 0xffc1,
81  0xc03f, 0xd99a, 0xffff, 0x2664, 0x3fbf, 0x3fc0, 0xffc1, 0xffc2,
82  0xc040, 0xeeee, 0x1110, 0x3fbe, 0x3fbf, 0x3fc0, 0xffc1, 0xfff8,
83  0xd594, 0xffff, 0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1, 0xfff8, 0xffff,
84  0xe6a5, 0x1959, 0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7, 0xfffe, 0xffff,
85  0xffff, 0x195a, 0x2a6b, 0x3fc0, 0x3ff7, 0x3ffe, 0xffff, 0x0000,
86  0x195a, 0x2a6b, 0x3fc0, 0x3ff7, 0x3ffe, 0xffff, 0x0000, 0x0001,
87  0x195a, 0x2a6c, 0x3ff6, 0x3ffd, 0x3ffe, 0xffff, 0x0000, 0x0001,
88  0x195b, 0x2aa2, 0x3ffd, 0x3ffe, 0x3fff, 0x0000, 0x0001, 0x0002,
89  0x1991, 0x2aa9, 0x3ffd, 0x3ffe, 0x3fff, 0x0000, 0x0001, 0x0009,
90  0x1998, 0x2aa9, 0x3ffe, 0x3fff, 0x4000, 0x0001, 0x0008, 0x003f,
91  0x1998, 0x2aaa, 0x3ffe, 0x3fff, 0x4000, 0x0008, 0x003f, 0x0040,
92  0x1999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0x003e, 0x003f, 0x0040,
93  0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0x003f, 0x0040, 0x199a,
94  0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0x003f, 0x199a, 0x2aab,
95  0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0x1999, 0x2aab, 0x3fff,
96  0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0x2aaa, 0x3fff, 0x4000,
97  0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x3ffe, 0x3fff, 0x4000,
98  0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x3fff, 0x4000, 0xc001,
99  0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x3fff, 0xc000, 0xc001,
100  0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0xc000, 0xc001, 0xd556,
101  0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0xffff, 0xc000, 0xd555, 0xe667,
102  0x5998, 0x6aa9, 0x7ffe, 0xffff, 0x0000, 0xd555, 0xe666, 0xffc1,
103  0x5998, 0x6aaa, 0xfffe, 0xffff, 0x1554, 0xe666, 0xffc0, 0xffc1,
104  0x5999, 0xeaaa, 0xffff, 0x1554, 0x2665, 0xffc0, 0xffc1, 0xffc2,
105  0xd999, 0xeaab, 0x1553, 0x2665, 0x3fbf, 0xffc0, 0xffc1, 0xffc2,
106  0xd99a, 0xffff, 0x2664, 0x3fbf, 0x3fc0, 0xffc1, 0xffc2, 0xfff9,
107  0xeeee, 0x1110, 0x3fbe, 0x3fbf, 0x3fc0, 0xffc1, 0xfff8, 0xffff,
108  0xffff, 0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1, 0xfff8, 0xffff, 0x0000,
109  0x1959, 0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7, 0xfffe, 0xffff, 0x0000,
110  0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7, 0xfffe, 0xffff, 0x0000, 0x0008,
111  0x2a6b, 0x3fc0, 0x3ff7, 0x3ffe, 0xffff, 0x0000, 0x0001, 0x0008,
112  0x2a6c, 0x3ff6, 0x3ffd, 0x3ffe, 0xffff, 0x0000, 0x0001, 0x0009,
113  0x2aa2, 0x3ffd, 0x3ffe, 0x3fff, 0x0000, 0x0001, 0x0002, 0x0010,
114  0x2aa9, 0x3ffd, 0x3ffe, 0x3fff, 0x0000, 0x0001, 0x0009, 0x0046,
115  0x2aa9, 0x3ffe, 0x3fff, 0x4000, 0x0001, 0x0008, 0x003f, 0x0047,
116  0x2aaa, 0x3ffe, 0x3fff, 0x4000, 0x0008, 0x003f, 0x0040, 0x0047,
117  0x2aaa, 0x3fff, 0x4000, 0x4007, 0x003e, 0x003f, 0x0040, 0x19a1,
118  0x2aab, 0x3fff, 0x4007, 0x403e, 0x003f, 0x0040, 0x199a, 0x2ab2,
119  0x2aab, 0x4006, 0x403d, 0x403e, 0x003f, 0x199a, 0x2aab, 0x4006,
120  0x2ab2, 0x403d, 0x403e, 0x403f, 0x1999, 0x2aab, 0x3fff, 0x4007,
121  0x2ae9, 0x403d, 0x403e, 0x5999, 0x2aaa, 0x3fff, 0x4000, 0x4007,
122  0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x3ffe, 0x3fff, 0x4000, 0xc008,
123  0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x3fff, 0x4000, 0xc001, 0xc008,
124  0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x3fff, 0xc000, 0xc001, 0xd55d,
125  0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0xc000, 0xc001, 0xd556, 0xe66e,
126  0x6aa9, 0x7ffd, 0x7ffe, 0xffff, 0xc000, 0xd555, 0xe667, 0xffc8,
127  0x6aa9, 0x7ffe, 0xffff, 0x0000, 0xd555, 0xe666, 0xffc1, 0xffc8,
128  0x6aaa, 0xfffe, 0xffff, 0x1554, 0xe666, 0xffc0, 0xffc1, 0xffc9,
129  0xeaaa, 0xffff, 0x1554, 0x2665, 0xffc0, 0xffc1, 0xffc2, 0xffc9,
130  0xeaab, 0x1553, 0x2665, 0x3fbf, 0xffc0, 0xffc1, 0xffc2, 0x0000,
131  0xffff, 0x2664, 0x3fbf, 0x3fc0, 0xffc1, 0xffc2, 0xfff9, 0x0006,
132  0x1110, 0x3fbe, 0x3fbf, 0x3fc0, 0xffc1, 0xfff8, 0xffff, 0x0007,
133  0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1, 0xfff8, 0xffff, 0x0000, 0x0007,
134  0x3fbf, 0x3fc0, 0x3fc1, 0xfff8, 0xffff, 0x0000, 0x0007, 0x003e,
135  0x3fbf, 0x3fc0, 0x3ff7, 0xfffe, 0xffff, 0x0000, 0x0008, 0x003f,
136  0x3fc0, 0x3ff7, 0x3ffe, 0xffff, 0x0000, 0x0001, 0x0008, 0x003f,
137  0x3ff6, 0x3ffd, 0x3ffe, 0xffff, 0x0000, 0x0001, 0x0009, 0x0046,
138  0x3ffd, 0x3ffe, 0x3fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
139  0x3ffd, 0x3ffe, 0x3fff, 0x0000, 0x0001, 0x0009, 0x0046, 0x007d,
140  0x3ffe, 0x3fff, 0x4000, 0x0001, 0x0008, 0x003f, 0x0047, 0x007e,
141  0x3ffe, 0x3fff, 0x4000, 0x0008, 0x003f, 0x0040, 0x0047, 0x19d8,
142  0x3fff, 0x4000, 0x4007, 0x003e, 0x003f, 0x0040, 0x19a1, 0x2ae9,
143  0x3fff, 0x4007, 0x403e, 0x003f, 0x0040, 0x199a, 0x2ab2, 0x403d,
144  0x4006, 0x403d, 0x403e, 0x003f, 0x199a, 0x2aab, 0x4006, 0x403d,
145  0x403d, 0x403e, 0x403f, 0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e,
146  0x403d, 0x403e, 0x5999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0xc03e,
147  0x403e, 0x5998, 0x6aaa, 0x3ffe, 0x3fff, 0x4000, 0xc008, 0xc03f,
148  0x5998, 0x6aa9, 0x7ffe, 0x3fff, 0x4000, 0xc001, 0xc008, 0xd593,
149  0x6aa9, 0x7ffd, 0x7ffe, 0x3fff, 0xc000, 0xc001, 0xd55d, 0xe6a4,
150  0x7ffd, 0x7ffe, 0x7fff, 0xc000, 0xc001, 0xd556, 0xe66e, 0xfffe,
151  0x7ffd, 0x7ffe, 0xffff, 0xc000, 0xd555, 0xe667, 0xffc8, 0xffff,
152  0x7ffe, 0xffff, 0x0000, 0xd555, 0xe666, 0xffc1, 0xffc8, 0xffff,
153  0xfffe, 0xffff, 0x1554, 0xe666, 0xffc0, 0xffc1, 0xffc9, 0x0000,
154  0xffff, 0x1554, 0x2665, 0xffc0, 0xffc1, 0xffc2, 0xffc9, 0x0036,
155  0x1553, 0x2665, 0x3fbf, 0xffc0, 0xffc1, 0xffc2, 0x0000, 0x003d,
156  0x2664, 0x3fbf, 0x3fc0, 0xffc1, 0xffc2, 0xfff9, 0x0006, 0x003d,
157  0x3fbe, 0x3fbf, 0x3fc0, 0xffc1, 0xfff8, 0xffff, 0x0007, 0x003e,
158  0x3fbf, 0x3fc0, 0xffc1, 0xfff8, 0xffff, 0x0007, 0x003e, 0x003f,
159  0x3fc0, 0x3fc1, 0xfff8, 0xffff, 0x0000, 0x0007, 0x003e, 0x003f,
160  0x3fc0, 0x3ff7, 0xfffe, 0xffff, 0x0000, 0x0008, 0x003f, 0x0040,
161  0x3ff7, 0x3ffe, 0xffff, 0x0000, 0x0001, 0x0008, 0x003f, 0x0047,
162  0x3ffd, 0x3ffe, 0xffff, 0x0000, 0x0001, 0x0009, 0x0046, 0x007d,
163  0x3ffe, 0x3fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
164  0x3ffe, 0x3fff, 0x0000, 0x0001, 0x0009, 0x0046, 0x007d, 0x007e,
165  0x3fff, 0x4000, 0x0001, 0x0008, 0x003f, 0x0047, 0x007e, 0x19d8,
166  0x3fff, 0x4000, 0x0008, 0x003f, 0x0040, 0x0047, 0x19d8, 0x2ae9,
167  0x4000, 0x4007, 0x003e, 0x003f, 0x0040, 0x19a1, 0x2ae9, 0x403d,
168  0x4007, 0x403e, 0x003f, 0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e,
169  0x403d, 0x403e, 0x003f, 0x199a, 0x2aab, 0x4006, 0x403d, 0x403e,
170  0x403e, 0x403f, 0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0xc03f,
171  0x403e, 0x5999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0xc03e, 0xc03f,
172  0x5998, 0x6aaa, 0x3ffe, 0x3fff, 0x4000, 0xc008, 0xc03f, 0xd594,
173  0x6aa9, 0x7ffe, 0x3fff, 0x4000, 0xc001, 0xc008, 0xd593, 0xe6a5,
174  0x7ffd, 0x7ffe, 0x3fff, 0xc000, 0xc001, 0xd55d, 0xe6a4, 0xffff,
175  0x7ffe, 0x7fff, 0xc000, 0xc001, 0xd556, 0xe66e, 0xfffe, 0xffff,
176  0x7ffe, 0xffff, 0xc000, 0xd555, 0xe667, 0xffc8, 0xffff, 0x0000,
177  0xffff, 0x0000, 0xd555, 0xe666, 0xffc1, 0xffc8, 0xffff, 0x0000,
178  0xffff, 0x1554, 0xe666, 0xffc0, 0xffc1, 0xffc9, 0x0000, 0x0037,
179  0x1554, 0x2665, 0xffc0, 0xffc1, 0xffc2, 0xffc9, 0x0036, 0x003d,
180  0x2665, 0x3fbf, 0xffc0, 0xffc1, 0xffc2, 0x0000, 0x003d, 0x003e,
181  0x3fbf, 0x3fc0, 0xffc1, 0xffc2, 0xfff9, 0x0006, 0x003d, 0x003e,
182  0x3fc0, 0xffc1, 0xffc2, 0xfff9, 0x0006, 0x003d, 0x003e, 0x003f,
183  0x3fc0, 0xffc1, 0xfff8, 0xffff, 0x0007, 0x003e, 0x003f, 0x0040,
184  0x3fc1, 0xfff8, 0xffff, 0x0000, 0x0007, 0x003e, 0x003f, 0x0040,
185  0x3ff7, 0xfffe, 0xffff, 0x0000, 0x0008, 0x003f, 0x0040, 0x0047,
186  0x3ffe, 0xffff, 0x0000, 0x0001, 0x0008, 0x003f, 0x0047, 0x007e,
187  0x3ffe, 0xffff, 0x0000, 0x0001, 0x0009, 0x0046, 0x007d, 0x007e,
188  0x3fff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
189  0x3fff, 0x0000, 0x0001, 0x0009, 0x0046, 0x007d, 0x007e, 0x19d9,
190  0x4000, 0x0001, 0x0008, 0x003f, 0x0047, 0x007e, 0x19d8, 0x2aea,
191  0x4000, 0x0008, 0x003f, 0x0040, 0x0047, 0x19d8, 0x2ae9, 0x403e,
192  0x4007, 0x003e, 0x003f, 0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e,
193  0x403e, 0x003f, 0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f,
194  0x403e, 0x003f, 0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0xc03f,
195  0x403f, 0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0xc03f, 0xc040,
196  0x5999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0xc03e, 0xc03f, 0xd594,
197  0x6aaa, 0x3ffe, 0x3fff, 0x4000, 0xc008, 0xc03f, 0xd594, 0xe6a5,
198  0x7ffe, 0x3fff, 0x4000, 0xc001, 0xc008, 0xd593, 0xe6a5, 0xffff,
199  0x7ffe, 0x3fff, 0xc000, 0xc001, 0xd55d, 0xe6a4, 0xffff, 0x0000,
200  0x7fff, 0xc000, 0xc001, 0xd556, 0xe66e, 0xfffe, 0xffff, 0x0000,
201  0xffff, 0xc000, 0xd555, 0xe667, 0xffc8, 0xffff, 0x0000, 0x0001,
202  0x0000, 0xd555, 0xe666, 0xffc1, 0xffc8, 0xffff, 0x0000, 0x0037,
203  0x1554, 0xe666, 0xffc0, 0xffc1, 0xffc9, 0x0000, 0x0037, 0x003e,
204  0x2665, 0xffc0, 0xffc1, 0xffc2, 0xffc9, 0x0036, 0x003d, 0x003e,
205  0x3fbf, 0xffc0, 0xffc1, 0xffc2, 0x0000, 0x003d, 0x003e, 0x003f,
206  0xffc0, 0xffc1, 0xffc2, 0x0000, 0x003d, 0x003e, 0x003f, 0x1999,
207  0xffc1, 0xffc2, 0xfff9, 0x0006, 0x003d, 0x003e, 0x003f, 0x199a,
208  0xffc1, 0xfff8, 0xffff, 0x0007, 0x003e, 0x003f, 0x0040, 0x199a,
209  0xfff8, 0xffff, 0x0000, 0x0007, 0x003e, 0x003f, 0x0040, 0x19a1,
210  0xfffe, 0xffff, 0x0000, 0x0008, 0x003f, 0x0040, 0x0047, 0x19d8,
211  0xffff, 0x0000, 0x0001, 0x0008, 0x003f, 0x0047, 0x007e, 0x19d8,
212  0xffff, 0x0000, 0x0001, 0x0009, 0x0046, 0x007d, 0x007e, 0x19d9,
213  0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
214  0x0000, 0x0001, 0x0009, 0x0046, 0x007d, 0x007e, 0x19d9, 0x4444,
215  0x0001, 0x0008, 0x003f, 0x0047, 0x007e, 0x19d8, 0x2aea, 0x5998,
216  0x0008, 0x003f, 0x0040, 0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998,
217  0x003e, 0x003f, 0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999,
218  0x003f, 0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0xd999,
219  0x003f, 0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0xc03f, 0xd99a,
220  0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0xc03f, 0xc040, 0xeeee,
221  0x2aaa, 0x3fff, 0x4000, 0x4007, 0xc03e, 0xc03f, 0xd594, 0xffff,
222  0x3ffe, 0x3fff, 0x4000, 0xc008, 0xc03f, 0xd594, 0xe6a5, 0x1959,
223  0x3fff, 0x4000, 0xc001, 0xc008, 0xd593, 0xe6a5, 0xffff, 0x195a,
224  0x3fff, 0xc000, 0xc001, 0xd55d, 0xe6a4, 0xffff, 0x0000, 0x195a,
225  0xc000, 0xc001, 0xd556, 0xe66e, 0xfffe, 0xffff, 0x0000, 0x195b,
226  0xc000, 0xd555, 0xe667, 0xffc8, 0xffff, 0x0000, 0x0001, 0x1991,
227  0xd555, 0xe666, 0xffc1, 0xffc8, 0xffff, 0x0000, 0x0037, 0x1998,
228  0xe666, 0xffc0, 0xffc1, 0xffc9, 0x0000, 0x0037, 0x003e, 0x1998,
229  0xffc0, 0xffc1, 0xffc2, 0xffc9, 0x0036, 0x003d, 0x003e, 0x1999,
230  0xffc1, 0xffc2, 0xffc9, 0x0036, 0x003d, 0x003e, 0x1999, 0x2aaa,
231  0xffc1, 0xffc2, 0x0000, 0x003d, 0x003e, 0x003f, 0x1999, 0x2aab,
232  0xffc2, 0xfff9, 0x0006, 0x003d, 0x003e, 0x003f, 0x199a, 0x2aab,
233  0xfff8, 0xffff, 0x0007, 0x003e, 0x003f, 0x0040, 0x199a, 0x2ab2,
234  0xffff, 0x0000, 0x0007, 0x003e, 0x003f, 0x0040, 0x19a1, 0x2ae9,
235  0xffff, 0x0000, 0x0008, 0x003f, 0x0040, 0x0047, 0x19d8, 0x2ae9,
236  0x0000, 0x0001, 0x0008, 0x003f, 0x0047, 0x007e, 0x19d8, 0x2aea,
237  0x0000, 0x0001, 0x0009, 0x0046, 0x007d, 0x007e, 0x19d9, 0x4444,
238  0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
239  0x0001, 0x0009, 0x0046, 0x007d, 0x007e, 0x19d9, 0x4444, 0x6aa9,
240  0x0008, 0x003f, 0x0047, 0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9,
241  0x003f, 0x0040, 0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa,
242  0x003f, 0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0xeaaa,
243  0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0xd999, 0xeaab,
244  0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0xc03f, 0xd99a, 0xffff,
245  0x2aab, 0x3fff, 0x4007, 0x403e, 0xc03f, 0xc040, 0xeeee, 0x1110,
246  0x3fff, 0x4000, 0x4007, 0xc03e, 0xc03f, 0xd594, 0xffff, 0x2a6a,
247  0x3fff, 0x4000, 0xc008, 0xc03f, 0xd594, 0xe6a5, 0x1959, 0x2a6b,
248  0x4000, 0xc001, 0xc008, 0xd593, 0xe6a5, 0xffff, 0x195a, 0x2a6b,
249  0xc000, 0xc001, 0xd55d, 0xe6a4, 0xffff, 0x0000, 0x195a, 0x2a6c,
250  0xc001, 0xd556, 0xe66e, 0xfffe, 0xffff, 0x0000, 0x195b, 0x2aa2,
251  0xd555, 0xe667, 0xffc8, 0xffff, 0x0000, 0x0001, 0x1991, 0x2aa9,
252  0xe666, 0xffc1, 0xffc8, 0xffff, 0x0000, 0x0037, 0x1998, 0x2aa9,
253  0xffc0, 0xffc1, 0xffc9, 0x0000, 0x0037, 0x003e, 0x1998, 0x2aaa,
254  0xffc1, 0xffc9, 0x0000, 0x0037, 0x003e, 0x1998, 0x2aaa, 0x3ffe,
255  0xffc2, 0xffc9, 0x0036, 0x003d, 0x003e, 0x1999, 0x2aaa, 0x3fff,
256  0xffc2, 0x0000, 0x003d, 0x003e, 0x003f, 0x1999, 0x2aab, 0x3fff,
257  0xfff9, 0x0006, 0x003d, 0x003e, 0x003f, 0x199a, 0x2aab, 0x4006,
258  0xffff, 0x0007, 0x003e, 0x003f, 0x0040, 0x199a, 0x2ab2, 0x403d,
259  0x0000, 0x0007, 0x003e, 0x003f, 0x0040, 0x19a1, 0x2ae9, 0x403d,
260  0x0000, 0x0008, 0x003f, 0x0040, 0x0047, 0x19d8, 0x2ae9, 0x403e,
261  0x0001, 0x0008, 0x003f, 0x0047, 0x007e, 0x19d8, 0x2aea, 0x5998,
262  0x0001, 0x0009, 0x0046, 0x007d, 0x007e, 0x19d9, 0x4444, 0x6aa9,
263  0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
264  0x0009, 0x0046, 0x007d, 0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd,
265  0x003f, 0x0047, 0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe,
266  0x0040, 0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0xfffe,
267  0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0xeaaa, 0xffff,
268  0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0xd999, 0xeaab, 0x1553,
269  0x2aab, 0x4006, 0x403d, 0x403e, 0xc03f, 0xd99a, 0xffff, 0x2664,
270  0x3fff, 0x4007, 0x403e, 0xc03f, 0xc040, 0xeeee, 0x1110, 0x3fbe,
271  0x4000, 0x4007, 0xc03e, 0xc03f, 0xd594, 0xffff, 0x2a6a, 0x3fbf,
272  0x4000, 0xc008, 0xc03f, 0xd594, 0xe6a5, 0x1959, 0x2a6b, 0x3fbf,
273  0xc001, 0xc008, 0xd593, 0xe6a5, 0xffff, 0x195a, 0x2a6b, 0x3fc0,
274  0xc001, 0xd55d, 0xe6a4, 0xffff, 0x0000, 0x195a, 0x2a6c, 0x3ff6,
275  0xd556, 0xe66e, 0xfffe, 0xffff, 0x0000, 0x195b, 0x2aa2, 0x3ffd,
276  0xe667, 0xffc8, 0xffff, 0x0000, 0x0001, 0x1991, 0x2aa9, 0x3ffd,
277  0xffc1, 0xffc8, 0xffff, 0x0000, 0x0037, 0x1998, 0x2aa9, 0x3ffe,
278  0xffc8, 0xffff, 0x0000, 0x0037, 0x1998, 0x2aa9, 0x3ffe, 0x3fff,
279  0xffc9, 0x0000, 0x0037, 0x003e, 0x1998, 0x2aaa, 0x3ffe, 0x3fff,
280  0xffc9, 0x0036, 0x003d, 0x003e, 0x1999, 0x2aaa, 0x3fff, 0x4000,
281  0x0000, 0x003d, 0x003e, 0x003f, 0x1999, 0x2aab, 0x3fff, 0x4007,
282  0x0006, 0x003d, 0x003e, 0x003f, 0x199a, 0x2aab, 0x4006, 0x403d,
283  0x0007, 0x003e, 0x003f, 0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e,
284  0x0007, 0x003e, 0x003f, 0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e,
285  0x0008, 0x003f, 0x0040, 0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998,
286  0x0008, 0x003f, 0x0047, 0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9,
287  0x0009, 0x0046, 0x007d, 0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd,
288  0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
289  0x0046, 0x007d, 0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe,
290  0x0047, 0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0xffff,
291  0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0xfffe, 0xffff,
292  0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0xeaaa, 0xffff, 0x1554,
293  0x2ab2, 0x403d, 0x403e, 0x403f, 0xd999, 0xeaab, 0x1553, 0x2665,
294  0x4006, 0x403d, 0x403e, 0xc03f, 0xd99a, 0xffff, 0x2664, 0x3fbf,
295  0x4007, 0x403e, 0xc03f, 0xc040, 0xeeee, 0x1110, 0x3fbe, 0x3fbf,
296  0x4007, 0xc03e, 0xc03f, 0xd594, 0xffff, 0x2a6a, 0x3fbf, 0x3fc0,
297  0xc008, 0xc03f, 0xd594, 0xe6a5, 0x1959, 0x2a6b, 0x3fbf, 0x3fc0,
298  0xc008, 0xd593, 0xe6a5, 0xffff, 0x195a, 0x2a6b, 0x3fc0, 0x3ff7,
299  0xd55d, 0xe6a4, 0xffff, 0x0000, 0x195a, 0x2a6c, 0x3ff6, 0x3ffd,
300  0xe66e, 0xfffe, 0xffff, 0x0000, 0x195b, 0x2aa2, 0x3ffd, 0x3ffe,
301  0xffc8, 0xffff, 0x0000, 0x0001, 0x1991, 0x2aa9, 0x3ffd, 0x3ffe,
302  0xffff, 0x0000, 0x0001, 0x1991, 0x2aa9, 0x3ffd, 0x3ffe, 0x3fff,
303  0xffff, 0x0000, 0x0037, 0x1998, 0x2aa9, 0x3ffe, 0x3fff, 0x4000,
304  0x0000, 0x0037, 0x003e, 0x1998, 0x2aaa, 0x3ffe, 0x3fff, 0x4000,
305  0x0036, 0x003d, 0x003e, 0x1999, 0x2aaa, 0x3fff, 0x4000, 0x4007,
306  0x003d, 0x003e, 0x003f, 0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e,
307  0x003d, 0x003e, 0x003f, 0x199a, 0x2aab, 0x4006, 0x403d, 0x403e,
308  0x003e, 0x003f, 0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f,
309  0x003e, 0x003f, 0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999,
310  0x003f, 0x0040, 0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa,
311  0x003f, 0x0047, 0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe,
312  0x0046, 0x007d, 0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe,
313  0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
314  0x007d, 0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0xffff,
315  0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0xffff, 0x0000,
316  0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0xfffe, 0xffff, 0x1554,
317  0x2ae9, 0x403d, 0x403e, 0x5999, 0xeaaa, 0xffff, 0x1554, 0x2665,
318  0x403d, 0x403e, 0x403f, 0xd999, 0xeaab, 0x1553, 0x2665, 0x3fbf,
319  0x403d, 0x403e, 0xc03f, 0xd99a, 0xffff, 0x2664, 0x3fbf, 0x3fc0,
320  0x403e, 0xc03f, 0xc040, 0xeeee, 0x1110, 0x3fbe, 0x3fbf, 0x3fc0,
321  0xc03e, 0xc03f, 0xd594, 0xffff, 0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1,
322  0xc03f, 0xd594, 0xe6a5, 0x1959, 0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7,
323  0xd593, 0xe6a5, 0xffff, 0x195a, 0x2a6b, 0x3fc0, 0x3ff7, 0x3ffe,
324  0xe6a4, 0xffff, 0x0000, 0x195a, 0x2a6c, 0x3ff6, 0x3ffd, 0x3ffe,
325  0xfffe, 0xffff, 0x0000, 0x195b, 0x2aa2, 0x3ffd, 0x3ffe, 0x3fff,
326  0xffff, 0x0000, 0x195b, 0x2aa2, 0x3ffd, 0x3ffe, 0x3fff, 0xc000,
327  0x0000, 0x0001, 0x1991, 0x2aa9, 0x3ffd, 0x3ffe, 0x3fff, 0xc000,
328  0x0000, 0x0037, 0x1998, 0x2aa9, 0x3ffe, 0x3fff, 0x4000, 0xc001,
329  0x0037, 0x003e, 0x1998, 0x2aaa, 0x3ffe, 0x3fff, 0x4000, 0xc008,
330  0x003d, 0x003e, 0x1999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0xc03e,
331  0x003e, 0x003f, 0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0xc03f,
332  0x003e, 0x003f, 0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0xc03f,
333  0x003f, 0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0xd999,
334  0x003f, 0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0xeaaa,
335  0x0040, 0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0xfffe,
336  0x0047, 0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0xffff,
337  0x007d, 0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0xffff,
338  0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
339  0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0xffff, 0x8000,
340  0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0xffff, 0x0000, 0x9555,
341  0x2ae9, 0x403e, 0x5998, 0x6aaa, 0xfffe, 0xffff, 0x1554, 0xa666,
342  0x403d, 0x403e, 0x5999, 0xeaaa, 0xffff, 0x1554, 0x2665, 0xbfc0,
343  0x403e, 0x403f, 0xd999, 0xeaab, 0x1553, 0x2665, 0x3fbf, 0xbfc0,
344  0x403e, 0xc03f, 0xd99a, 0xffff, 0x2664, 0x3fbf, 0x3fc0, 0xbfc1,
345  0xc03f, 0xc040, 0xeeee, 0x1110, 0x3fbe, 0x3fbf, 0x3fc0, 0xbfc1,
346  0xc03f, 0xd594, 0xffff, 0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1, 0xbff8,
347  0xd594, 0xe6a5, 0x1959, 0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7, 0xbffe,
348  0xe6a5, 0xffff, 0x195a, 0x2a6b, 0x3fc0, 0x3ff7, 0x3ffe, 0xbfff,
349  0xffff, 0x0000, 0x195a, 0x2a6c, 0x3ff6, 0x3ffd, 0x3ffe, 0xbfff,
350  0x0000, 0x195a, 0x2a6c, 0x3ff6, 0x3ffd, 0x3ffe, 0xbfff, 0xc000,
351  0x0000, 0x195b, 0x2aa2, 0x3ffd, 0x3ffe, 0x3fff, 0xc000, 0xc001,
352  0x0001, 0x1991, 0x2aa9, 0x3ffd, 0x3ffe, 0x3fff, 0xc000, 0xc001,
353  0x0037, 0x1998, 0x2aa9, 0x3ffe, 0x3fff, 0x4000, 0xc001, 0xc008,
354  0x003e, 0x1998, 0x2aaa, 0x3ffe, 0x3fff, 0x4000, 0xc008, 0xc03f,
355  0x003e, 0x1999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0xc03e, 0xc03f,
356  0x003f, 0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0xc03f, 0xc040,
357  0x003f, 0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0xc03f, 0xd99a,
358  0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0xd999, 0xeaab,
359  0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0xeaaa, 0xffff,
360  0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0xfffe, 0xffff,
361  0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0xffff, 0x0000,
362  0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0xffff, 0x8000,
363  0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
364  0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0xffff, 0x8000, 0x9555,
365  0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0xffff, 0x0000, 0x9555, 0xa666,
366  0x403e, 0x5998, 0x6aaa, 0xfffe, 0xffff, 0x1554, 0xa666, 0xbfc0,
367  0x403e, 0x5999, 0xeaaa, 0xffff, 0x1554, 0x2665, 0xbfc0, 0xbfc1,
368  0x403f, 0xd999, 0xeaab, 0x1553, 0x2665, 0x3fbf, 0xbfc0, 0xbfc1,
369  0xc03f, 0xd99a, 0xffff, 0x2664, 0x3fbf, 0x3fc0, 0xbfc1, 0xbfc2,
370  0xc040, 0xeeee, 0x1110, 0x3fbe, 0x3fbf, 0x3fc0, 0xbfc1, 0xbff8,
371  0xd594, 0xffff, 0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1, 0xbff8, 0xbfff,
372  0xe6a5, 0x1959, 0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7, 0xbffe, 0xbfff,
373  0xffff, 0x195a, 0x2a6b, 0x3fc0, 0x3ff7, 0x3ffe, 0xbfff, 0xc000,
374  0x195a, 0x2a6b, 0x3fc0, 0x3ff7, 0x3ffe, 0xbfff, 0xc000, 0xd555,
375  0x195a, 0x2a6c, 0x3ff6, 0x3ffd, 0x3ffe, 0xbfff, 0xc000, 0xd555,
376  0x195b, 0x2aa2, 0x3ffd, 0x3ffe, 0x3fff, 0xc000, 0xc001, 0xd556,
377  0x1991, 0x2aa9, 0x3ffd, 0x3ffe, 0x3fff, 0xc000, 0xc001, 0xd55d,
378  0x1998, 0x2aa9, 0x3ffe, 0x3fff, 0x4000, 0xc001, 0xc008, 0xd593,
379  0x1998, 0x2aaa, 0x3ffe, 0x3fff, 0x4000, 0xc008, 0xc03f, 0xd594,
380  0x1999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0xc03e, 0xc03f, 0xd594,
381  0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0xc03f, 0xc040, 0xeeee,
382  0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0xc03f, 0xd99a, 0xffff,
383  0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0xd999, 0xeaab, 0x1553,
384  0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0xeaaa, 0xffff, 0x1554,
385  0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0xfffe, 0xffff, 0x1554,
386  0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0xffff, 0x0000, 0x9555,
387  0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0xffff, 0x8000, 0x9555,
388  0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
389  0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0xffff, 0x8000, 0x9555, 0xbbbb,
390  0x5998, 0x6aa9, 0x7ffe, 0xffff, 0x0000, 0x9555, 0xa666, 0xd515,
391  0x5998, 0x6aaa, 0xfffe, 0xffff, 0x1554, 0xa666, 0xbfc0, 0xd515,
392  0x5999, 0xeaaa, 0xffff, 0x1554, 0x2665, 0xbfc0, 0xbfc1, 0xd516,
393  0xd999, 0xeaab, 0x1553, 0x2665, 0x3fbf, 0xbfc0, 0xbfc1, 0xd516,
394  0xd99a, 0xffff, 0x2664, 0x3fbf, 0x3fc0, 0xbfc1, 0xbfc2, 0xd54d,
395  0xeeee, 0x1110, 0x3fbe, 0x3fbf, 0x3fc0, 0xbfc1, 0xbff8, 0xd553,
396  0xffff, 0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1, 0xbff8, 0xbfff, 0xd554,
397  0x1959, 0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7, 0xbffe, 0xbfff, 0xd554,
398  0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7, 0xbffe, 0xbfff, 0xd554, 0xe666,
399  0x2a6b, 0x3fc0, 0x3ff7, 0x3ffe, 0xbfff, 0xc000, 0xd555, 0xe666,
400  0x2a6c, 0x3ff6, 0x3ffd, 0x3ffe, 0xbfff, 0xc000, 0xd555, 0xe667,
401  0x2aa2, 0x3ffd, 0x3ffe, 0x3fff, 0xc000, 0xc001, 0xd556, 0xe66e,
402  0x2aa9, 0x3ffd, 0x3ffe, 0x3fff, 0xc000, 0xc001, 0xd55d, 0xe6a4,
403  0x2aa9, 0x3ffe, 0x3fff, 0x4000, 0xc001, 0xc008, 0xd593, 0xe6a5,
404  0x2aaa, 0x3ffe, 0x3fff, 0x4000, 0xc008, 0xc03f, 0xd594, 0xe6a5,
405  0x2aaa, 0x3fff, 0x4000, 0x4007, 0xc03e, 0xc03f, 0xd594, 0xffff,
406  0x2aab, 0x3fff, 0x4007, 0x403e, 0xc03f, 0xc040, 0xeeee, 0x1110,
407  0x2aab, 0x4006, 0x403d, 0x403e, 0xc03f, 0xd99a, 0xffff, 0x2664,
408  0x2ab2, 0x403d, 0x403e, 0x403f, 0xd999, 0xeaab, 0x1553, 0x2665,
409  0x2ae9, 0x403d, 0x403e, 0x5999, 0xeaaa, 0xffff, 0x1554, 0x2665,
410  0x2ae9, 0x403e, 0x5998, 0x6aaa, 0xfffe, 0xffff, 0x1554, 0xa666,
411  0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0xffff, 0x0000, 0x9555, 0xa666,
412  0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0xffff, 0x8000, 0x9555, 0xbbbb,
413  0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
414  0x6aa9, 0x7ffd, 0x7ffe, 0xffff, 0x8000, 0x9555, 0xbbbb, 0xe626,
415  0x6aa9, 0x7ffe, 0xffff, 0x0000, 0x9555, 0xa666, 0xd515, 0xe626,
416  0x6aaa, 0xfffe, 0xffff, 0x1554, 0xa666, 0xbfc0, 0xd515, 0xe627,
417  0xeaaa, 0xffff, 0x1554, 0x2665, 0xbfc0, 0xbfc1, 0xd516, 0xe627,
418  0xeaab, 0x1553, 0x2665, 0x3fbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e,
419  0xffff, 0x2664, 0x3fbf, 0x3fc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664,
420  0x1110, 0x3fbe, 0x3fbf, 0x3fc0, 0xbfc1, 0xbff8, 0xd553, 0xe665,
421  0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1, 0xbff8, 0xbfff, 0xd554, 0xe665,
422  0x3fbf, 0x3fc0, 0x3fc1, 0xbff8, 0xbfff, 0xd554, 0xe665, 0xffc0,
423  0x3fbf, 0x3fc0, 0x3ff7, 0xbffe, 0xbfff, 0xd554, 0xe666, 0xffc0,
424  0x3fc0, 0x3ff7, 0x3ffe, 0xbfff, 0xc000, 0xd555, 0xe666, 0xffc1,
425  0x3ff6, 0x3ffd, 0x3ffe, 0xbfff, 0xc000, 0xd555, 0xe667, 0xffc8,
426  0x3ffd, 0x3ffe, 0x3fff, 0xc000, 0xc001, 0xd556, 0xe66e, 0xfffe,
427  0x3ffd, 0x3ffe, 0x3fff, 0xc000, 0xc001, 0xd55d, 0xe6a4, 0xffff,
428  0x3ffe, 0x3fff, 0x4000, 0xc001, 0xc008, 0xd593, 0xe6a5, 0xffff,
429  0x3ffe, 0x3fff, 0x4000, 0xc008, 0xc03f, 0xd594, 0xe6a5, 0x1959,
430  0x3fff, 0x4000, 0x4007, 0xc03e, 0xc03f, 0xd594, 0xffff, 0x2a6a,
431  0x3fff, 0x4007, 0x403e, 0xc03f, 0xc040, 0xeeee, 0x1110, 0x3fbe,
432  0x4006, 0x403d, 0x403e, 0xc03f, 0xd99a, 0xffff, 0x2664, 0x3fbf,
433  0x403d, 0x403e, 0x403f, 0xd999, 0xeaab, 0x1553, 0x2665, 0x3fbf,
434  0x403d, 0x403e, 0x5999, 0xeaaa, 0xffff, 0x1554, 0x2665, 0xbfc0,
435  0x403e, 0x5998, 0x6aaa, 0xfffe, 0xffff, 0x1554, 0xa666, 0xbfc0,
436  0x5998, 0x6aa9, 0x7ffe, 0xffff, 0x0000, 0x9555, 0xa666, 0xd515,
437  0x6aa9, 0x7ffd, 0x7ffe, 0xffff, 0x8000, 0x9555, 0xbbbb, 0xe626,
438  0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
439  0x7ffd, 0x7ffe, 0xffff, 0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80,
440  0x7ffe, 0xffff, 0x0000, 0x9555, 0xa666, 0xd515, 0xe626, 0xff81,
441  0xfffe, 0xffff, 0x1554, 0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81,
442  0xffff, 0x1554, 0x2665, 0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8,
443  0x1553, 0x2665, 0x3fbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe,
444  0x2664, 0x3fbf, 0x3fc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664, 0xffbf,
445  0x3fbe, 0x3fbf, 0x3fc0, 0xbfc1, 0xbff8, 0xd553, 0xe665, 0xffbf,
446  0x3fbf, 0x3fc0, 0xbfc1, 0xbff8, 0xd553, 0xe665, 0xffbf, 0xffc0,
447  0x3fc0, 0x3fc1, 0xbff8, 0xbfff, 0xd554, 0xe665, 0xffc0, 0xffc1,
448  0x3fc0, 0x3ff7, 0xbffe, 0xbfff, 0xd554, 0xe666, 0xffc0, 0xffc1,
449  0x3ff7, 0x3ffe, 0xbfff, 0xc000, 0xd555, 0xe666, 0xffc1, 0xffc8,
450  0x3ffd, 0x3ffe, 0xbfff, 0xc000, 0xd555, 0xe667, 0xffc8, 0xffff,
451  0x3ffe, 0x3fff, 0xc000, 0xc001, 0xd556, 0xe66e, 0xfffe, 0xffff,
452  0x3ffe, 0x3fff, 0xc000, 0xc001, 0xd55d, 0xe6a4, 0xffff, 0x0000,
453  0x3fff, 0x4000, 0xc001, 0xc008, 0xd593, 0xe6a5, 0xffff, 0x195a,
454  0x3fff, 0x4000, 0xc008, 0xc03f, 0xd594, 0xe6a5, 0x1959, 0x2a6b,
455  0x4000, 0x4007, 0xc03e, 0xc03f, 0xd594, 0xffff, 0x2a6a, 0x3fbf,
456  0x4007, 0x403e, 0xc03f, 0xc040, 0xeeee, 0x1110, 0x3fbe, 0x3fbf,
457  0x403d, 0x403e, 0xc03f, 0xd99a, 0xffff, 0x2664, 0x3fbf, 0x3fc0,
458  0x403e, 0x403f, 0xd999, 0xeaab, 0x1553, 0x2665, 0x3fbf, 0xbfc0,
459  0x403e, 0x5999, 0xeaaa, 0xffff, 0x1554, 0x2665, 0xbfc0, 0xbfc1,
460  0x5998, 0x6aaa, 0xfffe, 0xffff, 0x1554, 0xa666, 0xbfc0, 0xd515,
461  0x6aa9, 0x7ffe, 0xffff, 0x0000, 0x9555, 0xa666, 0xd515, 0xe626,
462  0x7ffd, 0x7ffe, 0xffff, 0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80,
463  0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
464  0x7ffe, 0xffff, 0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80, 0xff81,
465  0xffff, 0x0000, 0x9555, 0xa666, 0xd515, 0xe626, 0xff81, 0xff82,
466  0xffff, 0x1554, 0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81, 0xffb8,
467  0x1554, 0x2665, 0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8, 0xffbf,
468  0x2665, 0x3fbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe, 0xffbf,
469  0x3fbf, 0x3fc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664, 0xffbf, 0xffc0,
470  0x3fc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664, 0xffbf, 0xffc0, 0xffc1,
471  0x3fc0, 0xbfc1, 0xbff8, 0xd553, 0xe665, 0xffbf, 0xffc0, 0xffc1,
472  0x3fc1, 0xbff8, 0xbfff, 0xd554, 0xe665, 0xffc0, 0xffc1, 0xffc2,
473  0x3ff7, 0xbffe, 0xbfff, 0xd554, 0xe666, 0xffc0, 0xffc1, 0xffc9,
474  0x3ffe, 0xbfff, 0xc000, 0xd555, 0xe666, 0xffc1, 0xffc8, 0xffff,
475  0x3ffe, 0xbfff, 0xc000, 0xd555, 0xe667, 0xffc8, 0xffff, 0x0000,
476  0x3fff, 0xc000, 0xc001, 0xd556, 0xe66e, 0xfffe, 0xffff, 0x0000,
477  0x3fff, 0xc000, 0xc001, 0xd55d, 0xe6a4, 0xffff, 0x0000, 0x195a,
478  0x4000, 0xc001, 0xc008, 0xd593, 0xe6a5, 0xffff, 0x195a, 0x2a6b,
479  0x4000, 0xc008, 0xc03f, 0xd594, 0xe6a5, 0x1959, 0x2a6b, 0x3fbf,
480  0x4007, 0xc03e, 0xc03f, 0xd594, 0xffff, 0x2a6a, 0x3fbf, 0x3fc0,
481  0x403e, 0xc03f, 0xc040, 0xeeee, 0x1110, 0x3fbe, 0x3fbf, 0x3fc0,
482  0x403e, 0xc03f, 0xd99a, 0xffff, 0x2664, 0x3fbf, 0x3fc0, 0xbfc1,
483  0x403f, 0xd999, 0xeaab, 0x1553, 0x2665, 0x3fbf, 0xbfc0, 0xbfc1,
484  0x5999, 0xeaaa, 0xffff, 0x1554, 0x2665, 0xbfc0, 0xbfc1, 0xd516,
485  0x6aaa, 0xfffe, 0xffff, 0x1554, 0xa666, 0xbfc0, 0xd515, 0xe627,
486  0x7ffe, 0xffff, 0x0000, 0x9555, 0xa666, 0xd515, 0xe626, 0xff81,
487  0x7ffe, 0xffff, 0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80, 0xff81,
488  0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
489  0xffff, 0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80, 0xff81, 0xff82,
490  0x0000, 0x9555, 0xa666, 0xd515, 0xe626, 0xff81, 0xff82, 0xffb9,
491  0x1554, 0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81, 0xffb8, 0xffbf,
492  0x2665, 0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8, 0xffbf, 0xffc0,
493  0x3fbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe, 0xffbf, 0xffc0,
494  0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe, 0xffbf, 0xffc0, 0xffc1,
495  0xbfc1, 0xbfc2, 0xd54d, 0xe664, 0xffbf, 0xffc0, 0xffc1, 0xffc2,
496  0xbfc1, 0xbff8, 0xd553, 0xe665, 0xffbf, 0xffc0, 0xffc1, 0xffc2,
497  0xbff8, 0xbfff, 0xd554, 0xe665, 0xffc0, 0xffc1, 0xffc2, 0xffc9,
498  0xbffe, 0xbfff, 0xd554, 0xe666, 0xffc0, 0xffc1, 0xffc9, 0x0000,
499  0xbfff, 0xc000, 0xd555, 0xe666, 0xffc1, 0xffc8, 0xffff, 0x0000,
500  0xbfff, 0xc000, 0xd555, 0xe667, 0xffc8, 0xffff, 0x0000, 0x0001,
501  0xc000, 0xc001, 0xd556, 0xe66e, 0xfffe, 0xffff, 0x0000, 0x195b,
502  0xc000, 0xc001, 0xd55d, 0xe6a4, 0xffff, 0x0000, 0x195a, 0x2a6c,
503  0xc001, 0xc008, 0xd593, 0xe6a5, 0xffff, 0x195a, 0x2a6b, 0x3fc0,
504  0xc008, 0xc03f, 0xd594, 0xe6a5, 0x1959, 0x2a6b, 0x3fbf, 0x3fc0,
505  0xc03e, 0xc03f, 0xd594, 0xffff, 0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1,
506  0xc03f, 0xc040, 0xeeee, 0x1110, 0x3fbe, 0x3fbf, 0x3fc0, 0xbfc1,
507  0xc03f, 0xd99a, 0xffff, 0x2664, 0x3fbf, 0x3fc0, 0xbfc1, 0xbfc2,
508  0xd999, 0xeaab, 0x1553, 0x2665, 0x3fbf, 0xbfc0, 0xbfc1, 0xd516,
509  0xeaaa, 0xffff, 0x1554, 0x2665, 0xbfc0, 0xbfc1, 0xd516, 0xe627,
510  0xfffe, 0xffff, 0x1554, 0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81,
511  0xffff, 0x0000, 0x9555, 0xa666, 0xd515, 0xe626, 0xff81, 0xff82,
512  0xffff, 0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80, 0xff81, 0xff82,
513  0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83,
514  0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80, 0xff81, 0xff82, 0xffb9,
515  0x9555, 0xa666, 0xd515, 0xe626, 0xff81, 0xff82, 0xffb9, 0xffc0,
516  0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81, 0xffb8, 0xffbf, 0xffc0,
517  0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8, 0xffbf, 0xffc0, 0xffc1,
518  0xbfc1, 0xd516, 0xe627, 0xffb8, 0xffbf, 0xffc0, 0xffc1, 0xfff8,
519  0xbfc1, 0xd516, 0xe65e, 0xffbe, 0xffbf, 0xffc0, 0xffc1, 0xfff8,
520  0xbfc2, 0xd54d, 0xe664, 0xffbf, 0xffc0, 0xffc1, 0xffc2, 0xfff9,
521  0xbff8, 0xd553, 0xe665, 0xffbf, 0xffc0, 0xffc1, 0xffc2, 0x0000,
522  0xbfff, 0xd554, 0xe665, 0xffc0, 0xffc1, 0xffc2, 0xffc9, 0x0036,
523  0xbfff, 0xd554, 0xe666, 0xffc0, 0xffc1, 0xffc9, 0x0000, 0x0037,
524  0xc000, 0xd555, 0xe666, 0xffc1, 0xffc8, 0xffff, 0x0000, 0x0037,
525  0xc000, 0xd555, 0xe667, 0xffc8, 0xffff, 0x0000, 0x0001, 0x1991,
526  0xc001, 0xd556, 0xe66e, 0xfffe, 0xffff, 0x0000, 0x195b, 0x2aa2,
527  0xc001, 0xd55d, 0xe6a4, 0xffff, 0x0000, 0x195a, 0x2a6c, 0x3ff6,
528  0xc008, 0xd593, 0xe6a5, 0xffff, 0x195a, 0x2a6b, 0x3fc0, 0x3ff7,
529  0xc03f, 0xd594, 0xe6a5, 0x1959, 0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7,
530  0xc03f, 0xd594, 0xffff, 0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1, 0xbff8,
531  0xc040, 0xeeee, 0x1110, 0x3fbe, 0x3fbf, 0x3fc0, 0xbfc1, 0xbff8,
532  0xd99a, 0xffff, 0x2664, 0x3fbf, 0x3fc0, 0xbfc1, 0xbfc2, 0xd54d,
533  0xeaab, 0x1553, 0x2665, 0x3fbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e,
534  0xffff, 0x1554, 0x2665, 0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8,
535  0xffff, 0x1554, 0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81, 0xffb8,
536  0x0000, 0x9555, 0xa666, 0xd515, 0xe626, 0xff81, 0xff82, 0xffb9,
537  0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80, 0xff81, 0xff82, 0xffb9,
538  0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0,
539  0x9555, 0xbbbb, 0xe626, 0xff80, 0xff81, 0xff82, 0xffb9, 0xfff6,
540  0xa666, 0xd515, 0xe626, 0xff81, 0xff82, 0xffb9, 0xffc0, 0xfff7,
541  0xbfc0, 0xd515, 0xe627, 0xff81, 0xffb8, 0xffbf, 0xffc0, 0xfff7,
542  0xd515, 0xe627, 0xff81, 0xffb8, 0xffbf, 0xffc0, 0xfff7, 0xfffe,
543  0xd516, 0xe627, 0xffb8, 0xffbf, 0xffc0, 0xffc1, 0xfff8, 0xffff,
544  0xd516, 0xe65e, 0xffbe, 0xffbf, 0xffc0, 0xffc1, 0xfff8, 0xffff,
545  0xd54d, 0xe664, 0xffbf, 0xffc0, 0xffc1, 0xffc2, 0xfff9, 0x0006,
546  0xd553, 0xe665, 0xffbf, 0xffc0, 0xffc1, 0xffc2, 0x0000, 0x003d,
547  0xd554, 0xe665, 0xffc0, 0xffc1, 0xffc2, 0xffc9, 0x0036, 0x003d,
548  0xd554, 0xe666, 0xffc0, 0xffc1, 0xffc9, 0x0000, 0x0037, 0x003e,
549  0xd555, 0xe666, 0xffc1, 0xffc8, 0xffff, 0x0000, 0x0037, 0x1998,
550  0xd555, 0xe667, 0xffc8, 0xffff, 0x0000, 0x0001, 0x1991, 0x2aa9,
551  0xd556, 0xe66e, 0xfffe, 0xffff, 0x0000, 0x195b, 0x2aa2, 0x3ffd,
552  0xd55d, 0xe6a4, 0xffff, 0x0000, 0x195a, 0x2a6c, 0x3ff6, 0x3ffd,
553  0xd593, 0xe6a5, 0xffff, 0x195a, 0x2a6b, 0x3fc0, 0x3ff7, 0x3ffe,
554  0xd594, 0xe6a5, 0x1959, 0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7, 0xbffe,
555  0xd594, 0xffff, 0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1, 0xbff8, 0xbfff,
556  0xeeee, 0x1110, 0x3fbe, 0x3fbf, 0x3fc0, 0xbfc1, 0xbff8, 0xd553,
557  0xffff, 0x2664, 0x3fbf, 0x3fc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664,
558  0x1553, 0x2665, 0x3fbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe,
559  0x1554, 0x2665, 0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8, 0xffbf,
560  0x1554, 0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81, 0xffb8, 0xffbf,
561  0x9555, 0xa666, 0xd515, 0xe626, 0xff81, 0xff82, 0xffb9, 0xffc0,
562  0x9555, 0xbbbb, 0xe626, 0xff80, 0xff81, 0xff82, 0xffb9, 0xfff6,
563  0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd,
564  0xbbbb, 0xe626, 0xff80, 0xff81, 0xff82, 0xffb9, 0xfff6, 0xfffd,
565  0xd515, 0xe626, 0xff81, 0xff82, 0xffb9, 0xffc0, 0xfff7, 0xfffe,
566  0xe626, 0xff81, 0xff82, 0xffb9, 0xffc0, 0xfff7, 0xfffe, 0xffff,
567  0xe627, 0xff81, 0xffb8, 0xffbf, 0xffc0, 0xfff7, 0xfffe, 0xffff,
568  0xe627, 0xffb8, 0xffbf, 0xffc0, 0xffc1, 0xfff8, 0xffff, 0x0000,
569  0xe65e, 0xffbe, 0xffbf, 0xffc0, 0xffc1, 0xfff8, 0xffff, 0x0007,
570  0xe664, 0xffbf, 0xffc0, 0xffc1, 0xffc2, 0xfff9, 0x0006, 0x003d,
571  0xe665, 0xffbf, 0xffc0, 0xffc1, 0xffc2, 0x0000, 0x003d, 0x003e,
572  0xe665, 0xffc0, 0xffc1, 0xffc2, 0xffc9, 0x0036, 0x003d, 0x003e,
573  0xe666, 0xffc0, 0xffc1, 0xffc9, 0x0000, 0x0037, 0x003e, 0x1998,
574  0xe666, 0xffc1, 0xffc8, 0xffff, 0x0000, 0x0037, 0x1998, 0x2aa9,
575  0xe667, 0xffc8, 0xffff, 0x0000, 0x0001, 0x1991, 0x2aa9, 0x3ffd,
576  0xe66e, 0xfffe, 0xffff, 0x0000, 0x195b, 0x2aa2, 0x3ffd, 0x3ffe,
577  0xe6a4, 0xffff, 0x0000, 0x195a, 0x2a6c, 0x3ff6, 0x3ffd, 0x3ffe,
578  0xe6a5, 0xffff, 0x195a, 0x2a6b, 0x3fc0, 0x3ff7, 0x3ffe, 0xbfff,
579  0xe6a5, 0x1959, 0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7, 0xbffe, 0xbfff,
580  0xffff, 0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1, 0xbff8, 0xbfff, 0xd554,
581  0x1110, 0x3fbe, 0x3fbf, 0x3fc0, 0xbfc1, 0xbff8, 0xd553, 0xe665,
582  0x2664, 0x3fbf, 0x3fc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664, 0xffbf,
583  0x2665, 0x3fbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe, 0xffbf,
584  0x2665, 0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8, 0xffbf, 0xffc0,
585  0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81, 0xffb8, 0xffbf, 0xffc0,
586  0xa666, 0xd515, 0xe626, 0xff81, 0xff82, 0xffb9, 0xffc0, 0xfff7,
587  0xbbbb, 0xe626, 0xff80, 0xff81, 0xff82, 0xffb9, 0xfff6, 0xfffd,
588  0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe,
589  0xe626, 0xff80, 0xff81, 0xff82, 0xffb9, 0xfff6, 0xfffd, 0xfffe,
590  0xff80, 0xff81, 0xff82, 0xffb9, 0xfff6, 0xfffd, 0xfffe, 0xffff,
591  0xff81, 0xff82, 0xffb9, 0xffc0, 0xfff7, 0xfffe, 0xffff, 0x0000,
592  0xff81, 0xffb8, 0xffbf, 0xffc0, 0xfff7, 0xfffe, 0xffff, 0x0000,
593  0xffb8, 0xffbf, 0xffc0, 0xffc1, 0xfff8, 0xffff, 0x0000, 0x0007,
594  0xffbe, 0xffbf, 0xffc0, 0xffc1, 0xfff8, 0xffff, 0x0007, 0x003e,
595  0xffbf, 0xffc0, 0xffc1, 0xffc2, 0xfff9, 0x0006, 0x003d, 0x003e,
596  0xffbf, 0xffc0, 0xffc1, 0xffc2, 0x0000, 0x003d, 0x003e, 0x003f,
597  0xffc0, 0xffc1, 0xffc2, 0xffc9, 0x0036, 0x003d, 0x003e, 0x1999,
598  0xffc0, 0xffc1, 0xffc9, 0x0000, 0x0037, 0x003e, 0x1998, 0x2aaa,
599  0xffc1, 0xffc8, 0xffff, 0x0000, 0x0037, 0x1998, 0x2aa9, 0x3ffe,
600  0xffc8, 0xffff, 0x0000, 0x0001, 0x1991, 0x2aa9, 0x3ffd, 0x3ffe,
601  0xfffe, 0xffff, 0x0000, 0x195b, 0x2aa2, 0x3ffd, 0x3ffe, 0x3fff,
602  0xffff, 0x0000, 0x195a, 0x2a6c, 0x3ff6, 0x3ffd, 0x3ffe, 0xbfff,
603  0xffff, 0x195a, 0x2a6b, 0x3fc0, 0x3ff7, 0x3ffe, 0xbfff, 0xc000,
604  0x1959, 0x2a6b, 0x3fbf, 0x3fc0, 0x3ff7, 0xbffe, 0xbfff, 0xd554,
605  0x2a6a, 0x3fbf, 0x3fc0, 0x3fc1, 0xbff8, 0xbfff, 0xd554, 0xe665,
606  0x3fbe, 0x3fbf, 0x3fc0, 0xbfc1, 0xbff8, 0xd553, 0xe665, 0xffbf,
607  0x3fbf, 0x3fc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664, 0xffbf, 0xffc0,
608  0x3fbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe, 0xffbf, 0xffc0,
609  0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8, 0xffbf, 0xffc0, 0xffc1,
610  0xbfc0, 0xd515, 0xe627, 0xff81, 0xffb8, 0xffbf, 0xffc0, 0xfff7,
611  0xd515, 0xe626, 0xff81, 0xff82, 0xffb9, 0xffc0, 0xfff7, 0xfffe,
612  0xe626, 0xff80, 0xff81, 0xff82, 0xffb9, 0xfff6, 0xfffd, 0xfffe,
613  0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe, 0xffff,
614};
615const unsigned kExpectedCount_NEON_shadd_8H = 576;
616
617#endif  // VIXL_SIM_SHADD_8H_TRACE_AARCH64_H_
618