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