• 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_SRHADD_4S_TRACE_AARCH64_H_
35 #define VIXL_SIM_SRHADD_4S_TRACE_AARCH64_H_
36 
37 const uint32_t kExpected_NEON_srhadd_4S[] = {
38   0x00007e00, 0x00007f00, 0x007ffd00, 0x00000000,
39   0x00007e80, 0x00403e00, 0x003ffe80, 0x00000001,
40   0x00403d80, 0x00003f80, 0x003ffe81, 0x00000001,
41   0x00003f00, 0x00003f81, 0x003ffe81, 0x00000010,
42   0x00003f01, 0x00003f81, 0x003ffe90, 0x0000003f,
43   0x00003f01, 0x00003f90, 0x003ffebf, 0x0000003f,
44   0x00003f10, 0x00003fbf, 0x003ffebf, 0x00000040,
45   0x00003f3f, 0x00003fbf, 0x003ffec0, 0x00003fff,
46   0x00003f3f, 0x00003fc0, 0x00403e7f, 0x00003fff,
47   0x00003f40, 0x00007f7f, 0x00403e7f, 0x00004000,
48   0x00007eff, 0x00007f7f, 0x00403e80, 0x1999999a,
49   0x00007eff, 0x00007f80, 0x19d9981a, 0x2aaaaaab,
50   0x00007f00, 0x1999d91a, 0x2aeaa92b, 0x3fffffff,
51   0x1999d89a, 0x2aaaea2b, 0x403ffe7f, 0x3fffffff,
52   0x2aaae9ab, 0x40003f7f, 0x403ffe7f, 0x40000000,
53   0x40003eff, 0x40003f7f, 0x403ffe80, 0xc0000000,
54   0x40003eff, 0x40003f80, 0xc03ffe80, 0xc0000001,
55   0x40003f00, 0xc0003f80, 0xc03ffe81, 0xd5555555,
56   0xc0003f00, 0xc0003f81, 0xd59553d5, 0xe6666666,
57   0xc0003f01, 0xd55594d5, 0xe6a664e6, 0xffffc000,
58   0xd5559455, 0xe666a5e6, 0x003fbe80, 0xffffc001,
59   0xe666a566, 0xffffff80, 0x003fbe81, 0xffffc001,
60   0xffffff00, 0xffffff81, 0x003fbe81, 0xffffc002,
61   0xffffff01, 0xffffff81, 0x003fbe82, 0xffffffc0,
62   0xffffff01, 0xffffff82, 0x003ffe40, 0xffffffc1,
63   0xffffff02, 0x00003f40, 0x003ffe41, 0xffffffc1,
64   0x00003ec0, 0x00003f41, 0x003ffe41, 0xffffffc2,
65   0x00003ec1, 0x00003f41, 0x003ffe42, 0xfffffff0,
66   0x00003ec1, 0x00003f42, 0x003ffe70, 0xffffffff,
67   0x00003ec2, 0x00003f70, 0x003ffe7f, 0xffffffff,
68   0x00003ef0, 0x00003f7f, 0x003ffe7f, 0x00000000,
69   0x00003f7f, 0x003ffe7f, 0x00000000, 0x00000001,
70   0x00003f7f, 0x003ffe80, 0x00000000, 0x00000001,
71   0x00003f80, 0x003ffe80, 0x00000001, 0x00000002,
72   0x00003f80, 0x003ffe81, 0x00000001, 0x00000011,
73   0x00003f81, 0x003ffe81, 0x00000010, 0x0000003f,
74   0x00003f81, 0x003ffe90, 0x0000003f, 0x00000040,
75   0x00003f90, 0x003ffebf, 0x0000003f, 0x00000040,
76   0x00003fbf, 0x003ffebf, 0x00000040, 0x00003fff,
77   0x00003fbf, 0x003ffec0, 0x00003fff, 0x00004000,
78   0x00003fc0, 0x00403e7f, 0x00003fff, 0x00004000,
79   0x00007f7f, 0x00403e7f, 0x00004000, 0x1999999a,
80   0x00007f7f, 0x00403e80, 0x1999999a, 0x2aaaaaab,
81   0x00007f80, 0x19d9981a, 0x2aaaaaab, 0x3fffffff,
82   0x1999d91a, 0x2aeaa92b, 0x3fffffff, 0x40000000,
83   0x2aaaea2b, 0x403ffe7f, 0x3fffffff, 0x40000000,
84   0x40003f7f, 0x403ffe7f, 0x40000000, 0xc0000001,
85   0x40003f7f, 0x403ffe80, 0xc0000000, 0xc0000001,
86   0x40003f80, 0xc03ffe80, 0xc0000001, 0xd5555556,
87   0xc0003f80, 0xc03ffe81, 0xd5555555, 0xe6666667,
88   0xc0003f81, 0xd59553d5, 0xe6666666, 0xffffc001,
89   0xd55594d5, 0xe6a664e6, 0xffffc000, 0xffffc001,
90   0xe666a5e6, 0x003fbe80, 0xffffc001, 0xffffc002,
91   0xffffff80, 0x003fbe81, 0xffffc001, 0xffffc002,
92   0xffffff81, 0x003fbe81, 0xffffc002, 0xffffffc1,
93   0xffffff81, 0x003fbe82, 0xffffffc0, 0xffffffc1,
94   0xffffff82, 0x003ffe40, 0xffffffc1, 0xffffffc2,
95   0x00003f40, 0x003ffe41, 0xffffffc1, 0xffffffc2,
96   0x00003f41, 0x003ffe41, 0xffffffc2, 0xfffffff1,
97   0x00003f41, 0x003ffe42, 0xfffffff0, 0xffffffff,
98   0x00003f42, 0x003ffe70, 0xffffffff, 0x00000000,
99   0x00003f70, 0x003ffe7f, 0xffffffff, 0x00000000,
100   0x003ffe7f, 0xffffffff, 0x00000000, 0x00000001,
101   0x003ffe7f, 0x00000000, 0x00000001, 0x00000002,
102   0x003ffe80, 0x00000000, 0x00000001, 0x00000002,
103   0x003ffe80, 0x00000001, 0x00000002, 0x00000011,
104   0x003ffe81, 0x00000001, 0x00000011, 0x00000040,
105   0x003ffe81, 0x00000010, 0x0000003f, 0x00000040,
106   0x003ffe90, 0x0000003f, 0x00000040, 0x00000041,
107   0x003ffebf, 0x0000003f, 0x00000040, 0x00004000,
108   0x003ffebf, 0x00000040, 0x00003fff, 0x00004000,
109   0x003ffec0, 0x00003fff, 0x00004000, 0x00004001,
110   0x00403e7f, 0x00003fff, 0x00004000, 0x1999999b,
111   0x00403e7f, 0x00004000, 0x1999999a, 0x2aaaaaac,
112   0x00403e80, 0x1999999a, 0x2aaaaaab, 0x40000000,
113   0x19d9981a, 0x2aaaaaab, 0x3fffffff, 0x40000000,
114   0x2aeaa92b, 0x3fffffff, 0x40000000, 0x40000001,
115   0x403ffe7f, 0x3fffffff, 0x40000000, 0xc0000001,
116   0x403ffe7f, 0x40000000, 0xc0000001, 0xc0000002,
117   0x403ffe80, 0xc0000000, 0xc0000001, 0xd5555556,
118   0xc03ffe80, 0xc0000001, 0xd5555556, 0xe6666667,
119   0xc03ffe81, 0xd5555555, 0xe6666667, 0xffffc001,
120   0xd59553d5, 0xe6666666, 0xffffc001, 0xffffc002,
121   0xe6a664e6, 0xffffc000, 0xffffc001, 0xffffc002,
122   0x003fbe80, 0xffffc001, 0xffffc002, 0xffffc003,
123   0x003fbe81, 0xffffc001, 0xffffc002, 0xffffffc1,
124   0x003fbe81, 0xffffc002, 0xffffffc1, 0xffffffc2,
125   0x003fbe82, 0xffffffc0, 0xffffffc1, 0xffffffc2,
126   0x003ffe40, 0xffffffc1, 0xffffffc2, 0xffffffc3,
127   0x003ffe41, 0xffffffc1, 0xffffffc2, 0xfffffff1,
128   0x003ffe41, 0xffffffc2, 0xfffffff1, 0x00000000,
129   0x003ffe42, 0xfffffff0, 0xffffffff, 0x00000000,
130   0x003ffe70, 0xffffffff, 0x00000000, 0x00000001,
131   0xffffffff, 0x00000000, 0x00000001, 0x00000010,
132   0xffffffff, 0x00000000, 0x00000001, 0x00000011,
133   0x00000000, 0x00000001, 0x00000002, 0x00000011,
134   0x00000000, 0x00000001, 0x00000002, 0x00000020,
135   0x00000001, 0x00000002, 0x00000011, 0x0000004f,
136   0x00000001, 0x00000011, 0x00000040, 0x0000004f,
137   0x00000010, 0x0000003f, 0x00000040, 0x00000050,
138   0x0000003f, 0x00000040, 0x00000041, 0x0000400f,
139   0x0000003f, 0x00000040, 0x00004000, 0x0000400f,
140   0x00000040, 0x00003fff, 0x00004000, 0x00004010,
141   0x00003fff, 0x00004000, 0x00004001, 0x199999aa,
142   0x00003fff, 0x00004000, 0x1999999b, 0x2aaaaabb,
143   0x00004000, 0x1999999a, 0x2aaaaaac, 0x4000000f,
144   0x1999999a, 0x2aaaaaab, 0x40000000, 0x4000000f,
145   0x2aaaaaab, 0x3fffffff, 0x40000000, 0x40000010,
146   0x3fffffff, 0x40000000, 0x40000001, 0xc0000010,
147   0x3fffffff, 0x40000000, 0xc0000001, 0xc0000011,
148   0x40000000, 0xc0000001, 0xc0000002, 0xd5555565,
149   0xc0000000, 0xc0000001, 0xd5555556, 0xe6666676,
150   0xc0000001, 0xd5555556, 0xe6666667, 0xffffc010,
151   0xd5555555, 0xe6666667, 0xffffc001, 0xffffc011,
152   0xe6666666, 0xffffc001, 0xffffc002, 0xffffc011,
153   0xffffc000, 0xffffc001, 0xffffc002, 0xffffc012,
154   0xffffc001, 0xffffc002, 0xffffc003, 0xffffffd0,
155   0xffffc001, 0xffffc002, 0xffffffc1, 0xffffffd1,
156   0xffffc002, 0xffffffc1, 0xffffffc2, 0xffffffd1,
157   0xffffffc0, 0xffffffc1, 0xffffffc2, 0xffffffd2,
158   0xffffffc1, 0xffffffc2, 0xffffffc3, 0x00000000,
159   0xffffffc1, 0xffffffc2, 0xfffffff1, 0x0000000f,
160   0xffffffc2, 0xfffffff1, 0x00000000, 0x0000000f,
161   0xfffffff0, 0xffffffff, 0x00000000, 0x00000010,
162   0xffffffff, 0x00000000, 0x00000010, 0x0000003f,
163   0x00000000, 0x00000001, 0x00000010, 0x0000003f,
164   0x00000000, 0x00000001, 0x00000011, 0x00000040,
165   0x00000001, 0x00000002, 0x00000011, 0x0000004f,
166   0x00000001, 0x00000002, 0x00000020, 0x0000007d,
167   0x00000002, 0x00000011, 0x0000004f, 0x0000007e,
168   0x00000011, 0x00000040, 0x0000004f, 0x0000007e,
169   0x0000003f, 0x00000040, 0x00000050, 0x0000403d,
170   0x00000040, 0x00000041, 0x0000400f, 0x0000403e,
171   0x00000040, 0x00004000, 0x0000400f, 0x0000403e,
172   0x00003fff, 0x00004000, 0x00004010, 0x199999d8,
173   0x00004000, 0x00004001, 0x199999aa, 0x2aaaaae9,
174   0x00004000, 0x1999999b, 0x2aaaaabb, 0x4000003d,
175   0x1999999a, 0x2aaaaaac, 0x4000000f, 0x4000003e,
176   0x2aaaaaab, 0x40000000, 0x4000000f, 0x4000003e,
177   0x3fffffff, 0x40000000, 0x40000010, 0xc000003f,
178   0x40000000, 0x40000001, 0xc0000010, 0xc000003f,
179   0x40000000, 0xc0000001, 0xc0000011, 0xd5555594,
180   0xc0000001, 0xc0000002, 0xd5555565, 0xe66666a5,
181   0xc0000001, 0xd5555556, 0xe6666676, 0xffffc03f,
182   0xd5555556, 0xe6666667, 0xffffc010, 0xffffc03f,
183   0xe6666667, 0xffffc001, 0xffffc011, 0xffffc040,
184   0xffffc001, 0xffffc002, 0xffffc011, 0xffffc040,
185   0xffffc001, 0xffffc002, 0xffffc012, 0xffffffff,
186   0xffffc002, 0xffffc003, 0xffffffd0, 0xffffffff,
187   0xffffc002, 0xffffffc1, 0xffffffd1, 0x00000000,
188   0xffffffc1, 0xffffffc2, 0xffffffd1, 0x00000000,
189   0xffffffc1, 0xffffffc2, 0xffffffd2, 0x0000002f,
190   0xffffffc2, 0xffffffc3, 0x00000000, 0x0000003d,
191   0xffffffc2, 0xfffffff1, 0x0000000f, 0x0000003e,
192   0xfffffff1, 0x00000000, 0x0000000f, 0x0000003e,
193   0x00000000, 0x0000000f, 0x0000003e, 0x0000003f,
194   0x00000000, 0x00000010, 0x0000003f, 0x00000040,
195   0x00000001, 0x00000010, 0x0000003f, 0x00000040,
196   0x00000001, 0x00000011, 0x00000040, 0x0000004f,
197   0x00000002, 0x00000011, 0x0000004f, 0x0000007e,
198   0x00000002, 0x00000020, 0x0000007d, 0x0000007e,
199   0x00000011, 0x0000004f, 0x0000007e, 0x0000007f,
200   0x00000040, 0x0000004f, 0x0000007e, 0x0000403e,
201   0x00000040, 0x00000050, 0x0000403d, 0x0000403e,
202   0x00000041, 0x0000400f, 0x0000403e, 0x0000403f,
203   0x00004000, 0x0000400f, 0x0000403e, 0x199999d9,
204   0x00004000, 0x00004010, 0x199999d8, 0x2aaaaaea,
205   0x00004001, 0x199999aa, 0x2aaaaae9, 0x4000003e,
206   0x1999999b, 0x2aaaaabb, 0x4000003d, 0x4000003e,
207   0x2aaaaaac, 0x4000000f, 0x4000003e, 0x4000003f,
208   0x40000000, 0x4000000f, 0x4000003e, 0xc000003f,
209   0x40000000, 0x40000010, 0xc000003f, 0xc0000040,
210   0x40000001, 0xc0000010, 0xc000003f, 0xd5555594,
211   0xc0000001, 0xc0000011, 0xd5555594, 0xe66666a5,
212   0xc0000002, 0xd5555565, 0xe66666a5, 0xffffc03f,
213   0xd5555556, 0xe6666676, 0xffffc03f, 0xffffc040,
214   0xe6666667, 0xffffc010, 0xffffc03f, 0xffffc040,
215   0xffffc001, 0xffffc011, 0xffffc040, 0xffffc041,
216   0xffffc002, 0xffffc011, 0xffffc040, 0xffffffff,
217   0xffffc002, 0xffffc012, 0xffffffff, 0x00000000,
218   0xffffc003, 0xffffffd0, 0xffffffff, 0x00000000,
219   0xffffffc1, 0xffffffd1, 0x00000000, 0x00000001,
220   0xffffffc2, 0xffffffd1, 0x00000000, 0x0000002f,
221   0xffffffc2, 0xffffffd2, 0x0000002f, 0x0000003e,
222   0xffffffc3, 0x00000000, 0x0000003d, 0x0000003e,
223   0xfffffff1, 0x0000000f, 0x0000003e, 0x0000003f,
224   0x0000000f, 0x0000003e, 0x0000003f, 0x00000040,
225   0x0000000f, 0x0000003e, 0x0000003f, 0x00000040,
226   0x00000010, 0x0000003f, 0x00000040, 0x00000041,
227   0x00000010, 0x0000003f, 0x00000040, 0x00000050,
228   0x00000011, 0x00000040, 0x0000004f, 0x0000007e,
229   0x00000011, 0x0000004f, 0x0000007e, 0x0000007f,
230   0x00000020, 0x0000007d, 0x0000007e, 0x0000007f,
231   0x0000004f, 0x0000007e, 0x0000007f, 0x0000403e,
232   0x0000004f, 0x0000007e, 0x0000403e, 0x0000403f,
233   0x00000050, 0x0000403d, 0x0000403e, 0x0000403f,
234   0x0000400f, 0x0000403e, 0x0000403f, 0x199999d9,
235   0x0000400f, 0x0000403e, 0x199999d9, 0x2aaaaaea,
236   0x00004010, 0x199999d8, 0x2aaaaaea, 0x4000003e,
237   0x199999aa, 0x2aaaaae9, 0x4000003e, 0x4000003f,
238   0x2aaaaabb, 0x4000003d, 0x4000003e, 0x4000003f,
239   0x4000000f, 0x4000003e, 0x4000003f, 0xc0000040,
240   0x4000000f, 0x4000003e, 0xc000003f, 0xc0000040,
241   0x40000010, 0xc000003f, 0xc0000040, 0xd5555595,
242   0xc0000010, 0xc000003f, 0xd5555594, 0xe66666a6,
243   0xc0000011, 0xd5555594, 0xe66666a5, 0xffffc040,
244   0xd5555565, 0xe66666a5, 0xffffc03f, 0xffffc040,
245   0xe6666676, 0xffffc03f, 0xffffc040, 0xffffc041,
246   0xffffc010, 0xffffc03f, 0xffffc040, 0xffffc041,
247   0xffffc011, 0xffffc040, 0xffffc041, 0x00000000,
248   0xffffc011, 0xffffc040, 0xffffffff, 0x00000000,
249   0xffffc012, 0xffffffff, 0x00000000, 0x00000001,
250   0xffffffd0, 0xffffffff, 0x00000000, 0x00000001,
251   0xffffffd1, 0x00000000, 0x00000001, 0x00000030,
252   0xffffffd1, 0x00000000, 0x0000002f, 0x0000003e,
253   0xffffffd2, 0x0000002f, 0x0000003e, 0x0000003f,
254   0x00000000, 0x0000003d, 0x0000003e, 0x0000003f,
255   0x0000003d, 0x0000003e, 0x0000003f, 0x00003fff,
256   0x0000003e, 0x0000003f, 0x00000040, 0x00003fff,
257   0x0000003e, 0x0000003f, 0x00000040, 0x00004000,
258   0x0000003f, 0x00000040, 0x00000041, 0x0000400f,
259   0x0000003f, 0x00000040, 0x00000050, 0x0000403d,
260   0x00000040, 0x0000004f, 0x0000007e, 0x0000403e,
261   0x0000004f, 0x0000007e, 0x0000007f, 0x0000403e,
262   0x0000007d, 0x0000007e, 0x0000007f, 0x00007ffd,
263   0x0000007e, 0x0000007f, 0x0000403e, 0x00007ffe,
264   0x0000007e, 0x0000403e, 0x0000403f, 0x00007ffe,
265   0x0000403d, 0x0000403e, 0x0000403f, 0x1999d998,
266   0x0000403e, 0x0000403f, 0x199999d9, 0x2aaaeaa9,
267   0x0000403e, 0x199999d9, 0x2aaaaaea, 0x40003ffd,
268   0x199999d8, 0x2aaaaaea, 0x4000003e, 0x40003ffe,
269   0x2aaaaae9, 0x4000003e, 0x4000003f, 0x40003ffe,
270   0x4000003d, 0x4000003e, 0x4000003f, 0xc0003fff,
271   0x4000003e, 0x4000003f, 0xc0000040, 0xc0003fff,
272   0x4000003e, 0xc000003f, 0xc0000040, 0xd5559554,
273   0xc000003f, 0xc0000040, 0xd5555595, 0xe666a665,
274   0xc000003f, 0xd5555594, 0xe66666a6, 0xffffffff,
275   0xd5555594, 0xe66666a5, 0xffffc040, 0xffffffff,
276   0xe66666a5, 0xffffc03f, 0xffffc040, 0x00000000,
277   0xffffc03f, 0xffffc040, 0xffffc041, 0x00000000,
278   0xffffc03f, 0xffffc040, 0xffffc041, 0x00003fbf,
279   0xffffc040, 0xffffc041, 0x00000000, 0x00003fbf,
280   0xffffc040, 0xffffffff, 0x00000000, 0x00003fc0,
281   0xffffffff, 0x00000000, 0x00000001, 0x00003fc0,
282   0xffffffff, 0x00000000, 0x00000001, 0x00003fef,
283   0x00000000, 0x00000001, 0x00000030, 0x00003ffd,
284   0x00000000, 0x0000002f, 0x0000003e, 0x00003ffe,
285   0x0000002f, 0x0000003e, 0x0000003f, 0x00003ffe,
286   0x0000003e, 0x0000003f, 0x00003ffe, 0x00003fff,
287   0x0000003e, 0x0000003f, 0x00003fff, 0x00004000,
288   0x0000003f, 0x00000040, 0x00003fff, 0x00004000,
289   0x0000003f, 0x00000040, 0x00004000, 0x0000400f,
290   0x00000040, 0x00000041, 0x0000400f, 0x0000403e,
291   0x00000040, 0x00000050, 0x0000403d, 0x0000403e,
292   0x0000004f, 0x0000007e, 0x0000403e, 0x0000403f,
293   0x0000007e, 0x0000007f, 0x0000403e, 0x00007ffe,
294   0x0000007e, 0x0000007f, 0x00007ffd, 0x00007ffe,
295   0x0000007f, 0x0000403e, 0x00007ffe, 0x00007fff,
296   0x0000403e, 0x0000403f, 0x00007ffe, 0x1999d999,
297   0x0000403e, 0x0000403f, 0x1999d998, 0x2aaaeaaa,
298   0x0000403f, 0x199999d9, 0x2aaaeaa9, 0x40003ffe,
299   0x199999d9, 0x2aaaaaea, 0x40003ffd, 0x40003ffe,
300   0x2aaaaaea, 0x4000003e, 0x40003ffe, 0x40003fff,
301   0x4000003e, 0x4000003f, 0x40003ffe, 0xc0003fff,
302   0x4000003e, 0x4000003f, 0xc0003fff, 0xc0004000,
303   0x4000003f, 0xc0000040, 0xc0003fff, 0xd5559554,
304   0xc000003f, 0xc0000040, 0xd5559554, 0xe666a665,
305   0xc0000040, 0xd5555595, 0xe666a665, 0xffffffff,
306   0xd5555594, 0xe66666a6, 0xffffffff, 0x00000000,
307   0xe66666a5, 0xffffc040, 0xffffffff, 0x00000000,
308   0xffffc03f, 0xffffc040, 0x00000000, 0x00000001,
309   0xffffc040, 0xffffc041, 0x00000000, 0x00003fbf,
310   0xffffc040, 0xffffc041, 0x00003fbf, 0x00003fc0,
311   0xffffc041, 0x00000000, 0x00003fbf, 0x00003fc0,
312   0xffffffff, 0x00000000, 0x00003fc0, 0x00003fc1,
313   0x00000000, 0x00000001, 0x00003fc0, 0x00003fef,
314   0x00000000, 0x00000001, 0x00003fef, 0x00003ffe,
315   0x00000001, 0x00000030, 0x00003ffd, 0x00003ffe,
316   0x0000002f, 0x0000003e, 0x00003ffe, 0x00003fff,
317   0x0000003e, 0x00003ffe, 0x00003fff, 0x00004000,
318   0x0000003f, 0x00003ffe, 0x00003fff, 0x00004000,
319   0x0000003f, 0x00003fff, 0x00004000, 0x00004001,
320   0x00000040, 0x00003fff, 0x00004000, 0x00004010,
321   0x00000040, 0x00004000, 0x0000400f, 0x0000403e,
322   0x00000041, 0x0000400f, 0x0000403e, 0x0000403f,
323   0x00000050, 0x0000403d, 0x0000403e, 0x0000403f,
324   0x0000007e, 0x0000403e, 0x0000403f, 0x00007ffe,
325   0x0000007f, 0x0000403e, 0x00007ffe, 0x00007fff,
326   0x0000007f, 0x00007ffd, 0x00007ffe, 0x00007fff,
327   0x0000403e, 0x00007ffe, 0x00007fff, 0x1999d999,
328   0x0000403f, 0x00007ffe, 0x1999d999, 0x2aaaeaaa,
329   0x0000403f, 0x1999d998, 0x2aaaeaaa, 0x40003ffe,
330   0x199999d9, 0x2aaaeaa9, 0x40003ffe, 0x40003fff,
331   0x2aaaaaea, 0x40003ffd, 0x40003ffe, 0x40003fff,
332   0x4000003e, 0x40003ffe, 0x40003fff, 0xc0004000,
333   0x4000003f, 0x40003ffe, 0xc0003fff, 0xc0004000,
334   0x4000003f, 0xc0003fff, 0xc0004000, 0xd5559555,
335   0xc0000040, 0xc0003fff, 0xd5559554, 0xe666a666,
336   0xc0000040, 0xd5559554, 0xe666a665, 0x00000000,
337   0xd5555595, 0xe666a665, 0xffffffff, 0x00000000,
338   0xe66666a6, 0xffffffff, 0x00000000, 0x00000001,
339   0xffffc040, 0xffffffff, 0x00000000, 0x00000001,
340   0xffffc040, 0x00000000, 0x00000001, 0x00003fc0,
341   0xffffc041, 0x00000000, 0x00003fbf, 0x00003fc0,
342   0xffffc041, 0x00003fbf, 0x00003fc0, 0x00003fc1,
343   0x00000000, 0x00003fbf, 0x00003fc0, 0x00003fc1,
344   0x00000000, 0x00003fc0, 0x00003fc1, 0x00003ff0,
345   0x00000001, 0x00003fc0, 0x00003fef, 0x00003ffe,
346   0x00000001, 0x00003fef, 0x00003ffe, 0x00003fff,
347   0x00000030, 0x00003ffd, 0x00003ffe, 0x00003fff,
348   0x00003ffd, 0x00003ffe, 0x00003fff, 0x1999999a,
349   0x00003ffe, 0x00003fff, 0x00004000, 0x1999999a,
350   0x00003ffe, 0x00003fff, 0x00004000, 0x1999999b,
351   0x00003fff, 0x00004000, 0x00004001, 0x199999aa,
352   0x00003fff, 0x00004000, 0x00004010, 0x199999d8,
353   0x00004000, 0x0000400f, 0x0000403e, 0x199999d9,
354   0x0000400f, 0x0000403e, 0x0000403f, 0x199999d9,
355   0x0000403d, 0x0000403e, 0x0000403f, 0x1999d998,
356   0x0000403e, 0x0000403f, 0x00007ffe, 0x1999d999,
357   0x0000403e, 0x00007ffe, 0x00007fff, 0x1999d999,
358   0x00007ffd, 0x00007ffe, 0x00007fff, 0x33333333,
359   0x00007ffe, 0x00007fff, 0x1999d999, 0x44444444,
360   0x00007ffe, 0x1999d999, 0x2aaaeaaa, 0x59999998,
361   0x1999d998, 0x2aaaeaaa, 0x40003ffe, 0x59999999,
362   0x2aaaeaa9, 0x40003ffe, 0x40003fff, 0x59999999,
363   0x40003ffd, 0x40003ffe, 0x40003fff, 0xd999999a,
364   0x40003ffe, 0x40003fff, 0xc0004000, 0xd999999a,
365   0x40003ffe, 0xc0003fff, 0xc0004000, 0xeeeeeeef,
366   0xc0003fff, 0xc0004000, 0xd5559555, 0x00000000,
367   0xc0003fff, 0xd5559554, 0xe666a666, 0x1999599a,
368   0xd5559554, 0xe666a665, 0x00000000, 0x1999599a,
369   0xe666a665, 0xffffffff, 0x00000000, 0x1999599b,
370   0xffffffff, 0x00000000, 0x00000001, 0x1999599b,
371   0xffffffff, 0x00000000, 0x00000001, 0x1999995a,
372   0x00000000, 0x00000001, 0x00003fc0, 0x1999995a,
373   0x00000000, 0x00003fbf, 0x00003fc0, 0x1999995b,
374   0x00003fbf, 0x00003fc0, 0x00003fc1, 0x1999995b,
375   0x00003fbf, 0x00003fc0, 0x00003fc1, 0x1999998a,
376   0x00003fc0, 0x00003fc1, 0x00003ff0, 0x19999998,
377   0x00003fc0, 0x00003fef, 0x00003ffe, 0x19999999,
378   0x00003fef, 0x00003ffe, 0x00003fff, 0x19999999,
379   0x00003ffe, 0x00003fff, 0x19999999, 0x2aaaaaab,
380   0x00003ffe, 0x00003fff, 0x1999999a, 0x2aaaaaab,
381   0x00003fff, 0x00004000, 0x1999999a, 0x2aaaaaac,
382   0x00003fff, 0x00004000, 0x1999999b, 0x2aaaaabb,
383   0x00004000, 0x00004001, 0x199999aa, 0x2aaaaae9,
384   0x00004000, 0x00004010, 0x199999d8, 0x2aaaaaea,
385   0x0000400f, 0x0000403e, 0x199999d9, 0x2aaaaaea,
386   0x0000403e, 0x0000403f, 0x199999d9, 0x2aaaeaa9,
387   0x0000403e, 0x0000403f, 0x1999d998, 0x2aaaeaaa,
388   0x0000403f, 0x00007ffe, 0x1999d999, 0x2aaaeaaa,
389   0x00007ffe, 0x00007fff, 0x1999d999, 0x44444444,
390   0x00007ffe, 0x00007fff, 0x33333333, 0x55555555,
391   0x00007fff, 0x1999d999, 0x44444444, 0x6aaaaaa9,
392   0x1999d999, 0x2aaaeaaa, 0x59999998, 0x6aaaaaaa,
393   0x2aaaeaaa, 0x40003ffe, 0x59999999, 0x6aaaaaaa,
394   0x40003ffe, 0x40003fff, 0x59999999, 0xeaaaaaab,
395   0x40003ffe, 0x40003fff, 0xd999999a, 0xeaaaaaab,
396   0x40003fff, 0xc0004000, 0xd999999a, 0x00000000,
397   0xc0003fff, 0xc0004000, 0xeeeeeeef, 0x11111111,
398   0xc0004000, 0xd5559555, 0x00000000, 0x2aaa6aab,
399   0xd5559554, 0xe666a666, 0x1999599a, 0x2aaa6aab,
400   0xe666a665, 0x00000000, 0x1999599a, 0x2aaa6aac,
401   0xffffffff, 0x00000000, 0x1999599b, 0x2aaa6aac,
402   0x00000000, 0x00000001, 0x1999599b, 0x2aaaaa6b,
403   0x00000000, 0x00000001, 0x1999995a, 0x2aaaaa6b,
404   0x00000001, 0x00003fc0, 0x1999995a, 0x2aaaaa6c,
405   0x00003fbf, 0x00003fc0, 0x1999995b, 0x2aaaaa6c,
406   0x00003fc0, 0x00003fc1, 0x1999995b, 0x2aaaaa9b,
407   0x00003fc0, 0x00003fc1, 0x1999998a, 0x2aaaaaa9,
408   0x00003fc1, 0x00003ff0, 0x19999998, 0x2aaaaaaa,
409   0x00003fef, 0x00003ffe, 0x19999999, 0x2aaaaaaa,
410   0x00003ffe, 0x19999999, 0x2aaaaaaa, 0x3fffffff,
411   0x00003fff, 0x19999999, 0x2aaaaaab, 0x3fffffff,
412   0x00003fff, 0x1999999a, 0x2aaaaaab, 0x40000000,
413   0x00004000, 0x1999999a, 0x2aaaaaac, 0x4000000f,
414   0x00004000, 0x1999999b, 0x2aaaaabb, 0x4000003d,
415   0x00004001, 0x199999aa, 0x2aaaaae9, 0x4000003e,
416   0x00004010, 0x199999d8, 0x2aaaaaea, 0x4000003e,
417   0x0000403e, 0x199999d9, 0x2aaaaaea, 0x40003ffd,
418   0x0000403f, 0x199999d9, 0x2aaaeaa9, 0x40003ffe,
419   0x0000403f, 0x1999d998, 0x2aaaeaaa, 0x40003ffe,
420   0x00007ffe, 0x1999d999, 0x2aaaeaaa, 0x59999998,
421   0x00007fff, 0x1999d999, 0x44444444, 0x6aaaaaa9,
422   0x00007fff, 0x33333333, 0x55555555, 0x7ffffffd,
423   0x1999d999, 0x44444444, 0x6aaaaaa9, 0x7ffffffe,
424   0x2aaaeaaa, 0x59999998, 0x6aaaaaaa, 0x7ffffffe,
425   0x40003ffe, 0x59999999, 0x6aaaaaaa, 0xffffffff,
426   0x40003fff, 0x59999999, 0xeaaaaaab, 0xffffffff,
427   0x40003fff, 0xd999999a, 0xeaaaaaab, 0x15555554,
428   0xc0004000, 0xd999999a, 0x00000000, 0x26666665,
429   0xc0004000, 0xeeeeeeef, 0x11111111, 0x3fffbfff,
430   0xd5559555, 0x00000000, 0x2aaa6aab, 0x3fffbfff,
431   0xe666a666, 0x1999599a, 0x2aaa6aab, 0x3fffc000,
432   0x00000000, 0x1999599a, 0x2aaa6aac, 0x3fffc000,
433   0x00000000, 0x1999599b, 0x2aaa6aac, 0x3fffffbf,
434   0x00000001, 0x1999599b, 0x2aaaaa6b, 0x3fffffbf,
435   0x00000001, 0x1999995a, 0x2aaaaa6b, 0x3fffffc0,
436   0x00003fc0, 0x1999995a, 0x2aaaaa6c, 0x3fffffc0,
437   0x00003fc0, 0x1999995b, 0x2aaaaa6c, 0x3fffffef,
438   0x00003fc1, 0x1999995b, 0x2aaaaa9b, 0x3ffffffd,
439   0x00003fc1, 0x1999998a, 0x2aaaaaa9, 0x3ffffffe,
440   0x00003ff0, 0x19999998, 0x2aaaaaaa, 0x3ffffffe,
441   0x19999998, 0x2aaaaaaa, 0x3ffffffe, 0x3fffffff,
442   0x19999999, 0x2aaaaaaa, 0x3fffffff, 0x40000000,
443   0x19999999, 0x2aaaaaab, 0x3fffffff, 0x40000000,
444   0x1999999a, 0x2aaaaaab, 0x40000000, 0x4000000f,
445   0x1999999a, 0x2aaaaaac, 0x4000000f, 0x4000003e,
446   0x1999999b, 0x2aaaaabb, 0x4000003d, 0x4000003e,
447   0x199999aa, 0x2aaaaae9, 0x4000003e, 0x4000003f,
448   0x199999d8, 0x2aaaaaea, 0x4000003e, 0x40003ffe,
449   0x199999d9, 0x2aaaaaea, 0x40003ffd, 0x40003ffe,
450   0x199999d9, 0x2aaaeaa9, 0x40003ffe, 0x40003fff,
451   0x1999d998, 0x2aaaeaaa, 0x40003ffe, 0x59999999,
452   0x1999d999, 0x2aaaeaaa, 0x59999998, 0x6aaaaaaa,
453   0x1999d999, 0x44444444, 0x6aaaaaa9, 0x7ffffffe,
454   0x33333333, 0x55555555, 0x7ffffffd, 0x7ffffffe,
455   0x44444444, 0x6aaaaaa9, 0x7ffffffe, 0x7fffffff,
456   0x59999998, 0x6aaaaaaa, 0x7ffffffe, 0xffffffff,
457   0x59999999, 0x6aaaaaaa, 0xffffffff, 0x00000000,
458   0x59999999, 0xeaaaaaab, 0xffffffff, 0x15555554,
459   0xd999999a, 0xeaaaaaab, 0x15555554, 0x26666665,
460   0xd999999a, 0x00000000, 0x26666665, 0x3fffbfff,
461   0xeeeeeeef, 0x11111111, 0x3fffbfff, 0x3fffc000,
462   0x00000000, 0x2aaa6aab, 0x3fffbfff, 0x3fffc000,
463   0x1999599a, 0x2aaa6aab, 0x3fffc000, 0x3fffc001,
464   0x1999599a, 0x2aaa6aac, 0x3fffc000, 0x3fffffbf,
465   0x1999599b, 0x2aaa6aac, 0x3fffffbf, 0x3fffffc0,
466   0x1999599b, 0x2aaaaa6b, 0x3fffffbf, 0x3fffffc0,
467   0x1999995a, 0x2aaaaa6b, 0x3fffffc0, 0x3fffffc1,
468   0x1999995a, 0x2aaaaa6c, 0x3fffffc0, 0x3fffffef,
469   0x1999995b, 0x2aaaaa6c, 0x3fffffef, 0x3ffffffe,
470   0x1999995b, 0x2aaaaa9b, 0x3ffffffd, 0x3ffffffe,
471   0x1999998a, 0x2aaaaaa9, 0x3ffffffe, 0x3fffffff,
472   0x2aaaaaa9, 0x3ffffffe, 0x3fffffff, 0x40000000,
473   0x2aaaaaaa, 0x3ffffffe, 0x3fffffff, 0x40000000,
474   0x2aaaaaaa, 0x3fffffff, 0x40000000, 0x40000001,
475   0x2aaaaaab, 0x3fffffff, 0x40000000, 0x40000010,
476   0x2aaaaaab, 0x40000000, 0x4000000f, 0x4000003e,
477   0x2aaaaaac, 0x4000000f, 0x4000003e, 0x4000003f,
478   0x2aaaaabb, 0x4000003d, 0x4000003e, 0x4000003f,
479   0x2aaaaae9, 0x4000003e, 0x4000003f, 0x40003ffe,
480   0x2aaaaaea, 0x4000003e, 0x40003ffe, 0x40003fff,
481   0x2aaaaaea, 0x40003ffd, 0x40003ffe, 0x40003fff,
482   0x2aaaeaa9, 0x40003ffe, 0x40003fff, 0x59999999,
483   0x2aaaeaaa, 0x40003ffe, 0x59999999, 0x6aaaaaaa,
484   0x2aaaeaaa, 0x59999998, 0x6aaaaaaa, 0x7ffffffe,
485   0x44444444, 0x6aaaaaa9, 0x7ffffffe, 0x7fffffff,
486   0x55555555, 0x7ffffffd, 0x7ffffffe, 0x7fffffff,
487   0x6aaaaaa9, 0x7ffffffe, 0x7fffffff, 0x00000000,
488   0x6aaaaaaa, 0x7ffffffe, 0xffffffff, 0x00000000,
489   0x6aaaaaaa, 0xffffffff, 0x00000000, 0x15555555,
490   0xeaaaaaab, 0xffffffff, 0x15555554, 0x26666666,
491   0xeaaaaaab, 0x15555554, 0x26666665, 0x3fffc000,
492   0x00000000, 0x26666665, 0x3fffbfff, 0x3fffc000,
493   0x11111111, 0x3fffbfff, 0x3fffc000, 0x3fffc001,
494   0x2aaa6aab, 0x3fffbfff, 0x3fffc000, 0x3fffc001,
495   0x2aaa6aab, 0x3fffc000, 0x3fffc001, 0x3fffffc0,
496   0x2aaa6aac, 0x3fffc000, 0x3fffffbf, 0x3fffffc0,
497   0x2aaa6aac, 0x3fffffbf, 0x3fffffc0, 0x3fffffc1,
498   0x2aaaaa6b, 0x3fffffbf, 0x3fffffc0, 0x3fffffc1,
499   0x2aaaaa6b, 0x3fffffc0, 0x3fffffc1, 0x3ffffff0,
500   0x2aaaaa6c, 0x3fffffc0, 0x3fffffef, 0x3ffffffe,
501   0x2aaaaa6c, 0x3fffffef, 0x3ffffffe, 0x3fffffff,
502   0x2aaaaa9b, 0x3ffffffd, 0x3ffffffe, 0x3fffffff,
503   0x3ffffffd, 0x3ffffffe, 0x3fffffff, 0xc0000000,
504   0x3ffffffe, 0x3fffffff, 0x40000000, 0xc0000001,
505   0x3ffffffe, 0x3fffffff, 0x40000000, 0xc0000001,
506   0x3fffffff, 0x40000000, 0x40000001, 0xc0000010,
507   0x3fffffff, 0x40000000, 0x40000010, 0xc000003f,
508   0x40000000, 0x4000000f, 0x4000003e, 0xc000003f,
509   0x4000000f, 0x4000003e, 0x4000003f, 0xc0000040,
510   0x4000003d, 0x4000003e, 0x4000003f, 0xc0003fff,
511   0x4000003e, 0x4000003f, 0x40003ffe, 0xc0003fff,
512   0x4000003e, 0x40003ffe, 0x40003fff, 0xc0004000,
513   0x40003ffd, 0x40003ffe, 0x40003fff, 0xd999999a,
514   0x40003ffe, 0x40003fff, 0x59999999, 0xeaaaaaab,
515   0x40003ffe, 0x59999999, 0x6aaaaaaa, 0xffffffff,
516   0x59999998, 0x6aaaaaaa, 0x7ffffffe, 0xffffffff,
517   0x6aaaaaa9, 0x7ffffffe, 0x7fffffff, 0x00000000,
518   0x7ffffffd, 0x7ffffffe, 0x7fffffff, 0x80000000,
519   0x7ffffffe, 0x7fffffff, 0x00000000, 0x80000001,
520   0x7ffffffe, 0xffffffff, 0x00000000, 0x95555555,
521   0xffffffff, 0x00000000, 0x15555555, 0xa6666666,
522   0xffffffff, 0x15555554, 0x26666666, 0xbfffc000,
523   0x15555554, 0x26666665, 0x3fffc000, 0xbfffc001,
524   0x26666665, 0x3fffbfff, 0x3fffc000, 0xbfffc001,
525   0x3fffbfff, 0x3fffc000, 0x3fffc001, 0xbfffc002,
526   0x3fffbfff, 0x3fffc000, 0x3fffc001, 0xbfffffc0,
527   0x3fffc000, 0x3fffc001, 0x3fffffc0, 0xbfffffc1,
528   0x3fffc000, 0x3fffffbf, 0x3fffffc0, 0xbfffffc1,
529   0x3fffffbf, 0x3fffffc0, 0x3fffffc1, 0xbfffffc2,
530   0x3fffffbf, 0x3fffffc0, 0x3fffffc1, 0xbffffff0,
531   0x3fffffc0, 0x3fffffc1, 0x3ffffff0, 0xbfffffff,
532   0x3fffffc0, 0x3fffffef, 0x3ffffffe, 0xbfffffff,
533   0x3fffffef, 0x3ffffffe, 0x3fffffff, 0xc0000000,
534   0x3ffffffe, 0x3fffffff, 0xc0000000, 0xc0000001,
535   0x3ffffffe, 0x3fffffff, 0xc0000000, 0xc0000001,
536   0x3fffffff, 0x40000000, 0xc0000001, 0xc0000002,
537   0x3fffffff, 0x40000000, 0xc0000001, 0xc0000011,
538   0x40000000, 0x40000001, 0xc0000010, 0xc000003f,
539   0x40000000, 0x40000010, 0xc000003f, 0xc0000040,
540   0x4000000f, 0x4000003e, 0xc000003f, 0xc0000040,
541   0x4000003e, 0x4000003f, 0xc0000040, 0xc0003fff,
542   0x4000003e, 0x4000003f, 0xc0003fff, 0xc0004000,
543   0x4000003f, 0x40003ffe, 0xc0003fff, 0xc0004000,
544   0x40003ffe, 0x40003fff, 0xc0004000, 0xd999999a,
545   0x40003ffe, 0x40003fff, 0xd999999a, 0xeaaaaaab,
546   0x40003fff, 0x59999999, 0xeaaaaaab, 0xffffffff,
547   0x59999999, 0x6aaaaaaa, 0xffffffff, 0x00000000,
548   0x6aaaaaaa, 0x7ffffffe, 0xffffffff, 0x00000000,
549   0x7ffffffe, 0x7fffffff, 0x00000000, 0x80000001,
550   0x7ffffffe, 0x7fffffff, 0x80000000, 0x80000001,
551   0x7fffffff, 0x00000000, 0x80000001, 0x95555556,
552   0xffffffff, 0x00000000, 0x95555555, 0xa6666667,
553   0x00000000, 0x15555555, 0xa6666666, 0xbfffc001,
554   0x15555554, 0x26666666, 0xbfffc000, 0xbfffc001,
555   0x26666665, 0x3fffc000, 0xbfffc001, 0xbfffc002,
556   0x3fffbfff, 0x3fffc000, 0xbfffc001, 0xbfffc002,
557   0x3fffc000, 0x3fffc001, 0xbfffc002, 0xbfffffc1,
558   0x3fffc000, 0x3fffc001, 0xbfffffc0, 0xbfffffc1,
559   0x3fffc001, 0x3fffffc0, 0xbfffffc1, 0xbfffffc2,
560   0x3fffffbf, 0x3fffffc0, 0xbfffffc1, 0xbfffffc2,
561   0x3fffffc0, 0x3fffffc1, 0xbfffffc2, 0xbffffff1,
562   0x3fffffc0, 0x3fffffc1, 0xbffffff0, 0xbfffffff,
563   0x3fffffc1, 0x3ffffff0, 0xbfffffff, 0xc0000000,
564   0x3fffffef, 0x3ffffffe, 0xbfffffff, 0xc0000000,
565   0x3ffffffe, 0xbfffffff, 0xc0000000, 0xd5555555,
566   0x3fffffff, 0xc0000000, 0xc0000001, 0xd5555556,
567   0x3fffffff, 0xc0000000, 0xc0000001, 0xd5555556,
568   0x40000000, 0xc0000001, 0xc0000002, 0xd5555565,
569   0x40000000, 0xc0000001, 0xc0000011, 0xd5555594,
570   0x40000001, 0xc0000010, 0xc000003f, 0xd5555594,
571   0x40000010, 0xc000003f, 0xc0000040, 0xd5555595,
572   0x4000003e, 0xc000003f, 0xc0000040, 0xd5559554,
573   0x4000003f, 0xc0000040, 0xc0003fff, 0xd5559554,
574   0x4000003f, 0xc0003fff, 0xc0004000, 0xd5559555,
575   0x40003ffe, 0xc0003fff, 0xc0004000, 0xeeeeeeef,
576   0x40003fff, 0xc0004000, 0xd999999a, 0x00000000,
577   0x40003fff, 0xd999999a, 0xeaaaaaab, 0x15555554,
578   0x59999999, 0xeaaaaaab, 0xffffffff, 0x15555554,
579   0x6aaaaaaa, 0xffffffff, 0x00000000, 0x15555555,
580   0x7ffffffe, 0xffffffff, 0x00000000, 0x95555555,
581   0x7fffffff, 0x00000000, 0x80000001, 0x95555556,
582   0x7fffffff, 0x80000000, 0x80000001, 0xaaaaaaaa,
583   0x00000000, 0x80000001, 0x95555556, 0xbbbbbbbb,
584   0x00000000, 0x95555555, 0xa6666667, 0xd5551555,
585   0x15555555, 0xa6666666, 0xbfffc001, 0xd5551556,
586   0x26666666, 0xbfffc000, 0xbfffc001, 0xd5551556,
587   0x3fffc000, 0xbfffc001, 0xbfffc002, 0xd5551557,
588   0x3fffc000, 0xbfffc001, 0xbfffc002, 0xd5555515,
589   0x3fffc001, 0xbfffc002, 0xbfffffc1, 0xd5555516,
590   0x3fffc001, 0xbfffffc0, 0xbfffffc1, 0xd5555516,
591   0x3fffffc0, 0xbfffffc1, 0xbfffffc2, 0xd5555517,
592   0x3fffffc0, 0xbfffffc1, 0xbfffffc2, 0xd5555545,
593   0x3fffffc1, 0xbfffffc2, 0xbffffff1, 0xd5555554,
594   0x3fffffc1, 0xbffffff0, 0xbfffffff, 0xd5555554,
595   0x3ffffff0, 0xbfffffff, 0xc0000000, 0xd5555555,
596   0xbfffffff, 0xc0000000, 0xd5555555, 0xe6666666,
597   0xbfffffff, 0xc0000000, 0xd5555555, 0xe6666667,
598   0xc0000000, 0xc0000001, 0xd5555556, 0xe6666667,
599   0xc0000000, 0xc0000001, 0xd5555556, 0xe6666676,
600   0xc0000001, 0xc0000002, 0xd5555565, 0xe66666a5,
601   0xc0000001, 0xc0000011, 0xd5555594, 0xe66666a5,
602   0xc0000010, 0xc000003f, 0xd5555594, 0xe66666a6,
603   0xc000003f, 0xc0000040, 0xd5555595, 0xe666a665,
604   0xc000003f, 0xc0000040, 0xd5559554, 0xe666a665,
605   0xc0000040, 0xc0003fff, 0xd5559554, 0xe666a666,
606   0xc0003fff, 0xc0004000, 0xd5559555, 0x00000000,
607   0xc0003fff, 0xc0004000, 0xeeeeeeef, 0x11111111,
608   0xc0004000, 0xd999999a, 0x00000000, 0x26666665,
609   0xd999999a, 0xeaaaaaab, 0x15555554, 0x26666665,
610   0xeaaaaaab, 0xffffffff, 0x15555554, 0x26666666,
611   0xffffffff, 0x00000000, 0x15555555, 0xa6666666,
612   0xffffffff, 0x00000000, 0x95555555, 0xa6666667,
613   0x00000000, 0x80000001, 0x95555556, 0xbbbbbbbb,
614   0x80000000, 0x80000001, 0xaaaaaaaa, 0xcccccccc,
615   0x80000001, 0x95555556, 0xbbbbbbbb, 0xe6662666,
616   0x95555555, 0xa6666667, 0xd5551555, 0xe6662667,
617   0xa6666666, 0xbfffc001, 0xd5551556, 0xe6662667,
618   0xbfffc000, 0xbfffc001, 0xd5551556, 0xe6662668,
619   0xbfffc001, 0xbfffc002, 0xd5551557, 0xe6666626,
620   0xbfffc001, 0xbfffc002, 0xd5555515, 0xe6666627,
621   0xbfffc002, 0xbfffffc1, 0xd5555516, 0xe6666627,
622   0xbfffffc0, 0xbfffffc1, 0xd5555516, 0xe6666628,
623   0xbfffffc1, 0xbfffffc2, 0xd5555517, 0xe6666656,
624   0xbfffffc1, 0xbfffffc2, 0xd5555545, 0xe6666665,
625   0xbfffffc2, 0xbffffff1, 0xd5555554, 0xe6666665,
626   0xbffffff0, 0xbfffffff, 0xd5555554, 0xe6666666,
627   0xbfffffff, 0xd5555554, 0xe6666666, 0xffffc000,
628   0xc0000000, 0xd5555555, 0xe6666666, 0xffffc001,
629   0xc0000000, 0xd5555555, 0xe6666667, 0xffffc001,
630   0xc0000001, 0xd5555556, 0xe6666667, 0xffffc010,
631   0xc0000001, 0xd5555556, 0xe6666676, 0xffffc03f,
632   0xc0000002, 0xd5555565, 0xe66666a5, 0xffffc03f,
633   0xc0000011, 0xd5555594, 0xe66666a5, 0xffffc040,
634   0xc000003f, 0xd5555594, 0xe66666a6, 0xffffffff,
635   0xc0000040, 0xd5555595, 0xe666a665, 0xffffffff,
636   0xc0000040, 0xd5559554, 0xe666a665, 0x00000000,
637   0xc0003fff, 0xd5559554, 0xe666a666, 0x1999599a,
638   0xc0004000, 0xd5559555, 0x00000000, 0x2aaa6aab,
639   0xc0004000, 0xeeeeeeef, 0x11111111, 0x3fffbfff,
640   0xd999999a, 0x00000000, 0x26666665, 0x3fffbfff,
641   0xeaaaaaab, 0x15555554, 0x26666665, 0x3fffc000,
642   0xffffffff, 0x15555554, 0x26666666, 0xbfffc000,
643   0x00000000, 0x15555555, 0xa6666666, 0xbfffc001,
644   0x00000000, 0x95555555, 0xa6666667, 0xd5551555,
645   0x80000001, 0x95555556, 0xbbbbbbbb, 0xe6662666,
646   0x80000001, 0xaaaaaaaa, 0xcccccccc, 0xffff8000,
647   0x95555556, 0xbbbbbbbb, 0xe6662666, 0xffff8001,
648   0xa6666667, 0xd5551555, 0xe6662667, 0xffff8001,
649   0xbfffc001, 0xd5551556, 0xe6662667, 0xffff8002,
650   0xbfffc001, 0xd5551556, 0xe6662668, 0xffffbfc0,
651   0xbfffc002, 0xd5551557, 0xe6666626, 0xffffbfc1,
652   0xbfffc002, 0xd5555515, 0xe6666627, 0xffffbfc1,
653   0xbfffffc1, 0xd5555516, 0xe6666627, 0xffffbfc2,
654   0xbfffffc1, 0xd5555516, 0xe6666628, 0xffffbff0,
655   0xbfffffc2, 0xd5555517, 0xe6666656, 0xffffbfff,
656   0xbfffffc2, 0xd5555545, 0xe6666665, 0xffffbfff,
657   0xbffffff1, 0xd5555554, 0xe6666665, 0xffffc000,
658   0xd5555554, 0xe6666665, 0xffffc000, 0xffffc001,
659   0xd5555554, 0xe6666666, 0xffffc000, 0xffffc001,
660   0xd5555555, 0xe6666666, 0xffffc001, 0xffffc002,
661   0xd5555555, 0xe6666667, 0xffffc001, 0xffffc011,
662   0xd5555556, 0xe6666667, 0xffffc010, 0xffffc03f,
663   0xd5555556, 0xe6666676, 0xffffc03f, 0xffffc040,
664   0xd5555565, 0xe66666a5, 0xffffc03f, 0xffffc040,
665   0xd5555594, 0xe66666a5, 0xffffc040, 0xffffffff,
666   0xd5555594, 0xe66666a6, 0xffffffff, 0x00000000,
667   0xd5555595, 0xe666a665, 0xffffffff, 0x00000000,
668   0xd5559554, 0xe666a665, 0x00000000, 0x1999599a,
669   0xd5559554, 0xe666a666, 0x1999599a, 0x2aaa6aab,
670   0xd5559555, 0x00000000, 0x2aaa6aab, 0x3fffbfff,
671   0xeeeeeeef, 0x11111111, 0x3fffbfff, 0x3fffc000,
672   0x00000000, 0x26666665, 0x3fffbfff, 0x3fffc000,
673   0x15555554, 0x26666665, 0x3fffc000, 0xbfffc001,
674   0x15555554, 0x26666666, 0xbfffc000, 0xbfffc001,
675   0x15555555, 0xa6666666, 0xbfffc001, 0xd5551556,
676   0x95555555, 0xa6666667, 0xd5551555, 0xe6662667,
677   0x95555556, 0xbbbbbbbb, 0xe6662666, 0xffff8001,
678   0xaaaaaaaa, 0xcccccccc, 0xffff8000, 0xffff8001,
679   0xbbbbbbbb, 0xe6662666, 0xffff8001, 0xffff8002,
680   0xd5551555, 0xe6662667, 0xffff8001, 0xffff8002,
681   0xd5551556, 0xe6662667, 0xffff8002, 0xffffbfc1,
682   0xd5551556, 0xe6662668, 0xffffbfc0, 0xffffbfc1,
683   0xd5551557, 0xe6666626, 0xffffbfc1, 0xffffbfc2,
684   0xd5555515, 0xe6666627, 0xffffbfc1, 0xffffbfc2,
685   0xd5555516, 0xe6666627, 0xffffbfc2, 0xffffbff1,
686   0xd5555516, 0xe6666628, 0xffffbff0, 0xffffbfff,
687   0xd5555517, 0xe6666656, 0xffffbfff, 0xffffc000,
688   0xd5555545, 0xe6666665, 0xffffbfff, 0xffffc000,
689   0xe6666665, 0xffffbfff, 0xffffc000, 0xffffc001,
690   0xe6666665, 0xffffc000, 0xffffc001, 0xffffc002,
691   0xe6666666, 0xffffc000, 0xffffc001, 0xffffc002,
692   0xe6666666, 0xffffc001, 0xffffc002, 0xffffc011,
693   0xe6666667, 0xffffc001, 0xffffc011, 0xffffc040,
694   0xe6666667, 0xffffc010, 0xffffc03f, 0xffffc040,
695   0xe6666676, 0xffffc03f, 0xffffc040, 0xffffc041,
696   0xe66666a5, 0xffffc03f, 0xffffc040, 0x00000000,
697   0xe66666a5, 0xffffc040, 0xffffffff, 0x00000000,
698   0xe66666a6, 0xffffffff, 0x00000000, 0x00000001,
699   0xe666a665, 0xffffffff, 0x00000000, 0x1999599b,
700   0xe666a665, 0x00000000, 0x1999599a, 0x2aaa6aac,
701   0xe666a666, 0x1999599a, 0x2aaa6aab, 0x3fffc000,
702   0x00000000, 0x2aaa6aab, 0x3fffbfff, 0x3fffc000,
703   0x11111111, 0x3fffbfff, 0x3fffc000, 0x3fffc001,
704   0x26666665, 0x3fffbfff, 0x3fffc000, 0xbfffc001,
705   0x26666665, 0x3fffc000, 0xbfffc001, 0xbfffc002,
706   0x26666666, 0xbfffc000, 0xbfffc001, 0xd5551556,
707   0xa6666666, 0xbfffc001, 0xd5551556, 0xe6662667,
708   0xa6666667, 0xd5551555, 0xe6662667, 0xffff8001,
709   0xbbbbbbbb, 0xe6662666, 0xffff8001, 0xffff8002,
710   0xcccccccc, 0xffff8000, 0xffff8001, 0xffff8002,
711   0xe6662666, 0xffff8001, 0xffff8002, 0xffff8003,
712   0xe6662667, 0xffff8001, 0xffff8002, 0xffffbfc1,
713   0xe6662667, 0xffff8002, 0xffffbfc1, 0xffffbfc2,
714   0xe6662668, 0xffffbfc0, 0xffffbfc1, 0xffffbfc2,
715   0xe6666626, 0xffffbfc1, 0xffffbfc2, 0xffffbfc3,
716   0xe6666627, 0xffffbfc1, 0xffffbfc2, 0xffffbff1,
717   0xe6666627, 0xffffbfc2, 0xffffbff1, 0xffffc000,
718   0xe6666628, 0xffffbff0, 0xffffbfff, 0xffffc000,
719   0xe6666656, 0xffffbfff, 0xffffc000, 0xffffc001,
720   0xffffbfff, 0xffffc000, 0xffffc001, 0xffffc002,
721   0xffffbfff, 0xffffc000, 0xffffc001, 0xffffc002,
722   0xffffc000, 0xffffc001, 0xffffc002, 0xffffc003,
723   0xffffc000, 0xffffc001, 0xffffc002, 0xffffc012,
724   0xffffc001, 0xffffc002, 0xffffc011, 0xffffc040,
725   0xffffc001, 0xffffc011, 0xffffc040, 0xffffc041,
726   0xffffc010, 0xffffc03f, 0xffffc040, 0xffffc041,
727   0xffffc03f, 0xffffc040, 0xffffc041, 0x00000000,
728   0xffffc03f, 0xffffc040, 0x00000000, 0x00000001,
729   0xffffc040, 0xffffffff, 0x00000000, 0x00000001,
730   0xffffffff, 0x00000000, 0x00000001, 0x1999599b,
731   0xffffffff, 0x00000000, 0x1999599b, 0x2aaa6aac,
732   0x00000000, 0x1999599a, 0x2aaa6aac, 0x3fffc000,
733   0x1999599a, 0x2aaa6aab, 0x3fffc000, 0x3fffc001,
734   0x2aaa6aab, 0x3fffbfff, 0x3fffc000, 0x3fffc001,
735   0x3fffbfff, 0x3fffc000, 0x3fffc001, 0xbfffc002,
736   0x3fffbfff, 0x3fffc000, 0xbfffc001, 0xbfffc002,
737   0x3fffc000, 0xbfffc001, 0xbfffc002, 0xd5551557,
738   0xbfffc000, 0xbfffc001, 0xd5551556, 0xe6662668,
739   0xbfffc001, 0xd5551556, 0xe6662667, 0xffff8002,
740   0xd5551555, 0xe6662667, 0xffff8001, 0xffff8002,
741   0xe6662666, 0xffff8001, 0xffff8002, 0xffff8003,
742   0xffff8000, 0xffff8001, 0xffff8002, 0xffff8003,
743   0xffff8001, 0xffff8002, 0xffff8003, 0xffffbfc2,
744   0xffff8001, 0xffff8002, 0xffffbfc1, 0xffffbfc2,
745   0xffff8002, 0xffffbfc1, 0xffffbfc2, 0xffffbfc3,
746   0xffffbfc0, 0xffffbfc1, 0xffffbfc2, 0xffffbfc3,
747   0xffffbfc1, 0xffffbfc2, 0xffffbfc3, 0xffffbff2,
748   0xffffbfc1, 0xffffbfc2, 0xffffbff1, 0xffffc000,
749   0xffffbfc2, 0xffffbff1, 0xffffc000, 0xffffc001,
750   0xffffbff0, 0xffffbfff, 0xffffc000, 0xffffc001,
751   0xffffbfff, 0xffffc000, 0xffffc001, 0xffffffc0,
752   0xffffc000, 0xffffc001, 0xffffc002, 0xffffffc1,
753   0xffffc000, 0xffffc001, 0xffffc002, 0xffffffc1,
754   0xffffc001, 0xffffc002, 0xffffc003, 0xffffffd0,
755   0xffffc001, 0xffffc002, 0xffffc012, 0xffffffff,
756   0xffffc002, 0xffffc011, 0xffffc040, 0xffffffff,
757   0xffffc011, 0xffffc040, 0xffffc041, 0x00000000,
758   0xffffc03f, 0xffffc040, 0xffffc041, 0x00003fbf,
759   0xffffc040, 0xffffc041, 0x00000000, 0x00003fbf,
760   0xffffc040, 0x00000000, 0x00000001, 0x00003fc0,
761   0xffffffff, 0x00000000, 0x00000001, 0x1999995a,
762   0x00000000, 0x00000001, 0x1999599b, 0x2aaaaa6b,
763   0x00000000, 0x1999599b, 0x2aaa6aac, 0x3fffffbf,
764   0x1999599a, 0x2aaa6aac, 0x3fffc000, 0x3fffffbf,
765   0x2aaa6aab, 0x3fffc000, 0x3fffc001, 0x3fffffc0,
766   0x3fffbfff, 0x3fffc000, 0x3fffc001, 0xbfffffc0,
767   0x3fffc000, 0x3fffc001, 0xbfffc002, 0xbfffffc1,
768   0x3fffc000, 0xbfffc001, 0xbfffc002, 0xd5555515,
769   0xbfffc001, 0xbfffc002, 0xd5551557, 0xe6666626,
770   0xbfffc001, 0xd5551556, 0xe6662668, 0xffffbfc0,
771   0xd5551556, 0xe6662667, 0xffff8002, 0xffffbfc1,
772   0xe6662667, 0xffff8001, 0xffff8002, 0xffffbfc1,
773   0xffff8001, 0xffff8002, 0xffff8003, 0xffffbfc2,
774   0xffff8001, 0xffff8002, 0xffff8003, 0xffffff80,
775   0xffff8002, 0xffff8003, 0xffffbfc2, 0xffffff81,
776   0xffff8002, 0xffffbfc1, 0xffffbfc2, 0xffffff81,
777   0xffffbfc1, 0xffffbfc2, 0xffffbfc3, 0xffffff82,
778   0xffffbfc1, 0xffffbfc2, 0xffffbfc3, 0xffffffb0,
779   0xffffbfc2, 0xffffbfc3, 0xffffbff2, 0xffffffbf,
780   0xffffbfc2, 0xffffbff1, 0xffffc000, 0xffffffbf,
781   0xffffbff1, 0xffffc000, 0xffffc001, 0xffffffc0,
782   0xffffc000, 0xffffc001, 0xffffffc0, 0xffffffc1,
783   0xffffc000, 0xffffc001, 0xffffffc0, 0xffffffc1,
784   0xffffc001, 0xffffc002, 0xffffffc1, 0xffffffc2,
785   0xffffc001, 0xffffc002, 0xffffffc1, 0xffffffd1,
786   0xffffc002, 0xffffc003, 0xffffffd0, 0xffffffff,
787   0xffffc002, 0xffffc012, 0xffffffff, 0x00000000,
788   0xffffc011, 0xffffc040, 0xffffffff, 0x00000000,
789   0xffffc040, 0xffffc041, 0x00000000, 0x00003fbf,
790   0xffffc040, 0xffffc041, 0x00003fbf, 0x00003fc0,
791   0xffffc041, 0x00000000, 0x00003fbf, 0x00003fc0,
792   0x00000000, 0x00000001, 0x00003fc0, 0x1999995a,
793   0x00000000, 0x00000001, 0x1999995a, 0x2aaaaa6b,
794   0x00000001, 0x1999599b, 0x2aaaaa6b, 0x3fffffbf,
795   0x1999599b, 0x2aaa6aac, 0x3fffffbf, 0x3fffffc0,
796   0x2aaa6aac, 0x3fffc000, 0x3fffffbf, 0x3fffffc0,
797   0x3fffc000, 0x3fffc001, 0x3fffffc0, 0xbfffffc1,
798   0x3fffc000, 0x3fffc001, 0xbfffffc0, 0xbfffffc1,
799   0x3fffc001, 0xbfffc002, 0xbfffffc1, 0xd5555516,
800   0xbfffc001, 0xbfffc002, 0xd5555515, 0xe6666627,
801   0xbfffc002, 0xd5551557, 0xe6666626, 0xffffbfc1,
802   0xd5551556, 0xe6662668, 0xffffbfc0, 0xffffbfc1,
803   0xe6662667, 0xffff8002, 0xffffbfc1, 0xffffbfc2,
804   0xffff8001, 0xffff8002, 0xffffbfc1, 0xffffbfc2,
805   0xffff8002, 0xffff8003, 0xffffbfc2, 0xffffff81,
806   0xffff8002, 0xffff8003, 0xffffff80, 0xffffff81,
807   0xffff8003, 0xffffbfc2, 0xffffff81, 0xffffff82,
808   0xffffbfc1, 0xffffbfc2, 0xffffff81, 0xffffff82,
809   0xffffbfc2, 0xffffbfc3, 0xffffff82, 0xffffffb1,
810   0xffffbfc2, 0xffffbfc3, 0xffffffb0, 0xffffffbf,
811   0xffffbfc3, 0xffffbff2, 0xffffffbf, 0xffffffc0,
812   0xffffbff1, 0xffffc000, 0xffffffbf, 0xffffffc0,
813   0xffffc000, 0xffffffbf, 0xffffffc0, 0xffffffc1,
814   0xffffc001, 0xffffffc0, 0xffffffc1, 0xffffffc2,
815   0xffffc001, 0xffffffc0, 0xffffffc1, 0xffffffc2,
816   0xffffc002, 0xffffffc1, 0xffffffc2, 0xffffffd1,
817   0xffffc002, 0xffffffc1, 0xffffffd1, 0x00000000,
818   0xffffc003, 0xffffffd0, 0xffffffff, 0x00000000,
819   0xffffc012, 0xffffffff, 0x00000000, 0x00000001,
820   0xffffc040, 0xffffffff, 0x00000000, 0x00003fc0,
821   0xffffc041, 0x00000000, 0x00003fbf, 0x00003fc0,
822   0xffffc041, 0x00003fbf, 0x00003fc0, 0x00003fc1,
823   0x00000000, 0x00003fbf, 0x00003fc0, 0x1999995b,
824   0x00000001, 0x00003fc0, 0x1999995a, 0x2aaaaa6c,
825   0x00000001, 0x1999995a, 0x2aaaaa6b, 0x3fffffc0,
826   0x1999599b, 0x2aaaaa6b, 0x3fffffbf, 0x3fffffc0,
827   0x2aaa6aac, 0x3fffffbf, 0x3fffffc0, 0x3fffffc1,
828   0x3fffc000, 0x3fffffbf, 0x3fffffc0, 0xbfffffc1,
829   0x3fffc001, 0x3fffffc0, 0xbfffffc1, 0xbfffffc2,
830   0x3fffc001, 0xbfffffc0, 0xbfffffc1, 0xd5555516,
831   0xbfffc002, 0xbfffffc1, 0xd5555516, 0xe6666627,
832   0xbfffc002, 0xd5555515, 0xe6666627, 0xffffbfc1,
833   0xd5551557, 0xe6666626, 0xffffbfc1, 0xffffbfc2,
834   0xe6662668, 0xffffbfc0, 0xffffbfc1, 0xffffbfc2,
835   0xffff8002, 0xffffbfc1, 0xffffbfc2, 0xffffbfc3,
836   0xffff8002, 0xffffbfc1, 0xffffbfc2, 0xffffff81,
837   0xffff8003, 0xffffbfc2, 0xffffff81, 0xffffff82,
838   0xffff8003, 0xffffff80, 0xffffff81, 0xffffff82,
839   0xffffbfc2, 0xffffff81, 0xffffff82, 0xffffff83,
840   0xffffbfc2, 0xffffff81, 0xffffff82, 0xffffffb1,
841   0xffffbfc3, 0xffffff82, 0xffffffb1, 0xffffffc0,
842   0xffffbfc3, 0xffffffb0, 0xffffffbf, 0xffffffc0,
843   0xffffbff2, 0xffffffbf, 0xffffffc0, 0xffffffc1,
844   0xffffffbf, 0xffffffc0, 0xffffffc1, 0xffffffc2,
845   0xffffffbf, 0xffffffc0, 0xffffffc1, 0xffffffc2,
846   0xffffffc0, 0xffffffc1, 0xffffffc2, 0xffffffc3,
847   0xffffffc0, 0xffffffc1, 0xffffffc2, 0xffffffd2,
848   0xffffffc1, 0xffffffc2, 0xffffffd1, 0x00000000,
849   0xffffffc1, 0xffffffd1, 0x00000000, 0x00000001,
850   0xffffffd0, 0xffffffff, 0x00000000, 0x00000001,
851   0xffffffff, 0x00000000, 0x00000001, 0x00003fc0,
852   0xffffffff, 0x00000000, 0x00003fc0, 0x00003fc1,
853   0x00000000, 0x00003fbf, 0x00003fc0, 0x00003fc1,
854   0x00003fbf, 0x00003fc0, 0x00003fc1, 0x1999995b,
855   0x00003fbf, 0x00003fc0, 0x1999995b, 0x2aaaaa6c,
856   0x00003fc0, 0x1999995a, 0x2aaaaa6c, 0x3fffffc0,
857   0x1999995a, 0x2aaaaa6b, 0x3fffffc0, 0x3fffffc1,
858   0x2aaaaa6b, 0x3fffffbf, 0x3fffffc0, 0x3fffffc1,
859   0x3fffffbf, 0x3fffffc0, 0x3fffffc1, 0xbfffffc2,
860   0x3fffffbf, 0x3fffffc0, 0xbfffffc1, 0xbfffffc2,
861   0x3fffffc0, 0xbfffffc1, 0xbfffffc2, 0xd5555517,
862   0xbfffffc0, 0xbfffffc1, 0xd5555516, 0xe6666628,
863   0xbfffffc1, 0xd5555516, 0xe6666627, 0xffffbfc2,
864   0xd5555515, 0xe6666627, 0xffffbfc1, 0xffffbfc2,
865   0xe6666626, 0xffffbfc1, 0xffffbfc2, 0xffffbfc3,
866   0xffffbfc0, 0xffffbfc1, 0xffffbfc2, 0xffffbfc3,
867   0xffffbfc1, 0xffffbfc2, 0xffffbfc3, 0xffffff82,
868   0xffffbfc1, 0xffffbfc2, 0xffffff81, 0xffffff82,
869   0xffffbfc2, 0xffffff81, 0xffffff82, 0xffffff83,
870   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
871   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffb2,
872   0xffffff81, 0xffffff82, 0xffffffb1, 0xffffffc0,
873   0xffffff82, 0xffffffb1, 0xffffffc0, 0xffffffc1,
874   0xffffffb0, 0xffffffbf, 0xffffffc0, 0xffffffc1,
875   0xffffffbf, 0xffffffc0, 0xffffffc1, 0xfffffff0,
876   0xffffffc0, 0xffffffc1, 0xffffffc2, 0xfffffff1,
877   0xffffffc0, 0xffffffc1, 0xffffffc2, 0xfffffff1,
878   0xffffffc1, 0xffffffc2, 0xffffffc3, 0x00000000,
879   0xffffffc1, 0xffffffc2, 0xffffffd2, 0x0000002f,
880   0xffffffc2, 0xffffffd1, 0x00000000, 0x0000002f,
881   0xffffffd1, 0x00000000, 0x00000001, 0x00000030,
882   0xffffffff, 0x00000000, 0x00000001, 0x00003fef,
883   0x00000000, 0x00000001, 0x00003fc0, 0x00003fef,
884   0x00000000, 0x00003fc0, 0x00003fc1, 0x00003ff0,
885   0x00003fbf, 0x00003fc0, 0x00003fc1, 0x1999998a,
886   0x00003fc0, 0x00003fc1, 0x1999995b, 0x2aaaaa9b,
887   0x00003fc0, 0x1999995b, 0x2aaaaa6c, 0x3fffffef,
888   0x1999995a, 0x2aaaaa6c, 0x3fffffc0, 0x3fffffef,
889   0x2aaaaa6b, 0x3fffffc0, 0x3fffffc1, 0x3ffffff0,
890   0x3fffffbf, 0x3fffffc0, 0x3fffffc1, 0xbffffff0,
891   0x3fffffc0, 0x3fffffc1, 0xbfffffc2, 0xbffffff1,
892   0x3fffffc0, 0xbfffffc1, 0xbfffffc2, 0xd5555545,
893   0xbfffffc1, 0xbfffffc2, 0xd5555517, 0xe6666656,
894   0xbfffffc1, 0xd5555516, 0xe6666628, 0xffffbff0,
895   0xd5555516, 0xe6666627, 0xffffbfc2, 0xffffbff1,
896   0xe6666627, 0xffffbfc1, 0xffffbfc2, 0xffffbff1,
897   0xffffbfc1, 0xffffbfc2, 0xffffbfc3, 0xffffbff2,
898   0xffffbfc1, 0xffffbfc2, 0xffffbfc3, 0xffffffb0,
899   0xffffbfc2, 0xffffbfc3, 0xffffff82, 0xffffffb1,
900   0xffffbfc2, 0xffffff81, 0xffffff82, 0xffffffb1,
901   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffb2,
902   0xffffff81, 0xffffff82, 0xffffff83, 0xffffffe0,
903   0xffffff82, 0xffffff83, 0xffffffb2, 0xffffffef,
904   0xffffff82, 0xffffffb1, 0xffffffc0, 0xffffffef,
905   0xffffffb1, 0xffffffc0, 0xffffffc1, 0xfffffff0,
906   0xffffffc0, 0xffffffc1, 0xfffffff0, 0xffffffff,
907   0xffffffc0, 0xffffffc1, 0xfffffff0, 0xffffffff,
908   0xffffffc1, 0xffffffc2, 0xfffffff1, 0x00000000,
909   0xffffffc1, 0xffffffc2, 0xfffffff1, 0x0000000f,
910   0xffffffc2, 0xffffffc3, 0x00000000, 0x0000003d,
911   0xffffffc2, 0xffffffd2, 0x0000002f, 0x0000003e,
912   0xffffffd1, 0x00000000, 0x0000002f, 0x0000003e,
913   0x00000000, 0x00000001, 0x00000030, 0x00003ffd,
914   0x00000000, 0x00000001, 0x00003fef, 0x00003ffe,
915   0x00000001, 0x00003fc0, 0x00003fef, 0x00003ffe,
916   0x00003fc0, 0x00003fc1, 0x00003ff0, 0x19999998,
917   0x00003fc0, 0x00003fc1, 0x1999998a, 0x2aaaaaa9,
918   0x00003fc1, 0x1999995b, 0x2aaaaa9b, 0x3ffffffd,
919   0x1999995b, 0x2aaaaa6c, 0x3fffffef, 0x3ffffffe,
920   0x2aaaaa6c, 0x3fffffc0, 0x3fffffef, 0x3ffffffe,
921   0x3fffffc0, 0x3fffffc1, 0x3ffffff0, 0xbfffffff,
922   0x3fffffc0, 0x3fffffc1, 0xbffffff0, 0xbfffffff,
923   0x3fffffc1, 0xbfffffc2, 0xbffffff1, 0xd5555554,
924   0xbfffffc1, 0xbfffffc2, 0xd5555545, 0xe6666665,
925   0xbfffffc2, 0xd5555517, 0xe6666656, 0xffffbfff,
926   0xd5555516, 0xe6666628, 0xffffbff0, 0xffffbfff,
927   0xe6666627, 0xffffbfc2, 0xffffbff1, 0xffffc000,
928   0xffffbfc1, 0xffffbfc2, 0xffffbff1, 0xffffc000,
929   0xffffbfc2, 0xffffbfc3, 0xffffbff2, 0xffffffbf,
930   0xffffbfc2, 0xffffbfc3, 0xffffffb0, 0xffffffbf,
931   0xffffbfc3, 0xffffff82, 0xffffffb1, 0xffffffc0,
932   0xffffff81, 0xffffff82, 0xffffffb1, 0xffffffc0,
933   0xffffff82, 0xffffff83, 0xffffffb2, 0xffffffef,
934   0xffffff82, 0xffffff83, 0xffffffe0, 0xfffffffd,
935   0xffffff83, 0xffffffb2, 0xffffffef, 0xfffffffe,
936   0xffffffb1, 0xffffffc0, 0xffffffef, 0xfffffffe,
937   0xffffffc0, 0xffffffef, 0xfffffffe, 0xffffffff,
938   0xffffffc1, 0xfffffff0, 0xffffffff, 0x00000000,
939   0xffffffc1, 0xfffffff0, 0xffffffff, 0x00000000,
940   0xffffffc2, 0xfffffff1, 0x00000000, 0x0000000f,
941   0xffffffc2, 0xfffffff1, 0x0000000f, 0x0000003e,
942   0xffffffc3, 0x00000000, 0x0000003d, 0x0000003e,
943   0xffffffd2, 0x0000002f, 0x0000003e, 0x0000003f,
944   0x00000000, 0x0000002f, 0x0000003e, 0x00003ffe,
945   0x00000001, 0x00000030, 0x00003ffd, 0x00003ffe,
946   0x00000001, 0x00003fef, 0x00003ffe, 0x00003fff,
947   0x00003fc0, 0x00003fef, 0x00003ffe, 0x19999999,
948   0x00003fc1, 0x00003ff0, 0x19999998, 0x2aaaaaaa,
949   0x00003fc1, 0x1999998a, 0x2aaaaaa9, 0x3ffffffe,
950   0x1999995b, 0x2aaaaa9b, 0x3ffffffd, 0x3ffffffe,
951   0x2aaaaa6c, 0x3fffffef, 0x3ffffffe, 0x3fffffff,
952   0x3fffffc0, 0x3fffffef, 0x3ffffffe, 0xbfffffff,
953   0x3fffffc1, 0x3ffffff0, 0xbfffffff, 0xc0000000,
954   0x3fffffc1, 0xbffffff0, 0xbfffffff, 0xd5555554,
955   0xbfffffc2, 0xbffffff1, 0xd5555554, 0xe6666665,
956   0xbfffffc2, 0xd5555545, 0xe6666665, 0xffffbfff,
957   0xd5555517, 0xe6666656, 0xffffbfff, 0xffffc000,
958   0xe6666628, 0xffffbff0, 0xffffbfff, 0xffffc000,
959   0xffffbfc2, 0xffffbff1, 0xffffc000, 0xffffc001,
960   0xffffbfc2, 0xffffbff1, 0xffffc000, 0xffffffbf,
961   0xffffbfc3, 0xffffbff2, 0xffffffbf, 0xffffffc0,
962   0xffffbfc3, 0xffffffb0, 0xffffffbf, 0xffffffc0,
963   0xffffff82, 0xffffffb1, 0xffffffc0, 0xffffffc1,
964   0xffffff82, 0xffffffb1, 0xffffffc0, 0xffffffef,
965   0xffffff83, 0xffffffb2, 0xffffffef, 0xfffffffe,
966   0xffffff83, 0xffffffe0, 0xfffffffd, 0xfffffffe,
967   0xffffffb2, 0xffffffef, 0xfffffffe, 0xffffffff,
968   0xffffffef, 0xfffffffe, 0xffffffff, 0x00000000,
969   0xffffffef, 0xfffffffe, 0xffffffff, 0x00000000,
970   0xfffffff0, 0xffffffff, 0x00000000, 0x00000001,
971   0xfffffff0, 0xffffffff, 0x00000000, 0x00000010,
972   0xfffffff1, 0x00000000, 0x0000000f, 0x0000003e,
973   0xfffffff1, 0x0000000f, 0x0000003e, 0x0000003f,
974   0x00000000, 0x0000003d, 0x0000003e, 0x0000003f,
975   0x0000002f, 0x0000003e, 0x0000003f, 0x00003ffe,
976   0x0000002f, 0x0000003e, 0x00003ffe, 0x00003fff,
977   0x00000030, 0x00003ffd, 0x00003ffe, 0x00003fff,
978   0x00003fef, 0x00003ffe, 0x00003fff, 0x19999999,
979   0x00003fef, 0x00003ffe, 0x19999999, 0x2aaaaaaa,
980   0x00003ff0, 0x19999998, 0x2aaaaaaa, 0x3ffffffe,
981   0x1999998a, 0x2aaaaaa9, 0x3ffffffe, 0x3fffffff,
982   0x2aaaaa9b, 0x3ffffffd, 0x3ffffffe, 0x3fffffff,
983   0x3fffffef, 0x3ffffffe, 0x3fffffff, 0xc0000000,
984   0x3fffffef, 0x3ffffffe, 0xbfffffff, 0xc0000000,
985   0x3ffffff0, 0xbfffffff, 0xc0000000, 0xd5555555,
986   0xbffffff0, 0xbfffffff, 0xd5555554, 0xe6666666,
987   0xbffffff1, 0xd5555554, 0xe6666665, 0xffffc000,
988   0xd5555545, 0xe6666665, 0xffffbfff, 0xffffc000,
989   0xe6666656, 0xffffbfff, 0xffffc000, 0xffffc001,
990   0xffffbff0, 0xffffbfff, 0xffffc000, 0xffffc001,
991   0xffffbff1, 0xffffc000, 0xffffc001, 0xffffffc0,
992   0xffffbff1, 0xffffc000, 0xffffffbf, 0xffffffc0,
993   0xffffbff2, 0xffffffbf, 0xffffffc0, 0xffffffc1,
994   0xffffffb0, 0xffffffbf, 0xffffffc0, 0xffffffc1,
995   0xffffffb1, 0xffffffc0, 0xffffffc1, 0xfffffff0,
996   0xffffffb1, 0xffffffc0, 0xffffffef, 0xfffffffe,
997   0xffffffb2, 0xffffffef, 0xfffffffe, 0xffffffff,
998   0xffffffe0, 0xfffffffd, 0xfffffffe, 0xffffffff,
999 };
1000 const unsigned kExpectedCount_NEON_srhadd_4S = 961;
1001 
1002 #endif  // VIXL_SIM_SRHADD_4S_TRACE_AARCH64_H_
1003