1 // Copyright 2015, VIXL authors 2 // All rights reserved. 3 // 4 // Redistribution and use in source and binary forms, with or without 5 // modification, are permitted provided that the following conditions are met: 6 // 7 // * Redistributions of source code must retain the above copyright notice, 8 // this list of conditions and the following disclaimer. 9 // * Redistributions in binary form must reproduce the above copyright notice, 10 // this list of conditions and the following disclaimer in the documentation 11 // and/or other materials provided with the distribution. 12 // * Neither the name of ARM Limited nor the names of its contributors may be 13 // used to endorse or promote products derived from this software without 14 // specific prior written permission. 15 // 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND 17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED 18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE 19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE 20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR 22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER 23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, 24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE 25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26 27 28 // --------------------------------------------------------------------- 29 // This file is auto generated using tools/generate_simulator_traces.py. 30 // 31 // PLEASE DO NOT EDIT. 32 // --------------------------------------------------------------------- 33 34 #ifndef VIXL_SIM_FMUL_2D_2D_D_TRACE_AARCH64_H_ 35 #define VIXL_SIM_FMUL_2D_2D_D_TRACE_AARCH64_H_ 36 37 const uint64_t kExpected_NEON_fmul_2D_2D_D[] = { 38 0x0000000000000000, 0x0000000000000000, 39 0x0000000000000000, 0x0000000000000000, 40 0x0000000000000000, 0x0000000000000000, 41 0x0000000000000000, 0x0000000000000000, 42 0x0000000000000000, 0x0000000000000000, 43 0x0000000000009ff0, 0x0000000000000000, 44 0x0000000000009ff0, 0x0000000000000000, 45 0x0000000000009ff0, 0x0000000000000000, 46 0x0000000000009ff0, 0x0000000000000000, 47 0x0000000000009ff0, 0x0000000000000000, 48 0x0000000000009ff0, 0x0000000000000000, 49 0x0000000000013fe0, 0x0000000000000000, 50 0x0000000000013fe0, 0x0000000000000000, 51 0x0000000000013fe0, 0x0000000000000000, 52 0x0000000000013fe0, 0x0000000000000000, 53 0x0000000000013fe0, 0x0000000000000000, 54 0x0000000000013fe0, 0x0000000000000000, 55 0x000000000001dfd0, 0x0000000000000000, 56 0x000000000001dfd0, 0x0000000000000000, 57 0x00000000000c7ec0, 0x0000000000000000, 58 0x00000000000c7ec0, 0x0000000000000000, 59 0x3dd3fdffffffffff, 0x0000000000000000, 60 0x3dd3fdffffffffff, 0x0000000000000000, 61 0x7ff0000000000000, 0x7ff8000000000000, 62 0x7ff0000000000000, 0x7ff8000000000000, 63 0x7ff923456789abcd, 0x7ff923456789abcd, 64 0x7ff923456789abcd, 0x7ff923456789abcd, 65 0x7ff8000000000000, 0x7ff8000000000000, 66 0x7ff8000000000000, 0x7ff8000000000000, 67 0x7ff923456789abcd, 0x7ff923456789abcd, 68 0x7ff923456789abcd, 0x7ff923456789abcd, 69 0x7ff0000000000000, 0x7ff8000000000000, 70 0x7ff0000000000000, 0x7ff8000000000000, 71 0x0000000000000000, 0x0000000000000000, 72 0x0000000000000000, 0x0000000000000000, 73 0x0000000000000000, 0x0000000000000000, 74 0x0000000000000000, 0x0000000000000000, 75 0x0000000000000000, 0x0000000000000000, 76 0x0000000000000000, 0x0000000000000000, 77 0x8000000000000000, 0x8000000000000000, 78 0x8000000000000000, 0x8000000000000000, 79 0x8000000000000000, 0x8000000000000000, 80 0x8000000000000000, 0x8000000000000000, 81 0x8000000000009ff0, 0x8000000000000000, 82 0x8000000000009ff0, 0x8000000000000000, 83 0x8000000000009ff0, 0x8000000000000000, 84 0x8000000000009ff0, 0x8000000000000000, 85 0x8000000000009ff0, 0x8000000000000000, 86 0x8000000000009ff0, 0x8000000000000000, 87 0x8000000000013fe0, 0x8000000000000000, 88 0x8000000000013fe0, 0x8000000000000000, 89 0x8000000000013fe0, 0x8000000000000000, 90 0x8000000000013fe0, 0x8000000000000000, 91 0x8000000000013fe0, 0x8000000000000000, 92 0x8000000000013fe0, 0x8000000000000000, 93 0x800000000001dfd0, 0x8000000000000000, 94 0x800000000001dfd0, 0x8000000000000000, 95 0x80000000000c7ec0, 0x8000000000000000, 96 0x80000000000c7ec0, 0x8000000000000000, 97 0xbdd3fdffffffffff, 0x8000000000000000, 98 0xbdd3fdffffffffff, 0x8000000000000000, 99 0xfff0000000000000, 0x7ff8000000000000, 100 0xfff0000000000000, 0x7ff8000000000000, 101 0xfff923456789abcd, 0xfff923456789abcd, 102 0xfff923456789abcd, 0xfff923456789abcd, 103 0xfff8000000000000, 0xfff8000000000000, 104 0xfff8000000000000, 0xfff8000000000000, 105 0xfff923456789abcd, 0xfff923456789abcd, 106 0xfff923456789abcd, 0xfff923456789abcd, 107 0xfff0000000000000, 0x7ff8000000000000, 108 0xfff0000000000000, 0x7ff8000000000000, 109 0x8000000000000000, 0x8000000000000000, 110 0x8000000000000000, 0x8000000000000000, 111 0x8000000000000000, 0x8000000000000000, 112 0x8000000000000000, 0x8000000000000000, 113 0x8000000000000000, 0x8000000000000000, 114 0x8000000000000000, 0x8000000000000000, 115 0x0000000000000000, 0x0000000000000000, 116 0x0000000000000000, 0x0000000000000000, 117 0x0000000000000000, 0x0000000000000000, 118 0x0000000000000000, 0x0000000000000000, 119 0x0000000000000000, 0x0008000000000000, 120 0x0000000000000000, 0x0008000000000000, 121 0x0000000000000000, 0x0008000000000000, 122 0x0000000000000000, 0x0008000000000000, 123 0x0000000000000000, 0x0008000000000000, 124 0x0000000000000000, 0x0008000000000000, 125 0x0000000000000000, 0x0010000000000000, 126 0x0000000000000000, 0x0010000000000000, 127 0x0000000000000000, 0x0010000000000000, 128 0x0000000000000000, 0x0010000000000000, 129 0x0000000000000000, 0x0010000000000001, 130 0x0000000000000000, 0x0010000000000001, 131 0x0000000000000000, 0x0018000000000000, 132 0x0000000000000000, 0x0018000000000000, 133 0x0000000000000000, 0x0044000000000000, 134 0x0000000000000000, 0x0044000000000000, 135 0x0000000000000000, 0x400fffffffffffff, 136 0x0000000000000000, 0x400fffffffffffff, 137 0x7ff8000000000000, 0x7ff0000000000000, 138 0x7ff8000000000000, 0x7ff0000000000000, 139 0x7ff923456789abcd, 0x7ff923456789abcd, 140 0x7ff923456789abcd, 0x7ff923456789abcd, 141 0x7ff8000000000000, 0x7ff8000000000000, 142 0x7ff8000000000000, 0x7ff8000000000000, 143 0x7ff923456789abcd, 0x7ff923456789abcd, 144 0x7ff923456789abcd, 0x7ff923456789abcd, 145 0x7ff8000000000000, 0x7ff0000000000000, 146 0x7ff8000000000000, 0x7ff0000000000000, 147 0x0000000000000000, 0x0000000000000000, 148 0x0000000000000000, 0x0000000000000000, 149 0x0000000000000000, 0x0000000000000000, 150 0x0000000000000000, 0x0000000000000000, 151 0x0000000000000000, 0x0000000000000000, 152 0x0000000000000000, 0x0000000000000000, 153 0x8000000000000000, 0x8000000000000000, 154 0x8000000000000000, 0x8000000000000000, 155 0x8000000000000000, 0x8000000000000000, 156 0x8000000000000000, 0x8000000000000000, 157 0x8000000000000000, 0x8008000000000000, 158 0x8000000000000000, 0x8008000000000000, 159 0x8000000000000000, 0x8008000000000000, 160 0x8000000000000000, 0x8008000000000000, 161 0x8000000000000000, 0x8008000000000000, 162 0x8000000000000000, 0x8008000000000000, 163 0x8000000000000000, 0x8010000000000000, 164 0x8000000000000000, 0x8010000000000000, 165 0x8000000000000000, 0x8010000000000000, 166 0x8000000000000000, 0x8010000000000000, 167 0x8000000000000000, 0x8010000000000001, 168 0x8000000000000000, 0x8010000000000001, 169 0x8000000000000000, 0x8018000000000000, 170 0x8000000000000000, 0x8018000000000000, 171 0x8000000000000000, 0x8044000000000000, 172 0x8000000000000000, 0x8044000000000000, 173 0x8000000000000000, 0xc00fffffffffffff, 174 0x8000000000000000, 0xc00fffffffffffff, 175 0x7ff8000000000000, 0xfff0000000000000, 176 0x7ff8000000000000, 0xfff0000000000000, 177 0xfff923456789abcd, 0xfff923456789abcd, 178 0xfff923456789abcd, 0xfff923456789abcd, 179 0xfff8000000000000, 0xfff8000000000000, 180 0xfff8000000000000, 0xfff8000000000000, 181 0xfff923456789abcd, 0xfff923456789abcd, 182 0xfff923456789abcd, 0xfff923456789abcd, 183 0x7ff8000000000000, 0xfff0000000000000, 184 0x7ff8000000000000, 0xfff0000000000000, 185 0x8000000000000000, 0x8000000000000000, 186 0x8000000000000000, 0x8000000000000000, 187 0x8000000000000000, 0x8000000000000000, 188 0x8000000000000000, 0x8000000000000000, 189 0x8000000000000000, 0x8000000000000000, 190 0x8000000000000000, 0x8000000000000000, 191 0x0000000000000000, 0x0000000000000000, 192 0x0000000000000000, 0x0000000000000000, 193 0x0000000000000000, 0x0008000000000000, 194 0x0000000000000000, 0x0008000000000000, 195 0x0008000000000000, 0x3fcffffffffffffe, 196 0x0008000000000000, 0x3fcffffffffffffe, 197 0x0008000000000000, 0x3fcfffffffffffff, 198 0x0008000000000000, 0x3fcfffffffffffff, 199 0x0008000000000000, 0x3fd0000000000000, 200 0x0008000000000000, 0x3fd0000000000000, 201 0x0010000000000000, 0x3fdffffffffffffe, 202 0x0010000000000000, 0x3fdffffffffffffe, 203 0x0010000000000000, 0x3fdfffffffffffff, 204 0x0010000000000000, 0x3fdfffffffffffff, 205 0x0010000000000001, 0x3fe0000000000000, 206 0x0010000000000001, 0x3fe0000000000000, 207 0x0018000000000000, 0x3fe7ffffffffffff, 208 0x0018000000000000, 0x3fe7ffffffffffff, 209 0x0044000000000000, 0x4013ffffffffffff, 210 0x0044000000000000, 0x4013ffffffffffff, 211 0x400fffffffffffff, 0x7fdffffffffffffe, 212 0x400fffffffffffff, 0x7fdffffffffffffe, 213 0x7ff0000000000000, 0x7ff0000000000000, 214 0x7ff0000000000000, 0x7ff0000000000000, 215 0x7ff923456789abcd, 0x7ff923456789abcd, 216 0x7ff923456789abcd, 0x7ff923456789abcd, 217 0x7ff8000000000000, 0x7ff8000000000000, 218 0x7ff8000000000000, 0x7ff8000000000000, 219 0x7ff923456789abcd, 0x7ff923456789abcd, 220 0x7ff923456789abcd, 0x7ff923456789abcd, 221 0x7ff0000000000000, 0x7ff0000000000000, 222 0x7ff0000000000000, 0x7ff0000000000000, 223 0x0000000000000000, 0x000091a2b3c4d5e6, 224 0x0000000000000000, 0x000091a2b3c4d5e6, 225 0x0000000000000000, 0x0007ffffffffffff, 226 0x0000000000000000, 0x0007ffffffffffff, 227 0x0000000000000000, 0x0000000000000000, 228 0x0000000000000000, 0x0000000000000000, 229 0x8000000000000000, 0x8000000000000000, 230 0x8000000000000000, 0x8000000000000000, 231 0x8000000000000000, 0x8008000000000000, 232 0x8000000000000000, 0x8008000000000000, 233 0x8008000000000000, 0xbfcffffffffffffe, 234 0x8008000000000000, 0xbfcffffffffffffe, 235 0x8008000000000000, 0xbfcfffffffffffff, 236 0x8008000000000000, 0xbfcfffffffffffff, 237 0x8008000000000000, 0xbfd0000000000000, 238 0x8008000000000000, 0xbfd0000000000000, 239 0x8010000000000000, 0xbfdffffffffffffe, 240 0x8010000000000000, 0xbfdffffffffffffe, 241 0x8010000000000000, 0xbfdfffffffffffff, 242 0x8010000000000000, 0xbfdfffffffffffff, 243 0x8010000000000001, 0xbfe0000000000000, 244 0x8010000000000001, 0xbfe0000000000000, 245 0x8018000000000000, 0xbfe7ffffffffffff, 246 0x8018000000000000, 0xbfe7ffffffffffff, 247 0x8044000000000000, 0xc013ffffffffffff, 248 0x8044000000000000, 0xc013ffffffffffff, 249 0xc00fffffffffffff, 0xffdffffffffffffe, 250 0xc00fffffffffffff, 0xffdffffffffffffe, 251 0xfff0000000000000, 0xfff0000000000000, 252 0xfff0000000000000, 0xfff0000000000000, 253 0xfff923456789abcd, 0xfff923456789abcd, 254 0xfff923456789abcd, 0xfff923456789abcd, 255 0xfff8000000000000, 0xfff8000000000000, 256 0xfff8000000000000, 0xfff8000000000000, 257 0xfff923456789abcd, 0xfff923456789abcd, 258 0xfff923456789abcd, 0xfff923456789abcd, 259 0xfff0000000000000, 0xfff0000000000000, 260 0xfff0000000000000, 0xfff0000000000000, 261 0x8000000000000000, 0x800091a2b3c4d5e6, 262 0x8000000000000000, 0x800091a2b3c4d5e6, 263 0x8000000000000000, 0x8007ffffffffffff, 264 0x8000000000000000, 0x8007ffffffffffff, 265 0x8000000000000000, 0x8000000000000000, 266 0x8000000000000000, 0x8000000000000000, 267 0x0000000000000000, 0x0000000000000000, 268 0x0000000000000000, 0x0000000000000000, 269 0x0008000000000000, 0x0008000000000000, 270 0x0008000000000000, 0x0008000000000000, 271 0x3fcffffffffffffe, 0x3fcfffffffffffff, 272 0x3fcffffffffffffe, 0x3fcfffffffffffff, 273 0x3fcfffffffffffff, 0x3fd0000000000000, 274 0x3fcfffffffffffff, 0x3fd0000000000000, 275 0x3fd0000000000000, 0x3fd0000000000001, 276 0x3fd0000000000000, 0x3fd0000000000001, 277 0x3fdffffffffffffe, 0x3fdfffffffffffff, 278 0x3fdffffffffffffe, 0x3fdfffffffffffff, 279 0x3fdfffffffffffff, 0x3fe0000000000000, 280 0x3fdfffffffffffff, 0x3fe0000000000000, 281 0x3fe0000000000000, 0x3fe0000000000001, 282 0x3fe0000000000000, 0x3fe0000000000001, 283 0x3fe7ffffffffffff, 0x3fe8000000000000, 284 0x3fe7ffffffffffff, 0x3fe8000000000000, 285 0x4013ffffffffffff, 0x4014000000000000, 286 0x4013ffffffffffff, 0x4014000000000000, 287 0x7fdffffffffffffe, 0x7fdfffffffffffff, 288 0x7fdffffffffffffe, 0x7fdfffffffffffff, 289 0x7ff0000000000000, 0x7ff0000000000000, 290 0x7ff0000000000000, 0x7ff0000000000000, 291 0x7ff923456789abcd, 0x7ff923456789abcd, 292 0x7ff923456789abcd, 0x7ff923456789abcd, 293 0x7ff8000000000000, 0x7ff8000000000000, 294 0x7ff8000000000000, 0x7ff8000000000000, 295 0x7ff923456789abcd, 0x7ff923456789abcd, 296 0x7ff923456789abcd, 0x7ff923456789abcd, 297 0x7ff0000000000000, 0x7ff0000000000000, 298 0x7ff0000000000000, 0x7ff0000000000000, 299 0x000091a2b3c4d5e6, 0x000091a2b3c4d5e6, 300 0x000091a2b3c4d5e6, 0x000091a2b3c4d5e6, 301 0x0007ffffffffffff, 0x0008000000000000, 302 0x0007ffffffffffff, 0x0008000000000000, 303 0x0000000000000000, 0x0000000000000000, 304 0x0000000000000000, 0x0000000000000000, 305 0x8000000000000000, 0x8000000000000000, 306 0x8000000000000000, 0x8000000000000000, 307 0x8008000000000000, 0x8008000000000000, 308 0x8008000000000000, 0x8008000000000000, 309 0xbfcffffffffffffe, 0xbfcfffffffffffff, 310 0xbfcffffffffffffe, 0xbfcfffffffffffff, 311 0xbfcfffffffffffff, 0xbfd0000000000000, 312 0xbfcfffffffffffff, 0xbfd0000000000000, 313 0xbfd0000000000000, 0xbfd0000000000001, 314 0xbfd0000000000000, 0xbfd0000000000001, 315 0xbfdffffffffffffe, 0xbfdfffffffffffff, 316 0xbfdffffffffffffe, 0xbfdfffffffffffff, 317 0xbfdfffffffffffff, 0xbfe0000000000000, 318 0xbfdfffffffffffff, 0xbfe0000000000000, 319 0xbfe0000000000000, 0xbfe0000000000001, 320 0xbfe0000000000000, 0xbfe0000000000001, 321 0xbfe7ffffffffffff, 0xbfe8000000000000, 322 0xbfe7ffffffffffff, 0xbfe8000000000000, 323 0xc013ffffffffffff, 0xc014000000000000, 324 0xc013ffffffffffff, 0xc014000000000000, 325 0xffdffffffffffffe, 0xffdfffffffffffff, 326 0xffdffffffffffffe, 0xffdfffffffffffff, 327 0xfff0000000000000, 0xfff0000000000000, 328 0xfff0000000000000, 0xfff0000000000000, 329 0xfff923456789abcd, 0xfff923456789abcd, 330 0xfff923456789abcd, 0xfff923456789abcd, 331 0xfff8000000000000, 0xfff8000000000000, 332 0xfff8000000000000, 0xfff8000000000000, 333 0xfff923456789abcd, 0xfff923456789abcd, 334 0xfff923456789abcd, 0xfff923456789abcd, 335 0xfff0000000000000, 0xfff0000000000000, 336 0xfff0000000000000, 0xfff0000000000000, 337 0x800091a2b3c4d5e6, 0x800091a2b3c4d5e6, 338 0x800091a2b3c4d5e6, 0x800091a2b3c4d5e6, 339 0x8007ffffffffffff, 0x8008000000000000, 340 0x8007ffffffffffff, 0x8008000000000000, 341 0x8000000000000000, 0x8000000000000000, 342 0x8000000000000000, 0x8000000000000001, 343 0x0000000000000000, 0x0000000000000000, 344 0x0000000000000000, 0x0000000000000000, 345 0x0008000000000000, 0x0008000000000000, 346 0x0008000000000000, 0x0008000000000000, 347 0x3fcfffffffffffff, 0x3fd0000000000000, 348 0x3fcfffffffffffff, 0x3fd0000000000000, 349 0x3fd0000000000000, 0x3fd0000000000001, 350 0x3fd0000000000000, 0x3fd0000000000001, 351 0x3fd0000000000001, 0x3fd0000000000002, 352 0x3fd0000000000001, 0x3fd0000000000002, 353 0x3fdfffffffffffff, 0x3fe0000000000000, 354 0x3fdfffffffffffff, 0x3fe0000000000000, 355 0x3fe0000000000000, 0x3fe0000000000001, 356 0x3fe0000000000000, 0x3fe0000000000001, 357 0x3fe0000000000001, 0x3fe0000000000002, 358 0x3fe0000000000001, 0x3fe0000000000002, 359 0x3fe8000000000000, 0x3fe8000000000002, 360 0x3fe8000000000000, 0x3fe8000000000002, 361 0x4014000000000000, 0x4014000000000001, 362 0x4014000000000000, 0x4014000000000001, 363 0x7fdfffffffffffff, 0x7fe0000000000000, 364 0x7fdfffffffffffff, 0x7fe0000000000000, 365 0x7ff0000000000000, 0x7ff0000000000000, 366 0x7ff0000000000000, 0x7ff0000000000000, 367 0x7ff923456789abcd, 0x7ff923456789abcd, 368 0x7ff923456789abcd, 0x7ff923456789abcd, 369 0x7ff8000000000000, 0x7ff8000000000000, 370 0x7ff8000000000000, 0x7ff8000000000000, 371 0x7ff923456789abcd, 0x7ff923456789abcd, 372 0x7ff923456789abcd, 0x7ff923456789abcd, 373 0x7ff0000000000000, 0x7ff0000000000000, 374 0x7ff0000000000000, 0x7ff0000000000000, 375 0x000091a2b3c4d5e6, 0x000091a2b3c4d5e7, 376 0x000091a2b3c4d5e6, 0x000091a2b3c4d5e7, 377 0x0008000000000000, 0x0008000000000000, 378 0x0008000000000000, 0x0008000000000000, 379 0x0000000000000000, 0x0000000000000001, 380 0x0000000000000000, 0x0000000000000001, 381 0x8000000000000000, 0x8000000000000000, 382 0x8000000000000000, 0x8000000000000000, 383 0x8008000000000000, 0x8008000000000000, 384 0x8008000000000000, 0x8008000000000000, 385 0xbfcfffffffffffff, 0xbfd0000000000000, 386 0xbfcfffffffffffff, 0xbfd0000000000000, 387 0xbfd0000000000000, 0xbfd0000000000001, 388 0xbfd0000000000000, 0xbfd0000000000001, 389 0xbfd0000000000001, 0xbfd0000000000002, 390 0xbfd0000000000001, 0xbfd0000000000002, 391 0xbfdfffffffffffff, 0xbfe0000000000000, 392 0xbfdfffffffffffff, 0xbfe0000000000000, 393 0xbfe0000000000000, 0xbfe0000000000001, 394 0xbfe0000000000000, 0xbfe0000000000001, 395 0xbfe0000000000001, 0xbfe0000000000002, 396 0xbfe0000000000001, 0xbfe0000000000002, 397 0xbfe8000000000000, 0xbfe8000000000002, 398 0xbfe8000000000000, 0xbfe8000000000002, 399 0xc014000000000000, 0xc014000000000001, 400 0xc014000000000000, 0xc014000000000001, 401 0xffdfffffffffffff, 0xffe0000000000000, 402 0xffdfffffffffffff, 0xffe0000000000000, 403 0xfff0000000000000, 0xfff0000000000000, 404 0xfff0000000000000, 0xfff0000000000000, 405 0xfff923456789abcd, 0xfff923456789abcd, 406 0xfff923456789abcd, 0xfff923456789abcd, 407 0xfff8000000000000, 0xfff8000000000000, 408 0xfff8000000000000, 0xfff8000000000000, 409 0xfff923456789abcd, 0xfff923456789abcd, 410 0xfff923456789abcd, 0xfff923456789abcd, 411 0xfff0000000000000, 0xfff0000000000000, 412 0xfff0000000000000, 0xfff0000000000000, 413 0x800091a2b3c4d5e6, 0x800091a2b3c4d5e7, 414 0x800091a2b3c4d5e6, 0x800091a2b3c4d5e7, 415 0x8008000000000000, 0x8008000000000000, 416 0x8008000000000000, 0x8008000000000000, 417 0x8000000000000000, 0x8000000000000001, 418 0x8000000000000001, 0x8000000000000001, 419 0x0000000000000000, 0x0000000000000000, 420 0x0000000000000000, 0x0000000000000000, 421 0x0008000000000000, 0x0010000000000000, 422 0x0008000000000000, 0x0010000000000000, 423 0x3fd0000000000000, 0x3fdffffffffffffe, 424 0x3fd0000000000000, 0x3fdffffffffffffe, 425 0x3fd0000000000001, 0x3fdfffffffffffff, 426 0x3fd0000000000001, 0x3fdfffffffffffff, 427 0x3fd0000000000002, 0x3fe0000000000000, 428 0x3fd0000000000002, 0x3fe0000000000000, 429 0x3fe0000000000000, 0x3feffffffffffffe, 430 0x3fe0000000000000, 0x3feffffffffffffe, 431 0x3fe0000000000001, 0x3fefffffffffffff, 432 0x3fe0000000000001, 0x3fefffffffffffff, 433 0x3fe0000000000002, 0x3ff0000000000000, 434 0x3fe0000000000002, 0x3ff0000000000000, 435 0x3fe8000000000002, 0x3ff7ffffffffffff, 436 0x3fe8000000000002, 0x3ff7ffffffffffff, 437 0x4014000000000001, 0x4023ffffffffffff, 438 0x4014000000000001, 0x4023ffffffffffff, 439 0x7fe0000000000000, 0x7feffffffffffffe, 440 0x7fe0000000000000, 0x7feffffffffffffe, 441 0x7ff0000000000000, 0x7ff0000000000000, 442 0x7ff0000000000000, 0x7ff0000000000000, 443 0x7ff923456789abcd, 0x7ff923456789abcd, 444 0x7ff923456789abcd, 0x7ff923456789abcd, 445 0x7ff8000000000000, 0x7ff8000000000000, 446 0x7ff8000000000000, 0x7ff8000000000000, 447 0x7ff923456789abcd, 0x7ff923456789abcd, 448 0x7ff923456789abcd, 0x7ff923456789abcd, 449 0x7ff0000000000000, 0x7ff0000000000000, 450 0x7ff0000000000000, 0x7ff0000000000000, 451 0x000091a2b3c4d5e7, 0x000123456789abcd, 452 0x000091a2b3c4d5e7, 0x000123456789abcd, 453 0x0008000000000000, 0x000fffffffffffff, 454 0x0008000000000000, 0x000fffffffffffff, 455 0x0000000000000001, 0x0000000000000001, 456 0x0000000000000001, 0x0000000000000001, 457 0x8000000000000000, 0x8000000000000000, 458 0x8000000000000000, 0x8000000000000000, 459 0x8008000000000000, 0x8010000000000000, 460 0x8008000000000000, 0x8010000000000000, 461 0xbfd0000000000000, 0xbfdffffffffffffe, 462 0xbfd0000000000000, 0xbfdffffffffffffe, 463 0xbfd0000000000001, 0xbfdfffffffffffff, 464 0xbfd0000000000001, 0xbfdfffffffffffff, 465 0xbfd0000000000002, 0xbfe0000000000000, 466 0xbfd0000000000002, 0xbfe0000000000000, 467 0xbfe0000000000000, 0xbfeffffffffffffe, 468 0xbfe0000000000000, 0xbfeffffffffffffe, 469 0xbfe0000000000001, 0xbfefffffffffffff, 470 0xbfe0000000000001, 0xbfefffffffffffff, 471 0xbfe0000000000002, 0xbff0000000000000, 472 0xbfe0000000000002, 0xbff0000000000000, 473 0xbfe8000000000002, 0xbff7ffffffffffff, 474 0xbfe8000000000002, 0xbff7ffffffffffff, 475 0xc014000000000001, 0xc023ffffffffffff, 476 0xc014000000000001, 0xc023ffffffffffff, 477 0xffe0000000000000, 0xffeffffffffffffe, 478 0xffe0000000000000, 0xffeffffffffffffe, 479 0xfff0000000000000, 0xfff0000000000000, 480 0xfff0000000000000, 0xfff0000000000000, 481 0xfff923456789abcd, 0xfff923456789abcd, 482 0xfff923456789abcd, 0xfff923456789abcd, 483 0xfff8000000000000, 0xfff8000000000000, 484 0xfff8000000000000, 0xfff8000000000000, 485 0xfff923456789abcd, 0xfff923456789abcd, 486 0xfff923456789abcd, 0xfff923456789abcd, 487 0xfff0000000000000, 0xfff0000000000000, 488 0xfff0000000000000, 0xfff0000000000000, 489 0x800091a2b3c4d5e7, 0x800123456789abcd, 490 0x800091a2b3c4d5e7, 0x800123456789abcd, 491 0x8008000000000000, 0x800fffffffffffff, 492 0x8008000000000000, 0x800fffffffffffff, 493 0x8000000000000001, 0x8000000000000001, 494 0x8000000000000001, 0x8000000000000001, 495 0x0000000000000000, 0x0000000000000000, 496 0x0000000000000000, 0x0000000000000000, 497 0x0010000000000000, 0x0010000000000000, 498 0x0010000000000000, 0x0010000000000000, 499 0x3fdffffffffffffe, 0x3fdfffffffffffff, 500 0x3fdffffffffffffe, 0x3fdfffffffffffff, 501 0x3fdfffffffffffff, 0x3fe0000000000000, 502 0x3fdfffffffffffff, 0x3fe0000000000000, 503 0x3fe0000000000000, 0x3fe0000000000001, 504 0x3fe0000000000000, 0x3fe0000000000001, 505 0x3feffffffffffffe, 0x3fefffffffffffff, 506 0x3feffffffffffffe, 0x3fefffffffffffff, 507 0x3fefffffffffffff, 0x3ff0000000000000, 508 0x3fefffffffffffff, 0x3ff0000000000000, 509 0x3ff0000000000000, 0x3ff0000000000001, 510 0x3ff0000000000000, 0x3ff0000000000001, 511 0x3ff7ffffffffffff, 0x3ff8000000000000, 512 0x3ff7ffffffffffff, 0x3ff8000000000000, 513 0x4023ffffffffffff, 0x4024000000000000, 514 0x4023ffffffffffff, 0x4024000000000000, 515 0x7feffffffffffffe, 0x7fefffffffffffff, 516 0x7feffffffffffffe, 0x7fefffffffffffff, 517 0x7ff0000000000000, 0x7ff0000000000000, 518 0x7ff0000000000000, 0x7ff0000000000000, 519 0x7ff923456789abcd, 0x7ff923456789abcd, 520 0x7ff923456789abcd, 0x7ff923456789abcd, 521 0x7ff8000000000000, 0x7ff8000000000000, 522 0x7ff8000000000000, 0x7ff8000000000000, 523 0x7ff923456789abcd, 0x7ff923456789abcd, 524 0x7ff923456789abcd, 0x7ff923456789abcd, 525 0x7ff0000000000000, 0x7ff0000000000000, 526 0x7ff0000000000000, 0x7ff0000000000000, 527 0x000123456789abcd, 0x000123456789abcd, 528 0x000123456789abcd, 0x000123456789abcd, 529 0x000fffffffffffff, 0x000fffffffffffff, 530 0x000fffffffffffff, 0x000fffffffffffff, 531 0x0000000000000001, 0x0000000000000001, 532 0x0000000000000001, 0x0000000000000001, 533 0x8000000000000000, 0x8000000000000000, 534 0x8000000000000000, 0x8000000000000000, 535 0x8010000000000000, 0x8010000000000000, 536 0x8010000000000000, 0x8010000000000000, 537 0xbfdffffffffffffe, 0xbfdfffffffffffff, 538 0xbfdffffffffffffe, 0xbfdfffffffffffff, 539 0xbfdfffffffffffff, 0xbfe0000000000000, 540 0xbfdfffffffffffff, 0xbfe0000000000000, 541 0xbfe0000000000000, 0xbfe0000000000001, 542 0xbfe0000000000000, 0xbfe0000000000001, 543 0xbfeffffffffffffe, 0xbfefffffffffffff, 544 0xbfeffffffffffffe, 0xbfefffffffffffff, 545 0xbfefffffffffffff, 0xbff0000000000000, 546 0xbfefffffffffffff, 0xbff0000000000000, 547 0xbff0000000000000, 0xbff0000000000001, 548 0xbff0000000000000, 0xbff0000000000001, 549 0xbff7ffffffffffff, 0xbff8000000000000, 550 0xbff7ffffffffffff, 0xbff8000000000000, 551 0xc023ffffffffffff, 0xc024000000000000, 552 0xc023ffffffffffff, 0xc024000000000000, 553 0xffeffffffffffffe, 0xffefffffffffffff, 554 0xffeffffffffffffe, 0xffefffffffffffff, 555 0xfff0000000000000, 0xfff0000000000000, 556 0xfff0000000000000, 0xfff0000000000000, 557 0xfff923456789abcd, 0xfff923456789abcd, 558 0xfff923456789abcd, 0xfff923456789abcd, 559 0xfff8000000000000, 0xfff8000000000000, 560 0xfff8000000000000, 0xfff8000000000000, 561 0xfff923456789abcd, 0xfff923456789abcd, 562 0xfff923456789abcd, 0xfff923456789abcd, 563 0xfff0000000000000, 0xfff0000000000000, 564 0xfff0000000000000, 0xfff0000000000000, 565 0x800123456789abcd, 0x800123456789abcd, 566 0x800123456789abcd, 0x800123456789abcd, 567 0x800fffffffffffff, 0x800fffffffffffff, 568 0x800fffffffffffff, 0x800fffffffffffff, 569 0x8000000000000001, 0x8000000000000001, 570 0x8000000000000001, 0x8000000000000001, 571 0x0000000000000000, 0x0000000000000000, 572 0x0000000000000000, 0x0000000000000000, 573 0x0010000000000000, 0x0010000000000001, 574 0x0010000000000000, 0x0010000000000001, 575 0x3fdfffffffffffff, 0x3fe0000000000000, 576 0x3fdfffffffffffff, 0x3fe0000000000000, 577 0x3fe0000000000000, 0x3fe0000000000001, 578 0x3fe0000000000000, 0x3fe0000000000001, 579 0x3fe0000000000001, 0x3fe0000000000002, 580 0x3fe0000000000001, 0x3fe0000000000002, 581 0x3fefffffffffffff, 0x3ff0000000000000, 582 0x3fefffffffffffff, 0x3ff0000000000000, 583 0x3ff0000000000000, 0x3ff0000000000001, 584 0x3ff0000000000000, 0x3ff0000000000001, 585 0x3ff0000000000001, 0x3ff0000000000002, 586 0x3ff0000000000001, 0x3ff0000000000002, 587 0x3ff8000000000000, 0x3ff8000000000002, 588 0x3ff8000000000000, 0x3ff8000000000002, 589 0x4024000000000000, 0x4024000000000001, 590 0x4024000000000000, 0x4024000000000001, 591 0x7fefffffffffffff, 0x7ff0000000000000, 592 0x7fefffffffffffff, 0x7ff0000000000000, 593 0x7ff0000000000000, 0x7ff0000000000000, 594 0x7ff0000000000000, 0x7ff0000000000000, 595 0x7ff923456789abcd, 0x7ff923456789abcd, 596 0x7ff923456789abcd, 0x7ff923456789abcd, 597 0x7ff8000000000000, 0x7ff8000000000000, 598 0x7ff8000000000000, 0x7ff8000000000000, 599 0x7ff923456789abcd, 0x7ff923456789abcd, 600 0x7ff923456789abcd, 0x7ff923456789abcd, 601 0x7ff0000000000000, 0x7ff0000000000000, 602 0x7ff0000000000000, 0x7ff0000000000000, 603 0x000123456789abcd, 0x000123456789abcd, 604 0x000123456789abcd, 0x000123456789abcd, 605 0x000fffffffffffff, 0x0010000000000000, 606 0x000fffffffffffff, 0x0010000000000000, 607 0x0000000000000001, 0x0000000000000001, 608 0x0000000000000001, 0x0000000000000001, 609 0x8000000000000000, 0x8000000000000000, 610 0x8000000000000000, 0x8000000000000000, 611 0x8010000000000000, 0x8010000000000001, 612 0x8010000000000000, 0x8010000000000001, 613 0xbfdfffffffffffff, 0xbfe0000000000000, 614 0xbfdfffffffffffff, 0xbfe0000000000000, 615 0xbfe0000000000000, 0xbfe0000000000001, 616 0xbfe0000000000000, 0xbfe0000000000001, 617 0xbfe0000000000001, 0xbfe0000000000002, 618 0xbfe0000000000001, 0xbfe0000000000002, 619 0xbfefffffffffffff, 0xbff0000000000000, 620 0xbfefffffffffffff, 0xbff0000000000000, 621 0xbff0000000000000, 0xbff0000000000001, 622 0xbff0000000000000, 0xbff0000000000001, 623 0xbff0000000000001, 0xbff0000000000002, 624 0xbff0000000000001, 0xbff0000000000002, 625 0xbff8000000000000, 0xbff8000000000002, 626 0xbff8000000000000, 0xbff8000000000002, 627 0xc024000000000000, 0xc024000000000001, 628 0xc024000000000000, 0xc024000000000001, 629 0xffefffffffffffff, 0xfff0000000000000, 630 0xffefffffffffffff, 0xfff0000000000000, 631 0xfff0000000000000, 0xfff0000000000000, 632 0xfff0000000000000, 0xfff0000000000000, 633 0xfff923456789abcd, 0xfff923456789abcd, 634 0xfff923456789abcd, 0xfff923456789abcd, 635 0xfff8000000000000, 0xfff8000000000000, 636 0xfff8000000000000, 0xfff8000000000000, 637 0xfff923456789abcd, 0xfff923456789abcd, 638 0xfff923456789abcd, 0xfff923456789abcd, 639 0xfff0000000000000, 0xfff0000000000000, 640 0xfff0000000000000, 0xfff0000000000000, 641 0x800123456789abcd, 0x800123456789abcd, 642 0x800123456789abcd, 0x800123456789abcd, 643 0x800fffffffffffff, 0x8010000000000000, 644 0x800fffffffffffff, 0x8010000000000000, 645 0x8000000000000001, 0x8000000000000001, 646 0x8000000000000001, 0x8000000000000002, 647 0x0000000000000000, 0x0000000000000000, 648 0x0000000000000000, 0x0000000000000000, 649 0x0010000000000001, 0x0018000000000000, 650 0x0010000000000001, 0x0018000000000000, 651 0x3fe0000000000000, 0x3fe7ffffffffffff, 652 0x3fe0000000000000, 0x3fe7ffffffffffff, 653 0x3fe0000000000001, 0x3fe8000000000000, 654 0x3fe0000000000001, 0x3fe8000000000000, 655 0x3fe0000000000002, 0x3fe8000000000002, 656 0x3fe0000000000002, 0x3fe8000000000002, 657 0x3ff0000000000000, 0x3ff7ffffffffffff, 658 0x3ff0000000000000, 0x3ff7ffffffffffff, 659 0x3ff0000000000001, 0x3ff8000000000000, 660 0x3ff0000000000001, 0x3ff8000000000000, 661 0x3ff0000000000002, 0x3ff8000000000002, 662 0x3ff0000000000002, 0x3ff8000000000002, 663 0x3ff8000000000002, 0x4002000000000000, 664 0x3ff8000000000002, 0x4002000000000000, 665 0x4024000000000001, 0x402e000000000000, 666 0x4024000000000001, 0x402e000000000000, 667 0x7ff0000000000000, 0x7ff0000000000000, 668 0x7ff0000000000000, 0x7ff0000000000000, 669 0x7ff0000000000000, 0x7ff0000000000000, 670 0x7ff0000000000000, 0x7ff0000000000000, 671 0x7ff923456789abcd, 0x7ff923456789abcd, 672 0x7ff923456789abcd, 0x7ff923456789abcd, 673 0x7ff8000000000000, 0x7ff8000000000000, 674 0x7ff8000000000000, 0x7ff8000000000000, 675 0x7ff923456789abcd, 0x7ff923456789abcd, 676 0x7ff923456789abcd, 0x7ff923456789abcd, 677 0x7ff0000000000000, 0x7ff0000000000000, 678 0x7ff0000000000000, 0x7ff0000000000000, 679 0x000123456789abcd, 0x0001b4e81b4e81b4, 680 0x000123456789abcd, 0x0001b4e81b4e81b4, 681 0x0010000000000000, 0x0017fffffffffffe, 682 0x0010000000000000, 0x0017fffffffffffe, 683 0x0000000000000001, 0x0000000000000002, 684 0x0000000000000001, 0x0000000000000002, 685 0x8000000000000000, 0x8000000000000000, 686 0x8000000000000000, 0x8000000000000000, 687 0x8010000000000001, 0x8018000000000000, 688 0x8010000000000001, 0x8018000000000000, 689 0xbfe0000000000000, 0xbfe7ffffffffffff, 690 0xbfe0000000000000, 0xbfe7ffffffffffff, 691 0xbfe0000000000001, 0xbfe8000000000000, 692 0xbfe0000000000001, 0xbfe8000000000000, 693 0xbfe0000000000002, 0xbfe8000000000002, 694 0xbfe0000000000002, 0xbfe8000000000002, 695 0xbff0000000000000, 0xbff7ffffffffffff, 696 0xbff0000000000000, 0xbff7ffffffffffff, 697 0xbff0000000000001, 0xbff8000000000000, 698 0xbff0000000000001, 0xbff8000000000000, 699 0xbff0000000000002, 0xbff8000000000002, 700 0xbff0000000000002, 0xbff8000000000002, 701 0xbff8000000000002, 0xc002000000000000, 702 0xbff8000000000002, 0xc002000000000000, 703 0xc024000000000001, 0xc02e000000000000, 704 0xc024000000000001, 0xc02e000000000000, 705 0xfff0000000000000, 0xfff0000000000000, 706 0xfff0000000000000, 0xfff0000000000000, 707 0xfff0000000000000, 0xfff0000000000000, 708 0xfff0000000000000, 0xfff0000000000000, 709 0xfff923456789abcd, 0xfff923456789abcd, 710 0xfff923456789abcd, 0xfff923456789abcd, 711 0xfff8000000000000, 0xfff8000000000000, 712 0xfff8000000000000, 0xfff8000000000000, 713 0xfff923456789abcd, 0xfff923456789abcd, 714 0xfff923456789abcd, 0xfff923456789abcd, 715 0xfff0000000000000, 0xfff0000000000000, 716 0xfff0000000000000, 0xfff0000000000000, 717 0x800123456789abcd, 0x8001b4e81b4e81b4, 718 0x800123456789abcd, 0x8001b4e81b4e81b4, 719 0x8010000000000000, 0x8017fffffffffffe, 720 0x8010000000000000, 0x8017fffffffffffe, 721 0x8000000000000001, 0x8000000000000002, 722 0x8000000000000002, 0x800000000000000a, 723 0x0000000000000000, 0x0000000000000000, 724 0x0000000000000000, 0x0000000000000000, 725 0x0018000000000000, 0x0044000000000000, 726 0x0018000000000000, 0x0044000000000000, 727 0x3fe7ffffffffffff, 0x4013ffffffffffff, 728 0x3fe7ffffffffffff, 0x4013ffffffffffff, 729 0x3fe8000000000000, 0x4014000000000000, 730 0x3fe8000000000000, 0x4014000000000000, 731 0x3fe8000000000002, 0x4014000000000001, 732 0x3fe8000000000002, 0x4014000000000001, 733 0x3ff7ffffffffffff, 0x4023ffffffffffff, 734 0x3ff7ffffffffffff, 0x4023ffffffffffff, 735 0x3ff8000000000000, 0x4024000000000000, 736 0x3ff8000000000000, 0x4024000000000000, 737 0x3ff8000000000002, 0x4024000000000001, 738 0x3ff8000000000002, 0x4024000000000001, 739 0x4002000000000000, 0x402e000000000000, 740 0x4002000000000000, 0x402e000000000000, 741 0x402e000000000000, 0x4059000000000000, 742 0x402e000000000000, 0x4059000000000000, 743 0x7ff0000000000000, 0x7ff0000000000000, 744 0x7ff0000000000000, 0x7ff0000000000000, 745 0x7ff0000000000000, 0x7ff0000000000000, 746 0x7ff0000000000000, 0x7ff0000000000000, 747 0x7ff923456789abcd, 0x7ff923456789abcd, 748 0x7ff923456789abcd, 0x7ff923456789abcd, 749 0x7ff8000000000000, 0x7ff8000000000000, 750 0x7ff8000000000000, 0x7ff8000000000000, 751 0x7ff923456789abcd, 0x7ff923456789abcd, 752 0x7ff923456789abcd, 0x7ff923456789abcd, 753 0x7ff0000000000000, 0x7ff0000000000000, 754 0x7ff0000000000000, 0x7ff0000000000000, 755 0x0001b4e81b4e81b4, 0x000b60b60b60b602, 756 0x0001b4e81b4e81b4, 0x000b60b60b60b602, 757 0x0017fffffffffffe, 0x0043ffffffffffff, 758 0x0017fffffffffffe, 0x0043ffffffffffff, 759 0x0000000000000002, 0x000000000000000a, 760 0x0000000000000002, 0x000000000000000a, 761 0x8000000000000000, 0x8000000000000000, 762 0x8000000000000000, 0x8000000000000000, 763 0x8018000000000000, 0x8044000000000000, 764 0x8018000000000000, 0x8044000000000000, 765 0xbfe7ffffffffffff, 0xc013ffffffffffff, 766 0xbfe7ffffffffffff, 0xc013ffffffffffff, 767 0xbfe8000000000000, 0xc014000000000000, 768 0xbfe8000000000000, 0xc014000000000000, 769 0xbfe8000000000002, 0xc014000000000001, 770 0xbfe8000000000002, 0xc014000000000001, 771 0xbff7ffffffffffff, 0xc023ffffffffffff, 772 0xbff7ffffffffffff, 0xc023ffffffffffff, 773 0xbff8000000000000, 0xc024000000000000, 774 0xbff8000000000000, 0xc024000000000000, 775 0xbff8000000000002, 0xc024000000000001, 776 0xbff8000000000002, 0xc024000000000001, 777 0xc002000000000000, 0xc02e000000000000, 778 0xc002000000000000, 0xc02e000000000000, 779 0xc02e000000000000, 0xc059000000000000, 780 0xc02e000000000000, 0xc059000000000000, 781 0xfff0000000000000, 0xfff0000000000000, 782 0xfff0000000000000, 0xfff0000000000000, 783 0xfff0000000000000, 0xfff0000000000000, 784 0xfff0000000000000, 0xfff0000000000000, 785 0xfff923456789abcd, 0xfff923456789abcd, 786 0xfff923456789abcd, 0xfff923456789abcd, 787 0xfff8000000000000, 0xfff8000000000000, 788 0xfff8000000000000, 0xfff8000000000000, 789 0xfff923456789abcd, 0xfff923456789abcd, 790 0xfff923456789abcd, 0xfff923456789abcd, 791 0xfff0000000000000, 0xfff0000000000000, 792 0xfff0000000000000, 0xfff0000000000000, 793 0x8001b4e81b4e81b4, 0x800b60b60b60b602, 794 0x8001b4e81b4e81b4, 0x800b60b60b60b602, 795 0x8017fffffffffffe, 0x8043ffffffffffff, 796 0x8017fffffffffffe, 0x8043ffffffffffff, 797 0x8000000000000002, 0x800000000000000a, 798 0x800000000000000a, 0xbccfffffffffffff, 799 0x0000000000000000, 0x0000000000000000, 800 0x0000000000000000, 0x0000000000000000, 801 0x0044000000000000, 0x400fffffffffffff, 802 0x0044000000000000, 0x400fffffffffffff, 803 0x4013ffffffffffff, 0x7fdffffffffffffe, 804 0x4013ffffffffffff, 0x7fdffffffffffffe, 805 0x4014000000000000, 0x7fdfffffffffffff, 806 0x4014000000000000, 0x7fdfffffffffffff, 807 0x4014000000000001, 0x7fe0000000000000, 808 0x4014000000000001, 0x7fe0000000000000, 809 0x4023ffffffffffff, 0x7feffffffffffffe, 810 0x4023ffffffffffff, 0x7feffffffffffffe, 811 0x4024000000000000, 0x7fefffffffffffff, 812 0x4024000000000000, 0x7fefffffffffffff, 813 0x4024000000000001, 0x7ff0000000000000, 814 0x4024000000000001, 0x7ff0000000000000, 815 0x402e000000000000, 0x7ff0000000000000, 816 0x402e000000000000, 0x7ff0000000000000, 817 0x4059000000000000, 0x7ff0000000000000, 818 0x4059000000000000, 0x7ff0000000000000, 819 0x7ff0000000000000, 0x7ff0000000000000, 820 0x7ff0000000000000, 0x7ff0000000000000, 821 0x7ff0000000000000, 0x7ff0000000000000, 822 0x7ff0000000000000, 0x7ff0000000000000, 823 0x7ff923456789abcd, 0x7ff923456789abcd, 824 0x7ff923456789abcd, 0x7ff923456789abcd, 825 0x7ff8000000000000, 0x7ff8000000000000, 826 0x7ff8000000000000, 0x7ff8000000000000, 827 0x7ff923456789abcd, 0x7ff923456789abcd, 828 0x7ff923456789abcd, 0x7ff923456789abcd, 829 0x7ff0000000000000, 0x7ff0000000000000, 830 0x7ff0000000000000, 0x7ff0000000000000, 831 0x000b60b60b60b602, 0x3fd23456789abccf, 832 0x000b60b60b60b602, 0x3fd23456789abccf, 833 0x0043ffffffffffff, 0x400ffffffffffffd, 834 0x0043ffffffffffff, 0x400ffffffffffffd, 835 0x000000000000000a, 0x3ccfffffffffffff, 836 0x000000000000000a, 0x3ccfffffffffffff, 837 0x8000000000000000, 0x8000000000000000, 838 0x8000000000000000, 0x8000000000000000, 839 0x8044000000000000, 0xc00fffffffffffff, 840 0x8044000000000000, 0xc00fffffffffffff, 841 0xc013ffffffffffff, 0xffdffffffffffffe, 842 0xc013ffffffffffff, 0xffdffffffffffffe, 843 0xc014000000000000, 0xffdfffffffffffff, 844 0xc014000000000000, 0xffdfffffffffffff, 845 0xc014000000000001, 0xffe0000000000000, 846 0xc014000000000001, 0xffe0000000000000, 847 0xc023ffffffffffff, 0xffeffffffffffffe, 848 0xc023ffffffffffff, 0xffeffffffffffffe, 849 0xc024000000000000, 0xffefffffffffffff, 850 0xc024000000000000, 0xffefffffffffffff, 851 0xc024000000000001, 0xfff0000000000000, 852 0xc024000000000001, 0xfff0000000000000, 853 0xc02e000000000000, 0xfff0000000000000, 854 0xc02e000000000000, 0xfff0000000000000, 855 0xc059000000000000, 0xfff0000000000000, 856 0xc059000000000000, 0xfff0000000000000, 857 0xfff0000000000000, 0xfff0000000000000, 858 0xfff0000000000000, 0xfff0000000000000, 859 0xfff0000000000000, 0xfff0000000000000, 860 0xfff0000000000000, 0xfff0000000000000, 861 0xfff923456789abcd, 0xfff923456789abcd, 862 0xfff923456789abcd, 0xfff923456789abcd, 863 0xfff8000000000000, 0xfff8000000000000, 864 0xfff8000000000000, 0xfff8000000000000, 865 0xfff923456789abcd, 0xfff923456789abcd, 866 0xfff923456789abcd, 0xfff923456789abcd, 867 0xfff0000000000000, 0xfff0000000000000, 868 0xfff0000000000000, 0xfff0000000000000, 869 0x800b60b60b60b602, 0xbfd23456789abccf, 870 0x800b60b60b60b602, 0xbfd23456789abccf, 871 0x8043ffffffffffff, 0xc00ffffffffffffd, 872 0x8043ffffffffffff, 0xc00ffffffffffffd, 873 0x800000000000000a, 0xbccfffffffffffff, 874 0xbccfffffffffffff, 0xfff0000000000000, 875 0x0000000000000000, 0x7ff8000000000000, 876 0x0000000000000000, 0x7ff8000000000000, 877 0x400fffffffffffff, 0x7ff0000000000000, 878 0x400fffffffffffff, 0x7ff0000000000000, 879 0x7fdffffffffffffe, 0x7ff0000000000000, 880 0x7fdffffffffffffe, 0x7ff0000000000000, 881 0x7fdfffffffffffff, 0x7ff0000000000000, 882 0x7fdfffffffffffff, 0x7ff0000000000000, 883 0x7fe0000000000000, 0x7ff0000000000000, 884 0x7fe0000000000000, 0x7ff0000000000000, 885 0x7feffffffffffffe, 0x7ff0000000000000, 886 0x7feffffffffffffe, 0x7ff0000000000000, 887 0x7fefffffffffffff, 0x7ff0000000000000, 888 0x7fefffffffffffff, 0x7ff0000000000000, 889 0x7ff0000000000000, 0x7ff0000000000000, 890 0x7ff0000000000000, 0x7ff0000000000000, 891 0x7ff0000000000000, 0x7ff0000000000000, 892 0x7ff0000000000000, 0x7ff0000000000000, 893 0x7ff0000000000000, 0x7ff0000000000000, 894 0x7ff0000000000000, 0x7ff0000000000000, 895 0x7ff0000000000000, 0x7ff0000000000000, 896 0x7ff0000000000000, 0x7ff0000000000000, 897 0x7ff0000000000000, 0x7ff0000000000000, 898 0x7ff0000000000000, 0x7ff0000000000000, 899 0x7ff923456789abcd, 0x7ff923456789abcd, 900 0x7ff923456789abcd, 0x7ff923456789abcd, 901 0x7ff8000000000000, 0x7ff8000000000000, 902 0x7ff8000000000000, 0x7ff8000000000000, 903 0x7ff923456789abcd, 0x7ff923456789abcd, 904 0x7ff923456789abcd, 0x7ff923456789abcd, 905 0x7ff0000000000000, 0x7ff0000000000000, 906 0x7ff0000000000000, 0x7ff0000000000000, 907 0x3fd23456789abccf, 0x7ff0000000000000, 908 0x3fd23456789abccf, 0x7ff0000000000000, 909 0x400ffffffffffffd, 0x7ff0000000000000, 910 0x400ffffffffffffd, 0x7ff0000000000000, 911 0x3ccfffffffffffff, 0x7ff0000000000000, 912 0x3ccfffffffffffff, 0x7ff0000000000000, 913 0x8000000000000000, 0x7ff8000000000000, 914 0x8000000000000000, 0x7ff8000000000000, 915 0xc00fffffffffffff, 0xfff0000000000000, 916 0xc00fffffffffffff, 0xfff0000000000000, 917 0xffdffffffffffffe, 0xfff0000000000000, 918 0xffdffffffffffffe, 0xfff0000000000000, 919 0xffdfffffffffffff, 0xfff0000000000000, 920 0xffdfffffffffffff, 0xfff0000000000000, 921 0xffe0000000000000, 0xfff0000000000000, 922 0xffe0000000000000, 0xfff0000000000000, 923 0xffeffffffffffffe, 0xfff0000000000000, 924 0xffeffffffffffffe, 0xfff0000000000000, 925 0xffefffffffffffff, 0xfff0000000000000, 926 0xffefffffffffffff, 0xfff0000000000000, 927 0xfff0000000000000, 0xfff0000000000000, 928 0xfff0000000000000, 0xfff0000000000000, 929 0xfff0000000000000, 0xfff0000000000000, 930 0xfff0000000000000, 0xfff0000000000000, 931 0xfff0000000000000, 0xfff0000000000000, 932 0xfff0000000000000, 0xfff0000000000000, 933 0xfff0000000000000, 0xfff0000000000000, 934 0xfff0000000000000, 0xfff0000000000000, 935 0xfff0000000000000, 0xfff0000000000000, 936 0xfff0000000000000, 0xfff0000000000000, 937 0xfff923456789abcd, 0xfff923456789abcd, 938 0xfff923456789abcd, 0xfff923456789abcd, 939 0xfff8000000000000, 0xfff8000000000000, 940 0xfff8000000000000, 0xfff8000000000000, 941 0xfff923456789abcd, 0xfff923456789abcd, 942 0xfff923456789abcd, 0xfff923456789abcd, 943 0xfff0000000000000, 0xfff0000000000000, 944 0xfff0000000000000, 0xfff0000000000000, 945 0xbfd23456789abccf, 0xfff0000000000000, 946 0xbfd23456789abccf, 0xfff0000000000000, 947 0xc00ffffffffffffd, 0xfff0000000000000, 948 0xc00ffffffffffffd, 0xfff0000000000000, 949 0xbccfffffffffffff, 0xfff0000000000000, 950 0xfff0000000000000, 0x7ff923456789abcd, 951 0x7ff8000000000000, 0x7ff923456789abcd, 952 0x7ff8000000000000, 0x7ff923456789abcd, 953 0x7ff0000000000000, 0x7ff923456789abcd, 954 0x7ff0000000000000, 0x7ff923456789abcd, 955 0x7ff0000000000000, 0x7ff923456789abcd, 956 0x7ff0000000000000, 0x7ff923456789abcd, 957 0x7ff0000000000000, 0x7ff923456789abcd, 958 0x7ff0000000000000, 0x7ff923456789abcd, 959 0x7ff0000000000000, 0x7ff923456789abcd, 960 0x7ff0000000000000, 0x7ff923456789abcd, 961 0x7ff0000000000000, 0x7ff923456789abcd, 962 0x7ff0000000000000, 0x7ff923456789abcd, 963 0x7ff0000000000000, 0x7ff923456789abcd, 964 0x7ff0000000000000, 0x7ff923456789abcd, 965 0x7ff0000000000000, 0x7ff923456789abcd, 966 0x7ff0000000000000, 0x7ff923456789abcd, 967 0x7ff0000000000000, 0x7ff923456789abcd, 968 0x7ff0000000000000, 0x7ff923456789abcd, 969 0x7ff0000000000000, 0x7ff923456789abcd, 970 0x7ff0000000000000, 0x7ff923456789abcd, 971 0x7ff0000000000000, 0x7ff923456789abcd, 972 0x7ff0000000000000, 0x7ff923456789abcd, 973 0x7ff0000000000000, 0x7ff923456789abcd, 974 0x7ff0000000000000, 0x7ff923456789abcd, 975 0x7ff923456789abcd, 0x7ff923456789abcd, 976 0x7ff923456789abcd, 0x7ff923456789abcd, 977 0x7ff8000000000000, 0x7ff923456789abcd, 978 0x7ff8000000000000, 0x7ff923456789abcd, 979 0x7ff923456789abcd, 0x7ff923456789abcd, 980 0x7ff923456789abcd, 0x7ff923456789abcd, 981 0x7ff0000000000000, 0x7ff923456789abcd, 982 0x7ff0000000000000, 0x7ff923456789abcd, 983 0x7ff0000000000000, 0x7ff923456789abcd, 984 0x7ff0000000000000, 0x7ff923456789abcd, 985 0x7ff0000000000000, 0x7ff923456789abcd, 986 0x7ff0000000000000, 0x7ff923456789abcd, 987 0x7ff0000000000000, 0x7ff923456789abcd, 988 0x7ff0000000000000, 0x7ff923456789abcd, 989 0x7ff8000000000000, 0x7ff923456789abcd, 990 0x7ff8000000000000, 0x7ff923456789abcd, 991 0xfff0000000000000, 0x7ff923456789abcd, 992 0xfff0000000000000, 0x7ff923456789abcd, 993 0xfff0000000000000, 0x7ff923456789abcd, 994 0xfff0000000000000, 0x7ff923456789abcd, 995 0xfff0000000000000, 0x7ff923456789abcd, 996 0xfff0000000000000, 0x7ff923456789abcd, 997 0xfff0000000000000, 0x7ff923456789abcd, 998 0xfff0000000000000, 0x7ff923456789abcd, 999 0xfff0000000000000, 0x7ff923456789abcd, 1000 0xfff0000000000000, 0x7ff923456789abcd, 1001 0xfff0000000000000, 0x7ff923456789abcd, 1002 0xfff0000000000000, 0x7ff923456789abcd, 1003 0xfff0000000000000, 0x7ff923456789abcd, 1004 0xfff0000000000000, 0x7ff923456789abcd, 1005 0xfff0000000000000, 0x7ff923456789abcd, 1006 0xfff0000000000000, 0x7ff923456789abcd, 1007 0xfff0000000000000, 0x7ff923456789abcd, 1008 0xfff0000000000000, 0x7ff923456789abcd, 1009 0xfff0000000000000, 0x7ff923456789abcd, 1010 0xfff0000000000000, 0x7ff923456789abcd, 1011 0xfff0000000000000, 0x7ff923456789abcd, 1012 0xfff0000000000000, 0x7ff923456789abcd, 1013 0xfff923456789abcd, 0x7ff923456789abcd, 1014 0xfff923456789abcd, 0x7ff923456789abcd, 1015 0xfff8000000000000, 0x7ff923456789abcd, 1016 0xfff8000000000000, 0x7ff923456789abcd, 1017 0xfff923456789abcd, 0xfff923456789abcd, 1018 0xfff923456789abcd, 0xfff923456789abcd, 1019 0xfff0000000000000, 0x7ff923456789abcd, 1020 0xfff0000000000000, 0x7ff923456789abcd, 1021 0xfff0000000000000, 0x7ff923456789abcd, 1022 0xfff0000000000000, 0x7ff923456789abcd, 1023 0xfff0000000000000, 0x7ff923456789abcd, 1024 0xfff0000000000000, 0x7ff923456789abcd, 1025 0xfff0000000000000, 0x7ff923456789abcd, 1026 0x7ff923456789abcd, 0x7ff8000000000000, 1027 0x7ff923456789abcd, 0x7ff8000000000000, 1028 0x7ff923456789abcd, 0x7ff8000000000000, 1029 0x7ff923456789abcd, 0x7ff8000000000000, 1030 0x7ff923456789abcd, 0x7ff8000000000000, 1031 0x7ff923456789abcd, 0x7ff8000000000000, 1032 0x7ff923456789abcd, 0x7ff8000000000000, 1033 0x7ff923456789abcd, 0x7ff8000000000000, 1034 0x7ff923456789abcd, 0x7ff8000000000000, 1035 0x7ff923456789abcd, 0x7ff8000000000000, 1036 0x7ff923456789abcd, 0x7ff8000000000000, 1037 0x7ff923456789abcd, 0x7ff8000000000000, 1038 0x7ff923456789abcd, 0x7ff8000000000000, 1039 0x7ff923456789abcd, 0x7ff8000000000000, 1040 0x7ff923456789abcd, 0x7ff8000000000000, 1041 0x7ff923456789abcd, 0x7ff8000000000000, 1042 0x7ff923456789abcd, 0x7ff8000000000000, 1043 0x7ff923456789abcd, 0x7ff8000000000000, 1044 0x7ff923456789abcd, 0x7ff8000000000000, 1045 0x7ff923456789abcd, 0x7ff8000000000000, 1046 0x7ff923456789abcd, 0x7ff8000000000000, 1047 0x7ff923456789abcd, 0x7ff8000000000000, 1048 0x7ff923456789abcd, 0x7ff8000000000000, 1049 0x7ff923456789abcd, 0x7ff8000000000000, 1050 0x7ff923456789abcd, 0x7ff8000000000000, 1051 0x7ff923456789abcd, 0x7ff8000000000000, 1052 0x7ff923456789abcd, 0x7ff8000000000000, 1053 0x7ff923456789abcd, 0x7ff8000000000000, 1054 0x7ff923456789abcd, 0x7ff8000000000000, 1055 0x7ff923456789abcd, 0x7ff923456789abcd, 1056 0x7ff923456789abcd, 0x7ff923456789abcd, 1057 0x7ff923456789abcd, 0x7ff8000000000000, 1058 0x7ff923456789abcd, 0x7ff8000000000000, 1059 0x7ff923456789abcd, 0x7ff8000000000000, 1060 0x7ff923456789abcd, 0x7ff8000000000000, 1061 0x7ff923456789abcd, 0x7ff8000000000000, 1062 0x7ff923456789abcd, 0x7ff8000000000000, 1063 0x7ff923456789abcd, 0x7ff8000000000000, 1064 0x7ff923456789abcd, 0x7ff8000000000000, 1065 0x7ff923456789abcd, 0x7ff8000000000000, 1066 0x7ff923456789abcd, 0x7ff8000000000000, 1067 0x7ff923456789abcd, 0x7ff8000000000000, 1068 0x7ff923456789abcd, 0x7ff8000000000000, 1069 0x7ff923456789abcd, 0x7ff8000000000000, 1070 0x7ff923456789abcd, 0x7ff8000000000000, 1071 0x7ff923456789abcd, 0x7ff8000000000000, 1072 0x7ff923456789abcd, 0x7ff8000000000000, 1073 0x7ff923456789abcd, 0x7ff8000000000000, 1074 0x7ff923456789abcd, 0x7ff8000000000000, 1075 0x7ff923456789abcd, 0x7ff8000000000000, 1076 0x7ff923456789abcd, 0x7ff8000000000000, 1077 0x7ff923456789abcd, 0x7ff8000000000000, 1078 0x7ff923456789abcd, 0x7ff8000000000000, 1079 0x7ff923456789abcd, 0x7ff8000000000000, 1080 0x7ff923456789abcd, 0x7ff8000000000000, 1081 0x7ff923456789abcd, 0x7ff8000000000000, 1082 0x7ff923456789abcd, 0x7ff8000000000000, 1083 0x7ff923456789abcd, 0x7ff8000000000000, 1084 0x7ff923456789abcd, 0x7ff8000000000000, 1085 0x7ff923456789abcd, 0x7ff8000000000000, 1086 0x7ff923456789abcd, 0x7ff8000000000000, 1087 0x7ff923456789abcd, 0x7ff8000000000000, 1088 0x7ff923456789abcd, 0x7ff8000000000000, 1089 0x7ff923456789abcd, 0x7ff8000000000000, 1090 0x7ff923456789abcd, 0x7ff8000000000000, 1091 0x7ff923456789abcd, 0x7ff8000000000000, 1092 0x7ff923456789abcd, 0x7ff8000000000000, 1093 0xfff923456789abcd, 0xfff923456789abcd, 1094 0xfff923456789abcd, 0xfff923456789abcd, 1095 0x7ff923456789abcd, 0x7ff8000000000000, 1096 0x7ff923456789abcd, 0x7ff8000000000000, 1097 0x7ff923456789abcd, 0x7ff8000000000000, 1098 0x7ff923456789abcd, 0x7ff8000000000000, 1099 0x7ff923456789abcd, 0x7ff8000000000000, 1100 0x7ff923456789abcd, 0x7ff8000000000000, 1101 0x7ff923456789abcd, 0x7ff8000000000000, 1102 0x7ff8000000000000, 0x7ff923456789abcd, 1103 0x7ff8000000000000, 0x7ff923456789abcd, 1104 0x7ff8000000000000, 0x7ff923456789abcd, 1105 0x7ff8000000000000, 0x7ff923456789abcd, 1106 0x7ff8000000000000, 0x7ff923456789abcd, 1107 0x7ff8000000000000, 0x7ff923456789abcd, 1108 0x7ff8000000000000, 0x7ff923456789abcd, 1109 0x7ff8000000000000, 0x7ff923456789abcd, 1110 0x7ff8000000000000, 0x7ff923456789abcd, 1111 0x7ff8000000000000, 0x7ff923456789abcd, 1112 0x7ff8000000000000, 0x7ff923456789abcd, 1113 0x7ff8000000000000, 0x7ff923456789abcd, 1114 0x7ff8000000000000, 0x7ff923456789abcd, 1115 0x7ff8000000000000, 0x7ff923456789abcd, 1116 0x7ff8000000000000, 0x7ff923456789abcd, 1117 0x7ff8000000000000, 0x7ff923456789abcd, 1118 0x7ff8000000000000, 0x7ff923456789abcd, 1119 0x7ff8000000000000, 0x7ff923456789abcd, 1120 0x7ff8000000000000, 0x7ff923456789abcd, 1121 0x7ff8000000000000, 0x7ff923456789abcd, 1122 0x7ff8000000000000, 0x7ff923456789abcd, 1123 0x7ff8000000000000, 0x7ff923456789abcd, 1124 0x7ff8000000000000, 0x7ff923456789abcd, 1125 0x7ff8000000000000, 0x7ff923456789abcd, 1126 0x7ff8000000000000, 0x7ff923456789abcd, 1127 0x7ff8000000000000, 0x7ff923456789abcd, 1128 0x7ff8000000000000, 0x7ff923456789abcd, 1129 0x7ff8000000000000, 0x7ff923456789abcd, 1130 0x7ff8000000000000, 0x7ff923456789abcd, 1131 0x7ff923456789abcd, 0x7ff923456789abcd, 1132 0x7ff923456789abcd, 0x7ff923456789abcd, 1133 0x7ff8000000000000, 0x7ff923456789abcd, 1134 0x7ff8000000000000, 0x7ff923456789abcd, 1135 0x7ff8000000000000, 0x7ff923456789abcd, 1136 0x7ff8000000000000, 0x7ff923456789abcd, 1137 0x7ff8000000000000, 0x7ff923456789abcd, 1138 0x7ff8000000000000, 0x7ff923456789abcd, 1139 0x7ff8000000000000, 0x7ff923456789abcd, 1140 0x7ff8000000000000, 0x7ff923456789abcd, 1141 0x7ff8000000000000, 0x7ff923456789abcd, 1142 0x7ff8000000000000, 0x7ff923456789abcd, 1143 0x7ff8000000000000, 0x7ff923456789abcd, 1144 0x7ff8000000000000, 0x7ff923456789abcd, 1145 0x7ff8000000000000, 0x7ff923456789abcd, 1146 0x7ff8000000000000, 0x7ff923456789abcd, 1147 0x7ff8000000000000, 0x7ff923456789abcd, 1148 0x7ff8000000000000, 0x7ff923456789abcd, 1149 0x7ff8000000000000, 0x7ff923456789abcd, 1150 0x7ff8000000000000, 0x7ff923456789abcd, 1151 0x7ff8000000000000, 0x7ff923456789abcd, 1152 0x7ff8000000000000, 0x7ff923456789abcd, 1153 0x7ff8000000000000, 0x7ff923456789abcd, 1154 0x7ff8000000000000, 0x7ff923456789abcd, 1155 0x7ff8000000000000, 0x7ff923456789abcd, 1156 0x7ff8000000000000, 0x7ff923456789abcd, 1157 0x7ff8000000000000, 0x7ff923456789abcd, 1158 0x7ff8000000000000, 0x7ff923456789abcd, 1159 0x7ff8000000000000, 0x7ff923456789abcd, 1160 0x7ff8000000000000, 0x7ff923456789abcd, 1161 0x7ff8000000000000, 0x7ff923456789abcd, 1162 0x7ff8000000000000, 0x7ff923456789abcd, 1163 0x7ff8000000000000, 0x7ff923456789abcd, 1164 0x7ff8000000000000, 0x7ff923456789abcd, 1165 0x7ff8000000000000, 0x7ff923456789abcd, 1166 0x7ff8000000000000, 0x7ff923456789abcd, 1167 0x7ff8000000000000, 0x7ff923456789abcd, 1168 0x7ff8000000000000, 0x7ff923456789abcd, 1169 0xfff923456789abcd, 0x7ff923456789abcd, 1170 0xfff923456789abcd, 0x7ff923456789abcd, 1171 0x7ff8000000000000, 0x7ff923456789abcd, 1172 0x7ff8000000000000, 0x7ff923456789abcd, 1173 0x7ff8000000000000, 0x7ff923456789abcd, 1174 0x7ff8000000000000, 0x7ff923456789abcd, 1175 0x7ff8000000000000, 0x7ff923456789abcd, 1176 0x7ff8000000000000, 0x7ff923456789abcd, 1177 0x7ff8000000000000, 0x7ff923456789abcd, 1178 0x7ff923456789abcd, 0xfff0000000000000, 1179 0x7ff923456789abcd, 0x7ff8000000000000, 1180 0x7ff923456789abcd, 0x7ff8000000000000, 1181 0x7ff923456789abcd, 0x7ff0000000000000, 1182 0x7ff923456789abcd, 0x7ff0000000000000, 1183 0x7ff923456789abcd, 0x7ff0000000000000, 1184 0x7ff923456789abcd, 0x7ff0000000000000, 1185 0x7ff923456789abcd, 0x7ff0000000000000, 1186 0x7ff923456789abcd, 0x7ff0000000000000, 1187 0x7ff923456789abcd, 0x7ff0000000000000, 1188 0x7ff923456789abcd, 0x7ff0000000000000, 1189 0x7ff923456789abcd, 0x7ff0000000000000, 1190 0x7ff923456789abcd, 0x7ff0000000000000, 1191 0x7ff923456789abcd, 0x7ff0000000000000, 1192 0x7ff923456789abcd, 0x7ff0000000000000, 1193 0x7ff923456789abcd, 0x7ff0000000000000, 1194 0x7ff923456789abcd, 0x7ff0000000000000, 1195 0x7ff923456789abcd, 0x7ff0000000000000, 1196 0x7ff923456789abcd, 0x7ff0000000000000, 1197 0x7ff923456789abcd, 0x7ff0000000000000, 1198 0x7ff923456789abcd, 0x7ff0000000000000, 1199 0x7ff923456789abcd, 0x7ff0000000000000, 1200 0x7ff923456789abcd, 0x7ff0000000000000, 1201 0x7ff923456789abcd, 0x7ff0000000000000, 1202 0x7ff923456789abcd, 0x7ff0000000000000, 1203 0x7ff923456789abcd, 0x7ff923456789abcd, 1204 0x7ff923456789abcd, 0x7ff923456789abcd, 1205 0x7ff923456789abcd, 0x7ff8000000000000, 1206 0x7ff923456789abcd, 0x7ff8000000000000, 1207 0x7ff923456789abcd, 0x7ff923456789abcd, 1208 0x7ff923456789abcd, 0x7ff923456789abcd, 1209 0x7ff923456789abcd, 0x7ff0000000000000, 1210 0x7ff923456789abcd, 0x7ff0000000000000, 1211 0x7ff923456789abcd, 0x7ff0000000000000, 1212 0x7ff923456789abcd, 0x7ff0000000000000, 1213 0x7ff923456789abcd, 0x7ff0000000000000, 1214 0x7ff923456789abcd, 0x7ff0000000000000, 1215 0x7ff923456789abcd, 0x7ff0000000000000, 1216 0x7ff923456789abcd, 0x7ff0000000000000, 1217 0x7ff923456789abcd, 0x7ff8000000000000, 1218 0x7ff923456789abcd, 0x7ff8000000000000, 1219 0x7ff923456789abcd, 0xfff0000000000000, 1220 0x7ff923456789abcd, 0xfff0000000000000, 1221 0x7ff923456789abcd, 0xfff0000000000000, 1222 0x7ff923456789abcd, 0xfff0000000000000, 1223 0x7ff923456789abcd, 0xfff0000000000000, 1224 0x7ff923456789abcd, 0xfff0000000000000, 1225 0x7ff923456789abcd, 0xfff0000000000000, 1226 0x7ff923456789abcd, 0xfff0000000000000, 1227 0x7ff923456789abcd, 0xfff0000000000000, 1228 0x7ff923456789abcd, 0xfff0000000000000, 1229 0x7ff923456789abcd, 0xfff0000000000000, 1230 0x7ff923456789abcd, 0xfff0000000000000, 1231 0x7ff923456789abcd, 0xfff0000000000000, 1232 0x7ff923456789abcd, 0xfff0000000000000, 1233 0x7ff923456789abcd, 0xfff0000000000000, 1234 0x7ff923456789abcd, 0xfff0000000000000, 1235 0x7ff923456789abcd, 0xfff0000000000000, 1236 0x7ff923456789abcd, 0xfff0000000000000, 1237 0x7ff923456789abcd, 0xfff0000000000000, 1238 0x7ff923456789abcd, 0xfff0000000000000, 1239 0x7ff923456789abcd, 0xfff0000000000000, 1240 0x7ff923456789abcd, 0xfff0000000000000, 1241 0x7ff923456789abcd, 0xfff923456789abcd, 1242 0x7ff923456789abcd, 0xfff923456789abcd, 1243 0x7ff923456789abcd, 0xfff8000000000000, 1244 0x7ff923456789abcd, 0xfff8000000000000, 1245 0x7ff923456789abcd, 0xfff923456789abcd, 1246 0x7ff923456789abcd, 0xfff923456789abcd, 1247 0x7ff923456789abcd, 0xfff0000000000000, 1248 0x7ff923456789abcd, 0xfff0000000000000, 1249 0x7ff923456789abcd, 0xfff0000000000000, 1250 0x7ff923456789abcd, 0xfff0000000000000, 1251 0x7ff923456789abcd, 0xfff0000000000000, 1252 0x7ff923456789abcd, 0xfff0000000000000, 1253 0x7ff923456789abcd, 0xfff0000000000000, 1254 0xfff0000000000000, 0x8000000000000000, 1255 0x7ff8000000000000, 0x0000000000000000, 1256 0x7ff8000000000000, 0x0000000000000000, 1257 0x7ff0000000000000, 0x0000000000000000, 1258 0x7ff0000000000000, 0x0000000000000000, 1259 0x7ff0000000000000, 0x000091a2b3c4d5e6, 1260 0x7ff0000000000000, 0x000091a2b3c4d5e6, 1261 0x7ff0000000000000, 0x000091a2b3c4d5e6, 1262 0x7ff0000000000000, 0x000091a2b3c4d5e6, 1263 0x7ff0000000000000, 0x000091a2b3c4d5e7, 1264 0x7ff0000000000000, 0x000091a2b3c4d5e7, 1265 0x7ff0000000000000, 0x000123456789abcd, 1266 0x7ff0000000000000, 0x000123456789abcd, 1267 0x7ff0000000000000, 0x000123456789abcd, 1268 0x7ff0000000000000, 0x000123456789abcd, 1269 0x7ff0000000000000, 0x000123456789abcd, 1270 0x7ff0000000000000, 0x000123456789abcd, 1271 0x7ff0000000000000, 0x0001b4e81b4e81b4, 1272 0x7ff0000000000000, 0x0001b4e81b4e81b4, 1273 0x7ff0000000000000, 0x000b60b60b60b602, 1274 0x7ff0000000000000, 0x000b60b60b60b602, 1275 0x7ff0000000000000, 0x3fd23456789abccf, 1276 0x7ff0000000000000, 0x3fd23456789abccf, 1277 0x7ff0000000000000, 0x7ff0000000000000, 1278 0x7ff0000000000000, 0x7ff0000000000000, 1279 0x7ff923456789abcd, 0x7ff923456789abcd, 1280 0x7ff923456789abcd, 0x7ff923456789abcd, 1281 0x7ff8000000000000, 0x7ff8000000000000, 1282 0x7ff8000000000000, 0x7ff8000000000000, 1283 0x7ff923456789abcd, 0x7ff923456789abcd, 1284 0x7ff923456789abcd, 0x7ff923456789abcd, 1285 0x7ff0000000000000, 0x7ff0000000000000, 1286 0x7ff0000000000000, 0x7ff0000000000000, 1287 0x7ff0000000000000, 0x0000000000000000, 1288 0x7ff0000000000000, 0x0000000000000000, 1289 0x7ff0000000000000, 0x0000000000000000, 1290 0x7ff0000000000000, 0x0000000000000000, 1291 0x7ff0000000000000, 0x0000000000000000, 1292 0x7ff0000000000000, 0x0000000000000000, 1293 0x7ff8000000000000, 0x8000000000000000, 1294 0x7ff8000000000000, 0x8000000000000000, 1295 0xfff0000000000000, 0x8000000000000000, 1296 0xfff0000000000000, 0x8000000000000000, 1297 0xfff0000000000000, 0x800091a2b3c4d5e6, 1298 0xfff0000000000000, 0x800091a2b3c4d5e6, 1299 0xfff0000000000000, 0x800091a2b3c4d5e6, 1300 0xfff0000000000000, 0x800091a2b3c4d5e6, 1301 0xfff0000000000000, 0x800091a2b3c4d5e7, 1302 0xfff0000000000000, 0x800091a2b3c4d5e7, 1303 0xfff0000000000000, 0x800123456789abcd, 1304 0xfff0000000000000, 0x800123456789abcd, 1305 0xfff0000000000000, 0x800123456789abcd, 1306 0xfff0000000000000, 0x800123456789abcd, 1307 0xfff0000000000000, 0x800123456789abcd, 1308 0xfff0000000000000, 0x800123456789abcd, 1309 0xfff0000000000000, 0x8001b4e81b4e81b4, 1310 0xfff0000000000000, 0x8001b4e81b4e81b4, 1311 0xfff0000000000000, 0x800b60b60b60b602, 1312 0xfff0000000000000, 0x800b60b60b60b602, 1313 0xfff0000000000000, 0xbfd23456789abccf, 1314 0xfff0000000000000, 0xbfd23456789abccf, 1315 0xfff0000000000000, 0xfff0000000000000, 1316 0xfff0000000000000, 0xfff0000000000000, 1317 0xfff923456789abcd, 0xfff923456789abcd, 1318 0xfff923456789abcd, 0xfff923456789abcd, 1319 0xfff8000000000000, 0xfff8000000000000, 1320 0xfff8000000000000, 0xfff8000000000000, 1321 0xfff923456789abcd, 0xfff923456789abcd, 1322 0xfff923456789abcd, 0xfff923456789abcd, 1323 0xfff0000000000000, 0xfff0000000000000, 1324 0xfff0000000000000, 0xfff0000000000000, 1325 0xfff0000000000000, 0x8000000000000000, 1326 0xfff0000000000000, 0x8000000000000000, 1327 0xfff0000000000000, 0x8000000000000000, 1328 0xfff0000000000000, 0x8000000000000000, 1329 0xfff0000000000000, 0x8000000000000000, 1330 0x8000000000000000, 0x8000000000000000, 1331 0x0000000000000000, 0x0000000000000000, 1332 0x0000000000000000, 0x0000000000000000, 1333 0x0000000000000000, 0x0000000000000000, 1334 0x0000000000000000, 0x0000000000000000, 1335 0x000091a2b3c4d5e6, 0x0007ffffffffffff, 1336 0x000091a2b3c4d5e6, 0x0007ffffffffffff, 1337 0x000091a2b3c4d5e6, 0x0008000000000000, 1338 0x000091a2b3c4d5e6, 0x0008000000000000, 1339 0x000091a2b3c4d5e7, 0x0008000000000000, 1340 0x000091a2b3c4d5e7, 0x0008000000000000, 1341 0x000123456789abcd, 0x000fffffffffffff, 1342 0x000123456789abcd, 0x000fffffffffffff, 1343 0x000123456789abcd, 0x000fffffffffffff, 1344 0x000123456789abcd, 0x000fffffffffffff, 1345 0x000123456789abcd, 0x0010000000000000, 1346 0x000123456789abcd, 0x0010000000000000, 1347 0x0001b4e81b4e81b4, 0x0017fffffffffffe, 1348 0x0001b4e81b4e81b4, 0x0017fffffffffffe, 1349 0x000b60b60b60b602, 0x0043ffffffffffff, 1350 0x000b60b60b60b602, 0x0043ffffffffffff, 1351 0x3fd23456789abccf, 0x400ffffffffffffd, 1352 0x3fd23456789abccf, 0x400ffffffffffffd, 1353 0x7ff0000000000000, 0x7ff0000000000000, 1354 0x7ff0000000000000, 0x7ff0000000000000, 1355 0x7ff923456789abcd, 0x7ff923456789abcd, 1356 0x7ff923456789abcd, 0x7ff923456789abcd, 1357 0x7ff8000000000000, 0x7ff8000000000000, 1358 0x7ff8000000000000, 0x7ff8000000000000, 1359 0x7ff923456789abcd, 0x7ff923456789abcd, 1360 0x7ff923456789abcd, 0x7ff923456789abcd, 1361 0x7ff0000000000000, 0x7ff0000000000000, 1362 0x7ff0000000000000, 0x7ff0000000000000, 1363 0x0000000000000000, 0x0000000000000000, 1364 0x0000000000000000, 0x0000000000000000, 1365 0x0000000000000000, 0x0000000000000000, 1366 0x0000000000000000, 0x0000000000000000, 1367 0x0000000000000000, 0x0000000000000000, 1368 0x0000000000000000, 0x0000000000000000, 1369 0x8000000000000000, 0x8000000000000000, 1370 0x8000000000000000, 0x8000000000000000, 1371 0x8000000000000000, 0x8000000000000000, 1372 0x8000000000000000, 0x8000000000000000, 1373 0x800091a2b3c4d5e6, 0x8007ffffffffffff, 1374 0x800091a2b3c4d5e6, 0x8007ffffffffffff, 1375 0x800091a2b3c4d5e6, 0x8008000000000000, 1376 0x800091a2b3c4d5e6, 0x8008000000000000, 1377 0x800091a2b3c4d5e7, 0x8008000000000000, 1378 0x800091a2b3c4d5e7, 0x8008000000000000, 1379 0x800123456789abcd, 0x800fffffffffffff, 1380 0x800123456789abcd, 0x800fffffffffffff, 1381 0x800123456789abcd, 0x800fffffffffffff, 1382 0x800123456789abcd, 0x800fffffffffffff, 1383 0x800123456789abcd, 0x8010000000000000, 1384 0x800123456789abcd, 0x8010000000000000, 1385 0x8001b4e81b4e81b4, 0x8017fffffffffffe, 1386 0x8001b4e81b4e81b4, 0x8017fffffffffffe, 1387 0x800b60b60b60b602, 0x8043ffffffffffff, 1388 0x800b60b60b60b602, 0x8043ffffffffffff, 1389 0xbfd23456789abccf, 0xc00ffffffffffffd, 1390 0xbfd23456789abccf, 0xc00ffffffffffffd, 1391 0xfff0000000000000, 0xfff0000000000000, 1392 0xfff0000000000000, 0xfff0000000000000, 1393 0xfff923456789abcd, 0xfff923456789abcd, 1394 0xfff923456789abcd, 0xfff923456789abcd, 1395 0xfff8000000000000, 0xfff8000000000000, 1396 0xfff8000000000000, 0xfff8000000000000, 1397 0xfff923456789abcd, 0xfff923456789abcd, 1398 0xfff923456789abcd, 0xfff923456789abcd, 1399 0xfff0000000000000, 0xfff0000000000000, 1400 0xfff0000000000000, 0xfff0000000000000, 1401 0x8000000000000000, 0x8000000000000000, 1402 0x8000000000000000, 0x8000000000000000, 1403 0x8000000000000000, 0x8000000000000000, 1404 0x8000000000000000, 0x8000000000000000, 1405 0x8000000000000000, 0x8000000000000000, 1406 0x8000000000000000, 0x8000000000000000, 1407 0x0000000000000000, 0x0000000000000000, 1408 0x0000000000000000, 0x0000000000000000, 1409 0x0000000000000000, 0x0000000000000000, 1410 0x0000000000000000, 0x0000000000000000, 1411 0x0007ffffffffffff, 0x0000000000000000, 1412 0x0007ffffffffffff, 0x0000000000000000, 1413 0x0008000000000000, 0x0000000000000000, 1414 0x0008000000000000, 0x0000000000000000, 1415 0x0008000000000000, 0x0000000000000001, 1416 0x0008000000000000, 0x0000000000000001, 1417 0x000fffffffffffff, 0x0000000000000001, 1418 0x000fffffffffffff, 0x0000000000000001, 1419 0x000fffffffffffff, 0x0000000000000001, 1420 0x000fffffffffffff, 0x0000000000000001, 1421 0x0010000000000000, 0x0000000000000001, 1422 0x0010000000000000, 0x0000000000000001, 1423 0x0017fffffffffffe, 0x0000000000000002, 1424 0x0017fffffffffffe, 0x0000000000000002, 1425 0x0043ffffffffffff, 0x000000000000000a, 1426 0x0043ffffffffffff, 0x000000000000000a, 1427 0x400ffffffffffffd, 0x3ccfffffffffffff, 1428 0x400ffffffffffffd, 0x3ccfffffffffffff, 1429 0x7ff0000000000000, 0x7ff0000000000000, 1430 0x7ff0000000000000, 0x7ff0000000000000, 1431 0x7ff923456789abcd, 0x7ff923456789abcd, 1432 0x7ff923456789abcd, 0x7ff923456789abcd, 1433 0x7ff8000000000000, 0x7ff8000000000000, 1434 0x7ff8000000000000, 0x7ff8000000000000, 1435 0x7ff923456789abcd, 0x7ff923456789abcd, 1436 0x7ff923456789abcd, 0x7ff923456789abcd, 1437 0x7ff0000000000000, 0x7ff0000000000000, 1438 0x7ff0000000000000, 0x7ff0000000000000, 1439 0x0000000000000000, 0x0000000000000000, 1440 0x0000000000000000, 0x0000000000000000, 1441 0x0000000000000000, 0x0000000000000000, 1442 0x0000000000000000, 0x0000000000000000, 1443 0x0000000000000000, 0x0000000000000000, 1444 0x0000000000000000, 0x0000000000000000, 1445 0x8000000000000000, 0x8000000000000000, 1446 0x8000000000000000, 0x8000000000000000, 1447 0x8000000000000000, 0x8000000000000000, 1448 0x8000000000000000, 0x8000000000000000, 1449 0x8007ffffffffffff, 0x8000000000000000, 1450 0x8007ffffffffffff, 0x8000000000000000, 1451 0x8008000000000000, 0x8000000000000000, 1452 0x8008000000000000, 0x8000000000000000, 1453 0x8008000000000000, 0x8000000000000001, 1454 0x8008000000000000, 0x8000000000000001, 1455 0x800fffffffffffff, 0x8000000000000001, 1456 0x800fffffffffffff, 0x8000000000000001, 1457 0x800fffffffffffff, 0x8000000000000001, 1458 0x800fffffffffffff, 0x8000000000000001, 1459 0x8010000000000000, 0x8000000000000001, 1460 0x8010000000000000, 0x8000000000000001, 1461 0x8017fffffffffffe, 0x8000000000000002, 1462 0x8017fffffffffffe, 0x8000000000000002, 1463 0x8043ffffffffffff, 0x800000000000000a, 1464 0x8043ffffffffffff, 0x800000000000000a, 1465 0xc00ffffffffffffd, 0xbccfffffffffffff, 1466 0xc00ffffffffffffd, 0xbccfffffffffffff, 1467 0xfff0000000000000, 0xfff0000000000000, 1468 0xfff0000000000000, 0xfff0000000000000, 1469 0xfff923456789abcd, 0xfff923456789abcd, 1470 0xfff923456789abcd, 0xfff923456789abcd, 1471 0xfff8000000000000, 0xfff8000000000000, 1472 0xfff8000000000000, 0xfff8000000000000, 1473 0xfff923456789abcd, 0xfff923456789abcd, 1474 0xfff923456789abcd, 0xfff923456789abcd, 1475 0xfff0000000000000, 0xfff0000000000000, 1476 0xfff0000000000000, 0xfff0000000000000, 1477 0x8000000000000000, 0x8000000000000000, 1478 0x8000000000000000, 0x8000000000000000, 1479 0x8000000000000000, 0x8000000000000000, 1480 0x8000000000000000, 0x8000000000000000, 1481 0x8000000000000000, 0x8000000000000000, 1482 0x8000000000000000, 0x0000000000000000, 1483 0x0000000000000000, 0x8000000000000000, 1484 0x0000000000000000, 0x8000000000000000, 1485 0x0000000000000000, 0x8000000000000000, 1486 0x0000000000000000, 0x8000000000000000, 1487 0x0000000000000000, 0x8000000000000000, 1488 0x0000000000000000, 0x8000000000000000, 1489 0x0000000000000000, 0x8000000000000000, 1490 0x0000000000000000, 0x8000000000000000, 1491 0x0000000000000001, 0x8000000000000000, 1492 0x0000000000000001, 0x8000000000000000, 1493 0x0000000000000001, 0x8000000000000000, 1494 0x0000000000000001, 0x8000000000000000, 1495 0x0000000000000001, 0x8000000000000000, 1496 0x0000000000000001, 0x8000000000000000, 1497 0x0000000000000001, 0x8000000000000000, 1498 0x0000000000000001, 0x8000000000000000, 1499 0x0000000000000002, 0x8000000000000000, 1500 0x0000000000000002, 0x8000000000000000, 1501 0x000000000000000a, 0x8000000000000000, 1502 0x000000000000000a, 0x8000000000000000, 1503 0x3ccfffffffffffff, 0x8000000000000000, 1504 0x3ccfffffffffffff, 0x8000000000000000, 1505 0x7ff0000000000000, 0x7ff8000000000000, 1506 0x7ff0000000000000, 0x7ff8000000000000, 1507 0x7ff923456789abcd, 0x7ff923456789abcd, 1508 0x7ff923456789abcd, 0x7ff923456789abcd, 1509 0x7ff8000000000000, 0x7ff8000000000000, 1510 0x7ff8000000000000, 0x7ff8000000000000, 1511 0x7ff923456789abcd, 0x7ff923456789abcd, 1512 0x7ff923456789abcd, 0x7ff923456789abcd, 1513 0x7ff0000000000000, 0x7ff8000000000000, 1514 0x7ff0000000000000, 0x7ff8000000000000, 1515 0x0000000000000000, 0x8000000000000000, 1516 0x0000000000000000, 0x8000000000000000, 1517 0x0000000000000000, 0x8000000000000000, 1518 0x0000000000000000, 0x8000000000000000, 1519 0x0000000000000000, 0x8000000000000000, 1520 0x0000000000000000, 0x8000000000000000, 1521 0x8000000000000000, 0x0000000000000000, 1522 0x8000000000000000, 0x0000000000000000, 1523 0x8000000000000000, 0x0000000000000000, 1524 0x8000000000000000, 0x0000000000000000, 1525 0x8000000000000000, 0x0000000000000000, 1526 0x8000000000000000, 0x0000000000000000, 1527 0x8000000000000000, 0x0000000000000000, 1528 0x8000000000000000, 0x0000000000000000, 1529 0x8000000000000001, 0x0000000000000000, 1530 0x8000000000000001, 0x0000000000000000, 1531 0x8000000000000001, 0x0000000000000000, 1532 0x8000000000000001, 0x0000000000000000, 1533 0x8000000000000001, 0x0000000000000000, 1534 0x8000000000000001, 0x0000000000000000, 1535 0x8000000000000001, 0x0000000000000000, 1536 0x8000000000000001, 0x0000000000000000, 1537 0x8000000000000002, 0x0000000000000000, 1538 0x8000000000000002, 0x0000000000000000, 1539 0x800000000000000a, 0x0000000000000000, 1540 0x800000000000000a, 0x0000000000000000, 1541 0xbccfffffffffffff, 0x0000000000000000, 1542 0xbccfffffffffffff, 0x0000000000000000, 1543 0xfff0000000000000, 0x7ff8000000000000, 1544 0xfff0000000000000, 0x7ff8000000000000, 1545 0xfff923456789abcd, 0xfff923456789abcd, 1546 0xfff923456789abcd, 0xfff923456789abcd, 1547 0xfff8000000000000, 0xfff8000000000000, 1548 0xfff8000000000000, 0xfff8000000000000, 1549 0xfff923456789abcd, 0xfff923456789abcd, 1550 0xfff923456789abcd, 0xfff923456789abcd, 1551 0xfff0000000000000, 0x7ff8000000000000, 1552 0xfff0000000000000, 0x7ff8000000000000, 1553 0x8000000000000000, 0x0000000000000000, 1554 0x8000000000000000, 0x0000000000000000, 1555 0x8000000000000000, 0x0000000000000000, 1556 0x8000000000000000, 0x0000000000000000, 1557 0x8000000000000000, 0x0000000000000000, 1558 0x0000000000000000, 0x0000000000000000, 1559 0x8000000000000000, 0x8000000000000000, 1560 0x8000000000000000, 0x8000000000000000, 1561 0x8000000000000000, 0x8000000000000000, 1562 0x8000000000000000, 0x8000000000000000, 1563 0x8000000000000000, 0x8008000000000000, 1564 0x8000000000000000, 0x8008000000000000, 1565 0x8000000000000000, 0x8008000000000000, 1566 0x8000000000000000, 0x8008000000000000, 1567 0x8000000000000000, 0x8008000000000000, 1568 0x8000000000000000, 0x8008000000000000, 1569 0x8000000000000000, 0x8010000000000000, 1570 0x8000000000000000, 0x8010000000000000, 1571 0x8000000000000000, 0x8010000000000000, 1572 0x8000000000000000, 0x8010000000000000, 1573 0x8000000000000000, 0x8010000000000001, 1574 0x8000000000000000, 0x8010000000000001, 1575 0x8000000000000000, 0x8018000000000000, 1576 0x8000000000000000, 0x8018000000000000, 1577 0x8000000000000000, 0x8044000000000000, 1578 0x8000000000000000, 0x8044000000000000, 1579 0x8000000000000000, 0xc00fffffffffffff, 1580 0x8000000000000000, 0xc00fffffffffffff, 1581 0x7ff8000000000000, 0xfff0000000000000, 1582 0x7ff8000000000000, 0xfff0000000000000, 1583 0x7ff923456789abcd, 0x7ff923456789abcd, 1584 0x7ff923456789abcd, 0x7ff923456789abcd, 1585 0x7ff8000000000000, 0x7ff8000000000000, 1586 0x7ff8000000000000, 0x7ff8000000000000, 1587 0x7ff923456789abcd, 0x7ff923456789abcd, 1588 0x7ff923456789abcd, 0x7ff923456789abcd, 1589 0x7ff8000000000000, 0xfff0000000000000, 1590 0x7ff8000000000000, 0xfff0000000000000, 1591 0x8000000000000000, 0x8000000000000000, 1592 0x8000000000000000, 0x8000000000000000, 1593 0x8000000000000000, 0x8000000000000000, 1594 0x8000000000000000, 0x8000000000000000, 1595 0x8000000000000000, 0x8000000000000000, 1596 0x8000000000000000, 0x8000000000000000, 1597 0x0000000000000000, 0x0000000000000000, 1598 0x0000000000000000, 0x0000000000000000, 1599 0x0000000000000000, 0x0000000000000000, 1600 0x0000000000000000, 0x0000000000000000, 1601 0x0000000000000000, 0x0008000000000000, 1602 0x0000000000000000, 0x0008000000000000, 1603 0x0000000000000000, 0x0008000000000000, 1604 0x0000000000000000, 0x0008000000000000, 1605 0x0000000000000000, 0x0008000000000000, 1606 0x0000000000000000, 0x0008000000000000, 1607 0x0000000000000000, 0x0010000000000000, 1608 0x0000000000000000, 0x0010000000000000, 1609 0x0000000000000000, 0x0010000000000000, 1610 0x0000000000000000, 0x0010000000000000, 1611 0x0000000000000000, 0x0010000000000001, 1612 0x0000000000000000, 0x0010000000000001, 1613 0x0000000000000000, 0x0018000000000000, 1614 0x0000000000000000, 0x0018000000000000, 1615 0x0000000000000000, 0x0044000000000000, 1616 0x0000000000000000, 0x0044000000000000, 1617 0x0000000000000000, 0x400fffffffffffff, 1618 0x0000000000000000, 0x400fffffffffffff, 1619 0x7ff8000000000000, 0x7ff0000000000000, 1620 0x7ff8000000000000, 0x7ff0000000000000, 1621 0xfff923456789abcd, 0xfff923456789abcd, 1622 0xfff923456789abcd, 0xfff923456789abcd, 1623 0xfff8000000000000, 0xfff8000000000000, 1624 0xfff8000000000000, 0xfff8000000000000, 1625 0xfff923456789abcd, 0xfff923456789abcd, 1626 0xfff923456789abcd, 0xfff923456789abcd, 1627 0x7ff8000000000000, 0x7ff0000000000000, 1628 0x7ff8000000000000, 0x7ff0000000000000, 1629 0x0000000000000000, 0x0000000000000000, 1630 0x0000000000000000, 0x0000000000000000, 1631 0x0000000000000000, 0x0000000000000000, 1632 0x0000000000000000, 0x0000000000000000, 1633 0x0000000000000000, 0x0000000000000000, 1634 0x0000000000000000, 0x0000000000000000, 1635 0x8000000000000000, 0x8000000000000000, 1636 0x8000000000000000, 0x8000000000000000, 1637 0x8000000000000000, 0x8008000000000000, 1638 0x8000000000000000, 0x8008000000000000, 1639 0x8008000000000000, 0xbfcffffffffffffe, 1640 0x8008000000000000, 0xbfcffffffffffffe, 1641 0x8008000000000000, 0xbfcfffffffffffff, 1642 0x8008000000000000, 0xbfcfffffffffffff, 1643 0x8008000000000000, 0xbfd0000000000000, 1644 0x8008000000000000, 0xbfd0000000000000, 1645 0x8010000000000000, 0xbfdffffffffffffe, 1646 0x8010000000000000, 0xbfdffffffffffffe, 1647 0x8010000000000000, 0xbfdfffffffffffff, 1648 0x8010000000000000, 0xbfdfffffffffffff, 1649 0x8010000000000001, 0xbfe0000000000000, 1650 0x8010000000000001, 0xbfe0000000000000, 1651 0x8018000000000000, 0xbfe7ffffffffffff, 1652 0x8018000000000000, 0xbfe7ffffffffffff, 1653 0x8044000000000000, 0xc013ffffffffffff, 1654 0x8044000000000000, 0xc013ffffffffffff, 1655 0xc00fffffffffffff, 0xffdffffffffffffe, 1656 0xc00fffffffffffff, 0xffdffffffffffffe, 1657 0xfff0000000000000, 0xfff0000000000000, 1658 0xfff0000000000000, 0xfff0000000000000, 1659 0x7ff923456789abcd, 0x7ff923456789abcd, 1660 0x7ff923456789abcd, 0x7ff923456789abcd, 1661 0x7ff8000000000000, 0x7ff8000000000000, 1662 0x7ff8000000000000, 0x7ff8000000000000, 1663 0x7ff923456789abcd, 0x7ff923456789abcd, 1664 0x7ff923456789abcd, 0x7ff923456789abcd, 1665 0xfff0000000000000, 0xfff0000000000000, 1666 0xfff0000000000000, 0xfff0000000000000, 1667 0x8000000000000000, 0x800091a2b3c4d5e6, 1668 0x8000000000000000, 0x800091a2b3c4d5e6, 1669 0x8000000000000000, 0x8007ffffffffffff, 1670 0x8000000000000000, 0x8007ffffffffffff, 1671 0x8000000000000000, 0x8000000000000000, 1672 0x8000000000000000, 0x8000000000000000, 1673 0x0000000000000000, 0x0000000000000000, 1674 0x0000000000000000, 0x0000000000000000, 1675 0x0000000000000000, 0x0008000000000000, 1676 0x0000000000000000, 0x0008000000000000, 1677 0x0008000000000000, 0x3fcffffffffffffe, 1678 0x0008000000000000, 0x3fcffffffffffffe, 1679 0x0008000000000000, 0x3fcfffffffffffff, 1680 0x0008000000000000, 0x3fcfffffffffffff, 1681 0x0008000000000000, 0x3fd0000000000000, 1682 0x0008000000000000, 0x3fd0000000000000, 1683 0x0010000000000000, 0x3fdffffffffffffe, 1684 0x0010000000000000, 0x3fdffffffffffffe, 1685 0x0010000000000000, 0x3fdfffffffffffff, 1686 0x0010000000000000, 0x3fdfffffffffffff, 1687 0x0010000000000001, 0x3fe0000000000000, 1688 0x0010000000000001, 0x3fe0000000000000, 1689 0x0018000000000000, 0x3fe7ffffffffffff, 1690 0x0018000000000000, 0x3fe7ffffffffffff, 1691 0x0044000000000000, 0x4013ffffffffffff, 1692 0x0044000000000000, 0x4013ffffffffffff, 1693 0x400fffffffffffff, 0x7fdffffffffffffe, 1694 0x400fffffffffffff, 0x7fdffffffffffffe, 1695 0x7ff0000000000000, 0x7ff0000000000000, 1696 0x7ff0000000000000, 0x7ff0000000000000, 1697 0xfff923456789abcd, 0xfff923456789abcd, 1698 0xfff923456789abcd, 0xfff923456789abcd, 1699 0xfff8000000000000, 0xfff8000000000000, 1700 0xfff8000000000000, 0xfff8000000000000, 1701 0xfff923456789abcd, 0xfff923456789abcd, 1702 0xfff923456789abcd, 0xfff923456789abcd, 1703 0x7ff0000000000000, 0x7ff0000000000000, 1704 0x7ff0000000000000, 0x7ff0000000000000, 1705 0x0000000000000000, 0x000091a2b3c4d5e6, 1706 0x0000000000000000, 0x000091a2b3c4d5e6, 1707 0x0000000000000000, 0x0007ffffffffffff, 1708 0x0000000000000000, 0x0007ffffffffffff, 1709 0x0000000000000000, 0x0000000000000000, 1710 0x0000000000000000, 0x0000000000000000, 1711 0x8000000000000000, 0x8000000000000000, 1712 0x8000000000000000, 0x8000000000000000, 1713 0x8008000000000000, 0x8008000000000000, 1714 0x8008000000000000, 0x8008000000000000, 1715 0xbfcffffffffffffe, 0xbfcfffffffffffff, 1716 0xbfcffffffffffffe, 0xbfcfffffffffffff, 1717 0xbfcfffffffffffff, 0xbfd0000000000000, 1718 0xbfcfffffffffffff, 0xbfd0000000000000, 1719 0xbfd0000000000000, 0xbfd0000000000001, 1720 0xbfd0000000000000, 0xbfd0000000000001, 1721 0xbfdffffffffffffe, 0xbfdfffffffffffff, 1722 0xbfdffffffffffffe, 0xbfdfffffffffffff, 1723 0xbfdfffffffffffff, 0xbfe0000000000000, 1724 0xbfdfffffffffffff, 0xbfe0000000000000, 1725 0xbfe0000000000000, 0xbfe0000000000001, 1726 0xbfe0000000000000, 0xbfe0000000000001, 1727 0xbfe7ffffffffffff, 0xbfe8000000000000, 1728 0xbfe7ffffffffffff, 0xbfe8000000000000, 1729 0xc013ffffffffffff, 0xc014000000000000, 1730 0xc013ffffffffffff, 0xc014000000000000, 1731 0xffdffffffffffffe, 0xffdfffffffffffff, 1732 0xffdffffffffffffe, 0xffdfffffffffffff, 1733 0xfff0000000000000, 0xfff0000000000000, 1734 0xfff0000000000000, 0xfff0000000000000, 1735 0x7ff923456789abcd, 0x7ff923456789abcd, 1736 0x7ff923456789abcd, 0x7ff923456789abcd, 1737 0x7ff8000000000000, 0x7ff8000000000000, 1738 0x7ff8000000000000, 0x7ff8000000000000, 1739 0x7ff923456789abcd, 0x7ff923456789abcd, 1740 0x7ff923456789abcd, 0x7ff923456789abcd, 1741 0xfff0000000000000, 0xfff0000000000000, 1742 0xfff0000000000000, 0xfff0000000000000, 1743 0x800091a2b3c4d5e6, 0x800091a2b3c4d5e6, 1744 0x800091a2b3c4d5e6, 0x800091a2b3c4d5e6, 1745 0x8007ffffffffffff, 0x8008000000000000, 1746 0x8007ffffffffffff, 0x8008000000000000, 1747 0x8000000000000000, 0x8000000000000000, 1748 0x8000000000000000, 0x8000000000000000, 1749 0x0000000000000000, 0x0000000000000000, 1750 0x0000000000000000, 0x0000000000000000, 1751 0x0008000000000000, 0x0008000000000000, 1752 0x0008000000000000, 0x0008000000000000, 1753 0x3fcffffffffffffe, 0x3fcfffffffffffff, 1754 0x3fcffffffffffffe, 0x3fcfffffffffffff, 1755 0x3fcfffffffffffff, 0x3fd0000000000000, 1756 0x3fcfffffffffffff, 0x3fd0000000000000, 1757 0x3fd0000000000000, 0x3fd0000000000001, 1758 0x3fd0000000000000, 0x3fd0000000000001, 1759 0x3fdffffffffffffe, 0x3fdfffffffffffff, 1760 0x3fdffffffffffffe, 0x3fdfffffffffffff, 1761 0x3fdfffffffffffff, 0x3fe0000000000000, 1762 0x3fdfffffffffffff, 0x3fe0000000000000, 1763 0x3fe0000000000000, 0x3fe0000000000001, 1764 0x3fe0000000000000, 0x3fe0000000000001, 1765 0x3fe7ffffffffffff, 0x3fe8000000000000, 1766 0x3fe7ffffffffffff, 0x3fe8000000000000, 1767 0x4013ffffffffffff, 0x4014000000000000, 1768 0x4013ffffffffffff, 0x4014000000000000, 1769 0x7fdffffffffffffe, 0x7fdfffffffffffff, 1770 0x7fdffffffffffffe, 0x7fdfffffffffffff, 1771 0x7ff0000000000000, 0x7ff0000000000000, 1772 0x7ff0000000000000, 0x7ff0000000000000, 1773 0xfff923456789abcd, 0xfff923456789abcd, 1774 0xfff923456789abcd, 0xfff923456789abcd, 1775 0xfff8000000000000, 0xfff8000000000000, 1776 0xfff8000000000000, 0xfff8000000000000, 1777 0xfff923456789abcd, 0xfff923456789abcd, 1778 0xfff923456789abcd, 0xfff923456789abcd, 1779 0x7ff0000000000000, 0x7ff0000000000000, 1780 0x7ff0000000000000, 0x7ff0000000000000, 1781 0x000091a2b3c4d5e6, 0x000091a2b3c4d5e6, 1782 0x000091a2b3c4d5e6, 0x000091a2b3c4d5e6, 1783 0x0007ffffffffffff, 0x0008000000000000, 1784 0x0007ffffffffffff, 0x0008000000000000, 1785 0x0000000000000000, 0x0000000000000000, 1786 0x0000000000000000, 0x0000000000000001, 1787 0x8000000000000000, 0x8000000000000000, 1788 0x8000000000000000, 0x8000000000000000, 1789 0x8008000000000000, 0x8008000000000000, 1790 0x8008000000000000, 0x8008000000000000, 1791 0xbfcfffffffffffff, 0xbfd0000000000000, 1792 0xbfcfffffffffffff, 0xbfd0000000000000, 1793 0xbfd0000000000000, 0xbfd0000000000001, 1794 0xbfd0000000000000, 0xbfd0000000000001, 1795 0xbfd0000000000001, 0xbfd0000000000002, 1796 0xbfd0000000000001, 0xbfd0000000000002, 1797 0xbfdfffffffffffff, 0xbfe0000000000000, 1798 0xbfdfffffffffffff, 0xbfe0000000000000, 1799 0xbfe0000000000000, 0xbfe0000000000001, 1800 0xbfe0000000000000, 0xbfe0000000000001, 1801 0xbfe0000000000001, 0xbfe0000000000002, 1802 0xbfe0000000000001, 0xbfe0000000000002, 1803 0xbfe8000000000000, 0xbfe8000000000002, 1804 0xbfe8000000000000, 0xbfe8000000000002, 1805 0xc014000000000000, 0xc014000000000001, 1806 0xc014000000000000, 0xc014000000000001, 1807 0xffdfffffffffffff, 0xffe0000000000000, 1808 0xffdfffffffffffff, 0xffe0000000000000, 1809 0xfff0000000000000, 0xfff0000000000000, 1810 0xfff0000000000000, 0xfff0000000000000, 1811 0x7ff923456789abcd, 0x7ff923456789abcd, 1812 0x7ff923456789abcd, 0x7ff923456789abcd, 1813 0x7ff8000000000000, 0x7ff8000000000000, 1814 0x7ff8000000000000, 0x7ff8000000000000, 1815 0x7ff923456789abcd, 0x7ff923456789abcd, 1816 0x7ff923456789abcd, 0x7ff923456789abcd, 1817 0xfff0000000000000, 0xfff0000000000000, 1818 0xfff0000000000000, 0xfff0000000000000, 1819 0x800091a2b3c4d5e6, 0x800091a2b3c4d5e7, 1820 0x800091a2b3c4d5e6, 0x800091a2b3c4d5e7, 1821 0x8008000000000000, 0x8008000000000000, 1822 0x8008000000000000, 0x8008000000000000, 1823 0x8000000000000000, 0x8000000000000001, 1824 0x8000000000000000, 0x8000000000000001, 1825 0x0000000000000000, 0x0000000000000000, 1826 0x0000000000000000, 0x0000000000000000, 1827 0x0008000000000000, 0x0008000000000000, 1828 0x0008000000000000, 0x0008000000000000, 1829 0x3fcfffffffffffff, 0x3fd0000000000000, 1830 0x3fcfffffffffffff, 0x3fd0000000000000, 1831 0x3fd0000000000000, 0x3fd0000000000001, 1832 0x3fd0000000000000, 0x3fd0000000000001, 1833 0x3fd0000000000001, 0x3fd0000000000002, 1834 0x3fd0000000000001, 0x3fd0000000000002, 1835 0x3fdfffffffffffff, 0x3fe0000000000000, 1836 0x3fdfffffffffffff, 0x3fe0000000000000, 1837 0x3fe0000000000000, 0x3fe0000000000001, 1838 0x3fe0000000000000, 0x3fe0000000000001, 1839 0x3fe0000000000001, 0x3fe0000000000002, 1840 0x3fe0000000000001, 0x3fe0000000000002, 1841 0x3fe8000000000000, 0x3fe8000000000002, 1842 0x3fe8000000000000, 0x3fe8000000000002, 1843 0x4014000000000000, 0x4014000000000001, 1844 0x4014000000000000, 0x4014000000000001, 1845 0x7fdfffffffffffff, 0x7fe0000000000000, 1846 0x7fdfffffffffffff, 0x7fe0000000000000, 1847 0x7ff0000000000000, 0x7ff0000000000000, 1848 0x7ff0000000000000, 0x7ff0000000000000, 1849 0xfff923456789abcd, 0xfff923456789abcd, 1850 0xfff923456789abcd, 0xfff923456789abcd, 1851 0xfff8000000000000, 0xfff8000000000000, 1852 0xfff8000000000000, 0xfff8000000000000, 1853 0xfff923456789abcd, 0xfff923456789abcd, 1854 0xfff923456789abcd, 0xfff923456789abcd, 1855 0x7ff0000000000000, 0x7ff0000000000000, 1856 0x7ff0000000000000, 0x7ff0000000000000, 1857 0x000091a2b3c4d5e6, 0x000091a2b3c4d5e7, 1858 0x000091a2b3c4d5e6, 0x000091a2b3c4d5e7, 1859 0x0008000000000000, 0x0008000000000000, 1860 0x0008000000000000, 0x0008000000000000, 1861 0x0000000000000000, 0x0000000000000001, 1862 0x0000000000000001, 0x0000000000000001, 1863 0x8000000000000000, 0x8000000000000000, 1864 0x8000000000000000, 0x8000000000000000, 1865 0x8008000000000000, 0x8010000000000000, 1866 0x8008000000000000, 0x8010000000000000, 1867 0xbfd0000000000000, 0xbfdffffffffffffe, 1868 0xbfd0000000000000, 0xbfdffffffffffffe, 1869 0xbfd0000000000001, 0xbfdfffffffffffff, 1870 0xbfd0000000000001, 0xbfdfffffffffffff, 1871 0xbfd0000000000002, 0xbfe0000000000000, 1872 0xbfd0000000000002, 0xbfe0000000000000, 1873 0xbfe0000000000000, 0xbfeffffffffffffe, 1874 0xbfe0000000000000, 0xbfeffffffffffffe, 1875 0xbfe0000000000001, 0xbfefffffffffffff, 1876 0xbfe0000000000001, 0xbfefffffffffffff, 1877 0xbfe0000000000002, 0xbff0000000000000, 1878 0xbfe0000000000002, 0xbff0000000000000, 1879 0xbfe8000000000002, 0xbff7ffffffffffff, 1880 0xbfe8000000000002, 0xbff7ffffffffffff, 1881 0xc014000000000001, 0xc023ffffffffffff, 1882 0xc014000000000001, 0xc023ffffffffffff, 1883 0xffe0000000000000, 0xffeffffffffffffe, 1884 0xffe0000000000000, 0xffeffffffffffffe, 1885 0xfff0000000000000, 0xfff0000000000000, 1886 0xfff0000000000000, 0xfff0000000000000, 1887 0x7ff923456789abcd, 0x7ff923456789abcd, 1888 0x7ff923456789abcd, 0x7ff923456789abcd, 1889 0x7ff8000000000000, 0x7ff8000000000000, 1890 0x7ff8000000000000, 0x7ff8000000000000, 1891 0x7ff923456789abcd, 0x7ff923456789abcd, 1892 0x7ff923456789abcd, 0x7ff923456789abcd, 1893 0xfff0000000000000, 0xfff0000000000000, 1894 0xfff0000000000000, 0xfff0000000000000, 1895 0x800091a2b3c4d5e7, 0x800123456789abcd, 1896 0x800091a2b3c4d5e7, 0x800123456789abcd, 1897 0x8008000000000000, 0x800fffffffffffff, 1898 0x8008000000000000, 0x800fffffffffffff, 1899 0x8000000000000001, 0x8000000000000001, 1900 0x8000000000000001, 0x8000000000000001, 1901 0x0000000000000000, 0x0000000000000000, 1902 0x0000000000000000, 0x0000000000000000, 1903 0x0008000000000000, 0x0010000000000000, 1904 0x0008000000000000, 0x0010000000000000, 1905 0x3fd0000000000000, 0x3fdffffffffffffe, 1906 0x3fd0000000000000, 0x3fdffffffffffffe, 1907 0x3fd0000000000001, 0x3fdfffffffffffff, 1908 0x3fd0000000000001, 0x3fdfffffffffffff, 1909 0x3fd0000000000002, 0x3fe0000000000000, 1910 0x3fd0000000000002, 0x3fe0000000000000, 1911 0x3fe0000000000000, 0x3feffffffffffffe, 1912 0x3fe0000000000000, 0x3feffffffffffffe, 1913 0x3fe0000000000001, 0x3fefffffffffffff, 1914 0x3fe0000000000001, 0x3fefffffffffffff, 1915 0x3fe0000000000002, 0x3ff0000000000000, 1916 0x3fe0000000000002, 0x3ff0000000000000, 1917 0x3fe8000000000002, 0x3ff7ffffffffffff, 1918 0x3fe8000000000002, 0x3ff7ffffffffffff, 1919 0x4014000000000001, 0x4023ffffffffffff, 1920 0x4014000000000001, 0x4023ffffffffffff, 1921 0x7fe0000000000000, 0x7feffffffffffffe, 1922 0x7fe0000000000000, 0x7feffffffffffffe, 1923 0x7ff0000000000000, 0x7ff0000000000000, 1924 0x7ff0000000000000, 0x7ff0000000000000, 1925 0xfff923456789abcd, 0xfff923456789abcd, 1926 0xfff923456789abcd, 0xfff923456789abcd, 1927 0xfff8000000000000, 0xfff8000000000000, 1928 0xfff8000000000000, 0xfff8000000000000, 1929 0xfff923456789abcd, 0xfff923456789abcd, 1930 0xfff923456789abcd, 0xfff923456789abcd, 1931 0x7ff0000000000000, 0x7ff0000000000000, 1932 0x7ff0000000000000, 0x7ff0000000000000, 1933 0x000091a2b3c4d5e7, 0x000123456789abcd, 1934 0x000091a2b3c4d5e7, 0x000123456789abcd, 1935 0x0008000000000000, 0x000fffffffffffff, 1936 0x0008000000000000, 0x000fffffffffffff, 1937 0x0000000000000001, 0x0000000000000001, 1938 0x0000000000000001, 0x0000000000000001, 1939 0x8000000000000000, 0x8000000000000000, 1940 0x8000000000000000, 0x8000000000000000, 1941 0x8010000000000000, 0x8010000000000000, 1942 0x8010000000000000, 0x8010000000000000, 1943 0xbfdffffffffffffe, 0xbfdfffffffffffff, 1944 0xbfdffffffffffffe, 0xbfdfffffffffffff, 1945 0xbfdfffffffffffff, 0xbfe0000000000000, 1946 0xbfdfffffffffffff, 0xbfe0000000000000, 1947 0xbfe0000000000000, 0xbfe0000000000001, 1948 0xbfe0000000000000, 0xbfe0000000000001, 1949 0xbfeffffffffffffe, 0xbfefffffffffffff, 1950 0xbfeffffffffffffe, 0xbfefffffffffffff, 1951 0xbfefffffffffffff, 0xbff0000000000000, 1952 0xbfefffffffffffff, 0xbff0000000000000, 1953 0xbff0000000000000, 0xbff0000000000001, 1954 0xbff0000000000000, 0xbff0000000000001, 1955 0xbff7ffffffffffff, 0xbff8000000000000, 1956 0xbff7ffffffffffff, 0xbff8000000000000, 1957 0xc023ffffffffffff, 0xc024000000000000, 1958 0xc023ffffffffffff, 0xc024000000000000, 1959 0xffeffffffffffffe, 0xffefffffffffffff, 1960 0xffeffffffffffffe, 0xffefffffffffffff, 1961 0xfff0000000000000, 0xfff0000000000000, 1962 0xfff0000000000000, 0xfff0000000000000, 1963 0x7ff923456789abcd, 0x7ff923456789abcd, 1964 0x7ff923456789abcd, 0x7ff923456789abcd, 1965 0x7ff8000000000000, 0x7ff8000000000000, 1966 0x7ff8000000000000, 0x7ff8000000000000, 1967 0x7ff923456789abcd, 0x7ff923456789abcd, 1968 0x7ff923456789abcd, 0x7ff923456789abcd, 1969 0xfff0000000000000, 0xfff0000000000000, 1970 0xfff0000000000000, 0xfff0000000000000, 1971 0x800123456789abcd, 0x800123456789abcd, 1972 0x800123456789abcd, 0x800123456789abcd, 1973 0x800fffffffffffff, 0x800fffffffffffff, 1974 0x800fffffffffffff, 0x800fffffffffffff, 1975 0x8000000000000001, 0x8000000000000001, 1976 0x8000000000000001, 0x8000000000000001, 1977 0x0000000000000000, 0x0000000000000000, 1978 0x0000000000000000, 0x0000000000000000, 1979 0x0010000000000000, 0x0010000000000000, 1980 0x0010000000000000, 0x0010000000000000, 1981 0x3fdffffffffffffe, 0x3fdfffffffffffff, 1982 0x3fdffffffffffffe, 0x3fdfffffffffffff, 1983 0x3fdfffffffffffff, 0x3fe0000000000000, 1984 0x3fdfffffffffffff, 0x3fe0000000000000, 1985 0x3fe0000000000000, 0x3fe0000000000001, 1986 0x3fe0000000000000, 0x3fe0000000000001, 1987 0x3feffffffffffffe, 0x3fefffffffffffff, 1988 0x3feffffffffffffe, 0x3fefffffffffffff, 1989 0x3fefffffffffffff, 0x3ff0000000000000, 1990 0x3fefffffffffffff, 0x3ff0000000000000, 1991 0x3ff0000000000000, 0x3ff0000000000001, 1992 0x3ff0000000000000, 0x3ff0000000000001, 1993 0x3ff7ffffffffffff, 0x3ff8000000000000, 1994 0x3ff7ffffffffffff, 0x3ff8000000000000, 1995 0x4023ffffffffffff, 0x4024000000000000, 1996 0x4023ffffffffffff, 0x4024000000000000, 1997 0x7feffffffffffffe, 0x7fefffffffffffff, 1998 0x7feffffffffffffe, 0x7fefffffffffffff, 1999 0x7ff0000000000000, 0x7ff0000000000000, 2000 0x7ff0000000000000, 0x7ff0000000000000, 2001 0xfff923456789abcd, 0xfff923456789abcd, 2002 0xfff923456789abcd, 0xfff923456789abcd, 2003 0xfff8000000000000, 0xfff8000000000000, 2004 0xfff8000000000000, 0xfff8000000000000, 2005 0xfff923456789abcd, 0xfff923456789abcd, 2006 0xfff923456789abcd, 0xfff923456789abcd, 2007 0x7ff0000000000000, 0x7ff0000000000000, 2008 0x7ff0000000000000, 0x7ff0000000000000, 2009 0x000123456789abcd, 0x000123456789abcd, 2010 0x000123456789abcd, 0x000123456789abcd, 2011 0x000fffffffffffff, 0x000fffffffffffff, 2012 0x000fffffffffffff, 0x000fffffffffffff, 2013 0x0000000000000001, 0x0000000000000001, 2014 0x0000000000000001, 0x0000000000000001, 2015 0x8000000000000000, 0x8000000000000000, 2016 0x8000000000000000, 0x8000000000000000, 2017 0x8010000000000000, 0x8010000000000001, 2018 0x8010000000000000, 0x8010000000000001, 2019 0xbfdfffffffffffff, 0xbfe0000000000000, 2020 0xbfdfffffffffffff, 0xbfe0000000000000, 2021 0xbfe0000000000000, 0xbfe0000000000001, 2022 0xbfe0000000000000, 0xbfe0000000000001, 2023 0xbfe0000000000001, 0xbfe0000000000002, 2024 0xbfe0000000000001, 0xbfe0000000000002, 2025 0xbfefffffffffffff, 0xbff0000000000000, 2026 0xbfefffffffffffff, 0xbff0000000000000, 2027 0xbff0000000000000, 0xbff0000000000001, 2028 0xbff0000000000000, 0xbff0000000000001, 2029 0xbff0000000000001, 0xbff0000000000002, 2030 0xbff0000000000001, 0xbff0000000000002, 2031 0xbff8000000000000, 0xbff8000000000002, 2032 0xbff8000000000000, 0xbff8000000000002, 2033 0xc024000000000000, 0xc024000000000001, 2034 0xc024000000000000, 0xc024000000000001, 2035 0xffefffffffffffff, 0xfff0000000000000, 2036 0xffefffffffffffff, 0xfff0000000000000, 2037 0xfff0000000000000, 0xfff0000000000000, 2038 0xfff0000000000000, 0xfff0000000000000, 2039 0x7ff923456789abcd, 0x7ff923456789abcd, 2040 0x7ff923456789abcd, 0x7ff923456789abcd, 2041 0x7ff8000000000000, 0x7ff8000000000000, 2042 0x7ff8000000000000, 0x7ff8000000000000, 2043 0x7ff923456789abcd, 0x7ff923456789abcd, 2044 0x7ff923456789abcd, 0x7ff923456789abcd, 2045 0xfff0000000000000, 0xfff0000000000000, 2046 0xfff0000000000000, 0xfff0000000000000, 2047 0x800123456789abcd, 0x800123456789abcd, 2048 0x800123456789abcd, 0x800123456789abcd, 2049 0x800fffffffffffff, 0x8010000000000000, 2050 0x800fffffffffffff, 0x8010000000000000, 2051 0x8000000000000001, 0x8000000000000001, 2052 0x8000000000000001, 0x8000000000000001, 2053 0x0000000000000000, 0x0000000000000000, 2054 0x0000000000000000, 0x0000000000000000, 2055 0x0010000000000000, 0x0010000000000001, 2056 0x0010000000000000, 0x0010000000000001, 2057 0x3fdfffffffffffff, 0x3fe0000000000000, 2058 0x3fdfffffffffffff, 0x3fe0000000000000, 2059 0x3fe0000000000000, 0x3fe0000000000001, 2060 0x3fe0000000000000, 0x3fe0000000000001, 2061 0x3fe0000000000001, 0x3fe0000000000002, 2062 0x3fe0000000000001, 0x3fe0000000000002, 2063 0x3fefffffffffffff, 0x3ff0000000000000, 2064 0x3fefffffffffffff, 0x3ff0000000000000, 2065 0x3ff0000000000000, 0x3ff0000000000001, 2066 0x3ff0000000000000, 0x3ff0000000000001, 2067 0x3ff0000000000001, 0x3ff0000000000002, 2068 0x3ff0000000000001, 0x3ff0000000000002, 2069 0x3ff8000000000000, 0x3ff8000000000002, 2070 0x3ff8000000000000, 0x3ff8000000000002, 2071 0x4024000000000000, 0x4024000000000001, 2072 0x4024000000000000, 0x4024000000000001, 2073 0x7fefffffffffffff, 0x7ff0000000000000, 2074 0x7fefffffffffffff, 0x7ff0000000000000, 2075 0x7ff0000000000000, 0x7ff0000000000000, 2076 0x7ff0000000000000, 0x7ff0000000000000, 2077 0xfff923456789abcd, 0xfff923456789abcd, 2078 0xfff923456789abcd, 0xfff923456789abcd, 2079 0xfff8000000000000, 0xfff8000000000000, 2080 0xfff8000000000000, 0xfff8000000000000, 2081 0xfff923456789abcd, 0xfff923456789abcd, 2082 0xfff923456789abcd, 0xfff923456789abcd, 2083 0x7ff0000000000000, 0x7ff0000000000000, 2084 0x7ff0000000000000, 0x7ff0000000000000, 2085 0x000123456789abcd, 0x000123456789abcd, 2086 0x000123456789abcd, 0x000123456789abcd, 2087 0x000fffffffffffff, 0x0010000000000000, 2088 0x000fffffffffffff, 0x0010000000000000, 2089 0x0000000000000001, 0x0000000000000001, 2090 0x0000000000000001, 0x0000000000000002, 2091 0x8000000000000000, 0x8000000000000000, 2092 0x8000000000000000, 0x8000000000000000, 2093 0x8010000000000001, 0x8018000000000000, 2094 0x8010000000000001, 0x8018000000000000, 2095 0xbfe0000000000000, 0xbfe7ffffffffffff, 2096 0xbfe0000000000000, 0xbfe7ffffffffffff, 2097 0xbfe0000000000001, 0xbfe8000000000000, 2098 0xbfe0000000000001, 0xbfe8000000000000, 2099 0xbfe0000000000002, 0xbfe8000000000002, 2100 0xbfe0000000000002, 0xbfe8000000000002, 2101 0xbff0000000000000, 0xbff7ffffffffffff, 2102 0xbff0000000000000, 0xbff7ffffffffffff, 2103 0xbff0000000000001, 0xbff8000000000000, 2104 0xbff0000000000001, 0xbff8000000000000, 2105 0xbff0000000000002, 0xbff8000000000002, 2106 0xbff0000000000002, 0xbff8000000000002, 2107 0xbff8000000000002, 0xc002000000000000, 2108 0xbff8000000000002, 0xc002000000000000, 2109 0xc024000000000001, 0xc02e000000000000, 2110 0xc024000000000001, 0xc02e000000000000, 2111 0xfff0000000000000, 0xfff0000000000000, 2112 0xfff0000000000000, 0xfff0000000000000, 2113 0xfff0000000000000, 0xfff0000000000000, 2114 0xfff0000000000000, 0xfff0000000000000, 2115 0x7ff923456789abcd, 0x7ff923456789abcd, 2116 0x7ff923456789abcd, 0x7ff923456789abcd, 2117 0x7ff8000000000000, 0x7ff8000000000000, 2118 0x7ff8000000000000, 0x7ff8000000000000, 2119 0x7ff923456789abcd, 0x7ff923456789abcd, 2120 0x7ff923456789abcd, 0x7ff923456789abcd, 2121 0xfff0000000000000, 0xfff0000000000000, 2122 0xfff0000000000000, 0xfff0000000000000, 2123 0x800123456789abcd, 0x8001b4e81b4e81b4, 2124 0x800123456789abcd, 0x8001b4e81b4e81b4, 2125 0x8010000000000000, 0x8017fffffffffffe, 2126 0x8010000000000000, 0x8017fffffffffffe, 2127 0x8000000000000001, 0x8000000000000002, 2128 0x8000000000000001, 0x8000000000000002, 2129 0x0000000000000000, 0x0000000000000000, 2130 0x0000000000000000, 0x0000000000000000, 2131 0x0010000000000001, 0x0018000000000000, 2132 0x0010000000000001, 0x0018000000000000, 2133 0x3fe0000000000000, 0x3fe7ffffffffffff, 2134 0x3fe0000000000000, 0x3fe7ffffffffffff, 2135 0x3fe0000000000001, 0x3fe8000000000000, 2136 0x3fe0000000000001, 0x3fe8000000000000, 2137 0x3fe0000000000002, 0x3fe8000000000002, 2138 0x3fe0000000000002, 0x3fe8000000000002, 2139 0x3ff0000000000000, 0x3ff7ffffffffffff, 2140 0x3ff0000000000000, 0x3ff7ffffffffffff, 2141 0x3ff0000000000001, 0x3ff8000000000000, 2142 0x3ff0000000000001, 0x3ff8000000000000, 2143 0x3ff0000000000002, 0x3ff8000000000002, 2144 0x3ff0000000000002, 0x3ff8000000000002, 2145 0x3ff8000000000002, 0x4002000000000000, 2146 0x3ff8000000000002, 0x4002000000000000, 2147 0x4024000000000001, 0x402e000000000000, 2148 0x4024000000000001, 0x402e000000000000, 2149 0x7ff0000000000000, 0x7ff0000000000000, 2150 0x7ff0000000000000, 0x7ff0000000000000, 2151 0x7ff0000000000000, 0x7ff0000000000000, 2152 0x7ff0000000000000, 0x7ff0000000000000, 2153 0xfff923456789abcd, 0xfff923456789abcd, 2154 0xfff923456789abcd, 0xfff923456789abcd, 2155 0xfff8000000000000, 0xfff8000000000000, 2156 0xfff8000000000000, 0xfff8000000000000, 2157 0xfff923456789abcd, 0xfff923456789abcd, 2158 0xfff923456789abcd, 0xfff923456789abcd, 2159 0x7ff0000000000000, 0x7ff0000000000000, 2160 0x7ff0000000000000, 0x7ff0000000000000, 2161 0x000123456789abcd, 0x0001b4e81b4e81b4, 2162 0x000123456789abcd, 0x0001b4e81b4e81b4, 2163 0x0010000000000000, 0x0017fffffffffffe, 2164 0x0010000000000000, 0x0017fffffffffffe, 2165 0x0000000000000001, 0x0000000000000002, 2166 0x0000000000000002, 0x000000000000000a, 2167 0x8000000000000000, 0x8000000000000000, 2168 0x8000000000000000, 0x8000000000000000, 2169 0x8018000000000000, 0x8044000000000000, 2170 0x8018000000000000, 0x8044000000000000, 2171 0xbfe7ffffffffffff, 0xc013ffffffffffff, 2172 0xbfe7ffffffffffff, 0xc013ffffffffffff, 2173 0xbfe8000000000000, 0xc014000000000000, 2174 0xbfe8000000000000, 0xc014000000000000, 2175 0xbfe8000000000002, 0xc014000000000001, 2176 0xbfe8000000000002, 0xc014000000000001, 2177 0xbff7ffffffffffff, 0xc023ffffffffffff, 2178 0xbff7ffffffffffff, 0xc023ffffffffffff, 2179 0xbff8000000000000, 0xc024000000000000, 2180 0xbff8000000000000, 0xc024000000000000, 2181 0xbff8000000000002, 0xc024000000000001, 2182 0xbff8000000000002, 0xc024000000000001, 2183 0xc002000000000000, 0xc02e000000000000, 2184 0xc002000000000000, 0xc02e000000000000, 2185 0xc02e000000000000, 0xc059000000000000, 2186 0xc02e000000000000, 0xc059000000000000, 2187 0xfff0000000000000, 0xfff0000000000000, 2188 0xfff0000000000000, 0xfff0000000000000, 2189 0xfff0000000000000, 0xfff0000000000000, 2190 0xfff0000000000000, 0xfff0000000000000, 2191 0x7ff923456789abcd, 0x7ff923456789abcd, 2192 0x7ff923456789abcd, 0x7ff923456789abcd, 2193 0x7ff8000000000000, 0x7ff8000000000000, 2194 0x7ff8000000000000, 0x7ff8000000000000, 2195 0x7ff923456789abcd, 0x7ff923456789abcd, 2196 0x7ff923456789abcd, 0x7ff923456789abcd, 2197 0xfff0000000000000, 0xfff0000000000000, 2198 0xfff0000000000000, 0xfff0000000000000, 2199 0x8001b4e81b4e81b4, 0x800b60b60b60b602, 2200 0x8001b4e81b4e81b4, 0x800b60b60b60b602, 2201 0x8017fffffffffffe, 0x8043ffffffffffff, 2202 0x8017fffffffffffe, 0x8043ffffffffffff, 2203 0x8000000000000002, 0x800000000000000a, 2204 0x8000000000000002, 0x800000000000000a, 2205 0x0000000000000000, 0x0000000000000000, 2206 0x0000000000000000, 0x0000000000000000, 2207 0x0018000000000000, 0x0044000000000000, 2208 0x0018000000000000, 0x0044000000000000, 2209 0x3fe7ffffffffffff, 0x4013ffffffffffff, 2210 0x3fe7ffffffffffff, 0x4013ffffffffffff, 2211 0x3fe8000000000000, 0x4014000000000000, 2212 0x3fe8000000000000, 0x4014000000000000, 2213 0x3fe8000000000002, 0x4014000000000001, 2214 0x3fe8000000000002, 0x4014000000000001, 2215 0x3ff7ffffffffffff, 0x4023ffffffffffff, 2216 0x3ff7ffffffffffff, 0x4023ffffffffffff, 2217 0x3ff8000000000000, 0x4024000000000000, 2218 0x3ff8000000000000, 0x4024000000000000, 2219 0x3ff8000000000002, 0x4024000000000001, 2220 0x3ff8000000000002, 0x4024000000000001, 2221 0x4002000000000000, 0x402e000000000000, 2222 0x4002000000000000, 0x402e000000000000, 2223 0x402e000000000000, 0x4059000000000000, 2224 0x402e000000000000, 0x4059000000000000, 2225 0x7ff0000000000000, 0x7ff0000000000000, 2226 0x7ff0000000000000, 0x7ff0000000000000, 2227 0x7ff0000000000000, 0x7ff0000000000000, 2228 0x7ff0000000000000, 0x7ff0000000000000, 2229 0xfff923456789abcd, 0xfff923456789abcd, 2230 0xfff923456789abcd, 0xfff923456789abcd, 2231 0xfff8000000000000, 0xfff8000000000000, 2232 0xfff8000000000000, 0xfff8000000000000, 2233 0xfff923456789abcd, 0xfff923456789abcd, 2234 0xfff923456789abcd, 0xfff923456789abcd, 2235 0x7ff0000000000000, 0x7ff0000000000000, 2236 0x7ff0000000000000, 0x7ff0000000000000, 2237 0x0001b4e81b4e81b4, 0x000b60b60b60b602, 2238 0x0001b4e81b4e81b4, 0x000b60b60b60b602, 2239 0x0017fffffffffffe, 0x0043ffffffffffff, 2240 0x0017fffffffffffe, 0x0043ffffffffffff, 2241 0x0000000000000002, 0x000000000000000a, 2242 0x000000000000000a, 0x3ccfffffffffffff, 2243 0x8000000000000000, 0x8000000000000000, 2244 0x8000000000000000, 0x8000000000000000, 2245 0x8044000000000000, 0xc00fffffffffffff, 2246 0x8044000000000000, 0xc00fffffffffffff, 2247 0xc013ffffffffffff, 0xffdffffffffffffe, 2248 0xc013ffffffffffff, 0xffdffffffffffffe, 2249 0xc014000000000000, 0xffdfffffffffffff, 2250 0xc014000000000000, 0xffdfffffffffffff, 2251 0xc014000000000001, 0xffe0000000000000, 2252 0xc014000000000001, 0xffe0000000000000, 2253 0xc023ffffffffffff, 0xffeffffffffffffe, 2254 0xc023ffffffffffff, 0xffeffffffffffffe, 2255 0xc024000000000000, 0xffefffffffffffff, 2256 0xc024000000000000, 0xffefffffffffffff, 2257 0xc024000000000001, 0xfff0000000000000, 2258 0xc024000000000001, 0xfff0000000000000, 2259 0xc02e000000000000, 0xfff0000000000000, 2260 0xc02e000000000000, 0xfff0000000000000, 2261 0xc059000000000000, 0xfff0000000000000, 2262 0xc059000000000000, 0xfff0000000000000, 2263 0xfff0000000000000, 0xfff0000000000000, 2264 0xfff0000000000000, 0xfff0000000000000, 2265 0xfff0000000000000, 0xfff0000000000000, 2266 0xfff0000000000000, 0xfff0000000000000, 2267 0x7ff923456789abcd, 0x7ff923456789abcd, 2268 0x7ff923456789abcd, 0x7ff923456789abcd, 2269 0x7ff8000000000000, 0x7ff8000000000000, 2270 0x7ff8000000000000, 0x7ff8000000000000, 2271 0x7ff923456789abcd, 0x7ff923456789abcd, 2272 0x7ff923456789abcd, 0x7ff923456789abcd, 2273 0xfff0000000000000, 0xfff0000000000000, 2274 0xfff0000000000000, 0xfff0000000000000, 2275 0x800b60b60b60b602, 0xbfd23456789abccf, 2276 0x800b60b60b60b602, 0xbfd23456789abccf, 2277 0x8043ffffffffffff, 0xc00ffffffffffffd, 2278 0x8043ffffffffffff, 0xc00ffffffffffffd, 2279 0x800000000000000a, 0xbccfffffffffffff, 2280 0x800000000000000a, 0xbccfffffffffffff, 2281 0x0000000000000000, 0x0000000000000000, 2282 0x0000000000000000, 0x0000000000000000, 2283 0x0044000000000000, 0x400fffffffffffff, 2284 0x0044000000000000, 0x400fffffffffffff, 2285 0x4013ffffffffffff, 0x7fdffffffffffffe, 2286 0x4013ffffffffffff, 0x7fdffffffffffffe, 2287 0x4014000000000000, 0x7fdfffffffffffff, 2288 0x4014000000000000, 0x7fdfffffffffffff, 2289 0x4014000000000001, 0x7fe0000000000000, 2290 0x4014000000000001, 0x7fe0000000000000, 2291 0x4023ffffffffffff, 0x7feffffffffffffe, 2292 0x4023ffffffffffff, 0x7feffffffffffffe, 2293 0x4024000000000000, 0x7fefffffffffffff, 2294 0x4024000000000000, 0x7fefffffffffffff, 2295 0x4024000000000001, 0x7ff0000000000000, 2296 0x4024000000000001, 0x7ff0000000000000, 2297 0x402e000000000000, 0x7ff0000000000000, 2298 0x402e000000000000, 0x7ff0000000000000, 2299 0x4059000000000000, 0x7ff0000000000000, 2300 0x4059000000000000, 0x7ff0000000000000, 2301 0x7ff0000000000000, 0x7ff0000000000000, 2302 0x7ff0000000000000, 0x7ff0000000000000, 2303 0x7ff0000000000000, 0x7ff0000000000000, 2304 0x7ff0000000000000, 0x7ff0000000000000, 2305 0xfff923456789abcd, 0xfff923456789abcd, 2306 0xfff923456789abcd, 0xfff923456789abcd, 2307 0xfff8000000000000, 0xfff8000000000000, 2308 0xfff8000000000000, 0xfff8000000000000, 2309 0xfff923456789abcd, 0xfff923456789abcd, 2310 0xfff923456789abcd, 0xfff923456789abcd, 2311 0x7ff0000000000000, 0x7ff0000000000000, 2312 0x7ff0000000000000, 0x7ff0000000000000, 2313 0x000b60b60b60b602, 0x3fd23456789abccf, 2314 0x000b60b60b60b602, 0x3fd23456789abccf, 2315 0x0043ffffffffffff, 0x400ffffffffffffd, 2316 0x0043ffffffffffff, 0x400ffffffffffffd, 2317 0x000000000000000a, 0x3ccfffffffffffff, 2318 0x3ccfffffffffffff, 0x7ff0000000000000, 2319 0x8000000000000000, 0x7ff8000000000000, 2320 0x8000000000000000, 0x7ff8000000000000, 2321 0xc00fffffffffffff, 0xfff0000000000000, 2322 0xc00fffffffffffff, 0xfff0000000000000, 2323 0xffdffffffffffffe, 0xfff0000000000000, 2324 0xffdffffffffffffe, 0xfff0000000000000, 2325 0xffdfffffffffffff, 0xfff0000000000000, 2326 0xffdfffffffffffff, 0xfff0000000000000, 2327 0xffe0000000000000, 0xfff0000000000000, 2328 0xffe0000000000000, 0xfff0000000000000, 2329 0xffeffffffffffffe, 0xfff0000000000000, 2330 0xffeffffffffffffe, 0xfff0000000000000, 2331 0xffefffffffffffff, 0xfff0000000000000, 2332 0xffefffffffffffff, 0xfff0000000000000, 2333 0xfff0000000000000, 0xfff0000000000000, 2334 0xfff0000000000000, 0xfff0000000000000, 2335 0xfff0000000000000, 0xfff0000000000000, 2336 0xfff0000000000000, 0xfff0000000000000, 2337 0xfff0000000000000, 0xfff0000000000000, 2338 0xfff0000000000000, 0xfff0000000000000, 2339 0xfff0000000000000, 0xfff0000000000000, 2340 0xfff0000000000000, 0xfff0000000000000, 2341 0xfff0000000000000, 0xfff0000000000000, 2342 0xfff0000000000000, 0xfff0000000000000, 2343 0x7ff923456789abcd, 0x7ff923456789abcd, 2344 0x7ff923456789abcd, 0x7ff923456789abcd, 2345 0x7ff8000000000000, 0x7ff8000000000000, 2346 0x7ff8000000000000, 0x7ff8000000000000, 2347 0x7ff923456789abcd, 0x7ff923456789abcd, 2348 0x7ff923456789abcd, 0x7ff923456789abcd, 2349 0xfff0000000000000, 0xfff0000000000000, 2350 0xfff0000000000000, 0xfff0000000000000, 2351 0xbfd23456789abccf, 0xfff0000000000000, 2352 0xbfd23456789abccf, 0xfff0000000000000, 2353 0xc00ffffffffffffd, 0xfff0000000000000, 2354 0xc00ffffffffffffd, 0xfff0000000000000, 2355 0xbccfffffffffffff, 0xfff0000000000000, 2356 0xbccfffffffffffff, 0xfff0000000000000, 2357 0x0000000000000000, 0x7ff8000000000000, 2358 0x0000000000000000, 0x7ff8000000000000, 2359 0x400fffffffffffff, 0x7ff0000000000000, 2360 0x400fffffffffffff, 0x7ff0000000000000, 2361 0x7fdffffffffffffe, 0x7ff0000000000000, 2362 0x7fdffffffffffffe, 0x7ff0000000000000, 2363 0x7fdfffffffffffff, 0x7ff0000000000000, 2364 0x7fdfffffffffffff, 0x7ff0000000000000, 2365 0x7fe0000000000000, 0x7ff0000000000000, 2366 0x7fe0000000000000, 0x7ff0000000000000, 2367 0x7feffffffffffffe, 0x7ff0000000000000, 2368 0x7feffffffffffffe, 0x7ff0000000000000, 2369 0x7fefffffffffffff, 0x7ff0000000000000, 2370 0x7fefffffffffffff, 0x7ff0000000000000, 2371 0x7ff0000000000000, 0x7ff0000000000000, 2372 0x7ff0000000000000, 0x7ff0000000000000, 2373 0x7ff0000000000000, 0x7ff0000000000000, 2374 0x7ff0000000000000, 0x7ff0000000000000, 2375 0x7ff0000000000000, 0x7ff0000000000000, 2376 0x7ff0000000000000, 0x7ff0000000000000, 2377 0x7ff0000000000000, 0x7ff0000000000000, 2378 0x7ff0000000000000, 0x7ff0000000000000, 2379 0x7ff0000000000000, 0x7ff0000000000000, 2380 0x7ff0000000000000, 0x7ff0000000000000, 2381 0xfff923456789abcd, 0xfff923456789abcd, 2382 0xfff923456789abcd, 0xfff923456789abcd, 2383 0xfff8000000000000, 0xfff8000000000000, 2384 0xfff8000000000000, 0xfff8000000000000, 2385 0xfff923456789abcd, 0xfff923456789abcd, 2386 0xfff923456789abcd, 0xfff923456789abcd, 2387 0x7ff0000000000000, 0x7ff0000000000000, 2388 0x7ff0000000000000, 0x7ff0000000000000, 2389 0x3fd23456789abccf, 0x7ff0000000000000, 2390 0x3fd23456789abccf, 0x7ff0000000000000, 2391 0x400ffffffffffffd, 0x7ff0000000000000, 2392 0x400ffffffffffffd, 0x7ff0000000000000, 2393 0x3ccfffffffffffff, 0x7ff0000000000000, 2394 0x7ff0000000000000, 0xfff923456789abcd, 2395 0x7ff8000000000000, 0xfff923456789abcd, 2396 0x7ff8000000000000, 0xfff923456789abcd, 2397 0xfff0000000000000, 0xfff923456789abcd, 2398 0xfff0000000000000, 0xfff923456789abcd, 2399 0xfff0000000000000, 0xfff923456789abcd, 2400 0xfff0000000000000, 0xfff923456789abcd, 2401 0xfff0000000000000, 0xfff923456789abcd, 2402 0xfff0000000000000, 0xfff923456789abcd, 2403 0xfff0000000000000, 0xfff923456789abcd, 2404 0xfff0000000000000, 0xfff923456789abcd, 2405 0xfff0000000000000, 0xfff923456789abcd, 2406 0xfff0000000000000, 0xfff923456789abcd, 2407 0xfff0000000000000, 0xfff923456789abcd, 2408 0xfff0000000000000, 0xfff923456789abcd, 2409 0xfff0000000000000, 0xfff923456789abcd, 2410 0xfff0000000000000, 0xfff923456789abcd, 2411 0xfff0000000000000, 0xfff923456789abcd, 2412 0xfff0000000000000, 0xfff923456789abcd, 2413 0xfff0000000000000, 0xfff923456789abcd, 2414 0xfff0000000000000, 0xfff923456789abcd, 2415 0xfff0000000000000, 0xfff923456789abcd, 2416 0xfff0000000000000, 0xfff923456789abcd, 2417 0xfff0000000000000, 0xfff923456789abcd, 2418 0xfff0000000000000, 0xfff923456789abcd, 2419 0x7ff923456789abcd, 0xfff923456789abcd, 2420 0x7ff923456789abcd, 0xfff923456789abcd, 2421 0x7ff8000000000000, 0xfff923456789abcd, 2422 0x7ff8000000000000, 0xfff923456789abcd, 2423 0x7ff923456789abcd, 0x7ff923456789abcd, 2424 0x7ff923456789abcd, 0x7ff923456789abcd, 2425 0xfff0000000000000, 0xfff923456789abcd, 2426 0xfff0000000000000, 0xfff923456789abcd, 2427 0xfff0000000000000, 0xfff923456789abcd, 2428 0xfff0000000000000, 0xfff923456789abcd, 2429 0xfff0000000000000, 0xfff923456789abcd, 2430 0xfff0000000000000, 0xfff923456789abcd, 2431 0xfff0000000000000, 0xfff923456789abcd, 2432 0xfff0000000000000, 0xfff923456789abcd, 2433 0x7ff8000000000000, 0xfff923456789abcd, 2434 0x7ff8000000000000, 0xfff923456789abcd, 2435 0x7ff0000000000000, 0xfff923456789abcd, 2436 0x7ff0000000000000, 0xfff923456789abcd, 2437 0x7ff0000000000000, 0xfff923456789abcd, 2438 0x7ff0000000000000, 0xfff923456789abcd, 2439 0x7ff0000000000000, 0xfff923456789abcd, 2440 0x7ff0000000000000, 0xfff923456789abcd, 2441 0x7ff0000000000000, 0xfff923456789abcd, 2442 0x7ff0000000000000, 0xfff923456789abcd, 2443 0x7ff0000000000000, 0xfff923456789abcd, 2444 0x7ff0000000000000, 0xfff923456789abcd, 2445 0x7ff0000000000000, 0xfff923456789abcd, 2446 0x7ff0000000000000, 0xfff923456789abcd, 2447 0x7ff0000000000000, 0xfff923456789abcd, 2448 0x7ff0000000000000, 0xfff923456789abcd, 2449 0x7ff0000000000000, 0xfff923456789abcd, 2450 0x7ff0000000000000, 0xfff923456789abcd, 2451 0x7ff0000000000000, 0xfff923456789abcd, 2452 0x7ff0000000000000, 0xfff923456789abcd, 2453 0x7ff0000000000000, 0xfff923456789abcd, 2454 0x7ff0000000000000, 0xfff923456789abcd, 2455 0x7ff0000000000000, 0xfff923456789abcd, 2456 0x7ff0000000000000, 0xfff923456789abcd, 2457 0xfff923456789abcd, 0xfff923456789abcd, 2458 0xfff923456789abcd, 0xfff923456789abcd, 2459 0xfff8000000000000, 0xfff923456789abcd, 2460 0xfff8000000000000, 0xfff923456789abcd, 2461 0xfff923456789abcd, 0xfff923456789abcd, 2462 0xfff923456789abcd, 0xfff923456789abcd, 2463 0x7ff0000000000000, 0xfff923456789abcd, 2464 0x7ff0000000000000, 0xfff923456789abcd, 2465 0x7ff0000000000000, 0xfff923456789abcd, 2466 0x7ff0000000000000, 0xfff923456789abcd, 2467 0x7ff0000000000000, 0xfff923456789abcd, 2468 0x7ff0000000000000, 0xfff923456789abcd, 2469 0x7ff0000000000000, 0xfff923456789abcd, 2470 0xfff923456789abcd, 0xfff8000000000000, 2471 0xfff923456789abcd, 0xfff8000000000000, 2472 0xfff923456789abcd, 0xfff8000000000000, 2473 0xfff923456789abcd, 0xfff8000000000000, 2474 0xfff923456789abcd, 0xfff8000000000000, 2475 0xfff923456789abcd, 0xfff8000000000000, 2476 0xfff923456789abcd, 0xfff8000000000000, 2477 0xfff923456789abcd, 0xfff8000000000000, 2478 0xfff923456789abcd, 0xfff8000000000000, 2479 0xfff923456789abcd, 0xfff8000000000000, 2480 0xfff923456789abcd, 0xfff8000000000000, 2481 0xfff923456789abcd, 0xfff8000000000000, 2482 0xfff923456789abcd, 0xfff8000000000000, 2483 0xfff923456789abcd, 0xfff8000000000000, 2484 0xfff923456789abcd, 0xfff8000000000000, 2485 0xfff923456789abcd, 0xfff8000000000000, 2486 0xfff923456789abcd, 0xfff8000000000000, 2487 0xfff923456789abcd, 0xfff8000000000000, 2488 0xfff923456789abcd, 0xfff8000000000000, 2489 0xfff923456789abcd, 0xfff8000000000000, 2490 0xfff923456789abcd, 0xfff8000000000000, 2491 0xfff923456789abcd, 0xfff8000000000000, 2492 0xfff923456789abcd, 0xfff8000000000000, 2493 0xfff923456789abcd, 0xfff8000000000000, 2494 0xfff923456789abcd, 0xfff8000000000000, 2495 0xfff923456789abcd, 0xfff8000000000000, 2496 0xfff923456789abcd, 0xfff8000000000000, 2497 0xfff923456789abcd, 0xfff8000000000000, 2498 0xfff923456789abcd, 0xfff8000000000000, 2499 0x7ff923456789abcd, 0x7ff923456789abcd, 2500 0x7ff923456789abcd, 0x7ff923456789abcd, 2501 0xfff923456789abcd, 0xfff8000000000000, 2502 0xfff923456789abcd, 0xfff8000000000000, 2503 0xfff923456789abcd, 0xfff8000000000000, 2504 0xfff923456789abcd, 0xfff8000000000000, 2505 0xfff923456789abcd, 0xfff8000000000000, 2506 0xfff923456789abcd, 0xfff8000000000000, 2507 0xfff923456789abcd, 0xfff8000000000000, 2508 0xfff923456789abcd, 0xfff8000000000000, 2509 0xfff923456789abcd, 0xfff8000000000000, 2510 0xfff923456789abcd, 0xfff8000000000000, 2511 0xfff923456789abcd, 0xfff8000000000000, 2512 0xfff923456789abcd, 0xfff8000000000000, 2513 0xfff923456789abcd, 0xfff8000000000000, 2514 0xfff923456789abcd, 0xfff8000000000000, 2515 0xfff923456789abcd, 0xfff8000000000000, 2516 0xfff923456789abcd, 0xfff8000000000000, 2517 0xfff923456789abcd, 0xfff8000000000000, 2518 0xfff923456789abcd, 0xfff8000000000000, 2519 0xfff923456789abcd, 0xfff8000000000000, 2520 0xfff923456789abcd, 0xfff8000000000000, 2521 0xfff923456789abcd, 0xfff8000000000000, 2522 0xfff923456789abcd, 0xfff8000000000000, 2523 0xfff923456789abcd, 0xfff8000000000000, 2524 0xfff923456789abcd, 0xfff8000000000000, 2525 0xfff923456789abcd, 0xfff8000000000000, 2526 0xfff923456789abcd, 0xfff8000000000000, 2527 0xfff923456789abcd, 0xfff8000000000000, 2528 0xfff923456789abcd, 0xfff8000000000000, 2529 0xfff923456789abcd, 0xfff8000000000000, 2530 0xfff923456789abcd, 0xfff8000000000000, 2531 0xfff923456789abcd, 0xfff8000000000000, 2532 0xfff923456789abcd, 0xfff8000000000000, 2533 0xfff923456789abcd, 0xfff8000000000000, 2534 0xfff923456789abcd, 0xfff8000000000000, 2535 0xfff923456789abcd, 0xfff8000000000000, 2536 0xfff923456789abcd, 0xfff8000000000000, 2537 0xfff923456789abcd, 0xfff923456789abcd, 2538 0xfff923456789abcd, 0xfff923456789abcd, 2539 0xfff923456789abcd, 0xfff8000000000000, 2540 0xfff923456789abcd, 0xfff8000000000000, 2541 0xfff923456789abcd, 0xfff8000000000000, 2542 0xfff923456789abcd, 0xfff8000000000000, 2543 0xfff923456789abcd, 0xfff8000000000000, 2544 0xfff923456789abcd, 0xfff8000000000000, 2545 0xfff923456789abcd, 0xfff8000000000000, 2546 0xfff8000000000000, 0xfff923456789abcd, 2547 0xfff8000000000000, 0xfff923456789abcd, 2548 0xfff8000000000000, 0xfff923456789abcd, 2549 0xfff8000000000000, 0xfff923456789abcd, 2550 0xfff8000000000000, 0xfff923456789abcd, 2551 0xfff8000000000000, 0xfff923456789abcd, 2552 0xfff8000000000000, 0xfff923456789abcd, 2553 0xfff8000000000000, 0xfff923456789abcd, 2554 0xfff8000000000000, 0xfff923456789abcd, 2555 0xfff8000000000000, 0xfff923456789abcd, 2556 0xfff8000000000000, 0xfff923456789abcd, 2557 0xfff8000000000000, 0xfff923456789abcd, 2558 0xfff8000000000000, 0xfff923456789abcd, 2559 0xfff8000000000000, 0xfff923456789abcd, 2560 0xfff8000000000000, 0xfff923456789abcd, 2561 0xfff8000000000000, 0xfff923456789abcd, 2562 0xfff8000000000000, 0xfff923456789abcd, 2563 0xfff8000000000000, 0xfff923456789abcd, 2564 0xfff8000000000000, 0xfff923456789abcd, 2565 0xfff8000000000000, 0xfff923456789abcd, 2566 0xfff8000000000000, 0xfff923456789abcd, 2567 0xfff8000000000000, 0xfff923456789abcd, 2568 0xfff8000000000000, 0xfff923456789abcd, 2569 0xfff8000000000000, 0xfff923456789abcd, 2570 0xfff8000000000000, 0xfff923456789abcd, 2571 0xfff8000000000000, 0xfff923456789abcd, 2572 0xfff8000000000000, 0xfff923456789abcd, 2573 0xfff8000000000000, 0xfff923456789abcd, 2574 0xfff8000000000000, 0xfff923456789abcd, 2575 0x7ff923456789abcd, 0xfff923456789abcd, 2576 0x7ff923456789abcd, 0xfff923456789abcd, 2577 0xfff8000000000000, 0xfff923456789abcd, 2578 0xfff8000000000000, 0xfff923456789abcd, 2579 0xfff8000000000000, 0xfff923456789abcd, 2580 0xfff8000000000000, 0xfff923456789abcd, 2581 0xfff8000000000000, 0xfff923456789abcd, 2582 0xfff8000000000000, 0xfff923456789abcd, 2583 0xfff8000000000000, 0xfff923456789abcd, 2584 0xfff8000000000000, 0xfff923456789abcd, 2585 0xfff8000000000000, 0xfff923456789abcd, 2586 0xfff8000000000000, 0xfff923456789abcd, 2587 0xfff8000000000000, 0xfff923456789abcd, 2588 0xfff8000000000000, 0xfff923456789abcd, 2589 0xfff8000000000000, 0xfff923456789abcd, 2590 0xfff8000000000000, 0xfff923456789abcd, 2591 0xfff8000000000000, 0xfff923456789abcd, 2592 0xfff8000000000000, 0xfff923456789abcd, 2593 0xfff8000000000000, 0xfff923456789abcd, 2594 0xfff8000000000000, 0xfff923456789abcd, 2595 0xfff8000000000000, 0xfff923456789abcd, 2596 0xfff8000000000000, 0xfff923456789abcd, 2597 0xfff8000000000000, 0xfff923456789abcd, 2598 0xfff8000000000000, 0xfff923456789abcd, 2599 0xfff8000000000000, 0xfff923456789abcd, 2600 0xfff8000000000000, 0xfff923456789abcd, 2601 0xfff8000000000000, 0xfff923456789abcd, 2602 0xfff8000000000000, 0xfff923456789abcd, 2603 0xfff8000000000000, 0xfff923456789abcd, 2604 0xfff8000000000000, 0xfff923456789abcd, 2605 0xfff8000000000000, 0xfff923456789abcd, 2606 0xfff8000000000000, 0xfff923456789abcd, 2607 0xfff8000000000000, 0xfff923456789abcd, 2608 0xfff8000000000000, 0xfff923456789abcd, 2609 0xfff8000000000000, 0xfff923456789abcd, 2610 0xfff8000000000000, 0xfff923456789abcd, 2611 0xfff8000000000000, 0xfff923456789abcd, 2612 0xfff8000000000000, 0xfff923456789abcd, 2613 0xfff923456789abcd, 0xfff923456789abcd, 2614 0xfff923456789abcd, 0xfff923456789abcd, 2615 0xfff8000000000000, 0xfff923456789abcd, 2616 0xfff8000000000000, 0xfff923456789abcd, 2617 0xfff8000000000000, 0xfff923456789abcd, 2618 0xfff8000000000000, 0xfff923456789abcd, 2619 0xfff8000000000000, 0xfff923456789abcd, 2620 0xfff8000000000000, 0xfff923456789abcd, 2621 0xfff8000000000000, 0xfff923456789abcd, 2622 0xfff923456789abcd, 0x7ff0000000000000, 2623 0xfff923456789abcd, 0x7ff8000000000000, 2624 0xfff923456789abcd, 0x7ff8000000000000, 2625 0xfff923456789abcd, 0xfff0000000000000, 2626 0xfff923456789abcd, 0xfff0000000000000, 2627 0xfff923456789abcd, 0xfff0000000000000, 2628 0xfff923456789abcd, 0xfff0000000000000, 2629 0xfff923456789abcd, 0xfff0000000000000, 2630 0xfff923456789abcd, 0xfff0000000000000, 2631 0xfff923456789abcd, 0xfff0000000000000, 2632 0xfff923456789abcd, 0xfff0000000000000, 2633 0xfff923456789abcd, 0xfff0000000000000, 2634 0xfff923456789abcd, 0xfff0000000000000, 2635 0xfff923456789abcd, 0xfff0000000000000, 2636 0xfff923456789abcd, 0xfff0000000000000, 2637 0xfff923456789abcd, 0xfff0000000000000, 2638 0xfff923456789abcd, 0xfff0000000000000, 2639 0xfff923456789abcd, 0xfff0000000000000, 2640 0xfff923456789abcd, 0xfff0000000000000, 2641 0xfff923456789abcd, 0xfff0000000000000, 2642 0xfff923456789abcd, 0xfff0000000000000, 2643 0xfff923456789abcd, 0xfff0000000000000, 2644 0xfff923456789abcd, 0xfff0000000000000, 2645 0xfff923456789abcd, 0xfff0000000000000, 2646 0xfff923456789abcd, 0xfff0000000000000, 2647 0xfff923456789abcd, 0x7ff923456789abcd, 2648 0xfff923456789abcd, 0x7ff923456789abcd, 2649 0xfff923456789abcd, 0x7ff8000000000000, 2650 0xfff923456789abcd, 0x7ff8000000000000, 2651 0xfff923456789abcd, 0x7ff923456789abcd, 2652 0xfff923456789abcd, 0x7ff923456789abcd, 2653 0xfff923456789abcd, 0xfff0000000000000, 2654 0xfff923456789abcd, 0xfff0000000000000, 2655 0xfff923456789abcd, 0xfff0000000000000, 2656 0xfff923456789abcd, 0xfff0000000000000, 2657 0xfff923456789abcd, 0xfff0000000000000, 2658 0xfff923456789abcd, 0xfff0000000000000, 2659 0xfff923456789abcd, 0xfff0000000000000, 2660 0xfff923456789abcd, 0xfff0000000000000, 2661 0xfff923456789abcd, 0x7ff8000000000000, 2662 0xfff923456789abcd, 0x7ff8000000000000, 2663 0xfff923456789abcd, 0x7ff0000000000000, 2664 0xfff923456789abcd, 0x7ff0000000000000, 2665 0xfff923456789abcd, 0x7ff0000000000000, 2666 0xfff923456789abcd, 0x7ff0000000000000, 2667 0xfff923456789abcd, 0x7ff0000000000000, 2668 0xfff923456789abcd, 0x7ff0000000000000, 2669 0xfff923456789abcd, 0x7ff0000000000000, 2670 0xfff923456789abcd, 0x7ff0000000000000, 2671 0xfff923456789abcd, 0x7ff0000000000000, 2672 0xfff923456789abcd, 0x7ff0000000000000, 2673 0xfff923456789abcd, 0x7ff0000000000000, 2674 0xfff923456789abcd, 0x7ff0000000000000, 2675 0xfff923456789abcd, 0x7ff0000000000000, 2676 0xfff923456789abcd, 0x7ff0000000000000, 2677 0xfff923456789abcd, 0x7ff0000000000000, 2678 0xfff923456789abcd, 0x7ff0000000000000, 2679 0xfff923456789abcd, 0x7ff0000000000000, 2680 0xfff923456789abcd, 0x7ff0000000000000, 2681 0xfff923456789abcd, 0x7ff0000000000000, 2682 0xfff923456789abcd, 0x7ff0000000000000, 2683 0xfff923456789abcd, 0x7ff0000000000000, 2684 0xfff923456789abcd, 0x7ff0000000000000, 2685 0xfff923456789abcd, 0xfff923456789abcd, 2686 0xfff923456789abcd, 0xfff923456789abcd, 2687 0xfff923456789abcd, 0xfff8000000000000, 2688 0xfff923456789abcd, 0xfff8000000000000, 2689 0xfff923456789abcd, 0xfff923456789abcd, 2690 0xfff923456789abcd, 0xfff923456789abcd, 2691 0xfff923456789abcd, 0x7ff0000000000000, 2692 0xfff923456789abcd, 0x7ff0000000000000, 2693 0xfff923456789abcd, 0x7ff0000000000000, 2694 0xfff923456789abcd, 0x7ff0000000000000, 2695 0xfff923456789abcd, 0x7ff0000000000000, 2696 0xfff923456789abcd, 0x7ff0000000000000, 2697 0xfff923456789abcd, 0x7ff0000000000000, 2698 0x7ff0000000000000, 0x0000000000000000, 2699 0x7ff8000000000000, 0x8000000000000000, 2700 0x7ff8000000000000, 0x8000000000000000, 2701 0xfff0000000000000, 0x8000000000000000, 2702 0xfff0000000000000, 0x8000000000000000, 2703 0xfff0000000000000, 0x800091a2b3c4d5e6, 2704 0xfff0000000000000, 0x800091a2b3c4d5e6, 2705 0xfff0000000000000, 0x800091a2b3c4d5e6, 2706 0xfff0000000000000, 0x800091a2b3c4d5e6, 2707 0xfff0000000000000, 0x800091a2b3c4d5e7, 2708 0xfff0000000000000, 0x800091a2b3c4d5e7, 2709 0xfff0000000000000, 0x800123456789abcd, 2710 0xfff0000000000000, 0x800123456789abcd, 2711 0xfff0000000000000, 0x800123456789abcd, 2712 0xfff0000000000000, 0x800123456789abcd, 2713 0xfff0000000000000, 0x800123456789abcd, 2714 0xfff0000000000000, 0x800123456789abcd, 2715 0xfff0000000000000, 0x8001b4e81b4e81b4, 2716 0xfff0000000000000, 0x8001b4e81b4e81b4, 2717 0xfff0000000000000, 0x800b60b60b60b602, 2718 0xfff0000000000000, 0x800b60b60b60b602, 2719 0xfff0000000000000, 0xbfd23456789abccf, 2720 0xfff0000000000000, 0xbfd23456789abccf, 2721 0xfff0000000000000, 0xfff0000000000000, 2722 0xfff0000000000000, 0xfff0000000000000, 2723 0x7ff923456789abcd, 0x7ff923456789abcd, 2724 0x7ff923456789abcd, 0x7ff923456789abcd, 2725 0x7ff8000000000000, 0x7ff8000000000000, 2726 0x7ff8000000000000, 0x7ff8000000000000, 2727 0x7ff923456789abcd, 0x7ff923456789abcd, 2728 0x7ff923456789abcd, 0x7ff923456789abcd, 2729 0xfff0000000000000, 0xfff0000000000000, 2730 0xfff0000000000000, 0xfff0000000000000, 2731 0xfff0000000000000, 0x8000000000000000, 2732 0xfff0000000000000, 0x8000000000000000, 2733 0xfff0000000000000, 0x8000000000000000, 2734 0xfff0000000000000, 0x8000000000000000, 2735 0xfff0000000000000, 0x8000000000000000, 2736 0xfff0000000000000, 0x8000000000000000, 2737 0x7ff8000000000000, 0x0000000000000000, 2738 0x7ff8000000000000, 0x0000000000000000, 2739 0x7ff0000000000000, 0x0000000000000000, 2740 0x7ff0000000000000, 0x0000000000000000, 2741 0x7ff0000000000000, 0x000091a2b3c4d5e6, 2742 0x7ff0000000000000, 0x000091a2b3c4d5e6, 2743 0x7ff0000000000000, 0x000091a2b3c4d5e6, 2744 0x7ff0000000000000, 0x000091a2b3c4d5e6, 2745 0x7ff0000000000000, 0x000091a2b3c4d5e7, 2746 0x7ff0000000000000, 0x000091a2b3c4d5e7, 2747 0x7ff0000000000000, 0x000123456789abcd, 2748 0x7ff0000000000000, 0x000123456789abcd, 2749 0x7ff0000000000000, 0x000123456789abcd, 2750 0x7ff0000000000000, 0x000123456789abcd, 2751 0x7ff0000000000000, 0x000123456789abcd, 2752 0x7ff0000000000000, 0x000123456789abcd, 2753 0x7ff0000000000000, 0x0001b4e81b4e81b4, 2754 0x7ff0000000000000, 0x0001b4e81b4e81b4, 2755 0x7ff0000000000000, 0x000b60b60b60b602, 2756 0x7ff0000000000000, 0x000b60b60b60b602, 2757 0x7ff0000000000000, 0x3fd23456789abccf, 2758 0x7ff0000000000000, 0x3fd23456789abccf, 2759 0x7ff0000000000000, 0x7ff0000000000000, 2760 0x7ff0000000000000, 0x7ff0000000000000, 2761 0xfff923456789abcd, 0xfff923456789abcd, 2762 0xfff923456789abcd, 0xfff923456789abcd, 2763 0xfff8000000000000, 0xfff8000000000000, 2764 0xfff8000000000000, 0xfff8000000000000, 2765 0xfff923456789abcd, 0xfff923456789abcd, 2766 0xfff923456789abcd, 0xfff923456789abcd, 2767 0x7ff0000000000000, 0x7ff0000000000000, 2768 0x7ff0000000000000, 0x7ff0000000000000, 2769 0x7ff0000000000000, 0x0000000000000000, 2770 0x7ff0000000000000, 0x0000000000000000, 2771 0x7ff0000000000000, 0x0000000000000000, 2772 0x7ff0000000000000, 0x0000000000000000, 2773 0x7ff0000000000000, 0x0000000000000000, 2774 0x0000000000000000, 0x0000000000000000, 2775 0x8000000000000000, 0x8000000000000000, 2776 0x8000000000000000, 0x8000000000000000, 2777 0x8000000000000000, 0x8000000000000000, 2778 0x8000000000000000, 0x8000000000000000, 2779 0x800091a2b3c4d5e6, 0x8007ffffffffffff, 2780 0x800091a2b3c4d5e6, 0x8007ffffffffffff, 2781 0x800091a2b3c4d5e6, 0x8008000000000000, 2782 0x800091a2b3c4d5e6, 0x8008000000000000, 2783 0x800091a2b3c4d5e7, 0x8008000000000000, 2784 0x800091a2b3c4d5e7, 0x8008000000000000, 2785 0x800123456789abcd, 0x800fffffffffffff, 2786 0x800123456789abcd, 0x800fffffffffffff, 2787 0x800123456789abcd, 0x800fffffffffffff, 2788 0x800123456789abcd, 0x800fffffffffffff, 2789 0x800123456789abcd, 0x8010000000000000, 2790 0x800123456789abcd, 0x8010000000000000, 2791 0x8001b4e81b4e81b4, 0x8017fffffffffffe, 2792 0x8001b4e81b4e81b4, 0x8017fffffffffffe, 2793 0x800b60b60b60b602, 0x8043ffffffffffff, 2794 0x800b60b60b60b602, 0x8043ffffffffffff, 2795 0xbfd23456789abccf, 0xc00ffffffffffffd, 2796 0xbfd23456789abccf, 0xc00ffffffffffffd, 2797 0xfff0000000000000, 0xfff0000000000000, 2798 0xfff0000000000000, 0xfff0000000000000, 2799 0x7ff923456789abcd, 0x7ff923456789abcd, 2800 0x7ff923456789abcd, 0x7ff923456789abcd, 2801 0x7ff8000000000000, 0x7ff8000000000000, 2802 0x7ff8000000000000, 0x7ff8000000000000, 2803 0x7ff923456789abcd, 0x7ff923456789abcd, 2804 0x7ff923456789abcd, 0x7ff923456789abcd, 2805 0xfff0000000000000, 0xfff0000000000000, 2806 0xfff0000000000000, 0xfff0000000000000, 2807 0x8000000000000000, 0x8000000000000000, 2808 0x8000000000000000, 0x8000000000000000, 2809 0x8000000000000000, 0x8000000000000000, 2810 0x8000000000000000, 0x8000000000000000, 2811 0x8000000000000000, 0x8000000000000000, 2812 0x8000000000000000, 0x8000000000000000, 2813 0x0000000000000000, 0x0000000000000000, 2814 0x0000000000000000, 0x0000000000000000, 2815 0x0000000000000000, 0x0000000000000000, 2816 0x0000000000000000, 0x0000000000000000, 2817 0x000091a2b3c4d5e6, 0x0007ffffffffffff, 2818 0x000091a2b3c4d5e6, 0x0007ffffffffffff, 2819 0x000091a2b3c4d5e6, 0x0008000000000000, 2820 0x000091a2b3c4d5e6, 0x0008000000000000, 2821 0x000091a2b3c4d5e7, 0x0008000000000000, 2822 0x000091a2b3c4d5e7, 0x0008000000000000, 2823 0x000123456789abcd, 0x000fffffffffffff, 2824 0x000123456789abcd, 0x000fffffffffffff, 2825 0x000123456789abcd, 0x000fffffffffffff, 2826 0x000123456789abcd, 0x000fffffffffffff, 2827 0x000123456789abcd, 0x0010000000000000, 2828 0x000123456789abcd, 0x0010000000000000, 2829 0x0001b4e81b4e81b4, 0x0017fffffffffffe, 2830 0x0001b4e81b4e81b4, 0x0017fffffffffffe, 2831 0x000b60b60b60b602, 0x0043ffffffffffff, 2832 0x000b60b60b60b602, 0x0043ffffffffffff, 2833 0x3fd23456789abccf, 0x400ffffffffffffd, 2834 0x3fd23456789abccf, 0x400ffffffffffffd, 2835 0x7ff0000000000000, 0x7ff0000000000000, 2836 0x7ff0000000000000, 0x7ff0000000000000, 2837 0xfff923456789abcd, 0xfff923456789abcd, 2838 0xfff923456789abcd, 0xfff923456789abcd, 2839 0xfff8000000000000, 0xfff8000000000000, 2840 0xfff8000000000000, 0xfff8000000000000, 2841 0xfff923456789abcd, 0xfff923456789abcd, 2842 0xfff923456789abcd, 0xfff923456789abcd, 2843 0x7ff0000000000000, 0x7ff0000000000000, 2844 0x7ff0000000000000, 0x7ff0000000000000, 2845 0x0000000000000000, 0x0000000000000000, 2846 0x0000000000000000, 0x0000000000000000, 2847 0x0000000000000000, 0x0000000000000000, 2848 0x0000000000000000, 0x0000000000000000, 2849 0x0000000000000000, 0x0000000000000000, 2850 0x0000000000000000, 0x0000000000000000, 2851 0x8000000000000000, 0x8000000000000000, 2852 0x8000000000000000, 0x8000000000000000, 2853 0x8000000000000000, 0x8000000000000000, 2854 0x8000000000000000, 0x8000000000000000, 2855 0x8007ffffffffffff, 0x8000000000000000, 2856 0x8007ffffffffffff, 0x8000000000000000, 2857 0x8008000000000000, 0x8000000000000000, 2858 0x8008000000000000, 0x8000000000000000, 2859 0x8008000000000000, 0x8000000000000001, 2860 0x8008000000000000, 0x8000000000000001, 2861 0x800fffffffffffff, 0x8000000000000001, 2862 0x800fffffffffffff, 0x8000000000000001, 2863 0x800fffffffffffff, 0x8000000000000001, 2864 0x800fffffffffffff, 0x8000000000000001, 2865 0x8010000000000000, 0x8000000000000001, 2866 0x8010000000000000, 0x8000000000000001, 2867 0x8017fffffffffffe, 0x8000000000000002, 2868 0x8017fffffffffffe, 0x8000000000000002, 2869 0x8043ffffffffffff, 0x800000000000000a, 2870 0x8043ffffffffffff, 0x800000000000000a, 2871 0xc00ffffffffffffd, 0xbccfffffffffffff, 2872 0xc00ffffffffffffd, 0xbccfffffffffffff, 2873 0xfff0000000000000, 0xfff0000000000000, 2874 0xfff0000000000000, 0xfff0000000000000, 2875 0x7ff923456789abcd, 0x7ff923456789abcd, 2876 0x7ff923456789abcd, 0x7ff923456789abcd, 2877 0x7ff8000000000000, 0x7ff8000000000000, 2878 0x7ff8000000000000, 0x7ff8000000000000, 2879 0x7ff923456789abcd, 0x7ff923456789abcd, 2880 0x7ff923456789abcd, 0x7ff923456789abcd, 2881 0xfff0000000000000, 0xfff0000000000000, 2882 0xfff0000000000000, 0xfff0000000000000, 2883 0x8000000000000000, 0x8000000000000000, 2884 0x8000000000000000, 0x8000000000000000, 2885 0x8000000000000000, 0x8000000000000000, 2886 0x8000000000000000, 0x8000000000000000, 2887 0x8000000000000000, 0x8000000000000000, 2888 0x8000000000000000, 0x8000000000000000, 2889 0x0000000000000000, 0x0000000000000000, 2890 0x0000000000000000, 0x0000000000000000, 2891 0x0000000000000000, 0x0000000000000000, 2892 0x0000000000000000, 0x0000000000000000, 2893 0x0007ffffffffffff, 0x0000000000000000, 2894 0x0007ffffffffffff, 0x0000000000000000, 2895 0x0008000000000000, 0x0000000000000000, 2896 0x0008000000000000, 0x0000000000000000, 2897 0x0008000000000000, 0x0000000000000001, 2898 0x0008000000000000, 0x0000000000000001, 2899 0x000fffffffffffff, 0x0000000000000001, 2900 0x000fffffffffffff, 0x0000000000000001, 2901 0x000fffffffffffff, 0x0000000000000001, 2902 0x000fffffffffffff, 0x0000000000000001, 2903 0x0010000000000000, 0x0000000000000001, 2904 0x0010000000000000, 0x0000000000000001, 2905 0x0017fffffffffffe, 0x0000000000000002, 2906 0x0017fffffffffffe, 0x0000000000000002, 2907 0x0043ffffffffffff, 0x000000000000000a, 2908 0x0043ffffffffffff, 0x000000000000000a, 2909 0x400ffffffffffffd, 0x3ccfffffffffffff, 2910 0x400ffffffffffffd, 0x3ccfffffffffffff, 2911 0x7ff0000000000000, 0x7ff0000000000000, 2912 0x7ff0000000000000, 0x7ff0000000000000, 2913 0xfff923456789abcd, 0xfff923456789abcd, 2914 0xfff923456789abcd, 0xfff923456789abcd, 2915 0xfff8000000000000, 0xfff8000000000000, 2916 0xfff8000000000000, 0xfff8000000000000, 2917 0xfff923456789abcd, 0xfff923456789abcd, 2918 0xfff923456789abcd, 0xfff923456789abcd, 2919 0x7ff0000000000000, 0x7ff0000000000000, 2920 0x7ff0000000000000, 0x7ff0000000000000, 2921 0x0000000000000000, 0x0000000000000000, 2922 0x0000000000000000, 0x0000000000000000, 2923 0x0000000000000000, 0x0000000000000000, 2924 0x0000000000000000, 0x0000000000000000, 2925 0x0000000000000000, 0x0000000000000000, 2926 }; 2927 const unsigned kExpectedCount_NEON_fmul_2D_2D_D = 2888; 2928 2929 #endif // VIXL_SIM_FMUL_2D_2D_D_TRACE_AARCH64_H_ 2930