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_SUB_2D_TRACE_AARCH64_H_ 35 #define VIXL_SIM_SUB_2D_TRACE_AARCH64_H_ 36 37 const uint64_t kExpected_NEON_sub_2D[] = { 38 0x0000000000000000, 0x0000000000000000, 39 0x000000000000007d, 0xffffffffffffffff, 40 0x000000000000007c, 0xfffffffffffffffe, 41 0x000000000000007b, 0xffffffffffffffc0, 42 0x000000000000003d, 0xffffffffffffff83, 43 0x0000000000000000, 0xffffffffffffff82, 44 0xffffffffffffffff, 0xffffffffffffff81, 45 0xfffffffffffffffe, 0xffffffffffff8003, 46 0xffffffffffff8080, 0xffffffffffff8002, 47 0xffffffffffff807f, 0xffffffffffff8001, 48 0xffffffffffff807e, 0xffffffff80000003, 49 0xffffffff80000080, 0xffffffff80000002, 50 0xffffffff8000007f, 0xffffffff80000001, 51 0xffffffff8000007e, 0xcccccccccccccccd, 52 0xcccccccccccccd4a, 0xaaaaaaaaaaaaaaab, 53 0xaaaaaaaaaaaaab28, 0x8000000000000003, 54 0x8000000000000080, 0x8000000000000002, 55 0x800000000000007f, 0x8000000000000001, 56 0x800000000000007e, 0x8000000000000000, 57 0x800000000000007d, 0x7fffffffffffffff, 58 0x800000000000007c, 0x7ffffffffffffffe, 59 0x800000000000007b, 0x7ffffffffffffffd, 60 0x800000000000007a, 0x5555555555555556, 61 0x55555555555555d3, 0x3333333333333334, 62 0x33333333333333b1, 0x0000000080000000, 63 0x000000008000007d, 0x000000007fffffff, 64 0x000000008000007c, 0x000000007ffffffe, 65 0x000000008000007b, 0x000000007ffffffd, 66 0x000000008000007a, 0x0000000000008000, 67 0x000000000000807d, 0x0000000000007fff, 68 0x000000000000807c, 0x0000000000007ffe, 69 0x000000000000807b, 0x0000000000007ffd, 70 0x000000000000807a, 0x0000000000000080, 71 0x00000000000000fd, 0x000000000000007f, 72 0x00000000000000fc, 0x000000000000007e, 73 0x00000000000000fb, 0x000000000000007d, 74 0x00000000000000fa, 0x0000000000000040, 75 0x00000000000000bd, 0x0000000000000003, 76 0x0000000000000080, 0x0000000000000002, 77 0x000000000000007f, 0x0000000000000001, 78 0x0000000000000001, 0x0000000000000001, 79 0x0000000000000000, 0x0000000000000000, 80 0xffffffffffffffff, 0xffffffffffffffff, 81 0xfffffffffffffffe, 0xffffffffffffffc1, 82 0xffffffffffffffc0, 0xffffffffffffff84, 83 0xffffffffffffff83, 0xffffffffffffff83, 84 0xffffffffffffff82, 0xffffffffffffff82, 85 0xffffffffffffff81, 0xffffffffffff8004, 86 0xffffffffffff8003, 0xffffffffffff8003, 87 0xffffffffffff8002, 0xffffffffffff8002, 88 0xffffffffffff8001, 0xffffffff80000004, 89 0xffffffff80000003, 0xffffffff80000003, 90 0xffffffff80000002, 0xffffffff80000002, 91 0xffffffff80000001, 0xccccccccccccccce, 92 0xcccccccccccccccd, 0xaaaaaaaaaaaaaaac, 93 0xaaaaaaaaaaaaaaab, 0x8000000000000004, 94 0x8000000000000003, 0x8000000000000003, 95 0x8000000000000002, 0x8000000000000002, 96 0x8000000000000001, 0x8000000000000001, 97 0x8000000000000000, 0x8000000000000000, 98 0x7fffffffffffffff, 0x7fffffffffffffff, 99 0x7ffffffffffffffe, 0x7ffffffffffffffe, 100 0x7ffffffffffffffd, 0x5555555555555557, 101 0x5555555555555556, 0x3333333333333335, 102 0x3333333333333334, 0x0000000080000001, 103 0x0000000080000000, 0x0000000080000000, 104 0x000000007fffffff, 0x000000007fffffff, 105 0x000000007ffffffe, 0x000000007ffffffe, 106 0x000000007ffffffd, 0x0000000000008001, 107 0x0000000000008000, 0x0000000000008000, 108 0x0000000000007fff, 0x0000000000007fff, 109 0x0000000000007ffe, 0x0000000000007ffe, 110 0x0000000000007ffd, 0x0000000000000081, 111 0x0000000000000080, 0x0000000000000080, 112 0x000000000000007f, 0x000000000000007f, 113 0x000000000000007e, 0x000000000000007e, 114 0x000000000000007d, 0x0000000000000041, 115 0x0000000000000040, 0x0000000000000004, 116 0x0000000000000003, 0x0000000000000003, 117 0x0000000000000002, 0x0000000000000002, 118 0x0000000000000002, 0x0000000000000002, 119 0x0000000000000001, 0x0000000000000001, 120 0x0000000000000000, 0x0000000000000000, 121 0xffffffffffffffff, 0xffffffffffffffc2, 122 0xffffffffffffffc1, 0xffffffffffffff85, 123 0xffffffffffffff84, 0xffffffffffffff84, 124 0xffffffffffffff83, 0xffffffffffffff83, 125 0xffffffffffffff82, 0xffffffffffff8005, 126 0xffffffffffff8004, 0xffffffffffff8004, 127 0xffffffffffff8003, 0xffffffffffff8003, 128 0xffffffffffff8002, 0xffffffff80000005, 129 0xffffffff80000004, 0xffffffff80000004, 130 0xffffffff80000003, 0xffffffff80000003, 131 0xffffffff80000002, 0xcccccccccccccccf, 132 0xccccccccccccccce, 0xaaaaaaaaaaaaaaad, 133 0xaaaaaaaaaaaaaaac, 0x8000000000000005, 134 0x8000000000000004, 0x8000000000000004, 135 0x8000000000000003, 0x8000000000000003, 136 0x8000000000000002, 0x8000000000000002, 137 0x8000000000000001, 0x8000000000000001, 138 0x8000000000000000, 0x8000000000000000, 139 0x7fffffffffffffff, 0x7fffffffffffffff, 140 0x7ffffffffffffffe, 0x5555555555555558, 141 0x5555555555555557, 0x3333333333333336, 142 0x3333333333333335, 0x0000000080000002, 143 0x0000000080000001, 0x0000000080000001, 144 0x0000000080000000, 0x0000000080000000, 145 0x000000007fffffff, 0x000000007fffffff, 146 0x000000007ffffffe, 0x0000000000008002, 147 0x0000000000008001, 0x0000000000008001, 148 0x0000000000008000, 0x0000000000008000, 149 0x0000000000007fff, 0x0000000000007fff, 150 0x0000000000007ffe, 0x0000000000000082, 151 0x0000000000000081, 0x0000000000000081, 152 0x0000000000000080, 0x0000000000000080, 153 0x000000000000007f, 0x000000000000007f, 154 0x000000000000007e, 0x0000000000000042, 155 0x0000000000000041, 0x0000000000000005, 156 0x0000000000000004, 0x0000000000000004, 157 0x0000000000000003, 0x0000000000000003, 158 0x0000000000000003, 0x0000000000000040, 159 0x0000000000000002, 0x000000000000003f, 160 0x0000000000000001, 0x000000000000003e, 161 0x0000000000000000, 0x0000000000000000, 162 0xffffffffffffffc2, 0xffffffffffffffc3, 163 0xffffffffffffff85, 0xffffffffffffffc2, 164 0xffffffffffffff84, 0xffffffffffffffc1, 165 0xffffffffffffff83, 0xffffffffffff8043, 166 0xffffffffffff8005, 0xffffffffffff8042, 167 0xffffffffffff8004, 0xffffffffffff8041, 168 0xffffffffffff8003, 0xffffffff80000043, 169 0xffffffff80000005, 0xffffffff80000042, 170 0xffffffff80000004, 0xffffffff80000041, 171 0xffffffff80000003, 0xcccccccccccccd0d, 172 0xcccccccccccccccf, 0xaaaaaaaaaaaaaaeb, 173 0xaaaaaaaaaaaaaaad, 0x8000000000000043, 174 0x8000000000000005, 0x8000000000000042, 175 0x8000000000000004, 0x8000000000000041, 176 0x8000000000000003, 0x8000000000000040, 177 0x8000000000000002, 0x800000000000003f, 178 0x8000000000000001, 0x800000000000003e, 179 0x8000000000000000, 0x800000000000003d, 180 0x7fffffffffffffff, 0x5555555555555596, 181 0x5555555555555558, 0x3333333333333374, 182 0x3333333333333336, 0x0000000080000040, 183 0x0000000080000002, 0x000000008000003f, 184 0x0000000080000001, 0x000000008000003e, 185 0x0000000080000000, 0x000000008000003d, 186 0x000000007fffffff, 0x0000000000008040, 187 0x0000000000008002, 0x000000000000803f, 188 0x0000000000008001, 0x000000000000803e, 189 0x0000000000008000, 0x000000000000803d, 190 0x0000000000007fff, 0x00000000000000c0, 191 0x0000000000000082, 0x00000000000000bf, 192 0x0000000000000081, 0x00000000000000be, 193 0x0000000000000080, 0x00000000000000bd, 194 0x000000000000007f, 0x0000000000000080, 195 0x0000000000000042, 0x0000000000000043, 196 0x0000000000000005, 0x0000000000000042, 197 0x0000000000000004, 0x0000000000000041, 198 0x0000000000000041, 0x000000000000007d, 199 0x0000000000000040, 0x000000000000007c, 200 0x000000000000003f, 0x000000000000007b, 201 0x000000000000003e, 0x000000000000003d, 202 0x0000000000000000, 0x0000000000000000, 203 0xffffffffffffffc3, 0xffffffffffffffff, 204 0xffffffffffffffc2, 0xfffffffffffffffe, 205 0xffffffffffffffc1, 0xffffffffffff8080, 206 0xffffffffffff8043, 0xffffffffffff807f, 207 0xffffffffffff8042, 0xffffffffffff807e, 208 0xffffffffffff8041, 0xffffffff80000080, 209 0xffffffff80000043, 0xffffffff8000007f, 210 0xffffffff80000042, 0xffffffff8000007e, 211 0xffffffff80000041, 0xcccccccccccccd4a, 212 0xcccccccccccccd0d, 0xaaaaaaaaaaaaab28, 213 0xaaaaaaaaaaaaaaeb, 0x8000000000000080, 214 0x8000000000000043, 0x800000000000007f, 215 0x8000000000000042, 0x800000000000007e, 216 0x8000000000000041, 0x800000000000007d, 217 0x8000000000000040, 0x800000000000007c, 218 0x800000000000003f, 0x800000000000007b, 219 0x800000000000003e, 0x800000000000007a, 220 0x800000000000003d, 0x55555555555555d3, 221 0x5555555555555596, 0x33333333333333b1, 222 0x3333333333333374, 0x000000008000007d, 223 0x0000000080000040, 0x000000008000007c, 224 0x000000008000003f, 0x000000008000007b, 225 0x000000008000003e, 0x000000008000007a, 226 0x000000008000003d, 0x000000000000807d, 227 0x0000000000008040, 0x000000000000807c, 228 0x000000000000803f, 0x000000000000807b, 229 0x000000000000803e, 0x000000000000807a, 230 0x000000000000803d, 0x00000000000000fd, 231 0x00000000000000c0, 0x00000000000000fc, 232 0x00000000000000bf, 0x00000000000000fb, 233 0x00000000000000be, 0x00000000000000fa, 234 0x00000000000000bd, 0x00000000000000bd, 235 0x0000000000000080, 0x0000000000000080, 236 0x0000000000000043, 0x000000000000007f, 237 0x0000000000000042, 0x000000000000007e, 238 0x000000000000007e, 0x000000000000007e, 239 0x000000000000007d, 0x000000000000007d, 240 0x000000000000007c, 0x000000000000007c, 241 0x000000000000007b, 0x000000000000003e, 242 0x000000000000003d, 0x0000000000000001, 243 0x0000000000000000, 0x0000000000000000, 244 0xffffffffffffffff, 0xffffffffffffffff, 245 0xfffffffffffffffe, 0xffffffffffff8081, 246 0xffffffffffff8080, 0xffffffffffff8080, 247 0xffffffffffff807f, 0xffffffffffff807f, 248 0xffffffffffff807e, 0xffffffff80000081, 249 0xffffffff80000080, 0xffffffff80000080, 250 0xffffffff8000007f, 0xffffffff8000007f, 251 0xffffffff8000007e, 0xcccccccccccccd4b, 252 0xcccccccccccccd4a, 0xaaaaaaaaaaaaab29, 253 0xaaaaaaaaaaaaab28, 0x8000000000000081, 254 0x8000000000000080, 0x8000000000000080, 255 0x800000000000007f, 0x800000000000007f, 256 0x800000000000007e, 0x800000000000007e, 257 0x800000000000007d, 0x800000000000007d, 258 0x800000000000007c, 0x800000000000007c, 259 0x800000000000007b, 0x800000000000007b, 260 0x800000000000007a, 0x55555555555555d4, 261 0x55555555555555d3, 0x33333333333333b2, 262 0x33333333333333b1, 0x000000008000007e, 263 0x000000008000007d, 0x000000008000007d, 264 0x000000008000007c, 0x000000008000007c, 265 0x000000008000007b, 0x000000008000007b, 266 0x000000008000007a, 0x000000000000807e, 267 0x000000000000807d, 0x000000000000807d, 268 0x000000000000807c, 0x000000000000807c, 269 0x000000000000807b, 0x000000000000807b, 270 0x000000000000807a, 0x00000000000000fe, 271 0x00000000000000fd, 0x00000000000000fd, 272 0x00000000000000fc, 0x00000000000000fc, 273 0x00000000000000fb, 0x00000000000000fb, 274 0x00000000000000fa, 0x00000000000000be, 275 0x00000000000000bd, 0x0000000000000081, 276 0x0000000000000080, 0x0000000000000080, 277 0x000000000000007f, 0x000000000000007f, 278 0x000000000000007f, 0x000000000000007f, 279 0x000000000000007e, 0x000000000000007e, 280 0x000000000000007d, 0x000000000000007d, 281 0x000000000000007c, 0x000000000000003f, 282 0x000000000000003e, 0x0000000000000002, 283 0x0000000000000001, 0x0000000000000001, 284 0x0000000000000000, 0x0000000000000000, 285 0xffffffffffffffff, 0xffffffffffff8082, 286 0xffffffffffff8081, 0xffffffffffff8081, 287 0xffffffffffff8080, 0xffffffffffff8080, 288 0xffffffffffff807f, 0xffffffff80000082, 289 0xffffffff80000081, 0xffffffff80000081, 290 0xffffffff80000080, 0xffffffff80000080, 291 0xffffffff8000007f, 0xcccccccccccccd4c, 292 0xcccccccccccccd4b, 0xaaaaaaaaaaaaab2a, 293 0xaaaaaaaaaaaaab29, 0x8000000000000082, 294 0x8000000000000081, 0x8000000000000081, 295 0x8000000000000080, 0x8000000000000080, 296 0x800000000000007f, 0x800000000000007f, 297 0x800000000000007e, 0x800000000000007e, 298 0x800000000000007d, 0x800000000000007d, 299 0x800000000000007c, 0x800000000000007c, 300 0x800000000000007b, 0x55555555555555d5, 301 0x55555555555555d4, 0x33333333333333b3, 302 0x33333333333333b2, 0x000000008000007f, 303 0x000000008000007e, 0x000000008000007e, 304 0x000000008000007d, 0x000000008000007d, 305 0x000000008000007c, 0x000000008000007c, 306 0x000000008000007b, 0x000000000000807f, 307 0x000000000000807e, 0x000000000000807e, 308 0x000000000000807d, 0x000000000000807d, 309 0x000000000000807c, 0x000000000000807c, 310 0x000000000000807b, 0x00000000000000ff, 311 0x00000000000000fe, 0x00000000000000fe, 312 0x00000000000000fd, 0x00000000000000fd, 313 0x00000000000000fc, 0x00000000000000fc, 314 0x00000000000000fb, 0x00000000000000bf, 315 0x00000000000000be, 0x0000000000000082, 316 0x0000000000000081, 0x0000000000000081, 317 0x0000000000000080, 0x0000000000000080, 318 0x0000000000000080, 0x0000000000007ffd, 319 0x000000000000007f, 0x0000000000007ffc, 320 0x000000000000007e, 0x0000000000007ffb, 321 0x000000000000007d, 0x0000000000007fbd, 322 0x000000000000003f, 0x0000000000007f80, 323 0x0000000000000002, 0x0000000000007f7f, 324 0x0000000000000001, 0x0000000000007f7e, 325 0x0000000000000000, 0x0000000000000000, 326 0xffffffffffff8082, 0xffffffffffffffff, 327 0xffffffffffff8081, 0xfffffffffffffffe, 328 0xffffffffffff8080, 0xffffffff80008000, 329 0xffffffff80000082, 0xffffffff80007fff, 330 0xffffffff80000081, 0xffffffff80007ffe, 331 0xffffffff80000080, 0xcccccccccccd4cca, 332 0xcccccccccccccd4c, 0xaaaaaaaaaaab2aa8, 333 0xaaaaaaaaaaaaab2a, 0x8000000000008000, 334 0x8000000000000082, 0x8000000000007fff, 335 0x8000000000000081, 0x8000000000007ffe, 336 0x8000000000000080, 0x8000000000007ffd, 337 0x800000000000007f, 0x8000000000007ffc, 338 0x800000000000007e, 0x8000000000007ffb, 339 0x800000000000007d, 0x8000000000007ffa, 340 0x800000000000007c, 0x555555555555d553, 341 0x55555555555555d5, 0x333333333333b331, 342 0x33333333333333b3, 0x0000000080007ffd, 343 0x000000008000007f, 0x0000000080007ffc, 344 0x000000008000007e, 0x0000000080007ffb, 345 0x000000008000007d, 0x0000000080007ffa, 346 0x000000008000007c, 0x000000000000fffd, 347 0x000000000000807f, 0x000000000000fffc, 348 0x000000000000807e, 0x000000000000fffb, 349 0x000000000000807d, 0x000000000000fffa, 350 0x000000000000807c, 0x000000000000807d, 351 0x00000000000000ff, 0x000000000000807c, 352 0x00000000000000fe, 0x000000000000807b, 353 0x00000000000000fd, 0x000000000000807a, 354 0x00000000000000fc, 0x000000000000803d, 355 0x00000000000000bf, 0x0000000000008000, 356 0x0000000000000082, 0x0000000000007fff, 357 0x0000000000000081, 0x0000000000007ffe, 358 0x0000000000007ffe, 0x0000000000007ffe, 359 0x0000000000007ffd, 0x0000000000007ffd, 360 0x0000000000007ffc, 0x0000000000007ffc, 361 0x0000000000007ffb, 0x0000000000007fbe, 362 0x0000000000007fbd, 0x0000000000007f81, 363 0x0000000000007f80, 0x0000000000007f80, 364 0x0000000000007f7f, 0x0000000000007f7f, 365 0x0000000000007f7e, 0x0000000000000001, 366 0x0000000000000000, 0x0000000000000000, 367 0xffffffffffffffff, 0xffffffffffffffff, 368 0xfffffffffffffffe, 0xffffffff80008001, 369 0xffffffff80008000, 0xffffffff80008000, 370 0xffffffff80007fff, 0xffffffff80007fff, 371 0xffffffff80007ffe, 0xcccccccccccd4ccb, 372 0xcccccccccccd4cca, 0xaaaaaaaaaaab2aa9, 373 0xaaaaaaaaaaab2aa8, 0x8000000000008001, 374 0x8000000000008000, 0x8000000000008000, 375 0x8000000000007fff, 0x8000000000007fff, 376 0x8000000000007ffe, 0x8000000000007ffe, 377 0x8000000000007ffd, 0x8000000000007ffd, 378 0x8000000000007ffc, 0x8000000000007ffc, 379 0x8000000000007ffb, 0x8000000000007ffb, 380 0x8000000000007ffa, 0x555555555555d554, 381 0x555555555555d553, 0x333333333333b332, 382 0x333333333333b331, 0x0000000080007ffe, 383 0x0000000080007ffd, 0x0000000080007ffd, 384 0x0000000080007ffc, 0x0000000080007ffc, 385 0x0000000080007ffb, 0x0000000080007ffb, 386 0x0000000080007ffa, 0x000000000000fffe, 387 0x000000000000fffd, 0x000000000000fffd, 388 0x000000000000fffc, 0x000000000000fffc, 389 0x000000000000fffb, 0x000000000000fffb, 390 0x000000000000fffa, 0x000000000000807e, 391 0x000000000000807d, 0x000000000000807d, 392 0x000000000000807c, 0x000000000000807c, 393 0x000000000000807b, 0x000000000000807b, 394 0x000000000000807a, 0x000000000000803e, 395 0x000000000000803d, 0x0000000000008001, 396 0x0000000000008000, 0x0000000000008000, 397 0x0000000000007fff, 0x0000000000007fff, 398 0x0000000000007fff, 0x0000000000007fff, 399 0x0000000000007ffe, 0x0000000000007ffe, 400 0x0000000000007ffd, 0x0000000000007ffd, 401 0x0000000000007ffc, 0x0000000000007fbf, 402 0x0000000000007fbe, 0x0000000000007f82, 403 0x0000000000007f81, 0x0000000000007f81, 404 0x0000000000007f80, 0x0000000000007f80, 405 0x0000000000007f7f, 0x0000000000000002, 406 0x0000000000000001, 0x0000000000000001, 407 0x0000000000000000, 0x0000000000000000, 408 0xffffffffffffffff, 0xffffffff80008002, 409 0xffffffff80008001, 0xffffffff80008001, 410 0xffffffff80008000, 0xffffffff80008000, 411 0xffffffff80007fff, 0xcccccccccccd4ccc, 412 0xcccccccccccd4ccb, 0xaaaaaaaaaaab2aaa, 413 0xaaaaaaaaaaab2aa9, 0x8000000000008002, 414 0x8000000000008001, 0x8000000000008001, 415 0x8000000000008000, 0x8000000000008000, 416 0x8000000000007fff, 0x8000000000007fff, 417 0x8000000000007ffe, 0x8000000000007ffe, 418 0x8000000000007ffd, 0x8000000000007ffd, 419 0x8000000000007ffc, 0x8000000000007ffc, 420 0x8000000000007ffb, 0x555555555555d555, 421 0x555555555555d554, 0x333333333333b333, 422 0x333333333333b332, 0x0000000080007fff, 423 0x0000000080007ffe, 0x0000000080007ffe, 424 0x0000000080007ffd, 0x0000000080007ffd, 425 0x0000000080007ffc, 0x0000000080007ffc, 426 0x0000000080007ffb, 0x000000000000ffff, 427 0x000000000000fffe, 0x000000000000fffe, 428 0x000000000000fffd, 0x000000000000fffd, 429 0x000000000000fffc, 0x000000000000fffc, 430 0x000000000000fffb, 0x000000000000807f, 431 0x000000000000807e, 0x000000000000807e, 432 0x000000000000807d, 0x000000000000807d, 433 0x000000000000807c, 0x000000000000807c, 434 0x000000000000807b, 0x000000000000803f, 435 0x000000000000803e, 0x0000000000008002, 436 0x0000000000008001, 0x0000000000008001, 437 0x0000000000008000, 0x0000000000008000, 438 0x0000000000008000, 0x000000007ffffffd, 439 0x0000000000007fff, 0x000000007ffffffc, 440 0x0000000000007ffe, 0x000000007ffffffb, 441 0x0000000000007ffd, 0x000000007fffffbd, 442 0x0000000000007fbf, 0x000000007fffff80, 443 0x0000000000007f82, 0x000000007fffff7f, 444 0x0000000000007f81, 0x000000007fffff7e, 445 0x0000000000007f80, 0x000000007fff8000, 446 0x0000000000000002, 0x000000007fff7fff, 447 0x0000000000000001, 0x000000007fff7ffe, 448 0x0000000000000000, 0x0000000000000000, 449 0xffffffff80008002, 0xffffffffffffffff, 450 0xffffffff80008001, 0xfffffffffffffffe, 451 0xffffffff80008000, 0xcccccccd4cccccca, 452 0xcccccccccccd4ccc, 0xaaaaaaab2aaaaaa8, 453 0xaaaaaaaaaaab2aaa, 0x8000000080000000, 454 0x8000000000008002, 0x800000007fffffff, 455 0x8000000000008001, 0x800000007ffffffe, 456 0x8000000000008000, 0x800000007ffffffd, 457 0x8000000000007fff, 0x800000007ffffffc, 458 0x8000000000007ffe, 0x800000007ffffffb, 459 0x8000000000007ffd, 0x800000007ffffffa, 460 0x8000000000007ffc, 0x55555555d5555553, 461 0x555555555555d555, 0x33333333b3333331, 462 0x333333333333b333, 0x00000000fffffffd, 463 0x0000000080007fff, 0x00000000fffffffc, 464 0x0000000080007ffe, 0x00000000fffffffb, 465 0x0000000080007ffd, 0x00000000fffffffa, 466 0x0000000080007ffc, 0x0000000080007ffd, 467 0x000000000000ffff, 0x0000000080007ffc, 468 0x000000000000fffe, 0x0000000080007ffb, 469 0x000000000000fffd, 0x0000000080007ffa, 470 0x000000000000fffc, 0x000000008000007d, 471 0x000000000000807f, 0x000000008000007c, 472 0x000000000000807e, 0x000000008000007b, 473 0x000000000000807d, 0x000000008000007a, 474 0x000000000000807c, 0x000000008000003d, 475 0x000000000000803f, 0x0000000080000000, 476 0x0000000000008002, 0x000000007fffffff, 477 0x0000000000008001, 0x000000007ffffffe, 478 0x000000007ffffffe, 0x000000007ffffffe, 479 0x000000007ffffffd, 0x000000007ffffffd, 480 0x000000007ffffffc, 0x000000007ffffffc, 481 0x000000007ffffffb, 0x000000007fffffbe, 482 0x000000007fffffbd, 0x000000007fffff81, 483 0x000000007fffff80, 0x000000007fffff80, 484 0x000000007fffff7f, 0x000000007fffff7f, 485 0x000000007fffff7e, 0x000000007fff8001, 486 0x000000007fff8000, 0x000000007fff8000, 487 0x000000007fff7fff, 0x000000007fff7fff, 488 0x000000007fff7ffe, 0x0000000000000001, 489 0x0000000000000000, 0x0000000000000000, 490 0xffffffffffffffff, 0xffffffffffffffff, 491 0xfffffffffffffffe, 0xcccccccd4ccccccb, 492 0xcccccccd4cccccca, 0xaaaaaaab2aaaaaa9, 493 0xaaaaaaab2aaaaaa8, 0x8000000080000001, 494 0x8000000080000000, 0x8000000080000000, 495 0x800000007fffffff, 0x800000007fffffff, 496 0x800000007ffffffe, 0x800000007ffffffe, 497 0x800000007ffffffd, 0x800000007ffffffd, 498 0x800000007ffffffc, 0x800000007ffffffc, 499 0x800000007ffffffb, 0x800000007ffffffb, 500 0x800000007ffffffa, 0x55555555d5555554, 501 0x55555555d5555553, 0x33333333b3333332, 502 0x33333333b3333331, 0x00000000fffffffe, 503 0x00000000fffffffd, 0x00000000fffffffd, 504 0x00000000fffffffc, 0x00000000fffffffc, 505 0x00000000fffffffb, 0x00000000fffffffb, 506 0x00000000fffffffa, 0x0000000080007ffe, 507 0x0000000080007ffd, 0x0000000080007ffd, 508 0x0000000080007ffc, 0x0000000080007ffc, 509 0x0000000080007ffb, 0x0000000080007ffb, 510 0x0000000080007ffa, 0x000000008000007e, 511 0x000000008000007d, 0x000000008000007d, 512 0x000000008000007c, 0x000000008000007c, 513 0x000000008000007b, 0x000000008000007b, 514 0x000000008000007a, 0x000000008000003e, 515 0x000000008000003d, 0x0000000080000001, 516 0x0000000080000000, 0x0000000080000000, 517 0x000000007fffffff, 0x000000007fffffff, 518 0x000000007fffffff, 0x000000007fffffff, 519 0x000000007ffffffe, 0x000000007ffffffe, 520 0x000000007ffffffd, 0x000000007ffffffd, 521 0x000000007ffffffc, 0x000000007fffffbf, 522 0x000000007fffffbe, 0x000000007fffff82, 523 0x000000007fffff81, 0x000000007fffff81, 524 0x000000007fffff80, 0x000000007fffff80, 525 0x000000007fffff7f, 0x000000007fff8002, 526 0x000000007fff8001, 0x000000007fff8001, 527 0x000000007fff8000, 0x000000007fff8000, 528 0x000000007fff7fff, 0x0000000000000002, 529 0x0000000000000001, 0x0000000000000001, 530 0x0000000000000000, 0x0000000000000000, 531 0xffffffffffffffff, 0xcccccccd4ccccccc, 532 0xcccccccd4ccccccb, 0xaaaaaaab2aaaaaaa, 533 0xaaaaaaab2aaaaaa9, 0x8000000080000002, 534 0x8000000080000001, 0x8000000080000001, 535 0x8000000080000000, 0x8000000080000000, 536 0x800000007fffffff, 0x800000007fffffff, 537 0x800000007ffffffe, 0x800000007ffffffe, 538 0x800000007ffffffd, 0x800000007ffffffd, 539 0x800000007ffffffc, 0x800000007ffffffc, 540 0x800000007ffffffb, 0x55555555d5555555, 541 0x55555555d5555554, 0x33333333b3333333, 542 0x33333333b3333332, 0x00000000ffffffff, 543 0x00000000fffffffe, 0x00000000fffffffe, 544 0x00000000fffffffd, 0x00000000fffffffd, 545 0x00000000fffffffc, 0x00000000fffffffc, 546 0x00000000fffffffb, 0x0000000080007fff, 547 0x0000000080007ffe, 0x0000000080007ffe, 548 0x0000000080007ffd, 0x0000000080007ffd, 549 0x0000000080007ffc, 0x0000000080007ffc, 550 0x0000000080007ffb, 0x000000008000007f, 551 0x000000008000007e, 0x000000008000007e, 552 0x000000008000007d, 0x000000008000007d, 553 0x000000008000007c, 0x000000008000007c, 554 0x000000008000007b, 0x000000008000003f, 555 0x000000008000003e, 0x0000000080000002, 556 0x0000000080000001, 0x0000000080000001, 557 0x0000000080000000, 0x0000000080000000, 558 0x0000000080000000, 0x3333333333333333, 559 0x000000007fffffff, 0x3333333333333332, 560 0x000000007ffffffe, 0x3333333333333331, 561 0x000000007ffffffd, 0x33333333333332f3, 562 0x000000007fffffbf, 0x33333333333332b6, 563 0x000000007fffff82, 0x33333333333332b5, 564 0x000000007fffff81, 0x33333333333332b4, 565 0x000000007fffff80, 0x333333333332b336, 566 0x000000007fff8002, 0x333333333332b335, 567 0x000000007fff8001, 0x333333333332b334, 568 0x000000007fff8000, 0x33333332b3333336, 569 0x0000000000000002, 0x33333332b3333335, 570 0x0000000000000001, 0x33333332b3333334, 571 0x0000000000000000, 0x0000000000000000, 572 0xcccccccd4ccccccc, 0xddddddddddddddde, 573 0xaaaaaaab2aaaaaaa, 0xb333333333333336, 574 0x8000000080000002, 0xb333333333333335, 575 0x8000000080000001, 0xb333333333333334, 576 0x8000000080000000, 0xb333333333333333, 577 0x800000007fffffff, 0xb333333333333332, 578 0x800000007ffffffe, 0xb333333333333331, 579 0x800000007ffffffd, 0xb333333333333330, 580 0x800000007ffffffc, 0x8888888888888889, 581 0x55555555d5555555, 0x6666666666666667, 582 0x33333333b3333333, 0x33333333b3333333, 583 0x00000000ffffffff, 0x33333333b3333332, 584 0x00000000fffffffe, 0x33333333b3333331, 585 0x00000000fffffffd, 0x33333333b3333330, 586 0x00000000fffffffc, 0x333333333333b333, 587 0x0000000080007fff, 0x333333333333b332, 588 0x0000000080007ffe, 0x333333333333b331, 589 0x0000000080007ffd, 0x333333333333b330, 590 0x0000000080007ffc, 0x33333333333333b3, 591 0x000000008000007f, 0x33333333333333b2, 592 0x000000008000007e, 0x33333333333333b1, 593 0x000000008000007d, 0x33333333333333b0, 594 0x000000008000007c, 0x3333333333333373, 595 0x000000008000003f, 0x3333333333333336, 596 0x0000000080000002, 0x3333333333333335, 597 0x0000000080000001, 0x3333333333333334, 598 0x3333333333333334, 0x5555555555555555, 599 0x3333333333333333, 0x5555555555555554, 600 0x3333333333333332, 0x5555555555555553, 601 0x3333333333333331, 0x5555555555555515, 602 0x33333333333332f3, 0x55555555555554d8, 603 0x33333333333332b6, 0x55555555555554d7, 604 0x33333333333332b5, 0x55555555555554d6, 605 0x33333333333332b4, 0x555555555554d558, 606 0x333333333332b336, 0x555555555554d557, 607 0x333333333332b335, 0x555555555554d556, 608 0x333333333332b334, 0x55555554d5555558, 609 0x33333332b3333336, 0x55555554d5555557, 610 0x33333332b3333335, 0x55555554d5555556, 611 0x33333332b3333334, 0x2222222222222222, 612 0x0000000000000000, 0x0000000000000000, 613 0xddddddddddddddde, 0xd555555555555558, 614 0xb333333333333336, 0xd555555555555557, 615 0xb333333333333335, 0xd555555555555556, 616 0xb333333333333334, 0xd555555555555555, 617 0xb333333333333333, 0xd555555555555554, 618 0xb333333333333332, 0xd555555555555553, 619 0xb333333333333331, 0xd555555555555552, 620 0xb333333333333330, 0xaaaaaaaaaaaaaaab, 621 0x8888888888888889, 0x8888888888888889, 622 0x6666666666666667, 0x55555555d5555555, 623 0x33333333b3333333, 0x55555555d5555554, 624 0x33333333b3333332, 0x55555555d5555553, 625 0x33333333b3333331, 0x55555555d5555552, 626 0x33333333b3333330, 0x555555555555d555, 627 0x333333333333b333, 0x555555555555d554, 628 0x333333333333b332, 0x555555555555d553, 629 0x333333333333b331, 0x555555555555d552, 630 0x333333333333b330, 0x55555555555555d5, 631 0x33333333333333b3, 0x55555555555555d4, 632 0x33333333333333b2, 0x55555555555555d3, 633 0x33333333333333b1, 0x55555555555555d2, 634 0x33333333333333b0, 0x5555555555555595, 635 0x3333333333333373, 0x5555555555555558, 636 0x3333333333333336, 0x5555555555555557, 637 0x3333333333333335, 0x5555555555555556, 638 0x5555555555555556, 0x7ffffffffffffffd, 639 0x5555555555555555, 0x7ffffffffffffffc, 640 0x5555555555555554, 0x7ffffffffffffffb, 641 0x5555555555555553, 0x7fffffffffffffbd, 642 0x5555555555555515, 0x7fffffffffffff80, 643 0x55555555555554d8, 0x7fffffffffffff7f, 644 0x55555555555554d7, 0x7fffffffffffff7e, 645 0x55555555555554d6, 0x7fffffffffff8000, 646 0x555555555554d558, 0x7fffffffffff7fff, 647 0x555555555554d557, 0x7fffffffffff7ffe, 648 0x555555555554d556, 0x7fffffff80000000, 649 0x55555554d5555558, 0x7fffffff7fffffff, 650 0x55555554d5555557, 0x7fffffff7ffffffe, 651 0x55555554d5555556, 0x4cccccccccccccca, 652 0x2222222222222222, 0x2aaaaaaaaaaaaaa8, 653 0x0000000000000000, 0x0000000000000000, 654 0xd555555555555558, 0xffffffffffffffff, 655 0xd555555555555557, 0xfffffffffffffffe, 656 0xd555555555555556, 0xfffffffffffffffd, 657 0xd555555555555555, 0xfffffffffffffffc, 658 0xd555555555555554, 0xfffffffffffffffb, 659 0xd555555555555553, 0xfffffffffffffffa, 660 0xd555555555555552, 0xd555555555555553, 661 0xaaaaaaaaaaaaaaab, 0xb333333333333331, 662 0x8888888888888889, 0x800000007ffffffd, 663 0x55555555d5555555, 0x800000007ffffffc, 664 0x55555555d5555554, 0x800000007ffffffb, 665 0x55555555d5555553, 0x800000007ffffffa, 666 0x55555555d5555552, 0x8000000000007ffd, 667 0x555555555555d555, 0x8000000000007ffc, 668 0x555555555555d554, 0x8000000000007ffb, 669 0x555555555555d553, 0x8000000000007ffa, 670 0x555555555555d552, 0x800000000000007d, 671 0x55555555555555d5, 0x800000000000007c, 672 0x55555555555555d4, 0x800000000000007b, 673 0x55555555555555d3, 0x800000000000007a, 674 0x55555555555555d2, 0x800000000000003d, 675 0x5555555555555595, 0x8000000000000000, 676 0x5555555555555558, 0x7fffffffffffffff, 677 0x5555555555555557, 0x7ffffffffffffffe, 678 0x7ffffffffffffffe, 0x7ffffffffffffffe, 679 0x7ffffffffffffffd, 0x7ffffffffffffffd, 680 0x7ffffffffffffffc, 0x7ffffffffffffffc, 681 0x7ffffffffffffffb, 0x7fffffffffffffbe, 682 0x7fffffffffffffbd, 0x7fffffffffffff81, 683 0x7fffffffffffff80, 0x7fffffffffffff80, 684 0x7fffffffffffff7f, 0x7fffffffffffff7f, 685 0x7fffffffffffff7e, 0x7fffffffffff8001, 686 0x7fffffffffff8000, 0x7fffffffffff8000, 687 0x7fffffffffff7fff, 0x7fffffffffff7fff, 688 0x7fffffffffff7ffe, 0x7fffffff80000001, 689 0x7fffffff80000000, 0x7fffffff80000000, 690 0x7fffffff7fffffff, 0x7fffffff7fffffff, 691 0x7fffffff7ffffffe, 0x4ccccccccccccccb, 692 0x4cccccccccccccca, 0x2aaaaaaaaaaaaaa9, 693 0x2aaaaaaaaaaaaaa8, 0x0000000000000001, 694 0x0000000000000000, 0x0000000000000000, 695 0xffffffffffffffff, 0xffffffffffffffff, 696 0xfffffffffffffffe, 0xfffffffffffffffe, 697 0xfffffffffffffffd, 0xfffffffffffffffd, 698 0xfffffffffffffffc, 0xfffffffffffffffc, 699 0xfffffffffffffffb, 0xfffffffffffffffb, 700 0xfffffffffffffffa, 0xd555555555555554, 701 0xd555555555555553, 0xb333333333333332, 702 0xb333333333333331, 0x800000007ffffffe, 703 0x800000007ffffffd, 0x800000007ffffffd, 704 0x800000007ffffffc, 0x800000007ffffffc, 705 0x800000007ffffffb, 0x800000007ffffffb, 706 0x800000007ffffffa, 0x8000000000007ffe, 707 0x8000000000007ffd, 0x8000000000007ffd, 708 0x8000000000007ffc, 0x8000000000007ffc, 709 0x8000000000007ffb, 0x8000000000007ffb, 710 0x8000000000007ffa, 0x800000000000007e, 711 0x800000000000007d, 0x800000000000007d, 712 0x800000000000007c, 0x800000000000007c, 713 0x800000000000007b, 0x800000000000007b, 714 0x800000000000007a, 0x800000000000003e, 715 0x800000000000003d, 0x8000000000000001, 716 0x8000000000000000, 0x8000000000000000, 717 0x7fffffffffffffff, 0x7fffffffffffffff, 718 0x7fffffffffffffff, 0x7fffffffffffffff, 719 0x7ffffffffffffffe, 0x7ffffffffffffffe, 720 0x7ffffffffffffffd, 0x7ffffffffffffffd, 721 0x7ffffffffffffffc, 0x7fffffffffffffbf, 722 0x7fffffffffffffbe, 0x7fffffffffffff82, 723 0x7fffffffffffff81, 0x7fffffffffffff81, 724 0x7fffffffffffff80, 0x7fffffffffffff80, 725 0x7fffffffffffff7f, 0x7fffffffffff8002, 726 0x7fffffffffff8001, 0x7fffffffffff8001, 727 0x7fffffffffff8000, 0x7fffffffffff8000, 728 0x7fffffffffff7fff, 0x7fffffff80000002, 729 0x7fffffff80000001, 0x7fffffff80000001, 730 0x7fffffff80000000, 0x7fffffff80000000, 731 0x7fffffff7fffffff, 0x4ccccccccccccccc, 732 0x4ccccccccccccccb, 0x2aaaaaaaaaaaaaaa, 733 0x2aaaaaaaaaaaaaa9, 0x0000000000000002, 734 0x0000000000000001, 0x0000000000000001, 735 0x0000000000000000, 0x0000000000000000, 736 0xffffffffffffffff, 0xffffffffffffffff, 737 0xfffffffffffffffe, 0xfffffffffffffffe, 738 0xfffffffffffffffd, 0xfffffffffffffffd, 739 0xfffffffffffffffc, 0xfffffffffffffffc, 740 0xfffffffffffffffb, 0xd555555555555555, 741 0xd555555555555554, 0xb333333333333333, 742 0xb333333333333332, 0x800000007fffffff, 743 0x800000007ffffffe, 0x800000007ffffffe, 744 0x800000007ffffffd, 0x800000007ffffffd, 745 0x800000007ffffffc, 0x800000007ffffffc, 746 0x800000007ffffffb, 0x8000000000007fff, 747 0x8000000000007ffe, 0x8000000000007ffe, 748 0x8000000000007ffd, 0x8000000000007ffd, 749 0x8000000000007ffc, 0x8000000000007ffc, 750 0x8000000000007ffb, 0x800000000000007f, 751 0x800000000000007e, 0x800000000000007e, 752 0x800000000000007d, 0x800000000000007d, 753 0x800000000000007c, 0x800000000000007c, 754 0x800000000000007b, 0x800000000000003f, 755 0x800000000000003e, 0x8000000000000002, 756 0x8000000000000001, 0x8000000000000001, 757 0x8000000000000000, 0x8000000000000000, 758 0x8000000000000000, 0x8000000000000000, 759 0x7fffffffffffffff, 0x7fffffffffffffff, 760 0x7ffffffffffffffe, 0x7ffffffffffffffe, 761 0x7ffffffffffffffd, 0x7fffffffffffffc0, 762 0x7fffffffffffffbf, 0x7fffffffffffff83, 763 0x7fffffffffffff82, 0x7fffffffffffff82, 764 0x7fffffffffffff81, 0x7fffffffffffff81, 765 0x7fffffffffffff80, 0x7fffffffffff8003, 766 0x7fffffffffff8002, 0x7fffffffffff8002, 767 0x7fffffffffff8001, 0x7fffffffffff8001, 768 0x7fffffffffff8000, 0x7fffffff80000003, 769 0x7fffffff80000002, 0x7fffffff80000002, 770 0x7fffffff80000001, 0x7fffffff80000001, 771 0x7fffffff80000000, 0x4ccccccccccccccd, 772 0x4ccccccccccccccc, 0x2aaaaaaaaaaaaaab, 773 0x2aaaaaaaaaaaaaaa, 0x0000000000000003, 774 0x0000000000000002, 0x0000000000000002, 775 0x0000000000000001, 0x0000000000000001, 776 0x0000000000000000, 0x0000000000000000, 777 0xffffffffffffffff, 0xffffffffffffffff, 778 0xfffffffffffffffe, 0xfffffffffffffffe, 779 0xfffffffffffffffd, 0xfffffffffffffffd, 780 0xfffffffffffffffc, 0xd555555555555556, 781 0xd555555555555555, 0xb333333333333334, 782 0xb333333333333333, 0x8000000080000000, 783 0x800000007fffffff, 0x800000007fffffff, 784 0x800000007ffffffe, 0x800000007ffffffe, 785 0x800000007ffffffd, 0x800000007ffffffd, 786 0x800000007ffffffc, 0x8000000000008000, 787 0x8000000000007fff, 0x8000000000007fff, 788 0x8000000000007ffe, 0x8000000000007ffe, 789 0x8000000000007ffd, 0x8000000000007ffd, 790 0x8000000000007ffc, 0x8000000000000080, 791 0x800000000000007f, 0x800000000000007f, 792 0x800000000000007e, 0x800000000000007e, 793 0x800000000000007d, 0x800000000000007d, 794 0x800000000000007c, 0x8000000000000040, 795 0x800000000000003f, 0x8000000000000003, 796 0x8000000000000002, 0x8000000000000002, 797 0x8000000000000001, 0x8000000000000001, 798 0x8000000000000001, 0x8000000000000001, 799 0x8000000000000000, 0x8000000000000000, 800 0x7fffffffffffffff, 0x7fffffffffffffff, 801 0x7ffffffffffffffe, 0x7fffffffffffffc1, 802 0x7fffffffffffffc0, 0x7fffffffffffff84, 803 0x7fffffffffffff83, 0x7fffffffffffff83, 804 0x7fffffffffffff82, 0x7fffffffffffff82, 805 0x7fffffffffffff81, 0x7fffffffffff8004, 806 0x7fffffffffff8003, 0x7fffffffffff8003, 807 0x7fffffffffff8002, 0x7fffffffffff8002, 808 0x7fffffffffff8001, 0x7fffffff80000004, 809 0x7fffffff80000003, 0x7fffffff80000003, 810 0x7fffffff80000002, 0x7fffffff80000002, 811 0x7fffffff80000001, 0x4cccccccccccccce, 812 0x4ccccccccccccccd, 0x2aaaaaaaaaaaaaac, 813 0x2aaaaaaaaaaaaaab, 0x0000000000000004, 814 0x0000000000000003, 0x0000000000000003, 815 0x0000000000000002, 0x0000000000000002, 816 0x0000000000000001, 0x0000000000000001, 817 0x0000000000000000, 0x0000000000000000, 818 0xffffffffffffffff, 0xffffffffffffffff, 819 0xfffffffffffffffe, 0xfffffffffffffffe, 820 0xfffffffffffffffd, 0xd555555555555557, 821 0xd555555555555556, 0xb333333333333335, 822 0xb333333333333334, 0x8000000080000001, 823 0x8000000080000000, 0x8000000080000000, 824 0x800000007fffffff, 0x800000007fffffff, 825 0x800000007ffffffe, 0x800000007ffffffe, 826 0x800000007ffffffd, 0x8000000000008001, 827 0x8000000000008000, 0x8000000000008000, 828 0x8000000000007fff, 0x8000000000007fff, 829 0x8000000000007ffe, 0x8000000000007ffe, 830 0x8000000000007ffd, 0x8000000000000081, 831 0x8000000000000080, 0x8000000000000080, 832 0x800000000000007f, 0x800000000000007f, 833 0x800000000000007e, 0x800000000000007e, 834 0x800000000000007d, 0x8000000000000041, 835 0x8000000000000040, 0x8000000000000004, 836 0x8000000000000003, 0x8000000000000003, 837 0x8000000000000002, 0x8000000000000002, 838 0x8000000000000002, 0x8000000000000002, 839 0x8000000000000001, 0x8000000000000001, 840 0x8000000000000000, 0x8000000000000000, 841 0x7fffffffffffffff, 0x7fffffffffffffc2, 842 0x7fffffffffffffc1, 0x7fffffffffffff85, 843 0x7fffffffffffff84, 0x7fffffffffffff84, 844 0x7fffffffffffff83, 0x7fffffffffffff83, 845 0x7fffffffffffff82, 0x7fffffffffff8005, 846 0x7fffffffffff8004, 0x7fffffffffff8004, 847 0x7fffffffffff8003, 0x7fffffffffff8003, 848 0x7fffffffffff8002, 0x7fffffff80000005, 849 0x7fffffff80000004, 0x7fffffff80000004, 850 0x7fffffff80000003, 0x7fffffff80000003, 851 0x7fffffff80000002, 0x4ccccccccccccccf, 852 0x4cccccccccccccce, 0x2aaaaaaaaaaaaaad, 853 0x2aaaaaaaaaaaaaac, 0x0000000000000005, 854 0x0000000000000004, 0x0000000000000004, 855 0x0000000000000003, 0x0000000000000003, 856 0x0000000000000002, 0x0000000000000002, 857 0x0000000000000001, 0x0000000000000001, 858 0x0000000000000000, 0x0000000000000000, 859 0xffffffffffffffff, 0xffffffffffffffff, 860 0xfffffffffffffffe, 0xd555555555555558, 861 0xd555555555555557, 0xb333333333333336, 862 0xb333333333333335, 0x8000000080000002, 863 0x8000000080000001, 0x8000000080000001, 864 0x8000000080000000, 0x8000000080000000, 865 0x800000007fffffff, 0x800000007fffffff, 866 0x800000007ffffffe, 0x8000000000008002, 867 0x8000000000008001, 0x8000000000008001, 868 0x8000000000008000, 0x8000000000008000, 869 0x8000000000007fff, 0x8000000000007fff, 870 0x8000000000007ffe, 0x8000000000000082, 871 0x8000000000000081, 0x8000000000000081, 872 0x8000000000000080, 0x8000000000000080, 873 0x800000000000007f, 0x800000000000007f, 874 0x800000000000007e, 0x8000000000000042, 875 0x8000000000000041, 0x8000000000000005, 876 0x8000000000000004, 0x8000000000000004, 877 0x8000000000000003, 0x8000000000000003, 878 0x8000000000000003, 0x8000000000000003, 879 0x8000000000000002, 0x8000000000000002, 880 0x8000000000000001, 0x8000000000000001, 881 0x8000000000000000, 0x7fffffffffffffc3, 882 0x7fffffffffffffc2, 0x7fffffffffffff86, 883 0x7fffffffffffff85, 0x7fffffffffffff85, 884 0x7fffffffffffff84, 0x7fffffffffffff84, 885 0x7fffffffffffff83, 0x7fffffffffff8006, 886 0x7fffffffffff8005, 0x7fffffffffff8005, 887 0x7fffffffffff8004, 0x7fffffffffff8004, 888 0x7fffffffffff8003, 0x7fffffff80000006, 889 0x7fffffff80000005, 0x7fffffff80000005, 890 0x7fffffff80000004, 0x7fffffff80000004, 891 0x7fffffff80000003, 0x4cccccccccccccd0, 892 0x4ccccccccccccccf, 0x2aaaaaaaaaaaaaae, 893 0x2aaaaaaaaaaaaaad, 0x0000000000000006, 894 0x0000000000000005, 0x0000000000000005, 895 0x0000000000000004, 0x0000000000000004, 896 0x0000000000000003, 0x0000000000000003, 897 0x0000000000000002, 0x0000000000000002, 898 0x0000000000000001, 0x0000000000000001, 899 0x0000000000000000, 0x0000000000000000, 900 0xffffffffffffffff, 0xd555555555555559, 901 0xd555555555555558, 0xb333333333333337, 902 0xb333333333333336, 0x8000000080000003, 903 0x8000000080000002, 0x8000000080000002, 904 0x8000000080000001, 0x8000000080000001, 905 0x8000000080000000, 0x8000000080000000, 906 0x800000007fffffff, 0x8000000000008003, 907 0x8000000000008002, 0x8000000000008002, 908 0x8000000000008001, 0x8000000000008001, 909 0x8000000000008000, 0x8000000000008000, 910 0x8000000000007fff, 0x8000000000000083, 911 0x8000000000000082, 0x8000000000000082, 912 0x8000000000000081, 0x8000000000000081, 913 0x8000000000000080, 0x8000000000000080, 914 0x800000000000007f, 0x8000000000000043, 915 0x8000000000000042, 0x8000000000000006, 916 0x8000000000000005, 0x8000000000000005, 917 0x8000000000000004, 0x8000000000000004, 918 0x8000000000000004, 0xaaaaaaaaaaaaaaaa, 919 0x8000000000000003, 0xaaaaaaaaaaaaaaa9, 920 0x8000000000000002, 0xaaaaaaaaaaaaaaa8, 921 0x8000000000000001, 0xaaaaaaaaaaaaaa6a, 922 0x7fffffffffffffc3, 0xaaaaaaaaaaaaaa2d, 923 0x7fffffffffffff86, 0xaaaaaaaaaaaaaa2c, 924 0x7fffffffffffff85, 0xaaaaaaaaaaaaaa2b, 925 0x7fffffffffffff84, 0xaaaaaaaaaaaa2aad, 926 0x7fffffffffff8006, 0xaaaaaaaaaaaa2aac, 927 0x7fffffffffff8005, 0xaaaaaaaaaaaa2aab, 928 0x7fffffffffff8004, 0xaaaaaaaa2aaaaaad, 929 0x7fffffff80000006, 0xaaaaaaaa2aaaaaac, 930 0x7fffffff80000005, 0xaaaaaaaa2aaaaaab, 931 0x7fffffff80000004, 0x7777777777777777, 932 0x4cccccccccccccd0, 0x5555555555555555, 933 0x2aaaaaaaaaaaaaae, 0x2aaaaaaaaaaaaaad, 934 0x0000000000000006, 0x2aaaaaaaaaaaaaac, 935 0x0000000000000005, 0x2aaaaaaaaaaaaaab, 936 0x0000000000000004, 0x2aaaaaaaaaaaaaaa, 937 0x0000000000000003, 0x2aaaaaaaaaaaaaa9, 938 0x0000000000000002, 0x2aaaaaaaaaaaaaa8, 939 0x0000000000000001, 0x2aaaaaaaaaaaaaa7, 940 0x0000000000000000, 0x0000000000000000, 941 0xd555555555555559, 0xddddddddddddddde, 942 0xb333333333333337, 0xaaaaaaab2aaaaaaa, 943 0x8000000080000003, 0xaaaaaaab2aaaaaa9, 944 0x8000000080000002, 0xaaaaaaab2aaaaaa8, 945 0x8000000080000001, 0xaaaaaaab2aaaaaa7, 946 0x8000000080000000, 0xaaaaaaaaaaab2aaa, 947 0x8000000000008003, 0xaaaaaaaaaaab2aa9, 948 0x8000000000008002, 0xaaaaaaaaaaab2aa8, 949 0x8000000000008001, 0xaaaaaaaaaaab2aa7, 950 0x8000000000008000, 0xaaaaaaaaaaaaab2a, 951 0x8000000000000083, 0xaaaaaaaaaaaaab29, 952 0x8000000000000082, 0xaaaaaaaaaaaaab28, 953 0x8000000000000081, 0xaaaaaaaaaaaaab27, 954 0x8000000000000080, 0xaaaaaaaaaaaaaaea, 955 0x8000000000000043, 0xaaaaaaaaaaaaaaad, 956 0x8000000000000006, 0xaaaaaaaaaaaaaaac, 957 0x8000000000000005, 0xaaaaaaaaaaaaaaab, 958 0xaaaaaaaaaaaaaaab, 0xcccccccccccccccc, 959 0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccb, 960 0xaaaaaaaaaaaaaaa9, 0xccccccccccccccca, 961 0xaaaaaaaaaaaaaaa8, 0xcccccccccccccc8c, 962 0xaaaaaaaaaaaaaa6a, 0xcccccccccccccc4f, 963 0xaaaaaaaaaaaaaa2d, 0xcccccccccccccc4e, 964 0xaaaaaaaaaaaaaa2c, 0xcccccccccccccc4d, 965 0xaaaaaaaaaaaaaa2b, 0xcccccccccccc4ccf, 966 0xaaaaaaaaaaaa2aad, 0xcccccccccccc4cce, 967 0xaaaaaaaaaaaa2aac, 0xcccccccccccc4ccd, 968 0xaaaaaaaaaaaa2aab, 0xcccccccc4ccccccf, 969 0xaaaaaaaa2aaaaaad, 0xcccccccc4cccccce, 970 0xaaaaaaaa2aaaaaac, 0xcccccccc4ccccccd, 971 0xaaaaaaaa2aaaaaab, 0x9999999999999999, 972 0x7777777777777777, 0x7777777777777777, 973 0x5555555555555555, 0x4ccccccccccccccf, 974 0x2aaaaaaaaaaaaaad, 0x4cccccccccccccce, 975 0x2aaaaaaaaaaaaaac, 0x4ccccccccccccccd, 976 0x2aaaaaaaaaaaaaab, 0x4ccccccccccccccc, 977 0x2aaaaaaaaaaaaaaa, 0x4ccccccccccccccb, 978 0x2aaaaaaaaaaaaaa9, 0x4cccccccccccccca, 979 0x2aaaaaaaaaaaaaa8, 0x4cccccccccccccc9, 980 0x2aaaaaaaaaaaaaa7, 0x2222222222222222, 981 0x0000000000000000, 0x0000000000000000, 982 0xddddddddddddddde, 0xcccccccd4ccccccc, 983 0xaaaaaaab2aaaaaaa, 0xcccccccd4ccccccb, 984 0xaaaaaaab2aaaaaa9, 0xcccccccd4cccccca, 985 0xaaaaaaab2aaaaaa8, 0xcccccccd4cccccc9, 986 0xaaaaaaab2aaaaaa7, 0xcccccccccccd4ccc, 987 0xaaaaaaaaaaab2aaa, 0xcccccccccccd4ccb, 988 0xaaaaaaaaaaab2aa9, 0xcccccccccccd4cca, 989 0xaaaaaaaaaaab2aa8, 0xcccccccccccd4cc9, 990 0xaaaaaaaaaaab2aa7, 0xcccccccccccccd4c, 991 0xaaaaaaaaaaaaab2a, 0xcccccccccccccd4b, 992 0xaaaaaaaaaaaaab29, 0xcccccccccccccd4a, 993 0xaaaaaaaaaaaaab28, 0xcccccccccccccd49, 994 0xaaaaaaaaaaaaab27, 0xcccccccccccccd0c, 995 0xaaaaaaaaaaaaaaea, 0xcccccccccccccccf, 996 0xaaaaaaaaaaaaaaad, 0xccccccccccccccce, 997 0xaaaaaaaaaaaaaaac, 0xcccccccccccccccd, 998 0xcccccccccccccccd, 0xffffffff80000000, 999 0xcccccccccccccccc, 0xffffffff7fffffff, 1000 0xcccccccccccccccb, 0xffffffff7ffffffe, 1001 0xccccccccccccccca, 0xffffffff7fffffc0, 1002 0xcccccccccccccc8c, 0xffffffff7fffff83, 1003 0xcccccccccccccc4f, 0xffffffff7fffff82, 1004 0xcccccccccccccc4e, 0xffffffff7fffff81, 1005 0xcccccccccccccc4d, 0xffffffff7fff8003, 1006 0xcccccccccccc4ccf, 0xffffffff7fff8002, 1007 0xcccccccccccc4cce, 0xffffffff7fff8001, 1008 0xcccccccccccc4ccd, 0xffffffff00000003, 1009 0xcccccccc4ccccccf, 0xffffffff00000002, 1010 0xcccccccc4cccccce, 0xffffffff00000001, 1011 0xcccccccc4ccccccd, 0xcccccccc4ccccccd, 1012 0x9999999999999999, 0xaaaaaaaa2aaaaaab, 1013 0x7777777777777777, 0x7fffffff80000003, 1014 0x4ccccccccccccccf, 0x7fffffff80000002, 1015 0x4cccccccccccccce, 0x7fffffff80000001, 1016 0x4ccccccccccccccd, 0x7fffffff80000000, 1017 0x4ccccccccccccccc, 0x7fffffff7fffffff, 1018 0x4ccccccccccccccb, 0x7fffffff7ffffffe, 1019 0x4cccccccccccccca, 0x7fffffff7ffffffd, 1020 0x4cccccccccccccc9, 0x55555554d5555556, 1021 0x2222222222222222, 0x33333332b3333334, 1022 0x0000000000000000, 0x0000000000000000, 1023 0xcccccccd4ccccccc, 0xffffffffffffffff, 1024 0xcccccccd4ccccccb, 0xfffffffffffffffe, 1025 0xcccccccd4cccccca, 0xfffffffffffffffd, 1026 0xcccccccd4cccccc9, 0xffffffff80008000, 1027 0xcccccccccccd4ccc, 0xffffffff80007fff, 1028 0xcccccccccccd4ccb, 0xffffffff80007ffe, 1029 0xcccccccccccd4cca, 0xffffffff80007ffd, 1030 0xcccccccccccd4cc9, 0xffffffff80000080, 1031 0xcccccccccccccd4c, 0xffffffff8000007f, 1032 0xcccccccccccccd4b, 0xffffffff8000007e, 1033 0xcccccccccccccd4a, 0xffffffff8000007d, 1034 0xcccccccccccccd49, 0xffffffff80000040, 1035 0xcccccccccccccd0c, 0xffffffff80000003, 1036 0xcccccccccccccccf, 0xffffffff80000002, 1037 0xccccccccccccccce, 0xffffffff80000001, 1038 0xffffffff80000001, 0xffffffff80000001, 1039 0xffffffff80000000, 0xffffffff80000000, 1040 0xffffffff7fffffff, 0xffffffff7fffffff, 1041 0xffffffff7ffffffe, 0xffffffff7fffffc1, 1042 0xffffffff7fffffc0, 0xffffffff7fffff84, 1043 0xffffffff7fffff83, 0xffffffff7fffff83, 1044 0xffffffff7fffff82, 0xffffffff7fffff82, 1045 0xffffffff7fffff81, 0xffffffff7fff8004, 1046 0xffffffff7fff8003, 0xffffffff7fff8003, 1047 0xffffffff7fff8002, 0xffffffff7fff8002, 1048 0xffffffff7fff8001, 0xffffffff00000004, 1049 0xffffffff00000003, 0xffffffff00000003, 1050 0xffffffff00000002, 0xffffffff00000002, 1051 0xffffffff00000001, 0xcccccccc4cccccce, 1052 0xcccccccc4ccccccd, 0xaaaaaaaa2aaaaaac, 1053 0xaaaaaaaa2aaaaaab, 0x7fffffff80000004, 1054 0x7fffffff80000003, 0x7fffffff80000003, 1055 0x7fffffff80000002, 0x7fffffff80000002, 1056 0x7fffffff80000001, 0x7fffffff80000001, 1057 0x7fffffff80000000, 0x7fffffff80000000, 1058 0x7fffffff7fffffff, 0x7fffffff7fffffff, 1059 0x7fffffff7ffffffe, 0x7fffffff7ffffffe, 1060 0x7fffffff7ffffffd, 0x55555554d5555557, 1061 0x55555554d5555556, 0x33333332b3333335, 1062 0x33333332b3333334, 0x0000000000000001, 1063 0x0000000000000000, 0x0000000000000000, 1064 0xffffffffffffffff, 0xffffffffffffffff, 1065 0xfffffffffffffffe, 0xfffffffffffffffe, 1066 0xfffffffffffffffd, 0xffffffff80008001, 1067 0xffffffff80008000, 0xffffffff80008000, 1068 0xffffffff80007fff, 0xffffffff80007fff, 1069 0xffffffff80007ffe, 0xffffffff80007ffe, 1070 0xffffffff80007ffd, 0xffffffff80000081, 1071 0xffffffff80000080, 0xffffffff80000080, 1072 0xffffffff8000007f, 0xffffffff8000007f, 1073 0xffffffff8000007e, 0xffffffff8000007e, 1074 0xffffffff8000007d, 0xffffffff80000041, 1075 0xffffffff80000040, 0xffffffff80000004, 1076 0xffffffff80000003, 0xffffffff80000003, 1077 0xffffffff80000002, 0xffffffff80000002, 1078 0xffffffff80000002, 0xffffffff80000002, 1079 0xffffffff80000001, 0xffffffff80000001, 1080 0xffffffff80000000, 0xffffffff80000000, 1081 0xffffffff7fffffff, 0xffffffff7fffffc2, 1082 0xffffffff7fffffc1, 0xffffffff7fffff85, 1083 0xffffffff7fffff84, 0xffffffff7fffff84, 1084 0xffffffff7fffff83, 0xffffffff7fffff83, 1085 0xffffffff7fffff82, 0xffffffff7fff8005, 1086 0xffffffff7fff8004, 0xffffffff7fff8004, 1087 0xffffffff7fff8003, 0xffffffff7fff8003, 1088 0xffffffff7fff8002, 0xffffffff00000005, 1089 0xffffffff00000004, 0xffffffff00000004, 1090 0xffffffff00000003, 0xffffffff00000003, 1091 0xffffffff00000002, 0xcccccccc4ccccccf, 1092 0xcccccccc4cccccce, 0xaaaaaaaa2aaaaaad, 1093 0xaaaaaaaa2aaaaaac, 0x7fffffff80000005, 1094 0x7fffffff80000004, 0x7fffffff80000004, 1095 0x7fffffff80000003, 0x7fffffff80000003, 1096 0x7fffffff80000002, 0x7fffffff80000002, 1097 0x7fffffff80000001, 0x7fffffff80000001, 1098 0x7fffffff80000000, 0x7fffffff80000000, 1099 0x7fffffff7fffffff, 0x7fffffff7fffffff, 1100 0x7fffffff7ffffffe, 0x55555554d5555558, 1101 0x55555554d5555557, 0x33333332b3333336, 1102 0x33333332b3333335, 0x0000000000000002, 1103 0x0000000000000001, 0x0000000000000001, 1104 0x0000000000000000, 0x0000000000000000, 1105 0xffffffffffffffff, 0xffffffffffffffff, 1106 0xfffffffffffffffe, 0xffffffff80008002, 1107 0xffffffff80008001, 0xffffffff80008001, 1108 0xffffffff80008000, 0xffffffff80008000, 1109 0xffffffff80007fff, 0xffffffff80007fff, 1110 0xffffffff80007ffe, 0xffffffff80000082, 1111 0xffffffff80000081, 0xffffffff80000081, 1112 0xffffffff80000080, 0xffffffff80000080, 1113 0xffffffff8000007f, 0xffffffff8000007f, 1114 0xffffffff8000007e, 0xffffffff80000042, 1115 0xffffffff80000041, 0xffffffff80000005, 1116 0xffffffff80000004, 0xffffffff80000004, 1117 0xffffffff80000003, 0xffffffff80000003, 1118 0xffffffff80000003, 0xffffffff80000003, 1119 0xffffffff80000002, 0xffffffff80000002, 1120 0xffffffff80000001, 0xffffffff80000001, 1121 0xffffffff80000000, 0xffffffff7fffffc3, 1122 0xffffffff7fffffc2, 0xffffffff7fffff86, 1123 0xffffffff7fffff85, 0xffffffff7fffff85, 1124 0xffffffff7fffff84, 0xffffffff7fffff84, 1125 0xffffffff7fffff83, 0xffffffff7fff8006, 1126 0xffffffff7fff8005, 0xffffffff7fff8005, 1127 0xffffffff7fff8004, 0xffffffff7fff8004, 1128 0xffffffff7fff8003, 0xffffffff00000006, 1129 0xffffffff00000005, 0xffffffff00000005, 1130 0xffffffff00000004, 0xffffffff00000004, 1131 0xffffffff00000003, 0xcccccccc4cccccd0, 1132 0xcccccccc4ccccccf, 0xaaaaaaaa2aaaaaae, 1133 0xaaaaaaaa2aaaaaad, 0x7fffffff80000006, 1134 0x7fffffff80000005, 0x7fffffff80000005, 1135 0x7fffffff80000004, 0x7fffffff80000004, 1136 0x7fffffff80000003, 0x7fffffff80000003, 1137 0x7fffffff80000002, 0x7fffffff80000002, 1138 0x7fffffff80000001, 0x7fffffff80000001, 1139 0x7fffffff80000000, 0x7fffffff80000000, 1140 0x7fffffff7fffffff, 0x55555554d5555559, 1141 0x55555554d5555558, 0x33333332b3333337, 1142 0x33333332b3333336, 0x0000000000000003, 1143 0x0000000000000002, 0x0000000000000002, 1144 0x0000000000000001, 0x0000000000000001, 1145 0x0000000000000000, 0x0000000000000000, 1146 0xffffffffffffffff, 0xffffffff80008003, 1147 0xffffffff80008002, 0xffffffff80008002, 1148 0xffffffff80008001, 0xffffffff80008001, 1149 0xffffffff80008000, 0xffffffff80008000, 1150 0xffffffff80007fff, 0xffffffff80000083, 1151 0xffffffff80000082, 0xffffffff80000082, 1152 0xffffffff80000081, 0xffffffff80000081, 1153 0xffffffff80000080, 0xffffffff80000080, 1154 0xffffffff8000007f, 0xffffffff80000043, 1155 0xffffffff80000042, 0xffffffff80000006, 1156 0xffffffff80000005, 0xffffffff80000005, 1157 0xffffffff80000004, 0xffffffff80000004, 1158 0xffffffff80000004, 0xffffffffffff8000, 1159 0xffffffff80000003, 0xffffffffffff7fff, 1160 0xffffffff80000002, 0xffffffffffff7ffe, 1161 0xffffffff80000001, 0xffffffffffff7fc0, 1162 0xffffffff7fffffc3, 0xffffffffffff7f83, 1163 0xffffffff7fffff86, 0xffffffffffff7f82, 1164 0xffffffff7fffff85, 0xffffffffffff7f81, 1165 0xffffffff7fffff84, 0xffffffffffff0003, 1166 0xffffffff7fff8006, 0xffffffffffff0002, 1167 0xffffffff7fff8005, 0xffffffffffff0001, 1168 0xffffffff7fff8004, 0xffffffff7fff8003, 1169 0xffffffff00000006, 0xffffffff7fff8002, 1170 0xffffffff00000005, 0xffffffff7fff8001, 1171 0xffffffff00000004, 0xcccccccccccc4ccd, 1172 0xcccccccc4cccccd0, 0xaaaaaaaaaaaa2aab, 1173 0xaaaaaaaa2aaaaaae, 0x7fffffffffff8003, 1174 0x7fffffff80000006, 0x7fffffffffff8002, 1175 0x7fffffff80000005, 0x7fffffffffff8001, 1176 0x7fffffff80000004, 0x7fffffffffff8000, 1177 0x7fffffff80000003, 0x7fffffffffff7fff, 1178 0x7fffffff80000002, 0x7fffffffffff7ffe, 1179 0x7fffffff80000001, 0x7fffffffffff7ffd, 1180 0x7fffffff80000000, 0x555555555554d556, 1181 0x55555554d5555559, 0x333333333332b334, 1182 0x33333332b3333337, 0x000000007fff8000, 1183 0x0000000000000003, 0x000000007fff7fff, 1184 0x0000000000000002, 0x000000007fff7ffe, 1185 0x0000000000000001, 0x000000007fff7ffd, 1186 0x0000000000000000, 0x0000000000000000, 1187 0xffffffff80008003, 0xffffffffffffffff, 1188 0xffffffff80008002, 0xfffffffffffffffe, 1189 0xffffffff80008001, 0xfffffffffffffffd, 1190 0xffffffff80008000, 0xffffffffffff8080, 1191 0xffffffff80000083, 0xffffffffffff807f, 1192 0xffffffff80000082, 0xffffffffffff807e, 1193 0xffffffff80000081, 0xffffffffffff807d, 1194 0xffffffff80000080, 0xffffffffffff8040, 1195 0xffffffff80000043, 0xffffffffffff8003, 1196 0xffffffff80000006, 0xffffffffffff8002, 1197 0xffffffff80000005, 0xffffffffffff8001, 1198 0xffffffffffff8001, 0xffffffffffff8001, 1199 0xffffffffffff8000, 0xffffffffffff8000, 1200 0xffffffffffff7fff, 0xffffffffffff7fff, 1201 0xffffffffffff7ffe, 0xffffffffffff7fc1, 1202 0xffffffffffff7fc0, 0xffffffffffff7f84, 1203 0xffffffffffff7f83, 0xffffffffffff7f83, 1204 0xffffffffffff7f82, 0xffffffffffff7f82, 1205 0xffffffffffff7f81, 0xffffffffffff0004, 1206 0xffffffffffff0003, 0xffffffffffff0003, 1207 0xffffffffffff0002, 0xffffffffffff0002, 1208 0xffffffffffff0001, 0xffffffff7fff8004, 1209 0xffffffff7fff8003, 0xffffffff7fff8003, 1210 0xffffffff7fff8002, 0xffffffff7fff8002, 1211 0xffffffff7fff8001, 0xcccccccccccc4cce, 1212 0xcccccccccccc4ccd, 0xaaaaaaaaaaaa2aac, 1213 0xaaaaaaaaaaaa2aab, 0x7fffffffffff8004, 1214 0x7fffffffffff8003, 0x7fffffffffff8003, 1215 0x7fffffffffff8002, 0x7fffffffffff8002, 1216 0x7fffffffffff8001, 0x7fffffffffff8001, 1217 0x7fffffffffff8000, 0x7fffffffffff8000, 1218 0x7fffffffffff7fff, 0x7fffffffffff7fff, 1219 0x7fffffffffff7ffe, 0x7fffffffffff7ffe, 1220 0x7fffffffffff7ffd, 0x555555555554d557, 1221 0x555555555554d556, 0x333333333332b335, 1222 0x333333333332b334, 0x000000007fff8001, 1223 0x000000007fff8000, 0x000000007fff8000, 1224 0x000000007fff7fff, 0x000000007fff7fff, 1225 0x000000007fff7ffe, 0x000000007fff7ffe, 1226 0x000000007fff7ffd, 0x0000000000000001, 1227 0x0000000000000000, 0x0000000000000000, 1228 0xffffffffffffffff, 0xffffffffffffffff, 1229 0xfffffffffffffffe, 0xfffffffffffffffe, 1230 0xfffffffffffffffd, 0xffffffffffff8081, 1231 0xffffffffffff8080, 0xffffffffffff8080, 1232 0xffffffffffff807f, 0xffffffffffff807f, 1233 0xffffffffffff807e, 0xffffffffffff807e, 1234 0xffffffffffff807d, 0xffffffffffff8041, 1235 0xffffffffffff8040, 0xffffffffffff8004, 1236 0xffffffffffff8003, 0xffffffffffff8003, 1237 0xffffffffffff8002, 0xffffffffffff8002, 1238 0xffffffffffff8002, 0xffffffffffff8002, 1239 0xffffffffffff8001, 0xffffffffffff8001, 1240 0xffffffffffff8000, 0xffffffffffff8000, 1241 0xffffffffffff7fff, 0xffffffffffff7fc2, 1242 0xffffffffffff7fc1, 0xffffffffffff7f85, 1243 0xffffffffffff7f84, 0xffffffffffff7f84, 1244 0xffffffffffff7f83, 0xffffffffffff7f83, 1245 0xffffffffffff7f82, 0xffffffffffff0005, 1246 0xffffffffffff0004, 0xffffffffffff0004, 1247 0xffffffffffff0003, 0xffffffffffff0003, 1248 0xffffffffffff0002, 0xffffffff7fff8005, 1249 0xffffffff7fff8004, 0xffffffff7fff8004, 1250 0xffffffff7fff8003, 0xffffffff7fff8003, 1251 0xffffffff7fff8002, 0xcccccccccccc4ccf, 1252 0xcccccccccccc4cce, 0xaaaaaaaaaaaa2aad, 1253 0xaaaaaaaaaaaa2aac, 0x7fffffffffff8005, 1254 0x7fffffffffff8004, 0x7fffffffffff8004, 1255 0x7fffffffffff8003, 0x7fffffffffff8003, 1256 0x7fffffffffff8002, 0x7fffffffffff8002, 1257 0x7fffffffffff8001, 0x7fffffffffff8001, 1258 0x7fffffffffff8000, 0x7fffffffffff8000, 1259 0x7fffffffffff7fff, 0x7fffffffffff7fff, 1260 0x7fffffffffff7ffe, 0x555555555554d558, 1261 0x555555555554d557, 0x333333333332b336, 1262 0x333333333332b335, 0x000000007fff8002, 1263 0x000000007fff8001, 0x000000007fff8001, 1264 0x000000007fff8000, 0x000000007fff8000, 1265 0x000000007fff7fff, 0x000000007fff7fff, 1266 0x000000007fff7ffe, 0x0000000000000002, 1267 0x0000000000000001, 0x0000000000000001, 1268 0x0000000000000000, 0x0000000000000000, 1269 0xffffffffffffffff, 0xffffffffffffffff, 1270 0xfffffffffffffffe, 0xffffffffffff8082, 1271 0xffffffffffff8081, 0xffffffffffff8081, 1272 0xffffffffffff8080, 0xffffffffffff8080, 1273 0xffffffffffff807f, 0xffffffffffff807f, 1274 0xffffffffffff807e, 0xffffffffffff8042, 1275 0xffffffffffff8041, 0xffffffffffff8005, 1276 0xffffffffffff8004, 0xffffffffffff8004, 1277 0xffffffffffff8003, 0xffffffffffff8003, 1278 0xffffffffffff8003, 0xffffffffffff8003, 1279 0xffffffffffff8002, 0xffffffffffff8002, 1280 0xffffffffffff8001, 0xffffffffffff8001, 1281 0xffffffffffff8000, 0xffffffffffff7fc3, 1282 0xffffffffffff7fc2, 0xffffffffffff7f86, 1283 0xffffffffffff7f85, 0xffffffffffff7f85, 1284 0xffffffffffff7f84, 0xffffffffffff7f84, 1285 0xffffffffffff7f83, 0xffffffffffff0006, 1286 0xffffffffffff0005, 0xffffffffffff0005, 1287 0xffffffffffff0004, 0xffffffffffff0004, 1288 0xffffffffffff0003, 0xffffffff7fff8006, 1289 0xffffffff7fff8005, 0xffffffff7fff8005, 1290 0xffffffff7fff8004, 0xffffffff7fff8004, 1291 0xffffffff7fff8003, 0xcccccccccccc4cd0, 1292 0xcccccccccccc4ccf, 0xaaaaaaaaaaaa2aae, 1293 0xaaaaaaaaaaaa2aad, 0x7fffffffffff8006, 1294 0x7fffffffffff8005, 0x7fffffffffff8005, 1295 0x7fffffffffff8004, 0x7fffffffffff8004, 1296 0x7fffffffffff8003, 0x7fffffffffff8003, 1297 0x7fffffffffff8002, 0x7fffffffffff8002, 1298 0x7fffffffffff8001, 0x7fffffffffff8001, 1299 0x7fffffffffff8000, 0x7fffffffffff8000, 1300 0x7fffffffffff7fff, 0x555555555554d559, 1301 0x555555555554d558, 0x333333333332b337, 1302 0x333333333332b336, 0x000000007fff8003, 1303 0x000000007fff8002, 0x000000007fff8002, 1304 0x000000007fff8001, 0x000000007fff8001, 1305 0x000000007fff8000, 0x000000007fff8000, 1306 0x000000007fff7fff, 0x0000000000000003, 1307 0x0000000000000002, 0x0000000000000002, 1308 0x0000000000000001, 0x0000000000000001, 1309 0x0000000000000000, 0x0000000000000000, 1310 0xffffffffffffffff, 0xffffffffffff8083, 1311 0xffffffffffff8082, 0xffffffffffff8082, 1312 0xffffffffffff8081, 0xffffffffffff8081, 1313 0xffffffffffff8080, 0xffffffffffff8080, 1314 0xffffffffffff807f, 0xffffffffffff8043, 1315 0xffffffffffff8042, 0xffffffffffff8006, 1316 0xffffffffffff8005, 0xffffffffffff8005, 1317 0xffffffffffff8004, 0xffffffffffff8004, 1318 0xffffffffffff8004, 0xffffffffffffff80, 1319 0xffffffffffff8003, 0xffffffffffffff7f, 1320 0xffffffffffff8002, 0xffffffffffffff7e, 1321 0xffffffffffff8001, 0xffffffffffffff40, 1322 0xffffffffffff7fc3, 0xffffffffffffff03, 1323 0xffffffffffff7f86, 0xffffffffffffff02, 1324 0xffffffffffff7f85, 0xffffffffffffff01, 1325 0xffffffffffff7f84, 0xffffffffffff7f83, 1326 0xffffffffffff0006, 0xffffffffffff7f82, 1327 0xffffffffffff0005, 0xffffffffffff7f81, 1328 0xffffffffffff0004, 0xffffffff7fffff83, 1329 0xffffffff7fff8006, 0xffffffff7fffff82, 1330 0xffffffff7fff8005, 0xffffffff7fffff81, 1331 0xffffffff7fff8004, 0xcccccccccccccc4d, 1332 0xcccccccccccc4cd0, 0xaaaaaaaaaaaaaa2b, 1333 0xaaaaaaaaaaaa2aae, 0x7fffffffffffff83, 1334 0x7fffffffffff8006, 0x7fffffffffffff82, 1335 0x7fffffffffff8005, 0x7fffffffffffff81, 1336 0x7fffffffffff8004, 0x7fffffffffffff80, 1337 0x7fffffffffff8003, 0x7fffffffffffff7f, 1338 0x7fffffffffff8002, 0x7fffffffffffff7e, 1339 0x7fffffffffff8001, 0x7fffffffffffff7d, 1340 0x7fffffffffff8000, 0x55555555555554d6, 1341 0x555555555554d559, 0x33333333333332b4, 1342 0x333333333332b337, 0x000000007fffff80, 1343 0x000000007fff8003, 0x000000007fffff7f, 1344 0x000000007fff8002, 0x000000007fffff7e, 1345 0x000000007fff8001, 0x000000007fffff7d, 1346 0x000000007fff8000, 0x0000000000007f80, 1347 0x0000000000000003, 0x0000000000007f7f, 1348 0x0000000000000002, 0x0000000000007f7e, 1349 0x0000000000000001, 0x0000000000007f7d, 1350 0x0000000000000000, 0x0000000000000000, 1351 0xffffffffffff8083, 0xffffffffffffffff, 1352 0xffffffffffff8082, 0xfffffffffffffffe, 1353 0xffffffffffff8081, 0xfffffffffffffffd, 1354 0xffffffffffff8080, 0xffffffffffffffc0, 1355 0xffffffffffff8043, 0xffffffffffffff83, 1356 0xffffffffffff8006, 0xffffffffffffff82, 1357 0xffffffffffff8005, 0xffffffffffffff81, 1358 0xffffffffffffff81, 0xffffffffffffff81, 1359 0xffffffffffffff80, 0xffffffffffffff80, 1360 0xffffffffffffff7f, 0xffffffffffffff7f, 1361 0xffffffffffffff7e, 0xffffffffffffff41, 1362 0xffffffffffffff40, 0xffffffffffffff04, 1363 0xffffffffffffff03, 0xffffffffffffff03, 1364 0xffffffffffffff02, 0xffffffffffffff02, 1365 0xffffffffffffff01, 0xffffffffffff7f84, 1366 0xffffffffffff7f83, 0xffffffffffff7f83, 1367 0xffffffffffff7f82, 0xffffffffffff7f82, 1368 0xffffffffffff7f81, 0xffffffff7fffff84, 1369 0xffffffff7fffff83, 0xffffffff7fffff83, 1370 0xffffffff7fffff82, 0xffffffff7fffff82, 1371 0xffffffff7fffff81, 0xcccccccccccccc4e, 1372 0xcccccccccccccc4d, 0xaaaaaaaaaaaaaa2c, 1373 0xaaaaaaaaaaaaaa2b, 0x7fffffffffffff84, 1374 0x7fffffffffffff83, 0x7fffffffffffff83, 1375 0x7fffffffffffff82, 0x7fffffffffffff82, 1376 0x7fffffffffffff81, 0x7fffffffffffff81, 1377 0x7fffffffffffff80, 0x7fffffffffffff80, 1378 0x7fffffffffffff7f, 0x7fffffffffffff7f, 1379 0x7fffffffffffff7e, 0x7fffffffffffff7e, 1380 0x7fffffffffffff7d, 0x55555555555554d7, 1381 0x55555555555554d6, 0x33333333333332b5, 1382 0x33333333333332b4, 0x000000007fffff81, 1383 0x000000007fffff80, 0x000000007fffff80, 1384 0x000000007fffff7f, 0x000000007fffff7f, 1385 0x000000007fffff7e, 0x000000007fffff7e, 1386 0x000000007fffff7d, 0x0000000000007f81, 1387 0x0000000000007f80, 0x0000000000007f80, 1388 0x0000000000007f7f, 0x0000000000007f7f, 1389 0x0000000000007f7e, 0x0000000000007f7e, 1390 0x0000000000007f7d, 0x0000000000000001, 1391 0x0000000000000000, 0x0000000000000000, 1392 0xffffffffffffffff, 0xffffffffffffffff, 1393 0xfffffffffffffffe, 0xfffffffffffffffe, 1394 0xfffffffffffffffd, 0xffffffffffffffc1, 1395 0xffffffffffffffc0, 0xffffffffffffff84, 1396 0xffffffffffffff83, 0xffffffffffffff83, 1397 0xffffffffffffff82, 0xffffffffffffff82, 1398 0xffffffffffffff82, 0xffffffffffffff82, 1399 0xffffffffffffff81, 0xffffffffffffff81, 1400 0xffffffffffffff80, 0xffffffffffffff80, 1401 0xffffffffffffff7f, 0xffffffffffffff42, 1402 0xffffffffffffff41, 0xffffffffffffff05, 1403 0xffffffffffffff04, 0xffffffffffffff04, 1404 0xffffffffffffff03, 0xffffffffffffff03, 1405 0xffffffffffffff02, 0xffffffffffff7f85, 1406 0xffffffffffff7f84, 0xffffffffffff7f84, 1407 0xffffffffffff7f83, 0xffffffffffff7f83, 1408 0xffffffffffff7f82, 0xffffffff7fffff85, 1409 0xffffffff7fffff84, 0xffffffff7fffff84, 1410 0xffffffff7fffff83, 0xffffffff7fffff83, 1411 0xffffffff7fffff82, 0xcccccccccccccc4f, 1412 0xcccccccccccccc4e, 0xaaaaaaaaaaaaaa2d, 1413 0xaaaaaaaaaaaaaa2c, 0x7fffffffffffff85, 1414 0x7fffffffffffff84, 0x7fffffffffffff84, 1415 0x7fffffffffffff83, 0x7fffffffffffff83, 1416 0x7fffffffffffff82, 0x7fffffffffffff82, 1417 0x7fffffffffffff81, 0x7fffffffffffff81, 1418 0x7fffffffffffff80, 0x7fffffffffffff80, 1419 0x7fffffffffffff7f, 0x7fffffffffffff7f, 1420 0x7fffffffffffff7e, 0x55555555555554d8, 1421 0x55555555555554d7, 0x33333333333332b6, 1422 0x33333333333332b5, 0x000000007fffff82, 1423 0x000000007fffff81, 0x000000007fffff81, 1424 0x000000007fffff80, 0x000000007fffff80, 1425 0x000000007fffff7f, 0x000000007fffff7f, 1426 0x000000007fffff7e, 0x0000000000007f82, 1427 0x0000000000007f81, 0x0000000000007f81, 1428 0x0000000000007f80, 0x0000000000007f80, 1429 0x0000000000007f7f, 0x0000000000007f7f, 1430 0x0000000000007f7e, 0x0000000000000002, 1431 0x0000000000000001, 0x0000000000000001, 1432 0x0000000000000000, 0x0000000000000000, 1433 0xffffffffffffffff, 0xffffffffffffffff, 1434 0xfffffffffffffffe, 0xffffffffffffffc2, 1435 0xffffffffffffffc1, 0xffffffffffffff85, 1436 0xffffffffffffff84, 0xffffffffffffff84, 1437 0xffffffffffffff83, 0xffffffffffffff83, 1438 0xffffffffffffff83, 0xffffffffffffff83, 1439 0xffffffffffffff82, 0xffffffffffffff82, 1440 0xffffffffffffff81, 0xffffffffffffff81, 1441 0xffffffffffffff80, 0xffffffffffffff43, 1442 0xffffffffffffff42, 0xffffffffffffff06, 1443 0xffffffffffffff05, 0xffffffffffffff05, 1444 0xffffffffffffff04, 0xffffffffffffff04, 1445 0xffffffffffffff03, 0xffffffffffff7f86, 1446 0xffffffffffff7f85, 0xffffffffffff7f85, 1447 0xffffffffffff7f84, 0xffffffffffff7f84, 1448 0xffffffffffff7f83, 0xffffffff7fffff86, 1449 0xffffffff7fffff85, 0xffffffff7fffff85, 1450 0xffffffff7fffff84, 0xffffffff7fffff84, 1451 0xffffffff7fffff83, 0xcccccccccccccc50, 1452 0xcccccccccccccc4f, 0xaaaaaaaaaaaaaa2e, 1453 0xaaaaaaaaaaaaaa2d, 0x7fffffffffffff86, 1454 0x7fffffffffffff85, 0x7fffffffffffff85, 1455 0x7fffffffffffff84, 0x7fffffffffffff84, 1456 0x7fffffffffffff83, 0x7fffffffffffff83, 1457 0x7fffffffffffff82, 0x7fffffffffffff82, 1458 0x7fffffffffffff81, 0x7fffffffffffff81, 1459 0x7fffffffffffff80, 0x7fffffffffffff80, 1460 0x7fffffffffffff7f, 0x55555555555554d9, 1461 0x55555555555554d8, 0x33333333333332b7, 1462 0x33333333333332b6, 0x000000007fffff83, 1463 0x000000007fffff82, 0x000000007fffff82, 1464 0x000000007fffff81, 0x000000007fffff81, 1465 0x000000007fffff80, 0x000000007fffff80, 1466 0x000000007fffff7f, 0x0000000000007f83, 1467 0x0000000000007f82, 0x0000000000007f82, 1468 0x0000000000007f81, 0x0000000000007f81, 1469 0x0000000000007f80, 0x0000000000007f80, 1470 0x0000000000007f7f, 0x0000000000000003, 1471 0x0000000000000002, 0x0000000000000002, 1472 0x0000000000000001, 0x0000000000000001, 1473 0x0000000000000000, 0x0000000000000000, 1474 0xffffffffffffffff, 0xffffffffffffffc3, 1475 0xffffffffffffffc2, 0xffffffffffffff86, 1476 0xffffffffffffff85, 0xffffffffffffff85, 1477 0xffffffffffffff84, 0xffffffffffffff84, 1478 0xffffffffffffff84, 0xffffffffffffffc0, 1479 0xffffffffffffff83, 0xffffffffffffffbf, 1480 0xffffffffffffff82, 0xffffffffffffffbe, 1481 0xffffffffffffff81, 0xffffffffffffff80, 1482 0xffffffffffffff43, 0xffffffffffffff43, 1483 0xffffffffffffff06, 0xffffffffffffff42, 1484 0xffffffffffffff05, 0xffffffffffffff41, 1485 0xffffffffffffff04, 0xffffffffffff7fc3, 1486 0xffffffffffff7f86, 0xffffffffffff7fc2, 1487 0xffffffffffff7f85, 0xffffffffffff7fc1, 1488 0xffffffffffff7f84, 0xffffffff7fffffc3, 1489 0xffffffff7fffff86, 0xffffffff7fffffc2, 1490 0xffffffff7fffff85, 0xffffffff7fffffc1, 1491 0xffffffff7fffff84, 0xcccccccccccccc8d, 1492 0xcccccccccccccc50, 0xaaaaaaaaaaaaaa6b, 1493 0xaaaaaaaaaaaaaa2e, 0x7fffffffffffffc3, 1494 0x7fffffffffffff86, 0x7fffffffffffffc2, 1495 0x7fffffffffffff85, 0x7fffffffffffffc1, 1496 0x7fffffffffffff84, 0x7fffffffffffffc0, 1497 0x7fffffffffffff83, 0x7fffffffffffffbf, 1498 0x7fffffffffffff82, 0x7fffffffffffffbe, 1499 0x7fffffffffffff81, 0x7fffffffffffffbd, 1500 0x7fffffffffffff80, 0x5555555555555516, 1501 0x55555555555554d9, 0x33333333333332f4, 1502 0x33333333333332b7, 0x000000007fffffc0, 1503 0x000000007fffff83, 0x000000007fffffbf, 1504 0x000000007fffff82, 0x000000007fffffbe, 1505 0x000000007fffff81, 0x000000007fffffbd, 1506 0x000000007fffff80, 0x0000000000007fc0, 1507 0x0000000000007f83, 0x0000000000007fbf, 1508 0x0000000000007f82, 0x0000000000007fbe, 1509 0x0000000000007f81, 0x0000000000007fbd, 1510 0x0000000000007f80, 0x0000000000000040, 1511 0x0000000000000003, 0x000000000000003f, 1512 0x0000000000000002, 0x000000000000003e, 1513 0x0000000000000001, 0x000000000000003d, 1514 0x0000000000000000, 0x0000000000000000, 1515 0xffffffffffffffc3, 0xffffffffffffffc3, 1516 0xffffffffffffff86, 0xffffffffffffffc2, 1517 0xffffffffffffff85, 0xffffffffffffffc1, 1518 0xffffffffffffffc1, 0xfffffffffffffffd, 1519 0xffffffffffffffc0, 0xfffffffffffffffc, 1520 0xffffffffffffffbf, 0xfffffffffffffffb, 1521 0xffffffffffffffbe, 0xffffffffffffffbd, 1522 0xffffffffffffff80, 0xffffffffffffff80, 1523 0xffffffffffffff43, 0xffffffffffffff7f, 1524 0xffffffffffffff42, 0xffffffffffffff7e, 1525 0xffffffffffffff41, 0xffffffffffff8000, 1526 0xffffffffffff7fc3, 0xffffffffffff7fff, 1527 0xffffffffffff7fc2, 0xffffffffffff7ffe, 1528 0xffffffffffff7fc1, 0xffffffff80000000, 1529 0xffffffff7fffffc3, 0xffffffff7fffffff, 1530 0xffffffff7fffffc2, 0xffffffff7ffffffe, 1531 0xffffffff7fffffc1, 0xccccccccccccccca, 1532 0xcccccccccccccc8d, 0xaaaaaaaaaaaaaaa8, 1533 0xaaaaaaaaaaaaaa6b, 0x8000000000000000, 1534 0x7fffffffffffffc3, 0x7fffffffffffffff, 1535 0x7fffffffffffffc2, 0x7ffffffffffffffe, 1536 0x7fffffffffffffc1, 0x7ffffffffffffffd, 1537 0x7fffffffffffffc0, 0x7ffffffffffffffc, 1538 0x7fffffffffffffbf, 0x7ffffffffffffffb, 1539 0x7fffffffffffffbe, 0x7ffffffffffffffa, 1540 0x7fffffffffffffbd, 0x5555555555555553, 1541 0x5555555555555516, 0x3333333333333331, 1542 0x33333333333332f4, 0x000000007ffffffd, 1543 0x000000007fffffc0, 0x000000007ffffffc, 1544 0x000000007fffffbf, 0x000000007ffffffb, 1545 0x000000007fffffbe, 0x000000007ffffffa, 1546 0x000000007fffffbd, 0x0000000000007ffd, 1547 0x0000000000007fc0, 0x0000000000007ffc, 1548 0x0000000000007fbf, 0x0000000000007ffb, 1549 0x0000000000007fbe, 0x0000000000007ffa, 1550 0x0000000000007fbd, 0x000000000000007d, 1551 0x0000000000000040, 0x000000000000007c, 1552 0x000000000000003f, 0x000000000000007b, 1553 0x000000000000003e, 0x000000000000007a, 1554 0x000000000000003d, 0x000000000000003d, 1555 0x0000000000000000, 0x0000000000000000, 1556 0xffffffffffffffc3, 0xffffffffffffffff, 1557 0xffffffffffffffc2, 0xfffffffffffffffe, 1558 0xfffffffffffffffe, 0xfffffffffffffffe, 1559 0xfffffffffffffffd, 0xfffffffffffffffd, 1560 0xfffffffffffffffc, 0xfffffffffffffffc, 1561 0xfffffffffffffffb, 0xffffffffffffffbe, 1562 0xffffffffffffffbd, 0xffffffffffffff81, 1563 0xffffffffffffff80, 0xffffffffffffff80, 1564 0xffffffffffffff7f, 0xffffffffffffff7f, 1565 0xffffffffffffff7e, 0xffffffffffff8001, 1566 0xffffffffffff8000, 0xffffffffffff8000, 1567 0xffffffffffff7fff, 0xffffffffffff7fff, 1568 0xffffffffffff7ffe, 0xffffffff80000001, 1569 0xffffffff80000000, 0xffffffff80000000, 1570 0xffffffff7fffffff, 0xffffffff7fffffff, 1571 0xffffffff7ffffffe, 0xcccccccccccccccb, 1572 0xccccccccccccccca, 0xaaaaaaaaaaaaaaa9, 1573 0xaaaaaaaaaaaaaaa8, 0x8000000000000001, 1574 0x8000000000000000, 0x8000000000000000, 1575 0x7fffffffffffffff, 0x7fffffffffffffff, 1576 0x7ffffffffffffffe, 0x7ffffffffffffffe, 1577 0x7ffffffffffffffd, 0x7ffffffffffffffd, 1578 0x7ffffffffffffffc, 0x7ffffffffffffffc, 1579 0x7ffffffffffffffb, 0x7ffffffffffffffb, 1580 0x7ffffffffffffffa, 0x5555555555555554, 1581 0x5555555555555553, 0x3333333333333332, 1582 0x3333333333333331, 0x000000007ffffffe, 1583 0x000000007ffffffd, 0x000000007ffffffd, 1584 0x000000007ffffffc, 0x000000007ffffffc, 1585 0x000000007ffffffb, 0x000000007ffffffb, 1586 0x000000007ffffffa, 0x0000000000007ffe, 1587 0x0000000000007ffd, 0x0000000000007ffd, 1588 0x0000000000007ffc, 0x0000000000007ffc, 1589 0x0000000000007ffb, 0x0000000000007ffb, 1590 0x0000000000007ffa, 0x000000000000007e, 1591 0x000000000000007d, 0x000000000000007d, 1592 0x000000000000007c, 0x000000000000007c, 1593 0x000000000000007b, 0x000000000000007b, 1594 0x000000000000007a, 0x000000000000003e, 1595 0x000000000000003d, 0x0000000000000001, 1596 0x0000000000000000, 0x0000000000000000, 1597 0xffffffffffffffff, 0xffffffffffffffff, 1598 0xffffffffffffffff, 0xffffffffffffffff, 1599 0xfffffffffffffffe, 0xfffffffffffffffe, 1600 0xfffffffffffffffd, 0xfffffffffffffffd, 1601 0xfffffffffffffffc, 0xffffffffffffffbf, 1602 0xffffffffffffffbe, 0xffffffffffffff82, 1603 0xffffffffffffff81, 0xffffffffffffff81, 1604 0xffffffffffffff80, 0xffffffffffffff80, 1605 0xffffffffffffff7f, 0xffffffffffff8002, 1606 0xffffffffffff8001, 0xffffffffffff8001, 1607 0xffffffffffff8000, 0xffffffffffff8000, 1608 0xffffffffffff7fff, 0xffffffff80000002, 1609 0xffffffff80000001, 0xffffffff80000001, 1610 0xffffffff80000000, 0xffffffff80000000, 1611 0xffffffff7fffffff, 0xcccccccccccccccc, 1612 0xcccccccccccccccb, 0xaaaaaaaaaaaaaaaa, 1613 0xaaaaaaaaaaaaaaa9, 0x8000000000000002, 1614 0x8000000000000001, 0x8000000000000001, 1615 0x8000000000000000, 0x8000000000000000, 1616 0x7fffffffffffffff, 0x7fffffffffffffff, 1617 0x7ffffffffffffffe, 0x7ffffffffffffffe, 1618 0x7ffffffffffffffd, 0x7ffffffffffffffd, 1619 0x7ffffffffffffffc, 0x7ffffffffffffffc, 1620 0x7ffffffffffffffb, 0x5555555555555555, 1621 0x5555555555555554, 0x3333333333333333, 1622 0x3333333333333332, 0x000000007fffffff, 1623 0x000000007ffffffe, 0x000000007ffffffe, 1624 0x000000007ffffffd, 0x000000007ffffffd, 1625 0x000000007ffffffc, 0x000000007ffffffc, 1626 0x000000007ffffffb, 0x0000000000007fff, 1627 0x0000000000007ffe, 0x0000000000007ffe, 1628 0x0000000000007ffd, 0x0000000000007ffd, 1629 0x0000000000007ffc, 0x0000000000007ffc, 1630 0x0000000000007ffb, 0x000000000000007f, 1631 0x000000000000007e, 0x000000000000007e, 1632 0x000000000000007d, 0x000000000000007d, 1633 0x000000000000007c, 0x000000000000007c, 1634 0x000000000000007b, 0x000000000000003f, 1635 0x000000000000003e, 0x0000000000000002, 1636 0x0000000000000001, 0x0000000000000001, 1637 0x0000000000000000, 0x0000000000000000, 1638 }; 1639 const unsigned kExpectedCount_NEON_sub_2D = 1600; 1640 1641 #endif // VIXL_SIM_SUB_2D_TRACE_AARCH64_H_ 1642