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_SABAL2_2D_TRACE_A64_H_ 35 #define VIXL_SIM_SABAL2_2D_TRACE_A64_H_ 36 37 const uint64_t kExpected_NEON_sabal2_2D[] = { 38 0x0000000000000000, 0x0000000000000001, 39 0x00000000007ffd00, 0x0000000000000002, 40 0x00000000007ffcff, 0x0000000000000003, 41 0x00000000007ffcfe, 0x0000000000000021, 42 0x00000000007ffce0, 0x000000000000007e, 43 0x00000000007ffc83, 0x000000000000007f, 44 0x00000000007ffc82, 0x0000000000000080, 45 0x00000000007ffc81, 0x0000000000007ffe, 46 0x00000000007f7d03, 0x0000000000007fff, 47 0x00000000007f7d02, 0x0000000000008000, 48 0x00000000007f7d01, 0x0000000033333334, 49 0x0000000032b33633, 0x0000000055555556, 50 0x0000000054d55855, 0x000000007ffffffe, 51 0x000000007f8002fd, 0x000000007fffffff, 52 0x000000007f8002fe, 0x0000000080000000, 53 0x000000007f8002ff, 0x0000000080000001, 54 0x00000000807ffd00, 0x0000000080000000, 55 0x00000000807ffcff, 0x0000000055555557, 56 0x0000000055d55256, 0x0000000033333335, 57 0x0000000033b33034, 0x0000000000008001, 58 0x0000000000807d00, 0x0000000000008000, 59 0x0000000000807cff, 0x0000000000007fff, 60 0x0000000000807cfe, 0x0000000000007ffe, 61 0x0000000000807cfd, 0x0000000000000081, 62 0x00000000007ffd80, 0x0000000000000080, 63 0x00000000007ffd7f, 0x000000000000007f, 64 0x00000000007ffd7e, 0x000000000000007e, 65 0x00000000007ffd7d, 0x0000000000000021, 66 0x00000000007ffd20, 0x0000000000000004, 67 0x00000000007ffd03, 0x0000000000000003, 68 0x00000000007ffd02, 0x0000000000000002, 69 0x0000000000000001, 0x0000000000000002, 70 0x0000000000000000, 0x0000000000000001, 71 0x0000000000000001, 0x0000000000000002, 72 0x0000000000000002, 0x0000000000000020, 73 0x0000000000000020, 0x000000000000007d, 74 0x000000000000007d, 0x000000000000007e, 75 0x000000000000007e, 0x000000000000007f, 76 0x000000000000007f, 0x0000000000007ffd, 77 0x0000000000007ffd, 0x0000000000007ffe, 78 0x0000000000007ffe, 0x0000000000007fff, 79 0x0000000000007fff, 0x0000000033333333, 80 0x0000000033333333, 0x0000000055555555, 81 0x0000000055555555, 0x000000007ffffffd, 82 0x000000007ffffffd, 0x000000007ffffffe, 83 0x000000007ffffffe, 0x000000007fffffff, 84 0x000000007fffffff, 0x0000000080000002, 85 0x0000000080000000, 0x0000000080000001, 86 0x000000007fffffff, 0x0000000055555558, 87 0x0000000055555556, 0x0000000033333336, 88 0x0000000033333334, 0x0000000000008002, 89 0x0000000000008000, 0x0000000000008001, 90 0x0000000000007fff, 0x0000000000008000, 91 0x0000000000007ffe, 0x0000000000007fff, 92 0x0000000000007ffd, 0x0000000000000082, 93 0x0000000000000080, 0x0000000000000081, 94 0x000000000000007f, 0x0000000000000080, 95 0x000000000000007e, 0x000000000000007f, 96 0x000000000000007d, 0x0000000000000022, 97 0x0000000000000020, 0x0000000000000005, 98 0x0000000000000003, 0x0000000000000004, 99 0x0000000000000002, 0x0000000000000003, 100 0x0000000000000002, 0x0000000000000003, 101 0x0000000000000001, 0x0000000000000002, 102 0x0000000000000000, 0x0000000000000001, 103 0x0000000000000001, 0x000000000000001f, 104 0x000000000000001f, 0x000000000000007c, 105 0x000000000000007c, 0x000000000000007d, 106 0x000000000000007d, 0x000000000000007e, 107 0x000000000000007e, 0x0000000000007ffc, 108 0x0000000000007ffc, 0x0000000000007ffd, 109 0x0000000000007ffd, 0x0000000000007ffe, 110 0x0000000000007ffe, 0x0000000033333332, 111 0x0000000033333332, 0x0000000055555554, 112 0x0000000055555554, 0x000000007ffffffc, 113 0x000000007ffffffc, 0x000000007ffffffd, 114 0x000000007ffffffd, 0x000000007ffffffe, 115 0x000000007ffffffe, 0x0000000080000003, 116 0x0000000080000001, 0x0000000080000002, 117 0x0000000080000000, 0x0000000055555559, 118 0x0000000055555557, 0x0000000033333337, 119 0x0000000033333335, 0x0000000000008003, 120 0x0000000000008001, 0x0000000000008002, 121 0x0000000000008000, 0x0000000000008001, 122 0x0000000000007fff, 0x0000000000008000, 123 0x0000000000007ffe, 0x0000000000000083, 124 0x0000000000000081, 0x0000000000000082, 125 0x0000000000000080, 0x0000000000000081, 126 0x000000000000007f, 0x0000000000000080, 127 0x000000000000007e, 0x0000000000000023, 128 0x0000000000000021, 0x0000000000000006, 129 0x0000000000000004, 0x0000000000000005, 130 0x0000000000000003, 0x0000000000000004, 131 0x0000000000000003, 0x0000000000000021, 132 0x0000000000000002, 0x0000000000000020, 133 0x0000000000000001, 0x000000000000001f, 134 0x0000000000000000, 0x0000000000000001, 135 0x000000000000001e, 0x000000000000005e, 136 0x000000000000007b, 0x000000000000005f, 137 0x000000000000007c, 0x0000000000000060, 138 0x000000000000007d, 0x0000000000007fde, 139 0x0000000000007ffb, 0x0000000000007fdf, 140 0x0000000000007ffc, 0x0000000000007fe0, 141 0x0000000000007ffd, 0x0000000033333314, 142 0x0000000033333331, 0x0000000055555536, 143 0x0000000055555553, 0x000000007fffffde, 144 0x000000007ffffffb, 0x000000007fffffdf, 145 0x000000007ffffffc, 0x000000007fffffe0, 146 0x000000007ffffffd, 0x0000000080000021, 147 0x0000000080000002, 0x0000000080000020, 148 0x0000000080000001, 0x0000000055555577, 149 0x0000000055555558, 0x0000000033333355, 150 0x0000000033333336, 0x0000000000008021, 151 0x0000000000008002, 0x0000000000008020, 152 0x0000000000008001, 0x000000000000801f, 153 0x0000000000008000, 0x000000000000801e, 154 0x0000000000007fff, 0x00000000000000a1, 155 0x0000000000000082, 0x00000000000000a0, 156 0x0000000000000081, 0x000000000000009f, 157 0x0000000000000080, 0x000000000000009e, 158 0x000000000000007f, 0x0000000000000041, 159 0x0000000000000022, 0x0000000000000024, 160 0x0000000000000005, 0x0000000000000023, 161 0x0000000000000004, 0x0000000000000022, 162 0x0000000000000021, 0x000000000000007e, 163 0x0000000000000020, 0x000000000000007d, 164 0x000000000000001f, 0x000000000000007c, 165 0x000000000000001e, 0x000000000000005e, 166 0x0000000000000000, 0x0000000000000001, 167 0x000000000000005d, 0x0000000000000002, 168 0x000000000000005e, 0x0000000000000003, 169 0x000000000000005f, 0x0000000000007f81, 170 0x0000000000007fdd, 0x0000000000007f82, 171 0x0000000000007fde, 0x0000000000007f83, 172 0x0000000000007fdf, 0x00000000333332b7, 173 0x0000000033333313, 0x00000000555554d9, 174 0x0000000055555535, 0x000000007fffff81, 175 0x000000007fffffdd, 0x000000007fffff82, 176 0x000000007fffffde, 0x000000007fffff83, 177 0x000000007fffffdf, 0x000000008000007e, 178 0x0000000080000020, 0x000000008000007d, 179 0x000000008000001f, 0x00000000555555d4, 180 0x0000000055555576, 0x00000000333333b2, 181 0x0000000033333354, 0x000000000000807e, 182 0x0000000000008020, 0x000000000000807d, 183 0x000000000000801f, 0x000000000000807c, 184 0x000000000000801e, 0x000000000000807b, 185 0x000000000000801d, 0x00000000000000fe, 186 0x00000000000000a0, 0x00000000000000fd, 187 0x000000000000009f, 0x00000000000000fc, 188 0x000000000000009e, 0x00000000000000fb, 189 0x000000000000009d, 0x000000000000009e, 190 0x0000000000000040, 0x0000000000000081, 191 0x0000000000000023, 0x0000000000000080, 192 0x0000000000000022, 0x000000000000007f, 193 0x000000000000007e, 0x000000000000007f, 194 0x000000000000007d, 0x000000000000007e, 195 0x000000000000007c, 0x000000000000007d, 196 0x000000000000007b, 0x000000000000005f, 197 0x000000000000005d, 0x0000000000000002, 198 0x0000000000000000, 0x0000000000000001, 199 0x0000000000000001, 0x0000000000000002, 200 0x0000000000000002, 0x0000000000007f80, 201 0x0000000000007f80, 0x0000000000007f81, 202 0x0000000000007f81, 0x0000000000007f82, 203 0x0000000000007f82, 0x00000000333332b6, 204 0x00000000333332b6, 0x00000000555554d8, 205 0x00000000555554d8, 0x000000007fffff80, 206 0x000000007fffff80, 0x000000007fffff81, 207 0x000000007fffff81, 0x000000007fffff82, 208 0x000000007fffff82, 0x000000008000007f, 209 0x000000008000007d, 0x000000008000007e, 210 0x000000008000007c, 0x00000000555555d5, 211 0x00000000555555d3, 0x00000000333333b3, 212 0x00000000333333b1, 0x000000000000807f, 213 0x000000000000807d, 0x000000000000807e, 214 0x000000000000807c, 0x000000000000807d, 215 0x000000000000807b, 0x000000000000807c, 216 0x000000000000807a, 0x00000000000000ff, 217 0x00000000000000fd, 0x00000000000000fe, 218 0x00000000000000fc, 0x00000000000000fd, 219 0x00000000000000fb, 0x00000000000000fc, 220 0x00000000000000fa, 0x000000000000009f, 221 0x000000000000009d, 0x0000000000000082, 222 0x0000000000000080, 0x0000000000000081, 223 0x000000000000007f, 0x0000000000000080, 224 0x000000000000007f, 0x0000000000000080, 225 0x000000000000007e, 0x000000000000007f, 226 0x000000000000007d, 0x000000000000007e, 227 0x000000000000007c, 0x0000000000000060, 228 0x000000000000005e, 0x0000000000000003, 229 0x0000000000000001, 0x0000000000000002, 230 0x0000000000000000, 0x0000000000000001, 231 0x0000000000000001, 0x0000000000007f7f, 232 0x0000000000007f7f, 0x0000000000007f80, 233 0x0000000000007f80, 0x0000000000007f81, 234 0x0000000000007f81, 0x00000000333332b5, 235 0x00000000333332b5, 0x00000000555554d7, 236 0x00000000555554d7, 0x000000007fffff7f, 237 0x000000007fffff7f, 0x000000007fffff80, 238 0x000000007fffff80, 0x000000007fffff81, 239 0x000000007fffff81, 0x0000000080000080, 240 0x000000008000007e, 0x000000008000007f, 241 0x000000008000007d, 0x00000000555555d6, 242 0x00000000555555d4, 0x00000000333333b4, 243 0x00000000333333b2, 0x0000000000008080, 244 0x000000000000807e, 0x000000000000807f, 245 0x000000000000807d, 0x000000000000807e, 246 0x000000000000807c, 0x000000000000807d, 247 0x000000000000807b, 0x0000000000000100, 248 0x00000000000000fe, 0x00000000000000ff, 249 0x00000000000000fd, 0x00000000000000fe, 250 0x00000000000000fc, 0x00000000000000fd, 251 0x00000000000000fb, 0x00000000000000a0, 252 0x000000000000009e, 0x0000000000000083, 253 0x0000000000000081, 0x0000000000000082, 254 0x0000000000000080, 0x0000000000000081, 255 0x0000000000000080, 0x0000000000007ffe, 256 0x000000000000007f, 0x0000000000007ffd, 257 0x000000000000007e, 0x0000000000007ffc, 258 0x000000000000007d, 0x0000000000007fde, 259 0x000000000000005f, 0x0000000000007f81, 260 0x0000000000000002, 0x0000000000007f80, 261 0x0000000000000001, 0x0000000000007f7f, 262 0x0000000000000000, 0x0000000000000001, 263 0x0000000000007f7e, 0x0000000000000002, 264 0x0000000000007f7f, 0x0000000000000003, 265 0x0000000000007f80, 0x000000003332b337, 266 0x00000000333332b4, 0x000000005554d559, 267 0x00000000555554d6, 0x000000007fff8001, 268 0x000000007fffff7e, 0x000000007fff8002, 269 0x000000007fffff7f, 0x000000007fff8003, 270 0x000000007fffff80, 0x0000000080007ffe, 271 0x000000008000007f, 0x0000000080007ffd, 272 0x000000008000007e, 0x000000005555d554, 273 0x00000000555555d5, 0x000000003333b332, 274 0x00000000333333b3, 0x000000000000fffe, 275 0x000000000000807f, 0x000000000000fffd, 276 0x000000000000807e, 0x000000000000fffc, 277 0x000000000000807d, 0x000000000000fffb, 278 0x000000000000807c, 0x000000000000807e, 279 0x00000000000000ff, 0x000000000000807d, 280 0x00000000000000fe, 0x000000000000807c, 281 0x00000000000000fd, 0x000000000000807b, 282 0x00000000000000fc, 0x000000000000801e, 283 0x000000000000009f, 0x0000000000008001, 284 0x0000000000000082, 0x0000000000008000, 285 0x0000000000000081, 0x0000000000007fff, 286 0x0000000000007ffe, 0x0000000000007fff, 287 0x0000000000007ffd, 0x0000000000007ffe, 288 0x0000000000007ffc, 0x0000000000007ffd, 289 0x0000000000007ffb, 0x0000000000007fdf, 290 0x0000000000007fdd, 0x0000000000007f82, 291 0x0000000000007f80, 0x0000000000007f81, 292 0x0000000000007f7f, 0x0000000000007f80, 293 0x0000000000007f7e, 0x0000000000000002, 294 0x0000000000000000, 0x0000000000000001, 295 0x0000000000000001, 0x0000000000000002, 296 0x0000000000000002, 0x000000003332b336, 297 0x000000003332b336, 0x000000005554d558, 298 0x000000005554d558, 0x000000007fff8000, 299 0x000000007fff8000, 0x000000007fff8001, 300 0x000000007fff8001, 0x000000007fff8002, 301 0x000000007fff8002, 0x0000000080007fff, 302 0x0000000080007ffd, 0x0000000080007ffe, 303 0x0000000080007ffc, 0x000000005555d555, 304 0x000000005555d553, 0x000000003333b333, 305 0x000000003333b331, 0x000000000000ffff, 306 0x000000000000fffd, 0x000000000000fffe, 307 0x000000000000fffc, 0x000000000000fffd, 308 0x000000000000fffb, 0x000000000000fffc, 309 0x000000000000fffa, 0x000000000000807f, 310 0x000000000000807d, 0x000000000000807e, 311 0x000000000000807c, 0x000000000000807d, 312 0x000000000000807b, 0x000000000000807c, 313 0x000000000000807a, 0x000000000000801f, 314 0x000000000000801d, 0x0000000000008002, 315 0x0000000000008000, 0x0000000000008001, 316 0x0000000000007fff, 0x0000000000008000, 317 0x0000000000007fff, 0x0000000000008000, 318 0x0000000000007ffe, 0x0000000000007fff, 319 0x0000000000007ffd, 0x0000000000007ffe, 320 0x0000000000007ffc, 0x0000000000007fe0, 321 0x0000000000007fde, 0x0000000000007f83, 322 0x0000000000007f81, 0x0000000000007f82, 323 0x0000000000007f80, 0x0000000000007f81, 324 0x0000000000007f7f, 0x0000000000000003, 325 0x0000000000000001, 0x0000000000000002, 326 0x0000000000000000, 0x0000000000000001, 327 0x0000000000000001, 0x000000003332b335, 328 0x000000003332b335, 0x000000005554d557, 329 0x000000005554d557, 0x000000007fff7fff, 330 0x000000007fff7fff, 0x000000007fff8000, 331 0x000000007fff8000, 0x000000007fff8001, 332 0x000000007fff8001, 0x0000000080008000, 333 0x0000000080007ffe, 0x0000000080007fff, 334 0x0000000080007ffd, 0x000000005555d556, 335 0x000000005555d554, 0x000000003333b334, 336 0x000000003333b332, 0x0000000000010000, 337 0x000000000000fffe, 0x000000000000ffff, 338 0x000000000000fffd, 0x000000000000fffe, 339 0x000000000000fffc, 0x000000000000fffd, 340 0x000000000000fffb, 0x0000000000008080, 341 0x000000000000807e, 0x000000000000807f, 342 0x000000000000807d, 0x000000000000807e, 343 0x000000000000807c, 0x000000000000807d, 344 0x000000000000807b, 0x0000000000008020, 345 0x000000000000801e, 0x0000000000008003, 346 0x0000000000008001, 0x0000000000008002, 347 0x0000000000008000, 0x0000000000008001, 348 0x0000000000008000, 0x0000000033333334, 349 0x0000000000007fff, 0x0000000033333333, 350 0x0000000000007ffe, 0x0000000033333332, 351 0x0000000000007ffd, 0x0000000033333314, 352 0x0000000000007fdf, 0x00000000333332b7, 353 0x0000000000007f82, 0x00000000333332b6, 354 0x0000000000007f81, 0x00000000333332b5, 355 0x0000000000007f80, 0x000000003332b337, 356 0x0000000000000002, 0x000000003332b336, 357 0x0000000000000001, 0x000000003332b335, 358 0x0000000000000000, 0x0000000000000001, 359 0x000000003332b334, 0x0000000022222223, 360 0x000000005554d556, 0x000000004ccccccb, 361 0x000000007fff7ffe, 0x000000004ccccccc, 362 0x000000007fff7fff, 0x000000004ccccccd, 363 0x000000007fff8000, 0x00000000b3333334, 364 0x0000000080007fff, 0x00000000b3333333, 365 0x0000000080007ffe, 0x000000008888888a, 366 0x000000005555d555, 0x0000000066666668, 367 0x000000003333b333, 0x000000003333b334, 368 0x000000000000ffff, 0x000000003333b333, 369 0x000000000000fffe, 0x000000003333b332, 370 0x000000000000fffd, 0x000000003333b331, 371 0x000000000000fffc, 0x00000000333333b4, 372 0x000000000000807f, 0x00000000333333b3, 373 0x000000000000807e, 0x00000000333333b2, 374 0x000000000000807d, 0x00000000333333b1, 375 0x000000000000807c, 0x0000000033333354, 376 0x000000000000801f, 0x0000000033333337, 377 0x0000000000008002, 0x0000000033333336, 378 0x0000000000008001, 0x0000000033333335, 379 0x0000000033333334, 0x0000000055555556, 380 0x0000000033333333, 0x0000000055555555, 381 0x0000000033333332, 0x0000000055555554, 382 0x0000000033333331, 0x0000000055555536, 383 0x0000000033333313, 0x00000000555554d9, 384 0x00000000333332b6, 0x00000000555554d8, 385 0x00000000333332b5, 0x00000000555554d7, 386 0x00000000333332b4, 0x000000005554d559, 387 0x000000003332b336, 0x000000005554d558, 388 0x000000003332b335, 0x000000005554d557, 389 0x000000003332b334, 0x0000000022222223, 390 0x0000000000000000, 0x0000000000000001, 391 0x0000000022222222, 0x000000002aaaaaa9, 392 0x000000004cccccca, 0x000000002aaaaaaa, 393 0x000000004ccccccb, 0x000000002aaaaaab, 394 0x000000004ccccccc, 0x00000000d5555556, 395 0x00000000b3333333, 0x00000000d5555555, 396 0x00000000b3333332, 0x00000000aaaaaaac, 397 0x0000000088888889, 0x000000008888888a, 398 0x0000000066666667, 0x000000005555d556, 399 0x000000003333b333, 0x000000005555d555, 400 0x000000003333b332, 0x000000005555d554, 401 0x000000003333b331, 0x000000005555d553, 402 0x000000003333b330, 0x00000000555555d6, 403 0x00000000333333b3, 0x00000000555555d5, 404 0x00000000333333b2, 0x00000000555555d4, 405 0x00000000333333b1, 0x00000000555555d3, 406 0x00000000333333b0, 0x0000000055555576, 407 0x0000000033333353, 0x0000000055555559, 408 0x0000000033333336, 0x0000000055555558, 409 0x0000000033333335, 0x0000000055555557, 410 0x0000000055555556, 0x000000007ffffffe, 411 0x0000000055555555, 0x000000007ffffffd, 412 0x0000000055555554, 0x000000007ffffffc, 413 0x0000000055555553, 0x000000007fffffde, 414 0x0000000055555535, 0x000000007fffff81, 415 0x00000000555554d8, 0x000000007fffff80, 416 0x00000000555554d7, 0x000000007fffff7f, 417 0x00000000555554d6, 0x000000007fff8001, 418 0x000000005554d558, 0x000000007fff8000, 419 0x000000005554d557, 0x000000007fff7fff, 420 0x000000005554d556, 0x000000004ccccccb, 421 0x0000000022222222, 0x000000002aaaaaa9, 422 0x0000000000000000, 0x0000000000000001, 423 0x000000002aaaaaa8, 0x0000000000000002, 424 0x000000002aaaaaa9, 0x0000000000000003, 425 0x000000002aaaaaaa, 0x00000000fffffffe, 426 0x00000000d5555555, 0x00000000fffffffd, 427 0x00000000d5555554, 0x00000000d5555554, 428 0x00000000aaaaaaab, 0x00000000b3333332, 429 0x0000000088888889, 0x0000000080007ffe, 430 0x000000005555d555, 0x0000000080007ffd, 431 0x000000005555d554, 0x0000000080007ffc, 432 0x000000005555d553, 0x0000000080007ffb, 433 0x000000005555d552, 0x000000008000007e, 434 0x00000000555555d5, 0x000000008000007d, 435 0x00000000555555d4, 0x000000008000007c, 436 0x00000000555555d3, 0x000000008000007b, 437 0x00000000555555d2, 0x000000008000001e, 438 0x0000000055555575, 0x0000000080000001, 439 0x0000000055555558, 0x0000000080000000, 440 0x0000000055555557, 0x000000007fffffff, 441 0x000000007ffffffe, 0x000000007fffffff, 442 0x000000007ffffffd, 0x000000007ffffffe, 443 0x000000007ffffffc, 0x000000007ffffffd, 444 0x000000007ffffffb, 0x000000007fffffdf, 445 0x000000007fffffdd, 0x000000007fffff82, 446 0x000000007fffff80, 0x000000007fffff81, 447 0x000000007fffff7f, 0x000000007fffff80, 448 0x000000007fffff7e, 0x000000007fff8002, 449 0x000000007fff8000, 0x000000007fff8001, 450 0x000000007fff7fff, 0x000000007fff8000, 451 0x000000007fff7ffe, 0x000000004ccccccc, 452 0x000000004cccccca, 0x000000002aaaaaaa, 453 0x000000002aaaaaa8, 0x0000000000000002, 454 0x0000000000000000, 0x0000000000000001, 455 0x0000000000000001, 0x0000000000000002, 456 0x0000000000000002, 0x00000000ffffffff, 457 0x00000000fffffffd, 0x00000000fffffffe, 458 0x00000000fffffffc, 0x00000000d5555555, 459 0x00000000d5555553, 0x00000000b3333333, 460 0x00000000b3333331, 0x0000000080007fff, 461 0x0000000080007ffd, 0x0000000080007ffe, 462 0x0000000080007ffc, 0x0000000080007ffd, 463 0x0000000080007ffb, 0x0000000080007ffc, 464 0x0000000080007ffa, 0x000000008000007f, 465 0x000000008000007d, 0x000000008000007e, 466 0x000000008000007c, 0x000000008000007d, 467 0x000000008000007b, 0x000000008000007c, 468 0x000000008000007a, 0x000000008000001f, 469 0x000000008000001d, 0x0000000080000002, 470 0x0000000080000000, 0x0000000080000001, 471 0x000000007fffffff, 0x0000000080000000, 472 0x000000007fffffff, 0x0000000080000000, 473 0x000000007ffffffe, 0x000000007fffffff, 474 0x000000007ffffffd, 0x000000007ffffffe, 475 0x000000007ffffffc, 0x000000007fffffe0, 476 0x000000007fffffde, 0x000000007fffff83, 477 0x000000007fffff81, 0x000000007fffff82, 478 0x000000007fffff80, 0x000000007fffff81, 479 0x000000007fffff7f, 0x000000007fff8003, 480 0x000000007fff8001, 0x000000007fff8002, 481 0x000000007fff8000, 0x000000007fff8001, 482 0x000000007fff7fff, 0x000000004ccccccd, 483 0x000000004ccccccb, 0x000000002aaaaaab, 484 0x000000002aaaaaa9, 0x0000000000000003, 485 0x0000000000000001, 0x0000000000000002, 486 0x0000000000000000, 0x0000000000000001, 487 0x0000000000000001, 0x0000000100000000, 488 0x00000000fffffffe, 0x00000000ffffffff, 489 0x00000000fffffffd, 0x00000000d5555556, 490 0x00000000d5555554, 0x00000000b3333334, 491 0x00000000b3333332, 0x0000000080008000, 492 0x0000000080007ffe, 0x0000000080007fff, 493 0x0000000080007ffd, 0x0000000080007ffe, 494 0x0000000080007ffc, 0x0000000080007ffd, 495 0x0000000080007ffb, 0x0000000080000080, 496 0x000000008000007e, 0x000000008000007f, 497 0x000000008000007d, 0x000000008000007e, 498 0x000000008000007c, 0x000000008000007d, 499 0x000000008000007b, 0x0000000080000020, 500 0x000000008000001e, 0x0000000080000003, 501 0x0000000080000001, 0x0000000080000002, 502 0x0000000080000000, 0x0000000080000001, 503 0x0000000080000000, 0x0000000080000001, 504 0x000000007fffffff, 0x0000000080000002, 505 0x000000007ffffffe, 0x0000000080000003, 506 0x000000007ffffffd, 0x0000000080000021, 507 0x000000007fffffdf, 0x000000008000007e, 508 0x000000007fffff82, 0x000000008000007f, 509 0x000000007fffff81, 0x0000000080000080, 510 0x000000007fffff80, 0x0000000080007ffe, 511 0x000000007fff8002, 0x0000000080007fff, 512 0x000000007fff8001, 0x0000000080008000, 513 0x000000007fff8000, 0x00000000b3333334, 514 0x000000004ccccccc, 0x00000000d5555556, 515 0x000000002aaaaaaa, 0x00000000fffffffe, 516 0x0000000000000002, 0x00000000ffffffff, 517 0x0000000000000001, 0x0000000100000000, 518 0x0000000000000000, 0x0000000000000001, 519 0x00000000ffffffff, 0x0000000000000002, 520 0x00000000fffffffe, 0x000000002aaaaaab, 521 0x00000000d5555555, 0x000000004ccccccd, 522 0x00000000b3333333, 0x000000007fff8001, 523 0x0000000080007fff, 0x000000007fff8002, 524 0x0000000080007ffe, 0x000000007fff8003, 525 0x0000000080007ffd, 0x000000007fff8004, 526 0x0000000080007ffc, 0x000000007fffff81, 527 0x000000008000007f, 0x000000007fffff82, 528 0x000000008000007e, 0x000000007fffff83, 529 0x000000008000007d, 0x000000007fffff84, 530 0x000000008000007c, 0x000000007fffffe1, 531 0x000000008000001f, 0x000000007ffffffe, 532 0x0000000080000002, 0x000000007fffffff, 533 0x0000000080000001, 0x0000000080000000, 534 0x000000007fffffff, 0x0000000080000000, 535 0x0000000080000000, 0x0000000080000001, 536 0x0000000080000001, 0x0000000080000002, 537 0x0000000080000002, 0x0000000080000020, 538 0x0000000080000020, 0x000000008000007d, 539 0x000000008000007d, 0x000000008000007e, 540 0x000000008000007e, 0x000000008000007f, 541 0x000000008000007f, 0x0000000080007ffd, 542 0x0000000080007ffd, 0x0000000080007ffe, 543 0x0000000080007ffe, 0x0000000080007fff, 544 0x0000000080007fff, 0x00000000b3333333, 545 0x00000000b3333333, 0x00000000d5555555, 546 0x00000000d5555555, 0x00000000fffffffd, 547 0x00000000fffffffd, 0x00000000fffffffe, 548 0x00000000fffffffe, 0x00000000ffffffff, 549 0x00000000ffffffff, 0x0000000000000002, 550 0x0000000000000000, 0x0000000000000001, 551 0x0000000000000001, 0x000000002aaaaaaa, 552 0x000000002aaaaaaa, 0x000000004ccccccc, 553 0x000000004ccccccc, 0x000000007fff8000, 554 0x000000007fff8000, 0x000000007fff8001, 555 0x000000007fff8001, 0x000000007fff8002, 556 0x000000007fff8002, 0x000000007fff8003, 557 0x000000007fff8003, 0x000000007fffff80, 558 0x000000007fffff80, 0x000000007fffff81, 559 0x000000007fffff81, 0x000000007fffff82, 560 0x000000007fffff82, 0x000000007fffff83, 561 0x000000007fffff83, 0x000000007fffffe0, 562 0x000000007fffffe0, 0x000000007ffffffd, 563 0x000000007ffffffd, 0x000000007ffffffe, 564 0x000000007ffffffe, 0x000000007fffffff, 565 0x000000007ffffffe, 0x0000000055555557, 566 0x000000007fffffff, 0x0000000055555558, 567 0x0000000080000000, 0x0000000055555559, 568 0x0000000080000001, 0x0000000055555577, 569 0x000000008000001f, 0x00000000555555d4, 570 0x000000008000007c, 0x00000000555555d5, 571 0x000000008000007d, 0x00000000555555d6, 572 0x000000008000007e, 0x000000005555d554, 573 0x0000000080007ffc, 0x000000005555d555, 574 0x0000000080007ffd, 0x000000005555d556, 575 0x0000000080007ffe, 0x000000008888888a, 576 0x00000000b3333332, 0x00000000aaaaaaac, 577 0x00000000d5555554, 0x00000000d5555554, 578 0x00000000fffffffc, 0x00000000d5555555, 579 0x00000000fffffffd, 0x00000000d5555556, 580 0x00000000fffffffe, 0x000000002aaaaaab, 581 0x0000000000000001, 0x000000002aaaaaaa, 582 0x0000000000000000, 0x0000000000000001, 583 0x000000002aaaaaa9, 0x0000000022222223, 584 0x000000004ccccccb, 0x000000005554d557, 585 0x000000007fff7fff, 0x000000005554d558, 586 0x000000007fff8000, 0x000000005554d559, 587 0x000000007fff8001, 0x000000005554d55a, 588 0x000000007fff8002, 0x00000000555554d7, 589 0x000000007fffff7f, 0x00000000555554d8, 590 0x000000007fffff80, 0x00000000555554d9, 591 0x000000007fffff81, 0x00000000555554da, 592 0x000000007fffff82, 0x0000000055555537, 593 0x000000007fffffdf, 0x0000000055555554, 594 0x000000007ffffffc, 0x0000000055555555, 595 0x000000007ffffffd, 0x0000000055555556, 596 0x0000000055555555, 0x0000000033333335, 597 0x0000000055555556, 0x0000000033333336, 598 0x0000000055555557, 0x0000000033333337, 599 0x0000000055555558, 0x0000000033333355, 600 0x0000000055555576, 0x00000000333333b2, 601 0x00000000555555d3, 0x00000000333333b3, 602 0x00000000555555d4, 0x00000000333333b4, 603 0x00000000555555d5, 0x000000003333b332, 604 0x000000005555d553, 0x000000003333b333, 605 0x000000005555d554, 0x000000003333b334, 606 0x000000005555d555, 0x0000000066666668, 607 0x0000000088888889, 0x000000008888888a, 608 0x00000000aaaaaaab, 0x00000000b3333332, 609 0x00000000d5555553, 0x00000000b3333333, 610 0x00000000d5555554, 0x00000000b3333334, 611 0x00000000d5555555, 0x000000004ccccccd, 612 0x000000002aaaaaaa, 0x000000004ccccccc, 613 0x000000002aaaaaa9, 0x0000000022222223, 614 0x0000000000000000, 0x0000000000000001, 615 0x0000000022222222, 0x000000003332b335, 616 0x000000005554d556, 0x000000003332b336, 617 0x000000005554d557, 0x000000003332b337, 618 0x000000005554d558, 0x000000003332b338, 619 0x000000005554d559, 0x00000000333332b5, 620 0x00000000555554d6, 0x00000000333332b6, 621 0x00000000555554d7, 0x00000000333332b7, 622 0x00000000555554d8, 0x00000000333332b8, 623 0x00000000555554d9, 0x0000000033333315, 624 0x0000000055555536, 0x0000000033333332, 625 0x0000000055555553, 0x0000000033333333, 626 0x0000000055555554, 0x0000000033333334, 627 0x0000000033333333, 0x0000000000008001, 628 0x0000000033333334, 0x0000000000008002, 629 0x0000000033333335, 0x0000000000008003, 630 0x0000000033333336, 0x0000000000008021, 631 0x0000000033333354, 0x000000000000807e, 632 0x00000000333333b1, 0x000000000000807f, 633 0x00000000333333b2, 0x0000000000008080, 634 0x00000000333333b3, 0x000000000000fffe, 635 0x000000003333b331, 0x000000000000ffff, 636 0x000000003333b332, 0x0000000000010000, 637 0x000000003333b333, 0x000000003333b334, 638 0x0000000066666667, 0x000000005555d556, 639 0x0000000088888889, 0x0000000080007ffe, 640 0x00000000b3333331, 0x0000000080007fff, 641 0x00000000b3333332, 0x0000000080008000, 642 0x00000000b3333333, 0x000000007fff8001, 643 0x000000004ccccccc, 0x000000007fff8000, 644 0x000000004ccccccb, 0x000000005554d557, 645 0x0000000022222222, 0x000000003332b335, 646 0x0000000000000000, 0x0000000000000001, 647 0x000000003332b334, 0x0000000000000002, 648 0x000000003332b335, 0x0000000000000003, 649 0x000000003332b336, 0x0000000000000004, 650 0x000000003332b337, 0x0000000000007f81, 651 0x00000000333332b4, 0x0000000000007f82, 652 0x00000000333332b5, 0x0000000000007f83, 653 0x00000000333332b6, 0x0000000000007f84, 654 0x00000000333332b7, 0x0000000000007fe1, 655 0x0000000033333314, 0x0000000000007ffe, 656 0x0000000033333331, 0x0000000000007fff, 657 0x0000000033333332, 0x0000000000008000, 658 0x0000000000007fff, 0x0000000000008000, 659 0x0000000000008000, 0x0000000000008001, 660 0x0000000000008001, 0x0000000000008002, 661 0x0000000000008002, 0x0000000000008020, 662 0x0000000000008020, 0x000000000000807d, 663 0x000000000000807d, 0x000000000000807e, 664 0x000000000000807e, 0x000000000000807f, 665 0x000000000000807f, 0x000000000000fffd, 666 0x000000000000fffd, 0x000000000000fffe, 667 0x000000000000fffe, 0x000000000000ffff, 668 0x000000000000ffff, 0x000000003333b333, 669 0x000000003333b333, 0x000000005555d555, 670 0x000000005555d555, 0x0000000080007ffd, 671 0x0000000080007ffd, 0x0000000080007ffe, 672 0x0000000080007ffe, 0x0000000080007fff, 673 0x0000000080007fff, 0x000000007fff8002, 674 0x000000007fff8000, 0x000000007fff8001, 675 0x000000007fff7fff, 0x000000005554d558, 676 0x000000005554d556, 0x000000003332b336, 677 0x000000003332b334, 0x0000000000000002, 678 0x0000000000000000, 0x0000000000000001, 679 0x0000000000000001, 0x0000000000000002, 680 0x0000000000000002, 0x0000000000000003, 681 0x0000000000000003, 0x0000000000007f80, 682 0x0000000000007f80, 0x0000000000007f81, 683 0x0000000000007f81, 0x0000000000007f82, 684 0x0000000000007f82, 0x0000000000007f83, 685 0x0000000000007f83, 0x0000000000007fe0, 686 0x0000000000007fe0, 0x0000000000007ffd, 687 0x0000000000007ffd, 0x0000000000007ffe, 688 0x0000000000007ffe, 0x0000000000007fff, 689 0x0000000000007ffe, 0x0000000000007fff, 690 0x0000000000007fff, 0x0000000000008000, 691 0x0000000000008000, 0x0000000000008001, 692 0x0000000000008001, 0x000000000000801f, 693 0x000000000000801f, 0x000000000000807c, 694 0x000000000000807c, 0x000000000000807d, 695 0x000000000000807d, 0x000000000000807e, 696 0x000000000000807e, 0x000000000000fffc, 697 0x000000000000fffc, 0x000000000000fffd, 698 0x000000000000fffd, 0x000000000000fffe, 699 0x000000000000fffe, 0x000000003333b332, 700 0x000000003333b332, 0x000000005555d554, 701 0x000000005555d554, 0x0000000080007ffc, 702 0x0000000080007ffc, 0x0000000080007ffd, 703 0x0000000080007ffd, 0x0000000080007ffe, 704 0x0000000080007ffe, 0x000000007fff8003, 705 0x000000007fff8001, 0x000000007fff8002, 706 0x000000007fff8000, 0x000000005554d559, 707 0x000000005554d557, 0x000000003332b337, 708 0x000000003332b335, 0x0000000000000003, 709 0x0000000000000001, 0x0000000000000002, 710 0x0000000000000000, 0x0000000000000001, 711 0x0000000000000001, 0x0000000000000002, 712 0x0000000000000002, 0x0000000000007f7f, 713 0x0000000000007f7f, 0x0000000000007f80, 714 0x0000000000007f80, 0x0000000000007f81, 715 0x0000000000007f81, 0x0000000000007f82, 716 0x0000000000007f82, 0x0000000000007fdf, 717 0x0000000000007fdf, 0x0000000000007ffc, 718 0x0000000000007ffc, 0x0000000000007ffd, 719 0x0000000000007ffd, 0x0000000000007ffe, 720 0x0000000000007ffd, 0x0000000000007ffe, 721 0x0000000000007ffe, 0x0000000000007fff, 722 0x0000000000007fff, 0x0000000000008000, 723 0x0000000000008000, 0x000000000000801e, 724 0x000000000000801e, 0x000000000000807b, 725 0x000000000000807b, 0x000000000000807c, 726 0x000000000000807c, 0x000000000000807d, 727 0x000000000000807d, 0x000000000000fffb, 728 0x000000000000fffb, 0x000000000000fffc, 729 0x000000000000fffc, 0x000000000000fffd, 730 0x000000000000fffd, 0x000000003333b331, 731 0x000000003333b331, 0x000000005555d553, 732 0x000000005555d553, 0x0000000080007ffb, 733 0x0000000080007ffb, 0x0000000080007ffc, 734 0x0000000080007ffc, 0x0000000080007ffd, 735 0x0000000080007ffd, 0x000000007fff8004, 736 0x000000007fff8002, 0x000000007fff8003, 737 0x000000007fff8001, 0x000000005554d55a, 738 0x000000005554d558, 0x000000003332b338, 739 0x000000003332b336, 0x0000000000000004, 740 0x0000000000000002, 0x0000000000000003, 741 0x0000000000000001, 0x0000000000000002, 742 0x0000000000000000, 0x0000000000000001, 743 0x0000000000000001, 0x0000000000007f7e, 744 0x0000000000007f7e, 0x0000000000007f7f, 745 0x0000000000007f7f, 0x0000000000007f80, 746 0x0000000000007f80, 0x0000000000007f81, 747 0x0000000000007f81, 0x0000000000007fde, 748 0x0000000000007fde, 0x0000000000007ffb, 749 0x0000000000007ffb, 0x0000000000007ffc, 750 0x0000000000007ffc, 0x0000000000007ffd, 751 0x0000000000007ffc, 0x0000000000000081, 752 0x0000000000007ffd, 0x0000000000000082, 753 0x0000000000007ffe, 0x0000000000000083, 754 0x0000000000007fff, 0x00000000000000a1, 755 0x000000000000801d, 0x00000000000000fe, 756 0x000000000000807a, 0x00000000000000ff, 757 0x000000000000807b, 0x0000000000000100, 758 0x000000000000807c, 0x000000000000807e, 759 0x000000000000fffa, 0x000000000000807f, 760 0x000000000000fffb, 0x0000000000008080, 761 0x000000000000fffc, 0x00000000333333b4, 762 0x000000003333b330, 0x00000000555555d6, 763 0x000000005555d552, 0x000000008000007e, 764 0x0000000080007ffa, 0x000000008000007f, 765 0x0000000080007ffb, 0x0000000080000080, 766 0x0000000080007ffc, 0x000000007fffff81, 767 0x000000007fff8003, 0x000000007fffff80, 768 0x000000007fff8002, 0x00000000555554d7, 769 0x000000005554d559, 0x00000000333332b5, 770 0x000000003332b337, 0x0000000000007f81, 771 0x0000000000000003, 0x0000000000007f80, 772 0x0000000000000002, 0x0000000000007f7f, 773 0x0000000000000001, 0x0000000000007f7e, 774 0x0000000000000000, 0x0000000000000001, 775 0x0000000000007f7d, 0x0000000000000002, 776 0x0000000000007f7e, 0x0000000000000003, 777 0x0000000000007f7f, 0x0000000000000004, 778 0x0000000000007f80, 0x0000000000000061, 779 0x0000000000007fdd, 0x000000000000007e, 780 0x0000000000007ffa, 0x000000000000007f, 781 0x0000000000007ffb, 0x0000000000000080, 782 0x000000000000007f, 0x0000000000000080, 783 0x0000000000000080, 0x0000000000000081, 784 0x0000000000000081, 0x0000000000000082, 785 0x0000000000000082, 0x00000000000000a0, 786 0x00000000000000a0, 0x00000000000000fd, 787 0x00000000000000fd, 0x00000000000000fe, 788 0x00000000000000fe, 0x00000000000000ff, 789 0x00000000000000ff, 0x000000000000807d, 790 0x000000000000807d, 0x000000000000807e, 791 0x000000000000807e, 0x000000000000807f, 792 0x000000000000807f, 0x00000000333333b3, 793 0x00000000333333b3, 0x00000000555555d5, 794 0x00000000555555d5, 0x000000008000007d, 795 0x000000008000007d, 0x000000008000007e, 796 0x000000008000007e, 0x000000008000007f, 797 0x000000008000007f, 0x000000007fffff82, 798 0x000000007fffff80, 0x000000007fffff81, 799 0x000000007fffff7f, 0x00000000555554d8, 800 0x00000000555554d6, 0x00000000333332b6, 801 0x00000000333332b4, 0x0000000000007f82, 802 0x0000000000007f80, 0x0000000000007f81, 803 0x0000000000007f7f, 0x0000000000007f80, 804 0x0000000000007f7e, 0x0000000000007f7f, 805 0x0000000000007f7d, 0x0000000000000002, 806 0x0000000000000000, 0x0000000000000001, 807 0x0000000000000001, 0x0000000000000002, 808 0x0000000000000002, 0x0000000000000003, 809 0x0000000000000003, 0x0000000000000060, 810 0x0000000000000060, 0x000000000000007d, 811 0x000000000000007d, 0x000000000000007e, 812 0x000000000000007e, 0x000000000000007f, 813 0x000000000000007e, 0x000000000000007f, 814 0x000000000000007f, 0x0000000000000080, 815 0x0000000000000080, 0x0000000000000081, 816 0x0000000000000081, 0x000000000000009f, 817 0x000000000000009f, 0x00000000000000fc, 818 0x00000000000000fc, 0x00000000000000fd, 819 0x00000000000000fd, 0x00000000000000fe, 820 0x00000000000000fe, 0x000000000000807c, 821 0x000000000000807c, 0x000000000000807d, 822 0x000000000000807d, 0x000000000000807e, 823 0x000000000000807e, 0x00000000333333b2, 824 0x00000000333333b2, 0x00000000555555d4, 825 0x00000000555555d4, 0x000000008000007c, 826 0x000000008000007c, 0x000000008000007d, 827 0x000000008000007d, 0x000000008000007e, 828 0x000000008000007e, 0x000000007fffff83, 829 0x000000007fffff81, 0x000000007fffff82, 830 0x000000007fffff80, 0x00000000555554d9, 831 0x00000000555554d7, 0x00000000333332b7, 832 0x00000000333332b5, 0x0000000000007f83, 833 0x0000000000007f81, 0x0000000000007f82, 834 0x0000000000007f80, 0x0000000000007f81, 835 0x0000000000007f7f, 0x0000000000007f80, 836 0x0000000000007f7e, 0x0000000000000003, 837 0x0000000000000001, 0x0000000000000002, 838 0x0000000000000000, 0x0000000000000001, 839 0x0000000000000001, 0x0000000000000002, 840 0x0000000000000002, 0x000000000000005f, 841 0x000000000000005f, 0x000000000000007c, 842 0x000000000000007c, 0x000000000000007d, 843 0x000000000000007d, 0x000000000000007e, 844 0x000000000000007d, 0x000000000000007e, 845 0x000000000000007e, 0x000000000000007f, 846 0x000000000000007f, 0x0000000000000080, 847 0x0000000000000080, 0x000000000000009e, 848 0x000000000000009e, 0x00000000000000fb, 849 0x00000000000000fb, 0x00000000000000fc, 850 0x00000000000000fc, 0x00000000000000fd, 851 0x00000000000000fd, 0x000000000000807b, 852 0x000000000000807b, 0x000000000000807c, 853 0x000000000000807c, 0x000000000000807d, 854 0x000000000000807d, 0x00000000333333b1, 855 0x00000000333333b1, 0x00000000555555d3, 856 0x00000000555555d3, 0x000000008000007b, 857 0x000000008000007b, 0x000000008000007c, 858 0x000000008000007c, 0x000000008000007d, 859 0x000000008000007d, 0x000000007fffff84, 860 0x000000007fffff82, 0x000000007fffff83, 861 0x000000007fffff81, 0x00000000555554da, 862 0x00000000555554d8, 0x00000000333332b8, 863 0x00000000333332b6, 0x0000000000007f84, 864 0x0000000000007f82, 0x0000000000007f83, 865 0x0000000000007f81, 0x0000000000007f82, 866 0x0000000000007f80, 0x0000000000007f81, 867 0x0000000000007f7f, 0x0000000000000004, 868 0x0000000000000002, 0x0000000000000003, 869 0x0000000000000001, 0x0000000000000002, 870 0x0000000000000000, 0x0000000000000001, 871 0x0000000000000001, 0x000000000000005e, 872 0x000000000000005e, 0x000000000000007b, 873 0x000000000000007b, 0x000000000000007c, 874 0x000000000000007c, 0x000000000000007d, 875 0x000000000000007c, 0x0000000000000021, 876 0x000000000000007d, 0x0000000000000022, 877 0x000000000000007e, 0x0000000000000023, 878 0x000000000000007f, 0x0000000000000041, 879 0x000000000000009d, 0x000000000000009e, 880 0x00000000000000fa, 0x000000000000009f, 881 0x00000000000000fb, 0x00000000000000a0, 882 0x00000000000000fc, 0x000000000000801e, 883 0x000000000000807a, 0x000000000000801f, 884 0x000000000000807b, 0x0000000000008020, 885 0x000000000000807c, 0x0000000033333354, 886 0x00000000333333b0, 0x0000000055555576, 887 0x00000000555555d2, 0x000000008000001e, 888 0x000000008000007a, 0x000000008000001f, 889 0x000000008000007b, 0x0000000080000020, 890 0x000000008000007c, 0x000000007fffffe1, 891 0x000000007fffff83, 0x000000007fffffe0, 892 0x000000007fffff82, 0x0000000055555537, 893 0x00000000555554d9, 0x0000000033333315, 894 0x00000000333332b7, 0x0000000000007fe1, 895 0x0000000000007f83, 0x0000000000007fe0, 896 0x0000000000007f82, 0x0000000000007fdf, 897 0x0000000000007f81, 0x0000000000007fde, 898 0x0000000000007f80, 0x0000000000000061, 899 0x0000000000000003, 0x0000000000000060, 900 0x0000000000000002, 0x000000000000005f, 901 0x0000000000000001, 0x000000000000005e, 902 0x0000000000000000, 0x0000000000000001, 903 0x000000000000005d, 0x000000000000001e, 904 0x000000000000007a, 0x000000000000001f, 905 0x000000000000007b, 0x0000000000000020, 906 0x000000000000001f, 0x0000000000000004, 907 0x0000000000000020, 0x0000000000000005, 908 0x0000000000000021, 0x0000000000000006, 909 0x0000000000000022, 0x0000000000000024, 910 0x0000000000000040, 0x0000000000000081, 911 0x000000000000009d, 0x0000000000000082, 912 0x000000000000009e, 0x0000000000000083, 913 0x000000000000009f, 0x0000000000008001, 914 0x000000000000801d, 0x0000000000008002, 915 0x000000000000801e, 0x0000000000008003, 916 0x000000000000801f, 0x0000000033333337, 917 0x0000000033333353, 0x0000000055555559, 918 0x0000000055555575, 0x0000000080000001, 919 0x000000008000001d, 0x0000000080000002, 920 0x000000008000001e, 0x0000000080000003, 921 0x000000008000001f, 0x000000007ffffffe, 922 0x000000007fffffe0, 0x000000007ffffffd, 923 0x000000007fffffdf, 0x0000000055555554, 924 0x0000000055555536, 0x0000000033333332, 925 0x0000000033333314, 0x0000000000007ffe, 926 0x0000000000007fe0, 0x0000000000007ffd, 927 0x0000000000007fdf, 0x0000000000007ffc, 928 0x0000000000007fde, 0x0000000000007ffb, 929 0x0000000000007fdd, 0x000000000000007e, 930 0x0000000000000060, 0x000000000000007d, 931 0x000000000000005f, 0x000000000000007c, 932 0x000000000000005e, 0x000000000000007b, 933 0x000000000000005d, 0x000000000000001e, 934 0x0000000000000000, 0x0000000000000001, 935 0x000000000000001d, 0x0000000000000002, 936 0x000000000000001e, 0x0000000000000003, 937 0x0000000000000002, 0x0000000000000003, 938 0x0000000000000003, 0x0000000000000004, 939 0x0000000000000004, 0x0000000000000005, 940 0x0000000000000005, 0x0000000000000023, 941 0x0000000000000023, 0x0000000000000080, 942 0x0000000000000080, 0x0000000000000081, 943 0x0000000000000081, 0x0000000000000082, 944 0x0000000000000082, 0x0000000000008000, 945 0x0000000000008000, 0x0000000000008001, 946 0x0000000000008001, 0x0000000000008002, 947 0x0000000000008002, 0x0000000033333336, 948 0x0000000033333336, 0x0000000055555558, 949 0x0000000055555558, 0x0000000080000000, 950 0x0000000080000000, 0x0000000080000001, 951 0x0000000080000001, 0x0000000080000002, 952 0x0000000080000002, 0x000000007fffffff, 953 0x000000007ffffffd, 0x000000007ffffffe, 954 0x000000007ffffffc, 0x0000000055555555, 955 0x0000000055555553, 0x0000000033333333, 956 0x0000000033333331, 0x0000000000007fff, 957 0x0000000000007ffd, 0x0000000000007ffe, 958 0x0000000000007ffc, 0x0000000000007ffd, 959 0x0000000000007ffb, 0x0000000000007ffc, 960 0x0000000000007ffa, 0x000000000000007f, 961 0x000000000000007d, 0x000000000000007e, 962 0x000000000000007c, 0x000000000000007d, 963 0x000000000000007b, 0x000000000000007c, 964 0x000000000000007a, 0x000000000000001f, 965 0x000000000000001d, 0x0000000000000002, 966 0x0000000000000000, 0x0000000000000001, 967 0x0000000000000001, 0x0000000000000002, 968 0x0000000000000001, 0x0000000000000002, 969 0x0000000000000002, 0x0000000000000003, 970 0x0000000000000003, 0x0000000000000004, 971 0x0000000000000004, 0x0000000000000022, 972 0x0000000000000022, 0x000000000000007f, 973 0x000000000000007f, 0x0000000000000080, 974 0x0000000000000080, 0x0000000000000081, 975 0x0000000000000081, 0x0000000000007fff, 976 0x0000000000007fff, 0x0000000000008000, 977 0x0000000000008000, 0x0000000000008001, 978 0x0000000000008001, 0x0000000033333335, 979 0x0000000033333335, 0x0000000055555557, 980 0x0000000055555557, 0x000000007fffffff, 981 0x000000007fffffff, 0x0000000080000000, 982 0x0000000080000000, 0x0000000080000001, 983 0x0000000080000001, 0x0000000080000000, 984 0x000000007ffffffe, 0x000000007fffffff, 985 0x000000007ffffffd, 0x0000000055555556, 986 0x0000000055555554, 0x0000000033333334, 987 0x0000000033333332, 0x0000000000008000, 988 0x0000000000007ffe, 0x0000000000007fff, 989 0x0000000000007ffd, 0x0000000000007ffe, 990 0x0000000000007ffc, 0x0000000000007ffd, 991 0x0000000000007ffb, 0x0000000000000080, 992 0x000000000000007e, 0x000000000000007f, 993 0x000000000000007d, 0x000000000000007e, 994 0x000000000000007c, 0x000000000000007d, 995 0x000000000000007b, 0x0000000000000020, 996 0x000000000000001e, 0x0000000000000003, 997 0x0000000000000001, 0x0000000000000002, 998 0x0000000000000000, 0x0000000000000001, 999 }; 1000 const unsigned kExpectedCount_NEON_sabal2_2D = 961; 1001 1002 #endif // VIXL_SIM_SABAL2_2D_TRACE_A64_H_ 1003
