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_UADDL2_2D_TRACE_A64_H_ 35 #define VIXL_SIM_UADDL2_2D_TRACE_A64_H_ 36 37 const uint64_t kExpected_NEON_uaddl2_2D[] = { 38 0x0000000000fffa00, 0x0000000000000000, 39 0x00000000007ffd00, 0x0000000000000001, 40 0x00000000007ffd01, 0x0000000000000002, 41 0x00000000007ffd02, 0x0000000000000020, 42 0x00000000007ffd20, 0x000000000000007d, 43 0x00000000007ffd7d, 0x000000000000007e, 44 0x00000000007ffd7e, 0x000000000000007f, 45 0x00000000007ffd7f, 0x0000000000007ffd, 46 0x0000000000807cfd, 0x0000000000007ffe, 47 0x0000000000807cfe, 0x0000000000007fff, 48 0x0000000000807cff, 0x0000000033333333, 49 0x0000000033b33033, 0x0000000055555555, 50 0x0000000055d55255, 0x000000007ffffffd, 51 0x00000000807ffcfd, 0x000000007ffffffe, 52 0x00000000807ffcfe, 0x000000007fffffff, 53 0x00000000807ffcff, 0x0000000080000000, 54 0x00000000807ffd00, 0x0000000080000001, 55 0x00000000807ffd01, 0x00000000aaaaaaaa, 56 0x00000000ab2aa7aa, 0x00000000cccccccc, 57 0x00000000cd4cc9cc, 0x00000000ffff8000, 58 0x00000001007f7d00, 0x00000000ffff8001, 59 0x00000001007f7d01, 0x00000000ffff8002, 60 0x00000001007f7d02, 0x00000000ffff8003, 61 0x00000001007f7d03, 0x00000000ffffff80, 62 0x00000001007ffc80, 0x00000000ffffff81, 63 0x00000001007ffc81, 0x00000000ffffff82, 64 0x00000001007ffc82, 0x00000000ffffff83, 65 0x00000001007ffc83, 0x00000000ffffffe0, 66 0x00000001007ffce0, 0x00000000fffffffd, 67 0x00000001007ffcfd, 0x00000000fffffffe, 68 0x00000001007ffcfe, 0x00000000ffffffff, 69 0x00000000ffffffff, 0x0000000000000001, 70 0x0000000000000000, 0x0000000000000002, 71 0x0000000000000001, 0x0000000000000003, 72 0x0000000000000002, 0x0000000000000021, 73 0x0000000000000020, 0x000000000000007e, 74 0x000000000000007d, 0x000000000000007f, 75 0x000000000000007e, 0x0000000000000080, 76 0x000000000000007f, 0x0000000000007ffe, 77 0x0000000000007ffd, 0x0000000000007fff, 78 0x0000000000007ffe, 0x0000000000008000, 79 0x0000000000007fff, 0x0000000033333334, 80 0x0000000033333333, 0x0000000055555556, 81 0x0000000055555555, 0x000000007ffffffe, 82 0x000000007ffffffd, 0x000000007fffffff, 83 0x000000007ffffffe, 0x0000000080000000, 84 0x000000007fffffff, 0x0000000080000001, 85 0x0000000080000000, 0x0000000080000002, 86 0x0000000080000001, 0x00000000aaaaaaab, 87 0x00000000aaaaaaaa, 0x00000000cccccccd, 88 0x00000000cccccccc, 0x00000000ffff8001, 89 0x00000000ffff8000, 0x00000000ffff8002, 90 0x00000000ffff8001, 0x00000000ffff8003, 91 0x00000000ffff8002, 0x00000000ffff8004, 92 0x00000000ffff8003, 0x00000000ffffff81, 93 0x00000000ffffff80, 0x00000000ffffff82, 94 0x00000000ffffff81, 0x00000000ffffff83, 95 0x00000000ffffff82, 0x00000000ffffff84, 96 0x00000000ffffff83, 0x00000000ffffffe1, 97 0x00000000ffffffe0, 0x00000000fffffffe, 98 0x00000000fffffffd, 0x00000000ffffffff, 99 0x00000000fffffffe, 0x0000000100000000, 100 0x0000000100000000, 0x0000000000000002, 101 0x0000000000000001, 0x0000000000000003, 102 0x0000000000000002, 0x0000000000000004, 103 0x0000000000000003, 0x0000000000000022, 104 0x0000000000000021, 0x000000000000007f, 105 0x000000000000007e, 0x0000000000000080, 106 0x000000000000007f, 0x0000000000000081, 107 0x0000000000000080, 0x0000000000007fff, 108 0x0000000000007ffe, 0x0000000000008000, 109 0x0000000000007fff, 0x0000000000008001, 110 0x0000000000008000, 0x0000000033333335, 111 0x0000000033333334, 0x0000000055555557, 112 0x0000000055555556, 0x000000007fffffff, 113 0x000000007ffffffe, 0x0000000080000000, 114 0x000000007fffffff, 0x0000000080000001, 115 0x0000000080000000, 0x0000000080000002, 116 0x0000000080000001, 0x0000000080000003, 117 0x0000000080000002, 0x00000000aaaaaaac, 118 0x00000000aaaaaaab, 0x00000000ccccccce, 119 0x00000000cccccccd, 0x00000000ffff8002, 120 0x00000000ffff8001, 0x00000000ffff8003, 121 0x00000000ffff8002, 0x00000000ffff8004, 122 0x00000000ffff8003, 0x00000000ffff8005, 123 0x00000000ffff8004, 0x00000000ffffff82, 124 0x00000000ffffff81, 0x00000000ffffff83, 125 0x00000000ffffff82, 0x00000000ffffff84, 126 0x00000000ffffff83, 0x00000000ffffff85, 127 0x00000000ffffff84, 0x00000000ffffffe2, 128 0x00000000ffffffe1, 0x00000000ffffffff, 129 0x00000000fffffffe, 0x0000000100000000, 130 0x00000000ffffffff, 0x0000000100000001, 131 0x0000000100000001, 0x0000000000000020, 132 0x0000000000000002, 0x0000000000000021, 133 0x0000000000000003, 0x0000000000000022, 134 0x0000000000000004, 0x0000000000000040, 135 0x0000000000000022, 0x000000000000009d, 136 0x000000000000007f, 0x000000000000009e, 137 0x0000000000000080, 0x000000000000009f, 138 0x0000000000000081, 0x000000000000801d, 139 0x0000000000007fff, 0x000000000000801e, 140 0x0000000000008000, 0x000000000000801f, 141 0x0000000000008001, 0x0000000033333353, 142 0x0000000033333335, 0x0000000055555575, 143 0x0000000055555557, 0x000000008000001d, 144 0x000000007fffffff, 0x000000008000001e, 145 0x0000000080000000, 0x000000008000001f, 146 0x0000000080000001, 0x0000000080000020, 147 0x0000000080000002, 0x0000000080000021, 148 0x0000000080000003, 0x00000000aaaaaaca, 149 0x00000000aaaaaaac, 0x00000000ccccccec, 150 0x00000000ccccccce, 0x00000000ffff8020, 151 0x00000000ffff8002, 0x00000000ffff8021, 152 0x00000000ffff8003, 0x00000000ffff8022, 153 0x00000000ffff8004, 0x00000000ffff8023, 154 0x00000000ffff8005, 0x00000000ffffffa0, 155 0x00000000ffffff82, 0x00000000ffffffa1, 156 0x00000000ffffff83, 0x00000000ffffffa2, 157 0x00000000ffffff84, 0x00000000ffffffa3, 158 0x00000000ffffff85, 0x0000000100000000, 159 0x00000000ffffffe2, 0x000000010000001d, 160 0x00000000ffffffff, 0x000000010000001e, 161 0x0000000100000000, 0x000000010000001f, 162 0x000000010000001f, 0x000000000000007d, 163 0x0000000000000020, 0x000000000000007e, 164 0x0000000000000021, 0x000000000000007f, 165 0x0000000000000022, 0x000000000000009d, 166 0x0000000000000040, 0x00000000000000fa, 167 0x000000000000009d, 0x00000000000000fb, 168 0x000000000000009e, 0x00000000000000fc, 169 0x000000000000009f, 0x000000000000807a, 170 0x000000000000801d, 0x000000000000807b, 171 0x000000000000801e, 0x000000000000807c, 172 0x000000000000801f, 0x00000000333333b0, 173 0x0000000033333353, 0x00000000555555d2, 174 0x0000000055555575, 0x000000008000007a, 175 0x000000008000001d, 0x000000008000007b, 176 0x000000008000001e, 0x000000008000007c, 177 0x000000008000001f, 0x000000008000007d, 178 0x0000000080000020, 0x000000008000007e, 179 0x0000000080000021, 0x00000000aaaaab27, 180 0x00000000aaaaaaca, 0x00000000cccccd49, 181 0x00000000ccccccec, 0x00000000ffff807d, 182 0x00000000ffff8020, 0x00000000ffff807e, 183 0x00000000ffff8021, 0x00000000ffff807f, 184 0x00000000ffff8022, 0x00000000ffff8080, 185 0x00000000ffff8023, 0x00000000fffffffd, 186 0x00000000ffffffa0, 0x00000000fffffffe, 187 0x00000000ffffffa1, 0x00000000ffffffff, 188 0x00000000ffffffa2, 0x0000000100000000, 189 0x00000000ffffffa3, 0x000000010000005d, 190 0x0000000100000000, 0x000000010000007a, 191 0x000000010000001d, 0x000000010000007b, 192 0x000000010000001e, 0x000000010000007c, 193 0x000000010000007c, 0x000000000000007e, 194 0x000000000000007d, 0x000000000000007f, 195 0x000000000000007e, 0x0000000000000080, 196 0x000000000000007f, 0x000000000000009e, 197 0x000000000000009d, 0x00000000000000fb, 198 0x00000000000000fa, 0x00000000000000fc, 199 0x00000000000000fb, 0x00000000000000fd, 200 0x00000000000000fc, 0x000000000000807b, 201 0x000000000000807a, 0x000000000000807c, 202 0x000000000000807b, 0x000000000000807d, 203 0x000000000000807c, 0x00000000333333b1, 204 0x00000000333333b0, 0x00000000555555d3, 205 0x00000000555555d2, 0x000000008000007b, 206 0x000000008000007a, 0x000000008000007c, 207 0x000000008000007b, 0x000000008000007d, 208 0x000000008000007c, 0x000000008000007e, 209 0x000000008000007d, 0x000000008000007f, 210 0x000000008000007e, 0x00000000aaaaab28, 211 0x00000000aaaaab27, 0x00000000cccccd4a, 212 0x00000000cccccd49, 0x00000000ffff807e, 213 0x00000000ffff807d, 0x00000000ffff807f, 214 0x00000000ffff807e, 0x00000000ffff8080, 215 0x00000000ffff807f, 0x00000000ffff8081, 216 0x00000000ffff8080, 0x00000000fffffffe, 217 0x00000000fffffffd, 0x00000000ffffffff, 218 0x00000000fffffffe, 0x0000000100000000, 219 0x00000000ffffffff, 0x0000000100000001, 220 0x0000000100000000, 0x000000010000005e, 221 0x000000010000005d, 0x000000010000007b, 222 0x000000010000007a, 0x000000010000007c, 223 0x000000010000007b, 0x000000010000007d, 224 0x000000010000007d, 0x000000000000007f, 225 0x000000000000007e, 0x0000000000000080, 226 0x000000000000007f, 0x0000000000000081, 227 0x0000000000000080, 0x000000000000009f, 228 0x000000000000009e, 0x00000000000000fc, 229 0x00000000000000fb, 0x00000000000000fd, 230 0x00000000000000fc, 0x00000000000000fe, 231 0x00000000000000fd, 0x000000000000807c, 232 0x000000000000807b, 0x000000000000807d, 233 0x000000000000807c, 0x000000000000807e, 234 0x000000000000807d, 0x00000000333333b2, 235 0x00000000333333b1, 0x00000000555555d4, 236 0x00000000555555d3, 0x000000008000007c, 237 0x000000008000007b, 0x000000008000007d, 238 0x000000008000007c, 0x000000008000007e, 239 0x000000008000007d, 0x000000008000007f, 240 0x000000008000007e, 0x0000000080000080, 241 0x000000008000007f, 0x00000000aaaaab29, 242 0x00000000aaaaab28, 0x00000000cccccd4b, 243 0x00000000cccccd4a, 0x00000000ffff807f, 244 0x00000000ffff807e, 0x00000000ffff8080, 245 0x00000000ffff807f, 0x00000000ffff8081, 246 0x00000000ffff8080, 0x00000000ffff8082, 247 0x00000000ffff8081, 0x00000000ffffffff, 248 0x00000000fffffffe, 0x0000000100000000, 249 0x00000000ffffffff, 0x0000000100000001, 250 0x0000000100000000, 0x0000000100000002, 251 0x0000000100000001, 0x000000010000005f, 252 0x000000010000005e, 0x000000010000007c, 253 0x000000010000007b, 0x000000010000007d, 254 0x000000010000007c, 0x000000010000007e, 255 0x000000010000007e, 0x0000000000007ffd, 256 0x000000000000007f, 0x0000000000007ffe, 257 0x0000000000000080, 0x0000000000007fff, 258 0x0000000000000081, 0x000000000000801d, 259 0x000000000000009f, 0x000000000000807a, 260 0x00000000000000fc, 0x000000000000807b, 261 0x00000000000000fd, 0x000000000000807c, 262 0x00000000000000fe, 0x000000000000fffa, 263 0x000000000000807c, 0x000000000000fffb, 264 0x000000000000807d, 0x000000000000fffc, 265 0x000000000000807e, 0x000000003333b330, 266 0x00000000333333b2, 0x000000005555d552, 267 0x00000000555555d4, 0x0000000080007ffa, 268 0x000000008000007c, 0x0000000080007ffb, 269 0x000000008000007d, 0x0000000080007ffc, 270 0x000000008000007e, 0x0000000080007ffd, 271 0x000000008000007f, 0x0000000080007ffe, 272 0x0000000080000080, 0x00000000aaab2aa7, 273 0x00000000aaaaab29, 0x00000000cccd4cc9, 274 0x00000000cccccd4b, 0x00000000fffffffd, 275 0x00000000ffff807f, 0x00000000fffffffe, 276 0x00000000ffff8080, 0x00000000ffffffff, 277 0x00000000ffff8081, 0x0000000100000000, 278 0x00000000ffff8082, 0x0000000100007f7d, 279 0x00000000ffffffff, 0x0000000100007f7e, 280 0x0000000100000000, 0x0000000100007f7f, 281 0x0000000100000001, 0x0000000100007f80, 282 0x0000000100000002, 0x0000000100007fdd, 283 0x000000010000005f, 0x0000000100007ffa, 284 0x000000010000007c, 0x0000000100007ffb, 285 0x000000010000007d, 0x0000000100007ffc, 286 0x0000000100007ffc, 0x0000000000007ffe, 287 0x0000000000007ffd, 0x0000000000007fff, 288 0x0000000000007ffe, 0x0000000000008000, 289 0x0000000000007fff, 0x000000000000801e, 290 0x000000000000801d, 0x000000000000807b, 291 0x000000000000807a, 0x000000000000807c, 292 0x000000000000807b, 0x000000000000807d, 293 0x000000000000807c, 0x000000000000fffb, 294 0x000000000000fffa, 0x000000000000fffc, 295 0x000000000000fffb, 0x000000000000fffd, 296 0x000000000000fffc, 0x000000003333b331, 297 0x000000003333b330, 0x000000005555d553, 298 0x000000005555d552, 0x0000000080007ffb, 299 0x0000000080007ffa, 0x0000000080007ffc, 300 0x0000000080007ffb, 0x0000000080007ffd, 301 0x0000000080007ffc, 0x0000000080007ffe, 302 0x0000000080007ffd, 0x0000000080007fff, 303 0x0000000080007ffe, 0x00000000aaab2aa8, 304 0x00000000aaab2aa7, 0x00000000cccd4cca, 305 0x00000000cccd4cc9, 0x00000000fffffffe, 306 0x00000000fffffffd, 0x00000000ffffffff, 307 0x00000000fffffffe, 0x0000000100000000, 308 0x00000000ffffffff, 0x0000000100000001, 309 0x0000000100000000, 0x0000000100007f7e, 310 0x0000000100007f7d, 0x0000000100007f7f, 311 0x0000000100007f7e, 0x0000000100007f80, 312 0x0000000100007f7f, 0x0000000100007f81, 313 0x0000000100007f80, 0x0000000100007fde, 314 0x0000000100007fdd, 0x0000000100007ffb, 315 0x0000000100007ffa, 0x0000000100007ffc, 316 0x0000000100007ffb, 0x0000000100007ffd, 317 0x0000000100007ffd, 0x0000000000007fff, 318 0x0000000000007ffe, 0x0000000000008000, 319 0x0000000000007fff, 0x0000000000008001, 320 0x0000000000008000, 0x000000000000801f, 321 0x000000000000801e, 0x000000000000807c, 322 0x000000000000807b, 0x000000000000807d, 323 0x000000000000807c, 0x000000000000807e, 324 0x000000000000807d, 0x000000000000fffc, 325 0x000000000000fffb, 0x000000000000fffd, 326 0x000000000000fffc, 0x000000000000fffe, 327 0x000000000000fffd, 0x000000003333b332, 328 0x000000003333b331, 0x000000005555d554, 329 0x000000005555d553, 0x0000000080007ffc, 330 0x0000000080007ffb, 0x0000000080007ffd, 331 0x0000000080007ffc, 0x0000000080007ffe, 332 0x0000000080007ffd, 0x0000000080007fff, 333 0x0000000080007ffe, 0x0000000080008000, 334 0x0000000080007fff, 0x00000000aaab2aa9, 335 0x00000000aaab2aa8, 0x00000000cccd4ccb, 336 0x00000000cccd4cca, 0x00000000ffffffff, 337 0x00000000fffffffe, 0x0000000100000000, 338 0x00000000ffffffff, 0x0000000100000001, 339 0x0000000100000000, 0x0000000100000002, 340 0x0000000100000001, 0x0000000100007f7f, 341 0x0000000100007f7e, 0x0000000100007f80, 342 0x0000000100007f7f, 0x0000000100007f81, 343 0x0000000100007f80, 0x0000000100007f82, 344 0x0000000100007f81, 0x0000000100007fdf, 345 0x0000000100007fde, 0x0000000100007ffc, 346 0x0000000100007ffb, 0x0000000100007ffd, 347 0x0000000100007ffc, 0x0000000100007ffe, 348 0x0000000100007ffe, 0x0000000033333333, 349 0x0000000000007fff, 0x0000000033333334, 350 0x0000000000008000, 0x0000000033333335, 351 0x0000000000008001, 0x0000000033333353, 352 0x000000000000801f, 0x00000000333333b0, 353 0x000000000000807c, 0x00000000333333b1, 354 0x000000000000807d, 0x00000000333333b2, 355 0x000000000000807e, 0x000000003333b330, 356 0x000000000000fffc, 0x000000003333b331, 357 0x000000000000fffd, 0x000000003333b332, 358 0x000000000000fffe, 0x0000000066666666, 359 0x000000003333b332, 0x0000000088888888, 360 0x000000005555d554, 0x00000000b3333330, 361 0x0000000080007ffc, 0x00000000b3333331, 362 0x0000000080007ffd, 0x00000000b3333332, 363 0x0000000080007ffe, 0x00000000b3333333, 364 0x0000000080007fff, 0x00000000b3333334, 365 0x0000000080008000, 0x00000000dddddddd, 366 0x00000000aaab2aa9, 0x00000000ffffffff, 367 0x00000000cccd4ccb, 0x000000013332b333, 368 0x00000000ffffffff, 0x000000013332b334, 369 0x0000000100000000, 0x000000013332b335, 370 0x0000000100000001, 0x000000013332b336, 371 0x0000000100000002, 0x00000001333332b3, 372 0x0000000100007f7f, 0x00000001333332b4, 373 0x0000000100007f80, 0x00000001333332b5, 374 0x0000000100007f81, 0x00000001333332b6, 375 0x0000000100007f82, 0x0000000133333313, 376 0x0000000100007fdf, 0x0000000133333330, 377 0x0000000100007ffc, 0x0000000133333331, 378 0x0000000100007ffd, 0x0000000133333332, 379 0x0000000133333332, 0x0000000055555555, 380 0x0000000033333333, 0x0000000055555556, 381 0x0000000033333334, 0x0000000055555557, 382 0x0000000033333335, 0x0000000055555575, 383 0x0000000033333353, 0x00000000555555d2, 384 0x00000000333333b0, 0x00000000555555d3, 385 0x00000000333333b1, 0x00000000555555d4, 386 0x00000000333333b2, 0x000000005555d552, 387 0x000000003333b330, 0x000000005555d553, 388 0x000000003333b331, 0x000000005555d554, 389 0x000000003333b332, 0x0000000088888888, 390 0x0000000066666666, 0x00000000aaaaaaaa, 391 0x0000000088888888, 0x00000000d5555552, 392 0x00000000b3333330, 0x00000000d5555553, 393 0x00000000b3333331, 0x00000000d5555554, 394 0x00000000b3333332, 0x00000000d5555555, 395 0x00000000b3333333, 0x00000000d5555556, 396 0x00000000b3333334, 0x00000000ffffffff, 397 0x00000000dddddddd, 0x0000000122222221, 398 0x00000000ffffffff, 0x000000015554d555, 399 0x000000013332b333, 0x000000015554d556, 400 0x000000013332b334, 0x000000015554d557, 401 0x000000013332b335, 0x000000015554d558, 402 0x000000013332b336, 0x00000001555554d5, 403 0x00000001333332b3, 0x00000001555554d6, 404 0x00000001333332b4, 0x00000001555554d7, 405 0x00000001333332b5, 0x00000001555554d8, 406 0x00000001333332b6, 0x0000000155555535, 407 0x0000000133333313, 0x0000000155555552, 408 0x0000000133333330, 0x0000000155555553, 409 0x0000000133333331, 0x0000000155555554, 410 0x0000000155555554, 0x000000007ffffffd, 411 0x0000000055555555, 0x000000007ffffffe, 412 0x0000000055555556, 0x000000007fffffff, 413 0x0000000055555557, 0x000000008000001d, 414 0x0000000055555575, 0x000000008000007a, 415 0x00000000555555d2, 0x000000008000007b, 416 0x00000000555555d3, 0x000000008000007c, 417 0x00000000555555d4, 0x0000000080007ffa, 418 0x000000005555d552, 0x0000000080007ffb, 419 0x000000005555d553, 0x0000000080007ffc, 420 0x000000005555d554, 0x00000000b3333330, 421 0x0000000088888888, 0x00000000d5555552, 422 0x00000000aaaaaaaa, 0x00000000fffffffa, 423 0x00000000d5555552, 0x00000000fffffffb, 424 0x00000000d5555553, 0x00000000fffffffc, 425 0x00000000d5555554, 0x00000000fffffffd, 426 0x00000000d5555555, 0x00000000fffffffe, 427 0x00000000d5555556, 0x000000012aaaaaa7, 428 0x00000000ffffffff, 0x000000014cccccc9, 429 0x0000000122222221, 0x000000017fff7ffd, 430 0x000000015554d555, 0x000000017fff7ffe, 431 0x000000015554d556, 0x000000017fff7fff, 432 0x000000015554d557, 0x000000017fff8000, 433 0x000000015554d558, 0x000000017fffff7d, 434 0x00000001555554d5, 0x000000017fffff7e, 435 0x00000001555554d6, 0x000000017fffff7f, 436 0x00000001555554d7, 0x000000017fffff80, 437 0x00000001555554d8, 0x000000017fffffdd, 438 0x0000000155555535, 0x000000017ffffffa, 439 0x0000000155555552, 0x000000017ffffffb, 440 0x0000000155555553, 0x000000017ffffffc, 441 0x000000017ffffffc, 0x000000007ffffffe, 442 0x000000007ffffffd, 0x000000007fffffff, 443 0x000000007ffffffe, 0x0000000080000000, 444 0x000000007fffffff, 0x000000008000001e, 445 0x000000008000001d, 0x000000008000007b, 446 0x000000008000007a, 0x000000008000007c, 447 0x000000008000007b, 0x000000008000007d, 448 0x000000008000007c, 0x0000000080007ffb, 449 0x0000000080007ffa, 0x0000000080007ffc, 450 0x0000000080007ffb, 0x0000000080007ffd, 451 0x0000000080007ffc, 0x00000000b3333331, 452 0x00000000b3333330, 0x00000000d5555553, 453 0x00000000d5555552, 0x00000000fffffffb, 454 0x00000000fffffffa, 0x00000000fffffffc, 455 0x00000000fffffffb, 0x00000000fffffffd, 456 0x00000000fffffffc, 0x00000000fffffffe, 457 0x00000000fffffffd, 0x00000000ffffffff, 458 0x00000000fffffffe, 0x000000012aaaaaa8, 459 0x000000012aaaaaa7, 0x000000014cccccca, 460 0x000000014cccccc9, 0x000000017fff7ffe, 461 0x000000017fff7ffd, 0x000000017fff7fff, 462 0x000000017fff7ffe, 0x000000017fff8000, 463 0x000000017fff7fff, 0x000000017fff8001, 464 0x000000017fff8000, 0x000000017fffff7e, 465 0x000000017fffff7d, 0x000000017fffff7f, 466 0x000000017fffff7e, 0x000000017fffff80, 467 0x000000017fffff7f, 0x000000017fffff81, 468 0x000000017fffff80, 0x000000017fffffde, 469 0x000000017fffffdd, 0x000000017ffffffb, 470 0x000000017ffffffa, 0x000000017ffffffc, 471 0x000000017ffffffb, 0x000000017ffffffd, 472 0x000000017ffffffd, 0x000000007fffffff, 473 0x000000007ffffffe, 0x0000000080000000, 474 0x000000007fffffff, 0x0000000080000001, 475 0x0000000080000000, 0x000000008000001f, 476 0x000000008000001e, 0x000000008000007c, 477 0x000000008000007b, 0x000000008000007d, 478 0x000000008000007c, 0x000000008000007e, 479 0x000000008000007d, 0x0000000080007ffc, 480 0x0000000080007ffb, 0x0000000080007ffd, 481 0x0000000080007ffc, 0x0000000080007ffe, 482 0x0000000080007ffd, 0x00000000b3333332, 483 0x00000000b3333331, 0x00000000d5555554, 484 0x00000000d5555553, 0x00000000fffffffc, 485 0x00000000fffffffb, 0x00000000fffffffd, 486 0x00000000fffffffc, 0x00000000fffffffe, 487 0x00000000fffffffd, 0x00000000ffffffff, 488 0x00000000fffffffe, 0x0000000100000000, 489 0x00000000ffffffff, 0x000000012aaaaaa9, 490 0x000000012aaaaaa8, 0x000000014ccccccb, 491 0x000000014cccccca, 0x000000017fff7fff, 492 0x000000017fff7ffe, 0x000000017fff8000, 493 0x000000017fff7fff, 0x000000017fff8001, 494 0x000000017fff8000, 0x000000017fff8002, 495 0x000000017fff8001, 0x000000017fffff7f, 496 0x000000017fffff7e, 0x000000017fffff80, 497 0x000000017fffff7f, 0x000000017fffff81, 498 0x000000017fffff80, 0x000000017fffff82, 499 0x000000017fffff81, 0x000000017fffffdf, 500 0x000000017fffffde, 0x000000017ffffffc, 501 0x000000017ffffffb, 0x000000017ffffffd, 502 0x000000017ffffffc, 0x000000017ffffffe, 503 0x000000017ffffffe, 0x0000000080000000, 504 0x000000007fffffff, 0x0000000080000001, 505 0x0000000080000000, 0x0000000080000002, 506 0x0000000080000001, 0x0000000080000020, 507 0x000000008000001f, 0x000000008000007d, 508 0x000000008000007c, 0x000000008000007e, 509 0x000000008000007d, 0x000000008000007f, 510 0x000000008000007e, 0x0000000080007ffd, 511 0x0000000080007ffc, 0x0000000080007ffe, 512 0x0000000080007ffd, 0x0000000080007fff, 513 0x0000000080007ffe, 0x00000000b3333333, 514 0x00000000b3333332, 0x00000000d5555555, 515 0x00000000d5555554, 0x00000000fffffffd, 516 0x00000000fffffffc, 0x00000000fffffffe, 517 0x00000000fffffffd, 0x00000000ffffffff, 518 0x00000000fffffffe, 0x0000000100000000, 519 0x00000000ffffffff, 0x0000000100000001, 520 0x0000000100000000, 0x000000012aaaaaaa, 521 0x000000012aaaaaa9, 0x000000014ccccccc, 522 0x000000014ccccccb, 0x000000017fff8000, 523 0x000000017fff7fff, 0x000000017fff8001, 524 0x000000017fff8000, 0x000000017fff8002, 525 0x000000017fff8001, 0x000000017fff8003, 526 0x000000017fff8002, 0x000000017fffff80, 527 0x000000017fffff7f, 0x000000017fffff81, 528 0x000000017fffff80, 0x000000017fffff82, 529 0x000000017fffff81, 0x000000017fffff83, 530 0x000000017fffff82, 0x000000017fffffe0, 531 0x000000017fffffdf, 0x000000017ffffffd, 532 0x000000017ffffffc, 0x000000017ffffffe, 533 0x000000017ffffffd, 0x000000017fffffff, 534 0x000000017fffffff, 0x0000000080000001, 535 0x0000000080000000, 0x0000000080000002, 536 0x0000000080000001, 0x0000000080000003, 537 0x0000000080000002, 0x0000000080000021, 538 0x0000000080000020, 0x000000008000007e, 539 0x000000008000007d, 0x000000008000007f, 540 0x000000008000007e, 0x0000000080000080, 541 0x000000008000007f, 0x0000000080007ffe, 542 0x0000000080007ffd, 0x0000000080007fff, 543 0x0000000080007ffe, 0x0000000080008000, 544 0x0000000080007fff, 0x00000000b3333334, 545 0x00000000b3333333, 0x00000000d5555556, 546 0x00000000d5555555, 0x00000000fffffffe, 547 0x00000000fffffffd, 0x00000000ffffffff, 548 0x00000000fffffffe, 0x0000000100000000, 549 0x00000000ffffffff, 0x0000000100000001, 550 0x0000000100000000, 0x0000000100000002, 551 0x0000000100000001, 0x000000012aaaaaab, 552 0x000000012aaaaaaa, 0x000000014ccccccd, 553 0x000000014ccccccc, 0x000000017fff8001, 554 0x000000017fff8000, 0x000000017fff8002, 555 0x000000017fff8001, 0x000000017fff8003, 556 0x000000017fff8002, 0x000000017fff8004, 557 0x000000017fff8003, 0x000000017fffff81, 558 0x000000017fffff80, 0x000000017fffff82, 559 0x000000017fffff81, 0x000000017fffff83, 560 0x000000017fffff82, 0x000000017fffff84, 561 0x000000017fffff83, 0x000000017fffffe1, 562 0x000000017fffffe0, 0x000000017ffffffe, 563 0x000000017ffffffd, 0x000000017fffffff, 564 0x000000017ffffffe, 0x0000000180000000, 565 0x0000000180000000, 0x00000000aaaaaaaa, 566 0x0000000080000001, 0x00000000aaaaaaab, 567 0x0000000080000002, 0x00000000aaaaaaac, 568 0x0000000080000003, 0x00000000aaaaaaca, 569 0x0000000080000021, 0x00000000aaaaab27, 570 0x000000008000007e, 0x00000000aaaaab28, 571 0x000000008000007f, 0x00000000aaaaab29, 572 0x0000000080000080, 0x00000000aaab2aa7, 573 0x0000000080007ffe, 0x00000000aaab2aa8, 574 0x0000000080007fff, 0x00000000aaab2aa9, 575 0x0000000080008000, 0x00000000dddddddd, 576 0x00000000b3333334, 0x00000000ffffffff, 577 0x00000000d5555556, 0x000000012aaaaaa7, 578 0x00000000fffffffe, 0x000000012aaaaaa8, 579 0x00000000ffffffff, 0x000000012aaaaaa9, 580 0x0000000100000000, 0x000000012aaaaaaa, 581 0x0000000100000001, 0x000000012aaaaaab, 582 0x0000000100000002, 0x0000000155555554, 583 0x000000012aaaaaab, 0x0000000177777776, 584 0x000000014ccccccd, 0x00000001aaaa2aaa, 585 0x000000017fff8001, 0x00000001aaaa2aab, 586 0x000000017fff8002, 0x00000001aaaa2aac, 587 0x000000017fff8003, 0x00000001aaaa2aad, 588 0x000000017fff8004, 0x00000001aaaaaa2a, 589 0x000000017fffff81, 0x00000001aaaaaa2b, 590 0x000000017fffff82, 0x00000001aaaaaa2c, 591 0x000000017fffff83, 0x00000001aaaaaa2d, 592 0x000000017fffff84, 0x00000001aaaaaa8a, 593 0x000000017fffffe1, 0x00000001aaaaaaa7, 594 0x000000017ffffffe, 0x00000001aaaaaaa8, 595 0x000000017fffffff, 0x00000001aaaaaaa9, 596 0x00000001aaaaaaa9, 0x00000000cccccccc, 597 0x00000000aaaaaaaa, 0x00000000cccccccd, 598 0x00000000aaaaaaab, 0x00000000ccccccce, 599 0x00000000aaaaaaac, 0x00000000ccccccec, 600 0x00000000aaaaaaca, 0x00000000cccccd49, 601 0x00000000aaaaab27, 0x00000000cccccd4a, 602 0x00000000aaaaab28, 0x00000000cccccd4b, 603 0x00000000aaaaab29, 0x00000000cccd4cc9, 604 0x00000000aaab2aa7, 0x00000000cccd4cca, 605 0x00000000aaab2aa8, 0x00000000cccd4ccb, 606 0x00000000aaab2aa9, 0x00000000ffffffff, 607 0x00000000dddddddd, 0x0000000122222221, 608 0x00000000ffffffff, 0x000000014cccccc9, 609 0x000000012aaaaaa7, 0x000000014cccccca, 610 0x000000012aaaaaa8, 0x000000014ccccccb, 611 0x000000012aaaaaa9, 0x000000014ccccccc, 612 0x000000012aaaaaaa, 0x000000014ccccccd, 613 0x000000012aaaaaab, 0x0000000177777776, 614 0x0000000155555554, 0x0000000199999998, 615 0x0000000177777776, 0x00000001cccc4ccc, 616 0x00000001aaaa2aaa, 0x00000001cccc4ccd, 617 0x00000001aaaa2aab, 0x00000001cccc4cce, 618 0x00000001aaaa2aac, 0x00000001cccc4ccf, 619 0x00000001aaaa2aad, 0x00000001cccccc4c, 620 0x00000001aaaaaa2a, 0x00000001cccccc4d, 621 0x00000001aaaaaa2b, 0x00000001cccccc4e, 622 0x00000001aaaaaa2c, 0x00000001cccccc4f, 623 0x00000001aaaaaa2d, 0x00000001ccccccac, 624 0x00000001aaaaaa8a, 0x00000001ccccccc9, 625 0x00000001aaaaaaa7, 0x00000001ccccccca, 626 0x00000001aaaaaaa8, 0x00000001cccccccb, 627 0x00000001cccccccb, 0x00000000ffff8000, 628 0x00000000cccccccc, 0x00000000ffff8001, 629 0x00000000cccccccd, 0x00000000ffff8002, 630 0x00000000ccccccce, 0x00000000ffff8020, 631 0x00000000ccccccec, 0x00000000ffff807d, 632 0x00000000cccccd49, 0x00000000ffff807e, 633 0x00000000cccccd4a, 0x00000000ffff807f, 634 0x00000000cccccd4b, 0x00000000fffffffd, 635 0x00000000cccd4cc9, 0x00000000fffffffe, 636 0x00000000cccd4cca, 0x00000000ffffffff, 637 0x00000000cccd4ccb, 0x000000013332b333, 638 0x00000000ffffffff, 0x000000015554d555, 639 0x0000000122222221, 0x000000017fff7ffd, 640 0x000000014cccccc9, 0x000000017fff7ffe, 641 0x000000014cccccca, 0x000000017fff7fff, 642 0x000000014ccccccb, 0x000000017fff8000, 643 0x000000014ccccccc, 0x000000017fff8001, 644 0x000000014ccccccd, 0x00000001aaaa2aaa, 645 0x0000000177777776, 0x00000001cccc4ccc, 646 0x0000000199999998, 0x00000001ffff0000, 647 0x00000001cccc4ccc, 0x00000001ffff0001, 648 0x00000001cccc4ccd, 0x00000001ffff0002, 649 0x00000001cccc4cce, 0x00000001ffff0003, 650 0x00000001cccc4ccf, 0x00000001ffff7f80, 651 0x00000001cccccc4c, 0x00000001ffff7f81, 652 0x00000001cccccc4d, 0x00000001ffff7f82, 653 0x00000001cccccc4e, 0x00000001ffff7f83, 654 0x00000001cccccc4f, 0x00000001ffff7fe0, 655 0x00000001ccccccac, 0x00000001ffff7ffd, 656 0x00000001ccccccc9, 0x00000001ffff7ffe, 657 0x00000001ccccccca, 0x00000001ffff7fff, 658 0x00000001ffff7fff, 0x00000000ffff8001, 659 0x00000000ffff8000, 0x00000000ffff8002, 660 0x00000000ffff8001, 0x00000000ffff8003, 661 0x00000000ffff8002, 0x00000000ffff8021, 662 0x00000000ffff8020, 0x00000000ffff807e, 663 0x00000000ffff807d, 0x00000000ffff807f, 664 0x00000000ffff807e, 0x00000000ffff8080, 665 0x00000000ffff807f, 0x00000000fffffffe, 666 0x00000000fffffffd, 0x00000000ffffffff, 667 0x00000000fffffffe, 0x0000000100000000, 668 0x00000000ffffffff, 0x000000013332b334, 669 0x000000013332b333, 0x000000015554d556, 670 0x000000015554d555, 0x000000017fff7ffe, 671 0x000000017fff7ffd, 0x000000017fff7fff, 672 0x000000017fff7ffe, 0x000000017fff8000, 673 0x000000017fff7fff, 0x000000017fff8001, 674 0x000000017fff8000, 0x000000017fff8002, 675 0x000000017fff8001, 0x00000001aaaa2aab, 676 0x00000001aaaa2aaa, 0x00000001cccc4ccd, 677 0x00000001cccc4ccc, 0x00000001ffff0001, 678 0x00000001ffff0000, 0x00000001ffff0002, 679 0x00000001ffff0001, 0x00000001ffff0003, 680 0x00000001ffff0002, 0x00000001ffff0004, 681 0x00000001ffff0003, 0x00000001ffff7f81, 682 0x00000001ffff7f80, 0x00000001ffff7f82, 683 0x00000001ffff7f81, 0x00000001ffff7f83, 684 0x00000001ffff7f82, 0x00000001ffff7f84, 685 0x00000001ffff7f83, 0x00000001ffff7fe1, 686 0x00000001ffff7fe0, 0x00000001ffff7ffe, 687 0x00000001ffff7ffd, 0x00000001ffff7fff, 688 0x00000001ffff7ffe, 0x00000001ffff8000, 689 0x00000001ffff8000, 0x00000000ffff8002, 690 0x00000000ffff8001, 0x00000000ffff8003, 691 0x00000000ffff8002, 0x00000000ffff8004, 692 0x00000000ffff8003, 0x00000000ffff8022, 693 0x00000000ffff8021, 0x00000000ffff807f, 694 0x00000000ffff807e, 0x00000000ffff8080, 695 0x00000000ffff807f, 0x00000000ffff8081, 696 0x00000000ffff8080, 0x00000000ffffffff, 697 0x00000000fffffffe, 0x0000000100000000, 698 0x00000000ffffffff, 0x0000000100000001, 699 0x0000000100000000, 0x000000013332b335, 700 0x000000013332b334, 0x000000015554d557, 701 0x000000015554d556, 0x000000017fff7fff, 702 0x000000017fff7ffe, 0x000000017fff8000, 703 0x000000017fff7fff, 0x000000017fff8001, 704 0x000000017fff8000, 0x000000017fff8002, 705 0x000000017fff8001, 0x000000017fff8003, 706 0x000000017fff8002, 0x00000001aaaa2aac, 707 0x00000001aaaa2aab, 0x00000001cccc4cce, 708 0x00000001cccc4ccd, 0x00000001ffff0002, 709 0x00000001ffff0001, 0x00000001ffff0003, 710 0x00000001ffff0002, 0x00000001ffff0004, 711 0x00000001ffff0003, 0x00000001ffff0005, 712 0x00000001ffff0004, 0x00000001ffff7f82, 713 0x00000001ffff7f81, 0x00000001ffff7f83, 714 0x00000001ffff7f82, 0x00000001ffff7f84, 715 0x00000001ffff7f83, 0x00000001ffff7f85, 716 0x00000001ffff7f84, 0x00000001ffff7fe2, 717 0x00000001ffff7fe1, 0x00000001ffff7fff, 718 0x00000001ffff7ffe, 0x00000001ffff8000, 719 0x00000001ffff7fff, 0x00000001ffff8001, 720 0x00000001ffff8001, 0x00000000ffff8003, 721 0x00000000ffff8002, 0x00000000ffff8004, 722 0x00000000ffff8003, 0x00000000ffff8005, 723 0x00000000ffff8004, 0x00000000ffff8023, 724 0x00000000ffff8022, 0x00000000ffff8080, 725 0x00000000ffff807f, 0x00000000ffff8081, 726 0x00000000ffff8080, 0x00000000ffff8082, 727 0x00000000ffff8081, 0x0000000100000000, 728 0x00000000ffffffff, 0x0000000100000001, 729 0x0000000100000000, 0x0000000100000002, 730 0x0000000100000001, 0x000000013332b336, 731 0x000000013332b335, 0x000000015554d558, 732 0x000000015554d557, 0x000000017fff8000, 733 0x000000017fff7fff, 0x000000017fff8001, 734 0x000000017fff8000, 0x000000017fff8002, 735 0x000000017fff8001, 0x000000017fff8003, 736 0x000000017fff8002, 0x000000017fff8004, 737 0x000000017fff8003, 0x00000001aaaa2aad, 738 0x00000001aaaa2aac, 0x00000001cccc4ccf, 739 0x00000001cccc4cce, 0x00000001ffff0003, 740 0x00000001ffff0002, 0x00000001ffff0004, 741 0x00000001ffff0003, 0x00000001ffff0005, 742 0x00000001ffff0004, 0x00000001ffff0006, 743 0x00000001ffff0005, 0x00000001ffff7f83, 744 0x00000001ffff7f82, 0x00000001ffff7f84, 745 0x00000001ffff7f83, 0x00000001ffff7f85, 746 0x00000001ffff7f84, 0x00000001ffff7f86, 747 0x00000001ffff7f85, 0x00000001ffff7fe3, 748 0x00000001ffff7fe2, 0x00000001ffff8000, 749 0x00000001ffff7fff, 0x00000001ffff8001, 750 0x00000001ffff8000, 0x00000001ffff8002, 751 0x00000001ffff8002, 0x00000000ffffff80, 752 0x00000000ffff8003, 0x00000000ffffff81, 753 0x00000000ffff8004, 0x00000000ffffff82, 754 0x00000000ffff8005, 0x00000000ffffffa0, 755 0x00000000ffff8023, 0x00000000fffffffd, 756 0x00000000ffff8080, 0x00000000fffffffe, 757 0x00000000ffff8081, 0x00000000ffffffff, 758 0x00000000ffff8082, 0x0000000100007f7d, 759 0x0000000100000000, 0x0000000100007f7e, 760 0x0000000100000001, 0x0000000100007f7f, 761 0x0000000100000002, 0x00000001333332b3, 762 0x000000013332b336, 0x00000001555554d5, 763 0x000000015554d558, 0x000000017fffff7d, 764 0x000000017fff8000, 0x000000017fffff7e, 765 0x000000017fff8001, 0x000000017fffff7f, 766 0x000000017fff8002, 0x000000017fffff80, 767 0x000000017fff8003, 0x000000017fffff81, 768 0x000000017fff8004, 0x00000001aaaaaa2a, 769 0x00000001aaaa2aad, 0x00000001cccccc4c, 770 0x00000001cccc4ccf, 0x00000001ffff7f80, 771 0x00000001ffff0003, 0x00000001ffff7f81, 772 0x00000001ffff0004, 0x00000001ffff7f82, 773 0x00000001ffff0005, 0x00000001ffff7f83, 774 0x00000001ffff0006, 0x00000001ffffff00, 775 0x00000001ffff7f83, 0x00000001ffffff01, 776 0x00000001ffff7f84, 0x00000001ffffff02, 777 0x00000001ffff7f85, 0x00000001ffffff03, 778 0x00000001ffff7f86, 0x00000001ffffff60, 779 0x00000001ffff7fe3, 0x00000001ffffff7d, 780 0x00000001ffff8000, 0x00000001ffffff7e, 781 0x00000001ffff8001, 0x00000001ffffff7f, 782 0x00000001ffffff7f, 0x00000000ffffff81, 783 0x00000000ffffff80, 0x00000000ffffff82, 784 0x00000000ffffff81, 0x00000000ffffff83, 785 0x00000000ffffff82, 0x00000000ffffffa1, 786 0x00000000ffffffa0, 0x00000000fffffffe, 787 0x00000000fffffffd, 0x00000000ffffffff, 788 0x00000000fffffffe, 0x0000000100000000, 789 0x00000000ffffffff, 0x0000000100007f7e, 790 0x0000000100007f7d, 0x0000000100007f7f, 791 0x0000000100007f7e, 0x0000000100007f80, 792 0x0000000100007f7f, 0x00000001333332b4, 793 0x00000001333332b3, 0x00000001555554d6, 794 0x00000001555554d5, 0x000000017fffff7e, 795 0x000000017fffff7d, 0x000000017fffff7f, 796 0x000000017fffff7e, 0x000000017fffff80, 797 0x000000017fffff7f, 0x000000017fffff81, 798 0x000000017fffff80, 0x000000017fffff82, 799 0x000000017fffff81, 0x00000001aaaaaa2b, 800 0x00000001aaaaaa2a, 0x00000001cccccc4d, 801 0x00000001cccccc4c, 0x00000001ffff7f81, 802 0x00000001ffff7f80, 0x00000001ffff7f82, 803 0x00000001ffff7f81, 0x00000001ffff7f83, 804 0x00000001ffff7f82, 0x00000001ffff7f84, 805 0x00000001ffff7f83, 0x00000001ffffff01, 806 0x00000001ffffff00, 0x00000001ffffff02, 807 0x00000001ffffff01, 0x00000001ffffff03, 808 0x00000001ffffff02, 0x00000001ffffff04, 809 0x00000001ffffff03, 0x00000001ffffff61, 810 0x00000001ffffff60, 0x00000001ffffff7e, 811 0x00000001ffffff7d, 0x00000001ffffff7f, 812 0x00000001ffffff7e, 0x00000001ffffff80, 813 0x00000001ffffff80, 0x00000000ffffff82, 814 0x00000000ffffff81, 0x00000000ffffff83, 815 0x00000000ffffff82, 0x00000000ffffff84, 816 0x00000000ffffff83, 0x00000000ffffffa2, 817 0x00000000ffffffa1, 0x00000000ffffffff, 818 0x00000000fffffffe, 0x0000000100000000, 819 0x00000000ffffffff, 0x0000000100000001, 820 0x0000000100000000, 0x0000000100007f7f, 821 0x0000000100007f7e, 0x0000000100007f80, 822 0x0000000100007f7f, 0x0000000100007f81, 823 0x0000000100007f80, 0x00000001333332b5, 824 0x00000001333332b4, 0x00000001555554d7, 825 0x00000001555554d6, 0x000000017fffff7f, 826 0x000000017fffff7e, 0x000000017fffff80, 827 0x000000017fffff7f, 0x000000017fffff81, 828 0x000000017fffff80, 0x000000017fffff82, 829 0x000000017fffff81, 0x000000017fffff83, 830 0x000000017fffff82, 0x00000001aaaaaa2c, 831 0x00000001aaaaaa2b, 0x00000001cccccc4e, 832 0x00000001cccccc4d, 0x00000001ffff7f82, 833 0x00000001ffff7f81, 0x00000001ffff7f83, 834 0x00000001ffff7f82, 0x00000001ffff7f84, 835 0x00000001ffff7f83, 0x00000001ffff7f85, 836 0x00000001ffff7f84, 0x00000001ffffff02, 837 0x00000001ffffff01, 0x00000001ffffff03, 838 0x00000001ffffff02, 0x00000001ffffff04, 839 0x00000001ffffff03, 0x00000001ffffff05, 840 0x00000001ffffff04, 0x00000001ffffff62, 841 0x00000001ffffff61, 0x00000001ffffff7f, 842 0x00000001ffffff7e, 0x00000001ffffff80, 843 0x00000001ffffff7f, 0x00000001ffffff81, 844 0x00000001ffffff81, 0x00000000ffffff83, 845 0x00000000ffffff82, 0x00000000ffffff84, 846 0x00000000ffffff83, 0x00000000ffffff85, 847 0x00000000ffffff84, 0x00000000ffffffa3, 848 0x00000000ffffffa2, 0x0000000100000000, 849 0x00000000ffffffff, 0x0000000100000001, 850 0x0000000100000000, 0x0000000100000002, 851 0x0000000100000001, 0x0000000100007f80, 852 0x0000000100007f7f, 0x0000000100007f81, 853 0x0000000100007f80, 0x0000000100007f82, 854 0x0000000100007f81, 0x00000001333332b6, 855 0x00000001333332b5, 0x00000001555554d8, 856 0x00000001555554d7, 0x000000017fffff80, 857 0x000000017fffff7f, 0x000000017fffff81, 858 0x000000017fffff80, 0x000000017fffff82, 859 0x000000017fffff81, 0x000000017fffff83, 860 0x000000017fffff82, 0x000000017fffff84, 861 0x000000017fffff83, 0x00000001aaaaaa2d, 862 0x00000001aaaaaa2c, 0x00000001cccccc4f, 863 0x00000001cccccc4e, 0x00000001ffff7f83, 864 0x00000001ffff7f82, 0x00000001ffff7f84, 865 0x00000001ffff7f83, 0x00000001ffff7f85, 866 0x00000001ffff7f84, 0x00000001ffff7f86, 867 0x00000001ffff7f85, 0x00000001ffffff03, 868 0x00000001ffffff02, 0x00000001ffffff04, 869 0x00000001ffffff03, 0x00000001ffffff05, 870 0x00000001ffffff04, 0x00000001ffffff06, 871 0x00000001ffffff05, 0x00000001ffffff63, 872 0x00000001ffffff62, 0x00000001ffffff80, 873 0x00000001ffffff7f, 0x00000001ffffff81, 874 0x00000001ffffff80, 0x00000001ffffff82, 875 0x00000001ffffff82, 0x00000000ffffffe0, 876 0x00000000ffffff83, 0x00000000ffffffe1, 877 0x00000000ffffff84, 0x00000000ffffffe2, 878 0x00000000ffffff85, 0x0000000100000000, 879 0x00000000ffffffa3, 0x000000010000005d, 880 0x0000000100000000, 0x000000010000005e, 881 0x0000000100000001, 0x000000010000005f, 882 0x0000000100000002, 0x0000000100007fdd, 883 0x0000000100007f80, 0x0000000100007fde, 884 0x0000000100007f81, 0x0000000100007fdf, 885 0x0000000100007f82, 0x0000000133333313, 886 0x00000001333332b6, 0x0000000155555535, 887 0x00000001555554d8, 0x000000017fffffdd, 888 0x000000017fffff80, 0x000000017fffffde, 889 0x000000017fffff81, 0x000000017fffffdf, 890 0x000000017fffff82, 0x000000017fffffe0, 891 0x000000017fffff83, 0x000000017fffffe1, 892 0x000000017fffff84, 0x00000001aaaaaa8a, 893 0x00000001aaaaaa2d, 0x00000001ccccccac, 894 0x00000001cccccc4f, 0x00000001ffff7fe0, 895 0x00000001ffff7f83, 0x00000001ffff7fe1, 896 0x00000001ffff7f84, 0x00000001ffff7fe2, 897 0x00000001ffff7f85, 0x00000001ffff7fe3, 898 0x00000001ffff7f86, 0x00000001ffffff60, 899 0x00000001ffffff03, 0x00000001ffffff61, 900 0x00000001ffffff04, 0x00000001ffffff62, 901 0x00000001ffffff05, 0x00000001ffffff63, 902 0x00000001ffffff06, 0x00000001ffffffc0, 903 0x00000001ffffff63, 0x00000001ffffffdd, 904 0x00000001ffffff80, 0x00000001ffffffde, 905 0x00000001ffffff81, 0x00000001ffffffdf, 906 0x00000001ffffffdf, 0x00000000fffffffd, 907 0x00000000ffffffe0, 0x00000000fffffffe, 908 0x00000000ffffffe1, 0x00000000ffffffff, 909 0x00000000ffffffe2, 0x000000010000001d, 910 0x0000000100000000, 0x000000010000007a, 911 0x000000010000005d, 0x000000010000007b, 912 0x000000010000005e, 0x000000010000007c, 913 0x000000010000005f, 0x0000000100007ffa, 914 0x0000000100007fdd, 0x0000000100007ffb, 915 0x0000000100007fde, 0x0000000100007ffc, 916 0x0000000100007fdf, 0x0000000133333330, 917 0x0000000133333313, 0x0000000155555552, 918 0x0000000155555535, 0x000000017ffffffa, 919 0x000000017fffffdd, 0x000000017ffffffb, 920 0x000000017fffffde, 0x000000017ffffffc, 921 0x000000017fffffdf, 0x000000017ffffffd, 922 0x000000017fffffe0, 0x000000017ffffffe, 923 0x000000017fffffe1, 0x00000001aaaaaaa7, 924 0x00000001aaaaaa8a, 0x00000001ccccccc9, 925 0x00000001ccccccac, 0x00000001ffff7ffd, 926 0x00000001ffff7fe0, 0x00000001ffff7ffe, 927 0x00000001ffff7fe1, 0x00000001ffff7fff, 928 0x00000001ffff7fe2, 0x00000001ffff8000, 929 0x00000001ffff7fe3, 0x00000001ffffff7d, 930 0x00000001ffffff60, 0x00000001ffffff7e, 931 0x00000001ffffff61, 0x00000001ffffff7f, 932 0x00000001ffffff62, 0x00000001ffffff80, 933 0x00000001ffffff63, 0x00000001ffffffdd, 934 0x00000001ffffffc0, 0x00000001fffffffa, 935 0x00000001ffffffdd, 0x00000001fffffffb, 936 0x00000001ffffffde, 0x00000001fffffffc, 937 0x00000001fffffffc, 0x00000000fffffffe, 938 0x00000000fffffffd, 0x00000000ffffffff, 939 0x00000000fffffffe, 0x0000000100000000, 940 0x00000000ffffffff, 0x000000010000001e, 941 0x000000010000001d, 0x000000010000007b, 942 0x000000010000007a, 0x000000010000007c, 943 0x000000010000007b, 0x000000010000007d, 944 0x000000010000007c, 0x0000000100007ffb, 945 0x0000000100007ffa, 0x0000000100007ffc, 946 0x0000000100007ffb, 0x0000000100007ffd, 947 0x0000000100007ffc, 0x0000000133333331, 948 0x0000000133333330, 0x0000000155555553, 949 0x0000000155555552, 0x000000017ffffffb, 950 0x000000017ffffffa, 0x000000017ffffffc, 951 0x000000017ffffffb, 0x000000017ffffffd, 952 0x000000017ffffffc, 0x000000017ffffffe, 953 0x000000017ffffffd, 0x000000017fffffff, 954 0x000000017ffffffe, 0x00000001aaaaaaa8, 955 0x00000001aaaaaaa7, 0x00000001ccccccca, 956 0x00000001ccccccc9, 0x00000001ffff7ffe, 957 0x00000001ffff7ffd, 0x00000001ffff7fff, 958 0x00000001ffff7ffe, 0x00000001ffff8000, 959 0x00000001ffff7fff, 0x00000001ffff8001, 960 0x00000001ffff8000, 0x00000001ffffff7e, 961 0x00000001ffffff7d, 0x00000001ffffff7f, 962 0x00000001ffffff7e, 0x00000001ffffff80, 963 0x00000001ffffff7f, 0x00000001ffffff81, 964 0x00000001ffffff80, 0x00000001ffffffde, 965 0x00000001ffffffdd, 0x00000001fffffffb, 966 0x00000001fffffffa, 0x00000001fffffffc, 967 0x00000001fffffffb, 0x00000001fffffffd, 968 0x00000001fffffffd, 0x00000000ffffffff, 969 0x00000000fffffffe, 0x0000000100000000, 970 0x00000000ffffffff, 0x0000000100000001, 971 0x0000000100000000, 0x000000010000001f, 972 0x000000010000001e, 0x000000010000007c, 973 0x000000010000007b, 0x000000010000007d, 974 0x000000010000007c, 0x000000010000007e, 975 0x000000010000007d, 0x0000000100007ffc, 976 0x0000000100007ffb, 0x0000000100007ffd, 977 0x0000000100007ffc, 0x0000000100007ffe, 978 0x0000000100007ffd, 0x0000000133333332, 979 0x0000000133333331, 0x0000000155555554, 980 0x0000000155555553, 0x000000017ffffffc, 981 0x000000017ffffffb, 0x000000017ffffffd, 982 0x000000017ffffffc, 0x000000017ffffffe, 983 0x000000017ffffffd, 0x000000017fffffff, 984 0x000000017ffffffe, 0x0000000180000000, 985 0x000000017fffffff, 0x00000001aaaaaaa9, 986 0x00000001aaaaaaa8, 0x00000001cccccccb, 987 0x00000001ccccccca, 0x00000001ffff7fff, 988 0x00000001ffff7ffe, 0x00000001ffff8000, 989 0x00000001ffff7fff, 0x00000001ffff8001, 990 0x00000001ffff8000, 0x00000001ffff8002, 991 0x00000001ffff8001, 0x00000001ffffff7f, 992 0x00000001ffffff7e, 0x00000001ffffff80, 993 0x00000001ffffff7f, 0x00000001ffffff81, 994 0x00000001ffffff80, 0x00000001ffffff82, 995 0x00000001ffffff81, 0x00000001ffffffdf, 996 0x00000001ffffffde, 0x00000001fffffffc, 997 0x00000001fffffffb, 0x00000001fffffffd, 998 0x00000001fffffffc, 0x00000001fffffffe, 999 }; 1000 const unsigned kExpectedCount_NEON_uaddl2_2D = 961; 1001 1002 #endif // VIXL_SIM_UADDL2_2D_TRACE_A64_H_ 1003
