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