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