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