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_UADDW2_2D_TRACE_A64_H_ 35 #define VIXL_SIM_UADDW2_2D_TRACE_A64_H_ 36 37 const uint64_t kExpected_NEON_uaddw2_2D[] = { 38 0x00000000007ffd7d, 0x0000000000000000, 39 0x000000000000007d, 0x0000000000000001, 40 0x000000000000007e, 0x0000000000000002, 41 0x000000000000007f, 0x0000000000000020, 42 0x000000000000009d, 0x000000000000007d, 43 0x00000000000000fa, 0x000000000000007e, 44 0x00000000000000fb, 0x000000000000007f, 45 0x00000000000000fc, 0x0000000000007ffd, 46 0x000000000000807a, 0x0000000000007ffe, 47 0x000000000000807b, 0x0000000000007fff, 48 0x000000000000807c, 0x0000000033333333, 49 0x00000000333333b0, 0x0000000055555555, 50 0x00000000555555d2, 0x000000007ffffffd, 51 0x000000008000007a, 0x000000007ffffffe, 52 0x000000008000007b, 0x000000007fffffff, 53 0x000000008000007c, 0x0000000080000000, 54 0x000000008000007d, 0x0000000080000001, 55 0x000000008000007e, 0x00000000aaaaaaaa, 56 0x00000000aaaaab27, 0x00000000cccccccc, 57 0x00000000cccccd49, 0x00000000ffff8000, 58 0x00000000ffff807d, 0x00000000ffff8001, 59 0x00000000ffff807e, 0x00000000ffff8002, 60 0x00000000ffff807f, 0x00000000ffff8003, 61 0x00000000ffff8080, 0x00000000ffffff80, 62 0x00000000fffffffd, 0x00000000ffffff81, 63 0x00000000fffffffe, 0x00000000ffffff82, 64 0x00000000ffffffff, 0x00000000ffffff83, 65 0x0000000100000000, 0x00000000ffffffe0, 66 0x000000010000005d, 0x00000000fffffffd, 67 0x000000010000007a, 0x00000000fffffffe, 68 0x000000010000007b, 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, 0x0000000000000040, 132 0x0000000000000002, 0x0000000000000041, 133 0x0000000000000003, 0x0000000000000042, 134 0x0000000000000004, 0x0000000000000060, 135 0x0000000000000022, 0x00000000000000bd, 136 0x000000000000007f, 0x00000000000000be, 137 0x0000000000000080, 0x00000000000000bf, 138 0x0000000000000081, 0x000000000000803d, 139 0x0000000000007fff, 0x000000000000803e, 140 0x0000000000008000, 0x000000000000803f, 141 0x0000000000008001, 0x0000000033333373, 142 0x0000000033333335, 0x0000000055555595, 143 0x0000000055555557, 0x000000008000003d, 144 0x000000007fffffff, 0x000000008000003e, 145 0x0000000080000000, 0x000000008000003f, 146 0x0000000080000001, 0x0000000080000040, 147 0x0000000080000002, 0x0000000080000041, 148 0x0000000080000003, 0x00000000aaaaaaea, 149 0x00000000aaaaaaac, 0x00000000cccccd0c, 150 0x00000000ccccccce, 0x00000000ffff8040, 151 0x00000000ffff8002, 0x00000000ffff8041, 152 0x00000000ffff8003, 0x00000000ffff8042, 153 0x00000000ffff8004, 0x00000000ffff8043, 154 0x00000000ffff8005, 0x00000000ffffffc0, 155 0x00000000ffffff82, 0x00000000ffffffc1, 156 0x00000000ffffff83, 0x00000000ffffffc2, 157 0x00000000ffffff84, 0x00000000ffffffc3, 158 0x00000000ffffff85, 0x0000000100000020, 159 0x00000000ffffffe2, 0x000000010000003d, 160 0x00000000ffffffff, 0x000000010000003e, 161 0x0000000100000000, 0x000000010000003f, 162 0x000000010000003f, 0x000000000000007d, 163 0x0000000000000040, 0x000000000000007e, 164 0x0000000000000041, 0x000000000000007f, 165 0x0000000000000042, 0x000000000000009d, 166 0x0000000000000060, 0x00000000000000fa, 167 0x00000000000000bd, 0x00000000000000fb, 168 0x00000000000000be, 0x00000000000000fc, 169 0x00000000000000bf, 0x000000000000807a, 170 0x000000000000803d, 0x000000000000807b, 171 0x000000000000803e, 0x000000000000807c, 172 0x000000000000803f, 0x00000000333333b0, 173 0x0000000033333373, 0x00000000555555d2, 174 0x0000000055555595, 0x000000008000007a, 175 0x000000008000003d, 0x000000008000007b, 176 0x000000008000003e, 0x000000008000007c, 177 0x000000008000003f, 0x000000008000007d, 178 0x0000000080000040, 0x000000008000007e, 179 0x0000000080000041, 0x00000000aaaaab27, 180 0x00000000aaaaaaea, 0x00000000cccccd49, 181 0x00000000cccccd0c, 0x00000000ffff807d, 182 0x00000000ffff8040, 0x00000000ffff807e, 183 0x00000000ffff8041, 0x00000000ffff807f, 184 0x00000000ffff8042, 0x00000000ffff8080, 185 0x00000000ffff8043, 0x00000000fffffffd, 186 0x00000000ffffffc0, 0x00000000fffffffe, 187 0x00000000ffffffc1, 0x00000000ffffffff, 188 0x00000000ffffffc2, 0x0000000100000000, 189 0x00000000ffffffc3, 0x000000010000005d, 190 0x0000000100000020, 0x000000010000007a, 191 0x000000010000003d, 0x000000010000007b, 192 0x000000010000003e, 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, 0x000000007ffffffd, 349 0x0000000000007fff, 0x000000007ffffffe, 350 0x0000000000008000, 0x000000007fffffff, 351 0x0000000000008001, 0x000000008000001d, 352 0x000000000000801f, 0x000000008000007a, 353 0x000000000000807c, 0x000000008000007b, 354 0x000000000000807d, 0x000000008000007c, 355 0x000000000000807e, 0x0000000080007ffa, 356 0x000000000000fffc, 0x0000000080007ffb, 357 0x000000000000fffd, 0x0000000080007ffc, 358 0x000000000000fffe, 0x00000000b3333330, 359 0x000000003333b332, 0x00000000d5555552, 360 0x000000005555d554, 0x00000000fffffffa, 361 0x0000000080007ffc, 0x00000000fffffffb, 362 0x0000000080007ffd, 0x00000000fffffffc, 363 0x0000000080007ffe, 0x00000000fffffffd, 364 0x0000000080007fff, 0x00000000fffffffe, 365 0x0000000080008000, 0x000000012aaaaaa7, 366 0x00000000aaab2aa9, 0x000000014cccccc9, 367 0x00000000cccd4ccb, 0x000000017fff7ffd, 368 0x00000000ffffffff, 0x000000017fff7ffe, 369 0x0000000100000000, 0x000000017fff7fff, 370 0x0000000100000001, 0x000000017fff8000, 371 0x0000000100000002, 0x000000017fffff7d, 372 0x0000000100007f7f, 0x000000017fffff7e, 373 0x0000000100007f80, 0x000000017fffff7f, 374 0x0000000100007f81, 0x000000017fffff80, 375 0x0000000100007f82, 0x000000017fffffdd, 376 0x0000000100007fdf, 0x000000017ffffffa, 377 0x0000000100007ffc, 0x000000017ffffffb, 378 0x0000000100007ffd, 0x000000017ffffffc, 379 0x000000017ffffffc, 0x000000007ffffffe, 380 0x000000007ffffffd, 0x000000007fffffff, 381 0x000000007ffffffe, 0x0000000080000000, 382 0x000000007fffffff, 0x000000008000001e, 383 0x000000008000001d, 0x000000008000007b, 384 0x000000008000007a, 0x000000008000007c, 385 0x000000008000007b, 0x000000008000007d, 386 0x000000008000007c, 0x0000000080007ffb, 387 0x0000000080007ffa, 0x0000000080007ffc, 388 0x0000000080007ffb, 0x0000000080007ffd, 389 0x0000000080007ffc, 0x00000000b3333331, 390 0x00000000b3333330, 0x00000000d5555553, 391 0x00000000d5555552, 0x00000000fffffffb, 392 0x00000000fffffffa, 0x00000000fffffffc, 393 0x00000000fffffffb, 0x00000000fffffffd, 394 0x00000000fffffffc, 0x00000000fffffffe, 395 0x00000000fffffffd, 0x00000000ffffffff, 396 0x00000000fffffffe, 0x000000012aaaaaa8, 397 0x000000012aaaaaa7, 0x000000014cccccca, 398 0x000000014cccccc9, 0x000000017fff7ffe, 399 0x000000017fff7ffd, 0x000000017fff7fff, 400 0x000000017fff7ffe, 0x000000017fff8000, 401 0x000000017fff7fff, 0x000000017fff8001, 402 0x000000017fff8000, 0x000000017fffff7e, 403 0x000000017fffff7d, 0x000000017fffff7f, 404 0x000000017fffff7e, 0x000000017fffff80, 405 0x000000017fffff7f, 0x000000017fffff81, 406 0x000000017fffff80, 0x000000017fffffde, 407 0x000000017fffffdd, 0x000000017ffffffb, 408 0x000000017ffffffa, 0x000000017ffffffc, 409 0x000000017ffffffb, 0x000000017ffffffd, 410 0x000000017ffffffd, 0x000000007fffffff, 411 0x000000007ffffffe, 0x0000000080000000, 412 0x000000007fffffff, 0x0000000080000001, 413 0x0000000080000000, 0x000000008000001f, 414 0x000000008000001e, 0x000000008000007c, 415 0x000000008000007b, 0x000000008000007d, 416 0x000000008000007c, 0x000000008000007e, 417 0x000000008000007d, 0x0000000080007ffc, 418 0x0000000080007ffb, 0x0000000080007ffd, 419 0x0000000080007ffc, 0x0000000080007ffe, 420 0x0000000080007ffd, 0x00000000b3333332, 421 0x00000000b3333331, 0x00000000d5555554, 422 0x00000000d5555553, 0x00000000fffffffc, 423 0x00000000fffffffb, 0x00000000fffffffd, 424 0x00000000fffffffc, 0x00000000fffffffe, 425 0x00000000fffffffd, 0x00000000ffffffff, 426 0x00000000fffffffe, 0x0000000100000000, 427 0x00000000ffffffff, 0x000000012aaaaaa9, 428 0x000000012aaaaaa8, 0x000000014ccccccb, 429 0x000000014cccccca, 0x000000017fff7fff, 430 0x000000017fff7ffe, 0x000000017fff8000, 431 0x000000017fff7fff, 0x000000017fff8001, 432 0x000000017fff8000, 0x000000017fff8002, 433 0x000000017fff8001, 0x000000017fffff7f, 434 0x000000017fffff7e, 0x000000017fffff80, 435 0x000000017fffff7f, 0x000000017fffff81, 436 0x000000017fffff80, 0x000000017fffff82, 437 0x000000017fffff81, 0x000000017fffffdf, 438 0x000000017fffffde, 0x000000017ffffffc, 439 0x000000017ffffffb, 0x000000017ffffffd, 440 0x000000017ffffffc, 0x000000017ffffffe, 441 0x000000017ffffffe, 0x3333333333333333, 442 0x000000007fffffff, 0x3333333333333334, 443 0x0000000080000000, 0x3333333333333335, 444 0x0000000080000001, 0x3333333333333353, 445 0x000000008000001f, 0x33333333333333b0, 446 0x000000008000007c, 0x33333333333333b1, 447 0x000000008000007d, 0x33333333333333b2, 448 0x000000008000007e, 0x333333333333b330, 449 0x0000000080007ffc, 0x333333333333b331, 450 0x0000000080007ffd, 0x333333333333b332, 451 0x0000000080007ffe, 0x3333333366666666, 452 0x00000000b3333332, 0x3333333388888888, 453 0x00000000d5555554, 0x33333333b3333330, 454 0x00000000fffffffc, 0x33333333b3333331, 455 0x00000000fffffffd, 0x33333333b3333332, 456 0x00000000fffffffe, 0x33333333b3333333, 457 0x00000000ffffffff, 0x33333333b3333334, 458 0x0000000100000000, 0x33333333dddddddd, 459 0x000000012aaaaaa9, 0x33333333ffffffff, 460 0x000000014ccccccb, 0x333333343332b333, 461 0x000000017fff7fff, 0x333333343332b334, 462 0x000000017fff8000, 0x333333343332b335, 463 0x000000017fff8001, 0x333333343332b336, 464 0x000000017fff8002, 0x33333334333332b3, 465 0x000000017fffff7f, 0x33333334333332b4, 466 0x000000017fffff80, 0x33333334333332b5, 467 0x000000017fffff81, 0x33333334333332b6, 468 0x000000017fffff82, 0x3333333433333313, 469 0x000000017fffffdf, 0x3333333433333330, 470 0x000000017ffffffc, 0x3333333433333331, 471 0x000000017ffffffd, 0x3333333433333332, 472 0x3333333433333332, 0x5555555555555555, 473 0x3333333333333333, 0x5555555555555556, 474 0x3333333333333334, 0x5555555555555557, 475 0x3333333333333335, 0x5555555555555575, 476 0x3333333333333353, 0x55555555555555d2, 477 0x33333333333333b0, 0x55555555555555d3, 478 0x33333333333333b1, 0x55555555555555d4, 479 0x33333333333333b2, 0x555555555555d552, 480 0x333333333333b330, 0x555555555555d553, 481 0x333333333333b331, 0x555555555555d554, 482 0x333333333333b332, 0x5555555588888888, 483 0x3333333366666666, 0x55555555aaaaaaaa, 484 0x3333333388888888, 0x55555555d5555552, 485 0x33333333b3333330, 0x55555555d5555553, 486 0x33333333b3333331, 0x55555555d5555554, 487 0x33333333b3333332, 0x55555555d5555555, 488 0x33333333b3333333, 0x55555555d5555556, 489 0x33333333b3333334, 0x55555555ffffffff, 490 0x33333333dddddddd, 0x5555555622222221, 491 0x33333333ffffffff, 0x555555565554d555, 492 0x333333343332b333, 0x555555565554d556, 493 0x333333343332b334, 0x555555565554d557, 494 0x333333343332b335, 0x555555565554d558, 495 0x333333343332b336, 0x55555556555554d5, 496 0x33333334333332b3, 0x55555556555554d6, 497 0x33333334333332b4, 0x55555556555554d7, 498 0x33333334333332b5, 0x55555556555554d8, 499 0x33333334333332b6, 0x5555555655555535, 500 0x3333333433333313, 0x5555555655555552, 501 0x3333333433333330, 0x5555555655555553, 502 0x3333333433333331, 0x5555555655555554, 503 0x5555555655555554, 0x7ffffffffffffffd, 504 0x5555555555555555, 0x7ffffffffffffffe, 505 0x5555555555555556, 0x7fffffffffffffff, 506 0x5555555555555557, 0x800000000000001d, 507 0x5555555555555575, 0x800000000000007a, 508 0x55555555555555d2, 0x800000000000007b, 509 0x55555555555555d3, 0x800000000000007c, 510 0x55555555555555d4, 0x8000000000007ffa, 511 0x555555555555d552, 0x8000000000007ffb, 512 0x555555555555d553, 0x8000000000007ffc, 513 0x555555555555d554, 0x8000000033333330, 514 0x5555555588888888, 0x8000000055555552, 515 0x55555555aaaaaaaa, 0x800000007ffffffa, 516 0x55555555d5555552, 0x800000007ffffffb, 517 0x55555555d5555553, 0x800000007ffffffc, 518 0x55555555d5555554, 0x800000007ffffffd, 519 0x55555555d5555555, 0x800000007ffffffe, 520 0x55555555d5555556, 0x80000000aaaaaaa7, 521 0x55555555ffffffff, 0x80000000ccccccc9, 522 0x5555555622222221, 0x80000000ffff7ffd, 523 0x555555565554d555, 0x80000000ffff7ffe, 524 0x555555565554d556, 0x80000000ffff7fff, 525 0x555555565554d557, 0x80000000ffff8000, 526 0x555555565554d558, 0x80000000ffffff7d, 527 0x55555556555554d5, 0x80000000ffffff7e, 528 0x55555556555554d6, 0x80000000ffffff7f, 529 0x55555556555554d7, 0x80000000ffffff80, 530 0x55555556555554d8, 0x80000000ffffffdd, 531 0x5555555655555535, 0x80000000fffffffa, 532 0x5555555655555552, 0x80000000fffffffb, 533 0x5555555655555553, 0x80000000fffffffc, 534 0x80000000fffffffc, 0x7ffffffffffffffe, 535 0x7ffffffffffffffd, 0x7fffffffffffffff, 536 0x7ffffffffffffffe, 0x8000000000000000, 537 0x7fffffffffffffff, 0x800000000000001e, 538 0x800000000000001d, 0x800000000000007b, 539 0x800000000000007a, 0x800000000000007c, 540 0x800000000000007b, 0x800000000000007d, 541 0x800000000000007c, 0x8000000000007ffb, 542 0x8000000000007ffa, 0x8000000000007ffc, 543 0x8000000000007ffb, 0x8000000000007ffd, 544 0x8000000000007ffc, 0x8000000033333331, 545 0x8000000033333330, 0x8000000055555553, 546 0x8000000055555552, 0x800000007ffffffb, 547 0x800000007ffffffa, 0x800000007ffffffc, 548 0x800000007ffffffb, 0x800000007ffffffd, 549 0x800000007ffffffc, 0x800000007ffffffe, 550 0x800000007ffffffd, 0x800000007fffffff, 551 0x800000007ffffffe, 0x80000000aaaaaaa8, 552 0x80000000aaaaaaa7, 0x80000000ccccccca, 553 0x80000000ccccccc9, 0x80000000ffff7ffe, 554 0x80000000ffff7ffd, 0x80000000ffff7fff, 555 0x80000000ffff7ffe, 0x80000000ffff8000, 556 0x80000000ffff7fff, 0x80000000ffff8001, 557 0x80000000ffff8000, 0x80000000ffffff7e, 558 0x80000000ffffff7d, 0x80000000ffffff7f, 559 0x80000000ffffff7e, 0x80000000ffffff80, 560 0x80000000ffffff7f, 0x80000000ffffff81, 561 0x80000000ffffff80, 0x80000000ffffffde, 562 0x80000000ffffffdd, 0x80000000fffffffb, 563 0x80000000fffffffa, 0x80000000fffffffc, 564 0x80000000fffffffb, 0x80000000fffffffd, 565 0x80000000fffffffd, 0x7fffffffffffffff, 566 0x7ffffffffffffffe, 0x8000000000000000, 567 0x7fffffffffffffff, 0x8000000000000001, 568 0x8000000000000000, 0x800000000000001f, 569 0x800000000000001e, 0x800000000000007c, 570 0x800000000000007b, 0x800000000000007d, 571 0x800000000000007c, 0x800000000000007e, 572 0x800000000000007d, 0x8000000000007ffc, 573 0x8000000000007ffb, 0x8000000000007ffd, 574 0x8000000000007ffc, 0x8000000000007ffe, 575 0x8000000000007ffd, 0x8000000033333332, 576 0x8000000033333331, 0x8000000055555554, 577 0x8000000055555553, 0x800000007ffffffc, 578 0x800000007ffffffb, 0x800000007ffffffd, 579 0x800000007ffffffc, 0x800000007ffffffe, 580 0x800000007ffffffd, 0x800000007fffffff, 581 0x800000007ffffffe, 0x8000000080000000, 582 0x800000007fffffff, 0x80000000aaaaaaa9, 583 0x80000000aaaaaaa8, 0x80000000cccccccb, 584 0x80000000ccccccca, 0x80000000ffff7fff, 585 0x80000000ffff7ffe, 0x80000000ffff8000, 586 0x80000000ffff7fff, 0x80000000ffff8001, 587 0x80000000ffff8000, 0x80000000ffff8002, 588 0x80000000ffff8001, 0x80000000ffffff7f, 589 0x80000000ffffff7e, 0x80000000ffffff80, 590 0x80000000ffffff7f, 0x80000000ffffff81, 591 0x80000000ffffff80, 0x80000000ffffff82, 592 0x80000000ffffff81, 0x80000000ffffffdf, 593 0x80000000ffffffde, 0x80000000fffffffc, 594 0x80000000fffffffb, 0x80000000fffffffd, 595 0x80000000fffffffc, 0x80000000fffffffe, 596 0x80000000fffffffe, 0x8000000000000000, 597 0x7fffffffffffffff, 0x8000000000000001, 598 0x8000000000000000, 0x8000000000000002, 599 0x8000000000000001, 0x8000000000000020, 600 0x800000000000001f, 0x800000000000007d, 601 0x800000000000007c, 0x800000000000007e, 602 0x800000000000007d, 0x800000000000007f, 603 0x800000000000007e, 0x8000000000007ffd, 604 0x8000000000007ffc, 0x8000000000007ffe, 605 0x8000000000007ffd, 0x8000000000007fff, 606 0x8000000000007ffe, 0x8000000033333333, 607 0x8000000033333332, 0x8000000055555555, 608 0x8000000055555554, 0x800000007ffffffd, 609 0x800000007ffffffc, 0x800000007ffffffe, 610 0x800000007ffffffd, 0x800000007fffffff, 611 0x800000007ffffffe, 0x8000000080000000, 612 0x800000007fffffff, 0x8000000080000001, 613 0x8000000080000000, 0x80000000aaaaaaaa, 614 0x80000000aaaaaaa9, 0x80000000cccccccc, 615 0x80000000cccccccb, 0x80000000ffff8000, 616 0x80000000ffff7fff, 0x80000000ffff8001, 617 0x80000000ffff8000, 0x80000000ffff8002, 618 0x80000000ffff8001, 0x80000000ffff8003, 619 0x80000000ffff8002, 0x80000000ffffff80, 620 0x80000000ffffff7f, 0x80000000ffffff81, 621 0x80000000ffffff80, 0x80000000ffffff82, 622 0x80000000ffffff81, 0x80000000ffffff83, 623 0x80000000ffffff82, 0x80000000ffffffe0, 624 0x80000000ffffffdf, 0x80000000fffffffd, 625 0x80000000fffffffc, 0x80000000fffffffe, 626 0x80000000fffffffd, 0x80000000ffffffff, 627 0x80000000ffffffff, 0x8000000000000001, 628 0x8000000000000000, 0x8000000000000002, 629 0x8000000000000001, 0x8000000000000003, 630 0x8000000000000002, 0x8000000000000021, 631 0x8000000000000020, 0x800000000000007e, 632 0x800000000000007d, 0x800000000000007f, 633 0x800000000000007e, 0x8000000000000080, 634 0x800000000000007f, 0x8000000000007ffe, 635 0x8000000000007ffd, 0x8000000000007fff, 636 0x8000000000007ffe, 0x8000000000008000, 637 0x8000000000007fff, 0x8000000033333334, 638 0x8000000033333333, 0x8000000055555556, 639 0x8000000055555555, 0x800000007ffffffe, 640 0x800000007ffffffd, 0x800000007fffffff, 641 0x800000007ffffffe, 0x8000000080000000, 642 0x800000007fffffff, 0x8000000080000001, 643 0x8000000080000000, 0x8000000080000002, 644 0x8000000080000001, 0x80000000aaaaaaab, 645 0x80000000aaaaaaaa, 0x80000000cccccccd, 646 0x80000000cccccccc, 0x80000000ffff8001, 647 0x80000000ffff8000, 0x80000000ffff8002, 648 0x80000000ffff8001, 0x80000000ffff8003, 649 0x80000000ffff8002, 0x80000000ffff8004, 650 0x80000000ffff8003, 0x80000000ffffff81, 651 0x80000000ffffff80, 0x80000000ffffff82, 652 0x80000000ffffff81, 0x80000000ffffff83, 653 0x80000000ffffff82, 0x80000000ffffff84, 654 0x80000000ffffff83, 0x80000000ffffffe1, 655 0x80000000ffffffe0, 0x80000000fffffffe, 656 0x80000000fffffffd, 0x80000000ffffffff, 657 0x80000000fffffffe, 0x8000000100000000, 658 0x8000000100000000, 0x8000000000000002, 659 0x8000000000000001, 0x8000000000000003, 660 0x8000000000000002, 0x8000000000000004, 661 0x8000000000000003, 0x8000000000000022, 662 0x8000000000000021, 0x800000000000007f, 663 0x800000000000007e, 0x8000000000000080, 664 0x800000000000007f, 0x8000000000000081, 665 0x8000000000000080, 0x8000000000007fff, 666 0x8000000000007ffe, 0x8000000000008000, 667 0x8000000000007fff, 0x8000000000008001, 668 0x8000000000008000, 0x8000000033333335, 669 0x8000000033333334, 0x8000000055555557, 670 0x8000000055555556, 0x800000007fffffff, 671 0x800000007ffffffe, 0x8000000080000000, 672 0x800000007fffffff, 0x8000000080000001, 673 0x8000000080000000, 0x8000000080000002, 674 0x8000000080000001, 0x8000000080000003, 675 0x8000000080000002, 0x80000000aaaaaaac, 676 0x80000000aaaaaaab, 0x80000000ccccccce, 677 0x80000000cccccccd, 0x80000000ffff8002, 678 0x80000000ffff8001, 0x80000000ffff8003, 679 0x80000000ffff8002, 0x80000000ffff8004, 680 0x80000000ffff8003, 0x80000000ffff8005, 681 0x80000000ffff8004, 0x80000000ffffff82, 682 0x80000000ffffff81, 0x80000000ffffff83, 683 0x80000000ffffff82, 0x80000000ffffff84, 684 0x80000000ffffff83, 0x80000000ffffff85, 685 0x80000000ffffff84, 0x80000000ffffffe2, 686 0x80000000ffffffe1, 0x80000000ffffffff, 687 0x80000000fffffffe, 0x8000000100000000, 688 0x80000000ffffffff, 0x8000000100000001, 689 0x8000000100000001, 0x8000000000000003, 690 0x8000000000000002, 0x8000000000000004, 691 0x8000000000000003, 0x8000000000000005, 692 0x8000000000000004, 0x8000000000000023, 693 0x8000000000000022, 0x8000000000000080, 694 0x800000000000007f, 0x8000000000000081, 695 0x8000000000000080, 0x8000000000000082, 696 0x8000000000000081, 0x8000000000008000, 697 0x8000000000007fff, 0x8000000000008001, 698 0x8000000000008000, 0x8000000000008002, 699 0x8000000000008001, 0x8000000033333336, 700 0x8000000033333335, 0x8000000055555558, 701 0x8000000055555557, 0x8000000080000000, 702 0x800000007fffffff, 0x8000000080000001, 703 0x8000000080000000, 0x8000000080000002, 704 0x8000000080000001, 0x8000000080000003, 705 0x8000000080000002, 0x8000000080000004, 706 0x8000000080000003, 0x80000000aaaaaaad, 707 0x80000000aaaaaaac, 0x80000000cccccccf, 708 0x80000000ccccccce, 0x80000000ffff8003, 709 0x80000000ffff8002, 0x80000000ffff8004, 710 0x80000000ffff8003, 0x80000000ffff8005, 711 0x80000000ffff8004, 0x80000000ffff8006, 712 0x80000000ffff8005, 0x80000000ffffff83, 713 0x80000000ffffff82, 0x80000000ffffff84, 714 0x80000000ffffff83, 0x80000000ffffff85, 715 0x80000000ffffff84, 0x80000000ffffff86, 716 0x80000000ffffff85, 0x80000000ffffffe3, 717 0x80000000ffffffe2, 0x8000000100000000, 718 0x80000000ffffffff, 0x8000000100000001, 719 0x8000000100000000, 0x8000000100000002, 720 0x8000000100000002, 0xaaaaaaaaaaaaaaaa, 721 0x8000000000000003, 0xaaaaaaaaaaaaaaab, 722 0x8000000000000004, 0xaaaaaaaaaaaaaaac, 723 0x8000000000000005, 0xaaaaaaaaaaaaaaca, 724 0x8000000000000023, 0xaaaaaaaaaaaaab27, 725 0x8000000000000080, 0xaaaaaaaaaaaaab28, 726 0x8000000000000081, 0xaaaaaaaaaaaaab29, 727 0x8000000000000082, 0xaaaaaaaaaaab2aa7, 728 0x8000000000008000, 0xaaaaaaaaaaab2aa8, 729 0x8000000000008001, 0xaaaaaaaaaaab2aa9, 730 0x8000000000008002, 0xaaaaaaaadddddddd, 731 0x8000000033333336, 0xaaaaaaaaffffffff, 732 0x8000000055555558, 0xaaaaaaab2aaaaaa7, 733 0x8000000080000000, 0xaaaaaaab2aaaaaa8, 734 0x8000000080000001, 0xaaaaaaab2aaaaaa9, 735 0x8000000080000002, 0xaaaaaaab2aaaaaaa, 736 0x8000000080000003, 0xaaaaaaab2aaaaaab, 737 0x8000000080000004, 0xaaaaaaab55555554, 738 0x80000000aaaaaaad, 0xaaaaaaab77777776, 739 0x80000000cccccccf, 0xaaaaaaabaaaa2aaa, 740 0x80000000ffff8003, 0xaaaaaaabaaaa2aab, 741 0x80000000ffff8004, 0xaaaaaaabaaaa2aac, 742 0x80000000ffff8005, 0xaaaaaaabaaaa2aad, 743 0x80000000ffff8006, 0xaaaaaaabaaaaaa2a, 744 0x80000000ffffff83, 0xaaaaaaabaaaaaa2b, 745 0x80000000ffffff84, 0xaaaaaaabaaaaaa2c, 746 0x80000000ffffff85, 0xaaaaaaabaaaaaa2d, 747 0x80000000ffffff86, 0xaaaaaaabaaaaaa8a, 748 0x80000000ffffffe3, 0xaaaaaaabaaaaaaa7, 749 0x8000000100000000, 0xaaaaaaabaaaaaaa8, 750 0x8000000100000001, 0xaaaaaaabaaaaaaa9, 751 0xaaaaaaabaaaaaaa9, 0xcccccccccccccccc, 752 0xaaaaaaaaaaaaaaaa, 0xcccccccccccccccd, 753 0xaaaaaaaaaaaaaaab, 0xccccccccccccccce, 754 0xaaaaaaaaaaaaaaac, 0xccccccccccccccec, 755 0xaaaaaaaaaaaaaaca, 0xcccccccccccccd49, 756 0xaaaaaaaaaaaaab27, 0xcccccccccccccd4a, 757 0xaaaaaaaaaaaaab28, 0xcccccccccccccd4b, 758 0xaaaaaaaaaaaaab29, 0xcccccccccccd4cc9, 759 0xaaaaaaaaaaab2aa7, 0xcccccccccccd4cca, 760 0xaaaaaaaaaaab2aa8, 0xcccccccccccd4ccb, 761 0xaaaaaaaaaaab2aa9, 0xccccccccffffffff, 762 0xaaaaaaaadddddddd, 0xcccccccd22222221, 763 0xaaaaaaaaffffffff, 0xcccccccd4cccccc9, 764 0xaaaaaaab2aaaaaa7, 0xcccccccd4cccccca, 765 0xaaaaaaab2aaaaaa8, 0xcccccccd4ccccccb, 766 0xaaaaaaab2aaaaaa9, 0xcccccccd4ccccccc, 767 0xaaaaaaab2aaaaaaa, 0xcccccccd4ccccccd, 768 0xaaaaaaab2aaaaaab, 0xcccccccd77777776, 769 0xaaaaaaab55555554, 0xcccccccd99999998, 770 0xaaaaaaab77777776, 0xcccccccdcccc4ccc, 771 0xaaaaaaabaaaa2aaa, 0xcccccccdcccc4ccd, 772 0xaaaaaaabaaaa2aab, 0xcccccccdcccc4cce, 773 0xaaaaaaabaaaa2aac, 0xcccccccdcccc4ccf, 774 0xaaaaaaabaaaa2aad, 0xcccccccdcccccc4c, 775 0xaaaaaaabaaaaaa2a, 0xcccccccdcccccc4d, 776 0xaaaaaaabaaaaaa2b, 0xcccccccdcccccc4e, 777 0xaaaaaaabaaaaaa2c, 0xcccccccdcccccc4f, 778 0xaaaaaaabaaaaaa2d, 0xcccccccdccccccac, 779 0xaaaaaaabaaaaaa8a, 0xcccccccdccccccc9, 780 0xaaaaaaabaaaaaaa7, 0xcccccccdccccccca, 781 0xaaaaaaabaaaaaaa8, 0xcccccccdcccccccb, 782 0xcccccccdcccccccb, 0xffffffff80000000, 783 0xcccccccccccccccc, 0xffffffff80000001, 784 0xcccccccccccccccd, 0xffffffff80000002, 785 0xccccccccccccccce, 0xffffffff80000020, 786 0xccccccccccccccec, 0xffffffff8000007d, 787 0xcccccccccccccd49, 0xffffffff8000007e, 788 0xcccccccccccccd4a, 0xffffffff8000007f, 789 0xcccccccccccccd4b, 0xffffffff80007ffd, 790 0xcccccccccccd4cc9, 0xffffffff80007ffe, 791 0xcccccccccccd4cca, 0xffffffff80007fff, 792 0xcccccccccccd4ccb, 0xffffffffb3333333, 793 0xccccccccffffffff, 0xffffffffd5555555, 794 0xcccccccd22222221, 0xfffffffffffffffd, 795 0xcccccccd4cccccc9, 0xfffffffffffffffe, 796 0xcccccccd4cccccca, 0xffffffffffffffff, 797 0xcccccccd4ccccccb, 0x0000000000000000, 798 0xcccccccd4ccccccc, 0x0000000000000001, 799 0xcccccccd4ccccccd, 0x000000002aaaaaaa, 800 0xcccccccd77777776, 0x000000004ccccccc, 801 0xcccccccd99999998, 0x000000007fff8000, 802 0xcccccccdcccc4ccc, 0x000000007fff8001, 803 0xcccccccdcccc4ccd, 0x000000007fff8002, 804 0xcccccccdcccc4cce, 0x000000007fff8003, 805 0xcccccccdcccc4ccf, 0x000000007fffff80, 806 0xcccccccdcccccc4c, 0x000000007fffff81, 807 0xcccccccdcccccc4d, 0x000000007fffff82, 808 0xcccccccdcccccc4e, 0x000000007fffff83, 809 0xcccccccdcccccc4f, 0x000000007fffffe0, 810 0xcccccccdccccccac, 0x000000007ffffffd, 811 0xcccccccdccccccc9, 0x000000007ffffffe, 812 0xcccccccdccccccca, 0x000000007fffffff, 813 0x000000007fffffff, 0xffffffff80000001, 814 0xffffffff80000000, 0xffffffff80000002, 815 0xffffffff80000001, 0xffffffff80000003, 816 0xffffffff80000002, 0xffffffff80000021, 817 0xffffffff80000020, 0xffffffff8000007e, 818 0xffffffff8000007d, 0xffffffff8000007f, 819 0xffffffff8000007e, 0xffffffff80000080, 820 0xffffffff8000007f, 0xffffffff80007ffe, 821 0xffffffff80007ffd, 0xffffffff80007fff, 822 0xffffffff80007ffe, 0xffffffff80008000, 823 0xffffffff80007fff, 0xffffffffb3333334, 824 0xffffffffb3333333, 0xffffffffd5555556, 825 0xffffffffd5555555, 0xfffffffffffffffe, 826 0xfffffffffffffffd, 0xffffffffffffffff, 827 0xfffffffffffffffe, 0x0000000000000000, 828 0xffffffffffffffff, 0x0000000000000001, 829 0x0000000000000000, 0x0000000000000002, 830 0x0000000000000001, 0x000000002aaaaaab, 831 0x000000002aaaaaaa, 0x000000004ccccccd, 832 0x000000004ccccccc, 0x000000007fff8001, 833 0x000000007fff8000, 0x000000007fff8002, 834 0x000000007fff8001, 0x000000007fff8003, 835 0x000000007fff8002, 0x000000007fff8004, 836 0x000000007fff8003, 0x000000007fffff81, 837 0x000000007fffff80, 0x000000007fffff82, 838 0x000000007fffff81, 0x000000007fffff83, 839 0x000000007fffff82, 0x000000007fffff84, 840 0x000000007fffff83, 0x000000007fffffe1, 841 0x000000007fffffe0, 0x000000007ffffffe, 842 0x000000007ffffffd, 0x000000007fffffff, 843 0x000000007ffffffe, 0x0000000080000000, 844 0x0000000080000000, 0xffffffff80000002, 845 0xffffffff80000001, 0xffffffff80000003, 846 0xffffffff80000002, 0xffffffff80000004, 847 0xffffffff80000003, 0xffffffff80000022, 848 0xffffffff80000021, 0xffffffff8000007f, 849 0xffffffff8000007e, 0xffffffff80000080, 850 0xffffffff8000007f, 0xffffffff80000081, 851 0xffffffff80000080, 0xffffffff80007fff, 852 0xffffffff80007ffe, 0xffffffff80008000, 853 0xffffffff80007fff, 0xffffffff80008001, 854 0xffffffff80008000, 0xffffffffb3333335, 855 0xffffffffb3333334, 0xffffffffd5555557, 856 0xffffffffd5555556, 0xffffffffffffffff, 857 0xfffffffffffffffe, 0x0000000000000000, 858 0xffffffffffffffff, 0x0000000000000001, 859 0x0000000000000000, 0x0000000000000002, 860 0x0000000000000001, 0x0000000000000003, 861 0x0000000000000002, 0x000000002aaaaaac, 862 0x000000002aaaaaab, 0x000000004cccccce, 863 0x000000004ccccccd, 0x000000007fff8002, 864 0x000000007fff8001, 0x000000007fff8003, 865 0x000000007fff8002, 0x000000007fff8004, 866 0x000000007fff8003, 0x000000007fff8005, 867 0x000000007fff8004, 0x000000007fffff82, 868 0x000000007fffff81, 0x000000007fffff83, 869 0x000000007fffff82, 0x000000007fffff84, 870 0x000000007fffff83, 0x000000007fffff85, 871 0x000000007fffff84, 0x000000007fffffe2, 872 0x000000007fffffe1, 0x000000007fffffff, 873 0x000000007ffffffe, 0x0000000080000000, 874 0x000000007fffffff, 0x0000000080000001, 875 0x0000000080000001, 0xffffffff80000003, 876 0xffffffff80000002, 0xffffffff80000004, 877 0xffffffff80000003, 0xffffffff80000005, 878 0xffffffff80000004, 0xffffffff80000023, 879 0xffffffff80000022, 0xffffffff80000080, 880 0xffffffff8000007f, 0xffffffff80000081, 881 0xffffffff80000080, 0xffffffff80000082, 882 0xffffffff80000081, 0xffffffff80008000, 883 0xffffffff80007fff, 0xffffffff80008001, 884 0xffffffff80008000, 0xffffffff80008002, 885 0xffffffff80008001, 0xffffffffb3333336, 886 0xffffffffb3333335, 0xffffffffd5555558, 887 0xffffffffd5555557, 0x0000000000000000, 888 0xffffffffffffffff, 0x0000000000000001, 889 0x0000000000000000, 0x0000000000000002, 890 0x0000000000000001, 0x0000000000000003, 891 0x0000000000000002, 0x0000000000000004, 892 0x0000000000000003, 0x000000002aaaaaad, 893 0x000000002aaaaaac, 0x000000004ccccccf, 894 0x000000004cccccce, 0x000000007fff8003, 895 0x000000007fff8002, 0x000000007fff8004, 896 0x000000007fff8003, 0x000000007fff8005, 897 0x000000007fff8004, 0x000000007fff8006, 898 0x000000007fff8005, 0x000000007fffff83, 899 0x000000007fffff82, 0x000000007fffff84, 900 0x000000007fffff83, 0x000000007fffff85, 901 0x000000007fffff84, 0x000000007fffff86, 902 0x000000007fffff85, 0x000000007fffffe3, 903 0x000000007fffffe2, 0x0000000080000000, 904 0x000000007fffffff, 0x0000000080000001, 905 0x0000000080000000, 0x0000000080000002, 906 0x0000000080000002, 0xffffffffffff8000, 907 0xffffffff80000003, 0xffffffffffff8001, 908 0xffffffff80000004, 0xffffffffffff8002, 909 0xffffffff80000005, 0xffffffffffff8020, 910 0xffffffff80000023, 0xffffffffffff807d, 911 0xffffffff80000080, 0xffffffffffff807e, 912 0xffffffff80000081, 0xffffffffffff807f, 913 0xffffffff80000082, 0xfffffffffffffffd, 914 0xffffffff80008000, 0xfffffffffffffffe, 915 0xffffffff80008001, 0xffffffffffffffff, 916 0xffffffff80008002, 0x000000003332b333, 917 0xffffffffb3333336, 0x000000005554d555, 918 0xffffffffd5555558, 0x000000007fff7ffd, 919 0x0000000000000000, 0x000000007fff7ffe, 920 0x0000000000000001, 0x000000007fff7fff, 921 0x0000000000000002, 0x000000007fff8000, 922 0x0000000000000003, 0x000000007fff8001, 923 0x0000000000000004, 0x00000000aaaa2aaa, 924 0x000000002aaaaaad, 0x00000000cccc4ccc, 925 0x000000004ccccccf, 0x00000000ffff0000, 926 0x000000007fff8003, 0x00000000ffff0001, 927 0x000000007fff8004, 0x00000000ffff0002, 928 0x000000007fff8005, 0x00000000ffff0003, 929 0x000000007fff8006, 0x00000000ffff7f80, 930 0x000000007fffff83, 0x00000000ffff7f81, 931 0x000000007fffff84, 0x00000000ffff7f82, 932 0x000000007fffff85, 0x00000000ffff7f83, 933 0x000000007fffff86, 0x00000000ffff7fe0, 934 0x000000007fffffe3, 0x00000000ffff7ffd, 935 0x0000000080000000, 0x00000000ffff7ffe, 936 0x0000000080000001, 0x00000000ffff7fff, 937 0x00000000ffff7fff, 0xffffffffffff8001, 938 0xffffffffffff8000, 0xffffffffffff8002, 939 0xffffffffffff8001, 0xffffffffffff8003, 940 0xffffffffffff8002, 0xffffffffffff8021, 941 0xffffffffffff8020, 0xffffffffffff807e, 942 0xffffffffffff807d, 0xffffffffffff807f, 943 0xffffffffffff807e, 0xffffffffffff8080, 944 0xffffffffffff807f, 0xfffffffffffffffe, 945 0xfffffffffffffffd, 0xffffffffffffffff, 946 0xfffffffffffffffe, 0x0000000000000000, 947 0xffffffffffffffff, 0x000000003332b334, 948 0x000000003332b333, 0x000000005554d556, 949 0x000000005554d555, 0x000000007fff7ffe, 950 0x000000007fff7ffd, 0x000000007fff7fff, 951 0x000000007fff7ffe, 0x000000007fff8000, 952 0x000000007fff7fff, 0x000000007fff8001, 953 0x000000007fff8000, 0x000000007fff8002, 954 0x000000007fff8001, 0x00000000aaaa2aab, 955 0x00000000aaaa2aaa, 0x00000000cccc4ccd, 956 0x00000000cccc4ccc, 0x00000000ffff0001, 957 0x00000000ffff0000, 0x00000000ffff0002, 958 0x00000000ffff0001, 0x00000000ffff0003, 959 0x00000000ffff0002, 0x00000000ffff0004, 960 0x00000000ffff0003, 0x00000000ffff7f81, 961 0x00000000ffff7f80, 0x00000000ffff7f82, 962 0x00000000ffff7f81, 0x00000000ffff7f83, 963 0x00000000ffff7f82, 0x00000000ffff7f84, 964 0x00000000ffff7f83, 0x00000000ffff7fe1, 965 0x00000000ffff7fe0, 0x00000000ffff7ffe, 966 0x00000000ffff7ffd, 0x00000000ffff7fff, 967 0x00000000ffff7ffe, 0x00000000ffff8000, 968 0x00000000ffff8000, 0xffffffffffff8002, 969 0xffffffffffff8001, 0xffffffffffff8003, 970 0xffffffffffff8002, 0xffffffffffff8004, 971 0xffffffffffff8003, 0xffffffffffff8022, 972 0xffffffffffff8021, 0xffffffffffff807f, 973 0xffffffffffff807e, 0xffffffffffff8080, 974 0xffffffffffff807f, 0xffffffffffff8081, 975 0xffffffffffff8080, 0xffffffffffffffff, 976 0xfffffffffffffffe, 0x0000000000000000, 977 0xffffffffffffffff, 0x0000000000000001, 978 0x0000000000000000, 0x000000003332b335, 979 0x000000003332b334, 0x000000005554d557, 980 0x000000005554d556, 0x000000007fff7fff, 981 0x000000007fff7ffe, 0x000000007fff8000, 982 0x000000007fff7fff, 0x000000007fff8001, 983 0x000000007fff8000, 0x000000007fff8002, 984 0x000000007fff8001, 0x000000007fff8003, 985 0x000000007fff8002, 0x00000000aaaa2aac, 986 0x00000000aaaa2aab, 0x00000000cccc4cce, 987 0x00000000cccc4ccd, 0x00000000ffff0002, 988 0x00000000ffff0001, 0x00000000ffff0003, 989 0x00000000ffff0002, 0x00000000ffff0004, 990 0x00000000ffff0003, 0x00000000ffff0005, 991 0x00000000ffff0004, 0x00000000ffff7f82, 992 0x00000000ffff7f81, 0x00000000ffff7f83, 993 0x00000000ffff7f82, 0x00000000ffff7f84, 994 0x00000000ffff7f83, 0x00000000ffff7f85, 995 0x00000000ffff7f84, 0x00000000ffff7fe2, 996 0x00000000ffff7fe1, 0x00000000ffff7fff, 997 0x00000000ffff7ffe, 0x00000000ffff8000, 998 0x00000000ffff7fff, 0x00000000ffff8001, 999 0x00000000ffff8001, 0xffffffffffff8003, 1000 0xffffffffffff8002, 0xffffffffffff8004, 1001 0xffffffffffff8003, 0xffffffffffff8005, 1002 0xffffffffffff8004, 0xffffffffffff8023, 1003 0xffffffffffff8022, 0xffffffffffff8080, 1004 0xffffffffffff807f, 0xffffffffffff8081, 1005 0xffffffffffff8080, 0xffffffffffff8082, 1006 0xffffffffffff8081, 0x0000000000000000, 1007 0xffffffffffffffff, 0x0000000000000001, 1008 0x0000000000000000, 0x0000000000000002, 1009 0x0000000000000001, 0x000000003332b336, 1010 0x000000003332b335, 0x000000005554d558, 1011 0x000000005554d557, 0x000000007fff8000, 1012 0x000000007fff7fff, 0x000000007fff8001, 1013 0x000000007fff8000, 0x000000007fff8002, 1014 0x000000007fff8001, 0x000000007fff8003, 1015 0x000000007fff8002, 0x000000007fff8004, 1016 0x000000007fff8003, 0x00000000aaaa2aad, 1017 0x00000000aaaa2aac, 0x00000000cccc4ccf, 1018 0x00000000cccc4cce, 0x00000000ffff0003, 1019 0x00000000ffff0002, 0x00000000ffff0004, 1020 0x00000000ffff0003, 0x00000000ffff0005, 1021 0x00000000ffff0004, 0x00000000ffff0006, 1022 0x00000000ffff0005, 0x00000000ffff7f83, 1023 0x00000000ffff7f82, 0x00000000ffff7f84, 1024 0x00000000ffff7f83, 0x00000000ffff7f85, 1025 0x00000000ffff7f84, 0x00000000ffff7f86, 1026 0x00000000ffff7f85, 0x00000000ffff7fe3, 1027 0x00000000ffff7fe2, 0x00000000ffff8000, 1028 0x00000000ffff7fff, 0x00000000ffff8001, 1029 0x00000000ffff8000, 0x00000000ffff8002, 1030 0x00000000ffff8002, 0xffffffffffffff80, 1031 0xffffffffffff8003, 0xffffffffffffff81, 1032 0xffffffffffff8004, 0xffffffffffffff82, 1033 0xffffffffffff8005, 0xffffffffffffffa0, 1034 0xffffffffffff8023, 0xfffffffffffffffd, 1035 0xffffffffffff8080, 0xfffffffffffffffe, 1036 0xffffffffffff8081, 0xffffffffffffffff, 1037 0xffffffffffff8082, 0x0000000000007f7d, 1038 0x0000000000000000, 0x0000000000007f7e, 1039 0x0000000000000001, 0x0000000000007f7f, 1040 0x0000000000000002, 0x00000000333332b3, 1041 0x000000003332b336, 0x00000000555554d5, 1042 0x000000005554d558, 0x000000007fffff7d, 1043 0x000000007fff8000, 0x000000007fffff7e, 1044 0x000000007fff8001, 0x000000007fffff7f, 1045 0x000000007fff8002, 0x000000007fffff80, 1046 0x000000007fff8003, 0x000000007fffff81, 1047 0x000000007fff8004, 0x00000000aaaaaa2a, 1048 0x00000000aaaa2aad, 0x00000000cccccc4c, 1049 0x00000000cccc4ccf, 0x00000000ffff7f80, 1050 0x00000000ffff0003, 0x00000000ffff7f81, 1051 0x00000000ffff0004, 0x00000000ffff7f82, 1052 0x00000000ffff0005, 0x00000000ffff7f83, 1053 0x00000000ffff0006, 0x00000000ffffff00, 1054 0x00000000ffff7f83, 0x00000000ffffff01, 1055 0x00000000ffff7f84, 0x00000000ffffff02, 1056 0x00000000ffff7f85, 0x00000000ffffff03, 1057 0x00000000ffff7f86, 0x00000000ffffff60, 1058 0x00000000ffff7fe3, 0x00000000ffffff7d, 1059 0x00000000ffff8000, 0x00000000ffffff7e, 1060 0x00000000ffff8001, 0x00000000ffffff7f, 1061 0x00000000ffffff7f, 0xffffffffffffff81, 1062 0xffffffffffffff80, 0xffffffffffffff82, 1063 0xffffffffffffff81, 0xffffffffffffff83, 1064 0xffffffffffffff82, 0xffffffffffffffa1, 1065 0xffffffffffffffa0, 0xfffffffffffffffe, 1066 0xfffffffffffffffd, 0xffffffffffffffff, 1067 0xfffffffffffffffe, 0x0000000000000000, 1068 0xffffffffffffffff, 0x0000000000007f7e, 1069 0x0000000000007f7d, 0x0000000000007f7f, 1070 0x0000000000007f7e, 0x0000000000007f80, 1071 0x0000000000007f7f, 0x00000000333332b4, 1072 0x00000000333332b3, 0x00000000555554d6, 1073 0x00000000555554d5, 0x000000007fffff7e, 1074 0x000000007fffff7d, 0x000000007fffff7f, 1075 0x000000007fffff7e, 0x000000007fffff80, 1076 0x000000007fffff7f, 0x000000007fffff81, 1077 0x000000007fffff80, 0x000000007fffff82, 1078 0x000000007fffff81, 0x00000000aaaaaa2b, 1079 0x00000000aaaaaa2a, 0x00000000cccccc4d, 1080 0x00000000cccccc4c, 0x00000000ffff7f81, 1081 0x00000000ffff7f80, 0x00000000ffff7f82, 1082 0x00000000ffff7f81, 0x00000000ffff7f83, 1083 0x00000000ffff7f82, 0x00000000ffff7f84, 1084 0x00000000ffff7f83, 0x00000000ffffff01, 1085 0x00000000ffffff00, 0x00000000ffffff02, 1086 0x00000000ffffff01, 0x00000000ffffff03, 1087 0x00000000ffffff02, 0x00000000ffffff04, 1088 0x00000000ffffff03, 0x00000000ffffff61, 1089 0x00000000ffffff60, 0x00000000ffffff7e, 1090 0x00000000ffffff7d, 0x00000000ffffff7f, 1091 0x00000000ffffff7e, 0x00000000ffffff80, 1092 0x00000000ffffff80, 0xffffffffffffff82, 1093 0xffffffffffffff81, 0xffffffffffffff83, 1094 0xffffffffffffff82, 0xffffffffffffff84, 1095 0xffffffffffffff83, 0xffffffffffffffa2, 1096 0xffffffffffffffa1, 0xffffffffffffffff, 1097 0xfffffffffffffffe, 0x0000000000000000, 1098 0xffffffffffffffff, 0x0000000000000001, 1099 0x0000000000000000, 0x0000000000007f7f, 1100 0x0000000000007f7e, 0x0000000000007f80, 1101 0x0000000000007f7f, 0x0000000000007f81, 1102 0x0000000000007f80, 0x00000000333332b5, 1103 0x00000000333332b4, 0x00000000555554d7, 1104 0x00000000555554d6, 0x000000007fffff7f, 1105 0x000000007fffff7e, 0x000000007fffff80, 1106 0x000000007fffff7f, 0x000000007fffff81, 1107 0x000000007fffff80, 0x000000007fffff82, 1108 0x000000007fffff81, 0x000000007fffff83, 1109 0x000000007fffff82, 0x00000000aaaaaa2c, 1110 0x00000000aaaaaa2b, 0x00000000cccccc4e, 1111 0x00000000cccccc4d, 0x00000000ffff7f82, 1112 0x00000000ffff7f81, 0x00000000ffff7f83, 1113 0x00000000ffff7f82, 0x00000000ffff7f84, 1114 0x00000000ffff7f83, 0x00000000ffff7f85, 1115 0x00000000ffff7f84, 0x00000000ffffff02, 1116 0x00000000ffffff01, 0x00000000ffffff03, 1117 0x00000000ffffff02, 0x00000000ffffff04, 1118 0x00000000ffffff03, 0x00000000ffffff05, 1119 0x00000000ffffff04, 0x00000000ffffff62, 1120 0x00000000ffffff61, 0x00000000ffffff7f, 1121 0x00000000ffffff7e, 0x00000000ffffff80, 1122 0x00000000ffffff7f, 0x00000000ffffff81, 1123 0x00000000ffffff81, 0xffffffffffffff83, 1124 0xffffffffffffff82, 0xffffffffffffff84, 1125 0xffffffffffffff83, 0xffffffffffffff85, 1126 0xffffffffffffff84, 0xffffffffffffffa3, 1127 0xffffffffffffffa2, 0x0000000000000000, 1128 0xffffffffffffffff, 0x0000000000000001, 1129 0x0000000000000000, 0x0000000000000002, 1130 0x0000000000000001, 0x0000000000007f80, 1131 0x0000000000007f7f, 0x0000000000007f81, 1132 0x0000000000007f80, 0x0000000000007f82, 1133 0x0000000000007f81, 0x00000000333332b6, 1134 0x00000000333332b5, 0x00000000555554d8, 1135 0x00000000555554d7, 0x000000007fffff80, 1136 0x000000007fffff7f, 0x000000007fffff81, 1137 0x000000007fffff80, 0x000000007fffff82, 1138 0x000000007fffff81, 0x000000007fffff83, 1139 0x000000007fffff82, 0x000000007fffff84, 1140 0x000000007fffff83, 0x00000000aaaaaa2d, 1141 0x00000000aaaaaa2c, 0x00000000cccccc4f, 1142 0x00000000cccccc4e, 0x00000000ffff7f83, 1143 0x00000000ffff7f82, 0x00000000ffff7f84, 1144 0x00000000ffff7f83, 0x00000000ffff7f85, 1145 0x00000000ffff7f84, 0x00000000ffff7f86, 1146 0x00000000ffff7f85, 0x00000000ffffff03, 1147 0x00000000ffffff02, 0x00000000ffffff04, 1148 0x00000000ffffff03, 0x00000000ffffff05, 1149 0x00000000ffffff04, 0x00000000ffffff06, 1150 0x00000000ffffff05, 0x00000000ffffff63, 1151 0x00000000ffffff62, 0x00000000ffffff80, 1152 0x00000000ffffff7f, 0x00000000ffffff81, 1153 0x00000000ffffff80, 0x00000000ffffff82, 1154 0x00000000ffffff82, 0xffffffffffffffc0, 1155 0xffffffffffffff83, 0xffffffffffffffc1, 1156 0xffffffffffffff84, 0xffffffffffffffc2, 1157 0xffffffffffffff85, 0xffffffffffffffe0, 1158 0xffffffffffffffa3, 0x000000000000003d, 1159 0x0000000000000000, 0x000000000000003e, 1160 0x0000000000000001, 0x000000000000003f, 1161 0x0000000000000002, 0x0000000000007fbd, 1162 0x0000000000007f80, 0x0000000000007fbe, 1163 0x0000000000007f81, 0x0000000000007fbf, 1164 0x0000000000007f82, 0x00000000333332f3, 1165 0x00000000333332b6, 0x0000000055555515, 1166 0x00000000555554d8, 0x000000007fffffbd, 1167 0x000000007fffff80, 0x000000007fffffbe, 1168 0x000000007fffff81, 0x000000007fffffbf, 1169 0x000000007fffff82, 0x000000007fffffc0, 1170 0x000000007fffff83, 0x000000007fffffc1, 1171 0x000000007fffff84, 0x00000000aaaaaa6a, 1172 0x00000000aaaaaa2d, 0x00000000cccccc8c, 1173 0x00000000cccccc4f, 0x00000000ffff7fc0, 1174 0x00000000ffff7f83, 0x00000000ffff7fc1, 1175 0x00000000ffff7f84, 0x00000000ffff7fc2, 1176 0x00000000ffff7f85, 0x00000000ffff7fc3, 1177 0x00000000ffff7f86, 0x00000000ffffff40, 1178 0x00000000ffffff03, 0x00000000ffffff41, 1179 0x00000000ffffff04, 0x00000000ffffff42, 1180 0x00000000ffffff05, 0x00000000ffffff43, 1181 0x00000000ffffff06, 0x00000000ffffffa0, 1182 0x00000000ffffff63, 0x00000000ffffffbd, 1183 0x00000000ffffff80, 0x00000000ffffffbe, 1184 0x00000000ffffff81, 0x00000000ffffffbf, 1185 0x00000000ffffffbf, 0xfffffffffffffffd, 1186 0xffffffffffffffc0, 0xfffffffffffffffe, 1187 0xffffffffffffffc1, 0xffffffffffffffff, 1188 0xffffffffffffffc2, 0x000000000000001d, 1189 0xffffffffffffffe0, 0x000000000000007a, 1190 0x000000000000003d, 0x000000000000007b, 1191 0x000000000000003e, 0x000000000000007c, 1192 0x000000000000003f, 0x0000000000007ffa, 1193 0x0000000000007fbd, 0x0000000000007ffb, 1194 0x0000000000007fbe, 0x0000000000007ffc, 1195 0x0000000000007fbf, 0x0000000033333330, 1196 0x00000000333332f3, 0x0000000055555552, 1197 0x0000000055555515, 0x000000007ffffffa, 1198 0x000000007fffffbd, 0x000000007ffffffb, 1199 0x000000007fffffbe, 0x000000007ffffffc, 1200 0x000000007fffffbf, 0x000000007ffffffd, 1201 0x000000007fffffc0, 0x000000007ffffffe, 1202 0x000000007fffffc1, 0x00000000aaaaaaa7, 1203 0x00000000aaaaaa6a, 0x00000000ccccccc9, 1204 0x00000000cccccc8c, 0x00000000ffff7ffd, 1205 0x00000000ffff7fc0, 0x00000000ffff7ffe, 1206 0x00000000ffff7fc1, 0x00000000ffff7fff, 1207 0x00000000ffff7fc2, 0x00000000ffff8000, 1208 0x00000000ffff7fc3, 0x00000000ffffff7d, 1209 0x00000000ffffff40, 0x00000000ffffff7e, 1210 0x00000000ffffff41, 0x00000000ffffff7f, 1211 0x00000000ffffff42, 0x00000000ffffff80, 1212 0x00000000ffffff43, 0x00000000ffffffdd, 1213 0x00000000ffffffa0, 0x00000000fffffffa, 1214 0x00000000ffffffbd, 0x00000000fffffffb, 1215 0x00000000ffffffbe, 0x00000000fffffffc, 1216 0x00000000fffffffc, 0xfffffffffffffffe, 1217 0xfffffffffffffffd, 0xffffffffffffffff, 1218 0xfffffffffffffffe, 0x0000000000000000, 1219 0xffffffffffffffff, 0x000000000000001e, 1220 0x000000000000001d, 0x000000000000007b, 1221 0x000000000000007a, 0x000000000000007c, 1222 0x000000000000007b, 0x000000000000007d, 1223 0x000000000000007c, 0x0000000000007ffb, 1224 0x0000000000007ffa, 0x0000000000007ffc, 1225 0x0000000000007ffb, 0x0000000000007ffd, 1226 0x0000000000007ffc, 0x0000000033333331, 1227 0x0000000033333330, 0x0000000055555553, 1228 0x0000000055555552, 0x000000007ffffffb, 1229 0x000000007ffffffa, 0x000000007ffffffc, 1230 0x000000007ffffffb, 0x000000007ffffffd, 1231 0x000000007ffffffc, 0x000000007ffffffe, 1232 0x000000007ffffffd, 0x000000007fffffff, 1233 0x000000007ffffffe, 0x00000000aaaaaaa8, 1234 0x00000000aaaaaaa7, 0x00000000ccccccca, 1235 0x00000000ccccccc9, 0x00000000ffff7ffe, 1236 0x00000000ffff7ffd, 0x00000000ffff7fff, 1237 0x00000000ffff7ffe, 0x00000000ffff8000, 1238 0x00000000ffff7fff, 0x00000000ffff8001, 1239 0x00000000ffff8000, 0x00000000ffffff7e, 1240 0x00000000ffffff7d, 0x00000000ffffff7f, 1241 0x00000000ffffff7e, 0x00000000ffffff80, 1242 0x00000000ffffff7f, 0x00000000ffffff81, 1243 0x00000000ffffff80, 0x00000000ffffffde, 1244 0x00000000ffffffdd, 0x00000000fffffffb, 1245 0x00000000fffffffa, 0x00000000fffffffc, 1246 0x00000000fffffffb, 0x00000000fffffffd, 1247 0x00000000fffffffd, 0xffffffffffffffff, 1248 0xfffffffffffffffe, 0x0000000000000000, 1249 0xffffffffffffffff, 0x0000000000000001, 1250 0x0000000000000000, 0x000000000000001f, 1251 0x000000000000001e, 0x000000000000007c, 1252 0x000000000000007b, 0x000000000000007d, 1253 0x000000000000007c, 0x000000000000007e, 1254 0x000000000000007d, 0x0000000000007ffc, 1255 0x0000000000007ffb, 0x0000000000007ffd, 1256 0x0000000000007ffc, 0x0000000000007ffe, 1257 0x0000000000007ffd, 0x0000000033333332, 1258 0x0000000033333331, 0x0000000055555554, 1259 0x0000000055555553, 0x000000007ffffffc, 1260 0x000000007ffffffb, 0x000000007ffffffd, 1261 0x000000007ffffffc, 0x000000007ffffffe, 1262 0x000000007ffffffd, 0x000000007fffffff, 1263 0x000000007ffffffe, 0x0000000080000000, 1264 0x000000007fffffff, 0x00000000aaaaaaa9, 1265 0x00000000aaaaaaa8, 0x00000000cccccccb, 1266 0x00000000ccccccca, 0x00000000ffff7fff, 1267 0x00000000ffff7ffe, 0x00000000ffff8000, 1268 0x00000000ffff7fff, 0x00000000ffff8001, 1269 0x00000000ffff8000, 0x00000000ffff8002, 1270 0x00000000ffff8001, 0x00000000ffffff7f, 1271 0x00000000ffffff7e, 0x00000000ffffff80, 1272 0x00000000ffffff7f, 0x00000000ffffff81, 1273 0x00000000ffffff80, 0x00000000ffffff82, 1274 0x00000000ffffff81, 0x00000000ffffffdf, 1275 0x00000000ffffffde, 0x00000000fffffffc, 1276 0x00000000fffffffb, 0x00000000fffffffd, 1277 0x00000000fffffffc, 0x00000000fffffffe, 1278 }; 1279 const unsigned kExpectedCount_NEON_uaddw2_2D = 1240; 1280 1281 #endif // VIXL_SIM_UADDW2_2D_TRACE_A64_H_ 1282
