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