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