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_UHADD_8H_TRACE_AARCH64_H_
35#define VIXL_SIM_UHADD_8H_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_uhadd_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, 0x4000,
51  0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x7fff, 0x4000,
52  0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x7fff, 0x8000, 0x5555,
53  0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x7ffe, 0x7fff, 0x9554, 0x6666,
54  0x403d, 0x403e, 0x5999, 0x6aaa, 0x7fff, 0x9554, 0xa665, 0x7fc0,
55  0x403e, 0x403f, 0x5999, 0x6aab, 0x9553, 0xa665, 0xbfbf, 0x7fc0,
56  0x403e, 0x403f, 0x599a, 0x7fff, 0xa664, 0xbfbf, 0xbfc0, 0x7fc1,
57  0x403f, 0x4040, 0x6eee, 0x9110, 0xbfbe, 0xbfbf, 0xbfc0, 0x7fc1,
58  0x403f, 0x5594, 0x7fff, 0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1, 0x7ff8,
59  0x5594, 0x66a5, 0x9959, 0xaa6b, 0xbfbf, 0xbfc0, 0xbff7, 0x7ffe,
60  0x66a5, 0x7fff, 0x995a, 0xaa6b, 0xbfc0, 0xbff7, 0xbffe, 0x7fff,
61  0x7fff, 0x8000, 0x995a, 0xaa6c, 0xbff6, 0xbffd, 0xbffe, 0x7fff,
62  0x8000, 0x995a, 0xaa6c, 0xbff6, 0xbffd, 0xbffe, 0x7fff, 0x0000,
63  0x8000, 0x995b, 0xaaa2, 0xbffd, 0xbffe, 0xbfff, 0x0000, 0x0001,
64  0x8001, 0x9991, 0xaaa9, 0xbffd, 0xbffe, 0x3fff, 0x0000, 0x0001,
65  0x8037, 0x9998, 0xaaa9, 0xbffe, 0x3fff, 0x4000, 0x0001, 0x0008,
66  0x803e, 0x9998, 0xaaaa, 0x3ffe, 0x3fff, 0x4000, 0x0008, 0x003f,
67  0x803e, 0x9999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0x003e, 0x003f,
68  0x803f, 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, 0x4000,
75  0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x4000, 0x4001,
76  0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x7fff, 0x4000, 0x5555,
77  0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x7fff, 0x8000, 0x5555, 0x6666,
78  0x403e, 0x5998, 0x6aaa, 0x7ffe, 0x7fff, 0x9554, 0x6666, 0x7fc0,
79  0x403e, 0x5999, 0x6aaa, 0x7fff, 0x9554, 0xa665, 0x7fc0, 0x7fc1,
80  0x403f, 0x5999, 0x6aab, 0x9553, 0xa665, 0xbfbf, 0x7fc0, 0x7fc1,
81  0x403f, 0x599a, 0x7fff, 0xa664, 0xbfbf, 0xbfc0, 0x7fc1, 0x7fc2,
82  0x4040, 0x6eee, 0x9110, 0xbfbe, 0xbfbf, 0xbfc0, 0x7fc1, 0x7ff8,
83  0x5594, 0x7fff, 0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1, 0x7ff8, 0x7fff,
84  0x66a5, 0x9959, 0xaa6b, 0xbfbf, 0xbfc0, 0xbff7, 0x7ffe, 0x7fff,
85  0x7fff, 0x995a, 0xaa6b, 0xbfc0, 0xbff7, 0xbffe, 0x7fff, 0x8000,
86  0x995a, 0xaa6b, 0xbfc0, 0xbff7, 0xbffe, 0x7fff, 0x8000, 0x0001,
87  0x995a, 0xaa6c, 0xbff6, 0xbffd, 0xbffe, 0x7fff, 0x0000, 0x0001,
88  0x995b, 0xaaa2, 0xbffd, 0xbffe, 0xbfff, 0x0000, 0x0001, 0x0002,
89  0x9991, 0xaaa9, 0xbffd, 0xbffe, 0x3fff, 0x0000, 0x0001, 0x0009,
90  0x9998, 0xaaa9, 0xbffe, 0x3fff, 0x4000, 0x0001, 0x0008, 0x003f,
91  0x9998, 0xaaaa, 0x3ffe, 0x3fff, 0x4000, 0x0008, 0x003f, 0x0040,
92  0x9999, 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, 0x4001,
99  0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x3fff, 0x4000, 0x4001,
100  0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x4000, 0x4001, 0x5556,
101  0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x7fff, 0x4000, 0x5555, 0x6667,
102  0x5998, 0x6aa9, 0x7ffe, 0x7fff, 0x8000, 0x5555, 0x6666, 0x7fc1,
103  0x5998, 0x6aaa, 0x7ffe, 0x7fff, 0x9554, 0x6666, 0x7fc0, 0x7fc1,
104  0x5999, 0x6aaa, 0x7fff, 0x9554, 0xa665, 0x7fc0, 0x7fc1, 0x7fc2,
105  0x5999, 0x6aab, 0x9553, 0xa665, 0xbfbf, 0x7fc0, 0x7fc1, 0x7fc2,
106  0x599a, 0x7fff, 0xa664, 0xbfbf, 0xbfc0, 0x7fc1, 0x7fc2, 0x7ff9,
107  0x6eee, 0x9110, 0xbfbe, 0xbfbf, 0xbfc0, 0x7fc1, 0x7ff8, 0x7fff,
108  0x7fff, 0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1, 0x7ff8, 0x7fff, 0x8000,
109  0x9959, 0xaa6b, 0xbfbf, 0xbfc0, 0xbff7, 0x7ffe, 0x7fff, 0x8000,
110  0xaa6b, 0xbfbf, 0xbfc0, 0xbff7, 0x7ffe, 0x7fff, 0x8000, 0x0008,
111  0xaa6b, 0xbfc0, 0xbff7, 0xbffe, 0x7fff, 0x8000, 0x0001, 0x0008,
112  0xaa6c, 0xbff6, 0xbffd, 0xbffe, 0x7fff, 0x0000, 0x0001, 0x0009,
113  0xaaa2, 0xbffd, 0xbffe, 0xbfff, 0x0000, 0x0001, 0x0002, 0x0010,
114  0xaaa9, 0xbffd, 0xbffe, 0x3fff, 0x0000, 0x0001, 0x0009, 0x0046,
115  0xaaa9, 0xbffe, 0x3fff, 0x4000, 0x0001, 0x0008, 0x003f, 0x0047,
116  0xaaaa, 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, 0x4008,
123  0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x3fff, 0x4000, 0x4001, 0x4008,
124  0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x3fff, 0x4000, 0x4001, 0x555d,
125  0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x4000, 0x4001, 0x5556, 0x666e,
126  0x6aa9, 0x7ffd, 0x7ffe, 0x7fff, 0x4000, 0x5555, 0x6667, 0x7fc8,
127  0x6aa9, 0x7ffe, 0x7fff, 0x8000, 0x5555, 0x6666, 0x7fc1, 0x7fc8,
128  0x6aaa, 0x7ffe, 0x7fff, 0x9554, 0x6666, 0x7fc0, 0x7fc1, 0x7fc9,
129  0x6aaa, 0x7fff, 0x9554, 0xa665, 0x7fc0, 0x7fc1, 0x7fc2, 0x7fc9,
130  0x6aab, 0x9553, 0xa665, 0xbfbf, 0x7fc0, 0x7fc1, 0x7fc2, 0x8000,
131  0x7fff, 0xa664, 0xbfbf, 0xbfc0, 0x7fc1, 0x7fc2, 0x7ff9, 0x8006,
132  0x9110, 0xbfbe, 0xbfbf, 0xbfc0, 0x7fc1, 0x7ff8, 0x7fff, 0x8007,
133  0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1, 0x7ff8, 0x7fff, 0x8000, 0x8007,
134  0xbfbf, 0xbfc0, 0xbfc1, 0x7ff8, 0x7fff, 0x8000, 0x8007, 0x003e,
135  0xbfbf, 0xbfc0, 0xbff7, 0x7ffe, 0x7fff, 0x8000, 0x0008, 0x003f,
136  0xbfc0, 0xbff7, 0xbffe, 0x7fff, 0x8000, 0x0001, 0x0008, 0x003f,
137  0xbff6, 0xbffd, 0xbffe, 0x7fff, 0x0000, 0x0001, 0x0009, 0x0046,
138  0xbffd, 0xbffe, 0xbfff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
139  0xbffd, 0xbffe, 0x3fff, 0x0000, 0x0001, 0x0009, 0x0046, 0x007d,
140  0xbffe, 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, 0x403e,
147  0x403e, 0x5998, 0x6aaa, 0x3ffe, 0x3fff, 0x4000, 0x4008, 0x403f,
148  0x5998, 0x6aa9, 0x7ffe, 0x3fff, 0x4000, 0x4001, 0x4008, 0x5593,
149  0x6aa9, 0x7ffd, 0x7ffe, 0x3fff, 0x4000, 0x4001, 0x555d, 0x66a4,
150  0x7ffd, 0x7ffe, 0x7fff, 0x4000, 0x4001, 0x5556, 0x666e, 0x7ffe,
151  0x7ffd, 0x7ffe, 0x7fff, 0x4000, 0x5555, 0x6667, 0x7fc8, 0x7fff,
152  0x7ffe, 0x7fff, 0x8000, 0x5555, 0x6666, 0x7fc1, 0x7fc8, 0x7fff,
153  0x7ffe, 0x7fff, 0x9554, 0x6666, 0x7fc0, 0x7fc1, 0x7fc9, 0x8000,
154  0x7fff, 0x9554, 0xa665, 0x7fc0, 0x7fc1, 0x7fc2, 0x7fc9, 0x8036,
155  0x9553, 0xa665, 0xbfbf, 0x7fc0, 0x7fc1, 0x7fc2, 0x8000, 0x803d,
156  0xa664, 0xbfbf, 0xbfc0, 0x7fc1, 0x7fc2, 0x7ff9, 0x8006, 0x803d,
157  0xbfbe, 0xbfbf, 0xbfc0, 0x7fc1, 0x7ff8, 0x7fff, 0x8007, 0x803e,
158  0xbfbf, 0xbfc0, 0x7fc1, 0x7ff8, 0x7fff, 0x8007, 0x803e, 0x003f,
159  0xbfc0, 0xbfc1, 0x7ff8, 0x7fff, 0x8000, 0x8007, 0x003e, 0x003f,
160  0xbfc0, 0xbff7, 0x7ffe, 0x7fff, 0x8000, 0x0008, 0x003f, 0x0040,
161  0xbff7, 0xbffe, 0x7fff, 0x8000, 0x0001, 0x0008, 0x003f, 0x0047,
162  0xbffd, 0xbffe, 0x7fff, 0x0000, 0x0001, 0x0009, 0x0046, 0x007d,
163  0xbffe, 0xbfff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
164  0xbffe, 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, 0x403f,
171  0x403e, 0x5999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0x403e, 0x403f,
172  0x5998, 0x6aaa, 0x3ffe, 0x3fff, 0x4000, 0x4008, 0x403f, 0x5594,
173  0x6aa9, 0x7ffe, 0x3fff, 0x4000, 0x4001, 0x4008, 0x5593, 0x66a5,
174  0x7ffd, 0x7ffe, 0x3fff, 0x4000, 0x4001, 0x555d, 0x66a4, 0x7fff,
175  0x7ffe, 0x7fff, 0x4000, 0x4001, 0x5556, 0x666e, 0x7ffe, 0x7fff,
176  0x7ffe, 0x7fff, 0x4000, 0x5555, 0x6667, 0x7fc8, 0x7fff, 0x8000,
177  0x7fff, 0x8000, 0x5555, 0x6666, 0x7fc1, 0x7fc8, 0x7fff, 0x8000,
178  0x7fff, 0x9554, 0x6666, 0x7fc0, 0x7fc1, 0x7fc9, 0x8000, 0x8037,
179  0x9554, 0xa665, 0x7fc0, 0x7fc1, 0x7fc2, 0x7fc9, 0x8036, 0x803d,
180  0xa665, 0xbfbf, 0x7fc0, 0x7fc1, 0x7fc2, 0x8000, 0x803d, 0x803e,
181  0xbfbf, 0xbfc0, 0x7fc1, 0x7fc2, 0x7ff9, 0x8006, 0x803d, 0x803e,
182  0xbfc0, 0x7fc1, 0x7fc2, 0x7ff9, 0x8006, 0x803d, 0x803e, 0x003f,
183  0xbfc0, 0x7fc1, 0x7ff8, 0x7fff, 0x8007, 0x803e, 0x003f, 0x0040,
184  0xbfc1, 0x7ff8, 0x7fff, 0x8000, 0x8007, 0x003e, 0x003f, 0x0040,
185  0xbff7, 0x7ffe, 0x7fff, 0x8000, 0x0008, 0x003f, 0x0040, 0x0047,
186  0xbffe, 0x7fff, 0x8000, 0x0001, 0x0008, 0x003f, 0x0047, 0x007e,
187  0xbffe, 0x7fff, 0x0000, 0x0001, 0x0009, 0x0046, 0x007d, 0x007e,
188  0xbfff, 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, 0x403f,
195  0x403f, 0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0x403f, 0x4040,
196  0x5999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0x403e, 0x403f, 0x5594,
197  0x6aaa, 0x3ffe, 0x3fff, 0x4000, 0x4008, 0x403f, 0x5594, 0x66a5,
198  0x7ffe, 0x3fff, 0x4000, 0x4001, 0x4008, 0x5593, 0x66a5, 0x7fff,
199  0x7ffe, 0x3fff, 0x4000, 0x4001, 0x555d, 0x66a4, 0x7fff, 0x8000,
200  0x7fff, 0x4000, 0x4001, 0x5556, 0x666e, 0x7ffe, 0x7fff, 0x8000,
201  0x7fff, 0x4000, 0x5555, 0x6667, 0x7fc8, 0x7fff, 0x8000, 0x8001,
202  0x8000, 0x5555, 0x6666, 0x7fc1, 0x7fc8, 0x7fff, 0x8000, 0x8037,
203  0x9554, 0x6666, 0x7fc0, 0x7fc1, 0x7fc9, 0x8000, 0x8037, 0x803e,
204  0xa665, 0x7fc0, 0x7fc1, 0x7fc2, 0x7fc9, 0x8036, 0x803d, 0x803e,
205  0xbfbf, 0x7fc0, 0x7fc1, 0x7fc2, 0x8000, 0x803d, 0x803e, 0x803f,
206  0x7fc0, 0x7fc1, 0x7fc2, 0x8000, 0x803d, 0x803e, 0x803f, 0x1999,
207  0x7fc1, 0x7fc2, 0x7ff9, 0x8006, 0x803d, 0x803e, 0x003f, 0x199a,
208  0x7fc1, 0x7ff8, 0x7fff, 0x8007, 0x803e, 0x003f, 0x0040, 0x199a,
209  0x7ff8, 0x7fff, 0x8000, 0x8007, 0x003e, 0x003f, 0x0040, 0x19a1,
210  0x7ffe, 0x7fff, 0x8000, 0x0008, 0x003f, 0x0040, 0x0047, 0x19d8,
211  0x7fff, 0x8000, 0x0001, 0x0008, 0x003f, 0x0047, 0x007e, 0x19d8,
212  0x7fff, 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, 0x5999,
219  0x003f, 0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0x403f, 0x599a,
220  0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0x403f, 0x4040, 0x6eee,
221  0x2aaa, 0x3fff, 0x4000, 0x4007, 0x403e, 0x403f, 0x5594, 0x7fff,
222  0x3ffe, 0x3fff, 0x4000, 0x4008, 0x403f, 0x5594, 0x66a5, 0x9959,
223  0x3fff, 0x4000, 0x4001, 0x4008, 0x5593, 0x66a5, 0x7fff, 0x995a,
224  0x3fff, 0x4000, 0x4001, 0x555d, 0x66a4, 0x7fff, 0x8000, 0x995a,
225  0x4000, 0x4001, 0x5556, 0x666e, 0x7ffe, 0x7fff, 0x8000, 0x995b,
226  0x4000, 0x5555, 0x6667, 0x7fc8, 0x7fff, 0x8000, 0x8001, 0x9991,
227  0x5555, 0x6666, 0x7fc1, 0x7fc8, 0x7fff, 0x8000, 0x8037, 0x9998,
228  0x6666, 0x7fc0, 0x7fc1, 0x7fc9, 0x8000, 0x8037, 0x803e, 0x9998,
229  0x7fc0, 0x7fc1, 0x7fc2, 0x7fc9, 0x8036, 0x803d, 0x803e, 0x9999,
230  0x7fc1, 0x7fc2, 0x7fc9, 0x8036, 0x803d, 0x803e, 0x9999, 0x2aaa,
231  0x7fc1, 0x7fc2, 0x8000, 0x803d, 0x803e, 0x803f, 0x1999, 0x2aab,
232  0x7fc2, 0x7ff9, 0x8006, 0x803d, 0x803e, 0x003f, 0x199a, 0x2aab,
233  0x7ff8, 0x7fff, 0x8007, 0x803e, 0x003f, 0x0040, 0x199a, 0x2ab2,
234  0x7fff, 0x8000, 0x8007, 0x003e, 0x003f, 0x0040, 0x19a1, 0x2ae9,
235  0x7fff, 0x8000, 0x0008, 0x003f, 0x0040, 0x0047, 0x19d8, 0x2ae9,
236  0x8000, 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, 0x6aaa,
243  0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0x5999, 0x6aab,
244  0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0x403f, 0x599a, 0x7fff,
245  0x2aab, 0x3fff, 0x4007, 0x403e, 0x403f, 0x4040, 0x6eee, 0x9110,
246  0x3fff, 0x4000, 0x4007, 0x403e, 0x403f, 0x5594, 0x7fff, 0xaa6a,
247  0x3fff, 0x4000, 0x4008, 0x403f, 0x5594, 0x66a5, 0x9959, 0xaa6b,
248  0x4000, 0x4001, 0x4008, 0x5593, 0x66a5, 0x7fff, 0x995a, 0xaa6b,
249  0x4000, 0x4001, 0x555d, 0x66a4, 0x7fff, 0x8000, 0x995a, 0xaa6c,
250  0x4001, 0x5556, 0x666e, 0x7ffe, 0x7fff, 0x8000, 0x995b, 0xaaa2,
251  0x5555, 0x6667, 0x7fc8, 0x7fff, 0x8000, 0x8001, 0x9991, 0xaaa9,
252  0x6666, 0x7fc1, 0x7fc8, 0x7fff, 0x8000, 0x8037, 0x9998, 0xaaa9,
253  0x7fc0, 0x7fc1, 0x7fc9, 0x8000, 0x8037, 0x803e, 0x9998, 0xaaaa,
254  0x7fc1, 0x7fc9, 0x8000, 0x8037, 0x803e, 0x9998, 0xaaaa, 0x3ffe,
255  0x7fc2, 0x7fc9, 0x8036, 0x803d, 0x803e, 0x9999, 0x2aaa, 0x3fff,
256  0x7fc2, 0x8000, 0x803d, 0x803e, 0x803f, 0x1999, 0x2aab, 0x3fff,
257  0x7ff9, 0x8006, 0x803d, 0x803e, 0x003f, 0x199a, 0x2aab, 0x4006,
258  0x7fff, 0x8007, 0x803e, 0x003f, 0x0040, 0x199a, 0x2ab2, 0x403d,
259  0x8000, 0x8007, 0x003e, 0x003f, 0x0040, 0x19a1, 0x2ae9, 0x403d,
260  0x8000, 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, 0x7ffe,
267  0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0x6aaa, 0x7fff,
268  0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0x5999, 0x6aab, 0x9553,
269  0x2aab, 0x4006, 0x403d, 0x403e, 0x403f, 0x599a, 0x7fff, 0xa664,
270  0x3fff, 0x4007, 0x403e, 0x403f, 0x4040, 0x6eee, 0x9110, 0xbfbe,
271  0x4000, 0x4007, 0x403e, 0x403f, 0x5594, 0x7fff, 0xaa6a, 0xbfbf,
272  0x4000, 0x4008, 0x403f, 0x5594, 0x66a5, 0x9959, 0xaa6b, 0xbfbf,
273  0x4001, 0x4008, 0x5593, 0x66a5, 0x7fff, 0x995a, 0xaa6b, 0xbfc0,
274  0x4001, 0x555d, 0x66a4, 0x7fff, 0x8000, 0x995a, 0xaa6c, 0xbff6,
275  0x5556, 0x666e, 0x7ffe, 0x7fff, 0x8000, 0x995b, 0xaaa2, 0xbffd,
276  0x6667, 0x7fc8, 0x7fff, 0x8000, 0x8001, 0x9991, 0xaaa9, 0xbffd,
277  0x7fc1, 0x7fc8, 0x7fff, 0x8000, 0x8037, 0x9998, 0xaaa9, 0xbffe,
278  0x7fc8, 0x7fff, 0x8000, 0x8037, 0x9998, 0xaaa9, 0xbffe, 0x3fff,
279  0x7fc9, 0x8000, 0x8037, 0x803e, 0x9998, 0xaaaa, 0x3ffe, 0x3fff,
280  0x7fc9, 0x8036, 0x803d, 0x803e, 0x9999, 0x2aaa, 0x3fff, 0x4000,
281  0x8000, 0x803d, 0x803e, 0x803f, 0x1999, 0x2aab, 0x3fff, 0x4007,
282  0x8006, 0x803d, 0x803e, 0x003f, 0x199a, 0x2aab, 0x4006, 0x403d,
283  0x8007, 0x803e, 0x003f, 0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e,
284  0x8007, 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, 0x7fff,
291  0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x7ffe, 0x7fff,
292  0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0x6aaa, 0x7fff, 0x9554,
293  0x2ab2, 0x403d, 0x403e, 0x403f, 0x5999, 0x6aab, 0x9553, 0xa665,
294  0x4006, 0x403d, 0x403e, 0x403f, 0x599a, 0x7fff, 0xa664, 0xbfbf,
295  0x4007, 0x403e, 0x403f, 0x4040, 0x6eee, 0x9110, 0xbfbe, 0xbfbf,
296  0x4007, 0x403e, 0x403f, 0x5594, 0x7fff, 0xaa6a, 0xbfbf, 0xbfc0,
297  0x4008, 0x403f, 0x5594, 0x66a5, 0x9959, 0xaa6b, 0xbfbf, 0xbfc0,
298  0x4008, 0x5593, 0x66a5, 0x7fff, 0x995a, 0xaa6b, 0xbfc0, 0xbff7,
299  0x555d, 0x66a4, 0x7fff, 0x8000, 0x995a, 0xaa6c, 0xbff6, 0xbffd,
300  0x666e, 0x7ffe, 0x7fff, 0x8000, 0x995b, 0xaaa2, 0xbffd, 0xbffe,
301  0x7fc8, 0x7fff, 0x8000, 0x8001, 0x9991, 0xaaa9, 0xbffd, 0xbffe,
302  0x7fff, 0x8000, 0x8001, 0x9991, 0xaaa9, 0xbffd, 0xbffe, 0x3fff,
303  0x7fff, 0x8000, 0x8037, 0x9998, 0xaaa9, 0xbffe, 0x3fff, 0x4000,
304  0x8000, 0x8037, 0x803e, 0x9998, 0xaaaa, 0x3ffe, 0x3fff, 0x4000,
305  0x8036, 0x803d, 0x803e, 0x9999, 0x2aaa, 0x3fff, 0x4000, 0x4007,
306  0x803d, 0x803e, 0x803f, 0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e,
307  0x803d, 0x803e, 0x003f, 0x199a, 0x2aab, 0x4006, 0x403d, 0x403e,
308  0x803e, 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, 0x7fff,
315  0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x7fff, 0x8000,
316  0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x7ffe, 0x7fff, 0x9554,
317  0x2ae9, 0x403d, 0x403e, 0x5999, 0x6aaa, 0x7fff, 0x9554, 0xa665,
318  0x403d, 0x403e, 0x403f, 0x5999, 0x6aab, 0x9553, 0xa665, 0xbfbf,
319  0x403d, 0x403e, 0x403f, 0x599a, 0x7fff, 0xa664, 0xbfbf, 0xbfc0,
320  0x403e, 0x403f, 0x4040, 0x6eee, 0x9110, 0xbfbe, 0xbfbf, 0xbfc0,
321  0x403e, 0x403f, 0x5594, 0x7fff, 0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1,
322  0x403f, 0x5594, 0x66a5, 0x9959, 0xaa6b, 0xbfbf, 0xbfc0, 0xbff7,
323  0x5593, 0x66a5, 0x7fff, 0x995a, 0xaa6b, 0xbfc0, 0xbff7, 0xbffe,
324  0x66a4, 0x7fff, 0x8000, 0x995a, 0xaa6c, 0xbff6, 0xbffd, 0xbffe,
325  0x7ffe, 0x7fff, 0x8000, 0x995b, 0xaaa2, 0xbffd, 0xbffe, 0xbfff,
326  0x7fff, 0x8000, 0x995b, 0xaaa2, 0xbffd, 0xbffe, 0xbfff, 0x4000,
327  0x8000, 0x8001, 0x9991, 0xaaa9, 0xbffd, 0xbffe, 0x3fff, 0x4000,
328  0x8000, 0x8037, 0x9998, 0xaaa9, 0xbffe, 0x3fff, 0x4000, 0x4001,
329  0x8037, 0x803e, 0x9998, 0xaaaa, 0x3ffe, 0x3fff, 0x4000, 0x4008,
330  0x803d, 0x803e, 0x9999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0x403e,
331  0x803e, 0x803f, 0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0x403f,
332  0x803e, 0x003f, 0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0x403f,
333  0x003f, 0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0x5999,
334  0x003f, 0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0x6aaa,
335  0x0040, 0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x7ffe,
336  0x0047, 0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x7fff,
337  0x007d, 0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x7fff,
338  0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
339  0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
340  0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x7fff, 0x8000, 0x9555,
341  0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x7ffe, 0x7fff, 0x9554, 0xa666,
342  0x403d, 0x403e, 0x5999, 0x6aaa, 0x7fff, 0x9554, 0xa665, 0xbfc0,
343  0x403e, 0x403f, 0x5999, 0x6aab, 0x9553, 0xa665, 0xbfbf, 0xbfc0,
344  0x403e, 0x403f, 0x599a, 0x7fff, 0xa664, 0xbfbf, 0xbfc0, 0xbfc1,
345  0x403f, 0x4040, 0x6eee, 0x9110, 0xbfbe, 0xbfbf, 0xbfc0, 0xbfc1,
346  0x403f, 0x5594, 0x7fff, 0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8,
347  0x5594, 0x66a5, 0x9959, 0xaa6b, 0xbfbf, 0xbfc0, 0xbff7, 0xbffe,
348  0x66a5, 0x7fff, 0x995a, 0xaa6b, 0xbfc0, 0xbff7, 0xbffe, 0xbfff,
349  0x7fff, 0x8000, 0x995a, 0xaa6c, 0xbff6, 0xbffd, 0xbffe, 0xbfff,
350  0x8000, 0x995a, 0xaa6c, 0xbff6, 0xbffd, 0xbffe, 0xbfff, 0x4000,
351  0x8000, 0x995b, 0xaaa2, 0xbffd, 0xbffe, 0xbfff, 0x4000, 0x4001,
352  0x8001, 0x9991, 0xaaa9, 0xbffd, 0xbffe, 0x3fff, 0x4000, 0x4001,
353  0x8037, 0x9998, 0xaaa9, 0xbffe, 0x3fff, 0x4000, 0x4001, 0x4008,
354  0x803e, 0x9998, 0xaaaa, 0x3ffe, 0x3fff, 0x4000, 0x4008, 0x403f,
355  0x803e, 0x9999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0x403e, 0x403f,
356  0x803f, 0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0x403f, 0x4040,
357  0x003f, 0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0x403f, 0x599a,
358  0x0040, 0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0x5999, 0x6aab,
359  0x0040, 0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0x6aaa, 0x7fff,
360  0x0047, 0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x7ffe, 0x7fff,
361  0x007e, 0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x7fff, 0x8000,
362  0x007e, 0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
363  0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
364  0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x9555,
365  0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x7fff, 0x8000, 0x9555, 0xa666,
366  0x403e, 0x5998, 0x6aaa, 0x7ffe, 0x7fff, 0x9554, 0xa666, 0xbfc0,
367  0x403e, 0x5999, 0x6aaa, 0x7fff, 0x9554, 0xa665, 0xbfc0, 0xbfc1,
368  0x403f, 0x5999, 0x6aab, 0x9553, 0xa665, 0xbfbf, 0xbfc0, 0xbfc1,
369  0x403f, 0x599a, 0x7fff, 0xa664, 0xbfbf, 0xbfc0, 0xbfc1, 0xbfc2,
370  0x4040, 0x6eee, 0x9110, 0xbfbe, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8,
371  0x5594, 0x7fff, 0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xbfff,
372  0x66a5, 0x9959, 0xaa6b, 0xbfbf, 0xbfc0, 0xbff7, 0xbffe, 0xbfff,
373  0x7fff, 0x995a, 0xaa6b, 0xbfc0, 0xbff7, 0xbffe, 0xbfff, 0xc000,
374  0x995a, 0xaa6b, 0xbfc0, 0xbff7, 0xbffe, 0xbfff, 0xc000, 0x5555,
375  0x995a, 0xaa6c, 0xbff6, 0xbffd, 0xbffe, 0xbfff, 0x4000, 0x5555,
376  0x995b, 0xaaa2, 0xbffd, 0xbffe, 0xbfff, 0x4000, 0x4001, 0x5556,
377  0x9991, 0xaaa9, 0xbffd, 0xbffe, 0x3fff, 0x4000, 0x4001, 0x555d,
378  0x9998, 0xaaa9, 0xbffe, 0x3fff, 0x4000, 0x4001, 0x4008, 0x5593,
379  0x9998, 0xaaaa, 0x3ffe, 0x3fff, 0x4000, 0x4008, 0x403f, 0x5594,
380  0x9999, 0x2aaa, 0x3fff, 0x4000, 0x4007, 0x403e, 0x403f, 0x5594,
381  0x1999, 0x2aab, 0x3fff, 0x4007, 0x403e, 0x403f, 0x4040, 0x6eee,
382  0x199a, 0x2aab, 0x4006, 0x403d, 0x403e, 0x403f, 0x599a, 0x7fff,
383  0x199a, 0x2ab2, 0x403d, 0x403e, 0x403f, 0x5999, 0x6aab, 0x9553,
384  0x19a1, 0x2ae9, 0x403d, 0x403e, 0x5999, 0x6aaa, 0x7fff, 0x9554,
385  0x19d8, 0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x7ffe, 0x7fff, 0x9554,
386  0x19d8, 0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x7fff, 0x8000, 0x9555,
387  0x19d9, 0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x9555,
388  0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
389  0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x9555, 0xbbbb,
390  0x5998, 0x6aa9, 0x7ffe, 0x7fff, 0x8000, 0x9555, 0xa666, 0xd515,
391  0x5998, 0x6aaa, 0x7ffe, 0x7fff, 0x9554, 0xa666, 0xbfc0, 0xd515,
392  0x5999, 0x6aaa, 0x7fff, 0x9554, 0xa665, 0xbfc0, 0xbfc1, 0xd516,
393  0x5999, 0x6aab, 0x9553, 0xa665, 0xbfbf, 0xbfc0, 0xbfc1, 0xd516,
394  0x599a, 0x7fff, 0xa664, 0xbfbf, 0xbfc0, 0xbfc1, 0xbfc2, 0xd54d,
395  0x6eee, 0x9110, 0xbfbe, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xd553,
396  0x7fff, 0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xbfff, 0xd554,
397  0x9959, 0xaa6b, 0xbfbf, 0xbfc0, 0xbff7, 0xbffe, 0xbfff, 0xd554,
398  0xaa6b, 0xbfbf, 0xbfc0, 0xbff7, 0xbffe, 0xbfff, 0xd554, 0x6666,
399  0xaa6b, 0xbfc0, 0xbff7, 0xbffe, 0xbfff, 0xc000, 0x5555, 0x6666,
400  0xaa6c, 0xbff6, 0xbffd, 0xbffe, 0xbfff, 0x4000, 0x5555, 0x6667,
401  0xaaa2, 0xbffd, 0xbffe, 0xbfff, 0x4000, 0x4001, 0x5556, 0x666e,
402  0xaaa9, 0xbffd, 0xbffe, 0x3fff, 0x4000, 0x4001, 0x555d, 0x66a4,
403  0xaaa9, 0xbffe, 0x3fff, 0x4000, 0x4001, 0x4008, 0x5593, 0x66a5,
404  0xaaaa, 0x3ffe, 0x3fff, 0x4000, 0x4008, 0x403f, 0x5594, 0x66a5,
405  0x2aaa, 0x3fff, 0x4000, 0x4007, 0x403e, 0x403f, 0x5594, 0x7fff,
406  0x2aab, 0x3fff, 0x4007, 0x403e, 0x403f, 0x4040, 0x6eee, 0x9110,
407  0x2aab, 0x4006, 0x403d, 0x403e, 0x403f, 0x599a, 0x7fff, 0xa664,
408  0x2ab2, 0x403d, 0x403e, 0x403f, 0x5999, 0x6aab, 0x9553, 0xa665,
409  0x2ae9, 0x403d, 0x403e, 0x5999, 0x6aaa, 0x7fff, 0x9554, 0xa665,
410  0x2ae9, 0x403e, 0x5998, 0x6aaa, 0x7ffe, 0x7fff, 0x9554, 0xa666,
411  0x2aea, 0x5998, 0x6aa9, 0x7ffe, 0x7fff, 0x8000, 0x9555, 0xa666,
412  0x4444, 0x6aa9, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x9555, 0xbbbb,
413  0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
414  0x6aa9, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x9555, 0xbbbb, 0xe626,
415  0x6aa9, 0x7ffe, 0x7fff, 0x8000, 0x9555, 0xa666, 0xd515, 0xe626,
416  0x6aaa, 0x7ffe, 0x7fff, 0x9554, 0xa666, 0xbfc0, 0xd515, 0xe627,
417  0x6aaa, 0x7fff, 0x9554, 0xa665, 0xbfc0, 0xbfc1, 0xd516, 0xe627,
418  0x6aab, 0x9553, 0xa665, 0xbfbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e,
419  0x7fff, 0xa664, 0xbfbf, 0xbfc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664,
420  0x9110, 0xbfbe, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xd553, 0xe665,
421  0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xbfff, 0xd554, 0xe665,
422  0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xbfff, 0xd554, 0xe665, 0x7fc0,
423  0xbfbf, 0xbfc0, 0xbff7, 0xbffe, 0xbfff, 0xd554, 0x6666, 0x7fc0,
424  0xbfc0, 0xbff7, 0xbffe, 0xbfff, 0xc000, 0x5555, 0x6666, 0x7fc1,
425  0xbff6, 0xbffd, 0xbffe, 0xbfff, 0x4000, 0x5555, 0x6667, 0x7fc8,
426  0xbffd, 0xbffe, 0xbfff, 0x4000, 0x4001, 0x5556, 0x666e, 0x7ffe,
427  0xbffd, 0xbffe, 0x3fff, 0x4000, 0x4001, 0x555d, 0x66a4, 0x7fff,
428  0xbffe, 0x3fff, 0x4000, 0x4001, 0x4008, 0x5593, 0x66a5, 0x7fff,
429  0x3ffe, 0x3fff, 0x4000, 0x4008, 0x403f, 0x5594, 0x66a5, 0x9959,
430  0x3fff, 0x4000, 0x4007, 0x403e, 0x403f, 0x5594, 0x7fff, 0xaa6a,
431  0x3fff, 0x4007, 0x403e, 0x403f, 0x4040, 0x6eee, 0x9110, 0xbfbe,
432  0x4006, 0x403d, 0x403e, 0x403f, 0x599a, 0x7fff, 0xa664, 0xbfbf,
433  0x403d, 0x403e, 0x403f, 0x5999, 0x6aab, 0x9553, 0xa665, 0xbfbf,
434  0x403d, 0x403e, 0x5999, 0x6aaa, 0x7fff, 0x9554, 0xa665, 0xbfc0,
435  0x403e, 0x5998, 0x6aaa, 0x7ffe, 0x7fff, 0x9554, 0xa666, 0xbfc0,
436  0x5998, 0x6aa9, 0x7ffe, 0x7fff, 0x8000, 0x9555, 0xa666, 0xd515,
437  0x6aa9, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x9555, 0xbbbb, 0xe626,
438  0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
439  0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80,
440  0x7ffe, 0x7fff, 0x8000, 0x9555, 0xa666, 0xd515, 0xe626, 0xff81,
441  0x7ffe, 0x7fff, 0x9554, 0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81,
442  0x7fff, 0x9554, 0xa665, 0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8,
443  0x9553, 0xa665, 0xbfbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe,
444  0xa664, 0xbfbf, 0xbfc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664, 0xffbf,
445  0xbfbe, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xd553, 0xe665, 0xffbf,
446  0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xd553, 0xe665, 0xffbf, 0x7fc0,
447  0xbfc0, 0xbfc1, 0xbff8, 0xbfff, 0xd554, 0xe665, 0x7fc0, 0x7fc1,
448  0xbfc0, 0xbff7, 0xbffe, 0xbfff, 0xd554, 0x6666, 0x7fc0, 0x7fc1,
449  0xbff7, 0xbffe, 0xbfff, 0xc000, 0x5555, 0x6666, 0x7fc1, 0x7fc8,
450  0xbffd, 0xbffe, 0xbfff, 0x4000, 0x5555, 0x6667, 0x7fc8, 0x7fff,
451  0xbffe, 0xbfff, 0x4000, 0x4001, 0x5556, 0x666e, 0x7ffe, 0x7fff,
452  0xbffe, 0x3fff, 0x4000, 0x4001, 0x555d, 0x66a4, 0x7fff, 0x8000,
453  0x3fff, 0x4000, 0x4001, 0x4008, 0x5593, 0x66a5, 0x7fff, 0x995a,
454  0x3fff, 0x4000, 0x4008, 0x403f, 0x5594, 0x66a5, 0x9959, 0xaa6b,
455  0x4000, 0x4007, 0x403e, 0x403f, 0x5594, 0x7fff, 0xaa6a, 0xbfbf,
456  0x4007, 0x403e, 0x403f, 0x4040, 0x6eee, 0x9110, 0xbfbe, 0xbfbf,
457  0x403d, 0x403e, 0x403f, 0x599a, 0x7fff, 0xa664, 0xbfbf, 0xbfc0,
458  0x403e, 0x403f, 0x5999, 0x6aab, 0x9553, 0xa665, 0xbfbf, 0xbfc0,
459  0x403e, 0x5999, 0x6aaa, 0x7fff, 0x9554, 0xa665, 0xbfc0, 0xbfc1,
460  0x5998, 0x6aaa, 0x7ffe, 0x7fff, 0x9554, 0xa666, 0xbfc0, 0xd515,
461  0x6aa9, 0x7ffe, 0x7fff, 0x8000, 0x9555, 0xa666, 0xd515, 0xe626,
462  0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80,
463  0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
464  0x7ffe, 0x7fff, 0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80, 0xff81,
465  0x7fff, 0x8000, 0x9555, 0xa666, 0xd515, 0xe626, 0xff81, 0xff82,
466  0x7fff, 0x9554, 0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81, 0xffb8,
467  0x9554, 0xa665, 0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8, 0xffbf,
468  0xa665, 0xbfbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe, 0xffbf,
469  0xbfbf, 0xbfc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664, 0xffbf, 0xffc0,
470  0xbfc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664, 0xffbf, 0xffc0, 0x7fc1,
471  0xbfc0, 0xbfc1, 0xbff8, 0xd553, 0xe665, 0xffbf, 0x7fc0, 0x7fc1,
472  0xbfc1, 0xbff8, 0xbfff, 0xd554, 0xe665, 0x7fc0, 0x7fc1, 0x7fc2,
473  0xbff7, 0xbffe, 0xbfff, 0xd554, 0x6666, 0x7fc0, 0x7fc1, 0x7fc9,
474  0xbffe, 0xbfff, 0xc000, 0x5555, 0x6666, 0x7fc1, 0x7fc8, 0x7fff,
475  0xbffe, 0xbfff, 0x4000, 0x5555, 0x6667, 0x7fc8, 0x7fff, 0x8000,
476  0xbfff, 0x4000, 0x4001, 0x5556, 0x666e, 0x7ffe, 0x7fff, 0x8000,
477  0x3fff, 0x4000, 0x4001, 0x555d, 0x66a4, 0x7fff, 0x8000, 0x995a,
478  0x4000, 0x4001, 0x4008, 0x5593, 0x66a5, 0x7fff, 0x995a, 0xaa6b,
479  0x4000, 0x4008, 0x403f, 0x5594, 0x66a5, 0x9959, 0xaa6b, 0xbfbf,
480  0x4007, 0x403e, 0x403f, 0x5594, 0x7fff, 0xaa6a, 0xbfbf, 0xbfc0,
481  0x403e, 0x403f, 0x4040, 0x6eee, 0x9110, 0xbfbe, 0xbfbf, 0xbfc0,
482  0x403e, 0x403f, 0x599a, 0x7fff, 0xa664, 0xbfbf, 0xbfc0, 0xbfc1,
483  0x403f, 0x5999, 0x6aab, 0x9553, 0xa665, 0xbfbf, 0xbfc0, 0xbfc1,
484  0x5999, 0x6aaa, 0x7fff, 0x9554, 0xa665, 0xbfc0, 0xbfc1, 0xd516,
485  0x6aaa, 0x7ffe, 0x7fff, 0x9554, 0xa666, 0xbfc0, 0xd515, 0xe627,
486  0x7ffe, 0x7fff, 0x8000, 0x9555, 0xa666, 0xd515, 0xe626, 0xff81,
487  0x7ffe, 0x7fff, 0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80, 0xff81,
488  0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
489  0x7fff, 0x8000, 0x9555, 0xbbbb, 0xe626, 0xff80, 0xff81, 0xff82,
490  0x8000, 0x9555, 0xa666, 0xd515, 0xe626, 0xff81, 0xff82, 0xffb9,
491  0x9554, 0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81, 0xffb8, 0xffbf,
492  0xa665, 0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8, 0xffbf, 0xffc0,
493  0xbfbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe, 0xffbf, 0xffc0,
494  0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe, 0xffbf, 0xffc0, 0x7fc1,
495  0xbfc1, 0xbfc2, 0xd54d, 0xe664, 0xffbf, 0xffc0, 0x7fc1, 0x7fc2,
496  0xbfc1, 0xbff8, 0xd553, 0xe665, 0xffbf, 0x7fc0, 0x7fc1, 0x7fc2,
497  0xbff8, 0xbfff, 0xd554, 0xe665, 0x7fc0, 0x7fc1, 0x7fc2, 0x7fc9,
498  0xbffe, 0xbfff, 0xd554, 0x6666, 0x7fc0, 0x7fc1, 0x7fc9, 0x8000,
499  0xbfff, 0xc000, 0x5555, 0x6666, 0x7fc1, 0x7fc8, 0x7fff, 0x8000,
500  0xbfff, 0x4000, 0x5555, 0x6667, 0x7fc8, 0x7fff, 0x8000, 0x8001,
501  0x4000, 0x4001, 0x5556, 0x666e, 0x7ffe, 0x7fff, 0x8000, 0x995b,
502  0x4000, 0x4001, 0x555d, 0x66a4, 0x7fff, 0x8000, 0x995a, 0xaa6c,
503  0x4001, 0x4008, 0x5593, 0x66a5, 0x7fff, 0x995a, 0xaa6b, 0xbfc0,
504  0x4008, 0x403f, 0x5594, 0x66a5, 0x9959, 0xaa6b, 0xbfbf, 0xbfc0,
505  0x403e, 0x403f, 0x5594, 0x7fff, 0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1,
506  0x403f, 0x4040, 0x6eee, 0x9110, 0xbfbe, 0xbfbf, 0xbfc0, 0xbfc1,
507  0x403f, 0x599a, 0x7fff, 0xa664, 0xbfbf, 0xbfc0, 0xbfc1, 0xbfc2,
508  0x5999, 0x6aab, 0x9553, 0xa665, 0xbfbf, 0xbfc0, 0xbfc1, 0xd516,
509  0x6aaa, 0x7fff, 0x9554, 0xa665, 0xbfc0, 0xbfc1, 0xd516, 0xe627,
510  0x7ffe, 0x7fff, 0x9554, 0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81,
511  0x7fff, 0x8000, 0x9555, 0xa666, 0xd515, 0xe626, 0xff81, 0xff82,
512  0x7fff, 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, 0x7ff8,
519  0xbfc1, 0xd516, 0xe65e, 0xffbe, 0xffbf, 0xffc0, 0x7fc1, 0x7ff8,
520  0xbfc2, 0xd54d, 0xe664, 0xffbf, 0xffc0, 0x7fc1, 0x7fc2, 0x7ff9,
521  0xbff8, 0xd553, 0xe665, 0xffbf, 0x7fc0, 0x7fc1, 0x7fc2, 0x8000,
522  0xbfff, 0xd554, 0xe665, 0x7fc0, 0x7fc1, 0x7fc2, 0x7fc9, 0x8036,
523  0xbfff, 0xd554, 0x6666, 0x7fc0, 0x7fc1, 0x7fc9, 0x8000, 0x8037,
524  0xc000, 0x5555, 0x6666, 0x7fc1, 0x7fc8, 0x7fff, 0x8000, 0x8037,
525  0x4000, 0x5555, 0x6667, 0x7fc8, 0x7fff, 0x8000, 0x8001, 0x9991,
526  0x4001, 0x5556, 0x666e, 0x7ffe, 0x7fff, 0x8000, 0x995b, 0xaaa2,
527  0x4001, 0x555d, 0x66a4, 0x7fff, 0x8000, 0x995a, 0xaa6c, 0xbff6,
528  0x4008, 0x5593, 0x66a5, 0x7fff, 0x995a, 0xaa6b, 0xbfc0, 0xbff7,
529  0x403f, 0x5594, 0x66a5, 0x9959, 0xaa6b, 0xbfbf, 0xbfc0, 0xbff7,
530  0x403f, 0x5594, 0x7fff, 0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8,
531  0x4040, 0x6eee, 0x9110, 0xbfbe, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8,
532  0x599a, 0x7fff, 0xa664, 0xbfbf, 0xbfc0, 0xbfc1, 0xbfc2, 0xd54d,
533  0x6aab, 0x9553, 0xa665, 0xbfbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e,
534  0x7fff, 0x9554, 0xa665, 0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8,
535  0x7fff, 0x9554, 0xa666, 0xbfc0, 0xd515, 0xe627, 0xff81, 0xffb8,
536  0x8000, 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, 0x7ffe,
543  0xd516, 0xe627, 0xffb8, 0xffbf, 0xffc0, 0xffc1, 0x7ff8, 0x7fff,
544  0xd516, 0xe65e, 0xffbe, 0xffbf, 0xffc0, 0x7fc1, 0x7ff8, 0x7fff,
545  0xd54d, 0xe664, 0xffbf, 0xffc0, 0x7fc1, 0x7fc2, 0x7ff9, 0x8006,
546  0xd553, 0xe665, 0xffbf, 0x7fc0, 0x7fc1, 0x7fc2, 0x8000, 0x803d,
547  0xd554, 0xe665, 0x7fc0, 0x7fc1, 0x7fc2, 0x7fc9, 0x8036, 0x803d,
548  0xd554, 0x6666, 0x7fc0, 0x7fc1, 0x7fc9, 0x8000, 0x8037, 0x803e,
549  0x5555, 0x6666, 0x7fc1, 0x7fc8, 0x7fff, 0x8000, 0x8037, 0x9998,
550  0x5555, 0x6667, 0x7fc8, 0x7fff, 0x8000, 0x8001, 0x9991, 0xaaa9,
551  0x5556, 0x666e, 0x7ffe, 0x7fff, 0x8000, 0x995b, 0xaaa2, 0xbffd,
552  0x555d, 0x66a4, 0x7fff, 0x8000, 0x995a, 0xaa6c, 0xbff6, 0xbffd,
553  0x5593, 0x66a5, 0x7fff, 0x995a, 0xaa6b, 0xbfc0, 0xbff7, 0xbffe,
554  0x5594, 0x66a5, 0x9959, 0xaa6b, 0xbfbf, 0xbfc0, 0xbff7, 0xbffe,
555  0x5594, 0x7fff, 0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xbfff,
556  0x6eee, 0x9110, 0xbfbe, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xd553,
557  0x7fff, 0xa664, 0xbfbf, 0xbfc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664,
558  0x9553, 0xa665, 0xbfbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe,
559  0x9554, 0xa665, 0xbfc0, 0xbfc1, 0xd516, 0xe627, 0xffb8, 0xffbf,
560  0x9554, 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, 0x7fff,
567  0xe627, 0xff81, 0xffb8, 0xffbf, 0xffc0, 0xfff7, 0x7ffe, 0x7fff,
568  0xe627, 0xffb8, 0xffbf, 0xffc0, 0xffc1, 0x7ff8, 0x7fff, 0x8000,
569  0xe65e, 0xffbe, 0xffbf, 0xffc0, 0x7fc1, 0x7ff8, 0x7fff, 0x8007,
570  0xe664, 0xffbf, 0xffc0, 0x7fc1, 0x7fc2, 0x7ff9, 0x8006, 0x803d,
571  0xe665, 0xffbf, 0x7fc0, 0x7fc1, 0x7fc2, 0x8000, 0x803d, 0x803e,
572  0xe665, 0x7fc0, 0x7fc1, 0x7fc2, 0x7fc9, 0x8036, 0x803d, 0x803e,
573  0x6666, 0x7fc0, 0x7fc1, 0x7fc9, 0x8000, 0x8037, 0x803e, 0x9998,
574  0x6666, 0x7fc1, 0x7fc8, 0x7fff, 0x8000, 0x8037, 0x9998, 0xaaa9,
575  0x6667, 0x7fc8, 0x7fff, 0x8000, 0x8001, 0x9991, 0xaaa9, 0xbffd,
576  0x666e, 0x7ffe, 0x7fff, 0x8000, 0x995b, 0xaaa2, 0xbffd, 0xbffe,
577  0x66a4, 0x7fff, 0x8000, 0x995a, 0xaa6c, 0xbff6, 0xbffd, 0xbffe,
578  0x66a5, 0x7fff, 0x995a, 0xaa6b, 0xbfc0, 0xbff7, 0xbffe, 0xbfff,
579  0x66a5, 0x9959, 0xaa6b, 0xbfbf, 0xbfc0, 0xbff7, 0xbffe, 0xbfff,
580  0x7fff, 0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xbfff, 0xd554,
581  0x9110, 0xbfbe, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xd553, 0xe665,
582  0xa664, 0xbfbf, 0xbfc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664, 0xffbf,
583  0xa665, 0xbfbf, 0xbfc0, 0xbfc1, 0xd516, 0xe65e, 0xffbe, 0xffbf,
584  0xa665, 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, 0x7fff,
591  0xff81, 0xff82, 0xffb9, 0xffc0, 0xfff7, 0xfffe, 0x7fff, 0x8000,
592  0xff81, 0xffb8, 0xffbf, 0xffc0, 0xfff7, 0x7ffe, 0x7fff, 0x8000,
593  0xffb8, 0xffbf, 0xffc0, 0xffc1, 0x7ff8, 0x7fff, 0x8000, 0x8007,
594  0xffbe, 0xffbf, 0xffc0, 0x7fc1, 0x7ff8, 0x7fff, 0x8007, 0x803e,
595  0xffbf, 0xffc0, 0x7fc1, 0x7fc2, 0x7ff9, 0x8006, 0x803d, 0x803e,
596  0xffbf, 0x7fc0, 0x7fc1, 0x7fc2, 0x8000, 0x803d, 0x803e, 0x803f,
597  0x7fc0, 0x7fc1, 0x7fc2, 0x7fc9, 0x8036, 0x803d, 0x803e, 0x9999,
598  0x7fc0, 0x7fc1, 0x7fc9, 0x8000, 0x8037, 0x803e, 0x9998, 0xaaaa,
599  0x7fc1, 0x7fc8, 0x7fff, 0x8000, 0x8037, 0x9998, 0xaaa9, 0xbffe,
600  0x7fc8, 0x7fff, 0x8000, 0x8001, 0x9991, 0xaaa9, 0xbffd, 0xbffe,
601  0x7ffe, 0x7fff, 0x8000, 0x995b, 0xaaa2, 0xbffd, 0xbffe, 0xbfff,
602  0x7fff, 0x8000, 0x995a, 0xaa6c, 0xbff6, 0xbffd, 0xbffe, 0xbfff,
603  0x7fff, 0x995a, 0xaa6b, 0xbfc0, 0xbff7, 0xbffe, 0xbfff, 0xc000,
604  0x9959, 0xaa6b, 0xbfbf, 0xbfc0, 0xbff7, 0xbffe, 0xbfff, 0xd554,
605  0xaa6a, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xbfff, 0xd554, 0xe665,
606  0xbfbe, 0xbfbf, 0xbfc0, 0xbfc1, 0xbff8, 0xd553, 0xe665, 0xffbf,
607  0xbfbf, 0xbfc0, 0xbfc1, 0xbfc2, 0xd54d, 0xe664, 0xffbf, 0xffc0,
608  0xbfbf, 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_uhadd_8H = 576;
616
617#endif  // VIXL_SIM_UHADD_8H_TRACE_AARCH64_H_
618