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