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