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