• 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_FRSQRTS_D_TRACE_AARCH64_H_
35 #define VIXL_SIM_FRSQRTS_D_TRACE_AARCH64_H_
36 
37 const uint64_t kExpected_NEON_frsqrts_D[] = {
38   0x3ff8000000000000, 0x0000000000000000,
39   0x3ff8000000000000, 0x0000000000000000,
40   0x3ff8000000000000, 0x0000000000000000,
41   0x3ff8000000000000, 0x0000000000000000,
42   0x3ff8000000000000, 0x0000000000000000,
43   0x3ff8000000000000, 0x0000000000000000,
44   0x3ff8000000000000, 0x0000000000000000,
45   0x3ff8000000000000, 0x0000000000000000,
46   0x3ff8000000000000, 0x0000000000000000,
47   0x3ff8000000000000, 0x0000000000000000,
48   0x3ff8000000000000, 0x0000000000000000,
49   0x3ff7fffffffd8040, 0x0000000000000000,
50   0xfff0000000000000, 0x0000000000000000,
51   0x7ff923456789abcd, 0x0000000000000000,
52   0x7ff8000000000000, 0x0000000000000000,
53   0x7ff923456789abcd, 0x0000000000000000,
54   0xfff0000000000000, 0x0000000000000000,
55   0x3ff8000000000000, 0x0000000000000000,
56   0x3ff8000000000000, 0x0000000000000000,
57   0x3ff8000000000000, 0x0000000000000000,
58   0x3ff8000000000000, 0x0000000000000000,
59   0x3ff8000000000000, 0x0000000000000000,
60   0x3ff8000000000000, 0x0000000000000000,
61   0x3ff8000000000000, 0x0000000000000000,
62   0x3ff8000000000000, 0x0000000000000000,
63   0x3ff8000000000000, 0x0000000000000000,
64   0x3ff8000000000000, 0x0000000000000000,
65   0x3ff8000000000000, 0x0000000000000000,
66   0x3ff8000000000000, 0x0000000000000000,
67   0x3ff8000000000000, 0x0000000000000000,
68   0x3ff8000000027fc0, 0x0000000000000000,
69   0x7ff0000000000000, 0x0000000000000000,
70   0xfff923456789abcd, 0x0000000000000000,
71   0xfff8000000000000, 0x0000000000000000,
72   0xfff923456789abcd, 0x0000000000000000,
73   0x7ff0000000000000, 0x0000000000000000,
74   0x3ff8000000000000, 0x0000000000000000,
75   0x3ff8000000000000, 0x0000000000000000,
76   0x3ff8000000000000, 0x0000000000000000,
77   0x3ff8000000000000, 0x0000000000000000,
78   0x3ff8000000000000, 0x0000000000000000,
79   0x3ff8000000000000, 0x0000000000000000,
80   0x3ff8000000000000, 0x0000000000000000,
81   0x3ff8000000000000, 0x0000000000000000,
82   0x3ff8000000000000, 0x0000000000000000,
83   0x3ff8000000000000, 0x0000000000000000,
84   0x3ff8000000000000, 0x0000000000000000,
85   0x3ff8000000000000, 0x0000000000000000,
86   0x3ff8000000000000, 0x0000000000000000,
87   0x3ff8000000000000, 0x0000000000000000,
88   0x3ff8000000000000, 0x0000000000000000,
89   0x7ff923456789abcd, 0x0000000000000000,
90   0x7ff8000000000000, 0x0000000000000000,
91   0x7ff923456789abcd, 0x0000000000000000,
92   0x3ff8000000000000, 0x0000000000000000,
93   0x3ff8000000000000, 0x0000000000000000,
94   0x3ff8000000000000, 0x0000000000000000,
95   0x3ff8000000000000, 0x0000000000000000,
96   0x3ff8000000000000, 0x0000000000000000,
97   0x3ff8000000000000, 0x0000000000000000,
98   0x3ff8000000000000, 0x0000000000000000,
99   0x3ff8000000000000, 0x0000000000000000,
100   0x3ff8000000000000, 0x0000000000000000,
101   0x3ff8000000000000, 0x0000000000000000,
102   0x3ff8000000000000, 0x0000000000000000,
103   0x3ff8000000000000, 0x0000000000000000,
104   0x3ff8000000000000, 0x0000000000000000,
105   0x3ff8000000000000, 0x0000000000000000,
106   0x3ff8000000000000, 0x0000000000000000,
107   0x3ff8000000000000, 0x0000000000000000,
108   0xfff923456789abcd, 0x0000000000000000,
109   0xfff8000000000000, 0x0000000000000000,
110   0xfff923456789abcd, 0x0000000000000000,
111   0x3ff8000000000000, 0x0000000000000000,
112   0x3ff8000000000000, 0x0000000000000000,
113   0x3ff8000000000000, 0x0000000000000000,
114   0x3ff8000000000000, 0x0000000000000000,
115   0x3ff8000000000000, 0x0000000000000000,
116   0x3ff8000000000000, 0x0000000000000000,
117   0x3ff8000000000000, 0x0000000000000000,
118   0x3ff8000000000000, 0x0000000000000000,
119   0x3ff8000000000000, 0x0000000000000000,
120   0x3ff8000000000000, 0x0000000000000000,
121   0x3ff8000000000000, 0x0000000000000000,
122   0x3ff8000000000000, 0x0000000000000000,
123   0x3ff8000000000000, 0x0000000000000000,
124   0x3ff8000000000000, 0x0000000000000000,
125   0xbfdffffffffffffc, 0x0000000000000000,
126   0xfff0000000000000, 0x0000000000000000,
127   0x7ff923456789abcd, 0x0000000000000000,
128   0x7ff8000000000000, 0x0000000000000000,
129   0x7ff923456789abcd, 0x0000000000000000,
130   0xfff0000000000000, 0x0000000000000000,
131   0x3ff8000000000000, 0x0000000000000000,
132   0x3ff8000000000000, 0x0000000000000000,
133   0x3ff8000000000000, 0x0000000000000000,
134   0x3ff8000000000000, 0x0000000000000000,
135   0x3ff8000000000000, 0x0000000000000000,
136   0x3ff8000000000000, 0x0000000000000000,
137   0x3ff8000000000000, 0x0000000000000000,
138   0x3ff8000000000000, 0x0000000000000000,
139   0x3ff8000000000000, 0x0000000000000000,
140   0x3ff8000000000000, 0x0000000000000000,
141   0x3ff8000000000000, 0x0000000000000000,
142   0x3ff8000000000000, 0x0000000000000000,
143   0x3ff8000000000000, 0x0000000000000000,
144   0x400c000000000000, 0x0000000000000000,
145   0x7ff0000000000000, 0x0000000000000000,
146   0xfff923456789abcd, 0x0000000000000000,
147   0xfff8000000000000, 0x0000000000000000,
148   0xfff923456789abcd, 0x0000000000000000,
149   0x7ff0000000000000, 0x0000000000000000,
150   0x3ff8000000000000, 0x0000000000000000,
151   0x3ff8000000000000, 0x0000000000000000,
152   0x3ff8000000000000, 0x0000000000000000,
153   0x3ff8000000000000, 0x0000000000000000,
154   0x3ff8000000000000, 0x0000000000000000,
155   0x3ff6000000000000, 0x0000000000000000,
156   0x3ff6000000000000, 0x0000000000000000,
157   0x3ff6000000000000, 0x0000000000000000,
158   0x3ff4000000000000, 0x0000000000000000,
159   0x3ff4000000000000, 0x0000000000000000,
160   0x3ff4000000000000, 0x0000000000000000,
161   0x3ff2000000000000, 0x0000000000000000,
162   0xbfeffffffffffffe, 0x0000000000000000,
163   0xffcffffffffffffe, 0x0000000000000000,
164   0xfff0000000000000, 0x0000000000000000,
165   0x7ff923456789abcd, 0x0000000000000000,
166   0x7ff8000000000000, 0x0000000000000000,
167   0x7ff923456789abcd, 0x0000000000000000,
168   0xfff0000000000000, 0x0000000000000000,
169   0x3ff8000000000000, 0x0000000000000000,
170   0x3ff8000000000000, 0x0000000000000000,
171   0x3ff8000000000000, 0x0000000000000000,
172   0x3ff8000000000000, 0x0000000000000000,
173   0x3ff8000000000000, 0x0000000000000000,
174   0x3ffa000000000000, 0x0000000000000000,
175   0x3ffa000000000000, 0x0000000000000000,
176   0x3ffa000000000000, 0x0000000000000000,
177   0x3ffc000000000000, 0x0000000000000000,
178   0x3ffc000000000000, 0x0000000000000000,
179   0x3ffc000000000000, 0x0000000000000000,
180   0x3ffe000000000000, 0x0000000000000000,
181   0x400fffffffffffff, 0x0000000000000000,
182   0x7fcffffffffffffe, 0x0000000000000000,
183   0x7ff0000000000000, 0x0000000000000000,
184   0xfff923456789abcd, 0x0000000000000000,
185   0xfff8000000000000, 0x0000000000000000,
186   0xfff923456789abcd, 0x0000000000000000,
187   0x7ff0000000000000, 0x0000000000000000,
188   0x3ff8000000000000, 0x0000000000000000,
189   0x3ff8000000000000, 0x0000000000000000,
190   0x3ff8000000000000, 0x0000000000000000,
191   0x3ff8000000000000, 0x0000000000000000,
192   0x3ff8000000000000, 0x0000000000000000,
193   0x3ff6000000000000, 0x0000000000000000,
194   0x3ff6000000000000, 0x0000000000000000,
195   0x3ff6000000000000, 0x0000000000000000,
196   0x3ff4000000000000, 0x0000000000000000,
197   0x3ff4000000000000, 0x0000000000000000,
198   0x3ff4000000000000, 0x0000000000000000,
199   0x3ff2000000000000, 0x0000000000000000,
200   0xbff0000000000000, 0x0000000000000000,
201   0xffcfffffffffffff, 0x0000000000000000,
202   0xfff0000000000000, 0x0000000000000000,
203   0x7ff923456789abcd, 0x0000000000000000,
204   0x7ff8000000000000, 0x0000000000000000,
205   0x7ff923456789abcd, 0x0000000000000000,
206   0xfff0000000000000, 0x0000000000000000,
207   0x3ff8000000000000, 0x0000000000000000,
208   0x3ff8000000000000, 0x0000000000000000,
209   0x3ff8000000000000, 0x0000000000000000,
210   0x3ff8000000000000, 0x0000000000000000,
211   0x3ff8000000000000, 0x0000000000000000,
212   0x3ffa000000000000, 0x0000000000000000,
213   0x3ffa000000000000, 0x0000000000000000,
214   0x3ffa000000000000, 0x0000000000000000,
215   0x3ffc000000000000, 0x0000000000000000,
216   0x3ffc000000000000, 0x0000000000000000,
217   0x3ffc000000000000, 0x0000000000000000,
218   0x3ffe000000000000, 0x0000000000000000,
219   0x4010000000000000, 0x0000000000000000,
220   0x7fcfffffffffffff, 0x0000000000000000,
221   0x7ff0000000000000, 0x0000000000000000,
222   0xfff923456789abcd, 0x0000000000000000,
223   0xfff8000000000000, 0x0000000000000000,
224   0xfff923456789abcd, 0x0000000000000000,
225   0x7ff0000000000000, 0x0000000000000000,
226   0x3ff8000000000000, 0x0000000000000000,
227   0x3ff8000000000000, 0x0000000000000000,
228   0x3ff8000000000000, 0x0000000000000000,
229   0x3ff8000000000000, 0x0000000000000000,
230   0x3ff8000000000000, 0x0000000000000000,
231   0x3ff6000000000000, 0x0000000000000000,
232   0x3ff6000000000000, 0x0000000000000000,
233   0x3ff6000000000000, 0x0000000000000000,
234   0x3ff4000000000000, 0x0000000000000000,
235   0x3ff4000000000000, 0x0000000000000000,
236   0x3ff3ffffffffffff, 0x0000000000000000,
237   0x3ff2000000000000, 0x0000000000000000,
238   0xbff0000000000002, 0x0000000000000000,
239   0xffd0000000000000, 0x0000000000000000,
240   0xfff0000000000000, 0x0000000000000000,
241   0x7ff923456789abcd, 0x0000000000000000,
242   0x7ff8000000000000, 0x0000000000000000,
243   0x7ff923456789abcd, 0x0000000000000000,
244   0xfff0000000000000, 0x0000000000000000,
245   0x3ff8000000000000, 0x0000000000000000,
246   0x3ff8000000000000, 0x0000000000000000,
247   0x3ff8000000000000, 0x0000000000000000,
248   0x3ff8000000000000, 0x0000000000000000,
249   0x3ff8000000000000, 0x0000000000000000,
250   0x3ffa000000000000, 0x0000000000000000,
251   0x3ffa000000000000, 0x0000000000000000,
252   0x3ffa000000000000, 0x0000000000000000,
253   0x3ffc000000000000, 0x0000000000000000,
254   0x3ffc000000000000, 0x0000000000000000,
255   0x3ffc000000000001, 0x0000000000000000,
256   0x3ffe000000000000, 0x0000000000000000,
257   0x4010000000000001, 0x0000000000000000,
258   0x7fd0000000000000, 0x0000000000000000,
259   0x7ff0000000000000, 0x0000000000000000,
260   0xfff923456789abcd, 0x0000000000000000,
261   0xfff8000000000000, 0x0000000000000000,
262   0xfff923456789abcd, 0x0000000000000000,
263   0x7ff0000000000000, 0x0000000000000000,
264   0x3ff8000000000000, 0x0000000000000000,
265   0x3ff8000000000000, 0x0000000000000000,
266   0x3ff8000000000000, 0x0000000000000000,
267   0x3ff8000000000000, 0x0000000000000000,
268   0x3ff8000000000000, 0x0000000000000000,
269   0x3ff4000000000000, 0x0000000000000000,
270   0x3ff4000000000000, 0x0000000000000000,
271   0x3ff4000000000000, 0x0000000000000000,
272   0x3ff0000000000000, 0x0000000000000000,
273   0x3ff0000000000000, 0x0000000000000000,
274   0x3ff0000000000000, 0x0000000000000000,
275   0x3fe8000000000001, 0x0000000000000000,
276   0xc00bffffffffffff, 0x0000000000000000,
277   0xffdffffffffffffe, 0x0000000000000000,
278   0xfff0000000000000, 0x0000000000000000,
279   0x7ff923456789abcd, 0x0000000000000000,
280   0x7ff8000000000000, 0x0000000000000000,
281   0x7ff923456789abcd, 0x0000000000000000,
282   0xfff0000000000000, 0x0000000000000000,
283   0x3ff8000000000000, 0x0000000000000000,
284   0x3ff8000000000000, 0x0000000000000000,
285   0x3ff8000000000000, 0x0000000000000000,
286   0x3ff8000000000000, 0x0000000000000000,
287   0x3ff8000000000000, 0x0000000000000000,
288   0x3ffc000000000000, 0x0000000000000000,
289   0x3ffc000000000000, 0x0000000000000000,
290   0x3ffc000000000000, 0x0000000000000000,
291   0x4000000000000000, 0x0000000000000000,
292   0x4000000000000000, 0x0000000000000000,
293   0x4000000000000000, 0x0000000000000000,
294   0x4002000000000000, 0x0000000000000000,
295   0x4019ffffffffffff, 0x0000000000000000,
296   0x7fdffffffffffffe, 0x0000000000000000,
297   0x7ff0000000000000, 0x0000000000000000,
298   0xfff923456789abcd, 0x0000000000000000,
299   0xfff8000000000000, 0x0000000000000000,
300   0xfff923456789abcd, 0x0000000000000000,
301   0x7ff0000000000000, 0x0000000000000000,
302   0x3ff8000000000000, 0x0000000000000000,
303   0x3ff8000000000000, 0x0000000000000000,
304   0x3ff8000000000000, 0x0000000000000000,
305   0x3ff8000000000000, 0x0000000000000000,
306   0x3ff8000000000000, 0x0000000000000000,
307   0x3ff4000000000000, 0x0000000000000000,
308   0x3ff4000000000000, 0x0000000000000000,
309   0x3ff4000000000000, 0x0000000000000000,
310   0x3ff0000000000000, 0x0000000000000000,
311   0x3ff0000000000000, 0x0000000000000000,
312   0x3fefffffffffffff, 0x0000000000000000,
313   0x3fe8000000000000, 0x0000000000000000,
314   0xc00c000000000000, 0x0000000000000000,
315   0xffdfffffffffffff, 0x0000000000000000,
316   0xfff0000000000000, 0x0000000000000000,
317   0x7ff923456789abcd, 0x0000000000000000,
318   0x7ff8000000000000, 0x0000000000000000,
319   0x7ff923456789abcd, 0x0000000000000000,
320   0xfff0000000000000, 0x0000000000000000,
321   0x3ff8000000000000, 0x0000000000000000,
322   0x3ff8000000000000, 0x0000000000000000,
323   0x3ff8000000000000, 0x0000000000000000,
324   0x3ff8000000000000, 0x0000000000000000,
325   0x3ff8000000000000, 0x0000000000000000,
326   0x3ffc000000000000, 0x0000000000000000,
327   0x3ffc000000000000, 0x0000000000000000,
328   0x3ffc000000000000, 0x0000000000000000,
329   0x4000000000000000, 0x0000000000000000,
330   0x4000000000000000, 0x0000000000000000,
331   0x4000000000000000, 0x0000000000000000,
332   0x4002000000000000, 0x0000000000000000,
333   0x401a000000000000, 0x0000000000000000,
334   0x7fdfffffffffffff, 0x0000000000000000,
335   0x7ff0000000000000, 0x0000000000000000,
336   0xfff923456789abcd, 0x0000000000000000,
337   0xfff8000000000000, 0x0000000000000000,
338   0xfff923456789abcd, 0x0000000000000000,
339   0x7ff0000000000000, 0x0000000000000000,
340   0x3ff8000000000000, 0x0000000000000000,
341   0x3ff8000000000000, 0x0000000000000000,
342   0x3ff8000000000000, 0x0000000000000000,
343   0x3ff8000000000000, 0x0000000000000000,
344   0x3ff8000000000000, 0x0000000000000000,
345   0x3ff4000000000000, 0x0000000000000000,
346   0x3ff4000000000000, 0x0000000000000000,
347   0x3ff3ffffffffffff, 0x0000000000000000,
348   0x3ff0000000000000, 0x0000000000000000,
349   0x3fefffffffffffff, 0x0000000000000000,
350   0x3feffffffffffffe, 0x0000000000000000,
351   0x3fe7fffffffffffe, 0x0000000000000000,
352   0xc00c000000000002, 0x0000000000000000,
353   0xffe0000000000000, 0x0000000000000000,
354   0xfff0000000000000, 0x0000000000000000,
355   0x7ff923456789abcd, 0x0000000000000000,
356   0x7ff8000000000000, 0x0000000000000000,
357   0x7ff923456789abcd, 0x0000000000000000,
358   0xfff0000000000000, 0x0000000000000000,
359   0x3ff8000000000000, 0x0000000000000000,
360   0x3ff8000000000000, 0x0000000000000000,
361   0x3ff8000000000000, 0x0000000000000000,
362   0x3ff8000000000000, 0x0000000000000000,
363   0x3ff8000000000000, 0x0000000000000000,
364   0x3ffc000000000000, 0x0000000000000000,
365   0x3ffc000000000000, 0x0000000000000000,
366   0x3ffc000000000001, 0x0000000000000000,
367   0x4000000000000000, 0x0000000000000000,
368   0x4000000000000000, 0x0000000000000000,
369   0x4000000000000001, 0x0000000000000000,
370   0x4002000000000000, 0x0000000000000000,
371   0x401a000000000001, 0x0000000000000000,
372   0x7fe0000000000000, 0x0000000000000000,
373   0x7ff0000000000000, 0x0000000000000000,
374   0xfff923456789abcd, 0x0000000000000000,
375   0xfff8000000000000, 0x0000000000000000,
376   0xfff923456789abcd, 0x0000000000000000,
377   0x7ff0000000000000, 0x0000000000000000,
378   0x3ff8000000000000, 0x0000000000000000,
379   0x3ff8000000000000, 0x0000000000000000,
380   0x3ff8000000000000, 0x0000000000000000,
381   0x3ff8000000000000, 0x0000000000000000,
382   0x3ff8000000000000, 0x0000000000000000,
383   0x3ff2000000000000, 0x0000000000000000,
384   0x3ff2000000000000, 0x0000000000000000,
385   0x3ff2000000000000, 0x0000000000000000,
386   0x3fe8000000000001, 0x0000000000000000,
387   0x3fe8000000000000, 0x0000000000000000,
388   0x3fe7fffffffffffe, 0x0000000000000000,
389   0x3fd8000000000000, 0x0000000000000000,
390   0xc018000000000000, 0x0000000000000000,
391   0xffe7ffffffffffff, 0x0000000000000000,
392   0xfff0000000000000, 0x0000000000000000,
393   0x7ff923456789abcd, 0x0000000000000000,
394   0x7ff8000000000000, 0x0000000000000000,
395   0x7ff923456789abcd, 0x0000000000000000,
396   0xfff0000000000000, 0x0000000000000000,
397   0x3ff8000000000000, 0x0000000000000000,
398   0x3ff8000000000000, 0x0000000000000000,
399   0x3ff8000000000000, 0x0000000000000000,
400   0x3ff8000000000000, 0x0000000000000000,
401   0x3ff8000000000000, 0x0000000000000000,
402   0x3ffe000000000000, 0x0000000000000000,
403   0x3ffe000000000000, 0x0000000000000000,
404   0x3ffe000000000000, 0x0000000000000000,
405   0x4002000000000000, 0x0000000000000000,
406   0x4002000000000000, 0x0000000000000000,
407   0x4002000000000000, 0x0000000000000000,
408   0x4005000000000000, 0x0000000000000000,
409   0x4022000000000000, 0x0000000000000000,
410   0x7fe7ffffffffffff, 0x0000000000000000,
411   0x7ff0000000000000, 0x0000000000000000,
412   0xfff923456789abcd, 0x0000000000000000,
413   0xfff8000000000000, 0x0000000000000000,
414   0xfff923456789abcd, 0x0000000000000000,
415   0x7ff0000000000000, 0x0000000000000000,
416   0x3ff8000000000000, 0x0000000000000000,
417   0x3ff8000000000000, 0x0000000000000000,
418   0x3ff8000000000000, 0x0000000000000000,
419   0x3ff8000000000000, 0x0000000000000000,
420   0x3ff8000000000000, 0x0000000000000000,
421   0xbfeffffffffffffe, 0x0000000000000000,
422   0xbff0000000000000, 0x0000000000000000,
423   0xbff0000000000002, 0x0000000000000000,
424   0xc00bffffffffffff, 0x0000000000000000,
425   0xc00c000000000000, 0x0000000000000000,
426   0xc00c000000000002, 0x0000000000000000,
427   0xc018000000000000, 0x0000000000000000,
428   0xc048400000000000, 0x0000000000000000,
429   0xfff0000000000000, 0x0000000000000000,
430   0xfff0000000000000, 0x0000000000000000,
431   0x7ff923456789abcd, 0x0000000000000000,
432   0x7ff8000000000000, 0x0000000000000000,
433   0x7ff923456789abcd, 0x0000000000000000,
434   0xfff0000000000000, 0x0000000000000000,
435   0x3ff8000000000000, 0x0000000000000000,
436   0x3ff8000000000000, 0x0000000000000000,
437   0x3ff8000000000000, 0x0000000000000000,
438   0x3ff8000000000000, 0x0000000000000000,
439   0x3ff8000000000000, 0x0000000000000000,
440   0x400fffffffffffff, 0x0000000000000000,
441   0x4010000000000000, 0x0000000000000000,
442   0x4010000000000001, 0x0000000000000000,
443   0x4019ffffffffffff, 0x0000000000000000,
444   0x401a000000000000, 0x0000000000000000,
445   0x401a000000000001, 0x0000000000000000,
446   0x4022000000000000, 0x0000000000000000,
447   0x4049c00000000000, 0x0000000000000000,
448   0x7ff0000000000000, 0x0000000000000000,
449   0x7ff0000000000000, 0x0000000000000000,
450   0xfff923456789abcd, 0x0000000000000000,
451   0xfff8000000000000, 0x0000000000000000,
452   0xfff923456789abcd, 0x0000000000000000,
453   0x7ff0000000000000, 0x0000000000000000,
454   0x3ff8000000000000, 0x0000000000000000,
455   0x3ff8000000000000, 0x0000000000000000,
456   0x3ff8000000000002, 0x0000000000000000,
457   0x3ff8000000000000, 0x0000000000000000,
458   0xbfdffffffffffffc, 0x0000000000000000,
459   0xffcffffffffffffe, 0x0000000000000000,
460   0xffcfffffffffffff, 0x0000000000000000,
461   0xffd0000000000000, 0x0000000000000000,
462   0xffdffffffffffffe, 0x0000000000000000,
463   0xffdfffffffffffff, 0x0000000000000000,
464   0xffe0000000000000, 0x0000000000000000,
465   0xffe7ffffffffffff, 0x0000000000000000,
466   0xfff0000000000000, 0x0000000000000000,
467   0xfff0000000000000, 0x0000000000000000,
468   0xfff0000000000000, 0x0000000000000000,
469   0x7ff923456789abcd, 0x0000000000000000,
470   0x7ff8000000000000, 0x0000000000000000,
471   0x7ff923456789abcd, 0x0000000000000000,
472   0xfff0000000000000, 0x0000000000000000,
473   0x3ff5b97530eca866, 0x0000000000000000,
474   0xbfdffffffffffff4, 0x0000000000000000,
475   0x3ff7fffffffffffe, 0x0000000000000000,
476   0x3ff8000000000000, 0x0000000000000000,
477   0x400c000000000000, 0x0000000000000000,
478   0x7fcffffffffffffe, 0x0000000000000000,
479   0x7fcfffffffffffff, 0x0000000000000000,
480   0x7fd0000000000000, 0x0000000000000000,
481   0x7fdffffffffffffe, 0x0000000000000000,
482   0x7fdfffffffffffff, 0x0000000000000000,
483   0x7fe0000000000000, 0x0000000000000000,
484   0x7fe7ffffffffffff, 0x0000000000000000,
485   0x7ff0000000000000, 0x0000000000000000,
486   0x7ff0000000000000, 0x0000000000000000,
487   0x7ff0000000000000, 0x0000000000000000,
488   0xfff923456789abcd, 0x0000000000000000,
489   0xfff8000000000000, 0x0000000000000000,
490   0xfff923456789abcd, 0x0000000000000000,
491   0x7ff0000000000000, 0x0000000000000000,
492   0x3ffa468acf13579a, 0x0000000000000000,
493   0x400bffffffffffff, 0x0000000000000000,
494   0x7ff0000000000000, 0x0000000000000000,
495   0x3ff8000000000000, 0x0000000000000000,
496   0xfff0000000000000, 0x0000000000000000,
497   0xfff0000000000000, 0x0000000000000000,
498   0xfff0000000000000, 0x0000000000000000,
499   0xfff0000000000000, 0x0000000000000000,
500   0xfff0000000000000, 0x0000000000000000,
501   0xfff0000000000000, 0x0000000000000000,
502   0xfff0000000000000, 0x0000000000000000,
503   0xfff0000000000000, 0x0000000000000000,
504   0xfff0000000000000, 0x0000000000000000,
505   0xfff0000000000000, 0x0000000000000000,
506   0xfff0000000000000, 0x0000000000000000,
507   0x7ff923456789abcd, 0x0000000000000000,
508   0x7ff8000000000000, 0x0000000000000000,
509   0x7ff923456789abcd, 0x0000000000000000,
510   0xfff0000000000000, 0x0000000000000000,
511   0xfff0000000000000, 0x0000000000000000,
512   0xfff0000000000000, 0x0000000000000000,
513   0xfff0000000000000, 0x0000000000000000,
514   0x3ff8000000000000, 0x0000000000000000,
515   0x7ff0000000000000, 0x0000000000000000,
516   0x7ff0000000000000, 0x0000000000000000,
517   0x7ff0000000000000, 0x0000000000000000,
518   0x7ff0000000000000, 0x0000000000000000,
519   0x7ff0000000000000, 0x0000000000000000,
520   0x7ff0000000000000, 0x0000000000000000,
521   0x7ff0000000000000, 0x0000000000000000,
522   0x7ff0000000000000, 0x0000000000000000,
523   0x7ff0000000000000, 0x0000000000000000,
524   0x7ff0000000000000, 0x0000000000000000,
525   0x7ff0000000000000, 0x0000000000000000,
526   0xfff923456789abcd, 0x0000000000000000,
527   0xfff8000000000000, 0x0000000000000000,
528   0xfff923456789abcd, 0x0000000000000000,
529   0x7ff0000000000000, 0x0000000000000000,
530   0x7ff0000000000000, 0x0000000000000000,
531   0x7ff0000000000000, 0x0000000000000000,
532   0xfff923456789abcd, 0x0000000000000000,
533   0xfff923456789abcd, 0x0000000000000000,
534   0xfff923456789abcd, 0x0000000000000000,
535   0xfff923456789abcd, 0x0000000000000000,
536   0xfff923456789abcd, 0x0000000000000000,
537   0xfff923456789abcd, 0x0000000000000000,
538   0xfff923456789abcd, 0x0000000000000000,
539   0xfff923456789abcd, 0x0000000000000000,
540   0xfff923456789abcd, 0x0000000000000000,
541   0xfff923456789abcd, 0x0000000000000000,
542   0xfff923456789abcd, 0x0000000000000000,
543   0xfff923456789abcd, 0x0000000000000000,
544   0xfff923456789abcd, 0x0000000000000000,
545   0xfff923456789abcd, 0x0000000000000000,
546   0xfff923456789abcd, 0x0000000000000000,
547   0x7ff923456789abcd, 0x0000000000000000,
548   0xfff923456789abcd, 0x0000000000000000,
549   0xfff923456789abcd, 0x0000000000000000,
550   0xfff923456789abcd, 0x0000000000000000,
551   0xfff923456789abcd, 0x0000000000000000,
552   0xfff923456789abcd, 0x0000000000000000,
553   0xfff923456789abcd, 0x0000000000000000,
554   0xfff923456789abcd, 0x0000000000000000,
555   0xfff923456789abcd, 0x0000000000000000,
556   0xfff923456789abcd, 0x0000000000000000,
557   0xfff923456789abcd, 0x0000000000000000,
558   0xfff923456789abcd, 0x0000000000000000,
559   0xfff923456789abcd, 0x0000000000000000,
560   0xfff923456789abcd, 0x0000000000000000,
561   0xfff923456789abcd, 0x0000000000000000,
562   0xfff923456789abcd, 0x0000000000000000,
563   0xfff923456789abcd, 0x0000000000000000,
564   0xfff923456789abcd, 0x0000000000000000,
565   0xfff923456789abcd, 0x0000000000000000,
566   0xfff923456789abcd, 0x0000000000000000,
567   0xfff923456789abcd, 0x0000000000000000,
568   0xfff923456789abcd, 0x0000000000000000,
569   0xfff923456789abcd, 0x0000000000000000,
570   0xfff8000000000000, 0x0000000000000000,
571   0xfff8000000000000, 0x0000000000000000,
572   0xfff8000000000000, 0x0000000000000000,
573   0xfff8000000000000, 0x0000000000000000,
574   0xfff8000000000000, 0x0000000000000000,
575   0xfff8000000000000, 0x0000000000000000,
576   0xfff8000000000000, 0x0000000000000000,
577   0xfff8000000000000, 0x0000000000000000,
578   0xfff8000000000000, 0x0000000000000000,
579   0xfff8000000000000, 0x0000000000000000,
580   0xfff8000000000000, 0x0000000000000000,
581   0xfff8000000000000, 0x0000000000000000,
582   0xfff8000000000000, 0x0000000000000000,
583   0xfff8000000000000, 0x0000000000000000,
584   0xfff8000000000000, 0x0000000000000000,
585   0x7ff923456789abcd, 0x0000000000000000,
586   0xfff8000000000000, 0x0000000000000000,
587   0xfff8000000000000, 0x0000000000000000,
588   0xfff8000000000000, 0x0000000000000000,
589   0xfff8000000000000, 0x0000000000000000,
590   0xfff8000000000000, 0x0000000000000000,
591   0xfff8000000000000, 0x0000000000000000,
592   0xfff8000000000000, 0x0000000000000000,
593   0xfff8000000000000, 0x0000000000000000,
594   0xfff8000000000000, 0x0000000000000000,
595   0xfff8000000000000, 0x0000000000000000,
596   0xfff8000000000000, 0x0000000000000000,
597   0xfff8000000000000, 0x0000000000000000,
598   0xfff8000000000000, 0x0000000000000000,
599   0xfff8000000000000, 0x0000000000000000,
600   0xfff8000000000000, 0x0000000000000000,
601   0xfff8000000000000, 0x0000000000000000,
602   0xfff8000000000000, 0x0000000000000000,
603   0xfff8000000000000, 0x0000000000000000,
604   0xfff923456789abcd, 0x0000000000000000,
605   0xfff8000000000000, 0x0000000000000000,
606   0xfff8000000000000, 0x0000000000000000,
607   0xfff8000000000000, 0x0000000000000000,
608   0xfff923456789abcd, 0x0000000000000000,
609   0xfff923456789abcd, 0x0000000000000000,
610   0xfff923456789abcd, 0x0000000000000000,
611   0xfff923456789abcd, 0x0000000000000000,
612   0xfff923456789abcd, 0x0000000000000000,
613   0xfff923456789abcd, 0x0000000000000000,
614   0xfff923456789abcd, 0x0000000000000000,
615   0xfff923456789abcd, 0x0000000000000000,
616   0xfff923456789abcd, 0x0000000000000000,
617   0xfff923456789abcd, 0x0000000000000000,
618   0xfff923456789abcd, 0x0000000000000000,
619   0xfff923456789abcd, 0x0000000000000000,
620   0xfff923456789abcd, 0x0000000000000000,
621   0xfff923456789abcd, 0x0000000000000000,
622   0xfff923456789abcd, 0x0000000000000000,
623   0xfff923456789abcd, 0x0000000000000000,
624   0xfff923456789abcd, 0x0000000000000000,
625   0xfff923456789abcd, 0x0000000000000000,
626   0xfff923456789abcd, 0x0000000000000000,
627   0xfff923456789abcd, 0x0000000000000000,
628   0xfff923456789abcd, 0x0000000000000000,
629   0xfff923456789abcd, 0x0000000000000000,
630   0xfff923456789abcd, 0x0000000000000000,
631   0xfff923456789abcd, 0x0000000000000000,
632   0xfff923456789abcd, 0x0000000000000000,
633   0xfff923456789abcd, 0x0000000000000000,
634   0xfff923456789abcd, 0x0000000000000000,
635   0xfff923456789abcd, 0x0000000000000000,
636   0xfff923456789abcd, 0x0000000000000000,
637   0xfff923456789abcd, 0x0000000000000000,
638   0xfff923456789abcd, 0x0000000000000000,
639   0xfff923456789abcd, 0x0000000000000000,
640   0xfff923456789abcd, 0x0000000000000000,
641   0xfff923456789abcd, 0x0000000000000000,
642   0xfff923456789abcd, 0x0000000000000000,
643   0xfff923456789abcd, 0x0000000000000000,
644   0xfff923456789abcd, 0x0000000000000000,
645   0xfff923456789abcd, 0x0000000000000000,
646   0x7ff0000000000000, 0x0000000000000000,
647   0x3ff8000000000000, 0x0000000000000000,
648   0xfff0000000000000, 0x0000000000000000,
649   0xfff0000000000000, 0x0000000000000000,
650   0xfff0000000000000, 0x0000000000000000,
651   0xfff0000000000000, 0x0000000000000000,
652   0xfff0000000000000, 0x0000000000000000,
653   0xfff0000000000000, 0x0000000000000000,
654   0xfff0000000000000, 0x0000000000000000,
655   0xfff0000000000000, 0x0000000000000000,
656   0xfff0000000000000, 0x0000000000000000,
657   0xfff0000000000000, 0x0000000000000000,
658   0xfff0000000000000, 0x0000000000000000,
659   0x7ff923456789abcd, 0x0000000000000000,
660   0x7ff8000000000000, 0x0000000000000000,
661   0x7ff923456789abcd, 0x0000000000000000,
662   0xfff0000000000000, 0x0000000000000000,
663   0xfff0000000000000, 0x0000000000000000,
664   0xfff0000000000000, 0x0000000000000000,
665   0xfff0000000000000, 0x0000000000000000,
666   0x3ff8000000000000, 0x0000000000000000,
667   0x7ff0000000000000, 0x0000000000000000,
668   0x7ff0000000000000, 0x0000000000000000,
669   0x7ff0000000000000, 0x0000000000000000,
670   0x7ff0000000000000, 0x0000000000000000,
671   0x7ff0000000000000, 0x0000000000000000,
672   0x7ff0000000000000, 0x0000000000000000,
673   0x7ff0000000000000, 0x0000000000000000,
674   0x7ff0000000000000, 0x0000000000000000,
675   0x7ff0000000000000, 0x0000000000000000,
676   0x7ff0000000000000, 0x0000000000000000,
677   0x7ff0000000000000, 0x0000000000000000,
678   0xfff923456789abcd, 0x0000000000000000,
679   0xfff8000000000000, 0x0000000000000000,
680   0xfff923456789abcd, 0x0000000000000000,
681   0x7ff0000000000000, 0x0000000000000000,
682   0x7ff0000000000000, 0x0000000000000000,
683   0x7ff0000000000000, 0x0000000000000000,
684   0x3ff8000000000000, 0x0000000000000000,
685   0x3ff8000000000000, 0x0000000000000000,
686   0x3ff8000000000000, 0x0000000000000000,
687   0x3ff8000000000000, 0x0000000000000000,
688   0x3ff8000000000000, 0x0000000000000000,
689   0x3ff8000000000000, 0x0000000000000000,
690   0x3ff8000000000000, 0x0000000000000000,
691   0x3ff8000000000000, 0x0000000000000000,
692   0x3ff8000000000000, 0x0000000000000000,
693   0x3ff8000000000000, 0x0000000000000000,
694   0x3ff8000000000000, 0x0000000000000000,
695   0x3ff5b97530eca866, 0x0000000000000000,
696   0xfff0000000000000, 0x0000000000000000,
697   0x7ff923456789abcd, 0x0000000000000000,
698   0x7ff8000000000000, 0x0000000000000000,
699   0x7ff923456789abcd, 0x0000000000000000,
700   0xfff0000000000000, 0x0000000000000000,
701   0x3ff8000000000000, 0x0000000000000000,
702   0x3ff8000000000000, 0x0000000000000000,
703   0x3ff8000000000000, 0x0000000000000000,
704   0x3ff8000000000000, 0x0000000000000000,
705   0x3ff8000000000000, 0x0000000000000000,
706   0x3ff8000000000000, 0x0000000000000000,
707   0x3ff8000000000000, 0x0000000000000000,
708   0x3ff8000000000000, 0x0000000000000000,
709   0x3ff8000000000000, 0x0000000000000000,
710   0x3ff8000000000000, 0x0000000000000000,
711   0x3ff8000000000000, 0x0000000000000000,
712   0x3ff8000000000000, 0x0000000000000000,
713   0x3ff8000000000000, 0x0000000000000000,
714   0x3ffa468acf13579a, 0x0000000000000000,
715   0x7ff0000000000000, 0x0000000000000000,
716   0xfff923456789abcd, 0x0000000000000000,
717   0xfff8000000000000, 0x0000000000000000,
718   0xfff923456789abcd, 0x0000000000000000,
719   0x7ff0000000000000, 0x0000000000000000,
720   0x3ff8000000000000, 0x0000000000000000,
721   0x3ff8000000000000, 0x0000000000000000,
722   0x3ff8000000000000, 0x0000000000000000,
723   0x3ff8000000000000, 0x0000000000000000,
724   0x3ff8000000000000, 0x0000000000000000,
725   0x3ff8000000000000, 0x0000000000000000,
726   0x3ff8000000000000, 0x0000000000000000,
727   0x3ff8000000000000, 0x0000000000000000,
728   0x3ff8000000000000, 0x0000000000000000,
729   0x3ff8000000000000, 0x0000000000000000,
730   0x3ff8000000000000, 0x0000000000000000,
731   0x3ff8000000000000, 0x0000000000000000,
732   0x3ff8000000000000, 0x0000000000000000,
733   0xbfdffffffffffff4, 0x0000000000000000,
734   0xfff0000000000000, 0x0000000000000000,
735   0x7ff923456789abcd, 0x0000000000000000,
736   0x7ff8000000000000, 0x0000000000000000,
737   0x7ff923456789abcd, 0x0000000000000000,
738   0xfff0000000000000, 0x0000000000000000,
739   0x3ff8000000000000, 0x0000000000000000,
740   0x3ff8000000000000, 0x0000000000000000,
741   0x3ff8000000000000, 0x0000000000000000,
742   0x3ff8000000000000, 0x0000000000000000,
743   0x3ff8000000000000, 0x0000000000000000,
744   0x3ff8000000000000, 0x0000000000000000,
745   0x3ff8000000000000, 0x0000000000000000,
746   0x3ff8000000000000, 0x0000000000000000,
747   0x3ff8000000000000, 0x0000000000000000,
748   0x3ff8000000000000, 0x0000000000000000,
749   0x3ff8000000000000, 0x0000000000000000,
750   0x3ff8000000000000, 0x0000000000000000,
751   0x3ff8000000000000, 0x0000000000000000,
752   0x400bffffffffffff, 0x0000000000000000,
753   0x7ff0000000000000, 0x0000000000000000,
754   0xfff923456789abcd, 0x0000000000000000,
755   0xfff8000000000000, 0x0000000000000000,
756   0xfff923456789abcd, 0x0000000000000000,
757   0x7ff0000000000000, 0x0000000000000000,
758   0x3ff8000000000000, 0x0000000000000000,
759   0x3ff8000000000000, 0x0000000000000000,
760   0x3ff8000000000000, 0x0000000000000000,
761   0x3ff8000000000000, 0x0000000000000000,
762   0x3ff8000000000000, 0x0000000000000000,
763   0x3ff8000000000000, 0x0000000000000000,
764   0x3ff8000000000000, 0x0000000000000000,
765   0x3ff8000000000000, 0x0000000000000000,
766   0x3ff8000000000000, 0x0000000000000000,
767   0x3ff8000000000000, 0x0000000000000000,
768   0x3ff8000000000000, 0x0000000000000000,
769   0x3ff8000000000000, 0x0000000000000000,
770   0x3ff8000000000000, 0x0000000000000000,
771   0x3ff7fffffffffffe, 0x0000000000000000,
772   0xfff0000000000000, 0x0000000000000000,
773   0x7ff923456789abcd, 0x0000000000000000,
774   0x7ff8000000000000, 0x0000000000000000,
775   0x7ff923456789abcd, 0x0000000000000000,
776   0xfff0000000000000, 0x0000000000000000,
777   0x3ff8000000000000, 0x0000000000000000,
778   0x3ff8000000000000, 0x0000000000000000,
779   0x3ff8000000000000, 0x0000000000000000,
780   0x3ff8000000000000, 0x0000000000000000,
781   0x3ff8000000000000, 0x0000000000000000,
782   0x3ff8000000000000, 0x0000000000000000,
783   0x3ff8000000000000, 0x0000000000000000,
784   0x3ff8000000000000, 0x0000000000000000,
785   0x3ff8000000000000, 0x0000000000000000,
786   0x3ff8000000000000, 0x0000000000000000,
787   0x3ff8000000000000, 0x0000000000000000,
788   0x3ff8000000000000, 0x0000000000000000,
789   0x3ff8000000000000, 0x0000000000000000,
790   0x3ff8000000000002, 0x0000000000000000,
791   0x7ff0000000000000, 0x0000000000000000,
792   0xfff923456789abcd, 0x0000000000000000,
793   0xfff8000000000000, 0x0000000000000000,
794   0xfff923456789abcd, 0x0000000000000000,
795   0x7ff0000000000000, 0x0000000000000000,
796   0x3ff8000000000000, 0x0000000000000000,
797   0x3ff8000000000000, 0x0000000000000000,
798   0x3ff8000000000000, 0x0000000000000000,
799   0x3ff8000000000000, 0x0000000000000000,
800   0x3ff8000000000000, 0x0000000000000000,
801   0x3ff8000000000000, 0x0000000000000000,
802   0x3ff8000000000000, 0x0000000000000000,
803   0x3ff8000000000000, 0x0000000000000000,
804   0x3ff8000000000000, 0x0000000000000000,
805   0x3ff8000000000000, 0x0000000000000000,
806   0x3ff8000000000000, 0x0000000000000000,
807   0x3ff8000000000000, 0x0000000000000000,
808   0x3ff8000000000000, 0x0000000000000000,
809   0x3ff8000000000000, 0x0000000000000000,
810   0x3ff8000000000000, 0x0000000000000000,
811   0x7ff923456789abcd, 0x0000000000000000,
812   0x7ff8000000000000, 0x0000000000000000,
813   0x7ff923456789abcd, 0x0000000000000000,
814   0x3ff8000000000000, 0x0000000000000000,
815   0x3ff8000000000000, 0x0000000000000000,
816   0x3ff8000000000000, 0x0000000000000000,
817   0x3ff8000000000000, 0x0000000000000000,
818   0x3ff8000000000000, 0x0000000000000000,
819   0x3ff8000000000000, 0x0000000000000000,
820   0x3ff8000000000000, 0x0000000000000000,
821   0x3ff8000000000000, 0x0000000000000000,
822   0x3ff8000000000000, 0x0000000000000000,
823   0x3ff8000000000000, 0x0000000000000000,
824   0x3ff8000000000000, 0x0000000000000000,
825   0x3ff8000000000000, 0x0000000000000000,
826   0x3ff8000000000000, 0x0000000000000000,
827   0x3ff8000000000000, 0x0000000000000000,
828   0x3ff8000000000000, 0x0000000000000000,
829   0x3ff8000000000000, 0x0000000000000000,
830   0xfff923456789abcd, 0x0000000000000000,
831   0xfff8000000000000, 0x0000000000000000,
832   0xfff923456789abcd, 0x0000000000000000,
833   0x3ff8000000000000, 0x0000000000000000,
834   0x3ff8000000000000, 0x0000000000000000,
835   0x3ff8000000000000, 0x0000000000000000,
836   0x3ff8000000000000, 0x0000000000000000,
837   0x3ff8000000000000, 0x0000000000000000,
838   0x3ff8000000000000, 0x0000000000000000,
839   0x3ff8000000000000, 0x0000000000000000,
840   0x3ff8000000000000, 0x0000000000000000,
841   0x3ff8000000000000, 0x0000000000000000,
842   0x3ff8000000000000, 0x0000000000000000,
843   0x3ff8000000000000, 0x0000000000000000,
844   0x3ff8000000000000, 0x0000000000000000,
845   0x3ff8000000000000, 0x0000000000000000,
846   0x3ff8000000000000, 0x0000000000000000,
847   0x400c000000000000, 0x0000000000000000,
848   0x7ff0000000000000, 0x0000000000000000,
849   0x7ff923456789abcd, 0x0000000000000000,
850   0x7ff8000000000000, 0x0000000000000000,
851   0x7ff923456789abcd, 0x0000000000000000,
852   0x7ff0000000000000, 0x0000000000000000,
853   0x3ff8000000000000, 0x0000000000000000,
854   0x3ff8000000000000, 0x0000000000000000,
855   0x3ff8000000000000, 0x0000000000000000,
856   0x3ff8000000000000, 0x0000000000000000,
857   0x3ff8000000000000, 0x0000000000000000,
858   0x3ff8000000000000, 0x0000000000000000,
859   0x3ff8000000000000, 0x0000000000000000,
860   0x3ff8000000000000, 0x0000000000000000,
861   0x3ff8000000000000, 0x0000000000000000,
862   0x3ff8000000000000, 0x0000000000000000,
863   0x3ff8000000000000, 0x0000000000000000,
864   0x3ff8000000000000, 0x0000000000000000,
865   0x3ff8000000000000, 0x0000000000000000,
866   0xbfdffffffffffffc, 0x0000000000000000,
867   0xfff0000000000000, 0x0000000000000000,
868   0xfff923456789abcd, 0x0000000000000000,
869   0xfff8000000000000, 0x0000000000000000,
870   0xfff923456789abcd, 0x0000000000000000,
871   0xfff0000000000000, 0x0000000000000000,
872   0x3ff8000000000000, 0x0000000000000000,
873   0x3ff8000000000000, 0x0000000000000000,
874   0x3ff8000000000000, 0x0000000000000000,
875   0x3ff8000000000000, 0x0000000000000000,
876   0x3ff8000000000000, 0x0000000000000000,
877   0x3ffa000000000000, 0x0000000000000000,
878   0x3ffa000000000000, 0x0000000000000000,
879   0x3ffa000000000000, 0x0000000000000000,
880   0x3ffc000000000000, 0x0000000000000000,
881   0x3ffc000000000000, 0x0000000000000000,
882   0x3ffc000000000000, 0x0000000000000000,
883   0x3ffe000000000000, 0x0000000000000000,
884   0x400fffffffffffff, 0x0000000000000000,
885   0x7fcffffffffffffe, 0x0000000000000000,
886   0x7ff0000000000000, 0x0000000000000000,
887   0x7ff923456789abcd, 0x0000000000000000,
888   0x7ff8000000000000, 0x0000000000000000,
889   0x7ff923456789abcd, 0x0000000000000000,
890   0x7ff0000000000000, 0x0000000000000000,
891   0x3ff8000000000000, 0x0000000000000000,
892   0x3ff8000000000000, 0x0000000000000000,
893   0x3ff8000000000000, 0x0000000000000000,
894   0x3ff8000000000000, 0x0000000000000000,
895   0x3ff8000000000000, 0x0000000000000000,
896   0x3ff6000000000000, 0x0000000000000000,
897   0x3ff6000000000000, 0x0000000000000000,
898   0x3ff6000000000000, 0x0000000000000000,
899   0x3ff4000000000000, 0x0000000000000000,
900   0x3ff4000000000000, 0x0000000000000000,
901   0x3ff4000000000000, 0x0000000000000000,
902   0x3ff2000000000000, 0x0000000000000000,
903   0xbfeffffffffffffe, 0x0000000000000000,
904   0xffcffffffffffffe, 0x0000000000000000,
905   0xfff0000000000000, 0x0000000000000000,
906   0xfff923456789abcd, 0x0000000000000000,
907   0xfff8000000000000, 0x0000000000000000,
908   0xfff923456789abcd, 0x0000000000000000,
909   0xfff0000000000000, 0x0000000000000000,
910   0x3ff8000000000000, 0x0000000000000000,
911   0x3ff8000000000000, 0x0000000000000000,
912   0x3ff8000000000000, 0x0000000000000000,
913   0x3ff8000000000000, 0x0000000000000000,
914   0x3ff8000000000000, 0x0000000000000000,
915   0x3ffa000000000000, 0x0000000000000000,
916   0x3ffa000000000000, 0x0000000000000000,
917   0x3ffa000000000000, 0x0000000000000000,
918   0x3ffc000000000000, 0x0000000000000000,
919   0x3ffc000000000000, 0x0000000000000000,
920   0x3ffc000000000000, 0x0000000000000000,
921   0x3ffe000000000000, 0x0000000000000000,
922   0x4010000000000000, 0x0000000000000000,
923   0x7fcfffffffffffff, 0x0000000000000000,
924   0x7ff0000000000000, 0x0000000000000000,
925   0x7ff923456789abcd, 0x0000000000000000,
926   0x7ff8000000000000, 0x0000000000000000,
927   0x7ff923456789abcd, 0x0000000000000000,
928   0x7ff0000000000000, 0x0000000000000000,
929   0x3ff8000000000000, 0x0000000000000000,
930   0x3ff8000000000000, 0x0000000000000000,
931   0x3ff8000000000000, 0x0000000000000000,
932   0x3ff8000000000000, 0x0000000000000000,
933   0x3ff8000000000000, 0x0000000000000000,
934   0x3ff6000000000000, 0x0000000000000000,
935   0x3ff6000000000000, 0x0000000000000000,
936   0x3ff6000000000000, 0x0000000000000000,
937   0x3ff4000000000000, 0x0000000000000000,
938   0x3ff4000000000000, 0x0000000000000000,
939   0x3ff4000000000000, 0x0000000000000000,
940   0x3ff2000000000000, 0x0000000000000000,
941   0xbff0000000000000, 0x0000000000000000,
942   0xffcfffffffffffff, 0x0000000000000000,
943   0xfff0000000000000, 0x0000000000000000,
944   0xfff923456789abcd, 0x0000000000000000,
945   0xfff8000000000000, 0x0000000000000000,
946   0xfff923456789abcd, 0x0000000000000000,
947   0xfff0000000000000, 0x0000000000000000,
948   0x3ff8000000000000, 0x0000000000000000,
949   0x3ff8000000000000, 0x0000000000000000,
950   0x3ff8000000000000, 0x0000000000000000,
951   0x3ff8000000000000, 0x0000000000000000,
952   0x3ff8000000000000, 0x0000000000000000,
953   0x3ffa000000000000, 0x0000000000000000,
954   0x3ffa000000000000, 0x0000000000000000,
955   0x3ffa000000000000, 0x0000000000000000,
956   0x3ffc000000000000, 0x0000000000000000,
957   0x3ffc000000000000, 0x0000000000000000,
958   0x3ffc000000000001, 0x0000000000000000,
959   0x3ffe000000000000, 0x0000000000000000,
960   0x4010000000000001, 0x0000000000000000,
961   0x7fd0000000000000, 0x0000000000000000,
962   0x7ff0000000000000, 0x0000000000000000,
963   0x7ff923456789abcd, 0x0000000000000000,
964   0x7ff8000000000000, 0x0000000000000000,
965   0x7ff923456789abcd, 0x0000000000000000,
966   0x7ff0000000000000, 0x0000000000000000,
967   0x3ff8000000000000, 0x0000000000000000,
968   0x3ff8000000000000, 0x0000000000000000,
969   0x3ff8000000000000, 0x0000000000000000,
970   0x3ff8000000000000, 0x0000000000000000,
971   0x3ff8000000000000, 0x0000000000000000,
972   0x3ff6000000000000, 0x0000000000000000,
973   0x3ff6000000000000, 0x0000000000000000,
974   0x3ff6000000000000, 0x0000000000000000,
975   0x3ff4000000000000, 0x0000000000000000,
976   0x3ff4000000000000, 0x0000000000000000,
977   0x3ff3ffffffffffff, 0x0000000000000000,
978   0x3ff2000000000000, 0x0000000000000000,
979   0xbff0000000000002, 0x0000000000000000,
980   0xffd0000000000000, 0x0000000000000000,
981   0xfff0000000000000, 0x0000000000000000,
982   0xfff923456789abcd, 0x0000000000000000,
983   0xfff8000000000000, 0x0000000000000000,
984   0xfff923456789abcd, 0x0000000000000000,
985   0xfff0000000000000, 0x0000000000000000,
986   0x3ff8000000000000, 0x0000000000000000,
987   0x3ff8000000000000, 0x0000000000000000,
988   0x3ff8000000000000, 0x0000000000000000,
989   0x3ff8000000000000, 0x0000000000000000,
990   0x3ff8000000000000, 0x0000000000000000,
991   0x3ffc000000000000, 0x0000000000000000,
992   0x3ffc000000000000, 0x0000000000000000,
993   0x3ffc000000000000, 0x0000000000000000,
994   0x4000000000000000, 0x0000000000000000,
995   0x4000000000000000, 0x0000000000000000,
996   0x4000000000000000, 0x0000000000000000,
997   0x4002000000000000, 0x0000000000000000,
998   0x4019ffffffffffff, 0x0000000000000000,
999   0x7fdffffffffffffe, 0x0000000000000000,
1000   0x7ff0000000000000, 0x0000000000000000,
1001   0x7ff923456789abcd, 0x0000000000000000,
1002   0x7ff8000000000000, 0x0000000000000000,
1003   0x7ff923456789abcd, 0x0000000000000000,
1004   0x7ff0000000000000, 0x0000000000000000,
1005   0x3ff8000000000000, 0x0000000000000000,
1006   0x3ff8000000000000, 0x0000000000000000,
1007   0x3ff8000000000000, 0x0000000000000000,
1008   0x3ff8000000000000, 0x0000000000000000,
1009   0x3ff8000000000000, 0x0000000000000000,
1010   0x3ff4000000000000, 0x0000000000000000,
1011   0x3ff4000000000000, 0x0000000000000000,
1012   0x3ff4000000000000, 0x0000000000000000,
1013   0x3ff0000000000000, 0x0000000000000000,
1014   0x3ff0000000000000, 0x0000000000000000,
1015   0x3ff0000000000000, 0x0000000000000000,
1016   0x3fe8000000000001, 0x0000000000000000,
1017   0xc00bffffffffffff, 0x0000000000000000,
1018   0xffdffffffffffffe, 0x0000000000000000,
1019   0xfff0000000000000, 0x0000000000000000,
1020   0xfff923456789abcd, 0x0000000000000000,
1021   0xfff8000000000000, 0x0000000000000000,
1022   0xfff923456789abcd, 0x0000000000000000,
1023   0xfff0000000000000, 0x0000000000000000,
1024   0x3ff8000000000000, 0x0000000000000000,
1025   0x3ff8000000000000, 0x0000000000000000,
1026   0x3ff8000000000000, 0x0000000000000000,
1027   0x3ff8000000000000, 0x0000000000000000,
1028   0x3ff8000000000000, 0x0000000000000000,
1029   0x3ffc000000000000, 0x0000000000000000,
1030   0x3ffc000000000000, 0x0000000000000000,
1031   0x3ffc000000000000, 0x0000000000000000,
1032   0x4000000000000000, 0x0000000000000000,
1033   0x4000000000000000, 0x0000000000000000,
1034   0x4000000000000000, 0x0000000000000000,
1035   0x4002000000000000, 0x0000000000000000,
1036   0x401a000000000000, 0x0000000000000000,
1037   0x7fdfffffffffffff, 0x0000000000000000,
1038   0x7ff0000000000000, 0x0000000000000000,
1039   0x7ff923456789abcd, 0x0000000000000000,
1040   0x7ff8000000000000, 0x0000000000000000,
1041   0x7ff923456789abcd, 0x0000000000000000,
1042   0x7ff0000000000000, 0x0000000000000000,
1043   0x3ff8000000000000, 0x0000000000000000,
1044   0x3ff8000000000000, 0x0000000000000000,
1045   0x3ff8000000000000, 0x0000000000000000,
1046   0x3ff8000000000000, 0x0000000000000000,
1047   0x3ff8000000000000, 0x0000000000000000,
1048   0x3ff4000000000000, 0x0000000000000000,
1049   0x3ff4000000000000, 0x0000000000000000,
1050   0x3ff4000000000000, 0x0000000000000000,
1051   0x3ff0000000000000, 0x0000000000000000,
1052   0x3ff0000000000000, 0x0000000000000000,
1053   0x3fefffffffffffff, 0x0000000000000000,
1054   0x3fe8000000000000, 0x0000000000000000,
1055   0xc00c000000000000, 0x0000000000000000,
1056   0xffdfffffffffffff, 0x0000000000000000,
1057   0xfff0000000000000, 0x0000000000000000,
1058   0xfff923456789abcd, 0x0000000000000000,
1059   0xfff8000000000000, 0x0000000000000000,
1060   0xfff923456789abcd, 0x0000000000000000,
1061   0xfff0000000000000, 0x0000000000000000,
1062   0x3ff8000000000000, 0x0000000000000000,
1063   0x3ff8000000000000, 0x0000000000000000,
1064   0x3ff8000000000000, 0x0000000000000000,
1065   0x3ff8000000000000, 0x0000000000000000,
1066   0x3ff8000000000000, 0x0000000000000000,
1067   0x3ffc000000000000, 0x0000000000000000,
1068   0x3ffc000000000000, 0x0000000000000000,
1069   0x3ffc000000000001, 0x0000000000000000,
1070   0x4000000000000000, 0x0000000000000000,
1071   0x4000000000000000, 0x0000000000000000,
1072   0x4000000000000001, 0x0000000000000000,
1073   0x4002000000000000, 0x0000000000000000,
1074   0x401a000000000001, 0x0000000000000000,
1075   0x7fe0000000000000, 0x0000000000000000,
1076   0x7ff0000000000000, 0x0000000000000000,
1077   0x7ff923456789abcd, 0x0000000000000000,
1078   0x7ff8000000000000, 0x0000000000000000,
1079   0x7ff923456789abcd, 0x0000000000000000,
1080   0x7ff0000000000000, 0x0000000000000000,
1081   0x3ff8000000000000, 0x0000000000000000,
1082   0x3ff8000000000000, 0x0000000000000000,
1083   0x3ff8000000000000, 0x0000000000000000,
1084   0x3ff8000000000000, 0x0000000000000000,
1085   0x3ff8000000000000, 0x0000000000000000,
1086   0x3ff4000000000000, 0x0000000000000000,
1087   0x3ff4000000000000, 0x0000000000000000,
1088   0x3ff3ffffffffffff, 0x0000000000000000,
1089   0x3ff0000000000000, 0x0000000000000000,
1090   0x3fefffffffffffff, 0x0000000000000000,
1091   0x3feffffffffffffe, 0x0000000000000000,
1092   0x3fe7fffffffffffe, 0x0000000000000000,
1093   0xc00c000000000002, 0x0000000000000000,
1094   0xffe0000000000000, 0x0000000000000000,
1095   0xfff0000000000000, 0x0000000000000000,
1096   0xfff923456789abcd, 0x0000000000000000,
1097   0xfff8000000000000, 0x0000000000000000,
1098   0xfff923456789abcd, 0x0000000000000000,
1099   0xfff0000000000000, 0x0000000000000000,
1100   0x3ff8000000000000, 0x0000000000000000,
1101   0x3ff8000000000000, 0x0000000000000000,
1102   0x3ff8000000000000, 0x0000000000000000,
1103   0x3ff8000000000000, 0x0000000000000000,
1104   0x3ff8000000000000, 0x0000000000000000,
1105   0x3ffe000000000000, 0x0000000000000000,
1106   0x3ffe000000000000, 0x0000000000000000,
1107   0x3ffe000000000000, 0x0000000000000000,
1108   0x4002000000000000, 0x0000000000000000,
1109   0x4002000000000000, 0x0000000000000000,
1110   0x4002000000000000, 0x0000000000000000,
1111   0x4005000000000000, 0x0000000000000000,
1112   0x4022000000000000, 0x0000000000000000,
1113   0x7fe7ffffffffffff, 0x0000000000000000,
1114   0x7ff0000000000000, 0x0000000000000000,
1115   0x7ff923456789abcd, 0x0000000000000000,
1116   0x7ff8000000000000, 0x0000000000000000,
1117   0x7ff923456789abcd, 0x0000000000000000,
1118   0x7ff0000000000000, 0x0000000000000000,
1119   0x3ff8000000000000, 0x0000000000000000,
1120   0x3ff8000000000000, 0x0000000000000000,
1121   0x3ff8000000000000, 0x0000000000000000,
1122   0x3ff8000000000000, 0x0000000000000000,
1123   0x3ff8000000000000, 0x0000000000000000,
1124   0x3ff2000000000000, 0x0000000000000000,
1125   0x3ff2000000000000, 0x0000000000000000,
1126   0x3ff2000000000000, 0x0000000000000000,
1127   0x3fe8000000000001, 0x0000000000000000,
1128   0x3fe8000000000000, 0x0000000000000000,
1129   0x3fe7fffffffffffe, 0x0000000000000000,
1130   0x3fd8000000000000, 0x0000000000000000,
1131   0xc018000000000000, 0x0000000000000000,
1132   0xffe7ffffffffffff, 0x0000000000000000,
1133   0xfff0000000000000, 0x0000000000000000,
1134   0xfff923456789abcd, 0x0000000000000000,
1135   0xfff8000000000000, 0x0000000000000000,
1136   0xfff923456789abcd, 0x0000000000000000,
1137   0xfff0000000000000, 0x0000000000000000,
1138   0x3ff8000000000000, 0x0000000000000000,
1139   0x3ff8000000000000, 0x0000000000000000,
1140   0x3ff8000000000000, 0x0000000000000000,
1141   0x3ff8000000000000, 0x0000000000000000,
1142   0x3ff8000000000000, 0x0000000000000000,
1143   0x400fffffffffffff, 0x0000000000000000,
1144   0x4010000000000000, 0x0000000000000000,
1145   0x4010000000000001, 0x0000000000000000,
1146   0x4019ffffffffffff, 0x0000000000000000,
1147   0x401a000000000000, 0x0000000000000000,
1148   0x401a000000000001, 0x0000000000000000,
1149   0x4022000000000000, 0x0000000000000000,
1150   0x4049c00000000000, 0x0000000000000000,
1151   0x7ff0000000000000, 0x0000000000000000,
1152   0x7ff0000000000000, 0x0000000000000000,
1153   0x7ff923456789abcd, 0x0000000000000000,
1154   0x7ff8000000000000, 0x0000000000000000,
1155   0x7ff923456789abcd, 0x0000000000000000,
1156   0x7ff0000000000000, 0x0000000000000000,
1157   0x3ff8000000000000, 0x0000000000000000,
1158   0x3ff8000000000000, 0x0000000000000000,
1159   0x3ff8000000000000, 0x0000000000000000,
1160   0x3ff8000000000000, 0x0000000000000000,
1161   0x3ff8000000000000, 0x0000000000000000,
1162   0xbfeffffffffffffe, 0x0000000000000000,
1163   0xbff0000000000000, 0x0000000000000000,
1164   0xbff0000000000002, 0x0000000000000000,
1165   0xc00bffffffffffff, 0x0000000000000000,
1166   0xc00c000000000000, 0x0000000000000000,
1167   0xc00c000000000002, 0x0000000000000000,
1168   0xc018000000000000, 0x0000000000000000,
1169   0xc048400000000000, 0x0000000000000000,
1170   0xfff0000000000000, 0x0000000000000000,
1171   0xfff0000000000000, 0x0000000000000000,
1172   0xfff923456789abcd, 0x0000000000000000,
1173   0xfff8000000000000, 0x0000000000000000,
1174   0xfff923456789abcd, 0x0000000000000000,
1175   0xfff0000000000000, 0x0000000000000000,
1176   0x3ff8000000000000, 0x0000000000000000,
1177   0x3ff8000000000000, 0x0000000000000000,
1178   0x3ff7fffffffffffe, 0x0000000000000000,
1179   0x3ff8000000000000, 0x0000000000000000,
1180   0x400c000000000000, 0x0000000000000000,
1181   0x7fcffffffffffffe, 0x0000000000000000,
1182   0x7fcfffffffffffff, 0x0000000000000000,
1183   0x7fd0000000000000, 0x0000000000000000,
1184   0x7fdffffffffffffe, 0x0000000000000000,
1185   0x7fdfffffffffffff, 0x0000000000000000,
1186   0x7fe0000000000000, 0x0000000000000000,
1187   0x7fe7ffffffffffff, 0x0000000000000000,
1188   0x7ff0000000000000, 0x0000000000000000,
1189   0x7ff0000000000000, 0x0000000000000000,
1190   0x7ff0000000000000, 0x0000000000000000,
1191   0x7ff923456789abcd, 0x0000000000000000,
1192   0x7ff8000000000000, 0x0000000000000000,
1193   0x7ff923456789abcd, 0x0000000000000000,
1194   0x7ff0000000000000, 0x0000000000000000,
1195   0x3ffa468acf13579a, 0x0000000000000000,
1196   0x400bffffffffffff, 0x0000000000000000,
1197   0x3ff8000000000002, 0x0000000000000000,
1198   0x3ff8000000000000, 0x0000000000000000,
1199   0xbfdffffffffffffc, 0x0000000000000000,
1200   0xffcffffffffffffe, 0x0000000000000000,
1201   0xffcfffffffffffff, 0x0000000000000000,
1202   0xffd0000000000000, 0x0000000000000000,
1203   0xffdffffffffffffe, 0x0000000000000000,
1204   0xffdfffffffffffff, 0x0000000000000000,
1205   0xffe0000000000000, 0x0000000000000000,
1206   0xffe7ffffffffffff, 0x0000000000000000,
1207   0xfff0000000000000, 0x0000000000000000,
1208   0xfff0000000000000, 0x0000000000000000,
1209   0xfff0000000000000, 0x0000000000000000,
1210   0xfff923456789abcd, 0x0000000000000000,
1211   0xfff8000000000000, 0x0000000000000000,
1212   0xfff923456789abcd, 0x0000000000000000,
1213   0xfff0000000000000, 0x0000000000000000,
1214   0x3ff5b97530eca866, 0x0000000000000000,
1215   0xbfdffffffffffff4, 0x0000000000000000,
1216   0xfff0000000000000, 0x0000000000000000,
1217   0x3ff8000000000000, 0x0000000000000000,
1218   0x7ff0000000000000, 0x0000000000000000,
1219   0x7ff0000000000000, 0x0000000000000000,
1220   0x7ff0000000000000, 0x0000000000000000,
1221   0x7ff0000000000000, 0x0000000000000000,
1222   0x7ff0000000000000, 0x0000000000000000,
1223   0x7ff0000000000000, 0x0000000000000000,
1224   0x7ff0000000000000, 0x0000000000000000,
1225   0x7ff0000000000000, 0x0000000000000000,
1226   0x7ff0000000000000, 0x0000000000000000,
1227   0x7ff0000000000000, 0x0000000000000000,
1228   0x7ff0000000000000, 0x0000000000000000,
1229   0x7ff923456789abcd, 0x0000000000000000,
1230   0x7ff8000000000000, 0x0000000000000000,
1231   0x7ff923456789abcd, 0x0000000000000000,
1232   0x7ff0000000000000, 0x0000000000000000,
1233   0x7ff0000000000000, 0x0000000000000000,
1234   0x7ff0000000000000, 0x0000000000000000,
1235   0x7ff0000000000000, 0x0000000000000000,
1236   0x3ff8000000000000, 0x0000000000000000,
1237   0xfff0000000000000, 0x0000000000000000,
1238   0xfff0000000000000, 0x0000000000000000,
1239   0xfff0000000000000, 0x0000000000000000,
1240   0xfff0000000000000, 0x0000000000000000,
1241   0xfff0000000000000, 0x0000000000000000,
1242   0xfff0000000000000, 0x0000000000000000,
1243   0xfff0000000000000, 0x0000000000000000,
1244   0xfff0000000000000, 0x0000000000000000,
1245   0xfff0000000000000, 0x0000000000000000,
1246   0xfff0000000000000, 0x0000000000000000,
1247   0xfff0000000000000, 0x0000000000000000,
1248   0xfff923456789abcd, 0x0000000000000000,
1249   0xfff8000000000000, 0x0000000000000000,
1250   0xfff923456789abcd, 0x0000000000000000,
1251   0xfff0000000000000, 0x0000000000000000,
1252   0xfff0000000000000, 0x0000000000000000,
1253   0xfff0000000000000, 0x0000000000000000,
1254   0x7ff923456789abcd, 0x0000000000000000,
1255   0x7ff923456789abcd, 0x0000000000000000,
1256   0x7ff923456789abcd, 0x0000000000000000,
1257   0x7ff923456789abcd, 0x0000000000000000,
1258   0x7ff923456789abcd, 0x0000000000000000,
1259   0x7ff923456789abcd, 0x0000000000000000,
1260   0x7ff923456789abcd, 0x0000000000000000,
1261   0x7ff923456789abcd, 0x0000000000000000,
1262   0x7ff923456789abcd, 0x0000000000000000,
1263   0x7ff923456789abcd, 0x0000000000000000,
1264   0x7ff923456789abcd, 0x0000000000000000,
1265   0x7ff923456789abcd, 0x0000000000000000,
1266   0x7ff923456789abcd, 0x0000000000000000,
1267   0x7ff923456789abcd, 0x0000000000000000,
1268   0x7ff923456789abcd, 0x0000000000000000,
1269   0x7ff923456789abcd, 0x0000000000000000,
1270   0x7ff923456789abcd, 0x0000000000000000,
1271   0x7ff923456789abcd, 0x0000000000000000,
1272   0x7ff923456789abcd, 0x0000000000000000,
1273   0x7ff923456789abcd, 0x0000000000000000,
1274   0x7ff923456789abcd, 0x0000000000000000,
1275   0x7ff923456789abcd, 0x0000000000000000,
1276   0x7ff923456789abcd, 0x0000000000000000,
1277   0x7ff923456789abcd, 0x0000000000000000,
1278   0x7ff923456789abcd, 0x0000000000000000,
1279   0x7ff923456789abcd, 0x0000000000000000,
1280   0x7ff923456789abcd, 0x0000000000000000,
1281   0x7ff923456789abcd, 0x0000000000000000,
1282   0x7ff923456789abcd, 0x0000000000000000,
1283   0x7ff923456789abcd, 0x0000000000000000,
1284   0x7ff923456789abcd, 0x0000000000000000,
1285   0x7ff923456789abcd, 0x0000000000000000,
1286   0x7ff923456789abcd, 0x0000000000000000,
1287   0x7ff923456789abcd, 0x0000000000000000,
1288   0xfff923456789abcd, 0x0000000000000000,
1289   0x7ff923456789abcd, 0x0000000000000000,
1290   0x7ff923456789abcd, 0x0000000000000000,
1291   0x7ff923456789abcd, 0x0000000000000000,
1292   0x7ff8000000000000, 0x0000000000000000,
1293   0x7ff8000000000000, 0x0000000000000000,
1294   0x7ff8000000000000, 0x0000000000000000,
1295   0x7ff8000000000000, 0x0000000000000000,
1296   0x7ff8000000000000, 0x0000000000000000,
1297   0x7ff8000000000000, 0x0000000000000000,
1298   0x7ff8000000000000, 0x0000000000000000,
1299   0x7ff8000000000000, 0x0000000000000000,
1300   0x7ff8000000000000, 0x0000000000000000,
1301   0x7ff8000000000000, 0x0000000000000000,
1302   0x7ff8000000000000, 0x0000000000000000,
1303   0x7ff8000000000000, 0x0000000000000000,
1304   0x7ff8000000000000, 0x0000000000000000,
1305   0x7ff8000000000000, 0x0000000000000000,
1306   0x7ff8000000000000, 0x0000000000000000,
1307   0x7ff923456789abcd, 0x0000000000000000,
1308   0x7ff8000000000000, 0x0000000000000000,
1309   0x7ff8000000000000, 0x0000000000000000,
1310   0x7ff8000000000000, 0x0000000000000000,
1311   0x7ff8000000000000, 0x0000000000000000,
1312   0x7ff8000000000000, 0x0000000000000000,
1313   0x7ff8000000000000, 0x0000000000000000,
1314   0x7ff8000000000000, 0x0000000000000000,
1315   0x7ff8000000000000, 0x0000000000000000,
1316   0x7ff8000000000000, 0x0000000000000000,
1317   0x7ff8000000000000, 0x0000000000000000,
1318   0x7ff8000000000000, 0x0000000000000000,
1319   0x7ff8000000000000, 0x0000000000000000,
1320   0x7ff8000000000000, 0x0000000000000000,
1321   0x7ff8000000000000, 0x0000000000000000,
1322   0x7ff8000000000000, 0x0000000000000000,
1323   0x7ff8000000000000, 0x0000000000000000,
1324   0x7ff8000000000000, 0x0000000000000000,
1325   0x7ff8000000000000, 0x0000000000000000,
1326   0xfff923456789abcd, 0x0000000000000000,
1327   0x7ff8000000000000, 0x0000000000000000,
1328   0x7ff8000000000000, 0x0000000000000000,
1329   0x7ff8000000000000, 0x0000000000000000,
1330   0x7ff923456789abcd, 0x0000000000000000,
1331   0x7ff923456789abcd, 0x0000000000000000,
1332   0x7ff923456789abcd, 0x0000000000000000,
1333   0x7ff923456789abcd, 0x0000000000000000,
1334   0x7ff923456789abcd, 0x0000000000000000,
1335   0x7ff923456789abcd, 0x0000000000000000,
1336   0x7ff923456789abcd, 0x0000000000000000,
1337   0x7ff923456789abcd, 0x0000000000000000,
1338   0x7ff923456789abcd, 0x0000000000000000,
1339   0x7ff923456789abcd, 0x0000000000000000,
1340   0x7ff923456789abcd, 0x0000000000000000,
1341   0x7ff923456789abcd, 0x0000000000000000,
1342   0x7ff923456789abcd, 0x0000000000000000,
1343   0x7ff923456789abcd, 0x0000000000000000,
1344   0x7ff923456789abcd, 0x0000000000000000,
1345   0x7ff923456789abcd, 0x0000000000000000,
1346   0x7ff923456789abcd, 0x0000000000000000,
1347   0x7ff923456789abcd, 0x0000000000000000,
1348   0x7ff923456789abcd, 0x0000000000000000,
1349   0x7ff923456789abcd, 0x0000000000000000,
1350   0x7ff923456789abcd, 0x0000000000000000,
1351   0x7ff923456789abcd, 0x0000000000000000,
1352   0x7ff923456789abcd, 0x0000000000000000,
1353   0x7ff923456789abcd, 0x0000000000000000,
1354   0x7ff923456789abcd, 0x0000000000000000,
1355   0x7ff923456789abcd, 0x0000000000000000,
1356   0x7ff923456789abcd, 0x0000000000000000,
1357   0x7ff923456789abcd, 0x0000000000000000,
1358   0x7ff923456789abcd, 0x0000000000000000,
1359   0x7ff923456789abcd, 0x0000000000000000,
1360   0x7ff923456789abcd, 0x0000000000000000,
1361   0x7ff923456789abcd, 0x0000000000000000,
1362   0x7ff923456789abcd, 0x0000000000000000,
1363   0x7ff923456789abcd, 0x0000000000000000,
1364   0x7ff923456789abcd, 0x0000000000000000,
1365   0x7ff923456789abcd, 0x0000000000000000,
1366   0x7ff923456789abcd, 0x0000000000000000,
1367   0x7ff923456789abcd, 0x0000000000000000,
1368   0xfff0000000000000, 0x0000000000000000,
1369   0x3ff8000000000000, 0x0000000000000000,
1370   0x7ff0000000000000, 0x0000000000000000,
1371   0x7ff0000000000000, 0x0000000000000000,
1372   0x7ff0000000000000, 0x0000000000000000,
1373   0x7ff0000000000000, 0x0000000000000000,
1374   0x7ff0000000000000, 0x0000000000000000,
1375   0x7ff0000000000000, 0x0000000000000000,
1376   0x7ff0000000000000, 0x0000000000000000,
1377   0x7ff0000000000000, 0x0000000000000000,
1378   0x7ff0000000000000, 0x0000000000000000,
1379   0x7ff0000000000000, 0x0000000000000000,
1380   0x7ff0000000000000, 0x0000000000000000,
1381   0x7ff923456789abcd, 0x0000000000000000,
1382   0x7ff8000000000000, 0x0000000000000000,
1383   0x7ff923456789abcd, 0x0000000000000000,
1384   0x7ff0000000000000, 0x0000000000000000,
1385   0x7ff0000000000000, 0x0000000000000000,
1386   0x7ff0000000000000, 0x0000000000000000,
1387   0x7ff0000000000000, 0x0000000000000000,
1388   0x3ff8000000000000, 0x0000000000000000,
1389   0xfff0000000000000, 0x0000000000000000,
1390   0xfff0000000000000, 0x0000000000000000,
1391   0xfff0000000000000, 0x0000000000000000,
1392   0xfff0000000000000, 0x0000000000000000,
1393   0xfff0000000000000, 0x0000000000000000,
1394   0xfff0000000000000, 0x0000000000000000,
1395   0xfff0000000000000, 0x0000000000000000,
1396   0xfff0000000000000, 0x0000000000000000,
1397   0xfff0000000000000, 0x0000000000000000,
1398   0xfff0000000000000, 0x0000000000000000,
1399   0xfff0000000000000, 0x0000000000000000,
1400   0xfff923456789abcd, 0x0000000000000000,
1401   0xfff8000000000000, 0x0000000000000000,
1402   0xfff923456789abcd, 0x0000000000000000,
1403   0xfff0000000000000, 0x0000000000000000,
1404   0xfff0000000000000, 0x0000000000000000,
1405   0xfff0000000000000, 0x0000000000000000,
1406   0x3ff8000000000000, 0x0000000000000000,
1407   0x3ff8000000000000, 0x0000000000000000,
1408   0x3ff8000000000000, 0x0000000000000000,
1409   0x3ff8000000000000, 0x0000000000000000,
1410   0x3ff8000000000000, 0x0000000000000000,
1411   0x3ff8000000000000, 0x0000000000000000,
1412   0x3ff8000000000000, 0x0000000000000000,
1413   0x3ff8000000000000, 0x0000000000000000,
1414   0x3ff8000000000000, 0x0000000000000000,
1415   0x3ff8000000000000, 0x0000000000000000,
1416   0x3ff8000000000000, 0x0000000000000000,
1417   0x3ffa468acf13579a, 0x0000000000000000,
1418   0x7ff0000000000000, 0x0000000000000000,
1419   0x7ff923456789abcd, 0x0000000000000000,
1420   0x7ff8000000000000, 0x0000000000000000,
1421   0x7ff923456789abcd, 0x0000000000000000,
1422   0x7ff0000000000000, 0x0000000000000000,
1423   0x3ff8000000000000, 0x0000000000000000,
1424   0x3ff8000000000000, 0x0000000000000000,
1425   0x3ff8000000000000, 0x0000000000000000,
1426   0x3ff8000000000000, 0x0000000000000000,
1427   0x3ff8000000000000, 0x0000000000000000,
1428   0x3ff8000000000000, 0x0000000000000000,
1429   0x3ff8000000000000, 0x0000000000000000,
1430   0x3ff8000000000000, 0x0000000000000000,
1431   0x3ff8000000000000, 0x0000000000000000,
1432   0x3ff8000000000000, 0x0000000000000000,
1433   0x3ff8000000000000, 0x0000000000000000,
1434   0x3ff8000000000000, 0x0000000000000000,
1435   0x3ff8000000000000, 0x0000000000000000,
1436   0x3ff5b97530eca866, 0x0000000000000000,
1437   0xfff0000000000000, 0x0000000000000000,
1438   0xfff923456789abcd, 0x0000000000000000,
1439   0xfff8000000000000, 0x0000000000000000,
1440   0xfff923456789abcd, 0x0000000000000000,
1441   0xfff0000000000000, 0x0000000000000000,
1442   0x3ff8000000000000, 0x0000000000000000,
1443   0x3ff8000000000000, 0x0000000000000000,
1444   0x3ff8000000000000, 0x0000000000000000,
1445   0x3ff8000000000000, 0x0000000000000000,
1446   0x3ff8000000000000, 0x0000000000000000,
1447   0x3ff8000000000000, 0x0000000000000000,
1448   0x3ff8000000000000, 0x0000000000000000,
1449   0x3ff8000000000000, 0x0000000000000000,
1450   0x3ff8000000000000, 0x0000000000000000,
1451   0x3ff8000000000000, 0x0000000000000000,
1452   0x3ff8000000000000, 0x0000000000000000,
1453   0x3ff8000000000000, 0x0000000000000000,
1454   0x3ff8000000000000, 0x0000000000000000,
1455   0x400bffffffffffff, 0x0000000000000000,
1456   0x7ff0000000000000, 0x0000000000000000,
1457   0x7ff923456789abcd, 0x0000000000000000,
1458   0x7ff8000000000000, 0x0000000000000000,
1459   0x7ff923456789abcd, 0x0000000000000000,
1460   0x7ff0000000000000, 0x0000000000000000,
1461   0x3ff8000000000000, 0x0000000000000000,
1462   0x3ff8000000000000, 0x0000000000000000,
1463   0x3ff8000000000000, 0x0000000000000000,
1464   0x3ff8000000000000, 0x0000000000000000,
1465   0x3ff8000000000000, 0x0000000000000000,
1466   0x3ff8000000000000, 0x0000000000000000,
1467   0x3ff8000000000000, 0x0000000000000000,
1468   0x3ff8000000000000, 0x0000000000000000,
1469   0x3ff8000000000000, 0x0000000000000000,
1470   0x3ff8000000000000, 0x0000000000000000,
1471   0x3ff8000000000000, 0x0000000000000000,
1472   0x3ff8000000000000, 0x0000000000000000,
1473   0x3ff8000000000000, 0x0000000000000000,
1474   0xbfdffffffffffff4, 0x0000000000000000,
1475   0xfff0000000000000, 0x0000000000000000,
1476   0xfff923456789abcd, 0x0000000000000000,
1477   0xfff8000000000000, 0x0000000000000000,
1478   0xfff923456789abcd, 0x0000000000000000,
1479   0xfff0000000000000, 0x0000000000000000,
1480   0x3ff8000000000000, 0x0000000000000000,
1481   0x3ff8000000000000, 0x0000000000000000,
1482 };
1483 const unsigned kExpectedCount_NEON_frsqrts_D = 1444;
1484 
1485 #endif  // VIXL_SIM_FRSQRTS_D_TRACE_AARCH64_H_
1486