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_FMLA_D_D_D_TRACE_AARCH64_H_
35#define VIXL_SIM_FMLA_D_D_D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_fmla_D_D_D[] = {
38  0x0000000000000000, 0x0000000000000000,
39  0x0000000000000000, 0x0000000000000000,
40  0x0000000000000000, 0x0000000000000000,
41  0x0000000000000000, 0x0000000000000000,
42  0x0000000000000000, 0x0000000000000000,
43  0x0000000000009ff0, 0x0000000000000000,
44  0x0000000000009ff0, 0x0000000000000000,
45  0x0000000000013fe0, 0x0000000000000000,
46  0x0000000000009ff0, 0x0000000000000000,
47  0x0000000000013fe0, 0x0000000000000000,
48  0x0000000000009ff0, 0x0000000000000000,
49  0x000000000001dfd0, 0x0000000000000000,
50  0x0000000000013fe0, 0x0000000000000000,
51  0x0000000000027fc0, 0x0000000000000000,
52  0x0000000000013fe0, 0x0000000000000000,
53  0x0000000000027fc0, 0x0000000000000000,
54  0x0000000000013fe0, 0x0000000000000000,
55  0x0000000000031fb0, 0x0000000000000000,
56  0x000000000001dfd0, 0x0000000000000000,
57  0x00000000000e5e90, 0x0000000000000000,
58  0x00000000000c7ec0, 0x0000000000000000,
59  0x3dd3fdffffffffff, 0x0000000000000000,
60  0x3dd3fdffffffffff, 0x0000000000000000,
61  0x7ff0000000000000, 0x0000000000000000,
62  0x7ff0000000000000, 0x0000000000000000,
63  0x7ff923456789abcd, 0x0000000000000000,
64  0x7ff923456789abcd, 0x0000000000000000,
65  0x7ff923456789abcd, 0x0000000000000000,
66  0x7ff8000000000000, 0x0000000000000000,
67  0x7ff923456789abcd, 0x0000000000000000,
68  0x7ff923456789abcd, 0x0000000000000000,
69  0x7ff923456789abcd, 0x0000000000000000,
70  0x7ff0000000000000, 0x0000000000000000,
71  0x7ff0000000000000, 0x0000000000000000,
72  0x0000000000000000, 0x0000000000000000,
73  0x0000000000000000, 0x0000000000000000,
74  0x0000000000000000, 0x0000000000000000,
75  0x0000000000000000, 0x0000000000000000,
76  0x0000000000000000, 0x0000000000000000,
77  0x0000000000000000, 0x0000000000000000,
78  0x0000000000000000, 0x0000000000000000,
79  0x8000000000000000, 0x0000000000000000,
80  0x8000000000000000, 0x0000000000000000,
81  0x8000000000009ff0, 0x0000000000000000,
82  0x8000000000009ff0, 0x0000000000000000,
83  0x8000000000013fe0, 0x0000000000000000,
84  0x8000000000009ff0, 0x0000000000000000,
85  0x8000000000013fe0, 0x0000000000000000,
86  0x8000000000009ff0, 0x0000000000000000,
87  0x800000000001dfd0, 0x0000000000000000,
88  0x8000000000013fe0, 0x0000000000000000,
89  0x8000000000027fc0, 0x0000000000000000,
90  0x8000000000013fe0, 0x0000000000000000,
91  0x8000000000027fc0, 0x0000000000000000,
92  0x8000000000013fe0, 0x0000000000000000,
93  0x8000000000031fb0, 0x0000000000000000,
94  0x800000000001dfd0, 0x0000000000000000,
95  0x80000000000e5e90, 0x0000000000000000,
96  0x80000000000c7ec0, 0x0000000000000000,
97  0xbdd3fdffffffffff, 0x0000000000000000,
98  0xbdd3fdffffffffff, 0x0000000000000000,
99  0xfff0000000000000, 0x0000000000000000,
100  0xfff0000000000000, 0x0000000000000000,
101  0xfff923456789abcd, 0x0000000000000000,
102  0xfff923456789abcd, 0x0000000000000000,
103  0xfff923456789abcd, 0x0000000000000000,
104  0xfff8000000000000, 0x0000000000000000,
105  0xfff923456789abcd, 0x0000000000000000,
106  0xfff923456789abcd, 0x0000000000000000,
107  0xfff923456789abcd, 0x0000000000000000,
108  0xfff0000000000000, 0x0000000000000000,
109  0xfff0000000000000, 0x0000000000000000,
110  0x8000000000000000, 0x0000000000000000,
111  0x8000000000000000, 0x0000000000000000,
112  0x8000000000000000, 0x0000000000000000,
113  0x8000000000000000, 0x0000000000000000,
114  0x0000000000000000, 0x0000000000000000,
115  0x0000000000000000, 0x0000000000000000,
116  0x0000000000000000, 0x0000000000000000,
117  0x0000000000000000, 0x0000000000000000,
118  0x0000000000000000, 0x0000000000000000,
119  0x0000000000000000, 0x0000000000000000,
120  0x0000000000000000, 0x0000000000000000,
121  0x0000000000000000, 0x0000000000000000,
122  0x0000000000000000, 0x0000000000000000,
123  0x0000000000000000, 0x0000000000000000,
124  0x0000000000000000, 0x0000000000000000,
125  0x0000000000000000, 0x0000000000000000,
126  0x0000000000000000, 0x0000000000000000,
127  0x0000000000000000, 0x0000000000000000,
128  0x0000000000000000, 0x0000000000000000,
129  0x0000000000000000, 0x0000000000000000,
130  0x0000000000000000, 0x0000000000000000,
131  0x0000000000000000, 0x0000000000000000,
132  0x0000000000000000, 0x0000000000000000,
133  0x0000000000000000, 0x0000000000000000,
134  0x0000000000000000, 0x0000000000000000,
135  0x0000000000000000, 0x0000000000000000,
136  0x0000000000000000, 0x0000000000000000,
137  0x7ff8000000000000, 0x0000000000000000,
138  0x7ff8000000000000, 0x0000000000000000,
139  0x7ff8000000000000, 0x0000000000000000,
140  0x7ff923456789abcd, 0x0000000000000000,
141  0x7ff923456789abcd, 0x0000000000000000,
142  0x7ff8000000000000, 0x0000000000000000,
143  0x7ff923456789abcd, 0x0000000000000000,
144  0x7ff923456789abcd, 0x0000000000000000,
145  0x7ff8000000000000, 0x0000000000000000,
146  0x7ff8000000000000, 0x0000000000000000,
147  0x7ff8000000000000, 0x0000000000000000,
148  0x0000000000000000, 0x0000000000000000,
149  0x0000000000000000, 0x0000000000000000,
150  0x0000000000000000, 0x0000000000000000,
151  0x0000000000000000, 0x0000000000000000,
152  0x0000000000000000, 0x0000000000000000,
153  0x0000000000000000, 0x0000000000000000,
154  0x0000000000000000, 0x0000000000000000,
155  0x0000000000000000, 0x0000000000000000,
156  0x0000000000000000, 0x0000000000000000,
157  0x0000000000000000, 0x0000000000000000,
158  0x0000000000000000, 0x0000000000000000,
159  0x0000000000000000, 0x0000000000000000,
160  0x0000000000000000, 0x0000000000000000,
161  0x0000000000000000, 0x0000000000000000,
162  0x0000000000000000, 0x0000000000000000,
163  0x0000000000000000, 0x0000000000000000,
164  0x0000000000000000, 0x0000000000000000,
165  0x0000000000000000, 0x0000000000000000,
166  0x0000000000000000, 0x0000000000000000,
167  0x0000000000000000, 0x0000000000000000,
168  0x0000000000000000, 0x0000000000000000,
169  0x0000000000000000, 0x0000000000000000,
170  0x0000000000000000, 0x0000000000000000,
171  0x0000000000000000, 0x0000000000000000,
172  0x0000000000000000, 0x0000000000000000,
173  0x0000000000000000, 0x0000000000000000,
174  0x0000000000000000, 0x0000000000000000,
175  0x7ff8000000000000, 0x0000000000000000,
176  0x7ff8000000000000, 0x0000000000000000,
177  0x7ff8000000000000, 0x0000000000000000,
178  0xfff923456789abcd, 0x0000000000000000,
179  0xfff923456789abcd, 0x0000000000000000,
180  0xfff8000000000000, 0x0000000000000000,
181  0xfff923456789abcd, 0x0000000000000000,
182  0xfff923456789abcd, 0x0000000000000000,
183  0x7ff8000000000000, 0x0000000000000000,
184  0x7ff8000000000000, 0x0000000000000000,
185  0x7ff8000000000000, 0x0000000000000000,
186  0x0000000000000000, 0x0000000000000000,
187  0x0000000000000000, 0x0000000000000000,
188  0x0000000000000000, 0x0000000000000000,
189  0x0000000000000000, 0x0000000000000000,
190  0x8000000000000000, 0x0000000000000000,
191  0x0000000000000000, 0x0000000000000000,
192  0x0000000000000000, 0x0000000000000000,
193  0x0000000000000000, 0x0000000000000000,
194  0x0000000000000000, 0x0000000000000000,
195  0x0008000000000000, 0x0000000000000000,
196  0x0008000000000000, 0x0000000000000000,
197  0x0010000000000000, 0x0000000000000000,
198  0x0008000000000000, 0x0000000000000000,
199  0x0010000000000000, 0x0000000000000000,
200  0x0008000000000000, 0x0000000000000000,
201  0x0018000000000000, 0x0000000000000000,
202  0x0010000000000000, 0x0000000000000000,
203  0x0020000000000000, 0x0000000000000000,
204  0x0010000000000000, 0x0000000000000000,
205  0x0020000000000000, 0x0000000000000000,
206  0x0010000000000001, 0x0000000000000000,
207  0x0024000000000000, 0x0000000000000000,
208  0x0018000000000000, 0x0000000000000000,
209  0x0047000000000000, 0x0000000000000000,
210  0x0044000000000000, 0x0000000000000000,
211  0x400fffffffffffff, 0x0000000000000000,
212  0x400fffffffffffff, 0x0000000000000000,
213  0x7ff0000000000000, 0x0000000000000000,
214  0x7ff0000000000000, 0x0000000000000000,
215  0x7ff923456789abcd, 0x0000000000000000,
216  0x7ff923456789abcd, 0x0000000000000000,
217  0x7ff923456789abcd, 0x0000000000000000,
218  0x7ff8000000000000, 0x0000000000000000,
219  0x7ff923456789abcd, 0x0000000000000000,
220  0x7ff923456789abcd, 0x0000000000000000,
221  0x7ff923456789abcd, 0x0000000000000000,
222  0x7ff0000000000000, 0x0000000000000000,
223  0x7ff0000000000000, 0x0000000000000000,
224  0x0000000000000000, 0x0000000000000000,
225  0x0000000000000000, 0x0000000000000000,
226  0x0000000000000000, 0x0000000000000000,
227  0x0000000000000000, 0x0000000000000000,
228  0x0000000000000000, 0x0000000000000000,
229  0x0000000000000000, 0x0000000000000000,
230  0x0000000000000000, 0x0000000000000000,
231  0x8000000000000000, 0x0000000000000000,
232  0x8000000000000000, 0x0000000000000000,
233  0x8008000000000000, 0x0000000000000000,
234  0x8008000000000000, 0x0000000000000000,
235  0x8010000000000000, 0x0000000000000000,
236  0x8008000000000000, 0x0000000000000000,
237  0x8010000000000000, 0x0000000000000000,
238  0x8008000000000000, 0x0000000000000000,
239  0x8018000000000000, 0x0000000000000000,
240  0x8010000000000000, 0x0000000000000000,
241  0x8020000000000000, 0x0000000000000000,
242  0x8010000000000000, 0x0000000000000000,
243  0x8020000000000000, 0x0000000000000000,
244  0x8010000000000001, 0x0000000000000000,
245  0x8024000000000000, 0x0000000000000000,
246  0x8018000000000000, 0x0000000000000000,
247  0x8047000000000000, 0x0000000000000000,
248  0x8044000000000000, 0x0000000000000000,
249  0xc00fffffffffffff, 0x0000000000000000,
250  0xc00fffffffffffff, 0x0000000000000000,
251  0xfff0000000000000, 0x0000000000000000,
252  0xfff0000000000000, 0x0000000000000000,
253  0xfff923456789abcd, 0x0000000000000000,
254  0xfff923456789abcd, 0x0000000000000000,
255  0xfff923456789abcd, 0x0000000000000000,
256  0xfff8000000000000, 0x0000000000000000,
257  0xfff923456789abcd, 0x0000000000000000,
258  0xfff923456789abcd, 0x0000000000000000,
259  0xfff923456789abcd, 0x0000000000000000,
260  0xfff0000000000000, 0x0000000000000000,
261  0xfff0000000000000, 0x0000000000000000,
262  0x8000000000000000, 0x0000000000000000,
263  0x8000000000000000, 0x0000000000000000,
264  0x8000000000000000, 0x0000000000000000,
265  0x8000000000000000, 0x0000000000000000,
266  0x8000000000000000, 0x0000000000000000,
267  0x0000000000000000, 0x0000000000000000,
268  0x0000000000000000, 0x0000000000000000,
269  0x0008000000000000, 0x0000000000000000,
270  0x0008000000000000, 0x0000000000000000,
271  0x3fcffffffffffffe, 0x0000000000000000,
272  0x3fcffffffffffffe, 0x0000000000000000,
273  0x3fdffffffffffffe, 0x0000000000000000,
274  0x3fcfffffffffffff, 0x0000000000000000,
275  0x3fe0000000000000, 0x0000000000000000,
276  0x3fd0000000000000, 0x0000000000000000,
277  0x3fe7ffffffffffff, 0x0000000000000000,
278  0x3fdffffffffffffe, 0x0000000000000000,
279  0x3feffffffffffffe, 0x0000000000000000,
280  0x3fdfffffffffffff, 0x0000000000000000,
281  0x3ff0000000000000, 0x0000000000000000,
282  0x3fe0000000000000, 0x0000000000000000,
283  0x3ff4000000000000, 0x0000000000000000,
284  0x3fe7ffffffffffff, 0x0000000000000000,
285  0x4016ffffffffffff, 0x0000000000000000,
286  0x4013ffffffffffff, 0x0000000000000000,
287  0x7fdffffffffffffe, 0x0000000000000000,
288  0x7fdffffffffffffe, 0x0000000000000000,
289  0x7ff0000000000000, 0x0000000000000000,
290  0x7ff0000000000000, 0x0000000000000000,
291  0x7ff923456789abcd, 0x0000000000000000,
292  0x7ff923456789abcd, 0x0000000000000000,
293  0x7ff923456789abcd, 0x0000000000000000,
294  0x7ff8000000000000, 0x0000000000000000,
295  0x7ff923456789abcd, 0x0000000000000000,
296  0x7ff923456789abcd, 0x0000000000000000,
297  0x7ff923456789abcd, 0x0000000000000000,
298  0x7ff0000000000000, 0x0000000000000000,
299  0x7ff0000000000000, 0x0000000000000000,
300  0x000091a2b3c4d5e6, 0x0000000000000000,
301  0x000891a2b3c4d5e5, 0x0000000000000000,
302  0x0007ffffffffffff, 0x0000000000000000,
303  0x0007ffffffffffff, 0x0000000000000000,
304  0x0000000000000000, 0x0000000000000000,
305  0x0000000000000000, 0x0000000000000000,
306  0x0000000000000000, 0x0000000000000000,
307  0x8008000000000000, 0x0000000000000000,
308  0x8008000000000000, 0x0000000000000000,
309  0xbfcffffffffffffe, 0x0000000000000000,
310  0xbfcffffffffffffe, 0x0000000000000000,
311  0xbfdffffffffffffe, 0x0000000000000000,
312  0xbfcfffffffffffff, 0x0000000000000000,
313  0xbfe0000000000000, 0x0000000000000000,
314  0xbfd0000000000000, 0x0000000000000000,
315  0xbfe7ffffffffffff, 0x0000000000000000,
316  0xbfdffffffffffffe, 0x0000000000000000,
317  0xbfeffffffffffffe, 0x0000000000000000,
318  0xbfdfffffffffffff, 0x0000000000000000,
319  0xbff0000000000000, 0x0000000000000000,
320  0xbfe0000000000000, 0x0000000000000000,
321  0xbff4000000000000, 0x0000000000000000,
322  0xbfe7ffffffffffff, 0x0000000000000000,
323  0xc016ffffffffffff, 0x0000000000000000,
324  0xc013ffffffffffff, 0x0000000000000000,
325  0xffdffffffffffffe, 0x0000000000000000,
326  0xffdffffffffffffe, 0x0000000000000000,
327  0xfff0000000000000, 0x0000000000000000,
328  0xfff0000000000000, 0x0000000000000000,
329  0xfff923456789abcd, 0x0000000000000000,
330  0xfff923456789abcd, 0x0000000000000000,
331  0xfff923456789abcd, 0x0000000000000000,
332  0xfff8000000000000, 0x0000000000000000,
333  0xfff923456789abcd, 0x0000000000000000,
334  0xfff923456789abcd, 0x0000000000000000,
335  0xfff923456789abcd, 0x0000000000000000,
336  0xfff0000000000000, 0x0000000000000000,
337  0xfff0000000000000, 0x0000000000000000,
338  0x800091a2b3c4d5e6, 0x0000000000000000,
339  0x800891a2b3c4d5e5, 0x0000000000000000,
340  0x8007ffffffffffff, 0x0000000000000000,
341  0x8007ffffffffffff, 0x0000000000000000,
342  0x8000000000000000, 0x0000000000000000,
343  0x0000000000000000, 0x0000000000000000,
344  0x0000000000000000, 0x0000000000000000,
345  0x0008000000000000, 0x0000000000000000,
346  0x0008000000000000, 0x0000000000000000,
347  0x3fcfffffffffffff, 0x0000000000000000,
348  0x3fcfffffffffffff, 0x0000000000000000,
349  0x3fe0000000000000, 0x0000000000000000,
350  0x3fd0000000000000, 0x0000000000000000,
351  0x3fe0000000000000, 0x0000000000000000,
352  0x3fd0000000000001, 0x0000000000000000,
353  0x3fe8000000000000, 0x0000000000000000,
354  0x3fdfffffffffffff, 0x0000000000000000,
355  0x3ff0000000000000, 0x0000000000000000,
356  0x3fe0000000000000, 0x0000000000000000,
357  0x3ff0000000000000, 0x0000000000000000,
358  0x3fe0000000000001, 0x0000000000000000,
359  0x3ff4000000000000, 0x0000000000000000,
360  0x3fe8000000000000, 0x0000000000000000,
361  0x4017000000000000, 0x0000000000000000,
362  0x4014000000000000, 0x0000000000000000,
363  0x7fdfffffffffffff, 0x0000000000000000,
364  0x7fdfffffffffffff, 0x0000000000000000,
365  0x7ff0000000000000, 0x0000000000000000,
366  0x7ff0000000000000, 0x0000000000000000,
367  0x7ff923456789abcd, 0x0000000000000000,
368  0x7ff923456789abcd, 0x0000000000000000,
369  0x7ff923456789abcd, 0x0000000000000000,
370  0x7ff8000000000000, 0x0000000000000000,
371  0x7ff923456789abcd, 0x0000000000000000,
372  0x7ff923456789abcd, 0x0000000000000000,
373  0x7ff923456789abcd, 0x0000000000000000,
374  0x7ff0000000000000, 0x0000000000000000,
375  0x7ff0000000000000, 0x0000000000000000,
376  0x000091a2b3c4d5e6, 0x0000000000000000,
377  0x000891a2b3c4d5e6, 0x0000000000000000,
378  0x0008000000000000, 0x0000000000000000,
379  0x0008000000000000, 0x0000000000000000,
380  0x0000000000000000, 0x0000000000000000,
381  0x0000000000000000, 0x0000000000000000,
382  0x0000000000000000, 0x0000000000000000,
383  0x8008000000000000, 0x0000000000000000,
384  0x8008000000000000, 0x0000000000000000,
385  0xbfcfffffffffffff, 0x0000000000000000,
386  0xbfcfffffffffffff, 0x0000000000000000,
387  0xbfe0000000000000, 0x0000000000000000,
388  0xbfd0000000000000, 0x0000000000000000,
389  0xbfe0000000000000, 0x0000000000000000,
390  0xbfd0000000000001, 0x0000000000000000,
391  0xbfe8000000000000, 0x0000000000000000,
392  0xbfdfffffffffffff, 0x0000000000000000,
393  0xbff0000000000000, 0x0000000000000000,
394  0xbfe0000000000000, 0x0000000000000000,
395  0xbff0000000000000, 0x0000000000000000,
396  0xbfe0000000000001, 0x0000000000000000,
397  0xbff4000000000000, 0x0000000000000000,
398  0xbfe8000000000000, 0x0000000000000000,
399  0xc017000000000000, 0x0000000000000000,
400  0xc014000000000000, 0x0000000000000000,
401  0xffdfffffffffffff, 0x0000000000000000,
402  0xffdfffffffffffff, 0x0000000000000000,
403  0xfff0000000000000, 0x0000000000000000,
404  0xfff0000000000000, 0x0000000000000000,
405  0xfff923456789abcd, 0x0000000000000000,
406  0xfff923456789abcd, 0x0000000000000000,
407  0xfff923456789abcd, 0x0000000000000000,
408  0xfff8000000000000, 0x0000000000000000,
409  0xfff923456789abcd, 0x0000000000000000,
410  0xfff923456789abcd, 0x0000000000000000,
411  0xfff923456789abcd, 0x0000000000000000,
412  0xfff0000000000000, 0x0000000000000000,
413  0xfff0000000000000, 0x0000000000000000,
414  0x800091a2b3c4d5e6, 0x0000000000000000,
415  0x800891a2b3c4d5e6, 0x0000000000000000,
416  0x8008000000000000, 0x0000000000000000,
417  0x8008000000000000, 0x0000000000000000,
418  0x8000000000000001, 0x0000000000000000,
419  0x8000000000000001, 0x0000000000000000,
420  0x0000000000000000, 0x0000000000000000,
421  0x0008000000000000, 0x0000000000000000,
422  0x0008000000000000, 0x0000000000000000,
423  0x3fd0000000000000, 0x0000000000000000,
424  0x3fd0000000000000, 0x0000000000000000,
425  0x3fe0000000000000, 0x0000000000000000,
426  0x3fd0000000000001, 0x0000000000000000,
427  0x3fe0000000000002, 0x0000000000000000,
428  0x3fd0000000000002, 0x0000000000000000,
429  0x3fe8000000000001, 0x0000000000000000,
430  0x3fe0000000000000, 0x0000000000000000,
431  0x3ff0000000000000, 0x0000000000000000,
432  0x3fe0000000000001, 0x0000000000000000,
433  0x3ff0000000000002, 0x0000000000000000,
434  0x3fe0000000000002, 0x0000000000000000,
435  0x3ff4000000000002, 0x0000000000000000,
436  0x3fe8000000000002, 0x0000000000000000,
437  0x4017000000000002, 0x0000000000000000,
438  0x4014000000000001, 0x0000000000000000,
439  0x7fe0000000000000, 0x0000000000000000,
440  0x7fe0000000000000, 0x0000000000000000,
441  0x7ff0000000000000, 0x0000000000000000,
442  0x7ff0000000000000, 0x0000000000000000,
443  0x7ff923456789abcd, 0x0000000000000000,
444  0x7ff923456789abcd, 0x0000000000000000,
445  0x7ff923456789abcd, 0x0000000000000000,
446  0x7ff8000000000000, 0x0000000000000000,
447  0x7ff923456789abcd, 0x0000000000000000,
448  0x7ff923456789abcd, 0x0000000000000000,
449  0x7ff923456789abcd, 0x0000000000000000,
450  0x7ff0000000000000, 0x0000000000000000,
451  0x7ff0000000000000, 0x0000000000000000,
452  0x000091a2b3c4d5e7, 0x0000000000000000,
453  0x000891a2b3c4d5e7, 0x0000000000000000,
454  0x0008000000000000, 0x0000000000000000,
455  0x0008000000000001, 0x0000000000000000,
456  0x0000000000000001, 0x0000000000000000,
457  0x0000000000000001, 0x0000000000000000,
458  0x0000000000000000, 0x0000000000000000,
459  0x8008000000000000, 0x0000000000000000,
460  0x8008000000000000, 0x0000000000000000,
461  0xbfd0000000000000, 0x0000000000000000,
462  0xbfd0000000000000, 0x0000000000000000,
463  0xbfe0000000000000, 0x0000000000000000,
464  0xbfd0000000000001, 0x0000000000000000,
465  0xbfe0000000000002, 0x0000000000000000,
466  0xbfd0000000000002, 0x0000000000000000,
467  0xbfe8000000000001, 0x0000000000000000,
468  0xbfe0000000000000, 0x0000000000000000,
469  0xbff0000000000000, 0x0000000000000000,
470  0xbfe0000000000001, 0x0000000000000000,
471  0xbff0000000000002, 0x0000000000000000,
472  0xbfe0000000000002, 0x0000000000000000,
473  0xbff4000000000002, 0x0000000000000000,
474  0xbfe8000000000002, 0x0000000000000000,
475  0xc017000000000002, 0x0000000000000000,
476  0xc014000000000001, 0x0000000000000000,
477  0xffe0000000000000, 0x0000000000000000,
478  0xffe0000000000000, 0x0000000000000000,
479  0xfff0000000000000, 0x0000000000000000,
480  0xfff0000000000000, 0x0000000000000000,
481  0xfff923456789abcd, 0x0000000000000000,
482  0xfff923456789abcd, 0x0000000000000000,
483  0xfff923456789abcd, 0x0000000000000000,
484  0xfff8000000000000, 0x0000000000000000,
485  0xfff923456789abcd, 0x0000000000000000,
486  0xfff923456789abcd, 0x0000000000000000,
487  0xfff923456789abcd, 0x0000000000000000,
488  0xfff0000000000000, 0x0000000000000000,
489  0xfff0000000000000, 0x0000000000000000,
490  0x800091a2b3c4d5e7, 0x0000000000000000,
491  0x800891a2b3c4d5e7, 0x0000000000000000,
492  0x8008000000000000, 0x0000000000000000,
493  0x8008000000000001, 0x0000000000000000,
494  0x8000000000000001, 0x0000000000000000,
495  0x8000000000000001, 0x0000000000000000,
496  0x0000000000000000, 0x0000000000000000,
497  0x0010000000000000, 0x0000000000000000,
498  0x0010000000000000, 0x0000000000000000,
499  0x3fdffffffffffffe, 0x0000000000000000,
500  0x3fdffffffffffffe, 0x0000000000000000,
501  0x3feffffffffffffe, 0x0000000000000000,
502  0x3fdfffffffffffff, 0x0000000000000000,
503  0x3ff0000000000000, 0x0000000000000000,
504  0x3fe0000000000000, 0x0000000000000000,
505  0x3ff7ffffffffffff, 0x0000000000000000,
506  0x3feffffffffffffe, 0x0000000000000000,
507  0x3ffffffffffffffe, 0x0000000000000000,
508  0x3fefffffffffffff, 0x0000000000000000,
509  0x4000000000000000, 0x0000000000000000,
510  0x3ff0000000000000, 0x0000000000000000,
511  0x4004000000000000, 0x0000000000000000,
512  0x3ff7ffffffffffff, 0x0000000000000000,
513  0x4026ffffffffffff, 0x0000000000000000,
514  0x4023ffffffffffff, 0x0000000000000000,
515  0x7feffffffffffffe, 0x0000000000000000,
516  0x7feffffffffffffe, 0x0000000000000000,
517  0x7ff0000000000000, 0x0000000000000000,
518  0x7ff0000000000000, 0x0000000000000000,
519  0x7ff923456789abcd, 0x0000000000000000,
520  0x7ff923456789abcd, 0x0000000000000000,
521  0x7ff923456789abcd, 0x0000000000000000,
522  0x7ff8000000000000, 0x0000000000000000,
523  0x7ff923456789abcd, 0x0000000000000000,
524  0x7ff923456789abcd, 0x0000000000000000,
525  0x7ff923456789abcd, 0x0000000000000000,
526  0x7ff0000000000000, 0x0000000000000000,
527  0x7ff0000000000000, 0x0000000000000000,
528  0x000123456789abcd, 0x0000000000000000,
529  0x001123456789abcc, 0x0000000000000000,
530  0x000fffffffffffff, 0x0000000000000000,
531  0x0010000000000000, 0x0000000000000000,
532  0x0000000000000001, 0x0000000000000000,
533  0x0000000000000001, 0x0000000000000000,
534  0x0000000000000000, 0x0000000000000000,
535  0x8010000000000000, 0x0000000000000000,
536  0x8010000000000000, 0x0000000000000000,
537  0xbfdffffffffffffe, 0x0000000000000000,
538  0xbfdffffffffffffe, 0x0000000000000000,
539  0xbfeffffffffffffe, 0x0000000000000000,
540  0xbfdfffffffffffff, 0x0000000000000000,
541  0xbff0000000000000, 0x0000000000000000,
542  0xbfe0000000000000, 0x0000000000000000,
543  0xbff7ffffffffffff, 0x0000000000000000,
544  0xbfeffffffffffffe, 0x0000000000000000,
545  0xbffffffffffffffe, 0x0000000000000000,
546  0xbfefffffffffffff, 0x0000000000000000,
547  0xc000000000000000, 0x0000000000000000,
548  0xbff0000000000000, 0x0000000000000000,
549  0xc004000000000000, 0x0000000000000000,
550  0xbff7ffffffffffff, 0x0000000000000000,
551  0xc026ffffffffffff, 0x0000000000000000,
552  0xc023ffffffffffff, 0x0000000000000000,
553  0xffeffffffffffffe, 0x0000000000000000,
554  0xffeffffffffffffe, 0x0000000000000000,
555  0xfff0000000000000, 0x0000000000000000,
556  0xfff0000000000000, 0x0000000000000000,
557  0xfff923456789abcd, 0x0000000000000000,
558  0xfff923456789abcd, 0x0000000000000000,
559  0xfff923456789abcd, 0x0000000000000000,
560  0xfff8000000000000, 0x0000000000000000,
561  0xfff923456789abcd, 0x0000000000000000,
562  0xfff923456789abcd, 0x0000000000000000,
563  0xfff923456789abcd, 0x0000000000000000,
564  0xfff0000000000000, 0x0000000000000000,
565  0xfff0000000000000, 0x0000000000000000,
566  0x800123456789abcd, 0x0000000000000000,
567  0x801123456789abcc, 0x0000000000000000,
568  0x800fffffffffffff, 0x0000000000000000,
569  0x8010000000000000, 0x0000000000000000,
570  0x8000000000000001, 0x0000000000000000,
571  0x8000000000000001, 0x0000000000000000,
572  0x0000000000000000, 0x0000000000000000,
573  0x0010000000000000, 0x0000000000000000,
574  0x0010000000000000, 0x0000000000000000,
575  0x3fdfffffffffffff, 0x0000000000000000,
576  0x3fdfffffffffffff, 0x0000000000000000,
577  0x3ff0000000000000, 0x0000000000000000,
578  0x3fe0000000000000, 0x0000000000000000,
579  0x3ff0000000000000, 0x0000000000000000,
580  0x3fe0000000000001, 0x0000000000000000,
581  0x3ff8000000000000, 0x0000000000000000,
582  0x3fefffffffffffff, 0x0000000000000000,
583  0x4000000000000000, 0x0000000000000000,
584  0x3ff0000000000000, 0x0000000000000000,
585  0x4000000000000000, 0x0000000000000000,
586  0x3ff0000000000001, 0x0000000000000000,
587  0x4004000000000000, 0x0000000000000000,
588  0x3ff8000000000000, 0x0000000000000000,
589  0x4027000000000000, 0x0000000000000000,
590  0x4024000000000000, 0x0000000000000000,
591  0x7fefffffffffffff, 0x0000000000000000,
592  0x7fefffffffffffff, 0x0000000000000000,
593  0x7ff0000000000000, 0x0000000000000000,
594  0x7ff0000000000000, 0x0000000000000000,
595  0x7ff923456789abcd, 0x0000000000000000,
596  0x7ff923456789abcd, 0x0000000000000000,
597  0x7ff923456789abcd, 0x0000000000000000,
598  0x7ff8000000000000, 0x0000000000000000,
599  0x7ff923456789abcd, 0x0000000000000000,
600  0x7ff923456789abcd, 0x0000000000000000,
601  0x7ff923456789abcd, 0x0000000000000000,
602  0x7ff0000000000000, 0x0000000000000000,
603  0x7ff0000000000000, 0x0000000000000000,
604  0x000123456789abcd, 0x0000000000000000,
605  0x001123456789abcc, 0x0000000000000000,
606  0x000fffffffffffff, 0x0000000000000000,
607  0x0010000000000000, 0x0000000000000000,
608  0x0000000000000001, 0x0000000000000000,
609  0x0000000000000001, 0x0000000000000000,
610  0x0000000000000000, 0x0000000000000000,
611  0x8010000000000000, 0x0000000000000000,
612  0x8010000000000000, 0x0000000000000000,
613  0xbfdfffffffffffff, 0x0000000000000000,
614  0xbfdfffffffffffff, 0x0000000000000000,
615  0xbff0000000000000, 0x0000000000000000,
616  0xbfe0000000000000, 0x0000000000000000,
617  0xbff0000000000000, 0x0000000000000000,
618  0xbfe0000000000001, 0x0000000000000000,
619  0xbff8000000000000, 0x0000000000000000,
620  0xbfefffffffffffff, 0x0000000000000000,
621  0xc000000000000000, 0x0000000000000000,
622  0xbff0000000000000, 0x0000000000000000,
623  0xc000000000000000, 0x0000000000000000,
624  0xbff0000000000001, 0x0000000000000000,
625  0xc004000000000000, 0x0000000000000000,
626  0xbff8000000000000, 0x0000000000000000,
627  0xc027000000000000, 0x0000000000000000,
628  0xc024000000000000, 0x0000000000000000,
629  0xffefffffffffffff, 0x0000000000000000,
630  0xffefffffffffffff, 0x0000000000000000,
631  0xfff0000000000000, 0x0000000000000000,
632  0xfff0000000000000, 0x0000000000000000,
633  0xfff923456789abcd, 0x0000000000000000,
634  0xfff923456789abcd, 0x0000000000000000,
635  0xfff923456789abcd, 0x0000000000000000,
636  0xfff8000000000000, 0x0000000000000000,
637  0xfff923456789abcd, 0x0000000000000000,
638  0xfff923456789abcd, 0x0000000000000000,
639  0xfff923456789abcd, 0x0000000000000000,
640  0xfff0000000000000, 0x0000000000000000,
641  0xfff0000000000000, 0x0000000000000000,
642  0x800123456789abcd, 0x0000000000000000,
643  0x801123456789abcc, 0x0000000000000000,
644  0x800fffffffffffff, 0x0000000000000000,
645  0x8010000000000000, 0x0000000000000000,
646  0x8000000000000001, 0x0000000000000000,
647  0x8000000000000001, 0x0000000000000000,
648  0x0000000000000000, 0x0000000000000000,
649  0x0010000000000001, 0x0000000000000000,
650  0x0010000000000001, 0x0000000000000000,
651  0x3fe0000000000000, 0x0000000000000000,
652  0x3fe0000000000000, 0x0000000000000000,
653  0x3ff0000000000000, 0x0000000000000000,
654  0x3fe0000000000001, 0x0000000000000000,
655  0x3ff0000000000002, 0x0000000000000000,
656  0x3fe0000000000002, 0x0000000000000000,
657  0x3ff8000000000001, 0x0000000000000000,
658  0x3ff0000000000000, 0x0000000000000000,
659  0x4000000000000000, 0x0000000000000000,
660  0x3ff0000000000001, 0x0000000000000000,
661  0x4000000000000002, 0x0000000000000000,
662  0x3ff0000000000002, 0x0000000000000000,
663  0x4004000000000002, 0x0000000000000000,
664  0x3ff8000000000002, 0x0000000000000000,
665  0x4027000000000002, 0x0000000000000000,
666  0x4024000000000001, 0x0000000000000000,
667  0x7ff0000000000000, 0x0000000000000000,
668  0x7ff0000000000000, 0x0000000000000000,
669  0x7ff0000000000000, 0x0000000000000000,
670  0x7ff0000000000000, 0x0000000000000000,
671  0x7ff923456789abcd, 0x0000000000000000,
672  0x7ff923456789abcd, 0x0000000000000000,
673  0x7ff923456789abcd, 0x0000000000000000,
674  0x7ff8000000000000, 0x0000000000000000,
675  0x7ff923456789abcd, 0x0000000000000000,
676  0x7ff923456789abcd, 0x0000000000000000,
677  0x7ff923456789abcd, 0x0000000000000000,
678  0x7ff0000000000000, 0x0000000000000000,
679  0x7ff0000000000000, 0x0000000000000000,
680  0x000123456789abcd, 0x0000000000000000,
681  0x001123456789abcd, 0x0000000000000000,
682  0x0010000000000000, 0x0000000000000000,
683  0x0010000000000001, 0x0000000000000000,
684  0x0000000000000001, 0x0000000000000000,
685  0x0000000000000001, 0x0000000000000000,
686  0x0000000000000000, 0x0000000000000000,
687  0x8010000000000001, 0x0000000000000000,
688  0x8010000000000001, 0x0000000000000000,
689  0xbfe0000000000000, 0x0000000000000000,
690  0xbfe0000000000000, 0x0000000000000000,
691  0xbff0000000000000, 0x0000000000000000,
692  0xbfe0000000000001, 0x0000000000000000,
693  0xbff0000000000002, 0x0000000000000000,
694  0xbfe0000000000002, 0x0000000000000000,
695  0xbff8000000000001, 0x0000000000000000,
696  0xbff0000000000000, 0x0000000000000000,
697  0xc000000000000000, 0x0000000000000000,
698  0xbff0000000000001, 0x0000000000000000,
699  0xc000000000000002, 0x0000000000000000,
700  0xbff0000000000002, 0x0000000000000000,
701  0xc004000000000002, 0x0000000000000000,
702  0xbff8000000000002, 0x0000000000000000,
703  0xc027000000000002, 0x0000000000000000,
704  0xc024000000000001, 0x0000000000000000,
705  0xfff0000000000000, 0x0000000000000000,
706  0xfff0000000000000, 0x0000000000000000,
707  0xfff0000000000000, 0x0000000000000000,
708  0xfff0000000000000, 0x0000000000000000,
709  0xfff923456789abcd, 0x0000000000000000,
710  0xfff923456789abcd, 0x0000000000000000,
711  0xfff923456789abcd, 0x0000000000000000,
712  0xfff8000000000000, 0x0000000000000000,
713  0xfff923456789abcd, 0x0000000000000000,
714  0xfff923456789abcd, 0x0000000000000000,
715  0xfff923456789abcd, 0x0000000000000000,
716  0xfff0000000000000, 0x0000000000000000,
717  0xfff0000000000000, 0x0000000000000000,
718  0x800123456789abcd, 0x0000000000000000,
719  0x801123456789abcd, 0x0000000000000000,
720  0x8010000000000000, 0x0000000000000000,
721  0x8010000000000001, 0x0000000000000000,
722  0x8000000000000002, 0x0000000000000000,
723  0x8000000000000002, 0x0000000000000000,
724  0x0000000000000000, 0x0000000000000000,
725  0x0018000000000000, 0x0000000000000000,
726  0x0018000000000000, 0x0000000000000000,
727  0x3fe7ffffffffffff, 0x0000000000000000,
728  0x3fe7ffffffffffff, 0x0000000000000000,
729  0x3ff8000000000000, 0x0000000000000000,
730  0x3fe8000000000000, 0x0000000000000000,
731  0x3ff8000000000001, 0x0000000000000000,
732  0x3fe8000000000002, 0x0000000000000000,
733  0x4002000000000000, 0x0000000000000000,
734  0x3ff7ffffffffffff, 0x0000000000000000,
735  0x4008000000000000, 0x0000000000000000,
736  0x3ff8000000000000, 0x0000000000000000,
737  0x4008000000000001, 0x0000000000000000,
738  0x3ff8000000000002, 0x0000000000000000,
739  0x400e000000000001, 0x0000000000000000,
740  0x4002000000000000, 0x0000000000000000,
741  0x4031400000000000, 0x0000000000000000,
742  0x402e000000000000, 0x0000000000000000,
743  0x7ff0000000000000, 0x0000000000000000,
744  0x7ff0000000000000, 0x0000000000000000,
745  0x7ff0000000000000, 0x0000000000000000,
746  0x7ff0000000000000, 0x0000000000000000,
747  0x7ff923456789abcd, 0x0000000000000000,
748  0x7ff923456789abcd, 0x0000000000000000,
749  0x7ff923456789abcd, 0x0000000000000000,
750  0x7ff8000000000000, 0x0000000000000000,
751  0x7ff923456789abcd, 0x0000000000000000,
752  0x7ff923456789abcd, 0x0000000000000000,
753  0x7ff923456789abcd, 0x0000000000000000,
754  0x7ff0000000000000, 0x0000000000000000,
755  0x7ff0000000000000, 0x0000000000000000,
756  0x0001b4e81b4e81b4, 0x0000000000000000,
757  0x0019b4e81b4e81b2, 0x0000000000000000,
758  0x0017fffffffffffe, 0x0000000000000000,
759  0x0018000000000000, 0x0000000000000000,
760  0x0000000000000002, 0x0000000000000000,
761  0x0000000000000002, 0x0000000000000000,
762  0x0000000000000000, 0x0000000000000000,
763  0x8018000000000000, 0x0000000000000000,
764  0x8018000000000000, 0x0000000000000000,
765  0xbfe7ffffffffffff, 0x0000000000000000,
766  0xbfe7ffffffffffff, 0x0000000000000000,
767  0xbff8000000000000, 0x0000000000000000,
768  0xbfe8000000000000, 0x0000000000000000,
769  0xbff8000000000001, 0x0000000000000000,
770  0xbfe8000000000002, 0x0000000000000000,
771  0xc002000000000000, 0x0000000000000000,
772  0xbff7ffffffffffff, 0x0000000000000000,
773  0xc008000000000000, 0x0000000000000000,
774  0xbff8000000000000, 0x0000000000000000,
775  0xc008000000000001, 0x0000000000000000,
776  0xbff8000000000002, 0x0000000000000000,
777  0xc00e000000000001, 0x0000000000000000,
778  0xc002000000000000, 0x0000000000000000,
779  0xc031400000000000, 0x0000000000000000,
780  0xc02e000000000000, 0x0000000000000000,
781  0xfff0000000000000, 0x0000000000000000,
782  0xfff0000000000000, 0x0000000000000000,
783  0xfff0000000000000, 0x0000000000000000,
784  0xfff0000000000000, 0x0000000000000000,
785  0xfff923456789abcd, 0x0000000000000000,
786  0xfff923456789abcd, 0x0000000000000000,
787  0xfff923456789abcd, 0x0000000000000000,
788  0xfff8000000000000, 0x0000000000000000,
789  0xfff923456789abcd, 0x0000000000000000,
790  0xfff923456789abcd, 0x0000000000000000,
791  0xfff923456789abcd, 0x0000000000000000,
792  0xfff0000000000000, 0x0000000000000000,
793  0xfff0000000000000, 0x0000000000000000,
794  0x8001b4e81b4e81b4, 0x0000000000000000,
795  0x8019b4e81b4e81b2, 0x0000000000000000,
796  0x8017fffffffffffe, 0x0000000000000000,
797  0x8018000000000000, 0x0000000000000000,
798  0x800000000000000a, 0x0000000000000000,
799  0x800000000000000a, 0x0000000000000000,
800  0x0000000000000000, 0x0000000000000000,
801  0x0044000000000000, 0x0000000000000000,
802  0x0044000000000000, 0x0000000000000000,
803  0x4013ffffffffffff, 0x0000000000000000,
804  0x4013ffffffffffff, 0x0000000000000000,
805  0x4024000000000000, 0x0000000000000000,
806  0x4014000000000000, 0x0000000000000000,
807  0x4024000000000001, 0x0000000000000000,
808  0x4014000000000001, 0x0000000000000000,
809  0x402e000000000000, 0x0000000000000000,
810  0x4023ffffffffffff, 0x0000000000000000,
811  0x4034000000000000, 0x0000000000000000,
812  0x4024000000000000, 0x0000000000000000,
813  0x4034000000000001, 0x0000000000000000,
814  0x4024000000000001, 0x0000000000000000,
815  0x4039000000000000, 0x0000000000000000,
816  0x402e000000000000, 0x0000000000000000,
817  0x405cc00000000000, 0x0000000000000000,
818  0x4059000000000000, 0x0000000000000000,
819  0x7ff0000000000000, 0x0000000000000000,
820  0x7ff0000000000000, 0x0000000000000000,
821  0x7ff0000000000000, 0x0000000000000000,
822  0x7ff0000000000000, 0x0000000000000000,
823  0x7ff923456789abcd, 0x0000000000000000,
824  0x7ff923456789abcd, 0x0000000000000000,
825  0x7ff923456789abcd, 0x0000000000000000,
826  0x7ff8000000000000, 0x0000000000000000,
827  0x7ff923456789abcd, 0x0000000000000000,
828  0x7ff923456789abcd, 0x0000000000000000,
829  0x7ff923456789abcd, 0x0000000000000000,
830  0x7ff0000000000000, 0x0000000000000000,
831  0x7ff0000000000000, 0x0000000000000000,
832  0x000b60b60b60b602, 0x0000000000000000,
833  0x00456c16c16c16bf, 0x0000000000000000,
834  0x0043ffffffffffff, 0x0000000000000000,
835  0x0044000000000000, 0x0000000000000000,
836  0x000000000000000a, 0x0000000000000000,
837  0x000000000000000a, 0x0000000000000000,
838  0x0000000000000000, 0x0000000000000000,
839  0x8044000000000000, 0x0000000000000000,
840  0x8044000000000000, 0x0000000000000000,
841  0xc013ffffffffffff, 0x0000000000000000,
842  0xc013ffffffffffff, 0x0000000000000000,
843  0xc024000000000000, 0x0000000000000000,
844  0xc014000000000000, 0x0000000000000000,
845  0xc024000000000001, 0x0000000000000000,
846  0xc014000000000001, 0x0000000000000000,
847  0xc02e000000000000, 0x0000000000000000,
848  0xc023ffffffffffff, 0x0000000000000000,
849  0xc034000000000000, 0x0000000000000000,
850  0xc024000000000000, 0x0000000000000000,
851  0xc034000000000001, 0x0000000000000000,
852  0xc024000000000001, 0x0000000000000000,
853  0xc039000000000000, 0x0000000000000000,
854  0xc02e000000000000, 0x0000000000000000,
855  0xc05cc00000000000, 0x0000000000000000,
856  0xc059000000000000, 0x0000000000000000,
857  0xfff0000000000000, 0x0000000000000000,
858  0xfff0000000000000, 0x0000000000000000,
859  0xfff0000000000000, 0x0000000000000000,
860  0xfff0000000000000, 0x0000000000000000,
861  0xfff923456789abcd, 0x0000000000000000,
862  0xfff923456789abcd, 0x0000000000000000,
863  0xfff923456789abcd, 0x0000000000000000,
864  0xfff8000000000000, 0x0000000000000000,
865  0xfff923456789abcd, 0x0000000000000000,
866  0xfff923456789abcd, 0x0000000000000000,
867  0xfff923456789abcd, 0x0000000000000000,
868  0xfff0000000000000, 0x0000000000000000,
869  0xfff0000000000000, 0x0000000000000000,
870  0x800b60b60b60b602, 0x0000000000000000,
871  0x80456c16c16c16bf, 0x0000000000000000,
872  0x8043ffffffffffff, 0x0000000000000000,
873  0x8044000000000000, 0x0000000000000000,
874  0xbccfffffffffffff, 0x0000000000000000,
875  0xbccfffffffffffff, 0x0000000000000000,
876  0x0000000000000000, 0x0000000000000000,
877  0x400fffffffffffff, 0x0000000000000000,
878  0x400fffffffffffff, 0x0000000000000000,
879  0x7fdffffffffffffe, 0x0000000000000000,
880  0x7fdffffffffffffe, 0x0000000000000000,
881  0x7feffffffffffffe, 0x0000000000000000,
882  0x7fdfffffffffffff, 0x0000000000000000,
883  0x7ff0000000000000, 0x0000000000000000,
884  0x7fe0000000000000, 0x0000000000000000,
885  0x7ff0000000000000, 0x0000000000000000,
886  0x7feffffffffffffe, 0x0000000000000000,
887  0x7ff0000000000000, 0x0000000000000000,
888  0x7fefffffffffffff, 0x0000000000000000,
889  0x7ff0000000000000, 0x0000000000000000,
890  0x7ff0000000000000, 0x0000000000000000,
891  0x7ff0000000000000, 0x0000000000000000,
892  0x7ff0000000000000, 0x0000000000000000,
893  0x7ff0000000000000, 0x0000000000000000,
894  0x7ff0000000000000, 0x0000000000000000,
895  0x7ff0000000000000, 0x0000000000000000,
896  0x7ff0000000000000, 0x0000000000000000,
897  0x7ff0000000000000, 0x0000000000000000,
898  0x7ff0000000000000, 0x0000000000000000,
899  0x7ff923456789abcd, 0x0000000000000000,
900  0x7ff923456789abcd, 0x0000000000000000,
901  0x7ff923456789abcd, 0x0000000000000000,
902  0x7ff8000000000000, 0x0000000000000000,
903  0x7ff923456789abcd, 0x0000000000000000,
904  0x7ff923456789abcd, 0x0000000000000000,
905  0x7ff923456789abcd, 0x0000000000000000,
906  0x7ff0000000000000, 0x0000000000000000,
907  0x7ff0000000000000, 0x0000000000000000,
908  0x3fd23456789abccf, 0x0000000000000000,
909  0x401123456789abcb, 0x0000000000000000,
910  0x400ffffffffffffd, 0x0000000000000000,
911  0x400fffffffffffff, 0x0000000000000000,
912  0x3ccfffffffffffff, 0x0000000000000000,
913  0x3ccfffffffffffff, 0x0000000000000000,
914  0x0000000000000000, 0x0000000000000000,
915  0xc00fffffffffffff, 0x0000000000000000,
916  0xc00fffffffffffff, 0x0000000000000000,
917  0xffdffffffffffffe, 0x0000000000000000,
918  0xffdffffffffffffe, 0x0000000000000000,
919  0xffeffffffffffffe, 0x0000000000000000,
920  0xffdfffffffffffff, 0x0000000000000000,
921  0xfff0000000000000, 0x0000000000000000,
922  0xffe0000000000000, 0x0000000000000000,
923  0xfff0000000000000, 0x0000000000000000,
924  0xffeffffffffffffe, 0x0000000000000000,
925  0xfff0000000000000, 0x0000000000000000,
926  0xffefffffffffffff, 0x0000000000000000,
927  0xfff0000000000000, 0x0000000000000000,
928  0xfff0000000000000, 0x0000000000000000,
929  0xfff0000000000000, 0x0000000000000000,
930  0xfff0000000000000, 0x0000000000000000,
931  0xfff0000000000000, 0x0000000000000000,
932  0xfff0000000000000, 0x0000000000000000,
933  0xfff0000000000000, 0x0000000000000000,
934  0xfff0000000000000, 0x0000000000000000,
935  0xfff0000000000000, 0x0000000000000000,
936  0xfff0000000000000, 0x0000000000000000,
937  0xfff923456789abcd, 0x0000000000000000,
938  0xfff923456789abcd, 0x0000000000000000,
939  0xfff923456789abcd, 0x0000000000000000,
940  0xfff8000000000000, 0x0000000000000000,
941  0xfff923456789abcd, 0x0000000000000000,
942  0xfff923456789abcd, 0x0000000000000000,
943  0xfff923456789abcd, 0x0000000000000000,
944  0xfff0000000000000, 0x0000000000000000,
945  0xfff0000000000000, 0x0000000000000000,
946  0xbfd23456789abccf, 0x0000000000000000,
947  0xc01123456789abcb, 0x0000000000000000,
948  0xc00ffffffffffffd, 0x0000000000000000,
949  0xc00fffffffffffff, 0x0000000000000000,
950  0xfff0000000000000, 0x0000000000000000,
951  0x7ff8000000000000, 0x0000000000000000,
952  0x7ff8000000000000, 0x0000000000000000,
953  0x7ff8000000000000, 0x0000000000000000,
954  0x7ff0000000000000, 0x0000000000000000,
955  0x7ff0000000000000, 0x0000000000000000,
956  0x7ff0000000000000, 0x0000000000000000,
957  0x7ff0000000000000, 0x0000000000000000,
958  0x7ff0000000000000, 0x0000000000000000,
959  0x7ff0000000000000, 0x0000000000000000,
960  0x7ff0000000000000, 0x0000000000000000,
961  0x7ff0000000000000, 0x0000000000000000,
962  0x7ff0000000000000, 0x0000000000000000,
963  0x7ff0000000000000, 0x0000000000000000,
964  0x7ff0000000000000, 0x0000000000000000,
965  0x7ff0000000000000, 0x0000000000000000,
966  0x7ff0000000000000, 0x0000000000000000,
967  0x7ff0000000000000, 0x0000000000000000,
968  0x7ff0000000000000, 0x0000000000000000,
969  0x7ff0000000000000, 0x0000000000000000,
970  0x7ff0000000000000, 0x0000000000000000,
971  0x7ff0000000000000, 0x0000000000000000,
972  0x7ff0000000000000, 0x0000000000000000,
973  0x7ff0000000000000, 0x0000000000000000,
974  0x7ff0000000000000, 0x0000000000000000,
975  0x7ff923456789abcd, 0x0000000000000000,
976  0x7ff923456789abcd, 0x0000000000000000,
977  0x7ff923456789abcd, 0x0000000000000000,
978  0x7ff8000000000000, 0x0000000000000000,
979  0x7ff923456789abcd, 0x0000000000000000,
980  0x7ff923456789abcd, 0x0000000000000000,
981  0x7ff923456789abcd, 0x0000000000000000,
982  0x7ff0000000000000, 0x0000000000000000,
983  0x7ff0000000000000, 0x0000000000000000,
984  0x7ff0000000000000, 0x0000000000000000,
985  0x7ff0000000000000, 0x0000000000000000,
986  0x7ff0000000000000, 0x0000000000000000,
987  0x7ff0000000000000, 0x0000000000000000,
988  0x7ff0000000000000, 0x0000000000000000,
989  0x7ff8000000000000, 0x0000000000000000,
990  0x7ff8000000000000, 0x0000000000000000,
991  0x7ff8000000000000, 0x0000000000000000,
992  0xfff0000000000000, 0x0000000000000000,
993  0xfff0000000000000, 0x0000000000000000,
994  0xfff0000000000000, 0x0000000000000000,
995  0xfff0000000000000, 0x0000000000000000,
996  0xfff0000000000000, 0x0000000000000000,
997  0xfff0000000000000, 0x0000000000000000,
998  0xfff0000000000000, 0x0000000000000000,
999  0xfff0000000000000, 0x0000000000000000,
1000  0xfff0000000000000, 0x0000000000000000,
1001  0xfff0000000000000, 0x0000000000000000,
1002  0xfff0000000000000, 0x0000000000000000,
1003  0xfff0000000000000, 0x0000000000000000,
1004  0xfff0000000000000, 0x0000000000000000,
1005  0xfff0000000000000, 0x0000000000000000,
1006  0xfff0000000000000, 0x0000000000000000,
1007  0xfff0000000000000, 0x0000000000000000,
1008  0xfff0000000000000, 0x0000000000000000,
1009  0xfff0000000000000, 0x0000000000000000,
1010  0xfff0000000000000, 0x0000000000000000,
1011  0xfff0000000000000, 0x0000000000000000,
1012  0xfff0000000000000, 0x0000000000000000,
1013  0xfff923456789abcd, 0x0000000000000000,
1014  0xfff923456789abcd, 0x0000000000000000,
1015  0xfff923456789abcd, 0x0000000000000000,
1016  0xfff8000000000000, 0x0000000000000000,
1017  0xfff923456789abcd, 0x0000000000000000,
1018  0xfff923456789abcd, 0x0000000000000000,
1019  0xfff923456789abcd, 0x0000000000000000,
1020  0xfff0000000000000, 0x0000000000000000,
1021  0xfff0000000000000, 0x0000000000000000,
1022  0xfff0000000000000, 0x0000000000000000,
1023  0xfff0000000000000, 0x0000000000000000,
1024  0xfff0000000000000, 0x0000000000000000,
1025  0xfff0000000000000, 0x0000000000000000,
1026  0x7ff923456789abcd, 0x0000000000000000,
1027  0x7ff923456789abcd, 0x0000000000000000,
1028  0x7ff923456789abcd, 0x0000000000000000,
1029  0x7ff923456789abcd, 0x0000000000000000,
1030  0x7ff923456789abcd, 0x0000000000000000,
1031  0x7ff923456789abcd, 0x0000000000000000,
1032  0x7ff923456789abcd, 0x0000000000000000,
1033  0x7ff923456789abcd, 0x0000000000000000,
1034  0x7ff923456789abcd, 0x0000000000000000,
1035  0x7ff923456789abcd, 0x0000000000000000,
1036  0x7ff923456789abcd, 0x0000000000000000,
1037  0x7ff923456789abcd, 0x0000000000000000,
1038  0x7ff923456789abcd, 0x0000000000000000,
1039  0x7ff923456789abcd, 0x0000000000000000,
1040  0x7ff923456789abcd, 0x0000000000000000,
1041  0x7ff923456789abcd, 0x0000000000000000,
1042  0x7ff923456789abcd, 0x0000000000000000,
1043  0x7ff923456789abcd, 0x0000000000000000,
1044  0x7ff923456789abcd, 0x0000000000000000,
1045  0x7ff923456789abcd, 0x0000000000000000,
1046  0x7ff923456789abcd, 0x0000000000000000,
1047  0x7ff923456789abcd, 0x0000000000000000,
1048  0x7ff923456789abcd, 0x0000000000000000,
1049  0x7ff923456789abcd, 0x0000000000000000,
1050  0x7ff923456789abcd, 0x0000000000000000,
1051  0x7ff923456789abcd, 0x0000000000000000,
1052  0x7ff923456789abcd, 0x0000000000000000,
1053  0x7ff923456789abcd, 0x0000000000000000,
1054  0x7ff923456789abcd, 0x0000000000000000,
1055  0x7ff923456789abcd, 0x0000000000000000,
1056  0x7ff923456789abcd, 0x0000000000000000,
1057  0x7ff923456789abcd, 0x0000000000000000,
1058  0x7ff923456789abcd, 0x0000000000000000,
1059  0x7ff923456789abcd, 0x0000000000000000,
1060  0x7ff923456789abcd, 0x0000000000000000,
1061  0x7ff923456789abcd, 0x0000000000000000,
1062  0x7ff923456789abcd, 0x0000000000000000,
1063  0x7ff923456789abcd, 0x0000000000000000,
1064  0x7ff923456789abcd, 0x0000000000000000,
1065  0x7ff923456789abcd, 0x0000000000000000,
1066  0x7ff923456789abcd, 0x0000000000000000,
1067  0x7ff923456789abcd, 0x0000000000000000,
1068  0x7ff923456789abcd, 0x0000000000000000,
1069  0x7ff923456789abcd, 0x0000000000000000,
1070  0x7ff923456789abcd, 0x0000000000000000,
1071  0x7ff923456789abcd, 0x0000000000000000,
1072  0x7ff923456789abcd, 0x0000000000000000,
1073  0x7ff923456789abcd, 0x0000000000000000,
1074  0x7ff923456789abcd, 0x0000000000000000,
1075  0x7ff923456789abcd, 0x0000000000000000,
1076  0x7ff923456789abcd, 0x0000000000000000,
1077  0x7ff923456789abcd, 0x0000000000000000,
1078  0x7ff923456789abcd, 0x0000000000000000,
1079  0x7ff923456789abcd, 0x0000000000000000,
1080  0x7ff923456789abcd, 0x0000000000000000,
1081  0x7ff923456789abcd, 0x0000000000000000,
1082  0x7ff923456789abcd, 0x0000000000000000,
1083  0x7ff923456789abcd, 0x0000000000000000,
1084  0x7ff923456789abcd, 0x0000000000000000,
1085  0x7ff923456789abcd, 0x0000000000000000,
1086  0x7ff923456789abcd, 0x0000000000000000,
1087  0x7ff923456789abcd, 0x0000000000000000,
1088  0x7ff923456789abcd, 0x0000000000000000,
1089  0x7ff923456789abcd, 0x0000000000000000,
1090  0x7ff923456789abcd, 0x0000000000000000,
1091  0x7ff923456789abcd, 0x0000000000000000,
1092  0x7ff923456789abcd, 0x0000000000000000,
1093  0xfff923456789abcd, 0x0000000000000000,
1094  0xfff923456789abcd, 0x0000000000000000,
1095  0xfff923456789abcd, 0x0000000000000000,
1096  0x7ff923456789abcd, 0x0000000000000000,
1097  0x7ff923456789abcd, 0x0000000000000000,
1098  0x7ff923456789abcd, 0x0000000000000000,
1099  0x7ff923456789abcd, 0x0000000000000000,
1100  0x7ff923456789abcd, 0x0000000000000000,
1101  0x7ff923456789abcd, 0x0000000000000000,
1102  0x7ff8000000000000, 0x0000000000000000,
1103  0x7ff8000000000000, 0x0000000000000000,
1104  0x7ff8000000000000, 0x0000000000000000,
1105  0x7ff8000000000000, 0x0000000000000000,
1106  0x7ff8000000000000, 0x0000000000000000,
1107  0x7ff8000000000000, 0x0000000000000000,
1108  0x7ff8000000000000, 0x0000000000000000,
1109  0x7ff8000000000000, 0x0000000000000000,
1110  0x7ff8000000000000, 0x0000000000000000,
1111  0x7ff8000000000000, 0x0000000000000000,
1112  0x7ff8000000000000, 0x0000000000000000,
1113  0x7ff8000000000000, 0x0000000000000000,
1114  0x7ff8000000000000, 0x0000000000000000,
1115  0x7ff8000000000000, 0x0000000000000000,
1116  0x7ff8000000000000, 0x0000000000000000,
1117  0x7ff8000000000000, 0x0000000000000000,
1118  0x7ff8000000000000, 0x0000000000000000,
1119  0x7ff8000000000000, 0x0000000000000000,
1120  0x7ff8000000000000, 0x0000000000000000,
1121  0x7ff8000000000000, 0x0000000000000000,
1122  0x7ff8000000000000, 0x0000000000000000,
1123  0x7ff8000000000000, 0x0000000000000000,
1124  0x7ff8000000000000, 0x0000000000000000,
1125  0x7ff8000000000000, 0x0000000000000000,
1126  0x7ff8000000000000, 0x0000000000000000,
1127  0x7ff8000000000000, 0x0000000000000000,
1128  0x7ff8000000000000, 0x0000000000000000,
1129  0x7ff8000000000000, 0x0000000000000000,
1130  0x7ff8000000000000, 0x0000000000000000,
1131  0x7ff923456789abcd, 0x0000000000000000,
1132  0x7ff923456789abcd, 0x0000000000000000,
1133  0x7ff923456789abcd, 0x0000000000000000,
1134  0x7ff8000000000000, 0x0000000000000000,
1135  0x7ff8000000000000, 0x0000000000000000,
1136  0x7ff8000000000000, 0x0000000000000000,
1137  0x7ff8000000000000, 0x0000000000000000,
1138  0x7ff8000000000000, 0x0000000000000000,
1139  0x7ff8000000000000, 0x0000000000000000,
1140  0x7ff8000000000000, 0x0000000000000000,
1141  0x7ff8000000000000, 0x0000000000000000,
1142  0x7ff8000000000000, 0x0000000000000000,
1143  0x7ff8000000000000, 0x0000000000000000,
1144  0x7ff8000000000000, 0x0000000000000000,
1145  0x7ff8000000000000, 0x0000000000000000,
1146  0x7ff8000000000000, 0x0000000000000000,
1147  0x7ff8000000000000, 0x0000000000000000,
1148  0x7ff8000000000000, 0x0000000000000000,
1149  0x7ff8000000000000, 0x0000000000000000,
1150  0x7ff8000000000000, 0x0000000000000000,
1151  0x7ff8000000000000, 0x0000000000000000,
1152  0x7ff8000000000000, 0x0000000000000000,
1153  0x7ff8000000000000, 0x0000000000000000,
1154  0x7ff8000000000000, 0x0000000000000000,
1155  0x7ff8000000000000, 0x0000000000000000,
1156  0x7ff8000000000000, 0x0000000000000000,
1157  0x7ff8000000000000, 0x0000000000000000,
1158  0x7ff8000000000000, 0x0000000000000000,
1159  0x7ff8000000000000, 0x0000000000000000,
1160  0x7ff8000000000000, 0x0000000000000000,
1161  0x7ff8000000000000, 0x0000000000000000,
1162  0x7ff8000000000000, 0x0000000000000000,
1163  0x7ff8000000000000, 0x0000000000000000,
1164  0x7ff8000000000000, 0x0000000000000000,
1165  0x7ff8000000000000, 0x0000000000000000,
1166  0x7ff8000000000000, 0x0000000000000000,
1167  0x7ff8000000000000, 0x0000000000000000,
1168  0x7ff8000000000000, 0x0000000000000000,
1169  0xfff923456789abcd, 0x0000000000000000,
1170  0xfff923456789abcd, 0x0000000000000000,
1171  0xfff923456789abcd, 0x0000000000000000,
1172  0x7ff8000000000000, 0x0000000000000000,
1173  0x7ff8000000000000, 0x0000000000000000,
1174  0x7ff8000000000000, 0x0000000000000000,
1175  0x7ff8000000000000, 0x0000000000000000,
1176  0x7ff8000000000000, 0x0000000000000000,
1177  0x7ff8000000000000, 0x0000000000000000,
1178  0x7ff923456789abcd, 0x0000000000000000,
1179  0x7ff923456789abcd, 0x0000000000000000,
1180  0x7ff923456789abcd, 0x0000000000000000,
1181  0x7ff923456789abcd, 0x0000000000000000,
1182  0x7ff923456789abcd, 0x0000000000000000,
1183  0x7ff923456789abcd, 0x0000000000000000,
1184  0x7ff923456789abcd, 0x0000000000000000,
1185  0x7ff923456789abcd, 0x0000000000000000,
1186  0x7ff923456789abcd, 0x0000000000000000,
1187  0x7ff923456789abcd, 0x0000000000000000,
1188  0x7ff923456789abcd, 0x0000000000000000,
1189  0x7ff923456789abcd, 0x0000000000000000,
1190  0x7ff923456789abcd, 0x0000000000000000,
1191  0x7ff923456789abcd, 0x0000000000000000,
1192  0x7ff923456789abcd, 0x0000000000000000,
1193  0x7ff923456789abcd, 0x0000000000000000,
1194  0x7ff923456789abcd, 0x0000000000000000,
1195  0x7ff923456789abcd, 0x0000000000000000,
1196  0x7ff923456789abcd, 0x0000000000000000,
1197  0x7ff923456789abcd, 0x0000000000000000,
1198  0x7ff923456789abcd, 0x0000000000000000,
1199  0x7ff923456789abcd, 0x0000000000000000,
1200  0x7ff923456789abcd, 0x0000000000000000,
1201  0x7ff923456789abcd, 0x0000000000000000,
1202  0x7ff923456789abcd, 0x0000000000000000,
1203  0x7ff923456789abcd, 0x0000000000000000,
1204  0x7ff923456789abcd, 0x0000000000000000,
1205  0x7ff923456789abcd, 0x0000000000000000,
1206  0x7ff923456789abcd, 0x0000000000000000,
1207  0x7ff923456789abcd, 0x0000000000000000,
1208  0x7ff923456789abcd, 0x0000000000000000,
1209  0x7ff923456789abcd, 0x0000000000000000,
1210  0x7ff923456789abcd, 0x0000000000000000,
1211  0x7ff923456789abcd, 0x0000000000000000,
1212  0x7ff923456789abcd, 0x0000000000000000,
1213  0x7ff923456789abcd, 0x0000000000000000,
1214  0x7ff923456789abcd, 0x0000000000000000,
1215  0x7ff923456789abcd, 0x0000000000000000,
1216  0x7ff923456789abcd, 0x0000000000000000,
1217  0x7ff923456789abcd, 0x0000000000000000,
1218  0x7ff923456789abcd, 0x0000000000000000,
1219  0x7ff923456789abcd, 0x0000000000000000,
1220  0x7ff923456789abcd, 0x0000000000000000,
1221  0x7ff923456789abcd, 0x0000000000000000,
1222  0x7ff923456789abcd, 0x0000000000000000,
1223  0x7ff923456789abcd, 0x0000000000000000,
1224  0x7ff923456789abcd, 0x0000000000000000,
1225  0x7ff923456789abcd, 0x0000000000000000,
1226  0x7ff923456789abcd, 0x0000000000000000,
1227  0x7ff923456789abcd, 0x0000000000000000,
1228  0x7ff923456789abcd, 0x0000000000000000,
1229  0x7ff923456789abcd, 0x0000000000000000,
1230  0x7ff923456789abcd, 0x0000000000000000,
1231  0x7ff923456789abcd, 0x0000000000000000,
1232  0x7ff923456789abcd, 0x0000000000000000,
1233  0x7ff923456789abcd, 0x0000000000000000,
1234  0x7ff923456789abcd, 0x0000000000000000,
1235  0x7ff923456789abcd, 0x0000000000000000,
1236  0x7ff923456789abcd, 0x0000000000000000,
1237  0x7ff923456789abcd, 0x0000000000000000,
1238  0x7ff923456789abcd, 0x0000000000000000,
1239  0x7ff923456789abcd, 0x0000000000000000,
1240  0x7ff923456789abcd, 0x0000000000000000,
1241  0x7ff923456789abcd, 0x0000000000000000,
1242  0x7ff923456789abcd, 0x0000000000000000,
1243  0x7ff923456789abcd, 0x0000000000000000,
1244  0x7ff923456789abcd, 0x0000000000000000,
1245  0x7ff923456789abcd, 0x0000000000000000,
1246  0x7ff923456789abcd, 0x0000000000000000,
1247  0x7ff923456789abcd, 0x0000000000000000,
1248  0x7ff923456789abcd, 0x0000000000000000,
1249  0x7ff923456789abcd, 0x0000000000000000,
1250  0x7ff923456789abcd, 0x0000000000000000,
1251  0x7ff923456789abcd, 0x0000000000000000,
1252  0x7ff923456789abcd, 0x0000000000000000,
1253  0x7ff923456789abcd, 0x0000000000000000,
1254  0xfff0000000000000, 0x0000000000000000,
1255  0x7ff8000000000000, 0x0000000000000000,
1256  0x7ff8000000000000, 0x0000000000000000,
1257  0x7ff8000000000000, 0x0000000000000000,
1258  0x7ff0000000000000, 0x0000000000000000,
1259  0x7ff0000000000000, 0x0000000000000000,
1260  0x7ff0000000000000, 0x0000000000000000,
1261  0x7ff0000000000000, 0x0000000000000000,
1262  0x7ff0000000000000, 0x0000000000000000,
1263  0x7ff0000000000000, 0x0000000000000000,
1264  0x7ff0000000000000, 0x0000000000000000,
1265  0x7ff0000000000000, 0x0000000000000000,
1266  0x7ff0000000000000, 0x0000000000000000,
1267  0x7ff0000000000000, 0x0000000000000000,
1268  0x7ff0000000000000, 0x0000000000000000,
1269  0x7ff0000000000000, 0x0000000000000000,
1270  0x7ff0000000000000, 0x0000000000000000,
1271  0x7ff0000000000000, 0x0000000000000000,
1272  0x7ff0000000000000, 0x0000000000000000,
1273  0x7ff0000000000000, 0x0000000000000000,
1274  0x7ff0000000000000, 0x0000000000000000,
1275  0x7ff0000000000000, 0x0000000000000000,
1276  0x7ff0000000000000, 0x0000000000000000,
1277  0x7ff0000000000000, 0x0000000000000000,
1278  0x7ff0000000000000, 0x0000000000000000,
1279  0x7ff923456789abcd, 0x0000000000000000,
1280  0x7ff923456789abcd, 0x0000000000000000,
1281  0x7ff923456789abcd, 0x0000000000000000,
1282  0x7ff8000000000000, 0x0000000000000000,
1283  0x7ff923456789abcd, 0x0000000000000000,
1284  0x7ff923456789abcd, 0x0000000000000000,
1285  0x7ff923456789abcd, 0x0000000000000000,
1286  0x7ff0000000000000, 0x0000000000000000,
1287  0x7ff0000000000000, 0x0000000000000000,
1288  0x7ff0000000000000, 0x0000000000000000,
1289  0x7ff0000000000000, 0x0000000000000000,
1290  0x7ff0000000000000, 0x0000000000000000,
1291  0x7ff0000000000000, 0x0000000000000000,
1292  0x7ff0000000000000, 0x0000000000000000,
1293  0x7ff8000000000000, 0x0000000000000000,
1294  0x7ff8000000000000, 0x0000000000000000,
1295  0x7ff8000000000000, 0x0000000000000000,
1296  0xfff0000000000000, 0x0000000000000000,
1297  0xfff0000000000000, 0x0000000000000000,
1298  0xfff0000000000000, 0x0000000000000000,
1299  0xfff0000000000000, 0x0000000000000000,
1300  0xfff0000000000000, 0x0000000000000000,
1301  0xfff0000000000000, 0x0000000000000000,
1302  0xfff0000000000000, 0x0000000000000000,
1303  0xfff0000000000000, 0x0000000000000000,
1304  0xfff0000000000000, 0x0000000000000000,
1305  0xfff0000000000000, 0x0000000000000000,
1306  0xfff0000000000000, 0x0000000000000000,
1307  0xfff0000000000000, 0x0000000000000000,
1308  0xfff0000000000000, 0x0000000000000000,
1309  0xfff0000000000000, 0x0000000000000000,
1310  0xfff0000000000000, 0x0000000000000000,
1311  0xfff0000000000000, 0x0000000000000000,
1312  0xfff0000000000000, 0x0000000000000000,
1313  0xfff0000000000000, 0x0000000000000000,
1314  0xfff0000000000000, 0x0000000000000000,
1315  0xfff0000000000000, 0x0000000000000000,
1316  0xfff0000000000000, 0x0000000000000000,
1317  0xfff923456789abcd, 0x0000000000000000,
1318  0xfff923456789abcd, 0x0000000000000000,
1319  0xfff923456789abcd, 0x0000000000000000,
1320  0xfff8000000000000, 0x0000000000000000,
1321  0xfff923456789abcd, 0x0000000000000000,
1322  0xfff923456789abcd, 0x0000000000000000,
1323  0xfff923456789abcd, 0x0000000000000000,
1324  0xfff0000000000000, 0x0000000000000000,
1325  0xfff0000000000000, 0x0000000000000000,
1326  0xfff0000000000000, 0x0000000000000000,
1327  0xfff0000000000000, 0x0000000000000000,
1328  0xfff0000000000000, 0x0000000000000000,
1329  0xfff0000000000000, 0x0000000000000000,
1330  0x8000000000000000, 0x0000000000000000,
1331  0x0000000000000000, 0x0000000000000000,
1332  0x0000000000000000, 0x0000000000000000,
1333  0x0000000000000000, 0x0000000000000000,
1334  0x0000000000000000, 0x0000000000000000,
1335  0x000091a2b3c4d5e6, 0x0000000000000000,
1336  0x000091a2b3c4d5e6, 0x0000000000000000,
1337  0x000123456789abcc, 0x0000000000000000,
1338  0x000091a2b3c4d5e6, 0x0000000000000000,
1339  0x000123456789abcd, 0x0000000000000000,
1340  0x000091a2b3c4d5e7, 0x0000000000000000,
1341  0x0001b4e81b4e81b4, 0x0000000000000000,
1342  0x000123456789abcd, 0x0000000000000000,
1343  0x0002468acf13579a, 0x0000000000000000,
1344  0x000123456789abcd, 0x0000000000000000,
1345  0x0002468acf13579a, 0x0000000000000000,
1346  0x000123456789abcd, 0x0000000000000000,
1347  0x0002d82d82d82d80, 0x0000000000000000,
1348  0x0001b4e81b4e81b4, 0x0000000000000000,
1349  0x000d159e26af37b6, 0x0000000000000000,
1350  0x000b60b60b60b602, 0x0000000000000000,
1351  0x3fd23456789abccf, 0x0000000000000000,
1352  0x3fd23456789abccf, 0x0000000000000000,
1353  0x7ff0000000000000, 0x0000000000000000,
1354  0x7ff0000000000000, 0x0000000000000000,
1355  0x7ff923456789abcd, 0x0000000000000000,
1356  0x7ff923456789abcd, 0x0000000000000000,
1357  0x7ff923456789abcd, 0x0000000000000000,
1358  0x7ff8000000000000, 0x0000000000000000,
1359  0x7ff923456789abcd, 0x0000000000000000,
1360  0x7ff923456789abcd, 0x0000000000000000,
1361  0x7ff923456789abcd, 0x0000000000000000,
1362  0x7ff0000000000000, 0x0000000000000000,
1363  0x7ff0000000000000, 0x0000000000000000,
1364  0x0000000000000000, 0x0000000000000000,
1365  0x0000000000000000, 0x0000000000000000,
1366  0x0000000000000000, 0x0000000000000000,
1367  0x0000000000000000, 0x0000000000000000,
1368  0x0000000000000000, 0x0000000000000000,
1369  0x0000000000000000, 0x0000000000000000,
1370  0x0000000000000000, 0x0000000000000000,
1371  0x8000000000000000, 0x0000000000000000,
1372  0x8000000000000000, 0x0000000000000000,
1373  0x800091a2b3c4d5e6, 0x0000000000000000,
1374  0x800091a2b3c4d5e6, 0x0000000000000000,
1375  0x800123456789abcc, 0x0000000000000000,
1376  0x800091a2b3c4d5e6, 0x0000000000000000,
1377  0x800123456789abcd, 0x0000000000000000,
1378  0x800091a2b3c4d5e7, 0x0000000000000000,
1379  0x8001b4e81b4e81b4, 0x0000000000000000,
1380  0x800123456789abcd, 0x0000000000000000,
1381  0x8002468acf13579a, 0x0000000000000000,
1382  0x800123456789abcd, 0x0000000000000000,
1383  0x8002468acf13579a, 0x0000000000000000,
1384  0x800123456789abcd, 0x0000000000000000,
1385  0x8002d82d82d82d80, 0x0000000000000000,
1386  0x8001b4e81b4e81b4, 0x0000000000000000,
1387  0x800d159e26af37b6, 0x0000000000000000,
1388  0x800b60b60b60b602, 0x0000000000000000,
1389  0xbfd23456789abccf, 0x0000000000000000,
1390  0xbfd23456789abccf, 0x0000000000000000,
1391  0xfff0000000000000, 0x0000000000000000,
1392  0xfff0000000000000, 0x0000000000000000,
1393  0xfff923456789abcd, 0x0000000000000000,
1394  0xfff923456789abcd, 0x0000000000000000,
1395  0xfff923456789abcd, 0x0000000000000000,
1396  0xfff8000000000000, 0x0000000000000000,
1397  0xfff923456789abcd, 0x0000000000000000,
1398  0xfff923456789abcd, 0x0000000000000000,
1399  0xfff923456789abcd, 0x0000000000000000,
1400  0xfff0000000000000, 0x0000000000000000,
1401  0xfff0000000000000, 0x0000000000000000,
1402  0x8000000000000000, 0x0000000000000000,
1403  0x8000000000000000, 0x0000000000000000,
1404  0x8000000000000000, 0x0000000000000000,
1405  0x8000000000000000, 0x0000000000000000,
1406  0x8000000000000000, 0x0000000000000000,
1407  0x0000000000000000, 0x0000000000000000,
1408  0x0000000000000000, 0x0000000000000000,
1409  0x0000000000000000, 0x0000000000000000,
1410  0x0000000000000000, 0x0000000000000000,
1411  0x0007ffffffffffff, 0x0000000000000000,
1412  0x0007ffffffffffff, 0x0000000000000000,
1413  0x000ffffffffffffe, 0x0000000000000000,
1414  0x0008000000000000, 0x0000000000000000,
1415  0x0010000000000000, 0x0000000000000000,
1416  0x0008000000000000, 0x0000000000000000,
1417  0x0017ffffffffffff, 0x0000000000000000,
1418  0x000fffffffffffff, 0x0000000000000000,
1419  0x001ffffffffffffe, 0x0000000000000000,
1420  0x000fffffffffffff, 0x0000000000000000,
1421  0x001fffffffffffff, 0x0000000000000000,
1422  0x0010000000000000, 0x0000000000000000,
1423  0x0023ffffffffffff, 0x0000000000000000,
1424  0x0017fffffffffffe, 0x0000000000000000,
1425  0x0046fffffffffffe, 0x0000000000000000,
1426  0x0043ffffffffffff, 0x0000000000000000,
1427  0x400ffffffffffffd, 0x0000000000000000,
1428  0x400ffffffffffffd, 0x0000000000000000,
1429  0x7ff0000000000000, 0x0000000000000000,
1430  0x7ff0000000000000, 0x0000000000000000,
1431  0x7ff923456789abcd, 0x0000000000000000,
1432  0x7ff923456789abcd, 0x0000000000000000,
1433  0x7ff923456789abcd, 0x0000000000000000,
1434  0x7ff8000000000000, 0x0000000000000000,
1435  0x7ff923456789abcd, 0x0000000000000000,
1436  0x7ff923456789abcd, 0x0000000000000000,
1437  0x7ff923456789abcd, 0x0000000000000000,
1438  0x7ff0000000000000, 0x0000000000000000,
1439  0x7ff0000000000000, 0x0000000000000000,
1440  0x0000000000000000, 0x0000000000000000,
1441  0x0000000000000000, 0x0000000000000000,
1442  0x0000000000000000, 0x0000000000000000,
1443  0x0000000000000000, 0x0000000000000000,
1444  0x0000000000000000, 0x0000000000000000,
1445  0x0000000000000000, 0x0000000000000000,
1446  0x0000000000000000, 0x0000000000000000,
1447  0x8000000000000000, 0x0000000000000000,
1448  0x8000000000000000, 0x0000000000000000,
1449  0x8007ffffffffffff, 0x0000000000000000,
1450  0x8007ffffffffffff, 0x0000000000000000,
1451  0x800ffffffffffffe, 0x0000000000000000,
1452  0x8008000000000000, 0x0000000000000000,
1453  0x8010000000000000, 0x0000000000000000,
1454  0x8008000000000000, 0x0000000000000000,
1455  0x8017ffffffffffff, 0x0000000000000000,
1456  0x800fffffffffffff, 0x0000000000000000,
1457  0x801ffffffffffffe, 0x0000000000000000,
1458  0x800fffffffffffff, 0x0000000000000000,
1459  0x801fffffffffffff, 0x0000000000000000,
1460  0x8010000000000000, 0x0000000000000000,
1461  0x8023ffffffffffff, 0x0000000000000000,
1462  0x8017fffffffffffe, 0x0000000000000000,
1463  0x8046fffffffffffe, 0x0000000000000000,
1464  0x8043ffffffffffff, 0x0000000000000000,
1465  0xc00ffffffffffffd, 0x0000000000000000,
1466  0xc00ffffffffffffd, 0x0000000000000000,
1467  0xfff0000000000000, 0x0000000000000000,
1468  0xfff0000000000000, 0x0000000000000000,
1469  0xfff923456789abcd, 0x0000000000000000,
1470  0xfff923456789abcd, 0x0000000000000000,
1471  0xfff923456789abcd, 0x0000000000000000,
1472  0xfff8000000000000, 0x0000000000000000,
1473  0xfff923456789abcd, 0x0000000000000000,
1474  0xfff923456789abcd, 0x0000000000000000,
1475  0xfff923456789abcd, 0x0000000000000000,
1476  0xfff0000000000000, 0x0000000000000000,
1477  0xfff0000000000000, 0x0000000000000000,
1478  0x8000000000000000, 0x0000000000000000,
1479  0x8000000000000000, 0x0000000000000000,
1480  0x8000000000000000, 0x0000000000000000,
1481  0x8000000000000000, 0x0000000000000000,
1482  0x8000000000000000, 0x0000000000000000,
1483  0x0000000000000000, 0x0000000000000000,
1484  0x0000000000000000, 0x0000000000000000,
1485  0x0000000000000000, 0x0000000000000000,
1486  0x0000000000000000, 0x0000000000000000,
1487  0x0000000000000000, 0x0000000000000000,
1488  0x0000000000000000, 0x0000000000000000,
1489  0x0000000000000000, 0x0000000000000000,
1490  0x0000000000000000, 0x0000000000000000,
1491  0x0000000000000001, 0x0000000000000000,
1492  0x0000000000000001, 0x0000000000000000,
1493  0x0000000000000002, 0x0000000000000000,
1494  0x0000000000000001, 0x0000000000000000,
1495  0x0000000000000002, 0x0000000000000000,
1496  0x0000000000000001, 0x0000000000000000,
1497  0x0000000000000002, 0x0000000000000000,
1498  0x0000000000000001, 0x0000000000000000,
1499  0x0000000000000002, 0x0000000000000000,
1500  0x0000000000000002, 0x0000000000000000,
1501  0x000000000000000c, 0x0000000000000000,
1502  0x000000000000000a, 0x0000000000000000,
1503  0x3ccfffffffffffff, 0x0000000000000000,
1504  0x3ccfffffffffffff, 0x0000000000000000,
1505  0x7ff0000000000000, 0x0000000000000000,
1506  0x7ff0000000000000, 0x0000000000000000,
1507  0x7ff923456789abcd, 0x0000000000000000,
1508  0x7ff923456789abcd, 0x0000000000000000,
1509  0x7ff923456789abcd, 0x0000000000000000,
1510  0x7ff8000000000000, 0x0000000000000000,
1511  0x7ff923456789abcd, 0x0000000000000000,
1512  0x7ff923456789abcd, 0x0000000000000000,
1513  0x7ff923456789abcd, 0x0000000000000000,
1514  0x7ff0000000000000, 0x0000000000000000,
1515  0x7ff0000000000000, 0x0000000000000000,
1516  0x0000000000000000, 0x0000000000000000,
1517  0x0000000000000000, 0x0000000000000000,
1518  0x0000000000000000, 0x0000000000000000,
1519  0x0000000000000000, 0x0000000000000000,
1520  0x0000000000000000, 0x0000000000000000,
1521  0x0000000000000000, 0x0000000000000000,
1522  0x0000000000000000, 0x0000000000000000,
1523  0x8000000000000000, 0x0000000000000000,
1524  0x8000000000000000, 0x0000000000000000,
1525  0x8000000000000000, 0x0000000000000000,
1526  0x8000000000000000, 0x0000000000000000,
1527  0x8000000000000000, 0x0000000000000000,
1528  0x8000000000000000, 0x0000000000000000,
1529  0x8000000000000001, 0x0000000000000000,
1530  0x8000000000000001, 0x0000000000000000,
1531  0x8000000000000002, 0x0000000000000000,
1532  0x8000000000000001, 0x0000000000000000,
1533  0x8000000000000002, 0x0000000000000000,
1534  0x8000000000000001, 0x0000000000000000,
1535  0x8000000000000002, 0x0000000000000000,
1536  0x8000000000000001, 0x0000000000000000,
1537  0x8000000000000002, 0x0000000000000000,
1538  0x8000000000000002, 0x0000000000000000,
1539  0x800000000000000c, 0x0000000000000000,
1540  0x800000000000000a, 0x0000000000000000,
1541  0xbccfffffffffffff, 0x0000000000000000,
1542  0xbccfffffffffffff, 0x0000000000000000,
1543  0xfff0000000000000, 0x0000000000000000,
1544  0xfff0000000000000, 0x0000000000000000,
1545  0xfff923456789abcd, 0x0000000000000000,
1546  0xfff923456789abcd, 0x0000000000000000,
1547  0xfff923456789abcd, 0x0000000000000000,
1548  0xfff8000000000000, 0x0000000000000000,
1549  0xfff923456789abcd, 0x0000000000000000,
1550  0xfff923456789abcd, 0x0000000000000000,
1551  0xfff923456789abcd, 0x0000000000000000,
1552  0xfff0000000000000, 0x0000000000000000,
1553  0xfff0000000000000, 0x0000000000000000,
1554  0x8000000000000000, 0x0000000000000000,
1555  0x8000000000000000, 0x0000000000000000,
1556  0x8000000000000000, 0x0000000000000000,
1557  0x8000000000000000, 0x0000000000000000,
1558  0x0000000000000000, 0x0000000000000000,
1559  0x0000000000000000, 0x0000000000000000,
1560  0x0000000000000000, 0x0000000000000000,
1561  0x0000000000000000, 0x0000000000000000,
1562  0x0000000000000000, 0x0000000000000000,
1563  0x0000000000000000, 0x0000000000000000,
1564  0x0000000000000000, 0x0000000000000000,
1565  0x0000000000000000, 0x0000000000000000,
1566  0x0000000000000000, 0x0000000000000000,
1567  0x0000000000000000, 0x0000000000000000,
1568  0x0000000000000000, 0x0000000000000000,
1569  0x0000000000000000, 0x0000000000000000,
1570  0x0000000000000000, 0x0000000000000000,
1571  0x0000000000000000, 0x0000000000000000,
1572  0x0000000000000000, 0x0000000000000000,
1573  0x0000000000000000, 0x0000000000000000,
1574  0x0000000000000000, 0x0000000000000000,
1575  0x0000000000000000, 0x0000000000000000,
1576  0x0000000000000000, 0x0000000000000000,
1577  0x0000000000000000, 0x0000000000000000,
1578  0x0000000000000000, 0x0000000000000000,
1579  0x0000000000000000, 0x0000000000000000,
1580  0x0000000000000000, 0x0000000000000000,
1581  0x7ff8000000000000, 0x0000000000000000,
1582  0x7ff8000000000000, 0x0000000000000000,
1583  0x7ff8000000000000, 0x0000000000000000,
1584  0x7ff923456789abcd, 0x0000000000000000,
1585  0x7ff923456789abcd, 0x0000000000000000,
1586  0x7ff8000000000000, 0x0000000000000000,
1587  0x7ff923456789abcd, 0x0000000000000000,
1588  0x7ff923456789abcd, 0x0000000000000000,
1589  0x7ff8000000000000, 0x0000000000000000,
1590  0x7ff8000000000000, 0x0000000000000000,
1591  0x7ff8000000000000, 0x0000000000000000,
1592  0x0000000000000000, 0x0000000000000000,
1593  0x0000000000000000, 0x0000000000000000,
1594  0x0000000000000000, 0x0000000000000000,
1595  0x0000000000000000, 0x0000000000000000,
1596  0x0000000000000000, 0x0000000000000000,
1597  0x0000000000000000, 0x0000000000000000,
1598  0x0000000000000000, 0x0000000000000000,
1599  0x0000000000000000, 0x0000000000000000,
1600  0x0000000000000000, 0x0000000000000000,
1601  0x0000000000000000, 0x0000000000000000,
1602  0x0000000000000000, 0x0000000000000000,
1603  0x0000000000000000, 0x0000000000000000,
1604  0x0000000000000000, 0x0000000000000000,
1605  0x0000000000000000, 0x0000000000000000,
1606  0x0000000000000000, 0x0000000000000000,
1607  0x0000000000000000, 0x0000000000000000,
1608  0x0000000000000000, 0x0000000000000000,
1609  0x0000000000000000, 0x0000000000000000,
1610  0x0000000000000000, 0x0000000000000000,
1611  0x0000000000000000, 0x0000000000000000,
1612  0x0000000000000000, 0x0000000000000000,
1613  0x0000000000000000, 0x0000000000000000,
1614  0x0000000000000000, 0x0000000000000000,
1615  0x0000000000000000, 0x0000000000000000,
1616  0x0000000000000000, 0x0000000000000000,
1617  0x0000000000000000, 0x0000000000000000,
1618  0x0000000000000000, 0x0000000000000000,
1619  0x7ff8000000000000, 0x0000000000000000,
1620  0x7ff8000000000000, 0x0000000000000000,
1621  0x7ff8000000000000, 0x0000000000000000,
1622  0xfff923456789abcd, 0x0000000000000000,
1623  0xfff923456789abcd, 0x0000000000000000,
1624  0xfff8000000000000, 0x0000000000000000,
1625  0xfff923456789abcd, 0x0000000000000000,
1626  0xfff923456789abcd, 0x0000000000000000,
1627  0x7ff8000000000000, 0x0000000000000000,
1628  0x7ff8000000000000, 0x0000000000000000,
1629  0x7ff8000000000000, 0x0000000000000000,
1630  0x0000000000000000, 0x0000000000000000,
1631  0x0000000000000000, 0x0000000000000000,
1632  0x0000000000000000, 0x0000000000000000,
1633  0x0000000000000000, 0x0000000000000000,
1634  0x0000000000000000, 0x0000000000000000,
1635  0x0000000000000000, 0x0000000000000000,
1636  0x0000000000000000, 0x0000000000000000,
1637  0x8000000000000000, 0x0000000000000000,
1638  0x8000000000000000, 0x0000000000000000,
1639  0x8008000000000000, 0x0000000000000000,
1640  0x8008000000000000, 0x0000000000000000,
1641  0x8010000000000000, 0x0000000000000000,
1642  0x8008000000000000, 0x0000000000000000,
1643  0x8010000000000000, 0x0000000000000000,
1644  0x8008000000000000, 0x0000000000000000,
1645  0x8018000000000000, 0x0000000000000000,
1646  0x8010000000000000, 0x0000000000000000,
1647  0x8020000000000000, 0x0000000000000000,
1648  0x8010000000000000, 0x0000000000000000,
1649  0x8020000000000000, 0x0000000000000000,
1650  0x8010000000000001, 0x0000000000000000,
1651  0x8024000000000000, 0x0000000000000000,
1652  0x8018000000000000, 0x0000000000000000,
1653  0x8047000000000000, 0x0000000000000000,
1654  0x8044000000000000, 0x0000000000000000,
1655  0xc00fffffffffffff, 0x0000000000000000,
1656  0xc00fffffffffffff, 0x0000000000000000,
1657  0xfff0000000000000, 0x0000000000000000,
1658  0xfff0000000000000, 0x0000000000000000,
1659  0x7ff923456789abcd, 0x0000000000000000,
1660  0x7ff923456789abcd, 0x0000000000000000,
1661  0x7ff923456789abcd, 0x0000000000000000,
1662  0x7ff8000000000000, 0x0000000000000000,
1663  0x7ff923456789abcd, 0x0000000000000000,
1664  0x7ff923456789abcd, 0x0000000000000000,
1665  0x7ff923456789abcd, 0x0000000000000000,
1666  0xfff0000000000000, 0x0000000000000000,
1667  0xfff0000000000000, 0x0000000000000000,
1668  0x8000000000000000, 0x0000000000000000,
1669  0x8000000000000000, 0x0000000000000000,
1670  0x8000000000000000, 0x0000000000000000,
1671  0x8000000000000000, 0x0000000000000000,
1672  0x8000000000000000, 0x0000000000000000,
1673  0x0000000000000000, 0x0000000000000000,
1674  0x0000000000000000, 0x0000000000000000,
1675  0x0000000000000000, 0x0000000000000000,
1676  0x0000000000000000, 0x0000000000000000,
1677  0x0008000000000000, 0x0000000000000000,
1678  0x0008000000000000, 0x0000000000000000,
1679  0x0010000000000000, 0x0000000000000000,
1680  0x0008000000000000, 0x0000000000000000,
1681  0x0010000000000000, 0x0000000000000000,
1682  0x0008000000000000, 0x0000000000000000,
1683  0x0018000000000000, 0x0000000000000000,
1684  0x0010000000000000, 0x0000000000000000,
1685  0x0020000000000000, 0x0000000000000000,
1686  0x0010000000000000, 0x0000000000000000,
1687  0x0020000000000000, 0x0000000000000000,
1688  0x0010000000000001, 0x0000000000000000,
1689  0x0024000000000000, 0x0000000000000000,
1690  0x0018000000000000, 0x0000000000000000,
1691  0x0047000000000000, 0x0000000000000000,
1692  0x0044000000000000, 0x0000000000000000,
1693  0x400fffffffffffff, 0x0000000000000000,
1694  0x400fffffffffffff, 0x0000000000000000,
1695  0x7ff0000000000000, 0x0000000000000000,
1696  0x7ff0000000000000, 0x0000000000000000,
1697  0xfff923456789abcd, 0x0000000000000000,
1698  0xfff923456789abcd, 0x0000000000000000,
1699  0xfff923456789abcd, 0x0000000000000000,
1700  0xfff8000000000000, 0x0000000000000000,
1701  0xfff923456789abcd, 0x0000000000000000,
1702  0xfff923456789abcd, 0x0000000000000000,
1703  0xfff923456789abcd, 0x0000000000000000,
1704  0x7ff0000000000000, 0x0000000000000000,
1705  0x7ff0000000000000, 0x0000000000000000,
1706  0x0000000000000000, 0x0000000000000000,
1707  0x0000000000000000, 0x0000000000000000,
1708  0x0000000000000000, 0x0000000000000000,
1709  0x0000000000000000, 0x0000000000000000,
1710  0x0000000000000000, 0x0000000000000000,
1711  0x0000000000000000, 0x0000000000000000,
1712  0x0000000000000000, 0x0000000000000000,
1713  0x8008000000000000, 0x0000000000000000,
1714  0x8008000000000000, 0x0000000000000000,
1715  0xbfcffffffffffffe, 0x0000000000000000,
1716  0xbfcffffffffffffe, 0x0000000000000000,
1717  0xbfdffffffffffffe, 0x0000000000000000,
1718  0xbfcfffffffffffff, 0x0000000000000000,
1719  0xbfe0000000000000, 0x0000000000000000,
1720  0xbfd0000000000000, 0x0000000000000000,
1721  0xbfe7ffffffffffff, 0x0000000000000000,
1722  0xbfdffffffffffffe, 0x0000000000000000,
1723  0xbfeffffffffffffe, 0x0000000000000000,
1724  0xbfdfffffffffffff, 0x0000000000000000,
1725  0xbff0000000000000, 0x0000000000000000,
1726  0xbfe0000000000000, 0x0000000000000000,
1727  0xbff4000000000000, 0x0000000000000000,
1728  0xbfe7ffffffffffff, 0x0000000000000000,
1729  0xc016ffffffffffff, 0x0000000000000000,
1730  0xc013ffffffffffff, 0x0000000000000000,
1731  0xffdffffffffffffe, 0x0000000000000000,
1732  0xffdffffffffffffe, 0x0000000000000000,
1733  0xfff0000000000000, 0x0000000000000000,
1734  0xfff0000000000000, 0x0000000000000000,
1735  0x7ff923456789abcd, 0x0000000000000000,
1736  0x7ff923456789abcd, 0x0000000000000000,
1737  0x7ff923456789abcd, 0x0000000000000000,
1738  0x7ff8000000000000, 0x0000000000000000,
1739  0x7ff923456789abcd, 0x0000000000000000,
1740  0x7ff923456789abcd, 0x0000000000000000,
1741  0x7ff923456789abcd, 0x0000000000000000,
1742  0xfff0000000000000, 0x0000000000000000,
1743  0xfff0000000000000, 0x0000000000000000,
1744  0x800091a2b3c4d5e6, 0x0000000000000000,
1745  0x800891a2b3c4d5e5, 0x0000000000000000,
1746  0x8007ffffffffffff, 0x0000000000000000,
1747  0x8007ffffffffffff, 0x0000000000000000,
1748  0x8000000000000000, 0x0000000000000000,
1749  0x0000000000000000, 0x0000000000000000,
1750  0x0000000000000000, 0x0000000000000000,
1751  0x0008000000000000, 0x0000000000000000,
1752  0x0008000000000000, 0x0000000000000000,
1753  0x3fcffffffffffffe, 0x0000000000000000,
1754  0x3fcffffffffffffe, 0x0000000000000000,
1755  0x3fdffffffffffffe, 0x0000000000000000,
1756  0x3fcfffffffffffff, 0x0000000000000000,
1757  0x3fe0000000000000, 0x0000000000000000,
1758  0x3fd0000000000000, 0x0000000000000000,
1759  0x3fe7ffffffffffff, 0x0000000000000000,
1760  0x3fdffffffffffffe, 0x0000000000000000,
1761  0x3feffffffffffffe, 0x0000000000000000,
1762  0x3fdfffffffffffff, 0x0000000000000000,
1763  0x3ff0000000000000, 0x0000000000000000,
1764  0x3fe0000000000000, 0x0000000000000000,
1765  0x3ff4000000000000, 0x0000000000000000,
1766  0x3fe7ffffffffffff, 0x0000000000000000,
1767  0x4016ffffffffffff, 0x0000000000000000,
1768  0x4013ffffffffffff, 0x0000000000000000,
1769  0x7fdffffffffffffe, 0x0000000000000000,
1770  0x7fdffffffffffffe, 0x0000000000000000,
1771  0x7ff0000000000000, 0x0000000000000000,
1772  0x7ff0000000000000, 0x0000000000000000,
1773  0xfff923456789abcd, 0x0000000000000000,
1774  0xfff923456789abcd, 0x0000000000000000,
1775  0xfff923456789abcd, 0x0000000000000000,
1776  0xfff8000000000000, 0x0000000000000000,
1777  0xfff923456789abcd, 0x0000000000000000,
1778  0xfff923456789abcd, 0x0000000000000000,
1779  0xfff923456789abcd, 0x0000000000000000,
1780  0x7ff0000000000000, 0x0000000000000000,
1781  0x7ff0000000000000, 0x0000000000000000,
1782  0x000091a2b3c4d5e6, 0x0000000000000000,
1783  0x000891a2b3c4d5e5, 0x0000000000000000,
1784  0x0007ffffffffffff, 0x0000000000000000,
1785  0x0007ffffffffffff, 0x0000000000000000,
1786  0x0000000000000000, 0x0000000000000000,
1787  0x0000000000000000, 0x0000000000000000,
1788  0x0000000000000000, 0x0000000000000000,
1789  0x8008000000000000, 0x0000000000000000,
1790  0x8008000000000000, 0x0000000000000000,
1791  0xbfcfffffffffffff, 0x0000000000000000,
1792  0xbfcfffffffffffff, 0x0000000000000000,
1793  0xbfe0000000000000, 0x0000000000000000,
1794  0xbfd0000000000000, 0x0000000000000000,
1795  0xbfe0000000000000, 0x0000000000000000,
1796  0xbfd0000000000001, 0x0000000000000000,
1797  0xbfe8000000000000, 0x0000000000000000,
1798  0xbfdfffffffffffff, 0x0000000000000000,
1799  0xbff0000000000000, 0x0000000000000000,
1800  0xbfe0000000000000, 0x0000000000000000,
1801  0xbff0000000000000, 0x0000000000000000,
1802  0xbfe0000000000001, 0x0000000000000000,
1803  0xbff4000000000000, 0x0000000000000000,
1804  0xbfe8000000000000, 0x0000000000000000,
1805  0xc017000000000000, 0x0000000000000000,
1806  0xc014000000000000, 0x0000000000000000,
1807  0xffdfffffffffffff, 0x0000000000000000,
1808  0xffdfffffffffffff, 0x0000000000000000,
1809  0xfff0000000000000, 0x0000000000000000,
1810  0xfff0000000000000, 0x0000000000000000,
1811  0x7ff923456789abcd, 0x0000000000000000,
1812  0x7ff923456789abcd, 0x0000000000000000,
1813  0x7ff923456789abcd, 0x0000000000000000,
1814  0x7ff8000000000000, 0x0000000000000000,
1815  0x7ff923456789abcd, 0x0000000000000000,
1816  0x7ff923456789abcd, 0x0000000000000000,
1817  0x7ff923456789abcd, 0x0000000000000000,
1818  0xfff0000000000000, 0x0000000000000000,
1819  0xfff0000000000000, 0x0000000000000000,
1820  0x800091a2b3c4d5e6, 0x0000000000000000,
1821  0x800891a2b3c4d5e6, 0x0000000000000000,
1822  0x8008000000000000, 0x0000000000000000,
1823  0x8008000000000000, 0x0000000000000000,
1824  0x8000000000000000, 0x0000000000000000,
1825  0x0000000000000000, 0x0000000000000000,
1826  0x0000000000000000, 0x0000000000000000,
1827  0x0008000000000000, 0x0000000000000000,
1828  0x0008000000000000, 0x0000000000000000,
1829  0x3fcfffffffffffff, 0x0000000000000000,
1830  0x3fcfffffffffffff, 0x0000000000000000,
1831  0x3fe0000000000000, 0x0000000000000000,
1832  0x3fd0000000000000, 0x0000000000000000,
1833  0x3fe0000000000000, 0x0000000000000000,
1834  0x3fd0000000000001, 0x0000000000000000,
1835  0x3fe8000000000000, 0x0000000000000000,
1836  0x3fdfffffffffffff, 0x0000000000000000,
1837  0x3ff0000000000000, 0x0000000000000000,
1838  0x3fe0000000000000, 0x0000000000000000,
1839  0x3ff0000000000000, 0x0000000000000000,
1840  0x3fe0000000000001, 0x0000000000000000,
1841  0x3ff4000000000000, 0x0000000000000000,
1842  0x3fe8000000000000, 0x0000000000000000,
1843  0x4017000000000000, 0x0000000000000000,
1844  0x4014000000000000, 0x0000000000000000,
1845  0x7fdfffffffffffff, 0x0000000000000000,
1846  0x7fdfffffffffffff, 0x0000000000000000,
1847  0x7ff0000000000000, 0x0000000000000000,
1848  0x7ff0000000000000, 0x0000000000000000,
1849  0xfff923456789abcd, 0x0000000000000000,
1850  0xfff923456789abcd, 0x0000000000000000,
1851  0xfff923456789abcd, 0x0000000000000000,
1852  0xfff8000000000000, 0x0000000000000000,
1853  0xfff923456789abcd, 0x0000000000000000,
1854  0xfff923456789abcd, 0x0000000000000000,
1855  0xfff923456789abcd, 0x0000000000000000,
1856  0x7ff0000000000000, 0x0000000000000000,
1857  0x7ff0000000000000, 0x0000000000000000,
1858  0x000091a2b3c4d5e6, 0x0000000000000000,
1859  0x000891a2b3c4d5e6, 0x0000000000000000,
1860  0x0008000000000000, 0x0000000000000000,
1861  0x0008000000000000, 0x0000000000000000,
1862  0x0000000000000001, 0x0000000000000000,
1863  0x0000000000000001, 0x0000000000000000,
1864  0x0000000000000000, 0x0000000000000000,
1865  0x8008000000000000, 0x0000000000000000,
1866  0x8008000000000000, 0x0000000000000000,
1867  0xbfd0000000000000, 0x0000000000000000,
1868  0xbfd0000000000000, 0x0000000000000000,
1869  0xbfe0000000000000, 0x0000000000000000,
1870  0xbfd0000000000001, 0x0000000000000000,
1871  0xbfe0000000000002, 0x0000000000000000,
1872  0xbfd0000000000002, 0x0000000000000000,
1873  0xbfe8000000000001, 0x0000000000000000,
1874  0xbfe0000000000000, 0x0000000000000000,
1875  0xbff0000000000000, 0x0000000000000000,
1876  0xbfe0000000000001, 0x0000000000000000,
1877  0xbff0000000000002, 0x0000000000000000,
1878  0xbfe0000000000002, 0x0000000000000000,
1879  0xbff4000000000002, 0x0000000000000000,
1880  0xbfe8000000000002, 0x0000000000000000,
1881  0xc017000000000002, 0x0000000000000000,
1882  0xc014000000000001, 0x0000000000000000,
1883  0xffe0000000000000, 0x0000000000000000,
1884  0xffe0000000000000, 0x0000000000000000,
1885  0xfff0000000000000, 0x0000000000000000,
1886  0xfff0000000000000, 0x0000000000000000,
1887  0x7ff923456789abcd, 0x0000000000000000,
1888  0x7ff923456789abcd, 0x0000000000000000,
1889  0x7ff923456789abcd, 0x0000000000000000,
1890  0x7ff8000000000000, 0x0000000000000000,
1891  0x7ff923456789abcd, 0x0000000000000000,
1892  0x7ff923456789abcd, 0x0000000000000000,
1893  0x7ff923456789abcd, 0x0000000000000000,
1894  0xfff0000000000000, 0x0000000000000000,
1895  0xfff0000000000000, 0x0000000000000000,
1896  0x800091a2b3c4d5e7, 0x0000000000000000,
1897  0x800891a2b3c4d5e7, 0x0000000000000000,
1898  0x8008000000000000, 0x0000000000000000,
1899  0x8008000000000001, 0x0000000000000000,
1900  0x8000000000000001, 0x0000000000000000,
1901  0x8000000000000001, 0x0000000000000000,
1902  0x0000000000000000, 0x0000000000000000,
1903  0x0008000000000000, 0x0000000000000000,
1904  0x0008000000000000, 0x0000000000000000,
1905  0x3fd0000000000000, 0x0000000000000000,
1906  0x3fd0000000000000, 0x0000000000000000,
1907  0x3fe0000000000000, 0x0000000000000000,
1908  0x3fd0000000000001, 0x0000000000000000,
1909  0x3fe0000000000002, 0x0000000000000000,
1910  0x3fd0000000000002, 0x0000000000000000,
1911  0x3fe8000000000001, 0x0000000000000000,
1912  0x3fe0000000000000, 0x0000000000000000,
1913  0x3ff0000000000000, 0x0000000000000000,
1914  0x3fe0000000000001, 0x0000000000000000,
1915  0x3ff0000000000002, 0x0000000000000000,
1916  0x3fe0000000000002, 0x0000000000000000,
1917  0x3ff4000000000002, 0x0000000000000000,
1918  0x3fe8000000000002, 0x0000000000000000,
1919  0x4017000000000002, 0x0000000000000000,
1920  0x4014000000000001, 0x0000000000000000,
1921  0x7fe0000000000000, 0x0000000000000000,
1922  0x7fe0000000000000, 0x0000000000000000,
1923  0x7ff0000000000000, 0x0000000000000000,
1924  0x7ff0000000000000, 0x0000000000000000,
1925  0xfff923456789abcd, 0x0000000000000000,
1926  0xfff923456789abcd, 0x0000000000000000,
1927  0xfff923456789abcd, 0x0000000000000000,
1928  0xfff8000000000000, 0x0000000000000000,
1929  0xfff923456789abcd, 0x0000000000000000,
1930  0xfff923456789abcd, 0x0000000000000000,
1931  0xfff923456789abcd, 0x0000000000000000,
1932  0x7ff0000000000000, 0x0000000000000000,
1933  0x7ff0000000000000, 0x0000000000000000,
1934  0x000091a2b3c4d5e7, 0x0000000000000000,
1935  0x000891a2b3c4d5e7, 0x0000000000000000,
1936  0x0008000000000000, 0x0000000000000000,
1937  0x0008000000000001, 0x0000000000000000,
1938  0x0000000000000001, 0x0000000000000000,
1939  0x0000000000000001, 0x0000000000000000,
1940  0x0000000000000000, 0x0000000000000000,
1941  0x8010000000000000, 0x0000000000000000,
1942  0x8010000000000000, 0x0000000000000000,
1943  0xbfdffffffffffffe, 0x0000000000000000,
1944  0xbfdffffffffffffe, 0x0000000000000000,
1945  0xbfeffffffffffffe, 0x0000000000000000,
1946  0xbfdfffffffffffff, 0x0000000000000000,
1947  0xbff0000000000000, 0x0000000000000000,
1948  0xbfe0000000000000, 0x0000000000000000,
1949  0xbff7ffffffffffff, 0x0000000000000000,
1950  0xbfeffffffffffffe, 0x0000000000000000,
1951  0xbffffffffffffffe, 0x0000000000000000,
1952  0xbfefffffffffffff, 0x0000000000000000,
1953  0xc000000000000000, 0x0000000000000000,
1954  0xbff0000000000000, 0x0000000000000000,
1955  0xc004000000000000, 0x0000000000000000,
1956  0xbff7ffffffffffff, 0x0000000000000000,
1957  0xc026ffffffffffff, 0x0000000000000000,
1958  0xc023ffffffffffff, 0x0000000000000000,
1959  0xffeffffffffffffe, 0x0000000000000000,
1960  0xffeffffffffffffe, 0x0000000000000000,
1961  0xfff0000000000000, 0x0000000000000000,
1962  0xfff0000000000000, 0x0000000000000000,
1963  0x7ff923456789abcd, 0x0000000000000000,
1964  0x7ff923456789abcd, 0x0000000000000000,
1965  0x7ff923456789abcd, 0x0000000000000000,
1966  0x7ff8000000000000, 0x0000000000000000,
1967  0x7ff923456789abcd, 0x0000000000000000,
1968  0x7ff923456789abcd, 0x0000000000000000,
1969  0x7ff923456789abcd, 0x0000000000000000,
1970  0xfff0000000000000, 0x0000000000000000,
1971  0xfff0000000000000, 0x0000000000000000,
1972  0x800123456789abcd, 0x0000000000000000,
1973  0x801123456789abcc, 0x0000000000000000,
1974  0x800fffffffffffff, 0x0000000000000000,
1975  0x8010000000000000, 0x0000000000000000,
1976  0x8000000000000001, 0x0000000000000000,
1977  0x8000000000000001, 0x0000000000000000,
1978  0x0000000000000000, 0x0000000000000000,
1979  0x0010000000000000, 0x0000000000000000,
1980  0x0010000000000000, 0x0000000000000000,
1981  0x3fdffffffffffffe, 0x0000000000000000,
1982  0x3fdffffffffffffe, 0x0000000000000000,
1983  0x3feffffffffffffe, 0x0000000000000000,
1984  0x3fdfffffffffffff, 0x0000000000000000,
1985  0x3ff0000000000000, 0x0000000000000000,
1986  0x3fe0000000000000, 0x0000000000000000,
1987  0x3ff7ffffffffffff, 0x0000000000000000,
1988  0x3feffffffffffffe, 0x0000000000000000,
1989  0x3ffffffffffffffe, 0x0000000000000000,
1990  0x3fefffffffffffff, 0x0000000000000000,
1991  0x4000000000000000, 0x0000000000000000,
1992  0x3ff0000000000000, 0x0000000000000000,
1993  0x4004000000000000, 0x0000000000000000,
1994  0x3ff7ffffffffffff, 0x0000000000000000,
1995  0x4026ffffffffffff, 0x0000000000000000,
1996  0x4023ffffffffffff, 0x0000000000000000,
1997  0x7feffffffffffffe, 0x0000000000000000,
1998  0x7feffffffffffffe, 0x0000000000000000,
1999  0x7ff0000000000000, 0x0000000000000000,
2000  0x7ff0000000000000, 0x0000000000000000,
2001  0xfff923456789abcd, 0x0000000000000000,
2002  0xfff923456789abcd, 0x0000000000000000,
2003  0xfff923456789abcd, 0x0000000000000000,
2004  0xfff8000000000000, 0x0000000000000000,
2005  0xfff923456789abcd, 0x0000000000000000,
2006  0xfff923456789abcd, 0x0000000000000000,
2007  0xfff923456789abcd, 0x0000000000000000,
2008  0x7ff0000000000000, 0x0000000000000000,
2009  0x7ff0000000000000, 0x0000000000000000,
2010  0x000123456789abcd, 0x0000000000000000,
2011  0x001123456789abcc, 0x0000000000000000,
2012  0x000fffffffffffff, 0x0000000000000000,
2013  0x0010000000000000, 0x0000000000000000,
2014  0x0000000000000001, 0x0000000000000000,
2015  0x0000000000000001, 0x0000000000000000,
2016  0x0000000000000000, 0x0000000000000000,
2017  0x8010000000000000, 0x0000000000000000,
2018  0x8010000000000000, 0x0000000000000000,
2019  0xbfdfffffffffffff, 0x0000000000000000,
2020  0xbfdfffffffffffff, 0x0000000000000000,
2021  0xbff0000000000000, 0x0000000000000000,
2022  0xbfe0000000000000, 0x0000000000000000,
2023  0xbff0000000000000, 0x0000000000000000,
2024  0xbfe0000000000001, 0x0000000000000000,
2025  0xbff8000000000000, 0x0000000000000000,
2026  0xbfefffffffffffff, 0x0000000000000000,
2027  0xc000000000000000, 0x0000000000000000,
2028  0xbff0000000000000, 0x0000000000000000,
2029  0xc000000000000000, 0x0000000000000000,
2030  0xbff0000000000001, 0x0000000000000000,
2031  0xc004000000000000, 0x0000000000000000,
2032  0xbff8000000000000, 0x0000000000000000,
2033  0xc027000000000000, 0x0000000000000000,
2034  0xc024000000000000, 0x0000000000000000,
2035  0xffefffffffffffff, 0x0000000000000000,
2036  0xffefffffffffffff, 0x0000000000000000,
2037  0xfff0000000000000, 0x0000000000000000,
2038  0xfff0000000000000, 0x0000000000000000,
2039  0x7ff923456789abcd, 0x0000000000000000,
2040  0x7ff923456789abcd, 0x0000000000000000,
2041  0x7ff923456789abcd, 0x0000000000000000,
2042  0x7ff8000000000000, 0x0000000000000000,
2043  0x7ff923456789abcd, 0x0000000000000000,
2044  0x7ff923456789abcd, 0x0000000000000000,
2045  0x7ff923456789abcd, 0x0000000000000000,
2046  0xfff0000000000000, 0x0000000000000000,
2047  0xfff0000000000000, 0x0000000000000000,
2048  0x800123456789abcd, 0x0000000000000000,
2049  0x801123456789abcc, 0x0000000000000000,
2050  0x800fffffffffffff, 0x0000000000000000,
2051  0x8010000000000000, 0x0000000000000000,
2052  0x8000000000000001, 0x0000000000000000,
2053  0x8000000000000001, 0x0000000000000000,
2054  0x0000000000000000, 0x0000000000000000,
2055  0x0010000000000000, 0x0000000000000000,
2056  0x0010000000000000, 0x0000000000000000,
2057  0x3fdfffffffffffff, 0x0000000000000000,
2058  0x3fdfffffffffffff, 0x0000000000000000,
2059  0x3ff0000000000000, 0x0000000000000000,
2060  0x3fe0000000000000, 0x0000000000000000,
2061  0x3ff0000000000000, 0x0000000000000000,
2062  0x3fe0000000000001, 0x0000000000000000,
2063  0x3ff8000000000000, 0x0000000000000000,
2064  0x3fefffffffffffff, 0x0000000000000000,
2065  0x4000000000000000, 0x0000000000000000,
2066  0x3ff0000000000000, 0x0000000000000000,
2067  0x4000000000000000, 0x0000000000000000,
2068  0x3ff0000000000001, 0x0000000000000000,
2069  0x4004000000000000, 0x0000000000000000,
2070  0x3ff8000000000000, 0x0000000000000000,
2071  0x4027000000000000, 0x0000000000000000,
2072  0x4024000000000000, 0x0000000000000000,
2073  0x7fefffffffffffff, 0x0000000000000000,
2074  0x7fefffffffffffff, 0x0000000000000000,
2075  0x7ff0000000000000, 0x0000000000000000,
2076  0x7ff0000000000000, 0x0000000000000000,
2077  0xfff923456789abcd, 0x0000000000000000,
2078  0xfff923456789abcd, 0x0000000000000000,
2079  0xfff923456789abcd, 0x0000000000000000,
2080  0xfff8000000000000, 0x0000000000000000,
2081  0xfff923456789abcd, 0x0000000000000000,
2082  0xfff923456789abcd, 0x0000000000000000,
2083  0xfff923456789abcd, 0x0000000000000000,
2084  0x7ff0000000000000, 0x0000000000000000,
2085  0x7ff0000000000000, 0x0000000000000000,
2086  0x000123456789abcd, 0x0000000000000000,
2087  0x001123456789abcc, 0x0000000000000000,
2088  0x000fffffffffffff, 0x0000000000000000,
2089  0x0010000000000000, 0x0000000000000000,
2090  0x0000000000000001, 0x0000000000000000,
2091  0x0000000000000001, 0x0000000000000000,
2092  0x0000000000000000, 0x0000000000000000,
2093  0x8010000000000001, 0x0000000000000000,
2094  0x8010000000000001, 0x0000000000000000,
2095  0xbfe0000000000000, 0x0000000000000000,
2096  0xbfe0000000000000, 0x0000000000000000,
2097  0xbff0000000000000, 0x0000000000000000,
2098  0xbfe0000000000001, 0x0000000000000000,
2099  0xbff0000000000002, 0x0000000000000000,
2100  0xbfe0000000000002, 0x0000000000000000,
2101  0xbff8000000000001, 0x0000000000000000,
2102  0xbff0000000000000, 0x0000000000000000,
2103  0xc000000000000000, 0x0000000000000000,
2104  0xbff0000000000001, 0x0000000000000000,
2105  0xc000000000000002, 0x0000000000000000,
2106  0xbff0000000000002, 0x0000000000000000,
2107  0xc004000000000002, 0x0000000000000000,
2108  0xbff8000000000002, 0x0000000000000000,
2109  0xc027000000000002, 0x0000000000000000,
2110  0xc024000000000001, 0x0000000000000000,
2111  0xfff0000000000000, 0x0000000000000000,
2112  0xfff0000000000000, 0x0000000000000000,
2113  0xfff0000000000000, 0x0000000000000000,
2114  0xfff0000000000000, 0x0000000000000000,
2115  0x7ff923456789abcd, 0x0000000000000000,
2116  0x7ff923456789abcd, 0x0000000000000000,
2117  0x7ff923456789abcd, 0x0000000000000000,
2118  0x7ff8000000000000, 0x0000000000000000,
2119  0x7ff923456789abcd, 0x0000000000000000,
2120  0x7ff923456789abcd, 0x0000000000000000,
2121  0x7ff923456789abcd, 0x0000000000000000,
2122  0xfff0000000000000, 0x0000000000000000,
2123  0xfff0000000000000, 0x0000000000000000,
2124  0x800123456789abcd, 0x0000000000000000,
2125  0x801123456789abcd, 0x0000000000000000,
2126  0x8010000000000000, 0x0000000000000000,
2127  0x8010000000000001, 0x0000000000000000,
2128  0x8000000000000001, 0x0000000000000000,
2129  0x8000000000000001, 0x0000000000000000,
2130  0x0000000000000000, 0x0000000000000000,
2131  0x0010000000000001, 0x0000000000000000,
2132  0x0010000000000001, 0x0000000000000000,
2133  0x3fe0000000000000, 0x0000000000000000,
2134  0x3fe0000000000000, 0x0000000000000000,
2135  0x3ff0000000000000, 0x0000000000000000,
2136  0x3fe0000000000001, 0x0000000000000000,
2137  0x3ff0000000000002, 0x0000000000000000,
2138  0x3fe0000000000002, 0x0000000000000000,
2139  0x3ff8000000000001, 0x0000000000000000,
2140  0x3ff0000000000000, 0x0000000000000000,
2141  0x4000000000000000, 0x0000000000000000,
2142  0x3ff0000000000001, 0x0000000000000000,
2143  0x4000000000000002, 0x0000000000000000,
2144  0x3ff0000000000002, 0x0000000000000000,
2145  0x4004000000000002, 0x0000000000000000,
2146  0x3ff8000000000002, 0x0000000000000000,
2147  0x4027000000000002, 0x0000000000000000,
2148  0x4024000000000001, 0x0000000000000000,
2149  0x7ff0000000000000, 0x0000000000000000,
2150  0x7ff0000000000000, 0x0000000000000000,
2151  0x7ff0000000000000, 0x0000000000000000,
2152  0x7ff0000000000000, 0x0000000000000000,
2153  0xfff923456789abcd, 0x0000000000000000,
2154  0xfff923456789abcd, 0x0000000000000000,
2155  0xfff923456789abcd, 0x0000000000000000,
2156  0xfff8000000000000, 0x0000000000000000,
2157  0xfff923456789abcd, 0x0000000000000000,
2158  0xfff923456789abcd, 0x0000000000000000,
2159  0xfff923456789abcd, 0x0000000000000000,
2160  0x7ff0000000000000, 0x0000000000000000,
2161  0x7ff0000000000000, 0x0000000000000000,
2162  0x000123456789abcd, 0x0000000000000000,
2163  0x001123456789abcd, 0x0000000000000000,
2164  0x0010000000000000, 0x0000000000000000,
2165  0x0010000000000001, 0x0000000000000000,
2166  0x0000000000000002, 0x0000000000000000,
2167  0x0000000000000002, 0x0000000000000000,
2168  0x0000000000000000, 0x0000000000000000,
2169  0x8018000000000000, 0x0000000000000000,
2170  0x8018000000000000, 0x0000000000000000,
2171  0xbfe7ffffffffffff, 0x0000000000000000,
2172  0xbfe7ffffffffffff, 0x0000000000000000,
2173  0xbff8000000000000, 0x0000000000000000,
2174  0xbfe8000000000000, 0x0000000000000000,
2175  0xbff8000000000001, 0x0000000000000000,
2176  0xbfe8000000000002, 0x0000000000000000,
2177  0xc002000000000000, 0x0000000000000000,
2178  0xbff7ffffffffffff, 0x0000000000000000,
2179  0xc008000000000000, 0x0000000000000000,
2180  0xbff8000000000000, 0x0000000000000000,
2181  0xc008000000000001, 0x0000000000000000,
2182  0xbff8000000000002, 0x0000000000000000,
2183  0xc00e000000000001, 0x0000000000000000,
2184  0xc002000000000000, 0x0000000000000000,
2185  0xc031400000000000, 0x0000000000000000,
2186  0xc02e000000000000, 0x0000000000000000,
2187  0xfff0000000000000, 0x0000000000000000,
2188  0xfff0000000000000, 0x0000000000000000,
2189  0xfff0000000000000, 0x0000000000000000,
2190  0xfff0000000000000, 0x0000000000000000,
2191  0x7ff923456789abcd, 0x0000000000000000,
2192  0x7ff923456789abcd, 0x0000000000000000,
2193  0x7ff923456789abcd, 0x0000000000000000,
2194  0x7ff8000000000000, 0x0000000000000000,
2195  0x7ff923456789abcd, 0x0000000000000000,
2196  0x7ff923456789abcd, 0x0000000000000000,
2197  0x7ff923456789abcd, 0x0000000000000000,
2198  0xfff0000000000000, 0x0000000000000000,
2199  0xfff0000000000000, 0x0000000000000000,
2200  0x8001b4e81b4e81b4, 0x0000000000000000,
2201  0x8019b4e81b4e81b2, 0x0000000000000000,
2202  0x8017fffffffffffe, 0x0000000000000000,
2203  0x8018000000000000, 0x0000000000000000,
2204  0x8000000000000002, 0x0000000000000000,
2205  0x8000000000000002, 0x0000000000000000,
2206  0x0000000000000000, 0x0000000000000000,
2207  0x0018000000000000, 0x0000000000000000,
2208  0x0018000000000000, 0x0000000000000000,
2209  0x3fe7ffffffffffff, 0x0000000000000000,
2210  0x3fe7ffffffffffff, 0x0000000000000000,
2211  0x3ff8000000000000, 0x0000000000000000,
2212  0x3fe8000000000000, 0x0000000000000000,
2213  0x3ff8000000000001, 0x0000000000000000,
2214  0x3fe8000000000002, 0x0000000000000000,
2215  0x4002000000000000, 0x0000000000000000,
2216  0x3ff7ffffffffffff, 0x0000000000000000,
2217  0x4008000000000000, 0x0000000000000000,
2218  0x3ff8000000000000, 0x0000000000000000,
2219  0x4008000000000001, 0x0000000000000000,
2220  0x3ff8000000000002, 0x0000000000000000,
2221  0x400e000000000001, 0x0000000000000000,
2222  0x4002000000000000, 0x0000000000000000,
2223  0x4031400000000000, 0x0000000000000000,
2224  0x402e000000000000, 0x0000000000000000,
2225  0x7ff0000000000000, 0x0000000000000000,
2226  0x7ff0000000000000, 0x0000000000000000,
2227  0x7ff0000000000000, 0x0000000000000000,
2228  0x7ff0000000000000, 0x0000000000000000,
2229  0xfff923456789abcd, 0x0000000000000000,
2230  0xfff923456789abcd, 0x0000000000000000,
2231  0xfff923456789abcd, 0x0000000000000000,
2232  0xfff8000000000000, 0x0000000000000000,
2233  0xfff923456789abcd, 0x0000000000000000,
2234  0xfff923456789abcd, 0x0000000000000000,
2235  0xfff923456789abcd, 0x0000000000000000,
2236  0x7ff0000000000000, 0x0000000000000000,
2237  0x7ff0000000000000, 0x0000000000000000,
2238  0x0001b4e81b4e81b4, 0x0000000000000000,
2239  0x0019b4e81b4e81b2, 0x0000000000000000,
2240  0x0017fffffffffffe, 0x0000000000000000,
2241  0x0018000000000000, 0x0000000000000000,
2242  0x000000000000000a, 0x0000000000000000,
2243  0x000000000000000a, 0x0000000000000000,
2244  0x0000000000000000, 0x0000000000000000,
2245  0x8044000000000000, 0x0000000000000000,
2246  0x8044000000000000, 0x0000000000000000,
2247  0xc013ffffffffffff, 0x0000000000000000,
2248  0xc013ffffffffffff, 0x0000000000000000,
2249  0xc024000000000000, 0x0000000000000000,
2250  0xc014000000000000, 0x0000000000000000,
2251  0xc024000000000001, 0x0000000000000000,
2252  0xc014000000000001, 0x0000000000000000,
2253  0xc02e000000000000, 0x0000000000000000,
2254  0xc023ffffffffffff, 0x0000000000000000,
2255  0xc034000000000000, 0x0000000000000000,
2256  0xc024000000000000, 0x0000000000000000,
2257  0xc034000000000001, 0x0000000000000000,
2258  0xc024000000000001, 0x0000000000000000,
2259  0xc039000000000000, 0x0000000000000000,
2260  0xc02e000000000000, 0x0000000000000000,
2261  0xc05cc00000000000, 0x0000000000000000,
2262  0xc059000000000000, 0x0000000000000000,
2263  0xfff0000000000000, 0x0000000000000000,
2264  0xfff0000000000000, 0x0000000000000000,
2265  0xfff0000000000000, 0x0000000000000000,
2266  0xfff0000000000000, 0x0000000000000000,
2267  0x7ff923456789abcd, 0x0000000000000000,
2268  0x7ff923456789abcd, 0x0000000000000000,
2269  0x7ff923456789abcd, 0x0000000000000000,
2270  0x7ff8000000000000, 0x0000000000000000,
2271  0x7ff923456789abcd, 0x0000000000000000,
2272  0x7ff923456789abcd, 0x0000000000000000,
2273  0x7ff923456789abcd, 0x0000000000000000,
2274  0xfff0000000000000, 0x0000000000000000,
2275  0xfff0000000000000, 0x0000000000000000,
2276  0x800b60b60b60b602, 0x0000000000000000,
2277  0x80456c16c16c16bf, 0x0000000000000000,
2278  0x8043ffffffffffff, 0x0000000000000000,
2279  0x8044000000000000, 0x0000000000000000,
2280  0x800000000000000a, 0x0000000000000000,
2281  0x800000000000000a, 0x0000000000000000,
2282  0x0000000000000000, 0x0000000000000000,
2283  0x0044000000000000, 0x0000000000000000,
2284  0x0044000000000000, 0x0000000000000000,
2285  0x4013ffffffffffff, 0x0000000000000000,
2286  0x4013ffffffffffff, 0x0000000000000000,
2287  0x4024000000000000, 0x0000000000000000,
2288  0x4014000000000000, 0x0000000000000000,
2289  0x4024000000000001, 0x0000000000000000,
2290  0x4014000000000001, 0x0000000000000000,
2291  0x402e000000000000, 0x0000000000000000,
2292  0x4023ffffffffffff, 0x0000000000000000,
2293  0x4034000000000000, 0x0000000000000000,
2294  0x4024000000000000, 0x0000000000000000,
2295  0x4034000000000001, 0x0000000000000000,
2296  0x4024000000000001, 0x0000000000000000,
2297  0x4039000000000000, 0x0000000000000000,
2298  0x402e000000000000, 0x0000000000000000,
2299  0x405cc00000000000, 0x0000000000000000,
2300  0x4059000000000000, 0x0000000000000000,
2301  0x7ff0000000000000, 0x0000000000000000,
2302  0x7ff0000000000000, 0x0000000000000000,
2303  0x7ff0000000000000, 0x0000000000000000,
2304  0x7ff0000000000000, 0x0000000000000000,
2305  0xfff923456789abcd, 0x0000000000000000,
2306  0xfff923456789abcd, 0x0000000000000000,
2307  0xfff923456789abcd, 0x0000000000000000,
2308  0xfff8000000000000, 0x0000000000000000,
2309  0xfff923456789abcd, 0x0000000000000000,
2310  0xfff923456789abcd, 0x0000000000000000,
2311  0xfff923456789abcd, 0x0000000000000000,
2312  0x7ff0000000000000, 0x0000000000000000,
2313  0x7ff0000000000000, 0x0000000000000000,
2314  0x000b60b60b60b602, 0x0000000000000000,
2315  0x00456c16c16c16bf, 0x0000000000000000,
2316  0x0043ffffffffffff, 0x0000000000000000,
2317  0x0044000000000000, 0x0000000000000000,
2318  0x3ccfffffffffffff, 0x0000000000000000,
2319  0x3ccfffffffffffff, 0x0000000000000000,
2320  0x0000000000000000, 0x0000000000000000,
2321  0xc00fffffffffffff, 0x0000000000000000,
2322  0xc00fffffffffffff, 0x0000000000000000,
2323  0xffdffffffffffffe, 0x0000000000000000,
2324  0xffdffffffffffffe, 0x0000000000000000,
2325  0xffeffffffffffffe, 0x0000000000000000,
2326  0xffdfffffffffffff, 0x0000000000000000,
2327  0xfff0000000000000, 0x0000000000000000,
2328  0xffe0000000000000, 0x0000000000000000,
2329  0xfff0000000000000, 0x0000000000000000,
2330  0xffeffffffffffffe, 0x0000000000000000,
2331  0xfff0000000000000, 0x0000000000000000,
2332  0xffefffffffffffff, 0x0000000000000000,
2333  0xfff0000000000000, 0x0000000000000000,
2334  0xfff0000000000000, 0x0000000000000000,
2335  0xfff0000000000000, 0x0000000000000000,
2336  0xfff0000000000000, 0x0000000000000000,
2337  0xfff0000000000000, 0x0000000000000000,
2338  0xfff0000000000000, 0x0000000000000000,
2339  0xfff0000000000000, 0x0000000000000000,
2340  0xfff0000000000000, 0x0000000000000000,
2341  0xfff0000000000000, 0x0000000000000000,
2342  0xfff0000000000000, 0x0000000000000000,
2343  0x7ff923456789abcd, 0x0000000000000000,
2344  0x7ff923456789abcd, 0x0000000000000000,
2345  0x7ff923456789abcd, 0x0000000000000000,
2346  0x7ff8000000000000, 0x0000000000000000,
2347  0x7ff923456789abcd, 0x0000000000000000,
2348  0x7ff923456789abcd, 0x0000000000000000,
2349  0x7ff923456789abcd, 0x0000000000000000,
2350  0xfff0000000000000, 0x0000000000000000,
2351  0xfff0000000000000, 0x0000000000000000,
2352  0xbfd23456789abccf, 0x0000000000000000,
2353  0xc01123456789abcb, 0x0000000000000000,
2354  0xc00ffffffffffffd, 0x0000000000000000,
2355  0xc00fffffffffffff, 0x0000000000000000,
2356  0xbccfffffffffffff, 0x0000000000000000,
2357  0xbccfffffffffffff, 0x0000000000000000,
2358  0x0000000000000000, 0x0000000000000000,
2359  0x400fffffffffffff, 0x0000000000000000,
2360  0x400fffffffffffff, 0x0000000000000000,
2361  0x7fdffffffffffffe, 0x0000000000000000,
2362  0x7fdffffffffffffe, 0x0000000000000000,
2363  0x7feffffffffffffe, 0x0000000000000000,
2364  0x7fdfffffffffffff, 0x0000000000000000,
2365  0x7ff0000000000000, 0x0000000000000000,
2366  0x7fe0000000000000, 0x0000000000000000,
2367  0x7ff0000000000000, 0x0000000000000000,
2368  0x7feffffffffffffe, 0x0000000000000000,
2369  0x7ff0000000000000, 0x0000000000000000,
2370  0x7fefffffffffffff, 0x0000000000000000,
2371  0x7ff0000000000000, 0x0000000000000000,
2372  0x7ff0000000000000, 0x0000000000000000,
2373  0x7ff0000000000000, 0x0000000000000000,
2374  0x7ff0000000000000, 0x0000000000000000,
2375  0x7ff0000000000000, 0x0000000000000000,
2376  0x7ff0000000000000, 0x0000000000000000,
2377  0x7ff0000000000000, 0x0000000000000000,
2378  0x7ff0000000000000, 0x0000000000000000,
2379  0x7ff0000000000000, 0x0000000000000000,
2380  0x7ff0000000000000, 0x0000000000000000,
2381  0xfff923456789abcd, 0x0000000000000000,
2382  0xfff923456789abcd, 0x0000000000000000,
2383  0xfff923456789abcd, 0x0000000000000000,
2384  0xfff8000000000000, 0x0000000000000000,
2385  0xfff923456789abcd, 0x0000000000000000,
2386  0xfff923456789abcd, 0x0000000000000000,
2387  0xfff923456789abcd, 0x0000000000000000,
2388  0x7ff0000000000000, 0x0000000000000000,
2389  0x7ff0000000000000, 0x0000000000000000,
2390  0x3fd23456789abccf, 0x0000000000000000,
2391  0x401123456789abcb, 0x0000000000000000,
2392  0x400ffffffffffffd, 0x0000000000000000,
2393  0x400fffffffffffff, 0x0000000000000000,
2394  0x7ff0000000000000, 0x0000000000000000,
2395  0x7ff8000000000000, 0x0000000000000000,
2396  0x7ff8000000000000, 0x0000000000000000,
2397  0x7ff8000000000000, 0x0000000000000000,
2398  0xfff0000000000000, 0x0000000000000000,
2399  0xfff0000000000000, 0x0000000000000000,
2400  0xfff0000000000000, 0x0000000000000000,
2401  0xfff0000000000000, 0x0000000000000000,
2402  0xfff0000000000000, 0x0000000000000000,
2403  0xfff0000000000000, 0x0000000000000000,
2404  0xfff0000000000000, 0x0000000000000000,
2405  0xfff0000000000000, 0x0000000000000000,
2406  0xfff0000000000000, 0x0000000000000000,
2407  0xfff0000000000000, 0x0000000000000000,
2408  0xfff0000000000000, 0x0000000000000000,
2409  0xfff0000000000000, 0x0000000000000000,
2410  0xfff0000000000000, 0x0000000000000000,
2411  0xfff0000000000000, 0x0000000000000000,
2412  0xfff0000000000000, 0x0000000000000000,
2413  0xfff0000000000000, 0x0000000000000000,
2414  0xfff0000000000000, 0x0000000000000000,
2415  0xfff0000000000000, 0x0000000000000000,
2416  0xfff0000000000000, 0x0000000000000000,
2417  0xfff0000000000000, 0x0000000000000000,
2418  0xfff0000000000000, 0x0000000000000000,
2419  0x7ff923456789abcd, 0x0000000000000000,
2420  0x7ff923456789abcd, 0x0000000000000000,
2421  0x7ff923456789abcd, 0x0000000000000000,
2422  0x7ff8000000000000, 0x0000000000000000,
2423  0x7ff923456789abcd, 0x0000000000000000,
2424  0x7ff923456789abcd, 0x0000000000000000,
2425  0x7ff923456789abcd, 0x0000000000000000,
2426  0xfff0000000000000, 0x0000000000000000,
2427  0xfff0000000000000, 0x0000000000000000,
2428  0xfff0000000000000, 0x0000000000000000,
2429  0xfff0000000000000, 0x0000000000000000,
2430  0xfff0000000000000, 0x0000000000000000,
2431  0xfff0000000000000, 0x0000000000000000,
2432  0xfff0000000000000, 0x0000000000000000,
2433  0x7ff8000000000000, 0x0000000000000000,
2434  0x7ff8000000000000, 0x0000000000000000,
2435  0x7ff8000000000000, 0x0000000000000000,
2436  0x7ff0000000000000, 0x0000000000000000,
2437  0x7ff0000000000000, 0x0000000000000000,
2438  0x7ff0000000000000, 0x0000000000000000,
2439  0x7ff0000000000000, 0x0000000000000000,
2440  0x7ff0000000000000, 0x0000000000000000,
2441  0x7ff0000000000000, 0x0000000000000000,
2442  0x7ff0000000000000, 0x0000000000000000,
2443  0x7ff0000000000000, 0x0000000000000000,
2444  0x7ff0000000000000, 0x0000000000000000,
2445  0x7ff0000000000000, 0x0000000000000000,
2446  0x7ff0000000000000, 0x0000000000000000,
2447  0x7ff0000000000000, 0x0000000000000000,
2448  0x7ff0000000000000, 0x0000000000000000,
2449  0x7ff0000000000000, 0x0000000000000000,
2450  0x7ff0000000000000, 0x0000000000000000,
2451  0x7ff0000000000000, 0x0000000000000000,
2452  0x7ff0000000000000, 0x0000000000000000,
2453  0x7ff0000000000000, 0x0000000000000000,
2454  0x7ff0000000000000, 0x0000000000000000,
2455  0x7ff0000000000000, 0x0000000000000000,
2456  0x7ff0000000000000, 0x0000000000000000,
2457  0xfff923456789abcd, 0x0000000000000000,
2458  0xfff923456789abcd, 0x0000000000000000,
2459  0xfff923456789abcd, 0x0000000000000000,
2460  0xfff8000000000000, 0x0000000000000000,
2461  0xfff923456789abcd, 0x0000000000000000,
2462  0xfff923456789abcd, 0x0000000000000000,
2463  0xfff923456789abcd, 0x0000000000000000,
2464  0x7ff0000000000000, 0x0000000000000000,
2465  0x7ff0000000000000, 0x0000000000000000,
2466  0x7ff0000000000000, 0x0000000000000000,
2467  0x7ff0000000000000, 0x0000000000000000,
2468  0x7ff0000000000000, 0x0000000000000000,
2469  0x7ff0000000000000, 0x0000000000000000,
2470  0xfff923456789abcd, 0x0000000000000000,
2471  0xfff923456789abcd, 0x0000000000000000,
2472  0xfff923456789abcd, 0x0000000000000000,
2473  0xfff923456789abcd, 0x0000000000000000,
2474  0xfff923456789abcd, 0x0000000000000000,
2475  0xfff923456789abcd, 0x0000000000000000,
2476  0xfff923456789abcd, 0x0000000000000000,
2477  0xfff923456789abcd, 0x0000000000000000,
2478  0xfff923456789abcd, 0x0000000000000000,
2479  0xfff923456789abcd, 0x0000000000000000,
2480  0xfff923456789abcd, 0x0000000000000000,
2481  0xfff923456789abcd, 0x0000000000000000,
2482  0xfff923456789abcd, 0x0000000000000000,
2483  0xfff923456789abcd, 0x0000000000000000,
2484  0xfff923456789abcd, 0x0000000000000000,
2485  0xfff923456789abcd, 0x0000000000000000,
2486  0xfff923456789abcd, 0x0000000000000000,
2487  0xfff923456789abcd, 0x0000000000000000,
2488  0xfff923456789abcd, 0x0000000000000000,
2489  0xfff923456789abcd, 0x0000000000000000,
2490  0xfff923456789abcd, 0x0000000000000000,
2491  0xfff923456789abcd, 0x0000000000000000,
2492  0xfff923456789abcd, 0x0000000000000000,
2493  0xfff923456789abcd, 0x0000000000000000,
2494  0xfff923456789abcd, 0x0000000000000000,
2495  0xfff923456789abcd, 0x0000000000000000,
2496  0xfff923456789abcd, 0x0000000000000000,
2497  0xfff923456789abcd, 0x0000000000000000,
2498  0xfff923456789abcd, 0x0000000000000000,
2499  0x7ff923456789abcd, 0x0000000000000000,
2500  0x7ff923456789abcd, 0x0000000000000000,
2501  0x7ff923456789abcd, 0x0000000000000000,
2502  0xfff923456789abcd, 0x0000000000000000,
2503  0xfff923456789abcd, 0x0000000000000000,
2504  0xfff923456789abcd, 0x0000000000000000,
2505  0xfff923456789abcd, 0x0000000000000000,
2506  0xfff923456789abcd, 0x0000000000000000,
2507  0xfff923456789abcd, 0x0000000000000000,
2508  0xfff923456789abcd, 0x0000000000000000,
2509  0xfff923456789abcd, 0x0000000000000000,
2510  0xfff923456789abcd, 0x0000000000000000,
2511  0xfff923456789abcd, 0x0000000000000000,
2512  0xfff923456789abcd, 0x0000000000000000,
2513  0xfff923456789abcd, 0x0000000000000000,
2514  0xfff923456789abcd, 0x0000000000000000,
2515  0xfff923456789abcd, 0x0000000000000000,
2516  0xfff923456789abcd, 0x0000000000000000,
2517  0xfff923456789abcd, 0x0000000000000000,
2518  0xfff923456789abcd, 0x0000000000000000,
2519  0xfff923456789abcd, 0x0000000000000000,
2520  0xfff923456789abcd, 0x0000000000000000,
2521  0xfff923456789abcd, 0x0000000000000000,
2522  0xfff923456789abcd, 0x0000000000000000,
2523  0xfff923456789abcd, 0x0000000000000000,
2524  0xfff923456789abcd, 0x0000000000000000,
2525  0xfff923456789abcd, 0x0000000000000000,
2526  0xfff923456789abcd, 0x0000000000000000,
2527  0xfff923456789abcd, 0x0000000000000000,
2528  0xfff923456789abcd, 0x0000000000000000,
2529  0xfff923456789abcd, 0x0000000000000000,
2530  0xfff923456789abcd, 0x0000000000000000,
2531  0xfff923456789abcd, 0x0000000000000000,
2532  0xfff923456789abcd, 0x0000000000000000,
2533  0xfff923456789abcd, 0x0000000000000000,
2534  0xfff923456789abcd, 0x0000000000000000,
2535  0xfff923456789abcd, 0x0000000000000000,
2536  0xfff923456789abcd, 0x0000000000000000,
2537  0xfff923456789abcd, 0x0000000000000000,
2538  0xfff923456789abcd, 0x0000000000000000,
2539  0xfff923456789abcd, 0x0000000000000000,
2540  0xfff923456789abcd, 0x0000000000000000,
2541  0xfff923456789abcd, 0x0000000000000000,
2542  0xfff923456789abcd, 0x0000000000000000,
2543  0xfff923456789abcd, 0x0000000000000000,
2544  0xfff923456789abcd, 0x0000000000000000,
2545  0xfff923456789abcd, 0x0000000000000000,
2546  0xfff8000000000000, 0x0000000000000000,
2547  0xfff8000000000000, 0x0000000000000000,
2548  0xfff8000000000000, 0x0000000000000000,
2549  0xfff8000000000000, 0x0000000000000000,
2550  0xfff8000000000000, 0x0000000000000000,
2551  0xfff8000000000000, 0x0000000000000000,
2552  0xfff8000000000000, 0x0000000000000000,
2553  0xfff8000000000000, 0x0000000000000000,
2554  0xfff8000000000000, 0x0000000000000000,
2555  0xfff8000000000000, 0x0000000000000000,
2556  0xfff8000000000000, 0x0000000000000000,
2557  0xfff8000000000000, 0x0000000000000000,
2558  0xfff8000000000000, 0x0000000000000000,
2559  0xfff8000000000000, 0x0000000000000000,
2560  0xfff8000000000000, 0x0000000000000000,
2561  0xfff8000000000000, 0x0000000000000000,
2562  0xfff8000000000000, 0x0000000000000000,
2563  0xfff8000000000000, 0x0000000000000000,
2564  0xfff8000000000000, 0x0000000000000000,
2565  0xfff8000000000000, 0x0000000000000000,
2566  0xfff8000000000000, 0x0000000000000000,
2567  0xfff8000000000000, 0x0000000000000000,
2568  0xfff8000000000000, 0x0000000000000000,
2569  0xfff8000000000000, 0x0000000000000000,
2570  0xfff8000000000000, 0x0000000000000000,
2571  0xfff8000000000000, 0x0000000000000000,
2572  0xfff8000000000000, 0x0000000000000000,
2573  0xfff8000000000000, 0x0000000000000000,
2574  0xfff8000000000000, 0x0000000000000000,
2575  0x7ff923456789abcd, 0x0000000000000000,
2576  0x7ff923456789abcd, 0x0000000000000000,
2577  0x7ff923456789abcd, 0x0000000000000000,
2578  0xfff8000000000000, 0x0000000000000000,
2579  0xfff8000000000000, 0x0000000000000000,
2580  0xfff8000000000000, 0x0000000000000000,
2581  0xfff8000000000000, 0x0000000000000000,
2582  0xfff8000000000000, 0x0000000000000000,
2583  0xfff8000000000000, 0x0000000000000000,
2584  0xfff8000000000000, 0x0000000000000000,
2585  0xfff8000000000000, 0x0000000000000000,
2586  0xfff8000000000000, 0x0000000000000000,
2587  0xfff8000000000000, 0x0000000000000000,
2588  0xfff8000000000000, 0x0000000000000000,
2589  0xfff8000000000000, 0x0000000000000000,
2590  0xfff8000000000000, 0x0000000000000000,
2591  0xfff8000000000000, 0x0000000000000000,
2592  0xfff8000000000000, 0x0000000000000000,
2593  0xfff8000000000000, 0x0000000000000000,
2594  0xfff8000000000000, 0x0000000000000000,
2595  0xfff8000000000000, 0x0000000000000000,
2596  0xfff8000000000000, 0x0000000000000000,
2597  0xfff8000000000000, 0x0000000000000000,
2598  0xfff8000000000000, 0x0000000000000000,
2599  0xfff8000000000000, 0x0000000000000000,
2600  0xfff8000000000000, 0x0000000000000000,
2601  0xfff8000000000000, 0x0000000000000000,
2602  0xfff8000000000000, 0x0000000000000000,
2603  0xfff8000000000000, 0x0000000000000000,
2604  0xfff8000000000000, 0x0000000000000000,
2605  0xfff8000000000000, 0x0000000000000000,
2606  0xfff8000000000000, 0x0000000000000000,
2607  0xfff8000000000000, 0x0000000000000000,
2608  0xfff8000000000000, 0x0000000000000000,
2609  0xfff8000000000000, 0x0000000000000000,
2610  0xfff8000000000000, 0x0000000000000000,
2611  0xfff8000000000000, 0x0000000000000000,
2612  0xfff8000000000000, 0x0000000000000000,
2613  0xfff923456789abcd, 0x0000000000000000,
2614  0xfff923456789abcd, 0x0000000000000000,
2615  0xfff923456789abcd, 0x0000000000000000,
2616  0xfff8000000000000, 0x0000000000000000,
2617  0xfff8000000000000, 0x0000000000000000,
2618  0xfff8000000000000, 0x0000000000000000,
2619  0xfff8000000000000, 0x0000000000000000,
2620  0xfff8000000000000, 0x0000000000000000,
2621  0xfff8000000000000, 0x0000000000000000,
2622  0xfff923456789abcd, 0x0000000000000000,
2623  0xfff923456789abcd, 0x0000000000000000,
2624  0xfff923456789abcd, 0x0000000000000000,
2625  0xfff923456789abcd, 0x0000000000000000,
2626  0xfff923456789abcd, 0x0000000000000000,
2627  0xfff923456789abcd, 0x0000000000000000,
2628  0xfff923456789abcd, 0x0000000000000000,
2629  0xfff923456789abcd, 0x0000000000000000,
2630  0xfff923456789abcd, 0x0000000000000000,
2631  0xfff923456789abcd, 0x0000000000000000,
2632  0xfff923456789abcd, 0x0000000000000000,
2633  0xfff923456789abcd, 0x0000000000000000,
2634  0xfff923456789abcd, 0x0000000000000000,
2635  0xfff923456789abcd, 0x0000000000000000,
2636  0xfff923456789abcd, 0x0000000000000000,
2637  0xfff923456789abcd, 0x0000000000000000,
2638  0xfff923456789abcd, 0x0000000000000000,
2639  0xfff923456789abcd, 0x0000000000000000,
2640  0xfff923456789abcd, 0x0000000000000000,
2641  0xfff923456789abcd, 0x0000000000000000,
2642  0xfff923456789abcd, 0x0000000000000000,
2643  0xfff923456789abcd, 0x0000000000000000,
2644  0xfff923456789abcd, 0x0000000000000000,
2645  0xfff923456789abcd, 0x0000000000000000,
2646  0xfff923456789abcd, 0x0000000000000000,
2647  0xfff923456789abcd, 0x0000000000000000,
2648  0xfff923456789abcd, 0x0000000000000000,
2649  0xfff923456789abcd, 0x0000000000000000,
2650  0xfff923456789abcd, 0x0000000000000000,
2651  0xfff923456789abcd, 0x0000000000000000,
2652  0xfff923456789abcd, 0x0000000000000000,
2653  0xfff923456789abcd, 0x0000000000000000,
2654  0xfff923456789abcd, 0x0000000000000000,
2655  0xfff923456789abcd, 0x0000000000000000,
2656  0xfff923456789abcd, 0x0000000000000000,
2657  0xfff923456789abcd, 0x0000000000000000,
2658  0xfff923456789abcd, 0x0000000000000000,
2659  0xfff923456789abcd, 0x0000000000000000,
2660  0xfff923456789abcd, 0x0000000000000000,
2661  0xfff923456789abcd, 0x0000000000000000,
2662  0xfff923456789abcd, 0x0000000000000000,
2663  0xfff923456789abcd, 0x0000000000000000,
2664  0xfff923456789abcd, 0x0000000000000000,
2665  0xfff923456789abcd, 0x0000000000000000,
2666  0xfff923456789abcd, 0x0000000000000000,
2667  0xfff923456789abcd, 0x0000000000000000,
2668  0xfff923456789abcd, 0x0000000000000000,
2669  0xfff923456789abcd, 0x0000000000000000,
2670  0xfff923456789abcd, 0x0000000000000000,
2671  0xfff923456789abcd, 0x0000000000000000,
2672  0xfff923456789abcd, 0x0000000000000000,
2673  0xfff923456789abcd, 0x0000000000000000,
2674  0xfff923456789abcd, 0x0000000000000000,
2675  0xfff923456789abcd, 0x0000000000000000,
2676  0xfff923456789abcd, 0x0000000000000000,
2677  0xfff923456789abcd, 0x0000000000000000,
2678  0xfff923456789abcd, 0x0000000000000000,
2679  0xfff923456789abcd, 0x0000000000000000,
2680  0xfff923456789abcd, 0x0000000000000000,
2681  0xfff923456789abcd, 0x0000000000000000,
2682  0xfff923456789abcd, 0x0000000000000000,
2683  0xfff923456789abcd, 0x0000000000000000,
2684  0xfff923456789abcd, 0x0000000000000000,
2685  0xfff923456789abcd, 0x0000000000000000,
2686  0xfff923456789abcd, 0x0000000000000000,
2687  0xfff923456789abcd, 0x0000000000000000,
2688  0xfff923456789abcd, 0x0000000000000000,
2689  0xfff923456789abcd, 0x0000000000000000,
2690  0xfff923456789abcd, 0x0000000000000000,
2691  0xfff923456789abcd, 0x0000000000000000,
2692  0xfff923456789abcd, 0x0000000000000000,
2693  0xfff923456789abcd, 0x0000000000000000,
2694  0xfff923456789abcd, 0x0000000000000000,
2695  0xfff923456789abcd, 0x0000000000000000,
2696  0xfff923456789abcd, 0x0000000000000000,
2697  0xfff923456789abcd, 0x0000000000000000,
2698  0x7ff0000000000000, 0x0000000000000000,
2699  0x7ff8000000000000, 0x0000000000000000,
2700  0x7ff8000000000000, 0x0000000000000000,
2701  0x7ff8000000000000, 0x0000000000000000,
2702  0xfff0000000000000, 0x0000000000000000,
2703  0xfff0000000000000, 0x0000000000000000,
2704  0xfff0000000000000, 0x0000000000000000,
2705  0xfff0000000000000, 0x0000000000000000,
2706  0xfff0000000000000, 0x0000000000000000,
2707  0xfff0000000000000, 0x0000000000000000,
2708  0xfff0000000000000, 0x0000000000000000,
2709  0xfff0000000000000, 0x0000000000000000,
2710  0xfff0000000000000, 0x0000000000000000,
2711  0xfff0000000000000, 0x0000000000000000,
2712  0xfff0000000000000, 0x0000000000000000,
2713  0xfff0000000000000, 0x0000000000000000,
2714  0xfff0000000000000, 0x0000000000000000,
2715  0xfff0000000000000, 0x0000000000000000,
2716  0xfff0000000000000, 0x0000000000000000,
2717  0xfff0000000000000, 0x0000000000000000,
2718  0xfff0000000000000, 0x0000000000000000,
2719  0xfff0000000000000, 0x0000000000000000,
2720  0xfff0000000000000, 0x0000000000000000,
2721  0xfff0000000000000, 0x0000000000000000,
2722  0xfff0000000000000, 0x0000000000000000,
2723  0x7ff923456789abcd, 0x0000000000000000,
2724  0x7ff923456789abcd, 0x0000000000000000,
2725  0x7ff923456789abcd, 0x0000000000000000,
2726  0x7ff8000000000000, 0x0000000000000000,
2727  0x7ff923456789abcd, 0x0000000000000000,
2728  0x7ff923456789abcd, 0x0000000000000000,
2729  0x7ff923456789abcd, 0x0000000000000000,
2730  0xfff0000000000000, 0x0000000000000000,
2731  0xfff0000000000000, 0x0000000000000000,
2732  0xfff0000000000000, 0x0000000000000000,
2733  0xfff0000000000000, 0x0000000000000000,
2734  0xfff0000000000000, 0x0000000000000000,
2735  0xfff0000000000000, 0x0000000000000000,
2736  0xfff0000000000000, 0x0000000000000000,
2737  0x7ff8000000000000, 0x0000000000000000,
2738  0x7ff8000000000000, 0x0000000000000000,
2739  0x7ff8000000000000, 0x0000000000000000,
2740  0x7ff0000000000000, 0x0000000000000000,
2741  0x7ff0000000000000, 0x0000000000000000,
2742  0x7ff0000000000000, 0x0000000000000000,
2743  0x7ff0000000000000, 0x0000000000000000,
2744  0x7ff0000000000000, 0x0000000000000000,
2745  0x7ff0000000000000, 0x0000000000000000,
2746  0x7ff0000000000000, 0x0000000000000000,
2747  0x7ff0000000000000, 0x0000000000000000,
2748  0x7ff0000000000000, 0x0000000000000000,
2749  0x7ff0000000000000, 0x0000000000000000,
2750  0x7ff0000000000000, 0x0000000000000000,
2751  0x7ff0000000000000, 0x0000000000000000,
2752  0x7ff0000000000000, 0x0000000000000000,
2753  0x7ff0000000000000, 0x0000000000000000,
2754  0x7ff0000000000000, 0x0000000000000000,
2755  0x7ff0000000000000, 0x0000000000000000,
2756  0x7ff0000000000000, 0x0000000000000000,
2757  0x7ff0000000000000, 0x0000000000000000,
2758  0x7ff0000000000000, 0x0000000000000000,
2759  0x7ff0000000000000, 0x0000000000000000,
2760  0x7ff0000000000000, 0x0000000000000000,
2761  0xfff923456789abcd, 0x0000000000000000,
2762  0xfff923456789abcd, 0x0000000000000000,
2763  0xfff923456789abcd, 0x0000000000000000,
2764  0xfff8000000000000, 0x0000000000000000,
2765  0xfff923456789abcd, 0x0000000000000000,
2766  0xfff923456789abcd, 0x0000000000000000,
2767  0xfff923456789abcd, 0x0000000000000000,
2768  0x7ff0000000000000, 0x0000000000000000,
2769  0x7ff0000000000000, 0x0000000000000000,
2770  0x7ff0000000000000, 0x0000000000000000,
2771  0x7ff0000000000000, 0x0000000000000000,
2772  0x7ff0000000000000, 0x0000000000000000,
2773  0x7ff0000000000000, 0x0000000000000000,
2774  0x0000000000000000, 0x0000000000000000,
2775  0x0000000000000000, 0x0000000000000000,
2776  0x0000000000000000, 0x0000000000000000,
2777  0x8000000000000000, 0x0000000000000000,
2778  0x8000000000000000, 0x0000000000000000,
2779  0x800091a2b3c4d5e6, 0x0000000000000000,
2780  0x800091a2b3c4d5e6, 0x0000000000000000,
2781  0x800123456789abcc, 0x0000000000000000,
2782  0x800091a2b3c4d5e6, 0x0000000000000000,
2783  0x800123456789abcd, 0x0000000000000000,
2784  0x800091a2b3c4d5e7, 0x0000000000000000,
2785  0x8001b4e81b4e81b4, 0x0000000000000000,
2786  0x800123456789abcd, 0x0000000000000000,
2787  0x8002468acf13579a, 0x0000000000000000,
2788  0x800123456789abcd, 0x0000000000000000,
2789  0x8002468acf13579a, 0x0000000000000000,
2790  0x800123456789abcd, 0x0000000000000000,
2791  0x8002d82d82d82d80, 0x0000000000000000,
2792  0x8001b4e81b4e81b4, 0x0000000000000000,
2793  0x800d159e26af37b6, 0x0000000000000000,
2794  0x800b60b60b60b602, 0x0000000000000000,
2795  0xbfd23456789abccf, 0x0000000000000000,
2796  0xbfd23456789abccf, 0x0000000000000000,
2797  0xfff0000000000000, 0x0000000000000000,
2798  0xfff0000000000000, 0x0000000000000000,
2799  0x7ff923456789abcd, 0x0000000000000000,
2800  0x7ff923456789abcd, 0x0000000000000000,
2801  0x7ff923456789abcd, 0x0000000000000000,
2802  0x7ff8000000000000, 0x0000000000000000,
2803  0x7ff923456789abcd, 0x0000000000000000,
2804  0x7ff923456789abcd, 0x0000000000000000,
2805  0x7ff923456789abcd, 0x0000000000000000,
2806  0xfff0000000000000, 0x0000000000000000,
2807  0xfff0000000000000, 0x0000000000000000,
2808  0x8000000000000000, 0x0000000000000000,
2809  0x8000000000000000, 0x0000000000000000,
2810  0x8000000000000000, 0x0000000000000000,
2811  0x8000000000000000, 0x0000000000000000,
2812  0x8000000000000000, 0x0000000000000000,
2813  0x0000000000000000, 0x0000000000000000,
2814  0x0000000000000000, 0x0000000000000000,
2815  0x0000000000000000, 0x0000000000000000,
2816  0x0000000000000000, 0x0000000000000000,
2817  0x000091a2b3c4d5e6, 0x0000000000000000,
2818  0x000091a2b3c4d5e6, 0x0000000000000000,
2819  0x000123456789abcc, 0x0000000000000000,
2820  0x000091a2b3c4d5e6, 0x0000000000000000,
2821  0x000123456789abcd, 0x0000000000000000,
2822  0x000091a2b3c4d5e7, 0x0000000000000000,
2823  0x0001b4e81b4e81b4, 0x0000000000000000,
2824  0x000123456789abcd, 0x0000000000000000,
2825  0x0002468acf13579a, 0x0000000000000000,
2826  0x000123456789abcd, 0x0000000000000000,
2827  0x0002468acf13579a, 0x0000000000000000,
2828  0x000123456789abcd, 0x0000000000000000,
2829  0x0002d82d82d82d80, 0x0000000000000000,
2830  0x0001b4e81b4e81b4, 0x0000000000000000,
2831  0x000d159e26af37b6, 0x0000000000000000,
2832  0x000b60b60b60b602, 0x0000000000000000,
2833  0x3fd23456789abccf, 0x0000000000000000,
2834  0x3fd23456789abccf, 0x0000000000000000,
2835  0x7ff0000000000000, 0x0000000000000000,
2836  0x7ff0000000000000, 0x0000000000000000,
2837  0xfff923456789abcd, 0x0000000000000000,
2838  0xfff923456789abcd, 0x0000000000000000,
2839  0xfff923456789abcd, 0x0000000000000000,
2840  0xfff8000000000000, 0x0000000000000000,
2841  0xfff923456789abcd, 0x0000000000000000,
2842  0xfff923456789abcd, 0x0000000000000000,
2843  0xfff923456789abcd, 0x0000000000000000,
2844  0x7ff0000000000000, 0x0000000000000000,
2845  0x7ff0000000000000, 0x0000000000000000,
2846  0x0000000000000000, 0x0000000000000000,
2847  0x0000000000000000, 0x0000000000000000,
2848  0x0000000000000000, 0x0000000000000000,
2849  0x0000000000000000, 0x0000000000000000,
2850  0x0000000000000000, 0x0000000000000000,
2851  0x0000000000000000, 0x0000000000000000,
2852  0x0000000000000000, 0x0000000000000000,
2853  0x8000000000000000, 0x0000000000000000,
2854  0x8000000000000000, 0x0000000000000000,
2855  0x8007ffffffffffff, 0x0000000000000000,
2856  0x8007ffffffffffff, 0x0000000000000000,
2857  0x800ffffffffffffe, 0x0000000000000000,
2858  0x8008000000000000, 0x0000000000000000,
2859  0x8010000000000000, 0x0000000000000000,
2860  0x8008000000000000, 0x0000000000000000,
2861  0x8017ffffffffffff, 0x0000000000000000,
2862  0x800fffffffffffff, 0x0000000000000000,
2863  0x801ffffffffffffe, 0x0000000000000000,
2864  0x800fffffffffffff, 0x0000000000000000,
2865  0x801fffffffffffff, 0x0000000000000000,
2866  0x8010000000000000, 0x0000000000000000,
2867  0x8023ffffffffffff, 0x0000000000000000,
2868  0x8017fffffffffffe, 0x0000000000000000,
2869  0x8046fffffffffffe, 0x0000000000000000,
2870  0x8043ffffffffffff, 0x0000000000000000,
2871  0xc00ffffffffffffd, 0x0000000000000000,
2872  0xc00ffffffffffffd, 0x0000000000000000,
2873  0xfff0000000000000, 0x0000000000000000,
2874  0xfff0000000000000, 0x0000000000000000,
2875  0x7ff923456789abcd, 0x0000000000000000,
2876  0x7ff923456789abcd, 0x0000000000000000,
2877  0x7ff923456789abcd, 0x0000000000000000,
2878  0x7ff8000000000000, 0x0000000000000000,
2879  0x7ff923456789abcd, 0x0000000000000000,
2880  0x7ff923456789abcd, 0x0000000000000000,
2881  0x7ff923456789abcd, 0x0000000000000000,
2882  0xfff0000000000000, 0x0000000000000000,
2883  0xfff0000000000000, 0x0000000000000000,
2884  0x8000000000000000, 0x0000000000000000,
2885  0x8000000000000000, 0x0000000000000000,
2886  0x8000000000000000, 0x0000000000000000,
2887  0x8000000000000000, 0x0000000000000000,
2888  0x8000000000000000, 0x0000000000000000,
2889  0x0000000000000000, 0x0000000000000000,
2890  0x0000000000000000, 0x0000000000000000,
2891  0x0000000000000000, 0x0000000000000000,
2892  0x0000000000000000, 0x0000000000000000,
2893  0x0007ffffffffffff, 0x0000000000000000,
2894  0x0007ffffffffffff, 0x0000000000000000,
2895  0x000ffffffffffffe, 0x0000000000000000,
2896  0x0008000000000000, 0x0000000000000000,
2897  0x0010000000000000, 0x0000000000000000,
2898  0x0008000000000000, 0x0000000000000000,
2899  0x0017ffffffffffff, 0x0000000000000000,
2900  0x000fffffffffffff, 0x0000000000000000,
2901  0x001ffffffffffffe, 0x0000000000000000,
2902  0x000fffffffffffff, 0x0000000000000000,
2903  0x001fffffffffffff, 0x0000000000000000,
2904  0x0010000000000000, 0x0000000000000000,
2905  0x0023ffffffffffff, 0x0000000000000000,
2906  0x0017fffffffffffe, 0x0000000000000000,
2907  0x0046fffffffffffe, 0x0000000000000000,
2908  0x0043ffffffffffff, 0x0000000000000000,
2909  0x400ffffffffffffd, 0x0000000000000000,
2910  0x400ffffffffffffd, 0x0000000000000000,
2911  0x7ff0000000000000, 0x0000000000000000,
2912  0x7ff0000000000000, 0x0000000000000000,
2913  0xfff923456789abcd, 0x0000000000000000,
2914  0xfff923456789abcd, 0x0000000000000000,
2915  0xfff923456789abcd, 0x0000000000000000,
2916  0xfff8000000000000, 0x0000000000000000,
2917  0xfff923456789abcd, 0x0000000000000000,
2918  0xfff923456789abcd, 0x0000000000000000,
2919  0xfff923456789abcd, 0x0000000000000000,
2920  0x7ff0000000000000, 0x0000000000000000,
2921  0x7ff0000000000000, 0x0000000000000000,
2922  0x0000000000000000, 0x0000000000000000,
2923  0x0000000000000000, 0x0000000000000000,
2924  0x0000000000000000, 0x0000000000000000,
2925  0x0000000000000000, 0x0000000000000000,
2926};
2927const unsigned kExpectedCount_NEON_fmla_D_D_D = 2888;
2928
2929#endif  // VIXL_SIM_FMLA_D_D_D_TRACE_AARCH64_H_
2930