1 // Copyright 2015, ARM Limited 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_UMLSL2_2D_TRACE_A64_H_ 35 #define VIXL_SIM_UMLSL2_2D_TRACE_A64_H_ 36 37 const uint64_t kExpected_NEON_umlsl2_2D[] = { 38 0xffffc002fff70000, 0x0000000000000001, 39 0x0000000000000000, 0x0000000000000001, 40 0xffffffffff800300, 0x0000000000000001, 41 0xffffffffff000600, 0x0000000000000001, 42 0xfffffffff0006000, 0x0000000000000001, 43 0xffffffffc1817700, 0x0000000000000001, 44 0xffffffffc1017a00, 0x0000000000000001, 45 0xffffffffc0817d00, 0x0000000000000001, 46 0xffffffc002fff700, 0x0000000000000001, 47 0xffffffc0027ffa00, 0x0000000000000001, 48 0xffffffc001fffd00, 0x0000000000000001, 49 0xffe6670000199900, 0x0000000000000001, 50 0xffd55655557fff00, 0x0000000000000001, 51 0xffc00180017ff700, 0x0000000000000001, 52 0xffc0018000fffa00, 0x0000000000000001, 53 0xffc00180007ffd00, 0x0000000000000001, 54 0xffc0018000000000, 0x0000000000000001, 55 0xffc0017fff800300, 0x0000000000000001, 56 0xffaaacaaaafffe00, 0x0000000000000001, 57 0xff999c0000666400, 0x0000000000000001, 58 0xff80033ffe800000, 0x0000000000000001, 59 0xff80033ffe000300, 0x0000000000000001, 60 0xff80033ffd800600, 0x0000000000000001, 61 0xff80033ffd000900, 0x0000000000000001, 62 0xff8003003ffe8000, 0x0000000000000001, 63 0xff8003003f7e8300, 0x0000000000000001, 64 0xff8003003efe8600, 0x0000000000000001, 65 0xff8003003e7e8900, 0x0000000000000001, 66 0xff8003000fffa000, 0x0000000000000001, 67 0xff800300017ff700, 0x0000000000000001, 68 0xff80030000fffa00, 0x0000000000000001, 69 0x0000000000000000, 0x0000000000000001, 70 0x0000000000000000, 0x0000000000000000, 71 0x0000000000000000, 0xffffffffffffffff, 72 0x0000000000000000, 0xffffffffffffffe1, 73 0x0000000000000000, 0xffffffffffffff84, 74 0x0000000000000000, 0xffffffffffffff83, 75 0x0000000000000000, 0xffffffffffffff82, 76 0x0000000000000000, 0xffffffffffff8004, 77 0x0000000000000000, 0xffffffffffff8003, 78 0x0000000000000000, 0xffffffffffff8002, 79 0x0000000000000000, 0xffffffffccccccce, 80 0x0000000000000000, 0xffffffffaaaaaaac, 81 0x0000000000000000, 0xffffffff80000004, 82 0x0000000000000000, 0xffffffff80000003, 83 0x0000000000000000, 0xffffffff80000002, 84 0x0000000000000000, 0xffffffff80000001, 85 0x0000000000000000, 0xffffffff80000000, 86 0x0000000000000000, 0xffffffff55555557, 87 0x0000000000000000, 0xffffffff33333335, 88 0x0000000000000000, 0xffffffff00008001, 89 0x0000000000000000, 0xffffffff00008000, 90 0x0000000000000000, 0xffffffff00007fff, 91 0x0000000000000000, 0xffffffff00007ffe, 92 0x0000000000000000, 0xffffffff00000081, 93 0x0000000000000000, 0xffffffff00000080, 94 0x0000000000000000, 0xffffffff0000007f, 95 0x0000000000000000, 0xffffffff0000007e, 96 0x0000000000000000, 0xffffffff00000021, 97 0x0000000000000000, 0xffffffff00000004, 98 0x0000000000000000, 0xffffffff00000003, 99 0x0000000000000000, 0xffffffff00000002, 100 0xffffffff00000001, 0x0000000000000001, 101 0x0000000000000000, 0xffffffffffffffff, 102 0xffffffffffffffff, 0xfffffffffffffffd, 103 0xfffffffffffffffe, 0xffffffffffffffc1, 104 0xffffffffffffffe0, 0xffffffffffffff07, 105 0xffffffffffffff83, 0xffffffffffffff05, 106 0xffffffffffffff82, 0xffffffffffffff03, 107 0xffffffffffffff81, 0xffffffffffff0007, 108 0xffffffffffff8003, 0xffffffffffff0005, 109 0xffffffffffff8002, 0xffffffffffff0003, 110 0xffffffffffff8001, 0xffffffff9999999b, 111 0xffffffffcccccccd, 0xffffffff55555557, 112 0xffffffffaaaaaaab, 0xffffffff00000007, 113 0xffffffff80000003, 0xffffffff00000005, 114 0xffffffff80000002, 0xffffffff00000003, 115 0xffffffff80000001, 0xffffffff00000001, 116 0xffffffff80000000, 0xfffffffeffffffff, 117 0xffffffff7fffffff, 0xfffffffeaaaaaaad, 118 0xffffffff55555556, 0xfffffffe66666669, 119 0xffffffff33333334, 0xfffffffe00010001, 120 0xffffffff00008000, 0xfffffffe0000ffff, 121 0xffffffff00007fff, 0xfffffffe0000fffd, 122 0xffffffff00007ffe, 0xfffffffe0000fffb, 123 0xffffffff00007ffd, 0xfffffffe00000101, 124 0xffffffff00000080, 0xfffffffe000000ff, 125 0xffffffff0000007f, 0xfffffffe000000fd, 126 0xffffffff0000007e, 0xfffffffe000000fb, 127 0xffffffff0000007d, 0xfffffffe00000041, 128 0xffffffff00000020, 0xfffffffe00000007, 129 0xffffffff00000003, 0xfffffffe00000005, 130 0xffffffff00000002, 0xfffffffe00000003, 131 0xfffffffe00000002, 0x0000000000000001, 132 0x0000000000000000, 0xffffffffffffffe1, 133 0xfffffffffffffffe, 0xffffffffffffffc1, 134 0xfffffffffffffffc, 0xfffffffffffffc01, 135 0xffffffffffffffc0, 0xfffffffffffff061, 136 0xffffffffffffff06, 0xfffffffffffff041, 137 0xffffffffffffff04, 0xfffffffffffff021, 138 0xffffffffffffff02, 0xfffffffffff00061, 139 0xffffffffffff0006, 0xfffffffffff00041, 140 0xffffffffffff0004, 0xfffffffffff00021, 141 0xffffffffffff0002, 0xfffffff9999999a1, 142 0xffffffff9999999a, 0xfffffff555555561, 143 0xffffffff55555556, 0xfffffff000000061, 144 0xffffffff00000006, 0xfffffff000000041, 145 0xffffffff00000004, 0xfffffff000000021, 146 0xffffffff00000002, 0xfffffff000000001, 147 0xffffffff00000000, 0xffffffefffffffe1, 148 0xfffffffefffffffe, 0xffffffeaaaaaaac1, 149 0xfffffffeaaaaaaac, 0xffffffe666666681, 150 0xfffffffe66666668, 0xffffffe000100001, 151 0xfffffffe00010000, 0xffffffe0000fffe1, 152 0xfffffffe0000fffe, 0xffffffe0000fffc1, 153 0xfffffffe0000fffc, 0xffffffe0000fffa1, 154 0xfffffffe0000fffa, 0xffffffe000001001, 155 0xfffffffe00000100, 0xffffffe000000fe1, 156 0xfffffffe000000fe, 0xffffffe000000fc1, 157 0xfffffffe000000fc, 0xffffffe000000fa1, 158 0xfffffffe000000fa, 0xffffffe000000401, 159 0xfffffffe00000040, 0xffffffe000000061, 160 0xfffffffe00000006, 0xffffffe000000041, 161 0xfffffffe00000004, 0xffffffe000000021, 162 0xffffffe000000020, 0x0000000000000001, 163 0x0000000000000000, 0xffffffffffffff84, 164 0xffffffffffffffe0, 0xffffffffffffff07, 165 0xffffffffffffffc0, 0xfffffffffffff061, 166 0xfffffffffffffc00, 0xffffffffffffc2f8, 167 0xfffffffffffff060, 0xffffffffffffc27b, 168 0xfffffffffffff040, 0xffffffffffffc1fe, 169 0xfffffffffffff020, 0xffffffffffc18178, 170 0xfffffffffff00060, 0xffffffffffc180fb, 171 0xfffffffffff00040, 0xffffffffffc1807e, 172 0xfffffffffff00020, 0xffffffe70000001a, 173 0xfffffff9999999a0, 0xffffffd655555580, 174 0xfffffff555555560, 0xffffffc180000178, 175 0xfffffff000000060, 0xffffffc1800000fb, 176 0xfffffff000000040, 0xffffffc18000007e, 177 0xfffffff000000020, 0xffffffc180000001, 178 0xfffffff000000000, 0xffffffc17fffff84, 179 0xffffffefffffffe0, 0xffffffacaaaaaaff, 180 0xffffffeaaaaaaac0, 0xffffff9c00000065, 181 0xffffffe666666680, 0xffffff83003e8001, 182 0xffffffe000100000, 0xffffff83003e7f84, 183 0xffffffe0000fffe0, 0xffffff83003e7f07, 184 0xffffffe0000fffc0, 0xffffff83003e7e8a, 185 0xffffffe0000fffa0, 0xffffff8300003e81, 186 0xffffffe000001000, 0xffffff8300003e04, 187 0xffffffe000000fe0, 0xffffff8300003d87, 188 0xffffffe000000fc0, 0xffffff8300003d0a, 189 0xffffffe000000fa0, 0xffffff8300000fa1, 190 0xffffffe000000400, 0xffffff8300000178, 191 0xffffffe000000060, 0xffffff83000000fb, 192 0xffffffe000000040, 0xffffff830000007e, 193 0xffffff830000007d, 0x0000000000000001, 194 0x0000000000000000, 0xffffffffffffff83, 195 0xffffffffffffff83, 0xffffffffffffff05, 196 0xffffffffffffff06, 0xfffffffffffff041, 197 0xfffffffffffff060, 0xffffffffffffc27b, 198 0xffffffffffffc2f7, 0xffffffffffffc1fd, 199 0xffffffffffffc27a, 0xffffffffffffc17f, 200 0xffffffffffffc1fd, 0xffffffffffc1017b, 201 0xffffffffffc18177, 0xffffffffffc100fd, 202 0xffffffffffc180fa, 0xffffffffffc1007f, 203 0xffffffffffc1807d, 0xffffffe6cccccce7, 204 0xffffffe700000019, 0xffffffd60000002b, 205 0xffffffd65555557f, 0xffffffc10000017b, 206 0xffffffc180000177, 0xffffffc1000000fd, 207 0xffffffc1800000fa, 0xffffffc10000007f, 208 0xffffffc18000007d, 0xffffffc100000001, 209 0xffffffc180000000, 0xffffffc0ffffff83, 210 0xffffffc17fffff83, 0xffffffac00000055, 211 0xffffffacaaaaaafe, 0xffffff9b33333399, 212 0xffffff9c00000064, 0xffffff82003f0001, 213 0xffffff83003e8000, 0xffffff82003eff83, 214 0xffffff83003e7f83, 0xffffff82003eff05, 215 0xffffff83003e7f06, 0xffffff82003efe87, 216 0xffffff83003e7e89, 0xffffff8200003f01, 217 0xffffff8300003e80, 0xffffff8200003e83, 218 0xffffff8300003e03, 0xffffff8200003e05, 219 0xffffff8300003d86, 0xffffff8200003d87, 220 0xffffff8300003d09, 0xffffff8200000fc1, 221 0xffffff8300000fa0, 0xffffff820000017b, 222 0xffffff8300000177, 0xffffff82000000fd, 223 0xffffff83000000fa, 0xffffff820000007f, 224 0xffffff820000007e, 0x0000000000000001, 225 0x0000000000000000, 0xffffffffffffff82, 226 0xffffffffffffff82, 0xffffffffffffff03, 227 0xffffffffffffff04, 0xfffffffffffff021, 228 0xfffffffffffff040, 0xffffffffffffc1fe, 229 0xffffffffffffc27a, 0xffffffffffffc17f, 230 0xffffffffffffc1fc, 0xffffffffffffc100, 231 0xffffffffffffc17e, 0xffffffffffc0817e, 232 0xffffffffffc1017a, 0xffffffffffc080ff, 233 0xffffffffffc100fc, 0xffffffffffc08080, 234 0xffffffffffc1007e, 0xffffffe6999999b4, 235 0xffffffe6cccccce6, 0xffffffd5aaaaaad6, 236 0xffffffd60000002a, 0xffffffc08000017e, 237 0xffffffc10000017a, 0xffffffc0800000ff, 238 0xffffffc1000000fc, 0xffffffc080000080, 239 0xffffffc10000007e, 0xffffffc080000001, 240 0xffffffc100000000, 0xffffffc07fffff82, 241 0xffffffc0ffffff82, 0xffffffab555555ab, 242 0xffffffac00000054, 0xffffff9a666666cd, 243 0xffffff9b33333398, 0xffffff81003f8001, 244 0xffffff82003f0000, 0xffffff81003f7f82, 245 0xffffff82003eff82, 0xffffff81003f7f03, 246 0xffffff82003eff04, 0xffffff81003f7e84, 247 0xffffff82003efe86, 0xffffff8100003f81, 248 0xffffff8200003f00, 0xffffff8100003f02, 249 0xffffff8200003e82, 0xffffff8100003e83, 250 0xffffff8200003e04, 0xffffff8100003e04, 251 0xffffff8200003d86, 0xffffff8100000fe1, 252 0xffffff8200000fc0, 0xffffff810000017e, 253 0xffffff820000017a, 0xffffff81000000ff, 254 0xffffff82000000fc, 0xffffff8100000080, 255 0xffffff810000007f, 0x0000000000000001, 256 0x0000000000000000, 0xffffffffffff8004, 257 0xffffffffffffff81, 0xffffffffffff0007, 258 0xffffffffffffff02, 0xfffffffffff00061, 259 0xfffffffffffff020, 0xffffffffffc18178, 260 0xffffffffffffc1fd, 0xffffffffffc1017b, 261 0xffffffffffffc17e, 0xffffffffffc0817e, 262 0xffffffffffffc0ff, 0xffffffffc002fff8, 263 0xffffffffffc0817d, 0xffffffffc0027ffb, 264 0xffffffffffc080fe, 0xffffffffc001fffe, 265 0xffffffffffc0807f, 0xffffe6670000199a, 266 0xffffffe6999999b3, 0xffffd55655558000, 267 0xffffffd5aaaaaad5, 0xffffc00180017ff8, 268 0xffffffc08000017d, 0xffffc0018000fffb, 269 0xffffffc0800000fe, 0xffffc00180007ffe, 270 0xffffffc08000007f, 0xffffc00180000001, 271 0xffffffc080000000, 0xffffc0017fff8004, 272 0xffffffc07fffff81, 0xffffaaacaaaaffff, 273 0xffffffab555555aa, 0xffff999c00006665, 274 0xffffff9a666666cc, 0xffff80033ffe8001, 275 0xffffff81003f8000, 0xffff80033ffe0004, 276 0xffffff81003f7f81, 0xffff80033ffd8007, 277 0xffffff81003f7f02, 0xffff80033ffd000a, 278 0xffffff81003f7e83, 0xffff8003003ffe81, 279 0xffffff8100003f80, 0xffff8003003f7e84, 280 0xffffff8100003f01, 0xffff8003003efe87, 281 0xffffff8100003e82, 0xffff8003003e7e8a, 282 0xffffff8100003e03, 0xffff8003000fffa1, 283 0xffffff8100000fe0, 0xffff800300017ff8, 284 0xffffff810000017d, 0xffff80030000fffb, 285 0xffffff81000000fe, 0xffff800300007ffe, 286 0xffff800300007ffd, 0x0000000000000001, 287 0x0000000000000000, 0xffffffffffff8003, 288 0xffffffffffff8003, 0xffffffffffff0005, 289 0xffffffffffff0006, 0xfffffffffff00041, 290 0xfffffffffff00060, 0xffffffffffc180fb, 291 0xffffffffffc18177, 0xffffffffffc100fd, 292 0xffffffffffc1017a, 0xffffffffffc080ff, 293 0xffffffffffc0817d, 0xffffffffc0027ffb, 294 0xffffffffc002fff7, 0xffffffffc001fffd, 295 0xffffffffc0027ffa, 0xffffffffc0017fff, 296 0xffffffffc001fffd, 0xffffe666cccce667, 297 0xffffe66700001999, 0xffffd55600002aab, 298 0xffffd55655557fff, 0xffffc00100017ffb, 299 0xffffc00180017ff7, 0xffffc0010000fffd, 300 0xffffc0018000fffa, 0xffffc00100007fff, 301 0xffffc00180007ffd, 0xffffc00100000001, 302 0xffffc00180000000, 0xffffc000ffff8003, 303 0xffffc0017fff8003, 0xffffaaac00005555, 304 0xffffaaacaaaafffe, 0xffff999b33339999, 305 0xffff999c00006664, 0xffff80023fff0001, 306 0xffff80033ffe8000, 0xffff80023ffe8003, 307 0xffff80033ffe0003, 0xffff80023ffe0005, 308 0xffff80033ffd8006, 0xffff80023ffd8007, 309 0xffff80033ffd0009, 0xffff8002003fff01, 310 0xffff8003003ffe80, 0xffff8002003f7f03, 311 0xffff8003003f7e83, 0xffff8002003eff05, 312 0xffff8003003efe86, 0xffff8002003e7f07, 313 0xffff8003003e7e89, 0xffff8002000fffc1, 314 0xffff8003000fffa0, 0xffff800200017ffb, 315 0xffff800300017ff7, 0xffff80020000fffd, 316 0xffff80030000fffa, 0xffff800200007fff, 317 0xffff800200007ffe, 0x0000000000000001, 318 0x0000000000000000, 0xffffffffffff8002, 319 0xffffffffffff8002, 0xffffffffffff0003, 320 0xffffffffffff0004, 0xfffffffffff00021, 321 0xfffffffffff00040, 0xffffffffffc1807e, 322 0xffffffffffc180fa, 0xffffffffffc1007f, 323 0xffffffffffc100fc, 0xffffffffffc08080, 324 0xffffffffffc080fe, 0xffffffffc001fffe, 325 0xffffffffc0027ffa, 0xffffffffc0017fff, 326 0xffffffffc001fffc, 0xffffffffc0010000, 327 0xffffffffc0017ffe, 0xffffe6669999b334, 328 0xffffe666cccce666, 0xffffd555aaaad556, 329 0xffffd55600002aaa, 0xffffc00080017ffe, 330 0xffffc00100017ffa, 0xffffc0008000ffff, 331 0xffffc0010000fffc, 0xffffc00080008000, 332 0xffffc00100007ffe, 0xffffc00080000001, 333 0xffffc00100000000, 0xffffc0007fff8002, 334 0xffffc000ffff8002, 0xffffaaab5555aaab, 335 0xffffaaac00005554, 0xffff999a6666cccd, 336 0xffff999b33339998, 0xffff80013fff8001, 337 0xffff80023fff0000, 0xffff80013fff0002, 338 0xffff80023ffe8002, 0xffff80013ffe8003, 339 0xffff80023ffe0004, 0xffff80013ffe0004, 340 0xffff80023ffd8006, 0xffff8001003fff81, 341 0xffff8002003fff00, 0xffff8001003f7f82, 342 0xffff8002003f7f02, 0xffff8001003eff83, 343 0xffff8002003eff04, 0xffff8001003e7f84, 344 0xffff8002003e7f06, 0xffff8001000fffe1, 345 0xffff8002000fffc0, 0xffff800100017ffe, 346 0xffff800200017ffa, 0xffff80010000ffff, 347 0xffff80020000fffc, 0xffff800100008000, 348 0xffff800100007fff, 0x0000000000000001, 349 0x0000000000000000, 0xffffffffccccccce, 350 0xffffffffffff8001, 0xffffffff9999999b, 351 0xffffffffffff0002, 0xfffffff9999999a1, 352 0xfffffffffff00020, 0xffffffe70000001a, 353 0xffffffffffc1807d, 0xffffffe6cccccce7, 354 0xffffffffffc1007e, 0xffffffe6999999b4, 355 0xffffffffffc0807f, 0xffffe6670000199a, 356 0xffffffffc001fffd, 0xffffe666cccce667, 357 0xffffffffc0017ffe, 0xffffe6669999b334, 358 0xffffffffc000ffff, 0xf5c28f5c3d70a3d8, 359 0xffffe6669999b333, 0xeeeeeeef11111112, 360 0xffffd555aaaad555, 0xe66666671999999a, 361 0xffffc00080017ffd, 0xe6666666e6666667, 362 0xffffc0008000fffe, 0xe6666666b3333334, 363 0xffffc00080007fff, 0xe666666680000001, 364 0xffffc00080000000, 0xe66666664cccccce, 365 0xffffc0007fff8001, 0xddddddde22222223, 366 0xffffaaab5555aaaa, 0xd70a3d70f5c28f5d, 367 0xffff999a6666cccc, 0xcccce66699998001, 368 0xffff80013fff8000, 0xcccce66666664cce, 369 0xffff80013fff0001, 0xcccce6663333199b, 370 0xffff80013ffe8002, 0xcccce665ffffe668, 371 0xffff80013ffe0003, 0xcccccce699999981, 372 0xffff8001003fff80, 0xcccccce66666664e, 373 0xffff8001003f7f81, 0xcccccce63333331b, 374 0xffff8001003eff82, 0xcccccce5ffffffe8, 375 0xffff8001003e7f83, 0xccccccd366666661, 376 0xffff8001000fffe0, 0xcccccccd9999999a, 377 0xffff800100017ffd, 0xcccccccd66666667, 378 0xffff80010000fffe, 0xcccccccd33333334, 379 0xcccccccd33333333, 0x0000000000000001, 380 0x0000000000000000, 0xffffffffaaaaaaac, 381 0xffffffffcccccccd, 0xffffffff55555557, 382 0xffffffff9999999a, 0xfffffff555555561, 383 0xfffffff9999999a0, 0xffffffd655555580, 384 0xffffffe700000019, 0xffffffd60000002b, 385 0xffffffe6cccccce6, 0xffffffd5aaaaaad6, 386 0xffffffe6999999b3, 0xffffd55655558000, 387 0xffffe66700001999, 0xffffd55600002aab, 388 0xffffe666cccce666, 0xffffd555aaaad556, 389 0xffffe6669999b333, 0xeeeeeeef11111112, 390 0xf5c28f5c3d70a3d7, 0xe38e38e3c71c71c8, 391 0xeeeeeeef11111111, 0xd555555680000000, 392 0xe666666719999999, 0xd55555562aaaaaab, 393 0xe6666666e6666666, 0xd5555555d5555556, 394 0xe6666666b3333333, 0xd555555580000001, 395 0xe666666680000000, 0xd55555552aaaaaac, 396 0xe66666664ccccccd, 0xc71c71c78e38e38f, 397 0xddddddde22222222, 0xbbbbbbbc44444445, 398 0xd70a3d70f5c28f5c, 0xaaaad555aaaa8001, 399 0xcccce66699998000, 0xaaaad55555552aac, 400 0xcccce66666664ccd, 0xaaaad554ffffd557, 401 0xcccce6663333199a, 0xaaaad554aaaa8002, 402 0xcccce665ffffe667, 0xaaaaaad5aaaaaa81, 403 0xcccccce699999980, 0xaaaaaad55555552c, 404 0xcccccce66666664d, 0xaaaaaad4ffffffd7, 405 0xcccccce63333331a, 0xaaaaaad4aaaaaa82, 406 0xcccccce5ffffffe7, 0xaaaaaab5aaaaaaa1, 407 0xccccccd366666660, 0xaaaaaaac00000000, 408 0xcccccccd99999999, 0xaaaaaaabaaaaaaab, 409 0xcccccccd66666666, 0xaaaaaaab55555556, 410 0xaaaaaaab55555555, 0x0000000000000001, 411 0x0000000000000000, 0xffffffff80000004, 412 0xffffffffaaaaaaab, 0xffffffff00000007, 413 0xffffffff55555556, 0xfffffff000000061, 414 0xfffffff555555560, 0xffffffc180000178, 415 0xffffffd65555557f, 0xffffffc10000017b, 416 0xffffffd60000002a, 0xffffffc08000017e, 417 0xffffffd5aaaaaad5, 0xffffc00180017ff8, 418 0xffffd55655557fff, 0xffffc00100017ffb, 419 0xffffd55600002aaa, 0xffffc00080017ffe, 420 0xffffd555aaaad555, 0xe66666671999999a, 421 0xeeeeeeef11111111, 0xd555555680000000, 422 0xe38e38e3c71c71c7, 0xc0000002fffffff8, 423 0xd55555567fffffff, 0xc00000027ffffffb, 424 0xd55555562aaaaaaa, 0xc0000001fffffffe, 425 0xd5555555d5555555, 0xc000000180000001, 426 0xd555555580000000, 0xc000000100000004, 427 0xd55555552aaaaaab, 0xaaaaaaacffffffff, 428 0xc71c71c78e38e38e, 0x9999999c66666665, 429 0xbbbbbbbc44444444, 0x80004002fffe8001, 430 0xaaaad555aaaa8000, 0x800040027ffe8004, 431 0xaaaad55555552aab, 0x80004001fffe8007, 432 0xaaaad554ffffd556, 0x800040017ffe800a, 433 0xaaaad554aaaa8001, 0x80000042fffffe81, 434 0xaaaaaad5aaaaaa80, 0x800000427ffffe84, 435 0xaaaaaad55555552b, 0x80000041fffffe87, 436 0xaaaaaad4ffffffd6, 0x800000417ffffe8a, 437 0xaaaaaad4aaaaaa81, 0x80000012ffffffa1, 438 0xaaaaaab5aaaaaaa0, 0x800000047ffffff8, 439 0xaaaaaaabffffffff, 0x80000003fffffffb, 440 0xaaaaaaabaaaaaaaa, 0x800000037ffffffe, 441 0x800000037ffffffd, 0x0000000000000001, 442 0x0000000000000000, 0xffffffff80000003, 443 0xffffffff80000003, 0xffffffff00000005, 444 0xffffffff00000006, 0xfffffff000000041, 445 0xfffffff000000060, 0xffffffc1800000fb, 446 0xffffffc180000177, 0xffffffc1000000fd, 447 0xffffffc10000017a, 0xffffffc0800000ff, 448 0xffffffc08000017d, 0xffffc0018000fffb, 449 0xffffc00180017ff7, 0xffffc0010000fffd, 450 0xffffc00100017ffa, 0xffffc0008000ffff, 451 0xffffc00080017ffd, 0xe6666666e6666667, 452 0xe666666719999999, 0xd55555562aaaaaab, 453 0xd55555567fffffff, 0xc00000027ffffffb, 454 0xc0000002fffffff7, 0xc0000001fffffffd, 455 0xc00000027ffffffa, 0xc00000017fffffff, 456 0xc0000001fffffffd, 0xc000000100000001, 457 0xc000000180000000, 0xc000000080000003, 458 0xc000000100000003, 0xaaaaaaac55555555, 459 0xaaaaaaacfffffffe, 0x9999999b99999999, 460 0x9999999c66666664, 0x80004001ffff0001, 461 0x80004002fffe8000, 0x800040017fff0003, 462 0x800040027ffe8003, 0x80004000ffff0005, 463 0x80004001fffe8006, 0x800040007fff0007, 464 0x800040017ffe8009, 0x80000041ffffff01, 465 0x80000042fffffe80, 0x800000417fffff03, 466 0x800000427ffffe83, 0x80000040ffffff05, 467 0x80000041fffffe86, 0x800000407fffff07, 468 0x800000417ffffe89, 0x80000011ffffffc1, 469 0x80000012ffffffa0, 0x800000037ffffffb, 470 0x800000047ffffff7, 0x80000002fffffffd, 471 0x80000003fffffffa, 0x800000027fffffff, 472 0x800000027ffffffe, 0x0000000000000001, 473 0x0000000000000000, 0xffffffff80000002, 474 0xffffffff80000002, 0xffffffff00000003, 475 0xffffffff00000004, 0xfffffff000000021, 476 0xfffffff000000040, 0xffffffc18000007e, 477 0xffffffc1800000fa, 0xffffffc10000007f, 478 0xffffffc1000000fc, 0xffffffc080000080, 479 0xffffffc0800000fe, 0xffffc00180007ffe, 480 0xffffc0018000fffa, 0xffffc00100007fff, 481 0xffffc0010000fffc, 0xffffc00080008000, 482 0xffffc0008000fffe, 0xe6666666b3333334, 483 0xe6666666e6666666, 0xd5555555d5555556, 484 0xd55555562aaaaaaa, 0xc0000001fffffffe, 485 0xc00000027ffffffa, 0xc00000017fffffff, 486 0xc0000001fffffffc, 0xc000000100000000, 487 0xc00000017ffffffe, 0xc000000080000001, 488 0xc000000100000000, 0xc000000000000002, 489 0xc000000080000002, 0xaaaaaaabaaaaaaab, 490 0xaaaaaaac55555554, 0x9999999acccccccd, 491 0x9999999b99999998, 0x80004000ffff8001, 492 0x80004001ffff0000, 0x800040007fff8002, 493 0x800040017fff0002, 0x80003fffffff8003, 494 0x80004000ffff0004, 0x80003fff7fff8004, 495 0x800040007fff0006, 0x80000040ffffff81, 496 0x80000041ffffff00, 0x800000407fffff82, 497 0x800000417fffff02, 0x8000003fffffff83, 498 0x80000040ffffff04, 0x8000003f7fffff84, 499 0x800000407fffff06, 0x80000010ffffffe1, 500 0x80000011ffffffc0, 0x800000027ffffffe, 501 0x800000037ffffffa, 0x80000001ffffffff, 502 0x80000002fffffffc, 0x8000000180000000, 503 0x800000017fffffff, 0x0000000000000001, 504 0x0000000000000000, 0xffffffff80000001, 505 0xffffffff80000001, 0xffffffff00000001, 506 0xffffffff00000002, 0xfffffff000000001, 507 0xfffffff000000020, 0xffffffc180000001, 508 0xffffffc18000007d, 0xffffffc100000001, 509 0xffffffc10000007e, 0xffffffc080000001, 510 0xffffffc08000007f, 0xffffc00180000001, 511 0xffffc00180007ffd, 0xffffc00100000001, 512 0xffffc00100007ffe, 0xffffc00080000001, 513 0xffffc00080007fff, 0xe666666680000001, 514 0xe6666666b3333333, 0xd555555580000001, 515 0xd5555555d5555555, 0xc000000180000001, 516 0xc0000001fffffffd, 0xc000000100000001, 517 0xc00000017ffffffe, 0xc000000080000001, 518 0xc0000000ffffffff, 0xc000000000000001, 519 0xc000000080000000, 0xbfffffff80000001, 520 0xc000000000000001, 0xaaaaaaab00000001, 521 0xaaaaaaabaaaaaaaa, 0x9999999a00000001, 522 0x9999999acccccccc, 0x8000400000000001, 523 0x80004000ffff8000, 0x80003fff80000001, 524 0x800040007fff8001, 0x80003fff00000001, 525 0x80003fffffff8002, 0x80003ffe80000001, 526 0x80003fff7fff8003, 0x8000004000000001, 527 0x80000040ffffff80, 0x8000003f80000001, 528 0x800000407fffff81, 0x8000003f00000001, 529 0x8000003fffffff82, 0x8000003e80000001, 530 0x8000003f7fffff83, 0x8000001000000001, 531 0x80000010ffffffe0, 0x8000000180000001, 532 0x800000027ffffffd, 0x8000000100000001, 533 0x80000001fffffffe, 0x8000000080000001, 534 0x8000000080000000, 0x0000000000000001, 535 0x0000000000000000, 0xffffffff80000000, 536 0xffffffff80000000, 0xfffffffeffffffff, 537 0xffffffff00000000, 0xffffffefffffffe1, 538 0xfffffff000000000, 0xffffffc17fffff84, 539 0xffffffc180000000, 0xffffffc0ffffff83, 540 0xffffffc100000000, 0xffffffc07fffff82, 541 0xffffffc080000000, 0xffffc0017fff8004, 542 0xffffc00180000000, 0xffffc000ffff8003, 543 0xffffc00100000000, 0xffffc0007fff8002, 544 0xffffc00080000000, 0xe66666664cccccce, 545 0xe666666680000000, 0xd55555552aaaaaac, 546 0xd555555580000000, 0xc000000100000004, 547 0xc000000180000000, 0xc000000080000003, 548 0xc000000100000000, 0xc000000000000002, 549 0xc000000080000000, 0xbfffffff80000001, 550 0xc000000000000000, 0xbfffffff00000000, 551 0xbfffffff80000000, 0xaaaaaaaa55555557, 552 0xaaaaaaab00000000, 0x9999999933333335, 553 0x9999999a00000000, 0x80003fff00008001, 554 0x8000400000000000, 0x80003ffe80008000, 555 0x80003fff80000000, 0x80003ffe00007fff, 556 0x80003fff00000000, 0x80003ffd80007ffe, 557 0x80003ffe80000000, 0x8000003f00000081, 558 0x8000004000000000, 0x8000003e80000080, 559 0x8000003f80000000, 0x8000003e0000007f, 560 0x8000003f00000000, 0x8000003d8000007e, 561 0x8000003e80000000, 0x8000000f00000021, 562 0x8000001000000000, 0x8000000080000004, 563 0x8000000180000000, 0x8000000000000003, 564 0x8000000100000000, 0x7fffffff80000002, 565 0x7fffffff80000001, 0x0000000000000001, 566 0x0000000000000000, 0xffffffff55555557, 567 0xffffffff7fffffff, 0xfffffffeaaaaaaad, 568 0xfffffffefffffffe, 0xffffffeaaaaaaac1, 569 0xffffffefffffffe0, 0xffffffacaaaaaaff, 570 0xffffffc17fffff83, 0xffffffac00000055, 571 0xffffffc0ffffff82, 0xffffffab555555ab, 572 0xffffffc07fffff81, 0xffffaaacaaaaffff, 573 0xffffc0017fff8003, 0xffffaaac00005555, 574 0xffffc000ffff8002, 0xffffaaab5555aaab, 575 0xffffc0007fff8001, 0xddddddde22222223, 576 0xe66666664ccccccd, 0xc71c71c78e38e38f, 577 0xd55555552aaaaaab, 0xaaaaaaacffffffff, 578 0xc000000100000003, 0xaaaaaaac55555555, 579 0xc000000080000002, 0xaaaaaaabaaaaaaab, 580 0xc000000000000001, 0xaaaaaaab00000001, 581 0xbfffffff80000000, 0xaaaaaaaa55555557, 582 0xbffffffeffffffff, 0x8e38e38f1c71c71d, 583 0xaaaaaaaa55555556, 0x7777777888888889, 584 0x9999999933333334, 0x5555aaab55550001, 585 0x80003fff00008000, 0x5555aaaaaaaa5557, 586 0x80003ffe80007fff, 0x5555aaa9ffffaaad, 587 0x80003ffe00007ffe, 0x5555aaa955550003, 588 0x80003ffd80007ffd, 0x555555ab55555501, 589 0x8000003f00000080, 0x555555aaaaaaaa57, 590 0x8000003e8000007f, 0x555555a9ffffffad, 591 0x8000003e0000007e, 0x555555a955555503, 592 0x8000003d8000007d, 0x5555556b55555541, 593 0x8000000f00000020, 0x55555557ffffffff, 594 0x8000000080000003, 0x5555555755555555, 595 0x8000000000000002, 0x55555556aaaaaaab, 596 0x55555556aaaaaaaa, 0x0000000000000001, 597 0x0000000000000000, 0xffffffff33333335, 598 0xffffffff55555556, 0xfffffffe66666669, 599 0xfffffffeaaaaaaac, 0xffffffe666666681, 600 0xffffffeaaaaaaac0, 0xffffff9c00000065, 601 0xffffffacaaaaaafe, 0xffffff9b33333399, 602 0xffffffac00000054, 0xffffff9a666666cd, 603 0xffffffab555555aa, 0xffff999c00006665, 604 0xffffaaacaaaafffe, 0xffff999b33339999, 605 0xffffaaac00005554, 0xffff999a6666cccd, 606 0xffffaaab5555aaaa, 0xd70a3d70f5c28f5d, 607 0xddddddde22222222, 0xbbbbbbbc44444445, 608 0xc71c71c78e38e38e, 0x9999999c66666665, 609 0xaaaaaaacfffffffe, 0x9999999b99999999, 610 0xaaaaaaac55555554, 0x9999999acccccccd, 611 0xaaaaaaabaaaaaaaa, 0x9999999a00000001, 612 0xaaaaaaab00000000, 0x9999999933333335, 613 0xaaaaaaaa55555556, 0x7777777888888889, 614 0x8e38e38f1c71c71c, 0x5c28f5c3d70a3d71, 615 0x7777777888888888, 0x3333999a66660001, 616 0x5555aaab55550000, 0x3333999999993335, 617 0x5555aaaaaaaa5556, 0x33339998cccc6669, 618 0x5555aaa9ffffaaac, 0x33339997ffff999d, 619 0x5555aaa955550002, 0x3333339a66666601, 620 0x555555ab55555500, 0x3333339999999935, 621 0x555555aaaaaaaa56, 0x33333398cccccc69, 622 0x555555a9ffffffac, 0x33333397ffffff9d, 623 0x555555a955555502, 0x3333334d99999981, 624 0x5555556b55555540, 0x3333333666666665, 625 0x55555557fffffffe, 0x3333333599999999, 626 0x5555555755555554, 0x33333334cccccccd, 627 0x33333334cccccccc, 0x0000000000000001, 628 0x0000000000000000, 0xffffffff00008001, 629 0xffffffff33333334, 0xfffffffe00010001, 630 0xfffffffe66666668, 0xffffffe000100001, 631 0xffffffe666666680, 0xffffff83003e8001, 632 0xffffff9c00000064, 0xffffff82003f0001, 633 0xffffff9b33333398, 0xffffff81003f8001, 634 0xffffff9a666666cc, 0xffff80033ffe8001, 635 0xffff999c00006664, 0xffff80023fff0001, 636 0xffff999b33339998, 0xffff80013fff8001, 637 0xffff999a6666cccc, 0xcccce66699998001, 638 0xd70a3d70f5c28f5c, 0xaaaad555aaaa8001, 639 0xbbbbbbbc44444444, 0x80004002fffe8001, 640 0x9999999c66666664, 0x80004001ffff0001, 641 0x9999999b99999998, 0x80004000ffff8001, 642 0x9999999acccccccc, 0x8000400000000001, 643 0x9999999a00000000, 0x80003fff00008001, 644 0x9999999933333334, 0x5555aaab55550001, 645 0x7777777888888888, 0x3333999a66660001, 646 0x5c28f5c3d70a3d70, 0x0000ffffc0000001, 647 0x3333999a66660000, 0x0000fffec0008001, 648 0x3333999999993334, 0x0000fffdc0010001, 649 0x33339998cccc6668, 0x0000fffcc0018001, 650 0x33339997ffff999c, 0x0000807fffc00001, 651 0x3333339a66666600, 0x0000807effc08001, 652 0x3333339999999934, 0x0000807dffc10001, 653 0x33333398cccccc68, 0x0000807cffc18001, 654 0x33333397ffffff9c, 0x0000801ffff00001, 655 0x3333334d99999980, 0x00008002fffe8001, 656 0x3333333666666664, 0x00008001ffff0001, 657 0x3333333599999998, 0x00008000ffff8001, 658 0x00008000ffff8000, 0x0000000000000001, 659 0x0000000000000000, 0xffffffff00008000, 660 0xffffffff00008000, 0xfffffffe0000ffff, 661 0xfffffffe00010000, 0xffffffe0000fffe1, 662 0xffffffe000100000, 0xffffff83003e7f84, 663 0xffffff83003e8000, 0xffffff82003eff83, 664 0xffffff82003f0000, 0xffffff81003f7f82, 665 0xffffff81003f8000, 0xffff80033ffe0004, 666 0xffff80033ffe8000, 0xffff80023ffe8003, 667 0xffff80023fff0000, 0xffff80013fff0002, 668 0xffff80013fff8000, 0xcccce66666664cce, 669 0xcccce66699998000, 0xaaaad55555552aac, 670 0xaaaad555aaaa8000, 0x800040027ffe8004, 671 0x80004002fffe8000, 0x800040017fff0003, 672 0x80004001ffff0000, 0x800040007fff8002, 673 0x80004000ffff8000, 0x80003fff80000001, 674 0x8000400000000000, 0x80003ffe80008000, 675 0x80003fff00008000, 0x5555aaaaaaaa5557, 676 0x5555aaab55550000, 0x3333999999993335, 677 0x3333999a66660000, 0x0000fffec0008001, 678 0x0000ffffc0000000, 0x0000fffdc0010000, 679 0x0000fffec0008000, 0x0000fffcc0017fff, 680 0x0000fffdc0010000, 0x0000fffbc001fffe, 681 0x0000fffcc0018000, 0x0000807effc00081, 682 0x0000807fffc00000, 0x0000807dffc08080, 683 0x0000807effc08000, 0x0000807cffc1007f, 684 0x0000807dffc10000, 0x0000807bffc1807e, 685 0x0000807cffc18000, 0x0000801efff00021, 686 0x0000801ffff00000, 0x00008001fffe8004, 687 0x00008002fffe8000, 0x00008000ffff0003, 688 0x00008001ffff0000, 0x00007fffffff8002, 689 0x00007fffffff8001, 0x0000000000000001, 690 0x0000000000000000, 0xffffffff00007fff, 691 0xffffffff00007fff, 0xfffffffe0000fffd, 692 0xfffffffe0000fffe, 0xffffffe0000fffc1, 693 0xffffffe0000fffe0, 0xffffff83003e7f07, 694 0xffffff83003e7f83, 0xffffff82003eff05, 695 0xffffff82003eff82, 0xffffff81003f7f03, 696 0xffffff81003f7f81, 0xffff80033ffd8007, 697 0xffff80033ffe0003, 0xffff80023ffe0005, 698 0xffff80023ffe8002, 0xffff80013ffe8003, 699 0xffff80013fff0001, 0xcccce6663333199b, 700 0xcccce66666664ccd, 0xaaaad554ffffd557, 701 0xaaaad55555552aab, 0x80004001fffe8007, 702 0x800040027ffe8003, 0x80004000ffff0005, 703 0x800040017fff0002, 0x80003fffffff8003, 704 0x800040007fff8001, 0x80003fff00000001, 705 0x80003fff80000000, 0x80003ffe00007fff, 706 0x80003ffe80007fff, 0x5555aaa9ffffaaad, 707 0x5555aaaaaaaa5556, 0x33339998cccc6669, 708 0x3333999999993334, 0x0000fffdc0010001, 709 0x0000fffec0008000, 0x0000fffcc0017fff, 710 0x0000fffdc000ffff, 0x0000fffbc001fffd, 711 0x0000fffcc0017ffe, 0x0000fffac0027ffb, 712 0x0000fffbc001fffd, 0x0000807dffc00101, 713 0x0000807effc00080, 0x0000807cffc080ff, 714 0x0000807dffc0807f, 0x0000807bffc100fd, 715 0x0000807cffc1007e, 0x0000807affc180fb, 716 0x0000807bffc1807d, 0x0000801dfff00041, 717 0x0000801efff00020, 0x00008000fffe8007, 718 0x00008001fffe8003, 0x00007fffffff0005, 719 0x00008000ffff0002, 0x00007ffeffff8003, 720 0x00007ffeffff8002, 0x0000000000000001, 721 0x0000000000000000, 0xffffffff00007ffe, 722 0xffffffff00007ffe, 0xfffffffe0000fffb, 723 0xfffffffe0000fffc, 0xffffffe0000fffa1, 724 0xffffffe0000fffc0, 0xffffff83003e7e8a, 725 0xffffff83003e7f06, 0xffffff82003efe87, 726 0xffffff82003eff04, 0xffffff81003f7e84, 727 0xffffff81003f7f02, 0xffff80033ffd000a, 728 0xffff80033ffd8006, 0xffff80023ffd8007, 729 0xffff80023ffe0004, 0xffff80013ffe0004, 730 0xffff80013ffe8002, 0xcccce665ffffe668, 731 0xcccce6663333199a, 0xaaaad554aaaa8002, 732 0xaaaad554ffffd556, 0x800040017ffe800a, 733 0x80004001fffe8006, 0x800040007fff0007, 734 0x80004000ffff0004, 0x80003fff7fff8004, 735 0x80003fffffff8002, 0x80003ffe80000001, 736 0x80003fff00000000, 0x80003ffd80007ffe, 737 0x80003ffe00007ffe, 0x5555aaa955550003, 738 0x5555aaa9ffffaaac, 0x33339997ffff999d, 739 0x33339998cccc6668, 0x0000fffcc0018001, 740 0x0000fffdc0010000, 0x0000fffbc001fffe, 741 0x0000fffcc0017ffe, 0x0000fffac0027ffb, 742 0x0000fffbc001fffc, 0x0000fff9c002fff8, 743 0x0000fffac0027ffa, 0x0000807cffc00181, 744 0x0000807dffc00100, 0x0000807bffc0817e, 745 0x0000807cffc080fe, 0x0000807affc1017b, 746 0x0000807bffc100fc, 0x00008079ffc18178, 747 0x0000807affc180fa, 0x0000801cfff00061, 748 0x0000801dfff00040, 0x00007ffffffe800a, 749 0x00008000fffe8006, 0x00007ffeffff0007, 750 0x00007fffffff0004, 0x00007ffdffff8004, 751 0x00007ffdffff8003, 0x0000000000000001, 752 0x0000000000000000, 0xffffffff00000081, 753 0xffffffff00007ffd, 0xfffffffe00000101, 754 0xfffffffe0000fffa, 0xffffffe000001001, 755 0xffffffe0000fffa0, 0xffffff8300003e81, 756 0xffffff83003e7e89, 0xffffff8200003f01, 757 0xffffff82003efe86, 0xffffff8100003f81, 758 0xffffff81003f7e83, 0xffff8003003ffe81, 759 0xffff80033ffd0009, 0xffff8002003fff01, 760 0xffff80023ffd8006, 0xffff8001003fff81, 761 0xffff80013ffe0003, 0xcccccce699999981, 762 0xcccce665ffffe667, 0xaaaaaad5aaaaaa81, 763 0xaaaad554aaaa8001, 0x80000042fffffe81, 764 0x800040017ffe8009, 0x80000041ffffff01, 765 0x800040007fff0006, 0x80000040ffffff81, 766 0x80003fff7fff8003, 0x8000004000000001, 767 0x80003ffe80000000, 0x8000003f00000081, 768 0x80003ffd80007ffd, 0x555555ab55555501, 769 0x5555aaa955550002, 0x3333339a66666601, 770 0x33339997ffff999c, 0x0000807fffc00001, 771 0x0000fffcc0018000, 0x0000807effc00081, 772 0x0000fffbc001fffd, 0x0000807dffc00101, 773 0x0000fffac0027ffa, 0x0000807cffc00181, 774 0x0000fff9c002fff7, 0x000000ffffffc001, 775 0x0000807cffc00180, 0x000000feffffc081, 776 0x0000807bffc0817d, 0x000000fdffffc101, 777 0x0000807affc1017a, 0x000000fcffffc181, 778 0x00008079ffc18177, 0x0000009ffffff001, 779 0x0000801cfff00060, 0x00000082fffffe81, 780 0x00007ffffffe8009, 0x00000081ffffff01, 781 0x00007ffeffff0006, 0x00000080ffffff81, 782 0x00000080ffffff80, 0x0000000000000001, 783 0x0000000000000000, 0xffffffff00000080, 784 0xffffffff00000080, 0xfffffffe000000ff, 785 0xfffffffe00000100, 0xffffffe000000fe1, 786 0xffffffe000001000, 0xffffff8300003e04, 787 0xffffff8300003e80, 0xffffff8200003e83, 788 0xffffff8200003f00, 0xffffff8100003f02, 789 0xffffff8100003f80, 0xffff8003003f7e84, 790 0xffff8003003ffe80, 0xffff8002003f7f03, 791 0xffff8002003fff00, 0xffff8001003f7f82, 792 0xffff8001003fff80, 0xcccccce66666664e, 793 0xcccccce699999980, 0xaaaaaad55555552c, 794 0xaaaaaad5aaaaaa80, 0x800000427ffffe84, 795 0x80000042fffffe80, 0x800000417fffff03, 796 0x80000041ffffff00, 0x800000407fffff82, 797 0x80000040ffffff80, 0x8000003f80000001, 798 0x8000004000000000, 0x8000003e80000080, 799 0x8000003f00000080, 0x555555aaaaaaaa57, 800 0x555555ab55555500, 0x3333339999999935, 801 0x3333339a66666600, 0x0000807effc08001, 802 0x0000807fffc00000, 0x0000807dffc08080, 803 0x0000807effc00080, 0x0000807cffc080ff, 804 0x0000807dffc00100, 0x0000807bffc0817e, 805 0x0000807cffc00180, 0x000000feffffc081, 806 0x000000ffffffc000, 0x000000fdffffc100, 807 0x000000feffffc080, 0x000000fcffffc17f, 808 0x000000fdffffc100, 0x000000fbffffc1fe, 809 0x000000fcffffc180, 0x0000009efffff021, 810 0x0000009ffffff000, 0x00000081fffffe84, 811 0x00000082fffffe80, 0x00000080ffffff03, 812 0x00000081ffffff00, 0x0000007fffffff82, 813 0x0000007fffffff81, 0x0000000000000001, 814 0x0000000000000000, 0xffffffff0000007f, 815 0xffffffff0000007f, 0xfffffffe000000fd, 816 0xfffffffe000000fe, 0xffffffe000000fc1, 817 0xffffffe000000fe0, 0xffffff8300003d87, 818 0xffffff8300003e03, 0xffffff8200003e05, 819 0xffffff8200003e82, 0xffffff8100003e83, 820 0xffffff8100003f01, 0xffff8003003efe87, 821 0xffff8003003f7e83, 0xffff8002003eff05, 822 0xffff8002003f7f02, 0xffff8001003eff83, 823 0xffff8001003f7f81, 0xcccccce63333331b, 824 0xcccccce66666664d, 0xaaaaaad4ffffffd7, 825 0xaaaaaad55555552b, 0x80000041fffffe87, 826 0x800000427ffffe83, 0x80000040ffffff05, 827 0x800000417fffff02, 0x8000003fffffff83, 828 0x800000407fffff81, 0x8000003f00000001, 829 0x8000003f80000000, 0x8000003e0000007f, 830 0x8000003e8000007f, 0x555555a9ffffffad, 831 0x555555aaaaaaaa56, 0x33333398cccccc69, 832 0x3333339999999934, 0x0000807dffc10001, 833 0x0000807effc08000, 0x0000807cffc1007f, 834 0x0000807dffc0807f, 0x0000807bffc100fd, 835 0x0000807cffc080fe, 0x0000807affc1017b, 836 0x0000807bffc0817d, 0x000000fdffffc101, 837 0x000000feffffc080, 0x000000fcffffc17f, 838 0x000000fdffffc0ff, 0x000000fbffffc1fd, 839 0x000000fcffffc17e, 0x000000faffffc27b, 840 0x000000fbffffc1fd, 0x0000009dfffff041, 841 0x0000009efffff020, 0x00000080fffffe87, 842 0x00000081fffffe83, 0x0000007fffffff05, 843 0x00000080ffffff02, 0x0000007effffff83, 844 0x0000007effffff82, 0x0000000000000001, 845 0x0000000000000000, 0xffffffff0000007e, 846 0xffffffff0000007e, 0xfffffffe000000fb, 847 0xfffffffe000000fc, 0xffffffe000000fa1, 848 0xffffffe000000fc0, 0xffffff8300003d0a, 849 0xffffff8300003d86, 0xffffff8200003d87, 850 0xffffff8200003e04, 0xffffff8100003e04, 851 0xffffff8100003e82, 0xffff8003003e7e8a, 852 0xffff8003003efe86, 0xffff8002003e7f07, 853 0xffff8002003eff04, 0xffff8001003e7f84, 854 0xffff8001003eff82, 0xcccccce5ffffffe8, 855 0xcccccce63333331a, 0xaaaaaad4aaaaaa82, 856 0xaaaaaad4ffffffd6, 0x800000417ffffe8a, 857 0x80000041fffffe86, 0x800000407fffff07, 858 0x80000040ffffff04, 0x8000003f7fffff84, 859 0x8000003fffffff82, 0x8000003e80000001, 860 0x8000003f00000000, 0x8000003d8000007e, 861 0x8000003e0000007e, 0x555555a955555503, 862 0x555555a9ffffffac, 0x33333397ffffff9d, 863 0x33333398cccccc68, 0x0000807cffc18001, 864 0x0000807dffc10000, 0x0000807bffc1807e, 865 0x0000807cffc1007e, 0x0000807affc180fb, 866 0x0000807bffc100fc, 0x00008079ffc18178, 867 0x0000807affc1017a, 0x000000fcffffc181, 868 0x000000fdffffc100, 0x000000fbffffc1fe, 869 0x000000fcffffc17e, 0x000000faffffc27b, 870 0x000000fbffffc1fc, 0x000000f9ffffc2f8, 871 0x000000faffffc27a, 0x0000009cfffff061, 872 0x0000009dfffff040, 0x0000007ffffffe8a, 873 0x00000080fffffe86, 0x0000007effffff07, 874 0x0000007fffffff04, 0x0000007dffffff84, 875 0x0000007dffffff83, 0x0000000000000001, 876 0x0000000000000000, 0xffffffff00000021, 877 0xffffffff0000007d, 0xfffffffe00000041, 878 0xfffffffe000000fa, 0xffffffe000000401, 879 0xffffffe000000fa0, 0xffffff8300000fa1, 880 0xffffff8300003d09, 0xffffff8200000fc1, 881 0xffffff8200003d86, 0xffffff8100000fe1, 882 0xffffff8100003e03, 0xffff8003000fffa1, 883 0xffff8003003e7e89, 0xffff8002000fffc1, 884 0xffff8002003e7f06, 0xffff8001000fffe1, 885 0xffff8001003e7f83, 0xccccccd366666661, 886 0xcccccce5ffffffe7, 0xaaaaaab5aaaaaaa1, 887 0xaaaaaad4aaaaaa81, 0x80000012ffffffa1, 888 0x800000417ffffe89, 0x80000011ffffffc1, 889 0x800000407fffff06, 0x80000010ffffffe1, 890 0x8000003f7fffff83, 0x8000001000000001, 891 0x8000003e80000000, 0x8000000f00000021, 892 0x8000003d8000007d, 0x5555556b55555541, 893 0x555555a955555502, 0x3333334d99999981, 894 0x33333397ffffff9c, 0x0000801ffff00001, 895 0x0000807cffc18000, 0x0000801efff00021, 896 0x0000807bffc1807d, 0x0000801dfff00041, 897 0x0000807affc180fa, 0x0000801cfff00061, 898 0x00008079ffc18177, 0x0000009ffffff001, 899 0x000000fcffffc180, 0x0000009efffff021, 900 0x000000fbffffc1fd, 0x0000009dfffff041, 901 0x000000faffffc27a, 0x0000009cfffff061, 902 0x000000f9ffffc2f7, 0x0000003ffffffc01, 903 0x0000009cfffff060, 0x00000022ffffffa1, 904 0x0000007ffffffe89, 0x00000021ffffffc1, 905 0x0000007effffff06, 0x00000020ffffffe1, 906 0x00000020ffffffe0, 0x0000000000000001, 907 0x0000000000000000, 0xffffffff00000004, 908 0xffffffff00000020, 0xfffffffe00000007, 909 0xfffffffe00000040, 0xffffffe000000061, 910 0xffffffe000000400, 0xffffff8300000178, 911 0xffffff8300000fa0, 0xffffff820000017b, 912 0xffffff8200000fc0, 0xffffff810000017e, 913 0xffffff8100000fe0, 0xffff800300017ff8, 914 0xffff8003000fffa0, 0xffff800200017ffb, 915 0xffff8002000fffc0, 0xffff800100017ffe, 916 0xffff8001000fffe0, 0xcccccccd9999999a, 917 0xccccccd366666660, 0xaaaaaaac00000000, 918 0xaaaaaab5aaaaaaa0, 0x800000047ffffff8, 919 0x80000012ffffffa0, 0x800000037ffffffb, 920 0x80000011ffffffc0, 0x800000027ffffffe, 921 0x80000010ffffffe0, 0x8000000180000001, 922 0x8000001000000000, 0x8000000080000004, 923 0x8000000f00000020, 0x55555557ffffffff, 924 0x5555556b55555540, 0x3333333666666665, 925 0x3333334d99999980, 0x00008002fffe8001, 926 0x0000801ffff00000, 0x00008001fffe8004, 927 0x0000801efff00020, 0x00008000fffe8007, 928 0x0000801dfff00040, 0x00007ffffffe800a, 929 0x0000801cfff00060, 0x00000082fffffe81, 930 0x0000009ffffff000, 0x00000081fffffe84, 931 0x0000009efffff020, 0x00000080fffffe87, 932 0x0000009dfffff040, 0x0000007ffffffe8a, 933 0x0000009cfffff060, 0x00000022ffffffa1, 934 0x0000003ffffffc00, 0x00000005fffffff8, 935 0x00000022ffffffa0, 0x00000004fffffffb, 936 0x00000021ffffffc0, 0x00000003fffffffe, 937 0x00000003fffffffd, 0x0000000000000001, 938 0x0000000000000000, 0xffffffff00000003, 939 0xffffffff00000003, 0xfffffffe00000005, 940 0xfffffffe00000006, 0xffffffe000000041, 941 0xffffffe000000060, 0xffffff83000000fb, 942 0xffffff8300000177, 0xffffff82000000fd, 943 0xffffff820000017a, 0xffffff81000000ff, 944 0xffffff810000017d, 0xffff80030000fffb, 945 0xffff800300017ff7, 0xffff80020000fffd, 946 0xffff800200017ffa, 0xffff80010000ffff, 947 0xffff800100017ffd, 0xcccccccd66666667, 948 0xcccccccd99999999, 0xaaaaaaabaaaaaaab, 949 0xaaaaaaabffffffff, 0x80000003fffffffb, 950 0x800000047ffffff7, 0x80000002fffffffd, 951 0x800000037ffffffa, 0x80000001ffffffff, 952 0x800000027ffffffd, 0x8000000100000001, 953 0x8000000180000000, 0x8000000000000003, 954 0x8000000080000003, 0x5555555755555555, 955 0x55555557fffffffe, 0x3333333599999999, 956 0x3333333666666664, 0x00008001ffff0001, 957 0x00008002fffe8000, 0x00008000ffff0003, 958 0x00008001fffe8003, 0x00007fffffff0005, 959 0x00008000fffe8006, 0x00007ffeffff0007, 960 0x00007ffffffe8009, 0x00000081ffffff01, 961 0x00000082fffffe80, 0x00000080ffffff03, 962 0x00000081fffffe83, 0x0000007fffffff05, 963 0x00000080fffffe86, 0x0000007effffff07, 964 0x0000007ffffffe89, 0x00000021ffffffc1, 965 0x00000022ffffffa0, 0x00000004fffffffb, 966 0x00000005fffffff7, 0x00000003fffffffd, 967 0x00000004fffffffa, 0x00000002ffffffff, 968 0x00000002fffffffe, 0x0000000000000001, 969 0x0000000000000000, 0xffffffff00000002, 970 0xffffffff00000002, 0xfffffffe00000003, 971 0xfffffffe00000004, 0xffffffe000000021, 972 0xffffffe000000040, 0xffffff830000007e, 973 0xffffff83000000fa, 0xffffff820000007f, 974 0xffffff82000000fc, 0xffffff8100000080, 975 0xffffff81000000fe, 0xffff800300007ffe, 976 0xffff80030000fffa, 0xffff800200007fff, 977 0xffff80020000fffc, 0xffff800100008000, 978 0xffff80010000fffe, 0xcccccccd33333334, 979 0xcccccccd66666666, 0xaaaaaaab55555556, 980 0xaaaaaaabaaaaaaaa, 0x800000037ffffffe, 981 0x80000003fffffffa, 0x800000027fffffff, 982 0x80000002fffffffc, 0x8000000180000000, 983 0x80000001fffffffe, 0x8000000080000001, 984 0x8000000100000000, 0x7fffffff80000002, 985 0x8000000000000002, 0x55555556aaaaaaab, 986 0x5555555755555554, 0x33333334cccccccd, 987 0x3333333599999998, 0x00008000ffff8001, 988 0x00008001ffff0000, 0x00007fffffff8002, 989 0x00008000ffff0002, 0x00007ffeffff8003, 990 0x00007fffffff0004, 0x00007ffdffff8004, 991 0x00007ffeffff0006, 0x00000080ffffff81, 992 0x00000081ffffff00, 0x0000007fffffff82, 993 0x00000080ffffff02, 0x0000007effffff83, 994 0x0000007fffffff04, 0x0000007dffffff84, 995 0x0000007effffff06, 0x00000020ffffffe1, 996 0x00000021ffffffc0, 0x00000003fffffffe, 997 0x00000004fffffffa, 0x00000002ffffffff, 998 0x00000003fffffffc, 0x0000000200000000, 999 }; 1000 const unsigned kExpectedCount_NEON_umlsl2_2D = 961; 1001 1002 #endif // VIXL_SIM_UMLSL2_2D_TRACE_A64_H_ 1003
