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_SMULL2_2D_TRACE_A64_H_ 35 #define VIXL_SIM_SMULL2_2D_TRACE_A64_H_ 36 37 const uint64_t kExpected_NEON_smull2_2D[] = { 38 0x00003ffd00090000, 0x0000000000000000, 39 0x0000000000000000, 0x0000000000000000, 40 0x00000000007ffd00, 0x0000000000000000, 41 0x0000000000fffa00, 0x0000000000000000, 42 0x000000000fffa000, 0x0000000000000000, 43 0x000000003e7e8900, 0x0000000000000000, 44 0x000000003efe8600, 0x0000000000000000, 45 0x000000003f7e8300, 0x0000000000000000, 46 0x0000003ffd000900, 0x0000000000000000, 47 0x0000003ffd800600, 0x0000000000000000, 48 0x0000003ffe000300, 0x0000000000000000, 49 0x001998ffffe66700, 0x0000000000000000, 50 0x002aa9aaaa800100, 0x0000000000000000, 51 0x003ffe7ffe800900, 0x0000000000000000, 52 0x003ffe7fff000600, 0x0000000000000000, 53 0x003ffe7fff800300, 0x0000000000000000, 54 0xffc0018000000000, 0x0000000000000000, 55 0xffc00180007ffd00, 0x0000000000000000, 56 0xffd5565555000200, 0x0000000000000000, 57 0xffe666ffff999c00, 0x0000000000000000, 58 0xffffffc001800000, 0x0000000000000000, 59 0xffffffc001fffd00, 0x0000000000000000, 60 0xffffffc0027ffa00, 0x0000000000000000, 61 0xffffffc002fff700, 0x0000000000000000, 62 0xffffffffc0018000, 0x0000000000000000, 63 0xffffffffc0817d00, 0x0000000000000000, 64 0xffffffffc1017a00, 0x0000000000000000, 65 0xffffffffc1817700, 0x0000000000000000, 66 0xfffffffff0006000, 0x0000000000000000, 67 0xfffffffffe800900, 0x0000000000000000, 68 0xffffffffff000600, 0x0000000000000000, 69 0x0000000000000000, 0x0000000000000000, 70 0x0000000000000000, 0x0000000000000001, 71 0x0000000000000000, 0x0000000000000002, 72 0x0000000000000000, 0x0000000000000020, 73 0x0000000000000000, 0x000000000000007d, 74 0x0000000000000000, 0x000000000000007e, 75 0x0000000000000000, 0x000000000000007f, 76 0x0000000000000000, 0x0000000000007ffd, 77 0x0000000000000000, 0x0000000000007ffe, 78 0x0000000000000000, 0x0000000000007fff, 79 0x0000000000000000, 0x0000000033333333, 80 0x0000000000000000, 0x0000000055555555, 81 0x0000000000000000, 0x000000007ffffffd, 82 0x0000000000000000, 0x000000007ffffffe, 83 0x0000000000000000, 0x000000007fffffff, 84 0x0000000000000000, 0xffffffff80000000, 85 0x0000000000000000, 0xffffffff80000001, 86 0x0000000000000000, 0xffffffffaaaaaaaa, 87 0x0000000000000000, 0xffffffffcccccccc, 88 0x0000000000000000, 0xffffffffffff8000, 89 0x0000000000000000, 0xffffffffffff8001, 90 0x0000000000000000, 0xffffffffffff8002, 91 0x0000000000000000, 0xffffffffffff8003, 92 0x0000000000000000, 0xffffffffffffff80, 93 0x0000000000000000, 0xffffffffffffff81, 94 0x0000000000000000, 0xffffffffffffff82, 95 0x0000000000000000, 0xffffffffffffff83, 96 0x0000000000000000, 0xffffffffffffffe0, 97 0x0000000000000000, 0xfffffffffffffffd, 98 0x0000000000000000, 0xfffffffffffffffe, 99 0x0000000000000000, 0xffffffffffffffff, 100 0xffffffffffffffff, 0x0000000000000000, 101 0x0000000000000000, 0x0000000000000002, 102 0x0000000000000001, 0x0000000000000004, 103 0x0000000000000002, 0x0000000000000040, 104 0x0000000000000020, 0x00000000000000fa, 105 0x000000000000007d, 0x00000000000000fc, 106 0x000000000000007e, 0x00000000000000fe, 107 0x000000000000007f, 0x000000000000fffa, 108 0x0000000000007ffd, 0x000000000000fffc, 109 0x0000000000007ffe, 0x000000000000fffe, 110 0x0000000000007fff, 0x0000000066666666, 111 0x0000000033333333, 0x00000000aaaaaaaa, 112 0x0000000055555555, 0x00000000fffffffa, 113 0x000000007ffffffd, 0x00000000fffffffc, 114 0x000000007ffffffe, 0x00000000fffffffe, 115 0x000000007fffffff, 0xffffffff00000000, 116 0xffffffff80000000, 0xffffffff00000002, 117 0xffffffff80000001, 0xffffffff55555554, 118 0xffffffffaaaaaaaa, 0xffffffff99999998, 119 0xffffffffcccccccc, 0xffffffffffff0000, 120 0xffffffffffff8000, 0xffffffffffff0002, 121 0xffffffffffff8001, 0xffffffffffff0004, 122 0xffffffffffff8002, 0xffffffffffff0006, 123 0xffffffffffff8003, 0xffffffffffffff00, 124 0xffffffffffffff80, 0xffffffffffffff02, 125 0xffffffffffffff81, 0xffffffffffffff04, 126 0xffffffffffffff82, 0xffffffffffffff06, 127 0xffffffffffffff83, 0xffffffffffffffc0, 128 0xffffffffffffffe0, 0xfffffffffffffffa, 129 0xfffffffffffffffd, 0xfffffffffffffffc, 130 0xfffffffffffffffe, 0xfffffffffffffffe, 131 0xfffffffffffffffe, 0x0000000000000000, 132 0x0000000000000000, 0x0000000000000020, 133 0x0000000000000002, 0x0000000000000040, 134 0x0000000000000004, 0x0000000000000400, 135 0x0000000000000040, 0x0000000000000fa0, 136 0x00000000000000fa, 0x0000000000000fc0, 137 0x00000000000000fc, 0x0000000000000fe0, 138 0x00000000000000fe, 0x00000000000fffa0, 139 0x000000000000fffa, 0x00000000000fffc0, 140 0x000000000000fffc, 0x00000000000fffe0, 141 0x000000000000fffe, 0x0000000666666660, 142 0x0000000066666666, 0x0000000aaaaaaaa0, 143 0x00000000aaaaaaaa, 0x0000000fffffffa0, 144 0x00000000fffffffa, 0x0000000fffffffc0, 145 0x00000000fffffffc, 0x0000000fffffffe0, 146 0x00000000fffffffe, 0xfffffff000000000, 147 0xffffffff00000000, 0xfffffff000000020, 148 0xffffffff00000002, 0xfffffff555555540, 149 0xffffffff55555554, 0xfffffff999999980, 150 0xffffffff99999998, 0xfffffffffff00000, 151 0xffffffffffff0000, 0xfffffffffff00020, 152 0xffffffffffff0002, 0xfffffffffff00040, 153 0xffffffffffff0004, 0xfffffffffff00060, 154 0xffffffffffff0006, 0xfffffffffffff000, 155 0xffffffffffffff00, 0xfffffffffffff020, 156 0xffffffffffffff02, 0xfffffffffffff040, 157 0xffffffffffffff04, 0xfffffffffffff060, 158 0xffffffffffffff06, 0xfffffffffffffc00, 159 0xffffffffffffffc0, 0xffffffffffffffa0, 160 0xfffffffffffffffa, 0xffffffffffffffc0, 161 0xfffffffffffffffc, 0xffffffffffffffe0, 162 0xffffffffffffffe0, 0x0000000000000000, 163 0x0000000000000000, 0x000000000000007d, 164 0x0000000000000020, 0x00000000000000fa, 165 0x0000000000000040, 0x0000000000000fa0, 166 0x0000000000000400, 0x0000000000003d09, 167 0x0000000000000fa0, 0x0000000000003d86, 168 0x0000000000000fc0, 0x0000000000003e03, 169 0x0000000000000fe0, 0x00000000003e7e89, 170 0x00000000000fffa0, 0x00000000003e7f06, 171 0x00000000000fffc0, 0x00000000003e7f83, 172 0x00000000000fffe0, 0x00000018ffffffe7, 173 0x0000000666666660, 0x00000029aaaaaa81, 174 0x0000000aaaaaaaa0, 0x0000003e7ffffe89, 175 0x0000000fffffffa0, 0x0000003e7fffff06, 176 0x0000000fffffffc0, 0x0000003e7fffff83, 177 0x0000000fffffffe0, 0xffffffc180000000, 178 0xfffffff000000000, 0xffffffc18000007d, 179 0xfffffff000000020, 0xffffffd655555502, 180 0xfffffff555555540, 0xffffffe6ffffff9c, 181 0xfffffff999999980, 0xffffffffffc18000, 182 0xfffffffffff00000, 0xffffffffffc1807d, 183 0xfffffffffff00020, 0xffffffffffc180fa, 184 0xfffffffffff00040, 0xffffffffffc18177, 185 0xfffffffffff00060, 0xffffffffffffc180, 186 0xfffffffffffff000, 0xffffffffffffc1fd, 187 0xfffffffffffff020, 0xffffffffffffc27a, 188 0xfffffffffffff040, 0xffffffffffffc2f7, 189 0xfffffffffffff060, 0xfffffffffffff060, 190 0xfffffffffffffc00, 0xfffffffffffffe89, 191 0xffffffffffffffa0, 0xffffffffffffff06, 192 0xffffffffffffffc0, 0xffffffffffffff83, 193 0xffffffffffffff83, 0x0000000000000000, 194 0x0000000000000000, 0x000000000000007e, 195 0x000000000000007d, 0x00000000000000fc, 196 0x00000000000000fa, 0x0000000000000fc0, 197 0x0000000000000fa0, 0x0000000000003d86, 198 0x0000000000003d09, 0x0000000000003e04, 199 0x0000000000003d86, 0x0000000000003e82, 200 0x0000000000003e03, 0x00000000003efe86, 201 0x00000000003e7e89, 0x00000000003eff04, 202 0x00000000003e7f06, 0x00000000003eff82, 203 0x00000000003e7f83, 0x000000193333331a, 204 0x00000018ffffffe7, 0x00000029ffffffd6, 205 0x00000029aaaaaa81, 0x0000003efffffe86, 206 0x0000003e7ffffe89, 0x0000003effffff04, 207 0x0000003e7fffff06, 0x0000003effffff82, 208 0x0000003e7fffff83, 0xffffffc100000000, 209 0xffffffc180000000, 0xffffffc10000007e, 210 0xffffffc18000007d, 0xffffffd5ffffffac, 211 0xffffffd655555502, 0xffffffe6cccccc68, 212 0xffffffe6ffffff9c, 0xffffffffffc10000, 213 0xffffffffffc18000, 0xffffffffffc1007e, 214 0xffffffffffc1807d, 0xffffffffffc100fc, 215 0xffffffffffc180fa, 0xffffffffffc1017a, 216 0xffffffffffc18177, 0xffffffffffffc100, 217 0xffffffffffffc180, 0xffffffffffffc17e, 218 0xffffffffffffc1fd, 0xffffffffffffc1fc, 219 0xffffffffffffc27a, 0xffffffffffffc27a, 220 0xffffffffffffc2f7, 0xfffffffffffff040, 221 0xfffffffffffff060, 0xfffffffffffffe86, 222 0xfffffffffffffe89, 0xffffffffffffff04, 223 0xffffffffffffff06, 0xffffffffffffff82, 224 0xffffffffffffff82, 0x0000000000000000, 225 0x0000000000000000, 0x000000000000007f, 226 0x000000000000007e, 0x00000000000000fe, 227 0x00000000000000fc, 0x0000000000000fe0, 228 0x0000000000000fc0, 0x0000000000003e03, 229 0x0000000000003d86, 0x0000000000003e82, 230 0x0000000000003e04, 0x0000000000003f01, 231 0x0000000000003e82, 0x00000000003f7e83, 232 0x00000000003efe86, 0x00000000003f7f02, 233 0x00000000003eff04, 0x00000000003f7f81, 234 0x00000000003eff82, 0x000000196666664d, 235 0x000000193333331a, 0x0000002a5555552b, 236 0x00000029ffffffd6, 0x0000003f7ffffe83, 237 0x0000003efffffe86, 0x0000003f7fffff02, 238 0x0000003effffff04, 0x0000003f7fffff81, 239 0x0000003effffff82, 0xffffffc080000000, 240 0xffffffc100000000, 0xffffffc08000007f, 241 0xffffffc10000007e, 0xffffffd5aaaaaa56, 242 0xffffffd5ffffffac, 0xffffffe699999934, 243 0xffffffe6cccccc68, 0xffffffffffc08000, 244 0xffffffffffc10000, 0xffffffffffc0807f, 245 0xffffffffffc1007e, 0xffffffffffc080fe, 246 0xffffffffffc100fc, 0xffffffffffc0817d, 247 0xffffffffffc1017a, 0xffffffffffffc080, 248 0xffffffffffffc100, 0xffffffffffffc0ff, 249 0xffffffffffffc17e, 0xffffffffffffc17e, 250 0xffffffffffffc1fc, 0xffffffffffffc1fd, 251 0xffffffffffffc27a, 0xfffffffffffff020, 252 0xfffffffffffff040, 0xfffffffffffffe83, 253 0xfffffffffffffe86, 0xffffffffffffff02, 254 0xffffffffffffff04, 0xffffffffffffff81, 255 0xffffffffffffff81, 0x0000000000000000, 256 0x0000000000000000, 0x0000000000007ffd, 257 0x000000000000007f, 0x000000000000fffa, 258 0x00000000000000fe, 0x00000000000fffa0, 259 0x0000000000000fe0, 0x00000000003e7e89, 260 0x0000000000003e03, 0x00000000003efe86, 261 0x0000000000003e82, 0x00000000003f7e83, 262 0x0000000000003f01, 0x000000003ffd0009, 263 0x00000000003f7e83, 0x000000003ffd8006, 264 0x00000000003f7f02, 0x000000003ffe0003, 265 0x00000000003f7f81, 0x00001998ffffe667, 266 0x000000196666664d, 0x00002aa9aaaa8001, 267 0x0000002a5555552b, 0x00003ffe7ffe8009, 268 0x0000003f7ffffe83, 0x00003ffe7fff0006, 269 0x0000003f7fffff02, 0x00003ffe7fff8003, 270 0x0000003f7fffff81, 0xffffc00180000000, 271 0xffffffc080000000, 0xffffc00180007ffd, 272 0xffffffc08000007f, 0xffffd55655550002, 273 0xffffffd5aaaaaa56, 0xffffe666ffff999c, 274 0xffffffe699999934, 0xffffffffc0018000, 275 0xffffffffffc08000, 0xffffffffc001fffd, 276 0xffffffffffc0807f, 0xffffffffc0027ffa, 277 0xffffffffffc080fe, 0xffffffffc002fff7, 278 0xffffffffffc0817d, 0xffffffffffc00180, 279 0xffffffffffffc080, 0xffffffffffc0817d, 280 0xffffffffffffc0ff, 0xffffffffffc1017a, 281 0xffffffffffffc17e, 0xffffffffffc18177, 282 0xffffffffffffc1fd, 0xfffffffffff00060, 283 0xfffffffffffff020, 0xfffffffffffe8009, 284 0xfffffffffffffe83, 0xffffffffffff0006, 285 0xffffffffffffff02, 0xffffffffffff8003, 286 0xffffffffffff8003, 0x0000000000000000, 287 0x0000000000000000, 0x0000000000007ffe, 288 0x0000000000007ffd, 0x000000000000fffc, 289 0x000000000000fffa, 0x00000000000fffc0, 290 0x00000000000fffa0, 0x00000000003e7f06, 291 0x00000000003e7e89, 0x00000000003eff04, 292 0x00000000003efe86, 0x00000000003f7f02, 293 0x00000000003f7e83, 0x000000003ffd8006, 294 0x000000003ffd0009, 0x000000003ffe0004, 295 0x000000003ffd8006, 0x000000003ffe8002, 296 0x000000003ffe0003, 0x000019993333199a, 297 0x00001998ffffe667, 0x00002aa9ffffd556, 298 0x00002aa9aaaa8001, 0x00003ffefffe8006, 299 0x00003ffe7ffe8009, 0x00003ffeffff0004, 300 0x00003ffe7fff0006, 0x00003ffeffff8002, 301 0x00003ffe7fff8003, 0xffffc00100000000, 302 0xffffc00180000000, 0xffffc00100007ffe, 303 0xffffc00180007ffd, 0xffffd555ffffaaac, 304 0xffffd55655550002, 0xffffe666cccc6668, 305 0xffffe666ffff999c, 0xffffffffc0010000, 306 0xffffffffc0018000, 0xffffffffc0017ffe, 307 0xffffffffc001fffd, 0xffffffffc001fffc, 308 0xffffffffc0027ffa, 0xffffffffc0027ffa, 309 0xffffffffc002fff7, 0xffffffffffc00100, 310 0xffffffffffc00180, 0xffffffffffc080fe, 311 0xffffffffffc0817d, 0xffffffffffc100fc, 312 0xffffffffffc1017a, 0xffffffffffc180fa, 313 0xffffffffffc18177, 0xfffffffffff00040, 314 0xfffffffffff00060, 0xfffffffffffe8006, 315 0xfffffffffffe8009, 0xffffffffffff0004, 316 0xffffffffffff0006, 0xffffffffffff8002, 317 0xffffffffffff8002, 0x0000000000000000, 318 0x0000000000000000, 0x0000000000007fff, 319 0x0000000000007ffe, 0x000000000000fffe, 320 0x000000000000fffc, 0x00000000000fffe0, 321 0x00000000000fffc0, 0x00000000003e7f83, 322 0x00000000003e7f06, 0x00000000003eff82, 323 0x00000000003eff04, 0x00000000003f7f81, 324 0x00000000003f7f02, 0x000000003ffe0003, 325 0x000000003ffd8006, 0x000000003ffe8002, 326 0x000000003ffe0004, 0x000000003fff0001, 327 0x000000003ffe8002, 0x0000199966664ccd, 328 0x000019993333199a, 0x00002aaa55552aab, 329 0x00002aa9ffffd556, 0x00003fff7ffe8003, 330 0x00003ffefffe8006, 0x00003fff7fff0002, 331 0x00003ffeffff0004, 0x00003fff7fff8001, 332 0x00003ffeffff8002, 0xffffc00080000000, 333 0xffffc00100000000, 0xffffc00080007fff, 334 0xffffc00100007ffe, 0xffffd555aaaa5556, 335 0xffffd555ffffaaac, 0xffffe66699993334, 336 0xffffe666cccc6668, 0xffffffffc0008000, 337 0xffffffffc0010000, 0xffffffffc000ffff, 338 0xffffffffc0017ffe, 0xffffffffc0017ffe, 339 0xffffffffc001fffc, 0xffffffffc001fffd, 340 0xffffffffc0027ffa, 0xffffffffffc00080, 341 0xffffffffffc00100, 0xffffffffffc0807f, 342 0xffffffffffc080fe, 0xffffffffffc1007e, 343 0xffffffffffc100fc, 0xffffffffffc1807d, 344 0xffffffffffc180fa, 0xfffffffffff00020, 345 0xfffffffffff00040, 0xfffffffffffe8003, 346 0xfffffffffffe8006, 0xffffffffffff0002, 347 0xffffffffffff0004, 0xffffffffffff8001, 348 0xffffffffffff8001, 0x0000000000000000, 349 0x0000000000000000, 0x0000000033333333, 350 0x0000000000007fff, 0x0000000066666666, 351 0x000000000000fffe, 0x0000000666666660, 352 0x00000000000fffe0, 0x00000018ffffffe7, 353 0x00000000003e7f83, 0x000000193333331a, 354 0x00000000003eff82, 0x000000196666664d, 355 0x00000000003f7f81, 0x00001998ffffe667, 356 0x000000003ffe0003, 0x000019993333199a, 357 0x000000003ffe8002, 0x0000199966664ccd, 358 0x000000003fff0001, 0x0a3d70a3c28f5c29, 359 0x0000199966664ccd, 0x11111110eeeeeeef, 360 0x00002aaa55552aab, 0x19999998e6666667, 361 0x00003fff7ffe8003, 0x199999991999999a, 362 0x00003fff7fff0002, 0x199999994ccccccd, 363 0x00003fff7fff8001, 0xe666666680000000, 364 0xffffc00080000000, 0xe6666666b3333333, 365 0xffffc00080007fff, 0xeeeeeeeeddddddde, 366 0xffffd555aaaa5556, 0xf5c28f5c0a3d70a4, 367 0xffffe66699993334, 0xffffe66666668000, 368 0xffffffffc0008000, 0xffffe6669999b333, 369 0xffffffffc000ffff, 0xffffe666cccce666, 370 0xffffffffc0017ffe, 0xffffe66700001999, 371 0xffffffffc001fffd, 0xffffffe666666680, 372 0xffffffffffc00080, 0xffffffe6999999b3, 373 0xffffffffffc0807f, 0xffffffe6cccccce6, 374 0xffffffffffc1007e, 0xffffffe700000019, 375 0xffffffffffc1807d, 0xfffffff9999999a0, 376 0xfffffffffff00020, 0xffffffff66666667, 377 0xfffffffffffe8003, 0xffffffff9999999a, 378 0xffffffffffff0002, 0xffffffffcccccccd, 379 0xffffffffcccccccd, 0x0000000000000000, 380 0x0000000000000000, 0x0000000055555555, 381 0x0000000033333333, 0x00000000aaaaaaaa, 382 0x0000000066666666, 0x0000000aaaaaaaa0, 383 0x0000000666666660, 0x00000029aaaaaa81, 384 0x00000018ffffffe7, 0x00000029ffffffd6, 385 0x000000193333331a, 0x0000002a5555552b, 386 0x000000196666664d, 0x00002aa9aaaa8001, 387 0x00001998ffffe667, 0x00002aa9ffffd556, 388 0x000019993333199a, 0x00002aaa55552aab, 389 0x0000199966664ccd, 0x11111110eeeeeeef, 390 0x0a3d70a3c28f5c29, 0x1c71c71c38e38e39, 391 0x11111110eeeeeeef, 0x2aaaaaa980000001, 392 0x19999998e6666667, 0x2aaaaaa9d5555556, 393 0x199999991999999a, 0x2aaaaaaa2aaaaaab, 394 0x199999994ccccccd, 0xd555555580000000, 395 0xe666666680000000, 0xd5555555d5555555, 396 0xe6666666b3333333, 0xe38e38e371c71c72, 397 0xeeeeeeeeddddddde, 0xeeeeeeeebbbbbbbc, 398 0xf5c28f5c0a3d70a4, 0xffffd55555558000, 399 0xffffe66666668000, 0xffffd555aaaad555, 400 0xffffe6669999b333, 0xffffd55600002aaa, 401 0xffffe666cccce666, 0xffffd55655557fff, 402 0xffffe66700001999, 0xffffffd555555580, 403 0xffffffe666666680, 0xffffffd5aaaaaad5, 404 0xffffffe6999999b3, 0xffffffd60000002a, 405 0xffffffe6cccccce6, 0xffffffd65555557f, 406 0xffffffe700000019, 0xfffffff555555560, 407 0xfffffff9999999a0, 0xffffffff00000001, 408 0xffffffff66666667, 0xffffffff55555556, 409 0xffffffff9999999a, 0xffffffffaaaaaaab, 410 0xffffffffaaaaaaab, 0x0000000000000000, 411 0x0000000000000000, 0x000000007ffffffd, 412 0x0000000055555555, 0x00000000fffffffa, 413 0x00000000aaaaaaaa, 0x0000000fffffffa0, 414 0x0000000aaaaaaaa0, 0x0000003e7ffffe89, 415 0x00000029aaaaaa81, 0x0000003efffffe86, 416 0x00000029ffffffd6, 0x0000003f7ffffe83, 417 0x0000002a5555552b, 0x00003ffe7ffe8009, 418 0x00002aa9aaaa8001, 0x00003ffefffe8006, 419 0x00002aa9ffffd556, 0x00003fff7ffe8003, 420 0x00002aaa55552aab, 0x19999998e6666667, 421 0x11111110eeeeeeef, 0x2aaaaaa980000001, 422 0x1c71c71c38e38e39, 0x3ffffffd00000009, 423 0x2aaaaaa980000001, 0x3ffffffd80000006, 424 0x2aaaaaa9d5555556, 0x3ffffffe00000003, 425 0x2aaaaaaa2aaaaaab, 0xc000000180000000, 426 0xd555555580000000, 0xc0000001fffffffd, 427 0xd5555555d5555555, 0xd555555600000002, 428 0xe38e38e371c71c72, 0xe66666669999999c, 429 0xeeeeeeeebbbbbbbc, 0xffffc00000018000, 430 0xffffd55555558000, 0xffffc00080017ffd, 431 0xffffd555aaaad555, 0xffffc00100017ffa, 432 0xffffd55600002aaa, 0xffffc00180017ff7, 433 0xffffd55655557fff, 0xffffffc000000180, 434 0xffffffd555555580, 0xffffffc08000017d, 435 0xffffffd5aaaaaad5, 0xffffffc10000017a, 436 0xffffffd60000002a, 0xffffffc180000177, 437 0xffffffd65555557f, 0xfffffff000000060, 438 0xfffffff555555560, 0xfffffffe80000009, 439 0xffffffff00000001, 0xffffffff00000006, 440 0xffffffff55555556, 0xffffffff80000003, 441 0xffffffff80000003, 0x0000000000000000, 442 0x0000000000000000, 0x000000007ffffffe, 443 0x000000007ffffffd, 0x00000000fffffffc, 444 0x00000000fffffffa, 0x0000000fffffffc0, 445 0x0000000fffffffa0, 0x0000003e7fffff06, 446 0x0000003e7ffffe89, 0x0000003effffff04, 447 0x0000003efffffe86, 0x0000003f7fffff02, 448 0x0000003f7ffffe83, 0x00003ffe7fff0006, 449 0x00003ffe7ffe8009, 0x00003ffeffff0004, 450 0x00003ffefffe8006, 0x00003fff7fff0002, 451 0x00003fff7ffe8003, 0x199999991999999a, 452 0x19999998e6666667, 0x2aaaaaa9d5555556, 453 0x2aaaaaa980000001, 0x3ffffffd80000006, 454 0x3ffffffd00000009, 0x3ffffffe00000004, 455 0x3ffffffd80000006, 0x3ffffffe80000002, 456 0x3ffffffe00000003, 0xc000000100000000, 457 0xc000000180000000, 0xc00000017ffffffe, 458 0xc0000001fffffffd, 0xd5555555aaaaaaac, 459 0xd555555600000002, 0xe666666666666668, 460 0xe66666669999999c, 0xffffc00000010000, 461 0xffffc00000018000, 0xffffc0008000fffe, 462 0xffffc00080017ffd, 0xffffc0010000fffc, 463 0xffffc00100017ffa, 0xffffc0018000fffa, 464 0xffffc00180017ff7, 0xffffffc000000100, 465 0xffffffc000000180, 0xffffffc0800000fe, 466 0xffffffc08000017d, 0xffffffc1000000fc, 467 0xffffffc10000017a, 0xffffffc1800000fa, 468 0xffffffc180000177, 0xfffffff000000040, 469 0xfffffff000000060, 0xfffffffe80000006, 470 0xfffffffe80000009, 0xffffffff00000004, 471 0xffffffff00000006, 0xffffffff80000002, 472 0xffffffff80000002, 0x0000000000000000, 473 0x0000000000000000, 0x000000007fffffff, 474 0x000000007ffffffe, 0x00000000fffffffe, 475 0x00000000fffffffc, 0x0000000fffffffe0, 476 0x0000000fffffffc0, 0x0000003e7fffff83, 477 0x0000003e7fffff06, 0x0000003effffff82, 478 0x0000003effffff04, 0x0000003f7fffff81, 479 0x0000003f7fffff02, 0x00003ffe7fff8003, 480 0x00003ffe7fff0006, 0x00003ffeffff8002, 481 0x00003ffeffff0004, 0x00003fff7fff8001, 482 0x00003fff7fff0002, 0x199999994ccccccd, 483 0x199999991999999a, 0x2aaaaaaa2aaaaaab, 484 0x2aaaaaa9d5555556, 0x3ffffffe00000003, 485 0x3ffffffd80000006, 0x3ffffffe80000002, 486 0x3ffffffe00000004, 0x3fffffff00000001, 487 0x3ffffffe80000002, 0xc000000080000000, 488 0xc000000100000000, 0xc0000000ffffffff, 489 0xc00000017ffffffe, 0xd555555555555556, 490 0xd5555555aaaaaaac, 0xe666666633333334, 491 0xe666666666666668, 0xffffc00000008000, 492 0xffffc00000010000, 0xffffc00080007fff, 493 0xffffc0008000fffe, 0xffffc00100007ffe, 494 0xffffc0010000fffc, 0xffffc00180007ffd, 495 0xffffc0018000fffa, 0xffffffc000000080, 496 0xffffffc000000100, 0xffffffc08000007f, 497 0xffffffc0800000fe, 0xffffffc10000007e, 498 0xffffffc1000000fc, 0xffffffc18000007d, 499 0xffffffc1800000fa, 0xfffffff000000020, 500 0xfffffff000000040, 0xfffffffe80000003, 501 0xfffffffe80000006, 0xffffffff00000002, 502 0xffffffff00000004, 0xffffffff80000001, 503 0xffffffff80000001, 0x0000000000000000, 504 0x0000000000000000, 0xffffffff80000000, 505 0x000000007fffffff, 0xffffffff00000000, 506 0x00000000fffffffe, 0xfffffff000000000, 507 0x0000000fffffffe0, 0xffffffc180000000, 508 0x0000003e7fffff83, 0xffffffc100000000, 509 0x0000003effffff82, 0xffffffc080000000, 510 0x0000003f7fffff81, 0xffffc00180000000, 511 0x00003ffe7fff8003, 0xffffc00100000000, 512 0x00003ffeffff8002, 0xffffc00080000000, 513 0x00003fff7fff8001, 0xe666666680000000, 514 0x199999994ccccccd, 0xd555555580000000, 515 0x2aaaaaaa2aaaaaab, 0xc000000180000000, 516 0x3ffffffe00000003, 0xc000000100000000, 517 0x3ffffffe80000002, 0xc000000080000000, 518 0x3fffffff00000001, 0x4000000000000000, 519 0xc000000080000000, 0x3fffffff80000000, 520 0xc0000000ffffffff, 0x2aaaaaab00000000, 521 0xd555555555555556, 0x1999999a00000000, 522 0xe666666633333334, 0x0000400000000000, 523 0xffffc00000008000, 0x00003fff80000000, 524 0xffffc00080007fff, 0x00003fff00000000, 525 0xffffc00100007ffe, 0x00003ffe80000000, 526 0xffffc00180007ffd, 0x0000004000000000, 527 0xffffffc000000080, 0x0000003f80000000, 528 0xffffffc08000007f, 0x0000003f00000000, 529 0xffffffc10000007e, 0x0000003e80000000, 530 0xffffffc18000007d, 0x0000001000000000, 531 0xfffffff000000020, 0x0000000180000000, 532 0xfffffffe80000003, 0x0000000100000000, 533 0xffffffff00000002, 0x0000000080000000, 534 0x0000000080000000, 0x0000000000000000, 535 0x0000000000000000, 0xffffffff80000001, 536 0xffffffff80000000, 0xffffffff00000002, 537 0xffffffff00000000, 0xfffffff000000020, 538 0xfffffff000000000, 0xffffffc18000007d, 539 0xffffffc180000000, 0xffffffc10000007e, 540 0xffffffc100000000, 0xffffffc08000007f, 541 0xffffffc080000000, 0xffffc00180007ffd, 542 0xffffc00180000000, 0xffffc00100007ffe, 543 0xffffc00100000000, 0xffffc00080007fff, 544 0xffffc00080000000, 0xe6666666b3333333, 545 0xe666666680000000, 0xd5555555d5555555, 546 0xd555555580000000, 0xc0000001fffffffd, 547 0xc000000180000000, 0xc00000017ffffffe, 548 0xc000000100000000, 0xc0000000ffffffff, 549 0xc000000080000000, 0x3fffffff80000000, 550 0x4000000000000000, 0x3fffffff00000001, 551 0x3fffffff80000000, 0x2aaaaaaaaaaaaaaa, 552 0x2aaaaaab00000000, 0x19999999cccccccc, 553 0x1999999a00000000, 0x00003fffffff8000, 554 0x0000400000000000, 0x00003fff7fff8001, 555 0x00003fff80000000, 0x00003ffeffff8002, 556 0x00003fff00000000, 0x00003ffe7fff8003, 557 0x00003ffe80000000, 0x0000003fffffff80, 558 0x0000004000000000, 0x0000003f7fffff81, 559 0x0000003f80000000, 0x0000003effffff82, 560 0x0000003f00000000, 0x0000003e7fffff83, 561 0x0000003e80000000, 0x0000000fffffffe0, 562 0x0000001000000000, 0x000000017ffffffd, 563 0x0000000180000000, 0x00000000fffffffe, 564 0x0000000100000000, 0x000000007fffffff, 565 0x000000007fffffff, 0x0000000000000000, 566 0x0000000000000000, 0xffffffffaaaaaaaa, 567 0xffffffff80000001, 0xffffffff55555554, 568 0xffffffff00000002, 0xfffffff555555540, 569 0xfffffff000000020, 0xffffffd655555502, 570 0xffffffc18000007d, 0xffffffd5ffffffac, 571 0xffffffc10000007e, 0xffffffd5aaaaaa56, 572 0xffffffc08000007f, 0xffffd55655550002, 573 0xffffc00180007ffd, 0xffffd555ffffaaac, 574 0xffffc00100007ffe, 0xffffd555aaaa5556, 575 0xffffc00080007fff, 0xeeeeeeeeddddddde, 576 0xe6666666b3333333, 0xe38e38e371c71c72, 577 0xd5555555d5555555, 0xd555555600000002, 578 0xc0000001fffffffd, 0xd5555555aaaaaaac, 579 0xc00000017ffffffe, 0xd555555555555556, 580 0xc0000000ffffffff, 0x2aaaaaab00000000, 581 0x3fffffff80000000, 0x2aaaaaaaaaaaaaaa, 582 0x3fffffff00000001, 0x1c71c71ce38e38e4, 583 0x2aaaaaaaaaaaaaaa, 0x1111111177777778, 584 0x19999999cccccccc, 0x00002aaaaaab0000, 585 0x00003fffffff8000, 0x00002aaa5555aaaa, 586 0x00003fff7fff8001, 0x00002aaa00005554, 587 0x00003ffeffff8002, 0x00002aa9aaaafffe, 588 0x00003ffe7fff8003, 0x0000002aaaaaab00, 589 0x0000003fffffff80, 0x0000002a555555aa, 590 0x0000003f7fffff81, 0x0000002a00000054, 591 0x0000003effffff82, 0x00000029aaaaaafe, 592 0x0000003e7fffff83, 0x0000000aaaaaaac0, 593 0x0000000fffffffe0, 0x0000000100000002, 594 0x000000017ffffffd, 0x00000000aaaaaaac, 595 0x00000000fffffffe, 0x0000000055555556, 596 0x0000000055555556, 0x0000000000000000, 597 0x0000000000000000, 0xffffffffcccccccc, 598 0xffffffffaaaaaaaa, 0xffffffff99999998, 599 0xffffffff55555554, 0xfffffff999999980, 600 0xfffffff555555540, 0xffffffe6ffffff9c, 601 0xffffffd655555502, 0xffffffe6cccccc68, 602 0xffffffd5ffffffac, 0xffffffe699999934, 603 0xffffffd5aaaaaa56, 0xffffe666ffff999c, 604 0xffffd55655550002, 0xffffe666cccc6668, 605 0xffffd555ffffaaac, 0xffffe66699993334, 606 0xffffd555aaaa5556, 0xf5c28f5c0a3d70a4, 607 0xeeeeeeeeddddddde, 0xeeeeeeeebbbbbbbc, 608 0xe38e38e371c71c72, 0xe66666669999999c, 609 0xd555555600000002, 0xe666666666666668, 610 0xd5555555aaaaaaac, 0xe666666633333334, 611 0xd555555555555556, 0x1999999a00000000, 612 0x2aaaaaab00000000, 0x19999999cccccccc, 613 0x2aaaaaaaaaaaaaaa, 0x1111111177777778, 614 0x1c71c71ce38e38e4, 0x0a3d70a428f5c290, 615 0x1111111177777778, 0x00001999999a0000, 616 0x00002aaaaaab0000, 0x000019996666cccc, 617 0x00002aaa5555aaaa, 0x0000199933339998, 618 0x00002aaa00005554, 0x0000199900006664, 619 0x00002aa9aaaafffe, 0x0000001999999a00, 620 0x0000002aaaaaab00, 0x00000019666666cc, 621 0x0000002a555555aa, 0x0000001933333398, 622 0x0000002a00000054, 0x0000001900000064, 623 0x00000029aaaaaafe, 0x0000000666666680, 624 0x0000000aaaaaaac0, 0x000000009999999c, 625 0x0000000100000002, 0x0000000066666668, 626 0x00000000aaaaaaac, 0x0000000033333334, 627 0x0000000033333334, 0x0000000000000000, 628 0x0000000000000000, 0xffffffffffff8000, 629 0xffffffffcccccccc, 0xffffffffffff0000, 630 0xffffffff99999998, 0xfffffffffff00000, 631 0xfffffff999999980, 0xffffffffffc18000, 632 0xffffffe6ffffff9c, 0xffffffffffc10000, 633 0xffffffe6cccccc68, 0xffffffffffc08000, 634 0xffffffe699999934, 0xffffffffc0018000, 635 0xffffe666ffff999c, 0xffffffffc0010000, 636 0xffffe666cccc6668, 0xffffffffc0008000, 637 0xffffe66699993334, 0xffffe66666668000, 638 0xf5c28f5c0a3d70a4, 0xffffd55555558000, 639 0xeeeeeeeebbbbbbbc, 0xffffc00000018000, 640 0xe66666669999999c, 0xffffc00000010000, 641 0xe666666666666668, 0xffffc00000008000, 642 0xe666666633333334, 0x0000400000000000, 643 0x1999999a00000000, 0x00003fffffff8000, 644 0x19999999cccccccc, 0x00002aaaaaab0000, 645 0x1111111177777778, 0x00001999999a0000, 646 0x0a3d70a428f5c290, 0x0000000040000000, 647 0x00001999999a0000, 0x000000003fff8000, 648 0x000019996666cccc, 0x000000003fff0000, 649 0x0000199933339998, 0x000000003ffe8000, 650 0x0000199900006664, 0x0000000000400000, 651 0x0000001999999a00, 0x00000000003f8000, 652 0x00000019666666cc, 0x00000000003f0000, 653 0x0000001933333398, 0x00000000003e8000, 654 0x0000001900000064, 0x0000000000100000, 655 0x0000000666666680, 0x0000000000018000, 656 0x000000009999999c, 0x0000000000010000, 657 0x0000000066666668, 0x0000000000008000, 658 0x0000000000008000, 0x0000000000000000, 659 0x0000000000000000, 0xffffffffffff8001, 660 0xffffffffffff8000, 0xffffffffffff0002, 661 0xffffffffffff0000, 0xfffffffffff00020, 662 0xfffffffffff00000, 0xffffffffffc1807d, 663 0xffffffffffc18000, 0xffffffffffc1007e, 664 0xffffffffffc10000, 0xffffffffffc0807f, 665 0xffffffffffc08000, 0xffffffffc001fffd, 666 0xffffffffc0018000, 0xffffffffc0017ffe, 667 0xffffffffc0010000, 0xffffffffc000ffff, 668 0xffffffffc0008000, 0xffffe6669999b333, 669 0xffffe66666668000, 0xffffd555aaaad555, 670 0xffffd55555558000, 0xffffc00080017ffd, 671 0xffffc00000018000, 0xffffc0008000fffe, 672 0xffffc00000010000, 0xffffc00080007fff, 673 0xffffc00000008000, 0x00003fff80000000, 674 0x0000400000000000, 0x00003fff7fff8001, 675 0x00003fffffff8000, 0x00002aaa5555aaaa, 676 0x00002aaaaaab0000, 0x000019996666cccc, 677 0x00001999999a0000, 0x000000003fff8000, 678 0x0000000040000000, 0x000000003fff0001, 679 0x000000003fff8000, 0x000000003ffe8002, 680 0x000000003fff0000, 0x000000003ffe0003, 681 0x000000003ffe8000, 0x00000000003fff80, 682 0x0000000000400000, 0x00000000003f7f81, 683 0x00000000003f8000, 0x00000000003eff82, 684 0x00000000003f0000, 0x00000000003e7f83, 685 0x00000000003e8000, 0x00000000000fffe0, 686 0x0000000000100000, 0x0000000000017ffd, 687 0x0000000000018000, 0x000000000000fffe, 688 0x0000000000010000, 0x0000000000007fff, 689 0x0000000000007fff, 0x0000000000000000, 690 0x0000000000000000, 0xffffffffffff8002, 691 0xffffffffffff8001, 0xffffffffffff0004, 692 0xffffffffffff0002, 0xfffffffffff00040, 693 0xfffffffffff00020, 0xffffffffffc180fa, 694 0xffffffffffc1807d, 0xffffffffffc100fc, 695 0xffffffffffc1007e, 0xffffffffffc080fe, 696 0xffffffffffc0807f, 0xffffffffc0027ffa, 697 0xffffffffc001fffd, 0xffffffffc001fffc, 698 0xffffffffc0017ffe, 0xffffffffc0017ffe, 699 0xffffffffc000ffff, 0xffffe666cccce666, 700 0xffffe6669999b333, 0xffffd55600002aaa, 701 0xffffd555aaaad555, 0xffffc00100017ffa, 702 0xffffc00080017ffd, 0xffffc0010000fffc, 703 0xffffc0008000fffe, 0xffffc00100007ffe, 704 0xffffc00080007fff, 0x00003fff00000000, 705 0x00003fff80000000, 0x00003ffeffff8002, 706 0x00003fff7fff8001, 0x00002aaa00005554, 707 0x00002aaa5555aaaa, 0x0000199933339998, 708 0x000019996666cccc, 0x000000003fff0000, 709 0x000000003fff8000, 0x000000003ffe8002, 710 0x000000003fff0001, 0x000000003ffe0004, 711 0x000000003ffe8002, 0x000000003ffd8006, 712 0x000000003ffe0003, 0x00000000003fff00, 713 0x00000000003fff80, 0x00000000003f7f02, 714 0x00000000003f7f81, 0x00000000003eff04, 715 0x00000000003eff82, 0x00000000003e7f06, 716 0x00000000003e7f83, 0x00000000000fffc0, 717 0x00000000000fffe0, 0x0000000000017ffa, 718 0x0000000000017ffd, 0x000000000000fffc, 719 0x000000000000fffe, 0x0000000000007ffe, 720 0x0000000000007ffe, 0x0000000000000000, 721 0x0000000000000000, 0xffffffffffff8003, 722 0xffffffffffff8002, 0xffffffffffff0006, 723 0xffffffffffff0004, 0xfffffffffff00060, 724 0xfffffffffff00040, 0xffffffffffc18177, 725 0xffffffffffc180fa, 0xffffffffffc1017a, 726 0xffffffffffc100fc, 0xffffffffffc0817d, 727 0xffffffffffc080fe, 0xffffffffc002fff7, 728 0xffffffffc0027ffa, 0xffffffffc0027ffa, 729 0xffffffffc001fffc, 0xffffffffc001fffd, 730 0xffffffffc0017ffe, 0xffffe66700001999, 731 0xffffe666cccce666, 0xffffd55655557fff, 732 0xffffd55600002aaa, 0xffffc00180017ff7, 733 0xffffc00100017ffa, 0xffffc0018000fffa, 734 0xffffc0010000fffc, 0xffffc00180007ffd, 735 0xffffc00100007ffe, 0x00003ffe80000000, 736 0x00003fff00000000, 0x00003ffe7fff8003, 737 0x00003ffeffff8002, 0x00002aa9aaaafffe, 738 0x00002aaa00005554, 0x0000199900006664, 739 0x0000199933339998, 0x000000003ffe8000, 740 0x000000003fff0000, 0x000000003ffe0003, 741 0x000000003ffe8002, 0x000000003ffd8006, 742 0x000000003ffe0004, 0x000000003ffd0009, 743 0x000000003ffd8006, 0x00000000003ffe80, 744 0x00000000003fff00, 0x00000000003f7e83, 745 0x00000000003f7f02, 0x00000000003efe86, 746 0x00000000003eff04, 0x00000000003e7e89, 747 0x00000000003e7f06, 0x00000000000fffa0, 748 0x00000000000fffc0, 0x0000000000017ff7, 749 0x0000000000017ffa, 0x000000000000fffa, 750 0x000000000000fffc, 0x0000000000007ffd, 751 0x0000000000007ffd, 0x0000000000000000, 752 0x0000000000000000, 0xffffffffffffff80, 753 0xffffffffffff8003, 0xffffffffffffff00, 754 0xffffffffffff0006, 0xfffffffffffff000, 755 0xfffffffffff00060, 0xffffffffffffc180, 756 0xffffffffffc18177, 0xffffffffffffc100, 757 0xffffffffffc1017a, 0xffffffffffffc080, 758 0xffffffffffc0817d, 0xffffffffffc00180, 759 0xffffffffc002fff7, 0xffffffffffc00100, 760 0xffffffffc0027ffa, 0xffffffffffc00080, 761 0xffffffffc001fffd, 0xffffffe666666680, 762 0xffffe66700001999, 0xffffffd555555580, 763 0xffffd55655557fff, 0xffffffc000000180, 764 0xffffc00180017ff7, 0xffffffc000000100, 765 0xffffc0018000fffa, 0xffffffc000000080, 766 0xffffc00180007ffd, 0x0000004000000000, 767 0x00003ffe80000000, 0x0000003fffffff80, 768 0x00003ffe7fff8003, 0x0000002aaaaaab00, 769 0x00002aa9aaaafffe, 0x0000001999999a00, 770 0x0000199900006664, 0x0000000000400000, 771 0x000000003ffe8000, 0x00000000003fff80, 772 0x000000003ffe0003, 0x00000000003fff00, 773 0x000000003ffd8006, 0x00000000003ffe80, 774 0x000000003ffd0009, 0x0000000000004000, 775 0x00000000003ffe80, 0x0000000000003f80, 776 0x00000000003f7e83, 0x0000000000003f00, 777 0x00000000003efe86, 0x0000000000003e80, 778 0x00000000003e7e89, 0x0000000000001000, 779 0x00000000000fffa0, 0x0000000000000180, 780 0x0000000000017ff7, 0x0000000000000100, 781 0x000000000000fffa, 0x0000000000000080, 782 0x0000000000000080, 0x0000000000000000, 783 0x0000000000000000, 0xffffffffffffff81, 784 0xffffffffffffff80, 0xffffffffffffff02, 785 0xffffffffffffff00, 0xfffffffffffff020, 786 0xfffffffffffff000, 0xffffffffffffc1fd, 787 0xffffffffffffc180, 0xffffffffffffc17e, 788 0xffffffffffffc100, 0xffffffffffffc0ff, 789 0xffffffffffffc080, 0xffffffffffc0817d, 790 0xffffffffffc00180, 0xffffffffffc080fe, 791 0xffffffffffc00100, 0xffffffffffc0807f, 792 0xffffffffffc00080, 0xffffffe6999999b3, 793 0xffffffe666666680, 0xffffffd5aaaaaad5, 794 0xffffffd555555580, 0xffffffc08000017d, 795 0xffffffc000000180, 0xffffffc0800000fe, 796 0xffffffc000000100, 0xffffffc08000007f, 797 0xffffffc000000080, 0x0000003f80000000, 798 0x0000004000000000, 0x0000003f7fffff81, 799 0x0000003fffffff80, 0x0000002a555555aa, 800 0x0000002aaaaaab00, 0x00000019666666cc, 801 0x0000001999999a00, 0x00000000003f8000, 802 0x0000000000400000, 0x00000000003f7f81, 803 0x00000000003fff80, 0x00000000003f7f02, 804 0x00000000003fff00, 0x00000000003f7e83, 805 0x00000000003ffe80, 0x0000000000003f80, 806 0x0000000000004000, 0x0000000000003f01, 807 0x0000000000003f80, 0x0000000000003e82, 808 0x0000000000003f00, 0x0000000000003e03, 809 0x0000000000003e80, 0x0000000000000fe0, 810 0x0000000000001000, 0x000000000000017d, 811 0x0000000000000180, 0x00000000000000fe, 812 0x0000000000000100, 0x000000000000007f, 813 0x000000000000007f, 0x0000000000000000, 814 0x0000000000000000, 0xffffffffffffff82, 815 0xffffffffffffff81, 0xffffffffffffff04, 816 0xffffffffffffff02, 0xfffffffffffff040, 817 0xfffffffffffff020, 0xffffffffffffc27a, 818 0xffffffffffffc1fd, 0xffffffffffffc1fc, 819 0xffffffffffffc17e, 0xffffffffffffc17e, 820 0xffffffffffffc0ff, 0xffffffffffc1017a, 821 0xffffffffffc0817d, 0xffffffffffc100fc, 822 0xffffffffffc080fe, 0xffffffffffc1007e, 823 0xffffffffffc0807f, 0xffffffe6cccccce6, 824 0xffffffe6999999b3, 0xffffffd60000002a, 825 0xffffffd5aaaaaad5, 0xffffffc10000017a, 826 0xffffffc08000017d, 0xffffffc1000000fc, 827 0xffffffc0800000fe, 0xffffffc10000007e, 828 0xffffffc08000007f, 0x0000003f00000000, 829 0x0000003f80000000, 0x0000003effffff82, 830 0x0000003f7fffff81, 0x0000002a00000054, 831 0x0000002a555555aa, 0x0000001933333398, 832 0x00000019666666cc, 0x00000000003f0000, 833 0x00000000003f8000, 0x00000000003eff82, 834 0x00000000003f7f81, 0x00000000003eff04, 835 0x00000000003f7f02, 0x00000000003efe86, 836 0x00000000003f7e83, 0x0000000000003f00, 837 0x0000000000003f80, 0x0000000000003e82, 838 0x0000000000003f01, 0x0000000000003e04, 839 0x0000000000003e82, 0x0000000000003d86, 840 0x0000000000003e03, 0x0000000000000fc0, 841 0x0000000000000fe0, 0x000000000000017a, 842 0x000000000000017d, 0x00000000000000fc, 843 0x00000000000000fe, 0x000000000000007e, 844 0x000000000000007e, 0x0000000000000000, 845 0x0000000000000000, 0xffffffffffffff83, 846 0xffffffffffffff82, 0xffffffffffffff06, 847 0xffffffffffffff04, 0xfffffffffffff060, 848 0xfffffffffffff040, 0xffffffffffffc2f7, 849 0xffffffffffffc27a, 0xffffffffffffc27a, 850 0xffffffffffffc1fc, 0xffffffffffffc1fd, 851 0xffffffffffffc17e, 0xffffffffffc18177, 852 0xffffffffffc1017a, 0xffffffffffc180fa, 853 0xffffffffffc100fc, 0xffffffffffc1807d, 854 0xffffffffffc1007e, 0xffffffe700000019, 855 0xffffffe6cccccce6, 0xffffffd65555557f, 856 0xffffffd60000002a, 0xffffffc180000177, 857 0xffffffc10000017a, 0xffffffc1800000fa, 858 0xffffffc1000000fc, 0xffffffc18000007d, 859 0xffffffc10000007e, 0x0000003e80000000, 860 0x0000003f00000000, 0x0000003e7fffff83, 861 0x0000003effffff82, 0x00000029aaaaaafe, 862 0x0000002a00000054, 0x0000001900000064, 863 0x0000001933333398, 0x00000000003e8000, 864 0x00000000003f0000, 0x00000000003e7f83, 865 0x00000000003eff82, 0x00000000003e7f06, 866 0x00000000003eff04, 0x00000000003e7e89, 867 0x00000000003efe86, 0x0000000000003e80, 868 0x0000000000003f00, 0x0000000000003e03, 869 0x0000000000003e82, 0x0000000000003d86, 870 0x0000000000003e04, 0x0000000000003d09, 871 0x0000000000003d86, 0x0000000000000fa0, 872 0x0000000000000fc0, 0x0000000000000177, 873 0x000000000000017a, 0x00000000000000fa, 874 0x00000000000000fc, 0x000000000000007d, 875 0x000000000000007d, 0x0000000000000000, 876 0x0000000000000000, 0xffffffffffffffe0, 877 0xffffffffffffff83, 0xffffffffffffffc0, 878 0xffffffffffffff06, 0xfffffffffffffc00, 879 0xfffffffffffff060, 0xfffffffffffff060, 880 0xffffffffffffc2f7, 0xfffffffffffff040, 881 0xffffffffffffc27a, 0xfffffffffffff020, 882 0xffffffffffffc1fd, 0xfffffffffff00060, 883 0xffffffffffc18177, 0xfffffffffff00040, 884 0xffffffffffc180fa, 0xfffffffffff00020, 885 0xffffffffffc1807d, 0xfffffff9999999a0, 886 0xffffffe700000019, 0xfffffff555555560, 887 0xffffffd65555557f, 0xfffffff000000060, 888 0xffffffc180000177, 0xfffffff000000040, 889 0xffffffc1800000fa, 0xfffffff000000020, 890 0xffffffc18000007d, 0x0000001000000000, 891 0x0000003e80000000, 0x0000000fffffffe0, 892 0x0000003e7fffff83, 0x0000000aaaaaaac0, 893 0x00000029aaaaaafe, 0x0000000666666680, 894 0x0000001900000064, 0x0000000000100000, 895 0x00000000003e8000, 0x00000000000fffe0, 896 0x00000000003e7f83, 0x00000000000fffc0, 897 0x00000000003e7f06, 0x00000000000fffa0, 898 0x00000000003e7e89, 0x0000000000001000, 899 0x0000000000003e80, 0x0000000000000fe0, 900 0x0000000000003e03, 0x0000000000000fc0, 901 0x0000000000003d86, 0x0000000000000fa0, 902 0x0000000000003d09, 0x0000000000000400, 903 0x0000000000000fa0, 0x0000000000000060, 904 0x0000000000000177, 0x0000000000000040, 905 0x00000000000000fa, 0x0000000000000020, 906 0x0000000000000020, 0x0000000000000000, 907 0x0000000000000000, 0xfffffffffffffffd, 908 0xffffffffffffffe0, 0xfffffffffffffffa, 909 0xffffffffffffffc0, 0xffffffffffffffa0, 910 0xfffffffffffffc00, 0xfffffffffffffe89, 911 0xfffffffffffff060, 0xfffffffffffffe86, 912 0xfffffffffffff040, 0xfffffffffffffe83, 913 0xfffffffffffff020, 0xfffffffffffe8009, 914 0xfffffffffff00060, 0xfffffffffffe8006, 915 0xfffffffffff00040, 0xfffffffffffe8003, 916 0xfffffffffff00020, 0xffffffff66666667, 917 0xfffffff9999999a0, 0xffffffff00000001, 918 0xfffffff555555560, 0xfffffffe80000009, 919 0xfffffff000000060, 0xfffffffe80000006, 920 0xfffffff000000040, 0xfffffffe80000003, 921 0xfffffff000000020, 0x0000000180000000, 922 0x0000001000000000, 0x000000017ffffffd, 923 0x0000000fffffffe0, 0x0000000100000002, 924 0x0000000aaaaaaac0, 0x000000009999999c, 925 0x0000000666666680, 0x0000000000018000, 926 0x0000000000100000, 0x0000000000017ffd, 927 0x00000000000fffe0, 0x0000000000017ffa, 928 0x00000000000fffc0, 0x0000000000017ff7, 929 0x00000000000fffa0, 0x0000000000000180, 930 0x0000000000001000, 0x000000000000017d, 931 0x0000000000000fe0, 0x000000000000017a, 932 0x0000000000000fc0, 0x0000000000000177, 933 0x0000000000000fa0, 0x0000000000000060, 934 0x0000000000000400, 0x0000000000000009, 935 0x0000000000000060, 0x0000000000000006, 936 0x0000000000000040, 0x0000000000000003, 937 0x0000000000000003, 0x0000000000000000, 938 0x0000000000000000, 0xfffffffffffffffe, 939 0xfffffffffffffffd, 0xfffffffffffffffc, 940 0xfffffffffffffffa, 0xffffffffffffffc0, 941 0xffffffffffffffa0, 0xffffffffffffff06, 942 0xfffffffffffffe89, 0xffffffffffffff04, 943 0xfffffffffffffe86, 0xffffffffffffff02, 944 0xfffffffffffffe83, 0xffffffffffff0006, 945 0xfffffffffffe8009, 0xffffffffffff0004, 946 0xfffffffffffe8006, 0xffffffffffff0002, 947 0xfffffffffffe8003, 0xffffffff9999999a, 948 0xffffffff66666667, 0xffffffff55555556, 949 0xffffffff00000001, 0xffffffff00000006, 950 0xfffffffe80000009, 0xffffffff00000004, 951 0xfffffffe80000006, 0xffffffff00000002, 952 0xfffffffe80000003, 0x0000000100000000, 953 0x0000000180000000, 0x00000000fffffffe, 954 0x000000017ffffffd, 0x00000000aaaaaaac, 955 0x0000000100000002, 0x0000000066666668, 956 0x000000009999999c, 0x0000000000010000, 957 0x0000000000018000, 0x000000000000fffe, 958 0x0000000000017ffd, 0x000000000000fffc, 959 0x0000000000017ffa, 0x000000000000fffa, 960 0x0000000000017ff7, 0x0000000000000100, 961 0x0000000000000180, 0x00000000000000fe, 962 0x000000000000017d, 0x00000000000000fc, 963 0x000000000000017a, 0x00000000000000fa, 964 0x0000000000000177, 0x0000000000000040, 965 0x0000000000000060, 0x0000000000000006, 966 0x0000000000000009, 0x0000000000000004, 967 0x0000000000000006, 0x0000000000000002, 968 0x0000000000000002, 0x0000000000000000, 969 0x0000000000000000, 0xffffffffffffffff, 970 0xfffffffffffffffe, 0xfffffffffffffffe, 971 0xfffffffffffffffc, 0xffffffffffffffe0, 972 0xffffffffffffffc0, 0xffffffffffffff83, 973 0xffffffffffffff06, 0xffffffffffffff82, 974 0xffffffffffffff04, 0xffffffffffffff81, 975 0xffffffffffffff02, 0xffffffffffff8003, 976 0xffffffffffff0006, 0xffffffffffff8002, 977 0xffffffffffff0004, 0xffffffffffff8001, 978 0xffffffffffff0002, 0xffffffffcccccccd, 979 0xffffffff9999999a, 0xffffffffaaaaaaab, 980 0xffffffff55555556, 0xffffffff80000003, 981 0xffffffff00000006, 0xffffffff80000002, 982 0xffffffff00000004, 0xffffffff80000001, 983 0xffffffff00000002, 0x0000000080000000, 984 0x0000000100000000, 0x000000007fffffff, 985 0x00000000fffffffe, 0x0000000055555556, 986 0x00000000aaaaaaac, 0x0000000033333334, 987 0x0000000066666668, 0x0000000000008000, 988 0x0000000000010000, 0x0000000000007fff, 989 0x000000000000fffe, 0x0000000000007ffe, 990 0x000000000000fffc, 0x0000000000007ffd, 991 0x000000000000fffa, 0x0000000000000080, 992 0x0000000000000100, 0x000000000000007f, 993 0x00000000000000fe, 0x000000000000007e, 994 0x00000000000000fc, 0x000000000000007d, 995 0x00000000000000fa, 0x0000000000000020, 996 0x0000000000000040, 0x0000000000000003, 997 0x0000000000000006, 0x0000000000000002, 998 0x0000000000000004, 0x0000000000000001, 999 }; 1000 const unsigned kExpectedCount_NEON_smull2_2D = 961; 1001 1002 #endif // VIXL_SIM_SMULL2_2D_TRACE_A64_H_ 1003
