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_UMLAL_2D_TRACE_A64_H_ 35 #define VIXL_SIM_UMLAL_2D_TRACE_A64_H_ 36 37 const uint64_t kExpected_NEON_umlal_2D[] = { 38 0x000000003e040000, 0x000000003f010001, 39 0x000000003e820000, 0x0000003f7e830001, 40 0x0000003efe860000, 0x0000000000000001, 41 0x0000000000000000, 0x0000000000007f01, 42 0x0000000000007e00, 0x000000000000fe01, 43 0x000000000000fc00, 0x00000000000fe001, 44 0x00000000000fc000, 0x00000000003e0301, 45 0x00000000003d8600, 0x00000000003e8201, 46 0x00000000003e0400, 0x00000000003f0101, 47 0x00000000003e8200, 0x000000003f7e8301, 48 0x000000003efe8600, 0x000000003f7f0201, 49 0x000000003eff0400, 0x000000003f7f8101, 50 0x000000003eff8200, 0x0000196666664d01, 51 0x0000193333331a00, 0x00002a5555552b01, 52 0x000029ffffffd600, 0x00003f7ffffe8301, 53 0x00003efffffe8600, 0x00003f7fffff0201, 54 0x00003effffff0400, 0x00003f7fffff8101, 55 0x00003effffff8200, 0x00003f8000000001, 56 0x00003f0000000000, 0x00003f8000007f01, 57 0x00003f0000007e00, 0x000054aaaaaa5601, 58 0x000053ffffffac00, 0x0000659999993401, 59 0x000064cccccc6800, 0x00007effc0800001, 60 0x00007dffc1000000, 0x00007effc0807f01, 61 0x00007dffc1007e00, 0x00007effc080fe01, 62 0x00007dffc100fc00, 0x00007effc0817d01, 63 0x00007dffc1017a00, 0x00007effffc08001, 64 0x00007dffffc10000, 0x00007effffc0ff01, 65 0x00007dffffc17e00, 0x00007effffc17e01, 66 0x00007dffffc1fc00, 0x00007effffc1fd01, 67 0x00007dffffc27a00, 0x00007efffff02001, 68 0x00007dfffff04000, 0x00007efffffe8301, 69 0x00007efffffe8300, 0x007ffcffff000601, 70 0x00007effffff0200, 0x007ffcffff800301, 71 0x00007effffff8100, 0x0000000000000001, 72 0x0000000000000000, 0x00000000007ffd01, 73 0x0000000000007f00, 0x0000000000fffa01, 74 0x000000000000fe00, 0x000000000fffa001, 75 0x00000000000fe000, 0x000000003e7e8901, 76 0x00000000003e0300, 0x000000003efe8601, 77 0x00000000003e8200, 0x000000003f7e8301, 78 0x00000000003f0100, 0x0000003ffd000901, 79 0x000000003f7e8300, 0x0000003ffd800601, 80 0x000000003f7f0200, 0x0000003ffe000301, 81 0x000000003f7f8100, 0x001998ffffe66701, 82 0x0000196666664d00, 0x002aa9aaaa800101, 83 0x00002a5555552b00, 0x003ffe7ffe800901, 84 0x00003f7ffffe8300, 0x003ffe7fff000601, 85 0x00003f7fffff0200, 0x003ffe7fff800301, 86 0x00003f7fffff8100, 0x003ffe8000000001, 87 0x00003f8000000000, 0x003ffe80007ffd01, 88 0x00003f8000007f00, 0x0055535555000201, 89 0x000054aaaaaa5600, 0x006663ffff999c01, 90 0x0000659999993400, 0x007ffcc001800001, 91 0x00007effc0800000, 0x007ffcc001fffd01, 92 0x00007effc0807f00, 0x007ffcc0027ffa01, 93 0x00007effc080fe00, 0x007ffcc002fff701, 94 0x00007effc0817d00, 0x007ffcffc0018001, 95 0x00007effffc08000, 0x007ffcffc0817d01, 96 0x00007effffc0ff00, 0x007ffcffc1017a01, 97 0x00007effffc17e00, 0x007ffcffc1817701, 98 0x00007effffc1fd00, 0x007ffcfff0006001, 99 0x00007efffff02000, 0x007ffcfffe800901, 100 0x007ffcfffe800900, 0x0000000000000001, 101 0x007ffcffff000600, 0x0000000000000001, 102 0x007ffcffff800300, 0x0000000000000001, 103 0x0000000000000000, 0x0000000000000001, 104 0x00000000007ffd00, 0x0000000000000001, 105 0x0000000000fffa00, 0x0000000000000001, 106 0x000000000fffa000, 0x0000000000000001, 107 0x000000003e7e8900, 0x0000000000000001, 108 0x000000003efe8600, 0x0000000000000001, 109 0x000000003f7e8300, 0x0000000000000001, 110 0x0000003ffd000900, 0x0000000000000001, 111 0x0000003ffd800600, 0x0000000000000001, 112 0x0000003ffe000300, 0x0000000000000001, 113 0x001998ffffe66700, 0x0000000000000001, 114 0x002aa9aaaa800100, 0x0000000000000001, 115 0x003ffe7ffe800900, 0x0000000000000001, 116 0x003ffe7fff000600, 0x0000000000000001, 117 0x003ffe7fff800300, 0x0000000000000001, 118 0x003ffe8000000000, 0x0000000000000001, 119 0x003ffe80007ffd00, 0x0000000000000001, 120 0x0055535555000200, 0x0000000000000001, 121 0x006663ffff999c00, 0x0000000000000001, 122 0x007ffcc001800000, 0x0000000000000001, 123 0x007ffcc001fffd00, 0x0000000000000001, 124 0x007ffcc0027ffa00, 0x0000000000000001, 125 0x007ffcc002fff700, 0x0000000000000001, 126 0x007ffcffc0018000, 0x0000000000000001, 127 0x007ffcffc0817d00, 0x0000000000000001, 128 0x007ffcffc1017a00, 0x0000000000000001, 129 0x007ffcffc1817700, 0x0000000000000001, 130 0x007ffcfff0006000, 0x0000000000000001, 131 0x0000000000000000, 0x00000000ffffffff, 132 0x0000000000000000, 0x0000000100000000, 133 0x0000000000000000, 0x0000000000000001, 134 0x0000000000000000, 0x0000000000000002, 135 0x0000000000000000, 0x0000000000000003, 136 0x0000000000000000, 0x0000000000000021, 137 0x0000000000000000, 0x000000000000007e, 138 0x0000000000000000, 0x000000000000007f, 139 0x0000000000000000, 0x0000000000000080, 140 0x0000000000000000, 0x0000000000007ffe, 141 0x0000000000000000, 0x0000000000007fff, 142 0x0000000000000000, 0x0000000000008000, 143 0x0000000000000000, 0x0000000033333334, 144 0x0000000000000000, 0x0000000055555556, 145 0x0000000000000000, 0x000000007ffffffe, 146 0x0000000000000000, 0x000000007fffffff, 147 0x0000000000000000, 0x0000000080000000, 148 0x0000000000000000, 0x0000000080000001, 149 0x0000000000000000, 0x0000000080000002, 150 0x0000000000000000, 0x00000000aaaaaaab, 151 0x0000000000000000, 0x00000000cccccccd, 152 0x0000000000000000, 0x00000000ffff8001, 153 0x0000000000000000, 0x00000000ffff8002, 154 0x0000000000000000, 0x00000000ffff8003, 155 0x0000000000000000, 0x00000000ffff8004, 156 0x0000000000000000, 0x00000000ffffff81, 157 0x0000000000000000, 0x00000000ffffff82, 158 0x0000000000000000, 0x00000000ffffff83, 159 0x0000000000000000, 0x00000000ffffff84, 160 0x0000000000000000, 0x00000000ffffffe1, 161 0x0000000000000000, 0x00000000fffffffe, 162 0x00000000fffffffd, 0x00000001fffffffd, 163 0x00000000fffffffe, 0x00000001ffffffff, 164 0x00000000ffffffff, 0x0000000000000001, 165 0x0000000000000000, 0x0000000000000003, 166 0x0000000000000001, 0x0000000000000005, 167 0x0000000000000002, 0x0000000000000041, 168 0x0000000000000020, 0x00000000000000fb, 169 0x000000000000007d, 0x00000000000000fd, 170 0x000000000000007e, 0x00000000000000ff, 171 0x000000000000007f, 0x000000000000fffb, 172 0x0000000000007ffd, 0x000000000000fffd, 173 0x0000000000007ffe, 0x000000000000ffff, 174 0x0000000000007fff, 0x0000000066666667, 175 0x0000000033333333, 0x00000000aaaaaaab, 176 0x0000000055555555, 0x00000000fffffffb, 177 0x000000007ffffffd, 0x00000000fffffffd, 178 0x000000007ffffffe, 0x00000000ffffffff, 179 0x000000007fffffff, 0x0000000100000001, 180 0x0000000080000000, 0x0000000100000003, 181 0x0000000080000001, 0x0000000155555555, 182 0x00000000aaaaaaaa, 0x0000000199999999, 183 0x00000000cccccccc, 0x00000001ffff0001, 184 0x00000000ffff8000, 0x00000001ffff0003, 185 0x00000000ffff8001, 0x00000001ffff0005, 186 0x00000000ffff8002, 0x00000001ffff0007, 187 0x00000000ffff8003, 0x00000001ffffff01, 188 0x00000000ffffff80, 0x00000001ffffff03, 189 0x00000000ffffff81, 0x00000001ffffff05, 190 0x00000000ffffff82, 0x00000001ffffff07, 191 0x00000000ffffff83, 0x00000001ffffffc1, 192 0x00000000ffffffe0, 0x00000001fffffffb, 193 0x00000001fffffffa, 0x0000001fffffffc1, 194 0x00000001fffffffc, 0x0000001fffffffe1, 195 0x00000001fffffffe, 0x0000000000000001, 196 0x0000000000000000, 0x0000000000000021, 197 0x0000000000000002, 0x0000000000000041, 198 0x0000000000000004, 0x0000000000000401, 199 0x0000000000000040, 0x0000000000000fa1, 200 0x00000000000000fa, 0x0000000000000fc1, 201 0x00000000000000fc, 0x0000000000000fe1, 202 0x00000000000000fe, 0x00000000000fffa1, 203 0x000000000000fffa, 0x00000000000fffc1, 204 0x000000000000fffc, 0x00000000000fffe1, 205 0x000000000000fffe, 0x0000000666666661, 206 0x0000000066666666, 0x0000000aaaaaaaa1, 207 0x00000000aaaaaaaa, 0x0000000fffffffa1, 208 0x00000000fffffffa, 0x0000000fffffffc1, 209 0x00000000fffffffc, 0x0000000fffffffe1, 210 0x00000000fffffffe, 0x0000001000000001, 211 0x0000000100000000, 0x0000001000000021, 212 0x0000000100000002, 0x0000001555555541, 213 0x0000000155555554, 0x0000001999999981, 214 0x0000000199999998, 0x0000001ffff00001, 215 0x00000001ffff0000, 0x0000001ffff00021, 216 0x00000001ffff0002, 0x0000001ffff00041, 217 0x00000001ffff0004, 0x0000001ffff00061, 218 0x00000001ffff0006, 0x0000001ffffff001, 219 0x00000001ffffff00, 0x0000001ffffff021, 220 0x00000001ffffff02, 0x0000001ffffff041, 221 0x00000001ffffff04, 0x0000001ffffff061, 222 0x00000001ffffff06, 0x0000001ffffffc01, 223 0x00000001ffffffc0, 0x0000001fffffffa1, 224 0x0000001fffffffa0, 0x0000007cffffff07, 225 0x0000001fffffffc0, 0x0000007cffffff84, 226 0x0000001fffffffe0, 0x0000000000000001, 227 0x0000000000000000, 0x000000000000007e, 228 0x0000000000000020, 0x00000000000000fb, 229 0x0000000000000040, 0x0000000000000fa1, 230 0x0000000000000400, 0x0000000000003d0a, 231 0x0000000000000fa0, 0x0000000000003d87, 232 0x0000000000000fc0, 0x0000000000003e04, 233 0x0000000000000fe0, 0x00000000003e7e8a, 234 0x00000000000fffa0, 0x00000000003e7f07, 235 0x00000000000fffc0, 0x00000000003e7f84, 236 0x00000000000fffe0, 0x00000018ffffffe8, 237 0x0000000666666660, 0x00000029aaaaaa82, 238 0x0000000aaaaaaaa0, 0x0000003e7ffffe8a, 239 0x0000000fffffffa0, 0x0000003e7fffff07, 240 0x0000000fffffffc0, 0x0000003e7fffff84, 241 0x0000000fffffffe0, 0x0000003e80000001, 242 0x0000001000000000, 0x0000003e8000007e, 243 0x0000001000000020, 0x0000005355555503, 244 0x0000001555555540, 0x00000063ffffff9d, 245 0x0000001999999980, 0x0000007cffc18001, 246 0x0000001ffff00000, 0x0000007cffc1807e, 247 0x0000001ffff00020, 0x0000007cffc180fb, 248 0x0000001ffff00040, 0x0000007cffc18178, 249 0x0000001ffff00060, 0x0000007cffffc181, 250 0x0000001ffffff000, 0x0000007cffffc1fe, 251 0x0000001ffffff020, 0x0000007cffffc27b, 252 0x0000001ffffff040, 0x0000007cffffc2f8, 253 0x0000001ffffff060, 0x0000007cfffff061, 254 0x0000001ffffffc00, 0x0000007cfffffe8a, 255 0x0000007cfffffe89, 0x0000007dffffff05, 256 0x0000007cffffff06, 0x0000007dffffff83, 257 0x0000007cffffff83, 0x0000000000000001, 258 0x0000000000000000, 0x000000000000007f, 259 0x000000000000007d, 0x00000000000000fd, 260 0x00000000000000fa, 0x0000000000000fc1, 261 0x0000000000000fa0, 0x0000000000003d87, 262 0x0000000000003d09, 0x0000000000003e05, 263 0x0000000000003d86, 0x0000000000003e83, 264 0x0000000000003e03, 0x00000000003efe87, 265 0x00000000003e7e89, 0x00000000003eff05, 266 0x00000000003e7f06, 0x00000000003eff83, 267 0x00000000003e7f83, 0x000000193333331b, 268 0x00000018ffffffe7, 0x00000029ffffffd7, 269 0x00000029aaaaaa81, 0x0000003efffffe87, 270 0x0000003e7ffffe89, 0x0000003effffff05, 271 0x0000003e7fffff06, 0x0000003effffff83, 272 0x0000003e7fffff83, 0x0000003f00000001, 273 0x0000003e80000000, 0x0000003f0000007f, 274 0x0000003e8000007d, 0x00000053ffffffad, 275 0x0000005355555502, 0x00000064cccccc69, 276 0x00000063ffffff9c, 0x0000007dffc10001, 277 0x0000007cffc18000, 0x0000007dffc1007f, 278 0x0000007cffc1807d, 0x0000007dffc100fd, 279 0x0000007cffc180fa, 0x0000007dffc1017b, 280 0x0000007cffc18177, 0x0000007dffffc101, 281 0x0000007cffffc180, 0x0000007dffffc17f, 282 0x0000007cffffc1fd, 0x0000007dffffc1fd, 283 0x0000007cffffc27a, 0x0000007dffffc27b, 284 0x0000007cffffc2f7, 0x0000007dfffff041, 285 0x0000007cfffff060, 0x0000007dfffffe87, 286 0x0000007dfffffe86, 0x0000007effffff03, 287 0x0000007dffffff04, 0x0000007effffff82, 288 0x0000007dffffff82, 0x0000000000000001, 289 0x0000000000000000, 0x0000000000000080, 290 0x000000000000007e, 0x00000000000000ff, 291 0x00000000000000fc, 0x0000000000000fe1, 292 0x0000000000000fc0, 0x0000000000003e04, 293 0x0000000000003d86, 0x0000000000003e83, 294 0x0000000000003e04, 0x0000000000003f02, 295 0x0000000000003e82, 0x00000000003f7e84, 296 0x00000000003efe86, 0x00000000003f7f03, 297 0x00000000003eff04, 0x00000000003f7f82, 298 0x00000000003eff82, 0x000000196666664e, 299 0x000000193333331a, 0x0000002a5555552c, 300 0x00000029ffffffd6, 0x0000003f7ffffe84, 301 0x0000003efffffe86, 0x0000003f7fffff03, 302 0x0000003effffff04, 0x0000003f7fffff82, 303 0x0000003effffff82, 0x0000003f80000001, 304 0x0000003f00000000, 0x0000003f80000080, 305 0x0000003f0000007e, 0x00000054aaaaaa57, 306 0x00000053ffffffac, 0x0000006599999935, 307 0x00000064cccccc68, 0x0000007effc08001, 308 0x0000007dffc10000, 0x0000007effc08080, 309 0x0000007dffc1007e, 0x0000007effc080ff, 310 0x0000007dffc100fc, 0x0000007effc0817e, 311 0x0000007dffc1017a, 0x0000007effffc081, 312 0x0000007dffffc100, 0x0000007effffc100, 313 0x0000007dffffc17e, 0x0000007effffc17f, 314 0x0000007dffffc1fc, 0x0000007effffc1fe, 315 0x0000007dffffc27a, 0x0000007efffff021, 316 0x0000007dfffff040, 0x0000007efffffe84, 317 0x0000007efffffe83, 0x00007ffcffff0007, 318 0x0000007effffff02, 0x00007ffcffff8004, 319 0x0000007effffff81, 0x0000000000000001, 320 0x0000000000000000, 0x0000000000007ffe, 321 0x000000000000007f, 0x000000000000fffb, 322 0x00000000000000fe, 0x00000000000fffa1, 323 0x0000000000000fe0, 0x00000000003e7e8a, 324 0x0000000000003e03, 0x00000000003efe87, 325 0x0000000000003e82, 0x00000000003f7e84, 326 0x0000000000003f01, 0x000000003ffd000a, 327 0x00000000003f7e83, 0x000000003ffd8007, 328 0x00000000003f7f02, 0x000000003ffe0004, 329 0x00000000003f7f81, 0x00001998ffffe668, 330 0x000000196666664d, 0x00002aa9aaaa8002, 331 0x0000002a5555552b, 0x00003ffe7ffe800a, 332 0x0000003f7ffffe83, 0x00003ffe7fff0007, 333 0x0000003f7fffff02, 0x00003ffe7fff8004, 334 0x0000003f7fffff81, 0x00003ffe80000001, 335 0x0000003f80000000, 0x00003ffe80007ffe, 336 0x0000003f8000007f, 0x0000555355550003, 337 0x00000054aaaaaa56, 0x00006663ffff999d, 338 0x0000006599999934, 0x00007ffcc0018001, 339 0x0000007effc08000, 0x00007ffcc001fffe, 340 0x0000007effc0807f, 0x00007ffcc0027ffb, 341 0x0000007effc080fe, 0x00007ffcc002fff8, 342 0x0000007effc0817d, 0x00007ffcffc00181, 343 0x0000007effffc080, 0x00007ffcffc0817e, 344 0x0000007effffc0ff, 0x00007ffcffc1017b, 345 0x0000007effffc17e, 0x00007ffcffc18178, 346 0x0000007effffc1fd, 0x00007ffcfff00061, 347 0x0000007efffff020, 0x00007ffcfffe800a, 348 0x00007ffcfffe8009, 0x00007ffdffff0005, 349 0x00007ffcffff0006, 0x00007ffdffff8003, 350 0x00007ffcffff8003, 0x0000000000000001, 351 0x0000000000000000, 0x0000000000007fff, 352 0x0000000000007ffd, 0x000000000000fffd, 353 0x000000000000fffa, 0x00000000000fffc1, 354 0x00000000000fffa0, 0x00000000003e7f07, 355 0x00000000003e7e89, 0x00000000003eff05, 356 0x00000000003efe86, 0x00000000003f7f03, 357 0x00000000003f7e83, 0x000000003ffd8007, 358 0x000000003ffd0009, 0x000000003ffe0005, 359 0x000000003ffd8006, 0x000000003ffe8003, 360 0x000000003ffe0003, 0x000019993333199b, 361 0x00001998ffffe667, 0x00002aa9ffffd557, 362 0x00002aa9aaaa8001, 0x00003ffefffe8007, 363 0x00003ffe7ffe8009, 0x00003ffeffff0005, 364 0x00003ffe7fff0006, 0x00003ffeffff8003, 365 0x00003ffe7fff8003, 0x00003fff00000001, 366 0x00003ffe80000000, 0x00003fff00007fff, 367 0x00003ffe80007ffd, 0x00005553ffffaaad, 368 0x0000555355550002, 0x00006664cccc6669, 369 0x00006663ffff999c, 0x00007ffdc0010001, 370 0x00007ffcc0018000, 0x00007ffdc0017fff, 371 0x00007ffcc001fffd, 0x00007ffdc001fffd, 372 0x00007ffcc0027ffa, 0x00007ffdc0027ffb, 373 0x00007ffcc002fff7, 0x00007ffdffc00101, 374 0x00007ffcffc00180, 0x00007ffdffc080ff, 375 0x00007ffcffc0817d, 0x00007ffdffc100fd, 376 0x00007ffcffc1017a, 0x00007ffdffc180fb, 377 0x00007ffcffc18177, 0x00007ffdfff00041, 378 0x00007ffcfff00060, 0x00007ffdfffe8007, 379 0x00007ffdfffe8006, 0x00007ffeffff0003, 380 0x00007ffdffff0004, 0x00007ffeffff8002, 381 0x00007ffdffff8002, 0x0000000000000001, 382 0x0000000000000000, 0x0000000000008000, 383 0x0000000000007ffe, 0x000000000000ffff, 384 0x000000000000fffc, 0x00000000000fffe1, 385 0x00000000000fffc0, 0x00000000003e7f84, 386 0x00000000003e7f06, 0x00000000003eff83, 387 0x00000000003eff04, 0x00000000003f7f82, 388 0x00000000003f7f02, 0x000000003ffe0004, 389 0x000000003ffd8006, 0x000000003ffe8003, 390 0x000000003ffe0004, 0x000000003fff0002, 391 0x000000003ffe8002, 0x0000199966664cce, 392 0x000019993333199a, 0x00002aaa55552aac, 393 0x00002aa9ffffd556, 0x00003fff7ffe8004, 394 0x00003ffefffe8006, 0x00003fff7fff0003, 395 0x00003ffeffff0004, 0x00003fff7fff8002, 396 0x00003ffeffff8002, 0x00003fff80000001, 397 0x00003fff00000000, 0x00003fff80008000, 398 0x00003fff00007ffe, 0x00005554aaaa5557, 399 0x00005553ffffaaac, 0x0000666599993335, 400 0x00006664cccc6668, 0x00007ffec0008001, 401 0x00007ffdc0010000, 0x00007ffec0010000, 402 0x00007ffdc0017ffe, 0x00007ffec0017fff, 403 0x00007ffdc001fffc, 0x00007ffec001fffe, 404 0x00007ffdc0027ffa, 0x00007ffeffc00081, 405 0x00007ffdffc00100, 0x00007ffeffc08080, 406 0x00007ffdffc080fe, 0x00007ffeffc1007f, 407 0x00007ffdffc100fc, 0x00007ffeffc1807e, 408 0x00007ffdffc180fa, 0x00007ffefff00021, 409 0x00007ffdfff00040, 0x00007ffefffe8004, 410 0x00007ffefffe8003, 0x333333329999999b, 411 0x00007ffeffff0002, 0x33333332ccccccce, 412 0x00007ffeffff8001, 0x0000000000000001, 413 0x0000000000000000, 0x0000000033333334, 414 0x0000000000007fff, 0x0000000066666667, 415 0x000000000000fffe, 0x0000000666666661, 416 0x00000000000fffe0, 0x00000018ffffffe8, 417 0x00000000003e7f83, 0x000000193333331b, 418 0x00000000003eff82, 0x000000196666664e, 419 0x00000000003f7f81, 0x00001998ffffe668, 420 0x000000003ffe0003, 0x000019993333199b, 421 0x000000003ffe8002, 0x0000199966664cce, 422 0x000000003fff0001, 0x0a3d70a3c28f5c2a, 423 0x0000199966664ccd, 0x11111110eeeeeef0, 424 0x00002aaa55552aab, 0x19999998e6666668, 425 0x00003fff7ffe8003, 0x199999991999999b, 426 0x00003fff7fff0002, 0x199999994cccccce, 427 0x00003fff7fff8001, 0x1999999980000001, 428 0x00003fff80000000, 0x19999999b3333334, 429 0x00003fff80007fff, 0x22222221dddddddf, 430 0x00005554aaaa5556, 0x28f5c28f0a3d70a5, 431 0x0000666599993334, 0x3333199966668001, 432 0x00007ffec0008000, 0x333319999999b334, 433 0x00007ffec000ffff, 0x33331999cccce667, 434 0x00007ffec0017ffe, 0x3333199a0000199a, 435 0x00007ffec001fffd, 0x3333331966666681, 436 0x00007ffeffc00080, 0x33333319999999b4, 437 0x00007ffeffc0807f, 0x33333319cccccce7, 438 0x00007ffeffc1007e, 0x3333331a0000001a, 439 0x00007ffeffc1807d, 0x3333332c999999a1, 440 0x00007ffefff00020, 0x3333333266666668, 441 0x3333333266666667, 0x5555555455555557, 442 0x333333329999999a, 0x55555554aaaaaaac, 443 0x33333332cccccccd, 0x0000000000000001, 444 0x0000000000000000, 0x0000000055555556, 445 0x0000000033333333, 0x00000000aaaaaaab, 446 0x0000000066666666, 0x0000000aaaaaaaa1, 447 0x0000000666666660, 0x00000029aaaaaa82, 448 0x00000018ffffffe7, 0x00000029ffffffd7, 449 0x000000193333331a, 0x0000002a5555552c, 450 0x000000196666664d, 0x00002aa9aaaa8002, 451 0x00001998ffffe667, 0x00002aa9ffffd557, 452 0x000019993333199a, 0x00002aaa55552aac, 453 0x0000199966664ccd, 0x11111110eeeeeef0, 454 0x0a3d70a3c28f5c29, 0x1c71c71c38e38e3a, 455 0x11111110eeeeeeef, 0x2aaaaaa980000002, 456 0x19999998e6666667, 0x2aaaaaa9d5555557, 457 0x199999991999999a, 0x2aaaaaaa2aaaaaac, 458 0x199999994ccccccd, 0x2aaaaaaa80000001, 459 0x1999999980000000, 0x2aaaaaaad5555556, 460 0x19999999b3333333, 0x38e38e3871c71c73, 461 0x22222221ddddddde, 0x44444443bbbbbbbd, 462 0x28f5c28f0a3d70a4, 0x55552aaa55558001, 463 0x3333199966668000, 0x55552aaaaaaad556, 464 0x333319999999b333, 0x55552aab00002aab, 465 0x33331999cccce666, 0x55552aab55558000, 466 0x3333199a00001999, 0x5555552a55555581, 467 0x3333331966666680, 0x5555552aaaaaaad6, 468 0x33333319999999b3, 0x5555552b0000002b, 469 0x33333319cccccce6, 0x5555552b55555580, 470 0x3333331a00000019, 0x5555554a55555561, 471 0x3333332c999999a0, 0x5555555400000002, 472 0x5555555400000001, 0x7ffffffc00000007, 473 0x5555555455555556, 0x7ffffffc80000004, 474 0x55555554aaaaaaab, 0x0000000000000001, 475 0x0000000000000000, 0x000000007ffffffe, 476 0x0000000055555555, 0x00000000fffffffb, 477 0x00000000aaaaaaaa, 0x0000000fffffffa1, 478 0x0000000aaaaaaaa0, 0x0000003e7ffffe8a, 479 0x00000029aaaaaa81, 0x0000003efffffe87, 480 0x00000029ffffffd6, 0x0000003f7ffffe84, 481 0x0000002a5555552b, 0x00003ffe7ffe800a, 482 0x00002aa9aaaa8001, 0x00003ffefffe8007, 483 0x00002aa9ffffd556, 0x00003fff7ffe8004, 484 0x00002aaa55552aab, 0x19999998e6666668, 485 0x11111110eeeeeeef, 0x2aaaaaa980000002, 486 0x1c71c71c38e38e39, 0x3ffffffd0000000a, 487 0x2aaaaaa980000001, 0x3ffffffd80000007, 488 0x2aaaaaa9d5555556, 0x3ffffffe00000004, 489 0x2aaaaaaa2aaaaaab, 0x3ffffffe80000001, 490 0x2aaaaaaa80000000, 0x3ffffffefffffffe, 491 0x2aaaaaaad5555555, 0x5555555300000003, 492 0x38e38e3871c71c72, 0x666666639999999d, 493 0x44444443bbbbbbbc, 0x7fffbffd00018001, 494 0x55552aaa55558000, 0x7fffbffd80017ffe, 495 0x55552aaaaaaad555, 0x7fffbffe00017ffb, 496 0x55552aab00002aaa, 0x7fffbffe80017ff8, 497 0x55552aab55557fff, 0x7fffffbd00000181, 498 0x5555552a55555580, 0x7fffffbd8000017e, 499 0x5555552aaaaaaad5, 0x7fffffbe0000017b, 500 0x5555552b0000002a, 0x7fffffbe80000178, 501 0x5555552b5555557f, 0x7fffffed00000061, 502 0x5555554a55555560, 0x7ffffffb8000000a, 503 0x7ffffffb80000009, 0x7ffffffd00000005, 504 0x7ffffffc00000006, 0x7ffffffd80000003, 505 0x7ffffffc80000003, 0x0000000000000001, 506 0x0000000000000000, 0x000000007fffffff, 507 0x000000007ffffffd, 0x00000000fffffffd, 508 0x00000000fffffffa, 0x0000000fffffffc1, 509 0x0000000fffffffa0, 0x0000003e7fffff07, 510 0x0000003e7ffffe89, 0x0000003effffff05, 511 0x0000003efffffe86, 0x0000003f7fffff03, 512 0x0000003f7ffffe83, 0x00003ffe7fff0007, 513 0x00003ffe7ffe8009, 0x00003ffeffff0005, 514 0x00003ffefffe8006, 0x00003fff7fff0003, 515 0x00003fff7ffe8003, 0x199999991999999b, 516 0x19999998e6666667, 0x2aaaaaa9d5555557, 517 0x2aaaaaa980000001, 0x3ffffffd80000007, 518 0x3ffffffd00000009, 0x3ffffffe00000005, 519 0x3ffffffd80000006, 0x3ffffffe80000003, 520 0x3ffffffe00000003, 0x3fffffff00000001, 521 0x3ffffffe80000000, 0x3fffffff7fffffff, 522 0x3ffffffefffffffd, 0x55555553aaaaaaad, 523 0x5555555300000002, 0x6666666466666669, 524 0x666666639999999c, 0x7fffbffe00010001, 525 0x7fffbffd00018000, 0x7fffbffe8000ffff, 526 0x7fffbffd80017ffd, 0x7fffbfff0000fffd, 527 0x7fffbffe00017ffa, 0x7fffbfff8000fffb, 528 0x7fffbffe80017ff7, 0x7fffffbe00000101, 529 0x7fffffbd00000180, 0x7fffffbe800000ff, 530 0x7fffffbd8000017d, 0x7fffffbf000000fd, 531 0x7fffffbe0000017a, 0x7fffffbf800000fb, 532 0x7fffffbe80000177, 0x7fffffee00000041, 533 0x7fffffed00000060, 0x7ffffffc80000007, 534 0x7ffffffc80000006, 0x7ffffffe00000003, 535 0x7ffffffd00000004, 0x7ffffffe80000002, 536 0x7ffffffd80000002, 0x0000000000000001, 537 0x0000000000000000, 0x0000000080000000, 538 0x000000007ffffffe, 0x00000000ffffffff, 539 0x00000000fffffffc, 0x0000000fffffffe1, 540 0x0000000fffffffc0, 0x0000003e7fffff84, 541 0x0000003e7fffff06, 0x0000003effffff83, 542 0x0000003effffff04, 0x0000003f7fffff82, 543 0x0000003f7fffff02, 0x00003ffe7fff8004, 544 0x00003ffe7fff0006, 0x00003ffeffff8003, 545 0x00003ffeffff0004, 0x00003fff7fff8002, 546 0x00003fff7fff0002, 0x199999994cccccce, 547 0x199999991999999a, 0x2aaaaaaa2aaaaaac, 548 0x2aaaaaa9d5555556, 0x3ffffffe00000004, 549 0x3ffffffd80000006, 0x3ffffffe80000003, 550 0x3ffffffe00000004, 0x3fffffff00000002, 551 0x3ffffffe80000002, 0x3fffffff80000001, 552 0x3fffffff00000000, 0x4000000000000000, 553 0x3fffffff7ffffffe, 0x5555555455555557, 554 0x55555553aaaaaaac, 0x6666666533333335, 555 0x6666666466666668, 0x7fffbfff00008001, 556 0x7fffbffe00010000, 0x7fffbfff80008000, 557 0x7fffbffe8000fffe, 0x7fffc00000007fff, 558 0x7fffbfff0000fffc, 0x7fffc00080007ffe, 559 0x7fffbfff8000fffa, 0x7fffffbf00000081, 560 0x7fffffbe00000100, 0x7fffffbf80000080, 561 0x7fffffbe800000fe, 0x7fffffc00000007f, 562 0x7fffffbf000000fc, 0x7fffffc08000007e, 563 0x7fffffbf800000fa, 0x7fffffef00000021, 564 0x7fffffee00000040, 0x7ffffffd80000004, 565 0x7ffffffd80000003, 0x7fffffff00000001, 566 0x7ffffffe00000002, 0x7fffffff80000001, 567 0x7ffffffe80000001, 0x0000000000000001, 568 0x0000000000000000, 0x0000000080000001, 569 0x000000007fffffff, 0x0000000100000001, 570 0x00000000fffffffe, 0x0000001000000001, 571 0x0000000fffffffe0, 0x0000003e80000001, 572 0x0000003e7fffff83, 0x0000003f00000001, 573 0x0000003effffff82, 0x0000003f80000001, 574 0x0000003f7fffff81, 0x00003ffe80000001, 575 0x00003ffe7fff8003, 0x00003fff00000001, 576 0x00003ffeffff8002, 0x00003fff80000001, 577 0x00003fff7fff8001, 0x1999999980000001, 578 0x199999994ccccccd, 0x2aaaaaaa80000001, 579 0x2aaaaaaa2aaaaaab, 0x3ffffffe80000001, 580 0x3ffffffe00000003, 0x3fffffff00000001, 581 0x3ffffffe80000002, 0x3fffffff80000001, 582 0x3fffffff00000001, 0x4000000000000001, 583 0x3fffffff80000000, 0x4000000080000001, 584 0x3fffffffffffffff, 0x5555555500000001, 585 0x5555555455555556, 0x6666666600000001, 586 0x6666666533333334, 0x7fffc00000000001, 587 0x7fffbfff00008000, 0x7fffc00080000001, 588 0x7fffbfff80007fff, 0x7fffc00100000001, 589 0x7fffc00000007ffe, 0x7fffc00180000001, 590 0x7fffc00080007ffd, 0x7fffffc000000001, 591 0x7fffffbf00000080, 0x7fffffc080000001, 592 0x7fffffbf8000007f, 0x7fffffc100000001, 593 0x7fffffc00000007e, 0x7fffffc180000001, 594 0x7fffffc08000007d, 0x7ffffff000000001, 595 0x7fffffef00000020, 0x7ffffffe80000001, 596 0x7ffffffe80000000, 0x7fffffffffffffff, 597 0x7fffffff00000000, 0x8000000080000000, 598 0x7fffffff80000000, 0x0000000000000001, 599 0x0000000000000000, 0x0000000080000002, 600 0x0000000080000000, 0x0000000100000003, 601 0x0000000100000000, 0x0000001000000021, 602 0x0000001000000000, 0x0000003e8000007e, 603 0x0000003e80000000, 0x0000003f0000007f, 604 0x0000003f00000000, 0x0000003f80000080, 605 0x0000003f80000000, 0x00003ffe80007ffe, 606 0x00003ffe80000000, 0x00003fff00007fff, 607 0x00003fff00000000, 0x00003fff80008000, 608 0x00003fff80000000, 0x19999999b3333334, 609 0x1999999980000000, 0x2aaaaaaad5555556, 610 0x2aaaaaaa80000000, 0x3ffffffefffffffe, 611 0x3ffffffe80000000, 0x3fffffff7fffffff, 612 0x3fffffff00000000, 0x4000000000000000, 613 0x3fffffff80000000, 0x4000000080000001, 614 0x4000000000000000, 0x4000000100000002, 615 0x4000000080000000, 0x55555555aaaaaaab, 616 0x5555555500000000, 0x66666666cccccccd, 617 0x6666666600000000, 0x7fffc000ffff8001, 618 0x7fffc00000000000, 0x7fffc0017fff8002, 619 0x7fffc00080000000, 0x7fffc001ffff8003, 620 0x7fffc00100000000, 0x7fffc0027fff8004, 621 0x7fffc00180000000, 0x7fffffc0ffffff81, 622 0x7fffffc000000000, 0x7fffffc17fffff82, 623 0x7fffffc080000000, 0x7fffffc1ffffff83, 624 0x7fffffc100000000, 0x7fffffc27fffff84, 625 0x7fffffc180000000, 0x7ffffff0ffffffe1, 626 0x7ffffff000000000, 0x7fffffff7ffffffe, 627 0x7fffffff7ffffffd, 0xaaaaaaa8aaaaaaad, 628 0x7ffffffffffffffe, 0xaaaaaaa955555557, 629 0x800000007fffffff, 0x0000000000000001, 630 0x0000000000000000, 0x00000000aaaaaaab, 631 0x0000000080000001, 0x0000000155555555, 632 0x0000000100000002, 0x0000001555555541, 633 0x0000001000000020, 0x0000005355555503, 634 0x0000003e8000007d, 0x00000053ffffffad, 635 0x0000003f0000007e, 0x00000054aaaaaa57, 636 0x0000003f8000007f, 0x0000555355550003, 637 0x00003ffe80007ffd, 0x00005553ffffaaad, 638 0x00003fff00007ffe, 0x00005554aaaa5557, 639 0x00003fff80007fff, 0x22222221dddddddf, 640 0x19999999b3333333, 0x38e38e3871c71c73, 641 0x2aaaaaaad5555555, 0x5555555300000003, 642 0x3ffffffefffffffd, 0x55555553aaaaaaad, 643 0x3fffffff7ffffffe, 0x5555555455555557, 644 0x3fffffffffffffff, 0x5555555500000001, 645 0x4000000080000000, 0x55555555aaaaaaab, 646 0x4000000100000001, 0x71c71c70e38e38e5, 647 0x55555555aaaaaaaa, 0x8888888777777779, 648 0x66666666cccccccc, 0xaaaa5554aaab0001, 649 0x7fffc000ffff8000, 0xaaaa55555555aaab, 650 0x7fffc0017fff8001, 0xaaaa555600005555, 651 0x7fffc001ffff8002, 0xaaaa5556aaaaffff, 652 0x7fffc0027fff8003, 0xaaaaaa54aaaaab01, 653 0x7fffffc0ffffff80, 0xaaaaaa55555555ab, 654 0x7fffffc17fffff81, 0xaaaaaa5600000055, 655 0x7fffffc1ffffff82, 0xaaaaaa56aaaaaaff, 656 0x7fffffc27fffff83, 0xaaaaaa94aaaaaac1, 657 0x7ffffff0ffffffe0, 0xaaaaaaa800000003, 658 0xaaaaaaa800000002, 0xccccccca66666669, 659 0xaaaaaaa8aaaaaaac, 0xcccccccb33333335, 660 0xaaaaaaa955555556, 0x0000000000000001, 661 0x0000000000000000, 0x00000000cccccccd, 662 0x00000000aaaaaaaa, 0x0000000199999999, 663 0x0000000155555554, 0x0000001999999981, 664 0x0000001555555540, 0x00000063ffffff9d, 665 0x0000005355555502, 0x00000064cccccc69, 666 0x00000053ffffffac, 0x0000006599999935, 667 0x00000054aaaaaa56, 0x00006663ffff999d, 668 0x0000555355550002, 0x00006664cccc6669, 669 0x00005553ffffaaac, 0x0000666599993335, 670 0x00005554aaaa5556, 0x28f5c28f0a3d70a5, 671 0x22222221ddddddde, 0x44444443bbbbbbbd, 672 0x38e38e3871c71c72, 0x666666639999999d, 673 0x5555555300000002, 0x6666666466666669, 674 0x55555553aaaaaaac, 0x6666666533333335, 675 0x5555555455555556, 0x6666666600000001, 676 0x5555555500000000, 0x66666666cccccccd, 677 0x55555555aaaaaaaa, 0x8888888777777779, 678 0x71c71c70e38e38e4, 0xa3d70a3c28f5c291, 679 0x8888888777777778, 0xcccc6665999a0001, 680 0xaaaa5554aaab0000, 0xcccc66666666cccd, 681 0xaaaa55555555aaaa, 0xcccc666733339999, 682 0xaaaa555600005554, 0xcccc666800006665, 683 0xaaaa5556aaaafffe, 0xcccccc6599999a01, 684 0xaaaaaa54aaaaab00, 0xcccccc66666666cd, 685 0xaaaaaa55555555aa, 0xcccccc6733333399, 686 0xaaaaaa5600000054, 0xcccccc6800000065, 687 0xaaaaaa56aaaaaafe, 0xccccccb266666681, 688 0xaaaaaa94aaaaaac0, 0xccccccc99999999d, 689 0xccccccc99999999c, 0xffff7ffe00010001, 690 0xccccccca66666668, 0xffff7fff00008001, 691 0xcccccccb33333334, 0x0000000000000001, 692 0x0000000000000000, 0x00000000ffff8001, 693 0x00000000cccccccc, 0x00000001ffff0001, 694 0x0000000199999998, 0x0000001ffff00001, 695 0x0000001999999980, 0x0000007cffc18001, 696 0x00000063ffffff9c, 0x0000007dffc10001, 697 0x00000064cccccc68, 0x0000007effc08001, 698 0x0000006599999934, 0x00007ffcc0018001, 699 0x00006663ffff999c, 0x00007ffdc0010001, 700 0x00006664cccc6668, 0x00007ffec0008001, 701 0x0000666599993334, 0x3333199966668001, 702 0x28f5c28f0a3d70a4, 0x55552aaa55558001, 703 0x44444443bbbbbbbc, 0x7fffbffd00018001, 704 0x666666639999999c, 0x7fffbffe00010001, 705 0x6666666466666668, 0x7fffbfff00008001, 706 0x6666666533333334, 0x7fffc00000000001, 707 0x6666666600000000, 0x7fffc000ffff8001, 708 0x66666666cccccccc, 0xaaaa5554aaab0001, 709 0x8888888777777778, 0xcccc6665999a0001, 710 0xa3d70a3c28f5c290, 0xffff000040000001, 711 0xcccc6665999a0000, 0xffff00013fff8001, 712 0xcccc66666666cccc, 0xffff00023fff0001, 713 0xcccc666733339998, 0xffff00033ffe8001, 714 0xcccc666800006664, 0xffff7f8000400001, 715 0xcccccc6599999a00, 0xffff7f81003f8001, 716 0xcccccc66666666cc, 0xffff7f82003f0001, 717 0xcccccc6733333398, 0xffff7f83003e8001, 718 0xcccccc6800000064, 0xffff7fe000100001, 719 0xccccccb266666680, 0xffff7ffd00018001, 720 0xffff7ffd00018000, 0xffff7fff0000ffff, 721 0xffff7ffe00010000, 0xffff800000008000, 722 0xffff7fff00008000, 0x0000000000000001, 723 0x0000000000000000, 0x00000000ffff8002, 724 0x00000000ffff8000, 0x00000001ffff0003, 725 0x00000001ffff0000, 0x0000001ffff00021, 726 0x0000001ffff00000, 0x0000007cffc1807e, 727 0x0000007cffc18000, 0x0000007dffc1007f, 728 0x0000007dffc10000, 0x0000007effc08080, 729 0x0000007effc08000, 0x00007ffcc001fffe, 730 0x00007ffcc0018000, 0x00007ffdc0017fff, 731 0x00007ffdc0010000, 0x00007ffec0010000, 732 0x00007ffec0008000, 0x333319999999b334, 733 0x3333199966668000, 0x55552aaaaaaad556, 734 0x55552aaa55558000, 0x7fffbffd80017ffe, 735 0x7fffbffd00018000, 0x7fffbffe8000ffff, 736 0x7fffbffe00010000, 0x7fffbfff80008000, 737 0x7fffbfff00008000, 0x7fffc00080000001, 738 0x7fffc00000000000, 0x7fffc0017fff8002, 739 0x7fffc000ffff8000, 0xaaaa55555555aaab, 740 0xaaaa5554aaab0000, 0xcccc66666666cccd, 741 0xcccc6665999a0000, 0xffff00013fff8001, 742 0xffff000040000000, 0xffff00023fff0002, 743 0xffff00013fff8000, 0xffff00033ffe8003, 744 0xffff00023fff0000, 0xffff00043ffe0004, 745 0xffff00033ffe8000, 0xffff7f81003fff81, 746 0xffff7f8000400000, 0xffff7f82003f7f82, 747 0xffff7f81003f8000, 0xffff7f83003eff83, 748 0xffff7f82003f0000, 0xffff7f84003e7f84, 749 0xffff7f83003e8000, 0xffff7fe1000fffe1, 750 0xffff7fe000100000, 0xffff7ffe00017ffe, 751 0xffff7ffe00017ffd, 0xffff80000000fffd, 752 0xffff7fff0000fffe, 0xffff800100007fff, 753 0xffff800000007fff, 0x0000000000000001, 754 0x0000000000000000, 0x00000000ffff8003, 755 0x00000000ffff8001, 0x00000001ffff0005, 756 0x00000001ffff0002, 0x0000001ffff00041, 757 0x0000001ffff00020, 0x0000007cffc180fb, 758 0x0000007cffc1807d, 0x0000007dffc100fd, 759 0x0000007dffc1007e, 0x0000007effc080ff, 760 0x0000007effc0807f, 0x00007ffcc0027ffb, 761 0x00007ffcc001fffd, 0x00007ffdc001fffd, 762 0x00007ffdc0017ffe, 0x00007ffec0017fff, 763 0x00007ffec000ffff, 0x33331999cccce667, 764 0x333319999999b333, 0x55552aab00002aab, 765 0x55552aaaaaaad555, 0x7fffbffe00017ffb, 766 0x7fffbffd80017ffd, 0x7fffbfff0000fffd, 767 0x7fffbffe8000fffe, 0x7fffc00000007fff, 768 0x7fffbfff80007fff, 0x7fffc00100000001, 769 0x7fffc00080000000, 0x7fffc001ffff8003, 770 0x7fffc0017fff8001, 0xaaaa555600005555, 771 0xaaaa55555555aaaa, 0xcccc666733339999, 772 0xcccc66666666cccc, 0xffff00023fff0001, 773 0xffff00013fff8000, 0xffff00033ffe8003, 774 0xffff00023fff0001, 0xffff00043ffe0005, 775 0xffff00033ffe8002, 0xffff00053ffd8007, 776 0xffff00043ffe0003, 0xffff7f82003fff01, 777 0xffff7f81003fff80, 0xffff7f83003f7f03, 778 0xffff7f82003f7f81, 0xffff7f84003eff05, 779 0xffff7f83003eff82, 0xffff7f85003e7f07, 780 0xffff7f84003e7f83, 0xffff7fe2000fffc1, 781 0xffff7fe1000fffe0, 0xffff7fff00017ffb, 782 0xffff7fff00017ffa, 0xffff80010000fffb, 783 0xffff80000000fffc, 0xffff800200007ffe, 784 0xffff800100007ffe, 0x0000000000000001, 785 0x0000000000000000, 0x00000000ffff8004, 786 0x00000000ffff8002, 0x00000001ffff0007, 787 0x00000001ffff0004, 0x0000001ffff00061, 788 0x0000001ffff00040, 0x0000007cffc18178, 789 0x0000007cffc180fa, 0x0000007dffc1017b, 790 0x0000007dffc100fc, 0x0000007effc0817e, 791 0x0000007effc080fe, 0x00007ffcc002fff8, 792 0x00007ffcc0027ffa, 0x00007ffdc0027ffb, 793 0x00007ffdc001fffc, 0x00007ffec001fffe, 794 0x00007ffec0017ffe, 0x3333199a0000199a, 795 0x33331999cccce666, 0x55552aab55558000, 796 0x55552aab00002aaa, 0x7fffbffe80017ff8, 797 0x7fffbffe00017ffa, 0x7fffbfff8000fffb, 798 0x7fffbfff0000fffc, 0x7fffc00080007ffe, 799 0x7fffc00000007ffe, 0x7fffc00180000001, 800 0x7fffc00100000000, 0x7fffc0027fff8004, 801 0x7fffc001ffff8002, 0xaaaa5556aaaaffff, 802 0xaaaa555600005554, 0xcccc666800006665, 803 0xcccc666733339998, 0xffff00033ffe8001, 804 0xffff00023fff0000, 0xffff00043ffe0004, 805 0xffff00033ffe8002, 0xffff00053ffd8007, 806 0xffff00043ffe0004, 0xffff00063ffd000a, 807 0xffff00053ffd8006, 0xffff7f83003ffe81, 808 0xffff7f82003fff00, 0xffff7f84003f7e84, 809 0xffff7f83003f7f02, 0xffff7f85003efe87, 810 0xffff7f84003eff04, 0xffff7f86003e7e8a, 811 0xffff7f85003e7f06, 0xffff7fe3000fffa1, 812 0xffff7fe2000fffc0, 0xffff800000017ff8, 813 0xffff800000017ff7, 0xffffff7e00000101, 814 0xffff80010000fffa, 0xffffff7f00000081, 815 0xffff800200007ffd, 0x0000000000000001, 816 0x0000000000000000, 0x00000000ffffff81, 817 0x00000000ffff8003, 0x00000001ffffff01, 818 0x00000001ffff0006, 0x0000001ffffff001, 819 0x0000001ffff00060, 0x0000007cffffc181, 820 0x0000007cffc18177, 0x0000007dffffc101, 821 0x0000007dffc1017a, 0x0000007effffc081, 822 0x0000007effc0817d, 0x00007ffcffc00181, 823 0x00007ffcc002fff7, 0x00007ffdffc00101, 824 0x00007ffdc0027ffa, 0x00007ffeffc00081, 825 0x00007ffec001fffd, 0x3333331966666681, 826 0x3333199a00001999, 0x5555552a55555581, 827 0x55552aab55557fff, 0x7fffffbd00000181, 828 0x7fffbffe80017ff7, 0x7fffffbe00000101, 829 0x7fffbfff8000fffa, 0x7fffffbf00000081, 830 0x7fffc00080007ffd, 0x7fffffc000000001, 831 0x7fffc00180000000, 0x7fffffc0ffffff81, 832 0x7fffc0027fff8003, 0xaaaaaa54aaaaab01, 833 0xaaaa5556aaaafffe, 0xcccccc6599999a01, 834 0xcccc666800006664, 0xffff7f8000400001, 835 0xffff00033ffe8000, 0xffff7f81003fff81, 836 0xffff00043ffe0003, 0xffff7f82003fff01, 837 0xffff00053ffd8006, 0xffff7f83003ffe81, 838 0xffff00063ffd0009, 0xffffff0000004001, 839 0xffff7f83003ffe80, 0xffffff0100003f81, 840 0xffff7f84003f7e83, 0xffffff0200003f01, 841 0xffff7f85003efe86, 0xffffff0300003e81, 842 0xffff7f86003e7e89, 0xffffff6000001001, 843 0xffff7fe3000fffa0, 0xffffff7d00000181, 844 0xffffff7d00000180, 0xffffff7f000000ff, 845 0xffffff7e00000100, 0xffffff8000000080, 846 0xffffff7f00000080, 0x0000000000000001, 847 0x0000000000000000, 0x00000000ffffff82, 848 0x00000000ffffff80, 0x00000001ffffff03, 849 0x00000001ffffff00, 0x0000001ffffff021, 850 0x0000001ffffff000, 0x0000007cffffc1fe, 851 0x0000007cffffc180, 0x0000007dffffc17f, 852 0x0000007dffffc100, 0x0000007effffc100, 853 0x0000007effffc080, 0x00007ffcffc0817e, 854 0x00007ffcffc00180, 0x00007ffdffc080ff, 855 0x00007ffdffc00100, 0x00007ffeffc08080, 856 0x00007ffeffc00080, 0x33333319999999b4, 857 0x3333331966666680, 0x5555552aaaaaaad6, 858 0x5555552a55555580, 0x7fffffbd8000017e, 859 0x7fffffbd00000180, 0x7fffffbe800000ff, 860 0x7fffffbe00000100, 0x7fffffbf80000080, 861 0x7fffffbf00000080, 0x7fffffc080000001, 862 0x7fffffc000000000, 0x7fffffc17fffff82, 863 0x7fffffc0ffffff80, 0xaaaaaa55555555ab, 864 0xaaaaaa54aaaaab00, 0xcccccc66666666cd, 865 0xcccccc6599999a00, 0xffff7f81003f8001, 866 0xffff7f8000400000, 0xffff7f82003f7f82, 867 0xffff7f81003fff80, 0xffff7f83003f7f03, 868 0xffff7f82003fff00, 0xffff7f84003f7e84, 869 0xffff7f83003ffe80, 0xffffff0100003f81, 870 0xffffff0000004000, 0xffffff0200003f02, 871 0xffffff0100003f80, 0xffffff0300003e83, 872 0xffffff0200003f00, 0xffffff0400003e04, 873 0xffffff0300003e80, 0xffffff6100000fe1, 874 0xffffff6000001000, 0xffffff7e0000017e, 875 0xffffff7e0000017d, 0xffffff80000000fd, 876 0xffffff7f000000fe, 0xffffff810000007f, 877 0xffffff800000007f, 0x0000000000000001, 878 0x0000000000000000, 0x00000000ffffff83, 879 0x00000000ffffff81, 0x00000001ffffff05, 880 0x00000001ffffff02, 0x0000001ffffff041, 881 0x0000001ffffff020, 0x0000007cffffc27b, 882 0x0000007cffffc1fd, 0x0000007dffffc1fd, 883 0x0000007dffffc17e, 0x0000007effffc17f, 884 0x0000007effffc0ff, 0x00007ffcffc1017b, 885 0x00007ffcffc0817d, 0x00007ffdffc100fd, 886 0x00007ffdffc080fe, 0x00007ffeffc1007f, 887 0x00007ffeffc0807f, 0x33333319cccccce7, 888 0x33333319999999b3, 0x5555552b0000002b, 889 0x5555552aaaaaaad5, 0x7fffffbe0000017b, 890 0x7fffffbd8000017d, 0x7fffffbf000000fd, 891 0x7fffffbe800000fe, 0x7fffffc00000007f, 892 0x7fffffbf8000007f, 0x7fffffc100000001, 893 0x7fffffc080000000, 0x7fffffc1ffffff83, 894 0x7fffffc17fffff81, 0xaaaaaa5600000055, 895 0xaaaaaa55555555aa, 0xcccccc6733333399, 896 0xcccccc66666666cc, 0xffff7f82003f0001, 897 0xffff7f81003f8000, 0xffff7f83003eff83, 898 0xffff7f82003f7f81, 0xffff7f84003eff05, 899 0xffff7f83003f7f02, 0xffff7f85003efe87, 900 0xffff7f84003f7e83, 0xffffff0200003f01, 901 0xffffff0100003f80, 0xffffff0300003e83, 902 0xffffff0200003f01, 0xffffff0400003e05, 903 0xffffff0300003e82, 0xffffff0500003d87, 904 0xffffff0400003e03, 0xffffff6200000fc1, 905 0xffffff6100000fe0, 0xffffff7f0000017b, 906 0xffffff7f0000017a, 0xffffff81000000fb, 907 0xffffff80000000fc, 0xffffff820000007e, 908 0xffffff810000007e, 0x0000000000000001, 909 0x0000000000000000, 0x00000000ffffff84, 910 0x00000000ffffff82, 0x00000001ffffff07, 911 0x00000001ffffff04, 0x0000001ffffff061, 912 0x0000001ffffff040, 0x0000007cffffc2f8, 913 0x0000007cffffc27a, 0x0000007dffffc27b, 914 0x0000007dffffc1fc, 0x0000007effffc1fe, 915 0x0000007effffc17e, 0x00007ffcffc18178, 916 0x00007ffcffc1017a, 0x00007ffdffc180fb, 917 0x00007ffdffc100fc, 0x00007ffeffc1807e, 918 0x00007ffeffc1007e, 0x3333331a0000001a, 919 0x33333319cccccce6, 0x5555552b55555580, 920 0x5555552b0000002a, 0x7fffffbe80000178, 921 0x7fffffbe0000017a, 0x7fffffbf800000fb, 922 0x7fffffbf000000fc, 0x7fffffc08000007e, 923 0x7fffffc00000007e, 0x7fffffc180000001, 924 0x7fffffc100000000, 0x7fffffc27fffff84, 925 0x7fffffc1ffffff82, 0xaaaaaa56aaaaaaff, 926 0xaaaaaa5600000054, 0xcccccc6800000065, 927 0xcccccc6733333398, 0xffff7f83003e8001, 928 0xffff7f82003f0000, 0xffff7f84003e7f84, 929 0xffff7f83003eff82, 0xffff7f85003e7f07, 930 0xffff7f84003eff04, 0xffff7f86003e7e8a, 931 0xffff7f85003efe86, 0xffffff0300003e81, 932 0xffffff0200003f00, 0xffffff0400003e04, 933 0xffffff0300003e82, 0xffffff0500003d87, 934 0xffffff0400003e04, 0xffffff0600003d0a, 935 0xffffff0500003d86, 0xffffff6300000fa1, 936 0xffffff6200000fc0, 0xffffff8000000178, 937 0xffffff8000000177, 0xffffffde00000041, 938 0xffffff81000000fa, 0xffffffdf00000021, 939 0xffffff820000007d, 0x0000000000000001, 940 0x0000000000000000, 0x00000000ffffffe1, 941 0x00000000ffffff83, 0x00000001ffffffc1, 942 0x00000001ffffff06, 0x0000001ffffffc01, 943 0x0000001ffffff060, 0x0000007cfffff061, 944 0x0000007cffffc2f7, 0x0000007dfffff041, 945 0x0000007dffffc27a, 0x0000007efffff021, 946 0x0000007effffc1fd, 0x00007ffcfff00061, 947 0x00007ffcffc18177, 0x00007ffdfff00041, 948 0x00007ffdffc180fa, 0x00007ffefff00021, 949 0x00007ffeffc1807d, 0x3333332c999999a1, 950 0x3333331a00000019, 0x5555554a55555561, 951 0x5555552b5555557f, 0x7fffffed00000061, 952 0x7fffffbe80000177, 0x7fffffee00000041, 953 0x7fffffbf800000fa, 0x7fffffef00000021, 954 0x7fffffc08000007d, 0x7ffffff000000001, 955 0x7fffffc180000000, 0x7ffffff0ffffffe1, 956 0x7fffffc27fffff83, 0xaaaaaa94aaaaaac1, 957 0xaaaaaa56aaaaaafe, 0xccccccb266666681, 958 0xcccccc6800000064, 0xffff7fe000100001, 959 0xffff7f83003e8000, 0xffff7fe1000fffe1, 960 0xffff7f84003e7f83, 0xffff7fe2000fffc1, 961 0xffff7f85003e7f06, 0xffff7fe3000fffa1, 962 0xffff7f86003e7e89, 0xffffff6000001001, 963 0xffffff0300003e80, 0xffffff6100000fe1, 964 0xffffff0400003e03, 0xffffff6200000fc1, 965 0xffffff0500003d86, 0xffffff6300000fa1, 966 0xffffff0600003d09, 0xffffffc000000401, 967 0xffffff6300000fa0, 0xffffffdd00000061, 968 0xffffffdd00000060, 0xfffffffb00000007, 969 0xffffffde00000040, 0xfffffffc00000004, 970 0xffffffdf00000020, 0x0000000000000001, 971 0x0000000000000000, 0x00000000fffffffe, 972 0x00000000ffffffe0, 0x00000001fffffffb, 973 0x00000001ffffffc0, 0x0000001fffffffa1, 974 0x0000001ffffffc00, 0x0000007cfffffe8a, 975 0x0000007cfffff060, 0x0000007dfffffe87, 976 0x0000007dfffff040, 0x0000007efffffe84, 977 0x0000007efffff020, 0x00007ffcfffe800a, 978 0x00007ffcfff00060, 0x00007ffdfffe8007, 979 0x00007ffdfff00040, 0x00007ffefffe8004, 980 0x00007ffefff00020, 0x3333333266666668, 981 0x3333332c999999a0, 0x5555555400000002, 982 0x5555554a55555560, 0x7ffffffb8000000a, 983 0x7fffffed00000060, 0x7ffffffc80000007, 984 0x7fffffee00000040, 0x7ffffffd80000004, 985 0x7fffffef00000020, 0x7ffffffe80000001, 986 0x7ffffff000000000, 0x7fffffff7ffffffe, 987 0x7ffffff0ffffffe0, 0xaaaaaaa800000003, 988 0xaaaaaa94aaaaaac0, 0xccccccc99999999d, 989 0xccccccb266666680, 0xffff7ffd00018001, 990 0xffff7fe000100000, 0xffff7ffe00017ffe, 991 0xffff7fe1000fffe0, 0xffff7fff00017ffb, 992 0xffff7fe2000fffc0, 0xffff800000017ff8, 993 0xffff7fe3000fffa0, 0xffffff7d00000181, 994 0xffffff6000001000, 0xffffff7e0000017e, 995 0xffffff6100000fe0, 0xffffff7f0000017b, 996 0xffffff6200000fc0, 0xffffff8000000178, 997 0xffffff6300000fa0, 0xffffffdd00000061, 998 0xffffffc000000400, 0xfffffffa0000000a, 999 }; 1000 const unsigned kExpectedCount_NEON_umlal_2D = 961; 1001 1002 #endif // VIXL_SIM_UMLAL_2D_TRACE_A64_H_ 1003
