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