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