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