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