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