• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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 
37 const 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 };
615 const unsigned kExpectedCount_NEON_urhadd_8H = 576;
616 
617 #endif  // VIXL_SIM_URHADD_8H_TRACE_AARCH64_H_
618